#include<cstdio>
int main(){
	int n;
	scanf("%d",&n);
	if(n==3){
		puts("2 5 63");
		return 0;
	}
	int a=n%3?n-2:n-4;
	if(a>15000) a=n%2?14999:15000;
	for(int i=1;i<=a;i++) printf("%d ",i*2);
	for(int i=0;i<n-a;i++) printf("%d ",i*6+3);
}