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
for u in [2]:
 for v in range(7):
  if u!=v:
   term=(u~2)*(v~3)*(w(u,v)~5)*(b(u,v)~7)
   print(v,w(u,v),b(u,v),term)
EOF