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

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

#list

[
56423*x1^4 + 55049*x1^3*x2 + 55859*x1^2*x2^2 + 961*x1*x2^3 + 7177*x2^4 + 5811*x1^3*x3 + 1628*x1^2*x2*x3 + 26347*x1*x2^2*x3 + 49917*x2^3*x3 + 24696*x1^2*x3^2 + 44837*x1*x2*x3^2 + 54010*x2^2*x3^2 + 27580*x1*x3^3 + 19204*x2*x3^3 + 39906*x3^4 + 54528*x1^3*x4 + 35428*x1^2*x2*x4 + 8559*x1*x2^2*x4 + 43725*x2^3*x4 + 35145*x1^2*x3*x4 + 59158*x1*x2*x3*x4 + 53091*x2^2*x3*x4 + 16853*x1*x3^2*x4 + 11570*x2*x3^2*x4 + 17915*x3^3*x4 + 18630*x1^2*x4^2 + 17073*x1*x2*x4^2 + 48102*x2^2*x4^2 + 10288*x1*x3*x4^2 + 15940*x2*x3*x4^2 + 24923*x3^2*x4^2 + 19468*x1*x4^3 + 18402*x2*x4^3 + 50205*x3*x4^3 + 31524*x4^4 + 24870*x1^3*x5 + 30921*x1^2*x2*x5 + 45255*x1*x2^2*x5 + 11320*x2^3*x5 + 64294*x1^2*x3*x5 + 61724*x1*x2*x3*x5 + 52985*x2^2*x3*x5 + 56323*x1*x3^2*x5 + 47035*x2*x3^2*x5 + 57370*x3^3*x5 + 26343*x1^2*x4*x5 + 55873*x1*x2*x4*x5 + 24379*x2^2*x4*x5 + 43210*x1*x3*x4*x5 + 13880*x2*x3*x4*x5 + 59104*x3^2*x4*x5 + 52165*x1*x4^2*x5 + 2215*x2*x4^2*x5 + 49439*x3*x4^2*x5 + 52749*x4^3*x5 + 11536*x1^2*x5^2 + 17721*x1*x2*x5^2 + 36149*x2^2*x5^2 + 19417*x1*x3*x5^2 + 59843*x2*x3*x5^2 + 48494*x3^2*x5^2 + 3735*x1*x4*x5^2 + 29619*x2*x4*x5^2 + 55785*x3*x4*x5^2 + 58161*x4^2*x5^2 + 21622*x1*x5^3 + 55067*x2*x5^3 + 13432*x3*x5^3 + 8272*x4*x5^3 + 14471*x5^4 + 3187*x1^2*x6 + 41979*x1*x2*x6 + 51003*x2^2*x6 + 56164*x1*x3*x6 + 39360*x2*x3*x6 + 60798*x3^2*x6 + 20473*x1*x4*x6 + 33058*x2*x4*x6 + 58047*x3*x4*x6 + 7884*x4^2*x6 + 53186*x1*x5*x6 + 8646*x2*x5*x6 + 61544*x3*x5*x6 + 51445*x4*x5*x6 + 1139*x5^2*x6 + 19657*x6^2 + 35398*x1^2*x7 + 8955*x1*x2*x7 + 30047*x2^2*x7 + 3931*x1*x3*x7 + 35064*x2*x3*x7 + 24155*x3^2*x7 + 64295*x1*x4*x7 + 49663*x2*x4*x7 + 21276*x3*x4*x7 + 9977*x4^2*x7 + 14914*x1*x5*x7 + 50521*x2*x5*x7 + 17602*x3*x5*x7 + 14104*x4*x5*x7 + 51482*x5^2*x7 + 39477*x6*x7 + 10415*x7^2 + 34250*x1^2*x8 + 18510*x1*x2*x8 + 36433*x2^2*x8 + 55298*x1*x3*x8 + 30397*x2*x3*x8 + 13777*x3^2*x8 + 48408*x1*x4*x8 + 49509*x2*x4*x8 + 10749*x3*x4*x8 + 43074*x4^2*x8 + 16300*x1*x5*x8 + 52251*x2*x5*x8 + 62251*x3*x5*x8 + 20137*x4*x5*x8 + 56300*x5^2*x8 + 1665*x6*x8 + 8224*x7*x8 + 38787*x8^2 + 60510*x1^2*x9 + 39212*x1*x2*x9 + 49950*x2^2*x9 + 38093*x1*x3*x9 + 44734*x2*x3*x9 + 17743*x3^2*x9 + 60322*x1*x4*x9 + 3442*x2*x4*x9 + 33710*x3*x4*x9 + 36913*x4^2*x9 + 38240*x1*x5*x9 + 50374*x2*x5*x9 + 39957*x3*x5*x9 + 55075*x4*x5*x9 + 4248*x5^2*x9 + 43049*x6*x9 + 31700*x7*x9 + 6069*x8*x9 + 54283*x9^2 + 12798*x1^2*x10 + 3892*x1*x2*x10 + 45739*x2^2*x10 + 50504*x1*x3*x10 + 39068*x2*x3*x10 + 64684*x3^2*x10 + 44509*x1*x4*x10 + 8930*x2*x4*x10 + 57225*x3*x4*x10 + 15156*x4^2*x10 + 14278*x1*x5*x10 + 7354*x2*x5*x10 + 2904*x3*x5*x10 + 9892*x4*x5*x10 + 64219*x5^2*x10 + 28600*x6*x10 + 21313*x7*x10 + 58893*x8*x10 + 7649*x9*x10 + 31021*x10^2 + 14215*x1^3 + 33667*x1^2*x2 + 59204*x1*x2^2 + 14167*x2^3 + 25451*x1^2*x3 + 8359*x1*x2*x3 + 14468*x2^2*x3 + 42508*x1*x3^2 + 50928*x2*x3^2 + 38641*x3^3 + 9140*x1^2*x4 + 60306*x1*x2*x4 + 9451*x2^2*x4 + 32142*x1*x3*x4 + 9443*x2*x3*x4 + 35930*x3^2*x4 + 33575*x1*x4^2 + 49297*x2*x4^2 + 46291*x3*x4^2 + 36733*x4^3 + 63551*x1^2*x5 + 42855*x1*x2*x5 + 6614*x2^2*x5 + 46779*x1*x3*x5 + 14037*x2*x3*x5 + 58238*x3^2*x5 + 21017*x1*x4*x5 + 52846*x2*x4*x5 + 45882*x3*x4*x5 + 64032*x4^2*x5 + 51045*x1*x5^2 + 13536*x2*x5^2 + 22930*x3*x5^2 + 34589*x4*x5^2 + 2961*x5^3 + 46564*x1*x6 + 43362*x2*x6 + 35959*x3*x6 + 28004*x4*x6 + 38759*x5*x6 + 50977*x1*x7 + 35295*x2*x7 + 57079*x3*x7 + 10349*x4*x7 + 13776*x5*x7 + 59793*x1*x8 + 7447*x2*x8 + 9126*x3*x8 + 6069*x4*x8 + 39359*x5*x8 + 30072*x1*x9 + 42834*x2*x9 + 63845*x3*x9 + 33620*x4*x9 + 10512*x5*x9 + 32235*x1*x10 + 43791*x2*x10 + 57396*x3*x10 + 45761*x4*x10 + 6683*x5*x10 + 4651*x1^2 + 47426*x1*x2 + 36006*x2^2 + 44967*x1*x3 + 13585*x2*x3 + 46225*x3^2 + 32628*x1*x4 + 31680*x2*x4 + 22038*x3*x4 + 17966*x4^2 + 12743*x1*x5 + 49189*x2*x5 + 60916*x3*x5 + 31856*x4*x5 + 22516*x5^2 + 6369*x6 + 36044*x7 + 10853*x8 + 36209*x9 + 19452*x10 + 50565*x1 + 54078*x2 + 12299*x3 + 22296*x4 + 57377*x5 + 30040,
65199*x1^4 + 51129*x1^3*x2 + 27314*x1^2*x2^2 + 7323*x1*x2^3 + 11721*x2^4 + 52218*x1^3*x3 + 30586*x1^2*x2*x3 + 59332*x1*x2^2*x3 + 5519*x2^3*x3 + 29377*x1^2*x3^2 + 5808*x1*x2*x3^2 + 50124*x2^2*x3^2 + 63746*x1*x3^3 + 45869*x2*x3^3 + 32247*x3^4 + 51124*x1^3*x4 + 33310*x1^2*x2*x4 + 24672*x1*x2^2*x4 + 33673*x2^3*x4 + 53552*x1^2*x3*x4 + 3900*x1*x2*x3*x4 + 1997*x2^2*x3*x4 + 3300*x1*x3^2*x4 + 11221*x2*x3^2*x4 + 6777*x3^3*x4 + 36133*x1^2*x4^2 + 59814*x1*x2*x4^2 + 43244*x2^2*x4^2 + 11195*x1*x3*x4^2 + 36549*x2*x3*x4^2 + 40967*x3^2*x4^2 + 62782*x1*x4^3 + 40565*x2*x4^3 + 51413*x3*x4^3 + 30954*x4^4 + 55175*x1^3*x5 + 28345*x1^2*x2*x5 + 15502*x1*x2^2*x5 + 48730*x2^3*x5 + 4340*x1^2*x3*x5 + 20921*x1*x2*x3*x5 + 47817*x2^2*x3*x5 + 65223*x1*x3^2*x5 + 38858*x2*x3^2*x5 + 12543*x3^3*x5 + 26978*x1^2*x4*x5 + 62133*x1*x2*x4*x5 + 9039*x2^2*x4*x5 + 43630*x1*x3*x4*x5 + 49429*x2*x3*x4*x5 + 17047*x3^2*x4*x5 + 3912*x1*x4^2*x5 + 12084*x2*x4^2*x5 + 47711*x3*x4^2*x5 + 57004*x4^3*x5 + 12687*x1^2*x5^2 + 26714*x1*x2*x5^2 + 43564*x2^2*x5^2 + 39291*x1*x3*x5^2 + 25871*x2*x3*x5^2 + 35183*x3^2*x5^2 + 35637*x1*x4*x5^2 + 3682*x2*x4*x5^2 + 3792*x3*x4*x5^2 + 40559*x4^2*x5^2 + 64244*x1*x5^3 + 35038*x2*x5^3 + 21787*x3*x5^3 + 55388*x4*x5^3 + 6698*x5^4 + 46738*x1^2*x6 + 834*x1*x2*x6 + 39834*x2^2*x6 + 25994*x1*x3*x6 + 2983*x2*x3*x6 + 58982*x3^2*x6 + 25852*x1*x4*x6 + 55*x2*x4*x6 + 45226*x3*x4*x6 + 63628*x4^2*x6 + 23880*x1*x5*x6 + 1837*x2*x5*x6 + 4484*x3*x5*x6 + 24994*x4*x5*x6 + 2340*x5^2*x6 + 8946*x6^2 + 45644*x1^2*x7 + 26923*x1*x2*x7 + 20471*x2^2*x7 + 40044*x1*x3*x7 + 58683*x2*x3*x7 + 28600*x3^2*x7 + 9265*x1*x4*x7 + 23168*x2*x4*x7 + 25017*x3*x4*x7 + 60549*x4^2*x7 + 10995*x1*x5*x7 + 47820*x2*x5*x7 + 57819*x3*x5*x7 + 56518*x4*x5*x7 + 32184*x5^2*x7 + 39426*x6*x7 + 10965*x7^2 + 60593*x1^2*x8 + 49723*x1*x2*x8 + 51431*x2^2*x8 + 20366*x1*x3*x8 + 25418*x2*x3*x8 + 86*x3^2*x8 + 1035*x1*x4*x8 + 6403*x2*x4*x8 + 50888*x3*x4*x8 + 3036*x4^2*x8 + 61917*x1*x5*x8 + 36110*x2*x5*x8 + 60441*x3*x5*x8 + 34478*x4*x5*x8 + 2338*x5^2*x8 + 13608*x6*x8 + 22691*x7*x8 + 60670*x8^2 + 48849*x1^2*x9 + 23020*x1*x2*x9 + 65208*x2^2*x9 + 57477*x1*x3*x9 + 56173*x2*x3*x9 + 17618*x3^2*x9 + 15142*x1*x4*x9 + 32272*x2*x4*x9 + 5968*x3*x4*x9 + 50916*x4^2*x9 + 31849*x1*x5*x9 + 60587*x2*x5*x9 + 24838*x3*x5*x9 + 19234*x4*x5*x9 + 41044*x5^2*x9 + 45301*x6*x9 + 45071*x7*x9 + 50562*x8*x9 + 59331*x9^2 + 8648*x1^2*x10 + 39370*x1*x2*x10 + 52906*x2^2*x10 + 11310*x1*x3*x10 + 20616*x2*x3*x10 + 60976*x3^2*x10 + 13989*x1*x4*x10 + 62792*x2*x4*x10 + 62783*x3*x4*x10 + 47138*x4^2*x10 + 20958*x1*x5*x10 + 45062*x2*x5*x10 + 24029*x3*x5*x10 + 26300*x4*x5*x10 + 22510*x5^2*x10 + 36657*x6*x10 + 839*x7*x10 + 39442*x8*x10 + 36271*x9*x10 + 53988*x10^2 + 28634*x1^3 + 37854*x1^2*x2 + 61349*x1*x2^2 + 14759*x2^3 + 12828*x1^2*x3 + 56116*x1*x2*x3 + 60249*x2^2*x3 + 40421*x1*x3^2 + 39016*x2*x3^2 + 27328*x3^3 + 64032*x1^2*x4 + 21440*x1*x2*x4 + 24645*x2^2*x4 + 46718*x1*x3*x4 + 44245*x2*x3*x4 + 27137*x3^2*x4 + 11172*x1*x4^2 + 11502*x2*x4^2 + 63298*x3*x4^2 + 6984*x4^3 + 65012*x1^2*x5 + 23912*x1*x2*x5 + 24344*x2^2*x5 + 53192*x1*x3*x5 + 54790*x2*x3*x5 + 17668*x3^2*x5 + 6232*x1*x4*x5 + 28315*x2*x4*x5 + 4992*x3*x4*x5 + 64101*x4^2*x5 + 15973*x1*x5^2 + 18536*x2*x5^2 + 47623*x3*x5^2 + 16632*x4*x5^2 + 64276*x5^3 + 6300*x1*x6 + 55659*x2*x6 + 57651*x3*x6 + 31056*x4*x6 + 57704*x5*x6 + 51925*x1*x7 + 23449*x2*x7 + 52814*x3*x7 + 53657*x4*x7 + 33669*x5*x7 + 30996*x1*x8 + 6177*x2*x8 + 63675*x3*x8 + 48099*x4*x8 + 63403*x5*x8 + 42918*x1*x9 + 31771*x2*x9 + 48388*x3*x9 + 8128*x4*x9 + 61774*x5*x9 + 21727*x1*x10 + 18670*x2*x10 + 58530*x3*x10 + 35828*x4*x10 + 38135*x5*x10 + 16932*x1^2 + 29754*x1*x2 + 36575*x2^2 + 44231*x1*x3 + 4063*x2*x3 + 58893*x3^2 + 24129*x1*x4 + 2983*x2*x4 + 22764*x3*x4 + 1413*x4^2 + 29644*x1*x5 + 29297*x2*x5 + 56609*x3*x5 + 9725*x4*x5 + 7751*x5^2 + 12966*x6 + 18552*x7 + 13010*x8 + 53814*x9 + 28807*x10 + 25071*x1 + 7579*x2 + 785*x3 + 52449*x4 + 65459*x5 + 18167,
54125*x1^4 + 13630*x1^3*x2 + 40895*x1^2*x2^2 + 6014*x1*x2^3 + 26680*x2^4 + 49765*x1^3*x3 + 8682*x1^2*x2*x3 + 21864*x1*x2^2*x3 + 32830*x2^3*x3 + 10031*x1^2*x3^2 + 64137*x1*x2*x3^2 + 9307*x2^2*x3^2 + 43572*x1*x3^3 + 31422*x2*x3^3 + 23033*x3^4 + 17571*x1^3*x4 + 32577*x1^2*x2*x4 + 51054*x1*x2^2*x4 + 42661*x2^3*x4 + 50868*x1^2*x3*x4 + 49805*x1*x2*x3*x4 + 12774*x2^2*x3*x4 + 26955*x1*x3^2*x4 + 65293*x2*x3^2*x4 + 18154*x3^3*x4 + 16812*x1^2*x4^2 + 15134*x1*x2*x4^2 + 7521*x2^2*x4^2 + 20742*x1*x3*x4^2 + 23206*x2*x3*x4^2 + 19215*x3^2*x4^2 + 37211*x1*x4^3 + 55141*x2*x4^3 + 46425*x3*x4^3 + 59311*x4^4 + 48178*x1^3*x5 + 3704*x1^2*x2*x5 + 59108*x1*x2^2*x5 + 16244*x2^3*x5 + 5408*x1^2*x3*x5 + 44852*x1*x2*x3*x5 + 28458*x2^2*x3*x5 + 44322*x1*x3^2*x5 + 5462*x2*x3^2*x5 + 53056*x3^3*x5 + 3056*x1^2*x4*x5 + 50044*x1*x2*x4*x5 + 327*x2^2*x4*x5 + 28980*x1*x3*x4*x5 + 16760*x2*x3*x4*x5 + 33219*x3^2*x4*x5 + 65262*x1*x4^2*x5 + 45272*x2*x4^2*x5 + 42286*x3*x4^2*x5 + 18079*x4^3*x5 + 24219*x1^2*x5^2 + 49548*x1*x2*x5^2 + 29866*x2^2*x5^2 + 22224*x1*x3*x5^2 + 63176*x2*x3*x5^2 + 17405*x3^2*x5^2 + 56445*x1*x4*x5^2 + 8171*x2*x4*x5^2 + 36602*x3*x4*x5^2 + 59393*x4^2*x5^2 + 9954*x1*x5^3 + 38410*x2*x5^3 + 43220*x3*x5^3 + 27814*x4*x5^3 + 25722*x5^4 + 18648*x1^2*x6 + 22383*x1*x2*x6 + 61999*x2^2*x6 + 19981*x1*x3*x6 + 14122*x2*x3*x6 + 62506*x3^2*x6 + 11936*x1*x4*x6 + 1536*x2*x4*x6 + 22285*x3*x4*x6 + 41106*x4^2*x6 + 43875*x1*x5*x6 + 58126*x2*x5*x6 + 42639*x3*x5*x6 + 11790*x4*x5*x6 + 28652*x5^2*x6 + 10963*x6^2 + 623*x1^2*x7 + 3173*x1*x2*x7 + 65288*x2^2*x7 + 2520*x1*x3*x7 + 64867*x2*x3*x7 + 4814*x3^2*x7 + 25215*x1*x4*x7 + 23608*x2*x4*x7 + 28557*x3*x4*x7 + 1926*x4^2*x7 + 43347*x1*x5*x7 + 30728*x2*x5*x7 + 8529*x3*x5*x7 + 9372*x4*x5*x7 + 50615*x5^2*x7 + 13561*x6*x7 + 12671*x7^2 + 16887*x1^2*x8 + 25202*x1*x2*x8 + 58794*x2^2*x8 + 15866*x1*x3*x8 + 9600*x2*x3*x8 + 50341*x3^2*x8 + 646*x1*x4*x8 + 45102*x2*x4*x8 + 36232*x3*x4*x8 + 37675*x4^2*x8 + 43700*x1*x5*x8 + 52372*x2*x5*x8 + 30173*x3*x5*x8 + 42037*x4*x5*x8 + 54969*x5^2*x8 + 63871*x6*x8 + 20623*x7*x8 + 41116*x8^2 + 25140*x1^2*x9 + 39756*x1*x2*x9 + 29927*x2^2*x9 + 12823*x1*x3*x9 + 33229*x2*x3*x9 + 30204*x3^2*x9 + 52012*x1*x4*x9 + 50410*x2*x4*x9 + 30378*x3*x4*x9 + 47416*x4^2*x9 + 57778*x1*x5*x9 + 8673*x2*x5*x9 + 27052*x3*x5*x9 + 35416*x4*x5*x9 + 36732*x5^2*x9 + 53007*x6*x9 + 27264*x7*x9 + 60340*x8*x9 + 11422*x9^2 + 61089*x1^2*x10 + 8603*x1*x2*x10 + 5844*x2^2*x10 + 16242*x1*x3*x10 + 7519*x2*x3*x10 + 18899*x3^2*x10 + 949*x1*x4*x10 + 42348*x2*x4*x10 + 2549*x3*x4*x10 + 5358*x4^2*x10 + 14316*x1*x5*x10 + 8211*x2*x5*x10 + 64475*x3*x5*x10 + 20989*x4*x5*x10 + 6744*x5^2*x10 + 48912*x6*x10 + 49375*x7*x10 + 890*x8*x10 + 53408*x9*x10 + 6294*x10^2 + 2229*x1^3 + 42755*x1^2*x2 + 25171*x1*x2^2 + 5421*x2^3 + 2859*x1^2*x3 + 57405*x1*x2*x3 + 49945*x2^2*x3 + 26081*x1*x3^2 + 50301*x2*x3^2 + 16729*x3^3 + 40120*x1^2*x4 + 43826*x1*x2*x4 + 6735*x2^2*x4 + 58383*x1*x3*x4 + 50975*x2*x3*x4 + 58408*x3^2*x4 + 3640*x1*x4^2 + 13576*x2*x4^2 + 41050*x3*x4^2 + 10569*x4^3 + 60047*x1^2*x5 + 42406*x1*x2*x5 + 28610*x2^2*x5 + 53720*x1*x3*x5 + 36877*x2*x3*x5 + 19697*x3^2*x5 + 32503*x1*x4*x5 + 62071*x2*x4*x5 + 7497*x3*x4*x5 + 35608*x4^2*x5 + 922*x1*x5^2 + 10429*x2*x5^2 + 51193*x3*x5^2 + 60462*x4*x5^2 + 34402*x5^3 + 46783*x1*x6 + 4891*x2*x6 + 13699*x3*x6 + 34452*x4*x6 + 55429*x5*x6 + 50970*x1*x7 + 59614*x2*x7 + 46217*x3*x7 + 15249*x4*x7 + 21991*x5*x7 + 34083*x1*x8 + 51903*x2*x8 + 63784*x3*x8 + 39308*x4*x8 + 48933*x5*x8 + 56067*x1*x9 + 26058*x2*x9 + 30525*x3*x9 + 52895*x4*x9 + 38599*x5*x9 + 48516*x1*x10 + 36651*x2*x10 + 38157*x3*x10 + 46389*x4*x10 + 2961*x5*x10 + 3567*x1^2 + 64338*x1*x2 + 60006*x2^2 + 33527*x1*x3 + 11685*x2*x3 + 10408*x3^2 + 49375*x1*x4 + 18047*x2*x4 + 3672*x3*x4 + 39474*x4^2 + 4914*x1*x5 + 3916*x2*x5 + 1822*x3*x5 + 38833*x4*x5 + 42183*x5^2 + 46538*x6 + 42058*x7 + 49777*x8 + 37891*x9 + 60374*x10 + 29399*x1 + 27356*x2 + 33449*x3 + 62215*x4 + 38081*x5 + 53284,
25874*x1^4 + 5595*x1^3*x2 + 19314*x1^2*x2^2 + 63708*x1*x2^3 + 42422*x2^4 + 1971*x1^3*x3 + 32188*x1^2*x2*x3 + 46210*x1*x2^2*x3 + 30830*x2^3*x3 + 16158*x1^2*x3^2 + 23274*x1*x2*x3^2 + 16338*x2^2*x3^2 + 42403*x1*x3^3 + 28716*x2*x3^3 + 45223*x3^4 + 60972*x1^3*x4 + 15778*x1^2*x2*x4 + 64900*x1*x2^2*x4 + 12866*x2^3*x4 + 3582*x1^2*x3*x4 + 44397*x1*x2*x3*x4 + 10251*x2^2*x3*x4 + 49659*x1*x3^2*x4 + 51394*x2*x3^2*x4 + 33482*x3^3*x4 + 18774*x1^2*x4^2 + 38881*x1*x2*x4^2 + 14422*x2^2*x4^2 + 64131*x1*x3*x4^2 + 26580*x2*x3*x4^2 + 56716*x3^2*x4^2 + 31916*x1*x4^3 + 13905*x2*x4^3 + 467*x3*x4^3 + 37776*x4^4 + 10705*x1^3*x5 + 33392*x1^2*x2*x5 + 12163*x1*x2^2*x5 + 20744*x2^3*x5 + 25739*x1^2*x3*x5 + 15738*x1*x2*x3*x5 + 34759*x2^2*x3*x5 + 6419*x1*x3^2*x5 + 19775*x2*x3^2*x5 + 52661*x3^3*x5 + 45096*x1^2*x4*x5 + 47187*x1*x2*x4*x5 + 45361*x2^2*x4*x5 + 9384*x1*x3*x4*x5 + 38054*x2*x3*x4*x5 + 29505*x3^2*x4*x5 + 7034*x1*x4^2*x5 + 40963*x2*x4^2*x5 + 61407*x3*x4^2*x5 + 7445*x4^3*x5 + 37735*x1^2*x5^2 + 52971*x1*x2*x5^2 + 33017*x2^2*x5^2 + 20692*x1*x3*x5^2 + 8820*x2*x3*x5^2 + 35106*x3^2*x5^2 + 6370*x1*x4*x5^2 + 34348*x2*x4*x5^2 + 12301*x3*x4*x5^2 + 37887*x4^2*x5^2 + 45030*x1*x5^3 + 2286*x2*x5^3 + 29451*x3*x5^3 + 44192*x4*x5^3 + 51592*x5^4 + 62250*x1^2*x6 + 35728*x1*x2*x6 + 2289*x2^2*x6 + 16433*x1*x3*x6 + 51700*x2*x3*x6 + 14159*x3^2*x6 + 2581*x1*x4*x6 + 31869*x2*x4*x6 + 24222*x3*x4*x6 + 45525*x4^2*x6 + 20449*x1*x5*x6 + 46740*x2*x5*x6 + 56687*x3*x5*x6 + 15899*x4*x5*x6 + 51259*x5^2*x6 + 15499*x6^2 + 29711*x1^2*x7 + 25645*x1*x2*x7 + 19547*x2^2*x7 + 48600*x1*x3*x7 + 19227*x2*x3*x7 + 17222*x3^2*x7 + 21132*x1*x4*x7 + 50176*x2*x4*x7 + 11781*x3*x4*x7 + 20237*x4^2*x7 + 1365*x1*x5*x7 + 12088*x2*x5*x7 + 7133*x3*x5*x7 + 5291*x4*x5*x7 + 392*x5^2*x7 + 16439*x6*x7 + 56299*x7^2 + 37431*x1^2*x8 + 22545*x1*x2*x8 + 15110*x2^2*x8 + 23369*x1*x3*x8 + 19371*x2*x3*x8 + 45911*x3^2*x8 + 55795*x1*x4*x8 + 21199*x2*x4*x8 + 57196*x3*x4*x8 + 34463*x4^2*x8 + 16039*x1*x5*x8 + 13651*x2*x5*x8 + 52244*x3*x5*x8 + 32522*x4*x5*x8 + 52533*x5^2*x8 + 8762*x6*x8 + 36722*x7*x8 + 50477*x8^2 + 7274*x1^2*x9 + 9802*x1*x2*x9 + 1294*x2^2*x9 + 36845*x1*x3*x9 + 55127*x2*x3*x9 + 6415*x3^2*x9 + 209*x1*x4*x9 + 60810*x2*x4*x9 + 20684*x3*x4*x9 + 1870*x4^2*x9 + 63507*x1*x5*x9 + 49596*x2*x5*x9 + 49659*x3*x5*x9 + 35431*x4*x5*x9 + 12246*x5^2*x9 + 25671*x6*x9 + 21924*x7*x9 + 27875*x8*x9 + 64593*x9^2 + 13407*x1^2*x10 + 16245*x1*x2*x10 + 63007*x2^2*x10 + 6333*x1*x3*x10 + 24742*x2*x3*x10 + 55271*x3^2*x10 + 38845*x1*x4*x10 + 10429*x2*x4*x10 + 3845*x3*x4*x10 + 18056*x4^2*x10 + 10040*x1*x5*x10 + 25769*x2*x5*x10 + 1704*x3*x5*x10 + 42416*x4*x5*x10 + 57432*x5^2*x10 + 10474*x6*x10 + 20973*x7*x10 + 35064*x8*x10 + 34745*x9*x10 + 14701*x10^2 + 59121*x1^3 + 40850*x1^2*x2 + 63816*x1*x2^2 + 48492*x2^3 + 4865*x1^2*x3 + 16288*x1*x2*x3 + 28322*x2^2*x3 + 29235*x1*x3^2 + 62131*x2*x3^2 + 2576*x3^3 + 53878*x1^2*x4 + 62391*x1*x2*x4 + 19540*x2^2*x4 + 38533*x1*x3*x4 + 20375*x2*x3*x4 + 22534*x3^2*x4 + 11685*x1*x4^2 + 42843*x2*x4^2 + 28230*x3*x4^2 + 97*x4^3 + 63817*x1^2*x5 + 36492*x1*x2*x5 + 9876*x2^2*x5 + 1100*x1*x3*x5 + 36850*x2*x3*x5 + 47877*x3^2*x5 + 48364*x1*x4*x5 + 32861*x2*x4*x5 + 44049*x3*x4*x5 + 19071*x4^2*x5 + 28232*x1*x5^2 + 23494*x2*x5^2 + 60503*x3*x5^2 + 53118*x4*x5^2 + 25080*x5^3 + 30677*x1*x6 + 37434*x2*x6 + 59311*x3*x6 + 43630*x4*x6 + 60277*x5*x6 + 23159*x1*x7 + 20949*x2*x7 + 741*x3*x7 + 29514*x4*x7 + 35979*x5*x7 + 53975*x1*x8 + 5957*x2*x8 + 28783*x3*x8 + 65368*x4*x8 + 55283*x5*x8 + 13642*x1*x9 + 8787*x2*x9 + 15602*x3*x9 + 39086*x4*x9 + 2484*x5*x9 + 1826*x1*x10 + 57596*x2*x10 + 51732*x3*x10 + 38539*x4*x10 + 65508*x5*x10 + 10474*x1^2 + 3858*x1*x2 + 9676*x2^2 + 33122*x1*x3 + 63268*x2*x3 + 8559*x3^2 + 6699*x1*x4 + 63312*x2*x4 + 37178*x3*x4 + 8617*x4^2 + 18529*x1*x5 + 37187*x2*x5 + 52942*x3*x5 + 19713*x4*x5 + 15735*x5^2 + 20486*x6 + 42391*x7 + 21624*x8 + 50940*x9 + 45032*x10 + 61101*x1 + 12216*x2 + 15890*x3 + 41331*x4 + 36001*x5 + 53533,
47754*x1^4 + 30161*x1^3*x2 + 58455*x1^2*x2^2 + 19881*x1*x2^3 + 31676*x2^4 + 57475*x1^3*x3 + 53506*x1^2*x2*x3 + 26969*x1*x2^2*x3 + 2706*x2^3*x3 + 45989*x1^2*x3^2 + 37378*x1*x2*x3^2 + 2814*x2^2*x3^2 + 58149*x1*x3^3 + 11747*x2*x3^3 + 50968*x3^4 + 51353*x1^3*x4 + 40882*x1^2*x2*x4 + 59831*x1*x2^2*x4 + 20002*x2^3*x4 + 14314*x1^2*x3*x4 + 56484*x1*x2*x3*x4 + 46054*x2^2*x3*x4 + 26346*x1*x3^2*x4 + 18305*x2*x3^2*x4 + 8658*x3^3*x4 + 61626*x1^2*x4^2 + 18071*x1*x2*x4^2 + 56689*x2^2*x4^2 + 27791*x1*x3*x4^2 + 40546*x2*x3*x4^2 + 40911*x3^2*x4^2 + 44942*x1*x4^3 + 5260*x2*x4^3 + 34844*x3*x4^3 + 41391*x4^4 + 5540*x1^3*x5 + 34204*x1^2*x2*x5 + 664*x1*x2^2*x5 + 57177*x2^3*x5 + 30607*x1^2*x3*x5 + 58226*x1*x2*x3*x5 + 48457*x2^2*x3*x5 + 36513*x1*x3^2*x5 + 29426*x2*x3^2*x5 + 38081*x3^3*x5 + 28738*x1^2*x4*x5 + 46206*x1*x2*x4*x5 + 6279*x2^2*x4*x5 + 55780*x1*x3*x4*x5 + 29631*x2*x3*x4*x5 + 63994*x3^2*x4*x5 + 37585*x1*x4^2*x5 + 4489*x2*x4^2*x5 + 15787*x3*x4^2*x5 + 52580*x4^3*x5 + 34678*x1^2*x5^2 + 56780*x1*x2*x5^2 + 17453*x2^2*x5^2 + 28855*x1*x3*x5^2 + 49952*x2*x3*x5^2 + 34660*x3^2*x5^2 + 3962*x1*x4*x5^2 + 14952*x2*x4*x5^2 + 37259*x3*x4*x5^2 + 13135*x4^2*x5^2 + 4951*x1*x5^3 + 5433*x2*x5^3 + 23356*x3*x5^3 + 34836*x4*x5^3 + 35465*x5^4 + 49963*x1^2*x6 + 54434*x1*x2*x6 + 323*x2^2*x6 + 42889*x1*x3*x6 + 19821*x2*x3*x6 + 54573*x3^2*x6 + 17569*x1*x4*x6 + 29700*x2*x4*x6 + 25088*x3*x4*x6 + 28403*x4^2*x6 + 13367*x1*x5*x6 + 47622*x2*x5*x6 + 29692*x3*x5*x6 + 49126*x4*x5*x6 + 32272*x5^2*x6 + 29137*x6^2 + 12369*x1^2*x7 + 47106*x1*x2*x7 + 37368*x2^2*x7 + 48349*x1*x3*x7 + 39899*x2*x3*x7 + 6695*x3^2*x7 + 33438*x1*x4*x7 + 721*x2*x4*x7 + 62777*x3*x4*x7 + 62582*x4^2*x7 + 26412*x1*x5*x7 + 45833*x2*x5*x7 + 40884*x3*x5*x7 + 33145*x4*x5*x7 + 8751*x5^2*x7 + 61009*x6*x7 + 50203*x7^2 + 48816*x1^2*x8 + 33786*x1*x2*x8 + 35504*x2^2*x8 + 36785*x1*x3*x8 + 19728*x2*x3*x8 + 37944*x3^2*x8 + 13705*x1*x4*x8 + 26424*x2*x4*x8 + 54559*x3*x4*x8 + 16687*x4^2*x8 + 763*x1*x5*x8 + 50350*x2*x5*x8 + 54441*x3*x5*x8 + 50873*x4*x5*x8 + 19990*x5^2*x8 + 51569*x6*x8 + 51582*x7*x8 + 57398*x8^2 + 59215*x1^2*x9 + 31738*x1*x2*x9 + 5465*x2^2*x9 + 57239*x1*x3*x9 + 43521*x2*x3*x9 + 3308*x3^2*x9 + 49310*x1*x4*x9 + 4704*x2*x4*x9 + 34104*x3*x4*x9 + 52203*x4^2*x9 + 30843*x1*x5*x9 + 61706*x2*x5*x9 + 13743*x3*x5*x9 + 14967*x4*x5*x9 + 7878*x5^2*x9 + 52097*x6*x9 + 10928*x7*x9 + 62897*x8*x9 + 48942*x9^2 + 49311*x1^2*x10 + 52356*x1*x2*x10 + 20723*x2^2*x10 + 51091*x1*x3*x10 + 51028*x2*x3*x10 + 64847*x3^2*x10 + 33532*x1*x4*x10 + 2412*x2*x4*x10 + 41239*x3*x4*x10 + 63607*x4^2*x10 + 4302*x1*x5*x10 + 3475*x2*x5*x10 + 1389*x3*x5*x10 + 23367*x4*x5*x10 + 27041*x5^2*x10 + 33958*x6*x10 + 52921*x7*x10 + 57577*x8*x10 + 43131*x9*x10 + 4143*x10^2 + 22416*x1^3 + 6070*x1^2*x2 + 9140*x1*x2^2 + 44484*x2^3 + 59685*x1^2*x3 + 63744*x1*x2*x3 + 9991*x2^2*x3 + 52857*x1*x3^2 + 25443*x2*x3^2 + 12652*x3^3 + 6448*x1^2*x4 + 29879*x1*x2*x4 + 8786*x2^2*x4 + 31442*x1*x3*x4 + 62091*x2*x3*x4 + 21319*x3^2*x4 + 10699*x1*x4^2 + 14358*x2*x4^2 + 50308*x3*x4^2 + 49902*x4^3 + 25908*x1^2*x5 + 16215*x1*x2*x5 + 27822*x2^2*x5 + 41830*x1*x3*x5 + 32411*x2*x3*x5 + 5724*x3^2*x5 + 41618*x1*x4*x5 + 46445*x2*x4*x5 + 30998*x3*x4*x5 + 1355*x4^2*x5 + 51245*x1*x5^2 + 14721*x2*x5^2 + 32085*x3*x5^2 + 53278*x4*x5^2 + 12844*x5^3 + 39703*x1*x6 + 38294*x2*x6 + 9859*x3*x6 + 54981*x4*x6 + 49819*x5*x6 + 35249*x1*x7 + 20494*x2*x7 + 20064*x3*x7 + 11845*x4*x7 + 27858*x5*x7 + 65439*x1*x8 + 63768*x2*x8 + 57928*x3*x8 + 46835*x4*x8 + 48318*x5*x8 + 11620*x1*x9 + 889*x2*x9 + 64346*x3*x9 + 59101*x4*x9 + 37110*x5*x9 + 39220*x1*x10 + 59477*x2*x10 + 50461*x3*x10 + 144*x4*x10 + 41921*x5*x10 + 29361*x1^2 + 21452*x1*x2 + 55417*x2^2 + 7578*x1*x3 + 36049*x2*x3 + 52157*x3^2 + 59937*x1*x4 + 15472*x2*x4 + 45054*x3*x4 + 2643*x4^2 + 34509*x1*x5 + 60091*x2*x5 + 368*x3*x5 + 65034*x4*x5 + 38063*x5^2 + 31311*x6 + 1947*x7 + 9326*x8 + 35047*x9 + 61991*x10 + 64134*x1 + 12953*x2 + 15621*x3 + 53816*x4 + 15124*x5 + 64222,
49963*x1^4 + 51695*x1^3*x2 + 38591*x1^2*x2^2 + 44342*x1*x2^3 + 12345*x2^4 + 38493*x1^3*x3 + 25772*x1^2*x2*x3 + 15556*x1*x2^2*x3 + 32414*x2^3*x3 + 51586*x1^2*x3^2 + 54564*x1*x2*x3^2 + 22110*x2^2*x3^2 + 15548*x1*x3^3 + 37542*x2*x3^3 + 48523*x3^4 + 41195*x1^3*x4 + 14426*x1^2*x2*x4 + 51818*x1*x2^2*x4 + 16570*x2^3*x4 + 20306*x1^2*x3*x4 + 65247*x1*x2*x3*x4 + 23218*x2^2*x3*x4 + 50065*x1*x3^2*x4 + 60687*x2*x3^2*x4 + 60015*x3^3*x4 + 5192*x1^2*x4^2 + 2696*x1*x2*x4^2 + 59123*x2^2*x4^2 + 62328*x1*x3*x4^2 + 11064*x2*x3*x4^2 + 45696*x3^2*x4^2 + 41363*x1*x4^3 + 33510*x2*x4^3 + 520*x3*x4^3 + 23262*x4^4 + 14586*x1^3*x5 + 50917*x1^2*x2*x5 + 53184*x1*x2^2*x5 + 28457*x2^3*x5 + 31758*x1^2*x3*x5 + 60880*x1*x2*x3*x5 + 53098*x2^2*x3*x5 + 52601*x1*x3^2*x5 + 363*x2*x3^2*x5 + 47491*x3^3*x5 + 46978*x1^2*x4*x5 + 63765*x1*x2*x4*x5 + 6353*x2^2*x4*x5 + 7945*x1*x3*x4*x5 + 57781*x2*x3*x4*x5 + 30076*x3^2*x4*x5 + 61936*x1*x4^2*x5 + 5904*x2*x4^2*x5 + 8247*x3*x4^2*x5 + 37930*x4^3*x5 + 2148*x1^2*x5^2 + 41963*x1*x2*x5^2 + 47674*x2^2*x5^2 + 42064*x1*x3*x5^2 + 65029*x2*x3*x5^2 + 5946*x3^2*x5^2 + 43559*x1*x4*x5^2 + 24380*x2*x4*x5^2 + 14671*x3*x4*x5^2 + 57658*x4^2*x5^2 + 43852*x1*x5^3 + 43670*x2*x5^3 + 5228*x3*x5^3 + 1047*x4*x5^3 + 906*x5^4 + 58776*x1^2*x6 + 49740*x1*x2*x6 + 59972*x2^2*x6 + 42281*x1*x3*x6 + 16872*x2*x3*x6 + 29941*x3^2*x6 + 41237*x1*x4*x6 + 63370*x2*x4*x6 + 49306*x3*x4*x6 + 39255*x4^2*x6 + 24997*x1*x5*x6 + 20122*x2*x5*x6 + 37157*x3*x5*x6 + 43910*x4*x5*x6 + 35560*x5^2*x6 + 26300*x6^2 + 63831*x1^2*x7 + 5345*x1*x2*x7 + 24356*x2^2*x7 + 53514*x1*x3*x7 + 2122*x2*x3*x7 + 55085*x3^2*x7 + 38211*x1*x4*x7 + 42960*x2*x4*x7 + 12663*x3*x4*x7 + 5789*x4^2*x7 + 22289*x1*x5*x7 + 18494*x2*x5*x7 + 44770*x3*x5*x7 + 28650*x4*x5*x7 + 61427*x5^2*x7 + 65180*x6*x7 + 52118*x7^2 + 53312*x1^2*x8 + 34790*x1*x2*x8 + 62272*x2^2*x8 + 34296*x1*x3*x8 + 54786*x2*x3*x8 + 55230*x3^2*x8 + 45083*x1*x4*x8 + 48545*x2*x4*x8 + 41696*x3*x4*x8 + 6356*x4^2*x8 + 30183*x1*x5*x8 + 52870*x2*x5*x8 + 63899*x3*x5*x8 + 26876*x4*x5*x8 + 50759*x5^2*x8 + 58058*x6*x8 + 20953*x7*x8 + 17044*x8^2 + 49461*x1^2*x9 + 17916*x1*x2*x9 + 23628*x2^2*x9 + 36858*x1*x3*x9 + 3084*x2*x3*x9 + 4273*x3^2*x9 + 7712*x1*x4*x9 + 16387*x2*x4*x9 + 19842*x3*x4*x9 + 4988*x4^2*x9 + 8308*x1*x5*x9 + 21387*x2*x5*x9 + 28758*x3*x5*x9 + 52650*x4*x5*x9 + 49192*x5^2*x9 + 36634*x6*x9 + 56397*x7*x9 + 25458*x8*x9 + 51075*x9^2 + 43707*x1^2*x10 + 22151*x1*x2*x10 + 64387*x2^2*x10 + 31629*x1*x3*x10 + 59429*x2*x3*x10 + 20987*x3^2*x10 + 36754*x1*x4*x10 + 55856*x2*x4*x10 + 36703*x3*x4*x10 + 51200*x4^2*x10 + 41044*x1*x5*x10 + 5762*x2*x5*x10 + 50020*x3*x5*x10 + 60901*x4*x5*x10 + 56348*x5^2*x10 + 26278*x6*x10 + 43855*x7*x10 + 34636*x8*x10 + 12515*x9*x10 + 56744*x10^2 + 26248*x1^3 + 4523*x1^2*x2 + 18131*x1*x2^2 + 26674*x2^3 + 47221*x1^2*x3 + 29849*x1*x2*x3 + 512*x2^2*x3 + 24332*x1*x3^2 + 30465*x2*x3^2 + 34162*x3^3 + 62736*x1^2*x4 + 29348*x1*x2*x4 + 9467*x2^2*x4 + 59773*x1*x3*x4 + 57695*x2*x3*x4 + 41061*x3^2*x4 + 41053*x1*x4^2 + 40160*x2*x4^2 + 56860*x3*x4^2 + 49020*x4^3 + 7954*x1^2*x5 + 48645*x1*x2*x5 + 4933*x2^2*x5 + 1224*x1*x3*x5 + 38298*x2*x3*x5 + 18922*x3^2*x5 + 19423*x1*x4*x5 + 804*x2*x4*x5 + 53234*x3*x4*x5 + 30792*x4^2*x5 + 55866*x1*x5^2 + 17859*x2*x5^2 + 45439*x3*x5^2 + 17065*x4*x5^2 + 22320*x5^3 + 28307*x1*x6 + 20457*x2*x6 + 38850*x3*x6 + 17647*x4*x6 + 51651*x5*x6 + 55157*x1*x7 + 42787*x2*x7 + 36618*x3*x7 + 57369*x4*x7 + 5537*x5*x7 + 35437*x1*x8 + 52922*x2*x8 + 14495*x3*x8 + 52825*x4*x8 + 12824*x5*x8 + 1177*x1*x9 + 56392*x2*x9 + 45798*x3*x9 + 14165*x4*x9 + 47425*x5*x9 + 46232*x1*x10 + 20179*x2*x10 + 10753*x3*x10 + 63000*x4*x10 + 17813*x5*x10 + 63641*x1^2 + 12552*x1*x2 + 64913*x2^2 + 31364*x1*x3 + 60519*x2*x3 + 6430*x3^2 + 43488*x1*x4 + 56608*x2*x4 + 42134*x3*x4 + 40810*x4^2 + 38956*x1*x5 + 61525*x2*x5 + 28420*x3*x5 + 3570*x4*x5 + 34414*x5^2 + 4983*x6 + 19909*x7 + 28904*x8 + 16492*x9 + 39124*x10 + 36502*x1 + 19328*x2 + 15939*x3 + 63005*x4 + 46763*x5 + 32978,
23586*x1^4 + 13295*x1^3*x2 + 48070*x1^2*x2^2 + 8743*x1*x2^3 + 23211*x2^4 + 64353*x1^3*x3 + 8282*x1^2*x2*x3 + 53692*x1*x2^2*x3 + 17133*x2^3*x3 + 28544*x1^2*x3^2 + 28039*x1*x2*x3^2 + 56721*x2^2*x3^2 + 13428*x1*x3^3 + 12792*x2*x3^3 + 40391*x3^4 + 56260*x1^3*x4 + 20838*x1^2*x2*x4 + 50230*x1*x2^2*x4 + 21835*x2^3*x4 + 26823*x1^2*x3*x4 + 61099*x1*x2*x3*x4 + 45415*x2^2*x3*x4 + 9518*x1*x3^2*x4 + 22870*x2*x3^2*x4 + 58004*x3^3*x4 + 61669*x1^2*x4^2 + 27737*x1*x2*x4^2 + 9140*x2^2*x4^2 + 49612*x1*x3*x4^2 + 36325*x2*x3*x4^2 + 38131*x3^2*x4^2 + 60208*x1*x4^3 + 5848*x2*x4^3 + 52170*x3*x4^3 + 1322*x4^4 + 22616*x1^3*x5 + 38332*x1^2*x2*x5 + 37984*x1*x2^2*x5 + 19175*x2^3*x5 + 58957*x1^2*x3*x5 + 44023*x1*x2*x3*x5 + 53178*x2^2*x3*x5 + 19544*x1*x3^2*x5 + 16497*x2*x3^2*x5 + 47746*x3^3*x5 + 35817*x1^2*x4*x5 + 37950*x1*x2*x4*x5 + 50690*x2^2*x4*x5 + 42274*x1*x3*x4*x5 + 988*x2*x3*x4*x5 + 27699*x3^2*x4*x5 + 37587*x1*x4^2*x5 + 12027*x2*x4^2*x5 + 29014*x3*x4^2*x5 + 52809*x4^3*x5 + 60103*x1^2*x5^2 + 12278*x1*x2*x5^2 + 42575*x2^2*x5^2 + 10308*x1*x3*x5^2 + 27425*x2*x3*x5^2 + 12430*x3^2*x5^2 + 44019*x1*x4*x5^2 + 63287*x2*x4*x5^2 + 13876*x3*x4*x5^2 + 34162*x4^2*x5^2 + 34001*x1*x5^3 + 10266*x2*x5^3 + 40917*x3*x5^3 + 59971*x4*x5^3 + 58639*x5^4 + 4133*x1^2*x6 + 41581*x1*x2*x6 + 1347*x2^2*x6 + 17938*x1*x3*x6 + 40451*x2*x3*x6 + 1291*x3^2*x6 + 22005*x1*x4*x6 + 1979*x2*x4*x6 + 8990*x3*x4*x6 + 406*x4^2*x6 + 19237*x1*x5*x6 + 60554*x2*x5*x6 + 35434*x3*x5*x6 + 42957*x4*x5*x6 + 53375*x5^2*x6 + 29625*x6^2 + 31502*x1^2*x7 + 23343*x1*x2*x7 + 44401*x2^2*x7 + 22951*x1*x3*x7 + 30824*x2*x3*x7 + 23424*x3^2*x7 + 38213*x1*x4*x7 + 33799*x2*x4*x7 + 7204*x3*x4*x7 + 1241*x4^2*x7 + 24628*x1*x5*x7 + 31299*x2*x5*x7 + 16747*x3*x5*x7 + 52429*x4*x5*x7 + 14857*x5^2*x7 + 19211*x6*x7 + 785*x7^2 + 42426*x1^2*x8 + 15341*x1*x2*x8 + 55529*x2^2*x8 + 39298*x1*x3*x8 + 29627*x2*x3*x8 + 4245*x3^2*x8 + 49741*x1*x4*x8 + 42092*x2*x4*x8 + 50261*x3*x4*x8 + 40122*x4^2*x8 + 21931*x1*x5*x8 + 24628*x2*x5*x8 + 43484*x3*x5*x8 + 54877*x4*x5*x8 + 48838*x5^2*x8 + 37642*x6*x8 + 21025*x7*x8 + 20224*x8^2 + 50353*x1^2*x9 + 26542*x1*x2*x9 + 19875*x2^2*x9 + 5803*x1*x3*x9 + 51101*x2*x3*x9 + 34642*x3^2*x9 + 41024*x1*x4*x9 + 56281*x2*x4*x9 + 31236*x3*x4*x9 + 36542*x4^2*x9 + 64879*x1*x5*x9 + 53158*x2*x5*x9 + 39552*x3*x5*x9 + 52643*x4*x5*x9 + 34900*x5^2*x9 + 10017*x6*x9 + 32640*x7*x9 + 26194*x8*x9 + 20115*x9^2 + 14707*x1^2*x10 + 59717*x1*x2*x10 + 5349*x2^2*x10 + 64475*x1*x3*x10 + 52949*x2*x3*x10 + 6178*x3^2*x10 + 55480*x1*x4*x10 + 40124*x2*x4*x10 + 28952*x3*x4*x10 + 7114*x4^2*x10 + 40127*x1*x5*x10 + 49357*x2*x5*x10 + 12781*x3*x5*x10 + 3653*x4*x5*x10 + 61678*x5^2*x10 + 18620*x6*x10 + 19568*x7*x10 + 19000*x8*x10 + 2707*x9*x10 + 1035*x10^2 + 51454*x1^3 + 27449*x1^2*x2 + 37910*x1*x2^2 + 54582*x2^3 + 26494*x1^2*x3 + 19326*x1*x2*x3 + 7705*x2^2*x3 + 54477*x1*x3^2 + 22099*x2*x3^2 + 51655*x3^3 + 58475*x1^2*x4 + 51898*x1*x2*x4 + 63134*x2^2*x4 + 44524*x1*x3*x4 + 54906*x2*x3*x4 + 50638*x3^2*x4 + 9369*x1*x4^2 + 46395*x2*x4^2 + 53888*x3*x4^2 + 43972*x4^3 + 36345*x1^2*x5 + 48432*x1*x2*x5 + 52223*x2^2*x5 + 49350*x1*x3*x5 + 50673*x2*x3*x5 + 12399*x3^2*x5 + 28420*x1*x4*x5 + 815*x2*x4*x5 + 61024*x3*x4*x5 + 51736*x4^2*x5 + 29659*x1*x5^2 + 13209*x2*x5^2 + 27294*x3*x5^2 + 15457*x4*x5^2 + 35583*x5^3 + 64702*x1*x6 + 48633*x2*x6 + 35985*x3*x6 + 58531*x4*x6 + 19640*x5*x6 + 31118*x1*x7 + 30427*x2*x7 + 41879*x3*x7 + 17603*x4*x7 + 26569*x5*x7 + 37070*x1*x8 + 24878*x2*x8 + 25227*x3*x8 + 48430*x4*x8 + 16810*x5*x8 + 18190*x1*x9 + 61838*x2*x9 + 47354*x3*x9 + 1331*x4*x9 + 63686*x5*x9 + 16612*x1*x10 + 11806*x2*x10 + 48357*x3*x10 + 52092*x4*x10 + 35985*x5*x10 + 36580*x1^2 + 7757*x1*x2 + 58500*x2^2 + 8320*x1*x3 + 50329*x2*x3 + 12609*x3^2 + 43090*x1*x4 + 32854*x2*x4 + 46347*x3*x4 + 5401*x4^2 + 35611*x1*x5 + 3639*x2*x5 + 34157*x3*x5 + 18922*x4*x5 + 39053*x5^2 + 24867*x6 + 7814*x7 + 33683*x8 + 6448*x9 + 4069*x10 + 14772*x1 + 50265*x2 + 10412*x3 + 59716*x4 + 52500*x5 + 34844,
13542*x1^4 + 40983*x1^3*x2 + 60853*x1^2*x2^2 + 3600*x1*x2^3 + 24929*x2^4 + 7831*x1^3*x3 + 45037*x1^2*x2*x3 + 43378*x1*x2^2*x3 + 22803*x2^3*x3 + 35176*x1^2*x3^2 + 434*x1*x2*x3^2 + 29219*x2^2*x3^2 + 57576*x1*x3^3 + 62599*x2*x3^3 + 45418*x3^4 + 45725*x1^3*x4 + 20911*x1^2*x2*x4 + 48387*x1*x2^2*x4 + 13029*x2^3*x4 + 56611*x1^2*x3*x4 + 3476*x1*x2*x3*x4 + 31164*x2^2*x3*x4 + 52349*x1*x3^2*x4 + 61710*x2*x3^2*x4 + 19460*x3^3*x4 + 62463*x1^2*x4^2 + 29177*x1*x2*x4^2 + 10699*x2^2*x4^2 + 61326*x1*x3*x4^2 + 888*x2*x3*x4^2 + 24536*x3^2*x4^2 + 36743*x1*x4^3 + 55855*x2*x4^3 + 64929*x3*x4^3 + 49498*x4^4 + 62550*x1^3*x5 + 38545*x1^2*x2*x5 + 824*x1*x2^2*x5 + 11016*x2^3*x5 + 7430*x1^2*x3*x5 + 15359*x1*x2*x3*x5 + 20448*x2^2*x3*x5 + 45945*x1*x3^2*x5 + 53951*x2*x3^2*x5 + 55156*x3^3*x5 + 12279*x1^2*x4*x5 + 17351*x1*x2*x4*x5 + 60453*x2^2*x4*x5 + 33403*x1*x3*x4*x5 + 45215*x2*x3*x4*x5 + 35805*x3^2*x4*x5 + 2975*x1*x4^2*x5 + 55039*x2*x4^2*x5 + 16349*x3*x4^2*x5 + 64815*x4^3*x5 + 901*x1^2*x5^2 + 1700*x1*x2*x5^2 + 32789*x2^2*x5^2 + 853*x1*x3*x5^2 + 28081*x2*x3*x5^2 + 19120*x3^2*x5^2 + 19784*x1*x4*x5^2 + 32125*x2*x4*x5^2 + 44914*x3*x4*x5^2 + 10885*x4^2*x5^2 + 7259*x1*x5^3 + 51646*x2*x5^3 + 3473*x3*x5^3 + 45521*x4*x5^3 + 18796*x5^4 + 1826*x1^2*x6 + 38513*x1*x2*x6 + 5049*x2^2*x6 + 59793*x1*x3*x6 + 45997*x2*x3*x6 + 34478*x3^2*x6 + 62937*x1*x4*x6 + 49440*x2*x4*x6 + 22527*x3*x4*x6 + 14707*x4^2*x6 + 59439*x1*x5*x6 + 26530*x2*x5*x6 + 31359*x3*x5*x6 + 10601*x4*x5*x6 + 63215*x5^2*x6 + 33191*x6^2 + 23357*x1^2*x7 + 42823*x1*x2*x7 + 28508*x2^2*x7 + 35950*x1*x3*x7 + 60347*x2*x3*x7 + 60721*x3^2*x7 + 47949*x1*x4*x7 + 48912*x2*x4*x7 + 59847*x3*x4*x7 + 59012*x4^2*x7 + 63525*x1*x5*x7 + 17049*x2*x5*x7 + 23591*x3*x5*x7 + 32825*x4*x5*x7 + 33587*x5^2*x7 + 29529*x6*x7 + 6989*x7^2 + 16109*x1^2*x8 + 909*x1*x2*x8 + 43013*x2^2*x8 + 6209*x1*x3*x8 + 112*x2*x3*x8 + 30700*x3^2*x8 + 60264*x1*x4*x8 + 65082*x2*x4*x8 + 10131*x3*x4*x8 + 55339*x4^2*x8 + 19176*x1*x5*x8 + 1967*x2*x5*x8 + 60179*x3*x5*x8 + 61589*x4*x5*x8 + 43115*x5^2*x8 + 36268*x6*x8 + 47875*x7*x8 + 27179*x8^2 + 52309*x1^2*x9 + 33353*x1*x2*x9 + 50610*x2^2*x9 + 27279*x1*x3*x9 + 7819*x2*x3*x9 + 16152*x3^2*x9 + 20268*x1*x4*x9 + 35792*x2*x4*x9 + 214*x3*x4*x9 + 46752*x4^2*x9 + 52016*x1*x5*x9 + 21961*x2*x5*x9 + 58871*x3*x5*x9 + 39581*x4*x5*x9 + 2575*x5^2*x9 + 52301*x6*x9 + 9970*x7*x9 + 13225*x8*x9 + 2939*x9^2 + 35564*x1^2*x10 + 17867*x1*x2*x10 + 46853*x2^2*x10 + 29140*x1*x3*x10 + 44191*x2*x3*x10 + 10726*x3^2*x10 + 14112*x1*x4*x10 + 61067*x2*x4*x10 + 41625*x3*x4*x10 + 64820*x4^2*x10 + 43974*x1*x5*x10 + 24008*x2*x5*x10 + 8680*x3*x5*x10 + 8739*x4*x5*x10 + 1048*x5^2*x10 + 57222*x6*x10 + 10183*x7*x10 + 48546*x8*x10 + 7779*x9*x10 + 51889*x10^2 + 43762*x1^3 + 19673*x1^2*x2 + 25052*x1*x2^2 + 21258*x2^3 + 49931*x1^2*x3 + 28661*x1*x2*x3 + 18636*x2^2*x3 + 12205*x1*x3^2 + 18453*x2*x3^2 + 35057*x3^3 + 29270*x1^2*x4 + 7021*x1*x2*x4 + 14892*x2^2*x4 + 54123*x1*x3*x4 + 59236*x2*x3*x4 + 783*x3^2*x4 + 28901*x1*x4^2 + 21695*x2*x4^2 + 57720*x3*x4^2 + 39206*x4^3 + 39000*x1^2*x5 + 62391*x1*x2*x5 + 946*x2^2*x5 + 36603*x1*x3*x5 + 59621*x2*x3*x5 + 5523*x3^2*x5 + 4719*x1*x4*x5 + 64391*x2*x4*x5 + 18033*x3*x4*x5 + 8558*x4^2*x5 + 54484*x1*x5^2 + 41612*x2*x5^2 + 56114*x3*x5^2 + 63327*x4*x5^2 + 46016*x5^3 + 20218*x1*x6 + 64999*x2*x6 + 15315*x3*x6 + 14706*x4*x6 + 4598*x5*x6 + 17053*x1*x7 + 8386*x2*x7 + 12114*x3*x7 + 30684*x4*x7 + 3940*x5*x7 + 21214*x1*x8 + 14459*x2*x8 + 25601*x3*x8 + 24481*x4*x8 + 14485*x5*x8 + 5517*x1*x9 + 53843*x2*x9 + 14030*x3*x9 + 26786*x4*x9 + 27253*x5*x9 + 14701*x1*x10 + 46668*x2*x10 + 57815*x3*x10 + 17080*x4*x10 + 29155*x5*x10 + 46123*x1^2 + 13421*x1*x2 + 22139*x2^2 + 32222*x1*x3 + 49754*x2*x3 + 24451*x3^2 + 32949*x1*x4 + 29892*x2*x4 + 19318*x3*x4 + 57496*x4^2 + 53676*x1*x5 + 21108*x2*x5 + 31295*x3*x5 + 16183*x4*x5 + 24852*x5^2 + 51549*x6 + 55999*x7 + 52342*x8 + 1102*x9 + 43266*x10 + 20781*x1 + 44049*x2 + 4502*x3 + 51123*x4 + 56201*x5 + 1415,
21638*x1^4 + 37948*x1^3*x2 + 5673*x1^2*x2^2 + 47838*x1*x2^3 + 9131*x2^4 + 40246*x1^3*x3 + 16484*x1^2*x2*x3 + 14266*x1*x2^2*x3 + 13542*x2^3*x3 + 28926*x1^2*x3^2 + 6526*x1*x2*x3^2 + 25228*x2^2*x3^2 + 11754*x1*x3^3 + 3214*x2*x3^3 + 12023*x3^4 + 36599*x1^3*x4 + 3606*x1^2*x2*x4 + 5069*x1*x2^2*x4 + 54898*x2^3*x4 + 45989*x1^2*x3*x4 + 27308*x1*x2*x3*x4 + 63910*x2^2*x3*x4 + 27591*x1*x3^2*x4 + 35366*x2*x3^2*x4 + 28464*x3^3*x4 + 11012*x1^2*x4^2 + 38762*x1*x2*x4^2 + 7214*x2^2*x4^2 + 15464*x1*x3*x4^2 + 47597*x2*x3*x4^2 + 54676*x3^2*x4^2 + 5444*x1*x4^3 + 31460*x2*x4^3 + 4010*x3*x4^3 + 61882*x4^4 + 35792*x1^3*x5 + 28998*x1^2*x2*x5 + 35875*x1*x2^2*x5 + 63715*x2^3*x5 + 33977*x1^2*x3*x5 + 34328*x1*x2*x3*x5 + 63466*x2^2*x3*x5 + 54994*x1*x3^2*x5 + 42282*x2*x3^2*x5 + 61079*x3^3*x5 + 23624*x1^2*x4*x5 + 24528*x1*x2*x4*x5 + 40686*x2^2*x4*x5 + 55685*x1*x3*x4*x5 + 52242*x2*x3*x4*x5 + 5663*x3^2*x4*x5 + 13565*x1*x4^2*x5 + 22594*x2*x4^2*x5 + 48836*x3*x4^2*x5 + 33321*x4^3*x5 + 32921*x1^2*x5^2 + 33972*x1*x2*x5^2 + 34870*x2^2*x5^2 + 36271*x1*x3*x5^2 + 8830*x2*x3*x5^2 + 25651*x3^2*x5^2 + 60750*x1*x4*x5^2 + 1783*x2*x4*x5^2 + 18846*x3*x4*x5^2 + 43418*x4^2*x5^2 + 18792*x1*x5^3 + 61058*x2*x5^3 + 44921*x3*x5^3 + 31598*x4*x5^3 + 10333*x5^4 + 360*x1^2*x6 + 6529*x1*x2*x6 + 52805*x2^2*x6 + 27732*x1*x3*x6 + 55317*x2*x3*x6 + 62906*x3^2*x6 + 37834*x1*x4*x6 + 12210*x2*x4*x6 + 24216*x3*x4*x6 + 33301*x4^2*x6 + 42169*x1*x5*x6 + 39996*x2*x5*x6 + 38271*x3*x5*x6 + 892*x4*x5*x6 + 54560*x5^2*x6 + 47395*x6^2 + 10140*x1^2*x7 + 39273*x1*x2*x7 + 1767*x2^2*x7 + 12496*x1*x3*x7 + 25960*x2*x3*x7 + 15591*x3^2*x7 + 21127*x1*x4*x7 + 37825*x2*x4*x7 + 25733*x3*x4*x7 + 12117*x4^2*x7 + 34371*x1*x5*x7 + 3041*x2*x5*x7 + 3300*x3*x5*x7 + 25499*x4*x5*x7 + 59332*x5^2*x7 + 36283*x6*x7 + 28941*x7^2 + 50043*x1^2*x8 + 44453*x1*x2*x8 + 8883*x2^2*x8 + 47081*x1*x3*x8 + 16206*x2*x3*x8 + 26355*x3^2*x8 + 30358*x1*x4*x8 + 63704*x2*x4*x8 + 6577*x3*x4*x8 + 61785*x4^2*x8 + 7694*x1*x5*x8 + 33454*x2*x5*x8 + 22957*x3*x5*x8 + 24619*x4*x5*x8 + 41350*x5^2*x8 + 51879*x6*x8 + 64168*x7*x8 + 42280*x8^2 + 12000*x1^2*x9 + 14885*x1*x2*x9 + 11779*x2^2*x9 + 63986*x1*x3*x9 + 56801*x2*x3*x9 + 56330*x3^2*x9 + 783*x1*x4*x9 + 16555*x2*x4*x9 + 17783*x3*x4*x9 + 8003*x4^2*x9 + 13482*x1*x5*x9 + 17859*x2*x5*x9 + 39318*x3*x5*x9 + 20505*x4*x5*x9 + 25160*x5^2*x9 + 34317*x6*x9 + 54104*x7*x9 + 2639*x8*x9 + 31977*x9^2 + 10681*x1^2*x10 + 103*x1*x2*x10 + 17506*x2^2*x10 + 58957*x1*x3*x10 + 28922*x2*x3*x10 + 57626*x3^2*x10 + 23586*x1*x4*x10 + 39762*x2*x4*x10 + 1266*x3*x4*x10 + 36798*x4^2*x10 + 54962*x1*x5*x10 + 18801*x2*x5*x10 + 9931*x3*x5*x10 + 47095*x4*x5*x10 + 27422*x5^2*x10 + 48927*x6*x10 + 23545*x7*x10 + 64255*x8*x10 + 56864*x9*x10 + 34103*x10^2 + 15504*x1^3 + 45644*x1^2*x2 + 36024*x1*x2^2 + 42113*x2^3 + 53194*x1^2*x3 + 50658*x1*x2*x3 + 32716*x2^2*x3 + 22573*x1*x3^2 + 44274*x2*x3^2 + 54272*x3^3 + 40887*x1^2*x4 + 32766*x1*x2*x4 + 65020*x2^2*x4 + 35819*x1*x3*x4 + 552*x2*x3*x4 + 27857*x3^2*x4 + 693*x1*x4^2 + 6377*x2*x4^2 + 1892*x3*x4^2 + 41546*x4^3 + 49968*x1^2*x5 + 9020*x1*x2*x5 + 53990*x2^2*x5 + 49193*x1*x3*x5 + 14074*x2*x3*x5 + 57829*x3^2*x5 + 33243*x1*x4*x5 + 57844*x2*x4*x5 + 35992*x3*x4*x5 + 26828*x4^2*x5 + 32827*x1*x5^2 + 13041*x2*x5^2 + 52233*x3*x5^2 + 42796*x4*x5^2 + 6514*x5^3 + 29682*x1*x6 + 18249*x2*x6 + 27274*x3*x6 + 23465*x4*x6 + 20943*x5*x6 + 27934*x1*x7 + 1637*x2*x7 + 31779*x3*x7 + 10021*x4*x7 + 32481*x5*x7 + 47488*x1*x8 + 8126*x2*x8 + 5105*x3*x8 + 37751*x4*x8 + 42151*x5*x8 + 41309*x1*x9 + 16557*x2*x9 + 55964*x3*x9 + 13981*x4*x9 + 50985*x5*x9 + 27815*x1*x10 + 29538*x2*x10 + 51911*x3*x10 + 53370*x4*x10 + 22836*x5*x10 + 32840*x1^2 + 10824*x1*x2 + 5169*x2^2 + 51685*x1*x3 + 27571*x2*x3 + 11549*x3^2 + 36186*x1*x4 + 18483*x2*x4 + 43504*x3*x4 + 55866*x4^2 + 10123*x1*x5 + 34872*x2*x5 + 58861*x3*x5 + 34323*x4*x5 + 28481*x5^2 + 65420*x6 + 24737*x7 + 3974*x8 + 7953*x9 + 62461*x10 + 63023*x1 + 39653*x2 + 16874*x3 + 24374*x4 + 59169*x5 + 51757,
53755*x1^4 + 51217*x1^3*x2 + 62103*x1^2*x2^2 + 11077*x1*x2^3 + 54589*x2^4 + 14727*x1^3*x3 + 63593*x1^2*x2*x3 + 57407*x1*x2^2*x3 + 37369*x2^3*x3 + 55363*x1^2*x3^2 + 12927*x1*x2*x3^2 + 27465*x2^2*x3^2 + 40815*x1*x3^3 + 14126*x2*x3^3 + 50534*x3^4 + 13699*x1^3*x4 + 65102*x1^2*x2*x4 + 30151*x1*x2^2*x4 + 31368*x2^3*x4 + 31601*x1^2*x3*x4 + 48207*x1*x2*x3*x4 + 40602*x2^2*x3*x4 + 42072*x1*x3^2*x4 + 21883*x2*x3^2*x4 + 28935*x3^3*x4 + 16910*x1^2*x4^2 + 20227*x1*x2*x4^2 + 57475*x2^2*x4^2 + 56178*x1*x3*x4^2 + 3657*x2*x3*x4^2 + 58698*x3^2*x4^2 + 33299*x1*x4^3 + 20060*x2*x4^3 + 23043*x3*x4^3 + 45731*x4^4 + 37326*x1^3*x5 + 36498*x1^2*x2*x5 + 36812*x1*x2^2*x5 + 41152*x2^3*x5 + 65230*x1^2*x3*x5 + 49865*x1*x2*x3*x5 + 47117*x2^2*x3*x5 + 56767*x1*x3^2*x5 + 41803*x2*x3^2*x5 + 39647*x3^3*x5 + 3290*x1^2*x4*x5 + 32985*x1*x2*x4*x5 + 41777*x2^2*x4*x5 + 47295*x1*x3*x4*x5 + 62837*x2*x3*x4*x5 + 52146*x3^2*x4*x5 + 64626*x1*x4^2*x5 + 2811*x2*x4^2*x5 + 51320*x3*x4^2*x5 + 58390*x4^3*x5 + 30991*x1^2*x5^2 + 24206*x1*x2*x5^2 + 50964*x2^2*x5^2 + 35487*x1*x3*x5^2 + 37168*x2*x3*x5^2 + 50340*x3^2*x5^2 + 5210*x1*x4*x5^2 + 88*x2*x4*x5^2 + 47215*x3*x4*x5^2 + 32894*x4^2*x5^2 + 12232*x1*x5^3 + 18381*x2*x5^3 + 24759*x3*x5^3 + 39129*x4*x5^3 + 56487*x5^4 + 43923*x1^2*x6 + 43300*x1*x2*x6 + 18314*x2^2*x6 + 8745*x1*x3*x6 + 18875*x2*x3*x6 + 41350*x3^2*x6 + 24406*x1*x4*x6 + 33833*x2*x4*x6 + 35453*x3*x4*x6 + 62280*x4^2*x6 + 2541*x1*x5*x6 + 24915*x2*x5*x6 + 34557*x3*x5*x6 + 8249*x4*x5*x6 + 17311*x5^2*x6 + 62036*x6^2 + 49538*x1^2*x7 + 51607*x1*x2*x7 + 16426*x2^2*x7 + 3735*x1*x3*x7 + 48108*x2*x3*x7 + 35065*x3^2*x7 + 22626*x1*x4*x7 + 35077*x2*x4*x7 + 9607*x3*x4*x7 + 37507*x4^2*x7 + 59374*x1*x5*x7 + 1189*x2*x5*x7 + 33933*x3*x5*x7 + 54549*x4*x5*x7 + 63134*x5^2*x7 + 57138*x6*x7 + 20665*x7^2 + 34750*x1^2*x8 + 50829*x1*x2*x8 + 40436*x2^2*x8 + 36000*x1*x3*x8 + 64405*x2*x3*x8 + 34292*x3^2*x8 + 59192*x1*x4*x8 + 64956*x2*x4*x8 + 46186*x3*x4*x8 + 65464*x4^2*x8 + 11143*x1*x5*x8 + 49117*x2*x5*x8 + 7328*x3*x5*x8 + 17424*x4*x5*x8 + 8122*x5^2*x8 + 28622*x6*x8 + 62109*x7*x8 + 40944*x8^2 + 1909*x1^2*x9 + 64017*x1*x2*x9 + 61725*x2^2*x9 + 26073*x1*x3*x9 + 24700*x2*x3*x9 + 23657*x3^2*x9 + 36309*x1*x4*x9 + 28473*x2*x4*x9 + 40904*x3*x4*x9 + 58131*x4^2*x9 + 22442*x1*x5*x9 + 53770*x2*x5*x9 + 24653*x3*x5*x9 + 11293*x4*x5*x9 + 28386*x5^2*x9 + 33787*x6*x9 + 64165*x7*x9 + 48054*x8*x9 + 1525*x9^2 + 6894*x1^2*x10 + 47031*x1*x2*x10 + 1604*x2^2*x10 + 16703*x1*x3*x10 + 28483*x2*x3*x10 + 39661*x3^2*x10 + 41981*x1*x4*x10 + 19418*x2*x4*x10 + 35806*x3*x4*x10 + 43540*x4^2*x10 + 8367*x1*x5*x10 + 15427*x2*x5*x10 + 55202*x3*x5*x10 + 32506*x4*x5*x10 + 22602*x5^2*x10 + 46165*x6*x10 + 56818*x7*x10 + 11605*x8*x10 + 25713*x9*x10 + 32995*x10^2 + 54169*x1^3 + 8304*x1^2*x2 + 9821*x1*x2^2 + 57691*x2^3 + 61290*x1^2*x3 + 59212*x1*x2*x3 + 5547*x2^2*x3 + 390*x1*x3^2 + 25914*x2*x3^2 + 45351*x3^3 + 53174*x1^2*x4 + 4125*x1*x2*x4 + 49344*x2^2*x4 + 21423*x1*x3*x4 + 58404*x2*x3*x4 + 47712*x3^2*x4 + 8796*x1*x4^2 + 44309*x2*x4^2 + 36379*x3*x4^2 + 17554*x4^3 + 24322*x1^2*x5 + 8852*x1*x2*x5 + 28902*x2^2*x5 + 39195*x1*x3*x5 + 6158*x2*x3*x5 + 23277*x3^2*x5 + 34830*x1*x4*x5 + 41176*x2*x4*x5 + 55684*x3*x4*x5 + 12995*x4^2*x5 + 15110*x1*x5^2 + 35262*x2*x5^2 + 456*x3*x5^2 + 54634*x4*x5^2 + 1737*x5^3 + 48647*x1*x6 + 7573*x2*x6 + 8984*x3*x6 + 19977*x4*x6 + 54987*x5*x6 + 33845*x1*x7 + 4795*x2*x7 + 31427*x3*x7 + 1825*x4*x7 + 22786*x5*x7 + 48003*x1*x8 + 16533*x2*x8 + 1114*x3*x8 + 2184*x4*x8 + 51395*x5*x8 + 29842*x1*x9 + 38764*x2*x9 + 15187*x3*x9 + 25738*x4*x9 + 47612*x5*x9 + 61967*x1*x10 + 34482*x2*x10 + 59699*x3*x10 + 48225*x4*x10 + 16318*x5*x10 + 47099*x1^2 + 5818*x1*x2 + 31765*x2^2 + 49109*x1*x3 + 58517*x2*x3 + 60549*x3^2 + 45099*x1*x4 + 36962*x2*x4 + 1973*x3*x4 + 57422*x4^2 + 26053*x1*x5 + 64009*x2*x5 + 27667*x3*x5 + 30682*x4*x5 + 50862*x5^2 + 15909*x6 + 57200*x7 + 60171*x8 + 46881*x9 + 36932*x10 + 15376*x1 + 36381*x2 + 29336*x3 + 303*x4 + 45207*x5 + 22058
]
: