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

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

#list

[
6043*x1^4 + 22651*x1^3*x2 + 14915*x1^2*x2^2 + 52337*x1*x2^3 + 30255*x2^4 + 47026*x1^3*x3 + 47562*x1^2*x2*x3 + 22731*x1*x2^2*x3 + 22595*x2^3*x3 + 53121*x1^2*x3^2 + 37589*x1*x2*x3^2 + 41562*x2^2*x3^2 + 1924*x1*x3^3 + 27075*x2*x3^3 + 2532*x3^4 + 11661*x1^3*x4 + 12941*x1^2*x2*x4 + 22421*x1*x2^2*x4 + 32289*x2^3*x4 + 22710*x1^2*x3*x4 + 37160*x1*x2*x3*x4 + 2148*x2^2*x3*x4 + 22515*x1*x3^2*x4 + 26821*x2*x3^2*x4 + 34800*x3^3*x4 + 33214*x1^2*x4^2 + 38442*x1*x2*x4^2 + 3950*x2^2*x4^2 + 37510*x1*x3*x4^2 + 27635*x2*x3*x4^2 + 847*x3^2*x4^2 + 7141*x1*x4^3 + 57635*x2*x4^3 + 601*x3*x4^3 + 27121*x4^4 + 30731*x1^3*x5 + 6821*x1^2*x2*x5 + 47939*x1*x2^2*x5 + 39518*x2^3*x5 + 65050*x1^2*x3*x5 + 43887*x1*x2*x3*x5 + 41769*x2^2*x3*x5 + 63420*x1*x3^2*x5 + 21124*x2*x3^2*x5 + 4218*x3^3*x5 + 60807*x1^2*x4*x5 + 35794*x1*x2*x4*x5 + 1300*x2^2*x4*x5 + 63195*x1*x3*x4*x5 + 599*x2*x3*x4*x5 + 10361*x3^2*x4*x5 + 65465*x1*x4^2*x5 + 31174*x2*x4^2*x5 + 56782*x3*x4^2*x5 + 44985*x4^3*x5 + 23219*x1^2*x5^2 + 19753*x1*x2*x5^2 + 61084*x2^2*x5^2 + 50398*x1*x3*x5^2 + 16263*x2*x3*x5^2 + 32266*x3^2*x5^2 + 48737*x1*x4*x5^2 + 14862*x2*x4*x5^2 + 44347*x3*x4*x5^2 + 20745*x4^2*x5^2 + 48408*x1*x5^3 + 26993*x2*x5^3 + 33509*x3*x5^3 + 20393*x4*x5^3 + 18516*x5^4 + 62778*x1^3*x6 + 34801*x1^2*x2*x6 + 29276*x1*x2^2*x6 + 30861*x2^3*x6 + 45109*x1^2*x3*x6 + 52201*x1*x2*x3*x6 + 3626*x2^2*x3*x6 + 45018*x1*x3^2*x6 + 21742*x2*x3^2*x6 + 6140*x3^3*x6 + 23667*x1^2*x4*x6 + 24575*x1*x2*x4*x6 + 55427*x2^2*x4*x6 + 10724*x1*x3*x4*x6 + 28344*x2*x3*x4*x6 + 35479*x3^2*x4*x6 + 36135*x1*x4^2*x6 + 5662*x2*x4^2*x6 + 27889*x3*x4^2*x6 + 15392*x4^3*x6 + 10470*x1^2*x5*x6 + 52524*x1*x2*x5*x6 + 28542*x2^2*x5*x6 + 20001*x1*x3*x5*x6 + 44963*x2*x3*x5*x6 + 23958*x3^2*x5*x6 + 63912*x1*x4*x5*x6 + 25143*x2*x4*x5*x6 + 25750*x3*x4*x5*x6 + 44838*x4^2*x5*x6 + 40984*x1*x5^2*x6 + 61347*x2*x5^2*x6 + 9125*x3*x5^2*x6 + 63917*x4*x5^2*x6 + 1697*x5^3*x6 + 40040*x1^2*x6^2 + 2384*x1*x2*x6^2 + 10985*x2^2*x6^2 + 39418*x1*x3*x6^2 + 5997*x2*x3*x6^2 + 55259*x3^2*x6^2 + 53764*x1*x4*x6^2 + 38282*x2*x4*x6^2 + 59269*x3*x4*x6^2 + 16245*x4^2*x6^2 + 54261*x1*x5*x6^2 + 36932*x2*x5*x6^2 + 33897*x3*x5*x6^2 + 38243*x4*x5*x6^2 + 12894*x5^2*x6^2 + 60702*x1*x6^3 + 51193*x2*x6^3 + 36902*x3*x6^3 + 6768*x4*x6^3 + 43127*x5*x6^3 + 56545*x6^4 + 19243*x1^2*x7 + 55201*x1*x2*x7 + 63142*x2^2*x7 + 19261*x1*x3*x7 + 44730*x2*x3*x7 + 56774*x3^2*x7 + 17121*x1*x4*x7 + 59241*x2*x4*x7 + 15675*x3*x4*x7 + 17663*x4^2*x7 + 64598*x1*x5*x7 + 5246*x2*x5*x7 + 29506*x3*x5*x7 + 56214*x4*x5*x7 + 11802*x5^2*x7 + 17486*x1*x6*x7 + 31357*x2*x6*x7 + 55993*x3*x6*x7 + 45543*x4*x6*x7 + 39341*x5*x6*x7 + 12071*x6^2*x7 + 2410*x7^2 + 45067*x1^2*x8 + 8779*x1*x2*x8 + 8295*x2^2*x8 + 7030*x1*x3*x8 + 13913*x2*x3*x8 + 16090*x3^2*x8 + 51453*x1*x4*x8 + 59362*x2*x4*x8 + 58282*x3*x4*x8 + 13114*x4^2*x8 + 1867*x1*x5*x8 + 46115*x2*x5*x8 + 39961*x3*x5*x8 + 17917*x4*x5*x8 + 55898*x5^2*x8 + 8322*x1*x6*x8 + 6553*x2*x6*x8 + 27387*x3*x6*x8 + 35513*x4*x6*x8 + 13064*x5*x6*x8 + 31102*x6^2*x8 + 14086*x7*x8 + 16173*x8^2 + 21702*x1^2*x9 + 17289*x1*x2*x9 + 10130*x2^2*x9 + 58895*x1*x3*x9 + 32453*x2*x3*x9 + 64467*x3^2*x9 + 23487*x1*x4*x9 + 24549*x2*x4*x9 + 39938*x3*x4*x9 + 10240*x4^2*x9 + 36091*x1*x5*x9 + 40405*x2*x5*x9 + 7179*x3*x5*x9 + 12516*x4*x5*x9 + 57446*x5^2*x9 + 58464*x1*x6*x9 + 50630*x2*x6*x9 + 733*x3*x6*x9 + 20191*x4*x6*x9 + 48561*x5*x6*x9 + 59703*x6^2*x9 + 17464*x7*x9 + 19978*x8*x9 + 32121*x9^2 + 26192*x1^2*x10 + 32869*x1*x2*x10 + 8353*x2^2*x10 + 34600*x1*x3*x10 + 20066*x2*x3*x10 + 50509*x3^2*x10 + 32864*x1*x4*x10 + 62714*x2*x4*x10 + 50229*x3*x4*x10 + 19692*x4^2*x10 + 52965*x1*x5*x10 + 1125*x2*x5*x10 + 40051*x3*x5*x10 + 52803*x4*x5*x10 + 26002*x5^2*x10 + 28243*x1*x6*x10 + 31507*x2*x6*x10 + 30699*x3*x6*x10 + 20287*x4*x6*x10 + 43646*x5*x6*x10 + 41329*x6^2*x10 + 23222*x7*x10 + 41248*x8*x10 + 2084*x9*x10 + 843*x10^2 + 60977*x1^2*x11 + 15094*x1*x2*x11 + 47392*x2^2*x11 + 20387*x1*x3*x11 + 36374*x2*x3*x11 + 57334*x3^2*x11 + 49262*x1*x4*x11 + 23256*x2*x4*x11 + 35762*x3*x4*x11 + 28770*x4^2*x11 + 47400*x1*x5*x11 + 40440*x2*x5*x11 + 46533*x3*x5*x11 + 28558*x4*x5*x11 + 5674*x5^2*x11 + 6097*x1*x6*x11 + 65220*x2*x6*x11 + 43449*x3*x6*x11 + 13470*x4*x6*x11 + 32221*x5*x6*x11 + 32607*x6^2*x11 + 19267*x7*x11 + 63702*x8*x11 + 65393*x9*x11 + 37381*x10*x11 + 57814*x11^2 + 29912*x1^2*x12 + 14225*x1*x2*x12 + 49652*x2^2*x12 + 5418*x1*x3*x12 + 42472*x2*x3*x12 + 29520*x3^2*x12 + 51564*x1*x4*x12 + 15890*x2*x4*x12 + 37212*x3*x4*x12 + 14847*x4^2*x12 + 28559*x1*x5*x12 + 54798*x2*x5*x12 + 4411*x3*x5*x12 + 36929*x4*x5*x12 + 22064*x5^2*x12 + 60697*x1*x6*x12 + 48956*x2*x6*x12 + 6009*x3*x6*x12 + 30525*x4*x6*x12 + 4040*x5*x6*x12 + 23227*x6^2*x12 + 60399*x7*x12 + 1191*x8*x12 + 12753*x9*x12 + 26653*x10*x12 + 26906*x11*x12 + 5146*x12^2 + 12935*x1^3 + 53683*x1^2*x2 + 64325*x1*x2^2 + 57714*x2^3 + 30364*x1^2*x3 + 44128*x1*x2*x3 + 2129*x2^2*x3 + 16572*x1*x3^2 + 64379*x2*x3^2 + 58638*x3^3 + 44650*x1^2*x4 + 16915*x1*x2*x4 + 45227*x2^2*x4 + 1405*x1*x3*x4 + 8602*x2*x3*x4 + 61710*x3^2*x4 + 44025*x1*x4^2 + 20073*x2*x4^2 + 53656*x3*x4^2 + 27927*x4^3 + 27988*x1^2*x5 + 11660*x1*x2*x5 + 46590*x2^2*x5 + 6444*x1*x3*x5 + 20949*x2*x3*x5 + 16913*x3^2*x5 + 12227*x1*x4*x5 + 21438*x2*x4*x5 + 51245*x3*x4*x5 + 6920*x4^2*x5 + 30773*x1*x5^2 + 45099*x2*x5^2 + 17500*x3*x5^2 + 36506*x4*x5^2 + 52212*x5^3 + 5911*x1^2*x6 + 45562*x1*x2*x6 + 3166*x2^2*x6 + 13168*x1*x3*x6 + 41372*x2*x3*x6 + 44154*x3^2*x6 + 18700*x1*x4*x6 + 50070*x2*x4*x6 + 33804*x3*x4*x6 + 50239*x4^2*x6 + 53976*x1*x5*x6 + 13046*x2*x5*x6 + 62000*x3*x5*x6 + 62573*x4*x5*x6 + 9247*x5^2*x6 + 27775*x1*x6^2 + 10454*x2*x6^2 + 64414*x3*x6^2 + 34510*x4*x6^2 + 51957*x5*x6^2 + 31802*x6^3 + 19138*x1*x7 + 61471*x2*x7 + 51751*x3*x7 + 27674*x4*x7 + 11788*x5*x7 + 34920*x6*x7 + 55053*x1*x8 + 46997*x2*x8 + 29505*x3*x8 + 6117*x4*x8 + 27095*x5*x8 + 7298*x6*x8 + 6211*x1*x9 + 46978*x2*x9 + 23125*x3*x9 + 4678*x4*x9 + 4047*x5*x9 + 64154*x6*x9 + 12027*x1*x10 + 64887*x2*x10 + 13281*x3*x10 + 30793*x4*x10 + 44441*x5*x10 + 53383*x6*x10 + 48759*x1*x11 + 18087*x2*x11 + 24746*x3*x11 + 37042*x4*x11 + 51201*x5*x11 + 65108*x6*x11 + 31471*x1*x12 + 6113*x2*x12 + 52373*x3*x12 + 12829*x4*x12 + 28295*x5*x12 + 14497*x6*x12 + 32222*x1^2 + 29936*x1*x2 + 49557*x2^2 + 48565*x1*x3 + 25803*x2*x3 + 132*x3^2 + 43472*x1*x4 + 7218*x2*x4 + 19530*x3*x4 + 22746*x4^2 + 15918*x1*x5 + 38*x2*x5 + 16407*x3*x5 + 36870*x4*x5 + 40354*x5^2 + 14997*x1*x6 + 12657*x2*x6 + 37027*x3*x6 + 63937*x4*x6 + 21568*x5*x6 + 48907*x6^2 + 4956*x7 + 10096*x8 + 25836*x9 + 2521*x10 + 23474*x11 + 4336*x12 + 6341*x1 + 21242*x2 + 29437*x3 + 6278*x4 + 4431*x5 + 43088*x6 + 63806,
25764*x1^4 + 17618*x1^3*x2 + 4094*x1^2*x2^2 + 45099*x1*x2^3 + 29686*x2^4 + 1426*x1^3*x3 + 21556*x1^2*x2*x3 + 52414*x1*x2^2*x3 + 57714*x2^3*x3 + 51583*x1^2*x3^2 + 38301*x1*x2*x3^2 + 39446*x2^2*x3^2 + 31884*x1*x3^3 + 46902*x2*x3^3 + 24251*x3^4 + 49574*x1^3*x4 + 21520*x1^2*x2*x4 + 2967*x1*x2^2*x4 + 7782*x2^3*x4 + 23108*x1^2*x3*x4 + 32115*x1*x2*x3*x4 + 23862*x2^2*x3*x4 + 56785*x1*x3^2*x4 + 2698*x2*x3^2*x4 + 62763*x3^3*x4 + 26745*x1^2*x4^2 + 41262*x1*x2*x4^2 + 54003*x2^2*x4^2 + 27349*x1*x3*x4^2 + 24817*x2*x3*x4^2 + 36746*x3^2*x4^2 + 48171*x1*x4^3 + 15768*x2*x4^3 + 29972*x3*x4^3 + 786*x4^4 + 57013*x1^3*x5 + 11944*x1^2*x2*x5 + 32677*x1*x2^2*x5 + 57856*x2^3*x5 + 37192*x1^2*x3*x5 + 53956*x1*x2*x3*x5 + 13485*x2^2*x3*x5 + 26641*x1*x3^2*x5 + 50514*x2*x3^2*x5 + 6398*x3^3*x5 + 45883*x1^2*x4*x5 + 21241*x1*x2*x4*x5 + 43993*x2^2*x4*x5 + 2461*x1*x3*x4*x5 + 51321*x2*x3*x4*x5 + 3045*x3^2*x4*x5 + 35299*x1*x4^2*x5 + 49337*x2*x4^2*x5 + 49162*x3*x4^2*x5 + 56794*x4^3*x5 + 22610*x1^2*x5^2 + 42079*x1*x2*x5^2 + 21866*x2^2*x5^2 + 1650*x1*x3*x5^2 + 56103*x2*x3*x5^2 + 37479*x3^2*x5^2 + 19163*x1*x4*x5^2 + 60267*x2*x4*x5^2 + 15705*x3*x4*x5^2 + 20936*x4^2*x5^2 + 52002*x1*x5^3 + 58232*x2*x5^3 + 48658*x3*x5^3 + 28270*x4*x5^3 + 9534*x5^4 + 31584*x1^3*x6 + 59225*x1^2*x2*x6 + 39212*x1*x2^2*x6 + 16155*x2^3*x6 + 54062*x1^2*x3*x6 + 30032*x1*x2*x3*x6 + 5117*x2^2*x3*x6 + 47140*x1*x3^2*x6 + 7230*x2*x3^2*x6 + 31202*x3^3*x6 + 33694*x1^2*x4*x6 + 12541*x1*x2*x4*x6 + 25102*x2^2*x4*x6 + 43088*x1*x3*x4*x6 + 33354*x2*x3*x4*x6 + 53180*x3^2*x4*x6 + 52758*x1*x4^2*x6 + 6352*x2*x4^2*x6 + 53334*x3*x4^2*x6 + 7578*x4^3*x6 + 23211*x1^2*x5*x6 + 19884*x1*x2*x5*x6 + 36399*x2^2*x5*x6 + 40720*x1*x3*x5*x6 + 24506*x2*x3*x5*x6 + 41277*x3^2*x5*x6 + 17510*x1*x4*x5*x6 + 2076*x2*x4*x5*x6 + 29641*x3*x4*x5*x6 + 61441*x4^2*x5*x6 + 44748*x1*x5^2*x6 + 48888*x2*x5^2*x6 + 40866*x3*x5^2*x6 + 39401*x4*x5^2*x6 + 27185*x5^3*x6 + 62374*x1^2*x6^2 + 45086*x1*x2*x6^2 + 29434*x2^2*x6^2 + 25126*x1*x3*x6^2 + 6200*x2*x3*x6^2 + 7535*x3^2*x6^2 + 56439*x1*x4*x6^2 + 16361*x2*x4*x6^2 + 328*x3*x4*x6^2 + 21447*x4^2*x6^2 + 53392*x1*x5*x6^2 + 28830*x2*x5*x6^2 + 30862*x3*x5*x6^2 + 62075*x4*x5*x6^2 + 6585*x5^2*x6^2 + 18297*x1*x6^3 + 39968*x2*x6^3 + 48515*x3*x6^3 + 22701*x4*x6^3 + 4616*x5*x6^3 + 64680*x6^4 + 47414*x1^2*x7 + 2795*x1*x2*x7 + 53161*x2^2*x7 + 847*x1*x3*x7 + 41256*x2*x3*x7 + 57511*x3^2*x7 + 43749*x1*x4*x7 + 50940*x2*x4*x7 + 30435*x3*x4*x7 + 42038*x4^2*x7 + 40117*x1*x5*x7 + 12465*x2*x5*x7 + 58157*x3*x5*x7 + 30720*x4*x5*x7 + 21496*x5^2*x7 + 62554*x1*x6*x7 + 57985*x2*x6*x7 + 41456*x3*x6*x7 + 55959*x4*x6*x7 + 12751*x5*x6*x7 + 34934*x6^2*x7 + 64593*x7^2 + 24843*x1^2*x8 + 10800*x1*x2*x8 + 1751*x2^2*x8 + 7518*x1*x3*x8 + 53434*x2*x3*x8 + 55261*x3^2*x8 + 18528*x1*x4*x8 + 16029*x2*x4*x8 + 20007*x3*x4*x8 + 33324*x4^2*x8 + 30678*x1*x5*x8 + 6910*x2*x5*x8 + 59819*x3*x5*x8 + 11975*x4*x5*x8 + 58878*x5^2*x8 + 42663*x1*x6*x8 + 38857*x2*x6*x8 + 6766*x3*x6*x8 + 54488*x4*x6*x8 + 27657*x5*x6*x8 + 60844*x6^2*x8 + 34983*x7*x8 + 8740*x8^2 + 3896*x1^2*x9 + 29303*x1*x2*x9 + 31232*x2^2*x9 + 57995*x1*x3*x9 + 45052*x2*x3*x9 + 55269*x3^2*x9 + 57135*x1*x4*x9 + 46473*x2*x4*x9 + 32460*x3*x4*x9 + 47460*x4^2*x9 + 50658*x1*x5*x9 + 53102*x2*x5*x9 + 37239*x3*x5*x9 + 10114*x4*x5*x9 + 48294*x5^2*x9 + 48238*x1*x6*x9 + 15166*x2*x6*x9 + 62463*x3*x6*x9 + 25332*x4*x6*x9 + 32525*x5*x6*x9 + 22166*x6^2*x9 + 15924*x7*x9 + 26773*x8*x9 + 38146*x9^2 + 2438*x1^2*x10 + 30373*x1*x2*x10 + 41540*x2^2*x10 + 43181*x1*x3*x10 + 38467*x2*x3*x10 + 42828*x3^2*x10 + 23006*x1*x4*x10 + 10537*x2*x4*x10 + 47622*x3*x4*x10 + 9874*x4^2*x10 + 47322*x1*x5*x10 + 53099*x2*x5*x10 + 49749*x3*x5*x10 + 44623*x4*x5*x10 + 5770*x5^2*x10 + 12843*x1*x6*x10 + 47897*x2*x6*x10 + 21013*x3*x6*x10 + 35753*x4*x6*x10 + 48143*x5*x6*x10 + 62110*x6^2*x10 + 29512*x7*x10 + 2617*x8*x10 + 46215*x9*x10 + 30239*x10^2 + 55068*x1^2*x11 + 2448*x1*x2*x11 + 36160*x2^2*x11 + 10705*x1*x3*x11 + 21955*x2*x3*x11 + 55507*x3^2*x11 + 50598*x1*x4*x11 + 11552*x2*x4*x11 + 15181*x3*x4*x11 + 39323*x4^2*x11 + 29348*x1*x5*x11 + 38683*x2*x5*x11 + 16001*x3*x5*x11 + 13065*x4*x5*x11 + 45278*x5^2*x11 + 23930*x1*x6*x11 + 27446*x2*x6*x11 + 28332*x3*x6*x11 + 45293*x4*x6*x11 + 55676*x5*x6*x11 + 41958*x6^2*x11 + 25972*x7*x11 + 36048*x8*x11 + 55560*x9*x11 + 42257*x10*x11 + 16276*x11^2 + 20113*x1^2*x12 + 14641*x1*x2*x12 + 47938*x2^2*x12 + 18428*x1*x3*x12 + 31208*x2*x3*x12 + 58010*x3^2*x12 + 38702*x1*x4*x12 + 33010*x2*x4*x12 + 55978*x3*x4*x12 + 17009*x4^2*x12 + 65139*x1*x5*x12 + 27009*x2*x5*x12 + 22158*x3*x5*x12 + 28368*x4*x5*x12 + 45052*x5^2*x12 + 22361*x1*x6*x12 + 38042*x2*x6*x12 + 21640*x3*x6*x12 + 64379*x4*x6*x12 + 23231*x5*x6*x12 + 27017*x6^2*x12 + 8472*x7*x12 + 36291*x8*x12 + 46562*x9*x12 + 676*x10*x12 + 26793*x11*x12 + 52796*x12^2 + 46597*x1^3 + 5686*x1^2*x2 + 16177*x1*x2^2 + 43976*x2^3 + 19217*x1^2*x3 + 35146*x1*x2*x3 + 38743*x2^2*x3 + 30373*x1*x3^2 + 60988*x2*x3^2 + 27153*x3^3 + 43685*x1^2*x4 + 16074*x1*x2*x4 + 40136*x2^2*x4 + 65330*x1*x3*x4 + 624*x2*x3*x4 + 2050*x3^2*x4 + 41548*x1*x4^2 + 22453*x2*x4^2 + 48868*x3*x4^2 + 44112*x4^3 + 5864*x1^2*x5 + 60040*x1*x2*x5 + 35064*x2^2*x5 + 49285*x1*x3*x5 + 56725*x2*x3*x5 + 52001*x3^2*x5 + 42692*x1*x4*x5 + 5222*x2*x4*x5 + 62527*x3*x4*x5 + 12768*x4^2*x5 + 12416*x1*x5^2 + 37836*x2*x5^2 + 39327*x3*x5^2 + 47974*x4*x5^2 + 12877*x5^3 + 9637*x1^2*x6 + 27485*x1*x2*x6 + 36235*x2^2*x6 + 59150*x1*x3*x6 + 57906*x2*x3*x6 + 25894*x3^2*x6 + 17464*x1*x4*x6 + 27961*x2*x4*x6 + 22895*x3*x4*x6 + 16237*x4^2*x6 + 62026*x1*x5*x6 + 49760*x2*x5*x6 + 48396*x3*x5*x6 + 49125*x4*x5*x6 + 234*x5^2*x6 + 24606*x1*x6^2 + 55960*x2*x6^2 + 45618*x3*x6^2 + 2386*x4*x6^2 + 6794*x5*x6^2 + 19104*x6^3 + 10159*x1*x7 + 2474*x2*x7 + 13755*x3*x7 + 48648*x4*x7 + 57834*x5*x7 + 34415*x6*x7 + 55051*x1*x8 + 297*x2*x8 + 31562*x3*x8 + 65182*x4*x8 + 60620*x5*x8 + 17513*x6*x8 + 63823*x1*x9 + 51617*x2*x9 + 3695*x3*x9 + 55951*x4*x9 + 49304*x5*x9 + 29618*x6*x9 + 28338*x1*x10 + 12654*x2*x10 + 53079*x3*x10 + 35732*x4*x10 + 60451*x5*x10 + 44809*x6*x10 + 11260*x1*x11 + 30148*x2*x11 + 17613*x3*x11 + 60772*x4*x11 + 31476*x5*x11 + 3901*x6*x11 + 2432*x1*x12 + 54528*x2*x12 + 33958*x3*x12 + 50094*x4*x12 + 59476*x5*x12 + 25161*x6*x12 + 16900*x1^2 + 2741*x1*x2 + 21762*x2^2 + 42020*x1*x3 + 55094*x2*x3 + 1191*x3^2 + 55542*x1*x4 + 8782*x2*x4 + 45520*x3*x4 + 25970*x4^2 + 9723*x1*x5 + 26703*x2*x5 + 21422*x3*x5 + 19854*x4*x5 + 12142*x5^2 + 38448*x1*x6 + 13183*x2*x6 + 65486*x3*x6 + 39921*x4*x6 + 44751*x5*x6 + 53721*x6^2 + 4979*x7 + 64617*x8 + 43772*x9 + 46000*x10 + 40768*x11 + 33234*x12 + 14033*x1 + 51383*x2 + 29950*x3 + 16664*x4 + 27517*x5 + 21080*x6 + 39472,
14206*x1^4 + 46602*x1^3*x2 + 54096*x1^2*x2^2 + 22231*x1*x2^3 + 15534*x2^4 + 9747*x1^3*x3 + 45591*x1^2*x2*x3 + 47084*x1*x2^2*x3 + 41133*x2^3*x3 + 33173*x1^2*x3^2 + 51870*x1*x2*x3^2 + 64425*x2^2*x3^2 + 63786*x1*x3^3 + 30557*x2*x3^3 + 61957*x3^4 + 52052*x1^3*x4 + 25100*x1^2*x2*x4 + 38902*x1*x2^2*x4 + 5390*x2^3*x4 + 16293*x1^2*x3*x4 + 4144*x1*x2*x3*x4 + 46303*x2^2*x3*x4 + 27195*x1*x3^2*x4 + 45684*x2*x3^2*x4 + 3108*x3^3*x4 + 41438*x1^2*x4^2 + 24863*x1*x2*x4^2 + 40137*x2^2*x4^2 + 35529*x1*x3*x4^2 + 18372*x2*x3*x4^2 + 6135*x3^2*x4^2 + 63044*x1*x4^3 + 31666*x2*x4^3 + 55744*x3*x4^3 + 40300*x4^4 + 11766*x1^3*x5 + 19032*x1^2*x2*x5 + 17742*x1*x2^2*x5 + 53844*x2^3*x5 + 33101*x1^2*x3*x5 + 5024*x1*x2*x3*x5 + 55309*x2^2*x3*x5 + 6328*x1*x3^2*x5 + 54673*x2*x3^2*x5 + 39432*x3^3*x5 + 29473*x1^2*x4*x5 + 42588*x1*x2*x4*x5 + 15812*x2^2*x4*x5 + 20683*x1*x3*x4*x5 + 36909*x2*x3*x4*x5 + 8387*x3^2*x4*x5 + 32642*x1*x4^2*x5 + 61842*x2*x4^2*x5 + 16883*x3*x4^2*x5 + 30830*x4^3*x5 + 17088*x1^2*x5^2 + 20141*x1*x2*x5^2 + 17944*x2^2*x5^2 + 24575*x1*x3*x5^2 + 5038*x2*x3*x5^2 + 61073*x3^2*x5^2 + 31154*x1*x4*x5^2 + 61578*x2*x4*x5^2 + 3244*x3*x4*x5^2 + 50721*x4^2*x5^2 + 3828*x1*x5^3 + 17874*x2*x5^3 + 54382*x3*x5^3 + 26341*x4*x5^3 + 15244*x5^4 + 15880*x1^3*x6 + 9348*x1^2*x2*x6 + 7320*x1*x2^2*x6 + 20613*x2^3*x6 + 2254*x1^2*x3*x6 + 59065*x1*x2*x3*x6 + 29584*x2^2*x3*x6 + 2632*x1*x3^2*x6 + 17369*x2*x3^2*x6 + 20995*x3^3*x6 + 10342*x1^2*x4*x6 + 11216*x1*x2*x4*x6 + 52634*x2^2*x4*x6 + 11830*x1*x3*x4*x6 + 62649*x2*x3*x4*x6 + 61079*x3^2*x4*x6 + 28011*x1*x4^2*x6 + 12045*x2*x4^2*x6 + 57111*x3*x4^2*x6 + 4731*x4^3*x6 + 21011*x1^2*x5*x6 + 19030*x1*x2*x5*x6 + 37800*x2^2*x5*x6 + 17731*x1*x3*x5*x6 + 62941*x2*x3*x5*x6 + 34517*x3^2*x5*x6 + 5303*x1*x4*x5*x6 + 58297*x2*x4*x5*x6 + 35339*x3*x4*x5*x6 + 2390*x4^2*x5*x6 + 34995*x1*x5^2*x6 + 30409*x2*x5^2*x6 + 1835*x3*x5^2*x6 + 29217*x4*x5^2*x6 + 57436*x5^3*x6 + 37728*x1^2*x6^2 + 12653*x1*x2*x6^2 + 46091*x2^2*x6^2 + 62848*x1*x3*x6^2 + 5783*x2*x3*x6^2 + 19908*x3^2*x6^2 + 56749*x1*x4*x6^2 + 1806*x2*x4*x6^2 + 58347*x3*x4*x6^2 + 26782*x4^2*x6^2 + 49671*x1*x5*x6^2 + 3445*x2*x5*x6^2 + 62521*x3*x5*x6^2 + 34306*x4*x5*x6^2 + 36545*x5^2*x6^2 + 43327*x1*x6^3 + 60961*x2*x6^3 + 36230*x3*x6^3 + 14937*x4*x6^3 + 16959*x5*x6^3 + 51509*x6^4 + 50347*x1^2*x7 + 58367*x1*x2*x7 + 52573*x2^2*x7 + 32208*x1*x3*x7 + 4508*x2*x3*x7 + 7261*x3^2*x7 + 19050*x1*x4*x7 + 13472*x2*x4*x7 + 22155*x3*x4*x7 + 2063*x4^2*x7 + 48636*x1*x5*x7 + 32211*x2*x5*x7 + 21056*x3*x5*x7 + 7041*x4*x5*x7 + 537*x5^2*x7 + 57607*x1*x6*x7 + 41694*x2*x6*x7 + 13195*x3*x6*x7 + 54104*x4*x6*x7 + 4399*x5*x6*x7 + 64097*x6^2*x7 + 18043*x7^2 + 50804*x1^2*x8 + 18677*x1*x2*x8 + 4653*x2^2*x8 + 55087*x1*x3*x8 + 23180*x2*x3*x8 + 2351*x3^2*x8 + 49591*x1*x4*x8 + 28497*x2*x4*x8 + 7085*x3*x4*x8 + 63823*x4^2*x8 + 61623*x1*x5*x8 + 25006*x2*x5*x8 + 31835*x3*x5*x8 + 48734*x4*x5*x8 + 33639*x5^2*x8 + 61775*x1*x6*x8 + 10802*x2*x6*x8 + 29575*x3*x6*x8 + 11032*x4*x6*x8 + 13893*x5*x6*x8 + 7213*x6^2*x8 + 18197*x7*x8 + 1907*x8^2 + 31505*x1^2*x9 + 50587*x1*x2*x9 + 53506*x2^2*x9 + 51158*x1*x3*x9 + 63054*x2*x3*x9 + 52845*x3^2*x9 + 56205*x1*x4*x9 + 37340*x2*x4*x9 + 49915*x3*x4*x9 + 49070*x4^2*x9 + 33313*x1*x5*x9 + 33135*x2*x5*x9 + 46156*x3*x5*x9 + 9418*x4*x5*x9 + 58293*x5^2*x9 + 4821*x1*x6*x9 + 37870*x2*x6*x9 + 39755*x3*x6*x9 + 15852*x4*x6*x9 + 7547*x5*x6*x9 + 17473*x6^2*x9 + 50397*x7*x9 + 63888*x8*x9 + 18906*x9^2 + 13681*x1^2*x10 + 58756*x1*x2*x10 + 24389*x2^2*x10 + 33071*x1*x3*x10 + 15084*x2*x3*x10 + 32004*x3^2*x10 + 41104*x1*x4*x10 + 6975*x2*x4*x10 + 56131*x3*x4*x10 + 64548*x4^2*x10 + 39659*x1*x5*x10 + 36048*x2*x5*x10 + 42861*x3*x5*x10 + 10789*x4*x5*x10 + 12269*x5^2*x10 + 10051*x1*x6*x10 + 49885*x2*x6*x10 + 59247*x3*x6*x10 + 877*x4*x6*x10 + 42492*x5*x6*x10 + 10119*x6^2*x10 + 61419*x7*x10 + 32516*x8*x10 + 47565*x9*x10 + 64335*x10^2 + 53518*x1^2*x11 + 1341*x1*x2*x11 + 11910*x2^2*x11 + 44151*x1*x3*x11 + 49490*x2*x3*x11 + 20068*x3^2*x11 + 59331*x1*x4*x11 + 22885*x2*x4*x11 + 52785*x3*x4*x11 + 46994*x4^2*x11 + 870*x1*x5*x11 + 22553*x2*x5*x11 + 21798*x3*x5*x11 + 58136*x4*x5*x11 + 17313*x5^2*x11 + 8884*x1*x6*x11 + 2065*x2*x6*x11 + 16664*x3*x6*x11 + 20448*x4*x6*x11 + 60509*x5*x6*x11 + 21069*x6^2*x11 + 43260*x7*x11 + 23983*x8*x11 + 59821*x9*x11 + 12625*x10*x11 + 47665*x11^2 + 61623*x1^2*x12 + 8411*x1*x2*x12 + 25772*x2^2*x12 + 25206*x1*x3*x12 + 28391*x2*x3*x12 + 44080*x3^2*x12 + 45052*x1*x4*x12 + 26767*x2*x4*x12 + 13924*x3*x4*x12 + 10252*x4^2*x12 + 48144*x1*x5*x12 + 17346*x2*x5*x12 + 42530*x3*x5*x12 + 35090*x4*x5*x12 + 51992*x5^2*x12 + 16901*x1*x6*x12 + 64057*x2*x6*x12 + 4543*x3*x6*x12 + 8267*x4*x6*x12 + 29938*x5*x6*x12 + 35095*x6^2*x12 + 26097*x7*x12 + 44296*x8*x12 + 16606*x9*x12 + 24787*x10*x12 + 5845*x11*x12 + 60064*x12^2 + 62862*x1^3 + 18291*x1^2*x2 + 56480*x1*x2^2 + 38656*x2^3 + 54104*x1^2*x3 + 41967*x1*x2*x3 + 10706*x2^2*x3 + 1243*x1*x3^2 + 3868*x2*x3^2 + 42924*x3^3 + 15408*x1^2*x4 + 21251*x1*x2*x4 + 24723*x2^2*x4 + 53125*x1*x3*x4 + 49519*x2*x3*x4 + 5976*x3^2*x4 + 30301*x1*x4^2 + 6573*x2*x4^2 + 42439*x3*x4^2 + 63496*x4^3 + 35120*x1^2*x5 + 50414*x1*x2*x5 + 20484*x2^2*x5 + 63828*x1*x3*x5 + 5072*x2*x3*x5 + 18353*x3^2*x5 + 57721*x1*x4*x5 + 41551*x2*x4*x5 + 55314*x3*x4*x5 + 19706*x4^2*x5 + 42232*x1*x5^2 + 3984*x2*x5^2 + 27211*x3*x5^2 + 43815*x4*x5^2 + 48399*x5^3 + 15265*x1^2*x6 + 45969*x1*x2*x6 + 47258*x2^2*x6 + 15327*x1*x3*x6 + 1773*x2*x3*x6 + 41484*x3^2*x6 + 41125*x1*x4*x6 + 41570*x2*x4*x6 + 47537*x3*x4*x6 + 47160*x4^2*x6 + 53974*x1*x5*x6 + 611*x2*x5*x6 + 30082*x3*x5*x6 + 44136*x4*x5*x6 + 55107*x5^2*x6 + 64226*x1*x6^2 + 47215*x2*x6^2 + 38527*x3*x6^2 + 45627*x4*x6^2 + 41870*x5*x6^2 + 64891*x6^3 + 43408*x1*x7 + 57962*x2*x7 + 38202*x3*x7 + 26086*x4*x7 + 8557*x5*x7 + 41096*x6*x7 + 30421*x1*x8 + 65277*x2*x8 + 44402*x3*x8 + 22080*x4*x8 + 31229*x5*x8 + 65003*x6*x8 + 59855*x1*x9 + 5688*x2*x9 + 39200*x3*x9 + 40819*x4*x9 + 26763*x5*x9 + 8555*x6*x9 + 4860*x1*x10 + 60324*x2*x10 + 18112*x3*x10 + 21018*x4*x10 + 51013*x5*x10 + 58427*x6*x10 + 2368*x1*x11 + 39854*x2*x11 + 13688*x3*x11 + 46178*x4*x11 + 29983*x5*x11 + 13307*x6*x11 + 43340*x1*x12 + 12531*x2*x12 + 35594*x3*x12 + 35702*x4*x12 + 48163*x5*x12 + 14929*x6*x12 + 17332*x1^2 + 455*x1*x2 + 36018*x2^2 + 4941*x1*x3 + 37009*x2*x3 + 3422*x3^2 + 13260*x1*x4 + 44785*x2*x4 + 25695*x3*x4 + 21671*x4^2 + 23997*x1*x5 + 5536*x2*x5 + 14371*x3*x5 + 31646*x4*x5 + 2291*x5^2 + 55795*x1*x6 + 54196*x2*x6 + 8404*x3*x6 + 26965*x4*x6 + 60886*x5*x6 + 37641*x6^2 + 20595*x7 + 52540*x8 + 29770*x9 + 30048*x10 + 11657*x11 + 62147*x12 + 16759*x1 + 63229*x2 + 61357*x3 + 11503*x4 + 55922*x5 + 59278*x6 + 6542,
48299*x1^4 + 59723*x1^3*x2 + 34444*x1^2*x2^2 + 8160*x1*x2^3 + 27542*x2^4 + 38710*x1^3*x3 + 57690*x1^2*x2*x3 + 24767*x1*x2^2*x3 + 54072*x2^3*x3 + 57847*x1^2*x3^2 + 29790*x1*x2*x3^2 + 51492*x2^2*x3^2 + 19709*x1*x3^3 + 49261*x2*x3^3 + 42903*x3^4 + 43080*x1^3*x4 + 14564*x1^2*x2*x4 + 38035*x1*x2^2*x4 + 27896*x2^3*x4 + 46526*x1^2*x3*x4 + 61108*x1*x2*x3*x4 + 14702*x2^2*x3*x4 + 19020*x1*x3^2*x4 + 16070*x2*x3^2*x4 + 37937*x3^3*x4 + 28471*x1^2*x4^2 + 27838*x1*x2*x4^2 + 38860*x2^2*x4^2 + 55684*x1*x3*x4^2 + 6822*x2*x3*x4^2 + 10912*x3^2*x4^2 + 34303*x1*x4^3 + 885*x2*x4^3 + 62641*x3*x4^3 + 37312*x4^4 + 30121*x1^3*x5 + 39763*x1^2*x2*x5 + 48219*x1*x2^2*x5 + 42565*x2^3*x5 + 9099*x1^2*x3*x5 + 22193*x1*x2*x3*x5 + 15558*x2^2*x3*x5 + 20120*x1*x3^2*x5 + 27943*x2*x3^2*x5 + 39195*x3^3*x5 + 27152*x1^2*x4*x5 + 58726*x1*x2*x4*x5 + 6795*x2^2*x4*x5 + 64970*x1*x3*x4*x5 + 64305*x2*x3*x4*x5 + 33867*x3^2*x4*x5 + 51358*x1*x4^2*x5 + 19467*x2*x4^2*x5 + 63158*x3*x4^2*x5 + 48628*x4^3*x5 + 43704*x1^2*x5^2 + 12628*x1*x2*x5^2 + 7532*x2^2*x5^2 + 21245*x1*x3*x5^2 + 16127*x2*x3*x5^2 + 12665*x3^2*x5^2 + 60332*x1*x4*x5^2 + 38628*x2*x4*x5^2 + 26942*x3*x4*x5^2 + 4711*x4^2*x5^2 + 54429*x1*x5^3 + 49990*x2*x5^3 + 30414*x3*x5^3 + 31523*x4*x5^3 + 48960*x5^4 + 12433*x1^3*x6 + 50636*x1^2*x2*x6 + 30205*x1*x2^2*x6 + 34128*x2^3*x6 + 37899*x1^2*x3*x6 + 39768*x1*x2*x3*x6 + 36607*x2^2*x3*x6 + 8958*x1*x3^2*x6 + 25661*x2*x3^2*x6 + 19400*x3^3*x6 + 36661*x1^2*x4*x6 + 7253*x1*x2*x4*x6 + 45753*x2^2*x4*x6 + 63436*x1*x3*x4*x6 + 30357*x2*x3*x4*x6 + 27992*x3^2*x4*x6 + 4054*x1*x4^2*x6 + 36071*x2*x4^2*x6 + 19823*x3*x4^2*x6 + 60429*x4^3*x6 + 8831*x1^2*x5*x6 + 29049*x1*x2*x5*x6 + 21821*x2^2*x5*x6 + 22655*x1*x3*x5*x6 + 63324*x2*x3*x5*x6 + 62872*x3^2*x5*x6 + 39447*x1*x4*x5*x6 + 25229*x2*x4*x5*x6 + 6863*x3*x4*x5*x6 + 41497*x4^2*x5*x6 + 29903*x1*x5^2*x6 + 54277*x2*x5^2*x6 + 12760*x3*x5^2*x6 + 58367*x4*x5^2*x6 + 43812*x5^3*x6 + 37412*x1^2*x6^2 + 29929*x1*x2*x6^2 + 3217*x2^2*x6^2 + 10516*x1*x3*x6^2 + 2014*x2*x3*x6^2 + 41013*x3^2*x6^2 + 38793*x1*x4*x6^2 + 40863*x2*x4*x6^2 + 26439*x3*x4*x6^2 + 63087*x4^2*x6^2 + 32046*x1*x5*x6^2 + 1844*x2*x5*x6^2 + 11635*x3*x5*x6^2 + 37268*x4*x5*x6^2 + 62558*x5^2*x6^2 + 45972*x1*x6^3 + 53903*x2*x6^3 + 33033*x3*x6^3 + 6511*x4*x6^3 + 30866*x5*x6^3 + 43423*x6^4 + 44416*x1^2*x7 + 55087*x1*x2*x7 + 28438*x2^2*x7 + 64970*x1*x3*x7 + 24157*x2*x3*x7 + 57621*x3^2*x7 + 44844*x1*x4*x7 + 29328*x2*x4*x7 + 9152*x3*x4*x7 + 24404*x4^2*x7 + 65419*x1*x5*x7 + 18323*x2*x5*x7 + 13884*x3*x5*x7 + 35197*x4*x5*x7 + 15479*x5^2*x7 + 38867*x1*x6*x7 + 16289*x2*x6*x7 + 36017*x3*x6*x7 + 37695*x4*x6*x7 + 11083*x5*x6*x7 + 38953*x6^2*x7 + 25997*x7^2 + 19723*x1^2*x8 + 823*x1*x2*x8 + 54520*x2^2*x8 + 25670*x1*x3*x8 + 10383*x2*x3*x8 + 22768*x3^2*x8 + 5225*x1*x4*x8 + 38838*x2*x4*x8 + 21048*x3*x4*x8 + 16246*x4^2*x8 + 31624*x1*x5*x8 + 57877*x2*x5*x8 + 54288*x3*x5*x8 + 34418*x4*x5*x8 + 33542*x5^2*x8 + 40782*x1*x6*x8 + 37768*x2*x6*x8 + 3366*x3*x6*x8 + 34211*x4*x6*x8 + 3332*x5*x6*x8 + 19833*x6^2*x8 + 29401*x7*x8 + 58880*x8^2 + 28580*x1^2*x9 + 34425*x1*x2*x9 + 59953*x2^2*x9 + 53416*x1*x3*x9 + 47375*x2*x3*x9 + 64539*x3^2*x9 + 51027*x1*x4*x9 + 13226*x2*x4*x9 + 6512*x3*x4*x9 + 9805*x4^2*x9 + 59916*x1*x5*x9 + 13855*x2*x5*x9 + 33439*x3*x5*x9 + 33082*x4*x5*x9 + 3068*x5^2*x9 + 2395*x1*x6*x9 + 34599*x2*x6*x9 + 47130*x3*x6*x9 + 62101*x4*x6*x9 + 17295*x5*x6*x9 + 32400*x6^2*x9 + 35964*x7*x9 + 22773*x8*x9 + 53493*x9^2 + 12200*x1^2*x10 + 38138*x1*x2*x10 + 37039*x2^2*x10 + 55516*x1*x3*x10 + 61558*x2*x3*x10 + 53976*x3^2*x10 + 9790*x1*x4*x10 + 14294*x2*x4*x10 + 25395*x3*x4*x10 + 24875*x4^2*x10 + 12097*x1*x5*x10 + 8040*x2*x5*x10 + 22281*x3*x5*x10 + 46004*x4*x5*x10 + 61048*x5^2*x10 + 55602*x1*x6*x10 + 23135*x2*x6*x10 + 13428*x3*x6*x10 + 25973*x4*x6*x10 + 27324*x5*x6*x10 + 40662*x6^2*x10 + 43783*x7*x10 + 60646*x8*x10 + 39366*x9*x10 + 15349*x10^2 + 45533*x1^2*x11 + 21663*x1*x2*x11 + 35489*x2^2*x11 + 42833*x1*x3*x11 + 31104*x2*x3*x11 + 53099*x3^2*x11 + 31446*x1*x4*x11 + 17716*x2*x4*x11 + 10197*x3*x4*x11 + 41853*x4^2*x11 + 7647*x1*x5*x11 + 44148*x2*x5*x11 + 58978*x3*x5*x11 + 61861*x4*x5*x11 + 773*x5^2*x11 + 37650*x1*x6*x11 + 49589*x2*x6*x11 + 31051*x3*x6*x11 + 42303*x4*x6*x11 + 41666*x5*x6*x11 + 8994*x6^2*x11 + 16069*x7*x11 + 59443*x8*x11 + 34159*x9*x11 + 60907*x10*x11 + 13800*x11^2 + 21498*x1^2*x12 + 171*x1*x2*x12 + 35550*x2^2*x12 + 25827*x1*x3*x12 + 35802*x2*x3*x12 + 20632*x3^2*x12 + 4033*x1*x4*x12 + 26352*x2*x4*x12 + 54769*x3*x4*x12 + 38967*x4^2*x12 + 55686*x1*x5*x12 + 29841*x2*x5*x12 + 58626*x3*x5*x12 + 18050*x4*x5*x12 + 903*x5^2*x12 + 55505*x1*x6*x12 + 13454*x2*x6*x12 + 29519*x3*x6*x12 + 3633*x4*x6*x12 + 6503*x5*x6*x12 + 9024*x6^2*x12 + 36471*x7*x12 + 11011*x8*x12 + 46530*x9*x12 + 7504*x10*x12 + 41545*x11*x12 + 59375*x12^2 + 42814*x1^3 + 53966*x1^2*x2 + 41132*x1*x2^2 + 43449*x2^3 + 19743*x1^2*x3 + 57770*x1*x2*x3 + 7487*x2^2*x3 + 46659*x1*x3^2 + 64148*x2*x3^2 + 59942*x3^3 + 42145*x1^2*x4 + 39710*x1*x2*x4 + 64461*x2^2*x4 + 8392*x1*x3*x4 + 2573*x2*x3*x4 + 50985*x3^2*x4 + 18918*x1*x4^2 + 29982*x2*x4^2 + 49112*x3*x4^2 + 3216*x4^3 + 46503*x1^2*x5 + 58124*x1*x2*x5 + 64683*x2^2*x5 + 30595*x1*x3*x5 + 44658*x2*x3*x5 + 38201*x3^2*x5 + 39204*x1*x4*x5 + 35201*x2*x4*x5 + 29603*x3*x4*x5 + 52271*x4^2*x5 + 33079*x1*x5^2 + 26246*x2*x5^2 + 62263*x3*x5^2 + 18556*x4*x5^2 + 10728*x5^3 + 24031*x1^2*x6 + 16875*x1*x2*x6 + 30965*x2^2*x6 + 60858*x1*x3*x6 + 40616*x2*x3*x6 + 14434*x3^2*x6 + 36184*x1*x4*x6 + 28871*x2*x4*x6 + 15294*x3*x4*x6 + 33149*x4^2*x6 + 10227*x1*x5*x6 + 50378*x2*x5*x6 + 29856*x3*x5*x6 + 46280*x4*x5*x6 + 60526*x5^2*x6 + 46953*x1*x6^2 + 3732*x2*x6^2 + 28663*x3*x6^2 + 16456*x4*x6^2 + 15539*x5*x6^2 + 34671*x6^3 + 61212*x1*x7 + 63617*x2*x7 + 39790*x3*x7 + 25196*x4*x7 + 46577*x5*x7 + 9499*x6*x7 + 30088*x1*x8 + 42488*x2*x8 + 8311*x3*x8 + 23579*x4*x8 + 22950*x5*x8 + 2850*x6*x8 + 39867*x1*x9 + 58825*x2*x9 + 9731*x3*x9 + 50161*x4*x9 + 27474*x5*x9 + 7627*x6*x9 + 61434*x1*x10 + 16961*x2*x10 + 48498*x3*x10 + 3153*x4*x10 + 18245*x5*x10 + 49288*x6*x10 + 48089*x1*x11 + 43951*x2*x11 + 54477*x3*x11 + 39452*x4*x11 + 33961*x5*x11 + 34869*x6*x11 + 53702*x1*x12 + 13758*x2*x12 + 12877*x3*x12 + 63864*x4*x12 + 26377*x5*x12 + 11523*x6*x12 + 41973*x1^2 + 55128*x1*x2 + 36765*x2^2 + 54177*x1*x3 + 33475*x2*x3 + 42491*x3^2 + 18750*x1*x4 + 33210*x2*x4 + 10543*x3*x4 + 58186*x4^2 + 27980*x1*x5 + 28154*x2*x5 + 24468*x3*x5 + 58964*x4*x5 + 40526*x5^2 + 31613*x1*x6 + 51281*x2*x6 + 16714*x3*x6 + 42848*x4*x6 + 49668*x5*x6 + 43724*x6^2 + 54573*x7 + 48564*x8 + 18029*x9 + 37046*x10 + 32194*x11 + 33592*x12 + 35671*x1 + 64198*x2 + 9549*x3 + 40989*x4 + 5575*x5 + 2647*x6 + 54849,
29485*x1^4 + 62614*x1^3*x2 + 12073*x1^2*x2^2 + 54357*x1*x2^3 + 13094*x2^4 + 13359*x1^3*x3 + 9717*x1^2*x2*x3 + 260*x1*x2^2*x3 + 50728*x2^3*x3 + 25129*x1^2*x3^2 + 36311*x1*x2*x3^2 + 62955*x2^2*x3^2 + 47233*x1*x3^3 + 18416*x2*x3^3 + 15538*x3^4 + 22913*x1^3*x4 + 48747*x1^2*x2*x4 + 35573*x1*x2^2*x4 + 28173*x2^3*x4 + 6712*x1^2*x3*x4 + 37628*x1*x2*x3*x4 + 9601*x2^2*x3*x4 + 28975*x1*x3^2*x4 + 28799*x2*x3^2*x4 + 13878*x3^3*x4 + 16502*x1^2*x4^2 + 4695*x1*x2*x4^2 + 62724*x2^2*x4^2 + 46370*x1*x3*x4^2 + 6962*x2*x3*x4^2 + 36894*x3^2*x4^2 + 59871*x1*x4^3 + 62249*x2*x4^3 + 44737*x3*x4^3 + 58151*x4^4 + 62444*x1^3*x5 + 20730*x1^2*x2*x5 + 40449*x1*x2^2*x5 + 54900*x2^3*x5 + 50972*x1^2*x3*x5 + 14651*x1*x2*x3*x5 + 63443*x2^2*x3*x5 + 48055*x1*x3^2*x5 + 17707*x2*x3^2*x5 + 55580*x3^3*x5 + 31788*x1^2*x4*x5 + 23710*x1*x2*x4*x5 + 37245*x2^2*x4*x5 + 40305*x1*x3*x4*x5 + 17793*x2*x3*x4*x5 + 54446*x3^2*x4*x5 + 35213*x1*x4^2*x5 + 44706*x2*x4^2*x5 + 36379*x3*x4^2*x5 + 17726*x4^3*x5 + 10683*x1^2*x5^2 + 36828*x1*x2*x5^2 + 52805*x2^2*x5^2 + 31081*x1*x3*x5^2 + 24240*x2*x3*x5^2 + 41614*x3^2*x5^2 + 22497*x1*x4*x5^2 + 35934*x2*x4*x5^2 + 49356*x3*x4*x5^2 + 43541*x4^2*x5^2 + 28384*x1*x5^3 + 25505*x2*x5^3 + 3004*x3*x5^3 + 33966*x4*x5^3 + 40995*x5^4 + 51124*x1^3*x6 + 10598*x1^2*x2*x6 + 10632*x1*x2^2*x6 + 21269*x2^3*x6 + 50457*x1^2*x3*x6 + 10232*x1*x2*x3*x6 + 3482*x2^2*x3*x6 + 16734*x1*x3^2*x6 + 25039*x2*x3^2*x6 + 28242*x3^3*x6 + 26413*x1^2*x4*x6 + 15774*x1*x2*x4*x6 + 3218*x2^2*x4*x6 + 6767*x1*x3*x4*x6 + 14050*x2*x3*x4*x6 + 37215*x3^2*x4*x6 + 49991*x1*x4^2*x6 + 15088*x2*x4^2*x6 + 46393*x3*x4^2*x6 + 54756*x4^3*x6 + 45967*x1^2*x5*x6 + 29831*x1*x2*x5*x6 + 57695*x2^2*x5*x6 + 19775*x1*x3*x5*x6 + 52299*x2*x3*x5*x6 + 20308*x3^2*x5*x6 + 11552*x1*x4*x5*x6 + 25168*x2*x4*x5*x6 + 55668*x3*x4*x5*x6 + 12875*x4^2*x5*x6 + 57324*x1*x5^2*x6 + 26153*x2*x5^2*x6 + 37251*x3*x5^2*x6 + 60836*x4*x5^2*x6 + 26540*x5^3*x6 + 44122*x1^2*x6^2 + 33653*x1*x2*x6^2 + 60046*x2^2*x6^2 + 64979*x1*x3*x6^2 + 55276*x2*x3*x6^2 + 6389*x3^2*x6^2 + 14504*x1*x4*x6^2 + 49730*x2*x4*x6^2 + 60863*x3*x4*x6^2 + 16136*x4^2*x6^2 + 31708*x1*x5*x6^2 + 56608*x2*x5*x6^2 + 58939*x3*x5*x6^2 + 65275*x4*x5*x6^2 + 33399*x5^2*x6^2 + 42683*x1*x6^3 + 32303*x2*x6^3 + 31554*x3*x6^3 + 49073*x4*x6^3 + 56592*x5*x6^3 + 62725*x6^4 + 43840*x1^2*x7 + 15114*x1*x2*x7 + 22143*x2^2*x7 + 44657*x1*x3*x7 + 28359*x2*x3*x7 + 9421*x3^2*x7 + 39938*x1*x4*x7 + 24955*x2*x4*x7 + 63681*x3*x4*x7 + 13333*x4^2*x7 + 5411*x1*x5*x7 + 5945*x2*x5*x7 + 64210*x3*x5*x7 + 331*x4*x5*x7 + 2862*x5^2*x7 + 33766*x1*x6*x7 + 46379*x2*x6*x7 + 58174*x3*x6*x7 + 63618*x4*x6*x7 + 20234*x5*x6*x7 + 58651*x6^2*x7 + 1290*x7^2 + 31749*x1^2*x8 + 39410*x1*x2*x8 + 19948*x2^2*x8 + 42959*x1*x3*x8 + 54583*x2*x3*x8 + 58299*x3^2*x8 + 6587*x1*x4*x8 + 33896*x2*x4*x8 + 47967*x3*x4*x8 + 49247*x4^2*x8 + 263*x1*x5*x8 + 30747*x2*x5*x8 + 56992*x3*x5*x8 + 23840*x4*x5*x8 + 62636*x5^2*x8 + 60107*x1*x6*x8 + 24794*x2*x6*x8 + 23170*x3*x6*x8 + 54897*x4*x6*x8 + 24207*x5*x6*x8 + 57908*x6^2*x8 + 45872*x7*x8 + 61185*x8^2 + 64921*x1^2*x9 + 14161*x1*x2*x9 + 65180*x2^2*x9 + 63148*x1*x3*x9 + 45621*x2*x3*x9 + 32059*x3^2*x9 + 43840*x1*x4*x9 + 37449*x2*x4*x9 + 56963*x3*x4*x9 + 45158*x4^2*x9 + 1336*x1*x5*x9 + 20050*x2*x5*x9 + 60524*x3*x5*x9 + 28555*x4*x5*x9 + 54189*x5^2*x9 + 29155*x1*x6*x9 + 27394*x2*x6*x9 + 17044*x3*x6*x9 + 52060*x4*x6*x9 + 50516*x5*x6*x9 + 31697*x6^2*x9 + 25738*x7*x9 + 35395*x8*x9 + 3261*x9^2 + 23762*x1^2*x10 + 54287*x1*x2*x10 + 61949*x2^2*x10 + 7568*x1*x3*x10 + 60964*x2*x3*x10 + 37412*x3^2*x10 + 24705*x1*x4*x10 + 25720*x2*x4*x10 + 50581*x3*x4*x10 + 45622*x4^2*x10 + 15570*x1*x5*x10 + 12284*x2*x5*x10 + 61990*x3*x5*x10 + 43820*x4*x5*x10 + 64227*x5^2*x10 + 26509*x1*x6*x10 + 49161*x2*x6*x10 + 27581*x3*x6*x10 + 30013*x4*x6*x10 + 15478*x5*x6*x10 + 31387*x6^2*x10 + 46177*x7*x10 + 25469*x8*x10 + 36538*x9*x10 + 13583*x10^2 + 60097*x1^2*x11 + 8030*x1*x2*x11 + 56528*x2^2*x11 + 31868*x1*x3*x11 + 18590*x2*x3*x11 + 61448*x3^2*x11 + 25113*x1*x4*x11 + 16526*x2*x4*x11 + 18673*x3*x4*x11 + 57083*x4^2*x11 + 37621*x1*x5*x11 + 35946*x2*x5*x11 + 3928*x3*x5*x11 + 60243*x4*x5*x11 + 7672*x5^2*x11 + 17376*x1*x6*x11 + 54742*x2*x6*x11 + 26441*x3*x6*x11 + 49299*x4*x6*x11 + 3841*x5*x6*x11 + 39042*x6^2*x11 + 35878*x7*x11 + 40895*x8*x11 + 32719*x9*x11 + 55797*x10*x11 + 22439*x11^2 + 20919*x1^2*x12 + 61803*x1*x2*x12 + 63406*x2^2*x12 + 15522*x1*x3*x12 + 57569*x2*x3*x12 + 6822*x3^2*x12 + 4995*x1*x4*x12 + 45478*x2*x4*x12 + 41725*x3*x4*x12 + 27889*x4^2*x12 + 42447*x1*x5*x12 + 2915*x2*x5*x12 + 13761*x3*x5*x12 + 61969*x4*x5*x12 + 50492*x5^2*x12 + 50186*x1*x6*x12 + 29421*x2*x6*x12 + 45434*x3*x6*x12 + 37081*x4*x6*x12 + 24620*x5*x6*x12 + 26239*x6^2*x12 + 61771*x7*x12 + 64415*x8*x12 + 32619*x9*x12 + 36263*x10*x12 + 31009*x11*x12 + 41616*x12^2 + 10296*x1^3 + 36900*x1^2*x2 + 8029*x1*x2^2 + 21272*x2^3 + 52036*x1^2*x3 + 23127*x1*x2*x3 + 47067*x2^2*x3 + 34956*x1*x3^2 + 4938*x2*x3^2 + 22827*x3^3 + 8700*x1^2*x4 + 64005*x1*x2*x4 + 13486*x2^2*x4 + 27892*x1*x3*x4 + 64703*x2*x3*x4 + 44633*x3^2*x4 + 47218*x1*x4^2 + 9519*x2*x4^2 + 45902*x3*x4^2 + 17117*x4^3 + 49962*x1^2*x5 + 6974*x1*x2*x5 + 14780*x2^2*x5 + 14632*x1*x3*x5 + 37064*x2*x3*x5 + 6597*x3^2*x5 + 32449*x1*x4*x5 + 8965*x2*x4*x5 + 43649*x3*x4*x5 + 23742*x4^2*x5 + 30594*x1*x5^2 + 10441*x2*x5^2 + 28970*x3*x5^2 + 40146*x4*x5^2 + 7625*x5^3 + 25404*x1^2*x6 + 11444*x1*x2*x6 + 21607*x2^2*x6 + 25814*x1*x3*x6 + 24531*x2*x3*x6 + 24872*x3^2*x6 + 46131*x1*x4*x6 + 41631*x2*x4*x6 + 59876*x3*x4*x6 + 4274*x4^2*x6 + 49394*x1*x5*x6 + 23957*x2*x5*x6 + 371*x3*x5*x6 + 11602*x4*x5*x6 + 36011*x5^2*x6 + 37537*x1*x6^2 + 5710*x2*x6^2 + 8839*x3*x6^2 + 25810*x4*x6^2 + 10246*x5*x6^2 + 28953*x6^3 + 52150*x1*x7 + 44358*x2*x7 + 63091*x3*x7 + 42462*x4*x7 + 40822*x5*x7 + 63851*x6*x7 + 40225*x1*x8 + 46130*x2*x8 + 52238*x3*x8 + 54651*x4*x8 + 51511*x5*x8 + 10064*x6*x8 + 40081*x1*x9 + 12358*x2*x9 + 44276*x3*x9 + 46407*x4*x9 + 47314*x5*x9 + 44218*x6*x9 + 26963*x1*x10 + 322*x2*x10 + 29060*x3*x10 + 2678*x4*x10 + 53762*x5*x10 + 45303*x6*x10 + 52055*x1*x11 + 22301*x2*x11 + 18901*x3*x11 + 2253*x4*x11 + 20064*x5*x11 + 19710*x6*x11 + 625*x1*x12 + 50671*x2*x12 + 59586*x3*x12 + 53883*x4*x12 + 41741*x5*x12 + 46514*x6*x12 + 15014*x1^2 + 52677*x1*x2 + 44466*x2^2 + 56727*x1*x3 + 2017*x2*x3 + 24746*x3^2 + 51037*x1*x4 + 23635*x2*x4 + 36823*x3*x4 + 28074*x4^2 + 14670*x1*x5 + 37518*x2*x5 + 41787*x3*x5 + 19169*x4*x5 + 38173*x5^2 + 39881*x1*x6 + 30929*x2*x6 + 58944*x3*x6 + 62852*x4*x6 + 1040*x5*x6 + 6754*x6^2 + 23862*x7 + 18449*x8 + 6431*x9 + 28580*x10 + 16304*x11 + 15475*x12 + 35466*x1 + 38900*x2 + 41504*x3 + 21091*x4 + 59516*x5 + 6757*x6 + 52125,
404*x1^4 + 24137*x1^3*x2 + 24212*x1^2*x2^2 + 35010*x1*x2^3 + 63472*x2^4 + 51480*x1^3*x3 + 21298*x1^2*x2*x3 + 57048*x1*x2^2*x3 + 29489*x2^3*x3 + 57624*x1^2*x3^2 + 35340*x1*x2*x3^2 + 64343*x2^2*x3^2 + 58988*x1*x3^3 + 59300*x2*x3^3 + 63344*x3^4 + 56714*x1^3*x4 + 37199*x1^2*x2*x4 + 9390*x1*x2^2*x4 + 24438*x2^3*x4 + 42093*x1^2*x3*x4 + 28132*x1*x2*x3*x4 + 9009*x2^2*x3*x4 + 25089*x1*x3^2*x4 + 44761*x2*x3^2*x4 + 64763*x3^3*x4 + 10095*x1^2*x4^2 + 39012*x1*x2*x4^2 + 25530*x2^2*x4^2 + 44266*x1*x3*x4^2 + 47906*x2*x3*x4^2 + 4550*x3^2*x4^2 + 14211*x1*x4^3 + 61624*x2*x4^3 + 33476*x3*x4^3 + 28692*x4^4 + 46339*x1^3*x5 + 35071*x1^2*x2*x5 + 63008*x1*x2^2*x5 + 47408*x2^3*x5 + 36524*x1^2*x3*x5 + 31105*x1*x2*x3*x5 + 45452*x2^2*x3*x5 + 615*x1*x3^2*x5 + 38094*x2*x3^2*x5 + 39422*x3^3*x5 + 44578*x1^2*x4*x5 + 38603*x1*x2*x4*x5 + 46518*x2^2*x4*x5 + 39241*x1*x3*x4*x5 + 42201*x2*x3*x4*x5 + 28046*x3^2*x4*x5 + 1317*x1*x4^2*x5 + 19432*x2*x4^2*x5 + 6586*x3*x4^2*x5 + 9439*x4^3*x5 + 47619*x1^2*x5^2 + 64398*x1*x2*x5^2 + 34533*x2^2*x5^2 + 24333*x1*x3*x5^2 + 21561*x2*x3*x5^2 + 33282*x3^2*x5^2 + 45712*x1*x4*x5^2 + 31081*x2*x4*x5^2 + 60470*x3*x4*x5^2 + 34884*x4^2*x5^2 + 22384*x1*x5^3 + 12113*x2*x5^3 + 31018*x3*x5^3 + 3050*x4*x5^3 + 27836*x5^4 + 54110*x1^3*x6 + 46020*x1^2*x2*x6 + 54729*x1*x2^2*x6 + 35434*x2^3*x6 + 61161*x1^2*x3*x6 + 48916*x1*x2*x3*x6 + 32384*x2^2*x3*x6 + 1048*x1*x3^2*x6 + 14669*x2*x3^2*x6 + 28297*x3^3*x6 + 17097*x1^2*x4*x6 + 47455*x1*x2*x4*x6 + 31630*x2^2*x4*x6 + 36220*x1*x3*x4*x6 + 18015*x2*x3*x4*x6 + 29580*x3^2*x4*x6 + 56535*x1*x4^2*x6 + 21288*x2*x4^2*x6 + 50316*x3*x4^2*x6 + 55205*x4^3*x6 + 42056*x1^2*x5*x6 + 22645*x1*x2*x5*x6 + 23584*x2^2*x5*x6 + 52107*x1*x3*x5*x6 + 63370*x2*x3*x5*x6 + 32407*x3^2*x5*x6 + 43704*x1*x4*x5*x6 + 2421*x2*x4*x5*x6 + 57258*x3*x4*x5*x6 + 52718*x4^2*x5*x6 + 32260*x1*x5^2*x6 + 25435*x2*x5^2*x6 + 34016*x3*x5^2*x6 + 63897*x4*x5^2*x6 + 13652*x5^3*x6 + 10938*x1^2*x6^2 + 55663*x1*x2*x6^2 + 60280*x2^2*x6^2 + 37731*x1*x3*x6^2 + 59215*x2*x3*x6^2 + 622*x3^2*x6^2 + 52490*x1*x4*x6^2 + 41908*x2*x4*x6^2 + 18893*x3*x4*x6^2 + 62092*x4^2*x6^2 + 15342*x1*x5*x6^2 + 52611*x2*x5*x6^2 + 25972*x3*x5*x6^2 + 65386*x4*x5*x6^2 + 5389*x5^2*x6^2 + 61059*x1*x6^3 + 15071*x2*x6^3 + 62774*x3*x6^3 + 31130*x4*x6^3 + 2970*x5*x6^3 + 50826*x6^4 + 64809*x1^2*x7 + 49180*x1*x2*x7 + 38614*x2^2*x7 + 53128*x1*x3*x7 + 55354*x2*x3*x7 + 50967*x3^2*x7 + 12269*x1*x4*x7 + 46344*x2*x4*x7 + 39982*x3*x4*x7 + 19181*x4^2*x7 + 44947*x1*x5*x7 + 19069*x2*x5*x7 + 41825*x3*x5*x7 + 58267*x4*x5*x7 + 20471*x5^2*x7 + 29681*x1*x6*x7 + 51037*x2*x6*x7 + 29512*x3*x6*x7 + 35495*x4*x6*x7 + 56008*x5*x6*x7 + 42511*x6^2*x7 + 37185*x7^2 + 46204*x1^2*x8 + 60446*x1*x2*x8 + 37063*x2^2*x8 + 46226*x1*x3*x8 + 21102*x2*x3*x8 + 50493*x3^2*x8 + 27297*x1*x4*x8 + 47514*x2*x4*x8 + 4558*x3*x4*x8 + 49023*x4^2*x8 + 40812*x1*x5*x8 + 25550*x2*x5*x8 + 22291*x3*x5*x8 + 42276*x4*x5*x8 + 44062*x5^2*x8 + 21584*x1*x6*x8 + 45640*x2*x6*x8 + 61428*x3*x6*x8 + 52533*x4*x6*x8 + 44286*x5*x6*x8 + 23046*x6^2*x8 + 36013*x7*x8 + 5403*x8^2 + 41770*x1^2*x9 + 27706*x1*x2*x9 + 60963*x2^2*x9 + 42694*x1*x3*x9 + 12499*x2*x3*x9 + 15906*x3^2*x9 + 59741*x1*x4*x9 + 26380*x2*x4*x9 + 10132*x3*x4*x9 + 48442*x4^2*x9 + 31520*x1*x5*x9 + 38361*x2*x5*x9 + 38200*x3*x5*x9 + 15862*x4*x5*x9 + 48762*x5^2*x9 + 53737*x1*x6*x9 + 59216*x2*x6*x9 + 33780*x3*x6*x9 + 60070*x4*x6*x9 + 37954*x5*x6*x9 + 30638*x6^2*x9 + 22276*x7*x9 + 46642*x8*x9 + 32415*x9^2 + 34780*x1^2*x10 + 62886*x1*x2*x10 + 63132*x2^2*x10 + 48351*x1*x3*x10 + 4442*x2*x3*x10 + 29296*x3^2*x10 + 40495*x1*x4*x10 + 9279*x2*x4*x10 + 44124*x3*x4*x10 + 40835*x4^2*x10 + 24563*x1*x5*x10 + 608*x2*x5*x10 + 1496*x3*x5*x10 + 30628*x4*x5*x10 + 36443*x5^2*x10 + 33017*x1*x6*x10 + 12902*x2*x6*x10 + 26219*x3*x6*x10 + 64587*x4*x6*x10 + 19449*x5*x6*x10 + 28523*x6^2*x10 + 47663*x7*x10 + 33535*x8*x10 + 55965*x9*x10 + 35374*x10^2 + 23200*x1^2*x11 + 61212*x1*x2*x11 + 5943*x2^2*x11 + 18481*x1*x3*x11 + 57193*x2*x3*x11 + 205*x3^2*x11 + 6594*x1*x4*x11 + 47341*x2*x4*x11 + 12506*x3*x4*x11 + 17757*x4^2*x11 + 616*x1*x5*x11 + 27158*x2*x5*x11 + 33052*x3*x5*x11 + 29103*x4*x5*x11 + 53554*x5^2*x11 + 41099*x1*x6*x11 + 28234*x2*x6*x11 + 50134*x3*x6*x11 + 47565*x4*x6*x11 + 35486*x5*x6*x11 + 55495*x6^2*x11 + 2466*x7*x11 + 18045*x8*x11 + 64594*x9*x11 + 28486*x10*x11 + 11295*x11^2 + 64661*x1^2*x12 + 45531*x1*x2*x12 + 51469*x2^2*x12 + 42964*x1*x3*x12 + 42771*x2*x3*x12 + 41560*x3^2*x12 + 34890*x1*x4*x12 + 43471*x2*x4*x12 + 33311*x3*x4*x12 + 502*x4^2*x12 + 23894*x1*x5*x12 + 31665*x2*x5*x12 + 8918*x3*x5*x12 + 46745*x4*x5*x12 + 9120*x5^2*x12 + 37230*x1*x6*x12 + 25215*x2*x6*x12 + 14573*x3*x6*x12 + 25048*x4*x6*x12 + 46771*x5*x6*x12 + 62286*x6^2*x12 + 31732*x7*x12 + 8333*x8*x12 + 45139*x9*x12 + 44744*x10*x12 + 678*x11*x12 + 33735*x12^2 + 59428*x1^3 + 59534*x1^2*x2 + 56605*x1*x2^2 + 58274*x2^3 + 50509*x1^2*x3 + 18082*x1*x2*x3 + 17157*x2^2*x3 + 25576*x1*x3^2 + 30692*x2*x3^2 + 57840*x3^3 + 40384*x1^2*x4 + 42114*x1*x2*x4 + 4252*x2^2*x4 + 33041*x1*x3*x4 + 61193*x2*x3*x4 + 25884*x3^2*x4 + 19789*x1*x4^2 + 339*x2*x4^2 + 60010*x3*x4^2 + 32610*x4^3 + 30820*x1^2*x5 + 25171*x1*x2*x5 + 45981*x2^2*x5 + 45737*x1*x3*x5 + 6739*x2*x3*x5 + 63317*x3^2*x5 + 63839*x1*x4*x5 + 30582*x2*x4*x5 + 35112*x3*x4*x5 + 708*x4^2*x5 + 44877*x1*x5^2 + 5520*x2*x5^2 + 17121*x3*x5^2 + 56717*x4*x5^2 + 14512*x5^3 + 30775*x1^2*x6 + 11458*x1*x2*x6 + 35442*x2^2*x6 + 26515*x1*x3*x6 + 48711*x2*x3*x6 + 1652*x3^2*x6 + 52015*x1*x4*x6 + 64646*x2*x4*x6 + 47419*x3*x4*x6 + 59979*x4^2*x6 + 48883*x1*x5*x6 + 61523*x2*x5*x6 + 47840*x3*x5*x6 + 41134*x4*x5*x6 + 28907*x5^2*x6 + 17333*x1*x6^2 + 27596*x2*x6^2 + 48464*x3*x6^2 + 2213*x4*x6^2 + 61975*x5*x6^2 + 63668*x6^3 + 6479*x1*x7 + 5439*x2*x7 + 19207*x3*x7 + 40727*x4*x7 + 55152*x5*x7 + 1634*x6*x7 + 35394*x1*x8 + 1046*x2*x8 + 55012*x3*x8 + 160*x4*x8 + 6092*x5*x8 + 45082*x6*x8 + 16360*x1*x9 + 51034*x2*x9 + 32727*x3*x9 + 47557*x4*x9 + 5668*x5*x9 + 35530*x6*x9 + 52112*x1*x10 + 63832*x2*x10 + 25517*x3*x10 + 34081*x4*x10 + 28021*x5*x10 + 27250*x6*x10 + 7632*x1*x11 + 61319*x2*x11 + 40081*x3*x11 + 43163*x4*x11 + 23114*x5*x11 + 3978*x6*x11 + 32113*x1*x12 + 8021*x2*x12 + 12441*x3*x12 + 44923*x4*x12 + 39805*x5*x12 + 8837*x6*x12 + 49544*x1^2 + 51856*x1*x2 + 36001*x2^2 + 112*x1*x3 + 10153*x2*x3 + 18174*x3^2 + 50745*x1*x4 + 61750*x2*x4 + 23129*x3*x4 + 27164*x4^2 + 302*x1*x5 + 15740*x2*x5 + 16302*x3*x5 + 15160*x4*x5 + 139*x5^2 + 64080*x1*x6 + 38730*x2*x6 + 60592*x3*x6 + 54065*x4*x6 + 31069*x5*x6 + 55825*x6^2 + 32128*x7 + 14275*x8 + 30285*x9 + 18759*x10 + 52946*x11 + 46511*x12 + 30517*x1 + 13327*x2 + 43876*x3 + 262*x4 + 46798*x5 + 59116*x6 + 15613,
12038*x1^4 + 37307*x1^3*x2 + 12763*x1^2*x2^2 + 33383*x1*x2^3 + 9147*x2^4 + 64851*x1^3*x3 + 45122*x1^2*x2*x3 + 10155*x1*x2^2*x3 + 11312*x2^3*x3 + 20733*x1^2*x3^2 + 52522*x1*x2*x3^2 + 7404*x2^2*x3^2 + 7358*x1*x3^3 + 34138*x2*x3^3 + 53074*x3^4 + 40799*x1^3*x4 + 893*x1^2*x2*x4 + 58909*x1*x2^2*x4 + 34203*x2^3*x4 + 38545*x1^2*x3*x4 + 63725*x1*x2*x3*x4 + 54144*x2^2*x3*x4 + 40936*x1*x3^2*x4 + 25076*x2*x3^2*x4 + 4172*x3^3*x4 + 46377*x1^2*x4^2 + 32632*x1*x2*x4^2 + 39815*x2^2*x4^2 + 45017*x1*x3*x4^2 + 19323*x2*x3*x4^2 + 352*x3^2*x4^2 + 2594*x1*x4^3 + 45371*x2*x4^3 + 41906*x3*x4^3 + 54620*x4^4 + 26653*x1^3*x5 + 63753*x1^2*x2*x5 + 25284*x1*x2^2*x5 + 53206*x2^3*x5 + 25199*x1^2*x3*x5 + 29059*x1*x2*x3*x5 + 10492*x2^2*x3*x5 + 37726*x1*x3^2*x5 + 37939*x2*x3^2*x5 + 11272*x3^3*x5 + 40286*x1^2*x4*x5 + 43054*x1*x2*x4*x5 + 61563*x2^2*x4*x5 + 8398*x1*x3*x4*x5 + 17729*x2*x3*x4*x5 + 39210*x3^2*x4*x5 + 24216*x1*x4^2*x5 + 39326*x2*x4^2*x5 + 41189*x3*x4^2*x5 + 1752*x4^3*x5 + 8299*x1^2*x5^2 + 21332*x1*x2*x5^2 + 20388*x2^2*x5^2 + 54332*x1*x3*x5^2 + 64137*x2*x3*x5^2 + 13800*x3^2*x5^2 + 14954*x1*x4*x5^2 + 20783*x2*x4*x5^2 + 41417*x3*x4*x5^2 + 56922*x4^2*x5^2 + 38012*x1*x5^3 + 39469*x2*x5^3 + 27213*x3*x5^3 + 56127*x4*x5^3 + 46690*x5^4 + 23008*x1^3*x6 + 490*x1^2*x2*x6 + 25253*x1*x2^2*x6 + 64585*x2^3*x6 + 31695*x1^2*x3*x6 + 9890*x1*x2*x3*x6 + 2825*x2^2*x3*x6 + 42903*x1*x3^2*x6 + 5843*x2*x3^2*x6 + 10774*x3^3*x6 + 34370*x1^2*x4*x6 + 43003*x1*x2*x4*x6 + 61354*x2^2*x4*x6 + 51526*x1*x3*x4*x6 + 23860*x2*x3*x4*x6 + 841*x3^2*x4*x6 + 63434*x1*x4^2*x6 + 50790*x2*x4^2*x6 + 47582*x3*x4^2*x6 + 40375*x4^3*x6 + 26481*x1^2*x5*x6 + 52633*x1*x2*x5*x6 + 35637*x2^2*x5*x6 + 34574*x1*x3*x5*x6 + 54025*x2*x3*x5*x6 + 58566*x3^2*x5*x6 + 3707*x1*x4*x5*x6 + 22948*x2*x4*x5*x6 + 37971*x3*x4*x5*x6 + 55016*x4^2*x5*x6 + 2650*x1*x5^2*x6 + 26857*x2*x5^2*x6 + 56106*x3*x5^2*x6 + 33397*x4*x5^2*x6 + 24752*x5^3*x6 + 51755*x1^2*x6^2 + 17814*x1*x2*x6^2 + 27381*x2^2*x6^2 + 63578*x1*x3*x6^2 + 3453*x2*x3*x6^2 + 921*x3^2*x6^2 + 57848*x1*x4*x6^2 + 7609*x2*x4*x6^2 + 35932*x3*x4*x6^2 + 52567*x4^2*x6^2 + 11484*x1*x5*x6^2 + 30708*x2*x5*x6^2 + 55163*x3*x5*x6^2 + 18153*x4*x5*x6^2 + 54838*x5^2*x6^2 + 20141*x1*x6^3 + 36449*x2*x6^3 + 42309*x3*x6^3 + 35699*x4*x6^3 + 8237*x5*x6^3 + 52676*x6^4 + 19437*x1^2*x7 + 28870*x1*x2*x7 + 60100*x2^2*x7 + 16738*x1*x3*x7 + 33335*x2*x3*x7 + 41519*x3^2*x7 + 36409*x1*x4*x7 + 30029*x2*x4*x7 + 53691*x3*x4*x7 + 21116*x4^2*x7 + 20477*x1*x5*x7 + 57058*x2*x5*x7 + 40018*x3*x5*x7 + 21139*x4*x5*x7 + 23776*x5^2*x7 + 13147*x1*x6*x7 + 26023*x2*x6*x7 + 33300*x3*x6*x7 + 27509*x4*x6*x7 + 12094*x5*x6*x7 + 44429*x6^2*x7 + 56070*x7^2 + 30629*x1^2*x8 + 44353*x1*x2*x8 + 53440*x2^2*x8 + 26538*x1*x3*x8 + 11450*x2*x3*x8 + 53598*x3^2*x8 + 42672*x1*x4*x8 + 40961*x2*x4*x8 + 54904*x3*x4*x8 + 16305*x4^2*x8 + 58683*x1*x5*x8 + 58435*x2*x5*x8 + 44750*x3*x5*x8 + 35297*x4*x5*x8 + 42373*x5^2*x8 + 11035*x1*x6*x8 + 57540*x2*x6*x8 + 57085*x3*x6*x8 + 33647*x4*x6*x8 + 276*x5*x6*x8 + 54019*x6^2*x8 + 9026*x7*x8 + 61932*x8^2 + 43591*x1^2*x9 + 63703*x1*x2*x9 + 25806*x2^2*x9 + 9210*x1*x3*x9 + 1157*x2*x3*x9 + 6499*x3^2*x9 + 4224*x1*x4*x9 + 47063*x2*x4*x9 + 17273*x3*x4*x9 + 49931*x4^2*x9 + 30133*x1*x5*x9 + 8013*x2*x5*x9 + 18382*x3*x5*x9 + 46891*x4*x5*x9 + 44445*x5^2*x9 + 40559*x1*x6*x9 + 43849*x2*x6*x9 + 27042*x3*x6*x9 + 63807*x4*x6*x9 + 29652*x5*x6*x9 + 45944*x6^2*x9 + 18550*x7*x9 + 34837*x8*x9 + 48759*x9^2 + 60457*x1^2*x10 + 61345*x1*x2*x10 + 22283*x2^2*x10 + 35898*x1*x3*x10 + 57227*x2*x3*x10 + 1033*x3^2*x10 + 26297*x1*x4*x10 + 32053*x2*x4*x10 + 53014*x3*x4*x10 + 52767*x4^2*x10 + 39746*x1*x5*x10 + 36089*x2*x5*x10 + 36734*x3*x5*x10 + 38501*x4*x5*x10 + 56384*x5^2*x10 + 37581*x1*x6*x10 + 64107*x2*x6*x10 + 5932*x3*x6*x10 + 55799*x4*x6*x10 + 60574*x5*x6*x10 + 58673*x6^2*x10 + 11548*x7*x10 + 62396*x8*x10 + 42938*x9*x10 + 63193*x10^2 + 32376*x1^2*x11 + 49357*x1*x2*x11 + 4722*x2^2*x11 + 64738*x1*x3*x11 + 29206*x2*x3*x11 + 24469*x3^2*x11 + 51382*x1*x4*x11 + 47525*x2*x4*x11 + 19685*x3*x4*x11 + 17883*x4^2*x11 + 45940*x1*x5*x11 + 61773*x2*x5*x11 + 52994*x3*x5*x11 + 453*x4*x5*x11 + 64336*x5^2*x11 + 34603*x1*x6*x11 + 61208*x2*x6*x11 + 15613*x3*x6*x11 + 8984*x4*x6*x11 + 14929*x5*x6*x11 + 48890*x6^2*x11 + 59509*x7*x11 + 8612*x8*x11 + 28932*x9*x11 + 61199*x10*x11 + 33811*x11^2 + 53334*x1^2*x12 + 47968*x1*x2*x12 + 46116*x2^2*x12 + 2294*x1*x3*x12 + 13834*x2*x3*x12 + 17168*x3^2*x12 + 35304*x1*x4*x12 + 41292*x2*x4*x12 + 39913*x3*x4*x12 + 28092*x4^2*x12 + 48790*x1*x5*x12 + 57932*x2*x5*x12 + 8147*x3*x5*x12 + 3596*x4*x5*x12 + 15079*x5^2*x12 + 33424*x1*x6*x12 + 40144*x2*x6*x12 + 26329*x3*x6*x12 + 40699*x4*x6*x12 + 19458*x5*x6*x12 + 9502*x6^2*x12 + 57610*x7*x12 + 42025*x8*x12 + 13695*x9*x12 + 54051*x10*x12 + 27256*x11*x12 + 43877*x12^2 + 63357*x1^3 + 61408*x1^2*x2 + 52672*x1*x2^2 + 23971*x2^3 + 5063*x1^2*x3 + 45869*x1*x2*x3 + 36237*x2^2*x3 + 63889*x1*x3^2 + 39929*x2*x3^2 + 58349*x3^3 + 25972*x1^2*x4 + 64272*x1*x2*x4 + 11524*x2^2*x4 + 14013*x1*x3*x4 + 40723*x2*x3*x4 + 11986*x3^2*x4 + 36935*x1*x4^2 + 45490*x2*x4^2 + 17301*x3*x4^2 + 33180*x4^3 + 4664*x1^2*x5 + 47298*x1*x2*x5 + 29165*x2^2*x5 + 35622*x1*x3*x5 + 33111*x2*x3*x5 + 42026*x3^2*x5 + 9553*x1*x4*x5 + 35159*x2*x4*x5 + 35900*x3*x4*x5 + 24745*x4^2*x5 + 21863*x1*x5^2 + 52520*x2*x5^2 + 39715*x3*x5^2 + 58746*x4*x5^2 + 50855*x5^3 + 51861*x1^2*x6 + 54154*x1*x2*x6 + 24003*x2^2*x6 + 56125*x1*x3*x6 + 52977*x2*x3*x6 + 32709*x3^2*x6 + 40850*x1*x4*x6 + 39151*x2*x4*x6 + 16543*x3*x4*x6 + 45439*x4^2*x6 + 49244*x1*x5*x6 + 53033*x2*x5*x6 + 12592*x3*x5*x6 + 11159*x4*x5*x6 + 11359*x5^2*x6 + 46094*x1*x6^2 + 56359*x2*x6^2 + 26855*x3*x6^2 + 28897*x4*x6^2 + 56370*x5*x6^2 + 54593*x6^3 + 7452*x1*x7 + 53177*x2*x7 + 44384*x3*x7 + 43748*x4*x7 + 22654*x5*x7 + 53031*x6*x7 + 38573*x1*x8 + 24469*x2*x8 + 11284*x3*x8 + 39392*x4*x8 + 64297*x5*x8 + 9389*x6*x8 + 54632*x1*x9 + 6712*x2*x9 + 14045*x3*x9 + 32861*x4*x9 + 12871*x5*x9 + 28020*x6*x9 + 63921*x1*x10 + 32636*x2*x10 + 11634*x3*x10 + 27456*x4*x10 + 50325*x5*x10 + 33046*x6*x10 + 63047*x1*x11 + 3668*x2*x11 + 53706*x3*x11 + 1118*x4*x11 + 48626*x5*x11 + 25812*x6*x11 + 32484*x1*x12 + 55723*x2*x12 + 60277*x3*x12 + 29212*x4*x12 + 65409*x5*x12 + 40957*x6*x12 + 5650*x1^2 + 18984*x1*x2 + 4858*x2^2 + 34635*x1*x3 + 38438*x2*x3 + 24098*x3^2 + 55837*x1*x4 + 62056*x2*x4 + 19521*x3*x4 + 45882*x4^2 + 19272*x1*x5 + 15110*x2*x5 + 18656*x3*x5 + 30221*x4*x5 + 41297*x5^2 + 18272*x1*x6 + 54688*x2*x6 + 64130*x3*x6 + 46619*x4*x6 + 17404*x5*x6 + 9733*x6^2 + 24504*x7 + 55162*x8 + 24867*x9 + 1582*x10 + 50454*x11 + 48965*x12 + 56392*x1 + 56990*x2 + 8368*x3 + 4503*x4 + 43145*x5 + 48746*x6 + 46890,
4145*x1^4 + 20059*x1^3*x2 + 48086*x1^2*x2^2 + 57419*x1*x2^3 + 14525*x2^4 + 51555*x1^3*x3 + 40431*x1^2*x2*x3 + 22935*x1*x2^2*x3 + 11569*x2^3*x3 + 6518*x1^2*x3^2 + 10210*x1*x2*x3^2 + 35254*x2^2*x3^2 + 65497*x1*x3^3 + 26489*x2*x3^3 + 50456*x3^4 + 22396*x1^3*x4 + 43456*x1^2*x2*x4 + 57988*x1*x2^2*x4 + 48069*x2^3*x4 + 60022*x1^2*x3*x4 + 20528*x1*x2*x3*x4 + 40809*x2^2*x3*x4 + 5704*x1*x3^2*x4 + 57050*x2*x3^2*x4 + 23505*x3^3*x4 + 19787*x1^2*x4^2 + 15988*x1*x2*x4^2 + 12361*x2^2*x4^2 + 61387*x1*x3*x4^2 + 26206*x2*x3*x4^2 + 41083*x3^2*x4^2 + 11095*x1*x4^3 + 23633*x2*x4^3 + 7623*x3*x4^3 + 5489*x4^4 + 14187*x1^3*x5 + 36923*x1^2*x2*x5 + 19664*x1*x2^2*x5 + 55554*x2^3*x5 + 65073*x1^2*x3*x5 + 27188*x1*x2*x3*x5 + 9761*x2^2*x3*x5 + 57909*x1*x3^2*x5 + 58396*x2*x3^2*x5 + 20242*x3^3*x5 + 51598*x1^2*x4*x5 + 5934*x1*x2*x4*x5 + 25153*x2^2*x4*x5 + 1039*x1*x3*x4*x5 + 20424*x2*x3*x4*x5 + 40161*x3^2*x4*x5 + 53625*x1*x4^2*x5 + 48722*x2*x4^2*x5 + 50188*x3*x4^2*x5 + 24584*x4^3*x5 + 10463*x1^2*x5^2 + 27668*x1*x2*x5^2 + 7360*x2^2*x5^2 + 55781*x1*x3*x5^2 + 34932*x2*x3*x5^2 + 10925*x3^2*x5^2 + 279*x1*x4*x5^2 + 42496*x2*x4*x5^2 + 33650*x3*x4*x5^2 + 34343*x4^2*x5^2 + 26001*x1*x5^3 + 40820*x2*x5^3 + 42077*x3*x5^3 + 46726*x4*x5^3 + 53994*x5^4 + 14866*x1^3*x6 + 6582*x1^2*x2*x6 + 32026*x1*x2^2*x6 + 37174*x2^3*x6 + 1078*x1^2*x3*x6 + 19470*x1*x2*x3*x6 + 24440*x2^2*x3*x6 + 36644*x1*x3^2*x6 + 5451*x2*x3^2*x6 + 13057*x3^3*x6 + 24786*x1^2*x4*x6 + 39772*x1*x2*x4*x6 + 53071*x2^2*x4*x6 + 6918*x1*x3*x4*x6 + 55504*x2*x3*x4*x6 + 38333*x3^2*x4*x6 + 20210*x1*x4^2*x6 + 21882*x2*x4^2*x6 + 5505*x3*x4^2*x6 + 57032*x4^3*x6 + 58718*x1^2*x5*x6 + 47996*x1*x2*x5*x6 + 33495*x2^2*x5*x6 + 18438*x1*x3*x5*x6 + 51737*x2*x3*x5*x6 + 32584*x3^2*x5*x6 + 3708*x1*x4*x5*x6 + 3509*x2*x4*x5*x6 + 25634*x3*x4*x5*x6 + 46482*x4^2*x5*x6 + 21541*x1*x5^2*x6 + 40885*x2*x5^2*x6 + 6018*x3*x5^2*x6 + 60958*x4*x5^2*x6 + 23379*x5^3*x6 + 58934*x1^2*x6^2 + 2391*x1*x2*x6^2 + 61271*x2^2*x6^2 + 54455*x1*x3*x6^2 + 3020*x2*x3*x6^2 + 40018*x3^2*x6^2 + 61270*x1*x4*x6^2 + 53489*x2*x4*x6^2 + 38365*x3*x4*x6^2 + 165*x4^2*x6^2 + 34125*x1*x5*x6^2 + 31221*x2*x5*x6^2 + 18219*x3*x5*x6^2 + 53730*x4*x5*x6^2 + 13323*x5^2*x6^2 + 48805*x1*x6^3 + 6672*x2*x6^3 + 15362*x3*x6^3 + 14508*x4*x6^3 + 46014*x5*x6^3 + 4391*x6^4 + 9170*x1^2*x7 + 57003*x1*x2*x7 + 34575*x2^2*x7 + 48697*x1*x3*x7 + 44084*x2*x3*x7 + 47821*x3^2*x7 + 57521*x1*x4*x7 + 24557*x2*x4*x7 + 58286*x3*x4*x7 + 20084*x4^2*x7 + 62166*x1*x5*x7 + 65075*x2*x5*x7 + 37527*x3*x5*x7 + 8280*x4*x5*x7 + 6309*x5^2*x7 + 33340*x1*x6*x7 + 1431*x2*x6*x7 + 20070*x3*x6*x7 + 6334*x4*x6*x7 + 56991*x5*x6*x7 + 23643*x6^2*x7 + 11689*x7^2 + 51429*x1^2*x8 + 27182*x1*x2*x8 + 22805*x2^2*x8 + 52054*x1*x3*x8 + 48124*x2*x3*x8 + 723*x3^2*x8 + 54996*x1*x4*x8 + 23268*x2*x4*x8 + 18448*x3*x4*x8 + 39549*x4^2*x8 + 21601*x1*x5*x8 + 63058*x2*x5*x8 + 33312*x3*x5*x8 + 6395*x4*x5*x8 + 46875*x5^2*x8 + 53231*x1*x6*x8 + 58685*x2*x6*x8 + 60649*x3*x6*x8 + 36334*x4*x6*x8 + 16950*x5*x6*x8 + 19063*x6^2*x8 + 60231*x7*x8 + 5316*x8^2 + 24475*x1^2*x9 + 58337*x1*x2*x9 + 9272*x2^2*x9 + 17455*x1*x3*x9 + 61783*x2*x3*x9 + 22397*x3^2*x9 + 4915*x1*x4*x9 + 16385*x2*x4*x9 + 61770*x3*x4*x9 + 48360*x4^2*x9 + 34850*x1*x5*x9 + 14294*x2*x5*x9 + 56074*x3*x5*x9 + 55208*x4*x5*x9 + 55210*x5^2*x9 + 37406*x1*x6*x9 + 32177*x2*x6*x9 + 59308*x3*x6*x9 + 3708*x4*x6*x9 + 7187*x5*x6*x9 + 42748*x6^2*x9 + 47500*x7*x9 + 35228*x8*x9 + 10901*x9^2 + 31105*x1^2*x10 + 56950*x1*x2*x10 + 20504*x2^2*x10 + 12538*x1*x3*x10 + 39730*x2*x3*x10 + 2479*x3^2*x10 + 17718*x1*x4*x10 + 25723*x2*x4*x10 + 9229*x3*x4*x10 + 42954*x4^2*x10 + 21649*x1*x5*x10 + 22168*x2*x5*x10 + 39496*x3*x5*x10 + 51671*x4*x5*x10 + 58261*x5^2*x10 + 31215*x1*x6*x10 + 54735*x2*x6*x10 + 43885*x3*x6*x10 + 923*x4*x6*x10 + 30972*x5*x6*x10 + 61643*x6^2*x10 + 12436*x7*x10 + 49338*x8*x10 + 12495*x9*x10 + 1938*x10^2 + 33312*x1^2*x11 + 12929*x1*x2*x11 + 1006*x2^2*x11 + 62833*x1*x3*x11 + 32160*x2*x3*x11 + 61297*x3^2*x11 + 29814*x1*x4*x11 + 33667*x2*x4*x11 + 53534*x3*x4*x11 + 37668*x4^2*x11 + 8739*x1*x5*x11 + 43749*x2*x5*x11 + 3483*x3*x5*x11 + 64790*x4*x5*x11 + 58386*x5^2*x11 + 39346*x1*x6*x11 + 41481*x2*x6*x11 + 39757*x3*x6*x11 + 3864*x4*x6*x11 + 11319*x5*x6*x11 + 51996*x6^2*x11 + 2002*x7*x11 + 43427*x8*x11 + 55100*x9*x11 + 31239*x10*x11 + 16388*x11^2 + 36612*x1^2*x12 + 35120*x1*x2*x12 + 23040*x2^2*x12 + 36120*x1*x3*x12 + 17346*x2*x3*x12 + 63873*x3^2*x12 + 52976*x1*x4*x12 + 35406*x2*x4*x12 + 65388*x3*x4*x12 + 4635*x4^2*x12 + 16208*x1*x5*x12 + 38017*x2*x5*x12 + 5961*x3*x5*x12 + 57632*x4*x5*x12 + 41461*x5^2*x12 + 49166*x1*x6*x12 + 45701*x2*x6*x12 + 4937*x3*x6*x12 + 29012*x4*x6*x12 + 3704*x5*x6*x12 + 35024*x6^2*x12 + 28761*x7*x12 + 46708*x8*x12 + 48735*x9*x12 + 5530*x10*x12 + 45079*x11*x12 + 21711*x12^2 + 19479*x1^3 + 59197*x1^2*x2 + 47070*x1*x2^2 + 45277*x2^3 + 3468*x1^2*x3 + 45722*x1*x2*x3 + 15175*x2^2*x3 + 49447*x1*x3^2 + 35441*x2*x3^2 + 59482*x3^3 + 26518*x1^2*x4 + 1278*x1*x2*x4 + 1544*x2^2*x4 + 10345*x1*x3*x4 + 21680*x2*x3*x4 + 55520*x3^2*x4 + 51280*x1*x4^2 + 4050*x2*x4^2 + 36016*x3*x4^2 + 61647*x4^3 + 5798*x1^2*x5 + 1942*x1*x2*x5 + 45735*x2^2*x5 + 7263*x1*x3*x5 + 64104*x2*x3*x5 + 43992*x3^2*x5 + 60402*x1*x4*x5 + 41995*x2*x4*x5 + 1376*x3*x4*x5 + 55157*x4^2*x5 + 26700*x1*x5^2 + 15028*x2*x5^2 + 51304*x3*x5^2 + 32791*x4*x5^2 + 12280*x5^3 + 37288*x1^2*x6 + 6069*x1*x2*x6 + 25878*x2^2*x6 + 61678*x1*x3*x6 + 40634*x2*x3*x6 + 20189*x3^2*x6 + 14715*x1*x4*x6 + 45998*x2*x4*x6 + 57980*x3*x4*x6 + 55359*x4^2*x6 + 24015*x1*x5*x6 + 50603*x2*x5*x6 + 47918*x3*x5*x6 + 42577*x4*x5*x6 + 52663*x5^2*x6 + 38850*x1*x6^2 + 10107*x2*x6^2 + 31524*x3*x6^2 + 62072*x4*x6^2 + 15225*x5*x6^2 + 35127*x6^3 + 10878*x1*x7 + 24501*x2*x7 + 28553*x3*x7 + 33192*x4*x7 + 60540*x5*x7 + 10641*x6*x7 + 16720*x1*x8 + 22317*x2*x8 + 54799*x3*x8 + 50695*x4*x8 + 31147*x5*x8 + 38316*x6*x8 + 41474*x1*x9 + 34025*x2*x9 + 16177*x3*x9 + 56596*x4*x9 + 28365*x5*x9 + 58796*x6*x9 + 26339*x1*x10 + 54272*x2*x10 + 46609*x3*x10 + 16252*x4*x10 + 1936*x5*x10 + 50854*x6*x10 + 34715*x1*x11 + 61278*x2*x11 + 59269*x3*x11 + 21787*x4*x11 + 48701*x5*x11 + 38703*x6*x11 + 60982*x1*x12 + 24426*x2*x12 + 3623*x3*x12 + 18240*x4*x12 + 54535*x5*x12 + 53037*x6*x12 + 6643*x1^2 + 19584*x1*x2 + 18631*x2^2 + 7962*x1*x3 + 52074*x2*x3 + 56152*x3^2 + 10873*x1*x4 + 35287*x2*x4 + 48082*x3*x4 + 2964*x4^2 + 9183*x1*x5 + 29546*x2*x5 + 26226*x3*x5 + 56560*x4*x5 + 9153*x5^2 + 25994*x1*x6 + 56407*x2*x6 + 54035*x3*x6 + 16526*x4*x6 + 42978*x5*x6 + 40140*x6^2 + 48741*x7 + 40237*x8 + 12868*x9 + 59403*x10 + 26444*x11 + 32301*x12 + 14017*x1 + 51530*x2 + 8255*x3 + 28478*x4 + 64048*x5 + 7788*x6 + 60153,
39053*x1^4 + 3373*x1^3*x2 + 53793*x1^2*x2^2 + 37877*x1*x2^3 + 56899*x2^4 + 8733*x1^3*x3 + 63284*x1^2*x2*x3 + 42194*x1*x2^2*x3 + 30530*x2^3*x3 + 59831*x1^2*x3^2 + 2950*x1*x2*x3^2 + 51126*x2^2*x3^2 + 12590*x1*x3^3 + 30457*x2*x3^3 + 63928*x3^4 + 49172*x1^3*x4 + 41303*x1^2*x2*x4 + 9475*x1*x2^2*x4 + 19606*x2^3*x4 + 34590*x1^2*x3*x4 + 46731*x1*x2*x3*x4 + 34616*x2^2*x3*x4 + 32162*x1*x3^2*x4 + 49774*x2*x3^2*x4 + 9072*x3^3*x4 + 6092*x1^2*x4^2 + 49177*x1*x2*x4^2 + 62201*x2^2*x4^2 + 29982*x1*x3*x4^2 + 18718*x2*x3*x4^2 + 41280*x3^2*x4^2 + 48582*x1*x4^3 + 15049*x2*x4^3 + 46141*x3*x4^3 + 50747*x4^4 + 5933*x1^3*x5 + 44244*x1^2*x2*x5 + 24735*x1*x2^2*x5 + 15079*x2^3*x5 + 33921*x1^2*x3*x5 + 23693*x1*x2*x3*x5 + 31388*x2^2*x3*x5 + 57183*x1*x3^2*x5 + 44377*x2*x3^2*x5 + 47478*x3^3*x5 + 23213*x1^2*x4*x5 + 61406*x1*x2*x4*x5 + 13375*x2^2*x4*x5 + 11218*x1*x3*x4*x5 + 63144*x2*x3*x4*x5 + 14504*x3^2*x4*x5 + 58110*x1*x4^2*x5 + 15208*x2*x4^2*x5 + 10281*x3*x4^2*x5 + 6755*x4^3*x5 + 62014*x1^2*x5^2 + 31513*x1*x2*x5^2 + 39184*x2^2*x5^2 + 31879*x1*x3*x5^2 + 3078*x2*x3*x5^2 + 59593*x3^2*x5^2 + 65264*x1*x4*x5^2 + 4928*x2*x4*x5^2 + 11314*x3*x4*x5^2 + 8168*x4^2*x5^2 + 55750*x1*x5^3 + 48501*x2*x5^3 + 37135*x3*x5^3 + 5373*x4*x5^3 + 28301*x5^4 + 2783*x1^3*x6 + 34355*x1^2*x2*x6 + 60502*x1*x2^2*x6 + 17219*x2^3*x6 + 48291*x1^2*x3*x6 + 16787*x1*x2*x3*x6 + 26852*x2^2*x3*x6 + 42614*x1*x3^2*x6 + 37779*x2*x3^2*x6 + 19203*x3^3*x6 + 52170*x1^2*x4*x6 + 12627*x1*x2*x4*x6 + 40174*x2^2*x4*x6 + 52020*x1*x3*x4*x6 + 25988*x2*x3*x4*x6 + 26256*x3^2*x4*x6 + 23647*x1*x4^2*x6 + 43706*x2*x4^2*x6 + 14531*x3*x4^2*x6 + 20602*x4^3*x6 + 16013*x1^2*x5*x6 + 12232*x1*x2*x5*x6 + 13042*x2^2*x5*x6 + 22724*x1*x3*x5*x6 + 52740*x2*x3*x5*x6 + 14955*x3^2*x5*x6 + 25723*x1*x4*x5*x6 + 49887*x2*x4*x5*x6 + 31418*x3*x4*x5*x6 + 11050*x4^2*x5*x6 + 39727*x1*x5^2*x6 + 44539*x2*x5^2*x6 + 16983*x3*x5^2*x6 + 15298*x4*x5^2*x6 + 31330*x5^3*x6 + 4925*x1^2*x6^2 + 35082*x1*x2*x6^2 + 24185*x2^2*x6^2 + 35210*x1*x3*x6^2 + 29083*x2*x3*x6^2 + 64804*x3^2*x6^2 + 25379*x1*x4*x6^2 + 3239*x2*x4*x6^2 + 15925*x3*x4*x6^2 + 14801*x4^2*x6^2 + 58143*x1*x5*x6^2 + 26282*x2*x5*x6^2 + 45355*x3*x5*x6^2 + 20055*x4*x5*x6^2 + 51972*x5^2*x6^2 + 62348*x1*x6^3 + 14172*x2*x6^3 + 10499*x3*x6^3 + 53232*x4*x6^3 + 48846*x5*x6^3 + 6623*x6^4 + 59425*x1^2*x7 + 62084*x1*x2*x7 + 22101*x2^2*x7 + 6334*x1*x3*x7 + 56461*x2*x3*x7 + 48581*x3^2*x7 + 32175*x1*x4*x7 + 61473*x2*x4*x7 + 18643*x3*x4*x7 + 13798*x4^2*x7 + 36794*x1*x5*x7 + 61544*x2*x5*x7 + 13268*x3*x5*x7 + 2671*x4*x5*x7 + 59906*x5^2*x7 + 32324*x1*x6*x7 + 58517*x2*x6*x7 + 42025*x3*x6*x7 + 10346*x4*x6*x7 + 4874*x5*x6*x7 + 56681*x6^2*x7 + 47732*x7^2 + 47409*x1^2*x8 + 2331*x1*x2*x8 + 53446*x2^2*x8 + 32681*x1*x3*x8 + 2318*x2*x3*x8 + 31025*x3^2*x8 + 43430*x1*x4*x8 + 9499*x2*x4*x8 + 49816*x3*x4*x8 + 63181*x4^2*x8 + 34950*x1*x5*x8 + 53084*x2*x5*x8 + 47998*x3*x5*x8 + 40916*x4*x5*x8 + 52872*x5^2*x8 + 61675*x1*x6*x8 + 36589*x2*x6*x8 + 920*x3*x6*x8 + 7188*x4*x6*x8 + 32840*x5*x6*x8 + 34564*x6^2*x8 + 60522*x7*x8 + 45511*x8^2 + 33901*x1^2*x9 + 50594*x1*x2*x9 + 37428*x2^2*x9 + 20025*x1*x3*x9 + 51167*x2*x3*x9 + 57333*x3^2*x9 + 25063*x1*x4*x9 + 58964*x2*x4*x9 + 34045*x3*x4*x9 + 35597*x4^2*x9 + 28685*x1*x5*x9 + 44026*x2*x5*x9 + 18831*x3*x5*x9 + 32982*x4*x5*x9 + 13278*x5^2*x9 + 49282*x1*x6*x9 + 54361*x2*x6*x9 + 56092*x3*x6*x9 + 63578*x4*x6*x9 + 842*x5*x6*x9 + 34902*x6^2*x9 + 21063*x7*x9 + 7471*x8*x9 + 29755*x9^2 + 22454*x1^2*x10 + 15340*x1*x2*x10 + 58339*x2^2*x10 + 53328*x1*x3*x10 + 37892*x2*x3*x10 + 56164*x3^2*x10 + 28874*x1*x4*x10 + 45358*x2*x4*x10 + 50562*x3*x4*x10 + 59372*x4^2*x10 + 15359*x1*x5*x10 + 14650*x2*x5*x10 + 54324*x3*x5*x10 + 35888*x4*x5*x10 + 31622*x5^2*x10 + 48054*x1*x6*x10 + 16362*x2*x6*x10 + 30502*x3*x6*x10 + 49921*x4*x6*x10 + 9769*x5*x6*x10 + 58510*x6^2*x10 + 46457*x7*x10 + 10205*x8*x10 + 26855*x9*x10 + 58428*x10^2 + 28168*x1^2*x11 + 33162*x1*x2*x11 + 45826*x2^2*x11 + 48630*x1*x3*x11 + 3775*x2*x3*x11 + 60789*x3^2*x11 + 56518*x1*x4*x11 + 19230*x2*x4*x11 + 15093*x3*x4*x11 + 10143*x4^2*x11 + 2512*x1*x5*x11 + 313*x2*x5*x11 + 23335*x3*x5*x11 + 49890*x4*x5*x11 + 23789*x5^2*x11 + 16323*x1*x6*x11 + 52786*x2*x6*x11 + 60263*x3*x6*x11 + 47246*x4*x6*x11 + 57560*x5*x6*x11 + 27091*x6^2*x11 + 33547*x7*x11 + 57619*x8*x11 + 12383*x9*x11 + 51234*x10*x11 + 20802*x11^2 + 21751*x1^2*x12 + 8636*x1*x2*x12 + 60629*x2^2*x12 + 50158*x1*x3*x12 + 6288*x2*x3*x12 + 31091*x3^2*x12 + 51273*x1*x4*x12 + 2764*x2*x4*x12 + 34744*x3*x4*x12 + 51190*x4^2*x12 + 27620*x1*x5*x12 + 43723*x2*x5*x12 + 56201*x3*x5*x12 + 38336*x4*x5*x12 + 27626*x5^2*x12 + 52596*x1*x6*x12 + 64985*x2*x6*x12 + 37813*x3*x6*x12 + 33006*x4*x6*x12 + 45847*x5*x6*x12 + 41636*x6^2*x12 + 47745*x7*x12 + 20414*x8*x12 + 45451*x9*x12 + 1445*x10*x12 + 24929*x11*x12 + 44293*x12^2 + 13114*x1^3 + 55796*x1^2*x2 + 17901*x1*x2^2 + 31631*x2^3 + 65213*x1^2*x3 + 60036*x1*x2*x3 + 52934*x2^2*x3 + 12901*x1*x3^2 + 57216*x2*x3^2 + 16067*x3^3 + 34624*x1^2*x4 + 62610*x1*x2*x4 + 27617*x2^2*x4 + 32833*x1*x3*x4 + 9965*x2*x3*x4 + 48136*x3^2*x4 + 44665*x1*x4^2 + 32804*x2*x4^2 + 63011*x3*x4^2 + 27578*x4^3 + 44387*x1^2*x5 + 27263*x1*x2*x5 + 14260*x2^2*x5 + 8131*x1*x3*x5 + 45089*x2*x3*x5 + 54872*x3^2*x5 + 42752*x1*x4*x5 + 20514*x2*x4*x5 + 4853*x3*x4*x5 + 38815*x4^2*x5 + 43279*x1*x5^2 + 5592*x2*x5^2 + 15790*x3*x5^2 + 10307*x4*x5^2 + 12352*x5^3 + 52145*x1^2*x6 + 63892*x1*x2*x6 + 14403*x2^2*x6 + 38575*x1*x3*x6 + 45209*x2*x3*x6 + 7670*x3^2*x6 + 16615*x1*x4*x6 + 13437*x2*x4*x6 + 28988*x3*x4*x6 + 48143*x4^2*x6 + 55099*x1*x5*x6 + 48180*x2*x5*x6 + 25307*x3*x5*x6 + 10981*x4*x5*x6 + 14826*x5^2*x6 + 33023*x1*x6^2 + 37880*x2*x6^2 + 34514*x3*x6^2 + 22123*x4*x6^2 + 19522*x5*x6^2 + 25736*x6^3 + 14921*x1*x7 + 43892*x2*x7 + 10977*x3*x7 + 8969*x4*x7 + 5913*x5*x7 + 33252*x6*x7 + 16858*x1*x8 + 45115*x2*x8 + 57948*x3*x8 + 45237*x4*x8 + 8616*x5*x8 + 58541*x6*x8 + 34364*x1*x9 + 17488*x2*x9 + 37013*x3*x9 + 49117*x4*x9 + 13778*x5*x9 + 44173*x6*x9 + 17548*x1*x10 + 9417*x2*x10 + 12114*x3*x10 + 32910*x4*x10 + 15138*x5*x10 + 38546*x6*x10 + 62133*x1*x11 + 17957*x2*x11 + 20543*x3*x11 + 63693*x4*x11 + 34560*x5*x11 + 32307*x6*x11 + 1118*x1*x12 + 60472*x2*x12 + 50373*x3*x12 + 11548*x4*x12 + 37894*x5*x12 + 4984*x6*x12 + 57494*x1^2 + 38425*x1*x2 + 64697*x2^2 + 22702*x1*x3 + 6114*x2*x3 + 43003*x3^2 + 35218*x1*x4 + 33793*x2*x4 + 24529*x3*x4 + 18007*x4^2 + 58747*x1*x5 + 26302*x2*x5 + 50543*x3*x5 + 33936*x4*x5 + 34145*x5^2 + 61406*x1*x6 + 18393*x2*x6 + 39033*x3*x6 + 44235*x4*x6 + 11537*x5*x6 + 29720*x6^2 + 56360*x7 + 4217*x8 + 55546*x9 + 63566*x10 + 8893*x11 + 26543*x12 + 13275*x1 + 4160*x2 + 46199*x3 + 28007*x4 + 47627*x5 + 16438*x6 + 14684,
52774*x1^4 + 12505*x1^3*x2 + 43756*x1^2*x2^2 + 40298*x1*x2^3 + 28384*x2^4 + 13581*x1^3*x3 + 64625*x1^2*x2*x3 + 46274*x1*x2^2*x3 + 57795*x2^3*x3 + 46704*x1^2*x3^2 + 43284*x1*x2*x3^2 + 22180*x2^2*x3^2 + 29213*x1*x3^3 + 24805*x2*x3^3 + 25700*x3^4 + 22510*x1^3*x4 + 34929*x1^2*x2*x4 + 18834*x1*x2^2*x4 + 47072*x2^3*x4 + 21585*x1^2*x3*x4 + 38761*x1*x2*x3*x4 + 38464*x2^2*x3*x4 + 50781*x1*x3^2*x4 + 13141*x2*x3^2*x4 + 15479*x3^3*x4 + 53498*x1^2*x4^2 + 36348*x1*x2*x4^2 + 41681*x2^2*x4^2 + 13304*x1*x3*x4^2 + 5503*x2*x3*x4^2 + 54094*x3^2*x4^2 + 65015*x1*x4^3 + 58970*x2*x4^3 + 55097*x3*x4^3 + 35731*x4^4 + 60675*x1^3*x5 + 24380*x1^2*x2*x5 + 33012*x1*x2^2*x5 + 46467*x2^3*x5 + 33875*x1^2*x3*x5 + 15661*x1*x2*x3*x5 + 36001*x2^2*x3*x5 + 6446*x1*x3^2*x5 + 26353*x2*x3^2*x5 + 15659*x3^3*x5 + 60395*x1^2*x4*x5 + 24758*x1*x2*x4*x5 + 11971*x2^2*x4*x5 + 58394*x1*x3*x4*x5 + 22684*x2*x3*x4*x5 + 50923*x3^2*x4*x5 + 14451*x1*x4^2*x5 + 38727*x2*x4^2*x5 + 26305*x3*x4^2*x5 + 59334*x4^3*x5 + 10799*x1^2*x5^2 + 542*x1*x2*x5^2 + 27043*x2^2*x5^2 + 42584*x1*x3*x5^2 + 47215*x2*x3*x5^2 + 7240*x3^2*x5^2 + 1296*x1*x4*x5^2 + 33886*x2*x4*x5^2 + 9823*x3*x4*x5^2 + 45770*x4^2*x5^2 + 28750*x1*x5^3 + 21466*x2*x5^3 + 6640*x3*x5^3 + 9711*x4*x5^3 + 46507*x5^4 + 24781*x1^3*x6 + 54460*x1^2*x2*x6 + 52951*x1*x2^2*x6 + 30753*x2^3*x6 + 59557*x1^2*x3*x6 + 64428*x1*x2*x3*x6 + 32691*x2^2*x3*x6 + 61939*x1*x3^2*x6 + 41661*x2*x3^2*x6 + 9108*x3^3*x6 + 54275*x1^2*x4*x6 + 58493*x1*x2*x4*x6 + 3056*x2^2*x4*x6 + 101*x1*x3*x4*x6 + 9402*x2*x3*x4*x6 + 47039*x3^2*x4*x6 + 61138*x1*x4^2*x6 + 52299*x2*x4^2*x6 + 30359*x3*x4^2*x6 + 46263*x4^3*x6 + 43972*x1^2*x5*x6 + 22351*x1*x2*x5*x6 + 57913*x2^2*x5*x6 + 26352*x1*x3*x5*x6 + 42091*x2*x3*x5*x6 + 50117*x3^2*x5*x6 + 34239*x1*x4*x5*x6 + 51298*x2*x4*x5*x6 + 45384*x3*x4*x5*x6 + 51074*x4^2*x5*x6 + 52301*x1*x5^2*x6 + 47450*x2*x5^2*x6 + 47066*x3*x5^2*x6 + 16242*x4*x5^2*x6 + 14725*x5^3*x6 + 65300*x1^2*x6^2 + 20699*x1*x2*x6^2 + 43981*x2^2*x6^2 + 36168*x1*x3*x6^2 + 46854*x2*x3*x6^2 + 20875*x3^2*x6^2 + 55910*x1*x4*x6^2 + 1294*x2*x4*x6^2 + 26837*x3*x4*x6^2 + 2954*x4^2*x6^2 + 8507*x1*x5*x6^2 + 28028*x2*x5*x6^2 + 8314*x3*x5*x6^2 + 22279*x4*x5*x6^2 + 9448*x5^2*x6^2 + 61362*x1*x6^3 + 41387*x2*x6^3 + 34751*x3*x6^3 + 56967*x4*x6^3 + 33908*x5*x6^3 + 60739*x6^4 + 30476*x1^2*x7 + 3589*x1*x2*x7 + 6297*x2^2*x7 + 4134*x1*x3*x7 + 33161*x2*x3*x7 + 47166*x3^2*x7 + 62966*x1*x4*x7 + 54994*x2*x4*x7 + 44632*x3*x4*x7 + 10993*x4^2*x7 + 13347*x1*x5*x7 + 29043*x2*x5*x7 + 884*x3*x5*x7 + 1608*x4*x5*x7 + 54585*x5^2*x7 + 43767*x1*x6*x7 + 24403*x2*x6*x7 + 16148*x3*x6*x7 + 3812*x4*x6*x7 + 11052*x5*x6*x7 + 53525*x6^2*x7 + 1147*x7^2 + 8580*x1^2*x8 + 39874*x1*x2*x8 + 8652*x2^2*x8 + 38966*x1*x3*x8 + 30435*x2*x3*x8 + 50900*x3^2*x8 + 48304*x1*x4*x8 + 59158*x2*x4*x8 + 33821*x3*x4*x8 + 10387*x4^2*x8 + 46424*x1*x5*x8 + 26038*x2*x5*x8 + 2231*x3*x5*x8 + 45842*x4*x5*x8 + 64492*x5^2*x8 + 2884*x1*x6*x8 + 38953*x2*x6*x8 + 28430*x3*x6*x8 + 58472*x4*x6*x8 + 34185*x5*x6*x8 + 3474*x6^2*x8 + 40525*x7*x8 + 16395*x8^2 + 63490*x1^2*x9 + 43204*x1*x2*x9 + 2203*x2^2*x9 + 46830*x1*x3*x9 + 24215*x2*x3*x9 + 31594*x3^2*x9 + 22533*x1*x4*x9 + 45390*x2*x4*x9 + 41361*x3*x4*x9 + 5954*x4^2*x9 + 30149*x1*x5*x9 + 55303*x2*x5*x9 + 47939*x3*x5*x9 + 5801*x4*x5*x9 + 57182*x5^2*x9 + 26687*x1*x6*x9 + 37702*x2*x6*x9 + 15698*x3*x6*x9 + 26333*x4*x6*x9 + 42507*x5*x6*x9 + 7768*x6^2*x9 + 23426*x7*x9 + 20314*x8*x9 + 24570*x9^2 + 11649*x1^2*x10 + 21193*x1*x2*x10 + 42536*x2^2*x10 + 43975*x1*x3*x10 + 64935*x2*x3*x10 + 20292*x3^2*x10 + 28439*x1*x4*x10 + 23894*x2*x4*x10 + 56005*x3*x4*x10 + 3529*x4^2*x10 + 39171*x1*x5*x10 + 49483*x2*x5*x10 + 7875*x3*x5*x10 + 59434*x4*x5*x10 + 6112*x5^2*x10 + 42713*x1*x6*x10 + 36203*x2*x6*x10 + 42696*x3*x6*x10 + 24784*x4*x6*x10 + 60466*x5*x6*x10 + 39102*x6^2*x10 + 54754*x7*x10 + 39016*x8*x10 + 34358*x9*x10 + 33522*x10^2 + 5671*x1^2*x11 + 41893*x1*x2*x11 + 57662*x2^2*x11 + 46734*x1*x3*x11 + 7987*x2*x3*x11 + 46496*x3^2*x11 + 15136*x1*x4*x11 + 46023*x2*x4*x11 + 22543*x3*x4*x11 + 37439*x4^2*x11 + 9265*x1*x5*x11 + 15235*x2*x5*x11 + 54954*x3*x5*x11 + 58974*x4*x5*x11 + 47209*x5^2*x11 + 19117*x1*x6*x11 + 43702*x2*x6*x11 + 2147*x3*x6*x11 + 37476*x4*x6*x11 + 17198*x5*x6*x11 + 32917*x6^2*x11 + 3432*x7*x11 + 19257*x8*x11 + 51414*x9*x11 + 42298*x10*x11 + 27662*x11^2 + 38093*x1^2*x12 + 34080*x1*x2*x12 + 48345*x2^2*x12 + 4964*x1*x3*x12 + 18367*x2*x3*x12 + 25788*x3^2*x12 + 29066*x1*x4*x12 + 59718*x2*x4*x12 + 62412*x3*x4*x12 + 23533*x4^2*x12 + 46035*x1*x5*x12 + 22913*x2*x5*x12 + 64184*x3*x5*x12 + 19660*x4*x5*x12 + 53959*x5^2*x12 + 36414*x1*x6*x12 + 25188*x2*x6*x12 + 58334*x3*x6*x12 + 62873*x4*x6*x12 + 64554*x5*x6*x12 + 60090*x6^2*x12 + 5837*x7*x12 + 14955*x8*x12 + 32349*x9*x12 + 14982*x10*x12 + 15676*x11*x12 + 14828*x12^2 + 62042*x1^3 + 22057*x1^2*x2 + 48185*x1*x2^2 + 17962*x2^3 + 18254*x1^2*x3 + 29259*x1*x2*x3 + 35451*x2^2*x3 + 410*x1*x3^2 + 30649*x2*x3^2 + 44339*x3^3 + 63179*x1^2*x4 + 3098*x1*x2*x4 + 35498*x2^2*x4 + 9852*x1*x3*x4 + 43669*x2*x3*x4 + 25613*x3^2*x4 + 14288*x1*x4^2 + 41238*x2*x4^2 + 17166*x3*x4^2 + 22907*x4^3 + 1504*x1^2*x5 + 31229*x1*x2*x5 + 21947*x2^2*x5 + 41970*x1*x3*x5 + 6231*x2*x3*x5 + 38115*x3^2*x5 + 14009*x1*x4*x5 + 6188*x2*x4*x5 + 32114*x3*x4*x5 + 10288*x4^2*x5 + 26760*x1*x5^2 + 56827*x2*x5^2 + 3588*x3*x5^2 + 4000*x4*x5^2 + 22776*x5^3 + 8938*x1^2*x6 + 4690*x1*x2*x6 + 28897*x2^2*x6 + 11509*x1*x3*x6 + 37084*x2*x3*x6 + 23978*x3^2*x6 + 46454*x1*x4*x6 + 22284*x2*x4*x6 + 40977*x3*x4*x6 + 43025*x4^2*x6 + 56554*x1*x5*x6 + 23489*x2*x5*x6 + 16681*x3*x5*x6 + 43164*x4*x5*x6 + 4170*x5^2*x6 + 44797*x1*x6^2 + 60629*x2*x6^2 + 55363*x3*x6^2 + 5690*x4*x6^2 + 434*x5*x6^2 + 10269*x6^3 + 54956*x1*x7 + 12918*x2*x7 + 26161*x3*x7 + 57882*x4*x7 + 21001*x5*x7 + 10736*x6*x7 + 64863*x1*x8 + 53024*x2*x8 + 61509*x3*x8 + 24897*x4*x8 + 56279*x5*x8 + 33519*x6*x8 + 37764*x1*x9 + 50550*x2*x9 + 57690*x3*x9 + 25374*x4*x9 + 11982*x5*x9 + 54164*x6*x9 + 60538*x1*x10 + 2665*x2*x10 + 62750*x3*x10 + 35832*x4*x10 + 13186*x5*x10 + 17530*x6*x10 + 29935*x1*x11 + 43429*x2*x11 + 7987*x3*x11 + 52671*x4*x11 + 7081*x5*x11 + 231*x6*x11 + 55570*x1*x12 + 37351*x2*x12 + 11144*x3*x12 + 59748*x4*x12 + 35805*x5*x12 + 7476*x6*x12 + 28711*x1^2 + 10093*x1*x2 + 55069*x2^2 + 39360*x1*x3 + 57003*x2*x3 + 19624*x3^2 + 10160*x1*x4 + 42153*x2*x4 + 51748*x3*x4 + 2178*x4^2 + 58946*x1*x5 + 44384*x2*x5 + 45651*x3*x5 + 63983*x4*x5 + 6404*x5^2 + 41869*x1*x6 + 11430*x2*x6 + 51964*x3*x6 + 54225*x4*x6 + 61105*x5*x6 + 25058*x6^2 + 21265*x7 + 16697*x8 + 46709*x9 + 60191*x10 + 25820*x11 + 59555*x12 + 43193*x1 + 60526*x2 + 40101*x3 + 57660*x4 + 48301*x5 + 13356*x6 + 3146,
43095*x1^4 + 57945*x1^3*x2 + 28696*x1^2*x2^2 + 16452*x1*x2^3 + 1229*x2^4 + 37781*x1^3*x3 + 17922*x1^2*x2*x3 + 64384*x1*x2^2*x3 + 16734*x2^3*x3 + 31379*x1^2*x3^2 + 2508*x1*x2*x3^2 + 33435*x2^2*x3^2 + 38902*x1*x3^3 + 11075*x2*x3^3 + 32310*x3^4 + 25330*x1^3*x4 + 3434*x1^2*x2*x4 + 4610*x1*x2^2*x4 + 25086*x2^3*x4 + 56113*x1^2*x3*x4 + 1973*x1*x2*x3*x4 + 6783*x2^2*x3*x4 + 50401*x1*x3^2*x4 + 23292*x2*x3^2*x4 + 24706*x3^3*x4 + 52981*x1^2*x4^2 + 53856*x1*x2*x4^2 + 3232*x2^2*x4^2 + 20831*x1*x3*x4^2 + 59400*x2*x3*x4^2 + 3585*x3^2*x4^2 + 33917*x1*x4^3 + 11368*x2*x4^3 + 29633*x3*x4^3 + 64253*x4^4 + 40174*x1^3*x5 + 21086*x1^2*x2*x5 + 34190*x1*x2^2*x5 + 53374*x2^3*x5 + 22159*x1^2*x3*x5 + 57789*x1*x2*x3*x5 + 30273*x2^2*x3*x5 + 22668*x1*x3^2*x5 + 10443*x2*x3^2*x5 + 16434*x3^3*x5 + 5346*x1^2*x4*x5 + 28196*x1*x2*x4*x5 + 24335*x2^2*x4*x5 + 18143*x1*x3*x4*x5 + 46864*x2*x3*x4*x5 + 6237*x3^2*x4*x5 + 28134*x1*x4^2*x5 + 45957*x2*x4^2*x5 + 62159*x3*x4^2*x5 + 6468*x4^3*x5 + 50561*x1^2*x5^2 + 6329*x1*x2*x5^2 + 36287*x2^2*x5^2 + 64628*x1*x3*x5^2 + 51651*x2*x3*x5^2 + 24480*x3^2*x5^2 + 15537*x1*x4*x5^2 + 37845*x2*x4*x5^2 + 55508*x3*x4*x5^2 + 24031*x4^2*x5^2 + 4016*x1*x5^3 + 55546*x2*x5^3 + 44659*x3*x5^3 + 17597*x4*x5^3 + 7712*x5^4 + 62347*x1^3*x6 + 30210*x1^2*x2*x6 + 52627*x1*x2^2*x6 + 32573*x2^3*x6 + 58638*x1^2*x3*x6 + 65404*x1*x2*x3*x6 + 60993*x2^2*x3*x6 + 27869*x1*x3^2*x6 + 51652*x2*x3^2*x6 + 54284*x3^3*x6 + 23071*x1^2*x4*x6 + 64239*x1*x2*x4*x6 + 45519*x2^2*x4*x6 + 9202*x1*x3*x4*x6 + 64380*x2*x3*x4*x6 + 41639*x3^2*x4*x6 + 26963*x1*x4^2*x6 + 49220*x2*x4^2*x6 + 11971*x3*x4^2*x6 + 51206*x4^3*x6 + 22284*x1^2*x5*x6 + 5880*x1*x2*x5*x6 + 34387*x2^2*x5*x6 + 51253*x1*x3*x5*x6 + 59430*x2*x3*x5*x6 + 31503*x3^2*x5*x6 + 47679*x1*x4*x5*x6 + 6831*x2*x4*x5*x6 + 30934*x3*x4*x5*x6 + 42690*x4^2*x5*x6 + 62381*x1*x5^2*x6 + 30250*x2*x5^2*x6 + 23172*x3*x5^2*x6 + 46834*x4*x5^2*x6 + 63896*x5^3*x6 + 6311*x1^2*x6^2 + 8969*x1*x2*x6^2 + 54422*x2^2*x6^2 + 37823*x1*x3*x6^2 + 27291*x2*x3*x6^2 + 28011*x3^2*x6^2 + 33530*x1*x4*x6^2 + 50414*x2*x4*x6^2 + 35421*x3*x4*x6^2 + 23930*x4^2*x6^2 + 50984*x1*x5*x6^2 + 21495*x2*x5*x6^2 + 48533*x3*x5*x6^2 + 44497*x4*x5*x6^2 + 10617*x5^2*x6^2 + 38632*x1*x6^3 + 41240*x2*x6^3 + 36711*x3*x6^3 + 51953*x4*x6^3 + 12431*x5*x6^3 + 39116*x6^4 + 17513*x1^2*x7 + 20198*x1*x2*x7 + 17904*x2^2*x7 + 28274*x1*x3*x7 + 21316*x2*x3*x7 + 41853*x3^2*x7 + 32194*x1*x4*x7 + 55836*x2*x4*x7 + 26632*x3*x4*x7 + 45872*x4^2*x7 + 15817*x1*x5*x7 + 12263*x2*x5*x7 + 1559*x3*x5*x7 + 58920*x4*x5*x7 + 60760*x5^2*x7 + 47577*x1*x6*x7 + 9077*x2*x6*x7 + 31139*x3*x6*x7 + 40059*x4*x6*x7 + 33317*x5*x6*x7 + 47778*x6^2*x7 + 27365*x7^2 + 16778*x1^2*x8 + 55170*x1*x2*x8 + 49283*x2^2*x8 + 31458*x1*x3*x8 + 35065*x2*x3*x8 + 31398*x3^2*x8 + 43610*x1*x4*x8 + 39907*x2*x4*x8 + 23024*x3*x4*x8 + 39575*x4^2*x8 + 18706*x1*x5*x8 + 63760*x2*x5*x8 + 20368*x3*x5*x8 + 64070*x4*x5*x8 + 12745*x5^2*x8 + 4390*x1*x6*x8 + 53240*x2*x6*x8 + 53902*x3*x6*x8 + 42189*x4*x6*x8 + 1559*x5*x6*x8 + 33607*x6^2*x8 + 53225*x7*x8 + 5053*x8^2 + 4341*x1^2*x9 + 8673*x1*x2*x9 + 22038*x2^2*x9 + 42380*x1*x3*x9 + 28210*x2*x3*x9 + 30966*x3^2*x9 + 16840*x1*x4*x9 + 14387*x2*x4*x9 + 21192*x3*x4*x9 + 24235*x4^2*x9 + 24081*x1*x5*x9 + 33744*x2*x5*x9 + 49300*x3*x5*x9 + 26986*x4*x5*x9 + 10010*x5^2*x9 + 40177*x1*x6*x9 + 41812*x2*x6*x9 + 35592*x3*x6*x9 + 47155*x4*x6*x9 + 2653*x5*x6*x9 + 57690*x6^2*x9 + 18997*x7*x9 + 30171*x8*x9 + 62219*x9^2 + 43847*x1^2*x10 + 13316*x1*x2*x10 + 32564*x2^2*x10 + 57600*x1*x3*x10 + 63989*x2*x3*x10 + 61304*x3^2*x10 + 36058*x1*x4*x10 + 51723*x2*x4*x10 + 52748*x3*x4*x10 + 52943*x4^2*x10 + 11080*x1*x5*x10 + 23939*x2*x5*x10 + 694*x3*x5*x10 + 46008*x4*x5*x10 + 56013*x5^2*x10 + 57425*x1*x6*x10 + 7484*x2*x6*x10 + 16954*x3*x6*x10 + 40868*x4*x6*x10 + 62927*x5*x6*x10 + 4646*x6^2*x10 + 31164*x7*x10 + 25078*x8*x10 + 22161*x9*x10 + 21188*x10^2 + 2493*x1^2*x11 + 37988*x1*x2*x11 + 21647*x2^2*x11 + 17767*x1*x3*x11 + 28092*x2*x3*x11 + 14103*x3^2*x11 + 56339*x1*x4*x11 + 6818*x2*x4*x11 + 1615*x3*x4*x11 + 35738*x4^2*x11 + 25166*x1*x5*x11 + 28312*x2*x5*x11 + 34950*x3*x5*x11 + 37506*x4*x5*x11 + 65001*x5^2*x11 + 15102*x1*x6*x11 + 9757*x2*x6*x11 + 32927*x3*x6*x11 + 320*x4*x6*x11 + 12950*x5*x6*x11 + 38881*x6^2*x11 + 36860*x7*x11 + 20501*x8*x11 + 59432*x9*x11 + 921*x10*x11 + 12652*x11^2 + 18275*x1^2*x12 + 22950*x1*x2*x12 + 270*x2^2*x12 + 23511*x1*x3*x12 + 10242*x2*x3*x12 + 45382*x3^2*x12 + 23580*x1*x4*x12 + 16695*x2*x4*x12 + 48501*x3*x4*x12 + 16349*x4^2*x12 + 41756*x1*x5*x12 + 8598*x2*x5*x12 + 2398*x3*x5*x12 + 53043*x4*x5*x12 + 23509*x5^2*x12 + 18040*x1*x6*x12 + 13217*x2*x6*x12 + 62623*x3*x6*x12 + 27906*x4*x6*x12 + 58957*x5*x6*x12 + 35151*x6^2*x12 + 23630*x7*x12 + 2599*x8*x12 + 23341*x9*x12 + 38733*x10*x12 + 20061*x11*x12 + 497*x12^2 + 2797*x1^3 + 14623*x1^2*x2 + 51045*x1*x2^2 + 20395*x2^3 + 33068*x1^2*x3 + 52657*x1*x2*x3 + 28623*x2^2*x3 + 953*x1*x3^2 + 44498*x2*x3^2 + 19672*x3^3 + 5633*x1^2*x4 + 60446*x1*x2*x4 + 31780*x2^2*x4 + 51028*x1*x3*x4 + 31203*x2*x3*x4 + 14856*x3^2*x4 + 19173*x1*x4^2 + 7841*x2*x4^2 + 22923*x3*x4^2 + 32468*x4^3 + 12346*x1^2*x5 + 62955*x1*x2*x5 + 31132*x2^2*x5 + 22918*x1*x3*x5 + 60189*x2*x3*x5 + 11932*x3^2*x5 + 1704*x1*x4*x5 + 65298*x2*x4*x5 + 32865*x3*x4*x5 + 61966*x4^2*x5 + 41385*x1*x5^2 + 57788*x2*x5^2 + 55642*x3*x5^2 + 40453*x4*x5^2 + 13572*x5^3 + 44722*x1^2*x6 + 34428*x1*x2*x6 + 12946*x2^2*x6 + 58257*x1*x3*x6 + 30523*x2*x3*x6 + 59231*x3^2*x6 + 51461*x1*x4*x6 + 32018*x2*x4*x6 + 54718*x3*x4*x6 + 22161*x4^2*x6 + 47311*x1*x5*x6 + 9849*x2*x5*x6 + 24865*x3*x5*x6 + 9119*x4*x5*x6 + 49461*x5^2*x6 + 15503*x1*x6^2 + 60897*x2*x6^2 + 60210*x3*x6^2 + 58375*x4*x6^2 + 27576*x5*x6^2 + 14846*x6^3 + 28726*x1*x7 + 6530*x2*x7 + 31737*x3*x7 + 44681*x4*x7 + 45748*x5*x7 + 32303*x6*x7 + 52498*x1*x8 + 62195*x2*x8 + 31710*x3*x8 + 40992*x4*x8 + 3070*x5*x8 + 42977*x6*x8 + 46550*x1*x9 + 15948*x2*x9 + 10631*x3*x9 + 48220*x4*x9 + 38410*x5*x9 + 33183*x6*x9 + 43370*x1*x10 + 55008*x2*x10 + 50132*x3*x10 + 46677*x4*x10 + 9076*x5*x10 + 43237*x6*x10 + 49433*x1*x11 + 22376*x2*x11 + 16595*x3*x11 + 40792*x4*x11 + 53354*x5*x11 + 54066*x6*x11 + 29596*x1*x12 + 8275*x2*x12 + 29018*x3*x12 + 6195*x4*x12 + 62697*x5*x12 + 48145*x6*x12 + 8134*x1^2 + 32970*x1*x2 + 33339*x2^2 + 9424*x1*x3 + 29128*x2*x3 + 28849*x3^2 + 26170*x1*x4 + 185*x2*x4 + 23915*x3*x4 + 15757*x4^2 + 41360*x1*x5 + 15440*x2*x5 + 26980*x3*x5 + 16191*x4*x5 + 44665*x5^2 + 40654*x1*x6 + 57717*x2*x6 + 7368*x3*x6 + 57111*x4*x6 + 49749*x5*x6 + 7316*x6^2 + 15530*x7 + 43843*x8 + 50126*x9 + 21870*x10 + 18958*x11 + 40467*x12 + 30168*x1 + 47737*x2 + 34701*x3 + 11420*x4 + 16260*x5 + 63533*x6 + 36512,
45035*x1^4 + 7053*x1^3*x2 + 16347*x1^2*x2^2 + 14209*x1*x2^3 + 49347*x2^4 + 52032*x1^3*x3 + 61434*x1^2*x2*x3 + 10300*x1*x2^2*x3 + 58062*x2^3*x3 + 6932*x1^2*x3^2 + 52474*x1*x2*x3^2 + 12725*x2^2*x3^2 + 38406*x1*x3^3 + 55219*x2*x3^3 + 19380*x3^4 + 32551*x1^3*x4 + 42324*x1^2*x2*x4 + 5242*x1*x2^2*x4 + 731*x2^3*x4 + 53804*x1^2*x3*x4 + 41920*x1*x2*x3*x4 + 26334*x2^2*x3*x4 + 6322*x1*x3^2*x4 + 34517*x2*x3^2*x4 + 49535*x3^3*x4 + 27099*x1^2*x4^2 + 45376*x1*x2*x4^2 + 12123*x2^2*x4^2 + 19191*x1*x3*x4^2 + 12817*x2*x3*x4^2 + 35039*x3^2*x4^2 + 58071*x1*x4^3 + 58842*x2*x4^3 + 15491*x3*x4^3 + 40133*x4^4 + 57423*x1^3*x5 + 50907*x1^2*x2*x5 + 42878*x1*x2^2*x5 + 5672*x2^3*x5 + 55803*x1^2*x3*x5 + 48059*x1*x2*x3*x5 + 17883*x2^2*x3*x5 + 53202*x1*x3^2*x5 + 13066*x2*x3^2*x5 + 64537*x3^3*x5 + 22423*x1^2*x4*x5 + 36919*x1*x2*x4*x5 + 3254*x2^2*x4*x5 + 31708*x1*x3*x4*x5 + 61799*x2*x3*x4*x5 + 22376*x3^2*x4*x5 + 53057*x1*x4^2*x5 + 34609*x2*x4^2*x5 + 14570*x3*x4^2*x5 + 20867*x4^3*x5 + 29771*x1^2*x5^2 + 50670*x1*x2*x5^2 + 46611*x2^2*x5^2 + 6807*x1*x3*x5^2 + 50638*x2*x3*x5^2 + 18116*x3^2*x5^2 + 53671*x1*x4*x5^2 + 34115*x2*x4*x5^2 + 52689*x3*x4*x5^2 + 28807*x4^2*x5^2 + 33287*x1*x5^3 + 56489*x2*x5^3 + 35780*x3*x5^3 + 54042*x4*x5^3 + 14956*x5^4 + 42738*x1^3*x6 + 50788*x1^2*x2*x6 + 11808*x1*x2^2*x6 + 40971*x2^3*x6 + 60813*x1^2*x3*x6 + 26353*x1*x2*x3*x6 + 48288*x2^2*x3*x6 + 25513*x1*x3^2*x6 + 9161*x2*x3^2*x6 + 48425*x3^3*x6 + 28973*x1^2*x4*x6 + 35224*x1*x2*x4*x6 + 41627*x2^2*x4*x6 + 47654*x1*x3*x4*x6 + 30884*x2*x3*x4*x6 + 16232*x3^2*x4*x6 + 35998*x1*x4^2*x6 + 50984*x2*x4^2*x6 + 12319*x3*x4^2*x6 + 1210*x4^3*x6 + 28234*x1^2*x5*x6 + 59689*x1*x2*x5*x6 + 11317*x2^2*x5*x6 + 4809*x1*x3*x5*x6 + 64540*x2*x3*x5*x6 + 19657*x3^2*x5*x6 + 64050*x1*x4*x5*x6 + 52016*x2*x4*x5*x6 + 559*x3*x4*x5*x6 + 41057*x4^2*x5*x6 + 42289*x1*x5^2*x6 + 57961*x2*x5^2*x6 + 17951*x3*x5^2*x6 + 12316*x4*x5^2*x6 + 27062*x5^3*x6 + 59875*x1^2*x6^2 + 57547*x1*x2*x6^2 + 37434*x2^2*x6^2 + 33708*x1*x3*x6^2 + 36392*x2*x3*x6^2 + 23675*x3^2*x6^2 + 1333*x1*x4*x6^2 + 40615*x2*x4*x6^2 + 11342*x3*x4*x6^2 + 4129*x4^2*x6^2 + 52053*x1*x5*x6^2 + 28623*x2*x5*x6^2 + 47463*x3*x5*x6^2 + 30366*x4*x5*x6^2 + 29440*x5^2*x6^2 + 24535*x1*x6^3 + 22055*x2*x6^3 + 58217*x3*x6^3 + 48427*x4*x6^3 + 10658*x5*x6^3 + 6049*x6^4 + 24170*x1^2*x7 + 34752*x1*x2*x7 + 14098*x2^2*x7 + 35649*x1*x3*x7 + 61927*x2*x3*x7 + 12509*x3^2*x7 + 51159*x1*x4*x7 + 32643*x2*x4*x7 + 58736*x3*x4*x7 + 60978*x4^2*x7 + 25650*x1*x5*x7 + 56184*x2*x5*x7 + 411*x3*x5*x7 + 13275*x4*x5*x7 + 23510*x5^2*x7 + 55675*x1*x6*x7 + 12059*x2*x6*x7 + 40834*x3*x6*x7 + 38429*x4*x6*x7 + 38937*x5*x6*x7 + 31764*x6^2*x7 + 14433*x7^2 + 4644*x1^2*x8 + 51631*x1*x2*x8 + 51552*x2^2*x8 + 4138*x1*x3*x8 + 5920*x2*x3*x8 + 29251*x3^2*x8 + 37872*x1*x4*x8 + 36393*x2*x4*x8 + 59896*x3*x4*x8 + 63358*x4^2*x8 + 42268*x1*x5*x8 + 42093*x2*x5*x8 + 2853*x3*x5*x8 + 55570*x4*x5*x8 + 29404*x5^2*x8 + 57778*x1*x6*x8 + 47132*x2*x6*x8 + 53749*x3*x6*x8 + 4067*x4*x6*x8 + 49466*x5*x6*x8 + 60931*x6^2*x8 + 52418*x7*x8 + 62963*x8^2 + 56922*x1^2*x9 + 44363*x1*x2*x9 + 36233*x2^2*x9 + 34574*x1*x3*x9 + 25077*x2*x3*x9 + 55426*x3^2*x9 + 51938*x1*x4*x9 + 22745*x2*x4*x9 + 51518*x3*x4*x9 + 15687*x4^2*x9 + 49836*x1*x5*x9 + 14825*x2*x5*x9 + 10693*x3*x5*x9 + 55236*x4*x5*x9 + 40831*x5^2*x9 + 8454*x1*x6*x9 + 62402*x2*x6*x9 + 62634*x3*x6*x9 + 31968*x4*x6*x9 + 15378*x5*x6*x9 + 16564*x6^2*x9 + 45891*x7*x9 + 50438*x8*x9 + 25952*x9^2 + 9995*x1^2*x10 + 34534*x1*x2*x10 + 58697*x2^2*x10 + 6177*x1*x3*x10 + 34687*x2*x3*x10 + 40806*x3^2*x10 + 59092*x1*x4*x10 + 43777*x2*x4*x10 + 23260*x3*x4*x10 + 63061*x4^2*x10 + 27645*x1*x5*x10 + 13749*x2*x5*x10 + 39359*x3*x5*x10 + 59066*x4*x5*x10 + 9610*x5^2*x10 + 29685*x1*x6*x10 + 64838*x2*x6*x10 + 46145*x3*x6*x10 + 38830*x4*x6*x10 + 14428*x5*x6*x10 + 60790*x6^2*x10 + 40385*x7*x10 + 35242*x8*x10 + 26270*x9*x10 + 46887*x10^2 + 62831*x1^2*x11 + 64909*x1*x2*x11 + 23194*x2^2*x11 + 49180*x1*x3*x11 + 19037*x2*x3*x11 + 53555*x3^2*x11 + 15098*x1*x4*x11 + 4797*x2*x4*x11 + 1322*x3*x4*x11 + 21042*x4^2*x11 + 22136*x1*x5*x11 + 9322*x2*x5*x11 + 479*x3*x5*x11 + 20704*x4*x5*x11 + 61130*x5^2*x11 + 59516*x1*x6*x11 + 23145*x2*x6*x11 + 60340*x3*x6*x11 + 22813*x4*x6*x11 + 42472*x5*x6*x11 + 16192*x6^2*x11 + 25883*x7*x11 + 14498*x8*x11 + 24352*x9*x11 + 46383*x10*x11 + 40709*x11^2 + 58882*x1^2*x12 + 53974*x1*x2*x12 + 55469*x2^2*x12 + 35077*x1*x3*x12 + 56439*x2*x3*x12 + 35018*x3^2*x12 + 63896*x1*x4*x12 + 47790*x2*x4*x12 + 46303*x3*x4*x12 + 35816*x4^2*x12 + 56982*x1*x5*x12 + 27522*x2*x5*x12 + 41306*x3*x5*x12 + 21717*x4*x5*x12 + 57675*x5^2*x12 + 16972*x1*x6*x12 + 52466*x2*x6*x12 + 62586*x3*x6*x12 + 9483*x4*x6*x12 + 8137*x5*x6*x12 + 27136*x6^2*x12 + 19705*x7*x12 + 58337*x8*x12 + 8401*x9*x12 + 25128*x10*x12 + 13742*x11*x12 + 21362*x12^2 + 52654*x1^3 + 38699*x1^2*x2 + 33122*x1*x2^2 + 32619*x2^3 + 55709*x1^2*x3 + 21201*x1*x2*x3 + 8817*x2^2*x3 + 2178*x1*x3^2 + 11639*x2*x3^2 + 26052*x3^3 + 29192*x1^2*x4 + 45685*x1*x2*x4 + 51420*x2^2*x4 + 50714*x1*x3*x4 + 7251*x2*x3*x4 + 37290*x3^2*x4 + 2100*x1*x4^2 + 54188*x2*x4^2 + 44695*x3*x4^2 + 49497*x4^3 + 42391*x1^2*x5 + 31130*x1*x2*x5 + 60440*x2^2*x5 + 55521*x1*x3*x5 + 49806*x2*x3*x5 + 62757*x3^2*x5 + 9139*x1*x4*x5 + 38323*x2*x4*x5 + 45612*x3*x4*x5 + 44684*x4^2*x5 + 23032*x1*x5^2 + 56415*x2*x5^2 + 58158*x3*x5^2 + 1131*x4*x5^2 + 3603*x5^3 + 18826*x1^2*x6 + 37774*x1*x2*x6 + 53763*x2^2*x6 + 37129*x1*x3*x6 + 32941*x2*x3*x6 + 15892*x3^2*x6 + 40189*x1*x4*x6 + 41277*x2*x4*x6 + 42609*x3*x4*x6 + 53216*x4^2*x6 + 31833*x1*x5*x6 + 14618*x2*x5*x6 + 20732*x3*x5*x6 + 9303*x4*x5*x6 + 14515*x5^2*x6 + 55308*x1*x6^2 + 36663*x2*x6^2 + 48698*x3*x6^2 + 16582*x4*x6^2 + 26063*x5*x6^2 + 10077*x6^3 + 42737*x1*x7 + 37543*x2*x7 + 21053*x3*x7 + 28184*x4*x7 + 39364*x5*x7 + 47493*x6*x7 + 70*x1*x8 + 45859*x2*x8 + 64637*x3*x8 + 8674*x4*x8 + 41132*x5*x8 + 49501*x6*x8 + 7990*x1*x9 + 12243*x2*x9 + 64946*x3*x9 + 32227*x4*x9 + 42257*x5*x9 + 20542*x6*x9 + 50224*x1*x10 + 25763*x2*x10 + 31038*x3*x10 + 63355*x4*x10 + 44226*x5*x10 + 29454*x6*x10 + 1200*x1*x11 + 7164*x2*x11 + 23537*x3*x11 + 21563*x4*x11 + 2942*x5*x11 + 46696*x6*x11 + 48200*x1*x12 + 54187*x2*x12 + 21276*x3*x12 + 27002*x4*x12 + 23808*x5*x12 + 28732*x6*x12 + 15730*x1^2 + 60705*x1*x2 + 11184*x2^2 + 64563*x1*x3 + 61706*x2*x3 + 16129*x3^2 + 60202*x1*x4 + 11521*x2*x4 + 38526*x3*x4 + 16698*x4^2 + 18521*x1*x5 + 33683*x2*x5 + 108*x3*x5 + 30854*x4*x5 + 19156*x5^2 + 9822*x1*x6 + 45395*x2*x6 + 48009*x3*x6 + 9742*x4*x6 + 54746*x5*x6 + 27737*x6^2 + 52217*x7 + 8857*x8 + 22914*x9 + 10913*x10 + 37355*x11 + 36605*x12 + 24825*x1 + 26779*x2 + 62232*x3 + 15599*x4 + 45686*x5 + 14259*x6 + 54402
]
: