国际生物机器人制造公司(IBM)的研究人员发明了一种新型生物机器人(Bio-bot),这种机器人的行为模仿了生物有机体。这种机器人的研发尚处于原始阶段;它们现在看起来就像简单的四轮漫游车。和大多数现代机器人一样,生物机器人的移动能力并不强。它们微弱的电机和有限的转向能力极大地限制了它们的移动,即使是在简单且相对无障碍的环境中也是如此。
目前,生物机器人在一个 $m \times n$ 的网格房间内运行。生物机器人占据该网格中的一个完整方格。出口位于东北角,房间向出口方向倾斜,这意味着生物机器人只能在任何时候向北或向东移动。房间内的一些方格还被墙壁占据,这些墙壁会完全阻挡机器人。图 1 展示了这样一个房间的示例,它对应于样例输入。
图 1
显然,位于方格 A 的生物机器人能够离开房间,而位于方格 B 的机器人无论如何操作都会被困在里面。像 B 这样的位置被称为“受困方格”。(墙壁不计入受困方格。)给定一个房间的描述,你的任务是计算房间内受困方格的总数。
输入格式
输入包含多个测试用例,每个测试用例描述一个房间。每个测试用例的第一行包含三个整数 $m$、$n$ 和 $w$ ($1 \le m, n \le 10^6$, $0 \le w \le 1000$)。这些数字表示房间包含 $m$ 行、$n$ 列和 $w$ 面水平墙壁。
接下来的 $w$ 行,每行包含四个整数 $x_1, y_1, x_2, y_2$,表示界定一面墙的方格坐标。所有墙壁均从西向东排列,因此 $0 \le x_1 \le x_2 < n$ 且 $0 \le y_1 = y_2 < m$。墙壁之间互不重叠。房间的西南角坐标为 $(0,0)$,东北角坐标为 $(n-1, m-1)$。
最后一个测试用例之后是一行包含三个零的输入。
输出格式
对于每个测试用例,输出一行,包含测试用例编号以及该房间内受困方格的数量。请遵循样例输出中的格式。
样例
输入 1
8 8 3 1 6 3 6 2 4 2 4 4 2 7 2 0 0 0
输出 1
Case 1: 8