310433: CF1832F. Zombies

F. Zombiestime limit per test4 secondsmemory limit per test256 megabytesinputstandard inputoutputstandard output

Polycarp plays a computer game in a post-apocalyptic setting. The zombies have taken over the world, and Polycarp with a small team of survivors is defending against hordes trying to invade their base. The zombies are invading for $x$ minutes starting from minute $0$. There are $n$ entrances to the base, and every minute one zombie attempts to enter through every entrance.

The survivors can defend the entrances against the zombies. There are two options:

• manually — shoot the zombies coming through a certain entrance;
• automatically — set up an electric fence on a certain entrance to fry the zombies.

If an entrance is defended either or both ways during some minute, no zombie goes through.

Every entrance is defended by a single dedicated survivor. The $i$-th entrance is defended manually from minute $l_i$ until minute $r_i$, non-inclusive — $[l_i, r_i)$.

There are $k$ generators that can be used to defend the entrances automatically. Every entrance should be connected to exactly one generator, but a generator can be connected to multiple entrances (or even none of them). Each generator will work for exactly $m$ consecutive minutes. Polycarp can choose when to power on each generator independently of each other, the $m$ minute long interval should be fully inside the $[0, x)$ time interval.

Polycarp is a weird gamer. He wants the game to be as difficult as possible for him. So he wants to connect each entrance to a generator and choose the time for each generator in such a way that as many zombies as possible enter the base. Please, help him to achieve that!

Input

The first line contains four integers $n, k, x$ and $m$ ($1 \le k \le n \le 2000$; $1 \le m \le x \le 10^9$) — the number of entrances, the number of generators, the duration of the zombie invasion and the duration of all generators.

The $i$-th of the next $n$ lines contains two integers $l_i$ and $r_i$ ($0 \le l_i < r_i \le x$) — the time interval the $i$-th entrance is defended manually.

Output

Print a single integer — the largest number of zombies that can enter the base after Polycarp connects each entrance to some generator and chooses the time for each generator.

ExamplesInput

3 3 10 3
0 2
1 7
4 7

Output

18

Input

3 2 10 3
0 2
1 7
4 7

Output

18

Input

3 1 10 3
0 2
1 7
4 7

Output

16

Input

2 1 20 6
11 13
2 14

Output

22

Input

5 3 7 4
4 6
0 3
4 7
1 5
2 7

Output

14

Input

6 3 9 4
3 9
4 9
2 5
0 5
6 9
2 3

Output

26

题目大意：
Polycarp 在一个末日主题的游戏中，扮演一名幸存者抵御僵尸入侵。游戏持续 x 分钟，有 n 个入口，每分钟每个入口有一个僵尸尝试进入。幸存者可以用两种方式防御入口：手动射击或设置电网自动防御。每个入口有一个手动防御的时间段 [l_i, r_i)。有 k 个发电机可以用来设置电网，每个发电机可以连续工作 m 分钟。Polycarp 需要连接每个入口到一个发电机，并选择合适的时间启动发电机，以便尽可能多的僵尸进入基地。

输入数据格式：
第一行包含四个整数 n, k, x 和 m（1 ≤ k ≤ n ≤ 2000, 1 ≤ m ≤ x ≤ 10^9）——入口数量、发电机数量、僵尸入侵持续时间、发电机工作时间。
接下来 n 行，每行包含两个整数 l_i 和 r_i（0 ≤ l_i < r_i ≤ x）——第 i 个入口的手动防御时间段。

输出数据格式：
打印一个整数——在 Polycarp 连接每个入口到某个发电机并选择发电机启动时间后，能够进入基地的僵尸的最大数量。

例：
输入
3 3 10 3
0 2
1 7
4 7
输出
18

输入
3 2 10 3
0 2
1 7
4 7
输出
18

输入
3 1 10 3
0 2
1 7
4 7
输出
16

输入
2 1 20 6
11 13
2 14
输出
22

输入
5 3 7 4
4 6
0 3
4 7
1 5
2 7
输出
14

输入
6 3 9 4
3 9
4 9
2 5
0 5
6 9
2 3
输出
26题目大意： Polycarp 在一个末日主题的游戏中，扮演一名幸存者抵御僵尸入侵。游戏持续 x 分钟，有 n 个入口，每分钟每个入口有一个僵尸尝试进入。幸存者可以用两种方式防御入口：手动射击或设置电网自动防御。每个入口有一个手动防御的时间段 [l_i, r_i)。有 k 个发电机可以用来设置电网，每个发电机可以连续工作 m 分钟。Polycarp 需要连接每个入口到一个发电机，并选择合适的时间启动发电机，以便尽可能多的僵尸进入基地。 输入数据格式： 第一行包含四个整数 n, k, x 和 m（1 ≤ k ≤ n ≤ 2000, 1 ≤ m ≤ x ≤ 10^9）——入口数量、发电机数量、僵尸入侵持续时间、发电机工作时间。 接下来 n 行，每行包含两个整数 l_i 和 r_i（0 ≤ l_i < r_i ≤ x）——第 i 个入口的手动防御时间段。 输出数据格式： 打印一个整数——在 Polycarp 连接每个入口到某个发电机并选择发电机启动时间后，能够进入基地的僵尸的最大数量。 例： 输入 3 3 10 3 0 2 1 7 4 7 输出 18 输入 3 2 10 3 0 2 1 7 4 7 输出 18 输入 3 1 10 3 0 2 1 7 4 7 输出 16 输入 2 1 20 6 11 13 2 14 输出 22 输入 5 3 7 4 4 6 0 3 4 7 1 5 2 7 输出 14 输入 6 3 9 4 3 9 4 9 2 5 0 5 6 9 2 3 输出 26