#C Idéal générique en 6 variables, quasihomo
#C Système de poids : 1,1,2,2,3,3
#C Système de degrés : 12,12,12,12,12,18
#C D'abord avec poids puis sans poids

#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,
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,
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,
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,
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,
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]