#include<bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
    vector<int>vec;
    vec = {0,1,10000600009,10002200057,10002200057,10003800361,10004600129,10004600129,10005200147,10005200147,10006000171,10006000171,10006200817};
    int N;
    cin >> N;
    cout << vec[N] << endl;
}