#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

[
1418*x1^2 + 52758*x1*x2 + 21826*x2^2 + 4627*x1*x3 + 12870*x2*x3 + 52888*x3^2 + 22580*x1*x4 + 10296*x2*x4 + 16662*x3*x4 + 15351*x4^2 + 35760*x1*x5 + 1452*x2*x5 + 43836*x3*x5 + 10500*x4*x5 + 60269*x5^2 + 57865*x1*x6 + 569*x2*x6 + 28061*x3*x6 + 25391*x4*x6 + 31855*x5*x6 + 31531*x6^2 + 12692*x1*x7 + 20055*x2*x7 + 13044*x3*x7 + 52216*x4*x7 + 25065*x5*x7 + 30973*x6*x7 + 2294*x7^2 + 45043*x1*x8 + 23999*x2*x8 + 30445*x3*x8 + 55748*x4*x8 + 53535*x5*x8 + 54014*x6*x8 + 31786*x7*x8 + 61592*x8^2 + 63560*x1*x9 + 30416*x2*x9 + 15477*x3*x9 + 21899*x4*x9 + 43554*x5*x9 + 62800*x6*x9 + 55589*x7*x9 + 22133*x8*x9 + 25817*x9^2 + 20876*x1*x10 + 33800*x2*x10 + 20562*x3*x10 + 27655*x4*x10 + 55297*x5*x10 + 8889*x6*x10 + 44357*x7*x10 + 4860*x8*x10 + 54631*x9*x10 + 30085*x10^2 + 42582*x1*x11^2 + 51935*x2*x11^2 + 9554*x3*x11^2 + 32520*x4*x11^2 + 17962*x5*x11^2 + 36768*x6*x11^2 + 9475*x7*x11^2 + 7947*x8*x11^2 + 18494*x9*x11^2 + 18298*x10*x11^2 + 39441*x11^4 + 44387*x1*x11*x12 + 6865*x2*x11*x12 + 50848*x3*x11*x12 + 39666*x4*x11*x12 + 2580*x5*x11*x12 + 44362*x6*x11*x12 + 6623*x7*x11*x12 + 48722*x8*x11*x12 + 62733*x9*x11*x12 + 34092*x10*x11*x12 + 48630*x11^3*x12 + 54194*x1*x12^2 + 41382*x2*x12^2 + 65438*x3*x12^2 + 40747*x4*x12^2 + 5099*x5*x12^2 + 59688*x6*x12^2 + 30300*x7*x12^2 + 3632*x8*x12^2 + 58343*x9*x12^2 + 10235*x10*x12^2 + 7425*x11^2*x12^2 + 9036*x11*x12^3 + 61763*x12^4 + 41956*x1*x11 + 28251*x2*x11 + 24860*x3*x11 + 15201*x4*x11 + 24612*x5*x11 + 16545*x6*x11 + 11815*x7*x11 + 58311*x8*x11 + 4675*x9*x11 + 36876*x10*x11 + 13281*x11^3 + 7744*x1*x12 + 14384*x2*x12 + 21488*x3*x12 + 61451*x4*x12 + 59676*x5*x12 + 44037*x6*x12 + 50800*x7*x12 + 5925*x8*x12 + 37270*x9*x12 + 38904*x10*x12 + 34312*x11^2*x12 + 37140*x11*x12^2 + 32727*x12^3 + 25143*x1 + 47632*x2 + 8542*x3 + 60491*x4 + 44752*x5 + 38866*x6 + 36148*x7 + 31952*x8 + 37449*x9 + 36449*x10 + 17588*x11^2 + 48803*x11*x12 + 10612*x12^2 + 14189*x11 + 40068*x12 + 2248,
31812*x1^2 + 6820*x1*x2 + 39932*x2^2 + 4144*x1*x3 + 33728*x2*x3 + 25851*x3^2 + 5009*x1*x4 + 65240*x2*x4 + 48915*x3*x4 + 45140*x4^2 + 10773*x1*x5 + 58814*x2*x5 + 11025*x3*x5 + 29828*x4*x5 + 23507*x5^2 + 47287*x1*x6 + 28796*x2*x6 + 31861*x3*x6 + 23464*x4*x6 + 28134*x5*x6 + 39767*x6^2 + 58334*x1*x7 + 18121*x2*x7 + 51720*x3*x7 + 15977*x4*x7 + 45976*x5*x7 + 42363*x6*x7 + 46951*x7^2 + 50844*x1*x8 + 36582*x2*x8 + 39046*x3*x8 + 9179*x4*x8 + 60514*x5*x8 + 52900*x6*x8 + 65148*x7*x8 + 34969*x8^2 + 22932*x1*x9 + 39869*x2*x9 + 53045*x3*x9 + 64491*x4*x9 + 26509*x5*x9 + 4108*x6*x9 + 44363*x7*x9 + 51191*x8*x9 + 56698*x9^2 + 33953*x1*x10 + 50099*x2*x10 + 64794*x3*x10 + 19539*x4*x10 + 17696*x5*x10 + 51802*x6*x10 + 5150*x7*x10 + 33992*x8*x10 + 63836*x9*x10 + 43142*x10^2 + 33805*x1*x11^2 + 11944*x2*x11^2 + 10159*x3*x11^2 + 57103*x4*x11^2 + 35851*x5*x11^2 + 5755*x6*x11^2 + 19477*x7*x11^2 + 15538*x8*x11^2 + 51538*x9*x11^2 + 45566*x10*x11^2 + 11090*x11^4 + 19103*x1*x11*x12 + 48379*x2*x11*x12 + 27608*x3*x11*x12 + 7861*x4*x11*x12 + 2774*x5*x11*x12 + 57023*x6*x11*x12 + 11150*x7*x11*x12 + 63628*x8*x11*x12 + 29699*x9*x11*x12 + 16690*x10*x11*x12 + 48735*x11^3*x12 + 26988*x1*x12^2 + 3308*x2*x12^2 + 57508*x3*x12^2 + 54900*x4*x12^2 + 22115*x5*x12^2 + 24666*x6*x12^2 + 11454*x7*x12^2 + 15019*x8*x12^2 + 51221*x9*x12^2 + 64583*x10*x12^2 + 50104*x11^2*x12^2 + 8275*x11*x12^3 + 12938*x12^4 + 41129*x1*x11 + 22427*x2*x11 + 54763*x3*x11 + 58044*x4*x11 + 27555*x5*x11 + 50971*x6*x11 + 59586*x7*x11 + 45853*x8*x11 + 28555*x9*x11 + 11885*x10*x11 + 42759*x11^3 + 32404*x1*x12 + 42406*x2*x12 + 46122*x3*x12 + 11140*x4*x12 + 17264*x5*x12 + 1163*x6*x12 + 807*x7*x12 + 29272*x8*x12 + 39932*x9*x12 + 2022*x10*x12 + 31906*x11^2*x12 + 56106*x11*x12^2 + 40046*x12^3 + 50818*x1 + 18102*x2 + 14989*x3 + 48903*x4 + 32952*x5 + 38260*x6 + 6870*x7 + 10372*x8 + 60325*x9 + 11911*x10 + 49129*x11^2 + 9701*x11*x12 + 37714*x12^2 + 32569*x11 + 25075*x12 + 46928,
56915*x1^2 + 32398*x1*x2 + 37068*x2^2 + 56261*x1*x3 + 30820*x2*x3 + 27056*x3^2 + 2551*x1*x4 + 512*x2*x4 + 7923*x3*x4 + 29414*x4^2 + 32498*x1*x5 + 39762*x2*x5 + 44967*x3*x5 + 34703*x4*x5 + 18279*x5^2 + 36540*x1*x6 + 16730*x2*x6 + 62485*x3*x6 + 32505*x4*x6 + 32295*x5*x6 + 26508*x6^2 + 21559*x1*x7 + 4407*x2*x7 + 23202*x3*x7 + 34782*x4*x7 + 13659*x5*x7 + 55179*x6*x7 + 55611*x7^2 + 23456*x1*x8 + 3946*x2*x8 + 9108*x3*x8 + 24700*x4*x8 + 57499*x5*x8 + 60413*x6*x8 + 58170*x7*x8 + 58672*x8^2 + 5964*x1*x9 + 11527*x2*x9 + 12810*x3*x9 + 26824*x4*x9 + 4198*x5*x9 + 25151*x6*x9 + 2593*x7*x9 + 3481*x8*x9 + 59286*x9^2 + 56802*x1*x10 + 28249*x2*x10 + 25421*x3*x10 + 3372*x4*x10 + 54049*x5*x10 + 64498*x6*x10 + 23881*x7*x10 + 7507*x8*x10 + 31585*x9*x10 + 55557*x10^2 + 15474*x1*x11^2 + 14172*x2*x11^2 + 17167*x3*x11^2 + 31429*x4*x11^2 + 31003*x5*x11^2 + 45261*x6*x11^2 + 24643*x7*x11^2 + 36697*x8*x11^2 + 24534*x9*x11^2 + 4108*x10*x11^2 + 59089*x11^4 + 7832*x1*x11*x12 + 45149*x2*x11*x12 + 40476*x3*x11*x12 + 23631*x4*x11*x12 + 3409*x5*x11*x12 + 34688*x6*x11*x12 + 15069*x7*x11*x12 + 18873*x8*x11*x12 + 2461*x9*x11*x12 + 24374*x10*x11*x12 + 478*x11^3*x12 + 50090*x1*x12^2 + 6102*x2*x12^2 + 58528*x3*x12^2 + 25397*x4*x12^2 + 26755*x5*x12^2 + 17002*x6*x12^2 + 4480*x7*x12^2 + 61251*x8*x12^2 + 45894*x9*x12^2 + 48655*x10*x12^2 + 1633*x11^2*x12^2 + 13232*x11*x12^3 + 6212*x12^4 + 37311*x1*x11 + 30910*x2*x11 + 48967*x3*x11 + 20993*x4*x11 + 48617*x5*x11 + 33506*x6*x11 + 55685*x7*x11 + 63468*x8*x11 + 57802*x9*x11 + 50621*x10*x11 + 28839*x11^3 + 46773*x1*x12 + 4097*x2*x12 + 59537*x3*x12 + 17382*x4*x12 + 25379*x5*x12 + 36513*x6*x12 + 12338*x7*x12 + 42727*x8*x12 + 45469*x9*x12 + 61085*x10*x12 + 24808*x11^2*x12 + 5885*x11*x12^2 + 40171*x12^3 + 14911*x1 + 54184*x2 + 43252*x3 + 46809*x4 + 10460*x5 + 55423*x6 + 42231*x7 + 13994*x8 + 43640*x9 + 28324*x10 + 37114*x11^2 + 25265*x11*x12 + 57180*x12^2 + 191*x11 + 58283*x12 + 56821,
49547*x1^2 + 54606*x1*x2 + 13742*x2^2 + 11472*x1*x3 + 29446*x2*x3 + 55338*x3^2 + 22070*x1*x4 + 10170*x2*x4 + 20428*x3*x4 + 2736*x4^2 + 45884*x1*x5 + 52035*x2*x5 + 42262*x3*x5 + 27491*x4*x5 + 41075*x5^2 + 38707*x1*x6 + 56033*x2*x6 + 50882*x3*x6 + 30315*x4*x6 + 47448*x5*x6 + 31781*x6^2 + 62187*x1*x7 + 49001*x2*x7 + 27312*x3*x7 + 41230*x4*x7 + 36715*x5*x7 + 41039*x6*x7 + 37539*x7^2 + 43827*x1*x8 + 36823*x2*x8 + 37554*x3*x8 + 60136*x4*x8 + 45035*x5*x8 + 8837*x6*x8 + 13972*x7*x8 + 24976*x8^2 + 54354*x1*x9 + 4290*x2*x9 + 3003*x3*x9 + 40219*x4*x9 + 53756*x5*x9 + 39290*x6*x9 + 47805*x7*x9 + 43404*x8*x9 + 51547*x9^2 + 64841*x1*x10 + 11933*x2*x10 + 51938*x3*x10 + 1396*x4*x10 + 7258*x5*x10 + 44141*x6*x10 + 24548*x7*x10 + 62637*x8*x10 + 8313*x9*x10 + 45079*x10^2 + 61529*x1*x11^2 + 52033*x2*x11^2 + 62545*x3*x11^2 + 12331*x4*x11^2 + 44761*x5*x11^2 + 55796*x6*x11^2 + 36638*x7*x11^2 + 42703*x8*x11^2 + 36816*x9*x11^2 + 12607*x10*x11^2 + 290*x11^4 + 15092*x1*x11*x12 + 16468*x2*x11*x12 + 11884*x3*x11*x12 + 14997*x4*x11*x12 + 44372*x5*x11*x12 + 28208*x6*x11*x12 + 52596*x7*x11*x12 + 16809*x8*x11*x12 + 15077*x9*x11*x12 + 22469*x10*x11*x12 + 42446*x11^3*x12 + 27710*x1*x12^2 + 33904*x2*x12^2 + 11*x3*x12^2 + 43665*x4*x12^2 + 16873*x5*x12^2 + 50822*x6*x12^2 + 45766*x7*x12^2 + 31228*x8*x12^2 + 33833*x9*x12^2 + 41993*x10*x12^2 + 62116*x11^2*x12^2 + 24291*x11*x12^3 + 61384*x12^4 + 26504*x1*x11 + 61511*x2*x11 + 50813*x3*x11 + 15032*x4*x11 + 63361*x5*x11 + 52534*x6*x11 + 65294*x7*x11 + 14003*x8*x11 + 34836*x9*x11 + 7353*x10*x11 + 59264*x11^3 + 7403*x1*x12 + 21527*x2*x12 + 57630*x3*x12 + 15146*x4*x12 + 17113*x5*x12 + 54445*x6*x12 + 18419*x7*x12 + 49471*x8*x12 + 13211*x9*x12 + 39710*x10*x12 + 52945*x11^2*x12 + 22037*x11*x12^2 + 58515*x12^3 + 16925*x1 + 48779*x2 + 60799*x3 + 49405*x4 + 21185*x5 + 57680*x6 + 10968*x7 + 65411*x8 + 4046*x9 + 38495*x10 + 29226*x11^2 + 63397*x11*x12 + 52839*x12^2 + 60006*x11 + 49979*x12 + 54459,
34908*x1^2 + 36837*x1*x2 + 5991*x2^2 + 16533*x1*x3 + 32383*x2*x3 + 47099*x3^2 + 2211*x1*x4 + 20034*x2*x4 + 30323*x3*x4 + 18194*x4^2 + 25207*x1*x5 + 25169*x2*x5 + 63539*x3*x5 + 35421*x4*x5 + 39747*x5^2 + 44486*x1*x6 + 40069*x2*x6 + 17034*x3*x6 + 31147*x4*x6 + 31952*x5*x6 + 29466*x6^2 + 20389*x1*x7 + 55231*x2*x7 + 58030*x3*x7 + 54164*x4*x7 + 58661*x5*x7 + 41843*x6*x7 + 40458*x7^2 + 34385*x1*x8 + 28329*x2*x8 + 34276*x3*x8 + 19825*x4*x8 + 56545*x5*x8 + 32022*x6*x8 + 48348*x7*x8 + 4331*x8^2 + 23942*x1*x9 + 31729*x2*x9 + 39816*x3*x9 + 58067*x4*x9 + 17614*x5*x9 + 42675*x6*x9 + 64885*x7*x9 + 23380*x8*x9 + 15082*x9^2 + 541*x1*x10 + 57521*x2*x10 + 42080*x3*x10 + 61672*x4*x10 + 10445*x5*x10 + 13110*x6*x10 + 12195*x7*x10 + 103*x8*x10 + 54818*x9*x10 + 56406*x10^2 + 7792*x1*x11^2 + 56600*x2*x11^2 + 20996*x3*x11^2 + 53426*x4*x11^2 + 15498*x5*x11^2 + 64487*x6*x11^2 + 54550*x7*x11^2 + 33550*x8*x11^2 + 26814*x9*x11^2 + 8354*x10*x11^2 + 47818*x11^4 + 58010*x1*x11*x12 + 4246*x2*x11*x12 + 50383*x3*x11*x12 + 35316*x4*x11*x12 + 50922*x5*x11*x12 + 31863*x6*x11*x12 + 54040*x7*x11*x12 + 31220*x8*x11*x12 + 32632*x9*x11*x12 + 31805*x10*x11*x12 + 47187*x11^3*x12 + 63808*x1*x12^2 + 32042*x2*x12^2 + 44530*x3*x12^2 + 7935*x4*x12^2 + 26879*x5*x12^2 + 5093*x6*x12^2 + 30198*x7*x12^2 + 38192*x8*x12^2 + 14571*x9*x12^2 + 35391*x10*x12^2 + 27472*x11^2*x12^2 + 36761*x11*x12^3 + 16778*x12^4 + 63123*x1*x11 + 5286*x2*x11 + 54094*x3*x11 + 7925*x4*x11 + 120*x5*x11 + 18699*x6*x11 + 55750*x7*x11 + 4558*x8*x11 + 9598*x9*x11 + 38414*x10*x11 + 22369*x11^3 + 36313*x1*x12 + 45304*x2*x12 + 46322*x3*x12 + 30121*x4*x12 + 31763*x5*x12 + 46544*x6*x12 + 8667*x7*x12 + 52480*x8*x12 + 59142*x9*x12 + 65492*x10*x12 + 4488*x11^2*x12 + 3402*x11*x12^2 + 9146*x12^3 + 52718*x1 + 44907*x2 + 9286*x3 + 34098*x4 + 62661*x5 + 18199*x6 + 3694*x7 + 6475*x8 + 8637*x9 + 31821*x10 + 597*x11^2 + 21360*x11*x12 + 41290*x12^2 + 1288*x11 + 33564*x12 + 1670,
48431*x1^2 + 51745*x1*x2 + 953*x2^2 + 47275*x1*x3 + 2326*x2*x3 + 18405*x3^2 + 21114*x1*x4 + 2190*x2*x4 + 31193*x3*x4 + 28267*x4^2 + 50914*x1*x5 + 35413*x2*x5 + 13303*x3*x5 + 63740*x4*x5 + 4208*x5^2 + 57987*x1*x6 + 8333*x2*x6 + 47590*x3*x6 + 32480*x4*x6 + 14577*x5*x6 + 6266*x6^2 + 7698*x1*x7 + 26456*x2*x7 + 45224*x3*x7 + 35037*x4*x7 + 43990*x5*x7 + 29140*x6*x7 + 23202*x7^2 + 47055*x1*x8 + 39646*x2*x8 + 15159*x3*x8 + 20687*x4*x8 + 39604*x5*x8 + 38251*x6*x8 + 25088*x7*x8 + 16839*x8^2 + 5138*x1*x9 + 53578*x2*x9 + 51629*x3*x9 + 48604*x4*x9 + 54904*x5*x9 + 8631*x6*x9 + 65200*x7*x9 + 45452*x8*x9 + 35215*x9^2 + 64762*x1*x10 + 33038*x2*x10 + 58051*x3*x10 + 19303*x4*x10 + 65328*x5*x10 + 43021*x6*x10 + 21245*x7*x10 + 36684*x8*x10 + 52756*x9*x10 + 27324*x10^2 + 7232*x1*x11^2 + 12858*x2*x11^2 + 8703*x3*x11^2 + 4329*x4*x11^2 + 13839*x5*x11^2 + 58180*x6*x11^2 + 63515*x7*x11^2 + 55995*x8*x11^2 + 23283*x9*x11^2 + 37021*x10*x11^2 + 5772*x11^4 + 8122*x1*x11*x12 + 52778*x2*x11*x12 + 60604*x3*x11*x12 + 44119*x4*x11*x12 + 37562*x5*x11*x12 + 63347*x6*x11*x12 + 64252*x7*x11*x12 + 38188*x8*x11*x12 + 18100*x9*x11*x12 + 58475*x10*x11*x12 + 8240*x11^3*x12 + 26935*x1*x12^2 + 51249*x2*x12^2 + 1505*x3*x12^2 + 62619*x4*x12^2 + 5112*x5*x12^2 + 15168*x6*x12^2 + 62906*x7*x12^2 + 14395*x8*x12^2 + 19688*x9*x12^2 + 16758*x10*x12^2 + 42040*x11^2*x12^2 + 15883*x11*x12^3 + 16339*x12^4 + 16836*x1*x11 + 4166*x2*x11 + 31505*x3*x11 + 38704*x4*x11 + 42386*x5*x11 + 48429*x6*x11 + 64695*x7*x11 + 45176*x8*x11 + 54697*x9*x11 + 8886*x10*x11 + 40058*x11^3 + 22445*x1*x12 + 23737*x2*x12 + 63394*x3*x12 + 46153*x4*x12 + 55196*x5*x12 + 37868*x6*x12 + 39742*x7*x12 + 21587*x8*x12 + 28216*x9*x12 + 1739*x10*x12 + 38407*x11^2*x12 + 56886*x11*x12^2 + 51814*x12^3 + 1472*x1 + 29300*x2 + 37911*x3 + 33381*x4 + 15451*x5 + 18995*x6 + 8040*x7 + 27004*x8 + 57030*x9 + 61526*x10 + 24157*x11^2 + 28643*x11*x12 + 45758*x12^2 + 2987*x11 + 52793*x12 + 4135,
7575*x1^2 + 13361*x1*x2 + 50213*x2^2 + 31671*x1*x3 + 57613*x2*x3 + 59658*x3^2 + 40284*x1*x4 + 53527*x2*x4 + 33448*x3*x4 + 5202*x4^2 + 45062*x1*x5 + 46417*x2*x5 + 5529*x3*x5 + 8655*x4*x5 + 29723*x5^2 + 47313*x1*x6 + 33013*x2*x6 + 39252*x3*x6 + 56255*x4*x6 + 62759*x5*x6 + 32661*x6^2 + 9138*x1*x7 + 33391*x2*x7 + 63563*x3*x7 + 42939*x4*x7 + 19334*x5*x7 + 35336*x6*x7 + 45887*x7^2 + 42846*x1*x8 + 39977*x2*x8 + 5847*x3*x8 + 5143*x4*x8 + 40294*x5*x8 + 54831*x6*x8 + 33635*x7*x8 + 30515*x8^2 + 39986*x1*x9 + 53046*x2*x9 + 914*x3*x9 + 46295*x4*x9 + 8306*x5*x9 + 62980*x6*x9 + 7638*x7*x9 + 30678*x8*x9 + 54025*x9^2 + 61344*x1*x10 + 61639*x2*x10 + 34588*x3*x10 + 60690*x4*x10 + 64028*x5*x10 + 29747*x6*x10 + 37166*x7*x10 + 8601*x8*x10 + 57218*x9*x10 + 5089*x10^2 + 55553*x1*x11^2 + 45991*x2*x11^2 + 14657*x3*x11^2 + 61398*x4*x11^2 + 24726*x5*x11^2 + 56295*x6*x11^2 + 1027*x7*x11^2 + 64573*x8*x11^2 + 62636*x9*x11^2 + 33755*x10*x11^2 + 948*x11^4 + 24143*x1*x11*x12 + 56786*x2*x11*x12 + 17489*x3*x11*x12 + 4727*x4*x11*x12 + 57483*x5*x11*x12 + 4555*x6*x11*x12 + 61390*x7*x11*x12 + 32523*x8*x11*x12 + 57112*x9*x11*x12 + 61084*x10*x11*x12 + 45979*x11^3*x12 + 12481*x1*x12^2 + 33017*x2*x12^2 + 58172*x3*x12^2 + 24514*x4*x12^2 + 48365*x5*x12^2 + 40088*x6*x12^2 + 21140*x7*x12^2 + 47673*x8*x12^2 + 34489*x9*x12^2 + 33071*x10*x12^2 + 5523*x11^2*x12^2 + 500*x11*x12^3 + 27780*x12^4 + 30376*x1*x11 + 38608*x2*x11 + 7093*x3*x11 + 25606*x4*x11 + 10240*x5*x11 + 3598*x6*x11 + 65267*x7*x11 + 65494*x8*x11 + 47315*x9*x11 + 10614*x10*x11 + 24591*x11^3 + 17175*x1*x12 + 50807*x2*x12 + 58634*x3*x12 + 44072*x4*x12 + 16687*x5*x12 + 37059*x6*x12 + 4836*x7*x12 + 29749*x8*x12 + 50922*x9*x12 + 13593*x10*x12 + 60960*x11^2*x12 + 54496*x11*x12^2 + 5599*x12^3 + 15000*x1 + 42923*x2 + 32062*x3 + 23201*x4 + 33605*x5 + 8123*x6 + 36894*x7 + 9447*x8 + 24992*x9 + 12000*x10 + 44895*x11^2 + 18599*x11*x12 + 41349*x12^2 + 47396*x11 + 58347*x12 + 6911,
61458*x1^2 + 41012*x1*x2 + 20942*x2^2 + 4136*x1*x3 + 28131*x2*x3 + 27618*x3^2 + 5970*x1*x4 + 39141*x2*x4 + 5750*x3*x4 + 63105*x4^2 + 55359*x1*x5 + 45686*x2*x5 + 44567*x3*x5 + 2626*x4*x5 + 60716*x5^2 + 14468*x1*x6 + 18807*x2*x6 + 20225*x3*x6 + 63651*x4*x6 + 37567*x5*x6 + 59696*x6^2 + 19226*x1*x7 + 20879*x2*x7 + 5283*x3*x7 + 56973*x4*x7 + 49235*x5*x7 + 51775*x6*x7 + 62693*x7^2 + 39774*x1*x8 + 44720*x2*x8 + 55771*x3*x8 + 56929*x4*x8 + 13694*x5*x8 + 49725*x6*x8 + 50663*x7*x8 + 58972*x8^2 + 27744*x1*x9 + 16177*x2*x9 + 28860*x3*x9 + 60667*x4*x9 + 25826*x5*x9 + 62702*x6*x9 + 48421*x7*x9 + 22489*x8*x9 + 19623*x9^2 + 52464*x1*x10 + 29150*x2*x10 + 5932*x3*x10 + 65266*x4*x10 + 32780*x5*x10 + 49753*x6*x10 + 9917*x7*x10 + 41017*x8*x10 + 32804*x9*x10 + 27096*x10^2 + 2179*x1*x11^2 + 5372*x2*x11^2 + 20105*x3*x11^2 + 5620*x4*x11^2 + 46256*x5*x11^2 + 50285*x6*x11^2 + 49646*x7*x11^2 + 20567*x8*x11^2 + 49334*x9*x11^2 + 31153*x10*x11^2 + 6923*x11^4 + 52865*x1*x11*x12 + 8851*x2*x11*x12 + 3290*x3*x11*x12 + 39472*x4*x11*x12 + 265*x5*x11*x12 + 7819*x6*x11*x12 + 357*x7*x11*x12 + 18142*x8*x11*x12 + 15245*x9*x11*x12 + 42344*x10*x11*x12 + 33886*x11^3*x12 + 51079*x1*x12^2 + 54276*x2*x12^2 + 53962*x3*x12^2 + 50685*x4*x12^2 + 11015*x5*x12^2 + 15986*x6*x12^2 + 34997*x7*x12^2 + 32751*x8*x12^2 + 54452*x9*x12^2 + 38479*x10*x12^2 + 6267*x11^2*x12^2 + 21868*x11*x12^3 + 39788*x12^4 + 32431*x1*x11 + 61266*x2*x11 + 37639*x3*x11 + 36352*x4*x11 + 8220*x5*x11 + 45979*x6*x11 + 65167*x7*x11 + 64662*x8*x11 + 60878*x9*x11 + 9019*x10*x11 + 2023*x11^3 + 10126*x1*x12 + 31071*x2*x12 + 55455*x3*x12 + 43995*x4*x12 + 60625*x5*x12 + 28451*x6*x12 + 26871*x7*x12 + 55461*x8*x12 + 61187*x9*x12 + 59732*x10*x12 + 32386*x11^2*x12 + 50480*x11*x12^2 + 42732*x12^3 + 7667*x1 + 64924*x2 + 33022*x3 + 58744*x4 + 48149*x5 + 54946*x6 + 35520*x7 + 20018*x8 + 51823*x9 + 55992*x10 + 9902*x11^2 + 64199*x11*x12 + 19499*x12^2 + 12786*x11 + 38831*x12 + 31488,
56167*x1^2 + 1978*x1*x2 + 57864*x2^2 + 23484*x1*x3 + 63113*x2*x3 + 14629*x3^2 + 64881*x1*x4 + 52521*x2*x4 + 18878*x3*x4 + 22835*x4^2 + 45506*x1*x5 + 15693*x2*x5 + 45685*x3*x5 + 64969*x4*x5 + 62344*x5^2 + 55547*x1*x6 + 32087*x2*x6 + 35059*x3*x6 + 6687*x4*x6 + 30608*x5*x6 + 36557*x6^2 + 16998*x1*x7 + 46063*x2*x7 + 20859*x3*x7 + 56734*x4*x7 + 43776*x5*x7 + 57111*x6*x7 + 20749*x7^2 + 52089*x1*x8 + 59404*x2*x8 + 955*x3*x8 + 62300*x4*x8 + 65496*x5*x8 + 48710*x6*x8 + 65156*x7*x8 + 25872*x8^2 + 9684*x1*x9 + 65419*x2*x9 + 58353*x3*x9 + 6278*x4*x9 + 47263*x5*x9 + 30339*x6*x9 + 11585*x7*x9 + 21250*x8*x9 + 59621*x9^2 + 48036*x1*x10 + 3115*x2*x10 + 57569*x3*x10 + 12795*x4*x10 + 23627*x5*x10 + 5691*x6*x10 + 45821*x7*x10 + 46036*x8*x10 + 23383*x9*x10 + 46746*x10^2 + 41542*x1*x11^2 + 8153*x2*x11^2 + 12046*x3*x11^2 + 14294*x4*x11^2 + 63658*x5*x11^2 + 36384*x6*x11^2 + 40308*x7*x11^2 + 30715*x8*x11^2 + 6378*x9*x11^2 + 12463*x10*x11^2 + 38398*x11^4 + 39159*x1*x11*x12 + 48093*x2*x11*x12 + 43085*x3*x11*x12 + 51800*x4*x11*x12 + 12614*x5*x11*x12 + 49822*x6*x11*x12 + 2380*x7*x11*x12 + 60688*x8*x11*x12 + 43589*x9*x11*x12 + 8271*x10*x11*x12 + 19504*x11^3*x12 + 23441*x1*x12^2 + 20862*x2*x12^2 + 43717*x3*x12^2 + 42263*x4*x12^2 + 15978*x5*x12^2 + 26908*x6*x12^2 + 43985*x7*x12^2 + 51634*x8*x12^2 + 27878*x9*x12^2 + 27034*x10*x12^2 + 14882*x11^2*x12^2 + 41687*x11*x12^3 + 16760*x12^4 + 11841*x1*x11 + 7288*x2*x11 + 25971*x3*x11 + 60448*x4*x11 + 12343*x5*x11 + 1326*x6*x11 + 14448*x7*x11 + 7728*x8*x11 + 27546*x9*x11 + 8386*x10*x11 + 8658*x11^3 + 44173*x1*x12 + 24863*x2*x12 + 20128*x3*x12 + 20652*x4*x12 + 21998*x5*x12 + 47989*x6*x12 + 6990*x7*x12 + 23605*x8*x12 + 63399*x9*x12 + 33745*x10*x12 + 25572*x11^2*x12 + 60321*x11*x12^2 + 4504*x12^3 + 15406*x1 + 35866*x2 + 10483*x3 + 40735*x4 + 27412*x5 + 18097*x6 + 9833*x7 + 20052*x8 + 5109*x9 + 20592*x10 + 8766*x11^2 + 18697*x11*x12 + 39058*x12^2 + 32686*x11 + 31752*x12 + 29020,
4068*x1^2 + 25407*x1*x2 + 41700*x2^2 + 12297*x1*x3 + 5620*x2*x3 + 47687*x3^2 + 60379*x1*x4 + 54555*x2*x4 + 12077*x3*x4 + 64813*x4^2 + 23618*x1*x5 + 24834*x2*x5 + 57338*x3*x5 + 14223*x4*x5 + 7986*x5^2 + 17065*x1*x6 + 60084*x2*x6 + 45449*x3*x6 + 8323*x4*x6 + 55471*x5*x6 + 19032*x6^2 + 10996*x1*x7 + 42672*x2*x7 + 43770*x3*x7 + 3425*x4*x7 + 1131*x5*x7 + 1065*x6*x7 + 10742*x7^2 + 5264*x1*x8 + 59430*x2*x8 + 41004*x3*x8 + 63458*x4*x8 + 7629*x5*x8 + 35784*x6*x8 + 29403*x7*x8 + 353*x8^2 + 24298*x1*x9 + 25752*x2*x9 + 37487*x3*x9 + 36072*x4*x9 + 8121*x5*x9 + 14001*x6*x9 + 25871*x7*x9 + 52889*x8*x9 + 1538*x9^2 + 45005*x1*x10 + 60457*x2*x10 + 23448*x3*x10 + 15665*x4*x10 + 8026*x5*x10 + 14014*x6*x10 + 14822*x7*x10 + 53895*x8*x10 + 47867*x9*x10 + 38321*x10^2 + 17423*x1*x11^2 + 54340*x2*x11^2 + 39230*x3*x11^2 + 20880*x4*x11^2 + 44206*x5*x11^2 + 27518*x6*x11^2 + 9885*x7*x11^2 + 20076*x8*x11^2 + 34006*x9*x11^2 + 36609*x10*x11^2 + 55714*x11^4 + 10600*x1*x11*x12 + 55965*x2*x11*x12 + 36343*x3*x11*x12 + 47856*x4*x11*x12 + 8025*x5*x11*x12 + 63137*x6*x11*x12 + 7984*x7*x11*x12 + 44213*x8*x11*x12 + 15941*x9*x11*x12 + 5527*x10*x11*x12 + 35732*x11^3*x12 + 15491*x1*x12^2 + 56489*x2*x12^2 + 1778*x3*x12^2 + 6984*x4*x12^2 + 42100*x5*x12^2 + 36632*x6*x12^2 + 8750*x7*x12^2 + 21928*x8*x12^2 + 17469*x9*x12^2 + 49325*x10*x12^2 + 57835*x11^2*x12^2 + 42730*x11*x12^3 + 7578*x12^4 + 24357*x1*x11 + 45523*x2*x11 + 62721*x3*x11 + 44888*x4*x11 + 31024*x5*x11 + 55648*x6*x11 + 25924*x7*x11 + 32618*x8*x11 + 2532*x9*x11 + 48174*x10*x11 + 42776*x11^3 + 47092*x1*x12 + 43958*x2*x12 + 15513*x3*x12 + 27815*x4*x12 + 56859*x5*x12 + 38217*x6*x12 + 23944*x7*x12 + 52857*x8*x12 + 64788*x9*x12 + 964*x10*x12 + 40779*x11^2*x12 + 794*x11*x12^2 + 7150*x12^3 + 64726*x1 + 3321*x2 + 50604*x3 + 49450*x4 + 3405*x5 + 52056*x6 + 64452*x7 + 33110*x8 + 6063*x9 + 5655*x10 + 48145*x11^2 + 12437*x11*x12 + 44817*x12^2 + 27147*x11 + 6392*x12 + 19397,
36446*x1^2 + 17791*x1*x2 + 14091*x2^2 + 36214*x1*x3 + 51111*x2*x3 + 38463*x3^2 + 31593*x1*x4 + 37053*x2*x4 + 16034*x3*x4 + 20861*x4^2 + 3213*x1*x5 + 15517*x2*x5 + 28820*x3*x5 + 11770*x4*x5 + 51452*x5^2 + 12820*x1*x6 + 11990*x2*x6 + 55141*x3*x6 + 63497*x4*x6 + 12978*x5*x6 + 55250*x6^2 + 26430*x1*x7 + 10831*x2*x7 + 61370*x3*x7 + 19253*x4*x7 + 32467*x5*x7 + 64640*x6*x7 + 10072*x7^2 + 44140*x1*x8 + 47781*x2*x8 + 17537*x3*x8 + 58704*x4*x8 + 43421*x5*x8 + 33033*x6*x8 + 28216*x7*x8 + 52445*x8^2 + 21253*x1*x9 + 61769*x2*x9 + 19965*x3*x9 + 23847*x4*x9 + 59597*x5*x9 + 15470*x6*x9 + 41762*x7*x9 + 61470*x8*x9 + 6569*x9^2 + 22728*x1*x10 + 57048*x2*x10 + 34164*x3*x10 + 57498*x4*x10 + 4400*x5*x10 + 64281*x6*x10 + 33385*x7*x10 + 9908*x8*x10 + 60525*x9*x10 + 36245*x10^2 + 43507*x1*x11^2 + 48964*x2*x11^2 + 61478*x3*x11^2 + 57823*x4*x11^2 + 21414*x5*x11^2 + 29695*x6*x11^2 + 20571*x7*x11^2 + 17571*x8*x11^2 + 56295*x9*x11^2 + 20986*x10*x11^2 + 23665*x11^4 + 8531*x1*x11*x12 + 39147*x2*x11*x12 + 16009*x3*x11*x12 + 48684*x4*x11*x12 + 39661*x5*x11*x12 + 46350*x6*x11*x12 + 19573*x7*x11*x12 + 1824*x8*x11*x12 + 64376*x9*x11*x12 + 25759*x10*x11*x12 + 44611*x11^3*x12 + 14561*x1*x12^2 + 9906*x2*x12^2 + 17893*x3*x12^2 + 39993*x4*x12^2 + 47724*x5*x12^2 + 40756*x6*x12^2 + 6226*x7*x12^2 + 29061*x8*x12^2 + 64987*x9*x12^2 + 47972*x10*x12^2 + 7802*x11^2*x12^2 + 40303*x11*x12^3 + 43131*x12^4 + 44175*x1*x11 + 24448*x2*x11 + 16261*x3*x11 + 52881*x4*x11 + 21068*x5*x11 + 63223*x6*x11 + 9235*x7*x11 + 28973*x8*x11 + 38841*x9*x11 + 55183*x10*x11 + 44638*x11^3 + 57869*x1*x12 + 57714*x2*x12 + 59883*x3*x12 + 38839*x4*x12 + 27674*x5*x12 + 57699*x6*x12 + 60055*x7*x12 + 9375*x8*x12 + 3890*x9*x12 + 43626*x10*x12 + 27385*x11^2*x12 + 9458*x11*x12^2 + 17150*x12^3 + 13349*x1 + 42120*x2 + 20180*x3 + 47657*x4 + 30908*x5 + 47845*x6 + 47002*x7 + 42950*x8 + 28654*x9 + 54546*x10 + 16369*x11^2 + 38804*x11*x12 + 10672*x12^2 + 59507*x11 + 24834*x12 + 52252,
57377*x1^2 + 23432*x1*x2 + 7826*x2^2 + 5636*x1*x3 + 7377*x2*x3 + 39365*x3^2 + 33046*x1*x4 + 9443*x2*x4 + 46581*x3*x4 + 62689*x4^2 + 60780*x1*x5 + 20030*x2*x5 + 11220*x3*x5 + 13696*x4*x5 + 5343*x5^2 + 3256*x1*x6 + 11780*x2*x6 + 14583*x3*x6 + 3809*x4*x6 + 23305*x5*x6 + 46928*x6^2 + 40054*x1*x7 + 16761*x2*x7 + 3924*x3*x7 + 12466*x4*x7 + 24618*x5*x7 + 37157*x6*x7 + 31069*x7^2 + 28166*x1*x8 + 8638*x2*x8 + 52049*x3*x8 + 2668*x4*x8 + 14536*x5*x8 + 62223*x6*x8 + 42956*x7*x8 + 2603*x8^2 + 14301*x1*x9 + 61782*x2*x9 + 59090*x3*x9 + 59764*x4*x9 + 36943*x5*x9 + 30326*x6*x9 + 42890*x7*x9 + 14724*x8*x9 + 48354*x9^2 + 40771*x1*x10 + 10688*x2*x10 + 6799*x3*x10 + 56080*x4*x10 + 16935*x5*x10 + 61479*x6*x10 + 64206*x7*x10 + 42841*x8*x10 + 54758*x9*x10 + 21781*x10^2 + 11442*x1*x11^2 + 65263*x2*x11^2 + 19683*x3*x11^2 + 28808*x4*x11^2 + 49452*x5*x11^2 + 40999*x6*x11^2 + 17810*x7*x11^2 + 42244*x8*x11^2 + 48954*x9*x11^2 + 56213*x10*x11^2 + 41509*x11^4 + 26386*x1*x11*x12 + 55478*x2*x11*x12 + 24519*x3*x11*x12 + 46599*x4*x11*x12 + 15497*x5*x11*x12 + 24102*x6*x11*x12 + 42310*x7*x11*x12 + 50350*x8*x11*x12 + 19580*x9*x11*x12 + 64149*x10*x11*x12 + 35201*x11^3*x12 + 55488*x1*x12^2 + 63073*x2*x12^2 + 5921*x3*x12^2 + 22108*x4*x12^2 + 64484*x5*x12^2 + 56410*x6*x12^2 + 5595*x7*x12^2 + 21006*x8*x12^2 + 15870*x9*x12^2 + 51188*x10*x12^2 + 16212*x11^2*x12^2 + 34778*x11*x12^3 + 32253*x12^4 + 24222*x1*x11 + 43061*x2*x11 + 47090*x3*x11 + 7082*x4*x11 + 41051*x5*x11 + 28608*x6*x11 + 43083*x7*x11 + 58076*x8*x11 + 56504*x9*x11 + 14527*x10*x11 + 37961*x11^3 + 22637*x1*x12 + 42190*x2*x12 + 22983*x3*x12 + 39573*x4*x12 + 21032*x5*x12 + 33995*x6*x12 + 18718*x7*x12 + 49921*x8*x12 + 1362*x9*x12 + 35572*x10*x12 + 13754*x11^2*x12 + 35488*x11*x12^2 + 55292*x12^3 + 31121*x1 + 54440*x2 + 8725*x3 + 7656*x4 + 36839*x5 + 43896*x6 + 37278*x7 + 60793*x8 + 50326*x9 + 50165*x10 + 7767*x11^2 + 23349*x11*x12 + 60102*x12^2 + 58332*x11 + 21979*x12 + 11008
]
: