题目描述

上帝说，不要圆，要方，于是便有了这道题。由于我们应该方，而且最好能够尽量方，所以上帝派我们来找正方形。

上帝把我们派到了一个有 $n$ 行 $m$ 列的方格图上，图上一共有 $(n+1) \times (m+1)$ 个格点，我们需要做的就是找出这些格点形成了多少个正方形（换句话说，正方形的四个顶点都是格点）。
但是这个问题对于我们来说太难了，因为点数太多了，所以上帝删掉了这 $(n+1) \times (m+1)$ 中的 $k$ 个点。
既然点变少了，问题也就变简单了，那么这个时候这些格点组成了多少个正方形呢？

输入格式

第一行三个整数 $n,m,k$， 代表棋盘的行数、列数和不能选取的顶点个数。
接下来 $k$ 行，每行两个整数 $x,y$，代表第 $x$ 行第 $y$ 列的格点被删掉了。

输出格式

仅一行一个正整数， 代表正方形个数对 $100000007$（$10^8 + 7$） 取模之后的值。

2 2 4
1 0
1 2
0 1
2 1

1

数据规模与约定

对于 $100\%$ 的数据，$0 \le x \le n \le 10^6$，$0 \le y \le m \le 10^6$，$k \leq 2000$。

约定每行的格点从上到下依次用整数 $0$ 到 $n$ 编号，每列的格点依次用 $0$ 到 $m$ 编号。

保证 $k \le (n + 1) \times (m + 1)$ 且不会出现重复的格点。