var d,n=0
d=readChar%8
n=d*5%12-2
var s="\n "
printf(((" "*5+(""+d)*n+s+"_"*n+"___\n9 | "+d+"0"*n)/:("0"*n))(_+s+" "+d+_+s+"-%1$3d"+{s+=" "
s}+" __")+s+" "+d,d*9)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).