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

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

#list

[
14768*x1^4 + 29916*x1^3*x2 + 20615*x1^2*x2^2 + 42301*x1*x2^3 + 39884*x2^4 + 25127*x1^3*x3 + 28990*x1^2*x2*x3 + 59506*x1*x2^2*x3 + 15419*x2^3*x3 + 56969*x1^2*x3^2 + 55409*x1*x2*x3^2 + 12232*x2^2*x3^2 + 58959*x1*x3^3 + 56712*x2*x3^3 + 47246*x3^4 + 38005*x1^3*x4 + 1523*x1^2*x2*x4 + 35792*x1*x2^2*x4 + 18005*x2^3*x4 + 33405*x1^2*x3*x4 + 59720*x1*x2*x3*x4 + 38874*x2^2*x3*x4 + 17123*x1*x3^2*x4 + 10479*x2*x3^2*x4 + 52593*x3^3*x4 + 41115*x1^2*x4^2 + 22395*x1*x2*x4^2 + 16924*x2^2*x4^2 + 8441*x1*x3*x4^2 + 13346*x2*x3*x4^2 + 54073*x3^2*x4^2 + 81*x1*x4^3 + 9687*x2*x4^3 + 46272*x3*x4^3 + 692*x4^4 + 49978*x1^3*x5 + 57624*x1^2*x2*x5 + 10892*x1*x2^2*x5 + 58053*x2^3*x5 + 2160*x1^2*x3*x5 + 12813*x1*x2*x3*x5 + 39102*x2^2*x3*x5 + 8005*x1*x3^2*x5 + 17012*x2*x3^2*x5 + 24023*x3^3*x5 + 4600*x1^2*x4*x5 + 38461*x1*x2*x4*x5 + 43614*x2^2*x4*x5 + 23561*x1*x3*x4*x5 + 28951*x2*x3*x4*x5 + 27967*x3^2*x4*x5 + 64694*x1*x4^2*x5 + 15871*x2*x4^2*x5 + 54089*x3*x4^2*x5 + 13468*x4^3*x5 + 52383*x1^2*x5^2 + 33086*x1*x2*x5^2 + 13754*x2^2*x5^2 + 29345*x1*x3*x5^2 + 50671*x2*x3*x5^2 + 52548*x3^2*x5^2 + 20282*x1*x4*x5^2 + 48393*x2*x4*x5^2 + 4620*x3*x4*x5^2 + 27147*x4^2*x5^2 + 36038*x1*x5^3 + 18970*x2*x5^3 + 65039*x3*x5^3 + 17029*x4*x5^3 + 5527*x5^4 + 21804*x1^3*x6 + 1485*x1^2*x2*x6 + 25551*x1*x2^2*x6 + 54538*x2^3*x6 + 9490*x1^2*x3*x6 + 56300*x1*x2*x3*x6 + 65480*x2^2*x3*x6 + 55516*x1*x3^2*x6 + 40011*x2*x3^2*x6 + 12682*x3^3*x6 + 8523*x1^2*x4*x6 + 31236*x1*x2*x4*x6 + 29913*x2^2*x4*x6 + 50461*x1*x3*x4*x6 + 44016*x2*x3*x4*x6 + 3102*x3^2*x4*x6 + 11410*x1*x4^2*x6 + 25725*x2*x4^2*x6 + 43316*x3*x4^2*x6 + 37590*x4^3*x6 + 21507*x1^2*x5*x6 + 2599*x1*x2*x5*x6 + 14619*x2^2*x5*x6 + 2458*x1*x3*x5*x6 + 31718*x2*x3*x5*x6 + 27922*x3^2*x5*x6 + 49301*x1*x4*x5*x6 + 10339*x2*x4*x5*x6 + 57011*x3*x4*x5*x6 + 50974*x4^2*x5*x6 + 28700*x1*x5^2*x6 + 43657*x2*x5^2*x6 + 65066*x3*x5^2*x6 + 9115*x4*x5^2*x6 + 22922*x5^3*x6 + 40487*x1^2*x6^2 + 53830*x1*x2*x6^2 + 18523*x2^2*x6^2 + 39792*x1*x3*x6^2 + 26076*x2*x3*x6^2 + 46745*x3^2*x6^2 + 42328*x1*x4*x6^2 + 7937*x2*x4*x6^2 + 18877*x3*x4*x6^2 + 10737*x4^2*x6^2 + 2868*x1*x5*x6^2 + 41865*x2*x5*x6^2 + 50282*x3*x5*x6^2 + 18329*x4*x5*x6^2 + 51327*x5^2*x6^2 + 48583*x1*x6^3 + 61025*x2*x6^3 + 56624*x3*x6^3 + 12826*x4*x6^3 + 45584*x5*x6^3 + 51447*x6^4 + 19540*x1^2*x7 + 63474*x1*x2*x7 + 55500*x2^2*x7 + 62029*x1*x3*x7 + 43554*x2*x3*x7 + 64511*x3^2*x7 + 54301*x1*x4*x7 + 27040*x2*x4*x7 + 39182*x3*x4*x7 + 4200*x4^2*x7 + 13960*x1*x5*x7 + 15836*x2*x5*x7 + 28882*x3*x5*x7 + 42473*x4*x5*x7 + 34344*x5^2*x7 + 30235*x1*x6*x7 + 12876*x2*x6*x7 + 44915*x3*x6*x7 + 48296*x4*x6*x7 + 62444*x5*x6*x7 + 43830*x6^2*x7 + 61524*x7^2 + 59*x1^2*x8 + 40110*x1*x2*x8 + 14190*x2^2*x8 + 62689*x1*x3*x8 + 4139*x2*x3*x8 + 16636*x3^2*x8 + 19029*x1*x4*x8 + 53199*x2*x4*x8 + 55255*x3*x4*x8 + 12833*x4^2*x8 + 53836*x1*x5*x8 + 52351*x2*x5*x8 + 65007*x3*x5*x8 + 18172*x4*x5*x8 + 2030*x5^2*x8 + 37453*x1*x6*x8 + 52419*x2*x6*x8 + 48276*x3*x6*x8 + 44873*x4*x6*x8 + 39004*x5*x6*x8 + 7528*x6^2*x8 + 64521*x7*x8 + 44753*x8^2 + 42971*x1^2*x9 + 22405*x1*x2*x9 + 3006*x2^2*x9 + 3610*x1*x3*x9 + 35078*x2*x3*x9 + 43783*x3^2*x9 + 3245*x1*x4*x9 + 22483*x2*x4*x9 + 22075*x3*x4*x9 + 64449*x4^2*x9 + 39768*x1*x5*x9 + 28910*x2*x5*x9 + 64864*x3*x5*x9 + 24904*x4*x5*x9 + 7838*x5^2*x9 + 34515*x1*x6*x9 + 23766*x2*x6*x9 + 9895*x3*x6*x9 + 10457*x4*x6*x9 + 15988*x5*x6*x9 + 60782*x6^2*x9 + 40859*x7*x9 + 6084*x8*x9 + 1691*x9^2 + 2977*x1^2*x10 + 7754*x1*x2*x10 + 1687*x2^2*x10 + 32640*x1*x3*x10 + 18673*x2*x3*x10 + 62148*x3^2*x10 + 43241*x1*x4*x10 + 52523*x2*x4*x10 + 9158*x3*x4*x10 + 31392*x4^2*x10 + 25564*x1*x5*x10 + 17921*x2*x5*x10 + 61598*x3*x5*x10 + 50929*x4*x5*x10 + 57770*x5^2*x10 + 28766*x1*x6*x10 + 3932*x2*x6*x10 + 40370*x3*x6*x10 + 1494*x4*x6*x10 + 30194*x5*x6*x10 + 41347*x6^2*x10 + 16354*x7*x10 + 11698*x8*x10 + 32344*x9*x10 + 24775*x10^2 + 49876*x1^2*x11 + 31626*x1*x2*x11 + 14870*x2^2*x11 + 41153*x1*x3*x11 + 12049*x2*x3*x11 + 39555*x3^2*x11 + 41372*x1*x4*x11 + 61118*x2*x4*x11 + 33871*x3*x4*x11 + 9049*x4^2*x11 + 29951*x1*x5*x11 + 17505*x2*x5*x11 + 50361*x3*x5*x11 + 55435*x4*x5*x11 + 15653*x5^2*x11 + 41984*x1*x6*x11 + 51639*x2*x6*x11 + 39280*x3*x6*x11 + 35745*x4*x6*x11 + 31459*x5*x6*x11 + 38663*x6^2*x11 + 21481*x7*x11 + 45106*x8*x11 + 10742*x9*x11 + 63497*x10*x11 + 2702*x11^2 + 40063*x1^3 + 8972*x1^2*x2 + 37575*x1*x2^2 + 45379*x2^3 + 35546*x1^2*x3 + 26061*x1*x2*x3 + 26748*x2^2*x3 + 50853*x1*x3^2 + 7218*x2*x3^2 + 1972*x3^3 + 20582*x1^2*x4 + 37196*x1*x2*x4 + 10766*x2^2*x4 + 60728*x1*x3*x4 + 15269*x2*x3*x4 + 60046*x3^2*x4 + 882*x1*x4^2 + 39689*x2*x4^2 + 19429*x3*x4^2 + 40575*x4^3 + 22109*x1^2*x5 + 24936*x1*x2*x5 + 40180*x2^2*x5 + 7646*x1*x3*x5 + 64*x2*x3*x5 + 12444*x3^2*x5 + 54430*x1*x4*x5 + 25877*x2*x4*x5 + 19037*x3*x4*x5 + 28961*x4^2*x5 + 18848*x1*x5^2 + 52330*x2*x5^2 + 38187*x3*x5^2 + 20000*x4*x5^2 + 43364*x5^3 + 11650*x1^2*x6 + 7359*x1*x2*x6 + 6345*x2^2*x6 + 3547*x1*x3*x6 + 28403*x2*x3*x6 + 29123*x3^2*x6 + 14139*x1*x4*x6 + 60105*x2*x4*x6 + 32528*x3*x4*x6 + 56224*x4^2*x6 + 8900*x1*x5*x6 + 63326*x2*x5*x6 + 49051*x3*x5*x6 + 11996*x4*x5*x6 + 3803*x5^2*x6 + 35353*x1*x6^2 + 40716*x2*x6^2 + 46142*x3*x6^2 + 41382*x4*x6^2 + 27145*x5*x6^2 + 33386*x6^3 + 20064*x1*x7 + 8164*x2*x7 + 24627*x3*x7 + 19516*x4*x7 + 2129*x5*x7 + 32497*x6*x7 + 1320*x1*x8 + 30423*x2*x8 + 24409*x3*x8 + 49711*x4*x8 + 49236*x5*x8 + 27900*x6*x8 + 17455*x1*x9 + 55227*x2*x9 + 42254*x3*x9 + 47227*x4*x9 + 7665*x5*x9 + 42717*x6*x9 + 62673*x1*x10 + 39141*x2*x10 + 44669*x3*x10 + 61145*x4*x10 + 53383*x5*x10 + 10006*x6*x10 + 11151*x1*x11 + 10750*x2*x11 + 27289*x3*x11 + 25179*x4*x11 + 4245*x5*x11 + 21153*x6*x11 + 52582*x1^2 + 11575*x1*x2 + 49674*x2^2 + 49945*x1*x3 + 28045*x2*x3 + 1670*x3^2 + 41751*x1*x4 + 60976*x2*x4 + 28643*x3*x4 + 26390*x4^2 + 52763*x1*x5 + 29747*x2*x5 + 47209*x3*x5 + 5245*x4*x5 + 35977*x5^2 + 57039*x1*x6 + 4969*x2*x6 + 35889*x3*x6 + 35558*x4*x6 + 3890*x5*x6 + 48777*x6^2 + 8117*x7 + 32696*x8 + 61994*x9 + 27618*x10 + 54548*x11 + 44033*x1 + 60074*x2 + 41191*x3 + 26015*x4 + 20300*x5 + 63560*x6 + 14513,
48721*x1^4 + 28526*x1^3*x2 + 58700*x1^2*x2^2 + 48910*x1*x2^3 + 13910*x2^4 + 60784*x1^3*x3 + 59233*x1^2*x2*x3 + 8870*x1*x2^2*x3 + 56223*x2^3*x3 + 14904*x1^2*x3^2 + 36823*x1*x2*x3^2 + 11028*x2^2*x3^2 + 56335*x1*x3^3 + 52079*x2*x3^3 + 13109*x3^4 + 8805*x1^3*x4 + 64125*x1^2*x2*x4 + 11049*x1*x2^2*x4 + 16415*x2^3*x4 + 38384*x1^2*x3*x4 + 51925*x1*x2*x3*x4 + 17705*x2^2*x3*x4 + 4843*x1*x3^2*x4 + 2960*x2*x3^2*x4 + 18111*x3^3*x4 + 11167*x1^2*x4^2 + 36380*x1*x2*x4^2 + 32758*x2^2*x4^2 + 22851*x1*x3*x4^2 + 30824*x2*x3*x4^2 + 17876*x3^2*x4^2 + 42720*x1*x4^3 + 12700*x2*x4^3 + 5056*x3*x4^3 + 22113*x4^4 + 17088*x1^3*x5 + 34876*x1^2*x2*x5 + 9728*x1*x2^2*x5 + 17324*x2^3*x5 + 28435*x1^2*x3*x5 + 34629*x1*x2*x3*x5 + 2699*x2^2*x3*x5 + 26868*x1*x3^2*x5 + 10829*x2*x3^2*x5 + 60393*x3^3*x5 + 31659*x1^2*x4*x5 + 10170*x1*x2*x4*x5 + 42682*x2^2*x4*x5 + 28753*x1*x3*x4*x5 + 11644*x2*x3*x4*x5 + 65070*x3^2*x4*x5 + 35146*x1*x4^2*x5 + 31506*x2*x4^2*x5 + 40324*x3*x4^2*x5 + 53622*x4^3*x5 + 65081*x1^2*x5^2 + 47523*x1*x2*x5^2 + 64924*x2^2*x5^2 + 39601*x1*x3*x5^2 + 6611*x2*x3*x5^2 + 28013*x3^2*x5^2 + 48040*x1*x4*x5^2 + 56302*x2*x4*x5^2 + 1449*x3*x4*x5^2 + 52695*x4^2*x5^2 + 47850*x1*x5^3 + 20353*x2*x5^3 + 23797*x3*x5^3 + 6084*x4*x5^3 + 62747*x5^4 + 1054*x1^3*x6 + 50172*x1^2*x2*x6 + 65291*x1*x2^2*x6 + 64688*x2^3*x6 + 26042*x1^2*x3*x6 + 31117*x1*x2*x3*x6 + 15020*x2^2*x3*x6 + 39056*x1*x3^2*x6 + 30315*x2*x3^2*x6 + 27304*x3^3*x6 + 9327*x1^2*x4*x6 + 6223*x1*x2*x4*x6 + 17461*x2^2*x4*x6 + 44117*x1*x3*x4*x6 + 8140*x2*x3*x4*x6 + 40734*x3^2*x4*x6 + 54464*x1*x4^2*x6 + 15975*x2*x4^2*x6 + 36507*x3*x4^2*x6 + 36875*x4^3*x6 + 24163*x1^2*x5*x6 + 40340*x1*x2*x5*x6 + 30846*x2^2*x5*x6 + 48928*x1*x3*x5*x6 + 6418*x2*x3*x5*x6 + 49288*x3^2*x5*x6 + 9709*x1*x4*x5*x6 + 47960*x2*x4*x5*x6 + 33606*x3*x4*x5*x6 + 35826*x4^2*x5*x6 + 14949*x1*x5^2*x6 + 44144*x2*x5^2*x6 + 65143*x3*x5^2*x6 + 49429*x4*x5^2*x6 + 53143*x5^3*x6 + 35884*x1^2*x6^2 + 26312*x1*x2*x6^2 + 64819*x2^2*x6^2 + 32915*x1*x3*x6^2 + 53621*x2*x3*x6^2 + 11096*x3^2*x6^2 + 32844*x1*x4*x6^2 + 49354*x2*x4*x6^2 + 39408*x3*x4*x6^2 + 50637*x4^2*x6^2 + 47592*x1*x5*x6^2 + 63750*x2*x5*x6^2 + 3303*x3*x5*x6^2 + 25261*x4*x5*x6^2 + 31622*x5^2*x6^2 + 26910*x1*x6^3 + 4763*x2*x6^3 + 42610*x3*x6^3 + 20925*x4*x6^3 + 6039*x5*x6^3 + 21435*x6^4 + 41339*x1^2*x7 + 695*x1*x2*x7 + 55310*x2^2*x7 + 45658*x1*x3*x7 + 17805*x2*x3*x7 + 9168*x3^2*x7 + 35239*x1*x4*x7 + 54039*x2*x4*x7 + 45086*x3*x4*x7 + 61366*x4^2*x7 + 57717*x1*x5*x7 + 44447*x2*x5*x7 + 6080*x3*x5*x7 + 64874*x4*x5*x7 + 20885*x5^2*x7 + 33062*x1*x6*x7 + 13342*x2*x6*x7 + 16610*x3*x6*x7 + 40815*x4*x6*x7 + 53944*x5*x6*x7 + 37291*x6^2*x7 + 58058*x7^2 + 460*x1^2*x8 + 54374*x1*x2*x8 + 9898*x2^2*x8 + 60187*x1*x3*x8 + 58533*x2*x3*x8 + 59054*x3^2*x8 + 50487*x1*x4*x8 + 56657*x2*x4*x8 + 8274*x3*x4*x8 + 25190*x4^2*x8 + 41230*x1*x5*x8 + 4542*x2*x5*x8 + 22468*x3*x5*x8 + 36860*x4*x5*x8 + 43298*x5^2*x8 + 35976*x1*x6*x8 + 43809*x2*x6*x8 + 57042*x3*x6*x8 + 64938*x4*x6*x8 + 40320*x5*x6*x8 + 26871*x6^2*x8 + 44144*x7*x8 + 30199*x8^2 + 45089*x1^2*x9 + 1786*x1*x2*x9 + 36641*x2^2*x9 + 8517*x1*x3*x9 + 48657*x2*x3*x9 + 6840*x3^2*x9 + 13626*x1*x4*x9 + 22806*x2*x4*x9 + 36503*x3*x4*x9 + 2139*x4^2*x9 + 32976*x1*x5*x9 + 41604*x2*x5*x9 + 18432*x3*x5*x9 + 28623*x4*x5*x9 + 58601*x5^2*x9 + 63013*x1*x6*x9 + 24169*x2*x6*x9 + 46626*x3*x6*x9 + 33347*x4*x6*x9 + 32953*x5*x6*x9 + 8458*x6^2*x9 + 53733*x7*x9 + 26596*x8*x9 + 32671*x9^2 + 23428*x1^2*x10 + 36114*x1*x2*x10 + 63945*x2^2*x10 + 29660*x1*x3*x10 + 19519*x2*x3*x10 + 47627*x3^2*x10 + 6266*x1*x4*x10 + 20090*x2*x4*x10 + 14258*x3*x4*x10 + 43900*x4^2*x10 + 54497*x1*x5*x10 + 61556*x2*x5*x10 + 22780*x3*x5*x10 + 3302*x4*x5*x10 + 32413*x5^2*x10 + 15472*x1*x6*x10 + 9474*x2*x6*x10 + 13816*x3*x6*x10 + 8452*x4*x6*x10 + 31308*x5*x6*x10 + 11288*x6^2*x10 + 24754*x7*x10 + 44918*x8*x10 + 58320*x9*x10 + 46603*x10^2 + 43602*x1^2*x11 + 60708*x1*x2*x11 + 658*x2^2*x11 + 55418*x1*x3*x11 + 46465*x2*x3*x11 + 27645*x3^2*x11 + 60117*x1*x4*x11 + 11235*x2*x4*x11 + 47687*x3*x4*x11 + 43706*x4^2*x11 + 7889*x1*x5*x11 + 1328*x2*x5*x11 + 31797*x3*x5*x11 + 17382*x4*x5*x11 + 3748*x5^2*x11 + 27045*x1*x6*x11 + 22758*x2*x6*x11 + 55301*x3*x6*x11 + 27501*x4*x6*x11 + 59589*x5*x6*x11 + 6648*x6^2*x11 + 22747*x7*x11 + 63380*x8*x11 + 3527*x9*x11 + 35215*x10*x11 + 31596*x11^2 + 38532*x1^3 + 977*x1^2*x2 + 50390*x1*x2^2 + 36678*x2^3 + 10566*x1^2*x3 + 39995*x1*x2*x3 + 58808*x2^2*x3 + 1146*x1*x3^2 + 42261*x2*x3^2 + 60783*x3^3 + 45970*x1^2*x4 + 60840*x1*x2*x4 + 6392*x2^2*x4 + 32328*x1*x3*x4 + 41464*x2*x3*x4 + 57472*x3^2*x4 + 56537*x1*x4^2 + 14365*x2*x4^2 + 60560*x3*x4^2 + 39236*x4^3 + 32706*x1^2*x5 + 47756*x1*x2*x5 + 28611*x2^2*x5 + 26588*x1*x3*x5 + 5401*x2*x3*x5 + 24431*x3^2*x5 + 59722*x1*x4*x5 + 56501*x2*x4*x5 + 52347*x3*x4*x5 + 51796*x4^2*x5 + 64286*x1*x5^2 + 43526*x2*x5^2 + 59645*x3*x5^2 + 31833*x4*x5^2 + 20439*x5^3 + 50120*x1^2*x6 + 9689*x1*x2*x6 + 9675*x2^2*x6 + 6068*x1*x3*x6 + 5266*x2*x3*x6 + 52882*x3^2*x6 + 40469*x1*x4*x6 + 33162*x2*x4*x6 + 18380*x3*x4*x6 + 34475*x4^2*x6 + 36128*x1*x5*x6 + 56718*x2*x5*x6 + 25042*x3*x5*x6 + 20222*x4*x5*x6 + 13187*x5^2*x6 + 43318*x1*x6^2 + 22100*x2*x6^2 + 7833*x3*x6^2 + 45434*x4*x6^2 + 50322*x5*x6^2 + 4874*x6^3 + 11348*x1*x7 + 5347*x2*x7 + 41359*x3*x7 + 29057*x4*x7 + 59526*x5*x7 + 61198*x6*x7 + 53717*x1*x8 + 21525*x2*x8 + 4934*x3*x8 + 26715*x4*x8 + 21796*x5*x8 + 51141*x6*x8 + 14415*x1*x9 + 46033*x2*x9 + 52335*x3*x9 + 15716*x4*x9 + 30987*x5*x9 + 48277*x6*x9 + 17221*x1*x10 + 8435*x2*x10 + 61176*x3*x10 + 34960*x4*x10 + 52476*x5*x10 + 8658*x6*x10 + 22920*x1*x11 + 27444*x2*x11 + 46933*x3*x11 + 33145*x4*x11 + 3912*x5*x11 + 23569*x6*x11 + 30791*x1^2 + 10639*x1*x2 + 65281*x2^2 + 24635*x1*x3 + 51490*x2*x3 + 7438*x3^2 + 22332*x1*x4 + 23083*x2*x4 + 58810*x3*x4 + 381*x4^2 + 17141*x1*x5 + 20871*x2*x5 + 30058*x3*x5 + 30158*x4*x5 + 10839*x5^2 + 51771*x1*x6 + 50247*x2*x6 + 20945*x3*x6 + 31758*x4*x6 + 48106*x5*x6 + 30461*x6^2 + 60129*x7 + 52398*x8 + 51682*x9 + 26669*x10 + 27812*x11 + 57326*x1 + 44029*x2 + 36866*x3 + 1960*x4 + 59915*x5 + 27472*x6 + 40491,
64950*x1^4 + 18998*x1^3*x2 + 56805*x1^2*x2^2 + 35992*x1*x2^3 + 39747*x2^4 + 56415*x1^3*x3 + 15146*x1^2*x2*x3 + 2623*x1*x2^2*x3 + 22584*x2^3*x3 + 26575*x1^2*x3^2 + 38979*x1*x2*x3^2 + 2694*x2^2*x3^2 + 29076*x1*x3^3 + 8180*x2*x3^3 + 9*x3^4 + 39411*x1^3*x4 + 11305*x1^2*x2*x4 + 47983*x1*x2^2*x4 + 18212*x2^3*x4 + 22585*x1^2*x3*x4 + 19162*x1*x2*x3*x4 + 32953*x2^2*x3*x4 + 3020*x1*x3^2*x4 + 32384*x2*x3^2*x4 + 53000*x3^3*x4 + 19460*x1^2*x4^2 + 63332*x1*x2*x4^2 + 49071*x2^2*x4^2 + 65388*x1*x3*x4^2 + 28119*x2*x3*x4^2 + 11802*x3^2*x4^2 + 49885*x1*x4^3 + 1941*x2*x4^3 + 50524*x3*x4^3 + 37118*x4^4 + 39230*x1^3*x5 + 15387*x1^2*x2*x5 + 12034*x1*x2^2*x5 + 29884*x2^3*x5 + 27677*x1^2*x3*x5 + 14970*x1*x2*x3*x5 + 55637*x2^2*x3*x5 + 25262*x1*x3^2*x5 + 14690*x2*x3^2*x5 + 62238*x3^3*x5 + 59617*x1^2*x4*x5 + 15933*x1*x2*x4*x5 + 64637*x2^2*x4*x5 + 44585*x1*x3*x4*x5 + 19998*x2*x3*x4*x5 + 27842*x3^2*x4*x5 + 46731*x1*x4^2*x5 + 47362*x2*x4^2*x5 + 37896*x3*x4^2*x5 + 8724*x4^3*x5 + 57023*x1^2*x5^2 + 7371*x1*x2*x5^2 + 23763*x2^2*x5^2 + 47264*x1*x3*x5^2 + 55368*x2*x3*x5^2 + 53167*x3^2*x5^2 + 41499*x1*x4*x5^2 + 1749*x2*x4*x5^2 + 7756*x3*x4*x5^2 + 851*x4^2*x5^2 + 10120*x1*x5^3 + 44783*x2*x5^3 + 24433*x3*x5^3 + 55536*x4*x5^3 + 10342*x5^4 + 34942*x1^3*x6 + 57383*x1^2*x2*x6 + 14251*x1*x2^2*x6 + 18177*x2^3*x6 + 64797*x1^2*x3*x6 + 54492*x1*x2*x3*x6 + 11685*x2^2*x3*x6 + 42288*x1*x3^2*x6 + 20649*x2*x3^2*x6 + 10021*x3^3*x6 + 53466*x1^2*x4*x6 + 21720*x1*x2*x4*x6 + 38291*x2^2*x4*x6 + 62250*x1*x3*x4*x6 + 52783*x2*x3*x4*x6 + 64677*x3^2*x4*x6 + 36781*x1*x4^2*x6 + 56667*x2*x4^2*x6 + 1365*x3*x4^2*x6 + 49799*x4^3*x6 + 29658*x1^2*x5*x6 + 52052*x1*x2*x5*x6 + 51124*x2^2*x5*x6 + 39045*x1*x3*x5*x6 + 7822*x2*x3*x5*x6 + 8347*x3^2*x5*x6 + 6836*x1*x4*x5*x6 + 2877*x2*x4*x5*x6 + 34549*x3*x4*x5*x6 + 41589*x4^2*x5*x6 + 25966*x1*x5^2*x6 + 16705*x2*x5^2*x6 + 7479*x3*x5^2*x6 + 15570*x4*x5^2*x6 + 56043*x5^3*x6 + 26210*x1^2*x6^2 + 35215*x1*x2*x6^2 + 13194*x2^2*x6^2 + 34892*x1*x3*x6^2 + 43893*x2*x3*x6^2 + 56942*x3^2*x6^2 + 21255*x1*x4*x6^2 + 36772*x2*x4*x6^2 + 32987*x3*x4*x6^2 + 55275*x4^2*x6^2 + 6003*x1*x5*x6^2 + 55172*x2*x5*x6^2 + 2972*x3*x5*x6^2 + 34342*x4*x5*x6^2 + 48029*x5^2*x6^2 + 4312*x1*x6^3 + 30509*x2*x6^3 + 33848*x3*x6^3 + 41337*x4*x6^3 + 22367*x5*x6^3 + 5717*x6^4 + 19250*x1^2*x7 + 18179*x1*x2*x7 + 2079*x2^2*x7 + 34594*x1*x3*x7 + 11361*x2*x3*x7 + 4844*x3^2*x7 + 35818*x1*x4*x7 + 3911*x2*x4*x7 + 29951*x3*x4*x7 + 22907*x4^2*x7 + 28603*x1*x5*x7 + 25890*x2*x5*x7 + 8951*x3*x5*x7 + 37998*x4*x5*x7 + 20924*x5^2*x7 + 25607*x1*x6*x7 + 48131*x2*x6*x7 + 45019*x3*x6*x7 + 20529*x4*x6*x7 + 18262*x5*x6*x7 + 8501*x6^2*x7 + 23818*x7^2 + 4648*x1^2*x8 + 55912*x1*x2*x8 + 25613*x2^2*x8 + 55858*x1*x3*x8 + 4504*x2*x3*x8 + 40348*x3^2*x8 + 25907*x1*x4*x8 + 5536*x2*x4*x8 + 38957*x3*x4*x8 + 51050*x4^2*x8 + 53210*x1*x5*x8 + 9609*x2*x5*x8 + 38930*x3*x5*x8 + 27592*x4*x5*x8 + 51079*x5^2*x8 + 44624*x1*x6*x8 + 27266*x2*x6*x8 + 45011*x3*x6*x8 + 51502*x4*x6*x8 + 28659*x5*x6*x8 + 16712*x6^2*x8 + 15505*x7*x8 + 58050*x8^2 + 34071*x1^2*x9 + 25163*x1*x2*x9 + 9500*x2^2*x9 + 55676*x1*x3*x9 + 61417*x2*x3*x9 + 56847*x3^2*x9 + 64236*x1*x4*x9 + 12728*x2*x4*x9 + 65111*x3*x4*x9 + 50538*x4^2*x9 + 30925*x1*x5*x9 + 23828*x2*x5*x9 + 43597*x3*x5*x9 + 8489*x4*x5*x9 + 31275*x5^2*x9 + 42696*x1*x6*x9 + 24573*x2*x6*x9 + 45583*x3*x6*x9 + 30549*x4*x6*x9 + 408*x5*x6*x9 + 50413*x6^2*x9 + 10104*x7*x9 + 55352*x8*x9 + 25465*x9^2 + 61829*x1^2*x10 + 53763*x1*x2*x10 + 23010*x2^2*x10 + 6924*x1*x3*x10 + 63448*x2*x3*x10 + 30461*x3^2*x10 + 7984*x1*x4*x10 + 14838*x2*x4*x10 + 28838*x3*x4*x10 + 51613*x4^2*x10 + 31686*x1*x5*x10 + 46788*x2*x5*x10 + 20278*x3*x5*x10 + 20287*x4*x5*x10 + 28922*x5^2*x10 + 12143*x1*x6*x10 + 17676*x2*x6*x10 + 44023*x3*x6*x10 + 2752*x4*x6*x10 + 54409*x5*x6*x10 + 50876*x6^2*x10 + 5938*x7*x10 + 8237*x8*x10 + 46941*x9*x10 + 20209*x10^2 + 5674*x1^2*x11 + 698*x1*x2*x11 + 37817*x2^2*x11 + 53164*x1*x3*x11 + 38941*x2*x3*x11 + 17390*x3^2*x11 + 3767*x1*x4*x11 + 65134*x2*x4*x11 + 1311*x3*x4*x11 + 34138*x4^2*x11 + 64861*x1*x5*x11 + 53461*x2*x5*x11 + 8766*x3*x5*x11 + 62223*x4*x5*x11 + 54907*x5^2*x11 + 52171*x1*x6*x11 + 38537*x2*x6*x11 + 18786*x3*x6*x11 + 7436*x4*x6*x11 + 14041*x5*x6*x11 + 38262*x6^2*x11 + 33629*x7*x11 + 34177*x8*x11 + 46375*x9*x11 + 42411*x10*x11 + 866*x11^2 + 39829*x1^3 + 30792*x1^2*x2 + 15725*x1*x2^2 + 29264*x2^3 + 19939*x1^2*x3 + 32636*x1*x2*x3 + 32573*x2^2*x3 + 4357*x1*x3^2 + 62488*x2*x3^2 + 65193*x3^3 + 20261*x1^2*x4 + 16312*x1*x2*x4 + 1991*x2^2*x4 + 61157*x1*x3*x4 + 57002*x2*x3*x4 + 40378*x3^2*x4 + 31462*x1*x4^2 + 59049*x2*x4^2 + 37081*x3*x4^2 + 23371*x4^3 + 58144*x1^2*x5 + 25901*x1*x2*x5 + 27149*x2^2*x5 + 51673*x1*x3*x5 + 24689*x2*x3*x5 + 33242*x3^2*x5 + 54297*x1*x4*x5 + 4657*x2*x4*x5 + 366*x3*x4*x5 + 61356*x4^2*x5 + 63925*x1*x5^2 + 5020*x2*x5^2 + 1659*x3*x5^2 + 36180*x4*x5^2 + 24475*x5^3 + 43072*x1^2*x6 + 13861*x1*x2*x6 + 41310*x2^2*x6 + 36101*x1*x3*x6 + 7227*x2*x3*x6 + 12396*x3^2*x6 + 23610*x1*x4*x6 + 61925*x2*x4*x6 + 44890*x3*x4*x6 + 15891*x4^2*x6 + 5674*x1*x5*x6 + 13701*x2*x5*x6 + 22378*x3*x5*x6 + 11647*x4*x5*x6 + 59067*x5^2*x6 + 55554*x1*x6^2 + 39216*x2*x6^2 + 61470*x3*x6^2 + 7130*x4*x6^2 + 45075*x5*x6^2 + 48112*x6^3 + 22068*x1*x7 + 59036*x2*x7 + 16927*x3*x7 + 10190*x4*x7 + 28800*x5*x7 + 15689*x6*x7 + 64202*x1*x8 + 25663*x2*x8 + 43419*x3*x8 + 23127*x4*x8 + 60346*x5*x8 + 37703*x6*x8 + 18222*x1*x9 + 4222*x2*x9 + 34990*x3*x9 + 37335*x4*x9 + 7221*x5*x9 + 21586*x6*x9 + 12996*x1*x10 + 49877*x2*x10 + 25745*x3*x10 + 46782*x4*x10 + 55537*x5*x10 + 7597*x6*x10 + 38455*x1*x11 + 34209*x2*x11 + 61882*x3*x11 + 44815*x4*x11 + 32087*x5*x11 + 18869*x6*x11 + 729*x1^2 + 65507*x1*x2 + 14621*x2^2 + 42006*x1*x3 + 26954*x2*x3 + 34247*x3^2 + 51258*x1*x4 + 43082*x2*x4 + 46135*x3*x4 + 5101*x4^2 + 36324*x1*x5 + 3036*x2*x5 + 1604*x3*x5 + 63663*x4*x5 + 60509*x5^2 + 20215*x1*x6 + 22239*x2*x6 + 24807*x3*x6 + 60972*x4*x6 + 3172*x5*x6 + 41416*x6^2 + 33859*x7 + 53976*x8 + 3108*x9 + 65034*x10 + 48686*x11 + 63262*x1 + 23453*x2 + 22052*x3 + 6978*x4 + 22927*x5 + 19966*x6 + 35463,
14851*x1^4 + 59795*x1^3*x2 + 6163*x1^2*x2^2 + 48440*x1*x2^3 + 10592*x2^4 + 49233*x1^3*x3 + 61277*x1^2*x2*x3 + 62339*x1*x2^2*x3 + 16880*x2^3*x3 + 37401*x1^2*x3^2 + 34574*x1*x2*x3^2 + 60151*x2^2*x3^2 + 3228*x1*x3^3 + 14562*x2*x3^3 + 48311*x3^4 + 11537*x1^3*x4 + 5087*x1^2*x2*x4 + 10295*x1*x2^2*x4 + 48271*x2^3*x4 + 30761*x1^2*x3*x4 + 45210*x1*x2*x3*x4 + 57835*x2^2*x3*x4 + 9779*x1*x3^2*x4 + 37837*x2*x3^2*x4 + 63730*x3^3*x4 + 41775*x1^2*x4^2 + 16529*x1*x2*x4^2 + 44174*x2^2*x4^2 + 51744*x1*x3*x4^2 + 37782*x2*x3*x4^2 + 28509*x3^2*x4^2 + 44137*x1*x4^3 + 36492*x2*x4^3 + 55705*x3*x4^3 + 21898*x4^4 + 56908*x1^3*x5 + 64264*x1^2*x2*x5 + 41420*x1*x2^2*x5 + 17471*x2^3*x5 + 26877*x1^2*x3*x5 + 6425*x1*x2*x3*x5 + 5982*x2^2*x3*x5 + 44327*x1*x3^2*x5 + 40365*x2*x3^2*x5 + 36662*x3^3*x5 + 42178*x1^2*x4*x5 + 59004*x1*x2*x4*x5 + 15962*x2^2*x4*x5 + 60291*x1*x3*x4*x5 + 33837*x2*x3*x4*x5 + 59930*x3^2*x4*x5 + 60000*x1*x4^2*x5 + 1794*x2*x4^2*x5 + 11823*x3*x4^2*x5 + 12173*x4^3*x5 + 63738*x1^2*x5^2 + 59839*x1*x2*x5^2 + 4995*x2^2*x5^2 + 6626*x1*x3*x5^2 + 60938*x2*x3*x5^2 + 5076*x3^2*x5^2 + 6288*x1*x4*x5^2 + 58942*x2*x4*x5^2 + 51638*x3*x4*x5^2 + 23676*x4^2*x5^2 + 33906*x1*x5^3 + 41879*x2*x5^3 + 54046*x3*x5^3 + 45249*x4*x5^3 + 23351*x5^4 + 12386*x1^3*x6 + 2364*x1^2*x2*x6 + 12587*x1*x2^2*x6 + 33206*x2^3*x6 + 4359*x1^2*x3*x6 + 38756*x1*x2*x3*x6 + 26564*x2^2*x3*x6 + 39527*x1*x3^2*x6 + 21958*x2*x3^2*x6 + 9828*x3^3*x6 + 50476*x1^2*x4*x6 + 27691*x1*x2*x4*x6 + 28798*x2^2*x4*x6 + 49702*x1*x3*x4*x6 + 14786*x2*x3*x4*x6 + 22413*x3^2*x4*x6 + 30550*x1*x4^2*x6 + 4371*x2*x4^2*x6 + 29405*x3*x4^2*x6 + 26008*x4^3*x6 + 20635*x1^2*x5*x6 + 56380*x1*x2*x5*x6 + 37883*x2^2*x5*x6 + 28870*x1*x3*x5*x6 + 21956*x2*x3*x5*x6 + 63488*x3^2*x5*x6 + 25849*x1*x4*x5*x6 + 30655*x2*x4*x5*x6 + 30506*x3*x4*x5*x6 + 21010*x4^2*x5*x6 + 64574*x1*x5^2*x6 + 26355*x2*x5^2*x6 + 11532*x3*x5^2*x6 + 48199*x4*x5^2*x6 + 64418*x5^3*x6 + 17530*x1^2*x6^2 + 19684*x1*x2*x6^2 + 1187*x2^2*x6^2 + 6692*x1*x3*x6^2 + 5136*x2*x3*x6^2 + 61825*x3^2*x6^2 + 21483*x1*x4*x6^2 + 47381*x2*x4*x6^2 + 51701*x3*x4*x6^2 + 20900*x4^2*x6^2 + 37703*x1*x5*x6^2 + 14134*x2*x5*x6^2 + 37588*x3*x5*x6^2 + 47821*x4*x5*x6^2 + 18263*x5^2*x6^2 + 54931*x1*x6^3 + 42991*x2*x6^3 + 25659*x3*x6^3 + 53711*x4*x6^3 + 28888*x5*x6^3 + 22399*x6^4 + 21336*x1^2*x7 + 34546*x1*x2*x7 + 5037*x2^2*x7 + 9025*x1*x3*x7 + 3791*x2*x3*x7 + 42402*x3^2*x7 + 2633*x1*x4*x7 + 42637*x2*x4*x7 + 56196*x3*x4*x7 + 46004*x4^2*x7 + 6095*x1*x5*x7 + 50309*x2*x5*x7 + 37517*x3*x5*x7 + 64930*x4*x5*x7 + 11644*x5^2*x7 + 40230*x1*x6*x7 + 25470*x2*x6*x7 + 6581*x3*x6*x7 + 62676*x4*x6*x7 + 5268*x5*x6*x7 + 50100*x6^2*x7 + 3785*x7^2 + 28388*x1^2*x8 + 20845*x1*x2*x8 + 49472*x2^2*x8 + 13902*x1*x3*x8 + 64793*x2*x3*x8 + 22950*x3^2*x8 + 41874*x1*x4*x8 + 39627*x2*x4*x8 + 28526*x3*x4*x8 + 50220*x4^2*x8 + 28587*x1*x5*x8 + 55389*x2*x5*x8 + 25555*x3*x5*x8 + 33361*x4*x5*x8 + 52867*x5^2*x8 + 63735*x1*x6*x8 + 27086*x2*x6*x8 + 7968*x3*x6*x8 + 22617*x4*x6*x8 + 5119*x5*x6*x8 + 25266*x6^2*x8 + 41587*x7*x8 + 15555*x8^2 + 24007*x1^2*x9 + 55465*x1*x2*x9 + 11211*x2^2*x9 + 20691*x1*x3*x9 + 64575*x2*x3*x9 + 47244*x3^2*x9 + 15703*x1*x4*x9 + 28850*x2*x4*x9 + 37211*x3*x4*x9 + 28226*x4^2*x9 + 13674*x1*x5*x9 + 30503*x2*x5*x9 + 43555*x3*x5*x9 + 39785*x4*x5*x9 + 46053*x5^2*x9 + 47007*x1*x6*x9 + 14908*x2*x6*x9 + 20139*x3*x6*x9 + 840*x4*x6*x9 + 9290*x5*x6*x9 + 20352*x6^2*x9 + 47792*x7*x9 + 46788*x8*x9 + 2220*x9^2 + 61054*x1^2*x10 + 27338*x1*x2*x10 + 24236*x2^2*x10 + 19913*x1*x3*x10 + 22873*x2*x3*x10 + 48311*x3^2*x10 + 7867*x1*x4*x10 + 59288*x2*x4*x10 + 19301*x3*x4*x10 + 9927*x4^2*x10 + 11800*x1*x5*x10 + 1250*x2*x5*x10 + 62468*x3*x5*x10 + 33827*x4*x5*x10 + 22345*x5^2*x10 + 50754*x1*x6*x10 + 55801*x2*x6*x10 + 2562*x3*x6*x10 + 24790*x4*x6*x10 + 14130*x5*x6*x10 + 1769*x6^2*x10 + 42420*x7*x10 + 50705*x8*x10 + 20789*x9*x10 + 52010*x10^2 + 50013*x1^2*x11 + 49766*x1*x2*x11 + 47228*x2^2*x11 + 56795*x1*x3*x11 + 39134*x2*x3*x11 + 38535*x3^2*x11 + 56333*x1*x4*x11 + 39609*x2*x4*x11 + 47332*x3*x4*x11 + 30142*x4^2*x11 + 25525*x1*x5*x11 + 45638*x2*x5*x11 + 39670*x3*x5*x11 + 19576*x4*x5*x11 + 65437*x5^2*x11 + 18844*x1*x6*x11 + 49915*x2*x6*x11 + 46888*x3*x6*x11 + 50042*x4*x6*x11 + 17610*x5*x6*x11 + 34357*x6^2*x11 + 12533*x7*x11 + 57*x8*x11 + 31170*x9*x11 + 34024*x10*x11 + 32168*x11^2 + 37681*x1^3 + 11001*x1^2*x2 + 43192*x1*x2^2 + 55798*x2^3 + 5385*x1^2*x3 + 60230*x1*x2*x3 + 34276*x2^2*x3 + 1591*x1*x3^2 + 1399*x2*x3^2 + 48438*x3^3 + 27938*x1^2*x4 + 37017*x1*x2*x4 + 43079*x2^2*x4 + 38885*x1*x3*x4 + 37628*x2*x3*x4 + 42771*x3^2*x4 + 2495*x1*x4^2 + 20795*x2*x4^2 + 931*x3*x4^2 + 21205*x4^3 + 29922*x1^2*x5 + 9079*x1*x2*x5 + 59917*x2^2*x5 + 8799*x1*x3*x5 + 22947*x2*x3*x5 + 30201*x3^2*x5 + 3529*x1*x4*x5 + 64906*x2*x4*x5 + 17981*x3*x4*x5 + 1515*x4^2*x5 + 40605*x1*x5^2 + 27341*x2*x5^2 + 13297*x3*x5^2 + 54211*x4*x5^2 + 20367*x5^3 + 16395*x1^2*x6 + 56397*x1*x2*x6 + 21668*x2^2*x6 + 61948*x1*x3*x6 + 26378*x2*x3*x6 + 60477*x3^2*x6 + 41502*x1*x4*x6 + 25525*x2*x4*x6 + 27825*x3*x4*x6 + 57437*x4^2*x6 + 6114*x1*x5*x6 + 57640*x2*x5*x6 + 41183*x3*x5*x6 + 618*x4*x5*x6 + 45726*x5^2*x6 + 29641*x1*x6^2 + 31315*x2*x6^2 + 39917*x3*x6^2 + 33490*x4*x6^2 + 54412*x5*x6^2 + 16110*x6^3 + 5450*x1*x7 + 39294*x2*x7 + 40842*x3*x7 + 58085*x4*x7 + 481*x5*x7 + 35175*x6*x7 + 19180*x1*x8 + 25041*x2*x8 + 6873*x3*x8 + 39733*x4*x8 + 23937*x5*x8 + 19905*x6*x8 + 14438*x1*x9 + 16550*x2*x9 + 23326*x3*x9 + 3828*x4*x9 + 13072*x5*x9 + 51500*x6*x9 + 43570*x1*x10 + 20691*x2*x10 + 43918*x3*x10 + 20287*x4*x10 + 4614*x5*x10 + 44639*x6*x10 + 58700*x1*x11 + 55669*x2*x11 + 33225*x3*x11 + 5868*x4*x11 + 45635*x5*x11 + 18498*x6*x11 + 4030*x1^2 + 53217*x1*x2 + 20995*x2^2 + 51382*x1*x3 + 686*x2*x3 + 15883*x3^2 + 48967*x1*x4 + 47277*x2*x4 + 57639*x3*x4 + 28249*x4^2 + 18819*x1*x5 + 9114*x2*x5 + 64589*x3*x5 + 19641*x4*x5 + 54516*x5^2 + 34934*x1*x6 + 11298*x2*x6 + 60293*x3*x6 + 23133*x4*x6 + 23381*x5*x6 + 54477*x6^2 + 59663*x7 + 38712*x8 + 6641*x9 + 2081*x10 + 8731*x11 + 38084*x1 + 11087*x2 + 44918*x3 + 42697*x4 + 12223*x5 + 20109*x6 + 6571,
15325*x1^4 + 29166*x1^3*x2 + 39654*x1^2*x2^2 + 25494*x1*x2^3 + 44060*x2^4 + 48597*x1^3*x3 + 2200*x1^2*x2*x3 + 40001*x1*x2^2*x3 + 63697*x2^3*x3 + 23832*x1^2*x3^2 + 59564*x1*x2*x3^2 + 60373*x2^2*x3^2 + 15643*x1*x3^3 + 44629*x2*x3^3 + 13333*x3^4 + 22607*x1^3*x4 + 13429*x1^2*x2*x4 + 39109*x1*x2^2*x4 + 52018*x2^3*x4 + 58496*x1^2*x3*x4 + 16625*x1*x2*x3*x4 + 11048*x2^2*x3*x4 + 22531*x1*x3^2*x4 + 1783*x2*x3^2*x4 + 16945*x3^3*x4 + 48554*x1^2*x4^2 + 54241*x1*x2*x4^2 + 22838*x2^2*x4^2 + 33174*x1*x3*x4^2 + 14981*x2*x3*x4^2 + 7702*x3^2*x4^2 + 10950*x1*x4^3 + 24845*x2*x4^3 + 25321*x3*x4^3 + 11526*x4^4 + 12116*x1^3*x5 + 61685*x1^2*x2*x5 + 36600*x1*x2^2*x5 + 4149*x2^3*x5 + 27560*x1^2*x3*x5 + 34745*x1*x2*x3*x5 + 42132*x2^2*x3*x5 + 23894*x1*x3^2*x5 + 40410*x2*x3^2*x5 + 26902*x3^3*x5 + 61484*x1^2*x4*x5 + 38624*x1*x2*x4*x5 + 25788*x2^2*x4*x5 + 35891*x1*x3*x4*x5 + 34662*x2*x3*x4*x5 + 52479*x3^2*x4*x5 + 42035*x1*x4^2*x5 + 59825*x2*x4^2*x5 + 267*x3*x4^2*x5 + 63851*x4^3*x5 + 13907*x1^2*x5^2 + 12036*x1*x2*x5^2 + 8884*x2^2*x5^2 + 18006*x1*x3*x5^2 + 7845*x2*x3*x5^2 + 50858*x3^2*x5^2 + 6183*x1*x4*x5^2 + 6891*x2*x4*x5^2 + 9119*x3*x4*x5^2 + 36862*x4^2*x5^2 + 63916*x1*x5^3 + 8248*x2*x5^3 + 23995*x3*x5^3 + 26015*x4*x5^3 + 39195*x5^4 + 41334*x1^3*x6 + 1605*x1^2*x2*x6 + 35640*x1*x2^2*x6 + 53678*x2^3*x6 + 33541*x1^2*x3*x6 + 61213*x1*x2*x3*x6 + 63749*x2^2*x3*x6 + 37763*x1*x3^2*x6 + 20857*x2*x3^2*x6 + 33687*x3^3*x6 + 35856*x1^2*x4*x6 + 48901*x1*x2*x4*x6 + 30399*x2^2*x4*x6 + 24799*x1*x3*x4*x6 + 12597*x2*x3*x4*x6 + 595*x3^2*x4*x6 + 19414*x1*x4^2*x6 + 7006*x2*x4^2*x6 + 27674*x3*x4^2*x6 + 30749*x4^3*x6 + 43258*x1^2*x5*x6 + 53446*x1*x2*x5*x6 + 20386*x2^2*x5*x6 + 38031*x1*x3*x5*x6 + 48644*x2*x3*x5*x6 + 42054*x3^2*x5*x6 + 14911*x1*x4*x5*x6 + 62605*x2*x4*x5*x6 + 20845*x3*x4*x5*x6 + 32595*x4^2*x5*x6 + 49831*x1*x5^2*x6 + 14144*x2*x5^2*x6 + 37861*x3*x5^2*x6 + 63149*x4*x5^2*x6 + 3226*x5^3*x6 + 7724*x1^2*x6^2 + 45648*x1*x2*x6^2 + 17235*x2^2*x6^2 + 33574*x1*x3*x6^2 + 18741*x2*x3*x6^2 + 61849*x3^2*x6^2 + 8972*x1*x4*x6^2 + 34210*x2*x4*x6^2 + 65450*x3*x4*x6^2 + 62441*x4^2*x6^2 + 39234*x1*x5*x6^2 + 40533*x2*x5*x6^2 + 16560*x3*x5*x6^2 + 40228*x4*x5*x6^2 + 57878*x5^2*x6^2 + 34364*x1*x6^3 + 42717*x2*x6^3 + 23988*x3*x6^3 + 39999*x4*x6^3 + 32032*x5*x6^3 + 38237*x6^4 + 65137*x1^2*x7 + 2205*x1*x2*x7 + 2930*x2^2*x7 + 60533*x1*x3*x7 + 22959*x2*x3*x7 + 43996*x3^2*x7 + 43585*x1*x4*x7 + 5931*x2*x4*x7 + 29968*x3*x4*x7 + 31739*x4^2*x7 + 4634*x1*x5*x7 + 5415*x2*x5*x7 + 23768*x3*x5*x7 + 12326*x4*x5*x7 + 52300*x5^2*x7 + 8795*x1*x6*x7 + 11867*x2*x6*x7 + 55808*x3*x6*x7 + 42969*x4*x6*x7 + 20049*x5*x6*x7 + 12318*x6^2*x7 + 36183*x7^2 + 3788*x1^2*x8 + 7195*x1*x2*x8 + 49531*x2^2*x8 + 38905*x1*x3*x8 + 28405*x2*x3*x8 + 25731*x3^2*x8 + 26326*x1*x4*x8 + 11761*x2*x4*x8 + 32389*x3*x4*x8 + 45643*x4^2*x8 + 40770*x1*x5*x8 + 34469*x2*x5*x8 + 9349*x3*x5*x8 + 60519*x4*x5*x8 + 34093*x5^2*x8 + 22408*x1*x6*x8 + 48963*x2*x6*x8 + 31735*x3*x6*x8 + 21520*x4*x6*x8 + 10291*x5*x6*x8 + 64581*x6^2*x8 + 55327*x7*x8 + 56015*x8^2 + 60490*x1^2*x9 + 19340*x1*x2*x9 + 35918*x2^2*x9 + 35343*x1*x3*x9 + 27945*x2*x3*x9 + 22447*x3^2*x9 + 11758*x1*x4*x9 + 10511*x2*x4*x9 + 18277*x3*x4*x9 + 11834*x4^2*x9 + 10450*x1*x5*x9 + 27009*x2*x5*x9 + 52305*x3*x5*x9 + 23841*x4*x5*x9 + 46968*x5^2*x9 + 13362*x1*x6*x9 + 52094*x2*x6*x9 + 42865*x3*x6*x9 + 17055*x4*x6*x9 + 16630*x5*x6*x9 + 17973*x6^2*x9 + 21457*x7*x9 + 27960*x8*x9 + 38058*x9^2 + 37616*x1^2*x10 + 63099*x1*x2*x10 + 44623*x2^2*x10 + 53280*x1*x3*x10 + 48251*x2*x3*x10 + 20949*x3^2*x10 + 43024*x1*x4*x10 + 63763*x2*x4*x10 + 32423*x3*x4*x10 + 22305*x4^2*x10 + 42567*x1*x5*x10 + 24712*x2*x5*x10 + 11316*x3*x5*x10 + 51945*x4*x5*x10 + 52802*x5^2*x10 + 28678*x1*x6*x10 + 60992*x2*x6*x10 + 165*x3*x6*x10 + 61138*x4*x6*x10 + 16051*x5*x6*x10 + 37527*x6^2*x10 + 61870*x7*x10 + 54033*x8*x10 + 18104*x9*x10 + 15305*x10^2 + 36991*x1^2*x11 + 19829*x1*x2*x11 + 26164*x2^2*x11 + 46758*x1*x3*x11 + 39709*x2*x3*x11 + 22230*x3^2*x11 + 15701*x1*x4*x11 + 56665*x2*x4*x11 + 55154*x3*x4*x11 + 27248*x4^2*x11 + 15664*x1*x5*x11 + 32561*x2*x5*x11 + 5444*x3*x5*x11 + 19647*x4*x5*x11 + 41665*x5^2*x11 + 6354*x1*x6*x11 + 43299*x2*x6*x11 + 15152*x3*x6*x11 + 27916*x4*x6*x11 + 15050*x5*x6*x11 + 30057*x6^2*x11 + 32781*x7*x11 + 46241*x8*x11 + 51837*x9*x11 + 58260*x10*x11 + 33124*x11^2 + 14*x1^3 + 17803*x1^2*x2 + 44706*x1*x2^2 + 56308*x2^3 + 505*x1^2*x3 + 58224*x1*x2*x3 + 2746*x2^2*x3 + 57848*x1*x3^2 + 35048*x2*x3^2 + 25169*x3^3 + 58977*x1^2*x4 + 5693*x1*x2*x4 + 17592*x2^2*x4 + 22999*x1*x3*x4 + 39386*x2*x3*x4 + 43560*x3^2*x4 + 34737*x1*x4^2 + 14885*x2*x4^2 + 30856*x3*x4^2 + 35328*x4^3 + 39226*x1^2*x5 + 39349*x1*x2*x5 + 24382*x2^2*x5 + 40507*x1*x3*x5 + 59802*x2*x3*x5 + 51923*x3^2*x5 + 17618*x1*x4*x5 + 30186*x2*x4*x5 + 53379*x3*x4*x5 + 45707*x4^2*x5 + 36864*x1*x5^2 + 34513*x2*x5^2 + 21449*x3*x5^2 + 46147*x4*x5^2 + 43640*x5^3 + 48624*x1^2*x6 + 25269*x1*x2*x6 + 45839*x2^2*x6 + 45267*x1*x3*x6 + 26624*x2*x3*x6 + 54131*x3^2*x6 + 56459*x1*x4*x6 + 54143*x2*x4*x6 + 17935*x3*x4*x6 + 59242*x4^2*x6 + 54899*x1*x5*x6 + 12014*x2*x5*x6 + 55604*x3*x5*x6 + 40008*x4*x5*x6 + 49557*x5^2*x6 + 55128*x1*x6^2 + 44751*x2*x6^2 + 64985*x3*x6^2 + 65466*x4*x6^2 + 170*x5*x6^2 + 21249*x6^3 + 24823*x1*x7 + 5239*x2*x7 + 4830*x3*x7 + 53301*x4*x7 + 63719*x5*x7 + 11090*x6*x7 + 36047*x1*x8 + 13077*x2*x8 + 21946*x3*x8 + 41116*x4*x8 + 6037*x5*x8 + 48690*x6*x8 + 28266*x1*x9 + 1848*x2*x9 + 57161*x3*x9 + 20280*x4*x9 + 21109*x5*x9 + 49250*x6*x9 + 60646*x1*x10 + 53992*x2*x10 + 48258*x3*x10 + 2983*x4*x10 + 21479*x5*x10 + 2307*x6*x10 + 46816*x1*x11 + 37673*x2*x11 + 34673*x3*x11 + 49710*x4*x11 + 2707*x5*x11 + 40001*x6*x11 + 7154*x1^2 + 12601*x1*x2 + 53627*x2^2 + 50663*x1*x3 + 45108*x2*x3 + 57949*x3^2 + 23615*x1*x4 + 30421*x2*x4 + 4390*x3*x4 + 6236*x4^2 + 38455*x1*x5 + 36092*x2*x5 + 5393*x3*x5 + 37199*x4*x5 + 21294*x5^2 + 40711*x1*x6 + 17615*x2*x6 + 53341*x3*x6 + 4361*x4*x6 + 2838*x5*x6 + 44552*x6^2 + 965*x7 + 10244*x8 + 28006*x9 + 23259*x10 + 56912*x11 + 27297*x1 + 22956*x2 + 44018*x3 + 1926*x4 + 9447*x5 + 14770*x6 + 37205,
14744*x1^4 + 55790*x1^3*x2 + 52857*x1^2*x2^2 + 7952*x1*x2^3 + 24452*x2^4 + 34871*x1^3*x3 + 59920*x1^2*x2*x3 + 37869*x1*x2^2*x3 + 58539*x2^3*x3 + 60413*x1^2*x3^2 + 61619*x1*x2*x3^2 + 152*x2^2*x3^2 + 64972*x1*x3^3 + 21181*x2*x3^3 + 12879*x3^4 + 2327*x1^3*x4 + 38598*x1^2*x2*x4 + 18254*x1*x2^2*x4 + 30779*x2^3*x4 + 33368*x1^2*x3*x4 + 59495*x1*x2*x3*x4 + 42110*x2^2*x3*x4 + 35755*x1*x3^2*x4 + 45487*x2*x3^2*x4 + 63970*x3^3*x4 + 27695*x1^2*x4^2 + 50482*x1*x2*x4^2 + 1937*x2^2*x4^2 + 49520*x1*x3*x4^2 + 5359*x2*x3*x4^2 + 35191*x3^2*x4^2 + 20388*x1*x4^3 + 43608*x2*x4^3 + 41724*x3*x4^3 + 59625*x4^4 + 61648*x1^3*x5 + 8202*x1^2*x2*x5 + 16709*x1*x2^2*x5 + 52581*x2^3*x5 + 28995*x1^2*x3*x5 + 6758*x1*x2*x3*x5 + 8808*x2^2*x3*x5 + 60662*x1*x3^2*x5 + 46097*x2*x3^2*x5 + 65180*x3^3*x5 + 54900*x1^2*x4*x5 + 57765*x1*x2*x4*x5 + 20035*x2^2*x4*x5 + 55148*x1*x3*x4*x5 + 14637*x2*x3*x4*x5 + 4676*x3^2*x4*x5 + 48800*x1*x4^2*x5 + 50163*x2*x4^2*x5 + 39094*x3*x4^2*x5 + 43173*x4^3*x5 + 29836*x1^2*x5^2 + 35893*x1*x2*x5^2 + 56225*x2^2*x5^2 + 30092*x1*x3*x5^2 + 58475*x2*x3*x5^2 + 36321*x3^2*x5^2 + 21978*x1*x4*x5^2 + 710*x2*x4*x5^2 + 22763*x3*x4*x5^2 + 44508*x4^2*x5^2 + 34996*x1*x5^3 + 63310*x2*x5^3 + 94*x3*x5^3 + 12790*x4*x5^3 + 42827*x5^4 + 23979*x1^3*x6 + 37359*x1^2*x2*x6 + 11948*x1*x2^2*x6 + 36049*x2^3*x6 + 35196*x1^2*x3*x6 + 23363*x1*x2*x3*x6 + 31258*x2^2*x3*x6 + 64478*x1*x3^2*x6 + 45193*x2*x3^2*x6 + 15482*x3^3*x6 + 57013*x1^2*x4*x6 + 33549*x1*x2*x4*x6 + 16050*x2^2*x4*x6 + 2346*x1*x3*x4*x6 + 8610*x2*x3*x4*x6 + 32606*x3^2*x4*x6 + 6522*x1*x4^2*x6 + 28932*x2*x4^2*x6 + 21244*x3*x4^2*x6 + 3560*x4^3*x6 + 41480*x1^2*x5*x6 + 34144*x1*x2*x5*x6 + 36*x2^2*x5*x6 + 40086*x1*x3*x5*x6 + 57824*x2*x3*x5*x6 + 34963*x3^2*x5*x6 + 60883*x1*x4*x5*x6 + 15390*x2*x4*x5*x6 + 60234*x3*x4*x5*x6 + 64931*x4^2*x5*x6 + 32560*x1*x5^2*x6 + 62056*x2*x5^2*x6 + 21465*x3*x5^2*x6 + 31565*x4*x5^2*x6 + 23529*x5^3*x6 + 60982*x1^2*x6^2 + 27392*x1*x2*x6^2 + 26188*x2^2*x6^2 + 60382*x1*x3*x6^2 + 10201*x2*x3*x6^2 + 61207*x3^2*x6^2 + 26946*x1*x4*x6^2 + 32005*x2*x4*x6^2 + 10249*x3*x4*x6^2 + 43315*x4^2*x6^2 + 40620*x1*x5*x6^2 + 28711*x2*x5*x6^2 + 19051*x3*x5*x6^2 + 43094*x4*x5*x6^2 + 56896*x5^2*x6^2 + 20920*x1*x6^3 + 4448*x2*x6^3 + 5133*x3*x6^3 + 43209*x4*x6^3 + 6511*x5*x6^3 + 21216*x6^4 + 18365*x1^2*x7 + 58676*x1*x2*x7 + 22747*x2^2*x7 + 16190*x1*x3*x7 + 64237*x2*x3*x7 + 41294*x3^2*x7 + 27480*x1*x4*x7 + 40494*x2*x4*x7 + 12161*x3*x4*x7 + 29096*x4^2*x7 + 46283*x1*x5*x7 + 32051*x2*x5*x7 + 53256*x3*x5*x7 + 62826*x4*x5*x7 + 33904*x5^2*x7 + 28514*x1*x6*x7 + 50249*x2*x6*x7 + 49080*x3*x6*x7 + 50215*x4*x6*x7 + 54938*x5*x6*x7 + 56884*x6^2*x7 + 19383*x7^2 + 40773*x1^2*x8 + 1601*x1*x2*x8 + 3923*x2^2*x8 + 38929*x1*x3*x8 + 47748*x2*x3*x8 + 49568*x3^2*x8 + 54393*x1*x4*x8 + 41422*x2*x4*x8 + 19235*x3*x4*x8 + 41624*x4^2*x8 + 18009*x1*x5*x8 + 50216*x2*x5*x8 + 6252*x3*x5*x8 + 11042*x4*x5*x8 + 37917*x5^2*x8 + 32872*x1*x6*x8 + 25295*x2*x6*x8 + 36631*x3*x6*x8 + 49642*x4*x6*x8 + 54524*x5*x6*x8 + 18130*x6^2*x8 + 910*x7*x8 + 36950*x8^2 + 14784*x1^2*x9 + 17983*x1*x2*x9 + 8397*x2^2*x9 + 45675*x1*x3*x9 + 50804*x2*x3*x9 + 48045*x3^2*x9 + 16757*x1*x4*x9 + 60386*x2*x4*x9 + 53214*x3*x4*x9 + 18932*x4^2*x9 + 3538*x1*x5*x9 + 25047*x2*x5*x9 + 32299*x3*x5*x9 + 34999*x4*x5*x9 + 43238*x5^2*x9 + 39647*x1*x6*x9 + 35094*x2*x6*x9 + 9984*x3*x6*x9 + 50250*x4*x6*x9 + 46295*x5*x6*x9 + 61139*x6^2*x9 + 24178*x7*x9 + 6148*x8*x9 + 1330*x9^2 + 21239*x1^2*x10 + 13927*x1*x2*x10 + 48447*x2^2*x10 + 9641*x1*x3*x10 + 58778*x2*x3*x10 + 29886*x3^2*x10 + 7793*x1*x4*x10 + 5631*x2*x4*x10 + 16968*x3*x4*x10 + 4034*x4^2*x10 + 31568*x1*x5*x10 + 8982*x2*x5*x10 + 44425*x3*x5*x10 + 51453*x4*x5*x10 + 62016*x5^2*x10 + 10421*x1*x6*x10 + 53648*x2*x6*x10 + 60857*x3*x6*x10 + 27513*x4*x6*x10 + 9916*x5*x6*x10 + 25318*x6^2*x10 + 61249*x7*x10 + 57700*x8*x10 + 41037*x9*x10 + 58145*x10^2 + 24853*x1^2*x11 + 16323*x1*x2*x11 + 3675*x2^2*x11 + 56510*x1*x3*x11 + 12105*x2*x3*x11 + 4397*x3^2*x11 + 53141*x1*x4*x11 + 12841*x2*x4*x11 + 38902*x3*x4*x11 + 10796*x4^2*x11 + 9772*x1*x5*x11 + 34927*x2*x5*x11 + 18148*x3*x5*x11 + 22544*x4*x5*x11 + 24487*x5^2*x11 + 56274*x1*x6*x11 + 38711*x2*x6*x11 + 47753*x3*x6*x11 + 61093*x4*x6*x11 + 44176*x5*x6*x11 + 44275*x6^2*x11 + 42572*x7*x11 + 48470*x8*x11 + 22873*x9*x11 + 42740*x10*x11 + 13987*x11^2 + 26935*x1^3 + 28974*x1^2*x2 + 8311*x1*x2^2 + 46384*x2^3 + 46369*x1^2*x3 + 23786*x1*x2*x3 + 26489*x2^2*x3 + 53884*x1*x3^2 + 59028*x2*x3^2 + 24378*x3^3 + 62909*x1^2*x4 + 28073*x1*x2*x4 + 36914*x2^2*x4 + 8908*x1*x3*x4 + 34427*x2*x3*x4 + 15835*x3^2*x4 + 18213*x1*x4^2 + 60016*x2*x4^2 + 60558*x3*x4^2 + 62021*x4^3 + 12537*x1^2*x5 + 31357*x1*x2*x5 + 8512*x2^2*x5 + 19489*x1*x3*x5 + 43036*x2*x3*x5 + 2185*x3^2*x5 + 31195*x1*x4*x5 + 29015*x2*x4*x5 + 1594*x3*x4*x5 + 24575*x4^2*x5 + 40263*x1*x5^2 + 12944*x2*x5^2 + 39492*x3*x5^2 + 23549*x4*x5^2 + 55789*x5^3 + 17257*x1^2*x6 + 668*x1*x2*x6 + 6841*x2^2*x6 + 15734*x1*x3*x6 + 1367*x2*x3*x6 + 63780*x3^2*x6 + 22234*x1*x4*x6 + 56496*x2*x4*x6 + 13029*x3*x4*x6 + 18264*x4^2*x6 + 1480*x1*x5*x6 + 53451*x2*x5*x6 + 34439*x3*x5*x6 + 2561*x4*x5*x6 + 48261*x5^2*x6 + 57801*x1*x6^2 + 25872*x2*x6^2 + 17722*x3*x6^2 + 1857*x4*x6^2 + 24843*x5*x6^2 + 46149*x6^3 + 54864*x1*x7 + 35649*x2*x7 + 9245*x3*x7 + 28973*x4*x7 + 48720*x5*x7 + 55498*x6*x7 + 24378*x1*x8 + 56517*x2*x8 + 50119*x3*x8 + 58599*x4*x8 + 44981*x5*x8 + 40938*x6*x8 + 17049*x1*x9 + 9793*x2*x9 + 17228*x3*x9 + 24669*x4*x9 + 25786*x5*x9 + 47976*x6*x9 + 10160*x1*x10 + 51041*x2*x10 + 59623*x3*x10 + 32920*x4*x10 + 18230*x5*x10 + 2240*x6*x10 + 34201*x1*x11 + 59894*x2*x11 + 33016*x3*x11 + 28649*x4*x11 + 42549*x5*x11 + 6424*x6*x11 + 2342*x1^2 + 18320*x1*x2 + 63923*x2^2 + 56948*x1*x3 + 29568*x2*x3 + 56904*x3^2 + 16140*x1*x4 + 25677*x2*x4 + 55214*x3*x4 + 16143*x4^2 + 63124*x1*x5 + 15232*x2*x5 + 29524*x3*x5 + 24655*x4*x5 + 21197*x5^2 + 54646*x1*x6 + 35589*x2*x6 + 19006*x3*x6 + 44491*x4*x6 + 52822*x5*x6 + 60927*x6^2 + 20189*x7 + 42913*x8 + 35507*x9 + 5704*x10 + 27723*x11 + 19108*x1 + 45452*x2 + 14642*x3 + 31354*x4 + 64223*x5 + 60884*x6 + 12960,
15554*x1^4 + 55464*x1^3*x2 + 36962*x1^2*x2^2 + 9434*x1*x2^3 + 51209*x2^4 + 62870*x1^3*x3 + 60146*x1^2*x2*x3 + 54106*x1*x2^2*x3 + 4620*x2^3*x3 + 10110*x1^2*x3^2 + 37269*x1*x2*x3^2 + 24453*x2^2*x3^2 + 6650*x1*x3^3 + 54973*x2*x3^3 + 32884*x3^4 + 5884*x1^3*x4 + 12876*x1^2*x2*x4 + 49103*x1*x2^2*x4 + 15159*x2^3*x4 + 23736*x1^2*x3*x4 + 53979*x1*x2*x3*x4 + 17502*x2^2*x3*x4 + 53864*x1*x3^2*x4 + 17014*x2*x3^2*x4 + 33175*x3^3*x4 + 63392*x1^2*x4^2 + 61188*x1*x2*x4^2 + 10401*x2^2*x4^2 + 35324*x1*x3*x4^2 + 16917*x2*x3*x4^2 + 45949*x3^2*x4^2 + 5639*x1*x4^3 + 51262*x2*x4^3 + 10325*x3*x4^3 + 10768*x4^4 + 15740*x1^3*x5 + 26688*x1^2*x2*x5 + 26092*x1*x2^2*x5 + 46260*x2^3*x5 + 26649*x1^2*x3*x5 + 9183*x1*x2*x3*x5 + 2317*x2^2*x3*x5 + 53342*x1*x3^2*x5 + 31299*x2*x3^2*x5 + 25328*x3^3*x5 + 46943*x1^2*x4*x5 + 24038*x1*x2*x4*x5 + 3372*x2^2*x4*x5 + 60307*x1*x3*x4*x5 + 56799*x2*x3*x4*x5 + 61194*x3^2*x4*x5 + 16760*x1*x4^2*x5 + 33563*x2*x4^2*x5 + 9201*x3*x4^2*x5 + 38611*x4^3*x5 + 5948*x1^2*x5^2 + 44847*x1*x2*x5^2 + 25252*x2^2*x5^2 + 33314*x1*x3*x5^2 + 22009*x2*x3*x5^2 + 291*x3^2*x5^2 + 938*x1*x4*x5^2 + 15904*x2*x4*x5^2 + 31922*x3*x4*x5^2 + 48588*x4^2*x5^2 + 10245*x1*x5^3 + 50479*x2*x5^3 + 31119*x3*x5^3 + 59741*x4*x5^3 + 34616*x5^4 + 8621*x1^3*x6 + 41325*x1^2*x2*x6 + 40007*x1*x2^2*x6 + 6749*x2^3*x6 + 18276*x1^2*x3*x6 + 57094*x1*x2*x3*x6 + 30205*x2^2*x3*x6 + 6378*x1*x3^2*x6 + 45192*x2*x3^2*x6 + 40526*x3^3*x6 + 49782*x1^2*x4*x6 + 23270*x1*x2*x4*x6 + 9932*x2^2*x4*x6 + 24531*x1*x3*x4*x6 + 45011*x2*x3*x4*x6 + 485*x3^2*x4*x6 + 23795*x1*x4^2*x6 + 8010*x2*x4^2*x6 + 54079*x3*x4^2*x6 + 53718*x4^3*x6 + 39904*x1^2*x5*x6 + 17638*x1*x2*x5*x6 + 45508*x2^2*x5*x6 + 58649*x1*x3*x5*x6 + 32813*x2*x3*x5*x6 + 22054*x3^2*x5*x6 + 65097*x1*x4*x5*x6 + 4970*x2*x4*x5*x6 + 35999*x3*x4*x5*x6 + 61846*x4^2*x5*x6 + 1992*x1*x5^2*x6 + 33300*x2*x5^2*x6 + 60405*x3*x5^2*x6 + 3045*x4*x5^2*x6 + 27830*x5^3*x6 + 53565*x1^2*x6^2 + 35173*x1*x2*x6^2 + 53394*x2^2*x6^2 + 58580*x1*x3*x6^2 + 10047*x2*x3*x6^2 + 11840*x3^2*x6^2 + 61556*x1*x4*x6^2 + 59906*x2*x4*x6^2 + 54063*x3*x4*x6^2 + 51162*x4^2*x6^2 + 41143*x1*x5*x6^2 + 37779*x2*x5*x6^2 + 22461*x3*x5*x6^2 + 46362*x4*x5*x6^2 + 1087*x5^2*x6^2 + 49928*x1*x6^3 + 1812*x2*x6^3 + 1693*x3*x6^3 + 7263*x4*x6^3 + 42172*x5*x6^3 + 44345*x6^4 + 3745*x1^2*x7 + 25682*x1*x2*x7 + 6752*x2^2*x7 + 33493*x1*x3*x7 + 51972*x2*x3*x7 + 59725*x3^2*x7 + 65120*x1*x4*x7 + 4116*x2*x4*x7 + 47975*x3*x4*x7 + 5179*x4^2*x7 + 29461*x1*x5*x7 + 13554*x2*x5*x7 + 65262*x3*x5*x7 + 63535*x4*x5*x7 + 17016*x5^2*x7 + 52652*x1*x6*x7 + 55069*x2*x6*x7 + 51478*x3*x6*x7 + 53397*x4*x6*x7 + 19369*x5*x6*x7 + 60685*x6^2*x7 + 62672*x7^2 + 44349*x1^2*x8 + 3520*x1*x2*x8 + 57771*x2^2*x8 + 4789*x1*x3*x8 + 1565*x2*x3*x8 + 36278*x3^2*x8 + 8315*x1*x4*x8 + 54474*x2*x4*x8 + 62124*x3*x4*x8 + 50744*x4^2*x8 + 37917*x1*x5*x8 + 28457*x2*x5*x8 + 41398*x3*x5*x8 + 28905*x4*x5*x8 + 25546*x5^2*x8 + 3102*x1*x6*x8 + 40080*x2*x6*x8 + 7461*x3*x6*x8 + 37838*x4*x6*x8 + 3304*x5*x6*x8 + 25628*x6^2*x8 + 38395*x7*x8 + 18393*x8^2 + 23198*x1^2*x9 + 62854*x1*x2*x9 + 4339*x2^2*x9 + 29151*x1*x3*x9 + 55974*x2*x3*x9 + 4354*x3^2*x9 + 63597*x1*x4*x9 + 55918*x2*x4*x9 + 22142*x3*x4*x9 + 23454*x4^2*x9 + 6516*x1*x5*x9 + 48452*x2*x5*x9 + 42782*x3*x5*x9 + 39239*x4*x5*x9 + 54798*x5^2*x9 + 49840*x1*x6*x9 + 9930*x2*x6*x9 + 47933*x3*x6*x9 + 1698*x4*x6*x9 + 10666*x5*x6*x9 + 33440*x6^2*x9 + 42221*x7*x9 + 41011*x8*x9 + 58654*x9^2 + 9639*x1^2*x10 + 57488*x1*x2*x10 + 40329*x2^2*x10 + 8345*x1*x3*x10 + 34471*x2*x3*x10 + 4080*x3^2*x10 + 15070*x1*x4*x10 + 17869*x2*x4*x10 + 50956*x3*x4*x10 + 6525*x4^2*x10 + 64733*x1*x5*x10 + 6386*x2*x5*x10 + 35102*x3*x5*x10 + 57240*x4*x5*x10 + 40816*x5^2*x10 + 19441*x1*x6*x10 + 61561*x2*x6*x10 + 12449*x3*x6*x10 + 49914*x4*x6*x10 + 8476*x5*x6*x10 + 23684*x6^2*x10 + 57755*x7*x10 + 574*x8*x10 + 32226*x9*x10 + 61819*x10^2 + 35354*x1^2*x11 + 61212*x1*x2*x11 + 50823*x2^2*x11 + 54440*x1*x3*x11 + 56284*x2*x3*x11 + 64062*x3^2*x11 + 62064*x1*x4*x11 + 10700*x2*x4*x11 + 36477*x3*x4*x11 + 27372*x4^2*x11 + 14652*x1*x5*x11 + 62428*x2*x5*x11 + 43746*x3*x5*x11 + 47595*x4*x5*x11 + 56717*x5^2*x11 + 18104*x1*x6*x11 + 14910*x2*x6*x11 + 48886*x3*x6*x11 + 12117*x4*x6*x11 + 4311*x5*x6*x11 + 2911*x6^2*x11 + 1668*x7*x11 + 17173*x8*x11 + 12863*x9*x11 + 15445*x10*x11 + 32490*x11^2 + 6981*x1^3 + 34354*x1^2*x2 + 61874*x1*x2^2 + 64883*x2^3 + 44695*x1^2*x3 + 10250*x1*x2*x3 + 51017*x2^2*x3 + 7586*x1*x3^2 + 16217*x2*x3^2 + 15864*x3^3 + 30409*x1^2*x4 + 38392*x1*x2*x4 + 58168*x2^2*x4 + 20983*x1*x3*x4 + 4529*x2*x3*x4 + 22189*x3^2*x4 + 5955*x1*x4^2 + 1129*x2*x4^2 + 28500*x3*x4^2 + 21774*x4^3 + 27833*x1^2*x5 + 46167*x1*x2*x5 + 22306*x2^2*x5 + 49190*x1*x3*x5 + 19644*x2*x3*x5 + 49334*x3^2*x5 + 2182*x1*x4*x5 + 20483*x2*x4*x5 + 53716*x3*x4*x5 + 51630*x4^2*x5 + 48354*x1*x5^2 + 21130*x2*x5^2 + 58229*x3*x5^2 + 10895*x4*x5^2 + 4868*x5^3 + 46260*x1^2*x6 + 5325*x1*x2*x6 + 58101*x2^2*x6 + 26920*x1*x3*x6 + 16117*x2*x3*x6 + 33303*x3^2*x6 + 9761*x1*x4*x6 + 43268*x2*x4*x6 + 260*x3*x4*x6 + 11229*x4^2*x6 + 34529*x1*x5*x6 + 8471*x2*x5*x6 + 9972*x3*x5*x6 + 7599*x4*x5*x6 + 44875*x5^2*x6 + 7051*x1*x6^2 + 47187*x2*x6^2 + 21259*x3*x6^2 + 1203*x4*x6^2 + 25313*x5*x6^2 + 34977*x6^3 + 40476*x1*x7 + 37783*x2*x7 + 57848*x3*x7 + 1751*x4*x7 + 37607*x5*x7 + 25607*x6*x7 + 22816*x1*x8 + 39217*x2*x8 + 52589*x3*x8 + 11094*x4*x8 + 54859*x5*x8 + 25899*x6*x8 + 36290*x1*x9 + 53792*x2*x9 + 23986*x3*x9 + 8823*x4*x9 + 60915*x5*x9 + 29164*x6*x9 + 50493*x1*x10 + 54313*x2*x10 + 7976*x3*x10 + 38264*x4*x10 + 37606*x5*x10 + 65055*x6*x10 + 7419*x1*x11 + 11797*x2*x11 + 11457*x3*x11 + 15835*x4*x11 + 19613*x5*x11 + 12486*x6*x11 + 22603*x1^2 + 3069*x1*x2 + 14991*x2^2 + 59*x1*x3 + 35696*x2*x3 + 27751*x3^2 + 22580*x1*x4 + 60492*x2*x4 + 18582*x3*x4 + 53226*x4^2 + 53139*x1*x5 + 49496*x2*x5 + 40712*x3*x5 + 14091*x4*x5 + 31311*x5^2 + 38979*x1*x6 + 51562*x2*x6 + 25169*x3*x6 + 57203*x4*x6 + 22800*x5*x6 + 37056*x6^2 + 51774*x7 + 5842*x8 + 25823*x9 + 50643*x10 + 34726*x11 + 23330*x1 + 20154*x2 + 27459*x3 + 8280*x4 + 27659*x5 + 46334*x6 + 40538,
31642*x1^4 + 59049*x1^3*x2 + 49008*x1^2*x2^2 + 41027*x1*x2^3 + 36112*x2^4 + 3968*x1^3*x3 + 39635*x1^2*x2*x3 + 63899*x1*x2^2*x3 + 57536*x2^3*x3 + 33760*x1^2*x3^2 + 8318*x1*x2*x3^2 + 1009*x2^2*x3^2 + 10051*x1*x3^3 + 24255*x2*x3^3 + 26796*x3^4 + 24853*x1^3*x4 + 3938*x1^2*x2*x4 + 2644*x1*x2^2*x4 + 33073*x2^3*x4 + 17977*x1^2*x3*x4 + 11675*x1*x2*x3*x4 + 44283*x2^2*x3*x4 + 26654*x1*x3^2*x4 + 5411*x2*x3^2*x4 + 45263*x3^3*x4 + 43670*x1^2*x4^2 + 6005*x1*x2*x4^2 + 38300*x2^2*x4^2 + 54313*x1*x3*x4^2 + 20162*x2*x3*x4^2 + 54238*x3^2*x4^2 + 58167*x1*x4^3 + 42251*x2*x4^3 + 49982*x3*x4^3 + 60277*x4^4 + 48058*x1^3*x5 + 23698*x1^2*x2*x5 + 9381*x1*x2^2*x5 + 3572*x2^3*x5 + 25227*x1^2*x3*x5 + 12571*x1*x2*x3*x5 + 54289*x2^2*x3*x5 + 33041*x1*x3^2*x5 + 25670*x2*x3^2*x5 + 32240*x3^3*x5 + 2963*x1^2*x4*x5 + 23944*x1*x2*x4*x5 + 21997*x2^2*x4*x5 + 58883*x1*x3*x4*x5 + 50570*x2*x3*x4*x5 + 13721*x3^2*x4*x5 + 18239*x1*x4^2*x5 + 53044*x2*x4^2*x5 + 18670*x3*x4^2*x5 + 36512*x4^3*x5 + 44775*x1^2*x5^2 + 47384*x1*x2*x5^2 + 29442*x2^2*x5^2 + 43228*x1*x3*x5^2 + 53888*x2*x3*x5^2 + 26203*x3^2*x5^2 + 36760*x1*x4*x5^2 + 24244*x2*x4*x5^2 + 58696*x3*x4*x5^2 + 43531*x4^2*x5^2 + 203*x1*x5^3 + 61109*x2*x5^3 + 945*x3*x5^3 + 26176*x4*x5^3 + 44851*x5^4 + 32373*x1^3*x6 + 806*x1^2*x2*x6 + 60286*x1*x2^2*x6 + 33922*x2^3*x6 + 63946*x1^2*x3*x6 + 28399*x1*x2*x3*x6 + 44021*x2^2*x3*x6 + 44454*x1*x3^2*x6 + 58270*x2*x3^2*x6 + 8378*x3^3*x6 + 21532*x1^2*x4*x6 + 25331*x1*x2*x4*x6 + 40390*x2^2*x4*x6 + 54352*x1*x3*x4*x6 + 57334*x2*x3*x4*x6 + 49958*x3^2*x4*x6 + 54312*x1*x4^2*x6 + 24328*x2*x4^2*x6 + 47572*x3*x4^2*x6 + 23592*x4^3*x6 + 52284*x1^2*x5*x6 + 59934*x1*x2*x5*x6 + 45176*x2^2*x5*x6 + 10426*x1*x3*x5*x6 + 28949*x2*x3*x5*x6 + 43812*x3^2*x5*x6 + 41425*x1*x4*x5*x6 + 42759*x2*x4*x5*x6 + 1574*x3*x4*x5*x6 + 38740*x4^2*x5*x6 + 44753*x1*x5^2*x6 + 36110*x2*x5^2*x6 + 55011*x3*x5^2*x6 + 936*x4*x5^2*x6 + 6036*x5^3*x6 + 8991*x1^2*x6^2 + 44661*x1*x2*x6^2 + 22749*x2^2*x6^2 + 749*x1*x3*x6^2 + 11359*x2*x3*x6^2 + 54077*x3^2*x6^2 + 22469*x1*x4*x6^2 + 26863*x2*x4*x6^2 + 8899*x3*x4*x6^2 + 51936*x4^2*x6^2 + 54617*x1*x5*x6^2 + 63049*x2*x5*x6^2 + 15852*x3*x5*x6^2 + 12843*x4*x5*x6^2 + 18672*x5^2*x6^2 + 16969*x1*x6^3 + 7920*x2*x6^3 + 40103*x3*x6^3 + 16004*x4*x6^3 + 40371*x5*x6^3 + 28115*x6^4 + 31018*x1^2*x7 + 15774*x1*x2*x7 + 29788*x2^2*x7 + 25456*x1*x3*x7 + 54273*x2*x3*x7 + 47840*x3^2*x7 + 6568*x1*x4*x7 + 55843*x2*x4*x7 + 58457*x3*x4*x7 + 23042*x4^2*x7 + 30980*x1*x5*x7 + 61250*x2*x5*x7 + 22183*x3*x5*x7 + 34312*x4*x5*x7 + 9377*x5^2*x7 + 28342*x1*x6*x7 + 52888*x2*x6*x7 + 53564*x3*x6*x7 + 61108*x4*x6*x7 + 58520*x5*x6*x7 + 36913*x6^2*x7 + 34115*x7^2 + 49198*x1^2*x8 + 34886*x1*x2*x8 + 16680*x2^2*x8 + 12172*x1*x3*x8 + 17133*x2*x3*x8 + 7612*x3^2*x8 + 48511*x1*x4*x8 + 18810*x2*x4*x8 + 27204*x3*x4*x8 + 52310*x4^2*x8 + 34918*x1*x5*x8 + 40134*x2*x5*x8 + 40156*x3*x5*x8 + 40578*x4*x5*x8 + 57684*x5^2*x8 + 18239*x1*x6*x8 + 46822*x2*x6*x8 + 19473*x3*x6*x8 + 46189*x4*x6*x8 + 3636*x5*x6*x8 + 45144*x6^2*x8 + 33887*x7*x8 + 52099*x8^2 + 18614*x1^2*x9 + 22876*x1*x2*x9 + 51650*x2^2*x9 + 2490*x1*x3*x9 + 583*x2*x3*x9 + 9039*x3^2*x9 + 43679*x1*x4*x9 + 28337*x2*x4*x9 + 64325*x3*x4*x9 + 27724*x4^2*x9 + 60355*x1*x5*x9 + 39045*x2*x5*x9 + 44729*x3*x5*x9 + 31025*x4*x5*x9 + 13849*x5^2*x9 + 48364*x1*x6*x9 + 24623*x2*x6*x9 + 5573*x3*x6*x9 + 37043*x4*x6*x9 + 52917*x5*x6*x9 + 17558*x6^2*x9 + 23435*x7*x9 + 55310*x8*x9 + 37059*x9^2 + 12529*x1^2*x10 + 26094*x1*x2*x10 + 47605*x2^2*x10 + 37929*x1*x3*x10 + 63546*x2*x3*x10 + 15663*x3^2*x10 + 50407*x1*x4*x10 + 55679*x2*x4*x10 + 40801*x3*x4*x10 + 50138*x4^2*x10 + 39346*x1*x5*x10 + 37528*x2*x5*x10 + 49898*x3*x5*x10 + 58950*x4*x5*x10 + 44646*x5^2*x10 + 5051*x1*x6*x10 + 10553*x2*x6*x10 + 7416*x3*x6*x10 + 45921*x4*x6*x10 + 6745*x5*x6*x10 + 34076*x6^2*x10 + 42600*x7*x10 + 37783*x8*x10 + 31376*x9*x10 + 45478*x10^2 + 39736*x1^2*x11 + 14506*x1*x2*x11 + 40193*x2^2*x11 + 63968*x1*x3*x11 + 20735*x2*x3*x11 + 32506*x3^2*x11 + 8970*x1*x4*x11 + 33378*x2*x4*x11 + 21699*x3*x4*x11 + 37345*x4^2*x11 + 52334*x1*x5*x11 + 37549*x2*x5*x11 + 25494*x3*x5*x11 + 31972*x4*x5*x11 + 44854*x5^2*x11 + 9065*x1*x6*x11 + 36299*x2*x6*x11 + 22796*x3*x6*x11 + 28598*x4*x6*x11 + 35357*x5*x6*x11 + 5838*x6^2*x11 + 11476*x7*x11 + 46844*x8*x11 + 58923*x9*x11 + 21653*x10*x11 + 62128*x11^2 + 27105*x1^3 + 3142*x1^2*x2 + 16779*x1*x2^2 + 5360*x2^3 + 51218*x1^2*x3 + 32703*x1*x2*x3 + 42253*x2^2*x3 + 8803*x1*x3^2 + 8166*x2*x3^2 + 6000*x3^3 + 3715*x1^2*x4 + 12049*x1*x2*x4 + 12243*x2^2*x4 + 37047*x1*x3*x4 + 12328*x2*x3*x4 + 12083*x3^2*x4 + 49964*x1*x4^2 + 44850*x2*x4^2 + 32093*x3*x4^2 + 40588*x4^3 + 12804*x1^2*x5 + 3150*x1*x2*x5 + 49018*x2^2*x5 + 35479*x1*x3*x5 + 12635*x2*x3*x5 + 33970*x3^2*x5 + 57417*x1*x4*x5 + 60753*x2*x4*x5 + 29309*x3*x4*x5 + 14027*x4^2*x5 + 45093*x1*x5^2 + 56480*x2*x5^2 + 40237*x3*x5^2 + 52801*x4*x5^2 + 62280*x5^3 + 41293*x1^2*x6 + 612*x1*x2*x6 + 2724*x2^2*x6 + 4961*x1*x3*x6 + 64774*x2*x3*x6 + 3405*x3^2*x6 + 25036*x1*x4*x6 + 11158*x2*x4*x6 + 61471*x3*x4*x6 + 10653*x4^2*x6 + 44252*x1*x5*x6 + 49334*x2*x5*x6 + 43125*x3*x5*x6 + 40588*x4*x5*x6 + 29180*x5^2*x6 + 482*x1*x6^2 + 16325*x2*x6^2 + 49180*x3*x6^2 + 22320*x4*x6^2 + 22306*x5*x6^2 + 40681*x6^3 + 58007*x1*x7 + 49729*x2*x7 + 5133*x3*x7 + 16782*x4*x7 + 15671*x5*x7 + 34748*x6*x7 + 29491*x1*x8 + 31761*x2*x8 + 15707*x3*x8 + 8051*x4*x8 + 12052*x5*x8 + 29550*x6*x8 + 41434*x1*x9 + 4383*x2*x9 + 20564*x3*x9 + 51690*x4*x9 + 40062*x5*x9 + 46950*x6*x9 + 22508*x1*x10 + 27486*x2*x10 + 715*x3*x10 + 32370*x4*x10 + 3958*x5*x10 + 13086*x6*x10 + 23431*x1*x11 + 15004*x2*x11 + 10800*x3*x11 + 28611*x4*x11 + 28874*x5*x11 + 41527*x6*x11 + 3398*x1^2 + 56375*x1*x2 + 46248*x2^2 + 46650*x1*x3 + 62395*x2*x3 + 39697*x3^2 + 44141*x1*x4 + 17454*x2*x4 + 52989*x3*x4 + 27054*x4^2 + 60156*x1*x5 + 9086*x2*x5 + 45007*x3*x5 + 15132*x4*x5 + 63529*x5^2 + 63209*x1*x6 + 16905*x2*x6 + 6736*x3*x6 + 18810*x4*x6 + 14444*x5*x6 + 30995*x6^2 + 41886*x7 + 2403*x8 + 1092*x9 + 16906*x10 + 27849*x11 + 50864*x1 + 60976*x2 + 51622*x3 + 49431*x4 + 56353*x5 + 2917*x6 + 41823,
32165*x1^4 + 56839*x1^3*x2 + 49336*x1^2*x2^2 + 29661*x1*x2^3 + 52572*x2^4 + 26738*x1^3*x3 + 55497*x1^2*x2*x3 + 58715*x1*x2^2*x3 + 7079*x2^3*x3 + 35664*x1^2*x3^2 + 10629*x1*x2*x3^2 + 15850*x2^2*x3^2 + 9491*x1*x3^3 + 20352*x2*x3^3 + 53229*x3^4 + 15769*x1^3*x4 + 41264*x1^2*x2*x4 + 64420*x1*x2^2*x4 + 28864*x2^3*x4 + 9927*x1^2*x3*x4 + 43659*x1*x2*x3*x4 + 51747*x2^2*x3*x4 + 63206*x1*x3^2*x4 + 16136*x2*x3^2*x4 + 40425*x3^3*x4 + 8271*x1^2*x4^2 + 58128*x1*x2*x4^2 + 27981*x2^2*x4^2 + 42486*x1*x3*x4^2 + 65508*x2*x3*x4^2 + 34729*x3^2*x4^2 + 11665*x1*x4^3 + 62553*x2*x4^3 + 19035*x3*x4^3 + 53195*x4^4 + 23753*x1^3*x5 + 42861*x1^2*x2*x5 + 1162*x1*x2^2*x5 + 36890*x2^3*x5 + 48296*x1^2*x3*x5 + 39342*x1*x2*x3*x5 + 35536*x2^2*x3*x5 + 8914*x1*x3^2*x5 + 46230*x2*x3^2*x5 + 3986*x3^3*x5 + 43877*x1^2*x4*x5 + 39402*x1*x2*x4*x5 + 18283*x2^2*x4*x5 + 56744*x1*x3*x4*x5 + 24516*x2*x3*x4*x5 + 61984*x3^2*x4*x5 + 25938*x1*x4^2*x5 + 7439*x2*x4^2*x5 + 61492*x3*x4^2*x5 + 23291*x4^3*x5 + 62181*x1^2*x5^2 + 37489*x1*x2*x5^2 + 39070*x2^2*x5^2 + 4702*x1*x3*x5^2 + 37492*x2*x3*x5^2 + 25603*x3^2*x5^2 + 24871*x1*x4*x5^2 + 7169*x2*x4*x5^2 + 679*x3*x4*x5^2 + 53169*x4^2*x5^2 + 36262*x1*x5^3 + 46596*x2*x5^3 + 44239*x3*x5^3 + 63503*x4*x5^3 + 13665*x5^4 + 47077*x1^3*x6 + 7468*x1^2*x2*x6 + 63925*x1*x2^2*x6 + 30535*x2^3*x6 + 35922*x1^2*x3*x6 + 7246*x1*x2*x3*x6 + 13837*x2^2*x3*x6 + 10880*x1*x3^2*x6 + 21290*x2*x3^2*x6 + 57789*x3^3*x6 + 17822*x1^2*x4*x6 + 60090*x1*x2*x4*x6 + 14449*x2^2*x4*x6 + 5272*x1*x3*x4*x6 + 59847*x2*x3*x4*x6 + 56417*x3^2*x4*x6 + 1111*x1*x4^2*x6 + 58944*x2*x4^2*x6 + 19268*x3*x4^2*x6 + 41827*x4^3*x6 + 44390*x1^2*x5*x6 + 60731*x1*x2*x5*x6 + 9179*x2^2*x5*x6 + 12638*x1*x3*x5*x6 + 19599*x2*x3*x5*x6 + 62219*x3^2*x5*x6 + 8577*x1*x4*x5*x6 + 40306*x2*x4*x5*x6 + 35705*x3*x4*x5*x6 + 34786*x4^2*x5*x6 + 42851*x1*x5^2*x6 + 30021*x2*x5^2*x6 + 36481*x3*x5^2*x6 + 50627*x4*x5^2*x6 + 2178*x5^3*x6 + 21070*x1^2*x6^2 + 64224*x1*x2*x6^2 + 19137*x2^2*x6^2 + 43083*x1*x3*x6^2 + 23067*x2*x3*x6^2 + 48689*x3^2*x6^2 + 44953*x1*x4*x6^2 + 19320*x2*x4*x6^2 + 22984*x3*x4*x6^2 + 33994*x4^2*x6^2 + 51882*x1*x5*x6^2 + 17064*x2*x5*x6^2 + 56865*x3*x5*x6^2 + 44257*x4*x5*x6^2 + 13494*x5^2*x6^2 + 26552*x1*x6^3 + 45608*x2*x6^3 + 28219*x3*x6^3 + 46887*x4*x6^3 + 59786*x5*x6^3 + 16539*x6^4 + 18453*x1^2*x7 + 7381*x1*x2*x7 + 18991*x2^2*x7 + 62375*x1*x3*x7 + 47247*x2*x3*x7 + 40786*x3^2*x7 + 12541*x1*x4*x7 + 42610*x2*x4*x7 + 30055*x3*x4*x7 + 33791*x4^2*x7 + 35323*x1*x5*x7 + 51660*x2*x5*x7 + 26500*x3*x5*x7 + 3183*x4*x5*x7 + 23749*x5^2*x7 + 12321*x1*x6*x7 + 19505*x2*x6*x7 + 62047*x3*x6*x7 + 1481*x4*x6*x7 + 26289*x5*x6*x7 + 24651*x6^2*x7 + 58973*x7^2 + 34515*x1^2*x8 + 14295*x1*x2*x8 + 28005*x2^2*x8 + 24712*x1*x3*x8 + 52911*x2*x3*x8 + 27143*x3^2*x8 + 6427*x1*x4*x8 + 64668*x2*x4*x8 + 58026*x3*x4*x8 + 62422*x4^2*x8 + 25073*x1*x5*x8 + 31186*x2*x5*x8 + 9423*x3*x5*x8 + 46321*x4*x5*x8 + 20490*x5^2*x8 + 15034*x1*x6*x8 + 12241*x2*x6*x8 + 28606*x3*x6*x8 + 21052*x4*x6*x8 + 45614*x5*x6*x8 + 12840*x6^2*x8 + 28618*x7*x8 + 59885*x8^2 + 10900*x1^2*x9 + 36678*x1*x2*x9 + 11429*x2^2*x9 + 43479*x1*x3*x9 + 7606*x2*x3*x9 + 13428*x3^2*x9 + 36179*x1*x4*x9 + 61877*x2*x4*x9 + 60818*x3*x4*x9 + 54234*x4^2*x9 + 44993*x1*x5*x9 + 16547*x2*x5*x9 + 25111*x3*x5*x9 + 41825*x4*x5*x9 + 3633*x5^2*x9 + 36840*x1*x6*x9 + 9662*x2*x6*x9 + 10284*x3*x6*x9 + 17361*x4*x6*x9 + 36249*x5*x6*x9 + 49498*x6^2*x9 + 51399*x7*x9 + 40260*x8*x9 + 11191*x9^2 + 15235*x1^2*x10 + 57329*x1*x2*x10 + 1538*x2^2*x10 + 49203*x1*x3*x10 + 45060*x2*x3*x10 + 48314*x3^2*x10 + 40816*x1*x4*x10 + 17113*x2*x4*x10 + 36534*x3*x4*x10 + 48896*x4^2*x10 + 9680*x1*x5*x10 + 6510*x2*x5*x10 + 18792*x3*x5*x10 + 2333*x4*x5*x10 + 2330*x5^2*x10 + 62799*x1*x6*x10 + 14461*x2*x6*x10 + 21731*x3*x6*x10 + 38591*x4*x6*x10 + 50107*x5*x6*x10 + 37770*x6^2*x10 + 24613*x7*x10 + 11894*x8*x10 + 17420*x9*x10 + 16232*x10^2 + 42247*x1^2*x11 + 56378*x1*x2*x11 + 22262*x2^2*x11 + 17941*x1*x3*x11 + 45361*x2*x3*x11 + 24643*x3^2*x11 + 30955*x1*x4*x11 + 8106*x2*x4*x11 + 4218*x3*x4*x11 + 15841*x4^2*x11 + 65369*x1*x5*x11 + 2890*x2*x5*x11 + 48590*x3*x5*x11 + 50042*x4*x5*x11 + 17786*x5^2*x11 + 36083*x1*x6*x11 + 14296*x2*x6*x11 + 60509*x3*x6*x11 + 8558*x4*x6*x11 + 53421*x5*x6*x11 + 44556*x6^2*x11 + 60052*x7*x11 + 15570*x8*x11 + 33454*x9*x11 + 22687*x10*x11 + 22456*x11^2 + 9516*x1^3 + 54337*x1^2*x2 + 13714*x1*x2^2 + 34233*x2^3 + 61969*x1^2*x3 + 35870*x1*x2*x3 + 25389*x2^2*x3 + 2921*x1*x3^2 + 50865*x2*x3^2 + 22495*x3^3 + 18632*x1^2*x4 + 47125*x1*x2*x4 + 21277*x2^2*x4 + 41813*x1*x3*x4 + 29413*x2*x3*x4 + 44916*x3^2*x4 + 26053*x1*x4^2 + 32167*x2*x4^2 + 9664*x3*x4^2 + 28991*x4^3 + 45557*x1^2*x5 + 13585*x1*x2*x5 + 50817*x2^2*x5 + 21795*x1*x3*x5 + 50341*x2*x3*x5 + 6282*x3^2*x5 + 34049*x1*x4*x5 + 53678*x2*x4*x5 + 4964*x3*x4*x5 + 52761*x4^2*x5 + 12693*x1*x5^2 + 6742*x2*x5^2 + 38468*x3*x5^2 + 18676*x4*x5^2 + 6371*x5^3 + 30269*x1^2*x6 + 25600*x1*x2*x6 + 28232*x2^2*x6 + 23198*x1*x3*x6 + 18132*x2*x3*x6 + 33747*x3^2*x6 + 50303*x1*x4*x6 + 59804*x2*x4*x6 + 15610*x3*x4*x6 + 16540*x4^2*x6 + 40451*x1*x5*x6 + 14469*x2*x5*x6 + 20913*x3*x5*x6 + 4563*x4*x5*x6 + 3170*x5^2*x6 + 41216*x1*x6^2 + 16502*x2*x6^2 + 18704*x3*x6^2 + 3147*x4*x6^2 + 44545*x5*x6^2 + 49592*x6^3 + 9278*x1*x7 + 14569*x2*x7 + 41884*x3*x7 + 54923*x4*x7 + 28714*x5*x7 + 2491*x6*x7 + 56576*x1*x8 + 37941*x2*x8 + 21347*x3*x8 + 10977*x4*x8 + 5389*x5*x8 + 17229*x6*x8 + 39569*x1*x9 + 57985*x2*x9 + 30642*x3*x9 + 17092*x4*x9 + 29091*x5*x9 + 38017*x6*x9 + 47926*x1*x10 + 52443*x2*x10 + 9063*x3*x10 + 51649*x4*x10 + 30877*x5*x10 + 31978*x6*x10 + 5523*x1*x11 + 50173*x2*x11 + 53184*x3*x11 + 46377*x4*x11 + 16589*x5*x11 + 24577*x6*x11 + 37268*x1^2 + 32448*x1*x2 + 36949*x2^2 + 26382*x1*x3 + 49671*x2*x3 + 43476*x3^2 + 14415*x1*x4 + 62191*x2*x4 + 19820*x3*x4 + 62634*x4^2 + 27515*x1*x5 + 36193*x2*x5 + 24536*x3*x5 + 32031*x4*x5 + 28872*x5^2 + 2490*x1*x6 + 2107*x2*x6 + 56794*x3*x6 + 42939*x4*x6 + 31951*x5*x6 + 65061*x6^2 + 52602*x7 + 41282*x8 + 13041*x9 + 3588*x10 + 60553*x11 + 29616*x1 + 17895*x2 + 4447*x3 + 3762*x4 + 60630*x5 + 17623*x6 + 33244,
12976*x1^4 + 62711*x1^3*x2 + 45729*x1^2*x2^2 + 24170*x1*x2^3 + 63172*x2^4 + 55994*x1^3*x3 + 47576*x1^2*x2*x3 + 62780*x1*x2^2*x3 + 25152*x2^3*x3 + 34870*x1^2*x3^2 + 15827*x1*x2*x3^2 + 24116*x2^2*x3^2 + 22427*x1*x3^3 + 38775*x2*x3^3 + 49424*x3^4 + 51429*x1^3*x4 + 51505*x1^2*x2*x4 + 28692*x1*x2^2*x4 + 23162*x2^3*x4 + 22485*x1^2*x3*x4 + 31687*x1*x2*x3*x4 + 27315*x2^2*x3*x4 + 21148*x1*x3^2*x4 + 40847*x2*x3^2*x4 + 64897*x3^3*x4 + 63963*x1^2*x4^2 + 60850*x1*x2*x4^2 + 16594*x2^2*x4^2 + 42034*x1*x3*x4^2 + 11265*x2*x3*x4^2 + 37884*x3^2*x4^2 + 11416*x1*x4^3 + 61261*x2*x4^3 + 16027*x3*x4^3 + 12842*x4^4 + 2965*x1^3*x5 + 12018*x1^2*x2*x5 + 19111*x1*x2^2*x5 + 43325*x2^3*x5 + 62894*x1^2*x3*x5 + 2523*x1*x2*x3*x5 + 39000*x2^2*x3*x5 + 25867*x1*x3^2*x5 + 54888*x2*x3^2*x5 + 53227*x3^3*x5 + 46715*x1^2*x4*x5 + 57210*x1*x2*x4*x5 + 21942*x2^2*x4*x5 + 44129*x1*x3*x4*x5 + 494*x2*x3*x4*x5 + 33356*x3^2*x4*x5 + 53123*x1*x4^2*x5 + 29661*x2*x4^2*x5 + 6062*x3*x4^2*x5 + 49892*x4^3*x5 + 35926*x1^2*x5^2 + 48521*x1*x2*x5^2 + 10368*x2^2*x5^2 + 10271*x1*x3*x5^2 + 10122*x2*x3*x5^2 + 24516*x3^2*x5^2 + 63365*x1*x4*x5^2 + 34034*x2*x4*x5^2 + 44481*x3*x4*x5^2 + 2773*x4^2*x5^2 + 7663*x1*x5^3 + 51970*x2*x5^3 + 6823*x3*x5^3 + 24040*x4*x5^3 + 14002*x5^4 + 7222*x1^3*x6 + 55615*x1^2*x2*x6 + 6832*x1*x2^2*x6 + 10310*x2^3*x6 + 60584*x1^2*x3*x6 + 33825*x1*x2*x3*x6 + 3770*x2^2*x3*x6 + 38410*x1*x3^2*x6 + 46082*x2*x3^2*x6 + 48071*x3^3*x6 + 10027*x1^2*x4*x6 + 53870*x1*x2*x4*x6 + 47977*x2^2*x4*x6 + 24875*x1*x3*x4*x6 + 16007*x2*x3*x4*x6 + 42366*x3^2*x4*x6 + 42079*x1*x4^2*x6 + 9783*x2*x4^2*x6 + 36560*x3*x4^2*x6 + 61052*x4^3*x6 + 13804*x1^2*x5*x6 + 61358*x1*x2*x5*x6 + 1127*x2^2*x5*x6 + 50297*x1*x3*x5*x6 + 55440*x2*x3*x5*x6 + 53225*x3^2*x5*x6 + 50393*x1*x4*x5*x6 + 42483*x2*x4*x5*x6 + 21342*x3*x4*x5*x6 + 6729*x4^2*x5*x6 + 8715*x1*x5^2*x6 + 52356*x2*x5^2*x6 + 43493*x3*x5^2*x6 + 53877*x4*x5^2*x6 + 65206*x5^3*x6 + 56843*x1^2*x6^2 + 1569*x1*x2*x6^2 + 48712*x2^2*x6^2 + 46003*x1*x3*x6^2 + 47117*x2*x3*x6^2 + 32021*x3^2*x6^2 + 48873*x1*x4*x6^2 + 7733*x2*x4*x6^2 + 44792*x3*x4*x6^2 + 59294*x4^2*x6^2 + 38075*x1*x5*x6^2 + 50308*x2*x5*x6^2 + 1724*x3*x5*x6^2 + 62807*x4*x5*x6^2 + 12764*x5^2*x6^2 + 14832*x1*x6^3 + 7358*x2*x6^3 + 64083*x3*x6^3 + 1642*x4*x6^3 + 28476*x5*x6^3 + 20103*x6^4 + 28332*x1^2*x7 + 52738*x1*x2*x7 + 36588*x2^2*x7 + 8723*x1*x3*x7 + 48622*x2*x3*x7 + 6241*x3^2*x7 + 11387*x1*x4*x7 + 44602*x2*x4*x7 + 9780*x3*x4*x7 + 1124*x4^2*x7 + 17463*x1*x5*x7 + 26878*x2*x5*x7 + 17470*x3*x5*x7 + 34383*x4*x5*x7 + 21344*x5^2*x7 + 44086*x1*x6*x7 + 24324*x2*x6*x7 + 10471*x3*x6*x7 + 5135*x4*x6*x7 + 54755*x5*x6*x7 + 54743*x6^2*x7 + 11711*x7^2 + 6317*x1^2*x8 + 48226*x1*x2*x8 + 7515*x2^2*x8 + 42452*x1*x3*x8 + 15449*x2*x3*x8 + 35817*x3^2*x8 + 45386*x1*x4*x8 + 5924*x2*x4*x8 + 65221*x3*x4*x8 + 57466*x4^2*x8 + 13932*x1*x5*x8 + 27880*x2*x5*x8 + 57456*x3*x5*x8 + 59096*x4*x5*x8 + 32213*x5^2*x8 + 49954*x1*x6*x8 + 57277*x2*x6*x8 + 43509*x3*x6*x8 + 34544*x4*x6*x8 + 40096*x5*x6*x8 + 20703*x6^2*x8 + 30819*x7*x8 + 48533*x8^2 + 4741*x1^2*x9 + 51034*x1*x2*x9 + 1865*x2^2*x9 + 11868*x1*x3*x9 + 14390*x2*x3*x9 + 34587*x3^2*x9 + 29736*x1*x4*x9 + 1222*x2*x4*x9 + 49324*x3*x4*x9 + 50485*x4^2*x9 + 21624*x1*x5*x9 + 25202*x2*x5*x9 + 24214*x3*x5*x9 + 130*x4*x5*x9 + 17285*x5^2*x9 + 10847*x1*x6*x9 + 39420*x2*x6*x9 + 18581*x3*x6*x9 + 3488*x4*x6*x9 + 40191*x5*x6*x9 + 32072*x6^2*x9 + 50172*x7*x9 + 50293*x8*x9 + 22040*x9^2 + 29438*x1^2*x10 + 62991*x1*x2*x10 + 24588*x2^2*x10 + 64232*x1*x3*x10 + 8706*x2*x3*x10 + 38313*x3^2*x10 + 17564*x1*x4*x10 + 46644*x2*x4*x10 + 58832*x3*x4*x10 + 26669*x4^2*x10 + 58825*x1*x5*x10 + 62526*x2*x5*x10 + 50359*x3*x5*x10 + 50877*x4*x5*x10 + 32466*x5^2*x10 + 46270*x1*x6*x10 + 15603*x2*x6*x10 + 16908*x3*x6*x10 + 27823*x4*x6*x10 + 62743*x5*x6*x10 + 54276*x6^2*x10 + 45852*x7*x10 + 39300*x8*x10 + 17626*x9*x10 + 3578*x10^2 + 57303*x1^2*x11 + 24860*x1*x2*x11 + 51638*x2^2*x11 + 33176*x1*x3*x11 + 45942*x2*x3*x11 + 45224*x3^2*x11 + 33241*x1*x4*x11 + 20229*x2*x4*x11 + 32553*x3*x4*x11 + 65016*x4^2*x11 + 9302*x1*x5*x11 + 54926*x2*x5*x11 + 36039*x3*x5*x11 + 37310*x4*x5*x11 + 49441*x5^2*x11 + 57698*x1*x6*x11 + 18322*x2*x6*x11 + 35508*x3*x6*x11 + 5151*x4*x6*x11 + 63768*x5*x6*x11 + 35039*x6^2*x11 + 35145*x7*x11 + 19882*x8*x11 + 10216*x9*x11 + 27927*x10*x11 + 20118*x11^2 + 21428*x1^3 + 39408*x1^2*x2 + 16743*x1*x2^2 + 29481*x2^3 + 24477*x1^2*x3 + 47132*x1*x2*x3 + 28293*x2^2*x3 + 47824*x1*x3^2 + 28378*x2*x3^2 + 60640*x3^3 + 43490*x1^2*x4 + 55698*x1*x2*x4 + 45428*x2^2*x4 + 56559*x1*x3*x4 + 7779*x2*x3*x4 + 49138*x3^2*x4 + 51513*x1*x4^2 + 57364*x2*x4^2 + 59110*x3*x4^2 + 40858*x4^3 + 19363*x1^2*x5 + 12509*x1*x2*x5 + 54697*x2^2*x5 + 11456*x1*x3*x5 + 54432*x2*x3*x5 + 7016*x3^2*x5 + 51178*x1*x4*x5 + 5691*x2*x4*x5 + 63644*x3*x4*x5 + 34988*x4^2*x5 + 48890*x1*x5^2 + 14797*x2*x5^2 + 41104*x3*x5^2 + 59769*x4*x5^2 + 44751*x5^3 + 57195*x1^2*x6 + 6368*x1*x2*x6 + 53189*x2^2*x6 + 6177*x1*x3*x6 + 12513*x2*x3*x6 + 44640*x3^2*x6 + 55354*x1*x4*x6 + 18628*x2*x4*x6 + 5634*x3*x4*x6 + 10676*x4^2*x6 + 11617*x1*x5*x6 + 64865*x2*x5*x6 + 36196*x3*x5*x6 + 57212*x4*x5*x6 + 32141*x5^2*x6 + 39619*x1*x6^2 + 10256*x2*x6^2 + 29485*x3*x6^2 + 64291*x4*x6^2 + 31724*x5*x6^2 + 44371*x6^3 + 22119*x1*x7 + 27027*x2*x7 + 61727*x3*x7 + 46982*x4*x7 + 58469*x5*x7 + 40989*x6*x7 + 20804*x1*x8 + 50758*x2*x8 + 5176*x3*x8 + 960*x4*x8 + 18935*x5*x8 + 64731*x6*x8 + 19510*x1*x9 + 25014*x2*x9 + 48378*x3*x9 + 53781*x4*x9 + 46507*x5*x9 + 42318*x6*x9 + 57813*x1*x10 + 52383*x2*x10 + 26147*x3*x10 + 23487*x4*x10 + 38583*x5*x10 + 6506*x6*x10 + 45475*x1*x11 + 33445*x2*x11 + 22065*x3*x11 + 26402*x4*x11 + 2552*x5*x11 + 14445*x6*x11 + 45201*x1^2 + 27704*x1*x2 + 33753*x2^2 + 1225*x1*x3 + 53861*x2*x3 + 39958*x3^2 + 16558*x1*x4 + 2336*x2*x4 + 24075*x3*x4 + 46656*x4^2 + 4314*x1*x5 + 52312*x2*x5 + 17828*x3*x5 + 40617*x4*x5 + 58722*x5^2 + 19615*x1*x6 + 26896*x2*x6 + 20230*x3*x6 + 46973*x4*x6 + 21337*x5*x6 + 5264*x6^2 + 4822*x7 + 4783*x8 + 24173*x9 + 51756*x10 + 55337*x11 + 47023*x1 + 39290*x2 + 25302*x3 + 14351*x4 + 10117*x5 + 54858*x6 + 63474,
4676*x1^4 + 63600*x1^3*x2 + 41197*x1^2*x2^2 + 45897*x1*x2^3 + 35399*x2^4 + 24208*x1^3*x3 + 23831*x1^2*x2*x3 + 29038*x1*x2^2*x3 + 9398*x2^3*x3 + 21194*x1^2*x3^2 + 45839*x1*x2*x3^2 + 13277*x2^2*x3^2 + 35006*x1*x3^3 + 28971*x2*x3^3 + 26792*x3^4 + 46159*x1^3*x4 + 48415*x1^2*x2*x4 + 16562*x1*x2^2*x4 + 34887*x2^3*x4 + 56462*x1^2*x3*x4 + 36169*x1*x2*x3*x4 + 28382*x2^2*x3*x4 + 24551*x1*x3^2*x4 + 23296*x2*x3^2*x4 + 49693*x3^3*x4 + 52838*x1^2*x4^2 + 48514*x1*x2*x4^2 + 55416*x2^2*x4^2 + 17222*x1*x3*x4^2 + 55089*x2*x3*x4^2 + 4664*x3^2*x4^2 + 3164*x1*x4^3 + 39498*x2*x4^3 + 52496*x3*x4^3 + 12199*x4^4 + 47751*x1^3*x5 + 21571*x1^2*x2*x5 + 27268*x1*x2^2*x5 + 44580*x2^3*x5 + 22637*x1^2*x3*x5 + 20888*x1*x2*x3*x5 + 9404*x2^2*x3*x5 + 21329*x1*x3^2*x5 + 39363*x2*x3^2*x5 + 1908*x3^3*x5 + 15920*x1^2*x4*x5 + 42559*x1*x2*x4*x5 + 65421*x2^2*x4*x5 + 62655*x1*x3*x4*x5 + 26788*x2*x3*x4*x5 + 42717*x3^2*x4*x5 + 41261*x1*x4^2*x5 + 4104*x2*x4^2*x5 + 54536*x3*x4^2*x5 + 51267*x4^3*x5 + 22170*x1^2*x5^2 + 37852*x1*x2*x5^2 + 56363*x2^2*x5^2 + 31899*x1*x3*x5^2 + 12610*x2*x3*x5^2 + 34018*x3^2*x5^2 + 9184*x1*x4*x5^2 + 26360*x2*x4*x5^2 + 61375*x3*x4*x5^2 + 43409*x4^2*x5^2 + 49951*x1*x5^3 + 56000*x2*x5^3 + 35890*x3*x5^3 + 25875*x4*x5^3 + 61857*x5^4 + 49178*x1^3*x6 + 57868*x1^2*x2*x6 + 14772*x1*x2^2*x6 + 16195*x2^3*x6 + 46835*x1^2*x3*x6 + 23169*x1*x2*x3*x6 + 54147*x2^2*x3*x6 + 14536*x1*x3^2*x6 + 19567*x2*x3^2*x6 + 59283*x3^3*x6 + 39145*x1^2*x4*x6 + 36813*x1*x2*x4*x6 + 35154*x2^2*x4*x6 + 34732*x1*x3*x4*x6 + 47554*x2*x3*x4*x6 + 40713*x3^2*x4*x6 + 16353*x1*x4^2*x6 + 5576*x2*x4^2*x6 + 15790*x3*x4^2*x6 + 28895*x4^3*x6 + 2030*x1^2*x5*x6 + 8835*x1*x2*x5*x6 + 57199*x2^2*x5*x6 + 6053*x1*x3*x5*x6 + 49074*x2*x3*x5*x6 + 62055*x3^2*x5*x6 + 34011*x1*x4*x5*x6 + 64334*x2*x4*x5*x6 + 30298*x3*x4*x5*x6 + 853*x4^2*x5*x6 + 2236*x1*x5^2*x6 + 22517*x2*x5^2*x6 + 8512*x3*x5^2*x6 + 53820*x4*x5^2*x6 + 26121*x5^3*x6 + 6821*x1^2*x6^2 + 20629*x1*x2*x6^2 + 50204*x2^2*x6^2 + 1040*x1*x3*x6^2 + 36964*x2*x3*x6^2 + 22880*x3^2*x6^2 + 1605*x1*x4*x6^2 + 24195*x2*x4*x6^2 + 4665*x3*x4*x6^2 + 41391*x4^2*x6^2 + 59497*x1*x5*x6^2 + 55456*x2*x5*x6^2 + 19678*x3*x5*x6^2 + 52829*x4*x5*x6^2 + 55598*x5^2*x6^2 + 60248*x1*x6^3 + 48202*x2*x6^3 + 43001*x3*x6^3 + 9543*x4*x6^3 + 56789*x5*x6^3 + 49729*x6^4 + 48166*x1^2*x7 + 38225*x1*x2*x7 + 33542*x2^2*x7 + 64053*x1*x3*x7 + 50213*x2*x3*x7 + 33839*x3^2*x7 + 51513*x1*x4*x7 + 15937*x2*x4*x7 + 24932*x3*x4*x7 + 2571*x4^2*x7 + 59055*x1*x5*x7 + 17981*x2*x5*x7 + 30724*x3*x5*x7 + 52333*x4*x5*x7 + 23645*x5^2*x7 + 9317*x1*x6*x7 + 55005*x2*x6*x7 + 4161*x3*x6*x7 + 48617*x4*x6*x7 + 55860*x5*x6*x7 + 61229*x6^2*x7 + 53918*x7^2 + 5098*x1^2*x8 + 28880*x1*x2*x8 + 37835*x2^2*x8 + 61612*x1*x3*x8 + 17263*x2*x3*x8 + 29649*x3^2*x8 + 20735*x1*x4*x8 + 54665*x2*x4*x8 + 37699*x3*x4*x8 + 36150*x4^2*x8 + 40494*x1*x5*x8 + 47988*x2*x5*x8 + 41373*x3*x5*x8 + 52539*x4*x5*x8 + 12508*x5^2*x8 + 35671*x1*x6*x8 + 8339*x2*x6*x8 + 45869*x3*x6*x8 + 33859*x4*x6*x8 + 20480*x5*x6*x8 + 21147*x6^2*x8 + 34220*x7*x8 + 65163*x8^2 + 48931*x1^2*x9 + 16052*x1*x2*x9 + 62714*x2^2*x9 + 12861*x1*x3*x9 + 53658*x2*x3*x9 + 65232*x3^2*x9 + 3427*x1*x4*x9 + 34579*x2*x4*x9 + 42605*x3*x4*x9 + 63300*x4^2*x9 + 52584*x1*x5*x9 + 53881*x2*x5*x9 + 23008*x3*x5*x9 + 54335*x4*x5*x9 + 51653*x5^2*x9 + 1971*x1*x6*x9 + 55904*x2*x6*x9 + 42929*x3*x6*x9 + 3746*x4*x6*x9 + 14947*x5*x6*x9 + 29440*x6^2*x9 + 7119*x7*x9 + 46729*x8*x9 + 12525*x9^2 + 27947*x1^2*x10 + 46442*x1*x2*x10 + 46127*x2^2*x10 + 35828*x1*x3*x10 + 52925*x2*x3*x10 + 40681*x3^2*x10 + 11653*x1*x4*x10 + 34112*x2*x4*x10 + 53667*x3*x4*x10 + 55946*x4^2*x10 + 45632*x1*x5*x10 + 31481*x2*x5*x10 + 43790*x3*x5*x10 + 16582*x4*x5*x10 + 13255*x5^2*x10 + 2500*x1*x6*x10 + 51354*x2*x6*x10 + 62100*x3*x6*x10 + 22649*x4*x6*x10 + 43817*x5*x6*x10 + 28229*x6^2*x10 + 29762*x7*x10 + 37057*x8*x10 + 64207*x9*x10 + 62113*x10^2 + 40976*x1^2*x11 + 15273*x1*x2*x11 + 10179*x2^2*x11 + 37550*x1*x3*x11 + 29505*x2*x3*x11 + 57033*x3^2*x11 + 47042*x1*x4*x11 + 31470*x2*x4*x11 + 20742*x3*x4*x11 + 52377*x4^2*x11 + 8493*x1*x5*x11 + 46648*x2*x5*x11 + 20310*x3*x5*x11 + 48591*x4*x5*x11 + 51612*x5^2*x11 + 44439*x1*x6*x11 + 62954*x2*x6*x11 + 50303*x3*x6*x11 + 57880*x4*x6*x11 + 35853*x5*x6*x11 + 25254*x6^2*x11 + 44979*x7*x11 + 3229*x8*x11 + 55209*x9*x11 + 47878*x10*x11 + 64949*x11^2 + 42190*x1^3 + 10396*x1^2*x2 + 30235*x1*x2^2 + 7769*x2^3 + 23770*x1^2*x3 + 62119*x1*x2*x3 + 13223*x2^2*x3 + 41775*x1*x3^2 + 44941*x2*x3^2 + 11148*x3^3 + 10783*x1^2*x4 + 19482*x1*x2*x4 + 52916*x2^2*x4 + 5922*x1*x3*x4 + 57396*x2*x3*x4 + 64919*x3^2*x4 + 30042*x1*x4^2 + 40536*x2*x4^2 + 48451*x3*x4^2 + 62767*x4^3 + 62313*x1^2*x5 + 310*x1*x2*x5 + 52489*x2^2*x5 + 20007*x1*x3*x5 + 6360*x2*x3*x5 + 29101*x3^2*x5 + 60612*x1*x4*x5 + 32253*x2*x4*x5 + 63865*x3*x4*x5 + 48581*x4^2*x5 + 51339*x1*x5^2 + 32216*x2*x5^2 + 24088*x3*x5^2 + 57461*x4*x5^2 + 18564*x5^3 + 63705*x1^2*x6 + 37845*x1*x2*x6 + 16965*x2^2*x6 + 44637*x1*x3*x6 + 4807*x2*x3*x6 + 1709*x3^2*x6 + 1314*x1*x4*x6 + 25620*x2*x4*x6 + 33767*x3*x4*x6 + 34412*x4^2*x6 + 18385*x1*x5*x6 + 53281*x2*x5*x6 + 19322*x3*x5*x6 + 63112*x4*x5*x6 + 32286*x5^2*x6 + 22233*x1*x6^2 + 38378*x2*x6^2 + 28560*x3*x6^2 + 6110*x4*x6^2 + 58559*x5*x6^2 + 17465*x6^3 + 15421*x1*x7 + 14337*x2*x7 + 34108*x3*x7 + 53627*x4*x7 + 60574*x5*x7 + 46816*x6*x7 + 33873*x1*x8 + 45021*x2*x8 + 8270*x3*x8 + 40435*x4*x8 + 64627*x5*x8 + 50821*x6*x8 + 5497*x1*x9 + 61402*x2*x9 + 39756*x3*x9 + 6522*x4*x9 + 54474*x5*x9 + 63327*x6*x9 + 21841*x1*x10 + 46837*x2*x10 + 18258*x3*x10 + 51177*x4*x10 + 64657*x5*x10 + 31429*x6*x10 + 15905*x1*x11 + 23614*x2*x11 + 55161*x3*x11 + 11464*x4*x11 + 26928*x5*x11 + 58066*x6*x11 + 65367*x1^2 + 7643*x1*x2 + 37624*x2^2 + 2897*x1*x3 + 59080*x2*x3 + 18379*x3^2 + 8342*x1*x4 + 33973*x2*x4 + 41080*x3*x4 + 27591*x4^2 + 9115*x1*x5 + 37078*x2*x5 + 39074*x3*x5 + 27423*x4*x5 + 23223*x5^2 + 6826*x1*x6 + 15098*x2*x6 + 61237*x3*x6 + 18733*x4*x6 + 39959*x5*x6 + 53718*x6^2 + 5086*x7 + 43287*x8 + 1691*x9 + 4201*x10 + 59358*x11 + 33308*x1 + 55075*x2 + 1542*x3 + 50039*x4 + 48086*x5 + 63713*x6 + 63360
]
: