1024*a(6)^2-64*a(6)-5,
16*a(5)-64*a(6)-1,
16*a(4)-80*a(6)-5,
8*a(3)-5,
8*a(2)+40*a(6)-5,
16*a(1)+64*a(6)-5,
16*a(0)+16*a(6)-1,
280117641216*b(6)^4+15204220928*b(6)^2*a(6)-2729482240*b(6)^2-31490944*a(6)+4115745,
5*b(5)-64*b(6)*a(6)-16*b(6),
336775*b(4)+2156593152*b(6)^3*a(6)+216050688*b(6)^3-7643200*b(6)*a(6)-1569100*b(6),
1683875*b(3)+56959107072*b(6)^3*a(6)+4130746368*b(6)^3-16196800*b(6)*a(6)-1899200*b(6),
1683875*b(2)-128119799808*b(6)^3*a(6)-10264676352*b(6)^3+185163200*b(6)*a(6)+50058425*b(6),
17725*b(1)+444530688*b(6)^3*a(6)+40169472*b(6)^3-643200*b(6)*a(6)-273600*b(6),
88625*b(0)+955121664*b(6)^3*a(6)+65135616*b(6)^3-2531200*b(6)*a(6)-381550*b(6),
c(6),
c(5),
8190368*c(4)^2-113541120*b(6)^2*a(6)-16969984*b(6)^2+248864*a(6)-14245,
5*c(3)-64*c(4)*a(6)-16*c(4),
9250625*c(2)+377147817984*c(4)*b(6)^2*a(6)+26754717696*c(4)*b(6)^2-497657600*c(4)*a(6)-47611400*c(4),
9250625*c(1)-754295635968*c(4)*b(6)^2*a(6)-53509435392*c(4)*b(6)^2+1350539200*c(4)*a(6)+221031300*c(4),
9250625*c(0)+377147817984*c(4)*b(6)^2*a(6)+26754717696*c(4)*b(6)^2-734473600*c(4)*a(6)-134567275*c(4)
;