#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
ll gcd(ll x,ll y){
    if(y==0)return x;
    else return gcd(y,x%y);
}
int main()
{
    int n;
    cin>>n;
    vector<ll> p={2,3,5,7,11,13,17,19,23};
    ll t=1;
    for(ll x:p)t*=x;
    cout<<t;
    for(int i=0;i<n-1;i++)cout<<" "<<t/p[i];
    cout<<endl;

   /* vector<ll> s;
    s.push_back(t);
    for(int i=0;i<9;i++)s.push_back(t/p[i]);
    set<ll> ss;
    for(int i=0;i<10;i++)for(int j=i+1;j<10;j++){
        ll lcm=s[i]*s[j]/gcd(s[i],s[j]);
        ss.insert(lcm);
    }
    cout<<ss.size()<<endl;
    */
    return 0;
}