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@double sec=-1.0e9@double thi=-1.0e9@')
c=c.replace('int bi=0,bj=0@','int bi=0,bj=0@int si=0,sj=0@int ui=0,uj=0@')
c=c.replace('if(val>best){best=val@bi=i@bj=j@}','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('return 0@','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('Q',chr(35)).replace('~',chr(43)).replace('@',chr(59)).replace('$',chr(37))
open('/tmp/a.c','w').write(c)
EOF
cc -O2 /tmp/a.c -o /tmp/a
/tmp/a