128*a(8)-896*a(9)+5,
32*a(7)-640*a(9)+7,
16*a(6)-448*a(9)+7,
32*a(5)-448*a(9)+7,
64*a(4)+896*a(9)-35,
32*a(3)+896*a(9)-35,
8*a(2)+160*a(9)-7,
32*a(1)+224*a(9)-11,
128*a(0)+128*a(9)-7,
b(2)+3*b(3)+6*b(4)+10*b(5)+15*b(6)+21*b(7)+28*b(8)+36*b(9),
b(1)-3*b(3)-8*b(4)-15*b(5)-24*b(6)-35*b(7)-48*b(8)-63*b(9),
b(0)+b(3)+3*b(4)+6*b(5)+10*b(6)+15*b(7)+21*b(8)+28*b(9),
c(9),
c(8),
c(2)+3*c(3)+6*c(4)+10*c(5)+15*c(6)+21*c(7),
c(1)-3*c(3)-8*c(4)-15*c(5)-24*c(6)-35*c(7),
c(0)+c(3)+3*c(4)+6*c(5)+10*c(6)+15*c(7),
16384*a(9)^2-896*a(9)+7,
640*b(9)*a(9)-7*b(8)+14*b(9),
640*b(8)*a(9)-49*b(8)+123*b(9),
640*b(4)*a(9)+1920*b(5)*a(9)+3840*b(6)*a(9)+6400*b(7)*a(9)-375*b(3)-1090*b(4)-2145*b(5)-3540*b(6)-5275*b(7)-6468*b(8)-11904*b(9),
640*b(3)*a(9)-1920*b(5)*a(9)-5120*b(6)*a(9)-9600*b(7)*a(9)+1055*b(3)+3067*b(4)+6036*b(5)+9962*b(6)+14845*b(7)+19264*b(8)+30924*b(9),
8192*b(4)*b(9)+24576*b(5)*b(9)+49152*b(6)*b(9)+81920*b(7)*b(9)+122880*b(8)*b(9)+172032*b(9)^2+320*a(9)-35,
16384*b(3)*b(9)-49152*b(5)*b(9)-131072*b(6)*b(9)-245760*b(7)*b(9)-393216*b(8)*b(9)-573440*b(9)^2-1920*a(9)+203,
7*b(8)^2-63*b(8)*b(9)+123*b(9)^2,
114688*b(4)*b(8)+344064*b(5)*b(8)+688128*b(6)*b(8)+1146880*b(7)*b(8)+17891328*b(8)*b(9)-30228480*b(9)^2-13440*a(9)-1155,
114688*b(3)*b(8)-344064*b(5)*b(8)-917504*b(6)*b(8)-1720320*b(7)*b(8)-28786688*b(8)*b(9)+48365568*b(9)^2+35840*a(9)+3367,
463673958400*b(3)*b(5)+1393004974080*b(4)*b(5)+2780910551040*b(5)^2-1215887536128*b(3)*b(6)-3164138774528*b(4)*b(6)-1236627415040*b(5)*b(6)-9315657732096*b(6)^2+3160102055936*b(3)*b(7)+8318018961408*b(4)*b(7)+22833324384256*b(5)*b(7)+12391210979328*b(6)*b(7)+38339105390592*b(7)^2+8421260746752*b(5)*b(8)-21815928995840*b(6)*b(8)+46967433232384*b(7)*b(8)+15991974076416*b(5)*b(9)-16123660861440*b(6)*b(9)+85833594322944*b(7)*b(9)-78559741353984*b(8)*b(9)+211157036949504*b(9)^2+375830362560*a(9)-1606669743,
9273479168*b(4)^2+53168345088*b(4)*b(5)+84874186752*b(5)^2-114533339136*b(3)*b(6)-238520156160*b(4)*b(6)-336285376512*b(5)*b(6)-767204573184*b(6)^2+154534981632*b(3)*b(7)+523353112576*b(4)*b(7)+1180277071872*b(5)*b(7)+458785959936*b(6)*b(7)+2347907354624*b(7)^2+10152812544*b(5)*b(8)-2274173583360*b(6)*b(8)+1925530779648*b(7)*b(8)+342800474112*b(5)*b(9)-2127045427200*b(6)*b(9)+4206864826368*b(7)*b(9)-22202345545728*b(8)*b(9)+37021100236800*b(9)^2+34428500160*a(9)+1112974569,
463673958400*b(3)*b(4)-4728025763840*b(4)*b(5)-11340968017920*b(5)^2+17675212836864*b(3)*b(6)+41915496177664*b(4)*b(6)+56683325317120*b(5)*b(6)+121470354690048*b(6)^2-21969883680768*b(3)*b(7)-67380787912704*b(4)*b(7)-163579736342528*b(5)*b(7)-42843908747264*b(6)*b(7)-327448379498496*b(7)^2-23360120856576*b(5)*b(8)+299184322232320*b(6)*b(8)-347053793902592*b(7)*b(8)-79536012484608*b(5)*b(9)+266045800120320*b(6)*b(9)-703068149071872*b(7)*b(9)+1694686189576192*b(8)*b(9)-3339964947505152*b(9)^2-4384318665280*a(9)-34880117741,
1811226400*b(3)^2+17784479040*b(4)*b(5)+52971617920*b(5)^2-125788693184*b(3)*b(6)-322722305664*b(4)*b(6)-490335116160*b(5)*b(6)-930558214208*b(6)^2+155540711808*b(3)*b(7)+447788873984*b(4)*b(7)+1049024091648*b(5)*b(7)+135319274304*b(6)*b(7)+2229377315616*b(7)^2+138620304256*b(5)*b(8)-2101106138880*b(6)*b(8)+2631161820672*b(7)*b(8)+532394610048*b(5)*b(9)-1843836503040*b(6)*b(9)+5247342358272*b(7)*b(9)-6509118790272*b(8)*b(9)+16509975460992*b(9)^2+28626744405*a(9)-982822029,
73874650*c(7)*b(3)-56570822*c(3)*b(4)-168527439*c(4)*b(4)-335869851*c(5)*b(4)-557413031*c(6)*b(4)-611533029*c(7)*b(4)+116900864*c(3)*b(5)+297686851*c(4)*b(5)+542357961*c(5)*b(5)+854469275*c(6)*b(5)+1677268693*c(7)*b(5)-381602424*c(3)*b(6)-1019611219*c(4)*b(6)-1970597207*c(5)*b(6)-3226265199*c(6)*b(6)-4047868695*c(7)*b(6)+594922464*c(3)*b(7)+1418570319*c(4)*b(7)+2587844429*c(5)*b(7)+4061579323*c(6)*b(7)+6947894751*c(7)*b(7)-1271313372*c(3)*b(8)-3192947058*c(4)*b(8)-6146503482*c(5)*b(8)-9989011186*c(6)*b(8)-13225673342*c(7)*b(8)+1962447168*c(3)*b(9)+4656319050*c(4)*b(9)+8676538110*c(5)*b(9)+13681792842*c(6)*b(9)+21857474310*c(7)*b(9),
73874650*c(6)*b(3)-116900864*c(3)*b(4)-349801293*c(4)*b(4)-698701287*c(5)*b(4)-941075597*c(6)*b(4)-1667921423*c(7)*b(4)+145098618*c(3)*b(5)+321098887*c(4)*b(5)+528000807*c(5)*b(5)+1211756175*c(6)*b(5)+1264245241*c(7)*b(5)-590349088*c(3)*b(6)-1619639553*c(4)*b(6)-3204772259*c(5)*b(6)-4600691613*c(6)*b(6)-7580389215*c(7)*b(6)+698762568*c(3)*b(7)+1517655503*c(4)*b(7)+2601777423*c(5)*b(7)+4954064101*c(6)*b(7)+5988902787*c(7)*b(7)-1663376064*c(3)*b(8)-4271537046*c(4)*b(8)-8414832034*c(5)*b(8)-12376966182*c(6)*b(8)-19820823554*c(7)*b(8)+2253631716*c(3)*b(9)+5128163250*c(4)*b(9)+9322357170*c(5)*b(9)+16344998754*c(6)*b(9)+21687083670*c(7)*b(9),
73874650*c(5)*b(3)+70964152*c(3)*b(4)+209411391*c(4)*b(4)+636965667*c(5)*b(4)+759148715*c(6)*b(4)+1019208435*c(7)*b(4)-344857824*c(3)*b(5)-974052515*c(4)*b(5)-1444336173*c(5)*b(5)-2874271743*c(6)*b(5)-4525112725*c(7)*b(5)+829380762*c(3)*b(6)+2118917007*c(4)*b(6)+4678319387*c(5)*b(6)+6710228847*c(6)*b(6)+9322765137*c(7)*b(6)-1719612160*c(3)*b(7)-4374709563*c(4)*b(7)-7202030283*c(5)*b(7)-12761476763*c(6)*b(7)-19501681353*c(7)*b(7)+3193292088*c(3)*b(8)+7783680674*c(4)*b(8)+16151914170*c(5)*b(8)+24330568122*c(6)*b(8)+34459096882*c(7)*b(8)-5568613344*c(3)*b(9)-13630904154*c(4)*b(9)-23837994390*c(5)*b(9)-40132962450*c(6)*b(9)-60201178758*c(7)*b(9),
287450*c(4)*b(3)+1324064*c(3)*b(4)+4825365*c(4)*b(4)+8204303*c(5)*b(4)+13176401*c(6)*b(4)+19741659*c(7)*b(4)-1797768*c(3)*b(5)-2372071*c(4)*b(5)-6034659*c(5)*b(5)-9938563*c(6)*b(5)-14083783*c(7)*b(5)+6548736*c(3)*b(6)+20658701*c(4)*b(6)+36755159*c(5)*b(6)+59085621*c(6)*b(6)+87650087*c(7)*b(6)-8198694*c(3)*b(7)-13854897*c(4)*b(7)-28827127*c(5)*b(7)-45874171*c(6)*b(7)-64996029*c(7)*b(7)+18084640*c(3)*b(8)+51889782*c(4)*b(8)+94166562*c(5)*b(8)+150963918*c(6)*b(8)+223605914*c(7)*b(8)-25688712*c(3)*b(9)-51244914*c(4)*b(9)-102976650*c(5)*b(9)-164299002*c(6)*b(9)-237009738*c(7)*b(9),
287450*c(3)*b(3)+1630922*c(3)*b(4)+2602343*c(4)*b(4)+4638963*c(5)*b(4)+7749959*c(6)*b(4)+11647881*c(7)*b(4)+2556636*c(3)*b(5)+4154261*c(4)*b(5)+7667375*c(5)*b(5)+13123509*c(6)*b(5)+20522663*c(7)*b(5)+3362540*c(3)*b(6)+4084995*c(4)*b(6)+7247687*c(5)*b(6)+12914855*c(6)*b(6)+21086499*c(7)*b(6)+8198694*c(3)*b(7)+15142673*c(4)*b(7)+27700323*c(5)*b(7)+46759517*c(6)*b(7)+72320255*c(7)*b(7)+2358804*c(3)*b(8)-2632350*c(4)*b(8)-6436822*c(5)*b(8)-8020782*c(6)*b(8)-6615658*c(7)*b(8)+19893720*c(3)*b(9)+38206182*c(4)*b(9)+69172530*c(5)*b(9)+113592822*c(6)*b(9)+172298994*c(7)*b(9),
1024*c(4)*c(7)+3072*c(5)*c(7)+6144*c(6)*c(7)+10240*c(7)^2+1024*b(4)*b(7)+3072*b(5)*b(7)+6144*b(6)*b(7)+10240*b(7)^2+15360*b(7)*b(8)+1024*b(6)*b(9)+24576*b(7)*b(9)+6144*b(8)*b(9)+10240*b(9)^2-80*a(9)-35,
16384*c(3)*c(7)-49152*c(5)*c(7)-131072*c(6)*c(7)-245760*c(7)^2+16384*b(3)*b(7)-49152*b(5)*b(7)-131072*b(6)*b(7)-245760*b(7)^2-393216*b(7)*b(8)+16384*b(5)*b(9)-622592*b(7)*b(9)-131072*b(8)*b(9)-245760*b(9)^2+5760*a(9)+1407,
57344*c(4)*c(6)+172032*c(5)*c(6)+344064*c(6)^2+573440*c(6)*c(7)+57344*b(4)*b(6)+172032*b(5)*b(6)+344064*b(6)^2+573440*b(6)*b(7)+917504*b(6)*b(8)+172032*b(7)*b(8)+1204224*b(6)*b(9)+3670016*b(8)*b(9)-6045696*b(9)^2+31360*a(9)-3955,
114688*c(3)*c(6)-344064*c(5)*c(6)-917504*c(6)^2-1720320*c(6)*c(7)+114688*b(3)*b(6)-344064*b(5)*b(6)-917504*b(6)^2-1720320*b(6)*b(7)+114688*b(5)*b(8)-2752512*b(6)*b(8)-344064*b(7)*b(8)-4014080*b(6)*b(9)-9977856*b(8)*b(9)+16121856*b(9)^2-179200*a(9)+18991,
8192*c(4)*c(5)+24576*c(5)^2+49152*c(5)*c(6)+81920*c(5)*c(7)+8192*c(6)*c(7)+24576*c(7)^2+8192*b(4)*b(5)+24576*b(5)^2+49152*b(5)*b(6)+81920*b(5)*b(7)+8192*b(6)*b(7)+24576*b(7)^2+122880*b(5)*b(8)+49152*b(7)*b(8)+172032*b(5)*b(9)+81920*b(7)*b(9)+8192*b(8)*b(9)+24576*b(9)^2-1600*a(9)+133,
927347916800*c(3)*c(5)-2782043750400*c(5)^2-7418783334400*c(5)*c(6)-12982870835200*c(5)*c(7)-2782043750400*c(7)^2-2786009948160*b(4)*b(5)-8343864852480*b(5)^2+2431775072256*b(3)*b(6)+6328277549056*b(4)*b(6)-4945528504320*b(5)*b(6)+18631315464192*b(6)^2-6320204111872*b(3)*b(7)-16636037922816*b(4)*b(7)-58649519603712*b(5)*b(7)-24782421958656*b(6)*b(7)-79460254531584*b(7)^2-39098871496704*b(5)*b(8)+43631857991680*b(6)*b(8)-101353649799168*b(7)*b(8)-64441125240832*b(5)*b(9)+32247321722880*b(6)*b(9)-184650059481088*b(7)*b(9)+157119482707968*b(8)*b(9)-425096117649408*b(9)^2-715436197120*a(9)-75631609739,
4057147136*c(4)^2-36514324224*c(5)^2-146057296896*c(5)*c(6)-142000149760*c(6)^2-243428828160*c(5)*c(7)-486857656320*c(6)*c(7)-442229037824*c(7)^2-23261150976*b(4)*b(5)-73646780928*b(5)^2+50108335872*b(3)*b(6)+104352568320*b(4)*b(6)+1067555328*b(5)*b(6)+193651851008*b(6)^2-67609054464*b(3)*b(7)-228966986752*b(4)*b(7)-759800047104*b(5)*b(7)-687576513792*b(6)*b(7)-1469438505472*b(7)^2-369585097728*b(5)*b(8)+264664458240*b(6)*b(8)-2205621153792*b(7)*b(8)-661175746560*b(5)*b(9)-91818703872*b(6)*b(9)-3787933986816*b(7)*b(9)-2823058473984*b(8)*b(9)+107204208640*b(9)^2-22986584320*a(9)+4228912863,
6491435417600*c(3)*c(4)+58422918758400*c(5)^2+279131722956800*c(5)*c(6)+311588900044800*c(6)^2+486857656320000*c(5)*c(7)+1103544020992000*c(6)*c(7)+1032138231398400*c(7)^2+66192360693760*b(4)*b(5)+217196471009280*b(5)^2-247452979716096*b(3)*b(6)-586816946487296*b(4)*b(6)-514434831482880*b(5)*b(6)-1388996065615872*b(6)^2+307578371530752*b(3)*b(7)+943331030777856*b(4)*b(7)+2776973965115392*b(5)*b(7)+1703358743453696*b(6)*b(7)+5616415544377344*b(7)^2+1086539635851264*b(5)*b(8)-2474841561006080*b(6)*b(8)+8156402306777088*b(7)*b(8)+2204065324941312*b(5)*b(9)-1270878613831680*b(6)*b(9)+14646616296030208*b(7)*b(9)+7894175265062912*b(8)*b(9)+6024824671715328*b(9)^2+89273347873920*a(9)-12785760431451,
3245717708800*c(3)^2-25965741670400*c(5)^2-155794450022400*c(5)*c(6)-207725933363200*c(6)^2-292114593792000*c(5)*c(7)-778972250112000*c(6)*c(7)-756252226150400*c(7)^2-31869786439680*b(4)*b(5)-120890880983040*b(5)^2+225413338185728*b(3)*b(6)+578318371749888*b(4)*b(6)+722886078136320*b(5)*b(6)+1459834386497536*b(6)^2-278728955559936*b(3)*b(7)-802437662179328*b(4)*b(7)-2171965766025216*b(5)*b(7)-1021464389664768*b(6)*b(7)-4751296375734272*b(7)^2-715790935293952*b(5)*b(8)+2518826600693760*b(6)*b(8)-7207753183002624*b(7)*b(8)-1635651860054016*b(5)*b(9)+1486553096519680*b(6)*b(9)-13103355694055424*b(7)*b(9)-13262771131416576*b(8)*b(9)+2182281559719936*b(9)^2-67781286213760*a(9)+11162783910943,
2833084979740672000*b(6)*b(7)*a(9)+8499254939222016000*b(7)^2*a(9)-233441225434368000*b(4)*b(5)-666459980050944000*b(5)^2+8934448647209768960*b(3)*b(6)+24505256135902294016*b(4)*b(6)+45505475456033722368*b(5)*b(6)+75832907521483278336*b(6)^2-11407155635008235520*b(3)*b(7)-29821851636670472192*b(4)*b(7)-58860592139473084416*b(5)*b(7)+19384086104163186688*b(6)*b(7)-136218794062106992640*b(7)^2+1440667455039590400*b(5)*b(8)+166624362157144285184*b(6)*b(8)-163232165086598709248*b(7)*b(8)-15256681686189158400*b(5)*b(9)+173591171297860435968*b(6)*b(9)-311739664197351284736*b(7)*b(9)+310031108632450469888*b(8)*b(9)-824496885316993683456*b(9)^2-1525002195435055520*a(9)-79159405552255,
3541356224675840000*b(5)*b(7)*a(9)-10624068674027520000*b(7)^2*a(9)+841085941327744000*b(4)*b(5)+2400545112955392000*b(5)^2-31150014621127511040*b(3)*b(6)-85348636957839673344*b(4)*b(6)-158251268069249267712*b(5)*b(6)-263895331137277645824*b(6)^2+38416855441466004480*b(3)*b(7)+99822025666519881728*b(4)*b(7)+197094600634982457344*b(5)*b(7)-80742918854146747392*b(6)*b(7)+453947584781263554560*b(7)^2-5276753519523584000*b(5)*b(8)-581410780150136057856*b(6)*b(8)+539416923318219333632*b(7)*b(8)+55250527962808166400*b(5)*b(9)-599321476820985126912*b(6)*b(9)+1048708921427629338624*b(7)*b(9)-1121594757733711214592*b(8)*b(9)+2983084641630573410304*b(9)^2+5484628651118749680*a(9)+2024494932526395,
1806894593876875538895746189806466457880697441090353450479654899462220851331348580384217003826771575255394727233312000000*c(5)*b(7)*a(9)-2235659782002147502455725777051831478951134807172393825538899062194961909635977416621159636817290336676780979958292480000*c(6)*b(7)*a(9)-10761628190985275975114929720628024969724551325380262812925981687528115639749978228739819198075877535969745450480765440000*c(7)*b(7)*a(9)+26553235021035883998437462731892484649944091606679631591884338309863284737604420356875268654038120889944539496466492801035*c(3)*b(4)+78387058967037145473708301751134820415717809660355583701648041902700350168200151170127564908049383767852927581143660952300*c(4)*b(4)+167878083467047905655354927297058196523433937437075422929935213430360918431883008015610128806357219043502463018511505580670*c(5)*b(4)+275204090905155174282613133690903092064207887617711507992503554956596887753162002119068266349601187150412374395100003381156*c(6)*b(4)+395374272206190772971251441331203300436474904801223020482525172184427979105239481495891255456149489087689479795839189776633*c(7)*b(4)-112653606689018867272209417909473147388972744724079392058622511730260343796272699188096676204430576869873625072236911304295*c(3)*b(5)-314997607020869984009087019553265280540425755773844907694545662073555280900288346388594629558324047763443513528406302243340*c(4)*b(5)-572361399071643700544623429224558691454832194959090461748432756808309921421109996713054469066602269115273342789089424561510*c(5)*b(5)-928124438180477585125325499700586700823953217733418727448402023686896565734397213009130085591869699358314360554326419802772*c(6)*b(5)-1415598493008833889072984791583578692794601891605672842220442236161161359876992109408082261215370829567606065674426123463501*c(7)*b(5)+269257303807525331376946532950303013999158793802812580418436413471274363599699397438541596531631573331858703291221631760845*c(3)*b(6)+687003165379046600494134363981763198856978016101038726686891114574748478544211321541113531581655370758000528970970120434380*c(4)*b(6)+1347206964552618177826901738617713597925986201953752606130599683699069126827233851311503009701806664713077495999637088312890*c(5)*b(6)+2176068205331313908901984520855532653999253650484238224367437762524548760911268031105178235342447980331192811456671530242436*c(6)*b(6)+3104872316881485323520338203987347887832310943148594294517804966616677936271167231528859349701041173244044061523450694573143*c(7)*b(6)-537705327569305265175610681140606718402328091861322265986140884687321882496792603389165300516567201614325570017470084885545*c(3)*b(7)-1358720158665705920944910003750303000768302445701349019878611667589098266182977750289785720983671147472397931189121120475580*c(4)*b(7)-2465659283892199099756638191069082197707448481224382817150939638035845575554371977899155813027071678572280259390122185615650*c(5)*b(7)-3942616507891420406492624536487946332784512016808171301686656838577941619998882534864394129619857291342678997224969985693700*c(6)*b(7)-5902763041832674402242639086579773767466285064876226629929073247818648673343691948538308150237126551360900335934882845247355*c(7)*b(7)+981608935335745490305295854175287471978717549951702211946883787308821915709621992173905046823142265300948349000552837469410*c(3)*b(8)+2383202699155514215394966769730614349856274955966711792685676516506018184810478843328217394709210536943894268979834074912616*c(4)*b(8)+4633336977950340180344983941326758270230889911992224872256736227949993462638352545804366585462870422861423846720993643845588*c(5)*b(8)+7463891303565996593253427760846223484427149393004678552196479151895105198944608120150186011418564069077064118169171099010936*c(6)*b(8)+10735174546380984407256771659585572726920318267493868025589895725868559002040983476878369736615435779269682495455792878570070*c(7)*b(8)-1699817215321017851080044901921753128998261298847237113944421664004161769356488195478127103748367824470576180843841752445290*c(3)*b(9)-4160125166517199207235783147486997882690585680729395870371105284051781537479049059064771796693182819384214037548094735581032*c(4)*b(9)-7688614637419427355507589830135929426516970034370267836601584799233265366716268493541145198336872012134183567216865501467396*c(5)*b(9)-12228383449195130554798409425979484824799576362362003038233864111521143796177894923067541151298594598745004811964004305204696*c(6)*b(9)-18120503553460688053554981117857703405387540756020939095758469922430462577162328931496472320380287966171594283245250145053102*c(7)*b(9),
602298197958958512965248729935488819293565813696784483493218299820740283777116193461405667942257191751798242411104000000*c(4)*b(7)*a(9)+5505710205708780143376648448431538624266067652871500682930951079989491852413280704277228790131619731277072588814932480000*c(6)*b(7)*a(9)+15895845541706964437844403231004159925625178750599815798821038299891733863001741683278677046576242320873882110049853440000*c(7)*b(7)*a(9)-25853009037456151341799385940234698382870347047734601096382513576059827909767163847131015879637900935408062781148821676785*c(3)*b(4)-76325508087094469395591387213785260819799054875171570107760032216606317073017923543872720944608971591267042378291901767300*c(4)*b(4)-163180123053691200403975295534064260766106161387530279505244605868874382009635426559830052353407909363079726799077618648420*c(5)*b(4)-267398161935840983775682514263186758693984261700820122247390945549222073787525967900945602598613856270225466549491996201106*c(6)*b(4)-384462355948148960224430498708482021406168236544865109484713984511306921949017597524311410744202044734847676013086579404483*c(7)*b(4)+107452210658909777712129665877825046734595925477674932548968134180167674929238281931028332600765165143559335390006169782045*c(3)*b(5)+299984671810271723225429988205390879614264829395194415916532209226999178818390563895867702174759077807530871038690918771340*c(4)*b(5)+544675476880563166461941081649441903342114828337814813063912596325895477050856876309306341421470832887784130594077895087260*c(5)*b(5)+883251963983900091404620816648990005371921972699267964219753234882721926178803226609465654793180778349399551066664977440922*c(6)*b(5)+1346899667122565753982258836925221296744727259771603129015279116446532083263454041638657218640527083896859742059381261784951*c(7)*b(5)-258420683346997195020886812463456512710678313803711024391798909412237363242210087482837748104260216094688569587275887304845*c(3)*b(6)-659963113496485826060035475295963198252825056355532061427797453143360641565709266855005736572668445885226667923753711076630*c(4)*b(6)-1294470937818545333737383872414854786881802105039490902029364026266936375727660222108490316918719604170965495816446469983390*c(5)*b(6)-2090815596355492210262999065966576640480379862710557823283313552833536369248362485085086755931999421630010598283396638774636*c(6)*b(6)-2984470800205470570239353094248212749240565580835493138211735754342930277106665262768769330434955494946380349585240904287993*c(7)*b(6)+512807293310061076017412215211499412813176211832837299190964236323048517282203633413206280932072665037356740914753290594545*c(3)*b(7)+1294326665192204845833170030508120036737366553571884563993616312241714131669021856271085923996843317498535946879902735932830*c(4)*b(7)+2347592436794824574902699050520120329250277248866577423780686977865402702584219762741413228728251368460028293187596092588150*c(5)*b(7)+3753553130934986776312826484264251908843319410984020595460328025897129905019506549482576198185917183137917657334801704833700*c(6)*b(7)+5618646750227874666587199074456883401197228545081537423351590607604538293825824401787160791396417305658366031778111847069605*c(7)*b(7)-938643581637651444053007552425210500478649128749067476064209004820263791076482748957542580461506435824976081009439430513910*c(3)*b(8)-2279997004697115583793467161094635028820453154404320816819566435027025697317132004763821143768374920498149247400797666020816*c(4)*b(8)-4433631817317804671931603197558203429662889602859592898830798441075740445766324869702722995873228812962572960355032595430688*c(5)*b(8)-7141875043087626058082849558132029088123715047492418792704452684200147195506309789885353817708717911247582232193833489935636*c(6)*b(8)-10274058846944937149822675593140797801096536980731566091617473621331613420591914778574409212763805979563359477804334399816570*c(7)*b(8)+1620881947572310089674574026626251062064853479939601533078630228910293388569638611943062681683478453765489038059885532215790*c(3)*b(9)+3964431616556030946160059149796659105442039100431618930764992815336362914794936856325386254963112649484678786196736918742432*c(4)*b(9)+7325359418123150295671309519242048282693916971181417203604042903797581799979990148542744210631143122252082388860009563674096*c(5)*b(9)+11650527551732974130956681338147243562285942747064802538439019389389517140464232991437506164039867218203765142190707870311396*c(6)*b(9)+17262520203687407416155566068263101019109712445332088415090556652947184829352348786173219405961360706412998175506342713836002*c(7)*b(9),
602298197958958512965248729935488819293565813696784483493218299820740283777116193461405667942257191751798242411104000000*c(3)*b(7)*a(9)-6137041500080264711530483939653435104935600845205500803834404421254444564858503738172689727782419325479128654665799680000*c(6)*b(7)*a(9)-17425112824113921993251060564058124746488449900644220030104074736325158977703657109857508613631293025133873163456951040000*c(7)*b(7)*a(9)+24724165025041611481770041589706140017168065316346403105879371095695698914342228931219453167784047583614263664804397042060*c(3)*b(4)+73003582043780346793512308921110523230160734360582128475353813988172561140221379276610033418507020705348292807388016385925*c(4)*b(4)+155577016064989267306306438417832805773997918942823021815778112594571831430425175606401573492965603639777379774223962249095*c(5)*b(4)+254764100718309850538473858266394699183539026158476570592684316704252671848991152920118930089554379953044398952376980981171*c(6)*b(4)+366827224454119080533795162552421230517437259329087988838384401839199529778992842301685570313926226143214046565033028075653*c(7)*b(4)-98847654068171859457387247191875603031175332903004679089536659995764696961029425379903140344332627590800895625920970637220*c(3)*b(5)-275120155031730988789462516634158745602930803617551315726883623555928549354291995016666159117807158341742501258905505028065*c(4)*b(5)-498811643017693406582015388430859180558962248507594495035151485212748445437315463411939364661712377016878858044961935645035*c(5)*b(5)-808899388753020408190276248944153896860524432744423411056592250855803845305107601476104782964733083049598349392033005388327*c(6)*b(5)-1233053177854560702834992482427430857405137185640588230403728377006461225848049805198812348397430702913021061740751718742441*c(7)*b(5)+240581209544652427780134342340979033339525675540137293307601939212823195872935791285851476209124694115429223622871932602020*c(3)*b(6)+615493139095276216371472008886036961572621740005786650562207087525808372234656867285201544651452829766011840334610419657955*c(4)*b(6)+1207738382418235746292291756223827723718312142538458315512073358582385860827406483709576342196313607954837019473588291044865*c(5)*b(6)+1950633360677671206120753855852267771352935227192050627939975448910281223524121567239857809881966140525281603814323704966901*c(6)*b(6)+2786576338671577472684646924173905666621965775712481481691109309402434582288774829583950204606913935475167964632299035368563*c(7)*b(6)-471618740854681894260134587809167330216893745917536755372760563665418442815303497742798088398173295186865028596193571752220*c(3)*b(7)-1187706593487127916058893791063281833748413170231391556269745377674988658577084811286048422172746711600471436344302275734655*c(4)*b(7)-2152066492678613176136039572125267235429274787817757304244413554450906801275810202750171171694211557515579112607354504819525*c(5)*b(7)-3440381985302999069803549177006231182358501947291914456790581366734148132016146006558254584438235747140141693624088453114825*c(6)*b(7)-5147962378182323972655584884465103187455990272395325324510267261810809558539704216082124052291927347391207826701885821340055*c(7)*b(7)+867618640546952326058017247055626999514047742804213911924241023948148995333102924593928615100380016918189364895782769953560*c(3)*b(8)+2109429662649222302549178524899157398189331429279178268681558615393143328790515143823977845251250476934268468732791572077406*c(4)*b(8)+4103585396113887800833738360832719298972191878926485191690624940691529217407872232187300425283187108001067488506377412858058*c(5)*b(8)+6609734446553894157691536846376284540916023334421386415114458527120053467791548411552946737111988587978626174175146004127026*c(6)*b(8)+9512145779540425591415685486808819996309572360036922700731016974678975090114838543879693136194068005555891694401822641969870*c(7)*b(8)-1490066051128135720610955058358191110571620108732838734674553586667690864639952556234346853442006537766073795048738258641640*c(3)*b(9)-3639878083644135241258268026549685577077649989921831362543317390070803586768257295226510098062358304128667895126161958485862*c(4)*b(9)-6722844436791434862198936940703687639207123230654403928127530764409055244154671821348002578794280605883678027516317144696386*c(5)*b(9)-10691904400143031459799702102796845463366546402214066012164481787809350999790836309227454197086741319891360449493132538546186*c(6)*b(9)-15839090148363964252096682688201669359959438269931062018028336587524824605055957762463196740814838990043159266281233702438982*c(7)*b(9),
708271244935168000*b(6)^2*a(9)-6374441204416512000*b(7)^2*a(9)-157542892393728000*b(4)*b(5)-442251252589824000*b(5)^2-12175762639507875840*b(3)*b(6)-34145133124522840064*b(4)*b(6)-67094612623323881472*b(5)*b(6)-108422525265179705344*b(6)^2-2488628857029457920*b(3)*b(7)-10027222210305503232*b(4)*b(7)-22607188877588238336*b(5)*b(7)-197012324529304266752*b(6)*b(7)-55318005994464061440*b(7)^2-6405867272832921600*b(5)*b(8)-235211155168957915136*b(6)*b(8)-104408178723341918208*b(7)*b(8)+6614327402745753600*b(5)*b(9)-268778527853532291072*b(6)*b(9)-46020339436614598656*b(7)*b(9)-342090718151009021952*b(8)*b(9)+872417075574472986624*b(9)^2+2086045742142202080*a(9)-1970976606721605,
7082712449351680000*b(5)*b(6)*a(9)+63744412044165120000*b(7)^2*a(9)+7850214014048256000*b(4)*b(5)+22190366201745408000*b(5)^2+219270467040805027840*b(3)*b(6)+622509620444807655424*b(4)*b(6)+1260713375292441239552*b(5)*b(6)+2003710429734936981504*b(6)^2+253368244669276753920*b(3)*b(7)+768347199646044045312*b(4)*b(7)+1595808246214551576576*b(5)*b(7)+5514228128620317048832*b(6)*b(7)+3791581565932492554240*b(7)^2+165046724294946816000*b(5)*b(8)+4329639116101152587776*b(6)*b(8)+5697801908014068400128*b(7)*b(8)+21447781611119001600*b(5)*b(9)+5130875574734766538752*b(6)*b(9)+6208273452601448349696*b(7)*b(9)+5513540164925787308032*b(8)*b(9)-13683099237570761539584*b(9)^2-39591196856238897280*a(9)+102898108102464955,
191205777129828099354047215852536133109068512284693486823243904704996915484798791575049418394367362460888330924160000*c(7)*b(6)*a(9)-109123417157815376784307843883563736649670487771936521767383422580924368217585356543607890266417065368412014479360000*c(6)*b(7)*a(9)+291469830161580594277057905024670863760529120426051302045247147180455948194269873113974023144306172267158400854400000*c(7)*b(7)*a(9)+669957582642764614751650904399529609865985772686631495282331787956055817596786915923650409645789891993748640987393145*c(3)*b(4)+1997595120684073188164804052770809559403738455040919082606335419042011940052767386429776823373082636928956416208291900*c(4)*b(4)+4162381268461209718119633341765381266280843238882112136692682873317124959955759166672705279675074576218058672102062515*c(5)*b(4)+6803932771723353667612899545114055137201125119674948439869044380953945066911855093885189093749207736954712613935429907*c(6)*b(4)+9868445935028275676109476309819402203173554768676072978350900069650141817836835474352589097713343018612139043072014951*c(7)*b(4)-1833137102894319163294226946758618188320371363245859424717409250349271086367888035906709455431643509943846941452010865*c(3)*b(5)-4863285006546477857372698393331320939424395667297952992560221019605751311993813587885594560934286969415563856456281080*c(4)*b(5)-8581644675695940079953580016174193400227819348451591077156607528502327275717824665241069252748646300691395830473274395*c(5)*b(5)-13828585041824911967463146705395658031493312739188665179486498241660550089134882143240151977188860727344480749662854559*c(6)*b(5)-21101556204030118221457789450893852017313959236266970112659677172314515296820259542216352198963297844523146569990656447*c(7)*b(5)+4996519182565550198661722778237540998029708996675896407280943092003057695788487828291690840743205378727261124126476590*c(3)*b(6)+13075303869703588125545586074034519546108135487011473301439015424860954040141677482517710248060870295667675186983783585*c(4)*b(6)+25901089328425962470653672634819977952277075090206376245500594747389391925999811572882199132039784784977627319964151630*c(5)*b(6)+41994011015062784348079500643758735387220963605168790460495879276970184721409395697261001699625562115621354905451838692*c(6)*b(6)+60262520161831486539108361015621370827095828386891754996973475489388525723861756797639711151737153769317918915220820271*c(7)*b(6)-8630725729596786651541820010548338380762319475685714308551239637566140330632555519213175661910017303293057888653988490*c(3)*b(7)-21050693647374694691409451339427224083588756691895612207578678972973578053019612017601760492753800393119026996268142485*c(4)*b(7)-37463094207196005622402065089823654829765047130744776163946241969365041314045707546175215419044473282123851107553765350*c(5)*b(7)-59470960176486985815892299240207053974186829437316193961153422807865826740835518281100295204559219941193575636846945400*c(6)*b(7)-88933732985797315118058642231465423716095601241837486084275292970076708987410031689008607090068613028448338710792355635*c(7)*b(7)+16624493121470926411954752259797758142205535376293051313112379444731246845196263337425825350827719119907164644206768270*c(3)*b(8)+40980432969692903559010459380785997518411962182758688531177403705900802809419153957089673899600059798478312185661082052*c(4)*b(8)+80419140614378199133599809649776032490192452211405607573084062330270674042584127128285061711200996833482735705642437686*c(5)*b(8)+129864618115505970245290297982294906432445800002829369987424339992385484204158120871376013518636145007571695315735568742*c(6)*b(8)+187306346105723536463119872521447008795567707276343859262198439444609978873839064058684161783246621137433165879619178990*c(7)*b(8)-27159729014918014808517694176398818259612716351329832914486162588407400062622931229813734020221460067035989396190282630*c(3)*b(9)-65308417690723588672227069239920450586941909914102226884763664972465752928773762827715514375489348704359675927724467804*c(4)*b(9)-119617803542685066951671362204622814313994913287333156715829080606487425041682956070770676182243972433397498841489672262*c(5)*b(9)-189528425284404232562469189017851417546906919761984756037229785024222945034736365067601729980362854141872388911682315262*c(6)*b(9)-281056996146552569558232114199672227883447682896398447030139674096416567361024262084015141224977573908692853752817536294*c(7)*b(9),
382411554259656198708094431705072266218137024569386973646487809409993830969597583150098836788734724921776661848320000*c(6)*b(6)*a(9)+2413049064182025946650468096922285179447545146216760624764856656467921304046553484831574846173307616789267224728320000*c(6)*b(7)*a(9)+3272866444950662280125380020502941271076755973654698561458550972390652081727420404263821464680429014394214938030080000*c(7)*b(7)*a(9)-12689745959787527052957951973373142630143488311186275697722962301771701041746976628608511709762406154116159760063589895*c(3)*b(4)-37811744298236551741903546344028391100134150200411925646278971103301668192082113240158378513577754539494187157234855025*c(4)*b(4)-77790741434099488422163580083623746212299194765277234663405239694915867124925966723516833138906340181324693061445208515*c(5)*b(4)-128613856805389218090456844148913358517217948280604911715726249225765843165240850676356814201674147506370931156686038457*c(6)*b(4)-186605372324292877780135020665281319821454046952895027750802482112182396890158679138329680782679276670949174496319440726*c(7)*b(4)+35885770624768393279770311669041373889995367067848677012537598901879193890757219742813882892584286110823319841602528115*c(3)*b(5)+95701675232303011944721430378687532500205408920876580553202892595948586949645594591599982947345295747619609154606571205*c(4)*b(5)+172516910251417913311442358769565454600227040713185996667282673319172105492049131440826686432573045133369447809491764895*c(5)*b(5)+275353028490092562052954297144980073531534729592581237764282685769465762022179449738290941617468736499332834794076445909*c(6)*b(5)+418507807418947971302307922860435970638369720807064011053599866110011826793338828885857464191546492596823823762127011622*c(7)*b(5)-98936679924224571821683988804335055432153788360027274459268775210870809316035306477084798496802077316097180844346305715*c(3)*b(6)-259151239145624208366993780053424426549029068862607880217323801300131141807985819010803367962089304274205157867931290085*c(4)*b(6)-506930317891806478998538433356210929088699559987610247078977442854437665756351334174279898479410476296081218089671661755*c(5)*b(6)-826648990413450534281355196660439195127163280015081778011405199771537741289698747583363787104680806996085696639994950617*c(6)*b(6)-1189502353148474575795466948981083468830756393969456824319159314359406615884535145720253096236886882852449472166747329046*c(7)*b(6)+173952510576948725282188191145792724684966070038727190146658293478158485214923723253005864755941262200358717380680852615*c(3)*b(7)+426302018682705269512345339188828687410678516987079803859264463044482615063936603031334931643137381981965861115417408985*c(4)*b(7)+770597787505809777431161935186409301208705577757663071637776878028998112380325625184518812173648409150901595555572395975*c(5)*b(7)+1217901313083123032157637055135483391133579195598404174876798049973011930033971688716475699571616219381984695707625723525*c(6)*b(7)+1815680452146654463924415060070894976089303622854331677669055422325604250383945167237288527527140086177658897292345336510*c(7)*b(7)-339600185533574053524897378396691358177485679912920542249000076221153490381927583731114442095038204589021443786812233770*c(3)*b(8)-839096358740529293005057148356367578421421670147981066933828161385652119678252431073926036516318060816020084704276081102*c(4)*b(8)-1629884605132636887764905883984090740973402862444323728701372954025490860146433562482149504706662588954426091558661720586*c(5)*b(8)-2642040731318085283621093228228629896937339755640454164200572286833184074955271909958404912001835989498013890972158790542*c(6)*b(8)-3818758407189741777549190191987452471286437538221498618818342749627460375839396157061985787469681822403929776610682477740*c(7)*b(8)+556952406159598254027553744376025431099289031374304320204803608755868151867635403510487139222863682981822225848211952130*c(3)*b(9)+1341073279126964482886897174085823039974530442049115632321080966374265993698340656886420457489822938648711450523252539654*c(4)*b(9)+2478989706649737284351855981268415327338235934978095643860645992345927861051564385735311615658961303012329641264605996562*c(5)*b(9)+3917622755396347996064267785232018937605005349631483652681370309492775541987851853726438061070187674884283825962529763062*c(6)*b(9)+5791747322898008905225514681953671651093594241324196982741720671709389082015813875945842475462338431794525830543436899644*c(7)*b(9),
602298197958958512965248729935488819293565813696784483493218299820740283777116193461405667942257191751798242411104000000*c(5)*b(6)*a(9)-2987486823589848156458454585907025724899746143491032146522529396862029900693692095981885514994268285744593978047467520000*c(6)*b(7)*a(9)-2743243647691771866484290034434542846362218268023480392975148606971512084630164472764836944371239382452324247216514560000*c(7)*b(7)*a(9)+24414090167365695437829633272218156818624187253358088383222660673496285625110653880213573344839269851766731509879113558340*c(3)*b(4)+73038539378572064650829073963514615611454710450113588742241428519142320176566923228831462344223602000786680769585203925825*c(4)*b(4)+143891799035821313834042015776620473385620517793239806496223864562007378340212123925584199324030392618698782259865605053705*c(5)*b(4)+241619436866594498642936768851002511373274726333978383769381676748247804880704560742437763419228001261826309006253685496969*c(6)*b(4)+353232367313178210963610034681635973286924889063344533998263648595255753984261034678254486801899334337477335381153125629617*c(7)*b(4)-40595644113470165057078518061753013031191536590552457456299175999347592267662569568020328961828395651245570517132200242580*c(3)*b(5)-98004071474550790648084023537751938111882443065854576645144846743570972884225796431114183102998367653382464926251656497285*c(4)*b(5)-177480727196080586083368536862491434114080617401035126768288930761971945571715466170900421445867157532880060096498852410365*c(5)*b(5)-268592504776457396548230254997592072813171739798831273307536081545482827652602228828273915162606505394241801883246917312853*c(6)*b(5)-403747922366618951007684465245789780281835589636498665299710710219831382967701500875118719139590612586412418005038456442749*c(7)*b(5)+146729813038543222355334061588104272761323045468064798625160379164206050908488843197469750649772197173578504334934766036030*c(3)*b(6)+397967181593075226237960831527915540290246715806627612968783953256993030778453932392383434655443462744868017655272357731245*c(4)*b(6)+768128105504097134437524688291466338457477030544426587551635852988712631981015305010535669580237427291195550672236598121485*c(5)*b(6)+1274806299306371769991722204779388318489494361568146194344662216950255254535632791021754567597378053999355758402378555160689*c(6)*b(6)+1856356667027457548357632610304074666752779957937592571158136765462947768638191947973908611805444797315420809057225592358107*c(7)*b(6)-209330067874802603585223345697964101351125161710950536551599374089129018743961439127645660316796303676025317369857304473830*c(3)*b(7)-484463375111626123224389393024177375443684167278434552155018494495201934206610224497874921223601799893659220793202755302545*c(4)*b(7)-881987597616942004486010765633549791802565192320765615609208801564361562391200017383230928996249621393946429073006311406225*c(5)*b(7)-1351453911998382322947338132226202597360181608252789973524526212955940837304750361616016454959002095351733563152797459496925*c(6)*b(7)-1993059292874487937542042784280993997734569929725287673356968074057969717269267832662838922768679752384972165672183226458895*c(7)*b(7)+469543370305212625069986080391032170782629642605226671954607179711657034495761466862065352561274956562257078323111753286840*c(3)*b(8)+1193150623623924351393076169828871694936680010447432820873844883759228713980873022705269145949732739594241624772800378141134*c(4)*b(8)+2295048957606393735055721643737598160363342566436448136148650407349215095183778209163440475604071792100416197710093091915662*c(5)*b(8)+3769093139869016010555055779330007218711814749075602215035439865060814720116328582243605022348348151077510138314036497692814*c(6)*b(8)+5492891992316104514306325587368685885233188633360192602489215368590837325836951076599531276571638097438406611762820757292430*c(7)*b(8)-697801207015900714118274856686026318913326645735714446569627387174306856997731002673074915962214190714319996755048320285960*c(3)*b(9)-1631212132836386362081057899545491160787761940017562213282832064279613976885885244579133834802290790943696828010671604407718*c(4)*b(9)-3041902607070386358872875994393868768523216325276242572849721279624685413196411009468363975688659562254597518682808797698854*c(5)*b(9)-4732905945440906616027506149205272573656385012101521939030442825371445419628972057101398578970490852646014271399684977484054*c(6)*b(9)-6953650290453366682647567719647101743941097002093425048124277395679079358826329920420824729683838518968957486686250873559398*c(7)*b(9),
200766065986319504321749576645162939764521937898928161164406099940246761259038731153801889314085730583932747470368000000*c(4)*b(6)*a(9)-2803269287689867010229040537672042455622085557419415498420911689087297939920980751454521276355542213710704577242196480000*c(6)*b(7)*a(9)-8908463987000312858753940522144722059699821927293642002328642740948737085944147756124421643430101589137653174083645440000*c(7)*b(7)*a(9)+6474816873518390999812008957432359337365510933344474908638432395138659235661191214950798248900492677354390824315007982285*c(3)*b(4)+19033200688974767134426620079329882896060966333658496134404969733651687039239604545763427739410722473405563738359686396050*c(4)*b(4)+44221341994542668570135523990297557585282237793319215387086153255406039118386098002770831769870791096319518739812881211920*c(5)*b(4)+70121692396377947990993200229517193389065638313776746862720944767750541022322822713734960247857037037523342821613794264906*c(6)*b(4)+99805305686040678235404030198535734783517576490130871326524600838299354642714340860711040384999525141059853077941871884133*c(7)*b(4)-41890830225305908203193921428733554838632855949373875643041814402875916016283625076462488873543533151013588535158974260545*c(3)*b(5)-120276424447719666693099861478834883086812378548989338388002898077574404492796126218886306429553101202890110526019746762090*c(4)*b(5)-216798057635198672670338087469941201012930613237379877228030434293770364832699836388213521912966882960053181618707309717760*c(5)*b(5)-358195482345280711945445787123876059991019459909761456784644988353468565048502226906836003921511469583834223142084814751522*c(6)*b(5)-547224161110623117736011899397121365958174030241147782607292236768997427774714300660381927656342795165254044616293107141001*c(7)*b(5)+87225995661301276148001862721457394117975914991675257227239144487757845979805205495610556566473423609962859466427040967095*c(3)*b(6)+217277355980864588208397229685739362245195474245153580980479353227838438180529313001871112000168468661046350584970086453130*c(4)*b(6)+432378290756377972039954196991474493418766449792314364352379625998038362132192788668004404521036747580955773378655474494140*c(5)*b(6)+686619027120381121856557984730048958476191419806992856913429442824770381963203195947664923969540992902522293520785877176186*c(6)*b(6)+971546102083133276942148839012185178170221118896378156758637827698749658368818736143798012228524164083724488442620410630643*c(7)*b(6)-193648940601125863977588151591064161480418608568779855552613573679268578212879680745673853193842705101340056790955310716795*c(3)*b(7)-498400200321510911059359354352670043188707313594012180751097825376267677181851317127345123340345396522517188223181321269330*c(4)*b(7)-897792650671275605393743299456328694163039387809150571688173691352103681310075268529434497990687354511321513705201536771900*c(5)*b(7)-1454554044590109447524035515192936792276110881959134122599384837706553214963617757119985927629011478119149320057293917112450*c(6)*b(7)-2183674831877124877151118109933317589879811603146734593976626876671613371233026094865363261245886205205507669468264049484855*c(7)*b(7)+328974325494396803283186000362337207720067169941326383173731391739401572937183304062876520515097497790639924696743944956910*c(3)*b(8)+785822299275659151517531962016355758425278196974644419930651524538033514691153270454945515966522434021970314777614702005116*c(4)*b(8)+1542014604321024381725192105295546801337200222092824061107255035311133105199036474582203777793840658188780014769933811123088*c(5)*b(8)+2458754015574971288552692772202549091794508275861741667061109775099172573854929804932536634985307090553502117751409752003436*c(6)*b(8)+3520040983679319029261769274364656975765362978092555409937305821822006364857322244546037038861293034365374317496885120845070*c(7)*b(8)-598397688596996980368296830675411714990856759522437968841204878737085674357390621701811377494600876430091828677807019282790*c(3)*b(9)-1480896221050223046293060248739908822802236075596555747492540230370309498805538070850548098998960230339197944449786125003532*c(4)*b(9)-2719128744644651845415376715214347575839769575684831441962788831028973190587314273588416823855774255408774029446861128534896*c(5)*b(9)-4359602749539374096499746692844828419812592907689184817874711142249662345381021653163655593692564928038038710396438508987196*c(6)*b(9)-6473500896500942250661817531615862592970911806510606537509076053250966814521337048035404573313570529481519533764219823008102*c(7)*b(9),
200766065986319504321749576645162939764521937898928161164406099940246761259038731153801889314085730583932747470368000000*c(3)*b(6)*a(9)+3434600582061351578382876028893938936291618749753415619324365030352250652366203785349982214006341807912760643093063680000*c(6)*b(7)*a(9)+10437731269407270414160597855198686880563093077338046233611679177382162200646063182703253210485152293397644227490743040000*c(7)*b(7)*a(9)-12221495886577270763771997603051402942568162126356286298678357517723296666153140631211207490861756131155333257105873387560*c(3)*b(4)-36241138499024357634989166292917938932889849476651779486523415378540597410759820363552758091487614362801026167896122177175*c(4)*b(4)-77830563538071614543813229040005478126544975098993024675422955074844299873560141575650943361103840893904786259726148805095*c(5)*b(4)-125918964246664784156533584160376335215864000756800417467781881865156479018916750019943294992373936234609093719795069671471*c(6)*b(4)-182181866061342665073847121560949147390199051912517000043437141496536091611273903246805116361686116115228297342039837869803*c(7)*b(4)+47399829286186747838885906592151771509059252396813785855193085064542987744843352825174627030944755946423776505496591845720*c(3)*b(5)+131157402081566495122761035727425818852992041557458932956513851723115201597500899197528825271464619802793478477804706841315*c(4)*b(5)+235082121908955331809826057255943304740725630046668391961424187744390128737708694361861381572544927406529629488478529678035*c(5)*b(5)+384403153187929481295828942680140270796852073043523614168022372481202748790437773206473971741461615755887943135840662379427*c(6)*b(5)+585003403204879941878191787450038202602981405989660689728009875884024511459928683046402615424572327387239979291587488754991*c(7)*b(5)-114658739671221400434887159257275211716252603373877437330044869116490513938597221596410198864586378858629911527751413819270*c(3)*b(6)-293818920784995352904450723842197179398221885935398316411405574141291830391506217254563106214578261426475091111699274866955*c(4)*b(6)-581235058852128244602127121334424106217687629703322013539324738720727762494852912781403933651081728810948768000476026178115*c(5)*b(6)-933080012350651132388033729904923948556809682481195883268444962769795495800842502022762490441072814420196129777052567914951*c(6)*b(6)-1334681134788342360594395300020209301300668390934447763855204758282746299115977343383118121117779555239929692778588640940713*c(7)*b(6)+222650138576566279303767908028754136500486188111261860107739725811198147381227033054038703244692180802925706957731859479470*c(3)*b(7)+558443483713626461407833207835990501531807522781659150518802676265074784679330981749682821489028285089771360859848867203655*c(4)*b(7)+1003308015720201627281499475819315066196152881485183701519635831955405523569095285047151716748731474537472891011659675065775*c(5)*b(7)+1611681418956812382233682044380012481342920843094031929850667437377944501246383851531823150499328668578143080173814784956075*c(6)*b(7)+2409102265209709778771019161569400964205139418443884592876090992643438041560299904028791229470016467379895749311066411262805*c(7)*b(7)-405765646360422935645409870946217908624840981933562642692876888716016596241716999387031768667780635865028528431429437636560*c(3)*b(8)-986063776845219550560026794290093410555017560842703992277804568672561752416213108909995689673301489362874666454217706640706*c(4)*b(8)-1929935705851490417778733035949572654094115266649365262852476624836216784778196990139746740624448192275185802654330679997458*c(5)*b(8)-3095763436985292525475801950277853187696034968465946947092080790885877680173381867846794536652310086104852949289951202053826*c(6)*b(8)-4457231495373751379010182326298258203866415770194785363111005731504768536467513695624474449040514432773079496248284131153370*c(7)*b(8)+695797094256444399492259518657847165316766038506350732325576680755802499237931599624214195397322762704975739936822419368640*c(3)*b(9)+1696062168489920120471446901790974694445817670879714460184118396361533365452823674042490827189871632454815587574141184029962*c(4)*b(9)+3116028861466521912363858489248442341565034488042806981034443127033755625437442717807635855646219902610705733193461366656186*c(5)*b(9)+4970942286133391973374593272021342700739088821263094168661997181040499816886716962115528493690597078960601263257528672420986*c(6)*b(9)+7360662661699162848835265397479891455658819036440796755749205963925083943070217237463217944750049261134916139832455669274082*c(7)*b(9),
3541356224675840000*b(5)^2*a(9)-28330849797406720000*b(7)^2*a(9)-15711210344137216000*b(4)*b(5)-44571234249548288000*b(5)^2-123903517169663262720*b(3)*b(6)-367894793697620447232*b(4)*b(6)-828005008195010215936*b(5)*b(6)-1242928274072972470272*b(6)^2-541511313865049231360*b(3)*b(7)-1554613551795307094016*b(4)*b(7)-3182058721158587527168*b(5)*b(7)-6885306277257598181376*b(6)*b(7)-7469792572101431121920*b(7)^2-199397358088780185600*b(5)*b(8)-2628162468374474579968*b(6)*b(8)-10463810207696685973504*b(7)*b(8)-347746040131497369600*b(5)*b(9)-3600700947340740673536*b(6)*b(9)-13885410640894445641728*b(7)*b(9)-1377671930633699557376*b(8)*b(9)+2218387850223661965312*b(9)^2+23238907106908783040*a(9)-129639470374696415,
5736173313894842980621416475576083993272055368540804604697317141149907464543963747251482551831020873826649927724800000*c(7)*b(5)*a(9)+8733370148510008520449825494117208841562480681344465615716581328632758238041935487044907167361224240114650138869760000*c(6)*b(7)*a(9)+5372321355989106070922418245673962426275154181880538902290729038588953022587766099230272378587341065309059009114880000*c(7)*b(7)*a(9)-56653471914232663248948108012365177332563309794492304213759396944946117108567348402857688513128532004096573520445465945*c(3)*b(4)-168939943002444046556027087424351850339876227981393058760495706819447786875581650938404922560613215741892058556288360025*c(4)*b(4)-351126633800592485245206317197036148060643630788081271817980072401548627943058614327011149464478559919160699715418307865*c(5)*b(4)-573949011580601308881237436097390566036117186084210612772005647893098300330371326377313293126132549974316633290474113887*c(6)*b(4)-833955505650629257949416650452681674022886153234214456209280683252186100575869035065653823101727173571721131164076737716*c(7)*b(4)+150341117489773191139253375532261426223350704175570260935648923429048978113457768822124042915252091243979322290288046965*c(3)*b(5)+397192069424882028490699031025560074955494972618238589121678488459399354388458429167507181170606988691810372687031768405*c(4)*b(5)+700120697148761137735660883275783163176089032299529792381162575807336025408093657320569859221070309808224279543644287445*c(5)*b(5)+1127650416707667859265784633307847817587800803788655176238085329400367618372017719530955712797223713532187461510714806819*c(6)*b(5)+1717519191640707166774935066814437687198896789226130489961417804266095210126002004356945105178969357771322130655929257652*c(7)*b(5)-415311173864823586378686538330471703656152683283960704105985113510116814755072980648500197181265007682776775504179244815*c(3)*b(6)-1088842833108619190928192253853923974399398382292118634014760719423508999887176982477870986031681750456517950238121585735*c(4)*b(6)-2156286404804887186837618908332260298596161386389338902351825329665746290112631554526184913996445063169684949010708482455*c(5)*b(6)-3496633490101927727284617824303944563950108716894532705507990673377349815083679236048557120246691515734311897376249459697*c(6)*b(6)-5026129285440128935113753640583434243316264574383014857512357467184500027473731386347643127963239627188268353882350714836*c(7)*b(6)+708803385553456399993182574759785603252417382502023554182827783893198554392782424196012633593215229127346920112804762715*c(3)*b(7)+1723974796164121562137247580854098208173193436293248481985953015554179978830954110435497175601323881203517465251579731635*c(4)*b(7)+3066367614472524490796362492933841877531393985812142104318508547973551327323891106288453847437790529902849666350513977475*c(5)*b(7)+4865578276968628250194404284527287929954038630777947398699845121487831456370606194835238325938598505420441465631366507525*c(6)*b(7)+7264976960697524412994872798091639329758718800620502954631530659818452648948758856266491857685720073719109115006523976660*c(7)*b(7)-1374648453538966243129568311651299331542511230371930720670589650316135358188508879304238747153436331102065791202154176070*c(3)*b(8)-3393364399297748061063636443329458131387932233057353756271520555725075702749548062237169181315356599463467825876869510582*c(4)*b(8)-6658478278738234625761369017034768381961671763989393187782962359959348310074285738020467125908583225956750064290690048726*c(5)*b(8)-10753523683990307039591814708849046335956422860164749226135929120298619774819024672530692001073623257623810912496073804122*c(6)*b(8)-15523977109612244606102884266816753051227442496380081817439798281887498110080165647163497768536455992305518847123246944840*c(7)*b(8)+2232975032221279918918363911841606144602400438693023818111778980521812905559110695467003610989794891415970890783569410830*c(3)*b(9)+5361697274512825849668933132942534389356238717394979846658056756638267694486687464396685015091373530922437817558893047614*c(4)*b(9)+9820156692331028437232869745836743735285904134302654069103384937217667393736199349839723062362633797065730789991965646942*c(5)*b(9)+15557485727553427364654799534161867438057045054924096846497862207977161180891139821542790285835061486235997657403336207442*c(6)*b(9)+23038496276764281748697224280214413015916982714119614079774019188416017151817636753788530463814727392617618408632848457704*c(7)*b(9),
956028885649140496770236079262680665545342561423467434116219523524984577423993957875247091971836812304441654620800000*c(6)*b(5)*a(9)-12363443055412740808109693243057109807378954057879672018202061543438906706122740870763466767492715757413698747998080000*c(6)*b(7)*a(9)-24551018936850636455930334288655665313454273289040549232151089846567836390660421638024051720591582846730852754647040000*c(7)*b(7)*a(9)+93417076635034609727892520431791673602472979893823956172144713170718728418202405519787057756991466757282194073271831385*c(3)*b(4)+278312591319176738885941167124573549305716198476292750730359562412028103023489415304787649370284812263560667308453154200*c(4)*b(4)+572827006287557302885874650980257040939832754420328048907732339588024411987760349175517702417116649904154709676399729695*c(5)*b(4)+947244043376603769701204661746442475490944666695914919033497241299147862210477372098098420687517024549014500999328151591*c(6)*b(4)+1374422179399488211746121972647040985146215009683754781059092805539017324012673251106671798780833245223763893064219783763*c(7)*b(4)-267761252193642674657259634318339173254609538624469387072881875285099414644768707835241008673579464759045049657506724745*c(3)*b(5)-715395259385300940758895706915194721209935850705473539233887497534374102218969978824517281454653724549534567838491937540*c(4)*b(5)-1291056876873218981111261068934969187251154055932729590789077860053880494425927782446375380133272072885138664329840917135*c(5)*b(5)-2061367480404441957535774714718669492995031113365023286243864942703924115761007764306878597408516656576915831955173057867*c(6)*b(5)-3131971205639125924055167167480303358711318303405229448829142461315743289113017401926119576410407523275389827130949535611*c(7)*b(5)+734979059225357561856366324911047555639571376472291745633582928351782677102276747315648610063008686329201295188004651670*c(3)*b(6)+1923829939841366130795592696763916626073501954384872881996515753641146800475692256250270290086127984956579459698129112605*c(4)*b(6)+3761674295696581125828014496410760079803639535821349362560221425231374278619232954453907495078140427882402108073068101690*c(5)*b(6)+6133307593604769492560212522511194875473305815470673512810884946006746770259701613355203204279788254611735016468447704296*c(6)*b(6)+8826105842477685685421790858816427674719799948653963155498983418934764615266379223252053199440636598552438117338984341923*c(7)*b(6)-1298857007191898426977256090140784223549838218688403985431963212982691424753424381155311035435799663315230251518161536370*c(3)*b(7)-3187035165771866203224285444682667766575685388241683953562245393669015698318737300486849079584751995296362447369472846305*c(4)*b(7)-5765225920698493552387508326658126232848190566496663050920265571824211957936973850400066136172351709523963451626220957050*c(5)*b(7)-9114940168657349131948421614929678576383683388455197623793356840820654206297150821416468673312800821258504074170591531700*c(6)*b(7)-13586290075877003813690261906492332504983214744032295538152600987126314760297513652292293769510320249108675828565685539255*c(7)*b(7)+2531098909539285562125890509936707773215917427725128456986462397949141117604987438608757508060521786827060196101747510510*c(3)*b(8)+6251163385686981684080659798961139659332964999307285916514222155183042230905728901798173059159219844193150096094659806476*c(4)*b(8)+12137935587887709502030644003231755104904411891073395433596782031882764531718147898355134489609407860440670718976232196318*c(5)*b(8)+19673964567946639186417400213104702397372350748675333540378700558444479397660247151642497666109198730508058123193616146446*c(6)*b(8)+28437821714663778603081670617953674927355144260408531664081970579325058480822179477416622044833715120786998201472264110870*c(7)*b(8)-4159790045410040294296524141016858906248320387882436082787903128950488143371916411687244584800803637701793030349612391190*c(3)*b(9)-10022056823252477596743054719654965086282201584997303442568328466569287000219447118561991955271352522900486184290592234052*c(4)*b(9)-18531669488023989152138062157251029624694259489809185739794954980751110064656380348551593347664643128480240377729396282206*c(5)*b(9)-29293242019853030399440057710973241880209533399221359156885196353018458206286958799870694354466408717864580897423002851206*c(6)*b(9)-43296905145709293395110090000093956778096249721280417937868276537558108029058402462052386610659370842814334823922122569422*c(7)*b(9),
602298197958958512965248729935488819293565813696784483493218299820740283777116193461405667942257191751798242411104000000*c(5)*b(5)*a(9)+11328918969384322814981023111640162263009542162019333856867531242010870685407949298835890832673566379708341574769336320000*c(6)*b(7)*a(9)+24912995449072497759648111000332861172433956989393161530173319587228610213935579468801482584029304292725722507031624960000*c(7)*b(7)*a(9)-106606235866004742087125551370909924756479460752411187696840349524640549755302906251218094565246454771728544746618116056565*c(3)*b(4)-317172826880583146187182500218899167256661893705192635555536358084944330668763957255149475110308794339887992001519694814700*c(4)*b(4)-646568848976841656483118604977465113523702493469061725968852329180748545231287853547287915823600118991655187566593106997530*c(5)*b(4)-1074936402478426833703521801929089049536984064216468779023769375658692005229322870944475273051709116504974933283018126586004*c(6)*b(4)-1560521559468182449417398843526080521990560908045769207711697374891604555347432787519272459639696376913761697066693712227247*c(7)*b(4)+288521088883572292064924281092354043287262007287303652735755163277398480453869536503789156234380451657654680044139651186905*c(3)*b(5)+766567763998108955251298726509346976659873022034835722180574414859874990068209740462753592145497785243444274804970927782060*c(4)*b(5)+1391746702603895245527032729574329361237760239417818419693070371426948370901041115503032188284083145644179637803682176741090*c(5)*b(5)+2206810004010485050875919787377181425128359951185376894144394826152577660097524664995690938797911862286610252263536867822148*c(6)*b(5)+3349503511875794738384599197063113174488801142509235084313899436363454410514622163403920649726984438471662218012107050868859*c(7)*b(5)-819340356175469688276606975071354060192372304938651003954095472489402344402643327978497044903242274360504479056280765418355*c(3)*b(6)-2151818879018430545010353991736519151242451567424128916398164144844068940760177791698536679095989833513929055016007140785420*c(4)*b(6)-4187016198373557063125123584477957599365253943120735791635035263383454409487852271796919416731434313875159328297554092516510*c(5)*b(6)-6851748759727732194311891075527294599346570069852218622741681512580247520547145126530494167744741591310253522258262278045524*c(6)*b(6)-9875463647310316993156556439830175175086473776779075975818799147986292998546364003883012853080607976250852727138619057462337*c(7)*b(6)+1418544875625690326093047717898254106375998700082036196438263314985956236469728915252900806053249921094616103325636511965655*c(3)*b(7)+3469205404376774552220269303235473738367792972517759781432906274074765202820579566492280879427024927932566280975917320756220*c(4)*b(7)+6304243021545612929655088506401004125147824738101010835334414267143676423340429361491345206708774396395870433634146242517350*c(5)*b(7)+9927729464294686324329773731126087257833186762468175868853144215708160765149333457680429918854767699463603991744660702973300*c(6)*b(7)+14781762224237394415623000830992232614104584278896321566784761518081756386474131460714885181157678713278290652802295376426445*c(7)*b(7)-2818353521816803088866619631906714307942553721876735898681329819427281117229368280138271241484591025408504336559151278308190*c(3)*b(8)-6981002900467674663037645713800012464511149250137342931194855279464372485128303869447869893626322750749683320361984265959144*c(4)*b(8)-13505848903147870991167550630583843420184300862219449751106794658943769419211807542624282423651703701050120794033873788696092*c(5)*b(8)-21944502409294786466926660970316416610603162265615163443961225484676560481528593183251235717258287979331006867069988673328024*c(6)*b(8)-31753747498111178226176146665373397180815164913106491540172369997623646907965925485637996738313821126097779091763045248871130*c(7)*b(8)+4579893287231382550049496762117320672836507953372168324556742928777000929840828413455007939729300368037299870811391596849110*c(3)*b(9)+11010032006296518870731591812553941937324500735920529687963851031582751183321700775422832830209915509107619163812567346728488*c(4)*b(9)+20420426616260669530857739784424641408455460358973574924688990389384996495689789125896601637906980073268893248344651758789164*c(5)*b(9)+32206684997075428530727139634664414774999985955866296266957102936909344300566732160839620537022583755170157207707550670703864*c(6)*b(9)+47563267769906938979029726700104857769709666951073955674206162109473324525708914568584686822048064122947300444172994422783618*c(7)*b(9),
200766065986319504321749576645162939764521937898928161164406099940246761259038731153801889314085730583932747470368000000*c(4)*b(5)*a(9)-347943074087118094236559092670349795111366666550390575623140548711397461192157661853520042165606819630400939427723520000*c(6)*b(7)*a(9)+241650188496392949100105962302023153920099340368611968061473324261594456041235620004747538537072273574756320478781440000*c(7)*b(7)*a(9)+14138516911582872958712431433156059886989125183250065430845993281731940286352990361337686496717875892422210977699534344090*c(3)*b(4)+41625222497584074086346683388438563434049862547179812090292925975086023059302425924541822246835374607347827681546530822075*c(4)*b(4)+82581129131558671229049409769009685115578460895931000097031480255545133641181925609166752291967632992429985499484311903955*c(5)*b(4)+140194481692774571047791678453019076438585227965980802396159328442371231934687919011654367142108750090794469896521169922919*c(6)*b(4)+202819072587998292252366249103987217897772793824115937190997541918783382143354991222533271420602031205020442480011684146717*c(7)*b(4)-33465170869258261349296226777083722886082799525746975127204908366086956958290744132936902356362935832336102626892318015330*c(3)*b(5)-88547221531668022601654432285630100178449350262562894479116093646206026357070669925261931425694482969015904286735419296535*c(4)*b(5)-165152655428644997443149549618569184831096930659165107235778359095647005001931334489123287267188088906072215330801594933615*c(5)*b(5)-254693547962728982197958473495242065747198710450868490522720568671981702517285359187820169877520975848958745806637089223003*c(6)*b(5)-387234025084286288715604851461395547575939910685642675882075716971867164919680184599184823577176844009120763359313309721449*c(7)*b(5)+105027115889889077404876262976842468371410090440484739554061608478071192612557615450547830459945397059430543018776931781280*c(3)*b(6)+276803656026746116991975187828015067119784804092766292266012264252440221134532541889182323505580888039548155103553698765995*c(4)*b(6)+529341553472658446484332976393106241711226286036196126805911921243127899307140581927708084345102445726201373941201576938235*c(5)*b(6)+878193424975844826311018184179008990312855177726567107266390958506866850835805295271799326146707025008171567410636842210139*c(6)*b(6)+1267285834169153593292504343322684661161033585568364569506676848555837314868086163915324515097171818148277746575278399522207*c(7)*b(6)-172953035851397895473693264793323959393912118281487965881141404032135215810395528313240866202197404012982928744981216534080*c(3)*b(7)-422182219623761240482073518101916822252688215943297476552700121083679909318300535607954674394825010553718491862642829152295*c(4)*b(7)-781554803811233947313674732447226473985723331193504893494861528720640070987516917991108443619286436445813446197469182209975*c(5)*b(7)-1212810822936158759815848087618461231298187481130143192706726222568875346582782059500388412510254993057230809639053851968175*c(6)*b(7)-1806013850712397469531669484561743709387132446298586593513755783719873402400589575559209742167798618306969941583225683167395*c(7)*b(7)+364574910337261910869910708298579410920596849807332319606390578454522302217232385554155659269151978549189011506560404301340*c(3)*b(8)+907546938202767563749801104580300960353524996953109840608029383608948077978348917360997796162848903432718769380846509049834*c(4)*b(8)+1733429298470449339417815211725354828514029234863447247815942435734936904699849608093481346519340862815062262132034997774762*c(5)*b(8)+2842265028554761750968081709016272979497554743521305377634980363358457094283970265534820548635064532999247019450156431780514*c(6)*b(8)+4116686571268075575716776753545611187064116112835821232968640878640274905184600201542682779257914131300661896678683737841430*c(7)*b(8)-574912824776547644564107252235219117945908472521148891465847908998445214743189867744861223043486367363045841414690385166460*c(3)*b(9)-1379984800956790024584780203432563754147747891141718132282671814482160645503839135562532976989666367496810008051961058237618*c(4)*b(9)-2588994989853030569322111961913267598271024987708951337822455630782415841435654139860819001452302839941459929482824282413554*c(5)*b(9)-4049324825646524903839658474959715049298913241078333568281350460037470289921570402182196842084045635888292985747817755745754*c(6)*b(9)-5977663917641310114481045890359642957494347507002407339456509815456944522301913599818829901786460497799780053667985403546798*c(7)*b(9),
1806894593876875538895746189806466457880697441090353450479654899462220851331348580384217003826771575255394727233312000000*c(3)*b(5)*a(9)-780418285510386969897955927430415439268018962866459296388352606096190858388395537141102619356119814346180346506147840000*c(6)*b(7)*a(9)-11052308140829522167904162106383618958695609211029982264935641573765981474156908129020425241171470753419116854826123520000*c(7)*b(7)*a(9)+30756206862326005447572323776854370655188008366760685362414784918103925528194383449703709516854379791286598767338579566155*c(3)*b(4)+98268490787564605237853558070570291066483952940448316600606957371010830335859748046762222909891102914000130943900644460275*c(4)*b(4)+190389110103898560100080843543180561052709918364838923424738117209632158944868570301921118428964343843258900904823072669235*c(5)*b(4)+291783053164650776802933702051329820066362546535961520684450151721592334802723122884470466220809399611643199305698364919973*c(6)*b(4)+456934529037821748859228010672470350930086000538084862723528765255652054758957388542138332953101456932638909409996907767364*c(7)*b(4)+68289328144690542778204753786694744058154021151688567922951178950435008376352852963927408001061306902670374208010493749265*c(3)*b(5)+252940925738536391106761569063107449531870668150507512743090738256617676619087889001551494914835948238721760942521074774905*c(4)*b(5)+523179929877085475897188872556146529849105804831278657291552779952446135869492535498452668387455545641032440292584949287545*c(5)*b(5)+825292542975511821323050189354124319961120633923324517560595798196717949738187089487650241323023980566133019105473496685999*c(6)*b(5)+1300147842176114623610856774731635370796192971444370343712610184653968190160112904546141672124108452347818675139800247514892*c(7)*b(5)-54853001990523825042358278638338750826592334017291940481838038802215694603841954210971606232680068439452099019013933348115*c(3)*b(6)-61617240761537426042009395749109968647583793613846827653762022771376530622524481668661186923460826082246830488626505968835*c(4)*b(6)-45735260335363770774127341711458824818492007005964696265434420522827437947631843709218549230457307553159015505941046484755*c(5)*b(6)-115604964981118778281255083040511130803486220545642382845524077721239050124233759690070407326463683248754877054816063108037*c(6)*b(6)-20656888568522385362840819738361856997527057108702992551561483644366691889464459639490775010479395937019826137096253034556*c(7)*b(6)+369707068571656542046078512273101918310449832000778341033057836406114665383006875172041924124691542827558306897172435268015*c(3)*b(7)+1111722456572213547664049376403709332588470325356138998891506614426789582429715540502278466743903414423724826961444564656735*c(4)*b(7)+2205453489089145817417605000744826637870256661390867897362621779754562679846482445384080976551128334870271312838827542704175*c(5)*b(7)+3501674323859980482589398999197234128369100670332692841994923004927621580185581725713233701578451458173318542862095046346025*c(6)*b(7)+5390064761872194614869243221936264005718763603489855489689410109899462107309306544392880113661261745700226651444754125165660*c(7)*b(7)-547490708091676861414808492426475402408975097898118167547903777420621775549239112696046270407984576794568914686190351547470*c(3)*b(8)-1192185010280665590562885284662496674270999089900501615376604911481663741574850684442908281341944429300182566982571624578222*c(4)*b(8)-2114917951506686511419581647211002638194120422309378338909606607517599943829870101980259045622995151097321205761047998071246*c(5)*b(8)-3513149543779258674452825757143579177847777592515729542353631805822568478297927203922356009571807349538770664552191764972162*c(6)*b(8)-4802008964169771828426460985498362336466937974683522786904457180517485579867683134845896366179547454242861629789196246172440*c(7)*b(8)+1252117483090615065304417936720817209157159295852919406463918742963166457548320166793086268489493189281677229485341697237430*c(3)*b(9)+3368744212049003358881833247208381955802606843057545769275238774513386424895785836338447746282384457348415138758659876766294*c(4)*b(9)+6532881857730914398081301328890100975847243706079998326487254893778205377763917290550552495163610657242803493882094915716982*c(5)*b(9)+10309058385429707644547791841006331891745374116336908623339533896244717457841795024521099548212566060550226576458112448245082*c(6)*b(9)+15528721441786541119006844713120458035402667063684258343464259798640341024202772015986972798080351592149910415661152084780984*c(7)*b(9),
159000240064980775576194006895122847749795468503290714185483923490343607631659359772602549779683842323395854879744127441515315200*c(5)*c(6)*a(9)+177550556833708270082958256317041059100927540882533700562912137579566474619019820727062890371978060151887867385211093661138288640*c(6)^2*a(9)+737445790105928891545538645831034353017282609213409333163166572191649080974906767350995670073414908002353330688147322446125465600*c(5)*c(7)*a(9)+1171453126621457313100558016050626679587579587332464706789625401408719396898142839247997300328257728343229091164297103946484285440*c(6)*c(7)*a(9)+821174576443504427142404803235687986616470070003448650805793946736827107557590739887554998346701710227141445471927839211189698560*c(7)^2*a(9)+347871189853670689341209884231713791451934456762468251542561638819317812900898074284356338376781167850847610588924199672217600000*b(7)^2*a(9)+3622769781475326471735632178744737880595198823698623466712980755567547797562652384213668496453160846056889485157797111664000000*c(5)^2+16289767292894847877728248195380798268231336035353640124866686600067198899190384498663429706128464631429199784541730274850406400*c(5)*c(6)+34286445370905802945910086583245419812577624628591324364535727002290411083770178068803173139781689473684974169165566478407966720*c(6)^2+11458089375244339988517993769255652169620219263469633343914929663102277042681937002877692227098873633454210451964387218844979200*c(5)*c(7)+117630713215996143252613221453505041713307821396938133014732201150685354231753911660444612629558372516441205248850210142863441920*c(6)*c(7)+142834233424965810149319938438623336267239220403178220286332096832843500939616998895561984030900866979648889682049322946421345280*c(7)^2+40076657865853394320108060322767272971794195630434933089370448795701311639899348861378423686674415176292403639698251285339904000*b(4)*b(5)+121025733998978261978808592748199165338911051595307834782275146237281212821143143455529758104266423862317333414082798627556672000*b(5)^2+2860915626121646563439820231316963613262230160625034325133813556013794351099469255207731032667205931840918579882360311438723097600*b(3)*b(6)+8124999935832993454329936223592472040828041692435297908303513984493741807568399184946401365609767700647789594877429408277250438144*b(4)*b(6)+16097693624368834448729980465729539687312051680720791982289962079322052650084275322692435436637917627877056674491454027805813688832*b(5)*b(6)+26037895888292836242582247223335492471903702801158890803553355520893442544703590948349900762917149755540999037900353219324640802304*b(6)^2+5020366748573578493588854412410185006656941717514482841564897209616706958408904948226383385615955283023417514591233033340768716800*b(3)*b(7)+14971759567596730079433478586640188215023017089261929639439562062165336718438587610466636073382751141515875008517652542506468844032*b(4)*b(7)+29969200631096257046043130320136871937315931719786995315386404986229755236909576704744536157022399778352473671444065304615174711296*b(5)*b(7)+87554139256909787893750741481031054079011931150055746423590845867402540517884595723343070734002499377634504652109155754710544246272*b(6)*b(7)+72900613153646649896988323346521940862833898656583551392016628282297813452797371945071210971371730586755430833372379844482477537280*b(7)^2+1691573378227101772426514258823076131940825786612662974019448470938945114248956683332096862442812799586628227377453680758194432000*b(5)*b(8)+57008689696998821687476411407401824067072867613108951962586206087919763856403778458270417175948656875724412844620470856642770827264*b(6)*b(8)+108340646049497339618809144657264783261364519972542208924750392094198631971794380060186089047939886507569051297179640403753072212992*b(7)*b(8)-1547835388687959850256224568884021703636223138824528088782904558187023016727761270269809906944045049281027372540912219897460889600*b(5)*b(9)+64178493349525387628806261699063003867553375281320101687985816005813499720097027590734422257167426171813273726949500519931390237696*b(6)*b(9)+119911071176501142916243305328739359290449897798597106940584926348515498551545092050782635430181166147160258019976156978229834047488*b(7)*b(9)+91883219961728070750749244720886027045538894510450077784773136907869024561231622830514268436263642822679490820874263599793904508928*b(8)*b(9)-236015629089091088005576005033782286120031553495599245423133002497394183989414941272832266541913486739756812776142159891764823033856*b(9)^2-683583886185470301240770342979806251339258187134207853743939942073300378773415247890989609225965754576089118343124392594056970080*a(9)+3326195391066026943080491346591788999615750124709273479648988554112344021267159844754730135463744634103312232806637435735200515,
149062725060919477102681881464177669765433251721835044548891178272197132154680649786814890418453602178183613949760119476420608000000*c(5)^2*a(9)+662294307717235334463799725901064503034979747759188132728117119284756505879698680902175383864500194551178937570538677994364631777280*c(6)^2*a(9)-2637221129822220634851470273826031090683397046974352448542284164942424230724433591065266877702599003511214131129736059159298703360000*c(5)*c(7)*a(9)-98177778085867285291971964278891641676445898156050930375229024730200594196042750836699711271809215884186394464339768313581687275520*c(6)*c(7)*a(9)+2415434669978470593767338986654228124092895772728775205349399180359821198914211725374082749874290660803210910668004894720458930257920*c(7)^2*a(9)-2327882372152694716813809693728697849339141602788370300391587696445482312720228764554355101761055630430961890837633783943417036800000*b(7)^2*a(9)-23423524613857953789423148075741714691764008486681891615830004999323779632700083502713404669254616961084291185885378666539008000000*c(5)^2-108118912409188691271037380806476634702050048539517142707348349732865408424703151678101948983523190166000490213069872476756836352000*c(5)*c(6)-224805056316643904512661835990570145633444783163943135516986584554698573251951221986305399528976473285239305859793716651277803847680*c(6)^2-87047804445552421999868852325802387649813369285319290114211233211924728889875534478685656263382067981626072187726445683843792896000*c(5)*c(7)-781151380838161042640857218502994580641088259334581712965513091242265170105689423843751461640533070836127309166347134553265280122880*c(6)*c(7)-937950544711753046920864320031099248535945754092299714916433221908765057690576979869106490276258130300522283783173758113678922219520*c(7)^2-300353848720993180295757955208777907900144370034860274988576422641162083654749243407322744146965726646680561579110472899811409152000*b(4)*b(5)-897069206197702877378449795874276989419438286013689384468131109584656745286417277573996128131244634987196821694238864714614452736000*b(5)^2-16871752213815609435138593777539516740544001714244649526259107239224990199092779773050623503262080415373037922059048305649827352299520*b(3)*b(6)-47992513738029795918303396269713195223749427651460583683068267412292288333711440320308817419461540358740580172746230876891370274598912*b(4)*b(6)-95563478109705650877696552509339363485456519277196426129553679360012503703236055549313476430632859185782790617276092588379497973067776*b(5)*b(6)-154131735336525742047903267528591048299958057665553608848673455383222922746795537608375745381014154026494097635968608438788227882268672*b(6)^2-30878988753469964838823658219777639439747765682817584833200476856054574767024477890698509470395953352961487804469374378861920222709760*b(3)*b(7)-91865896714897616130369870192676317057630301553658043498858821853450027626189418362441660788967093419382859034215675104917113986809856*b(4)*b(7)-184284634312637353927966636522687193678689227010520855013594845521102216321979874303714638755952809089920314387560604388998911878873088*b(5)*b(7)-528813490284446243177617735798473653332992076298642034876240287287690549720174544102360736386144097706589715779429402012586055062644736*b(6)*b(7)-447054803960213425540650742146119516560173974692268969834036319444392244135499493064359706818370514545141248268601829166412758008832000*b(7)^2-10550593026674869861334859473123402267866683405099096873021130361437669202302878104599925058610776045063794597704729357215441939968000*b(5)*b(8)-337017431573249967158907714101600582925704695996519988872909050643849245606461913613268742953402237946374538748648147185746992228933632*b(6)*b(8)-661781284640759521423838604961082189536961966815352294593742399450135940209427100693579467467679116073408937693616841567075644590391296*b(7)*b(8)+6937318559964128795239928020825019850632375800647526787642937651637839663065373519400352543697310609211219066563028570653523779276800*b(5)*b(9)-383092482589758680966353462266575608695068751091877903405313098141589955172247029677862936673191582505304896363601106113990983203340288*b(6)*b(9)-743128228372796775464242274965508124868304699995603780282492785825098596065009811464402171683179046580922892807148803291710532758953984*b(7)*b(9)-532112935300533941991283859117315218724334832539218197034762456191176671280270901682334751040521029702632419451114488123993861367885824*b(8)*b(9)+1354369291673245678107185093629018499909075411614061830453732821052122893650853446403442562178854295317032377067186645710815392051621888*b(9)^2+3979395063245780954363590069583785468164484106008728971578308425101586066654314833838151012436693048296569785953938424121054169068640*a(9)-17518742064126599043197918260984739861848741708931790425612431288524516302874073465245266198600461089642337900834888897381561940515,
528826368*b(6)^2*b(9)+32967065600*b(5)*b(7)*b(9)+102074155008*b(6)*b(7)*b(9)+202561830912*b(7)^2*b(9)-92980543488*b(5)*b(8)*b(9)-238570995712*b(6)*b(8)*b(9)-107100700672*b(7)*b(8)*b(9)+233494675456*b(5)*b(9)^2+621252968448*b(6)*b(9)^2+1690747928576*b(7)*b(9)^2-5447641350144*b(8)*b(9)^2+15266808397824*b(9)^3-1329090560*b(6)*a(9)+3508108800*b(7)*a(9)-12103875*b(3)-32922540*b(4)-48370945*b(5)+4939466*b(6)-431606987*b(7)+99548988*b(8)-1178956989*b(9),
176275456*b(5)*b(6)*b(9)-33101135872*b(5)*b(7)*b(9)-101242437632*b(6)*b(7)*b(9)-202837426176*b(7)^2*b(9)+93520379904*b(5)*b(8)*b(9)+241819189248*b(6)*b(8)*b(9)+109830733824*b(7)*b(8)*b(9)-233948266496*b(5)*b(9)^2-619429773312*b(6)*b(9)^2-1692232335360*b(7)*b(9)^2+5500037939200*b(8)*b(9)^2-15358503862272*b(9)^3-6885760*b(5)*a(9)+1334327680*b(6)*a(9)-3529196160*b(7)*a(9)+12103875*b(3)+32997853*b(4)+49066794*b(5)-5281633*b(6)+433719622*b(7)-100130373*b(8)+1172424456*b(9),
2644131840*b(5)^2*b(9)+1348347822080*b(5)*b(7)*b(9)+4076773048320*b(6)*b(7)*b(9)+8164122624000*b(7)^2*b(9)-3719392395264*b(5)*b(8)*b(9)-9672334508032*b(6)*b(8)*b(9)-4311888953344*b(7)*b(8)*b(9)+9416534622208*b(5)*b(9)^2+24842219028480*b(6)*b(9)^2+67929942327296*b(7)*b(9)^2-219802071465984*b(8)*b(9)^2+614616986173440*b(9)^3+619718400*b(5)*a(9)-53082982400*b(6)*a(9)+142396746240*b(7)*a(9)-543544680*b(3)-1484903385*b(4)-2309003305*b(5)-326132422*b(6)-18213439286*b(7)+2985655407*b(8)-48713432523*b(9),
605181132800*c(7)*b(5)*b(9)-463428173824*c(3)*b(6)*b(9)-1380576780288*c(4)*b(6)*b(9)-2751445819392*c(5)*b(6)*b(9)-4566327549952*c(6)*b(6)*b(9)-5009678573568*c(7)*b(6)*b(9)+957651877888*c(3)*b(7)*b(9)+2438650683392*c(4)*b(7)*b(9)+4442996416512*c(5)*b(7)*b(9)+6999812300800*c(6)*b(7)*b(9)+13740185133056*c(7)*b(7)*b(9)-3126087057408*c(3)*b(8)*b(9)-8352655106048*c(4)*b(8)*b(9)-16143132319744*c(5)*b(8)*b(9)-26429564510208*c(6)*b(8)*b(9)-33160140349440*c(7)*b(8)*b(9)+4873604825088*c(3)*b(9)^2+11620928053248*c(4)*b(9)^2+21199621562368*c(5)*b(9)^2+33272457814016*c(6)*b(9)^2+56917153800192*c(7)*b(9)^2-379208640*c(4)*a(9)-1137625920*c(5)*a(9)-26294348480*c(6)*a(9)+43641730880*c(7)*a(9)+41475945*c(4)+382989110*c(5)+2344694205*c(6)-3351164495*c(7),
605181132800*c(6)*b(5)*b(9)-957651877888*c(3)*b(6)*b(9)-2865572192256*c(4)*b(6)*b(9)-5723760943104*c(5)*b(6)*b(9)-7709291290624*c(6)*b(6)*b(9)-13663612297216*c(7)*b(6)*b(9)+1188647878656*c(3)*b(7)*b(9)+2630442082304*c(4)*b(7)*b(9)+4325382610944*c(5)*b(7)*b(9)+9926706585600*c(6)*b(7)*b(9)+10356697014272*c(7)*b(7)*b(9)-4836139728896*c(3)*b(8)*b(9)-13268087218176*c(4)*b(8)*b(9)-26253494345728*c(5)*b(8)*b(9)-37688865693696*c(6)*b(8)*b(9)-62098548449280*c(7)*b(8)*b(9)+5724262957056*c(3)*b(9)^2+12432633880576*c(4)*b(9)^2+21313760649216*c(5)*b(9)^2+40583693115392*c(6)*b(9)^2+49061091631104*c(7)*b(9)^2-288415680*c(4)*a(9)-24505135040*c(5)*a(9)-2018909760*c(6)*a(9)-62843381440*c(7)*a(9)+290106740*c(4)+2680249145*c(5)+867158635*c(6)+7093159885*c(7),
605181132800*c(5)*b(5)*b(9)+581338333184*c(3)*b(6)*b(9)+1715498115072*c(4)*b(6)*b(9)+5218022744064*c(5)*b(6)*b(9)+6218946273280*c(6)*b(6)*b(9)+8349355499520*c(7)*b(6)*b(9)-2825075294208*c(3)*b(7)*b(9)-7979438202880*c(4)*b(7)*b(9)-11832001929216*c(5)*b(7)*b(9)-23546034118656*c(6)*b(7)*b(9)-37069723443200*c(7)*b(7)*b(9)+6794287202304*c(3)*b(8)*b(9)+17358168121344*c(4)*b(8)*b(9)+38324792418304*c(5)*b(8)*b(9)+54970194714624*c(6)*b(8)*b(9)+76372092002304*c(7)*b(8)*b(9)-14087062814720*c(3)*b(9)^2-35837620740096*c(4)*b(9)^2-58999032078336*c(5)*b(9)^2-104542017642496*c(6)*b(9)^2-159757773643776*c(7)*b(9)^2-22525947200*c(4)*a(9)+3341822400*c(5)*a(9)+7797585600*c(6)*a(9)-137932096960*c(7)*a(9)+258561275*c(3)+2463775475*c(4)-365511825*c(5)+814159843*c(6)+12544299439*c(7),
2354790400*c(4)*b(5)*b(9)+10846732288*c(3)*b(6)*b(9)+39529390080*c(4)*b(6)*b(9)+67209650176*c(5)*b(6)*b(9)+107941076992*c(6)*b(6)*b(9)+161723670528*c(7)*b(6)*b(9)-14727315456*c(3)*b(7)*b(9)-19432005632*c(4)*b(7)*b(9)-49435926528*c(5)*b(7)*b(9)-81416708096*c(6)*b(7)*b(9)-115374350336*c(7)*b(7)*b(9)+53647245312*c(3)*b(8)*b(9)+169236078592*c(4)*b(8)*b(9)+301098262528*c(5)*b(8)*b(9)+484029407232*c(6)*b(8)*b(9)+718029512704*c(7)*b(8)*b(9)-67163701248*c(3)*b(9)^2-113499316224*c(4)*b(9)^2-236151824384*c(5)*b(9)^2-375801208832*c(6)*b(9)^2-532447469568*c(7)*b(9)^2-91984000*c(3)*a(9)+2936640*c(4)*a(9)+8809920*c(5)*a(9)+20556480*c(6)*a(9)+284119360*c(7)*a(9)+7042525*c(3)-6357645*c(4)-11024335*c(5)-20029492*c(6)-55114906*c(7),
2354790400*c(3)*b(5)*b(9)+13360513024*c(3)*b(6)*b(9)+21318393856*c(4)*b(6)*b(9)+38002384896*c(5)*b(6)*b(9)+63487664128*c(6)*b(6)*b(9)+95419441152*c(7)*b(6)*b(9)+20943962112*c(3)*b(7)*b(9)+34031706112*c(4)*b(7)*b(9)+62811136000*c(5)*b(7)*b(9)+107507785728*c(6)*b(7)*b(9)+168121655296*c(7)*b(7)*b(9)+27545927680*c(3)*b(8)*b(9)+33464279040*c(4)*b(8)*b(9)+59373051904*c(5)*b(8)*b(9)+105798492160*c(6)*b(8)*b(9)+172740599808*c(7)*b(8)*b(9)+67163701248*c(3)*b(9)^2+124048777216*c(4)*b(9)^2+226921046016*c(5)*b(9)^2+383053963264*c(6)*b(9)^2+592447528960*c(7)*b(9)^2+275952000*c(3)*a(9)+548967360*c(4)*a(9)+911030080*c(5)*a(9)+1359203520*c(6)*a(9)+2317188160*c(7)*a(9)-27164025*c(3)-51994705*c(4)-84552790*c(5)-129151309*c(6)-211937642*c(7),
252435266764800*b(6)*b(7)*b(8)+757305800294400*b(7)^2*b(8)+4537320138752000*b(5)*b(7)*b(9)+12544775584972800*b(6)*b(7)*b(9)+24022366338662400*b(7)^2*b(9)-12151741089546240*b(5)*b(8)*b(9)-27945801174581248*b(6)*b(8)*b(9)+7743769217662976*b(7)*b(8)*b(9)+31233432460410880*b(5)*b(9)^2+71884379748335616*b(6)*b(9)^2+157264226217771008*b(7)*b(9)^2-534316982789799936*b(8)*b(9)^2+1508027319332339712*b(9)^3+71269165296000*b(5)*a(9)-4389416218880*b(6)*a(9)+368392992312960*b(7)*a(9)-78727917625*b(5)+11342600052560*b(6)-27406828718045*b(7)+24232694102022*b(8)-111691910584674*b(9),
210362722304000*b(5)*b(7)*b(8)-631088166912000*b(7)^2*b(8)-12347244154880000*b(5)*b(7)*b(9)-34343290156646400*b(6)*b(7)*b(9)-65988138005299200*b(7)^2*b(9)+29445663939543040*b(5)*b(8)*b(9)+67719848129855488*b(6)*b(8)*b(9)-10550429248045056*b(7)*b(8)*b(9)-75094864727572480*b(5)*b(9)^2-172850017945092096*b(6)*b(9)^2-434265954658254848*b(7)*b(9)^2+1300981949396975616*b(8)*b(9)^2-3668453147017347072*b(9)^3-171146253376000*b(5)*a(9)+58600159681280*b(6)*a(9)-999110713429760*b(7)*a(9)+77867617625*b(5)-29806506592310*b(6)+71372716080295*b(7)-61010441629032*b(8)+284201722862694*b(9),
161897755611368048285058858606659394626110490721695669162977078991814988279288832802425843542878733142883367560104755200000*c(5)*b(7)*b(8)-200315116467392416220033029623844100514021678722646486768285355972668587103383576529255903458829214166239575804263006208000*c(6)*b(7)*b(8)-964241885912280727370297702968271037287319798754071548038167959202519161321598049295087800147598627222889192363076583424000*c(7)*b(7)*b(8)+11300781863453607140439404306114709873344158765685032099277897876905095685411131257575880732803688008606555058958458461184000*c(3)*b(6)*b(9)+32599232371869054237300116897099571721477614118049121101415494218008443209963489100536082126648226661119296156978926662615040*c(4)*b(6)*b(9)+66404213940582976015621082947207537534266832886653385282578531464388958618912632195846656900604957857768986629770051078635520*c(5)*b(6)*b(9)+115455052860255684042727215629680457433335418497355296422632929032227883673099411479120525304685630825109415047305870047150080*c(6)*b(6)*b(9)+181071565663939357388365485858284210050172180120897491501995911410207931904311939408578272797152848009132275309148840548638720*c(7)*b(6)*b(9)+41746104712638051842258870434740120597261337449425683282430044322392195031646355845400731774382145203924186639212355924992000*c(3)*b(7)*b(9)+132519315649992958501685239350996034526648799979651402913096541435249387370137718894802314231886881081519791599656456543109120*c(4)*b(7)*b(9)+274816741317369725153806822094399493167082426139003940787812809339815223706262747986538052421250862113600954903468720790978560*c(5)*b(7)*b(9)+479951839904863374401450752580071756513561221189034390268429114728768806512429902028948945633431257476773435848039948773130240*c(6)*b(7)*b(9)+755630716214186183398449918739892956517170156070293379385926876958364808826608859168483564594346369283489922583335018605404160*c(7)*b(7)*b(9)-57117718258422319132701135092222425846348798274762522302926071123712363484746135885654008537070732618465419312108814186209280*c(3)*b(8)*b(9)-130267890612139175351260404712634158051147823600148475676156105028893544406005728647826691552846219327836410392794070541631488*c(4)*b(8)*b(9)-233757599518512268360865808262079002783751064981211300001455906655886845458912330779108576642861711040677201084890186932404224*c(5)*b(8)*b(9)-350435594633089798364759337341706505987289656325460107180978547789544502391908728282391088007587044041070076675048911542059008*c(6)*b(8)*b(9)-458693154594874347815555510593487527544937611983849968954564046806493342149537429430103101334836229155885334597483533573693440*c(7)*b(8)*b(9)+244197073742513145529934893873116466968003733018842633510769487897991681141011586084840742401496738577167151790396570979983360*c(3)*b(9)^2+626940745030668219779863587422004997618470005993158027760545791267676122248801705420208300269018104457158681031950024429633536*c(4)*b(9)^2+1228602651244709158823335749761049451538986786378707915802176778481629909410831336253592705512762344342098473029741404262678528*c(5)*b(9)^2+2051304747308187883166794071433361994978730784142526275504518131162012649698521738924079716145541098049242739701972374838214656*c(6)*b(9)^2+3133372821432489581874037572480114622903686823751542053815154742576077692864993062087911327494499672518403915296842055135109120*c(7)*b(9)^2+72933220275921079653129848604664825245370326644342435664785244169912923124691366500753140199839571895966373313725190696000*c(3)*a(9)-482169026379367659857514519066173078379181049243958176883967414900984248470411167797628726535505835115853654900581856070400*c(4)*a(9)-477919258507536200534059816704016812064110694790442949977597687765561015355679475132921251036938666887054396358144422179200*c(5)*a(9)+238942011758678668464462674030800537743395758159186679650482664542280501833752388538400618548841087710035730622966212750080*c(6)*a(9)+3651012465021273375880576742111459750675881344242457922593456049482491578494645550671406283714007602008304728251756284226240*c(7)*a(9)+630244403600630992101415347980293614627911256053197348248761987825741885963638225901277273265063647513185917885700205125*c(3)+22253992093976926159152953233550859953119676696161502157807549014223038406784578625743428938519490253981284610679570021700*c(4)-811567687523953625522850740872474094402712080296638690815541115919427465080701653466677767384935912317740209919547917150*c(5)-89546021794879633642218125480453218869532622127902719996868899581680851766024708126891889684012262086175293611788737083980*c(6)-365786327489271878156904868090696679043517641475254039931260108874337455331285260908387693011858438700866184550673398476465*c(7),
53965918537122682761686286202219798208703496907231889720992359663938329426429610934141947847626244380961122520034918400000*c(4)*b(7)*b(8)+493311634431506700846547700979465860734239661697286461190613216767058469976229951103239699595793127922425703957817950208000*c(6)*b(7)*b(8)+1424267760536944013630858529497972729336016016053743495574365031670299354124956054821769463373231311950299837060466868224000*c(7)*b(7)*b(8)-10472438152947636080855190123448010734640084677317864056928395308643094656091085919700425789643158593398140755056777104384000*c(3)*b(6)*b(9)-30203731117846281453777621659083300713116319510070183279868810977604350386549819623382328737270168732530215682924287744983040*c(4)*b(6)*b(9)-61596495186520414846769091185946340194628172129077645080684304400554603651610803651180808251229644298839042808974571440619520*c(5)*b(6)*b(9)-107266791262365279299074996411012309722694451614989828822503496250713370530648041580646030703513708048538042492653433857966080*c(6)*b(6)*b(9)-168441525835926696417774584452512291024813162645562798016817506556485792899508945845774222623857647479272760193955990409502720*c(7)*b(6)*b(9)-41089677905196379919516498932340395562766186334059470676450287796407962549542283508317848431715895032252682760413247726592000*c(3)*b(7)*b(9)-130250281003330190444309528241717710699534035022016199525203452694925752654809985993875383008576935614867940272701441422213120*c(4)*b(7)*b(9)-269852630405219573385771047636708861563171492088266320506104583923375522393870496943246108589277253298200110743393905556930560*c(5)*b(7)*b(9)-470704520338001124543796167859034911315893114307955862995481600513778707174544179190399869552340040557558465024779823232778240*c(6)*b(7)*b(9)-740097180614476944910979893551762241275865882723538551666190196562441521068854832509274012262272011584805346237303923061596160*c(7)*b(7)*b(9)+58563241490625636827527784679623569156855327451384667248674970506500627072129628553955569144604256599785572284835074199265280*c(3)*b(8)*b(9)+135638682555325331730035606935463377663627820205137003313781507737353482166718671333239536187813781418624235464219134254809088*c(4)*b(8)*b(9)+244886383269239659695608813652448536543683921536251973820886946270986684081253473563644911872325818088770488815540586415489024*c(5)*b(8)*b(9)+369910100258639705528013392812790861378535530346940832113499990760238859552198478304207971193034491088601998440792639883460608*c(6)*b(8)*b(9)+490381860497281819911001804944237963214812220818093536821802322852751999925518181558673266294429954765960318144886247073341440*c(7)*b(8)*b(9)-241650798342538657808572379230322526540521135962820996708888241009504034731791078622970399921665223933200871905968124339855360*c(3)*b(9)^2-622232971347296432749413166288499274066597571879426022045434055581995019008421007511608012174406376639353429290187459650420736*c(4)*b(9)^2-1218686217387215159802977067483725201319353644757551822555122682961986243382307405512642095645812377534491308310639581045424128*c(5)*b(9)^2-2032874518816252784182533554396612691833630190063954265118613958294361113601486944208532404611275448888063407176576709060345856*c(6)*b(9)^2-3101551339922806423316701690243767210291383092562885489788635767929657512418711466890676505381164882968326808420769785583493120*c(7)*b(9)^2-70242625543491986745579298753940861788338814141593657008705687092325769090503053647123145860067306435363278605586779896000*c(3)*a(9)+457574832577249676202456121508482607979922828575706077310611858549798267803035558924256954415682184997039766526492791750400*c(4)*a(9)+442296539058592493404545377193555953520424495185304507092391805622187878926388613891458409151239328288017626949623908819200*c(5)*a(9)-253348067560143191934615496256197653843657562624810887916880186575851930454229762976670452225654772940432397791169166366080*c(6)*a(9)-3504971927253919340247296661409678020943841867408213535271201299397689046528337540242657403383350798911066584020336385074240*c(7)*a(9)-598111824001804224135228523225155983639248256463875075620639069146850306399383389956560533961293146954748250904687323875*c(3)-21239361676250061889974813102052339519258902631229963003769896405782413588573602500994704981495912430283754858603199461700*c(4)+1172123168244657946386184155472277922195721046098505286153674328896950592865926774934471160486108096573316775709899890900*c(5)+86354386151338331687173182851572499924044036641961647587552314707883571940273062062837966109236484267398859129026660811230*c(6)+349530242453095508216722942578393752038728049658467317870431226348428703308372519726802901214583897369799837050498465800715*c(7),
53965918537122682761686286202219798208703496907231889720992359663938329426429610934141947847626244380961122520034918400000*c(3)*b(7)*b(8)-549878918407191718153131360992947785402229835730412872023562636144398233011321934940272999609304771562929927458055651328000*c(6)*b(7)*b(8)-1561290109040607410595295026539607977285365111097722114697325096374734244402247677043232771781363855051995035445742813184000*c(7)*b(7)*b(8)+9016904663821623202006197766226099986793412218432717071591517082165018956077114691147183830380024309353857359833360052224000*c(3)*b(6)*b(9)+25995459866523439731393139735427081911427927723460309578286401965671419849883735555049244947700433638238675681214574043504640*c(4)*b(6)*b(9)+53161947341541397421863092263727920882373214821105768745529372534038853996947454552104580348442395771274402061307080813240320*c(5)*b(6)*b(9)+92926905640227204155515629121736895708507654991102491084991635360240683062469809824854874229299095252006549609970381534945280*c(6)*b(6)*b(9)+146363147741229411614949435729626544899772935371473427251013509927360405103833662890764148901305142098278120376341000107499520*c(7)*b(6)*b(9)+40033555707490310859498819243380969259994638267481417019514284849038817905263713927325441430669900435248681621910146035712000*c(3)*b(7)*b(9)+126617747229948415316608605898924661032181217418511490463320197300141895085341550073120003661612689830681223486788994344017920*c(4)*b(7)*b(9)+261915349194554622913165092603989450823744965749114444597661783841465360314776371609960689763600899535151431516396395036712960*c(5)*b(7)*b(9)+455890997311073596332425916367005961251594357076417448440402825951488014053374937245321515703138265981961785399519667397795840*c(6)*b(7)*b(9)+715146587332388438762051553831651070596609895488156610770968312153453654588170512074940613831655077809970440531073023738306560*c(7)*b(7)*b(9)-62162637804995169417590583481406078137916475891726542794098388909940138795644844048210823619282621527772357565355688893972480*c(3)*b(8)*b(9)-147909741567988650856003762076942765428163228951327302241135861337748793184497075642121611207983927035564603795347973750366208*c(4)*b(8)*b(9)-269837284747979194279110610753442981092019264159981472017282508258667379599318710624971980520778508213353177638774985091702784*c(5)*b(8)*b(9)-412816779500341692704552139111875334338848447603851096772369543455433183720767583095716401784988832416495188340511878755606528*c(6)*b(8)*b(9)-558650210776757217830616329606703859326161750733402646903150361717914653240458928898873076169779401634640328916486919055319040*c(7)*b(8)*b(9)+240124404470860557269865815600976900325881834571289333945980813104074603482382732135442787088069379449103258736550216104181760*c(3)*b(9)^2+621877414877432676571464442223194429374948618723148723295013537948493704834116686561413481847373277548505907220068302234853376*c(4)*b(9)^2+1216522347089861182736611541217669922678662421262395610836780970150372081792021489447208337350158980572968918424175469908942848*c(5)*b(9)^2+2025529213250570592059487403555315108584781657509412607852782416214599132149236420555513131887787310701885272887211521398071296*c(6)*b(9)^2+3083040383712303869053784467391083566298910791674648316660853129263572538218957096348618955099738912698674590967758691003473920*c(7)*b(9)^2+65721997368461138023241886651396459986404652956019508063962634372303815318391917750011840621453754729413284841130899936000*c(3)*a(9)-416660545163034322878459023013652547484814636101478429553696487333952029170750713594706158079403733055170160429437842766400*c(4)*a(9)-383127347485298952712881079510916526686585312813294499637917901054188666238020047373811219995447473399285988806933801387200*c(5)*a(9)+277275060931513888154216259816104617040508454491592816993782517348604288013408314958767164663661859278734345122805463945280*c(6)*a(9)+3262522988442701385246306250093133376100071444252418531361564308366890997658989753434852878500267090843182258710452274811840*c(7)*a(9)+548179574497772475307631459544036559631492362992794163616398858411449005169132739281777904904427133700135619498065757000*c(3)+19558416892826555090311942304337252973500557265062284342741032682596851612326921210337041252102503435957900235939474686575*c(4)-1747177794027212578074227592037406971363328456678623862418886603887739143136155470338026188802370983896631218654709006275*c(5)-80994115774221013859741005610259825594284410280835291158572469379609726635267917906550095011876752262475580057382324927055*c(6)-322418218686760555412705561419591974911790294228259709219206088811397382296793280707037111184117788710965115715640746953565*c(7),
42072544460800*b(6)^2*b(8)-378652900147200*b(7)^2*b(8)+7979862581248000*b(5)*b(7)*b(9)+24626744726323200*b(6)*b(7)*b(9)+49940646435225600*b(7)^2*b(9)-24206963047464960*b(5)*b(8)*b(9)-66711564967247872*b(6)*b(8)*b(9)-59748095124340736*b(7)*b(8)*b(9)+61485700309483520*b(5)*b(9)^2+176084625356980224*b(6)*b(9)^2+504960035821453312*b(7)*b(9)^2-1717710782448943104*b(8)*b(9)^2+4840583509433991168*b(9)^3-56424327456000*b(5)*a(9)-561159160728320*b(6)*a(9)+494055295165440*b(7)*a(9)+2888892365625*b(3)+8820751356375*b(4)+21598568173000*b(5)+57489618147290*b(6)-19405104849655*b(7)+188474927993583*b(8)-289605699610836*b(9),
631088166912000*b(5)*b(6)*b(8)+5679793502208000*b(7)^2*b(8)-440787634872320000*b(5)*b(7)*b(9)-1334539687007846400*b(6)*b(7)*b(9)-2681256156406579200*b(7)^2*b(9)+1315608616058634240*b(5)*b(8)*b(9)+3597366163829014528*b(6)*b(8)*b(9)+2655898333355966464*b(7)*b(8)*b(9)-3340582156082298880*b(5)*b(9)^2-9370467147401035776*b(6)*b(9)^2-25740857143650418688*b(7)*b(9)^2+87928100481004240896*b(8)*b(9)^2-247281038876508536832*b(9)^3+1289167652304000*b(5)*a(9)+25308982976103680*b(6)*a(9)-28941098961730560*b(7)*a(9)-115555694625000*b(3)-354409315414875*b(4)-882261505923875*b(5)-2655663508531985*b(6)+1580626457655770*b(7)-8699404179242217*b(8)+15493308207429339*b(9),
17132037630832597702122630540387237526572538700708536419362653861567723627437971725124427888135315676495594450804736000*c(7)*b(6)*b(8)-9777458177340257759873982811967310803810475704365512350357554663250823392295647946307266967870969057009716497350656000*c(6)*b(7)*b(8)+26115696782477621247224388290210509392943409190174196663254144387368852958206580631012072473729833035137392716554240000*c(7)*b(7)*b(8)+106924560633803184788393023112755478044200431203656353513668307856501077742474364935723884706346747166678295268319232000*c(3)*b(6)*b(9)+304379699874996122999028178662533067509262526162883634299622784125628614636640040095032825301113322969578906832351764480*c(4)*b(6)*b(9)+623371649258794029360490998238355002383613995724848853246967077752362430417203608803039651613601160954068886409168650240*c(5)*b(6)*b(9)+1097928441432779104426623127687750197836620359877411610310551064429239848266996074633708192056210499096222263171752181760*c(6)*b(6)*b(9)+1682395941907440150233318871178925599554391861078054157475930964504828214169487703887686094079876505469642629171324887040*c(7)*b(6)*b(9)+768974694108389513072527437513086161231320577396760374818414748369316059313164519245629575191524044941409968065212416000*c(3)*b(7)*b(9)+2357276446868785446259738881646678570838805455901300506953144659532587796553313630472062603674162144320717984518587965440*c(4)*b(7)*b(9)+4796828404934578006612251197459078862232529808597773918931873261657216847958980090406047180610211892137823898034283806720*c(5)*b(7)*b(9)+8232847301538425293789518457286584288371404624269247263098658572859700903773118497129123451038492189709960530581062369280*c(6)*b(7)*b(9)+12571591324129604435561036875922501375502832509379336486314109533270105175953688316158519302019631739845843328413583237120*c(7)*b(7)*b(9)-1309122703071772379083275067735563700301549057161492838057898219784156311315701544493618702419237115919566424908075868160*c(3)*b(8)*b(9)-3215667710192249365771058722841991644158312643384019150374214307403147496929195887519174373230022849074862203306394484736*c(4)*b(8)*b(9)-6097416828278251331001780711356929765053814542021627655994017812005407032782781661224771437745409726660598707836062588928*c(5)*b(8)*b(9)-9750412158997526710908902491015744675327193072446001306282711455408471682706570237511528605558944367951304292494511333376*c(6)*b(8)*b(9)-13125235534075953143677878154649520056015975743560998259509009034692240737081437702258810896409490377789218205879797473280*c(7)*b(8)*b(9)+4401002533277245625035844802418428687998653485227680267169519358024522407860661133318833366394446729713750792511208529920*c(3)*b(9)^2+11459623247250177922316942935444148683931673748452477385328277624360927217054396817712745069776227319721618584017414356992*c(4)*b(9)^2+22798724854471043060132186787612010871549098902607731444013034648891270653361985277224003006714260127097824229574950281216*c(5)*b(9)^2+38404357338849926847325472465156768365771529279747382031895281630041123421098762742968747517816886078485720518096725368832*c(6)*b(9)^2+56209802948569910034319705154088990490360320936697109738900294836952962143819833003228526042536898550675172928939094794240*c(7)*b(9)^2+960512392440635529208807625069384401084556419174398730129528948631253672269980139010115970468731385310991095686712000*c(3)*a(9)-7289245962057931216620389180415891196544664721547057690877417514458687166096164710850767081667090934595526183777804800*c(4)*a(9)-5129378444944827692441544961222258326241426844677720521776722652776469875436720027856066884299193765013903326203070400*c(5)*a(9)+10604865240521469040143648657832461300344013748029129305168357840476324221246412901352259936419325579403857062037789760*c(6)*a(9)+41678266169748167382976259591676499774357312185919204615802946375842893199266560099228390192610993354563733858376329280*c(7)*a(9)-1431795793588541251807551554481019153866317211495118842258665569246052292274616018359253248950182470960714365765375*c(3)+265401109043009975042022653473424681825852443392690629606983773193016744574869254685393564293168576353055743385738400*c(4)-169290933449077965904378848411978478180291907002990759579062564622307300732417876539014619668660076710914672568581175*c(5)-1482641845940420015500521480574767396488855537769750370220965560878454909164773631834475270444044401953053625901244185*c(6)-4569391483213978972683003107479155388934227113309158425210244714257134540600863672482869775071753098671328666593718855*c(7),
34264075261665195404245261080774475053145077401417072838725307723135447254875943450248855776270631352991188901609472000*c(6)*b(6)*b(8)+216209196150709524819881941484236752078500045101021751978931156419525748842571192240909106217128362464318343335657472000*c(6)*b(7)*b(8)+293248833467579340299234049837063537888477335239460991106686167126202426522776868222038403235366439689721658447495168000*c(7)*b(7)*b(8)-1445237498253325632766734757439912728013316456285536388370603213570879048676145627602160394012285512430146051917100032000*c(3)*b(6)*b(9)-4132816496190377787559541241041815790908603824828329802200778698299776023235619200249901447154993932326134754706274836480*c(4)*b(6)*b(9)-8393295539130914147934976980615055037427379441106550405138871769900081321617914395309794112244968526617691557223877386240*c(5)*b(6)*b(9)-14810822724751444011098137527413633941335279824274216190878265258693223001812206693375612011765030123248760208145450229760*c(6)*b(6)*b(9)-23541782924373320014426042245805963081516422420780553417098404602263196777361436407374182385042103492307294857587198935040*c(7)*b(6)*b(9)-7970632271169300145851005124859981366038701443973627633334444555034856480367266220547563548058654898570008531087522816000*c(3)*b(7)*b(9)-24691829425927140570787114210063200992580581902680281720925736286751032836698679599726621544203763616029570663726353981440*c(4)*b(7)*b(9)-50446568394915195544305819356780196663313623234016852173067351951603616378385018794932510849115921577743233863570096414720*c(5)*b(7)*b(9)-87487625227100177964811959174562050959331880754541686774222653986943645373165513746396776012948740367067055161104486113280*c(6)*b(7)*b(9)-136785506563773093695865347984743581841159114452220137753712276671920284208980153144938971464535136763095386580087931781120*c(7)*b(7)*b(9)+12320066478688790503802674156905205063535566507858906789194011065355552919032008765577110735163907050870413210915756892160*c(3)*b(8)*b(9)+29350763273179774539578793448797375473551667620182644299484994616599634524168161439559741431736141492196470806396186075136*c(4)*b(8)*b(9)+55444023238027468731214501090942017133927959559044813279913134670616597689408773283109874622067112514934258815642005168128*c(5)*b(8)*b(9)+89303026419048055135898149288213750155646790376854636399797349850618773674217742992118629095967536390666921310663035723776*c(6)*b(8)*b(9)+120807952046332594693395885646958962302622086689649209320837028565779078386743763747225034909922503000904371321963950817280*c(7)*b(8)*b(9)-44903594347230657308572993043080124689896550688356988018562217113961440693696452041156599889287596419051531717375169617920*c(3)*b(9)^2-115468029481305492219220981574626227340463516979694678770120713247515438064181432207472694277515294194889904975951055265792*c(4)*b(9)^2-229277815377292046799768031144008594941800577713844662210114124915803739911308154156448174523974050470002454943407477743616*c(5)*b(9)^2-391873682637775437697930327811498673601826734428119058150928843425799039648642379989657150859098433542533678535995587141632*c(6)*b(9)^2-596168831179347043543572491224568762143427603314663378132800107435197453239183602931538044427345429308163381971369553674240*c(7)*b(9)^2-12278856189673309613594042667698211368367414695641320754140548466431513713772142475079637687535423775061433281653512000*c(3)*a(9)+92557773286341684997525238661694797139512723326426223214750869635956349797894909367016092566111770580920280184701524800*c(4)*a(9)+124960301474612029754756290460302480096330036425474352583922713730080119501118637024846180981565754824863831510717630400*c(5)*a(9)-50700756569489696951455693758745594219939730843261957699261059421504063849377877720917178693104942312164234305587053760*c(6)*a(9)-811736047087343166871844010163932323609441187050814782321375417840199308395752732332250936957164166521544029043595121280*c(7)*a(9)+140974997995966899993970972176057750390287418174777712739610110719565132433956619466539794726032430463900584222290375*c(3)-3169770073505652634704461419919018267452460709264380981174072008619140476019330946108446265889982832512646827351170275*c(4)-647430366611614067618285319972729571178710364119540713089438550008964127472037558495622998908295845762678923541773825*c(5)+13804290920416776616302089097203480326469749771876384765471679885537414798294553042314118083355146920109826595846578185*c(6)+67506071520899198079009144301737504902325800311019698962559348353595438538197328779794432287400766362813847927845775230*c(7),
53965918537122682761686286202219798208703496907231889720992359663938329426429610934141947847626244380961122520034918400000*c(5)*b(6)*b(8)-267678819393650394818677530897269504951017254456796480328418633958837879102154811799976942143486438402715620433053089792000*c(6)*b(7)*b(8)-245794630833182759236992387085335039034054756814903843210573315184647482782862736759729390215663048667728252550599704576000*c(7)*b(7)*b(8)-5707066424787839537202983193127998803301187439792897984839343326383054968280701373233233697676623755007078021928165853184000*c(3)*b(6)*b(9)-16650298402341416861632880754253339994873329908416813421913430902969779232533268252997051292588006726165947698049313683415040*c(4)*b(6)*b(9)-34218568627577871820626465407572996731078334194756830250736110827388866206951345103532121411089432212291902312443645625835520*c(5)*b(6)*b(9)-58550934311221240282225603242194050939318549246042410127273019388136966432992494624126386294006997753395348671832967826350080*c(6)*b(6)*b(9)-89014377750205238134927109258523790508513426591022890830897506439117011368254967276336187872808390383577001012684671639838720*c(7)*b(6)*b(9)-7293831030033241673450072996378266891048256313377772216192831478548005030436768181285841607738900876155565793563377620992000*c(3)*b(7)*b(9)-26283180942098846497707711481436099165333665447179817335237593441082626833196932862706421677813872793951259991326034757509120*c(4)*b(7)*b(9)-59029501864932843627089679971244947803882148017299229488676778870699891205125833171647156696585060807128797322517553328578560*c(5)*b(7)*b(9)-106980919246665233307733132842730479063179492412189207209006720687691740646283162437488650604766115414683268114998552830730240*c(6)*b(7)*b(9)-169916299719248088078992913294044545887814090029168980518726841245089572892043613415053134724617007883366779919253642503004160*c(7)*b(7)*b(9)+1671858480166358341841576973323629544681736737021430886561994026543785634497539049471708892519828157911202143893663517409280*c(3)*b(8)*b(9)-2949016651990991666165743924292357569418541066040428480166787573448143478922849399883959834163732705552073633830955450048512*c(4)*b(8)*b(9)-15892939058616840535814495547059142930503796670255703552175571917633702949338123554509388502798852734749340606925831023435776*c(5)*b(8)*b(9)-49128588038833726605379476877658468618532140461556292420336426101788325617388896515055002190413763641206765977434632260820992*c(6)*b(8)*b(9)-91042625132999454378822558941548644475940824426857363915333692427441981907975385929790813778955897868378604272993373792706560*c(7)*b(8)*b(9)-49074422985155320798558146456630520483728877305641309382489163522085987057735921410778535064020366314852519691501653578383360*c(3)*b(9)^2-125498745690111401215708278640535978377620176717151818389897862369600038506413024528871016810954159228922545015705927851073536*c(4)*b(9)^2-243651995059214914341636738504799549973092437410298413711312921215354083267252055550987248186552320796249829825912514565398528*c(5)*b(9)^2-379070654094721014640990150675937335458243533077749765787335393761103210615651626319006878844610856547916787663894241626054656*c(6)*b(9)^2-560278521284737755691209253933004123788457956933935871280324993311290010732689304855885116698670870456558593771220035192709120*c(7)*b(9)^2-6411497897896296543560020893277217177109317655444299900902052795158915217160438988478877270344924119021953464882905696000*c(3)*a(9)+137991078253212001486869973005299831387667971618553203241777542551094565559278668508562782178332375438642552766818495070400*c(4)*a(9)-53847658120504976867692764784912847577341591197334618126309487391839974403124353196344110599316883762910293375477860820800*c(5)*a(9)-98225658066787635193834594604493657034314602303796835094094328374584850560306936688666454540663998830230417916437933750080*c(6)*a(9)+149224963819258572552230937757413875643327805224738351743970009181272190087190009205629398202423255514952486726893465773760*c(7)*a(9)-1710944799358944931357267315389979744372069337265380590947732359745796419678010712798526798593018779630342749939732939500*c(3)-10066792946825577229092891269157991025923777515650737791856881216270145765151430300839436281097222421890208677448352662325*c(4)+5248553636404011424500737291832203155142694271137345686177061709563664941820917653842883065065134150188709587831816245275*c(5)+35212959051557321973014131954486769959685769406997548409587032349843527785291802534549717685539917918075968412247159505855*c(6)+65613977299393908326048040451721860341578245844093131508904870854812989710310768290323842998514471417905303025444095695215*c(7),
17988639512374227587228762067406599402901165635743963240330786554646109808809870311380649282542081460320374173344972800000*c(4)*b(6)*b(8)-251172928177012084116522032175415004023738865944779628658513687342221895416919875330325106361456582348479130120900804608000*c(6)*b(7)*b(8)-798198373235228032144353070784167096549104044685510323408646389589006842900595638948748179251337102386733724397894631424000*c(7)*b(7)*b(8)+7894519884957410309171172411444671364570697267986528974941249530581340200227813153217295870155964385575817216828179805184000*c(3)*b(6)*b(9)+22811707802459149043779317544006791186536558788065585695430167250091888260112146568463251106373343251451685351664603462615040*c(4)*b(6)*b(9)+46635441916755223063313400505850317107938364774745575277436780435921582842102210998857571909313545696750179828221787603435520*c(5)*b(6)*b(9)+80748319893822013903278223738942255602231753461914410245605877824917388189175755782336097374009095251888733449664670277550080*c(6)*b(6)*b(9)+125294399008930706388222112997483213453342859506492898451189133226223946507941064025548995681075639346611274419270869707038720*c(7)*b(6)*b(9)+22368306033393799481819699272541136385215579900794073695530751205121908536193592008453095253018630836827185318873728596992000*c(3)*b(7)*b(9)+72532988480734150998307943603507104516180930184554762019103059639592888531742466215737694583116383589969441555813727531909120*c(4)*b(7)*b(9)+152821685030795670029580068041136405174129778678436017463883700846253503472774605311387539345844573398280792764552538211778560*c(5)*b(7)*b(9)+269273620686256433738006353989546832344941737745889539951252563593803566392769137556882450283720154150643887234762271973130240*c(6)*b(7)*b(9)+424861119881177147266147622333341659759402438515913086037593701332406384221243407991968211413001708696247510511498506656604160*c(7)*b(7)*b(9)-27576624448032675791000194311464419187590315341647235198745092104523189564320280860484399212414476909158785751063527120609280*c(3)*b(8)*b(9)-61312961319821106103980937575466648675951245356783422262279312609505571521758067152772344423031424138422036339677810302271488*c(4)*b(8)*b(9)-107402270495960391158965411622338232865622977680651367805058930934868814649351995189830227844904248467397125720594356127924224*c(5)*b(8)*b(9)-153238462948781086744413566501563227345114264629009337968177867276821683741647132854443255325126109153539978250993265856299008*c(6)*b(8)*b(9)-192159387204554289472205750716217474995559773290322921569824087008684158636746560866388746709249597090680698041579684204093440*c(7)*b(8)*b(9)+137070448063544010795680978428549025058773880228796009360215313731528665658581134870657968762797715206792496559056160560783360*c(3)*b(9)^2+355799956297772157796418015680591496028489177014663476185281863778603443098414162202103223898298416393760681960779395688513536*c(4)*b(9)^2+701441178619346690540838301113006332267554098500662433846753885269365818321005465246902715491250701456935466485564106250518528*c(5)*b(9)^2+1165984141167869422769846817260646943754879123911844980301140072945342701112145529397428519458762502857337234031685234045894656*c(6)*b(9)^2+1774091305856134218773499881432240020194087478189971411111657686486250782512283816934210099653275196971183917742871059832709120*c(7)*b(9)^2+30399727814683043743396553227202380744760884772031810244830429186418023560148829701524148495767119606108946847417820696000*c(3)*a(9)-303635967604541002036942253259053460992442509224335966946813882576468298018383688737204152466073736006290916573832254070400*c(4)*a(9)-212762421994915026618557847930437360519357539411010185790610363742483082439528024439596620900149236846377927978823216179200*c(5)*a(9)+176191987164317210372816160330128488695192482680170872789278700350008741483996791407330269734649124081281070382857289950080*c(6)*a(9)+1667995785016323569077916039799589211089737161357765350268727242929518683074002935998107838615893184647659519870379161826240*c(7)*a(9)+1154492913942104038799689167857359091970588982886325183245496270200711514510896223188943248130165044307488675629031298875*c(3)+15103449203784561461943812669248265395327767859375734904860319328376124930575975840883159267135519354009421288341619052950*c(4)-2597520108530255651029244692808805074193415041415041197495750335238567794670953075265696358972694857617908664898983323400*c(5)-57627405250423714495759507286437630370859257650665278498388231893096113826372034814436178389838139474063634657538110127730*c(6)-198872648125153170744867481104945632886370852912530274618992144579963305195148476122591882753189964618664404687264211388965*c(7),
17988639512374227587228762067406599402901165635743963240330786554646109808809870311380649282542081460320374173344972800000*c(3)*b(6)*b(8)+307740212152697101423105692188896928691729039977906039491463106719561658452011859167358406374968225988983353621138505728000*c(6)*b(7)*b(8)+935220721738891429108789567825802344498453139729488942531606454293441733177887261170211487659469645488428922783170576384000*c(7)*b(7)*b(8)-6506894805314755393004159910909173787064227329688039794835933075751700299574732860987480068070027693157130252565651994624000*c(3)*b(6)*b(9)-18645053492374529842991976900709187005545704611352544068868917879727437552808360217401929719155500631883294863745205629296640*c(4)*b(6)*b(9)-38042023261977705127822480038964641815316262018434069274083711847756720987295095246298712976056917210697810583582900081336320*c(5)*b(6)*b(9)-66036566652068012355975967258788336854120261213484595081320118101047162839678424424511522376413919913482329921685226561249280*c(6)*b(6)*b(9)-102787574260891330689905414077515405507073512783192620025934587170875093959162531990755930035535464916239076956733910375915520*c(7)*b(6)*b(9)-22504624435757746880682259008419717796928784042101669005350472663345431951596753585515412601064982030055581520190095910912000*c(3)*b(7)*b(9)-71728535464926896799913054203012887278281257909481734430279407866659840785179248548974332236130406908440871229220717786193920*c(4)*b(7)*b(9)-149551335077454950406260276113747887585290979552111781641651747418890033812906980276931079174845595749168197659675902351400960*c(5)*b(7)*b(9)-261654151430680705935820690693990153855318931464165400195340527989013596343760080626088652601426217897509798805809470086307840*c(6)*b(7)*b(9)-410826755403361763513376225212532666238102248228425141378065829256491416905446716103786446979236389327832790345934578325954560*c(7)*b(7)*b(9)+34571907804057162034179315166996157564298753292244381318474154946523099054127946175794653061970860465056051382319983177236480*c(3)*b(8)*b(9)+84243369210370706130538417621832223851291447381047130832853956553547490715917187187357590045844604233624463718581272956100608*c(4)*b(8)*b(9)+154771491178437605377233417458969179470560347372498467827252420293270924656914779450480790406826081175615125166822411271593984*c(5)*b(8)*b(9)+235880743662125686431391959326282621473116057766806463280839332059220033157666568048511745111564527200697600184058529123196928*c(6)*b(8)*b(9)+320954095632670124966866409929776234908152158220590935361026666754133150897947816546815052321833734882464980172801490051031040*c(7)*b(8)*b(9)-145312081784739444306303429028193261978618343096444512112011507319161664010113226973588263465739440269638675893126814460149760*c(3)*b(9)^2-386919273159395677932593263952663792404564520777993449399080939553089336250507429812377595339822094691917406037430639671730176*c(4)*b(9)^2-765106408181561876282037992973582436359042981370999738164983750257772139566219090864608812275348724308254301131785561545269248*c(5)*b(9)^2-1275498034919668357306373552293715142232824816345000180285757230423343050519645660005056671282518630625209488579867184263684096*c(6)*b(9)^2-1939698283918652023876965556124194964252132732599980676587957542399208604446283548712166047611627431506042606671758952383569920*c(7)*b(9)^2-29003959212429311713653118299808773139668548440760492455045592537069674871943435848461271616273279141580349389980564736000*c(3)*a(9)+263879096045632192996284004485534045068783764976055832642774378927299645177001218672954145802487308734455918472437350686400*c(4)*a(9)+170930717500202218058735983085262328917630065834187604797708433047060650642537811321226234493947276476384543515366917547200*c(5)*a(9)-232889201276698412887245425759756817539097424127994038781168312375595604465156573924454462292407082941105062656423867049280*c(6)*a(9)-1698207685120175300264048086641613795095390567668834928099918134686785799281634200464222314429048299830002103931292938123840*c(7)*a(9)-762779148665575151719625850644121552683258495975872113667701176735384657228455036446363767294580614022410823142247732000*c(3)-12725642212013194351326452561842854479443783882007492991713869226009755543482715799119753846552995803620440255656780515325*c(4)+3334923503898076685658712032672956195168609329805466344591238953631691826762989481993389990652074917824630760543672726275*c(5)+53294501751648222980773563982562189886660872004298717908125648625753810774745546553921633564246991612593750527495863051055*c(6)+182932481446530071583751481798437742495504590048940647932947800762921018547026848151021254676058499145759190720665697064315*c(7),
210362722304000*b(5)^2*b(8)-1682901778432000*b(7)^2*b(8)+466577612308480000*b(5)*b(7)*b(9)+1394861605719244800*b(6)*b(7)*b(9)+2784851980232294400*b(7)^2*b(9)-1316371741266247680*b(5)*b(8)*b(9)-3576125113340788736*b(6)*b(8)*b(9)-2252520721418682368*b(7)*b(8)*b(9)+3363138373472092160*b(5)*b(9)^2+9303969394677645312*b(6)*b(9)^2+25416448478845075456*b(7)*b(9)^2-85391445217396375552*b(8)*b(9)^2+240375216889459113984*b(9)^3-204147635328000*b(5)*a(9)-23000684663004160*b(6)*a(9)+31680944684574720*b(7)*a(9)+102189752613375*b(3)+315030502591000*b(4)+779998707767125*b(5)+2537471384171920*b(6)-1839850753603065*b(7)+8086599033695504*b(8)-15454266638336043*b(9),
513961128924977931063678916211617125797176161021256092580879615847031708823139151753732836644059470294867833524142080000*c(7)*b(5)*b(8)+782509965306496763432304364272901912203998269048464119168205687045495138128557419639223682195565691914272652442730496000*c(6)*b(7)*b(8)+481359993496623903954648674812387033394253814696496285645249321857570190823863842491032405121425759451691687216693248000*c(7)*b(7)*b(8)-9313314256128596442008952664453669123370725938258017486206342778256142529724208649143834423964765117537005725217931468800*c(3)*b(6)*b(9)-26625192302372479375605186605766540426815668001860860651014341057475751649422941886412647481945311231459116449265479393280*c(4)*b(6)*b(9)-54425276708294839731989468786325768719243461096226710515447010033396997435179505741459195775337145612684177113460542218240*c(5)*b(6)*b(9)-95348808219764014668672727837777380083278211623399643452488099534434555711837741049150944829418751042373284269180281282560*c(6)*b(6)*b(9)-144953727842970558480704808446421018127646903343448340987950666514311039470874186883351989006385360396529471213529966346240*c(7)*b(6)*b(9)-60798954571232398277763230183955072144409472723716324273483467320086614323257039054121768033649827924900978436687299174400*c(3)*b(7)*b(9)-187166319280109360592693176802270786512949490360873834683836676634402203112449409822989108877742348398880872959909566832640*c(4)*b(7)*b(9)-381681420239345554592505914588674752556578478405709707412282938676920550186892702262734909576403138331149269676867602309120*c(5)*b(7)*b(9)-655701972661827409501100693236104319378929380883896157667319661833615794694297122893707044462588966963079488987024978452480*c(6)*b(7)*b(9)-999360831810110319677222806874155877859165061024738851677107119977210331111193814922647786459114449009808794627153376542720*c(7)*b(7)*b(9)+101466940114822512559359128636069858571821398868888346133451264535481003605238451233554447829864124222977043675134029864960*c(3)*b(8)*b(9)+248314427814793187112308546952888933745720372682134278009123008725031347333163004573837914453574571096956078553078436274176*c(4)*b(8)*b(9)+469972287434613161105906296668491468733425035739904898185025558097238373346567937519993827086200592556268485469399293698048*c(5)*b(8)*b(9)+750648611613523436172607856586268956413555418887087806618699786753867072178785806660669987492481587321197105350916972732416*c(6)*b(8)*b(9)+1054114309677334529594591687507957531678987359795144846891794270035417902176182344168242022058461643822710218236946652692480*c(7)*b(8)*b(9)-349081049700608724236690128746469073457383468299329078649694900137522968322198097383314485214681932370580909835360440197120*c(3)*b(9)^2-911467734406813854484792496831878353683320331574912333534698455549096327298928928410474159133216410401238560175584311222272*c(4)*b(9)^2-1816378917108760663530336750642412593338841785239112218120048739859957762747416336188718177406417615702997568667733574393856*c(5)*b(9)^2-3062556879721449899405097811962754816580372729026889598421637916220244463689639970091451472912698610835155635787386159194112*c(6)*b(9)^2-4549045902929488256349498235139421163197646278797998787906605916766621170120601698820532405542463939384984224061982685757440*c(7)*b(9)^2-76553392309347600180703167068822833739178982474064356434027817271409981986787746083740159468126031111682137129926392000*c(3)*a(9)+580887284916685123621776019866744842798331036878861663721239861782520485425200670320802358995889979640554158155084308800*c(4)*a(9)+371374319033510782565836372618140586453426187835201055388922816714183690168520895909261077577687699451291969501509422400*c(5)*a(9)-968397713487778999380114063043596804685715900278476620069613956885818993847449108390204773798292176032186255470692452160*c(6)*a(9)-3248866946937174362983978535047102782031907428670375840145165431494046677338937514059582104715214846043312777914286132480*c(7)*a(9)+79766954251182983452221021247883105024706420284375737616210837605332997819122168558327468049282115651716128798699125*c(3)-20968690293609219555720476444060206829141676145677832096349977777530204841546039858830441458326127524482060257343002275*c(4)+16556079973731428928598948400419287375642749028615461179097029453128387166668423579320516545440571863372401948412033925*c(5)+127299278127099840928051529468131441576373594961802257316092381001633986908805411549276660976461505384673701983162559835*c(6)+349937339001875034163277367014900437760722238780371614457245612277727980008166962133923017832997531562923950663095925180*c(7),
85660188154162988510613152701936187632862693503542682096813269307838618137189858625622139440676578382477972254023680000*c(6)*b(5)*b(8)-1107764497764981576406628514577917038741154283586018612830904714292126040868597582020406622367347331864267407820627968000*c(6)*b(7)*b(8)-2199771296741817026451357952263547612085502886698033211200737650252478140603173778766955034165005823067084406816374784000*c(7)*b(7)*b(8)+10744961278354181446201788079614943539025850456415862472672497853180138254925279296612291398828883438366752504628364902400*c(3)*b(6)*b(9)+30699944400470535697860864019573271639885284233905492473242773674446502164400506849101195140432700534629436813979527127040*c(4)*b(6)*b(9)+62348710479620232258108371511077766213056890367377576304020778971719411961625274919537858478463472084405234196452241080320*c(5)*b(6)*b(9)+110102926010192236811470211405238003711960766498901624919306648372117160731578591165938929044943697823312953860358430638080*c(6)*b(6)*b(9)+175511555103159886100958697485556033143842639900113770074051821744208876545466675547792351672851612447511926648359584440320*c(7)*b(6)*b(9)+59057376449401812799287562446539753636028086350188187493019813714687641865010882199855780662599494362506693838894539571200*c(3)*b(7)*b(9)+182883452001443521597242248703990925143665845251182831618706326974709210763929618679942528715880341573542899257207860715520*c(4)*b(7)*b(9)+373613290826159408956928612295664287289649346460963053893764929693768687977303534079721790330517892017951521353976098652160*c(5)*b(7)*b(9)+648235071652289508438612061950557825762565211355