#!/usr/local/bin/python3
import urllib.request
u='https://eval.dan.co.jp/friends/2026/11/03/e9b05e55411caec97ddfc0c219610a2bd96f8111950595210d3e2fd3faa552c9'
s=urllib.request.urlopen(u).read().decode().split('num=0')[0]
exec(s)
def nh(c,q):
 for i in range(3):
  if c[i]==q:return i
 return -1
def pull(c,b,o,q,a,bb):
 c=c[:];b=b[:];o=o[:]
 h=nh(c,q)
 if h<0:
  e=o[2]
  m=(c[e]+b[e]+a)%7
  c[e]=(q+bb)%7
  b[e]=a%2
 else:
  e=h
  m=(c[h]+b[h]+a)%7
  c[h]=(c[h]+bb)%7
  b[h]=1-b[h]
 o.remove(e)
 o.insert(0,e)
 return c,b,o,m
def run2(I,J,K,F):
 if I==0:
  c=[(J+1)%7,(K+2)%7,(J+K+3)%7]
  o=[0,1,2]
 elif I==1:
  c=[(K+3)%7,(J+4)%7,(J+2*K+1)%7]
  o=[1,2,0]
 else:
  c=[(J+K+2)%7,(K+5)%7,(2*J+4)%7]
  o=[2,0,1]
 b=[(I+F)%2,(J+F)%2,(K+F)%2]
 C0=c[:];B0=b[:];O0=o[:]
 q1=(I+K+F)%7;q2=(J+2*K+F)%7;q3=(2*I+J+K)%7
 hm=nh(c,q1)
 c,b,o,s=pull(c,b,o,q1,I+F,J+K)
 C1=c[:]
 rho=0
 if hm<0 and B0[O0[2]]==1:rho=1
 if hm>=0 and (s+c[o[2]])%2!=(I+C0[O0[2]])%2:rho=1
 if (o[0]+o[2]+s+F)%2!=(O0[0]+O0[2]+I)%2:rho=1
 if rho==1:
  j=o[2]
  c[j]=C0[j]
  b[j]=B0[j]
  j=o[1]
  u=(c[j]+b[j]+s)%7
  c[j]=(q2+u)%7
  b[j]=max(b[j],(J+K+F)%2)
  o.remove(j);o.insert(0,j)
 else:
  c,b,o,u=pull(c,b,o,q2,J+F,K+I)
 w=(2*c[0]+3*c[1]+c[2]+o[0]+2*o[1]+u)%7
 delta=0
 if w==c[o[0]]:delta=1
 if rho==1 and b[o[2]]==B0[o[2]]:delta=1
 if rho==0 and o[0]<o[2]:delta=1
 if rho==1 and delta==1:
  c=C0[:]
  c[o[0]]=(q3+w+F)%7
 elif delta==0 and (w==1 or w==3 or w==6):
  x=o[0];y=o[2]
  c[x],c[y]=c[y],c[x]
  b[x],b[y]=b[y],b[x]
  c[x]=(c[x]+w+I)%7
 else:
  c,b,o,_=pull(c,b,o,q3,K+F,I+J)
 eps=0
 if b[o[0]]==b[o[1]] and c[o[0]]!=c[o[1]]:eps=1
 if rho==1 and delta==1 and c[o[2]]==C0[o[2]]:eps=1
 if I==2 and F==1:eps=1
 if I==0 and (o[0]+F)%2==0:eps=0
 if eps==1 and F==0:
  c[o[0]]=C1[o[0]]
  c[o[2]]=C1[o[2]]
  c[o[1]]=(c[o[1]]+w+rho)%7
 elif eps==0 and F==0:
  b[o[0]]=0
  if (F+J+K)%2==1:
   o=[o[1],o[2],o[0]]
 elif F==1 and rho==1:
  c[o[2]]=C0[o[2]]
  c[o[0]]=(c[o[0]]+s+delta)%7
 elif F==1 and rho==0:
  c[o[1]]=(c[o[1]]+u+eps)%7
 omega=0
 if (b[0]+b[1]+b[2])>=2 and c[o[0]]==q3:omega=1
 if rho==1 and (C0[O0[0]]+c[o[2]])%7!=(c[o[0]]+C0[O0[2]])%7:omega=1
 if delta==1 and o[0]==O0[2]:omega=1
 if eps==1 and b[o[2]]==1:omega=1
 R=(2*c[0]+c[1]+3*c[2]+o[0]+2*o[1]+rho+delta+2*eps+omega)%11
 S=(c[o[0]]+2*c[o[1]]+3*c[o[2]]+I+J+K+F+omega)%10
 p=(c[o[2]]+o[0]+I+F+omega)%2
 psi=(F+J+K)%2
 M=1 if (R==2 or R==4 or R==8) and (3<=S<=6) and p!=psi else 0
 Hh=1 if M==1 and rho==1 and delta==1 and eps==1 and omega==1 else 0
 return [I,J,K,F,rho,delta,eps,omega,R,S,p,psi,M,Hh]
ok=1
for z in cases:
 a=run(*z)[:14]
 b=run2(*z)
 if a!=b:
  ok=0
  print('DIFF',z,a,b)
print('OK',ok)