#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

[
2844*x1^4 + 45526*x1^3*x2 + 59567*x1^2*x2^2 + 26812*x1*x2^3 + 40349*x2^4 + 48544*x1^3*x3 + 8171*x1^2*x2*x3 + 54323*x1*x2^2*x3 + 24321*x2^3*x3 + 49515*x1^2*x3^2 + 34953*x1*x2*x3^2 + 42422*x2^2*x3^2 + 42623*x1*x3^3 + 36512*x2*x3^3 + 12199*x3^4 + 36692*x1^3*x4 + 12443*x1^2*x2*x4 + 55033*x1*x2^2*x4 + 42329*x2^3*x4 + 10586*x1^2*x3*x4 + 53795*x1*x2*x3*x4 + 43774*x2^2*x3*x4 + 6766*x1*x3^2*x4 + 25012*x2*x3^2*x4 + 4436*x3^3*x4 + 23353*x1^2*x4^2 + 23804*x1*x2*x4^2 + 39971*x2^2*x4^2 + 40680*x1*x3*x4^2 + 18570*x2*x3*x4^2 + 29222*x3^2*x4^2 + 23802*x1*x4^3 + 26931*x2*x4^3 + 39278*x3*x4^3 + 13443*x4^4 + 57039*x1^3*x5 + 10524*x1^2*x2*x5 + 44854*x1*x2^2*x5 + 5844*x2^3*x5 + 32793*x1^2*x3*x5 + 46074*x1*x2*x3*x5 + 20018*x2^2*x3*x5 + 12469*x1*x3^2*x5 + 49430*x2*x3^2*x5 + 12121*x3^3*x5 + 32415*x1^2*x4*x5 + 51258*x1*x2*x4*x5 + 50775*x2^2*x4*x5 + 60423*x1*x3*x4*x5 + 8562*x2*x3*x4*x5 + 16026*x3^2*x4*x5 + 24316*x1*x4^2*x5 + 2699*x2*x4^2*x5 + 38678*x3*x4^2*x5 + 61826*x4^3*x5 + 6523*x1^2*x5^2 + 24040*x1*x2*x5^2 + 47787*x2^2*x5^2 + 55747*x1*x3*x5^2 + 16515*x2*x3*x5^2 + 47502*x3^2*x5^2 + 3463*x1*x4*x5^2 + 6287*x2*x4*x5^2 + 6662*x3*x4*x5^2 + 59281*x4^2*x5^2 + 51229*x1*x5^3 + 31716*x2*x5^3 + 14120*x3*x5^3 + 40113*x4*x5^3 + 8171*x5^4 + 20423*x1^3*x6 + 51346*x1^2*x2*x6 + 49130*x1*x2^2*x6 + 48443*x2^3*x6 + 31520*x1^2*x3*x6 + 61558*x1*x2*x3*x6 + 57377*x2^2*x3*x6 + 31614*x1*x3^2*x6 + 50540*x2*x3^2*x6 + 43121*x3^3*x6 + 39166*x1^2*x4*x6 + 4156*x1*x2*x4*x6 + 36107*x2^2*x4*x6 + 36114*x1*x3*x4*x6 + 60282*x2*x3*x4*x6 + 61952*x3^2*x4*x6 + 57537*x1*x4^2*x6 + 3714*x2*x4^2*x6 + 25572*x3*x4^2*x6 + 39128*x4^3*x6 + 62997*x1^2*x5*x6 + 19901*x1*x2*x5*x6 + 26775*x2^2*x5*x6 + 62534*x1*x3*x5*x6 + 57742*x2*x3*x5*x6 + 14304*x3^2*x5*x6 + 58354*x1*x4*x5*x6 + 1762*x2*x4*x5*x6 + 54122*x3*x4*x5*x6 + 3548*x4^2*x5*x6 + 30150*x1*x5^2*x6 + 10821*x2*x5^2*x6 + 52221*x3*x5^2*x6 + 31945*x4*x5^2*x6 + 53657*x5^3*x6 + 26538*x1^2*x6^2 + 34447*x1*x2*x6^2 + 12870*x2^2*x6^2 + 24925*x1*x3*x6^2 + 51474*x2*x3*x6^2 + 22265*x3^2*x6^2 + 44764*x1*x4*x6^2 + 25614*x2*x4*x6^2 + 25218*x3*x4*x6^2 + 49420*x4^2*x6^2 + 43990*x1*x5*x6^2 + 53576*x2*x5*x6^2 + 2821*x3*x5*x6^2 + 6906*x4*x5*x6^2 + 27394*x5^2*x6^2 + 44832*x1*x6^3 + 19583*x2*x6^3 + 41380*x3*x6^3 + 61215*x4*x6^3 + 4461*x5*x6^3 + 20200*x6^4 + 11436*x1^2*x7 + 53102*x1*x2*x7 + 3120*x2^2*x7 + 65370*x1*x3*x7 + 16608*x2*x3*x7 + 28601*x3^2*x7 + 28429*x1*x4*x7 + 25324*x2*x4*x7 + 7858*x3*x4*x7 + 35136*x4^2*x7 + 53710*x1*x5*x7 + 61742*x2*x5*x7 + 55576*x3*x5*x7 + 15875*x4*x5*x7 + 20734*x5^2*x7 + 26563*x1*x6*x7 + 10163*x2*x6*x7 + 21149*x3*x6*x7 + 30586*x4*x6*x7 + 49469*x5*x6*x7 + 163*x6^2*x7 + 47833*x7^2 + 23713*x1^2*x8 + 13769*x1*x2*x8 + 9920*x2^2*x8 + 23889*x1*x3*x8 + 37838*x2*x3*x8 + 21834*x3^2*x8 + 48589*x1*x4*x8 + 20206*x2*x4*x8 + 58932*x3*x4*x8 + 35565*x4^2*x8 + 57581*x1*x5*x8 + 2244*x2*x5*x8 + 45271*x3*x5*x8 + 29504*x4*x5*x8 + 60503*x5^2*x8 + 16690*x1*x6*x8 + 11310*x2*x6*x8 + 85*x3*x6*x8 + 27592*x4*x6*x8 + 63692*x5*x6*x8 + 3166*x6^2*x8 + 27443*x7*x8 + 20946*x8^2 + 25993*x1^2*x9 + 57953*x1*x2*x9 + 25621*x2^2*x9 + 22332*x1*x3*x9 + 43997*x2*x3*x9 + 14731*x3^2*x9 + 19223*x1*x4*x9 + 34339*x2*x4*x9 + 6437*x3*x4*x9 + 1604*x4^2*x9 + 5158*x1*x5*x9 + 5064*x2*x5*x9 + 30772*x3*x5*x9 + 4330*x4*x5*x9 + 40478*x5^2*x9 + 45856*x1*x6*x9 + 21597*x2*x6*x9 + 8883*x3*x6*x9 + 19251*x4*x6*x9 + 34532*x5*x6*x9 + 37724*x6^2*x9 + 15770*x7*x9 + 55158*x8*x9 + 61930*x9^2 + 27572*x1^2*x10 + 7215*x1*x2*x10 + 62012*x2^2*x10 + 47562*x1*x3*x10 + 36079*x2*x3*x10 + 13409*x3^2*x10 + 64190*x1*x4*x10 + 3738*x2*x4*x10 + 51945*x3*x4*x10 + 44069*x4^2*x10 + 63552*x1*x5*x10 + 30811*x2*x5*x10 + 41262*x3*x5*x10 + 18507*x4*x5*x10 + 31605*x5^2*x10 + 9720*x1*x6*x10 + 18755*x2*x6*x10 + 58983*x3*x6*x10 + 23250*x4*x6*x10 + 61414*x5*x6*x10 + 8849*x6^2*x10 + 7627*x7*x10 + 25031*x8*x10 + 22230*x9*x10 + 8650*x10^2 + 55378*x1^2*x11 + 43661*x1*x2*x11 + 64470*x2^2*x11 + 35638*x1*x3*x11 + 7985*x2*x3*x11 + 53242*x3^2*x11 + 55092*x1*x4*x11 + 54754*x2*x4*x11 + 46886*x3*x4*x11 + 39683*x4^2*x11 + 48752*x1*x5*x11 + 41598*x2*x5*x11 + 50725*x3*x5*x11 + 3486*x4*x5*x11 + 40998*x5^2*x11 + 17134*x1*x6*x11 + 28943*x2*x6*x11 + 60807*x3*x6*x11 + 60912*x4*x6*x11 + 27706*x5*x6*x11 + 54777*x6^2*x11 + 16038*x7*x11 + 13683*x8*x11 + 50600*x9*x11 + 55961*x10*x11 + 9804*x11^2 + 3308*x1^3 + 35914*x1^2*x2 + 32179*x1*x2^2 + 13663*x2^3 + 42263*x1^2*x3 + 63105*x1*x2*x3 + 25523*x2^2*x3 + 34875*x1*x3^2 + 45035*x2*x3^2 + 24306*x3^3 + 40641*x1^2*x4 + 32591*x1*x2*x4 + 35965*x2^2*x4 + 24293*x1*x3*x4 + 28474*x2*x3*x4 + 44182*x3^2*x4 + 57653*x1*x4^2 + 32477*x2*x4^2 + 302*x3*x4^2 + 3637*x4^3 + 45177*x1^2*x5 + 44997*x1*x2*x5 + 31543*x2^2*x5 + 64598*x1*x3*x5 + 54057*x2*x3*x5 + 24331*x3^2*x5 + 65260*x1*x4*x5 + 56922*x2*x4*x5 + 36301*x3*x4*x5 + 32441*x4^2*x5 + 13286*x1*x5^2 + 4664*x2*x5^2 + 33540*x3*x5^2 + 65268*x4*x5^2 + 48896*x5^3 + 58775*x1^2*x6 + 37196*x1*x2*x6 + 59799*x2^2*x6 + 1993*x1*x3*x6 + 16384*x2*x3*x6 + 54772*x3^2*x6 + 27563*x1*x4*x6 + 38426*x2*x4*x6 + 17338*x3*x4*x6 + 61761*x4^2*x6 + 43910*x1*x5*x6 + 54292*x2*x5*x6 + 17015*x3*x5*x6 + 55244*x4*x5*x6 + 20518*x5^2*x6 + 21435*x1*x6^2 + 53901*x2*x6^2 + 65183*x3*x6^2 + 14191*x4*x6^2 + 55984*x5*x6^2 + 19809*x6^3 + 33008*x1*x7 + 29919*x2*x7 + 20650*x3*x7 + 37823*x4*x7 + 34327*x5*x7 + 26456*x6*x7 + 55656*x1*x8 + 58565*x2*x8 + 13705*x3*x8 + 6974*x4*x8 + 47938*x5*x8 + 4269*x6*x8 + 47340*x1*x9 + 35582*x2*x9 + 435*x3*x9 + 43559*x4*x9 + 46082*x5*x9 + 51825*x6*x9 + 33543*x1*x10 + 58889*x2*x10 + 3073*x3*x10 + 32426*x4*x10 + 50534*x5*x10 + 31955*x6*x10 + 34179*x1*x11 + 35303*x2*x11 + 44845*x3*x11 + 43758*x4*x11 + 1580*x5*x11 + 14081*x6*x11 + 60640*x1^2 + 57937*x1*x2 + 23531*x2^2 + 15097*x1*x3 + 60566*x2*x3 + 18054*x3^2 + 55543*x1*x4 + 8339*x2*x4 + 32066*x3*x4 + 35648*x4^2 + 53389*x1*x5 + 18722*x2*x5 + 46522*x3*x5 + 43146*x4*x5 + 6902*x5^2 + 46618*x1*x6 + 46087*x2*x6 + 44056*x3*x6 + 49385*x4*x6 + 28466*x5*x6 + 2889*x6^2 + 4989*x7 + 61929*x8 + 29800*x9 + 64859*x10 + 29084*x11 + 20773*x1 + 57588*x2 + 11711*x3 + 32988*x4 + 13228*x5 + 21618*x6 + 56326,
28852*x1^4 + 1741*x1^3*x2 + 46914*x1^2*x2^2 + 54714*x1*x2^3 + 45146*x2^4 + 19276*x1^3*x3 + 22839*x1^2*x2*x3 + 22043*x1*x2^2*x3 + 29464*x2^3*x3 + 16145*x1^2*x3^2 + 8559*x1*x2*x3^2 + 47164*x2^2*x3^2 + 23039*x1*x3^3 + 63716*x2*x3^3 + 51036*x3^4 + 6201*x1^3*x4 + 52683*x1^2*x2*x4 + 51837*x1*x2^2*x4 + 42029*x2^3*x4 + 2304*x1^2*x3*x4 + 30539*x1*x2*x3*x4 + 21456*x2^2*x3*x4 + 14890*x1*x3^2*x4 + 55629*x2*x3^2*x4 + 62850*x3^3*x4 + 34537*x1^2*x4^2 + 56379*x1*x2*x4^2 + 53792*x2^2*x4^2 + 16851*x1*x3*x4^2 + 2634*x2*x3*x4^2 + 37845*x3^2*x4^2 + 32083*x1*x4^3 + 37421*x2*x4^3 + 28271*x3*x4^3 + 45040*x4^4 + 56627*x1^3*x5 + 17387*x1^2*x2*x5 + 60646*x1*x2^2*x5 + 5365*x2^3*x5 + 520*x1^2*x3*x5 + 57978*x1*x2*x3*x5 + 62688*x2^2*x3*x5 + 9444*x1*x3^2*x5 + 61735*x2*x3^2*x5 + 64519*x3^3*x5 + 43867*x1^2*x4*x5 + 45513*x1*x2*x4*x5 + 47321*x2^2*x4*x5 + 56595*x1*x3*x4*x5 + 53746*x2*x3*x4*x5 + 60468*x3^2*x4*x5 + 32478*x1*x4^2*x5 + 20163*x2*x4^2*x5 + 57699*x3*x4^2*x5 + 63241*x4^3*x5 + 57734*x1^2*x5^2 + 54041*x1*x2*x5^2 + 61831*x2^2*x5^2 + 42361*x1*x3*x5^2 + 12141*x2*x3*x5^2 + 15937*x3^2*x5^2 + 64949*x1*x4*x5^2 + 64595*x2*x4*x5^2 + 61410*x3*x4*x5^2 + 16718*x4^2*x5^2 + 58610*x1*x5^3 + 46584*x2*x5^3 + 13920*x3*x5^3 + 6675*x4*x5^3 + 46343*x5^4 + 2534*x1^3*x6 + 37903*x1^2*x2*x6 + 25353*x1*x2^2*x6 + 41086*x2^3*x6 + 41498*x1^2*x3*x6 + 49206*x1*x2*x3*x6 + 3309*x2^2*x3*x6 + 18944*x1*x3^2*x6 + 43507*x2*x3^2*x6 + 60502*x3^3*x6 + 28223*x1^2*x4*x6 + 57658*x1*x2*x4*x6 + 17132*x2^2*x4*x6 + 51972*x1*x3*x4*x6 + 41953*x2*x3*x4*x6 + 3*x3^2*x4*x6 + 15686*x1*x4^2*x6 + 48320*x2*x4^2*x6 + 34446*x3*x4^2*x6 + 63862*x4^3*x6 + 47562*x1^2*x5*x6 + 17339*x1*x2*x5*x6 + 43709*x2^2*x5*x6 + 63001*x1*x3*x5*x6 + 55238*x2*x3*x5*x6 + 15475*x3^2*x5*x6 + 13338*x1*x4*x5*x6 + 64942*x2*x4*x5*x6 + 42281*x3*x4*x5*x6 + 13922*x4^2*x5*x6 + 54862*x1*x5^2*x6 + 55532*x2*x5^2*x6 + 5129*x3*x5^2*x6 + 55771*x4*x5^2*x6 + 38002*x5^3*x6 + 60069*x1^2*x6^2 + 44922*x1*x2*x6^2 + 50223*x2^2*x6^2 + 10889*x1*x3*x6^2 + 13772*x2*x3*x6^2 + 47100*x3^2*x6^2 + 46909*x1*x4*x6^2 + 16767*x2*x4*x6^2 + 24255*x3*x4*x6^2 + 31560*x4^2*x6^2 + 42218*x1*x5*x6^2 + 37020*x2*x5*x6^2 + 28982*x3*x5*x6^2 + 11203*x4*x5*x6^2 + 30274*x5^2*x6^2 + 62764*x1*x6^3 + 8011*x2*x6^3 + 4688*x3*x6^3 + 45812*x4*x6^3 + 56033*x5*x6^3 + 16209*x6^4 + 19241*x1^2*x7 + 15940*x1*x2*x7 + 17910*x2^2*x7 + 25374*x1*x3*x7 + 63597*x2*x3*x7 + 45307*x3^2*x7 + 28660*x1*x4*x7 + 43833*x2*x4*x7 + 3157*x3*x4*x7 + 14299*x4^2*x7 + 53387*x1*x5*x7 + 12491*x2*x5*x7 + 21208*x3*x5*x7 + 276*x4*x5*x7 + 48009*x5^2*x7 + 35289*x1*x6*x7 + 39376*x2*x6*x7 + 45106*x3*x6*x7 + 63352*x4*x6*x7 + 61024*x5*x6*x7 + 39825*x6^2*x7 + 46137*x7^2 + 3257*x1^2*x8 + 27953*x1*x2*x8 + 3340*x2^2*x8 + 48595*x1*x3*x8 + 64358*x2*x3*x8 + 30001*x3^2*x8 + 5074*x1*x4*x8 + 12317*x2*x4*x8 + 53060*x3*x4*x8 + 35731*x4^2*x8 + 1688*x1*x5*x8 + 31248*x2*x5*x8 + 54904*x3*x5*x8 + 22405*x4*x5*x8 + 45435*x5^2*x8 + 35251*x1*x6*x8 + 28141*x2*x6*x8 + 43695*x3*x6*x8 + 42714*x4*x6*x8 + 29886*x5*x6*x8 + 40182*x6^2*x8 + 39068*x7*x8 + 17195*x8^2 + 10017*x1^2*x9 + 34572*x1*x2*x9 + 4347*x2^2*x9 + 52781*x1*x3*x9 + 14647*x2*x3*x9 + 52033*x3^2*x9 + 20971*x1*x4*x9 + 14813*x2*x4*x9 + 45505*x3*x4*x9 + 23258*x4^2*x9 + 39204*x1*x5*x9 + 29063*x2*x5*x9 + 26998*x3*x5*x9 + 7273*x4*x5*x9 + 29613*x5^2*x9 + 15154*x1*x6*x9 + 55027*x2*x6*x9 + 14215*x3*x6*x9 + 50529*x4*x6*x9 + 28154*x5*x6*x9 + 22691*x6^2*x9 + 46831*x7*x9 + 37979*x8*x9 + 9503*x9^2 + 29346*x1^2*x10 + 39588*x1*x2*x10 + 33306*x2^2*x10 + 57330*x1*x3*x10 + 9037*x2*x3*x10 + 10625*x3^2*x10 + 3777*x1*x4*x10 + 30629*x2*x4*x10 + 29301*x3*x4*x10 + 39302*x4^2*x10 + 12472*x1*x5*x10 + 10652*x2*x5*x10 + 40691*x3*x5*x10 + 59202*x4*x5*x10 + 6638*x5^2*x10 + 56874*x1*x6*x10 + 19762*x2*x6*x10 + 21831*x3*x6*x10 + 15950*x4*x6*x10 + 59523*x5*x6*x10 + 64244*x6^2*x10 + 43440*x7*x10 + 34796*x8*x10 + 54512*x9*x10 + 35418*x10^2 + 38520*x1^2*x11 + 6176*x1*x2*x11 + 23199*x2^2*x11 + 57153*x1*x3*x11 + 30792*x2*x3*x11 + 58491*x3^2*x11 + 13108*x1*x4*x11 + 41009*x2*x4*x11 + 12235*x3*x4*x11 + 17218*x4^2*x11 + 60530*x1*x5*x11 + 51621*x2*x5*x11 + 64045*x3*x5*x11 + 14571*x4*x5*x11 + 13261*x5^2*x11 + 52313*x1*x6*x11 + 49035*x2*x6*x11 + 14215*x3*x6*x11 + 62650*x4*x6*x11 + 33269*x5*x6*x11 + 40918*x6^2*x11 + 33985*x7*x11 + 57481*x8*x11 + 18253*x9*x11 + 13408*x10*x11 + 25947*x11^2 + 30100*x1^3 + 30557*x1^2*x2 + 17916*x1*x2^2 + 39117*x2^3 + 22215*x1^2*x3 + 7587*x1*x2*x3 + 1697*x2^2*x3 + 6283*x1*x3^2 + 21326*x2*x3^2 + 57138*x3^3 + 63713*x1^2*x4 + 10364*x1*x2*x4 + 64627*x2^2*x4 + 23898*x1*x3*x4 + 4521*x2*x3*x4 + 41941*x3^2*x4 + 60799*x1*x4^2 + 57556*x2*x4^2 + 27525*x3*x4^2 + 15104*x4^3 + 56251*x1^2*x5 + 26160*x1*x2*x5 + 9098*x2^2*x5 + 59761*x1*x3*x5 + 23326*x2*x3*x5 + 38653*x3^2*x5 + 63609*x1*x4*x5 + 61063*x2*x4*x5 + 21491*x3*x4*x5 + 64634*x4^2*x5 + 27744*x1*x5^2 + 12833*x2*x5^2 + 16389*x3*x5^2 + 30405*x4*x5^2 + 44979*x5^3 + 43544*x1^2*x6 + 50292*x1*x2*x6 + 49110*x2^2*x6 + 16313*x1*x3*x6 + 42404*x2*x3*x6 + 38358*x3^2*x6 + 35808*x1*x4*x6 + 19632*x2*x4*x6 + 52478*x3*x4*x6 + 58506*x4^2*x6 + 40497*x1*x5*x6 + 12906*x2*x5*x6 + 65024*x3*x5*x6 + 33076*x4*x5*x6 + 19299*x5^2*x6 + 15962*x1*x6^2 + 63181*x2*x6^2 + 318*x3*x6^2 + 30958*x4*x6^2 + 32179*x5*x6^2 + 58044*x6^3 + 64083*x1*x7 + 52914*x2*x7 + 26545*x3*x7 + 53365*x4*x7 + 40148*x5*x7 + 58412*x6*x7 + 58868*x1*x8 + 17008*x2*x8 + 64355*x3*x8 + 49751*x4*x8 + 7701*x5*x8 + 243*x6*x8 + 2753*x1*x9 + 38674*x2*x9 + 16554*x3*x9 + 12391*x4*x9 + 15559*x5*x9 + 49598*x6*x9 + 15920*x1*x10 + 45100*x2*x10 + 58859*x3*x10 + 8944*x4*x10 + 15857*x5*x10 + 30556*x6*x10 + 8245*x1*x11 + 34610*x2*x11 + 1929*x3*x11 + 47418*x4*x11 + 8878*x5*x11 + 13483*x6*x11 + 55476*x1^2 + 33299*x1*x2 + 20699*x2^2 + 35074*x1*x3 + 60847*x2*x3 + 8393*x3^2 + 39733*x1*x4 + 49487*x2*x4 + 35057*x3*x4 + 11500*x4^2 + 29846*x1*x5 + 32720*x2*x5 + 43413*x3*x5 + 20372*x4*x5 + 33412*x5^2 + 17854*x1*x6 + 35475*x2*x6 + 718*x3*x6 + 37091*x4*x6 + 22420*x5*x6 + 11210*x6^2 + 57015*x7 + 26716*x8 + 30482*x9 + 3276*x10 + 30922*x11 + 14470*x1 + 1448*x2 + 59707*x3 + 48465*x4 + 46558*x5 + 41036*x6 + 41384,
51873*x1^4 + 25832*x1^3*x2 + 41220*x1^2*x2^2 + 42880*x1*x2^3 + 647*x2^4 + 13572*x1^3*x3 + 47465*x1^2*x2*x3 + 29822*x1*x2^2*x3 + 40498*x2^3*x3 + 44708*x1^2*x3^2 + 1374*x1*x2*x3^2 + 37832*x2^2*x3^2 + 47184*x1*x3^3 + 49794*x2*x3^3 + 3320*x3^4 + 461*x1^3*x4 + 16640*x1^2*x2*x4 + 27075*x1*x2^2*x4 + 8813*x2^3*x4 + 38195*x1^2*x3*x4 + 24898*x1*x2*x3*x4 + 53228*x2^2*x3*x4 + 63517*x1*x3^2*x4 + 44562*x2*x3^2*x4 + 13085*x3^3*x4 + 19247*x1^2*x4^2 + 43326*x1*x2*x4^2 + 31148*x2^2*x4^2 + 24850*x1*x3*x4^2 + 65024*x2*x3*x4^2 + 12146*x3^2*x4^2 + 17538*x1*x4^3 + 62743*x2*x4^3 + 25524*x3*x4^3 + 18319*x4^4 + 16501*x1^3*x5 + 4282*x1^2*x2*x5 + 34759*x1*x2^2*x5 + 57887*x2^3*x5 + 51831*x1^2*x3*x5 + 2073*x1*x2*x3*x5 + 6149*x2^2*x3*x5 + 4803*x1*x3^2*x5 + 26533*x2*x3^2*x5 + 158*x3^3*x5 + 46078*x1^2*x4*x5 + 60294*x1*x2*x4*x5 + 60037*x2^2*x4*x5 + 13108*x1*x3*x4*x5 + 35215*x2*x3*x4*x5 + 52903*x3^2*x4*x5 + 26828*x1*x4^2*x5 + 29923*x2*x4^2*x5 + 31471*x3*x4^2*x5 + 63470*x4^3*x5 + 14954*x1^2*x5^2 + 151*x1*x2*x5^2 + 186*x2^2*x5^2 + 15463*x1*x3*x5^2 + 36731*x2*x3*x5^2 + 2026*x3^2*x5^2 + 23034*x1*x4*x5^2 + 118*x2*x4*x5^2 + 30564*x3*x4*x5^2 + 53758*x4^2*x5^2 + 15182*x1*x5^3 + 52117*x2*x5^3 + 53795*x3*x5^3 + 4292*x4*x5^3 + 22992*x5^4 + 41570*x1^3*x6 + 37458*x1^2*x2*x6 + 57870*x1*x2^2*x6 + 29759*x2^3*x6 + 50485*x1^2*x3*x6 + 20501*x1*x2*x3*x6 + 23024*x2^2*x3*x6 + 18374*x1*x3^2*x6 + 65339*x2*x3^2*x6 + 2488*x3^3*x6 + 42726*x1^2*x4*x6 + 46743*x1*x2*x4*x6 + 15160*x2^2*x4*x6 + 56886*x1*x3*x4*x6 + 13885*x2*x3*x4*x6 + 24697*x3^2*x4*x6 + 577*x1*x4^2*x6 + 13424*x2*x4^2*x6 + 62925*x3*x4^2*x6 + 44471*x4^3*x6 + 5993*x1^2*x5*x6 + 21938*x1*x2*x5*x6 + 32475*x2^2*x5*x6 + 53101*x1*x3*x5*x6 + 10094*x2*x3*x5*x6 + 55573*x3^2*x5*x6 + 56941*x1*x4*x5*x6 + 54179*x2*x4*x5*x6 + 60506*x3*x4*x5*x6 + 54819*x4^2*x5*x6 + 31673*x1*x5^2*x6 + 63853*x2*x5^2*x6 + 13112*x3*x5^2*x6 + 34312*x4*x5^2*x6 + 11282*x5^3*x6 + 11512*x1^2*x6^2 + 9506*x1*x2*x6^2 + 52733*x2^2*x6^2 + 49786*x1*x3*x6^2 + 31037*x2*x3*x6^2 + 53535*x3^2*x6^2 + 33275*x1*x4*x6^2 + 1606*x2*x4*x6^2 + 20613*x3*x4*x6^2 + 10487*x4^2*x6^2 + 8946*x1*x5*x6^2 + 62665*x2*x5*x6^2 + 62616*x3*x5*x6^2 + 62360*x4*x5*x6^2 + 30371*x5^2*x6^2 + 52421*x1*x6^3 + 3305*x2*x6^3 + 23758*x3*x6^3 + 5344*x4*x6^3 + 2651*x5*x6^3 + 60350*x6^4 + 49627*x1^2*x7 + 20518*x1*x2*x7 + 62412*x2^2*x7 + 60855*x1*x3*x7 + 49154*x2*x3*x7 + 51916*x3^2*x7 + 29794*x1*x4*x7 + 1579*x2*x4*x7 + 56609*x3*x4*x7 + 8683*x4^2*x7 + 2422*x1*x5*x7 + 31682*x2*x5*x7 + 50083*x3*x5*x7 + 17771*x4*x5*x7 + 31922*x5^2*x7 + 57175*x1*x6*x7 + 27916*x2*x6*x7 + 54019*x3*x6*x7 + 32547*x4*x6*x7 + 56398*x5*x6*x7 + 49151*x6^2*x7 + 41354*x7^2 + 60288*x1^2*x8 + 8335*x1*x2*x8 + 28854*x2^2*x8 + 34464*x1*x3*x8 + 55541*x2*x3*x8 + 7206*x3^2*x8 + 1905*x1*x4*x8 + 45101*x2*x4*x8 + 42246*x3*x4*x8 + 60084*x4^2*x8 + 45092*x1*x5*x8 + 40408*x2*x5*x8 + 6735*x3*x5*x8 + 19781*x4*x5*x8 + 31128*x5^2*x8 + 63131*x1*x6*x8 + 59991*x2*x6*x8 + 10880*x3*x6*x8 + 11754*x4*x6*x8 + 36319*x5*x6*x8 + 57282*x6^2*x8 + 17797*x7*x8 + 3172*x8^2 + 24675*x1^2*x9 + 39776*x1*x2*x9 + 13907*x2^2*x9 + 19478*x1*x3*x9 + 14311*x2*x3*x9 + 3464*x3^2*x9 + 33304*x1*x4*x9 + 8161*x2*x4*x9 + 15883*x3*x4*x9 + 24973*x4^2*x9 + 30202*x1*x5*x9 + 30524*x2*x5*x9 + 55449*x3*x5*x9 + 40764*x4*x5*x9 + 30111*x5^2*x9 + 1904*x1*x6*x9 + 2997*x2*x6*x9 + 28161*x3*x6*x9 + 37312*x4*x6*x9 + 22622*x5*x6*x9 + 55885*x6^2*x9 + 34434*x7*x9 + 2925*x8*x9 + 10314*x9^2 + 39941*x1^2*x10 + 29596*x1*x2*x10 + 45879*x2^2*x10 + 14181*x1*x3*x10 + 20968*x2*x3*x10 + 49932*x3^2*x10 + 8723*x1*x4*x10 + 58110*x2*x4*x10 + 45918*x3*x4*x10 + 45403*x4^2*x10 + 1320*x1*x5*x10 + 57543*x2*x5*x10 + 6905*x3*x5*x10 + 50273*x4*x5*x10 + 33435*x5^2*x10 + 29189*x1*x6*x10 + 60272*x2*x6*x10 + 48146*x3*x6*x10 + 41316*x4*x6*x10 + 17366*x5*x6*x10 + 17847*x6^2*x10 + 8303*x7*x10 + 6276*x8*x10 + 48063*x9*x10 + 4834*x10^2 + 32129*x1^2*x11 + 17063*x1*x2*x11 + 31678*x2^2*x11 + 3358*x1*x3*x11 + 42244*x2*x3*x11 + 54050*x3^2*x11 + 24481*x1*x4*x11 + 27534*x2*x4*x11 + 34523*x3*x4*x11 + 39999*x4^2*x11 + 35483*x1*x5*x11 + 20098*x2*x5*x11 + 39280*x3*x5*x11 + 47149*x4*x5*x11 + 14877*x5^2*x11 + 34905*x1*x6*x11 + 58841*x2*x6*x11 + 57338*x3*x6*x11 + 48196*x4*x6*x11 + 50459*x5*x6*x11 + 39510*x6^2*x11 + 31259*x7*x11 + 11069*x8*x11 + 29848*x9*x11 + 35029*x10*x11 + 38659*x11^2 + 29602*x1^3 + 43275*x1^2*x2 + 10304*x1*x2^2 + 52224*x2^3 + 40239*x1^2*x3 + 20975*x1*x2*x3 + 10924*x2^2*x3 + 26127*x1*x3^2 + 31154*x2*x3^2 + 26440*x3^3 + 30621*x1^2*x4 + 2263*x1*x2*x4 + 62149*x2^2*x4 + 42726*x1*x3*x4 + 46775*x2*x3*x4 + 24631*x3^2*x4 + 24234*x1*x4^2 + 1152*x2*x4^2 + 14616*x3*x4^2 + 9236*x4^3 + 65247*x1^2*x5 + 17774*x1*x2*x5 + 50459*x2^2*x5 + 1923*x1*x3*x5 + 33199*x2*x3*x5 + 52882*x3^2*x5 + 59777*x1*x4*x5 + 515*x2*x4*x5 + 25165*x3*x4*x5 + 41378*x4^2*x5 + 1611*x1*x5^2 + 64688*x2*x5^2 + 58622*x3*x5^2 + 26640*x4*x5^2 + 29073*x5^3 + 13955*x1^2*x6 + 15377*x1*x2*x6 + 6078*x2^2*x6 + 48057*x1*x3*x6 + 39774*x2*x3*x6 + 25295*x3^2*x6 + 15845*x1*x4*x6 + 50074*x2*x4*x6 + 4095*x3*x4*x6 + 34323*x4^2*x6 + 22493*x1*x5*x6 + 50566*x2*x5*x6 + 64551*x3*x5*x6 + 17198*x4*x5*x6 + 29309*x5^2*x6 + 26337*x1*x6^2 + 43033*x2*x6^2 + 45074*x3*x6^2 + 9458*x4*x6^2 + 10244*x5*x6^2 + 34551*x6^3 + 25194*x1*x7 + 24303*x2*x7 + 12786*x3*x7 + 25556*x4*x7 + 27308*x5*x7 + 24789*x6*x7 + 45803*x1*x8 + 38015*x2*x8 + 63273*x3*x8 + 35563*x4*x8 + 11991*x5*x8 + 9544*x6*x8 + 9577*x1*x9 + 42209*x2*x9 + 59779*x3*x9 + 36197*x4*x9 + 19989*x5*x9 + 45473*x6*x9 + 22781*x1*x10 + 20267*x2*x10 + 46765*x3*x10 + 17389*x4*x10 + 56303*x5*x10 + 26833*x6*x10 + 42514*x1*x11 + 26497*x2*x11 + 22310*x3*x11 + 39978*x4*x11 + 25310*x5*x11 + 31437*x6*x11 + 36168*x1^2 + 46901*x1*x2 + 44752*x2^2 + 3129*x1*x3 + 63747*x2*x3 + 28728*x3^2 + 22702*x1*x4 + 34277*x2*x4 + 21061*x3*x4 + 27144*x4^2 + 23783*x1*x5 + 45756*x2*x5 + 63320*x3*x5 + 43296*x4*x5 + 10095*x5^2 + 52692*x1*x6 + 6154*x2*x6 + 35698*x3*x6 + 30046*x4*x6 + 42214*x5*x6 + 9311*x6^2 + 1387*x7 + 35311*x8 + 8039*x9 + 46433*x10 + 65477*x11 + 16448*x1 + 44875*x2 + 38181*x3 + 20786*x4 + 24056*x5 + 32398*x6 + 62673,
10873*x1^4 + 62718*x1^3*x2 + 19549*x1^2*x2^2 + 43763*x1*x2^3 + 10813*x2^4 + 5639*x1^3*x3 + 24645*x1^2*x2*x3 + 40261*x1*x2^2*x3 + 13669*x2^3*x3 + 9813*x1^2*x3^2 + 1291*x1*x2*x3^2 + 7439*x2^2*x3^2 + 17691*x1*x3^3 + 29774*x2*x3^3 + 24760*x3^4 + 17048*x1^3*x4 + 43881*x1^2*x2*x4 + 15204*x1*x2^2*x4 + 18021*x2^3*x4 + 44819*x1^2*x3*x4 + 44866*x1*x2*x3*x4 + 52065*x2^2*x3*x4 + 38575*x1*x3^2*x4 + 19974*x2*x3^2*x4 + 40190*x3^3*x4 + 47954*x1^2*x4^2 + 28560*x1*x2*x4^2 + 24065*x2^2*x4^2 + 29522*x1*x3*x4^2 + 40961*x2*x3*x4^2 + 41643*x3^2*x4^2 + 5439*x1*x4^3 + 34463*x2*x4^3 + 45964*x3*x4^3 + 17694*x4^4 + 33773*x1^3*x5 + 42371*x1^2*x2*x5 + 45624*x1*x2^2*x5 + 21901*x2^3*x5 + 26589*x1^2*x3*x5 + 17132*x1*x2*x3*x5 + 32704*x2^2*x3*x5 + 45262*x1*x3^2*x5 + 21308*x2*x3^2*x5 + 39027*x3^3*x5 + 12459*x1^2*x4*x5 + 5833*x1*x2*x4*x5 + 22191*x2^2*x4*x5 + 30652*x1*x3*x4*x5 + 15526*x2*x3*x4*x5 + 58621*x3^2*x4*x5 + 56972*x1*x4^2*x5 + 25232*x2*x4^2*x5 + 15297*x3*x4^2*x5 + 1018*x4^3*x5 + 23459*x1^2*x5^2 + 53514*x1*x2*x5^2 + 18483*x2^2*x5^2 + 232*x1*x3*x5^2 + 49981*x2*x3*x5^2 + 58935*x3^2*x5^2 + 17187*x1*x4*x5^2 + 25401*x2*x4*x5^2 + 16547*x3*x4*x5^2 + 55222*x4^2*x5^2 + 38860*x1*x5^3 + 63922*x2*x5^3 + 51259*x3*x5^3 + 48211*x4*x5^3 + 2019*x5^4 + 2943*x1^3*x6 + 33905*x1^2*x2*x6 + 8762*x1*x2^2*x6 + 22314*x2^3*x6 + 57058*x1^2*x3*x6 + 8066*x1*x2*x3*x6 + 62631*x2^2*x3*x6 + 59039*x1*x3^2*x6 + 65365*x2*x3^2*x6 + 50823*x3^3*x6 + 6056*x1^2*x4*x6 + 52005*x1*x2*x4*x6 + 12110*x2^2*x4*x6 + 57054*x1*x3*x4*x6 + 47819*x2*x3*x4*x6 + 1651*x3^2*x4*x6 + 27931*x1*x4^2*x6 + 56338*x2*x4^2*x6 + 20978*x3*x4^2*x6 + 60294*x4^3*x6 + 63900*x1^2*x5*x6 + 15465*x1*x2*x5*x6 + 8990*x2^2*x5*x6 + 121*x1*x3*x5*x6 + 28592*x2*x3*x5*x6 + 24810*x3^2*x5*x6 + 27535*x1*x4*x5*x6 + 51191*x2*x4*x5*x6 + 16673*x3*x4*x5*x6 + 8106*x4^2*x5*x6 + 43206*x1*x5^2*x6 + 17664*x2*x5^2*x6 + 60888*x3*x5^2*x6 + 26782*x4*x5^2*x6 + 24727*x5^3*x6 + 55606*x1^2*x6^2 + 32533*x1*x2*x6^2 + 18141*x2^2*x6^2 + 29509*x1*x3*x6^2 + 31644*x2*x3*x6^2 + 47753*x3^2*x6^2 + 9753*x1*x4*x6^2 + 13057*x2*x4*x6^2 + 64194*x3*x4*x6^2 + 35136*x4^2*x6^2 + 11322*x1*x5*x6^2 + 25749*x2*x5*x6^2 + 30608*x3*x5*x6^2 + 12226*x4*x5*x6^2 + 39735*x5^2*x6^2 + 47019*x1*x6^3 + 3852*x2*x6^3 + 8100*x3*x6^3 + 19289*x4*x6^3 + 53847*x5*x6^3 + 48643*x6^4 + 55264*x1^2*x7 + 9739*x1*x2*x7 + 17110*x2^2*x7 + 13108*x1*x3*x7 + 40039*x2*x3*x7 + 25334*x3^2*x7 + 28365*x1*x4*x7 + 46258*x2*x4*x7 + 43603*x3*x4*x7 + 42229*x4^2*x7 + 18978*x1*x5*x7 + 9370*x2*x5*x7 + 55247*x3*x5*x7 + 9223*x4*x5*x7 + 24941*x5^2*x7 + 52679*x1*x6*x7 + 33153*x2*x6*x7 + 24945*x3*x6*x7 + 4074*x4*x6*x7 + 57839*x5*x6*x7 + 62631*x6^2*x7 + 43689*x7^2 + 30702*x1^2*x8 + 10011*x1*x2*x8 + 9206*x2^2*x8 + 1109*x1*x3*x8 + 11572*x2*x3*x8 + 4194*x3^2*x8 + 10760*x1*x4*x8 + 61199*x2*x4*x8 + 34392*x3*x4*x8 + 45283*x4^2*x8 + 10488*x1*x5*x8 + 31476*x2*x5*x8 + 4552*x3*x5*x8 + 10850*x4*x5*x8 + 22232*x5^2*x8 + 28827*x1*x6*x8 + 17864*x2*x6*x8 + 54991*x3*x6*x8 + 21678*x4*x6*x8 + 49226*x5*x6*x8 + 21915*x6^2*x8 + 14641*x7*x8 + 12789*x8^2 + 25046*x1^2*x9 + 41400*x1*x2*x9 + 27065*x2^2*x9 + 48715*x1*x3*x9 + 2472*x2*x3*x9 + 2298*x3^2*x9 + 51562*x1*x4*x9 + 3062*x2*x4*x9 + 33080*x3*x4*x9 + 3577*x4^2*x9 + 38733*x1*x5*x9 + 22991*x2*x5*x9 + 51697*x3*x5*x9 + 22354*x4*x5*x9 + 1198*x5^2*x9 + 64462*x1*x6*x9 + 31100*x2*x6*x9 + 52536*x3*x6*x9 + 61488*x4*x6*x9 + 2596*x5*x6*x9 + 50442*x6^2*x9 + 37260*x7*x9 + 23532*x8*x9 + 23977*x9^2 + 42498*x1^2*x10 + 41261*x1*x2*x10 + 40710*x2^2*x10 + 50204*x1*x3*x10 + 1599*x2*x3*x10 + 177*x3^2*x10 + 41820*x1*x4*x10 + 21512*x2*x4*x10 + 64712*x3*x4*x10 + 6171*x4^2*x10 + 11522*x1*x5*x10 + 44920*x2*x5*x10 + 43228*x3*x5*x10 + 45711*x4*x5*x10 + 36241*x5^2*x10 + 62296*x1*x6*x10 + 9576*x2*x6*x10 + 4294*x3*x6*x10 + 1430*x4*x6*x10 + 58459*x5*x6*x10 + 51385*x6^2*x10 + 54435*x7*x10 + 31064*x8*x10 + 13125*x9*x10 + 3931*x10^2 + 36951*x1^2*x11 + 37273*x1*x2*x11 + 14990*x2^2*x11 + 33968*x1*x3*x11 + 16088*x2*x3*x11 + 50098*x3^2*x11 + 34412*x1*x4*x11 + 6867*x2*x4*x11 + 35893*x3*x4*x11 + 23126*x4^2*x11 + 22757*x1*x5*x11 + 43890*x2*x5*x11 + 41607*x3*x5*x11 + 5466*x4*x5*x11 + 32886*x5^2*x11 + 652*x1*x6*x11 + 52196*x2*x6*x11 + 46716*x3*x6*x11 + 25768*x4*x6*x11 + 12180*x5*x6*x11 + 36956*x6^2*x11 + 16224*x7*x11 + 61965*x8*x11 + 49446*x9*x11 + 2370*x10*x11 + 12786*x11^2 + 62892*x1^3 + 31191*x1^2*x2 + 13127*x1*x2^2 + 54725*x2^3 + 36815*x1^2*x3 + 19089*x1*x2*x3 + 52430*x2^2*x3 + 10727*x1*x3^2 + 45280*x2*x3^2 + 60773*x3^3 + 28861*x1^2*x4 + 16528*x1*x2*x4 + 16760*x2^2*x4 + 30362*x1*x3*x4 + 25762*x2*x3*x4 + 53081*x3^2*x4 + 54506*x1*x4^2 + 56637*x2*x4^2 + 24214*x3*x4^2 + 1443*x4^3 + 31439*x1^2*x5 + 50406*x1*x2*x5 + 24175*x2^2*x5 + 45877*x1*x3*x5 + 14211*x2*x3*x5 + 53285*x3^2*x5 + 8210*x1*x4*x5 + 25235*x2*x4*x5 + 25798*x3*x4*x5 + 6549*x4^2*x5 + 49297*x1*x5^2 + 39124*x2*x5^2 + 27480*x3*x5^2 + 26963*x4*x5^2 + 14687*x5^3 + 63273*x1^2*x6 + 37926*x1*x2*x6 + 26166*x2^2*x6 + 44910*x1*x3*x6 + 38697*x2*x3*x6 + 30740*x3^2*x6 + 63464*x1*x4*x6 + 56835*x2*x4*x6 + 41730*x3*x4*x6 + 65510*x4^2*x6 + 56377*x1*x5*x6 + 49404*x2*x5*x6 + 47981*x3*x5*x6 + 29997*x4*x5*x6 + 40776*x5^2*x6 + 33489*x1*x6^2 + 60890*x2*x6^2 + 35476*x3*x6^2 + 50546*x4*x6^2 + 3488*x5*x6^2 + 56954*x6^3 + 11135*x1*x7 + 51686*x2*x7 + 54275*x3*x7 + 64676*x4*x7 + 13020*x5*x7 + 46030*x6*x7 + 31899*x1*x8 + 37028*x2*x8 + 12111*x3*x8 + 17925*x4*x8 + 61675*x5*x8 + 1775*x6*x8 + 29047*x1*x9 + 753*x2*x9 + 57970*x3*x9 + 7837*x4*x9 + 48042*x5*x9 + 47787*x6*x9 + 60316*x1*x10 + 53799*x2*x10 + 26215*x3*x10 + 49116*x4*x10 + 26274*x5*x10 + 3537*x6*x10 + 14059*x1*x11 + 52089*x2*x11 + 35373*x3*x11 + 54838*x4*x11 + 26966*x5*x11 + 34916*x6*x11 + 52845*x1^2 + 45152*x1*x2 + 7503*x2^2 + 45172*x1*x3 + 49568*x2*x3 + 22393*x3^2 + 51453*x1*x4 + 15364*x2*x4 + 7157*x3*x4 + 61686*x4^2 + 5183*x1*x5 + 61275*x2*x5 + 8437*x3*x5 + 27446*x4*x5 + 34519*x5^2 + 24009*x1*x6 + 37105*x2*x6 + 59501*x3*x6 + 8313*x4*x6 + 37142*x5*x6 + 9880*x6^2 + 32354*x7 + 62189*x8 + 38894*x9 + 26361*x10 + 47908*x11 + 61355*x1 + 58596*x2 + 11653*x3 + 52711*x4 + 34119*x5 + 19733*x6 + 63829,
29540*x1^4 + 36798*x1^3*x2 + 49739*x1^2*x2^2 + 51458*x1*x2^3 + 19433*x2^4 + 40025*x1^3*x3 + 27943*x1^2*x2*x3 + 56419*x1*x2^2*x3 + 29986*x2^3*x3 + 3823*x1^2*x3^2 + 5845*x1*x2*x3^2 + 37432*x2^2*x3^2 + 15428*x1*x3^3 + 5726*x2*x3^3 + 44961*x3^4 + 22081*x1^3*x4 + 53457*x1^2*x2*x4 + 45354*x1*x2^2*x4 + 32409*x2^3*x4 + 23867*x1^2*x3*x4 + 53135*x1*x2*x3*x4 + 18187*x2^2*x3*x4 + 23203*x1*x3^2*x4 + 1593*x2*x3^2*x4 + 48101*x3^3*x4 + 51580*x1^2*x4^2 + 41818*x1*x2*x4^2 + 43176*x2^2*x4^2 + 17304*x1*x3*x4^2 + 43948*x2*x3*x4^2 + 24403*x3^2*x4^2 + 22655*x1*x4^3 + 15122*x2*x4^3 + 26576*x3*x4^3 + 22798*x4^4 + 26546*x1^3*x5 + 9325*x1^2*x2*x5 + 37570*x1*x2^2*x5 + 29261*x2^3*x5 + 2226*x1^2*x3*x5 + 19441*x1*x2*x3*x5 + 22136*x2^2*x3*x5 + 25262*x1*x3^2*x5 + 20553*x2*x3^2*x5 + 15773*x3^3*x5 + 28756*x1^2*x4*x5 + 57488*x1*x2*x4*x5 + 36144*x2^2*x4*x5 + 1741*x1*x3*x4*x5 + 5264*x2*x3*x4*x5 + 55468*x3^2*x4*x5 + 58144*x1*x4^2*x5 + 59986*x2*x4^2*x5 + 14717*x3*x4^2*x5 + 18452*x4^3*x5 + 17380*x1^2*x5^2 + 21728*x1*x2*x5^2 + 3876*x2^2*x5^2 + 10156*x1*x3*x5^2 + 6216*x2*x3*x5^2 + 44237*x3^2*x5^2 + 14541*x1*x4*x5^2 + 32440*x2*x4*x5^2 + 13747*x3*x4*x5^2 + 27423*x4^2*x5^2 + 40400*x1*x5^3 + 22711*x2*x5^3 + 29889*x3*x5^3 + 35593*x4*x5^3 + 21031*x5^4 + 40775*x1^3*x6 + 54243*x1^2*x2*x6 + 51097*x1*x2^2*x6 + 18313*x2^3*x6 + 36303*x1^2*x3*x6 + 46616*x1*x2*x3*x6 + 8360*x2^2*x3*x6 + 2402*x1*x3^2*x6 + 61867*x2*x3^2*x6 + 43407*x3^3*x6 + 30318*x1^2*x4*x6 + 24434*x1*x2*x4*x6 + 37689*x2^2*x4*x6 + 26105*x1*x3*x4*x6 + 17317*x2*x3*x4*x6 + 46912*x3^2*x4*x6 + 35612*x1*x4^2*x6 + 1522*x2*x4^2*x6 + 48838*x3*x4^2*x6 + 1027*x4^3*x6 + 29520*x1^2*x5*x6 + 19833*x1*x2*x5*x6 + 9230*x2^2*x5*x6 + 11793*x1*x3*x5*x6 + 27764*x2*x3*x5*x6 + 59288*x3^2*x5*x6 + 29600*x1*x4*x5*x6 + 59339*x2*x4*x5*x6 + 35088*x3*x4*x5*x6 + 21273*x4^2*x5*x6 + 60412*x1*x5^2*x6 + 37962*x2*x5^2*x6 + 30609*x3*x5^2*x6 + 50061*x4*x5^2*x6 + 26512*x5^3*x6 + 60664*x1^2*x6^2 + 2792*x1*x2*x6^2 + 46559*x2^2*x6^2 + 28530*x1*x3*x6^2 + 23197*x2*x3*x6^2 + 58785*x3^2*x6^2 + 18561*x1*x4*x6^2 + 30117*x2*x4*x6^2 + 1932*x3*x4*x6^2 + 19173*x4^2*x6^2 + 52359*x1*x5*x6^2 + 1180*x2*x5*x6^2 + 41292*x3*x5*x6^2 + 45922*x4*x5*x6^2 + 35464*x5^2*x6^2 + 7940*x1*x6^3 + 35798*x2*x6^3 + 10233*x3*x6^3 + 18635*x4*x6^3 + 52656*x5*x6^3 + 39967*x6^4 + 53827*x1^2*x7 + 27742*x1*x2*x7 + 49095*x2^2*x7 + 26458*x1*x3*x7 + 20230*x2*x3*x7 + 3089*x3^2*x7 + 32876*x1*x4*x7 + 22908*x2*x4*x7 + 16012*x3*x4*x7 + 32997*x4^2*x7 + 52383*x1*x5*x7 + 62527*x2*x5*x7 + 63722*x3*x5*x7 + 24931*x4*x5*x7 + 51557*x5^2*x7 + 6352*x1*x6*x7 + 6286*x2*x6*x7 + 45918*x3*x6*x7 + 43800*x4*x6*x7 + 61280*x5*x6*x7 + 14885*x6^2*x7 + 12444*x7^2 + 54555*x1^2*x8 + 61987*x1*x2*x8 + 13854*x2^2*x8 + 34170*x1*x3*x8 + 53523*x2*x3*x8 + 699*x3^2*x8 + 58734*x1*x4*x8 + 37970*x2*x4*x8 + 38061*x3*x4*x8 + 61226*x4^2*x8 + 23270*x1*x5*x8 + 15852*x2*x5*x8 + 12456*x3*x5*x8 + 28331*x4*x5*x8 + 60746*x5^2*x8 + 11413*x1*x6*x8 + 42714*x2*x6*x8 + 17489*x3*x6*x8 + 11304*x4*x6*x8 + 42057*x5*x6*x8 + 11277*x6^2*x8 + 52487*x7*x8 + 51644*x8^2 + 14032*x1^2*x9 + 17250*x1*x2*x9 + 31257*x2^2*x9 + 55733*x1*x3*x9 + 53651*x2*x3*x9 + 56604*x3^2*x9 + 15094*x1*x4*x9 + 47664*x2*x4*x9 + 48910*x3*x4*x9 + 13637*x4^2*x9 + 15366*x1*x5*x9 + 15037*x2*x5*x9 + 49653*x3*x5*x9 + 33939*x4*x5*x9 + 44784*x5^2*x9 + 46284*x1*x6*x9 + 19643*x2*x6*x9 + 22689*x3*x6*x9 + 12562*x4*x6*x9 + 30937*x5*x6*x9 + 41312*x6^2*x9 + 19309*x7*x9 + 27438*x8*x9 + 27470*x9^2 + 55505*x1^2*x10 + 7165*x1*x2*x10 + 33051*x2^2*x10 + 27115*x1*x3*x10 + 49476*x2*x3*x10 + 29942*x3^2*x10 + 8787*x1*x4*x10 + 40115*x2*x4*x10 + 580*x3*x4*x10 + 17420*x4^2*x10 + 44049*x1*x5*x10 + 25700*x2*x5*x10 + 18139*x3*x5*x10 + 1207*x4*x5*x10 + 64454*x5^2*x10 + 56893*x1*x6*x10 + 61654*x2*x6*x10 + 56712*x3*x6*x10 + 41130*x4*x6*x10 + 40146*x5*x6*x10 + 38325*x6^2*x10 + 16810*x7*x10 + 63798*x8*x10 + 460*x9*x10 + 52462*x10^2 + 11595*x1^2*x11 + 17403*x1*x2*x11 + 56012*x2^2*x11 + 64670*x1*x3*x11 + 41173*x2*x3*x11 + 42885*x3^2*x11 + 56850*x1*x4*x11 + 52211*x2*x4*x11 + 22756*x3*x4*x11 + 14442*x4^2*x11 + 32078*x1*x5*x11 + 6510*x2*x5*x11 + 15342*x3*x5*x11 + 24154*x4*x5*x11 + 25921*x5^2*x11 + 29449*x1*x6*x11 + 2747*x2*x6*x11 + 29096*x3*x6*x11 + 19825*x4*x6*x11 + 41152*x5*x6*x11 + 19628*x6^2*x11 + 51619*x7*x11 + 22088*x8*x11 + 64311*x9*x11 + 9156*x10*x11 + 20594*x11^2 + 33638*x1^3 + 4993*x1^2*x2 + 1772*x1*x2^2 + 51648*x2^3 + 49828*x1^2*x3 + 62124*x1*x2*x3 + 19859*x2^2*x3 + 34527*x1*x3^2 + 39259*x2*x3^2 + 25184*x3^3 + 22689*x1^2*x4 + 29726*x1*x2*x4 + 32350*x2^2*x4 + 16952*x1*x3*x4 + 42877*x2*x3*x4 + 33265*x3^2*x4 + 29748*x1*x4^2 + 22433*x2*x4^2 + 20090*x3*x4^2 + 38065*x4^3 + 26200*x1^2*x5 + 15138*x1*x2*x5 + 56101*x2^2*x5 + 34150*x1*x3*x5 + 40641*x2*x3*x5 + 3362*x3^2*x5 + 61679*x1*x4*x5 + 32820*x2*x4*x5 + 64984*x3*x4*x5 + 15195*x4^2*x5 + 10678*x1*x5^2 + 42052*x2*x5^2 + 36833*x3*x5^2 + 52518*x4*x5^2 + 12090*x5^3 + 9266*x1^2*x6 + 4265*x1*x2*x6 + 4556*x2^2*x6 + 38575*x1*x3*x6 + 574*x2*x3*x6 + 11463*x3^2*x6 + 12966*x1*x4*x6 + 2844*x2*x4*x6 + 11464*x3*x4*x6 + 2150*x4^2*x6 + 24859*x1*x5*x6 + 65040*x2*x5*x6 + 14376*x3*x5*x6 + 51052*x4*x5*x6 + 59545*x5^2*x6 + 39940*x1*x6^2 + 48063*x2*x6^2 + 7325*x3*x6^2 + 18770*x4*x6^2 + 57722*x5*x6^2 + 19318*x6^3 + 12559*x1*x7 + 27300*x2*x7 + 32078*x3*x7 + 36157*x4*x7 + 30071*x5*x7 + 47445*x6*x7 + 21471*x1*x8 + 39460*x2*x8 + 59731*x3*x8 + 19721*x4*x8 + 14148*x5*x8 + 36949*x6*x8 + 53756*x1*x9 + 42276*x2*x9 + 18496*x3*x9 + 31210*x4*x9 + 47741*x5*x9 + 21427*x6*x9 + 49428*x1*x10 + 32634*x2*x10 + 45670*x3*x10 + 35600*x4*x10 + 557*x5*x10 + 54382*x6*x10 + 47465*x1*x11 + 4386*x2*x11 + 31981*x3*x11 + 56372*x4*x11 + 10607*x5*x11 + 30375*x6*x11 + 24601*x1^2 + 45212*x1*x2 + 62655*x2^2 + 23548*x1*x3 + 30394*x2*x3 + 23701*x3^2 + 15706*x1*x4 + 61811*x2*x4 + 16031*x3*x4 + 57382*x4^2 + 35916*x1*x5 + 42339*x2*x5 + 17870*x3*x5 + 35160*x4*x5 + 55134*x5^2 + 64859*x1*x6 + 28191*x2*x6 + 27250*x3*x6 + 18416*x4*x6 + 33194*x5*x6 + 45774*x6^2 + 18142*x7 + 52289*x8 + 409*x9 + 50915*x10 + 39174*x11 + 31029*x1 + 41195*x2 + 4996*x3 + 49622*x4 + 64398*x5 + 10151*x6 + 17839,
39412*x1^4 + 36462*x1^3*x2 + 42158*x1^2*x2^2 + 52797*x1*x2^3 + 52138*x2^4 + 16966*x1^3*x3 + 53390*x1^2*x2*x3 + 9597*x1*x2^2*x3 + 25653*x2^3*x3 + 64960*x1^2*x3^2 + 56399*x1*x2*x3^2 + 52276*x2^2*x3^2 + 35411*x1*x3^3 + 1895*x2*x3^3 + 8975*x3^4 + 49384*x1^3*x4 + 27254*x1^2*x2*x4 + 59640*x1*x2^2*x4 + 44904*x2^3*x4 + 10259*x1^2*x3*x4 + 59411*x1*x2*x3*x4 + 56984*x2^2*x3*x4 + 53130*x1*x3^2*x4 + 55106*x2*x3^2*x4 + 45992*x3^3*x4 + 39568*x1^2*x4^2 + 61413*x1*x2*x4^2 + 11734*x2^2*x4^2 + 28531*x1*x3*x4^2 + 3586*x2*x3*x4^2 + 39902*x3^2*x4^2 + 61113*x1*x4^3 + 34396*x2*x4^3 + 24236*x3*x4^3 + 30412*x4^4 + 31108*x1^3*x5 + 22731*x1^2*x2*x5 + 14303*x1*x2^2*x5 + 15445*x2^3*x5 + 49336*x1^2*x3*x5 + 5210*x1*x2*x3*x5 + 19110*x2^2*x3*x5 + 62372*x1*x3^2*x5 + 26397*x2*x3^2*x5 + 16521*x3^3*x5 + 4496*x1^2*x4*x5 + 42599*x1*x2*x4*x5 + 40216*x2^2*x4*x5 + 8301*x1*x3*x4*x5 + 64275*x2*x3*x4*x5 + 46308*x3^2*x4*x5 + 55353*x1*x4^2*x5 + 30346*x2*x4^2*x5 + 51585*x3*x4^2*x5 + 58762*x4^3*x5 + 8497*x1^2*x5^2 + 49155*x1*x2*x5^2 + 57843*x2^2*x5^2 + 60946*x1*x3*x5^2 + 33099*x2*x3*x5^2 + 2294*x3^2*x5^2 + 35708*x1*x4*x5^2 + 28599*x2*x4*x5^2 + 24384*x3*x4*x5^2 + 35651*x4^2*x5^2 + 60449*x1*x5^3 + 14775*x2*x5^3 + 3930*x3*x5^3 + 7605*x4*x5^3 + 34916*x5^4 + 31596*x1^3*x6 + 2575*x1^2*x2*x6 + 50055*x1*x2^2*x6 + 1975*x2^3*x6 + 44636*x1^2*x3*x6 + 55074*x1*x2*x3*x6 + 37669*x2^2*x3*x6 + 59636*x1*x3^2*x6 + 60062*x2*x3^2*x6 + 21240*x3^3*x6 + 27999*x1^2*x4*x6 + 926*x1*x2*x4*x6 + 10486*x2^2*x4*x6 + 34356*x1*x3*x4*x6 + 6221*x2*x3*x4*x6 + 51300*x3^2*x4*x6 + 19743*x1*x4^2*x6 + 59539*x2*x4^2*x6 + 29030*x3*x4^2*x6 + 26155*x4^3*x6 + 5440*x1^2*x5*x6 + 30582*x1*x2*x5*x6 + 35924*x2^2*x5*x6 + 18810*x1*x3*x5*x6 + 36033*x2*x3*x5*x6 + 19409*x3^2*x5*x6 + 19316*x1*x4*x5*x6 + 44263*x2*x4*x5*x6 + 54482*x3*x4*x5*x6 + 2785*x4^2*x5*x6 + 59184*x1*x5^2*x6 + 28778*x2*x5^2*x6 + 58982*x3*x5^2*x6 + 22141*x4*x5^2*x6 + 14326*x5^3*x6 + 57703*x1^2*x6^2 + 50685*x1*x2*x6^2 + 14176*x2^2*x6^2 + 47915*x1*x3*x6^2 + 48457*x2*x3*x6^2 + 55631*x3^2*x6^2 + 49059*x1*x4*x6^2 + 58243*x2*x4*x6^2 + 2344*x3*x4*x6^2 + 9918*x4^2*x6^2 + 12033*x1*x5*x6^2 + 27493*x2*x5*x6^2 + 59223*x3*x5*x6^2 + 44180*x4*x5*x6^2 + 63429*x5^2*x6^2 + 33433*x1*x6^3 + 27587*x2*x6^3 + 51651*x3*x6^3 + 34250*x4*x6^3 + 32942*x5*x6^3 + 30169*x6^4 + 22607*x1^2*x7 + 55208*x1*x2*x7 + 25734*x2^2*x7 + 4943*x1*x3*x7 + 57797*x2*x3*x7 + 7472*x3^2*x7 + 37658*x1*x4*x7 + 33762*x2*x4*x7 + 26572*x3*x4*x7 + 20923*x4^2*x7 + 12491*x1*x5*x7 + 2532*x2*x5*x7 + 48436*x3*x5*x7 + 65227*x4*x5*x7 + 5569*x5^2*x7 + 25688*x1*x6*x7 + 55099*x2*x6*x7 + 27821*x3*x6*x7 + 28564*x4*x6*x7 + 9965*x5*x6*x7 + 8829*x6^2*x7 + 47740*x7^2 + 39102*x1^2*x8 + 28455*x1*x2*x8 + 51438*x2^2*x8 + 50086*x1*x3*x8 + 3927*x2*x3*x8 + 37730*x3^2*x8 + 30559*x1*x4*x8 + 24166*x2*x4*x8 + 6215*x3*x4*x8 + 35820*x4^2*x8 + 36542*x1*x5*x8 + 47075*x2*x5*x8 + 14560*x3*x5*x8 + 12009*x4*x5*x8 + 23943*x5^2*x8 + 31367*x1*x6*x8 + 64811*x2*x6*x8 + 24955*x3*x6*x8 + 43668*x4*x6*x8 + 28648*x5*x6*x8 + 62489*x6^2*x8 + 36486*x7*x8 + 16346*x8^2 + 53586*x1^2*x9 + 15912*x1*x2*x9 + 51474*x2^2*x9 + 49791*x1*x3*x9 + 9107*x2*x3*x9 + 61988*x3^2*x9 + 8918*x1*x4*x9 + 34583*x2*x4*x9 + 12980*x3*x4*x9 + 12566*x4^2*x9 + 44710*x1*x5*x9 + 36320*x2*x5*x9 + 48118*x3*x5*x9 + 45810*x4*x5*x9 + 16056*x5^2*x9 + 17043*x1*x6*x9 + 34159*x2*x6*x9 + 36151*x3*x6*x9 + 4608*x4*x6*x9 + 8683*x5*x6*x9 + 28282*x6^2*x9 + 1631*x7*x9 + 42747*x8*x9 + 35864*x9^2 + 12112*x1^2*x10 + 57575*x1*x2*x10 + 17407*x2^2*x10 + 46252*x1*x3*x10 + 18583*x2*x3*x10 + 12662*x3^2*x10 + 53830*x1*x4*x10 + 50501*x2*x4*x10 + 23597*x3*x4*x10 + 25042*x4^2*x10 + 12874*x1*x5*x10 + 28440*x2*x5*x10 + 34198*x3*x5*x10 + 42862*x4*x5*x10 + 40792*x5^2*x10 + 30899*x1*x6*x10 + 47160*x2*x6*x10 + 38457*x3*x6*x10 + 49858*x4*x6*x10 + 46153*x5*x6*x10 + 21187*x6^2*x10 + 31122*x7*x10 + 21349*x8*x10 + 25303*x9*x10 + 20740*x10^2 + 11420*x1^2*x11 + 10496*x1*x2*x11 + 3830*x2^2*x11 + 20489*x1*x3*x11 + 1421*x2*x3*x11 + 4283*x3^2*x11 + 12462*x1*x4*x11 + 1344*x2*x4*x11 + 23034*x3*x4*x11 + 45072*x4^2*x11 + 23851*x1*x5*x11 + 7457*x2*x5*x11 + 1423*x3*x5*x11 + 57873*x4*x5*x11 + 46785*x5^2*x11 + 35039*x1*x6*x11 + 18672*x2*x6*x11 + 592*x3*x6*x11 + 27081*x4*x6*x11 + 26314*x5*x6*x11 + 7446*x6^2*x11 + 47504*x7*x11 + 51005*x8*x11 + 54975*x9*x11 + 40487*x10*x11 + 46802*x11^2 + 17353*x1^3 + 44186*x1^2*x2 + 22332*x1*x2^2 + 38253*x2^3 + 61121*x1^2*x3 + 8348*x1*x2*x3 + 37517*x2^2*x3 + 29355*x1*x3^2 + 49692*x2*x3^2 + 27170*x3^3 + 53785*x1^2*x4 + 5701*x1*x2*x4 + 42131*x2^2*x4 + 57582*x1*x3*x4 + 63697*x2*x3*x4 + 36565*x3^2*x4 + 29081*x1*x4^2 + 39618*x2*x4^2 + 57027*x3*x4^2 + 40473*x4^3 + 12122*x1^2*x5 + 39179*x1*x2*x5 + 52171*x2^2*x5 + 19615*x1*x3*x5 + 43563*x2*x3*x5 + 54625*x3^2*x5 + 59237*x1*x4*x5 + 44791*x2*x4*x5 + 18277*x3*x4*x5 + 32760*x4^2*x5 + 7100*x1*x5^2 + 44069*x2*x5^2 + 36517*x3*x5^2 + 26867*x4*x5^2 + 47112*x5^3 + 13211*x1^2*x6 + 29001*x1*x2*x6 + 24775*x2^2*x6 + 6624*x1*x3*x6 + 29190*x2*x3*x6 + 14010*x3^2*x6 + 25572*x1*x4*x6 + 17101*x2*x4*x6 + 48982*x3*x4*x6 + 36328*x4^2*x6 + 24859*x1*x5*x6 + 47307*x2*x5*x6 + 14654*x3*x5*x6 + 38803*x4*x5*x6 + 29953*x5^2*x6 + 13757*x1*x6^2 + 853*x2*x6^2 + 60007*x3*x6^2 + 42968*x4*x6^2 + 52646*x5*x6^2 + 11943*x6^3 + 56140*x1*x7 + 4485*x2*x7 + 6623*x3*x7 + 17026*x4*x7 + 59205*x5*x7 + 4835*x6*x7 + 18392*x1*x8 + 62100*x2*x8 + 38949*x3*x8 + 5541*x4*x8 + 33493*x5*x8 + 51788*x6*x8 + 27693*x1*x9 + 16438*x2*x9 + 8919*x3*x9 + 37067*x4*x9 + 46025*x5*x9 + 43639*x6*x9 + 17718*x1*x10 + 35047*x2*x10 + 61551*x3*x10 + 55866*x4*x10 + 59372*x5*x10 + 65346*x6*x10 + 26135*x1*x11 + 60567*x2*x11 + 41655*x3*x11 + 63083*x4*x11 + 25577*x5*x11 + 54270*x6*x11 + 26881*x1^2 + 45556*x1*x2 + 65004*x2^2 + 1022*x1*x3 + 1230*x2*x3 + 53997*x3^2 + 56761*x1*x4 + 59456*x2*x4 + 60179*x3*x4 + 14226*x4^2 + 47657*x1*x5 + 30395*x2*x5 + 63895*x3*x5 + 22537*x4*x5 + 42445*x5^2 + 31766*x1*x6 + 59479*x2*x6 + 47623*x3*x6 + 4258*x4*x6 + 6794*x5*x6 + 34729*x6^2 + 18968*x7 + 7173*x8 + 17919*x9 + 61140*x10 + 37642*x11 + 63619*x1 + 26391*x2 + 51340*x3 + 17035*x4 + 45966*x5 + 23124*x6 + 27187,
41328*x1^4 + 52014*x1^3*x2 + 11233*x1^2*x2^2 + 43719*x1*x2^3 + 60351*x2^4 + 2193*x1^3*x3 + 58384*x1^2*x2*x3 + 64329*x1*x2^2*x3 + 25481*x2^3*x3 + 60232*x1^2*x3^2 + 27092*x1*x2*x3^2 + 4183*x2^2*x3^2 + 64416*x1*x3^3 + 44074*x2*x3^3 + 18550*x3^4 + 49418*x1^3*x4 + 19419*x1^2*x2*x4 + 27017*x1*x2^2*x4 + 9525*x2^3*x4 + 49385*x1^2*x3*x4 + 48672*x1*x2*x3*x4 + 13853*x2^2*x3*x4 + 52703*x1*x3^2*x4 + 36803*x2*x3^2*x4 + 39250*x3^3*x4 + 43360*x1^2*x4^2 + 58419*x1*x2*x4^2 + 60838*x2^2*x4^2 + 51872*x1*x3*x4^2 + 19314*x2*x3*x4^2 + 56984*x3^2*x4^2 + 18495*x1*x4^3 + 6125*x2*x4^3 + 48231*x3*x4^3 + 16751*x4^4 + 17052*x1^3*x5 + 52451*x1^2*x2*x5 + 19431*x1*x2^2*x5 + 41849*x2^3*x5 + 8181*x1^2*x3*x5 + 28471*x1*x2*x3*x5 + 64289*x2^2*x3*x5 + 38702*x1*x3^2*x5 + 3590*x2*x3^2*x5 + 37513*x3^3*x5 + 13445*x1^2*x4*x5 + 32775*x1*x2*x4*x5 + 9778*x2^2*x4*x5 + 65014*x1*x3*x4*x5 + 61951*x2*x3*x4*x5 + 31556*x3^2*x4*x5 + 4350*x1*x4^2*x5 + 29438*x2*x4^2*x5 + 50298*x3*x4^2*x5 + 48690*x4^3*x5 + 5143*x1^2*x5^2 + 48611*x1*x2*x5^2 + 12404*x2^2*x5^2 + 23087*x1*x3*x5^2 + 45257*x2*x3*x5^2 + 13468*x3^2*x5^2 + 13471*x1*x4*x5^2 + 28587*x2*x4*x5^2 + 9673*x3*x4*x5^2 + 44374*x4^2*x5^2 + 43287*x1*x5^3 + 23558*x2*x5^3 + 26490*x3*x5^3 + 49845*x4*x5^3 + 60206*x5^4 + 48761*x1^3*x6 + 15302*x1^2*x2*x6 + 49392*x1*x2^2*x6 + 28175*x2^3*x6 + 12456*x1^2*x3*x6 + 24466*x1*x2*x3*x6 + 59568*x2^2*x3*x6 + 2165*x1*x3^2*x6 + 47321*x2*x3^2*x6 + 33521*x3^3*x6 + 4510*x1^2*x4*x6 + 63578*x1*x2*x4*x6 + 10906*x2^2*x4*x6 + 63435*x1*x3*x4*x6 + 47587*x2*x3*x4*x6 + 61760*x3^2*x4*x6 + 29924*x1*x4^2*x6 + 39106*x2*x4^2*x6 + 20856*x3*x4^2*x6 + 38664*x4^3*x6 + 6124*x1^2*x5*x6 + 9188*x1*x2*x5*x6 + 22659*x2^2*x5*x6 + 60022*x1*x3*x5*x6 + 1935*x2*x3*x5*x6 + 8815*x3^2*x5*x6 + 27816*x1*x4*x5*x6 + 20665*x2*x4*x5*x6 + 12187*x3*x4*x5*x6 + 26835*x4^2*x5*x6 + 62844*x1*x5^2*x6 + 59311*x2*x5^2*x6 + 19290*x3*x5^2*x6 + 42315*x4*x5^2*x6 + 15120*x5^3*x6 + 21214*x1^2*x6^2 + 25997*x1*x2*x6^2 + 23307*x2^2*x6^2 + 18798*x1*x3*x6^2 + 3708*x2*x3*x6^2 + 24250*x3^2*x6^2 + 1565*x1*x4*x6^2 + 37319*x2*x4*x6^2 + 36232*x3*x4*x6^2 + 28331*x4^2*x6^2 + 21365*x1*x5*x6^2 + 32408*x2*x5*x6^2 + 52810*x3*x5*x6^2 + 43836*x4*x5*x6^2 + 21285*x5^2*x6^2 + 32518*x1*x6^3 + 27985*x2*x6^3 + 61601*x3*x6^3 + 51195*x4*x6^3 + 54788*x5*x6^3 + 8048*x6^4 + 43359*x1^2*x7 + 42101*x1*x2*x7 + 29024*x2^2*x7 + 49581*x1*x3*x7 + 30489*x2*x3*x7 + 25653*x3^2*x7 + 16967*x1*x4*x7 + 47360*x2*x4*x7 + 5236*x3*x4*x7 + 8285*x4^2*x7 + 21551*x1*x5*x7 + 199*x2*x5*x7 + 25161*x3*x5*x7 + 33422*x4*x5*x7 + 3267*x5^2*x7 + 45776*x1*x6*x7 + 29744*x2*x6*x7 + 22303*x3*x6*x7 + 58289*x4*x6*x7 + 38258*x5*x6*x7 + 43110*x6^2*x7 + 56042*x7^2 + 15226*x1^2*x8 + 53419*x1*x2*x8 + 2867*x2^2*x8 + 40797*x1*x3*x8 + 38672*x2*x3*x8 + 24585*x3^2*x8 + 25063*x1*x4*x8 + 10949*x2*x4*x8 + 61747*x3*x4*x8 + 46394*x4^2*x8 + 57521*x1*x5*x8 + 53141*x2*x5*x8 + 950*x3*x5*x8 + 9437*x4*x5*x8 + 30077*x5^2*x8 + 50105*x1*x6*x8 + 32081*x2*x6*x8 + 54507*x3*x6*x8 + 1954*x4*x6*x8 + 33936*x5*x6*x8 + 24144*x6^2*x8 + 9495*x7*x8 + 27309*x8^2 + 4834*x1^2*x9 + 35592*x1*x2*x9 + 8519*x2^2*x9 + 63144*x1*x3*x9 + 63369*x2*x3*x9 + 44809*x3^2*x9 + 23411*x1*x4*x9 + 28232*x2*x4*x9 + 12056*x3*x4*x9 + 5884*x4^2*x9 + 30103*x1*x5*x9 + 23181*x2*x5*x9 + 59369*x3*x5*x9 + 6279*x4*x5*x9 + 27008*x5^2*x9 + 33634*x1*x6*x9 + 44995*x2*x6*x9 + 35377*x3*x6*x9 + 3822*x4*x6*x9 + 63937*x5*x6*x9 + 38847*x6^2*x9 + 49657*x7*x9 + 31700*x8*x9 + 13232*x9^2 + 7748*x1^2*x10 + 50423*x1*x2*x10 + 50845*x2^2*x10 + 51511*x1*x3*x10 + 53090*x2*x3*x10 + 62872*x3^2*x10 + 16577*x1*x4*x10 + 45396*x2*x4*x10 + 48859*x3*x4*x10 + 46926*x4^2*x10 + 42563*x1*x5*x10 + 15993*x2*x5*x10 + 11100*x3*x5*x10 + 26760*x4*x5*x10 + 13848*x5^2*x10 + 45653*x1*x6*x10 + 53753*x2*x6*x10 + 39663*x3*x6*x10 + 19649*x4*x6*x10 + 62521*x5*x6*x10 + 58581*x6^2*x10 + 40992*x7*x10 + 40084*x8*x10 + 2127*x9*x10 + 6830*x10^2 + 6531*x1^2*x11 + 31757*x1*x2*x11 + 62115*x2^2*x11 + 65473*x1*x3*x11 + 25122*x2*x3*x11 + 8760*x3^2*x11 + 53799*x1*x4*x11 + 47767*x2*x4*x11 + 12832*x3*x4*x11 + 38435*x4^2*x11 + 23017*x1*x5*x11 + 45852*x2*x5*x11 + 31564*x3*x5*x11 + 62077*x4*x5*x11 + 47747*x5^2*x11 + 40489*x1*x6*x11 + 5499*x2*x6*x11 + 17539*x3*x6*x11 + 52459*x4*x6*x11 + 19064*x5*x6*x11 + 44390*x6^2*x11 + 30543*x7*x11 + 266*x8*x11 + 57108*x9*x11 + 3797*x10*x11 + 49935*x11^2 + 37536*x1^3 + 52529*x1^2*x2 + 27573*x1*x2^2 + 19816*x2^3 + 36473*x1^2*x3 + 6009*x1*x2*x3 + 15788*x2^2*x3 + 2242*x1*x3^2 + 51706*x2*x3^2 + 53190*x3^3 + 33229*x1^2*x4 + 48327*x1*x2*x4 + 22880*x2^2*x4 + 2701*x1*x3*x4 + 5330*x2*x3*x4 + 49933*x3^2*x4 + 8223*x1*x4^2 + 53635*x2*x4^2 + 33125*x3*x4^2 + 43685*x4^3 + 40094*x1^2*x5 + 57024*x1*x2*x5 + 49662*x2^2*x5 + 25424*x1*x3*x5 + 16538*x2*x3*x5 + 28146*x3^2*x5 + 53481*x1*x4*x5 + 19415*x2*x4*x5 + 31941*x3*x4*x5 + 46697*x4^2*x5 + 51461*x1*x5^2 + 29480*x2*x5^2 + 30815*x3*x5^2 + 14239*x4*x5^2 + 44950*x5^3 + 6086*x1^2*x6 + 23524*x1*x2*x6 + 13831*x2^2*x6 + 32168*x1*x3*x6 + 27062*x2*x3*x6 + 48668*x3^2*x6 + 65488*x1*x4*x6 + 51261*x2*x4*x6 + 48911*x3*x4*x6 + 4601*x4^2*x6 + 18618*x1*x5*x6 + 37559*x2*x5*x6 + 11764*x3*x5*x6 + 53451*x4*x5*x6 + 57255*x5^2*x6 + 23035*x1*x6^2 + 9740*x2*x6^2 + 16859*x3*x6^2 + 44179*x4*x6^2 + 64030*x5*x6^2 + 15466*x6^3 + 19886*x1*x7 + 61994*x2*x7 + 57609*x3*x7 + 40160*x4*x7 + 8525*x5*x7 + 43427*x6*x7 + 4313*x1*x8 + 54533*x2*x8 + 52474*x3*x8 + 30671*x4*x8 + 30188*x5*x8 + 31272*x6*x8 + 23977*x1*x9 + 14040*x2*x9 + 35453*x3*x9 + 56232*x4*x9 + 11799*x5*x9 + 11433*x6*x9 + 64333*x1*x10 + 25539*x2*x10 + 29117*x3*x10 + 50820*x4*x10 + 18457*x5*x10 + 45404*x6*x10 + 27414*x1*x11 + 40004*x2*x11 + 61335*x3*x11 + 6630*x4*x11 + 58266*x5*x11 + 16001*x6*x11 + 62312*x1^2 + 43048*x1*x2 + 19444*x2^2 + 47941*x1*x3 + 60867*x2*x3 + 18839*x3^2 + 58143*x1*x4 + 62967*x2*x4 + 59180*x3*x4 + 20205*x4^2 + 26994*x1*x5 + 11627*x2*x5 + 62943*x3*x5 + 36964*x4*x5 + 51138*x5^2 + 65030*x1*x6 + 48419*x2*x6 + 15395*x3*x6 + 10099*x4*x6 + 18350*x5*x6 + 28964*x6^2 + 60988*x7 + 14252*x8 + 2450*x9 + 37422*x10 + 33649*x11 + 13683*x1 + 54370*x2 + 64482*x3 + 41650*x4 + 54523*x5 + 53301*x6 + 53868,
20433*x1^4 + 2757*x1^3*x2 + 58629*x1^2*x2^2 + 15146*x1*x2^3 + 17713*x2^4 + 344*x1^3*x3 + 29955*x1^2*x2*x3 + 32004*x1*x2^2*x3 + 32152*x2^3*x3 + 6552*x1^2*x3^2 + 41881*x1*x2*x3^2 + 22976*x2^2*x3^2 + 51462*x1*x3^3 + 1066*x2*x3^3 + 62735*x3^4 + 64472*x1^3*x4 + 29343*x1^2*x2*x4 + 29672*x1*x2^2*x4 + 24059*x2^3*x4 + 6176*x1^2*x3*x4 + 45955*x1*x2*x3*x4 + 13498*x2^2*x3*x4 + 27188*x1*x3^2*x4 + 30985*x2*x3^2*x4 + 52959*x3^3*x4 + 8752*x1^2*x4^2 + 36969*x1*x2*x4^2 + 2189*x2^2*x4^2 + 63280*x1*x3*x4^2 + 50993*x2*x3*x4^2 + 42735*x3^2*x4^2 + 50949*x1*x4^3 + 15720*x2*x4^3 + 19396*x3*x4^3 + 31896*x4^4 + 40563*x1^3*x5 + 53336*x1^2*x2*x5 + 45661*x1*x2^2*x5 + 5904*x2^3*x5 + 6687*x1^2*x3*x5 + 14069*x1*x2*x3*x5 + 41914*x2^2*x3*x5 + 42609*x1*x3^2*x5 + 38877*x2*x3^2*x5 + 34859*x3^3*x5 + 39534*x1^2*x4*x5 + 746*x1*x2*x4*x5 + 25131*x2^2*x4*x5 + 11580*x1*x3*x4*x5 + 14823*x2*x3*x4*x5 + 30380*x3^2*x4*x5 + 33061*x1*x4^2*x5 + 8884*x2*x4^2*x5 + 41421*x3*x4^2*x5 + 525*x4^3*x5 + 50620*x1^2*x5^2 + 44956*x1*x2*x5^2 + 37683*x2^2*x5^2 + 8485*x1*x3*x5^2 + 715*x2*x3*x5^2 + 58825*x3^2*x5^2 + 6536*x1*x4*x5^2 + 51523*x2*x4*x5^2 + 21845*x3*x4*x5^2 + 41936*x4^2*x5^2 + 65003*x1*x5^3 + 25271*x2*x5^3 + 36640*x3*x5^3 + 58230*x4*x5^3 + 43013*x5^4 + 19001*x1^3*x6 + 59909*x1^2*x2*x6 + 23337*x1*x2^2*x6 + 20279*x2^3*x6 + 48257*x1^2*x3*x6 + 41836*x1*x2*x3*x6 + 51515*x2^2*x3*x6 + 53267*x1*x3^2*x6 + 46827*x2*x3^2*x6 + 63164*x3^3*x6 + 7053*x1^2*x4*x6 + 40412*x1*x2*x4*x6 + 38556*x2^2*x4*x6 + 36784*x1*x3*x4*x6 + 33982*x2*x3*x4*x6 + 41387*x3^2*x4*x6 + 41212*x1*x4^2*x6 + 20424*x2*x4^2*x6 + 765*x3*x4^2*x6 + 50238*x4^3*x6 + 29824*x1^2*x5*x6 + 62955*x1*x2*x5*x6 + 17748*x2^2*x5*x6 + 24806*x1*x3*x5*x6 + 40501*x2*x3*x5*x6 + 1612*x3^2*x5*x6 + 11363*x1*x4*x5*x6 + 2701*x2*x4*x5*x6 + 3673*x3*x4*x5*x6 + 7381*x4^2*x5*x6 + 50372*x1*x5^2*x6 + 3172*x2*x5^2*x6 + 5171*x3*x5^2*x6 + 23080*x4*x5^2*x6 + 10061*x5^3*x6 + 8437*x1^2*x6^2 + 3250*x1*x2*x6^2 + 25428*x2^2*x6^2 + 12959*x1*x3*x6^2 + 10555*x2*x3*x6^2 + 414*x3^2*x6^2 + 33199*x1*x4*x6^2 + 14728*x2*x4*x6^2 + 12599*x3*x4*x6^2 + 5778*x4^2*x6^2 + 13938*x1*x5*x6^2 + 30786*x2*x5*x6^2 + 3633*x3*x5*x6^2 + 21440*x4*x5*x6^2 + 725*x5^2*x6^2 + 38474*x1*x6^3 + 24947*x2*x6^3 + 54010*x3*x6^3 + 62246*x4*x6^3 + 61092*x5*x6^3 + 14623*x6^4 + 46802*x1^2*x7 + 65411*x1*x2*x7 + 51858*x2^2*x7 + 24346*x1*x3*x7 + 12046*x2*x3*x7 + 28389*x3^2*x7 + 44589*x1*x4*x7 + 23093*x2*x4*x7 + 43317*x3*x4*x7 + 19285*x4^2*x7 + 60048*x1*x5*x7 + 38680*x2*x5*x7 + 9358*x3*x5*x7 + 51092*x4*x5*x7 + 51015*x5^2*x7 + 21612*x1*x6*x7 + 20443*x2*x6*x7 + 7592*x3*x6*x7 + 56420*x4*x6*x7 + 48434*x5*x6*x7 + 23168*x6^2*x7 + 25130*x7^2 + 51434*x1^2*x8 + 15046*x1*x2*x8 + 21313*x2^2*x8 + 30538*x1*x3*x8 + 58763*x2*x3*x8 + 44741*x3^2*x8 + 38379*x1*x4*x8 + 10284*x2*x4*x8 + 25638*x3*x4*x8 + 49034*x4^2*x8 + 27026*x1*x5*x8 + 50846*x2*x5*x8 + 11132*x3*x5*x8 + 42108*x4*x5*x8 + 27233*x5^2*x8 + 811*x1*x6*x8 + 36128*x2*x6*x8 + 20567*x3*x6*x8 + 39723*x4*x6*x8 + 62289*x5*x6*x8 + 38105*x6^2*x8 + 52583*x7*x8 + 38181*x8^2 + 7349*x1^2*x9 + 55206*x1*x2*x9 + 41835*x2^2*x9 + 41456*x1*x3*x9 + 33699*x2*x3*x9 + 49209*x3^2*x9 + 40682*x1*x4*x9 + 55857*x2*x4*x9 + 3876*x3*x4*x9 + 46856*x4^2*x9 + 4567*x1*x5*x9 + 46641*x2*x5*x9 + 6601*x3*x5*x9 + 24396*x4*x5*x9 + 35320*x5^2*x9 + 46561*x1*x6*x9 + 7777*x2*x6*x9 + 34270*x3*x6*x9 + 35776*x4*x6*x9 + 44392*x5*x6*x9 + 7913*x6^2*x9 + 9924*x7*x9 + 15288*x8*x9 + 27850*x9^2 + 24398*x1^2*x10 + 7455*x1*x2*x10 + 48544*x2^2*x10 + 8434*x1*x3*x10 + 25941*x2*x3*x10 + 36429*x3^2*x10 + 59820*x1*x4*x10 + 56781*x2*x4*x10 + 9026*x3*x4*x10 + 15814*x4^2*x10 + 39259*x1*x5*x10 + 36947*x2*x5*x10 + 50765*x3*x5*x10 + 43125*x4*x5*x10 + 51144*x5^2*x10 + 9201*x1*x6*x10 + 61933*x2*x6*x10 + 56126*x3*x6*x10 + 17128*x4*x6*x10 + 35403*x5*x6*x10 + 31320*x6^2*x10 + 38518*x7*x10 + 24542*x8*x10 + 23081*x9*x10 + 7177*x10^2 + 13167*x1^2*x11 + 49847*x1*x2*x11 + 8892*x2^2*x11 + 34022*x1*x3*x11 + 23098*x2*x3*x11 + 2449*x3^2*x11 + 5511*x1*x4*x11 + 58842*x2*x4*x11 + 44799*x3*x4*x11 + 25656*x4^2*x11 + 30576*x1*x5*x11 + 49099*x2*x5*x11 + 53119*x3*x5*x11 + 52167*x4*x5*x11 + 12832*x5^2*x11 + 37723*x1*x6*x11 + 42943*x2*x6*x11 + 10083*x3*x6*x11 + 52446*x4*x6*x11 + 14546*x5*x6*x11 + 16208*x6^2*x11 + 4285*x7*x11 + 50745*x8*x11 + 62417*x9*x11 + 38401*x10*x11 + 31570*x11^2 + 42202*x1^3 + 9461*x1^2*x2 + 17524*x1*x2^2 + 54787*x2^3 + 60386*x1^2*x3 + 40029*x1*x2*x3 + 51551*x2^2*x3 + 36379*x1*x3^2 + 9901*x2*x3^2 + 38602*x3^3 + 37687*x1^2*x4 + 7787*x1*x2*x4 + 30797*x2^2*x4 + 37221*x1*x3*x4 + 39517*x2*x3*x4 + 63315*x3^2*x4 + 6601*x1*x4^2 + 20948*x2*x4^2 + 14735*x3*x4^2 + 40575*x4^3 + 36436*x1^2*x5 + 1091*x1*x2*x5 + 18726*x2^2*x5 + 23705*x1*x3*x5 + 56161*x2*x3*x5 + 11375*x3^2*x5 + 24050*x1*x4*x5 + 4802*x2*x4*x5 + 30886*x3*x4*x5 + 33215*x4^2*x5 + 12855*x1*x5^2 + 17098*x2*x5^2 + 27779*x3*x5^2 + 53488*x4*x5^2 + 43034*x5^3 + 25208*x1^2*x6 + 24509*x1*x2*x6 + 4616*x2^2*x6 + 63510*x1*x3*x6 + 23691*x2*x3*x6 + 12665*x3^2*x6 + 15381*x1*x4*x6 + 28418*x2*x4*x6 + 55645*x3*x4*x6 + 27456*x4^2*x6 + 7850*x1*x5*x6 + 22995*x2*x5*x6 + 64344*x3*x5*x6 + 33475*x4*x5*x6 + 22755*x5^2*x6 + 22011*x1*x6^2 + 2130*x2*x6^2 + 52540*x3*x6^2 + 53427*x4*x6^2 + 54018*x5*x6^2 + 64300*x6^3 + 13333*x1*x7 + 60552*x2*x7 + 17317*x3*x7 + 8595*x4*x7 + 61389*x5*x7 + 24759*x6*x7 + 45596*x1*x8 + 16151*x2*x8 + 53697*x3*x8 + 38512*x4*x8 + 43629*x5*x8 + 64877*x6*x8 + 54734*x1*x9 + 46777*x2*x9 + 14017*x3*x9 + 39523*x4*x9 + 49683*x5*x9 + 43270*x6*x9 + 25731*x1*x10 + 5192*x2*x10 + 36318*x3*x10 + 13033*x4*x10 + 56844*x5*x10 + 17074*x6*x10 + 1947*x1*x11 + 41598*x2*x11 + 5485*x3*x11 + 1905*x4*x11 + 51227*x5*x11 + 19434*x6*x11 + 46794*x1^2 + 57024*x1*x2 + 2124*x2^2 + 44289*x1*x3 + 5598*x2*x3 + 64658*x3^2 + 21833*x1*x4 + 27264*x2*x4 + 58046*x3*x4 + 28266*x4^2 + 33393*x1*x5 + 42572*x2*x5 + 51085*x3*x5 + 48390*x4*x5 + 1733*x5^2 + 54119*x1*x6 + 10429*x2*x6 + 25033*x3*x6 + 24278*x4*x6 + 40722*x5*x6 + 1059*x6^2 + 58830*x7 + 47159*x8 + 105*x9 + 7655*x10 + 57029*x11 + 17507*x1 + 37513*x2 + 10466*x3 + 18248*x4 + 6161*x5 + 30104*x6 + 4750,
15357*x1^4 + 43986*x1^3*x2 + 22191*x1^2*x2^2 + 52209*x1*x2^3 + 56002*x2^4 + 16940*x1^3*x3 + 60798*x1^2*x2*x3 + 4149*x1*x2^2*x3 + 39531*x2^3*x3 + 49928*x1^2*x3^2 + 40976*x1*x2*x3^2 + 13047*x2^2*x3^2 + 11828*x1*x3^3 + 439*x2*x3^3 + 14331*x3^4 + 16903*x1^3*x4 + 3708*x1^2*x2*x4 + 41841*x1*x2^2*x4 + 13438*x2^3*x4 + 59811*x1^2*x3*x4 + 63201*x1*x2*x3*x4 + 61900*x2^2*x3*x4 + 1439*x1*x3^2*x4 + 25980*x2*x3^2*x4 + 32423*x3^3*x4 + 7190*x1^2*x4^2 + 45110*x1*x2*x4^2 + 54113*x2^2*x4^2 + 20713*x1*x3*x4^2 + 45172*x2*x3*x4^2 + 21469*x3^2*x4^2 + 5741*x1*x4^3 + 48324*x2*x4^3 + 7826*x3*x4^3 + 6078*x4^4 + 49093*x1^3*x5 + 24700*x1^2*x2*x5 + 20286*x1*x2^2*x5 + 62185*x2^3*x5 + 30696*x1^2*x3*x5 + 30345*x1*x2*x3*x5 + 56921*x2^2*x3*x5 + 18589*x1*x3^2*x5 + 36715*x2*x3^2*x5 + 24838*x3^3*x5 + 45117*x1^2*x4*x5 + 37730*x1*x2*x4*x5 + 31595*x2^2*x4*x5 + 40056*x1*x3*x4*x5 + 25405*x2*x3*x4*x5 + 3486*x3^2*x4*x5 + 55815*x1*x4^2*x5 + 3459*x2*x4^2*x5 + 44732*x3*x4^2*x5 + 9516*x4^3*x5 + 22049*x1^2*x5^2 + 54546*x1*x2*x5^2 + 1402*x2^2*x5^2 + 55405*x1*x3*x5^2 + 29562*x2*x3*x5^2 + 5077*x3^2*x5^2 + 63029*x1*x4*x5^2 + 40535*x2*x4*x5^2 + 21232*x3*x4*x5^2 + 61372*x4^2*x5^2 + 19673*x1*x5^3 + 17135*x2*x5^3 + 40035*x3*x5^3 + 39691*x4*x5^3 + 1068*x5^4 + 60821*x1^3*x6 + 53781*x1^2*x2*x6 + 38994*x1*x2^2*x6 + 7570*x2^3*x6 + 26430*x1^2*x3*x6 + 40009*x1*x2*x3*x6 + 23166*x2^2*x3*x6 + 33432*x1*x3^2*x6 + 53361*x2*x3^2*x6 + 49342*x3^3*x6 + 1244*x1^2*x4*x6 + 42066*x1*x2*x4*x6 + 8293*x2^2*x4*x6 + 23493*x1*x3*x4*x6 + 3652*x2*x3*x4*x6 + 48218*x3^2*x4*x6 + 9122*x1*x4^2*x6 + 7169*x2*x4^2*x6 + 32225*x3*x4^2*x6 + 14001*x4^3*x6 + 1909*x1^2*x5*x6 + 49719*x1*x2*x5*x6 + 2061*x2^2*x5*x6 + 46167*x1*x3*x5*x6 + 58320*x2*x3*x5*x6 + 4191*x3^2*x5*x6 + 60156*x1*x4*x5*x6 + 46917*x2*x4*x5*x6 + 20322*x3*x4*x5*x6 + 28073*x4^2*x5*x6 + 39926*x1*x5^2*x6 + 52931*x2*x5^2*x6 + 25046*x3*x5^2*x6 + 47334*x4*x5^2*x6 + 56457*x5^3*x6 + 53118*x1^2*x6^2 + 38492*x1*x2*x6^2 + 18989*x2^2*x6^2 + 7631*x1*x3*x6^2 + 4465*x2*x3*x6^2 + 63912*x3^2*x6^2 + 13130*x1*x4*x6^2 + 35343*x2*x4*x6^2 + 1384*x3*x4*x6^2 + 41118*x4^2*x6^2 + 42290*x1*x5*x6^2 + 38083*x2*x5*x6^2 + 32215*x3*x5*x6^2 + 60877*x4*x5*x6^2 + 15568*x5^2*x6^2 + 22740*x1*x6^3 + 4907*x2*x6^3 + 53136*x3*x6^3 + 2122*x4*x6^3 + 61822*x5*x6^3 + 6648*x6^4 + 16180*x1^2*x7 + 55667*x1*x2*x7 + 8635*x2^2*x7 + 35045*x1*x3*x7 + 11643*x2*x3*x7 + 53485*x3^2*x7 + 63024*x1*x4*x7 + 23405*x2*x4*x7 + 54033*x3*x4*x7 + 59189*x4^2*x7 + 20917*x1*x5*x7 + 38486*x2*x5*x7 + 17339*x3*x5*x7 + 625*x4*x5*x7 + 40627*x5^2*x7 + 49788*x1*x6*x7 + 39137*x2*x6*x7 + 49153*x3*x6*x7 + 63751*x4*x6*x7 + 40204*x5*x6*x7 + 34697*x6^2*x7 + 59969*x7^2 + 11130*x1^2*x8 + 3465*x1*x2*x8 + 51797*x2^2*x8 + 23277*x1*x3*x8 + 33172*x2*x3*x8 + 30819*x3^2*x8 + 1778*x1*x4*x8 + 28802*x2*x4*x8 + 15381*x3*x4*x8 + 15540*x4^2*x8 + 50002*x1*x5*x8 + 1044*x2*x5*x8 + 573*x3*x5*x8 + 40017*x4*x5*x8 + 62336*x5^2*x8 + 930*x1*x6*x8 + 37060*x2*x6*x8 + 34236*x3*x6*x8 + 58864*x4*x6*x8 + 55176*x5*x6*x8 + 64792*x6^2*x8 + 45398*x7*x8 + 1344*x8^2 + 53768*x1^2*x9 + 34134*x1*x2*x9 + 22513*x2^2*x9 + 55421*x1*x3*x9 + 34844*x2*x3*x9 + 63469*x3^2*x9 + 9993*x1*x4*x9 + 31524*x2*x4*x9 + 37301*x3*x4*x9 + 46652*x4^2*x9 + 26428*x1*x5*x9 + 26303*x2*x5*x9 + 6325*x3*x5*x9 + 12094*x4*x5*x9 + 64965*x5^2*x9 + 64463*x1*x6*x9 + 48369*x2*x6*x9 + 5429*x3*x6*x9 + 11714*x4*x6*x9 + 27771*x5*x6*x9 + 8628*x6^2*x9 + 9534*x7*x9 + 14260*x8*x9 + 61533*x9^2 + 55324*x1^2*x10 + 44139*x1*x2*x10 + 44880*x2^2*x10 + 28707*x1*x3*x10 + 64163*x2*x3*x10 + 25943*x3^2*x10 + 22954*x1*x4*x10 + 51043*x2*x4*x10 + 34167*x3*x4*x10 + 59762*x4^2*x10 + 3269*x1*x5*x10 + 12306*x2*x5*x10 + 41278*x3*x5*x10 + 15760*x4*x5*x10 + 11430*x5^2*x10 + 42374*x1*x6*x10 + 36293*x2*x6*x10 + 23074*x3*x6*x10 + 43884*x4*x6*x10 + 26657*x5*x6*x10 + 16375*x6^2*x10 + 57169*x7*x10 + 28206*x8*x10 + 29711*x9*x10 + 48663*x10^2 + 42712*x1^2*x11 + 63296*x1*x2*x11 + 61312*x2^2*x11 + 55456*x1*x3*x11 + 16082*x2*x3*x11 + 33459*x3^2*x11 + 50511*x1*x4*x11 + 13244*x2*x4*x11 + 40330*x3*x4*x11 + 53645*x4^2*x11 + 61439*x1*x5*x11 + 51395*x2*x5*x11 + 39605*x3*x5*x11 + 51811*x4*x5*x11 + 59595*x5^2*x11 + 45149*x1*x6*x11 + 37040*x2*x6*x11 + 36435*x3*x6*x11 + 54285*x4*x6*x11 + 3066*x5*x6*x11 + 4315*x6^2*x11 + 26004*x7*x11 + 26689*x8*x11 + 24644*x9*x11 + 23219*x10*x11 + 32145*x11^2 + 14256*x1^3 + 14823*x1^2*x2 + 28312*x1*x2^2 + 49948*x2^3 + 47580*x1^2*x3 + 11119*x1*x2*x3 + 23020*x2^2*x3 + 47252*x1*x3^2 + 302*x2*x3^2 + 52530*x3^3 + 32921*x1^2*x4 + 57158*x1*x2*x4 + 48273*x2^2*x4 + 45921*x1*x3*x4 + 41736*x2*x3*x4 + 59714*x3^2*x4 + 6597*x1*x4^2 + 25850*x2*x4^2 + 36177*x3*x4^2 + 20007*x4^3 + 39144*x1^2*x5 + 56587*x1*x2*x5 + 54272*x2^2*x5 + 31355*x1*x3*x5 + 38568*x2*x3*x5 + 63102*x3^2*x5 + 59507*x1*x4*x5 + 48156*x2*x4*x5 + 44233*x3*x4*x5 + 60450*x4^2*x5 + 54359*x1*x5^2 + 50996*x2*x5^2 + 55255*x3*x5^2 + 26073*x4*x5^2 + 4801*x5^3 + 40406*x1^2*x6 + 21715*x1*x2*x6 + 48020*x2^2*x6 + 12679*x1*x3*x6 + 22720*x2*x3*x6 + 14336*x3^2*x6 + 5894*x1*x4*x6 + 16958*x2*x4*x6 + 34526*x3*x4*x6 + 39058*x4^2*x6 + 33357*x1*x5*x6 + 18790*x2*x5*x6 + 29252*x3*x5*x6 + 53067*x4*x5*x6 + 22523*x5^2*x6 + 17867*x1*x6^2 + 20973*x2*x6^2 + 10140*x3*x6^2 + 59149*x4*x6^2 + 50400*x5*x6^2 + 5481*x6^3 + 6856*x1*x7 + 48178*x2*x7 + 53882*x3*x7 + 47282*x4*x7 + 64000*x5*x7 + 11867*x6*x7 + 64250*x1*x8 + 1821*x2*x8 + 10868*x3*x8 + 57183*x4*x8 + 61118*x5*x8 + 29370*x6*x8 + 15955*x1*x9 + 3686*x2*x9 + 18241*x3*x9 + 59214*x4*x9 + 57795*x5*x9 + 27338*x6*x9 + 53000*x1*x10 + 61027*x2*x10 + 41922*x3*x10 + 40836*x4*x10 + 40825*x5*x10 + 63346*x6*x10 + 12699*x1*x11 + 13939*x2*x11 + 64132*x3*x11 + 65263*x4*x11 + 12729*x5*x11 + 6058*x6*x11 + 21583*x1^2 + 23730*x1*x2 + 27167*x2^2 + 31990*x1*x3 + 63750*x2*x3 + 34378*x3^2 + 13294*x1*x4 + 8781*x2*x4 + 19613*x3*x4 + 44663*x4^2 + 48975*x1*x5 + 20572*x2*x5 + 13876*x3*x5 + 52746*x4*x5 + 48952*x5^2 + 8735*x1*x6 + 8554*x2*x6 + 13973*x3*x6 + 3928*x4*x6 + 31002*x5*x6 + 35468*x6^2 + 35671*x7 + 57414*x8 + 5229*x9 + 34870*x10 + 61556*x11 + 40436*x1 + 2412*x2 + 26560*x3 + 35722*x4 + 42590*x5 + 39332*x6 + 9823,
48264*x1^4 + 12603*x1^3*x2 + 51623*x1^2*x2^2 + 40643*x1*x2^3 + 24769*x2^4 + 19867*x1^3*x3 + 55651*x1^2*x2*x3 + 28721*x1*x2^2*x3 + 56283*x2^3*x3 + 43602*x1^2*x3^2 + 13869*x1*x2*x3^2 + 45464*x2^2*x3^2 + 17982*x1*x3^3 + 22399*x2*x3^3 + 34963*x3^4 + 53490*x1^3*x4 + 3067*x1^2*x2*x4 + 12866*x1*x2^2*x4 + 30710*x2^3*x4 + 3100*x1^2*x3*x4 + 54531*x1*x2*x3*x4 + 47562*x2^2*x3*x4 + 38658*x1*x3^2*x4 + 27035*x2*x3^2*x4 + 50392*x3^3*x4 + 25432*x1^2*x4^2 + 19745*x1*x2*x4^2 + 24461*x2^2*x4^2 + 54619*x1*x3*x4^2 + 30037*x2*x3*x4^2 + 53037*x3^2*x4^2 + 61223*x1*x4^3 + 3513*x2*x4^3 + 34432*x3*x4^3 + 9086*x4^4 + 3637*x1^3*x5 + 62136*x1^2*x2*x5 + 3911*x1*x2^2*x5 + 45637*x2^3*x5 + 50195*x1^2*x3*x5 + 43448*x1*x2*x3*x5 + 6294*x2^2*x3*x5 + 20088*x1*x3^2*x5 + 46700*x2*x3^2*x5 + 14471*x3^3*x5 + 61226*x1^2*x4*x5 + 50484*x1*x2*x4*x5 + 28003*x2^2*x4*x5 + 51649*x1*x3*x4*x5 + 15475*x2*x3*x4*x5 + 39647*x3^2*x4*x5 + 52573*x1*x4^2*x5 + 27654*x2*x4^2*x5 + 57398*x3*x4^2*x5 + 33269*x4^3*x5 + 25502*x1^2*x5^2 + 26910*x1*x2*x5^2 + 30115*x2^2*x5^2 + 16363*x1*x3*x5^2 + 35107*x2*x3*x5^2 + 213*x3^2*x5^2 + 43686*x1*x4*x5^2 + 35477*x2*x4*x5^2 + 51524*x3*x4*x5^2 + 56210*x4^2*x5^2 + 8781*x1*x5^3 + 20152*x2*x5^3 + 58280*x3*x5^3 + 54186*x4*x5^3 + 37806*x5^4 + 32899*x1^3*x6 + 11823*x1^2*x2*x6 + 15643*x1*x2^2*x6 + 31059*x2^3*x6 + 22415*x1^2*x3*x6 + 15082*x1*x2*x3*x6 + 3799*x2^2*x3*x6 + 12697*x1*x3^2*x6 + 12738*x2*x3^2*x6 + 19465*x3^3*x6 + 47198*x1^2*x4*x6 + 12360*x1*x2*x4*x6 + 1242*x2^2*x4*x6 + 576*x1*x3*x4*x6 + 23741*x2*x3*x4*x6 + 40586*x3^2*x4*x6 + 56336*x1*x4^2*x6 + 52611*x2*x4^2*x6 + 64711*x3*x4^2*x6 + 48207*x4^3*x6 + 15580*x1^2*x5*x6 + 48041*x1*x2*x5*x6 + 58953*x2^2*x5*x6 + 21135*x1*x3*x5*x6 + 46987*x2*x3*x5*x6 + 44575*x3^2*x5*x6 + 31803*x1*x4*x5*x6 + 40267*x2*x4*x5*x6 + 51309*x3*x4*x5*x6 + 64979*x4^2*x5*x6 + 16608*x1*x5^2*x6 + 25397*x2*x5^2*x6 + 8969*x3*x5^2*x6 + 59557*x4*x5^2*x6 + 61930*x5^3*x6 + 3261*x1^2*x6^2 + 43444*x1*x2*x6^2 + 27425*x2^2*x6^2 + 50673*x1*x3*x6^2 + 29219*x2*x3*x6^2 + 29333*x3^2*x6^2 + 38563*x1*x4*x6^2 + 21384*x2*x4*x6^2 + 51561*x3*x4*x6^2 + 43788*x4^2*x6^2 + 59482*x1*x5*x6^2 + 33196*x2*x5*x6^2 + 22126*x3*x5*x6^2 + 47736*x4*x5*x6^2 + 58378*x5^2*x6^2 + 23242*x1*x6^3 + 51397*x2*x6^3 + 31984*x3*x6^3 + 55366*x4*x6^3 + 10584*x5*x6^3 + 26894*x6^4 + 52726*x1^2*x7 + 24289*x1*x2*x7 + 567*x2^2*x7 + 57502*x1*x3*x7 + 58000*x2*x3*x7 + 61088*x3^2*x7 + 35541*x1*x4*x7 + 59436*x2*x4*x7 + 237*x3*x4*x7 + 46501*x4^2*x7 + 8265*x1*x5*x7 + 23879*x2*x5*x7 + 10350*x3*x5*x7 + 33203*x4*x5*x7 + 59124*x5^2*x7 + 34520*x1*x6*x7 + 44674*x2*x6*x7 + 24083*x3*x6*x7 + 20733*x4*x6*x7 + 2137*x5*x6*x7 + 7665*x6^2*x7 + 53470*x7^2 + 2585*x1^2*x8 + 51859*x1*x2*x8 + 9972*x2^2*x8 + 30572*x1*x3*x8 + 27132*x2*x3*x8 + 4033*x3^2*x8 + 7462*x1*x4*x8 + 65330*x2*x4*x8 + 53592*x3*x4*x8 + 28284*x4^2*x8 + 61162*x1*x5*x8 + 41840*x2*x5*x8 + 15881*x3*x5*x8 + 63886*x4*x5*x8 + 45462*x5^2*x8 + 5506*x1*x6*x8 + 25524*x2*x6*x8 + 22850*x3*x6*x8 + 38798*x4*x6*x8 + 3446*x5*x6*x8 + 56086*x6^2*x8 + 19055*x7*x8 + 5123*x8^2 + 17814*x1^2*x9 + 17523*x1*x2*x9 + 41139*x2^2*x9 + 14416*x1*x3*x9 + 901*x2*x3*x9 + 4820*x3^2*x9 + 27837*x1*x4*x9 + 55699*x2*x4*x9 + 20638*x3*x4*x9 + 16536*x4^2*x9 + 34785*x1*x5*x9 + 59172*x2*x5*x9 + 25740*x3*x5*x9 + 63583*x4*x5*x9 + 26486*x5^2*x9 + 6648*x1*x6*x9 + 52976*x2*x6*x9 + 53652*x3*x6*x9 + 13087*x4*x6*x9 + 5700*x5*x6*x9 + 44820*x6^2*x9 + 64951*x7*x9 + 29883*x8*x9 + 39645*x9^2 + 52467*x1^2*x10 + 58238*x1*x2*x10 + 57079*x2^2*x10 + 57719*x1*x3*x10 + 21535*x2*x3*x10 + 18039*x3^2*x10 + 35974*x1*x4*x10 + 10061*x2*x4*x10 + 56315*x3*x4*x10 + 51677*x4^2*x10 + 39088*x1*x5*x10 + 44160*x2*x5*x10 + 3986*x3*x5*x10 + 26581*x4*x5*x10 + 35634*x5^2*x10 + 24444*x1*x6*x10 + 47776*x2*x6*x10 + 54997*x3*x6*x10 + 37164*x4*x6*x10 + 28708*x5*x6*x10 + 42722*x6^2*x10 + 37181*x7*x10 + 640*x8*x10 + 3381*x9*x10 + 27099*x10^2 + 60982*x1^2*x11 + 34532*x1*x2*x11 + 62728*x2^2*x11 + 26742*x1*x3*x11 + 44836*x2*x3*x11 + 11205*x3^2*x11 + 19431*x1*x4*x11 + 30256*x2*x4*x11 + 51649*x3*x4*x11 + 50367*x4^2*x11 + 32479*x1*x5*x11 + 11814*x2*x5*x11 + 32391*x3*x5*x11 + 62886*x4*x5*x11 + 42733*x5^2*x11 + 60782*x1*x6*x11 + 65054*x2*x6*x11 + 7890*x3*x6*x11 + 44160*x4*x6*x11 + 5934*x5*x6*x11 + 41596*x6^2*x11 + 47197*x7*x11 + 39787*x8*x11 + 308*x9*x11 + 34463*x10*x11 + 38052*x11^2 + 11026*x1^3 + 53785*x1^2*x2 + 44972*x1*x2^2 + 28559*x2^3 + 30463*x1^2*x3 + 11300*x1*x2*x3 + 45018*x2^2*x3 + 62527*x1*x3^2 + 4425*x2*x3^2 + 13647*x3^3 + 14849*x1^2*x4 + 28668*x1*x2*x4 + 41720*x2^2*x4 + 22674*x1*x3*x4 + 54541*x2*x3*x4 + 19340*x3^2*x4 + 25437*x1*x4^2 + 94*x2*x4^2 + 59933*x3*x4^2 + 34933*x4^3 + 64659*x1^2*x5 + 31565*x1*x2*x5 + 58550*x2^2*x5 + 51400*x1*x3*x5 + 11382*x2*x3*x5 + 15304*x3^2*x5 + 22775*x1*x4*x5 + 25025*x2*x4*x5 + 6655*x3*x4*x5 + 46945*x4^2*x5 + 443*x1*x5^2 + 5552*x2*x5^2 + 27005*x3*x5^2 + 55577*x4*x5^2 + 18329*x5^3 + 26784*x1^2*x6 + 5832*x1*x2*x6 + 3564*x2^2*x6 + 61818*x1*x3*x6 + 31207*x2*x3*x6 + 53841*x3^2*x6 + 45663*x1*x4*x6 + 31191*x2*x4*x6 + 59176*x3*x4*x6 + 7045*x4^2*x6 + 389*x1*x5*x6 + 53833*x2*x5*x6 + 20276*x3*x5*x6 + 5352*x4*x5*x6 + 63704*x5^2*x6 + 30773*x1*x6^2 + 1042*x2*x6^2 + 1550*x3*x6^2 + 12265*x4*x6^2 + 46472*x5*x6^2 + 58633*x6^3 + 41761*x1*x7 + 28997*x2*x7 + 44491*x3*x7 + 39613*x4*x7 + 3665*x5*x7 + 46992*x6*x7 + 4805*x1*x8 + 29207*x2*x8 + 22970*x3*x8 + 47113*x4*x8 + 6315*x5*x8 + 6634*x6*x8 + 46902*x1*x9 + 39624*x2*x9 + 41348*x3*x9 + 13925*x4*x9 + 12297*x5*x9 + 683*x6*x9 + 34404*x1*x10 + 9190*x2*x10 + 24063*x3*x10 + 31789*x4*x10 + 44967*x5*x10 + 35543*x6*x10 + 38630*x1*x11 + 56642*x2*x11 + 31023*x3*x11 + 44946*x4*x11 + 4469*x5*x11 + 31539*x6*x11 + 27279*x1^2 + 65287*x1*x2 + 14315*x2^2 + 46332*x1*x3 + 17735*x2*x3 + 11986*x3^2 + 44685*x1*x4 + 46636*x2*x4 + 20373*x3*x4 + 42460*x4^2 + 16096*x1*x5 + 59230*x2*x5 + 55914*x3*x5 + 37684*x4*x5 + 44109*x5^2 + 17473*x1*x6 + 37022*x2*x6 + 53839*x3*x6 + 52780*x4*x6 + 57708*x5*x6 + 7623*x6^2 + 21156*x7 + 32085*x8 + 17850*x9 + 39358*x10 + 11194*x11 + 7679*x1 + 3420*x2 + 4860*x3 + 28909*x4 + 46947*x5 + 2943*x6 + 24020,
3641*x1^4 + 41467*x1^3*x2 + 41280*x1^2*x2^2 + 47191*x1*x2^3 + 29466*x2^4 + 53701*x1^3*x3 + 32917*x1^2*x2*x3 + 4120*x1*x2^2*x3 + 17829*x2^3*x3 + 5785*x1^2*x3^2 + 7393*x1*x2*x3^2 + 55038*x2^2*x3^2 + 8825*x1*x3^3 + 20055*x2*x3^3 + 41271*x3^4 + 35603*x1^3*x4 + 36129*x1^2*x2*x4 + 64396*x1*x2^2*x4 + 18340*x2^3*x4 + 60545*x1^2*x3*x4 + 33930*x1*x2*x3*x4 + 18897*x2^2*x3*x4 + 35482*x1*x3^2*x4 + 8959*x2*x3^2*x4 + 48815*x3^3*x4 + 48539*x1^2*x4^2 + 56202*x1*x2*x4^2 + 15860*x2^2*x4^2 + 32536*x1*x3*x4^2 + 59836*x2*x3*x4^2 + 18810*x3^2*x4^2 + 64813*x1*x4^3 + 18188*x2*x4^3 + 22933*x3*x4^3 + 34236*x4^4 + 10542*x1^3*x5 + 6782*x1^2*x2*x5 + 42779*x1*x2^2*x5 + 12711*x2^3*x5 + 33548*x1^2*x3*x5 + 20164*x1*x2*x3*x5 + 29604*x2^2*x3*x5 + 29026*x1*x3^2*x5 + 42604*x2*x3^2*x5 + 9498*x3^3*x5 + 35108*x1^2*x4*x5 + 20210*x1*x2*x4*x5 + 54470*x2^2*x4*x5 + 36296*x1*x3*x4*x5 + 61977*x2*x3*x4*x5 + 41573*x3^2*x4*x5 + 30934*x1*x4^2*x5 + 38252*x2*x4^2*x5 + 63925*x3*x4^2*x5 + 19405*x4^3*x5 + 14765*x1^2*x5^2 + 18707*x1*x2*x5^2 + 18545*x2^2*x5^2 + 11733*x1*x3*x5^2 + 48576*x2*x3*x5^2 + 43817*x3^2*x5^2 + 17790*x1*x4*x5^2 + 16105*x2*x4*x5^2 + 42748*x3*x4*x5^2 + 35530*x4^2*x5^2 + 54052*x1*x5^3 + 194*x2*x5^3 + 45565*x3*x5^3 + 11577*x4*x5^3 + 27663*x5^4 + 36658*x1^3*x6 + 41176*x1^2*x2*x6 + 5605*x1*x2^2*x6 + 230*x2^3*x6 + 21525*x1^2*x3*x6 + 2529*x1*x2*x3*x6 + 14288*x2^2*x3*x6 + 31930*x1*x3^2*x6 + 36915*x2*x3^2*x6 + 60869*x3^3*x6 + 20930*x1^2*x4*x6 + 53507*x1*x2*x4*x6 + 11008*x2^2*x4*x6 + 25921*x1*x3*x4*x6 + 15140*x2*x3*x4*x6 + 20554*x3^2*x4*x6 + 55459*x1*x4^2*x6 + 29298*x2*x4^2*x6 + 52152*x3*x4^2*x6 + 34087*x4^3*x6 + 58771*x1^2*x5*x6 + 6000*x1*x2*x5*x6 + 7445*x2^2*x5*x6 + 27300*x1*x3*x5*x6 + 15809*x2*x3*x5*x6 + 6718*x3^2*x5*x6 + 32769*x1*x4*x5*x6 + 10036*x2*x4*x5*x6 + 40586*x3*x4*x5*x6 + 58536*x4^2*x5*x6 + 52562*x1*x5^2*x6 + 28048*x2*x5^2*x6 + 43618*x3*x5^2*x6 + 41541*x4*x5^2*x6 + 24979*x5^3*x6 + 61682*x1^2*x6^2 + 24755*x1*x2*x6^2 + 62936*x2^2*x6^2 + 34678*x1*x3*x6^2 + 40411*x2*x3*x6^2 + 64495*x3^2*x6^2 + 43983*x1*x4*x6^2 + 46382*x2*x4*x6^2 + 40084*x3*x4*x6^2 + 54271*x4^2*x6^2 + 19735*x1*x5*x6^2 + 43508*x2*x5*x6^2 + 55878*x3*x5*x6^2 + 47049*x4*x5*x6^2 + 21828*x5^2*x6^2 + 62619*x1*x6^3 + 40447*x2*x6^3 + 28087*x3*x6^3 + 25724*x4*x6^3 + 44475*x5*x6^3 + 33144*x6^4 + 64813*x1^2*x7 + 17350*x1*x2*x7 + 50969*x2^2*x7 + 48545*x1*x3*x7 + 21242*x2*x3*x7 + 60344*x3^2*x7 + 831*x1*x4*x7 + 41359*x2*x4*x7 + 30461*x3*x4*x7 + 24190*x4^2*x7 + 15361*x1*x5*x7 + 44964*x2*x5*x7 + 59450*x3*x5*x7 + 55574*x4*x5*x7 + 11449*x5^2*x7 + 19364*x1*x6*x7 + 62921*x2*x6*x7 + 10502*x3*x6*x7 + 46845*x4*x6*x7 + 61336*x5*x6*x7 + 45359*x6^2*x7 + 47550*x7^2 + 5348*x1^2*x8 + 17800*x1*x2*x8 + 6432*x2^2*x8 + 21232*x1*x3*x8 + 64775*x2*x3*x8 + 26020*x3^2*x8 + 29786*x1*x4*x8 + 38753*x2*x4*x8 + 32457*x3*x4*x8 + 47601*x4^2*x8 + 61458*x1*x5*x8 + 10684*x2*x5*x8 + 50980*x3*x5*x8 + 30003*x4*x5*x8 + 32309*x5^2*x8 + 22726*x1*x6*x8 + 9725*x2*x6*x8 + 18967*x3*x6*x8 + 57147*x4*x6*x8 + 42906*x5*x6*x8 + 39754*x6^2*x8 + 48757*x7*x8 + 62367*x8^2 + 54917*x1^2*x9 + 65243*x1*x2*x9 + 9710*x2^2*x9 + 52702*x1*x3*x9 + 18676*x2*x3*x9 + 29964*x3^2*x9 + 63199*x1*x4*x9 + 36617*x2*x4*x9 + 4316*x3*x4*x9 + 7424*x4^2*x9 + 55327*x1*x5*x9 + 46677*x2*x5*x9 + 45747*x3*x5*x9 + 17175*x4*x5*x9 + 1910*x5^2*x9 + 34654*x1*x6*x9 + 20574*x2*x6*x9 + 390*x3*x6*x9 + 41748*x4*x6*x9 + 592*x5*x6*x9 + 31369*x6^2*x9 + 54486*x7*x9 + 47867*x8*x9 + 42935*x9^2 + 61434*x1^2*x10 + 34958*x1*x2*x10 + 57079*x2^2*x10 + 1988*x1*x3*x10 + 58734*x2*x3*x10 + 18827*x3^2*x10 + 14574*x1*x4*x10 + 16575*x2*x4*x10 + 26818*x3*x4*x10 + 29110*x4^2*x10 + 48733*x1*x5*x10 + 8736*x2*x5*x10 + 64095*x3*x5*x10 + 49271*x4*x5*x10 + 25565*x5^2*x10 + 11398*x1*x6*x10 + 40214*x2*x6*x10 + 54706*x3*x6*x10 + 22216*x4*x6*x10 + 50940*x5*x6*x10 + 65471*x6^2*x10 + 42584*x7*x10 + 50643*x8*x10 + 46514*x9*x10 + 1212*x10^2 + 20242*x1^2*x11 + 5250*x1*x2*x11 + 2523*x2^2*x11 + 63728*x1*x3*x11 + 25611*x2*x3*x11 + 59465*x3^2*x11 + 30308*x1*x4*x11 + 34159*x2*x4*x11 + 52349*x3*x4*x11 + 46328*x4^2*x11 + 44662*x1*x5*x11 + 57754*x2*x5*x11 + 33135*x3*x5*x11 + 2016*x4*x5*x11 + 24832*x5^2*x11 + 51906*x1*x6*x11 + 54352*x2*x6*x11 + 16999*x3*x6*x11 + 20733*x4*x6*x11 + 11561*x5*x6*x11 + 28291*x6^2*x11 + 49162*x7*x11 + 51469*x8*x11 + 39675*x9*x11 + 40835*x10*x11 + 59722*x11^2 + 15157*x1^3 + 54529*x1^2*x2 + 8854*x1*x2^2 + 62505*x2^3 + 7*x1^2*x3 + 40805*x1*x2*x3 + 58818*x2^2*x3 + 31510*x1*x3^2 + 17425*x2*x3^2 + 6961*x3^3 + 9536*x1^2*x4 + 10767*x1*x2*x4 + 4544*x2^2*x4 + 31969*x1*x3*x4 + 23624*x2*x3*x4 + 35005*x3^2*x4 + 23505*x1*x4^2 + 14558*x2*x4^2 + 53243*x3*x4^2 + 24703*x4^3 + 11298*x1^2*x5 + 10486*x1*x2*x5 + 12366*x2^2*x5 + 4024*x1*x3*x5 + 7140*x2*x3*x5 + 21571*x3^2*x5 + 61054*x1*x4*x5 + 4651*x2*x4*x5 + 64489*x3*x4*x5 + 375*x4^2*x5 + 15448*x1*x5^2 + 29584*x2*x5^2 + 12444*x3*x5^2 + 27518*x4*x5^2 + 43178*x5^3 + 63725*x1^2*x6 + 39021*x1*x2*x6 + 8400*x2^2*x6 + 47687*x1*x3*x6 + 46139*x2*x3*x6 + 12493*x3^2*x6 + 53286*x1*x4*x6 + 18441*x2*x4*x6 + 4986*x3*x4*x6 + 9467*x4^2*x6 + 50370*x1*x5*x6 + 22289*x2*x5*x6 + 62264*x3*x5*x6 + 6347*x4*x5*x6 + 3447*x5^2*x6 + 14576*x1*x6^2 + 12664*x2*x6^2 + 40840*x3*x6^2 + 49974*x4*x6^2 + 19116*x5*x6^2 + 11574*x6^3 + 19369*x1*x7 + 14837*x2*x7 + 39943*x3*x7 + 33530*x4*x7 + 7455*x5*x7 + 36365*x6*x7 + 27632*x1*x8 + 48280*x2*x8 + 8858*x3*x8 + 27477*x4*x8 + 44659*x5*x8 + 47299*x6*x8 + 28044*x1*x9 + 24121*x2*x9 + 46720*x3*x9 + 47205*x4*x9 + 7864*x5*x9 + 27788*x6*x9 + 51129*x1*x10 + 48113*x2*x10 + 62137*x3*x10 + 43613*x4*x10 + 26338*x5*x10 + 3705*x6*x10 + 26465*x1*x11 + 24008*x2*x11 + 45327*x3*x11 + 47713*x4*x11 + 42517*x5*x11 + 42675*x6*x11 + 21226*x1^2 + 36989*x1*x2 + 52078*x2^2 + 39978*x1*x3 + 16020*x2*x3 + 17092*x3^2 + 12980*x1*x4 + 46009*x2*x4 + 54570*x3*x4 + 4940*x4^2 + 41236*x1*x5 + 39681*x2*x5 + 9245*x3*x5 + 13923*x4*x5 + 15040*x5^2 + 41117*x1*x6 + 9281*x2*x6 + 19855*x3*x6 + 29530*x4*x6 + 57205*x5*x6 + 38287*x6^2 + 43930*x7 + 15708*x8 + 31297*x9 + 38113*x10 + 16571*x11 + 43613*x1 + 56693*x2 + 25002*x3 + 46851*x4 + 25600*x5 + 28740*x6 + 4071
]
: