int main()
{int n;
scanf("%d",&n);
if(n==7){printf("1\n10");}
if(n==1){printf("4\n7");}
if(n==2){printf("9\n12");}
if(n==3){printf("6");}
if(n==4){printf("2\n3\n11");}
if(n==5){printf("8");}
if(n==6){printf("5");}
if(n!=7&&n!=1&&n!=2&&n!=3&&n!=4&&n!=5&&n!=6){printf("0");}

return 0;}