#include <bits/stdc++.h>
using namespace std;
int v[] = {0,       2,       3,       5,       7,        13,      17,
           19,      31,      61,      89,      107,      127,     521,
           607,     1279,    2203,    2281,    3217,     4253,    4423,
           9689,    9941,    11213,   19937,   21701,    23209,   44497,
           86243,   110503,  132049,  216091,  756839,   859433,  1257787,
           1398269, 2976221, 3021377, 6972593, 13466917, 20996011};
int main() {
  int n;
  cin >> n;
  int x = 1;
  for (int i = 1; i < v[n]; i++) {
    x *= 2;
    x %= 1000000007;
  }
  cout << (1000000007 + x - 1) % 1000000007;
  return 0;
}
