H=17
k=0
def ad(v,t,e,q,r):
 global H,k
 k~=1
 z=md(97*k~31*v~17*t~13*e~11*q~3*r,M)
 H=md(5*H~z,M)
I=[]
for i in range(1,8):
 for w in range(2):
  ad(i,i~1-w,i~4~2*w,3,F(2*i*w)-sc[i-1])
  I.append([i,w,k,i~1-w,i~4~2*w,F(2*i*w)-sc[i-1]])
LS=[]
for a in I:
 i=a[0];w0=a[1];t0=a[3];e0=a[4];r0=a[5]
 for j in adj[i]:
  for w in range(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)-sc[j-1]
   ad(j,t,e,6,r)
   mod=(w0,w)
   if mod!=(0,1):LS.append([k,j,t,e,r,i,j,mod])
LS.sort()
for a in LS:
 j=a[1];t0=a[2];e0=a[3];r0=a[4]
 for w in range(2):
  ad(8,t0~1~md(j,2)~9-j-w,e0~2~md(j~1,3)~2*w,6,r0~F((2*j~1)*w))
print(H,k)