#!/usr/bin/env python3
x=6;y=19;cs=[]
for t in range(36):
 x=(7*x+5*y+3*t+11)%32
 y=(9*y+3*x+5*t+7)%32
 cs.append((x,y))
V=[]
for x,y in cs:
 u=(13*x+11*y+5)%997
 v=(17*x+7*y+19)%997
 o=0;ps=[]
 for i in range(8):
  a=(u+(i+2)*v+13*i+5*x+7*y)%(5+i%4)
  p=1 if a<2+i%3 else 0
  ps.append(p)
  if p:
   u=(3*u+5*v+11*i+x)%997
   v=(u+7*v+13*y+3*i)%997
   o=(o+2*u+v+19*i+1)%997
  else:
   v=(5*v+2*u+17*i+y)%997
   u=(7*u+v+11*x+5*i)%997
   o=(o+u+3*v+23*i+4)%997
 s=0
 for i in range(8):
  s=s+(ps[i]<<i)
 V.append((s,o,tuple(ps)))
print('CS',cs)
print('VS',V)
st=[()];ex=set();A=[];R=0;C=0
while len(A)<14 and st:
 pr=st.pop();l=len(pr)
 mt=[t for t in range(36) if V[t][2][:l]==pr]
 if not mt:
  R=R+1;C=(17*C+31*l+7*R+3)%9973
 else:
  t=mt[0]
  if t in ex:
   R=R+1;C=(17*C+31*l+7*R+5*t+4)%9973
  else:
   ex.add(t);s,o,ps=V[t];k=len(A);A.append((t,s,o,ps))
   C=(17*C+11*k+5*t+3*s+o)%9973
   for i in range(8):
    st.append(ps[:i]+(1-ps[i],))
print('CON',R,len(A),C)
print('A',A)
K=set()
for k,(t,s,o,ps) in enumerate(A):
 x,y=cs[t]
 for m in range(18):
  j=(5*m+3)%8;q=1+(7*m+4)%9;r=m%3
  if r==0:
   z=(o+q*(2*ps[j]+1)+x)%997
  elif r==1:
   z=(o+q*((s%11)+1-ps[j])+y+j)%997
  else:
   z=(o+q*((x+y+j)%7)+3*ps[j]+m)%997
  e=1 if z!=o else 0
  if e:
   K.add(m)
  C=(17*C+19*k+23*m+3*z+29*e)%9973
print('FINAL',R,len(K),C)