#C Idéal générique en 6 variables, quasi homo + constante #C Système de poids : 1,1,2,2,3,3 #C Système de degrés : 12,12,12,12,12,18 #vars [x1,x2,x3,x4,x5,x6] #weights <1 1 2 2 3 3> #list [ 17408*x1^12 + 37481*x1^11*x2 + 22907*x1^10*x2^2 + 4420*x1^9*x2^3 + 38686*x1^8*x2^4 + 64980*x1^7*x2^5 + 6347*x1^6*x2^6 + 13412*x1^5*x2^7 + 14340*x1^4*x2^8 + 6072*x1^3*x2^9 + 64661*x1^2*x2^10 + 2460*x1*x2^11 + 64374*x2^12 + 30785*x1^10*x3 + 25018*x1^9*x2*x3 + 64064*x1^8*x2^2*x3 + 37430*x1^7*x2^3*x3 + 63427*x1^6*x2^4*x3 + 61501*x1^5*x2^5*x3 + 42382*x1^4*x2^6*x3 + 22771*x1^3*x2^7*x3 + 26503*x1^2*x2^8*x3 + 54693*x1*x2^9*x3 + 50301*x2^10*x3 + 15267*x1^10*x4 + 26935*x1^9*x2*x4 + 36091*x1^8*x2^2*x4 + 52261*x1^7*x2^3*x4 + 34640*x1^6*x2^4*x4 + 62732*x1^5*x2^5*x4 + 26874*x1^4*x2^6*x4 + 24119*x1^3*x2^7*x4 + 43861*x1^2*x2^8*x4 + 33584*x1*x2^9*x4 + 7901*x2^10*x4 + 773*x1^8*x3^2 + 28496*x1^7*x2*x3^2 + 458*x1^6*x2^2*x3^2 + 5005*x1^5*x2^3*x3^2 + 6904*x1^4*x2^4*x3^2 + 13813*x1^3*x2^5*x3^2 + 20383*x1^2*x2^6*x3^2 + 10814*x1*x2^7*x3^2 + 43627*x2^8*x3^2 + 13728*x1^8*x3*x4 + 16865*x1^7*x2*x3*x4 + 64621*x1^6*x2^2*x3*x4 + 21397*x1^5*x2^3*x3*x4 + 15404*x1^4*x2^4*x3*x4 + 53831*x1^3*x2^5*x3*x4 + 8940*x1^2*x2^6*x3*x4 + 25413*x1*x2^7*x3*x4 + 46920*x2^8*x3*x4 + 22159*x1^8*x4^2 + 64989*x1^7*x2*x4^2 + 53492*x1^6*x2^2*x4^2 + 63652*x1^5*x2^3*x4^2 + 2797*x1^4*x2^4*x4^2 + 59853*x1^3*x2^5*x4^2 + 18210*x1^2*x2^6*x4^2 + 48433*x1*x2^7*x4^2 + 7357*x2^8*x4^2 + 34080*x1^9*x5 + 47303*x1^8*x2*x5 + 35585*x1^7*x2^2*x5 + 59519*x1^6*x2^3*x5 + 18902*x1^5*x2^4*x5 + 1578*x1^4*x2^5*x5 + 25850*x1^3*x2^6*x5 + 11572*x1^2*x2^7*x5 + 7701*x1*x2^8*x5 + 28924*x2^9*x5 + 41146*x1^9*x6 + 60257*x1^8*x2*x6 + 13466*x1^7*x2^2*x6 + 26378*x1^6*x2^3*x6 + 61630*x1^5*x2^4*x6 + 52112*x1^4*x2^5*x6 + 33101*x1^3*x2^6*x6 + 12366*x1^2*x2^7*x6 + 34971*x1*x2^8*x6 + 39953*x2^9*x6 + 53243*x1^6*x3^3 + 24223*x1^5*x2*x3^3 + 1008*x1^4*x2^2*x3^3 + 61383*x1^3*x2^3*x3^3 + 34271*x1^2*x2^4*x3^3 + 43413*x1*x2^5*x3^3 + 54001*x2^6*x3^3 + 41539*x1^6*x3^2*x4 + 30477*x1^5*x2*x3^2*x4 + 10193*x1^4*x2^2*x3^2*x4 + 27258*x1^3*x2^3*x3^2*x4 + 4105*x1^2*x2^4*x3^2*x4 + 31352*x1*x2^5*x3^2*x4 + 54185*x2^6*x3^2*x4 + 18663*x1^6*x3*x4^2 + 37914*x1^5*x2*x3*x4^2 + 63608*x1^4*x2^2*x3*x4^2 + 45070*x1^3*x2^3*x3*x4^2 + 54191*x1^2*x2^4*x3*x4^2 + 26597*x1*x2^5*x3*x4^2 + 50610*x2^6*x3*x4^2 + 33350*x1^6*x4^3 + 30604*x1^5*x2*x4^3 + 29566*x1^4*x2^2*x4^3 + 9486*x1^3*x2^3*x4^3 + 10884*x1^2*x2^4*x4^3 + 46951*x1*x2^5*x4^3 + 5254*x2^6*x4^3 + 28330*x1^7*x3*x5 + 30269*x1^6*x2*x3*x5 + 26154*x1^5*x2^2*x3*x5 + 4788*x1^4*x2^3*x3*x5 + 21199*x1^3*x2^4*x3*x5 + 18706*x1^2*x2^5*x3*x5 + 35286*x1*x2^6*x3*x5 + 37708*x2^7*x3*x5 + 27489*x1^7*x4*x5 + 26168*x1^6*x2*x4*x5 + 9533*x1^5*x2^2*x4*x5 + 58865*x1^4*x2^3*x4*x5 + 20875*x1^3*x2^4*x4*x5 + 46929*x1^2*x2^5*x4*x5 + 50533*x1*x2^6*x4*x5 + 8446*x2^7*x4*x5 + 55020*x1^7*x3*x6 + 12720*x1^6*x2*x3*x6 + 39813*x1^5*x2^2*x3*x6 + 58133*x1^4*x2^3*x3*x6 + 20680*x1^3*x2^4*x3*x6 + 46464*x1^2*x2^5*x3*x6 + 62971*x1*x2^6*x3*x6 + 57730*x2^7*x3*x6 + 30818*x1^7*x4*x6 + 11732*x1^6*x2*x4*x6 + 27051*x1^5*x2^2*x4*x6 + 28527*x1^4*x2^3*x4*x6 + 60459*x1^3*x2^4*x4*x6 + 251*x1^2*x2^5*x4*x6 + 59494*x1*x2^6*x4*x6 + 59818*x2^7*x4*x6 + 14372*x1^4*x3^4 + 57688*x1^3*x2*x3^4 + 49412*x1^2*x2^2*x3^4 + 16589*x1*x2^3*x3^4 + 36090*x2^4*x3^4 + 20235*x1^4*x3^3*x4 + 3457*x1^3*x2*x3^3*x4 + 1993*x1^2*x2^2*x3^3*x4 + 64071*x1*x2^3*x3^3*x4 + 15355*x2^4*x3^3*x4 + 26495*x1^4*x3^2*x4^2 + 4976*x1^3*x2*x3^2*x4^2 + 19647*x1^2*x2^2*x3^2*x4^2 + 8665*x1*x2^3*x3^2*x4^2 + 29731*x2^4*x3^2*x4^2 + 25024*x1^4*x3*x4^3 + 16956*x1^3*x2*x3*x4^3 + 13241*x1^2*x2^2*x3*x4^3 + 20447*x1*x2^3*x3*x4^3 + 31058*x2^4*x3*x4^3 + 18421*x1^4*x4^4 + 19733*x1^3*x2*x4^4 + 1992*x1^2*x2^2*x4^4 + 10811*x1*x2^3*x4^4 + 27936*x2^4*x4^4 + 63283*x1^5*x3^2*x5 + 16401*x1^4*x2*x3^2*x5 + 59268*x1^3*x2^2*x3^2*x5 + 51980*x1^2*x2^3*x3^2*x5 + 46356*x1*x2^4*x3^2*x5 + 33921*x2^5*x3^2*x5 + 2196*x1^5*x3*x4*x5 + 15390*x1^4*x2*x3*x4*x5 + 30893*x1^3*x2^2*x3*x4*x5 + 30789*x1^2*x2^3*x3*x4*x5 + 594*x1*x2^4*x3*x4*x5 + 44348*x2^5*x3*x4*x5 + 422*x1^5*x4^2*x5 + 20196*x1^4*x2*x4^2*x5 + 27617*x1^3*x2^2*x4^2*x5 + 61626*x1^2*x2^3*x4^2*x5 + 34975*x1*x2^4*x4^2*x5 + 59242*x2^5*x4^2*x5 + 50356*x1^6*x5^2 + 44714*x1^5*x2*x5^2 + 50448*x1^4*x2^2*x5^2 + 21846*x1^3*x2^3*x5^2 + 21977*x1^2*x2^4*x5^2 + 45162*x1*x2^5*x5^2 + 57071*x2^6*x5^2 + 52563*x1^5*x3^2*x6 + 34633*x1^4*x2*x3^2*x6 + 16674*x1^3*x2^2*x3^2*x6 + 9433*x1^2*x2^3*x3^2*x6 + 4610*x1*x2^4*x3^2*x6 + 9189*x2^5*x3^2*x6 + 4912*x1^5*x3*x4*x6 + 2743*x1^4*x2*x3*x4*x6 + 17749*x1^3*x2^2*x3*x4*x6 + 44130*x1^2*x2^3*x3*x4*x6 + 3873*x1*x2^4*x3*x4*x6 + 18825*x2^5*x3*x4*x6 + 46236*x1^5*x4^2*x6 + 49330*x1^4*x2*x4^2*x6 + 58271*x1^3*x2^2*x4^2*x6 + 3882*x1^2*x2^3*x4^2*x6 + 48664*x1*x2^4*x4^2*x6 + 12802*x2^5*x4^2*x6 + 46632*x1^6*x5*x6 + 43687*x1^5*x2*x5*x6 + 2902*x1^4*x2^2*x5*x6 + 60922*x1^3*x2^3*x5*x6 + 60799*x1^2*x2^4*x5*x6 + 62005*x1*x2^5*x5*x6 + 9386*x2^6*x5*x6 + 17286*x1^6*x6^2 + 15079*x1^5*x2*x6^2 + 45320*x1^4*x2^2*x6^2 + 25927*x1^3*x2^3*x6^2 + 32972*x1^2*x2^4*x6^2 + 47706*x1*x2^5*x6^2 + 29606*x2^6*x6^2 + 56911*x1^2*x3^5 + 48226*x1*x2*x3^5 + 62700*x2^2*x3^5 + 29152*x1^2*x3^4*x4 + 44615*x1*x2*x3^4*x4 + 12944*x2^2*x3^4*x4 + 22056*x1^2*x3^3*x4^2 + 19887*x1*x2*x3^3*x4^2 + 27230*x2^2*x3^3*x4^2 + 58679*x1^2*x3^2*x4^3 + 56265*x1*x2*x3^2*x4^3 + 55868*x2^2*x3^2*x4^3 + 41374*x1^2*x3*x4^4 + 15925*x1*x2*x3*x4^4 + 43011*x2^2*x3*x4^4 + 51052*x1^2*x4^5 + 11047*x1*x2*x4^5 + 5054*x2^2*x4^5 + 46465*x1^3*x3^3*x5 + 5723*x1^2*x2*x3^3*x5 + 49341*x1*x2^2*x3^3*x5 + 31876*x2^3*x3^3*x5 + 63421*x1^3*x3^2*x4*x5 + 45641*x1^2*x2*x3^2*x4*x5 + 61062*x1*x2^2*x3^2*x4*x5 + 34989*x2^3*x3^2*x4*x5 + 44163*x1^3*x3*x4^2*x5 + 27923*x1^2*x2*x3*x4^2*x5 + 55851*x1*x2^2*x3*x4^2*x5 + 11326*x2^3*x3*x4^2*x5 + 51159*x1^3*x4^3*x5 + 41219*x1^2*x2*x4^3*x5 + 47429*x1*x2^2*x4^3*x5 + 8751*x2^3*x4^3*x5 + 56987*x1^4*x3*x5^2 + 2387*x1^3*x2*x3*x5^2 + 37729*x1^2*x2^2*x3*x5^2 + 23678*x1*x2^3*x3*x5^2 + 54868*x2^4*x3*x5^2 + 25509*x1^4*x4*x5^2 + 18579*x1^3*x2*x4*x5^2 + 21282*x1^2*x2^2*x4*x5^2 + 19397*x1*x2^3*x4*x5^2 + 20542*x2^4*x4*x5^2 + 6889*x1^3*x3^3*x6 + 62656*x1^2*x2*x3^3*x6 + 59423*x1*x2^2*x3^3*x6 + 21979*x2^3*x3^3*x6 + 14037*x1^3*x3^2*x4*x6 + 55763*x1^2*x2*x3^2*x4*x6 + 49638*x1*x2^2*x3^2*x4*x6 + 55268*x2^3*x3^2*x4*x6 + 57387*x1^3*x3*x4^2*x6 + 49628*x1^2*x2*x3*x4^2*x6 + 60934*x1*x2^2*x3*x4^2*x6 + 50848*x2^3*x3*x4^2*x6 + 23595*x1^3*x4^3*x6 + 29187*x1^2*x2*x4^3*x6 + 55741*x1*x2^2*x4^3*x6 + 59117*x2^3*x4^3*x6 + 15301*x1^4*x3*x5*x6 + 18722*x1^3*x2*x3*x5*x6 + 18358*x1^2*x2^2*x3*x5*x6 + 2213*x1*x2^3*x3*x5*x6 + 29297*x2^4*x3*x5*x6 + 29060*x1^4*x4*x5*x6 + 5872*x1^3*x2*x4*x5*x6 + 52304*x1^2*x2^2*x4*x5*x6 + 45429*x1*x2^3*x4*x5*x6 + 61479*x2^4*x4*x5*x6 + 37359*x1^4*x3*x6^2 + 49503*x1^3*x2*x3*x6^2 + 38631*x1^2*x2^2*x3*x6^2 + 64917*x1*x2^3*x3*x6^2 + 49988*x2^4*x3*x6^2 + 7687*x1^4*x4*x6^2 + 50965*x1^3*x2*x4*x6^2 + 60663*x1^2*x2^2*x4*x6^2 + 15460*x1*x2^3*x4*x6^2 + 30332*x2^4*x4*x6^2 + 29108*x3^6 + 53233*x3^5*x4 + 52730*x3^4*x4^2 + 43253*x3^3*x4^3 + 31180*x3^2*x4^4 + 62448*x3*x4^5 + 15298*x4^6 + 41838*x1*x3^4*x5 + 2833*x2*x3^4*x5 + 1676*x1*x3^3*x4*x5 + 47853*x2*x3^3*x4*x5 + 8485*x1*x3^2*x4^2*x5 + 24533*x2*x3^2*x4^2*x5 + 29138*x1*x3*x4^3*x5 + 50344*x2*x3*x4^3*x5 + 20512*x1*x4^4*x5 + 59208*x2*x4^4*x5 + 4682*x1^2*x3^2*x5^2 + 57900*x1*x2*x3^2*x5^2 + 33687*x2^2*x3^2*x5^2 + 17589*x1^2*x3*x4*x5^2 + 58431*x1*x2*x3*x4*x5^2 + 55286*x2^2*x3*x4*x5^2 + 63138*x1^2*x4^2*x5^2 + 9668*x1*x2*x4^2*x5^2 + 42616*x2^2*x4^2*x5^2 + 33872*x1^3*x5^3 + 50890*x1^2*x2*x5^3 + 13666*x1*x2^2*x5^3 + 40779*x2^3*x5^3 + 8438*x1*x3^4*x6 + 28725*x2*x3^4*x6 + 60080*x1*x3^3*x4*x6 + 33017*x2*x3^3*x4*x6 + 58446*x1*x3^2*x4^2*x6 + 49687*x2*x3^2*x4^2*x6 + 15937*x1*x3*x4^3*x6 + 46965*x2*x3*x4^3*x6 + 23444*x1*x4^4*x6 + 4805*x2*x4^4*x6 + 59784*x1^2*x3^2*x5*x6 + 33137*x1*x2*x3^2*x5*x6 + 33236*x2^2*x3^2*x5*x6 + 12494*x1^2*x3*x4*x5*x6 + 5030*x1*x2*x3*x4*x5*x6 + 19010*x2^2*x3*x4*x5*x6 + 3196*x1^2*x4^2*x5*x6 + 33277*x1*x2*x4^2*x5*x6 + 41309*x2^2*x4^2*x5*x6 + 7105*x1^3*x5^2*x6 + 65492*x1^2*x2*x5^2*x6 + 15040*x1*x2^2*x5^2*x6 + 28897*x2^3*x5^2*x6 + 33285*x1^2*x3^2*x6^2 + 52364*x1*x2*x3^2*x6^2 + 54310*x2^2*x3^2*x6^2 + 5138*x1^2*x3*x4*x6^2 + 11295*x1*x2*x3*x4*x6^2 + 62252*x2^2*x3*x4*x6^2 + 60570*x1^2*x4^2*x6^2 + 62076*x1*x2*x4^2*x6^2 + 55992*x2^2*x4^2*x6^2 + 42863*x1^3*x5*x6^2 + 54689*x1^2*x2*x5*x6^2 + 37238*x1*x2^2*x5*x6^2 + 19433*x2^3*x5*x6^2 + 3463*x1^3*x6^3 + 43476*x1^2*x2*x6^3 + 49307*x1*x2^2*x6^3 + 33711*x2^3*x6^3 + 45727*x3^3*x5^2 + 54314*x3^2*x4*x5^2 + 39386*x3*x4^2*x5^2 + 29008*x4^3*x5^2 + 38159*x1*x3*x5^3 + 8390*x2*x3*x5^3 + 65504*x1*x4*x5^3 + 8384*x2*x4*x5^3 + 16331*x3^3*x5*x6 + 17649*x3^2*x4*x5*x6 + 13701*x3*x4^2*x5*x6 + 34407*x4^3*x5*x6 + 23612*x1*x3*x5^2*x6 + 7835*x2*x3*x5^2*x6 + 6115*x1*x4*x5^2*x6 + 43559*x2*x4*x5^2*x6 + 29184*x3^3*x6^2 + 17653*x3^2*x4*x6^2 + 57437*x3*x4^2*x6^2 + 49557*x4^3*x6^2 + 11951*x1*x3*x5*x6^2 + 39820*x2*x3*x5*x6^2 + 7142*x1*x4*x5*x6^2 + 15498*x2*x4*x5*x6^2 + 52860*x1*x3*x6^3 + 26693*x2*x3*x6^3 + 441*x1*x4*x6^3 + 5533*x2*x4*x6^3 + 31282*x5^4 + 45617*x5^3*x6 + 40319*x5^2*x6^2 + 52187*x5*x6^3 + 37784*x6^4 +46614, 18275*x1^12 + 869*x1^11*x2 + 17524*x1^10*x2^2 + 3260*x1^9*x2^3 + 63033*x1^8*x2^4 + 46633*x1^7*x2^5 + 20748*x1^6*x2^6 + 28406*x1^5*x2^7 + 46745*x1^4*x2^8 + 1999*x1^3*x2^9 + 24063*x1^2*x2^10 + 17201*x1*x2^11 + 26706*x2^12 + 44615*x1^10*x3 + 41128*x1^9*x2*x3 + 29761*x1^8*x2^2*x3 + 55575*x1^7*x2^3*x3 + 16572*x1^6*x2^4*x3 + 47341*x1^5*x2^5*x3 + 62916*x1^4*x2^6*x3 + 4489*x1^3*x2^7*x3 + 39157*x1^2*x2^8*x3 + 27714*x1*x2^9*x3 + 29546*x2^10*x3 + 42321*x1^10*x4 + 2557*x1^9*x2*x4 + 14152*x1^8*x2^2*x4 + 19478*x1^7*x2^3*x4 + 59171*x1^6*x2^4*x4 + 63726*x1^5*x2^5*x4 + 43660*x1^4*x2^6*x4 + 35846*x1^3*x2^7*x4 + 63007*x1^2*x2^8*x4 + 15821*x1*x2^9*x4 + 15137*x2^10*x4 + 22897*x1^8*x3^2 + 35606*x1^7*x2*x3^2 + 39679*x1^6*x2^2*x3^2 + 59148*x1^5*x2^3*x3^2 + 60739*x1^4*x2^4*x3^2 + 22830*x1^3*x2^5*x3^2 + 44886*x1^2*x2^6*x3^2 + 6100*x1*x2^7*x3^2 + 62154*x2^8*x3^2 + 55730*x1^8*x3*x4 + 38032*x1^7*x2*x3*x4 + 57387*x1^6*x2^2*x3*x4 + 27110*x1^5*x2^3*x3*x4 + 16427*x1^4*x2^4*x3*x4 + 52366*x1^3*x2^5*x3*x4 + 2372*x1^2*x2^6*x3*x4 + 16521*x1*x2^7*x3*x4 + 17045*x2^8*x3*x4 + 20574*x1^8*x4^2 + 51340*x1^7*x2*x4^2 + 38020*x1^6*x2^2*x4^2 + 17405*x1^5*x2^3*x4^2 + 59975*x1^4*x2^4*x4^2 + 26518*x1^3*x2^5*x4^2 + 42303*x1^2*x2^6*x4^2 + 52477*x1*x2^7*x4^2 + 3367*x2^8*x4^2 + 47344*x1^9*x5 + 12834*x1^8*x2*x5 + 61504*x1^7*x2^2*x5 + 17559*x1^6*x2^3*x5 + 53244*x1^5*x2^4*x5 + 19467*x1^4*x2^5*x5 + 56508*x1^3*x2^6*x5 + 8745*x1^2*x2^7*x5 + 12180*x1*x2^8*x5 + 24225*x2^9*x5 + 4439*x1^9*x6 + 59300*x1^8*x2*x6 + 40240*x1^7*x2^2*x6 + 63046*x1^6*x2^3*x6 + 49565*x1^5*x2^4*x6 + 47084*x1^4*x2^5*x6 + 42892*x1^3*x2^6*x6 + 14931*x1^2*x2^7*x6 + 64965*x1*x2^8*x6 + 14788*x2^9*x6 + 10038*x1^6*x3^3 + 57023*x1^5*x2*x3^3 + 54728*x1^4*x2^2*x3^3 + 4195*x1^3*x2^3*x3^3 + 17631*x1^2*x2^4*x3^3 + 27138*x1*x2^5*x3^3 + 18151*x2^6*x3^3 + 56774*x1^6*x3^2*x4 + 17403*x1^5*x2*x3^2*x4 + 10462*x1^4*x2^2*x3^2*x4 + 11789*x1^3*x2^3*x3^2*x4 + 41591*x1^2*x2^4*x3^2*x4 + 6815*x1*x2^5*x3^2*x4 + 50223*x2^6*x3^2*x4 + 40033*x1^6*x3*x4^2 + 15506*x1^5*x2*x3*x4^2 + 29082*x1^4*x2^2*x3*x4^2 + 61918*x1^3*x2^3*x3*x4^2 + 52322*x1^2*x2^4*x3*x4^2 + 56285*x1*x2^5*x3*x4^2 + 9462*x2^6*x3*x4^2 + 6214*x1^6*x4^3 + 52386*x1^5*x2*x4^3 + 61696*x1^4*x2^2*x4^3 + 21067*x1^3*x2^3*x4^3 + 20076*x1^2*x2^4*x4^3 + 39186*x1*x2^5*x4^3 + 15119*x2^6*x4^3 + 8459*x1^7*x3*x5 + 49979*x1^6*x2*x3*x5 + 21880*x1^5*x2^2*x3*x5 + 22211*x1^4*x2^3*x3*x5 + 27824*x1^3*x2^4*x3*x5 + 64611*x1^2*x2^5*x3*x5 + 32244*x1*x2^6*x3*x5 + 6400*x2^7*x3*x5 + 24095*x1^7*x4*x5 + 46911*x1^6*x2*x4*x5 + 46222*x1^5*x2^2*x4*x5 + 46976*x1^4*x2^3*x4*x5 + 32992*x1^3*x2^4*x4*x5 + 12376*x1^2*x2^5*x4*x5 + 26460*x1*x2^6*x4*x5 + 11824*x2^7*x4*x5 + 32974*x1^7*x3*x6 + 21724*x1^6*x2*x3*x6 + 42718*x1^5*x2^2*x3*x6 + 20967*x1^4*x2^3*x3*x6 + 60381*x1^3*x2^4*x3*x6 + 30663*x1^2*x2^5*x3*x6 + 28433*x1*x2^6*x3*x6 + 11638*x2^7*x3*x6 + 11460*x1^7*x4*x6 + 28453*x1^6*x2*x4*x6 + 41976*x1^5*x2^2*x4*x6 + 30247*x1^4*x2^3*x4*x6 + 16560*x1^3*x2^4*x4*x6 + 9876*x1^2*x2^5*x4*x6 + 38888*x1*x2^6*x4*x6 + 65435*x2^7*x4*x6 + 30491*x1^4*x3^4 + 54942*x1^3*x2*x3^4 + 15979*x1^2*x2^2*x3^4 + 55196*x1*x2^3*x3^4 + 59529*x2^4*x3^4 + 11318*x1^4*x3^3*x4 + 16435*x1^3*x2*x3^3*x4 + 44500*x1^2*x2^2*x3^3*x4 + 35074*x1*x2^3*x3^3*x4 + 10350*x2^4*x3^3*x4 + 58888*x1^4*x3^2*x4^2 + 13590*x1^3*x2*x3^2*x4^2 + 22481*x1^2*x2^2*x3^2*x4^2 + 42741*x1*x2^3*x3^2*x4^2 + 53586*x2^4*x3^2*x4^2 + 40295*x1^4*x3*x4^3 + 4044*x1^3*x2*x3*x4^3 + 60738*x1^2*x2^2*x3*x4^3 + 7282*x1*x2^3*x3*x4^3 + 43357*x2^4*x3*x4^3 + 60167*x1^4*x4^4 + 37547*x1^3*x2*x4^4 + 43661*x1^2*x2^2*x4^4 + 45164*x1*x2^3*x4^4 + 60056*x2^4*x4^4 + 13991*x1^5*x3^2*x5 + 49204*x1^4*x2*x3^2*x5 + 46859*x1^3*x2^2*x3^2*x5 + 38982*x1^2*x2^3*x3^2*x5 + 40939*x1*x2^4*x3^2*x5 + 57911*x2^5*x3^2*x5 + 18718*x1^5*x3*x4*x5 + 51562*x1^4*x2*x3*x4*x5 + 35344*x1^3*x2^2*x3*x4*x5 + 61468*x1^2*x2^3*x3*x4*x5 + 32187*x1*x2^4*x3*x4*x5 + 27231*x2^5*x3*x4*x5 + 44610*x1^5*x4^2*x5 + 47075*x1^4*x2*x4^2*x5 + 24447*x1^3*x2^2*x4^2*x5 + 15939*x1^2*x2^3*x4^2*x5 + 59610*x1*x2^4*x4^2*x5 + 18490*x2^5*x4^2*x5 + 35494*x1^6*x5^2 + 57025*x1^5*x2*x5^2 + 18639*x1^4*x2^2*x5^2 + 43186*x1^3*x2^3*x5^2 + 65340*x1^2*x2^4*x5^2 + 33176*x1*x2^5*x5^2 + 54913*x2^6*x5^2 + 29114*x1^5*x3^2*x6 + 7724*x1^4*x2*x3^2*x6 + 28167*x1^3*x2^2*x3^2*x6 + 50523*x1^2*x2^3*x3^2*x6 + 16839*x1*x2^4*x3^2*x6 + 50365*x2^5*x3^2*x6 + 59299*x1^5*x3*x4*x6 + 40255*x1^4*x2*x3*x4*x6 + 28898*x1^3*x2^2*x3*x4*x6 + 62638*x1^2*x2^3*x3*x4*x6 + 43982*x1*x2^4*x3*x4*x6 + 60371*x2^5*x3*x4*x6 + 59495*x1^5*x4^2*x6 + 61377*x1^4*x2*x4^2*x6 + 47744*x1^3*x2^2*x4^2*x6 + 52296*x1^2*x2^3*x4^2*x6 + 13805*x1*x2^4*x4^2*x6 + 20207*x2^5*x4^2*x6 + 15139*x1^6*x5*x6 + 17328*x1^5*x2*x5*x6 + 16349*x1^4*x2^2*x5*x6 + 19126*x1^3*x2^3*x5*x6 + 19407*x1^2*x2^4*x5*x6 + 60620*x1*x2^5*x5*x6 + 54134*x2^6*x5*x6 + 32196*x1^6*x6^2 + 28396*x1^5*x2*x6^2 + 60728*x1^4*x2^2*x6^2 + 43430*x1^3*x2^3*x6^2 + 43984*x1^2*x2^4*x6^2 + 49650*x1*x2^5*x6^2 + 46140*x2^6*x6^2 + 24153*x1^2*x3^5 + 3622*x1*x2*x3^5 + 56186*x2^2*x3^5 + 2021*x1^2*x3^4*x4 + 10721*x1*x2*x3^4*x4 + 5167*x2^2*x3^4*x4 + 20813*x1^2*x3^3*x4^2 + 23287*x1*x2*x3^3*x4^2 + 30843*x2^2*x3^3*x4^2 + 13661*x1^2*x3^2*x4^3 + 12667*x1*x2*x3^2*x4^3 + 55626*x2^2*x3^2*x4^3 + 26209*x1^2*x3*x4^4 + 47218*x1*x2*x3*x4^4 + 8818*x2^2*x3*x4^4 + 44165*x1^2*x4^5 + 40266*x1*x2*x4^5 + 56820*x2^2*x4^5 + 26536*x1^3*x3^3*x5 + 11507*x1^2*x2*x3^3*x5 + 38533*x1*x2^2*x3^3*x5 + 22976*x2^3*x3^3*x5 + 20050*x1^3*x3^2*x4*x5 + 7663*x1^2*x2*x3^2*x4*x5 + 28403*x1*x2^2*x3^2*x4*x5 + 55478*x2^3*x3^2*x4*x5 + 30617*x1^3*x3*x4^2*x5 + 12476*x1^2*x2*x3*x4^2*x5 + 42649*x1*x2^2*x3*x4^2*x5 + 42400*x2^3*x3*x4^2*x5 + 61067*x1^3*x4^3*x5 + 25575*x1^2*x2*x4^3*x5 + 29897*x1*x2^2*x4^3*x5 + 11356*x2^3*x4^3*x5 + 52955*x1^4*x3*x5^2 + 31644*x1^3*x2*x3*x5^2 + 60586*x1^2*x2^2*x3*x5^2 + 44755*x1*x2^3*x3*x5^2 + 21759*x2^4*x3*x5^2 + 31039*x1^4*x4*x5^2 + 58432*x1^3*x2*x4*x5^2 + 21065*x1^2*x2^2*x4*x5^2 + 5725*x1*x2^3*x4*x5^2 + 10931*x2^4*x4*x5^2 + 24847*x1^3*x3^3*x6 + 32465*x1^2*x2*x3^3*x6 + 60386*x1*x2^2*x3^3*x6 + 38688*x2^3*x3^3*x6 + 13134*x1^3*x3^2*x4*x6 + 14942*x1^2*x2*x3^2*x4*x6 + 9570*x1*x2^2*x3^2*x4*x6 + 42524*x2^3*x3^2*x4*x6 + 23374*x1^3*x3*x4^2*x6 + 52502*x1^2*x2*x3*x4^2*x6 + 29193*x1*x2^2*x3*x4^2*x6 + 52518*x2^3*x3*x4^2*x6 + 45237*x1^3*x4^3*x6 + 46183*x1^2*x2*x4^3*x6 + 38964*x1*x2^2*x4^3*x6 + 64648*x2^3*x4^3*x6 + 37523*x1^4*x3*x5*x6 + 42632*x1^3*x2*x3*x5*x6 + 62403*x1^2*x2^2*x3*x5*x6 + 29980*x1*x2^3*x3*x5*x6 + 16710*x2^4*x3*x5*x6 + 6616*x1^4*x4*x5*x6 + 47081*x1^3*x2*x4*x5*x6 + 60690*x1^2*x2^2*x4*x5*x6 + 62064*x1*x2^3*x4*x5*x6 + 60192*x2^4*x4*x5*x6 + 21302*x1^4*x3*x6^2 + 31883*x1^3*x2*x3*x6^2 + 17504*x1^2*x2^2*x3*x6^2 + 10673*x1*x2^3*x3*x6^2 + 34071*x2^4*x3*x6^2 + 49643*x1^4*x4*x6^2 + 47194*x1^3*x2*x4*x6^2 + 14530*x1^2*x2^2*x4*x6^2 + 37311*x1*x2^3*x4*x6^2 + 42264*x2^4*x4*x6^2 + 39274*x3^6 + 64789*x3^5*x4 + 19145*x3^4*x4^2 + 12658*x3^3*x4^3 + 19004*x3^2*x4^4 + 29407*x3*x4^5 + 19537*x4^6 + 4577*x1*x3^4*x5 + 55994*x2*x3^4*x5 + 22175*x1*x3^3*x4*x5 + 44548*x2*x3^3*x4*x5 + 41120*x1*x3^2*x4^2*x5 + 1505*x2*x3^2*x4^2*x5 + 41790*x1*x3*x4^3*x5 + 17255*x2*x3*x4^3*x5 + 43188*x1*x4^4*x5 + 7097*x2*x4^4*x5 + 55384*x1^2*x3^2*x5^2 + 32613*x1*x2*x3^2*x5^2 + 19604*x2^2*x3^2*x5^2 + 23508*x1^2*x3*x4*x5^2 + 35442*x1*x2*x3*x4*x5^2 + 2451*x2^2*x3*x4*x5^2 + 56207*x1^2*x4^2*x5^2 + 23190*x1*x2*x4^2*x5^2 + 26318*x2^2*x4^2*x5^2 + 5801*x1^3*x5^3 + 46433*x1^2*x2*x5^3 + 40933*x1*x2^2*x5^3 + 46391*x2^3*x5^3 + 62481*x1*x3^4*x6 + 42569*x2*x3^4*x6 + 27070*x1*x3^3*x4*x6 + 35905*x2*x3^3*x4*x6 + 36117*x1*x3^2*x4^2*x6 + 52063*x2*x3^2*x4^2*x6 + 45848*x1*x3*x4^3*x6 + 24111*x2*x3*x4^3*x6 + 58345*x1*x4^4*x6 + 62103*x2*x4^4*x6 + 30507*x1^2*x3^2*x5*x6 + 50273*x1*x2*x3^2*x5*x6 + 19768*x2^2*x3^2*x5*x6 + 3379*x1^2*x3*x4*x5*x6 + 10362*x1*x2*x3*x4*x5*x6 + 61620*x2^2*x3*x4*x5*x6 + 10156*x1^2*x4^2*x5*x6 + 27639*x1*x2*x4^2*x5*x6 + 13416*x2^2*x4^2*x5*x6 + 40831*x1^3*x5^2*x6 + 5355*x1^2*x2*x5^2*x6 + 16851*x1*x2^2*x5^2*x6 + 31113*x2^3*x5^2*x6 + 25234*x1^2*x3^2*x6^2 + 19149*x1*x2*x3^2*x6^2 + 61701*x2^2*x3^2*x6^2 + 64743*x1^2*x3*x4*x6^2 + 45636*x1*x2*x3*x4*x6^2 + 26163*x2^2*x3*x4*x6^2 + 12803*x1^2*x4^2*x6^2 + 19696*x1*x2*x4^2*x6^2 + 36185*x2^2*x4^2*x6^2 + 59376*x1^3*x5*x6^2 + 43957*x1^2*x2*x5*x6^2 + 18290*x1*x2^2*x5*x6^2 + 3409*x2^3*x5*x6^2 + 18002*x1^3*x6^3 + 37366*x1^2*x2*x6^3 + 14094*x1*x2^2*x6^3 + 48001*x2^3*x6^3 + 19567*x3^3*x5^2 + 45289*x3^2*x4*x5^2 + 22055*x3*x4^2*x5^2 + 39715*x4^3*x5^2 + 23515*x1*x3*x5^3 + 6006*x2*x3*x5^3 + 17688*x1*x4*x5^3 + 56352*x2*x4*x5^3 + 53239*x3^3*x5*x6 + 48873*x3^2*x4*x5*x6 + 48129*x3*x4^2*x5*x6 + 41794*x4^3*x5*x6 + 35046*x1*x3*x5^2*x6 + 56007*x2*x3*x5^2*x6 + 61554*x1*x4*x5^2*x6 + 4163*x2*x4*x5^2*x6 + 58562*x3^3*x6^2 + 7596*x3^2*x4*x6^2 + 59471*x3*x4^2*x6^2 + 26734*x4^3*x6^2 + 17423*x1*x3*x5*x6^2 + 15712*x2*x3*x5*x6^2 + 39724*x1*x4*x5*x6^2 + 23741*x2*x4*x5*x6^2 + 26658*x1*x3*x6^3 + 21830*x2*x3*x6^3 + 24129*x1*x4*x6^3 + 44238*x2*x4*x6^3 + 41534*x5^4 + 19551*x5^3*x6 + 44815*x5^2*x6^2 + 61713*x5*x6^3 + 59325*x6^4 +49471, 14297*x1^12 + 61175*x1^11*x2 + 60302*x1^10*x2^2 + 21265*x1^9*x2^3 + 24678*x1^8*x2^4 + 58718*x1^7*x2^5 + 24332*x1^6*x2^6 + 61688*x1^5*x2^7 + 35437*x1^4*x2^8 + 48778*x1^3*x2^9 + 20451*x1^2*x2^10 + 49592*x1*x2^11 + 43838*x2^12 + 4826*x1^10*x3 + 29465*x1^9*x2*x3 + 57717*x1^8*x2^2*x3 + 48567*x1^7*x2^3*x3 + 44476*x1^6*x2^4*x3 + 8325*x1^5*x2^5*x3 + 61247*x1^4*x2^6*x3 + 60213*x1^3*x2^7*x3 + 34996*x1^2*x2^8*x3 + 30949*x1*x2^9*x3 + 7894*x2^10*x3 + 30444*x1^10*x4 + 3128*x1^9*x2*x4 + 54709*x1^8*x2^2*x4 + 61541*x1^7*x2^3*x4 + 6329*x1^6*x2^4*x4 + 32490*x1^5*x2^5*x4 + 60717*x1^4*x2^6*x4 + 41342*x1^3*x2^7*x4 + 45146*x1^2*x2^8*x4 + 34132*x1*x2^9*x4 + 14386*x2^10*x4 + 28311*x1^8*x3^2 + 58265*x1^7*x2*x3^2 + 61538*x1^6*x2^2*x3^2 + 15980*x1^5*x2^3*x3^2 + 60496*x1^4*x2^4*x3^2 + 59339*x1^3*x2^5*x3^2 + 5539*x1^2*x2^6*x3^2 + 23728*x1*x2^7*x3^2 + 26003*x2^8*x3^2 + 21708*x1^8*x3*x4 + 55718*x1^7*x2*x3*x4 + 11741*x1^6*x2^2*x3*x4 + 25129*x1^5*x2^3*x3*x4 + 29405*x1^4*x2^4*x3*x4 + 39644*x1^3*x2^5*x3*x4 + 6920*x1^2*x2^6*x3*x4 + 47036*x1*x2^7*x3*x4 + 20294*x2^8*x3*x4 + 6199*x1^8*x4^2 + 36918*x1^7*x2*x4^2 + 42749*x1^6*x2^2*x4^2 + 46378*x1^5*x2^3*x4^2 + 52768*x1^4*x2^4*x4^2 + 59593*x1^3*x2^5*x4^2 + 26166*x1^2*x2^6*x4^2 + 28041*x1*x2^7*x4^2 + 33943*x2^8*x4^2 + 2522*x1^9*x5 + 50020*x1^8*x2*x5 + 29096*x1^7*x2^2*x5 + 65519*x1^6*x2^3*x5 + 38173*x1^5*x2^4*x5 + 53073*x1^4*x2^5*x5 + 27608*x1^3*x2^6*x5 + 16524*x1^2*x2^7*x5 + 65281*x1*x2^8*x5 + 35680*x2^9*x5 + 7681*x1^9*x6 + 41302*x1^8*x2*x6 + 38289*x1^7*x2^2*x6 + 33280*x1^6*x2^3*x6 + 30149*x1^5*x2^4*x6 + 12365*x1^4*x2^5*x6 + 32714*x1^3*x2^6*x6 + 59454*x1^2*x2^7*x6 + 44277*x1*x2^8*x6 + 59603*x2^9*x6 + 11728*x1^6*x3^3 + 55064*x1^5*x2*x3^3 + 58901*x1^4*x2^2*x3^3 + 26852*x1^3*x2^3*x3^3 + 60604*x1^2*x2^4*x3^3 + 20121*x1*x2^5*x3^3 + 13645*x2^6*x3^3 + 42959*x1^6*x3^2*x4 + 61883*x1^5*x2*x3^2*x4 + 63183*x1^4*x2^2*x3^2*x4 + 9557*x1^3*x2^3*x3^2*x4 + 41899*x1^2*x2^4*x3^2*x4 + 43645*x1*x2^5*x3^2*x4 + 40248*x2^6*x3^2*x4 + 60814*x1^6*x3*x4^2 + 25078*x1^5*x2*x3*x4^2 + 8947*x1^4*x2^2*x3*x4^2 + 17053*x1^3*x2^3*x3*x4^2 + 14949*x1^2*x2^4*x3*x4^2 + 38625*x1*x2^5*x3*x4^2 + 27892*x2^6*x3*x4^2 + 61714*x1^6*x4^3 + 13181*x1^5*x2*x4^3 + 44550*x1^4*x2^2*x4^3 + 2803*x1^3*x2^3*x4^3 + 48699*x1^2*x2^4*x4^3 + 23839*x1*x2^5*x4^3 + 90*x2^6*x4^3 + 30731*x1^7*x3*x5 + 4560*x1^6*x2*x3*x5 + 13115*x1^5*x2^2*x3*x5 + 26524*x1^4*x2^3*x3*x5 + 34212*x1^3*x2^4*x3*x5 + 58954*x1^2*x2^5*x3*x5 + 60410*x1*x2^6*x3*x5 + 43433*x2^7*x3*x5 + 47881*x1^7*x4*x5 + 21251*x1^6*x2*x4*x5 + 9002*x1^5*x2^2*x4*x5 + 52425*x1^4*x2^3*x4*x5 + 45605*x1^3*x2^4*x4*x5 + 26312*x1^2*x2^5*x4*x5 + 48667*x1*x2^6*x4*x5 + 15252*x2^7*x4*x5 + 52249*x1^7*x3*x6 + 20569*x1^6*x2*x3*x6 + 49012*x1^5*x2^2*x3*x6 + 59750*x1^4*x2^3*x3*x6 + 30408*x1^3*x2^4*x3*x6 + 31606*x1^2*x2^5*x3*x6 + 13996*x1*x2^6*x3*x6 + 36871*x2^7*x3*x6 + 9304*x1^7*x4*x6 + 5268*x1^6*x2*x4*x6 + 54483*x1^5*x2^2*x4*x6 + 60505*x1^4*x2^3*x4*x6 + 64922*x1^3*x2^4*x4*x6 + 22791*x1^2*x2^5*x4*x6 + 24097*x1*x2^6*x4*x6 + 11022*x2^7*x4*x6 + 45353*x1^4*x3^4 + 38169*x1^3*x2*x3^4 + 43831*x1^2*x2^2*x3^4 + 38468*x1*x2^3*x3^4 + 27351*x2^4*x3^4 + 16453*x1^4*x3^3*x4 + 20965*x1^3*x2*x3^3*x4 + 38701*x1^2*x2^2*x3^3*x4 + 39332*x1*x2^3*x3^3*x4 + 53842*x2^4*x3^3*x4 + 53217*x1^4*x3^2*x4^2 + 2415*x1^3*x2*x3^2*x4^2 + 49518*x1^2*x2^2*x3^2*x4^2 + 4410*x1*x2^3*x3^2*x4^2 + 27647*x2^4*x3^2*x4^2 + 17642*x1^4*x3*x4^3 + 41453*x1^3*x2*x3*x4^3 + 24055*x1^2*x2^2*x3*x4^3 + 44607*x1*x2^3*x3*x4^3 + 54887*x2^4*x3*x4^3 + 39783*x1^4*x4^4 + 24408*x1^3*x2*x4^4 + 63306*x1^2*x2^2*x4^4 + 25503*x1*x2^3*x4^4 + 10994*x2^4*x4^4 + 36632*x1^5*x3^2*x5 + 31762*x1^4*x2*x3^2*x5 + 48437*x1^3*x2^2*x3^2*x5 + 27185*x1^2*x2^3*x3^2*x5 + 31975*x1*x2^4*x3^2*x5 + 59307*x2^5*x3^2*x5 + 24480*x1^5*x3*x4*x5 + 40001*x1^4*x2*x3*x4*x5 + 36681*x1^3*x2^2*x3*x4*x5 + 44998*x1^2*x2^3*x3*x4*x5 + 64741*x1*x2^4*x3*x4*x5 + 64838*x2^5*x3*x4*x5 + 18857*x1^5*x4^2*x5 + 14640*x1^4*x2*x4^2*x5 + 61115*x1^3*x2^2*x4^2*x5 + 32719*x1^2*x2^3*x4^2*x5 + 17896*x1*x2^4*x4^2*x5 + 20210*x2^5*x4^2*x5 + 53198*x1^6*x5^2 + 65302*x1^5*x2*x5^2 + 18655*x1^4*x2^2*x5^2 + 26297*x1^3*x2^3*x5^2 + 61750*x1^2*x2^4*x5^2 + 17566*x1*x2^5*x5^2 + 41915*x2^6*x5^2 + 23069*x1^5*x3^2*x6 + 16545*x1^4*x2*x3^2*x6 + 64681*x1^3*x2^2*x3^2*x6 + 52013*x1^2*x2^3*x3^2*x6 + 48175*x1*x2^4*x3^2*x6 + 35946*x2^5*x3^2*x6 + 44516*x1^5*x3*x4*x6 + 1008*x1^4*x2*x3*x4*x6 + 47148*x1^3*x2^2*x3*x4*x6 + 62798*x1^2*x2^3*x3*x4*x6 + 11519*x1*x2^4*x3*x4*x6 + 53533*x2^5*x3*x4*x6 + 37056*x1^5*x4^2*x6 + 20073*x1^4*x2*x4^2*x6 + 59197*x1^3*x2^2*x4^2*x6 + 32634*x1^2*x2^3*x4^2*x6 + 37139*x1*x2^4*x4^2*x6 + 42710*x2^5*x4^2*x6 + 19696*x1^6*x5*x6 + 64134*x1^5*x2*x5*x6 + 44563*x1^4*x2^2*x5*x6 + 11612*x1^3*x2^3*x5*x6 + 58017*x1^2*x2^4*x5*x6 + 11588*x1*x2^5*x5*x6 + 9952*x2^6*x5*x6 + 2741*x1^6*x6^2 + 65012*x1^5*x2*x6^2 + 30190*x1^4*x2^2*x6^2 + 50220*x1^3*x2^3*x6^2 + 36430*x1^2*x2^4*x6^2 + 49268*x1*x2^5*x6^2 + 54596*x2^6*x6^2 + 24564*x1^2*x3^5 + 53927*x1*x2*x3^5 + 1205*x2^2*x3^5 + 26133*x1^2*x3^4*x4 + 45970*x1*x2*x3^4*x4 + 53589*x2^2*x3^4*x4 + 13796*x1^2*x3^3*x4^2 + 30042*x1*x2*x3^3*x4^2 + 41959*x2^2*x3^3*x4^2 + 24466*x1^2*x3^2*x4^3 + 9913*x1*x2*x3^2*x4^3 + 12756*x2^2*x3^2*x4^3 + 45198*x1^2*x3*x4^4 + 61987*x1*x2*x3*x4^4 + 23215*x2^2*x3*x4^4 + 30925*x1^2*x4^5 + 7768*x1*x2*x4^5 + 36617*x2^2*x4^5 + 14791*x1^3*x3^3*x5 + 35114*x1^2*x2*x3^3*x5 + 44305*x1*x2^2*x3^3*x5 + 50526*x2^3*x3^3*x5 + 10886*x1^3*x3^2*x4*x5 + 15844*x1^2*x2*x3^2*x4*x5 + 42716*x1*x2^2*x3^2*x4*x5 + 38308*x2^3*x3^2*x4*x5 + 25550*x1^3*x3*x4^2*x5 + 12781*x1^2*x2*x3*x4^2*x5 + 46808*x1*x2^2*x3*x4^2*x5 + 28892*x2^3*x3*x4^2*x5 + 27851*x1^3*x4^3*x5 + 6753*x1^2*x2*x4^3*x5 + 6978*x1*x2^2*x4^3*x5 + 53907*x2^3*x4^3*x5 + 62083*x1^4*x3*x5^2 + 34868*x1^3*x2*x3*x5^2 + 4769*x1^2*x2^2*x3*x5^2 + 21346*x1*x2^3*x3*x5^2 + 53874*x2^4*x3*x5^2 + 20051*x1^4*x4*x5^2 + 30227*x1^3*x2*x4*x5^2 + 10603*x1^2*x2^2*x4*x5^2 + 24812*x1*x2^3*x4*x5^2 + 46914*x2^4*x4*x5^2 + 6507*x1^3*x3^3*x6 + 51768*x1^2*x2*x3^3*x6 + 29905*x1*x2^2*x3^3*x6 + 24436*x2^3*x3^3*x6 + 41841*x1^3*x3^2*x4*x6 + 50913*x1^2*x2*x3^2*x4*x6 + 19350*x1*x2^2*x3^2*x4*x6 + 5255*x2^3*x3^2*x4*x6 + 12826*x1^3*x3*x4^2*x6 + 17862*x1^2*x2*x3*x4^2*x6 + 24125*x1*x2^2*x3*x4^2*x6 + 25*x2^3*x3*x4^2*x6 + 27264*x1^3*x4^3*x6 + 5080*x1^2*x2*x4^3*x6 + 50312*x1*x2^2*x4^3*x6 + 29749*x2^3*x4^3*x6 + 64226*x1^4*x3*x5*x6 + 60259*x1^3*x2*x3*x5*x6 + 24455*x1^2*x2^2*x3*x5*x6 + 9684*x1*x2^3*x3*x5*x6 + 5468*x2^4*x3*x5*x6 + 30028*x1^4*x4*x5*x6 + 16685*x1^3*x2*x4*x5*x6 + 40026*x1^2*x2^2*x4*x5*x6 + 45238*x1*x2^3*x4*x5*x6 + 58859*x2^4*x4*x5*x6 + 53395*x1^4*x3*x6^2 + 53988*x1^3*x2*x3*x6^2 + 9473*x1^2*x2^2*x3*x6^2 + 38707*x1*x2^3*x3*x6^2 + 50053*x2^4*x3*x6^2 + 46447*x1^4*x4*x6^2 + 26600*x1^3*x2*x4*x6^2 + 50365*x1^2*x2^2*x4*x6^2 + 52031*x1*x2^3*x4*x6^2 + 42054*x2^4*x4*x6^2 + 51875*x3^6 + 42645*x3^5*x4 + 6446*x3^4*x4^2 + 15434*x3^3*x4^3 + 35568*x3^2*x4^4 + 46985*x3*x4^5 + 29610*x4^6 + 19502*x1*x3^4*x5 + 36488*x2*x3^4*x5 + 50844*x1*x3^3*x4*x5 + 14998*x2*x3^3*x4*x5 + 37357*x1*x3^2*x4^2*x5 + 24385*x2*x3^2*x4^2*x5 + 48045*x1*x3*x4^3*x5 + 16335*x2*x3*x4^3*x5 + 32721*x1*x4^4*x5 + 16478*x2*x4^4*x5 + 61185*x1^2*x3^2*x5^2 + 40589*x1*x2*x3^2*x5^2 + 57839*x2^2*x3^2*x5^2 + 46631*x1^2*x3*x4*x5^2 + 7469*x1*x2*x3*x4*x5^2 + 41071*x2^2*x3*x4*x5^2 + 62399*x1^2*x4^2*x5^2 + 9642*x1*x2*x4^2*x5^2 + 30859*x2^2*x4^2*x5^2 + 5243*x1^3*x5^3 + 3144*x1^2*x2*x5^3 + 9817*x1*x2^2*x5^3 + 60171*x2^3*x5^3 + 52471*x1*x3^4*x6 + 27913*x2*x3^4*x6 + 43905*x1*x3^3*x4*x6 + 9356*x2*x3^3*x4*x6 + 60185*x1*x3^2*x4^2*x6 + 48556*x2*x3^2*x4^2*x6 + 17849*x1*x3*x4^3*x6 + 52552*x2*x3*x4^3*x6 + 56505*x1*x4^4*x6 + 5159*x2*x4^4*x6 + 64531*x1^2*x3^2*x5*x6 + 59191*x1*x2*x3^2*x5*x6 + 4182*x2^2*x3^2*x5*x6 + 49468*x1^2*x3*x4*x5*x6 + 28273*x1*x2*x3*x4*x5*x6 + 22500*x2^2*x3*x4*x5*x6 + 1336*x1^2*x4^2*x5*x6 + 10095*x1*x2*x4^2*x5*x6 + 53117*x2^2*x4^2*x5*x6 + 48597*x1^3*x5^2*x6 + 44928*x1^2*x2*x5^2*x6 + 35707*x1*x2^2*x5^2*x6 + 22403*x2^3*x5^2*x6 + 9692*x1^2*x3^2*x6^2 + 44883*x1*x2*x3^2*x6^2 + 27647*x2^2*x3^2*x6^2 + 9760*x1^2*x3*x4*x6^2 + 10837*x1*x2*x3*x4*x6^2 + 53641*x2^2*x3*x4*x6^2 + 25225*x1^2*x4^2*x6^2 + 6208*x1*x2*x4^2*x6^2 + 51555*x2^2*x4^2*x6^2 + 32994*x1^3*x5*x6^2 + 15496*x1^2*x2*x5*x6^2 + 58484*x1*x2^2*x5*x6^2 + 25614*x2^3*x5*x6^2 + 12860*x1^3*x6^3 + 19180*x1^2*x2*x6^3 + 6063*x1*x2^2*x6^3 + 56945*x2^3*x6^3 + 41393*x3^3*x5^2 + 26910*x3^2*x4*x5^2 + 24949*x3*x4^2*x5^2 + 39557*x4^3*x5^2 + 42687*x1*x3*x5^3 + 37403*x2*x3*x5^3 + 21589*x1*x4*x5^3 + 47338*x2*x4*x5^3 + 53564*x3^3*x5*x6 + 55004*x3^2*x4*x5*x6 + 31050*x3*x4^2*x5*x6 + 21151*x4^3*x5*x6 + 60454*x1*x3*x5^2*x6 + 1594*x2*x3*x5^2*x6 + 45481*x1*x4*x5^2*x6 + 64290*x2*x4*x5^2*x6 + 14095*x3^3*x6^2 + 42882*x3^2*x4*x6^2 + 6426*x3*x4^2*x6^2 + 49860*x4^3*x6^2 + 24842*x1*x3*x5*x6^2 + 28433*x2*x3*x5*x6^2 + 19156*x1*x4*x5*x6^2 + 49688*x2*x4*x5*x6^2 + 5190*x1*x3*x6^3 + 13576*x2*x3*x6^3 + 23317*x1*x4*x6^3 + 3755*x2*x4*x6^3 + 42079*x5^4 + 30153*x5^3*x6 + 49843*x5^2*x6^2 + 16605*x5*x6^3 + 43818*x6^4 +16749, 60306*x1^12 + 62371*x1^11*x2 + 20363*x1^10*x2^2 + 16425*x1^9*x2^3 + 42202*x1^8*x2^4 + 16075*x1^7*x2^5 + 8505*x1^6*x2^6 + 26278*x1^5*x2^7 + 53424*x1^4*x2^8 + 18842*x1^3*x2^9 + 3323*x1^2*x2^10 + 52732*x1*x2^11 + 8055*x2^12 + 30564*x1^10*x3 + 12596*x1^9*x2*x3 + 42483*x1^8*x2^2*x3 + 34915*x1^7*x2^3*x3 + 47696*x1^6*x2^4*x3 + 60564*x1^5*x2^5*x3 + 24834*x1^4*x2^6*x3 + 49143*x1^3*x2^7*x3 + 30443*x1^2*x2^8*x3 + 33514*x1*x2^9*x3 + 22418*x2^10*x3 + 54018*x1^10*x4 + 47916*x1^9*x2*x4 + 39987*x1^8*x2^2*x4 + 22785*x1^7*x2^3*x4 + 60257*x1^6*x2^4*x4 + 13968*x1^5*x2^5*x4 + 22333*x1^4*x2^6*x4 + 49372*x1^3*x2^7*x4 + 55550*x1^2*x2^8*x4 + 1545*x1*x2^9*x4 + 45317*x2^10*x4 + 11774*x1^8*x3^2 + 58460*x1^7*x2*x3^2 + 43465*x1^6*x2^2*x3^2 + 21618*x1^5*x2^3*x3^2 + 63608*x1^4*x2^4*x3^2 + 28164*x1^3*x2^5*x3^2 + 59951*x1^2*x2^6*x3^2 + 38555*x1*x2^7*x3^2 + 4342*x2^8*x3^2 + 38048*x1^8*x3*x4 + 25266*x1^7*x2*x3*x4 + 57006*x1^6*x2^2*x3*x4 + 48180*x1^5*x2^3*x3*x4 + 46146*x1^4*x2^4*x3*x4 + 57492*x1^3*x2^5*x3*x4 + 14*x1^2*x2^6*x3*x4 + 43516*x1*x2^7*x3*x4 + 37465*x2^8*x3*x4 + 25705*x1^8*x4^2 + 63565*x1^7*x2*x4^2 + 30602*x1^6*x2^2*x4^2 + 31166*x1^5*x2^3*x4^2 + 10407*x1^4*x2^4*x4^2 + 13924*x1^3*x2^5*x4^2 + 19630*x1^2*x2^6*x4^2 + 51960*x1*x2^7*x4^2 + 64348*x2^8*x4^2 + 59883*x1^9*x5 + 62124*x1^8*x2*x5 + 19678*x1^7*x2^2*x5 + 16411*x1^6*x2^3*x5 + 416*x1^5*x2^4*x5 + 65212*x1^4*x2^5*x5 + 56208*x1^3*x2^6*x5 + 60671*x1^2*x2^7*x5 + 31103*x1*x2^8*x5 + 12889*x2^9*x5 + 29156*x1^9*x6 + 33882*x1^8*x2*x6 + 14509*x1^7*x2^2*x6 + 3534*x1^6*x2^3*x6 + 46899*x1^5*x2^4*x6 + 60031*x1^4*x2^5*x6 + 22532*x1^3*x2^6*x6 + 27962*x1^2*x2^7*x6 + 12927*x1*x2^8*x6 + 50851*x2^9*x6 + 52971*x1^6*x3^3 + 45038*x1^5*x2*x3^3 + 34427*x1^4*x2^2*x3^3 + 59003*x1^3*x2^3*x3^3 + 2037*x1^2*x2^4*x3^3 + 10901*x1*x2^5*x3^3 + 17997*x2^6*x3^3 + 18717*x1^6*x3^2*x4 + 8220*x1^5*x2*x3^2*x4 + 18140*x1^4*x2^2*x3^2*x4 + 21749*x1^3*x2^3*x3^2*x4 + 47251*x1^2*x2^4*x3^2*x4 + 9141*x1*x2^5*x3^2*x4 + 37378*x2^6*x3^2*x4 + 36339*x1^6*x3*x4^2 + 259*x1^5*x2*x3*x4^2 + 38614*x1^4*x2^2*x3*x4^2 + 18922*x1^3*x2^3*x3*x4^2 + 60802*x1^2*x2^4*x3*x4^2 + 170*x1*x2^5*x3*x4^2 + 29207*x2^6*x3*x4^2 + 10948*x1^6*x4^3 + 44808*x1^5*x2*x4^3 + 25780*x1^4*x2^2*x4^3 + 47528*x1^3*x2^3*x4^3 + 64233*x1^2*x2^4*x4^3 + 13608*x1*x2^5*x4^3 + 30655*x2^6*x4^3 + 39072*x1^7*x3*x5 + 16451*x1^6*x2*x3*x5 + 13316*x1^5*x2^2*x3*x5 + 52603*x1^4*x2^3*x3*x5 + 63059*x1^3*x2^4*x3*x5 + 4918*x1^2*x2^5*x3*x5 + 15586*x1*x2^6*x3*x5 + 61257*x2^7*x3*x5 + 22754*x1^7*x4*x5 + 8864*x1^6*x2*x4*x5 + 15385*x1^5*x2^2*x4*x5 + 38764*x1^4*x2^3*x4*x5 + 19705*x1^3*x2^4*x4*x5 + 61168*x1^2*x2^5*x4*x5 + 46926*x1*x2^6*x4*x5 + 833*x2^7*x4*x5 + 39804*x1^7*x3*x6 + 14981*x1^6*x2*x3*x6 + 10040*x1^5*x2^2*x3*x6 + 508*x1^4*x2^3*x3*x6 + 48187*x1^3*x2^4*x3*x6 + 24022*x1^2*x2^5*x3*x6 + 38809*x1*x2^6*x3*x6 + 46351*x2^7*x3*x6 + 11773*x1^7*x4*x6 + 52894*x1^6*x2*x4*x6 + 36481*x1^5*x2^2*x4*x6 + 53932*x1^4*x2^3*x4*x6 + 58104*x1^3*x2^4*x4*x6 + 48448*x1^2*x2^5*x4*x6 + 29284*x1*x2^6*x4*x6 + 64137*x2^7*x4*x6 + 39026*x1^4*x3^4 + 57087*x1^3*x2*x3^4 + 52995*x1^2*x2^2*x3^4 + 5877*x1*x2^3*x3^4 + 24498*x2^4*x3^4 + 59509*x1^4*x3^3*x4 + 24484*x1^3*x2*x3^3*x4 + 36037*x1^2*x2^2*x3^3*x4 + 59154*x1*x2^3*x3^3*x4 + 52659*x2^4*x3^3*x4 + 840*x1^4*x3^2*x4^2 + 28018*x1^3*x2*x3^2*x4^2 + 50379*x1^2*x2^2*x3^2*x4^2 + 18034*x1*x2^3*x3^2*x4^2 + 31129*x2^4*x3^2*x4^2 + 2298*x1^4*x3*x4^3 + 38285*x1^3*x2*x3*x4^3 + 7440*x1^2*x2^2*x3*x4^3 + 26315*x1*x2^3*x3*x4^3 + 30273*x2^4*x3*x4^3 + 62777*x1^4*x4^4 + 61841*x1^3*x2*x4^4 + 3586*x1^2*x2^2*x4^4 + 36755*x1*x2^3*x4^4 + 64632*x2^4*x4^4 + 1287*x1^5*x3^2*x5 + 32693*x1^4*x2*x3^2*x5 + 6858*x1^3*x2^2*x3^2*x5 + 1479*x1^2*x2^3*x3^2*x5 + 5990*x1*x2^4*x3^2*x5 + 4589*x2^5*x3^2*x5 + 32404*x1^5*x3*x4*x5 + 44435*x1^4*x2*x3*x4*x5 + 61491*x1^3*x2^2*x3*x4*x5 + 64617*x1^2*x2^3*x3*x4*x5 + 54231*x1*x2^4*x3*x4*x5 + 38239*x2^5*x3*x4*x5 + 30698*x1^5*x4^2*x5 + 13853*x1^4*x2*x4^2*x5 + 28670*x1^3*x2^2*x4^2*x5 + 60821*x1^2*x2^3*x4^2*x5 + 16094*x1*x2^4*x4^2*x5 + 9592*x2^5*x4^2*x5 + 38321*x1^6*x5^2 + 56837*x1^5*x2*x5^2 + 20797*x1^4*x2^2*x5^2 + 34077*x1^3*x2^3*x5^2 + 63411*x1^2*x2^4*x5^2 + 37696*x1*x2^5*x5^2 + 7715*x2^6*x5^2 + 38708*x1^5*x3^2*x6 + 31719*x1^4*x2*x3^2*x6 + 35066*x1^3*x2^2*x3^2*x6 + 12069*x1^2*x2^3*x3^2*x6 + 36397*x1*x2^4*x3^2*x6 + 56059*x2^5*x3^2*x6 + 31584*x1^5*x3*x4*x6 + 19129*x1^4*x2*x3*x4*x6 + 38370*x1^3*x2^2*x3*x4*x6 + 61332*x1^2*x2^3*x3*x4*x6 + 3549*x1*x2^4*x3*x4*x6 + 45589*x2^5*x3*x4*x6 + 63512*x1^5*x4^2*x6 + 21726*x1^4*x2*x4^2*x6 + 41166*x1^3*x2^2*x4^2*x6 + 46709*x1^2*x2^3*x4^2*x6 + 55020*x1*x2^4*x4^2*x6 + 43321*x2^5*x4^2*x6 + 45112*x1^6*x5*x6 + 56790*x1^5*x2*x5*x6 + 38934*x1^4*x2^2*x5*x6 + 8408*x1^3*x2^3*x5*x6 + 2167*x1^2*x2^4*x5*x6 + 38563*x1*x2^5*x5*x6 + 7775*x2^6*x5*x6 + 24076*x1^6*x6^2 + 42866*x1^5*x2*x6^2 + 5229*x1^4*x2^2*x6^2 + 6788*x1^3*x2^3*x6^2 + 19124*x1^2*x2^4*x6^2 + 47652*x1*x2^5*x6^2 + 4423*x2^6*x6^2 + 39010*x1^2*x3^5 + 55526*x1*x2*x3^5 + 38181*x2^2*x3^5 + 23533*x1^2*x3^4*x4 + 43078*x1*x2*x3^4*x4 + 49847*x2^2*x3^4*x4 + 35598*x1^2*x3^3*x4^2 + 26431*x1*x2*x3^3*x4^2 + 39046*x2^2*x3^3*x4^2 + 54506*x1^2*x3^2*x4^3 + 19658*x1*x2*x3^2*x4^3 + 36793*x2^2*x3^2*x4^3 + 7017*x1^2*x3*x4^4 + 43378*x1*x2*x3*x4^4 + 17836*x2^2*x3*x4^4 + 30727*x1^2*x4^5 + 8555*x1*x2*x4^5 + 41562*x2^2*x4^5 + 25492*x1^3*x3^3*x5 + 47646*x1^2*x2*x3^3*x5 + 33023*x1*x2^2*x3^3*x5 + 45129*x2^3*x3^3*x5 + 16883*x1^3*x3^2*x4*x5 + 17068*x1^2*x2*x3^2*x4*x5 + 11591*x1*x2^2*x3^2*x4*x5 + 36095*x2^3*x3^2*x4*x5 + 53741*x1^3*x3*x4^2*x5 + 10126*x1^2*x2*x3*x4^2*x5 + 16407*x1*x2^2*x3*x4^2*x5 + 16921*x2^3*x3*x4^2*x5 + 47127*x1^3*x4^3*x5 + 40376*x1^2*x2*x4^3*x5 + 63684*x1*x2^2*x4^3*x5 + 28926*x2^3*x4^3*x5 + 2147*x1^4*x3*x5^2 + 58174*x1^3*x2*x3*x5^2 + 47030*x1^2*x2^2*x3*x5^2 + 33818*x1*x2^3*x3*x5^2 + 2939*x2^4*x3*x5^2 + 63678*x1^4*x4*x5^2 + 10363*x1^3*x2*x4*x5^2 + 62625*x1^2*x2^2*x4*x5^2 + 24236*x1*x2^3*x4*x5^2 + 32356*x2^4*x4*x5^2 + 48639*x1^3*x3^3*x6 + 23968*x1^2*x2*x3^3*x6 + 16983*x1*x2^2*x3^3*x6 + 59476*x2^3*x3^3*x6 + 11213*x1^3*x3^2*x4*x6 + 34039*x1^2*x2*x3^2*x4*x6 + 7192*x1*x2^2*x3^2*x4*x6 + 32596*x2^3*x3^2*x4*x6 + 41699*x1^3*x3*x4^2*x6 + 50470*x1^2*x2*x3*x4^2*x6 + 34070*x1*x2^2*x3*x4^2*x6 + 37775*x2^3*x3*x4^2*x6 + 8377*x1^3*x4^3*x6 + 26018*x1^2*x2*x4^3*x6 + 20300*x1*x2^2*x4^3*x6 + 46876*x2^3*x4^3*x6 + 15099*x1^4*x3*x5*x6 + 59462*x1^3*x2*x3*x5*x6 + 37382*x1^2*x2^2*x3*x5*x6 + 49559*x1*x2^3*x3*x5*x6 + 12668*x2^4*x3*x5*x6 + 55242*x1^4*x4*x5*x6 + 62117*x1^3*x2*x4*x5*x6 + 13435*x1^2*x2^2*x4*x5*x6 + 60252*x1*x2^3*x4*x5*x6 + 5853*x2^4*x4*x5*x6 + 29997*x1^4*x3*x6^2 + 17870*x1^3*x2*x3*x6^2 + 51686*x1^2*x2^2*x3*x6^2 + 28636*x1*x2^3*x3*x6^2 + 23338*x2^4*x3*x6^2 + 20908*x1^4*x4*x6^2 + 16795*x1^3*x2*x4*x6^2 + 32098*x1^2*x2^2*x4*x6^2 + 36667*x1*x2^3*x4*x6^2 + 12550*x2^4*x4*x6^2 + 49795*x3^6 + 34912*x3^5*x4 + 52702*x3^4*x4^2 + 29400*x3^3*x4^3 + 47303*x3^2*x4^4 + 726*x3*x4^5 + 2478*x4^6 + 17885*x1*x3^4*x5 + 63110*x2*x3^4*x5 + 1049*x1*x3^3*x4*x5 + 40735*x2*x3^3*x4*x5 + 16160*x1*x3^2*x4^2*x5 + 2526*x2*x3^2*x4^2*x5 + 51589*x1*x3*x4^3*x5 + 29612*x2*x3*x4^3*x5 + 57454*x1*x4^4*x5 + 41961*x2*x4^4*x5 + 30647*x1^2*x3^2*x5^2 + 2210*x1*x2*x3^2*x5^2 + 21692*x2^2*x3^2*x5^2 + 41951*x1^2*x3*x4*x5^2 + 11815*x1*x2*x3*x4*x5^2 + 15163*x2^2*x3*x4*x5^2 + 51700*x1^2*x4^2*x5^2 + 52601*x1*x2*x4^2*x5^2 + 49367*x2^2*x4^2*x5^2 + 5291*x1^3*x5^3 + 33795*x1^2*x2*x5^3 + 26213*x1*x2^2*x5^3 + 34106*x2^3*x5^3 + 41225*x1*x3^4*x6 + 54442*x2*x3^4*x6 + 59418*x1*x3^3*x4*x6 + 9874*x2*x3^3*x4*x6 + 450*x1*x3^2*x4^2*x6 + 5215*x2*x3^2*x4^2*x6 + 17940*x1*x3*x4^3*x6 + 14275*x2*x3*x4^3*x6 + 52283*x1*x4^4*x6 + 56462*x2*x4^4*x6 + 15647*x1^2*x3^2*x5*x6 + 14667*x1*x2*x3^2*x5*x6 + 44512*x2^2*x3^2*x5*x6 + 45317*x1^2*x3*x4*x5*x6 + 46901*x1*x2*x3*x4*x5*x6 + 54411*x2^2*x3*x4*x5*x6 + 8653*x1^2*x4^2*x5*x6 + 30635*x1*x2*x4^2*x5*x6 + 32224*x2^2*x4^2*x5*x6 + 52084*x1^3*x5^2*x6 + 22327*x1^2*x2*x5^2*x6 + 14387*x1*x2^2*x5^2*x6 + 41723*x2^3*x5^2*x6 + 323*x1^2*x3^2*x6^2 + 36682*x1*x2*x3^2*x6^2 + 30379*x2^2*x3^2*x6^2 + 26059*x1^2*x3*x4*x6^2 + 48449*x1*x2*x3*x4*x6^2 + 53831*x2^2*x3*x4*x6^2 + 32416*x1^2*x4^2*x6^2 + 13499*x1*x2*x4^2*x6^2 + 32869*x2^2*x4^2*x6^2 + 13739*x1^3*x5*x6^2 + 2954*x1^2*x2*x5*x6^2 + 43878*x1*x2^2*x5*x6^2 + 44888*x2^3*x5*x6^2 + 15364*x1^3*x6^3 + 40514*x1^2*x2*x6^3 + 29507*x1*x2^2*x6^3 + 46375*x2^3*x6^3 + 60586*x3^3*x5^2 + 50309*x3^2*x4*x5^2 + 53337*x3*x4^2*x5^2 + 15311*x4^3*x5^2 + 5776*x1*x3*x5^3 + 36708*x2*x3*x5^3 + 7119*x1*x4*x5^3 + 61793*x2*x4*x5^3 + 52780*x3^3*x5*x6 + 28530*x3^2*x4*x5*x6 + 53978*x3*x4^2*x5*x6 + 2486*x4^3*x5*x6 + 34688*x1*x3*x5^2*x6 + 41560*x2*x3*x5^2*x6 + 44892*x1*x4*x5^2*x6 + 58626*x2*x4*x5^2*x6 + 57440*x3^3*x6^2 + 4422*x3^2*x4*x6^2 + 8550*x3*x4^2*x6^2 + 6149*x4^3*x6^2 + 33454*x1*x3*x5*x6^2 + 41773*x2*x3*x5*x6^2 + 65482*x1*x4*x5*x6^2 + 54400*x2*x4*x5*x6^2 + 2969*x1*x3*x6^3 + 3888*x2*x3*x6^3 + 47847*x1*x4*x6^3 + 27402*x2*x4*x6^3 + 33490*x5^4 + 47652*x5^3*x6 + 36195*x5^2*x6^2 + 14444*x5*x6^3 + 32233*x6^4 +34935, 28313*x1^12 + 13807*x1^11*x2 + 57498*x1^10*x2^2 + 52512*x1^9*x2^3 + 16585*x1^8*x2^4 + 47042*x1^7*x2^5 + 55853*x1^6*x2^6 + 38071*x1^5*x2^7 + 63117*x1^4*x2^8 + 48091*x1^3*x2^9 + 51550*x1^2*x2^10 + 22652*x1*x2^11 + 59282*x2^12 + 45507*x1^10*x3 + 61545*x1^9*x2*x3 + 27699*x1^8*x2^2*x3 + 38435*x1^7*x2^3*x3 + 10447*x1^6*x2^4*x3 + 27389*x1^5*x2^5*x3 + 47945*x1^4*x2^6*x3 + 37881*x1^3*x2^7*x3 + 8906*x1^2*x2^8*x3 + 14868*x1*x2^9*x3 + 54727*x2^10*x3 + 61119*x1^10*x4 + 10949*x1^9*x2*x4 + 34162*x1^8*x2^2*x4 + 37567*x1^7*x2^3*x4 + 38363*x1^6*x2^4*x4 + 21714*x1^5*x2^5*x4 + 50825*x1^4*x2^6*x4 + 50564*x1^3*x2^7*x4 + 59565*x1^2*x2^8*x4 + 27293*x1*x2^9*x4 + 971*x2^10*x4 + 58940*x1^8*x3^2 + 15754*x1^7*x2*x3^2 + 51295*x1^6*x2^2*x3^2 + 22022*x1^5*x2^3*x3^2 + 36884*x1^4*x2^4*x3^2 + 31532*x1^3*x2^5*x3^2 + 29915*x1^2*x2^6*x3^2 + 31032*x1*x2^7*x3^2 + 55187*x2^8*x3^2 + 37700*x1^8*x3*x4 + 50792*x1^7*x2*x3*x4 + 30950*x1^6*x2^2*x3*x4 + 50758*x1^5*x2^3*x3*x4 + 55107*x1^4*x2^4*x3*x4 + 46050*x1^3*x2^5*x3*x4 + 51748*x1^2*x2^6*x3*x4 + 8949*x1*x2^7*x3*x4 + 36626*x2^8*x3*x4 + 19760*x1^8*x4^2 + 32886*x1^7*x2*x4^2 + 3000*x1^6*x2^2*x4^2 + 56735*x1^5*x2^3*x4^2 + 25825*x1^4*x2^4*x4^2 + 21742*x1^3*x2^5*x4^2 + 8419*x1^2*x2^6*x4^2 + 49332*x1*x2^7*x4^2 + 18450*x2^8*x4^2 + 55012*x1^9*x5 + 42328*x1^8*x2*x5 + 56140*x1^7*x2^2*x5 + 21423*x1^6*x2^3*x5 + 17432*x1^5*x2^4*x5 + 34731*x1^4*x2^5*x5 + 65317*x1^3*x2^6*x5 + 33013*x1^2*x2^7*x5 + 63985*x1*x2^8*x5 + 28538*x2^9*x5 + 20556*x1^9*x6 + 40015*x1^8*x2*x6 + 40134*x1^7*x2^2*x6 + 51310*x1^6*x2^3*x6 + 52473*x1^5*x2^4*x6 + 10608*x1^4*x2^5*x6 + 34660*x1^3*x2^6*x6 + 3665*x1^2*x2^7*x6 + 39351*x1*x2^8*x6 + 17433*x2^9*x6 + 50250*x1^6*x3^3 + 29098*x1^5*x2*x3^3 + 64135*x1^4*x2^2*x3^3 + 36737*x1^3*x2^3*x3^3 + 26978*x1^2*x2^4*x3^3 + 13552*x1*x2^5*x3^3 + 13478*x2^6*x3^3 + 33316*x1^6*x3^2*x4 + 17877*x1^5*x2*x3^2*x4 + 61739*x1^4*x2^2*x3^2*x4 + 11448*x1^3*x2^3*x3^2*x4 + 47738*x1^2*x2^4*x3^2*x4 + 62287*x1*x2^5*x3^2*x4 + 6363*x2^6*x3^2*x4 + 34422*x1^6*x3*x4^2 + 41417*x1^5*x2*x3*x4^2 + 5977*x1^4*x2^2*x3*x4^2 + 25839*x1^3*x2^3*x3*x4^2 + 40991*x1^2*x2^4*x3*x4^2 + 31052*x1*x2^5*x3*x4^2 + 64560*x2^6*x3*x4^2 + 61496*x1^6*x4^3 + 24150*x1^5*x2*x4^3 + 36708*x1^4*x2^2*x4^3 + 61353*x1^3*x2^3*x4^3 + 41789*x1^2*x2^4*x4^3 + 14391*x1*x2^5*x4^3 + 48365*x2^6*x4^3 + 25662*x1^7*x3*x5 + 34796*x1^6*x2*x3*x5 + 62015*x1^5*x2^2*x3*x5 + 27504*x1^4*x2^3*x3*x5 + 35308*x1^3*x2^4*x3*x5 + 46903*x1^2*x2^5*x3*x5 + 32502*x1*x2^6*x3*x5 + 57722*x2^7*x3*x5 + 18255*x1^7*x4*x5 + 53630*x1^6*x2*x4*x5 + 17778*x1^5*x2^2*x4*x5 + 61309*x1^4*x2^3*x4*x5 + 47430*x1^3*x2^4*x4*x5 + 16071*x1^2*x2^5*x4*x5 + 28554*x1*x2^6*x4*x5 + 43778*x2^7*x4*x5 + 18232*x1^7*x3*x6 + 7633*x1^6*x2*x3*x6 + 15678*x1^5*x2^2*x3*x6 + 64256*x1^4*x2^3*x3*x6 + 2877*x1^3*x2^4*x3*x6 + 23278*x1^2*x2^5*x3*x6 + 12035*x1*x2^6*x3*x6 + 51583*x2^7*x3*x6 + 15162*x1^7*x4*x6 + 26093*x1^6*x2*x4*x6 + 25822*x1^5*x2^2*x4*x6 + 29406*x1^4*x2^3*x4*x6 + 37683*x1^3*x2^4*x4*x6 + 37961*x1^2*x2^5*x4*x6 + 27619*x1*x2^6*x4*x6 + 40088*x2^7*x4*x6 + 48773*x1^4*x3^4 + 61640*x1^3*x2*x3^4 + 38222*x1^2*x2^2*x3^4 + 7683*x1*x2^3*x3^4 + 32605*x2^4*x3^4 + 23268*x1^4*x3^3*x4 + 5595*x1^3*x2*x3^3*x4 + 15668*x1^2*x2^2*x3^3*x4 + 5228*x1*x2^3*x3^3*x4 + 10570*x2^4*x3^3*x4 + 43857*x1^4*x3^2*x4^2 + 39867*x1^3*x2*x3^2*x4^2 + 21137*x1^2*x2^2*x3^2*x4^2 + 2807*x1*x2^3*x3^2*x4^2 + 26277*x2^4*x3^2*x4^2 + 42615*x1^4*x3*x4^3 + 43420*x1^3*x2*x3*x4^3 + 62271*x1^2*x2^2*x3*x4^3 + 686*x1*x2^3*x3*x4^3 + 56516*x2^4*x3*x4^3 + 21939*x1^4*x4^4 + 43653*x1^3*x2*x4^4 + 42057*x1^2*x2^2*x4^4 + 47360*x1*x2^3*x4^4 + 42345*x2^4*x4^4 + 61866*x1^5*x3^2*x5 + 20396*x1^4*x2*x3^2*x5 + 51041*x1^3*x2^2*x3^2*x5 + 6416*x1^2*x2^3*x3^2*x5 + 13752*x1*x2^4*x3^2*x5 + 56047*x2^5*x3^2*x5 + 48886*x1^5*x3*x4*x5 + 45538*x1^4*x2*x3*x4*x5 + 50518*x1^3*x2^2*x3*x4*x5 + 22584*x1^2*x2^3*x3*x4*x5 + 24186*x1*x2^4*x3*x4*x5 + 60126*x2^5*x3*x4*x5 + 1773*x1^5*x4^2*x5 + 57493*x1^4*x2*x4^2*x5 + 21639*x1^3*x2^2*x4^2*x5 + 3086*x1^2*x2^3*x4^2*x5 + 39771*x1*x2^4*x4^2*x5 + 50987*x2^5*x4^2*x5 + 31122*x1^6*x5^2 + 55601*x1^5*x2*x5^2 + 31872*x1^4*x2^2*x5^2 + 21875*x1^3*x2^3*x5^2 + 53876*x1^2*x2^4*x5^2 + 26997*x1*x2^5*x5^2 + 26824*x2^6*x5^2 + 33367*x1^5*x3^2*x6 + 51027*x1^4*x2*x3^2*x6 + 58226*x1^3*x2^2*x3^2*x6 + 37013*x1^2*x2^3*x3^2*x6 + 46401*x1*x2^4*x3^2*x6 + 20311*x2^5*x3^2*x6 + 56918*x1^5*x3*x4*x6 + 17098*x1^4*x2*x3*x4*x6 + 56597*x1^3*x2^2*x3*x4*x6 + 1499*x1^2*x2^3*x3*x4*x6 + 60268*x1*x2^4*x3*x4*x6 + 49082*x2^5*x3*x4*x6 + 27530*x1^5*x4^2*x6 + 48182*x1^4*x2*x4^2*x6 + 5927*x1^3*x2^2*x4^2*x6 + 56281*x1^2*x2^3*x4^2*x6 + 63379*x1*x2^4*x4^2*x6 + 49821*x2^5*x4^2*x6 + 33886*x1^6*x5*x6 + 13259*x1^5*x2*x5*x6 + 3934*x1^4*x2^2*x5*x6 + 29675*x1^3*x2^3*x5*x6 + 50991*x1^2*x2^4*x5*x6 + 47368*x1*x2^5*x5*x6 + 26639*x2^6*x5*x6 + 14124*x1^6*x6^2 + 6233*x1^5*x2*x6^2 + 22616*x1^4*x2^2*x6^2 + 46936*x1^3*x2^3*x6^2 + 55594*x1^2*x2^4*x6^2 + 40104*x1*x2^5*x6^2 + 51992*x2^6*x6^2 + 49850*x1^2*x3^5 + 7214*x1*x2*x3^5 + 10738*x2^2*x3^5 + 24602*x1^2*x3^4*x4 + 4851*x1*x2*x3^4*x4 + 11444*x2^2*x3^4*x4 + 30900*x1^2*x3^3*x4^2 + 27340*x1*x2*x3^3*x4^2 + 9720*x2^2*x3^3*x4^2 + 41168*x1^2*x3^2*x4^3 + 63717*x1*x2*x3^2*x4^3 + 22759*x2^2*x3^2*x4^3 + 19077*x1^2*x3*x4^4 + 64824*x1*x2*x3*x4^4 + 1561*x2^2*x3*x4^4 + 14063*x1^2*x4^5 + 4172*x1*x2*x4^5 + 35936*x2^2*x4^5 + 2375*x1^3*x3^3*x5 + 61678*x1^2*x2*x3^3*x5 + 39979*x1*x2^2*x3^3*x5 + 35110*x2^3*x3^3*x5 + 48193*x1^3*x3^2*x4*x5 + 3201*x1^2*x2*x3^2*x4*x5 + 25515*x1*x2^2*x3^2*x4*x5 + 21179*x2^3*x3^2*x4*x5 + 55133*x1^3*x3*x4^2*x5 + 51411*x1^2*x2*x3*x4^2*x5 + 52323*x1*x2^2*x3*x4^2*x5 + 16967*x2^3*x3*x4^2*x5 + 16448*x1^3*x4^3*x5 + 24683*x1^2*x2*x4^3*x5 + 16662*x1*x2^2*x4^3*x5 + 58119*x2^3*x4^3*x5 + 18459*x1^4*x3*x5^2 + 45203*x1^3*x2*x3*x5^2 + 10440*x1^2*x2^2*x3*x5^2 + 27274*x1*x2^3*x3*x5^2 + 54225*x2^4*x3*x5^2 + 11607*x1^4*x4*x5^2 + 64247*x1^3*x2*x4*x5^2 + 13221*x1^2*x2^2*x4*x5^2 + 36517*x1*x2^3*x4*x5^2 + 32465*x2^4*x4*x5^2 + 17877*x1^3*x3^3*x6 + 51827*x1^2*x2*x3^3*x6 + 30071*x1*x2^2*x3^3*x6 + 44520*x2^3*x3^3*x6 + 45929*x1^3*x3^2*x4*x6 + 47392*x1^2*x2*x3^2*x4*x6 + 45946*x1*x2^2*x3^2*x4*x6 + 21932*x2^3*x3^2*x4*x6 + 7255*x1^3*x3*x4^2*x6 + 31611*x1^2*x2*x3*x4^2*x6 + 9511*x1*x2^2*x3*x4^2*x6 + 13716*x2^3*x3*x4^2*x6 + 40361*x1^3*x4^3*x6 + 56624*x1^2*x2*x4^3*x6 + 41519*x1*x2^2*x4^3*x6 + 32560*x2^3*x4^3*x6 + 3609*x1^4*x3*x5*x6 + 54673*x1^3*x2*x3*x5*x6 + 11198*x1^2*x2^2*x3*x5*x6 + 30829*x1*x2^3*x3*x5*x6 + 41686*x2^4*x3*x5*x6 + 28223*x1^4*x4*x5*x6 + 24958*x1^3*x2*x4*x5*x6 + 59254*x1^2*x2^2*x4*x5*x6 + 6301*x1*x2^3*x4*x5*x6 + 49720*x2^4*x4*x5*x6 + 50327*x1^4*x3*x6^2 + 26406*x1^3*x2*x3*x6^2 + 41279*x1^2*x2^2*x3*x6^2 + 60209*x1*x2^3*x3*x6^2 + 25713*x2^4*x3*x6^2 + 2777*x1^4*x4*x6^2 + 9845*x1^3*x2*x4*x6^2 + 33398*x1^2*x2^2*x4*x6^2 + 33088*x1*x2^3*x4*x6^2 + 25402*x2^4*x4*x6^2 + 19170*x3^6 + 23718*x3^5*x4 + 45210*x3^4*x4^2 + 12542*x3^3*x4^3 + 30319*x3^2*x4^4 + 19158*x3*x4^5 + 65194*x4^6 + 55118*x1*x3^4*x5 + 6848*x2*x3^4*x5 + 28635*x1*x3^3*x4*x5 + 7919*x2*x3^3*x4*x5 + 48189*x1*x3^2*x4^2*x5 + 21560*x2*x3^2*x4^2*x5 + 27496*x1*x3*x4^3*x5 + 45370*x2*x3*x4^3*x5 + 59401*x1*x4^4*x5 + 10045*x2*x4^4*x5 + 37503*x1^2*x3^2*x5^2 + 8534*x1*x2*x3^2*x5^2 + 23086*x2^2*x3^2*x5^2 + 45575*x1^2*x3*x4*x5^2 + 60557*x1*x2*x3*x4*x5^2 + 53325*x2^2*x3*x4*x5^2 + 60718*x1^2*x4^2*x5^2 + 16293*x1*x2*x4^2*x5^2 + 5052*x2^2*x4^2*x5^2 + 6794*x1^3*x5^3 + 48742*x1^2*x2*x5^3 + 60410*x1*x2^2*x5^3 + 18139*x2^3*x5^3 + 53073*x1*x3^4*x6 + 39931*x2*x3^4*x6 + 48584*x1*x3^3*x4*x6 + 42381*x2*x3^3*x4*x6 + 62091*x1*x3^2*x4^2*x6 + 32656*x2*x3^2*x4^2*x6 + 3374*x1*x3*x4^3*x6 + 918*x2*x3*x4^3*x6 + 15639*x1*x4^4*x6 + 3564*x2*x4^4*x6 + 37807*x1^2*x3^2*x5*x6 + 59207*x1*x2*x3^2*x5*x6 + 24302*x2^2*x3^2*x5*x6 + 55738*x1^2*x3*x4*x5*x6 + 40806*x1*x2*x3*x4*x5*x6 + 22700*x2^2*x3*x4*x5*x6 + 6068*x1^2*x4^2*x5*x6 + 50114*x1*x2*x4^2*x5*x6 + 27049*x2^2*x4^2*x5*x6 + 56289*x1^3*x5^2*x6 + 3861*x1^2*x2*x5^2*x6 + 56261*x1*x2^2*x5^2*x6 + 48938*x2^3*x5^2*x6 + 48807*x1^2*x3^2*x6^2 + 64642*x1*x2*x3^2*x6^2 + 28313*x2^2*x3^2*x6^2 + 13645*x1^2*x3*x4*x6^2 + 31282*x1*x2*x3*x4*x6^2 + 34588*x2^2*x3*x4*x6^2 + 39947*x1^2*x4^2*x6^2 + 31578*x1*x2*x4^2*x6^2 + 38723*x2^2*x4^2*x6^2 + 22849*x1^3*x5*x6^2 + 27065*x1^2*x2*x5*x6^2 + 32967*x1*x2^2*x5*x6^2 + 55912*x2^3*x5*x6^2 + 21797*x1^3*x6^3 + 59228*x1^2*x2*x6^3 + 65415*x1*x2^2*x6^3 + 41553*x2^3*x6^3 + 50483*x3^3*x5^2 + 45670*x3^2*x4*x5^2 + 59575*x3*x4^2*x5^2 + 37547*x4^3*x5^2 + 49660*x1*x3*x5^3 + 25502*x2*x3*x5^3 + 57084*x1*x4*x5^3 + 31310*x2*x4*x5^3 + 38987*x3^3*x5*x6 + 25261*x3^2*x4*x5*x6 + 59177*x3*x4^2*x5*x6 + 24877*x4^3*x5*x6 + 11245*x1*x3*x5^2*x6 + 51659*x2*x3*x5^2*x6 + 5819*x1*x4*x5^2*x6 + 5369*x2*x4*x5^2*x6 + 44779*x3^3*x6^2 + 47908*x3^2*x4*x6^2 + 7864*x3*x4^2*x6^2 + 20211*x4^3*x6^2 + 26497*x1*x3*x5*x6^2 + 63191*x2*x3*x5*x6^2 + 3092*x1*x4*x5*x6^2 + 3481*x2*x4*x5*x6^2 + 48203*x1*x3*x6^3 + 63344*x2*x3*x6^3 + 49565*x1*x4*x6^3 + 30373*x2*x4*x6^3 + 2389*x5^4 + 53551*x5^3*x6 + 65126*x5^2*x6^2 + 41986*x5*x6^3 + 56281*x6^4 +42058, 63346*x1^18 + 55934*x1^17*x2 + 14281*x1^16*x2^2 + 13257*x1^15*x2^3 + 31823*x1^14*x2^4 + 58209*x1^13*x2^5 + 11567*x1^12*x2^6 + 54260*x1^11*x2^7 + 30229*x1^10*x2^8 + 13787*x1^9*x2^9 + 16149*x1^8*x2^10 + 22816*x1^7*x2^11 + 16532*x1^6*x2^12 + 62355*x1^5*x2^13 + 41170*x1^4*x2^14 + 8272*x1^3*x2^15 + 13246*x1^2*x2^16 + 35119*x1*x2^17 + 39594*x2^18 + 24666*x1^16*x3 + 61845*x1^15*x2*x3 + 51423*x1^14*x2^2*x3 + 25983*x1^13*x2^3*x3 + 37164*x1^12*x2^4*x3 + 24055*x1^11*x2^5*x3 + 22990*x1^10*x2^6*x3 + 33893*x1^9*x2^7*x3 + 11798*x1^8*x2^8*x3 + 53521*x1^7*x2^9*x3 + 42701*x1^6*x2^10*x3 + 13343*x1^5*x2^11*x3 + 63900*x1^4*x2^12*x3 + 60180*x1^3*x2^13*x3 + 35550*x1^2*x2^14*x3 + 43799*x1*x2^15*x3 + 60145*x2^16*x3 + 3752*x1^16*x4 + 15549*x1^15*x2*x4 + 7834*x1^14*x2^2*x4 + 15991*x1^13*x2^3*x4 + 46191*x1^12*x2^4*x4 + 59854*x1^11*x2^5*x4 + 59793*x1^10*x2^6*x4 + 53815*x1^9*x2^7*x4 + 33777*x1^8*x2^8*x4 + 19841*x1^7*x2^9*x4 + 17933*x1^6*x2^10*x4 + 3025*x1^5*x2^11*x4 + 33759*x1^4*x2^12*x4 + 33414*x1^3*x2^13*x4 + 58896*x1^2*x2^14*x4 + 56841*x1*x2^15*x4 + 2299*x2^16*x4 + 26848*x1^14*x3^2 + 7546*x1^13*x2*x3^2 + 28667*x1^12*x2^2*x3^2 + 1338*x1^11*x2^3*x3^2 + 45045*x1^10*x2^4*x3^2 + 65507*x1^9*x2^5*x3^2 + 23480*x1^8*x2^6*x3^2 + 57443*x1^7*x2^7*x3^2 + 35483*x1^6*x2^8*x3^2 + 52699*x1^5*x2^9*x3^2 + 13287*x1^4*x2^10*x3^2 + 55927*x1^3*x2^11*x3^2 + 41341*x1^2*x2^12*x3^2 + 19448*x1*x2^13*x3^2 + 59665*x2^14*x3^2 + 25432*x1^14*x3*x4 + 51934*x1^13*x2*x3*x4 + 10240*x1^12*x2^2*x3*x4 + 3681*x1^11*x2^3*x3*x4 + 26678*x1^10*x2^4*x3*x4 + 13578*x1^9*x2^5*x3*x4 + 41308*x1^8*x2^6*x3*x4 + 3774*x1^7*x2^7*x3*x4 + 27100*x1^6*x2^8*x3*x4 + 36735*x1^5*x2^9*x3*x4 + 64215*x1^4*x2^10*x3*x4 + 41426*x1^3*x2^11*x3*x4 + 26072*x1^2*x2^12*x3*x4 + 60625*x1*x2^13*x3*x4 + 36207*x2^14*x3*x4 + 22609*x1^14*x4^2 + 53244*x1^13*x2*x4^2 + 54791*x1^12*x2^2*x4^2 + 37546*x1^11*x2^3*x4^2 + 38457*x1^10*x2^4*x4^2 + 4616*x1^9*x2^5*x4^2 + 60427*x1^8*x2^6*x4^2 + 48740*x1^7*x2^7*x4^2 + 10183*x1^6*x2^8*x4^2 + 46547*x1^5*x2^9*x4^2 + 6583*x1^4*x2^10*x4^2 + 22124*x1^3*x2^11*x4^2 + 18049*x1^2*x2^12*x4^2 + 23995*x1*x2^13*x4^2 + 54703*x2^14*x4^2 + 55980*x1^15*x5 + 13280*x1^14*x2*x5 + 33278*x1^13*x2^2*x5 + 13138*x1^12*x2^3*x5 + 42734*x1^11*x2^4*x5 + 62337*x1^10*x2^5*x5 + 41664*x1^9*x2^6*x5 + 50629*x1^8*x2^7*x5 + 19852*x1^7*x2^8*x5 + 23503*x1^6*x2^9*x5 + 59751*x1^5*x2^10*x5 + 42800*x1^4*x2^11*x5 + 21302*x1^3*x2^12*x5 + 64319*x1^2*x2^13*x5 + 30651*x1*x2^14*x5 + 62152*x2^15*x5 + 43036*x1^15*x6 + 14668*x1^14*x2*x6 + 2776*x1^13*x2^2*x6 + 52350*x1^12*x2^3*x6 + 46819*x1^11*x2^4*x6 + 9509*x1^10*x2^5*x6 + 41675*x1^9*x2^6*x6 + 40095*x1^8*x2^7*x6 + 53106*x1^7*x2^8*x6 + 33604*x1^6*x2^9*x6 + 20025*x1^5*x2^10*x6 + 24509*x1^4*x2^11*x6 + 55563*x1^3*x2^12*x6 + 37165*x1^2*x2^13*x6 + 60178*x1*x2^14*x6 + 29973*x2^15*x6 + 60361*x1^12*x3^3 + 16933*x1^11*x2*x3^3 + 52878*x1^10*x2^2*x3^3 + 37568*x1^9*x2^3*x3^3 + 16283*x1^8*x2^4*x3^3 + 20546*x1^7*x2^5*x3^3 + 5598*x1^6*x2^6*x3^3 + 14404*x1^5*x2^7*x3^3 + 11243*x1^4*x2^8*x3^3 + 29017*x1^3*x2^9*x3^3 + 8099*x1^2*x2^10*x3^3 + 29861*x1*x2^11*x3^3 + 56732*x2^12*x3^3 + 45184*x1^12*x3^2*x4 + 34266*x1^11*x2*x3^2*x4 + 31688*x1^10*x2^2*x3^2*x4 + 25199*x1^9*x2^3*x3^2*x4 + 5605*x1^8*x2^4*x3^2*x4 + 7875*x1^7*x2^5*x3^2*x4 + 12408*x1^6*x2^6*x3^2*x4 + 38979*x1^5*x2^7*x3^2*x4 + 31016*x1^4*x2^8*x3^2*x4 + 35068*x1^3*x2^9*x3^2*x4 + 19014*x1^2*x2^10*x3^2*x4 + 30790*x1*x2^11*x3^2*x4 + 53940*x2^12*x3^2*x4 + 24171*x1^12*x3*x4^2 + 54405*x1^11*x2*x3*x4^2 + 63905*x1^10*x2^2*x3*x4^2 + 54113*x1^9*x2^3*x3*x4^2 + 36035*x1^8*x2^4*x3*x4^2 + 64353*x1^7*x2^5*x3*x4^2 + 37940*x1^6*x2^6*x3*x4^2 + 7703*x1^5*x2^7*x3*x4^2 + 42132*x1^4*x2^8*x3*x4^2 + 28706*x1^3*x2^9*x3*x4^2 + 17912*x1^2*x2^10*x3*x4^2 + 27831*x1*x2^11*x3*x4^2 + 58529*x2^12*x3*x4^2 + 20734*x1^12*x4^3 + 11791*x1^11*x2*x4^3 + 39149*x1^10*x2^2*x4^3 + 857*x1^9*x2^3*x4^3 + 9116*x1^8*x2^4*x4^3 + 29176*x1^7*x2^5*x4^3 + 23186*x1^6*x2^6*x4^3 + 3804*x1^5*x2^7*x4^3 + 64314*x1^4*x2^8*x4^3 + 55897*x1^3*x2^9*x4^3 + 30128*x1^2*x2^10*x4^3 + 22665*x1*x2^11*x4^3 + 36601*x2^12*x4^3 + 65206*x1^13*x3*x5 + 20379*x1^12*x2*x3*x5 + 14332*x1^11*x2^2*x3*x5 + 54454*x1^10*x2^3*x3*x5 + 24390*x1^9*x2^4*x3*x5 + 28450*x1^8*x2^5*x3*x5 + 1424*x1^7*x2^6*x3*x5 + 50126*x1^6*x2^7*x3*x5 + 36021*x1^5*x2^8*x3*x5 + 9244*x1^4*x2^9*x3*x5 + 36623*x1^3*x2^10*x3*x5 + 4589*x1^2*x2^11*x3*x5 + 41423*x1*x2^12*x3*x5 + 35531*x2^13*x3*x5 + 44349*x1^13*x4*x5 + 57600*x1^12*x2*x4*x5 + 63247*x1^11*x2^2*x4*x5 + 38882*x1^10*x2^3*x4*x5 + 40957*x1^9*x2^4*x4*x5 + 28254*x1^8*x2^5*x4*x5 + 24560*x1^7*x2^6*x4*x5 + 48432*x1^6*x2^7*x4*x5 + 4798*x1^5*x2^8*x4*x5 + 15412*x1^4*x2^9*x4*x5 + 34555*x1^3*x2^10*x4*x5 + 25640*x1^2*x2^11*x4*x5 + 29288*x1*x2^12*x4*x5 + 44265*x2^13*x4*x5 + 59745*x1^13*x3*x6 + 44581*x1^12*x2*x3*x6 + 49342*x1^11*x2^2*x3*x6 + 39643*x1^10*x2^3*x3*x6 + 29230*x1^9*x2^4*x3*x6 + 43482*x1^8*x2^5*x3*x6 + 6700*x1^7*x2^6*x3*x6 + 10014*x1^6*x2^7*x3*x6 + 36271*x1^5*x2^8*x3*x6 + 18325*x1^4*x2^9*x3*x6 + 8948*x1^3*x2^10*x3*x6 + 26495*x1^2*x2^11*x3*x6 + 8592*x1*x2^12*x3*x6 + 59299*x2^13*x3*x6 + 17723*x1^13*x4*x6 + 13914*x1^12*x2*x4*x6 + 14283*x1^11*x2^2*x4*x6 + 26831*x1^10*x2^3*x4*x6 + 45985*x1^9*x2^4*x4*x6 + 54623*x1^8*x2^5*x4*x6 + 46261*x1^7*x2^6*x4*x6 + 16174*x1^6*x2^7*x4*x6 + 30014*x1^5*x2^8*x4*x6 + 54628*x1^4*x2^9*x4*x6 + 46396*x1^3*x2^10*x4*x6 + 46858*x1^2*x2^11*x4*x6 + 53392*x1*x2^12*x4*x6 + 7563*x2^13*x4*x6 + 54646*x1^10*x3^4 + 41996*x1^9*x2*x3^4 + 6896*x1^8*x2^2*x3^4 + 6917*x1^7*x2^3*x3^4 + 56146*x1^6*x2^4*x3^4 + 57469*x1^5*x2^5*x3^4 + 61528*x1^4*x2^6*x3^4 + 45020*x1^3*x2^7*x3^4 + 34841*x1^2*x2^8*x3^4 + 10061*x1*x2^9*x3^4 + 42768*x2^10*x3^4 + 54624*x1^10*x3^3*x4 + 57190*x1^9*x2*x3^3*x4 + 41281*x1^8*x2^2*x3^3*x4 + 12969*x1^7*x2^3*x3^3*x4 + 21935*x1^6*x2^4*x3^3*x4 + 11646*x1^5*x2^5*x3^3*x4 + 12060*x1^4*x2^6*x3^3*x4 + 16047*x1^3*x2^7*x3^3*x4 + 52185*x1^2*x2^8*x3^3*x4 + 18751*x1*x2^9*x3^3*x4 + 42459*x2^10*x3^3*x4 + 4931*x1^10*x3^2*x4^2 + 62663*x1^9*x2*x3^2*x4^2 + 51490*x1^8*x2^2*x3^2*x4^2 + 23410*x1^7*x2^3*x3^2*x4^2 + 59641*x1^6*x2^4*x3^2*x4^2 + 10958*x1^5*x2^5*x3^2*x4^2 + 26993*x1^4*x2^6*x3^2*x4^2 + 12720*x1^3*x2^7*x3^2*x4^2 + 9218*x1^2*x2^8*x3^2*x4^2 + 62351*x1*x2^9*x3^2*x4^2 + 47347*x2^10*x3^2*x4^2 + 43835*x1^10*x3*x4^3 + 48068*x1^9*x2*x3*x4^3 + 39495*x1^8*x2^2*x3*x4^3 + 55185*x1^7*x2^3*x3*x4^3 + 37179*x1^6*x2^4*x3*x4^3 + 28059*x1^5*x2^5*x3*x4^3 + 3481*x1^4*x2^6*x3*x4^3 + 43281*x1^3*x2^7*x3*x4^3 + 49725*x1^2*x2^8*x3*x4^3 + 7436*x1*x2^9*x3*x4^3 + x2^10*x3*x4^3 + 16543*x1^10*x4^4 + 31579*x1^9*x2*x4^4 + 64378*x1^8*x2^2*x4^4 + 53833*x1^7*x2^3*x4^4 + 20156*x1^6*x2^4*x4^4 + 33374*x1^5*x2^5*x4^4 + 4530*x1^4*x2^6*x4^4 + 63223*x1^3*x2^7*x4^4 + 58587*x1^2*x2^8*x4^4 + 42886*x1*x2^9*x4^4 + 28325*x2^10*x4^4 + 59932*x1^11*x3^2*x5 + 40376*x1^10*x2*x3^2*x5 + 4936*x1^9*x2^2*x3^2*x5 + 9260*x1^8*x2^3*x3^2*x5 + 51972*x1^7*x2^4*x3^2*x5 + 5888*x1^6*x2^5*x3^2*x5 + 8294*x1^5*x2^6*x3^2*x5 + 14356*x1^4*x2^7*x3^2*x5 + 34711*x1^3*x2^8*x3^2*x5 + 56407*x1^2*x2^9*x3^2*x5 + 23369*x1*x2^10*x3^2*x5 + 45227*x2^11*x3^2*x5 + 13288*x1^11*x3*x4*x5 + 12214*x1^10*x2*x3*x4*x5 + 49937*x1^9*x2^2*x3*x4*x5 + 34808*x1^8*x2^3*x3*x4*x5 + 18539*x1^7*x2^4*x3*x4*x5 + 3672*x1^6*x2^5*x3*x4*x5 + 25001*x1^5*x2^6*x3*x4*x5 + 52786*x1^4*x2^7*x3*x4*x5 + 5384*x1^3*x2^8*x3*x4*x5 + 46615*x1^2*x2^9*x3*x4*x5 + 51517*x1*x2^10*x3*x4*x5 + 36190*x2^11*x3*x4*x5 + 3427*x1^11*x4^2*x5 + 6711*x1^10*x2*x4^2*x5 + 15335*x1^9*x2^2*x4^2*x5 + 16728*x1^8*x2^3*x4^2*x5 + 53118*x1^7*x2^4*x4^2*x5 + 3081*x1^6*x2^5*x4^2*x5 + 32237*x1^5*x2^6*x4^2*x5 + 6714*x1^4*x2^7*x4^2*x5 + 4829*x1^3*x2^8*x4^2*x5 + 16600*x1^2*x2^9*x4^2*x5 + 22048*x1*x2^10*x4^2*x5 + 20816*x2^11*x4^2*x5 + 44351*x1^12*x5^2 + 19445*x1^11*x2*x5^2 + 29637*x1^10*x2^2*x5^2 + 64886*x1^9*x2^3*x5^2 + 36456*x1^8*x2^4*x5^2 + 39586*x1^7*x2^5*x5^2 + 91*x1^6*x2^6*x5^2 + 60405*x1^5*x2^7*x5^2 + 34574*x1^4*x2^8*x5^2 + 37456*x1^3*x2^9*x5^2 + 44192*x1^2*x2^10*x5^2 + 26274*x1*x2^11*x5^2 + 29595*x2^12*x5^2 + 54407*x1^11*x3^2*x6 + 30117*x1^10*x2*x3^2*x6 + 58980*x1^9*x2^2*x3^2*x6 + 10090*x1^8*x2^3*x3^2*x6 + 33630*x1^7*x2^4*x3^2*x6 + 19358*x1^6*x2^5*x3^2*x6 + 9826*x1^5*x2^6*x3^2*x6 + 53120*x1^4*x2^7*x3^2*x6 + 53120*x1^3*x2^8*x3^2*x6 + 50411*x1^2*x2^9*x3^2*x6 + 29833*x1*x2^10*x3^2*x6 + 35078*x2^11*x3^2*x6 + 64750*x1^11*x3*x4*x6 + 15140*x1^10*x2*x3*x4*x6 + 61902*x1^9*x2^2*x3*x4*x6 + 15601*x1^8*x2^3*x3*x4*x6 + 10324*x1^7*x2^4*x3*x4*x6 + 62553*x1^6*x2^5*x3*x4*x6 + 49968*x1^5*x2^6*x3*x4*x6 + 2764*x1^4*x2^7*x3*x4*x6 + 25511*x1^3*x2^8*x3*x4*x6 + 23222*x1^2*x2^9*x3*x4*x6 + 37068*x1*x2^10*x3*x4*x6 + 13170*x2^11*x3*x4*x6 + 5633*x1^11*x4^2*x6 + 22739*x1^10*x2*x4^2*x6 + 39020*x1^9*x2^2*x4^2*x6 + 65091*x1^8*x2^3*x4^2*x6 + 43979*x1^7*x2^4*x4^2*x6 + 4882*x1^6*x2^5*x4^2*x6 + 55455*x1^5*x2^6*x4^2*x6 + 34442*x1^4*x2^7*x4^2*x6 + 22472*x1^3*x2^8*x4^2*x6 + 17349*x1^2*x2^9*x4^2*x6 + 477*x1*x2^10*x4^2*x6 + 8592*x2^11*x4^2*x6 + 22375*x1^12*x5*x6 + 51904*x1^11*x2*x5*x6 + 32834*x1^10*x2^2*x5*x6 + 31619*x1^9*x2^3*x5*x6 + 32605*x1^8*x2^4*x5*x6 + 40500*x1^7*x2^5*x5*x6 + 41184*x1^6*x2^6*x5*x6 + 58235*x1^5*x2^7*x5*x6 + 15508*x1^4*x2^8*x5*x6 + 50382*x1^3*x2^9*x5*x6 + 38548*x1^2*x2^10*x5*x6 + 4445*x1*x2^11*x5*x6 + 23498*x2^12*x5*x6 + 4704*x1^12*x6^2 + 9667*x1^11*x2*x6^2 + 54881*x1^10*x2^2*x6^2 + 57648*x1^9*x2^3*x6^2 + 15106*x1^8*x2^4*x6^2 + 59770*x1^7*x2^5*x6^2 + 51020*x1^6*x2^6*x6^2 + 50544*x1^5*x2^7*x6^2 + 35940*x1^4*x2^8*x6^2 + 8963*x1^3*x2^9*x6^2 + 15228*x1^2*x2^10*x6^2 + 14693*x1*x2^11*x6^2 + 17305*x2^12*x6^2 + 58088*x1^8*x3^5 + 9114*x1^7*x2*x3^5 + 50890*x1^6*x2^2*x3^5 + 58908*x1^5*x2^3*x3^5 + 20510*x1^4*x2^4*x3^5 + 54176*x1^3*x2^5*x3^5 + 61637*x1^2*x2^6*x3^5 + 58235*x1*x2^7*x3^5 + 19592*x2^8*x3^5 + 59601*x1^8*x3^4*x4 + 63672*x1^7*x2*x3^4*x4 + 7950*x1^6*x2^2*x3^4*x4 + 65406*x1^5*x2^3*x3^4*x4 + 18077*x1^4*x2^4*x3^4*x4 + 43586*x1^3*x2^5*x3^4*x4 + 13268*x1^2*x2^6*x3^4*x4 + 29875*x1*x2^7*x3^4*x4 + 20941*x2^8*x3^4*x4 + 60772*x1^8*x3^3*x4^2 + 59586*x1^7*x2*x3^3*x4^2 + 35083*x1^6*x2^2*x3^3*x4^2 + 20410*x1^5*x2^3*x3^3*x4^2 + 2198*x1^4*x2^4*x3^3*x4^2 + 7451*x1^3*x2^5*x3^3*x4^2 + 45733*x1^2*x2^6*x3^3*x4^2 + 34340*x1*x2^7*x3^3*x4^2 + 46886*x2^8*x3^3*x4^2 + 19706*x1^8*x3^2*x4^3 + 41141*x1^7*x2*x3^2*x4^3 + 519*x1^6*x2^2*x3^2*x4^3 + 58985*x1^5*x2^3*x3^2*x4^3 + 15802*x1^4*x2^4*x3^2*x4^3 + 27924*x1^3*x2^5*x3^2*x4^3 + 61156*x1^2*x2^6*x3^2*x4^3 + 57590*x1*x2^7*x3^2*x4^3 + 59315*x2^8*x3^2*x4^3 + 42154*x1^8*x3*x4^4 + 38613*x1^7*x2*x3*x4^4 + 25701*x1^6*x2^2*x3*x4^4 + 23239*x1^5*x2^3*x3*x4^4 + 25482*x1^4*x2^4*x3*x4^4 + 63623*x1^3*x2^5*x3*x4^4 + 19742*x1^2*x2^6*x3*x4^4 + 55505*x1*x2^7*x3*x4^4 + 59456*x2^8*x3*x4^4 + 47521*x1^8*x4^5 + 33351*x1^7*x2*x4^5 + 58259*x1^6*x2^2*x4^5 + 40067*x1^5*x2^3*x4^5 + 30498*x1^4*x2^4*x4^5 + 25304*x1^3*x2^5*x4^5 + 46227*x1^2*x2^6*x4^5 + 19563*x1*x2^7*x4^5 + 9622*x2^8*x4^5 + 39473*x1^9*x3^3*x5 + 40839*x1^8*x2*x3^3*x5 + 47839*x1^7*x2^2*x3^3*x5 + 31911*x1^6*x2^3*x3^3*x5 + 52431*x1^5*x2^4*x3^3*x5 + 1350*x1^4*x2^5*x3^3*x5 + 44338*x1^3*x2^6*x3^3*x5 + 1017*x1^2*x2^7*x3^3*x5 + 6437*x1*x2^8*x3^3*x5 + 47134*x2^9*x3^3*x5 + 51523*x1^9*x3^2*x4*x5 + 36122*x1^8*x2*x3^2*x4*x5 + 29731*x1^7*x2^2*x3^2*x4*x5 + 27712*x1^6*x2^3*x3^2*x4*x5 + 28925*x1^5*x2^4*x3^2*x4*x5 + 27064*x1^4*x2^5*x3^2*x4*x5 + 22870*x1^3*x2^6*x3^2*x4*x5 + 21748*x1^2*x2^7*x3^2*x4*x5 + 26736*x1*x2^8*x3^2*x4*x5 + 11820*x2^9*x3^2*x4*x5 + 34160*x1^9*x3*x4^2*x5 + 85*x1^8*x2*x3*x4^2*x5 + 54782*x1^7*x2^2*x3*x4^2*x5 + 54132*x1^6*x2^3*x3*x4^2*x5 + 27246*x1^5*x2^4*x3*x4^2*x5 + 39822*x1^4*x2^5*x3*x4^2*x5 + 5836*x1^3*x2^6*x3*x4^2*x5 + 24372*x1^2*x2^7*x3*x4^2*x5 + 27283*x1*x2^8*x3*x4^2*x5 + 10612*x2^9*x3*x4^2*x5 + 52956*x1^9*x4^3*x5 + 24497*x1^8*x2*x4^3*x5 + 23027*x1^7*x2^2*x4^3*x5 + 61191*x1^6*x2^3*x4^3*x5 + 7601*x1^5*x2^4*x4^3*x5 + 11742*x1^4*x2^5*x4^3*x5 + 59435*x1^3*x2^6*x4^3*x5 + 33047*x1^2*x2^7*x4^3*x5 + 57646*x1*x2^8*x4^3*x5 + 36011*x2^9*x4^3*x5 + 14428*x1^10*x3*x5^2 + 28269*x1^9*x2*x3*x5^2 + 44588*x1^8*x2^2*x3*x5^2 + 29131*x1^7*x2^3*x3*x5^2 + 53558*x1^6*x2^4*x3*x5^2 + 35293*x1^5*x2^5*x3*x5^2 + 8617*x1^4*x2^6*x3*x5^2 + 10005*x1^3*x2^7*x3*x5^2 + 49827*x1^2*x2^8*x3*x5^2 + 14138*x1*x2^9*x3*x5^2 + 20483*x2^10*x3*x5^2 + 50414*x1^10*x4*x5^2 + 53574*x1^9*x2*x4*x5^2 + 58391*x1^8*x2^2*x4*x5^2 + 15738*x1^7*x2^3*x4*x5^2 + 7626*x1^6*x2^4*x4*x5^2 + 35102*x1^5*x2^5*x4*x5^2 + 51834*x1^4*x2^6*x4*x5^2 + 17202*x1^3*x2^7*x4*x5^2 + 30129*x1^2*x2^8*x4*x5^2 + 32067*x1*x2^9*x4*x5^2 + 10045*x2^10*x4*x5^2 + 30779*x1^9*x3^3*x6 + 11323*x1^8*x2*x3^3*x6 + 64675*x1^7*x2^2*x3^3*x6 + 56299*x1^6*x2^3*x3^3*x6 + 23178*x1^5*x2^4*x3^3*x6 + 43192*x1^4*x2^5*x3^3*x6 + 7272*x1^3*x2^6*x3^3*x6 + 33493*x1^2*x2^7*x3^3*x6 + 42470*x1*x2^8*x3^3*x6 + 52172*x2^9*x3^3*x6 + 39395*x1^9*x3^2*x4*x6 + 60073*x1^8*x2*x3^2*x4*x6 + 27744*x1^7*x2^2*x3^2*x4*x6 + 30975*x1^6*x2^3*x3^2*x4*x6 + 35004*x1^5*x2^4*x3^2*x4*x6 + 27488*x1^4*x2^5*x3^2*x4*x6 + 2122*x1^3*x2^6*x3^2*x4*x6 + 5416*x1^2*x2^7*x3^2*x4*x6 + 40559*x1*x2^8*x3^2*x4*x6 + 53112*x2^9*x3^2*x4*x6 + 60884*x1^9*x3*x4^2*x6 + 36766*x1^8*x2*x3*x4^2*x6 + 13536*x1^7*x2^2*x3*x4^2*x6 + 62302*x1^6*x2^3*x3*x4^2*x6 + 6608*x1^5*x2^4*x3*x4^2*x6 + 65022*x1^4*x2^5*x3*x4^2*x6 + 55841*x1^3*x2^6*x3*x4^2*x6 + 48310*x1^2*x2^7*x3*x4^2*x6 + 17226*x1*x2^8*x3*x4^2*x6 + 34936*x2^9*x3*x4^2*x6 + 828*x1^9*x4^3*x6 + 30944*x1^8*x2*x4^3*x6 + 9132*x1^7*x2^2*x4^3*x6 + 11081*x1^6*x2^3*x4^3*x6 + 64205*x1^5*x2^4*x4^3*x6 + 27853*x1^4*x2^5*x4^3*x6 + 8915*x1^3*x2^6*x4^3*x6 + 31563*x1^2*x2^7*x4^3*x6 + 32393*x1*x2^8*x4^3*x6 + 4446*x2^9*x4^3*x6 + 7756*x1^10*x3*x5*x6 + 43382*x1^9*x2*x3*x5*x6 + 43706*x1^8*x2^2*x3*x5*x6 + 48007*x1^7*x2^3*x3*x5*x6 + 21465*x1^6*x2^4*x3*x5*x6 + 31058*x1^5*x2^5*x3*x5*x6 + 63610*x1^4*x2^6*x3*x5*x6 + 7398*x1^3*x2^7*x3*x5*x6 + 2533*x1^2*x2^8*x3*x5*x6 + 37941*x1*x2^9*x3*x5*x6 + 44510*x2^10*x3*x5*x6 + 27336*x1^10*x4*x5*x6 + 61612*x1^9*x2*x4*x5*x6 + 3716*x1^8*x2^2*x4*x5*x6 + 41507*x1^7*x2^3*x4*x5*x6 + 25555*x1^6*x2^4*x4*x5*x6 + 39535*x1^5*x2^5*x4*x5*x6 + 5835*x1^4*x2^6*x4*x5*x6 + 56196*x1^3*x2^7*x4*x5*x6 + 47174*x1^2*x2^8*x4*x5*x6 + 2626*x1*x2^9*x4*x5*x6 + 46141*x2^10*x4*x5*x6 + 62844*x1^10*x3*x6^2 + 58803*x1^9*x2*x3*x6^2 + 13790*x1^8*x2^2*x3*x6^2 + 26910*x1^7*x2^3*x3*x6^2 + 36094*x1^6*x2^4*x3*x6^2 + 3308*x1^5*x2^5*x3*x6^2 + 57995*x1^4*x2^6*x3*x6^2 + 4702*x1^3*x2^7*x3*x6^2 + 28168*x1^2*x2^8*x3*x6^2 + 51245*x1*x2^9*x3*x6^2 + 45053*x2^10*x3*x6^2 + 371*x1^10*x4*x6^2 + 22005*x1^9*x2*x4*x6^2 + 36045*x1^8*x2^2*x4*x6^2 + 58038*x1^7*x2^3*x4*x6^2 + 41514*x1^6*x2^4*x4*x6^2 + 12346*x1^5*x2^5*x4*x6^2 + 53465*x1^4*x2^6*x4*x6^2 + 12530*x1^3*x2^7*x4*x6^2 + 50639*x1^2*x2^8*x4*x6^2 + 56299*x1*x2^9*x4*x6^2 + 33810*x2^10*x4*x6^2 + 63342*x1^6*x3^6 + 3835*x1^5*x2*x3^6 + 62584*x1^4*x2^2*x3^6 + 55507*x1^3*x2^3*x3^6 + 24216*x1^2*x2^4*x3^6 + 9870*x1*x2^5*x3^6 + 2988*x2^6*x3^6 + 39205*x1^6*x3^5*x4 + 23142*x1^5*x2*x3^5*x4 + 32331*x1^4*x2^2*x3^5*x4 + 18237*x1^3*x2^3*x3^5*x4 + 31422*x1^2*x2^4*x3^5*x4 + 63269*x1*x2^5*x3^5*x4 + 64763*x2^6*x3^5*x4 + 24522*x1^6*x3^4*x4^2 + 24034*x1^5*x2*x3^4*x4^2 + 29565*x1^4*x2^2*x3^4*x4^2 + 1744*x1^3*x2^3*x3^4*x4^2 + 58696*x1^2*x2^4*x3^4*x4^2 + 12583*x1*x2^5*x3^4*x4^2 + 43028*x2^6*x3^4*x4^2 + 36445*x1^6*x3^3*x4^3 + 40450*x1^5*x2*x3^3*x4^3 + 31181*x1^4*x2^2*x3^3*x4^3 + 53241*x1^3*x2^3*x3^3*x4^3 + 36128*x1^2*x2^4*x3^3*x4^3 + 44452*x1*x2^5*x3^3*x4^3 + 19276*x2^6*x3^3*x4^3 + 56919*x1^6*x3^2*x4^4 + 2675*x1^5*x2*x3^2*x4^4 + 51887*x1^4*x2^2*x3^2*x4^4 + 24291*x1^3*x2^3*x3^2*x4^4 + 5558*x1^2*x2^4*x3^2*x4^4 + 23311*x1*x2^5*x3^2*x4^4 + 48646*x2^6*x3^2*x4^4 + 43297*x1^6*x3*x4^5 + 65065*x1^5*x2*x3*x4^5 + 34357*x1^4*x2^2*x3*x4^5 + 43992*x1^3*x2^3*x3*x4^5 + 55329*x1^2*x2^4*x3*x4^5 + 37488*x1*x2^5*x3*x4^5 + 35039*x2^6*x3*x4^5 + 2215*x1^6*x4^6 + 44932*x1^5*x2*x4^6 + 34757*x1^4*x2^2*x4^6 + 59051*x1^3*x2^3*x4^6 + 55159*x1^2*x2^4*x4^6 + 32872*x1*x2^5*x4^6 + 18849*x2^6*x4^6 + 36450*x1^7*x3^4*x5 + 40491*x1^6*x2*x3^4*x5 + 42551*x1^5*x2^2*x3^4*x5 + 9476*x1^4*x2^3*x3^4*x5 + 5506*x1^3*x2^4*x3^4*x5 + 43209*x1^2*x2^5*x3^4*x5 + 24888*x1*x2^6*x3^4*x5 + 43518*x2^7*x3^4*x5 + 54439*x1^7*x3^3*x4*x5 + 35509*x1^6*x2*x3^3*x4*x5 + 15769*x1^5*x2^2*x3^3*x4*x5 + 2161*x1^4*x2^3*x3^3*x4*x5 + 59493*x1^3*x2^4*x3^3*x4*x5 + 21636*x1^2*x2^5*x3^3*x4*x5 + 10448*x1*x2^6*x3^3*x4*x5 + 55615*x2^7*x3^3*x4*x5 + 24567*x1^7*x3^2*x4^2*x5 + 54968*x1^6*x2*x3^2*x4^2*x5 + 19016*x1^5*x2^2*x3^2*x4^2*x5 + 6091*x1^4*x2^3*x3^2*x4^2*x5 + 56008*x1^3*x2^4*x3^2*x4^2*x5 + 19134*x1^2*x2^5*x3^2*x4^2*x5 + 31900*x1*x2^6*x3^2*x4^2*x5 + 56316*x2^7*x3^2*x4^2*x5 + 4448*x1^7*x3*x4^3*x5 + 15183*x1^6*x2*x3*x4^3*x5 + 50172*x1^5*x2^2*x3*x4^3*x5 + 9352*x1^4*x2^3*x3*x4^3*x5 + 8566*x1^3*x2^4*x3*x4^3*x5 + 20606*x1^2*x2^5*x3*x4^3*x5 + 48534*x1*x2^6*x3*x4^3*x5 + 58314*x2^7*x3*x4^3*x5 + 60110*x1^7*x4^4*x5 + 38631*x1^6*x2*x4^4*x5 + 53776*x1^5*x2^2*x4^4*x5 + 62670*x1^4*x2^3*x4^4*x5 + 20880*x1^3*x2^4*x4^4*x5 + 52540*x1^2*x2^5*x4^4*x5 + 48943*x1*x2^6*x4^4*x5 + 61357*x2^7*x4^4*x5 + 37325*x1^8*x3^2*x5^2 + 14788*x1^7*x2*x3^2*x5^2 + 10829*x1^6*x2^2*x3^2*x5^2 + 63888*x1^5*x2^3*x3^2*x5^2 + 35590*x1^4*x2^4*x3^2*x5^2 + 50231*x1^3*x2^5*x3^2*x5^2 + 9790*x1^2*x2^6*x3^2*x5^2 + 36649*x1*x2^7*x3^2*x5^2 + 31105*x2^8*x3^2*x5^2 + 36017*x1^8*x3*x4*x5^2 + 40116*x1^7*x2*x3*x4*x5^2 + 41183*x1^6*x2^2*x3*x4*x5^2 + 37006*x1^5*x2^3*x3*x4*x5^2 + 53479*x1^4*x2^4*x3*x4*x5^2 + 23220*x1^3*x2^5*x3*x4*x5^2 + 11826*x1^2*x2^6*x3*x4*x5^2 + 49752*x1*x2^7*x3*x4*x5^2 + 54029*x2^8*x3*x4*x5^2 + 918*x1^8*x4^2*x5^2 + 49645*x1^7*x2*x4^2*x5^2 + 16069*x1^6*x2^2*x4^2*x5^2 + 10549*x1^5*x2^3*x4^2*x5^2 + 55926*x1^4*x2^4*x4^2*x5^2 + 41824*x1^3*x2^5*x4^2*x5^2 + 44391*x1^2*x2^6*x4^2*x5^2 + 56483*x1*x2^7*x4^2*x5^2 + 33259*x2^8*x4^2*x5^2 + 50061*x1^9*x5^3 + 3633*x1^8*x2*x5^3 + 27620*x1^7*x2^2*x5^3 + 16634*x1^6*x2^3*x5^3 + 31726*x1^5*x2^4*x5^3 + 23388*x1^4*x2^5*x5^3 + 48855*x1^3*x2^6*x5^3 + 60395*x1^2*x2^7*x5^3 + 39630*x1*x2^8*x5^3 + 32874*x2^9*x5^3 + 10746*x1^7*x3^4*x6 + 4940*x1^6*x2*x3^4*x6 + 29486*x1^5*x2^2*x3^4*x6 + 42571*x1^4*x2^3*x3^4*x6 + 5464*x1^3*x2^4*x3^4*x6 + 21182*x1^2*x2^5*x3^4*x6 + 24744*x1*x2^6*x3^4*x6 + 47135*x2^7*x3^4*x6 + 24045*x1^7*x3^3*x4*x6 + 1525*x1^6*x2*x3^3*x4*x6 + 14118*x1^5*x2^2*x3^3*x4*x6 + 27781*x1^4*x2^3*x3^3*x4*x6 + 6139*x1^3*x2^4*x3^3*x4*x6 + 64071*x1^2*x2^5*x3^3*x4*x6 + 7195*x1*x2^6*x3^3*x4*x6 + 16001*x2^7*x3^3*x4*x6 + 6397*x1^7*x3^2*x4^2*x6 + 35456*x1^6*x2*x3^2*x4^2*x6 + 10150*x1^5*x2^2*x3^2*x4^2*x6 + 58173*x1^4*x2^3*x3^2*x4^2*x6 + 60889*x1^3*x2^4*x3^2*x4^2*x6 + 12993*x1^2*x2^5*x3^2*x4^2*x6 + 54381*x1*x2^6*x3^2*x4^2*x6 + 42043*x2^7*x3^2*x4^2*x6 + 33273*x1^7*x3*x4^3*x6 + 886*x1^6*x2*x3*x4^3*x6 + 31520*x1^5*x2^2*x3*x4^3*x6 + 41599*x1^4*x2^3*x3*x4^3*x6 + 4908*x1^3*x2^4*x3*x4^3*x6 + 47256*x1^2*x2^5*x3*x4^3*x6 + 49878*x1*x2^6*x3*x4^3*x6 + 58551*x2^7*x3*x4^3*x6 + 16959*x1^7*x4^4*x6 + 44702*x1^6*x2*x4^4*x6 + 10515*x1^5*x2^2*x4^4*x6 + 28597*x1^4*x2^3*x4^4*x6 + 48606*x1^3*x2^4*x4^4*x6 + 30900*x1^2*x2^5*x4^4*x6 + 62124*x1*x2^6*x4^4*x6 + 28879*x2^7*x4^4*x6 + 15680*x1^8*x3^2*x5*x6 + 13302*x1^7*x2*x3^2*x5*x6 + 15238*x1^6*x2^2*x3^2*x5*x6 + 49757*x1^5*x2^3*x3^2*x5*x6 + 18241*x1^4*x2^4*x3^2*x5*x6 + 685*x1^3*x2^5*x3^2*x5*x6 + 38094*x1^2*x2^6*x3^2*x5*x6 + 30527*x1*x2^7*x3^2*x5*x6 + 39963*x2^8*x3^2*x5*x6 + 5641*x1^8*x3*x4*x5*x6 + 54302*x1^7*x2*x3*x4*x5*x6 + 24077*x1^6*x2^2*x3*x4*x5*x6 + 38567*x1^5*x2^3*x3*x4*x5*x6 + 28143*x1^4*x2^4*x3*x4*x5*x6 + 39929*x1^3*x2^5*x3*x4*x5*x6 + 8664*x1^2*x2^6*x3*x4*x5*x6 + 30774*x1*x2^7*x3*x4*x5*x6 + 29733*x2^8*x3*x4*x5*x6 + 24921*x1^8*x4^2*x5*x6 + 64287*x1^7*x2*x4^2*x5*x6 + 14249*x1^6*x2^2*x4^2*x5*x6 + 64937*x1^5*x2^3*x4^2*x5*x6 + 2869*x1^4*x2^4*x4^2*x5*x6 + 35323*x1^3*x2^5*x4^2*x5*x6 + 29079*x1^2*x2^6*x4^2*x5*x6 + 40920*x1*x2^7*x4^2*x5*x6 + 47577*x2^8*x4^2*x5*x6 + 8758*x1^9*x5^2*x6 + 9140*x1^8*x2*x5^2*x6 + 38725*x1^7*x2^2*x5^2*x6 + 65342*x1^6*x2^3*x5^2*x6 + 28611*x1^5*x2^4*x5^2*x6 + 17670*x1^4*x2^5*x5^2*x6 + 45071*x1^3*x2^6*x5^2*x6 + 27313*x1^2*x2^7*x5^2*x6 + 60631*x1*x2^8*x5^2*x6 + 13144*x2^9*x5^2*x6 + 21526*x1^8*x3^2*x6^2 + 20048*x1^7*x2*x3^2*x6^2 + 37580*x1^6*x2^2*x3^2*x6^2 + 28349*x1^5*x2^3*x3^2*x6^2 + 3787*x1^4*x2^4*x3^2*x6^2 + 16178*x1^3*x2^5*x3^2*x6^2 + 58247*x1^2*x2^6*x3^2*x6^2 + 62769*x1*x2^7*x3^2*x6^2 + 12387*x2^8*x3^2*x6^2 + 32048*x1^8*x3*x4*x6^2 + 10374*x1^7*x2*x3*x4*x6^2 + 23355*x1^6*x2^2*x3*x4*x6^2 + 58432*x1^5*x2^3*x3*x4*x6^2 + 12795*x1^4*x2^4*x3*x4*x6^2 + 38693*x1^3*x2^5*x3*x4*x6^2 + 42599*x1^2*x2^6*x3*x4*x6^2 + 18888*x1*x2^7*x3*x4*x6^2 + 33832*x2^8*x3*x4*x6^2 + 37929*x1^8*x4^2*x6^2 + 5796*x1^7*x2*x4^2*x6^2 + 29590*x1^6*x2^2*x4^2*x6^2 + 40025*x1^5*x2^3*x4^2*x6^2 + 9210*x1^4*x2^4*x4^2*x6^2 + 36328*x1^3*x2^5*x4^2*x6^2 + 36116*x1^2*x2^6*x4^2*x6^2 + 9885*x1*x2^7*x4^2*x6^2 + 27491*x2^8*x4^2*x6^2 + 28602*x1^9*x5*x6^2 + 29528*x1^8*x2*x5*x6^2 + 19126*x1^7*x2^2*x5*x6^2 + 52*x1^6*x2^3*x5*x6^2 + 3875*x1^5*x2^4*x5*x6^2 + 23281*x1^4*x2^5*x5*x6^2 + 64092*x1^3*x2^6*x5*x6^2 + 5638*x1^2*x2^7*x5*x6^2 + 61837*x1*x2^8*x5*x6^2 + 18185*x2^9*x5*x6^2 + 45348*x1^9*x6^3 + 37076*x1^8*x2*x6^3 + 34392*x1^7*x2^2*x6^3 + 22050*x1^6*x2^3*x6^3 + 15195*x1^5*x2^4*x6^3 + 38564*x1^4*x2^5*x6^3 + 10751*x1^3*x2^6*x6^3 + 2261*x1^2*x2^7*x6^3 + 2138*x1*x2^8*x6^3 + 33865*x2^9*x6^3 + 60441*x1^4*x3^7 + 19404*x1^3*x2*x3^7 + 13425*x1^2*x2^2*x3^7 + 14792*x1*x2^3*x3^7 + 20858*x2^4*x3^7 + 11332*x1^4*x3^6*x4 + 58197*x1^3*x2*x3^6*x4 + 24327*x1^2*x2^2*x3^6*x4 + 61650*x1*x2^3*x3^6*x4 + 32579*x2^4*x3^6*x4 + 31266*x1^4*x3^5*x4^2 + 49645*x1^3*x2*x3^5*x4^2 + 47528*x1^2*x2^2*x3^5*x4^2 + 15266*x1*x2^3*x3^5*x4^2 + 32375*x2^4*x3^5*x4^2 + 51378*x1^4*x3^4*x4^3 + 61864*x1^3*x2*x3^4*x4^3 + 34256*x1^2*x2^2*x3^4*x4^3 + 54575*x1*x2^3*x3^4*x4^3 + 26261*x2^4*x3^4*x4^3 + 37738*x1^4*x3^3*x4^4 + 17079*x1^3*x2*x3^3*x4^4 + 27317*x1^2*x2^2*x3^3*x4^4 + 9426*x1*x2^3*x3^3*x4^4 + 41907*x2^4*x3^3*x4^4 + 24931*x1^4*x3^2*x4^5 + 65059*x1^3*x2*x3^2*x4^5 + 52568*x1^2*x2^2*x3^2*x4^5 + 46886*x1*x2^3*x3^2*x4^5 + 52067*x2^4*x3^2*x4^5 + 10591*x1^4*x3*x4^6 + 50902*x1^3*x2*x3*x4^6 + 62752*x1^2*x2^2*x3*x4^6 + 15019*x1*x2^3*x3*x4^6 + 39642*x2^4*x3*x4^6 + 38191*x1^4*x4^7 + 11083*x1^3*x2*x4^7 + 13445*x1^2*x2^2*x4^7 + 56137*x1*x2^3*x4^7 + 44998*x2^4*x4^7 + 57699*x1^5*x3^5*x5 + 35346*x1^4*x2*x3^5*x5 + 59286*x1^3*x2^2*x3^5*x5 + 9853*x1^2*x2^3*x3^5*x5 + 31741*x1*x2^4*x3^5*x5 + 11183*x2^5*x3^5*x5 + 35892*x1^5*x3^4*x4*x5 + 42347*x1^4*x2*x3^4*x4*x5 + 5540*x1^3*x2^2*x3^4*x4*x5 + 57455*x1^2*x2^3*x3^4*x4*x5 + 13034*x1*x2^4*x3^4*x4*x5 + 6131*x2^5*x3^4*x4*x5 + 36648*x1^5*x3^3*x4^2*x5 + 32688*x1^4*x2*x3^3*x4^2*x5 + 33825*x1^3*x2^2*x3^3*x4^2*x5 + 481*x1^2*x2^3*x3^3*x4^2*x5 + 63614*x1*x2^4*x3^3*x4^2*x5 + 50083*x2^5*x3^3*x4^2*x5 + 19611*x1^5*x3^2*x4^3*x5 + 16925*x1^4*x2*x3^2*x4^3*x5 + 28084*x1^3*x2^2*x3^2*x4^3*x5 + 36109*x1^2*x2^3*x3^2*x4^3*x5 + 62791*x1*x2^4*x3^2*x4^3*x5 + 15001*x2^5*x3^2*x4^3*x5 + 33171*x1^5*x3*x4^4*x5 + 38573*x1^4*x2*x3*x4^4*x5 + 16656*x1^3*x2^2*x3*x4^4*x5 + 63253*x1^2*x2^3*x3*x4^4*x5 + 9062*x1*x2^4*x3*x4^4*x5 + 8781*x2^5*x3*x4^4*x5 + 2366*x1^5*x4^5*x5 + 20653*x1^4*x2*x4^5*x5 + 35652*x1^3*x2^2*x4^5*x5 + 57116*x1^2*x2^3*x4^5*x5 + 53187*x1*x2^4*x4^5*x5 + 48126*x2^5*x4^5*x5 + 60653*x1^6*x3^3*x5^2 + 37835*x1^5*x2*x3^3*x5^2 + 41179*x1^4*x2^2*x3^3*x5^2 + 63705*x1^3*x2^3*x3^3*x5^2 + 29682*x1^2*x2^4*x3^3*x5^2 + 54439*x1*x2^5*x3^3*x5^2 + 600*x2^6*x3^3*x5^2 + 38260*x1^6*x3^2*x4*x5^2 + 28*x1^5*x2*x3^2*x4*x5^2 + 23646*x1^4*x2^2*x3^2*x4*x5^2 + 36486*x1^3*x2^3*x3^2*x4*x5^2 + 15395*x1^2*x2^4*x3^2*x4*x5^2 + 57663*x1*x2^5*x3^2*x4*x5^2 + 54824*x2^6*x3^2*x4*x5^2 + 37398*x1^6*x3*x4^2*x5^2 + 30870*x1^5*x2*x3*x4^2*x5^2 + 42621*x1^4*x2^2*x3*x4^2*x5^2 + 14983*x1^3*x2^3*x3*x4^2*x5^2 + 60955*x1^2*x2^4*x3*x4^2*x5^2 + 52574*x1*x2^5*x3*x4^2*x5^2 + 30093*x2^6*x3*x4^2*x5^2 + 1849*x1^6*x4^3*x5^2 + 26552*x1^5*x2*x4^3*x5^2 + 48957*x1^4*x2^2*x4^3*x5^2 + 909*x1^3*x2^3*x4^3*x5^2 + 24496*x1^2*x2^4*x4^3*x5^2 + 49170*x1*x2^5*x4^3*x5^2 + 33010*x2^6*x4^3*x5^2 + 63896*x1^7*x3*x5^3 + 61331*x1^6*x2*x3*x5^3 + 16934*x1^5*x2^2*x3*x5^3 + 51722*x1^4*x2^3*x3*x5^3 + 15823*x1^3*x2^4*x3*x5^3 + 61210*x1^2*x2^5*x3*x5^3 + 35091*x1*x2^6*x3*x5^3 + 27638*x2^7*x3*x5^3 + 10786*x1^7*x4*x5^3 + 58285*x1^6*x2*x4*x5^3 + 62554*x1^5*x2^2*x4*x5^3 + 47779*x1^4*x2^3*x4*x5^3 + 48280*x1^3*x2^4*x4*x5^3 + 37731*x1^2*x2^5*x4*x5^3 + 32429*x1*x2^6*x4*x5^3 + 30551*x2^7*x4*x5^3 + 40903*x1^5*x3^5*x6 + 30341*x1^4*x2*x3^5*x6 + 31938*x1^3*x2^2*x3^5*x6 + 44129*x1^2*x2^3*x3^5*x6 + 51757*x1*x2^4*x3^5*x6 + 63224*x2^5*x3^5*x6 + 17918*x1^5*x3^4*x4*x6 + 30698*x1^4*x2*x3^4*x4*x6 + 64730*x1^3*x2^2*x3^4*x4*x6 + 21512*x1^2*x2^3*x3^4*x4*x6 + 35958*x1*x2^4*x3^4*x4*x6 + 35739*x2^5*x3^4*x4*x6 + 23903*x1^5*x3^3*x4^2*x6 + 32219*x1^4*x2*x3^3*x4^2*x6 + 37594*x1^3*x2^2*x3^3*x4^2*x6 + 18296*x1^2*x2^3*x3^3*x4^2*x6 + 58755*x1*x2^4*x3^3*x4^2*x6 + 35941*x2^5*x3^3*x4^2*x6 + 6396*x1^5*x3^2*x4^3*x6 + 14582*x1^4*x2*x3^2*x4^3*x6 + 60310*x1^3*x2^2*x3^2*x4^3*x6 + 63268*x1^2*x2^3*x3^2*x4^3*x6 + 2089*x1*x2^4*x3^2*x4^3*x6 + 64671*x2^5*x3^2*x4^3*x6 + 650*x1^5*x3*x4^4*x6 + 14649*x1^4*x2*x3*x4^4*x6 + 22431*x1^3*x2^2*x3*x4^4*x6 + 28130*x1^2*x2^3*x3*x4^4*x6 + 26675*x1*x2^4*x3*x4^4*x6 + 36743*x2^5*x3*x4^4*x6 + 56324*x1^5*x4^5*x6 + 53550*x1^4*x2*x4^5*x6 + 5198*x1^3*x2^2*x4^5*x6 + 55302*x1^2*x2^3*x4^5*x6 + 183*x1*x2^4*x4^5*x6 + 6047*x2^5*x4^5*x6 + 9951*x1^6*x3^3*x5*x6 + 20567*x1^5*x2*x3^3*x5*x6 + 40077*x1^4*x2^2*x3^3*x5*x6 + 20660*x1^3*x2^3*x3^3*x5*x6 + 54491*x1^2*x2^4*x3^3*x5*x6 + 45129*x1*x2^5*x3^3*x5*x6 + 60464*x2^6*x3^3*x5*x6 + 46245*x1^6*x3^2*x4*x5*x6 + 29879*x1^5*x2*x3^2*x4*x5*x6 + 27031*x1^4*x2^2*x3^2*x4*x5*x6 + 22375*x1^3*x2^3*x3^2*x4*x5*x6 + 281*x1^2*x2^4*x3^2*x4*x5*x6 + 60783*x1*x2^5*x3^2*x4*x5*x6 + 14316*x2^6*x3^2*x4*x5*x6 + 21014*x1^6*x3*x4^2*x5*x6 + 30331*x1^5*x2*x3*x4^2*x5*x6 + 17560*x1^4*x2^2*x3*x4^2*x5*x6 + 32127*x1^3*x2^3*x3*x4^2*x5*x6 + 54781*x1^2*x2^4*x3*x4^2*x5*x6 + 27758*x1*x2^5*x3*x4^2*x5*x6 + 41641*x2^6*x3*x4^2*x5*x6 + 56403*x1^6*x4^3*x5*x6 + 37057*x1^5*x2*x4^3*x5*x6 + 23940*x1^4*x2^2*x4^3*x5*x6 + 6082*x1^3*x2^3*x4^3*x5*x6 + 16945*x1^2*x2^4*x4^3*x5*x6 + 51988*x1*x2^5*x4^3*x5*x6 + 43980*x2^6*x4^3*x5*x6 + 59519*x1^7*x3*x5^2*x6 + 6247*x1^6*x2*x3*x5^2*x6 + 21745*x1^5*x2^2*x3*x5^2*x6 + 23753*x1^4*x2^3*x3*x5^2*x6 + 3535*x1^3*x2^4*x3*x5^2*x6 + 65420*x1^2*x2^5*x3*x5^2*x6 + 17377*x1*x2^6*x3*x5^2*x6 + 8042*x2^7*x3*x5^2*x6 + 50917*x1^7*x4*x5^2*x6 + 35729*x1^6*x2*x4*x5^2*x6 + 16776*x1^5*x2^2*x4*x5^2*x6 + 18864*x1^4*x2^3*x4*x5^2*x6 + 19195*x1^3*x2^4*x4*x5^2*x6 + 16574*x1^2*x2^5*x4*x5^2*x6 + 33848*x1*x2^6*x4*x5^2*x6 + 40859*x2^7*x4*x5^2*x6 + 37982*x1^6*x3^3*x6^2 + 37187*x1^5*x2*x3^3*x6^2 + 3936*x1^4*x2^2*x3^3*x6^2 + 43025*x1^3*x2^3*x3^3*x6^2 + 27731*x1^2*x2^4*x3^3*x6^2 + 5515*x1*x2^5*x3^3*x6^2 + 17029*x2^6*x3^3*x6^2 + 58592*x1^6*x3^2*x4*x6^2 + 26184*x1^5*x2*x3^2*x4*x6^2 + 27211*x1^4*x2^2*x3^2*x4*x6^2 + 13614*x1^3*x2^3*x3^2*x4*x6^2 + 65087*x1^2*x2^4*x3^2*x4*x6^2 + 28746*x1*x2^5*x3^2*x4*x6^2 + 34552*x2^6*x3^2*x4*x6^2 + 50041*x1^6*x3*x4^2*x6^2 + 15506*x1^5*x2*x3*x4^2*x6^2 + 36253*x1^4*x2^2*x3*x4^2*x6^2 + 38955*x1^3*x2^3*x3*x4^2*x6^2 + 28953*x1^2*x2^4*x3*x4^2*x6^2 + 1119*x1*x2^5*x3*x4^2*x6^2 + 35843*x2^6*x3*x4^2*x6^2 + 8060*x1^6*x4^3*x6^2 + 62571*x1^5*x2*x4^3*x6^2 + 15782*x1^4*x2^2*x4^3*x6^2 + 46488*x1^3*x2^3*x4^3*x6^2 + 27648*x1^2*x2^4*x4^3*x6^2 + 50701*x1*x2^5*x4^3*x6^2 + 6028*x2^6*x4^3*x6^2 + 25206*x1^7*x3*x5*x6^2 + 46042*x1^6*x2*x3*x5*x6^2 + 65098*x1^5*x2^2*x3*x5*x6^2 + 38322*x1^4*x2^3*x3*x5*x6^2 + 34505*x1^3*x2^4*x3*x5*x6^2 + 37770*x1^2*x2^5*x3*x5*x6^2 + 49561*x1*x2^6*x3*x5*x6^2 + 19477*x2^7*x3*x5*x6^2 + 62614*x1^7*x4*x5*x6^2 + 8518*x1^6*x2*x4*x5*x6^2 + 7546*x1^5*x2^2*x4*x5*x6^2 + 20457*x1^4*x2^3*x4*x5*x6^2 + 39235*x1^3*x2^4*x4*x5*x6^2 + 26446*x1^2*x2^5*x4*x5*x6^2 + 62995*x1*x2^6*x4*x5*x6^2 + 13320*x2^7*x4*x5*x6^2 + 52714*x1^7*x3*x6^3 + 58441*x1^6*x2*x3*x6^3 + 28773*x1^5*x2^2*x3*x6^3 + 63850*x1^4*x2^3*x3*x6^3 + 4483*x1^3*x2^4*x3*x6^3 + 1585*x1^2*x2^5*x3*x6^3 + 22891*x1*x2^6*x3*x6^3 + 44779*x2^7*x3*x6^3 + 57475*x1^7*x4*x6^3 + 28945*x1^6*x2*x4*x6^3 + 1778*x1^5*x2^2*x4*x6^3 + 57495*x1^4*x2^3*x4*x6^3 + 61472*x1^3*x2^4*x4*x6^3 + 6645*x1^2*x2^5*x4*x6^3 + 39096*x1*x2^6*x4*x6^3 + 56567*x2^7*x4*x6^3 + 11118*x1^2*x3^8 + 56628*x1*x2*x3^8 + 5504*x2^2*x3^8 + 62548*x1^2*x3^7*x4 + 3190*x1*x2*x3^7*x4 + 36384*x2^2*x3^7*x4 + 60247*x1^2*x3^6*x4^2 + 38941*x1*x2*x3^6*x4^2 + 51516*x2^2*x3^6*x4^2 + 62034*x1^2*x3^5*x4^3 + 43743*x1*x2*x3^5*x4^3 + 25639*x2^2*x3^5*x4^3 + 1721*x1^2*x3^4*x4^4 + 21405*x1*x2*x3^4*x4^4 + 30834*x2^2*x3^4*x4^4 + 55478*x1^2*x3^3*x4^5 + 59351*x1*x2*x3^3*x4^5 + 25234*x2^2*x3^3*x4^5 + 3845*x1^2*x3^2*x4^6 + 65383*x1*x2*x3^2*x4^6 + 65002*x2^2*x3^2*x4^6 + 51083*x1^2*x3*x4^7 + 904*x1*x2*x3*x4^7 + 43928*x2^2*x3*x4^7 + 53642*x1^2*x4^8 + 42054*x1*x2*x4^8 + 13960*x2^2*x4^8 + 53478*x1^3*x3^6*x5 + 27368*x1^2*x2*x3^6*x5 + 13356*x1*x2^2*x3^6*x5 + 49074*x2^3*x3^6*x5 + 64379*x1^3*x3^5*x4*x5 + 64915*x1^2*x2*x3^5*x4*x5 + 1279*x1*x2^2*x3^5*x4*x5 + 9776*x2^3*x3^5*x4*x5 + 49031*x1^3*x3^4*x4^2*x5 + 43425*x1^2*x2*x3^4*x4^2*x5 + 60566*x1*x2^2*x3^4*x4^2*x5 + 49404*x2^3*x3^4*x4^2*x5 + 13462*x1^3*x3^3*x4^3*x5 + 37867*x1^2*x2*x3^3*x4^3*x5 + 53828*x1*x2^2*x3^3*x4^3*x5 + 60036*x2^3*x3^3*x4^3*x5 + 49805*x1^3*x3^2*x4^4*x5 + 26621*x1^2*x2*x3^2*x4^4*x5 + 20773*x1*x2^2*x3^2*x4^4*x5 + 18077*x2^3*x3^2*x4^4*x5 + 8415*x1^3*x3*x4^5*x5 + 19563*x1^2*x2*x3*x4^5*x5 + 11227*x1*x2^2*x3*x4^5*x5 + 9936*x2^3*x3*x4^5*x5 + 54139*x1^3*x4^6*x5 + 16859*x1^2*x2*x4^6*x5 + 34848*x1*x2^2*x4^6*x5 + 37530*x2^3*x4^6*x5 + 18599*x1^4*x3^4*x5^2 + 25736*x1^3*x2*x3^4*x5^2 + 51193*x1^2*x2^2*x3^4*x5^2 + 48482*x1*x2^3*x3^4*x5^2 + 28165*x2^4*x3^4*x5^2 + 29416*x1^4*x3^3*x4*x5^2 + 43993*x1^3*x2*x3^3*x4*x5^2 + 11605*x1^2*x2^2*x3^3*x4*x5^2 + 14478*x1*x2^3*x3^3*x4*x5^2 + 1529*x2^4*x3^3*x4*x5^2 + 17864*x1^4*x3^2*x4^2*x5^2 + 62829*x1^3*x2*x3^2*x4^2*x5^2 + 17322*x1^2*x2^2*x3^2*x4^2*x5^2 + 60385*x1*x2^3*x3^2*x4^2*x5^2 + 65389*x2^4*x3^2*x4^2*x5^2 + 39306*x1^4*x3*x4^3*x5^2 + 29230*x1^3*x2*x3*x4^3*x5^2 + 31223*x1^2*x2^2*x3*x4^3*x5^2 + 52051*x1*x2^3*x3*x4^3*x5^2 + 53941*x2^4*x3*x4^3*x5^2 + 36973*x1^4*x4^4*x5^2 + 52801*x1^3*x2*x4^4*x5^2 + 10459*x1^2*x2^2*x4^4*x5^2 + 5815*x1*x2^3*x4^4*x5^2 + 50419*x2^4*x4^4*x5^2 + 3860*x1^5*x3^2*x5^3 + 21973*x1^4*x2*x3^2*x5^3 + 27947*x1^3*x2^2*x3^2*x5^3 + 39654*x1^2*x2^3*x3^2*x5^3 + 7939*x1*x2^4*x3^2*x5^3 + 28982*x2^5*x3^2*x5^3 + 54612*x1^5*x3*x4*x5^3 + 64612*x1^4*x2*x3*x4*x5^3 + 8895*x1^3*x2^2*x3*x4*x5^3 + 7527*x1^2*x2^3*x3*x4*x5^3 + 35348*x1*x2^4*x3*x4*x5^3 + 19379*x2^5*x3*x4*x5^3 + 17894*x1^5*x4^2*x5^3 + 50528*x1^4*x2*x4^2*x5^3 + 16872*x1^3*x2^2*x4^2*x5^3 + 24147*x1^2*x2^3*x4^2*x5^3 + 13208*x1*x2^4*x4^2*x5^3 + 13219*x2^5*x4^2*x5^3 + 28942*x1^6*x5^4 + 49945*x1^5*x2*x5^4 + 30149*x1^4*x2^2*x5^4 + 54755*x1^3*x2^3*x5^4 + 6759*x1^2*x2^4*x5^4 + 59565*x1*x2^5*x5^4 + 41042*x2^6*x5^4 + 63085*x1^3*x3^6*x6 + 34412*x1^2*x2*x3^6*x6 + 5998*x1*x2^2*x3^6*x6 + 60231*x2^3*x3^6*x6 + 43718*x1^3*x3^5*x4*x6 + 28913*x1^2*x2*x3^5*x4*x6 + 34336*x1*x2^2*x3^5*x4*x6 + 8156*x2^3*x3^5*x4*x6 + 7630*x1^3*x3^4*x4^2*x6 + 46195*x1^2*x2*x3^4*x4^2*x6 + 11523*x1*x2^2*x3^4*x4^2*x6 + 58299*x2^3*x3^4*x4^2*x6 + 36527*x1^3*x3^3*x4^3*x6 + 1617*x1^2*x2*x3^3*x4^3*x6 + 58072*x1*x2^2*x3^3*x4^3*x6 + 38980*x2^3*x3^3*x4^3*x6 + 5384*x1^3*x3^2*x4^4*x6 + 49672*x1^2*x2*x3^2*x4^4*x6 + 5872*x1*x2^2*x3^2*x4^4*x6 + 47885*x2^3*x3^2*x4^4*x6 + 9807*x1^3*x3*x4^5*x6 + 57378*x1^2*x2*x3*x4^5*x6 + 53583*x1*x2^2*x3*x4^5*x6 + 4578*x2^3*x3*x4^5*x6 + 55817*x1^3*x4^6*x6 + 45300*x1^2*x2*x4^6*x6 + 24245*x1*x2^2*x4^6*x6 + 11153*x2^3*x4^6*x6 + 18749*x1^4*x3^4*x5*x6 + 43619*x1^3*x2*x3^4*x5*x6 + 20235*x1^2*x2^2*x3^4*x5*x6 + 27828*x1*x2^3*x3^4*x5*x6 + 26807*x2^4*x3^4*x5*x6 + 4285*x1^4*x3^3*x4*x5*x6 + 49708*x1^3*x2*x3^3*x4*x5*x6 + 61641*x1^2*x2^2*x3^3*x4*x5*x6 + 22372*x1*x2^3*x3^3*x4*x5*x6 + 9432*x2^4*x3^3*x4*x5*x6 + 32651*x1^4*x3^2*x4^2*x5*x6 + 34909*x1^3*x2*x3^2*x4^2*x5*x6 + 33114*x1^2*x2^2*x3^2*x4^2*x5*x6 + 8147*x1*x2^3*x3^2*x4^2*x5*x6 + 8171*x2^4*x3^2*x4^2*x5*x6 + 16259*x1^4*x3*x4^3*x5*x6 + 27257*x1^3*x2*x3*x4^3*x5*x6 + 43766*x1^2*x2^2*x3*x4^3*x5*x6 + 5009*x1*x2^3*x3*x4^3*x5*x6 + 42790*x2^4*x3*x4^3*x5*x6 + 20795*x1^4*x4^4*x5*x6 + 34630*x1^3*x2*x4^4*x5*x6 + 6836*x1^2*x2^2*x4^4*x5*x6 + 58826*x1*x2^3*x4^4*x5*x6 + 46715*x2^4*x4^4*x5*x6 + 9460*x1^5*x3^2*x5^2*x6 + 62139*x1^4*x2*x3^2*x5^2*x6 + 15903*x1^3*x2^2*x3^2*x5^2*x6 + 16095*x1^2*x2^3*x3^2*x5^2*x6 + 40234*x1*x2^4*x3^2*x5^2*x6 + 49837*x2^5*x3^2*x5^2*x6 + 60213*x1^5*x3*x4*x5^2*x6 + 9825*x1^4*x2*x3*x4*x5^2*x6 + 22249*x1^3*x2^2*x3*x4*x5^2*x6 + 62222*x1^2*x2^3*x3*x4*x5^2*x6 + 42125*x1*x2^4*x3*x4*x5^2*x6 + 50092*x2^5*x3*x4*x5^2*x6 + 1589*x1^5*x4^2*x5^2*x6 + 26552*x1^4*x2*x4^2*x5^2*x6 + 44141*x1^3*x2^2*x4^2*x5^2*x6 + 57816*x1^2*x2^3*x4^2*x5^2*x6 + 44446*x1*x2^4*x4^2*x5^2*x6 + 50406*x2^5*x4^2*x5^2*x6 + 64380*x1^6*x5^3*x6 + 17028*x1^5*x2*x5^3*x6 + 31743*x1^4*x2^2*x5^3*x6 + 19735*x1^3*x2^3*x5^3*x6 + 36692*x1^2*x2^4*x5^3*x6 + 4530*x1*x2^5*x5^3*x6 + 59535*x2^6*x5^3*x6 + 29924*x1^4*x3^4*x6^2 + 54720*x1^3*x2*x3^4*x6^2 + 33469*x1^2*x2^2*x3^4*x6^2 + 49737*x1*x2^3*x3^4*x6^2 + 26412*x2^4*x3^4*x6^2 + 29657*x1^4*x3^3*x4*x6^2 + 26289*x1^3*x2*x3^3*x4*x6^2 + 25445*x1^2*x2^2*x3^3*x4*x6^2 + 38114*x1*x2^3*x3^3*x4*x6^2 + 31015*x2^4*x3^3*x4*x6^2 + 12037*x1^4*x3^2*x4^2*x6^2 + 6629*x1^3*x2*x3^2*x4^2*x6^2 + 57719*x1^2*x2^2*x3^2*x4^2*x6^2 + 21812*x1*x2^3*x3^2*x4^2*x6^2 + 46636*x2^4*x3^2*x4^2*x6^2 + 57139*x1^4*x3*x4^3*x6^2 + 13054*x1^3*x2*x3*x4^3*x6^2 + 59390*x1^2*x2^2*x3*x4^3*x6^2 + 62049*x1*x2^3*x3*x4^3*x6^2 + 46424*x2^4*x3*x4^3*x6^2 + 62880*x1^4*x4^4*x6^2 + 22812*x1^3*x2*x4^4*x6^2 + 15149*x1^2*x2^2*x4^4*x6^2 + 22305*x1*x2^3*x4^4*x6^2 + 14385*x2^4*x4^4*x6^2 + 3972*x1^5*x3^2*x5*x6^2 + 41470*x1^4*x2*x3^2*x5*x6^2 + 22105*x1^3*x2^2*x3^2*x5*x6^2 + 28322*x1^2*x2^3*x3^2*x5*x6^2 + 20410*x1*x2^4*x3^2*x5*x6^2 + 26984*x2^5*x3^2*x5*x6^2 + 64087*x1^5*x3*x4*x5*x6^2 + 29432*x1^4*x2*x3*x4*x5*x6^2 + 11390*x1^3*x2^2*x3*x4*x5*x6^2 + 1952*x1^2*x2^3*x3*x4*x5*x6^2 + 5219*x1*x2^4*x3*x4*x5*x6^2 + 43382*x2^5*x3*x4*x5*x6^2 + 4983*x1^5*x4^2*x5*x6^2 + 29082*x1^4*x2*x4^2*x5*x6^2 + 19458*x1^3*x2^2*x4^2*x5*x6^2 + 59351*x1^2*x2^3*x4^2*x5*x6^2 + 36292*x1*x2^4*x4^2*x5*x6^2 + 25958*x2^5*x4^2*x5*x6^2 + 40964*x1^6*x5^2*x6^2 + 60970*x1^5*x2*x5^2*x6^2 + 1225*x1^4*x2^2*x5^2*x6^2 + 59770*x1^3*x2^3*x5^2*x6^2 + 12239*x1^2*x2^4*x5^2*x6^2 + 3549*x1*x2^5*x5^2*x6^2 + 2467*x2^6*x5^2*x6^2 + 43332*x1^5*x3^2*x6^3 + 57706*x1^4*x2*x3^2*x6^3 + 47138*x1^3*x2^2*x3^2*x6^3 + 20444*x1^2*x2^3*x3^2*x6^3 + 48626*x1*x2^4*x3^2*x6^3 + 1540*x2^5*x3^2*x6^3 + 65028*x1^5*x3*x4*x6^3 + 53372*x1^4*x2*x3*x4*x6^3 + 21260*x1^3*x2^2*x3*x4*x6^3 + 19859*x1^2*x2^3*x3*x4*x6^3 + 42909*x1*x2^4*x3*x4*x6^3 + 10185*x2^5*x3*x4*x6^3 + 38882*x1^5*x4^2*x6^3 + 52973*x1^4*x2*x4^2*x6^3 + 27222*x1^3*x2^2*x4^2*x6^3 + 28781*x1^2*x2^3*x4^2*x6^3 + 27978*x1*x2^4*x4^2*x6^3 + 10882*x2^5*x4^2*x6^3 + 23856*x1^6*x5*x6^3 + 52887*x1^5*x2*x5*x6^3 + 31670*x1^4*x2^2*x5*x6^3 + 19074*x1^3*x2^3*x5*x6^3 + 25906*x1^2*x2^4*x5*x6^3 + 40468*x1*x2^5*x5*x6^3 + 11513*x2^6*x5*x6^3 + 9239*x1^6*x6^4 + 56586*x1^5*x2*x6^4 + 17947*x1^4*x2^2*x6^4 + 23183*x1^3*x2^3*x6^4 + 63229*x1^2*x2^4*x6^4 + 51635*x1*x2^5*x6^4 + 24425*x2^6*x6^4 + 30314*x3^9 + 6046*x3^8*x4 + 5416*x3^7*x4^2 + 3493*x3^6*x4^3 + 24741*x3^5*x4^4 + 38362*x3^4*x4^5 + 65370*x3^3*x4^6 + 5066*x3^2*x4^7 + 27448*x3*x4^8 + 47836*x4^9 + 35991*x1*x3^7*x5 + 7562*x2*x3^7*x5 + 26766*x1*x3^6*x4*x5 + 65315*x2*x3^6*x4*x5 + 12874*x1*x3^5*x4^2*x5 + 31886*x2*x3^5*x4^2*x5 + 13820*x1*x3^4*x4^3*x5 + 15378*x2*x3^4*x4^3*x5 + 56325*x1*x3^3*x4^4*x5 + 10858*x2*x3^3*x4^4*x5 + 44505*x1*x3^2*x4^5*x5 + 16338*x2*x3^2*x4^5*x5 + 17195*x1*x3*x4^6*x5 + 42949*x2*x3*x4^6*x5 + 45461*x1*x4^7*x5 + 2987*x2*x4^7*x5 + 52381*x1^2*x3^5*x5^2 + 17573*x1*x2*x3^5*x5^2 + 52844*x2^2*x3^5*x5^2 + 16385*x1^2*x3^4*x4*x5^2 + 443*x1*x2*x3^4*x4*x5^2 + 27311*x2^2*x3^4*x4*x5^2 + 57812*x1^2*x3^3*x4^2*x5^2 + 20001*x1*x2*x3^3*x4^2*x5^2 + 52428*x2^2*x3^3*x4^2*x5^2 + 15034*x1^2*x3^2*x4^3*x5^2 + 20205*x1*x2*x3^2*x4^3*x5^2 + 52715*x2^2*x3^2*x4^3*x5^2 + 15675*x1^2*x3*x4^4*x5^2 + 57099*x1*x2*x3*x4^4*x5^2 + 31545*x2^2*x3*x4^4*x5^2 + 43802*x1^2*x4^5*x5^2 + 26582*x1*x2*x4^5*x5^2 + 52763*x2^2*x4^5*x5^2 + 8851*x1^3*x3^3*x5^3 + 53383*x1^2*x2*x3^3*x5^3 + 27235*x1*x2^2*x3^3*x5^3 + 33808*x2^3*x3^3*x5^3 + 25721*x1^3*x3^2*x4*x5^3 + 40761*x1^2*x2*x3^2*x4*x5^3 + 29364*x1*x2^2*x3^2*x4*x5^3 + 52633*x2^3*x3^2*x4*x5^3 + 48035*x1^3*x3*x4^2*x5^3 + 17905*x1^2*x2*x3*x4^2*x5^3 + 42169*x1*x2^2*x3*x4^2*x5^3 + 43302*x2^3*x3*x4^2*x5^3 + 4279*x1^3*x4^3*x5^3 + 33636*x1^2*x2*x4^3*x5^3 + 1338*x1*x2^2*x4^3*x5^3 + 50787*x2^3*x4^3*x5^3 + 4202*x1^4*x3*x5^4 + 11554*x1^3*x2*x3*x5^4 + 33497*x1^2*x2^2*x3*x5^4 + 30202*x1*x2^3*x3*x5^4 + 43341*x2^4*x3*x5^4 + 20036*x1^4*x4*x5^4 + 58586*x1^3*x2*x4*x5^4 + 58962*x1^2*x2^2*x4*x5^4 + 51687*x1*x2^3*x4*x5^4 + 42078*x2^4*x4*x5^4 + 27359*x1*x3^7*x6 + 19834*x2*x3^7*x6 + 49199*x1*x3^6*x4*x6 + 22085*x2*x3^6*x4*x6 + 3826*x1*x3^5*x4^2*x6 + 62662*x2*x3^5*x4^2*x6 + 9893*x1*x3^4*x4^3*x6 + 35597*x2*x3^4*x4^3*x6 + 38378*x1*x3^3*x4^4*x6 + 42718*x2*x3^3*x4^4*x6 + 2033*x1*x3^2*x4^5*x6 + 18638*x2*x3^2*x4^5*x6 + 44181*x1*x3*x4^6*x6 + 20730*x2*x3*x4^6*x6 + 27547*x1*x4^7*x6 + 46764*x2*x4^7*x6 + 15355*x1^2*x3^5*x5*x6 + 8099*x1*x2*x3^5*x5*x6 + 59928*x2^2*x3^5*x5*x6 + 58163*x1^2*x3^4*x4*x5*x6 + 18008*x1*x2*x3^4*x4*x5*x6 + 17618*x2^2*x3^4*x4*x5*x6 + 19894*x1^2*x3^3*x4^2*x5*x6 + 53755*x1*x2*x3^3*x4^2*x5*x6 + 8968*x2^2*x3^3*x4^2*x5*x6 + 56298*x1^2*x3^2*x4^3*x5*x6 + 33872*x1*x2*x3^2*x4^3*x5*x6 + 14795*x2^2*x3^2*x4^3*x5*x6 + 15726*x1^2*x3*x4^4*x5*x6 + 18990*x1*x2*x3*x4^4*x5*x6 + 45297*x2^2*x3*x4^4*x5*x6 + 6380*x1^2*x4^5*x5*x6 + 51463*x1*x2*x4^5*x5*x6 + 16110*x2^2*x4^5*x5*x6 + 46773*x1^3*x3^3*x5^2*x6 + 4656*x1^2*x2*x3^3*x5^2*x6 + 42125*x1*x2^2*x3^3*x5^2*x6 + 1846*x2^3*x3^3*x5^2*x6 + 57547*x1^3*x3^2*x4*x5^2*x6 + 10311*x1^2*x2*x3^2*x4*x5^2*x6 + 27229*x1*x2^2*x3^2*x4*x5^2*x6 + 18390*x2^3*x3^2*x4*x5^2*x6 + 976*x1^3*x3*x4^2*x5^2*x6 + 11980*x1^2*x2*x3*x4^2*x5^2*x6 + 33133*x1*x2^2*x3*x4^2*x5^2*x6 + 20292*x2^3*x3*x4^2*x5^2*x6 + 56906*x1^3*x4^3*x5^2*x6 + 13994*x1^2*x2*x4^3*x5^2*x6 + 37780*x1*x2^2*x4^3*x5^2*x6 + 15875*x2^3*x4^3*x5^2*x6 + 58977*x1^4*x3*x5^3*x6 + 37992*x1^3*x2*x3*x5^3*x6 + 47551*x1^2*x2^2*x3*x5^3*x6 + 24848*x1*x2^3*x3*x5^3*x6 + 8429*x2^4*x3*x5^3*x6 + 16060*x1^4*x4*x5^3*x6 + 15160*x1^3*x2*x4*x5^3*x6 + 45620*x1^2*x2^2*x4*x5^3*x6 + 31962*x1*x2^3*x4*x5^3*x6 + 56649*x2^4*x4*x5^3*x6 + 17760*x1^2*x3^5*x6^2 + 32482*x1*x2*x3^5*x6^2 + 43118*x2^2*x3^5*x6^2 + 55856*x1^2*x3^4*x4*x6^2 + 20149*x1*x2*x3^4*x4*x6^2 + 4573*x2^2*x3^4*x4*x6^2 + 54444*x1^2*x3^3*x4^2*x6^2 + 20375*x1*x2*x3^3*x4^2*x6^2 + 58495*x2^2*x3^3*x4^2*x6^2 + 3255*x1^2*x3^2*x4^3*x6^2 + 63419*x1*x2*x3^2*x4^3*x6^2 + 44185*x2^2*x3^2*x4^3*x6^2 + 39008*x1^2*x3*x4^4*x6^2 + 21162*x1*x2*x3*x4^4*x6^2 + 38174*x2^2*x3*x4^4*x6^2 + 33676*x1^2*x4^5*x6^2 + 19633*x1*x2*x4^5*x6^2 + 31685*x2^2*x4^5*x6^2 + 36416*x1^3*x3^3*x5*x6^2 + 26675*x1^2*x2*x3^3*x5*x6^2 + 40841*x1*x2^2*x3^3*x5*x6^2 + 6082*x2^3*x3^3*x5*x6^2 + 10851*x1^3*x3^2*x4*x5*x6^2 + 38826*x1^2*x2*x3^2*x4*x5*x6^2 + 47177*x1*x2^2*x3^2*x4*x5*x6^2 + 10531*x2^3*x3^2*x4*x5*x6^2 + 45403*x1^3*x3*x4^2*x5*x6^2 + 61265*x1^2*x2*x3*x4^2*x5*x6^2 + 40276*x1*x2^2*x3*x4^2*x5*x6^2 + 22409*x2^3*x3*x4^2*x5*x6^2 + 58017*x1^3*x4^3*x5*x6^2 + 29256*x1^2*x2*x4^3*x5*x6^2 + 20589*x1*x2^2*x4^3*x5*x6^2 + 30370*x2^3*x4^3*x5*x6^2 + 64622*x1^4*x3*x5^2*x6^2 + 43850*x1^3*x2*x3*x5^2*x6^2 + 28824*x1^2*x2^2*x3*x5^2*x6^2 + 4637*x1*x2^3*x3*x5^2*x6^2 + 21891*x2^4*x3*x5^2*x6^2 + 33166*x1^4*x4*x5^2*x6^2 + 25239*x1^3*x2*x4*x5^2*x6^2 + 15760*x1^2*x2^2*x4*x5^2*x6^2 + 60408*x1*x2^3*x4*x5^2*x6^2 + 9291*x2^4*x4*x5^2*x6^2 + 32264*x1^3*x3^3*x6^3 + 35524*x1^2*x2*x3^3*x6^3 + 53663*x1*x2^2*x3^3*x6^3 + 25151*x2^3*x3^3*x6^3 + 60591*x1^3*x3^2*x4*x6^3 + 31569*x1^2*x2*x3^2*x4*x6^3 + 42649*x1*x2^2*x3^2*x4*x6^3 + 10725*x2^3*x3^2*x4*x6^3 + 55366*x1^3*x3*x4^2*x6^3 + 28445*x1^2*x2*x3*x4^2*x6^3 + 14351*x1*x2^2*x3*x4^2*x6^3 + 45370*x2^3*x3*x4^2*x6^3 + 21802*x1^3*x4^3*x6^3 + 29366*x1^2*x2*x4^3*x6^3 + 27052*x1*x2^2*x4^3*x6^3 + 9898*x2^3*x4^3*x6^3 + 27683*x1^4*x3*x5*x6^3 + 10560*x1^3*x2*x3*x5*x6^3 + 55140*x1^2*x2^2*x3*x5*x6^3 + 574*x1*x2^3*x3*x5*x6^3 + 2379*x2^4*x3*x5*x6^3 + 44011*x1^4*x4*x5*x6^3 + 931*x1^3*x2*x4*x5*x6^3 + 52493*x1^2*x2^2*x4*x5*x6^3 + 52365*x1*x2^3*x4*x5*x6^3 + 55303*x2^4*x4*x5*x6^3 + 63547*x1^4*x3*x6^4 + 40106*x1^3*x2*x3*x6^4 + 61647*x1^2*x2^2*x3*x6^4 + 53338*x1*x2^3*x3*x6^4 + 49569*x2^4*x3*x6^4 + 10734*x1^4*x4*x6^4 + 33885*x1^3*x2*x4*x6^4 + 63505*x1^2*x2^2*x4*x6^4 + 56265*x1*x2^3*x4*x6^4 + 45572*x2^4*x4*x6^4 + 57200*x3^6*x5^2 + 33028*x3^5*x4*x5^2 + 22026*x3^4*x4^2*x5^2 + 39272*x3^3*x4^3*x5^2 + 6760*x3^2*x4^4*x5^2 + 62416*x3*x4^5*x5^2 + 39313*x4^6*x5^2 + 3270*x1*x3^4*x5^3 + 21723*x2*x3^4*x5^3 + 46100*x1*x3^3*x4*x5^3 + 5065*x2*x3^3*x4*x5^3 + 24399*x1*x3^2*x4^2*x5^3 + 37659*x2*x3^2*x4^2*x5^3 + 54336*x1*x3*x4^3*x5^3 + 37020*x2*x3*x4^3*x5^3 + 65174*x1*x4^4*x5^3 + 50971*x2*x4^4*x5^3 + 9728*x1^2*x3^2*x5^4 + 64204*x1*x2*x3^2*x5^4 + 19486*x2^2*x3^2*x5^4 + 61960*x1^2*x3*x4*x5^4 + 39356*x1*x2*x3*x4*x5^4 + 44372*x2^2*x3*x4*x5^4 + 32866*x1^2*x4^2*x5^4 + 43455*x1*x2*x4^2*x5^4 + 61545*x2^2*x4^2*x5^4 + 29413*x1^3*x5^5 + 50834*x1^2*x2*x5^5 + 31158*x1*x2^2*x5^5 + 43251*x2^3*x5^5 + 11413*x3^6*x5*x6 + 21875*x3^5*x4*x5*x6 + 64850*x3^4*x4^2*x5*x6 + 47775*x3^3*x4^3*x5*x6 + 30547*x3^2*x4^4*x5*x6 + 56952*x3*x4^5*x5*x6 + 30155*x4^6*x5*x6 + 41320*x1*x3^4*x5^2*x6 + 29192*x2*x3^4*x5^2*x6 + 50037*x1*x3^3*x4*x5^2*x6 + 33609*x2*x3^3*x4*x5^2*x6 + 11146*x1*x3^2*x4^2*x5^2*x6 + 54147*x2*x3^2*x4^2*x5^2*x6 + 19858*x1*x3*x4^3*x5^2*x6 + 56392*x2*x3*x4^3*x5^2*x6 + 62221*x1*x4^4*x5^2*x6 + 27089*x2*x4^4*x5^2*x6 + 39950*x1^2*x3^2*x5^3*x6 + 59704*x1*x2*x3^2*x5^3*x6 + 45590*x2^2*x3^2*x5^3*x6 + 30779*x1^2*x3*x4*x5^3*x6 + 59187*x1*x2*x3*x4*x5^3*x6 + 62544*x2^2*x3*x4*x5^3*x6 + 10995*x1^2*x4^2*x5^3*x6 + 9115*x1*x2*x4^2*x5^3*x6 + 15777*x2^2*x4^2*x5^3*x6 + 9359*x1^3*x5^4*x6 + 50707*x1^2*x2*x5^4*x6 + 1449*x1*x2^2*x5^4*x6 + 42382*x2^3*x5^4*x6 + 55921*x3^6*x6^2 + 12611*x3^5*x4*x6^2 + 3621*x3^4*x4^2*x6^2 + 37230*x3^3*x4^3*x6^2 + 31220*x3^2*x4^4*x6^2 + 18254*x3*x4^5*x6^2 + 42177*x4^6*x6^2 + 41952*x1*x3^4*x5*x6^2 + 39443*x2*x3^4*x5*x6^2 + 1671*x1*x3^3*x4*x5*x6^2 + 7928*x2*x3^3*x4*x5*x6^2 + 25108*x1*x3^2*x4^2*x5*x6^2 + 15032*x2*x3^2*x4^2*x5*x6^2 + 21966*x1*x3*x4^3*x5*x6^2 + 8613*x2*x3*x4^3*x5*x6^2 + 60744*x1*x4^4*x5*x6^2 + 46016*x2*x4^4*x5*x6^2 + 31532*x1^2*x3^2*x5^2*x6^2 + 47867*x1*x2*x3^2*x5^2*x6^2 + 24243*x2^2*x3^2*x5^2*x6^2 + 55775*x1^2*x3*x4*x5^2*x6^2 + 14383*x1*x2*x3*x4*x5^2*x6^2 + 58109*x2^2*x3*x4*x5^2*x6^2 + 13998*x1^2*x4^2*x5^2*x6^2 + 25052*x1*x2*x4^2*x5^2*x6^2 + 31252*x2^2*x4^2*x5^2*x6^2 + 54632*x1^3*x5^3*x6^2 + 35239*x1^2*x2*x5^3*x6^2 + 58624*x1*x2^2*x5^3*x6^2 + 21845*x2^3*x5^3*x6^2 + 49714*x1*x3^4*x6^3 + 53469*x2*x3^4*x6^3 + 51216*x1*x3^3*x4*x6^3 + 6054*x2*x3^3*x4*x6^3 + 51791*x1*x3^2*x4^2*x6^3 + 41031*x2*x3^2*x4^2*x6^3 + 24387*x1*x3*x4^3*x6^3 + 26350*x2*x3*x4^3*x6^3 + 64176*x1*x4^4*x6^3 + 64362*x2*x4^4*x6^3 + 3826*x1^2*x3^2*x5*x6^3 + 59781*x1*x2*x3^2*x5*x6^3 + 34901*x2^2*x3^2*x5*x6^3 + 64920*x1^2*x3*x4*x5*x6^3 + 11158*x1*x2*x3*x4*x5*x6^3 + 17495*x2^2*x3*x4*x5*x6^3 + 50002*x1^2*x4^2*x5*x6^3 + 16897*x1*x2*x4^2*x5*x6^3 + 9162*x2^2*x4^2*x5*x6^3 + 18335*x1^3*x5^2*x6^3 + 31244*x1^2*x2*x5^2*x6^3 + 21050*x1*x2^2*x5^2*x6^3 + 24103*x2^3*x5^2*x6^3 + 22840*x1^2*x3^2*x6^4 + 16393*x1*x2*x3^2*x6^4 + 26030*x2^2*x3^2*x6^4 + 6348*x1^2*x3*x4*x6^4 + 31641*x1*x2*x3*x4*x6^4 + 36873*x2^2*x3*x4*x6^4 + 13654*x1^2*x4^2*x6^4 + 56213*x1*x2*x4^2*x6^4 + 64565*x2^2*x4^2*x6^4 + 56495*x1^3*x5*x6^4 + 28651*x1^2*x2*x5*x6^4 + 34549*x1*x2^2*x5*x6^4 + 31616*x2^3*x5*x6^4 + 22255*x1^3*x6^5 + 15158*x1^2*x2*x6^5 + 61318*x1*x2^2*x6^5 + 60286*x2^3*x6^5 + 27311*x3^3*x5^4 + 65003*x3^2*x4*x5^4 + 61486*x3*x4^2*x5^4 + 45677*x4^3*x5^4 + 49202*x1*x3*x5^5 + 6431*x2*x3*x5^5 + 29825*x1*x4*x5^5 + 2564*x2*x4*x5^5 + 3938*x3^3*x5^3*x6 + 21457*x3^2*x4*x5^3*x6 + 30922*x3*x4^2*x5^3*x6 + 35024*x4^3*x5^3*x6 + 10461*x1*x3*x5^4*x6 + 34548*x2*x3*x5^4*x6 + 21682*x1*x4*x5^4*x6 + 65488*x2*x4*x5^4*x6 + 46759*x3^3*x5^2*x6^2 + 34949*x3^2*x4*x5^2*x6^2 + 44702*x3*x4^2*x5^2*x6^2 + 24535*x4^3*x5^2*x6^2 + 18371*x1*x3*x5^3*x6^2 + 21828*x2*x3*x5^3*x6^2 + 60252*x1*x4*x5^3*x6^2 + 63951*x2*x4*x5^3*x6^2 + 58808*x3^3*x5*x6^3 + 28411*x3^2*x4*x5*x6^3 + 17212*x3*x4^2*x5*x6^3 + 36666*x4^3*x5*x6^3 + 55516*x1*x3*x5^2*x6^3 + 6039*x2*x3*x5^2*x6^3 + 51058*x1*x4*x5^2*x6^3 + 3655*x2*x4*x5^2*x6^3 + 53994*x3^3*x6^4 + 56591*x3^2*x4*x6^4 + 42646*x3*x4^2*x6^4 + 6563*x4^3*x6^4 + 62394*x1*x3*x5*x6^4 + 13192*x2*x3*x5*x6^4 + 36109*x1*x4*x5*x6^4 + 30313*x2*x4*x5*x6^4 + 29720*x1*x3*x6^5 + 13032*x2*x3*x6^5 + 41593*x1*x4*x6^5 + 53089*x2*x4*x6^5 + 27666*x5^6 + 39292*x5^5*x6 + 19506*x5^4*x6^2 + 37916*x5^3*x6^3 + 15535*x5^2*x6^4 + 8024*x5*x6^5 + 20512*x6^6 +16914]