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

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

#list

[
23843*x1^2 + 57374*x1*x2 + 21986*x2^2 + 33803*x1*x3 + 19755*x2*x3 + 28279*x3^2 + 58201*x1*x4 + 60923*x2*x4 + 31853*x3*x4 + 9382*x4^2 + 11863*x1*x5 + 23660*x2*x5 + 25733*x3*x5 + 43148*x4*x5 + 42062*x5^2 + 17393*x1*x6 + 27952*x2*x6 + 1001*x3*x6 + 10710*x4*x6 + 4422*x5*x6 + 60303*x6^2 + 20641*x1*x7 + 11435*x2*x7 + 21975*x3*x7 + 57195*x4*x7 + 29800*x5*x7 + 44854*x6*x7 + 40848*x7^2 + 51042*x1*x8 + 9043*x2*x8 + 11062*x3*x8 + 51513*x4*x8 + 48882*x5*x8 + 2955*x6*x8 + 12907*x7*x8 + 9322*x8^2 + 23677*x1*x9 + 59656*x2*x9 + 55682*x3*x9 + 38607*x4*x9 + 55798*x5*x9 + 15829*x6*x9 + 27928*x7*x9 + 37476*x8*x9 + 8687*x9^2 + 9762*x1*x10^2 + 49702*x2*x10^2 + 44184*x3*x10^2 + 56396*x4*x10^2 + 43026*x5*x10^2 + 31093*x6*x10^2 + 31962*x7*x10^2 + 2200*x8*x10^2 + 33132*x9*x10^2 + 42963*x10^4 + 38626*x1*x10*x11 + 43642*x2*x10*x11 + 20188*x3*x10*x11 + 1998*x4*x10*x11 + 24472*x5*x10*x11 + 26130*x6*x10*x11 + 49449*x7*x10*x11 + 64725*x8*x10*x11 + 27781*x9*x10*x11 + 52099*x10^3*x11 + 8758*x1*x11^2 + 14727*x2*x11^2 + 32829*x3*x11^2 + 23275*x4*x11^2 + 41500*x5*x11^2 + 49273*x6*x11^2 + 8017*x7*x11^2 + 8956*x8*x11^2 + 59334*x9*x11^2 + 18474*x10^2*x11^2 + 17869*x10*x11^3 + 36770*x11^4 + 30154*x1*x10 + 13130*x2*x10 + 23498*x3*x10 + 57376*x4*x10 + 53114*x5*x10 + 23668*x6*x10 + 18838*x7*x10 + 197*x8*x10 + 52245*x9*x10 + 57574*x10^3 + 27122*x1*x11 + 63060*x2*x11 + 51184*x3*x11 + 33786*x4*x11 + 15161*x5*x11 + 2450*x6*x11 + 22063*x7*x11 + 5814*x8*x11 + 6628*x9*x11 + 55361*x10^2*x11 + 47079*x10*x11^2 + 27309*x11^3 + 20287*x1 + 12362*x2 + 50188*x3 + 58918*x4 + 59672*x5 + 4682*x6 + 23897*x7 + 12371*x8 + 34533*x9 + 28797*x10^2 + 59652*x10*x11 + 29894*x11^2 + 12220*x10 + 9480*x11 + 38060,
49264*x1^2 + 29055*x1*x2 + 29050*x2^2 + 8395*x1*x3 + 64880*x2*x3 + 13560*x3^2 + 50506*x1*x4 + 9723*x2*x4 + 22613*x3*x4 + 6855*x4^2 + 5558*x1*x5 + 48122*x2*x5 + 60292*x3*x5 + 22890*x4*x5 + 17899*x5^2 + 8803*x1*x6 + 47123*x2*x6 + 37565*x3*x6 + 43240*x4*x6 + 32903*x5*x6 + 42039*x6^2 + 58381*x1*x7 + 52393*x2*x7 + 43311*x3*x7 + 41085*x4*x7 + 48924*x5*x7 + 20429*x6*x7 + 47851*x7^2 + 51701*x1*x8 + 29461*x2*x8 + 33004*x3*x8 + 9128*x4*x8 + 58620*x5*x8 + 1953*x6*x8 + 15263*x7*x8 + 9418*x8^2 + 40940*x1*x9 + 52258*x2*x9 + 3274*x3*x9 + 60420*x4*x9 + 817*x5*x9 + 39569*x6*x9 + 58167*x7*x9 + 44041*x8*x9 + 15466*x9^2 + 3610*x1*x10^2 + 7656*x2*x10^2 + 47372*x3*x10^2 + 60633*x4*x10^2 + 15157*x5*x10^2 + 35269*x6*x10^2 + 30850*x7*x10^2 + 8183*x8*x10^2 + 788*x9*x10^2 + 41104*x10^4 + 7361*x1*x10*x11 + 9880*x2*x10*x11 + 48168*x3*x10*x11 + 34767*x4*x10*x11 + 31742*x5*x10*x11 + 59800*x6*x10*x11 + 16076*x7*x10*x11 + 11505*x8*x10*x11 + 36017*x9*x10*x11 + 47844*x10^3*x11 + 33655*x1*x11^2 + 43079*x2*x11^2 + 45134*x3*x11^2 + 54012*x4*x11^2 + 18358*x5*x11^2 + 56910*x6*x11^2 + 48842*x7*x11^2 + 27055*x8*x11^2 + 16266*x9*x11^2 + 46293*x10^2*x11^2 + 37728*x10*x11^3 + 3308*x11^4 + 23702*x1*x10 + 22845*x2*x10 + 26486*x3*x10 + 41103*x4*x10 + 524*x5*x10 + 7024*x6*x10 + 4131*x7*x10 + 55071*x8*x10 + 49758*x9*x10 + 8010*x10^3 + 52385*x1*x11 + 2094*x2*x11 + 25544*x3*x11 + 9846*x4*x11 + 56936*x5*x11 + 31712*x6*x11 + 18900*x7*x11 + 21843*x8*x11 + 55224*x9*x11 + 35614*x10^2*x11 + 1832*x10*x11^2 + 24811*x11^3 + 60553*x1 + 23194*x2 + 48370*x3 + 65437*x4 + 8610*x5 + 47665*x6 + 31921*x7 + 30765*x8 + 43957*x9 + 24251*x10^2 + 40228*x10*x11 + 26712*x11^2 + 36088*x10 + 18642*x11 + 11230,
19756*x1^2 + 22485*x1*x2 + 17132*x2^2 + 3752*x1*x3 + 54514*x2*x3 + 28098*x3^2 + 45674*x1*x4 + 15862*x2*x4 + 21963*x3*x4 + 56067*x4^2 + 36457*x1*x5 + 58372*x2*x5 + 41434*x3*x5 + 23445*x4*x5 + 35873*x5^2 + 2225*x1*x6 + 49299*x2*x6 + 12860*x3*x6 + 26127*x4*x6 + 2094*x5*x6 + 24507*x6^2 + 28162*x1*x7 + 44170*x2*x7 + 44387*x3*x7 + 43*x4*x7 + 48785*x5*x7 + 16504*x6*x7 + 49514*x7^2 + 19368*x1*x8 + 37864*x2*x8 + 19909*x3*x8 + 46027*x4*x8 + 63900*x5*x8 + 24731*x6*x8 + 60575*x7*x8 + 25188*x8^2 + 11377*x1*x9 + 62280*x2*x9 + 10175*x3*x9 + 2203*x4*x9 + 33654*x5*x9 + 30260*x6*x9 + 15565*x7*x9 + 52750*x8*x9 + 53010*x9^2 + 9691*x1*x10^2 + 49516*x2*x10^2 + 7927*x3*x10^2 + 4149*x4*x10^2 + 52636*x5*x10^2 + 63858*x6*x10^2 + 11531*x7*x10^2 + 15904*x8*x10^2 + 50349*x9*x10^2 + 33204*x10^4 + 23114*x1*x10*x11 + 9681*x2*x10*x11 + 34026*x3*x10*x11 + 36147*x4*x10*x11 + 23810*x5*x10*x11 + 61395*x6*x10*x11 + 2250*x7*x10*x11 + 4384*x8*x10*x11 + 24622*x9*x10*x11 + 15849*x10^3*x11 + 51955*x1*x11^2 + 38953*x2*x11^2 + 34142*x3*x11^2 + 47630*x4*x11^2 + 64007*x5*x11^2 + 4317*x6*x11^2 + 20476*x7*x11^2 + 21035*x8*x11^2 + 36210*x9*x11^2 + 28556*x10^2*x11^2 + 51264*x10*x11^3 + 29702*x11^4 + 12739*x1*x10 + 17332*x2*x10 + 12902*x3*x10 + 14105*x4*x10 + 17880*x5*x10 + 45261*x6*x10 + 61897*x7*x10 + 20914*x8*x10 + 11006*x9*x10 + 51797*x10^3 + 32800*x1*x11 + 51333*x2*x11 + 24692*x3*x11 + 27783*x4*x11 + 47525*x5*x11 + 5864*x6*x11 + 32787*x7*x11 + 4761*x8*x11 + 19344*x9*x11 + 60315*x10^2*x11 + 9397*x10*x11^2 + 27136*x11^3 + 16479*x1 + 6786*x2 + 16022*x3 + 51962*x4 + 56437*x5 + 35078*x6 + 33467*x7 + 42740*x8 + 3571*x9 + 61750*x10^2 + 63072*x10*x11 + 9577*x11^2 + 37915*x10 + 10851*x11 + 31745,
12566*x1^2 + 63961*x1*x2 + 8193*x2^2 + 12749*x1*x3 + 7464*x2*x3 + 63292*x3^2 + 65006*x1*x4 + 55401*x2*x4 + 59504*x3*x4 + 10691*x4^2 + 22278*x1*x5 + 38849*x2*x5 + 42894*x3*x5 + 63197*x4*x5 + 28127*x5^2 + 18101*x1*x6 + 19509*x2*x6 + 63838*x3*x6 + 49468*x4*x6 + 50895*x5*x6 + 55849*x6^2 + 5010*x1*x7 + 41501*x2*x7 + 21451*x3*x7 + 9297*x4*x7 + 38970*x5*x7 + 36530*x6*x7 + 8507*x7^2 + 52699*x1*x8 + 61199*x2*x8 + 50323*x3*x8 + 25614*x4*x8 + 41690*x5*x8 + 21258*x6*x8 + 18688*x7*x8 + 41620*x8^2 + 49774*x1*x9 + 88*x2*x9 + 65008*x3*x9 + 19716*x4*x9 + 19087*x5*x9 + 32151*x6*x9 + 1973*x7*x9 + 13112*x8*x9 + 63129*x9^2 + 15322*x1*x10^2 + 45867*x2*x10^2 + 5001*x3*x10^2 + 48985*x4*x10^2 + 27159*x5*x10^2 + 29198*x6*x10^2 + 50532*x7*x10^2 + 46697*x8*x10^2 + 37648*x9*x10^2 + 11398*x10^4 + 27532*x1*x10*x11 + 63737*x2*x10*x11 + 37059*x3*x10*x11 + 62134*x4*x10*x11 + 35299*x5*x10*x11 + 37242*x6*x10*x11 + 27865*x7*x10*x11 + 14069*x8*x10*x11 + 13592*x9*x10*x11 + 21748*x10^3*x11 + 20145*x1*x11^2 + 14608*x2*x11^2 + 31519*x3*x11^2 + 19280*x4*x11^2 + 63298*x5*x11^2 + 33553*x6*x11^2 + 50177*x7*x11^2 + 23611*x8*x11^2 + 48496*x9*x11^2 + 17375*x10^2*x11^2 + 1135*x10*x11^3 + 9524*x11^4 + 10328*x1*x10 + 18073*x2*x10 + 9814*x3*x10 + 32644*x4*x10 + 13871*x5*x10 + 464*x6*x10 + 48991*x7*x10 + 9545*x8*x10 + 46642*x9*x10 + 10579*x10^3 + 35832*x1*x11 + 17520*x2*x11 + 44160*x3*x11 + 7162*x4*x11 + 40879*x5*x11 + 31734*x6*x11 + 45551*x7*x11 + 33693*x8*x11 + 10575*x9*x11 + 18600*x10^2*x11 + 36252*x10*x11^2 + 39685*x11^3 + 4833*x1 + 48431*x2 + 56505*x3 + 17224*x4 + 6217*x5 + 50779*x6 + 17480*x7 + 7618*x8 + 44046*x9 + 3500*x10^2 + 32195*x10*x11 + 4166*x11^2 + 19248*x10 + 23887*x11 + 40203,
22136*x1^2 + 46628*x1*x2 + 16844*x2^2 + 4628*x1*x3 + 50985*x2*x3 + 44684*x3^2 + 26382*x1*x4 + 53749*x2*x4 + 43429*x3*x4 + 2815*x4^2 + 2068*x1*x5 + 49426*x2*x5 + 36371*x3*x5 + 10556*x4*x5 + 59230*x5^2 + 12357*x1*x6 + 26385*x2*x6 + 331*x3*x6 + 62978*x4*x6 + 59253*x5*x6 + 22546*x6^2 + 46172*x1*x7 + 7776*x2*x7 + 58335*x3*x7 + 18558*x4*x7 + 10930*x5*x7 + 20926*x6*x7 + 38112*x7^2 + 32053*x1*x8 + 6434*x2*x8 + 63815*x3*x8 + 17048*x4*x8 + 51584*x5*x8 + 59491*x6*x8 + 37712*x7*x8 + 59277*x8^2 + 28168*x1*x9 + 43862*x2*x9 + 55531*x3*x9 + 6461*x4*x9 + 49647*x5*x9 + 2911*x6*x9 + 19102*x7*x9 + 15857*x8*x9 + 33628*x9^2 + 49574*x1*x10^2 + 51455*x2*x10^2 + 39743*x3*x10^2 + 17011*x4*x10^2 + 39290*x5*x10^2 + 44984*x6*x10^2 + 57271*x7*x10^2 + 26451*x8*x10^2 + 52286*x9*x10^2 + 42124*x10^4 + 43992*x1*x10*x11 + 23129*x2*x10*x11 + 20758*x3*x10*x11 + 57390*x4*x10*x11 + 47968*x5*x10*x11 + 9688*x6*x10*x11 + 45943*x7*x10*x11 + 25080*x8*x10*x11 + 15634*x9*x10*x11 + 48430*x10^3*x11 + 41944*x1*x11^2 + 10875*x2*x11^2 + 61216*x3*x11^2 + 44653*x4*x11^2 + 6316*x5*x11^2 + 48183*x6*x11^2 + 20472*x7*x11^2 + 25999*x8*x11^2 + 50088*x9*x11^2 + 14334*x10^2*x11^2 + 35567*x10*x11^3 + 49641*x11^4 + 62588*x1*x10 + 48587*x2*x10 + 49222*x3*x10 + 21860*x4*x10 + 4638*x5*x10 + 5416*x6*x10 + 15440*x7*x10 + 19671*x8*x10 + 13559*x9*x10 + 59044*x10^3 + 54051*x1*x11 + 57308*x2*x11 + 11956*x3*x11 + 16196*x4*x11 + 40209*x5*x11 + 9661*x6*x11 + 30262*x7*x11 + 65436*x8*x11 + 61497*x9*x11 + 18567*x10^2*x11 + 29845*x10*x11^2 + 41553*x11^3 + 41980*x1 + 10827*x2 + 51493*x3 + 43363*x4 + 43316*x5 + 48222*x6 + 49675*x7 + 56218*x8 + 4045*x9 + 8480*x10^2 + 47539*x10*x11 + 7738*x11^2 + 13348*x10 + 49655*x11 + 1672,
52313*x1^2 + 91*x1*x2 + 3061*x2^2 + 14451*x1*x3 + 61542*x2*x3 + 17942*x3^2 + 23645*x1*x4 + 2588*x2*x4 + 24416*x3*x4 + 61101*x4^2 + 64179*x1*x5 + 41347*x2*x5 + 13954*x3*x5 + 33038*x4*x5 + 20803*x5^2 + 25432*x1*x6 + 47883*x2*x6 + 62803*x3*x6 + 20468*x4*x6 + 29444*x5*x6 + 34327*x6^2 + 45818*x1*x7 + 54744*x2*x7 + 53401*x3*x7 + 54330*x4*x7 + 63679*x5*x7 + 43850*x6*x7 + 20280*x7^2 + 38645*x1*x8 + 35094*x2*x8 + 36339*x3*x8 + 58157*x4*x8 + 60535*x5*x8 + 30923*x6*x8 + 27889*x7*x8 + 54728*x8^2 + 11137*x1*x9 + 47140*x2*x9 + 14344*x3*x9 + 54458*x4*x9 + 55817*x5*x9 + 2747*x6*x9 + 11440*x7*x9 + 16889*x8*x9 + 38974*x9^2 + 41508*x1*x10^2 + 41922*x2*x10^2 + 23292*x3*x10^2 + 11395*x4*x10^2 + 49191*x5*x10^2 + 6743*x6*x10^2 + 9444*x7*x10^2 + 3133*x8*x10^2 + 48007*x9*x10^2 + 39387*x10^4 + 52994*x1*x10*x11 + 14830*x2*x10*x11 + 26137*x3*x10*x11 + 60693*x4*x10*x11 + 13659*x5*x10*x11 + 55640*x6*x10*x11 + 18796*x7*x10*x11 + 34054*x8*x10*x11 + 29880*x9*x10*x11 + 18675*x10^3*x11 + 8414*x1*x11^2 + 2979*x2*x11^2 + 2865*x3*x11^2 + 14712*x4*x11^2 + 19925*x5*x11^2 + 38093*x6*x11^2 + 49841*x7*x11^2 + 11358*x8*x11^2 + 42665*x9*x11^2 + 28135*x10^2*x11^2 + 28427*x10*x11^3 + 45750*x11^4 + 17653*x1*x10 + 62719*x2*x10 + 5771*x3*x10 + 31389*x4*x10 + 40111*x5*x10 + 65462*x6*x10 + 7095*x7*x10 + 64992*x8*x10 + 35052*x9*x10 + 8275*x10^3 + 2563*x1*x11 + 34959*x2*x11 + 58332*x3*x11 + 454*x4*x11 + 23349*x5*x11 + 58234*x6*x11 + 13422*x7*x11 + 50149*x8*x11 + 51925*x9*x11 + 48413*x10^2*x11 + 14290*x10*x11^2 + 20876*x11^3 + 27758*x1 + 28449*x2 + 13806*x3 + 3226*x4 + 9883*x5 + 55356*x6 + 33495*x7 + 51564*x8 + 21911*x9 + 38724*x10^2 + 46179*x10*x11 + 58415*x11^2 + 26386*x10 + 25911*x11 + 28988,
7644*x1^2 + 41332*x1*x2 + 40745*x2^2 + 7119*x1*x3 + 7878*x2*x3 + 8183*x3^2 + 26080*x1*x4 + 37168*x2*x4 + 9991*x3*x4 + 53231*x4^2 + 60587*x1*x5 + 58384*x2*x5 + 49252*x3*x5 + 25305*x4*x5 + 45803*x5^2 + 33812*x1*x6 + 45299*x2*x6 + 19758*x3*x6 + 10328*x4*x6 + 33576*x5*x6 + 37684*x6^2 + 11087*x1*x7 + 54412*x2*x7 + 9207*x3*x7 + 47419*x4*x7 + 12393*x5*x7 + 13906*x6*x7 + 18413*x7^2 + 31650*x1*x8 + 21378*x2*x8 + 15358*x3*x8 + 51662*x4*x8 + 7029*x5*x8 + 53925*x6*x8 + 56033*x7*x8 + 24571*x8^2 + 16511*x1*x9 + 23769*x2*x9 + 46761*x3*x9 + 29151*x4*x9 + 13468*x5*x9 + 46160*x6*x9 + 8802*x7*x9 + 6684*x8*x9 + 2793*x9^2 + 28106*x1*x10^2 + 1833*x2*x10^2 + 887*x3*x10^2 + 64036*x4*x10^2 + 51287*x5*x10^2 + 16472*x6*x10^2 + 48019*x7*x10^2 + 33192*x8*x10^2 + 62881*x9*x10^2 + 4272*x10^4 + 2623*x1*x10*x11 + 2917*x2*x10*x11 + 14705*x3*x10*x11 + 9818*x4*x10*x11 + 29562*x5*x10*x11 + 63761*x6*x10*x11 + 38686*x7*x10*x11 + 8048*x8*x10*x11 + 14688*x9*x10*x11 + 52515*x10^3*x11 + 29771*x1*x11^2 + 2621*x2*x11^2 + 3072*x3*x11^2 + 60328*x4*x11^2 + 38255*x5*x11^2 + 10144*x6*x11^2 + 38683*x7*x11^2 + 6638*x8*x11^2 + 22299*x9*x11^2 + 5864*x10^2*x11^2 + 58362*x10*x11^3 + 47885*x11^4 + 16584*x1*x10 + 37774*x2*x10 + 48209*x3*x10 + 30950*x4*x10 + 62404*x5*x10 + 46860*x6*x10 + 44427*x7*x10 + 30298*x8*x10 + 5913*x9*x10 + 64994*x10^3 + 43933*x1*x11 + 62126*x2*x11 + 13059*x3*x11 + 19360*x4*x11 + 12124*x5*x11 + 45956*x6*x11 + 13711*x7*x11 + 52548*x8*x11 + 37268*x9*x11 + 48884*x10^2*x11 + 55545*x10*x11^2 + 21164*x11^3 + 47180*x1 + 17486*x2 + 15897*x3 + 589*x4 + 64606*x5 + 38695*x6 + 38144*x7 + 11531*x8 + 8403*x9 + 33584*x10^2 + 12013*x10*x11 + 30769*x11^2 + 29110*x10 + 52629*x11 + 64489,
25795*x1^2 + 27442*x1*x2 + 10233*x2^2 + 54837*x1*x3 + 13647*x2*x3 + 28015*x3^2 + 9811*x1*x4 + 5197*x2*x4 + 21598*x3*x4 + 56035*x4^2 + 22082*x1*x5 + 28770*x2*x5 + 57442*x3*x5 + 24426*x4*x5 + 42584*x5^2 + 35102*x1*x6 + 17522*x2*x6 + 61734*x3*x6 + 6076*x4*x6 + 16980*x5*x6 + 1106*x6^2 + 56275*x1*x7 + 30405*x2*x7 + 4229*x3*x7 + 38528*x4*x7 + 52335*x5*x7 + 35421*x6*x7 + 49187*x7^2 + 41396*x1*x8 + 2788*x2*x8 + 31485*x3*x8 + 6425*x4*x8 + 53584*x5*x8 + 21269*x6*x8 + 60777*x7*x8 + 6574*x8^2 + 24652*x1*x9 + 45516*x2*x9 + 12362*x3*x9 + 11033*x4*x9 + 15720*x5*x9 + 18451*x6*x9 + 19955*x7*x9 + 62089*x8*x9 + 53235*x9^2 + 24300*x1*x10^2 + 25550*x2*x10^2 + 49763*x3*x10^2 + 1411*x4*x10^2 + 55664*x5*x10^2 + 56256*x6*x10^2 + 60317*x7*x10^2 + 53984*x8*x10^2 + 56172*x9*x10^2 + 11468*x10^4 + 3456*x1*x10*x11 + 17387*x2*x10*x11 + 4531*x3*x10*x11 + 27437*x4*x10*x11 + 5021*x5*x10*x11 + 51455*x6*x10*x11 + 55449*x7*x10*x11 + 4904*x8*x10*x11 + 21366*x9*x10*x11 + 12526*x10^3*x11 + 4527*x1*x11^2 + 63832*x2*x11^2 + 33614*x3*x11^2 + 60225*x4*x11^2 + 64773*x5*x11^2 + 19038*x6*x11^2 + 45571*x7*x11^2 + 55254*x8*x11^2 + 7980*x9*x11^2 + 17437*x10^2*x11^2 + 33911*x10*x11^3 + 37041*x11^4 + 12145*x1*x10 + 24832*x2*x10 + 31702*x3*x10 + 51543*x4*x10 + 22962*x5*x10 + 25113*x6*x10 + 28453*x7*x10 + 20198*x8*x10 + 50357*x9*x10 + 10063*x10^3 + 49562*x1*x11 + 40712*x2*x11 + 5500*x3*x11 + 15121*x4*x11 + 20425*x5*x11 + 49586*x6*x11 + 580*x7*x11 + 20415*x8*x11 + 15422*x9*x11 + 52226*x10^2*x11 + 39158*x10*x11^2 + 34631*x11^3 + 4785*x1 + 22117*x2 + 36535*x3 + 47468*x4 + 1724*x5 + 42244*x6 + 18974*x7 + 60059*x8 + 4514*x9 + 18982*x10^2 + 57350*x10*x11 + 49665*x11^2 + 10660*x10 + 19147*x11 + 1872,
34512*x1^2 + 15819*x1*x2 + 46000*x2^2 + 2540*x1*x3 + 49914*x2*x3 + 44013*x3^2 + 40796*x1*x4 + 63127*x2*x4 + 19409*x3*x4 + 31260*x4^2 + 58292*x1*x5 + 8689*x2*x5 + 51451*x3*x5 + 45109*x4*x5 + 27322*x5^2 + 12837*x1*x6 + 17629*x2*x6 + 16413*x3*x6 + 31220*x4*x6 + 47933*x5*x6 + 51554*x6^2 + 28363*x1*x7 + 21301*x2*x7 + 40867*x3*x7 + 6173*x4*x7 + 551*x5*x7 + 19193*x6*x7 + 9840*x7^2 + 15488*x1*x8 + 16355*x2*x8 + 58980*x3*x8 + 53328*x4*x8 + 954*x5*x8 + 50534*x6*x8 + 3616*x7*x8 + 45988*x8^2 + 549*x1*x9 + 57451*x2*x9 + 47361*x3*x9 + 57460*x4*x9 + 8662*x5*x9 + 15265*x6*x9 + 58269*x7*x9 + 3447*x8*x9 + 8467*x9^2 + 31821*x1*x10^2 + 29298*x2*x10^2 + 56459*x3*x10^2 + 37221*x4*x10^2 + 45201*x5*x10^2 + 53900*x6*x10^2 + 18773*x7*x10^2 + 29523*x8*x10^2 + 34690*x9*x10^2 + 41546*x10^4 + 13183*x1*x10*x11 + 20258*x2*x10*x11 + 58078*x3*x10*x11 + 25820*x4*x10*x11 + 11356*x5*x10*x11 + 40785*x6*x10*x11 + 19869*x7*x10*x11 + 62872*x8*x10*x11 + 47469*x9*x10*x11 + 44088*x10^3*x11 + 6571*x1*x11^2 + 65389*x2*x11^2 + 23401*x3*x11^2 + 680*x4*x11^2 + 25765*x5*x11^2 + 50923*x6*x11^2 + 13853*x7*x11^2 + 10592*x8*x11^2 + 17224*x9*x11^2 + 24323*x10^2*x11^2 + 65260*x10*x11^3 + 19609*x11^4 + 54694*x1*x10 + 29431*x2*x10 + 57455*x3*x10 + 27874*x4*x10 + 15878*x5*x10 + 39523*x6*x10 + 26246*x7*x10 + 36345*x8*x10 + 49251*x9*x10 + 49391*x10^3 + 8562*x1*x11 + 61830*x2*x11 + 60218*x3*x11 + 39824*x4*x11 + 25346*x5*x11 + 37685*x6*x11 + 6239*x7*x11 + 57372*x8*x11 + 40669*x9*x11 + 61155*x10^2*x11 + 24631*x10*x11^2 + 61289*x11^3 + 49866*x1 + 32364*x2 + 59058*x3 + 41515*x4 + 30089*x5 + 18416*x6 + 12946*x7 + 39766*x8 + 50023*x9 + 7972*x10^2 + 10576*x10*x11 + 38986*x11^2 + 53792*x10 + 47395*x11 + 62558,
10004*x1^2 + 19137*x1*x2 + 58708*x2^2 + 45707*x1*x3 + 33028*x2*x3 + 33011*x3^2 + 29294*x1*x4 + 9593*x2*x4 + 62320*x3*x4 + 30692*x4^2 + 56088*x1*x5 + 11655*x2*x5 + 27130*x3*x5 + 1686*x4*x5 + 32422*x5^2 + 20624*x1*x6 + 46538*x2*x6 + 64119*x3*x6 + 44195*x4*x6 + 56131*x5*x6 + 35749*x6^2 + 36192*x1*x7 + 17083*x2*x7 + 3066*x3*x7 + 1878*x4*x7 + 29747*x5*x7 + 52623*x6*x7 + 52589*x7^2 + 57009*x1*x8 + 5867*x2*x8 + 23143*x3*x8 + 34592*x4*x8 + 15478*x5*x8 + 28476*x6*x8 + 38840*x7*x8 + 34768*x8^2 + 36138*x1*x9 + 64074*x2*x9 + 25904*x3*x9 + 14183*x4*x9 + 19025*x5*x9 + 40930*x6*x9 + 45753*x7*x9 + 56139*x8*x9 + 5265*x9^2 + 61472*x1*x10^2 + 42667*x2*x10^2 + 27429*x3*x10^2 + 4889*x4*x10^2 + 44041*x5*x10^2 + 54418*x6*x10^2 + 51553*x7*x10^2 + 5906*x8*x10^2 + 23593*x9*x10^2 + 4060*x10^4 + 47837*x1*x10*x11 + 54901*x2*x10*x11 + 39678*x3*x10*x11 + 16002*x4*x10*x11 + 7277*x5*x10*x11 + 35667*x6*x10*x11 + 64443*x7*x10*x11 + 11817*x8*x10*x11 + 18278*x9*x10*x11 + 62199*x10^3*x11 + 40794*x1*x11^2 + 59429*x2*x11^2 + 53515*x3*x11^2 + 42535*x4*x11^2 + 47493*x5*x11^2 + 44737*x6*x11^2 + 18219*x7*x11^2 + 6364*x8*x11^2 + 52613*x9*x11^2 + 21996*x10^2*x11^2 + 51469*x10*x11^3 + 19569*x11^4 + 7483*x1*x10 + 10495*x2*x10 + 22784*x3*x10 + 61253*x4*x10 + 29140*x5*x10 + 38651*x6*x10 + 26003*x7*x10 + 38824*x8*x10 + 18947*x9*x10 + 24212*x10^3 + 19787*x1*x11 + 10146*x2*x11 + 62616*x3*x11 + 1432*x4*x11 + 44659*x5*x11 + 52862*x6*x11 + 45479*x7*x11 + 10586*x8*x11 + 13531*x9*x11 + 17497*x10^2*x11 + 41003*x10*x11^2 + 26581*x11^3 + 21286*x1 + 37186*x2 + 2200*x3 + 17914*x4 + 42637*x5 + 5797*x6 + 64409*x7 + 56782*x8 + 61624*x9 + 12857*x10^2 + 23264*x10*x11 + 33426*x11^2 + 3090*x10 + 34811*x11 + 57287,
23525*x1^2 + 40703*x1*x2 + 7586*x2^2 + 26739*x1*x3 + 33254*x2*x3 + 20273*x3^2 + 47362*x1*x4 + 17098*x2*x4 + 53675*x3*x4 + 26413*x4^2 + 29113*x1*x5 + 31239*x2*x5 + 21475*x3*x5 + 3684*x4*x5 + 12814*x5^2 + 31320*x1*x6 + 31303*x2*x6 + 61499*x3*x6 + 8103*x4*x6 + 5442*x5*x6 + 57454*x6^2 + 3035*x1*x7 + 22928*x2*x7 + 54728*x3*x7 + 11020*x4*x7 + 38800*x5*x7 + 28374*x6*x7 + 8882*x7^2 + 62371*x1*x8 + 52231*x2*x8 + 17435*x3*x8 + 18586*x4*x8 + 19115*x5*x8 + 13708*x6*x8 + 42623*x7*x8 + 38950*x8^2 + 7794*x1*x9 + 11937*x2*x9 + 17186*x3*x9 + 628*x4*x9 + 32479*x5*x9 + 42013*x6*x9 + 43477*x7*x9 + 57191*x8*x9 + 34321*x9^2 + 24285*x1*x10^2 + 36383*x2*x10^2 + 20109*x3*x10^2 + 27481*x4*x10^2 + 5464*x5*x10^2 + 7509*x6*x10^2 + 42089*x7*x10^2 + 61908*x8*x10^2 + 60620*x9*x10^2 + 12424*x10^4 + 50328*x1*x10*x11 + 54201*x2*x10*x11 + 5031*x3*x10*x11 + 44904*x4*x10*x11 + 44487*x5*x10*x11 + 50690*x6*x10*x11 + 11726*x7*x10*x11 + 24851*x8*x10*x11 + 924*x9*x10*x11 + 42905*x10^3*x11 + 1819*x1*x11^2 + 22978*x2*x11^2 + 49936*x3*x11^2 + 33680*x4*x11^2 + 48384*x5*x11^2 + 25805*x6*x11^2 + 12781*x7*x11^2 + 1713*x8*x11^2 + 57114*x9*x11^2 + 25913*x10^2*x11^2 + 7711*x10*x11^3 + 60706*x11^4 + 25387*x1*x10 + 63611*x2*x10 + 10726*x3*x10 + 46177*x4*x10 + 5643*x5*x10 + 63900*x6*x10 + 53529*x7*x10 + 51950*x8*x10 + 5570*x9*x10 + 17556*x10^3 + 8202*x1*x11 + 52916*x2*x11 + 34688*x3*x11 + 64087*x4*x11 + 21414*x5*x11 + 33384*x6*x11 + 25374*x7*x11 + 2501*x8*x11 + 33813*x9*x11 + 25314*x10^2*x11 + 7069*x10*x11^2 + 32325*x11^3 + 40411*x1 + 2253*x2 + 43922*x3 + 56905*x4 + 21430*x5 + 25820*x6 + 61761*x7 + 20129*x8 + 61935*x9 + 23682*x10^2 + 112*x10*x11 + 37607*x11^2 + 40435*x10 + 32701*x11 + 48689
]
: