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