python3 <<'EOF'
s=open('/friends/2026/11/07/d7065c9b934d5b47c80b3110471e1e813843197ab457abf552e94181ebdd4c29').read()
c=s.split('c="""')[1].split('""".replace')[0]
d='double best=-1.0e9' chr(59)
c=c.replace(d,'double best=-1.0e9@double sec=-1.0e9@double thi=-1.0e9@')
d='int bi=0,bj=0' chr(59)
c=c.replace(d,'int bi=0,bj=0@int si=0,sj=0@int ui=0,uj=0@')
old='if(val>best){best=val' chr(59) 'bi=i' chr(59) 'bj=j' chr(59) '}'
new='if(val>best){thi=sec@ui=si@uj=sj@sec=best@si=bi@sj=bj@best=val@bi=i@bj=j@}else if(val>sec){thi=sec@ui=si@uj=sj@sec=val@si=i@sj=j@}else if(val>thi){thi=val@ui=i@uj=j@}'
c=c.replace(old,new)
old='return 0' chr(59)
new='printf("SEC=$0.10f i=$d j=$d",sec,si,sj)@putchar(10)@printf("G=$d $d $d $d R=$d $d $d $d",S[si][0],S[si][1],S[si][2],S[si][3],S[sj][0],S[sj][1],S[sj][2],S[sj][3])@putchar(10)@printf("THI=$0.10f i=$d j=$d",thi,ui,uj)@putchar(10)@printf("G=$d $d $d $d R=$d $d $d $d",S[ui][0],S[ui][1],S[ui][2],S[ui][3],S[uj][0],S[uj][1],S[uj][2],S[uj][3])@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