JOI 花园是一个矩形,被划分为 行 列的网格。从上往下数第 行、从左往右数第 列的单元格被称为单元格 。
当雨落在一个单元格上时,该单元格的湿度会增加。除了下雨的时候,单元格的湿度永远不会改变。如果一个单元格的湿度达到至少 ,该单元格就会变成泥地,这是很危险的。因此,每天早上,JOI 花园的管理员 JOI 君最多可以指定一个矩形的禁区,该禁区包含所有湿度至少为 的单元格。更准确地说,JOI 君选择四个整数 (,),由所有满足 和 的单元格 组成的矩形区域将成为禁区。
初始时,JOI 花园中每个单元格的湿度都为 。
从今天开始,连续 天每天傍晚都会下一次雨。在之后的第 天()傍晚,雨会落在每一个满足 和 的单元格 上,每个这样的单元格的湿度会增加 。
对于每个 ,编写一个程序计算 JOI 君在之后的第 天早上设置的禁区中所包含单元格的最小可能数量。