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

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

#list

[
5601*x1^2 + 54940*x1*x2 + 15694*x2^2 + 46513*x1*x3 + 27532*x2*x3 + 28379*x3^2 + 21593*x1*x4 + 35437*x2*x4 + 18947*x3*x4 + 13479*x4^2 + 27164*x1*x5 + 19480*x2*x5 + 63148*x3*x5 + 18227*x4*x5 + 49324*x5^2 + 27511*x1*x6 + 44757*x2*x6 + 61870*x3*x6 + 45697*x4*x6 + 63057*x5*x6 + 20833*x6^2 + 29103*x1*x7 + 3374*x2*x7 + 7982*x3*x7 + 38250*x4*x7 + 62865*x5*x7 + 43309*x6*x7 + 50714*x7^2 + 50411*x1*x8 + 63854*x2*x8 + 25038*x3*x8 + 55469*x4*x8 + 20155*x5*x8 + 19876*x6*x8 + 25438*x7*x8 + 12967*x8^2 + 25558*x1*x9 + 37492*x2*x9 + 7150*x3*x9 + 62942*x4*x9 + 56594*x5*x9 + 55692*x6*x9 + 15668*x7*x9 + 21714*x8*x9 + 9916*x9^2 + 42253*x1*x10 + 3678*x2*x10 + 55875*x3*x10 + 1393*x4*x10 + 15893*x5*x10 + 8878*x6*x10 + 36037*x7*x10 + 19934*x8*x10 + 18555*x9*x10 + 4295*x10^2 + 30358*x1*x11 + 14823*x2*x11 + 58102*x3*x11 + 12260*x4*x11 + 1466*x5*x11 + 21089*x6*x11 + 28325*x7*x11 + 27199*x8*x11 + 40401*x9*x11 + 51443*x10*x11 + 49229*x11^2 + 29183*x1*x12^2 + 22478*x2*x12^2 + 20883*x3*x12^2 + 50481*x4*x12^2 + 38854*x5*x12^2 + 6791*x6*x12^2 + 29970*x7*x12^2 + 30262*x8*x12^2 + 2841*x9*x12^2 + 36795*x10*x12^2 + 6821*x11*x12^2 + 19470*x12^4 + 61297*x1*x12*x13 + 43598*x2*x12*x13 + 39692*x3*x12*x13 + 35250*x4*x12*x13 + 1064*x5*x12*x13 + 34299*x6*x12*x13 + 51618*x7*x12*x13 + 255*x8*x12*x13 + 65300*x9*x12*x13 + 19189*x10*x12*x13 + 40018*x11*x12*x13 + 61211*x12^3*x13 + 53409*x1*x13^2 + 60735*x2*x13^2 + 14977*x3*x13^2 + 21717*x4*x13^2 + 682*x5*x13^2 + 27488*x6*x13^2 + 4019*x7*x13^2 + 49321*x8*x13^2 + 30173*x9*x13^2 + 56851*x10*x13^2 + 45493*x11*x13^2 + 18451*x12^2*x13^2 + 53418*x12*x13^3 + 56128*x13^4 + 32433*x1*x12 + 13235*x2*x12 + 6474*x3*x12 + 44754*x4*x12 + 52479*x5*x12 + 7207*x6*x12 + 44833*x7*x12 + 11602*x8*x12 + 20556*x9*x12 + 44607*x10*x12 + 560*x11*x12 + 54106*x12^3 + 42286*x1*x13 + 44592*x2*x13 + 4788*x3*x13 + 33238*x4*x13 + 9176*x5*x13 + 38737*x6*x13 + 64357*x7*x13 + 7198*x8*x13 + 51669*x9*x13 + 45729*x10*x13 + 46026*x11*x13 + 3699*x12^2*x13 + 53621*x12*x13^2 + 40897*x13^3 + 54853*x1 + 54761*x2 + 26942*x3 + 54847*x4 + 5778*x5 + 7398*x6 + 15706*x7 + 13675*x8 + 14386*x9 + 26615*x10 + 2043*x11 + 31442*x12^2 + 14486*x12*x13 + 21118*x13^2 + 46262*x12 + 5759*x13 + 29426,
55700*x1^2 + 24290*x1*x2 + 34035*x2^2 + 16075*x1*x3 + 1424*x2*x3 + 58383*x3^2 + 26755*x1*x4 + 4220*x2*x4 + 15084*x3*x4 + 25643*x4^2 + 15803*x1*x5 + 29469*x2*x5 + 48701*x3*x5 + 3531*x4*x5 + 18099*x5^2 + 50439*x1*x6 + 16251*x2*x6 + 38587*x3*x6 + 9680*x4*x6 + 3928*x5*x6 + 60303*x6^2 + 27689*x1*x7 + 49359*x2*x7 + 44270*x3*x7 + 24313*x4*x7 + 36891*x5*x7 + 35814*x6*x7 + 63633*x7^2 + 4457*x1*x8 + 15323*x2*x8 + 49375*x3*x8 + 2413*x4*x8 + 31959*x5*x8 + 24772*x6*x8 + 65222*x7*x8 + 39645*x8^2 + 20765*x1*x9 + 39921*x2*x9 + 13726*x3*x9 + 39697*x4*x9 + 17806*x5*x9 + 33689*x6*x9 + 6231*x7*x9 + 15612*x8*x9 + 63327*x9^2 + 10489*x1*x10 + 49782*x2*x10 + 62258*x3*x10 + 10277*x4*x10 + 42035*x5*x10 + 41877*x6*x10 + 64051*x7*x10 + 6650*x8*x10 + 37556*x9*x10 + 59181*x10^2 + 48231*x1*x11 + 22093*x2*x11 + 7060*x3*x11 + 38814*x4*x11 + 63737*x5*x11 + 54107*x6*x11 + 38895*x7*x11 + 23170*x8*x11 + 60952*x9*x11 + 37458*x10*x11 + 53721*x11^2 + 23611*x1*x12^2 + 34103*x2*x12^2 + 6803*x3*x12^2 + 63048*x4*x12^2 + 18319*x5*x12^2 + 31377*x6*x12^2 + 53731*x7*x12^2 + 12850*x8*x12^2 + 55634*x9*x12^2 + 30210*x10*x12^2 + 33144*x11*x12^2 + 12864*x12^4 + 31833*x1*x12*x13 + 47441*x2*x12*x13 + 42631*x3*x12*x13 + 51597*x4*x12*x13 + 53734*x5*x12*x13 + 41599*x6*x12*x13 + 1989*x7*x12*x13 + 39*x8*x12*x13 + 42901*x9*x12*x13 + 15880*x10*x12*x13 + 24007*x11*x12*x13 + 4488*x12^3*x13 + 19186*x1*x13^2 + 10328*x2*x13^2 + 170*x3*x13^2 + 438*x4*x13^2 + 59517*x5*x13^2 + 3070*x6*x13^2 + 23244*x7*x13^2 + 55812*x8*x13^2 + 33480*x9*x13^2 + 48308*x10*x13^2 + 53441*x11*x13^2 + 19941*x12^2*x13^2 + 32401*x12*x13^3 + 21316*x13^4 + 41467*x1*x12 + 1425*x2*x12 + 39113*x3*x12 + 11878*x4*x12 + 47733*x5*x12 + 18440*x6*x12 + 16642*x7*x12 + 39407*x8*x12 + 54035*x9*x12 + 9208*x10*x12 + 16158*x11*x12 + 21503*x12^3 + 36148*x1*x13 + 10488*x2*x13 + 24593*x3*x13 + 21836*x4*x13 + 62610*x5*x13 + 36321*x6*x13 + 32286*x7*x13 + 17582*x8*x13 + 37251*x9*x13 + 50727*x10*x13 + 26661*x11*x13 + 13250*x12^2*x13 + 21664*x12*x13^2 + 57009*x13^3 + 53006*x1 + 19854*x2 + 504*x3 + 39510*x4 + 15026*x5 + 37515*x6 + 12734*x7 + 2860*x8 + 62951*x9 + 19357*x10 + 55175*x11 + 63045*x12^2 + 29431*x12*x13 + 41912*x13^2 + 57490*x12 + 29703*x13 + 49698,
36344*x1^2 + 1886*x1*x2 + 46751*x2^2 + 32921*x1*x3 + 44054*x2*x3 + 64975*x3^2 + 56485*x1*x4 + 39390*x2*x4 + 34421*x3*x4 + 59367*x4^2 + 43412*x1*x5 + 43557*x2*x5 + 57081*x3*x5 + 49486*x4*x5 + 37145*x5^2 + 51426*x1*x6 + 32004*x2*x6 + 14160*x3*x6 + 28933*x4*x6 + 62025*x5*x6 + 31796*x6^2 + 35686*x1*x7 + 61394*x2*x7 + 59838*x3*x7 + 57811*x4*x7 + 17300*x5*x7 + 19287*x6*x7 + 2164*x7^2 + 14931*x1*x8 + 50481*x2*x8 + 42000*x3*x8 + 19291*x4*x8 + 52719*x5*x8 + 49240*x6*x8 + 7693*x7*x8 + 39177*x8^2 + 7343*x1*x9 + 5379*x2*x9 + 22608*x3*x9 + 28906*x4*x9 + 47951*x5*x9 + 51495*x6*x9 + 23756*x7*x9 + 36672*x8*x9 + 1895*x9^2 + 4728*x1*x10 + 29709*x2*x10 + 36939*x3*x10 + 3208*x4*x10 + 38545*x5*x10 + 60053*x6*x10 + 16115*x7*x10 + 37334*x8*x10 + 24292*x9*x10 + 36064*x10^2 + 64817*x1*x11 + 41415*x2*x11 + 35406*x3*x11 + 48104*x4*x11 + 36338*x5*x11 + 32112*x6*x11 + 15131*x7*x11 + 22761*x8*x11 + 23100*x9*x11 + 28335*x10*x11 + 10665*x11^2 + 63524*x1*x12^2 + 64009*x2*x12^2 + 52741*x3*x12^2 + 51587*x4*x12^2 + 57760*x5*x12^2 + 7907*x6*x12^2 + 58650*x7*x12^2 + 61259*x8*x12^2 + 777*x9*x12^2 + 42836*x10*x12^2 + 25157*x11*x12^2 + 21719*x12^4 + 25276*x1*x12*x13 + 26499*x2*x12*x13 + 41263*x3*x12*x13 + 56612*x4*x12*x13 + 59859*x5*x12*x13 + 17769*x6*x12*x13 + 58740*x7*x12*x13 + 31614*x8*x12*x13 + 61741*x9*x12*x13 + 35048*x10*x12*x13 + 27200*x11*x12*x13 + 51091*x12^3*x13 + 5043*x1*x13^2 + 52544*x2*x13^2 + 41295*x3*x13^2 + 4113*x4*x13^2 + 42022*x5*x13^2 + 285*x6*x13^2 + 1238*x7*x13^2 + 39893*x8*x13^2 + 24290*x9*x13^2 + 47259*x10*x13^2 + 18566*x11*x13^2 + 43583*x12^2*x13^2 + 41237*x12*x13^3 + 53539*x13^4 + 60445*x1*x12 + 22699*x2*x12 + 59823*x3*x12 + 20945*x4*x12 + 7037*x5*x12 + 59440*x6*x12 + 31399*x7*x12 + 15333*x8*x12 + 58497*x9*x12 + 38300*x10*x12 + 11647*x11*x12 + 35912*x12^3 + 50925*x1*x13 + 12208*x2*x13 + 2225*x3*x13 + 25590*x4*x13 + 29122*x5*x13 + 52759*x6*x13 + 35014*x7*x13 + 41064*x8*x13 + 22850*x9*x13 + 21606*x10*x13 + 18347*x11*x13 + 13139*x12^2*x13 + 16455*x12*x13^2 + 30984*x13^3 + 63139*x1 + 38579*x2 + 47749*x3 + 49269*x4 + 23218*x5 + 14909*x6 + 7186*x7 + 60073*x8 + 44543*x9 + 31133*x10 + 55591*x11 + 32631*x12^2 + 40365*x12*x13 + 55824*x13^2 + 59088*x12 + 12819*x13 + 33992,
58642*x1^2 + 46234*x1*x2 + 39812*x2^2 + 32370*x1*x3 + 10285*x2*x3 + 9466*x3^2 + 55634*x1*x4 + 49639*x2*x4 + 15715*x3*x4 + 15345*x4^2 + 33820*x1*x5 + 6828*x2*x5 + 14247*x3*x5 + 25703*x4*x5 + 2339*x5^2 + 16914*x1*x6 + 25108*x2*x6 + 51392*x3*x6 + 34048*x4*x6 + 18469*x5*x6 + 55958*x6^2 + 58102*x1*x7 + 53214*x2*x7 + 48950*x3*x7 + 13114*x4*x7 + 57398*x5*x7 + 43376*x6*x7 + 38279*x7^2 + 21890*x1*x8 + 49860*x2*x8 + 22535*x3*x8 + 57703*x4*x8 + 11297*x5*x8 + 8279*x6*x8 + 8756*x7*x8 + 20221*x8^2 + 15882*x1*x9 + 52918*x2*x9 + 12763*x3*x9 + 44801*x4*x9 + 64761*x5*x9 + 33072*x6*x9 + 29582*x7*x9 + 1153*x8*x9 + 19875*x9^2 + 30251*x1*x10 + 44052*x2*x10 + 6119*x3*x10 + 65122*x4*x10 + 13589*x5*x10 + 54265*x6*x10 + 17404*x7*x10 + 36795*x8*x10 + 7602*x9*x10 + 53282*x10^2 + 54330*x1*x11 + 17277*x2*x11 + 64258*x3*x11 + 54661*x4*x11 + 39367*x5*x11 + 55844*x6*x11 + 8302*x7*x11 + 61622*x8*x11 + 4940*x9*x11 + 17705*x10*x11 + 22119*x11^2 + 48680*x1*x12^2 + 39916*x2*x12^2 + 24924*x3*x12^2 + 25282*x4*x12^2 + 24263*x5*x12^2 + 8743*x6*x12^2 + 31059*x7*x12^2 + 26240*x8*x12^2 + 58917*x9*x12^2 + 11879*x10*x12^2 + 18136*x11*x12^2 + 41408*x12^4 + 64630*x1*x12*x13 + 59976*x2*x12*x13 + 56678*x3*x12*x13 + 48219*x4*x12*x13 + 2544*x5*x12*x13 + 22788*x6*x12*x13 + 55597*x7*x12*x13 + 51976*x8*x12*x13 + 18075*x9*x12*x13 + 25743*x10*x12*x13 + 41487*x11*x12*x13 + 12569*x12^3*x13 + 2042*x1*x13^2 + 38291*x2*x13^2 + 2318*x3*x13^2 + 9966*x4*x13^2 + 8629*x5*x13^2 + 33531*x6*x13^2 + 48925*x7*x13^2 + 22657*x8*x13^2 + 16492*x9*x13^2 + 10083*x10*x13^2 + 54492*x11*x13^2 + 48429*x12^2*x13^2 + 39697*x12*x13^3 + 34921*x13^4 + 15401*x1*x12 + 1169*x2*x12 + 36052*x3*x12 + 52183*x4*x12 + 60998*x5*x12 + 36256*x6*x12 + 11702*x7*x12 + 35185*x8*x12 + 308*x9*x12 + 27094*x10*x12 + 22166*x11*x12 + 28730*x12^3 + 10244*x1*x13 + 3651*x2*x13 + 62570*x3*x13 + 61971*x4*x13 + 23706*x5*x13 + 40041*x6*x13 + 43243*x7*x13 + 63190*x8*x13 + 4197*x9*x13 + 40747*x10*x13 + 16318*x11*x13 + 34496*x12^2*x13 + 23754*x12*x13^2 + 3797*x13^3 + 16642*x1 + 19586*x2 + 24462*x3 + 59181*x4 + 49060*x5 + 12875*x6 + 47621*x7 + 60585*x8 + 8908*x9 + 38279*x10 + 14690*x11 + 8209*x12^2 + 25869*x12*x13 + 5863*x13^2 + 33201*x12 + 20178*x13 + 34752,
11918*x1^2 + 31866*x1*x2 + 62106*x2^2 + 36698*x1*x3 + 60445*x2*x3 + 56757*x3^2 + 9429*x1*x4 + 13331*x2*x4 + 5253*x3*x4 + 63032*x4^2 + 42815*x1*x5 + 16391*x2*x5 + 5810*x3*x5 + 65378*x4*x5 + 52680*x5^2 + 50426*x1*x6 + 24810*x2*x6 + 64654*x3*x6 + 60379*x4*x6 + 32424*x5*x6 + 8313*x6^2 + 45664*x1*x7 + 35980*x2*x7 + 53058*x3*x7 + 30925*x4*x7 + 63534*x5*x7 + 34290*x6*x7 + 53398*x7^2 + 37574*x1*x8 + 57749*x2*x8 + 58674*x3*x8 + 54011*x4*x8 + 26335*x5*x8 + 4710*x6*x8 + 38989*x7*x8 + 49054*x8^2 + 24453*x1*x9 + 53376*x2*x9 + 47763*x3*x9 + 63990*x4*x9 + 3807*x5*x9 + 61355*x6*x9 + 56565*x7*x9 + 41607*x8*x9 + 36665*x9^2 + 59584*x1*x10 + 22917*x2*x10 + 59783*x3*x10 + 2536*x4*x10 + 9652*x5*x10 + 21343*x6*x10 + 20526*x7*x10 + 20440*x8*x10 + 61143*x9*x10 + 20219*x10^2 + 37983*x1*x11 + 28816*x2*x11 + 51932*x3*x11 + 14264*x4*x11 + 12508*x5*x11 + 46194*x6*x11 + 5202*x7*x11 + 39196*x8*x11 + 36573*x9*x11 + 35569*x10*x11 + 64041*x11^2 + 51566*x1*x12^2 + 4737*x2*x12^2 + 1366*x3*x12^2 + 36357*x4*x12^2 + 39749*x5*x12^2 + 31400*x6*x12^2 + 40990*x7*x12^2 + 59033*x8*x12^2 + 374*x9*x12^2 + 61305*x10*x12^2 + 20718*x11*x12^2 + 36970*x12^4 + 62829*x1*x12*x13 + 41950*x2*x12*x13 + 13167*x3*x12*x13 + 16804*x4*x12*x13 + 57613*x5*x12*x13 + 48747*x6*x12*x13 + 62686*x7*x12*x13 + 23268*x8*x12*x13 + 42848*x9*x12*x13 + 57673*x10*x12*x13 + 63764*x11*x12*x13 + 3382*x12^3*x13 + 58849*x1*x13^2 + 44062*x2*x13^2 + 47654*x3*x13^2 + 42720*x4*x13^2 + 7265*x5*x13^2 + 35578*x6*x13^2 + 15037*x7*x13^2 + 27120*x8*x13^2 + 54148*x9*x13^2 + 16993*x10*x13^2 + 38161*x11*x13^2 + 30661*x12^2*x13^2 + 32319*x12*x13^3 + 54957*x13^4 + 29281*x1*x12 + 58168*x2*x12 + 12075*x3*x12 + 40372*x4*x12 + 7436*x5*x12 + 64510*x6*x12 + 3963*x7*x12 + 42638*x8*x12 + 25073*x9*x12 + 40275*x10*x12 + 31322*x11*x12 + 49721*x12^3 + 36643*x1*x13 + 28036*x2*x13 + 2469*x3*x13 + 45585*x4*x13 + 6769*x5*x13 + 62215*x6*x13 + 26292*x7*x13 + 28688*x8*x13 + 45833*x9*x13 + 29561*x10*x13 + 51694*x11*x13 + 47299*x12^2*x13 + 37787*x12*x13^2 + 58548*x13^3 + 56816*x1 + 49492*x2 + 9297*x3 + 23299*x4 + 5348*x5 + 28800*x6 + 37865*x7 + 5186*x8 + 6342*x9 + 38705*x10 + 14912*x11 + 58602*x12^2 + 32936*x12*x13 + 12005*x13^2 + 19890*x12 + 34842*x13 + 36376,
20935*x1^2 + 32537*x1*x2 + 64381*x2^2 + 38679*x1*x3 + 40807*x2*x3 + 32605*x3^2 + 31828*x1*x4 + 52773*x2*x4 + 42404*x3*x4 + 19243*x4^2 + 33044*x1*x5 + 63126*x2*x5 + 20063*x3*x5 + 490*x4*x5 + 37700*x5^2 + 21422*x1*x6 + 21086*x2*x6 + 32337*x3*x6 + 22280*x4*x6 + 43346*x5*x6 + 28737*x6^2 + 7203*x1*x7 + 49908*x2*x7 + 38052*x3*x7 + 18571*x4*x7 + 16147*x5*x7 + 14333*x6*x7 + 40964*x7^2 + 4500*x1*x8 + 57849*x2*x8 + 59231*x3*x8 + 25083*x4*x8 + 53645*x5*x8 + 42202*x6*x8 + 37929*x7*x8 + 56707*x8^2 + 64081*x1*x9 + 48123*x2*x9 + 24854*x3*x9 + 53753*x4*x9 + 5489*x5*x9 + 13352*x6*x9 + 61544*x7*x9 + 61812*x8*x9 + 57255*x9^2 + 37455*x1*x10 + 62166*x2*x10 + 64862*x3*x10 + 14189*x4*x10 + 33834*x5*x10 + 11139*x6*x10 + 50745*x7*x10 + 41546*x8*x10 + 33818*x9*x10 + 50508*x10^2 + 13036*x1*x11 + 32006*x2*x11 + 51531*x3*x11 + 7407*x4*x11 + 57248*x5*x11 + 28458*x6*x11 + 26548*x7*x11 + 5743*x8*x11 + 26206*x9*x11 + 38555*x10*x11 + 26537*x11^2 + 22498*x1*x12^2 + 65300*x2*x12^2 + 9691*x3*x12^2 + 37702*x4*x12^2 + 10679*x5*x12^2 + 40519*x6*x12^2 + 17362*x7*x12^2 + 23445*x8*x12^2 + 24542*x9*x12^2 + 52174*x10*x12^2 + 4735*x11*x12^2 + 6517*x12^4 + 55932*x1*x12*x13 + 15854*x2*x12*x13 + 9209*x3*x12*x13 + 5689*x4*x12*x13 + 32306*x5*x12*x13 + 58287*x6*x12*x13 + 16719*x7*x12*x13 + 28270*x8*x12*x13 + 46552*x9*x12*x13 + 43361*x10*x12*x13 + 33978*x11*x12*x13 + 9351*x12^3*x13 + 31705*x1*x13^2 + 22770*x2*x13^2 + 37301*x3*x13^2 + 38301*x4*x13^2 + 49925*x5*x13^2 + 47821*x6*x13^2 + 8223*x7*x13^2 + 19097*x8*x13^2 + 41446*x9*x13^2 + 9530*x10*x13^2 + 281*x11*x13^2 + 30296*x12^2*x13^2 + 2038*x12*x13^3 + 6702*x13^4 + 12196*x1*x12 + 52096*x2*x12 + 24626*x3*x12 + 41991*x4*x12 + 45562*x5*x12 + 29476*x6*x12 + 11603*x7*x12 + 22438*x8*x12 + 13505*x9*x12 + 2175*x10*x12 + 33279*x11*x12 + 55893*x12^3 + 13730*x1*x13 + 45878*x2*x13 + 57639*x3*x13 + 56429*x4*x13 + 6508*x5*x13 + 41869*x6*x13 + 51999*x7*x13 + 13333*x8*x13 + 21409*x9*x13 + 37256*x10*x13 + 5251*x11*x13 + 47336*x12^2*x13 + 18754*x12*x13^2 + 47060*x13^3 + 11699*x1 + 31183*x2 + 51062*x3 + 21330*x4 + 57556*x5 + 35937*x6 + 19422*x7 + 15949*x8 + 11480*x9 + 50135*x10 + 52824*x11 + 4236*x12^2 + 42180*x12*x13 + 43284*x13^2 + 19666*x12 + 8351*x13 + 47503,
53972*x1^2 + 42515*x1*x2 + 53066*x2^2 + 7873*x1*x3 + 59035*x2*x3 + 10234*x3^2 + 24563*x1*x4 + 39579*x2*x4 + 14319*x3*x4 + 10571*x4^2 + 46269*x1*x5 + 61448*x2*x5 + 46789*x3*x5 + 41695*x4*x5 + 10032*x5^2 + 51009*x1*x6 + 11702*x2*x6 + 7322*x3*x6 + 45704*x4*x6 + 10010*x5*x6 + 60839*x6^2 + 25329*x1*x7 + 49339*x2*x7 + 44969*x3*x7 + 60132*x4*x7 + 50293*x5*x7 + 48896*x6*x7 + 31419*x7^2 + 6237*x1*x8 + 44899*x2*x8 + 44653*x3*x8 + 63398*x4*x8 + 27691*x5*x8 + 40197*x6*x8 + 62371*x7*x8 + 58137*x8^2 + 25945*x1*x9 + 15062*x2*x9 + 3929*x3*x9 + 59463*x4*x9 + 50930*x5*x9 + 32656*x6*x9 + 2527*x7*x9 + 13550*x8*x9 + 33148*x9^2 + 58186*x1*x10 + 48225*x2*x10 + 47851*x3*x10 + 27485*x4*x10 + 46501*x5*x10 + 12307*x6*x10 + 42598*x7*x10 + 18011*x8*x10 + 3111*x9*x10 + 3770*x10^2 + 59878*x1*x11 + 15312*x2*x11 + 3622*x3*x11 + 12720*x4*x11 + 33034*x5*x11 + 50582*x6*x11 + 25692*x7*x11 + 61180*x8*x11 + 28462*x9*x11 + 18607*x10*x11 + 32511*x11^2 + 57173*x1*x12^2 + 15626*x2*x12^2 + 4944*x3*x12^2 + 3059*x4*x12^2 + 55809*x5*x12^2 + 32182*x6*x12^2 + 36630*x7*x12^2 + 47132*x8*x12^2 + 44546*x9*x12^2 + 57166*x10*x12^2 + 24854*x11*x12^2 + 46952*x12^4 + 56878*x1*x12*x13 + 34036*x2*x12*x13 + 43106*x3*x12*x13 + 14647*x4*x12*x13 + 46273*x5*x12*x13 + 19343*x6*x12*x13 + 38838*x7*x12*x13 + 6599*x8*x12*x13 + 1394*x9*x12*x13 + 61803*x10*x12*x13 + 50108*x11*x12*x13 + 10976*x12^3*x13 + 39806*x1*x13^2 + 38799*x2*x13^2 + 4175*x3*x13^2 + 52758*x4*x13^2 + 63101*x5*x13^2 + 46471*x6*x13^2 + 54777*x7*x13^2 + 12563*x8*x13^2 + 24870*x9*x13^2 + 42557*x10*x13^2 + 57189*x11*x13^2 + 18191*x12^2*x13^2 + 40551*x12*x13^3 + 32400*x13^4 + 65235*x1*x12 + 40231*x2*x12 + 6466*x3*x12 + 49765*x4*x12 + 17012*x5*x12 + 33104*x6*x12 + 26539*x7*x12 + 27696*x8*x12 + 35916*x9*x12 + 45884*x10*x12 + 34625*x11*x12 + 42254*x12^3 + 2646*x1*x13 + 39723*x2*x13 + 15405*x3*x13 + 2302*x4*x13 + 39239*x5*x13 + 6914*x6*x13 + 40024*x7*x13 + 54586*x8*x13 + 16823*x9*x13 + 25269*x10*x13 + 22605*x11*x13 + 47395*x12^2*x13 + 40904*x12*x13^2 + 704*x13^3 + 43148*x1 + 9739*x2 + 45229*x3 + 39910*x4 + 62266*x5 + 22396*x6 + 31015*x7 + 41640*x8 + 43522*x9 + 29100*x10 + 16530*x11 + 26272*x12^2 + 21696*x12*x13 + 1260*x13^2 + 9935*x12 + 24983*x13 + 5668,
23188*x1^2 + 27915*x1*x2 + 34317*x2^2 + 32049*x1*x3 + 54359*x2*x3 + 62795*x3^2 + 19554*x1*x4 + 7113*x2*x4 + 13178*x3*x4 + 6040*x4^2 + 31655*x1*x5 + 6039*x2*x5 + 43245*x3*x5 + 64256*x4*x5 + 9659*x5^2 + 41814*x1*x6 + 47738*x2*x6 + 36048*x3*x6 + 52900*x4*x6 + 31282*x5*x6 + 16691*x6^2 + 37890*x1*x7 + 32073*x2*x7 + 56043*x3*x7 + 10421*x4*x7 + 38942*x5*x7 + 56853*x6*x7 + 26899*x7^2 + 56465*x1*x8 + 52543*x2*x8 + 16457*x3*x8 + 42259*x4*x8 + 5821*x5*x8 + 11577*x6*x8 + 18637*x7*x8 + 12739*x8^2 + 11305*x1*x9 + 22169*x2*x9 + 52393*x3*x9 + 28208*x4*x9 + 63481*x5*x9 + 25974*x6*x9 + 27791*x7*x9 + 21409*x8*x9 + 46884*x9^2 + 32335*x1*x10 + 37472*x2*x10 + 978*x3*x10 + 55659*x4*x10 + 37649*x5*x10 + 15685*x6*x10 + 55762*x7*x10 + 62073*x8*x10 + 18736*x9*x10 + 60054*x10^2 + 52931*x1*x11 + 14540*x2*x11 + 13025*x3*x11 + 53081*x4*x11 + 30230*x5*x11 + 45411*x6*x11 + 7597*x7*x11 + 37944*x8*x11 + 4998*x9*x11 + 13782*x10*x11 + 45457*x11^2 + 55279*x1*x12^2 + 10011*x2*x12^2 + 5755*x3*x12^2 + 6869*x4*x12^2 + 31486*x5*x12^2 + 27514*x6*x12^2 + 1149*x7*x12^2 + 12529*x8*x12^2 + 7859*x9*x12^2 + 64509*x10*x12^2 + 11562*x11*x12^2 + 28240*x12^4 + 35588*x1*x12*x13 + 40847*x2*x12*x13 + 9050*x3*x12*x13 + 20272*x4*x12*x13 + 27402*x5*x12*x13 + 11728*x6*x12*x13 + 25210*x7*x12*x13 + 15501*x8*x12*x13 + 8966*x9*x12*x13 + 41028*x10*x12*x13 + 31596*x11*x12*x13 + 14843*x12^3*x13 + 39700*x1*x13^2 + 48034*x2*x13^2 + 6935*x3*x13^2 + 2930*x4*x13^2 + 18458*x5*x13^2 + 5869*x6*x13^2 + 39272*x7*x13^2 + 60754*x8*x13^2 + 58133*x9*x13^2 + 52811*x10*x13^2 + 7305*x11*x13^2 + 4323*x12^2*x13^2 + 54152*x12*x13^3 + 25934*x13^4 + 60952*x1*x12 + 35488*x2*x12 + 65204*x3*x12 + 5715*x4*x12 + 36610*x5*x12 + 33536*x6*x12 + 9219*x7*x12 + 34555*x8*x12 + 49229*x9*x12 + 44208*x10*x12 + 32710*x11*x12 + 4158*x12^3 + 12407*x1*x13 + 36784*x2*x13 + 52732*x3*x13 + 49989*x4*x13 + 17250*x5*x13 + 23145*x6*x13 + 16275*x7*x13 + 29256*x8*x13 + 40142*x9*x13 + 65396*x10*x13 + 24586*x11*x13 + 5723*x12^2*x13 + 10040*x12*x13^2 + 41814*x13^3 + 52471*x1 + 2336*x2 + 1840*x3 + 17437*x4 + 4229*x5 + 31569*x6 + 50917*x7 + 10849*x8 + 17487*x9 + 13667*x10 + 49454*x11 + 43141*x12^2 + 33683*x12*x13 + 55134*x13^2 + 64262*x12 + 9931*x13 + 8868,
35744*x1^2 + 33848*x1*x2 + 8352*x2^2 + 27728*x1*x3 + 4799*x2*x3 + 25532*x3^2 + 41470*x1*x4 + 54057*x2*x4 + 38737*x3*x4 + 44725*x4^2 + 49534*x1*x5 + 64879*x2*x5 + 22308*x3*x5 + 28958*x4*x5 + 24986*x5^2 + 30137*x1*x6 + 46650*x2*x6 + 22597*x3*x6 + 16855*x4*x6 + 3488*x5*x6 + 30384*x6^2 + 59847*x1*x7 + 34093*x2*x7 + 11324*x3*x7 + 44417*x4*x7 + 6035*x5*x7 + 29089*x6*x7 + 45785*x7^2 + 18511*x1*x8 + 39616*x2*x8 + 60046*x3*x8 + 9414*x4*x8 + 57969*x5*x8 + 30601*x6*x8 + 14033*x7*x8 + 34624*x8^2 + 10181*x1*x9 + 63520*x2*x9 + 16466*x3*x9 + 679*x4*x9 + 29254*x5*x9 + 45536*x6*x9 + 13463*x7*x9 + 62253*x8*x9 + 53482*x9^2 + 7504*x1*x10 + 42396*x2*x10 + 63510*x3*x10 + 57752*x4*x10 + 14970*x5*x10 + 56144*x6*x10 + 4958*x7*x10 + 38864*x8*x10 + 2700*x9*x10 + 14720*x10^2 + 53287*x1*x11 + 62769*x2*x11 + 46281*x3*x11 + 56549*x4*x11 + 26834*x5*x11 + 32181*x6*x11 + 31301*x7*x11 + 39714*x8*x11 + 50872*x9*x11 + 63234*x10*x11 + 44366*x11^2 + 44544*x1*x12^2 + 50592*x2*x12^2 + 54508*x3*x12^2 + 28825*x4*x12^2 + 43129*x5*x12^2 + 21147*x6*x12^2 + 31238*x7*x12^2 + 63557*x8*x12^2 + 40756*x9*x12^2 + 24436*x10*x12^2 + 22821*x11*x12^2 + 33629*x12^4 + 23392*x1*x12*x13 + 60144*x2*x12*x13 + 33685*x3*x12*x13 + 55164*x4*x12*x13 + 47639*x5*x12*x13 + 29071*x6*x12*x13 + 8249*x7*x12*x13 + 64701*x8*x12*x13 + 15603*x9*x12*x13 + 20917*x10*x12*x13 + 61330*x11*x12*x13 + 11729*x12^3*x13 + 2609*x1*x13^2 + 16827*x2*x13^2 + 62559*x3*x13^2 + 47913*x4*x13^2 + 10742*x5*x13^2 + 23583*x6*x13^2 + 50417*x7*x13^2 + 63865*x8*x13^2 + 50595*x9*x13^2 + 30967*x10*x13^2 + 41853*x11*x13^2 + 10453*x12^2*x13^2 + 25069*x12*x13^3 + 13922*x13^4 + 7066*x1*x12 + 11457*x2*x12 + 45706*x3*x12 + 24872*x4*x12 + 45467*x5*x12 + 59769*x6*x12 + 34259*x7*x12 + 10790*x8*x12 + 5739*x9*x12 + 37395*x10*x12 + 47814*x11*x12 + 46400*x12^3 + 27548*x1*x13 + 36469*x2*x13 + 57910*x3*x13 + 9810*x4*x13 + 38618*x5*x13 + 44425*x6*x13 + 19635*x7*x13 + 15962*x8*x13 + 25130*x9*x13 + 47627*x10*x13 + 14122*x11*x13 + 3556*x12^2*x13 + 58585*x12*x13^2 + 40810*x13^3 + 2051*x1 + 10711*x2 + 17243*x3 + 59276*x4 + 61742*x5 + 51879*x6 + 4586*x7 + 62882*x8 + 25710*x9 + 22586*x10 + 21856*x11 + 64977*x12^2 + 6328*x12*x13 + 57823*x13^2 + 34877*x12 + 45618*x13 + 34534,
57874*x1^2 + 64827*x1*x2 + 28199*x2^2 + 21324*x1*x3 + 14556*x2*x3 + 32157*x3^2 + 51102*x1*x4 + 36357*x2*x4 + 26716*x3*x4 + 57141*x4^2 + 49579*x1*x5 + 53054*x2*x5 + 32249*x3*x5 + 44835*x4*x5 + 61293*x5^2 + 21072*x1*x6 + 57760*x2*x6 + 34148*x3*x6 + 28585*x4*x6 + 47152*x5*x6 + 5566*x6^2 + 54708*x1*x7 + 45518*x2*x7 + 8097*x3*x7 + 47305*x4*x7 + 13821*x5*x7 + 31955*x6*x7 + 10561*x7^2 + 47643*x1*x8 + 25907*x2*x8 + 3402*x3*x8 + 60587*x4*x8 + 47549*x5*x8 + 24335*x6*x8 + 15459*x7*x8 + 16749*x8^2 + 52294*x1*x9 + 41163*x2*x9 + 37861*x3*x9 + 1513*x4*x9 + 46944*x5*x9 + 10099*x6*x9 + 33877*x7*x9 + 35814*x8*x9 + 20152*x9^2 + 60710*x1*x10 + 2390*x2*x10 + 1393*x3*x10 + 54733*x4*x10 + 56661*x5*x10 + 6899*x6*x10 + 19209*x7*x10 + 40502*x8*x10 + 52703*x9*x10 + 33977*x10^2 + 45449*x1*x11 + 32323*x2*x11 + 55751*x3*x11 + 8427*x4*x11 + 48409*x5*x11 + 32398*x6*x11 + 15122*x7*x11 + 5758*x8*x11 + 24500*x9*x11 + 467*x10*x11 + 57269*x11^2 + 56958*x1*x12^2 + 7289*x2*x12^2 + 54267*x3*x12^2 + 18773*x4*x12^2 + 48316*x5*x12^2 + 3274*x6*x12^2 + 48351*x7*x12^2 + 50468*x8*x12^2 + 55146*x9*x12^2 + 18119*x10*x12^2 + 23014*x11*x12^2 + 58348*x12^4 + 15369*x1*x12*x13 + 27617*x2*x12*x13 + 54536*x3*x12*x13 + 61578*x4*x12*x13 + 51057*x5*x12*x13 + 23414*x6*x12*x13 + 48921*x7*x12*x13 + 45999*x8*x12*x13 + 33434*x9*x12*x13 + 10029*x10*x12*x13 + 38396*x11*x12*x13 + 36613*x12^3*x13 + 22862*x1*x13^2 + 30038*x2*x13^2 + 55247*x3*x13^2 + 7093*x4*x13^2 + 42827*x5*x13^2 + 50735*x6*x13^2 + 8857*x7*x13^2 + 56526*x8*x13^2 + 38162*x9*x13^2 + 14517*x10*x13^2 + 30144*x11*x13^2 + 50349*x12^2*x13^2 + 30049*x12*x13^3 + 23659*x13^4 + 46871*x1*x12 + 48507*x2*x12 + 44416*x3*x12 + 50774*x4*x12 + 28057*x5*x12 + 305*x6*x12 + 40913*x7*x12 + 55632*x8*x12 + 61310*x9*x12 + 38789*x10*x12 + 49774*x11*x12 + 2131*x12^3 + 13018*x1*x13 + 34139*x2*x13 + 19962*x3*x13 + 15701*x4*x13 + 44994*x5*x13 + 60725*x6*x13 + 2080*x7*x13 + 40677*x8*x13 + 3929*x9*x13 + 39098*x10*x13 + 38641*x11*x13 + 60742*x12^2*x13 + 34306*x12*x13^2 + 37250*x13^3 + 31120*x1 + 50300*x2 + 63776*x3 + 4609*x4 + 31202*x5 + 21056*x6 + 45510*x7 + 15169*x8 + 52308*x9 + 41196*x10 + 25602*x11 + 24773*x12^2 + 35869*x12*x13 + 9740*x13^2 + 63630*x12 + 5619*x13 + 28364,
45965*x1^2 + 43132*x1*x2 + 18383*x2^2 + 55784*x1*x3 + 53158*x2*x3 + 19107*x3^2 + 27674*x1*x4 + 8981*x2*x4 + 64592*x3*x4 + 31554*x4^2 + 58022*x1*x5 + 23832*x2*x5 + 62206*x3*x5 + 20364*x4*x5 + 13406*x5^2 + 15151*x1*x6 + 1139*x2*x6 + 12256*x3*x6 + 50583*x4*x6 + 40524*x5*x6 + 29915*x6^2 + 17384*x1*x7 + 40207*x2*x7 + 55387*x3*x7 + 4838*x4*x7 + 23047*x5*x7 + 61127*x6*x7 + 28490*x7^2 + 15011*x1*x8 + 25986*x2*x8 + 4037*x3*x8 + 21068*x4*x8 + 14316*x5*x8 + 47384*x6*x8 + 39454*x7*x8 + 21871*x8^2 + 6213*x1*x9 + 39296*x2*x9 + 2599*x3*x9 + 1893*x4*x9 + 51047*x5*x9 + 53199*x6*x9 + 12739*x7*x9 + 16620*x8*x9 + 13755*x9^2 + 60605*x1*x10 + 7583*x2*x10 + 7231*x3*x10 + 53666*x4*x10 + 51259*x5*x10 + 47290*x6*x10 + 58584*x7*x10 + 54492*x8*x10 + 12033*x9*x10 + 6074*x10^2 + 31216*x1*x11 + 23973*x2*x11 + 4497*x3*x11 + 38768*x4*x11 + 65389*x5*x11 + 11138*x6*x11 + 53130*x7*x11 + 2706*x8*x11 + 50669*x9*x11 + 32322*x10*x11 + 10494*x11^2 + 29034*x1*x12^2 + 41606*x2*x12^2 + 47840*x3*x12^2 + 37736*x4*x12^2 + 36624*x5*x12^2 + 17016*x6*x12^2 + 22195*x7*x12^2 + 37148*x8*x12^2 + 6923*x9*x12^2 + 58110*x10*x12^2 + 25544*x11*x12^2 + 2702*x12^4 + 48650*x1*x12*x13 + 20649*x2*x12*x13 + 45734*x3*x12*x13 + 40959*x4*x12*x13 + 54884*x5*x12*x13 + 39990*x6*x12*x13 + 22689*x7*x12*x13 + 4600*x8*x12*x13 + 24784*x9*x12*x13 + 6335*x10*x12*x13 + 1534*x11*x12*x13 + 32661*x12^3*x13 + 35427*x1*x13^2 + 21612*x2*x13^2 + 4110*x3*x13^2 + 7268*x4*x13^2 + 14992*x5*x13^2 + 41713*x6*x13^2 + 43586*x7*x13^2 + 689*x8*x13^2 + 42269*x9*x13^2 + 51324*x10*x13^2 + 59326*x11*x13^2 + 4762*x12^2*x13^2 + 49334*x12*x13^3 + 29930*x13^4 + 40522*x1*x12 + 25225*x2*x12 + 53505*x3*x12 + 50298*x4*x12 + 31055*x5*x12 + 62442*x6*x12 + 7347*x7*x12 + 46431*x8*x12 + 15015*x9*x12 + 57748*x10*x12 + 32018*x11*x12 + 39846*x12^3 + 41537*x1*x13 + 14408*x2*x13 + 58106*x3*x13 + 12439*x4*x13 + 55351*x5*x13 + 64206*x6*x13 + 26791*x7*x13 + 38188*x8*x13 + 36083*x9*x13 + 37225*x10*x13 + 45844*x11*x13 + 42662*x12^2*x13 + 9474*x12*x13^2 + 4651*x13^3 + 63071*x1 + 43595*x2 + 14188*x3 + 39295*x4 + 25405*x5 + 30909*x6 + 44270*x7 + 33225*x8 + 16357*x9 + 15760*x10 + 10269*x11 + 6297*x12^2 + 21931*x12*x13 + 49553*x13^2 + 53886*x12 + 53863*x13 + 34804,
25776*x1^2 + 46105*x1*x2 + 55987*x2^2 + 27633*x1*x3 + 47524*x2*x3 + 62003*x3^2 + 30534*x1*x4 + 38919*x2*x4 + 16652*x3*x4 + 62768*x4^2 + 51177*x1*x5 + 38813*x2*x5 + 39309*x3*x5 + 45740*x4*x5 + 5740*x5^2 + 14380*x1*x6 + 8269*x2*x6 + 46105*x3*x6 + 42264*x4*x6 + 38174*x5*x6 + 39061*x6^2 + 24126*x1*x7 + 14531*x2*x7 + 37029*x3*x7 + 27650*x4*x7 + 59305*x5*x7 + 57754*x6*x7 + 22785*x7^2 + 12751*x1*x8 + 23275*x2*x8 + 21371*x3*x8 + 38593*x4*x8 + 46341*x5*x8 + 27196*x6*x8 + 39511*x7*x8 + 25758*x8^2 + 46788*x1*x9 + 61791*x2*x9 + 30388*x3*x9 + 28931*x4*x9 + 11778*x5*x9 + 27950*x6*x9 + 57338*x7*x9 + 17979*x8*x9 + 27561*x9^2 + 1976*x1*x10 + 10373*x2*x10 + 4688*x3*x10 + 60133*x4*x10 + 43973*x5*x10 + 6314*x6*x10 + 2763*x7*x10 + 8404*x8*x10 + 47491*x9*x10 + 17792*x10^2 + 52655*x1*x11 + 27847*x2*x11 + 42616*x3*x11 + 50489*x4*x11 + 28406*x5*x11 + 33759*x6*x11 + 31790*x7*x11 + 59218*x8*x11 + 10854*x9*x11 + 31675*x10*x11 + 16276*x11^2 + 11578*x1*x12^2 + 20007*x2*x12^2 + 42986*x3*x12^2 + 34203*x4*x12^2 + 34037*x5*x12^2 + 46778*x6*x12^2 + 10970*x7*x12^2 + 5224*x8*x12^2 + 1879*x9*x12^2 + 9969*x10*x12^2 + 33347*x11*x12^2 + 16803*x12^4 + 51449*x1*x12*x13 + 25159*x2*x12*x13 + 4121*x3*x12*x13 + 34693*x4*x12*x13 + 58478*x5*x12*x13 + 22898*x6*x12*x13 + 24310*x7*x12*x13 + 42279*x8*x12*x13 + 5212*x9*x12*x13 + 41451*x10*x12*x13 + 42166*x11*x12*x13 + 25814*x12^3*x13 + 27277*x1*x13^2 + 48231*x2*x13^2 + 27518*x3*x13^2 + 8844*x4*x13^2 + 4383*x5*x13^2 + 46710*x6*x13^2 + 64329*x7*x13^2 + 8782*x8*x13^2 + 27931*x9*x13^2 + 8473*x10*x13^2 + 19793*x11*x13^2 + 26259*x12^2*x13^2 + 44308*x12*x13^3 + 5512*x13^4 + 52051*x1*x12 + 31718*x2*x12 + 59867*x3*x12 + 56295*x4*x12 + 45681*x5*x12 + 1618*x6*x12 + 10529*x7*x12 + 64734*x8*x12 + 17003*x9*x12 + 5216*x10*x12 + 8560*x11*x12 + 6479*x12^3 + 57845*x1*x13 + 4482*x2*x13 + 60780*x3*x13 + 20279*x4*x13 + 47448*x5*x13 + 22743*x6*x13 + 26692*x7*x13 + 51273*x8*x13 + 50983*x9*x13 + 32510*x10*x13 + 59952*x11*x13 + 13212*x12^2*x13 + 33318*x12*x13^2 + 52752*x13^3 + 43450*x1 + 3147*x2 + 8388*x3 + 57240*x4 + 20318*x5 + 60823*x6 + 23701*x7 + 58978*x8 + 25240*x9 + 49878*x10 + 27254*x11 + 51172*x12^2 + 34308*x12*x13 + 20425*x13^2 + 64462*x12 + 34749*x13 + 30828,
31178*x1^2 + 33336*x1*x2 + 56978*x2^2 + 20503*x1*x3 + 3669*x2*x3 + 31317*x3^2 + 63736*x1*x4 + 25240*x2*x4 + 18538*x3*x4 + 1765*x4^2 + 14271*x1*x5 + 37480*x2*x5 + 36268*x3*x5 + 32911*x4*x5 + 41062*x5^2 + 9279*x1*x6 + 41998*x2*x6 + 53927*x3*x6 + 25165*x4*x6 + 15765*x5*x6 + 30349*x6^2 + 63601*x1*x7 + 59483*x2*x7 + 1618*x3*x7 + 34471*x4*x7 + 48489*x5*x7 + 53270*x6*x7 + 10922*x7^2 + 35928*x1*x8 + 21493*x2*x8 + 59484*x3*x8 + 6779*x4*x8 + 18023*x5*x8 + 17500*x6*x8 + 3060*x7*x8 + 31316*x8^2 + 56819*x1*x9 + 44756*x2*x9 + 16780*x3*x9 + 51988*x4*x9 + 4877*x5*x9 + 13232*x6*x9 + 3922*x7*x9 + 33965*x8*x9 + 57600*x9^2 + 46817*x1*x10 + 49626*x2*x10 + 31494*x3*x10 + 10565*x4*x10 + 29699*x5*x10 + 4129*x6*x10 + 42606*x7*x10 + 14017*x8*x10 + 36098*x9*x10 + 19332*x10^2 + 37951*x1*x11 + 37203*x2*x11 + 24637*x3*x11 + 8023*x4*x11 + 39575*x5*x11 + 37536*x6*x11 + 19331*x7*x11 + 57121*x8*x11 + 50846*x9*x11 + 63794*x10*x11 + 46553*x11^2 + 37672*x1*x12^2 + 17194*x2*x12^2 + 25314*x3*x12^2 + 56778*x4*x12^2 + 36016*x5*x12^2 + 52033*x6*x12^2 + 35127*x7*x12^2 + 49473*x8*x12^2 + 61817*x9*x12^2 + 22977*x10*x12^2 + 9642*x11*x12^2 + 736*x12^4 + 32704*x1*x12*x13 + 29054*x2*x12*x13 + 35542*x3*x12*x13 + 39818*x4*x12*x13 + 23878*x5*x12*x13 + 26098*x6*x12*x13 + 35693*x7*x12*x13 + 32022*x8*x12*x13 + 28061*x9*x12*x13 + 24595*x10*x12*x13 + 18930*x11*x12*x13 + 9477*x12^3*x13 + 17161*x1*x13^2 + 3174*x2*x13^2 + 16836*x3*x13^2 + 3013*x4*x13^2 + 46585*x5*x13^2 + 33304*x6*x13^2 + 60724*x7*x13^2 + 39242*x8*x13^2 + 29862*x9*x13^2 + 27159*x10*x13^2 + 40960*x11*x13^2 + 51700*x12^2*x13^2 + 43146*x12*x13^3 + 6632*x13^4 + 62153*x1*x12 + 63179*x2*x12 + 47873*x3*x12 + 60264*x4*x12 + 26189*x5*x12 + 18773*x6*x12 + 55989*x7*x12 + 3803*x8*x12 + 36181*x9*x12 + 20474*x10*x12 + 45962*x11*x12 + 34636*x12^3 + 51981*x1*x13 + 63784*x2*x13 + 2323*x3*x13 + 59345*x4*x13 + 32498*x5*x13 + 26592*x6*x13 + 36639*x7*x13 + 44349*x8*x13 + 51110*x9*x13 + 22078*x10*x13 + 44721*x11*x13 + 15569*x12^2*x13 + 12338*x12*x13^2 + 41969*x13^3 + 41158*x1 + 51287*x2 + 59383*x3 + 3413*x4 + 56697*x5 + 14253*x6 + 47087*x7 + 2507*x8 + 32117*x9 + 52430*x10 + 58604*x11 + 39896*x12^2 + 57626*x12*x13 + 24972*x13^2 + 35904*x12 + 62983*x13 + 49994
]
: