#include<stdio.h>
#define bas 1000000000

int res[2048]={0};

int main(){
  int n;
  scanf("%d",&n);
  res[0]=bas*2;
  res[n+1]=bas*2;
  res[1]=bas-1;
  for(int i=2;i<n;i++){res[i]=i;}
  res[n]=bas;
  for(int i=0;i<=n+1;i++){
    if(i){printf(" ");}
    printf("%d",res[i]);
  }printf("\n");
  return 0;
}