x_1, x_2, x_3, x_4, 
69360777596163644154511204869381751450428594789410897785596603189993644383240947365044970705057657200039786280123381988300*x_3^6+37202585545799327776560058979243821792592523087298945967953624179874754675208606752714838024967671151537262195156482665477162530340*x_3^5+13475460831013692834679098521584019141138877798494128098805790356316030115609941418316008309728821255463109508858081544785008228574942760843*x_3^4-1259679471146165155916273997213042081689794212662421936194014926324996147068856675785745544541466214942227218160995694799086050705029379151846*x_3^3+32925230562513165579188112683965700873768572949061521190924208466980766209604057655676370043189415094223423454390674554998463329067372101210570*x_3^2-41323813013966689463285903211844745609273709480402822602405664949415860798872807363250415214607388520335953201572597773073368066766347414886800*x_3-283361393410499907295364861375657327963333589607918278139421899018684859497107437326611103458188462329424568357345791438250312519778831401849000
92946006755441486470447002817261654001662696222541635525256758976827076299605299691330401494817170105850029549783382310124471240557647634509919804078023985165399069111418529518081328513944006125586620403828879863149372805655264974827987484366840326464521699000127622931894392777711680546054738607640066843738792177398394991712404809075063567566304685011202725710382442241171021430775382236436093605176069001237650123366423120276734103939520471674288416801605161452524688307652731596790000291871603445316300*x_3^5+49852843807516513955655380123453369396152650407767055577147361718552599763901344371715131271569856218739244042678878630388049613949440632115900828877644263708490769316794567829869840807592822102931574663696938865801091905094432944446747514056925466534309335630012611803261074166630457136182281619051067808984254242716903076260646646273760381469154722486278080822900783396891130986222477856973014117345021007281147769968146894687279234277289021787726264335104797250894833601569334904310009077263454357439709893688740*x_3^4+18057617690171251580908347895668450226773622096348795537706884223366768772738136119346483159020606959921404961541021308846213292596359629119643989119895156103131840273095172162498197656465600689643611638874507659569648262157577846406702208231767589338262545179246757505530918603534289949260415726712335929246604539976443000656129137693747559209478996997688341967185820231063005957667366293411336330422227708070362735099583555473093516181614673536777979490833910262827167328429444321213064437076334162161618217583159734597423*x_3^3-1003421355281710045550649712512411822380011914262390111442664772414973584601107302557724166910925266659917128353270701576341323483834122658010382061036667432259530272953391145903013190886103997483309990561123426519932787285524501475364189902875025729543709581441069739842782500188498491369272989760201890249508834433040546596530519738589381092061361144370114576576825933521329655691106822799866276878031892635739579930063273987936267723149707095023483011100128671764384884097408192216493942359572491606299914198609677730172476*x_3^2+8366616017477446932033170565814505794289167072339662641623401250108921150672345592658993499506334906347332866979968501020932392610519494286498480770605563291242564928881480853456902041803712255961199900772807307364106902361454946535538059638139243800925733773354857220247439439061475288582773583914620374849688982461770078144881236362206521794804995450919450115480534790181066546275599789980356119126633994851170811360476867485382071620196455391688932125363723705641145157333912116206929568654413680413740193895772238219417728*x_1+22646731249234923259134983122753680328110280339019449255050356152327507263122232347896409213642958388639722766338541471055512907429479704491603645255749855834637339542760201714576942392024122873364026058680275177248396878888300528293249795016605193296795037823445614667423118361444613601401888719727644199142587718217041332357001317976736272816828731940272417336182619804024040344286218806480960931391456203980755015816174592840839123509576502400724230831530037395120010964568583044143544024852819564536918116518400679687139530*x_3-11754236620405170396216652959616735593811854861402914952309815742819298423668800534406121213165182282428307169923561374453457306796183999554612772728307996550256287945057773565170359973268179439961910002039614992700710827469938270206486501893449081821124943619366841178406273158289532516410865331705780347835270509196287359087727005043125178018339891121015551134185325431339450830955580730144249057937418428983605803648274739069961069721261493235977888611149833878194524685374051391244755682825866164696954346620282779248753220
961555232622652039560219467882011179304174191332879448215292713231183719804523544630280529996758438031892783393893811389874194340994659063874590371203579789039443443209784395569177429929505475051909833807109983852206912248945100987119496655005148619552501608074159563088935026095503365950943207313915654453806380733995110894961215978536680636312608300406189427671413180501542449111024102100*x_3^5+515743112561754879459574364467075572536585193341600828247477628145480839075684705811940341915379526860208738624748347580898290659766338489298266863620562558276163229698839726951560891933245458426108852358247987475194220633655405378739248494776252689210712455468251418987553346332592056412447531416297345832338930164361203933000137034788123667712518096161608305874666008598136010005912803963360618580*x_3^4+186811648878793842087291968730476797295521725939624157071007951168590336887789123887682162239816015331571918520418573202168285621681317979430121875021840890324401316217244930688071510478903539072410473499158223130969023929439989231972683934774019575301233540376227354638101433971229520997182032130460295440994913188896169898675673653216016930556495645433457888726646364694766200203528389080902255184720737141*x_3^3-10380704735042117888178309327628492126834558262626620217653725789681949321848478538272072793875917870424435761157232082959642684019371742414214117229015547146767860341732415649392315891525447386946194301295915193271610401066396434655047423312979786262959369846231442483936401732610652231249243947401925158782950857696852164447544722521274375804341554366903564691435888053634063860668353220958704651159835025892*x_3^2+114941941350023250842718825380275487698956584124470759147535590213873365587432425890352945991788893316430589869727145669694089404476144690793399575734363010888309971871627035978754283454494300582279026136650343557335013112367766321862149969414982503655938558324135426565504225365000856256499318188254983861435673281781490307680463977752500512318740226275103966780725903177860197447639862390119725740907127257710*x_3+79867567962313848113679736265108701101457042145773228611353559918119900206578934413709262548641700328037600311245840355203163164219356853784280986943983720303998825676603682130607753124517361857089801229186294042518080320460805979689774108957255851029646869359021080938495959613874104258742629875848585839838916176112092288492960159844984428725142010585962838223238553398091310919341765622596456805700068795920*x_4+312114489657172086267480524618682577978917122560861307240140929907375907176972817455623933095216539681631308354062950122417103478562956738263724759263266172285187876573360243423375807790780798053341335280346035517806954363046073980609945764470629966291452204618357468592434961967894704558465399357698042484084664316179527433375769334344618122874559965025731090794321620931400457293007381387198888145506457665300
-15942366899043879722506361949374390329258135047938396695616535191330730081309440074522520345606564684764306813130078753831260337868830665586579871804717171275716247496541510251331931910789682438680011696098322583378655645099764848161145619595897550771097709602419692441091117467377029115011792269874267213603692144912090848414662779348596360085641705507592071953464096257593774923092961309094601136571810581724095577966665250393052073679084596413092475761156209708905145305794027197764264254781125207395200*x_3^5-8550903418920961793725218417371881415826874866374672422309693958409172307154080478676412356963417779796075990221468282724636208816857385790270564261729790899081919566406803335374893300812007469075394057845678142849812998731491482136188111720098564399592015504082674368528143530700355072233767992229730653104963392950398105704741157971790486054472988183073569849985030801878818469477944956824730415425839030986606563216429250956835118190309762287181423733441037722739146907295805320767996911389295191865885921195210*x_3^4-3097294618550370500349325432874878148219580721805031585146621151924115969586240016260637429092540046089694400320688851368595627225163270075745249756693477046423668581757270024890441856334320165282677024010063531274909842028863108555794086172999504791595749034190426982484923283986311865416772416631540958081687971519033219799553276167923634399134054255356733221960357733306672943303396504830522993647268697122905446235558103312111249876060886879511081277128789325929658151967638757162917118449512249041819541486455734470017*x_3^3+172109723698136921227351313938319400300594412345801704207253319180698213875527459726817084078142171722488797880825309129171854988191180383317747262631708035382032115934678191154710334714290604487889975893016048604635396629760335865702624479173018024290214052486517432495804415385015896024998878010210195763640326759206053029080148864080736193135317284041228022346177969853553619702658926017910364937895778954332381770149248367733169328095747822211305446089303697147425428205437134566130185548834749178947793536742253169711104*x_3^2+1494038574549544095005923315324018891837351262917796900289893080376593062620061712974820267768988376133452297674994375182309355823307052551160442994750993444864743737300264438117303936036377188564499982280858447743590518278831240452774653506810579250165309602384795932187042756975263444389780997127610781223158746868173228240157363636108307463358034901949901806335809783960904740406357105353635021272613213366280502028656583479532512789320795605658737879529236376007347349523912877894094565831145300073882177481387899682038880*x_2-356378868888777032741148675442688129900860100052774661523654076214490887151793765300642724748143737543286327398846917209724376596424644528159587349257367368623788002877328805981478917913672966773707033521000553754797157218161463655674068094696714724144601196308620126386614341558785945292390895582575604239672031480488964132320550830925699380223242955454659552702942299166583823442327208191722892105213095740069423322911342859951176539912917000088215938906778017519451291271153260955702735735336608221448900319990081252002990*x_3+2554132574411475100480771665668343746784490537631365699808335722060227581141744172226610215658112263186958373582165830756698825593253277226590003335780068960554004934739150453503942751530560715171297520604358009360458151903391383912234062882218951212628923373530380368799906201386991260991136095316190304319579594441018712668982410527637382093852946468057979233519696377559665174505439996228474442760847240004415094725200784272154752116301294501701774230079358579154343552245416432801756495075626229213774323321431812101685500
