#C Idéal générique en 6 variables #C Système de poids : 1,1,2,2,3,3 #C Système de degrés : 12,12,12,12,12,12 #C D'abord avec poids puis sans poids #vars [x1,x2,x3,x4,x5,x6] #weights <1 1 2 2 3 3> #list [ 13234*x1^12 + 55065*x1^11*x2 + 57055*x1^10*x2^2 + 29189*x1^9*x2^3 + 25402*x1^8*x2^4 + 62144*x1^7*x2^5 + 802*x1^6*x2^6 + 29639*x1^5*x2^7 + 24873*x1^4*x2^8 + 32516*x1^3*x2^9 + 42782*x1^2*x2^10 + 45728*x1*x2^11 + 13429*x2^12 + 13351*x1^10*x3 + 37350*x1^9*x2*x3 + 45712*x1^8*x2^2*x3 + 33121*x1^7*x2^3*x3 + 56140*x1^6*x2^4*x3 + 2592*x1^5*x2^5*x3 + 26160*x1^4*x2^6*x3 + 7881*x1^3*x2^7*x3 + 36522*x1^2*x2^8*x3 + 9209*x1*x2^9*x3 + 63835*x2^10*x3 + 2969*x1^8*x3^2 + 19456*x1^7*x2*x3^2 + 29892*x1^6*x2^2*x3^2 + 8779*x1^5*x2^3*x3^2 + 65111*x1^4*x2^4*x3^2 + 64887*x1^3*x2^5*x3^2 + 40134*x1^2*x2^6*x3^2 + 36036*x1*x2^7*x3^2 + 11989*x2^8*x3^2 + 4499*x1^6*x3^3 + 16939*x1^5*x2*x3^3 + 11442*x1^4*x2^2*x3^3 + 23332*x1^3*x2^3*x3^3 + 12563*x1^2*x2^4*x3^3 + 23963*x1*x2^5*x3^3 + 57604*x2^6*x3^3 + 8156*x1^4*x3^4 + 698*x1^3*x2*x3^4 + 18517*x1^2*x2^2*x3^4 + 21796*x1*x2^3*x3^4 + 33089*x2^4*x3^4 + 63619*x1^2*x3^5 + 380*x1*x2*x3^5 + 51113*x2^2*x3^5 + 42818*x3^6 + 21204*x1^10*x4 + 4357*x1^9*x2*x4 + 31637*x1^8*x2^2*x4 + 50851*x1^7*x2^3*x4 + 51245*x1^6*x2^4*x4 + 15952*x1^5*x2^5*x4 + 11572*x1^4*x2^6*x4 + 31557*x1^3*x2^7*x4 + 10972*x1^2*x2^8*x4 + 39523*x1*x2^9*x4 + 716*x2^10*x4 + 2523*x1^8*x3*x4 + 25448*x1^7*x2*x3*x4 + 47020*x1^6*x2^2*x3*x4 + 46951*x1^5*x2^3*x3*x4 + 6323*x1^4*x2^4*x3*x4 + 48488*x1^3*x2^5*x3*x4 + 50952*x1^2*x2^6*x3*x4 + 63594*x1*x2^7*x3*x4 + 53023*x2^8*x3*x4 + 8077*x1^6*x3^2*x4 + 4769*x1^5*x2*x3^2*x4 + 38632*x1^4*x2^2*x3^2*x4 + 25243*x1^3*x2^3*x3^2*x4 + 12902*x1^2*x2^4*x3^2*x4 + 33010*x1*x2^5*x3^2*x4 + 11449*x2^6*x3^2*x4 + 53607*x1^4*x3^3*x4 + 38799*x1^3*x2*x3^3*x4 + 35591*x1^2*x2^2*x3^3*x4 + 51942*x1*x2^3*x3^3*x4 + 57194*x2^4*x3^3*x4 + 48691*x1^2*x3^4*x4 + 10133*x1*x2*x3^4*x4 + 16422*x2^2*x3^4*x4 + 64433*x3^5*x4 + 43119*x1^8*x4^2 + 31233*x1^7*x2*x4^2 + 39919*x1^6*x2^2*x4^2 + 4470*x1^5*x2^3*x4^2 + 27267*x1^4*x2^4*x4^2 + 28940*x1^3*x2^5*x4^2 + 20200*x1^2*x2^6*x4^2 + 10800*x1*x2^7*x4^2 + 52047*x2^8*x4^2 + 62747*x1^6*x3*x4^2 + 53076*x1^5*x2*x3*x4^2 + 41023*x1^4*x2^2*x3*x4^2 + 18980*x1^3*x2^3*x3*x4^2 + 11402*x1^2*x2^4*x3*x4^2 + 48969*x1*x2^5*x3*x4^2 + 14527*x2^6*x3*x4^2 + 486*x1^4*x3^2*x4^2 + 63940*x1^3*x2*x3^2*x4^2 + 21794*x1^2*x2^2*x3^2*x4^2 + 63308*x1*x2^3*x3^2*x4^2 + 3468*x2^4*x3^2*x4^2 + 1908*x1^2*x3^3*x4^2 + 43868*x1*x2*x3^3*x4^2 + 1039*x2^2*x3^3*x4^2 + 32402*x3^4*x4^2 + 47069*x1^6*x4^3 + 30136*x1^5*x2*x4^3 + 11181*x1^4*x2^2*x4^3 + 33332*x1^3*x2^3*x4^3 + 13958*x1^2*x2^4*x4^3 + 15813*x1*x2^5*x4^3 + 46256*x2^6*x4^3 + 13531*x1^4*x3*x4^3 + 43782*x1^3*x2*x3*x4^3 + 53038*x1^2*x2^2*x3*x4^3 + 49780*x1*x2^3*x3*x4^3 + 58511*x2^4*x3*x4^3 + 24699*x1^2*x3^2*x4^3 + 58350*x1*x2*x3^2*x4^3 + 19335*x2^2*x3^2*x4^3 + 6618*x3^3*x4^3 + 28046*x1^4*x4^4 + 49485*x1^3*x2*x4^4 + 34633*x1^2*x2^2*x4^4 + 6130*x1*x2^3*x4^4 + 59789*x2^4*x4^4 + 51411*x1^2*x3*x4^4 + 55276*x1*x2*x3*x4^4 + 41811*x2^2*x3*x4^4 + 11526*x3^2*x4^4 + 56857*x1^2*x4^5 + 26691*x1*x2*x4^5 + 12681*x2^2*x4^5 + 57937*x3*x4^5 + 56242*x4^6 + 27749*x1^9*x5 + 10629*x1^8*x2*x5 + 43250*x1^7*x2^2*x5 + 24821*x1^6*x2^3*x5 + 41443*x1^5*x2^4*x5 + 45235*x1^4*x2^5*x5 + 55046*x1^3*x2^6*x5 + 3744*x1^2*x2^7*x5 + 43980*x1*x2^8*x5 + 46596*x2^9*x5 + 2070*x1^7*x3*x5 + 44368*x1^6*x2*x3*x5 + 26705*x1^5*x2^2*x3*x5 + 51093*x1^4*x2^3*x3*x5 + 4153*x1^3*x2^4*x3*x5 + 4238*x1^2*x2^5*x3*x5 + 63618*x1*x2^6*x3*x5 + 39967*x2^7*x3*x5 + 27787*x1^5*x3^2*x5 + 7581*x1^4*x2*x3^2*x5 + 45795*x1^3*x2^2*x3^2*x5 + 2187*x1^2*x2^3*x3^2*x5 + 58512*x1*x2^4*x3^2*x5 + 58174*x2^5*x3^2*x5 + 43746*x1^3*x3^3*x5 + 29505*x1^2*x2*x3^3*x5 + 12568*x1*x2^2*x3^3*x5 + 28646*x2^3*x3^3*x5 + 7743*x1*x3^4*x5 + 26628*x2*x3^4*x5 + 47451*x1^7*x4*x5 + 3620*x1^6*x2*x4*x5 + 33077*x1^5*x2^2*x4*x5 + 47887*x1^4*x2^3*x4*x5 + 44968*x1^3*x2^4*x4*x5 + 45066*x1^2*x2^5*x4*x5 + 12958*x1*x2^6*x4*x5 + 46848*x2^7*x4*x5 + 23873*x1^5*x3*x4*x5 + 37313*x1^4*x2*x3*x4*x5 + 3763*x1^3*x2^2*x3*x4*x5 + 58972*x1^2*x2^3*x3*x4*x5 + 46157*x1*x2^4*x3*x4*x5 + 25549*x2^5*x3*x4*x5 + 18076*x1^3*x3^2*x4*x5 + 61568*x1^2*x2*x3^2*x4*x5 + 14668*x1*x2^2*x3^2*x4*x5 + 1947*x2^3*x3^2*x4*x5 + 60376*x1*x3^3*x4*x5 + 19976*x2*x3^3*x4*x5 + 53822*x1^5*x4^2*x5 + 63418*x1^4*x2*x4^2*x5 + 1838*x1^3*x2^2*x4^2*x5 + 23857*x1^2*x2^3*x4^2*x5 + 25507*x1*x2^4*x4^2*x5 + 19519*x2^5*x4^2*x5 + 35300*x1^3*x3*x4^2*x5 + 42752*x1^2*x2*x3*x4^2*x5 + 18008*x1*x2^2*x3*x4^2*x5 + 48156*x2^3*x3*x4^2*x5 + 426*x1*x3^2*x4^2*x5 + 5171*x2*x3^2*x4^2*x5 + 31973*x1^3*x4^3*x5 + 48722*x1^2*x2*x4^3*x5 + 55776*x1*x2^2*x4^3*x5 + 57897*x2^3*x4^3*x5 + 58389*x1*x3*x4^3*x5 + 521*x2*x3*x4^3*x5 + 51587*x1*x4^4*x5 + 684*x2*x4^4*x5 + 16989*x1^6*x5^2 + 47049*x1^5*x2*x5^2 + 57461*x1^4*x2^2*x5^2 + 20697*x1^3*x2^3*x5^2 + 53733*x1^2*x2^4*x5^2 + 54492*x1*x2^5*x5^2 + 14261*x2^6*x5^2 + 44793*x1^4*x3*x5^2 + 2165*x1^3*x2*x3*x5^2 + 2749*x1^2*x2^2*x3*x5^2 + 26606*x1*x2^3*x3*x5^2 + 12566*x2^4*x3*x5^2 + 378*x1^2*x3^2*x5^2 + 36474*x1*x2*x3^2*x5^2 + 28451*x2^2*x3^2*x5^2 + 41343*x3^3*x5^2 + 26283*x1^4*x4*x5^2 + 53291*x1^3*x2*x4*x5^2 + 11550*x1^2*x2^2*x4*x5^2 + 33823*x1*x2^3*x4*x5^2 + 22962*x2^4*x4*x5^2 + 10448*x1^2*x3*x4*x5^2 + 61770*x1*x2*x3*x4*x5^2 + 15084*x2^2*x3*x4*x5^2 + 18337*x3^2*x4*x5^2 + 54869*x1^2*x4^2*x5^2 + 55366*x1*x2*x4^2*x5^2 + 38352*x2^2*x4^2*x5^2 + 11931*x3*x4^2*x5^2 + 10850*x4^3*x5^2 + 46262*x1^3*x5^3 + 26932*x1^2*x2*x5^3 + 18681*x1*x2^2*x5^3 + 34896*x2^3*x5^3 + 24975*x1*x3*x5^3 + 61133*x2*x3*x5^3 + 24447*x1*x4*x5^3 + 18521*x2*x4*x5^3 + 16904*x5^4 + 34221*x1^9*x6 + 35921*x1^8*x2*x6 + 51869*x1^7*x2^2*x6 + 47148*x1^6*x2^3*x6 + 64194*x1^5*x2^4*x6 + 19118*x1^4*x2^5*x6 + 61645*x1^3*x2^6*x6 + 41022*x1^2*x2^7*x6 + 42905*x1*x2^8*x6 + 23319*x2^9*x6 + 22338*x1^7*x3*x6 + 29082*x1^6*x2*x3*x6 + 48986*x1^5*x2^2*x3*x6 + 50918*x1^4*x2^3*x3*x6 + 39175*x1^3*x2^4*x3*x6 + 14510*x1^2*x2^5*x3*x6 + 14020*x1*x2^6*x3*x6 + 24928*x2^7*x3*x6 + 61401*x1^5*x3^2*x6 + 16620*x1^4*x2*x3^2*x6 + 56229*x1^3*x2^2*x3^2*x6 + 59075*x1^2*x2^3*x3^2*x6 + 62747*x1*x2^4*x3^2*x6 + 53971*x2^5*x3^2*x6 + 29507*x1^3*x3^3*x6 + 16195*x1^2*x2*x3^3*x6 + 45507*x1*x2^2*x3^3*x6 + 37185*x2^3*x3^3*x6 + 34017*x1*x3^4*x6 + 34126*x2*x3^4*x6 + 59428*x1^7*x4*x6 + 19334*x1^6*x2*x4*x6 + 8700*x1^5*x2^2*x4*x6 + 769*x1^4*x2^3*x4*x6 + 51886*x1^3*x2^4*x4*x6 + 15289*x1^2*x2^5*x4*x6 + 54333*x1*x2^6*x4*x6 + 23638*x2^7*x4*x6 + 41481*x1^5*x3*x4*x6 + 33955*x1^4*x2*x3*x4*x6 + 5708*x1^3*x2^2*x3*x4*x6 + 25917*x1^2*x2^3*x3*x4*x6 + 34269*x1*x2^4*x3*x4*x6 + 930*x2^5*x3*x4*x6 + 42086*x1^3*x3^2*x4*x6 + 8017*x1^2*x2*x3^2*x4*x6 + 39863*x1*x2^2*x3^2*x4*x6 + 34060*x2^3*x3^2*x4*x6 + 21636*x1*x3^3*x4*x6 + 23602*x2*x3^3*x4*x6 + 6408*x1^5*x4^2*x6 + 10193*x1^4*x2*x4^2*x6 + 48548*x1^3*x2^2*x4^2*x6 + 11879*x1^2*x2^3*x4^2*x6 + 22840*x1*x2^4*x4^2*x6 + 3454*x2^5*x4^2*x6 + 62286*x1^3*x3*x4^2*x6 + 60282*x1^2*x2*x3*x4^2*x6 + 10945*x1*x2^2*x3*x4^2*x6 + 23657*x2^3*x3*x4^2*x6 + 21133*x1*x3^2*x4^2*x6 + 38743*x2*x3^2*x4^2*x6 + 35548*x1^3*x4^3*x6 + 64007*x1^2*x2*x4^3*x6 + 5888*x1*x2^2*x4^3*x6 + 61244*x2^3*x4^3*x6 + 64335*x1*x3*x4^3*x6 + 33588*x2*x3*x4^3*x6 + 64896*x1*x4^4*x6 + 10645*x2*x4^4*x6 + 52673*x1^6*x5*x6 + 10045*x1^5*x2*x5*x6 + 44566*x1^4*x2^2*x5*x6 + 18191*x1^3*x2^3*x5*x6 + 30978*x1^2*x2^4*x5*x6 + 30526*x1*x2^5*x5*x6 + 23109*x2^6*x5*x6 + 54224*x1^4*x3*x5*x6 + 64867*x1^3*x2*x3*x5*x6 + 10869*x1^2*x2^2*x3*x5*x6 + 3187*x1*x2^3*x3*x5*x6 + 3006*x2^4*x3*x5*x6 + 58319*x1^2*x3^2*x5*x6 + 32258*x1*x2*x3^2*x5*x6 + 35910*x2^2*x3^2*x5*x6 + 12550*x3^3*x5*x6 + 35353*x1^4*x4*x5*x6 + 15705*x1^3*x2*x4*x5*x6 + 52122*x1^2*x2^2*x4*x5*x6 + 25979*x1*x2^3*x4*x5*x6 + 57368*x2^4*x4*x5*x6 + 58911*x1^2*x3*x4*x5*x6 + 34200*x1*x2*x3*x4*x5*x6 + 64281*x2^2*x3*x4*x5*x6 + 25135*x3^2*x4*x5*x6 + 6256*x1^2*x4^2*x5*x6 + 2335*x1*x2*x4^2*x5*x6 + 9721*x2^2*x4^2*x5*x6 + 8318*x3*x4^2*x5*x6 + 26334*x4^3*x5*x6 + 5243*x1^3*x5^2*x6 + 30849*x1^2*x2*x5^2*x6 + 57384*x1*x2^2*x5^2*x6 + 38523*x2^3*x5^2*x6 + 54074*x1*x3*x5^2*x6 + 28652*x2*x3*x5^2*x6 + 55642*x1*x4*x5^2*x6 + 49468*x2*x4*x5^2*x6 + 43183*x5^3*x6 + 2300*x1^6*x6^2 + 6414*x1^5*x2*x6^2 + 19607*x1^4*x2^2*x6^2 + 13423*x1^3*x2^3*x6^2 + 45581*x1^2*x2^4*x6^2 + 7888*x1*x2^5*x6^2 + 33869*x2^6*x6^2 + 62808*x1^4*x3*x6^2 + 42225*x1^3*x2*x3*x6^2 + 42372*x1^2*x2^2*x3*x6^2 + 15918*x1*x2^3*x3*x6^2 + 10776*x2^4*x3*x6^2 + 52353*x1^2*x3^2*x6^2 + 57397*x1*x2*x3^2*x6^2 + 46846*x2^2*x3^2*x6^2 + 20565*x3^3*x6^2 + 63288*x1^4*x4*x6^2 + 32007*x1^3*x2*x4*x6^2 + 35771*x1^2*x2^2*x4*x6^2 + 39941*x1*x2^3*x4*x6^2 + 43479*x2^4*x4*x6^2 + 25390*x1^2*x3*x4*x6^2 + 22806*x1*x2*x3*x4*x6^2 + 25771*x2^2*x3*x4*x6^2 + 13571*x3^2*x4*x6^2 + 8510*x1^2*x4^2*x6^2 + 12053*x1*x2*x4^2*x6^2 + 30019*x2^2*x4^2*x6^2 + 18555*x3*x4^2*x6^2 + 34098*x4^3*x6^2 + 3731*x1^3*x5*x6^2 + 28438*x1^2*x2*x5*x6^2 + 28085*x1*x2^2*x5*x6^2 + 61572*x2^3*x5*x6^2 + 276*x1*x3*x5*x6^2 + 34011*x2*x3*x5*x6^2 + 40446*x1*x4*x5*x6^2 + 15497*x2*x4*x5*x6^2 + 51272*x5^2*x6^2 + 40018*x1^3*x6^3 + 60417*x1^2*x2*x6^3 + 14738*x1*x2^2*x6^3 + 57380*x2^3*x6^3 + 39291*x1*x3*x6^3 + 18334*x2*x3*x6^3 + 62607*x1*x4*x6^3 + 9983*x2*x4*x6^3 + 44113*x5*x6^3 + 18767*x6^4 + 61316, 858*x1^12 + 60727*x1^11*x2 + 62055*x1^10*x2^2 + 4066*x1^9*x2^3 + 15706*x1^8*x2^4 + 59863*x1^7*x2^5 + 4356*x1^6*x2^6 + 36726*x1^5*x2^7 + 64900*x1^4*x2^8 + 39495*x1^3*x2^9 + 17232*x1^2*x2^10 + 63766*x1*x2^11 + 15286*x2^12 + 64802*x1^10*x3 + 10273*x1^9*x2*x3 + 61939*x1^8*x2^2*x3 + 38557*x1^7*x2^3*x3 + 49715*x1^6*x2^4*x3 + 12440*x1^5*x2^5*x3 + 51983*x1^4*x2^6*x3 + 8895*x1^3*x2^7*x3 + 14908*x1^2*x2^8*x3 + 4436*x1*x2^9*x3 + 45132*x2^10*x3 + 45153*x1^8*x3^2 + 61734*x1^7*x2*x3^2 + 17487*x1^6*x2^2*x3^2 + 2548*x1^5*x2^3*x3^2 + 29608*x1^4*x2^4*x3^2 + 64343*x1^3*x2^5*x3^2 + 1572*x1^2*x2^6*x3^2 + 34279*x1*x2^7*x3^2 + 64669*x2^8*x3^2 + 35418*x1^6*x3^3 + 25182*x1^5*x2*x3^3 + 51263*x1^4*x2^2*x3^3 + 33802*x1^3*x2^3*x3^3 + 17506*x1^2*x2^4*x3^3 + 39159*x1*x2^5*x3^3 + 26087*x2^6*x3^3 + 64397*x1^4*x3^4 + 53490*x1^3*x2*x3^4 + 41425*x1^2*x2^2*x3^4 + 23039*x1*x2^3*x3^4 + 742*x2^4*x3^4 + 36498*x1^2*x3^5 + 5376*x1*x2*x3^5 + 18767*x2^2*x3^5 + 53432*x3^6 + 58026*x1^10*x4 + 23133*x1^9*x2*x4 + 34666*x1^8*x2^2*x4 + 38586*x1^7*x2^3*x4 + 61112*x1^6*x2^4*x4 + 22426*x1^5*x2^5*x4 + 39897*x1^4*x2^6*x4 + 54009*x1^3*x2^7*x4 + 39598*x1^2*x2^8*x4 + 35330*x1*x2^9*x4 + 44543*x2^10*x4 + 44988*x1^8*x3*x4 + 28509*x1^7*x2*x3*x4 + 19089*x1^6*x2^2*x3*x4 + 28146*x1^5*x2^3*x3*x4 + 48513*x1^4*x2^4*x3*x4 + 58*x1^3*x2^5*x3*x4 + 38808*x1^2*x2^6*x3*x4 + 64439*x1*x2^7*x3*x4 + 52251*x2^8*x3*x4 + 43261*x1^6*x3^2*x4 + 34091*x1^5*x2*x3^2*x4 + 46803*x1^4*x2^2*x3^2*x4 + 2595*x1^3*x2^3*x3^2*x4 + 15847*x1^2*x2^4*x3^2*x4 + 30922*x1*x2^5*x3^2*x4 + 11695*x2^6*x3^2*x4 + 61252*x1^4*x3^3*x4 + 44398*x1^3*x2*x3^3*x4 + 1545*x1^2*x2^2*x3^3*x4 + 7856*x1*x2^3*x3^3*x4 + 12646*x2^4*x3^3*x4 + 25126*x1^2*x3^4*x4 + 20586*x1*x2*x3^4*x4 + 636*x2^2*x3^4*x4 + 26021*x3^5*x4 + 27123*x1^8*x4^2 + 43341*x1^7*x2*x4^2 + 53504*x1^6*x2^2*x4^2 + 36697*x1^5*x2^3*x4^2 + 1995*x1^4*x2^4*x4^2 + 50821*x1^3*x2^5*x4^2 + 26581*x1^2*x2^6*x4^2 + 54137*x1*x2^7*x4^2 + 11485*x2^8*x4^2 + 44160*x1^6*x3*x4^2 + 25049*x1^5*x2*x3*x4^2 + 64383*x1^4*x2^2*x3*x4^2 + 44031*x1^3*x2^3*x3*x4^2 + 34780*x1^2*x2^4*x3*x4^2 + 19669*x1*x2^5*x3*x4^2 + 38183*x2^6*x3*x4^2 + 51822*x1^4*x3^2*x4^2 + 24669*x1^3*x2*x3^2*x4^2 + 55188*x1^2*x2^2*x3^2*x4^2 + 17604*x1*x2^3*x3^2*x4^2 + 42928*x2^4*x3^2*x4^2 + 21597*x1^2*x3^3*x4^2 + 3552*x1*x2*x3^3*x4^2 + 19699*x2^2*x3^3*x4^2 + 39817*x3^4*x4^2 + 10459*x1^6*x4^3 + 33900*x1^5*x2*x4^3 + 64768*x1^4*x2^2*x4^3 + 33115*x1^3*x2^3*x4^3 + 5162*x1^2*x2^4*x4^3 + 45551*x1*x2^5*x4^3 + 29336*x2^6*x4^3 + 2055*x1^4*x3*x4^3 + 48691*x1^3*x2*x3*x4^3 + 44427*x1^2*x2^2*x3*x4^3 + 31419*x1*x2^3*x3*x4^3 + 51312*x2^4*x3*x4^3 + 36012*x1^2*x3^2*x4^3 + 45480*x1*x2*x3^2*x4^3 + 30096*x2^2*x3^2*x4^3 + 17347*x3^3*x4^3 + 58599*x1^4*x4^4 + 10543*x1^3*x2*x4^4 + 2367*x1^2*x2^2*x4^4 + 6598*x1*x2^3*x4^4 + 4024*x2^4*x4^4 + 7791*x1^2*x3*x4^4 + 44789*x1*x2*x3*x4^4 + 17211*x2^2*x3*x4^4 + 62775*x3^2*x4^4 + 46569*x1^2*x4^5 + 24541*x1*x2*x4^5 + 50694*x2^2*x4^5 + 14896*x3*x4^5 + 46880*x4^6 + 46114*x1^9*x5 + 34786*x1^8*x2*x5 + 25820*x1^7*x2^2*x5 + 2849*x1^6*x2^3*x5 + 11787*x1^5*x2^4*x5 + 53182*x1^4*x2^5*x5 + 36260*x1^3*x2^6*x5 + 64940*x1^2*x2^7*x5 + 35007*x1*x2^8*x5 + 45385*x2^9*x5 + 52066*x1^7*x3*x5 + 33877*x1^6*x2*x3*x5 + 9921*x1^5*x2^2*x3*x5 + 38756*x1^4*x2^3*x3*x5 + 36292*x1^3*x2^4*x3*x5 + 29437*x1^2*x2^5*x3*x5 + 63367*x1*x2^6*x3*x5 + 6958*x2^7*x3*x5 + 8382*x1^5*x3^2*x5 + 25920*x1^4*x2*x3^2*x5 + 23842*x1^3*x2^2*x3^2*x5 + 10864*x1^2*x2^3*x3^2*x5 + 42370*x1*x2^4*x3^2*x5 + 404*x2^5*x3^2*x5 + 1126*x1^3*x3^3*x5 + 39273*x1^2*x2*x3^3*x5 + 30865*x1*x2^2*x3^3*x5 + 34645*x2^3*x3^3*x5 + 11673*x1*x3^4*x5 + 61635*x2*x3^4*x5 + 63304*x1^7*x4*x5 + 64223*x1^6*x2*x4*x5 + 54181*x1^5*x2^2*x4*x5 + 63986*x1^4*x2^3*x4*x5 + 40803*x1^3*x2^4*x4*x5 + 62114*x1^2*x2^5*x4*x5 + 13200*x1*x2^6*x4*x5 + 43805*x2^7*x4*x5 + 53419*x1^5*x3*x4*x5 + 55049*x1^4*x2*x3*x4*x5 + 57378*x1^3*x2^2*x3*x4*x5 + 34246*x1^2*x2^3*x3*x4*x5 + 31113*x1*x2^4*x3*x4*x5 + 8044*x2^5*x3*x4*x5 + 13420*x1^3*x3^2*x4*x5 + 41666*x1^2*x2*x3^2*x4*x5 + 55450*x1*x2^2*x3^2*x4*x5 + 33693*x2^3*x3^2*x4*x5 + 58423*x1*x3^3*x4*x5 + 47376*x2*x3^3*x4*x5 + 19505*x1^5*x4^2*x5 + 29139*x1^4*x2*x4^2*x5 + 32687*x1^3*x2^2*x4^2*x5 + 36170*x1^2*x2^3*x4^2*x5 + 62256*x1*x2^4*x4^2*x5 + 106*x2^5*x4^2*x5 + 1833*x1^3*x3*x4^2*x5 + 64366*x1^2*x2*x3*x4^2*x5 + 29255*x1*x2^2*x3*x4^2*x5 + 16395*x2^3*x3*x4^2*x5 + 18635*x1*x3^2*x4^2*x5 + 4687*x2*x3^2*x4^2*x5 + 63438*x1^3*x4^3*x5 + 31325*x1^2*x2*x4^3*x5 + 8235*x1*x2^2*x4^3*x5 + 2027*x2^3*x4^3*x5 + 44180*x1*x3*x4^3*x5 + 49472*x2*x3*x4^3*x5 + 13515*x1*x4^4*x5 + 3004*x2*x4^4*x5 + 32419*x1^6*x5^2 + 46000*x1^5*x2*x5^2 + 40022*x1^4*x2^2*x5^2 + 15200*x1^3*x2^3*x5^2 + 37652*x1^2*x2^4*x5^2 + 18276*x1*x2^5*x5^2 + 36595*x2^6*x5^2 + 52438*x1^4*x3*x5^2 + 13183*x1^3*x2*x3*x5^2 + 23329*x1^2*x2^2*x3*x5^2 + 49401*x1*x2^3*x3*x5^2 + 18313*x2^4*x3*x5^2 + 770*x1^2*x3^2*x5^2 + 45561*x1*x2*x3^2*x5^2 + 29608*x2^2*x3^2*x5^2 + 8872*x3^3*x5^2 + 41562*x1^4*x4*x5^2 + 50528*x1^3*x2*x4*x5^2 + 25812*x1^2*x2^2*x4*x5^2 + 38705*x1*x2^3*x4*x5^2 + 25952*x2^4*x4*x5^2 + 3562*x1^2*x3*x4*x5^2 + 31333*x1*x2*x3*x4*x5^2 + 31944*x2^2*x3*x4*x5^2 + 9625*x3^2*x4*x5^2 + 59522*x1^2*x4^2*x5^2 + 41025*x1*x2*x4^2*x5^2 + 48570*x2^2*x4^2*x5^2 + 25246*x3*x4^2*x5^2 + 11304*x4^3*x5^2 + 58729*x1^3*x5^3 + 62782*x1^2*x2*x5^3 + 15297*x1*x2^2*x5^3 + 49087*x2^3*x5^3 + 47912*x1*x3*x5^3 + 21382*x2*x3*x5^3 + 61531*x1*x4*x5^3 + 32453*x2*x4*x5^3 + 44269*x5^4 + 281*x1^9*x6 + 46717*x1^8*x2*x6 + 27700*x1^7*x2^2*x6 + 43356*x1^6*x2^3*x6 + 22664*x1^5*x2^4*x6 + 42680*x1^4*x2^5*x6 + 64681*x1^3*x2^6*x6 + 62328*x1^2*x2^7*x6 + 26720*x1*x2^8*x6 + 32046*x2^9*x6 + 38386*x1^7*x3*x6 + 17656*x1^6*x2*x3*x6 + 1098*x1^5*x2^2*x3*x6 + 32842*x1^4*x2^3*x3*x6 + 35704*x1^3*x2^4*x3*x6 + 33191*x1^2*x2^5*x3*x6 + 39545*x1*x2^6*x3*x6 + 43176*x2^7*x3*x6 + 19499*x1^5*x3^2*x6 + 19222*x1^4*x2*x3^2*x6 + 7155*x1^3*x2^2*x3^2*x6 + 10270*x1^2*x2^3*x3^2*x6 + 8485*x1*x2^4*x3^2*x6 + 64162*x2^5*x3^2*x6 + 22341*x1^3*x3^3*x6 + 57726*x1^2*x2*x3^3*x6 + 23371*x1*x2^2*x3^3*x6 + 60000*x2^3*x3^3*x6 + 36332*x1*x3^4*x6 + 23807*x2*x3^4*x6 + 62425*x1^7*x4*x6 + 28876*x1^6*x2*x4*x6 + 12806*x1^5*x2^2*x4*x6 + 23059*x1^4*x2^3*x4*x6 + 28090*x1^3*x2^4*x4*x6 + 56382*x1^2*x2^5*x4*x6 + 41713*x1*x2^6*x4*x6 + 48390*x2^7*x4*x6 + 9036*x1^5*x3*x4*x6 + 43178*x1^4*x2*x3*x4*x6 + 19292*x1^3*x2^2*x3*x4*x6 + 19242*x1^2*x2^3*x3*x4*x6 + 34565*x1*x2^4*x3*x4*x6 + 23961*x2^5*x3*x4*x6 + 28175*x1^3*x3^2*x4*x6 + 20265*x1^2*x2*x3^2*x4*x6 + 11449*x1*x2^2*x3^2*x4*x6 + 12784*x2^3*x3^2*x4*x6 + 61989*x1*x3^3*x4*x6 + 27356*x2*x3^3*x4*x6 + 62605*x1^5*x4^2*x6 + 27841*x1^4*x2*x4^2*x6 + 9403*x1^3*x2^2*x4^2*x6 + 21780*x1^2*x2^3*x4^2*x6 + 13706*x1*x2^4*x4^2*x6 + 21536*x2^5*x4^2*x6 + 10411*x1^3*x3*x4^2*x6 + 12878*x1^2*x2*x3*x4^2*x6 + 28927*x1*x2^2*x3*x4^2*x6 + 60778*x2^3*x3*x4^2*x6 + 37750*x1*x3^2*x4^2*x6 + 1820*x2*x3^2*x4^2*x6 + 5543*x1^3*x4^3*x6 + 33785*x1^2*x2*x4^3*x6 + 37700*x1*x2^2*x4^3*x6 + 2437*x2^3*x4^3*x6 + 51892*x1*x3*x4^3*x6 + 19573*x2*x3*x4^3*x6 + 4966*x1*x4^4*x6 + 62616*x2*x4^4*x6 + 11329*x1^6*x5*x6 + 42457*x1^5*x2*x5*x6 + 58581*x1^4*x2^2*x5*x6 + 36287*x1^3*x2^3*x5*x6 + 3047*x1^2*x2^4*x5*x6 + 31822*x1*x2^5*x5*x6 + 45423*x2^6*x5*x6 + 42853*x1^4*x3*x5*x6 + 51155*x1^3*x2*x3*x5*x6 + 64617*x1^2*x2^2*x3*x5*x6 + 49510*x1*x2^3*x3*x5*x6 + 7658*x2^4*x3*x5*x6 + 43568*x1^2*x3^2*x5*x6 + 7641*x1*x2*x3^2*x5*x6 + 44987*x2^2*x3^2*x5*x6 + 26632*x3^3*x5*x6 + 1496*x1^4*x4*x5*x6 + 62943*x1^3*x2*x4*x5*x6 + 39791*x1^2*x2^2*x4*x5*x6 + 49435*x1*x2^3*x4*x5*x6 + 34586*x2^4*x4*x5*x6 + 59134*x1^2*x3*x4*x5*x6 + 59094*x1*x2*x3*x4*x5*x6 + 19007*x2^2*x3*x4*x5*x6 + 7437*x3^2*x4*x5*x6 + 60584*x1^2*x4^2*x5*x6 + 39932*x1*x2*x4^2*x5*x6 + 31933*x2^2*x4^2*x5*x6 + 21913*x3*x4^2*x5*x6 + 10090*x4^3*x5*x6 + 47158*x1^3*x5^2*x6 + 42507*x1^2*x2*x5^2*x6 + 26028*x1*x2^2*x5^2*x6 + 20220*x2^3*x5^2*x6 + 7883*x1*x3*x5^2*x6 + 39590*x2*x3*x5^2*x6 + 20420*x1*x4*x5^2*x6 + 37298*x2*x4*x5^2*x6 + 14862*x5^3*x6 + 967*x1^6*x6^2 + 56763*x1^5*x2*x6^2 + 28790*x1^4*x2^2*x6^2 + 63485*x1^3*x2^3*x6^2 + 19636*x1^2*x2^4*x6^2 + 22989*x1*x2^5*x6^2 + 42315*x2^6*x6^2 + 48289*x1^4*x3*x6^2 + 44998*x1^3*x2*x3*x6^2 + 35276*x1^2*x2^2*x3*x6^2 + 60328*x1*x2^3*x3*x6^2 + 47143*x2^4*x3*x6^2 + 63311*x1^2*x3^2*x6^2 + 63202*x1*x2*x3^2*x6^2 + 64053*x2^2*x3^2*x6^2 + 52116*x3^3*x6^2 + 52725*x1^4*x4*x6^2 + 49202*x1^3*x2*x4*x6^2 + 48567*x1^2*x2^2*x4*x6^2 + 57949*x1*x2^3*x4*x6^2 + 26825*x2^4*x4*x6^2 + 25352*x1^2*x3*x4*x6^2 + 54930*x1*x2*x3*x4*x6^2 + 17875*x2^2*x3*x4*x6^2 + 63962*x3^2*x4*x6^2 + 63078*x1^2*x4^2*x6^2 + 46089*x1*x2*x4^2*x6^2 + 742*x2^2*x4^2*x6^2 + 34578*x3*x4^2*x6^2 + 24314*x4^3*x6^2 + 45845*x1^3*x5*x6^2 + 27489*x1^2*x2*x5*x6^2 + 32873*x1*x2^2*x5*x6^2 + 54967*x2^3*x5*x6^2 + 26944*x1*x3*x5*x6^2 + 6613*x2*x3*x5*x6^2 + 56012*x1*x4*x5*x6^2 + 48708*x2*x4*x5*x6^2 + 49150*x5^2*x6^2 + 44888*x1^3*x6^3 + 22756*x1^2*x2*x6^3 + 2130*x1*x2^2*x6^3 + 24379*x2^3*x6^3 + 24321*x1*x3*x6^3 + 1859*x2*x3*x6^3 + 32423*x1*x4*x6^3 + 3303*x2*x4*x6^3 + 14603*x5*x6^3 + 2401*x6^4 + 55054, 27312*x1^12 + 29895*x1^11*x2 + 11423*x1^10*x2^2 + 59983*x1^9*x2^3 + 21033*x1^8*x2^4 + 18697*x1^7*x2^5 + 22812*x1^6*x2^6 + 45045*x1^5*x2^7 + 8950*x1^4*x2^8 + 51728*x1^3*x2^9 + 3003*x1^2*x2^10 + 56987*x1*x2^11 + 28349*x2^12 + 14995*x1^10*x3 + 8495*x1^9*x2*x3 + 61252*x1^8*x2^2*x3 + 7175*x1^7*x2^3*x3 + 7100*x1^6*x2^4*x3 + 29662*x1^5*x2^5*x3 + 9918*x1^4*x2^6*x3 + 2278*x1^3*x2^7*x3 + 33070*x1^2*x2^8*x3 + 50154*x1*x2^9*x3 + 45985*x2^10*x3 + 24626*x1^8*x3^2 + 7651*x1^7*x2*x3^2 + 58593*x1^6*x2^2*x3^2 + 24323*x1^5*x2^3*x3^2 + 17589*x1^4*x2^4*x3^2 + 57851*x1^3*x2^5*x3^2 + 58730*x1^2*x2^6*x3^2 + 64045*x1*x2^7*x3^2 + 32165*x2^8*x3^2 + 46593*x1^6*x3^3 + 3609*x1^5*x2*x3^3 + 2468*x1^4*x2^2*x3^3 + 41843*x1^3*x2^3*x3^3 + 3222*x1^2*x2^4*x3^3 + 38892*x1*x2^5*x3^3 + 5088*x2^6*x3^3 + 19899*x1^4*x3^4 + 46310*x1^3*x2*x3^4 + 15670*x1^2*x2^2*x3^4 + 40875*x1*x2^3*x3^4 + 8223*x2^4*x3^4 + 41103*x1^2*x3^5 + 40816*x1*x2*x3^5 + 19290*x2^2*x3^5 + 28051*x3^6 + 48311*x1^10*x4 + 1758*x1^9*x2*x4 + 4770*x1^8*x2^2*x4 + 41568*x1^7*x2^3*x4 + 45014*x1^6*x2^4*x4 + 26536*x1^5*x2^5*x4 + 60963*x1^4*x2^6*x4 + 48150*x1^3*x2^7*x4 + 34817*x1^2*x2^8*x4 + 18231*x1*x2^9*x4 + 40242*x2^10*x4 + 16099*x1^8*x3*x4 + 55360*x1^7*x2*x3*x4 + 61651*x1^6*x2^2*x3*x4 + 5998*x1^5*x2^3*x3*x4 + 43075*x1^4*x2^4*x3*x4 + 21877*x1^3*x2^5*x3*x4 + 55250*x1^2*x2^6*x3*x4 + 40361*x1*x2^7*x3*x4 + 50093*x2^8*x3*x4 + 33437*x1^6*x3^2*x4 + 18546*x1^5*x2*x3^2*x4 + 26190*x1^4*x2^2*x3^2*x4 + 63421*x1^3*x2^3*x3^2*x4 + 62394*x1^2*x2^4*x3^2*x4 + 62722*x1*x2^5*x3^2*x4 + 65405*x2^6*x3^2*x4 + 38701*x1^4*x3^3*x4 + 3760*x1^3*x2*x3^3*x4 + 22841*x1^2*x2^2*x3^3*x4 + 54997*x1*x2^3*x3^3*x4 + 43989*x2^4*x3^3*x4 + 20051*x1^2*x3^4*x4 + 47666*x1*x2*x3^4*x4 + 47871*x2^2*x3^4*x4 + 35898*x3^5*x4 + 14183*x1^8*x4^2 + 25172*x1^7*x2*x4^2 + 54504*x1^6*x2^2*x4^2 + 12346*x1^5*x2^3*x4^2 + 2009*x1^4*x2^4*x4^2 + 40218*x1^3*x2^5*x4^2 + 1893*x1^2*x2^6*x4^2 + 53038*x1*x2^7*x4^2 + 53063*x2^8*x4^2 + 49245*x1^6*x3*x4^2 + 46688*x1^5*x2*x3*x4^2 + 60823*x1^4*x2^2*x3*x4^2 + 30305*x1^3*x2^3*x3*x4^2 + 47680*x1^2*x2^4*x3*x4^2 + 19814*x1*x2^5*x3*x4^2 + 6100*x2^6*x3*x4^2 + 34971*x1^4*x3^2*x4^2 + 52912*x1^3*x2*x3^2*x4^2 + 50477*x1^2*x2^2*x3^2*x4^2 + 64246*x1*x2^3*x3^2*x4^2 + 58129*x2^4*x3^2*x4^2 + 4129*x1^2*x3^3*x4^2 + 59670*x1*x2*x3^3*x4^2 + 44085*x2^2*x3^3*x4^2 + 32173*x3^4*x4^2 + 8148*x1^6*x4^3 + 22829*x1^5*x2*x4^3 + 29156*x1^4*x2^2*x4^3 + 36023*x1^3*x2^3*x4^3 + 53918*x1^2*x2^4*x4^3 + 4146*x1*x2^5*x4^3 + 57634*x2^6*x4^3 + 11888*x1^4*x3*x4^3 + 23241*x1^3*x2*x3*x4^3 + 35519*x1^2*x2^2*x3*x4^3 + 9893*x1*x2^3*x3*x4^3 + 60805*x2^4*x3*x4^3 + 30664*x1^2*x3^2*x4^3 + 45808*x1*x2*x3^2*x4^3 + 53102*x2^2*x3^2*x4^3 + 57981*x3^3*x4^3 + 33359*x1^4*x4^4 + 37314*x1^3*x2*x4^4 + 50879*x1^2*x2^2*x4^4 + 28135*x1*x2^3*x4^4 + 13397*x2^4*x4^4 + 31918*x1^2*x3*x4^4 + 50585*x1*x2*x3*x4^4 + 65512*x2^2*x3*x4^4 + 19888*x3^2*x4^4 + 49793*x1^2*x4^5 + 25205*x1*x2*x4^5 + 30674*x2^2*x4^5 + 62505*x3*x4^5 + 1407*x4^6 + 3259*x1^9*x5 + 19565*x1^8*x2*x5 + 320*x1^7*x2^2*x5 + 770*x1^6*x2^3*x5 + 47280*x1^5*x2^4*x5 + 38830*x1^4*x2^5*x5 + 40688*x1^3*x2^6*x5 + 56804*x1^2*x2^7*x5 + 4575*x1*x2^8*x5 + 44840*x2^9*x5 + 32640*x1^7*x3*x5 + 45897*x1^6*x2*x3*x5 + 53022*x1^5*x2^2*x3*x5 + 6105*x1^4*x2^3*x3*x5 + 58221*x1^3*x2^4*x3*x5 + 3188*x1^2*x2^5*x3*x5 + 18758*x1*x2^6*x3*x5 + 34619*x2^7*x3*x5 + 17119*x1^5*x3^2*x5 + 56407*x1^4*x2*x3^2*x5 + 57449*x1^3*x2^2*x3^2*x5 + 64743*x1^2*x2^3*x3^2*x5 + 26117*x1*x2^4*x3^2*x5 + 32450*x2^5*x3^2*x5 + 2485*x1^3*x3^3*x5 + 23994*x1^2*x2*x3^3*x5 + 46471*x1*x2^2*x3^3*x5 + 12705*x2^3*x3^3*x5 + 46363*x1*x3^4*x5 + 33901*x2*x3^4*x5 + 13854*x1^7*x4*x5 + 373*x1^6*x2*x4*x5 + 41004*x1^5*x2^2*x4*x5 + 61181*x1^4*x2^3*x4*x5 + 41960*x1^3*x2^4*x4*x5 + 4954*x1^2*x2^5*x4*x5 + 47317*x1*x2^6*x4*x5 + 18517*x2^7*x4*x5 + 60252*x1^5*x3*x4*x5 + 31728*x1^4*x2*x3*x4*x5 + 22608*x1^3*x2^2*x3*x4*x5 + 51442*x1^2*x2^3*x3*x4*x5 + 22066*x1*x2^4*x3*x4*x5 + 45468*x2^5*x3*x4*x5 + 56682*x1^3*x3^2*x4*x5 + 23123*x1^2*x2*x3^2*x4*x5 + 34265*x1*x2^2*x3^2*x4*x5 + 804*x2^3*x3^2*x4*x5 + 33959*x1*x3^3*x4*x5 + 56245*x2*x3^3*x4*x5 + 4562*x1^5*x4^2*x5 + 38219*x1^4*x2*x4^2*x5 + 25150*x1^3*x2^2*x4^2*x5 + 14057*x1^2*x2^3*x4^2*x5 + 41415*x1*x2^4*x4^2*x5 + 48597*x2^5*x4^2*x5 + 5257*x1^3*x3*x4^2*x5 + 58728*x1^2*x2*x3*x4^2*x5 + 16072*x1*x2^2*x3*x4^2*x5 + 36249*x2^3*x3*x4^2*x5 + 62093*x1*x3^2*x4^2*x5 + 10640*x2*x3^2*x4^2*x5 + 43833*x1^3*x4^3*x5 + 52675*x1^2*x2*x4^3*x5 + 24037*x1*x2^2*x4^3*x5 + 19074*x2^3*x4^3*x5 + 3762*x1*x3*x4^3*x5 + 5474*x2*x3*x4^3*x5 + 44098*x1*x4^4*x5 + 5843*x2*x4^4*x5 + 7397*x1^6*x5^2 + 11370*x1^5*x2*x5^2 + 17685*x1^4*x2^2*x5^2 + 33230*x1^3*x2^3*x5^2 + 23940*x1^2*x2^4*x5^2 + 1002*x1*x2^5*x5^2 + 28124*x2^6*x5^2 + 52313*x1^4*x3*x5^2 + 50632*x1^3*x2*x3*x5^2 + 36153*x1^2*x2^2*x3*x5^2 + 44611*x1*x2^3*x3*x5^2 + 10805*x2^4*x3*x5^2 + 17628*x1^2*x3^2*x5^2 + 18784*x1*x2*x3^2*x5^2 + 13522*x2^2*x3^2*x5^2 + 59417*x3^3*x5^2 + 43908*x1^4*x4*x5^2 + 43206*x1^3*x2*x4*x5^2 + 2668*x1^2*x2^2*x4*x5^2 + 26183*x1*x2^3*x4*x5^2 + 34162*x2^4*x4*x5^2 + 42186*x1^2*x3*x4*x5^2 + 44416*x1*x2*x3*x4*x5^2 + 18492*x2^2*x3*x4*x5^2 + 33312*x3^2*x4*x5^2 + 40358*x1^2*x4^2*x5^2 + 15159*x1*x2*x4^2*x5^2 + 35698*x2^2*x4^2*x5^2 + 10089*x3*x4^2*x5^2 + 46675*x4^3*x5^2 + 15384*x1^3*x5^3 + 54822*x1^2*x2*x5^3 + 23120*x1*x2^2*x5^3 + 2827*x2^3*x5^3 + 54566*x1*x3*x5^3 + 50727*x2*x3*x5^3 + 14031*x1*x4*x5^3 + 64978*x2*x4*x5^3 + 53312*x5^4 + 8872*x1^9*x6 + 11594*x1^8*x2*x6 + 26201*x1^7*x2^2*x6 + 23244*x1^6*x2^3*x6 + 20394*x1^5*x2^4*x6 + 18798*x1^4*x2^5*x6 + 1912*x1^3*x2^6*x6 + 39095*x1^2*x2^7*x6 + 41264*x1*x2^8*x6 + 28691*x2^9*x6 + 23143*x1^7*x3*x6 + 8756*x1^6*x2*x3*x6 + 44367*x1^5*x2^2*x3*x6 + 22133*x1^4*x2^3*x3*x6 + 60905*x1^3*x2^4*x3*x6 + 35374*x1^2*x2^5*x3*x6 + 11891*x1*x2^6*x3*x6 + 46486*x2^7*x3*x6 + 47488*x1^5*x3^2*x6 + 44446*x1^4*x2*x3^2*x6 + 65017*x1^3*x2^2*x3^2*x6 + 13625*x1^2*x2^3*x3^2*x6 + 55288*x1*x2^4*x3^2*x6 + 31736*x2^5*x3^2*x6 + 2798*x1^3*x3^3*x6 + 11427*x1^2*x2*x3^3*x6 + 44694*x1*x2^2*x3^3*x6 + 26299*x2^3*x3^3*x6 + 27482*x1*x3^4*x6 + 36487*x2*x3^4*x6 + 14394*x1^7*x4*x6 + 65081*x1^6*x2*x4*x6 + 26914*x1^5*x2^2*x4*x6 + 40690*x1^4*x2^3*x4*x6 + 50053*x1^3*x2^4*x4*x6 + 58550*x1^2*x2^5*x4*x6 + 38980*x1*x2^6*x4*x6 + 684*x2^7*x4*x6 + 40202*x1^5*x3*x4*x6 + 43596*x1^4*x2*x3*x4*x6 + 15049*x1^3*x2^2*x3*x4*x6 + 62540*x1^2*x2^3*x3*x4*x6 + 57556*x1*x2^4*x3*x4*x6 + 31809*x2^5*x3*x4*x6 + 32613*x1^3*x3^2*x4*x6 + 46119*x1^2*x2*x3^2*x4*x6 + 55772*x1*x2^2*x3^2*x4*x6 + 17810*x2^3*x3^2*x4*x6 + 22198*x1*x3^3*x4*x6 + 44008*x2*x3^3*x4*x6 + 43516*x1^5*x4^2*x6 + 43565*x1^4*x2*x4^2*x6 + 12800*x1^3*x2^2*x4^2*x6 + 46649*x1^2*x2^3*x4^2*x6 + 42397*x1*x2^4*x4^2*x6 + 9994*x2^5*x4^2*x6 + 44657*x1^3*x3*x4^2*x6 + 38729*x1^2*x2*x3*x4^2*x6 + 58963*x1*x2^2*x3*x4^2*x6 + 22955*x2^3*x3*x4^2*x6 + 64047*x1*x3^2*x4^2*x6 + 5884*x2*x3^2*x4^2*x6 + 42019*x1^3*x4^3*x6 + 15598*x1^2*x2*x4^3*x6 + 32946*x1*x2^2*x4^3*x6 + 46871*x2^3*x4^3*x6 + 57175*x1*x3*x4^3*x6 + 60262*x2*x3*x4^3*x6 + 40808*x1*x4^4*x6 + 48987*x2*x4^4*x6 + 31468*x1^6*x5*x6 + 24929*x1^5*x2*x5*x6 + 36960*x1^4*x2^2*x5*x6 + 3438*x1^3*x2^3*x5*x6 + 6413*x1^2*x2^4*x5*x6 + 21132*x1*x2^5*x5*x6 + 53026*x2^6*x5*x6 + 9724*x1^4*x3*x5*x6 + 13815*x1^3*x2*x3*x5*x6 + 44748*x1^2*x2^2*x3*x5*x6 + 43850*x1*x2^3*x3*x5*x6 + 18411*x2^4*x3*x5*x6 + 59662*x1^2*x3^2*x5*x6 + 64647*x1*x2*x3^2*x5*x6 + 51286*x2^2*x3^2*x5*x6 + 32449*x3^3*x5*x6 + 57725*x1^4*x4*x5*x6 + 64242*x1^3*x2*x4*x5*x6 + 25053*x1^2*x2^2*x4*x5*x6 + 63827*x1*x2^3*x4*x5*x6 + 22968*x2^4*x4*x5*x6 + 49744*x1^2*x3*x4*x5*x6 + 39436*x1*x2*x3*x4*x5*x6 + 4140*x2^2*x3*x4*x5*x6 + 46917*x3^2*x4*x5*x6 + 55334*x1^2*x4^2*x5*x6 + 28807*x1*x2*x4^2*x5*x6 + 25092*x2^2*x4^2*x5*x6 + 37351*x3*x4^2*x5*x6 + 36456*x4^3*x5*x6 + 7320*x1^3*x5^2*x6 + 17494*x1^2*x2*x5^2*x6 + 3158*x1*x2^2*x5^2*x6 + 28806*x2^3*x5^2*x6 + 57361*x1*x3*x5^2*x6 + 22566*x2*x3*x5^2*x6 + 17906*x1*x4*x5^2*x6 + 50503*x2*x4*x5^2*x6 + 44987*x5^3*x6 + 19965*x1^6*x6^2 + 53842*x1^5*x2*x6^2 + 33058*x1^4*x2^2*x6^2 + 36495*x1^3*x2^3*x6^2 + 24277*x1^2*x2^4*x6^2 + 32803*x1*x2^5*x6^2 + 24437*x2^6*x6^2 + 46091*x1^4*x3*x6^2 + 8937*x1^3*x2*x3*x6^2 + 50640*x1^2*x2^2*x3*x6^2 + 49006*x1*x2^3*x3*x6^2 + 60195*x2^4*x3*x6^2 + 6844*x1^2*x3^2*x6^2 + 24071*x1*x2*x3^2*x6^2 + 35884*x2^2*x3^2*x6^2 + 24150*x3^3*x6^2 + 60333*x1^4*x4*x6^2 + 38463*x1^3*x2*x4*x6^2 + 18817*x1^2*x2^2*x4*x6^2 + 22519*x1*x2^3*x4*x6^2 + 62523*x2^4*x4*x6^2 + 2042*x1^2*x3*x4*x6^2 + 38874*x1*x2*x3*x4*x6^2 + 43718*x2^2*x3*x4*x6^2 + 44699*x3^2*x4*x6^2 + 16598*x1^2*x4^2*x6^2 + 3212*x1*x2*x4^2*x6^2 + 8508*x2^2*x4^2*x6^2 + 36875*x3*x4^2*x6^2 + 22556*x4^3*x6^2 + 30465*x1^3*x5*x6^2 + 17810*x1^2*x2*x5*x6^2 + 3781*x1*x2^2*x5*x6^2 + 33795*x2^3*x5*x6^2 + 46578*x1*x3*x5*x6^2 + 38743*x2*x3*x5*x6^2 + 44982*x1*x4*x5*x6^2 + 64781*x2*x4*x5*x6^2 + 42702*x5^2*x6^2 + 40454*x1^3*x6^3 + 34356*x1^2*x2*x6^3 + 15623*x1*x2^2*x6^3 + 47511*x2^3*x6^3 + 18878*x1*x3*x6^3 + 50035*x2*x3*x6^3 + 624*x1*x4*x6^3 + 29324*x2*x4*x6^3 + 25742*x5*x6^3 + 24799*x6^4 + 14895, 8427*x1^12 + 38354*x1^11*x2 + 32610*x1^10*x2^2 + 41156*x1^9*x2^3 + 49648*x1^8*x2^4 + 36421*x1^7*x2^5 + 15831*x1^6*x2^6 + 20288*x1^5*x2^7 + 38121*x1^4*x2^8 + 12776*x1^3*x2^9 + 25338*x1^2*x2^10 + 18420*x1*x2^11 + 45096*x2^12 + 45254*x1^10*x3 + 59075*x1^9*x2*x3 + 45969*x1^8*x2^2*x3 + 12735*x1^7*x2^3*x3 + 49579*x1^6*x2^4*x3 + 10573*x1^5*x2^5*x3 + 27631*x1^4*x2^6*x3 + 37115*x1^3*x2^7*x3 + 48705*x1^2*x2^8*x3 + 33496*x1*x2^9*x3 + 27468*x2^10*x3 + 5926*x1^8*x3^2 + 64838*x1^7*x2*x3^2 + 32565*x1^6*x2^2*x3^2 + 63667*x1^5*x2^3*x3^2 + 59531*x1^4*x2^4*x3^2 + 14020*x1^3*x2^5*x3^2 + 32481*x1^2*x2^6*x3^2 + 142*x1*x2^7*x3^2 + 57453*x2^8*x3^2 + 17088*x1^6*x3^3 + 42018*x1^5*x2*x3^3 + 53887*x1^4*x2^2*x3^3 + 9724*x1^3*x2^3*x3^3 + 7862*x1^2*x2^4*x3^3 + 25217*x1*x2^5*x3^3 + 35507*x2^6*x3^3 + 51986*x1^4*x3^4 + 39309*x1^3*x2*x3^4 + 39862*x1^2*x2^2*x3^4 + 50613*x1*x2^3*x3^4 + 23017*x2^4*x3^4 + 58901*x1^2*x3^5 + 62524*x1*x2*x3^5 + 51390*x2^2*x3^5 + 47222*x3^6 + 60473*x1^10*x4 + 59277*x1^9*x2*x4 + 59628*x1^8*x2^2*x4 + 33259*x1^7*x2^3*x4 + 42706*x1^6*x2^4*x4 + 42529*x1^5*x2^5*x4 + 34492*x1^4*x2^6*x4 + 43008*x1^3*x2^7*x4 + 19140*x1^2*x2^8*x4 + 29413*x1*x2^9*x4 + 49517*x2^10*x4 + 1134*x1^8*x3*x4 + 54297*x1^7*x2*x3*x4 + 63939*x1^6*x2^2*x3*x4 + 885*x1^5*x2^3*x3*x4 + 58351*x1^4*x2^4*x3*x4 + 8681*x1^3*x2^5*x3*x4 + 1052*x1^2*x2^6*x3*x4 + 53619*x1*x2^7*x3*x4 + 22871*x2^8*x3*x4 + 59235*x1^6*x3^2*x4 + 15096*x1^5*x2*x3^2*x4 + 21655*x1^4*x2^2*x3^2*x4 + 23724*x1^3*x2^3*x3^2*x4 + 31268*x1^2*x2^4*x3^2*x4 + 22869*x1*x2^5*x3^2*x4 + 37011*x2^6*x3^2*x4 + 63657*x1^4*x3^3*x4 + 23931*x1^3*x2*x3^3*x4 + 55811*x1^2*x2^2*x3^3*x4 + 59553*x1*x2^3*x3^3*x4 + 13302*x2^4*x3^3*x4 + 47685*x1^2*x3^4*x4 + 24655*x1*x2*x3^4*x4 + 41833*x2^2*x3^4*x4 + 17945*x3^5*x4 + 32941*x1^8*x4^2 + 9947*x1^7*x2*x4^2 + 31168*x1^6*x2^2*x4^2 + 13086*x1^5*x2^3*x4^2 + 14385*x1^4*x2^4*x4^2 + 45649*x1^3*x2^5*x4^2 + 16097*x1^2*x2^6*x4^2 + 41918*x1*x2^7*x4^2 + 18446*x2^8*x4^2 + 33645*x1^6*x3*x4^2 + 6278*x1^5*x2*x3*x4^2 + 3024*x1^4*x2^2*x3*x4^2 + 23803*x1^3*x2^3*x3*x4^2 + 4527*x1^2*x2^4*x3*x4^2 + 33861*x1*x2^5*x3*x4^2 + 34075*x2^6*x3*x4^2 + 15462*x1^4*x3^2*x4^2 + 37117*x1^3*x2*x3^2*x4^2 + 17279*x1^2*x2^2*x3^2*x4^2 + 10923*x1*x2^3*x3^2*x4^2 + 59219*x2^4*x3^2*x4^2 + 50401*x1^2*x3^3*x4^2 + 28442*x1*x2*x3^3*x4^2 + 2467*x2^2*x3^3*x4^2 + 22068*x3^4*x4^2 + 19767*x1^6*x4^3 + 24495*x1^5*x2*x4^3 + 31369*x1^4*x2^2*x4^3 + 64197*x1^3*x2^3*x4^3 + 52220*x1^2*x2^4*x4^3 + 20860*x1*x2^5*x4^3 + 5284*x2^6*x4^3 + 39925*x1^4*x3*x4^3 + 26792*x1^3*x2*x3*x4^3 + 20210*x1^2*x2^2*x3*x4^3 + 46*x1*x2^3*x3*x4^3 + 57395*x2^4*x3*x4^3 + 41080*x1^2*x3^2*x4^3 + 14231*x1*x2*x3^2*x4^3 + 22871*x2^2*x3^2*x4^3 + 12892*x3^3*x4^3 + 37470*x1^4*x4^4 + 57709*x1^3*x2*x4^4 + 64283*x1^2*x2^2*x4^4 + 39564*x1*x2^3*x4^4 + 55625*x2^4*x4^4 + 27100*x1^2*x3*x4^4 + 44797*x1*x2*x3*x4^4 + 9668*x2^2*x3*x4^4 + 42767*x3^2*x4^4 + 47614*x1^2*x4^5 + 40522*x1*x2*x4^5 + 33668*x2^2*x4^5 + 12262*x3*x4^5 + 56492*x4^6 + 46941*x1^9*x5 + 32416*x1^8*x2*x5 + 30564*x1^7*x2^2*x5 + 58191*x1^6*x2^3*x5 + 52023*x1^5*x2^4*x5 + 18845*x1^4*x2^5*x5 + 58124*x1^3*x2^6*x5 + 60034*x1^2*x2^7*x5 + 51989*x1*x2^8*x5 + 1465*x2^9*x5 + 28019*x1^7*x3*x5 + 36329*x1^6*x2*x3*x5 + 40858*x1^5*x2^2*x3*x5 + 45715*x1^4*x2^3*x3*x5 + 25281*x1^3*x2^4*x3*x5 + 53478*x1^2*x2^5*x3*x5 + 32942*x1*x2^6*x3*x5 + 55564*x2^7*x3*x5 + 61575*x1^5*x3^2*x5 + 2497*x1^4*x2*x3^2*x5 + 54515*x1^3*x2^2*x3^2*x5 + 6861*x1^2*x2^3*x3^2*x5 + 57309*x1*x2^4*x3^2*x5 + 49013*x2^5*x3^2*x5 + 17568*x1^3*x3^3*x5 + 18068*x1^2*x2*x3^3*x5 + 23022*x1*x2^2*x3^3*x5 + 63654*x2^3*x3^3*x5 + 30583*x1*x3^4*x5 + 42681*x2*x3^4*x5 + 13113*x1^7*x4*x5 + 46741*x1^6*x2*x4*x5 + 19301*x1^5*x2^2*x4*x5 + 6925*x1^4*x2^3*x4*x5 + 16196*x1^3*x2^4*x4*x5 + 24308*x1^2*x2^5*x4*x5 + 64303*x1*x2^6*x4*x5 + 12692*x2^7*x4*x5 + 52457*x1^5*x3*x4*x5 + 57088*x1^4*x2*x3*x4*x5 + 3748*x1^3*x2^2*x3*x4*x5 + 15172*x1^2*x2^3*x3*x4*x5 + 22695*x1*x2^4*x3*x4*x5 + 53673*x2^5*x3*x4*x5 + 62540*x1^3*x3^2*x4*x5 + 49945*x1^2*x2*x3^2*x4*x5 + 29851*x1*x2^2*x3^2*x4*x5 + 13377*x2^3*x3^2*x4*x5 + 41305*x1*x3^3*x4*x5 + 48215*x2*x3^3*x4*x5 + 34390*x1^5*x4^2*x5 + 47918*x1^4*x2*x4^2*x5 + 38871*x1^3*x2^2*x4^2*x5 + 5626*x1^2*x2^3*x4^2*x5 + 3905*x1*x2^4*x4^2*x5 + 62915*x2^5*x4^2*x5 + 65242*x1^3*x3*x4^2*x5 + 33169*x1^2*x2*x3*x4^2*x5 + 28301*x1*x2^2*x3*x4^2*x5 + 55343*x2^3*x3*x4^2*x5 + 31723*x1*x3^2*x4^2*x5 + 7907*x2*x3^2*x4^2*x5 + 43378*x1^3*x4^3*x5 + 36741*x1^2*x2*x4^3*x5 + 3032*x1*x2^2*x4^3*x5 + 33923*x2^3*x4^3*x5 + 52800*x1*x3*x4^3*x5 + 32911*x2*x3*x4^3*x5 + 22089*x1*x4^4*x5 + 2722*x2*x4^4*x5 + 51333*x1^6*x5^2 + 22857*x1^5*x2*x5^2 + 9251*x1^4*x2^2*x5^2 + 63145*x1^3*x2^3*x5^2 + 45469*x1^2*x2^4*x5^2 + 51093*x1*x2^5*x5^2 + 63806*x2^6*x5^2 + 24283*x1^4*x3*x5^2 + 26663*x1^3*x2*x3*x5^2 + 46081*x1^2*x2^2*x3*x5^2 + 5301*x1*x2^3*x3*x5^2 + 41719*x2^4*x3*x5^2 + 47400*x1^2*x3^2*x5^2 + 19300*x1*x2*x3^2*x5^2 + 44564*x2^2*x3^2*x5^2 + 40158*x3^3*x5^2 + 14246*x1^4*x4*x5^2 + 47743*x1^3*x2*x4*x5^2 + 57009*x1^2*x2^2*x4*x5^2 + 62710*x1*x2^3*x4*x5^2 + 31722*x2^4*x4*x5^2 + 62647*x1^2*x3*x4*x5^2 + 48209*x1*x2*x3*x4*x5^2 + 30450*x2^2*x3*x4*x5^2 + 32540*x3^2*x4*x5^2 + 13450*x1^2*x4^2*x5^2 + 45246*x1*x2*x4^2*x5^2 + 59726*x2^2*x4^2*x5^2 + 62711*x3*x4^2*x5^2 + 45006*x4^3*x5^2 + 49737*x1^3*x5^3 + 17896*x1^2*x2*x5^3 + 25505*x1*x2^2*x5^3 + 3738*x2^3*x5^3 + 8133*x1*x3*x5^3 + 44049*x2*x3*x5^3 + 63279*x1*x4*x5^3 + 18376*x2*x4*x5^3 + 20478*x5^4 + 24566*x1^9*x6 + 7001*x1^8*x2*x6 + 5255*x1^7*x2^2*x6 + 20266*x1^6*x2^3*x6 + 32179*x1^5*x2^4*x6 + 14599*x1^4*x2^5*x6 + 14374*x1^3*x2^6*x6 + 53632*x1^2*x2^7*x6 + 50630*x1*x2^8*x6 + 29097*x2^9*x6 + 47762*x1^7*x3*x6 + 58950*x1^6*x2*x3*x6 + 59439*x1^5*x2^2*x3*x6 + 1884*x1^4*x2^3*x3*x6 + 3117*x1^3*x2^4*x3*x6 + 49922*x1^2*x2^5*x3*x6 + 40294*x1*x2^6*x3*x6 + 62011*x2^7*x3*x6 + 8754*x1^5*x3^2*x6 + 16565*x1^4*x2*x3^2*x6 + 4971*x1^3*x2^2*x3^2*x6 + 33107*x1^2*x2^3*x3^2*x6 + 5027*x1*x2^4*x3^2*x6 + 37213*x2^5*x3^2*x6 + 30723*x1^3*x3^3*x6 + 26430*x1^2*x2*x3^3*x6 + 50413*x1*x2^2*x3^3*x6 + 36305*x2^3*x3^3*x6 + 44683*x1*x3^4*x6 + 47429*x2*x3^4*x6 + 64553*x1^7*x4*x6 + 59623*x1^6*x2*x4*x6 + 26652*x1^5*x2^2*x4*x6 + 62002*x1^4*x2^3*x4*x6 + 36502*x1^3*x2^4*x4*x6 + 35761*x1^2*x2^5*x4*x6 + 44845*x1*x2^6*x4*x6 + 61145*x2^7*x4*x6 + 17933*x1^5*x3*x4*x6 + 38640*x1^4*x2*x3*x4*x6 + 32699*x1^3*x2^2*x3*x4*x6 + 9449*x1^2*x2^3*x3*x4*x6 + 17270*x1*x2^4*x3*x4*x6 + 19939*x2^5*x3*x4*x6 + 60903*x1^3*x3^2*x4*x6 + 45807*x1^2*x2*x3^2*x4*x6 + 59099*x1*x2^2*x3^2*x4*x6 + 64344*x2^3*x3^2*x4*x6 + 53282*x1*x3^3*x4*x6 + 18184*x2*x3^3*x4*x6 + 4000*x1^5*x4^2*x6 + 62669*x1^4*x2*x4^2*x6 + 9196*x1^3*x2^2*x4^2*x6 + 32235*x1^2*x2^3*x4^2*x6 + 12432*x1*x2^4*x4^2*x6 + 63188*x2^5*x4^2*x6 + 8848*x1^3*x3*x4^2*x6 + 37813*x1^2*x2*x3*x4^2*x6 + 17321*x1*x2^2*x3*x4^2*x6 + 36478*x2^3*x3*x4^2*x6 + 51799*x1*x3^2*x4^2*x6 + 39703*x2*x3^2*x4^2*x6 + 62814*x1^3*x4^3*x6 + 63158*x1^2*x2*x4^3*x6 + 31578*x1*x2^2*x4^3*x6 + 6541*x2^3*x4^3*x6 + 22293*x1*x3*x4^3*x6 + 47381*x2*x3*x4^3*x6 + 54255*x1*x4^4*x6 + 39054*x2*x4^4*x6 + 10166*x1^6*x5*x6 + 22627*x1^5*x2*x5*x6 + 46904*x1^4*x2^2*x5*x6 + 52725*x1^3*x2^3*x5*x6 + 38664*x1^2*x2^4*x5*x6 + 23128*x1*x2^5*x5*x6 + 29599*x2^6*x5*x6 + 11955*x1^4*x3*x5*x6 + 63302*x1^3*x2*x3*x5*x6 + 60200*x1^2*x2^2*x3*x5*x6 + 6482*x1*x2^3*x3*x5*x6 + 7692*x2^4*x3*x5*x6 + 55455*x1^2*x3^2*x5*x6 + 5974*x1*x2*x3^2*x5*x6 + 50128*x2^2*x3^2*x5*x6 + 14972*x3^3*x5*x6 + 6522*x1^4*x4*x5*x6 + 35687*x1^3*x2*x4*x5*x6 + 50241*x1^2*x2^2*x4*x5*x6 + 18200*x1*x2^3*x4*x5*x6 + 525*x2^4*x4*x5*x6 + 30352*x1^2*x3*x4*x5*x6 + 39318*x1*x2*x3*x4*x5*x6 + 34684*x2^2*x3*x4*x5*x6 + 46414*x3^2*x4*x5*x6 + 15054*x1^2*x4^2*x5*x6 + 53173*x1*x2*x4^2*x5*x6 + 32319*x2^2*x4^2*x5*x6 + 27842*x3*x4^2*x5*x6 + 54575*x4^3*x5*x6 + 13004*x1^3*x5^2*x6 + 38189*x1^2*x2*x5^2*x6 + 14849*x1*x2^2*x5^2*x6 + 48386*x2^3*x5^2*x6 + 35696*x1*x3*x5^2*x6 + 9474*x2*x3*x5^2*x6 + 12263*x1*x4*x5^2*x6 + 61861*x2*x4*x5^2*x6 + 58036*x5^3*x6 + 3293*x1^6*x6^2 + 2436*x1^5*x2*x6^2 + 17922*x1^4*x2^2*x6^2 + 36527*x1^3*x2^3*x6^2 + 19948*x1^2*x2^4*x6^2 + 25244*x1*x2^5*x6^2 + 25828*x2^6*x6^2 + 12905*x1^4*x3*x6^2 + 6404*x1^3*x2*x3*x6^2 + 36356*x1^2*x2^2*x3*x6^2 + 60796*x1*x2^3*x3*x6^2 + 31411*x2^4*x3*x6^2 + 34449*x1^2*x3^2*x6^2 + 53910*x1*x2*x3^2*x6^2 + 58371*x2^2*x3^2*x6^2 + 1383*x3^3*x6^2 + 25440*x1^4*x4*x6^2 + 11837*x1^3*x2*x4*x6^2 + 52460*x1^2*x2^2*x4*x6^2 + 23660*x1*x2^3*x4*x6^2 + 61797*x2^4*x4*x6^2 + 10262*x1^2*x3*x4*x6^2 + 31271*x1*x2*x3*x4*x6^2 + 16713*x2^2*x3*x4*x6^2 + 43933*x3^2*x4*x6^2 + 13615*x1^2*x4^2*x6^2 + 40799*x1*x2*x4^2*x6^2 + 4823*x2^2*x4^2*x6^2 + 64900*x3*x4^2*x6^2 + 54838*x4^3*x6^2 + 37457*x1^3*x5*x6^2 + 27041*x1^2*x2*x5*x6^2 + 18553*x1*x2^2*x5*x6^2 + 65254*x2^3*x5*x6^2 + 63323*x1*x3*x5*x6^2 + 50337*x2*x3*x5*x6^2 + 50384*x1*x4*x5*x6^2 + 26639*x2*x4*x5*x6^2 + 30523*x5^2*x6^2 + 25576*x1^3*x6^3 + 7258*x1^2*x2*x6^3 + 16177*x1*x2^2*x6^3 + 21311*x2^3*x6^3 + 36814*x1*x3*x6^3 + 41895*x2*x3*x6^3 + 50323*x1*x4*x6^3 + 11914*x2*x4*x6^3 + 38256*x5*x6^3 + 43648*x6^4 + 52016, 63831*x1^12 + 4586*x1^11*x2 + 35481*x1^10*x2^2 + 64849*x1^9*x2^3 + 1334*x1^8*x2^4 + 29643*x1^7*x2^5 + 60498*x1^6*x2^6 + 50315*x1^5*x2^7 + 4095*x1^4*x2^8 + 11174*x1^3*x2^9 + 57196*x1^2*x2^10 + 9109*x1*x2^11 + 46251*x2^12 + 23851*x1^10*x3 + 22685*x1^9*x2*x3 + 43822*x1^8*x2^2*x3 + 33773*x1^7*x2^3*x3 + 54789*x1^6*x2^4*x3 + 20125*x1^5*x2^5*x3 + 34197*x1^4*x2^6*x3 + 34802*x1^3*x2^7*x3 + 54894*x1^2*x2^8*x3 + 34587*x1*x2^9*x3 + 19374*x2^10*x3 + 12136*x1^8*x3^2 + 52964*x1^7*x2*x3^2 + 38417*x1^6*x2^2*x3^2 + 63080*x1^5*x2^3*x3^2 + 52426*x1^4*x2^4*x3^2 + 40597*x1^3*x2^5*x3^2 + 30595*x1^2*x2^6*x3^2 + 26754*x1*x2^7*x3^2 + 55694*x2^8*x3^2 + 55660*x1^6*x3^3 + 27518*x1^5*x2*x3^3 + 29301*x1^4*x2^2*x3^3 + 8148*x1^3*x2^3*x3^3 + 13444*x1^2*x2^4*x3^3 + 64097*x1*x2^5*x3^3 + 4756*x2^6*x3^3 + 35158*x1^4*x3^4 + 50765*x1^3*x2*x3^4 + 25642*x1^2*x2^2*x3^4 + 61192*x1*x2^3*x3^4 + 19442*x2^4*x3^4 + 55679*x1^2*x3^5 + 37351*x1*x2*x3^5 + 47281*x2^2*x3^5 + 41399*x3^6 + 6071*x1^10*x4 + 43346*x1^9*x2*x4 + 37482*x1^8*x2^2*x4 + 63268*x1^7*x2^3*x4 + 60906*x1^6*x2^4*x4 + 30422*x1^5*x2^5*x4 + 30044*x1^4*x2^6*x4 + 31478*x1^3*x2^7*x4 + 18970*x1^2*x2^8*x4 + 39844*x1*x2^9*x4 + 17380*x2^10*x4 + 27025*x1^8*x3*x4 + 14521*x1^7*x2*x3*x4 + 64212*x1^6*x2^2*x3*x4 + 7019*x1^5*x2^3*x3*x4 + 5111*x1^4*x2^4*x3*x4 + 10182*x1^3*x2^5*x3*x4 + 11822*x1^2*x2^6*x3*x4 + 26835*x1*x2^7*x3*x4 + 35940*x2^8*x3*x4 + 59420*x1^6*x3^2*x4 + 41175*x1^5*x2*x3^2*x4 + 38101*x1^4*x2^2*x3^2*x4 + 34386*x1^3*x2^3*x3^2*x4 + 246*x1^2*x2^4*x3^2*x4 + 35774*x1*x2^5*x3^2*x4 + 56379*x2^6*x3^2*x4 + 55339*x1^4*x3^3*x4 + 48627*x1^3*x2*x3^3*x4 + 20167*x1^2*x2^2*x3^3*x4 + 60712*x1*x2^3*x3^3*x4 + 15293*x2^4*x3^3*x4 + 48803*x1^2*x3^4*x4 + 4236*x1*x2*x3^4*x4 + 39859*x2^2*x3^4*x4 + 50149*x3^5*x4 + 35105*x1^8*x4^2 + 5400*x1^7*x2*x4^2 + 31764*x1^6*x2^2*x4^2 + 25432*x1^5*x2^3*x4^2 + 527*x1^4*x2^4*x4^2 + 56049*x1^3*x2^5*x4^2 + 1780*x1^2*x2^6*x4^2 + 24446*x1*x2^7*x4^2 + 39152*x2^8*x4^2 + 22282*x1^6*x3*x4^2 + 11194*x1^5*x2*x3*x4^2 + 30906*x1^4*x2^2*x3*x4^2 + 55406*x1^3*x2^3*x3*x4^2 + 6089*x1^2*x2^4*x3*x4^2 + 1540*x1*x2^5*x3*x4^2 + 8290*x2^6*x3*x4^2 + 10731*x1^4*x3^2*x4^2 + 8383*x1^3*x2*x3^2*x4^2 + 31469*x1^2*x2^2*x3^2*x4^2 + 45248*x1*x2^3*x3^2*x4^2 + 45555*x2^4*x3^2*x4^2 + 10034*x1^2*x3^3*x4^2 + 51799*x1*x2*x3^3*x4^2 + 37896*x2^2*x3^3*x4^2 + 2892*x3^4*x4^2 + 29813*x1^6*x4^3 + 26533*x1^5*x2*x4^3 + 56333*x1^4*x2^2*x4^3 + 4274*x1^3*x2^3*x4^3 + 5010*x1^2*x2^4*x4^3 + 33162*x1*x2^5*x4^3 + 58558*x2^6*x4^3 + 1314*x1^4*x3*x4^3 + 38163*x1^3*x2*x3*x4^3 + 41955*x1^2*x2^2*x3*x4^3 + 28466*x1*x2^3*x3*x4^3 + 24895*x2^4*x3*x4^3 + 49054*x1^2*x3^2*x4^3 + 61513*x1*x2*x3^2*x4^3 + 18849*x2^2*x3^2*x4^3 + 39557*x3^3*x4^3 + 31033*x1^4*x4^4 + 47994*x1^3*x2*x4^4 + 28218*x1^2*x2^2*x4^4 + 52685*x1*x2^3*x4^4 + 16734*x2^4*x4^4 + 64079*x1^2*x3*x4^4 + 30696*x1*x2*x3*x4^4 + 10938*x2^2*x3*x4^4 + 64780*x3^2*x4^4 + 4556*x1^2*x4^5 + 6170*x1*x2*x4^5 + 16562*x2^2*x4^5 + 28337*x3*x4^5 + 27703*x4^6 + 17872*x1^9*x5 + 15442*x1^8*x2*x5 + 43533*x1^7*x2^2*x5 + 17516*x1^6*x2^3*x5 + 35354*x1^5*x2^4*x5 + 17016*x1^4*x2^5*x5 + 24113*x1^3*x2^6*x5 + 14304*x1^2*x2^7*x5 + 59356*x1*x2^8*x5 + 46483*x2^9*x5 + 57048*x1^7*x3*x5 + 62567*x1^6*x2*x3*x5 + 33192*x1^5*x2^2*x3*x5 + 48299*x1^4*x2^3*x3*x5 + 39937*x1^3*x2^4*x3*x5 + 56932*x1^2*x2^5*x3*x5 + 44074*x1*x2^6*x3*x5 + 43382*x2^7*x3*x5 + 45585*x1^5*x3^2*x5 + 33521*x1^4*x2*x3^2*x5 + 41052*x1^3*x2^2*x3^2*x5 + 21644*x1^2*x2^3*x3^2*x5 + 23710*x1*x2^4*x3^2*x5 + 41767*x2^5*x3^2*x5 + 42300*x1^3*x3^3*x5 + 36643*x1^2*x2*x3^3*x5 + 25975*x1*x2^2*x3^3*x5 + 57815*x2^3*x3^3*x5 + 44423*x1*x3^4*x5 + 19998*x2*x3^4*x5 + 30884*x1^7*x4*x5 + 48705*x1^6*x2*x4*x5 + 13865*x1^5*x2^2*x4*x5 + 53177*x1^4*x2^3*x4*x5 + 11038*x1^3*x2^4*x4*x5 + 55844*x1^2*x2^5*x4*x5 + 18447*x1*x2^6*x4*x5 + 4145*x2^7*x4*x5 + 5337*x1^5*x3*x4*x5 + 6478*x1^4*x2*x3*x4*x5 + 35582*x1^3*x2^2*x3*x4*x5 + 45310*x1^2*x2^3*x3*x4*x5 + 7162*x1*x2^4*x3*x4*x5 + 36645*x2^5*x3*x4*x5 + 155*x1^3*x3^2*x4*x5 + 65484*x1^2*x2*x3^2*x4*x5 + 20903*x1*x2^2*x3^2*x4*x5 + 33510*x2^3*x3^2*x4*x5 + 23160*x1*x3^3*x4*x5 + 3302*x2*x3^3*x4*x5 + 56775*x1^5*x4^2*x5 + 9020*x1^4*x2*x4^2*x5 + 43974*x1^3*x2^2*x4^2*x5 + 38364*x1^2*x2^3*x4^2*x5 + 4542*x1*x2^4*x4^2*x5 + 17593*x2^5*x4^2*x5 + 53833*x1^3*x3*x4^2*x5 + 59063*x1^2*x2*x3*x4^2*x5 + 7392*x1*x2^2*x3*x4^2*x5 + 15648*x2^3*x3*x4^2*x5 + 13236*x1*x3^2*x4^2*x5 + 22446*x2*x3^2*x4^2*x5 + 27297*x1^3*x4^3*x5 + 53830*x1^2*x2*x4^3*x5 + 10894*x1*x2^2*x4^3*x5 + 50573*x2^3*x4^3*x5 + 53561*x1*x3*x4^3*x5 + 32574*x2*x3*x4^3*x5 + 46125*x1*x4^4*x5 + 14280*x2*x4^4*x5 + 18349*x1^6*x5^2 + 21413*x1^5*x2*x5^2 + 54646*x1^4*x2^2*x5^2 + 48117*x1^3*x2^3*x5^2 + 54576*x1^2*x2^4*x5^2 + 2524*x1*x2^5*x5^2 + 28179*x2^6*x5^2 + 27691*x1^4*x3*x5^2 + 14231*x1^3*x2*x3*x5^2 + 56325*x1^2*x2^2*x3*x5^2 + 8885*x1*x2^3*x3*x5^2 + 31611*x2^4*x3*x5^2 + 46930*x1^2*x3^2*x5^2 + 2405*x1*x2*x3^2*x5^2 + 54850*x2^2*x3^2*x5^2 + 21486*x3^3*x5^2 + 43321*x1^4*x4*x5^2 + 5145*x1^3*x2*x4*x5^2 + 41913*x1^2*x2^2*x4*x5^2 + 35023*x1*x2^3*x4*x5^2 + 33040*x2^4*x4*x5^2 + 55948*x1^2*x3*x4*x5^2 + 28559*x1*x2*x3*x4*x5^2 + 35614*x2^2*x3*x4*x5^2 + 57496*x3^2*x4*x5^2 + 4519*x1^2*x4^2*x5^2 + 19212*x1*x2*x4^2*x5^2 + 36070*x2^2*x4^2*x5^2 + 33099*x3*x4^2*x5^2 + 41214*x4^3*x5^2 + 7958*x1^3*x5^3 + 35884*x1^2*x2*x5^3 + 63786*x1*x2^2*x5^3 + 41269*x2^3*x5^3 + 8848*x1*x3*x5^3 + 35370*x2*x3*x5^3 + 58589*x1*x4*x5^3 + 37594*x2*x4*x5^3 + 13716*x5^4 + 2360*x1^9*x6 + 23891*x1^8*x2*x6 + 8035*x1^7*x2^2*x6 + 49490*x1^6*x2^3*x6 + 23154*x1^5*x2^4*x6 + 8995*x1^4*x2^5*x6 + 12474*x1^3*x2^6*x6 + 7529*x1^2*x2^7*x6 + 1503*x1*x2^8*x6 + 25793*x2^9*x6 + 44460*x1^7*x3*x6 + 32462*x1^6*x2*x3*x6 + 15248*x1^5*x2^2*x3*x6 + 22468*x1^4*x2^3*x3*x6 + 58701*x1^3*x2^4*x3*x6 + 32263*x1^2*x2^5*x3*x6 + 6299*x1*x2^6*x3*x6 + 26356*x2^7*x3*x6 + 25032*x1^5*x3^2*x6 + 45502*x1^4*x2*x3^2*x6 + 23421*x1^3*x2^2*x3^2*x6 + 51819*x1^2*x2^3*x3^2*x6 + 16387*x1*x2^4*x3^2*x6 + 64763*x2^5*x3^2*x6 + 10122*x1^3*x3^3*x6 + 25858*x1^2*x2*x3^3*x6 + 1269*x1*x2^2*x3^3*x6 + 37499*x2^3*x3^3*x6 + 50651*x1*x3^4*x6 + 56014*x2*x3^4*x6 + 44944*x1^7*x4*x6 + 734*x1^6*x2*x4*x6 + 56176*x1^5*x2^2*x4*x6 + 19218*x1^4*x2^3*x4*x6 + 10380*x1^3*x2^4*x4*x6 + 35876*x1^2*x2^5*x4*x6 + 46906*x1*x2^6*x4*x6 + 8414*x2^7*x4*x6 + 34474*x1^5*x3*x4*x6 + 922*x1^4*x2*x3*x4*x6 + 46039*x1^3*x2^2*x3*x4*x6 + 46561*x1^2*x2^3*x3*x4*x6 + 1476*x1*x2^4*x3*x4*x6 + 32111*x2^5*x3*x4*x6 + 40387*x1^3*x3^2*x4*x6 + 10615*x1^2*x2*x3^2*x4*x6 + 6934*x1*x2^2*x3^2*x4*x6 + 8745*x2^3*x3^2*x4*x6 + 16721*x1*x3^3*x4*x6 + 23952*x2*x3^3*x4*x6 + 15780*x1^5*x4^2*x6 + 47732*x1^4*x2*x4^2*x6 + 37436*x1^3*x2^2*x4^2*x6 + 2977*x1^2*x2^3*x4^2*x6 + 22979*x1*x2^4*x4^2*x6 + 45607*x2^5*x4^2*x6 + 11186*x1^3*x3*x4^2*x6 + 58575*x1^2*x2*x3*x4^2*x6 + 62205*x1*x2^2*x3*x4^2*x6 + 665*x2^3*x3*x4^2*x6 + 8310*x1*x3^2*x4^2*x6 + 58383*x2*x3^2*x4^2*x6 + 37787*x1^3*x4^3*x6 + 22191*x1^2*x2*x4^3*x6 + 65448*x1*x2^2*x4^3*x6 + 51945*x2^3*x4^3*x6 + 39695*x1*x3*x4^3*x6 + 32782*x2*x3*x4^3*x6 + 14854*x1*x4^4*x6 + 24483*x2*x4^4*x6 + 10834*x1^6*x5*x6 + 32178*x1^5*x2*x5*x6 + 17148*x1^4*x2^2*x5*x6 + 15079*x1^3*x2^3*x5*x6 + 39156*x1^2*x2^4*x5*x6 + 51778*x1*x2^5*x5*x6 + 20280*x2^6*x5*x6 + 29139*x1^4*x3*x5*x6 + 50534*x1^3*x2*x3*x5*x6 + 17187*x1^2*x2^2*x3*x5*x6 + 21507*x1*x2^3*x3*x5*x6 + 12130*x2^4*x3*x5*x6 + 33697*x1^2*x3^2*x5*x6 + 31260*x1*x2*x3^2*x5*x6 + 29802*x2^2*x3^2*x5*x6 + 3303*x3^3*x5*x6 + 8099*x1^4*x4*x5*x6 + 50253*x1^3*x2*x4*x5*x6 + 2593*x1^2*x2^2*x4*x5*x6 + 52198*x1*x2^3*x4*x5*x6 + 49621*x2^4*x4*x5*x6 + 46417*x1^2*x3*x4*x5*x6 + 19794*x1*x2*x3*x4*x5*x6 + 52226*x2^2*x3*x4*x5*x6 + 46870*x3^2*x4*x5*x6 + 23359*x1^2*x4^2*x5*x6 + 1851*x1*x2*x4^2*x5*x6 + 35430*x2^2*x4^2*x5*x6 + 8367*x3*x4^2*x5*x6 + 3043*x4^3*x5*x6 + 59855*x1^3*x5^2*x6 + 31617*x1^2*x2*x5^2*x6 + 29471*x1*x2^2*x5^2*x6 + 8552*x2^3*x5^2*x6 + 54788*x1*x3*x5^2*x6 + 27759*x2*x3*x5^2*x6 + 16366*x1*x4*x5^2*x6 + 9179*x2*x4*x5^2*x6 + 62227*x5^3*x6 + 31798*x1^6*x6^2 + 35955*x1^5*x2*x6^2 + 989*x1^4*x2^2*x6^2 + 37564*x1^3*x2^3*x6^2 + 56323*x1^2*x2^4*x6^2 + 48010*x1*x2^5*x6^2 + 24049*x2^6*x6^2 + 54675*x1^4*x3*x6^2 + 52890*x1^3*x2*x3*x6^2 + 26244*x1^2*x2^2*x3*x6^2 + 25919*x1*x2^3*x3*x6^2 + 62525*x2^4*x3*x6^2 + 15638*x1^2*x3^2*x6^2 + 10855*x1*x2*x3^2*x6^2 + 29772*x2^2*x3^2*x6^2 + 14381*x3^3*x6^2 + 11116*x1^4*x4*x6^2 + 41740*x1^3*x2*x4*x6^2 + 29163*x1^2*x2^2*x4*x6^2 + 700*x1*x2^3*x4*x6^2 + 20624*x2^4*x4*x6^2 + 56810*x1^2*x3*x4*x6^2 + 1668*x1*x2*x3*x4*x6^2 + 19942*x2^2*x3*x4*x6^2 + 23356*x3^2*x4*x6^2 + 63240*x1^2*x4^2*x6^2 + 63841*x1*x2*x4^2*x6^2 + 60335*x2^2*x4^2*x6^2 + 5350*x3*x4^2*x6^2 + 1745*x4^3*x6^2 + 55154*x1^3*x5*x6^2 + 9846*x1^2*x2*x5*x6^2 + 7340*x1*x2^2*x5*x6^2 + 22356*x2^3*x5*x6^2 + 19084*x1*x3*x5*x6^2 + 51076*x2*x3*x5*x6^2 + 39493*x1*x4*x5*x6^2 + 34486*x2*x4*x5*x6^2 + 19479*x5^2*x6^2 + 8591*x1^3*x6^3 + 50977*x1^2*x2*x6^3 + 10639*x1*x2^2*x6^3 + 58631*x2^3*x6^3 + 14826*x1*x3*x6^3 + 22015*x2*x3*x6^3 + 54264*x1*x4*x6^3 + 43130*x2*x4*x6^3 + 56375*x5*x6^3 + 36201*x6^4 + 4441, 41*x1^12 + 22224*x1^11*x2 + 5960*x1^10*x2^2 + 59201*x1^9*x2^3 + 3276*x1^8*x2^4 + 57353*x1^7*x2^5 + 37513*x1^6*x2^6 + 9985*x1^5*x2^7 + 46245*x1^4*x2^8 + 20757*x1^3*x2^9 + 63550*x1^2*x2^10 + 35869*x1*x2^11 + 53679*x2^12 + 1027*x1^10*x3 + 32734*x1^9*x2*x3 + 37898*x1^8*x2^2*x3 + 29072*x1^7*x2^3*x3 + 24565*x1^6*x2^4*x3 + 27579*x1^5*x2^5*x3 + 64691*x1^4*x2^6*x3 + 56173*x1^3*x2^7*x3 + 27988*x1^2*x2^8*x3 + 49530*x1*x2^9*x3 + 43024*x2^10*x3 + 11069*x1^8*x3^2 + 40066*x1^7*x2*x3^2 + 45654*x1^6*x2^2*x3^2 + 60380*x1^5*x2^3*x3^2 + 11626*x1^4*x2^4*x3^2 + 59615*x1^3*x2^5*x3^2 + 51428*x1^2*x2^6*x3^2 + 3207*x1*x2^7*x3^2 + 30088*x2^8*x3^2 + 13900*x1^6*x3^3 + 31552*x1^5*x2*x3^3 + 36153*x1^4*x2^2*x3^3 + 44159*x1^3*x2^3*x3^3 + 48358*x1^2*x2^4*x3^3 + 50677*x1*x2^5*x3^3 + 20271*x2^6*x3^3 + 64514*x1^4*x3^4 + 7878*x1^3*x2*x3^4 + 56550*x1^2*x2^2*x3^4 + 25652*x1*x2^3*x3^4 + 4419*x2^4*x3^4 + 22216*x1^2*x3^5 + 17778*x1*x2*x3^5 + 17087*x2^2*x3^5 + 45918*x3^6 + 29247*x1^10*x4 + 26466*x1^9*x2*x4 + 36332*x1^8*x2^2*x4 + 11632*x1^7*x2^3*x4 + 9347*x1^6*x2^4*x4 + 41020*x1^5*x2^5*x4 + 51833*x1^4*x2^6*x4 + 55364*x1^3*x2^7*x4 + 5353*x1^2*x2^8*x4 + 19306*x1*x2^9*x4 + 27467*x2^10*x4 + 29513*x1^8*x3*x4 + 24205*x1^7*x2*x3*x4 + 1515*x1^6*x2^2*x3*x4 + 19599*x1^5*x2^3*x3*x4 + 44546*x1^4*x2^4*x3*x4 + 25221*x1^3*x2^5*x3*x4 + 55272*x1^2*x2^6*x3*x4 + 35231*x1*x2^7*x3*x4 + 52016*x2^8*x3*x4 + 45472*x1^6*x3^2*x4 + 49317*x1^5*x2*x3^2*x4 + 46185*x1^4*x2^2*x3^2*x4 + 62006*x1^3*x2^3*x3^2*x4 + 12549*x1^2*x2^4*x3^2*x4 + 61168*x1*x2^5*x3^2*x4 + 48637*x2^6*x3^2*x4 + 30595*x1^4*x3^3*x4 + 3443*x1^3*x2*x3^3*x4 + 6093*x1^2*x2^2*x3^3*x4 + 58783*x1*x2^3*x3^3*x4 + 22484*x2^4*x3^3*x4 + 15101*x1^2*x3^4*x4 + 55271*x1*x2*x3^4*x4 + 5951*x2^2*x3^4*x4 + 61056*x3^5*x4 + 60127*x1^8*x4^2 + 20241*x1^7*x2*x4^2 + 40606*x1^6*x2^2*x4^2 + 57354*x1^5*x2^3*x4^2 + 60882*x1^4*x2^4*x4^2 + 61421*x1^3*x2^5*x4^2 + 24146*x1^2*x2^6*x4^2 + 18770*x1*x2^7*x4^2 + 44146*x2^8*x4^2 + 20482*x1^6*x3*x4^2 + 31282*x1^5*x2*x3*x4^2 + 57292*x1^4*x2^2*x3*x4^2 + 2592*x1^3*x2^3*x3*x4^2 + 24807*x1^2*x2^4*x3*x4^2 + 41557*x1*x2^5*x3*x4^2 + 824*x2^6*x3*x4^2 + 18050*x1^4*x3^2*x4^2 + 51308*x1^3*x2*x3^2*x4^2 + 19637*x1^2*x2^2*x3^2*x4^2 + 65224*x1*x2^3*x3^2*x4^2 + 41443*x2^4*x3^2*x4^2 + 63452*x1^2*x3^3*x4^2 + 14049*x1*x2*x3^3*x4^2 + 7180*x2^2*x3^3*x4^2 + 1933*x3^4*x4^2 + 40150*x1^6*x4^3 + 27693*x1^5*x2*x4^3 + 61626*x1^4*x2^2*x4^3 + 60666*x1^3*x2^3*x4^3 + 50448*x1^2*x2^4*x4^3 + 35828*x1*x2^5*x4^3 + 15518*x2^6*x4^3 + 8697*x1^4*x3*x4^3 + 62202*x1^3*x2*x3*x4^3 + 50164*x1^2*x2^2*x3*x4^3 + 27463*x1*x2^3*x3*x4^3 + 58066*x2^4*x3*x4^3 + 50163*x1^2*x3^2*x4^3 + 47354*x1*x2*x3^2*x4^3 + 44350*x2^2*x3^2*x4^3 + 25379*x3^3*x4^3 + 54636*x1^4*x4^4 + 8667*x1^3*x2*x4^4 + 34697*x1^2*x2^2*x4^4 + 62918*x1*x2^3*x4^4 + 1651*x2^4*x4^4 + 47319*x1^2*x3*x4^4 + 64052*x1*x2*x3*x4^4 + 54446*x2^2*x3*x4^4 + 20863*x3^2*x4^4 + 63053*x1^2*x4^5 + 25399*x1*x2*x4^5 + 54755*x2^2*x4^5 + 4783*x3*x4^5 + 44894*x4^6 + 62723*x1^9*x5 + 29118*x1^8*x2*x5 + 2980*x1^7*x2^2*x5 + 56416*x1^6*x2^3*x5 + 49788*x1^5*x2^4*x5 + 23274*x1^4*x2^5*x5 + 16445*x1^3*x2^6*x5 + 21409*x1^2*x2^7*x5 + 25239*x1*x2^8*x5 + 52694*x2^9*x5 + 13957*x1^7*x3*x5 + 62010*x1^6*x2*x3*x5 + 41237*x1^5*x2^2*x3*x5 + 28028*x1^4*x2^3*x3*x5 + 14411*x1^3*x2^4*x3*x5 + 54932*x1^2*x2^5*x3*x5 + 14422*x1*x2^6*x3*x5 + 52998*x2^7*x3*x5 + 22555*x1^5*x3^2*x5 + 60817*x1^4*x2*x3^2*x5 + 26420*x1^3*x2^2*x3^2*x5 + 29523*x1^2*x2^3*x3^2*x5 + 7738*x1*x2^4*x3^2*x5 + 41251*x2^5*x3^2*x5 + 34614*x1^3*x3^3*x5 + 30315*x1^2*x2*x3^3*x5 + 38362*x1*x2^2*x3^3*x5 + 27176*x2^3*x3^3*x5 + 13273*x1*x3^4*x5 + 42531*x2*x3^4*x5 + 14394*x1^7*x4*x5 + 42325*x1^6*x2*x4*x5 + 63140*x1^5*x2^2*x4*x5 + 41269*x1^4*x2^3*x4*x5 + 24938*x1^3*x2^4*x4*x5 + 23141*x1^2*x2^5*x4*x5 + 43815*x1*x2^6*x4*x5 + 57966*x2^7*x4*x5 + 53316*x1^5*x3*x4*x5 + 14475*x1^4*x2*x3*x4*x5 + 26489*x1^3*x2^2*x3*x4*x5 + 25224*x1^2*x2^3*x3*x4*x5 + 42132*x1*x2^4*x3*x4*x5 + 35359*x2^5*x3*x4*x5 + 47182*x1^3*x3^2*x4*x5 + 46773*x1^2*x2*x3^2*x4*x5 + 45622*x1*x2^2*x3^2*x4*x5 + 38834*x2^3*x3^2*x4*x5 + 34357*x1*x3^3*x4*x5 + 49461*x2*x3^3*x4*x5 + 2461*x1^5*x4^2*x5 + 19541*x1^4*x2*x4^2*x5 + 56123*x1^3*x2^2*x4^2*x5 + 23300*x1^2*x2^3*x4^2*x5 + 49639*x1*x2^4*x4^2*x5 + 49219*x2^5*x4^2*x5 + 42454*x1^3*x3*x4^2*x5 + 24185*x1^2*x2*x3*x4^2*x5 + 62669*x1*x2^2*x3*x4^2*x5 + 28613*x2^3*x3*x4^2*x5 + 19613*x1*x3^2*x4^2*x5 + 35372*x2*x3^2*x4^2*x5 + 37524*x1^3*x4^3*x5 + 945*x1^2*x2*x4^3*x5 + 18034*x1*x2^2*x4^3*x5 + 39842*x2^3*x4^3*x5 + 28881*x1*x3*x4^3*x5 + 64045*x2*x3*x4^3*x5 + 53659*x1*x4^4*x5 + 9442*x2*x4^4*x5 + 475*x1^6*x5^2 + 31676*x1^5*x2*x5^2 + 59605*x1^4*x2^2*x5^2 + 36581*x1^3*x2^3*x5^2 + 18321*x1^2*x2^4*x5^2 + 45477*x1*x2^5*x5^2 + 14054*x2^6*x5^2 + 28736*x1^4*x3*x5^2 + 21984*x1^3*x2*x3*x5^2 + 3654*x1^2*x2^2*x3*x5^2 + 2420*x1*x2^3*x3*x5^2 + 43286*x2^4*x3*x5^2 + 10330*x1^2*x3^2*x5^2 + 62220*x1*x2*x3^2*x5^2 + 34864*x2^2*x3^2*x5^2 + 60373*x3^3*x5^2 + 37045*x1^4*x4*x5^2 + 13222*x1^3*x2*x4*x5^2 + 56633*x1^2*x2^2*x4*x5^2 + 3973*x1*x2^3*x4*x5^2 + 37667*x2^4*x4*x5^2 + 28208*x1^2*x3*x4*x5^2 + 39456*x1*x2*x3*x4*x5^2 + 44178*x2^2*x3*x4*x5^2 + 39371*x3^2*x4*x5^2 + 12322*x1^2*x4^2*x5^2 + 17583*x1*x2*x4^2*x5^2 + 51495*x2^2*x4^2*x5^2 + 11562*x3*x4^2*x5^2 + 29533*x4^3*x5^2 + 49438*x1^3*x5^3 + 5113*x1^2*x2*x5^3 + 9403*x1*x2^2*x5^3 + 13949*x2^3*x5^3 + 1491*x1*x3*x5^3 + 29297*x2*x3*x5^3 + 4159*x1*x4*x5^3 + 34406*x2*x4*x5^3 + 55897*x5^4 + 52331*x1^9*x6 + 24684*x1^8*x2*x6 + 28598*x1^7*x2^2*x6 + 8618*x1^6*x2^3*x6 + 45533*x1^5*x2^4*x6 + 41232*x1^4*x2^5*x6 + 33838*x1^3*x2^6*x6 + 6324*x1^2*x2^7*x6 + 61663*x1*x2^8*x6 + 4319*x2^9*x6 + 14223*x1^7*x3*x6 + 8187*x1^6*x2*x3*x6 + 50086*x1^5*x2^2*x3*x6 + 1020*x1^4*x2^3*x3*x6 + 25507*x1^3*x2^4*x3*x6 + 2083*x1^2*x2^5*x3*x6 + 31207*x1*x2^6*x3*x6 + 31741*x2^7*x3*x6 + 18607*x1^5*x3^2*x6 + 40543*x1^4*x2*x3^2*x6 + 51970*x1^3*x2^2*x3^2*x6 + 15905*x1^2*x2^3*x3^2*x6 + 20327*x1*x2^4*x3^2*x6 + 56650*x2^5*x3^2*x6 + 19815*x1^3*x3^3*x6 + 23465*x1^2*x2*x3^3*x6 + 21467*x1*x2^2*x3^3*x6 + 4242*x2^3*x3^3*x6 + 2761*x1*x3^4*x6 + 23827*x2*x3^4*x6 + 39980*x1^7*x4*x6 + 23589*x1^6*x2*x4*x6 + 35533*x1^5*x2^2*x4*x6 + 36342*x1^4*x2^3*x4*x6 + 34236*x1^3*x2^4*x4*x6 + 48286*x1^2*x2^5*x4*x6 + 24479*x1*x2^6*x4*x6 + 34097*x2^7*x4*x6 + 20991*x1^5*x3*x4*x6 + 37532*x1^4*x2*x3*x4*x6 + 12607*x1^3*x2^2*x3*x4*x6 + 21220*x1^2*x2^3*x3*x4*x6 + 1293*x1*x2^4*x3*x4*x6 + 1880*x2^5*x3*x4*x6 + 19254*x1^3*x3^2*x4*x6 + 46871*x1^2*x2*x3^2*x4*x6 + 49495*x1*x2^2*x3^2*x4*x6 + 16587*x2^3*x3^2*x4*x6 + 9857*x1*x3^3*x4*x6 + 64701*x2*x3^3*x4*x6 + 1603*x1^5*x4^2*x6 + 7210*x1^4*x2*x4^2*x6 + 5553*x1^3*x2^2*x4^2*x6 + 52316*x1^2*x2^3*x4^2*x6 + 62043*x1*x2^4*x4^2*x6 + 61662*x2^5*x4^2*x6 + 12539*x1^3*x3*x4^2*x6 + 55492*x1^2*x2*x3*x4^2*x6 + 11181*x1*x2^2*x3*x4^2*x6 + 46165*x2^3*x3*x4^2*x6 + 29428*x1*x3^2*x4^2*x6 + 1286*x2*x3^2*x4^2*x6 + 10293*x1^3*x4^3*x6 + 34742*x1^2*x2*x4^3*x6 + 40904*x1*x2^2*x4^3*x6 + 59991*x2^3*x4^3*x6 + 44955*x1*x3*x4^3*x6 + 26511*x2*x3*x4^3*x6 + 51929*x1*x4^4*x6 + 57364*x2*x4^4*x6 + 51110*x1^6*x5*x6 + 51272*x1^5*x2*x5*x6 + 46446*x1^4*x2^2*x5*x6 + 63559*x1^3*x2^3*x5*x6 + 60133*x1^2*x2^4*x5*x6 + 14573*x1*x2^5*x5*x6 + 25179*x2^6*x5*x6 + 65159*x1^4*x3*x5*x6 + 59177*x1^3*x2*x3*x5*x6 + 53742*x1^2*x2^2*x3*x5*x6 + 33503*x1*x2^3*x3*x5*x6 + 31666*x2^4*x3*x5*x6 + 7860*x1^2*x3^2*x5*x6 + 25943*x1*x2*x3^2*x5*x6 + 34032*x2^2*x3^2*x5*x6 + 22170*x3^3*x5*x6 + 47664*x1^4*x4*x5*x6 + 13378*x1^3*x2*x4*x5*x6 + 662*x1^2*x2^2*x4*x5*x6 + 59629*x1*x2^3*x4*x5*x6 + 14412*x2^4*x4*x5*x6 + 6017*x1^2*x3*x4*x5*x6 + 62475*x1*x2*x3*x4*x5*x6 + 53891*x2^2*x3*x4*x5*x6 + 43336*x3^2*x4*x5*x6 + 145*x1^2*x4^2*x5*x6 + 39193*x1*x2*x4^2*x5*x6 + 33191*x2^2*x4^2*x5*x6 + 45402*x3*x4^2*x5*x6 + 44251*x4^3*x5*x6 + 43153*x1^3*x5^2*x6 + 48879*x1^2*x2*x5^2*x6 + 21943*x1*x2^2*x5^2*x6 + 53959*x2^3*x5^2*x6 + 59748*x1*x3*x5^2*x6 + 34445*x2*x3*x5^2*x6 + 56851*x1*x4*x5^2*x6 + 47060*x2*x4*x5^2*x6 + 47688*x5^3*x6 + 30985*x1^6*x6^2 + 15251*x1^5*x2*x6^2 + 33012*x1^4*x2^2*x6^2 + 62664*x1^3*x2^3*x6^2 + 46610*x1^2*x2^4*x6^2 + 27434*x1*x2^5*x6^2 + 43729*x2^6*x6^2 + 63383*x1^4*x3*x6^2 + 3008*x1^3*x2*x3*x6^2 + 14951*x1^2*x2^2*x3*x6^2 + 41905*x1*x2^3*x3*x6^2 + 17635*x2^4*x3*x6^2 + 34277*x1^2*x3^2*x6^2 + 49088*x1*x2*x3^2*x6^2 + 1444*x2^2*x3^2*x6^2 + 61581*x3^3*x6^2 + 7539*x1^4*x4*x6^2 + 24552*x1^3*x2*x4*x6^2 + 38069*x1^2*x2^2*x4*x6^2 + 5294*x1*x2^3*x4*x6^2 + 21925*x2^4*x4*x6^2 + 12083*x1^2*x3*x4*x6^2 + 1489*x1*x2*x3*x4*x6^2 + 14095*x2^2*x3*x4*x6^2 + 138*x3^2*x4*x6^2 + 20134*x1^2*x4^2*x6^2 + 45732*x1*x2*x4^2*x6^2 + 25881*x2^2*x4^2*x6^2 + 30371*x3*x4^2*x6^2 + 24138*x4^3*x6^2 + 12723*x1^3*x5*x6^2 + 11259*x1^2*x2*x5*x6^2 + 29739*x1*x2^2*x5*x6^2 + 8245*x2^3*x5*x6^2 + 50661*x1*x3*x5*x6^2 + 15563*x2*x3*x5*x6^2 + 48904*x1*x4*x5*x6^2 + 9543*x2*x4*x5*x6^2 + 50115*x5^2*x6^2 + 50244*x1^3*x6^3 + 5875*x1^2*x2*x6^3 + 16761*x1*x2^2*x6^3 + 45601*x2^3*x6^3 + 49151*x1*x3*x6^3 + 60977*x2*x3*x6^3 + 27408*x1*x4*x6^3 + 25680*x2*x4*x6^3 + 18844*x5*x6^3 + 16350*x6^4 + 6780 ]