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,
197959133110319659876352*b(0)^4+10922351397811351715840*b(0)^2*a(0)-538394042922996449280*b(0)^2-3641162767144952000*a(0)+166562300982108325,
115387475*b(9)-147717965742080*b(0)^3*a(0)+1321077030912*b(0)^3+28922243840*b(0)*a(0)-110777380*b(0),
807712325*b(8)-2913540820172800*b(0)^3*a(0)+24341143257088*b(0)^3+475808936960*b(0)*a(0)+2480334430*b(0),
160273202775*b(7)+512395464518139904*b(0)^3*a(0)-5308410155450368*b(0)^3-108690413668480*b(0)*a(0)+2321815370350*b(0),
373970806475*b(6)+7522839167816957952*b(0)^3*a(0)-59882995945013248*b(0)^3-909157669342720*b(0)*a(0)-12185006220415*b(0),
1869854032375*b(5)-46296366289485037568*b(0)^3*a(0)+391256892015919104*b(0)^3+4244516076958080*b(0)*a(0)+12492380003810*b(0),
801366013875*b(4)+2085565836795314176*b(0)^3*a(0)-22620684929302528*b(0)^3+440502286192640*b(0)*a(0)+7762431474805*b(0),
1869854032375*b(3)+6035408946332696576*b(0)^3*a(0)-48845154585264128*b(0)^3-326536996248960*b(0)*a(0)+5193844982130*b(0),
267122004625*b(2)+134444395102470144*b(0)^3*a(0)-863072521388032*b(0)^3-75885591882240*b(0)*a(0)-42663520655*b(0),
7*b(1)-640*b(0)*a(0)-14*b(0),
22615312117280000*c(0)^2-1240803451793833984*b(0)^2*a(0)-636284522037248*b(0)^2+384831945984640*a(0)-15341546928295,
c(9),
c(8),
74036439316350*c(7)-197530702164586921984*c(0)*b(0)^2*a(0)+1757934652242583552*c(0)*b(0)^2+31481606620488640*c(0)*a(0)-93292351083295*c(0),
345503383476300*c(6)-2593672005159646920704*c(0)*b(0)^2*a(0)+21417664391171571712*c(0)*b(0)^2+333633064920099840*c(0)*a(0)+2691284404805605*c(0),
1295637688036125*c(5)+47749264145970868781056*c(0)*b(0)^2*a(0)-407965532301700538368*c(0)*b(0)^2-6220277381730381760*c(0)*a(0)-7892842436639720*c(0),
2591275376072250*c(4)-100644598886035678560256*c(0)*b(0)^2*a(0)+868721167922578259968*c(0)*b(0)^2+11526530657619093760*c(0)*a(0)-28142043836899405*c(0),
863758458690750*c(3)+9057215309946087800832*c(0)*b(0)^2*a(0)-79939212637517520896*c(0)*b(0)^2-495528912285574720*c(0)*a(0)+9621223361585535*c(0),
740364393163500*c(2)+1240154079632449077248*c(0)*b(0)^2*a(0)-10037903191114809344*c(0)*b(0)^2-276164791459182080*c(0)*a(0)+1690995430146365*c(0),
7*c(1)-640*c(0)*a(0)-14*c(0)
;