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,
4948978327757991496908800*b(0)^4+1158981156401559224975360*b(0)^2*a(0)-73073764792674252472320*b(0)^2-2766844195021702066880*a(0)+127454989600250964253,
1819215659662264753183*b(9)-46257117644117925167104000*b(0)^3*a(0)+398846784825442095513600*b(0)^3+183993348985176302360320*b(0)*a(0)-1260884739932336169140*b(0),
12734509617635853272281*b(8)-902861589305933893468160000*b(0)^3*a(0)+6895061850633167517286400*b(0)^3+3382873119349163381294080*b(0)*a(0)-11472670893550327111210*b(0),
901525054655252934293107931*b(7)+201644087266919864654154956800*b(0)^3*a(0)-198226949880807245016387174400*b(0)^3-34327436149588709195634222720*b(0)*a(0)+2892230366078313582335174070*b(0),
6310675382586770540051755517*b(6)+1375934958728041892100054135603200*b(0)^3*a(0)-11585064573690738047708018278400*b(0)^3-5223532102026833452404637565440*b(0)*a(0)+36093799969192623678648486775*b(0),
4507625273276264671465539655*b(5)+934899149252640693494828886917120*b(0)^3*a(0)-4210618007809681101414096158720*b(0)^3-2980607940298680720650091619968*b(0)*a(0)-25351627626082755211470384702*b(0),
31553376912933852700258777585*b(4)-10576619521264964313721513202155520*b(0)^3*a(0)+103813418050851353397451529093120*b(0)^3+41451022402292100024656466915328*b(0)*a(0)-519283794327160576812525943033*b(0),
4507625273276264671465539655*b(3)-999272020486849764800492092784640*b(0)^3*a(0)-534901093766669540438845276160*b(0)^3+2093241350114294280965980564096*b(0)*a(0)+77195526039135538645505952274*b(0),
31553376912933852700258777585*b(2)+7179900531961094701796203859804160*b(0)^3*a(0)-29733795118277014365611936808960*b(0)^3-16608759314268025712386168973824*b(0)*a(0)+19635794433196859385297130609*b(0),
7*b(1)-640*b(0)*a(0)-14*b(0),
1787028206039172713437958747850268000*c(0)^2-515974312988128246258826325896433500160*b(0)^2*a(0)-46592671215189764406155494105942845440*b(0)^2-6999127806417321944051372406959773216*a(0)+161046341811654323213587870591709331,
c(9),
c(8),
202386075321861341440070881163922*c(7)-1317550023692281513699217920491520*c(0)*b(0)^2*a(0)+4429074801933269610600554992312320*c(0)*b(0)^2+950952270701602900789097219421248*c(0)*a(0)-53461682441708204952786339239293*c(0),
404772150643722682880141762327844*c(6)-815158163876852711993184070276218880*c(0)*b(0)^2*a(0)+61904113631464815055150018492334080*c(0)*b(0)^2+13579659586433054794523033767155712*c(0)*a(0)-674170408035352142714860529082817*c(0),
2529825941523266768000886014549025*c(5)-13831390791317444094795696615776583680*c(0)*b(0)^2*a(0)+590538154088967954652775943237754880*c(0)*b(0)^2+135289113662984954219185520579066432*c(0)*a(0)-5817556498364524651876160664728912*c(0),
5059651883046533536001772029098050*c(4)+38898798170672809237595139980740526080*c(0)*b(0)^2*a(0)-2974181893872404185833889225087713280*c(0)*b(0)^2-648833957413458750178316031759592192*c(0)*a(0)+33512254106605544157479144672587447*c(0),
5059651883046533536001772029098050*c(3)+151669146727282095991548154951809105920*c(0)*b(0)^2*a(0)-7562829422108480884200604077248798720*c(0)*b(0)^2-1731032041532676137206568829847452608*c(0)*a(0)+78652999463663791582730709338169653*c(0),
10119303766093067072003544058196100*c(2)-516477087780371860421774539678579425280*c(0)*b(0)^2*a(0)+29581061941731778612287417758481940480*c(0)*b(0)^2+6669762962489085062837094793961462272*c(0)*a(0)-332414116549617624592589210903596777*c(0),
204200601870078862209665973*c(1)+4260086987931514603127093329920*c(0)*b(0)^2*a(0)-255031177180610185059202334720*c(0)*b(0)^2-57273462436100420735588395648*c(0)*a(0)+3248879210496458179527047742*c(0)
;