Орися та Орест двійнята і сьогодні у них день народження. Мама спекла їм круглий торт і розрізала його на 16 рівних частин.

Орися хоче взяти собі ~A~ кусочків, а Орест - ~B~. Мама сказали, що вони можуть взяти будь-які кусочки, але кожен з них не може брати два кусочки, які розміщені поряд.

Чи зможуть діти взяти собі кусочки тортиків при таких умовах.

Формат вхідних даних

Вхідний потік містить цілі числа ~A, B~ ~(1 \le A,B \le 16, A+B \le 16)~, які розділяються пропуском.

Формат вихідних даних

У вихідний потік вивести ~:)~, якщо діти зможуть взяти собі кусочки тортиків при таких умовах або ~:(~ у випадку, коли це неможливо зробити.

Приклад вхідних даних

5 4

Приклад вихідних даних

:)

До прикладу вхідних даних:

Один із варіантів поділу: Орися візьме червоні кусочки, а Орест - сині.

У деякому селі дивні люди розмістили із заходу на схід, з інтервалом 1 метр, 999 веж з послідовними висотами 1, 1 + 2, 1 + 2 + 3, ..., 1 + 2 + ... + 999.

Весною, як це інколи буває, пішов сніг. Для якихось двох сусідніх веж ми виміряли їх висоту над снігом і для західної вежі отримали ~a~ м, а для східної - ~b~ м.

Знайдіть висоту сніжного покрову, якщо сніг рівномірно покрив землю. Вважаємо, що мінімальна висота снігового покриття дорівнює 1 м.

Формат вхідних даних

Вхідний потік містить два цілих числа ~a,b~ ~(1 \le a < b < 499500)~, які розділяються пропуском.

Формат вихідних даних

У вихідний потік вивести висоту сніжного покрову.

Приклад вхідних даних

8 13

Приклад вихідних даних

2

Щоб ускладнити виведення грошей, деякий креативний банк дозволяє своїм клієнтам зняти лише одну з таких сум за одну операцію:

• 1 грн

• 6 грн, ~6^2~ грн, ~6^3~ грн, ....

• 9 грн, ~9^2~ грн, ~9^3~ грн, ....

Яка мінімальна кількість операцій потрібна для того, що зняти рівно ~N~ гривень.

Не дозволяється зняті гроші знову класти в банк.

Формат вхідних даних

Вхідний потік містить ціле число ~N~ ~(1 \le N \le 10^5)~

Формат вихідних даних

У вихідний потік вивести мінімальну кількість операцій.

Приклад вхідних даних

127

Приклад вихідних даних

4