char b[9999];d(x,t,r,f,p,i){for(p=b[x],i=p/33*4,p=p<36|p==t;i--;)p*=f==(i+2)%4||d(x+"0\x01\xd0\xff"[i],"245354234631126562153641"[i-r&3|t%6*4],r+(r%4==i^t&1?:3),i);return p;}main(x,t){for(x=read(0,b,b);t--<197?t=220,x--:b[x]>32&&d(x,t/4,t)?b[x]=t/4:1;);puts(b);}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).