text:
using SignatureGB
using Singular
P, (x1, x2, x3, x4, x5, x6, x7, x8, x9)  = Singular.PolynomialRing(Fp(65521), ["x1", "x2", "x3", "x4", "x5", "x6", "x7", "x8", "x9"]);
gb = SignatureGB.f5([x1, x2, x3, x4, x5, x6, x7, x8, x9]);F = [118998100*x1^4+110038885*x1^3*x2-76063440*x1^3*x3+13889940*x1^3*x4-170891970*x1^3*x5-28435890*x1^3*x6-6256085*x1^3*x7+111159465*x1^3*x8+193412675*x1^3*x9+171348275*x1^2*x2^2-295169953*x1^2*x2*x3-334431177*x1^2*x2*x4-297732748*x1^2*x2*x5+52067073*x1^2*x2*x6-55997297*x1^2*x2*x7+248112196*x1^2*x2*x8+224487093*x1^2*x2*x9+67845673*x1^2*x3^2+107327304*x1^2*x3*x4+428477370*x1^2*x3*x5-88480542*x1^2*x3*x6+38221169*x1^2*x3*x7-81159885*x1^2*x3*x8+5758406*x1^2*x3*x9+39467198*x1^2*x4^2-162201605*x1^2*x4*x5-13390093*x1^2*x4*x6-237661069*x1^2*x4*x7-184131970*x1^2*x4*x8+187680764*x1^2*x4*x9+276745407*x1^2*x5^2-256354741*x1^2*x5*x6-28403205*x1^2*x5*x7-168406273*x1^2*x5*x8-419380733*x1^2*x5*x9+166015234*x1^2*x6^2+180693652*x1^2*x6*x7+152924102*x1^2*x6*x8+45879115*x1^2*x6*x9-103553442*x1^2*x7^2+228687530*x1^2*x7*x8-56476571*x1^2*x7*x9+178282043*x1^2*x8^2+18241936*x1^2*x8*x9+24239911*x1^2*x9^2+19845795*x1*x2^3+60881748*x1*x2^2*x3+11708305*x1*x2^2*x4-11427536*x1*x2^2*x5-25620795*x1*x2^2*x6+246237574*x1*x2^2*x7-202031720*x1*x2^2*x8+124321699*x1*x2^2*x9+226226279*x1*x2*x3^2+173901118*x1*x2*x3*x4+37394788*x1*x2*x3*x5+332657522*x1*x2*x3*x6+245291599*x1*x2*x3*x7-3270542*x1*x2*x3*x8-320714061*x1*x2*x3*x9+89753511*x1*x2*x4^2-35581523*x1*x2*x4*x5+343637339*x1*x2*x4*x6+331368604*x1*x2*x4*x7-372315668*x1*x2*x4*x8-88795915*x1*x2*x4*x9-124348053*x1*x2*x5^2+362635627*x1*x2*x5*x6-278426391*x1*x2*x5*x7+357940133*x1*x2*x5*x8-115532560*x1*x2*x5*x9+194587475*x1*x2*x6^2+237893343*x1*x2*x6*x7-668126448*x1*x2*x6*x8+172201810*x1*x2*x6*x9+194295927*x1*x2*x7^2-7229252*x1*x2*x7*x8+277141244*x1*x2*x7*x9+13729310*x1*x2*x8^2-8546048*x1*x2*x8*x9-64213624*x1*x2*x9^2-42406890*x1*x3^3-14013333*x1*x3^2*x4-277427049*x1*x3^2*x5+93173190*x1*x3^2*x6-2986720*x1*x3^2*x7+64241064*x1*x3^2*x8+40529779*x1*x3^2*x9-67822858*x1*x3*x4^2-13311872*x1*x3*x4*x5-38393542*x1*x3*x4*x6+51158339*x1*x3*x4*x7+201124492*x1*x3*x4*x8-72245673*x1*x3*x4*x9-199141852*x1*x3*x5^2-188663278*x1*x3*x5*x6-232360219*x1*x3*x5*x7+88712038*x1*x3*x5*x8+404616375*x1*x3*x5*x9+59353316*x1*x3*x6^2+92796652*x1*x3*x6*x7+101089298*x1*x3*x6*x8-187515756*x1*x3*x6*x9+70386960*x1*x3*x7^2+9918596*x1*x3*x7*x8-31741209*x1*x3*x7*x9-46077160*x1*x3*x8^2+84405822*x1*x3*x8*x9+100670771*x1*x3*x9^2-10697074*x1*x4^3-62455402*x1*x4^2*x5+47632672*x1*x4^2*x6+66997995*x1*x4^2*x7+56848585*x1*x4^2*x8+54406066*x1*x4^2*x9+168146161*x1*x4*x5^2-118849292*x1*x4*x5*x6-38195965*x1*x4*x5*x7+94005051*x1*x4*x5*x8-318415444*x1*x4*x5*x9+173523046*x1*x4*x6^2+200444065*x1*x4*x6*x7-85552578*x1*x4*x6*x8+138810469*x1*x4*x6*x9+164952549*x1*x4*x7^2-78763848*x1*x4*x7*x8-53066590*x1*x4*x7*x9-170169844*x1*x4*x8^2-36516984*x1*x4*x8*x9+142587749*x1*x4*x9^2+20806429*x1*x5^3-259892028*x1*x5^2*x6+19138222*x1*x5^2*x7-136372258*x1*x5^2*x8+198379313*x1*x5^2*x9+55917072*x1*x5*x6^2-35726035*x1*x5*x6*x7+410782256*x1*x5*x6*x8-153176999*x1*x5*x6*x9-55735457*x1*x5*x7^2-129046498*x1*x5*x7*x8-127175297*x1*x5*x7*x9-16136480*x1*x5*x8^2+49620699*x1*x5*x8*x9-43877537*x1*x5*x9^2+87506114*x1*x6^3-27204117*x1*x6^2*x7-213260359*x1*x6^2*x8+262981605*x1*x6^2*x9+28131898*x1*x6*x7^2-107441892*x1*x6*x7*x8+434276569*x1*x6*x7*x9-84188530*x1*x6*x8^2+44130052*x1*x6*x8*x9-21701897*x1*x6*x9^2+62186050*x1*x7^3-80913860*x1*x7^2*x8+66920905*x1*x7^2*x9+111760180*x1*x7*x8^2+222915972*x1*x7*x8*x9-31118292*x1*x7*x9^2+84803520*x1*x8^3+13575886*x1*x8^2*x9-182430056*x1*x8*x9^2-74905818*x1*x9^3+69878993*x2^4-74585251*x2^3*x3-111931650*x2^3*x4-99222958*x2^3*x5+15824686*x2^3*x6+696426*x2^3*x7+48192045*x2^3*x8+20835885*x2^3*x9-63240946*x2^2*x3^2+184535080*x2^2*x3*x4+200078210*x2^2*x3*x5-87830012*x2^2*x3*x6-86206592*x2^2*x3*x7+36674985*x2^2*x3*x8+172115959*x2^2*x3*x9+139504280*x2^2*x4^2-7212748*x2^2*x4*x5-114745163*x2^2*x4*x6-349659079*x2^2*x4*x7-27685820*x2^2*x4*x8-4123172*x2^2*x4*x9+181424996*x2^2*x5^2-215516448*x2^2*x5*x6+26940880*x2^2*x5*x7-37906064*x2^2*x5*x8-169228469*x2^2*x5*x9-88047771*x2^2*x6^2+25124496*x2^2*x6*x7+292077251*x2^2*x6*x8-131661430*x2^2*x6*x9-126504566*x2^2*x7^2+126658626*x2^2*x7*x8-140278152*x2^2*x7*x9+47690530*x2^2*x8^2-119164665*x2^2*x8*x9+36846923*x2^2*x9^2-26050124*x2*x3^3-198038429*x2*x3^2*x4+39642305*x2*x3^2*x5-214116697*x2*x3^2*x6-114174580*x2*x3^2*x7-48457116*x2*x3^2*x8+36144918*x2*x3^2*x9-64652564*x2*x3*x4^2-232600638*x2*x3*x4*x5+119102*x2*x3*x4*x6+6524075*x2*x3*x4*x7+43781252*x2*x3*x4*x8+64028371*x2*x3*x4*x9-123388062*x2*x3*x5^2+129516820*x2*x3*x5*x6+236576461*x2*x3*x5*x7-118042908*x2*x3*x5*x8-81854803*x2*x3*x5*x9-169033309*x2*x3*x6^2-250189197*x2*x3*x6*x7+22445538*x2*x3*x6*x8+292938311*x2*x3*x6*x9-13922356*x2*x3*x7^2-81623588*x2*x3*x7*x8+238560602*x2*x3*x7*x9-37967736*x2*x3*x8^2+57091942*x2*x3*x8*x9+9629525*x2*x3*x9^2-31479084*x2*x4^3+163580806*x2*x4^2*x5-111116885*x2*x4^2*x6+62667833*x2*x4^2*x7+175541025*x2*x4^2*x8-175903381*x2*x4^2*x9+15324195*x2*x4*x5^2+113351553*x2*x4*x5*x6+227759457*x2*x4*x5*x7+7343279*x2*x4*x5*x8+19906065*x2*x4*x5*x9-432906982*x2*x4*x6^2-417207559*x2*x4*x6*x7+216068562*x2*x4*x6*x8-192660271*x2*x4*x6*x9-211851197*x2*x4*x7^2-239535716*x2*x4*x7*x8-107827302*x2*x4*x7*x9-52658326*x2*x4*x8^2-51843276*x2*x4*x8*x9+200749399*x2*x4*x9^2-137304321*x2*x5^3+368935351*x2*x5^2*x6+99101342*x2*x5^2*x7+12468584*x2*x5^2*x8+137892526*x2*x5^2*x9-157560535*x2*x5*x6^2-207608424*x2*x5*x6*x7-345471277*x2*x5*x6*x8+59848308*x2*x5*x6*x9+109898933*x2*x5*x7^2-26814048*x2*x5*x7*x8+10290786*x2*x5*x7*x9-40481110*x2*x5*x8^2+152241470*x2*x5*x8*x9-102890583*x2*x5*x9^2-230623785*x2*x6^3+16542948*x2*x6^2*x7+345151616*x2*x6^2*x8-186036869*x2*x6^2*x9+25361287*x2*x6*x7^2+185504720*x2*x6*x7*x8-377897310*x2*x6*x7*x9+18684326*x2*x6*x8^2-162939614*x2*x6*x8*x9+171273425*x2*x6*x9^2-91620660*x2*x7^3+106707596*x2*x7^2*x8-176197086*x2*x7^2*x9-17406776*x2*x7*x8^2-73076884*x2*x7*x8*x9+64210978*x2*x7*x9^2-37475532*x2*x8^3+70259260*x2*x8^2*x9+6948543*x2*x8*x9^2-42171567*x2*x9^3+14314417*x3^4+42397530*x3^3*x4+80484354*x3^3*x5+18824622*x3^3*x6+41986354*x3^3*x7+5711820*x3^3*x8+12788650*x3^3*x9+37914270*x3^2*x4^2+94713108*x3^2*x4*x5-14650023*x3^2*x4*x6-18438492*x3^2*x4*x7-79091740*x3^2*x4*x8+93798871*x3^2*x4*x9+102248372*x3^2*x5^2+145441641*x3^2*x5*x6+154716806*x3^2*x5*x7+69621314*x3^2*x5*x8-42239017*x3^2*x5*x9-21278747*x3^2*x6^2+2303238*x3^2*x6*x7-47351232*x3^2*x6*x8+51626687*x3^2*x6*x9-8298533*x3^2*x7^2+56663640*x3^2*x7*x8+35612678*x3^2*x7*x9+38621796*x3^2*x8^2-36156532*x3^2*x8*x9-30537641*x3^2*x9^2+47484392*x3*x4^3-82747888*x3*x4^2*x5+109637366*x3*x4^2*x6+3438700*x3*x4^2*x7-107248358*x3*x4^2*x8+128098308*x3*x4^2*x9-150360326*x3*x4*x5^2-39270900*x3*x4*x5*x6-269728598*x3*x4*x5*x7-189796494*x3*x4*x5*x8-11668380*x3*x4*x5*x9+125299094*x3*x4*x6^2+134082015*x3*x4*x6*x7-82857112*x3*x4*x6*x8+194633613*x3*x4*x6*x9-74031152*x3*x4*x7^2-32074892*x3*x4*x7*x8+153093347*x3*x4*x7*x9+42939188*x3*x4*x8^2-74046968*x3*x4*x8*x9-29447173*x3*x4*x9^2+85773058*x3*x5^3-74868128*x3*x5^2*x6-81433616*x3*x5^2*x7+127101800*x3*x5^2*x8-112712318*x3*x5^2*x9+204128740*x3*x5*x6^2+271240309*x3*x5*x6*x7-78732710*x3*x5*x6*x8-154626039*x3*x5*x6*x9-25540730*x3*x5*x7^2+219945954*x3*x5*x7*x8-201608251*x3*x5*x7*x9+116424820*x3*x5*x8^2-122906798*x3*x5*x8*x9-102149723*x3*x5*x9^2-3337398*x3*x6^3+29462791*x3*x6^2*x7-11166573*x3*x6^2*x8+167113322*x3*x6^2*x9+24388126*x3*x6*x7^2-2441008*x3*x6*x7*x8+231305689*x3*x6*x7*x9+20194104*x3*x6*x8^2-15466086*x3*x6*x8*x9-36490325*x3*x6*x9^2-32922934*x3*x7^3+80398112*x3*x7^2*x8+53861718*x3*x7^2*x9+69293468*x3*x7*x8^2-18658892*x3*x7*x8*x9-61040376*x3*x7*x9^2+7863972*x3*x8^3+10160268*x3*x8^2*x9-26961107*x3*x8*x9^2-13041015*x3*x9^3+15595352*x4^4-74614988*x4^3*x5+38683798*x4^3*x6-27410706*x4^3*x7-66429694*x4^3*x8+46350346*x4^3*x9+134533662*x4^2*x5^2-99959286*x4^2*x5*x6+107705724*x4^2*x5*x7+253132804*x4^2*x5*x8-223497622*x4^2*x5*x9+14371042*x4^2*x6^2-26797817*x4^2*x6*x7-100778637*x4^2*x6*x8+49152228*x4^2*x6*x9-18850961*x4^2*x7^2+138280196*x4^2*x7*x8-117589581*x4^2*x7*x9+138196047*x4^2*x8^2-223937487*x4^2*x8*x9+64053146*x4^2*x9^2-103980772*x4*x5^3+152697759*x4*x5^2*x6+14555664*x4*x5^2*x7-187410038*x4*x5^2*x8+257294255*x4*x5^2*x9-106827367*x4*x5*x6^2-111984115*x4*x5*x6*x7+113469577*x4*x5*x6*x8-134879902*x4*x5*x6*x9+166057988*x4*x5*x7^2-105168314*x4*x5*x7*x8+54813765*x4*x5*x7*x9-206568682*x4*x5*x8^2+396539945*x4*x5*x8*x9-95906571*x4*x5*x9^2-79240381*x4*x6^3-111371392*x4*x6^2*x7-88389252*x4*x6^2*x8+53055371*x4*x6^2*x9-199140091*x4*x6*x7^2-39285656*x4*x6*x7*x8-50419731*x4*x6*x7*x9+130006232*x4*x6*x8^2-234313742*x4*x6*x8*x9+82709783*x4*x6*x9^2-31940026*x4*x7^3-58679324*x4*x7^2*x8-99827775*x4*x7^2*x9-225785712*x4*x7*x8^2+148771724*x4*x7*x8*x9+97340707*x4*x7*x9^2-111117984*x4*x8^3+204880890*x4*x8^2*x9+2885220*x4*x8*x9^2-80453085*x4*x9^3+45075443*x5^4-165869501*x5^3*x6-73657864*x5^3*x7+25375238*x5^3*x8-78923845*x5^3*x9+248574233*x5^2*x6^2+270071950*x5^2*x6*x7+57814234*x5^2*x6*x8+58298617*x5^2*x6*x9-6295312*x5^2*x7^2+32996804*x5^2*x7*x8+51017374*x5^2*x7*x9+62057816*x5^2*x8^2-141464396*x5^2*x8*x9+59522126*x5^2*x9^2-43299945*x5*x6^3-256950696*x5*x6^2*x7-130831823*x5*x6^2*x8-31364436*x5*x6^2*x9-94129819*x5*x6*x7^2-70367172*x5*x6*x7*x8+34288530*x5*x6*x7*x9-73434384*x5*x6*x8^2+200265237*x5*x6*x8*x9-108270123*x5*x6*x9^2+49609380*x5*x7^3-82627534*x5*x7^2*x8+99288461*x5*x7^2*x9+59391208*x5*x7*x8^2-51998724*x5*x7*x8*x9-32033546*x5*x7*x9^2+60514932*x5*x8^3-150419998*x5*x8^2*x9+36612712*x5*x8*x9^2+80867616*x5*x9^3-30760742*x6^4+108690390*x6^3*x7+68174984*x6^3*x8-41451939*x6^3*x9+92898697*x6^2*x7^2+213643750*x6^2*x7*x8-191147220*x6^2*x7*x9+100788027*x6^2*x8^2-173722128*x6^2*x8*x9+21360071*x6^2*x9^2-42546016*x6*x7^3+224401128*x6*x7^2*x8-193685895*x6*x7^2*x9+20272096*x6*x7*x8^2-139380128*x6*x7*x8*x9+26119934*x6*x7*x9^2-50647308*x6*x8^3+81250022*x6*x8^2*x9+21426555*x6*x8*x9^2-40204497*x6*x9^3-11566079*x7^4-20834792*x7^3*x8-45530536*x7^3*x9+37875332*x7^2*x8^2+3929708*x7^2*x8*x9+46408366*x7^2*x9^2+75943384*x7*x8^3-74249176*x7*x8^2*x9-63004670*x7*x8*x9^2-14678496*x7*x9^3+26123164*x8^4-54606060*x8^3*x9-14729062*x8^2*x9^2+44560293*x8*x9^3+18883971*x9^4+44913735*x1^3-133528769*x1^2*x2+158318294*x1^2*x3-63698659*x1^2*x4+58024761*x1^2*x5-96731742*x1^2*x6+62164801*x1^2*x7-61619132*x1^2*x8-194226603*x1^2*x9+313429499*x1*x2^2-34117966*x1*x2*x3+90092103*x1*x2*x4-202863705*x1*x2*x5+498423117*x1*x2*x6+226292712*x1*x2*x7+274941903*x1*x2*x8+215409470*x1*x2*x9-124121823*x1*x3^2+26676118*x1*x3*x4-73474016*x1*x3*x5-116747734*x1*x3*x6-154354287*x1*x3*x7+65182846*x1*x3*x8+243092675*x1*x3*x9+21990062*x1*x4^2+83682695*x1*x4*x5+44849566*x1*x4*x6+3573196*x1*x4*x7+30990231*x1*x4*x8+31101066*x1*x4*x9+44286774*x1*x5^2-274825296*x1*x5*x6-122465647*x1*x5*x7-152869766*x1*x5*x8-86961173*x1*x5*x9+135496959*x1*x6^2+223105195*x1*x6*x7+318778886*x1*x6*x8+181437953*x1*x6*x9+5302335*x1*x7^2+154297830*x1*x7*x8+149634108*x1*x7*x9+11537572*x1*x8^2-41938015*x1*x8*x9-77926392*x1*x9^2-45497981*x2^3-5160312*x2^2*x3-170390810*x2^2*x4-128844350*x2^2*x5-107320855*x2^2*x6+40878663*x2^2*x7-61404313*x2^2*x8-156431645*x2^2*x9+97942325*x2*x3^2-132452208*x2*x3*x4+128100334*x2*x3*x5-40871598*x2*x3*x6+85247113*x2*x3*x7-54450964*x2*x3*x8-40179247*x2*x3*x9+1681404*x2*x4^2-178832375*x2*x4*x5-84425317*x2*x4*x6-182458678*x2*x4*x7-127149965*x2*x4*x8+101025375*x2*x4*x9+161731304*x2*x5^2-110297757*x2*x5*x6-228135721*x2*x5*x7+62564600*x2*x5*x8+184110320*x2*x5*x9+45234600*x2*x6^2-96021633*x2*x6*x7-281882995*x2*x6*x8-37409782*x2*x6*x9+41097801*x2*x7^2+30611344*x2*x7*x8+10016130*x2*x7*x9+66787770*x2*x8^2-15428520*x2*x8*x9-110515678*x2*x9^2+39233758*x3^3+85594190*x3^2*x4+37476232*x3^2*x5+148276691*x3^2*x6+156193860*x3^2*x7+29513790*x3^2*x8-31602085*x3^2*x9-15433456*x3*x4^2-94881358*x3*x4*x5+25575006*x3*x4*x6-19369222*x3*x4*x7-103656566*x3*x4*x8-14773488*x3*x4*x9-22177808*x3*x5^2+98788772*x3*x5*x6+65414730*x3*x5*x7+103278380*x3*x5*x8-136287198*x3*x5*x9+100873320*x3*x6^2+222065957*x3*x6*x7-42474062*x3*x6*x8-82742899*x3*x6*x9+77867240*x3*x7^2+105089018*x3*x7*x8-97278205*x3*x7*x9+54670900*x3*x8^2-66695990*x3*x8*x9-50286033*x3*x9^2-23000856*x4^3-2525838*x4^2*x5+2900558*x4^2*x6+43194516*x4^2*x7+41699238*x4^2*x8-59691586*x4^2*x9+103985198*x4*x5^2-217325591*x4*x5*x6-196028320*x4*x5*x7-26232170*x4*x5*x8+171824365*x4*x5*x9+74637173*x4*x6^2-47339606*x4*x6*x7-131482007*x4*x6*x8+21793084*x4*x6*x9-45980500*x4*x7^2-162650022*x4*x7*x8+181957488*x4*x7*x9-37126662*x4*x8^2+152844821*x4*x8*x9-97945921*x4*x9^2-37247462*x5^3+77270686*x5^2*x6+130869584*x5^2*x7-3295796*x5^2*x8-96155676*x5^2*x9-80412321*x5*x6^2-83209581*x5*x6*x7+157558490*x5*x6*x8+50536095*x5*x6*x9-87764784*x5*x7^2+12966550*x5*x7*x8-34519793*x5*x7*x9-21467776*x5*x8^2-52198792*x5*x8*x9+122357858*x5*x9^2+118923208*x6^3+78690752*x6^2*x7-153661474*x6^2*x8-43867650*x6^2*x9+24086263*x6*x7^2-33899728*x6*x7*x8+34974939*x6*x7*x9+53452892*x6*x8^2+14805491*x6*x8*x9-120064856*x6*x9^2-17400998*x7^3+98018066*x7^2*x8+65337973*x7^2*x9+112088968*x7*x8^2-143514260*x7*x8*x9-95215211*x7*x9^2+21287024*x8^3-76879354*x8^2*x9+37581323*x8*x9^2+49446306*x9^3-79650305*x1^2-132587821*x1*x2+47327966*x1*x3+7807597*x1*x4+53500782*x1*x5-66503574*x1*x6-27828993*x1*x7-113189020*x1*x8-186830961*x1*x9-64593464*x2^2+133846480*x2*x3+67586517*x2*x4+228331032*x2*x5+3649451*x2*x6-4722167*x2*x7+37584044*x2*x8+38855644*x2*x9-37361998*x3^2-47170378*x3*x4-174700516*x3*x5+58646318*x3*x6+14521192*x3*x7+15701480*x3*x8-51778678*x3*x9-34731254*x4^2+217541686*x4*x5-99427593*x4*x6+28053100*x4*x7+106555872*x4*x8-46609613*x4*x9-140641525*x5^2+161377742*x5*x6+111748440*x5*x7-46136216*x5*x8+22239788*x5*x9-91908777*x6^2-14152073*x6*x7+85002128*x6*x8-11805121*x6*x9+64125395*x7^2-77679246*x7*x8-47000219*x7*x9-65728196*x8^2+54687800*x8*x9+78811402*x9^2-6041741*x1-2240749*x2-70888422*x3+36575442*x4-42750144*x5-19486511*x6-58703374*x7-11723370*x8+31991867*x9+21434917, 110038885*x1^3+342696550*x1^2*x2-295169953*x1^2*x3-334431177*x1^2*x4-297732748*x1^2*x5+52067073*x1^2*x6-55997297*x1^2*x7+248112196*x1^2*x8+224487093*x1^2*x9+59537385*x1*x2^2+121763496*x1*x2*x3+23416610*x1*x2*x4-22855072*x1*x2*x5-51241590*x1*x2*x6+492475148*x1*x2*x7-404063440*x1*x2*x8+248643398*x1*x2*x9+226226279*x1*x3^2+173901118*x1*x3*x4+37394788*x1*x3*x5+332657522*x1*x3*x6+245291599*x1*x3*x7-3270542*x1*x3*x8-320714061*x1*x3*x9+89753511*x1*x4^2-35581523*x1*x4*x5+343637339*x1*x4*x6+331368604*x1*x4*x7-372315668*x1*x4*x8-88795915*x1*x4*x9-124348053*x1*x5^2+362635627*x1*x5*x6-278426391*x1*x5*x7+357940133*x1*x5*x8-115532560*x1*x5*x9+194587475*x1*x6^2+237893343*x1*x6*x7-668126448*x1*x6*x8+172201810*x1*x6*x9+194295927*x1*x7^2-7229252*x1*x7*x8+277141244*x1*x7*x9+13729310*x1*x8^2-8546048*x1*x8*x9-64213624*x1*x9^2+279515972*x2^3-223755753*x2^2*x3-335794950*x2^2*x4-297668874*x2^2*x5+47474058*x2^2*x6+2089278*x2^2*x7+144576135*x2^2*x8+62507655*x2^2*x9-126481892*x2*x3^2+369070160*x2*x3*x4+400156420*x2*x3*x5-175660024*x2*x3*x6-172413184*x2*x3*x7+73349970*x2*x3*x8+344231918*x2*x3*x9+279008560*x2*x4^2-14425496*x2*x4*x5-229490326*x2*x4*x6-699318158*x2*x4*x7-55371640*x2*x4*x8-8246344*x2*x4*x9+362849992*x2*x5^2-431032896*x2*x5*x6+53881760*x2*x5*x7-75812128*x2*x5*x8-338456938*x2*x5*x9-176095542*x2*x6^2+50248992*x2*x6*x7+584154502*x2*x6*x8-263322860*x2*x6*x9-253009132*x2*x7^2+253317252*x2*x7*x8-280556304*x2*x7*x9+95381060*x2*x8^2-238329330*x2*x8*x9+73693846*x2*x9^2-26050124*x3^3-198038429*x3^2*x4+39642305*x3^2*x5-214116697*x3^2*x6-114174580*x3^2*x7-48457116*x3^2*x8+36144918*x3^2*x9-64652564*x3*x4^2-232600638*x3*x4*x5+119102*x3*x4*x6+6524075*x3*x4*x7+43781252*x3*x4*x8+64028371*x3*x4*x9-123388062*x3*x5^2+129516820*x3*x5*x6+236576461*x3*x5*x7-118042908*x3*x5*x8-81854803*x3*x5*x9-169033309*x3*x6^2-250189197*x3*x6*x7+22445538*x3*x6*x8+292938311*x3*x6*x9-13922356*x3*x7^2-81623588*x3*x7*x8+238560602*x3*x7*x9-37967736*x3*x8^2+57091942*x3*x8*x9+9629525*x3*x9^2-31479084*x4^3+163580806*x4^2*x5-111116885*x4^2*x6+62667833*x4^2*x7+175541025*x4^2*x8-175903381*x4^2*x9+15324195*x4*x5^2+113351553*x4*x5*x6+227759457*x4*x5*x7+7343279*x4*x5*x8+19906065*x4*x5*x9-432906982*x4*x6^2-417207559*x4*x6*x7+216068562*x4*x6*x8-192660271*x4*x6*x9-211851197*x4*x7^2-239535716*x4*x7*x8-107827302*x4*x7*x9-52658326*x4*x8^2-51843276*x4*x8*x9+200749399*x4*x9^2-137304321*x5^3+368935351*x5^2*x6+99101342*x5^2*x7+12468584*x5^2*x8+137892526*x5^2*x9-157560535*x5*x6^2-207608424*x5*x6*x7-345471277*x5*x6*x8+59848308*x5*x6*x9+109898933*x5*x7^2-26814048*x5*x7*x8+10290786*x5*x7*x9-40481110*x5*x8^2+152241470*x5*x8*x9-102890583*x5*x9^2-230623785*x6^3+16542948*x6^2*x7+345151616*x6^2*x8-186036869*x6^2*x9+25361287*x6*x7^2+185504720*x6*x7*x8-377897310*x6*x7*x9+18684326*x6*x8^2-162939614*x6*x8*x9+171273425*x6*x9^2-91620660*x7^3+106707596*x7^2*x8-176197086*x7^2*x9-17406776*x7*x8^2-73076884*x7*x8*x9+64210978*x7*x9^2-37475532*x8^3+70259260*x8^2*x9+6948543*x8*x9^2-42171567*x9^3-133528769*x1^2+626858998*x1*x2-34117966*x1*x3+90092103*x1*x4-202863705*x1*x5+498423117*x1*x6+226292712*x1*x7+274941903*x1*x8+215409470*x1*x9-136493943*x2^2-10320624*x2*x3-340781620*x2*x4-257688700*x2*x5-214641710*x2*x6+81757326*x2*x7-122808626*x2*x8-312863290*x2*x9+97942325*x3^2-132452208*x3*x4+128100334*x3*x5-40871598*x3*x6+85247113*x3*x7-54450964*x3*x8-40179247*x3*x9+1681404*x4^2-178832375*x4*x5-84425317*x4*x6-182458678*x4*x7-127149965*x4*x8+101025375*x4*x9+161731304*x5^2-110297757*x5*x6-228135721*x5*x7+62564600*x5*x8+184110320*x5*x9+45234600*x6^2-96021633*x6*x7-281882995*x6*x8-37409782*x6*x9+41097801*x7^2+30611344*x7*x8+10016130*x7*x9+66787770*x8^2-15428520*x8*x9-110515678*x9^2-132587821*x1-129186928*x2+133846480*x3+67586517*x4+228331032*x5+3649451*x6-4722167*x7+37584044*x8+38855644*x9-2240749, -76063440*x1^3-295169953*x1^2*x2+135691346*x1^2*x3+107327304*x1^2*x4+428477370*x1^2*x5-88480542*x1^2*x6+38221169*x1^2*x7-81159885*x1^2*x8+5758406*x1^2*x9+60881748*x1*x2^2+452452558*x1*x2*x3+173901118*x1*x2*x4+37394788*x1*x2*x5+332657522*x1*x2*x6+245291599*x1*x2*x7-3270542*x1*x2*x8-320714061*x1*x2*x9-127220670*x1*x3^2-28026666*x1*x3*x4-554854098*x1*x3*x5+186346380*x1*x3*x6-5973440*x1*x3*x7+128482128*x1*x3*x8+81059558*x1*x3*x9-67822858*x1*x4^2-13311872*x1*x4*x5-38393542*x1*x4*x6+51158339*x1*x4*x7+201124492*x1*x4*x8-72245673*x1*x4*x9-199141852*x1*x5^2-188663278*x1*x5*x6-232360219*x1*x5*x7+88712038*x1*x5*x8+404616375*x1*x5*x9+59353316*x1*x6^2+92796652*x1*x6*x7+101089298*x1*x6*x8-187515756*x1*x6*x9+70386960*x1*x7^2+9918596*x1*x7*x8-31741209*x1*x7*x9-46077160*x1*x8^2+84405822*x1*x8*x9+100670771*x1*x9^2-74585251*x2^3-126481892*x2^2*x3+184535080*x2^2*x4+200078210*x2^2*x5-87830012*x2^2*x6-86206592*x2^2*x7+36674985*x2^2*x8+172115959*x2^2*x9-78150372*x2*x3^2-396076858*x2*x3*x4+79284610*x2*x3*x5-428233394*x2*x3*x6-228349160*x2*x3*x7-96914232*x2*x3*x8+72289836*x2*x3*x9-64652564*x2*x4^2-232600638*x2*x4*x5+119102*x2*x4*x6+6524075*x2*x4*x7+43781252*x2*x4*x8+64028371*x2*x4*x9-123388062*x2*x5^2+129516820*x2*x5*x6+236576461*x2*x5*x7-118042908*x2*x5*x8-81854803*x2*x5*x9-169033309*x2*x6^2-250189197*x2*x6*x7+22445538*x2*x6*x8+292938311*x2*x6*x9-13922356*x2*x7^2-81623588*x2*x7*x8+238560602*x2*x7*x9-37967736*x2*x8^2+57091942*x2*x8*x9+9629525*x2*x9^2+57257668*x3^3+127192590*x3^2*x4+241453062*x3^2*x5+56473866*x3^2*x6+125959062*x3^2*x7+17135460*x3^2*x8+38365950*x3^2*x9+75828540*x3*x4^2+189426216*x3*x4*x5-29300046*x3*x4*x6-36876984*x3*x4*x7-158183480*x3*x4*x8+187597742*x3*x4*x9+204496744*x3*x5^2+290883282*x3*x5*x6+309433612*x3*x5*x7+139242628*x3*x5*x8-84478034*x3*x5*x9-42557494*x3*x6^2+4606476*x3*x6*x7-94702464*x3*x6*x8+103253374*x3*x6*x9-16597066*x3*x7^2+113327280*x3*x7*x8+71225356*x3*x7*x9+77243592*x3*x8^2-72313064*x3*x8*x9-61075282*x3*x9^2+47484392*x4^3-82747888*x4^2*x5+109637366*x4^2*x6+3438700*x4^2*x7-107248358*x4^2*x8+128098308*x4^2*x9-150360326*x4*x5^2-39270900*x4*x5*x6-269728598*x4*x5*x7-189796494*x4*x5*x8-11668380*x4*x5*x9+125299094*x4*x6^2+134082015*x4*x6*x7-82857112*x4*x6*x8+194633613*x4*x6*x9-74031152*x4*x7^2-32074892*x4*x7*x8+153093347*x4*x7*x9+42939188*x4*x8^2-74046968*x4*x8*x9-29447173*x4*x9^2+85773058*x5^3-74868128*x5^2*x6-81433616*x5^2*x7+127101800*x5^2*x8-112712318*x5^2*x9+204128740*x5*x6^2+271240309*x5*x6*x7-78732710*x5*x6*x8-154626039*x5*x6*x9-25540730*x5*x7^2+219945954*x5*x7*x8-201608251*x5*x7*x9+116424820*x5*x8^2-122906798*x5*x8*x9-102149723*x5*x9^2-3337398*x6^3+29462791*x6^2*x7-11166573*x6^2*x8+167113322*x6^2*x9+24388126*x6*x7^2-2441008*x6*x7*x8+231305689*x6*x7*x9+20194104*x6*x8^2-15466086*x6*x8*x9-36490325*x6*x9^2-32922934*x7^3+80398112*x7^2*x8+53861718*x7^2*x9+69293468*x7*x8^2-18658892*x7*x8*x9-61040376*x7*x9^2+7863972*x8^3+10160268*x8^2*x9-26961107*x8*x9^2-13041015*x9^3+158318294*x1^2-34117966*x1*x2-248243646*x1*x3+26676118*x1*x4-73474016*x1*x5-116747734*x1*x6-154354287*x1*x7+65182846*x1*x8+243092675*x1*x9-5160312*x2^2+195884650*x2*x3-132452208*x2*x4+128100334*x2*x5-40871598*x2*x6+85247113*x2*x7-54450964*x2*x8-40179247*x2*x9+117701274*x3^2+171188380*x3*x4+74952464*x3*x5+296553382*x3*x6+312387720*x3*x7+59027580*x3*x8-63204170*x3*x9-15433456*x4^2-94881358*x4*x5+25575006*x4*x6-19369222*x4*x7-103656566*x4*x8-14773488*x4*x9-22177808*x5^2+98788772*x5*x6+65414730*x5*x7+103278380*x5*x8-136287198*x5*x9+100873320*x6^2+222065957*x6*x7-42474062*x6*x8-82742899*x6*x9+77867240*x7^2+105089018*x7*x8-97278205*x7*x9+54670900*x8^2-66695990*x8*x9-50286033*x9^2+47327966*x1+133846480*x2-74723996*x3-47170378*x4-174700516*x5+58646318*x6+14521192*x7+15701480*x8-51778678*x9-70888422, 13889940*x1^3-334431177*x1^2*x2+107327304*x1^2*x3+78934396*x1^2*x4-162201605*x1^2*x5-13390093*x1^2*x6-237661069*x1^2*x7-184131970*x1^2*x8+187680764*x1^2*x9+11708305*x1*x2^2+173901118*x1*x2*x3+179507022*x1*x2*x4-35581523*x1*x2*x5+343637339*x1*x2*x6+331368604*x1*x2*x7-372315668*x1*x2*x8-88795915*x1*x2*x9-14013333*x1*x3^2-135645716*x1*x3*x4-13311872*x1*x3*x5-38393542*x1*x3*x6+51158339*x1*x3*x7+201124492*x1*x3*x8-72245673*x1*x3*x9-32091222*x1*x4^2-124910804*x1*x4*x5+95265344*x1*x4*x6+133995990*x1*x4*x7+113697170*x1*x4*x8+108812132*x1*x4*x9+168146161*x1*x5^2-118849292*x1*x5*x6-38195965*x1*x5*x7+94005051*x1*x5*x8-318415444*x1*x5*x9+173523046*x1*x6^2+200444065*x1*x6*x7-85552578*x1*x6*x8+138810469*x1*x6*x9+164952549*x1*x7^2-78763848*x1*x7*x8-53066590*x1*x7*x9-170169844*x1*x8^2-36516984*x1*x8*x9+142587749*x1*x9^2-111931650*x2^3+184535080*x2^2*x3+279008560*x2^2*x4-7212748*x2^2*x5-114745163*x2^2*x6-349659079*x2^2*x7-27685820*x2^2*x8-4123172*x2^2*x9-198038429*x2*x3^2-129305128*x2*x3*x4-232600638*x2*x3*x5+119102*x2*x3*x6+6524075*x2*x3*x7+43781252*x2*x3*x8+64028371*x2*x3*x9-94437252*x2*x4^2+327161612*x2*x4*x5-222233770*x2*x4*x6+125335666*x2*x4*x7+351082050*x2*x4*x8-351806762*x2*x4*x9+15324195*x2*x5^2+113351553*x2*x5*x6+227759457*x2*x5*x7+7343279*x2*x5*x8+19906065*x2*x5*x9-432906982*x2*x6^2-417207559*x2*x6*x7+216068562*x2*x6*x8-192660271*x2*x6*x9-211851197*x2*x7^2-239535716*x2*x7*x8-107827302*x2*x7*x9-52658326*x2*x8^2-51843276*x2*x8*x9+200749399*x2*x9^2+42397530*x3^3+75828540*x3^2*x4+94713108*x3^2*x5-14650023*x3^2*x6-18438492*x3^2*x7-79091740*x3^2*x8+93798871*x3^2*x9+142453176*x3*x4^2-165495776*x3*x4*x5+219274732*x3*x4*x6+6877400*x3*x4*x7-214496716*x3*x4*x8+256196616*x3*x4*x9-150360326*x3*x5^2-39270900*x3*x5*x6-269728598*x3*x5*x7-189796494*x3*x5*x8-11668380*x3*x5*x9+125299094*x3*x6^2+134082015*x3*x6*x7-82857112*x3*x6*x8+194633613*x3*x6*x9-74031152*x3*x7^2-32074892*x3*x7*x8+153093347*x3*x7*x9+42939188*x3*x8^2-74046968*x3*x8*x9-29447173*x3*x9^2+62381408*x4^3-223844964*x4^2*x5+116051394*x4^2*x6-82232118*x4^2*x7-199289082*x4^2*x8+139051038*x4^2*x9+269067324*x4*x5^2-199918572*x4*x5*x6+215411448*x4*x5*x7+506265608*x4*x5*x8-446995244*x4*x5*x9+28742084*x4*x6^2-53595634*x4*x6*x7-201557274*x4*x6*x8+98304456*x4*x6*x9-37701922*x4*x7^2+276560392*x4*x7*x8-235179162*x4*x7*x9+276392094*x4*x8^2-447874974*x4*x8*x9+128106292*x4*x9^2-103980772*x5^3+152697759*x5^2*x6+14555664*x5^2*x7-187410038*x5^2*x8+257294255*x5^2*x9-106827367*x5*x6^2-111984115*x5*x6*x7+113469577*x5*x6*x8-134879902*x5*x6*x9+166057988*x5*x7^2-105168314*x5*x7*x8+54813765*x5*x7*x9-206568682*x5*x8^2+396539945*x5*x8*x9-95906571*x5*x9^2-79240381*x6^3-111371392*x6^2*x7-88389252*x6^2*x8+53055371*x6^2*x9-199140091*x6*x7^2-39285656*x6*x7*x8-50419731*x6*x7*x9+130006232*x6*x8^2-234313742*x6*x8*x9+82709783*x6*x9^2-31940026*x7^3-58679324*x7^2*x8-99827775*x7^2*x9-225785712*x7*x8^2+148771724*x7*x8*x9+97340707*x7*x9^2-111117984*x8^3+204880890*x8^2*x9+2885220*x8*x9^2-80453085*x9^3-63698659*x1^2+90092103*x1*x2+26676118*x1*x3+43980124*x1*x4+83682695*x1*x5+44849566*x1*x6+3573196*x1*x7+30990231*x1*x8+31101066*x1*x9-170390810*x2^2-132452208*x2*x3+3362808*x2*x4-178832375*x2*x5-84425317*x2*x6-182458678*x2*x7-127149965*x2*x8+101025375*x2*x9+85594190*x3^2-30866912*x3*x4-94881358*x3*x5+25575006*x3*x6-19369222*x3*x7-103656566*x3*x8-14773488*x3*x9-69002568*x4^2-5051676*x4*x5+5801116*x4*x6+86389032*x4*x7+83398476*x4*x8-119383172*x4*x9+103985198*x5^2-217325591*x5*x6-196028320*x5*x7-26232170*x5*x8+171824365*x5*x9+74637173*x6^2-47339606*x6*x7-131482007*x6*x8+21793084*x6*x9-45980500*x7^2-162650022*x7*x8+181957488*x7*x9-37126662*x8^2+152844821*x8*x9-97945921*x9^2+7807597*x1+67586517*x2-47170378*x3-69462508*x4+217541686*x5-99427593*x6+28053100*x7+106555872*x8-46609613*x9+36575442, -170891970*x1^3-297732748*x1^2*x2+428477370*x1^2*x3-162201605*x1^2*x4+553490814*x1^2*x5-256354741*x1^2*x6-28403205*x1^2*x7-168406273*x1^2*x8-419380733*x1^2*x9-11427536*x1*x2^2+37394788*x1*x2*x3-35581523*x1*x2*x4-248696106*x1*x2*x5+362635627*x1*x2*x6-278426391*x1*x2*x7+357940133*x1*x2*x8-115532560*x1*x2*x9-277427049*x1*x3^2-13311872*x1*x3*x4-398283704*x1*x3*x5-188663278*x1*x3*x6-232360219*x1*x3*x7+88712038*x1*x3*x8+404616375*x1*x3*x9-62455402*x1*x4^2+336292322*x1*x4*x5-118849292*x1*x4*x6-38195965*x1*x4*x7+94005051*x1*x4*x8-318415444*x1*x4*x9+62419287*x1*x5^2-519784056*x1*x5*x6+38276444*x1*x5*x7-272744516*x1*x5*x8+396758626*x1*x5*x9+55917072*x1*x6^2-35726035*x1*x6*x7+410782256*x1*x6*x8-153176999*x1*x6*x9-55735457*x1*x7^2-129046498*x1*x7*x8-127175297*x1*x7*x9-16136480*x1*x8^2+49620699*x1*x8*x9-43877537*x1*x9^2-99222958*x2^3+200078210*x2^2*x3-7212748*x2^2*x4+362849992*x2^2*x5-215516448*x2^2*x6+26940880*x2^2*x7-37906064*x2^2*x8-169228469*x2^2*x9+39642305*x2*x3^2-232600638*x2*x3*x4-246776124*x2*x3*x5+129516820*x2*x3*x6+236576461*x2*x3*x7-118042908*x2*x3*x8-81854803*x2*x3*x9+163580806*x2*x4^2+30648390*x2*x4*x5+113351553*x2*x4*x6+227759457*x2*x4*x7+7343279*x2*x4*x8+19906065*x2*x4*x9-411912963*x2*x5^2+737870702*x2*x5*x6+198202684*x2*x5*x7+24937168*x2*x5*x8+275785052*x2*x5*x9-157560535*x2*x6^2-207608424*x2*x6*x7-345471277*x2*x6*x8+59848308*x2*x6*x9+109898933*x2*x7^2-26814048*x2*x7*x8+10290786*x2*x7*x9-40481110*x2*x8^2+152241470*x2*x8*x9-102890583*x2*x9^2+80484354*x3^3+94713108*x3^2*x4+204496744*x3^2*x5+145441641*x3^2*x6+154716806*x3^2*x7+69621314*x3^2*x8-42239017*x3^2*x9-82747888*x3*x4^2-300720652*x3*x4*x5-39270900*x3*x4*x6-269728598*x3*x4*x7-189796494*x3*x4*x8-11668380*x3*x4*x9+257319174*x3*x5^2-149736256*x3*x5*x6-162867232*x3*x5*x7+254203600*x3*x5*x8-225424636*x3*x5*x9+204128740*x3*x6^2+271240309*x3*x6*x7-78732710*x3*x6*x8-154626039*x3*x6*x9-25540730*x3*x7^2+219945954*x3*x7*x8-201608251*x3*x7*x9+116424820*x3*x8^2-122906798*x3*x8*x9-102149723*x3*x9^2-74614988*x4^3+269067324*x4^2*x5-99959286*x4^2*x6+107705724*x4^2*x7+253132804*x4^2*x8-223497622*x4^2*x9-311942316*x4*x5^2+305395518*x4*x5*x6+29111328*x4*x5*x7-374820076*x4*x5*x8+514588510*x4*x5*x9-106827367*x4*x6^2-111984115*x4*x6*x7+113469577*x4*x6*x8-134879902*x4*x6*x9+166057988*x4*x7^2-105168314*x4*x7*x8+54813765*x4*x7*x9-206568682*x4*x8^2+396539945*x4*x8*x9-95906571*x4*x9^2+180301772*x5^3-497608503*x5^2*x6-220973592*x5^2*x7+76125714*x5^2*x8-236771535*x5^2*x9+497148466*x5*x6^2+540143900*x5*x6*x7+115628468*x5*x6*x8+116597234*x5*x6*x9-12590624*x5*x7^2+65993608*x5*x7*x8+102034748*x5*x7*x9+124115632*x5*x8^2-282928792*x5*x8*x9+119044252*x5*x9^2-43299945*x6^3-256950696*x6^2*x7-130831823*x6^2*x8-31364436*x6^2*x9-94129819*x6*x7^2-70367172*x6*x7*x8+34288530*x6*x7*x9-73434384*x6*x8^2+200265237*x6*x8*x9-108270123*x6*x9^2+49609380*x7^3-82627534*x7^2*x8+99288461*x7^2*x9+59391208*x7*x8^2-51998724*x7*x8*x9-32033546*x7*x9^2+60514932*x8^3-150419998*x8^2*x9+36612712*x8*x9^2+80867616*x9^3+58024761*x1^2-202863705*x1*x2-73474016*x1*x3+83682695*x1*x4+88573548*x1*x5-274825296*x1*x6-122465647*x1*x7-152869766*x1*x8-86961173*x1*x9-128844350*x2^2+128100334*x2*x3-178832375*x2*x4+323462608*x2*x5-110297757*x2*x6-228135721*x2*x7+62564600*x2*x8+184110320*x2*x9+37476232*x3^2-94881358*x3*x4-44355616*x3*x5+98788772*x3*x6+65414730*x3*x7+103278380*x3*x8-136287198*x3*x9-2525838*x4^2+207970396*x4*x5-217325591*x4*x6-196028320*x4*x7-26232170*x4*x8+171824365*x4*x9-111742386*x5^2+154541372*x5*x6+261739168*x5*x7-6591592*x5*x8-192311352*x5*x9-80412321*x6^2-83209581*x6*x7+157558490*x6*x8+50536095*x6*x9-87764784*x7^2+12966550*x7*x8-34519793*x7*x9-21467776*x8^2-52198792*x8*x9+122357858*x9^2+53500782*x1+228331032*x2-174700516*x3+217541686*x4-281283050*x5+161377742*x6+111748440*x7-46136216*x8+22239788*x9-42750144, -28435890*x1^3+52067073*x1^2*x2-88480542*x1^2*x3-13390093*x1^2*x4-256354741*x1^2*x5+332030468*x1^2*x6+180693652*x1^2*x7+152924102*x1^2*x8+45879115*x1^2*x9-25620795*x1*x2^2+332657522*x1*x2*x3+343637339*x1*x2*x4+362635627*x1*x2*x5+389174950*x1*x2*x6+237893343*x1*x2*x7-668126448*x1*x2*x8+172201810*x1*x2*x9+93173190*x1*x3^2-38393542*x1*x3*x4-188663278*x1*x3*x5+118706632*x1*x3*x6+92796652*x1*x3*x7+101089298*x1*x3*x8-187515756*x1*x3*x9+47632672*x1*x4^2-118849292*x1*x4*x5+347046092*x1*x4*x6+200444065*x1*x4*x7-85552578*x1*x4*x8+138810469*x1*x4*x9-259892028*x1*x5^2+111834144*x1*x5*x6-35726035*x1*x5*x7+410782256*x1*x5*x8-153176999*x1*x5*x9+262518342*x1*x6^2-54408234*x1*x6*x7-426520718*x1*x6*x8+525963210*x1*x6*x9+28131898*x1*x7^2-107441892*x1*x7*x8+434276569*x1*x7*x9-84188530*x1*x8^2+44130052*x1*x8*x9-21701897*x1*x9^2+15824686*x2^3-87830012*x2^2*x3-114745163*x2^2*x4-215516448*x2^2*x5-176095542*x2^2*x6+25124496*x2^2*x7+292077251*x2^2*x8-131661430*x2^2*x9-214116697*x2*x3^2+119102*x2*x3*x4+129516820*x2*x3*x5-338066618*x2*x3*x6-250189197*x2*x3*x7+22445538*x2*x3*x8+292938311*x2*x3*x9-111116885*x2*x4^2+113351553*x2*x4*x5-865813964*x2*x4*x6-417207559*x2*x4*x7+216068562*x2*x4*x8-192660271*x2*x4*x9+368935351*x2*x5^2-315121070*x2*x5*x6-207608424*x2*x5*x7-345471277*x2*x5*x8+59848308*x2*x5*x9-691871355*x2*x6^2+33085896*x2*x6*x7+690303232*x2*x6*x8-372073738*x2*x6*x9+25361287*x2*x7^2+185504720*x2*x7*x8-377897310*x2*x7*x9+18684326*x2*x8^2-162939614*x2*x8*x9+171273425*x2*x9^2+18824622*x3^3-14650023*x3^2*x4+145441641*x3^2*x5-42557494*x3^2*x6+2303238*x3^2*x7-47351232*x3^2*x8+51626687*x3^2*x9+109637366*x3*x4^2-39270900*x3*x4*x5+250598188*x3*x4*x6+134082015*x3*x4*x7-82857112*x3*x4*x8+194633613*x3*x4*x9-74868128*x3*x5^2+408257480*x3*x5*x6+271240309*x3*x5*x7-78732710*x3*x5*x8-154626039*x3*x5*x9-10012194*x3*x6^2+58925582*x3*x6*x7-22333146*x3*x6*x8+334226644*x3*x6*x9+24388126*x3*x7^2-2441008*x3*x7*x8+231305689*x3*x7*x9+20194104*x3*x8^2-15466086*x3*x8*x9-36490325*x3*x9^2+38683798*x4^3-99959286*x4^2*x5+28742084*x4^2*x6-26797817*x4^2*x7-100778637*x4^2*x8+49152228*x4^2*x9+152697759*x4*x5^2-213654734*x4*x5*x6-111984115*x4*x5*x7+113469577*x4*x5*x8-134879902*x4*x5*x9-237721143*x4*x6^2-222742784*x4*x6*x7-176778504*x4*x6*x8+106110742*x4*x6*x9-199140091*x4*x7^2-39285656*x4*x7*x8-50419731*x4*x7*x9+130006232*x4*x8^2-234313742*x4*x8*x9+82709783*x4*x9^2-165869501*x5^3+497148466*x5^2*x6+270071950*x5^2*x7+57814234*x5^2*x8+58298617*x5^2*x9-129899835*x5*x6^2-513901392*x5*x6*x7-261663646*x5*x6*x8-62728872*x5*x6*x9-94129819*x5*x7^2-70367172*x5*x7*x8+34288530*x5*x7*x9-73434384*x5*x8^2+200265237*x5*x8*x9-108270123*x5*x9^2-123042968*x6^3+326071170*x6^2*x7+204524952*x6^2*x8-124355817*x6^2*x9+185797394*x6*x7^2+427287500*x6*x7*x8-382294440*x6*x7*x9+201576054*x6*x8^2-347444256*x6*x8*x9+42720142*x6*x9^2-42546016*x7^3+224401128*x7^2*x8-193685895*x7^2*x9+20272096*x7*x8^2-139380128*x7*x8*x9+26119934*x7*x9^2-50647308*x8^3+81250022*x8^2*x9+21426555*x8*x9^2-40204497*x9^3-96731742*x1^2+498423117*x1*x2-116747734*x1*x3+44849566*x1*x4-274825296*x1*x5+270993918*x1*x6+223105195*x1*x7+318778886*x1*x8+181437953*x1*x9-107320855*x2^2-40871598*x2*x3-84425317*x2*x4-110297757*x2*x5+90469200*x2*x6-96021633*x2*x7-281882995*x2*x8-37409782*x2*x9+148276691*x3^2+25575006*x3*x4+98788772*x3*x5+201746640*x3*x6+222065957*x3*x7-42474062*x3*x8-82742899*x3*x9+2900558*x4^2-217325591*x4*x5+149274346*x4*x6-47339606*x4*x7-131482007*x4*x8+21793084*x4*x9+77270686*x5^2-160824642*x5*x6-83209581*x5*x7+157558490*x5*x8+50536095*x5*x9+356769624*x6^2+157381504*x6*x7-307322948*x6*x8-87735300*x6*x9+24086263*x7^2-33899728*x7*x8+34974939*x7*x9+53452892*x8^2+14805491*x8*x9-120064856*x9^2-66503574*x1+3649451*x2+58646318*x3-99427593*x4+161377742*x5-183817554*x6-14152073*x7+85002128*x8-11805121*x9-19486511, -6256085*x1^3-55997297*x1^2*x2+38221169*x1^2*x3-237661069*x1^2*x4-28403205*x1^2*x5+180693652*x1^2*x6-207106884*x1^2*x7+228687530*x1^2*x8-56476571*x1^2*x9+246237574*x1*x2^2+245291599*x1*x2*x3+331368604*x1*x2*x4-278426391*x1*x2*x5+237893343*x1*x2*x6+388591854*x1*x2*x7-7229252*x1*x2*x8+277141244*x1*x2*x9-2986720*x1*x3^2+51158339*x1*x3*x4-232360219*x1*x3*x5+92796652*x1*x3*x6+140773920*x1*x3*x7+9918596*x1*x3*x8-31741209*x1*x3*x9+66997995*x1*x4^2-38195965*x1*x4*x5+200444065*x1*x4*x6+329905098*x1*x4*x7-78763848*x1*x4*x8-53066590*x1*x4*x9+19138222*x1*x5^2-35726035*x1*x5*x6-111470914*x1*x5*x7-129046498*x1*x5*x8-127175297*x1*x5*x9-27204117*x1*x6^2+56263796*x1*x6*x7-107441892*x1*x6*x8+434276569*x1*x6*x9+186558150*x1*x7^2-161827720*x1*x7*x8+133841810*x1*x7*x9+111760180*x1*x8^2+222915972*x1*x8*x9-31118292*x1*x9^2+696426*x2^3-86206592*x2^2*x3-349659079*x2^2*x4+26940880*x2^2*x5+25124496*x2^2*x6-253009132*x2^2*x7+126658626*x2^2*x8-140278152*x2^2*x9-114174580*x2*x3^2+6524075*x2*x3*x4+236576461*x2*x3*x5-250189197*x2*x3*x6-27844712*x2*x3*x7-81623588*x2*x3*x8+238560602*x2*x3*x9+62667833*x2*x4^2+227759457*x2*x4*x5-417207559*x2*x4*x6-423702394*x2*x4*x7-239535716*x2*x4*x8-107827302*x2*x4*x9+99101342*x2*x5^2-207608424*x2*x5*x6+219797866*x2*x5*x7-26814048*x2*x5*x8+10290786*x2*x5*x9+16542948*x2*x6^2+50722574*x2*x6*x7+185504720*x2*x6*x8-377897310*x2*x6*x9-274861980*x2*x7^2+213415192*x2*x7*x8-352394172*x2*x7*x9-17406776*x2*x8^2-73076884*x2*x8*x9+64210978*x2*x9^2+41986354*x3^3-18438492*x3^2*x4+154716806*x3^2*x5+2303238*x3^2*x6-16597066*x3^2*x7+56663640*x3^2*x8+35612678*x3^2*x9+3438700*x3*x4^2-269728598*x3*x4*x5+134082015*x3*x4*x6-148062304*x3*x4*x7-32074892*x3*x4*x8+153093347*x3*x4*x9-81433616*x3*x5^2+271240309*x3*x5*x6-51081460*x3*x5*x7+219945954*x3*x5*x8-201608251*x3*x5*x9+29462791*x3*x6^2+48776252*x3*x6*x7-2441008*x3*x6*x8+231305689*x3*x6*x9-98768802*x3*x7^2+160796224*x3*x7*x8+107723436*x3*x7*x9+69293468*x3*x8^2-18658892*x3*x8*x9-61040376*x3*x9^2-27410706*x4^3+107705724*x4^2*x5-26797817*x4^2*x6-37701922*x4^2*x7+138280196*x4^2*x8-117589581*x4^2*x9+14555664*x4*x5^2-111984115*x4*x5*x6+332115976*x4*x5*x7-105168314*x4*x5*x8+54813765*x4*x5*x9-111371392*x4*x6^2-398280182*x4*x6*x7-39285656*x4*x6*x8-50419731*x4*x6*x9-95820078*x4*x7^2-117358648*x4*x7*x8-199655550*x4*x7*x9-225785712*x4*x8^2+148771724*x4*x8*x9+97340707*x4*x9^2-73657864*x5^3+270071950*x5^2*x6-12590624*x5^2*x7+32996804*x5^2*x8+51017374*x5^2*x9-256950696*x5*x6^2-188259638*x5*x6*x7-70367172*x5*x6*x8+34288530*x5*x6*x9+148828140*x5*x7^2-165255068*x5*x7*x8+198576922*x5*x7*x9+59391208*x5*x8^2-51998724*x5*x8*x9-32033546*x5*x9^2+108690390*x6^3+185797394*x6^2*x7+213643750*x6^2*x8-191147220*x6^2*x9-127638048*x6*x7^2+448802256*x6*x7*x8-387371790*x6*x7*x9+20272096*x6*x8^2-139380128*x6*x8*x9+26119934*x6*x9^2-46264316*x7^3-62504376*x7^2*x8-136591608*x7^2*x9+75750664*x7*x8^2+7859416*x7*x8*x9+92816732*x7*x9^2+75943384*x8^3-74249176*x8^2*x9-63004670*x8*x9^2-14678496*x9^3+62164801*x1^2+226292712*x1*x2-154354287*x1*x3+3573196*x1*x4-122465647*x1*x5+223105195*x1*x6+10604670*x1*x7+154297830*x1*x8+149634108*x1*x9+40878663*x2^2+85247113*x2*x3-182458678*x2*x4-228135721*x2*x5-96021633*x2*x6+82195602*x2*x7+30611344*x2*x8+10016130*x2*x9+156193860*x3^2-19369222*x3*x4+65414730*x3*x5+222065957*x3*x6+155734480*x3*x7+105089018*x3*x8-97278205*x3*x9+43194516*x4^2-196028320*x4*x5-47339606*x4*x6-91961000*x4*x7-162650022*x4*x8+181957488*x4*x9+130869584*x5^2-83209581*x5*x6-175529568*x5*x7+12966550*x5*x8-34519793*x5*x9+78690752*x6^2+48172526*x6*x7-33899728*x6*x8+34974939*x6*x9-52202994*x7^2+196036132*x7*x8+130675946*x7*x9+112088968*x8^2-143514260*x8*x9-95215211*x9^2-27828993*x1-4722167*x2+14521192*x3+28053100*x4+111748440*x5-14152073*x6+128250790*x7-77679246*x8-47000219*x9-58703374, 111159465*x1^3+248112196*x1^2*x2-81159885*x1^2*x3-184131970*x1^2*x4-168406273*x1^2*x5+152924102*x1^2*x6+228687530*x1^2*x7+356564086*x1^2*x8+18241936*x1^2*x9-202031720*x1*x2^2-3270542*x1*x2*x3-372315668*x1*x2*x4+357940133*x1*x2*x5-668126448*x1*x2*x6-7229252*x1*x2*x7+27458620*x1*x2*x8-8546048*x1*x2*x9+64241064*x1*x3^2+201124492*x1*x3*x4+88712038*x1*x3*x5+101089298*x1*x3*x6+9918596*x1*x3*x7-92154320*x1*x3*x8+84405822*x1*x3*x9+56848585*x1*x4^2+94005051*x1*x4*x5-85552578*x1*x4*x6-78763848*x1*x4*x7-340339688*x1*x4*x8-36516984*x1*x4*x9-136372258*x1*x5^2+410782256*x1*x5*x6-129046498*x1*x5*x7-32272960*x1*x5*x8+49620699*x1*x5*x9-213260359*x1*x6^2-107441892*x1*x6*x7-168377060*x1*x6*x8+44130052*x1*x6*x9-80913860*x1*x7^2+223520360*x1*x7*x8+222915972*x1*x7*x9+254410560*x1*x8^2+27151772*x1*x8*x9-182430056*x1*x9^2+48192045*x2^3+36674985*x2^2*x3-27685820*x2^2*x4-37906064*x2^2*x5+292077251*x2^2*x6+126658626*x2^2*x7+95381060*x2^2*x8-119164665*x2^2*x9-48457116*x2*x3^2+43781252*x2*x3*x4-118042908*x2*x3*x5+22445538*x2*x3*x6-81623588*x2*x3*x7-75935472*x2*x3*x8+57091942*x2*x3*x9+175541025*x2*x4^2+7343279*x2*x4*x5+216068562*x2*x4*x6-239535716*x2*x4*x7-105316652*x2*x4*x8-51843276*x2*x4*x9+12468584*x2*x5^2-345471277*x2*x5*x6-26814048*x2*x5*x7-80962220*x2*x5*x8+152241470*x2*x5*x9+345151616*x2*x6^2+185504720*x2*x6*x7+37368652*x2*x6*x8-162939614*x2*x6*x9+106707596*x2*x7^2-34813552*x2*x7*x8-73076884*x2*x7*x9-112426596*x2*x8^2+140518520*x2*x8*x9+6948543*x2*x9^2+5711820*x3^3-79091740*x3^2*x4+69621314*x3^2*x5-47351232*x3^2*x6+56663640*x3^2*x7+77243592*x3^2*x8-36156532*x3^2*x9-107248358*x3*x4^2-189796494*x3*x4*x5-82857112*x3*x4*x6-32074892*x3*x4*x7+85878376*x3*x4*x8-74046968*x3*x4*x9+127101800*x3*x5^2-78732710*x3*x5*x6+219945954*x3*x5*x7+232849640*x3*x5*x8-122906798*x3*x5*x9-11166573*x3*x6^2-2441008*x3*x6*x7+40388208*x3*x6*x8-15466086*x3*x6*x9+80398112*x3*x7^2+138586936*x3*x7*x8-18658892*x3*x7*x9+23591916*x3*x8^2+20320536*x3*x8*x9-26961107*x3*x9^2-66429694*x4^3+253132804*x4^2*x5-100778637*x4^2*x6+138280196*x4^2*x7+276392094*x4^2*x8-223937487*x4^2*x9-187410038*x4*x5^2+113469577*x4*x5*x6-105168314*x4*x5*x7-413137364*x4*x5*x8+396539945*x4*x5*x9-88389252*x4*x6^2-39285656*x4*x6*x7+260012464*x4*x6*x8-234313742*x4*x6*x9-58679324*x4*x7^2-451571424*x4*x7*x8+148771724*x4*x7*x9-333353952*x4*x8^2+409761780*x4*x8*x9+2885220*x4*x9^2+25375238*x5^3+57814234*x5^2*x6+32996804*x5^2*x7+124115632*x5^2*x8-141464396*x5^2*x9-130831823*x5*x6^2-70367172*x5*x6*x7-146868768*x5*x6*x8+200265237*x5*x6*x9-82627534*x5*x7^2+118782416*x5*x7*x8-51998724*x5*x7*x9+181544796*x5*x8^2-300839996*x5*x8*x9+36612712*x5*x9^2+68174984*x6^3+213643750*x6^2*x7+201576054*x6^2*x8-173722128*x6^2*x9+224401128*x6*x7^2+40544192*x6*x7*x8-139380128*x6*x7*x9-151941924*x6*x8^2+162500044*x6*x8*x9+21426555*x6*x9^2-20834792*x7^3+75750664*x7^2*x8+3929708*x7^2*x9+227830152*x7*x8^2-148498352*x7*x8*x9-63004670*x7*x9^2+104492656*x8^3-163818180*x8^2*x9-29458124*x8*x9^2+44560293*x9^3-61619132*x1^2+274941903*x1*x2+65182846*x1*x3+30990231*x1*x4-152869766*x1*x5+318778886*x1*x6+154297830*x1*x7+23075144*x1*x8-41938015*x1*x9-61404313*x2^2-54450964*x2*x3-127149965*x2*x4+62564600*x2*x5-281882995*x2*x6+30611344*x2*x7+133575540*x2*x8-15428520*x2*x9+29513790*x3^2-103656566*x3*x4+103278380*x3*x5-42474062*x3*x6+105089018*x3*x7+109341800*x3*x8-66695990*x3*x9+41699238*x4^2-26232170*x4*x5-131482007*x4*x6-162650022*x4*x7-74253324*x4*x8+152844821*x4*x9-3295796*x5^2+157558490*x5*x6+12966550*x5*x7-42935552*x5*x8-52198792*x5*x9-153661474*x6^2-33899728*x6*x7+106905784*x6*x8+14805491*x6*x9+98018066*x7^2+224177936*x7*x8-143514260*x7*x9+63861072*x8^2-153758708*x8*x9+37581323*x9^2-113189020*x1+37584044*x2+15701480*x3+106555872*x4-46136216*x5+85002128*x6-77679246*x7-131456392*x8+54687800*x9-11723370, 193412675*x1^3+224487093*x1^2*x2+5758406*x1^2*x3+187680764*x1^2*x4-419380733*x1^2*x5+45879115*x1^2*x6-56476571*x1^2*x7+18241936*x1^2*x8+48479822*x1^2*x9+124321699*x1*x2^2-320714061*x1*x2*x3-88795915*x1*x2*x4-115532560*x1*x2*x5+172201810*x1*x2*x6+277141244*x1*x2*x7-8546048*x1*x2*x8-128427248*x1*x2*x9+40529779*x1*x3^2-72245673*x1*x3*x4+404616375*x1*x3*x5-187515756*x1*x3*x6-31741209*x1*x3*x7+84405822*x1*x3*x8+201341542*x1*x3*x9+54406066*x1*x4^2-318415444*x1*x4*x5+138810469*x1*x4*x6-53066590*x1*x4*x7-36516984*x1*x4*x8+285175498*x1*x4*x9+198379313*x1*x5^2-153176999*x1*x5*x6-127175297*x1*x5*x7+49620699*x1*x5*x8-87755074*x1*x5*x9+262981605*x1*x6^2+434276569*x1*x6*x7+44130052*x1*x6*x8-43403794*x1*x6*x9+66920905*x1*x7^2+222915972*x1*x7*x8-62236584*x1*x7*x9+13575886*x1*x8^2-364860112*x1*x8*x9-224717454*x1*x9^2+20835885*x2^3+172115959*x2^2*x3-4123172*x2^2*x4-169228469*x2^2*x5-131661430*x2^2*x6-140278152*x2^2*x7-119164665*x2^2*x8+73693846*x2^2*x9+36144918*x2*x3^2+64028371*x2*x3*x4-81854803*x2*x3*x5+292938311*x2*x3*x6+238560602*x2*x3*x7+57091942*x2*x3*x8+19259050*x2*x3*x9-175903381*x2*x4^2+19906065*x2*x4*x5-192660271*x2*x4*x6-107827302*x2*x4*x7-51843276*x2*x4*x8+401498798*x2*x4*x9+137892526*x2*x5^2+59848308*x2*x5*x6+10290786*x2*x5*x7+152241470*x2*x5*x8-205781166*x2*x5*x9-186036869*x2*x6^2-377897310*x2*x6*x7-162939614*x2*x6*x8+342546850*x2*x6*x9-176197086*x2*x7^2-73076884*x2*x7*x8+128421956*x2*x7*x9+70259260*x2*x8^2+13897086*x2*x8*x9-126514701*x2*x9^2+12788650*x3^3+93798871*x3^2*x4-42239017*x3^2*x5+51626687*x3^2*x6+35612678*x3^2*x7-36156532*x3^2*x8-61075282*x3^2*x9+128098308*x3*x4^2-11668380*x3*x4*x5+194633613*x3*x4*x6+153093347*x3*x4*x7-74046968*x3*x4*x8-58894346*x3*x4*x9-112712318*x3*x5^2-154626039*x3*x5*x6-201608251*x3*x5*x7-122906798*x3*x5*x8-204299446*x3*x5*x9+167113322*x3*x6^2+231305689*x3*x6*x7-15466086*x3*x6*x8-72980650*x3*x6*x9+53861718*x3*x7^2-18658892*x3*x7*x8-122080752*x3*x7*x9+10160268*x3*x8^2-53922214*x3*x8*x9-39123045*x3*x9^2+46350346*x4^3-223497622*x4^2*x5+49152228*x4^2*x6-117589581*x4^2*x7-223937487*x4^2*x8+128106292*x4^2*x9+257294255*x4*x5^2-134879902*x4*x5*x6+54813765*x4*x5*x7+396539945*x4*x5*x8-191813142*x4*x5*x9+53055371*x4*x6^2-50419731*x4*x6*x7-234313742*x4*x6*x8+165419566*x4*x6*x9-99827775*x4*x7^2+148771724*x4*x7*x8+194681414*x4*x7*x9+204880890*x4*x8^2+5770440*x4*x8*x9-241359255*x4*x9^2-78923845*x5^3+58298617*x5^2*x6+51017374*x5^2*x7-141464396*x5^2*x8+119044252*x5^2*x9-31364436*x5*x6^2+34288530*x5*x6*x7+200265237*x5*x6*x8-216540246*x5*x6*x9+99288461*x5*x7^2-51998724*x5*x7*x8-64067092*x5*x7*x9-150419998*x5*x8^2+73225424*x5*x8*x9+242602848*x5*x9^2-41451939*x6^3-191147220*x6^2*x7-173722128*x6^2*x8+42720142*x6^2*x9-193685895*x6*x7^2-139380128*x6*x7*x8+52239868*x6*x7*x9+81250022*x6*x8^2+42853110*x6*x8*x9-120613491*x6*x9^2-45530536*x7^3+3929708*x7^2*x8+92816732*x7^2*x9-74249176*x7*x8^2-126009340*x7*x8*x9-44035488*x7*x9^2-54606060*x8^3-29458124*x8^2*x9+133680879*x8*x9^2+75535884*x9^3-194226603*x1^2+215409470*x1*x2+243092675*x1*x3+31101066*x1*x4-86961173*x1*x5+181437953*x1*x6+149634108*x1*x7-41938015*x1*x8-155852784*x1*x9-156431645*x2^2-40179247*x2*x3+101025375*x2*x4+184110320*x2*x5-37409782*x2*x6+10016130*x2*x7-15428520*x2*x8-221031356*x2*x9-31602085*x3^2-14773488*x3*x4-136287198*x3*x5-82742899*x3*x6-97278205*x3*x7-66695990*x3*x8-100572066*x3*x9-59691586*x4^2+171824365*x4*x5+21793084*x4*x6+181957488*x4*x7+152844821*x4*x8-195891842*x4*x9-96155676*x5^2+50536095*x5*x6-34519793*x5*x7-52198792*x5*x8+244715716*x5*x9-43867650*x6^2+34974939*x6*x7+14805491*x6*x8-240129712*x6*x9+65337973*x7^2-143514260*x7*x8-190430422*x7*x9-76879354*x8^2+75162646*x8*x9+148338918*x9^2-186830961*x1+38855644*x2-51778678*x3-46609613*x4+22239788*x5-11805121*x6-47000219*x7+54687800*x8+157622804*x9+31991867];
@time gb = SignatureGB.f5([118998100*x1^4+110038885*x1^3*x2-76063440*x1^3*x3+13889940*x1^3*x4-170891970*x1^3*x5-28435890*x1^3*x6-6256085*x1^3*x7+111159465*x1^3*x8+193412675*x1^3*x9+171348275*x1^2*x2^2-295169953*x1^2*x2*x3-334431177*x1^2*x2*x4-297732748*x1^2*x2*x5+52067073*x1^2*x2*x6-55997297*x1^2*x2*x7+248112196*x1^2*x2*x8+224487093*x1^2*x2*x9+67845673*x1^2*x3^2+107327304*x1^2*x3*x4+428477370*x1^2*x3*x5-88480542*x1^2*x3*x6+38221169*x1^2*x3*x7-81159885*x1^2*x3*x8+5758406*x1^2*x3*x9+39467198*x1^2*x4^2-162201605*x1^2*x4*x5-13390093*x1^2*x4*x6-237661069*x1^2*x4*x7-184131970*x1^2*x4*x8+187680764*x1^2*x4*x9+276745407*x1^2*x5^2-256354741*x1^2*x5*x6-28403205*x1^2*x5*x7-168406273*x1^2*x5*x8-419380733*x1^2*x5*x9+166015234*x1^2*x6^2+180693652*x1^2*x6*x7+152924102*x1^2*x6*x8+45879115*x1^2*x6*x9-103553442*x1^2*x7^2+228687530*x1^2*x7*x8-56476571*x1^2*x7*x9+178282043*x1^2*x8^2+18241936*x1^2*x8*x9+24239911*x1^2*x9^2+19845795*x1*x2^3+60881748*x1*x2^2*x3+11708305*x1*x2^2*x4-11427536*x1*x2^2*x5-25620795*x1*x2^2*x6+246237574*x1*x2^2*x7-202031720*x1*x2^2*x8+124321699*x1*x2^2*x9+226226279*x1*x2*x3^2+173901118*x1*x2*x3*x4+37394788*x1*x2*x3*x5+332657522*x1*x2*x3*x6+245291599*x1*x2*x3*x7-3270542*x1*x2*x3*x8-320714061*x1*x2*x3*x9+89753511*x1*x2*x4^2-35581523*x1*x2*x4*x5+343637339*x1*x2*x4*x6+331368604*x1*x2*x4*x7-372315668*x1*x2*x4*x8-88795915*x1*x2*x4*x9-124348053*x1*x2*x5^2+362635627*x1*x2*x5*x6-278426391*x1*x2*x5*x7+357940133*x1*x2*x5*x8-115532560*x1*x2*x5*x9+194587475*x1*x2*x6^2+237893343*x1*x2*x6*x7-668126448*x1*x2*x6*x8+172201810*x1*x2*x6*x9+194295927*x1*x2*x7^2-7229252*x1*x2*x7*x8+277141244*x1*x2*x7*x9+13729310*x1*x2*x8^2-8546048*x1*x2*x8*x9-64213624*x1*x2*x9^2-42406890*x1*x3^3-14013333*x1*x3^2*x4-277427049*x1*x3^2*x5+93173190*x1*x3^2*x6-2986720*x1*x3^2*x7+64241064*x1*x3^2*x8+40529779*x1*x3^2*x9-67822858*x1*x3*x4^2-13311872*x1*x3*x4*x5-38393542*x1*x3*x4*x6+51158339*x1*x3*x4*x7+201124492*x1*x3*x4*x8-72245673*x1*x3*x4*x9-199141852*x1*x3*x5^2-188663278*x1*x3*x5*x6-232360219*x1*x3*x5*x7+88712038*x1*x3*x5*x8+404616375*x1*x3*x5*x9+59353316*x1*x3*x6^2+92796652*x1*x3*x6*x7+101089298*x1*x3*x6*x8-187515756*x1*x3*x6*x9+70386960*x1*x3*x7^2+9918596*x1*x3*x7*x8-31741209*x1*x3*x7*x9-46077160*x1*x3*x8^2+84405822*x1*x3*x8*x9+100670771*x1*x3*x9^2-10697074*x1*x4^3-62455402*x1*x4^2*x5+47632672*x1*x4^2*x6+66997995*x1*x4^2*x7+56848585*x1*x4^2*x8+54406066*x1*x4^2*x9+168146161*x1*x4*x5^2-118849292*x1*x4*x5*x6-38195965*x1*x4*x5*x7+94005051*x1*x4*x5*x8-318415444*x1*x4*x5*x9+173523046*x1*x4*x6^2+200444065*x1*x4*x6*x7-85552578*x1*x4*x6*x8+138810469*x1*x4*x6*x9+164952549*x1*x4*x7^2-78763848*x1*x4*x7*x8-53066590*x1*x4*x7*x9-170169844*x1*x4*x8^2-36516984*x1*x4*x8*x9+142587749*x1*x4*x9^2+20806429*x1*x5^3-259892028*x1*x5^2*x6+19138222*x1*x5^2*x7-136372258*x1*x5^2*x8+198379313*x1*x5^2*x9+55917072*x1*x5*x6^2-35726035*x1*x5*x6*x7+410782256*x1*x5*x6*x8-153176999*x1*x5*x6*x9-55735457*x1*x5*x7^2-129046498*x1*x5*x7*x8-127175297*x1*x5*x7*x9-16136480*x1*x5*x8^2+49620699*x1*x5*x8*x9-43877537*x1*x5*x9^2+87506114*x1*x6^3-27204117*x1*x6^2*x7-213260359*x1*x6^2*x8+262981605*x1*x6^2*x9+28131898*x1*x6*x7^2-107441892*x1*x6*x7*x8+434276569*x1*x6*x7*x9-84188530*x1*x6*x8^2+44130052*x1*x6*x8*x9-21701897*x1*x6*x9^2+62186050*x1*x7^3-80913860*x1*x7^2*x8+66920905*x1*x7^2*x9+111760180*x1*x7*x8^2+222915972*x1*x7*x8*x9-31118292*x1*x7*x9^2+84803520*x1*x8^3+13575886*x1*x8^2*x9-182430056*x1*x8*x9^2-74905818*x1*x9^3+69878993*x2^4-74585251*x2^3*x3-111931650*x2^3*x4-99222958*x2^3*x5+15824686*x2^3*x6+696426*x2^3*x7+48192045*x2^3*x8+20835885*x2^3*x9-63240946*x2^2*x3^2+184535080*x2^2*x3*x4+200078210*x2^2*x3*x5-87830012*x2^2*x3*x6-86206592*x2^2*x3*x7+36674985*x2^2*x3*x8+172115959*x2^2*x3*x9+139504280*x2^2*x4^2-7212748*x2^2*x4*x5-114745163*x2^2*x4*x6-349659079*x2^2*x4*x7-27685820*x2^2*x4*x8-4123172*x2^2*x4*x9+181424996*x2^2*x5^2-215516448*x2^2*x5*x6+26940880*x2^2*x5*x7-37906064*x2^2*x5*x8-169228469*x2^2*x5*x9-88047771*x2^2*x6^2+25124496*x2^2*x6*x7+292077251*x2^2*x6*x8-131661430*x2^2*x6*x9-126504566*x2^2*x7^2+126658626*x2^2*x7*x8-140278152*x2^2*x7*x9+47690530*x2^2*x8^2-119164665*x2^2*x8*x9+36846923*x2^2*x9^2-26050124*x2*x3^3-198038429*x2*x3^2*x4+39642305*x2*x3^2*x5-214116697*x2*x3^2*x6-114174580*x2*x3^2*x7-48457116*x2*x3^2*x8+36144918*x2*x3^2*x9-64652564*x2*x3*x4^2-232600638*x2*x3*x4*x5+119102*x2*x3*x4*x6+6524075*x2*x3*x4*x7+43781252*x2*x3*x4*x8+64028371*x2*x3*x4*x9-123388062*x2*x3*x5^2+129516820*x2*x3*x5*x6+236576461*x2*x3*x5*x7-118042908*x2*x3*x5*x8-81854803*x2*x3*x5*x9-169033309*x2*x3*x6^2-250189197*x2*x3*x6*x7+22445538*x2*x3*x6*x8+292938311*x2*x3*x6*x9-13922356*x2*x3*x7^2-81623588*x2*x3*x7*x8+238560602*x2*x3*x7*x9-37967736*x2*x3*x8^2+57091942*x2*x3*x8*x9+9629525*x2*x3*x9^2-31479084*x2*x4^3+163580806*x2*x4^2*x5-111116885*x2*x4^2*x6+62667833*x2*x4^2*x7+175541025*x2*x4^2*x8-175903381*x2*x4^2*x9+15324195*x2*x4*x5^2+113351553*x2*x4*x5*x6+227759457*x2*x4*x5*x7+7343279*x2*x4*x5*x8+19906065*x2*x4*x5*x9-432906982*x2*x4*x6^2-417207559*x2*x4*x6*x7+216068562*x2*x4*x6*x8-192660271*x2*x4*x6*x9-211851197*x2*x4*x7^2-239535716*x2*x4*x7*x8-107827302*x2*x4*x7*x9-52658326*x2*x4*x8^2-51843276*x2*x4*x8*x9+200749399*x2*x4*x9^2-137304321*x2*x5^3+368935351*x2*x5^2*x6+99101342*x2*x5^2*x7+12468584*x2*x5^2*x8+137892526*x2*x5^2*x9-157560535*x2*x5*x6^2-207608424*x2*x5*x6*x7-345471277*x2*x5*x6*x8+59848308*x2*x5*x6*x9+109898933*x2*x5*x7^2-26814048*x2*x5*x7*x8+10290786*x2*x5*x7*x9-40481110*x2*x5*x8^2+152241470*x2*x5*x8*x9-102890583*x2*x5*x9^2-230623785*x2*x6^3+16542948*x2*x6^2*x7+345151616*x2*x6^2*x8-186036869*x2*x6^2*x9+25361287*x2*x6*x7^2+185504720*x2*x6*x7*x8-377897310*x2*x6*x7*x9+18684326*x2*x6*x8^2-162939614*x2*x6*x8*x9+171273425*x2*x6*x9^2-91620660*x2*x7^3+106707596*x2*x7^2*x8-176197086*x2*x7^2*x9-17406776*x2*x7*x8^2-73076884*x2*x7*x8*x9+64210978*x2*x7*x9^2-37475532*x2*x8^3+70259260*x2*x8^2*x9+6948543*x2*x8*x9^2-42171567*x2*x9^3+14314417*x3^4+42397530*x3^3*x4+80484354*x3^3*x5+18824622*x3^3*x6+41986354*x3^3*x7+5711820*x3^3*x8+12788650*x3^3*x9+37914270*x3^2*x4^2+94713108*x3^2*x4*x5-14650023*x3^2*x4*x6-18438492*x3^2*x4*x7-79091740*x3^2*x4*x8+93798871*x3^2*x4*x9+102248372*x3^2*x5^2+145441641*x3^2*x5*x6+154716806*x3^2*x5*x7+69621314*x3^2*x5*x8-42239017*x3^2*x5*x9-21278747*x3^2*x6^2+2303238*x3^2*x6*x7-47351232*x3^2*x6*x8+51626687*x3^2*x6*x9-8298533*x3^2*x7^2+56663640*x3^2*x7*x8+35612678*x3^2*x7*x9+38621796*x3^2*x8^2-36156532*x3^2*x8*x9-30537641*x3^2*x9^2+47484392*x3*x4^3-82747888*x3*x4^2*x5+109637366*x3*x4^2*x6+3438700*x3*x4^2*x7-107248358*x3*x4^2*x8+128098308*x3*x4^2*x9-150360326*x3*x4*x5^2-39270900*x3*x4*x5*x6-269728598*x3*x4*x5*x7-189796494*x3*x4*x5*x8-11668380*x3*x4*x5*x9+125299094*x3*x4*x6^2+134082015*x3*x4*x6*x7-82857112*x3*x4*x6*x8+194633613*x3*x4*x6*x9-74031152*x3*x4*x7^2-32074892*x3*x4*x7*x8+153093347*x3*x4*x7*x9+42939188*x3*x4*x8^2-74046968*x3*x4*x8*x9-29447173*x3*x4*x9^2+85773058*x3*x5^3-74868128*x3*x5^2*x6-81433616*x3*x5^2*x7+127101800*x3*x5^2*x8-112712318*x3*x5^2*x9+204128740*x3*x5*x6^2+271240309*x3*x5*x6*x7-78732710*x3*x5*x6*x8-154626039*x3*x5*x6*x9-25540730*x3*x5*x7^2+219945954*x3*x5*x7*x8-201608251*x3*x5*x7*x9+116424820*x3*x5*x8^2-122906798*x3*x5*x8*x9-102149723*x3*x5*x9^2-3337398*x3*x6^3+29462791*x3*x6^2*x7-11166573*x3*x6^2*x8+167113322*x3*x6^2*x9+24388126*x3*x6*x7^2-2441008*x3*x6*x7*x8+231305689*x3*x6*x7*x9+20194104*x3*x6*x8^2-15466086*x3*x6*x8*x9-36490325*x3*x6*x9^2-32922934*x3*x7^3+80398112*x3*x7^2*x8+53861718*x3*x7^2*x9+69293468*x3*x7*x8^2-18658892*x3*x7*x8*x9-61040376*x3*x7*x9^2+7863972*x3*x8^3+10160268*x3*x8^2*x9-26961107*x3*x8*x9^2-13041015*x3*x9^3+15595352*x4^4-74614988*x4^3*x5+38683798*x4^3*x6-27410706*x4^3*x7-66429694*x4^3*x8+46350346*x4^3*x9+134533662*x4^2*x5^2-99959286*x4^2*x5*x6+107705724*x4^2*x5*x7+253132804*x4^2*x5*x8-223497622*x4^2*x5*x9+14371042*x4^2*x6^2-26797817*x4^2*x6*x7-100778637*x4^2*x6*x8+49152228*x4^2*x6*x9-18850961*x4^2*x7^2+138280196*x4^2*x7*x8-117589581*x4^2*x7*x9+138196047*x4^2*x8^2-223937487*x4^2*x8*x9+64053146*x4^2*x9^2-103980772*x4*x5^3+152697759*x4*x5^2*x6+14555664*x4*x5^2*x7-187410038*x4*x5^2*x8+257294255*x4*x5^2*x9-106827367*x4*x5*x6^2-111984115*x4*x5*x6*x7+113469577*x4*x5*x6*x8-134879902*x4*x5*x6*x9+166057988*x4*x5*x7^2-105168314*x4*x5*x7*x8+54813765*x4*x5*x7*x9-206568682*x4*x5*x8^2+396539945*x4*x5*x8*x9-95906571*x4*x5*x9^2-79240381*x4*x6^3-111371392*x4*x6^2*x7-88389252*x4*x6^2*x8+53055371*x4*x6^2*x9-199140091*x4*x6*x7^2-39285656*x4*x6*x7*x8-50419731*x4*x6*x7*x9+130006232*x4*x6*x8^2-234313742*x4*x6*x8*x9+82709783*x4*x6*x9^2-31940026*x4*x7^3-58679324*x4*x7^2*x8-99827775*x4*x7^2*x9-225785712*x4*x7*x8^2+148771724*x4*x7*x8*x9+97340707*x4*x7*x9^2-111117984*x4*x8^3+204880890*x4*x8^2*x9+2885220*x4*x8*x9^2-80453085*x4*x9^3+45075443*x5^4-165869501*x5^3*x6-73657864*x5^3*x7+25375238*x5^3*x8-78923845*x5^3*x9+248574233*x5^2*x6^2+270071950*x5^2*x6*x7+57814234*x5^2*x6*x8+58298617*x5^2*x6*x9-6295312*x5^2*x7^2+32996804*x5^2*x7*x8+51017374*x5^2*x7*x9+62057816*x5^2*x8^2-141464396*x5^2*x8*x9+59522126*x5^2*x9^2-43299945*x5*x6^3-256950696*x5*x6^2*x7-130831823*x5*x6^2*x8-31364436*x5*x6^2*x9-94129819*x5*x6*x7^2-70367172*x5*x6*x7*x8+34288530*x5*x6*x7*x9-73434384*x5*x6*x8^2+200265237*x5*x6*x8*x9-108270123*x5*x6*x9^2+49609380*x5*x7^3-82627534*x5*x7^2*x8+99288461*x5*x7^2*x9+59391208*x5*x7*x8^2-51998724*x5*x7*x8*x9-32033546*x5*x7*x9^2+60514932*x5*x8^3-150419998*x5*x8^2*x9+36612712*x5*x8*x9^2+80867616*x5*x9^3-30760742*x6^4+108690390*x6^3*x7+68174984*x6^3*x8-41451939*x6^3*x9+92898697*x6^2*x7^2+213643750*x6^2*x7*x8-191147220*x6^2*x7*x9+100788027*x6^2*x8^2-173722128*x6^2*x8*x9+21360071*x6^2*x9^2-42546016*x6*x7^3+224401128*x6*x7^2*x8-193685895*x6*x7^2*x9+20272096*x6*x7*x8^2-139380128*x6*x7*x8*x9+26119934*x6*x7*x9^2-50647308*x6*x8^3+81250022*x6*x8^2*x9+21426555*x6*x8*x9^2-40204497*x6*x9^3-11566079*x7^4-20834792*x7^3*x8-45530536*x7^3*x9+37875332*x7^2*x8^2+3929708*x7^2*x8*x9+46408366*x7^2*x9^2+75943384*x7*x8^3-74249176*x7*x8^2*x9-63004670*x7*x8*x9^2-14678496*x7*x9^3+26123164*x8^4-54606060*x8^3*x9-14729062*x8^2*x9^2+44560293*x8*x9^3+18883971*x9^4+44913735*x1^3-133528769*x1^2*x2+158318294*x1^2*x3-63698659*x1^2*x4+58024761*x1^2*x5-96731742*x1^2*x6+62164801*x1^2*x7-61619132*x1^2*x8-194226603*x1^2*x9+313429499*x1*x2^2-34117966*x1*x2*x3+90092103*x1*x2*x4-202863705*x1*x2*x5+498423117*x1*x2*x6+226292712*x1*x2*x7+274941903*x1*x2*x8+215409470*x1*x2*x9-124121823*x1*x3^2+26676118*x1*x3*x4-73474016*x1*x3*x5-116747734*x1*x3*x6-154354287*x1*x3*x7+65182846*x1*x3*x8+243092675*x1*x3*x9+21990062*x1*x4^2+83682695*x1*x4*x5+44849566*x1*x4*x6+3573196*x1*x4*x7+30990231*x1*x4*x8+31101066*x1*x4*x9+44286774*x1*x5^2-274825296*x1*x5*x6-122465647*x1*x5*x7-152869766*x1*x5*x8-86961173*x1*x5*x9+135496959*x1*x6^2+223105195*x1*x6*x7+318778886*x1*x6*x8+181437953*x1*x6*x9+5302335*x1*x7^2+154297830*x1*x7*x8+149634108*x1*x7*x9+11537572*x1*x8^2-41938015*x1*x8*x9-77926392*x1*x9^2-45497981*x2^3-5160312*x2^2*x3-170390810*x2^2*x4-128844350*x2^2*x5-107320855*x2^2*x6+40878663*x2^2*x7-61404313*x2^2*x8-156431645*x2^2*x9+97942325*x2*x3^2-132452208*x2*x3*x4+128100334*x2*x3*x5-40871598*x2*x3*x6+85247113*x2*x3*x7-54450964*x2*x3*x8-40179247*x2*x3*x9+1681404*x2*x4^2-178832375*x2*x4*x5-84425317*x2*x4*x6-182458678*x2*x4*x7-127149965*x2*x4*x8+101025375*x2*x4*x9+161731304*x2*x5^2-110297757*x2*x5*x6-228135721*x2*x5*x7+62564600*x2*x5*x8+184110320*x2*x5*x9+45234600*x2*x6^2-96021633*x2*x6*x7-281882995*x2*x6*x8-37409782*x2*x6*x9+41097801*x2*x7^2+30611344*x2*x7*x8+10016130*x2*x7*x9+66787770*x2*x8^2-15428520*x2*x8*x9-110515678*x2*x9^2+39233758*x3^3+85594190*x3^2*x4+37476232*x3^2*x5+148276691*x3^2*x6+156193860*x3^2*x7+29513790*x3^2*x8-31602085*x3^2*x9-15433456*x3*x4^2-94881358*x3*x4*x5+25575006*x3*x4*x6-19369222*x3*x4*x7-103656566*x3*x4*x8-14773488*x3*x4*x9-22177808*x3*x5^2+98788772*x3*x5*x6+65414730*x3*x5*x7+103278380*x3*x5*x8-136287198*x3*x5*x9+100873320*x3*x6^2+222065957*x3*x6*x7-42474062*x3*x6*x8-82742899*x3*x6*x9+77867240*x3*x7^2+105089018*x3*x7*x8-97278205*x3*x7*x9+54670900*x3*x8^2-66695990*x3*x8*x9-50286033*x3*x9^2-23000856*x4^3-2525838*x4^2*x5+2900558*x4^2*x6+43194516*x4^2*x7+41699238*x4^2*x8-59691586*x4^2*x9+103985198*x4*x5^2-217325591*x4*x5*x6-196028320*x4*x5*x7-26232170*x4*x5*x8+171824365*x4*x5*x9+74637173*x4*x6^2-47339606*x4*x6*x7-131482007*x4*x6*x8+21793084*x4*x6*x9-45980500*x4*x7^2-162650022*x4*x7*x8+181957488*x4*x7*x9-37126662*x4*x8^2+152844821*x4*x8*x9-97945921*x4*x9^2-37247462*x5^3+77270686*x5^2*x6+130869584*x5^2*x7-3295796*x5^2*x8-96155676*x5^2*x9-80412321*x5*x6^2-83209581*x5*x6*x7+157558490*x5*x6*x8+50536095*x5*x6*x9-87764784*x5*x7^2+12966550*x5*x7*x8-34519793*x5*x7*x9-21467776*x5*x8^2-52198792*x5*x8*x9+122357858*x5*x9^2+118923208*x6^3+78690752*x6^2*x7-153661474*x6^2*x8-43867650*x6^2*x9+24086263*x6*x7^2-33899728*x6*x7*x8+34974939*x6*x7*x9+53452892*x6*x8^2+14805491*x6*x8*x9-120064856*x6*x9^2-17400998*x7^3+98018066*x7^2*x8+65337973*x7^2*x9+112088968*x7*x8^2-143514260*x7*x8*x9-95215211*x7*x9^2+21287024*x8^3-76879354*x8^2*x9+37581323*x8*x9^2+49446306*x9^3-79650305*x1^2-132587821*x1*x2+47327966*x1*x3+7807597*x1*x4+53500782*x1*x5-66503574*x1*x6-27828993*x1*x7-113189020*x1*x8-186830961*x1*x9-64593464*x2^2+133846480*x2*x3+67586517*x2*x4+228331032*x2*x5+3649451*x2*x6-4722167*x2*x7+37584044*x2*x8+38855644*x2*x9-37361998*x3^2-47170378*x3*x4-174700516*x3*x5+58646318*x3*x6+14521192*x3*x7+15701480*x3*x8-51778678*x3*x9-34731254*x4^2+217541686*x4*x5-99427593*x4*x6+28053100*x4*x7+106555872*x4*x8-46609613*x4*x9-140641525*x5^2+161377742*x5*x6+111748440*x5*x7-46136216*x5*x8+22239788*x5*x9-91908777*x6^2-14152073*x6*x7+85002128*x6*x8-11805121*x6*x9+64125395*x7^2-77679246*x7*x8-47000219*x7*x9-65728196*x8^2+54687800*x8*x9+78811402*x9^2-6041741*x1-2240749*x2-70888422*x3+36575442*x4-42750144*x5-19486511*x6-58703374*x7-11723370*x8+31991867*x9+21434917, 110038885*x1^3+342696550*x1^2*x2-295169953*x1^2*x3-334431177*x1^2*x4-297732748*x1^2*x5+52067073*x1^2*x6-55997297*x1^2*x7+248112196*x1^2*x8+224487093*x1^2*x9+59537385*x1*x2^2+121763496*x1*x2*x3+23416610*x1*x2*x4-22855072*x1*x2*x5-51241590*x1*x2*x6+492475148*x1*x2*x7-404063440*x1*x2*x8+248643398*x1*x2*x9+226226279*x1*x3^2+173901118*x1*x3*x4+37394788*x1*x3*x5+332657522*x1*x3*x6+245291599*x1*x3*x7-3270542*x1*x3*x8-320714061*x1*x3*x9+89753511*x1*x4^2-35581523*x1*x4*x5+343637339*x1*x4*x6+331368604*x1*x4*x7-372315668*x1*x4*x8-88795915*x1*x4*x9-124348053*x1*x5^2+362635627*x1*x5*x6-278426391*x1*x5*x7+357940133*x1*x5*x8-115532560*x1*x5*x9+194587475*x1*x6^2+237893343*x1*x6*x7-668126448*x1*x6*x8+172201810*x1*x6*x9+194295927*x1*x7^2-7229252*x1*x7*x8+277141244*x1*x7*x9+13729310*x1*x8^2-8546048*x1*x8*x9-64213624*x1*x9^2+279515972*x2^3-223755753*x2^2*x3-335794950*x2^2*x4-297668874*x2^2*x5+47474058*x2^2*x6+2089278*x2^2*x7+144576135*x2^2*x8+62507655*x2^2*x9-126481892*x2*x3^2+369070160*x2*x3*x4+400156420*x2*x3*x5-175660024*x2*x3*x6-172413184*x2*x3*x7+73349970*x2*x3*x8+344231918*x2*x3*x9+279008560*x2*x4^2-14425496*x2*x4*x5-229490326*x2*x4*x6-699318158*x2*x4*x7-55371640*x2*x4*x8-8246344*x2*x4*x9+362849992*x2*x5^2-431032896*x2*x5*x6+53881760*x2*x5*x7-75812128*x2*x5*x8-338456938*x2*x5*x9-176095542*x2*x6^2+50248992*x2*x6*x7+584154502*x2*x6*x8-263322860*x2*x6*x9-253009132*x2*x7^2+253317252*x2*x7*x8-280556304*x2*x7*x9+95381060*x2*x8^2-238329330*x2*x8*x9+73693846*x2*x9^2-26050124*x3^3-198038429*x3^2*x4+39642305*x3^2*x5-214116697*x3^2*x6-114174580*x3^2*x7-48457116*x3^2*x8+36144918*x3^2*x9-64652564*x3*x4^2-232600638*x3*x4*x5+119102*x3*x4*x6+6524075*x3*x4*x7+43781252*x3*x4*x8+64028371*x3*x4*x9-123388062*x3*x5^2+129516820*x3*x5*x6+236576461*x3*x5*x7-118042908*x3*x5*x8-81854803*x3*x5*x9-169033309*x3*x6^2-250189197*x3*x6*x7+22445538*x3*x6*x8+292938311*x3*x6*x9-13922356*x3*x7^2-81623588*x3*x7*x8+238560602*x3*x7*x9-37967736*x3*x8^2+57091942*x3*x8*x9+9629525*x3*x9^2-31479084*x4^3+163580806*x4^2*x5-111116885*x4^2*x6+62667833*x4^2*x7+175541025*x4^2*x8-175903381*x4^2*x9+15324195*x4*x5^2+113351553*x4*x5*x6+227759457*x4*x5*x7+7343279*x4*x5*x8+19906065*x4*x5*x9-432906982*x4*x6^2-417207559*x4*x6*x7+216068562*x4*x6*x8-192660271*x4*x6*x9-211851197*x4*x7^2-239535716*x4*x7*x8-107827302*x4*x7*x9-52658326*x4*x8^2-51843276*x4*x8*x9+200749399*x4*x9^2-137304321*x5^3+368935351*x5^2*x6+99101342*x5^2*x7+12468584*x5^2*x8+137892526*x5^2*x9-157560535*x5*x6^2-207608424*x5*x6*x7-345471277*x5*x6*x8+59848308*x5*x6*x9+109898933*x5*x7^2-26814048*x5*x7*x8+10290786*x5*x7*x9-40481110*x5*x8^2+152241470*x5*x8*x9-102890583*x5*x9^2-230623785*x6^3+16542948*x6^2*x7+345151616*x6^2*x8-186036869*x6^2*x9+25361287*x6*x7^2+185504720*x6*x7*x8-377897310*x6*x7*x9+18684326*x6*x8^2-162939614*x6*x8*x9+171273425*x6*x9^2-91620660*x7^3+106707596*x7^2*x8-176197086*x7^2*x9-17406776*x7*x8^2-73076884*x7*x8*x9+64210978*x7*x9^2-37475532*x8^3+70259260*x8^2*x9+6948543*x8*x9^2-42171567*x9^3-133528769*x1^2+626858998*x1*x2-34117966*x1*x3+90092103*x1*x4-202863705*x1*x5+498423117*x1*x6+226292712*x1*x7+274941903*x1*x8+215409470*x1*x9-136493943*x2^2-10320624*x2*x3-340781620*x2*x4-257688700*x2*x5-214641710*x2*x6+81757326*x2*x7-122808626*x2*x8-312863290*x2*x9+97942325*x3^2-132452208*x3*x4+128100334*x3*x5-40871598*x3*x6+85247113*x3*x7-54450964*x3*x8-40179247*x3*x9+1681404*x4^2-178832375*x4*x5-84425317*x4*x6-182458678*x4*x7-127149965*x4*x8+101025375*x4*x9+161731304*x5^2-110297757*x5*x6-228135721*x5*x7+62564600*x5*x8+184110320*x5*x9+45234600*x6^2-96021633*x6*x7-281882995*x6*x8-37409782*x6*x9+41097801*x7^2+30611344*x7*x8+10016130*x7*x9+66787770*x8^2-15428520*x8*x9-110515678*x9^2-132587821*x1-129186928*x2+133846480*x3+67586517*x4+228331032*x5+3649451*x6-4722167*x7+37584044*x8+38855644*x9-2240749, -76063440*x1^3-295169953*x1^2*x2+135691346*x1^2*x3+107327304*x1^2*x4+428477370*x1^2*x5-88480542*x1^2*x6+38221169*x1^2*x7-81159885*x1^2*x8+5758406*x1^2*x9+60881748*x1*x2^2+452452558*x1*x2*x3+173901118*x1*x2*x4+37394788*x1*x2*x5+332657522*x1*x2*x6+245291599*x1*x2*x7-3270542*x1*x2*x8-320714061*x1*x2*x9-127220670*x1*x3^2-28026666*x1*x3*x4-554854098*x1*x3*x5+186346380*x1*x3*x6-5973440*x1*x3*x7+128482128*x1*x3*x8+81059558*x1*x3*x9-67822858*x1*x4^2-13311872*x1*x4*x5-38393542*x1*x4*x6+51158339*x1*x4*x7+201124492*x1*x4*x8-72245673*x1*x4*x9-199141852*x1*x5^2-188663278*x1*x5*x6-232360219*x1*x5*x7+88712038*x1*x5*x8+404616375*x1*x5*x9+59353316*x1*x6^2+92796652*x1*x6*x7+101089298*x1*x6*x8-187515756*x1*x6*x9+70386960*x1*x7^2+9918596*x1*x7*x8-31741209*x1*x7*x9-46077160*x1*x8^2+84405822*x1*x8*x9+100670771*x1*x9^2-74585251*x2^3-126481892*x2^2*x3+184535080*x2^2*x4+200078210*x2^2*x5-87830012*x2^2*x6-86206592*x2^2*x7+36674985*x2^2*x8+172115959*x2^2*x9-78150372*x2*x3^2-396076858*x2*x3*x4+79284610*x2*x3*x5-428233394*x2*x3*x6-228349160*x2*x3*x7-96914232*x2*x3*x8+72289836*x2*x3*x9-64652564*x2*x4^2-232600638*x2*x4*x5+119102*x2*x4*x6+6524075*x2*x4*x7+43781252*x2*x4*x8+64028371*x2*x4*x9-123388062*x2*x5^2+129516820*x2*x5*x6+236576461*x2*x5*x7-118042908*x2*x5*x8-81854803*x2*x5*x9-169033309*x2*x6^2-250189197*x2*x6*x7+22445538*x2*x6*x8+292938311*x2*x6*x9-13922356*x2*x7^2-81623588*x2*x7*x8+238560602*x2*x7*x9-37967736*x2*x8^2+57091942*x2*x8*x9+9629525*x2*x9^2+57257668*x3^3+127192590*x3^2*x4+241453062*x3^2*x5+56473866*x3^2*x6+125959062*x3^2*x7+17135460*x3^2*x8+38365950*x3^2*x9+75828540*x3*x4^2+189426216*x3*x4*x5-29300046*x3*x4*x6-36876984*x3*x4*x7-158183480*x3*x4*x8+187597742*x3*x4*x9+204496744*x3*x5^2+290883282*x3*x5*x6+309433612*x3*x5*x7+139242628*x3*x5*x8-84478034*x3*x5*x9-42557494*x3*x6^2+4606476*x3*x6*x7-94702464*x3*x6*x8+103253374*x3*x6*x9-16597066*x3*x7^2+113327280*x3*x7*x8+71225356*x3*x7*x9+77243592*x3*x8^2-72313064*x3*x8*x9-61075282*x3*x9^2+47484392*x4^3-82747888*x4^2*x5+109637366*x4^2*x6+3438700*x4^2*x7-107248358*x4^2*x8+128098308*x4^2*x9-150360326*x4*x5^2-39270900*x4*x5*x6-269728598*x4*x5*x7-189796494*x4*x5*x8-11668380*x4*x5*x9+125299094*x4*x6^2+134082015*x4*x6*x7-82857112*x4*x6*x8+194633613*x4*x6*x9-74031152*x4*x7^2-32074892*x4*x7*x8+153093347*x4*x7*x9+42939188*x4*x8^2-74046968*x4*x8*x9-29447173*x4*x9^2+85773058*x5^3-74868128*x5^2*x6-81433616*x5^2*x7+127101800*x5^2*x8-112712318*x5^2*x9+204128740*x5*x6^2+271240309*x5*x6*x7-78732710*x5*x6*x8-154626039*x5*x6*x9-25540730*x5*x7^2+219945954*x5*x7*x8-201608251*x5*x7*x9+116424820*x5*x8^2-122906798*x5*x8*x9-102149723*x5*x9^2-3337398*x6^3+29462791*x6^2*x7-11166573*x6^2*x8+167113322*x6^2*x9+24388126*x6*x7^2-2441008*x6*x7*x8+231305689*x6*x7*x9+20194104*x6*x8^2-15466086*x6*x8*x9-36490325*x6*x9^2-32922934*x7^3+80398112*x7^2*x8+53861718*x7^2*x9+69293468*x7*x8^2-18658892*x7*x8*x9-61040376*x7*x9^2+7863972*x8^3+10160268*x8^2*x9-26961107*x8*x9^2-13041015*x9^3+158318294*x1^2-34117966*x1*x2-248243646*x1*x3+26676118*x1*x4-73474016*x1*x5-116747734*x1*x6-154354287*x1*x7+65182846*x1*x8+243092675*x1*x9-5160312*x2^2+195884650*x2*x3-132452208*x2*x4+128100334*x2*x5-40871598*x2*x6+85247113*x2*x7-54450964*x2*x8-40179247*x2*x9+117701274*x3^2+171188380*x3*x4+74952464*x3*x5+296553382*x3*x6+312387720*x3*x7+59027580*x3*x8-63204170*x3*x9-15433456*x4^2-94881358*x4*x5+25575006*x4*x6-19369222*x4*x7-103656566*x4*x8-14773488*x4*x9-22177808*x5^2+98788772*x5*x6+65414730*x5*x7+103278380*x5*x8-136287198*x5*x9+100873320*x6^2+222065957*x6*x7-42474062*x6*x8-82742899*x6*x9+77867240*x7^2+105089018*x7*x8-97278205*x7*x9+54670900*x8^2-66695990*x8*x9-50286033*x9^2+47327966*x1+133846480*x2-74723996*x3-47170378*x4-174700516*x5+58646318*x6+14521192*x7+15701480*x8-51778678*x9-70888422, 13889940*x1^3-334431177*x1^2*x2+107327304*x1^2*x3+78934396*x1^2*x4-162201605*x1^2*x5-13390093*x1^2*x6-237661069*x1^2*x7-184131970*x1^2*x8+187680764*x1^2*x9+11708305*x1*x2^2+173901118*x1*x2*x3+179507022*x1*x2*x4-35581523*x1*x2*x5+343637339*x1*x2*x6+331368604*x1*x2*x7-372315668*x1*x2*x8-88795915*x1*x2*x9-14013333*x1*x3^2-135645716*x1*x3*x4-13311872*x1*x3*x5-38393542*x1*x3*x6+51158339*x1*x3*x7+201124492*x1*x3*x8-72245673*x1*x3*x9-32091222*x1*x4^2-124910804*x1*x4*x5+95265344*x1*x4*x6+133995990*x1*x4*x7+113697170*x1*x4*x8+108812132*x1*x4*x9+168146161*x1*x5^2-118849292*x1*x5*x6-38195965*x1*x5*x7+94005051*x1*x5*x8-318415444*x1*x5*x9+173523046*x1*x6^2+200444065*x1*x6*x7-85552578*x1*x6*x8+138810469*x1*x6*x9+164952549*x1*x7^2-78763848*x1*x7*x8-53066590*x1*x7*x9-170169844*x1*x8^2-36516984*x1*x8*x9+142587749*x1*x9^2-111931650*x2^3+184535080*x2^2*x3+279008560*x2^2*x4-7212748*x2^2*x5-114745163*x2^2*x6-349659079*x2^2*x7-27685820*x2^2*x8-4123172*x2^2*x9-198038429*x2*x3^2-129305128*x2*x3*x4-232600638*x2*x3*x5+119102*x2*x3*x6+6524075*x2*x3*x7+43781252*x2*x3*x8+64028371*x2*x3*x9-94437252*x2*x4^2+327161612*x2*x4*x5-222233770*x2*x4*x6+125335666*x2*x4*x7+351082050*x2*x4*x8-351806762*x2*x4*x9+15324195*x2*x5^2+113351553*x2*x5*x6+227759457*x2*x5*x7+7343279*x2*x5*x8+19906065*x2*x5*x9-432906982*x2*x6^2-417207559*x2*x6*x7+216068562*x2*x6*x8-192660271*x2*x6*x9-211851197*x2*x7^2-239535716*x2*x7*x8-107827302*x2*x7*x9-52658326*x2*x8^2-51843276*x2*x8*x9+200749399*x2*x9^2+42397530*x3^3+75828540*x3^2*x4+94713108*x3^2*x5-14650023*x3^2*x6-18438492*x3^2*x7-79091740*x3^2*x8+93798871*x3^2*x9+142453176*x3*x4^2-165495776*x3*x4*x5+219274732*x3*x4*x6+6877400*x3*x4*x7-214496716*x3*x4*x8+256196616*x3*x4*x9-150360326*x3*x5^2-39270900*x3*x5*x6-269728598*x3*x5*x7-189796494*x3*x5*x8-11668380*x3*x5*x9+125299094*x3*x6^2+134082015*x3*x6*x7-82857112*x3*x6*x8+194633613*x3*x6*x9-74031152*x3*x7^2-32074892*x3*x7*x8+153093347*x3*x7*x9+42939188*x3*x8^2-74046968*x3*x8*x9-29447173*x3*x9^2+62381408*x4^3-223844964*x4^2*x5+116051394*x4^2*x6-82232118*x4^2*x7-199289082*x4^2*x8+139051038*x4^2*x9+269067324*x4*x5^2-199918572*x4*x5*x6+215411448*x4*x5*x7+506265608*x4*x5*x8-446995244*x4*x5*x9+28742084*x4*x6^2-53595634*x4*x6*x7-201557274*x4*x6*x8+98304456*x4*x6*x9-37701922*x4*x7^2+276560392*x4*x7*x8-235179162*x4*x7*x9+276392094*x4*x8^2-447874974*x4*x8*x9+128106292*x4*x9^2-103980772*x5^3+152697759*x5^2*x6+14555664*x5^2*x7-187410038*x5^2*x8+257294255*x5^2*x9-106827367*x5*x6^2-111984115*x5*x6*x7+113469577*x5*x6*x8-134879902*x5*x6*x9+166057988*x5*x7^2-105168314*x5*x7*x8+54813765*x5*x7*x9-206568682*x5*x8^2+396539945*x5*x8*x9-95906571*x5*x9^2-79240381*x6^3-111371392*x6^2*x7-88389252*x6^2*x8+53055371*x6^2*x9-199140091*x6*x7^2-39285656*x6*x7*x8-50419731*x6*x7*x9+130006232*x6*x8^2-234313742*x6*x8*x9+82709783*x6*x9^2-31940026*x7^3-58679324*x7^2*x8-99827775*x7^2*x9-225785712*x7*x8^2+148771724*x7*x8*x9+97340707*x7*x9^2-111117984*x8^3+204880890*x8^2*x9+2885220*x8*x9^2-80453085*x9^3-63698659*x1^2+90092103*x1*x2+26676118*x1*x3+43980124*x1*x4+83682695*x1*x5+44849566*x1*x6+3573196*x1*x7+30990231*x1*x8+31101066*x1*x9-170390810*x2^2-132452208*x2*x3+3362808*x2*x4-178832375*x2*x5-84425317*x2*x6-182458678*x2*x7-127149965*x2*x8+101025375*x2*x9+85594190*x3^2-30866912*x3*x4-94881358*x3*x5+25575006*x3*x6-19369222*x3*x7-103656566*x3*x8-14773488*x3*x9-69002568*x4^2-5051676*x4*x5+5801116*x4*x6+86389032*x4*x7+83398476*x4*x8-119383172*x4*x9+103985198*x5^2-217325591*x5*x6-196028320*x5*x7-26232170*x5*x8+171824365*x5*x9+74637173*x6^2-47339606*x6*x7-131482007*x6*x8+21793084*x6*x9-45980500*x7^2-162650022*x7*x8+181957488*x7*x9-37126662*x8^2+152844821*x8*x9-97945921*x9^2+7807597*x1+67586517*x2-47170378*x3-69462508*x4+217541686*x5-99427593*x6+28053100*x7+106555872*x8-46609613*x9+36575442, -170891970*x1^3-297732748*x1^2*x2+428477370*x1^2*x3-162201605*x1^2*x4+553490814*x1^2*x5-256354741*x1^2*x6-28403205*x1^2*x7-168406273*x1^2*x8-419380733*x1^2*x9-11427536*x1*x2^2+37394788*x1*x2*x3-35581523*x1*x2*x4-248696106*x1*x2*x5+362635627*x1*x2*x6-278426391*x1*x2*x7+357940133*x1*x2*x8-115532560*x1*x2*x9-277427049*x1*x3^2-13311872*x1*x3*x4-398283704*x1*x3*x5-188663278*x1*x3*x6-232360219*x1*x3*x7+88712038*x1*x3*x8+404616375*x1*x3*x9-62455402*x1*x4^2+336292322*x1*x4*x5-118849292*x1*x4*x6-38195965*x1*x4*x7+94005051*x1*x4*x8-318415444*x1*x4*x9+62419287*x1*x5^2-519784056*x1*x5*x6+38276444*x1*x5*x7-272744516*x1*x5*x8+396758626*x1*x5*x9+55917072*x1*x6^2-35726035*x1*x6*x7+410782256*x1*x6*x8-153176999*x1*x6*x9-55735457*x1*x7^2-129046498*x1*x7*x8-127175297*x1*x7*x9-16136480*x1*x8^2+49620699*x1*x8*x9-43877537*x1*x9^2-99222958*x2^3+200078210*x2^2*x3-7212748*x2^2*x4+362849992*x2^2*x5-215516448*x2^2*x6+26940880*x2^2*x7-37906064*x2^2*x8-169228469*x2^2*x9+39642305*x2*x3^2-232600638*x2*x3*x4-246776124*x2*x3*x5+129516820*x2*x3*x6+236576461*x2*x3*x7-118042908*x2*x3*x8-81854803*x2*x3*x9+163580806*x2*x4^2+30648390*x2*x4*x5+113351553*x2*x4*x6+227759457*x2*x4*x7+7343279*x2*x4*x8+19906065*x2*x4*x9-411912963*x2*x5^2+737870702*x2*x5*x6+198202684*x2*x5*x7+24937168*x2*x5*x8+275785052*x2*x5*x9-157560535*x2*x6^2-207608424*x2*x6*x7-345471277*x2*x6*x8+59848308*x2*x6*x9+109898933*x2*x7^2-26814048*x2*x7*x8+10290786*x2*x7*x9-40481110*x2*x8^2+152241470*x2*x8*x9-102890583*x2*x9^2+80484354*x3^3+94713108*x3^2*x4+204496744*x3^2*x5+145441641*x3^2*x6+154716806*x3^2*x7+69621314*x3^2*x8-42239017*x3^2*x9-82747888*x3*x4^2-300720652*x3*x4*x5-39270900*x3*x4*x6-269728598*x3*x4*x7-189796494*x3*x4*x8-11668380*x3*x4*x9+257319174*x3*x5^2-149736256*x3*x5*x6-162867232*x3*x5*x7+254203600*x3*x5*x8-225424636*x3*x5*x9+204128740*x3*x6^2+271240309*x3*x6*x7-78732710*x3*x6*x8-154626039*x3*x6*x9-25540730*x3*x7^2+219945954*x3*x7*x8-201608251*x3*x7*x9+116424820*x3*x8^2-122906798*x3*x8*x9-102149723*x3*x9^2-74614988*x4^3+269067324*x4^2*x5-99959286*x4^2*x6+107705724*x4^2*x7+253132804*x4^2*x8-223497622*x4^2*x9-311942316*x4*x5^2+305395518*x4*x5*x6+29111328*x4*x5*x7-374820076*x4*x5*x8+514588510*x4*x5*x9-106827367*x4*x6^2-111984115*x4*x6*x7+113469577*x4*x6*x8-134879902*x4*x6*x9+166057988*x4*x7^2-105168314*x4*x7*x8+54813765*x4*x7*x9-206568682*x4*x8^2+396539945*x4*x8*x9-95906571*x4*x9^2+180301772*x5^3-497608503*x5^2*x6-220973592*x5^2*x7+76125714*x5^2*x8-236771535*x5^2*x9+497148466*x5*x6^2+540143900*x5*x6*x7+115628468*x5*x6*x8+116597234*x5*x6*x9-12590624*x5*x7^2+65993608*x5*x7*x8+102034748*x5*x7*x9+124115632*x5*x8^2-282928792*x5*x8*x9+119044252*x5*x9^2-43299945*x6^3-256950696*x6^2*x7-130831823*x6^2*x8-31364436*x6^2*x9-94129819*x6*x7^2-70367172*x6*x7*x8+34288530*x6*x7*x9-73434384*x6*x8^2+200265237*x6*x8*x9-108270123*x6*x9^2+49609380*x7^3-82627534*x7^2*x8+99288461*x7^2*x9+59391208*x7*x8^2-51998724*x7*x8*x9-32033546*x7*x9^2+60514932*x8^3-150419998*x8^2*x9+36612712*x8*x9^2+80867616*x9^3+58024761*x1^2-202863705*x1*x2-73474016*x1*x3+83682695*x1*x4+88573548*x1*x5-274825296*x1*x6-122465647*x1*x7-152869766*x1*x8-86961173*x1*x9-128844350*x2^2+128100334*x2*x3-178832375*x2*x4+323462608*x2*x5-110297757*x2*x6-228135721*x2*x7+62564600*x2*x8+184110320*x2*x9+37476232*x3^2-94881358*x3*x4-44355616*x3*x5+98788772*x3*x6+65414730*x3*x7+103278380*x3*x8-136287198*x3*x9-2525838*x4^2+207970396*x4*x5-217325591*x4*x6-196028320*x4*x7-26232170*x4*x8+171824365*x4*x9-111742386*x5^2+154541372*x5*x6+261739168*x5*x7-6591592*x5*x8-192311352*x5*x9-80412321*x6^2-83209581*x6*x7+157558490*x6*x8+50536095*x6*x9-87764784*x7^2+12966550*x7*x8-34519793*x7*x9-21467776*x8^2-52198792*x8*x9+122357858*x9^2+53500782*x1+228331032*x2-174700516*x3+217541686*x4-281283050*x5+161377742*x6+111748440*x7-46136216*x8+22239788*x9-42750144, -28435890*x1^3+52067073*x1^2*x2-88480542*x1^2*x3-13390093*x1^2*x4-256354741*x1^2*x5+332030468*x1^2*x6+180693652*x1^2*x7+152924102*x1^2*x8+45879115*x1^2*x9-25620795*x1*x2^2+332657522*x1*x2*x3+343637339*x1*x2*x4+362635627*x1*x2*x5+389174950*x1*x2*x6+237893343*x1*x2*x7-668126448*x1*x2*x8+172201810*x1*x2*x9+93173190*x1*x3^2-38393542*x1*x3*x4-188663278*x1*x3*x5+118706632*x1*x3*x6+92796652*x1*x3*x7+101089298*x1*x3*x8-187515756*x1*x3*x9+47632672*x1*x4^2-118849292*x1*x4*x5+347046092*x1*x4*x6+200444065*x1*x4*x7-85552578*x1*x4*x8+138810469*x1*x4*x9-259892028*x1*x5^2+111834144*x1*x5*x6-35726035*x1*x5*x7+410782256*x1*x5*x8-153176999*x1*x5*x9+262518342*x1*x6^2-54408234*x1*x6*x7-426520718*x1*x6*x8+525963210*x1*x6*x9+28131898*x1*x7^2-107441892*x1*x7*x8+434276569*x1*x7*x9-84188530*x1*x8^2+44130052*x1*x8*x9-21701897*x1*x9^2+15824686*x2^3-87830012*x2^2*x3-114745163*x2^2*x4-215516448*x2^2*x5-176095542*x2^2*x6+25124496*x2^2*x7+292077251*x2^2*x8-131661430*x2^2*x9-214116697*x2*x3^2+119102*x2*x3*x4+129516820*x2*x3*x5-338066618*x2*x3*x6-250189197*x2*x3*x7+22445538*x2*x3*x8+292938311*x2*x3*x9-111116885*x2*x4^2+113351553*x2*x4*x5-865813964*x2*x4*x6-417207559*x2*x4*x7+216068562*x2*x4*x8-192660271*x2*x4*x9+368935351*x2*x5^2-315121070*x2*x5*x6-207608424*x2*x5*x7-345471277*x2*x5*x8+59848308*x2*x5*x9-691871355*x2*x6^2+33085896*x2*x6*x7+690303232*x2*x6*x8-372073738*x2*x6*x9+25361287*x2*x7^2+185504720*x2*x7*x8-377897310*x2*x7*x9+18684326*x2*x8^2-162939614*x2*x8*x9+171273425*x2*x9^2+18824622*x3^3-14650023*x3^2*x4+145441641*x3^2*x5-42557494*x3^2*x6+2303238*x3^2*x7-47351232*x3^2*x8+51626687*x3^2*x9+109637366*x3*x4^2-39270900*x3*x4*x5+250598188*x3*x4*x6+134082015*x3*x4*x7-82857112*x3*x4*x8+194633613*x3*x4*x9-74868128*x3*x5^2+408257480*x3*x5*x6+271240309*x3*x5*x7-78732710*x3*x5*x8-154626039*x3*x5*x9-10012194*x3*x6^2+58925582*x3*x6*x7-22333146*x3*x6*x8+334226644*x3*x6*x9+24388126*x3*x7^2-2441008*x3*x7*x8+231305689*x3*x7*x9+20194104*x3*x8^2-15466086*x3*x8*x9-36490325*x3*x9^2+38683798*x4^3-99959286*x4^2*x5+28742084*x4^2*x6-26797817*x4^2*x7-100778637*x4^2*x8+49152228*x4^2*x9+152697759*x4*x5^2-213654734*x4*x5*x6-111984115*x4*x5*x7+113469577*x4*x5*x8-134879902*x4*x5*x9-237721143*x4*x6^2-222742784*x4*x6*x7-176778504*x4*x6*x8+106110742*x4*x6*x9-199140091*x4*x7^2-39285656*x4*x7*x8-50419731*x4*x7*x9+130006232*x4*x8^2-234313742*x4*x8*x9+82709783*x4*x9^2-165869501*x5^3+497148466*x5^2*x6+270071950*x5^2*x7+57814234*x5^2*x8+58298617*x5^2*x9-129899835*x5*x6^2-513901392*x5*x6*x7-261663646*x5*x6*x8-62728872*x5*x6*x9-94129819*x5*x7^2-70367172*x5*x7*x8+34288530*x5*x7*x9-73434384*x5*x8^2+200265237*x5*x8*x9-108270123*x5*x9^2-123042968*x6^3+326071170*x6^2*x7+204524952*x6^2*x8-124355817*x6^2*x9+185797394*x6*x7^2+427287500*x6*x7*x8-382294440*x6*x7*x9+201576054*x6*x8^2-347444256*x6*x8*x9+42720142*x6*x9^2-42546016*x7^3+224401128*x7^2*x8-193685895*x7^2*x9+20272096*x7*x8^2-139380128*x7*x8*x9+26119934*x7*x9^2-50647308*x8^3+81250022*x8^2*x9+21426555*x8*x9^2-40204497*x9^3-96731742*x1^2+498423117*x1*x2-116747734*x1*x3+44849566*x1*x4-274825296*x1*x5+270993918*x1*x6+223105195*x1*x7+318778886*x1*x8+181437953*x1*x9-107320855*x2^2-40871598*x2*x3-84425317*x2*x4-110297757*x2*x5+90469200*x2*x6-96021633*x2*x7-281882995*x2*x8-37409782*x2*x9+148276691*x3^2+25575006*x3*x4+98788772*x3*x5+201746640*x3*x6+222065957*x3*x7-42474062*x3*x8-82742899*x3*x9+2900558*x4^2-217325591*x4*x5+149274346*x4*x6-47339606*x4*x7-131482007*x4*x8+21793084*x4*x9+77270686*x5^2-160824642*x5*x6-83209581*x5*x7+157558490*x5*x8+50536095*x5*x9+356769624*x6^2+157381504*x6*x7-307322948*x6*x8-87735300*x6*x9+24086263*x7^2-33899728*x7*x8+34974939*x7*x9+53452892*x8^2+14805491*x8*x9-120064856*x9^2-66503574*x1+3649451*x2+58646318*x3-99427593*x4+161377742*x5-183817554*x6-14152073*x7+85002128*x8-11805121*x9-19486511, -6256085*x1^3-55997297*x1^2*x2+38221169*x1^2*x3-237661069*x1^2*x4-28403205*x1^2*x5+180693652*x1^2*x6-207106884*x1^2*x7+228687530*x1^2*x8-56476571*x1^2*x9+246237574*x1*x2^2+245291599*x1*x2*x3+331368604*x1*x2*x4-278426391*x1*x2*x5+237893343*x1*x2*x6+388591854*x1*x2*x7-7229252*x1*x2*x8+277141244*x1*x2*x9-2986720*x1*x3^2+51158339*x1*x3*x4-232360219*x1*x3*x5+92796652*x1*x3*x6+140773920*x1*x3*x7+9918596*x1*x3*x8-31741209*x1*x3*x9+66997995*x1*x4^2-38195965*x1*x4*x5+200444065*x1*x4*x6+329905098*x1*x4*x7-78763848*x1*x4*x8-53066590*x1*x4*x9+19138222*x1*x5^2-35726035*x1*x5*x6-111470914*x1*x5*x7-129046498*x1*x5*x8-127175297*x1*x5*x9-27204117*x1*x6^2+56263796*x1*x6*x7-107441892*x1*x6*x8+434276569*x1*x6*x9+186558150*x1*x7^2-161827720*x1*x7*x8+133841810*x1*x7*x9+111760180*x1*x8^2+222915972*x1*x8*x9-31118292*x1*x9^2+696426*x2^3-86206592*x2^2*x3-349659079*x2^2*x4+26940880*x2^2*x5+25124496*x2^2*x6-253009132*x2^2*x7+126658626*x2^2*x8-140278152*x2^2*x9-114174580*x2*x3^2+6524075*x2*x3*x4+236576461*x2*x3*x5-250189197*x2*x3*x6-27844712*x2*x3*x7-81623588*x2*x3*x8+238560602*x2*x3*x9+62667833*x2*x4^2+227759457*x2*x4*x5-417207559*x2*x4*x6-423702394*x2*x4*x7-239535716*x2*x4*x8-107827302*x2*x4*x9+99101342*x2*x5^2-207608424*x2*x5*x6+219797866*x2*x5*x7-26814048*x2*x5*x8+10290786*x2*x5*x9+16542948*x2*x6^2+50722574*x2*x6*x7+185504720*x2*x6*x8-377897310*x2*x6*x9-274861980*x2*x7^2+213415192*x2*x7*x8-352394172*x2*x7*x9-17406776*x2*x8^2-73076884*x2*x8*x9+64210978*x2*x9^2+41986354*x3^3-18438492*x3^2*x4+154716806*x3^2*x5+2303238*x3^2*x6-16597066*x3^2*x7+56663640*x3^2*x8+35612678*x3^2*x9+3438700*x3*x4^2-269728598*x3*x4*x5+134082015*x3*x4*x6-148062304*x3*x4*x7-32074892*x3*x4*x8+153093347*x3*x4*x9-81433616*x3*x5^2+271240309*x3*x5*x6-51081460*x3*x5*x7+219945954*x3*x5*x8-201608251*x3*x5*x9+29462791*x3*x6^2+48776252*x3*x6*x7-2441008*x3*x6*x8+231305689*x3*x6*x9-98768802*x3*x7^2+160796224*x3*x7*x8+107723436*x3*x7*x9+69293468*x3*x8^2-18658892*x3*x8*x9-61040376*x3*x9^2-27410706*x4^3+107705724*x4^2*x5-26797817*x4^2*x6-37701922*x4^2*x7+138280196*x4^2*x8-117589581*x4^2*x9+14555664*x4*x5^2-111984115*x4*x5*x6+332115976*x4*x5*x7-105168314*x4*x5*x8+54813765*x4*x5*x9-111371392*x4*x6^2-398280182*x4*x6*x7-39285656*x4*x6*x8-50419731*x4*x6*x9-95820078*x4*x7^2-117358648*x4*x7*x8-199655550*x4*x7*x9-225785712*x4*x8^2+148771724*x4*x8*x9+97340707*x4*x9^2-73657864*x5^3+270071950*x5^2*x6-12590624*x5^2*x7+32996804*x5^2*x8+51017374*x5^2*x9-256950696*x5*x6^2-188259638*x5*x6*x7-70367172*x5*x6*x8+34288530*x5*x6*x9+148828140*x5*x7^2-165255068*x5*x7*x8+198576922*x5*x7*x9+59391208*x5*x8^2-51998724*x5*x8*x9-32033546*x5*x9^2+108690390*x6^3+185797394*x6^2*x7+213643750*x6^2*x8-191147220*x6^2*x9-127638048*x6*x7^2+448802256*x6*x7*x8-387371790*x6*x7*x9+20272096*x6*x8^2-139380128*x6*x8*x9+26119934*x6*x9^2-46264316*x7^3-62504376*x7^2*x8-136591608*x7^2*x9+75750664*x7*x8^2+7859416*x7*x8*x9+92816732*x7*x9^2+75943384*x8^3-74249176*x8^2*x9-63004670*x8*x9^2-14678496*x9^3+62164801*x1^2+226292712*x1*x2-154354287*x1*x3+3573196*x1*x4-122465647*x1*x5+223105195*x1*x6+10604670*x1*x7+154297830*x1*x8+149634108*x1*x9+40878663*x2^2+85247113*x2*x3-182458678*x2*x4-228135721*x2*x5-96021633*x2*x6+82195602*x2*x7+30611344*x2*x8+10016130*x2*x9+156193860*x3^2-19369222*x3*x4+65414730*x3*x5+222065957*x3*x6+155734480*x3*x7+105089018*x3*x8-97278205*x3*x9+43194516*x4^2-196028320*x4*x5-47339606*x4*x6-91961000*x4*x7-162650022*x4*x8+181957488*x4*x9+130869584*x5^2-83209581*x5*x6-175529568*x5*x7+12966550*x5*x8-34519793*x5*x9+78690752*x6^2+48172526*x6*x7-33899728*x6*x8+34974939*x6*x9-52202994*x7^2+196036132*x7*x8+130675946*x7*x9+112088968*x8^2-143514260*x8*x9-95215211*x9^2-27828993*x1-4722167*x2+14521192*x3+28053100*x4+111748440*x5-14152073*x6+128250790*x7-77679246*x8-47000219*x9-58703374, 111159465*x1^3+248112196*x1^2*x2-81159885*x1^2*x3-184131970*x1^2*x4-168406273*x1^2*x5+152924102*x1^2*x6+228687530*x1^2*x7+356564086*x1^2*x8+18241936*x1^2*x9-202031720*x1*x2^2-3270542*x1*x2*x3-372315668*x1*x2*x4+357940133*x1*x2*x5-668126448*x1*x2*x6-7229252*x1*x2*x7+27458620*x1*x2*x8-8546048*x1*x2*x9+64241064*x1*x3^2+201124492*x1*x3*x4+88712038*x1*x3*x5+101089298*x1*x3*x6+9918596*x1*x3*x7-92154320*x1*x3*x8+84405822*x1*x3*x9+56848585*x1*x4^2+94005051*x1*x4*x5-85552578*x1*x4*x6-78763848*x1*x4*x7-340339688*x1*x4*x8-36516984*x1*x4*x9-136372258*x1*x5^2+410782256*x1*x5*x6-129046498*x1*x5*x7-32272960*x1*x5*x8+49620699*x1*x5*x9-213260359*x1*x6^2-107441892*x1*x6*x7-168377060*x1*x6*x8+44130052*x1*x6*x9-80913860*x1*x7^2+223520360*x1*x7*x8+222915972*x1*x7*x9+254410560*x1*x8^2+27151772*x1*x8*x9-182430056*x1*x9^2+48192045*x2^3+36674985*x2^2*x3-27685820*x2^2*x4-37906064*x2^2*x5+292077251*x2^2*x6+126658626*x2^2*x7+95381060*x2^2*x8-119164665*x2^2*x9-48457116*x2*x3^2+43781252*x2*x3*x4-118042908*x2*x3*x5+22445538*x2*x3*x6-81623588*x2*x3*x7-75935472*x2*x3*x8+57091942*x2*x3*x9+175541025*x2*x4^2+7343279*x2*x4*x5+216068562*x2*x4*x6-239535716*x2*x4*x7-105316652*x2*x4*x8-51843276*x2*x4*x9+12468584*x2*x5^2-345471277*x2*x5*x6-26814048*x2*x5*x7-80962220*x2*x5*x8+152241470*x2*x5*x9+345151616*x2*x6^2+185504720*x2*x6*x7+37368652*x2*x6*x8-162939614*x2*x6*x9+106707596*x2*x7^2-34813552*x2*x7*x8-73076884*x2*x7*x9-112426596*x2*x8^2+140518520*x2*x8*x9+6948543*x2*x9^2+5711820*x3^3-79091740*x3^2*x4+69621314*x3^2*x5-47351232*x3^2*x6+56663640*x3^2*x7+77243592*x3^2*x8-36156532*x3^2*x9-107248358*x3*x4^2-189796494*x3*x4*x5-82857112*x3*x4*x6-32074892*x3*x4*x7+85878376*x3*x4*x8-74046968*x3*x4*x9+127101800*x3*x5^2-78732710*x3*x5*x6+219945954*x3*x5*x7+232849640*x3*x5*x8-122906798*x3*x5*x9-11166573*x3*x6^2-2441008*x3*x6*x7+40388208*x3*x6*x8-15466086*x3*x6*x9+80398112*x3*x7^2+138586936*x3*x7*x8-18658892*x3*x7*x9+23591916*x3*x8^2+20320536*x3*x8*x9-26961107*x3*x9^2-66429694*x4^3+253132804*x4^2*x5-100778637*x4^2*x6+138280196*x4^2*x7+276392094*x4^2*x8-223937487*x4^2*x9-187410038*x4*x5^2+113469577*x4*x5*x6-105168314*x4*x5*x7-413137364*x4*x5*x8+396539945*x4*x5*x9-88389252*x4*x6^2-39285656*x4*x6*x7+260012464*x4*x6*x8-234313742*x4*x6*x9-58679324*x4*x7^2-451571424*x4*x7*x8+148771724*x4*x7*x9-333353952*x4*x8^2+409761780*x4*x8*x9+2885220*x4*x9^2+25375238*x5^3+57814234*x5^2*x6+32996804*x5^2*x7+124115632*x5^2*x8-141464396*x5^2*x9-130831823*x5*x6^2-70367172*x5*x6*x7-146868768*x5*x6*x8+200265237*x5*x6*x9-82627534*x5*x7^2+118782416*x5*x7*x8-51998724*x5*x7*x9+181544796*x5*x8^2-300839996*x5*x8*x9+36612712*x5*x9^2+68174984*x6^3+213643750*x6^2*x7+201576054*x6^2*x8-173722128*x6^2*x9+224401128*x6*x7^2+40544192*x6*x7*x8-139380128*x6*x7*x9-151941924*x6*x8^2+162500044*x6*x8*x9+21426555*x6*x9^2-20834792*x7^3+75750664*x7^2*x8+3929708*x7^2*x9+227830152*x7*x8^2-148498352*x7*x8*x9-63004670*x7*x9^2+104492656*x8^3-163818180*x8^2*x9-29458124*x8*x9^2+44560293*x9^3-61619132*x1^2+274941903*x1*x2+65182846*x1*x3+30990231*x1*x4-152869766*x1*x5+318778886*x1*x6+154297830*x1*x7+23075144*x1*x8-41938015*x1*x9-61404313*x2^2-54450964*x2*x3-127149965*x2*x4+62564600*x2*x5-281882995*x2*x6+30611344*x2*x7+133575540*x2*x8-15428520*x2*x9+29513790*x3^2-103656566*x3*x4+103278380*x3*x5-42474062*x3*x6+105089018*x3*x7+109341800*x3*x8-66695990*x3*x9+41699238*x4^2-26232170*x4*x5-131482007*x4*x6-162650022*x4*x7-74253324*x4*x8+152844821*x4*x9-3295796*x5^2+157558490*x5*x6+12966550*x5*x7-42935552*x5*x8-52198792*x5*x9-153661474*x6^2-33899728*x6*x7+106905784*x6*x8+14805491*x6*x9+98018066*x7^2+224177936*x7*x8-143514260*x7*x9+63861072*x8^2-153758708*x8*x9+37581323*x9^2-113189020*x1+37584044*x2+15701480*x3+106555872*x4-46136216*x5+85002128*x6-77679246*x7-131456392*x8+54687800*x9-11723370, 193412675*x1^3+224487093*x1^2*x2+5758406*x1^2*x3+187680764*x1^2*x4-419380733*x1^2*x5+45879115*x1^2*x6-56476571*x1^2*x7+18241936*x1^2*x8+48479822*x1^2*x9+124321699*x1*x2^2-320714061*x1*x2*x3-88795915*x1*x2*x4-115532560*x1*x2*x5+172201810*x1*x2*x6+277141244*x1*x2*x7-8546048*x1*x2*x8-128427248*x1*x2*x9+40529779*x1*x3^2-72245673*x1*x3*x4+404616375*x1*x3*x5-187515756*x1*x3*x6-31741209*x1*x3*x7+84405822*x1*x3*x8+201341542*x1*x3*x9+54406066*x1*x4^2-318415444*x1*x4*x5+138810469*x1*x4*x6-53066590*x1*x4*x7-36516984*x1*x4*x8+285175498*x1*x4*x9+198379313*x1*x5^2-153176999*x1*x5*x6-127175297*x1*x5*x7+49620699*x1*x5*x8-87755074*x1*x5*x9+262981605*x1*x6^2+434276569*x1*x6*x7+44130052*x1*x6*x8-43403794*x1*x6*x9+66920905*x1*x7^2+222915972*x1*x7*x8-62236584*x1*x7*x9+13575886*x1*x8^2-364860112*x1*x8*x9-224717454*x1*x9^2+20835885*x2^3+172115959*x2^2*x3-4123172*x2^2*x4-169228469*x2^2*x5-131661430*x2^2*x6-140278152*x2^2*x7-119164665*x2^2*x8+73693846*x2^2*x9+36144918*x2*x3^2+64028371*x2*x3*x4-81854803*x2*x3*x5+292938311*x2*x3*x6+238560602*x2*x3*x7+57091942*x2*x3*x8+19259050*x2*x3*x9-175903381*x2*x4^2+19906065*x2*x4*x5-192660271*x2*x4*x6-107827302*x2*x4*x7-51843276*x2*x4*x8+401498798*x2*x4*x9+137892526*x2*x5^2+59848308*x2*x5*x6+10290786*x2*x5*x7+152241470*x2*x5*x8-205781166*x2*x5*x9-186036869*x2*x6^2-377897310*x2*x6*x7-162939614*x2*x6*x8+342546850*x2*x6*x9-176197086*x2*x7^2-73076884*x2*x7*x8+128421956*x2*x7*x9+70259260*x2*x8^2+13897086*x2*x8*x9-126514701*x2*x9^2+12788650*x3^3+93798871*x3^2*x4-42239017*x3^2*x5+51626687*x3^2*x6+35612678*x3^2*x7-36156532*x3^2*x8-61075282*x3^2*x9+128098308*x3*x4^2-11668380*x3*x4*x5+194633613*x3*x4*x6+153093347*x3*x4*x7-74046968*x3*x4*x8-58894346*x3*x4*x9-112712318*x3*x5^2-154626039*x3*x5*x6-201608251*x3*x5*x7-122906798*x3*x5*x8-204299446*x3*x5*x9+167113322*x3*x6^2+231305689*x3*x6*x7-15466086*x3*x6*x8-72980650*x3*x6*x9+53861718*x3*x7^2-18658892*x3*x7*x8-122080752*x3*x7*x9+10160268*x3*x8^2-53922214*x3*x8*x9-39123045*x3*x9^2+46350346*x4^3-223497622*x4^2*x5+49152228*x4^2*x6-117589581*x4^2*x7-223937487*x4^2*x8+128106292*x4^2*x9+257294255*x4*x5^2-134879902*x4*x5*x6+54813765*x4*x5*x7+396539945*x4*x5*x8-191813142*x4*x5*x9+53055371*x4*x6^2-50419731*x4*x6*x7-234313742*x4*x6*x8+165419566*x4*x6*x9-99827775*x4*x7^2+148771724*x4*x7*x8+194681414*x4*x7*x9+204880890*x4*x8^2+5770440*x4*x8*x9-241359255*x4*x9^2-78923845*x5^3+58298617*x5^2*x6+51017374*x5^2*x7-141464396*x5^2*x8+119044252*x5^2*x9-31364436*x5*x6^2+34288530*x5*x6*x7+200265237*x5*x6*x8-216540246*x5*x6*x9+99288461*x5*x7^2-51998724*x5*x7*x8-64067092*x5*x7*x9-150419998*x5*x8^2+73225424*x5*x8*x9+242602848*x5*x9^2-41451939*x6^3-191147220*x6^2*x7-173722128*x6^2*x8+42720142*x6^2*x9-193685895*x6*x7^2-139380128*x6*x7*x8+52239868*x6*x7*x9+81250022*x6*x8^2+42853110*x6*x8*x9-120613491*x6*x9^2-45530536*x7^3+3929708*x7^2*x8+92816732*x7^2*x9-74249176*x7*x8^2-126009340*x7*x8*x9-44035488*x7*x9^2-54606060*x8^3-29458124*x8^2*x9+133680879*x8*x9^2+75535884*x9^3-194226603*x1^2+215409470*x1*x2+243092675*x1*x3+31101066*x1*x4-86961173*x1*x5+181437953*x1*x6+149634108*x1*x7-41938015*x1*x8-155852784*x1*x9-156431645*x2^2-40179247*x2*x3+101025375*x2*x4+184110320*x2*x5-37409782*x2*x6+10016130*x2*x7-15428520*x2*x8-221031356*x2*x9-31602085*x3^2-14773488*x3*x4-136287198*x3*x5-82742899*x3*x6-97278205*x3*x7-66695990*x3*x8-100572066*x3*x9-59691586*x4^2+171824365*x4*x5+21793084*x4*x6+181957488*x4*x7+152844821*x4*x8-195891842*x4*x9-96155676*x5^2+50536095*x5*x6-34519793*x5*x7-52198792*x5*x8+244715716*x5*x9-43867650*x6^2+34974939*x6*x7+14805491*x6*x8-240129712*x6*x9+65337973*x7^2-143514260*x7*x8-190430422*x7*x9-76879354*x8^2+75162646*x8*x9+148338918*x9^2-186830961*x1+38855644*x2-51778678*x3-46609613*x4+22239788*x5-11805121*x6-47000219*x7+54687800*x8+157622804*x9+31991867], verbose=true);[leading_monomial(g) for g in gb];exit()


text:
# AUTO GENERATED FILE - DO NOT EDIT

export 'feffery'_antdbreadcrumb

"""
    'feffery'_antdbreadcrumb(;kwargs...)

An AntdBreadcrumb component.

Keyword arguments:
- `id` (String; optional)
- `className` (String; optional)
- `items` (optional): . items has the following type: Array of lists containing elements 'title', 'href', 'target', 'icon', 'menuItems'.
Those elements have the following types:
  - `title` (String; optional)
  - `href` (String; optional)
  - `target` (String; optional)
  - `icon` (String; optional)
  - `menuItems` (optional): . menuItems has the following type: Array of lists containing elements 'title', 'href', 'target', 'disabled', 'icon'.
Those elements have the following types:
  - `title` (String; optional)
  - `href` (String; optional)
  - `target` (String; optional)
  - `disabled` (Bool; optional)
  - `icon` (String; optional)ss
- `loading_state` (optional): . loading_state has the following type: lists containing elements 'is_loading', 'prop_name', 'component_name'.
Those elements have the following types:
  - `is_loading` (Bool; optional): Determines if the component is loading or not
  - `prop_name` (String; optional): Holds which property is loading
  - `component_name` (String; optional): Holds the name of the component that is loading
- `separator` (String; optional)
- `style` (Dict; optional)
"""
function 'feffery'_antdbreadcrumb(; kwargs...)
        available_props = Symbol[:id, :className, :items, :loading_state, :separator, :style]
        wild_props = Symbol[]
        return Component("'feffery'_antdbreadcrumb", "AntdBreadcrumb", "feffery_antd_components", available_props, wild_props; kwargs...)
end

ext: jl

max_stars_repo_name: ReilYoung/feffery-antd-components

max_issues_repo_name: ReilYoung/feffery-antd-components

max_forks_repo_name: ReilYoung/feffery-antd-components


text:
using EventSimulation
using Distributions
using Printf

# Objectives of the example:
# * show how SimQueue object can be used
# * filter! as withdraw! using predicate

mutable struct Customer
    movie::Int   # which movie to attend
    tickets::Int # how many tickets
end

mutable struct Cinema <: AbstractState
    movies::Vector{String}     # names of movies
    available::Vector{Int}     # tickets left
    sold_time::Vector{Float64} # time when tickets were sold out
    renege_count::Vector{Int}  # number of people that left the queue
    counter::SimQueue{Customer}   # queue to counter
end

function arrival(s::Scheduler)
    c = Customer(rand(1:3), rand(1:6))
    if s.state.available[c.movie] > 1   # we do not sell last ticket
        provide!(s, s.state.counter, c)
    end
end

function buy_ticket(s, c)
    if s.state.available[c.movie] < c.tickets
        register!(s, leave_counter, 0.5) # arguing
    else
        s.state.available[c.movie] -= c.tickets

        # collect stats - tickets sold-out
        if s.state.available[c.movie] < 2 # we do not sell last ticket
            s.state.sold_time[c.movie] = s.now
            s.state.renege_count[c.movie] = count(x -> x.movie == c.movie,
                                                  s.state.counter.queue)
            # customers leave queue
            filter!(x -> x.movie != c.movie, s.state.counter.queue)
        end
        register!(s, leave_counter, 1.0) # buying
    end
    maximum(s.state.available) < 2 && terminate!(s) # no tickets to sell
end

function leave_counter(s)
    request!(s, s.state.counter, buy_ticket)
end

function run(report::Bool)
    ms = ["Python Unchained", "Kill Process", "Pulp Implementation"]
    cinema = Cinema(ms, [50, 50, 50], [NaN, NaN, NaN],
                    [0, 0, 0], SimQueue{Customer}())
    s = Scheduler(cinema)
    request!(s, cinema.counter, buy_ticket)
    repeat_register!(s, arrival, x -> rand(Exponential(0.5)))
    go!(s, Inf)
    if report
        for i in 1:3
            println("Movie ", cinema.movies[i], " sold out ",
                    round(cinema.sold_time[i], 4),
                    " minutes after ticket counter opening.\n",
                    "  Number of people leaving queue when film sold out: ",
                    cinema.renege_count[i], ".")
        end
    end
    [cinema.sold_time; cinema.renege_count]
end

function reprun(reps, report::Bool, stats::Bool)
    res = hcat([run(report) for i in 1:reps]...)
    stats || return
    println("\tmean\tsd\tmin\tmax")

    # total time to terminate
    tt = maximum(view(res, 1:3, :), dims=1)
    @printf("finish\t%6.3f\t%5.3f\t%6.3f\t%6.3f\n", mean(tt), std(tt),
            minimum(tt), maximum(tt))

    # time to terminate per movie
    for i in 1:3
        v = view(res, i, :)
        @printf("mv %d\t%6.3f\t%5.3f\t%6.3f\t%6.3f\n", i, mean(v), std(v),
                minimum(v), maximum(v))
    end

    # reneged customers per movie
    for i in 1:3
        v = view(res, i+3, :)
        @printf("cr %d\t%6.3f\t%5.3f\t%6.3f\t%6.3f\n", i, mean(v), std(v),
                minimum(v), maximum(v))
    end
end

@time reprun(10_000, false, true)
@time reprun(10_000, false, true)


text:
using Colors, Cairo
using Makie
using GeometryTypes
# d = heatmap!(scene, rand(10, 10))
# f = meshscatter!(scene, rand(10), rand(10), rand(10))
function draw_all(screen, scene::Scene)
    for elem in scene.plots
        Makie.CairoBackend.cairo_draw(screen, elem)
    end
    foreach(x->draw_all(screen, x), scene.children)
    Makie.CairoBackend.cairo_finish(screen)
end

Random.seed!(1)
scene = Scene(resolution = (1000, 1000))
s = plot!(scene, 1:10, rand(10, 3))
s2 = lines!(scene, -1:8, rand(10) .+ 1, color = :black)
update_cam!(scene, FRect(-4, -2, 17, 4))
scene
nothing
scene
screen = Makie.CairoBackend.CairoScreen(scene, joinpath(homedir(), "Desktop", "test.svg"))
draw_all(screen, scene)


text:
# # Host/Parasite model
#
# Load packages
using GeoData, DynamicGrids, Dispersal, Plots, Dates, Pkg

# Get the data
using Pkg; Pkg.add("Git"); using Git
repo = "SpatialMechanisticModellingInJulia"
isdir(repo) || run(`$(git()) clone http://github.com/cesaraustralia/$repo`)
# Load growthrates from tif files saved in growthmaps.jl
datapath = joinpath(pwd(), repo, "data", "growthrates")
# Reorganise the tif files to be auxilllary data for the simulation,
# cut to Australia with a time-span and the right orientation
function get_rate_data(species)
    growthtimespan = DateTime(2020, 1):Month(1):DateTime(2020, 12)
    dir = joinpath(datapath, species)
    filepaths = readdir(dir; join=true)
    aus = X(Between(113.0, 154.0)), Y(Between(-44.0, -10.0))
    slices = map(filepaths) do path
        A = GeoArray(path; mappedcrs=EPSG(4326), name=Symbol(species))[aus..., Band(1)]
        permutedims(replace_missing(A, 0.0), (Y, X))
    end
    return cat(slices...; dims=Ti(growthtimespan))
end

rate_h = get_rate_data("host")
rate_p = get_rate_data("parasitoid")

plot(rate_h)

# ## Define DynamicGrids.jl rules

# Rules are the components of the DynamicGridws.jl simulation.
# Initially, we will use predefined rules form Dispersal.jl

# ### Growth rule:

carrycap = 1e9
growth = LogisticGrowth{:H}(rate=Aux(:rH), carrycap=carrycap, timestep=Day(1))

# ### Allee extinction rule:
allee = AlleeExtinction{:H}(; minfounders=Param(20.0; bounds=(0.0, 200.0)))

# Host local dispersal rule:
localdisp = InwardsDispersal{:H}(;
    radius=1, formulation=ExponentialKernel(Param(0.25; bounds=(0.05, 0.5)))
)

# ### Wind dispersal rule:

# Here we begin to define our own rules.
# This rule uses the short-form `SetCell` `do` syntax:

wind = let wind_disp_prob = Param(0.01; bounds=(0.0, 0.1))
    SetCell{:H}() do data, H, I
        H > zero(H) || return nothing # Ignore empty cells
        rand() < wind_disp_prob || return nothing # Randomise a dispersal event
        ## Randomise a destination
        dest = I .+ (rand(-20:20), rand(-20:20))
        if isinbounds(data, dest)
            ## Update dest cell and current cell, if dest is on the grid
            add!(data[:H], H / 10, dest...)
            sub!(data[:H], H / 10, I...)
        end
        return nothing
    end
end

# Set up the simulation data
#
# Take an array slice to use as a template
template = rate_h[Ti(1)]

# Make a masking layer for ocean areas
mask = boolmask(template)

# Create an initial population array for the host
init_h = zero(template)

# Add a host population around Cairns in Queensland
cairns = Y(Between(-17, -20)), X(Between(144.0, 145.0))
init_h[cairns...] .= carrycap

# Initialise scattered parasitoid populations
init_p = broadcast(template) do _
    rand() < 0.1 ? carrycap * 1e-4 : 0.0
end

# Define initialisation and auxilary data for the simulations.
# :rand is only required on GPU
initdata = (; H=init_h, P=init_p)
auxdata = (; rH=rate_h, rP=rate_p);

# Run the rule
#
# Set the time span for the simulation
tspan = DateTime(2020, 1):Week(1):DateTime(2030, 1)

ruleset = Ruleset(localdisp, wind, allee, growth)

using DynamicGridsInteract, ColorSchemes
output = ElectronOutput((; H=init_h);
    ruleset=ruleset,
    aux=auxdata,
    mask=mask,
    tspan=tspan,
    minval=0.0, maxval=carrycap,
    scheme=ColorSchemes.autumn,
)

# Multi-species: add parasitism rules
#
#
# This rule uses the long form definition, defining a struct
# and an `applyrule` method that dispatches on it.
struct Parasitism{R,W,GR,M,HS,A,B} <: CellRule{R,W}
    rate::GR
    mortality::M
    halfsat::HS
    a::A
    b::B
end

function Dispersal.applyrule(data, rule::Parasitism, (H, P), I)
    γ = rule.mortality; halfsat = rule.halfsat; a = rule.a; b = rule.b
    rP = get(data, rule.rate, I) * 7 # Growthrate for the cell/timestep
    h = 1 / (a * exp(b * rP)) # Handling time
    β = 1 / (h * halfsat) # Encounter rate
    R = β * H / (1 + h * β * H) # Holling type II response
    δ = h * (rP - γ) # Conversion efficiency
    dHdt = -R * P # Change in host population
    dPdt = δ * R * P * rP - γ * P # Change in parasitoid population
    return (H + dHdt, P + dPdt) # Updated populations for the cell
end

parasitism = Parasitism{Tuple{:H,:P}}(
    Aux(:rP),
    Param(0.2; bounds=(0.1, 0.5)),
    Param(1f8; bounds=(1f7, 1f9)),
    Param(2.0; bounds=(1.0, 5.0)),
    Param(5.0; bounds=(1.0, 10.0)),
)

# ### Parasitoid local dispersal rules:
localdisp_p = InwardsDispersal{:P}(;
    radius=1, formulation=ExponentialKernel(; λ=Param(0.18; bounds=(0.001, 0.5))),
)
allee_p = AlleeExtinction{:P}(; minfounders=Param(20.0; bounds=(0.0, 200.0)))

# Define the ruleset
host_para_ruleset = Ruleset(localdisp, wind, allee, growth, localdisp_p, allee_p, parasitism)

output = ElectronOutput((H=init_h, P=init_p);
    ruleset=host_para_ruleset,
    aux=auxdata,
    mask=mask,
    tspan=tspan,
    minval=[0.0 0.0], maxval=[carrycap carrycap],
    scheme=[ColorSchemes.autumn ColorSchemes.jet],
)

max_stars_repo_name: EcoJulia/Julia-PhD-course-Copenhagen

max_issues_repo_name: EcoJulia/Julia-PhD-course-Copenhagen

max_forks_repo_name: EcoJulia/Julia-PhD-course-Copenhagen