Consider the following equation:

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.
样例
1
1
2
3
3
15
题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。