16384*a(0)^2-896*a(0)+7,
128*a(9)+128*a(0)-7,
32*a(8)+224*a(0)-11,
8*a(7)+160*a(0)-7,
32*a(6)+896*a(0)-35,
64*a(5)+896*a(0)-35,
32*a(4)-448*a(0)+7,
16*a(3)-448*a(0)+7,
32*a(2)-640*a(0)+7,
128*a(1)-896*a(0)+5,
2212434962022400*b(0)^4+236931021537280*b(0)^2*a(0)-12049676943360*b(0)^2-220891733440*a(0)+10104529169,
10324373332949263*b(9)-2434971868445016064000*b(0)^3*a(0)+21776534696776089600*b(0)^3+1333294848365643520*b(0)*a(0)-7192632952247540*b(0),
72270613330644841*b(8)-48026588364166922240000*b(0)^3*a(0)+401237579864094310400*b(0)^3+23269412966557434880*b(0)*a(0)+12133795439851190*b(0),
23900924265777543845*b(7)+3558621778206641660887040*b(0)^3*a(0)-57970414777928799600640*b(0)^3-3441442152828824256896*b(0)*a(0)+150613332030005018986*b(0),
167306469860442806915*b(6)+416534293462424619487068160*b(0)^3*a(0)-3506129880807385638338560*b(0)^3-184856478137683831094784*b(0)*a(0)+282521586364777686969*b(0),
71702772797332631535*b(5)+104537220311163502864629760*b(0)^3*a(0)-526039727509348827381760*b(0)^3-28743894537912607494784*b(0)*a(0)-1635513258099332623886*b(0),
167306469860442806915*b(4)-983713444790279586793390080*b(0)^3*a(0)+7433347811097709493780480*b(0)^3+304786404182829320794112*b(0)*a(0)+2073405305874291477893*b(0),
33461293972088561383*b(3)+77655551518164532917698560*b(0)^3*a(0)-634868937362798470348800*b(0)^3-7648039492092677397888*b(0)*a(0)+175672249854870888434*b(0),
14340554559466526307*b(2)+5203811293263046975160320*b(0)^3*a(0)-34406404399055785984000*b(0)^3-4346459036999914487296*b(0)*a(0)+10114493711791001491*b(0),
7*b(1)-640*b(0)*a(0)-14*b(0),
2428224644034926328737280*c(0)^2-405698383303006712517099520*b(0)^2*a(0)-3030397891147975321927680*b(0)^2-91159506830975314356352*a(0)+6219049857080533128257,
c(9),
c(8),
13207419164220750*c(7)-9193117853781595258880*c(0)*b(0)^2*a(0)+83627366197994414080*c(0)*b(0)^2+4494103724460165312*c(0)*a(0)-30717546033969767*c(0),
184903868299090500*c(6)-364450328639317517271040*c(0)*b(0)^2*a(0)+3167995561116642672640*c(0)*b(0)^2+165153363208365930496*c(0)*a(0)-552606537014884261*c(0),
19811128746331125*c(5)+42943219229784596807680*c(0)*b(0)^2*a(0)-420105701871401082880*c(0)*b(0)^2-23087869390618820032*c(0)*a(0)+284444224123574662*c(0),
18490386829909050*c(4)+227132833293135972925440*c(0)*b(0)^2*a(0)-1895284498201984368640*c(0)*b(0)^2-95672886120708920576*c(0)*a(0)+57617673288043491*c(0),
92451934149545250*c(3)-1821873619987353215959040*c(0)*b(0)^2*a(0)+15571375869056369008640*c(0)*b(0)^2+783905927637813759296*c(0)*a(0)-2747876421989950811*c(0),
554711604897271500*c(2)+4394308518472850950062080*c(0)*b(0)^2*a(0)-37823096679545146081280*c(0)*b(0)^2-1820284595730105032192*c(0)*a(0)+11406381417001507097*c(0),
7*c(1)-640*c(0)*a(0)-14*c(0)
;