历史学家 JOI 教授正在研究曾经存在的 IOI 王国。 根据过去的调查,IOI 王国是一个被划分为 $H$ 行 $W$ 列网格的矩形区域。为了防御,IOI 王国的首都由城墙环绕。
环绕 IOI 王国首都的城墙形状如下。城墙有一个被称为“大小”的固定值。大小为 $s$ ($s \ge 3$) 的城墙,是指在一个 $s \times s$ 的正方形区域中,挖去除了外周以外的 $(s - 2) \times (s - 2)$ 正方形区域后所剩下的部分。
调查显示,环绕首都的城墙大小至少为 $L$。此外,已知 IOI 王国的某些格子中不存在城墙。 为了进一步研究,JOI 教授想知道可能的城墙方案有多少种。
任务
给定 IOI 王国的大小、城墙大小的最小值,以及已知不存在城墙的格子的信息,编写一个程序来计算可能的城墙方案总数。
输入格式
从标准输入读取以下数据:
- 第 1 行包含四个整数 $H, W, L, P$,以空格分隔。这表示 IOI 王国是一个 $H$ 行 $W$ 列的矩形,城墙大小至少为 $L$,且已知有 $P$ 个格子不存在城墙。
- 接下来的 $P$ 行中,第 $i$ 行 ($1 \le i \le P$) 包含两个整数 $A_i, B_i$,以空格分隔。这表示 IOI 王国从上往下第 $A_i$ 行、从左往右第 $B_i$ 列的格子中不存在城墙。
输出格式
将可能的城墙方案总数作为整数输出到标准输出。
数据范围
所有输入数据满足以下条件:
- $1 \le H \le 4000$
- $1 \le W \le 4000$
- $3 \le L \le H$ 且 $3 \le L \le W$
- $0 \le P \le 100000$
- $1 \le A_i \le H$ ($1 \le i \le P$)
- $1 \le B_i \le W$ ($1 \le i \le P$)
- $(A_i, B_i) \neq (A_j, B_j)$ ($1 \le i < j \le P$)
子任务
- 子任务 1 [4 分]:满足 $H \le 500$ 且 $W \le 500$。
- 子任务 2 [16 分]:满足 $0 \le P \le 10$。
- 子任务 3 [80 分]:无附加限制。
样例
样例输入 1
5 5 3 2 2 2 4 3
样例输出 1
4
说明
对于该输入样例,可能的城墙方案有 4 种。其中,用 $\times$ 标记的格子是已知不存在城墙的格子。
样例输入 2
7 8 4 3 2 2 3 7 6 5
样例输出 2
13
样例输入 3
4000 4000 1234 4 1161 3028 596 1892 3731 2606 702 1530
样例输出 3
7050792912