外星人降临了。这些外星人对地球的河流很感兴趣，因为他们的母星完全没有流动的水，现在他们想在地球的一些河流中建造外星建筑。你的任务是确保他们的建筑不会过度阻碍河流的流动，以免造成严重问题。具体来说，你需要根据建筑的摆放位置，确定河流所能维持的最大流量。

外星人倾向于在笔直且宽度均匀的河段上建造建筑。因此，你决定将河流建模为一个矩形网格，其中每个单元格都有整数坐标 $(X, Y; 0 \le X < W \text{ 且 } 0 \le Y < H)$。每个单元格可以通过 1 单位的流量，水可以在边缘相邻的单元格之间流动。河流南侧（即 $y$ 坐标等于 $0$ 的位置）的所有单元格都有 $1$ 单位的隐含流入量。所有建筑都是矩形的，且与网格对齐。位于建筑下方的单元格不能维持任何流量。在这些约束条件下，确定能够到达河流北侧（即 $y$ 坐标等于 $H-1$ 的位置）的单元格的最大流量。

输入格式

输入的第一行包含测试用例的数量 $T$。接下来是 $T$ 个测试用例。每个测试用例的第一行包含三个整数：$W$（河流宽度）、$H$（河流高度）和 $B$（放置在河流中的建筑数量）。接下来的 $B$ 行，每行包含四个整数 $X0, Y0, X1, Y1$。$X0, Y0$ 是建筑左下角的坐标，$X1, Y1$ 是建筑右上角的坐标。建筑不会重叠，但两个建筑可以共享一条边。

输出格式

对于每个测试用例，输出一行 "Case #x: m"，其中 $x$ 是测试用例编号（从 1 开始），$m$ 是可以通过河流的最大流量。

样例

输入格式 1

2
3 3 2
2 0 2 0
0 2 0 2
5 6 4
1 0 1 0
3 1 3 3
0 2 1 3
1 5 2 5

输出格式 1

Case #1: 1
Case #2: 2

以下是样例输入中两个测试用例的直观表示：