h[999],a[999],*p=a,*q=a,i,n,c,x[]={175,9,158,155,57,179,183,137,191,185};main(){for(h[7]=10;c<10;++c)h[x[c]]=c+48;for(;c+1;){c=getchar();*p<<=1,*p+=c!=32;++i%3||++p;if(c<11){if(!(++n%3))for(;*q;)putchar(h[*q++]);i=0,p=q;}}}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).