A. Спасите задачу!
ограничение по времени на тест
2 секунды
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Внимание: мы потеряли все тесты к этой задаче, поэтому вместо того, чтобы решать задачу, вы нужны нам для того, чтобы сделать тесты. Мы дадим вам ответ, а вам нужно будет сделать тест с таким ответом. Исходная задача описана в следующем параграфе.

Сейчас люди не используют наличные деньги так часто, как раньше. Владение пластиковой картой решает некоторые проблемы наличности, такие как необходимость получать сдачу, когда вы не можете набрать точную сумму, необходимую для покупки. Зачастую кассир использует в сдаче как можно меньше монет, но он не обязан это делать. Например, если ваша сдача равна 30 центам, кассир может сдать вам монету в 5 центов и монету в 25 центов, или сдать вам три монеты в 10 центов, или десять монет в 1 цент, две монеты в 5 центов и одну монету в 10 центов. Всего существует 18 различных способов сдать 30 центов с использованием только монет в 1 цент, 5 центов, 10 центов и 25 центов. Два способа считаются различными, если они содержат различное число монет хотя бы одного типа. По информации о доступных монетах и сумме сдачи, каково количество различных способов сдать сдачу?

Как мы уже отметили выше, мы потеряли все тесты к этой задаче, поэтому мы дадим вам количество способов, а вы должны будете сделать тест, для которого число способов равно заданному числу. Таких тестов может быть много (мы гарантируем, что есть хотя бы один), поэтому вы можете вывести любой, удовлетворяющий формату выходных данных.

Входные данные

Единственная строка содержит одно целое число A (1 ≤ A ≤ 105) — искомое число способов.

Выходные данные

В первой строке выведите целые числа N и M (1 ≤ N ≤ 106, 1 ≤ M ≤ 10) — сумму сдачи и количество номиналов монет, соответственно.

Затем выведите M целых чисел D1, D2, ..., DM (1 ≤ Di ≤ 106) — номиналы монет. Все номиналы должны быть различны: для каждых i ≠ j должно выполняться Di ≠ Dj.

Если существует несколько различных тестов, выведите любой. Вы можете выводить номиналы монет в любом порядке.

Примеры
Входные данные
18
Выходные данные
30 4
1 5 10 25
Входные данные
3
Выходные данные
20 2
5 2
Входные данные
314
Выходные данные
183 4
6 5 2 139