You are an expert competitive programmer. You will be given a problem statement, test case constraints and example test inputs and outputs. Please reason step by step about the solution (that must respect memory and time limits), then provide a complete implementation in python3.

Your solution must read input from standard input (cin), write output to standard output (cout).
Do not include any debug prints or additional output.

Put your final solution within a single code block:
```python
<your code here>
```

Execution time limit: 2.5 seconds
Memory limit: 256.0 MB

# Problem
Unfortunately, the formal description of the task turned out to be too long, so here is the legend.

Research rover finally reached the surface of Mars and is ready to complete its mission. Unfortunately, due to the mistake in the navigation system design, the rover is located in the wrong place.

The rover will operate on the grid consisting of n rows and m columns. We will define as (r, c) the cell located in the row r and column c. From each cell the rover is able to move to any cell that share a side with the current one.

The rover is currently located at cell (1, 1) and has to move to the cell (n, m). It will randomly follow some shortest path between these two cells. Each possible way is chosen equiprobably.

The cargo section of the rover contains the battery required to conduct the research. Initially, the battery charge is equal to s units of energy.

Some of the cells contain anomaly. Each time the rover gets to the cell with anomaly, the battery looses half of its charge rounded down. Formally, if the charge was equal to x before the rover gets to the cell with anomaly, the charge will change to $$\left\lfloor \frac{x}{2} \right\rfloor$$.

While the rover picks a random shortest path to proceed, compute the expected value of the battery charge after it reaches cell (n, m). If the cells (1, 1) and (n, m) contain anomaly, they also affect the charge of the battery.

## Input Format
The first line of the input contains four integers n, m, k and s (1 ≤ n, m ≤ 100 000, 0 ≤ k ≤ 2000, 1 ≤ s ≤ 1 000 000) — the number of rows and columns of the field, the number of cells with anomaly and the initial charge of the battery respectively.

The follow k lines containing two integers ri and ci (1 ≤ ri ≤ n, 1 ≤ ci ≤ m) — coordinates of the cells, containing anomaly. It's guaranteed that each cell appears in this list no more than once.

## Output Format
The answer can always be represented as an irreducible fraction $$\frac{p}{q}$$. Print the only integer P·Q - 1 modulo 109 + 7.

## Examples
```input
3 3 2 11
2 1
2 3
```
```output
333333342
```
-----
```input
4 5 3 17
1 2
3 3
4 1
```
```output
514285727
```
-----
```input
1 6 2 15
1 1
1 5
```
```output
4
```

## Note
In the first sample, the rover picks one of the following six routes:

1. $$(1,1)\rightarrow(1,2)\rightarrow(1,3)\rightarrow(2,3)\rightarrow(3,3)$$, after passing cell (2, 3) charge is equal to 6.
2. $$(1,1)\rightarrow(1,2)\rightarrow(2,2)\rightarrow(2,3)\rightarrow(3,3)$$, after passing cell (2, 3) charge is equal to 6.
3. $$(1,1)\rightarrow(1,2)\rightarrow(2,2)\rightarrow(3,2)\rightarrow(3,3)$$, charge remains unchanged and equals 11.
4. $$(1,1)\rightarrow(2,1)\rightarrow(2,2)\rightarrow(2,3)\rightarrow(3,3)$$, after passing cells (2, 1) and (2, 3) charge equals 6 and then 3.
5. $$(1,1)\rightarrow(2,1)\rightarrow(2,2)\rightarrow(3,2)\rightarrow(3,3)$$, after passing cell (2, 1) charge is equal to 6.
6. $$(1,1)\rightarrow(2,1)\rightarrow(3,1)\rightarrow(3,2)\rightarrow(3,3)$$, after passing cell (2, 1) charge is equal to 6.

Expected value of the battery charge is calculated by the following formula:

$${ \frac { 1 } { 6 } } ( 6 + 6 + 1 1 + 3 + 6 + 6 ) = { \frac { 3 8 } { 6 } } = { \frac { 1 9 } { 3 } }$$.

Thus P = 19, and Q = 3.

3 - 1 modulo 109 + 7 equals 333333336.

19·333333336 = 333333342 (mod 109 + 7)

Now solve the problem and return the code.