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

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

#list

[
47362*x1^2 + 46500*x1*x2 + 65353*x2^2 + 4496*x1*x3 + 9976*x2*x3 + 9027*x3^2 + 42828*x1*x4 + 1173*x2*x4 + 25061*x3*x4 + 44717*x4^2 + 41529*x1*x5 + 9947*x2*x5 + 59182*x3*x5 + 18800*x4*x5 + 54804*x5^2 + 15422*x1*x6 + 11503*x2*x6 + 8094*x3*x6 + 4829*x4*x6 + 8078*x5*x6 + 41736*x6^2 + 57096*x1*x7 + 33162*x2*x7 + 20374*x3*x7 + 34677*x4*x7 + 24908*x5*x7 + 16085*x6*x7 + 39733*x7^2 + 30600*x1*x8 + 4172*x2*x8 + 21740*x3*x8 + 53865*x4*x8 + 42126*x5*x8 + 52971*x6*x8 + 24820*x7*x8 + 42389*x8^2 + 27014*x1*x9 + 16253*x2*x9 + 7103*x3*x9 + 40448*x4*x9 + 31152*x5*x9 + 33832*x6*x9 + 10719*x7*x9 + 55564*x8*x9 + 3060*x9^2 + 55511*x1*x10 + 37561*x2*x10 + 52406*x3*x10 + 54096*x4*x10 + 25164*x5*x10 + 16927*x6*x10 + 26063*x7*x10 + 3020*x8*x10 + 3330*x9*x10 + 31964*x10^2 + 64250*x1*x11^2 + 45725*x2*x11^2 + 42898*x3*x11^2 + 11778*x4*x11^2 + 46746*x5*x11^2 + 46510*x6*x11^2 + 25391*x7*x11^2 + 14735*x8*x11^2 + 17231*x9*x11^2 + 36255*x10*x11^2 + 55821*x11^4 + 51158*x1*x11*x12 + 35345*x2*x11*x12 + 44491*x3*x11*x12 + 5132*x4*x11*x12 + 23110*x5*x11*x12 + 4212*x6*x11*x12 + 51457*x7*x11*x12 + 15994*x8*x11*x12 + 41231*x9*x11*x12 + 50793*x10*x11*x12 + 34220*x11^3*x12 + 57886*x1*x12^2 + 36756*x2*x12^2 + 31738*x3*x12^2 + 43247*x4*x12^2 + 9609*x5*x12^2 + 25407*x6*x12^2 + 20123*x7*x12^2 + 65336*x8*x12^2 + 15352*x9*x12^2 + 63922*x10*x12^2 + 31744*x11^2*x12^2 + 36880*x11*x12^3 + 31503*x12^4 + 13666*x1*x11 + 58943*x2*x11 + 11043*x3*x11 + 21249*x4*x11 + 50827*x5*x11 + 38975*x6*x11 + 61309*x7*x11 + 15994*x8*x11 + 58458*x9*x11 + 28480*x10*x11 + 7877*x11^3 + 34477*x1*x12 + 33784*x2*x12 + 8676*x3*x12 + 29633*x4*x12 + 9639*x5*x12 + 32947*x6*x12 + 42530*x7*x12 + 19018*x8*x12 + 29120*x9*x12 + 39770*x10*x12 + 37826*x11^2*x12 + 48787*x11*x12^2 + 44738*x12^3 + 36375*x1 + 36956*x2 + 52728*x3 + 24638*x4 + 23650*x5 + 51491*x6 + 5316*x7 + 43187*x8 + 7635*x9 + 5801*x10 + 30149*x11^2 + 24289*x11*x12 + 54356*x12^2 + 59906*x11 + 33006*x12 + 51193,
5687*x1^2 + 11584*x1*x2 + 2805*x2^2 + 13130*x1*x3 + 53413*x2*x3 + 10105*x3^2 + 57891*x1*x4 + 53420*x2*x4 + 1087*x3*x4 + 10676*x4^2 + 42621*x1*x5 + 33262*x2*x5 + 56374*x3*x5 + 41519*x4*x5 + 30800*x5^2 + 59484*x1*x6 + 30837*x2*x6 + 41922*x3*x6 + 26206*x4*x6 + 1521*x5*x6 + 39*x6^2 + 58904*x1*x7 + 55751*x2*x7 + 58305*x3*x7 + 49175*x4*x7 + 45222*x5*x7 + 10031*x6*x7 + 2489*x7^2 + 61813*x1*x8 + 26160*x2*x8 + 11347*x3*x8 + 51709*x4*x8 + 21484*x5*x8 + 2899*x6*x8 + 7429*x7*x8 + 27732*x8^2 + 17680*x1*x9 + 59199*x2*x9 + 26919*x3*x9 + 1887*x4*x9 + 32643*x5*x9 + 44850*x6*x9 + 47675*x7*x9 + 638*x8*x9 + 62437*x9^2 + 11525*x1*x10 + 44447*x2*x10 + 41154*x3*x10 + 11858*x4*x10 + 60468*x5*x10 + 57953*x6*x10 + 43358*x7*x10 + 33938*x8*x10 + 51335*x9*x10 + 58001*x10^2 + 25589*x1*x11^2 + 39037*x2*x11^2 + 8522*x3*x11^2 + 41954*x4*x11^2 + 59535*x5*x11^2 + 59256*x6*x11^2 + 15630*x7*x11^2 + 55202*x8*x11^2 + 58315*x9*x11^2 + 25552*x10*x11^2 + 47698*x11^4 + 20438*x1*x11*x12 + 25836*x2*x11*x12 + 59994*x3*x11*x12 + 59365*x4*x11*x12 + 49746*x5*x11*x12 + 2166*x6*x11*x12 + 46409*x7*x11*x12 + 43937*x8*x11*x12 + 5916*x9*x11*x12 + 962*x10*x11*x12 + 25286*x11^3*x12 + 51726*x1*x12^2 + 63603*x2*x12^2 + 53535*x3*x12^2 + 40721*x4*x12^2 + 18411*x5*x12^2 + 33425*x6*x12^2 + 63463*x7*x12^2 + 11249*x8*x12^2 + 7759*x9*x12^2 + 54490*x10*x12^2 + 7721*x11^2*x12^2 + 57003*x11*x12^3 + 6326*x12^4 + 18636*x1*x11 + 47418*x2*x11 + 35917*x3*x11 + 40661*x4*x11 + 8436*x5*x11 + 15116*x6*x11 + 64277*x7*x11 + 6142*x8*x11 + 50093*x9*x11 + 37970*x10*x11 + 19592*x11^3 + 12899*x1*x12 + 13545*x2*x12 + 59917*x3*x12 + 53056*x4*x12 + 11248*x5*x12 + 22120*x6*x12 + 14624*x7*x12 + 61677*x8*x12 + 62982*x9*x12 + 11643*x10*x12 + 50867*x11^2*x12 + 18818*x11*x12^2 + 5893*x12^3 + 18377*x1 + 3697*x2 + 56376*x3 + 6431*x4 + 52671*x5 + 939*x6 + 13951*x7 + 43723*x8 + 36596*x9 + 21594*x10 + 11596*x11^2 + 42204*x11*x12 + 16862*x12^2 + 168*x11 + 5446*x12 + 1461,
51316*x1^2 + 33683*x1*x2 + 36256*x2^2 + 48333*x1*x3 + 14662*x2*x3 + 17552*x3^2 + 43312*x1*x4 + 62217*x2*x4 + 74*x3*x4 + 30938*x4^2 + 26791*x1*x5 + 63947*x2*x5 + 8638*x3*x5 + 23308*x4*x5 + 51865*x5^2 + 39269*x1*x6 + 62471*x2*x6 + 3667*x3*x6 + 9642*x4*x6 + 54679*x5*x6 + 42126*x6^2 + 35017*x1*x7 + 30765*x2*x7 + 38020*x3*x7 + 33372*x4*x7 + 15166*x5*x7 + 41035*x6*x7 + 58981*x7^2 + 40179*x1*x8 + 7119*x2*x8 + 23189*x3*x8 + 65036*x4*x8 + 10375*x5*x8 + 36916*x6*x8 + 30469*x7*x8 + 64389*x8^2 + 59085*x1*x9 + 6809*x2*x9 + 32747*x3*x9 + 15973*x4*x9 + 8884*x5*x9 + 40922*x6*x9 + 1942*x7*x9 + 43552*x8*x9 + 28468*x9^2 + 25134*x1*x10 + 38851*x2*x10 + 47462*x3*x10 + 18872*x4*x10 + 50525*x5*x10 + 30064*x6*x10 + 9564*x7*x10 + 25620*x8*x10 + 16753*x9*x10 + 26886*x10^2 + 40008*x1*x11^2 + 2617*x2*x11^2 + 23860*x3*x11^2 + 13692*x4*x11^2 + 17025*x5*x11^2 + 63171*x6*x11^2 + 49032*x7*x11^2 + 20175*x8*x11^2 + 14305*x9*x11^2 + 33077*x10*x11^2 + 34108*x11^4 + 53600*x1*x11*x12 + 1720*x2*x11*x12 + 54647*x3*x11*x12 + 28629*x4*x11*x12 + 37963*x5*x11*x12 + 41640*x6*x11*x12 + 45237*x7*x11*x12 + 1092*x8*x11*x12 + 9364*x9*x11*x12 + 30149*x10*x11*x12 + 40412*x11^3*x12 + 16283*x1*x12^2 + 46897*x2*x12^2 + 8380*x3*x12^2 + 53557*x4*x12^2 + 37083*x5*x12^2 + 16618*x6*x12^2 + 2079*x7*x12^2 + 24204*x8*x12^2 + 2290*x9*x12^2 + 4962*x10*x12^2 + 40449*x11^2*x12^2 + 41877*x11*x12^3 + 5372*x12^4 + 25404*x1*x11 + 23292*x2*x11 + 44176*x3*x11 + 36395*x4*x11 + 41640*x5*x11 + 60856*x6*x11 + 19246*x7*x11 + 64262*x8*x11 + 23785*x9*x11 + 58498*x10*x11 + 63428*x11^3 + 2748*x1*x12 + 39653*x2*x12 + 47712*x3*x12 + 35720*x4*x12 + 20453*x5*x12 + 36466*x6*x12 + 50914*x7*x12 + 30344*x8*x12 + 65466*x9*x12 + 58238*x10*x12 + 11904*x11^2*x12 + 35409*x11*x12^2 + 38991*x12^3 + 38317*x1 + 18466*x2 + 21480*x3 + 45115*x4 + 61989*x5 + 35643*x6 + 64400*x7 + 55103*x8 + 5654*x9 + 6565*x10 + 63226*x11^2 + 18256*x11*x12 + 51711*x12^2 + 9749*x11 + 53535*x12 + 43430,
65181*x1^2 + 58131*x1*x2 + 32824*x2^2 + 34948*x1*x3 + 32702*x2*x3 + 34220*x3^2 + 15819*x1*x4 + 20663*x2*x4 + 47433*x3*x4 + 37735*x4^2 + 8676*x1*x5 + 26514*x2*x5 + 30330*x3*x5 + 42766*x4*x5 + 31070*x5^2 + 26595*x1*x6 + 35845*x2*x6 + 13649*x3*x6 + 24237*x4*x6 + 53500*x5*x6 + 10994*x6^2 + 64574*x1*x7 + 51197*x2*x7 + 13006*x3*x7 + 62371*x4*x7 + 10972*x5*x7 + 1999*x6*x7 + 5401*x7^2 + 2003*x1*x8 + 37336*x2*x8 + 3267*x3*x8 + 63883*x4*x8 + 35818*x5*x8 + 11609*x6*x8 + 33715*x7*x8 + 6289*x8^2 + 39449*x1*x9 + 61501*x2*x9 + 1219*x3*x9 + 174*x4*x9 + 35772*x5*x9 + 24078*x6*x9 + 58792*x7*x9 + 26209*x8*x9 + 48355*x9^2 + 61709*x1*x10 + 10364*x2*x10 + 59670*x3*x10 + 27190*x4*x10 + 56989*x5*x10 + 38240*x6*x10 + 53558*x7*x10 + 16500*x8*x10 + 37725*x9*x10 + 23226*x10^2 + 46955*x1*x11^2 + 65475*x2*x11^2 + 56605*x3*x11^2 + 60151*x4*x11^2 + 5*x5*x11^2 + 50643*x6*x11^2 + 6069*x7*x11^2 + 47137*x8*x11^2 + 40494*x9*x11^2 + 19273*x10*x11^2 + 38993*x11^4 + 48664*x1*x11*x12 + 4340*x2*x11*x12 + 59742*x3*x11*x12 + 61479*x4*x11*x12 + 43875*x5*x11*x12 + 32768*x6*x11*x12 + 5408*x7*x11*x12 + 24083*x8*x11*x12 + 26574*x9*x11*x12 + 31521*x10*x11*x12 + 29316*x11^3*x12 + 20570*x1*x12^2 + 9575*x2*x12^2 + 14570*x3*x12^2 + 27535*x4*x12^2 + 49949*x5*x12^2 + 47627*x6*x12^2 + 1517*x7*x12^2 + 28385*x8*x12^2 + 27703*x9*x12^2 + 12215*x10*x12^2 + 59760*x11^2*x12^2 + 9803*x11*x12^3 + 55685*x12^4 + 5762*x1*x11 + 65275*x2*x11 + 54288*x3*x11 + 29697*x4*x11 + 7351*x5*x11 + 47207*x6*x11 + 41284*x7*x11 + 51651*x8*x11 + 27042*x9*x11 + 56576*x10*x11 + 57261*x11^3 + 13768*x1*x12 + 47870*x2*x12 + 55620*x3*x12 + 26242*x4*x12 + 21763*x5*x12 + 49211*x6*x12 + 29096*x7*x12 + 36357*x8*x12 + 29746*x9*x12 + 15887*x10*x12 + 18429*x11^2*x12 + 62788*x11*x12^2 + 3394*x12^3 + 63387*x1 + 47762*x2 + 28921*x3 + 24560*x4 + 13661*x5 + 21342*x6 + 46606*x7 + 13062*x8 + 44161*x9 + 4822*x10 + 28542*x11^2 + 52904*x11*x12 + 58980*x12^2 + 47393*x11 + 14953*x12 + 28781,
22631*x1^2 + 28634*x1*x2 + 17441*x2^2 + 4045*x1*x3 + 63452*x2*x3 + 31566*x3^2 + 62874*x1*x4 + 39814*x2*x4 + 63266*x3*x4 + 64087*x4^2 + 45443*x1*x5 + 23261*x2*x5 + 29567*x3*x5 + 46066*x4*x5 + 4992*x5^2 + 14379*x1*x6 + 24470*x2*x6 + 24735*x3*x6 + 22025*x4*x6 + 44647*x5*x6 + 2759*x6^2 + 35247*x1*x7 + 19485*x2*x7 + 19853*x3*x7 + 59944*x4*x7 + 62739*x5*x7 + 39500*x6*x7 + 62916*x7^2 + 63360*x1*x8 + 2659*x2*x8 + 51616*x3*x8 + 56561*x4*x8 + 23820*x5*x8 + 54848*x6*x8 + 63771*x7*x8 + 38647*x8^2 + 31011*x1*x9 + 433*x2*x9 + 29890*x3*x9 + 7827*x4*x9 + 41983*x5*x9 + 11413*x6*x9 + 27477*x7*x9 + 3715*x8*x9 + 29389*x9^2 + 2671*x1*x10 + 59136*x2*x10 + 63032*x3*x10 + 61000*x4*x10 + 4043*x5*x10 + 6729*x6*x10 + 9576*x7*x10 + 51439*x8*x10 + 65429*x9*x10 + 13401*x10^2 + 19628*x1*x11^2 + 40793*x2*x11^2 + 52645*x3*x11^2 + 60395*x4*x11^2 + 38829*x5*x11^2 + 29741*x6*x11^2 + 3400*x7*x11^2 + 63948*x8*x11^2 + 9158*x9*x11^2 + 17024*x10*x11^2 + 17024*x11^4 + 26482*x1*x11*x12 + 4577*x2*x11*x12 + 7466*x3*x11*x12 + 40840*x4*x11*x12 + 40552*x5*x11*x12 + 28958*x6*x11*x12 + 40134*x7*x11*x12 + 28521*x8*x11*x12 + 26838*x9*x11*x12 + 50532*x10*x11*x12 + 15182*x11^3*x12 + 61330*x1*x12^2 + 28100*x2*x12^2 + 11955*x3*x12^2 + 25646*x4*x12^2 + 57895*x5*x12^2 + 42040*x6*x12^2 + 53446*x7*x12^2 + 8764*x8*x12^2 + 29974*x9*x12^2 + 24773*x10*x12^2 + 18589*x11^2*x12^2 + 46663*x11*x12^3 + 25222*x12^4 + 60253*x1*x11 + 34193*x2*x11 + 62104*x3*x11 + 43345*x4*x11 + 48394*x5*x11 + 42337*x6*x11 + 2630*x7*x11 + 5092*x8*x11 + 41352*x9*x11 + 64666*x10*x11 + 947*x11^3 + 19429*x1*x12 + 262*x2*x12 + 39590*x3*x12 + 28155*x4*x12 + 46252*x5*x12 + 48598*x6*x12 + 36403*x7*x12 + 54591*x8*x12 + 16549*x9*x12 + 42782*x10*x12 + 46736*x11^2*x12 + 15316*x11*x12^2 + 58950*x12^3 + 41433*x1 + 48756*x2 + 20150*x3 + 37906*x4 + 11540*x5 + 27726*x6 + 271*x7 + 58297*x8 + 10987*x9 + 57320*x10 + 57657*x11^2 + 43537*x11*x12 + 8172*x12^2 + 35812*x11 + 10207*x12 + 56285,
37224*x1^2 + 64962*x1*x2 + 5997*x2^2 + 47577*x1*x3 + 49798*x2*x3 + 34384*x3^2 + 30566*x1*x4 + 24324*x2*x4 + 3068*x3*x4 + 61756*x4^2 + 41523*x1*x5 + 2234*x2*x5 + 2552*x3*x5 + 64679*x4*x5 + 15938*x5^2 + 29625*x1*x6 + 14197*x2*x6 + 53355*x3*x6 + 6215*x4*x6 + 2976*x5*x6 + 13285*x6^2 + 25106*x1*x7 + 8038*x2*x7 + 4901*x3*x7 + 2334*x4*x7 + 19781*x5*x7 + 60763*x6*x7 + 33327*x7^2 + 14483*x1*x8 + 18281*x2*x8 + 18272*x3*x8 + 31940*x4*x8 + 16300*x5*x8 + 23014*x6*x8 + 47831*x7*x8 + 59543*x8^2 + 31562*x1*x9 + 45539*x2*x9 + 10710*x3*x9 + 20582*x4*x9 + 30795*x5*x9 + 12438*x6*x9 + 45210*x7*x9 + 47173*x8*x9 + 14927*x9^2 + 54314*x1*x10 + 56835*x2*x10 + 5719*x3*x10 + 59481*x4*x10 + 55641*x5*x10 + 52580*x6*x10 + 39928*x7*x10 + 2058*x8*x10 + 8890*x9*x10 + 20519*x10^2 + 53544*x1*x11^2 + 64694*x2*x11^2 + 65078*x3*x11^2 + 355*x4*x11^2 + 45846*x5*x11^2 + 17588*x6*x11^2 + 44794*x7*x11^2 + 15083*x8*x11^2 + 62626*x9*x11^2 + 4668*x10*x11^2 + 4615*x11^4 + 42624*x1*x11*x12 + 11005*x2*x11*x12 + 16944*x3*x11*x12 + 13523*x4*x11*x12 + 47102*x5*x11*x12 + 49675*x6*x11*x12 + 43327*x7*x11*x12 + 2510*x8*x11*x12 + 51908*x9*x11*x12 + 49313*x10*x11*x12 + 20582*x11^3*x12 + 61353*x1*x12^2 + 3321*x2*x12^2 + 16499*x3*x12^2 + 64146*x4*x12^2 + 41890*x5*x12^2 + 34539*x6*x12^2 + 63463*x7*x12^2 + 31142*x8*x12^2 + 38845*x9*x12^2 + 15673*x10*x12^2 + 35963*x11^2*x12^2 + 11845*x11*x12^3 + 2107*x12^4 + 26334*x1*x11 + 34750*x2*x11 + 27458*x3*x11 + 61524*x4*x11 + 12801*x5*x11 + 38045*x6*x11 + 36276*x7*x11 + 27368*x8*x11 + 61052*x9*x11 + 52425*x10*x11 + 1740*x11^3 + 54402*x1*x12 + 8596*x2*x12 + 16595*x3*x12 + 28708*x4*x12 + 42639*x5*x12 + 38139*x6*x12 + 6106*x7*x12 + 24576*x8*x12 + 39790*x9*x12 + 54524*x10*x12 + 43695*x11^2*x12 + 4923*x11*x12^2 + 30029*x12^3 + 581*x1 + 64904*x2 + 32336*x3 + 53657*x4 + 62387*x5 + 17035*x6 + 12432*x7 + 2505*x8 + 26611*x9 + 45497*x10 + 57131*x11^2 + 56704*x11*x12 + 62179*x12^2 + 53868*x11 + 42624*x12 + 25836,
64596*x1^2 + 13906*x1*x2 + 47384*x2^2 + 27978*x1*x3 + 4365*x2*x3 + 24557*x3^2 + 11222*x1*x4 + 57331*x2*x4 + 3206*x3*x4 + 4004*x4^2 + 48466*x1*x5 + 61726*x2*x5 + 48813*x3*x5 + 10815*x4*x5 + 10631*x5^2 + 27202*x1*x6 + 4136*x2*x6 + 50186*x3*x6 + 25395*x4*x6 + 60941*x5*x6 + 41285*x6^2 + 6182*x1*x7 + 17449*x2*x7 + 17292*x3*x7 + 31237*x4*x7 + 5589*x5*x7 + 7907*x6*x7 + 45246*x7^2 + 14835*x1*x8 + 4007*x2*x8 + 27069*x3*x8 + 5983*x4*x8 + 13844*x5*x8 + 29931*x6*x8 + 11822*x7*x8 + 1652*x8^2 + 1412*x1*x9 + 47754*x2*x9 + 3062*x3*x9 + 41976*x4*x9 + 35430*x5*x9 + 3431*x6*x9 + 58011*x7*x9 + 52917*x8*x9 + 34460*x9^2 + 11660*x1*x10 + 59591*x2*x10 + 29919*x3*x10 + 8521*x4*x10 + 61904*x5*x10 + 41272*x6*x10 + 25283*x7*x10 + 61796*x8*x10 + 61467*x9*x10 + 15877*x10^2 + 28546*x1*x11^2 + 45931*x2*x11^2 + 64650*x3*x11^2 + 57034*x4*x11^2 + 8821*x5*x11^2 + 43468*x6*x11^2 + 21676*x7*x11^2 + 51100*x8*x11^2 + 21574*x9*x11^2 + 12368*x10*x11^2 + 50475*x11^4 + 30430*x1*x11*x12 + 20486*x2*x11*x12 + 55793*x3*x11*x12 + 28897*x4*x11*x12 + 11338*x5*x11*x12 + 45000*x6*x11*x12 + 22827*x7*x11*x12 + 36364*x8*x11*x12 + 17434*x9*x11*x12 + 30862*x10*x11*x12 + 40364*x11^3*x12 + 5601*x1*x12^2 + 15552*x2*x12^2 + 26598*x3*x12^2 + 43358*x4*x12^2 + 60088*x5*x12^2 + 19935*x6*x12^2 + 22153*x7*x12^2 + 36287*x8*x12^2 + 32238*x9*x12^2 + 21915*x10*x12^2 + 42539*x11^2*x12^2 + 26821*x11*x12^3 + 32017*x12^4 + 28556*x1*x11 + 53731*x2*x11 + 53664*x3*x11 + 24793*x4*x11 + 23825*x5*x11 + 56416*x6*x11 + 12089*x7*x11 + 39698*x8*x11 + 62454*x9*x11 + 1579*x10*x11 + 62115*x11^3 + 23092*x1*x12 + 7495*x2*x12 + 12409*x3*x12 + 643*x4*x12 + 59011*x5*x12 + 22506*x6*x12 + 15311*x7*x12 + 61749*x8*x12 + 11768*x9*x12 + 30674*x10*x12 + 47366*x11^2*x12 + 47832*x11*x12^2 + 54465*x12^3 + 15358*x1 + 58158*x2 + 9024*x3 + 57670*x4 + 30525*x5 + 1176*x6 + 31158*x7 + 24596*x8 + 33913*x9 + 43115*x10 + 62029*x11^2 + 3730*x11*x12 + 57407*x12^2 + 9502*x11 + 31529*x12 + 35345,
8403*x1^2 + 2992*x1*x2 + 44195*x2^2 + 28411*x1*x3 + 53838*x2*x3 + 14547*x3^2 + 3511*x1*x4 + 9030*x2*x4 + 54645*x3*x4 + 26667*x4^2 + 51309*x1*x5 + 49650*x2*x5 + 37725*x3*x5 + 33354*x4*x5 + 49874*x5^2 + 9192*x1*x6 + 42638*x2*x6 + 57097*x3*x6 + 18895*x4*x6 + 50806*x5*x6 + 63334*x6^2 + 44308*x1*x7 + 42279*x2*x7 + 16976*x3*x7 + 37983*x4*x7 + 31355*x5*x7 + 51088*x6*x7 + 2381*x7^2 + 55300*x1*x8 + 28746*x2*x8 + 10531*x3*x8 + 29226*x4*x8 + 6580*x5*x8 + 9946*x6*x8 + 13256*x7*x8 + 20740*x8^2 + 48921*x1*x9 + 44090*x2*x9 + 51232*x3*x9 + 62653*x4*x9 + 21919*x5*x9 + 49119*x6*x9 + 29526*x7*x9 + 57653*x8*x9 + 60714*x9^2 + 8991*x1*x10 + 62910*x2*x10 + 53778*x3*x10 + 32482*x4*x10 + 25705*x5*x10 + 41213*x6*x10 + 108*x7*x10 + 9251*x8*x10 + 22111*x9*x10 + 2761*x10^2 + 8624*x1*x11^2 + 30231*x2*x11^2 + 45046*x3*x11^2 + 17901*x4*x11^2 + 50289*x5*x11^2 + 5106*x6*x11^2 + 36963*x7*x11^2 + 41672*x8*x11^2 + 46143*x9*x11^2 + 20865*x10*x11^2 + 2332*x11^4 + 56598*x1*x11*x12 + 43890*x2*x11*x12 + 32586*x3*x11*x12 + 58098*x4*x11*x12 + 26791*x5*x11*x12 + 35761*x6*x11*x12 + 51892*x7*x11*x12 + 11486*x8*x11*x12 + 13082*x9*x11*x12 + 43069*x10*x11*x12 + 46556*x11^3*x12 + 21332*x1*x12^2 + 57454*x2*x12^2 + 11048*x3*x12^2 + 1912*x4*x12^2 + 16075*x5*x12^2 + 46045*x6*x12^2 + 59889*x7*x12^2 + 20493*x8*x12^2 + 29855*x9*x12^2 + 30106*x10*x12^2 + 29661*x11^2*x12^2 + 58911*x11*x12^3 + 893*x12^4 + 9958*x1*x11 + 36734*x2*x11 + 15113*x3*x11 + 53950*x4*x11 + 12325*x5*x11 + 62047*x6*x11 + 54062*x7*x11 + 51315*x8*x11 + 61866*x9*x11 + 50211*x10*x11 + 9310*x11^3 + 56765*x1*x12 + 28270*x2*x12 + 43227*x3*x12 + 5706*x4*x12 + 17477*x5*x12 + 7679*x6*x12 + 15495*x7*x12 + 15866*x8*x12 + 48104*x9*x12 + 63017*x10*x12 + 7541*x11^2*x12 + 61053*x11*x12^2 + 10335*x12^3 + 33743*x1 + 19323*x2 + 42532*x3 + 38113*x4 + 57800*x5 + 18804*x6 + 27896*x7 + 24054*x8 + 44840*x9 + 24826*x10 + 39738*x11^2 + 17800*x11*x12 + 12575*x12^2 + 45697*x11 + 57933*x12 + 49706,
18377*x1^2 + 22706*x1*x2 + 23041*x2^2 + 21200*x1*x3 + 3365*x2*x3 + 9146*x3^2 + 40120*x1*x4 + 6444*x2*x4 + 54482*x3*x4 + 48323*x4^2 + 51808*x1*x5 + 58051*x2*x5 + 48435*x3*x5 + 18247*x4*x5 + 50764*x5^2 + 25498*x1*x6 + 12855*x2*x6 + 52192*x3*x6 + 21063*x4*x6 + 6894*x5*x6 + 61323*x6^2 + 55044*x1*x7 + 28226*x2*x7 + 27653*x3*x7 + 30996*x4*x7 + 26124*x5*x7 + 28317*x6*x7 + 22492*x7^2 + 30483*x1*x8 + 12471*x2*x8 + 10225*x3*x8 + 27207*x4*x8 + 4139*x5*x8 + 39906*x6*x8 + 7702*x7*x8 + 2021*x8^2 + 55023*x1*x9 + 17428*x2*x9 + 25082*x3*x9 + 5834*x4*x9 + 39522*x5*x9 + 24317*x6*x9 + 60124*x7*x9 + 39583*x8*x9 + 2466*x9^2 + 57743*x1*x10 + 14350*x2*x10 + 1949*x3*x10 + 21790*x4*x10 + 38458*x5*x10 + 60799*x6*x10 + 63767*x7*x10 + 38957*x8*x10 + 27636*x9*x10 + 45252*x10^2 + 17383*x1*x11^2 + 17042*x2*x11^2 + 39015*x3*x11^2 + 23230*x4*x11^2 + 31242*x5*x11^2 + 58302*x6*x11^2 + 14275*x7*x11^2 + 14821*x8*x11^2 + 30889*x9*x11^2 + 26728*x10*x11^2 + 10194*x11^4 + 59242*x1*x11*x12 + 47547*x2*x11*x12 + 37427*x3*x11*x12 + 42277*x4*x11*x12 + 22666*x5*x11*x12 + 55679*x6*x11*x12 + 50274*x7*x11*x12 + 12244*x8*x11*x12 + 46549*x9*x11*x12 + 36085*x10*x11*x12 + 31762*x11^3*x12 + 19795*x1*x12^2 + 50833*x2*x12^2 + 42091*x3*x12^2 + 13689*x4*x12^2 + 37220*x5*x12^2 + 3402*x6*x12^2 + 45948*x7*x12^2 + 55656*x8*x12^2 + 2358*x9*x12^2 + 11403*x10*x12^2 + 61548*x11^2*x12^2 + 44799*x11*x12^3 + 18358*x12^4 + 58168*x1*x11 + 8164*x2*x11 + 3321*x3*x11 + 38217*x4*x11 + 11168*x5*x11 + 12365*x6*x11 + 16789*x7*x11 + 3146*x8*x11 + 11875*x9*x11 + 61313*x10*x11 + 23458*x11^3 + 51077*x1*x12 + 35099*x2*x12 + 37226*x3*x12 + 39569*x4*x12 + 6957*x5*x12 + 59256*x6*x12 + 27376*x7*x12 + 46275*x8*x12 + 4120*x9*x12 + 19485*x10*x12 + 13520*x11^2*x12 + 33901*x11*x12^2 + 5839*x12^3 + 37079*x1 + 58545*x2 + 56896*x3 + 50692*x4 + 33081*x5 + 7410*x6 + 3609*x7 + 43096*x8 + 48272*x9 + 20503*x10 + 33242*x11^2 + 1447*x11*x12 + 55660*x12^2 + 24662*x11 + 53465*x12 + 61411,
37435*x1^2 + 2202*x1*x2 + 42473*x2^2 + 32314*x1*x3 + 53005*x2*x3 + 32466*x3^2 + 39531*x1*x4 + 56957*x2*x4 + 13527*x3*x4 + 45340*x4^2 + 36189*x1*x5 + 40959*x2*x5 + 61169*x3*x5 + 58066*x4*x5 + 39673*x5^2 + 53845*x1*x6 + 47656*x2*x6 + 44142*x3*x6 + 5792*x4*x6 + 1332*x5*x6 + 54206*x6^2 + 51841*x1*x7 + 15069*x2*x7 + 38525*x3*x7 + 57409*x4*x7 + 33411*x5*x7 + 22808*x6*x7 + 7767*x7^2 + 64448*x1*x8 + 22655*x2*x8 + 52248*x3*x8 + 39334*x4*x8 + 14019*x5*x8 + 49195*x6*x8 + 37711*x7*x8 + 40156*x8^2 + 44516*x1*x9 + 46014*x2*x9 + 38169*x3*x9 + 43741*x4*x9 + 16381*x5*x9 + 38936*x6*x9 + 38879*x7*x9 + 47513*x8*x9 + 49957*x9^2 + 55554*x1*x10 + 29492*x2*x10 + 29698*x3*x10 + 53274*x4*x10 + 40957*x5*x10 + 46431*x6*x10 + 62278*x7*x10 + 43768*x8*x10 + 38238*x9*x10 + 43882*x10^2 + 17361*x1*x11^2 + 49090*x2*x11^2 + 46414*x3*x11^2 + 16433*x4*x11^2 + 40982*x5*x11^2 + 6001*x6*x11^2 + 16204*x7*x11^2 + 41094*x8*x11^2 + 24043*x9*x11^2 + 38774*x10*x11^2 + 55584*x11^4 + 41645*x1*x11*x12 + 22031*x2*x11*x12 + 38717*x3*x11*x12 + 27191*x4*x11*x12 + 25612*x5*x11*x12 + 60829*x6*x11*x12 + 23802*x7*x11*x12 + 3998*x8*x11*x12 + 19527*x9*x11*x12 + 23957*x10*x11*x12 + 40091*x11^3*x12 + 62575*x1*x12^2 + 6182*x2*x12^2 + 35609*x3*x12^2 + 29633*x4*x12^2 + 2615*x5*x12^2 + 7057*x6*x12^2 + 3872*x7*x12^2 + 46864*x8*x12^2 + 60349*x9*x12^2 + 59517*x10*x12^2 + 25841*x11^2*x12^2 + 19108*x11*x12^3 + 14373*x12^4 + 54275*x1*x11 + 38882*x2*x11 + 24963*x3*x11 + 44098*x4*x11 + 56814*x5*x11 + 32106*x6*x11 + 2461*x7*x11 + 62309*x8*x11 + 5639*x9*x11 + 30916*x10*x11 + 57317*x11^3 + 8999*x1*x12 + 8577*x2*x12 + 58892*x3*x12 + 23526*x4*x12 + 60803*x5*x12 + 15992*x6*x12 + 28915*x7*x12 + 34777*x8*x12 + 42647*x9*x12 + 64420*x10*x12 + 19884*x11^2*x12 + 53497*x11*x12^2 + 23785*x12^3 + 25557*x1 + 30662*x2 + 36584*x3 + 58099*x4 + 23780*x5 + 58976*x6 + 20939*x7 + 14739*x8 + 53929*x9 + 31836*x10 + 18154*x11^2 + 13333*x11*x12 + 6009*x12^2 + 55517*x11 + 25162*x12 + 16935,
30219*x1^2 + 3576*x1*x2 + 52049*x2^2 + 58799*x1*x3 + 1543*x2*x3 + 43597*x3^2 + 49866*x1*x4 + 776*x2*x4 + 33558*x3*x4 + 30741*x4^2 + 58032*x1*x5 + 5840*x2*x5 + 20605*x3*x5 + 32326*x4*x5 + 64064*x5^2 + 41388*x1*x6 + 23862*x2*x6 + 58887*x3*x6 + 4269*x4*x6 + 14367*x5*x6 + 15423*x6^2 + 531*x1*x7 + 63656*x2*x7 + 44031*x3*x7 + 35893*x4*x7 + 45446*x5*x7 + 404*x6*x7 + 61671*x7^2 + 33173*x1*x8 + 4132*x2*x8 + 35291*x3*x8 + 25886*x4*x8 + 64194*x5*x8 + 44189*x6*x8 + 25028*x7*x8 + 10219*x8^2 + 25860*x1*x9 + 19339*x2*x9 + 4956*x3*x9 + 12556*x4*x9 + 40749*x5*x9 + 10140*x6*x9 + 4323*x7*x9 + 47914*x8*x9 + 42549*x9^2 + 57768*x1*x10 + 38605*x2*x10 + 15555*x3*x10 + 31075*x4*x10 + 60708*x5*x10 + 13767*x6*x10 + 60302*x7*x10 + 17549*x8*x10 + 1702*x9*x10 + 6365*x10^2 + 62978*x1*x11^2 + 57929*x2*x11^2 + 31428*x3*x11^2 + 1281*x4*x11^2 + 16557*x5*x11^2 + 43475*x6*x11^2 + 17050*x7*x11^2 + 45566*x8*x11^2 + 15623*x9*x11^2 + 17679*x10*x11^2 + 3371*x11^4 + 64817*x1*x11*x12 + 13293*x2*x11*x12 + 4911*x3*x11*x12 + 54349*x4*x11*x12 + 58117*x5*x11*x12 + 34490*x6*x11*x12 + 63379*x7*x11*x12 + 34262*x8*x11*x12 + 20595*x9*x11*x12 + 49506*x10*x11*x12 + 37071*x11^3*x12 + 60865*x1*x12^2 + 10764*x2*x12^2 + 19644*x3*x12^2 + 8135*x4*x12^2 + 38257*x5*x12^2 + 39205*x6*x12^2 + 22105*x7*x12^2 + 58955*x8*x12^2 + 22991*x9*x12^2 + 60935*x10*x12^2 + 6962*x11^2*x12^2 + 52055*x11*x12^3 + 25200*x12^4 + 39891*x1*x11 + 61870*x2*x11 + 11163*x3*x11 + 30189*x4*x11 + 56799*x5*x11 + 27149*x6*x11 + 58665*x7*x11 + 55195*x8*x11 + 40691*x9*x11 + 32080*x10*x11 + 10187*x11^3 + 32461*x1*x12 + 55884*x2*x12 + 41939*x3*x12 + 17678*x4*x12 + 33954*x5*x12 + 49436*x6*x12 + 10791*x7*x12 + 57083*x8*x12 + 47626*x9*x12 + 64847*x10*x12 + 54398*x11^2*x12 + 51848*x11*x12^2 + 11432*x12^3 + 37458*x1 + 49303*x2 + 25609*x3 + 43096*x4 + 3148*x5 + 45980*x6 + 54746*x7 + 54955*x8 + 4091*x9 + 51049*x10 + 51693*x11^2 + 64016*x11*x12 + 3447*x12^2 + 40623*x11 + 22332*x12 + 39688,
28256*x1^2 + 28454*x1*x2 + 55316*x2^2 + 36702*x1*x3 + 6499*x2*x3 + 39470*x3^2 + 15779*x1*x4 + 29290*x2*x4 + 54424*x3*x4 + 12226*x4^2 + 33565*x1*x5 + 14378*x2*x5 + 54521*x3*x5 + 9318*x4*x5 + 46215*x5^2 + 10254*x1*x6 + 43751*x2*x6 + 48948*x3*x6 + 34957*x4*x6 + 34175*x5*x6 + 43591*x6^2 + 40795*x1*x7 + 32183*x2*x7 + 26444*x3*x7 + 53553*x4*x7 + 3604*x5*x7 + 58411*x6*x7 + 32534*x7^2 + 16695*x1*x8 + 27387*x2*x8 + 11046*x3*x8 + 16261*x4*x8 + 7982*x5*x8 + 22365*x6*x8 + 31328*x7*x8 + 2745*x8^2 + 64349*x1*x9 + 14997*x2*x9 + 51937*x3*x9 + 29604*x4*x9 + 27473*x5*x9 + 10650*x6*x9 + 39978*x7*x9 + 22252*x8*x9 + 55576*x9^2 + 14694*x1*x10 + 35316*x2*x10 + 12590*x3*x10 + 13618*x4*x10 + 64384*x5*x10 + 38565*x6*x10 + 2965*x7*x10 + 7516*x8*x10 + 10774*x9*x10 + 44882*x10^2 + 11858*x1*x11^2 + 34322*x2*x11^2 + 22729*x3*x11^2 + 60543*x4*x11^2 + 50447*x5*x11^2 + 23499*x6*x11^2 + 37021*x7*x11^2 + 49059*x8*x11^2 + 13290*x9*x11^2 + 35715*x10*x11^2 + 53787*x11^4 + 64051*x1*x11*x12 + 30472*x2*x11*x12 + 64406*x3*x11*x12 + 14807*x4*x11*x12 + 2807*x5*x11*x12 + 52302*x6*x11*x12 + 2441*x7*x11*x12 + 21148*x8*x11*x12 + 8875*x9*x11*x12 + 19464*x10*x11*x12 + 49180*x11^3*x12 + 52098*x1*x12^2 + 5752*x2*x12^2 + 8634*x3*x12^2 + 53504*x4*x12^2 + 43408*x5*x12^2 + 19820*x6*x12^2 + 38195*x7*x12^2 + 14289*x8*x12^2 + 457*x9*x12^2 + 35064*x10*x12^2 + 3820*x11^2*x12^2 + 20785*x11*x12^3 + 11819*x12^4 + 35160*x1*x11 + 19633*x2*x11 + 38061*x3*x11 + 31543*x4*x11 + 8546*x5*x11 + 59738*x6*x11 + 63964*x7*x11 + 36069*x8*x11 + 36825*x9*x11 + 45465*x10*x11 + 43994*x11^3 + 537*x1*x12 + 11001*x2*x12 + 53647*x3*x12 + 5781*x4*x12 + 28573*x5*x12 + 35751*x6*x12 + 58812*x7*x12 + 51891*x8*x12 + 9540*x9*x12 + 44395*x10*x12 + 18142*x11^2*x12 + 42860*x11*x12^2 + 56494*x12^3 + 47291*x1 + 30724*x2 + 24771*x3 + 41991*x4 + 31143*x5 + 52557*x6 + 51260*x7 + 61037*x8 + 3542*x9 + 54959*x10 + 36480*x11^2 + 21442*x11*x12 + 12290*x12^2 + 56928*x11 + 63436*x12 + 31857
]
: