main(c){for(;read(0,&c,1);c>50&&printf("%d ",c));}