Косовиця
Молодші кузени Бессі, Елла та Белла, відвідали ферму. На жаль, з моменту свого прибуття вони не принесли нічого, крім шкоди.
У своїй останній витівці вони вирішили скосити якомога більше трави. Найкращі пасовища ферми мають форму великого квадрата t × t. Нижній лівий кут має координати (0, 0), а верхній правий кут - (t, t). Таким чином, квадрат містить (t + 1) * (t + 1) точок решітки (точок з цілими координатами).
Елла та Белла планують почати з точки (0, 0) і рухатися з одиничною швидкістю до (t, t), утримуючи кінці дуже гострого і дуже довгого дроту. Трава в будь-якій області, по якій буде пронесено цей дріт, буде зрізана. Елла та Белла можуть йти різними шляхами, але кожен шлях складається тільки з кроків вгору і вправо, здійснюючи переходи по точках решітки.
Бессі дуже стурбована тим, що буде зрізано занадто багато трави, тому вона винаходить хитрий план, щоб обмежити шляхи, якими йдуть Елла та Белла. По луках розкидано n смачних квітів, кожна з яких розташована в окремій точці решітки. Бессі обирає набір квітів S, які Еллі та Беллі потрібно відвідати (так що шлях Елли повинен відвідати всі квіти з S, як і шлях Белли). Щоб додати якомога більше точок до цих шляхів, Бессі обере S якомога більшим серед підмножин квітів, які може відвідати корова, рухаючись вгору і вправо від (0, 0) до (t, t).
Елла та Белла будуть намагатися зрізати якомога більше трави, з урахуванням обмеження відвідування квітів з S. Допоможіть Бессі обрати S так, щоб зрізаної трави було якомога менше.
Вхідні дані
Перша рядок містить числа n (1 ≤ n ≤ 2 * 10^5
) і t (1 ≤ t ≤ 10^6
). Кожен з наступних n рядків містить цілі координати (x[i]
, y[i]
) квітки. Гарантується, що 1 ≤ x[i]
, y[i]
≤ t − 1 для всіх i, і жодні дві квітки не лежать на одній горизонтальній або вертикальній прямій.
Вихідні дані
Виведіть одне ціле число - мінімально можливу кількість скошеної трави.
Приклад
У цьому прикладі для Бессі оптимально зібрати квіти в точках (10, 3) та (13, 11). У найгіршому випадку Елла та Белла виріжуть три прямокутники трави загальною площею 117.