*d,i,j,l,m,x;unsigned char*p,*s,*t,b[9<<11],o[999];main(f){t=o+200;d=b+4672;read(0,b,o);f=b[11]%3;s="golf\x00\x00shinh\x00:-)"+f*6;f=f?20-4*f:33;for(read(open("/usr/games/banner",0),b,o);*s;)for(m=l=0,x=p=b+5184+d[*s++];x;p+=2)if(j=*p>128){for(i=j=0;t[j]=o[j*33/f];)j++;for(bzero(o,200);t[--j]==32;)t[j]=0;for(j=*p|64;j-->192;)l++-m*33/f||puts(t)+m++;x=*p--<191;}else for(;i<*p||j++<p[1];)o[i++]=j?35:32;}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).