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

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

#list

[
41732*x1^2 + 58489*x1*x2 + 56923*x2^2 + 54498*x1*x3 + 6158*x2*x3 + 2397*x3^2 + 62573*x1*x4 + 17244*x2*x4 + 37917*x3*x4 + 54011*x4^2 + 18390*x1*x5 + 27159*x2*x5 + 52226*x3*x5 + 47225*x4*x5 + 6548*x5^2 + 45040*x1*x6 + 38774*x2*x6 + 10418*x3*x6 + 60011*x4*x6 + 10642*x5*x6 + 21765*x6^2 + 6254*x1*x7 + 36754*x2*x7 + 47121*x3*x7 + 54862*x4*x7 + 2235*x5*x7 + 24442*x6*x7 + 9524*x7^2 + 41739*x1*x8 + 20372*x2*x8 + 11240*x3*x8 + 33363*x4*x8 + 20091*x5*x8 + 64025*x6*x8 + 37837*x7*x8 + 57020*x8^2 + 27281*x1*x9^2 + 7146*x2*x9^2 + 65497*x3*x9^2 + 7312*x4*x9^2 + 19627*x5*x9^2 + 49817*x6*x9^2 + 38631*x7*x9^2 + 38827*x8*x9^2 + 58964*x9^4 + 8157*x1*x9*x10 + 55803*x2*x9*x10 + 117*x3*x9*x10 + 14355*x4*x9*x10 + 16833*x5*x9*x10 + 7130*x6*x9*x10 + 65295*x7*x9*x10 + 22597*x8*x9*x10 + 11728*x9^3*x10 + 47073*x1*x10^2 + 58112*x2*x10^2 + 10479*x3*x10^2 + 23551*x4*x10^2 + 48738*x5*x10^2 + 23567*x6*x10^2 + 24004*x7*x10^2 + 29295*x8*x10^2 + 49865*x9^2*x10^2 + 37908*x9*x10^3 + 31434*x10^4 + 4588*x1*x9 + 39560*x2*x9 + 12935*x3*x9 + 56111*x4*x9 + 14887*x5*x9 + 15065*x6*x9 + 24118*x7*x9 + 39692*x8*x9 + 9049*x9^3 + 1504*x1*x10 + 34095*x2*x10 + 51602*x3*x10 + 32338*x4*x10 + 52272*x5*x10 + 54734*x6*x10 + 14319*x7*x10 + 45108*x8*x10 + 57172*x9^2*x10 + 60953*x9*x10^2 + 44080*x10^3 + 38793*x1 + 10063*x2 + 18307*x3 + 46619*x4 + 64895*x5 + 402*x6 + 52973*x7 + 31652*x8 + 60531*x9^2 + 5844*x9*x10 + 64866*x10^2 + 13196*x9 + 24729*x10 + 16806,
49477*x1^2 + 25897*x1*x2 + 6677*x2^2 + 43697*x1*x3 + 5694*x2*x3 + 5946*x3^2 + 60280*x1*x4 + 33910*x2*x4 + 47586*x3*x4 + 3260*x4^2 + 6708*x1*x5 + 30401*x2*x5 + 8884*x3*x5 + 17683*x4*x5 + 52584*x5^2 + 37238*x1*x6 + 59404*x2*x6 + 41686*x3*x6 + 45187*x4*x6 + 50621*x5*x6 + 14054*x6^2 + 44773*x1*x7 + 5756*x2*x7 + 31041*x3*x7 + 12443*x4*x7 + 36652*x5*x7 + 58654*x6*x7 + 45206*x7^2 + 51404*x1*x8 + 40200*x2*x8 + 44024*x3*x8 + 26316*x4*x8 + 36213*x5*x8 + 54417*x6*x8 + 36393*x7*x8 + 61570*x8^2 + 63755*x1*x9^2 + 7524*x2*x9^2 + 20441*x3*x9^2 + 10085*x4*x9^2 + 60393*x5*x9^2 + 49038*x6*x9^2 + 62131*x7*x9^2 + 51836*x8*x9^2 + 54842*x9^4 + 33914*x1*x9*x10 + 44027*x2*x9*x10 + 10701*x3*x9*x10 + 28436*x4*x9*x10 + 16645*x5*x9*x10 + 12607*x6*x9*x10 + 9*x7*x9*x10 + 60046*x8*x9*x10 + 61386*x9^3*x10 + 39538*x1*x10^2 + 4761*x2*x10^2 + 59543*x3*x10^2 + 30844*x4*x10^2 + 41751*x5*x10^2 + 29234*x6*x10^2 + 62607*x7*x10^2 + 39939*x8*x10^2 + 53861*x9^2*x10^2 + 52906*x9*x10^3 + 37102*x10^4 + 24303*x1*x9 + 19962*x2*x9 + 57043*x3*x9 + 33565*x4*x9 + 43805*x5*x9 + 14605*x6*x9 + 29706*x7*x9 + 27373*x8*x9 + 64729*x9^3 + 60726*x1*x10 + 8738*x2*x10 + 8283*x3*x10 + 59677*x4*x10 + 58953*x5*x10 + 16409*x6*x10 + 54485*x7*x10 + 7311*x8*x10 + 38072*x9^2*x10 + 1597*x9*x10^2 + 57456*x10^3 + 32199*x1 + 13898*x2 + 34445*x3 + 15245*x4 + 9646*x5 + 6800*x6 + 55246*x7 + 33943*x8 + 917*x9^2 + 4055*x9*x10 + 50513*x10^2 + 2113*x9 + 43444*x10 + 4174,
8913*x1^2 + 50689*x1*x2 + 22386*x2^2 + 3675*x1*x3 + 32318*x2*x3 + 8411*x3^2 + 60682*x1*x4 + 27838*x2*x4 + 36503*x3*x4 + 31252*x4^2 + 4071*x1*x5 + 49032*x2*x5 + 61155*x3*x5 + 45509*x4*x5 + 35364*x5^2 + 39023*x1*x6 + 64025*x2*x6 + 36955*x3*x6 + 58767*x4*x6 + 25834*x5*x6 + 20363*x6^2 + 7202*x1*x7 + 20425*x2*x7 + 62717*x3*x7 + 33243*x4*x7 + 8767*x5*x7 + 16557*x6*x7 + 11159*x7^2 + 15346*x1*x8 + 24204*x2*x8 + 14857*x3*x8 + 49506*x4*x8 + 35888*x5*x8 + 39247*x6*x8 + 50205*x7*x8 + 55459*x8^2 + 42065*x1*x9^2 + 8712*x2*x9^2 + 39416*x3*x9^2 + 39273*x4*x9^2 + 61761*x5*x9^2 + 29357*x6*x9^2 + 11744*x7*x9^2 + 10898*x8*x9^2 + 61102*x9^4 + 12718*x1*x9*x10 + 46915*x2*x9*x10 + 17110*x3*x9*x10 + 59743*x4*x9*x10 + 13260*x5*x9*x10 + 45806*x6*x9*x10 + 39435*x7*x9*x10 + 50502*x8*x9*x10 + 29369*x9^3*x10 + 28149*x1*x10^2 + 8112*x2*x10^2 + 7845*x3*x10^2 + 60330*x4*x10^2 + 46121*x5*x10^2 + 1831*x6*x10^2 + 10996*x7*x10^2 + 1032*x8*x10^2 + 46659*x9^2*x10^2 + 53502*x9*x10^3 + 64116*x10^4 + 57620*x1*x9 + 29474*x2*x9 + 29412*x3*x9 + 62550*x4*x9 + 50033*x5*x9 + 29536*x6*x9 + 8196*x7*x9 + 63690*x8*x9 + 56658*x9^3 + 5023*x1*x10 + 59755*x2*x10 + 28312*x3*x10 + 60338*x4*x10 + 41854*x5*x10 + 10241*x6*x10 + 3562*x7*x10 + 11402*x8*x10 + 40654*x9^2*x10 + 48553*x9*x10^2 + 44676*x10^3 + 43003*x1 + 25390*x2 + 64654*x3 + 18002*x4 + 34201*x5 + 50077*x6 + 8628*x7 + 21612*x8 + 52551*x9^2 + 31525*x9*x10 + 49566*x10^2 + 39069*x9 + 37433*x10 + 25232,
41386*x1^2 + 18391*x1*x2 + 61326*x2^2 + 59754*x1*x3 + 21235*x2*x3 + 45729*x3^2 + 29702*x1*x4 + 36864*x2*x4 + 9519*x3*x4 + 21347*x4^2 + 12973*x1*x5 + 7727*x2*x5 + 1292*x3*x5 + 31527*x4*x5 + 53321*x5^2 + 60749*x1*x6 + 12772*x2*x6 + 10642*x3*x6 + 6093*x4*x6 + 31938*x5*x6 + 34696*x6^2 + 26416*x1*x7 + 52131*x2*x7 + 5023*x3*x7 + 19763*x4*x7 + 24136*x5*x7 + 60166*x6*x7 + 47704*x7^2 + 29221*x1*x8 + 10534*x2*x8 + 48197*x3*x8 + 46977*x4*x8 + 57666*x5*x8 + 47732*x6*x8 + 7408*x7*x8 + 42168*x8^2 + 15202*x1*x9^2 + 21298*x2*x9^2 + 7152*x3*x9^2 + 30678*x4*x9^2 + 24907*x5*x9^2 + 37984*x6*x9^2 + 6040*x7*x9^2 + 58448*x8*x9^2 + 49714*x9^4 + 42975*x1*x9*x10 + 53622*x2*x9*x10 + 37776*x3*x9*x10 + 20762*x4*x9*x10 + 31451*x5*x9*x10 + 30518*x6*x9*x10 + 53069*x7*x9*x10 + 62687*x8*x9*x10 + 35775*x9^3*x10 + 44075*x1*x10^2 + 27705*x2*x10^2 + 33708*x3*x10^2 + 54976*x4*x10^2 + 46733*x5*x10^2 + 6834*x6*x10^2 + 33866*x7*x10^2 + 24934*x8*x10^2 + 39808*x9^2*x10^2 + 25916*x9*x10^3 + 35634*x10^4 + 50955*x1*x9 + 54583*x2*x9 + 49853*x3*x9 + 39251*x4*x9 + 51627*x5*x9 + 41846*x6*x9 + 55044*x7*x9 + 14743*x8*x9 + 53021*x9^3 + 61687*x1*x10 + 65064*x2*x10 + 41991*x3*x10 + 5466*x4*x10 + 51506*x5*x10 + 24064*x6*x10 + 255*x7*x10 + 42879*x8*x10 + 4957*x9^2*x10 + 18509*x9*x10^2 + 18582*x10^3 + 20345*x1 + 40157*x2 + 23536*x3 + 8627*x4 + 15629*x5 + 53514*x6 + 43014*x7 + 9890*x8 + 33738*x9^2 + 49187*x9*x10 + 41864*x10^2 + 53914*x9 + 2433*x10 + 16208,
1000*x1^2 + 8831*x1*x2 + 53572*x2^2 + 20170*x1*x3 + 28760*x2*x3 + 45131*x3^2 + 29241*x1*x4 + 56915*x2*x4 + 54302*x3*x4 + 42507*x4^2 + 28854*x1*x5 + 17234*x2*x5 + 61832*x3*x5 + 57614*x4*x5 + 18890*x5^2 + 63513*x1*x6 + 4947*x2*x6 + 34191*x3*x6 + 47765*x4*x6 + 58161*x5*x6 + 43774*x6^2 + 52784*x1*x7 + 14881*x2*x7 + 8592*x3*x7 + 49881*x4*x7 + 58833*x5*x7 + 11201*x6*x7 + 16314*x7^2 + 20942*x1*x8 + 58152*x2*x8 + 19311*x3*x8 + 39362*x4*x8 + 4402*x5*x8 + 49415*x6*x8 + 9039*x7*x8 + 25533*x8^2 + 6196*x1*x9^2 + 60921*x2*x9^2 + 43284*x3*x9^2 + 28477*x4*x9^2 + 1538*x5*x9^2 + 37313*x6*x9^2 + 34866*x7*x9^2 + 36877*x8*x9^2 + 1708*x9^4 + 3903*x1*x9*x10 + 25585*x2*x9*x10 + 62876*x3*x9*x10 + 30294*x4*x9*x10 + 49205*x5*x9*x10 + 61813*x6*x9*x10 + 56946*x7*x9*x10 + 31440*x8*x9*x10 + 10596*x9^3*x10 + 39643*x1*x10^2 + 18982*x2*x10^2 + 42185*x3*x10^2 + 25909*x4*x10^2 + 52492*x5*x10^2 + 43861*x6*x10^2 + 19894*x7*x10^2 + 42318*x8*x10^2 + 20121*x9^2*x10^2 + 32517*x9*x10^3 + 368*x10^4 + 32302*x1*x9 + 15831*x2*x9 + 30427*x3*x9 + 46670*x4*x9 + 15033*x5*x9 + 7552*x6*x9 + 44349*x7*x9 + 48084*x8*x9 + 65163*x9^3 + 7060*x1*x10 + 50650*x2*x10 + 25043*x3*x10 + 53748*x4*x10 + 13594*x5*x10 + 11693*x6*x10 + 49598*x7*x10 + 52687*x8*x10 + 36605*x9^2*x10 + 21394*x9*x10^2 + 35962*x10^3 + 3826*x1 + 46375*x2 + 16338*x3 + 35877*x4 + 49528*x5 + 51604*x6 + 4228*x7 + 40689*x8 + 48740*x9^2 + 43091*x9*x10 + 21381*x10^2 + 33623*x9 + 18827*x10 + 2542,
57373*x1^2 + 61241*x1*x2 + 42289*x2^2 + 13089*x1*x3 + 1820*x2*x3 + 31797*x3^2 + 56401*x1*x4 + 1457*x2*x4 + 54191*x3*x4 + 53609*x4^2 + 6349*x1*x5 + 33858*x2*x5 + 59997*x3*x5 + 48788*x4*x5 + 51465*x5^2 + 8112*x1*x6 + 19836*x2*x6 + 46451*x3*x6 + 26479*x4*x6 + 15550*x5*x6 + 58334*x6^2 + 41755*x1*x7 + 45864*x2*x7 + 9901*x3*x7 + 57974*x4*x7 + 25098*x5*x7 + 9636*x6*x7 + 39004*x7^2 + 43747*x1*x8 + 24008*x2*x8 + 50837*x3*x8 + 12918*x4*x8 + 21930*x5*x8 + 56455*x6*x8 + 51080*x7*x8 + 45814*x8^2 + 55662*x1*x9^2 + 5223*x2*x9^2 + 25643*x3*x9^2 + 40659*x4*x9^2 + 10508*x5*x9^2 + 43121*x6*x9^2 + 33045*x7*x9^2 + 27650*x8*x9^2 + 5562*x9^4 + 54439*x1*x9*x10 + 58834*x2*x9*x10 + 45912*x3*x9*x10 + 55370*x4*x9*x10 + 38188*x5*x9*x10 + 56842*x6*x9*x10 + 48261*x7*x9*x10 + 25455*x8*x9*x10 + 49846*x9^3*x10 + 52235*x1*x10^2 + 65417*x2*x10^2 + 15342*x3*x10^2 + 31001*x4*x10^2 + 56378*x5*x10^2 + 21354*x6*x10^2 + 29466*x7*x10^2 + 10200*x8*x10^2 + 19201*x9^2*x10^2 + 25938*x9*x10^3 + 47735*x10^4 + 33304*x1*x9 + 2028*x2*x9 + 61788*x3*x9 + 39974*x4*x9 + 2534*x5*x9 + 16819*x6*x9 + 2812*x7*x9 + 7813*x8*x9 + 52751*x9^3 + 16221*x1*x10 + 48086*x2*x10 + 10875*x3*x10 + 30219*x4*x10 + 26058*x5*x10 + 52363*x6*x10 + 59565*x7*x10 + 39705*x8*x10 + 51624*x9^2*x10 + 30382*x9*x10^2 + 4803*x10^3 + 49124*x1 + 18927*x2 + 6277*x3 + 65308*x4 + 38537*x5 + 29772*x6 + 55226*x7 + 48716*x8 + 38905*x9^2 + 13865*x9*x10 + 52573*x10^2 + 11655*x9 + 40206*x10 + 60569,
29593*x1^2 + 42034*x1*x2 + 27092*x2^2 + 59099*x1*x3 + 35046*x2*x3 + 18506*x3^2 + 52192*x1*x4 + 63385*x2*x4 + 1352*x3*x4 + 57454*x4^2 + 55073*x1*x5 + 49214*x2*x5 + 5879*x3*x5 + 45518*x4*x5 + 15779*x5^2 + 42631*x1*x6 + 62423*x2*x6 + 24875*x3*x6 + 18782*x4*x6 + 62374*x5*x6 + 38505*x6^2 + 59918*x1*x7 + 65126*x2*x7 + 22842*x3*x7 + 31784*x4*x7 + 59770*x5*x7 + 28552*x6*x7 + 44561*x7^2 + 39547*x1*x8 + 25701*x2*x8 + 62315*x3*x8 + 62665*x4*x8 + 13407*x5*x8 + 49629*x6*x8 + 1745*x7*x8 + 63318*x8^2 + 24905*x1*x9^2 + 10672*x2*x9^2 + 61572*x3*x9^2 + 48687*x4*x9^2 + 56849*x5*x9^2 + 34453*x6*x9^2 + 19717*x7*x9^2 + 60509*x8*x9^2 + 24920*x9^4 + 9782*x1*x9*x10 + 23470*x2*x9*x10 + 1404*x3*x9*x10 + 20193*x4*x9*x10 + 27249*x5*x9*x10 + 41031*x6*x9*x10 + 60586*x7*x9*x10 + 52520*x8*x9*x10 + 56902*x9^3*x10 + 50204*x1*x10^2 + 2669*x2*x10^2 + 23486*x3*x10^2 + 24076*x4*x10^2 + 42648*x5*x10^2 + 32892*x6*x10^2 + 30648*x7*x10^2 + 37645*x8*x10^2 + 62636*x9^2*x10^2 + 1043*x9*x10^3 + 34732*x10^4 + 55740*x1*x9 + 22619*x2*x9 + 30513*x3*x9 + 23680*x4*x9 + 34887*x5*x9 + 64259*x6*x9 + 33821*x7*x9 + 63437*x8*x9 + 27099*x9^3 + 48084*x1*x10 + 40756*x2*x10 + 65286*x3*x10 + 29050*x4*x10 + 3475*x5*x10 + 55718*x6*x10 + 12939*x7*x10 + 15557*x8*x10 + 20480*x9^2*x10 + 33274*x9*x10^2 + 49678*x10^3 + 45493*x1 + 49405*x2 + 32644*x3 + 29869*x4 + 15925*x5 + 35083*x6 + 38510*x7 + 19484*x8 + 35858*x9^2 + 33391*x9*x10 + 28821*x10^2 + 40929*x9 + 28001*x10 + 56559,
6517*x1^2 + 32994*x1*x2 + 24764*x2^2 + 61809*x1*x3 + 57466*x2*x3 + 23066*x3^2 + 22937*x1*x4 + 7038*x2*x4 + 450*x3*x4 + 55714*x4^2 + 1512*x1*x5 + 58185*x2*x5 + 27894*x3*x5 + 38718*x4*x5 + 18283*x5^2 + 3158*x1*x6 + 46967*x2*x6 + 33162*x3*x6 + 38579*x4*x6 + 27925*x5*x6 + 48931*x6^2 + 64479*x1*x7 + 17041*x2*x7 + 29730*x3*x7 + 48809*x4*x7 + 14387*x5*x7 + 55011*x6*x7 + 4617*x7^2 + 13900*x1*x8 + 44332*x2*x8 + 43858*x3*x8 + 63173*x4*x8 + 15*x5*x8 + 35470*x6*x8 + 17861*x7*x8 + 59617*x8^2 + 23134*x1*x9^2 + 13879*x2*x9^2 + 42429*x3*x9^2 + 62909*x4*x9^2 + 18205*x5*x9^2 + 60071*x6*x9^2 + 43171*x7*x9^2 + 8580*x8*x9^2 + 38916*x9^4 + 7103*x1*x9*x10 + 15340*x2*x9*x10 + 31299*x3*x9*x10 + 46060*x4*x9*x10 + 44006*x5*x9*x10 + 44437*x6*x9*x10 + 19987*x7*x9*x10 + 37280*x8*x9*x10 + 58871*x9^3*x10 + 38062*x1*x10^2 + 6123*x2*x10^2 + 58257*x3*x10^2 + 18313*x4*x10^2 + 15373*x5*x10^2 + 1476*x6*x10^2 + 50914*x7*x10^2 + 51019*x8*x10^2 + 25752*x9^2*x10^2 + 28884*x9*x10^3 + 23527*x10^4 + 42411*x1*x9 + 53212*x2*x9 + 36137*x3*x9 + 56658*x4*x9 + 7868*x5*x9 + 20138*x6*x9 + 19607*x7*x9 + 61579*x8*x9 + 42681*x9^3 + 19248*x1*x10 + 31701*x2*x10 + 61432*x3*x10 + 49800*x4*x10 + 51361*x5*x10 + 14428*x6*x10 + 46811*x7*x10 + 31704*x8*x10 + 61168*x9^2*x10 + 39305*x9*x10^2 + 55689*x10^3 + 60702*x1 + 52539*x2 + 18689*x3 + 54446*x4 + 18365*x5 + 40493*x6 + 52395*x7 + 23745*x8 + 52592*x9^2 + 21084*x9*x10 + 44951*x10^2 + 11035*x9 + 28239*x10 + 59118,
35972*x1^2 + 59290*x1*x2 + 62639*x2^2 + 9898*x1*x3 + 589*x2*x3 + 22702*x3^2 + 26980*x1*x4 + 59199*x2*x4 + 19552*x3*x4 + 60387*x4^2 + 1227*x1*x5 + 24288*x2*x5 + 53168*x3*x5 + 1897*x4*x5 + 58748*x5^2 + 44084*x1*x6 + 39370*x2*x6 + 56538*x3*x6 + 39149*x4*x6 + 37691*x5*x6 + 39274*x6^2 + 14324*x1*x7 + 35663*x2*x7 + 22774*x3*x7 + 12918*x4*x7 + 14427*x5*x7 + 35130*x6*x7 + 14694*x7^2 + 56401*x1*x8 + 2246*x2*x8 + 23410*x3*x8 + 59998*x4*x8 + 17340*x5*x8 + 64696*x6*x8 + 56112*x7*x8 + 10837*x8^2 + 52438*x1*x9^2 + 19348*x2*x9^2 + 29568*x3*x9^2 + 56849*x4*x9^2 + 12861*x5*x9^2 + 2058*x6*x9^2 + 59320*x7*x9^2 + 60838*x8*x9^2 + 13907*x9^4 + 48041*x1*x9*x10 + 16783*x2*x9*x10 + 53261*x3*x9*x10 + 61546*x4*x9*x10 + 50326*x5*x9*x10 + 28987*x6*x9*x10 + 38155*x7*x9*x10 + 43339*x8*x9*x10 + 15247*x9^3*x10 + 14850*x1*x10^2 + 37090*x2*x10^2 + 8775*x3*x10^2 + 16864*x4*x10^2 + 47686*x5*x10^2 + 44673*x6*x10^2 + 15608*x7*x10^2 + 37475*x8*x10^2 + 19724*x9^2*x10^2 + 63221*x9*x10^3 + 30498*x10^4 + 25268*x1*x9 + 8285*x2*x9 + 13483*x3*x9 + 53191*x4*x9 + 6367*x5*x9 + 64021*x6*x9 + 31136*x7*x9 + 62995*x8*x9 + 42345*x9^3 + 57494*x1*x10 + 35666*x2*x10 + 47824*x3*x10 + 8573*x4*x10 + 29464*x5*x10 + 7154*x6*x10 + 50595*x7*x10 + 6954*x8*x10 + 45011*x9^2*x10 + 13291*x9*x10^2 + 63918*x10^3 + 10613*x1 + 51278*x2 + 58456*x3 + 3647*x4 + 63706*x5 + 29841*x6 + 14692*x7 + 42488*x8 + 23071*x9^2 + 46753*x9*x10 + 11407*x10^2 + 65070*x9 + 10865*x10 + 5154,
32885*x1^2 + 30058*x1*x2 + 27450*x2^2 + 56313*x1*x3 + 259*x2*x3 + 25902*x3^2 + 23721*x1*x4 + 48728*x2*x4 + 10670*x3*x4 + 47048*x4^2 + 64009*x1*x5 + 17389*x2*x5 + 22828*x3*x5 + 40531*x4*x5 + 4768*x5^2 + 21653*x1*x6 + 64486*x2*x6 + 46776*x3*x6 + 12294*x4*x6 + 56278*x5*x6 + 7806*x6^2 + 31169*x1*x7 + 33356*x2*x7 + 17513*x3*x7 + 38455*x4*x7 + 1416*x5*x7 + 53391*x6*x7 + 4819*x7^2 + 54352*x1*x8 + 44072*x2*x8 + 33915*x3*x8 + 8612*x4*x8 + 56536*x5*x8 + 44063*x6*x8 + 16282*x7*x8 + 10003*x8^2 + 26986*x1*x9^2 + 30163*x2*x9^2 + 58622*x3*x9^2 + 32920*x4*x9^2 + 41382*x5*x9^2 + 24071*x6*x9^2 + 5613*x7*x9^2 + 20320*x8*x9^2 + 6234*x9^4 + 26106*x1*x9*x10 + 20405*x2*x9*x10 + 59857*x3*x9*x10 + 15874*x4*x9*x10 + 3209*x5*x9*x10 + 26336*x6*x9*x10 + 40249*x7*x9*x10 + 50730*x8*x9*x10 + 57068*x9^3*x10 + 33728*x1*x10^2 + 59117*x2*x10^2 + 3517*x3*x10^2 + 6992*x4*x10^2 + 13390*x5*x10^2 + 54078*x6*x10^2 + 28494*x7*x10^2 + 28190*x8*x10^2 + 62725*x9^2*x10^2 + 46188*x9*x10^3 + 7084*x10^4 + 50259*x1*x9 + 21307*x2*x9 + 48965*x3*x9 + 26234*x4*x9 + 23965*x5*x9 + 19416*x6*x9 + 26747*x7*x9 + 25161*x8*x9 + 20646*x9^3 + 28097*x1*x10 + 57736*x2*x10 + 64131*x3*x10 + 42371*x4*x10 + 57757*x5*x10 + 3630*x6*x10 + 9285*x7*x10 + 64084*x8*x10 + 35113*x9^2*x10 + 34418*x9*x10^2 + 53753*x10^3 + 59820*x1 + 33626*x2 + 38560*x3 + 972*x4 + 16142*x5 + 44382*x6 + 29607*x7 + 23831*x8 + 43417*x9^2 + 37379*x9*x10 + 54342*x10^2 + 231*x9 + 26970*x10 + 893
]
: