AT_njpc2017_b.格子グラフ

现有$H$行$W$列的点阵图。在该图中，顶点在$H$行内垂直排列，在$W$列内水平排列，且该图仅在顶部、底部、左侧和右侧的相邻顶点之间有边。

鲸鱼酱想要给这张图的边上色，但是有人做了恶作剧，在$N$个顶点上作了'x'的标记。
这让鲸鱼酱很不舒服，所以他决定只给没有'x'标记的顶点的边上色。

现在，鲸鱼酱给所有能上色的边上了色。请问他给多少条边上了色？

第$i$个'x'标记记录在$(ri,ci)$中。而$(a, b)$代表该图$a$行$b$列的顶点：左上顶点为$(1,1)$，右下顶点为$(H, W$)。

请注意，输出可能不在32位整型的范围之内。

如下。

H W N
r1 c1
r2 c2
... ... 
rN cN

第一行的整数分别为点阵图的行数$H$、列数$W$和带有'x'标记的顶点数$N$，以空格隔开。

当 $N ≥ 1$ 时，从第二行到 $N + 1$ 行的每一行都是 'x' 标记的顶点位置的信息，以空格隔开。

$(r_i, c_i)$ 表示在 $r_i$ 行、 $c_i$ 列的顶点的'x'标记。

输出鲸鱼酱绘制的边数。

输入输出样例

输入#1：

3 4 4
1 4
2 2
2 4
3 1

输出#1：

7

输入#2：

1 5 2
1 2
1 4

输出#2：

（原题缺失）

输入#3：

100000 100000 0

输出#3：

19999800000

• 保证输入全是整数。
• $1≦H,W≦10^5$
• $0≦N≦10^3$
• $1≦r_i≦H$
• $1≦c_i≦W$
• 不会在输入的同一位置指定多个顶点。也就是说，对于所有 $i$，$j (1 ≤ i <j ≤ N)$，$r_i ≠ r_j$ 与 $c_i ≠ c_j$ 成立。

样例解释

样例#1

样例#2