main(d,x){for(x=249;x<250;x-=d)d-=!x,printf("%d ",x+7*(x>12));}