#include <bits/stdc++.h>
using namespace std;
int n, ans[] = {1,       2,       4,       6,        12,      16,      18,
                30,      60,      88,      106,      126,     520,     606,
                1278,    2202,    2280,    3216,     4252,    4422,    9688,
                9940,    11212,   19936,   21700,    23208,   44496,   86242,
                110502,  132048,  216090,  756838,   859432,  1257786, 1398268,
                2976220, 3021376, 6972592, 13466916, 20996010};
long long cnt, pw, out;
int main() {
  while (~scanf("%d", &n)) {
    out = 1;
    pw = 2;
    cnt = ans[n - 1];
    while (cnt) {
      if (cnt & 1) out = (out * pw) % 1000000007;
      pw = (pw * pw) % 1000000007;
      cnt >>= 1;
    }
    out--;
    out = (out + 1000000007) % 1000000007;
    printf("%I64d\n", out);
  }
  return 0;
}
