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

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

#list

[
41295*x1^4 + 12523*x1^3*x2 + 2226*x1^2*x2^2 + 48322*x1*x2^3 + 56210*x2^4 + 65412*x1^3*x3 + 44444*x1^2*x2*x3 + 36260*x1*x2^2*x3 + 16356*x2^3*x3 + 9903*x1^2*x3^2 + 9051*x1*x2*x3^2 + 1057*x2^2*x3^2 + 41540*x1*x3^3 + 57716*x2*x3^3 + 49273*x3^4 + 29311*x1^3*x4 + 42102*x1^2*x2*x4 + 3763*x1*x2^2*x4 + 63482*x2^3*x4 + 48945*x1^2*x3*x4 + 13402*x1*x2*x3*x4 + 29428*x2^2*x3*x4 + 35421*x1*x3^2*x4 + 62021*x2*x3^2*x4 + 41897*x3^3*x4 + 19963*x1^2*x4^2 + 637*x1*x2*x4^2 + 5085*x2^2*x4^2 + 16380*x1*x3*x4^2 + 57323*x2*x3*x4^2 + 38868*x3^2*x4^2 + 22570*x1*x4^3 + 51339*x2*x4^3 + 1283*x3*x4^3 + 30848*x4^4 + 52500*x1^3*x5 + 55827*x1^2*x2*x5 + 21286*x1*x2^2*x5 + 19639*x2^3*x5 + 47495*x1^2*x3*x5 + 45885*x1*x2*x3*x5 + 418*x2^2*x3*x5 + 9429*x1*x3^2*x5 + 14125*x2*x3^2*x5 + 55322*x3^3*x5 + 10344*x1^2*x4*x5 + 34593*x1*x2*x4*x5 + 58386*x2^2*x4*x5 + 59849*x1*x3*x4*x5 + 48933*x2*x3*x4*x5 + 10946*x3^2*x4*x5 + 58018*x1*x4^2*x5 + 39140*x2*x4^2*x5 + 63174*x3*x4^2*x5 + 59711*x4^3*x5 + 59059*x1^2*x5^2 + 1784*x1*x2*x5^2 + 63819*x2^2*x5^2 + 59974*x1*x3*x5^2 + 36554*x2*x3*x5^2 + 8288*x3^2*x5^2 + 50931*x1*x4*x5^2 + 30042*x2*x4*x5^2 + 1308*x3*x4*x5^2 + 17403*x4^2*x5^2 + 34940*x1*x5^3 + 14060*x2*x5^3 + 64055*x3*x5^3 + 46160*x4*x5^3 + 33545*x5^4 + 15458*x1^2*x6 + 53926*x1*x2*x6 + 12301*x2^2*x6 + 57230*x1*x3*x6 + 8063*x2*x3*x6 + 54508*x3^2*x6 + 37707*x1*x4*x6 + 26173*x2*x4*x6 + 8494*x3*x4*x6 + 17730*x4^2*x6 + 44344*x1*x5*x6 + 33583*x2*x5*x6 + 44580*x3*x5*x6 + 54885*x4*x5*x6 + 2299*x5^2*x6 + 36304*x6^2 + 19776*x1^2*x7 + 50338*x1*x2*x7 + 42780*x2^2*x7 + 3946*x1*x3*x7 + 50409*x2*x3*x7 + 61217*x3^2*x7 + 1770*x1*x4*x7 + 58744*x2*x4*x7 + 12492*x3*x4*x7 + 28551*x4^2*x7 + 33692*x1*x5*x7 + 15669*x2*x5*x7 + 31183*x3*x5*x7 + 27788*x4*x5*x7 + 16285*x5^2*x7 + 22204*x6*x7 + 32875*x7^2 + 1436*x1^2*x8 + 31599*x1*x2*x8 + 62965*x2^2*x8 + 65085*x1*x3*x8 + 48668*x2*x3*x8 + 9217*x3^2*x8 + 12206*x1*x4*x8 + 57876*x2*x4*x8 + 44236*x3*x4*x8 + 32552*x4^2*x8 + 44286*x1*x5*x8 + 22656*x2*x5*x8 + 17207*x3*x5*x8 + 4056*x4*x5*x8 + 42527*x5^2*x8 + 57210*x6*x8 + 29099*x7*x8 + 55565*x8^2 + 39704*x1^2*x9 + 7638*x1*x2*x9 + 26992*x2^2*x9 + 27707*x1*x3*x9 + 52931*x2*x3*x9 + 3479*x3^2*x9 + 44425*x1*x4*x9 + 58582*x2*x4*x9 + 41169*x3*x4*x9 + 7774*x4^2*x9 + 50621*x1*x5*x9 + 931*x2*x5*x9 + 52208*x3*x5*x9 + 16300*x4*x5*x9 + 40249*x5^2*x9 + 5302*x6*x9 + 1349*x7*x9 + 2623*x8*x9 + 28172*x9^2 + 773*x1^2*x10 + 57237*x1*x2*x10 + 40958*x2^2*x10 + 12846*x1*x3*x10 + 15933*x2*x3*x10 + 21242*x3^2*x10 + 4698*x1*x4*x10 + 34122*x2*x4*x10 + 34828*x3*x4*x10 + 442*x4^2*x10 + 17469*x1*x5*x10 + 11344*x2*x5*x10 + 62876*x3*x5*x10 + 16397*x4*x5*x10 + 50789*x5^2*x10 + 56521*x6*x10 + 33657*x7*x10 + 21139*x8*x10 + 35093*x9*x10 + 25078*x10^2 + 1628*x1^3 + 33061*x1^2*x2 + 27614*x1*x2^2 + 40086*x2^3 + 43169*x1^2*x3 + 24076*x1*x2*x3 + 43198*x2^2*x3 + 18003*x1*x3^2 + 25219*x2*x3^2 + 48415*x3^3 + 45165*x1^2*x4 + 28817*x1*x2*x4 + 54710*x2^2*x4 + 28247*x1*x3*x4 + 16823*x2*x3*x4 + 28830*x3^2*x4 + 10837*x1*x4^2 + 15835*x2*x4^2 + 17347*x3*x4^2 + 4177*x4^3 + 47888*x1^2*x5 + 58962*x1*x2*x5 + 57908*x2^2*x5 + 52559*x1*x3*x5 + 992*x2*x3*x5 + 32827*x3^2*x5 + 42931*x1*x4*x5 + 7713*x2*x4*x5 + 2410*x3*x4*x5 + 57665*x4^2*x5 + 57164*x1*x5^2 + 47464*x2*x5^2 + 52394*x3*x5^2 + 62589*x4*x5^2 + 36119*x5^3 + 8374*x1*x6 + 37593*x2*x6 + 15302*x3*x6 + 26492*x4*x6 + 50173*x5*x6 + 41396*x1*x7 + 45443*x2*x7 + 8426*x3*x7 + 32968*x4*x7 + 50074*x5*x7 + 33038*x1*x8 + 18590*x2*x8 + 35596*x3*x8 + 38416*x4*x8 + 52454*x5*x8 + 4330*x1*x9 + 24602*x2*x9 + 64420*x3*x9 + 18687*x4*x9 + 50145*x5*x9 + 29023*x1*x10 + 36935*x2*x10 + 54103*x3*x10 + 43759*x4*x10 + 7520*x5*x10 + 34656*x1^2 + 47709*x1*x2 + 16843*x2^2 + 48522*x1*x3 + 27427*x2*x3 + 6724*x3^2 + 48891*x1*x4 + 31969*x2*x4 + 1882*x3*x4 + 65350*x4^2 + 48449*x1*x5 + 20680*x2*x5 + 2538*x3*x5 + 25734*x4*x5 + 39849*x5^2 + 40101*x6 + 8567*x7 + 25075*x8 + 28208*x9 + 50022*x10 + 41772*x1 + 39266*x2 + 2991*x3 + 13563*x4 + 42084*x5 + 50437,
35774*x1^4 + 10986*x1^3*x2 + 23433*x1^2*x2^2 + 48897*x1*x2^3 + 49015*x2^4 + 5368*x1^3*x3 + 11089*x1^2*x2*x3 + 64*x1*x2^2*x3 + 59578*x2^3*x3 + 13017*x1^2*x3^2 + 36650*x1*x2*x3^2 + 14820*x2^2*x3^2 + 48377*x1*x3^3 + 40558*x2*x3^3 + 359*x3^4 + 51279*x1^3*x4 + 62883*x1^2*x2*x4 + 44056*x1*x2^2*x4 + 58287*x2^3*x4 + 45566*x1^2*x3*x4 + 5698*x1*x2*x3*x4 + 47472*x2^2*x3*x4 + 42660*x1*x3^2*x4 + 13480*x2*x3^2*x4 + 52783*x3^3*x4 + 55832*x1^2*x4^2 + 48468*x1*x2*x4^2 + 6108*x2^2*x4^2 + 36069*x1*x3*x4^2 + 19115*x2*x3*x4^2 + 170*x3^2*x4^2 + 32948*x1*x4^3 + 46240*x2*x4^3 + 6737*x3*x4^3 + 34056*x4^4 + 22123*x1^3*x5 + 60881*x1^2*x2*x5 + 13474*x1*x2^2*x5 + 56041*x2^3*x5 + 31297*x1^2*x3*x5 + 60659*x1*x2*x3*x5 + 7769*x2^2*x3*x5 + 34480*x1*x3^2*x5 + 32722*x2*x3^2*x5 + 18224*x3^3*x5 + 10649*x1^2*x4*x5 + 6534*x1*x2*x4*x5 + 46694*x2^2*x4*x5 + 8130*x1*x3*x4*x5 + 27281*x2*x3*x4*x5 + 65203*x3^2*x4*x5 + 57286*x1*x4^2*x5 + 21948*x2*x4^2*x5 + 22431*x3*x4^2*x5 + 26111*x4^3*x5 + 46680*x1^2*x5^2 + 23980*x1*x2*x5^2 + 26249*x2^2*x5^2 + 49660*x1*x3*x5^2 + 47914*x2*x3*x5^2 + 38804*x3^2*x5^2 + 21487*x1*x4*x5^2 + 41027*x2*x4*x5^2 + 22304*x3*x4*x5^2 + 20802*x4^2*x5^2 + 3014*x1*x5^3 + 30478*x2*x5^3 + 64215*x3*x5^3 + 2160*x4*x5^3 + 48954*x5^4 + 30090*x1^2*x6 + 19238*x1*x2*x6 + 33662*x2^2*x6 + 1516*x1*x3*x6 + 1650*x2*x3*x6 + 26879*x3^2*x6 + 24525*x1*x4*x6 + 54789*x2*x4*x6 + 46146*x3*x4*x6 + 62767*x4^2*x6 + 8731*x1*x5*x6 + 6918*x2*x5*x6 + 13191*x3*x5*x6 + 13326*x4*x5*x6 + 22323*x5^2*x6 + 57173*x6^2 + 18347*x1^2*x7 + 57926*x1*x2*x7 + 56326*x2^2*x7 + 20762*x1*x3*x7 + 46100*x2*x3*x7 + 11587*x3^2*x7 + 6094*x1*x4*x7 + 4245*x2*x4*x7 + 9851*x3*x4*x7 + 36523*x4^2*x7 + 4190*x1*x5*x7 + 23007*x2*x5*x7 + 23763*x3*x5*x7 + 61736*x4*x5*x7 + 34662*x5^2*x7 + 31921*x6*x7 + 12518*x7^2 + 51867*x1^2*x8 + 47678*x1*x2*x8 + 964*x2^2*x8 + 55626*x1*x3*x8 + 39918*x2*x3*x8 + 24590*x3^2*x8 + 47050*x1*x4*x8 + 13721*x2*x4*x8 + 7789*x3*x4*x8 + 8302*x4^2*x8 + 38888*x1*x5*x8 + 23942*x2*x5*x8 + 62993*x3*x5*x8 + 8281*x4*x5*x8 + 48822*x5^2*x8 + 19895*x6*x8 + 4071*x7*x8 + 23721*x8^2 + 34938*x1^2*x9 + 44691*x1*x2*x9 + 10706*x2^2*x9 + 28015*x1*x3*x9 + 54501*x2*x3*x9 + 56865*x3^2*x9 + 49789*x1*x4*x9 + 7001*x2*x4*x9 + 1187*x3*x4*x9 + 59678*x4^2*x9 + 65492*x1*x5*x9 + 61398*x2*x5*x9 + 43094*x3*x5*x9 + 43442*x4*x5*x9 + 50319*x5^2*x9 + 18970*x6*x9 + 64543*x7*x9 + 8873*x8*x9 + 443*x9^2 + 24220*x1^2*x10 + 46326*x1*x2*x10 + 45691*x2^2*x10 + 61227*x1*x3*x10 + 38827*x2*x3*x10 + 540*x3^2*x10 + 6321*x1*x4*x10 + 15845*x2*x4*x10 + 37589*x3*x4*x10 + 1206*x4^2*x10 + 36500*x1*x5*x10 + 18124*x2*x5*x10 + 29113*x3*x5*x10 + 17353*x4*x5*x10 + 27471*x5^2*x10 + 8409*x6*x10 + 44442*x7*x10 + 684*x8*x10 + 31090*x9*x10 + 43960*x10^2 + 4430*x1^3 + 63125*x1^2*x2 + 11069*x1*x2^2 + 1804*x2^3 + 34401*x1^2*x3 + 48616*x1*x2*x3 + 10011*x2^2*x3 + 62718*x1*x3^2 + 2844*x2*x3^2 + 14732*x3^3 + 60725*x1^2*x4 + 61989*x1*x2*x4 + 57048*x2^2*x4 + 8765*x1*x3*x4 + 63197*x2*x3*x4 + 26612*x3^2*x4 + 18494*x1*x4^2 + 12493*x2*x4^2 + 22750*x3*x4^2 + 46782*x4^3 + 34688*x1^2*x5 + 56231*x1*x2*x5 + 30275*x2^2*x5 + 29231*x1*x3*x5 + 39058*x2*x3*x5 + 31263*x3^2*x5 + 44656*x1*x4*x5 + 55069*x2*x4*x5 + 35647*x3*x4*x5 + 29944*x4^2*x5 + 13344*x1*x5^2 + 2849*x2*x5^2 + 58267*x3*x5^2 + 32584*x4*x5^2 + 39207*x5^3 + 37430*x1*x6 + 16716*x2*x6 + 8229*x3*x6 + 41917*x4*x6 + 41262*x5*x6 + 8699*x1*x7 + 2937*x2*x7 + 6695*x3*x7 + 25500*x4*x7 + 15503*x5*x7 + 25331*x1*x8 + 55933*x2*x8 + 36655*x3*x8 + 45034*x4*x8 + 30107*x5*x8 + 2368*x1*x9 + 36245*x2*x9 + 62860*x3*x9 + 38121*x4*x9 + 54778*x5*x9 + 1421*x1*x10 + 56121*x2*x10 + 58424*x3*x10 + 62397*x4*x10 + 28498*x5*x10 + 63209*x1^2 + 21272*x1*x2 + 52451*x2^2 + 11954*x1*x3 + 61452*x2*x3 + 6551*x3^2 + 45483*x1*x4 + 38772*x2*x4 + 5186*x3*x4 + 22253*x4^2 + 40008*x1*x5 + 18281*x2*x5 + 63096*x3*x5 + 56995*x4*x5 + 57426*x5^2 + 52922*x6 + 34485*x7 + 32519*x8 + 1783*x9 + 36707*x10 + 57271*x1 + 26992*x2 + 54334*x3 + 54316*x4 + 37666*x5 + 3120,
61662*x1^4 + 9097*x1^3*x2 + 62980*x1^2*x2^2 + 31036*x1*x2^3 + 19398*x2^4 + 63655*x1^3*x3 + 37114*x1^2*x2*x3 + 20749*x1*x2^2*x3 + 45341*x2^3*x3 + 41125*x1^2*x3^2 + 31531*x1*x2*x3^2 + 62650*x2^2*x3^2 + 49402*x1*x3^3 + 53478*x2*x3^3 + 2054*x3^4 + 18166*x1^3*x4 + 51461*x1^2*x2*x4 + 835*x1*x2^2*x4 + 16848*x2^3*x4 + 61198*x1^2*x3*x4 + 9800*x1*x2*x3*x4 + 51548*x2^2*x3*x4 + 45271*x1*x3^2*x4 + 6548*x2*x3^2*x4 + 64095*x3^3*x4 + 23327*x1^2*x4^2 + 24669*x1*x2*x4^2 + 41690*x2^2*x4^2 + 60023*x1*x3*x4^2 + 25537*x2*x3*x4^2 + 37764*x3^2*x4^2 + 14969*x1*x4^3 + 28126*x2*x4^3 + 7912*x3*x4^3 + 8216*x4^4 + 10535*x1^3*x5 + 50315*x1^2*x2*x5 + 9459*x1*x2^2*x5 + 37697*x2^3*x5 + 31534*x1^2*x3*x5 + 163*x1*x2*x3*x5 + 28905*x2^2*x3*x5 + 46856*x1*x3^2*x5 + 61637*x2*x3^2*x5 + 11857*x3^3*x5 + 15833*x1^2*x4*x5 + 9912*x1*x2*x4*x5 + 4846*x2^2*x4*x5 + 20936*x1*x3*x4*x5 + 2504*x2*x3*x4*x5 + 51630*x3^2*x4*x5 + 57056*x1*x4^2*x5 + 23970*x2*x4^2*x5 + 7738*x3*x4^2*x5 + 39356*x4^3*x5 + 32428*x1^2*x5^2 + 20009*x1*x2*x5^2 + 62858*x2^2*x5^2 + 9359*x1*x3*x5^2 + 54133*x2*x3*x5^2 + 23261*x3^2*x5^2 + 18327*x1*x4*x5^2 + 47034*x2*x4*x5^2 + 16449*x3*x4*x5^2 + 5956*x4^2*x5^2 + 4016*x1*x5^3 + 25999*x2*x5^3 + 6836*x3*x5^3 + 1019*x4*x5^3 + 3804*x5^4 + 26608*x1^2*x6 + 35841*x1*x2*x6 + 31559*x2^2*x6 + 40271*x1*x3*x6 + 40245*x2*x3*x6 + 5190*x3^2*x6 + 39087*x1*x4*x6 + 20975*x2*x4*x6 + 38510*x3*x4*x6 + 29012*x4^2*x6 + 17457*x1*x5*x6 + 57166*x2*x5*x6 + 48971*x3*x5*x6 + 29336*x4*x5*x6 + 20177*x5^2*x6 + 8382*x6^2 + 25085*x1^2*x7 + 22861*x1*x2*x7 + 27869*x2^2*x7 + 1011*x1*x3*x7 + 42611*x2*x3*x7 + 39002*x3^2*x7 + 13598*x1*x4*x7 + 63858*x2*x4*x7 + 14184*x3*x4*x7 + 24766*x4^2*x7 + 14817*x1*x5*x7 + 64577*x2*x5*x7 + 19633*x3*x5*x7 + 21298*x4*x5*x7 + 44766*x5^2*x7 + 37603*x6*x7 + 36009*x7^2 + 12862*x1^2*x8 + 13306*x1*x2*x8 + 16845*x2^2*x8 + 49492*x1*x3*x8 + 10961*x2*x3*x8 + 18674*x3^2*x8 + 25886*x1*x4*x8 + 42357*x2*x4*x8 + 13315*x3*x4*x8 + 54092*x4^2*x8 + 27874*x1*x5*x8 + 56023*x2*x5*x8 + 44905*x3*x5*x8 + 4622*x4*x5*x8 + 21574*x5^2*x8 + 51569*x6*x8 + 53912*x7*x8 + 19868*x8^2 + 19335*x1^2*x9 + 49319*x1*x2*x9 + 60505*x2^2*x9 + 41415*x1*x3*x9 + 13381*x2*x3*x9 + 61483*x3^2*x9 + 35283*x1*x4*x9 + 1337*x2*x4*x9 + 42937*x3*x4*x9 + 1619*x4^2*x9 + 21506*x1*x5*x9 + 52058*x2*x5*x9 + 18399*x3*x5*x9 + 49296*x4*x5*x9 + 52393*x5^2*x9 + 36912*x6*x9 + 46344*x7*x9 + 57509*x8*x9 + 46737*x9^2 + 27787*x1^2*x10 + 18119*x1*x2*x10 + 31286*x2^2*x10 + 46885*x1*x3*x10 + 233*x2*x3*x10 + 32391*x3^2*x10 + 62369*x1*x4*x10 + 58395*x2*x4*x10 + 15023*x3*x4*x10 + 46249*x4^2*x10 + 26977*x1*x5*x10 + 18287*x2*x5*x10 + 64753*x3*x5*x10 + 48520*x4*x5*x10 + 42925*x5^2*x10 + 25825*x6*x10 + 5270*x7*x10 + 19967*x8*x10 + 40523*x9*x10 + 57419*x10^2 + 16644*x1^3 + 50768*x1^2*x2 + 12863*x1*x2^2 + 49992*x2^3 + 63653*x1^2*x3 + 41392*x1*x2*x3 + 19321*x2^2*x3 + 22793*x1*x3^2 + 23487*x2*x3^2 + 54526*x3^3 + 8519*x1^2*x4 + 28984*x1*x2*x4 + 4270*x2^2*x4 + 20019*x1*x3*x4 + 51874*x2*x3*x4 + 37348*x3^2*x4 + 20672*x1*x4^2 + 51654*x2*x4^2 + 47111*x3*x4^2 + 35524*x4^3 + 58677*x1^2*x5 + 45374*x1*x2*x5 + 49443*x2^2*x5 + 49149*x1*x3*x5 + 28889*x2*x3*x5 + 49447*x3^2*x5 + 40455*x1*x4*x5 + 52624*x2*x4*x5 + 9275*x3*x4*x5 + 47078*x4^2*x5 + 14283*x1*x5^2 + 198*x2*x5^2 + 63461*x3*x5^2 + 20860*x4*x5^2 + 48611*x5^3 + 50899*x1*x6 + 32878*x2*x6 + 56*x3*x6 + 26981*x4*x6 + 19899*x5*x6 + 54451*x1*x7 + 14693*x2*x7 + 29016*x3*x7 + 5195*x4*x7 + 56203*x5*x7 + 42240*x1*x8 + 54922*x2*x8 + 2642*x3*x8 + 1133*x4*x8 + 21427*x5*x8 + 13172*x1*x9 + 51553*x2*x9 + 2589*x3*x9 + 58591*x4*x9 + 56374*x5*x9 + 6345*x1*x10 + 60076*x2*x10 + 48159*x3*x10 + 43772*x4*x10 + 8728*x5*x10 + 7939*x1^2 + 52306*x1*x2 + 58041*x2^2 + 20127*x1*x3 + 34995*x2*x3 + 44682*x3^2 + 6806*x1*x4 + 54253*x2*x4 + 60483*x3*x4 + 59453*x4^2 + 60848*x1*x5 + 6182*x2*x5 + 36661*x3*x5 + 25107*x4*x5 + 27739*x5^2 + 43137*x6 + 17661*x7 + 29766*x8 + 20069*x9 + 20962*x10 + 26307*x1 + 36882*x2 + 38112*x3 + 2496*x4 + 13525*x5 + 43314,
4630*x1^4 + 27831*x1^3*x2 + 48217*x1^2*x2^2 + 19476*x1*x2^3 + 4374*x2^4 + 19719*x1^3*x3 + 51853*x1^2*x2*x3 + 11038*x1*x2^2*x3 + 50037*x2^3*x3 + 49459*x1^2*x3^2 + 50944*x1*x2*x3^2 + 44328*x2^2*x3^2 + 738*x1*x3^3 + 23603*x2*x3^3 + 9686*x3^4 + 29373*x1^3*x4 + 50127*x1^2*x2*x4 + 3453*x1*x2^2*x4 + 40242*x2^3*x4 + 27236*x1^2*x3*x4 + 63365*x1*x2*x3*x4 + 9821*x2^2*x3*x4 + 16867*x1*x3^2*x4 + 34431*x2*x3^2*x4 + 64761*x3^3*x4 + 21961*x1^2*x4^2 + 25697*x1*x2*x4^2 + 33673*x2^2*x4^2 + 49830*x1*x3*x4^2 + 33627*x2*x3*x4^2 + 33790*x3^2*x4^2 + 51079*x1*x4^3 + 934*x2*x4^3 + 41367*x3*x4^3 + 31831*x4^4 + 34560*x1^3*x5 + 6520*x1^2*x2*x5 + 16497*x1*x2^2*x5 + 11451*x2^3*x5 + 24562*x1^2*x3*x5 + 9542*x1*x2*x3*x5 + 1044*x2^2*x3*x5 + 60847*x1*x3^2*x5 + 64333*x2*x3^2*x5 + 9479*x3^3*x5 + 39102*x1^2*x4*x5 + 21201*x1*x2*x4*x5 + 49269*x2^2*x4*x5 + 46584*x1*x3*x4*x5 + 59899*x2*x3*x4*x5 + 21161*x3^2*x4*x5 + 24839*x1*x4^2*x5 + 14184*x2*x4^2*x5 + 16900*x3*x4^2*x5 + 59006*x4^3*x5 + 23591*x1^2*x5^2 + 38526*x1*x2*x5^2 + 3497*x2^2*x5^2 + 50012*x1*x3*x5^2 + 31030*x2*x3*x5^2 + 47931*x3^2*x5^2 + 19023*x1*x4*x5^2 + 40219*x2*x4*x5^2 + 46675*x3*x4*x5^2 + 4799*x4^2*x5^2 + 59419*x1*x5^3 + 41061*x2*x5^3 + 62704*x3*x5^3 + 12209*x4*x5^3 + 7523*x5^4 + 53332*x1^2*x6 + 62076*x1*x2*x6 + 38987*x2^2*x6 + 22180*x1*x3*x6 + 14224*x2*x3*x6 + 43927*x3^2*x6 + 60378*x1*x4*x6 + 23014*x2*x4*x6 + 46070*x3*x4*x6 + 2966*x4^2*x6 + 61470*x1*x5*x6 + 63978*x2*x5*x6 + 54719*x3*x5*x6 + 22110*x4*x5*x6 + 62418*x5^2*x6 + 13659*x6^2 + 37743*x1^2*x7 + 27060*x1*x2*x7 + 32566*x2^2*x7 + 23057*x1*x3*x7 + 34811*x2*x3*x7 + 625*x3^2*x7 + 19921*x1*x4*x7 + 3739*x2*x4*x7 + 42959*x3*x4*x7 + 15469*x4^2*x7 + 57004*x1*x5*x7 + 35512*x2*x5*x7 + 17797*x3*x5*x7 + 12072*x4*x5*x7 + 63905*x5^2*x7 + 4054*x6*x7 + 57563*x7^2 + 50468*x1^2*x8 + 4127*x1*x2*x8 + 50642*x2^2*x8 + 17698*x1*x3*x8 + 43096*x2*x3*x8 + 23364*x3^2*x8 + 62336*x1*x4*x8 + 50125*x2*x4*x8 + 6622*x3*x4*x8 + 17131*x4^2*x8 + 20963*x1*x5*x8 + 57957*x2*x5*x8 + 53271*x3*x5*x8 + 12133*x4*x5*x8 + 11731*x5^2*x8 + 48983*x6*x8 + 29227*x7*x8 + 18279*x8^2 + 34050*x1^2*x9 + 49765*x1*x2*x9 + 18718*x2^2*x9 + 55830*x1*x3*x9 + 10144*x2*x3*x9 + 24293*x3^2*x9 + 21237*x1*x4*x9 + 65453*x2*x4*x9 + 14797*x3*x4*x9 + 47100*x4^2*x9 + 29536*x1*x5*x9 + 36209*x2*x5*x9 + 63505*x3*x5*x9 + 46564*x4*x5*x9 + 1163*x5^2*x9 + 24104*x6*x9 + 42625*x7*x9 + 9925*x8*x9 + 61643*x9^2 + 21660*x1^2*x10 + 23418*x1*x2*x10 + 19146*x2^2*x10 + 30311*x1*x3*x10 + 8784*x2*x3*x10 + 30863*x3^2*x10 + 2318*x1*x4*x10 + 17825*x2*x4*x10 + 59827*x3*x4*x10 + 40187*x4^2*x10 + 743*x1*x5*x10 + 47201*x2*x5*x10 + 24093*x3*x5*x10 + 48606*x4*x5*x10 + 31550*x5^2*x10 + 4950*x6*x10 + 58057*x7*x10 + 5827*x8*x10 + 19160*x9*x10 + 52063*x10^2 + 62292*x1^3 + 28842*x1^2*x2 + 53263*x1*x2^2 + 13355*x2^3 + 17190*x1^2*x3 + 6664*x1*x2*x3 + 7514*x2^2*x3 + 3900*x1*x3^2 + 16850*x2*x3^2 + 38423*x3^3 + 53651*x1^2*x4 + 27652*x1*x2*x4 + 48476*x2^2*x4 + 15467*x1*x3*x4 + 43563*x2*x3*x4 + 19167*x3^2*x4 + 36029*x1*x4^2 + 8929*x2*x4^2 + 31970*x3*x4^2 + 20442*x4^3 + 14772*x1^2*x5 + 21185*x1*x2*x5 + 62803*x2^2*x5 + 46610*x1*x3*x5 + 33996*x2*x3*x5 + 3712*x3^2*x5 + 6107*x1*x4*x5 + 6236*x2*x4*x5 + 62968*x3*x4*x5 + 48846*x4^2*x5 + 29576*x1*x5^2 + 39824*x2*x5^2 + 14624*x3*x5^2 + 54926*x4*x5^2 + 27305*x5^3 + 7026*x1*x6 + 11296*x2*x6 + 52852*x3*x6 + 130*x4*x6 + 15680*x5*x6 + 14992*x1*x7 + 1915*x2*x7 + 65462*x3*x7 + 55952*x4*x7 + 6186*x5*x7 + 17877*x1*x8 + 49379*x2*x8 + 55717*x3*x8 + 46602*x4*x8 + 36341*x5*x8 + 14360*x1*x9 + 34992*x2*x9 + 63976*x3*x9 + 55912*x4*x9 + 32599*x5*x9 + 32054*x1*x10 + 40715*x2*x10 + 14562*x3*x10 + 13994*x4*x10 + 26917*x5*x10 + 12993*x1^2 + 43205*x1*x2 + 14673*x2^2 + 48451*x1*x3 + 59728*x2*x3 + 59479*x3^2 + 21231*x1*x4 + 43951*x2*x4 + 47467*x3*x4 + 19774*x4^2 + 6427*x1*x5 + 17663*x2*x5 + 30814*x3*x5 + 48015*x4*x5 + 9398*x5^2 + 35232*x6 + 35260*x7 + 48393*x8 + 55936*x9 + 2230*x10 + 19292*x1 + 45594*x2 + 7411*x3 + 2048*x4 + 59929*x5 + 47993,
7268*x1^4 + 55602*x1^3*x2 + 44206*x1^2*x2^2 + 39068*x1*x2^3 + 2824*x2^4 + 38701*x1^3*x3 + 14124*x1^2*x2*x3 + 21814*x1*x2^2*x3 + 59742*x2^3*x3 + 42581*x1^2*x3^2 + 5095*x1*x2*x3^2 + 52521*x2^2*x3^2 + 16390*x1*x3^3 + 5598*x2*x3^3 + 50846*x3^4 + 39908*x1^3*x4 + 32490*x1^2*x2*x4 + 5563*x1*x2^2*x4 + 16467*x2^3*x4 + 46043*x1^2*x3*x4 + 14972*x1*x2*x3*x4 + 3680*x2^2*x3*x4 + 44312*x1*x3^2*x4 + 9205*x2*x3^2*x4 + 59542*x3^3*x4 + 34546*x1^2*x4^2 + 30557*x1*x2*x4^2 + 26051*x2^2*x4^2 + 36180*x1*x3*x4^2 + 64523*x2*x3*x4^2 + 11838*x3^2*x4^2 + 14470*x1*x4^3 + 63484*x2*x4^3 + 15062*x3*x4^3 + 2383*x4^4 + 27500*x1^3*x5 + 5020*x1^2*x2*x5 + 58933*x1*x2^2*x5 + 26943*x2^3*x5 + 10758*x1^2*x3*x5 + 60443*x1*x2*x3*x5 + 60414*x2^2*x3*x5 + 42023*x1*x3^2*x5 + 59579*x2*x3^2*x5 + 45170*x3^3*x5 + 49841*x1^2*x4*x5 + 1334*x1*x2*x4*x5 + 49324*x2^2*x4*x5 + 8503*x1*x3*x4*x5 + 52183*x2*x3*x4*x5 + 19640*x3^2*x4*x5 + 22322*x1*x4^2*x5 + 56655*x2*x4^2*x5 + 8378*x3*x4^2*x5 + 21668*x4^3*x5 + 22897*x1^2*x5^2 + 23053*x1*x2*x5^2 + 43472*x2^2*x5^2 + 21199*x1*x3*x5^2 + 36671*x2*x3*x5^2 + 63380*x3^2*x5^2 + 48202*x1*x4*x5^2 + 18859*x2*x4*x5^2 + 39253*x3*x4*x5^2 + 44293*x4^2*x5^2 + 21543*x1*x5^3 + 17593*x2*x5^3 + 55148*x3*x5^3 + 13780*x4*x5^3 + 46068*x5^4 + 54192*x1^2*x6 + 16666*x1*x2*x6 + 64332*x2^2*x6 + 41878*x1*x3*x6 + 729*x2*x3*x6 + 18864*x3^2*x6 + 64971*x1*x4*x6 + 61366*x2*x4*x6 + 29725*x3*x4*x6 + 38437*x4^2*x6 + 53077*x1*x5*x6 + 59027*x2*x5*x6 + 53433*x3*x5*x6 + 29317*x4*x5*x6 + 58579*x5^2*x6 + 35907*x6^2 + 36305*x1^2*x7 + 65025*x1*x2*x7 + 15504*x2^2*x7 + 55693*x1*x3*x7 + 25645*x2*x3*x7 + 60648*x3^2*x7 + 56170*x1*x4*x7 + 61971*x2*x4*x7 + 43110*x3*x4*x7 + 37018*x4^2*x7 + 9753*x1*x5*x7 + 24507*x2*x5*x7 + 54835*x3*x5*x7 + 63408*x4*x5*x7 + 6140*x5^2*x7 + 27588*x6*x7 + 45927*x7^2 + 5235*x1^2*x8 + 8589*x1*x2*x8 + 14626*x2^2*x8 + 25737*x1*x3*x8 + 21385*x2*x3*x8 + 4849*x3^2*x8 + 51139*x1*x4*x8 + 9785*x2*x4*x8 + 6795*x3*x4*x8 + 32008*x4^2*x8 + 57070*x1*x5*x8 + 44552*x2*x5*x8 + 28947*x3*x5*x8 + 32324*x4*x5*x8 + 24517*x5^2*x8 + 49272*x6*x8 + 36261*x7*x8 + 25916*x8^2 + 2700*x1^2*x9 + 40054*x1*x2*x9 + 13348*x2^2*x9 + 60711*x1*x3*x9 + 55725*x2*x3*x9 + 12604*x3^2*x9 + 40196*x1*x4*x9 + 65516*x2*x4*x9 + 5554*x3*x4*x9 + 37110*x4^2*x9 + 15077*x1*x5*x9 + 1476*x2*x5*x9 + 39082*x3*x5*x9 + 37733*x4*x5*x9 + 511*x5^2*x9 + 56412*x6*x9 + 62960*x7*x9 + 55349*x8*x9 + 932*x9^2 + 28959*x1^2*x10 + 53754*x1*x2*x10 + 17781*x2^2*x10 + 7816*x1*x3*x10 + 44824*x2*x3*x10 + 4912*x3^2*x10 + 61326*x1*x4*x10 + 21211*x2*x4*x10 + 19854*x3*x4*x10 + 57976*x4^2*x10 + 10138*x1*x5*x10 + 2287*x2*x5*x10 + 56146*x3*x5*x10 + 17092*x4*x5*x10 + 14911*x5^2*x10 + 53893*x6*x10 + 11088*x7*x10 + 32670*x8*x10 + 43390*x9*x10 + 53285*x10^2 + 29983*x1^3 + 61365*x1^2*x2 + 2086*x1*x2^2 + 63435*x2^3 + 19355*x1^2*x3 + 30144*x1*x2*x3 + 15227*x2^2*x3 + 65223*x1*x3^2 + 14763*x2*x3^2 + 29693*x3^3 + 29259*x1^2*x4 + 30807*x1*x2*x4 + 43235*x2^2*x4 + 26087*x1*x3*x4 + 24293*x2*x3*x4 + 49127*x3^2*x4 + 29403*x1*x4^2 + 57051*x2*x4^2 + 5008*x3*x4^2 + 7615*x4^3 + 13849*x1^2*x5 + 48945*x1*x2*x5 + 33216*x2^2*x5 + 36350*x1*x3*x5 + 3628*x2*x3*x5 + 62085*x3^2*x5 + 18667*x1*x4*x5 + 54271*x2*x4*x5 + 31018*x3*x4*x5 + 12039*x4^2*x5 + 41726*x1*x5^2 + 4076*x2*x5^2 + 56866*x3*x5^2 + 48377*x4*x5^2 + 34100*x5^3 + 28599*x1*x6 + 6897*x2*x6 + 59883*x3*x6 + 61136*x4*x6 + 22410*x5*x6 + 22535*x1*x7 + 30539*x2*x7 + 61327*x3*x7 + 64535*x4*x7 + 36668*x5*x7 + 21614*x1*x8 + 23220*x2*x8 + 8953*x3*x8 + 48784*x4*x8 + 14153*x5*x8 + 16211*x1*x9 + 46457*x2*x9 + 64065*x3*x9 + 37717*x4*x9 + 58901*x5*x9 + 36844*x1*x10 + 21079*x2*x10 + 31508*x3*x10 + 45922*x4*x10 + 12522*x5*x10 + 5643*x1^2 + 18941*x1*x2 + 10922*x2^2 + 35256*x1*x3 + 808*x2*x3 + 24248*x3^2 + 40792*x1*x4 + 42607*x2*x4 + 52617*x3*x4 + 30371*x4^2 + 31067*x1*x5 + 35439*x2*x5 + 20698*x3*x5 + 20565*x4*x5 + 55551*x5^2 + 60780*x6 + 2956*x7 + 64744*x8 + 44191*x9 + 2597*x10 + 34996*x1 + 45987*x2 + 26288*x3 + 6789*x4 + 42106*x5 + 42833,
53001*x1^4 + 19409*x1^3*x2 + 1294*x1^2*x2^2 + 35912*x1*x2^3 + 10623*x2^4 + 6983*x1^3*x3 + 64346*x1^2*x2*x3 + 31102*x1*x2^2*x3 + 36916*x2^3*x3 + 27818*x1^2*x3^2 + 52470*x1*x2*x3^2 + 4649*x2^2*x3^2 + 37296*x1*x3^3 + 24418*x2*x3^3 + 62299*x3^4 + 20194*x1^3*x4 + 9024*x1^2*x2*x4 + 24853*x1*x2^2*x4 + 1889*x2^3*x4 + 63758*x1^2*x3*x4 + 24981*x1*x2*x3*x4 + 4223*x2^2*x3*x4 + 26611*x1*x3^2*x4 + 29494*x2*x3^2*x4 + 48936*x3^3*x4 + 39308*x1^2*x4^2 + 50171*x1*x2*x4^2 + 32759*x2^2*x4^2 + 62739*x1*x3*x4^2 + 53696*x2*x3*x4^2 + 53836*x3^2*x4^2 + 3163*x1*x4^3 + 43865*x2*x4^3 + 46299*x3*x4^3 + 11538*x4^4 + 20869*x1^3*x5 + 25092*x1^2*x2*x5 + 38299*x1*x2^2*x5 + 45171*x2^3*x5 + 58019*x1^2*x3*x5 + 33004*x1*x2*x3*x5 + 13266*x2^2*x3*x5 + 63118*x1*x3^2*x5 + 17240*x2*x3^2*x5 + 59289*x3^3*x5 + 10947*x1^2*x4*x5 + 21889*x1*x2*x4*x5 + 51929*x2^2*x4*x5 + 61309*x1*x3*x4*x5 + 24104*x2*x3*x4*x5 + 2254*x3^2*x4*x5 + 63751*x1*x4^2*x5 + 29705*x2*x4^2*x5 + 34629*x3*x4^2*x5 + 65464*x4^3*x5 + 38076*x1^2*x5^2 + 35703*x1*x2*x5^2 + 26267*x2^2*x5^2 + 28573*x1*x3*x5^2 + 125*x2*x3*x5^2 + 60388*x3^2*x5^2 + 38587*x1*x4*x5^2 + 4785*x2*x4*x5^2 + 7525*x3*x4*x5^2 + 24473*x4^2*x5^2 + 41339*x1*x5^3 + 45751*x2*x5^3 + 48291*x3*x5^3 + 35554*x4*x5^3 + 48100*x5^4 + 36311*x1^2*x6 + 13210*x1*x2*x6 + 27421*x2^2*x6 + 36950*x1*x3*x6 + 33625*x2*x3*x6 + 12758*x3^2*x6 + 12407*x1*x4*x6 + 42949*x2*x4*x6 + 53099*x3*x4*x6 + 63009*x4^2*x6 + 29230*x1*x5*x6 + 32404*x2*x5*x6 + 44822*x3*x5*x6 + 11494*x4*x5*x6 + 31551*x5^2*x6 + 32993*x6^2 + 25356*x1^2*x7 + 25606*x1*x2*x7 + 65120*x2^2*x7 + 16522*x1*x3*x7 + 63749*x2*x3*x7 + 28496*x3^2*x7 + 56674*x1*x4*x7 + 48935*x2*x4*x7 + 2170*x3*x4*x7 + 56576*x4^2*x7 + 10162*x1*x5*x7 + 27327*x2*x5*x7 + 23419*x3*x5*x7 + 19493*x4*x5*x7 + 22304*x5^2*x7 + 50846*x6*x7 + 20850*x7^2 + 37086*x1^2*x8 + 1547*x1*x2*x8 + 61508*x2^2*x8 + 36754*x1*x3*x8 + 22294*x2*x3*x8 + 63298*x3^2*x8 + 46958*x1*x4*x8 + 41355*x2*x4*x8 + 46612*x3*x4*x8 + 17523*x4^2*x8 + 9537*x1*x5*x8 + 28012*x2*x5*x8 + 35864*x3*x5*x8 + 21988*x4*x5*x8 + 57990*x5^2*x8 + 32862*x6*x8 + 23819*x7*x8 + 38932*x8^2 + 1557*x1^2*x9 + 22427*x1*x2*x9 + 55092*x2^2*x9 + 18504*x1*x3*x9 + 21877*x2*x3*x9 + 49137*x3^2*x9 + 55926*x1*x4*x9 + 2755*x2*x4*x9 + 1349*x3*x4*x9 + 28515*x4^2*x9 + 47042*x1*x5*x9 + 54417*x2*x5*x9 + 65217*x3*x5*x9 + 27807*x4*x5*x9 + 18439*x5^2*x9 + 20755*x6*x9 + 6862*x7*x9 + 54387*x8*x9 + 51908*x9^2 + 6247*x1^2*x10 + 60402*x1*x2*x10 + 59131*x2^2*x10 + 44520*x1*x3*x10 + 295*x2*x3*x10 + 43516*x3^2*x10 + 34565*x1*x4*x10 + 4105*x2*x4*x10 + 25411*x3*x4*x10 + 1332*x4^2*x10 + 55082*x1*x5*x10 + 20949*x2*x5*x10 + 54900*x3*x5*x10 + 5648*x4*x5*x10 + 18995*x5^2*x10 + 62283*x6*x10 + 4474*x7*x10 + 4551*x8*x10 + 23802*x9*x10 + 11715*x10^2 + 37414*x1^3 + 28287*x1^2*x2 + 24088*x1*x2^2 + 19474*x2^3 + 59406*x1^2*x3 + 39798*x1*x2*x3 + 13708*x2^2*x3 + 63548*x1*x3^2 + 61722*x2*x3^2 + 44415*x3^3 + 20617*x1^2*x4 + 31620*x1*x2*x4 + 18430*x2^2*x4 + 30523*x1*x3*x4 + 2847*x2*x3*x4 + 18603*x3^2*x4 + 13343*x1*x4^2 + 10463*x2*x4^2 + 50981*x3*x4^2 + 53676*x4^3 + 29955*x1^2*x5 + 3446*x1*x2*x5 + 17366*x2^2*x5 + 16239*x1*x3*x5 + 20454*x2*x3*x5 + 57539*x3^2*x5 + 39279*x1*x4*x5 + 21917*x2*x4*x5 + 46150*x3*x4*x5 + 5834*x4^2*x5 + 50617*x1*x5^2 + 33672*x2*x5^2 + 38001*x3*x5^2 + 9077*x4*x5^2 + 49829*x5^3 + 3062*x1*x6 + 57719*x2*x6 + 19789*x3*x6 + 42720*x4*x6 + 2846*x5*x6 + 20361*x1*x7 + 55583*x2*x7 + 51123*x3*x7 + 59365*x4*x7 + 65048*x5*x7 + 59161*x1*x8 + 13165*x2*x8 + 18757*x3*x8 + 15720*x4*x8 + 43289*x5*x8 + 37717*x1*x9 + 43508*x2*x9 + 4169*x3*x9 + 15624*x4*x9 + 3762*x5*x9 + 42707*x1*x10 + 23564*x2*x10 + 10099*x3*x10 + 16739*x4*x10 + 7675*x5*x10 + 58278*x1^2 + 46428*x1*x2 + 5421*x2^2 + 30897*x1*x3 + 19197*x2*x3 + 23431*x3^2 + 59912*x1*x4 + 62531*x2*x4 + 50587*x3*x4 + 14217*x4^2 + 3473*x1*x5 + 32256*x2*x5 + 31842*x3*x5 + 32634*x4*x5 + 32869*x5^2 + 7827*x6 + 30568*x7 + 22408*x8 + 8014*x9 + 4819*x10 + 18086*x1 + 47776*x2 + 45746*x3 + 41549*x4 + 570*x5 + 59602,
63621*x1^4 + 51377*x1^3*x2 + 18392*x1^2*x2^2 + 43463*x1*x2^3 + 51093*x2^4 + 35179*x1^3*x3 + 27639*x1^2*x2*x3 + 32283*x1*x2^2*x3 + 27929*x2^3*x3 + 66*x1^2*x3^2 + 12229*x1*x2*x3^2 + 39245*x2^2*x3^2 + 62803*x1*x3^3 + 30028*x2*x3^3 + 40733*x3^4 + 6658*x1^3*x4 + 64564*x1^2*x2*x4 + 44435*x1*x2^2*x4 + 27059*x2^3*x4 + 13697*x1^2*x3*x4 + 46150*x1*x2*x3*x4 + 23085*x2^2*x3*x4 + 36746*x1*x3^2*x4 + 49349*x2*x3^2*x4 + 12269*x3^3*x4 + 8577*x1^2*x4^2 + 21673*x1*x2*x4^2 + 13758*x2^2*x4^2 + 35221*x1*x3*x4^2 + 53310*x2*x3*x4^2 + 6327*x3^2*x4^2 + 30217*x1*x4^3 + 51205*x2*x4^3 + 63411*x3*x4^3 + 22591*x4^4 + 63476*x1^3*x5 + 58993*x1^2*x2*x5 + 62087*x1*x2^2*x5 + 20202*x2^3*x5 + 38994*x1^2*x3*x5 + 53143*x1*x2*x3*x5 + 2250*x2^2*x3*x5 + 5323*x1*x3^2*x5 + 29924*x2*x3^2*x5 + 4369*x3^3*x5 + 13765*x1^2*x4*x5 + 48962*x1*x2*x4*x5 + 8460*x2^2*x4*x5 + 43509*x1*x3*x4*x5 + 51225*x2*x3*x4*x5 + 6354*x3^2*x4*x5 + 17731*x1*x4^2*x5 + 57151*x2*x4^2*x5 + 41867*x3*x4^2*x5 + 51319*x4^3*x5 + 30578*x1^2*x5^2 + 37178*x1*x2*x5^2 + 13935*x2^2*x5^2 + 53493*x1*x3*x5^2 + 16822*x2*x3*x5^2 + 42812*x3^2*x5^2 + 65298*x1*x4*x5^2 + 60228*x2*x4*x5^2 + 48996*x3*x4*x5^2 + 25458*x4^2*x5^2 + 2969*x1*x5^3 + 19660*x2*x5^3 + 10055*x3*x5^3 + 60748*x4*x5^3 + 61308*x5^4 + 14634*x1^2*x6 + 8792*x1*x2*x6 + 20373*x2^2*x6 + 41006*x1*x3*x6 + 58639*x2*x3*x6 + 19345*x3^2*x6 + 33842*x1*x4*x6 + 57084*x2*x4*x6 + 10331*x3*x4*x6 + 29765*x4^2*x6 + 47314*x1*x5*x6 + 15149*x2*x5*x6 + 33343*x3*x5*x6 + 48070*x4*x5*x6 + 11750*x5^2*x6 + 13645*x6^2 + 64838*x1^2*x7 + 41925*x1*x2*x7 + 27903*x2^2*x7 + 4318*x1*x3*x7 + 53437*x2*x3*x7 + 32417*x3^2*x7 + 13798*x1*x4*x7 + 36286*x2*x4*x7 + 24135*x3*x4*x7 + 20947*x4^2*x7 + 7514*x1*x5*x7 + 36186*x2*x5*x7 + 21458*x3*x5*x7 + 23615*x4*x5*x7 + 8497*x5^2*x7 + 18449*x6*x7 + 20234*x7^2 + 6326*x1^2*x8 + 8064*x1*x2*x8 + 53469*x2^2*x8 + 52948*x1*x3*x8 + 64490*x2*x3*x8 + 46358*x3^2*x8 + 9223*x1*x4*x8 + 49789*x2*x4*x8 + 40233*x3*x4*x8 + 61362*x4^2*x8 + 6116*x1*x5*x8 + 47207*x2*x5*x8 + 8404*x3*x5*x8 + 36375*x4*x5*x8 + 62348*x5^2*x8 + 38146*x6*x8 + 55938*x7*x8 + 28981*x8^2 + 23321*x1^2*x9 + 45051*x1*x2*x9 + 60144*x2^2*x9 + 23782*x1*x3*x9 + 38363*x2*x3*x9 + 25443*x3^2*x9 + 13578*x1*x4*x9 + 45286*x2*x4*x9 + 49854*x3*x4*x9 + 50478*x4^2*x9 + 43552*x1*x5*x9 + 51147*x2*x5*x9 + 41835*x3*x5*x9 + 10221*x4*x5*x9 + 33537*x5^2*x9 + 48257*x6*x9 + 3269*x7*x9 + 50723*x8*x9 + 18110*x9^2 + 14023*x1^2*x10 + 44297*x1*x2*x10 + 28610*x2^2*x10 + 65368*x1*x3*x10 + 1728*x2*x3*x10 + 5030*x3^2*x10 + 18194*x1*x4*x10 + 12179*x2*x4*x10 + 24757*x3*x4*x10 + 3946*x4^2*x10 + 19190*x1*x5*x10 + 63553*x2*x5*x10 + 24223*x3*x5*x10 + 52322*x4*x5*x10 + 17114*x5^2*x10 + 50746*x6*x10 + 9290*x7*x10 + 10285*x8*x10 + 11523*x9*x10 + 15675*x10^2 + 39577*x1^3 + 42293*x1^2*x2 + 20924*x1*x2^2 + 48372*x2^3 + 58246*x1^2*x3 + 14169*x1*x2*x3 + 16282*x2^2*x3 + 34511*x1*x3^2 + 64878*x2*x3^2 + 62694*x3^3 + 26130*x1^2*x4 + 36822*x1*x2*x4 + 6257*x2^2*x4 + 29764*x1*x3*x4 + 55142*x2*x3*x4 + 40201*x3^2*x4 + 38627*x1*x4^2 + 48076*x2*x4^2 + 15816*x3*x4^2 + 12011*x4^3 + 45284*x1^2*x5 + 26444*x1*x2*x5 + 1850*x2^2*x5 + 27970*x1*x3*x5 + 44292*x2*x3*x5 + 20632*x3^2*x5 + 9019*x1*x4*x5 + 11775*x2*x4*x5 + 2078*x3*x4*x5 + 6957*x4^2*x5 + 55770*x1*x5^2 + 17174*x2*x5^2 + 7368*x3*x5^2 + 41582*x4*x5^2 + 16641*x5^3 + 31590*x1*x6 + 46545*x2*x6 + 32474*x3*x6 + 48056*x4*x6 + 57228*x5*x6 + 59231*x1*x7 + 16570*x2*x7 + 21175*x3*x7 + 57870*x4*x7 + 59427*x5*x7 + 43229*x1*x8 + 13995*x2*x8 + 33733*x3*x8 + 13621*x4*x8 + 25173*x5*x8 + 16074*x1*x9 + 26614*x2*x9 + 39433*x3*x9 + 19057*x4*x9 + 28903*x5*x9 + 52980*x1*x10 + 38534*x2*x10 + 50605*x3*x10 + 4420*x4*x10 + 43505*x5*x10 + 64408*x1^2 + 36761*x1*x2 + 30663*x2^2 + 21896*x1*x3 + 4788*x2*x3 + 60470*x3^2 + 36009*x1*x4 + 28509*x2*x4 + 31688*x3*x4 + 2469*x4^2 + 27747*x1*x5 + 24530*x2*x5 + 1219*x3*x5 + 61613*x4*x5 + 64967*x5^2 + 15019*x6 + 47212*x7 + 3759*x8 + 41307*x9 + 7635*x10 + 17336*x1 + 15459*x2 + 21832*x3 + 37280*x4 + 56343*x5 + 50682,
14709*x1^4 + 33326*x1^3*x2 + 9692*x1^2*x2^2 + 5702*x1*x2^3 + 23448*x2^4 + 55763*x1^3*x3 + 4226*x1^2*x2*x3 + 25628*x1*x2^2*x3 + 42393*x2^3*x3 + 4358*x1^2*x3^2 + 43612*x1*x2*x3^2 + 47236*x2^2*x3^2 + 14629*x1*x3^3 + 38448*x2*x3^3 + 59539*x3^4 + 1911*x1^3*x4 + 13073*x1^2*x2*x4 + 27458*x1*x2^2*x4 + 63997*x2^3*x4 + 29515*x1^2*x3*x4 + 24763*x1*x2*x3*x4 + 26833*x2^2*x3*x4 + 56382*x1*x3^2*x4 + 62818*x2*x3^2*x4 + 15265*x3^3*x4 + 54320*x1^2*x4^2 + 19847*x1*x2*x4^2 + 12749*x2^2*x4^2 + 21941*x1*x3*x4^2 + 25446*x2*x3*x4^2 + 25078*x3^2*x4^2 + 9439*x1*x4^3 + 60950*x2*x4^3 + 24382*x3*x4^3 + 10129*x4^4 + 25790*x1^3*x5 + 189*x1^2*x2*x5 + 60263*x1*x2^2*x5 + 19774*x2^3*x5 + 39945*x1^2*x3*x5 + 13872*x1*x2*x3*x5 + 36899*x2^2*x3*x5 + 36992*x1*x3^2*x5 + 22483*x2*x3^2*x5 + 6918*x3^3*x5 + 34555*x1^2*x4*x5 + 25980*x1*x2*x4*x5 + 30820*x2^2*x4*x5 + 54581*x1*x3*x4*x5 + 38585*x2*x3*x4*x5 + 30662*x3^2*x4*x5 + 50156*x1*x4^2*x5 + 37630*x2*x4^2*x5 + 9085*x3*x4^2*x5 + 44676*x4^3*x5 + 5738*x1^2*x5^2 + 8785*x1*x2*x5^2 + 13139*x2^2*x5^2 + 4115*x1*x3*x5^2 + 56770*x2*x3*x5^2 + 53759*x3^2*x5^2 + 30119*x1*x4*x5^2 + 46181*x2*x4*x5^2 + 20736*x3*x4*x5^2 + 56050*x4^2*x5^2 + 20651*x1*x5^3 + 30490*x2*x5^3 + 4204*x3*x5^3 + 9037*x4*x5^3 + 21867*x5^4 + 43703*x1^2*x6 + 9756*x1*x2*x6 + 44841*x2^2*x6 + 41939*x1*x3*x6 + 23766*x2*x3*x6 + 31556*x3^2*x6 + 37937*x1*x4*x6 + 1310*x2*x4*x6 + 58554*x3*x4*x6 + 38955*x4^2*x6 + 43347*x1*x5*x6 + 21859*x2*x5*x6 + 19619*x3*x5*x6 + 48414*x4*x5*x6 + 58163*x5^2*x6 + 49864*x6^2 + 33030*x1^2*x7 + 28832*x1*x2*x7 + 27229*x2^2*x7 + 16093*x1*x3*x7 + 52698*x2*x3*x7 + 20646*x3^2*x7 + 23495*x1*x4*x7 + 43975*x2*x4*x7 + 37003*x3*x4*x7 + 18820*x4^2*x7 + 52230*x1*x5*x7 + 12138*x2*x5*x7 + 55727*x3*x5*x7 + 51217*x4*x5*x7 + 10106*x5^2*x7 + 20866*x6*x7 + 37316*x7^2 + 57238*x1^2*x8 + 32740*x1*x2*x8 + 28250*x2^2*x8 + 2825*x1*x3*x8 + 4189*x2*x3*x8 + 558*x3^2*x8 + 50265*x1*x4*x8 + 14650*x2*x4*x8 + 39442*x3*x4*x8 + 39231*x4^2*x8 + 18218*x1*x5*x8 + 8579*x2*x5*x8 + 53149*x3*x5*x8 + 3533*x4*x5*x8 + 35755*x5^2*x8 + 51024*x6*x8 + 3262*x7*x8 + 33390*x8^2 + 63554*x1^2*x9 + 44749*x1*x2*x9 + 29031*x2^2*x9 + 3925*x1*x3*x9 + 28654*x2*x3*x9 + 17769*x3^2*x9 + 55793*x1*x4*x9 + 16276*x2*x4*x9 + 36945*x3*x4*x9 + 10329*x4^2*x9 + 38030*x1*x5*x9 + 17382*x2*x5*x9 + 37610*x3*x5*x9 + 8127*x4*x5*x9 + 32690*x5^2*x9 + 4345*x6*x9 + 28442*x7*x9 + 20402*x8*x9 + 57973*x9^2 + 17628*x1^2*x10 + 19652*x1*x2*x10 + 3133*x2^2*x10 + 2594*x1*x3*x10 + 43498*x2*x3*x10 + 51368*x3^2*x10 + 11250*x1*x4*x10 + 56372*x2*x4*x10 + 45927*x3*x4*x10 + 38085*x4^2*x10 + 17882*x1*x5*x10 + 62319*x2*x5*x10 + 7447*x3*x5*x10 + 32855*x4*x5*x10 + 23202*x5^2*x10 + 43502*x6*x10 + 19839*x7*x10 + 29461*x8*x10 + 29793*x9*x10 + 22769*x10^2 + 30081*x1^3 + 25013*x1^2*x2 + 9126*x1*x2^2 + 1989*x2^3 + 1725*x1^2*x3 + 30040*x1*x2*x3 + 50368*x2^2*x3 + 54739*x1*x3^2 + 6670*x2*x3^2 + 63259*x3^3 + 33077*x1^2*x4 + 24662*x1*x2*x4 + 38041*x2^2*x4 + 40014*x1*x3*x4 + 49256*x2*x3*x4 + 62834*x3^2*x4 + 46942*x1*x4^2 + 9123*x2*x4^2 + 4429*x3*x4^2 + 1975*x4^3 + 22014*x1^2*x5 + 6454*x1*x2*x5 + 53413*x2^2*x5 + 18836*x1*x3*x5 + 63384*x2*x3*x5 + 58127*x3^2*x5 + 33408*x1*x4*x5 + 4639*x2*x4*x5 + 22279*x3*x4*x5 + 34356*x4^2*x5 + 29516*x1*x5^2 + 43583*x2*x5^2 + 62281*x3*x5^2 + 37554*x4*x5^2 + 4831*x5^3 + 59376*x1*x6 + 35739*x2*x6 + 50468*x3*x6 + 35198*x4*x6 + 748*x5*x6 + 53019*x1*x7 + 37899*x2*x7 + 21731*x3*x7 + 64042*x4*x7 + 63129*x5*x7 + 61587*x1*x8 + 27466*x2*x8 + 21385*x3*x8 + 32618*x4*x8 + 17148*x5*x8 + 22789*x1*x9 + 38262*x2*x9 + 53431*x3*x9 + 29930*x4*x9 + 1103*x5*x9 + 34223*x1*x10 + 3463*x2*x10 + 28366*x3*x10 + 17210*x4*x10 + 51878*x5*x10 + 2169*x1^2 + 21295*x1*x2 + 14035*x2^2 + 1088*x1*x3 + 1531*x2*x3 + 36427*x3^2 + 34249*x1*x4 + 48843*x2*x4 + 27557*x3*x4 + 11134*x4^2 + 19328*x1*x5 + 3624*x2*x5 + 37239*x3*x5 + 30504*x4*x5 + 56792*x5^2 + 16530*x6 + 6357*x7 + 29990*x8 + 37727*x9 + 28145*x10 + 60142*x1 + 39024*x2 + 21041*x3 + 53975*x4 + 27837*x5 + 57863,
38719*x1^4 + 34764*x1^3*x2 + 6184*x1^2*x2^2 + 32031*x1*x2^3 + 15840*x2^4 + 28930*x1^3*x3 + 15258*x1^2*x2*x3 + 30224*x1*x2^2*x3 + 21351*x2^3*x3 + 29478*x1^2*x3^2 + 32111*x1*x2*x3^2 + 11359*x2^2*x3^2 + 5358*x1*x3^3 + 2384*x2*x3^3 + 37503*x3^4 + 30406*x1^3*x4 + 12812*x1^2*x2*x4 + 50295*x1*x2^2*x4 + 63983*x2^3*x4 + 18794*x1^2*x3*x4 + 26317*x1*x2*x3*x4 + 55182*x2^2*x3*x4 + 56855*x1*x3^2*x4 + 53576*x2*x3^2*x4 + 12782*x3^3*x4 + 43505*x1^2*x4^2 + 55521*x1*x2*x4^2 + 27199*x2^2*x4^2 + 65169*x1*x3*x4^2 + 17460*x2*x3*x4^2 + 9700*x3^2*x4^2 + 34033*x1*x4^3 + 5752*x2*x4^3 + 7086*x3*x4^3 + 43601*x4^4 + 24526*x1^3*x5 + 62765*x1^2*x2*x5 + 26989*x1*x2^2*x5 + 7831*x2^3*x5 + 23007*x1^2*x3*x5 + 58056*x1*x2*x3*x5 + 22140*x2^2*x3*x5 + 57772*x1*x3^2*x5 + 37211*x2*x3^2*x5 + 23083*x3^3*x5 + 8955*x1^2*x4*x5 + 57996*x1*x2*x4*x5 + 2069*x2^2*x4*x5 + 27713*x1*x3*x4*x5 + 2019*x2*x3*x4*x5 + 62370*x3^2*x4*x5 + 32314*x1*x4^2*x5 + 64470*x2*x4^2*x5 + 18786*x3*x4^2*x5 + 44730*x4^3*x5 + 29603*x1^2*x5^2 + 48502*x1*x2*x5^2 + 46374*x2^2*x5^2 + 50508*x1*x3*x5^2 + 27099*x2*x3*x5^2 + 58455*x3^2*x5^2 + 28933*x1*x4*x5^2 + 11252*x2*x4*x5^2 + 27866*x3*x4*x5^2 + 56465*x4^2*x5^2 + 33795*x1*x5^3 + 42097*x2*x5^3 + 11294*x3*x5^3 + 12850*x4*x5^3 + 40019*x5^4 + 36818*x1^2*x6 + 48857*x1*x2*x6 + 18742*x2^2*x6 + 41113*x1*x3*x6 + 7014*x2*x3*x6 + 54484*x3^2*x6 + 7719*x1*x4*x6 + 20275*x2*x4*x6 + 23532*x3*x4*x6 + 63435*x4^2*x6 + 28991*x1*x5*x6 + 29850*x2*x5*x6 + 50325*x3*x5*x6 + 6351*x4*x5*x6 + 53723*x5^2*x6 + 50194*x6^2 + 63394*x1^2*x7 + 40955*x1*x2*x7 + 19762*x2^2*x7 + 28652*x1*x3*x7 + 65383*x2*x3*x7 + 18513*x3^2*x7 + 53335*x1*x4*x7 + 22991*x2*x4*x7 + 45834*x3*x4*x7 + 29163*x4^2*x7 + 59574*x1*x5*x7 + 26969*x2*x5*x7 + 2811*x3*x5*x7 + 63382*x4*x5*x7 + 50254*x5^2*x7 + 23919*x6*x7 + 47821*x7^2 + 27679*x1^2*x8 + 22238*x1*x2*x8 + 18776*x2^2*x8 + 32041*x1*x3*x8 + 54716*x2*x3*x8 + 7986*x3^2*x8 + 6932*x1*x4*x8 + 57450*x2*x4*x8 + 5800*x3*x4*x8 + 40493*x4^2*x8 + 11897*x1*x5*x8 + 35923*x2*x5*x8 + 27892*x3*x5*x8 + 64545*x4*x5*x8 + 29365*x5^2*x8 + 20348*x6*x8 + 8597*x7*x8 + 39880*x8^2 + 40992*x1^2*x9 + 40658*x1*x2*x9 + 26225*x2^2*x9 + 1317*x1*x3*x9 + 34246*x2*x3*x9 + 49170*x3^2*x9 + 403*x1*x4*x9 + 2775*x2*x4*x9 + 37976*x3*x4*x9 + 37921*x4^2*x9 + 58004*x1*x5*x9 + 28964*x2*x5*x9 + 49244*x3*x5*x9 + 20482*x4*x5*x9 + 23672*x5^2*x9 + 56105*x6*x9 + 42203*x7*x9 + 38594*x8*x9 + 48907*x9^2 + 47575*x1^2*x10 + 26823*x1*x2*x10 + 42062*x2^2*x10 + 38277*x1*x3*x10 + 42584*x2*x3*x10 + 14677*x3^2*x10 + 12692*x1*x4*x10 + 36144*x2*x4*x10 + 56832*x3*x4*x10 + 2874*x4^2*x10 + 43311*x1*x5*x10 + 56794*x2*x5*x10 + 30367*x3*x5*x10 + 17125*x4*x5*x10 + 8284*x5^2*x10 + 4792*x6*x10 + 26308*x7*x10 + 13571*x8*x10 + 18347*x9*x10 + 21048*x10^2 + 4479*x1^3 + 31279*x1^2*x2 + 55139*x1*x2^2 + 35481*x2^3 + 995*x1^2*x3 + 54753*x1*x2*x3 + 42535*x2^2*x3 + 645*x1*x3^2 + 44930*x2*x3^2 + 40658*x3^3 + 25879*x1^2*x4 + 50780*x1*x2*x4 + 42993*x2^2*x4 + 59730*x1*x3*x4 + 28824*x2*x3*x4 + 63471*x3^2*x4 + 61428*x1*x4^2 + 16609*x2*x4^2 + 1240*x3*x4^2 + 9957*x4^3 + 52858*x1^2*x5 + 3800*x1*x2*x5 + 50512*x2^2*x5 + 43200*x1*x3*x5 + 9023*x2*x3*x5 + 45466*x3^2*x5 + 34784*x1*x4*x5 + 55275*x2*x4*x5 + 31404*x3*x4*x5 + 11251*x4^2*x5 + 61288*x1*x5^2 + 52158*x2*x5^2 + 55117*x3*x5^2 + 18903*x4*x5^2 + 64530*x5^3 + 53412*x1*x6 + 56867*x2*x6 + 62786*x3*x6 + 60846*x4*x6 + 22864*x5*x6 + 45427*x1*x7 + 62403*x2*x7 + 11882*x3*x7 + 38064*x4*x7 + 48345*x5*x7 + 44293*x1*x8 + 44311*x2*x8 + 46781*x3*x8 + 21057*x4*x8 + 4539*x5*x8 + 58851*x1*x9 + 13800*x2*x9 + 23174*x3*x9 + 45318*x4*x9 + 35959*x5*x9 + 57183*x1*x10 + 15695*x2*x10 + 55696*x3*x10 + 33938*x4*x10 + 54606*x5*x10 + 5675*x1^2 + 36261*x1*x2 + 35401*x2^2 + 18868*x1*x3 + 62680*x2*x3 + 25498*x3^2 + 56286*x1*x4 + 60894*x2*x4 + 50619*x3*x4 + 48226*x4^2 + 62584*x1*x5 + 42482*x2*x5 + 19264*x3*x5 + 19780*x4*x5 + 23576*x5^2 + 25949*x6 + 22046*x7 + 49842*x8 + 27203*x9 + 49442*x10 + 33701*x1 + 65040*x2 + 51094*x3 + 12650*x4 + 23950*x5 + 38831,
7501*x1^4 + 10766*x1^3*x2 + 15581*x1^2*x2^2 + 40669*x1*x2^3 + 46145*x2^4 + 64558*x1^3*x3 + 15126*x1^2*x2*x3 + 29714*x1*x2^2*x3 + 40352*x2^3*x3 + 30956*x1^2*x3^2 + 1793*x1*x2*x3^2 + 1218*x2^2*x3^2 + 32000*x1*x3^3 + 4777*x2*x3^3 + 39949*x3^4 + 4136*x1^3*x4 + 26169*x1^2*x2*x4 + 64920*x1*x2^2*x4 + 63576*x2^3*x4 + 56415*x1^2*x3*x4 + 31823*x1*x2*x3*x4 + 1621*x2^2*x3*x4 + 1944*x1*x3^2*x4 + 9404*x2*x3^2*x4 + 59701*x3^3*x4 + 9788*x1^2*x4^2 + 46398*x1*x2*x4^2 + 53790*x2^2*x4^2 + 40507*x1*x3*x4^2 + 52900*x2*x3*x4^2 + 61432*x3^2*x4^2 + 43635*x1*x4^3 + 55031*x2*x4^3 + 18066*x3*x4^3 + 10658*x4^4 + 53210*x1^3*x5 + 34204*x1^2*x2*x5 + 26310*x1*x2^2*x5 + 9580*x2^3*x5 + 13327*x1^2*x3*x5 + 3097*x1*x2*x3*x5 + 23770*x2^2*x3*x5 + 25823*x1*x3^2*x5 + 50198*x2*x3^2*x5 + 43790*x3^3*x5 + 64078*x1^2*x4*x5 + 23992*x1*x2*x4*x5 + 43898*x2^2*x4*x5 + 43989*x1*x3*x4*x5 + 8580*x2*x3*x4*x5 + 53691*x3^2*x4*x5 + 507*x1*x4^2*x5 + 8598*x2*x4^2*x5 + 48694*x3*x4^2*x5 + 64474*x4^3*x5 + 25665*x1^2*x5^2 + 58789*x1*x2*x5^2 + 34004*x2^2*x5^2 + 168*x1*x3*x5^2 + 26142*x2*x3*x5^2 + 44580*x3^2*x5^2 + 4745*x1*x4*x5^2 + 25421*x2*x4*x5^2 + 18117*x3*x4*x5^2 + 18708*x4^2*x5^2 + 37288*x1*x5^3 + 9702*x2*x5^3 + 11266*x3*x5^3 + 40941*x4*x5^3 + 63149*x5^4 + 2396*x1^2*x6 + 30538*x1*x2*x6 + 38872*x2^2*x6 + 19397*x1*x3*x6 + 8664*x2*x3*x6 + 25065*x3^2*x6 + 2027*x1*x4*x6 + 37800*x2*x4*x6 + 31500*x3*x4*x6 + 9576*x4^2*x6 + 52280*x1*x5*x6 + 34218*x2*x5*x6 + 48348*x3*x5*x6 + 16164*x4*x5*x6 + 45272*x5^2*x6 + 38551*x6^2 + 6501*x1^2*x7 + 30188*x1*x2*x7 + 43378*x2^2*x7 + 35242*x1*x3*x7 + 24200*x2*x3*x7 + 1706*x3^2*x7 + 23920*x1*x4*x7 + 3034*x2*x4*x7 + 35768*x3*x4*x7 + 29677*x4^2*x7 + 38773*x1*x5*x7 + 42295*x2*x5*x7 + 51708*x3*x5*x7 + 2578*x4*x5*x7 + 15282*x5^2*x7 + 4396*x6*x7 + 1256*x7^2 + 48400*x1^2*x8 + 59992*x1*x2*x8 + 39328*x2^2*x8 + 20137*x1*x3*x8 + 18426*x2*x3*x8 + 23868*x3^2*x8 + 19537*x1*x4*x8 + 6434*x2*x4*x8 + 6048*x3*x4*x8 + 52691*x4^2*x8 + 832*x1*x5*x8 + 33156*x2*x5*x8 + 45244*x3*x5*x8 + 35551*x4*x5*x8 + 548*x5^2*x8 + 16772*x6*x8 + 36363*x7*x8 + 48831*x8^2 + 58956*x1^2*x9 + 32953*x1*x2*x9 + 56618*x2^2*x9 + 38444*x1*x3*x9 + 46946*x2*x3*x9 + 38946*x3^2*x9 + 43296*x1*x4*x9 + 52757*x2*x4*x9 + 22325*x3*x4*x9 + 29984*x4^2*x9 + 162*x1*x5*x9 + 15299*x2*x5*x9 + 2340*x3*x5*x9 + 36349*x4*x5*x9 + 7743*x5^2*x9 + 20850*x6*x9 + 44352*x7*x9 + 25410*x8*x9 + 21462*x9^2 + 58428*x1^2*x10 + 27733*x1*x2*x10 + 29867*x2^2*x10 + 13562*x1*x3*x10 + 35416*x2*x3*x10 + 46114*x3^2*x10 + 53789*x1*x4*x10 + 43682*x2*x4*x10 + 303*x3*x4*x10 + 27235*x4^2*x10 + 1244*x1*x5*x10 + 50984*x2*x5*x10 + 29988*x3*x5*x10 + 47329*x4*x5*x10 + 22907*x5^2*x10 + 9884*x6*x10 + 36074*x7*x10 + 44030*x8*x10 + 2508*x9*x10 + 32268*x10^2 + 10165*x1^3 + 19000*x1^2*x2 + 31770*x1*x2^2 + 27911*x2^3 + 44753*x1^2*x3 + 6306*x1*x2*x3 + 42709*x2^2*x3 + 27367*x1*x3^2 + 55267*x2*x3^2 + 57501*x3^3 + 12726*x1^2*x4 + 26891*x1*x2*x4 + 51060*x2^2*x4 + 4013*x1*x3*x4 + 31616*x2*x3*x4 + 21912*x3^2*x4 + 63011*x1*x4^2 + 38516*x2*x4^2 + 53533*x3*x4^2 + 7029*x4^3 + 21837*x1^2*x5 + 10944*x1*x2*x5 + 20860*x2^2*x5 + 39585*x1*x3*x5 + 38002*x2*x3*x5 + 42246*x3^2*x5 + 6661*x1*x4*x5 + 46347*x2*x4*x5 + 46630*x3*x4*x5 + 38772*x4^2*x5 + 13255*x1*x5^2 + 49519*x2*x5^2 + 880*x3*x5^2 + 20453*x4*x5^2 + 22865*x5^3 + 16301*x1*x6 + 6138*x2*x6 + 19380*x3*x6 + 326*x4*x6 + 53778*x5*x6 + 15962*x1*x7 + 23648*x2*x7 + 24360*x3*x7 + 57845*x4*x7 + 30063*x5*x7 + 42265*x1*x8 + 6333*x2*x8 + 48861*x3*x8 + 52187*x4*x8 + 62959*x5*x8 + 28084*x1*x9 + 51059*x2*x9 + 49574*x3*x9 + 58207*x4*x9 + 30154*x5*x9 + 23517*x1*x10 + 36134*x2*x10 + 39654*x3*x10 + 32814*x4*x10 + 4189*x5*x10 + 1583*x1^2 + 32187*x1*x2 + 29188*x2^2 + 5285*x1*x3 + 9297*x2*x3 + 43328*x3^2 + 52650*x1*x4 + 694*x2*x4 + 44371*x3*x4 + 16992*x4^2 + 51759*x1*x5 + 46632*x2*x5 + 62485*x3*x5 + 65348*x4*x5 + 58820*x5^2 + 26177*x6 + 56414*x7 + 64295*x8 + 8091*x9 + 1648*x10 + 18201*x1 + 65098*x2 + 48373*x3 + 61049*x4 + 35263*x5 + 51269
]
: