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,
743440384*b(6)^4+103677952*b(6)^2*a(6)-22108160*b(6)^2-932736*a(6)+121905,
5*b(5)-64*b(6)*a(6)-16*b(6),
30212375*b(4)+192876314624*b(6)^3*a(6)+18143865856*b(6)^3-893313600*b(6)*a(6)-151889900*b(6),
126891975*b(3)-1089930067968*b(6)^3*a(6)-109927534592*b(6)^3+7154459200*b(6)*a(6)+2099380000*b(6),
634459875*b(2)-639219335168*b(6)^3*a(6)-2005256192*b(6)^3+10165771200*b(6)*a(6)-956671575*b(6),
6678525*b(1)+15008202752*b(6)^3*a(6)+1356197888*b(6)^3-126364800*b(6)*a(6)-30110400*b(6),
33392625*b(0)+32246726656*b(6)^3*a(6)+2199102464*b(6)^3-371196800*b(6)*a(6)-43437950*b(6),
c(6),
c(5),
7347649600*c(4)^2-1262640562176*b(6)^2*a(6)-207138758144*b(6)^2-2140084800*a(6)+1021381725,
6932625*c(3)+83265323008*c(4)*b(6)^2*a(6)+6150807552*c(4)*b(6)^2-790753600*c(4)*a(6)-91817800*c(4),
131719875*c(2)-2802630852608*c(4)*b(6)^2*a(6)-210488010752*c(4)*b(6)^2+26237846400*c(4)*a(6)+3509877300*c(4),
26343975*c(1)+171827658752*c(4)*b(6)^2*a(6)+14075998208*c(4)*b(6)^2-1480547520*c(4)*a(6)-251852100*c(4),
131719875*c(0)+361451421696*c(4)*b(6)^2*a(6)+23242676224*c(4)*b(6)^2-3810790400*c(4)*a(6)-374358725*c(4)
;