#!/usr/bin/env python3
u='https://eval.dan.co.jp/friends/2026/11/09/6377658b2dc06bdd7cf8dc9e6e130da94f448e46f74f1473fcd7aab27d4de8ef'
import urllib.request
s=urllib.request.urlopen(u).read().decode()
s=s.replace('chr(126),chr(32)','chr(83),chr(32)',1)
s=s.replace('compile(p,__file__,','compile(p,chr(120),',1)
w='/tmp/x.py'
f=open(w,'w')
f.write(s)
f.close()
__file__=w
l=open(w).read().split(chr(10))
Q=l.pop(1).removeprefix(chr(35))
P=l.pop(1).removeprefix(chr(35))
D=lambda s:s.replace(chr(83),chr(32)).replace(chr(80),chr(43)).replace(chr(67),chr(37)).replace(chr(91),chr(60)).replace(chr(93),chr(62)).replace(chr(78),chr(10))
Q=D(Q)
P=D(P)
P=Q.__add__(P)
P=P.replace(chr(10)+chr(32)*12+'not (',chr(10)+chr(32)*12+'and not (')
P=P.replace('and not (2*a+3*b)','not (2*a+3*b)')
P=P.replace(chr(10)+'    else:'+chr(10)+'        R.append',chr(10)+'else:'+chr(10)+'        R.append')
P=P.replace('at=list.__getitem__','at=lambda t,i:t[i]')
P=P.replace('Q=(5,2,6,1,4,3)','Q=(4,1,5,0,3,2)')
P=P.replace('H=gen(1,','def dot(r,g): return sum(map(lambda a,b:a*b,r,g))'+chr(10)+'H=gen(1,')
print(len(P),P.count(chr(10)))
exec(compile(P,chr(120),bytes((101,120,101,99)).decode()))