python3 -c 'from fractions import Fraction as F
h0=F(15877,127920)
h1=F(949099,938080)
h2=F(-631403,562848)
h3=F(563473,1407120)
h4=F(13843,234520)
h5=F(-108877,140712)
c0=F(61,240)
c1=F(9,40)
lf=F(-5023,140712)
df=F(-1389,42640)
A=sum((h0,F(1,2)*h1,F(1,3)*h2,F(1,4)*h3,F(1,5)*h4,F(1,6)*h5))
Az=sum((F(1,2)*h0,F(1,3)*h1,F(1,4)*h2,F(1,5)*h3,F(1,6)*h4,F(1,7)*h5))
t0=sum((A,-c0*(F(1,2)*df),-c1*(F(1,3)*lf)))
t1=sum((Az,-c0*(F(1,3)*df),-c1*(F(1,4)*lf)))
c0p=sum((F(7,2)*t0,-5*t1))
c1p=sum((6*t1,-3*t0))
R0=sum((h0,-c0p))
R1=sum((h1,-c0*df,-c1p))
R2=sum((h2,-c1p,-c1*lf))
K0=sum((3*R0,-F(57,80)*h4))
K1=sum((3*R1,F(141,40)*h4))
K2=sum((3*R2,-F(99,40)*h4))
K3=sum((3*h3,F(3,2)*h4))
K5=3*h5
print(h0,h1,h2,h3,h4,h5)
print(c0p,c1p,R0,R1,R2)
print(K0,K1,K2,K3,K5)'