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

#vars [x1,x2,x3,x4,x5,x6]

#weights <1 1 2 2 3 3>


#list

[
40719*x1^12+30366*x1^11*x2+63832*x1^10*x2^2+49435*x1^9*x2^3+31994*x1^8*x2^4+7003*x1^7*x2^5+9196*x1^6*x2^6+15647*x1^5*x2^7+53040*x1^4*x2^8+56582*x1^3*x2^9+2273*x1^2*x2^10+10118*x1*x2^11+37342*x2^12+14365*x1^10*x3+63641*x1^9*x2*x3+38787*x1^8*x2^2*x3+16789*x1^7*x2^3*x3+2645*x1^6*x2^4*x3+15327*x1^5*x2^5*x3+28904*x1^4*x2^6*x3+55228*x1^3*x2^7*x3+39381*x1^2*x2^8*x3+6873*x1*x2^9*x3+56506*x2^10*x3+60868*x1^10*x4+41285*x1^9*x2*x4+45859*x1^8*x2^2*x4+5376*x1^7*x2^3*x4+35508*x1^6*x2^4*x4+20031*x1^5*x2^5*x4+1642*x1^4*x2^6*x4+34265*x1^3*x2^7*x4+63047*x1^2*x2^8*x4+55336*x1*x2^9*x4+12601*x2^10*x4+59755*x1^8*x3^2+55396*x1^7*x2*x3^2+32993*x1^6*x2^2*x3^2+16337*x1^5*x2^3*x3^2+22991*x1^4*x2^4*x3^2+51460*x1^3*x2^5*x3^2+41531*x1^2*x2^6*x3^2+61975*x1*x2^7*x3^2+36990*x2^8*x3^2+46850*x1^8*x3*x4+54294*x1^7*x2*x3*x4+33177*x1^6*x2^2*x3*x4+54831*x1^5*x2^3*x3*x4+31879*x1^4*x2^4*x3*x4+16454*x1^3*x2^5*x3*x4+33400*x1^2*x2^6*x3*x4+26648*x1*x2^7*x3*x4+18114*x2^8*x3*x4+32656*x1^8*x4^2+57970*x1^7*x2*x4^2+29353*x1^6*x2^2*x4^2+55154*x1^5*x2^3*x4^2+54928*x1^4*x2^4*x4^2+10239*x1^3*x2^5*x4^2+27171*x1^2*x2^6*x4^2+22121*x1*x2^7*x4^2+52616*x2^8*x4^2+40793*x1^9*x5+21664*x1^8*x2*x5+44760*x1^7*x2^2*x5+23917*x1^6*x2^3*x5+10868*x1^5*x2^4*x5+47088*x1^4*x2^5*x5+58187*x1^3*x2^6*x5+30462*x1^2*x2^7*x5+1139*x1*x2^8*x5+39016*x2^9*x5+26842*x1^9*x6+4696*x1^8*x2*x6+21280*x1^7*x2^2*x6+44503*x1^6*x2^3*x6+40309*x1^5*x2^4*x6+2221*x1^4*x2^5*x6+46799*x1^3*x2^6*x6+29290*x1^2*x2^7*x6+33395*x1*x2^8*x6+34368*x2^9*x6+28427*x1^6*x3^3+52799*x1^5*x2*x3^3+28250*x1^4*x2^2*x3^3+34691*x1^3*x2^3*x3^3+2205*x1^2*x2^4*x3^3+14504*x1*x2^5*x3^3+62619*x2^6*x3^3+15369*x1^6*x3^2*x4+2080*x1^5*x2*x3^2*x4+29660*x1^4*x2^2*x3^2*x4+47353*x1^3*x2^3*x3^2*x4+53588*x1^2*x2^4*x3^2*x4+34286*x1*x2^5*x3^2*x4+9331*x2^6*x3^2*x4+27539*x1^6*x3*x4^2+32861*x1^5*x2*x3*x4^2+10420*x1^4*x2^2*x3*x4^2+51659*x1^3*x2^3*x3*x4^2+44263*x1^2*x2^4*x3*x4^2+29390*x1*x2^5*x3*x4^2+51767*x2^6*x3*x4^2+43025*x1^6*x4^3+45690*x1^5*x2*x4^3+26650*x1^4*x2^2*x4^3+45800*x1^3*x2^3*x4^3+31498*x1^2*x2^4*x4^3+13287*x1*x2^5*x4^3+33017*x2^6*x4^3+51160*x1^7*x3*x5+14408*x1^6*x2*x3*x5+47123*x1^5*x2^2*x3*x5+13069*x1^4*x2^3*x3*x5+63356*x1^3*x2^4*x3*x5+26540*x1^2*x2^5*x3*x5+13817*x1*x2^6*x3*x5+51040*x2^7*x3*x5+37579*x1^7*x4*x5+16946*x1^6*x2*x4*x5+59727*x1^5*x2^2*x4*x5+25401*x1^4*x2^3*x4*x5+56947*x1^3*x2^4*x4*x5+61797*x1^2*x2^5*x4*x5+30468*x1*x2^6*x4*x5+43065*x2^7*x4*x5+10636*x1^7*x3*x6+38321*x1^6*x2*x3*x6+31300*x1^5*x2^2*x3*x6+40882*x1^4*x2^3*x3*x6+6308*x1^3*x2^4*x3*x6+43465*x1^2*x2^5*x3*x6+36431*x1*x2^6*x3*x6+3109*x2^7*x3*x6+8941*x1^7*x4*x6+31901*x1^6*x2*x4*x6+43558*x1^5*x2^2*x4*x6+36945*x1^4*x2^3*x4*x6+1555*x1^3*x2^4*x4*x6+63329*x1^2*x2^5*x4*x6+7070*x1*x2^6*x4*x6+41296*x2^7*x4*x6+11988*x1^4*x3^4+34571*x1^3*x2*x3^4+1035*x1^2*x2^2*x3^4+19272*x1*x2^3*x3^4+121*x2^4*x3^4+60406*x1^4*x3^3*x4+8742*x1^3*x2*x3^3*x4+10184*x1^2*x2^2*x3^3*x4+31034*x1*x2^3*x3^3*x4+28423*x2^4*x3^3*x4+65228*x1^4*x3^2*x4^2+16547*x1^3*x2*x3^2*x4^2+26324*x1^2*x2^2*x3^2*x4^2+42742*x1*x2^3*x3^2*x4^2+58888*x2^4*x3^2*x4^2+59462*x1^4*x3*x4^3+57733*x1^3*x2*x3*x4^3+64785*x1^2*x2^2*x3*x4^3+57721*x1*x2^3*x3*x4^3+42810*x2^4*x3*x4^3+57629*x1^4*x4^4+15518*x1^3*x2*x4^4+8173*x1^2*x2^2*x4^4+19078*x1*x2^3*x4^4+61102*x2^4*x4^4+4919*x1^5*x3^2*x5+52173*x1^4*x2*x3^2*x5+35555*x1^3*x2^2*x3^2*x5+64387*x1^2*x2^3*x3^2*x5+19865*x1*x2^4*x3^2*x5+18563*x2^5*x3^2*x5+38949*x1^5*x3*x4*x5+64446*x1^4*x2*x3*x4*x5+21860*x1^3*x2^2*x3*x4*x5+35342*x1^2*x2^3*x3*x4*x5+18620*x1*x2^4*x3*x4*x5+37791*x2^5*x3*x4*x5+59398*x1^5*x4^2*x5+39223*x1^4*x2*x4^2*x5+26914*x1^3*x2^2*x4^2*x5+55675*x1^2*x2^3*x4^2*x5+40093*x1*x2^4*x4^2*x5+60135*x2^5*x4^2*x5+48105*x1^6*x5^2+22772*x1^5*x2*x5^2+24052*x1^4*x2^2*x5^2+62849*x1^3*x2^3*x5^2+53608*x1^2*x2^4*x5^2+49723*x1*x2^5*x5^2+8356*x2^6*x5^2+7925*x1^5*x3^2*x6+17012*x1^4*x2*x3^2*x6+10426*x1^3*x2^2*x3^2*x6+48190*x1^2*x2^3*x3^2*x6+41467*x1*x2^4*x3^2*x6+24619*x2^5*x3^2*x6+42809*x1^5*x3*x4*x6+61618*x1^4*x2*x3*x4*x6+21249*x1^3*x2^2*x3*x4*x6+46902*x1^2*x2^3*x3*x4*x6+40607*x1*x2^4*x3*x4*x6+23865*x2^5*x3*x4*x6+42739*x1^5*x4^2*x6+23282*x1^4*x2*x4^2*x6+19990*x1^3*x2^2*x4^2*x6+43444*x1^2*x2^3*x4^2*x6+42475*x1*x2^4*x4^2*x6+39737*x2^5*x4^2*x6+43477*x1^6*x5*x6+16882*x1^5*x2*x5*x6+28037*x1^4*x2^2*x5*x6+32706*x1^3*x2^3*x5*x6+12684*x1^2*x2^4*x5*x6+7860*x1*x2^5*x5*x6+18092*x2^6*x5*x6+43826*x1^6*x6^2+26151*x1^5*x2*x6^2+5755*x1^4*x2^2*x6^2+8901*x1^3*x2^3*x6^2+12772*x1^2*x2^4*x6^2+48483*x1*x2^5*x6^2+63829*x2^6*x6^2+20368*x1^2*x3^5+13202*x1*x2*x3^5+48951*x2^2*x3^5+41258*x1^2*x3^4*x4+43236*x1*x2*x3^4*x4+27441*x2^2*x3^4*x4+39418*x1^2*x3^3*x4^2+14778*x1*x2*x3^3*x4^2+16624*x2^2*x3^3*x4^2+50078*x1^2*x3^2*x4^3+28105*x1*x2*x3^2*x4^3+25134*x2^2*x3^2*x4^3+18465*x1^2*x3*x4^4+54992*x1*x2*x3*x4^4+35809*x2^2*x3*x4^4+9828*x1^2*x4^5+16361*x1*x2*x4^5+8966*x2^2*x4^5+8035*x1^3*x3^3*x5+7976*x1^2*x2*x3^3*x5+64927*x1*x2^2*x3^3*x5+39417*x2^3*x3^3*x5+9804*x1^3*x3^2*x4*x5+61757*x1^2*x2*x3^2*x4*x5+27539*x1*x2^2*x3^2*x4*x5+51460*x2^3*x3^2*x4*x5+48028*x1^3*x3*x4^2*x5+56365*x1^2*x2*x3*x4^2*x5+12196*x1*x2^2*x3*x4^2*x5+46083*x2^3*x3*x4^2*x5+6564*x1^3*x4^3*x5+56742*x1^2*x2*x4^3*x5+23390*x1*x2^2*x4^3*x5+14866*x2^3*x4^3*x5+49279*x1^4*x3*x5^2+43772*x1^3*x2*x3*x5^2+17413*x1^2*x2^2*x3*x5^2+46478*x1*x2^3*x3*x5^2+63117*x2^4*x3*x5^2+60453*x1^4*x4*x5^2+56102*x1^3*x2*x4*x5^2+20930*x1^2*x2^2*x4*x5^2+48567*x1*x2^3*x4*x5^2+54854*x2^4*x4*x5^2+24206*x1^3*x3^3*x6+63396*x1^2*x2*x3^3*x6+3949*x1*x2^2*x3^3*x6+29723*x2^3*x3^3*x6+53456*x1^3*x3^2*x4*x6+44176*x1^2*x2*x3^2*x4*x6+10061*x1*x2^2*x3^2*x4*x6+6107*x2^3*x3^2*x4*x6+23807*x1^3*x3*x4^2*x6+16509*x1^2*x2*x3*x4^2*x6+31182*x1*x2^2*x3*x4^2*x6+45109*x2^3*x3*x4^2*x6+33789*x1^3*x4^3*x6+40751*x1^2*x2*x4^3*x6+28776*x1*x2^2*x4^3*x6+12466*x2^3*x4^3*x6+39788*x1^4*x3*x5*x6+8421*x1^3*x2*x3*x5*x6+34786*x1^2*x2^2*x3*x5*x6+53459*x1*x2^3*x3*x5*x6+24377*x2^4*x3*x5*x6+20325*x1^4*x4*x5*x6+49220*x1^3*x2*x4*x5*x6+28389*x1^2*x2^2*x4*x5*x6+33669*x1*x2^3*x4*x5*x6+8935*x2^4*x4*x5*x6+53703*x1^4*x3*x6^2+44335*x1^3*x2*x3*x6^2+21893*x1^2*x2^2*x3*x6^2+9972*x1*x2^3*x3*x6^2+17241*x2^4*x3*x6^2+27988*x1^4*x4*x6^2+14396*x1^3*x2*x4*x6^2+55927*x1^2*x2^2*x4*x6^2+46547*x1*x2^3*x4*x6^2+40869*x2^4*x4*x6^2+26226*x3^6+24037*x3^5*x4+58230*x3^4*x4^2+4134*x3^3*x4^3+38129*x3^2*x4^4+18170*x3*x4^5+509*x4^6+16744*x1*x3^4*x5+14190*x2*x3^4*x5+41716*x1*x3^3*x4*x5+61403*x2*x3^3*x4*x5+47482*x1*x3^2*x4^2*x5+41922*x2*x3^2*x4^2*x5+15675*x1*x3*x4^3*x5+37748*x2*x3*x4^3*x5+13873*x1*x4^4*x5+11834*x2*x4^4*x5+20125*x1^2*x3^2*x5^2+39696*x1*x2*x3^2*x5^2+1187*x2^2*x3^2*x5^2+20665*x1^2*x3*x4*x5^2+15879*x1*x2*x3*x4*x5^2+63611*x2^2*x3*x4*x5^2+28248*x1^2*x4^2*x5^2+43285*x1*x2*x4^2*x5^2+59423*x2^2*x4^2*x5^2+58386*x1^3*x5^3+38853*x1^2*x2*x5^3+15387*x1*x2^2*x5^3+15045*x2^3*x5^3+30504*x1*x3^4*x6+7039*x2*x3^4*x6+47695*x1*x3^3*x4*x6+59634*x2*x3^3*x4*x6+57762*x1*x3^2*x4^2*x6+44218*x2*x3^2*x4^2*x6+58637*x1*x3*x4^3*x6+44806*x2*x3*x4^3*x6+31501*x1*x4^4*x6+1437*x2*x4^4*x6+9879*x1^2*x3^2*x5*x6+50934*x1*x2*x3^2*x5*x6+15022*x2^2*x3^2*x5*x6+33870*x1^2*x3*x4*x5*x6+17562*x1*x2*x3*x4*x5*x6+10098*x2^2*x3*x4*x5*x6+19768*x1^2*x4^2*x5*x6+29272*x1*x2*x4^2*x5*x6+13166*x2^2*x4^2*x5*x6+21922*x1^3*x5^2*x6+29586*x1^2*x2*x5^2*x6+5715*x1*x2^2*x5^2*x6+54047*x2^3*x5^2*x6+34838*x1^2*x3^2*x6^2+12930*x1*x2*x3^2*x6^2+30415*x2^2*x3^2*x6^2+32357*x1^2*x3*x4*x6^2+997*x1*x2*x3*x4*x6^2+57993*x2^2*x3*x4*x6^2+45676*x1^2*x4^2*x6^2+40006*x1*x2*x4^2*x6^2+13018*x2^2*x4^2*x6^2+34905*x1^3*x5*x6^2+48451*x1^2*x2*x5*x6^2+37744*x1*x2^2*x5*x6^2+3203*x2^3*x5*x6^2+19669*x1^3*x6^3+28692*x1^2*x2*x6^3+23197*x1*x2^2*x6^3+28080*x2^3*x6^3+33517*x3^3*x5^2+6818*x3^2*x4*x5^2+28430*x3*x4^2*x5^2+9512*x4^3*x5^2+4454*x1*x3*x5^3+57440*x2*x3*x5^3+1783*x1*x4*x5^3+46224*x2*x4*x5^3+37237*x3^3*x5*x6+61607*x3^2*x4*x5*x6+38395*x3*x4^2*x5*x6+30794*x4^3*x5*x6+17757*x1*x3*x5^2*x6+8954*x2*x3*x5^2*x6+54319*x1*x4*x5^2*x6+9263*x2*x4*x5^2*x6+27815*x3^3*x6^2+14786*x3^2*x4*x6^2+8141*x3*x4^2*x6^2+36106*x4^3*x6^2+63393*x1*x3*x5*x6^2+282*x2*x3*x5*x6^2+39305*x1*x4*x5*x6^2+51338*x2*x4*x5*x6^2+26670*x1*x3*x6^3+50741*x2*x3*x6^3+51838*x1*x4*x6^3+12762*x2*x4*x6^3+62312*x5^4+55183*x5^3*x6+27526*x5^2*x6^2+10079*x5*x6^3+32429*x6^4+46614,
63534*x1^12+34751*x1^11*x2+62780*x1^10*x2^2+10118*x1^9*x2^3+14928*x1^8*x2^4+63276*x1^7*x2^5+56809*x1^6*x2^6+23845*x1^5*x2^7+54636*x1^4*x2^8+63561*x1^3*x2^9+42219*x1^2*x2^10+26106*x1*x2^11+32548*x2^12+44559*x1^10*x3+61328*x1^9*x2*x3+18771*x1^8*x2^2*x3+55914*x1^7*x2^3*x3+65112*x1^6*x2^4*x3+780*x1^5*x2^5*x3+32384*x1^4*x2^6*x3+53067*x1^3*x2^7*x3+30973*x1^2*x2^8*x3+63914*x1*x2^9*x3+15061*x2^10*x3+36500*x1^10*x4+64060*x1^9*x2*x4+9641*x1^8*x2^2*x4+15667*x1^7*x2^3*x4+45499*x1^6*x2^4*x4+54475*x1^5*x2^5*x4+17099*x1^4*x2^6*x4+10762*x1^3*x2^7*x4+23331*x1^2*x2^8*x4+27886*x1*x2^9*x4+49633*x2^10*x4+9272*x1^8*x3^2+22074*x1^7*x2*x3^2+33059*x1^6*x2^2*x3^2+44924*x1^5*x2^3*x3^2+45981*x1^4*x2^4*x3^2+6917*x1^3*x2^5*x3^2+46902*x1^2*x2^6*x3^2+47897*x1*x2^7*x3^2+3545*x2^8*x3^2+7186*x1^8*x3*x4+50273*x1^7*x2*x3*x4+45891*x1^6*x2^2*x3*x4+44191*x1^5*x2^3*x3*x4+33166*x1^4*x2^4*x3*x4+7434*x1^3*x2^5*x3*x4+19742*x1^2*x2^6*x3*x4+7326*x1*x2^7*x3*x4+4251*x2^8*x3*x4+31933*x1^8*x4^2+9830*x1^7*x2*x4^2+18155*x1^6*x2^2*x4^2+5115*x1^5*x2^3*x4^2+18115*x1^4*x2^4*x4^2+9609*x1^3*x2^5*x4^2+41938*x1^2*x2^6*x4^2+11111*x1*x2^7*x4^2+7569*x2^8*x4^2+30149*x1^9*x5+17360*x1^8*x2*x5+40042*x1^7*x2^2*x5+25185*x1^6*x2^3*x5+54393*x1^5*x2^4*x5+56955*x1^4*x2^5*x5+358*x1^3*x2^6*x5+297*x1^2*x2^7*x5+31781*x1*x2^8*x5+43498*x2^9*x5+38196*x1^9*x6+26459*x1^8*x2*x6+6138*x1^7*x2^2*x6+34131*x1^6*x2^3*x6+28311*x1^5*x2^4*x6+33840*x1^4*x2^5*x6+61261*x1^3*x2^6*x6+11948*x1^2*x2^7*x6+53506*x1*x2^8*x6+8*x2^9*x6+16705*x1^6*x3^3+6583*x1^5*x2*x3^3+41279*x1^4*x2^2*x3^3+27444*x1^3*x2^3*x3^3+23183*x1^2*x2^4*x3^3+1651*x1*x2^5*x3^3+41172*x2^6*x3^3+48635*x1^6*x3^2*x4+47922*x1^5*x2*x3^2*x4+26761*x1^4*x2^2*x3^2*x4+61504*x1^3*x2^3*x3^2*x4+8159*x1^2*x2^4*x3^2*x4+55359*x1*x2^5*x3^2*x4+10170*x2^6*x3^2*x4+24142*x1^6*x3*x4^2+50773*x1^5*x2*x3*x4^2+19618*x1^4*x2^2*x3*x4^2+30330*x1^3*x2^3*x3*x4^2+39*x1^2*x2^4*x3*x4^2+32762*x1*x2^5*x3*x4^2+42003*x2^6*x3*x4^2+37614*x1^6*x4^3+632*x1^5*x2*x4^3+49245*x1^4*x2^2*x4^3+36340*x1^3*x2^3*x4^3+43598*x1^2*x2^4*x4^3+24321*x1*x2^5*x4^3+25496*x2^6*x4^3+48784*x1^7*x3*x5+58174*x1^6*x2*x3*x5+15876*x1^5*x2^2*x3*x5+50828*x1^4*x2^3*x3*x5+37555*x1^3*x2^4*x3*x5+5054*x1^2*x2^5*x3*x5+57483*x1*x2^6*x3*x5+56621*x2^7*x3*x5+43740*x1^7*x4*x5+36085*x1^6*x2*x4*x5+37919*x1^5*x2^2*x4*x5+19184*x1^4*x2^3*x4*x5+17778*x1^3*x2^4*x4*x5+30769*x1^2*x2^5*x4*x5+35672*x1*x2^6*x4*x5+20762*x2^7*x4*x5+15316*x1^7*x3*x6+4423*x1^6*x2*x3*x6+11215*x1^5*x2^2*x3*x6+39031*x1^4*x2^3*x3*x6+38665*x1^3*x2^4*x3*x6+17321*x1^2*x2^5*x3*x6+59501*x1*x2^6*x3*x6+46579*x2^7*x3*x6+17568*x1^7*x4*x6+38516*x1^6*x2*x4*x6+47697*x1^5*x2^2*x4*x6+43285*x1^4*x2^3*x4*x6+31772*x1^3*x2^4*x4*x6+31463*x1^2*x2^5*x4*x6+14435*x1*x2^6*x4*x6+55305*x2^7*x4*x6+16968*x1^4*x3^4+6860*x1^3*x2*x3^4+45228*x1^2*x2^2*x3^4+13160*x1*x2^3*x3^4+22875*x2^4*x3^4+48458*x1^4*x3^3*x4+2069*x1^3*x2*x3^3*x4+18515*x1^2*x2^2*x3^3*x4+63572*x1*x2^3*x3^3*x4+10261*x2^4*x3^3*x4+29452*x1^4*x3^2*x4^2+55435*x1^3*x2*x3^2*x4^2+44908*x1^2*x2^2*x3^2*x4^2+8328*x1*x2^3*x3^2*x4^2+12770*x2^4*x3^2*x4^2+47165*x1^4*x3*x4^3+19650*x1^3*x2*x3*x4^3+6945*x1^2*x2^2*x3*x4^3+27188*x1*x2^3*x3*x4^3+64267*x2^4*x3*x4^3+39036*x1^4*x4^4+61777*x1^3*x2*x4^4+57817*x1^2*x2^2*x4^4+56453*x1*x2^3*x4^4+55036*x2^4*x4^4+7899*x1^5*x3^2*x5+15044*x1^4*x2*x3^2*x5+14256*x1^3*x2^2*x3^2*x5+35364*x1^2*x2^3*x3^2*x5+17666*x1*x2^4*x3^2*x5+32022*x2^5*x3^2*x5+14424*x1^5*x3*x4*x5+60642*x1^4*x2*x3*x4*x5+52105*x1^3*x2^2*x3*x4*x5+64806*x1^2*x2^3*x3*x4*x5+26341*x1*x2^4*x3*x4*x5+48675*x2^5*x3*x4*x5+30478*x1^5*x4^2*x5+2710*x1^4*x2*x4^2*x5+17288*x1^3*x2^2*x4^2*x5+25870*x1^2*x2^3*x4^2*x5+48568*x1*x2^4*x4^2*x5+18929*x2^5*x4^2*x5+49058*x1^6*x5^2+43934*x1^5*x2*x5^2+41373*x1^4*x2^2*x5^2+21716*x1^3*x2^3*x5^2+20414*x1^2*x2^4*x5^2+26936*x1*x2^5*x5^2+54631*x2^6*x5^2+14022*x1^5*x3^2*x6+42095*x1^4*x2*x3^2*x6+32186*x1^3*x2^2*x3^2*x6+31298*x1^2*x2^3*x3^2*x6+35702*x1*x2^4*x3^2*x6+33976*x2^5*x3^2*x6+16818*x1^5*x3*x4*x6+10508*x1^4*x2*x3*x4*x6+58641*x1^3*x2^2*x3*x4*x6+31088*x1^2*x2^3*x3*x4*x6+45698*x1*x2^4*x3*x4*x6+60017*x2^5*x3*x4*x6+58321*x1^5*x4^2*x6+16893*x1^4*x2*x4^2*x6+17448*x1^3*x2^2*x4^2*x6+30762*x1^2*x2^3*x4^2*x6+49548*x1*x2^4*x4^2*x6+30889*x2^5*x4^2*x6+40588*x1^6*x5*x6+6891*x1^5*x2*x5*x6+51881*x1^4*x2^2*x5*x6+35252*x1^3*x2^3*x5*x6+13085*x1^2*x2^4*x5*x6+30111*x1*x2^5*x5*x6+60160*x2^6*x5*x6+26987*x1^6*x6^2+18076*x1^5*x2*x6^2+7452*x1^4*x2^2*x6^2+28730*x1^3*x2^3*x6^2+51804*x1^2*x2^4*x6^2+27998*x1*x2^5*x6^2+11266*x2^6*x6^2+46069*x1^2*x3^5+24891*x1*x2*x3^5+38477*x2^2*x3^5+2642*x1^2*x3^4*x4+59058*x1*x2*x3^4*x4+7508*x2^2*x3^4*x4+1695*x1^2*x3^3*x4^2+48744*x1*x2*x3^3*x4^2+1879*x2^2*x3^3*x4^2+7602*x1^2*x3^2*x4^3+38372*x1*x2*x3^2*x4^3+7523*x2^2*x3^2*x4^3+8397*x1^2*x3*x4^4+27385*x1*x2*x3*x4^4+17660*x2^2*x3*x4^4+61331*x1^2*x4^5+46602*x1*x2*x4^5+10439*x2^2*x4^5+60444*x1^3*x3^3*x5+14500*x1^2*x2*x3^3*x5+51704*x1*x2^2*x3^3*x5+18662*x2^3*x3^3*x5+11021*x1^3*x3^2*x4*x5+20510*x1^2*x2*x3^2*x4*x5+22707*x1*x2^2*x3^2*x4*x5+15667*x2^3*x3^2*x4*x5+23338*x1^3*x3*x4^2*x5+17232*x1^2*x2*x3*x4^2*x5+28714*x1*x2^2*x3*x4^2*x5+20820*x2^3*x3*x4^2*x5+44093*x1^3*x4^3*x5+4927*x1^2*x2*x4^3*x5+23209*x1*x2^2*x4^3*x5+23755*x2^3*x4^3*x5+26650*x1^4*x3*x5^2+27289*x1^3*x2*x3*x5^2+35884*x1^2*x2^2*x3*x5^2+24992*x1*x2^3*x3*x5^2+14404*x2^4*x3*x5^2+45726*x1^4*x4*x5^2+10550*x1^3*x2*x4*x5^2+60249*x1^2*x2^2*x4*x5^2+29827*x1*x2^3*x4*x5^2+4875*x2^4*x4*x5^2+52115*x1^3*x3^3*x6+59491*x1^2*x2*x3^3*x6+35498*x1*x2^2*x3^3*x6+50768*x2^3*x3^3*x6+65362*x1^3*x3^2*x4*x6+5282*x1^2*x2*x3^2*x4*x6+7617*x1*x2^2*x3^2*x4*x6+51565*x2^3*x3^2*x4*x6+35663*x1^3*x3*x4^2*x6+51422*x1^2*x2*x3*x4^2*x6+9435*x1*x2^2*x3*x4^2*x6+13656*x2^3*x3*x4^2*x6+2966*x1^3*x4^3*x6+60576*x1^2*x2*x4^3*x6+39582*x1*x2^2*x4^3*x6+39357*x2^3*x4^3*x6+13262*x1^4*x3*x5*x6+50344*x1^3*x2*x3*x5*x6+18756*x1^2*x2^2*x3*x5*x6+12108*x1*x2^3*x3*x5*x6+17643*x2^4*x3*x5*x6+14436*x1^4*x4*x5*x6+17230*x1^3*x2*x4*x5*x6+34929*x1^2*x2^2*x4*x5*x6+20587*x1*x2^3*x4*x5*x6+47719*x2^4*x4*x5*x6+6066*x1^4*x3*x6^2+41825*x1^3*x2*x3*x6^2+37793*x1^2*x2^2*x3*x6^2+32353*x1*x2^3*x3*x6^2+28205*x2^4*x3*x6^2+35262*x1^4*x4*x6^2+98*x1^3*x2*x4*x6^2+29636*x1^2*x2^2*x4*x6^2+13451*x1*x2^3*x4*x6^2+10607*x2^4*x4*x6^2+33854*x3^6+13242*x3^5*x4+65474*x3^4*x4^2+33052*x3^3*x4^3+27351*x3^2*x4^4+17757*x3*x4^5+40142*x4^6+54616*x1*x3^4*x5+28131*x2*x3^4*x5+43258*x1*x3^3*x4*x5+32264*x2*x3^3*x4*x5+45368*x1*x3^2*x4^2*x5+8894*x2*x3^2*x4^2*x5+62147*x1*x3*x4^3*x5+16993*x2*x3*x4^3*x5+444*x1*x4^4*x5+32986*x2*x4^4*x5+47502*x1^2*x3^2*x5^2+10580*x1*x2*x3^2*x5^2+1419*x2^2*x3^2*x5^2+46223*x1^2*x3*x4*x5^2+13630*x1*x2*x3*x4*x5^2+50985*x2^2*x3*x4*x5^2+9139*x1^2*x4^2*x5^2+39055*x1*x2*x4^2*x5^2+25468*x2^2*x4^2*x5^2+59673*x1^3*x5^3+32439*x1^2*x2*x5^3+29819*x1*x2^2*x5^3+2564*x2^3*x5^3+34796*x1*x3^4*x6+62434*x2*x3^4*x6+59120*x1*x3^3*x4*x6+41355*x2*x3^3*x4*x6+15381*x1*x3^2*x4^2*x6+59303*x2*x3^2*x4^2*x6+22616*x1*x3*x4^3*x6+23788*x2*x3*x4^3*x6+57329*x1*x4^4*x6+52122*x2*x4^4*x6+14297*x1^2*x3^2*x5*x6+7077*x1*x2*x3^2*x5*x6+49354*x2^2*x3^2*x5*x6+14503*x1^2*x3*x4*x5*x6+16383*x1*x2*x3*x4*x5*x6+14770*x2^2*x3*x4*x5*x6+29140*x1^2*x4^2*x5*x6+7967*x1*x2*x4^2*x5*x6+62237*x2^2*x4^2*x5*x6+37614*x1^3*x5^2*x6+26661*x1^2*x2*x5^2*x6+26813*x1*x2^2*x5^2*x6+32340*x2^3*x5^2*x6+13462*x1^2*x3^2*x6^2+20563*x1*x2*x3^2*x6^2+29368*x2^2*x3^2*x6^2+33114*x1^2*x3*x4*x6^2+44411*x1*x2*x3*x4*x6^2+54216*x2^2*x3*x4*x6^2+35826*x1^2*x4^2*x6^2+23051*x1*x2*x4^2*x6^2+33850*x2^2*x4^2*x6^2+29981*x1^3*x5*x6^2+38021*x1^2*x2*x5*x6^2+28717*x1*x2^2*x5*x6^2+10464*x2^3*x5*x6^2+63142*x1^3*x6^3+48739*x1^2*x2*x6^3+30284*x1*x2^2*x6^3+18375*x2^3*x6^3+46943*x3^3*x5^2+4772*x3^2*x4*x5^2+51107*x3*x4^2*x5^2+45545*x4^3*x5^2+2101*x1*x3*x5^3+49197*x2*x3*x5^3+12635*x1*x4*x5^3+6751*x2*x4*x5^3+41893*x3^3*x5*x6+35070*x3^2*x4*x5*x6+24208*x3*x4^2*x5*x6+30096*x4^3*x5*x6+50214*x1*x3*x5^2*x6+38768*x2*x3*x5^2*x6+7424*x1*x4*x5^2*x6+7082*x2*x4*x5^2*x6+57792*x3^3*x6^2+53020*x3^2*x4*x6^2+52706*x3*x4^2*x6^2+30348*x4^3*x6^2+4027*x1*x3*x5*x6^2+14799*x2*x3*x5*x6^2+57312*x1*x4*x5*x6^2+25970*x2*x4*x5*x6^2+17651*x1*x3*x6^3+17636*x2*x3*x6^3+4945*x1*x4*x6^3+26115*x2*x4*x6^3+952*x5^4+3520*x5^3*x6+3612*x5^2*x6^2+60312*x5*x6^3+45811*x6^4+49741,
44170*x1^12+13961*x1^11*x2+55907*x1^10*x2^2+14692*x1^9*x2^3+53004*x1^8*x2^4+62904*x1^7*x2^5+15339*x1^6*x2^6+9904*x1^5*x2^7+25966*x1^4*x2^8+61823*x1^3*x2^9+62145*x1^2*x2^10+10323*x1*x2^11+57140*x2^12+2740*x1^10*x3+51605*x1^9*x2*x3+58392*x1^8*x2^2*x3+13470*x1^7*x2^3*x3+42362*x1^6*x2^4*x3+43257*x1^5*x2^5*x3+18373*x1^4*x2^6*x3+47594*x1^3*x2^7*x3+39246*x1^2*x2^8*x3+11417*x1*x2^9*x3+8912*x2^10*x3+34224*x1^10*x4+58655*x1^9*x2*x4+61823*x1^8*x2^2*x4+31015*x1^7*x2^3*x4+4074*x1^6*x2^4*x4+26449*x1^5*x2^5*x4+46834*x1^4*x2^6*x4+61806*x1^3*x2^7*x4+53497*x1^2*x2^8*x4+35654*x1*x2^9*x4+27890*x2^10*x4+45217*x1^8*x3^2+37060*x1^7*x2*x3^2+24327*x1^6*x2^2*x3^2+10792*x1^5*x2^3*x3^2+36747*x1^4*x2^4*x3^2+65143*x1^3*x2^5*x3^2+49084*x1^2*x2^6*x3^2+22310*x1*x2^7*x3^2+45182*x2^8*x3^2+29469*x1^8*x3*x4+8378*x1^7*x2*x3*x4+53863*x1^6*x2^2*x3*x4+4277*x1^5*x2^3*x3*x4+43450*x1^4*x2^4*x3*x4+11965*x1^3*x2^5*x3*x4+16688*x1^2*x2^6*x3*x4+65394*x1*x2^7*x3*x4+13961*x2^8*x3*x4+31522*x1^8*x4^2+31183*x1^7*x2*x4^2+3561*x1^6*x2^2*x4^2+41297*x1^5*x2^3*x4^2+30880*x1^4*x2^4*x4^2+46938*x1^3*x2^5*x4^2+23647*x1^2*x2^6*x4^2+5856*x1*x2^7*x4^2+24774*x2^8*x4^2+58936*x1^9*x5+31129*x1^8*x2*x5+43557*x1^7*x2^2*x5+55587*x1^6*x2^3*x5+43959*x1^5*x2^4*x5+26597*x1^4*x2^5*x5+34155*x1^3*x2^6*x5+1963*x1^2*x2^7*x5+12755*x1*x2^8*x5+38784*x2^9*x5+50725*x1^9*x6+28875*x1^8*x2*x6+60433*x1^7*x2^2*x6+21961*x1^6*x2^3*x6+20190*x1^5*x2^4*x6+7806*x1^4*x2^5*x6+2463*x1^3*x2^6*x6+10248*x1^2*x2^7*x6+2866*x1*x2^8*x6+33453*x2^9*x6+60550*x1^6*x3^3+17827*x1^5*x2*x3^3+29635*x1^4*x2^2*x3^3+13460*x1^3*x2^3*x3^3+39676*x1^2*x2^4*x3^3+18861*x1*x2^5*x3^3+27450*x2^6*x3^3+1612*x1^6*x3^2*x4+18798*x1^5*x2*x3^2*x4+3164*x1^4*x2^2*x3^2*x4+40831*x1^3*x2^3*x3^2*x4+14010*x1^2*x2^4*x3^2*x4+35827*x1*x2^5*x3^2*x4+61261*x2^6*x3^2*x4+35929*x1^6*x3*x4^2+50445*x1^5*x2*x3*x4^2+10327*x1^4*x2^2*x3*x4^2+32737*x1^3*x2^3*x3*x4^2+20750*x1^2*x2^4*x3*x4^2+63432*x1*x2^5*x3*x4^2+22446*x2^6*x3*x4^2+8259*x1^6*x4^3+25936*x1^5*x2*x4^3+49942*x1^4*x2^2*x4^3+1037*x1^3*x2^3*x4^3+33278*x1^2*x2^4*x4^3+37042*x1*x2^5*x4^3+18855*x2^6*x4^3+2690*x1^7*x3*x5+37993*x1^6*x2*x3*x5+43606*x1^5*x2^2*x3*x5+8316*x1^4*x2^3*x3*x5+30469*x1^3*x2^4*x3*x5+61955*x1^2*x2^5*x3*x5+32262*x1*x2^6*x3*x5+13069*x2^7*x3*x5+58732*x1^7*x4*x5+49296*x1^6*x2*x4*x5+7951*x1^5*x2^2*x4*x5+6744*x1^4*x2^3*x4*x5+36601*x1^3*x2^4*x4*x5+689*x1^2*x2^5*x4*x5+20406*x1*x2^6*x4*x5+4491*x2^7*x4*x5+6132*x1^7*x3*x6+42322*x1^6*x2*x3*x6+60311*x1^5*x2^2*x3*x6+47462*x1^4*x2^3*x3*x6+48149*x1^3*x2^4*x3*x6+21900*x1^2*x2^5*x3*x6+39797*x1*x2^6*x3*x6+26188*x2^7*x3*x6+46970*x1^7*x4*x6+61144*x1^6*x2*x4*x6+39740*x1^5*x2^2*x4*x6+42324*x1^4*x2^3*x4*x6+49386*x1^3*x2^4*x4*x6+36482*x1^2*x2^5*x4*x6+22261*x1*x2^6*x4*x6+63488*x2^7*x4*x6+30672*x1^4*x3^4+20917*x1^3*x2*x3^4+1060*x1^2*x2^2*x3^4+32838*x1*x2^3*x3^4+55292*x2^4*x3^4+47989*x1^4*x3^3*x4+24112*x1^3*x2*x3^3*x4+34379*x1^2*x2^2*x3^3*x4+6329*x1*x2^3*x3^3*x4+47535*x2^4*x3^3*x4+17838*x1^4*x3^2*x4^2+55542*x1^3*x2*x3^2*x4^2+26394*x1^2*x2^2*x3^2*x4^2+14610*x1*x2^3*x3^2*x4^2+40778*x2^4*x3^2*x4^2+39977*x1^4*x3*x4^3+55994*x1^3*x2*x3*x4^3+47117*x1^2*x2^2*x3*x4^3+4826*x1*x2^3*x3*x4^3+21140*x2^4*x3*x4^3+19830*x1^4*x4^4+40165*x1^3*x2*x4^4+53555*x1^2*x2^2*x4^4+15294*x1*x2^3*x4^4+3173*x2^4*x4^4+55550*x1^5*x3^2*x5+19543*x1^4*x2*x3^2*x5+55255*x1^3*x2^2*x3^2*x5+56882*x1^2*x2^3*x3^2*x5+46355*x1*x2^4*x3^2*x5+37679*x2^5*x3^2*x5+19034*x1^5*x3*x4*x5+14019*x1^4*x2*x3*x4*x5+18693*x1^3*x2^2*x3*x4*x5+22403*x1^2*x2^3*x3*x4*x5+1787*x1*x2^4*x3*x4*x5+13785*x2^5*x3*x4*x5+33309*x1^5*x4^2*x5+56794*x1^4*x2*x4^2*x5+17262*x1^3*x2^2*x4^2*x5+18034*x1^2*x2^3*x4^2*x5+23790*x1*x2^4*x4^2*x5+15267*x2^5*x4^2*x5+57156*x1^6*x5^2+45116*x1^5*x2*x5^2+17392*x1^4*x2^2*x5^2+13421*x1^3*x2^3*x5^2+56904*x1^2*x2^4*x5^2+11631*x1*x2^5*x5^2+44507*x2^6*x5^2+27898*x1^5*x3^2*x6+7477*x1^4*x2*x3^2*x6+28988*x1^3*x2^2*x3^2*x6+8600*x1^2*x2^3*x3^2*x6+59450*x1*x2^4*x3^2*x6+417*x2^5*x3^2*x6+29859*x1^5*x3*x4*x6+4299*x1^4*x2*x3*x4*x6+4390*x1^3*x2^2*x3*x4*x6+24460*x1^2*x2^3*x3*x4*x6+12003*x1*x2^4*x3*x4*x6+15096*x2^5*x3*x4*x6+58188*x1^5*x4^2*x6+65402*x1^4*x2*x4^2*x6+46990*x1^3*x2^2*x4^2*x6+28827*x1^2*x2^3*x4^2*x6+53023*x1*x2^4*x4^2*x6+14594*x2^5*x4^2*x6+31493*x1^6*x5*x6+17747*x1^5*x2*x5*x6+51712*x1^4*x2^2*x5*x6+5685*x1^3*x2^3*x5*x6+39669*x1^2*x2^4*x5*x6+1484*x1*x2^5*x5*x6+55308*x2^6*x5*x6+59911*x1^6*x6^2+11127*x1^5*x2*x6^2+21537*x1^4*x2^2*x6^2+4656*x1^3*x2^3*x6^2+22856*x1^2*x2^4*x6^2+43751*x1*x2^5*x6^2+32247*x2^6*x6^2+13587*x1^2*x3^5+42291*x1*x2*x3^5+51553*x2^2*x3^5+45690*x1^2*x3^4*x4+43781*x1*x2*x3^4*x4+29371*x2^2*x3^4*x4+29006*x1^2*x3^3*x4^2+64323*x1*x2*x3^3*x4^2+21917*x2^2*x3^3*x4^2+55677*x1^2*x3^2*x4^3+38867*x1*x2*x3^2*x4^3+46390*x2^2*x3^2*x4^3+47533*x1^2*x3*x4^4+21204*x1*x2*x3*x4^4+53230*x2^2*x3*x4^4+3375*x1^2*x4^5+19742*x1*x2*x4^5+20791*x2^2*x4^5+56906*x1^3*x3^3*x5+18567*x1^2*x2*x3^3*x5+8575*x1*x2^2*x3^3*x5+29120*x2^3*x3^3*x5+43853*x1^3*x3^2*x4*x5+45873*x1^2*x2*x3^2*x4*x5+20855*x1*x2^2*x3^2*x4*x5+29018*x2^3*x3^2*x4*x5+2096*x1^3*x3*x4^2*x5+32037*x1^2*x2*x3*x4^2*x5+49554*x1*x2^2*x3*x4^2*x5+36493*x2^3*x3*x4^2*x5+27758*x1^3*x4^3*x5+63221*x1^2*x2*x4^3*x5+3044*x1*x2^2*x4^3*x5+663*x2^3*x4^3*x5+9163*x1^4*x3*x5^2+59992*x1^3*x2*x3*x5^2+51439*x1^2*x2^2*x3*x5^2+17251*x1*x2^3*x3*x5^2+37735*x2^4*x3*x5^2+36782*x1^4*x4*x5^2+7393*x1^3*x2*x4*x5^2+34276*x1^2*x2^2*x4*x5^2+5619*x1*x2^3*x4*x5^2+24229*x2^4*x4*x5^2+15561*x1^3*x3^3*x6+57579*x1^2*x2*x3^3*x6+30886*x1*x2^2*x3^3*x6+31445*x2^3*x3^3*x6+26955*x1^3*x3^2*x4*x6+51835*x1^2*x2*x3^2*x4*x6+29601*x1*x2^2*x3^2*x4*x6+1805*x2^3*x3^2*x4*x6+25674*x1^3*x3*x4^2*x6+47307*x1^2*x2*x3*x4^2*x6+43984*x1*x2^2*x3*x4^2*x6+31072*x2^3*x3*x4^2*x6+6465*x1^3*x4^3*x6+36711*x1^2*x2*x4^3*x6+31723*x1*x2^2*x4^3*x6+12170*x2^3*x4^3*x6+2769*x1^4*x3*x5*x6+2331*x1^3*x2*x3*x5*x6+19667*x1^2*x2^2*x3*x5*x6+62401*x1*x2^3*x3*x5*x6+3095*x2^4*x3*x5*x6+37632*x1^4*x4*x5*x6+29042*x1^3*x2*x4*x5*x6+41942*x1^2*x2^2*x4*x5*x6+11894*x1*x2^3*x4*x5*x6+61928*x2^4*x4*x5*x6+3807*x1^4*x3*x6^2+59140*x1^3*x2*x3*x6^2+25691*x1^2*x2^2*x3*x6^2+55842*x1*x2^3*x3*x6^2+23670*x2^4*x3*x6^2+59429*x1^4*x4*x6^2+58095*x1^3*x2*x4*x6^2+25595*x1^2*x2^2*x4*x6^2+46065*x1*x2^3*x4*x6^2+58495*x2^4*x4*x6^2+50854*x3^6+14489*x3^5*x4+39822*x3^4*x4^2+39283*x3^3*x4^3+25811*x3^2*x4^4+30170*x3*x4^5+31718*x4^6+53598*x1*x3^4*x5+6107*x2*x3^4*x5+13557*x1*x3^3*x4*x5+19456*x2*x3^3*x4*x5+34114*x1*x3^2*x4^2*x5+21222*x2*x3^2*x4^2*x5+5800*x1*x3*x4^3*x5+28820*x2*x3*x4^3*x5+59104*x1*x4^4*x5+21771*x2*x4^4*x5+61191*x1^2*x3^2*x5^2+12232*x1*x2*x3^2*x5^2+47946*x2^2*x3^2*x5^2+41830*x1^2*x3*x4*x5^2+48283*x1*x2*x3*x4*x5^2+38002*x2^2*x3*x4*x5^2+3776*x1^2*x4^2*x5^2+60738*x1*x2*x4^2*x5^2+45326*x2^2*x4^2*x5^2+39102*x1^3*x5^3+16772*x1^2*x2*x5^3+48638*x1*x2^2*x5^3+14711*x2^3*x5^3+2347*x1*x3^4*x6+44210*x2*x3^4*x6+39432*x1*x3^3*x4*x6+12010*x2*x3^3*x4*x6+12037*x1*x3^2*x4^2*x6+32456*x2*x3^2*x4^2*x6+8651*x1*x3*x4^3*x6+36212*x2*x3*x4^3*x6+64028*x1*x4^4*x6+45290*x2*x4^4*x6+18836*x1^2*x3^2*x5*x6+60155*x1*x2*x3^2*x5*x6+45411*x2^2*x3^2*x5*x6+10295*x1^2*x3*x4*x5*x6+24416*x1*x2*x3*x4*x5*x6+14293*x2^2*x3*x4*x5*x6+30774*x1^2*x4^2*x5*x6+48381*x1*x2*x4^2*x5*x6+61444*x2^2*x4^2*x5*x6+36065*x1^3*x5^2*x6+4837*x1^2*x2*x5^2*x6+4088*x1*x2^2*x5^2*x6+21373*x2^3*x5^2*x6+47528*x1^2*x3^2*x6^2+8651*x1*x2*x3^2*x6^2+15253*x2^2*x3^2*x6^2+41635*x1^2*x3*x4*x6^2+41044*x1*x2*x3*x4*x6^2+45902*x2^2*x3*x4*x6^2+43990*x1^2*x4^2*x6^2+2384*x1*x2*x4^2*x6^2+12804*x2^2*x4^2*x6^2+6209*x1^3*x5*x6^2+43414*x1^2*x2*x5*x6^2+57600*x1*x2^2*x5*x6^2+54206*x2^3*x5*x6^2+65047*x1^3*x6^3+24946*x1^2*x2*x6^3+44562*x1*x2^2*x6^3+63933*x2^3*x6^3+65448*x3^3*x5^2+15986*x3^2*x4*x5^2+25134*x3*x4^2*x5^2+6115*x4^3*x5^2+30641*x1*x3*x5^3+61038*x2*x3*x5^3+60104*x1*x4*x5^3+13779*x2*x4*x5^3+49131*x3^3*x5*x6+61233*x3^2*x4*x5*x6+29614*x3*x4^2*x5*x6+9311*x4^3*x5*x6+58945*x1*x3*x5^2*x6+38598*x2*x3*x5^2*x6+24014*x1*x4*x5^2*x6+30220*x2*x4*x5^2*x6+13483*x3^3*x6^2+3435*x3^2*x4*x6^2+54838*x3*x4^2*x6^2+7455*x4^3*x6^2+10211*x1*x3*x5*x6^2+9443*x2*x3*x5*x6^2+52500*x1*x4*x5*x6^2+3179*x2*x4*x5*x6^2+37491*x1*x3*x6^3+39523*x2*x3*x6^3+57042*x1*x4*x6^3+51405*x2*x4*x6^3+26011*x5^4+53915*x5^3*x6+53257*x5^2*x6^2+4721*x5*x6^3+27161*x6^4+16749,
44840*x1^12+33182*x1^11*x2+3814*x1^10*x2^2+35643*x1^9*x2^3+6652*x1^8*x2^4+25225*x1^7*x2^5+45992*x1^6*x2^6+47043*x1^5*x2^7+34059*x1^4*x2^8+29217*x1^3*x2^9+48892*x1^2*x2^10+52959*x1*x2^11+54845*x2^12+62155*x1^10*x3+39314*x1^9*x2*x3+47824*x1^8*x2^2*x3+56007*x1^7*x2^3*x3+50087*x1^6*x2^4*x3+61931*x1^5*x2^5*x3+41005*x1^4*x2^6*x3+62513*x1^3*x2^7*x3+5686*x1^2*x2^8*x3+62322*x1*x2^9*x3+18845*x2^10*x3+23080*x1^10*x4+13762*x1^9*x2*x4+16988*x1^8*x2^2*x4+52509*x1^7*x2^3*x4+6240*x1^6*x2^4*x4+34302*x1^5*x2^5*x4+20917*x1^4*x2^6*x4+28461*x1^3*x2^7*x4+47635*x1^2*x2^8*x4+12581*x1*x2^9*x4+42487*x2^10*x4+40421*x1^8*x3^2+14487*x1^7*x2*x3^2+17848*x1^6*x2^2*x3^2+10620*x1^5*x2^3*x3^2+11991*x1^4*x2^4*x3^2+49565*x1^3*x2^5*x3^2+22757*x1^2*x2^6*x3^2+16152*x1*x2^7*x3^2+18274*x2^8*x3^2+55451*x1^8*x3*x4+33532*x1^7*x2*x3*x4+62691*x1^6*x2^2*x3*x4+59506*x1^5*x2^3*x3*x4+17056*x1^4*x2^4*x3*x4+21205*x1^3*x2^5*x3*x4+31709*x1^2*x2^6*x3*x4+20687*x1*x2^7*x3*x4+38733*x2^8*x3*x4+28661*x1^8*x4^2+5903*x1^7*x2*x4^2+5085*x1^6*x2^2*x4^2+26844*x1^5*x2^3*x4^2+20519*x1^4*x2^4*x4^2+4444*x1^3*x2^5*x4^2+1057*x1^2*x2^6*x4^2+41809*x1*x2^7*x4^2+25330*x2^8*x4^2+5505*x1^9*x5+21900*x1^8*x2*x5+37471*x1^7*x2^2*x5+11442*x1^6*x2^3*x5+31035*x1^5*x2^4*x5+7114*x1^4*x2^5*x5+40904*x1^3*x2^6*x5+1225*x1^2*x2^7*x5+30347*x1*x2^8*x5+61135*x2^9*x5+27317*x1^9*x6+10419*x1^8*x2*x6+32226*x1^7*x2^2*x6+38355*x1^6*x2^3*x6+53228*x1^5*x2^4*x6+57784*x1^4*x2^5*x6+39856*x1^3*x2^6*x6+23012*x1^2*x2^7*x6+49312*x1*x2^8*x6+28464*x2^9*x6+41747*x1^6*x3^3+41422*x1^5*x2*x3^3+35449*x1^4*x2^2*x3^3+64460*x1^3*x2^3*x3^3+52028*x1^2*x2^4*x3^3+53210*x1*x2^5*x3^3+10494*x2^6*x3^3+29185*x1^6*x3^2*x4+3284*x1^5*x2*x3^2*x4+24839*x1^4*x2^2*x3^2*x4+45765*x1^3*x2^3*x3^2*x4+54368*x1^2*x2^4*x3^2*x4+41477*x1*x2^5*x3^2*x4+45678*x2^6*x3^2*x4+7454*x1^6*x3*x4^2+46473*x1^5*x2*x3*x4^2+6006*x1^4*x2^2*x3*x4^2+43525*x1^3*x2^3*x3*x4^2+22940*x1^2*x2^4*x3*x4^2+37138*x1*x2^5*x3*x4^2+52546*x2^6*x3*x4^2+40164*x1^6*x4^3+35576*x1^5*x2*x4^3+61359*x1^4*x2^2*x4^3+7291*x1^3*x2^3*x4^3+57132*x1^2*x2^4*x4^3+22842*x1*x2^5*x4^3+61623*x2^6*x4^3+40674*x1^7*x3*x5+1992*x1^6*x2*x3*x5+17407*x1^5*x2^2*x3*x5+24715*x1^4*x2^3*x3*x5+60839*x1^3*x2^4*x3*x5+16372*x1^2*x2^5*x3*x5+46942*x1*x2^6*x3*x5+7739*x2^7*x3*x5+13954*x1^7*x4*x5+20438*x1^6*x2*x4*x5+25729*x1^5*x2^2*x4*x5+21714*x1^4*x2^3*x4*x5+9275*x1^3*x2^4*x4*x5+11659*x1^2*x2^5*x4*x5+24834*x1*x2^6*x4*x5+36054*x2^7*x4*x5+52883*x1^7*x3*x6+36383*x1^6*x2*x3*x6+64036*x1^5*x2^2*x3*x6+46495*x1^4*x2^3*x3*x6+15766*x1^3*x2^4*x3*x6+9642*x1^2*x2^5*x3*x6+54619*x1*x2^6*x3*x6+8042*x2^7*x3*x6+23746*x1^7*x4*x6+44215*x1^6*x2*x4*x6+3174*x1^5*x2^2*x4*x6+1364*x1^4*x2^3*x4*x6+26133*x1^3*x2^4*x4*x6+49452*x1^2*x2^5*x4*x6+35370*x1*x2^6*x4*x6+8976*x2^7*x4*x6+53235*x1^4*x3^4+21638*x1^3*x2*x3^4+8314*x1^2*x2^2*x3^4+36880*x1*x2^3*x3^4+48377*x2^4*x3^4+24495*x1^4*x3^3*x4+61725*x1^3*x2*x3^3*x4+59767*x1^2*x2^2*x3^3*x4+43868*x1*x2^3*x3^3*x4+21464*x2^4*x3^3*x4+55693*x1^4*x3^2*x4^2+15979*x1^3*x2*x3^2*x4^2+49574*x1^2*x2^2*x3^2*x4^2+62161*x1*x2^3*x3^2*x4^2+32964*x2^4*x3^2*x4^2+48757*x1^4*x3*x4^3+59007*x1^3*x2*x3*x4^3+3818*x1^2*x2^2*x3*x4^3+7354*x1*x2^3*x3*x4^3+30391*x2^4*x3*x4^3+32474*x1^4*x4^4+3309*x1^3*x2*x4^4+18791*x1^2*x2^2*x4^4+43984*x1*x2^3*x4^4+16959*x2^4*x4^4+64579*x1^5*x3^2*x5+26501*x1^4*x2*x3^2*x5+54740*x1^3*x2^2*x3^2*x5+65161*x1^2*x2^3*x3^2*x5+50884*x1*x2^4*x3^2*x5+8555*x2^5*x3^2*x5+35179*x1^5*x3*x4*x5+13586*x1^4*x2*x3*x4*x5+65379*x1^3*x2^2*x3*x4*x5+29947*x1^2*x2^3*x3*x4*x5+42967*x1*x2^4*x3*x4*x5+6912*x2^5*x3*x4*x5+33803*x1^5*x4^2*x5+15649*x1^4*x2*x4^2*x5+26243*x1^3*x2^2*x4^2*x5+28606*x1^2*x2^3*x4^2*x5+34529*x1*x2^4*x4^2*x5+39736*x2^5*x4^2*x5+19596*x1^6*x5^2+47379*x1^5*x2*x5^2+8245*x1^4*x2^2*x5^2+35760*x1^3*x2^3*x5^2+55722*x1^2*x2^4*x5^2+62223*x1*x2^5*x5^2+30098*x2^6*x5^2+42949*x1^5*x3^2*x6+1433*x1^4*x2*x3^2*x6+52163*x1^3*x2^2*x3^2*x6+13095*x1^2*x2^3*x3^2*x6+41822*x1*x2^4*x3^2*x6+38055*x2^5*x3^2*x6+45780*x1^5*x3*x4*x6+61658*x1^4*x2*x3*x4*x6+26063*x1^3*x2^2*x3*x4*x6+37495*x1^2*x2^3*x3*x4*x6+51389*x1*x2^4*x3*x4*x6+52418*x2^5*x3*x4*x6+65038*x1^5*x4^2*x6+39831*x1^4*x2*x4^2*x6+52080*x1^3*x2^2*x4^2*x6+8958*x1^2*x2^3*x4^2*x6+34469*x1*x2^4*x4^2*x6+30968*x2^5*x4^2*x6+12644*x1^6*x5*x6+56587*x1^5*x2*x5*x6+54884*x1^4*x2^2*x5*x6+582*x1^3*x2^3*x5*x6+43329*x1^2*x2^4*x5*x6+3606*x1*x2^5*x5*x6+52342*x2^6*x5*x6+2968*x1^6*x6^2+35929*x1^5*x2*x6^2+44738*x1^4*x2^2*x6^2+17421*x1^3*x2^3*x6^2+50711*x1^2*x2^4*x6^2+32307*x1*x2^5*x6^2+19618*x2^6*x6^2+61927*x1^2*x3^5+44845*x1*x2*x3^5+45659*x2^2*x3^5+15699*x1^2*x3^4*x4+62657*x1*x2*x3^4*x4+49989*x2^2*x3^4*x4+44670*x1^2*x3^3*x4^2+50147*x1*x2*x3^3*x4^2+61886*x2^2*x3^3*x4^2+3575*x1^2*x3^2*x4^3+18800*x1*x2*x3^2*x4^3+22644*x2^2*x3^2*x4^3+28240*x1^2*x3*x4^4+60228*x1*x2*x3*x4^4+53225*x2^2*x3*x4^4+57256*x1^2*x4^5+56360*x1*x2*x4^5+13617*x2^2*x4^5+46060*x1^3*x3^3*x5+25513*x1^2*x2*x3^3*x5+2520*x1*x2^2*x3^3*x5+29665*x2^3*x3^3*x5+5838*x1^3*x3^2*x4*x5+19996*x1^2*x2*x3^2*x4*x5+21347*x1*x2^2*x3^2*x4*x5+33040*x2^3*x3^2*x4*x5+63065*x1^3*x3*x4^2*x5+6354*x1^2*x2*x3*x4^2*x5+29559*x1*x2^2*x3*x4^2*x5+19103*x2^3*x3*x4^2*x5+64958*x1^3*x4^3*x5+26463*x1^2*x2*x4^3*x5+7162*x1*x2^2*x4^3*x5+65443*x2^3*x4^3*x5+26741*x1^4*x3*x5^2+14017*x1^3*x2*x3*x5^2+35256*x1^2*x2^2*x3*x5^2+38380*x1*x2^3*x3*x5^2+64856*x2^4*x3*x5^2+21998*x1^4*x4*x5^2+23134*x1^3*x2*x4*x5^2+17660*x1^2*x2^2*x4*x5^2+37425*x1*x2^3*x4*x5^2+1578*x2^4*x4*x5^2+41380*x1^3*x3^3*x6+52117*x1^2*x2*x3^3*x6+8192*x1*x2^2*x3^3*x6+62294*x2^3*x3^3*x6+55685*x1^3*x3^2*x4*x6+52743*x1^2*x2*x3^2*x4*x6+54069*x1*x2^2*x3^2*x4*x6+61838*x2^3*x3^2*x4*x6+42678*x1^3*x3*x4^2*x6+7201*x1^2*x2*x3*x4^2*x6+63731*x1*x2^2*x3*x4^2*x6+26774*x2^3*x3*x4^2*x6+13436*x1^3*x4^3*x6+17954*x1^2*x2*x4^3*x6+48401*x1*x2^2*x4^3*x6+35147*x2^3*x4^3*x6+3078*x1^4*x3*x5*x6+62607*x1^3*x2*x3*x5*x6+40814*x1^2*x2^2*x3*x5*x6+11924*x1*x2^3*x3*x5*x6+56718*x2^4*x3*x5*x6+41056*x1^4*x4*x5*x6+54280*x1^3*x2*x4*x5*x6+53504*x1^2*x2^2*x4*x5*x6+63453*x1*x2^3*x4*x5*x6+34787*x2^4*x4*x5*x6+17756*x1^4*x3*x6^2+6333*x1^3*x2*x3*x6^2+55933*x1^2*x2^2*x3*x6^2+40517*x1*x2^3*x3*x6^2+18504*x2^4*x3*x6^2+42424*x1^4*x4*x6^2+41130*x1^3*x2*x4*x6^2+7575*x1^2*x2^2*x4*x6^2+11565*x1*x2^3*x4*x6^2+25187*x2^4*x4*x6^2+50241*x3^6+34939*x3^5*x4+4527*x3^4*x4^2+20403*x3^3*x4^3+23543*x3^2*x4^4+15329*x3*x4^5+13413*x4^6+22446*x1*x3^4*x5+7642*x2*x3^4*x5+2831*x1*x3^3*x4*x5+56996*x2*x3^3*x4*x5+25065*x1*x3^2*x4^2*x5+44751*x2*x3^2*x4^2*x5+30266*x1*x3*x4^3*x5+37208*x2*x3*x4^3*x5+52167*x1*x4^4*x5+31254*x2*x4^4*x5+7394*x1^2*x3^2*x5^2+38348*x1*x2*x3^2*x5^2+7056*x2^2*x3^2*x5^2+1561*x1^2*x3*x4*x5^2+21295*x1*x2*x3*x4*x5^2+64777*x2^2*x3*x4*x5^2+53291*x1^2*x4^2*x5^2+64974*x1*x2*x4^2*x5^2+55626*x2^2*x4^2*x5^2+23007*x1^3*x5^3+5939*x1^2*x2*x5^3+63076*x1*x2^2*x5^3+37989*x2^3*x5^3+38459*x1*x3^4*x6+34281*x2*x3^4*x6+57607*x1*x3^3*x4*x6+28857*x2*x3^3*x4*x6+32080*x1*x3^2*x4^2*x6+49588*x2*x3^2*x4^2*x6+15760*x1*x3*x4^3*x6+65214*x2*x3*x4^3*x6+7140*x1*x4^4*x6+16910*x2*x4^4*x6+23601*x1^2*x3^2*x5*x6+27702*x1*x2*x3^2*x5*x6+41713*x2^2*x3^2*x5*x6+12347*x1^2*x3*x4*x5*x6+31212*x1*x2*x3*x4*x5*x6+22064*x2^2*x3*x4*x5*x6+25521*x1^2*x4^2*x5*x6+58577*x1*x2*x4^2*x5*x6+62606*x2^2*x4^2*x5*x6+54251*x1^3*x5^2*x6+3255*x1^2*x2*x5^2*x6+58389*x1*x2^2*x5^2*x6+42676*x2^3*x5^2*x6+39601*x1^2*x3^2*x6^2+5086*x1*x2*x3^2*x6^2+16950*x2^2*x3^2*x6^2+28618*x1^2*x3*x4*x6^2+59127*x1*x2*x3*x4*x6^2+27275*x2^2*x3*x4*x6^2+52082*x1^2*x4^2*x6^2+56127*x1*x2*x4^2*x6^2+4658*x2^2*x4^2*x6^2+803*x1^3*x5*x6^2+62248*x1^2*x2*x5*x6^2+16987*x1*x2^2*x5*x6^2+36278*x2^3*x5*x6^2+19610*x1^3*x6^3+10607*x1^2*x2*x6^3+26884*x1*x2^2*x6^3+2960*x2^3*x6^3+6467*x3^3*x5^2+56600*x3^2*x4*x5^2+15222*x3*x4^2*x5^2+62863*x4^3*x5^2+46769*x1*x3*x5^3+17362*x2*x3*x5^3+38834*x1*x4*x5^3+310*x2*x4*x5^3+60625*x3^3*x5*x6+16519*x3^2*x4*x5*x6+13220*x3*x4^2*x5*x6+27217*x4^3*x5*x6+14503*x1*x3*x5^2*x6+50224*x2*x3*x5^2*x6+35443*x1*x4*x5^2*x6+37165*x2*x4*x5^2*x6+27100*x3^3*x6^2+416*x3^2*x4*x6^2+18495*x3*x4^2*x6^2+34102*x4^3*x6^2+27958*x1*x3*x5*x6^2+18961*x2*x3*x5*x6^2+15239*x1*x4*x5*x6^2+65011*x2*x4*x5*x6^2+52348*x1*x3*x6^3+1257*x2*x3*x6^3+14720*x1*x4*x6^3+7482*x2*x4*x6^3+48622*x5^4+41531*x5^3*x6+43271*x5^2*x6^2+20666*x5*x6^3+8933*x6^4+34935,
50306*x1^18+39946*x1^17*x2+46051*x1^16*x2^2+4255*x1^15*x2^3+57291*x1^14*x2^4+24117*x1^13*x2^5+14797*x1^12*x2^6+53923*x1^11*x2^7+29939*x1^10*x2^8+53697*x1^9*x2^9+929*x1^8*x2^10+54285*x1^7*x2^11+28815*x1^6*x2^12+25150*x1^5*x2^13+42982*x1^4*x2^14+50027*x1^3*x2^15+41669*x1^2*x2^16+3230*x1*x2^17+18096*x2^18+43365*x1^16*x3+34520*x1^15*x2*x3+49716*x1^14*x2^2*x3+50750*x1^13*x2^3*x3+17883*x1^12*x2^4*x3+3518*x1^11*x2^5*x3+44944*x1^10*x2^6*x3+61362*x1^9*x2^7*x3+59180*x1^8*x2^8*x3+47771*x1^7*x2^9*x3+24541*x1^6*x2^10*x3+15780*x1^5*x2^11*x3+6910*x1^4*x2^12*x3+60692*x1^3*x2^13*x3+30736*x1^2*x2^14*x3+38885*x1*x2^15*x3+21514*x2^16*x3+31409*x1^16*x4+62520*x1^15*x2*x4+31452*x1^14*x2^2*x4+14886*x1^13*x2^3*x4+8497*x1^12*x2^4*x4+48601*x1^11*x2^5*x4+61918*x1^10*x2^6*x4+44728*x1^9*x2^7*x4+31442*x1^8*x2^8*x4+54790*x1^7*x2^9*x4+8947*x1^6*x2^10*x4+71*x1^5*x2^11*x4+53231*x1^4*x2^12*x4+33454*x1^3*x2^13*x4+32923*x1^2*x2^14*x4+24079*x1*x2^15*x4+31110*x2^16*x4+50372*x1^14*x3^2+49049*x1^13*x2*x3^2+9402*x1^12*x2^2*x3^2+24728*x1^11*x2^3*x3^2+64801*x1^10*x2^4*x3^2+40222*x1^9*x2^5*x3^2+48228*x1^8*x2^6*x3^2+14417*x1^7*x2^7*x3^2+30960*x1^6*x2^8*x3^2+17599*x1^5*x2^9*x3^2+15087*x1^4*x2^10*x3^2+2019*x1^3*x2^11*x3^2+58306*x1^2*x2^12*x3^2+54654*x1*x2^13*x3^2+47021*x2^14*x3^2+4420*x1^14*x3*x4+41328*x1^13*x2*x3*x4+63966*x1^12*x2^2*x3*x4+61956*x1^11*x2^3*x3*x4+45748*x1^10*x2^4*x3*x4+8220*x1^9*x2^5*x3*x4+20589*x1^8*x2^6*x3*x4+24116*x1^7*x2^7*x3*x4+574*x1^6*x2^8*x3*x4+34891*x1^5*x2^9*x3*x4+1292*x1^4*x2^10*x3*x4+51140*x1^3*x2^11*x3*x4+53182*x1^2*x2^12*x3*x4+48077*x1*x2^13*x3*x4+39857*x2^14*x3*x4+64605*x1^14*x4^2+42827*x1^13*x2*x4^2+29642*x1^12*x2^2*x4^2+39074*x1^11*x2^3*x4^2+11899*x1^10*x2^4*x4^2+1635*x1^9*x2^5*x4^2+16206*x1^8*x2^6*x4^2+30582*x1^7*x2^7*x4^2+5838*x1^6*x2^8*x4^2+44067*x1^5*x2^9*x4^2+23554*x1^4*x2^10*x4^2+166*x1^3*x2^11*x4^2+2040*x1^2*x2^12*x4^2+29884*x1*x2^13*x4^2+44216*x2^14*x4^2+55508*x1^15*x5+4180*x1^14*x2*x5+59587*x1^13*x2^2*x5+48418*x1^12*x2^3*x5+39403*x1^11*x2^4*x5+16695*x1^10*x2^5*x5+59025*x1^9*x2^6*x5+43313*x1^8*x2^7*x5+14179*x1^7*x2^8*x5+45521*x1^6*x2^9*x5+40683*x1^5*x2^10*x5+57696*x1^4*x2^11*x5+19534*x1^3*x2^12*x5+53705*x1^2*x2^13*x5+40123*x1*x2^14*x5+1881*x2^15*x5+42957*x1^15*x6+54494*x1^14*x2*x6+54516*x1^13*x2^2*x6+58312*x1^12*x2^3*x6+4325*x1^11*x2^4*x6+36737*x1^10*x2^5*x6+31994*x1^9*x2^6*x6+35334*x1^8*x2^7*x6+61858*x1^7*x2^8*x6+5469*x1^6*x2^9*x6+10074*x1^5*x2^10*x6+21238*x1^4*x2^11*x6+39989*x1^3*x2^12*x6+3419*x1^2*x2^13*x6+9658*x1*x2^14*x6+14932*x2^15*x6+19078*x1^12*x3^3+10285*x1^11*x2*x3^3+53564*x1^10*x2^2*x3^3+18507*x1^9*x2^3*x3^3+2649*x1^8*x2^4*x3^3+5967*x1^7*x2^5*x3^3+1770*x1^6*x2^6*x3^3+26571*x1^5*x2^7*x3^3+19646*x1^4*x2^8*x3^3+23686*x1^3*x2^9*x3^3+22521*x1^2*x2^10*x3^3+990*x1*x2^11*x3^3+13323*x2^12*x3^3+5633*x1^12*x3^2*x4+34079*x1^11*x2*x3^2*x4+45528*x1^10*x2^2*x3^2*x4+29748*x1^9*x2^3*x3^2*x4+63786*x1^8*x2^4*x3^2*x4+60792*x1^7*x2^5*x3^2*x4+47346*x1^6*x2^6*x3^2*x4+14238*x1^5*x2^7*x3^2*x4+62717*x1^4*x2^8*x3^2*x4+32902*x1^3*x2^9*x3^2*x4+9429*x1^2*x2^10*x3^2*x4+29849*x1*x2^11*x3^2*x4+47542*x2^12*x3^2*x4+17787*x1^12*x3*x4^2+2181*x1^11*x2*x3*x4^2+37716*x1^10*x2^2*x3*x4^2+33843*x1^9*x2^3*x3*x4^2+20919*x1^8*x2^4*x3*x4^2+34744*x1^7*x2^5*x3*x4^2+44965*x1^6*x2^6*x3*x4^2+60320*x1^5*x2^7*x3*x4^2+27846*x1^4*x2^8*x3*x4^2+39408*x1^3*x2^9*x3*x4^2+42082*x1^2*x2^10*x3*x4^2+58132*x1*x2^11*x3*x4^2+31222*x2^12*x3*x4^2+50186*x1^12*x4^3+43224*x1^11*x2*x4^3+48051*x1^10*x2^2*x4^3+53859*x1^9*x2^3*x4^3+44500*x1^8*x2^4*x4^3+28360*x1^7*x2^5*x4^3+24908*x1^6*x2^6*x4^3+38781*x1^5*x2^7*x4^3+54614*x1^4*x2^8*x4^3+9879*x1^3*x2^9*x4^3+5330*x1^2*x2^10*x4^3+45551*x1*x2^11*x4^3+22555*x2^12*x4^3+23931*x1^13*x3*x5+63592*x1^12*x2*x3*x5+43555*x1^11*x2^2*x3*x5+49511*x1^10*x2^3*x3*x5+18595*x1^9*x2^4*x3*x5+52362*x1^8*x2^5*x3*x5+25748*x1^7*x2^6*x3*x5+18475*x1^6*x2^7*x3*x5+17976*x1^5*x2^8*x3*x5+20695*x1^4*x2^9*x3*x5+33512*x1^3*x2^10*x3*x5+52236*x1^2*x2^11*x3*x5+63241*x1*x2^12*x3*x5+54420*x2^13*x3*x5+13452*x1^13*x4*x5+20872*x1^12*x2*x4*x5+33823*x1^11*x2^2*x4*x5+50326*x1^10*x2^3*x4*x5+57639*x1^9*x2^4*x4*x5+28681*x1^8*x2^5*x4*x5+43746*x1^7*x2^6*x4*x5+24997*x1^6*x2^7*x4*x5+44582*x1^5*x2^8*x4*x5+37957*x1^4*x2^9*x4*x5+4535*x1^3*x2^10*x4*x5+15225*x1^2*x2^11*x4*x5+62295*x1*x2^12*x4*x5+35958*x2^13*x4*x5+35932*x1^13*x3*x6+23663*x1^12*x2*x3*x6+60870*x1^11*x2^2*x3*x6+5204*x1^10*x2^3*x3*x6+3223*x1^9*x2^4*x3*x6+46078*x1^8*x2^5*x3*x6+57906*x1^7*x2^6*x3*x6+16066*x1^6*x2^7*x3*x6+62190*x1^5*x2^8*x3*x6+21432*x1^4*x2^9*x3*x6+3773*x1^3*x2^10*x3*x6+28811*x1^2*x2^11*x3*x6+6083*x1*x2^12*x3*x6+40440*x2^13*x3*x6+25856*x1^13*x4*x6+17279*x1^12*x2*x4*x6+23894*x1^11*x2^2*x4*x6+29238*x1^10*x2^3*x4*x6+28215*x1^9*x2^4*x4*x6+46132*x1^8*x2^5*x4*x6+35077*x1^7*x2^6*x4*x6+43975*x1^6*x2^7*x4*x6+53641*x1^5*x2^8*x4*x6+41141*x1^4*x2^9*x4*x6+27498*x1^3*x2^10*x4*x6+12862*x1^2*x2^11*x4*x6+36456*x1*x2^12*x4*x6+46089*x2^13*x4*x6+16001*x1^10*x3^4+45183*x1^9*x2*x3^4+47222*x1^8*x2^2*x3^4+61889*x1^7*x2^3*x3^4+42012*x1^6*x2^4*x3^4+25255*x1^5*x2^5*x3^4+42984*x1^4*x2^6*x3^4+37012*x1^3*x2^7*x3^4+52979*x1^2*x2^8*x3^4+49015*x1*x2^9*x3^4+37612*x2^10*x3^4+13241*x1^10*x3^3*x4+5355*x1^9*x2*x3^3*x4+38096*x1^8*x2^2*x3^3*x4+41012*x1^7*x2^3*x3^3*x4+32301*x1^6*x2^4*x3^3*x4+15904*x1^5*x2^5*x3^3*x4+33765*x1^4*x2^6*x3^3*x4+13528*x1^3*x2^7*x3^3*x4+54042*x1^2*x2^8*x3^3*x4+42201*x1*x2^9*x3^3*x4+32283*x2^10*x3^3*x4+42173*x1^10*x3^2*x4^2+59079*x1^9*x2*x3^2*x4^2+20738*x1^8*x2^2*x3^2*x4^2+38585*x1^7*x2^3*x3^2*x4^2+35768*x1^6*x2^4*x3^2*x4^2+52720*x1^5*x2^5*x3^2*x4^2+14542*x1^4*x2^6*x3^2*x4^2+15411*x1^3*x2^7*x3^2*x4^2+41615*x1^2*x2^8*x3^2*x4^2+10900*x1*x2^9*x3^2*x4^2+16855*x2^10*x3^2*x4^2+5200*x1^10*x3*x4^3+63981*x1^9*x2*x3*x4^3+4487*x1^8*x2^2*x3*x4^3+24129*x1^7*x2^3*x3*x4^3+29498*x1^6*x2^4*x3*x4^3+57283*x1^5*x2^5*x3*x4^3+7249*x1^4*x2^6*x3*x4^3+33011*x1^3*x2^7*x3*x4^3+58906*x1^2*x2^8*x3*x4^3+32739*x1*x2^9*x3*x4^3+119*x2^10*x3*x4^3+39397*x1^10*x4^4+10287*x1^9*x2*x4^4+44615*x1^8*x2^2*x4^4+43745*x1^7*x2^3*x4^4+47955*x1^6*x2^4*x4^4+36352*x1^5*x2^5*x4^4+15716*x1^4*x2^6*x4^4+19183*x1^3*x2^7*x4^4+59180*x1^2*x2^8*x4^4+49915*x1*x2^9*x4^4+23167*x2^10*x4^4+18167*x1^11*x3^2*x5+35484*x1^10*x2*x3^2*x5+41518*x1^9*x2^2*x3^2*x5+29389*x1^8*x2^3*x3^2*x5+40984*x1^7*x2^4*x3^2*x5+60362*x1^6*x2^5*x3^2*x5+24541*x1^5*x2^6*x3^2*x5+47144*x1^4*x2^7*x3^2*x5+40959*x1^3*x2^8*x3^2*x5+4908*x1^2*x2^9*x3^2*x5+62860*x1*x2^10*x3^2*x5+22633*x2^11*x3^2*x5+1467*x1^11*x3*x4*x5+49194*x1^10*x2*x3*x4*x5+25750*x1^9*x2^2*x3*x4*x5+29894*x1^8*x2^3*x3*x4*x5+3155*x1^7*x2^4*x3*x4*x5+18916*x1^6*x2^5*x3*x4*x5+18909*x1^5*x2^6*x3*x4*x5+50843*x1^4*x2^7*x3*x4*x5+21640*x1^3*x2^8*x3*x4*x5+37570*x1^2*x2^9*x3*x4*x5+4975*x1*x2^10*x3*x4*x5+21288*x2^11*x3*x4*x5+13614*x1^11*x4^2*x5+62348*x1^10*x2*x4^2*x5+9302*x1^9*x2^2*x4^2*x5+49778*x1^8*x2^3*x4^2*x5+17347*x1^7*x2^4*x4^2*x5+50093*x1^6*x2^5*x4^2*x5+1371*x1^5*x2^6*x4^2*x5+25893*x1^4*x2^7*x4^2*x5+43471*x1^3*x2^8*x4^2*x5+17648*x1^2*x2^9*x4^2*x5+15339*x1*x2^10*x4^2*x5+25549*x2^11*x4^2*x5+1632*x1^12*x5^2+13975*x1^11*x2*x5^2+43656*x1^10*x2^2*x5^2+9752*x1^9*x2^3*x5^2+6234*x1^8*x2^4*x5^2+53130*x1^7*x2^5*x5^2+13538*x1^6*x2^6*x5^2+24385*x1^5*x2^7*x5^2+25375*x1^4*x2^8*x5^2+36073*x1^3*x2^9*x5^2+6722*x1^2*x2^10*x5^2+31876*x1*x2^11*x5^2+29829*x2^12*x5^2+4316*x1^11*x3^2*x6+12057*x1^10*x2*x3^2*x6+43149*x1^9*x2^2*x3^2*x6+28829*x1^8*x2^3*x3^2*x6+27293*x1^7*x2^4*x3^2*x6+35985*x1^6*x2^5*x3^2*x6+40314*x1^5*x2^6*x3^2*x6+2875*x1^4*x2^7*x3^2*x6+7833*x1^3*x2^8*x3^2*x6+38609*x1^2*x2^9*x3^2*x6+54162*x1*x2^10*x3^2*x6+28021*x2^11*x3^2*x6+15576*x1^11*x3*x4*x6+59340*x1^10*x2*x3*x4*x6+22558*x1^9*x2^2*x3*x4*x6+23813*x1^8*x2^3*x3*x4*x6+2136*x1^7*x2^4*x3*x4*x6+44028*x1^6*x2^5*x3*x4*x6+53776*x1^5*x2^6*x3*x4*x6+59541*x1^4*x2^7*x3*x4*x6+34216*x1^3*x2^8*x3*x4*x6+27542*x1^2*x2^9*x3*x4*x6+49155*x1*x2^10*x3*x4*x6+59726*x2^11*x3*x4*x6+50700*x1^11*x4^2*x6+65193*x1^10*x2*x4^2*x6+65390*x1^9*x2^2*x4^2*x6+32418*x1^8*x2^3*x4^2*x6+10675*x1^7*x2^4*x4^2*x6+36143*x1^6*x2^5*x4^2*x6+49653*x1^5*x2^6*x4^2*x6+57711*x1^4*x2^7*x4^2*x6+25841*x1^3*x2^8*x4^2*x6+14729*x1^2*x2^9*x4^2*x6+29720*x1*x2^10*x4^2*x6+62904*x2^11*x4^2*x6+26842*x1^12*x5*x6+19936*x1^11*x2*x5*x6+57298*x1^10*x2^2*x5*x6+13854*x1^9*x2^3*x5*x6+54617*x1^8*x2^4*x5*x6+56209*x1^7*x2^5*x5*x6+32715*x1^6*x2^6*x5*x6+30547*x1^5*x2^7*x5*x6+46617*x1^4*x2^8*x5*x6+43784*x1^3*x2^9*x5*x6+59953*x1^2*x2^10*x5*x6+21897*x1*x2^11*x5*x6+10246*x2^12*x5*x6+22750*x1^12*x6^2+9510*x1^11*x2*x6^2+65027*x1^10*x2^2*x6^2+39663*x1^9*x2^3*x6^2+2404*x1^8*x2^4*x6^2+10764*x1^7*x2^5*x6^2+21882*x1^6*x2^6*x6^2+3335*x1^5*x2^7*x6^2+18784*x1^4*x2^8*x6^2+61095*x1^3*x2^9*x6^2+10572*x1^2*x2^10*x6^2+40676*x1*x2^11*x6^2+42798*x2^12*x6^2+10680*x1^8*x3^5+27909*x1^7*x2*x3^5+31938*x1^6*x2^2*x3^5+59409*x1^5*x2^3*x3^5+32308*x1^4*x2^4*x3^5+34212*x1^3*x2^5*x3^5+27596*x1^2*x2^6*x3^5+4070*x1*x2^7*x3^5+19489*x2^8*x3^5+8876*x1^8*x3^4*x4+53812*x1^7*x2*x3^4*x4+21429*x1^6*x2^2*x3^4*x4+41266*x1^5*x2^3*x3^4*x4+38719*x1^4*x2^4*x3^4*x4+57798*x1^3*x2^5*x3^4*x4+49807*x1^2*x2^6*x3^4*x4+14464*x1*x2^7*x3^4*x4+31092*x2^8*x3^4*x4+44155*x1^8*x3^3*x4^2+49952*x1^7*x2*x3^3*x4^2+57652*x1^6*x2^2*x3^3*x4^2+32727*x1^5*x2^3*x3^3*x4^2+58727*x1^4*x2^4*x3^3*x4^2+7967*x1^3*x2^5*x3^3*x4^2+51678*x1^2*x2^6*x3^3*x4^2+48698*x1*x2^7*x3^3*x4^2+49783*x2^8*x3^3*x4^2+36173*x1^8*x3^2*x4^3+26121*x1^7*x2*x3^2*x4^3+14294*x1^6*x2^2*x3^2*x4^3+32500*x1^5*x2^3*x3^2*x4^3+12182*x1^4*x2^4*x3^2*x4^3+2874*x1^3*x2^5*x3^2*x4^3+64514*x1^2*x2^6*x3^2*x4^3+38055*x1*x2^7*x3^2*x4^3+48677*x2^8*x3^2*x4^3+21003*x1^8*x3*x4^4+62010*x1^7*x2*x3*x4^4+34507*x1^6*x2^2*x3*x4^4+39523*x1^5*x2^3*x3*x4^4+38581*x1^4*x2^4*x3*x4^4+35905*x1^3*x2^5*x3*x4^4+25106*x1^2*x2^6*x3*x4^4+44859*x1*x2^7*x3*x4^4+1148*x2^8*x3*x4^4+15831*x1^8*x4^5+58696*x1^7*x2*x4^5+14314*x1^6*x2^2*x4^5+691*x1^5*x2^3*x4^5+16182*x1^4*x2^4*x4^5+42113*x1^3*x2^5*x4^5+20329*x1^2*x2^6*x4^5+56141*x1*x2^7*x4^5+27589*x2^8*x4^5+45233*x1^9*x3^3*x5+33985*x1^8*x2*x3^3*x5+5121*x1^7*x2^2*x3^3*x5+39298*x1^6*x2^3*x3^3*x5+32047*x1^5*x2^4*x3^3*x5+36197*x1^4*x2^5*x3^3*x5+34739*x1^3*x2^6*x3^3*x5+50217*x1^2*x2^7*x3^3*x5+43172*x1*x2^8*x3^3*x5+48611*x2^9*x3^3*x5+6720*x1^9*x3^2*x4*x5+18751*x1^8*x2*x3^2*x4*x5+22291*x1^7*x2^2*x3^2*x4*x5+26183*x1^6*x2^3*x3^2*x4*x5+21225*x1^5*x2^4*x3^2*x4*x5+58793*x1^4*x2^5*x3^2*x4*x5+39119*x1^3*x2^6*x3^2*x4*x5+58540*x1^2*x2^7*x3^2*x4*x5+62267*x1*x2^8*x3^2*x4*x5+60370*x2^9*x3^2*x4*x5+45613*x1^9*x3*x4^2*x5+28608*x1^8*x2*x3*x4^2*x5+15331*x1^7*x2^2*x3*x4^2*x5+47371*x1^6*x2^3*x3*x4^2*x5+28852*x1^5*x2^4*x3*x4^2*x5+40155*x1^4*x2^5*x3*x4^2*x5+29387*x1^3*x2^6*x3*x4^2*x5+24661*x1^2*x2^7*x3*x4^2*x5+18117*x1*x2^8*x3*x4^2*x5+49995*x2^9*x3*x4^2*x5+19889*x1^9*x4^3*x5+11461*x1^8*x2*x4^3*x5+52336*x1^7*x2^2*x4^3*x5+57212*x1^6*x2^3*x4^3*x5+26508*x1^5*x2^4*x4^3*x5+38901*x1^4*x2^5*x4^3*x5+6185*x1^3*x2^6*x4^3*x5+21236*x1^2*x2^7*x4^3*x5+57421*x1*x2^8*x4^3*x5+48087*x2^9*x4^3*x5+27376*x1^10*x3*x5^2+50568*x1^9*x2*x3*x5^2+25449*x1^8*x2^2*x3*x5^2+30777*x1^7*x2^3*x3*x5^2+28574*x1^6*x2^4*x3*x5^2+7080*x1^5*x2^5*x3*x5^2+41943*x1^4*x2^6*x3*x5^2+55913*x1^3*x2^7*x3*x5^2+12360*x1^2*x2^8*x3*x5^2+51717*x1*x2^9*x3*x5^2+49611*x2^10*x3*x5^2+41700*x1^10*x4*x5^2+20841*x1^9*x2*x4*x5^2+31400*x1^8*x2^2*x4*x5^2+61067*x1^7*x2^3*x4*x5^2+17689*x1^6*x2^4*x4*x5^2+15640*x1^5*x2^5*x4*x5^2+17888*x1^4*x2^6*x4*x5^2+56716*x1^3*x2^7*x4*x5^2+23079*x1^2*x2^8*x4*x5^2+17629*x1*x2^9*x4*x5^2+39660*x2^10*x4*x5^2+29443*x1^9*x3^3*x6+22980*x1^8*x2*x3^3*x6+12085*x1^7*x2^2*x3^3*x6+5137*x1^6*x2^3*x3^3*x6+42153*x1^5*x2^4*x3^3*x6+35020*x1^4*x2^5*x3^3*x6+55554*x1^3*x2^6*x3^3*x6+8183*x1^2*x2^7*x3^3*x6+27699*x1*x2^8*x3^3*x6+64368*x2^9*x3^3*x6+34463*x1^9*x3^2*x4*x6+55007*x1^8*x2*x3^2*x4*x6+47804*x1^7*x2^2*x3^2*x4*x6+41525*x1^6*x2^3*x3^2*x4*x6+50347*x1^5*x2^4*x3^2*x4*x6+65244*x1^4*x2^5*x3^2*x4*x6+55112*x1^3*x2^6*x3^2*x4*x6+25305*x1^2*x2^7*x3^2*x4*x6+64741*x1*x2^8*x3^2*x4*x6+59111*x2^9*x3^2*x4*x6+5787*x1^9*x3*x4^2*x6+7550*x1^8*x2*x3*x4^2*x6+14597*x1^7*x2^2*x3*x4^2*x6+7286*x1^6*x2^3*x3*x4^2*x6+48161*x1^5*x2^4*x3*x4^2*x6+18409*x1^4*x2^5*x3*x4^2*x6+40489*x1^3*x2^6*x3*x4^2*x6+37637*x1^2*x2^7*x3*x4^2*x6+15626*x1*x2^8*x3*x4^2*x6+14392*x2^9*x3*x4^2*x6+29252*x1^9*x4^3*x6+62792*x1^8*x2*x4^3*x6+43719*x1^7*x2^2*x4^3*x6+49596*x1^6*x2^3*x4^3*x6+53782*x1^5*x2^4*x4^3*x6+553*x1^4*x2^5*x4^3*x6+31573*x1^3*x2^6*x4^3*x6+12922*x1^2*x2^7*x4^3*x6+63530*x1*x2^8*x4^3*x6+22651*x2^9*x4^3*x6+55279*x1^10*x3*x5*x6+52013*x1^9*x2*x3*x5*x6+42584*x1^8*x2^2*x3*x5*x6+37487*x1^7*x2^3*x3*x5*x6+4201*x1^6*x2^4*x3*x5*x6+40880*x1^5*x2^5*x3*x5*x6+50940*x1^4*x2^6*x3*x5*x6+8442*x1^3*x2^7*x3*x5*x6+37295*x1^2*x2^8*x3*x5*x6+41204*x1*x2^9*x3*x5*x6+35789*x2^10*x3*x5*x6+51800*x1^10*x4*x5*x6+25558*x1^9*x2*x4*x5*x6+21824*x1^8*x2^2*x4*x5*x6+14712*x1^7*x2^3*x4*x5*x6+51859*x1^6*x2^4*x4*x5*x6+43578*x1^5*x2^5*x4*x5*x6+53534*x1^4*x2^6*x4*x5*x6+2230*x1^3*x2^7*x4*x5*x6+30550*x1^2*x2^8*x4*x5*x6+25005*x1*x2^9*x4*x5*x6+25668*x2^10*x4*x5*x6+53939*x1^10*x3*x6^2+38974*x1^9*x2*x3*x6^2+53993*x1^8*x2^2*x3*x6^2+40620*x1^7*x2^3*x3*x6^2+28051*x1^6*x2^4*x3*x6^2+41574*x1^5*x2^5*x3*x6^2+19045*x1^4*x2^6*x3*x6^2+58116*x1^3*x2^7*x3*x6^2+45149*x1^2*x2^8*x3*x6^2+64307*x1*x2^9*x3*x6^2+47034*x2^10*x3*x6^2+52817*x1^10*x4*x6^2+1106*x1^9*x2*x4*x6^2+1540*x1^8*x2^2*x4*x6^2+63712*x1^7*x2^3*x4*x6^2+52475*x1^6*x2^4*x4*x6^2+20959*x1^5*x2^5*x4*x6^2+5328*x1^4*x2^6*x4*x6^2+11501*x1^3*x2^7*x4*x6^2+59545*x1^2*x2^8*x4*x6^2+21337*x1*x2^9*x4*x6^2+28136*x2^10*x4*x6^2+49967*x1^6*x3^6+27367*x1^5*x2*x3^6+19875*x1^4*x2^2*x3^6+46244*x1^3*x2^3*x3^6+20879*x1^2*x2^4*x3^6+33971*x1*x2^5*x3^6+43474*x2^6*x3^6+63002*x1^6*x3^5*x4+17465*x1^5*x2*x3^5*x4+15705*x1^4*x2^2*x3^5*x4+2706*x1^3*x2^3*x3^5*x4+32553*x1^2*x2^4*x3^5*x4+14468*x1*x2^5*x3^5*x4+4078*x2^6*x3^5*x4+19318*x1^6*x3^4*x4^2+39223*x1^5*x2*x3^4*x4^2+29388*x1^4*x2^2*x3^4*x4^2+23972*x1^3*x2^3*x3^4*x4^2+9574*x1^2*x2^4*x3^4*x4^2+9769*x1*x2^5*x3^4*x4^2+29442*x2^6*x3^4*x4^2+16243*x1^6*x3^3*x4^3+25824*x1^5*x2*x3^3*x4^3+35937*x1^4*x2^2*x3^3*x4^3+46485*x1^3*x2^3*x3^3*x4^3+4786*x1^2*x2^4*x3^3*x4^3+54533*x1*x2^5*x3^3*x4^3+15839*x2^6*x3^3*x4^3+48080*x1^6*x3^2*x4^4+522*x1^5*x2*x3^2*x4^4+28493*x1^4*x2^2*x3^2*x4^4+7041*x1^3*x2^3*x3^2*x4^4+12547*x1^2*x2^4*x3^2*x4^4+5179*x1*x2^5*x3^2*x4^4+24322*x2^6*x3^2*x4^4+60920*x1^6*x3*x4^5+61585*x1^5*x2*x3*x4^5+32928*x1^4*x2^2*x3*x4^5+38318*x1^3*x2^3*x3*x4^5+49395*x1^2*x2^4*x3*x4^5+1778*x1*x2^5*x3*x4^5+49472*x2^6*x3*x4^5+17314*x1^6*x4^6+6738*x1^5*x2*x4^6+20412*x1^4*x2^2*x4^6+28359*x1^3*x2^3*x4^6+43604*x1^2*x2^4*x4^6+33849*x1*x2^5*x4^6+14400*x2^6*x4^6+4597*x1^7*x3^4*x5+15157*x1^6*x2*x3^4*x5+21602*x1^5*x2^2*x3^4*x5+8767*x1^4*x2^3*x3^4*x5+15475*x1^3*x2^4*x3^4*x5+29949*x1^2*x2^5*x3^4*x5+57610*x1*x2^6*x3^4*x5+43710*x2^7*x3^4*x5+55728*x1^7*x3^3*x4*x5+40522*x1^6*x2*x3^3*x4*x5+9672*x1^5*x2^2*x3^3*x4*x5+47606*x1^4*x2^3*x3^3*x4*x5+53337*x1^3*x2^4*x3^3*x4*x5+9864*x1^2*x2^5*x3^3*x4*x5+45724*x1*x2^6*x3^3*x4*x5+2380*x2^7*x3^3*x4*x5+24954*x1^7*x3^2*x4^2*x5+42477*x1^6*x2*x3^2*x4^2*x5+21227*x1^5*x2^2*x3^2*x4^2*x5+61873*x1^4*x2^3*x3^2*x4^2*x5+7609*x1^3*x2^4*x3^2*x4^2*x5+34627*x1^2*x2^5*x3^2*x4^2*x5+21338*x1*x2^6*x3^2*x4^2*x5+43111*x2^7*x3^2*x4^2*x5+45673*x1^7*x3*x4^3*x5+47858*x1^6*x2*x3*x4^3*x5+61913*x1^5*x2^2*x3*x4^3*x5+25738*x1^4*x2^3*x3*x4^3*x5+23570*x1^3*x2^4*x3*x4^3*x5+40519*x1^2*x2^5*x3*x4^3*x5+50057*x1*x2^6*x3*x4^3*x5+44271*x2^7*x3*x4^3*x5+53462*x1^7*x4^4*x5+45188*x1^6*x2*x4^4*x5+44197*x1^5*x2^2*x4^4*x5+25491*x1^4*x2^3*x4^4*x5+6151*x1^3*x2^4*x4^4*x5+9344*x1^2*x2^5*x4^4*x5+56319*x1*x2^6*x4^4*x5+7187*x2^7*x4^4*x5+62620*x1^8*x3^2*x5^2+7345*x1^7*x2*x3^2*x5^2+31063*x1^6*x2^2*x3^2*x5^2+39002*x1^5*x2^3*x3^2*x5^2+60506*x1^4*x2^4*x3^2*x5^2+38236*x1^3*x2^5*x3^2*x5^2+59486*x1^2*x2^6*x3^2*x5^2+39*x1*x2^7*x3^2*x5^2+20530*x2^8*x3^2*x5^2+4781*x1^8*x3*x4*x5^2+39422*x1^7*x2*x3*x4*x5^2+46831*x1^6*x2^2*x3*x4*x5^2+2060*x1^5*x2^3*x3*x4*x5^2+33917*x1^4*x2^4*x3*x4*x5^2+34779*x1^3*x2^5*x3*x4*x5^2+29799*x1^2*x2^6*x3*x4*x5^2+11261*x1*x2^7*x3*x4*x5^2+42312*x2^8*x3*x4*x5^2+53060*x1^8*x4^2*x5^2+27811*x1^7*x2*x4^2*x5^2+7026*x1^6*x2^2*x4^2*x5^2+65363*x1^5*x2^3*x4^2*x5^2+1447*x1^4*x2^4*x4^2*x5^2+23245*x1^3*x2^5*x4^2*x5^2+23802*x1^2*x2^6*x4^2*x5^2+7874*x1*x2^7*x4^2*x5^2+29344*x2^8*x4^2*x5^2+58746*x1^9*x5^3+16386*x1^8*x2*x5^3+5887*x1^7*x2^2*x5^3+37964*x1^6*x2^3*x5^3+15579*x1^5*x2^4*x5^3+16677*x1^4*x2^5*x5^3+60904*x1^3*x2^6*x5^3+59364*x1^2*x2^7*x5^3+43907*x1*x2^8*x5^3+36031*x2^9*x5^3+35717*x1^7*x3^4*x6+64750*x1^6*x2*x3^4*x6+47603*x1^5*x2^2*x3^4*x6+7532*x1^4*x2^3*x3^4*x6+53402*x1^3*x2^4*x3^4*x6+18005*x1^2*x2^5*x3^4*x6+49847*x1*x2^6*x3^4*x6+9782*x2^7*x3^4*x6+8916*x1^7*x3^3*x4*x6+30498*x1^6*x2*x3^3*x4*x6+21397*x1^5*x2^2*x3^3*x4*x6+47224*x1^4*x2^3*x3^3*x4*x6+60609*x1^3*x2^4*x3^3*x4*x6+15644*x1^2*x2^5*x3^3*x4*x6+61803*x1*x2^6*x3^3*x4*x6+3625*x2^7*x3^3*x4*x6+20623*x1^7*x3^2*x4^2*x6+39282*x1^6*x2*x3^2*x4^2*x6+63599*x1^5*x2^2*x3^2*x4^2*x6+12993*x1^4*x2^3*x3^2*x4^2*x6+65008*x1^3*x2^4*x3^2*x4^2*x6+63322*x1^2*x2^5*x3^2*x4^2*x6+24895*x1*x2^6*x3^2*x4^2*x6+62089*x2^7*x3^2*x4^2*x6+17017*x1^7*x3*x4^3*x6+62021*x1^6*x2*x3*x4^3*x6+2434*x1^5*x2^2*x3*x4^3*x6+22089*x1^4*x2^3*x3*x4^3*x6+13714*x1^3*x2^4*x3*x4^3*x6+2995*x1^2*x2^5*x3*x4^3*x6+12359*x1*x2^6*x3*x4^3*x6+12000*x2^7*x3*x4^3*x6+26208*x1^7*x4^4*x6+28439*x1^6*x2*x4^4*x6+52584*x1^5*x2^2*x4^4*x6+45350*x1^4*x2^3*x4^4*x6+35153*x1^3*x2^4*x4^4*x6+39455*x1^2*x2^5*x4^4*x6+49509*x1*x2^6*x4^4*x6+12769*x2^7*x4^4*x6+58378*x1^8*x3^2*x5*x6+61559*x1^7*x2*x3^2*x5*x6+12191*x1^6*x2^2*x3^2*x5*x6+35682*x1^5*x2^3*x3^2*x5*x6+58233*x1^4*x2^4*x3^2*x5*x6+60721*x1^3*x2^5*x3^2*x5*x6+38713*x1^2*x2^6*x3^2*x5*x6+46488*x1*x2^7*x3^2*x5*x6+62609*x2^8*x3^2*x5*x6+38586*x1^8*x3*x4*x5*x6+18878*x1^7*x2*x3*x4*x5*x6+49403*x1^6*x2^2*x3*x4*x5*x6+36585*x1^5*x2^3*x3*x4*x5*x6+16768*x1^4*x2^4*x3*x4*x5*x6+63261*x1^3*x2^5*x3*x4*x5*x6+45510*x1^2*x2^6*x3*x4*x5*x6+27125*x1*x2^7*x3*x4*x5*x6+991*x2^8*x3*x4*x5*x6+26704*x1^8*x4^2*x5*x6+18784*x1^7*x2*x4^2*x5*x6+56588*x1^6*x2^2*x4^2*x5*x6+51389*x1^5*x2^3*x4^2*x5*x6+14857*x1^4*x2^4*x4^2*x5*x6+17060*x1^3*x2^5*x4^2*x5*x6+28725*x1^2*x2^6*x4^2*x5*x6+10155*x1*x2^7*x4^2*x5*x6+1482*x2^8*x4^2*x5*x6+31361*x1^9*x5^2*x6+54297*x1^8*x2*x5^2*x6+42253*x1^7*x2^2*x5^2*x6+56384*x1^6*x2^3*x5^2*x6+11542*x1^5*x2^4*x5^2*x6+13923*x1^4*x2^5*x5^2*x6+16456*x1^3*x2^6*x5^2*x6+21009*x1^2*x2^7*x5^2*x6+36150*x1*x2^8*x5^2*x6+10966*x2^9*x5^2*x6+22869*x1^8*x3^2*x6^2+23998*x1^7*x2*x3^2*x6^2+22234*x1^6*x2^2*x3^2*x6^2+15991*x1^5*x2^3*x3^2*x6^2+1618*x1^4*x2^4*x3^2*x6^2+34700*x1^3*x2^5*x3^2*x6^2+24513*x1^2*x2^6*x3^2*x6^2+3986*x1*x2^7*x3^2*x6^2+8730*x2^8*x3^2*x6^2+18852*x1^8*x3*x4*x6^2+18918*x1^7*x2*x3*x4*x6^2+47842*x1^6*x2^2*x3*x4*x6^2+3645*x1^5*x2^3*x3*x4*x6^2+59255*x1^4*x2^4*x3*x4*x6^2+42400*x1^3*x2^5*x3*x4*x6^2+33208*x1^2*x2^6*x3*x4*x6^2+30248*x1*x2^7*x3*x4*x6^2+26124*x2^8*x3*x4*x6^2+30192*x1^8*x4^2*x6^2+50298*x1^7*x2*x4^2*x6^2+54194*x1^6*x2^2*x4^2*x6^2+51824*x1^5*x2^3*x4^2*x6^2+12914*x1^4*x2^4*x4^2*x6^2+40110*x1^3*x2^5*x4^2*x6^2+11189*x1^2*x2^6*x4^2*x6^2+31231*x1*x2^7*x4^2*x6^2+26660*x2^8*x4^2*x6^2+19911*x1^9*x5*x6^2+17858*x1^8*x2*x5*x6^2+31440*x1^7*x2^2*x5*x6^2+2809*x1^6*x2^3*x5*x6^2+46471*x1^5*x2^4*x5*x6^2+4210*x1^4*x2^5*x5*x6^2+36697*x1^3*x2^6*x5*x6^2+24287*x1^2*x2^7*x5*x6^2+18874*x1*x2^8*x5*x6^2+26668*x2^9*x5*x6^2+17737*x1^9*x6^3+36510*x1^8*x2*x6^3+26512*x1^7*x2^2*x6^3+23713*x1^6*x2^3*x6^3+26334*x1^5*x2^4*x6^3+46352*x1^4*x2^5*x6^3+50934*x1^3*x2^6*x6^3+49376*x1^2*x2^7*x6^3+621*x1*x2^8*x6^3+31694*x2^9*x6^3+4928*x1^4*x3^7+44360*x1^3*x2*x3^7+20120*x1^2*x2^2*x3^7+54048*x1*x2^3*x3^7+47503*x2^4*x3^7+47801*x1^4*x3^6*x4+50115*x1^3*x2*x3^6*x4+27240*x1^2*x2^2*x3^6*x4+12206*x1*x2^3*x3^6*x4+1502*x2^4*x3^6*x4+48436*x1^4*x3^5*x4^2+27467*x1^3*x2*x3^5*x4^2+60766*x1^2*x2^2*x3^5*x4^2+48910*x1*x2^3*x3^5*x4^2+64388*x2^4*x3^5*x4^2+55521*x1^4*x3^4*x4^3+12461*x1^3*x2*x3^4*x4^3+21621*x1^2*x2^2*x3^4*x4^3+34047*x1*x2^3*x3^4*x4^3+17358*x2^4*x3^4*x4^3+35906*x1^4*x3^3*x4^4+2327*x1^3*x2*x3^3*x4^4+29567*x1^2*x2^2*x3^3*x4^4+32895*x1*x2^3*x3^3*x4^4+62294*x2^4*x3^3*x4^4+22338*x1^4*x3^2*x4^5+48271*x1^3*x2*x3^2*x4^5+64769*x1^2*x2^2*x3^2*x4^5+37318*x1*x2^3*x3^2*x4^5+1420*x2^4*x3^2*x4^5+25781*x1^4*x3*x4^6+31744*x1^3*x2*x3*x4^6+7077*x1^2*x2^2*x3*x4^6+48847*x1*x2^3*x3*x4^6+28903*x2^4*x3*x4^6+2677*x1^4*x4^7+39011*x1^3*x2*x4^7+35628*x1^2*x2^2*x4^7+9570*x1*x2^3*x4^7+38622*x2^4*x4^7+43440*x1^5*x3^5*x5+17827*x1^4*x2*x3^5*x5+8409*x1^3*x2^2*x3^5*x5+57425*x1^2*x2^3*x3^5*x5+59280*x1*x2^4*x3^5*x5+60666*x2^5*x3^5*x5+8941*x1^5*x3^4*x4*x5+11349*x1^4*x2*x3^4*x4*x5+15813*x1^3*x2^2*x3^4*x4*x5+28947*x1^2*x2^3*x3^4*x4*x5+27544*x1*x2^4*x3^4*x4*x5+46353*x2^5*x3^4*x4*x5+7728*x1^5*x3^3*x4^2*x5+14079*x1^4*x2*x3^3*x4^2*x5+1953*x1^3*x2^2*x3^3*x4^2*x5+36219*x1^2*x2^3*x3^3*x4^2*x5+57658*x1*x2^4*x3^3*x4^2*x5+31151*x2^5*x3^3*x4^2*x5+3254*x1^5*x3^2*x4^3*x5+20109*x1^4*x2*x3^2*x4^3*x5+64122*x1^3*x2^2*x3^2*x4^3*x5+61347*x1^2*x2^3*x3^2*x4^3*x5+30014*x1*x2^4*x3^2*x4^3*x5+28342*x2^5*x3^2*x4^3*x5+29029*x1^5*x3*x4^4*x5+44215*x1^4*x2*x3*x4^4*x5+46000*x1^3*x2^2*x3*x4^4*x5+39221*x1^2*x2^3*x3*x4^4*x5+42286*x1*x2^4*x3*x4^4*x5+26671*x2^5*x3*x4^4*x5+10776*x1^5*x4^5*x5+40587*x1^4*x2*x4^5*x5+23838*x1^3*x2^2*x4^5*x5+20672*x1^2*x2^3*x4^5*x5+16843*x1*x2^4*x4^5*x5+22285*x2^5*x4^5*x5+23713*x1^6*x3^3*x5^2+44622*x1^5*x2*x3^3*x5^2+28845*x1^4*x2^2*x3^3*x5^2+42330*x1^3*x2^3*x3^3*x5^2+13675*x1^2*x2^4*x3^3*x5^2+50966*x1*x2^5*x3^3*x5^2+26318*x2^6*x3^3*x5^2+39664*x1^6*x3^2*x4*x5^2+11771*x1^5*x2*x3^2*x4*x5^2+46006*x1^4*x2^2*x3^2*x4*x5^2+64199*x1^3*x2^3*x3^2*x4*x5^2+9755*x1^2*x2^4*x3^2*x4*x5^2+40068*x1*x2^5*x3^2*x4*x5^2+3694*x2^6*x3^2*x4*x5^2+16536*x1^6*x3*x4^2*x5^2+3644*x1^5*x2*x3*x4^2*x5^2+57913*x1^4*x2^2*x3*x4^2*x5^2+34617*x1^3*x2^3*x3*x4^2*x5^2+59729*x1^2*x2^4*x3*x4^2*x5^2+51143*x1*x2^5*x3*x4^2*x5^2+48163*x2^6*x3*x4^2*x5^2+24279*x1^6*x4^3*x5^2+26337*x1^5*x2*x4^3*x5^2+2122*x1^4*x2^2*x4^3*x5^2+57278*x1^3*x2^3*x4^3*x5^2+9464*x1^2*x2^4*x4^3*x5^2+58167*x1*x2^5*x4^3*x5^2+32127*x2^6*x4^3*x5^2+39485*x1^7*x3*x5^3+13773*x1^6*x2*x3*x5^3+15246*x1^5*x2^2*x3*x5^3+62588*x1^4*x2^3*x3*x5^3+2249*x1^3*x2^4*x3*x5^3+408*x1^2*x2^5*x3*x5^3+39691*x1*x2^6*x3*x5^3+46600*x2^7*x3*x5^3+53091*x1^7*x4*x5^3+35113*x1^6*x2*x4*x5^3+58002*x1^5*x2^2*x4*x5^3+9481*x1^4*x2^3*x4*x5^3+3342*x1^3*x2^4*x4*x5^3+35562*x1^2*x2^5*x4*x5^3+55899*x1*x2^6*x4*x5^3+30864*x2^7*x4*x5^3+64883*x1^5*x3^5*x6+21480*x1^4*x2*x3^5*x6+41455*x1^3*x2^2*x3^5*x6+9337*x1^2*x2^3*x3^5*x6+62595*x1*x2^4*x3^5*x6+40241*x2^5*x3^5*x6+47933*x1^5*x3^4*x4*x6+30049*x1^4*x2*x3^4*x4*x6+14135*x1^3*x2^2*x3^4*x4*x6+54159*x1^2*x2^3*x3^4*x4*x6+24991*x1*x2^4*x3^4*x4*x6+10539*x2^5*x3^4*x4*x6+49852*x1^5*x3^3*x4^2*x6+43683*x1^4*x2*x3^3*x4^2*x6+8739*x1^3*x2^2*x3^3*x4^2*x6+60584*x1^2*x2^3*x3^3*x4^2*x6+34316*x1*x2^4*x3^3*x4^2*x6+17186*x2^5*x3^3*x4^2*x6+23766*x1^5*x3^2*x4^3*x6+45763*x1^4*x2*x3^2*x4^3*x6+47581*x1^3*x2^2*x3^2*x4^3*x6+47604*x1^2*x2^3*x3^2*x4^3*x6+27593*x1*x2^4*x3^2*x4^3*x6+20568*x2^5*x3^2*x4^3*x6+33702*x1^5*x3*x4^4*x6+4546*x1^4*x2*x3*x4^4*x6+45391*x1^3*x2^2*x3*x4^4*x6+54564*x1^2*x2^3*x3*x4^4*x6+41471*x1*x2^4*x3*x4^4*x6+45421*x2^5*x3*x4^4*x6+36702*x1^5*x4^5*x6+20923*x1^4*x2*x4^5*x6+50048*x1^3*x2^2*x4^5*x6+7800*x1^2*x2^3*x4^5*x6+2737*x1*x2^4*x4^5*x6+55706*x2^5*x4^5*x6+61183*x1^6*x3^3*x5*x6+14493*x1^5*x2*x3^3*x5*x6+18484*x1^4*x2^2*x3^3*x5*x6+37095*x1^3*x2^3*x3^3*x5*x6+17257*x1^2*x2^4*x3^3*x5*x6+13142*x1*x2^5*x3^3*x5*x6+1493*x2^6*x3^3*x5*x6+18744*x1^6*x3^2*x4*x5*x6+55629*x1^5*x2*x3^2*x4*x5*x6+5304*x1^4*x2^2*x3^2*x4*x5*x6+51361*x1^3*x2^3*x3^2*x4*x5*x6+40066*x1^2*x2^4*x3^2*x4*x5*x6+62215*x1*x2^5*x3^2*x4*x5*x6+15515*x2^6*x3^2*x4*x5*x6+63937*x1^6*x3*x4^2*x5*x6+10710*x1^5*x2*x3*x4^2*x5*x6+29735*x1^4*x2^2*x3*x4^2*x5*x6+42765*x1^3*x2^3*x3*x4^2*x5*x6+32979*x1^2*x2^4*x3*x4^2*x5*x6+35366*x1*x2^5*x3*x4^2*x5*x6+20931*x2^6*x3*x4^2*x5*x6+41648*x1^6*x4^3*x5*x6+11859*x1^5*x2*x4^3*x5*x6+44259*x1^4*x2^2*x4^3*x5*x6+9189*x1^3*x2^3*x4^3*x5*x6+45386*x1^2*x2^4*x4^3*x5*x6+46565*x1*x2^5*x4^3*x5*x6+43597*x2^6*x4^3*x5*x6+31372*x1^7*x3*x5^2*x6+39448*x1^6*x2*x3*x5^2*x6+47300*x1^5*x2^2*x3*x5^2*x6+19262*x1^4*x2^3*x3*x5^2*x6+21946*x1^3*x2^4*x3*x5^2*x6+25394*x1^2*x2^5*x3*x5^2*x6+54324*x1*x2^6*x3*x5^2*x6+54711*x2^7*x3*x5^2*x6+65164*x1^7*x4*x5^2*x6+50346*x1^6*x2*x4*x5^2*x6+15030*x1^5*x2^2*x4*x5^2*x6+3351*x1^4*x2^3*x4*x5^2*x6+41213*x1^3*x2^4*x4*x5^2*x6+37757*x1^2*x2^5*x4*x5^2*x6+26760*x1*x2^6*x4*x5^2*x6+17298*x2^7*x4*x5^2*x6+47708*x1^6*x3^3*x6^2+1459*x1^5*x2*x3^3*x6^2+49005*x1^4*x2^2*x3^3*x6^2+58859*x1^3*x2^3*x3^3*x6^2+49104*x1^2*x2^4*x3^3*x6^2+52059*x1*x2^5*x3^3*x6^2+23931*x2^6*x3^3*x6^2+61871*x1^6*x3^2*x4*x6^2+36734*x1^5*x2*x3^2*x4*x6^2+39173*x1^4*x2^2*x3^2*x4*x6^2+10324*x1^3*x2^3*x3^2*x4*x6^2+21679*x1^2*x2^4*x3^2*x4*x6^2+5431*x1*x2^5*x3^2*x4*x6^2+23135*x2^6*x3^2*x4*x6^2+19399*x1^6*x3*x4^2*x6^2+16439*x1^5*x2*x3*x4^2*x6^2+14600*x1^4*x2^2*x3*x4^2*x6^2+64525*x1^3*x2^3*x3*x4^2*x6^2+43682*x1^2*x2^4*x3*x4^2*x6^2+45831*x1*x2^5*x3*x4^2*x6^2+34119*x2^6*x3*x4^2*x6^2+14984*x1^6*x4^3*x6^2+14843*x1^5*x2*x4^3*x6^2+44730*x1^4*x2^2*x4^3*x6^2+20910*x1^3*x2^3*x4^3*x6^2+29606*x1^2*x2^4*x4^3*x6^2+19567*x1*x2^5*x4^3*x6^2+46447*x2^6*x4^3*x6^2+37137*x1^7*x3*x5*x6^2+39311*x1^6*x2*x3*x5*x6^2+1152*x1^5*x2^2*x3*x5*x6^2+7845*x1^4*x2^3*x3*x5*x6^2+1253*x1^3*x2^4*x3*x5*x6^2+6061*x1^2*x2^5*x3*x5*x6^2+46665*x1*x2^6*x3*x5*x6^2+285*x2^7*x3*x5*x6^2+19544*x1^7*x4*x5*x6^2+16257*x1^6*x2*x4*x5*x6^2+25002*x1^5*x2^2*x4*x5*x6^2+64457*x1^4*x2^3*x4*x5*x6^2+2717*x1^3*x2^4*x4*x5*x6^2+46138*x1^2*x2^5*x4*x5*x6^2+8413*x1*x2^6*x4*x5*x6^2+18344*x2^7*x4*x5*x6^2+64698*x1^7*x3*x6^3+46752*x1^6*x2*x3*x6^3+5983*x1^5*x2^2*x3*x6^3+41834*x1^4*x2^3*x3*x6^3+61879*x1^3*x2^4*x3*x6^3+26838*x1^2*x2^5*x3*x6^3+41671*x1*x2^6*x3*x6^3+17548*x2^7*x3*x6^3+36013*x1^7*x4*x6^3+57870*x1^6*x2*x4*x6^3+59700*x1^5*x2^2*x4*x6^3+42153*x1^4*x2^3*x4*x6^3+53208*x1^3*x2^4*x4*x6^3+10301*x1^2*x2^5*x4*x6^3+32714*x1*x2^6*x4*x6^3+49012*x2^7*x4*x6^3+36750*x1^2*x3^8+10114*x1*x2*x3^8+3211*x2^2*x3^8+6012*x1^2*x3^7*x4+55313*x1*x2*x3^7*x4+56878*x2^2*x3^7*x4+40485*x1^2*x3^6*x4^2+36240*x1*x2*x3^6*x4^2+60275*x2^2*x3^6*x4^2+24464*x1^2*x3^5*x4^3+9966*x1*x2*x3^5*x4^3+10284*x2^2*x3^5*x4^3+3528*x1^2*x3^4*x4^4+38880*x1*x2*x3^4*x4^4+61815*x2^2*x3^4*x4^4+56214*x1^2*x3^3*x4^5+48329*x1*x2*x3^3*x4^5+23838*x2^2*x3^3*x4^5+2784*x1^2*x3^2*x4^6+8531*x1*x2*x3^2*x4^6+29259*x2^2*x3^2*x4^6+34205*x1^2*x3*x4^7+45555*x1*x2*x3*x4^7+32042*x2^2*x3*x4^7+33135*x1^2*x4^8+30015*x1*x2*x4^8+46531*x2^2*x4^8+36735*x1^3*x3^6*x5+51842*x1^2*x2*x3^6*x5+1377*x1*x2^2*x3^6*x5+38668*x2^3*x3^6*x5+41551*x1^3*x3^5*x4*x5+20241*x1^2*x2*x3^5*x4*x5+26248*x1*x2^2*x3^5*x4*x5+3838*x2^3*x3^5*x4*x5+56164*x1^3*x3^4*x4^2*x5+2870*x1^2*x2*x3^4*x4^2*x5+21101*x1*x2^2*x3^4*x4^2*x5+63144*x2^3*x3^4*x4^2*x5+7972*x1^3*x3^3*x4^3*x5+4554*x1^2*x2*x3^3*x4^3*x5+970*x1*x2^2*x3^3*x4^3*x5+9965*x2^3*x3^3*x4^3*x5+9498*x1^3*x3^2*x4^4*x5+26120*x1^2*x2*x3^2*x4^4*x5+52144*x1*x2^2*x3^2*x4^4*x5+30461*x2^3*x3^2*x4^4*x5+18338*x1^3*x3*x4^5*x5+36363*x1^2*x2*x3*x4^5*x5+20464*x1*x2^2*x3*x4^5*x5+11205*x2^3*x3*x4^5*x5+29883*x1^3*x4^6*x5+58618*x1^2*x2*x4^6*x5+28323*x1*x2^2*x4^6*x5+42976*x2^3*x4^6*x5+37023*x1^4*x3^4*x5^2+27482*x1^3*x2*x3^4*x5^2+54255*x1^2*x2^2*x3^4*x5^2+47248*x1*x2^3*x3^4*x5^2+6998*x2^4*x3^4*x5^2+2158*x1^4*x3^3*x4*x5^2+58233*x1^3*x2*x3^3*x4*x5^2+26868*x1^2*x2^2*x3^3*x4*x5^2+54549*x1*x2^3*x3^3*x4*x5^2+61425*x2^4*x3^3*x4*x5^2+52260*x1^4*x3^2*x4^2*x5^2+29141*x1^3*x2*x3^2*x4^2*x5^2+27341*x1^2*x2^2*x3^2*x4^2*x5^2+33664*x1*x2^3*x3^2*x4^2*x5^2+815*x2^4*x3^2*x4^2*x5^2+10233*x1^4*x3*x4^3*x5^2+13279*x1^3*x2*x3*x4^3*x5^2+28775*x1^2*x2^2*x3*x4^3*x5^2+51664*x1*x2^3*x3*x4^3*x5^2+63247*x2^4*x3*x4^3*x5^2+20128*x1^4*x4^4*x5^2+21695*x1^3*x2*x4^4*x5^2+64084*x1^2*x2^2*x4^4*x5^2+19738*x1*x2^3*x4^4*x5^2+21880*x2^4*x4^4*x5^2+1951*x1^5*x3^2*x5^3+17081*x1^4*x2*x3^2*x5^3+50657*x1^3*x2^2*x3^2*x5^3+12091*x1^2*x2^3*x3^2*x5^3+47698*x1*x2^4*x3^2*x5^3+54474*x2^5*x3^2*x5^3+22535*x1^5*x3*x4*x5^3+32248*x1^4*x2*x3*x4*x5^3+17060*x1^3*x2^2*x3*x4*x5^3+13049*x1^2*x2^3*x3*x4*x5^3+62439*x1*x2^4*x3*x4*x5^3+48200*x2^5*x3*x4*x5^3+26163*x1^5*x4^2*x5^3+39013*x1^4*x2*x4^2*x5^3+57266*x1^3*x2^2*x4^2*x5^3+15484*x1^2*x2^3*x4^2*x5^3+49508*x1*x2^4*x4^2*x5^3+34090*x2^5*x4^2*x5^3+45729*x1^6*x5^4+22735*x1^5*x2*x5^4+37272*x1^4*x2^2*x5^4+12293*x1^3*x2^3*x5^4+5273*x1^2*x2^4*x5^4+61361*x1*x2^5*x5^4+52274*x2^6*x5^4+43770*x1^3*x3^6*x6+31160*x1^2*x2*x3^6*x6+56663*x1*x2^2*x3^6*x6+64181*x2^3*x3^6*x6+14134*x1^3*x3^5*x4*x6+25323*x1^2*x2*x3^5*x4*x6+63460*x1*x2^2*x3^5*x4*x6+61388*x2^3*x3^5*x4*x6+13051*x1^3*x3^4*x4^2*x6+43816*x1^2*x2*x3^4*x4^2*x6+58867*x1*x2^2*x3^4*x4^2*x6+15734*x2^3*x3^4*x4^2*x6+51300*x1^3*x3^3*x4^3*x6+31866*x1^2*x2*x3^3*x4^3*x6+61814*x1*x2^2*x3^3*x4^3*x6+24760*x2^3*x3^3*x4^3*x6+42058*x1^3*x3^2*x4^4*x6+15734*x1^2*x2*x3^2*x4^4*x6+47469*x1*x2^2*x3^2*x4^4*x6+56699*x2^3*x3^2*x4^4*x6+38357*x1^3*x3*x4^5*x6+19310*x1^2*x2*x3*x4^5*x6+43884*x1*x2^2*x3*x4^5*x6+42763*x2^3*x3*x4^5*x6+52166*x1^3*x4^6*x6+50873*x1^2*x2*x4^6*x6+36649*x1*x2^2*x4^6*x6+2157*x2^3*x4^6*x6+21286*x1^4*x3^4*x5*x6+49152*x1^3*x2*x3^4*x5*x6+15714*x1^2*x2^2*x3^4*x5*x6+54181*x1*x2^3*x3^4*x5*x6+22745*x2^4*x3^4*x5*x6+59735*x1^4*x3^3*x4*x5*x6+23823*x1^3*x2*x3^3*x4*x5*x6+33348*x1^2*x2^2*x3^3*x4*x5*x6+27376*x1*x2^3*x3^3*x4*x5*x6+65257*x2^4*x3^3*x4*x5*x6+37178*x1^4*x3^2*x4^2*x5*x6+10244*x1^3*x2*x3^2*x4^2*x5*x6+36122*x1^2*x2^2*x3^2*x4^2*x5*x6+57789*x1*x2^3*x3^2*x4^2*x5*x6+3218*x2^4*x3^2*x4^2*x5*x6+4046*x1^4*x3*x4^3*x5*x6+37850*x1^3*x2*x3*x4^3*x5*x6+4337*x1^2*x2^2*x3*x4^3*x5*x6+154*x1*x2^3*x3*x4^3*x5*x6+52533*x2^4*x3*x4^3*x5*x6+39548*x1^4*x4^4*x5*x6+13566*x1^3*x2*x4^4*x5*x6+44065*x1^2*x2^2*x4^4*x5*x6+31684*x1*x2^3*x4^4*x5*x6+18160*x2^4*x4^4*x5*x6+18964*x1^5*x3^2*x5^2*x6+62537*x1^4*x2*x3^2*x5^2*x6+34668*x1^3*x2^2*x3^2*x5^2*x6+3627*x1^2*x2^3*x3^2*x5^2*x6+12929*x1*x2^4*x3^2*x5^2*x6+29907*x2^5*x3^2*x5^2*x6+45695*x1^5*x3*x4*x5^2*x6+30608*x1^4*x2*x3*x4*x5^2*x6+57827*x1^3*x2^2*x3*x4*x5^2*x6+46140*x1^2*x2^3*x3*x4*x5^2*x6+59108*x1*x2^4*x3*x4*x5^2*x6+58842*x2^5*x3*x4*x5^2*x6+61352*x1^5*x4^2*x5^2*x6+7076*x1^4*x2*x4^2*x5^2*x6+32370*x1^3*x2^2*x4^2*x5^2*x6+34551*x1^2*x2^3*x4^2*x5^2*x6+55241*x1*x2^4*x4^2*x5^2*x6+34282*x2^5*x4^2*x5^2*x6+6645*x1^6*x5^3*x6+34698*x1^5*x2*x5^3*x6+54790*x1^4*x2^2*x5^3*x6+17095*x1^3*x2^3*x5^3*x6+11800*x1^2*x2^4*x5^3*x6+48270*x1*x2^5*x5^3*x6+51374*x2^6*x5^3*x6+42977*x1^4*x3^4*x6^2+15442*x1^3*x2*x3^4*x6^2+12247*x1^2*x2^2*x3^4*x6^2+7753*x1*x2^3*x3^4*x6^2+31331*x2^4*x3^4*x6^2+24266*x1^4*x3^3*x4*x6^2+64774*x1^3*x2*x3^3*x4*x6^2+42886*x1^2*x2^2*x3^3*x4*x6^2+25256*x1*x2^3*x3^3*x4*x6^2+51243*x2^4*x3^3*x4*x6^2+63399*x1^4*x3^2*x4^2*x6^2+19876*x1^3*x2*x3^2*x4^2*x6^2+27543*x1^2*x2^2*x3^2*x4^2*x6^2+27118*x1*x2^3*x3^2*x4^2*x6^2+40196*x2^4*x3^2*x4^2*x6^2+45472*x1^4*x3*x4^3*x6^2+24652*x1^3*x2*x3*x4^3*x6^2+56603*x1^2*x2^2*x3*x4^3*x6^2+2742*x1*x2^3*x3*x4^3*x6^2+32441*x2^4*x3*x4^3*x6^2+19832*x1^4*x4^4*x6^2+5278*x1^3*x2*x4^4*x6^2+23644*x1^2*x2^2*x4^4*x6^2+19456*x1*x2^3*x4^4*x6^2+8885*x2^4*x4^4*x6^2+26995*x1^5*x3^2*x5*x6^2+61738*x1^4*x2*x3^2*x5*x6^2+32966*x1^3*x2^2*x3^2*x5*x6^2+20857*x1^2*x2^3*x3^2*x5*x6^2+8557*x1*x2^4*x3^2*x5*x6^2+32972*x2^5*x3^2*x5*x6^2+26166*x1^5*x3*x4*x5*x6^2+59170*x1^4*x2*x3*x4*x5*x6^2+2125*x1^3*x2^2*x3*x4*x5*x6^2+51705*x1^2*x2^3*x3*x4*x5*x6^2+40801*x1*x2^4*x3*x4*x5*x6^2+38034*x2^5*x3*x4*x5*x6^2+34629*x1^5*x4^2*x5*x6^2+18617*x1^4*x2*x4^2*x5*x6^2+7433*x1^3*x2^2*x4^2*x5*x6^2+24749*x1^2*x2^3*x4^2*x5*x6^2+10238*x1*x2^4*x4^2*x5*x6^2+13975*x2^5*x4^2*x5*x6^2+31614*x1^6*x5^2*x6^2+60749*x1^5*x2*x5^2*x6^2+15268*x1^4*x2^2*x5^2*x6^2+36288*x1^3*x2^3*x5^2*x6^2+41845*x1^2*x2^4*x5^2*x6^2+37358*x1*x2^5*x5^2*x6^2+34631*x2^6*x5^2*x6^2+11684*x1^5*x3^2*x6^3+1499*x1^4*x2*x3^2*x6^3+22997*x1^3*x2^2*x3^2*x6^3+2188*x1^2*x2^3*x3^2*x6^3+37001*x1*x2^4*x3^2*x6^3+56678*x2^5*x3^2*x6^3+28759*x1^5*x3*x4*x6^3+4975*x1^4*x2*x3*x4*x6^3+13936*x1^3*x2^2*x3*x4*x6^3+36395*x1^2*x2^3*x3*x4*x6^3+43308*x1*x2^4*x3*x4*x6^3+45653*x2^5*x3*x4*x6^3+10131*x1^5*x4^2*x6^3+10003*x1^4*x2*x4^2*x6^3+17347*x1^3*x2^2*x4^2*x6^3+56165*x1^2*x2^3*x4^2*x6^3+42560*x1*x2^4*x4^2*x6^3+60717*x2^5*x4^2*x6^3+17511*x1^6*x5*x6^3+61968*x1^5*x2*x5*x6^3+57953*x1^4*x2^2*x5*x6^3+63041*x1^3*x2^3*x5*x6^3+54103*x1^2*x2^4*x5*x6^3+51202*x1*x2^5*x5*x6^3+37021*x2^6*x5*x6^3+60407*x1^6*x6^4+41131*x1^5*x2*x6^4+4395*x1^4*x2^2*x6^4+4322*x1^3*x2^3*x6^4+25396*x1^2*x2^4*x6^4+50937*x1*x2^5*x6^4+52943*x2^6*x6^4+36324*x3^9+36452*x3^8*x4+47098*x3^7*x4^2+16637*x3^6*x4^3+34237*x3^5*x4^4+18443*x3^4*x4^5+47195*x3^3*x4^6+25783*x3^2*x4^7+29103*x3*x4^8+47398*x4^9+12198*x1*x3^7*x5+6247*x2*x3^7*x5+49628*x1*x3^6*x4*x5+34275*x2*x3^6*x4*x5+50317*x1*x3^5*x4^2*x5+18943*x2*x3^5*x4^2*x5+48084*x1*x3^4*x4^3*x5+2535*x2*x3^4*x4^3*x5+10238*x1*x3^3*x4^4*x5+18433*x2*x3^3*x4^4*x5+15831*x1*x3^2*x4^5*x5+57754*x2*x3^2*x4^5*x5+35088*x1*x3*x4^6*x5+36705*x2*x3*x4^6*x5+65484*x1*x4^7*x5+60679*x2*x4^7*x5+3958*x1^2*x3^5*x5^2+39270*x1*x2*x3^5*x5^2+65090*x2^2*x3^5*x5^2+51879*x1^2*x3^4*x4*x5^2+19007*x1*x2*x3^4*x4*x5^2+41256*x2^2*x3^4*x4*x5^2+49134*x1^2*x3^3*x4^2*x5^2+41148*x1*x2*x3^3*x4^2*x5^2+42653*x2^2*x3^3*x4^2*x5^2+40476*x1^2*x3^2*x4^3*x5^2+62149*x1*x2*x3^2*x4^3*x5^2+47390*x2^2*x3^2*x4^3*x5^2+15219*x1^2*x3*x4^4*x5^2+35566*x1*x2*x3*x4^4*x5^2+59567*x2^2*x3*x4^4*x5^2+61213*x1^2*x4^5*x5^2+18345*x1*x2*x4^5*x5^2+19946*x2^2*x4^5*x5^2+34398*x1^3*x3^3*x5^3+8231*x1^2*x2*x3^3*x5^3+43277*x1*x2^2*x3^3*x5^3+38082*x2^3*x3^3*x5^3+20306*x1^3*x3^2*x4*x5^3+41816*x1^2*x2*x3^2*x4*x5^3+53465*x1*x2^2*x3^2*x4*x5^3+22704*x2^3*x3^2*x4*x5^3+11109*x1^3*x3*x4^2*x5^3+36826*x1^2*x2*x3*x4^2*x5^3+22071*x1*x2^2*x3*x4^2*x5^3+5409*x2^3*x3*x4^2*x5^3+50370*x1^3*x4^3*x5^3+25107*x1^2*x2*x4^3*x5^3+61627*x1*x2^2*x4^3*x5^3+16158*x2^3*x4^3*x5^3+49444*x1^4*x3*x5^4+55302*x1^3*x2*x3*x5^4+40573*x1^2*x2^2*x3*x5^4+63480*x1*x2^3*x3*x5^4+19636*x2^4*x3*x5^4+27966*x1^4*x4*x5^4+38314*x1^3*x2*x4*x5^4+37170*x1^2*x2^2*x4*x5^4+54658*x1*x2^3*x4*x5^4+27240*x2^4*x4*x5^4+61763*x1*x3^7*x6+57531*x2*x3^7*x6+39706*x1*x3^6*x4*x6+60249*x2*x3^6*x4*x6+27893*x1*x3^5*x4^2*x6+34795*x2*x3^5*x4^2*x6+43064*x1*x3^4*x4^3*x6+14419*x2*x3^4*x4^3*x6+31605*x1*x3^3*x4^4*x6+37393*x2*x3^3*x4^4*x6+40772*x1*x3^2*x4^5*x6+26494*x2*x3^2*x4^5*x6+3983*x1*x3*x4^6*x6+62106*x2*x3*x4^6*x6+59574*x1*x4^7*x6+26553*x2*x4^7*x6+14056*x1^2*x3^5*x5*x6+64220*x1*x2*x3^5*x5*x6+17731*x2^2*x3^5*x5*x6+60660*x1^2*x3^4*x4*x5*x6+2732*x1*x2*x3^4*x4*x5*x6+16510*x2^2*x3^4*x4*x5*x6+52115*x1^2*x3^3*x4^2*x5*x6+27964*x1*x2*x3^3*x4^2*x5*x6+61903*x2^2*x3^3*x4^2*x5*x6+60272*x1^2*x3^2*x4^3*x5*x6+3192*x1*x2*x3^2*x4^3*x5*x6+11551*x2^2*x3^2*x4^3*x5*x6+56406*x1^2*x3*x4^4*x5*x6+44434*x1*x2*x3*x4^4*x5*x6+5406*x2^2*x3*x4^4*x5*x6+53246*x1^2*x4^5*x5*x6+35305*x1*x2*x4^5*x5*x6+51176*x2^2*x4^5*x5*x6+39635*x1^3*x3^3*x5^2*x6+49249*x1^2*x2*x3^3*x5^2*x6+11300*x1*x2^2*x3^3*x5^2*x6+52153*x2^3*x3^3*x5^2*x6+37039*x1^3*x3^2*x4*x5^2*x6+57737*x1^2*x2*x3^2*x4*x5^2*x6+28954*x1*x2^2*x3^2*x4*x5^2*x6+28693*x2^3*x3^2*x4*x5^2*x6+25600*x1^3*x3*x4^2*x5^2*x6+12119*x1^2*x2*x3*x4^2*x5^2*x6+45125*x1*x2^2*x3*x4^2*x5^2*x6+52656*x2^3*x3*x4^2*x5^2*x6+39904*x1^3*x4^3*x5^2*x6+60431*x1^2*x2*x4^3*x5^2*x6+17893*x1*x2^2*x4^3*x5^2*x6+14258*x2^3*x4^3*x5^2*x6+40012*x1^4*x3*x5^3*x6+23826*x1^3*x2*x3*x5^3*x6+45368*x1^2*x2^2*x3*x5^3*x6+62308*x1*x2^3*x3*x5^3*x6+24819*x2^4*x3*x5^3*x6+57775*x1^4*x4*x5^3*x6+23662*x1^3*x2*x4*x5^3*x6+23677*x1^2*x2^2*x4*x5^3*x6+21593*x1*x2^3*x4*x5^3*x6+47454*x2^4*x4*x5^3*x6+34875*x1^2*x3^5*x6^2+23080*x1*x2*x3^5*x6^2+63182*x2^2*x3^5*x6^2+25391*x1^2*x3^4*x4*x6^2+18299*x1*x2*x3^4*x4*x6^2+61537*x2^2*x3^4*x4*x6^2+15123*x1^2*x3^3*x4^2*x6^2+44571*x1*x2*x3^3*x4^2*x6^2+41388*x2^2*x3^3*x4^2*x6^2+32829*x1^2*x3^2*x4^3*x6^2+4937*x1*x2*x3^2*x4^3*x6^2+35969*x2^2*x3^2*x4^3*x6^2+58183*x1^2*x3*x4^4*x6^2+33373*x1*x2*x3*x4^4*x6^2+13681*x2^2*x3*x4^4*x6^2+37594*x1^2*x4^5*x6^2+55031*x1*x2*x4^5*x6^2+48506*x2^2*x4^5*x6^2+62720*x1^3*x3^3*x5*x6^2+24715*x1^2*x2*x3^3*x5*x6^2+1277*x1*x2^2*x3^3*x5*x6^2+51809*x2^3*x3^3*x5*x6^2+44578*x1^3*x3^2*x4*x5*x6^2+39910*x1^2*x2*x3^2*x4*x5*x6^2+16593*x1*x2^2*x3^2*x4*x5*x6^2+19674*x2^3*x3^2*x4*x5*x6^2+28970*x1^3*x3*x4^2*x5*x6^2+52495*x1^2*x2*x3*x4^2*x5*x6^2+34828*x1*x2^2*x3*x4^2*x5*x6^2+1433*x2^3*x3*x4^2*x5*x6^2+47682*x1^3*x4^3*x5*x6^2+18345*x1^2*x2*x4^3*x5*x6^2+37730*x1*x2^2*x4^3*x5*x6^2+6315*x2^3*x4^3*x5*x6^2+61079*x1^4*x3*x5^2*x6^2+20136*x1^3*x2*x3*x5^2*x6^2+28933*x1^2*x2^2*x3*x5^2*x6^2+63521*x1*x2^3*x3*x5^2*x6^2+22814*x2^4*x3*x5^2*x6^2+51530*x1^4*x4*x5^2*x6^2+37750*x1^3*x2*x4*x5^2*x6^2+43827*x1^2*x2^2*x4*x5^2*x6^2+6383*x1*x2^3*x4*x5^2*x6^2+27042*x2^4*x4*x5^2*x6^2+14264*x1^3*x3^3*x6^3+29499*x1^2*x2*x3^3*x6^3+62010*x1*x2^2*x3^3*x6^3+8813*x2^3*x3^3*x6^3+35896*x1^3*x3^2*x4*x6^3+27647*x1^2*x2*x3^2*x4*x6^3+13173*x1*x2^2*x3^2*x4*x6^3+28926*x2^3*x3^2*x4*x6^3+22909*x1^3*x3*x4^2*x6^3+20263*x1^2*x2*x3*x4^2*x6^3+64688*x1*x2^2*x3*x4^2*x6^3+65262*x2^3*x3*x4^2*x6^3+54008*x1^3*x4^3*x6^3+37922*x1^2*x2*x4^3*x6^3+15367*x1*x2^2*x4^3*x6^3+21736*x2^3*x4^3*x6^3+57409*x1^4*x3*x5*x6^3+57280*x1^3*x2*x3*x5*x6^3+39352*x1^2*x2^2*x3*x5*x6^3+52845*x1*x2^3*x3*x5*x6^3+19385*x2^4*x3*x5*x6^3+11454*x1^4*x4*x5*x6^3+28452*x1^3*x2*x4*x5*x6^3+63956*x1^2*x2^2*x4*x5*x6^3+60074*x1*x2^3*x4*x5*x6^3+61319*x2^4*x4*x5*x6^3+38307*x1^4*x3*x6^4+37790*x1^3*x2*x3*x6^4+64229*x1^2*x2^2*x3*x6^4+30193*x1*x2^3*x3*x6^4+57610*x2^4*x3*x6^4+59344*x1^4*x4*x6^4+22131*x1^3*x2*x4*x6^4+4109*x1^2*x2^2*x4*x6^4+11415*x1*x2^3*x4*x6^4+22123*x2^4*x4*x6^4+20915*x3^6*x5^2+2851*x3^5*x4*x5^2+2909*x3^4*x4^2*x5^2+4293*x3^3*x4^3*x5^2+50706*x3^2*x4^4*x5^2+50320*x3*x4^5*x5^2+58993*x4^6*x5^2+63778*x1*x3^4*x5^3+6248*x2*x3^4*x5^3+16127*x1*x3^3*x4*x5^3+29738*x2*x3^3*x4*x5^3+20070*x1*x3^2*x4^2*x5^3+34400*x2*x3^2*x4^2*x5^3+60609*x1*x3*x4^3*x5^3+62841*x2*x3*x4^3*x5^3+60689*x1*x4^4*x5^3+23417*x2*x4^4*x5^3+13803*x1^2*x3^2*x5^4+59201*x1*x2*x3^2*x5^4+4405*x2^2*x3^2*x5^4+54586*x1^2*x3*x4*x5^4+45954*x1*x2*x3*x4*x5^4+46088*x2^2*x3*x4*x5^4+52165*x1^2*x4^2*x5^4+61256*x1*x2*x4^2*x5^4+22766*x2^2*x4^2*x5^4+16090*x1^3*x5^5+10087*x1^2*x2*x5^5+26779*x1*x2^2*x5^5+9187*x2^3*x5^5+49969*x3^6*x5*x6+14888*x3^5*x4*x5*x6+26708*x3^4*x4^2*x5*x6+48792*x3^3*x4^3*x5*x6+55546*x3^2*x4^4*x5*x6+9146*x3*x4^5*x5*x6+3695*x4^6*x5*x6+61043*x1*x3^4*x5^2*x6+30562*x2*x3^4*x5^2*x6+33299*x1*x3^3*x4*x5^2*x6+64026*x2*x3^3*x4*x5^2*x6+9921*x1*x3^2*x4^2*x5^2*x6+44006*x2*x3^2*x4^2*x5^2*x6+11636*x1*x3*x4^3*x5^2*x6+61321*x2*x3*x4^3*x5^2*x6+2669*x1*x4^4*x5^2*x6+30602*x2*x4^4*x5^2*x6+62543*x1^2*x3^2*x5^3*x6+32553*x1*x2*x3^2*x5^3*x6+43945*x2^2*x3^2*x5^3*x6+14773*x1^2*x3*x4*x5^3*x6+24616*x1*x2*x3*x4*x5^3*x6+44997*x2^2*x3*x4*x5^3*x6+31873*x1^2*x4^2*x5^3*x6+55270*x1*x2*x4^2*x5^3*x6+11319*x2^2*x4^2*x5^3*x6+13106*x1^3*x5^4*x6+56975*x1^2*x2*x5^4*x6+53976*x1*x2^2*x5^4*x6+36048*x2^3*x5^4*x6+30732*x3^6*x6^2+51000*x3^5*x4*x6^2+48611*x3^4*x4^2*x6^2+35688*x3^3*x4^3*x6^2+40623*x3^2*x4^4*x6^2+55575*x3*x4^5*x6^2+41648*x4^6*x6^2+27631*x1*x3^4*x5*x6^2+7070*x2*x3^4*x5*x6^2+17106*x1*x3^3*x4*x5*x6^2+57662*x2*x3^3*x4*x5*x6^2+60403*x1*x3^2*x4^2*x5*x6^2+61137*x2*x3^2*x4^2*x5*x6^2+30613*x1*x3*x4^3*x5*x6^2+61929*x2*x3*x4^3*x5*x6^2+58702*x1*x4^4*x5*x6^2+59174*x2*x4^4*x5*x6^2+10079*x1^2*x3^2*x5^2*x6^2+39937*x1*x2*x3^2*x5^2*x6^2+57854*x2^2*x3^2*x5^2*x6^2+31480*x1^2*x3*x4*x5^2*x6^2+49630*x1*x2*x3*x4*x5^2*x6^2+12657*x2^2*x3*x4*x5^2*x6^2+6629*x1^2*x4^2*x5^2*x6^2+15538*x1*x2*x4^2*x5^2*x6^2+2628*x2^2*x4^2*x5^2*x6^2+33204*x1^3*x5^3*x6^2+46644*x1^2*x2*x5^3*x6^2+37059*x1*x2^2*x5^3*x6^2+7694*x2^3*x5^3*x6^2+36821*x1*x3^4*x6^3+32914*x2*x3^4*x6^3+32578*x1*x3^3*x4*x6^3+61474*x2*x3^3*x4*x6^3+8013*x1*x3^2*x4^2*x6^3+57406*x2*x3^2*x4^2*x6^3+23850*x1*x3*x4^3*x6^3+65472*x2*x3*x4^3*x6^3+3572*x1*x4^4*x6^3+32845*x2*x4^4*x6^3+663*x1^2*x3^2*x5*x6^3+12376*x1*x2*x3^2*x5*x6^3+37408*x2^2*x3^2*x5*x6^3+7464*x1^2*x3*x4*x5*x6^3+42234*x1*x2*x3*x4*x5*x6^3+59158*x2^2*x3*x4*x5*x6^3+5117*x1^2*x4^2*x5*x6^3+25809*x1*x2*x4^2*x5*x6^3+64424*x2^2*x4^2*x5*x6^3+27156*x1^3*x5^2*x6^3+58116*x1^2*x2*x5^2*x6^3+38835*x1*x2^2*x5^2*x6^3+14360*x2^3*x5^2*x6^3+18419*x1^2*x3^2*x6^4+13777*x1*x2*x3^2*x6^4+13712*x2^2*x3^2*x6^4+31895*x1^2*x3*x4*x6^4+36289*x1*x2*x3*x4*x6^4+51642*x2^2*x3*x4*x6^4+10952*x1^2*x4^2*x6^4+53596*x1*x2*x4^2*x6^4+61331*x2^2*x4^2*x6^4+40831*x1^3*x5*x6^4+23370*x1^2*x2*x5*x6^4+16448*x1*x2^2*x5*x6^4+22202*x2^3*x5*x6^4+28006*x1^3*x6^5+33335*x1^2*x2*x6^5+12356*x1*x2^2*x6^5+39080*x2^3*x6^5+12668*x3^3*x5^4+16307*x3^2*x4*x5^4+59427*x3*x4^2*x5^4+35866*x4^3*x5^4+59541*x1*x3*x5^5+35105*x2*x3*x5^5+61355*x1*x4*x5^5+50621*x2*x4*x5^5+33821*x3^3*x5^3*x6+23457*x3^2*x4*x5^3*x6+33670*x3*x4^2*x5^3*x6+64157*x4^3*x5^3*x6+8568*x1*x3*x5^4*x6+46893*x2*x3*x5^4*x6+43887*x1*x4*x5^4*x6+50813*x2*x4*x5^4*x6+127*x3^3*x5^2*x6^2+5899*x3^2*x4*x5^2*x6^2+44944*x3*x4^2*x5^2*x6^2+29053*x4^3*x5^2*x6^2+56467*x1*x3*x5^3*x6^2+58195*x2*x3*x5^3*x6^2+8731*x1*x4*x5^3*x6^2+38745*x2*x4*x5^3*x6^2+35104*x3^3*x5*x6^3+13978*x3^2*x4*x5*x6^3+9222*x3*x4^2*x5*x6^3+37917*x4^3*x5*x6^3+30864*x1*x3*x5^2*x6^3+48161*x2*x3*x5^2*x6^3+3067*x1*x4*x5^2*x6^3+27886*x2*x4*x5^2*x6^3+56958*x3^3*x6^4+396*x3^2*x4*x6^4+12954*x3*x4^2*x6^4+20060*x4^3*x6^4+1925*x1*x3*x5*x6^4+39936*x2*x3*x5*x6^4+29115*x1*x4*x5*x6^4+21718*x2*x4*x5*x6^4+2139*x1*x3*x6^5+8694*x2*x3*x6^5+28828*x1*x4*x6^5+21248*x2*x4*x6^5+42486*x5^6+47400*x5^5*x6+54238*x5^4*x6^2+64301*x5^3*x6^3+40835*x5^2*x6^4+35348*x5*x6^5+12709*x6^6+42058,
58876*x1^18+13023*x1^17*x2+65269*x1^16*x2^2+15970*x1^15*x2^3+64320*x1^14*x2^4+17144*x1^13*x2^5+52962*x1^12*x2^6+26069*x1^11*x2^7+22705*x1^10*x2^8+16801*x1^9*x2^9+7773*x1^8*x2^10+58699*x1^7*x2^11+39651*x1^6*x2^12+49705*x1^5*x2^13+13010*x1^4*x2^14+22855*x1^3*x2^15+39087*x1^2*x2^16+40217*x1*x2^17+21112*x2^18+6190*x1^16*x3+63546*x1^15*x2*x3+13234*x1^14*x2^2*x3+57845*x1^13*x2^3*x3+39597*x1^12*x2^4*x3+15526*x1^11*x2^5*x3+19864*x1^10*x2^6*x3+18814*x1^9*x2^7*x3+29932*x1^8*x2^8*x3+57575*x1^7*x2^9*x3+51757*x1^6*x2^10*x3+7671*x1^5*x2^11*x3+48595*x1^4*x2^12*x3+13503*x1^3*x2^13*x3+23273*x1^2*x2^14*x3+55362*x1*x2^15*x3+51078*x2^16*x3+8152*x1^16*x4+12790*x1^15*x2*x4+52497*x1^14*x2^2*x4+8975*x1^13*x2^3*x4+29945*x1^12*x2^4*x4+38228*x1^11*x2^5*x4+40137*x1^10*x2^6*x4+6797*x1^9*x2^7*x4+33583*x1^8*x2^8*x4+53651*x1^7*x2^9*x4+38876*x1^6*x2^10*x4+39015*x1^5*x2^11*x4+34722*x1^4*x2^12*x4+44104*x1^3*x2^13*x4+2127*x1^2*x2^14*x4+37980*x1*x2^15*x4+54265*x2^16*x4+24259*x1^14*x3^2+39294*x1^13*x2*x3^2+59109*x1^12*x2^2*x3^2+27012*x1^11*x2^3*x3^2+30614*x1^10*x2^4*x3^2+40442*x1^9*x2^5*x3^2+62970*x1^8*x2^6*x3^2+11449*x1^7*x2^7*x3^2+6823*x1^6*x2^8*x3^2+42793*x1^5*x2^9*x3^2+44323*x1^4*x2^10*x3^2+37473*x1^3*x2^11*x3^2+6052*x1^2*x2^12*x3^2+61708*x1*x2^13*x3^2+51552*x2^14*x3^2+37949*x1^14*x3*x4+59166*x1^13*x2*x3*x4+19268*x1^12*x2^2*x3*x4+51216*x1^11*x2^3*x3*x4+14869*x1^10*x2^4*x3*x4+2575*x1^9*x2^5*x3*x4+6869*x1^8*x2^6*x3*x4+26607*x1^7*x2^7*x3*x4+41081*x1^6*x2^8*x3*x4+32645*x1^5*x2^9*x3*x4+61178*x1^4*x2^10*x3*x4+34641*x1^3*x2^11*x3*x4+57548*x1^2*x2^12*x3*x4+57896*x1*x2^13*x3*x4+36559*x2^14*x3*x4+10471*x1^14*x4^2+57898*x1^13*x2*x4^2+29144*x1^12*x2^2*x4^2+56784*x1^11*x2^3*x4^2+45456*x1^10*x2^4*x4^2+7979*x1^9*x2^5*x4^2+15602*x1^8*x2^6*x4^2+53094*x1^7*x2^7*x4^2+37430*x1^6*x2^8*x4^2+44309*x1^5*x2^9*x4^2+45200*x1^4*x2^10*x4^2+7969*x1^3*x2^11*x4^2+4533*x1^2*x2^12*x4^2+18936*x1*x2^13*x4^2+29618*x2^14*x4^2+9348*x1^15*x5+58222*x1^14*x2*x5+50010*x1^13*x2^2*x5+11652*x1^12*x2^3*x5+43095*x1^11*x2^4*x5+20926*x1^10*x2^5*x5+10425*x1^9*x2^6*x5+21883*x1^8*x2^7*x5+41381*x1^7*x2^8*x5+26935*x1^6*x2^9*x5+42657*x1^5*x2^10*x5+30637*x1^4*x2^11*x5+15276*x1^3*x2^12*x5+19590*x1^2*x2^13*x5+36285*x1*x2^14*x5+46115*x2^15*x5+53721*x1^15*x6+54253*x1^14*x2*x6+55565*x1^13*x2^2*x6+58933*x1^12*x2^3*x6+10975*x1^11*x2^4*x6+9103*x1^10*x2^5*x6+46434*x1^9*x2^6*x6+39097*x1^8*x2^7*x6+47508*x1^7*x2^8*x6+61298*x1^6*x2^9*x6+36968*x1^5*x2^10*x6+58830*x1^4*x2^11*x6+35687*x1^3*x2^12*x6+42255*x1^2*x2^13*x6+35180*x1*x2^14*x6+40148*x2^15*x6+42469*x1^12*x3^3+64289*x1^11*x2*x3^3+30260*x1^10*x2^2*x3^3+25193*x1^9*x2^3*x3^3+1467*x1^8*x2^4*x3^3+61442*x1^7*x2^5*x3^3+22886*x1^6*x2^6*x3^3+23541*x1^5*x2^7*x3^3+9927*x1^4*x2^8*x3^3+20170*x1^3*x2^9*x3^3+31305*x1^2*x2^10*x3^3+17292*x1*x2^11*x3^3+11145*x2^12*x3^3+26222*x1^12*x3^2*x4+30017*x1^11*x2*x3^2*x4+14632*x1^10*x2^2*x3^2*x4+57797*x1^9*x2^3*x3^2*x4+60155*x1^8*x2^4*x3^2*x4+16129*x1^7*x2^5*x3^2*x4+56484*x1^6*x2^6*x3^2*x4+32206*x1^5*x2^7*x3^2*x4+55783*x1^4*x2^8*x3^2*x4+45200*x1^3*x2^9*x3^2*x4+48243*x1^2*x2^10*x3^2*x4+44607*x1*x2^11*x3^2*x4+17215*x2^12*x3^2*x4+6513*x1^12*x3*x4^2+5986*x1^11*x2*x3*x4^2+21528*x1^10*x2^2*x3*x4^2+19310*x1^9*x2^3*x3*x4^2+27838*x1^8*x2^4*x3*x4^2+35047*x1^7*x2^5*x3*x4^2+2257*x1^6*x2^6*x3*x4^2+60765*x1^5*x2^7*x3*x4^2+31702*x1^4*x2^8*x3*x4^2+25612*x1^3*x2^9*x3*x4^2+49014*x1^2*x2^10*x3*x4^2+38864*x1*x2^11*x3*x4^2+16373*x2^12*x3*x4^2+4113*x1^12*x4^3+64459*x1^11*x2*x4^3+36662*x1^10*x2^2*x4^3+26532*x1^9*x2^3*x4^3+23908*x1^8*x2^4*x4^3+32943*x1^7*x2^5*x4^3+28397*x1^6*x2^6*x4^3+29493*x1^5*x2^7*x4^3+24410*x1^4*x2^8*x4^3+65143*x1^3*x2^9*x4^3+42428*x1^2*x2^10*x4^3+45190*x1*x2^11*x4^3+13867*x2^12*x4^3+62318*x1^13*x3*x5+26027*x1^12*x2*x3*x5+27260*x1^11*x2^2*x3*x5+23134*x1^10*x2^3*x3*x5+26604*x1^9*x2^4*x3*x5+53407*x1^8*x2^5*x3*x5+44311*x1^7*x2^6*x3*x5+58541*x1^6*x2^7*x3*x5+23550*x1^5*x2^8*x3*x5+12776*x1^4*x2^9*x3*x5+52128*x1^3*x2^10*x3*x5+5803*x1^2*x2^11*x3*x5+30583*x1*x2^12*x3*x5+21893*x2^13*x3*x5+64743*x1^13*x4*x5+61848*x1^12*x2*x4*x5+31717*x1^11*x2^2*x4*x5+792*x1^10*x2^3*x4*x5+50723*x1^9*x2^4*x4*x5+30167*x1^8*x2^5*x4*x5+49593*x1^7*x2^6*x4*x5+15910*x1^6*x2^7*x4*x5+14955*x1^5*x2^8*x4*x5+18076*x1^4*x2^9*x4*x5+53698*x1^3*x2^10*x4*x5+27452*x1^2*x2^11*x4*x5+37212*x1*x2^12*x4*x5+47323*x2^13*x4*x5+21085*x1^13*x3*x6+46957*x1^12*x2*x3*x6+34537*x1^11*x2^2*x3*x6+7628*x1^10*x2^3*x3*x6+25822*x1^9*x2^4*x3*x6+36553*x1^8*x2^5*x3*x6+41287*x1^7*x2^6*x3*x6+57120*x1^6*x2^7*x3*x6+33795*x1^5*x2^8*x3*x6+27600*x1^4*x2^9*x3*x6+697*x1^3*x2^10*x3*x6+20885*x1^2*x2^11*x3*x6+34291*x1*x2^12*x3*x6+44247*x2^13*x3*x6+38619*x1^13*x4*x6+58592*x1^12*x2*x4*x6+54872*x1^11*x2^2*x4*x6+57005*x1^10*x2^3*x4*x6+422*x1^9*x2^4*x4*x6+54524*x1^8*x2^5*x4*x6+9904*x1^7*x2^6*x4*x6+51985*x1^6*x2^7*x4*x6+32148*x1^5*x2^8*x4*x6+52558*x1^4*x2^9*x4*x6+38535*x1^3*x2^10*x4*x6+20144*x1^2*x2^11*x4*x6+55313*x1*x2^12*x4*x6+39007*x2^13*x4*x6+65158*x1^10*x3^4+51049*x1^9*x2*x3^4+61790*x1^8*x2^2*x3^4+8344*x1^7*x2^3*x3^4+1409*x1^6*x2^4*x3^4+18776*x1^5*x2^5*x3^4+34774*x1^4*x2^6*x3^4+46748*x1^3*x2^7*x3^4+52031*x1^2*x2^8*x3^4+15510*x1*x2^9*x3^4+11678*x2^10*x3^4+46091*x1^10*x3^3*x4+12149*x1^9*x2*x3^3*x4+23854*x1^8*x2^2*x3^3*x4+21305*x1^7*x2^3*x3^3*x4+12626*x1^6*x2^4*x3^3*x4+12313*x1^5*x2^5*x3^3*x4+18682*x1^4*x2^6*x3^3*x4+32527*x1^3*x2^7*x3^3*x4+65360*x1^2*x2^8*x3^3*x4+5696*x1*x2^9*x3^3*x4+53064*x2^10*x3^3*x4+4630*x1^10*x3^2*x4^2+25148*x1^9*x2*x3^2*x4^2+32609*x1^8*x2^2*x3^2*x4^2+64926*x1^7*x2^3*x3^2*x4^2+37706*x1^6*x2^4*x3^2*x4^2+48786*x1^5*x2^5*x3^2*x4^2+40896*x1^4*x2^6*x3^2*x4^2+39295*x1^3*x2^7*x3^2*x4^2+31429*x1^2*x2^8*x3^2*x4^2+44964*x1*x2^9*x3^2*x4^2+22820*x2^10*x3^2*x4^2+921*x1^10*x3*x4^3+1026*x1^9*x2*x3*x4^3+47843*x1^8*x2^2*x3*x4^3+28651*x1^7*x2^3*x3*x4^3+14422*x1^6*x2^4*x3*x4^3+19880*x1^5*x2^5*x3*x4^3+56307*x1^4*x2^6*x3*x4^3+58058*x1^3*x2^7*x3*x4^3+54441*x1^2*x2^8*x3*x4^3+3900*x1*x2^9*x3*x4^3+15962*x2^10*x3*x4^3+22139*x1^10*x4^4+30957*x1^9*x2*x4^4+21871*x1^8*x2^2*x4^4+4066*x1^7*x2^3*x4^4+36825*x1^6*x2^4*x4^4+21747*x1^5*x2^5*x4^4+34568*x1^4*x2^6*x4^4+55979*x1^3*x2^7*x4^4+19436*x1^2*x2^8*x4^4+37658*x1*x2^9*x4^4+57790*x2^10*x4^4+36117*x1^11*x3^2*x5+14332*x1^10*x2*x3^2*x5+35432*x1^9*x2^2*x3^2*x5+48720*x1^8*x2^3*x3^2*x5+60773*x1^7*x2^4*x3^2*x5+22491*x1^6*x2^5*x3^2*x5+29169*x1^5*x2^6*x3^2*x5+24606*x1^4*x2^7*x3^2*x5+29399*x1^3*x2^8*x3^2*x5+28352*x1^2*x2^9*x3^2*x5+2919*x1*x2^10*x3^2*x5+62220*x2^11*x3^2*x5+45897*x1^11*x3*x4*x5+12000*x1^10*x2*x3*x4*x5+28330*x1^9*x2^2*x3*x4*x5+18820*x1^8*x2^3*x3*x4*x5+58623*x1^7*x2^4*x3*x4*x5+60533*x1^6*x2^5*x3*x4*x5+44601*x1^5*x2^6*x3*x4*x5+46475*x1^4*x2^7*x3*x4*x5+60143*x1^3*x2^8*x3*x4*x5+35257*x1^2*x2^9*x3*x4*x5+26505*x1*x2^10*x3*x4*x5+61888*x2^11*x3*x4*x5+21904*x1^11*x4^2*x5+25510*x1^10*x2*x4^2*x5+36706*x1^9*x2^2*x4^2*x5+57801*x1^8*x2^3*x4^2*x5+46056*x1^7*x2^4*x4^2*x5+36100*x1^6*x2^5*x4^2*x5+4119*x1^5*x2^6*x4^2*x5+26500*x1^4*x2^7*x4^2*x5+18500*x1^3*x2^8*x4^2*x5+18209*x1^2*x2^9*x4^2*x5+60333*x1*x2^10*x4^2*x5+64990*x2^11*x4^2*x5+46751*x1^12*x5^2+2450*x1^11*x2*x5^2+49395*x1^10*x2^2*x5^2+49415*x1^9*x2^3*x5^2+57588*x1^8*x2^4*x5^2+5562*x1^7*x2^5*x5^2+27975*x1^6*x2^6*x5^2+30204*x1^5*x2^7*x5^2+19727*x1^4*x2^8*x5^2+34425*x1^3*x2^9*x5^2+1185*x1^2*x2^10*x5^2+19896*x1*x2^11*x5^2+372*x2^12*x5^2+53963*x1^11*x3^2*x6+3585*x1^10*x2*x3^2*x6+50786*x1^9*x2^2*x3^2*x6+51204*x1^8*x2^3*x3^2*x6+2076*x1^7*x2^4*x3^2*x6+51801*x1^6*x2^5*x3^2*x6+12764*x1^5*x2^6*x3^2*x6+47407*x1^4*x2^7*x3^2*x6+45503*x1^3*x2^8*x3^2*x6+53547*x1^2*x2^9*x3^2*x6+49481*x1*x2^10*x3^2*x6+324*x2^11*x3^2*x6+63597*x1^11*x3*x4*x6+45674*x1^10*x2*x3*x4*x6+22441*x1^9*x2^2*x3*x4*x6+13856*x1^8*x2^3*x3*x4*x6+60985*x1^7*x2^4*x3*x4*x6+12125*x1^6*x2^5*x3*x4*x6+59488*x1^5*x2^6*x3*x4*x6+58353*x1^4*x2^7*x3*x4*x6+45566*x1^3*x2^8*x3*x4*x6+40604*x1^2*x2^9*x3*x4*x6+31039*x1*x2^10*x3*x4*x6+31248*x2^11*x3*x4*x6+65214*x1^11*x4^2*x6+59955*x1^10*x2*x4^2*x6+62328*x1^9*x2^2*x4^2*x6+14356*x1^8*x2^3*x4^2*x6+21050*x1^7*x2^4*x4^2*x6+29033*x1^6*x2^5*x4^2*x6+35731*x1^5*x2^6*x4^2*x6+5117*x1^4*x2^7*x4^2*x6+8952*x1^3*x2^8*x4^2*x6+17816*x1^2*x2^9*x4^2*x6+34958*x1*x2^10*x4^2*x6+57644*x2^11*x4^2*x6+36820*x1^12*x5*x6+60360*x1^11*x2*x5*x6+27256*x1^10*x2^2*x5*x6+61221*x1^9*x2^3*x5*x6+28184*x1^8*x2^4*x5*x6+19666*x1^7*x2^5*x5*x6+44371*x1^6*x2^6*x5*x6+33677*x1^5*x2^7*x5*x6+26826*x1^4*x2^8*x5*x6+17879*x1^3*x2^9*x5*x6+46923*x1^2*x2^10*x5*x6+36087*x1*x2^11*x5*x6+49744*x2^12*x5*x6+16661*x1^12*x6^2+33117*x1^11*x2*x6^2+43733*x1^10*x2^2*x6^2+43579*x1^9*x2^3*x6^2+52212*x1^8*x2^4*x6^2+18097*x1^7*x2^5*x6^2+6496*x1^6*x2^6*x6^2+61170*x1^5*x2^7*x6^2+18848*x1^4*x2^8*x6^2+3633*x1^3*x2^9*x6^2+26939*x1^2*x2^10*x6^2+64328*x1*x2^11*x6^2+2079*x2^12*x6^2+52666*x1^8*x3^5+61136*x1^7*x2*x3^5+54548*x1^6*x2^2*x3^5+15036*x1^5*x2^3*x3^5+16877*x1^4*x2^4*x3^5+36739*x1^3*x2^5*x3^5+28767*x1^2*x2^6*x3^5+29516*x1*x2^7*x3^5+52938*x2^8*x3^5+54126*x1^8*x3^4*x4+37447*x1^7*x2*x3^4*x4+574*x1^6*x2^2*x3^4*x4+22604*x1^5*x2^3*x3^4*x4+27321*x1^4*x2^4*x3^4*x4+51539*x1^3*x2^5*x3^4*x4+38765*x1^2*x2^6*x3^4*x4+25622*x1*x2^7*x3^4*x4+63532*x2^8*x3^4*x4+1295*x1^8*x3^3*x4^2+63255*x1^7*x2*x3^3*x4^2+22307*x1^6*x2^2*x3^3*x4^2+62905*x1^5*x2^3*x3^3*x4^2+32069*x1^4*x2^4*x3^3*x4^2+39211*x1^3*x2^5*x3^3*x4^2+55525*x1^2*x2^6*x3^3*x4^2+20139*x1*x2^7*x3^3*x4^2+63345*x2^8*x3^3*x4^2+13763*x1^8*x3^2*x4^3+8647*x1^7*x2*x3^2*x4^3+27162*x1^6*x2^2*x3^2*x4^3+41113*x1^5*x2^3*x3^2*x4^3+35313*x1^4*x2^4*x3^2*x4^3+38626*x1^3*x2^5*x3^2*x4^3+11792*x1^2*x2^6*x3^2*x4^3+18956*x1*x2^7*x3^2*x4^3+21390*x2^8*x3^2*x4^3+12290*x1^8*x3*x4^4+21740*x1^7*x2*x3*x4^4+49410*x1^6*x2^2*x3*x4^4+24877*x1^5*x2^3*x3*x4^4+21216*x1^4*x2^4*x3*x4^4+36824*x1^3*x2^5*x3*x4^4+22334*x1^2*x2^6*x3*x4^4+39251*x1*x2^7*x3*x4^4+56657*x2^8*x3*x4^4+19093*x1^8*x4^5+10061*x1^7*x2*x4^5+23011*x1^6*x2^2*x4^5+18880*x1^5*x2^3*x4^5+18129*x1^4*x2^4*x4^5+62282*x1^3*x2^5*x4^5+34743*x1^2*x2^6*x4^5+28003*x1*x2^7*x4^5+40452*x2^8*x4^5+59064*x1^9*x3^3*x5+59719*x1^8*x2*x3^3*x5+47496*x1^7*x2^2*x3^3*x5+40610*x1^6*x2^3*x3^3*x5+35249*x1^5*x2^4*x3^3*x5+10683*x1^4*x2^5*x3^3*x5+1662*x1^3*x2^6*x3^3*x5+15208*x1^2*x2^7*x3^3*x5+12852*x1*x2^8*x3^3*x5+36020*x2^9*x3^3*x5+54527*x1^9*x3^2*x4*x5+42608*x1^8*x2*x3^2*x4*x5+38169*x1^7*x2^2*x3^2*x4*x5+40787*x1^6*x2^3*x3^2*x4*x5+36973*x1^5*x2^4*x3^2*x4*x5+42438*x1^4*x2^5*x3^2*x4*x5+16825*x1^3*x2^6*x3^2*x4*x5+1531*x1^2*x2^7*x3^2*x4*x5+20842*x1*x2^8*x3^2*x4*x5+41152*x2^9*x3^2*x4*x5+41692*x1^9*x3*x4^2*x5+22976*x1^8*x2*x3*x4^2*x5+32832*x1^7*x2^2*x3*x4^2*x5+50952*x1^6*x2^3*x3*x4^2*x5+15984*x1^5*x2^4*x3*x4^2*x5+13097*x1^4*x2^5*x3*x4^2*x5+19906*x1^3*x2^6*x3*x4^2*x5+30874*x1^2*x2^7*x3*x4^2*x5+64321*x1*x2^8*x3*x4^2*x5+45135*x2^9*x3*x4^2*x5+29639*x1^9*x4^3*x5+42057*x1^8*x2*x4^3*x5+19526*x1^7*x2^2*x4^3*x5+48472*x1^6*x2^3*x4^3*x5+40084*x1^5*x2^4*x4^3*x5+14609*x1^4*x2^5*x4^3*x5+6498*x1^3*x2^6*x4^3*x5+50595*x1^2*x2^7*x4^3*x5+14421*x1*x2^8*x4^3*x5+31704*x2^9*x4^3*x5+17158*x1^10*x3*x5^2+36004*x1^9*x2*x3*x5^2+58563*x1^8*x2^2*x3*x5^2+33787*x1^7*x2^3*x3*x5^2+33324*x1^6*x2^4*x3*x5^2+58878*x1^5*x2^5*x3*x5^2+34536*x1^4*x2^6*x3*x5^2+17630*x1^3*x2^7*x3*x5^2+23814*x1^2*x2^8*x3*x5^2+8194*x1*x2^9*x3*x5^2+20792*x2^10*x3*x5^2+2420*x1^10*x4*x5^2+52546*x1^9*x2*x4*x5^2+54143*x1^8*x2^2*x4*x5^2+26747*x1^7*x2^3*x4*x5^2+59185*x1^6*x2^4*x4*x5^2+31806*x1^5*x2^5*x4*x5^2+7195*x1^4*x2^6*x4*x5^2+41781*x1^3*x2^7*x4*x5^2+64450*x1^2*x2^8*x4*x5^2+47242*x1*x2^9*x4*x5^2+33163*x2^10*x4*x5^2+2354*x1^9*x3^3*x6+53293*x1^8*x2*x3^3*x6+7603*x1^7*x2^2*x3^3*x6+16129*x1^6*x2^3*x3^3*x6+27528*x1^5*x2^4*x3^3*x6+27838*x1^4*x2^5*x3^3*x6+27827*x1^3*x2^6*x3^3*x6+44589*x1^2*x2^7*x3^3*x6+46203*x1*x2^8*x3^3*x6+2568*x2^9*x3^3*x6+15160*x1^9*x3^2*x4*x6+7772*x1^8*x2*x3^2*x4*x6+39824*x1^7*x2^2*x3^2*x4*x6+41944*x1^6*x2^3*x3^2*x4*x6+41296*x1^5*x2^4*x3^2*x4*x6+18989*x1^4*x2^5*x3^2*x4*x6+35913*x1^3*x2^6*x3^2*x4*x6+38354*x1^2*x2^7*x3^2*x4*x6+21230*x1*x2^8*x3^2*x4*x6+45478*x2^9*x3^2*x4*x6+54772*x1^9*x3*x4^2*x6+52355*x1^8*x2*x3*x4^2*x6+28239*x1^7*x2^2*x3*x4^2*x6+43277*x1^6*x2^3*x3*x4^2*x6+2449*x1^5*x2^4*x3*x4^2*x6+28556*x1^4*x2^5*x3*x4^2*x6+44423*x1^3*x2^6*x3*x4^2*x6+18003*x1^2*x2^7*x3*x4^2*x6+36133*x1*x2^8*x3*x4^2*x6+48632*x2^9*x3*x4^2*x6+27324*x1^9*x4^3*x6+26599*x1^8*x2*x4^3*x6+28253*x1^7*x2^2*x4^3*x6+16787*x1^6*x2^3*x4^3*x6+41106*x1^5*x2^4*x4^3*x6+39432*x1^4*x2^5*x4^3*x6+48389*x1^3*x2^6*x4^3*x6+20165*x1^2*x2^7*x4^3*x6+49568*x1*x2^8*x4^3*x6+24925*x2^9*x4^3*x6+16337*x1^10*x3*x5*x6+45943*x1^9*x2*x3*x5*x6+57504*x1^8*x2^2*x3*x5*x6+23688*x1^7*x2^3*x3*x5*x6+19738*x1^6*x2^4*x3*x5*x6+26303*x1^5*x2^5*x3*x5*x6+13309*x1^4*x2^6*x3*x5*x6+2241*x1^3*x2^7*x3*x5*x6+35947*x1^2*x2^8*x3*x5*x6+16743*x1*x2^9*x3*x5*x6+17359*x2^10*x3*x5*x6+43323*x1^10*x4*x5*x6+5404*x1^9*x2*x4*x5*x6+14804*x1^8*x2^2*x4*x5*x6+28751*x1^7*x2^3*x4*x5*x6+59719*x1^6*x2^4*x4*x5*x6+35567*x1^5*x2^5*x4*x5*x6+33018*x1^4*x2^6*x4*x5*x6+36694*x1^3*x2^7*x4*x5*x6+35621*x1^2*x2^8*x4*x5*x6+3532*x1*x2^9*x4*x5*x6+6927*x2^10*x4*x5*x6+25384*x1^10*x3*x6^2+53483*x1^9*x2*x3*x6^2+55946*x1^8*x2^2*x3*x6^2+53975*x1^7*x2^3*x3*x6^2+42262*x1^6*x2^4*x3*x6^2+19171*x1^5*x2^5*x3*x6^2+23642*x1^4*x2^6*x3*x6^2+8867*x1^3*x2^7*x3*x6^2+53622*x1^2*x2^8*x3*x6^2+31646*x1*x2^9*x3*x6^2+11736*x2^10*x3*x6^2+58460*x1^10*x4*x6^2+69*x1^9*x2*x4*x6^2+31095*x1^8*x2^2*x4*x6^2+24125*x1^7*x2^3*x4*x6^2+41550*x1^6*x2^4*x4*x6^2+51306*x1^5*x2^5*x4*x6^2+14141*x1^4*x2^6*x4*x6^2+20191*x1^3*x2^7*x4*x6^2+12065*x1^2*x2^8*x4*x6^2+18061*x1*x2^9*x4*x6^2+39899*x2^10*x4*x6^2+10522*x1^6*x3^6+23711*x1^5*x2*x3^6+4174*x1^4*x2^2*x3^6+20233*x1^3*x2^3*x3^6+55674*x1^2*x2^4*x3^6+32267*x1*x2^5*x3^6+32867*x2^6*x3^6+13864*x1^6*x3^5*x4+21899*x1^5*x2*x3^5*x4+48352*x1^4*x2^2*x3^5*x4+7353*x1^3*x2^3*x3^5*x4+65215*x1^2*x2^4*x3^5*x4+65181*x1*x2^5*x3^5*x4+40294*x2^6*x3^5*x4+41462*x1^6*x3^4*x4^2+30484*x1^5*x2*x3^4*x4^2+13640*x1^4*x2^2*x3^4*x4^2+53679*x1^3*x2^3*x3^4*x4^2+59350*x1^2*x2^4*x3^4*x4^2+23246*x1*x2^5*x3^4*x4^2+30151*x2^6*x3^4*x4^2+32234*x1^6*x3^3*x4^3+55220*x1^5*x2*x3^3*x4^3+20738*x1^4*x2^2*x3^3*x4^3+28993*x1^3*x2^3*x3^3*x4^3+21830*x1^2*x2^4*x3^3*x4^3+15424*x1*x2^5*x3^3*x4^3+30547*x2^6*x3^3*x4^3+43367*x1^6*x3^2*x4^4+17432*x1^5*x2*x3^2*x4^4+20870*x1^4*x2^2*x3^2*x4^4+12584*x1^3*x2^3*x3^2*x4^4+11829*x1^2*x2^4*x3^2*x4^4+48737*x1*x2^5*x3^2*x4^4+36427*x2^6*x3^2*x4^4+52414*x1^6*x3*x4^5+40845*x1^5*x2*x3*x4^5+47577*x1^4*x2^2*x3*x4^5+46506*x1^3*x2^3*x3*x4^5+21324*x1^2*x2^4*x3*x4^5+62612*x1*x2^5*x3*x4^5+63369*x2^6*x3*x4^5+6811*x1^6*x4^6+16809*x1^5*x2*x4^6+8444*x1^4*x2^2*x4^6+63660*x1^3*x2^3*x4^6+21375*x1^2*x2^4*x4^6+46074*x1*x2^5*x4^6+13232*x2^6*x4^6+36921*x1^7*x3^4*x5+51741*x1^6*x2*x3^4*x5+8923*x1^5*x2^2*x3^4*x5+44557*x1^4*x2^3*x3^4*x5+50885*x1^3*x2^4*x3^4*x5+9735*x1^2*x2^5*x3^4*x5+25986*x1*x2^6*x3^4*x5+49235*x2^7*x3^4*x5+46622*x1^7*x3^3*x4*x5+19042*x1^6*x2*x3^3*x4*x5+8518*x1^5*x2^2*x3^3*x4*x5+31739*x1^4*x2^3*x3^3*x4*x5+62880*x1^3*x2^4*x3^3*x4*x5+26960*x1^2*x2^5*x3^3*x4*x5+45300*x1*x2^6*x3^3*x4*x5+16510*x2^7*x3^3*x4*x5+2496*x1^7*x3^2*x4^2*x5+12467*x1^6*x2*x3^2*x4^2*x5+6008*x1^5*x2^2*x3^2*x4^2*x5+46562*x1^4*x2^3*x3^2*x4^2*x5+8960*x1^3*x2^4*x3^2*x4^2*x5+42657*x1^2*x2^5*x3^2*x4^2*x5+51715*x1*x2^6*x3^2*x4^2*x5+13097*x2^7*x3^2*x4^2*x5+36862*x1^7*x3*x4^3*x5+17825*x1^6*x2*x3*x4^3*x5+24900*x1^5*x2^2*x3*x4^3*x5+62824*x1^4*x2^3*x3*x4^3*x5+28286*x1^3*x2^4*x3*x4^3*x5+65074*x1^2*x2^5*x3*x4^3*x5+24787*x1*x2^6*x3*x4^3*x5+40868*x2^7*x3*x4^3*x5+3820*x1^7*x4^4*x5+55306*x1^6*x2*x4^4*x5+58848*x1^5*x2^2*x4^4*x5+53726*x1^4*x2^3*x4^4*x5+35324*x1^3*x2^4*x4^4*x5+4618*x1^2*x2^5*x4^4*x5+18451*x1*x2^6*x4^4*x5+24398*x2^7*x4^4*x5+27904*x1^8*x3^2*x5^2+24713*x1^7*x2*x3^2*x5^2+15523*x1^6*x2^2*x3^2*x5^2+7054*x1^5*x2^3*x3^2*x5^2+49917*x1^4*x2^4*x3^2*x5^2+60810*x1^3*x2^5*x3^2*x5^2+49452*x1^2*x2^6*x3^2*x5^2+819*x1*x2^7*x3^2*x5^2+3820*x2^8*x3^2*x5^2+63412*x1^8*x3*x4*x5^2+45930*x1^7*x2*x3*x4*x5^2+37247*x1^6*x2^2*x3*x4*x5^2+43662*x1^5*x2^3*x3*x4*x5^2+9576*x1^4*x2^4*x3*x4*x5^2+55270*x1^3*x2^5*x3*x4*x5^2+60632*x1^2*x2^6*x3*x4*x5^2+26939*x1*x2^7*x3*x4*x5^2+15565*x2^8*x3*x4*x5^2+36735*x1^8*x4^2*x5^2+47035*x1^7*x2*x4^2*x5^2+54425*x1^6*x2^2*x4^2*x5^2+24199*x1^5*x2^3*x4^2*x5^2+63604*x1^4*x2^4*x4^2*x5^2+63602*x1^3*x2^5*x4^2*x5^2+40957*x1^2*x2^6*x4^2*x5^2+9300*x1*x2^7*x4^2*x5^2+8700*x2^8*x4^2*x5^2+20448*x1^9*x5^3+22496*x1^8*x2*x5^3+29592*x1^7*x2^2*x5^3+59500*x1^6*x2^3*x5^3+38459*x1^5*x2^4*x5^3+7746*x1^4*x2^5*x5^3+9451*x1^3*x2^6*x5^3+17564*x1^2*x2^7*x5^3+32602*x1*x2^8*x5^3+56170*x2^9*x5^3+53582*x1^7*x3^4*x6+31237*x1^6*x2*x3^4*x6+14877*x1^5*x2^2*x3^4*x6+46263*x1^4*x2^3*x3^4*x6+20698*x1^3*x2^4*x3^4*x6+57666*x1^2*x2^5*x3^4*x6+51213*x1*x2^6*x3^4*x6+63005*x2^7*x3^4*x6+50421*x1^7*x3^3*x4*x6+4905*x1^6*x2*x3^3*x4*x6+10691*x1^5*x2^2*x3^3*x4*x6+34603*x1^4*x2^3*x3^3*x4*x6+29845*x1^3*x2^4*x3^3*x4*x6+9070*x1^2*x2^5*x3^3*x4*x6+56481*x1*x2^6*x3^3*x4*x6+47070*x2^7*x3^3*x4*x6+23429*x1^7*x3^2*x4^2*x6+51529*x1^6*x2*x3^2*x4^2*x6+40876*x1^5*x2^2*x3^2*x4^2*x6+23041*x1^4*x2^3*x3^2*x4^2*x6+13951*x1^3*x2^4*x3^2*x4^2*x6+16033*x1^2*x2^5*x3^2*x4^2*x6+53136*x1*x2^6*x3^2*x4^2*x6+26007*x2^7*x3^2*x4^2*x6+16948*x1^7*x3*x4^3*x6+55650*x1^6*x2*x3*x4^3*x6+60450*x1^5*x2^2*x3*x4^3*x6+38011*x1^4*x2^3*x3*x4^3*x6+64129*x1^3*x2^4*x3*x4^3*x6+53435*x1^2*x2^5*x3*x4^3*x6+4314*x1*x2^6*x3*x4^3*x6+8720*x2^7*x3*x4^3*x6+64682*x1^7*x4^4*x6+17455*x1^6*x2*x4^4*x6+7092*x1^5*x2^2*x4^4*x6+15093*x1^4*x2^3*x4^4*x6+28827*x1^3*x2^4*x4^4*x6+58613*x1^2*x2^5*x4^4*x6+343*x1*x2^6*x4^4*x6+37249*x2^7*x4^4*x6+47648*x1^8*x3^2*x5*x6+13130*x1^7*x2*x3^2*x5*x6+57588*x1^6*x2^2*x3^2*x5*x6+31142*x1^5*x2^3*x3^2*x5*x6+38509*x1^4*x2^4*x3^2*x5*x6+61126*x1^3*x2^5*x3^2*x5*x6+25435*x1^2*x2^6*x3^2*x5*x6+24918*x1*x2^7*x3^2*x5*x6+44024*x2^8*x3^2*x5*x6+50217*x1^8*x3*x4*x5*x6+30276*x1^7*x2*x3*x4*x5*x6+63099*x1^6*x2^2*x3*x4*x5*x6+48601*x1^5*x2^3*x3*x4*x5*x6+5300*x1^4*x2^4*x3*x4*x5*x6+61340*x1^3*x2^5*x3*x4*x5*x6+23858*x1^2*x2^6*x3*x4*x5*x6+53322*x1*x2^7*x3*x4*x5*x6+42924*x2^8*x3*x4*x5*x6+13917*x1^8*x4^2*x5*x6+50105*x1^7*x2*x4^2*x5*x6+50083*x1^6*x2^2*x4^2*x5*x6+20152*x1^5*x2^3*x4^2*x5*x6+35839*x1^4*x2^4*x4^2*x5*x6+41793*x1^3*x2^5*x4^2*x5*x6+19590*x1^2*x2^6*x4^2*x5*x6+6957*x1*x2^7*x4^2*x5*x6+8075*x2^8*x4^2*x5*x6+38633*x1^9*x5^2*x6+12359*x1^8*x2*x5^2*x6+12417*x1^7*x2^2*x5^2*x6+39705*x1^6*x2^3*x5^2*x6+31466*x1^5*x2^4*x5^2*x6+32566*x1^4*x2^5*x5^2*x6+49870*x1^3*x2^6*x5^2*x6+47686*x1^2*x2^7*x5^2*x6+13893*x1*x2^8*x5^2*x6+35802*x2^9*x5^2*x6+29204*x1^8*x3^2*x6^2+16168*x1^7*x2*x3^2*x6^2+13918*x1^6*x2^2*x3^2*x6^2+21337*x1^5*x2^3*x3^2*x6^2+6987*x1^4*x2^4*x3^2*x6^2+43313*x1^3*x2^5*x3^2*x6^2+19141*x1^2*x2^6*x3^2*x6^2+32786*x1*x2^7*x3^2*x6^2+16494*x2^8*x3^2*x6^2+63308*x1^8*x3*x4*x6^2+54539*x1^7*x2*x3*x4*x6^2+22690*x1^6*x2^2*x3*x4*x6^2+12027*x1^5*x2^3*x3*x4*x6^2+16688*x1^4*x2^4*x3*x4*x6^2+39924*x1^3*x2^5*x3*x4*x6^2+1043*x1^2*x2^6*x3*x4*x6^2+32128*x1*x2^7*x3*x4*x6^2+13578*x2^8*x3*x4*x6^2+43551*x1^8*x4^2*x6^2+47580*x1^7*x2*x4^2*x6^2+12729*x1^6*x2^2*x4^2*x6^2+43937*x1^5*x2^3*x4^2*x6^2+34027*x1^4*x2^4*x4^2*x6^2+50426*x1^3*x2^5*x4^2*x6^2+37874*x1^2*x2^6*x4^2*x6^2+34030*x1*x2^7*x4^2*x6^2+61102*x2^8*x4^2*x6^2+7514*x1^9*x5*x6^2+8773*x1^8*x2*x5*x6^2+11696*x1^7*x2^2*x5*x6^2+26766*x1^6*x2^3*x5*x6^2+43177*x1^5*x2^4*x5*x6^2+31135*x1^4*x2^5*x5*x6^2+55663*x1^3*x2^6*x5*x6^2+33345*x1^2*x2^7*x5*x6^2+35744*x1*x2^8*x5*x6^2+22627*x2^9*x5*x6^2+19284*x1^9*x6^3+29806*x1^8*x2*x6^3+55889*x1^7*x2^2*x6^3+22351*x1^6*x2^3*x6^3+50035*x1^5*x2^4*x6^3+21786*x1^4*x2^5*x6^3+24388*x1^3*x2^6*x6^3+60555*x1^2*x2^7*x6^3+25252*x1*x2^8*x6^3+26698*x2^9*x6^3+8603*x1^4*x3^7+44447*x1^3*x2*x3^7+10623*x1^2*x2^2*x3^7+62364*x1*x2^3*x3^7+8066*x2^4*x3^7+50666*x1^4*x3^6*x4+57988*x1^3*x2*x3^6*x4+49222*x1^2*x2^2*x3^6*x4+39693*x1*x2^3*x3^6*x4+1929*x2^4*x3^6*x4+63935*x1^4*x3^5*x4^2+44758*x1^3*x2*x3^5*x4^2+20517*x1^2*x2^2*x3^5*x4^2+57751*x1*x2^3*x3^5*x4^2+9423*x2^4*x3^5*x4^2+2109*x1^4*x3^4*x4^3+15461*x1^3*x2*x3^4*x4^3+13612*x1^2*x2^2*x3^4*x4^3+13431*x1*x2^3*x3^4*x4^3+13348*x2^4*x3^4*x4^3+9046*x1^4*x3^3*x4^4+11273*x1^3*x2*x3^3*x4^4+15704*x1^2*x2^2*x3^3*x4^4+45122*x1*x2^3*x3^3*x4^4+51831*x2^4*x3^3*x4^4+45998*x1^4*x3^2*x4^5+36957*x1^3*x2*x3^2*x4^5+18170*x1^2*x2^2*x3^2*x4^5+8290*x1*x2^3*x3^2*x4^5+42088*x2^4*x3^2*x4^5+62471*x1^4*x3*x4^6+20909*x1^3*x2*x3*x4^6+55218*x1^2*x2^2*x3*x4^6+35980*x1*x2^3*x3*x4^6+22620*x2^4*x3*x4^6+56499*x1^4*x4^7+10216*x1^3*x2*x4^7+9528*x1^2*x2^2*x4^7+37265*x1*x2^3*x4^7+62140*x2^4*x4^7+34611*x1^5*x3^5*x5+50981*x1^4*x2*x3^5*x5+31765*x1^3*x2^2*x3^5*x5+3134*x1^2*x2^3*x3^5*x5+29636*x1*x2^4*x3^5*x5+61524*x2^5*x3^5*x5+16490*x1^5*x3^4*x4*x5+60697*x1^4*x2*x3^4*x4*x5+62283*x1^3*x2^2*x3^4*x4*x5+62566*x1^2*x2^3*x3^4*x4*x5+63302*x1*x2^4*x3^4*x4*x5+55461*x2^5*x3^4*x4*x5+54767*x1^5*x3^3*x4^2*x5+51501*x1^4*x2*x3^3*x4^2*x5+29924*x1^3*x2^2*x3^3*x4^2*x5+46894*x1^2*x2^3*x3^3*x4^2*x5+1768*x1*x2^4*x3^3*x4^2*x5+20708*x2^5*x3^3*x4^2*x5+20020*x1^5*x3^2*x4^3*x5+21501*x1^4*x2*x3^2*x4^3*x5+41418*x1^3*x2^2*x3^2*x4^3*x5+30294*x1^2*x2^3*x3^2*x4^3*x5+61754*x1*x2^4*x3^2*x4^3*x5+44991*x2^5*x3^2*x4^3*x5+15603*x1^5*x3*x4^4*x5+20164*x1^4*x2*x3*x4^4*x5+54878*x1^3*x2^2*x3*x4^4*x5+47237*x1^2*x2^3*x3*x4^4*x5+5179*x1*x2^4*x3*x4^4*x5+23285*x2^5*x3*x4^4*x5+44709*x1^5*x4^5*x5+57346*x1^4*x2*x4^5*x5+59747*x1^3*x2^2*x4^5*x5+40324*x1^2*x2^3*x4^5*x5+52928*x1*x2^4*x4^5*x5+42300*x2^5*x4^5*x5+64707*x1^6*x3^3*x5^2+5721*x1^5*x2*x3^3*x5^2+14781*x1^4*x2^2*x3^3*x5^2+64141*x1^3*x2^3*x3^3*x5^2+45921*x1^2*x2^4*x3^3*x5^2+23412*x1*x2^5*x3^3*x5^2+11971*x2^6*x3^3*x5^2+16007*x1^6*x3^2*x4*x5^2+35982*x1^5*x2*x3^2*x4*x5^2+51632*x1^4*x2^2*x3^2*x4*x5^2+5360*x1^3*x2^3*x3^2*x4*x5^2+53107*x1^2*x2^4*x3^2*x4*x5^2+42170*x1*x2^5*x3^2*x4*x5^2+2101*x2^6*x3^2*x4*x5^2+8332*x1^6*x3*x4^2*x5^2+50346*x1^5*x2*x3*x4^2*x5^2+33387*x1^4*x2^2*x3*x4^2*x5^2+47197*x1^3*x2^3*x3*x4^2*x5^2+53232*x1^2*x2^4*x3*x4^2*x5^2+32649*x1*x2^5*x3*x4^2*x5^2+22724*x2^6*x3*x4^2*x5^2+31591*x1^6*x4^3*x5^2+38140*x1^5*x2*x4^3*x5^2+45141*x1^4*x2^2*x4^3*x5^2+4372*x1^3*x2^3*x4^3*x5^2+42545*x1^2*x2^4*x4^3*x5^2+31332*x1*x2^5*x4^3*x5^2+52436*x2^6*x4^3*x5^2+63975*x1^7*x3*x5^3+24288*x1^6*x2*x3*x5^3+28942*x1^5*x2^2*x3*x5^3+5540*x1^4*x2^3*x3*x5^3+275*x1^3*x2^4*x3*x5^3+23318*x1^2*x2^5*x3*x5^3+37850*x1*x2^6*x3*x5^3+52715*x2^7*x3*x5^3+45209*x1^7*x4*x5^3+54705*x1^6*x2*x4*x5^3+19849*x1^5*x2^2*x4*x5^3+62207*x1^4*x2^3*x4*x5^3+50461*x1^3*x2^4*x4*x5^3+5147*x1^2*x2^5*x4*x5^3+46167*x1*x2^6*x4*x5^3+9468*x2^7*x4*x5^3+59666*x1^5*x3^5*x6+18056*x1^4*x2*x3^5*x6+12876*x1^3*x2^2*x3^5*x6+5139*x1^2*x2^3*x3^5*x6+57465*x1*x2^4*x3^5*x6+32240*x2^5*x3^5*x6+54364*x1^5*x3^4*x4*x6+61281*x1^4*x2*x3^4*x4*x6+28456*x1^3*x2^2*x3^4*x4*x6+9935*x1^2*x2^3*x3^4*x4*x6+37605*x1*x2^4*x3^4*x4*x6+2444*x2^5*x3^4*x4*x6+6887*x1^5*x3^3*x4^2*x6+41959*x1^4*x2*x3^3*x4^2*x6+4486*x1^3*x2^2*x3^3*x4^2*x6+41875*x1^2*x2^3*x3^3*x4^2*x6+65180*x1*x2^4*x3^3*x4^2*x6+25956*x2^5*x3^3*x4^2*x6+62227*x1^5*x3^2*x4^3*x6+64864*x1^4*x2*x3^2*x4^3*x6+13973*x1^3*x2^2*x3^2*x4^3*x6+14134*x1^2*x2^3*x3^2*x4^3*x6+28107*x1*x2^4*x3^2*x4^3*x6+42920*x2^5*x3^2*x4^3*x6+61064*x1^5*x3*x4^4*x6+23511*x1^4*x2*x3*x4^4*x6+51317*x1^3*x2^2*x3*x4^4*x6+4808*x1^2*x2^3*x3*x4^4*x6+56059*x1*x2^4*x3*x4^4*x6+1713*x2^5*x3*x4^4*x6+39417*x1^5*x4^5*x6+62110*x1^4*x2*x4^5*x6+49183*x1^3*x2^2*x4^5*x6+41334*x1^2*x2^3*x4^5*x6+58707*x1*x2^4*x4^5*x6+30412*x2^5*x4^5*x6+29390*x1^6*x3^3*x5*x6+40481*x1^5*x2*x3^3*x5*x6+38864*x1^4*x2^2*x3^3*x5*x6+21727*x1^3*x2^3*x3^3*x5*x6+41851*x1^2*x2^4*x3^3*x5*x6+18073*x1*x2^5*x3^3*x5*x6+58275*x2^6*x3^3*x5*x6+18882*x1^6*x3^2*x4*x5*x6+36700*x1^5*x2*x3^2*x4*x5*x6+63688*x1^4*x2^2*x3^2*x4*x5*x6+3267*x1^3*x2^3*x3^2*x4*x5*x6+62910*x1^2*x2^4*x3^2*x4*x5*x6+44297*x1*x2^5*x3^2*x4*x5*x6+47764*x2^6*x3^2*x4*x5*x6+27616*x1^6*x3*x4^2*x5*x6+29689*x1^5*x2*x3*x4^2*x5*x6+36533*x1^4*x2^2*x3*x4^2*x5*x6+63371*x1^3*x2^3*x3*x4^2*x5*x6+47520*x1^2*x2^4*x3*x4^2*x5*x6+44848*x1*x2^5*x3*x4^2*x5*x6+47056*x2^6*x3*x4^2*x5*x6+12020*x1^6*x4^3*x5*x6+3014*x1^5*x2*x4^3*x5*x6+3673*x1^4*x2^2*x4^3*x5*x6+22982*x1^3*x2^3*x4^3*x5*x6+35942*x1^2*x2^4*x4^3*x5*x6+17082*x1*x2^5*x4^3*x5*x6+40723*x2^6*x4^3*x5*x6+61770*x1^7*x3*x5^2*x6+6481*x1^6*x2*x3*x5^2*x6+62307*x1^5*x2^2*x3*x5^2*x6+52643*x1^4*x2^3*x3*x5^2*x6+37768*x1^3*x2^4*x3*x5^2*x6+34518*x1^2*x2^5*x3*x5^2*x6+45697*x1*x2^6*x3*x5^2*x6+2904*x2^7*x3*x5^2*x6+34057*x1^7*x4*x5^2*x6+16650*x1^6*x2*x4*x5^2*x6+50650*x1^5*x2^2*x4*x5^2*x6+47243*x1^4*x2^3*x4*x5^2*x6+15327*x1^3*x2^4*x4*x5^2*x6+38038*x1^2*x2^5*x4*x5^2*x6+42630*x1*x2^6*x4*x5^2*x6+49343*x2^7*x4*x5^2*x6+64278*x1^6*x3^3*x6^2+1386*x1^5*x2*x3^3*x6^2+60944*x1^4*x2^2*x3^3*x6^2+41383*x1^3*x2^3*x3^3*x6^2+53727*x1^2*x2^4*x3^3*x6^2+20682*x1*x2^5*x3^3*x6^2+58002*x2^6*x3^3*x6^2+40646*x1^6*x3^2*x4*x6^2+20822*x1^5*x2*x3^2*x4*x6^2+43823*x1^4*x2^2*x3^2*x4*x6^2+57441*x1^3*x2^3*x3^2*x4*x6^2+36605*x1^2*x2^4*x3^2*x4*x6^2+49202*x1*x2^5*x3^2*x4*x6^2+6132*x2^6*x3^2*x4*x6^2+7945*x1^6*x3*x4^2*x6^2+15979*x1^5*x2*x3*x4^2*x6^2+22651*x1^4*x2^2*x3*x4^2*x6^2+30457*x1^3*x2^3*x3*x4^2*x6^2+7724*x1^2*x2^4*x3*x4^2*x6^2+38641*x1*x2^5*x3*x4^2*x6^2+43245*x2^6*x3*x4^2*x6^2+28621*x1^6*x4^3*x6^2+11369*x1^5*x2*x4^3*x6^2+12658*x1^4*x2^2*x4^3*x6^2+53684*x1^3*x2^3*x4^3*x6^2+54896*x1^2*x2^4*x4^3*x6^2+60711*x1*x2^5*x4^3*x6^2+5295*x2^6*x4^3*x6^2+11403*x1^7*x3*x5*x6^2+51940*x1^6*x2*x3*x5*x6^2+45355*x1^5*x2^2*x3*x5*x6^2+64999*x1^4*x2^3*x3*x5*x6^2+44031*x1^3*x2^4*x3*x5*x6^2+4223*x1^2*x2^5*x3*x5*x6^2+31795*x1*x2^6*x3*x5*x6^2+31149*x2^7*x3*x5*x6^2+3093*x1^7*x4*x5*x6^2+58566*x1^6*x2*x4*x5*x6^2+39716*x1^5*x2^2*x4*x5*x6^2+10018*x1^4*x2^3*x4*x5*x6^2+53*x1^3*x2^4*x4*x5*x6^2+15415*x1^2*x2^5*x4*x5*x6^2+33786*x1*x2^6*x4*x5*x6^2+48267*x2^7*x4*x5*x6^2+51888*x1^7*x3*x6^3+41377*x1^6*x2*x3*x6^3+43432*x1^5*x2^2*x3*x6^3+35000*x1^4*x2^3*x3*x6^3+14618*x1^3*x2^4*x3*x6^3+1382*x1^2*x2^5*x3*x6^3+13782*x1*x2^6*x3*x6^3+18766*x2^7*x3*x6^3+12966*x1^7*x4*x6^3+47680*x1^6*x2*x4*x6^3+59499*x1^5*x2^2*x4*x6^3+37176*x1^4*x2^3*x4*x6^3+16694*x1^3*x2^4*x4*x6^3+15504*x1^2*x2^5*x4*x6^3+33543*x1*x2^6*x4*x6^3+44122*x2^7*x4*x6^3+36602*x1^2*x3^8+14853*x1*x2*x3^8+54440*x2^2*x3^8+14464*x1^2*x3^7*x4+4528*x1*x2*x3^7*x4+48122*x2^2*x3^7*x4+53055*x1^2*x3^6*x4^2+21571*x1*x2*x3^6*x4^2+17189*x2^2*x3^6*x4^2+10748*x1^2*x3^5*x4^3+41227*x1*x2*x3^5*x4^3+13707*x2^2*x3^5*x4^3+54251*x1^2*x3^4*x4^4+43*x1*x2*x3^4*x4^4+40723*x2^2*x3^4*x4^4+46632*x1^2*x3^3*x4^5+41435*x1*x2*x3^3*x4^5+33930*x2^2*x3^3*x4^5+34642*x1^2*x3^2*x4^6+31616*x1*x2*x3^2*x4^6+15489*x2^2*x3^2*x4^6+3041*x1^2*x3*x4^7+59792*x1*x2*x3*x4^7+42626*x2^2*x3*x4^7+11162*x1^2*x4^8+35348*x1*x2*x4^8+21566*x2^2*x4^8+60632*x1^3*x3^6*x5+10794*x1^2*x2*x3^6*x5+27312*x1*x2^2*x3^6*x5+32119*x2^3*x3^6*x5+51918*x1^3*x3^5*x4*x5+24875*x1^2*x2*x3^5*x4*x5+32734*x1*x2^2*x3^5*x4*x5+56594*x2^3*x3^5*x4*x5+32227*x1^3*x3^4*x4^2*x5+58193*x1^2*x2*x3^4*x4^2*x5+64950*x1*x2^2*x3^4*x4^2*x5+15157*x2^3*x3^4*x4^2*x5+23807*x1^3*x3^3*x4^3*x5+13249*x1^2*x2*x3^3*x4^3*x5+9427*x1*x2^2*x3^3*x4^3*x5+646*x2^3*x3^3*x4^3*x5+55134*x1^3*x3^2*x4^4*x5+26714*x1^2*x2*x3^2*x4^4*x5+901*x1*x2^2*x3^2*x4^4*x5+769*x2^3*x3^2*x4^4*x5+17820*x1^3*x3*x4^5*x5+49098*x1^2*x2*x3*x4^5*x5+24698*x1*x2^2*x3*x4^5*x5+7692*x2^3*x3*x4^5*x5+5001*x1^3*x4^6*x5+19185*x1^2*x2*x4^6*x5+27491*x1*x2^2*x4^6*x5+8820*x2^3*x4^6*x5+28705*x1^4*x3^4*x5^2+36159*x1^3*x2*x3^4*x5^2+21751*x1^2*x2^2*x3^4*x5^2+63557*x1*x2^3*x3^4*x5^2+56845*x2^4*x3^4*x5^2+18552*x1^4*x3^3*x4*x5^2+9630*x1^3*x2*x3^3*x4*x5^2+62961*x1^2*x2^2*x3^3*x4*x5^2+9487*x1*x2^3*x3^3*x4*x5^2+21677*x2^4*x3^3*x4*x5^2+25186*x1^4*x3^2*x4^2*x5^2+13756*x1^3*x2*x3^2*x4^2*x5^2+2571*x1^2*x2^2*x3^2*x4^2*x5^2+32249*x1*x2^3*x3^2*x4^2*x5^2+13723*x2^4*x3^2*x4^2*x5^2+23357*x1^4*x3*x4^3*x5^2+23840*x1^3*x2*x3*x4^3*x5^2+4950*x1^2*x2^2*x3*x4^3*x5^2+9576*x1*x2^3*x3*x4^3*x5^2+33538*x2^4*x3*x4^3*x5^2+18660*x1^4*x4^4*x5^2+42250*x1^3*x2*x4^4*x5^2+27477*x1^2*x2^2*x4^4*x5^2+31830*x1*x2^3*x4^4*x5^2+6369*x2^4*x4^4*x5^2+52835*x1^5*x3^2*x5^3+20133*x1^4*x2*x3^2*x5^3+40220*x1^3*x2^2*x3^2*x5^3+17237*x1^2*x2^3*x3^2*x5^3+12995*x1*x2^4*x3^2*x5^3+26355*x2^5*x3^2*x5^3+36817*x1^5*x3*x4*x5^3+43278*x1^4*x2*x3*x4*x5^3+2549*x1^3*x2^2*x3*x4*x5^3+18749*x1^2*x2^3*x3*x4*x5^3+2425*x1*x2^4*x3*x4*x5^3+17793*x2^5*x3*x4*x5^3+57794*x1^5*x4^2*x5^3+11907*x1^4*x2*x4^2*x5^3+35544*x1^3*x2^2*x4^2*x5^3+39035*x1^2*x2^3*x4^2*x5^3+31705*x1*x2^4*x4^2*x5^3+26033*x2^5*x4^2*x5^3+32053*x1^6*x5^4+22872*x1^5*x2*x5^4+49558*x1^4*x2^2*x5^4+7630*x1^3*x2^3*x5^4+60880*x1^2*x2^4*x5^4+21904*x1*x2^5*x5^4+54993*x2^6*x5^4+31966*x1^3*x3^6*x6+53870*x1^2*x2*x3^6*x6+43256*x1*x2^2*x3^6*x6+20165*x2^3*x3^6*x6+51632*x1^3*x3^5*x4*x6+24044*x1^2*x2*x3^5*x4*x6+27295*x1*x2^2*x3^5*x4*x6+42953*x2^3*x3^5*x4*x6+8262*x1^3*x3^4*x4^2*x6+63829*x1^2*x2*x3^4*x4^2*x6+11109*x1*x2^2*x3^4*x4^2*x6+49393*x2^3*x3^4*x4^2*x6+10850*x1^3*x3^3*x4^3*x6+63265*x1^2*x2*x3^3*x4^3*x6+15772*x1*x2^2*x3^3*x4^3*x6+52478*x2^3*x3^3*x4^3*x6+55953*x1^3*x3^2*x4^4*x6+54138*x1^2*x2*x3^2*x4^4*x6+18387*x1*x2^2*x3^2*x4^4*x6+50691*x2^3*x3^2*x4^4*x6+50585*x1^3*x3*x4^5*x6+39723*x1^2*x2*x3*x4^5*x6+43098*x1*x2^2*x3*x4^5*x6+19733*x2^3*x3*x4^5*x6+24643*x1^3*x4^6*x6+1227*x1^2*x2*x4^6*x6+20875*x1*x2^2*x4^6*x6+35290*x2^3*x4^6*x6+23610*x1^4*x3^4*x5*x6+2655*x1^3*x2*x3^4*x5*x6+60510*x1^2*x2^2*x3^4*x5*x6+47499*x1*x2^3*x3^4*x5*x6+24592*x2^4*x3^4*x5*x6+48262*x1^4*x3^3*x4*x5*x6+36147*x1^3*x2*x3^3*x4*x5*x6+56493*x1^2*x2^2*x3^3*x4*x5*x6+52156*x1*x2^3*x3^3*x4*x5*x6+33321*x2^4*x3^3*x4*x5*x6+59836*x1^4*x3^2*x4^2*x5*x6+18757*x1^3*x2*x3^2*x4^2*x5*x6+30058*x1^2*x2^2*x3^2*x4^2*x5*x6+58755*x1*x2^3*x3^2*x4^2*x5*x6+63377*x2^4*x3^2*x4^2*x5*x6+37812*x1^4*x3*x4^3*x5*x6+7417*x1^3*x2*x3*x4^3*x5*x6+64793*x1^2*x2^2*x3*x4^3*x5*x6+42170*x1*x2^3*x3*x4^3*x5*x6+20160*x2^4*x3*x4^3*x5*x6+7010*x1^4*x4^4*x5*x6+34023*x1^3*x2*x4^4*x5*x6+51355*x1^2*x2^2*x4^4*x5*x6+63208*x1*x2^3*x4^4*x5*x6+5284*x2^4*x4^4*x5*x6+7874*x1^5*x3^2*x5^2*x6+19300*x1^4*x2*x3^2*x5^2*x6+36582*x1^3*x2^2*x3^2*x5^2*x6+18863*x1^2*x2^3*x3^2*x5^2*x6+47969*x1*x2^4*x3^2*x5^2*x6+59171*x2^5*x3^2*x5^2*x6+31463*x1^5*x3*x4*x5^2*x6+5497*x1^4*x2*x3*x4*x5^2*x6+60556*x1^3*x2^2*x3*x4*x5^2*x6+48631*x1^2*x2^3*x3*x4*x5^2*x6+33289*x1*x2^4*x3*x4*x5^2*x6+20156*x2^5*x3*x4*x5^2*x6+61388*x1^5*x4^2*x5^2*x6+9704*x1^4*x2*x4^2*x5^2*x6+19864*x1^3*x2^2*x4^2*x5^2*x6+33243*x1^2*x2^3*x4^2*x5^2*x6+57622*x1*x2^4*x4^2*x5^2*x6+27714*x2^5*x4^2*x5^2*x6+44663*x1^6*x5^3*x6+13750*x1^5*x2*x5^3*x6+49663*x1^4*x2^2*x5^3*x6+22421*x1^3*x2^3*x5^3*x6+4452*x1^2*x2^4*x5^3*x6+43945*x1*x2^5*x5^3*x6+45062*x2^6*x5^3*x6+38949*x1^4*x3^4*x6^2+8057*x1^3*x2*x3^4*x6^2+6516*x1^2*x2^2*x3^4*x6^2+48838*x1*x2^3*x3^4*x6^2+20060*x2^4*x3^4*x6^2+2351*x1^4*x3^3*x4*x6^2+39722*x1^3*x2*x3^3*x4*x6^2+23720*x1^2*x2^2*x3^3*x4*x6^2+2928*x1*x2^3*x3^3*x4*x6^2+6341*x2^4*x3^3*x4*x6^2+14887*x1^4*x3^2*x4^2*x6^2+2748*x1^3*x2*x3^2*x4^2*x6^2+54347*x1^2*x2^2*x3^2*x4^2*x6^2+62074*x1*x2^3*x3^2*x4^2*x6^2+6307*x2^4*x3^2*x4^2*x6^2+48024*x1^4*x3*x4^3*x6^2+18573*x1^3*x2*x3*x4^3*x6^2+34156*x1^2*x2^2*x3*x4^3*x6^2+34356*x1*x2^3*x3*x4^3*x6^2+10850*x2^4*x3*x4^3*x6^2+17151*x1^4*x4^4*x6^2+15904*x1^3*x2*x4^4*x6^2+58529*x1^2*x2^2*x4^4*x6^2+44787*x1*x2^3*x4^4*x6^2+6022*x2^4*x4^4*x6^2+45392*x1^5*x3^2*x5*x6^2+4448*x1^4*x2*x3^2*x5*x6^2+39737*x1^3*x2^2*x3^2*x5*x6^2+27933*x1^2*x2^3*x3^2*x5*x6^2+4533*x1*x2^4*x3^2*x5*x6^2+38573*x2^5*x3^2*x5*x6^2+52374*x1^5*x3*x4*x5*x6^2+41394*x1^4*x2*x3*x4*x5*x6^2+42396*x1^3*x2^2*x3*x4*x5*x6^2+43720*x1^2*x2^3*x3*x4*x5*x6^2+59139*x1*x2^4*x3*x4*x5*x6^2+22053*x2^5*x3*x4*x5*x6^2+31395*x1^5*x4^2*x5*x6^2+40863*x1^4*x2*x4^2*x5*x6^2+43814*x1^3*x2^2*x4^2*x5*x6^2+8814*x1^2*x2^3*x4^2*x5*x6^2+40569*x1*x2^4*x4^2*x5*x6^2+12701*x2^5*x4^2*x5*x6^2+64037*x1^6*x5^2*x6^2+56954*x1^5*x2*x5^2*x6^2+32655*x1^4*x2^2*x5^2*x6^2+3143*x1^3*x2^3*x5^2*x6^2+46140*x1^2*x2^4*x5^2*x6^2+57980*x1*x2^5*x5^2*x6^2+43863*x2^6*x5^2*x6^2+17319*x1^5*x3^2*x6^3+32618*x1^4*x2*x3^2*x6^3+65015*x1^3*x2^2*x3^2*x6^3+22195*x1^2*x2^3*x3^2*x6^3+33031*x1*x2^4*x3^2*x6^3+55716*x2^5*x3^2*x6^3+27934*x1^5*x3*x4*x6^3+848*x1^4*x2*x3*x4*x6^3+5129*x1^3*x2^2*x3*x4*x6^3+41068*x1^2*x2^3*x3*x4*x6^3+56113*x1*x2^4*x3*x4*x6^3+27481*x2^5*x3*x4*x6^3+16634*x1^5*x4^2*x6^3+30747*x1^4*x2*x4^2*x6^3+53319*x1^3*x2^2*x4^2*x6^3+40508*x1^2*x2^3*x4^2*x6^3+7935*x1*x2^4*x4^2*x6^3+40354*x2^5*x4^2*x6^3+473*x1^6*x5*x6^3+5730*x1^5*x2*x5*x6^3+16608*x1^4*x2^2*x5*x6^3+55361*x1^3*x2^3*x5*x6^3+29251*x1^2*x2^4*x5*x6^3+58790*x1*x2^5*x5*x6^3+7467*x2^6*x5*x6^3+54048*x1^6*x6^4+37085*x1^5*x2*x6^4+9472*x1^4*x2^2*x6^4+40445*x1^3*x2^3*x6^4+260*x1^2*x2^4*x6^4+19949*x1*x2^5*x6^4+39595*x2^6*x6^4+36432*x3^9+33418*x3^8*x4+29149*x3^7*x4^2+50636*x3^6*x4^3+20519*x3^5*x4^4+24065*x3^4*x4^5+60812*x3^3*x4^6+49213*x3^2*x4^7+28460*x3*x4^8+808*x4^9+62600*x1*x3^7*x5+37904*x2*x3^7*x5+9953*x1*x3^6*x4*x5+64610*x2*x3^6*x4*x5+17644*x1*x3^5*x4^2*x5+34017*x2*x3^5*x4^2*x5+26776*x1*x3^4*x4^3*x5+19999*x2*x3^4*x4^3*x5+55380*x1*x3^3*x4^4*x5+38871*x2*x3^3*x4^4*x5+55522*x1*x3^2*x4^5*x5+23911*x2*x3^2*x4^5*x5+24800*x1*x3*x4^6*x5+18596*x2*x3*x4^6*x5+28427*x1*x4^7*x5+15111*x2*x4^7*x5+7772*x1^2*x3^5*x5^2+37201*x1*x2*x3^5*x5^2+46728*x2^2*x3^5*x5^2+37793*x1^2*x3^4*x4*x5^2+63526*x1*x2*x3^4*x4*x5^2+43206*x2^2*x3^4*x4*x5^2+32183*x1^2*x3^3*x4^2*x5^2+46535*x1*x2*x3^3*x4^2*x5^2+51270*x2^2*x3^3*x4^2*x5^2+24908*x1^2*x3^2*x4^3*x5^2+37915*x1*x2*x3^2*x4^3*x5^2+58142*x2^2*x3^2*x4^3*x5^2+53491*x1^2*x3*x4^4*x5^2+12988*x1*x2*x3*x4^4*x5^2+15909*x2^2*x3*x4^4*x5^2+24659*x1^2*x4^5*x5^2+58979*x1*x2*x4^5*x5^2+49357*x2^2*x4^5*x5^2+28442*x1^3*x3^3*x5^3+5069*x1^2*x2*x3^3*x5^3+16003*x1*x2^2*x3^3*x5^3+13688*x2^3*x3^3*x5^3+61066*x1^3*x3^2*x4*x5^3+24898*x1^2*x2*x3^2*x4*x5^3+12100*x1*x2^2*x3^2*x4*x5^3+28032*x2^3*x3^2*x4*x5^3+2525*x1^3*x3*x4^2*x5^3+51060*x1^2*x2*x3*x4^2*x5^3+48114*x1*x2^2*x3*x4^2*x5^3+15274*x2^3*x3*x4^2*x5^3+57760*x1^3*x4^3*x5^3+43899*x1^2*x2*x4^3*x5^3+14043*x1*x2^2*x4^3*x5^3+13260*x2^3*x4^3*x5^3+3552*x1^4*x3*x5^4+47636*x1^3*x2*x3*x5^4+29568*x1^2*x2^2*x3*x5^4+30877*x1*x2^3*x3*x5^4+26098*x2^4*x3*x5^4+2155*x1^4*x4*x5^4+53558*x1^3*x2*x4*x5^4+30791*x1^2*x2^2*x4*x5^4+42535*x1*x2^3*x4*x5^4+26150*x2^4*x4*x5^4+37044*x1*x3^7*x6+5031*x2*x3^7*x6+42077*x1*x3^6*x4*x6+14756*x2*x3^6*x4*x6+11956*x1*x3^5*x4^2*x6+46643*x2*x3^5*x4^2*x6+36272*x1*x3^4*x4^3*x6+3907*x2*x3^4*x4^3*x6+13051*x1*x3^3*x4^4*x6+27131*x2*x3^3*x4^4*x6+9085*x1*x3^2*x4^5*x6+64111*x2*x3^2*x4^5*x6+61408*x1*x3*x4^6*x6+13431*x2*x3*x4^6*x6+25895*x1*x4^7*x6+27346*x2*x4^7*x6+38052*x1^2*x3^5*x5*x6+36315*x1*x2*x3^5*x5*x6+5644*x2^2*x3^5*x5*x6+39990*x1^2*x3^4*x4*x5*x6+32581*x1*x2*x3^4*x4*x5*x6+26642*x2^2*x3^4*x4*x5*x6+51849*x1^2*x3^3*x4^2*x5*x6+5187*x1*x2*x3^3*x4^2*x5*x6+58507*x2^2*x3^3*x4^2*x5*x6+47977*x1^2*x3^2*x4^3*x5*x6+50861*x1*x2*x3^2*x4^3*x5*x6+39884*x2^2*x3^2*x4^3*x5*x6+49043*x1^2*x3*x4^4*x5*x6+37922*x1*x2*x3*x4^4*x5*x6+35664*x2^2*x3*x4^4*x5*x6+61969*x1^2*x4^5*x5*x6+13323*x1*x2*x4^5*x5*x6+16564*x2^2*x4^5*x5*x6+31551*x1^3*x3^3*x5^2*x6+3502*x1^2*x2*x3^3*x5^2*x6+31068*x1*x2^2*x3^3*x5^2*x6+7198*x2^3*x3^3*x5^2*x6+37310*x1^3*x3^2*x4*x5^2*x6+53134*x1^2*x2*x3^2*x4*x5^2*x6+59648*x1*x2^2*x3^2*x4*x5^2*x6+29419*x2^3*x3^2*x4*x5^2*x6+32396*x1^3*x3*x4^2*x5^2*x6+10975*x1^2*x2*x3*x4^2*x5^2*x6+61150*x1*x2^2*x3*x4^2*x5^2*x6+65033*x2^3*x3*x4^2*x5^2*x6+9761*x1^3*x4^3*x5^2*x6+32166*x1^2*x2*x4^3*x5^2*x6+33204*x1*x2^2*x4^3*x5^2*x6+23878*x2^3*x4^3*x5^2*x6+36564*x1^4*x3*x5^3*x6+5946*x1^3*x2*x3*x5^3*x6+26610*x1^2*x2^2*x3*x5^3*x6+10682*x1*x2^3*x3*x5^3*x6+44889*x2^4*x3*x5^3*x6+50723*x1^4*x4*x5^3*x6+30526*x1^3*x2*x4*x5^3*x6+10813*x1^2*x2^2*x4*x5^3*x6+20559*x1*x2^3*x4*x5^3*x6+35148*x2^4*x4*x5^3*x6+64886*x1^2*x3^5*x6^2+50285*x1*x2*x3^5*x6^2+53925*x2^2*x3^5*x6^2+58963*x1^2*x3^4*x4*x6^2+5776*x1*x2*x3^4*x4*x6^2+62544*x2^2*x3^4*x4*x6^2+36540*x1^2*x3^3*x4^2*x6^2+18112*x1*x2*x3^3*x4^2*x6^2+22465*x2^2*x3^3*x4^2*x6^2+27537*x1^2*x3^2*x4^3*x6^2+59498*x1*x2*x3^2*x4^3*x6^2+13118*x2^2*x3^2*x4^3*x6^2+53875*x1^2*x3*x4^4*x6^2+23683*x1*x2*x3*x4^4*x6^2+12821*x2^2*x3*x4^4*x6^2+56841*x1^2*x4^5*x6^2+41454*x1*x2*x4^5*x6^2+59317*x2^2*x4^5*x6^2+59754*x1^3*x3^3*x5*x6^2+7581*x1^2*x2*x3^3*x5*x6^2+38433*x1*x2^2*x3^3*x5*x6^2+92*x2^3*x3^3*x5*x6^2+9874*x1^3*x3^2*x4*x5*x6^2+57074*x1^2*x2*x3^2*x4*x5*x6^2+7322*x1*x2^2*x3^2*x4*x5*x6^2+35813*x2^3*x3^2*x4*x5*x6^2+47888*x1^3*x3*x4^2*x5*x6^2+18699*x1^2*x2*x3*x4^2*x5*x6^2+1697*x1*x2^2*x3*x4^2*x5*x6^2+13685*x2^3*x3*x4^2*x5*x6^2+34693*x1^3*x4^3*x5*x6^2+17640*x1^2*x2*x4^3*x5*x6^2+57149*x1*x2^2*x4^3*x5*x6^2+42526*x2^3*x4^3*x5*x6^2+51974*x1^4*x3*x5^2*x6^2+39102*x1^3*x2*x3*x5^2*x6^2+15318*x1^2*x2^2*x3*x5^2*x6^2+31868*x1*x2^3*x3*x5^2*x6^2+38110*x2^4*x3*x5^2*x6^2+43226*x1^4*x4*x5^2*x6^2+45372*x1^3*x2*x4*x5^2*x6^2+10931*x1^2*x2^2*x4*x5^2*x6^2+32159*x1*x2^3*x4*x5^2*x6^2+33540*x2^4*x4*x5^2*x6^2+27072*x1^3*x3^3*x6^3+57902*x1^2*x2*x3^3*x6^3+37913*x1*x2^2*x3^3*x6^3+40246*x2^3*x3^3*x6^3+56662*x1^3*x3^2*x4*x6^3+7484*x1^2*x2*x3^2*x4*x6^3+17654*x1*x2^2*x3^2*x4*x6^3+760*x2^3*x3^2*x4*x6^3+8574*x1^3*x3*x4^2*x6^3+10136*x1^2*x2*x3*x4^2*x6^3+47118*x1*x2^2*x3*x4^2*x6^3+31090*x2^3*x3*x4^2*x6^3+53804*x1^3*x4^3*x6^3+20942*x1^2*x2*x4^3*x6^3+52056*x1*x2^2*x4^3*x6^3+35010*x2^3*x4^3*x6^3+18295*x1^4*x3*x5*x6^3+1447*x1^3*x2*x3*x5*x6^3+4312*x1^2*x2^2*x3*x5*x6^3+54981*x1*x2^3*x3*x5*x6^3+34491*x2^4*x3*x5*x6^3+50152*x1^4*x4*x5*x6^3+12847*x1^3*x2*x4*x5*x6^3+35862*x1^2*x2^2*x4*x5*x6^3+59669*x1*x2^3*x4*x5*x6^3+37905*x2^4*x4*x5*x6^3+6470*x1^4*x3*x6^4+3890*x1^3*x2*x3*x6^4+16144*x1^2*x2^2*x3*x6^4+29694*x1*x2^3*x3*x6^4+58685*x2^4*x3*x6^4+28326*x1^4*x4*x6^4+31163*x1^3*x2*x4*x6^4+30396*x1^2*x2^2*x4*x6^4+55490*x1*x2^3*x4*x6^4+21688*x2^4*x4*x6^4+40072*x3^6*x5^2+14564*x3^5*x4*x5^2+62624*x3^4*x4^2*x5^2+23208*x3^3*x4^3*x5^2+15941*x3^2*x4^4*x5^2+31129*x3*x4^5*x5^2+46478*x4^6*x5^2+23571*x1*x3^4*x5^3+35908*x2*x3^4*x5^3+13212*x1*x3^3*x4*x5^3+44460*x2*x3^3*x4*x5^3+1122*x1*x3^2*x4^2*x5^3+4934*x2*x3^2*x4^2*x5^3+59305*x1*x3*x4^3*x5^3+8960*x2*x3*x4^3*x5^3+62970*x1*x4^4*x5^3+29149*x2*x4^4*x5^3+60259*x1^2*x3^2*x5^4+18489*x1*x2*x3^2*x5^4+43639*x2^2*x3^2*x5^4+49731*x1^2*x3*x4*x5^4+57280*x1*x2*x3*x4*x5^4+41675*x2^2*x3*x4*x5^4+41134*x1^2*x4^2*x5^4+55497*x1*x2*x4^2*x5^4+28311*x2^2*x4^2*x5^4+12696*x1^3*x5^5+3954*x1^2*x2*x5^5+23765*x1*x2^2*x5^5+55737*x2^3*x5^5+62970*x3^6*x5*x6+50126*x3^5*x4*x5*x6+33742*x3^4*x4^2*x5*x6+50983*x3^3*x4^3*x5*x6+5374*x3^2*x4^4*x5*x6+13666*x3*x4^5*x5*x6+8494*x4^6*x5*x6+64052*x1*x3^4*x5^2*x6+59802*x2*x3^4*x5^2*x6+43132*x1*x3^3*x4*x5^2*x6+58753*x2*x3^3*x4*x5^2*x6+61398*x1*x3^2*x4^2*x5^2*x6+32608*x2*x3^2*x4^2*x5^2*x6+43002*x1*x3*x4^3*x5^2*x6+27149*x2*x3*x4^3*x5^2*x6+49475*x1*x4^4*x5^2*x6+41278*x2*x4^4*x5^2*x6+61917*x1^2*x3^2*x5^3*x6+19517*x1*x2*x3^2*x5^3*x6+62953*x2^2*x3^2*x5^3*x6+31373*x1^2*x3*x4*x5^3*x6+57485*x1*x2*x3*x4*x5^3*x6+43919*x2^2*x3*x4*x5^3*x6+25469*x1^2*x4^2*x5^3*x6+65510*x1*x2*x4^2*x5^3*x6+59130*x2^2*x4^2*x5^3*x6+28140*x1^3*x5^4*x6+45991*x1^2*x2*x5^4*x6+54692*x1*x2^2*x5^4*x6+45276*x2^3*x5^4*x6+6905*x3^6*x6^2+57252*x3^5*x4*x6^2+32920*x3^4*x4^2*x6^2+16112*x3^3*x4^3*x6^2+63223*x3^2*x4^4*x6^2+14432*x3*x4^5*x6^2+59049*x4^6*x6^2+15463*x1*x3^4*x5*x6^2+19085*x2*x3^4*x5*x6^2+8888*x1*x3^3*x4*x5*x6^2+5311*x2*x3^3*x4*x5*x6^2+19939*x1*x3^2*x4^2*x5*x6^2+40488*x2*x3^2*x4^2*x5*x6^2+43192*x1*x3*x4^3*x5*x6^2+39307*x2*x3*x4^3*x5*x6^2+42065*x1*x4^4*x5*x6^2+56926*x2*x4^4*x5*x6^2+57172*x1^2*x3^2*x5^2*x6^2+14421*x1*x2*x3^2*x5^2*x6^2+24071*x2^2*x3^2*x5^2*x6^2+12515*x1^2*x3*x4*x5^2*x6^2+63021*x1*x2*x3*x4*x5^2*x6^2+19899*x2^2*x3*x4*x5^2*x6^2+28697*x1^2*x4^2*x5^2*x6^2+6447*x1*x2*x4^2*x5^2*x6^2+57392*x2^2*x4^2*x5^2*x6^2+34531*x1^3*x5^3*x6^2+60234*x1^2*x2*x5^3*x6^2+678*x1*x2^2*x5^3*x6^2+44609*x2^3*x5^3*x6^2+1994*x1*x3^4*x6^3+39485*x2*x3^4*x6^3+46174*x1*x3^3*x4*x6^3+59926*x2*x3^3*x4*x6^3+41121*x1*x3^2*x4^2*x6^3+19836*x2*x3^2*x4^2*x6^3+45729*x1*x3*x4^3*x6^3+5398*x2*x3*x4^3*x6^3+48042*x1*x4^4*x6^3+2256*x2*x4^4*x6^3+5236*x1^2*x3^2*x5*x6^3+24906*x1*x2*x3^2*x5*x6^3+39031*x2^2*x3^2*x5*x6^3+15271*x1^2*x3*x4*x5*x6^3+65302*x1*x2*x3*x4*x5*x6^3+22761*x2^2*x3*x4*x5*x6^3+14424*x1^2*x4^2*x5*x6^3+23260*x1*x2*x4^2*x5*x6^3+56853*x2^2*x4^2*x5*x6^3+38859*x1^3*x5^2*x6^3+19049*x1^2*x2*x5^2*x6^3+15093*x1*x2^2*x5^2*x6^3+61456*x2^3*x5^2*x6^3+53718*x1^2*x3^2*x6^4+49193*x1*x2*x3^2*x6^4+52390*x2^2*x3^2*x6^4+28387*x1^2*x3*x4*x6^4+27977*x1*x2*x3*x4*x6^4+13495*x2^2*x3*x4*x6^4+56262*x1^2*x4^2*x6^4+33887*x1*x2*x4^2*x6^4+820*x2^2*x4^2*x6^4+1482*x1^3*x5*x6^4+18993*x1^2*x2*x5*x6^4+41998*x1*x2^2*x5*x6^4+34780*x2^3*x5*x6^4+35763*x1^3*x6^5+59448*x1^2*x2*x6^5+20763*x1*x2^2*x6^5+41569*x2^3*x6^5+36127*x3^3*x5^4+17518*x3^2*x4*x5^4+7694*x3*x4^2*x5^4+26461*x4^3*x5^4+12875*x1*x3*x5^5+14379*x2*x3*x5^5+48353*x1*x4*x5^5+50368*x2*x4*x5^5+19663*x3^3*x5^3*x6+3160*x3^2*x4*x5^3*x6+8772*x3*x4^2*x5^3*x6+45750*x4^3*x5^3*x6+58401*x1*x3*x5^4*x6+41717*x2*x3*x5^4*x6+59135*x1*x4*x5^4*x6+18711*x2*x4*x5^4*x6+12482*x3^3*x5^2*x6^2+31212*x3^2*x4*x5^2*x6^2+47048*x3*x4^2*x5^2*x6^2+46226*x4^3*x5^2*x6^2+11812*x1*x3*x5^3*x6^2+47217*x2*x3*x5^3*x6^2+49596*x1*x4*x5^3*x6^2+35763*x2*x4*x5^3*x6^2+53386*x3^3*x5*x6^3+42957*x3^2*x4*x5*x6^3+35332*x3*x4^2*x5*x6^3+7302*x4^3*x5*x6^3+17723*x1*x3*x5^2*x6^3+33877*x2*x3*x5^2*x6^3+64382*x1*x4*x5^2*x6^3+12585*x2*x4*x5^2*x6^3+25027*x3^3*x6^4+27961*x3^2*x4*x6^4+17824*x3*x4^2*x6^4+2527*x4^3*x6^4+24636*x1*x3*x5*x6^4+34576*x2*x3*x5*x6^4+30102*x1*x4*x5*x6^4+60645*x2*x4*x5*x6^4+40238*x1*x3*x6^5+38273*x2*x3*x6^5+62545*x1*x4*x6^5+28397*x2*x4*x6^5+30703*x5^6+8383*x5^5*x6+1820*x5^4*x6^2+2646*x5^3*x6^3+19482*x5^2*x6^4+13048*x5*x6^5+13986*x6^6+16914]