#215884. [JOI 2015 Final] 城壁

歴史学者である JOI 教授は，かつて存在した IOI 王国について研究している．

過去の調査によると，IOI 王国は縦 行，横 列のマスに区切られた長方形の形をしていた．IOI 王国の首都は，防衛のために城壁で囲われていた．

IOI 王国の首都を囲う城壁は次のような形をしている．城壁には大きさと呼ばれる値が定まっている．大きさ () の城壁とは， の正方形の領域から外周以外の の正方形の領域を除いたものである．

調査によると，首都を囲う城壁の大きさは 以上であった．また，IOI 王国のいくつかのマスには城壁が存在しなかったことがわかっている．

JOI 教授は，さらなる研究のために，城壁としてありうるものが何通りあるかを知りたい．

課題

IOI 王国の大きさと，城壁の大きさの最小値，城壁が存在しなかったことが分かっているマスの情報が与えられたとき，城壁としてありうるものは何通りあるかを求めるプログラムを作成せよ．

標準入力から以下のデータを読み込め．

• 1 行目には，整数 が空白を区切りとして書かれている．これは，IOI 王国は縦 行，横 列のマスに区切られた長方形の形をしており，城壁の大きさは 以上であり，城壁が存在しなかったことがわかっているマスが マス存在することを表す．
• 続く 行のうちの 行目 () には，整数 が空白を区切りとして書かれている．これは，IOI 王国の上から 行目，左から 列目のマスには城壁が存在しなかったことがわかっていることを表す．

標準出力に，城壁としてありうるものは何通りあるかを表す整数を 1 行で出力せよ．

样例输入 1

5 5 3 2
2 2
4 3

样例输出 1

4

样例输入 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

入出力例 1

この入力例の場合，城壁としてありうるものは以下の 4 通りが考えられる．ただし，×で示したマスは城壁が存在しなかったことがわかっているマスである．

:::align{center} :::

制限

すべての入力データは以下の条件を満たす．

• ．
• ．
• かつ ．
• ．
• ()．
• ()．
• ()．

小課題

小課題 1 [4 点]

以下の条件を満たす．

• ．
• ．

小課題 2 [16 点]

• を満たす．

小課題 3 [80 点]

追加の制限はない．