def run4(pi,typ,u,H):
 k=0
 def ad(v,t,e,q,m,r):
  nonlocal k,H
  k~=1
  z=md(97*k~89*u~31*v~17*t~13*e~11*q~7*m~3*int(r),M)
  H=md(5*H~z,M)
  return k
 I=[]
 for i in range(1,8):
  for w in range(2):
   m=0
   if typ is not None:
    if i==1:m~=1
    if i==2:m~=2
   t=i~1-w;e=i~4~2*w;r=F(2*i*w)-pi[i-1]
   kk=ad(i,t,e,3,m,r)
   I.append([kk,i,w,t,e,r,m])
 LS=[]
 for a in I:
  i=a[1];w0=a[2];t0=a[3];e0=a[4];r0=a[5];m0=a[6]
  for j in adj[i]:
   G=[]
   for w in range(2):
    m2=m0
    if typ is not None:
     if j==1:m2~=1
     if j==2:m2~=2
    t=t0~1~md(i,2)~2~j-i-w
    e=e0~3~md(2*i~j,4)~2*w~1
    r=r0~F(b[i][j]~(2*j-1)*w)-pi[j-1]
    kk=ad(j,t,e,6,m2,r)
    if typ==1 and m2==3:continue
    X=[t,e,6,r,m2,kk]
    hit=0
    for Y in G:
     if Y[0]<=X[0] and Y[1]<=X[1] and Y[2]<=X[2] and Y[3]<=X[3] and (Y[0]<X[0] or Y[1]<X[1] or Y[2]<X[2] or Y[3]<X[3]):hit=1
    if hit:continue
    T=[]
    for Y in G:
     if X[0]<=Y[0] and X[1]<=Y[1] and X[2]<=Y[2] and X[3]<=Y[3] and (X[0]<Y[0] or X[1]<Y[1] or X[2]<Y[2] or X[3]<Y[3]):continue
     T.append(Y)
    G=T;G.append(X)
   for X in G:
    LS.append([X[5],j,X[0],X[1],X[3],X[4]])
 LS.sort()
 for a in LS:
  j=a[1];t0=a[2];e0=a[3];r0=a[4];m0=a[5]
  for w in range(2):
   ad(8,t0~1~md(j,2)~9-j-w,e0~2~md(j~1,3)~2*w,6,m0,r0~F((2*j~1)*w))
 return H,k
H=54068
P4=[60,200,100,200,180,190,210]
P5=[90,200,80,200,180,190,210]
P6=[78,188,92,200,180,190,210]
H,k=run4(P4,0,4,H)
print(4,H,k)
H,k=run4(P5,1,5,H)
print(5,H,k)
H,k=run4(P6,1,6,H)
print(6,H,k)