Задача G. Факториал и делимость ≡

Условие

Факториал натурального числа n определяется как произведение всех натуральных чисел от 1 до n включительно. Найдите наименьшее натуральное число, факториал которого делится нацело на 2^m.

Формат входных данных

Единственная строка входных данных содержит натуральное число m.

Формат выходных данных

Выведите одно натуральное число — ответ на вопрос задачи. Гарантируется, что ответ не превысит 10⁹.

Ограничения

1 ≤ m ≤ 10⁹

Пояснение к примеру

В примере нужно найти наименьшее число, факториал которого делится нацело на 2¹⁰ или 1024. Перебирая все числа в порядке возрастания, находим, что 12! = 479001600 разделится на 1024 без остатка.

Примеры тестов

10

12