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

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

#list

[
47940*x1^2 + 19754*x1*x2 + 34509*x2^2 + 62052*x1*x3 + 14601*x2*x3 + 33099*x3^2 + 35490*x1*x4 + 3282*x2*x4 + 8790*x3*x4 + 40582*x4^2 + 56455*x1*x5 + 850*x2*x5 + 48672*x3*x5 + 62195*x4*x5 + 29740*x5^2 + 31057*x1*x6 + 5934*x2*x6 + 27540*x3*x6 + 43844*x4*x6 + 3989*x5*x6 + 41948*x6^2 + 8141*x1*x7 + 17767*x2*x7 + 56553*x3*x7 + 34968*x4*x7 + 24127*x5*x7 + 47447*x6*x7 + 35026*x7^2 + 58632*x1*x8 + 5014*x2*x8 + 14471*x3*x8 + 461*x4*x8 + 8011*x5*x8 + 12702*x6*x8 + 22987*x7*x8 + 43335*x8^2 + 34700*x1*x9^2 + 21059*x2*x9^2 + 23417*x3*x9^2 + 36628*x4*x9^2 + 54354*x5*x9^2 + 1497*x6*x9^2 + 20550*x7*x9^2 + 1056*x8*x9^2 + 9246*x9^4 + 62991*x1*x9*x10 + 4044*x2*x9*x10 + 10990*x3*x9*x10 + 36862*x4*x9*x10 + 12367*x5*x9*x10 + 32776*x6*x9*x10 + 40035*x7*x9*x10 + 39901*x8*x9*x10 + 47398*x9^3*x10 + 21256*x1*x10^2 + 2130*x2*x10^2 + 57777*x3*x10^2 + 887*x4*x10^2 + 18562*x5*x10^2 + 20085*x6*x10^2 + 36607*x7*x10^2 + 31828*x8*x10^2 + 31832*x9^2*x10^2 + 17680*x9*x10^3 + 37523*x10^4 + 13726*x1*x9 + 8709*x2*x9 + 2633*x3*x9 + 38232*x4*x9 + 2276*x5*x9 + 28479*x6*x9 + 55312*x7*x9 + 1564*x8*x9 + 37918*x9^3 + 25994*x1*x10 + 4264*x2*x10 + 30714*x3*x10 + 26834*x4*x10 + 28126*x5*x10 + 10748*x6*x10 + 25643*x7*x10 + 39072*x8*x10 + 49644*x9^2*x10 + 58043*x9*x10^2 + 49430*x10^3 + 10313*x1 + 46813*x2 + 39632*x3 + 55028*x4 + 19402*x5 + 35502*x6 + 43594*x7 + 14667*x8 + 24022*x9^2 + 7228*x9*x10 + 32500*x10^2 + 6458*x9 + 33531*x10 + 49506,
36651*x1^2 + 18852*x1*x2 + 12100*x2^2 + 28405*x1*x3 + 7779*x2*x3 + 24008*x3^2 + 23967*x1*x4 + 11630*x2*x4 + 49704*x3*x4 + 57729*x4^2 + 42901*x1*x5 + 54168*x2*x5 + 51099*x3*x5 + 33025*x4*x5 + 64428*x5^2 + 52685*x1*x6 + 38960*x2*x6 + 45564*x3*x6 + 46188*x4*x6 + 33168*x5*x6 + 59432*x6^2 + 26348*x1*x7 + 46038*x2*x7 + 30405*x3*x7 + 19101*x4*x7 + 19039*x5*x7 + 15005*x6*x7 + 8693*x7^2 + 52453*x1*x8 + 38286*x2*x8 + 10488*x3*x8 + 48004*x4*x8 + 25646*x5*x8 + 59787*x6*x8 + 47440*x7*x8 + 19289*x8^2 + 33667*x1*x9^2 + 8384*x2*x9^2 + 5898*x3*x9^2 + 43753*x4*x9^2 + 3417*x5*x9^2 + 40926*x6*x9^2 + 54924*x7*x9^2 + 53396*x8*x9^2 + 27819*x9^4 + 24301*x1*x9*x10 + 18612*x2*x9*x10 + 57530*x3*x9*x10 + 33716*x4*x9*x10 + 25249*x5*x9*x10 + 32810*x6*x9*x10 + 3137*x7*x9*x10 + 17271*x8*x9*x10 + 12403*x9^3*x10 + 51859*x1*x10^2 + 33921*x2*x10^2 + 40631*x3*x10^2 + 26082*x4*x10^2 + 60352*x5*x10^2 + 65456*x6*x10^2 + 53839*x7*x10^2 + 15956*x8*x10^2 + 12119*x9^2*x10^2 + 58361*x9*x10^3 + 43785*x10^4 + 18669*x1*x9 + 53042*x2*x9 + 52709*x3*x9 + 35307*x4*x9 + 3748*x5*x9 + 13776*x6*x9 + 60938*x7*x9 + 59234*x8*x9 + 59129*x9^3 + 59651*x1*x10 + 29868*x2*x10 + 25320*x3*x10 + 57467*x4*x10 + 29053*x5*x10 + 39750*x6*x10 + 41279*x7*x10 + 382*x8*x10 + 39194*x9^2*x10 + 47996*x9*x10^2 + 13182*x10^3 + 25264*x1 + 22998*x2 + 16373*x3 + 17569*x4 + 27597*x5 + 60811*x6 + 42474*x7 + 11743*x8 + 21651*x9^2 + 5814*x9*x10 + 23542*x10^2 + 4490*x9 + 39195*x10 + 26455,
31861*x1^2 + 33368*x1*x2 + 37719*x2^2 + 31384*x1*x3 + 40429*x2*x3 + 41959*x3^2 + 9964*x1*x4 + 42233*x2*x4 + 47340*x3*x4 + 60311*x4^2 + 58349*x1*x5 + 34494*x2*x5 + 3785*x3*x5 + 29865*x4*x5 + 59549*x5^2 + 1568*x1*x6 + 53164*x2*x6 + 19431*x3*x6 + 58811*x4*x6 + 24235*x5*x6 + 20192*x6^2 + 47207*x1*x7 + 22927*x2*x7 + 51528*x3*x7 + 16519*x4*x7 + 15028*x5*x7 + 55761*x6*x7 + 5575*x7^2 + 140*x1*x8 + 10080*x2*x8 + 62753*x3*x8 + 31236*x4*x8 + 49658*x5*x8 + 36972*x6*x8 + 22228*x7*x8 + 46064*x8^2 + 13070*x1*x9^2 + 61252*x2*x9^2 + 43754*x3*x9^2 + 56977*x4*x9^2 + 64234*x5*x9^2 + 36615*x6*x9^2 + 15895*x7*x9^2 + 56898*x8*x9^2 + 31925*x9^4 + 46*x1*x9*x10 + 25039*x2*x9*x10 + 5106*x3*x9*x10 + 44387*x4*x9*x10 + 37744*x5*x9*x10 + 29567*x6*x9*x10 + 44602*x7*x9*x10 + 20882*x8*x9*x10 + 45268*x9^3*x10 + 4836*x1*x10^2 + 41418*x2*x10^2 + 13765*x3*x10^2 + 34613*x4*x10^2 + 46072*x5*x10^2 + 36882*x6*x10^2 + 41653*x7*x10^2 + 15991*x8*x10^2 + 37538*x9^2*x10^2 + 35269*x9*x10^3 + 18082*x10^4 + 11793*x1*x9 + 11131*x2*x9 + 60148*x3*x9 + 24465*x4*x9 + 60209*x5*x9 + 43365*x6*x9 + 53707*x7*x9 + 36312*x8*x9 + 40689*x9^3 + 36148*x1*x10 + 14272*x2*x10 + 20063*x3*x10 + 35878*x4*x10 + 24868*x5*x10 + 59570*x6*x10 + 62930*x7*x10 + 37401*x8*x10 + 21722*x9^2*x10 + 31012*x9*x10^2 + 33404*x10^3 + 4074*x1 + 20116*x2 + 37076*x3 + 19454*x4 + 37044*x5 + 16653*x6 + 34913*x7 + 41384*x8 + 16309*x9^2 + 38382*x9*x10 + 42410*x10^2 + 39404*x9 + 9913*x10 + 60907,
34548*x1^2 + 49971*x1*x2 + 33596*x2^2 + 17624*x1*x3 + 55339*x2*x3 + 44015*x3^2 + 50159*x1*x4 + 3790*x2*x4 + 8402*x3*x4 + 13779*x4^2 + 55189*x1*x5 + 46659*x2*x5 + 31603*x3*x5 + 5117*x4*x5 + 16148*x5^2 + 36188*x1*x6 + 53571*x2*x6 + 43663*x3*x6 + 38917*x4*x6 + 11738*x5*x6 + 5380*x6^2 + 36495*x1*x7 + 63162*x2*x7 + 61028*x3*x7 + 8258*x4*x7 + 13940*x5*x7 + 9426*x6*x7 + 58944*x7^2 + 8625*x1*x8 + 63731*x2*x8 + 36457*x3*x8 + 28240*x4*x8 + 14350*x5*x8 + 14471*x6*x8 + 54019*x7*x8 + 26974*x8^2 + 64815*x1*x9^2 + 31451*x2*x9^2 + 57515*x3*x9^2 + 32713*x4*x9^2 + 43946*x5*x9^2 + 4086*x6*x9^2 + 12066*x7*x9^2 + 37294*x8*x9^2 + 2122*x9^4 + 25508*x1*x9*x10 + 1680*x2*x9*x10 + 40440*x3*x9*x10 + 62427*x4*x9*x10 + 20711*x5*x9*x10 + 53933*x6*x9*x10 + 35185*x7*x9*x10 + 2865*x8*x9*x10 + 63198*x9^3*x10 + 51224*x1*x10^2 + 5026*x2*x10^2 + 24654*x3*x10^2 + 51169*x4*x10^2 + 36716*x5*x10^2 + 53418*x6*x10^2 + 20985*x7*x10^2 + 21948*x8*x10^2 + 35723*x9^2*x10^2 + 57662*x9*x10^3 + 39251*x10^4 + 23805*x1*x9 + 26320*x2*x9 + 20348*x3*x9 + 59996*x4*x9 + 36685*x5*x9 + 52937*x6*x9 + 46334*x7*x9 + 55013*x8*x9 + 19508*x9^3 + 31097*x1*x10 + 41976*x2*x10 + 21106*x3*x10 + 58913*x4*x10 + 3797*x5*x10 + 46032*x6*x10 + 59379*x7*x10 + 10256*x8*x10 + 2320*x9^2*x10 + 4795*x9*x10^2 + 12650*x10^3 + 15217*x1 + 31637*x2 + 17982*x3 + 56701*x4 + 53976*x5 + 27482*x6 + 58688*x7 + 5813*x8 + 62055*x9^2 + 63067*x9*x10 + 6099*x10^2 + 813*x9 + 14345*x10 + 5316,
53598*x1^2 + 1180*x1*x2 + 32917*x2^2 + 21409*x1*x3 + 52248*x2*x3 + 62300*x3^2 + 52746*x1*x4 + 46475*x2*x4 + 11320*x3*x4 + 22433*x4^2 + 60575*x1*x5 + 64793*x2*x5 + 61194*x3*x5 + 8511*x4*x5 + 44589*x5^2 + 56988*x1*x6 + 44141*x2*x6 + 53680*x3*x6 + 21425*x4*x6 + 38845*x5*x6 + 9384*x6^2 + 43160*x1*x7 + 23171*x2*x7 + 33042*x3*x7 + 32912*x4*x7 + 57998*x5*x7 + 16511*x6*x7 + 9710*x7^2 + 4231*x1*x8 + 30892*x2*x8 + 21903*x3*x8 + 21421*x4*x8 + 13508*x5*x8 + 1687*x6*x8 + 2912*x7*x8 + 32203*x8^2 + 38921*x1*x9^2 + 13392*x2*x9^2 + 2051*x3*x9^2 + 48927*x4*x9^2 + 9690*x5*x9^2 + 11477*x6*x9^2 + 63143*x7*x9^2 + 64843*x8*x9^2 + 12195*x9^4 + 21807*x1*x9*x10 + 53080*x2*x9*x10 + 65514*x3*x9*x10 + 18835*x4*x9*x10 + 35335*x5*x9*x10 + 47997*x6*x9*x10 + 33437*x7*x9*x10 + 11749*x8*x9*x10 + 17753*x9^3*x10 + 54582*x1*x10^2 + 11968*x2*x10^2 + 51065*x3*x10^2 + 20228*x4*x10^2 + 10555*x5*x10^2 + 3135*x6*x10^2 + 3039*x7*x10^2 + 2444*x8*x10^2 + 14275*x9^2*x10^2 + 15914*x9*x10^3 + 13540*x10^4 + 31060*x1*x9 + 44338*x2*x9 + 38804*x3*x9 + 23174*x4*x9 + 32361*x5*x9 + 28292*x6*x9 + 49049*x7*x9 + 53439*x8*x9 + 63142*x9^3 + 825*x1*x10 + 15084*x2*x10 + 59006*x3*x10 + 35293*x4*x10 + 64377*x5*x10 + 38931*x6*x10 + 55814*x7*x10 + 54661*x8*x10 + 38292*x9^2*x10 + 60506*x9*x10^2 + 25486*x10^3 + 6496*x1 + 42004*x2 + 45191*x3 + 6606*x4 + 21777*x5 + 2632*x6 + 45345*x7 + 16280*x8 + 49190*x9^2 + 58612*x9*x10 + 42572*x10^2 + 27703*x9 + 5997*x10 + 48360,
8980*x1^2 + 54067*x1*x2 + 4057*x2^2 + 58824*x1*x3 + 27780*x2*x3 + 61154*x3^2 + 34292*x1*x4 + 28693*x2*x4 + 18779*x3*x4 + 27710*x4^2 + 33281*x1*x5 + 54506*x2*x5 + 26425*x3*x5 + 4574*x4*x5 + 26110*x5^2 + 21944*x1*x6 + 57430*x2*x6 + 46746*x3*x6 + 46827*x4*x6 + 42641*x5*x6 + 1611*x6^2 + 49710*x1*x7 + 356*x2*x7 + 50644*x3*x7 + 7654*x4*x7 + 19566*x5*x7 + 12859*x6*x7 + 14256*x7^2 + 59790*x1*x8 + 2838*x2*x8 + 41547*x3*x8 + 6308*x4*x8 + 56559*x5*x8 + 49156*x6*x8 + 22487*x7*x8 + 706*x8^2 + 51552*x1*x9^2 + 5766*x2*x9^2 + 8950*x3*x9^2 + 63331*x4*x9^2 + 31483*x5*x9^2 + 13469*x6*x9^2 + 51509*x7*x9^2 + 12282*x8*x9^2 + 51474*x9^4 + 32840*x1*x9*x10 + 45263*x2*x9*x10 + 9288*x3*x9*x10 + 35826*x4*x9*x10 + 37642*x5*x9*x10 + 27185*x6*x9*x10 + 62009*x7*x9*x10 + 40938*x8*x9*x10 + 39601*x9^3*x10 + 45330*x1*x10^2 + 62494*x2*x10^2 + 22936*x3*x10^2 + 12672*x4*x10^2 + 36186*x5*x10^2 + 11968*x6*x10^2 + 33536*x7*x10^2 + 39642*x8*x10^2 + 35381*x9^2*x10^2 + 57912*x9*x10^3 + 35198*x10^4 + 54374*x1*x9 + 60219*x2*x9 + 1041*x3*x9 + 27476*x4*x9 + 43095*x5*x9 + 57225*x6*x9 + 12827*x7*x9 + 41121*x8*x9 + 35193*x9^3 + 26931*x1*x10 + 9750*x2*x10 + 15326*x3*x10 + 55851*x4*x10 + 13578*x5*x10 + 51738*x6*x10 + 3200*x7*x10 + 115*x8*x10 + 26012*x9^2*x10 + 45511*x9*x10^2 + 30831*x10^3 + 31308*x1 + 9875*x2 + 37033*x3 + 58438*x4 + 42142*x5 + 43064*x6 + 35394*x7 + 52411*x8 + 16245*x9^2 + 49659*x9*x10 + 375*x10^2 + 48076*x9 + 2298*x10 + 22208,
40805*x1^2 + 14423*x1*x2 + 5552*x2^2 + 19873*x1*x3 + 56119*x2*x3 + 29323*x3^2 + 41922*x1*x4 + 62307*x2*x4 + 42335*x3*x4 + 26959*x4^2 + 12798*x1*x5 + 4149*x2*x5 + 32123*x3*x5 + 9995*x4*x5 + 33451*x5^2 + 15643*x1*x6 + 36680*x2*x6 + 39125*x3*x6 + 57134*x4*x6 + 36187*x5*x6 + 10986*x6^2 + 63167*x1*x7 + 55909*x2*x7 + 24081*x3*x7 + 10286*x4*x7 + 57350*x5*x7 + 57354*x6*x7 + 6541*x7^2 + 14922*x1*x8 + 57541*x2*x8 + 13887*x3*x8 + 31467*x4*x8 + 57351*x5*x8 + 55837*x6*x8 + 33141*x7*x8 + 1451*x8^2 + 23474*x1*x9^2 + 58749*x2*x9^2 + 530*x3*x9^2 + 1431*x4*x9^2 + 33278*x5*x9^2 + 10146*x6*x9^2 + 30972*x7*x9^2 + 19240*x8*x9^2 + 46429*x9^4 + 19864*x1*x9*x10 + 29291*x2*x9*x10 + 12485*x3*x9*x10 + 46176*x4*x9*x10 + 15324*x5*x9*x10 + 59119*x6*x9*x10 + 14211*x7*x9*x10 + 22842*x8*x9*x10 + 61514*x9^3*x10 + 13201*x1*x10^2 + 34264*x2*x10^2 + 10761*x3*x10^2 + 3470*x4*x10^2 + 51309*x5*x10^2 + 20149*x6*x10^2 + 45420*x7*x10^2 + 23527*x8*x10^2 + 38727*x9^2*x10^2 + 24760*x9*x10^3 + 61578*x10^4 + 3624*x1*x9 + 52890*x2*x9 + 59698*x3*x9 + 52434*x4*x9 + 737*x5*x9 + 25098*x6*x9 + 53944*x7*x9 + 63801*x8*x9 + 56973*x9^3 + 16999*x1*x10 + 54396*x2*x10 + 1235*x3*x10 + 13377*x4*x10 + 50002*x5*x10 + 37452*x6*x10 + 44475*x7*x10 + 22986*x8*x10 + 34463*x9^2*x10 + 9095*x9*x10^2 + 32678*x10^3 + 9625*x1 + 33492*x2 + 65250*x3 + 46727*x4 + 2774*x5 + 57723*x6 + 17843*x7 + 7224*x8 + 4224*x9^2 + 53411*x9*x10 + 47383*x10^2 + 18553*x9 + 25328*x10 + 27476,
29582*x1^2 + 52039*x1*x2 + 12655*x2^2 + 31859*x1*x3 + 23135*x2*x3 + 54311*x3^2 + 38658*x1*x4 + 44624*x2*x4 + 9557*x3*x4 + 38532*x4^2 + 4223*x1*x5 + 47574*x2*x5 + 36989*x3*x5 + 55712*x4*x5 + 49713*x5^2 + 22084*x1*x6 + 54752*x2*x6 + 55955*x3*x6 + 16597*x4*x6 + 45032*x5*x6 + 14290*x6^2 + 6304*x1*x7 + 2921*x2*x7 + 3675*x3*x7 + 36785*x4*x7 + 21211*x5*x7 + 7285*x6*x7 + 39053*x7^2 + 19806*x1*x8 + 62990*x2*x8 + 21217*x3*x8 + 60107*x4*x8 + 27805*x5*x8 + 61073*x6*x8 + 38910*x7*x8 + 63510*x8^2 + 2893*x1*x9^2 + 20080*x2*x9^2 + 9281*x3*x9^2 + 64045*x4*x9^2 + 13249*x5*x9^2 + 46739*x6*x9^2 + 33153*x7*x9^2 + 36023*x8*x9^2 + 21757*x9^4 + 17124*x1*x9*x10 + 15483*x2*x9*x10 + 18110*x3*x9*x10 + 34497*x4*x9*x10 + 29437*x5*x9*x10 + 29039*x6*x9*x10 + 724*x7*x9*x10 + 37117*x8*x9*x10 + 3129*x9^3*x10 + 19998*x1*x10^2 + 27539*x2*x10^2 + 22902*x3*x10^2 + 27419*x4*x10^2 + 44259*x5*x10^2 + 57606*x6*x10^2 + 28884*x7*x10^2 + 31813*x8*x10^2 + 59018*x9^2*x10^2 + 42234*x9*x10^3 + 24256*x10^4 + 5129*x1*x9 + 46898*x2*x9 + 6337*x3*x9 + 5726*x4*x9 + 7270*x5*x9 + 38064*x6*x9 + 11517*x7*x9 + 57527*x8*x9 + 32447*x9^3 + 17714*x1*x10 + 34304*x2*x10 + 61350*x3*x10 + 7267*x4*x10 + 47754*x5*x10 + 47034*x6*x10 + 27762*x7*x10 + 53901*x8*x10 + 40526*x9^2*x10 + 49910*x9*x10^2 + 50410*x10^3 + 39148*x1 + 58131*x2 + 26946*x3 + 51426*x4 + 30901*x5 + 7355*x6 + 31214*x7 + 54543*x8 + 5527*x9^2 + 17750*x9*x10 + 12060*x10^2 + 36623*x9 + 27856*x10 + 36096,
11795*x1^2 + 14929*x1*x2 + 42774*x2^2 + 20750*x1*x3 + 60254*x2*x3 + 50425*x3^2 + 62102*x1*x4 + 50651*x2*x4 + 9170*x3*x4 + 10602*x4^2 + 51779*x1*x5 + 19912*x2*x5 + 38022*x3*x5 + 59388*x4*x5 + 27276*x5^2 + 28926*x1*x6 + 30398*x2*x6 + 50856*x3*x6 + 62919*x4*x6 + 20831*x5*x6 + 8770*x6^2 + 20251*x1*x7 + 40405*x2*x7 + 25349*x3*x7 + 46295*x4*x7 + 62181*x5*x7 + 40810*x6*x7 + 18024*x7^2 + 3863*x1*x8 + 22710*x2*x8 + 41399*x3*x8 + 50846*x4*x8 + 24976*x5*x8 + 51491*x6*x8 + 19514*x7*x8 + 53227*x8^2 + 7874*x1*x9^2 + 35008*x2*x9^2 + 65441*x3*x9^2 + 1484*x4*x9^2 + 50239*x5*x9^2 + 44273*x6*x9^2 + 6492*x7*x9^2 + 63237*x8*x9^2 + 12246*x9^4 + 61599*x1*x9*x10 + 34940*x2*x9*x10 + 15956*x3*x9*x10 + 26668*x4*x9*x10 + 49827*x5*x9*x10 + 25623*x6*x9*x10 + 27827*x7*x9*x10 + 50384*x8*x9*x10 + 22119*x9^3*x10 + 4960*x1*x10^2 + 16069*x2*x10^2 + 57036*x3*x10^2 + 5264*x4*x10^2 + 19328*x5*x10^2 + 27229*x6*x10^2 + 25525*x7*x10^2 + 55947*x8*x10^2 + 1210*x9^2*x10^2 + 25155*x9*x10^3 + 61454*x10^4 + 51741*x1*x9 + 43008*x2*x9 + 20748*x3*x9 + 17657*x4*x9 + 10829*x5*x9 + 34103*x6*x9 + 14354*x7*x9 + 59985*x8*x9 + 6349*x9^3 + 55786*x1*x10 + 41170*x2*x10 + 44789*x3*x10 + 1187*x4*x10 + 54502*x5*x10 + 64005*x6*x10 + 29668*x7*x10 + 23679*x8*x10 + 30664*x9^2*x10 + 47813*x9*x10^2 + 677*x10^3 + 54921*x1 + 1317*x2 + 27330*x3 + 30233*x4 + 54615*x5 + 24750*x6 + 53688*x7 + 45438*x8 + 2725*x9^2 + 20404*x9*x10 + 38334*x10^2 + 57466*x9 + 65213*x10 + 14539,
64115*x1^2 + 60035*x1*x2 + 42355*x2^2 + 15648*x1*x3 + 30231*x2*x3 + 42532*x3^2 + 25690*x1*x4 + 23444*x2*x4 + 55733*x3*x4 + 28070*x4^2 + 4501*x1*x5 + 14763*x2*x5 + 46953*x3*x5 + 15941*x4*x5 + 17105*x5^2 + 54431*x1*x6 + 46537*x2*x6 + 51698*x3*x6 + 32431*x4*x6 + 50825*x5*x6 + 38672*x6^2 + 7288*x1*x7 + 1507*x2*x7 + 7474*x3*x7 + 27233*x4*x7 + 62702*x5*x7 + 47316*x6*x7 + 13848*x7^2 + 42726*x1*x8 + 49833*x2*x8 + 1953*x3*x8 + 52923*x4*x8 + 21954*x5*x8 + 50742*x6*x8 + 10629*x7*x8 + 7203*x8^2 + 26738*x1*x9^2 + 38914*x2*x9^2 + 54796*x3*x9^2 + 15874*x4*x9^2 + 594*x5*x9^2 + 56657*x6*x9^2 + 64418*x7*x9^2 + 15521*x8*x9^2 + 61014*x9^4 + 53131*x1*x9*x10 + 28310*x2*x9*x10 + 27105*x3*x9*x10 + 45384*x4*x9*x10 + 20891*x5*x9*x10 + 53124*x6*x9*x10 + 57305*x7*x9*x10 + 40739*x8*x9*x10 + 26546*x9^3*x10 + 48457*x1*x10^2 + 51505*x2*x10^2 + 63887*x3*x10^2 + 22828*x4*x10^2 + 52840*x5*x10^2 + 23407*x6*x10^2 + 36318*x7*x10^2 + 10773*x8*x10^2 + 10805*x9^2*x10^2 + 61448*x9*x10^3 + 18921*x10^4 + 7410*x1*x9 + 29367*x2*x9 + 53992*x3*x9 + 52664*x4*x9 + 999*x5*x9 + 57402*x6*x9 + 52670*x7*x9 + 59239*x8*x9 + 26034*x9^3 + 11263*x1*x10 + 14172*x2*x10 + 34731*x3*x10 + 39503*x4*x10 + 48676*x5*x10 + 60512*x6*x10 + 11595*x7*x10 + 22410*x8*x10 + 23379*x9^2*x10 + 60621*x9*x10^2 + 44531*x10^3 + 8091*x1 + 37860*x2 + 45189*x3 + 60014*x4 + 12782*x5 + 30405*x6 + 38566*x7 + 59032*x8 + 60305*x9^2 + 43030*x9*x10 + 47403*x10^2 + 45455*x9 + 44047*x10 + 57139
]
: