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

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

#list

[
16533*x1^4 + 6672*x1^3*x2 + 17160*x1^2*x2^2 + 17822*x1*x2^3 + 20312*x2^4 + 40021*x1^3*x3 + 37186*x1^2*x2*x3 + 11711*x1*x2^2*x3 + 31531*x2^3*x3 + 5904*x1^2*x3^2 + 10596*x1*x2*x3^2 + 43726*x2^2*x3^2 + 60556*x1*x3^3 + 27616*x2*x3^3 + 46121*x3^4 + 63449*x1^3*x4 + 5733*x1^2*x2*x4 + 4130*x1*x2^2*x4 + 61033*x2^3*x4 + 37724*x1^2*x3*x4 + 23404*x1*x2*x3*x4 + 29297*x2^2*x3*x4 + 49403*x1*x3^2*x4 + 33323*x2*x3^2*x4 + 8727*x3^3*x4 + 20171*x1^2*x4^2 + 27578*x1*x2*x4^2 + 55204*x2^2*x4^2 + 16729*x1*x3*x4^2 + 59943*x2*x3*x4^2 + 54482*x3^2*x4^2 + 1495*x1*x4^3 + 29712*x2*x4^3 + 46221*x3*x4^3 + 27239*x4^4 + 31833*x1^3*x5 + 56060*x1^2*x2*x5 + 22824*x1*x2^2*x5 + 23918*x2^3*x5 + 34746*x1^2*x3*x5 + 3464*x1*x2*x3*x5 + 2054*x2^2*x3*x5 + 62409*x1*x3^2*x5 + 56953*x2*x3^2*x5 + 27557*x3^3*x5 + 58970*x1^2*x4*x5 + 39432*x1*x2*x4*x5 + 19777*x2^2*x4*x5 + 21621*x1*x3*x4*x5 + 16650*x2*x3*x4*x5 + 26071*x3^2*x4*x5 + 14713*x1*x4^2*x5 + 23137*x2*x4^2*x5 + 50337*x3*x4^2*x5 + 29921*x4^3*x5 + 62201*x1^2*x5^2 + 43329*x1*x2*x5^2 + 56101*x2^2*x5^2 + 51553*x1*x3*x5^2 + 17962*x2*x3*x5^2 + 54432*x3^2*x5^2 + 15879*x1*x4*x5^2 + 8809*x2*x4*x5^2 + 46977*x3*x4*x5^2 + 11156*x4^2*x5^2 + 40419*x1*x5^3 + 29005*x2*x5^3 + 10135*x3*x5^3 + 24246*x4*x5^3 + 40131*x5^4 + 29772*x1^3*x6 + 57269*x1^2*x2*x6 + 59142*x1*x2^2*x6 + 190*x2^3*x6 + 51784*x1^2*x3*x6 + 8336*x1*x2*x3*x6 + 57700*x2^2*x3*x6 + 12086*x1*x3^2*x6 + 13056*x2*x3^2*x6 + 44991*x3^3*x6 + 45512*x1^2*x4*x6 + 55646*x1*x2*x4*x6 + 43153*x2^2*x4*x6 + 2842*x1*x3*x4*x6 + 48499*x2*x3*x4*x6 + 13205*x3^2*x4*x6 + 40949*x1*x4^2*x6 + 62206*x2*x4^2*x6 + 2894*x3*x4^2*x6 + 19838*x4^3*x6 + 45978*x1^2*x5*x6 + 61466*x1*x2*x5*x6 + 62840*x2^2*x5*x6 + 29934*x1*x3*x5*x6 + 27306*x2*x3*x5*x6 + 43155*x3^2*x5*x6 + 4152*x1*x4*x5*x6 + 48202*x2*x4*x5*x6 + 23373*x3*x4*x5*x6 + 15761*x4^2*x5*x6 + 22323*x1*x5^2*x6 + 39871*x2*x5^2*x6 + 15136*x3*x5^2*x6 + 48864*x4*x5^2*x6 + 63144*x5^3*x6 + 27693*x1^2*x6^2 + 26398*x1*x2*x6^2 + 60379*x2^2*x6^2 + 54729*x1*x3*x6^2 + 58290*x2*x3*x6^2 + 31723*x3^2*x6^2 + 43187*x1*x4*x6^2 + 49763*x2*x4*x6^2 + 30214*x3*x4*x6^2 + 33514*x4^2*x6^2 + 5731*x1*x5*x6^2 + 17600*x2*x5*x6^2 + 44426*x3*x5*x6^2 + 37812*x4*x5*x6^2 + 61131*x5^2*x6^2 + 15682*x1*x6^3 + 12945*x2*x6^3 + 33120*x3*x6^3 + 62870*x4*x6^3 + 41964*x5*x6^3 + 40340*x6^4 + 49496*x1^2*x7 + 57525*x1*x2*x7 + 15631*x2^2*x7 + 60383*x1*x3*x7 + 16270*x2*x3*x7 + 29916*x3^2*x7 + 2609*x1*x4*x7 + 24160*x2*x4*x7 + 2368*x3*x4*x7 + 4154*x4^2*x7 + 6728*x1*x5*x7 + 8126*x2*x5*x7 + 43243*x3*x5*x7 + 13749*x4*x5*x7 + 59840*x5^2*x7 + 52285*x1*x6*x7 + 13391*x2*x6*x7 + 20099*x3*x6*x7 + 45998*x4*x6*x7 + 22261*x5*x6*x7 + 2229*x6^2*x7 + 23027*x7^2 + 33623*x1^2*x8 + 2666*x1*x2*x8 + 55636*x2^2*x8 + 1699*x1*x3*x8 + 20940*x2*x3*x8 + 62038*x3^2*x8 + 30476*x1*x4*x8 + 197*x2*x4*x8 + 26544*x3*x4*x8 + 12485*x4^2*x8 + 6833*x1*x5*x8 + 51958*x2*x5*x8 + 742*x3*x5*x8 + 60915*x4*x5*x8 + 28271*x5^2*x8 + 40999*x1*x6*x8 + 24414*x2*x6*x8 + 45484*x3*x6*x8 + 31587*x4*x6*x8 + 22479*x5*x6*x8 + 44641*x6^2*x8 + 49578*x7*x8 + 47984*x8^2 + 11846*x1^2*x9 + 17626*x1*x2*x9 + 46433*x2^2*x9 + 22544*x1*x3*x9 + 6774*x2*x3*x9 + 9303*x3^2*x9 + 10364*x1*x4*x9 + 11402*x2*x4*x9 + 59965*x3*x4*x9 + 3430*x4^2*x9 + 9739*x1*x5*x9 + 49632*x2*x5*x9 + 5344*x3*x5*x9 + 39302*x4*x5*x9 + 11450*x5^2*x9 + 43679*x1*x6*x9 + 60317*x2*x6*x9 + 12113*x3*x6*x9 + 60861*x4*x6*x9 + 41420*x5*x6*x9 + 48594*x6^2*x9 + 45887*x7*x9 + 36344*x8*x9 + 18990*x9^2 + 28501*x1^2*x10 + 6001*x1*x2*x10 + 26084*x2^2*x10 + 21882*x1*x3*x10 + 59600*x2*x3*x10 + 34615*x3^2*x10 + 7449*x1*x4*x10 + 45607*x2*x4*x10 + 6590*x3*x4*x10 + 40335*x4^2*x10 + 1286*x1*x5*x10 + 43420*x2*x5*x10 + 48837*x3*x5*x10 + 22388*x4*x5*x10 + 35166*x5^2*x10 + 5151*x1*x6*x10 + 51733*x2*x6*x10 + 34696*x3*x6*x10 + 32748*x4*x6*x10 + 49579*x5*x6*x10 + 34089*x6^2*x10 + 61870*x7*x10 + 45059*x8*x10 + 25181*x9*x10 + 10869*x10^2 + 50244*x1^2*x11 + 11448*x1*x2*x11 + 21530*x2^2*x11 + 37647*x1*x3*x11 + 46071*x2*x3*x11 + 49991*x3^2*x11 + 32883*x1*x4*x11 + 55463*x2*x4*x11 + 33243*x3*x4*x11 + 7974*x4^2*x11 + 1964*x1*x5*x11 + 60455*x2*x5*x11 + 43551*x3*x5*x11 + 37270*x4*x5*x11 + 29004*x5^2*x11 + 32147*x1*x6*x11 + 13246*x2*x6*x11 + 21580*x3*x6*x11 + 8407*x4*x6*x11 + 42535*x5*x6*x11 + 63993*x6^2*x11 + 24986*x7*x11 + 1391*x8*x11 + 28257*x9*x11 + 40462*x10*x11 + 40260*x11^2 + 44243*x1^2*x12 + 57805*x1*x2*x12 + 29428*x2^2*x12 + 53816*x1*x3*x12 + 30459*x2*x3*x12 + 36189*x3^2*x12 + 5651*x1*x4*x12 + 23061*x2*x4*x12 + 24415*x3*x4*x12 + 14061*x4^2*x12 + 10652*x1*x5*x12 + 61014*x2*x5*x12 + 22160*x3*x5*x12 + 28422*x4*x5*x12 + 13847*x5^2*x12 + 44812*x1*x6*x12 + 5999*x2*x6*x12 + 13109*x3*x6*x12 + 41376*x4*x6*x12 + 13824*x5*x6*x12 + 11088*x6^2*x12 + 45195*x7*x12 + 9354*x8*x12 + 15171*x9*x12 + 34069*x10*x12 + 16649*x11*x12 + 61732*x12^2 + 20803*x1^3 + 55934*x1^2*x2 + 53105*x1*x2^2 + 37564*x2^3 + 15024*x1^2*x3 + 24147*x1*x2*x3 + 24171*x2^2*x3 + 19012*x1*x3^2 + 42446*x2*x3^2 + 35083*x3^3 + 16333*x1^2*x4 + 55918*x1*x2*x4 + 29218*x2^2*x4 + 42138*x1*x3*x4 + 34354*x2*x3*x4 + 57631*x3^2*x4 + 13150*x1*x4^2 + 1590*x2*x4^2 + 41168*x3*x4^2 + 11921*x4^3 + 21687*x1^2*x5 + 34023*x1*x2*x5 + 20023*x2^2*x5 + 3191*x1*x3*x5 + 25443*x2*x3*x5 + 16255*x3^2*x5 + 19354*x1*x4*x5 + 34789*x2*x4*x5 + 62176*x3*x4*x5 + 49260*x4^2*x5 + 58688*x1*x5^2 + 32700*x2*x5^2 + 49895*x3*x5^2 + 47027*x4*x5^2 + 33835*x5^3 + 41101*x1^2*x6 + 23821*x1*x2*x6 + 1314*x2^2*x6 + 22269*x1*x3*x6 + 10317*x2*x3*x6 + 56930*x3^2*x6 + 9070*x1*x4*x6 + 6758*x2*x4*x6 + 38182*x3*x4*x6 + 27116*x4^2*x6 + 7493*x1*x5*x6 + 60984*x2*x5*x6 + 462*x3*x5*x6 + 58567*x4*x5*x6 + 3459*x5^2*x6 + 35156*x1*x6^2 + 26410*x2*x6^2 + 4088*x3*x6^2 + 13015*x4*x6^2 + 58185*x5*x6^2 + 62331*x6^3 + 22588*x1*x7 + 1765*x2*x7 + 64109*x3*x7 + 25232*x4*x7 + 45148*x5*x7 + 21836*x6*x7 + 46913*x1*x8 + 56271*x2*x8 + 23483*x3*x8 + 60998*x4*x8 + 20508*x5*x8 + 61804*x6*x8 + 21429*x1*x9 + 43099*x2*x9 + 3587*x3*x9 + 62844*x4*x9 + 50578*x5*x9 + 12797*x6*x9 + 23562*x1*x10 + 25707*x2*x10 + 61650*x3*x10 + 53485*x4*x10 + 48812*x5*x10 + 6184*x6*x10 + 25853*x1*x11 + 16919*x2*x11 + 51915*x3*x11 + 60157*x4*x11 + 56094*x5*x11 + 45840*x6*x11 + 36865*x1*x12 + 5890*x2*x12 + 28970*x3*x12 + 50828*x4*x12 + 52269*x5*x12 + 21625*x6*x12 + 46502*x1^2 + 44*x1*x2 + 7459*x2^2 + 29932*x1*x3 + 42367*x2*x3 + 20989*x3^2 + 37943*x1*x4 + 35802*x2*x4 + 49155*x3*x4 + 29410*x4^2 + 24407*x1*x5 + 36092*x2*x5 + 56856*x3*x5 + 56974*x4*x5 + 60017*x5^2 + 31235*x1*x6 + 23957*x2*x6 + 21031*x3*x6 + 13*x4*x6 + 12442*x5*x6 + 62885*x6^2 + 3632*x7 + 20908*x8 + 14932*x9 + 26583*x10 + 47652*x11 + 49014*x12 + 55166*x1 + 21248*x2 + 645*x3 + 56489*x4 + 44124*x5 + 55414*x6 + 5815,
25385*x1^4 + 29319*x1^3*x2 + 44521*x1^2*x2^2 + 46302*x1*x2^3 + 17612*x2^4 + 30058*x1^3*x3 + 315*x1^2*x2*x3 + 52641*x1*x2^2*x3 + 38272*x2^3*x3 + 20934*x1^2*x3^2 + 23862*x1*x2*x3^2 + 46784*x2^2*x3^2 + 58244*x1*x3^3 + 5776*x2*x3^3 + 42107*x3^4 + 1184*x1^3*x4 + 47855*x1^2*x2*x4 + 16297*x1*x2^2*x4 + 57727*x2^3*x4 + 35685*x1^2*x3*x4 + 53264*x1*x2*x3*x4 + 9642*x2^2*x3*x4 + 21191*x1*x3^2*x4 + 43713*x2*x3^2*x4 + 5965*x3^3*x4 + 22783*x1^2*x4^2 + 63938*x1*x2*x4^2 + 19460*x2^2*x4^2 + 29098*x1*x3*x4^2 + 35780*x2*x3*x4^2 + 61089*x3^2*x4^2 + 59843*x1*x4^3 + 8005*x2*x4^3 + 15121*x3*x4^3 + 44712*x4^4 + 9411*x1^3*x5 + 6338*x1^2*x2*x5 + 14590*x1*x2^2*x5 + 27754*x2^3*x5 + 14538*x1^2*x3*x5 + 18682*x1*x2*x3*x5 + 42414*x2^2*x3*x5 + 664*x1*x3^2*x5 + 7279*x2*x3^2*x5 + 7475*x3^3*x5 + 33652*x1^2*x4*x5 + 42887*x1*x2*x4*x5 + 16919*x2^2*x4*x5 + 12939*x1*x3*x4*x5 + 7207*x2*x3*x4*x5 + 15119*x3^2*x4*x5 + 1928*x1*x4^2*x5 + 24439*x2*x4^2*x5 + 42742*x3*x4^2*x5 + 25456*x4^3*x5 + 50856*x1^2*x5^2 + 21718*x1*x2*x5^2 + 5841*x2^2*x5^2 + 1086*x1*x3*x5^2 + 29147*x2*x3*x5^2 + 54261*x3^2*x5^2 + 10664*x1*x4*x5^2 + 16374*x2*x4*x5^2 + 25878*x3*x4*x5^2 + 12014*x4^2*x5^2 + 57094*x1*x5^3 + 9969*x2*x5^3 + 52606*x3*x5^3 + 20436*x4*x5^3 + 53719*x5^4 + 34109*x1^3*x6 + 61889*x1^2*x2*x6 + 52128*x1*x2^2*x6 + 39296*x2^3*x6 + 30983*x1^2*x3*x6 + 21315*x1*x2*x3*x6 + 49895*x2^2*x3*x6 + 43947*x1*x3^2*x6 + 58989*x2*x3^2*x6 + 64701*x3^3*x6 + 62366*x1^2*x4*x6 + 21012*x1*x2*x4*x6 + 54086*x2^2*x4*x6 + 51460*x1*x3*x4*x6 + 62161*x2*x3*x4*x6 + 14215*x3^2*x4*x6 + 7611*x1*x4^2*x6 + 12877*x2*x4^2*x6 + 58087*x3*x4^2*x6 + 7304*x4^3*x6 + 9133*x1^2*x5*x6 + 33504*x1*x2*x5*x6 + 62364*x2^2*x5*x6 + 30519*x1*x3*x5*x6 + 56497*x2*x3*x5*x6 + 64126*x3^2*x5*x6 + 11925*x1*x4*x5*x6 + 4781*x2*x4*x5*x6 + 37645*x3*x4*x5*x6 + 8758*x4^2*x5*x6 + 31938*x1*x5^2*x6 + 3265*x2*x5^2*x6 + 25405*x3*x5^2*x6 + 2134*x4*x5^2*x6 + 31092*x5^3*x6 + 37897*x1^2*x6^2 + 21610*x1*x2*x6^2 + 36681*x2^2*x6^2 + 3103*x1*x3*x6^2 + 45488*x2*x3*x6^2 + 35200*x3^2*x6^2 + 16560*x1*x4*x6^2 + 22968*x2*x4*x6^2 + 6586*x3*x4*x6^2 + 39923*x4^2*x6^2 + 25850*x1*x5*x6^2 + 6424*x2*x5*x6^2 + 61913*x3*x5*x6^2 + 52509*x4*x5*x6^2 + 56522*x5^2*x6^2 + 31175*x1*x6^3 + 62448*x2*x6^3 + 61381*x3*x6^3 + 34822*x4*x6^3 + 29573*x5*x6^3 + 12550*x6^4 + 28246*x1^2*x7 + 25528*x1*x2*x7 + 3380*x2^2*x7 + 29747*x1*x3*x7 + 29366*x2*x3*x7 + 46181*x3^2*x7 + 9310*x1*x4*x7 + 8757*x2*x4*x7 + 44954*x3*x4*x7 + 46862*x4^2*x7 + 45928*x1*x5*x7 + 38762*x2*x5*x7 + 40950*x3*x5*x7 + 18546*x4*x5*x7 + 29804*x5^2*x7 + 61392*x1*x6*x7 + 61780*x2*x6*x7 + 22655*x3*x6*x7 + 9044*x4*x6*x7 + 54482*x5*x6*x7 + 10907*x6^2*x7 + 61204*x7^2 + 36738*x1^2*x8 + 3151*x1*x2*x8 + 44826*x2^2*x8 + 64712*x1*x3*x8 + 21139*x2*x3*x8 + 52247*x3^2*x8 + 55766*x1*x4*x8 + 1259*x2*x4*x8 + 31562*x3*x4*x8 + 63403*x4^2*x8 + 48408*x1*x5*x8 + 29561*x2*x5*x8 + 64835*x3*x5*x8 + 32466*x4*x5*x8 + 26788*x5^2*x8 + 37082*x1*x6*x8 + 7323*x2*x6*x8 + 49322*x3*x6*x8 + 56131*x4*x6*x8 + 30894*x5*x6*x8 + 58810*x6^2*x8 + 32712*x7*x8 + 14758*x8^2 + 65306*x1^2*x9 + 58987*x1*x2*x9 + 26311*x2^2*x9 + 54256*x1*x3*x9 + 39296*x2*x3*x9 + 31567*x3^2*x9 + 26722*x1*x4*x9 + 47467*x2*x4*x9 + 22811*x3*x4*x9 + 47810*x4^2*x9 + 54069*x1*x5*x9 + 12522*x2*x5*x9 + 17801*x3*x5*x9 + 63472*x4*x5*x9 + 2485*x5^2*x9 + 53188*x1*x6*x9 + 752*x2*x6*x9 + 8871*x3*x6*x9 + 18050*x4*x6*x9 + 35811*x5*x6*x9 + 56086*x6^2*x9 + 30457*x7*x9 + 60578*x8*x9 + 30899*x9^2 + 36502*x1^2*x10 + 24940*x1*x2*x10 + 45419*x2^2*x10 + 18400*x1*x3*x10 + 11664*x2*x3*x10 + 26012*x3^2*x10 + 33949*x1*x4*x10 + 56119*x2*x4*x10 + 7971*x3*x4*x10 + 6341*x4^2*x10 + 41899*x1*x5*x10 + 7681*x2*x5*x10 + 44088*x3*x5*x10 + 36748*x4*x5*x10 + 50792*x5^2*x10 + 24263*x1*x6*x10 + 42413*x2*x6*x10 + 28552*x3*x6*x10 + 24840*x4*x6*x10 + 27766*x5*x6*x10 + 4185*x6^2*x10 + 16563*x7*x10 + 46585*x8*x10 + 7873*x9*x10 + 25062*x10^2 + 65491*x1^2*x11 + 41504*x1*x2*x11 + 23361*x2^2*x11 + 47607*x1*x3*x11 + 34506*x2*x3*x11 + 42670*x3^2*x11 + 55373*x1*x4*x11 + 43371*x2*x4*x11 + 12586*x3*x4*x11 + 52636*x4^2*x11 + 14809*x1*x5*x11 + 43973*x2*x5*x11 + 16911*x3*x5*x11 + 3066*x4*x5*x11 + 39013*x5^2*x11 + 16788*x1*x6*x11 + 852*x2*x6*x11 + 8438*x3*x6*x11 + 31464*x4*x6*x11 + 31911*x5*x6*x11 + 16910*x6^2*x11 + 15144*x7*x11 + 11154*x8*x11 + 44501*x9*x11 + 13760*x10*x11 + 54387*x11^2 + 21827*x1^2*x12 + 11514*x1*x2*x12 + 61540*x2^2*x12 + 47077*x1*x3*x12 + 51785*x2*x3*x12 + 59014*x3^2*x12 + 1723*x1*x4*x12 + 21984*x2*x4*x12 + 49445*x3*x4*x12 + 12749*x4^2*x12 + 22419*x1*x5*x12 + 52066*x2*x5*x12 + 26026*x3*x5*x12 + 38970*x4*x5*x12 + 47182*x5^2*x12 + 31804*x1*x6*x12 + 5616*x2*x6*x12 + 19891*x3*x6*x12 + 48472*x4*x6*x12 + 18535*x5*x6*x12 + 62700*x6^2*x12 + 35166*x7*x12 + 9398*x8*x12 + 3762*x9*x12 + 19610*x10*x12 + 38263*x11*x12 + 28262*x12^2 + 15438*x1^3 + 20521*x1^2*x2 + 51193*x1*x2^2 + 15001*x2^3 + 57547*x1^2*x3 + 36864*x1*x2*x3 + 18429*x2^2*x3 + 47872*x1*x3^2 + 19901*x2*x3^2 + 32352*x3^3 + 43749*x1^2*x4 + 26675*x1*x2*x4 + 40881*x2^2*x4 + 7706*x1*x3*x4 + 22557*x2*x3*x4 + 44731*x3^2*x4 + 3653*x1*x4^2 + 60059*x2*x4^2 + 13874*x3*x4^2 + 19742*x4^3 + 28363*x1^2*x5 + 59409*x1*x2*x5 + 55274*x2^2*x5 + 645*x1*x3*x5 + 49930*x2*x3*x5 + 51526*x3^2*x5 + 30131*x1*x4*x5 + 44472*x2*x4*x5 + 7546*x3*x4*x5 + 42786*x4^2*x5 + 49761*x1*x5^2 + 33175*x2*x5^2 + 58683*x3*x5^2 + 32653*x4*x5^2 + 28607*x5^3 + 58816*x1^2*x6 + 14802*x1*x2*x6 + 43166*x2^2*x6 + 59109*x1*x3*x6 + 53585*x2*x3*x6 + 35846*x3^2*x6 + 347*x1*x4*x6 + 40460*x2*x4*x6 + 3260*x3*x4*x6 + 4048*x4^2*x6 + 17088*x1*x5*x6 + 24759*x2*x5*x6 + 29357*x3*x5*x6 + 48403*x4*x5*x6 + 47043*x5^2*x6 + 21023*x1*x6^2 + 53045*x2*x6^2 + 9290*x3*x6^2 + 54489*x4*x6^2 + 19214*x5*x6^2 + 28483*x6^3 + 29387*x1*x7 + 41661*x2*x7 + 12961*x3*x7 + 59460*x4*x7 + 61891*x5*x7 + 63005*x6*x7 + 39104*x1*x8 + 50586*x2*x8 + 95*x3*x8 + 12034*x4*x8 + 49959*x5*x8 + 64422*x6*x8 + 20157*x1*x9 + 29066*x2*x9 + 35558*x3*x9 + 24835*x4*x9 + 18032*x5*x9 + 27576*x6*x9 + 19464*x1*x10 + 58855*x2*x10 + 12993*x3*x10 + 46691*x4*x10 + 43711*x5*x10 + 10704*x6*x10 + 59423*x1*x11 + 52356*x2*x11 + 2943*x3*x11 + 2572*x4*x11 + 44644*x5*x11 + 41477*x6*x11 + 2891*x1*x12 + 22510*x2*x12 + 31294*x3*x12 + 9829*x4*x12 + 43090*x5*x12 + 44335*x6*x12 + 50324*x1^2 + 13108*x1*x2 + 56522*x2^2 + 64360*x1*x3 + 53727*x2*x3 + 51307*x3^2 + 5952*x1*x4 + 18797*x2*x4 + 30924*x3*x4 + 27462*x4^2 + 9079*x1*x5 + 13406*x2*x5 + 6084*x3*x5 + 40652*x4*x5 + 35733*x5^2 + 40771*x1*x6 + 482*x2*x6 + 31482*x3*x6 + 64260*x4*x6 + 48193*x5*x6 + 22106*x6^2 + 43856*x7 + 21259*x8 + 6007*x9 + 22821*x10 + 57418*x11 + 14589*x12 + 34071*x1 + 10699*x2 + 52554*x3 + 9461*x4 + 64778*x5 + 42730*x6 + 39125,
53561*x1^4 + 61139*x1^3*x2 + 60280*x1^2*x2^2 + 58693*x1*x2^3 + 47798*x2^4 + 46328*x1^3*x3 + 38047*x1^2*x2*x3 + 31266*x1*x2^2*x3 + 64097*x2^3*x3 + 8070*x1^2*x3^2 + 25082*x1*x2*x3^2 + 18724*x2^2*x3^2 + 45711*x1*x3^3 + 22803*x2*x3^3 + 13838*x3^4 + 52687*x1^3*x4 + 37356*x1^2*x2*x4 + 11165*x1*x2^2*x4 + 57423*x2^3*x4 + 58033*x1^2*x3*x4 + 2880*x1*x2*x3*x4 + 37939*x2^2*x3*x4 + 30395*x1*x3^2*x4 + 46721*x2*x3^2*x4 + 62537*x3^3*x4 + 56087*x1^2*x4^2 + 33330*x1*x2*x4^2 + 2531*x2^2*x4^2 + 16887*x1*x3*x4^2 + 54748*x2*x3*x4^2 + 48991*x3^2*x4^2 + 56459*x1*x4^3 + 2599*x2*x4^3 + 52501*x3*x4^3 + 14038*x4^4 + 53718*x1^3*x5 + 45069*x1^2*x2*x5 + 36391*x1*x2^2*x5 + 37064*x2^3*x5 + 30739*x1^2*x3*x5 + 20211*x1*x2*x3*x5 + 4885*x2^2*x3*x5 + 21659*x1*x3^2*x5 + 2652*x2*x3^2*x5 + 43466*x3^3*x5 + 10442*x1^2*x4*x5 + 25077*x1*x2*x4*x5 + 36716*x2^2*x4*x5 + 24458*x1*x3*x4*x5 + 42144*x2*x3*x4*x5 + 17106*x3^2*x4*x5 + 29249*x1*x4^2*x5 + 19112*x2*x4^2*x5 + 28280*x3*x4^2*x5 + 9112*x4^3*x5 + 49020*x1^2*x5^2 + 37876*x1*x2*x5^2 + 13762*x2^2*x5^2 + 5094*x1*x3*x5^2 + 39993*x2*x3*x5^2 + 51963*x3^2*x5^2 + 5732*x1*x4*x5^2 + 22258*x2*x4*x5^2 + 44722*x3*x4*x5^2 + 23547*x4^2*x5^2 + 3857*x1*x5^3 + 26177*x2*x5^3 + 17528*x3*x5^3 + 37233*x4*x5^3 + 35921*x5^4 + 50337*x1^3*x6 + 56480*x1^2*x2*x6 + 4336*x1*x2^2*x6 + 22831*x2^3*x6 + 46135*x1^2*x3*x6 + 2249*x1*x2*x3*x6 + 14695*x2^2*x3*x6 + 57868*x1*x3^2*x6 + 15874*x2*x3^2*x6 + 24408*x3^3*x6 + 61504*x1^2*x4*x6 + 51711*x1*x2*x4*x6 + 754*x2^2*x4*x6 + 28464*x1*x3*x4*x6 + 22837*x2*x3*x4*x6 + 36880*x3^2*x4*x6 + 24446*x1*x4^2*x6 + 7556*x2*x4^2*x6 + 51720*x3*x4^2*x6 + 6445*x4^3*x6 + 49267*x1^2*x5*x6 + 17548*x1*x2*x5*x6 + 45950*x2^2*x5*x6 + 9458*x1*x3*x5*x6 + 58797*x2*x3*x5*x6 + 3771*x3^2*x5*x6 + 36741*x1*x4*x5*x6 + 26100*x2*x4*x5*x6 + 61150*x3*x4*x5*x6 + 24351*x4^2*x5*x6 + 36915*x1*x5^2*x6 + 61255*x2*x5^2*x6 + 51523*x3*x5^2*x6 + 21016*x4*x5^2*x6 + 31565*x5^3*x6 + 21103*x1^2*x6^2 + 54350*x1*x2*x6^2 + 50179*x2^2*x6^2 + 5926*x1*x3*x6^2 + 31303*x2*x3*x6^2 + 26425*x3^2*x6^2 + 31430*x1*x4*x6^2 + 40196*x2*x4*x6^2 + 40984*x3*x4*x6^2 + 16994*x4^2*x6^2 + 36725*x1*x5*x6^2 + 51047*x2*x5*x6^2 + 733*x3*x5*x6^2 + 14781*x4*x5*x6^2 + 58384*x5^2*x6^2 + 36623*x1*x6^3 + 64605*x2*x6^3 + 17630*x3*x6^3 + 38915*x4*x6^3 + 2067*x5*x6^3 + 1106*x6^4 + 58953*x1^2*x7 + 54744*x1*x2*x7 + 6782*x2^2*x7 + 58302*x1*x3*x7 + 663*x2*x3*x7 + 23004*x3^2*x7 + 62376*x1*x4*x7 + 33307*x2*x4*x7 + 29024*x3*x4*x7 + 62532*x4^2*x7 + 24810*x1*x5*x7 + 42045*x2*x5*x7 + 39862*x3*x5*x7 + 44052*x4*x5*x7 + 6030*x5^2*x7 + 31378*x1*x6*x7 + 13344*x2*x6*x7 + 62172*x3*x6*x7 + 63991*x4*x6*x7 + 25902*x5*x6*x7 + 26649*x6^2*x7 + 42157*x7^2 + 64993*x1^2*x8 + 39337*x1*x2*x8 + 34771*x2^2*x8 + 33934*x1*x3*x8 + 47412*x2*x3*x8 + 52183*x3^2*x8 + 17114*x1*x4*x8 + 18654*x2*x4*x8 + 27460*x3*x4*x8 + 35952*x4^2*x8 + 9455*x1*x5*x8 + 29531*x2*x5*x8 + 61427*x3*x5*x8 + 44962*x4*x5*x8 + 38215*x5^2*x8 + 9409*x1*x6*x8 + 12267*x2*x6*x8 + 41137*x3*x6*x8 + 36467*x4*x6*x8 + 55483*x5*x6*x8 + 11273*x6^2*x8 + 23202*x7*x8 + 26331*x8^2 + 5125*x1^2*x9 + 24572*x1*x2*x9 + 1555*x2^2*x9 + 39385*x1*x3*x9 + 2330*x2*x3*x9 + 27926*x3^2*x9 + 923*x1*x4*x9 + 47773*x2*x4*x9 + 10803*x3*x4*x9 + 45889*x4^2*x9 + 41762*x1*x5*x9 + 15669*x2*x5*x9 + 32420*x3*x5*x9 + 41046*x4*x5*x9 + 39371*x5^2*x9 + 24925*x1*x6*x9 + 31237*x2*x6*x9 + 49090*x3*x6*x9 + 8630*x4*x6*x9 + 32089*x5*x6*x9 + 40632*x6^2*x9 + 42132*x7*x9 + 59029*x8*x9 + 1148*x9^2 + 45688*x1^2*x10 + 23730*x1*x2*x10 + 48881*x2^2*x10 + 50914*x1*x3*x10 + 63083*x2*x3*x10 + 33903*x3^2*x10 + 46275*x1*x4*x10 + 42335*x2*x4*x10 + 41331*x3*x4*x10 + 25087*x4^2*x10 + 53194*x1*x5*x10 + 10038*x2*x5*x10 + 49312*x3*x5*x10 + 44525*x4*x5*x10 + 58354*x5^2*x10 + 43726*x1*x6*x10 + 29987*x2*x6*x10 + 10943*x3*x6*x10 + 37473*x4*x6*x10 + 58164*x5*x6*x10 + 9983*x6^2*x10 + 44465*x7*x10 + 53114*x8*x10 + 228*x9*x10 + 57162*x10^2 + 39485*x1^2*x11 + 65448*x1*x2*x11 + 58237*x2^2*x11 + 977*x1*x3*x11 + 20653*x2*x3*x11 + 22607*x3^2*x11 + 45662*x1*x4*x11 + 36828*x2*x4*x11 + 55074*x3*x4*x11 + 46173*x4^2*x11 + 11035*x1*x5*x11 + 12995*x2*x5*x11 + 55980*x3*x5*x11 + 49747*x4*x5*x11 + 33380*x5^2*x11 + 23045*x1*x6*x11 + 37028*x2*x6*x11 + 32616*x3*x6*x11 + 43635*x4*x6*x11 + 51398*x5*x6*x11 + 1481*x6^2*x11 + 5672*x7*x11 + 64745*x8*x11 + 22511*x9*x11 + 38425*x10*x11 + 8615*x11^2 + 35805*x1^2*x12 + 39142*x1*x2*x12 + 37644*x2^2*x12 + 1155*x1*x3*x12 + 63607*x2*x3*x12 + 14384*x3^2*x12 + 37980*x1*x4*x12 + 13457*x2*x4*x12 + 39084*x3*x4*x12 + 22470*x4^2*x12 + 41401*x1*x5*x12 + 46545*x2*x5*x12 + 48880*x3*x5*x12 + 36562*x4*x5*x12 + 6908*x5^2*x12 + 51644*x1*x6*x12 + 54146*x2*x6*x12 + 38737*x3*x6*x12 + 46021*x4*x6*x12 + 8241*x5*x6*x12 + 24104*x6^2*x12 + 34342*x7*x12 + 45559*x8*x12 + 44380*x9*x12 + 31833*x10*x12 + 46270*x11*x12 + 49985*x12^2 + 51910*x1^3 + 22317*x1^2*x2 + 63534*x1*x2^2 + 45237*x2^3 + 57846*x1^2*x3 + 8925*x1*x2*x3 + 3553*x2^2*x3 + 39992*x1*x3^2 + 64827*x2*x3^2 + 32425*x3^3 + 45428*x1^2*x4 + 30005*x1*x2*x4 + 43277*x2^2*x4 + 62155*x1*x3*x4 + 44373*x2*x3*x4 + 33265*x3^2*x4 + 42198*x1*x4^2 + 17420*x2*x4^2 + 65206*x3*x4^2 + 5119*x4^3 + 49976*x1^2*x5 + 24021*x1*x2*x5 + 5401*x2^2*x5 + 40255*x1*x3*x5 + 13511*x2*x3*x5 + 30017*x3^2*x5 + 51304*x1*x4*x5 + 17044*x2*x4*x5 + 16634*x3*x4*x5 + 26563*x4^2*x5 + 34767*x1*x5^2 + 15285*x2*x5^2 + 48992*x3*x5^2 + 5575*x4*x5^2 + 54099*x5^3 + 48587*x1^2*x6 + 27726*x1*x2*x6 + 4490*x2^2*x6 + 52538*x1*x3*x6 + 28389*x2*x3*x6 + 55547*x3^2*x6 + 46895*x1*x4*x6 + 1302*x2*x4*x6 + 61977*x3*x4*x6 + 31023*x4^2*x6 + 18155*x1*x5*x6 + 58433*x2*x5*x6 + 17874*x3*x5*x6 + 17712*x4*x5*x6 + 4383*x5^2*x6 + 45511*x1*x6^2 + 12473*x2*x6^2 + 12030*x3*x6^2 + 58758*x4*x6^2 + 40575*x5*x6^2 + 493*x6^3 + 33351*x1*x7 + 15417*x2*x7 + 61823*x3*x7 + 1890*x4*x7 + 61442*x5*x7 + 18122*x6*x7 + 13674*x1*x8 + 23904*x2*x8 + 6487*x3*x8 + 5572*x4*x8 + 14350*x5*x8 + 29943*x6*x8 + 31641*x1*x9 + 39811*x2*x9 + 64210*x3*x9 + 5813*x4*x9 + 16222*x5*x9 + 33340*x6*x9 + 39208*x1*x10 + 55628*x2*x10 + 59647*x3*x10 + 22395*x4*x10 + 45928*x5*x10 + 59875*x6*x10 + 48914*x1*x11 + 7167*x2*x11 + 37619*x3*x11 + 3770*x4*x11 + 8095*x5*x11 + 47412*x6*x11 + 32469*x1*x12 + 14529*x2*x12 + 20945*x3*x12 + 48482*x4*x12 + 60375*x5*x12 + 14747*x6*x12 + 34954*x1^2 + 30489*x1*x2 + 24894*x2^2 + 52760*x1*x3 + 58064*x2*x3 + 62983*x3^2 + 27563*x1*x4 + 39274*x2*x4 + 54148*x3*x4 + 4789*x4^2 + 53994*x1*x5 + 46185*x2*x5 + 44582*x3*x5 + 51056*x4*x5 + 21818*x5^2 + 59107*x1*x6 + 2629*x2*x6 + 7958*x3*x6 + 31105*x4*x6 + 53502*x5*x6 + 52431*x6^2 + 14835*x7 + 53398*x8 + 47145*x9 + 11466*x10 + 35223*x11 + 25105*x12 + 56004*x1 + 15353*x2 + 62723*x3 + 6010*x4 + 25600*x5 + 2863*x6 + 18340,
59781*x1^4 + 9896*x1^3*x2 + 28243*x1^2*x2^2 + 23309*x1*x2^3 + 29438*x2^4 + 3321*x1^3*x3 + 2168*x1^2*x2*x3 + 5528*x1*x2^2*x3 + 32499*x2^3*x3 + 12181*x1^2*x3^2 + 38459*x1*x2*x3^2 + 49326*x2^2*x3^2 + 36138*x1*x3^3 + 61256*x2*x3^3 + 26614*x3^4 + 25704*x1^3*x4 + 38325*x1^2*x2*x4 + 29141*x1*x2^2*x4 + 33023*x2^3*x4 + 46371*x1^2*x3*x4 + 25935*x1*x2*x3*x4 + 28266*x2^2*x3*x4 + 30623*x1*x3^2*x4 + 16452*x2*x3^2*x4 + 1337*x3^3*x4 + 56945*x1^2*x4^2 + 57651*x1*x2*x4^2 + 47667*x2^2*x4^2 + 46378*x1*x3*x4^2 + 13656*x2*x3*x4^2 + 52937*x3^2*x4^2 + 12303*x1*x4^3 + 45305*x2*x4^3 + 4039*x3*x4^3 + 4711*x4^4 + 15688*x1^3*x5 + 39477*x1^2*x2*x5 + 42740*x1*x2^2*x5 + 37732*x2^3*x5 + 54642*x1^2*x3*x5 + 38995*x1*x2*x3*x5 + 15078*x2^2*x3*x5 + 41911*x1*x3^2*x5 + 3061*x2*x3^2*x5 + 2099*x3^3*x5 + 50800*x1^2*x4*x5 + 1900*x1*x2*x4*x5 + 39896*x2^2*x4*x5 + 49819*x1*x3*x4*x5 + 37162*x2*x3*x4*x5 + 63657*x3^2*x4*x5 + 2206*x1*x4^2*x5 + 20827*x2*x4^2*x5 + 62773*x3*x4^2*x5 + 45077*x4^3*x5 + 62774*x1^2*x5^2 + 15856*x1*x2*x5^2 + 2664*x2^2*x5^2 + 11431*x1*x3*x5^2 + 41317*x2*x3*x5^2 + 39342*x3^2*x5^2 + 51686*x1*x4*x5^2 + 31197*x2*x4*x5^2 + 46827*x3*x4*x5^2 + 3007*x4^2*x5^2 + 26974*x1*x5^3 + 16499*x2*x5^3 + 65327*x3*x5^3 + 35537*x4*x5^3 + 24512*x5^4 + 11605*x1^3*x6 + 62620*x1^2*x2*x6 + 10544*x1*x2^2*x6 + 1856*x2^3*x6 + 41774*x1^2*x3*x6 + 26318*x1*x2*x3*x6 + 60816*x2^2*x3*x6 + 1596*x1*x3^2*x6 + 8052*x2*x3^2*x6 + 28791*x3^3*x6 + 58668*x1^2*x4*x6 + 57610*x1*x2*x4*x6 + 48361*x2^2*x4*x6 + 31645*x1*x3*x4*x6 + 23971*x2*x3*x4*x6 + 34957*x3^2*x4*x6 + 24578*x1*x4^2*x6 + 29041*x2*x4^2*x6 + 4223*x3*x4^2*x6 + 65180*x4^3*x6 + 52563*x1^2*x5*x6 + 9274*x1*x2*x5*x6 + 34130*x2^2*x5*x6 + 15801*x1*x3*x5*x6 + 22215*x2*x3*x5*x6 + 7684*x3^2*x5*x6 + 55213*x1*x4*x5*x6 + 20396*x2*x4*x5*x6 + 40627*x3*x4*x5*x6 + 18169*x4^2*x5*x6 + 46077*x1*x5^2*x6 + 46575*x2*x5^2*x6 + 15674*x3*x5^2*x6 + 27019*x4*x5^2*x6 + 65271*x5^3*x6 + 28491*x1^2*x6^2 + 46772*x1*x2*x6^2 + 1228*x2^2*x6^2 + 17816*x1*x3*x6^2 + 20425*x2*x3*x6^2 + 57506*x3^2*x6^2 + 32223*x1*x4*x6^2 + 62617*x2*x4*x6^2 + 39515*x3*x4*x6^2 + 31557*x4^2*x6^2 + 39108*x1*x5*x6^2 + 36646*x2*x5*x6^2 + 52513*x3*x5*x6^2 + 16260*x4*x5*x6^2 + 25671*x5^2*x6^2 + 39179*x1*x6^3 + 57824*x2*x6^3 + 30138*x3*x6^3 + 14865*x4*x6^3 + 61286*x5*x6^3 + 37558*x6^4 + 31072*x1^2*x7 + 61566*x1*x2*x7 + 3170*x2^2*x7 + 13808*x1*x3*x7 + 41467*x2*x3*x7 + 51453*x3^2*x7 + 24888*x1*x4*x7 + 39742*x2*x4*x7 + 14552*x3*x4*x7 + 33923*x4^2*x7 + 12795*x1*x5*x7 + 48859*x2*x5*x7 + 26762*x3*x5*x7 + 39805*x4*x5*x7 + 7562*x5^2*x7 + 43843*x1*x6*x7 + 56346*x2*x6*x7 + 4975*x3*x6*x7 + 16479*x4*x6*x7 + 39597*x5*x6*x7 + 829*x6^2*x7 + 613*x7^2 + 38681*x1^2*x8 + 34966*x1*x2*x8 + 39378*x2^2*x8 + 47182*x1*x3*x8 + 60533*x2*x3*x8 + 16017*x3^2*x8 + 58376*x1*x4*x8 + 48623*x2*x4*x8 + 26448*x3*x4*x8 + 32396*x4^2*x8 + 58936*x1*x5*x8 + 46222*x2*x5*x8 + 17773*x3*x5*x8 + 29299*x4*x5*x8 + 4493*x5^2*x8 + 4987*x1*x6*x8 + 8356*x2*x6*x8 + 52912*x3*x6*x8 + 14682*x4*x6*x8 + 884*x5*x6*x8 + 62523*x6^2*x8 + 27133*x7*x8 + 27612*x8^2 + 22742*x1^2*x9 + 37528*x1*x2*x9 + 52216*x2^2*x9 + 25448*x1*x3*x9 + 47192*x2*x3*x9 + 53141*x3^2*x9 + 1117*x1*x4*x9 + 44061*x2*x4*x9 + 17948*x3*x4*x9 + 22999*x4^2*x9 + 24544*x1*x5*x9 + 34693*x2*x5*x9 + 62315*x3*x5*x9 + 58588*x4*x5*x9 + 11250*x5^2*x9 + 34348*x1*x6*x9 + 32202*x2*x6*x9 + 49084*x3*x6*x9 + 47476*x4*x6*x9 + 27315*x5*x6*x9 + 55663*x6^2*x9 + 29757*x7*x9 + 22070*x8*x9 + 3852*x9^2 + 56176*x1^2*x10 + 48731*x1*x2*x10 + 60229*x2^2*x10 + 2247*x1*x3*x10 + 8628*x2*x3*x10 + 48414*x3^2*x10 + 761*x1*x4*x10 + 56221*x2*x4*x10 + 15115*x3*x4*x10 + 32798*x4^2*x10 + 29641*x1*x5*x10 + 50866*x2*x5*x10 + 20757*x3*x5*x10 + 45567*x4*x5*x10 + 64034*x5^2*x10 + 13847*x1*x6*x10 + 9860*x2*x6*x10 + 17691*x3*x6*x10 + 25919*x4*x6*x10 + 55443*x5*x6*x10 + 4248*x6^2*x10 + 53708*x7*x10 + 32771*x8*x10 + 34284*x9*x10 + 14777*x10^2 + 10951*x1^2*x11 + 62701*x1*x2*x11 + 23440*x2^2*x11 + 14302*x1*x3*x11 + 44270*x2*x3*x11 + 21542*x3^2*x11 + 53460*x1*x4*x11 + 7307*x2*x4*x11 + 32344*x3*x4*x11 + 63262*x4^2*x11 + 5410*x1*x5*x11 + 61639*x2*x5*x11 + 7059*x3*x5*x11 + 58695*x4*x5*x11 + 54160*x5^2*x11 + 20189*x1*x6*x11 + 63110*x2*x6*x11 + 39570*x3*x6*x11 + 43997*x4*x6*x11 + 24710*x5*x6*x11 + 22239*x6^2*x11 + 2279*x7*x11 + 47619*x8*x11 + 29987*x9*x11 + 13424*x10*x11 + 47899*x11^2 + 22604*x1^2*x12 + 11104*x1*x2*x12 + 18475*x2^2*x12 + 44978*x1*x3*x12 + 58624*x2*x3*x12 + 11314*x3^2*x12 + 38562*x1*x4*x12 + 60098*x2*x4*x12 + 3221*x3*x4*x12 + 8011*x4^2*x12 + 14807*x1*x5*x12 + 12900*x2*x5*x12 + 32438*x3*x5*x12 + 52569*x4*x5*x12 + 46250*x5^2*x12 + 38586*x1*x6*x12 + 62932*x2*x6*x12 + 60775*x3*x6*x12 + 28270*x4*x6*x12 + 23853*x5*x6*x12 + 13580*x6^2*x12 + 11845*x7*x12 + 64449*x8*x12 + 26988*x9*x12 + 15222*x10*x12 + 16799*x11*x12 + 64660*x12^2 + 25256*x1^3 + 37741*x1^2*x2 + 49140*x1*x2^2 + 49504*x2^3 + 61146*x1^2*x3 + 33797*x1*x2*x3 + 1621*x2^2*x3 + 53170*x1*x3^2 + 20350*x2*x3^2 + 47254*x3^3 + 51968*x1^2*x4 + 58776*x1*x2*x4 + 55171*x2^2*x4 + 34605*x1*x3*x4 + 52046*x2*x3*x4 + 60924*x3^2*x4 + 53510*x1*x4^2 + 44994*x2*x4^2 + 1810*x3*x4^2 + 56292*x4^3 + 57304*x1^2*x5 + 47916*x1*x2*x5 + 17471*x2^2*x5 + 22555*x1*x3*x5 + 61753*x2*x3*x5 + 44061*x3^2*x5 + 35467*x1*x4*x5 + 60784*x2*x4*x5 + 43153*x3*x4*x5 + 46907*x4^2*x5 + 49482*x1*x5^2 + 25316*x2*x5^2 + 59767*x3*x5^2 + 60475*x4*x5^2 + 31685*x5^3 + 29205*x1^2*x6 + 13310*x1*x2*x6 + 8060*x2^2*x6 + 54434*x1*x3*x6 + 6779*x2*x3*x6 + 19048*x3^2*x6 + 16407*x1*x4*x6 + 33402*x2*x4*x6 + 36850*x3*x4*x6 + 18203*x4^2*x6 + 28095*x1*x5*x6 + 36872*x2*x5*x6 + 30429*x3*x5*x6 + 25102*x4*x5*x6 + 29285*x5^2*x6 + 42438*x1*x6^2 + 1283*x2*x6^2 + 13179*x3*x6^2 + 61290*x4*x6^2 + 19180*x5*x6^2 + 47212*x6^3 + 52850*x1*x7 + 9247*x2*x7 + 29879*x3*x7 + 3151*x4*x7 + 30862*x5*x7 + 34467*x6*x7 + 41331*x1*x8 + 35656*x2*x8 + 16169*x3*x8 + 52086*x4*x8 + 20448*x5*x8 + 46601*x6*x8 + 65252*x1*x9 + 59882*x2*x9 + 6849*x3*x9 + 8539*x4*x9 + 2030*x5*x9 + 55918*x6*x9 + 56885*x1*x10 + 14129*x2*x10 + 34791*x3*x10 + 43899*x4*x10 + 4416*x5*x10 + 52992*x6*x10 + 51254*x1*x11 + 28244*x2*x11 + 54609*x3*x11 + 13355*x4*x11 + 32179*x5*x11 + 32258*x6*x11 + 42435*x1*x12 + 8974*x2*x12 + 57062*x3*x12 + 20861*x4*x12 + 11707*x5*x12 + 22713*x6*x12 + 18990*x1^2 + 6218*x1*x2 + 35697*x2^2 + 58917*x1*x3 + 64502*x2*x3 + 21042*x3^2 + 38639*x1*x4 + 42517*x2*x4 + 1497*x3*x4 + 28702*x4^2 + 32470*x1*x5 + 29267*x2*x5 + 2549*x3*x5 + 61680*x4*x5 + 8419*x5^2 + 44917*x1*x6 + 56780*x2*x6 + 18261*x3*x6 + 35765*x4*x6 + 55128*x5*x6 + 58330*x6^2 + 51090*x7 + 60351*x8 + 52865*x9 + 42616*x10 + 733*x11 + 50137*x12 + 6079*x1 + 27307*x2 + 19407*x3 + 9270*x4 + 61247*x5 + 55328*x6 + 45303,
51072*x1^4 + 54065*x1^3*x2 + 21708*x1^2*x2^2 + 47597*x1*x2^3 + 27252*x2^4 + 10691*x1^3*x3 + 1859*x1^2*x2*x3 + 20505*x1*x2^2*x3 + 27547*x2^3*x3 + 53612*x1^2*x3^2 + 42975*x1*x2*x3^2 + 58757*x2^2*x3^2 + 17478*x1*x3^3 + 58091*x2*x3^3 + 53614*x3^4 + 60962*x1^3*x4 + 48139*x1^2*x2*x4 + 11659*x1*x2^2*x4 + 47056*x2^3*x4 + 46060*x1^2*x3*x4 + 45916*x1*x2*x3*x4 + 41977*x2^2*x3*x4 + 14403*x1*x3^2*x4 + 33740*x2*x3^2*x4 + 11757*x3^3*x4 + 29433*x1^2*x4^2 + 20736*x1*x2*x4^2 + 5681*x2^2*x4^2 + 45332*x1*x3*x4^2 + 40203*x2*x3*x4^2 + 43103*x3^2*x4^2 + 36159*x1*x4^3 + 19798*x2*x4^3 + 39072*x3*x4^3 + 32919*x4^4 + 58343*x1^3*x5 + 4968*x1^2*x2*x5 + 18088*x1*x2^2*x5 + 13208*x2^3*x5 + 63518*x1^2*x3*x5 + 2618*x1*x2*x3*x5 + 43098*x2^2*x3*x5 + 15730*x1*x3^2*x5 + 49738*x2*x3^2*x5 + 1324*x3^3*x5 + 54906*x1^2*x4*x5 + 22784*x1*x2*x4*x5 + 21731*x2^2*x4*x5 + 25150*x1*x3*x4*x5 + 12335*x2*x3*x4*x5 + 9631*x3^2*x4*x5 + 64355*x1*x4^2*x5 + 25180*x2*x4^2*x5 + 30473*x3*x4^2*x5 + 26866*x4^3*x5 + 38902*x1^2*x5^2 + 59558*x1*x2*x5^2 + 19970*x2^2*x5^2 + 34043*x1*x3*x5^2 + 33035*x2*x3*x5^2 + 4053*x3^2*x5^2 + 41738*x1*x4*x5^2 + 37261*x2*x4*x5^2 + 31516*x3*x4*x5^2 + 11800*x4^2*x5^2 + 31034*x1*x5^3 + 2793*x2*x5^3 + 26679*x3*x5^3 + 16328*x4*x5^3 + 22303*x5^4 + 53421*x1^3*x6 + 11839*x1^2*x2*x6 + 39161*x1*x2^2*x6 + 50588*x2^3*x6 + 23089*x1^2*x3*x6 + 28888*x1*x2*x3*x6 + 16733*x2^2*x3*x6 + 31858*x1*x3^2*x6 + 28888*x2*x3^2*x6 + 26185*x3^3*x6 + 50457*x1^2*x4*x6 + 17757*x1*x2*x4*x6 + 53064*x2^2*x4*x6 + 30577*x1*x3*x4*x6 + 46357*x2*x3*x4*x6 + 64755*x3^2*x4*x6 + 46271*x1*x4^2*x6 + 24045*x2*x4^2*x6 + 11936*x3*x4^2*x6 + 32923*x4^3*x6 + 42087*x1^2*x5*x6 + 24823*x1*x2*x5*x6 + 36376*x2^2*x5*x6 + 39050*x1*x3*x5*x6 + 45815*x2*x3*x5*x6 + 51490*x3^2*x5*x6 + 19980*x1*x4*x5*x6 + 63157*x2*x4*x5*x6 + 41206*x3*x4*x5*x6 + 46777*x4^2*x5*x6 + 5361*x1*x5^2*x6 + 64619*x2*x5^2*x6 + 45550*x3*x5^2*x6 + 43256*x4*x5^2*x6 + 63102*x5^3*x6 + 37130*x1^2*x6^2 + 61431*x1*x2*x6^2 + 14714*x2^2*x6^2 + 63715*x1*x3*x6^2 + 19557*x2*x3*x6^2 + 46288*x3^2*x6^2 + 38244*x1*x4*x6^2 + 35494*x2*x4*x6^2 + 44987*x3*x4*x6^2 + 41703*x4^2*x6^2 + 39768*x1*x5*x6^2 + 8113*x2*x5*x6^2 + 37575*x3*x5*x6^2 + 45243*x4*x5*x6^2 + 51752*x5^2*x6^2 + 43819*x1*x6^3 + 20754*x2*x6^3 + 47418*x3*x6^3 + 45337*x4*x6^3 + 18699*x5*x6^3 + 41442*x6^4 + 30712*x1^2*x7 + 23790*x1*x2*x7 + 52427*x2^2*x7 + 33663*x1*x3*x7 + 31689*x2*x3*x7 + 57508*x3^2*x7 + 20007*x1*x4*x7 + 9544*x2*x4*x7 + 60254*x3*x4*x7 + 53942*x4^2*x7 + 40614*x1*x5*x7 + 12382*x2*x5*x7 + 16113*x3*x5*x7 + 29171*x4*x5*x7 + 61575*x5^2*x7 + 51771*x1*x6*x7 + 22190*x2*x6*x7 + 59811*x3*x6*x7 + 42098*x4*x6*x7 + 26015*x5*x6*x7 + 53603*x6^2*x7 + 586*x7^2 + 39784*x1^2*x8 + 31917*x1*x2*x8 + 14379*x2^2*x8 + 1725*x1*x3*x8 + 28595*x2*x3*x8 + 29709*x3^2*x8 + 63842*x1*x4*x8 + 42516*x2*x4*x8 + 37817*x3*x4*x8 + 53404*x4^2*x8 + 61926*x1*x5*x8 + 52830*x2*x5*x8 + 54219*x3*x5*x8 + 44165*x4*x5*x8 + 59137*x5^2*x8 + 34496*x1*x6*x8 + 29047*x2*x6*x8 + 5571*x3*x6*x8 + 42990*x4*x6*x8 + 19500*x5*x6*x8 + 39491*x6^2*x8 + 45857*x7*x8 + 1360*x8^2 + 2000*x1^2*x9 + 50953*x1*x2*x9 + 25167*x2^2*x9 + 10522*x1*x3*x9 + 9684*x2*x3*x9 + 41201*x3^2*x9 + 23200*x1*x4*x9 + 36379*x2*x4*x9 + 58275*x3*x4*x9 + 48217*x4^2*x9 + 34762*x1*x5*x9 + 54974*x2*x5*x9 + 7054*x3*x5*x9 + 4931*x4*x5*x9 + 46495*x5^2*x9 + 11062*x1*x6*x9 + 7127*x2*x6*x9 + 47208*x3*x6*x9 + 28610*x4*x6*x9 + 25609*x5*x6*x9 + 41991*x6^2*x9 + 37998*x7*x9 + 53674*x8*x9 + 909*x9^2 + 48664*x1^2*x10 + 15827*x1*x2*x10 + 34501*x2^2*x10 + 46818*x1*x3*x10 + 7044*x2*x3*x10 + 33748*x3^2*x10 + 5934*x1*x4*x10 + 50163*x2*x4*x10 + 14121*x3*x4*x10 + 50702*x4^2*x10 + 58755*x1*x5*x10 + 50332*x2*x5*x10 + 34571*x3*x5*x10 + 49279*x4*x5*x10 + 51541*x5^2*x10 + 22193*x1*x6*x10 + 30553*x2*x6*x10 + 45350*x3*x6*x10 + 41468*x4*x6*x10 + 36317*x5*x6*x10 + 6253*x6^2*x10 + 24115*x7*x10 + 26191*x8*x10 + 56583*x9*x10 + 1526*x10^2 + 19169*x1^2*x11 + 45413*x1*x2*x11 + 48320*x2^2*x11 + 50968*x1*x3*x11 + 43158*x2*x3*x11 + 65515*x3^2*x11 + 23500*x1*x4*x11 + 51185*x2*x4*x11 + 34365*x3*x4*x11 + 54909*x4^2*x11 + 7628*x1*x5*x11 + 48334*x2*x5*x11 + 43168*x3*x5*x11 + 64407*x4*x5*x11 + 47319*x5^2*x11 + 38609*x1*x6*x11 + 38051*x2*x6*x11 + 62080*x3*x6*x11 + 63588*x4*x6*x11 + 57461*x5*x6*x11 + 45464*x6^2*x11 + 47215*x7*x11 + 39577*x8*x11 + 60801*x9*x11 + 39448*x10*x11 + 23253*x11^2 + 49925*x1^2*x12 + 31543*x1*x2*x12 + 20522*x2^2*x12 + 60142*x1*x3*x12 + 24905*x2*x3*x12 + 17124*x3^2*x12 + 17213*x1*x4*x12 + 57196*x2*x4*x12 + 40097*x3*x4*x12 + 10596*x4^2*x12 + 62782*x1*x5*x12 + 23583*x2*x5*x12 + 14902*x3*x5*x12 + 15286*x4*x5*x12 + 20352*x5^2*x12 + 35406*x1*x6*x12 + 34188*x2*x6*x12 + 56327*x3*x6*x12 + 20073*x4*x6*x12 + 23631*x5*x6*x12 + 24569*x6^2*x12 + 25667*x7*x12 + 36436*x8*x12 + 4178*x9*x12 + 48562*x10*x12 + 28204*x11*x12 + 35011*x12^2 + 52578*x1^3 + 46370*x1^2*x2 + 35657*x1*x2^2 + 52638*x2^3 + 34311*x1^2*x3 + 28146*x1*x2*x3 + 62969*x2^2*x3 + 65119*x1*x3^2 + 30043*x2*x3^2 + 3287*x3^3 + 34462*x1^2*x4 + 57778*x1*x2*x4 + 9415*x2^2*x4 + 21510*x1*x3*x4 + 24030*x2*x3*x4 + 23580*x3^2*x4 + 17552*x1*x4^2 + 45288*x2*x4^2 + 23586*x3*x4^2 + 55312*x4^3 + 53529*x1^2*x5 + 41804*x1*x2*x5 + 54999*x2^2*x5 + 5503*x1*x3*x5 + 39148*x2*x3*x5 + 8521*x3^2*x5 + 56059*x1*x4*x5 + 14879*x2*x4*x5 + 52115*x3*x4*x5 + 64091*x4^2*x5 + 42028*x1*x5^2 + 50436*x2*x5^2 + 58953*x3*x5^2 + 56559*x4*x5^2 + 28372*x5^3 + 35266*x1^2*x6 + 24257*x1*x2*x6 + 39920*x2^2*x6 + 52471*x1*x3*x6 + 22153*x2*x3*x6 + 43230*x3^2*x6 + 7689*x1*x4*x6 + 11920*x2*x4*x6 + 19076*x3*x4*x6 + 1723*x4^2*x6 + 24403*x1*x5*x6 + 41129*x2*x5*x6 + 9851*x3*x5*x6 + 64411*x4*x5*x6 + 13670*x5^2*x6 + 13995*x1*x6^2 + 51908*x2*x6^2 + 15408*x3*x6^2 + 34077*x4*x6^2 + 15075*x5*x6^2 + 21818*x6^3 + 40034*x1*x7 + 28610*x2*x7 + 12552*x3*x7 + 35512*x4*x7 + 30143*x5*x7 + 45153*x6*x7 + 22691*x1*x8 + 59273*x2*x8 + 50488*x3*x8 + 45958*x4*x8 + 43586*x5*x8 + 40735*x6*x8 + 1238*x1*x9 + 53141*x2*x9 + 35605*x3*x9 + 56566*x4*x9 + 11836*x5*x9 + 45714*x6*x9 + 6287*x1*x10 + 51480*x2*x10 + 4116*x3*x10 + 29202*x4*x10 + 49629*x5*x10 + 45746*x6*x10 + 43518*x1*x11 + 3408*x2*x11 + 60797*x3*x11 + 17044*x4*x11 + 47777*x5*x11 + 15117*x6*x11 + 31652*x1*x12 + 50010*x2*x12 + 35208*x3*x12 + 41746*x4*x12 + 53723*x5*x12 + 3091*x6*x12 + 58824*x1^2 + 27256*x1*x2 + 50934*x2^2 + 23404*x1*x3 + 60851*x2*x3 + 62288*x3^2 + 28366*x1*x4 + 19798*x2*x4 + 49604*x3*x4 + 33644*x4^2 + 12863*x1*x5 + 20303*x2*x5 + 36111*x3*x5 + 31529*x4*x5 + 8544*x5^2 + 51062*x1*x6 + 15686*x2*x6 + 5807*x3*x6 + 11009*x4*x6 + 5364*x5*x6 + 57002*x6^2 + 36329*x7 + 50915*x8 + 35043*x9 + 38798*x10 + 54854*x11 + 42143*x12 + 36686*x1 + 11816*x2 + 30776*x3 + 59245*x4 + 47724*x5 + 62181*x6 + 15472,
54544*x1^4 + 11366*x1^3*x2 + 47803*x1^2*x2^2 + 62617*x1*x2^3 + 31278*x2^4 + 39998*x1^3*x3 + 4593*x1^2*x2*x3 + 26259*x1*x2^2*x3 + 21233*x2^3*x3 + 50717*x1^2*x3^2 + 41185*x1*x2*x3^2 + 65122*x2^2*x3^2 + 40172*x1*x3^3 + 27044*x2*x3^3 + 50443*x3^4 + 48992*x1^3*x4 + 30741*x1^2*x2*x4 + 34556*x1*x2^2*x4 + 2081*x2^3*x4 + 2540*x1^2*x3*x4 + 52988*x1*x2*x3*x4 + 27454*x2^2*x3*x4 + 16542*x1*x3^2*x4 + 27345*x2*x3^2*x4 + 34053*x3^3*x4 + 2666*x1^2*x4^2 + 19282*x1*x2*x4^2 + 10157*x2^2*x4^2 + 28724*x1*x3*x4^2 + 30029*x2*x3*x4^2 + 43047*x3^2*x4^2 + 23737*x1*x4^3 + 7771*x2*x4^3 + 3244*x3*x4^3 + 5011*x4^4 + 38062*x1^3*x5 + 42680*x1^2*x2*x5 + 57294*x1*x2^2*x5 + 53013*x2^3*x5 + 32847*x1^2*x3*x5 + 62494*x1*x2*x3*x5 + 31585*x2^2*x3*x5 + 14366*x1*x3^2*x5 + 12361*x2*x3^2*x5 + 33118*x3^3*x5 + 8808*x1^2*x4*x5 + 17759*x1*x2*x4*x5 + 63924*x2^2*x4*x5 + 8360*x1*x3*x4*x5 + 63236*x2*x3*x4*x5 + 8469*x3^2*x4*x5 + 3135*x1*x4^2*x5 + 52571*x2*x4^2*x5 + 1397*x3*x4^2*x5 + 53659*x4^3*x5 + 17136*x1^2*x5^2 + 40543*x1*x2*x5^2 + 12660*x2^2*x5^2 + 62658*x1*x3*x5^2 + 54761*x2*x3*x5^2 + 46638*x3^2*x5^2 + 56340*x1*x4*x5^2 + 22590*x2*x4*x5^2 + 2367*x3*x4*x5^2 + 47799*x4^2*x5^2 + 24191*x1*x5^3 + 29072*x2*x5^3 + 9974*x3*x5^3 + 19896*x4*x5^3 + 19235*x5^4 + 58140*x1^3*x6 + 5918*x1^2*x2*x6 + 45149*x1*x2^2*x6 + 41697*x2^3*x6 + 65417*x1^2*x3*x6 + 8541*x1*x2*x3*x6 + 22227*x2^2*x3*x6 + 54050*x1*x3^2*x6 + 38105*x2*x3^2*x6 + 61266*x3^3*x6 + 48220*x1^2*x4*x6 + 34368*x1*x2*x4*x6 + 54510*x2^2*x4*x6 + 28078*x1*x3*x4*x6 + 47055*x2*x3*x4*x6 + 65132*x3^2*x4*x6 + 13877*x1*x4^2*x6 + 29664*x2*x4^2*x6 + 54312*x3*x4^2*x6 + 30069*x4^3*x6 + 30860*x1^2*x5*x6 + 1099*x1*x2*x5*x6 + 59684*x2^2*x5*x6 + 60908*x1*x3*x5*x6 + 22434*x2*x3*x5*x6 + 40177*x3^2*x5*x6 + 37367*x1*x4*x5*x6 + 3988*x2*x4*x5*x6 + 38812*x3*x4*x5*x6 + 11388*x4^2*x5*x6 + 59962*x1*x5^2*x6 + 62191*x2*x5^2*x6 + 19413*x3*x5^2*x6 + 13920*x4*x5^2*x6 + 44540*x5^3*x6 + 28153*x1^2*x6^2 + 11550*x1*x2*x6^2 + 65010*x2^2*x6^2 + 798*x1*x3*x6^2 + 51513*x2*x3*x6^2 + 2055*x3^2*x6^2 + 28944*x1*x4*x6^2 + 20804*x2*x4*x6^2 + 65102*x3*x4*x6^2 + 27704*x4^2*x6^2 + 48678*x1*x5*x6^2 + 1327*x2*x5*x6^2 + 33544*x3*x5*x6^2 + 40480*x4*x5*x6^2 + 51436*x5^2*x6^2 + 57591*x1*x6^3 + 10464*x2*x6^3 + 57513*x3*x6^3 + 51647*x4*x6^3 + 55896*x5*x6^3 + 48998*x6^4 + 59000*x1^2*x7 + 58820*x1*x2*x7 + 40132*x2^2*x7 + 11579*x1*x3*x7 + 43827*x2*x3*x7 + 14516*x3^2*x7 + 5602*x1*x4*x7 + 32093*x2*x4*x7 + 12361*x3*x4*x7 + 61651*x4^2*x7 + 50045*x1*x5*x7 + 46660*x2*x5*x7 + 37179*x3*x5*x7 + 32240*x4*x5*x7 + 31408*x5^2*x7 + 64270*x1*x6*x7 + 52877*x2*x6*x7 + 9903*x3*x6*x7 + 40567*x4*x6*x7 + 9192*x5*x6*x7 + 51530*x6^2*x7 + 47943*x7^2 + 55111*x1^2*x8 + 51481*x1*x2*x8 + 30212*x2^2*x8 + 44970*x1*x3*x8 + 20596*x2*x3*x8 + 33356*x3^2*x8 + 53962*x1*x4*x8 + 15026*x2*x4*x8 + 7234*x3*x4*x8 + 3943*x4^2*x8 + 56735*x1*x5*x8 + 32899*x2*x5*x8 + 60130*x3*x5*x8 + 3446*x4*x5*x8 + 14515*x5^2*x8 + 15286*x1*x6*x8 + 51221*x2*x6*x8 + 56926*x3*x6*x8 + 41825*x4*x6*x8 + 62998*x5*x6*x8 + 45168*x6^2*x8 + 42642*x7*x8 + 58276*x8^2 + 39581*x1^2*x9 + 52656*x1*x2*x9 + 53477*x2^2*x9 + 35969*x1*x3*x9 + 62795*x2*x3*x9 + 35278*x3^2*x9 + 39353*x1*x4*x9 + 41364*x2*x4*x9 + 51686*x3*x4*x9 + 60284*x4^2*x9 + 27883*x1*x5*x9 + 11046*x2*x5*x9 + 3636*x3*x5*x9 + 31207*x4*x5*x9 + 17584*x5^2*x9 + 38392*x1*x6*x9 + 13606*x2*x6*x9 + 46920*x3*x6*x9 + 27791*x4*x6*x9 + 39666*x5*x6*x9 + 40022*x6^2*x9 + 51606*x7*x9 + 10100*x8*x9 + 8897*x9^2 + 34921*x1^2*x10 + 24447*x1*x2*x10 + 35067*x2^2*x10 + 65212*x1*x3*x10 + 2242*x2*x3*x10 + 45212*x3^2*x10 + 12409*x1*x4*x10 + 3621*x2*x4*x10 + 25366*x3*x4*x10 + 6830*x4^2*x10 + 44153*x1*x5*x10 + 6697*x2*x5*x10 + 21334*x3*x5*x10 + 55002*x4*x5*x10 + 39236*x5^2*x10 + 26543*x1*x6*x10 + 43138*x2*x6*x10 + 5477*x3*x6*x10 + 52311*x4*x6*x10 + 47606*x5*x6*x10 + 34314*x6^2*x10 + 33680*x7*x10 + 12741*x8*x10 + 22443*x9*x10 + 14109*x10^2 + 23318*x1^2*x11 + 7030*x1*x2*x11 + 30021*x2^2*x11 + 56226*x1*x3*x11 + 12699*x2*x3*x11 + 50566*x3^2*x11 + 44473*x1*x4*x11 + 26595*x2*x4*x11 + 49707*x3*x4*x11 + 37535*x4^2*x11 + 14295*x1*x5*x11 + 29386*x2*x5*x11 + 7796*x3*x5*x11 + 9544*x4*x5*x11 + 26952*x5^2*x11 + 38760*x1*x6*x11 + 25902*x2*x6*x11 + 54735*x3*x6*x11 + 42044*x4*x6*x11 + 52588*x5*x6*x11 + 15360*x6^2*x11 + 38467*x7*x11 + 46804*x8*x11 + 36044*x9*x11 + 63123*x10*x11 + 23265*x11^2 + 41976*x1^2*x12 + 47812*x1*x2*x12 + 3569*x2^2*x12 + 42215*x1*x3*x12 + 22763*x2*x3*x12 + 33262*x3^2*x12 + 60366*x1*x4*x12 + 57768*x2*x4*x12 + 33289*x3*x4*x12 + 16857*x4^2*x12 + 10397*x1*x5*x12 + 28146*x2*x5*x12 + 61276*x3*x5*x12 + 54156*x4*x5*x12 + 62764*x5^2*x12 + 9703*x1*x6*x12 + 61514*x2*x6*x12 + 51404*x3*x6*x12 + 45982*x4*x6*x12 + 25576*x5*x6*x12 + 54447*x6^2*x12 + 64564*x7*x12 + 27721*x8*x12 + 12915*x9*x12 + 39693*x10*x12 + 48428*x11*x12 + 50036*x12^2 + 21226*x1^3 + 26847*x1^2*x2 + 19732*x1*x2^2 + 16592*x2^3 + 11215*x1^2*x3 + 20294*x1*x2*x3 + 29264*x2^2*x3 + 50252*x1*x3^2 + 30078*x2*x3^2 + 16182*x3^3 + 23363*x1^2*x4 + 10339*x1*x2*x4 + 25980*x2^2*x4 + 56659*x1*x3*x4 + 44513*x2*x3*x4 + 1910*x3^2*x4 + 8527*x1*x4^2 + 3854*x2*x4^2 + 27310*x3*x4^2 + 61322*x4^3 + 4517*x1^2*x5 + 28711*x1*x2*x5 + 27084*x2^2*x5 + 52006*x1*x3*x5 + 39893*x2*x3*x5 + 60164*x3^2*x5 + 16938*x1*x4*x5 + 20943*x2*x4*x5 + 46444*x3*x4*x5 + 31729*x4^2*x5 + 23089*x1*x5^2 + 14107*x2*x5^2 + 43423*x3*x5^2 + 61925*x4*x5^2 + 14022*x5^3 + 64978*x1^2*x6 + 49180*x1*x2*x6 + 24074*x2^2*x6 + 9339*x1*x3*x6 + 53310*x2*x3*x6 + 1392*x3^2*x6 + 19419*x1*x4*x6 + 47927*x2*x4*x6 + 42457*x3*x4*x6 + 63550*x4^2*x6 + 64415*x1*x5*x6 + 52019*x2*x5*x6 + 10963*x3*x5*x6 + 22558*x4*x5*x6 + 59391*x5^2*x6 + 18680*x1*x6^2 + 15948*x2*x6^2 + 830*x3*x6^2 + 4004*x4*x6^2 + 31259*x5*x6^2 + 35203*x6^3 + 13740*x1*x7 + 36811*x2*x7 + 47276*x3*x7 + 25066*x4*x7 + 49435*x5*x7 + 19688*x6*x7 + 40474*x1*x8 + 28933*x2*x8 + 62333*x3*x8 + 29293*x4*x8 + 28259*x5*x8 + 9412*x6*x8 + 43611*x1*x9 + 5426*x2*x9 + 45876*x3*x9 + 5299*x4*x9 + 14495*x5*x9 + 10050*x6*x9 + 17923*x1*x10 + 24611*x2*x10 + 61209*x3*x10 + 1989*x4*x10 + 7172*x5*x10 + 61331*x6*x10 + 6037*x1*x11 + 54297*x2*x11 + 58921*x3*x11 + 9872*x4*x11 + 33770*x5*x11 + 14466*x6*x11 + 51149*x1*x12 + 57887*x2*x12 + 8095*x3*x12 + 33516*x4*x12 + 57750*x5*x12 + 6666*x6*x12 + 32171*x1^2 + 46759*x1*x2 + 24822*x2^2 + 34618*x1*x3 + 35118*x2*x3 + 23803*x3^2 + 40544*x1*x4 + 36459*x2*x4 + 55229*x3*x4 + 54238*x4^2 + 15961*x1*x5 + 9396*x2*x5 + 38837*x3*x5 + 63818*x4*x5 + 32356*x5^2 + 61735*x1*x6 + 27336*x2*x6 + 41814*x3*x6 + 39854*x4*x6 + 7773*x5*x6 + 4222*x6^2 + 53191*x7 + 9974*x8 + 18345*x9 + 44896*x10 + 41221*x11 + 48493*x12 + 48763*x1 + 53400*x2 + 29615*x3 + 2299*x4 + 56389*x5 + 10450*x6 + 64916,
5312*x1^4 + 60091*x1^3*x2 + 27461*x1^2*x2^2 + 62932*x1*x2^3 + 63412*x2^4 + 39764*x1^3*x3 + 12647*x1^2*x2*x3 + 51473*x1*x2^2*x3 + 42437*x2^3*x3 + 20135*x1^2*x3^2 + 30904*x1*x2*x3^2 + 16791*x2^2*x3^2 + 38328*x1*x3^3 + 50984*x2*x3^3 + 21958*x3^4 + 65093*x1^3*x4 + 52667*x1^2*x2*x4 + 48208*x1*x2^2*x4 + 54709*x2^3*x4 + 35206*x1^2*x3*x4 + 60071*x1*x2*x3*x4 + 31277*x2^2*x3*x4 + 52782*x1*x3^2*x4 + 35954*x2*x3^2*x4 + 45389*x3^3*x4 + 61606*x1^2*x4^2 + 32026*x1*x2*x4^2 + 22937*x2^2*x4^2 + 42777*x1*x3*x4^2 + 60152*x2*x3*x4^2 + 35728*x3^2*x4^2 + 7898*x1*x4^3 + 17807*x2*x4^3 + 15364*x3*x4^3 + 21343*x4^4 + 58169*x1^3*x5 + 36328*x1^2*x2*x5 + 10956*x1*x2^2*x5 + 20359*x2^3*x5 + 34463*x1^2*x3*x5 + 41941*x1*x2*x3*x5 + 1733*x2^2*x3*x5 + 27358*x1*x3^2*x5 + 31624*x2*x3^2*x5 + 34234*x3^3*x5 + 41523*x1^2*x4*x5 + 38384*x1*x2*x4*x5 + 26776*x2^2*x4*x5 + 9429*x1*x3*x4*x5 + 8802*x2*x3*x4*x5 + 981*x3^2*x4*x5 + 39243*x1*x4^2*x5 + 8585*x2*x4^2*x5 + 4956*x3*x4^2*x5 + 54482*x4^3*x5 + 36847*x1^2*x5^2 + 34836*x1*x2*x5^2 + 15360*x2^2*x5^2 + 32445*x1*x3*x5^2 + 17589*x2*x3*x5^2 + 28141*x3^2*x5^2 + 9234*x1*x4*x5^2 + 26335*x2*x4*x5^2 + 3932*x3*x4*x5^2 + 20849*x4^2*x5^2 + 49507*x1*x5^3 + 64592*x2*x5^3 + 36533*x3*x5^3 + 10427*x4*x5^3 + 31898*x5^4 + 23248*x1^3*x6 + 473*x1^2*x2*x6 + 25935*x1*x2^2*x6 + 690*x2^3*x6 + 14012*x1^2*x3*x6 + 59778*x1*x2*x3*x6 + 60418*x2^2*x3*x6 + 23636*x1*x3^2*x6 + 3195*x2*x3^2*x6 + 28503*x3^3*x6 + 53243*x1^2*x4*x6 + 31970*x1*x2*x4*x6 + 28626*x2^2*x4*x6 + 53921*x1*x3*x4*x6 + 36388*x2*x3*x4*x6 + 35046*x3^2*x4*x6 + 41398*x1*x4^2*x6 + 46934*x2*x4^2*x6 + 36187*x3*x4^2*x6 + 56778*x4^3*x6 + 63228*x1^2*x5*x6 + 21559*x1*x2*x5*x6 + 24908*x2^2*x5*x6 + 34666*x1*x3*x5*x6 + 50832*x2*x3*x5*x6 + 54061*x3^2*x5*x6 + 41158*x1*x4*x5*x6 + 1365*x2*x4*x5*x6 + 36543*x3*x4*x5*x6 + 31023*x4^2*x5*x6 + 36250*x1*x5^2*x6 + 61701*x2*x5^2*x6 + 2655*x3*x5^2*x6 + 12041*x4*x5^2*x6 + 27823*x5^3*x6 + 55852*x1^2*x6^2 + 23008*x1*x2*x6^2 + 34325*x2^2*x6^2 + 6066*x1*x3*x6^2 + 48715*x2*x3*x6^2 + 65146*x3^2*x6^2 + 8233*x1*x4*x6^2 + 1731*x2*x4*x6^2 + 22760*x3*x4*x6^2 + 33546*x4^2*x6^2 + 28593*x1*x5*x6^2 + 44156*x2*x5*x6^2 + 25722*x3*x5*x6^2 + 18322*x4*x5*x6^2 + 13372*x5^2*x6^2 + 42958*x1*x6^3 + 3275*x2*x6^3 + 30591*x3*x6^3 + 59364*x4*x6^3 + 44846*x5*x6^3 + 56442*x6^4 + 18682*x1^2*x7 + 55791*x1*x2*x7 + 37776*x2^2*x7 + 13016*x1*x3*x7 + 41940*x2*x3*x7 + 43151*x3^2*x7 + 23867*x1*x4*x7 + 25433*x2*x4*x7 + 55797*x3*x4*x7 + 17681*x4^2*x7 + 3660*x1*x5*x7 + 30912*x2*x5*x7 + 51527*x3*x5*x7 + 15517*x4*x5*x7 + 21877*x5^2*x7 + 2908*x1*x6*x7 + 45127*x2*x6*x7 + 16827*x3*x6*x7 + 19136*x4*x6*x7 + 54621*x5*x6*x7 + 65061*x6^2*x7 + 2716*x7^2 + 1070*x1^2*x8 + 7994*x1*x2*x8 + 61804*x2^2*x8 + 1246*x1*x3*x8 + 14301*x2*x3*x8 + 33813*x3^2*x8 + 62754*x1*x4*x8 + 10232*x2*x4*x8 + 26263*x3*x4*x8 + 57800*x4^2*x8 + 31780*x1*x5*x8 + 44083*x2*x5*x8 + 55383*x3*x5*x8 + 51391*x4*x5*x8 + 58782*x5^2*x8 + 47793*x1*x6*x8 + 49862*x2*x6*x8 + 39267*x3*x6*x8 + 17802*x4*x6*x8 + 26882*x5*x6*x8 + 65374*x6^2*x8 + 1337*x7*x8 + 36129*x8^2 + 33138*x1^2*x9 + 8830*x1*x2*x9 + 61018*x2^2*x9 + 62958*x1*x3*x9 + 61066*x2*x3*x9 + 18895*x3^2*x9 + 64389*x1*x4*x9 + 62639*x2*x4*x9 + 48355*x3*x4*x9 + 13960*x4^2*x9 + 9934*x1*x5*x9 + 23587*x2*x5*x9 + 63059*x3*x5*x9 + 26804*x4*x5*x9 + 35214*x5^2*x9 + 65386*x1*x6*x9 + 19546*x2*x6*x9 + 6549*x3*x6*x9 + 39085*x4*x6*x9 + 56416*x5*x6*x9 + 49797*x6^2*x9 + 54205*x7*x9 + 59271*x8*x9 + 30097*x9^2 + 872*x1^2*x10 + 24447*x1*x2*x10 + 30551*x2^2*x10 + 45414*x1*x3*x10 + 46443*x2*x3*x10 + 60863*x3^2*x10 + 36420*x1*x4*x10 + 37819*x2*x4*x10 + 11601*x3*x4*x10 + 18626*x4^2*x10 + 62173*x1*x5*x10 + 47261*x2*x5*x10 + 33223*x3*x5*x10 + 45884*x4*x5*x10 + 20595*x5^2*x10 + 6868*x1*x6*x10 + 45697*x2*x6*x10 + 40536*x3*x6*x10 + 8290*x4*x6*x10 + 827*x5*x6*x10 + 48791*x6^2*x10 + 54505*x7*x10 + 11746*x8*x10 + 39821*x9*x10 + 36527*x10^2 + 31686*x1^2*x11 + 21234*x1*x2*x11 + 45882*x2^2*x11 + 33850*x1*x3*x11 + 42383*x2*x3*x11 + 20155*x3^2*x11 + 4698*x1*x4*x11 + 26315*x2*x4*x11 + 42478*x3*x4*x11 + 23352*x4^2*x11 + 8706*x1*x5*x11 + 62111*x2*x5*x11 + 54008*x3*x5*x11 + 16239*x4*x5*x11 + 32014*x5^2*x11 + 40404*x1*x6*x11 + 60093*x2*x6*x11 + 62333*x3*x6*x11 + 35694*x4*x6*x11 + 56151*x5*x6*x11 + 46951*x6^2*x11 + 43955*x7*x11 + 44902*x8*x11 + 18197*x9*x11 + 18381*x10*x11 + 49271*x11^2 + 47975*x1^2*x12 + 44012*x1*x2*x12 + 13012*x2^2*x12 + 52414*x1*x3*x12 + 33363*x2*x3*x12 + 56486*x3^2*x12 + 60646*x1*x4*x12 + 16863*x2*x4*x12 + 51380*x3*x4*x12 + 31020*x4^2*x12 + 32946*x1*x5*x12 + 18515*x2*x5*x12 + 42335*x3*x5*x12 + 24780*x4*x5*x12 + 16044*x5^2*x12 + 54202*x1*x6*x12 + 18951*x2*x6*x12 + 31008*x3*x6*x12 + 21603*x4*x6*x12 + 23241*x5*x6*x12 + 58668*x6^2*x12 + 32474*x7*x12 + 15796*x8*x12 + 242*x9*x12 + 5031*x10*x12 + 1572*x11*x12 + 23321*x12^2 + 46026*x1^3 + 33504*x1^2*x2 + 4394*x1*x2^2 + 21436*x2^3 + 46737*x1^2*x3 + 21475*x1*x2*x3 + 41716*x2^2*x3 + 59261*x1*x3^2 + 39566*x2*x3^2 + 37958*x3^3 + 18723*x1^2*x4 + 56330*x1*x2*x4 + 7957*x2^2*x4 + 1008*x1*x3*x4 + 20573*x2*x3*x4 + 43091*x3^2*x4 + 33169*x1*x4^2 + 13750*x2*x4^2 + 9602*x3*x4^2 + 40336*x4^3 + 14102*x1^2*x5 + 8728*x1*x2*x5 + 22190*x2^2*x5 + 43716*x1*x3*x5 + 55300*x2*x3*x5 + 42428*x3^2*x5 + 46867*x1*x4*x5 + 42225*x2*x4*x5 + 45535*x3*x4*x5 + 23125*x4^2*x5 + 5592*x1*x5^2 + 37157*x2*x5^2 + 61371*x3*x5^2 + 15356*x4*x5^2 + 39048*x5^3 + 52625*x1^2*x6 + 59170*x1*x2*x6 + 43354*x2^2*x6 + 45945*x1*x3*x6 + 43128*x2*x3*x6 + 10287*x3^2*x6 + 53711*x1*x4*x6 + 10288*x2*x4*x6 + 16018*x3*x4*x6 + 51160*x4^2*x6 + 9135*x1*x5*x6 + 46245*x2*x5*x6 + 45514*x3*x5*x6 + 28069*x4*x5*x6 + 20960*x5^2*x6 + 39163*x1*x6^2 + 11413*x2*x6^2 + 21096*x3*x6^2 + 26749*x4*x6^2 + 52397*x5*x6^2 + 45400*x6^3 + 27159*x1*x7 + 65414*x2*x7 + 16571*x3*x7 + 15050*x4*x7 + 42545*x5*x7 + 18623*x6*x7 + 20754*x1*x8 + 26255*x2*x8 + 30287*x3*x8 + 9891*x4*x8 + 33192*x5*x8 + 43316*x6*x8 + 43922*x1*x9 + 37331*x2*x9 + 60631*x3*x9 + 22314*x4*x9 + 8819*x5*x9 + 8470*x6*x9 + 23251*x1*x10 + 38253*x2*x10 + 56396*x3*x10 + 61040*x4*x10 + 45178*x5*x10 + 11955*x6*x10 + 20922*x1*x11 + 15766*x2*x11 + 17951*x3*x11 + 39710*x4*x11 + 44444*x5*x11 + 26834*x6*x11 + 40267*x1*x12 + 13266*x2*x12 + 52903*x3*x12 + 1768*x4*x12 + 43674*x5*x12 + 44336*x6*x12 + 59140*x1^2 + 9042*x1*x2 + 26130*x2^2 + 16980*x1*x3 + 41538*x2*x3 + 30705*x3^2 + 44363*x1*x4 + 38272*x2*x4 + 50213*x3*x4 + 19812*x4^2 + 21335*x1*x5 + 17003*x2*x5 + 56476*x3*x5 + 36387*x4*x5 + 53313*x5^2 + 43952*x1*x6 + 62697*x2*x6 + 36818*x3*x6 + 42795*x4*x6 + 56406*x5*x6 + 30412*x6^2 + 13564*x7 + 30243*x8 + 4502*x9 + 60435*x10 + 39718*x11 + 17078*x12 + 8895*x1 + 7165*x2 + 62313*x3 + 51301*x4 + 14470*x5 + 57768*x6 + 33491,
32188*x1^4 + 44146*x1^3*x2 + 10553*x1^2*x2^2 + 50626*x1*x2^3 + 25853*x2^4 + 33363*x1^3*x3 + 13159*x1^2*x2*x3 + 35464*x1*x2^2*x3 + 25811*x2^3*x3 + 63915*x1^2*x3^2 + 31176*x1*x2*x3^2 + 20867*x2^2*x3^2 + 14776*x1*x3^3 + 47242*x2*x3^3 + 2769*x3^4 + 2611*x1^3*x4 + 9803*x1^2*x2*x4 + 56321*x1*x2^2*x4 + 50481*x2^3*x4 + 28260*x1^2*x3*x4 + 53615*x1*x2*x3*x4 + 12250*x2^2*x3*x4 + 63915*x1*x3^2*x4 + 4691*x2*x3^2*x4 + 9861*x3^3*x4 + 12144*x1^2*x4^2 + 22370*x1*x2*x4^2 + 30655*x2^2*x4^2 + 7753*x1*x3*x4^2 + 15296*x2*x3*x4^2 + 59590*x3^2*x4^2 + 35689*x1*x4^3 + 63929*x2*x4^3 + 14150*x3*x4^3 + 28341*x4^4 + 55472*x1^3*x5 + 10907*x1^2*x2*x5 + 16423*x1*x2^2*x5 + 42378*x2^3*x5 + 25076*x1^2*x3*x5 + 31897*x1*x2*x3*x5 + 54301*x2^2*x3*x5 + 18415*x1*x3^2*x5 + 60512*x2*x3^2*x5 + 25360*x3^3*x5 + 34668*x1^2*x4*x5 + 3104*x1*x2*x4*x5 + 26932*x2^2*x4*x5 + 31830*x1*x3*x4*x5 + 17143*x2*x3*x4*x5 + 24045*x3^2*x4*x5 + 28415*x1*x4^2*x5 + 52911*x2*x4^2*x5 + 62487*x3*x4^2*x5 + 46382*x4^3*x5 + 22070*x1^2*x5^2 + 42146*x1*x2*x5^2 + 7382*x2^2*x5^2 + 15612*x1*x3*x5^2 + 6775*x2*x3*x5^2 + 36562*x3^2*x5^2 + 30604*x1*x4*x5^2 + 16752*x2*x4*x5^2 + 37061*x3*x4*x5^2 + 19696*x4^2*x5^2 + 3411*x1*x5^3 + 22959*x2*x5^3 + 63723*x3*x5^3 + 7780*x4*x5^3 + 61544*x5^4 + 41800*x1^3*x6 + 24365*x1^2*x2*x6 + 55123*x1*x2^2*x6 + 3160*x2^3*x6 + 46307*x1^2*x3*x6 + 28733*x1*x2*x3*x6 + 60765*x2^2*x3*x6 + 6172*x1*x3^2*x6 + 369*x2*x3^2*x6 + 36070*x3^3*x6 + 22365*x1^2*x4*x6 + 25343*x1*x2*x4*x6 + 30909*x2^2*x4*x6 + 63547*x1*x3*x4*x6 + 7188*x2*x3*x4*x6 + 43956*x3^2*x4*x6 + 42436*x1*x4^2*x6 + 6654*x2*x4^2*x6 + 40519*x3*x4^2*x6 + 46845*x4^3*x6 + 36764*x1^2*x5*x6 + 47683*x1*x2*x5*x6 + 4134*x2^2*x5*x6 + 45946*x1*x3*x5*x6 + 27762*x2*x3*x5*x6 + 59997*x3^2*x5*x6 + 57146*x1*x4*x5*x6 + 11999*x2*x4*x5*x6 + 62702*x3*x4*x5*x6 + 38068*x4^2*x5*x6 + 9797*x1*x5^2*x6 + 63310*x2*x5^2*x6 + 7233*x3*x5^2*x6 + 33673*x4*x5^2*x6 + 26450*x5^3*x6 + 50739*x1^2*x6^2 + 37406*x1*x2*x6^2 + 41103*x2^2*x6^2 + 63502*x1*x3*x6^2 + 23033*x2*x3*x6^2 + 57762*x3^2*x6^2 + 5024*x1*x4*x6^2 + 7123*x2*x4*x6^2 + 1767*x3*x4*x6^2 + 43973*x4^2*x6^2 + 15063*x1*x5*x6^2 + 53359*x2*x5*x6^2 + 24779*x3*x5*x6^2 + 33397*x4*x5*x6^2 + 35277*x5^2*x6^2 + 64461*x1*x6^3 + 39964*x2*x6^3 + 50778*x3*x6^3 + 8934*x4*x6^3 + 62596*x5*x6^3 + 1449*x6^4 + 47658*x1^2*x7 + 22857*x1*x2*x7 + 31172*x2^2*x7 + 42124*x1*x3*x7 + 46690*x2*x3*x7 + 65334*x3^2*x7 + 32540*x1*x4*x7 + 52315*x2*x4*x7 + 29466*x3*x4*x7 + 62737*x4^2*x7 + 35042*x1*x5*x7 + 16689*x2*x5*x7 + 55668*x3*x5*x7 + 41682*x4*x5*x7 + 41773*x5^2*x7 + 30003*x1*x6*x7 + 61826*x2*x6*x7 + 38047*x3*x6*x7 + 23464*x4*x6*x7 + 11321*x5*x6*x7 + 6895*x6^2*x7 + 9673*x7^2 + 60436*x1^2*x8 + 22342*x1*x2*x8 + 261*x2^2*x8 + 39047*x1*x3*x8 + 15759*x2*x3*x8 + 47321*x3^2*x8 + 57344*x1*x4*x8 + 12694*x2*x4*x8 + 52536*x3*x4*x8 + 42173*x4^2*x8 + 57135*x1*x5*x8 + 290*x2*x5*x8 + 13139*x3*x5*x8 + 58127*x4*x5*x8 + 10711*x5^2*x8 + 2697*x1*x6*x8 + 12644*x2*x6*x8 + 39570*x3*x6*x8 + 31747*x4*x6*x8 + 64323*x5*x6*x8 + 65386*x6^2*x8 + 14104*x7*x8 + 21772*x8^2 + 38201*x1^2*x9 + 11429*x1*x2*x9 + 42993*x2^2*x9 + 16190*x1*x3*x9 + 39376*x2*x3*x9 + 29667*x3^2*x9 + 41556*x1*x4*x9 + 18279*x2*x4*x9 + 28402*x3*x4*x9 + 45062*x4^2*x9 + 17179*x1*x5*x9 + 11527*x2*x5*x9 + 11696*x3*x5*x9 + 36454*x4*x5*x9 + 2758*x5^2*x9 + 64656*x1*x6*x9 + 4246*x2*x6*x9 + 2314*x3*x6*x9 + 4018*x4*x6*x9 + 46913*x5*x6*x9 + 28498*x6^2*x9 + 64963*x7*x9 + 50141*x8*x9 + 1591*x9^2 + 52286*x1^2*x10 + 13939*x1*x2*x10 + 50803*x2^2*x10 + 52354*x1*x3*x10 + 48347*x2*x3*x10 + 37445*x3^2*x10 + 51700*x1*x4*x10 + 49636*x2*x4*x10 + 18125*x3*x4*x10 + 13529*x4^2*x10 + 46518*x1*x5*x10 + 671*x2*x5*x10 + 48886*x3*x5*x10 + 22034*x4*x5*x10 + 38917*x5^2*x10 + 65226*x1*x6*x10 + 55792*x2*x6*x10 + 1835*x3*x6*x10 + 34901*x4*x6*x10 + 17939*x5*x6*x10 + 62489*x6^2*x10 + 15341*x7*x10 + 57013*x8*x10 + 11439*x9*x10 + 29373*x10^2 + 44804*x1^2*x11 + 63266*x1*x2*x11 + 41029*x2^2*x11 + 3257*x1*x3*x11 + 36179*x2*x3*x11 + 37528*x3^2*x11 + 64482*x1*x4*x11 + 20207*x2*x4*x11 + 36228*x3*x4*x11 + 30215*x4^2*x11 + 27823*x1*x5*x11 + 9330*x2*x5*x11 + 12136*x3*x5*x11 + 21338*x4*x5*x11 + 61945*x5^2*x11 + 14153*x1*x6*x11 + 36903*x2*x6*x11 + 20277*x3*x6*x11 + 53534*x4*x6*x11 + 5123*x5*x6*x11 + 15746*x6^2*x11 + 24762*x7*x11 + 19990*x8*x11 + 39593*x9*x11 + 3770*x10*x11 + 33746*x11^2 + 60447*x1^2*x12 + 19788*x1*x2*x12 + 17565*x2^2*x12 + 58239*x1*x3*x12 + 52815*x2*x3*x12 + 39010*x3^2*x12 + 22449*x1*x4*x12 + 23706*x2*x4*x12 + 40018*x3*x4*x12 + 39549*x4^2*x12 + 12966*x1*x5*x12 + 24796*x2*x5*x12 + 38744*x3*x5*x12 + 51113*x4*x5*x12 + 61201*x5^2*x12 + 55617*x1*x6*x12 + 50298*x2*x6*x12 + 48941*x3*x6*x12 + 25241*x4*x6*x12 + 27556*x5*x6*x12 + 39387*x6^2*x12 + 25253*x7*x12 + 14278*x8*x12 + 17017*x9*x12 + 60714*x10*x12 + 53892*x11*x12 + 52574*x12^2 + 20976*x1^3 + 27235*x1^2*x2 + 61233*x1*x2^2 + 1088*x2^3 + 29157*x1^2*x3 + 4014*x1*x2*x3 + 32569*x2^2*x3 + 24646*x1*x3^2 + 60262*x2*x3^2 + 20870*x3^3 + 3301*x1^2*x4 + 31529*x1*x2*x4 + 36381*x2^2*x4 + 18169*x1*x3*x4 + 42835*x2*x3*x4 + 22265*x3^2*x4 + 44267*x1*x4^2 + 36719*x2*x4^2 + 3012*x3*x4^2 + 63971*x4^3 + 8329*x1^2*x5 + 38489*x1*x2*x5 + 45430*x2^2*x5 + 35109*x1*x3*x5 + 22344*x2*x3*x5 + 44415*x3^2*x5 + 33130*x1*x4*x5 + 40778*x2*x4*x5 + 54735*x3*x4*x5 + 56182*x4^2*x5 + 19991*x1*x5^2 + 34687*x2*x5^2 + 21773*x3*x5^2 + 16419*x4*x5^2 + 25137*x5^3 + 26878*x1^2*x6 + 18286*x1*x2*x6 + 24341*x2^2*x6 + 26814*x1*x3*x6 + 6522*x2*x3*x6 + 36292*x3^2*x6 + 46667*x1*x4*x6 + 7805*x2*x4*x6 + 1166*x3*x4*x6 + 15966*x4^2*x6 + 1448*x1*x5*x6 + 47006*x2*x5*x6 + 52960*x3*x5*x6 + 58742*x4*x5*x6 + 24875*x5^2*x6 + 55835*x1*x6^2 + 50253*x2*x6^2 + 37752*x3*x6^2 + 58543*x4*x6^2 + 21944*x5*x6^2 + 29381*x6^3 + 52866*x1*x7 + 14234*x2*x7 + 9809*x3*x7 + 61722*x4*x7 + 46786*x5*x7 + 44897*x6*x7 + 34822*x1*x8 + 36853*x2*x8 + 61764*x3*x8 + 15075*x4*x8 + 44935*x5*x8 + 54645*x6*x8 + 64003*x1*x9 + 23574*x2*x9 + 32840*x3*x9 + 60928*x4*x9 + 17333*x5*x9 + 31030*x6*x9 + 8722*x1*x10 + 45201*x2*x10 + 14496*x3*x10 + 24813*x4*x10 + 45055*x5*x10 + 19930*x6*x10 + 8422*x1*x11 + 52602*x2*x11 + 13669*x3*x11 + 46271*x4*x11 + 43439*x5*x11 + 60773*x6*x11 + 44904*x1*x12 + 43748*x2*x12 + 21305*x3*x12 + 2675*x4*x12 + 54126*x5*x12 + 58561*x6*x12 + 50623*x1^2 + 19366*x1*x2 + 63745*x2^2 + 55202*x1*x3 + 11866*x2*x3 + 37385*x3^2 + 26507*x1*x4 + 16179*x2*x4 + 6366*x3*x4 + 42632*x4^2 + 27105*x1*x5 + 32892*x2*x5 + 12879*x3*x5 + 40708*x4*x5 + 60179*x5^2 + 33538*x1*x6 + 52510*x2*x6 + 54947*x3*x6 + 30824*x4*x6 + 19871*x5*x6 + 6382*x6^2 + 33771*x7 + 59180*x8 + 50531*x9 + 16547*x10 + 19397*x11 + 24842*x12 + 31319*x1 + 51335*x2 + 5068*x3 + 61283*x4 + 42581*x5 + 59532*x6 + 26480,
57176*x1^4 + 65147*x1^3*x2 + 59311*x1^2*x2^2 + 60279*x1*x2^3 + 58464*x2^4 + 15324*x1^3*x3 + 58790*x1^2*x2*x3 + 7885*x1*x2^2*x3 + 43486*x2^3*x3 + 15056*x1^2*x3^2 + 37987*x1*x2*x3^2 + 34473*x2^2*x3^2 + 55345*x1*x3^3 + 55815*x2*x3^3 + 59903*x3^4 + 64506*x1^3*x4 + 53406*x1^2*x2*x4 + 5668*x1*x2^2*x4 + 2668*x2^3*x4 + 17231*x1^2*x3*x4 + 48744*x1*x2*x3*x4 + 56004*x2^2*x3*x4 + 58022*x1*x3^2*x4 + 64601*x2*x3^2*x4 + 43483*x3^3*x4 + 59377*x1^2*x4^2 + 27720*x1*x2*x4^2 + 55476*x2^2*x4^2 + 17862*x1*x3*x4^2 + 27049*x2*x3*x4^2 + 5355*x3^2*x4^2 + 14208*x1*x4^3 + 35454*x2*x4^3 + 1495*x3*x4^3 + 7095*x4^4 + 3675*x1^3*x5 + 9336*x1^2*x2*x5 + 39072*x1*x2^2*x5 + 9929*x2^3*x5 + 19318*x1^2*x3*x5 + 53324*x1*x2*x3*x5 + 21192*x2^2*x3*x5 + 36120*x1*x3^2*x5 + 38594*x2*x3^2*x5 + 52779*x3^3*x5 + 35751*x1^2*x4*x5 + 14690*x1*x2*x4*x5 + 25914*x2^2*x4*x5 + 24839*x1*x3*x4*x5 + 10947*x2*x3*x4*x5 + 59265*x3^2*x4*x5 + 61264*x1*x4^2*x5 + 41900*x2*x4^2*x5 + 48662*x3*x4^2*x5 + 32206*x4^3*x5 + 18192*x1^2*x5^2 + 33611*x1*x2*x5^2 + 26771*x2^2*x5^2 + 21666*x1*x3*x5^2 + 22204*x2*x3*x5^2 + 37804*x3^2*x5^2 + 29280*x1*x4*x5^2 + 3558*x2*x4*x5^2 + 16617*x3*x4*x5^2 + 15591*x4^2*x5^2 + 26598*x1*x5^3 + 49034*x2*x5^3 + 38309*x3*x5^3 + 62378*x4*x5^3 + 29237*x5^4 + 13849*x1^3*x6 + 45293*x1^2*x2*x6 + 23138*x1*x2^2*x6 + 55936*x2^3*x6 + 48939*x1^2*x3*x6 + 47454*x1*x2*x3*x6 + 18033*x2^2*x3*x6 + 25916*x1*x3^2*x6 + 31607*x2*x3^2*x6 + 53416*x3^3*x6 + 29450*x1^2*x4*x6 + 12288*x1*x2*x4*x6 + 24109*x2^2*x4*x6 + 21604*x1*x3*x4*x6 + 22322*x2*x3*x4*x6 + 51011*x3^2*x4*x6 + 60672*x1*x4^2*x6 + 37328*x2*x4^2*x6 + 50830*x3*x4^2*x6 + 35826*x4^3*x6 + 45489*x1^2*x5*x6 + 9140*x1*x2*x5*x6 + 50389*x2^2*x5*x6 + 51537*x1*x3*x5*x6 + 4048*x2*x3*x5*x6 + 2169*x3^2*x5*x6 + 41267*x1*x4*x5*x6 + 37371*x2*x4*x5*x6 + 55818*x3*x4*x5*x6 + 10549*x4^2*x5*x6 + 34953*x1*x5^2*x6 + 55100*x2*x5^2*x6 + 35917*x3*x5^2*x6 + 50867*x4*x5^2*x6 + 57644*x5^3*x6 + 563*x1^2*x6^2 + 38012*x1*x2*x6^2 + 60549*x2^2*x6^2 + 25147*x1*x3*x6^2 + 9475*x2*x3*x6^2 + 27448*x3^2*x6^2 + 56687*x1*x4*x6^2 + 57545*x2*x4*x6^2 + 61182*x3*x4*x6^2 + 42139*x4^2*x6^2 + 51417*x1*x5*x6^2 + 43019*x2*x5*x6^2 + 26387*x3*x5*x6^2 + 27220*x4*x5*x6^2 + 55248*x5^2*x6^2 + 44182*x1*x6^3 + 57600*x2*x6^3 + 2904*x3*x6^3 + 33591*x4*x6^3 + 26433*x5*x6^3 + 45887*x6^4 + 16829*x1^2*x7 + 43473*x1*x2*x7 + 16516*x2^2*x7 + 38121*x1*x3*x7 + 21510*x2*x3*x7 + 37420*x3^2*x7 + 21033*x1*x4*x7 + 25186*x2*x4*x7 + 63116*x3*x4*x7 + 6639*x4^2*x7 + 42986*x1*x5*x7 + 34010*x2*x5*x7 + 5469*x3*x5*x7 + 46931*x4*x5*x7 + 45296*x5^2*x7 + 30963*x1*x6*x7 + 42067*x2*x6*x7 + 46633*x3*x6*x7 + 34895*x4*x6*x7 + 29521*x5*x6*x7 + 13034*x6^2*x7 + 16124*x7^2 + 39678*x1^2*x8 + 9915*x1*x2*x8 + 47161*x2^2*x8 + 40248*x1*x3*x8 + 58755*x2*x3*x8 + 51668*x3^2*x8 + 25211*x1*x4*x8 + 6475*x2*x4*x8 + 33952*x3*x4*x8 + 31930*x4^2*x8 + 25246*x1*x5*x8 + 28407*x2*x5*x8 + 48818*x3*x5*x8 + 40542*x4*x5*x8 + 49471*x5^2*x8 + 19501*x1*x6*x8 + 18873*x2*x6*x8 + 14877*x3*x6*x8 + 16356*x4*x6*x8 + 40789*x5*x6*x8 + 55272*x6^2*x8 + 32451*x7*x8 + 45359*x8^2 + 41450*x1^2*x9 + 29305*x1*x2*x9 + 4819*x2^2*x9 + 22842*x1*x3*x9 + 29091*x2*x3*x9 + 20005*x3^2*x9 + 34783*x1*x4*x9 + 31828*x2*x4*x9 + 12522*x3*x4*x9 + 50600*x4^2*x9 + 1940*x1*x5*x9 + 10058*x2*x5*x9 + 45086*x3*x5*x9 + 16501*x4*x5*x9 + 14999*x5^2*x9 + 11553*x1*x6*x9 + 11146*x2*x6*x9 + 11268*x3*x6*x9 + 24912*x4*x6*x9 + 5547*x5*x6*x9 + 581*x6^2*x9 + 13654*x7*x9 + 22256*x8*x9 + 22482*x9^2 + 23437*x1^2*x10 + 2031*x1*x2*x10 + 10074*x2^2*x10 + 26377*x1*x3*x10 + 59168*x2*x3*x10 + 43776*x3^2*x10 + 12987*x1*x4*x10 + 54959*x2*x4*x10 + 62069*x3*x4*x10 + 20737*x4^2*x10 + 25603*x1*x5*x10 + 8176*x2*x5*x10 + 8828*x3*x5*x10 + 6385*x4*x5*x10 + 50548*x5^2*x10 + 46201*x1*x6*x10 + 6750*x2*x6*x10 + 62364*x3*x6*x10 + 5185*x4*x6*x10 + 25899*x5*x6*x10 + 4931*x6^2*x10 + 23264*x7*x10 + 9349*x8*x10 + 62036*x9*x10 + 54602*x10^2 + 41563*x1^2*x11 + 16162*x1*x2*x11 + 10598*x2^2*x11 + 35856*x1*x3*x11 + 46685*x2*x3*x11 + 64618*x3^2*x11 + 59156*x1*x4*x11 + 51243*x2*x4*x11 + 49341*x3*x4*x11 + 61417*x4^2*x11 + 37479*x1*x5*x11 + 16786*x2*x5*x11 + 41971*x3*x5*x11 + 58714*x4*x5*x11 + 25033*x5^2*x11 + 58652*x1*x6*x11 + 27379*x2*x6*x11 + 27073*x3*x6*x11 + 56939*x4*x6*x11 + 52356*x5*x6*x11 + 3155*x6^2*x11 + 56649*x7*x11 + 31216*x8*x11 + 62124*x9*x11 + 3081*x10*x11 + 57411*x11^2 + 10385*x1^2*x12 + 14656*x1*x2*x12 + 40196*x2^2*x12 + 13736*x1*x3*x12 + 46876*x2*x3*x12 + 49402*x3^2*x12 + 33279*x1*x4*x12 + 4164*x2*x4*x12 + 37649*x3*x4*x12 + 33860*x4^2*x12 + 16176*x1*x5*x12 + 57332*x2*x5*x12 + 50689*x3*x5*x12 + 62009*x4*x5*x12 + 54355*x5^2*x12 + 13243*x1*x6*x12 + 7420*x2*x6*x12 + 27882*x3*x6*x12 + 62221*x4*x6*x12 + 15372*x5*x6*x12 + 61591*x6^2*x12 + 38998*x7*x12 + 16706*x8*x12 + 50843*x9*x12 + 8140*x10*x12 + 48698*x11*x12 + 48499*x12^2 + 47242*x1^3 + 8483*x1^2*x2 + 53086*x1*x2^2 + 12191*x2^3 + 39496*x1^2*x3 + 25074*x1*x2*x3 + 54754*x2^2*x3 + 55955*x1*x3^2 + 37387*x2*x3^2 + 56335*x3^3 + 12523*x1^2*x4 + 49308*x1*x2*x4 + 59047*x2^2*x4 + 26796*x1*x3*x4 + 60147*x2*x3*x4 + 18544*x3^2*x4 + 62699*x1*x4^2 + 29246*x2*x4^2 + 41935*x3*x4^2 + 5502*x4^3 + 14578*x1^2*x5 + 20358*x1*x2*x5 + 48148*x2^2*x5 + 9354*x1*x3*x5 + 12103*x2*x3*x5 + 12837*x3^2*x5 + 60425*x1*x4*x5 + 34205*x2*x4*x5 + 34293*x3*x4*x5 + 7883*x4^2*x5 + 6639*x1*x5^2 + 1659*x2*x5^2 + 41285*x3*x5^2 + 23066*x4*x5^2 + 31142*x5^3 + 40802*x1^2*x6 + 36509*x1*x2*x6 + 16655*x2^2*x6 + 60377*x1*x3*x6 + 36154*x2*x3*x6 + 54100*x3^2*x6 + 30752*x1*x4*x6 + 16568*x2*x4*x6 + 50454*x3*x4*x6 + 23502*x4^2*x6 + 30397*x1*x5*x6 + 21270*x2*x5*x6 + 57830*x3*x5*x6 + 24806*x4*x5*x6 + 8347*x5^2*x6 + 64908*x1*x6^2 + 37230*x2*x6^2 + 64248*x3*x6^2 + 24843*x4*x6^2 + 3971*x5*x6^2 + 38361*x6^3 + 34229*x1*x7 + 294*x2*x7 + 11137*x3*x7 + 12329*x4*x7 + 62695*x5*x7 + 14679*x6*x7 + 44804*x1*x8 + 62122*x2*x8 + 51480*x3*x8 + 59560*x4*x8 + 58271*x5*x8 + 13463*x6*x8 + 19074*x1*x9 + 21898*x2*x9 + 20642*x3*x9 + 29811*x4*x9 + 42896*x5*x9 + 23287*x6*x9 + 16781*x1*x10 + 52267*x2*x10 + 39782*x3*x10 + 39315*x4*x10 + 27066*x5*x10 + 53799*x6*x10 + 9343*x1*x11 + 42978*x2*x11 + 54403*x3*x11 + 54002*x4*x11 + 33657*x5*x11 + 1395*x6*x11 + 63426*x1*x12 + 28433*x2*x12 + 24778*x3*x12 + 45542*x4*x12 + 8272*x5*x12 + 17781*x6*x12 + 6617*x1^2 + 57981*x1*x2 + 27287*x2^2 + 53502*x1*x3 + 49253*x2*x3 + 28585*x3^2 + 20546*x1*x4 + 38339*x2*x4 + 27598*x3*x4 + 11420*x4^2 + 5276*x1*x5 + 10062*x2*x5 + 35409*x3*x5 + 34866*x4*x5 + 12116*x5^2 + 60580*x1*x6 + 40894*x2*x6 + 39700*x3*x6 + 59762*x4*x6 + 6113*x5*x6 + 57422*x6^2 + 50218*x7 + 8234*x8 + 11666*x9 + 40817*x10 + 33347*x11 + 18463*x12 + 15580*x1 + 19394*x2 + 51100*x3 + 33672*x4 + 31851*x5 + 482*x6 + 43717,
33976*x1^4 + 60281*x1^3*x2 + 19445*x1^2*x2^2 + 46929*x1*x2^3 + 28073*x2^4 + 59260*x1^3*x3 + 16601*x1^2*x2*x3 + 6654*x1*x2^2*x3 + 8934*x2^3*x3 + 39570*x1^2*x3^2 + 48358*x1*x2*x3^2 + 63386*x2^2*x3^2 + 32454*x1*x3^3 + 25045*x2*x3^3 + 63683*x3^4 + 21255*x1^3*x4 + 34656*x1^2*x2*x4 + 54910*x1*x2^2*x4 + 5314*x2^3*x4 + 24724*x1^2*x3*x4 + 3304*x1*x2*x3*x4 + 15081*x2^2*x3*x4 + 30685*x1*x3^2*x4 + 62630*x2*x3^2*x4 + 4205*x3^3*x4 + 59848*x1^2*x4^2 + 64993*x1*x2*x4^2 + 38739*x2^2*x4^2 + 32378*x1*x3*x4^2 + 24498*x2*x3*x4^2 + 29445*x3^2*x4^2 + 60009*x1*x4^3 + 17751*x2*x4^3 + 34935*x3*x4^3 + 26905*x4^4 + 8482*x1^3*x5 + 12020*x1^2*x2*x5 + 13315*x1*x2^2*x5 + 50218*x2^3*x5 + 57272*x1^2*x3*x5 + 28614*x1*x2*x3*x5 + 50672*x2^2*x3*x5 + 64407*x1*x3^2*x5 + 26654*x2*x3^2*x5 + 3474*x3^3*x5 + 13225*x1^2*x4*x5 + 8902*x1*x2*x4*x5 + 43660*x2^2*x4*x5 + 30374*x1*x3*x4*x5 + 49437*x2*x3*x4*x5 + 4735*x3^2*x4*x5 + 28963*x1*x4^2*x5 + 49088*x2*x4^2*x5 + 21189*x3*x4^2*x5 + 62235*x4^3*x5 + 58758*x1^2*x5^2 + 20714*x1*x2*x5^2 + 49286*x2^2*x5^2 + 9502*x1*x3*x5^2 + 62262*x2*x3*x5^2 + 5458*x3^2*x5^2 + 90*x1*x4*x5^2 + 35546*x2*x4*x5^2 + 44479*x3*x4*x5^2 + 6412*x4^2*x5^2 + 57960*x1*x5^3 + 61779*x2*x5^3 + 55591*x3*x5^3 + 5139*x4*x5^3 + 44338*x5^4 + 16604*x1^3*x6 + 60059*x1^2*x2*x6 + 61388*x1*x2^2*x6 + 21824*x2^3*x6 + 9384*x1^2*x3*x6 + 2563*x1*x2*x3*x6 + 1339*x2^2*x3*x6 + 47115*x1*x3^2*x6 + 29982*x2*x3^2*x6 + 61520*x3^3*x6 + 22534*x1^2*x4*x6 + 21202*x1*x2*x4*x6 + 34109*x2^2*x4*x6 + 7654*x1*x3*x4*x6 + 19798*x2*x3*x4*x6 + 62445*x3^2*x4*x6 + 39279*x1*x4^2*x6 + 11271*x2*x4^2*x6 + 58862*x3*x4^2*x6 + 33758*x4^3*x6 + 44845*x1^2*x5*x6 + 10734*x1*x2*x5*x6 + 41121*x2^2*x5*x6 + 28574*x1*x3*x5*x6 + 62593*x2*x3*x5*x6 + 17177*x3^2*x5*x6 + 14433*x1*x4*x5*x6 + 13765*x2*x4*x5*x6 + 15713*x3*x4*x5*x6 + 63749*x4^2*x5*x6 + 28234*x1*x5^2*x6 + 10922*x2*x5^2*x6 + 40429*x3*x5^2*x6 + 46584*x4*x5^2*x6 + 13393*x5^3*x6 + 55111*x1^2*x6^2 + 23019*x1*x2*x6^2 + 26218*x2^2*x6^2 + 1464*x1*x3*x6^2 + 33388*x2*x3*x6^2 + 34237*x3^2*x6^2 + 11795*x1*x4*x6^2 + 56688*x2*x4*x6^2 + 11446*x3*x4*x6^2 + 11460*x4^2*x6^2 + 65286*x1*x5*x6^2 + 34606*x2*x5*x6^2 + 46185*x3*x5*x6^2 + 42818*x4*x5*x6^2 + 23603*x5^2*x6^2 + 56241*x1*x6^3 + 40402*x2*x6^3 + 302*x3*x6^3 + 58558*x4*x6^3 + 3495*x5*x6^3 + 49833*x6^4 + 33522*x1^2*x7 + 41230*x1*x2*x7 + 23245*x2^2*x7 + 14880*x1*x3*x7 + 51964*x2*x3*x7 + 52672*x3^2*x7 + 21566*x1*x4*x7 + 54106*x2*x4*x7 + 47917*x3*x4*x7 + 34365*x4^2*x7 + 55978*x1*x5*x7 + 47640*x2*x5*x7 + 34765*x3*x5*x7 + 13384*x4*x5*x7 + 31576*x5^2*x7 + 29557*x1*x6*x7 + 42892*x2*x6*x7 + 47960*x3*x6*x7 + 8484*x4*x6*x7 + 3362*x5*x6*x7 + 44317*x6^2*x7 + 39198*x7^2 + 41904*x1^2*x8 + 47656*x1*x2*x8 + 20633*x2^2*x8 + 61716*x1*x3*x8 + 14241*x2*x3*x8 + 21908*x3^2*x8 + 15070*x1*x4*x8 + 13700*x2*x4*x8 + 6259*x3*x4*x8 + 16226*x4^2*x8 + 36611*x1*x5*x8 + 65420*x2*x5*x8 + 26870*x3*x5*x8 + 6546*x4*x5*x8 + 33726*x5^2*x8 + 49722*x1*x6*x8 + 13596*x2*x6*x8 + 12443*x3*x6*x8 + 40862*x4*x6*x8 + 25233*x5*x6*x8 + 9428*x6^2*x8 + 3209*x7*x8 + 33628*x8^2 + 28823*x1^2*x9 + 51799*x1*x2*x9 + 54076*x2^2*x9 + 61431*x1*x3*x9 + 20834*x2*x3*x9 + 62711*x3^2*x9 + 50023*x1*x4*x9 + 32112*x2*x4*x9 + 10014*x3*x4*x9 + 46957*x4^2*x9 + 23938*x1*x5*x9 + 53803*x2*x5*x9 + 43174*x3*x5*x9 + 35521*x4*x5*x9 + 41126*x5^2*x9 + 57888*x1*x6*x9 + 12705*x2*x6*x9 + 24105*x3*x6*x9 + 16973*x4*x6*x9 + 62462*x5*x6*x9 + 53656*x6^2*x9 + 9632*x7*x9 + 60736*x8*x9 + 30924*x9^2 + 52195*x1^2*x10 + 47570*x1*x2*x10 + 64583*x2^2*x10 + 10254*x1*x3*x10 + 53011*x2*x3*x10 + 41858*x3^2*x10 + 59962*x1*x4*x10 + 35825*x2*x4*x10 + 4796*x3*x4*x10 + 27131*x4^2*x10 + 12818*x1*x5*x10 + 8547*x2*x5*x10 + 56982*x3*x5*x10 + 26199*x4*x5*x10 + 530*x5^2*x10 + 25195*x1*x6*x10 + 1563*x2*x6*x10 + 62219*x3*x6*x10 + 39762*x4*x6*x10 + 50600*x5*x6*x10 + 16893*x6^2*x10 + 17047*x7*x10 + 14983*x8*x10 + 28062*x9*x10 + 47456*x10^2 + 42939*x1^2*x11 + 22196*x1*x2*x11 + 17967*x2^2*x11 + 829*x1*x3*x11 + 6325*x2*x3*x11 + 63336*x3^2*x11 + 40222*x1*x4*x11 + 55278*x2*x4*x11 + 21232*x3*x4*x11 + 54278*x4^2*x11 + 37855*x1*x5*x11 + 27827*x2*x5*x11 + 17639*x3*x5*x11 + 31612*x4*x5*x11 + 17018*x5^2*x11 + 28120*x1*x6*x11 + 47487*x2*x6*x11 + 13698*x3*x6*x11 + 37023*x4*x6*x11 + 27682*x5*x6*x11 + 20383*x6^2*x11 + 18540*x7*x11 + 13406*x8*x11 + 53160*x9*x11 + 56911*x10*x11 + 39359*x11^2 + 37559*x1^2*x12 + 28103*x1*x2*x12 + 19532*x2^2*x12 + 29520*x1*x3*x12 + 498*x2*x3*x12 + 43904*x3^2*x12 + 36222*x1*x4*x12 + 63611*x2*x4*x12 + 53713*x3*x4*x12 + 34533*x4^2*x12 + 42644*x1*x5*x12 + 25022*x2*x5*x12 + 47786*x3*x5*x12 + 27758*x4*x5*x12 + 26632*x5^2*x12 + 54418*x1*x6*x12 + 54727*x2*x6*x12 + 14069*x3*x6*x12 + 60401*x4*x6*x12 + 32448*x5*x6*x12 + 59105*x6^2*x12 + 18591*x7*x12 + 49598*x8*x12 + 9252*x9*x12 + 9131*x10*x12 + 55214*x11*x12 + 60799*x12^2 + 32743*x1^3 + 40625*x1^2*x2 + 49714*x1*x2^2 + 17214*x2^3 + 41392*x1^2*x3 + 7206*x1*x2*x3 + 41213*x2^2*x3 + 5659*x1*x3^2 + 64932*x2*x3^2 + 14701*x3^3 + 7341*x1^2*x4 + 34060*x1*x2*x4 + 32558*x2^2*x4 + 25988*x1*x3*x4 + 63894*x2*x3*x4 + 27220*x3^2*x4 + 25925*x1*x4^2 + 26864*x2*x4^2 + 48215*x3*x4^2 + 57892*x4^3 + 54076*x1^2*x5 + 30226*x1*x2*x5 + 43999*x2^2*x5 + 39592*x1*x3*x5 + 34356*x2*x3*x5 + 52405*x3^2*x5 + 35452*x1*x4*x5 + 14180*x2*x4*x5 + 47966*x3*x4*x5 + 15755*x4^2*x5 + 22436*x1*x5^2 + 52680*x2*x5^2 + 45841*x3*x5^2 + 31904*x4*x5^2 + 57529*x5^3 + 50369*x1^2*x6 + 38154*x1*x2*x6 + 19796*x2^2*x6 + 3200*x1*x3*x6 + 62061*x2*x3*x6 + 38998*x3^2*x6 + 41899*x1*x4*x6 + 19869*x2*x4*x6 + 9202*x3*x4*x6 + 31618*x4^2*x6 + 25258*x1*x5*x6 + 41414*x2*x5*x6 + 15071*x3*x5*x6 + 27811*x4*x5*x6 + 15540*x5^2*x6 + 20959*x1*x6^2 + 41405*x2*x6^2 + 18550*x3*x6^2 + 24957*x4*x6^2 + 64575*x5*x6^2 + 4698*x6^3 + 7937*x1*x7 + 53039*x2*x7 + 1808*x3*x7 + 39758*x4*x7 + 39969*x5*x7 + 43572*x6*x7 + 28477*x1*x8 + 49051*x2*x8 + 13224*x3*x8 + 36510*x4*x8 + 62731*x5*x8 + 60379*x6*x8 + 30492*x1*x9 + 17915*x2*x9 + 50594*x3*x9 + 21388*x4*x9 + 63431*x5*x9 + 45651*x6*x9 + 54240*x1*x10 + 50963*x2*x10 + 32997*x3*x10 + 47714*x4*x10 + 27532*x5*x10 + 38611*x6*x10 + 61451*x1*x11 + 27724*x2*x11 + 5934*x3*x11 + 60336*x4*x11 + 5987*x5*x11 + 11616*x6*x11 + 22721*x1*x12 + 21230*x2*x12 + 21736*x3*x12 + 42153*x4*x12 + 44998*x5*x12 + 5380*x6*x12 + 42151*x1^2 + 1332*x1*x2 + 62787*x2^2 + 41867*x1*x3 + 43024*x2*x3 + 18061*x3^2 + 53481*x1*x4 + 56873*x2*x4 + 60691*x3*x4 + 56056*x4^2 + 25171*x1*x5 + 51920*x2*x5 + 60507*x3*x5 + 53276*x4*x5 + 35856*x5^2 + 39658*x1*x6 + 31634*x2*x6 + 54830*x3*x6 + 44063*x4*x6 + 48485*x5*x6 + 30156*x6^2 + 10297*x7 + 4733*x8 + 8970*x9 + 6290*x10 + 21767*x11 + 48171*x12 + 64626*x1 + 38880*x2 + 56494*x3 + 46883*x4 + 11662*x5 + 6054*x6 + 44314,
31317*x1^4 + 4302*x1^3*x2 + 40557*x1^2*x2^2 + 36444*x1*x2^3 + 54557*x2^4 + 49713*x1^3*x3 + 44386*x1^2*x2*x3 + 61982*x1*x2^2*x3 + 43579*x2^3*x3 + 57838*x1^2*x3^2 + 47682*x1*x2*x3^2 + 16377*x2^2*x3^2 + 65133*x1*x3^3 + 24689*x2*x3^3 + 48352*x3^4 + 12135*x1^3*x4 + 15617*x1^2*x2*x4 + 13047*x1*x2^2*x4 + 61059*x2^3*x4 + 61531*x1^2*x3*x4 + 30541*x1*x2*x3*x4 + 33265*x2^2*x3*x4 + 53527*x1*x3^2*x4 + 41973*x2*x3^2*x4 + 29117*x3^3*x4 + 26460*x1^2*x4^2 + 45660*x1*x2*x4^2 + 18986*x2^2*x4^2 + 50926*x1*x3*x4^2 + 5235*x2*x3*x4^2 + 16362*x3^2*x4^2 + 26610*x1*x4^3 + 25174*x2*x4^3 + 42174*x3*x4^3 + 6794*x4^4 + 22187*x1^3*x5 + 52164*x1^2*x2*x5 + 15734*x1*x2^2*x5 + 11274*x2^3*x5 + 46765*x1^2*x3*x5 + 58885*x1*x2*x3*x5 + 52192*x2^2*x3*x5 + 47254*x1*x3^2*x5 + 62396*x2*x3^2*x5 + 60557*x3^3*x5 + 31469*x1^2*x4*x5 + 19591*x1*x2*x4*x5 + 15512*x2^2*x4*x5 + 30758*x1*x3*x4*x5 + 23002*x2*x3*x4*x5 + 50791*x3^2*x4*x5 + 2970*x1*x4^2*x5 + 35290*x2*x4^2*x5 + 54784*x3*x4^2*x5 + 410*x4^3*x5 + 27601*x1^2*x5^2 + 28249*x1*x2*x5^2 + 9870*x2^2*x5^2 + 31950*x1*x3*x5^2 + 33551*x2*x3*x5^2 + 39521*x3^2*x5^2 + 53750*x1*x4*x5^2 + 18629*x2*x4*x5^2 + 53399*x3*x4*x5^2 + 4259*x4^2*x5^2 + 21102*x1*x5^3 + 29718*x2*x5^3 + 53037*x3*x5^3 + 64835*x4*x5^3 + 1911*x5^4 + 47725*x1^3*x6 + 7985*x1^2*x2*x6 + 36997*x1*x2^2*x6 + 57151*x2^3*x6 + 693*x1^2*x3*x6 + 45009*x1*x2*x3*x6 + 12202*x2^2*x3*x6 + 9372*x1*x3^2*x6 + 15567*x2*x3^2*x6 + 23196*x3^3*x6 + 46982*x1^2*x4*x6 + 24785*x1*x2*x4*x6 + 45062*x2^2*x4*x6 + 4248*x1*x3*x4*x6 + 36672*x2*x3*x4*x6 + 71*x3^2*x4*x6 + 50029*x1*x4^2*x6 + 2492*x2*x4^2*x6 + 25893*x3*x4^2*x6 + 991*x4^3*x6 + 36536*x1^2*x5*x6 + 32314*x1*x2*x5*x6 + 48735*x2^2*x5*x6 + 20685*x1*x3*x5*x6 + 64767*x2*x3*x5*x6 + 2644*x3^2*x5*x6 + 30153*x1*x4*x5*x6 + 32668*x2*x4*x5*x6 + 10683*x3*x4*x5*x6 + 41315*x4^2*x5*x6 + 37219*x1*x5^2*x6 + 21974*x2*x5^2*x6 + 43794*x3*x5^2*x6 + 19026*x4*x5^2*x6 + 45127*x5^3*x6 + 37236*x1^2*x6^2 + 48337*x1*x2*x6^2 + 24324*x2^2*x6^2 + 36217*x1*x3*x6^2 + 59710*x2*x3*x6^2 + 61362*x3^2*x6^2 + 48127*x1*x4*x6^2 + 64995*x2*x4*x6^2 + 65358*x3*x4*x6^2 + 34590*x4^2*x6^2 + 47499*x1*x5*x6^2 + 55144*x2*x5*x6^2 + 53116*x3*x5*x6^2 + 7136*x4*x5*x6^2 + 55828*x5^2*x6^2 + 45533*x1*x6^3 + 45191*x2*x6^3 + 36312*x3*x6^3 + 18137*x4*x6^3 + 3318*x5*x6^3 + 8881*x6^4 + 27176*x1^2*x7 + 12179*x1*x2*x7 + 46656*x2^2*x7 + 28466*x1*x3*x7 + 61469*x2*x3*x7 + 23207*x3^2*x7 + 7245*x1*x4*x7 + 20192*x2*x4*x7 + 40465*x3*x4*x7 + 39089*x4^2*x7 + 21008*x1*x5*x7 + 28149*x2*x5*x7 + 1290*x3*x5*x7 + 62775*x4*x5*x7 + 30474*x5^2*x7 + 39002*x1*x6*x7 + 54549*x2*x6*x7 + 44681*x3*x6*x7 + 1823*x4*x6*x7 + 60621*x5*x6*x7 + 20468*x6^2*x7 + 49343*x7^2 + 17423*x1^2*x8 + 32036*x1*x2*x8 + 53928*x2^2*x8 + 16477*x1*x3*x8 + 28483*x2*x3*x8 + 17213*x3^2*x8 + 22185*x1*x4*x8 + 56045*x2*x4*x8 + 50858*x3*x4*x8 + 40474*x4^2*x8 + 56204*x1*x5*x8 + 56766*x2*x5*x8 + 12509*x3*x5*x8 + 9324*x4*x5*x8 + 3786*x5^2*x8 + 64411*x1*x6*x8 + 61197*x2*x6*x8 + 5844*x3*x6*x8 + 6485*x4*x6*x8 + 64881*x5*x6*x8 + 36436*x6^2*x8 + 10438*x7*x8 + 33711*x8^2 + 37564*x1^2*x9 + 32893*x1*x2*x9 + 49466*x2^2*x9 + 3712*x1*x3*x9 + 61396*x2*x3*x9 + 32945*x3^2*x9 + 44538*x1*x4*x9 + 43787*x2*x4*x9 + 61585*x3*x4*x9 + 14677*x4^2*x9 + 10550*x1*x5*x9 + 38423*x2*x5*x9 + 55498*x3*x5*x9 + 24749*x4*x5*x9 + 5549*x5^2*x9 + 28544*x1*x6*x9 + 53006*x2*x6*x9 + 15910*x3*x6*x9 + 59949*x4*x6*x9 + 11949*x5*x6*x9 + 64870*x6^2*x9 + 46268*x7*x9 + 24031*x8*x9 + 50453*x9^2 + 7117*x1^2*x10 + 61115*x1*x2*x10 + 19270*x2^2*x10 + 18950*x1*x3*x10 + 32318*x2*x3*x10 + 36627*x3^2*x10 + 13120*x1*x4*x10 + 39536*x2*x4*x10 + 61608*x3*x4*x10 + 63952*x4^2*x10 + 44607*x1*x5*x10 + 14071*x2*x5*x10 + 43978*x3*x5*x10 + 46923*x4*x5*x10 + 19324*x5^2*x10 + 61973*x1*x6*x10 + 20729*x2*x6*x10 + 17087*x3*x6*x10 + 47915*x4*x6*x10 + 25963*x5*x6*x10 + 55623*x6^2*x10 + 17581*x7*x10 + 6629*x8*x10 + 46224*x9*x10 + 50571*x10^2 + 38344*x1^2*x11 + 36600*x1*x2*x11 + 36921*x2^2*x11 + 45316*x1*x3*x11 + 2055*x2*x3*x11 + 48273*x3^2*x11 + 28670*x1*x4*x11 + 64277*x2*x4*x11 + 25398*x3*x4*x11 + 39490*x4^2*x11 + 51364*x1*x5*x11 + 37489*x2*x5*x11 + 64001*x3*x5*x11 + 44391*x4*x5*x11 + 60725*x5^2*x11 + 31790*x1*x6*x11 + 27161*x2*x6*x11 + 51462*x3*x6*x11 + 20274*x4*x6*x11 + 59389*x5*x6*x11 + 18708*x6^2*x11 + 34331*x7*x11 + 59423*x8*x11 + 27500*x9*x11 + 15363*x10*x11 + 47267*x11^2 + 24313*x1^2*x12 + 16297*x1*x2*x12 + 56011*x2^2*x12 + 36848*x1*x3*x12 + 2239*x2*x3*x12 + 13527*x3^2*x12 + 10208*x1*x4*x12 + 35327*x2*x4*x12 + 41545*x3*x4*x12 + 47294*x4^2*x12 + 35850*x1*x5*x12 + 25237*x2*x5*x12 + 7755*x3*x5*x12 + 58790*x4*x5*x12 + 64731*x5^2*x12 + 15622*x1*x6*x12 + 62060*x2*x6*x12 + 30728*x3*x6*x12 + 49052*x4*x6*x12 + 32048*x5*x6*x12 + 55084*x6^2*x12 + 30012*x7*x12 + 56757*x8*x12 + 5163*x9*x12 + 3198*x10*x12 + 44560*x11*x12 + 3400*x12^2 + 59506*x1^3 + 59916*x1^2*x2 + 5613*x1*x2^2 + 37503*x2^3 + 50894*x1^2*x3 + 37442*x1*x2*x3 + 48079*x2^2*x3 + 58516*x1*x3^2 + 49795*x2*x3^2 + 35818*x3^3 + 10283*x1^2*x4 + 23997*x1*x2*x4 + 42516*x2^2*x4 + 42602*x1*x3*x4 + 30468*x2*x3*x4 + 56101*x3^2*x4 + 60072*x1*x4^2 + 20937*x2*x4^2 + 49935*x3*x4^2 + 31769*x4^3 + 41290*x1^2*x5 + 57151*x1*x2*x5 + 15865*x2^2*x5 + 63136*x1*x3*x5 + 4584*x2*x3*x5 + 34107*x3^2*x5 + 61929*x1*x4*x5 + 29758*x2*x4*x5 + 48213*x3*x4*x5 + 29452*x4^2*x5 + 53329*x1*x5^2 + 34262*x2*x5^2 + 33951*x3*x5^2 + 9968*x4*x5^2 + 62145*x5^3 + 49031*x1^2*x6 + 49368*x1*x2*x6 + 25805*x2^2*x6 + 34830*x1*x3*x6 + 33306*x2*x3*x6 + 45292*x3^2*x6 + 18000*x1*x4*x6 + 9166*x2*x4*x6 + 22302*x3*x4*x6 + 46301*x4^2*x6 + 15225*x1*x5*x6 + 5613*x2*x5*x6 + 38931*x3*x5*x6 + 7968*x4*x5*x6 + 8932*x5^2*x6 + 7767*x1*x6^2 + 31325*x2*x6^2 + 37894*x3*x6^2 + 2125*x4*x6^2 + 48640*x5*x6^2 + 52956*x6^3 + 12638*x1*x7 + 59038*x2*x7 + 2499*x3*x7 + 33735*x4*x7 + 14934*x5*x7 + 33732*x6*x7 + 45855*x1*x8 + 58314*x2*x8 + 54988*x3*x8 + 25775*x4*x8 + 47983*x5*x8 + 33569*x6*x8 + 36273*x1*x9 + 54054*x2*x9 + 42829*x3*x9 + 36329*x4*x9 + 59501*x5*x9 + 56055*x6*x9 + 10120*x1*x10 + 15887*x2*x10 + 64728*x3*x10 + 47134*x4*x10 + 2089*x5*x10 + 17686*x6*x10 + 24657*x1*x11 + 30799*x2*x11 + 13843*x3*x11 + 56764*x4*x11 + 28477*x5*x11 + 28482*x6*x11 + 25746*x1*x12 + 51231*x2*x12 + 50188*x3*x12 + 20445*x4*x12 + 2004*x5*x12 + 13678*x6*x12 + 53034*x1^2 + 25358*x1*x2 + 20479*x2^2 + 43998*x1*x3 + 25080*x2*x3 + 44508*x3^2 + 53606*x1*x4 + 31945*x2*x4 + 17527*x3*x4 + 56580*x4^2 + 34220*x1*x5 + 58145*x2*x5 + 62578*x3*x5 + 14115*x4*x5 + 53286*x5^2 + 23822*x1*x6 + 5389*x2*x6 + 31751*x3*x6 + 24630*x4*x6 + 13064*x5*x6 + 16172*x6^2 + 39761*x7 + 19160*x8 + 6074*x9 + 64030*x10 + 12103*x11 + 41440*x12 + 49808*x1 + 11702*x2 + 37404*x3 + 18268*x4 + 46026*x5 + 39830*x6 + 31385,
8186*x1^4 + 9245*x1^3*x2 + 57786*x1^2*x2^2 + 44348*x1*x2^3 + 8069*x2^4 + 44088*x1^3*x3 + 45279*x1^2*x2*x3 + 6238*x1*x2^2*x3 + 62005*x2^3*x3 + 7050*x1^2*x3^2 + 29146*x1*x2*x3^2 + 19431*x2^2*x3^2 + 14580*x1*x3^3 + 32434*x2*x3^3 + 16110*x3^4 + 13503*x1^3*x4 + 55672*x1^2*x2*x4 + 24500*x1*x2^2*x4 + 53146*x2^3*x4 + 5844*x1^2*x3*x4 + 38609*x1*x2*x3*x4 + 25021*x2^2*x3*x4 + 29324*x1*x3^2*x4 + 56333*x2*x3^2*x4 + 33768*x3^3*x4 + 16940*x1^2*x4^2 + 12605*x1*x2*x4^2 + 38212*x2^2*x4^2 + 3299*x1*x3*x4^2 + 9930*x2*x3*x4^2 + 21733*x3^2*x4^2 + 27204*x1*x4^3 + 2796*x2*x4^3 + 46530*x3*x4^3 + 13969*x4^4 + 14451*x1^3*x5 + 53887*x1^2*x2*x5 + 41078*x1*x2^2*x5 + 12515*x2^3*x5 + 35999*x1^2*x3*x5 + 43076*x1*x2*x3*x5 + 65160*x2^2*x3*x5 + 4951*x1*x3^2*x5 + 4454*x2*x3^2*x5 + 3284*x3^3*x5 + 25289*x1^2*x4*x5 + 29611*x1*x2*x4*x5 + 19254*x2^2*x4*x5 + 7955*x1*x3*x4*x5 + 44170*x2*x3*x4*x5 + 44526*x3^2*x4*x5 + 24707*x1*x4^2*x5 + 9115*x2*x4^2*x5 + 57526*x3*x4^2*x5 + 4926*x4^3*x5 + 9048*x1^2*x5^2 + 4910*x1*x2*x5^2 + 4465*x2^2*x5^2 + 59683*x1*x3*x5^2 + 36905*x2*x3*x5^2 + 61227*x3^2*x5^2 + 12992*x1*x4*x5^2 + 27350*x2*x4*x5^2 + 40917*x3*x4*x5^2 + 52912*x4^2*x5^2 + 21083*x1*x5^3 + 43230*x2*x5^3 + 56500*x3*x5^3 + 21898*x4*x5^3 + 4953*x5^4 + 23862*x1^3*x6 + 16457*x1^2*x2*x6 + 29911*x1*x2^2*x6 + 49390*x2^3*x6 + 60985*x1^2*x3*x6 + 39485*x1*x2*x3*x6 + 11048*x2^2*x3*x6 + 4215*x1*x3^2*x6 + 56766*x2*x3^2*x6 + 1590*x3^3*x6 + 12999*x1^2*x4*x6 + 17442*x1*x2*x4*x6 + 45542*x2^2*x4*x6 + 54088*x1*x3*x4*x6 + 44277*x2*x3*x4*x6 + 62780*x3^2*x4*x6 + 8067*x1*x4^2*x6 + 46409*x2*x4^2*x6 + 491*x3*x4^2*x6 + 4863*x4^3*x6 + 39593*x1^2*x5*x6 + 12551*x1*x2*x5*x6 + 26303*x2^2*x5*x6 + 51673*x1*x3*x5*x6 + 32303*x2*x3*x5*x6 + 23794*x3^2*x5*x6 + 47707*x1*x4*x5*x6 + 3859*x2*x4*x5*x6 + 25247*x3*x4*x5*x6 + 11138*x4^2*x5*x6 + 15125*x1*x5^2*x6 + 54351*x2*x5^2*x6 + 12077*x3*x5^2*x6 + 22989*x4*x5^2*x6 + 15306*x5^3*x6 + 32557*x1^2*x6^2 + 13055*x1*x2*x6^2 + 15283*x2^2*x6^2 + 62936*x1*x3*x6^2 + 27782*x2*x3*x6^2 + 9669*x3^2*x6^2 + 19093*x1*x4*x6^2 + 26396*x2*x4*x6^2 + 53677*x3*x4*x6^2 + 60033*x4^2*x6^2 + 56396*x1*x5*x6^2 + 3013*x2*x5*x6^2 + 19476*x3*x5*x6^2 + 29371*x4*x5*x6^2 + 38397*x5^2*x6^2 + 33022*x1*x6^3 + 18424*x2*x6^3 + 55338*x3*x6^3 + 17075*x4*x6^3 + 47768*x5*x6^3 + 59850*x6^4 + 30277*x1^2*x7 + 60859*x1*x2*x7 + 47894*x2^2*x7 + 54926*x1*x3*x7 + 28741*x2*x3*x7 + 60703*x3^2*x7 + 42014*x1*x4*x7 + 37872*x2*x4*x7 + 8929*x3*x4*x7 + 2959*x4^2*x7 + 35948*x1*x5*x7 + 17297*x2*x5*x7 + 44764*x3*x5*x7 + 837*x4*x5*x7 + 7681*x5^2*x7 + 19027*x1*x6*x7 + 16669*x2*x6*x7 + 52282*x3*x6*x7 + 6629*x4*x6*x7 + 59501*x5*x6*x7 + 30313*x6^2*x7 + 44835*x7^2 + 34777*x1^2*x8 + 7016*x1*x2*x8 + 36167*x2^2*x8 + 34393*x1*x3*x8 + 20339*x2*x3*x8 + 7784*x3^2*x8 + 33381*x1*x4*x8 + 8020*x2*x4*x8 + 2873*x3*x4*x8 + 27488*x4^2*x8 + 19797*x1*x5*x8 + 17967*x2*x5*x8 + 43697*x3*x5*x8 + 46158*x4*x5*x8 + 20648*x5^2*x8 + 15844*x1*x6*x8 + 9991*x2*x6*x8 + 42241*x3*x6*x8 + 35359*x4*x6*x8 + 58115*x5*x6*x8 + 27021*x6^2*x8 + 52410*x7*x8 + 45303*x8^2 + 58726*x1^2*x9 + 23438*x1*x2*x9 + 18491*x2^2*x9 + 64313*x1*x3*x9 + 64025*x2*x3*x9 + 49743*x3^2*x9 + 40944*x1*x4*x9 + 30946*x2*x4*x9 + 46281*x3*x4*x9 + 3343*x4^2*x9 + 7392*x1*x5*x9 + 21821*x2*x5*x9 + 16170*x3*x5*x9 + 30841*x4*x5*x9 + 54738*x5^2*x9 + 9470*x1*x6*x9 + 62875*x2*x6*x9 + 5294*x3*x6*x9 + 51533*x4*x6*x9 + 22812*x5*x6*x9 + 53334*x6^2*x9 + 57387*x7*x9 + 11103*x8*x9 + 62475*x9^2 + 17067*x1^2*x10 + 14559*x1*x2*x10 + 31106*x2^2*x10 + 39528*x1*x3*x10 + 5166*x2*x3*x10 + 33169*x3^2*x10 + 16585*x1*x4*x10 + 55215*x2*x4*x10 + 38677*x3*x4*x10 + 51134*x4^2*x10 + 26369*x1*x5*x10 + 50280*x2*x5*x10 + 47845*x3*x5*x10 + 27216*x4*x5*x10 + 21778*x5^2*x10 + 55658*x1*x6*x10 + 59370*x2*x6*x10 + 55846*x3*x6*x10 + 32911*x4*x6*x10 + 56167*x5*x6*x10 + 39310*x6^2*x10 + 59138*x7*x10 + 52606*x8*x10 + 31690*x9*x10 + 8323*x10^2 + 49669*x1^2*x11 + 32267*x1*x2*x11 + 45006*x2^2*x11 + 55647*x1*x3*x11 + 62726*x2*x3*x11 + 49853*x3^2*x11 + 33545*x1*x4*x11 + 43992*x2*x4*x11 + 1982*x3*x4*x11 + 17678*x4^2*x11 + 31250*x1*x5*x11 + 14867*x2*x5*x11 + 28903*x3*x5*x11 + 58670*x4*x5*x11 + 37931*x5^2*x11 + 37774*x1*x6*x11 + 54893*x2*x6*x11 + 37768*x3*x6*x11 + 56309*x4*x6*x11 + 64344*x5*x6*x11 + 37507*x6^2*x11 + 61379*x7*x11 + 10124*x8*x11 + 202*x9*x11 + 39997*x10*x11 + 27223*x11^2 + 24507*x1^2*x12 + 59548*x1*x2*x12 + 5803*x2^2*x12 + 22624*x1*x3*x12 + 34040*x2*x3*x12 + 13017*x3^2*x12 + 57592*x1*x4*x12 + 52201*x2*x4*x12 + 32188*x3*x4*x12 + 55568*x4^2*x12 + 54754*x1*x5*x12 + 12653*x2*x5*x12 + 52372*x3*x5*x12 + 1866*x4*x5*x12 + 52341*x5^2*x12 + 48592*x1*x6*x12 + 55736*x2*x6*x12 + 13928*x3*x6*x12 + 43911*x4*x6*x12 + 2763*x5*x6*x12 + 31255*x6^2*x12 + 29414*x7*x12 + 28840*x8*x12 + 64494*x9*x12 + 51938*x10*x12 + 14292*x11*x12 + 59518*x12^2 + 9520*x1^3 + 2515*x1^2*x2 + 58204*x1*x2^2 + 56890*x2^3 + 62083*x1^2*x3 + 11701*x1*x2*x3 + 8549*x2^2*x3 + 45259*x1*x3^2 + 59551*x2*x3^2 + 47232*x3^3 + 19095*x1^2*x4 + 30694*x1*x2*x4 + 58537*x2^2*x4 + 37041*x1*x3*x4 + 22502*x2*x3*x4 + 46462*x3^2*x4 + 15939*x1*x4^2 + 40149*x2*x4^2 + 19412*x3*x4^2 + 50174*x4^3 + 14002*x1^2*x5 + 63798*x1*x2*x5 + 33113*x2^2*x5 + 48119*x1*x3*x5 + 47732*x2*x3*x5 + 14963*x3^2*x5 + 64859*x1*x4*x5 + 55739*x2*x4*x5 + 37691*x3*x4*x5 + 719*x4^2*x5 + 51037*x1*x5^2 + 27158*x2*x5^2 + 17876*x3*x5^2 + 43006*x4*x5^2 + 39667*x5^3 + 57024*x1^2*x6 + 40467*x1*x2*x6 + 55826*x2^2*x6 + 10990*x1*x3*x6 + 47524*x2*x3*x6 + 51633*x3^2*x6 + 33736*x1*x4*x6 + 49593*x2*x4*x6 + 15151*x3*x4*x6 + 46986*x4^2*x6 + 50088*x1*x5*x6 + 20815*x2*x5*x6 + 41620*x3*x5*x6 + 32350*x4*x5*x6 + 7851*x5^2*x6 + 32135*x1*x6^2 + 16021*x2*x6^2 + 62409*x3*x6^2 + 17591*x4*x6^2 + 8306*x5*x6^2 + 46587*x6^3 + 39205*x1*x7 + 714*x2*x7 + 47187*x3*x7 + 23810*x4*x7 + 8017*x5*x7 + 29663*x6*x7 + 40474*x1*x8 + 6696*x2*x8 + 57648*x3*x8 + 9328*x4*x8 + 43179*x5*x8 + 60327*x6*x8 + 61632*x1*x9 + 54743*x2*x9 + 62320*x3*x9 + 57185*x4*x9 + 44715*x5*x9 + 50428*x6*x9 + 54086*x1*x10 + 23439*x2*x10 + 26286*x3*x10 + 16598*x4*x10 + 35735*x5*x10 + 16636*x6*x10 + 25571*x1*x11 + 56269*x2*x11 + 52151*x3*x11 + 58379*x4*x11 + 24269*x5*x11 + 18407*x6*x11 + 57860*x1*x12 + 51548*x2*x12 + 13509*x3*x12 + 3294*x4*x12 + 32017*x5*x12 + 34711*x6*x12 + 32008*x1^2 + 52606*x1*x2 + 36035*x2^2 + 49048*x1*x3 + 5369*x2*x3 + 43137*x3^2 + 18354*x1*x4 + 54012*x2*x4 + 26016*x3*x4 + 654*x4^2 + 16104*x1*x5 + 27958*x2*x5 + 39960*x3*x5 + 63935*x4*x5 + 51740*x5^2 + 12160*x1*x6 + 33461*x2*x6 + 3463*x3*x6 + 56616*x4*x6 + 9233*x5*x6 + 709*x6^2 + 11473*x7 + 21850*x8 + 10592*x9 + 32881*x10 + 11167*x11 + 6579*x12 + 20855*x1 + 38007*x2 + 32209*x3 + 40300*x4 + 21035*x5 + 21638*x6 + 65444
]
: