char*s="02210313074020029000033739";v;main(c){for(;read(0,&c,1);)v=c-10?v+s[c-97]-47:!printf("%d\n",v);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page