16384*a(9)^2-896*a(9)+7,
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,
2517236693950021106060827510059416456132999542898692355190671641503581910619392911770814188425124892152512474005476235976037820101787182847874616524800000000*b(9)^32+1923655408700318602190377918204388990683514991226856628021468565116728281819750932455292991502929229195222495764455097961774112536698900879558039306240000000*b(9)^30*a(9)-104038925554336365866219202476005129572585528866269991478230780952147159114623675338687984462409010618490407060977234614659843317237436806650008698880000000*b(9)^30-34047826462812846803431255440989378888183652426578435152640041583621509953731839353723709008094038595872161682266799964821144564177359486345470279680000000*b(9)^28*a(9)+1576060343642408929629517021149172918770708651686874354270280875648549817130846621080490487615277997477151811310999506674012153429578422588469673984000000*b(9)^28+295449647777602659786219919632382956146826292033116861582400458960859356037267500545589445793101257944431087204878631769390527087380245762756365516800000*b(9)^26*a(9)-13405547026766080916939562747183952155252986050275784251514755690827234849982324404715011196369909472885782297510600727629108993994722594617137561600000*b(9)^26-1640981587671282000445035444992743135217301980160995899377470784673344464093025532277321003186878328357319461764189354028915177833254162073124864000000*b(9)^24*a(9)+74270138578399840838616383342431793036679782622637854922482534988875714171683284824055019870611307784296582829339457496008003185332824581970329600000*b(9)^24+6334544177529970731349337904169605827783421668618687339738749824655033405423183284340668120280196132967074172906320467049975228060544440255643648000*b(9)^22*a(9)-286613660973428289884433672348984967469654937969662865679255615106631231034950127141511001651671276269120159837896339911667516705695761648582656000*b(9)^22-17653718064908244917359341392218606420264186685969092734102274367422905558089119092352428070976325774551705132261975533859508751564897240743936000*b(9)^20*a(9)+798735794844251100667124031683017270740277776114263901340443522227565184517683764650316951561834056868971749631480396458336483222701476308582400*b(9)^20+36232070357087475814190773204795931488414418991699452117017841349599782928597586501485385722341150129834394004681944000605695334358332148285440*b(9)^18*a(9)-1639300316832716731871592180424103981724457438560018964680807998384851829950109204461473299533907473308198713900670065146485665094905081364480*b(9)^18-55234391034625324471506459216856661135792571433430474962906241330783213197243769808736702995809296542335630061704819297704338173832430878720*b(9)^16*a(9)+2499049002872887479172793411259902347844075456484969972251546700072893427457961193736323201773376208471711512338134393835376928802375467008*b(9)^16+62517309675488497022741679071670597252172729442892508031238086549858750778905567900535279659722622255763750896954395317534030047729418240*b(9)^14*a(9)-2828560449637117553504777877884686657003094495216990951757341847985049597747646234075555949200290635969399356441171890820837724053831680*b(9)^14-52064161735797618304699266942327741469153499913340369523110320403459198535884574505977288094624634146115480035025742756528558964736000*b(9)^12*a(9)+2355613650838524874306315787431319236797530840319289039346717969015172566809701439728476438031018335285422491106920409763548653158400*b(9)^12+31310004634650346654869890314994248644112137068594601895616202225408688253505787120061728960306798221050382039517883420249161728000*b(9)^10*a(9)-1416603510589502662084565607415849011803430646082731618560494025674457586689257124611390340774480624740103730463617913513312256000*b(9)^10-13175287705823527023693951489598611755661113733585252733764166329746594008246610434286101279069991434337376456987465744384000000*b(9)^8*a(9)+596108465455075187139956813047069480922814651859126417366886218771258762534700701871890772555968369951731641769543702937600000*b(9)^8+3686553504022657946613900543740256148947662852043119635062870178123148489443650478921314156895440407749123691602824396800000*b(9)^6*a(9)-166796035210466177838650312849752689025589737586006873874528814765524538487046805485201171487867036414824067316160921600000*b(9)^6-628625340733234050404515753800704421376815793196881641204534219427789236230678047744207380034852631843796198359040000000*b(9)^4*a(9)+28441799190667129289196027708497254328120414475204537353993827216345924143815268933781817992228152814476862685184000000*b(9)^4+54831508288761487524111340324152293132437917143697352005499061855608075612870723565226908360557378619666595840000000*b(9)^2*a(9)-2480820684465574890183111998296331891959793516881507634498228300278207740941851319633346039364325607591342080000000*b(9)^2-1481677577484268671651232638860533586177338661583880358915262080594019540562772495284806456617646828555250000000*a(9)+67037666784103067011365928065164194745260579712881837931321896828338365573487515334790554300129728834403515625,
7*b(8)-640*b(9)*a(9)-14*b(9),
53267566646325189569065342350130769334895729138256077240222172283192944699408254221420802195978683263071093893920318576268758646356986958635962032191885489796803304703876734521807550205636950011594031550852944803914849458700954972298437239652816100875630686714158613257138778245214042189722631277617302440918173548904777748870031551734119880359116861394802393000604828731512650177202741284074632495312758723568744557546732275761852651869733557896732422477518935749243699200000000000000000000000*b(7)+1872277741510092767033394915392977096010385497811831867316093529955675598170656880772733816244214089944243780573740676530689346647920657503348021874872824458018476950499954984321088748949407129094787926186530838045169131372823392710209222052570894715080029546018285300785822159808203441689868937571219119009818691211946001347249000816267442317675040847735858664754037301047571218998277992361914535602607381525658509774656937982662797460101801637554984926918561789399474261493341830259986474745329377379175377510593542704419431615468821766019228683468800000000*b(9)^31*a(9)-17680037961405025582734711154211683603776687446287515308911603649777046367864635197773783085109525288498398948017889067307862613160925184717883508817722656566028547217082457836205275931896353003495401219335106885472346046418586574574807238466939550224884140588837419547511475566083032200766224938483401999221457286923412338476743863817933704965538944471790244775723716390469502133594884967475075815596264073055233075701982502250616213635701621115409136061887412247444844848799810703577810221569592482026130900281842707592852133686979178979746276966400000000*b(9)^31-12466414699869141405163656341191011277332971986597254206700248733579926088823200176190462954771192184531087796375060015189835380741664465774531274616417945260836232221249450457900022237191528353020993901430603032360208675366776108104029382177034319036483089308347832518066549872643006279295070385362581826672923397298407247276879853215314217411922443931766802245894899400200967277238986389848350621395984231678938714184932087128869524339649462301512781977736082417142004248820834096550495828269854974161208701017949991081643612978547064549583083274240000000*b(9)^29*a(9)+117721148016498029489546669884261208448122941961469355110605596895216692182873091180056209834646208149895957826765894828102199428329252770328348137713101111798774304799000929082449376877599819285430437274964820136637417607895536839526017229104458639105084873160162638500434735786349623490841990387333700698512765599682177947682157589445177534183311556102729940747814865814801325858545041336744706547556341177953992380386223868383046833534016473362771683376828742818202177040116473089244080145633917836737139075482984613205209355548698637696206110720000000*b(9)^29+25262619007366796326508619140748115751323172972215549230802794392773787670964898613382556710895165988007714549115490116218287528150746165613842715777771407827821235646286044337399254176411468438466206161511659755206586978604961189248313476101803319634658928846251258545898952209509286823682297164521465950477739096127374199875422927169083907960569723979842305194508225856605953580629623539545775151374862619117744332687174355954016432795646081964341013397172238909520960188832985586410278654819536217793885748607686355566747502727155457941594701824000000*b(9)^27*a(9)-238556520302654502795574151574447087496571756273283663304303873892479128762700460717710379377690012418544122852357428168550407836677529506883160362571590940711842178814527198577069872304704548058926315619648034609291558431931143085129406840243015087095885489317780066341901923568673764360369634263624874588792805896847977608679219963726909024396777873452082400680910149280717274314191220794276993086158286266339118713964911541429896657400410626021428253464787574676971844451589673344576344583012822673320640652607467568578554180330566012761014272000000*b(9)^27-25891434495306644281943477640548430308692010525588859294053032774673507049019252060472830996370175213323223454294045818866171877681313175904262343170369944591024961523223471871495070583920733668118925208772961732699952082715332256238596670015973467078822126155268923650220654624866618182955178722992041726932227200730066989129785457632695430396487041448743359327140603230597064324850344730248518176265973396417741944835537972162519045467108017963549822307437223507555788597468279071670668343441306312631257137930881146198136820837161733578345676800000*b(9)^25*a(9)+244494465005534503641292012986532123170856269608157037849197542842149878875425927870484093572097595369838336340977129484020169384589627173335856719241335681313358153834137054908714342736082287416862310328952069262275380398271254252933042721571374990208624745657237680268652352272338253018103781460020967033839627860494528504136013260647347066272089056092929775855823149691825218157265083486131968415683412567344883448190602412520543675676126370568217341413099445862503262595442807361363959161126267915581723890646204015844674879629123136153190400000*b(9)^25+15981269660401946887876662183287484109999318462018126785502133510450042602194208229437733501490425199781287375561336175292674614443637341269313211760679562501321606464824435978599499896332297304774317920110341755054055884294104858053247008491506237038268970892040627318280264606693205791400773023294579268273260593087242703884211827368206003585537772281048870022795854339519462028196407326141346495971263925173351457918921968456848123866151005871527814583747165251409460992526064764311578266240381727402694069517639134129881414685288956533145600000*b(9)^23*a(9)-150912147275544286411681929760970498024408954589439428888081931271739335511964969641477204735727700208485290546442177052849120096335932520350780389453166414086869655197999767009180138758551129297590409793221481098299195240419776277304189324310356301097130442478121300723807206382636496582257817317962867882095828034173020620537452758142941625830327362859686623177286831617017779011759557838125198774908510718485557850765048146130897143215031857143627027276663429018208496724229023651172068601741706549608717046543233539187917055252335742156800000*b(9)^23-6473520873336143615422405281008960673156700537927330464503325064537407035933222531602356315721592327227212760257388729472572600438755617809765163391727668316782763625664549087820547094869979907902310132829474946632497816030131184464789291023795725884091710959694872667477673740105686695011779558949044272253724526483749449149256354187531284408481004153904617682955937145693723407914686881299121782932342708033117160795769469238430722603044808777618689804160330967213044369503083421781185260336900515150879796744100658952406094766753424867328000*b(9)^21*a(9)+61129869915929597239135501096566444869403308709430690629639889091181508675890160756816501409680617393323378661847587398904066675569105275904845808526597547870889073096020171864147340111514915940206292599755502588580969822309254821957775300612713703680276696974167479719200925498592662525675473559357036878115802754329631689212006393316714024684794366214296502615821770430742420871452596070603979727066694973734050779267847787195972193247907580743941551208936214010511803333609442535680189328149918324199525049495153442092235818011495235584000*b(9)^21+1808196864391125559393192911769700312409757218117508166526238332156715888448405412386935691892093452173219875872097235197020286206750045414860124322684154404615257009139232958958645957043222405461041182547104620677461678840424594970043125228476188494854870295773166893628534083612802190204238778180923858608987560744704679871981516823159736515519186011515033602804944894698393573505991861882850100516876624088469951700812392451638872133784432250480937675273291134638273111618123707522728581710375849217854133439635495734267003975802185318400*b(9)^19*a(9)-17074918157970237862966888720974804588304456331870299521767437705422924764609741424533144791201485915051419606138373555004896120229085793942950373194329349773583837839546141259063784672118166576393228516507758181085903296280750210173926486822980932111168233825830605712506563442594312555724314985135761023213020642482720844496698240926137087460301625410773213653855563571986554671630541191971645510953489743518201463983537580317353684968686640549944024928417087860701365832975232001345417603571663796165338517753202589919055140036490035200*b(9)^19-358738468397090639074923685837095617735047970362927957125384175143110505837812434697357510700213139215433770372220916965614636128538071888742586960537786469849031214819331766237514881635215760028313379052465102545681438266844999768356389834149432885658447922205490052939649164414751691916361774067985006591364846923183016901844348626100638670292188099313098179035574113784931153474977527213320436291912695364208805159792919168496674722006628690435201557919646377866465322355702123556279651496526967059561820222437941391593555289062768640*b(9)^17*a(9)+3387590206766148872039456302840038473087489228388079902362245626571628635246262451990046531589858084235359431943834546208488003031830898737908247664791169752242608811312664625289012402531984627537232508579389604290517431247408851943838377261209179865781842300385466578905610071018525264099559929703650852561131443104985342014088521204570367496520790162234287943024335905031290686105761197340095599218454793625469814473481706469395472331451704441549876760676670370646628381277726229768586023219350195232729637396103275494237022369873920*b(9)^17+51374147010143439217096145527843389890146095670167817599951219963823764327251648863940630723841559827072208385691863933781686115703354959470808059412638981987445251864566858744624762726055891882869493869582342753138276344052768308198365074941250688509883790806630089862920024743471315049988174135769861774466026592522892654956013757147312829945096645584665214491995729810950586913323088212864291921711886561764683507113957751152404394040819315362785776950593234202394007833299046474548389088611796292339075368843818820330322005065728*b(9)^15*a(9)-485129343682922052157131016118974242517737181855032210584140713044042587948498848107488405740314592830088637032477380029384534786938222376474285066700575517624431718563915384506459147215569568957749200886169833508345133946733596103449343724018312254070597067301561769705865278503168317468857907839082216382143896371507068988891049561320279538110494078286990425218889269595790464092585324763375413404308536004948559337190359431449147677628615675266185933726188124497904967716079851263815136333737674746671371226161098417072225910784*b(9)^15-5338852928010617629573279088695743373088567828521383225049552756667621348405210902298754119337425443810660781769028957283087984628772172339418079956339713672815091596000138862045657266831416849989674793419914918006407986710255576876174051423610459003817400959002899647897000452325540756094187315032896612797914375054562988945669319835973000983815346534852669066019391278582735518962765625591390181816517089883128887251974089783077714245885326976406239743099133828948604422198750877661994924701125356813780978744363956004097884160*b(9)^13*a(9)+50415129493841180245242941921424261679800760069735900655487925521425335059322242036590750854046747844736828234964590632847881029356222462513696457092962750086898178922127083508431958813285592666168675663270733115420115424785170180846995303479877616846358357263687069738981749946815031330366994624820772108269322207902291881347250091568420279513706101773909274213880662278660989920975844607823445595487453534375295960956055776422008978207016156213478092043963758904955129348303415702848951593680460339293166891166902285479444480*b(9)^13+400565132184365118549436203247977149780246947551590223496187613722242202583188138069939580293951037154580022296419037170596225117546214714097418067054907038503803353471238333771681358948435131433605148539978501229397582404564555483842074247044366246497687914370105284734701641929783440366478338702857333016386980681665146584208197516497633650828936456556851714083303305870012528131143584779070651854156457687433973414757828199416599938439804034096128571796137734100130453740177896202144896327982613006236349251824355429580800*b(9)^11*a(9)-3782562874716327225074577328494384645030036273186016720942253353786358981063599534818940627225396548133786387096927359129793744727717852300170982169052573200125840097769982096921833391092424660388035762420974559576809603025863773007115022082941104598368383882742539841384529566572421462103823461689130100155159300412525528473063041553001087285273103126640105106797693179734337086776977667568748577851163171440936564914103893499713265446819355535482942663324192463142851366369480786927301761980696490475072835028645209702400*b(9)^11-21329829387629763985821960593601701555378887716260555793465603205631744015882512663799310826661024421626635893445749706074744273113093400571744455171877176837569319142999855887527176006884656220019820957604418490423336197250367581207747819992271657565343447941409664771379531590092565758296881347254598156949240028240364530801436923748370078881796982045640068443976788817832057291587687801374576819649725330076144289902709057057365920116390430842606554065355701697762545957103939876565515046199302992386103610473185280000*b(9)^9*a(9)+201419306033033931904208779887659294938068318042171274969892688543633955642043945056998678426337808892870276164920285847450912958343747686832944762984524571872854744249660841543940880957561679066023092589862338750446824048995440390241152851700279833126941514599366145448130099641746395896469979269021831216484631983016752281019600218252095876035144696778676150238168413225842290590099881792658480931252713047774315378652101235018961046642381586578175642624003627234204675777157757095717772797432350835088308400291840000*b(9)^9+779268193726389560616691865134325384559507451076388818772900308925358435161184854427693820598926634680242756543872845665396928198608550796336448914060382595573400224632912201945616352777999379052815363899151959659324189227450625096928663096555114886836990617377355166868078645438558880844129120488567496390079494977709753805895379873111918223336835899108181666504932435050558360921745908374779643646691581811716182847294710540526134098715432524621479746604501559416726478749320315893174753009546694716065369292800000*b(9)^7*a(9)-7358788083433211390124652987466256485074633067775609256061840211913743729594061139883325359481271211587537757273137942925430607794022755964833150855722056122092841603243946650824539021027937678001962673763533821677911621171605476063350137293799236175604365872586251538879507595161539862091524326349343673642788868500567013125719283262710972040889143312916014365139415921907705901867979969691296000204113414261005951721268783853619508317988960019281016913099907940606209581472904218297252953446117659334043238400000*b(9)^7-18357172642336058577424644544224848187243317146302110825456523914924217025328154713049273452643050106167361337115530273286018059387329130051971687884432293914524710292222402330024300980954878097290894950753993429525808986266403140554734446250611858524476210086465804868308275994099747401272678241442353426312066096345791723848137411452318534777444158942884864949997837223023613136995398863084891363474803859617506588973020666546043503076393008144453056853535872712027590242351676391718772229515528580680908800000*b(9)^5*a(9)+173367327051900634712007393315000660048138079288857855874536920311749137833212546863297432525866320825254771364655726038252452254995707349350786108708253851977848364061532035458941624939739197440400574378348114381656012569358799606923193013664306059156167612177566531128983901701919480839473742958150973908705218819150841978601244770791428773498668516057715191244315914526453485963844846684762433087215261261838008141811846763632988987225906098802171707606331410651320792126554682414572729074648842397286400000*b(9)^5+246885483650348240453567491213098237939937479769485212536834465136554960913916901876144255160137678327740102761475286421711603098947613823430797685815846096801823700683741281587491048386774557565478308934064806287719490728701606254954181372144962831950839310411348380980895934795134087162970520718345098977915729008913975735782666604132067488443132178616530456965647250059029609959261322003538764344766498614901342788025318346991641099150783587337653781482452604300612480037657323753160555756126294016000000*b(9)^3*a(9)-2333098332767354835659108941051170297642140213414365926902907726040886616383260942276789068052360680525686565227775102072849016437420099727129490646816202277337323063295812187692470206987112096102275617730357288710279900242886314460472641100832148670292400831886483875583821992696919637131863083314964573863683101006199650622616355267320090927703828653401639001179026286865456277934352309736616586594537448434366238001263333380807631448573136375735039610387380871999881423676034497538168470709681248000000*b(9)^3-1399673717399765592451380092799708402556859678603683348284296748573733958042983380739242373508487736817936613934242605005958792094012038713891546069919443926567143903395354200308245005181500568527374790236345352135798513761712212828944087971739202636894389367693331667486989535861235345068808911448209200687138552319429018894245439456795223294108648470847908635256021440641131980915089518640225344690913536875320401666180243604532538219226284999843668327715004712663160783053946431254533251763511250000*b(9)*a(9)+13264635208162392362462595082108346911157382907190918780847251514513890593866655841140650680667866980240338523306228264219250645979750860299396947086221179963171112807563437286313809649875329657658523635407064267633143111233936315299701505776594062335565349460951267254705741706830898524548902682017914817958389046069750746895155764417545133852994765053705445595154424742871807643528160776947442718984501830222544222912338877413783295413124015056875186287585348381444439749709750420897943400371640625*b(9),
142046844390200505517507579600348718226388611035349539307259126088514519198422011257122139189276488701522917050454182870050023056951965223029232085845027972791475479210337958724820133881698533364250750802274519477106265223202546592795832639074176269001681831237756302019036741987237445839260350073646139842448462797079407330320084137957653014290978297052806381334946209950700400472540643424199019987500689929516652153457952735364940404985956154391286459940050495331316531200000000000000000000000*b(6)-38764110661500325253347716741796675820543822441582188367892627066214347535996425243634177872235365190929058687534443878120909522992181696932963134371492851254463910524568447787195132580849445518573044826028391850495195474640497301536906309038270354192637172277344172089917458289232176205181997232376537919832279366330921344204669480584329832300381976077634431662537331396906285191257093849534269323776972306806887451389311226909282444847997230734572482344072263409308503095896129024344985421625978959358943410030269139399313058249692177115562859980390400000000*b(9)^31*a(9)+366051965923954483537770176771443226380106892505648315177407782516935684540485539035327805828277793846175246052096567191314440322521159565403943242603119469562751588674489612816994743438441474102039591694656692531632397368518729672767106920993622086616742645524176062460083868328847045135377883728752077562868731399554637621657049700472372997362379983659210126959507579674009404730321142919371218986079370264288433104674995951421719036088308434216789300209173818502562838931865931850110102035778364696256391227871517971845888086280753362588256121651200000000*b(9)^31+258153068456668746863138188503044788244782556670100862351916379862968668911943247425982540861152878560070318050773545653653893582578678462581277514229231704773221708056180679357785145441623445014847507507945042388310193614547654326155435519414333882009415986822316518512519767017653796522786852570763656923582156333927355678734752865514450038076912862715064506479627613191671895965174830951475484290180180995789625033064997784899187722676660171200192574339158184563036402091293579826451165864558642829021023716768588829666352813555000478637282474065920000000*b(9)^29*a(9)-2437755867612813500124320238596838294330555137765455117445493970078031771982495736496533015382419461265919872041521235567096567350617169365089468913293204856468459421180139069232760044220088897440572314388724412953088796859298201518312577441351037664769418045646774022490281357975176571277170012968293947880734080703779357208543214834979026201305034002537625624065447126802068502592887049762280338479632874811475075627206419167792236024346895924635426512822919197435306058322514724639164752686663364192787915886890289097350442328402057203348678901760000000*b(9)^29-523340255209713403586018081515727956235635124805795187235033215092726667599883645391538702557016851446035419574758436800261059304957562187215874841638557788635073942789315134757703923077855897002709017626587288624394648385261032219871055900063458939014088260783178282273199085185616577689912327583242688565136755059280111202516603653500068949542800762052002060699418683296228637445720732874459455874298989644643104619779301087243033122922404630597768584867797264022712023588291135024975909915563172155660211804185289581837229195968906753794786721792000000*b(9)^27*a(9)+4941935362312419937045715392042154110945409759914630211155776394974241756590513118509415587378585235533471689921621765931561942818839020165406872065337114530955871060916298269940746833798150599956687819401581895893785841009021495422061025930616140950738156918648360960450217677421875262348479469010752050319242493322043566995054955783005076993956899062842029128287477892813892282348029414015959542405616582940450207862428677610398381214745686651138196528230695904631516421051638234128996536314793828525898757337353781825541782146976493492320075776000000*b(9)^27+536642021374050749742966170502647332237650403746867846418943753696485326857655634974470313214705337044585133200652365226262518890076215659090240281322923059828191984083381775636462961754772322283403835733010467406522650923072063492613437776240996172113049403274631036529971735398030690098531105941590649817579690390262336851671248707600575477377926753909472645593474675791571654686723655006321583364755402186034370086304904458439765391864734389775170055996149344681425706992815462440860296730619975627879847025419214834447915519703955017799460454400000*b(9)^25*a(9)-5067544787412869611119048856211335210865677217712946392801557568181392843409095798491521385711516557096591439234083946318481422473193789056015648671163158861554225768578406937503489363993225561851936003398042862895289286303504034330075467754334592891723463238480416754223494522494695481225401954817146217913349775186753773250121556878727706824146465765060470859394012360376508201097531524271989006495204046370930507823111718300927012480280058536937724808538700936660410873588076051552057392570506306387258910608519240584158164108402243092558643200000*b(9)^25-331444597344953929378648252057243644740868693867689882273591505056161211743479788545421482931314496849798272206868408094061038108169322112508128031526034259921225717056210847705816904512520618285954513366425814520779236540204522565441293027679113445385543485580938582924246311424971652683415768559539131195352476466419386278986031454603083716679224991454075630321241366632237782160808031470760103462067114153723908445075990199483678518908853226785324442713023244326553287799693380137745298123529458844750237130014878468054730522658087826672844800000*b(9)^23*a(9)+3129852442958788761299047927984911152535327781870313576810677116130147607777402608796127166550935309452841809620353683137871352368715979979564066853482448889174677344778382604191215909448807880142344649288937905756404969547819103615098609511906508182564510656695671468336249684164460697988482317906476802163657873670210806110723924632972816525503449613144631646413388715315646469250437157098341491068207964305712121115692884425422543170068047255664695266309934225542657220147133344923915576784527393373687074901565194851097384844779128776294400000*b(9)^23+134355814159616649517991600731554213214509056451256674559332453014699395605689313127737696187763686557500989731610517195784908145452152990352801298969528947526063697395027432841896092657673316727457878694820734827895030611112924346022649023150155470203440592945854811385840093660738012386115619154715277364043187340661023792922953817045916494383543698717492486161398486674425321533193677514860724897111435421383177170808124943814517520883552074658079229507986216453174893346015360665059259509651374754745169294155312912838510429312255235457024000*b(9)^21*a(9)-1268730510445627538984225100880887678682556394657854104043750055306800103731109748768185247057413984468505932142984146163716734927134690811639519623936132332747907609615380428291990618559229894478986747116608517017067400449818163374606834295667097514095346170155293127226191658518843292613759589467440052170468832012302018402734202065033788118977501299137329611177846726043812916624719232695825178062864954066630208469173976025294174940392783210077264371147410230131179852385789581943640932403038923619917668989352879727799020803658845519872000*b(9)^21-37559248651306095888816624547959425934032588745550158670615181426567085070831985904100411547054595119382408811625599642581635600345632457406263475127413027777289855935830601356351095357862098499035663371096710795158203498640572515297336546683536986835396067454875300033012617694166949352470559323251503330924763912100486411849274715259094122727383432328946175021951549511438343159819292852987420095091995505886028014670027974483878380329262795748906538124149230388460040111426068103749329095197190544549041902000798542619926501122718774067200*b(9)^19*a(9)+354674377228075949726036424304876727305690170941202051626520773813106334330763381078218852464911555641569284487675214193607801563211963797716250224640539220206083027263893118294584775516990746033003436231990831227320121046239003882083353277285433088298498578414337048723892243287317032550650517812407760869010129861872369969209409915444319639158192250382990412840641427877153841827253164105148920484617613476600281595857522513464757135024095893206042358650932262085223699717293906220457115630892255798302422379895016874781070655091218841600*b(9)^19+7458228910563452150187780710020548232448092800097250066679502772865876125644857725547700952701968859396813337094189231314465902675532824391154126812941883153327784946211643978115676963296370348221972471683648113003688540433202494886458909918827531100077920502572636233430287463470403055490505242321146434791450414089971332620054792473450300048627513182410758159290956360612484931474246708808742418347174853291117109270493538938544245383545225984366927525537705008326674679836431012999742583365679349338136798469812023769953029311294341120*b(9)^17*a(9)-70428530639257253812921567075227116972678147222226878232916519902436139266881034153974347194290431238367601143914061515026023851735729077156618729925552122755882072067446963931242384922027229200261729350829463138587564400466314904767752588517475469916181904989698674806916418569131008416288614849246105455327310309853168980967777606816407014500531965337258012984701332185168959250645951336627605393654334878530796104244893614374903329726913032803743028909258078496234168107235870514659424417335200357153974880492207445156290211725967360*b(9)^17-1069084148625118077849066655201937089068260305052825576061377694594361380882702052532123864515738003108798837372887153137491429958687962067691207281432984786416641475646312380546642096175370227707962630100357390606528639077511669248304846078737440806836633922968904148579758206689397339097251608643653277369639581092293479273394535784641708965756957368989390417926716898169724524687031261525337532814246216602981717999520594974858311427349033056488648676422990537996627483946008071633968775932800333316278680050479063443278914832564224*b(9)^15*a(9)+10095429720401249098533604933931415593792948443665656307321169007609534689776739264277397967914842708319373233750363829064277087111446588179267206034848658125040455343221966464528097285750783124430612551221638316514200726283112789280236197397486104662781730266100571267162307811622994695418466275964731564145764511648208612107631009699850835005823093310481307015205381025559447914281523416842699937570839014340693723312110490290423895202599900453249266568910193075490714561824609688152849463696287007753482397965667738284257781481472*b(9)^15+111208755562123231399832249906097680289780823006820803707045931320230335707332345567728101838308330580741518868020521083133652164329514403588202898639051802003945404896060015059333851742076806815914383878919964568462558155506134244046260150873679169006404769115231636362297377536581345651236131253388507671551970537223787375768589955238250227007886072420854192995658748064270921557247126090326585682719194997452509553384541605088794445526537626349403779254795857645587398046763528858216265689476903468057588110443724314242218721280*b(9)^13*a(9)-1050151374032830063871725779552199298729209778852974432198646280293706657309482869415190136253307828303226605093117541198159109719655105669537224936346210676479646170403455410423416345168334475213489212828708745391334854916258598810611792847515334917930899739404870587477234949803403910724134934187895823839878525678754791778671957061277238689102311198095661706373678196930062841355708928791865951858209301878315864032608192370660878922866576232612173206961816648683545548314145803810684236579336247758135456119022459784360099840*b(9)^13-8352052636819961602342491618146918016368018197135709712777366068707099876370421441204670191481288471418641434132926995355643623622960844412504139959890377691689657302073358388867869305357956059436547316335645649723447176981745607765387265833700889221389578456441241568032275577399684387889214428037684934838709218583380331068604053973551032111262982352693692458941361493165995201553332194724860960713958216025931305514691816784839854208584412859803337585687030988366604670903662084606962808435147747899273060531256171062886400*b(9)^11*a(9)+78868972966923286189398170552303602381133938041295837627925244810799879164029997721581419577952767309169392866324350531952859868630034310379447580024881396136305192011489385796660933926131080399843372185199375407842398640078726180009698160493381170991055221502244315371230747879966116112707056202594172160572696297678090241296713666527478689904757831388794019685659683474856713789416386069257824872052453734063483738083553149302870659403152078368694012568740129189237819859661302778110474308501189712687817462598283244339200*b(9)^11+445176695656198192464986035112599471373748600695486566020962327718818170618031910340468075399553337597546407949286268686271919357718757698798609350510435860341359579860462111805781093149132411389762193253099352688339877551461567579770618470410036591862469610049352681537629962734730867775878399621768725694328802274235667748175704139794158999074919364907325544062421369174409845059747856994150398261524539358474043190165984676750538560970088825831513974951767668549584338177667551971811606340847797068939945845184266240000*b(9)^9*a(9)-4203835475525341331151373137933229686866268458731196716737465128111829623376397478672337105141106169842653665892687864145258359075703158280097886969805078453526338477973729075435407460360998117722969887841332420817969860545925513067160028726739440966750145369052328739869332413603676048184699883174929391036954064645754064939947128880577643297449403399935329880097432663733907479435480304095861155093485557976471832152193865401992733711325469062853192606951534920088546286732377519673189167330079335744204033459486720000*b(9)^9-16279546702822839471884355046951165525937473040592092467320180505342659673809957611521024961121884460485635232942321975464741476513448367122847294065387374411380981743846469591354176227753105647931818734785968171281499912912320050121894027690111577349570359194686485141603419032768736440990337288652208679517500352748615643294388627205619899337243971010110507206548603799552212503093365370936253571412479738256689857566325612612914876039181040850233027315141320779950132111441307173676707191982004394944209774182400000*b(9)^7*a(9)+153729855684374973306645080038811692076299599819479229508090422176271022991839537415259203482716798143645543442410279507196778523734799736848023586924858146569508980636113993471735972176616646076665849080064747484127280662420526628783637375468844986949839479600314536189217796641226166677579427417058232113112296781281990474135902205467658158941543364633621997326505693508073636579879565552184763835436697582232739856361458529182411629388079962182342439064521933296843120023212992537493510464341518209711813427200000*b(9)^7+383832001552845779175894228770185895552486798715959816789745202621156100925574381447902556269746298280200404157965927608524515226757011588580821209172680786284847758479909883098936204338972087645743257240710066910554188734725215721550363720272331871752157989989349450824181348906512859289760819559149788724954997990289604656365632469905726937593049302926526798346230996538849277652424016335262831237913050337899094758227577764918783966226731549435063097713579638460493649565627003894193508005096666148791910400000*b(9)^5*a(9)-3624738642354832415208997890665040005661426163863533401934608071437829433392756576771826367318004019016459767319577744657583531506779213334076870848903216146374331863464167302538306333770876249076768336664322835733658348846721288142901660199476670731173175205482428569951394295863601451332571878772402099659340821051632719210664905466374379670329072713432548915368266585837476974093832741364740961919724059689459542808405483802859127205442888299057452522394934599656559104103408204640470510821286001980211200000*b(9)^5-5165806033217116076189499439890142248649481849764550522702503121475544611302377066036340579923275460486181002737975995245108824689476327372907016946869270077560187891165031064881700355501272382400627364454323776739932143573271326859270827914965118801461346796324400337690990846936322548308730645188679607101698275546102331600323272823009103936210912707765427201898729534474443695366479401433728950129821559867603816183084493853008748201076773769332532432043662387717847347815920632347017791914569596928000000*b(9)^3*a(9)+48798030832547847156513376065335527475773353856134415973841203222134374079023572636509602088140917818247096370744035604153404993832846492402596092895593088627194489862863918829922006448850387301005698518106393156943007944136994001591755091879074869965270740458969080916961223982005259156033612136077406236592244788894262674034340123106667780830474322861322396401737177630559778536550080678564830577281057063716092232395418947821170741438719767782443563102796369009107856809192991668178873157292944384000000*b(9)^3+29293516059798375203324283305066006705312430802276362719708396506444948120118205323847688809029124528019470751159662985491528289584767449498862341907341133935070361988361001472013934504675636086502003452064958422608184391777628312338051005634911342907752170849850473854418268523982304176219882557178261793563696457836288281667884158919678512022452042317158221676877102628039618060222343657889074329937129663335207788688100748264789400844714378978338885850576678189079106576756240432319332499908340000000*b(9)*a(9)-277087728024212160114484800732943832684365865336678085380044850702383448617242089410838447475273160499087332308244205647115113765001553828236026462825281716964123868492217040841700126085694049509788200039162513698100482589559982470153127057344586308832446764624470384537187605912545797631343688454712907952338937501837892398675884576978577114146193484790519886576652254166695847319291291280657873826426854920990820364194885318365459948470536192856904865186465661861924737314012619407004959433752421875*b(9),
21307026658530075827626136940052307733958291655302430896088868913277177879763301688568320878391473305228437557568127430507503458542794783454384812876754195918721321881550693808723020082254780004637612620341177921565939783480381988919374895861126440350252274685663445302855511298085616875889052511046920976367269419561911099548012620693647952143646744557920957200241931492605060070881096513629852998125103489427497823018692910304741060747893423158692968991007574299697479680000000000000000000000*b(5)+18268795868442520305858424864951323088431219408973938485382957702739992374133570575692905389154549288344643167929817376603348951461620895553039899692791022283731175207403802532497609496891823487517498253203158530889113518418178986590096915384499081675959906998734878488603048365014322819897953167789024316727270786205860382566317337164446984595562183917533334334978725694549877262158333852795247458710915623009111493591289569848111534706365082056256371173169605705954111935826368834855449164512525740507998147446826603802030980081615464266751653655347200000000*b(9)^31*a(9)-172513402954153450722743096512414499285466465401946245225647574272279240574098632150500136149916357533866146964612534875821410011952299344737768506204994184193927688960928962382648893922451861367058915528377698742667608975199114793075390894127825413453386227503999429820563916441976800291351565524010741318438598962189930468883350241325141897693439962388330988864505000928379745434318060955140409211669445780464180538092929653935461142103896149486115165423840405121473723936807507556811245300335260875024043446180416302532996037963577580337455798681600000000*b(9)^31-121671293120371449736183752729726621039920817880310143005934004887806623044420113161997388997087125132290005358832441011771666296979901782066293727152730975005019639704107329744089395634146699407723249111293291410002188539919701729347253651538955557693368904596513304949881453250331687575088344974218437503647801731863968280812798287964248680958450608604938154531529724580613186530308872463669537318129311701849505630825735765949152132955600153781506960885396872080428819316652265954343601003259427724321875887789423309900798490708453389149741315522560000000*b(9)^29*a(9)+1148949770372415288753753147661274155053119262145990321381461251919495204995576756756083619606155234974637836883750309213432842518645156665719391537241225393196579971990552931002414937863841318595920595005723742382930358480958120467994562120334695144321800508535885761785030206558516907785984862762808738035252877534679437517493636973202440836021078270588248515212613962653654556493092031005096724341132686781777392647506829009124158634849639716252507884818245173597648022782794524075158600888017907959390567789265867606004003149353704539484250439680000000*b(9)^29+246696812057347171160062754390915243255220993642306062896144621093395920537259047974274809065822261836609755041214890004671840532949876417267323292174011877006774554740114589197413141151352936607266726800249076299735556622667196678522499688145380454729401737156750447383964882500284923573136276566425182536036469408325667868698067385974804822839838990079564345551655183451771162477103931210995159311622640671270070412113017060650643878390345982608470415683505181783288715161056408924743104276074091835124993941353972316407683456455717931325226745856000000*b(9)^27*a(9)-2329573708766965946569674487786907911478511155690536646720727015604615441120355459115458843610845319411508520588082346383179875670141053925358709125888926945452184223088216720473006609588926219415833951496103740306500217916496283097639635586129150977738268769111577573380938394232993369575550877901451978316287723535562336913075374013292550631918631027183797575821134797096841121449964582881499401167027360622563939394898739237690017127482635167864369843718300852733408849502528180978472429115506083163461256268641342649031403453042211012390944768000000*b(9)^27-253019366027355423888131899382147083222419853364863477948331650537837885565721508850892129088875547004618956878888770417413771839875213814549777953185300784456532104613670896772445093335482048292932198922385652466535749098055798360700023967310454554402278001554267153881929223303776154787263177646787931361119972282959460286106331766294415312088525565604389392647742063906321069034761105115505431085537744297802819397402352150325912433183104403843957769567185075170957529814986992774121755594013017524268976785891098742710680294360596014494331699200000*b(9)^25*a(9)+2389277988599225550633847504704910731874224813065397786753843693671704055232160330441783982944714281595591714402600909070315968631485440546787210048488673619672351833591920529937994327638353451030357657997379296710256205913483814486135183998627027756969619477125804314401454407048139260410799348416707855164706208941807088637562501569294955081395420717813243176159042358915062291417684868010952321663801228108638779541811485152047797375725396596151669384353339210716682740713194790163138119880221780903832407114417048804003745873810780552010137600000*b(9)^25+156310785791311814487263119232052045634128842341423262178911137176872415625705542500836217877225076856227336084593027768617161847109027347107452010368637905152551961984681527836479904007350118832208495643120358371546475654917035400754702434663912535365243403964004232182092774254110060746870905787283991551179078364220489393536567628902736931022824635903170006748898247326206144067987855391339772995373426684700725550921018848975882090066942583657927364750348674827400139828337497297403545158839614665331791435608220309655865925437670520415846400000*b(9)^23*a(9)-1476052705908238365914549100437033498591762237986765016975917309091573603797574536593360758276052496748315527465388687098290281742696957466177482896500820984453835145440119286954856327162591701582786579712834915039340642460147080059430528623480242363547323648775062092247997704876815336682248131141530161233737521868125035364683828233878839823133037270068129115082866114587478397076974005740542256561308772799398196935105092310390077094092320780390009719239196337705257016194439068410396098297258567117608806615806246910130843669307671655219200000*b(9)^23-63381308038479222222176377066611416806520903206266802170902023640471572110973822217308166361206217468609624692578252871301759309478487764843790738067170068039792935240508323730713658125349751755035749923090403090080095883982719539368179127675469068148027017575892758359596721521821880172272571859905902973019322227167810351692942224425572448292321045861198503195093229920286772596369018438233877805344720004198434412813590615236673436866699019918771896816576854680971871741500801926570257790240086584437199498416250635709709848728946587205632000*b(9)^21*a(9)+598513728663473519400424988474436585455665422977357023479854380309074967197160667600268862788347388521444512145315906235767533357242278242841345891413230984840135321612764708204058644227405678352432977344907446159037448770241186690173726408888005813011969719285372804867498817734924023247306290818655314273061529406855517050969503165570470960302947660042618028960641787564202890732734035310796094436568295198181664423138943700295891958781200087506651009711151348461849824081697042453715096273848958777986798469256246952624008228264577335296000*b(9)^21+17724074251108615141424758353863976672404996737571759074407892187879909556429950156786617289071656656059596469350627270370292750269718748715228583072356125026146884361948117328871137821373625119377060632921999977502689424536898798954700060723864987873796156433625081624955018920218303840505921587957250532601399544562484868683612435350675616415242110109755277535949672832825914626309991479645439477184402779711796600149133635798230825219223960262125063046206967285043118853649859289127199817993478122736145947438165649103390834728527042969600*b(9)^19*a(9)-167369562028807617061869265856808162490459222850367483935789222606253440075763429949395908945962737567933987313150193015432989133300403177576593864256145073791757364649083165217926329320267698718181057617750636665868987489893439024658178125806589766790358152647496870645560884005507643333800824590328328092633713642609025654344571690506254598547779788537842989972823801605451152415551382795894906043160523806632887375742803266544828744727936542874874995328760583823842231018908174434504340475121910724114551220813103556792205950025780428800*b(9)^19-3520758716025125966239771314329173636737357374053948293721573048394199840454877205173792997426135534226375036988696877628749946378923247958778804136964256150493728137594377657798916402178645895391680406943075542473064919018538228681414089284760348194162271797261912691794774965037542269696009546212302618557506944791950027673200992922249537239394989969827995245090189842279607387288647339595888609141418821641712834038320332639191518962391171966150432123240709270859711698344170087951460889842872050896893807208131710358087101751398236160*b(9)^17*a(9)+33246748800420507879396926446661268576204152877263839054616280095799204269680226969185288331229102266271914584810255555960742355019516235047511661656905086499118009774913377494644132828730400838354297415838586580436672759962174781144684668901320740554938572199307067583938781042041100782566070209036445949071082555636725393276970773304776944751458528025331853848091469692009841642185416430365847208452310397091058191678498869194100440417501195989321667683178022527384663458941146764201822970590691225711730806968697544525154127162900480*b(9)^17+504864481635083301201803822325497884613325505929843266055449248766062573884406776269690453802514471521203836062487683031918486331560266014969767794238188607387386984103293992227168413832737747635282020430744776142761952527558031053120698123432000023009260300320686272018469840290490329243683116125654292009415150791205485935190253523545728304147264621944340802037594596056406423348082901249541583616798923927698736691819163991683613954727214910314818247639260215257977536144022145076414777570285697995323161271656705725727003987935232*b(9)^15*a(9)-4767467458645002143704165990333183560334882476360805165443782124583678839859990613934331038401289904031793506094000336747353459127458548684523170230725419726634841565130796307428152218215309196066902148264473122271819212643524857520895358802551113428728217343027755447674982300267599884434540536960642442243195231936524209868945453779900670618318961913260327664426454448241200692765613382177365248595210463944023942042604912976881349972192558170229095019344023090039878679402649442187121983248936383776514232103077901866915223044096*b(9)^15-52537477484745944269879669356655412968941373503695172217215696415612545251534210130389184174809211654432570172897511122653037254931316644995425973105691430349053443017260611593615229727964353406165582169341920009307261092091713227279581660899817169573128300118235839598026887912803949664486408958849319656189924460545699539744047043404874700251712772253435679129987354231301743918399927314936865367427409519661493020590642968365060914464319401003338580798824343041917410497881542441297523865240077165407609347029589361129726935040*b(9)^13*a(9)+496114748796354238137665006407414433166692570255137277101164166472017955803058226104193403320905046449096302566196217422989863303544646870681840616188815361184082153334033761364970239724850240800953818527227434939301215116754386697182324129199129230390158116541498039671571533517621034624375191494939769195522758991752117476788636895962377805368703940702174414438775413264688228595315138145920465078429532217946829599611310460526415784264272766961719700791502527128947839106965104271492046924761589357173209481346296629554053120*b(9)^13+3947227025415520296701717534141731309029323961332393621509945665618036276262987428747525310285813161619879825052652234420631615955291407386472181557439383591627926628036734808362360959293233708677647355198402804306094628923491549336568395658223456798603359460825970988635931725200554741339951229700441651632251464903970386712320045180058291696531930084164574287426891480449823571855493393179215387732375461190952002472375027068840651486612880855245310082161894458730790611082882598263843933293914586907283539874955148866355200*b(9)^11*a(9)-37273917979199406337667079154264059764335558430117136596059579371730697169968905581931987936878830986307093224129210128286542796421680944531997727210277542132490855583190691732599005193527070543021187843293350728429802844953053188348866549799107376471342222821506763971979241537830461659922973292756169756554498679567152721582625778709118154420712730648832605073916822913341384744860102285264630262532671239157780512778759894361380019517776978630393302210692910057889333223908530403988626189747883025181954078404284881305600*b(9)^11-210473579789610930722261861284362645884761732618788960299543310278452844244550628737749527704092576047971460485285313817279291447575771645185712111186941437461701360665540208487526868041305893970933327799227918811024502148955906250712721574688364937890812872294503558110120008899335150699385622343888183502236459936343488888831031719496998674572635389381264240081708894551170626999740603754240518779178957517786603850856890061943867832667881751275101873288242353144934673799698845986783263680544932913886816383606456320000*b(9)^9*a(9)+1987516218551970474683133598199964868350972050948031372130466333541612576421682289670871011810876194038874587818078710132268060820138821622307712928023118807544708670710608055923671484857632586354459366436425933704883022965656697258520131293941522227270492193776707092487614783469306459118500194721737405485295366573696079067877163868916291275077168868688925661564238783880059510705425589732292343549415401664356531589430396996460346789771716666798509228676743417758769659855263006787655415381699050374756744256552960000*b(9)^9+7699584395457099704179761250165229268943455170131353567793302789142101313771566021657014339486332718401056608650075201078658902803141925803502569028912430841185860818205839076798651527597847104365710644368971621254148732423730497455962789066080025683692988404122313035211139879808278842081392590143560744020427769209960884194310500986079862054948141364178036513034858531679221597776779080772335147244974361350932616371040716003096329998432568732656186424681793229199031332995286781809602413197188915288524141363200000*b(9)^7*a(9)-72707902291405251227451512117971337484382643304737639200291071042772300969563127947922535765956571659528383655144062933914405156291609704398467129288574212721399162263624067668167624465625934513123388004757928683093719432227382361409013389997315803740310633201596262520635349862591565996869987264008121799290191322281151645044093269536229350894505805480580592044074793566505619227662831521754834281490315191034821273166791116394829952827204421909810348507034315354338534475892962332579307930282590280990955929600000*b(9)^7-181598905572801801492300684835344994998586554751313127201676294300078456884878457338426824988460769357306131168651291034020144160313074353682785080130781677898596620471318493370158012794391218289103056561321047344542849695399596939207657315729582717371894671905670352287506584859901359793106046958156436663378133914513854982515579127396067827594291921449927610845847962946804311267392972829625113670301308385695460312996927203917193567364553888303800546836396601111450973177747087053305873242108779474137907200000*b(9)^5*a(9)+1714892166656476832677493605238008518668118514425389883565205371580284711628839091548882755948750765108630036259025314572034377159080649613261179476891348356133885796418906789800375451911786533090514972979316201945009811072451553639837175729302413358258092005791115605711271693641064851924621161167025430669944314214319681679415750506688886876351575216084496248526138509707123904398743547298767879783193756806037593874437642822996988504273961532674861838087462217694635103883860474092148958512791045118361600000*b(9)^5+2444704165607697247856918441351865459156465509038817743246613143884667587705104607763571569749301036712702145425482582826441186582578621373850612630726583577546390923876699858771890534738791855114068467239144120650898458382964880994447856860500999416103785159488807246462341986633464137165402351715898621031822092559524266149217887891899690172338643539399669891706085931087591365270374042787230681806305982620157501264900478307364302721619244763180912136346594532335554645378108410177973322512265723904000000*b(9)^3*a(9)-23089294746201639683171178755685243111772101823349052218814570293243034567935876043578169931465031284555256348443757173183010547040842089095985226105590606649389366908743132175223400510150903869606536506567962909419945689793130881001288288024264356855710641527064494010930268776304059022443486909765857915326097898214315275627969878750216930013384256969890787249896650063724566931353880562496404777877239386003087013513662710633895739224505485151144784250649502031459230650442144038201184513992976512000000*b(9)^3-13863961688507494432628690786234161536973921840627370817177887835560399291617265111757803797866989173051815834541896516148163101621689597333275923576591700187568920711432618496225542714384280927549453079569499236046685386078904267426046100922195913543934005397544534817702090782329043665199320986769802689889131346226648274959449487073201526598042307572430708395674708818751812071827805054788827322395270934911588776555131469032108936689383290673938922326636183017230101036440468531681034320831995000000*b(9)*a(9)+131022668469544516587701087523161642193302791676974958782444590109077959097833667121362616352528493929245610654877524030300516509852042686353389816387715936492330847350460397339040224401294128877728839180418077506038133857291288852832617350595419217466743552534044802289156269706207081821636323671291076939554461268331374526766934173250639235696711242157988759363510356382632991095710270656707270056227679928553837449026257259209897678899109949551407590430882909176560556178325262346710239557123671875*b(9),
213070266585300758276261369400523077339582916553024308960888689132771778797633016885683208783914733052284375575681274305075034585427947834543848128767541959187213218815506938087230200822547800046376126203411779215659397834803819889193748958611264403502522746856634453028555112980856168758890525110469209763672694195619110995480126206936479521436467445579209572002419314926050600708810965136298529981251034894274978230186929103047410607478934231586929689910075742996974796800000000000000000000000*b(4)-274077782994534963549834351415999585493979825120238654182862929672198702808521079456592039403404321070642884293812504531369317670022638572368630311887859352487105335599031679771146111056534749267678548761689581988263090490282789531563278530545466120236688037157284234299694182777269272895551252279901646684074435978750607722730527203764062653543889399113248010197122400857756088426557243235630699608049789474758115982127297923958870437694707272387845163923163740152216504002124887581442533531199037078527718522555917727590872558937841412603253017175654400000000*b(9)^31*a(9)+2588133961264092948754214160989382280388888290359911644820907432935110879981548541850721093747019818599294824973777119738503670967583298971348249664731638133590061701235718477523396887198827213764920709733464092302896157927274690032929857200281630059280717921013357610463269429142735348602410441281087710285599958227700492736858566785059974002593131807240868817484835460653327120964522411466951991509208606085892435419065458451486667938293810668485470338965301283003823536334457324897036380200066990816245009279146547153749587759954818306019219944243200000000*b(9)^31+1825416368770402794681744925569286686842684163694438911869687361313859842181290004940838562667668038360219998945184009400089964741618643583646696358540004463208983080599526620812870530921342653441293696806584120665783780169585782125815652662154115119866886437326484927400610304181365940409299177087359916171608632789319852961037837176918112590371600219874952203772195986593888065383235263618995686793777486752664412539190023383169399537683022418355914218951919886909132827865304775090025659016507555501513496221881488757357940660470342348740020530053120000000*b(9)^29*a(9)-17237523033949318983549772378871788514614073154312258227069401091772445366916457024318092520913355151756727117538227690643163507308354341670631665552738388172707647761556265581875559448131291617257326412873801187805328578970478220830295772461806079163907043065547637882330104167657690817168972687080009171791700261925551319214677395173837131997981211303183625251239263034762902652878973286595973575903910185152907787147832139382000743016232612324741767682341922237125788664365031828815343844744434143525455792893003528388136099376303766862237647503360000000*b(9)^29-3701343902126751685848312043519532081109546877639693153171640643346183492134256969863367546067483865195875661512645091284778484304495335294701891475480954069892030540110193748455582720752521168814071725099656427731259305015538923005852604887966358332799088758019198922186912528387469336262937580636004799261156434617774880639762002083052854263530497446030311004820483834280888747088974607851352715136862815464085280214228143677695900139420592372598266169468032256751183276018741374301949797559859184653118733627046300171403776862817435473267509952512000000*b(9)^27*a(9)+34952026212219571325877046950312926173598695953625729936631632013214982887172414576056649306095823890857810991967871117418981032436805985065378395274383690381405351975747824085882571593014032537345647871220746455650736092618369881720174287089510785031056139021160272299400273055360358622075771615149086444312507601347543803397883048396307595292651148386837962045124735818323614084038862924380064750307901054706775929507508548867574628871749902348086562424307155097989632926256016122073429383750609871433549359935993588373939537035620529451288231936000000*b(9)^27+3796457039207054394278872656767499351794378255200198843183329538006039697728886520429772131880017387493121415496658185703812368359612526855925366840077251097605193731075664941029972728404374845193939003908687192709105960009217460092242392452861301000219214926212785856448818092884738388178543840673584389155913579457101541928063609444520958387939703562392308912406201305099263847870582314473866850946484198687745352083766801738751104632511594954173259613174120466854844219661942129958854497405130579699383099842983564231893982870936754617768633958400000*b(9)^25*a(9)-35850185623574947598886577356482701742121975920641461698077554670646381969278519014336816457637804606583262245762719384032547754959555450711727734168437037728440478415441914797559964419573629325244788638251413035857454760356438913086511568987919885019669724137181184456950221687489427894733479819384554226349844815871022849816862624044466184107104145948162992697045593952463930293287672626714630092976367812336095529431245082769761357404170447739708775204349211559333652272888681255754762775217633771487712536632214849092056490647868154173403955200000*b(9)^25-2345570942737958247995411567189437868210207993720650023052183476808165127285331677735710420778781269732553992781933032579384692286982313826770844781840982779410888971745539095379031732026258836259495758058834234196065906307914412973769134681568460465291380689167387727592032724414275453303687736761492626108347368026353504153375893021868414184387842987415260593115807584525013751431957520709031646859542614470936440356082017327596598676094736479452915725858326386985831353124429750472548668350399365313979111112103974377866684222618883433745612800000*b(9)^23*a(9)+22149375805392202090500947034777342825287602648797817417981911839203035735224832077507850904320075718580984764527539652080799066640885181310411397024746838401555473948328209827023202262110597027636187459938538362929763836450208854617364659723691518248674149892053108374809560983932663496792857335374909699927668418898997796931492330529784283359786651435121804710219303215002138626311040458926329295005601855396339629552959252924472548461836840463711414504471099269498671861946471168057776857111707369198289063236567526400109016686311420356198400000*b(9)^23+951176863150787503896553499356670491897600218547132026092573824802288155365354075964348627426217491066728501259003447960391704769458188418541976822939763153447881114263967402885478971187387960923364982177680742717791507677475409837420088131296479694620324582423924980920901749462050269828434547493608746840297310433489208713174214574863576461424854316328930355090188289303521053737497983956611070641077339752195628555151305871934264135796435865461836458944851499439659524063375942218974061895567332962930511952780951539022098668728237491748864000*b(9)^21*a(9)-8982023700693265815049070016913340366069960352569616353410044932695721826623471970157831590886375378265052402088884838614930387360538388183828932292548468631953058223659891696161938988692611345798982337978786004867251027466741419514688370379587942156983193446745404669066184731357934597073545452720403375382365387837635200037560198168782313510145077080376391762172602796336496784630678065824390049696217106591033925126802406309870838994801231465180018894465707811883656572517734824111892035743209729472071379810632304834801532335467519803392000*b(9)^21-266016595464794600202346535427394572714323081014429642060574765681514519725315617552134780146948358643008184124797539473505007632575133900826694727719034201017055599684236181439047950706978367853961058440097316421237613269965836190934848564551629671637476628424001939969457757662814268847480314951263922512673118969349957216059576076770182518663126989755305898522083408284244498215323161893774641775600262423940921259064698238242632331490803313341196864312481844611971617693289086264570749902585406100644492515580853130912010690783429735219200*b(9)^19*a(9)+2512011654001476267638833461698601798016391024570261633887161995679110601140998576884420559990536172754028304131117234754179203467375729955390558177792738176602507528642946651065246727285285937182947248724130954634877427684928091301044736254026310091748178930919978120442776642782178337230190287466559627783133933649321148293554372731981953634233305056468477636589673368488693433320944988950481254056383075121039832823165086513273004514237118441312685791766974085842393091036076934997685959580233107810132939349097815665770748206412044697600*b(9)^19+52848181107587614274457944899200937237159349578810150513827869321111705744768302431027966103133159582887145906932804617092935823183956071649429344300913505066460422482711428671084828927667825586544012123261322538928403840048014061546340109936902194568689413125499649811231966032880883362839980522857630350106641617134265877152404837726223476231986987129069834969546359360101289856429010190691589943622320644367825187230632978942167225481283150438755782919069090472933939160638821022174449993370552373175636352088451421123178000302808760320*b(9)^17*a(9)-499048740201512859818554115550754307269747251911743997589718445985435961196081388281842518094658226329921416187903511308131120762413366120874387817082153268325729467873408352346924212457226400908213442158134495784531130630958378309631182654833448968619608223436807825151884584976328777092904460023366982268066650705523093500537283594537653310044890170447374678496714842252474271951112736885402627971794428230019287209324406389459703946380506400739576256173173972014734745314601451353771109083367998288749648538123169664317492804148264960*b(9)^17-7579133490514652164646484259155826400999027778118017652945092045376690331912005859283095585772442552006448408648697745238620827336042419738747100501960867710687220915728604074705755105023707470936011954855365806254510400061020567916563379692289678417943386418790903822108067255670948705475008334222844323101055961489392860288883754025304074099514234382370936747113362817365462003956039110897844328978073843374681370602838689870313511471142937199480865351468026208521426781783493487989591444703379392213184361105683558075512766347608064*b(9)^15*a(9)+71570240301540198621247156175339534681341991933724436563097376551080743249333267963634028512855551616772806294092620481490272413586398160372538324107978094607026551705196891015477958026639348520785220295065383200731716697895199441698089349455827795287393748245698885940250376003199001273117394308076812598757469663416813152836085177044480809860317699079552162300349542954460795332402522041219313988457846205894071083020831434148288359444521968853732065304358254362046310814262543177233714552581172339270541777840549588132025694420992*b(9)^15+788798503914863688431637194213361624688879439315362503993475720535152231254491484364030554933552199059851329577768004485441623373798142195187855887499438154123270994905238540146675683868381076976700898971220827056800521576176353750235171361488753247675921192465198839171296151755376876763904490015297754808939951986477474501814606452344894190879267595815428041708304179341080874811734620523910371003023402523945899771944234912134195515564177712516017231817662218035237188960922563655094754250703387106816061725299120245875754926080*b(9)^13*a(9)-7448674534115812486814889465233179613357239294296437692917798497462265046385720792276135361373998535938460871841379882739059337708228613424181185264664867939565688003699776087630050774447114827084180792280086800287592828447428039801148287808869906455734173847958341344063056253361028632572249283589992638194810914077588301767961557685349594903272611423262155411165737266915535257139765315180978370252747114138405903926471769700040907575776261608038154196610966431586845590108448168098834771750556327940617798363062852246558474240*b(9)^13-59270841132185191718081021679077158319314303392683226281131213804552794910159502283930019802964412861365776282796965065359495125642946961501064771593776410790244942855875686647979689400791310554961339857015169637293600417658604786320104164613903620445932320994696672900775819601008556960808320515333847909951815603805701137655867650776428668711353656985258428081697565912775114847757784194669987535257056829534351059724782983002019176019304881760400440077409295072335448070423555457351076243386381163049954525540323143607910400*b(9)^11*a(9)+559698342183108894902282571561035472876285262208766344452987730427154497647222802490598887545510087576520211404627357469114232036197593836175668667878887312275735146595242680544762791513824862192614950374641660254434450890059646728757863033550356699894329004734661889576044432740584921355635962709150506534087525889548207963578196077823362673561650201707189655014301827594350607869913568332595282297149972917936933568225505683708217029280121581561935089142137665712279910438015077980049132864226975700825930589889805628211200*b(9)^11+3160803680833699454062662805213569017681984254052766871985444763328089046610456595709938770303978211110604464593380739417044825635234200751281755555063704813081421051019246725607723588455840186334366888123180342335305891153125792941250353949803348632828361803528236622578735216988123663571194311491144561861886587989718414249662272347244050942717158930061754946316460646674437926338164601509025490165949203078745292919955582226093705620983157422753652558179680907952561556867690094484871180602789286600069123320462704640000*b(9)^9*a(9)-29847676952257692253784675168617865197552112832744467617203235200506980295638636994714309587815453570879115895431711190524777269140266979236117788902498000119335309288657272006438855216293275612897800193227574444400923518805053902352260310509226712884507910206926228982990444463088277643466750869985959541903915620647821398832944917709057116273149666972014543865841097942646096335030242985391149740565861661218789318359906580662652605649392554831737110941301620990674913427893684271842677135678289427588398362572881920000*b(9)^9-115642025958632333700138616938190754433333259060697866583477766018917368718976022099119043158255591545984198541081272526948017994855801539509770612492631097093666470477008280793992415863689399716021480771975699108233130874137810211208166020203143815854836102898475991211386621283880577960484742327759115874444898118853737343859327110674762929122182634601747250830121257376095934710667464708322970148330183195808201659030310809710913579982112862988156529687776663804427372451161205882857080263256551692800451044966400000*b(9)^7*a(9)+1092016939532894486153598974848225439181242352135715632797255655134315798327730415161632765539357956802947317069346548662088321067554291884549208179750720458781638092980095362457192938945012900542993936881005711795091332016842707853079758572667044870082829974884791639155105911160663611913984828816432182435079513400221570397795214212393015499643299330708255780687849974563738995063817222152118843150392867547667382793774991590255126390783576750466921913007132401147395771707112754252859803412976750915684086579200000*b(9)^7+2727755779574032902617081912259447026700559342853084580284171484470586906099074327391706872304901690295094877790485782878876187968887227847258445648010790609154222780932018269266055372824188557720899979410143694938745415831074192199462138515953789114720526632800509656146404903144222848096243875045444510971605156976103170357495349746520245246125663249281418270559092213286724848446231175733445187165943026686400945872706302093660432406945566984749642778055369818351409712418818412011250635166014532112246374400000*b(9)^5*a(9)-25758715301674852532996595037720791363753654604344079752018996478020564147631064226079808374198287108514181144562605029864661240603836578849606891521616075429040087200939498308219837809995579549335567845504293814184858899259399403891785204108648577823681723101590044278353667775837544648593687644100772570200971906368274043895060958612711939670335495438800674927949780189792996147590036790317570540845699576565197109466404358091276991857355373555867743802805769190425660025331831619698241944978111031620403200000*b(9)^5-36724076875435938486335691066400643299562643356029364126979935353563897175702971233275958993536057628245260050849456083719002879249593907586747264731604847809626929479235209466544360876645711622003415504648305619806837597438275780469066674805730161196220158410876061160568830936035760832413720744846919977418574631254815539910511324383847396534839201959890761278444123656940823584309433655330857293982345977704061898664972206497618264590871335238668736498197227982762102712981645344320701778381897105408000000*b(9)^3*a(9)+346818838389220594612825222132156770841988712993944265320582660854150149261540662916495784709780166771582021871221824623175392261503810844044297153899953241813569264169347008706132076802960068873217872312926981289689467834455086939149046379554836725875153214610411285491184711424588055115115749047774327345807628612768962844122847472550056974533317183022916844899755812612524678835561991407305569738963613095659524982126587566210921441458167551258631826764690579410514741105125948135072415832540045824000000*b(9)^3+208262520454671823165641764696259140355485153684283042758726881211150845836397712791478151909591562608053924138384957724529928644598017248961044400678116857892977417009822726626923662185933742740091551044216362485428704773755699275257973387350999689074948829623343606979253979060224777020779116526989670543153421404018420940608299729578139941777034230267404227744968970049371226095490560711041271469356961168959986617346982712998808552789455414396329300918136846053670089398171227709738367196325240000000*b(9)*a(9)-1967477630546977910558799828838918106336415769804132969370437705340699008510807490604385636023969578845524931819653575354940891272490421149764795214065312120966393357888788988694597757844436731252587626259703081729234890017932078162454899172533477749616657596089657064095286000321943534411646145533659298788775636224200366587873383336550444558138140710605091803534535564416193164694108644679379725183475561151024441851101554709239466177900495727529821216403370498293241519520328712574180287824803984375*b(9),
35511711097550126379376894900087179556597152758837384826814781522128629799605502814280534797319122175380729262613545717512505764237991305757308021461256993197868869802584489681205033470424633341062687700568629869276566305800636648198958159768544067250420457809439075504759185496809361459815087518411534960612115699269851832580021034489413253572744574263201595333736552487675100118135160856049754996875172482379163038364488183841235101246489038597821614985012623832829132800000000000000000000000*b(3)+32538437928822911928472407117135937236099690319961745609098383301689604617380649776255347610735626519337020907372999375716193618217466402765214431234364240304190550299582180888270800985749187194066322307291575007618693421380506523709803639597019951110248852193792907191034505927230150726948328228524114769947480265083480994699609058988712860873413110560160720846727821968597525253224887398448741576829712624129339719685615490535335842640318711786282019813974959298347192769667459441840243630006107936686333894987131827752295996506224320762824835150643200000000*b(9)^31*a(9)-307262541786356507634984742138875355389370361926352239926928278022084201566218435975060741277620778035594786161306408676523476262206962022106863271401618793928671626211564029770523410077048841322310718586144046604339207047095670635508134431203288562011924464088790146322103917487710426910207328279509448451606956986211840333579850676862787395946002548415788115425165216067848887496133539748640626874027130517430668754871310101358778180871130940745370265099961580841143757394040330431446140903309032386908215013739912512138341370463478566308229519769600000000*b(9)^31-216713817026506811325300909401369939126791821171273898381221682883503534864924092090455993057804768932209075320739078538708949235236029940773328566679736077635205964541795532667148927840053004778317324098371110960011364022820120417576919450856514359917804064622966943660684002868387553205290672812398710816021851843717521677893978661451722264417991516751292183972557621895690693151815069261476916137244623321453926225037453314941733313574760777854003237485544586747921606201735991285992058186582608941369179066426650113843202998140624313969972462223360000000*b(9)^29*a(9)+2046442377026447349361674969784653538550677372234993103776843432633158197316923347780815581318998230718515682688140774077641071880915202370006220702647145751036652786534808475970457561598497597261516735776279600892838034321101393767741559571615412306925856311825971747437989950690873876950237596807650017663400645165353502304886250296975206450991023480918036703498275377028552768449067659773209522354505334945161217983201868996300006138950921762240629351989787848238850540511318524974398840171636155670598408966030208010654122105716354667685955502080000000*b(9)^29+439428361527066516988830986087692109933263867082981158082213265301211569859947811048731734247062499164538163129731777516969547373630595147581859251119160395079781089259165172353131693934218983127960415931922840975660767270434411857270063331103970558884325088882156060965009737147794966207008721704656160891055873521270689847593718929730557573133386176121318445452554485377875596868776176893522651111719062684200488514434779905185668891487372537058176619556310221848209413132167938246920924229539513561033235643913084628437201841897770728452507303936000000*b(9)^27*a(9)-4149550005786184734675360512631042182703125753875431104904667642338996389653459726994023880108709831416403835145990495916465976676191572772197665669756823605053800147173864135461967226754780342883685341895322118471911760561046126777084406039380393592850323487496381912100829467656868880337953092262148473743754128658728584034670742081482480677756184901412376063643201127983589147989391798763551686919636852307316612414114416440839913841406361624351716218526016933928425574080311925067619915495198964114891055176340174307160961778211728204924715008000000*b(9)^27-450725656755810499029375822636874389944853572624405263651964287219572394146788173987508751131520093073439130447878596908192488699642390429915563261032540201203677685922091314984180811371137325437429954626951285473530471104284762814154099142051496921094419859465433689789066177909210181090434541911393490646979204934297328938682428439142759106683861279034441482133953955790656657867089341974287996181162300318127893462053134266553310186640252860122048807946924971894442900675103035518103300421920248567438394301000979378069105847064287372656194355200000*b(9)^25*a(9)+4256231084173799493527158674052721709501277280311201989460818643200248873548004999623343297837868524431912774834031386732139908915603496433544945926398155605813875774748496475390106014879141712066494065390504536951523089484908184034405586554662021799684521700981296477978455086533506994558292274363378160348440975476413487747443828072387086854472959021207677922753521420469617287379967051618912338170398633620028773217060534608396456776006228305608399347866091357583059542031735685500204674688839856643048742801741895996022857775740647936465305600000*b(9)^25+278476468238716880842432918712596661450486422795365849687524142762204976367293107506412880242995824804130280951723306104620303838167235840032539621643669943677075020848936367563245211409995611296845641424271139492706202283912848674043923557610660952711493357350691350746308861814473984241709663210355582982667833078464026345345812546564507022290195168129134132800056423478721218101632206917281817989481140675818633696638326204706283982356957994172330846859682174646335244181116949470211252008335882870651132684568114523202253288725066514064998400000*b(9)^23*a(9)-2629671026184206316567057145580437640731163941413336517215482824464505981914089958182456118339045425765558994149025894599343259070625619242018199880058159053661318323407788776784931673081074161005776444031894424564116517932716937049584662057946848675789027424627257890733271466201379723432219551451374179976324785173776515490964278634105083695698581052097463476261558358890722167443203552343610965039186190093621120637722167367282310104706906054366706574315493767412263177587354176260485679364368890438748325861233113030906350409503458145075200000*b(9)^23-112929703026707481725059121807008179234808151187105473817314064778068639939270290395684744819471445934155996449565940349987190075575411753286799785357613767090870652601328861825819245751707751297987409037519999473299427792681987098412356861886271752707503941093679145655776454657984055658724530421519660542018180032650762386966188819166282749769179061060930538723273661021049199784471031717542671021271749492881893360349944761762246268255790869065731548067532173556689222183478113861008119101891585428501602691342256584966509268687756713787392000*b(9)^21*a(9)+1066402378352604160706632611857231702086671270523903575262944030943440557983848981813541364110110460090063485917820962087045584581993017808901056937712239918157320580661331264334272344953109486118008180081729115915647540484850566648395858937174574209668841273606930444321748391393391267842200593442316177492293306364567456229860579231355254097790721720032612888008749879787872633025163979666702075708923779017333137123389739465787775954896963528856424840952916562844109320572205575626716990374936904043449319381141908448032709714120147992576000*b(9)^21+31583715845826154541259842078242626606801482262395944372832647599360969169980420095437441197958566803817304458338426980178310234446200472428856390645462402260731839736877899832157831200220004925751088915884568374771222626030429458622359861564442659781847140827743680601870894076749663664987298773136388440883384014673360184557440066390083044312254052025326006335634582887308048855977552154988270043100844193633839506643751410037343005205608375193313709945941482877614509509958457289248371823718989144935633392235517595758651211155219519897600*b(9)^19*a(9)-298247040349676420190904003226163265408535370151862381162705615812422261816779189088781014926483360562526908099729145589108124776289994305181743139468188721446459897685845063279542117812082083924383099376059562861334925653063092590333525579709506569825695374371889675819424683814717746700436228103130315337576366213542776662665901579948248831080207858007587679955856528572679812251605989329733473654562532392733180804318261262001764067821792630242154032908805505603808985611886742383204796083777701182535151510384888388322239840311364812800*b(9)^19-6274692660615077377116194170258173758355514135561595266485454640384924382375460277071075161562599595638322954293555504047141114684923826639033471642095894214334192714676050533398570996890603723928017741585095362306037582310563044406075010486347624413284309472348859250783532760224580542867286861720598944333018124505843373421140721859313225979573180750906947713552911678787491264595186843116203343980970316647964285399310054958681711499760440338880935000190685011663537850646742752771266067052790955868742975354225634692545003025030184960*b(9)^17*a(9)+59252322440715758328181632367212199965992265891872639728496447771623175146143671858685366872946125261088730741718001622213130808726708065619542993572192354784274818698522448096462396927726637752401585125160557701667489802708395178956080021416548165912009899522614918079033551880053955938112466030238148163371913375789617096979275553303187234185115797812891104240788610814187954935445191793288879650308670343435205672105254862021930132633259758277255085215052388190370289792305911345788684828553001189654670085271185103415560436061306880*b(9)^17+899891100443612360753487109844009056467394918423886790220678942083034313201511615457858486592988665586740437492735174742729292311400003772670225197995915718407525291257946708925025464466380321647423854311220069508937190788789207945057102949609372492600624008409955878490835240051635446028027793643793876278287155060182708632364048618969747022363426112693967459967341445929827936137384719007937056033532559184571863254891234487056202235121321772473703262098189607921768872185345883772476383610196265802586034711533522745380410325204992*b(9)^15*a(9)-8497728978836003456903930247939761908615959554765308025489735806322381832935221676089034792949545344767797513780084259472855870121333783482815364373590920102413332930240979654632882240603584928864138403894747978576197732837160743420488817206862407080828480896497214344936293970362478395668705707781656191956907102277700180164200136518794991895365710359053616093720475562870025647418077491220796650381026349406414737254177810387225806502178218712360922309999082682714715098346475933747812279972865225467292284794489592936782811365376*b(9)^15-93657869074084972134374114473216419011288754829948254018197185176686415014926735989857900475851520347925279517145524199700797884771642806730490586039248023455776216278666258350295166764996661820563852606731477287488655343184012421311713632236854553272116712202274128795169129615988700732016594548205405681634230074317660815302260349447005632593159625140347914612449309624606879842522542392106363430658775869355202324476311092573668057401529264098053584291856967175676337794243049966236284880348068023874269642191817737205176074240*b(9)^13*a(9)+884417224615780205952585277543632373447621571728488357739665840115446785732334131360890996569245851125096647790379977862382888080976395125244065070497290084718993380513163172537614861587442742351610876865838917309594558696483419585329444110019850249780893842121246304884586597830585156996830209779747480476570535862782017887863844362569290271653139093684455482636962884873071107676540750711037079889589846913034043798264958585453334209704622452243810309839265251879982395241663619454704964007524604545650464306915586433844510720*b(9)^13+7037633458380346586969142138845686320770626531780524397655503313710434263526748616507558068136959219407422483700993539689570620905130190311719638195894304917643629390035311402182048217194382451234742574168831150155953782453523961669384739483075412182515291314977813885714928354835280416791642909071460091882071511055505264167844220361271311253869097079741254867599422386961977764466107232155011904219846964740162246336099664136344725015466855051303768096225543919263256192392093254382098309844127560709815870830506956501811200*b(9)^11*a(9)-66456822129658553563999150858862330804488934493243782066259383245066145093074903906483160792982326052918329979121209934872036259248775361165394375344094149414380385896740909549922419828060849456793813835717213870463528226677882916911456702371336348933165276345060634136560003724311617457622098269234208044281787776591745339468528264501827950433286767286902989230028621266853191877141525040630907953544346443578411337441793080540575345624646768613211933505665788849519374513007989412082331810874911984203468617111310014873600*b(9)^11-375309676175875975770253378899842493233908471680516921491857245631457751998891967598362924937816352234320864437639567910186122660955178083343404764882434779604911015636280209421138180431505221262858644431947470411088329477222393929359883924264439592311125170057369311222190786078437693280686712468263138135409151210582972613066587523043605227819024628079865795990144689559937321072237967897647915990379086261979201659379878437157261725377924249198889729054532198572495406604610027652152163434198673594711226332395601920000*b(9)^9*a(9)+3544073697759167624819327756646832468310772069254461351505207483304282151894225471434478524748779136893264000627156065379136066280396925176606348806991865731512122708845191339179613716094378449712362024108870315092523000788146803524604882429546179841025483261745510684312006689155810770053106541330529595051111837511844996566651148440617001538280351274609742737914502611400517205589800539419992786828979505762898693265056931441981419504764613005058671377664939224582358840283771778867657147875804099488258738366709760000*b(9)^9+13731362753037630306010201750478961932743514369889030535279957585507130791490967239788294038906653748150417337510897014754988410791325682353491373240450289254472339775358228801037711899146754535982857376406789689053689825108049638023924549263463777481646668796238801512191648373308330615131887295196223831985039948462603240689659920182407355105161018434038825998078671639129752982747933475415410851357735950733867466005168471368628549489899526241554189305397248705685941264961043885280800331006362733714854851379200000*b(9)^7*a(9)-129666289217612220256162559038848010964974516713807608568328035211753551976145088858269883935047230529425304711719250283080724139626961558503219894743986432383127439707932823308768286877401956007868564023548287655802190850143224936668909654383727154795033637724194758082392834332136807815804317262387045752051536530426226703949805098142652398387123800414870936366473552565714768681557299898609915329609209582471907121250175136904977974798116658114375611785195202859114614966317662311381899124698291578871585177600000*b(9)^7-323897404297153334988044446294873738063846464413847135755770529025168501513913102404001749384776300260513638224672172562678922995908205637873884723911970589836582230688749867382283464479131710128066164741896004781178495602956569337415063850354272137661827842936865753602197162888296383279017681141293093627987849925261591906856489581513453703805886615603042937443494668168138277791606064275153656563010702214729219702649513737886940207077898175385506785781061001890596907628724351485342234953105850879914803200000*b(9)^5*a(9)+3058612046625301030856688500106691179801299012505107862099691394907405602490805832592853168486245013587213574490703107824200658963341022364891333361569543744715782456873164449336356011019265622939477030506864085686647187140209027110101707271751529569718995601924390331837542789232679848274038592513082247471830325761442461382967848665149354710640983402544417172390794419335468397645625863990756780255669374748131066793510216409832400192133835324458241027757586981110375523057191214878348008867871645604249600000*b(9)^5+4360663187072971877732557050723864401363444441951074382729258594414285539454441170273165347898902342317163085499811051069477758260551765091697588549266398767516649174230370274813916532402121748406136057857003114099252918471111266254400239395427253642370609087207904948703305483159047317237686563141883892930837963511751428615520520446405756428830886342196019973154200787324195877829827917105036274229024033790553167596821404243513031497098217468569214154641976022704560772744237840625996586293452365824000000*b(9)^3*a(9)-41180617208040987837919423460394926029428629469816122389362327418064454425028588379705587531810094864597452520855726083377006120427478922429280838942717102753272599397367101657478920172063267908435077964340163785126055827946435976749985688376483234679318956600505847767185782844040718121692368569193299388783117092164754792603362538473427931547239708225667299693561637164868583273177923932537416537956025848838362297931704179510201794703804254570579022101768944320274637890016117070477860962475806272000000*b(9)^3-24728691653260380907572055010771343930394436940282882937817292456259854113170120164300173994050093788607744377635917927466547774308633866200815484975774713861687930307228771831747195854569258585999340522024128159501432657513064636054778918654069832500168834583640984127221611861202920165907006320638726947547483053419379796161833575374403773608472347100449030290307323122023846570758584703031273896936182925493138982112523799554992804787963432051884667387954129370755464501604104986311839121978407500000*b(9)*a(9)+233587622711600754553333679753375437344799316398521134185771765759975096439378670144143803780125779424968726619806566918253182375175221467376655976873837239162780783998598063720393319707809383482543564062014193996992018145489175197984326352072147241138129942338802009615356540331345112092788060604330012044782761664321401952621084870912413540350887044645726582915469956107460048371073075197959793047774043143390281988763744763994443906944435982146962903720079260558417672107875537128520712921829921875*b(9),
426140533170601516552522738801046154679165833106048617921777378265543557595266033771366417567829466104568751151362548610150069170855895669087696257535083918374426437631013876174460401645095600092752252406823558431318795669607639778387497917222528807005045493713268906057110225961712337517781050220938419527345388391238221990960252413872959042872934891158419144004838629852101201417621930272597059962502069788549956460373858206094821214957868463173859379820151485993949593600000000000000000000000*b(2)-106367223997890276459642504620333072463347585631735965963713678395347668722995773610950395854977093036172088922979857611735830210083800840311262348602461080348058979155751148165679345872193794629882022990912970112243198681752509198967337133956685505785455844086693731487254192888248964373823528480873840455867183677885567386810772622152395923880853913239551525976976273201622431614217277563395315622729591663381831171035856911557591979125230058956760743098121321304952315463359277288181584992382871108524037408648657729771758073455685536063890310089932800000000*b(9)^31*a(9)+1004432470908501573057273606802442944773639953641118333561842867929986796904417079629805087039281218252948745966872090355654200716494164676648766598914485989905950363091296157705581802706924965831366236563903111490875607822950530352260536563236760751765027726172803579427444988543943622445572649362803930058482656432381012832767603811525115314529945940340449527532665704547036730729639927539828394334963284069930624772725835582294394939438208549863934909767345963485443800197866773075991095799038576787416704374092811241118638386721525534482632173158400000000*b(9)^31+708429200811623765992919960246276198013183417488421901363937919008971239730661383796614235136060999492946233477087445084242987713612810711301983523779428326389055847773562780907666348990257949907938265703823230533997795577409236876914336424872987965017529594609844362925381965961502356892706550098271281366897514994187613033740779674116923438020505443893643069778767970849372659071576143397254314377756145021798097291358882246886663996226551701420019626133484436844566371902980612114307222414965509088640663803095302156949968519529930253639272041021440000000*b(9)^29*a(9)-6689742064238395973823089701739055997489033027992088660960312482308366247037478755414432157766408691929533216092612152365508976923268362402658652148288435845257130827814402323290039738271447068637363849306691055130388283563566739990364208732173278401836858783142972932822804027906342360366657594175872244149706578858532576724661470698283662148187775103560998316277326437397519255792812218973700230547793143926281247803244160445324278715474229710614471177454195319487953160812394638556543880415920281610569915685297074564421100114973270568964791992320000000*b(9)^29-1436465109723327234913356202543505050945847854843645277327288828181895003526186078677921605613525525808519106148853579640854636392967742628400102146251196812018303843087413447314774726005828020831476474340691253072734721151498116395510107375470036515115713845804509338707441834572785653256889509414286002400534303499373702041667221025529779846353410340190015629980733348166600534117377091442629431791582991319049646372894507458800324276727832777718951338785876517956562842995271572607387424569269976969433742504863184400968901885215419823548000108544000000*b(9)^27*a(9)+13564631521848043154322577430954162496711022691867385814246967126642778191087254149848479036348317610307696871980742185997158994843504633799378743968283878442084714506535711154255413991062532854680357303833071357620652823234943347169868471852495136366483431984472803844193990693474455749227749970743840052833881313834670490569260880507080538641733306157608041455341770109429413988267467701947319389039432011519587361934578899489640261105870309742878106330613915829542526372868016619331631931701492809078160470301726113748617775878210947429466898432000000*b(9)^27+1473382411574842512270464181139908802132149824738774235485530581203016405322768560879746788678073370482113632233528606119639066243849405008666726946395203962400047095170850772330193714738783985497456931231516995645047917612734574223123193773447902761379030183782395860794751834936147618868323208175823033977810982902223491725668228774037825427650795454872680252749600460656269661392742999886331670470271718986857811957831321489602154770091943761099913269259601458738535421055777348171774893950406054156438436926975600381026862429157688341452082380800000*b(9)^25*a(9)-13913243954553184818488144581315019215175612153673083277022650471111688560480262852878223182546618872454281565143059297013381833061485430024046991657026118693188163882133714567930097228402913940223602276869085047790861303128079735066854216117134034174023098553110498949188945944452499001354981046320476744871296712219190081057506804177339433801980918944060141757435848421635284710795331373326412792728813908637712958257529164836431406132244761448993847914815757059504923185688236958444401435627414984454764360404736275927682161813993333742528102400000*b(9)^25-910305124425271886959378018006967837661578041843023345559635555344233375651716735571154711188728902725843447582674295753569620510949772011790549227930530453721298105112562752667382907435157862348325432281197647107943281761502777439379430008957718567245603646137671490061281622972504344633096474625916197590735586002345168997428232735168510146163058512082509812565831726763597071573475293389261839911647230129925803892158636957428408723717140549431467654701854376460012014452729408943536817032780814831941663249142335703411296957724489881852313600000*b(9)^23*a(9)+8596069268718621352017920351496382685234071889521022095875195656396073301751158387088808964385390763899059486998563803939266194983509174561763107706717619557642422909002479099887925904350080896720698035711725002495198270943382242170444020546183796422694853121975564464750956836302975434832851059682892033590670407674569256701287166130377026846156319036591780244539380779990909685323577172742160809720506545442452444065853741612484278452933913965884460068076267859548267831724385462584088401017379047455578388575660600621676895635253389741260800000*b(9)^23+369148428385586638860103860384097709423489611488814341359423387658139175405008280695100089219467270437426001392751084076261577711278174290743707007212397020401995076917304706115004560225631238446300484885050410220283740796370968786505009837682526181004231164129173240249920652111743607614159001173835368389633491526642848486822813213176764646421745830054849665447903849300279130200736929888498709304417886544408211200824112367967456358542729399605052145647867053058193311650687962614227548771593819340146640754219775358742373995572799018631168000*b(9)^21*a(9)-3485892120892196966819566163370791170758444207077458508327070861942680397018641536024118694239664149346119765794225924556613197848292231310995753285047643506907428389881436402939440703050901647547355432689846515477358791808098161432334466158747042350669815780651146807935619711267294263592232126946784587598837678617696729682737088568183068252372484028002948550827074389559176978176244208817148597798591627756879869352359992219773714342889156069506553384414595810016911089411846482492556328341438263065903737639076627156900488596913708335104000*b(9)^21-103240359002864168323455864979930505207348455881434339375381438581612005773390487763940655797874352026136587496098703275343432970285906986978854450556812764408375567129407758532587308678371718615768693243638250429144944811250754776713884824098212526798803989656269083668888808662315480964100239197270578594699839969126951473350949178567522866207012812931068722291189665391943383650450685195254828289003272907878178385810622142179728657016012608669947109404702248397614778506679003258630942865023928721070690248964354562505646375304576788070400*b(9)^19*a(9)+974905285607741550887193958524602918681516572097520898832797455269828542434838285263971570660344050647447196532743145772811354851959713522359230326394016463882287432960256917132222304516331932067543876732416109756351995964232903186574463290960776392062344089942039580424097415471805545795997296124100050076216332570331764463256180476201080948855801719995354149918385353464200826924290843163146235552152696476539164361682820969154549214981462386059004797947544903159615566038247589029469193087470100504748290234565181090045929826446160691200*b(9)^19+20510267411472488136778961474425129121681671761880925968343461524434916246006273216491230989929986008945156122408316907404132775429853470674632577685304746052138416964799964421810925958156588115984461061592643212997987995647594287538659461007623608173529371265699372041876703746532899873220512129080413047944367684035213323579791426550145662780638162925527523981269891459362296573463194658506387359549312418342188184944633927117789011731790890861332812707481295023488245927569465596430921661989215858336102195545080951210735425101328547840*b(9)^17*a(9)-193679761501851146792432808434747426487766689988242773188120656767450968555966476373102850100008999119518562499488469481102642150344126437233969056029173846510806850913997682381029067791670419273232482429895056217357147747017159367797603589855240531607935923362174684755252712694434110806147698589597334219346702687739105455017550701047795747308746588040704170442634304395697111686457419011631391394296408816840700160120786238080915015704313556982544525176469906091542183765068578484952292066397125232088211466420151907179847711478251520*b(9)^17-2941444066384663536992642274204506636975815257023408257722995820857596336448387744220301306978347552338225385467941203946710780787149642090107886268799308397043592226364806214763604037138481044595275998662239061053446240488610841251042033611806552682165837663317988574948674487785858109067214651478245367165207520925599773066407607580279316412078606711100935228935879646971641313611832854540930859036587990930447487522571089751963857724246476917205402834435643570676021784498835559412542437494419239279941230372548973940885302508781568*b(9)^15*a(9)+27776243669288865062794601569467695623344302625709760797901429780342688701061427152038261680379923537808831688461482449654367111013472908996182893936127005063613716326221130559999466858549161388591069596223761060589310356411533594708457849235537546065426247263200844957980046213678699894509927273899252139638837674544090670957574435931503500713669372803925340407564745599949159696228982427115533532500965300207006373024414880951320240907275794494529664641513458759715628944046482970983781135571370809412949796670626972799451271266304*b(9)^15+306130028248121938409615302933023455566858962717477755167787256771188495492426590382780702214683273120430804539798457977081128375270340490681692062465697871594772618426567788727210835146399307135122430799214560173698976628397743553431500452476153367663916104273713990719226514516390930801222877844729263799748691780942153511201401579650616483071194764871333969832609912562934057379605493850934899775728101156737813691972248914615192717163342904318516622834613699496916623463018872010357169055433640541326575280319418282611268648960*b(9)^13*a(9)-2890805359537150607020551853205804236558106745027565845030110443395151601386431980980822216266878863331799285880125967176328654672701856128106125255725361584926752711645169993150407216809537143147908699392236028335044115187415610799309892940530945924631431196244630061076110435004678266809517506493529119318072595863135924131387031646793737962681079617641396609813331706344000955458350971090058475100649172048556489515388078540270254302688606152979786103286619619699699025169945804079604049884713887675801543321495104234853498880*b(9)^13-23002689548649303665153523006913919948356375015939107716390732776066545414953050878156605747246002914384438240019316982293126792642130863909245964484912152220421054167976844949858004430377862726645161145188780588293727820910208023413321288655476267389115066642357240077591405463296180269343256123038928593794178051391482928695783913662087528241856746710833823052220399260986856374917302137648781954675066184746027431395380908836505635919312870808191795673421676823934674335294304076958427096054365939991043968805366498381004800*b(9)^11*a(9)+217215865751077552299605719372824700527309063311945456023063452992780432015138851511022869743000975422089421266365316079257735208826031093599302843177419529594450745686233555212980637377335067689673722001541754625430248975101097698250301330317256335058849980607345450046692561339983084752983456180895472096289214269945108899576296317176726635212846244388559538980099714969601072164947413559442993104966039554356282576760023956560760916605028620780972780482056941905502337859126911060914940900553201386664969286076118492774400*b(9)^11+1226680162842209512123258034362140370674206560658076672149102329685294678401583594768926420831317267646276114072522194956341464472385925872239574808297233794490480606086349287218081419770948256061205326405600024396235588455969128857719691403802621144589305740563120367476460458905965132606862463100554765102058597376840013347390943461029930097176578889224839331968598882845956439788790362949283833430597756365088812015772460545173760531283329372276346415605671682658843218091871119547160694929999427604705788368183623680000*b(9)^9*a(9)-11583620417541163042801700669995985799370247478014193615597954611491080700790427198564322443620819136465822271548480229640310539033957368769487482366526524077308805721786448302722860440030280891321538438710538724762773111508563447900990686523618533578490546540403774478035762074059120166306325766738877063758597281479660364893207142177143073904411572021289093123304499028593033766495187997737284966179608288795039991874079027645081631159432742277708524683680581719981691714149688941441688071844349357273537387209687040000*b(9)^9-44879081616192297399464366021763646106269407568090574351444967838709078405906722799759374008973853966243161004398211599408464905107551264565351077146835843818365809095202800985104560542393929100208363230419325273063977408139466686354633498429213656077792782665851403606171217953273487172458066975396765077454053842968580068520867590115388836653843056835239724254490274940008452401923715684377747736993765669724607269891337256586151928358588161245232111925536460475625786138747455892345866263001868097643732585676800000*b(9)^7*a(9)+423796487940262055610879950961895567499759400525751182105275772235111397060106894356364292051316796412276784131971609616344556015570889215149751843632397437576456427169104154373271760956446968846385183816615595942688295396426097448305463854533047144448134784353100255248897501679236134115436781509441109792874593499321332446474307233755996675617950610609303283404472577919168522722062619935321045798919834999320023825972150998683235043728710053510329853085599095690986582123538503178022838873514989380446873190400000*b(9)^7+1058583248403883304716854075342498445204042893284670227271101991029958476891954052165608415790729392525677193859569368042403653061669311895509807462671779498807613225371893520593096175783398106066617265945459186951448207443586597738357119125072729056823310878260651644211185664443946474885492476573079454621379691122011060930038877433686757553285743531029000056445535893192891585277785044940646467695010419842814464249518782781833402080999413801332914473016021355033187691419539578568533359070650966016314572800000*b(9)^5*a(9)-9996355428459821197592703595786400474749632029802019424266846194148304897169719488463346899910889251597634258600277902537317328284582016250514076197722261433497872626391151780424261029290668413430074893726777311606538573974863224762195875658908037312764840207542533330018418002599316610731224106878045332555231508150445506854349525436723817592332539036121619713372016037743411231614259961236719027959035139320977807303187543419721631092368146686235602353187964578669352695456816554498462179647391319615078400000*b(9)^5-14251275109423456301399313028368593470308194807518599088392263609622756777876220426793667322143734364197371693615169731979054272497225317585826785747593888196852327909252925436168751725907082964365729975379586303110673553918332560584295107013742489693437456421241806327657352421437412834158706125315898931565109697193061182673121134303154168416525326838434454718224839636466449825899738741333864359796711581303925362635450995177112538737805581693411174705150537566529650333244502101197292999308250218496000000*b(9)^3*a(9)+134584240499418853793060709281882582904065101983424422829800268427947599746043505046654190387262963284771304259680293121405032644520413494160519824619931121601774020826498090426181011164504995746281510738627035113145199505876998851199010402129658937267712186809494545745352416134066832504874113744269200674167997076366394502895099609595832982460573378839145614270382622148092858626655034683295324644536174080633523169173229150638353875357936940579746039536538829981682723631386815074933918458287730688000000*b(9)^3+80813044514809373332752442600083045191811272331776667701623411724077455698214207040722377485246769371565269877423726706075942488929096329929896584727362284218765554054741540471604762188861264789513309038721162735999632459274080975693724805449544111716648827485531411026740099394078846788416254142844592179121528511431660435443052908783405855364116040437106077462928391703585959229788535373087078045849381622819054935755643845138776662330055833991433021136125720955831216677778550322964290002113380000000*b(9)*a(9)-763428293915478571157009138406587021068090393093071711338920294398585191241081055557864786557085088912262405172049479772109027499995959816335976091509370199436239821664770470354637592572594611637239062978541757128991389308583625655099952463432445281186127115083172008718422475848759567906579203870492741284924695272721950214813484079258935932808962915021940604719906397548046145605473583995430834434366090902904305652036344519020857519694666264310028391119429526255590452762686252474261439456540390625*b(9),
3102942053636280899733450980407580654239948194571006144415584241615781163748417473573609849718083203125*b(1)-1470479704806726421585256544988556097807833646794079860316676029654056294628147894227350341635053366863365882392987915733756157738148486477272778000039936000000000*b(9)^31*a(9)+13885833509663450477457671690713887699848637670437193889492061667454652159745799098833733585207241400142048260138059755540861452547258783751285501014835200000000*b(9)^31+9933258101075160416183191096777693716317497391099440461623219496825887755939699556951721487956668894550332998247951571230004046562280246209159545130844160000000*b(9)^29*a(9)-93800388913330158163171413871024666998569614883913553838993662996722019833720060806956352092739986780363524784553565442144615101084601624724249478430720000000*b(9)^29-20787851852206446945997269432902734712283520696692247306115217276005197537815525156135277581592112420959693520117234971998475204791279516429820153036800000000*b(9)^27*a(9)+196301009051296361848071391616505998592164004211995818626182234847389474196489434288154534103017733749307895110515821677832130757190231775073078870016000000*b(9)^27+22253302514568954091946275020618688796926716611448507290833218739610776068864645243612423151552712474323872095510693286895695623184268410946449519411200000*b(9)^25*a(9)-210139352991416117267774608185256698611530408582487937239747853733224846941369816394018547796750119993447217673056936691476171600325364950269060710400000*b(9)^25-14517446676490237574057069716625267914179037851356682847980325457002180043597723331881539911952952848504476501475132638883675555343874145321484288000000*b(9)^23*a(9)+137089173596181596685479593266219175567388930800201102970811329320111059292776441486178405847456022480111577890989271267020903945751110531573350400000*b(9)^23+6297518692301246852474770333236413243999136087858267125934992849519104927131486771821827690714609890282930350742509568059800674347102787738796032000*b(9)^21*a(9)-59467870075525612945016330212822264550558227026211931074066967674951338201391359532870873906597025904563999189983517553993326240989400493195264000*b(9)^21-1911531305213454420392498855098744282178284335750767860224435108273461018839625916383276749684579261084551809182193765384343298526083916234752000*b(9)^19*a(9)+18050711766645408852041028521572231471633285981966007051307412536596910301973929395046204023515669798841754021858604819451223196521691978137600*b(9)^19+418985519674491254448390288669268780470684363801197483373619812973136514188561090290123051539049738160423315189648107456079438641290501160960*b(9)^17*a(9)-3956506749195639607960738753258551486552272964989192422398125941013588017187729588879619191667839440914710237160290373413060047503747973120*b(9)^17-67571642996703668971754682520729912904884503667462920589686031320906106756094333290823461771221603830111725166450813814262166509049610240*b(9)^15*a(9)+638083025286602815557589132008430530617747658931186019236288751136799854152082678783743572800945165398025252161171639231420545621819392*b(9)^15+8091033803678563508214873692535350218532593027209302317844435094921237901946228825671507467167831032108385519976840055837893496668160*b(9)^13*a(9)-76403804274603390238834896986121893163599515732461893997768777922879090104913071520232703765912990339257113655326437175222777937920*b(9)^13-719616241484637396617050380070191423583787792536528436649388361903240457408119862874732705732851913558127135706132284044214272000*b(9)^11*a(9)+6795096132761490672109221375145018311555480518067903057513227993591920329011291466743557415108358046303926357446107376228761600*b(9)^11+47131939424215144770897373614494877601387145706468812231082818947725482721503679829218205008177183425514928167432908439552000*b(9)^9*a(9)-444897991819860397686920854204028657268112240134825878061328002390445879354685265890270405966889416944586339530114596864000*b(9)^9-2227785589276555648398774421706231351008796106659778060919105192774892589911472283771021993124683448988387642441728000000*b(9)^7*a(9)+20964779562496613598409219128333259093705027700468442211808949088411211570424401714198508444462990875587313559142400000*b(9)^7+72950410379137760714686727330349549789131630939480539888603086629904220558368219378544640019546539217430721331200000*b(9)^5*a(9)-668633585346315534267585603892892166118397895086395587743792589955856757773857366211740199227791279779112550400000*b(9)^5-1489500421368959545038839122381945951176841374990048337129493289843960951324231231673059879663832513904640000000*b(9)^3*a(9)+10613849608085026291894211270617963175134431776467178729692637202950616249236155030257030815148965769216000000*b(9)^3+11406399751996729426252418843114532524622850031653154151920733873440105876915033108031430707144530560000000*b(9)*a(9)+193352402801584090150081794425385276393878749225906684972986918162611330015390614050158530146262073750000*b(9),
443277436233754414247635854343940093462849742081572306345083463087968737678345353367658549959726171875*b(0)-73364195225720077064000767505670569877677956543356688810966557474887086009920947031227151272456423321967499826676015827419164227106887590923976075902976000000000*b(9)^31*a(9)+692782768197883347951946562358075186750534773729822214004912851571307953889460368422140974719786625555970132530505772109199778997893844069276738964684800000000*b(9)^31+495583505282405992065675561979850412567331961252227535612754716639449950461631172327737848513964209400155239317114221959695289915049462281562483211632640000000*b(9)^29*a(9)-4679826604877307073849583170405918656835703021200398379757271037302481952307598663067799388689328067106499449700550724678546855861855897292632469012480000000*b(9)^29-1037133675917870184403136482668606459701402498771478274191508729642189797755177113479918350374079162633528373536602076369468898199966257803733353103360000000*b(9)^27*a(9)+9793719358369163069302122930534756681974821427955549167865773532835219326942258699088157306804693975141087954070009223165485359362112354964926889984000000*b(9)^27+1110246965504497602153300495669862327454157552227856652052716715274871225704867519680414476000189122469295602054898410656613630327318140032757058764800000*b(9)^25*a(9)-10484132808603105721562606376938462832138298250403928378273726134004029545307031200135344511796976187115208854284555527661101247815335078887266713600000*b(9)^25-724294792156173541521590564952680436041398303140939318989217998406777867815228247051151307715822108233969731384492875370971804514017563740471296000000*b(9)^23*a(9)+6839561853599699988679377823887096577499158761536769347080114811417640459663324801820971256142880208170156659519113099515734831480669145242009600000*b(9)^23+314191613326857959914579901268731706903136356571753139701988142060937613217830873075763295638552599355334062374905363066637054876625807530262528000*b(9)^21*a(9)-2966931415195680333860393305428389605242542337271442453292435719790591159502897732439283674648239842669146058584116383010752978241158566117376000*b(9)^21-95368848344722653814083839310141976405215597471927271356748636796721913275120040754879198791514930455150192887268278071293889409993297362944000*b(9)^19*a(9)+900574106855214479680195476182432207039478079912165720671803426748990989043664602835887447817765991738201732438184175603482573103402739302400*b(9)^19+20903746973942929290216319794086756436318326514129609215996016531283383117583445397599388202957049857927210095830628834336276495959158947840*b(9)^17*a(9)-197395409436391006852127830550084672440980925942785866171368096148701797722488835505830651090079750233503709137530162149018074527909806080*b(9)^17-3371239687171955839325345411185098946276402065028715512872695393724561352370835559615277282459063509664039920758350787213399546742702080*b(9)^15*a(9)+31834824025462948783124760568966449464085741807907661577294212201191012223285367900327468463741741710648697305990473114491520085393408*b(9)^15+403672731294429084958971517843338152245520752920418352399309293589428617338235594291469146900161912608811077513886461026613476720640*b(9)^13*a(9)-3811899321182119248108238191763462636086410134880383412897039038545683217517078914985842829008694149351610054347546252289538785280*b(9)^13-35902827302880230434478010387162099925911840072853002832766043922601571895970553707486673443949354953209891731515648312868864000*b(9)^11*a(9)+339026030069240891459934741640503163470346924244666245297912104666903829475831423390498871121188975333107267913926886975078400*b(9)^11+2351603155658340812142092869244681372609034037085578672896409067257448653387551383811752596494625738682574010342554206208000*b(9)^9*a(9)-22202336320309958438918864757920841226344795605110485641457956259564377459496813212271357276956911068685768785370546176000*b(9)^9-111200969749771653970450692707865331451172812425121163727617220707766041231812456222639991008888704808426380722176000000*b(9)^7*a(9)+1048393769968363270019476130931432360456838644856377763644475160728387519790777963521972060937877471360028613017600000*b(9)^7+3654639505175503290462711791748753720501364997885311589297937267472193359331909448517042547563291524501130444800000*b(9)^5*a(9)-34039777041688616637826191009167183909550814014197152560049945133271114887064823592665694302594465428773273600000*b(9)^5-76878811728112196144124067112102038531450860670816926982975474323421245314025773673188657818620737617920000000*b(9)^3*a(9)+645620401836544998470472160644558455838327071247830249012244764556349245199797500388154172192409667584000000*b(9)^3+792867741743151637145668840586363148198144077881050908045095920351494122158753327857887995288838240000000*b(9)*a(9)-478517761863447665957898554539763202888801470810064748889673419561231510457010184407810582969992500000*b(9),
c(9),
c(8),
17387982735472586505321757946644309287132162807053337958219351845300137392457378099791305992129534582352617320740415966028413500580694567791549102527060955317431564453441720907325829425478008477285177072517810247514431842668258540761223620436785019175938781495005625140598833571516093667367018148341075684856823681364586717038609167201240990775058692853443206598696130368689327556009041923323732231797379781282838001975431246490236059005322530905154282650009574642799751746978416250276806656000000000000000000000000*c(7)^2+923409854569082348957500561251253565286603098219676004703631549753503238417786337834969686549303764050515226756545974185545962945817451226719708964040375183113810744410236351830348437981477129159694241870563560412633594992110148034887078794593571615259264975883944382060664568432543194746145099850929095213016031215705267843509750238245033331477267180305687450637359297046789011290769368848619752169579356277377872639543417215690589890963752283042393795731048214374463203657714135897368872577323318663523964433685635868585640303742583136133620638966210830161851659059200000000*b(9)^30*a(9)-8719818070127314980934158132913649417584042961482961387362890420481553267666496045043493853817896395048379321338986083393766834467900088104421390856049571005576616296346981116704345131483531647666750900277920364541201611841174060586810368884036848304904021718047010506520448541542494910055971517505138456696223752745097334730988322950237622365652439089127808700585848920193809353422684886259187590987581299404571550575462583810562451104340143283531415886430158367189342791293498609508127112867664700017055214787793024159237227892519755744907682209381155044901624217600000000*b(9)^30-6128857366769477773469030419731631602716754739822651203496624406587385567994901171629715009340384255113251099078945996530105328703924878665287017615706372792375384436042338684338892369206374189006316411165639134405337677744662466132963383903576680676187359851151708553079946177965629423570381039568854455925003740383343262419487352928024057572984494719799947297604945623015342925484457276472653039532795809783099909481147913714421492968774199326199650498504474314383835804085182043419855419511703822012090845537137699709288301446722317521673364370079568198293950300160000000*b(9)^28*a(9)+57875190471005787688553937728934543871149577089562246199969511242954889178623940980290455099400343039450391737228506591321207336711651754988709434199654480463083900037060342835827770256339101907491688700465723857469412327486518719155432959861126553813514753863793686092822458473386235947207082790091138563073820823373627703617260754475069384642602274390605571796934509246108323248895318727088300297454328054927519997215765795259108223002581233892827173710321073620844307938730021483961381212834063839995693228795834085739226663193178033265709812311022093862415892480000000*b(9)^28+12331290587570740581625625012783203270095751653523329081059330816809799756494016167076399983610450157015536960691045255293357519277802570507597435371299805888140187562612866599179313331067927975151070224726290338377354714727300730356049857418346635490424955861009623120172235588517562807292622368889155636046543133212662083855183081123344445992098156245233527657955996206828115850024042331195732083451787263327271633352419933455262712094000651481575829264425322150554043835874391673592675489606884852844192174244294427372870997764420116899170660421847527679502319616000000*b(9)^26*a(9)-116445162417795861020217206502753793297152980108744399890509156673151501754257364879283738392477875955324185158768275235703596152867851409081632977220025684444088016642314570627218495954525433524285393043320686069516551275522548191287664866653089738765364107529480796955569246531128376282765985819420257127116342965995673149542050351308046160337183786655792157086322555807855038433421238122492121210258422986745995626662440692834049763889987161711094637542179491091575874112328490630970480727789266392081536116896289241380893901451046412701099573756482831198978048000000*b(9)^26-12519725929646512321992453441103113142439929977528546476830130200487380927361103605849530275758832355957093205616469656370389351935400748197997566689578923998251997253153711855985344604516458951832200937007013620022859130985986026364873758650423997857534017749870894869644511821958274876425989508215625413747566343475336225582016583692894335389481574476027281002832519681277774557647424125796399478207126961872678832125367878380545268312749307214266904415391461653604256997447752966805534647857754759466737472976122760703907956684449268140093533212305510410433331200000*b(9)^24*a(9)+118224569354760516780775414843819617068208254270774654358109524369004198149054667822912210353021556742612388542595508724425346004281073176663026669290336935698390965563468758294644084173353375300960757475528879315178615839271221605608419851587582377609388298479648717286027442690261214928574817303058731163526549967562911775064809700065723491691029460639639836158081834574939873214720222980648055967909895831880261330406846720936505311047800105483613184458307252365261037843230834742609418571702060133515702325655423710854380935173569601765804927944124335233433600000*b(9)^24+7639132002135118596008759985975019071304930089541294450051549813588502453676233463402714080675719320443129160916037504142076217987762631296242601261055499676980665349435073618242985838119488809084715785229128036927842483444510231592776029330505158771554269281548128341833927582777912175418383370057728857656872900908785762054908494773578454223423772816935791625177242443412149415801583583901031905247231360793974657866330047076927725485474883718303718767357613358439576148201045619783074115466298037740828141793887656924131023578730118778778461713403174348390400000*b(9)^22*a(9)-72136810044532007079740640200281768178532099545783827274359615653222466511380459978407744881649900732419217174338562817948360863159354656130901223173763074532829817734498122840531319576932764278271458436926537557262429456521776413253635490942512526038632107692822545598249402169633414955320700650468281290375941523554637451955371023321735877947019150937423272313178848294285995612908187926537764192379399521236398710987405154799100756358085013296941398047828515989065236969783936379776547200859749502765569602454135526981097079504944718282183032162600825651200000*b(9)^22-3052819596556698442678543039402020077387051560633413479241621738735585109389925737371776072170395593666336497669048886650919853354265103974159087258910459303976601546579657128700535423921591784390831283045915640643400034328966133415977636560743251195804591215401715607186683372271313324388981865593656432533891215887055293891504196770372347805309129304107910699045990843172681227629663666187269433187321207082420403445296141525562229228984423959609964975205883047606163472165955165141513691167925915740478672419381901066171188350544800944222888788301396836352000*b(9)^20*a(9)+28827969889159081708052359158621597151745734103516175453973998170232467960072225696195814474694168229957731220331880318930567530101813386962238440027274152244338353832079243133820242227847596115258063968277523846905034085288364844006311343969565806625930448501618333196567405227776783128565189211048256429999904760824429417851620468697646907248867812731379294242960729066564409826879785812901627041561198994687149670447876572966454025904697859838412352254982407280446221409680641673553546274899931705040767214938063760920879378561357897048274827798124691456000*b(9)^20+839803532958788382507700860657671063117004585477268328535609982187794433302530315951407877852852063094008853766368545088211345811691075544069760757062974005987894403002014675226781379725486511491181571800278316870332396232393142776776648969389642800097027001345589971316760809494919357493237051857085738613278244747314055963785975234701348720777421961129097992777872937718976987253885318178246155246572596884308850163978120958994590108553681489868252420185532384657836590929853530430406726475690171873385841756040732328025886692033528478258235232973592985600*b(9)^18*a(9)-793031825008011321500082529368572438964134954962648156272235038098916984484674375047239434555437904719397071646021270651119932147040595916244278395688726221345196323379419983455825345224181978296231509054563095941775792058366780316408456978923952832522054584338194062684064781330946792957350660791256811798910034363922320458936434048081726466105911057247162295745618692843390108423729929