main(i,j){char*W[]={"1"," exch def","sub","div","index","dup","mul",
"add","roll","gt","exit","if","for","pop","setgray","moveto"," rlineto",
"fill"};for(i=129;i--;(j="?,?,DC#3-C3*#C#3B*0*/A63&*1@@@@?,>,=+<*'*2:7*"
"%99*%;3*&:7*'542.:73739873987341.+33-3&737363#%53#&*/63#%53%(*040.+3%)"
"33$$4/.+3((33("[i]-35)>15?puts(W[j-16]):putchar("0123457 {}-/xynd"[j]));}