#P5018. 「长乐集训 2017 Day6」流浪者

「长乐集训 2017 Day6」流浪者

Description

有一位流浪者正在一个 n×mn\times m 的网格图上流浪。初始时流浪者拥有 SS 点体力值。

流浪者会从 (1,1)(1,1) 走向 (n,m)(n,m),并且他只会向下走 ((x,y)(x+1,y))((x,y)\rightarrow (x+1,y)) 或是往右走 ((x,y)(x,y+1))((x,y)\rightarrow (x,y + 1)),在所有可行的路线中他会随机选择一条。

网格图中还有 KK 个障碍点。若流浪者当前体力值为 ss,则他经过一个障碍点后体力值会变为 s2.\lceil \frac s2 \rceil.

现在请你求出,流浪者到达 (n,m)(n,m) 时他体力值的期望是多少。

若答案为 ab\frac a b,则你输出 ab\frac a b 在模 109+710^9 + 7 意义下的值即可。

Input Format

第一行四个整数 n,m,K,Sn,m,K,S,意义见题目描述。

接下来 KK 行每行两个整数 xi,yix_i,y_i 表示一个障碍点,保证一个障碍点不会出现多次。起点和终点可能也会是障碍点。

Output Format

仅一行一个整数表示答案。

Sample

样例输入1

3 3 2 11
2 1
2 3

样例输出1

333333342

样例解释1

共有 66 种合法路径,这里不一一列出。

16×(6+6+11+3+6+6)=193\frac 1 6 \times (6+6+11+3+6+6)=\frac {19}3

样例输入2

1 6 2 15
1 1
1 5

样例输出2

4

Hint

30%30\% 的数据:n,m10n,m\leq 10

50%50\% 的数据:n,m1000n,m\leq 1000

100%100\% 的数据:1n,m1051\leq n,m \leq 10^50Kmin(nm,2000)0\leq K \leq min(nm,2000)1S1061\leq S \leq 10^6