main(){ long n; scanf("%ld",&n); if(n<7){ if(n==3)puts("0 1 11 3 4 5"); if(n==4)puts("0 1 2 19 4 5 6 7"); if(n==5)puts("0 1 2 3 34 6 7 8 9 10"); if(n==6)puts("0 1 2 3 4 53 8 9 10 11 12 13"); exit(0); } // A if(n%3==0)puts("0 3"); if(n%3==1)puts("1 3"); if(n%3==2)puts("1 4"); long m=(n*2-7)/3*3; long x=9; long e=n*3+6; while(x