equationsOfSj.m2

kk=QQ;
ringP7=kk[x_0..x_7];
idealS_0=ideal(x_3*x_5-x_4*x_5-x_5*x_6+x_4*x_7,x_1*x_5+x_5*x_6-x_1*x_7+x_2*x_7-x_4*x_7,x_0*x_5-x_2*x_5+x_5*x_6-x_0*x_7+x_2*x_7-x_4*x_7,x_3*x_4+x_4^2-2*x_4*x_5+x_2*x_6-2*x_4*x_6-2*x_5*x_6+2*x_3*x_7+2*x_4*x_7,x_2*x_4-x_4^2+x_4*x_5+x_5*x_6-x_4*x_7,x_0*x_4+x_4^2-x_4*x_5+x_0*x_6-x_1*x_6-x_5*x_6+x_4*x_7,x_2*x_3+x_4^2-x_4*x_5-x_4*x_6-x_5*x_6+x_3*x_7+x_4*x_7,x_1*x_3-x_1*x_6+x_4*x_6-x_3*x_7,x_0*x_3-x_4^2+x_4*x_5-x_0*x_6+x_4*x_6+x_5*x_6-x_3*x_7-x_4*x_7,x_2^2-x_4^2-x_2*x_5+x_4*x_5+2*x_5*x_6+x_2*x_7-2*x_4*x_7,x_1*x_2+x_0*x_6-x_1*x_6+x_0*x_7,x_0*x_2+x_1*x_4+x_4^2-x_2*x_5-x_4*x_5+2*x_0*x_6-2*x_1*x_6+x_2*x_7);
idealS_1=ideal(1592288283985057573351671218919150*x_2*x_4+99597143159699574222814788468196020*x_3*x_4+358586211054622407591807873577692*x_4^2+37176980097699085396399308587156000*x_0*x_5-7203986140528523584881167515417700*x_1*x_5-18073361832090740437505113710540000*x_2*x_5+483048331544292508509745798092699000*x_3*x_5+6708210767789598809440673282696295*x_4*x_5+30316490737215719156582285770275000*x_5^2+9450545115569443524168813438241716*x_0*x_6-1133579833898048855650861508314818*x_1*x_6-5847354941165153488562814708219000*x_2*x_6-3372167990644971450425291033860167*x_3*x_6-59764368509103734598634645596282*x_4*x_6+2059458011544616454102920482897855*x_5*x_6+9960728084850622433105774266047*x_6^2+100587328798371406473217473249988*x_0*x_7-8759672537954957592762906793774*x_1*x_7-60632981474431438313164571540550*x_2*x_7-411891602308923290820584096579571*x_3*x_7-3320242694950207477701924755349*x_4*x_7,20062832378211725424231057358381290*x_1*x_4-211055661807700049346058858163492865*x_3*x_4+477623360552510400920246363529636*x_4^2-478761369659150835329979542532463000*x_0*x_5+211514592941846723424322083851632300*x_1*x_5-68423507937173581882092277134862500*x_2*x_5-2138303587161559377121147799282079000*x_3*x_5-7111731975370202808710291846283120*x_4*x_5+53511894093058681226100718001220000*x_5^2-138369036538942427708151015952054548*x_0*x_6+13492419062693027440799544767451018*x_1*x_6-12090243754810677583553198688703080*x_2*x_6-221778451234809457242810688207761633*x_3*x_6-79603893425418400153374393921606*x_4*x_6+2007939996725072971973892315016320*x_5*x_6+13267315570903066692229065653601*x_6^2-1337448081627183539447628167298164*x_0*x_7+12047495998169713677650731066244*x_1*x_7-107023788186117362452201436002440*x_2*x_7-401587999345014594394778463003264*x_3*x_7-4422438523634355564076355217867*x_4*x_7,80251329512846901696924229433525160*x_0*x_4-66390550124370219685702597248824760*x_3*x_4-85343010114898625801397619182300*x_4^2+262737751845741601901385042109677200*x_0*x_5+33990021414814180350330900403431700*x_1*x_5-24445152511093838914365550715775000*x_2*x_5-763935654266348014305650663927082000*x_3*x_5-2918858181672815177963070352704795*x_4*x_5+19117792286584069889841710540760000*x_5^2-54806802906027852855490374134252604*x_0*x_6+5348483753019738918578411021935578*x_1*x_6-4319390533937819652703035136358640*x_2*x_6-79006258830658743192162984527021913*x_3*x_6+14223835019149770966899603197050*x_4*x_6+1197588091917461021604444452198445*x_5*x_6-2370639169858295161149933866175*x_6^2-922402502914466812603819773520292*x_0*x_7+41330098551522859780414071898454*x_1*x_7-38235584573168139779683421081520*x_2*x_7-239517618383492204320888890439689*x_3*x_7+790213056619431720383311288725*x_4*x_7,1849108974950389440021295609067400*x_3^2-26499728370047021571315443852340*x_3*x_4-88318405805540054795010541980*x_4^2-18027083204236725652867212223600*x_0*x_5+2608508155572574062941988591100*x_1*x_5+4110985303268026830376497345000*x_2*x_5+20229337623323961694062058374000*x_3*x_5-1691485608994647806150881988295*x_4*x_5-5059162821622004948868978780000*x_5^2-4140385204912692171009713891892*x_0*x_6+410460567807078845791344571374*x_1*x_6+1014015426007996132298738080920*x_2*x_6+104040486867954271595647729887*x_3*x_6+14719734300923342465835090330*x_4*x_6-634798105120325089852703244855*x_5*x_6-2453289050153890410972515055*x_6^2-41973413033698743049406492756*x_0*x_7+3171810274155280185178142882*x_1*x_7+10118325643244009897737957560*x_2*x_7+126959621024065017970540648971*x_3*x_7+817763016717963470324171685*x_4*x_7,127383062718804605868133697513532000*x_2*x_3+99026513598826191267687390746517540*x_3*x_4+401693934869787571319150744279004*x_4^2+39904363606944764588905167166003600*x_0*x_5-7243515339870556310208145057129300*x_1*x_5-16827685743983095681177362105735000*x_2*x_5+377846824688981414606649139548570000*x_3*x_5+7388219131027487070287043457471575*x_4*x_5+27211861023845173991772759071880000*x_5^2+9899468098868256615030102396289308*x_0*x_6-1139799932375497737881079426759162*x_1*x_6-5524640383451019245995700196286320*x_2*x_6-6472369804261182265109983098695175*x_3*x_6-66948989144964595219858457379834*x_4*x_6+1923653297436715790794765572953775*x_5*x_6+11158164857494099203309742896639*x_6^2+104207573781987758209988435782844*x_0*x_7-8807737988827458510490302413366*x_1*x_7-54423722047690347983545518143760*x_2*x_7-384730659487343158158953114590755*x_3*x_7-3719388285831366401103247632213*x_4*x_7,22292035975790806026923397064868100*x_1*x_3-4249255786381048415590575845842680*x_3*x_4+21902360812152065193127438763136*x_4^2+7283355909643814123106696798804600*x_0*x_5-237618926450802524328204911447900*x_1*x_5-345382132434186577024448193157500*x_2*x_5+11645417832754244611390022400663000*x_3*x_5+63269706606432419045202738335660*x_4*x_5+652395102237784997753308621320000*x_5^2+1883244803354783622755585083571736*x_0*x_6-196325482078207610805497248148775*x_1*x_6-120651241904418710971208857758480*x_2*x_6-139100860108567998045591867110316*x_3*x_6-3650393468692010865521239793856*x_4*x_6+16310123490043647148708308538140*x_5*x_6+608398911448668477586873298976*x_6^2+18607989846740987407941421693848*x_0*x_7-1495318977606355732273243085575*x_1*x_7-1304790204475569995506617242640*x_2*x_7-3262024698008729429741661707628*x_3*x_7-202799637149556159195624432992*x_4*x_7,535008863418979344646161529556834400*x_0*x_3-9954146351722637515100648759161020*x_3*x_4+49818844067824965851713213347708*x_4^2+41796301312845730268829800000241200*x_0*x_5-2754523838979330590873074853472500*x_1*x_5-873919685298726763622627676255000*x_2*x_5+24305567948214125248377670187430000*x_3*x_5+114970794241236008579696158040415*x_4*x_5+1562831572332112410531107880540000*x_5^2+4139116827505643332842653237870772*x_0*x_6-433436796649545452002697756920650*x_1*x_6-291570656797339127624271475825560*x_2*x_6+28234387828742894244432149433201*x_3*x_6-8303140677970827641952202224618*x_4*x_6+68188339664862433948511372905335*x_5*x_6+1383856779661804606992033704103*x_6^2+43044789146672236867803302696596*x_0*x_7-3349357752328947592295641742950*x_1*x_7-3125663144664224821062215761080*x_2*x_7-13637667932972486789702274581067*x_3*x_7-461285593220601535664011234701*x_4*x_7,424610209062682019560445658378440000*x_2^2-14999772292301323088699992310148147180*x_3*x_4-72510873147557765942565491511768468*x_4^2-7957688335462605969645811382709834000*x_0*x_5+1325334462947081328086401674095414300*x_1*x_5+2578008915477473254787599445081765000*x_2*x_5-59060847907971221321974543682445318000*x_3*x_5-1247317748136523850961214513876057605*x_4*x_5-4343615918566976499019345750717480000*x_5^2-1914585365441441259719037655194763044*x_0*x_6+208547377946050577732547183147016062*x_1*x_6+801369409796456802982127608831032720*x_2*x_6+1311286374425474001841187796374271573*x_3*x_6+12085145524592960990427581918628078*x_4*x_6-273908196949685031720261622132663245*x_5*x_6-2014190920765493498404596986438013*x_6^2-19864903438300302085244703401686692*x_0*x_7+1611537789248313972011697105490066*x_1*x_7+8687231837133952998038691501434960*x_2*x_7+54781639389937006344052324426532649*x_3*x_7+671396973588497832801532328812671*x_4*x_7,74306786585969353423077990216227000*x_1*x_2+736665412418938007348701641843097620*x_3*x_4+3338324349943896996784162514371692*x_4^2+147592977148913244754837766171407600*x_0*x_5-66651069244029615546367714148966100*x_1*x_5-140309903351983526608627422007260000*x_2*x_5+3908075700334660642714173138463017000*x_3*x_5+55638357539400475480078240502077755*x_4*x_5+236841212300025860738573686434695000*x_5^2+37603741403653747415118024803238582*x_0*x_6-5494840306669476365520564685727964*x_1*x_6-49710764033846756622402787708999230*x_2*x_6-34209529970915079247367422765726443*x_3*x_6-556387391657316166130693752395282*x_4*x_6+16929416691640876991532211174734195*x_5*x_6+92731231942886027688448958732547*x_6^2+431061645363671582767368775167926*x_0*x_7-25017472048430896153683524687752*x_1*x_7-473682424600051721477147372869390*x_2*x_7-3385883338328175398306442234946839*x_3*x_7-30910410647628675896149652910849*x_4*x_7,1188908585375509654769247843459632000*x_0*x_2+1186151374572680761506024009658758180*x_3*x_4+5203658704160656383913396918669788*x_4^2-296098697586857236642906617592685200*x_0*x_5-56965010796443090686582000688216500*x_1*x_5-225917856056120068945472766868095000*x_2*x_5+6339282297159074272388796290516130000*x_3*x_5+90277514164229918813896798540741335*x_4*x_5+382141540918753162411228828802960000*x_5^2+61766968050340202536618114075588812*x_0*x_6-8963702347141799247557276529149610*x_1*x_6-78543312042160217489769482206945440*x_2*x_6-51655505522826854688863612633957511*x_3*x_6-867276450693442730652232819778298*x_4*x_6+26659414740691252103529416285210415*x_5*x_6+144546075115573788442038803296383*x_6^2+974317253386506717994715264402316*x_0*x_7-69266490934878621830815484340230*x_1*x_7-764283081837506324822457657605920*x_2*x_7-5331882948138250420705883257042083*x_3*x_7-48182025038524596147346267765461*x_4*x_7,3328944039051427033353893961686969600*x_0^2+210241272548379848053182885324747900*x_3*x_4-3602764330225956657282027560508540*x_4^2+2674440309867890007818434374810336400*x_0*x_5-169303438175270239420086462605480300*x_1*x_5-18336917452387735091488334623625000*x_2*x_5-250072890439672448832899274913218000*x_3*x_5-19938340836084430700727061697895935*x_4*x_5-5598906627111661593012286330960000*x_5^2+176305568529184580907252146928412212*x_0*x_6-17740135309469925114140444711580774*x_1*x_6-130171123253625611345158619998560*x_2*x_6-22317242707003796197564169235510609*x_3*x_6+600460721704326109547004593418090*x_4*x_6-1103537567119235150630499899233815*x_5*x_6-100076786950721018257834098903015*x_6^2-500963043494951134883487499471884*x_0*x_7-51690640015404597492960770962282*x_1*x_7+11197813254223323186024572661920*x_2*x_7+220707513423847030126099979846763*x_3*x_7+33358928983573672752611366301005*x_4*x_7);
idealS_2=ideal(2107073871295466094024469640453944189760130*x_3^2-842829548518186437609787856181577675904052*x_2*x_4-43050682299967585129821078143910675610*x_3*x_5-14658770374991370253606696980572097801*x_4*x_5+86101364599935170259642156287821351220*x_2*x_6+128451986053783475533521773611642422565*x_3*x_6+10845091919929952023031951529177956265*x_4*x_6+810749497528231209626592650984035*x_6^2-22063253671530649706195315483512773424*x_2*x_7-10845091919929952023031951529177956265*x_3*x_7-162149899505646241925318530196807*x_5*x_7,8428295485181864376097878561815776759040520*x_2*x_3-421414774259093218804893928090788837952026*x_1*x_4-172202729199870340519284312575642702440*x_2*x_5-35593689025984526893406013353076821271*x_4*x_5+43050682299967585129821078143910675610*x_1*x_6+220632536715306497061953154835127734240*x_2*x_6+177968445129922634467030066765384106355*x_3*x_6-73346283301327030096079406117100655115*x_4*x_6+12151659904441599435569033216641535*x_6^2-11031626835765324853097657741756386712*x_1*x_7+73346283301327030096079406117100655115*x_3*x_7-2430331980888319887113806643328307*x_5*x_7,21985034862471045824421672069085823277700308876564774348442540098908746072343940*x_1*x_3+19255281783060694498306337891134011581129912662174580916006708762035849266376277000*x_0*x_4-5794570472064891844527327842464424899280589145486969008870203583332128436304693*x_1*x_4-14977175819526395192445914735910051541089632833507258970088591583723996871971962*x_2*x_4+11120622161415045681398455633007506826123174098618763286503142742347102898810215*x_3*x_4-293653231385844051935318949853727968210930572912889169858025437257482485021910*x_4^2-31597410626711491812025568354246870197302891021890628817245356398258820042273940*x_0*x_5-2286644391452105277724584585558672971945373860850594897607494543074507223180*x_2*x_5-1405966909362865007971989176804823161082505137927306902683580585941294348970*x_3*x_5-716224013691660736053228330266805839735383058194671159504190496080608223499*x_4*x_5-69250776080541763202320993482736784063173553041497163343329828298994893440137030*x_0*x_6+571661097863026319431146146389668242986343465212648724401873635768626805795*x_1*x_6+4423437044970606427847382152930278940179341097282847869017782874194561269660*x_2*x_6+2782858634991185961699387116303727734344179132911639568544025227745547078180*x_3*x_6+39120707881013508311490517384670529407470076973702326137009027952866463255*x_4*x_6-53661790217935475662286448991578175646064305248147792122150743071455135*x_6^2+2251341440624804398170778615545247756283801058998816968911528352307365718501310*x_0*x_7-80575161312243820595170189966031630900716541071411703182531085115598628586*x_1*x_7+319304573386847087426701814012120585733094463224686491590770901062997615726*x_2*x_7-39120707881013508311490517384670529407470076973702326137009027952866463255*x_3*x_7+10732358043587095132457289798315635129212861049629558424430148614291027*x_5*x_7,29077619423877432097537681038264429818689794*x_0*x_3-594099415739552674791530878385967323418*x_0*x_5-10829169213901154678648680021982129*x_4*x_5+761182251667807414863738384181190683128*x_0*x_6+54145846069505773393243400109910645*x_3*x_6+1148157481181297370006492637750889*x_4*x_6+1300115323569695774922711955075*x_6^2-1148157481181297370006492637750889*x_3*x_7-260023064713939154984542391015*x_5*x_7,175880278899768366595373376552686586221602471012518194787540320791269968578751520*x_2^2+19255281783060694498306337891134011581129912662174580916006708762035849266376277000*x_0*x_4-5794570472064891844527327842464424899280589145486969008870203583332128436304693*x_1*x_4-14977175819526395192445914735910051541089632833507258970088591583723996871971962*x_2*x_4+11120622161415045681398455633007506826123174098618763286503142742347102898810215*x_3*x_4-293653231385844051935318949853727968210930572912889169858025437257482485021910*x_4^2-31597410626711491812025568354246870197302891021890628817245356398258820042273940*x_0*x_5+772323612711921244477779931640031808586828667256481553634986577593884591580*x_2*x_5-3262874976945494699926743066037490606867282156759979226692717506309319866960*x_3*x_5-716224013691660736053228330266805839735383058194671159504190496080608223499*x_4*x_5-69250776080541763202320993482736784063173553041497163343329828298994893440137030*x_0*x_6-193080903177980311119444982910007952146707166814120388408746644398471147895*x_1*x_6+5874117300616157723076585123814410872071846849168234145900596035899277754240*x_2*x_6-1043586696090031970637216907508219846679678372369007490941537092294977116170*x_3*x_6+39120707881013508311490517384670529407470076973702326137009027952866463255*x_4*x_6-234550849635922071434755535427651813979992822806159891688148033002375585*x_6^2+2251341440624804398170778615545247756283801058998816968911528352307365718501310*x_0*x_7+32581632663741583838845050413028517083135873217586215374241948835968098984*x_1*x_7+1849882705819334260361343423536899618142637465336945315384995829079207293466*x_2*x_7-39120707881013508311490517384670529407470076973702326137009027952866463255*x_3*x_7+46910169927184414286951107085530362795998564561231978337629606600475117*x_5*x_7,527640836699305099786120129658059758664807413037554584362620962373809905736254560*x_1*x_2+404516325112852774513461343547976110764722068645276916051749998164135239501443248000*x_0*x_4-447571305964451675871887284021339705648736639512375602759630853820335539489934737*x_1*x_4-397398307872424384563448954570300760814068735249682152947590990924738992429845974*x_2*x_4+566327030362438930519053219077354049036504187422259139092821358393934462617391055*x_3*x_4-4914024714201580098546172919647119414037380508825115585664069293481914751634920*x_4^2-256197633416163807862391742560324277227104780009413319314370578531178171412498280*x_0*x_5-124504743616325252059685856245025003446180664046081584875575471652900052815540*x_2*x_5-135172336067462151933174115826910398398557142522901871218788914798125903713980*x_3*x_5-59833528256466530425598240222147706611044050031287081349884230607434135113094*x_4*x_5-1375610812747730590254219009721708073039392810843493162938013470020464233319841360*x_0*x_6+31126185904081313014921464061256250861545166011520396218893867913225013203885*x_1*x_6+432918253178076943044195604727250098486378274578183977524468244890124418376440*x_2*x_6+150974152490231330549168284112511335475285931225683846964152593251058115803815*x_3*x_6-50888075385572201263606415432170602637829811279678100592069392728899852664430*x_4*x_6+5535443666292387320050513093099679903607280683313153396411883368304186690*x_6^2+37674189475545447422187325717294582174286583900992552823424531250028013095867720*x_0*x_7-8128679052157631958892368653671465084463199476619011754344520764693630547424*x_1*x_7+59277395516840528631529166799290879031973727572300623914107423914445023904662*x_2*x_7+50888075385572201263606415432170602637829811279678100592069392728899852664430*x_3*x_7-1107088733258477464010102618619935980721456136662630679282376673660837338*x_5*x_7,58155238847754864195075362076528859637379588*x_0*x_2+1011455155874404547498862091659474748269*x_0*x_5-54145846069505773393243400109910645*x_3*x_5-748311342475166689589204655513278982285*x_0*x_6+108291692139011546786486800219821290*x_2*x_6+5740787405906486850032463188754445*x_3*x_6-1193749778317098047473876980980*x_6^2-2296314962362594740012985275501778*x_2*x_7+238749955663419609494775396196*x_5*x_7,1582922510097915299358360388974179275994422239112663753087862887121429717208763680*x_1^2+19612247462935611853761266019306531848779657223262095776877879049499146837342867336000*x_0*x_4-12244896602811330487868613987442538627084380774391140583616333510591232565904379281*x_1*x_4-8439445354610169259518860655245178880082444148576299702277981124088501970476983086*x_2*x_4+19782733804944856029619480695331780323358559089401096312663435303943564522474646595*x_3*x_4-312485547739410094241622730224366899942940228921221782481372577426526918234615080*x_4^2-23150381483477568685132474157478994608622933275575713734490778502552999078074859720*x_0*x_5-5503628205844363455774782485884088499281618691277821800787860422633175238357860*x_2*x_5-4297710750790184029551262742944539498886092777622416502764462751800226347255000*x_3*x_5-1465806306864158949166662858300165451553347916416630095848851203922948418001664*x_4*x_5-72798312616113174365671905134842508480183377326315753884587610628517694592251894640*x_0*x_6+1375907051461090863943695621471022124820404672819455450196965105658293809589465*x_1*x_6+10521356403544295273418932314943774739118586588787349364780072307545470011576640*x_2*x_6+2674749724739205148523394085676179827038881338103578460966320078053386824108425*x_3*x_6-853821965864727665029780723992551337100732651351968637980760605452041501465640*x_4*x_6+43280249953481367996314933852838236898935316278748529965507521128618354840*x_6^2+2395722532668810722519107598386812899562541755062700332357189760270039706465382280*x_0*x_7-96296745098196360715820341452734787067320051677125817962557340197250865853332*x_1*x_7+1861712723832635838923968082329858972291143297591828807311174376624542106359958*x_2*x_7+853821965864727665029780723992551337100732651351968637980760605452041501465640*x_3*x_7-8656049990696273599262986770567647379787063255749705993101504225723670968*x_5*x_7,29077619423877432097537681038264429818689794*x_0*x_1+2455964542792932355645014921362300667699*x_0*x_5-216583384278023093572973600439642580*x_2*x_5+5060893547791565076629479022079945202935*x_0*x_6+54145846069505773393243400109910645*x_1*x_6+22963149623625947400129852755017780*x_2*x_6+9908841887272858818084089267645*x_6^2-1148157481181297370006492637750889*x_1*x_7-1981768377454571763616817853529*x_5*x_7,184639204729116281136006268391698654558731384870177107147057222536835608648957635071760*x_0^2-3536347577149983722511891990133820737124535898402020119722851543022149315057654420*x_0*x_4+16668500041389628712471288493892899956828670216319637521684835095344954233292*x_1*x_4-837370331538354425274004896036072678674409166889944131972878276390920048824588*x_2*x_4-134979400718673224778121101284853520061538035063239695299099231605307311077879*x_3*x_4+64174571356677714071888714142776925445458287465249426631582359669698560435003*x_4^2+935407614089039454105537311011796672859963839290279691346314393448582718665042*x_0*x_5-35261290310953711679081548370203986271600329638502215502617717914928237808*x_2*x_5-4961793737738232810448513308860925601482979141747633239876393471560636038*x_3*x_5+287176467025208351962129922237588423031510350811093717450377870024639716*x_4*x_5-134490436881269930942917336454548978107545760910721499786955395271596585722661*x_0*x_6+8815322577738427919770387092550996567900082409625553875654429478732059452*x_1*x_6+7126863296183608244753059813967466934567367175541984859815275838900422956*x_2*x_6+68179996657040081008192234667151992198281565833562314087215536855496909980*x_3*x_6-11382463729722946888625756333013058555257278191734256466255156403797707603*x_4*x_6+3516426783114549039657829920090730796973873161550089755410676044483560*x_6^2-492005047067862474551146808427956428415180203900245604175464757467688963335023*x_0*x_7+139836208964642868807198340187719213419929555397664080996875555211042456*x_1*x_7-27846351596866449107201153711335973725375647035047113069786970482248043424*x_2*x_7+11382463729722946888625756333013058555257278191734256466255156403797707603*x_3*x_7-703285356622909807931565984018146159394774632310017951082135208896712*x_5*x_7);
idealS_3=ideal(1967526788563366857515088946678814051419949772934585242598938149796291216610577520*x_2*x_3+20904297465443271480537085366523514859790948461394194767711076682389781357040*x_3^2-82636125119661408015633735760510190159637890463252580189155402291444231097644255840*x_0*x_4-17037341212601603303359081731557643991755952428735309109049381902590086589911098320*x_1*x_4+486207366961384520097712595186947820905179141441184039613637125452164082197515207840256*x_0*x_5-8491218697203891382035702496607495647352550825526471808198397932950469375452975598208*x_1*x_5-12825055951049882025884203125769843890022085727117098899589623307246294985589822933056*x_2*x_5-8501693529483611005152299393193959994205399122043538567258842883370206115607647744*x_3*x_5-8616371473814543250332807304696545038530998211247406305382954844064389669275271600*x_4*x_5+5346720990066401282675263018846688328974362285555192022135443355361357215958846036480*x_5^2-1321264327047340676204992599008117012503423251069581771223995397738325906244225925*x_0*x_6+1149610189936289657144396382920262528625822187935685597845373531829277373374776888*x_1*x_6+16045770744685656295375132348331324998758646082321305018762909276330909633064631*x_2*x_6+164145198528386790534693327863986095936199825324667337507863571852179307518065*x_3*x_6+544264849803909865441452142690854160989296334551540119324008085666308156657703*x_4*x_6+684783223443407345506056719072957401973709913503852685735081446431252051469127632*x_5*x_6-17967372839462654404271462331524116265593611661314907870926183185522845472327373*x_0*x_7-31126510156518515704820759957861700089714086977447849351594611201420547794051256*x_1*x_7-14307362876231539937047109351242839195592629177213204321704540823360543217539873*x_2*x_7-2984458155061578009721696870254292653385451369539406136506610397312351045783*x_3*x_7-9059552643271539421532191906990953241777386326117688924273522126637284321313*x_4*x_7,281075255509052408216441278096973435917135681847797891799848307113755888087225360*x_1*x_3-9942435306346675641762436277276914813870907709121401771045808290506024139840*x_3^2-3150066427635925960934657801365515689553809445351730181588006741026666468237863600*x_1*x_4+89005867301102170077171940189404745947154885653327812437224909182910826687543089310464*x_0*x_5-3429312750828292332540119421607736835081243213802896053831804979092892131570036287872*x_1*x_5-3995914738585935235836267216235837940158686486242488609065156419407584970722247381440*x_2*x_5-1611437022041598115224492956547493659388217214560947991485301115922629924672027216*x_3*x_5+511997802625939294336242579581573813997060318767901521954159540059795788082185648*x_4*x_5+219748691299072042643793193278352010311566396811549157232804530655130912545620920320*x_5^2-795946400567804645498330761043617245394134035528856950290275997841764997011732935*x_0*x_6+262473026917241593288348085422341141814341479884687000781407984732842705110603472*x_1*x_6-36805890667980847853182163800064520463594155549805908919099310828986436586289281*x_2*x_6+37884654668972198598143039855592346655258811069789505883140072091893354196810*x_3*x_6+134994833907743727968412530062720617456291052098059350937209365195424105662332*x_4*x_6+173869452716396974275173287790227461741100526476435416514930384452041403883322208*x_5*x_6+23661052513681931847151334028935393573948130731160747516239427808955537816426433*x_0*x_7-7903156941654407921598785808646702806413660294383428023405926566001881994696464*x_1*x_7+220591713639442037577355024869178128451675707208237540218181257262488746809431*x_2*x_7-688811903072221792693509815556224484641069292177991016057092219852606439942*x_3*x_7-2852148937849207534187088906776906000851037255602298815154729880627951977636*x_4*x_7,1967526788563366857515088946678814051419949772934585242598938149796291216610577520*x_0*x_3-26673713983133459899939763930535680876430138422947048281012179553300031579440*x_3^2-6465946820396970680614001086768689036524418554447225964018836601479409342377510400*x_1*x_4+141600161288544383363498736308312668081969439176097222799194101655376858291051385224960*x_0*x_5-4131178372446705614220690805903967803912168227833936712712413256916875359944547275520*x_1*x_5-6102875433575889685718601408014859721768049912757166447749594282344057703984750896640*x_2*x_5-2399803145808349561873444583232964727528650783048768365673378764850392402284952480*x_3*x_5+473619998881723420734815127029382845702349861285699541092617897753807714502488640*x_4*x_5+622960041594430593569420120391884636947922040125882768220808146745130645663777318400*x_5^2-1020576378140288455397743701819578443002177945240613739519721160332750185040686250*x_0*x_6+396763093273735741169970341070375091350780938265871091204416022498892318277002000*x_1*x_6-55672448861642188334490658594493189814725792801190686892923224727670074164207464*x_2*x_6+65042837690422553449017331950443015151391085734254801679694809307492602027975*x_3*x_6+248032943985432127643213556491223363775108699373155826780850423404988075100567*x_4*x_6+245008158466101274372822186138553103678428601697807553573065289184138958650510240*x_5*x_6+19924409639772245247960446827351695654843546424734867594404343772124254501093590*x_0*x_7-11136734475731876107855553915388777439928572804445797889684785872006316302295920*x_1*x_7+331308190779234264334104567558533952040957926681942067148203132371114698210904*x_2*x_7-1182597048916773699073042399098963911843474286077360030539905623772592764145*x_3*x_7-5576638449969558898601473402516397485513727343702533327255949425859057174097*x_4*x_7,1038854144361457700767966963846413819149733480109461008092239343092441762370384930560*x_2^2-161972836226818583852115041347315907892379344273099014132730315801799083269520*x_3^2-1300190891434861062709136578849430376188296247338722738803018092497766902039165840*x_1*x_4-379298284638966778211906562801093407902973346237909425712135605149071818648970658065408*x_0*x_5-2705932599956839510461435393850428942759501771227193079673524098805495505967175472256*x_1*x_5+1515748356797082178265459969192706235053278205289679125247218372961769087839536319040*x_2*x_5+9392023630772721463271781745760561112185341326096336908012325385043857314269824032*x_3*x_5+43153285188313728498524202768705572493776430518461288727162628314385388744395177744*x_4*x_5-1105377620548780564937494414874109651413642060689033934880472015493321663900654691840*x_5^2-4728323347036716665166014854764083112047448874067113375268424369053614243432187645*x_0*x_6-506477284541397648816887189282423042925710852171000962483756919606175362627299224*x_1*x_6+105122209527016596677603186423498227963789079582977205582434790508791613289194607*x_2*x_6+17402326989221969351402705175652045661428756018660572355395803580169912505305*x_3*x_6+198830485764476666012226009562310446929267172668321280647817035543026754895871*x_4*x_6-65425498128524099657772441736211707337842216617861228258076450093373927717374416*x_5*x_6+59991517084155004249526599174161694918390456292565695145552438280613249408500379*x_0*x_7+2973886278569277257171474624373259424447373482630055829912565913335178532607928*x_1*x_7+3674929940117903690201180806228813104587770676832793875877812083943611344015943*x_2*x_7-316405945258581260934594639557309921116886473066555861007196428730362045551*x_3*x_7-10094013190245046372488710918661917168954576910347983849814976914672449783433*x_4*x_7,22261160236316950730742149225280296124637146002345593030547985923409466336508248512*x_1*x_2-318941392953415516479060003386742165803427551193874675637420938021295747520*x_3^2-100860733514700943257805169481341642676848579081130519554543631928530897309128016*x_1*x_4+1474958925144511320068024962372408297247798147899273366921052079397905215243788170240*x_0*x_5-62422091608388668294878732533176596853724597184712627292629339914857968654730678400*x_1*x_5-82794784620994229222231989739174755422365406865540892600144749749952742565339363840*x_2*x_5-23693013933404791861710798777885163221937440961824765288594068412615911060243520*x_3*x_5+48014196373929019083782797455987923605833678009642457229663433251191997401868880*x_4*x_5+2631293978338706579735402827895750995880680699931234059951281576855875645275776000*x_5^2-17519325777383370676861046343483891074694061422535891079872267340415504110282445*x_0*x_6+4802961916140122602622758130736948867210766376891572920003879120939430384278840*x_1*x_6-1442768864109357342237547854993258989181132974678023233531048259804742272168887*x_2*x_6+918607943570368461688921811116443830656421554093610454570655194445307617250*x_3*x_6+4156878375183229137489253574874204175547977661104192007699772135675721374596*x_4*x_6+3261338957294795256700445510626676711253641452944610703736604670655936402273360*x_5*x_6+492047745525308846467468118133456958296775788235226440861162572109214284099275*x_0*x_7-148242679877036148031838432301212577784256429679300486533482030484360745557880*x_1*x_7+22035793528211317503953786830023213080013322356929041507643768592281617035441*x_2*x_7-16701962610370335667071305656662615102844028256247462810375548989914683950*x_3*x_7-88337262539649877704421556042273398914827604976922114438219967260410400348*x_4*x_7,1090796851579530585806365312038734510107220154114934058496851310247063850488904177088*x_0*x_2-6818779536125106319241891526253522262088897839904310978025616597847538206320*x_3^2-1720123593314171915065061315545233431992650885617966334665728522837270657021379328*x_1*x_4+15597190937271399335176908599055735359246765967601386462625218842054592031467699670272*x_0*x_5-1141367766559793066719737631067367236071965374506213094339575731029430986299845105408*x_1*x_5-1089088547672393209328507921610779832934121061008302964006595920710863970237497199488*x_2*x_5-187606481396771899150580004395706016274871121188233298283045122137297805699356928*x_3*x_5+1531648740689385094753028063458327829633496138347582725350974401435030031957843904*x_4*x_5+101760988027207390540478879761579208807488691229793321309781187244286375661375290880*x_5^2-330315018525642930474290795074118241304421746031478385338059863901316307342335282*x_0*x_6+57338149779609812612099927357304207192112761507404376777576992988376639083802272*x_1*x_6-6277608971210091310087725720396850131992868843850215798857038899834773176792140*x_2*x_6+13030117603303916934890368413715195093429024576715010910994837815869002406145*x_3*x_6+60180978594237523017723664562433977151509630832114331689701075750400591327241*x_4*x_6+49888474523651840043054553064364775437006136461015434242509100111692400301657664*x_5*x_6+8086744404213741880488988048702153469706404160374954358994650341362919169292350*x_0*x_7-2267657932893265456502479684743853428954824384591610647386777277804200013711712*x_1*x_7-43423907363468985859021578826307960817678065564274152866928784367723174839660*x_2*x_7-236911229150980307907097607522094456244164083213000198381724323924890952839*x_3*x_7-1366950792249322853091924107639849565965549201452796651661044223012094097839*x_4*x_7,1558281216542186551151950445769620728724600220164191512138359014638662643555577395840*x_1^2-2823462970485035481909501098598733280487549453442046125731810675154406118720*x_3^2-869333582878088909486544364028744036942383430608470973321429744502405009407351440*x_1*x_4-15242258115442700356847504610641385933265239545741105607895024486177214064312507435648*x_0*x_5+285918238812440021952155739493208416291229640987695048144818335442532003212948449024*x_1*x_5+568809077535560787986326765132244778584315630363358016081674472334207111480827786560*x_2*x_5+305289836254754811118586177739377951495834410860132749392816665102569216073128352*x_3*x_5+738549091726130161208994888441518930665655605327365070809152913042875867471742864*x_4*x_5-19118912078728755319776093285258269563485891384424224351398087756609724226732035840*x_5^2+67685134513059142993582841593649115189119431322168618998952410288977623162146005*x_0*x_6-91892013242992103605002842055377610113819409798447791101645527899499109461768024*x_1*x_6+3784444410661723644173885337073927191348137104952666722861391529993595322837667*x_2*x_6-2542070310639597419015326077563868375871246833729664816237699411940202584770*x_3*x_6+33780382017991392844756069417844359755873960545864063522313457772492602796756*x_4*x_6-35278317481670770790122372936509605662759058898468596540728045191444407421892176*x_5*x_6-870586839767109772638608153605950091142342745100064189188418872351799603493891*x_0*x_7+1603559885530489581369198769841345711943593586294027115487638417792927610086008*x_1*x_7-16333820690012554933122345822254492331323270918210008908112293145781026013157*x_2*x_7+46219460193447225800278655955706697743113578795084814840685443853458228814*x_3*x_7-727127282782881289181035851541119508599028533517028454525880750142405386508*x_4*x_7,1987603592528299172387691895114312153985459464495142234870355886018702351473950760*x_0*x_1-2297767948706418284899513961426180609172158819277008054166188194141532160*x_3^2-710609019154178225540133130355580365903610206639163831828696215164513213493220*x_1*x_4+11592414793101099224970122725989834787778855814139848374006403297084751023533327256*x_0*x_5-556483282932203943453064919569746414988838596670042004485336341809775350150350688*x_1*x_5-578468545703150749298749616011836242482004473339760797132548275341806984379940160*x_2*x_5-203339231818949005636749688402147865027634756381737253407943001220462804154084*x_3*x_5+270716383606139426934452791967578550004805604647734077710209897541673071856292*x_4*x_5+30561809214537845166686025424017391149192613549790446305190757879095853488956480*x_5^2-200370694375502191621309328976283390647855604262039572362922716322856401960185*x_0*x_6+38098420507405376755673339916848645992752381689747811939312395004659874338808*x_1*x_6-5115818082103043573295399823832330824889373699325887679163021570564598297099*x_2*x_6+7552175312396665168661450155553034033027580168644589034871361089902072090*x_3*x_6+29375012200014450253160706002059364778588922427884255685575637080581434693*x_4*x_6+26620673192061834043944314544867943205451824371457729696252570565826158335592*x_5*x_6+5202702485882510142999553430591343537367303066494073899363426653586568398447*x_0*x_7-1210030599639174274724741570221270145702355653248078622556935025719370833436*x_1*x_7+29734322914195062951865888451050936897971774897002261305623714003364705149*x_2*x_7-137312278407212093975662730100964255145956003066265255179479292543674038*x_3*x_7-626001848857610372362538849403581129432139487823521334631659111048960099*x_4*x_7,1817994752632550976343942186731224183512033590191556764161418850411773084148173628480*x_0^2-1159561143161523167822182150323582054778399502222437323115968863615648088960*x_3^2-353011331105035868792818462412481623197340933894280713343996619975264997583905520*x_1*x_4+6255868608275828154172817123737211042890988730776393278804302342065452320337616875776*x_0*x_5-242435539938773143813235548560081882823495997053296450476417895874557001109297770368*x_1*x_5-308052241800339415676846990683702259370252639087016965281889951409750393816850251584*x_2*x_5-101315905424165934215252975186892925852568211560786685211532769046848952969708224*x_3*x_5+136245369549253396699771944994322981316974825286182539544891726395437841137951984*x_4*x_5+24630292486227315803264546214589319852788709913518952861792500081182315019750484480*x_5^2-65476558091572936176452721561955179256748386450555486670490899669513659406772545*x_0*x_6+18794420193168439750662652698678891271451607130211323603596397757991329923033608*x_1*x_6-2895341510875670074504052092745063896183935758646394773584130830378032827998939*x_2*x_6+3513273255351609053500167035037845902098474297782108463572094332476096724990*x_3*x_6+14491183983795475717924655859178442691204942356416343170826312559865749489888*x_4*x_6+12558828463780869070174016287185552465781790018925475712839464151878929752840752*x_5*x_6+1689416082745298228916080762211279002829977106026942711343454411940490070547447*x_0*x_7-570855839262766775917000740326616021171899546314794350583612006903587716038216*x_1*x_7+17605564340578038417518331899596040938575174330836582408797935488502171463661*x_2*x_7-63877695551847437336366673364324470947244987232401972064947169681383576818*x_3*x_7-309858518159105939766062847088914967485771295660103732394208073814912277920*x_4*x_7);