66424062707291695255841815920640000*b(0)^8-1110863059837380886065200496640000*b(0)^6+4867624937748960122342945587200*b(0)^4-6053527107098143590898892800*b(0)^2+623990971264156810341769,
22766498894302427876033755914408260259456*a(9)-25606127791567909709999480703714869255340032000*b(0)^6+367102187054589201185505060664967247691776000*b(0)^4-1097273626599468164671678181073904197795840*b(0)^2-95541503858550918164431419881093498497,
1626178492450173419716696851029161447104*a(8)-12803063895783954854999740351857434627670016000*b(0)^6+183551093527294600592752530332483623845888000*b(0)^4-548636813299734082335839090536952098897920*b(0)^2+15751845432059440125467760802779869779,
2845812361787803484504219489301032532432*a(7)-64015319478919774274998701759287173138350080000*b(0)^6+917755467636473002963762651662418119229440000*b(0)^4-2743184066498670411679195452684760494489600*b(0)^2+383667694494704716824219463581867120227,
813089246225086709858348425514580723552*a(6)-25606127791567909709999480703714869255340032000*b(0)^6+367102187054589201185505060664967247691776000*b(0)^4-1097273626599468164671678181073904197795840*b(0)^2+260185041364924517398596016281535568057,
1626178492450173419716696851029161447104*a(5)-25606127791567909709999480703714869255340032000*b(0)^6+367102187054589201185505060664967247691776000*b(0)^4-1097273626599468164671678181073904197795840*b(0)^2+260185041364924517398596016281535568057,
101636155778135838732293553189322590444*a(4)+1600382986972994356874967543982179328458752000*b(0)^6-22943886690911825074094066291560452980736000*b(0)^4+68579601662466760291979886317119012362240*b(0)^2-49610928700008604421446073157842447993,
50818077889067919366146776594661295222*a(3)+1600382986972994356874967543982179328458752000*b(0)^6-22943886690911825074094066291560452980736000*b(0)^4+68579601662466760291979886317119012362240*b(0)^2-49610928700008604421446073157842447993,
5691624723575606969008438978602065064864*a(2)+128030638957839548549997403518574346276700160000*b(0)^6-1835510935272946005927525303324836238458880000*b(0)^4+5486368132997340823358390905369520988979200*b(0)^2-4502464113835901507060227006871339439271,
3252356984900346839433393702058322894208*a(1)+25606127791567909709999480703714869255340032000*b(0)^6-367102187054589201185505060664967247691776000*b(0)^4+1097273626599468164671678181073904197795840*b(0)^2-1022456209700943307890797665201454996387,
11383249447151213938016877957204130129728*a(0)+12803063895783954854999740351857434627670016000*b(0)^6-183551093527294600592752530332483623845888000*b(0)^4+548636813299734082335839090536952098897920*b(0)^2-574750702211806553153082303344054117221,
89141567323450972905967*b(9)-4054203046099346634267688960000*b(0)^7+67801700429527641971752960000*b(0)^5-297096248641904304342220800*b(0)^3+369477972845345678155450*b(0),
323571650814051659725585620112144727067045398247883245170691*b(8)-35078824438557217894815653149550194587086021782807779508339343360000*b(0)^7+600867437475454171750571230396643405129308051977386927094497280000*b(0)^5-2774421020680429357869654571794683974677102518830999277759692800*b(0)^3+3806077889204607652479702465460749024714198872667584936560100*b(0),
22906885223208428334090290449416300644451973774218039618150302841*b(7)+967261467634286489482446831152017664043265426915583440478996466237440000*b(0)^7-13889019878541027141660012934368157039321644391444305178489943752704000*b(0)^5+36735367907389562659682070098843675457743136419378088231915497472000*b(0)^3+29503379345863425937158265267807428420496495366758886131976612090*b(0),
22906885223208428334090290449416300644451973774218039618150302841*b(6)+7915169715680277340231472928851883915295554839454430450986536444887040000*b(0)^7-134802688657828245580321436319680253739653065491754688450559117099008000*b(0)^5+612029008610673347726298687215374068096990255423028185581659786444800*b(0)^3-773557623747873411936634092060755382151628320500817268958167109695*b(0),
114534426116042141670451452247081503222259868871090198090751514205*b(5)+21397016527136918418872524164952049897208037400196686400858918051905536000*b(0)^7-408194289232373284055231937179646698221889545922654498395362388711833600*b(0)^5+2307662864044432475181882359917492446355335417325198505326431817482240*b(0)^3-4217070612977246234773246216044043635499228764273981064609747985974*b(0),
114534426116042141670451452247081503222259868871090198090751514205*b(4)-66143915522657577126735691719512999083562535060789251274810401497284608000*b(0)^7+1112208805471995051220735451452855436704657109524999072323073769000140800*b(0)^5-4878165511281511710753633013545057761565953859348076114946177525022720*b(0)^3+5306374200385707570780853996172667390672450661218525846334032130997*b(0),
114534426116042141670451452247081503222259868871090198090751514205*b(3)+8354229422397341849288704223372083552520961306396850228379192926404608000*b(0)^7-11349954747029842715363044609999815055418933313255550459595677551820800*b(0)^5-1256469652563875438710659292479487599225668156768861862508181496545280*b(0)^3+4378666959014637805796905746927227939474801636269411379149691530558*b(0),
114534426116042141670451452247081503222259868871090198090751514205*b(2)-2171416626526090533884419702979562760991672608424761762256628991655936000*b(0)^7-80157354130447611252892125381246460728520097793425318236381245761126400*b(0)^5+1442233391965863448622575037191493409995486602425168045996045478133760*b(0)^3-2697331460533406454731308729161319365836599297589118418851172437241*b(0),
1245042908282164024470596026569201732939*b(1)+128030638957839548549997403518574346276700160000*b(0)^7-1835510935272946005927525303324836238458880000*b(0)^5+5486368132997340823358390905369520988979200*b(0)^3-8237592838682393580472015086578944638088*b(0),
c(9),
c(8),
415146690580388539244133744063685255258063973216189039873891094856317696*c(7)^2+2675580850005117201984733819056176012743218204102660594790390307886202880000*b(0)^6-36916634088746696464053791718542255804983936713132936290400487832813568000*b(0)^4+98317434937494715778582842011600202628371783566720941228815398600499200*b(0)^2-102333568741956470954321905028779419879849810717193372707517866860645,
1245042908282164024470596026569201732939*c(6)-128030638957839548549997403518574346276700160000*c(7)*b(0)^6+1835510935272946005927525303324836238458880000*c(7)*b(0)^4-5486368132997340823358390905369520988979200*c(7)*b(0)^2-2967793335857082639763349152543870958363*c(7),
1281475164211237618982985514467721117244485133684098167727500*c(5)-334153395225657705711787636925693397429922187060435669169970610176000*c(7)*b(0)^6+4895963699930541233003028761135382703603845552534383028719950233600*c(7)*b(0)^4-16114136109897374785694973179352854152953354624612364038951075840*c(7)*b(0)^2+4849017740012719999027671590143893418350691851859949615443729*c(7),
427158388070412539660995171489240372414828377894699389242500*c(4)+195183682344281094940718090776067426697859518198960156846929739776000*c(7)*b(0)^6-2759116398807231626291899586808291843281533975526590282752170393600*c(7)*b(0)^4+6906963817695859001658417325682882266646241921708542274164899840*c(7)*b(0)^2+6160403472771803125414787381934160924655618559068367250178621*c(7),
91533940300802687070213251033408651231748938120292726266250*c(3)+135894888427509277957231647309632656477067343602436087724864700416000*c(7)*b(0)^6-1995827769013131982853622851460051650428520049739677814046169497600*c(7)*b(0)^4+6317546614233392001621377217820438072685838708479325669079613440*c(7)*b(0)^2-595579787578586825070369779293204654527351681611527366522239*c(7),
128147516421123761898298551446772111724448513368409816772750*c(2)-390270186370747939034274159764373986521368998307498629160048263168000*c(7)*b(0)^6+5619090382781822037827220362954276113002698604203701877032668364800*c(7)*b(0)^4-14381730439356971359486236555007296071868291723693238519912120320*c(7)*b(0)^2-6163256359762441071764286511067224145393877587685988286092843*c(7),
427158388070412539660995171489240372414828377894699389242500*c(1)+739014504510613890007496615075936863466667804614671857399629873152000*c(7)*b(0)^6-10420930443678018688042046898310232691032318294608699596689584947200*c(7)*b(0)^4+17955407378662438296218549669038905663753641841941390193582407680*c(7)*b(0)^2+25802564254655445824135690623860556066517121219013484120908767*c(7),
1281475164211237618982985514467721117244485133684098167727500*c(0)-336490687604118221146288821716562704323220081725962275158073802752000*c(7)*b(0)^6+4505640389226965102023736246253163919910005106779007621128205107200*c(7)*b(0)^4+2545583716710339440636307206917569903116286442806353364227768320*c(7)*b(0)^2-26431128681981362368167958263520226629230305415005472043371117*c(7)
;