#arc076d. [arc076_d]Exhausted?

[arc076_d]Exhausted?

mm 个椅子在数轴上排列,第 ii 张椅子的坐标为i。

高桥君和他的朋友一共有 nn 个人。高桥君他们因为玩了太久的游戏,大家的腰和背都很痛,所以他们很有必要坐在椅子上休息一下。

高桥君他们每个人坐的椅子的坐标都很讲究,第 ii 个人想坐在坐标在 lil_i 以下(包括 lil_i)的椅子上,或者坐在坐标在 rir_i 以上(包括 rir_i)的椅子上。当然,一个的椅子只能坐一个人。

可这样计算下去,可能会让他们不能都坐在椅子上休息。青木君关心高桥君他们的健康,尽可能多地增加椅子,让高桥君他们都能够坐在椅子上休息。 椅子可以添加到任意的实数坐标上,请求出需要添加椅子数量的最小值。

输入输出格式

输入

第一行输入两个数 nnmm

接下来的第二行到 n+1n+1 行依次输入 lil_irir_i

输出

输出需要添加的椅子数量的最小值

数据范围

1N,M2×1051 \leq N,M \leq 2\times 10^50li<riM+10\leq l_i < r_i \leq M+1。所有的数都是整数

样例解释

样例一:

44 个人依次坐在坐标为 3,2,1,43, 2, 1, 4 的椅子上,所以椅子不需要添加。

样例二:

如果将椅子添加到坐标 0077,则可以将 77 人按顺序放在坐标 0,5,3,2,6,1,70, 5, 3, 2, 6, 1, 7 中。