Codeforces Round 139 (Div. 2)
E
Unsolvable
Codeforces
2100
原题
← D→
翻译中…

Consider the following equation:

翻译中…

image

翻译中…

where sign

翻译中…

[a]

翻译中…

represents the integer part of number

翻译中…

a

翻译中…

.

翻译中…

Let's find all integer $*z*$ $(*z* > 0)$, for which this equation is unsolvable in positive integers. The phrase "unsolvable in positive integers" means that there are no such positive integers $*x*$ and $*y*$ $(*x*, *y* > 0)$, for which the given above equation holds.

翻译中…

Let's write out all such $*z*$ in the increasing order: $*z*_{1}, *z*_{2}, *z*_{3}$, and so on $(*z*_{*i*} < *z*_{*i* + 1})$. Your task is: given the number $*n*$, find the number $*z*_{*n*}$.

翻译中…

Input

翻译中…

The first line contains a single integer $*n*$ ($1 ≤ *n* ≤ 40$).

翻译中…

Output

翻译中…

Print a single integer — the number $*z*_{*n*}$ modulo $1000000007$ $(10^{9} + 7)$. It is guaranteed that the answer exists.

翻译中…

样例

Input #1
1
Output #1
1
InputCopy OutputCopy
Input #2
2
Output #2
3
InputCopy OutputCopy
Input #3
3
Output #3
15
InputCopy OutputCopy
题目信息
题号
225E
时间限制
2 s
内存限制
256 MB
标签
数学
数论

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。