1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
z1, z2, z3, z4, z5, z6, z7, z8
0
64*z4*z8-1,
z4*z7+64*z7*z8+64*z8,
-z5^2+z5*z6+z5-z6,
-195045312*z1*z5+32528928*z2*z5+97544032*z3*z5+63974911*z5*z7+195045312*z1-32528928*z2-97544032*z3+593425361760*z5-63974911*z7-593425361760,
z4^2-3*z5*z6+4*z6^2+8*z1+4*z2-4*z3-172*z4+3*z5-5*z6+31737,
z3^2-4*z5*z6+4*z6^2+8*z1+4*z2-4*z3+4*z5-4*z6+24340,
z1*z3+z2,
z2^2-3*z5*z6+4*z6^2+8*z1+4*z2-4*z3-172*z4+3*z5-5*z6+31736,
-z1^2-z5*z6+z6^2+z5-z6+6084,
4096*z7*z8^2+4096*z8^2+z7,
11965912020956822071826504213340945920000*z5*z8^2+29205085086418176*z2*z5-24020501119680*z3*z5+2921365305293603749540390058488084224*z5*z7-11965912020956822071826504213340945920000*z8^2-29205085086418176*z2+24020501119680*z3+666533287690084700963*z5-2921365305293603749540390058488084224*z7-666533287690084700963,
180822883216207348160432743268586552751704827921246139786763981565719406974054900790208096306189711268428205525487307193961536322701982122463562618118112527738470400*z3*z8^2+12137512193142194609944512148964174594438222259619638237070390736728972705707423125782519595490526471786854487378662125960109306798639551757218889764424242142031966621532160000*z8^3-841545868948014128691348308159187312868618768884582741835035736545413357265077302366633842878563750509200531503674959673845527592846775183139587356128*z1*z2+349124919069508436667324617679219031956091657671618251210208494777735515149144699304631726465658546270445668770417088443670710246147406613882681610376*z2*z3+7058254055106392048394664806742226193310228950260644426725868303813556734175041665256384274408495444271596274828954543936567080924149396771828808521320*z1*z4-1180232865658657351716326838182655406907237093000632358346778177200542889101812076526969043854190419019381558948375252007885617695611313291668952962956*z2*z4-3531853954789516529859046913826230557345602819222484932716719393231672445587733522623969140585941788728294774089805816981559166096566995397203508184964*z3*z4-54394238079450159096774375436936198651087620910105453804061435652834264930525648563827410262475757547471917891414484054066186583442089477963265253048582636*z5*z6+54417121664013359379115375410751338774057499017783635883594446868565209965229533112168894884901453924420183490006120806474168414982031013585853457050206665*z6^2+9103147493561292705738930305597307760387411595696132137239704697962452871619680355913334806407110818124024086183741102282432352941306610554416628021228991754786*z1*z7+4523165465912962105049190214366593580374288888082114603019996620006446848793237990248440911031901262292543655107059140279946522805071276748004487852580344159105*z2*z7+39619035364379927375338882359369452136916414018675979065010645651152312225632179037523896949845581774382763771451558706202861194647589635137065414661163756017355*z3*z7+538987995686527002757485139335024244810987273262690494671745236891070725586787461605227958967289886347624832607493978762311990018853649375219562430088612215598102559362000*z7^2+13570870468905118634761426935256124492117677020767809475390616582294081972226682471256648225870055864223612494324441840939951805572837535799477484968161118105600*z1*z8+6726065701756043082280703012113525450604687535932115091521876191869217513867162308510078412862779943207200782305480537470106729987699502877033739578857206511616*z2*z8-6766926270572683994789177337214988517490791179264367254799410043895996155091311573023951462556419261684850392938394355446397258404231900093651205228373770762240*z3*z8+2961294061250124736322797625963289292810990374315790145631941212639988566864790594211589917957876118392101016328583348212983815106138256105866401491449458254380880228773888*z7*z8-2214432268709648733875585850949354830811959485697460871139208886281417388461782293839493163749684415821917299173701593157397388671844938813794775178849759147174341448181043200*z8^2-1124029331369341001061813223724303803635734770734692703576944690223278107090453742526816822059194892016879832643917774399123236098109069860924728469777968174*z1-556483595803622731718779290050819225216865867150804283681226509691628004990507373014118704427958230882440778604255680189732498728547866001851087781219206743*z2+561142530155586375221902083717575018226385573287146331243228902102162320836114509216009349931377698708942560551277525366629775034398693111579068393110127171*z3-21147101907311547107105099894942758700998810541347546446454555657492611665995356551067018693594217654616872192005920084555517480868622493557224813797934560*z4+54394238079450159096774375436936198651087620910105453804061435652834264930525648563827410262475757547471917891414484054066186583442089477963265253048582636*z5-54440005248576559661456375384566478897027377125461817963127458084296154999933417660510379507327150301368449088597757558882150246521972549208441661051830694*z6-540632561568039201605707389764324707148679905402197190554037063557785294301395533652981987310311278310588991394420743183246020193983225340508098411304336977031679937254789*z7+108876447089596807522983570249345756475671183145417942646859110314366623310827686916149717542372530817947558284883313146204217659569374247712679639637126819162152192*z8-3382322954528135748372279796646173733148864914534292341702179176306985124240080218477826187484245862525528852072281812548895895354349517167258164033862139672706,
162740594894586613344389468941727897476534345129121525808087583409147466276649410711187286675570740141585384972938576474565382690431783910217206356306301274964623360*z2*z8^2+2517785524276220051042375104281476170211434773378393659447568255066202758994549198662344643334019588718521524391396994159491130059308397870634636202063839323649103891660800000*z8^3+485871047602949309243129263259453720298385446009428036185393889695140951639988329577512553550890789053066181000089407746581786044670691510757042701024*z1*z2-212212864622152014406698051546436803554295192577115599805382046706596380375375724187746533849341819235265099978687746056575945719497380206040714485240*z2*z3+1346328310361980855134507296911488941665341180370088702935633658305944460695839789060504144475598043522235162871256725106641235871560447943319998984296*z1*z4-223011652653092466378583367324029613376037434786231703287885000448036908478395454691807502468326021294684127472859128966823408932401059871668564546956*z2*z4-672877003703662861582202691105148457418832865413354258580672342296318794212404037332991127025477738410707319047880671250231236086104718663847302456004*z3*z4-11926171910753378745889166139654343640072901226535800672494308525687364609236574767652160531567068942974145572011494986069474583327609497572159583620830249*z5*z6+11930275161513712390528486263920408697421290421454190273110812409053279819200327105272844178090250113779048309904169903410316084522656605475661961862049797*z6^2+1617162101485162178202187571487783879099016739174473733253942831439749219924345486984253853294469830655406659313121671474637132788639639955571769858104570639258*z1*z7+40574462710438306592988114953424791554162035164858818585690840429749924426528140239577151721916448533519348982121841602380651666026274501263274034769339076371325*z2*z7-811347374378101644160026291429001472033802798466602465917939637810963696942765579989286702779025054583875278682828692154939090348616369370401667073185746080289*z3*z7+116034875570867836767077017143012418670668289422353652028704477992784238996730904178640160919472532455028725613731927613272846095236591407891106722417562550875072859226000*z7^2+2408796477982225427008356699111919879067137667716716469833043890919593680410168140996570674845290045493414326206824816683661961051819747080751459955909818894336*z1*z8+1237769676788317302147483036533399098894526028445297058104153178095290247165552026348077949444778172810947730570663676231217129622765926900136605249669773722624*z2*z8-1208520412537119587906731132646459044075491573526154636361705533175508758733674763202595009841613581220639698169426896498366735032713775641732545443764679984128*z3*z8+614308850953161713233174959239813661029336415853853591578375519046515610048278134590958876497515070182953813644335794614537794909539911270307113723142270336264534179033088*z7*z8-476633371800470751970966485307832207313207098686461213756511329299735694983068865137184942178692664136561093370448644913497950983521020132187661202076153543261219663457423360*z8^2-194885168215560850470965295430621195064592786135825876199529141591962282469003745762596050597696795732368145692987594495541395510192470984958809189767925750*z1-99777862016235918947612145941212405472403454439706899356947886856920977746729414984372578065047140767265196584400343652221629765241463044638777667028333947*z2+97816863721629598639398191916427724433353116020896441620826256561583723484906261796552944428177104913282577587842266978016647097730317753024288993384597111*z3-3979157660760725010035072570640170056737305985287088372029461772034461100643165707816057152581642360971668372427285138716365598737304644663059317758639028*z4+11926171910753378745889166139654343640072901226535800672494308525687364609236574767652160531567068942974145572011494986069474583327609497572159583620830249*z5-11934378412274046035167806388186473754769679616372579873727316292419195029164079442893527824613431284583951047796844820751157585717703713379164340103269345*z6-116365508740507715869591202114377578479254028734695343277152601084410021383884596894647609491360475100622651353830813223102141292176141757126675866356725774382077443706001*z7+20370674459259213640966914933963303909577347623350425773266739897196237411079360400009757410107890112942860806215514273111963662586835620881875058184197790832769280*z8-606398659539608990373942244397939276172093010614771188946735147800563696541235909989362009184355540162960938524269834227240632518384853755137663211689310452103,
1084937299297244088962596459611519316510228967527476838720583889394316441844329404741248577837138267610569233152923843163769217936211892734781375708708675166430822400*z1*z8^2+28005285425379191191334537822931573461918013080805912878587209721692620189081466749101033993559384976869879643630132324538820094124621665463504712761125253455989885536174080000*z8^3-4143508716354547308592997989079858319894035109863780387238205312375099346349504762104710898603025670873420268251320929351319690879949394815740484640864*z1*z2+1754354409683955395718414237303040011488298389451610965691412989239679814190088097904793546974178142618671044309917262386940235505547014280823221978888*z2*z3+16655620629304947080767373059049269715133750299710838240448255568283227283471979295810791018501028472157846853310184087144310894178565617284343352041960*z1*z4-2792091439286014596472847311779522589004597419603004844378177658387509909387024171118653136189931968853958884789337113280537195851764663413601643156428*z2*z4-8336945491430465026070499110279310914299381986447441188889505526033475002936138141837559462560159238912539623740973360679043585658929068046860941083332*z3*z4-122161239555175303023435180841330742314154561646129010036696799109656637199463152464581285174742031462424038280833053868124688695407357516396877486166138318*z5*z6+122216230467405171802657099847461871287785117161286782119064399840189326676097072991735046666753936692325115280815408394797896053849007329542157468479532945*z6^2+286891158755121215664029230488002366078725813025735503906411270946174529395817738408859676736705046256384088397792242090624591976990069766970571419144692249436018*z1*z7+10807454291550986640688476102359949981713909978902287949986380221763785647131132783747775906657908143449934054698350986353264349035518323510894502566823782129065*z2*z7-10924526766346404671672404500525622452403125633653206694230005779472965059999700614211056634148106008227951823242062075303789398064042960269900043895690533573885*z3*z7+1229560399376431091934084114720984038298469274818259979176980371522137189987091805513413928411952914261405799070897094901923108921900084591801347645791023680357697327506000*z7^2+32718022481585599753344668804483162248798309265739265192468485338623545883640765311124845418417478264036547238337346285315142297473533716092870472707600719257600*z1*z8+16069733826212241827863394708366542320553494289421643227203147441515406826442170256018219392325511974181803275820587874130907897758279977745727458492244639019008*z2*z8-16289737496857507590236009131511928005383831541333026376470216617482992579811061801996523306984058821269289771863649941884257465237309579215512392865204200632320*z3*z8+6832617003314695968224216721996523319451091643911375172224803013377944474123363578019242211577555173353665166888781917465576242967328203660736205182478307970130768671698944*z7*z8-5051966719765474932870311696305766142027630564129792759179398481053915714955221908172889997252390189010762117134619617134051345198092369595141523697275746086558105151124787200*z8^2-2723314660485349847864786280761374321866189058467694716012384807012295908755789430483562056456160322907596483440342041124849777152414179386822795708796858462*z1-1337288627812861610845556320802844877065881527459945498677884805980276294068262403215897247405050756661729057867546948514814875172983144444619528215674795759*z2+1357792752753499434892813560004547835975015233197776784986321437054317184653857891410207421208781705234046052363681985685695287849463356660625539377134366523*z3-50073790581045268315788559149410936426764327614378678530115829367811086517080384621819849285413699582485212995884470276237203621148172930451648641661258280*z4+122161239555175303023435180841330742314154561646129010036696799109656637199463152464581285174742031462424038280833053868124688695407357516396877486166138318*z5-122271221379635040581879018853593000261415672676444554201432000570722016152730993518888808158765841922226192280797762921471103412290657142687437450792927572*z6-1233389565258584336325664811079640101687248094778879264363243186091262434289784522391902256568581836327632749006874498263141685545854715334434737493973241540053558046338957*z7+258531730175417588835861788875891318402443723174544808502601265787993210249211166246925014412070608979794021434032057727988192817074291425612204743124083241656100096*z8-8128274693741521907185752138934627182384980419165989563696719987492214777628359090452987438866115404067249470704522536811734057282274217397607458705254574971828,
-8866537191197759056698402007626775234215676607329362930140530873546530348833445419928309393203169532960066968035585947099088468962420430875082594404153879444855143485228818772706826125312*z7^2*z8+36472806513454379549940586322478039274313611637105930823024822956822303888075975458583374369713831994032293044705884346826462043172940077359937446415819000989636335190071366300965288673280000*z8^3+1321918098219018607633202887749572754679497864621700271234024929484807560580173953873807845641759201233568540225036909691974098600468606444943059308045204733422816*z1*z2-292016125993607997392493933921689188348606313303041603757705114671882744173893607248975545860564894404060637629982066346198378402979345419648304781575059941988200*z2*z3+35614994648279758205655605347936159900576893324694207335292787591670973540944824293921902579348323597055407640403409425806233635753866585193923354966873755832331960*z1*z4-5935115818085568370335356242732459617399978242923133776863585887017059384653344140832741467031475050004208605936540738080771188761059664018698295411419905084104420*z2*z4-17806181077179366401726176153036875349710809235332544248297109248535517405776331075029209678706700633353609606235887175747412191927683505665685475741843072004479692*z3*z4-479634506927837208748065817006868222758614781401181601358190585371283720697186099646651495487673322716389716314143606416642895873345150413262042334687964454065734883120*z5*z6+479712807374911051410465956219170778201438869225704276110715562918877140540382956520722901451620706357470680972178871547738160677127479926949518647180650972085396186747*z6^2+35278417302801957989495688642939332878823447844106753128671627476107531433051949114022222913198287449846150474020236574671202880771879353570306843959568011843502684223250726*z1*z7+17639517641037045184966584082269117005057537315278249316512280044117795755691495381798950821659260796701839381206092928460448145240285994786003044396706095868065050625256931*z2*z7-17672457643350861673718525543287158153026938648590720338441942957189779377873231391505787798385137148436899051807001984070794052426612239131767796767457653339597773712668543*z3*z7+13796535065417736154222450778520975417105776356373158501086519641290368748791054908725885747424461302775701628338951609510979293962564176822737817984785169482489933641155763979506111856*z7^2+52532349905844948121091304197885548223234922248713284137923976008871761926233423059722815693312326076145867069044764113086760932551942511815731425478294024479454091916308480*z1*z8+26240569263349559749160567212654971943259046661174439449079603391850528369638170535507670636600290622639012881476105299904846865292472365412801752378209901685954376448743424*z2*z8-26315633465734973476455546607090119777807217194570461825444389121450422165402243826107559813865205311743913792958915088286598316952420605259496063285960307311331596926883840*z3*z8+8904480721055463136386157899417047792029814008932851163116699042057285073507184472622608591397896036553772613695773837897562531975710846571566896822452296069743761533962217380253445312512*z7*z8-56568905523164147888897096450685166593157154457664823101764821724586269706203546616077902141686108310880601933431826819888961252248101676224839096127101834955083853977516160341804520960000*z8^2-3814080616409422200763941177952201466787857635602657724654649187745284000337672899181720238124949420887417807952034206276311140824062418572814058436566018873741701640650*z1-1903408533204699300342635246845596918019376009340409553833055799912373328267797206507680088574323507601211666131126880199124046373671436480265784468657924891387609367717*z2+1911531146140259575995686149081354861262400803504524486220482890899779103346115212563822538269074300900261990221747817636430925372944419496300240497374665388311136334569*z3-104884843753493236390347491301884601390292479140357193167578311033619262216832467264753915777826262309643387666174501057273637071653757622737384362850359889556180017008*z4+479634506927837208748065817006868222758614781401181601358190585371283720697186099646651495487673322716389716314143606416642895873345150413262042334687964454065734883120*z5-479791107821984894072866095431473333644262957050226950863240540466470560383579813394794307415568089998551645630214136678833425480909809440636994959673337490105057490374*z6-13810766225908873470634131806612230046293727271881776496056332082710319959397714087447696286947141406264621365398979988183289642154921981405707251887373843081643376414088908003494314223*z7+501325923115085038983189458647937177374501074059979201788684672458053253585518259942126730334306009650736816491538430359146482320642346266496303360268093124019935717420595214080*z8-11560534972409899398364616397112905073870098977737768751843560540594567731710719447030430827341020428966289287937134438404487431365346442315025569596025651047419000719800306,
-32372883893479406721000682145731115967637625018080722766104750270160316787756109834694213288910417006815751320890786872760388160857175752707625183778345359284424002199224320*z3*z7*z8+4754731687549260241737228888351162076809155538936220335814530548494309003462967813312573237399371919809849559964108557953437300909652377168414395871196396149609783526068711943441612800000*z8^3-375335555638162098169635142756457890068215568574407142503526147142105784320059466076154258678778753176434597511840956861365652150310321729860018717589910575959136*z1*z2+157229976581518205989763186846272009502502347384059709641037347325078795849007725221644967572364140344681250515718826855232957597040482535555045693945585799240200*z2*z3+2585192320208058507837506010339104194435404711528271156983362375543370925620475230060402014051486600584909937016519698147031915241285488196025175817748447976207976*z1*z4-432566136045580300024118860661292182905902648024263069956901881454608497475666447419711384560400151769697088326430723899092270697175620157934768536661047729457036*z2*z4-1293773014526134414148916094233894613271022121042255711005290560742768754633810400711840009548350647776413547361543181724964638751396912252207352936928130477808644*z3*z4-22753574346281922952999120734265417344586434745142335424536081483097869004256420428053776683746247450413059966222709316030646512514487442912533286227357220579101929984*z5*z6+22761591910346071835853930634400408265774299879524168635934974808441128055617668373383723628840744421021928757785850446482261580914693886650227671260058008948719359417*z6^2+3253593356163662550802001244313596819304942681463537429625420783033320347676429361309026611218897650204001112577518538108058298941888359379767638634899830277878297448172418*z1*z7+1611559482964391194250966045343614329498185281278205110584797012430776997333004768394996821955072599093694316473123290507561841873119791905955218998315973907288221622446385*z2*z7-1612275058010003640124508329789794425179566903307890885955243438240922761799947432634517331627179920409638115983170035485977019868926602535574460514079105343607826405004709*z3*z7+217220537942220035240626470226690329240748035554868657925366243254692218537207063638905410840293887480323966377315425015630151246137384525829469284532351500971966483761367446014306000*z7^2+4847197755293630691360720362574732068202235796965268055410441913543783267243091481643657701600477338257070074253627418055674597705192745813678166677512091443340432238514176*z1*z8+2396964603114900471259225647012708337637314805045474489655985917944065377500551478437616139746423390629990659369715288576379252158542726935518650586141971128605252303366144*z2*z8-2415132433129081445422327413408663503631446606904943408885051735325233737678770174018556134198632321542772537581210753844683685260613757840597393840062459148883572070688768*z3*z8+1160085621059087883626238249944995205531212070908029155988011059347746068098958297920304191623919944752708189610314930520618387524928269690046370549167140781885407779995127026544734208*z7*z8-892313352840229393172017902749990080512276398878141187718966418681030494347655666086726355814079707436706201311221384644052366022867509988016031047048816080376447959386406756171174400000*z8^2-394705602802510986573865808174558437670160367620564775884908017593525016389710774218290733449539439340028498526164861343262484489923107060835716500998800151010038579150*z1-194965178369844050888419906989920322161826098092166450438224484965817132454241949703827672717635447567229304201715735013589206696696805141040202509963629794731908304167*z2+196982295895106411845367093658036306892774653589331051662527224713175099032811007245930755569309674738529179379355116686549787506168863435048693576014710590111071071571*z3-7730834010606362801554653504778244035090914625193648203497593882264005788660651500014151724284199576141374167273990103438861228136808204256877736250491153421961001648*z4+22753574346281922952999120734265417344586434745142335424536081483097869004256420428053776683746247450413059966222709316030646512514487442912533286227357220579101929984*z5-22769609474410220718708740534535399186962165013906001847333868133784387106978916318713670573935241391630797549348991576933876649314900330387922056292758797318336788850*z6-217849822933549380537326844985772941364306952733294071405087120629496603999501798927465868193868963160536782209964728254085102696241864292250544703631210294321198456215118437905078901*z7+39489008276707621390187489800986245930053230465693263289801947699714850548510174236792306979881338101455764831576064853222810998963231302894639208348620355358153604106541681920*z8-1184929281384513872774023504865943352022183777798998705558099617239613263443328509794391514188701254176456062100498350751545471570132738621488439707678580634415890160894838,
5395480648913234453500113690955185994606270836346787127684125045026719464626018305782368881485069501135958553481797812126731360142862625451270863963057559880737333699870720*z2*z7*z8-41469704170217898624419277948475792235309100888630863754958139230907471501656910468047615819208031247228169521061210353949873455784028816915081594944287383004744283050791921647616000000*z8^3-30888424098140501692876190409523744658948688552323105456846442898813366123062791693940001917404409678981639775626257395887250879489935461429317840338319969869184*z1*z2+14925153849184893212781623449396679608536941883639111085865086424672595712279717360122755908813487867590076515805057095472176938880243596246466803417588485374560*z2*z3-22203431850243716232041628954744961117903058981286211731719994151995773257644921534993591596727875965472098260905870423460638936501768804612969250013040284148096*z1*z4+3602873631396569127154497843502485162422131653331085122700865537690599799138602040622854242303285148341797164341995069467462984648203047395699097155996150399616*z2*z4+11096776651317378109416959971885668808314245455000347717841936330052589910048028778061101751586905055581618831642013703239657951076407243410197650718375191454464*z3*z4+175912799953177589917695717416167878670886457243384197599663597494692300300918640302887606098273561227807160088325915740258609742874211947992176253849692943465454819*z5*z6-175981535870810474609933695830988177415401067047051719543259219424633640008928850290419607461585519694678352224258321396131507437801181260327873667857719341329190212*z6^2-24688799580535805917384603842199699310601252799541852834470620144352014128920565950412313216056046527334959613724781110430058658107345086047572483093363143805002328038568*z1*z7-15633715797450561758312831149192480602122180861050286355399649900909257650205592346123947445603360290382033723552701672143253224386109135002226516198535334700272770316820*z2*z7+12391474666335228497023476058933389972409945315717779798390991443808992070788532174772502944728578221916913146332524046278555566579205673160342851530983235723620866156644*z3*z7-1912599112381022834773630165691925385722708694365019934143680919890233473400720867304197387256641737962307734458121695025519626834606661698273564139629977652118244910832683011656000*z7^2-36778126676183041933194174534550685568924763251715804303936965814767520857485326260826679437615584579825588377553861207351745911401511692658855471550434341031751572187136*z1*z8-21067676542970231701690248370597273623195331123720010232002000958191872184324544857745124598536197641781035163756622392256343203608900551620950507951518947078085453394944*z2*z8+18459207661178340433699232441015724798963893322498748953746833109310342743662535409796091656525233571943089970449730244877815765961936280535075973124275679857463443862528*z3*z8-10118111153290807274938020613792424965499720271296426058206159499381384048816526903749966347073655157293510539857172569251935239086167388357117599684607823466915220085208794425540608*z7*z8+7856292688119390705250473648944914397804765253983368676356228786707553737484270469194563676887157512013291984621643113338213175851299708197046829043902012513092336094559343591884800000*z8^2+2987734025948555172713402681140350832282793980789893188881662493830559487297242103342320868299301998056323402318752429289439280289005099197473022804502809388586443160*z1+1671421725851227835331304347882125334160070301726920979916838676364570498773750742847520536726884907530058712167592748308126262332824119504788357504927709032354045132*z2-1500213110691120143754214772076960686285906703490708856324472326962490187980038559037392888869390917506521089803500955738519369980195020074619972691989629279073610236*z3+64017603508849629473367599412914871353670070531955850622244819762190193193115421288068442874857166439458547815851580249159379015028092888751719437581531787257205228*z4-175912799953177589917695717416167878670886457243384197599663597494692300300918640302887606098273561227807160088325915740258609742874211947992176253849692943465454819*z5+176050271788443359302171674245808476159915676850719241486854841354574979716939060277951608824897478161549544360190727052004405132728150572663571081865745739192925605*z6+1918039211276383001964233503378935642050725455555510562382752216114770929562271489495875596911726733597761534559492694141073056602655949069213057000562117202055858563430679979044676*z7-335605909026327447894800525306081026211397165631163680863369692099372046775405816913964218819966029989158754997627217188382445295396355636703481785161145371135865241838658560*z8+10158203215713376861940344974341267969769777196148149071340509946798648016633855627099304572874515665652846767442016209865997321825839315876992405526899565232872789573483,
-2128744625578129654512620887439165935731555154895987030485270443541694347378340281748756422088470623496021786677020343433199944820461992615987189464300204457302252322816*z1*z7*z8+148070771733240124740422093908306873833499146305779992899471140683940489384743688887575237921016309389672712759722654404902969123141229990675586140273510060867505099599622797393920000*z8^3-18430705222197903745493926075522596444755332684625867849924519862117036771424762153168550803585145733508182554083741095017889463930231194556556841189961295008*z1*z2+8112110510887608786700083261261179351678622909129998156365786048684347280079354523853008886588152700837635378404612618269728004450957759991835227225013138744*z2*z3+80469690457472540752965597099244968659217766246921116672320980780984949944802641069410836936565617153278209660283749376749665350385743623795710100794018641432*z1*z4-13486783188004176652855292582977142643844889196355056077562545222127878984333951791271838097872544094901703860634488998621586189238841259672345707764663570868*z2*z4-40274498028006550016954316177820521379862243464327833143750279932061289805278711681352007503441969017903984988289932788246076940032137909313230482692962051772*z3*z4-707814377440738142302956923258337251063974232953248006138163486938100840097541526222800039119674492672648310512451327671288026660629763011613468703997377265912850*z5*z6+708064564385086746708380113873734645146341320854186654941764169085764833515414073690083825261588354684690877280928865384195170355611158583458610277490801355050511*z6^2+102844297908569329770289682369229677170000769126098328693949460629222835724770278327185527872406155658433812501816592218661260251362651198150560228594108694258357946318*z1*z7+50272465287378416954420368788963140226774926162927244250372294453588001122431415101755255893956609932678232207633148062000018095327162487538821375784473294634728674295*z2*z7-50935404561682491011943719556354359950501568213312433460987589117900614043915955209894993056926245902829857571412663909133377658115803216736009953612832914848861661475*z3*z7+6761385391778272336075962197357328423607905459852642386917072475155305309262428958509526358758507072552445211541867765898002348161143094386306458497317528454542683920574162350000*z7^2+152353180858678573945162393393669479963429867903106076562041378266648474917318857033982866113435513747579690627096358059711560300751263188311501861429554614611949019136*z1*z8+74772799997611833176812910544862371904736602440744453984564177262415907544163729705003171697432596441232270672280489488870548731546913253676814438513669078981509550080*z2*z8-75884375958374715313498504338504637685995363962158311392322404357365379961338814845643850907488011743872504070893652449957003251852262985660512356007313469113620893696*z3*z8+36127104926290501231589698396640514546025636831637517230817334833840713673717169292987922635549031325807872271091367164060974270395213845485325474828961162229190816386555178618880*z7*z8-27774951710859121543599506468591271742486713835506116494127731712486212918521288770903900016517565240299135929374833012787768945362921293106995811302096614343077375408066001354240000*z8^2-12394728045723993272141430402086388832057876274323720506200607998687282138279826812802626734332527208197676100190545221945591185679953559607496876058029107084982626*z1-6083877193724477465630567181999509050139167282032623313777990034108858857876025218377918733031186293599988870241426294251388653631092210244189904063680576930091889*z2+6183929267469369671650386153560883991265106962528048090926107673546009769655319579445481139572238289739182495357762553752924468116548345032552630094122945697506469*z3-241047708787416276630175526576705983708613333759718690255393308430156604986719015421571589170177496336707484581063526375745284376439604644233880588616473775954008*z4+707814377440738142302956923258337251063974232953248006138163486938100840097541526222800039119674492672648310512451327671288026660629763011613468703997377265912850*z5-708314751329435351113803304489132039228708408755125303745364851233428826933286621157367611403502216696733444049406403097102314050592554155303751850984225444188172*z6-6780990431130876974505845748015912463485466625049831359769674687967512173806285127010698346486431332468419775881454542071725289668186905177868696830491665134745599561822980666515*z7+1231449225263783982990774162930680876596744016547397958202363901777691614564762879044826508983080927178074954670352821275922412662351653884323086840558871010091005511891712*z8-36975773291020800336746904957095023702495391580900924980138310469321934634168848768158469606855946986252167567507387175472966459442299729561394335803569000940844551916,
18223556199133396806793612407537238519507752188938087525384807517170158984103970470263159705858181838771280088115517678141436082522309135779530920107216028186142720*z6^2*z8+8259621100182228410740363566570965966923884216907632154987958568423190039371030643301334530800873951866178952792298220065979527130879738421711119302630451203787774242432614400000*z8^3-289619042000889599945232821612284176981625822183349242960253879052822127344313666443805723107336339833774492581507099946551581485589418408219611905096032*z1*z2+129504672165495695199435313396300746542895875513964161004261957604260741954364782883379168998666041665383188595163697045714509726576497293462499190554440*z2*z3+10348024260391357389315051682994582841595908615497299111337588073721322469419124506418643790674671454788181064196453662758432522343901462029866560555407272*z1*z4-1726500319252422071942712245642189927138616508913498042097095744599140758499340847784880838072951706114843828382254676566257713951382502129683392425002732*z2*z4-5175363631774272523797050857742967045266921897887260668889453968214373657477029401490758416500207944429175107180592500827804783003742676062544725158642468*z3*z4-3919368684783972221958258210249258639061941304038202121546947006014191107748341516481351771825668281783443302957300365003927368076898364507371054947588814024518*z5*z6+3919345319116143924945238245143211481357122134276482624033312627841754772811331643251702899800699406946565802326564557069253433035061570527293982291439383881569*z6^2+49613207429719771281694829864353658032007876003016612213452836600777022715673547736842297559267571883326815896550995815293385039952805701821056419710171490922666066*z1*z7+24791891352677756901049844055180197549303970091768875848792077165604704482758442517807930372449871554022872820110566293464590444414276355150364124016278969566104345*z2*z7-24805211996791872024192284130881508915153697039020833465409472975793626021844098698885794994462446125083202458789977668325814717764081295589529097588766812899211053*z3*z7+333044598180419997350409852703680523303491108651990414082717688329080832933040249876168958217732445763097722706397186116739091656911365440579860126428536892870208371326322000*z7^2+110274048775516615982085990251885157909352674904765326868718161996411698186759028719579257785660301251069874449984052385805711440926440069628078999538004811031027712*z1*z8+55112477031880838920861554645029483644366670205301702604763283031551284634291422027683946628161962881820753142388363733819379483477367177367543081614790423690702848*z2*z8-55134964559815165090589098744605150142346750318210062170242986732072000014010665575057736128982667307210884997013168914176235311223598332961113395579205465178566656*z3*z8-36447112398266793613587224815074477039015504377876175050769615034340317968207940940526319411716363677542560176231035356282872165044618271559061840214432056372285440*z6*z8+2014506615216807830556965217528517512252239191752154864834369804054462624000068065589322490645138006466584686939012011362354028912827420357746653779999713879274181959268888576*z7*z8-1369519694415175899944570136983582879727206585121465762794933551901270927030678174741809143690815821407542839940263888644956162850393915657435316157410167199487884376182694400000*z8^2+1131491644202920744632001292718108954879723334698628315622129493525950764103219476221920691750646674542554653616593959586214168684457335288622493094142676958850*z1+568937048629532395715333211265104022573617651308523903880336909790518667735216937456074045653915314812635349084544937383093539065116024455704525665163049346561*z2-565932035552682964214428526184103824823430147272084692894081950016861173949674975823236383809467610824301665926818106384415512809947083995337972889623507124853*z3+284704172552737991930434456238948822765095103042715123513124553283357665800798252209602400301747885286973547552824804779064854479550435081611876062202329902024024*z4+3919368684783972221958258210249258639061941304038202121546947006014191107748341516481351771825668281783443302957300365003927368076898364507371054947588814024518*z5-3919321953448315627932218280037164323652302964514763126519678249669318437874321770022054027775730532109688301695828749134579497993224776547216909635289953738620*z6-334354879616146106540327586591042040952799393910701523932657457854484143674229556029614881063926669918526427036801070529535152106224949463897649638628402776455587212414636477*z7+569568613595981280711288163772188324022421590821966392898713165965031243071258244997174042246306505166881705806298988177428738810312472107976021662568609654113816915200*z8-45510106600801252428352211223848094943651110796165977723824186913338583308614564937415632645132275008656256786987629355825875751685597009168820955336014904540206796,
13667667149350047605095209305652928889630814141703565644038605637877619238077977852697369779393636379078460066086638258606077061891731851834648190080412021139607040*z5*z6*z8+8259621100182228410740363566570965966923884216907632154987958568423190039371030643301334530800873951866178952792298220065979527130879738421711119302630451203787774242432614400000*z8^3-289619042000889599945232821612284176981625822183349242960253879052822127344313666443805723107336339833774492581507099946551581485589418408219611905096032*z1*z2+129504672165495695199435313396300746542895875513964161004261957604260741954364782883379168998666041665383188595163697045714509726576497293462499190554440*z2*z3+10348024260391357389315051682994582841595908615497299111337588073721322469419124506418643790674671454788181064196453662758432522343901462029866560555407272*z1*z4-1726500319252422071942712245642189927138616508913498042097095744599140758499340847784880838072951706114843828382254676566257713951382502129683392425002732*z2*z4-5175363631774272523797050857742967045266921897887260668889453968214373657477029401490758416500207944429175107180592500827804783003742676062544725158642468*z3*z4-3919368684783972221958258210249258639061941304038202121546947006014191107748341516481351771825668281783443302957300365003927368076898364507371054947588814024518*z5*z6+3919345319116143924945238245143211481357122134276482624033312627841754772811331643251702899800699406946565802326564557069253433035061570527293982291439383881569*z6^2+49613207429719771281694829864353658032007876003016612213452836600777022715673547736842297559267571883326815896550995815293385039952805701821056419710171490922666066*z1*z7+24791891352677756901049844055180197549303970091768875848792077165604704482758442517807930372449871554022872820110566293464590444414276355150364124016278969566104345*z2*z7-24805211996791872024192284130881508915153697039020833465409472975793626021844098698885794994462446125083202458789977668325814717764081295589529097588766812899211053*z3*z7+333044598180419997350409852703680523303491108651990414082717688329080832933040249876168958217732445763097722706397186116739091656911365440579860126428536892870208371326322000*z7^2+73826936377249822368498765436810680870337170526889151817948546962071380218551087779052938373943937573527314273753017029522839275881821798069017159323572754658742272*z1*z8+36888920832747442114067942237492245124858918016363615079378475514381125650187451557420786922303781043049473054272846055677943400955058041588012161507574395504560128*z2*z8-36911408360681768283795486337067911622838998129271974644858179214901841029906695104794576423124485468439604908897651236034799228701289197181582475471989436992423936*z3*z8-13667667149350047605095209305652928889630814141703565644038605637877619238077977852697369779393636379078460066086638258606077061891731851834648190080412021139607040*z5*z8-13667667149350047605095209305652928889630814141703565644038605637877619238077977852697369779393636379078460066086638258606077061891731851834648190080412021139607040*z6*z8+2014506615216807830556965217528517512252239191752154864834369804054462624000068065589322490645138006466584686939012011362354028912827420357746653779999713879274181959268888576*z7*z8-1369519694415175899944570136983582879727206585121465762794933551901270927030678174741809143690815821407542839940263888644956162850393915657435316157410167199487884376182694400000*z8^2+1131491644202920744632001292718108954879723334698628315622129493525950764103219476221920691750646674542554653616593959586214168684457335288622493094142676958850*z1+568937048629532395715333211265104022573617651308523903880336909790518667735216937456074045653915314812635349084544937383093539065116024455704525665163049346561*z2-565932035552682964214428526184103824823430147272084692894081950016861173949674975823236383809467610824301665926818106384415512809947083995337972889623507124853*z3+213518406149873160653896907772006484798267946054675719117090148919411732269142117560136932700739362479273234708623563848824869782197665019973083405533517291921904*z4+3919368684783972221958258210249258639061941304038202121546947006014191107748341516481351771825668281783443302957300365003927368076898364507371054947588814024518*z5-3919321953448315627932218280037164323652302964514763126519678249669318437874321770022054027775730532109688301695828749134579497993224776547216909635289953738620*z6-334354879616146106540327586591042040952799393910701523932657457854484143674229556029614881063926669918526427036801070529535152106224949463897649638628402776455587212414636477*z7+424978362823007127096985944527685989299017208016884371950428756921923909151631317293488567350101225912610676767168442039635049572559840847417278459707930882477914039040*z8-33266154779508501448787752887534012813356839794223200167706269362739882741169709777707572217758809085731802977785015915824598383740920558566948618388979135602642156,
12634472448*z2*z5*z8+2076672*z3*z5*z8+2843875383871466520576*z5*z7*z8+6083*z4*z5-12634472448*z2*z8-2076672*z3*z8+115302192834752*z5*z8-2843875383871466520576*z7*z8-6083*z4-115302192834752*z8,
-48596149864355724818116299753432636052020672503834900067692820045787090624277254587368425882288484903390080234974713808377162886726157695412082453619242741829713920*z2*z3*z8+538477735182672501852426797341913762986408516335863201462813633804441998859932660562161796363099956518503806740988017292648565509858376793114995315223497889246360899317567746922905600000*z8^3-49329120277148485637826655114612642579733856159408224380965527469156816432987509309378914243476125247229060926022878157291506893211570230756103729745064297729888*z1*z2+23582683646534136977570205866031505949047739928350114230545554287230188050143727737052755702429032989926304741834485371159708456653234142696478957289218437435080*z2*z3+254112612760739892685960539893568867116552506207992476501645379750649321164777524555165411039258274428596724321221557743409136049138989744496561054911361235197288*z1*z4-42537288064144251146839037781141652842200111486066810560721268389757725720399495274558966743309797153504763276306929858171556163544964561309083940607408858346508*z2*z4-127162012919062986008785454227535478613087394737854156852999186125936708687708559814798824668156407186576538353740174574103927646339921359273429497217034179402372*z3*z4-2890004260302816646951834408992019711233299724034258381368377692541225759519857111287468233300758821324539709022313069521875849104318494454768266133913293618181045602*z5*z6+2890707122219233406100767715831824181024329141946037140435200045299006655968834957825779702168227586078088989863959446582136379532353022284822838935570690479914119601*z6^2+301016796055923499219806486825055388266605878796658880142656178681407904522426546159640908010697770316157202747922087336079820580913842395666791570441185280547683134546994*z1*z7+147772313733595692556819459468774382580217402814085727170681157562807546316114300296132784640419897935023440747512446411747462664341047897493049480728699316374450758759945*z2*z7-150408370648989253592631795728586344405265539929180399625408588314489603850619906656976708688592277225574734695729417348654693402584720653270850736964371760383655070164957*z3*z7+25917300298707284649562002613167313326680143100481382975752040848862973372748212617613423766871608106104143204777304355850976913201222153255424916044265971791857088230757614851538000*z7^2+447690457532405046472240026445535479120976608556355675421184453394001167022773130069921941822960660036884029501261353728235202096040897663188088822701062418436392250769408*z1*z8+219917272396770826515204139071593347121336196000746323980941741135424822855206357015114027406145562919031632247396017280440546493296149771032204680675412158490617156411392*z2*z8-223698616955529867299637950787562957324720046193190005807106431539883931946132284032848338570897097478319395096096561434366516791017742389003942983162671400118853572337664*z3*z8+131387807915500087630374023860063665524983920139448142343639803807059088210599745131324989924323706735684924409249073648071605933807213045223740793968251732476108427221811260353572864*z7*z8-106435948469547613410737706078267565100299304159411981956914612926917530162047917699064054885961483191011805411383970414471754859990897305803714436767448701263811674158258039098688000000*z8^2-34849631966363224755930433764650292659890874879529336520955162966259657109583434888666487481617729843916043714481933526453715957068007703943113532562481980967853328030*z1-17090190518516340462367762360366533855427912851606265153152175028874822309852206673404924509730317465018959181820330545607868871998868843412175645545699069006895221391*z2+17411613061272613801305082699887291474889950655908125858027572040318442573643405538565823068399533283276233858533717057554767665739655932696078551023311853161314391643*z3-755648609679127127996136297225223858599746906006465380770679550547212436270587213751186672605176834442498654403498972636444473519293457036760661763178100805579695864*z4+2890004260302816646951834408992019711233299724034258381368377692541225759519857111287468233300758821324539709022313069521875849104318494454768266133913293618181045602*z5-2891409984135650165249701022671628650815358559857815899502022398056787552417812804364091171035696350831638270705605823642396909960387550114877411737228087341647193600*z6-25985327338639687678707464912052016525581969064696044407848495540301062236240265375425097601711454038410825772606091866807819230944414075026216414065550075633128765601576075636756973*z7+3787082180644093679384776718549681873508484257685160179785258120579625242933484523437457672315962070260936405836625932207433265191868592186129546559131492783469666155127768320*z8-103850093850559414573607050668145142718070468717931747108905134711433050570624768872947684013947333810819638058908741648865676540232865120897256809749013221547471559518024,
-874730697558403046726093395561787448936372105069028201218470760824167631236990582572631665881192728261021444229544848550788931961070838517417484165146369352934850560*z1*z2*z8+6240069853090188449451499148020897936362339276826108597594267187516086992145216283582560757008568959837954128586495272779824195105312419791046213259890867411754701079866351375925248000000*z8^3-530380477177081104816590073333877931159724401544545548926872575992601458421058500587039908694897509757948709139484079679376835473841270658072370533419553375215264*z1*z2+272225581842901872696002199153852112335632709795543993929918403577449309277355348023309364475426909800297496216476013133057225150704447124399364569850092658454840*z2*z3+3029507919487138964912341159201695256453467694024389299330653118637177666804452726085241605373633671681201690760020265406890828340035155698574487676953258288751704*z1*z4-507004170859785654148642266036377164220360683965400721438962182591008423890856878170618465226790394873842520413574240013898943862241866213887534208224455670346004*z2*z4-1515549997498525727148544891689384511588377234376383479593303974477177520756191679410337719381852903598155875483840946100282328850343724935217389623123792824086876*z3*z4-32807596892202252111852031884232082774821529791857099679117561184491574998255058387392196320965547938012176216368288737443062734872634837437315261282649191409215162676*z5*z6+32816189208864089681695211764721190476382163328775940443083904382650419538392504707950765649986162341932085198858526571995323661727799641860847616689302879462736415663*z6^2+3637456782541572922580299064334140979670970672171215287237900793917250827499907364779756027066789198612249625042122225873756704353346943332093728986039392181066895783504462*z1*z7+1788186939081257663651376714524608456318758373382617479727188597732997193184221557392099319301287150794416483063821212565807799118730449847934220680830033279660178811749175*z2*z7-1819333100039082284583357367792879489144920915113230144081445250519989592172813097464432468662186052119210518030645179718332251102243052478534697384164404233028851408858851*z3*z7+297467343800640119611527190763808433010340242060115036702422170417161351377025552620516245791594792926369772628480480722098106173641814315703500230270263634445699403667544318015214000*z7^2+5411884781792665604717826316693381445127496294204704663577858632066435952080361721523672723937810230568278412494120211434791299032992692028743575575871045606747972781133824*z1*z8+2660866307183729254579951297333920638468557996305343507264404481293873575744589826986377425817801249969460477213574604277679585120605090990557007497561244286627491544385536*z2*z8-2706864641311624308443172803083597830705330669296089006722928558477729054851699194862179481748454982304194862820498233329206671348810508307763645369051661345150489577244672*z3*z8+1522552881997170369155052335858601255143885637707502618586425043006849678372873644107634468796336287691022218236451648086185673093266555979200043448065389367899887154529684594723950592*z7*z8-1221684709352414214674193351062663067286392544301471356428055521894217125158760581135848573044083897231136958234442362574999304033634533446201073866202691378363474967084216251299724800000*z8^2-425611588678726500971419731020368648031178403063851188120932727460514140014427810363279584103192382036523296322126530082317159026656196059232737294807483749405530407650*z1-208927666790220932385400001705796589143660057311594986871284248063452764123684012160137778676211085552953803731229362536931772968254876379900127550234314747382635298353*z2+212890944902865974203001830409897499596639241861782129799604979473686554912635688401191052889115989522800011782344120805955475878176989638316330052196457197857848770789*z3-9018115470197334200227416766352969636107018644707202303884988646767253560378460425239535297591392226916731753986357167185842049926065971175582157456425663519685515552*z4+32807596892202252111852031884232082774821529791857099679117561184491574998255058387392196320965547938012176216368288737443062734872634837437315261282649191409215162676*z5-32824781525525927251538391645210298177942796865694781207050247580809264078529951028509334979006776745851994181348764406547584588582964446284379972095956567516257668650*z6-298262730132422225015166927734027078700113915173355167571899118915937428457148087998019020504978613749340647035437552717902879175157939643948368582724356149397254910689341831966295059*z7+45379900022553035328085945453194822714953037853601383296526110631743232417657781055211996885318263671388165725939124638099691960510303608202496025984950635643586613186235267840*z8-1269619003991153921613167671925482567915110005750757350619588288876717852108067434342269396624514079043786993393939076404257165759201245949718745839855281930773162245408622,
48974972356219876752502441469941341381875233261366248698285095660282059623514037376890865531341815847750185309792229443124438110680272821986627407036109412722255068715952420512063403056083708248940825788379498012421530809600000*z7^3+4131881019632411438214016018914114863680009944024846365639020171372705694414079252870549314526697827727431601790559952176203720555083691579215964887813324887757880383221566958066608436433037273097408289824682016743752056832000000*z8^3+44705575815781217538348476677733289313528693230790769903498578154886197916632829063689017496846559804447728627524742618388491771153387425549772119128928010644713914906202702766329292344681179349663090016*z1*z2-8405065031031642413077918827135802957468607211954018981239801813772233047761851503817056761933038076693642617125793827031952017605261708642031111102362029649558997466485556999160733254875728451804571560*z2*z3+1201791724808222775235341360910182011320266253113473303766075910409948618567661853926094364186337171605001796457150773156893550653077930903398756870450171184998345485510031547758248354572715803033091096824*z1*z4-200271822287595620497804796462800241676133901556037895193685153686249989069272581890276756405875596264766921775498805471539773813226604695753619243762149293312848660429385050332956607649381791972284808644*z2*z4-600830261572587964761633581248269701234616772752925288236867206392646040958429634981091792625402258752795985282180734592585810512158602336329962049553916768499174604535249437675026258049204376260421641196*z3*z4-15670052724048306479334378621075499987301403164938399649906184684881246270619014603904403431779467022225129948711226886247511844034154657856104356000864170681383561168752506323706837302874233332015467830241296*z5*z6+15672850855765461951051950585254702364137140103306628679468669286143307231006217007797514501186242544614176578137948541860262698539996435137317438799477865925798497538677371527163811838773259243730045759604003*z6^2+1239201231366104074846460775806262010987830919841579379735264965500488217344179525952649339966350436190332687142634612679019593927795756348938042917637706807982511312914304538972336003153293309531660845626185749622*z1*z7+619504469999771497982640018019944195246864849257548086173795566922015169649520993254645627358694529232895395411850229065687661079437461451233541274043006927359894124426642187804421659189420053491905122944201931915*z2*z7-620857382963052394728483736919060309449012483939411911010874574866134510231092870305530247959655100951742664335010007889689025010167862021420083629817166029282235959689051739268274275150193584540409266511792213031*z3*z7-48700039499688091738466732755830639671687864880092813765402930622649325701330363152633924349605846456131006924194759878721605823454885272804226624227117003466230518793813958938178227361632824677767599892445402394233939218698000*z7^2+1845303967415926144043095796878661040264031797577200415688158037543668812839019621120935042952270775420783034215715946147352953401962501242258155745643995160405159212219919743608700157865315190524581346513864290304*z1*z8+921569952262592512380879094423206153475263345323690384844303271504370411623097642121822515166607238256614143707956465023532862596518159324181610653146079197520369805566771288313845183281637717699762780183055620096*z2*z8-924521552015289973038208470147305030973215603570400155910951156794804405176440477290546387644410246968923398971415332059653706868700628322538399656672046784005553439975918814987623764073384227895303795614136686592*z3*z8+1008343987900385502067437421043648602577316577207243560403299999005172410026604845819121814143264327332237129380925460644241612259682889626320811628390902232985420191286099978346117403886489977424781834404760031919027744755712*z7*z8+199473619005349372469179836491374283613667131171620819926430517546980603292842797793701392447913506976381006164902365824516278519173350831747467047253408768667079590769041877760728369955032704095916303924964038051095367171955200000*z8^2-136319804383580007180744044920152046762024807629893474087905203311214133694671209879459557034881890783664274099262479059002328766160335416094728780286599482050883588580939604903720977994009307126226890938543290*z1-68024727695351448148440825367325767869713267627339640154903285738637620850616288988634070486623397716864823893711273204849280313293311834938605151293752659089775259509381049449911947815080990142995223232831133*z2+68329665433761815422005002197437066821689688758061528626960438676761299060207458604784369563475751744860242105096708241922325938914537977975611125362504481379102188281185425073394029626571990665729137574691169*z3-3542844059659042164808058885509724691402150007316620124976548279374073060577230809915996814106709892182292330444871409037943590461986603822778316007347243785914336728827989148331867150122505028508420394310992*z4+15670052724048306479334378621075499987301403164938399649906184684881246270619014603904403431779467022225129948711226886247511844034154657856104356000864170681383561168752506323706837302874233332015467830241296*z5-15675648987482617422769522549433904740972877041674857709031153887405368191393419411690625570593018067003223207564670197473013553045838212418530521598091561170213433908602236730620786374672285155444623688966710*z6+48699614072178152936927096530049784496977451720573072170998817921280086524550871819719299894507985710648970406338072100563931941792243701916488329277890503141338377746925486463488959183303600380427868835815559394015187310327601*z7+17136635961182543634512185577730212442241091224702878192894593440232050340019583193198317587751477028013534357286128588773963985187311805412608097562798201931611459216719483699073366816295936563355354004418322177744640*z8-413213106594329542400823703143053538418673919350603718745729214438392328395516647908533890073042333817896763973647103655193900422792534641051604919089295728372209367312429288695183252169316009340158647133384601402,
14798194475516474896137648384*z5*z7^2+147938544*z2*z5-121676*z3*z5+333321424102754287200*z5*z7-14798194475516474896137648384*z7^2-147938544*z2+121676*z3+3376328606805*z5-333321424102754287200*z7-3376328606805,
160910433986011706731308631269904138846195216585930483040296690481898279494458511362298619992607777341195583604205471133020544085909368943443959926795883661479929459897156431360*z3*z7^2+44228273996654755073126220944268892198463222938475460253608104670547411912094877711492133526778340758386571532836572713109124011579598270041543323917420492170983659403684144539850457088000000*z8^3-3066992517541460226343012436682496155837964366035286458319776660977785276631330463086737830795702710704223690087984353383616226123510322209337387288591967937718114016*z1*z2+1272392058135508057499969634877693634426106927091186858770085912054070902190338223189717387131370578860827230663346358688572649673165031480297831697667399226941315400*z2*z3+25718011310808383970671312107029495321954719259892019945097480827136024896877486190467738968009759214505893766657710307084190025332091274243623356237119128732578716456*z1*z4-4300391838332344104853491046894577008380626384552234810995094502230743346321239643084875402420339501245718573426508005069441157508719126767197547826790583788779250476*z2*z4-12868942556687314152109826862770369610500908047438194058149478976019113015304585570458734178148016540742864387305006147315150281206080127308059165186026171455924601444*z3*z4-198223339587327691884195792634891024284684134814447161210418770498021389808507343200406132670740662320945748667723078438146565766144105382220972085889403339461721984876384*z5*z6+198306716380499919786087184180716693658487948137300220930904947271674886058643654274477014239796361219389238659103951024210548341293865248048583405951439186186823277603697*z6^2+33168138262790571533089371453721130379747039624010079336602967060147684787995223531335513798204130547981590143096628861770202765953439504351992260310853342335404211330387449458*z1*z7+16480510232907025922433656873568331874432555828870477594837852361827320843049980915178345023271320646684680700614136515662693264612489293767118633304612747195224807955139108905*z2*z7-16495161168753754897391228725423326943780268798684558666790571754403724872666929218449881772549739904666288452627441321585608936116167473441645898717257667028847227612448149789*z3*z7+1964096436850215940348477728624288192776905807224351337106277475072081358299187576999797951662447234062880435632892760136183598743007454231406532117798937133965737681326883506295777510480*z7^2+49446657337961465966557507245931857292789370151772266078779629993428636694469345758988704290070476655859510342212392459890234492963727294311529483789999444578861163543573139456*z1*z8+24506956360441943953566916897034302849274003487970084866365456024630342616296432754718474429287275646939293323728707687845589573678116634381550263999287489330536567226995042304*z2*z8-24655879851993248245204845177228722243580278217420077991967347730468047304267690635473926561185309588583615809110856528486891447953658615709404775674059666664999475964112037888*z3*z8+10790755714781567941587653069165285194690489139963135896974536233476402793826274024446227418512545037046217721951634343559610588142627362647369100237039823534474346411039601795244668448768*z7*z8-8069489164208819309208440321805654499037076073153302017346891968458059270498397752009108828404076575139446912291969193479154958989358820456665805453974928651187760229740702232537021760000000*z8^2-4095431968588540599413039139548122846193920062971861537594299826740908160307797106573760220166363012511116488500491467297113055439372034696828435063273932795483243358813790*z1-2027558931576855209338994585577432614574835017668367475641876361152840673149672754693288216906951840389886726141623422868363754268061442898542600456948482803776596455153007*z2+2044537692876674110148984936318995085964361623095059157383494270714000156450508687423148706597929951299080630042282352320319234703061665388822422475748563060292774298507931*z3-77053092126697216721444903145337765616856365966966006535264377617090842485175939664878809282971441824821082323895176817581207949826398469467709718801681401062109464787888*z4+198223339587327691884195792634891024284684134814447161210418770498021389808507343200406132670740662320945748667723078438146565766144105382220972085889403339461721984876384*z5-198390093173672147687978575726542363032291761460153280651391124045328382308779965348547895808852060117832728650484823610274530916443625113876194726013475032911924570331010*z6-1970088974621422654013921690481902254646580843314604549162992267073222616497111545593305266968410746695952954796755691928725224831971258675692582329992927524505326307602999077263332963981*z7+396706879708530626975564250375123599832353721756931453363870457119214549672881217258103448119229482159927460388481792094485064395024367687871137428647422780028145762777955754272000*z8-12323559497314784265672382664391473166815476515047945001248964582597605392475581329005413988686054136315198550072551681193674342301600892305622289070358810165155070499299689318,
338261365511202282251924408046208504546238816865243420720194986651527171028811127700983724737471816960648056669916545607324912004325477570362760584627760672605754335666839772698182400*z2*z7^2+21411832270486545045270897216756631011292678857129226922947209284236192989447296030177842124141639362255036103557394713442133563627257001656611956872627064026948136729280975445018286463123456000000*z8^3+4134846984148723778157639524172637686207978745579946120164248395800686251185592751079370930419878683145416006944147222422886429965378090498046382512809336348533313709004096*z1*z2-1806149331982784637428396550300781318263029365001065892774990552378879847810244694324471974858016946611763151861977925874619322508727208434492341291053567728555075490767360*z2*z3+11449494084021890200071471210735165742098016543053324231647670643972645312513183419569179409746178315079205323166192569764676835824404181195150584782451161011920885402570944*z1*z4-1896534980266694681960058377546620663838329452338399788850035171832874930198853344766299334681854177078061282635644357127494508743893293632628539442754409419345424509775264*z2*z4-5722305014295757084192992357144830404696836457809281439994513446106144701700809381258285909828261381806352819671936592110929503965852092910560532326556526799965331453228576*z3*z4-101420389072023812496733221416893656676486628745798387236557751969890461045622672362329428910074892504724257071614656344361228056428368612067038570048245421516975898732012718101*z5*z6+101455284184339628109288203471068971072209899470043618295519063287035301114705575202218683734195660111834659492258464639315212697854788506712552178703339340413918557537112948468*z6^2+13752466087243753997538033689995617282467678672612067211766023817122827880670972375885021767742673181035604523860774063857666050805226431360679678618869164605020346764647328333219432*z1*z7+7168103553336649019391840619495568108835775977173606214659495609388712686644254055238757745794266165647414392697266474614060419192062024059233529119759521580819050921509976319402340*z2*z7-6899758682803923990244207650797293016472495124015034590763208895925816661932663769904452034501643608099503708911576411598730791823077758716179667783165530882149699841426493197305636*z3*z7+986787874359370457150771433079222382536205888953076082278996810945625040704042304694011468043456067459848257520972107749902805852912470323632631215063540574840242144103728120936930653948040000*z7^2+20484583870104313300176387812872408779682457700708671810278056233713862019793775241082919350762767067352050300927023498232487638044648163132528698276891532353648688182363918527617024*z1*z8+10526340551568107596928256146859583255097081431760395505748598543575963948206395240442620911487298593157212128620625921064694024693931536728188670056947324311890848357436314095922176*z2*z8-10277348124843832520058950590620103289783771523888465501493962749211543327517295487476284449277471996474072714398637019190427605681980139792404989331434744882572906651856329735089152*z3*z8+5224225001728948808652492610364659975406965611400611589520558888559128767624719558194003586951362751090451006653568098231130901988965117890481676298554849505461034436494258794750201336712937472*z7*z8-4053402293317719315781786349350688601695927218413375355693620022389308332924498162960069116092669572823366879345618521513498510193765572732967602774307708434674988663754714604744094109224396800000*z8^2-1657319223686637557758770654465727789159343032664994250197124850324935877427203141660174549135136552662833207464022368484059563711521185727499265924901004365731083751511873911640*z1-848536902546875130444099589522332818332730288218583180752797004646923332660320866699816110070480035006641460436347006545442378124110143043659521897051239062606372342737744466748*z2+831842594118443029985459962439471487772970343659624067928953791879068501389938780530870040250939446995968525531441699824919523757025890318354957542269759071877915536332723893564*z3-33839517926699771424733856415036146120936043209790108961979340046248324734672491772356400981769571628425002264912524649124253526269824619897296959187553346841581637983063033652*z4+101420389072023812496733221416893656676486628745798387236557751969890461045622672362329428910074892504724257071614656344361228056428368612067038570048245421516975898732012718101*z5-101490179296655443721843185525244285467933170194288849354480374604180141183788478042107938558316427718945061912902272934269197339281208401358065787358433259310861216342213178835*z6-989599654364107965191173959564130644950699394805068289263235189449691780038095794056736335333041302062277071824971064569565660678236515389659076154295375882199167867248665462211412633666207044*z7+173236853815191917027080182628940521626480662632167281273563251059013404052708667360891681609339829191947600999660679132666135510522437761985131081626798699904329365642324511002973680640*z8-5156972002306517701935856897724468486021326731893256651436664243795012543138060543805840088464084103400605306418758524705100272524638523539128153142073207186257827983387175686556237,
2891598061249797579664650537301141252080292368402541160192362207114813890103267900781054362378519559749087448107128122896744274901352101538527626237159880811359399219903940190745600*z1*z7^2+305717922497682237414371427384121008147029839194918739200934011981637727916110768276694294482277492996209171235993921179991902431273548677364609311593851781753753626286717554625685443559424000000*z8^3-45222847797457073656629780831075800971498367673620253956540384158212007180500413641851481058258947946501346771724577299273611709022470332711767867349866483043562366012192*z1*z2+19148119055658438448276163661102308963427818960482280169725748687441954904210820400376517745311808956422626518801943022993396285858312036951075402698025740178606515866520*z2*z3+181799345618494372099745469097040143765720941696491615624173337587581389514315564810398990592333630522088263894726919237113437395907670966486325231927600889962082348022712*z1*z4-30476206046878543846196914539050150966517870386046823204492989352258916779831080991225330335532391807263806749596331487016610705368397686855707807643253677234597625539172*z2*z4-90999364455477872747997985930658352854497096505946752524872517255992198835031285932041410871760816321430597946588032782612829252595586907226061788801966745407549231881548*z3*z4-1333734485526727078615073259213142008800496301704368676510674069078330711854199676797473075422076903048540899416261894175040566372122615911706100854236454113872153353662940298*z5*z6+1334334679579302449872337409046387826993438360079677204261777219149725427812621373024454328395077718151264484902026937525576462338488474397290994815834380481826863573015815539*z6^2+240275432301755513214653371004976686044446703694489109935632962358049579296719906445969990357101654849718857593585334273317388856148926487782020999462516813839411688000392942065686*z1*z7+117960133952755838198261926019778570051167695672924056273422833739210740625818356054262686600579440665182418390887929836228580868493757083716369865390482482092451600264232238231995*z2*z7-119238268458955585083774938873066343009873412960262490120059695114015381841228712858172168716052804701916710141762594146578568939458892463531012858146147138390791299864113522890103*z3*z7+13423129120726753315587700299695094279035915327069049194920786349928660177998270816190025057612672500299703219844276361780199365388456846763645445550996225556810829976999589062377667375030000*z7^2+357107718654747979702833832222283602379993542354482451633447505987250230841259455292052868269118045623372151053747951493079069162761357953252515501874765106917733034386150750871552*z1*z8+175396402773169762289071573317573718674575067822942157626045978180624212256904932230171127808786346618408341520121390424518286262181873160319431342072020948577914960664901657448448*z2*z8-177797917962892619069750464946150690087300493609221290783667160653981275482814699516697967131924237863475537388305261460015122429173383184399074657369932752352413308459005034090496*z3*z8+74587834055834375602574521649999952604545721672030305435938831566883742026464072473874979778163183945432859184483320680687267635800151587620420521493100342593478673900236633390726007487942656*z7*z8-55152379386539560977195149947810104595111622826966388338446112780360450225372154704165349787196623444799969263545589643530000906150967524584872221080274907669874963862687317315333144069670400000*z8^2-29723419790119057339086604355878548634306496932969524463369052127110764746857953653947282272796384356843693012422408642359995752682040127378197828093905855162966824909223674970*z1-14595732452411504722890658899435636317734801270176109113576145762487924922044640988934217325010634824364194621248796315323437481839633871797564850490744081937601551839846998029*z2+14819541606880507919251925477427339910062783687232217995441870384059708925414802069474179078558219675178353007761393088913773816826596258522446832234598452236878205984118459697*z3-546562637020933694665065013761617911208216047593134738260625120960809590732213467541885300108783542035071995686846078678870079540610032602323206727809731336215275172036136696*z4+1333734485526727078615073259213142008800496301704368676510674069078330711854199676797473075422076903048540899416261894175040566372122615911706100854236454113872153353662940298*z5-1334934873631877821129601558879633645186380418454985732012880369221120143771043069251435581368078533253988070387791980876112358304854332882875888777432306849781573792368690780*z6-13464928217929298949895049034464115400723130619171796327390154906325798308682063998847528203698127293616611663696188874901421898834128333614401932114081692444685144790452903322030862371112487*z7+2821875350647788845680955790223176315489127613375623085267730387743191015899710902700455630913304928671414109380756746786495824127510091260485844867376104008402143184136366565539557120*z8-88715411877098217804649297246598507003025563659266763049796929654408089520497928609223153993387262130501416127641613956313419778867880923842216803127498901969295457370420417783676,
69944154198163700498458405179728227420894125180108484551917525218063155621220271835812000142851397409891586457383777425642775661933826397772999761494356576204990*z6^2*z7+20609901425945492675120725867251590836652228673618910426910913461865102138655432283858055516597142424828820666123335797515169829910208309505219795843678278868715413579366400000*z8^3-722760188285680057867355919135377851195939673663095733859787642709635832795173647949347917511748275691475056137662020498327825912977103806374143344416*z1*z2+323234654611796900796688405773733007100255361737306139252163131507476788727700476207645906190890283196708173538817969505459279383644927340260631931800*z2*z3+25830406694363998387347753848575040794083075347028106387561285319497683187818566875459652775969893086461268371550278845489067312491345549800704156992696*z1*z4-4309634238353982021889562970756666950351325405311828195941992405725051495495980821682739389609811657229299733702388934345407070483318669186151418179556*z2*z4-12918576101019146904936404357992519077694909165852139546769191784087331147867487058872021590174898931122665947031289923808533905673913838515568198153164*z3*z4+2610644875710162309499935870754276565546349548441245029851583773682360198335889809876768942372833217009910580951958413425990011025253487440115363288556261066*z5*z6-2610703164999000951736212935307513256891401192630589205734793138461249103625001067782207221180049154916307688823125985060368842142074351093553586533879369063*z6^2+80336796644801075279926773816373194918637397825650981747123383399186911475018556744212002622243257817854353972603652109122162466019961161809262151377493628818838*z1*z7+40131679334780520390422971461762419761568846182467597336456202629873104726568816403099009191609338051700317061138372206019480747877413956919891962420534156855835*z2*z7-40164929591497782220330813862408602044341041873369263674218280352320883967965879952402707640578142927279147694974027435667679896822646970834858961221646310945079*z3*z7-139888308396327400996916810359456454841788250360216969103835050436126311242440543671624000285702794819783172914767554851285551323867652795545999522988713152409980*z6*z7+831051075366444389441557014335878939082513974886616081101024035292738963793635659039173094342685503045639000921886982326558660539429614828911525268367064274492769319046000*z7^2-88600888288787735126350927262215835124117878287411816638041662632403433721719399053630977789143828880843098622918096853840779338863155887499424869943667328753664*z1*z8-44361712575340206399588056310241515059136016945874195891732439904547547674038173534613006135776639782014302386431567692098459284512963472736860127245703566667776*z2*z8+44305578043217609337272756226847559830959675629555983641152292566799758786660868951798713187680420350463416387170837128640701378842175210159529401503752362831872*z3*z8+5026717824810429963648321409399699898794321079445228420829833082495396200228816799402980983071626239101067152739126834157042434320121965395964513062729270465468250512112128*z7*z8-3417381951238696752224885060931040804713843446706890185987329484929740546111060323868223824453550637064319543752575778637371110658750272268777832086057300253748555873113600000*z8^2+2822674682740481378140023539023535008250567151963036084522113383158779433872431078128198517658219380106956445304567054101294299582201074401339131980241959670*z1+1419302367766394939929531322328327276129290317640041896262314176757458189030424671392702563376200584169223166984742976562372945606484369771739597230940488123*z2-1411801455311692346504562481616594819958251060689728008187051665051374314437853693732419291639111729679497309538066549663655272680046822111439411436573514999*z3-97073936124370820618045547866221400708746894633559572153670522709578472794499774831365000674605695845880659765693875914528766645952642825508793650948829848*z4-2610644875710162309499935870754276565546349548441245029851583773682360198335889809876768942372833217009910580951958413425990011025253487440115363288556261066*z5+2610761454287839593972489999860749948236452836819933381618002503240138008914112325687645499987265092822704796694293556694747673258895214746991809779202477060*z6-834320096249003694741582214298642971103952291076330845739804375232266591429923304840563827033443407871343158282413266607949290965260054715197429491300770389730477675236191*z7+748147137152907546276618560118924950573224750441338323358334133860497976073843711494048570895696312782606003458065305407818441725928596846524329418569069891534462720*z8-61286027476249036010715932930753352268759478969795167914393205476613695590417560861364606357625728577627056407795700764954677515307054148813575391083478185871638,
-104916231297245550747687607769592341131341187770162726827876287827094733431830407753718000214277096114837379686075666138464163492900739596659499642241534864307485*z5*z6*z7-41219802851890985350241451734503181673304457347237820853821826923730204277310864567716111033194284849657641332246671595030339659820416619010439591687356557737430827158732800000*z8^3+1445520376571360115734711838270755702391879347326191467719575285419271665590347295898695835023496551382950112275324040996655651825954207612748286688832*z1*z2-646469309223593801593376811547466014200510723474612278504326263014953577455400952415291812381780566393416347077635939010918558767289854680521263863600*z2*z3-51660813388727996774695507697150081588166150694056212775122570638995366375637133750919305551939786172922536743100557690978134624982691099601408313985392*z1*z4+8619268476707964043779125941513333900702650810623656391883984811450102990991961643365478779219623314458599467404777868690814140966637338372302836359112*z2*z4+25837152202038293809872808715985038155389818331704279093538383568174662295734974117744043180349797862245331894062579847617067811347827677031136396306328*z3*z4-5221289751420324618999871741508553131092699096882490059703167547364720396671779619753537884745666434019821161903916826851980022050506974880230726577112522132*z5*z6+5221406329998001903472425870615026513782802385261178411469586276922498207250002135564414442360098309832615377646251970120737684284148702187107173067758738126*z6^2+119103023503052651433980073086166519846301705069131974713423334073878799534843973854823995326919074003857637884327805484326777715695383267473474743222439047182284*z1*z7+59624949726766360216070867435931615318650557995281774430922645176380101789302910865425981902484118716382538792490810439246589828112824881706215598147644838698310*z2*z7-59558449213331836556255182634639250753106166613478441755398489731484543306508783766818585004546508965224877524819499979950191530222358853876281600545420530519822*z3*z7+104916231297245550747687607769592341131341187770162726827876287827094733431830407753718000214277096114837379686075666138464163492900739596659499642241534864307485*z5*z7+104916231297245550747687607769592341131341187770162726827876287827094733431830407753718000214277096114837379686075666138464163492900739596659499642241534864307485*z6*z7-1662102150732888778883114028671757878165027949773232162202048070585477927587271318078346188685371006091278001843773964653117321078859229657823050536734128548985538638092000*z7^2+177201776577575470252701854524431670248235756574823633276083325264806867443438798107261955578287657761686197245836193707681558677726311774998849739887334657507328*z1*z8+88723425150680412799176112620483030118272033891748391783464879809095095348076347069226012271553279564028604772863135384196918569025926945473720254491407133335552*z2*z8-88611156086435218674545512453695119661919351259111967282304585133599517573321737903597426375360840700926832774341674257281402757684350420319058803007504725663744*z3*z8-10053435264648235220603635275284337688364478434289191850342567191236733600238025059609585781834003691948042961434961806873773917902406687508148532782867853665997905591959296*z7*z8+6834763902477393504449770121862081609427686893413780371974658969859481092222120647736447648907101274128639087505151557274742221317500544537555664172114600507497111746227200000*z8^2-5645349365480962756280047078047070016501134303926072169044226766317558867744862156256397035316438760213912890609134108202588599164402148802678263960483919340*z1-2838604735532789879859062644656654552258580635280083792524628353514916378060849342785405126752401168338446333969485953124745891212968739543479194461880976246*z2+2823602910623384693009124963233189639916502121379456016374103330102748628875707387464838583278223459358994619076133099327310545360093644222878822873147029998*z3+194147872248741641236091095732442801417493789267119144307341045419156945588999549662730001349211391691761319531387751829057533291905285651017587301897659696*z4+5221289751420324618999871741508553131092699096882490059703167547364720396671779619753537884745666434019821161903916826851980022050506974880230726577112522132*z5-5221522908575679187944979999721499896472905673639866763236005006480276017828224651375290999974530185645409593388587113389495346517790429493983619558404954120*z6+1668641302371846205944763938135259334135417296900640049441041620291823343086000007204401144731705082508660416724520438981678772030084312996352138844561756171911106571253702*z7-1111321649599122085009722058128625737421848235891359547742914208920776343608491046803787893005138534221168715054690299864899046208573413199706068149873201187636660480*z8+87599977853416221772202663271642590827071895349536093552827648344195813370224985804823212643825758450308319586899512817087967199647195098740650901419778083640781,
2701506920112*z3*z5*z7+12168*z2*z5+18251*z3*z5-2701506920112*z3*z7+10955511063360864*z5*z7-12168*z2-18251*z3+222017334*z5-10955511063360864*z7-222017334,
2701506920112*z2*z5*z7-6081*z2*z5+2*z3*z5-2701506920112*z2*z7+10955511063360864*z5*z7+6081*z2-2*z3-222017334*z5-10955511063360864*z7+222017334,
839329850377964405981500862156738729050729502161301814623010302616757867454643262029744001714216768918699037488605329107713307943205916773275997137932278914459880*z2*z3*z7+4650116841298359394664381466223082503082937235714009743404177068874110015524526212156934956263241718670449102115000630611148516795555455007860153292082648417727164287693176533811200000*z8^3-464990140328848009213598797906780475477183586668361610182313438638501184604151261447091216244628516762748882603237985443618330052073037427161844492932031875552*z1*z2+216686761945905615682274018723226799223060967212468288226520837913688215785838936321140537704654398399396783502318227921502581486925804574194305019847476869040*z2*z3+2281017651504789159691817630395648928502215540604064596953932398675272258122847659546784158576616135583103963669743887580164100352538714036632792261063944404872*z1*z4-381707740913625639710707819595022581413261776610767724976423254629912764947951844760517320374622926983670838273300927773223927315053166791798105451128889516092*z2*z4-1140983686870531234708510429431207777929600590887075237698665671841782015328535458375264455653010549073265506609631735439033415371663461686147662040583533858708*z3*z4-24259584042790591386645287894375881495729160479172983493685902472489972959609354332719911849478744648555701879188999887262319328233101876974810808459494851004511908*z5*z6+24266110650748570282455636883420708136338886950692810491837610218317834768770049997693838931806533814110384031278140388521890886179770158106287238750752070464722989*z6^2+2754398885431197024310887332963553524693306728647749740507750618455086910426528033490628033616967258056960573281817215282185086665336248979893443908753688330532649947146*z1*z7+1353489958221295584744359953456245183758253874283711512373083208883832985744872734586231535969240451610186693837158593288502880552359886937184548911293831363911321710245*z2*z7-1375754492197103544327678063665422110386310429774129246019541142432084129641523689562034979154889529172541207556974094327012703473215824549256324296890411987178337542473*z3*z7+220880059589925345704720909660089927673499202049556408931135611656538194220963890893412417394348387262255433804524162700838774306127940705490899614757489476808505451506155724042000*z7^2+4098593094572239786483994546658326734704353073851115653874636977645725378916147891179890041909372870585915528064339683943101247399660281885946240213273940693311062167552*z1*z8+2013937251981787781611140662393005576322068498810834681453530446132533163218445637047471089781893661286772823044107890089288693168645940929408503503210620326273958033408*z2*z8-2047163216562199687130621432686583432770263101886515640552030897713131067874875958325966433627296045830538056839284040305569636733640574916961672774262651346185298794496*z3*z8+1134606259157273112643302686802068131296030845859675015149096784816481579274657818832364907360657289370429798645021602429663207855387021759521038362172354804224677460036745642356736*z7*z8-907160943796226250837409772124155823736630679311736178761408748385780820740361661814838804399268983967667963015908312271281067137964078181663694359948795713837471553104375497177600000*z8^2-323523324321394574634377502776002384395739036083922001757488314279261193413474898859352596580864936721727348813175504816484548949336663998013833958420146884980314150*z1-158699804222434367057303443560148192473702543535106115666666553068212956156862470855876610094182925936418803129035094138626815585590958301443190371259517466544172819*z2+161568884005001019258728551979346216563993205967322256794986981238195347813247970256197451984873619229288105596282423574442562591374591193318528725953956358751433007*z3-6792549738906569180415884958659818126461497443092160965060504940578080054999733806656440025586683248050083783539576915164255043590674069501528116520617186865158016*z4+24259584042790591386645287894375881495729160479172983493685902472489972959609354332719911849478744648555701879188999887262319328233101876974810808459494851004511908*z5-24272637258706549178265985872465534776948613422212637489989317964145696577930745662667766014134322979665066183367280889781462444126438439237763669042009289924934070*z6-221474735736865387594891250507847630995502536400050780694201277969156428048667485636435983552933015954021772780241576336492743116827119783103473921557643863070539989208627649680217*z7+34229986928695544595032356126378410737153197044078840169510848908372172104994557912131278656772437470286465695722954441540835517509215498396986636914080065640595763315626240*z8-964406279953336795678209069877146233745954614095445668121131376568591418500990315167609217271967219095351652572201212508002068951454605343598525911105790997099967741906,
1678659700755928811963001724313477458101459004322603629246020605233515734909286524059488003428433537837398074977210658215426615886411833546551994275864557828919760*z1*z2*z7+5578004211713768076516015287570349324875278981530476407929959912401842271785028559074591465874344741640456575792081415007797292128306381537373143141882938748504501170131939056025600000*z8^3-575440381944559108673648522133937602895262217615587393370756178397836367513608883627900248024357907035425146340797318849932622596197365500332421262843200860944*z1*z2+283077803123368806296675004446359553954018692896069466761713131618588611458446888007432076395125969820267000254621191577930571290458574234341256206076709041560*z2*z3+2775324896251465032678601510085516213051220704901747739822093943342092133879053297308174548836183585917555105978062232757145223026882014251265989702762213298424*z1*z4-464371621989055840595494612890869464098332537577297628447750301119229573095062913537684753420433995401825442790663318458395115487712457768756678902360447875524*z2*z4-1388033906063472423454409236920082899187971374312258823656522573672218744176195192968817956241104849972974277273751938712633700610870404857167773451552277436076*z3*z4-28784984636714765940949914770976444178690229044652030770794531118365726496949564632573484445529863630406837856035279489892003333679833554460424281407732559895033666*z5*z6+28793020181975846157276093978374274949241952464028940077629369572771169728698491217309195972778991748283568402664648321956289671951982085153282735679599690073103643*z6^2+3377173317693101698085097345636231442900322318773054458234749983121858513339274071634439763511317302203852079179129995214469996320148993186895226380080363324401522976422*z1*z7+1658559029442436842486545634162621675466705901386081494339353242679268804400414595897843578160175212802972949952882429641832197417672086608302913251295514851794491879075*z2*z7-1688144510506390695690212188364138222128848502623069896306199109681466798401636386705654655041814199832667038613171693594720716268811511890076386018626647977372478188671*z3*z7+263628260807994171966137581160945810393523647371014575335873787501896017023218766979573031579201470856536978915551805838441160897880370484466828947353157950738248401046115638534000*z7^2+5026181320616511567195259650307534070269211609102075267676886985093071552231698877052888765605629608804941283904073904650625042064566553898477992156370356910219776794624*z1*z8+2467713436218557029950331064708045085444508292633414762084682518017762046008774675674744947541391454104680259358552519075980161460779522119813011351731228633133236432896*z2*z8-2512449170472342187163615602155155025828658540690583400778788197094720523755642002301414767830177973832592099126573732228451986541487968074463922373980852995601325309952*z3*z8+1360999242318891634204202117941140638315989307309015320546601635260106255990636470625786192771527413526424025483112000891646896959627213638155914612398292073712780842498875990003712*z7*z8-1082757074144509218567151002488822066877393708996130452182397057687654962358800598381918879364203303041313733947686339491856052192626116117532098073604202543405591260886669970265600000*z8^2-398706859831696028409158229196398592359783452308399844600882737845098142565601811304720161017211488137972811514549115492439122706234335300572768922407408957788645450*z1-195392756334347906773721671924479113296667382256623806232120175418583323797886617599946967438209993934054832777954902029035156299770658783076330424808804782649471973*z2+199296394091334211214615167429498582416007273449085651519906933311436257458754312894798215824679825290301037697216311814005788471540888926342602532118527884950077689*z3-8268678452132448363642108977956879620922225895994068001072570407542727837314932817699411155176440263157681129165116440018008342380727180792270099254217008492634712*z4+28784984636714765940949914770976444178690229044652030770794531118365726496949564632573484445529863630406837856035279489892003333679833554460424281407732559895033666*z5-28801055727236926373602273185772105719793675883405849384464208027176612960447417802044907500028119866160298949294017154020576010224130615846141189951466820251173620*z6-264344862396695300983719108231203113367979448949094825923476704522698013218620341471994490833543703271953931182950521061069344110479846116959002483397966093860023839155072303210479*z7+41750297099399914476784940265372805431010085062990649599634211399492199644016681210409493945525154036248042997992658439962505107476734186719952589397993052337572087822677760*z8-1187408980536390097217198307081049681161528138597737408870534102211149374578059079883419349043898841140197466345977742310059118651290016391328581129308691533963708268772,
179964720*z6^3+2663118121248*z1*z6*z7+1331559060624*z2*z6*z7-1331559060624*z3*z6*z7+3962639056896*z1*z6*z8+1981319528448*z2*z6*z8-1981319528448*z3*z6*z8-3664450534837248*z5*z7*z8+3664450534837248*z6*z7*z8-5839495234560*z2*z5-959811840*z3*z5-38692189136*z4*z5+7739529408*z4*z6-539894160*z6^2-2663118121248*z1*z7-1331559060624*z2*z7+1331559060624*z3*z7-1314403648343607920970924*z5*z7+2463051372389244*z6*z7-3962639056896*z1*z8-1981319528448*z2*z8+1981319528448*z3*z8+4726437481664512*z5*z8+7329891930356736*z6*z8+5839495234560*z2+959811840*z3+30952659728*z4-53289331923056437*z5-568823537412*z6+1314403645880556548581680*z7-12056329412021248*z8+53289901106523289,
-3*z5*z6^2+97344*z2*z5+16*z3*z5+516*z4*z5+6*z5*z6+3*z6^2+21911022126721728*z5*z7-97344*z2-16*z3-516*z4+888339132*z5-6*z6-21911022126721728*z7-888339132,
-8898220800358103909567193558367792245853394623504925549504300545493241691457016831183183450126065350962539105525155116279998087169096257704849082083601576262765*z4*z6^2+417812877310819811017298323539570345844436862562211414135641385389918020211118997895533253536377855932390790996619331875365891004204423317991045416591547347445025643990400823109222400000*z8^3-25074344555638653187104398150875623208730378800526833277469536376084209383497358351739755201786601651222954541940287667343870988384253490907775290262555823298016*z1*z2+10593657853296282873659774617720148499988382412939811329814642608658726393616860011079233842992208746251906346278393186622202203384199149404256388234228091139560*z2*z3+433360000880356480317002586769100932296128928234505471051670724954410114360772490903486512184455290974515480298572247306827376538395665293917218024798511276489197256*z1*z4+216455244438441500120619813824763048993691897544278306737362363018298775289624293132439375318370284746147616731493119160105657609816031323973934915419294518554584484*z2*z4-216680064928777497330303335346889871233577116772927874357986423724524224376095295362166527882952926030831993257928063540402384267460572222398377179512848286063533044*z3*z4+17796441600716207819134387116735584491706789247009851099008601090986483382914033662366366900252130701925078211050310232559996174338192515409698164167203152525530*z4*z6-17922367299239238632283947172095167363809074291881867325649021251443854953886845281577207344661962492431502429841927026132820230836728103258795510002543159395012199859*z5*z6+17923779308796638039516576809666219361379988130550732041327828868137984367092953275358041204672087747994991852932795416114972935548105251082189633537032439933848851057*z6^2+775806358406623626798978474512691726022951157684626979388108986075540348201152692562154741468859222891784292784484352315471711247066238284197234155897214695463252426965818*z1*z7+386829194298342094537197587226391898545101712149377826336449196645894992859141880296342546614352371471168862504756854982832194204421747959549663183892086977173952221984845*z2*z7-387727092534179610363521986263967094354484868766304787998903231537079162292437576895259360482341369185812588587481203349971539629499388533181336156273075778401537019609009*z3*z7+18108198613180681440008677609840545482313705082039825438674229291467765891317760437849358638763751113688333543219428925976023525181830800915823727712541342675046137296451697931066000*z7^2+1359395845959249129973471739110437790378419698842503360053844609946985775576497638016161805617091239116818239442762229402685640148660352613135749111388597630906117622831616*z1*z8+678072004030826571790531577333558577740517905339146065833690548954967804781075339582239685903330207225038287532820604147025790680187088587581817552334920342671029605854464*z2*z8-679436788327726617552273065782613888895735812688853234650201554641186412452367305581214573685475456817879194932708855366846424910673182733076427727642713076949323571981568*z3*z8+101925751646301993867408693440170383425140574636897525528916072524198860317728440152353479370536110984130896671883508465807127801982079349579690796120259720752833704364508068714754048*z7*z8-74417397533469092976851159532000984568754821474917968029106936860761391173779790930211001739808707232789592498804698572480343387658348523894363580720583337732513325670473226657548800000*z8^2-143549481548669038921248920205057138360825906308547467487739038355215030140097923581239910640797480793905609711645182739579485530528075714839826856364332060981166216150*z1-71588915741242635156187132740535349270609001313571670454731351882693444596455598742126734799580891837360012401109105803320342533000269800931455629786649466093800002347*z2+71751081451788490242385470580321732898118160607233092247100443850622273745371804630952905715924295518699037595850875594210024016221455346398596142463529794732592903911*z3+1316572840801580648530512558510137081407335348168408236757505231941847852486389758890920593926856032164974160101345501559123795030459682592845609895182565463615499601537*z4+17922367299239238632283947172095167363809074291881867325649021251443854953886845281577207344661962492431502429841927026132820230836728103258795510002543159395012199859*z5-17925191318354037446749206447237271358950901969219596757006636484832113780299061269138875064682213003558481276023663806097125640259482398905583757071521720472685502255*z6-18168294772759683513678169985476388842820940948622918545539987206830025370510221180192318388708262616616444292142152768938615948228302964410688092931023469205027233196374167739020641*z7+7365490431932384897595035914692806746732130325707136402900057950285719548744518377103408964708488197180214821316675837113780460472474783175445304240185161166106000350596118080*z8-435451080227330988964014130270781573558343092155871852323345753759820223721902712070241373791329255960977689108968457038182869067934316003686405754168901643645569250008353,
6621931758406030816422097531808589578309502975631572501956688778041482188991268339485159776838002121646540729693138691185114855567699540617562107597098847451360*z3*z6^2+4354473886458275154590780202916320785941154572721544307355701375912270100044371435475500260862863021933393918509300532826076058312922582347744693364225742629145222126761576340225572864000000*z8^3-311799192478508478805596284953750730065815497209977320953649202360283683378243034148856685579917053120154770462596304838729163473674952177802454988919021693078611392*z1*z2+40750449541963884184060874693584232402067869732340795988680939738336217249256846889909059983508476453185283320836987537338565077493072418757090809932699986487893560*z2*z3+1861541922063251106759586290196096224143810668869066524030340968462725630796516269859842857667249546751531864718473230282217568418903072291671576161972822559581252312*z1*z4-311890999667863447716126815746419385237754749870018142152550624627576003012472953454235724740427548569924268170894271706438660644623032039585404185397117992213213652*z2*z4-932604047835659185017276796547062143044074374361633565776885155109427654083850525804465086845742203992508068344324788233719772795144010150158240935467744905261505308*z3*z4-13243863516812061632844195063617179156619005951263145003913377556082964377982536678970319553676004243293081459386277382370229711135399081235124215194197694902720*z3*z6-24928275747492956792781803833121066536820678452498751215200125464157084141006657285729739589835780996213179600355295243738833576040785648439091511553073322210215754565168*z5*z6+24932939025684219162141977996870187464425129803926128724129989844139928358929937999323543997303029799798420655660295981363297523202711668468812651714631341296815975943439*z6^2+2095484098566264001468718023689513525208086159677659914387195464309831000454053814716913880216752879678855006391392812539269360427239471667263295048240039724001234491742101646*z1*z7+1022167745989867921871229856590678773616756224997380298530296284426780356992259671893850971698274933424113805914748393258862773602722455488406007313101877211886869316310386775*z2*z7-1044603914603343285589639131891969753371447644649772398676442583294936461904683476270254006447488707342107426733834330825626126639679892322396826878838639763183514676358337923*z3*z7+216134739030740436505965762881190524753127116725164842920528252354658461771319427064879194482333714899252181787160578274952187201034994758453675598080729968908243662278774914345810862000*z7^2+3111882434035115087951160719506788616095492555347963181264922744756194843204453602313241549510161906379986167339273148587654668308489967973546067393034001447708097209821294592*z1*z8+1521988084928417832085175943838456989948232070345127839361348146605329650874711149287425932296320704063563781972979794628228903696830934572122213948335998444133490383875790848*z2*z8-1551295374135282172619901058892804015240284306411792716228035299656051159145337495351668174313044929343317061108629947133729283155205648090912799885463345940925478612368316416*z3*z8+1062520531615929894016585895452491682622670986480286476480957730434971071485340955698372142568028684168005974414940093255079952569103914973552674102885782399849914335338620376527441268736*z7*z8-887475475482271555269394991916613770815362934075069630151488771415154433610379870515156218832336437969490621266121187789066563818203120087464969505366339840009652886542617987761146150400000*z8^2-232382017066282425903549641566563009423712593688744669343817771349361990066336477477226563729435817488510476438012973418320646015187768004730340101119277232566712390758050*z1-113379004300838468739345861374705113203271218642510630786415568517166299646052950140319197384676310561449040346912462615363819055993621698576507069926043556300379623846929*z2+115769720999412336574312502798485527233881720438582778579756409448132671275539649069666198809770045596856072132077087475143203163048663124722543155758094630941868292758437*z3-5514313607265162217504369584890800812717330398418901999038864538995484080162015696899981432757322754370937395060023521199965562368865695276704700195911669802376230771856*z4+24928275747492956792781803833121066536820678452498751215200125464157084141006657285729739589835780996213179600355295243738833576040785648439091511553073322210215754565168*z5-24937602303875481531502152160619308392029581155353506233059854224122772576853218712917348404770278603383661710965296718987761470364637688498533791876189360383416197321710*z6-216668730942241666321077686057250095286093488065731905770313381515399057193062496243532405233848836260808587578766262291302128018154663937833720879673723272828906739870970899220971215667*z7+27216685498606200345687602829711350710134020105152194262688795707248835459840117537505584438890516142136719717357312058952902729845271367917032918944107025920342954231775482551040*z8-688843461700880634195392785365894504809334217232307197635982380984027059692606074623940122402760301364274666851279713052082267805320034885985700844472384069242900613978072426,
1103655293067671802737016255301431596384917162605262083659448129673580364831878056580859962806333686941090121615523115197519142594616590102927017932849807908560*z2*z6^2+1084019144170737528821158385336536867383255647448590197050980571624537308507705778763374487620886186470860047879495311361962900129356145029814003289483190815290667099627056091760757964800000*z8^3-129017516126120730084586928446647042195587712819149440040179795765012881384897249575784454654563555720869766644084587115042573052174782349771113587285467352199296176*z1*z2+77549772418355414767010947656275251335832720657295554310477921754758146854797317573296295641972307350561702586740253410303867912150114271789655645164179530635380880*z2*z3+577176633829242436123056034398231078286922842385303212998765953021782644845147226252080351132137546860548775340490514288205689278396738422899259004903120543437400616*z1*z4-96522377463465701253418741055268799187468837598364005023425582223134829824728105260208655551483330185946227819776348607405801067466478248518683748436785048110103916*z2*z4-288467534025037380874182294473092026185182598741726297361430099021893688892382765665185351656020833636731326842382400293186994079504461145398600274061002753206078244*z3*z4-2207310586135343605474032510602863192769834325210524167318896259347160729663756113161719925612667373882180243231046230395038285189233180205854035865699615817120*z2*z6-5338387008209570909408297440107332674124168393667129534872404440788101703694285556487463680227689928862287940349411613405658577549824161316118359792817901736828062248049*z5*z6+5340171600589823356395864934846000230368787326618367290366199343054235579509197574037993508174231749068527437733188560111275126913248868622506438881072628334178899343177*z6^2+721651035657126281450747249167742226900058713378153581632467260006670811857024917223441169394654948884014787131835396240742540849469615941400898024144848535845175826185422858*z1*z7+357068147348457174077510729447075198426335498614959753516148464917854648940915064689552662608877391714523387868789361436494739945595147901535937730368760175156685556341905205*z2*z7-361995155518946447007784894111667099382104247878693097619981003376571945227776319674766070451451925352502572358515397697661547185180822184650926234044433826595907855963884089*z3*z7+49944358574771086653568488695430052558007169987007344096520971029885767509683631441592207206100513351808670531118777630498779928650334498488085679809196550211157487906819195889032906000*z7^2+1074867834928033684286379172278583758891690170295714412510276579527883020899802878260250325436964201759223926662821414036406919907351615974903973201392637211540233261594249216*z1*z8+531128656560262777206931177963977818694033802451015793069274473122448949877274657287887597114803627440830393756169012430128743066813498777965905453212452648443469207199048704*z2*z8-539176873554847346548406170916757438087376471170127986803529785897891348332705703500956728876835283972869889117723348531161121628682070187943978107374379966629323330203706368*z3*z8+264487234407509737660110816683571877717890113807473672356198788432777079068999906370029300903165852280248871440626516075984152627525745280740717707604854297073370327437556007081936826368*z7*z8-205155587200487145830371433153236965040816839441228591912485364965369345249085690403725283323224761581773162371940670609544679568266081695753126249032789180055438048296501109169941516800000*z8^2-86931713061643820193189560920376863624050002060313701565938905874639838663678720264543037429414315681812515266930896959165857138952601182536370635157794934606812084201830*z1-42906191838805141732506560472576023318184228224173935894990818902577022211110633571701741678320537827981543383103645480004217394458900769976031482155356520687300370209267*z2+43624447770634331459773758992821304148689984358901174945305984770391609622532712930998147819031194286639923303592933545509340988492635684188967004464232233078716183867711*z3-1723215876853009380666650886375770948015901392736490005376450112542145439752863639234994786941992749677008834830678360140262404171975211202765687271097214712378997337828*z4+5338387008209570909408297440107332674124168393667129534872404440788101703694285556487463680227689928862287940349411613405658577549824161316118359792817901736828062248049*z5-5341956192970075803383432429584667786613406259569605045859994245320369455324109591588523336120773569274766935116965506816891676276673575928894517969327354931529736438305*z6-50086787182210368479568149763031369700994471902982698605429453615280568858960149916601911588100513815140948480618828692661772098492844726275234056942929971998182264529362451411299558441*z7+8777898868880427978478630269951871900577129187673168455694610366792181842024309520316272910282992394379356284311838449541574911215144995389105889708193746083418995215002700053760*z8-259769329085150392520535272225053505795953187263034891560733568576256606621670258420745660313662174014397823541879132332010998774194999856270507516854785551678464152345805163,
39731590550436184898532585190851537469857017853789435011740132668248893133947610036910958661028012729879244378158832147110689133406197243705372645582593084708160*z1*z6^2+19576663589395923432580521380966929363641791800417357968540976225649470758051816244956545040894247988275782361843624599723376179149394283419504080331113249934557028010225990552423573094400000*z8^3-1710256510596299795387153201277534381543407463053721072160417356895823392816433323401522683209263359464852653486871587810585242811344353170996486494310024462798286688*z1*z2+587894003441999344406061260445443240281265917906660989726083423424956134145316839664760894018978588432919171971876357445922734558227205172948744106675636563283762920*z2*z3+9053933489097369492933237413432916246793970884968211698405003379290869031945049838893827772735610019639226523414557538893903094281459187979783237311039747664841768088*z1*z4-1515851419883617415888399810673161799658858381861069952087506332100541381623213828387220773318100276096804295029871188233473235675321486242370390274675878281388796788*z2*z4-4531742459677282666073292464931505148581924648792650768471599958055314454159103271965850539663188105616401796013609183108225693817851870560129068637494970873790621692*z3*z4-79463181100872369797065170381703074939714035707578870023480265336497786267895220073821917322056025459758488756317664294221378266812394487410745291165186169416320*z1*z6-106554209350657468457591069450917736753515723130796457081968527786506924205011582021137465464448640654076512674691380704702795484204270656235077996102869372678525890246222*z5*z6+106578788760815812632125336391438813820556483054566442283603111210431337012380148157910030802629684674509023579076756944817423618777478339140645102725591302918237192774831*z6^2+10613577582828155940326196091075909617223262374720655388919275227590385031562140739081294979031742849551162546564367509377126690658311484422012251062071739414787197315361809294*z1*z7+5207487077448202477959699958176669701013551481752146248842534747439633621776629499453839304130311292640649204193111881168321272976906930692748557472071690224945835581815860695*z2*z7-5304393985258643067833982317778114247530832097012260084960642964026845510691823516567958738859036696821041096426984406797791592105699569378044036316019365647655649922209029507*z3*z7+948487608933236592782231524843568654731182552064393153799351009477464996125160856239940172324836138986582803342268164957325721770973174152528256607153076089289606400390587112357600238000*z7^2+15780717355095332229400697734270746642244915067381015444756408574333015286731029592002045680911622621416863445419770509582730538548369320451292396860897905904034362740386398208*z1*z8+7750615619088889241098240051468931737944276229900232968672146709517518117767533330417043616117826374934924855487657046233946156715520152606923961738763959022698404517525921792*z2*z8-7886881549687179924446245002216397156092362274961303818795746530679731096324851657091154805256210378405657398685752259785873096150396218539582561750391890785753189589276073984*z3*z8+4776711737028218865937876616252106737623536793632001274919567746913931295449011133111156735143799741539004039356878864459911377317669504551604342325963545670111950352462152903636099764224*z7*z8-3895074038149093440650277375472361305308664488240641134117607342443597927967615681688139299126551732657463567804935744547344548494277953136844927072747345455313040950515146945710482521600000*z8^2-1218882514511485250898435278740257801358964702375203849568944326923011416199371590274598352362587289553761826108740712948051143546143227120179567735417436983345984074843170*z1-597642638785463355292046259103124353833785899021073153841074155120432928041708738092809517657982305518883528755151131982316311921021760592031747978125217197061039614112081*z2+609129185800354024629161805991809932922248167914291694854505123207655336229322277210438695639630408587080905049060215499703075855839101113902290078263996944217144257697093*z3-26903130999147225607644081642672602428622641201794549195331756364318847712565311014718755048082516840877993136266757022520912176618782002013587628243682024829728647692744*z4+106554209350657468457591069450917736753515723130796457081968527786506924205011582021137465464448640654076512674691380704702795484204270656235077996102869372678525890246222*z5-106603368170974156806659603331959890887597242978336427485237694634355749819748714294682596140810728694941534483462133184932051753350686022046212209348313233157948495303440*z6-950945394279710381481813454218791340427097918695265660753254698325319695965606238680703226218077354100342038000481797743719500640635442133835608400659978978064225162493626854914297426803*z7+134430260916471591655767070603678612536095988624083498460871188507193612010022792326744305400508405788792425766222761179726045062869227310664462916818786761602759391345691508366080*z8-3631517845698919420051581308331423469261728295848908109424081488880778928119801092011812305131579555678731686124499437302206146609324871011470364511737350023902966456256955944,
-213557299208594493829612645400827013900481470964118213188103213091837800594968403948396402803025568423100938532603722790719954092058310184916377970006437830306360*z4*z5*z6+10027474075964316192677840279509983872225614778843415335433216875353495212857039213178023703721330600676192830650998889625819404677608760356092874051606889698719767414545703052499353600000*z8^3-601783042798684802723049787560015428986039574027287052175224936350843236502227297273376735325641080059951712971590821333684630075274492310599648156244921677456864*z1*z2+254247240026824168093565421216731330666059568746522670277329569558418979402562463531046101121032300559359299412877735960675864280272087534236115503937402189296040*z2*z3+10400639977304672784850663538709178497625035943469458318609035662391157252448739123693684007743970529881137916137787128491875775139534234927590540898679386683590937224*z1*z4+5194925873834324854928883006471699536143279882494720276945360920720371085328344147423253498009857183146493276952198473041384337893686170359479334489272235365196597636*z2*z4-5200321536372994955363235910044846527064385365844854747039125236641743829638414649276777153877508330861587193532716946059847981413300477316710819183431447818673941076*z3*z4+213557299208594493829612645400827013900481470964118213188103213091837800594968403948396402803025568423100938532603722790719954092058310184916377970006437830306360*z4*z5+213557299208594493829612645400827013900481470964118213188103213091837800594968403948396402803025568423100938532603722790719954092058310184916377970006437830306360*z4*z6-430083484799897788799516045531754668874690472870736385696923404961430252692240637966051553565851297715413932072390616619821890075573834784285597906632491679546086268966*z5*z6+430117373128228977825937006973012140926105284907973079755286758003680918877065688053604693769067329592122612402786629145540158332761788510869562497862933205314821286733*z6^2+18619142489825502179944105410700125886809062231076174729961891693049964066136463744017048268122457851235897137762302562104043302443945518688586407567595680114854000756390122*z1*z7+9283795669500331678592266147343831876945819789271729190885561085054683492695920645108158202159329590102021413247771351339719838365589856568827854621344878510738740875735205*z2*z7-9305345170747504235146505216011915981317381174484354658743951547771847409012299335728234870234391312000162398737135904843891591282655593912065246094825530254184260311806761*z3*z7+434595356272463060481519483650446891488512731684110669348777862685816307734298779082926381754791974631612198318410632631341360214310772202347128609393356799347365989782388183371914000*z7^2+32624985473813948280461416578042832857724451475300115186591315007576678755796948099082741946122399295558694529869046608084214033251615600702390818269628938356514146107101184*z1*z8+16273470786093874444603317494102005477052258241120314240527208697548126167806794781392208234900420621553541921978660877249012529688237330182381326966520268919231400194697216*z2*z8-16306225513984794741013784420730071241829869071874008125220713027472201046688168854371182413673370636098482172367574570474768939935473084385308032403627655244209754278520832*z3*z8+2446209508075732409636646233816392968931709403052563542318133167024652476976269923368225734112118781459684134139055016463502947678257458565787364049807474999279730178587596145410977792*z7*z8-1786011740887352383174491563513493504176620070678143243291061048114681086288339007402994010193685442981946559027385618721959829914450693155231916698730073473522229984901024306070387200000*z8^2-3445192349035170133479327601446845981851245667033461668396653580243565805763836143084239655213269103042401320798442452025326500349678195832970791869002223157784909917350*z1-1718136387238224189818187040208998090210151630796473382512285378411455633161492228454771761663524748427998529137321912327498038193144415988718505023545779151765182742163*z2+1722028351565094331429604742032529979234533981800267911209085058851992891295994988016392348588268525544108743217976214335721114389011678439467027675439902629134903446319*z3+31597748130392740040983806730779502607889782329838318207024303118827905592234913492736544584704025151015983529657048060788367215693130550002257987420484143938814218301688*z4+430083484799897788799516045531754668874690472870736385696923404961430252692240637966051553565851297715413932072390616619821890075573834784285597906632491679546086268966*z5-430151261456560166852357968414269612977520096945209773813650111045931585061890738141157833972283361468831292733182641671258426589949742237453527089093374731083556304500*z6-436037658553317229949514881364104119164659147661516833272005838159586595151896847962445855909976997069347558051993165601993090176110101283195534623798343669634895307301135449751015289*z7+176769783631657047120484346301414557844776122135214613967051796555305660268574036820135468140209909168216951855464610815152882380332578245524055237500741847454200767166162202880*z8-10450840602698342041033898876808441929269435034237475603496438332327414522412965622849688470331289714391537219615277968577740556685228178404213103860695674210298736569421012,
6621931758406030816422097531808589578309502975631572501956688778041482188991268339485159776838002121646540729693138691185114855567699540617562107597098847451360*z3*z5*z6+4354473886458275154590780202916320785941154572721544307355701375912270100044371435475500260862863021933393918509300532826076058312922582347744693364225742629145222126761576340225572864000000*z8^3-311805814410266884836412707051282538655393806712952952526151159049061724860432025417196170739693891122276417003325997977420348588530519877343072551026618791926062752*z1*z2+40750449541963884184060874693584232402067869732340795988680939738336217249256846889909059983508476453185283320836987537338565077493072418757090809932699986487893560*z2*z3+1861541922063251106759586290196096224143810668869066524030340968462725630796516269859842857667249546751531864718473230282217568418903072291671576161972822559581252312*z1*z4-311890999667863447716126815746419385237754749870018142152550624627576003012472953454235724740427548569924268170894271706438660644623032039585404185397117992213213652*z2*z4-932604047835659185017276796547062143044074374361633565776885155109427654083850525804465086845742203992508068344324788233719772795144010150158240935467744905261505308*z3*z4-6621931758406030816422097531808589578309502975631572501956688778041482188991268339485159776838002121646540729693138691185114855567699540617562107597098847451360*z3*z5-6621931758406030816422097531808589578309502975631572501956688778041482188991268339485159776838002121646540729693138691185114855567699540617562107597098847451360*z3*z6-24928275747492956792781803833121066536820678452498751215200125464157084141006657285729739589835780996213179600355295243738833576040785648439091511553073322210215754565168*z5*z6+24932939025684219162141977996870187464425129803926128724129989844139928358929937999323543997303029799798420655660295981363297523202711668468812651714631341296815975943439*z6^2+2095484098566264001468718023689513525208086159677659914387195464309831000454053814716913880216752879678855006391392812539269360427239471667263295048240039724001234491742101646*z1*z7+1022167745989867921871229856590678773616756224997380298530296284426780356992259671893850971698274933424113805914748393258862773602722455488406007313101877211886869316310386775*z2*z7-1044603914603343285589639131891969753371447644649772398676442583294936461904683476270254006447488707342107426733834330825626126639679892322396826878838639763183514676358337923*z3*z7+216134739030740436505965762881190524753127116725164842920528252354658461771319427064879194482333714899252181787160578274952187201034994758453675598080729968908243662278774914345810862000*z7^2+3111882434035115087951160719506788616095492555347963181264922744756194843204453602313241549510161906379986167339273148587654668308489967973546067393034001447708097209821294592*z1*z8+1521988084928417832085175943838456989948232070345127839361348146605329650874711149287425932296320704063563781972979794628228903696830934572122213948335998444133490383875790848*z2*z8-1551295374135282172619901058892804015240284306411792716228035299656051159145337495351668174313044929343317061108629947133729283155205648090912799885463345940925478612368316416*z3*z8+1062520531615929894016585895452491682622670986480286476480957730434971071485340955698372142568028684168005974414940093255079952569103914973552674102885782399849914335338620376527441268736*z7*z8-887475475482271555269394991916613770815362934075069630151488771415154433610379870515156218832336437969490621266121187789066563818203120087464969505366339840009652886542617987761146150400000*z8^2-232382017066282425903549641566563009423712593688744669343817771349361990066336477477226563729435817488510476438012973418320646015187768004730340101119277232566712390758050*z1-113379004300838468739345861374705113203271218642510630786415568517166299646052950140319197384676310561449040346912462615363819055993621698576507069926043556300379623846929*z2+115769680711579518432021015686444143710422726003566674837269307543638145671162011246789621382057963314451164034523288022087405992809881850838538038510232010192480398684197*z3-5514313607265162217504369584890800812717330398418901999038864538995484080162015696899981432757322754370937395060023521199965562368865695276704700195911669802376230771856*z4+24928275747492956792781803833121066536820678452498751215200125464157084141006657285729739589835780996213179600355295243738833576040785648439091511553073322210215754565168*z5-24937602303875481531502152160619308392029581155353506233059854224122772576853218712917348404770278603383661710965296718987761470364637688498533791876189360383416197321710*z6-216668730942241666321077686057250095286093488065731905770313381515399057193062496243532405233848836260808587578766262291302128018154663937833720879673723272828906739870970899220971215667*z7+27216685498606200345687602829711350710134020105152194262688795707248835459840117537505584438890516142136719717357312058952902729845271367917032918944107025920342954231775482551040*z8-688843461700880634195392785365894504809334217232307197635982380984027059692606074623940122402760301364274666851279713052082267805320034885985700844472384069242900613978072426,
9932897637609046224633146297712884367464254463447358752935033167062223283486902509227739665257003182469811094539708036777672283351549310926343161395648271177040*z2*z5*z6+9755638637994098071353840071831942867808977683219747355408720106317066945870899989036176882186677407670406807115119731707008717797973867961501280047351339293752845369338879033455637299200000*z8^3-1161123889178850871858378011066110646187130601445017822318524553567815960168845428679879085744018118614066093147931288555825644125753036066030356513176971811952462688*z1*z2+697924638127046903329148289646573751921563434923088213695584031902991014282380202460520877566991477925938218001819707271479051335568448215167734213232296010906622600*z2*z3+5194305496607252350910358460902959377755983757520097021836487755926886553321693537829392967643043049562518916838749846729489368138264983387130193860224458458891902728*z1*z4-868653962144707423418382583915466671485293143268584086834176174183235733486097066086569923185461093798388751806107330065732905580068604842501703051544322433912090108*z2*z4-2596065761987229227329827785151862004361748813988666751185007375736262420886946640834495937282245761923597196458980186956492569906095683552391633338353957688139815252*z3*z4-9932897637609046224633146297712884367464254463447358752935033167062223283486902509227739665257003182469811094539708036777672283351549310926343161395648271177040*z2*z5-9932897637609046224633146297712884367464254463447358752935033167062223283486902509227739665257003182469811094539708036777672283351549310926343161395648271177040*z2*z6-48042851290113388702825391010689785417263857146493322484756377275580220288284216453956477079165102247718623057040804230168391824381881417512232061751561267440193570515617*z5*z6+48058911756867876128876588047019613077414957615352889637877929720275304278722722248655367381516017087134834464747964618410822701770620979967214792908855647000171409967641*z6^2+6494504532780599566031069349707102181136374675410264852194505951571894685663743364455553231885138733618622596132188798086403055279775556354488342878716014496545395794399636194*z1*z7+3213437781943025115206229070452100413054071002071234309689444050873902554465850994433698553073830645679927646859285046320724847736273904366665234599991161495149471592473634785*z2*z7-3257778428292051870041579543339313748204511532026967103668413983747291996893241030925652979380605334233005782812317083612241529196301708063341499113789289122878498608139013077*z3*z7+449474638980183431675337149552193019975299959817723614170762079804472038493417399532480932949630281227245119342911136940612325293778400942038376188779397754544142575881513116556959778000*z7^2+9673282071161002751346616997527340331663396251888640720804314309203645495290172028814802286286380254540716654459710596630283682898276920895278824622031067159792561029454645248*z1*z8+4779896792315064299870159658609835695431437713696210863717872183189907601747309501263144642125877257169006828530773964204132495663877184277748780570956412242926686616676959232*z2*z8-4852326780110473994948582762551749031666394164726981480079918254939677304937913811139318856417114049500288323382471108234674710434928438622468783304336818976332756713866363904*z3*z8+2380254903343130590706827247005001085291118604573861671960347514859873656752990578279219300014265642004626978756445930027675217665870404313234870771430710146284030656649525372192902180864*z7*z8-1846299284330517540317034128805973630337984304584812555077042459352631277409707152744553921314620587481814143581736273839325775585164976784183100944111431640597323019346732230217995686400000*z8^2-782342693434686044296993004488607380820006582888433385028919001898752063499960576034010645905791666258979577070172044489243457080057231034094509382265040884506996227802990*z1-386134700447767500404241455713761752490542588341731827125209839018458150403158342632711018273117219006288377921986945780298259158520007572075103346520741011476438376898471*z2+392598589608471565113863010279526509585800886919308878414218835257893190404315233807168288609839901286205214996098687461831801464853087933865790119773731661314191701140643*z3-15508096519483276372307457083100592106343954803426740985745484554833144541657969500384184429727525879715217698355826947744448025203309753121238145709873786373768272553364*z4+48042851290113388702825391010689785417263857146493322484756377275580220288284216453956477079165102247718623057040804230168391824381881417512232061751561267440193570515617*z5-48074972223622363554927785083349440737566058084212456790999482164970388269161228043354257683866931926551045872455125006653253579159360542422197524066150026560149249419665*z6-450756426333923739193859221968248825658364196749531959783520220610828882639404960980150508225785684393997207855235951512976792815592954123607576757748449503042762466735501000382486579333*z7+78996770032568463660615475877366234955262717422674949391905872646456918965656952014970928050168900062520156714772261976437403084392227002179322087147252102496035420704509582859520*z8-2337796175677879658565571820612651779061711975020741656990306799453336559467552641962576893820785847892381364796865974194687836630721347804612365932019945572692440975592875559,
-4612291591533495864563589460482473150304219293640978301094363272538705184851676416765794241740800*z3*z4*z6+1358917670227149505422599786070280370364285319233107629843046911601120048349876878075958987310882753505280*z1*z6*z7+680928211485515400617364578290430539334109991089021867236906972529449169683424578320444826179263320970240*z2*z6*z7-683860658000335605494249232547033922431127937835910643852064045259813787838463876865051623473463117706240*z3*z6*z7+3714896266681019657903515145611728456714436035622564116217002297391271152766164836060441542551511140036845600000*z6*z7^2+43678215286643728204448851743725386053751639698723364878433296885884549722013013425336838678655317127987200*z3*z5*z8+2025302521136794572445039112647939386389222873694447269598775572759571047136189957270762272509322681384960*z1*z6*z8+1012653266551715118850935079263501663275192131944561460355789844718596783024231888174485859350413671137280*z2*z6*z8-1021381878554954051785200367563935685894097395070521218230638004324141487118630471042995967912914654330880*z3*z6*z8-19675214787784052854330978888781328296424739302146429685923295189981951732355065442445553014744005363798752676623482880*z5*z7*z8+41458708790184311136163319489921012576361151375418857093318891239863085598588219071827236462566792267446065889280*z6*z7*z8+22808838665125689429553061280138519632381913777468160536126879086255179343792002800674831096598499289957290475520000*z6*z8^2+4612291591533495864563589460482473150304219293640978301094363272538705184851676416765794241740800*z3*z4+122660210322580815753515266836107959761898444134841417174037153607918501995304865173177140080032071856*z2*z5-1367996808424502568720398668575715587589987221369100005180131602407860541817051205478895590833040380*z3*z5+3969937771393512063776098580030964098429164807362778145604695489595473622907487175846989533056552311040*z4*z5-183960132588485947494255546991628777818760145322235244046632577602491890797872041476115201360266086400*z1*z6-91980050146442418127511715464461200457995976519087256896840630099611484990100731197758697110415590400*z2*z6+93368194484833045265805708883456230572783396801113339981344782605932598412502324643256039862982272000*z3*z6-3955222411514760255124540379471411980623733756518288331447822461108798961977156087261080276428861547520*z4*z6-1358917670227149505422599786070280370364285319233107629843046911601120048349876878075958987310882753505280*z1*z7-680928211485515400617364578290430539334109991089021867236906972529449169683424578320444826179263320970240*z2*z7+683860658000335605494249232547033922431127937835910643852064045259813787838463876865051623473463117706240*z3*z7+27631130321891715929004335044406166688329383468951467536250373405915529657844510591663159549735228222266545294304*z5*z7+5550977252322335414648597758701464967418603279902814203116663589724627686693175524310420513771341715413734231040*z6*z7-3714896266681019657903515145611728456714436035622564116217002297391271152766164836060441542551511140036845600000*z7^2-2025302521136794572445039112647939386389222873694447269598775572759571047136189957270762272509322681384960*z1*z8-1012653266551715118850935079263501663275192131944561460355789844718596783024231888174485859350413671137280*z2*z8-42656833408088774152663651376161450367857542303652843660202658881560408234894382954293842710742402473656320*z3*z8-244953081302623466365731071926456776167982140314301511328679609783560121387206059661373400967622639114932961280*z5*z8-14963375757627184660210918756316635508364821273243019947497255478957905663677085358713793378333049855935447040*z6*z8+19675173329075262670019842725461838375412162940995054267066201871090711869269466854226481187507542797006485230557593600*z7*z8-22808838665125689429553061280138519632381913777468160536126879086255179343792002800674831096598499289957290475520000*z8^2+183960132588485947494255546991628777818760145322235244046632577602491890797872041476115201360266086400*z1-30680160176138397626003551371646759303902467615754160277196523508307017005204133975418442969616481456*z2-92000197676408542697085310214880514985193409579744239976164651003524737870685273437777144272149231620*z3-14715359878751808651558200559552117805431050844489814156873028486674660930331088585909256627690763520*z4-970088077361215725285382011143527091471531310091941239266318934989797019208397414277425451201660772827767*z5+1529758380462225837395690697821218103679216890391599665200137155188849232939570036455745189556987620289280*z6-33182107574214051343652932803107631655747986748854281739367036995640157344537686115973580063506569937680279525344*z7+259916457060250651025941990682773411676346961587544531276176865262518027050883145020087194345955688970868408320*z8-559670303101010112110308686677691012207685580299658425933818220199052213731172622178319738355326847461513,
-358733790452605233910501402481970133912550389505409423418450476753010403266241499081783996579840*z2*z4*z6+231773852614792022780566618043554418536726337304855403230053499698986017837348650602699943502584808929280*z1*z6*z7+115361644960189455214156276219899235794988353225915787401970433024889782842447677220390302142636879764480*z2*z6*z7-115977885918793747754935962718641583867412084720731850825174612717099448242078145891296590476075979914240*z3*z6*z7+1065168769792923670615410973567143397059074995431679720918653246289303983951071001209993092884310638013841382240000*z6*z7^2+2929073515885428017209981890919297217812232214435853655558027727090032425173984045276921796658426019840*z3*z5*z8+344872551172070899111074968414214792304045123889130524104644014313352202917270983303928016542496273203200*z1*z6*z8+171484996627508716851319989210354231979864205307010200035220423181973211717698854287558550836011658117120*z2*z6*z8-172571950723660350895719873118586644948968392589811367592346601444051934827932714397937580442342861045760*z3*z6*z8+2295082493484784050976620894031587224993225855828213410020685432175942020196403548371841335653950096264670590980915200*z5*z7*z8+14567144549489697052495926464348755079336918862199206305678315972371283854223372163165168774773932924354694676480*z6*z7*z8-4344058996532777382572595393511143594113448445554413536116911498254133024296665542358236174946758879038640766320640000*z6*z8^2+358733790452605233910501402481970133912550389505409423418450476753010403266241499081783996579840*z2*z4+20754108879094805264603122034631961472421680415795773328971503928150781993860435290365653738497427088*z2*z5-8901375369136083137871879622031829512406506208695213589766364590170954915682687983576801640348820*z3*z5+848778215934708074917179892622851179638943157762739982092941517075489406736132828900763469296530932480*z4*z5-31306509023161658040022170106160463939202576957587440055649097700421755799924804646901376328167495680*z1*z6-15532925518172917062549510432318553691975680451419035762977813624303761532070299659495948500349332480*z2*z6+15665586310318893065216898124621722443431645042924402570032264694793324967919913149978751254549171200*z3*z6-856854265765608618079354652267739508175748855176396932808391979123556376610721656729732572341852359680*z4*z6-231773852614792022780566618043554418536726337304855403230053499698986017837348650602699943502584808929280*z1*z7-115361644960189455214156276219899235794988353225915787401970433024889782842447677220390302142636879764480*z2*z7+115977885918793747754935962718641583867412084720731850825174612717099448242078145891296590476075979914240*z3*z7+4704340638118670690283341175931813897039535238050173031405898836838412152463111330399069244160307930132911982752*z5*z7-1060566319046804308628681445807783734564426803826113314519030667795996620524986491567173060611421127697296940661760*z6*z7-1065168769792923670615410973567143397059074995431679720918653246289303983951071001209993092884310638013841382240000*z7^2-344872551172070899111074968414214792304045123889130524104644014313352202917270983303928016542496273203200*z1*z8-171484996627508716851319989210354231979864205307010200035220423181973211717698854287558550836011658117120*z2*z8+169642877207774922878509891227667347731156160375375513936788573716961902402758730352660658645684435025920*z3*z8+56518091534684910139038186147154200090959513207314686156415785212702804939259651491025819726663817054882283520*z5*z8-3765511759238196808362024723769264760919026178382936942991653386798914843046220038507726338455114709881651200*z6*z8-2295097060629333540673673389958051573748305192747075609226991110491914391480257771744004500822724870197594945675591680*z7*z8+4344058996532777382572595393511143594113448445554413536116911498254133024296665542358236174946758879038640766320640000*z8^2+31306509023161658040022170106160463939202576957587440055649097700421755799924804646901376328167495680*z1-5221183360921888202053611602313407780445999964376737565993690303847020461790135630869705238148094608*z2-15656684934949756982079026244999690613919238536715707356442498330203154013004230461995174452908822380*z3+8076049830900543162174759644888328536805697413656950715450462048066969874588827828969103045321427200*z4-257344360840286668876288618816672557644506343888791572935037520128828610317995427124655120507814138047181*z5+352589689333687828059481331145595578496890008927653819653187761694265049364656965361752837264138106128640*z6+1055861978408685637938398104631851920667387268588063141487624768959158208372523380236773991367260819767164028679008*z7-52752579775446713330676161423384935330040487028931749213424131825903890096213431452518093388208702345000632320*z8-95245328493401159183192712328923020852383665038862246718150241565436439046661538237097716756323968081459,
64572082281468942103890252446754624104259070110973696215321085815541872587923469834721119384371200*z1*z4*z6+11449958358999805850160949957288001733302877529361730508835991427661624705415065671028456814676150031800320*z1*z6*z7+5667440453847063981753416430696124292264346836477159285340389755996024810802589371788011241702485433666560*z2*z6*z7-5702330576319427804189838476396762144244260014194357293817128862281417439492903915465192435651415794396160*z3*z6*z7+95839241210172611852117559392960235106232103981449138637532735964079529328159398543120868453954343589724969906400000*z6*z7^2-305886208553104925541761198783199360504070416354689786869910552481957928319028120844158923126744060657664000*z3*z5*z8+17044843816526917319846220712225685554115374568622988732429782822813825209805805818214602748593937333616640*z1*z6*z8+8436825815640444540441333851930945529492854045692852422000587713415003832947467873812472243561064937553920*z2*z6*z8-8473485282048963858677468410294092347153378239907781987567495640387295284962642942878522391161365864120320*z3*z6*z8+68831501604920039205604838237035840754300403923809683465448506705053572448328813844679500682339085341298334233120276480*z5*z7*z8+1021667279771053494448641156613144303829007710492651528193117279825533420085362958590070871642948287508076861521920*z6*z7*z8-391124626483620413052170743426216137722053408811707124714485115346989050196685906140435650114487789605154875574845440000*z6*z8^2-64572082281468942103890252446754624104259070110973696215321085815541872587923469834721119384371200*z1*z4+1025915019215730296722461242849268809591128580653041412006353927217656570532627119479634262305214069968*z2*z5+8780596564705601843807592233412852238100741036967405618580185627018987102906422666056500360604882460*z3*z5+49505710264607645337064516347208420068696762139948579753221240002775668038915028791893967307859550498560*z4*z5-1554860813642298182781297119371015977757469503686785701451186253892514986733224938813065800613461555200*z1*z6-766600910204740783744207654573736611349990356797883713658037380739498130631027073177740430762712652800*z2*z6+768820368264607813674879100102141884607842872650736304386903124477454366199690796933729969698587622400*z3*z6-49549467409858512522390936359633091020094090509084298775880406819322323593132774931431891502587947514880*z4*z6-11449958358999805850160949957288001733302877529361730508835991427661624705415065671028456814676150031800320*z1*z7-5667440453847063981753416430696124292264346836477159285340389755996024810802589371788011241702485433666560*z2*z7+5702330576319427804189838476396762144244260014194357293817128862281417439492903915465192435651415794396160*z3*z7+233724957286473578023888675735809673970547579805998587853670693188458842932421755747337308671947387838493496656672*z5*z7-95489741725454078200971501930970085927118480432275092196374436286832451831178922746964759708771473066153047102499840*z6*z7-95839241210172611852117559392960235106232103981449138637532735964079529328159398543120868453954343589724969906400000*z7^2-17044843816526917319846220712225685554115374568622988732429782822813825209805805818214602748593937333616640*z1*z8-8436825815640444540441333851930945529492854045692852422000587713415003832947467873812472243561064937553920*z2*z8+314359693835153889400438667193493452851223794594597568857478048122345223603990763787037445517905426521784320*z3*z8+1216441053784211236018427216885125205254533253236308241578068504649978598344249262707798530796824791398427770880*z5*z8-234547562329242436683353880820397594172193612912359659026582638800904370008584511388813350505068717056968949760*z6*z8-68832523272199810259099286878192453898604232931520176116976699822333397981748899207638090753210728289585842309981798400*z7*z8+391124626483620413052170743426216137722053408811707124714485115346989050196685906140435650114487789605154875574845440000*z8^2+1554860813642298182781297119371015977757469503686785701451186253892514986733224938813065800613461555200*z1-259314109010989512978253588275532198241138223855157698348316546478158439901600046301893831542501417168*z2-777600964829313415518686692335554736845943613687703710005483310104473353302597219599786470059192504860*z3+43757145250867185326420012424670951397328369135719022659166816546655554217746139537924194728397016320*z4-16337893679833496725977482484475907522158932474294106037990879125617439420097781338152913473830227854166721*z5+21068329127837169625113359917941348726920506925718972650250393707353368492204563993175214844035048925195520*z6+95256016768167604622947613255234276253147932852469093608520765593643992988246500991217422400099525678314553605843168*z7-981893491454968799335073336064727611082339640323948582551485865849074228335664751318985180291756074341458821120*z8-4730435448003672899135877433465441204761574451424866612259514581735929072106782655022301370204821071028799,
-5005587773757282333634903290446094891803028690773154745373727582600145161854532545327218556928*z2*z3*z6+152433124065965068937185576706184970881324084350679250720553465640789503277638167629117850437322966505472*z1*z6*z7+75586187493659307036862557138982257250906404184120890382707895281060250678960079661580047349296567708672*z2*z6*z7-76051663149266558934489450265677743689919212403837616276262688969226882146126053009214239226620393638912*z3*z6*z7+1278202430403125056462223960230398670822149963620345987887824382923405519951559894207294314203533842872343346656000*z6*z7^2-244868860916241801951841665702773608781723549013120034614494930484226585742990634907307765606208503808*z3*z5*z8+226510292575571985678105086076451165784901797272567374846391080277898581463687736500077614488700161359872*z1*z6*z8+112521252519046835443988395187562735612622369256406629462472971458487705441754465411905245559496119943168*z2*z6*z8-113010398053721943535028884171314831447916352689075280908955917425539433242959866668852428729513900769280*z3*z6*z8-178817019845467410986367280943008930456799208975681303522004738995054300777115565223506244753262232445622031155200*z5*z7*z8+13625918128804067711264127860807173651603036945526789741427090726801534989833214665512828090895450828417179254784*z6*z7*z8-5216406576256378802377483368564494799890228575631339164419944819259313855727534857271313526816265803217293714391040000*z6*z8^2+5005587773757282333634903290446094891803028690773154745373727582600145161854532545327218556928*z2*z3+13671998915757359779761311976212997919347777721591821478681184468053215606170007814640700816920691792*z2*z5-36390439229317789139340395003844380395564822947577175712536544425623991905715067214784863742781508*z3*z5+660910804347243992203781303291193840194444896854891624593082630503776301394058785135299896516354889472*z4*z5-20551869633050098318168674736214180448066820002304172313965542354787683176978918983661763829431941120*z1*z6-10224093342778090935645267029571700641708293661579255835494943582762874742029191311651400793912638464*z2*z6+10253694124154237480544825256320174608898335777442620066366672976709660018551807893310749500593527808*z3*z6-660838441890112985946868832716961400044014615529898090432597049235419103673483479352514279700655676416*z4*z6-152433124065965068937185576706184970881324084350679250720553465640789503277638167629117850437322966505472*z1*z7-75586187493659307036862557138982257250906404184120890382707895281060250678960079661580047349296567708672*z2*z7+76051663149266558934489450265677743689919212403837616276262688969226882146126053009214239226620393638912*z3*z7+3107662630648943435456485986826839122119428532961299850254402865337706967950861702064043051393949572927199057440*z5*z7-1273541175814036403309298587348141624969051384790443741447734507838818961683568739902114536751767945052025988697088*z6*z7-1278202430403125056462223960230398670822149963620345987887824382923405519951559894207294314203533842872343346656000*z7^2-226510292575571985678105086076451165784901797272567374846391080277898581463687736500077614488700161359872*z1*z8-112521252519046835443988395187562735612622369256406629462472971458487705441754465411905245559496119943168*z2*z8+113255266914638185336980725837017605056698076238088400943570412356023659828702857303759736495120109273088*z3*z8+3810607565544557769999063198452457637888395171153223627029267871282629735462426037605064439420374406847774720*z5*z8-3128147510104756019287636552677689171354130613767787913352210337929488942302212584301234501601129051801583616*z6*z8+165191101716663343275103153082201756805196172030154513780577648268252765787282350557993416662366781617204851900416*z7*z8+5216406576256378802377483368564494799890228575631339164419944819259313855727534857271313526816265803217293714391040000*z8^2+20551869633050098318168674736214180448066820002304172313965542354787683176978918983661763829431941120*z1-3447905572979268844116044946641297277639484060012565643186240885290340864140816502989300023008053328*z2-10217303684924919691405484861316330228502770954495042890654136432284036026646092826095964636850746300*z3-72362457131006256912470574232440150430281324993534160485581268357197720575305782785616815699213056*z4-218090183271963995235473524099163234436017696854885779999990323668308606830895598358864841473104728560409*z5+280987110890015552008397663556586222100371157004404470386269355215832963704645459711423229609215825405184*z6+1270433513183387459873842101361314785846931956257482441597480104973481254715617878200050493700373995479098789639648*z7-682460055439801750711426645774768466534264557385435713677057533353140793160213453303829937819245355046191104*z8-62896927618051556772924139457422987664353460149518690386279031547524356873749861352558388136111096844775,
-750838166063592350045235493566914233770454303615973211806059137390021774278179881799082783539200*z1*z2*z6+32379986492056271617484766706788913061530487493572203374772798310419179024296041929634332283045451207792640*z1*z6*z7+16105725480762737296429128177237731863877372123454581421687196177769621149082080126567256673315201709624320*z2*z6*z7-16185781087190721060586804939355734951799960967657240950784348860245636392988800416280723953723027261598720*z3*z6*z7+191756375865370125271285097969401071591523916532544579795422654687982206097570591742744660679127135625642895564000000*z6*z7^2-6209743861785763200467071222387699433298642549555847775129807705112674720478128773544425833701336678400*z3*z5*z8+48157527817150886223219680282117058811171100276190245778534987435352686879329718558024554517342456439111680*z1*z6*z8+23968693884474934910296252803131247788616040452887809004555662187847212320058032897362677771283575317463040*z2*z6*z8-24072572256433594973031548215683927255398959173008618868232125880965614251321699826501331386336440040816640*z3*z6*z8-27109681889595424951632838485292910568782295136181686383238514114870868496394805882103076085784144711665273019760640*z5*z7*z8+2334177148111316376060784646579078687212143028184072652209811581013396978675743447268979089931058586205373498327040*z6*z7*z8-782301281398430298604467201654696479933519641239486383623533892774274848430222038322729765511599651756262601371156480000*z6*z8^2+750838166063592350045235493566914233770454303615973211806059137390021774278179881799082783539200*z1*z2+2906606608771123410819276012495968372678834413471817303566485418692642751345835542506756652047966760656*z2*z5-3527402708903328120668492187098794690732193562642758133545572115176003807031912922895219005359457380*z3*z5+126835345088589292291425830066580060328230091070823136245722804394906262650961230065870322031088474853120*z4*z5-4370855553718833451540272467730980726495673958210361921037575827652631775263236655193491388147477248000*z1*z6-2177651442732206810926916319157471129470154149874030049656184389186637153140194449391687492011281996800*z2*z6+2184866132670863515293246304463473330078008212040088237434935971645285616722278227799707404158491212800*z3*z6-126819938242148262274694514268356107832856215017450376415670497343657244810419733717546354948783546792960*z4*z6-32379986492056271617484766706788913061530487493572203374772798310419179024296041929634332283045451207792640*z1*z7-16105725480762737296429128177237731863877372123454581421687196177769621149082080126567256673315201709624320*z2*z7+16185781087190721060586804939355734951799960967657240950784348860245636392988800416280723953723027261598720*z3*z7+656877706439069704752666283721828805945759761435294539786716685254629690187903247641405200667578299008237808129824*z5*z7-190992309025269194022065179230261183756780068322847035953881982380513598279755600020762013669920343574820441960852480*z6*z7-191756375865370125271285097969401071591523916532544579795422654687982206097570591742744660679127135625642895564000000*z7^2-48157527817150886223219680282117058811171100276190245778534987435352686879329718558024554517342456439111680*z1*z8-23968693884474934910296252803131247788616040452887809004555662187847212320058032897362677771283575317463040*z2*z8+24078782000295380736232015286906314954832257815558174716007255688670726926042177955274875812170141377495040*z3*z8+719508980121519607466475902713662166219020728334058882517337497066745224971848311381829541743568083132550594560*z5*z8-573994199764603521845159819434315528811212827141368395813655739345297554226648179594193392914729863915919441920*z6*z8+24775504741484108575572053838713831881570152107997613731028702533857471517719062434834096995853086125459899521433600*z7*z8+782301281398430298604467201654696479933519641239486383623533892774274848430222038322729765511599651756262601371156480000*z8^2+4370855553718833451540272467730980726495673958210361921037575827652631775263236655193491388147477248000*z1-728955166038916599892359693338497243208680263597787253910301029506005598205641093115069160036684763856*z2-2181338729961960187172577812276374535387276018477445479301390399530109612915246314876812185153131755420*z3-15406846441030016731315798223952495373876053372759830052307051249017840541496348323967082304928060160*z4-39561628184147613090927780261497013546284630221882216305162620742262413286706529969887187342747266498025057*z5+52859298383087252151216151904912418435912953830189910241208673938745876160697852838593013900112854331690240*z6+190335431318830124317312512946539354950834308561411741414095265695258968589567696773120608469252765275812204152722656*z7-145514780356916085621316083279346637407807901192690486703681757721447670745200131787636148828838219216631152640*z8-13297670198939639060288371643415404889628323608307693936046053196483462873991322868705826557365587833665183,
2*z3*z4*z5-18936133504*z3*z5*z8+8531626151614399561728*z5*z7*z8-2*z3*z4-6099*z4*z5+18936133504*z3*z8+115377986429760*z5*z8-8531626151614399561728*z7*z8+6099*z4-115377986429760*z8,
197413632*z2*z4*z5-1537312071659520*z3*z5*z8-1263125273384819448597171290112*z5*z7*z8-197413632*z2*z4+4504979051821*z4*z5+1537312071659520*z3*z8-28457455989492776053952*z5*z8+1263125273384819448597171290112*z7*z8-4504979051821*z4+28457455989492776053952*z8,
18249*z2*z3*z5-18249*z2*z3-74151786*z2*z5+221968654*z3*z5-66664284820550857440*z5*z7+74151786*z2-221968654*z3-1352307873378*z5+66664284820550857440*z7+1352307873378,
189828710407639550070766795911846234578205751968105078389425078303855822751083025731907913602689394153867500917869975813973292526274053497703447084450166960272320*z2*z3*z4+2387366870873212454361134167516643883954186477593214148948365168980378509964067857904661877008024132846541690990024740407196696465819102151291043580844943840052585457877387045251019571200000*z8^3-274490254077626289220411467341978559801145484705098707073077992347947818675507349258534063677422964917604105485823045159522270587419996671255194123635590747452170208*z1*z2+73336004740155489456977603068623091634137305749523251108110853311028676130505100202732987130602601844328853184204056230946713954707658599154568627869390799632052520*z2*z3-3609166756509634903032053223191652910309475162140277249972484591349317928359496926052430326212687801356526552715433996449843923870775609311887196138175521629420759992*z1*z4-170331777911873758230718742470696418157154626993184245642718338641442373233541863045643695740144954677962242374168095613437298474345162132301335967590151938474646428*z2*z4+4113370562346936184982573621075086244307618055726832675312171160258204471665440318953944012942940907047470210762745084264474643261950287129837469312485838407518910028*z3*z4-13736274205656251058929087149750020527867609850050406866495403883453837792431894478482518580836188520964653525418647782079197155211756235750888731204970660716248254454602*z5*z6+13738785619900447687230374380819886214602884696284238418582763562449496521401376031558776276176508198922629732621592766898842818504369814055145200526818813136638336324541*z6^2+1132899193989717905884950587935799006428553517704904475912600777122379866042532018073081030073898488753544399630395576543504362064234447128493339354497949436345918866455773194*z1*z7+552743609317534137078441203765016434618055466239600419555347686175408776037080746719703914804039774189098010609031095197103723059436822732352950476998841404635612256287151925*z2*z7-563621380335185566912343819339321678023911246092916754269563102481968423119103645003062232313152462469374277341095912235716631043170812245631632185717440312824236732075631097*z3*z7+118787818894691182703751817982739031121651709399740074293630273573690548573226430698762837470223842836323983460182860090251707540094094992369478347327462375021753869904633875236191018000*z7^2+1679973802673214841517461931413867190803815424362863290938712686426637165676585539217041891876802586816327956086790847743428693140171503929106168878365600745045562193752014848*z1*z8+823064716408428744878580766373395554679943382007340551459700878683187616800240544008018760865287708676755757829538083868870570738462389485706717048672803462296125093905457152*z2*z8-834698624835631886546048819520604182456006744186195708621235465330916559277920996304466887212175325259951061124693130668927063077211469793821713922773283942651812399303368704*z3*z8+582534917604907123100491476746854014916950046623379960885885110374609169573411274790186610312632403406991338264952896916779980434247112622729469315322650787009229335579702858109582290944*z7*z8-487751332392812618107899354444418265567643301530616674120304330402992910029266275028479848536741137205486830417196542275474563722586567084138979029637965834749934025401114123333590080000000*z8^2-124290821209827081886854813229044166437910484278242602118187475880542316028665412858677530053165692084361887452959098779286595001319656021028644841345082110273925825668230*z1-61059558895673026684893571983759068982058256314309693325263457470274727925312728260058825147619653875457197954451991859036484187184537566074681731625110968317242324835971*z2+61367668654087812378729413775023830979111188965455828311392311587091653129415912933118737685820463114969140803667707784595703950314649979631295642069407498959384603791583*z3-3006043131745274974198827335712771799767168571939312579298410517140377910714966358835682518641781488458608152498100546948998279519037418743223295720663897776141371177944*z4+13736274205656251058929087149750020527867609850050406866495403883453837792431894478482518580836188520964653525418647782079197155211756235750888731204970660716248254454602*z5-13741297034144644315531661611889751901338159542518069970670123241445155250370857584635033971516827876880605939824537751718488481796983392359401669848666965557028418194480*z6-119079868160491025522138219261485680053012006636991980237545731503736505353003351259965683234529066186710901418370820660260797106208953647199995421356206521935650398679815697462853535433*z7+14770523721532557996557377911286692873211978142819994164673926198813336610596210612135838627321466423318752222734642473549744428764214788065058367405167293302485636930917344641280*z8-370964103986985492521409034130121234471540410686395199556981674603721468435220122245415217211258771867423678232825407425014648972620930887431307561316885517380689286010070904,
3416916787337511901273802326413232222407703535425891411009651409469404809519494463174342444848409094769615016521659564651519265472932962958662047520103005284901760*z1*z2*z4+32543081123586108443991234199078961348809506940568821850410103106652779305761999332645745603484947158461749031100568191983885976255456817665957681497306666939400883658899864445419477401600000*z8^3-3743679099138902625428896562760537766089269919678752529860446354194186142105167073988054729045890079192204578882404623856116467107480760035381196735186994896634510368*z1*z2+1429711562820568206932150885359603172748711054935973319447609457148158533074370672284147923929622605813138227911246688778404344863908583158595704756595831933159863000*z2*z3+14998418438898408025566320657542898482286150904904896471859211646009354833793916826655300106239758187395467693099719460156380039220681980694820118274877825558323879288*z1*z4-2511181499147161295504233393589850754755136181994618277533916340224980032949642628894274312843646389077534082136868116338018373988705483155779842379568598009191232388*z2*z4+13284524516400201164191923883162721361525690610265667935035714078008565897080298514504604896560022741409959069959084326129535466350710099942044158585109299342352947028*z3*z4-177551499823906525391263831986560066080543784092382087898340185713290309040605190318933591188771110914824314048151378368195221074149390738561130651436984557438266062754132*z5*z6+177592083167936245134584971749667428927971636206216467586577507895398068674473214648315216991223854685633579866821913590103696885554554153308914716454668472813204615222851*z6^2+17560341213804989073997544028936451893515932073233337091326450802930489449751865171295651924146136404110200067539322537213960244197705720086517688481942737624254021291391125174*z1*z7+8609879587951892617973103362516782202459427463483429579868793714882775333532543637025866708281409482087119456576427399598953186097862266497527473178427281558078047997006779435*z2*z7-8766655466400824127057736053120928858099115080105812529368876114823178996656149631624736794476071296611706202535978210385080282518290145041321513952987931019924187770590509927*z3*z7+1578481318995894711087233265601636909580912347915483954483219079596286227738877448967675298413403873860289745011896195285977445464519709821823599721868705199230297670024932524385153238000*z7^2+26108174080833981441314789881482301692977118118672809554462898818815921449443343108112892763556373768297221391601056930914911188021972619909569385509450298198693441440588566528*z1*z8+12814815243729383641406689978013816195988185461370888738199971698664152786434464927839587849457642809372256928000030790741620694243250981346986793675829944419022576814794401792*z2*z8-13024280112383818206243600083453916260319617063971935589597384975834978563044478728100934628769048326403134828029881044437238654059215106908286557229407894467560972161046841344*z3*z8+7940530949584756889865639289551004363821718237347858902310224787132223303720518088676333428148087711108104753607190885267362319701074012397719747044455321995036155438745655057467298893824*z7*z8-6482179377947724573295030043109801157425672348649585061848670809670629743168108985446929040096395776195321092472018807104700670663331762643496130605442108293174491042611965414034000422400000*z8^2-2013987377270272284701023239732986271951536537584453747777592682283456515262994621183968565023309821642458072654378842835496565570814523684108221391800961996120148853646010*z1-986772053676743580889843270330826830991077355865553944144308603903352498139736297651906361319544978373467278633050003222933338910350856292260000655352888091390146629910301*z2+1001611571803821041843263422989948867712096095947986981832470773184100913580375963189733056429946563093424965999422541264878831695911313743965352757591082810756786989606593*z3-44560886670918492380976395667278848416401962703720174102577126803342212065442203987519237824469127206200137518907922986698425442956211977652888114445533698322329481035104*z4+177551499823906525391263831986560066080543784092382087898340185713290309040605190318933591188771110914824314048151378368195221074149390738561130651436984557438266062754132*z5-177632666511965964877906111512774791775399488320050847274814830077505828308341238977696842793676598456442845685492448812012172696959717568056698781472352388188143167691570*z6-1582562635588066959547886338741630111928135903491050883898628257802885227646739716418750345307364254573499738010706350638992844820670186305595593443920097280610782316961162957916762920663*z7+222547193281748896470002173448890062577318715495956090216184160096767308351612385293498200031869056632058721775140373013728822971417860259417039585544458454416505142195001590521600*z8-5995993646399256073596734108673973048768484813130338867556390137011102970858279881847882282237012250682087238094019168666473670590455253548312023017702837501423570231516670854,
111716993196230518420093219091222261354919399967708235654545947277768664962554955801785591257967964157361315533034839163781513728549502416835087710968987383412976474664010098132428949753174250666535164172889953897097356902400000*z8^4+562775079025057483114748926705344090649618388185663391783403318027561331102695232762748799024660513074006141733507803004883823652348020332194228886681676190521009534766895585439104901443179137698152257403263309247283200000*z8^3+6091681557858190858791294329858813320738451430446876464255459835100406938963541497637694920784673674120429791179462463576504524731463601696634000564315866379425384283304076040248950695618409675104*z1*z2-1144471664497633890762163109073834311931545779102574548628515697183744908008549733529890411285543846374535849003964830252380112232860471234734914137232704893223809782410846540495907156154069556680*z2*z3+163765085406870321400992296455579757330641328333635190236381674194190022190854075224311875190208468644424814584938117506470325243532612425916472173290522023596172472293403481944296432932210996997976*z1*z4-27290528134006096626317450012939716694721178202239740260866950384189646170231645555606222043178647445533312506331408090952765111478349091625182319048506786041815635826888925936499332260318462147476*z2*z4-81873592860972177369198516463751834312004963911605295370702342319765802906501867145837580412419057943883888095746566342926882035010566292909017528713766524197172115606131881333130440867305011003484*z3*z4-2135036503571048755388470568752447389226752947901134600780155800981531216436374827718874350672966998372381475653847143023361786171330234518136264792116174061611096559559002791414494361016015920111531614*z5*z6+2135417866142766528076201067909366588735593031854512905908253102520346639550172821314316316043909018470488870719092196943073032827336158323741756470065093436295407156829983796800070819078514125450766947*z6^2+168883363077167584077920541233167744780262690584281718455380553727476657193523336359130033245860204191487052918254824713989271038661279593907315209094604303983665740345864536979538227148777561045114650297838*z1*z7+84428508484334181040354622531525374609706299744056534032088551784046990869481054976717611077720519404917046871340430286549548786018539217937214282402826976727361344588474318006931705885297687419322480311815*z2*z7-84613005351340388251773017697892661015231207139794298634557870718293024597743239578305912122326512304485941127999654949733533736101901369151611483972400255236789387054775035425215004232277292529921669863539*z3*z7+6696287439438600155695059765873757230886095534857737429442275916256200292190255666483124828222030659123363007649816951902387277416250966685430285317798793895476475973464721678361717481356811358763712108709853918456526000*z7^2+251485519893385461894779829592582035385401609815891542763495971111475242174207828828924133731839511421212296510971517630396829153853043030380689198079135229885274665345034186992230106539357956595482492297216*z1*z8+125595178449894904119418923001001898156727249301929062214644124248488713050132179665279777207225762712070623320379474954248618868541711013960267051374571644791493595423418282879290179413776750515848532496384*z2*z8-125997621488097246270640018237821583239539209907098773732373350695581533599997898833465963887756207850964885699277809360028462572035997776233639004673150930900947305442006382868639892590911062234988972576768*z3*z8+137339576802422704051202598264862369832654656573495285498289559884328506046654699310080295279649068459889828428338942143454433352607605816545890354499318170631531078708115568905518840113184246075648218821090745303502848*z7*z8-54702887312663092733947713313493539141153860401976115184197207051187144167817857934049062376971691352749633738021766537698023092152930290972208220406379895107863499970841008660001056829184241332658584973073465886404986368000*z8^2-18579294151216119634765648633454113578775060368380567149086892986530766266881650191455255331966674331554517342260575656071174262126997324852189104827950824683497830755561450737083988736616301521013696610*z1-9271218453915541088357540104526272446362057686545035842571830741523344258511862581186912685908054488779622922797597738039962664499055061622374762155928576957606952708740945739891749425297346962217035057*z2+9312789384777945904561680468289275415936693372957328566382718471490886130525222882879495058573026294525496710101535100602579653708465148560641485306722124620662599690127443113997446070503490534423813861*z3-482776281694158045189738041104046088553880020695656380029846962047710383852696766607320897212024734483887433785948082037299048011204580324277998493410539979112519680886609959489978132243907351590591288*z4+2135036503571048755388470568752447389226752947901134600780155800981531216436374827718874350672966998372381475653847143023361786171330234518136264792116174061611096559559002791414494361016015920111531614*z5-2135799228714484300763931567066285788244433115807891211036350404059162062663970814909758281414851038568596265784337250862784279483342082129347248148014012810979717754100964802185647277141012330790002280*z6-13355197090023941642096491067407532306153658966937013637915046356312250758338712030167367059103254908778327791608576308398523333398846414351114928978113720857914920053631298260847145652018695579065736826732042386003388131*z7+2335258094435904245506068917056166331086472022024460948115613160089902784630165716975557666040330170175018828258174923359914906343432592232190648986774885802572978722104517727180438669100861443406010080771413760*z8-56317616648683424795085064269388862647827269498450971284541322077335401461620221879323573238489796696617007704900159245789597461540639164489550983849509564211598852693233497517694824556997852708821580465608,
-99837379719288449612216746146198506555242627004066244793050305000671529672901200539292309210531086416016303446788442528153600000*z6*z8^3+258749954288687326262086275028307213895324903795606368647491141040158108996888503545032093168735882168057259776000*z1*z6*z7+129234966713433553033788970555213615640029122859588322624805060348327200439666465697866832607122516733420380032000*z2*z6*z7-129444850153084819114238086599852766586741922355542681321090877199623030557948690233647462215577640458277522304000*z3*z6*z7-3283654765258692437327775970800814455138150229397366752894560672921631935910331096383365025166395740850833668075132916000000*z6*z7^2+104047297425960522422816276738314434869838438694935603996539902836413018081335540734280698201367938485342699520*z3*z5*z8+385011872811391454262998892520530556727640347363421256744102896580517542141594398776486230454618906706119098368000*z1*z6*z8+192297843950906012103546726188734326794267650125077608915077359733753966708279743135911616061518806531792896000000*z2*z6*z8-192610017906111792018391697671214632446282875686417242030728164404426236050839706711186156947148570072696946688000*z3*z6*z8-81055601265000625287058016798182641244581121583199778113850281177006660510996836525412044650815567523340800434133744680960*z5*z7*z8-24340144409800498723878477357056442838064698825311954795113128023240355954303553815607091088970065125194639614130814984192000*z6*z7*z8+13527766989405819274203359966587681837000201620823569536205981765780595958254141932179251866078163967634253671852945529896960000*z6*z8^2+99837379719288449612216746146198506555242627004066244793050305000671529672901200539292309210531086416016303446788442528153600000*z8^3+23298872433084580423535075221052760445023158830739513355008476441798053998398645978179674501710152914586702288*z2*z5-5623191240078242713765323829301001861418136488039930887479992086616800538380336395600213558409996026274340*z3*z5+1127720967674893010503325349446817355357073069127430947447411391246166022941281391676924579474983196469500583680*z4*z5-34956734731384333535821659297350404261674145929396812495708569396840749628540936777067518079322684117302016000*z1*z6-17468918702280237314768594041307932301959770892943812127674083953870096486203397627250825527717193374828928000*z2*z6+17487821169581499452583364589720763337708547812816457828249485018421649461911690670942744719547995317065088000*z3*z6-1127597468863397341521839341046265261650197584179583855303595787525163446350224031513097224700755609476664704000*z4*z6-258749954288687326262086275028307213895324903795606368647491141040158108996888503545032093168735882168057259776000*z1*z7-129234966713433553033788970555213615640029122859588322624805060348327200439666465697866832607122516733420380032000*z2*z7+129444850153084819114238086599852766586741922355542681321090877199623030557948690233647462215577640458277522304000*z3*z7+5256248108585071710402955164456067556233316493362302351074434628118789972259656026184514232797008699351313403526359450912*z5*z7+3302668463073461590417874541623726128045093914069221921384082075758940748395276069292530714520235987580094008730644069504000*z6*z7+3283654765258692437327775970800814455138150229397366752894560672921631935910331096383365025166395740850833668075132916000000*z7^2-385011872811391454262998892520530556727640347363421256744102896580517542141594398776486230454618906706119098368000*z1*z8-192297843950906012103546726188734326794267650125077608915077359733753966708279743135911616061518806531792896000000*z2*z8+192505970608685831495968881394476318011413037247722306426731624501589823032758371170451876248947202134211603988480*z3*z8+6950970136760601129188128478363262890745926998314317473261301845043731131843125404369084483087967914237104173263994880*z5*z8-5781470560856582008060901385309042244880542226642829054546857971928410632489935319792776417325709298473305083584512000*z6*z8+24421200011065499349165535373854625479309279946895154573226978304417362614814550652132503133620880692717980414564948728872960*z7*z8-13527766989405819274203359966587681837000201620823569536205981765780595958254141932179251866078163967634253671852945529896960000*z8^2+34956734731384333535821659297350404261674145929396812495708569396840749628540936777067518079322684117302016000*z1-5829953730804343108766481179744828143063387937795701227334392487927957512195248350928848973992959539757774288*z2-17482197978341421209869599265891462335847129676328417897362005026335032661373310334547144505989585321038813660*z3-123498811495668981486008400552093706875484947847092143815603721002576591057360163827354774227586992835879680*z4-386521443695012826049287155579484081622072064462283334098271791663054690528696607087834439672206069146243337478481*z5+492872003022255246880878496217863385304799438174542705413320554798767212845888411948424061877917625845663973408000*z6-3307924711182046662128277496788182195601327230562584223735156510387059538367535725318715228753032996279445322134170428954912*z7-1169499575904019121127227093054220645865384771671488418714443873115320499353190084576308065762258615763799089679482880*z8-106350559327242420831591340638379303682727373712259371315048763135712522317191804860589622205711556699420635929519
|
