#vars [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11]

#weights <2 2 2 2 2 2 2 2 2 1 1>

#list

[
41447*x1^2 + 6324*x1*x2 + 19002*x2^2 + 1149*x1*x3 + 12017*x2*x3 + 57728*x3^2 + 63422*x1*x4 + 58461*x2*x4 + 35873*x3*x4 + 53726*x4^2 + 18242*x1*x5 + 52243*x2*x5 + 26384*x3*x5 + 39084*x4*x5 + 39884*x5^2 + 23125*x1*x6 + 13088*x2*x6 + 31579*x3*x6 + 45369*x4*x6 + 53415*x5*x6 + 42806*x6^2 + 3617*x1*x7 + 55792*x2*x7 + 37623*x3*x7 + 21921*x4*x7 + 55825*x5*x7 + 39087*x6*x7 + 41207*x7^2 + 20751*x1*x8 + 28638*x2*x8 + 19022*x3*x8 + 52677*x4*x8 + 4535*x5*x8 + 3989*x6*x8 + 14786*x7*x8 + 36503*x8^2 + 4554*x1*x9 + 51460*x2*x9 + 61287*x3*x9 + 39299*x4*x9 + 57151*x5*x9 + 3236*x6*x9 + 56165*x7*x9 + 40778*x8*x9 + 5246*x9^2 + 32107*x1*x10^2 + 64679*x2*x10^2 + 33358*x3*x10^2 + 2986*x4*x10^2 + 36618*x5*x10^2 + 28874*x6*x10^2 + 15463*x7*x10^2 + 34189*x8*x10^2 + 64135*x9*x10^2 + 55472*x10^4 + 6438*x1*x10*x11 + 33777*x2*x10*x11 + 64502*x3*x10*x11 + 56022*x4*x10*x11 + 56376*x5*x10*x11 + 28227*x6*x10*x11 + 15865*x7*x10*x11 + 5445*x8*x10*x11 + 23754*x9*x10*x11 + 28867*x10^3*x11 + 23479*x1*x11^2 + 14976*x2*x11^2 + 33559*x3*x11^2 + 27264*x4*x11^2 + 23606*x5*x11^2 + 56314*x6*x11^2 + 4622*x7*x11^2 + 19689*x8*x11^2 + 9928*x9*x11^2 + 3815*x10^2*x11^2 + 515*x10*x11^3 + 11956*x11^4 + 36483*x1*x10 + 20071*x2*x10 + 16998*x3*x10 + 32349*x4*x10 + 58987*x5*x10 + 53477*x6*x10 + 16615*x7*x10 + 17821*x8*x10 + 52725*x9*x10 + 20717*x10^3 + 38069*x1*x11 + 53796*x2*x11 + 51241*x3*x11 + 17383*x4*x11 + 56585*x5*x11 + 32186*x6*x11 + 10963*x7*x11 + 3232*x8*x11 + 44798*x9*x11 + 10017*x10^2*x11 + 21864*x10*x11^2 + 59863*x11^3 + 4851*x1 + 17649*x2 + 26971*x3 + 21228*x4 + 46631*x5 + 32223*x6 + 36150*x7 + 25976*x8 + 36561*x9 + 12045*x10^2 + 5716*x10*x11 + 37730*x11^2 + 13984*x10 + 21314*x11 + 55881,
19279*x1^2 + 27218*x1*x2 + 31675*x2^2 + 5590*x1*x3 + 63205*x2*x3 + 61337*x3^2 + 16391*x1*x4 + 55252*x2*x4 + 45074*x3*x4 + 11233*x4^2 + 3735*x1*x5 + 48656*x2*x5 + 9846*x3*x5 + 39899*x4*x5 + 40609*x5^2 + 49340*x1*x6 + 52451*x2*x6 + 46633*x3*x6 + 8726*x4*x6 + 29436*x5*x6 + 39047*x6^2 + 18105*x1*x7 + 46423*x2*x7 + 42874*x3*x7 + 3067*x4*x7 + 57833*x5*x7 + 29472*x6*x7 + 60211*x7^2 + 29641*x1*x8 + 49691*x2*x8 + 19984*x3*x8 + 11230*x4*x8 + 27887*x5*x8 + 18996*x6*x8 + 47136*x7*x8 + 8040*x8^2 + 14918*x1*x9 + 36883*x2*x9 + 9542*x3*x9 + 7054*x4*x9 + 42637*x5*x9 + 34357*x6*x9 + 15600*x7*x9 + 10287*x8*x9 + 17262*x9^2 + 2124*x1*x10^2 + 46194*x2*x10^2 + 42748*x3*x10^2 + 41888*x4*x10^2 + 17922*x5*x10^2 + 3276*x6*x10^2 + 46437*x7*x10^2 + 18800*x8*x10^2 + 43712*x9*x10^2 + 10262*x10^4 + 3212*x1*x10*x11 + 35005*x2*x10*x11 + 26594*x3*x10*x11 + 9400*x4*x10*x11 + 43210*x5*x10*x11 + 26742*x6*x10*x11 + 59672*x7*x10*x11 + 12790*x8*x10*x11 + 60451*x9*x10*x11 + 17239*x10^3*x11 + 13526*x1*x11^2 + 9679*x2*x11^2 + 50612*x3*x11^2 + 49208*x4*x11^2 + 64622*x5*x11^2 + 44141*x6*x11^2 + 38943*x7*x11^2 + 53075*x8*x11^2 + 10444*x9*x11^2 + 7667*x10^2*x11^2 + 38461*x10*x11^3 + 15031*x11^4 + 36060*x1*x10 + 62989*x2*x10 + 58892*x3*x10 + 3998*x4*x10 + 32155*x5*x10 + 8759*x6*x10 + 41482*x7*x10 + 58131*x8*x10 + 20193*x9*x10 + 2788*x10^3 + 60868*x1*x11 + 61553*x2*x11 + 32890*x3*x11 + 49158*x4*x11 + 39986*x5*x11 + 51668*x6*x11 + 13386*x7*x11 + 14308*x8*x11 + 6379*x9*x11 + 19514*x10^2*x11 + 21429*x10*x11^2 + 13603*x11^3 + 21591*x1 + 1697*x2 + 6521*x3 + 19792*x4 + 40213*x5 + 31346*x6 + 21438*x7 + 27004*x8 + 11358*x9 + 17672*x10^2 + 36109*x10*x11 + 8858*x11^2 + 27602*x10 + 10437*x11 + 7720,
43214*x1^2 + 44182*x1*x2 + 21065*x2^2 + 7182*x1*x3 + 15692*x2*x3 + 45732*x3^2 + 53690*x1*x4 + 13879*x2*x4 + 27132*x3*x4 + 29860*x4^2 + 62129*x1*x5 + 60976*x2*x5 + 60532*x3*x5 + 55830*x4*x5 + 56234*x5^2 + 21033*x1*x6 + 60554*x2*x6 + 58211*x3*x6 + 14418*x4*x6 + 1166*x5*x6 + 41861*x6^2 + 26229*x1*x7 + 64038*x2*x7 + 50289*x3*x7 + 58246*x4*x7 + 18564*x5*x7 + 10662*x6*x7 + 51935*x7^2 + 49759*x1*x8 + 41581*x2*x8 + 36860*x3*x8 + 17036*x4*x8 + 46631*x5*x8 + 61564*x6*x8 + 56210*x7*x8 + 25116*x8^2 + 47144*x1*x9 + 47250*x2*x9 + 6490*x3*x9 + 17895*x4*x9 + 5653*x5*x9 + 57333*x6*x9 + 14150*x7*x9 + 19774*x8*x9 + 53759*x9^2 + 47000*x1*x10^2 + 57207*x2*x10^2 + 30360*x3*x10^2 + 64828*x4*x10^2 + 4775*x5*x10^2 + 23502*x6*x10^2 + 63234*x7*x10^2 + 16190*x8*x10^2 + 46474*x9*x10^2 + 27687*x10^4 + 51230*x1*x10*x11 + 45713*x2*x10*x11 + 7409*x3*x10*x11 + 40613*x4*x10*x11 + 7789*x5*x10*x11 + 25415*x6*x10*x11 + 33854*x7*x10*x11 + 2624*x8*x10*x11 + 48526*x9*x10*x11 + 18391*x10^3*x11 + 44273*x1*x11^2 + 55971*x2*x11^2 + 38604*x3*x11^2 + 47338*x4*x11^2 + 12774*x5*x11^2 + 34494*x6*x11^2 + 22426*x7*x11^2 + 60338*x8*x11^2 + 27318*x9*x11^2 + 6700*x10^2*x11^2 + 42948*x10*x11^3 + 56195*x11^4 + 57251*x1*x10 + 1298*x2*x10 + 48704*x3*x10 + 36441*x4*x10 + 6735*x5*x10 + 10507*x6*x10 + 20653*x7*x10 + 44888*x8*x10 + 37360*x9*x10 + 57861*x10^3 + 15331*x1*x11 + 64988*x2*x11 + 10221*x3*x11 + 13824*x4*x11 + 53747*x5*x11 + 40901*x6*x11 + 17816*x7*x11 + 23054*x8*x11 + 36897*x9*x11 + 41839*x10^2*x11 + 41715*x10*x11^2 + 17057*x11^3 + 19107*x1 + 34698*x2 + 38607*x3 + 26362*x4 + 7491*x5 + 36884*x6 + 56323*x7 + 12739*x8 + 49315*x9 + 64437*x10^2 + 22788*x10*x11 + 44627*x11^2 + 58050*x10 + 13763*x11 + 47142,
56785*x1^2 + 24905*x1*x2 + 28353*x2^2 + 5312*x1*x3 + 972*x2*x3 + 60459*x3^2 + 4936*x1*x4 + 26229*x2*x4 + 18020*x3*x4 + 319*x4^2 + 23322*x1*x5 + 24971*x2*x5 + 12716*x3*x5 + 44030*x4*x5 + 5825*x5^2 + 45280*x1*x6 + 12946*x2*x6 + 14903*x3*x6 + 59400*x4*x6 + 15245*x5*x6 + 57159*x6^2 + 35172*x1*x7 + 26574*x2*x7 + 58715*x3*x7 + 21079*x4*x7 + 28175*x5*x7 + 48903*x6*x7 + 61607*x7^2 + 27796*x1*x8 + 54266*x2*x8 + 57214*x3*x8 + 15123*x4*x8 + 62837*x5*x8 + 20762*x6*x8 + 5940*x7*x8 + 31890*x8^2 + 48015*x1*x9 + 25110*x2*x9 + 36261*x3*x9 + 19143*x4*x9 + 15478*x5*x9 + 29067*x6*x9 + 51744*x7*x9 + 57307*x8*x9 + 9454*x9^2 + 50083*x1*x10^2 + 24390*x2*x10^2 + 13150*x3*x10^2 + 51709*x4*x10^2 + 50198*x5*x10^2 + 59264*x6*x10^2 + 26057*x7*x10^2 + 15360*x8*x10^2 + 18911*x9*x10^2 + 64764*x10^4 + 38031*x1*x10*x11 + 35197*x2*x10*x11 + 12345*x3*x10*x11 + 13411*x4*x10*x11 + 34233*x5*x10*x11 + 2332*x6*x10*x11 + 36458*x7*x10*x11 + 14514*x8*x10*x11 + 9069*x9*x10*x11 + 50976*x10^3*x11 + 33720*x1*x11^2 + 8213*x2*x11^2 + 28135*x3*x11^2 + 8670*x4*x11^2 + 25231*x5*x11^2 + 2684*x6*x11^2 + 23390*x7*x11^2 + 21678*x8*x11^2 + 13861*x9*x11^2 + 18251*x10^2*x11^2 + 3194*x10*x11^3 + 30763*x11^4 + 129*x1*x10 + 40458*x2*x10 + 65078*x3*x10 + 45635*x4*x10 + 35647*x5*x10 + 38957*x6*x10 + 615*x7*x10 + 39578*x8*x10 + 3428*x9*x10 + 7771*x10^3 + 14902*x1*x11 + 51394*x2*x11 + 23746*x3*x11 + 56322*x4*x11 + 53853*x5*x11 + 23152*x6*x11 + 19205*x7*x11 + 47323*x8*x11 + 35779*x9*x11 + 20480*x10^2*x11 + 30028*x10*x11^2 + 22221*x11^3 + 15028*x1 + 60098*x2 + 990*x3 + 46869*x4 + 22493*x5 + 6723*x6 + 33219*x7 + 4647*x8 + 41888*x9 + 17438*x10^2 + 16554*x10*x11 + 58568*x11^2 + 46727*x10 + 9067*x11 + 59381,
54611*x1^2 + 42722*x1*x2 + 14094*x2^2 + 18679*x1*x3 + 34647*x2*x3 + 36343*x3^2 + 3773*x1*x4 + 63811*x2*x4 + 13740*x3*x4 + 44158*x4^2 + 35175*x1*x5 + 43093*x2*x5 + 37452*x3*x5 + 18536*x4*x5 + 59499*x5^2 + 1667*x1*x6 + 62790*x2*x6 + 45139*x3*x6 + 6771*x4*x6 + 48866*x5*x6 + 52349*x6^2 + 51568*x1*x7 + 55040*x2*x7 + 63561*x3*x7 + 46756*x4*x7 + 26404*x5*x7 + 26674*x6*x7 + 41874*x7^2 + 61226*x1*x8 + 5420*x2*x8 + 62044*x3*x8 + 38592*x4*x8 + 3352*x5*x8 + 10560*x6*x8 + 59952*x7*x8 + 55326*x8^2 + 2618*x1*x9 + 65020*x2*x9 + 31295*x3*x9 + 21355*x4*x9 + 29728*x5*x9 + 5883*x6*x9 + 17803*x7*x9 + 43996*x8*x9 + 65051*x9^2 + 1041*x1*x10^2 + 53293*x2*x10^2 + 64651*x3*x10^2 + 22015*x4*x10^2 + 21137*x5*x10^2 + 14312*x6*x10^2 + 22403*x7*x10^2 + 55024*x8*x10^2 + 32872*x9*x10^2 + 39480*x10^4 + 20764*x1*x10*x11 + 6016*x2*x10*x11 + 22137*x3*x10*x11 + 22841*x4*x10*x11 + 16668*x5*x10*x11 + 17303*x6*x10*x11 + 13564*x7*x10*x11 + 61694*x8*x10*x11 + 362*x9*x10*x11 + 31372*x10^3*x11 + 33542*x1*x11^2 + 30537*x2*x11^2 + 37555*x3*x11^2 + 57664*x4*x11^2 + 12296*x5*x11^2 + 34661*x6*x11^2 + 4112*x7*x11^2 + 17857*x8*x11^2 + 11688*x9*x11^2 + 58865*x10^2*x11^2 + 32210*x10*x11^3 + 36610*x11^4 + 8462*x1*x10 + 49325*x2*x10 + 59602*x3*x10 + 38178*x4*x10 + 2449*x5*x10 + 6830*x6*x10 + 22161*x7*x10 + 61266*x8*x10 + 56261*x9*x10 + 6812*x10^3 + 41884*x1*x11 + 10623*x2*x11 + 64783*x3*x11 + 20619*x4*x11 + 55231*x5*x11 + 37253*x6*x11 + 32332*x7*x11 + 29106*x8*x11 + 27373*x9*x11 + 51781*x10^2*x11 + 33172*x10*x11^2 + 45009*x11^3 + 36291*x1 + 51950*x2 + 34985*x3 + 5557*x4 + 17930*x5 + 43964*x6 + 61555*x7 + 29982*x8 + 4694*x9 + 14780*x10^2 + 26717*x10*x11 + 61793*x11^2 + 16469*x10 + 1866*x11 + 50924,
45990*x1^2 + 51123*x1*x2 + 45124*x2^2 + 53014*x1*x3 + 45780*x2*x3 + 53771*x3^2 + 40121*x1*x4 + 14581*x2*x4 + 60221*x3*x4 + 45053*x4^2 + 45287*x1*x5 + 14445*x2*x5 + 40065*x3*x5 + 15157*x4*x5 + 33418*x5^2 + 60458*x1*x6 + 41120*x2*x6 + 45829*x3*x6 + 26750*x4*x6 + 4671*x5*x6 + 33012*x6^2 + 46520*x1*x7 + 48375*x2*x7 + 29695*x3*x7 + 43605*x4*x7 + 64403*x5*x7 + 46677*x6*x7 + 10645*x7^2 + 24412*x1*x8 + 2605*x2*x8 + 16667*x3*x8 + 54088*x4*x8 + 34122*x5*x8 + 17219*x6*x8 + 8305*x7*x8 + 35125*x8^2 + 11885*x1*x9 + 9901*x2*x9 + 39773*x3*x9 + 48285*x4*x9 + 27693*x5*x9 + 49473*x6*x9 + 4284*x7*x9 + 38704*x8*x9 + 45018*x9^2 + 19686*x1*x10^2 + 28158*x2*x10^2 + 32939*x3*x10^2 + 22655*x4*x10^2 + 27052*x5*x10^2 + 33511*x6*x10^2 + 53212*x7*x10^2 + 2630*x8*x10^2 + 7032*x9*x10^2 + 720*x10^4 + 62964*x1*x10*x11 + 56089*x2*x10*x11 + 55390*x3*x10*x11 + 50263*x4*x10*x11 + 8020*x5*x10*x11 + 56343*x6*x10*x11 + 59233*x7*x10*x11 + 49435*x8*x10*x11 + 31181*x9*x10*x11 + 59565*x10^3*x11 + 14031*x1*x11^2 + 63910*x2*x11^2 + 14964*x3*x11^2 + 9358*x4*x11^2 + 63726*x5*x11^2 + 40635*x6*x11^2 + 35085*x7*x11^2 + 57955*x8*x11^2 + 53758*x9*x11^2 + 40736*x10^2*x11^2 + 62625*x10*x11^3 + 6487*x11^4 + 45142*x1*x10 + 23321*x2*x10 + 41460*x3*x10 + 28450*x4*x10 + 5837*x5*x10 + 7814*x6*x10 + 61602*x7*x10 + 8334*x8*x10 + 2000*x9*x10 + 22237*x10^3 + 31703*x1*x11 + 50660*x2*x11 + 11982*x3*x11 + 38784*x4*x11 + 29707*x5*x11 + 25114*x6*x11 + 58770*x7*x11 + 49620*x8*x11 + 48197*x9*x11 + 3446*x10^2*x11 + 13839*x10*x11^2 + 62097*x11^3 + 60480*x1 + 40556*x2 + 24852*x3 + 36298*x4 + 36709*x5 + 64454*x6 + 13314*x7 + 43375*x8 + 9312*x9 + 48633*x10^2 + 17182*x10*x11 + 16472*x11^2 + 56263*x10 + 34290*x11 + 61256,
6693*x1^2 + 6228*x1*x2 + 21217*x2^2 + 6337*x1*x3 + 31747*x2*x3 + 16459*x3^2 + 42815*x1*x4 + 62004*x2*x4 + 1348*x3*x4 + 60129*x4^2 + 58427*x1*x5 + 52907*x2*x5 + 49970*x3*x5 + 63397*x4*x5 + 38030*x5^2 + 64680*x1*x6 + 47268*x2*x6 + 38858*x3*x6 + 58695*x4*x6 + 3237*x5*x6 + 41995*x6^2 + 22169*x1*x7 + 27417*x2*x7 + 48452*x3*x7 + 16680*x4*x7 + 16455*x5*x7 + 44488*x6*x7 + 60221*x7^2 + 49747*x1*x8 + 53099*x2*x8 + 60256*x3*x8 + 28409*x4*x8 + 36423*x5*x8 + 51041*x6*x8 + 12192*x7*x8 + 22518*x8^2 + 9943*x1*x9 + 36771*x2*x9 + 15994*x3*x9 + 6798*x4*x9 + 5416*x5*x9 + 46170*x6*x9 + 10855*x7*x9 + 9392*x8*x9 + 25881*x9^2 + 55964*x1*x10^2 + 17239*x2*x10^2 + 33157*x3*x10^2 + 9407*x4*x10^2 + 58438*x5*x10^2 + 33450*x6*x10^2 + 15895*x7*x10^2 + 33584*x8*x10^2 + 10599*x9*x10^2 + 14818*x10^4 + 49300*x1*x10*x11 + 2855*x2*x10*x11 + 14495*x3*x10*x11 + 50300*x4*x10*x11 + 5002*x5*x10*x11 + 14440*x6*x10*x11 + 21874*x7*x10*x11 + 30279*x8*x10*x11 + 18758*x9*x10*x11 + 3747*x10^3*x11 + 51666*x1*x11^2 + 3344*x2*x11^2 + 41885*x3*x11^2 + 30737*x4*x11^2 + 64350*x5*x11^2 + 38918*x6*x11^2 + 63180*x7*x11^2 + 54036*x8*x11^2 + 55520*x9*x11^2 + 8145*x10^2*x11^2 + 5724*x10*x11^3 + 1228*x11^4 + 20962*x1*x10 + 24439*x2*x10 + 30861*x3*x10 + 38816*x4*x10 + 35429*x5*x10 + 37877*x6*x10 + 61130*x7*x10 + 54948*x8*x10 + 16499*x9*x10 + 11037*x10^3 + 1851*x1*x11 + 14033*x2*x11 + 8449*x3*x11 + 61482*x4*x11 + 29026*x5*x11 + 56150*x6*x11 + 34775*x7*x11 + 64449*x8*x11 + 48447*x9*x11 + 29651*x10^2*x11 + 16902*x10*x11^2 + 20762*x11^3 + 612*x1 + 63826*x2 + 42058*x3 + 41652*x4 + 60068*x5 + 1462*x6 + 54437*x7 + 39211*x8 + 24773*x9 + 11221*x10^2 + 12316*x10*x11 + 27731*x11^2 + 42993*x10 + 34000*x11 + 9730,
35760*x1^2 + 40237*x1*x2 + 65175*x2^2 + 36237*x1*x3 + 14256*x2*x3 + 31677*x3^2 + 45833*x1*x4 + 27597*x2*x4 + 14176*x3*x4 + 58985*x4^2 + 15961*x1*x5 + 31406*x2*x5 + 11482*x3*x5 + 48902*x4*x5 + 54802*x5^2 + 33528*x1*x6 + 52448*x2*x6 + 27300*x3*x6 + 31370*x4*x6 + 5129*x5*x6 + 52648*x6^2 + 14342*x1*x7 + 12933*x2*x7 + 52484*x3*x7 + 625*x4*x7 + 61546*x5*x7 + 44371*x6*x7 + 57235*x7^2 + 9167*x1*x8 + 53580*x2*x8 + 33258*x3*x8 + 10136*x4*x8 + 11316*x5*x8 + 22426*x6*x8 + 4297*x7*x8 + 19437*x8^2 + 59232*x1*x9 + 4*x2*x9 + 47823*x3*x9 + 61318*x4*x9 + 55688*x5*x9 + 20985*x6*x9 + 44732*x7*x9 + 58101*x8*x9 + 43813*x9^2 + 44214*x1*x10^2 + 27840*x2*x10^2 + 45128*x3*x10^2 + 1944*x4*x10^2 + 18088*x5*x10^2 + 3122*x6*x10^2 + 44773*x7*x10^2 + 38993*x8*x10^2 + 54182*x9*x10^2 + 56219*x10^4 + 17407*x1*x10*x11 + 37630*x2*x10*x11 + 31928*x3*x10*x11 + 40850*x4*x10*x11 + 7979*x5*x10*x11 + 493*x6*x10*x11 + 49654*x7*x10*x11 + 1806*x8*x10*x11 + 34257*x9*x10*x11 + 26162*x10^3*x11 + 15892*x1*x11^2 + 63556*x2*x11^2 + 8846*x3*x11^2 + 59468*x4*x11^2 + 52219*x5*x11^2 + 60349*x6*x11^2 + 33893*x7*x11^2 + 50871*x8*x11^2 + 48305*x9*x11^2 + 6037*x10^2*x11^2 + 43935*x10*x11^3 + 51343*x11^4 + 28018*x1*x10 + 8715*x2*x10 + 20217*x3*x10 + 9269*x4*x10 + 54595*x5*x10 + 64074*x6*x10 + 39052*x7*x10 + 26825*x8*x10 + 58096*x9*x10 + 56564*x10^3 + 17762*x1*x11 + 38530*x2*x11 + 36379*x3*x11 + 22855*x4*x11 + 24523*x5*x11 + 52444*x6*x11 + 20632*x7*x11 + 3250*x8*x11 + 5080*x9*x11 + 3692*x10^2*x11 + 52197*x10*x11^2 + 4653*x11^3 + 51977*x1 + 38899*x2 + 23270*x3 + 32484*x4 + 44639*x5 + 30273*x6 + 30038*x7 + 42618*x8 + 54746*x9 + 63620*x10^2 + 65263*x10*x11 + 10218*x11^2 + 21782*x10 + 10944*x11 + 40419,
29458*x1^2 + 51609*x1*x2 + 49030*x2^2 + 19428*x1*x3 + 23620*x2*x3 + 59397*x3^2 + 7700*x1*x4 + 17871*x2*x4 + 10413*x3*x4 + 6190*x4^2 + 64680*x1*x5 + 54413*x2*x5 + 47968*x3*x5 + 35160*x4*x5 + 41699*x5^2 + 54179*x1*x6 + 62220*x2*x6 + 21488*x3*x6 + 38506*x4*x6 + 56793*x5*x6 + 61320*x6^2 + 64677*x1*x7 + 29545*x2*x7 + 61796*x3*x7 + 24738*x4*x7 + 12898*x5*x7 + 14893*x6*x7 + 14358*x7^2 + 27996*x1*x8 + 40594*x2*x8 + 64901*x3*x8 + 49338*x4*x8 + 62277*x5*x8 + 16084*x6*x8 + 50343*x7*x8 + 53874*x8^2 + 60890*x1*x9 + 22279*x2*x9 + 43125*x3*x9 + 53618*x4*x9 + 31295*x5*x9 + 28061*x6*x9 + 3044*x7*x9 + 25807*x8*x9 + 61070*x9^2 + 42176*x1*x10^2 + 47593*x2*x10^2 + 50732*x3*x10^2 + 21187*x4*x10^2 + 18993*x5*x10^2 + 63339*x6*x10^2 + 58174*x7*x10^2 + 31650*x8*x10^2 + 22894*x9*x10^2 + 39892*x10^4 + 1655*x1*x10*x11 + 11271*x2*x10*x11 + 49692*x3*x10*x11 + 4978*x4*x10*x11 + 42925*x5*x10*x11 + 5689*x6*x10*x11 + 20802*x7*x10*x11 + 32130*x8*x10*x11 + 35171*x9*x10*x11 + 24756*x10^3*x11 + 54333*x1*x11^2 + 11371*x2*x11^2 + 14997*x3*x11^2 + 2838*x4*x11^2 + 55251*x5*x11^2 + 4305*x6*x11^2 + 27092*x7*x11^2 + 28603*x8*x11^2 + 16043*x9*x11^2 + 36033*x10^2*x11^2 + 1109*x10*x11^3 + 61406*x11^4 + 53445*x1*x10 + 45218*x2*x10 + 34632*x3*x10 + 64726*x4*x10 + 58370*x5*x10 + 4390*x6*x10 + 35679*x7*x10 + 60942*x8*x10 + 13778*x9*x10 + 44446*x10^3 + 6281*x1*x11 + 58025*x2*x11 + 42401*x3*x11 + 32488*x4*x11 + 535*x5*x11 + 61081*x6*x11 + 22227*x7*x11 + 6748*x8*x11 + 43975*x9*x11 + 56779*x10^2*x11 + 26927*x10*x11^2 + 28621*x11^3 + 21513*x1 + 31684*x2 + 11038*x3 + 23859*x4 + 41579*x5 + 24385*x6 + 29997*x7 + 47062*x8 + 45212*x9 + 55211*x10^2 + 64134*x10*x11 + 49802*x11^2 + 48569*x10 + 11169*x11 + 58468,
64211*x1^2 + 46509*x1*x2 + 43214*x2^2 + 26771*x1*x3 + 50788*x2*x3 + 39915*x3^2 + 9875*x1*x4 + 1165*x2*x4 + 51523*x3*x4 + 18196*x4^2 + 29742*x1*x5 + 25937*x2*x5 + 55745*x3*x5 + 2910*x4*x5 + 52144*x5^2 + 62465*x1*x6 + 60127*x2*x6 + 41569*x3*x6 + 25629*x4*x6 + 55415*x5*x6 + 54212*x6^2 + 40703*x1*x7 + 35165*x2*x7 + 60527*x3*x7 + 36566*x4*x7 + 19873*x5*x7 + 64420*x6*x7 + 23307*x7^2 + 40962*x1*x8 + 56399*x2*x8 + 56421*x3*x8 + 54985*x4*x8 + 22245*x5*x8 + 32773*x6*x8 + 19862*x7*x8 + 40489*x8^2 + 40949*x1*x9 + 8972*x2*x9 + 16127*x3*x9 + 50619*x4*x9 + 39168*x5*x9 + 11820*x6*x9 + 27977*x7*x9 + 9263*x8*x9 + 49820*x9^2 + 65249*x1*x10^2 + 39489*x2*x10^2 + 35633*x3*x10^2 + 60136*x4*x10^2 + 57407*x5*x10^2 + 19255*x6*x10^2 + 54497*x7*x10^2 + 58907*x8*x10^2 + 31874*x9*x10^2 + 1819*x10^4 + 15706*x1*x10*x11 + 58245*x2*x10*x11 + 30432*x3*x10*x11 + 7002*x4*x10*x11 + 44948*x5*x10*x11 + 8547*x6*x10*x11 + 16471*x7*x10*x11 + 58587*x8*x10*x11 + 41236*x9*x10*x11 + 8628*x10^3*x11 + 38859*x1*x11^2 + 60626*x2*x11^2 + 49064*x3*x11^2 + 33213*x4*x11^2 + 56913*x5*x11^2 + 963*x6*x11^2 + 22559*x7*x11^2 + 40743*x8*x11^2 + 28779*x9*x11^2 + 21427*x10^2*x11^2 + 55520*x10*x11^3 + 19326*x11^4 + 52780*x1*x10 + 16689*x2*x10 + 65140*x3*x10 + 18234*x4*x10 + 644*x5*x10 + 41876*x6*x10 + 42028*x7*x10 + 64109*x8*x10 + 36945*x9*x10 + 13170*x10^3 + 62335*x1*x11 + 19924*x2*x11 + 62437*x3*x11 + 61669*x4*x11 + 17859*x5*x11 + 25035*x6*x11 + 39804*x7*x11 + 21683*x8*x11 + 2396*x9*x11 + 54149*x10^2*x11 + 11816*x10*x11^2 + 52197*x11^3 + 57774*x1 + 5723*x2 + 428*x3 + 48053*x4 + 34775*x5 + 42194*x6 + 28780*x7 + 6537*x8 + 3345*x9 + 42244*x10^2 + 57087*x10*x11 + 42952*x11^2 + 15366*x10 + 40621*x11 + 54865,
45308*x1^2 + 11783*x1*x2 + 27983*x2^2 + 25560*x1*x3 + 14660*x2*x3 + 17969*x3^2 + 20450*x1*x4 + 51164*x2*x4 + 446*x3*x4 + 65067*x4^2 + 37112*x1*x5 + 30355*x2*x5 + 40845*x3*x5 + 60550*x4*x5 + 49533*x5^2 + 41812*x1*x6 + 33561*x2*x6 + 48133*x3*x6 + 34745*x4*x6 + 38483*x5*x6 + 58754*x6^2 + 11015*x1*x7 + 16832*x2*x7 + 48603*x3*x7 + 6585*x4*x7 + 59457*x5*x7 + 44465*x6*x7 + 48335*x7^2 + 11808*x1*x8 + 63138*x2*x8 + 39191*x3*x8 + 21369*x4*x8 + 57795*x5*x8 + 14797*x6*x8 + 7194*x7*x8 + 30433*x8^2 + 31448*x1*x9 + 51168*x2*x9 + 18827*x3*x9 + 19227*x4*x9 + 40289*x5*x9 + 32337*x6*x9 + 29468*x7*x9 + 6928*x8*x9 + 3156*x9^2 + 14193*x1*x10^2 + 5927*x2*x10^2 + 59455*x3*x10^2 + 30277*x4*x10^2 + 48421*x5*x10^2 + 34023*x6*x10^2 + 55774*x7*x10^2 + 37017*x8*x10^2 + 58388*x9*x10^2 + 61308*x10^4 + 765*x1*x10*x11 + 21128*x2*x10*x11 + 23888*x3*x10*x11 + 57133*x4*x10*x11 + 4858*x5*x10*x11 + 4279*x6*x10*x11 + 2567*x7*x10*x11 + 8229*x8*x10*x11 + 46208*x9*x10*x11 + 46715*x10^3*x11 + 3222*x1*x11^2 + 5983*x2*x11^2 + 13611*x3*x11^2 + 48846*x4*x11^2 + 14259*x5*x11^2 + 43237*x6*x11^2 + 16670*x7*x11^2 + 52498*x8*x11^2 + 45508*x9*x11^2 + 37437*x10^2*x11^2 + 52079*x10*x11^3 + 53729*x11^4 + 58997*x1*x10 + 7615*x2*x10 + 18376*x3*x10 + 35557*x4*x10 + 29128*x5*x10 + 64569*x6*x10 + 4152*x7*x10 + 52809*x8*x10 + 24654*x9*x10 + 35665*x10^3 + 21266*x1*x11 + 32537*x2*x11 + 26687*x3*x11 + 31133*x4*x11 + 64167*x5*x11 + 6702*x6*x11 + 54990*x7*x11 + 49092*x8*x11 + 3715*x9*x11 + 30620*x10^2*x11 + 28170*x10*x11^2 + 29044*x11^3 + 13741*x1 + 59479*x2 + 13862*x3 + 39731*x4 + 44141*x5 + 24440*x6 + 62212*x7 + 14721*x8 + 44388*x9 + 54863*x10^2 + 11235*x10*x11 + 12526*x11^2 + 7058*x10 + 53973*x11 + 58232
]
: