python3 <<'EOF'
s=open('/friends/2026/11/07/d7065c9b934d5b47c80b3110471e1e813843197ab457abf552e94181ebdd4c29').read()
c=s.split('c="""')[1].split('""".replace')[0]
c=c.replace('double best=-1.0e9','double best=-1.0e9@long nv=0')
c=c.replace('if((cnt-7)*(cnt-8)){','if((cnt-7)*(cnt-8)){nv~=1@')
old=''.join(['return 0',chr(59)])
new='printf("NV=$ld",nv)@putchar(10)@return 0@'
c=c.replace(old,new)
c=c.replace('@',chr(59)).replace('~',chr(43)).replace('$',chr(37)).replace('Q',chr(35))
open('/tmp/a.c','w').write(c)
EOF
cc -O2 /tmp/a.c -o /tmp/a
/tmp/a