t,j,k;main(i){for(scanf("%d",&k);i*~-i/2<<j!=k|t>i+j?t?exit(0),1:++j>29?j=0,++i<31:1:printf("%d%c",t?t>j:i+j,t?32:10)+t++;);}