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,
34881570368841488929529004032*b(0)^4+1507273514886564268935741440*b(0)^2*a(0)-72099852555833285559828480*b(0)^2-69171104875542551672000*a(0)+3186374740006274106325,
258109333323731575*b(9)-1850284705764717006684160*b(0)^3*a(0)+15953871393017683820544*b(0)^3+141477191943549710080*b(0)*a(0)+1183103369380368940*b(0),
1806765333266121025*b(8)-36114463572237355738726400*b(0)^3*a(0)+275802474025326700691456*b(0)^3+1223494530806259819520*b(0)*a(0)+96657234771702451910*b(0),
4476776041286795683929625*b(7)+342817025338670162996315765604352*b(0)^3*a(0)-2820928951790944333926047727616*b(0)^3-14406967161843475515641448320*b(0)*a(0)-509630618666550175965486190*b(0),
639539434469542240561375*b(6)-28915023838932170594967521067008*b(0)^3*a(0)+257311716206668994898343133184*b(0)^3+857446599200018196617095680*b(0)*a(0)+11035949580652944402631085*b(0),
4476776041286795683929625*b(5)-76781418653618858854317129990144*b(0)^3*a(0)+552798810277837300919497900032*b(0)^3+3493050350498382583849600640*b(0)*a(0)+195679194420048069554879230*b(0),
639539434469542240561375*b(4)+4685782289473267171492641112064*b(0)^3*a(0)-45405169270061632285321428992*b(0)^3+140409040647831439121756160*b(0)*a(0)+6396852053372323096340745*b(0),
179071041651471827357185*b(3)+873115129319434154639439691776*b(0)^3*a(0)-6402626109983668651323310080*b(0)^3-7765733641749015315134080*b(0)*a(0)-1438860126950350891047170*b(0),
25581577378781689622455*b(2)+18956205018422329967246311424*b(0)^3*a(0)-87092057161343771493171200*b(0)^3-5445891044447707526776320*b(0)*a(0)-106814473300339021360185*b(0),
7*b(1)-640*b(0)*a(0)-14*b(0),
185448297926903482722522440192*c(0)^2-2792690026198776235735532961792*b(0)^2*a(0)+37963887826567693485081214976*b(0)^2+1516060183460748443600360320*a(0)-73980578315352534383305335,
c(9),
c(8),
2647776103139974364381250*c(7)-81670967608327222223870014521344*c(0)*b(0)^2*a(0)+690014318043948171735661125632*c(0)*b(0)^2+5381547059418104744636882240*c(0)*a(0)+26351205584306339007944155*c(0),
1765184068759982909587500*c(6)+145494822572251636024279499276288*c(0)*b(0)^2*a(0)-1239016995413847740080793944064*c(0)*b(0)^2-8141941867298164338172820480*c(0)*a(0)-26364694167708920009690935*c(0),
88259203437999145479375*c(5)-5585349383183699545666729541632*c(0)*b(0)^2*a(0)+48515118367751461239526465536*c(0)*b(0)^2+194237569578235744932835520*c(0)*a(0)-326921298647176429094710*c(0),
378253729019996337768750*c(4)+1419673917077208161455758639104*c(0)*b(0)^2*a(0)-16478696401783366883835379712*c(0)*b(0)^2+317529619433430315629052160*c(0)*a(0)+2347427008608948635458145*c(0),
882592034379991454793750*c(3)+6063970751859446607766038249472*c(0)*b(0)^2*a(0)-50542840403106264459076182016*c(0)*b(0)^2-74987471327858937693805120*c(0)*a(0)+4133323809960841761003235*c(0),
252169152679997558512500*c(2)+272341482889710247996593012736*c(0)*b(0)^2*a(0)-1901236184182670212970283008*c(0)*b(0)^2-71564179171006507191682560*c(0)*a(0)+201413566280675356320055*c(0),
7*c(1)-640*c(0)*a(0)-14*c(0)
;