fetch -o - http://eval.dan.co.jp/friends/2026/11/08/d6fb56edb3116f83c8a126758578da4ffdd82fb9b513ba530020f929cc5bda20 | awk -F"'" -v OFS="'" '{ if (index($0,"lambda R:")) $0="def hv(P,x,i): return (P[-1],) if i==0 else (lambda R: cons(sm(P[-1-i],R[0]),R[1:]))(mulp(x,hv(P,x,i-1)))"; if (index($0,"def subp")) $0="def subp(P,Q): return tuple(sub(P[i],Q[i]) if i<len(Q) else P[i] for i in range(len(P)))"; if (index($0,"ys=")) $0="ys=(sub(cn(F(23,6)),s),add(cn(F(4,3)),mul(cn(F(3,2)),s)),cn(1),add(cn(F(-5,6)),mul(cn(3),s)))"; if (index($0,"G=((ip")) $0="G=((ip(N0,one),ip(N1,one)),(ip(N0,zp),ip(N1,zp)))"; if (index($0,"cc2=solve2(G,")) $0="cc2=solve2(G,(ip(H,one),ip(H,zp)))"; print }' | sh