p[1300],w['~~'],n,s,t,*q=p;main(i){for(scanf("%d",&n),n-=2;s=i%++t||(i==t?*q++=i:0,t=i++