Рік Корови#11211
Корови фермера Джона раді дізнатися, що нещодавно було відзначено Китайський Новий рік, який розпочав рік Бика — завжди улюблений у корів.
Як відомо, знаки зодіаку в китайському календарі слідують -річному циклу: Бик, Тигр, Кролик, Дракон, Змія, Кінь, Коза, Мавпа, Півень, Собака, Свиня, Щур, а потім знову Бик. Менш відомий факт, що в кожен рік Бика відкривається загадковий часовий портал, який дозволяє коровам подорожувати у будь-який інший рік Бика — як у минулому, так і у майбутньому.
Корова Бессі хоче скористатися порталом, який відкрився цього року, щоб відвідати своїх знаних предків-корів, що жили багато років тому.
На жаль, подорожі у часі Бессі переносить важко, тож вона воліла б зробити не більше стрибків у часі. Допоможіть Бессі визначити мінімальну кількість років, яка потрібна, аби відвідати всіх предків та повернутися у поточний рік, зробивши не більше стрибків у часі.
Бессі не обов'язково користуватися порталом у кожний рік Бика, якщо вона цього не захоче. Часові портали з'єднують перші дні кожного року Бика; наприклад, якщо Бессі скористається порталом і потім чекатиме років до наступного порталу, це займе саме років. Бессі починає подорож у перший день поточного року Бика, тому вона може одразу вирушити у минуле. Жоден із предків Бессі не жив у роки Бика.
У першому рядку містяться (1 \leq n \leq 0x10000, де — це у шістнадцятковій системі) і (1 \leq k \leq n). У наступних рядках записані по одному різних цілих чисел у діапазоні 1..10^9 — скільки років тому жив кожен із предків Бессі.
Виведіть мінімальну кількість років, яка потрібна Бессі, аби відвідати всіх своїх предків і повернутися у поточний рік.
Один зі способів для Бессі відвідати всіх своїх предків за років:
Увійти у портал у поточному році й вирушити на років у минуле.
Почекати років, потім увійти у портал років тому й вирушити на років у минуле.
Почекати роки, потім увійти у портал роки тому й повернутися у поточний рік.
Приклад 1