#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000005
#define Inf64 4000000000000000001LL

int main(){
	
	vector<int> ps = {1,2,3,5,7,11,13,17,19,23};
	long long cur = 1;
	rep(i,ps.size())cur *= ps[i];
	int n;
	cin>>n;
	rep(i,n){
		if(i!=0)cout<<' ';
		cout<<cur/ps[i];
	}
	cout<<endl;
	return 0;
}