OI Problems   关于

#z08r55. 却也想要伪装(pretend)

时间限制:1 s       空间限制:256 MiB       标签: 数学 组合数学 容斥原理 组合计数 

算法难度等级:4       思维难度等级:7       实现难度等级:5


题目描述

春河希望和偶像吾妻沙罗做好朋友。

矢逆一稀希望满足春河的愿望,于是每天都伪装成沙罗拍幸运自拍发送给春河。

但是有一天,自拍时不小心拍到了正在撬车的久慈悠,于是被久慈悠追杀。

当然,一稀也不希望春河识破他的伪装。

一共有 nn 个平行世界,每个平行世界有一个人,1a1\sim a 号平行世界这个人是一稀,a+1a+ba+1\sim a+b 号平行世界是久慈,a+b+1na+b+1\sim n 号平行世界是春河。第 ii 号平行世界的人一开始处于 (xi, yi)(x_i,\ y_i) 这个位置。

每一分钟,位于 (x, y)(x,\ y) 的人会移动到 (x−1,\ y),\ (x+1,\ y),\ (x,\ y−1),\ (x,\ y+1) 这四个点中的一个点。

mm 分钟过后,由于因果律的影响,相同的人会移动到相同的位置,而不同的人最后移动到的位置是不同的。那么有多少种可能的方案?答案对 109+710^9+7 取模。

方案不同,当且仅当某个人最后的位置不同,或者存在一个人在两种方案中的移动路径不同。

输入格式

第一行四个整数 n, a, b, mn,\ a,\ b,\ m,保证 a, b1a,\ b\geq 1a+b<na+b < n

接下来 nn 行每行两个整数 xi, yix_i,\ y_i 表示第 ii 个人的初始位置。

输出格式

一个整数表示答案。

输入输出样例

3 1 1 4
0 0
0 1
0 2
15974400

数据范围

对于 10%10\% 的数据,n, m3n,\ m\leq 3

对于 20%20\% 的数据,n3n\leq 3m20m\leq 20

对于 40%40\% 的数据,m20m\leq 20

对于另外 20%20\% 的数据,m, xi, yi100m,\ |x_i|,\ |y_i|\leq 100

对于所有数据,满足 n, m, xi, yi1000n,\ m,\ |x_i|,\ |y_i|\leq 1000