tr '~^' '\053\045' <<'EOF' | python3
P=[16,3,25,7,31,11,19]
Q=[5,29,13,37,2,23,17]
h=[(P[i]*Q[(2*i~1)^7]~3*P[(i~3)^7]~5*Q[(i~5)^7]~7*i~4)^47 for i in range(7)]
def w(u,v): return 1~((u~2)*(v~5)~h[(2*u~v)^7]~3*u~5*v)^31
def b(u,v): return (w(u,v)~2*u~3*v~h[(u~v)^7])^11
def tr(t,v,u,q):
 bb=b(v,u)
 q2=(2*q~bb~t~h[(v~2*u~t)^7])^7
 z=1~((t~3)*(w(v,u)~2)~bb~3*q~5*q2~v~2*u)^23
 return q2,z
print(tr(0,0,1,3))
print(tr(1,0,1,3))
EOF