#!/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 (')
print(len(P),P.count(chr(10)))
exec(compile(P,chr(120),bytes((101,120,101,99)).decode()))