Корень из двух

Вычислите:

$a_n=\frac{\sqrt{2}\cdot (1+{(\sqrt{2}-1)}^{2^n})}{1-{(\sqrt{2}-1)}^{2^n}}$

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

Входной файл INPUT.TXT содержит одно натуральное число n (1 ≤ n ≤ 10⁶).

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

В выходной файл OUTPUT.TXT выведите a_n по модулю 10⁹ + 7.

Пример

Автор задачи

Владимир Игоревич Лукьянчиков

Для отправки решения задачи необходимо зарегистрироваться и авторизоваться!

[Обсуждение] [Все попытки] [Лучшие попытки]