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



#modulo 65521

#list

[
65488*x1^3 + 49270*x1^2*x2 + 16259*x1*x2^2 + 65488*x2^3 + 23966*x1^2*x3 + 64920*x1*x2*x3 + 49270*x2^2*x3 + 41561*x1*x3^2 + 16259*x2*x3^2 + 65488*x3^3 + 65078*x1^2*x4 + 59014*x1*x2*x4 + 23966*x2^2*x4 + 6229*x1*x3*x4 + 64920*x2*x3*x4 + 49270*x3^2*x4 + 65078*x1*x4^2 + 41561*x2*x4^2 + 16259*x3*x4^2 + 65488*x4^3 + 41561*x1^2*x5 + 6229*x1*x2*x5 + 65078*x2^2*x5 + 65440*x1*x3*x5 + 59014*x2*x3*x5 + 23966*x3^2*x5 + 59014*x1*x4*x5 + 6229*x2*x4*x5 + 64920*x3*x4*x5 + 49270*x4^2*x5 + 23966*x1*x5^2 + 65078*x2*x5^2 + 41561*x3*x5^2 + 16259*x4*x5^2 + 65488*x5^3 + 16259*x1^2*x6 + 64920*x1*x2*x6 + 41561*x2^2*x6 + 59014*x1*x3*x6 + 6229*x2*x3*x6 + 65078*x3^2*x6 + 6229*x1*x4*x6 + 65440*x2*x4*x6 + 59014*x3*x4*x6 + 23966*x4^2*x6 + 64920*x1*x5*x6 + 59014*x2*x5*x6 + 6229*x3*x5*x6 + 64920*x4*x5*x6 + 49270*x5^2*x6 + 49270*x1*x6^2 + 23966*x2*x6^2 + 65078*x3*x6^2 + 41561*x4*x6^2 + 16259*x5*x6^2 + 65488*x6^3 + 65502*x1^2*x7 + 65418*x1*x2*x7 + 65502*x2^2*x7 + x1*x3*x7 + 65418*x2*x3*x7 + 65502*x3^2*x7 + 65367*x1*x4*x7 + x2*x4*x7 + 65418*x3*x4*x7 + 65502*x4^2*x7 + x1*x5*x7 + 65367*x2*x5*x7 + x3*x5*x7 + 65418*x4*x5*x7 + 65502*x5^2*x7 + 65418*x1*x6*x7 + x2*x6*x7 + 65367*x3*x6*x7 + x4*x6*x7 + 65418*x5*x6*x7 + 65502*x6^2*x7 + 68*x1*x7^2 + 68*x2*x7^2 + 68*x3*x7^2 + 68*x4*x7^2 + 68*x5*x7^2 + 68*x6*x7^2 + 65516*x7^3 + 65502*x1^2*x8 + 65418*x1*x2*x8 + 65502*x2^2*x8 + x1*x3*x8 + 65418*x2*x3*x8 + 65502*x3^2*x8 + 65367*x1*x4*x8 + x2*x4*x8 + 65418*x3*x4*x8 + 65502*x4^2*x8 + x1*x5*x8 + 65367*x2*x5*x8 + x3*x5*x8 + 65418*x4*x5*x8 + 65502*x5^2*x8 + 65418*x1*x6*x8 + x2*x6*x8 + 65367*x3*x6*x8 + x4*x6*x8 + 65418*x5*x6*x8 + 65502*x6^2*x8 + 65497*x1*x7*x8 + 65497*x2*x7*x8 + 65497*x3*x7*x8 + 65497*x4*x7*x8 + 65497*x5*x7*x8 + 65497*x6*x7*x8 + 65482*x7^2*x8 + 68*x1*x8^2 + 68*x2*x8^2 + 68*x3*x8^2 + 68*x4*x8^2 + 68*x5*x8^2 + 68*x6*x8^2 + 65482*x7*x8^2 + 65516*x8^3 + 20*x1^2 + 29*x1*x2 + 20*x2^2 + 163*x1*x3 + 29*x2*x3 + 20*x3^2 + 65493*x1*x4 + 163*x2*x4 + 29*x3*x4 + 20*x4^2 + 163*x1*x5 + 65493*x2*x5 + 163*x3*x5 + 29*x4*x5 + 20*x5^2 + 29*x1*x6 + 163*x2*x6 + 65493*x3*x6 + 163*x4*x6 + 29*x5*x6 + 20*x6^2 + 35*x1*x7 + 35*x2*x7 + 35*x3*x7 + 35*x4*x7 + 35*x5*x7 + 35*x6*x7 + 48*x7^2 + 35*x1*x8 + 35*x2*x8 + 35*x3*x8 + 35*x4*x8 + 35*x5*x8 + 35*x6*x8 + 28*x7*x8 + 48*x8^2 + 65496*x7 + 65496*x8 + 46877,
65477*x1^3 + 24474*x1^2*x2 + 41232*x1*x2^2 + 65477*x2^3 + 27011*x1^2*x3 + 65310*x1*x2*x3 + 24474*x2^2*x3 + 39077*x1*x3^2 + 41232*x2*x3^2 + 65477*x3^3 + 65465*x1^2*x4 + 1416*x1*x2*x4 + 27011*x2^2*x4 + 64925*x1*x3*x4 + 65310*x2*x3*x4 + 24474*x3^2*x4 + 65465*x1*x4^2 + 39077*x2*x4^2 + 41232*x3*x4^2 + 65477*x4^3 + 39077*x1^2*x5 + 64925*x1*x2*x5 + 65465*x2^2*x5 + 65410*x1*x3*x5 + 1416*x2*x3*x5 + 27011*x3^2*x5 + 1416*x1*x4*x5 + 64925*x2*x4*x5 + 65310*x3*x4*x5 + 24474*x4^2*x5 + 27011*x1*x5^2 + 65465*x2*x5^2 + 39077*x3*x5^2 + 41232*x4*x5^2 + 65477*x5^3 + 41232*x1^2*x6 + 65310*x1*x2*x6 + 39077*x2^2*x6 + 1416*x1*x3*x6 + 64925*x2*x3*x6 + 65465*x3^2*x6 + 64925*x1*x4*x6 + 65410*x2*x4*x6 + 1416*x3*x4*x6 + 27011*x4^2*x6 + 65310*x1*x5*x6 + 1416*x2*x5*x6 + 64925*x3*x5*x6 + 65310*x4*x5*x6 + 24474*x5^2*x6 + 24474*x1*x6^2 + 27011*x2*x6^2 + 65465*x3*x6^2 + 39077*x4*x6^2 + 41232*x5*x6^2 + 65477*x6^3 + 68*x1^2*x7 + 79*x1*x2*x7 + 68*x2^2*x7 + 65516*x1*x3*x7 + 79*x2*x3*x7 + 68*x3^2*x7 + 65465*x1*x4*x7 + 65516*x2*x4*x7 + 79*x3*x4*x7 + 68*x4^2*x7 + 65516*x1*x5*x7 + 65465*x2*x5*x7 + 65516*x3*x5*x7 + 79*x4*x5*x7 + 68*x5^2*x7 + 79*x1*x6*x7 + 65516*x2*x6*x7 + 65465*x3*x6*x7 + 65516*x4*x6*x7 + 79*x5*x6*x7 + 68*x6^2*x7 + 65488*x1*x7^2 + 65488*x2*x7^2 + 65488*x3*x7^2 + 65488*x4*x7^2 + 65488*x5*x7^2 + 65488*x6*x7^2 + 3*x7^3 + 68*x1^2*x8 + 79*x1*x2*x8 + 68*x2^2*x8 + 65516*x1*x3*x8 + 79*x2*x3*x8 + 68*x3^2*x8 + 65465*x1*x4*x8 + 65516*x2*x4*x8 + 79*x3*x4*x8 + 68*x4^2*x8 + 65516*x1*x5*x8 + 65465*x2*x5*x8 + 65516*x3*x5*x8 + 79*x4*x5*x8 + 68*x5^2*x8 + 79*x1*x6*x8 + 65516*x2*x6*x8 + 65465*x3*x6*x8 + 65516*x4*x6*x8 + 79*x5*x6*x8 + 68*x6^2*x8 + 65515*x1*x7*x8 + 65515*x2*x7*x8 + 65515*x3*x7*x8 + 65515*x4*x7*x8 + 65515*x5*x7*x8 + 65515*x6*x7*x8 + 65410*x7^2*x8 + 65488*x1*x8^2 + 65488*x2*x8^2 + 65488*x3*x8^2 + 65488*x4*x8^2 + 65488*x5*x8^2 + 65488*x6*x8^2 + 65410*x7*x8^2 + 3*x8^3 + 22*x1^2 + 65380*x1*x2 + 22*x2^2 + 65436*x1*x3 + 65380*x2*x3 + 22*x3^2 + 65401*x1*x4 + 65436*x2*x4 + 65380*x3*x4 + 22*x4^2 + 65436*x1*x5 + 65401*x2*x5 + 65436*x3*x5 + 65380*x4*x5 + 22*x5^2 + 65380*x1*x6 + 65436*x2*x6 + 65401*x3*x6 + 65436*x4*x6 + 65380*x5*x6 + 22*x6^2 + 28*x1*x7 + 28*x2*x7 + 28*x3*x7 + 28*x4*x7 + 28*x5*x7 + 28*x6*x7 + 65514*x7^2 + 28*x1*x8 + 28*x2*x8 + 28*x3*x8 + 28*x4*x8 + 28*x5*x8 + 28*x6*x8 + 38*x7*x8 + 65514*x8^2 + 22*x1 + 22*x2 + 22*x3 + 22*x4 + 22*x5 + 22*x6 + 65500*x7 + 65500*x8 + 23687,
65442*x1^3 + 26314*x1^2*x2 + 39217*x1*x2^2 + 65442*x2^3 + 44479*x1^2*x3 + 65300*x1*x2*x3 + 26314*x2^2*x3 + 21186*x1*x3^2 + 39217*x2*x3^2 + 65442*x3^3 + 65412*x1^2*x4 + 47471*x1*x2*x4 + 44479*x2^2*x4 + 17812*x1*x3*x4 + 65300*x2*x3*x4 + 26314*x3^2*x4 + 65412*x1*x4^2 + 21186*x2*x4^2 + 39217*x3*x4^2 + 65442*x4^3 + 21186*x1^2*x5 + 17812*x1*x2*x5 + 65412*x2^2*x5 + 64408*x1*x3*x5 + 47471*x2*x3*x5 + 44479*x3^2*x5 + 47471*x1*x4*x5 + 17812*x2*x4*x5 + 65300*x3*x4*x5 + 26314*x4^2*x5 + 44479*x1*x5^2 + 65412*x2*x5^2 + 21186*x3*x5^2 + 39217*x4*x5^2 + 65442*x5^3 + 39217*x1^2*x6 + 65300*x1*x2*x6 + 21186*x2^2*x6 + 47471*x1*x3*x6 + 17812*x2*x3*x6 + 65412*x3^2*x6 + 17812*x1*x4*x6 + 64408*x2*x4*x6 + 47471*x3*x4*x6 + 44479*x4^2*x6 + 65300*x1*x5*x6 + 47471*x2*x5*x6 + 17812*x3*x5*x6 + 65300*x4*x5*x6 + 26314*x5^2*x6 + 26314*x1*x6^2 + 44479*x2*x6^2 + 65412*x3*x6^2 + 21186*x4*x6^2 + 39217*x5*x6^2 + 65442*x6^3 + 42*x1^2*x7 + 46*x1*x2*x7 + 42*x2^2*x7 + 78*x1*x3*x7 + 46*x2*x3*x7 + 42*x3^2*x7 + 244*x1*x4*x7 + 78*x2*x4*x7 + 46*x3*x4*x7 + 42*x4^2*x7 + 78*x1*x5*x7 + 244*x2*x5*x7 + 78*x3*x5*x7 + 46*x4*x5*x7 + 42*x5^2*x7 + 46*x1*x6*x7 + 78*x2*x6*x7 + 244*x3*x6*x7 + 78*x4*x6*x7 + 46*x5*x6*x7 + 42*x6^2*x7 + 65503*x1*x7^2 + 65503*x2*x7^2 + 65503*x3*x7^2 + 65503*x4*x7^2 + 65503*x5*x7^2 + 65503*x6*x7^2 + 65498*x7^3 + 42*x1^2*x8 + 46*x1*x2*x8 + 42*x2^2*x8 + 78*x1*x3*x8 + 46*x2*x3*x8 + 42*x3^2*x8 + 244*x1*x4*x8 + 78*x2*x4*x8 + 46*x3*x4*x8 + 42*x4^2*x8 + 78*x1*x5*x8 + 244*x2*x5*x8 + 78*x3*x5*x8 + 46*x4*x5*x8 + 42*x5^2*x8 + 46*x1*x6*x8 + 78*x2*x6*x8 + 244*x3*x6*x8 + 78*x4*x6*x8 + 46*x5*x6*x8 + 42*x6^2*x8 + 8*x1*x7*x8 + 8*x2*x7*x8 + 8*x3*x7*x8 + 8*x4*x7*x8 + 8*x5*x7*x8 + 8*x6*x7*x8 + 63*x7^2*x8 + 65503*x1*x8^2 + 65503*x2*x8^2 + 65503*x3*x8^2 + 65503*x4*x8^2 + 65503*x5*x8^2 + 65503*x6*x8^2 + 63*x7*x8^2 + 65498*x8^3 + 46*x1^2 + 65469*x1*x2 + 46*x2^2 + 158*x1*x3 + 65469*x2*x3 + 46*x3^2 + 152*x1*x4 + 158*x2*x4 + 65469*x3*x4 + 46*x4^2 + 158*x1*x5 + 152*x2*x5 + 158*x3*x5 + 65469*x4*x5 + 46*x5^2 + 65469*x1*x6 + 158*x2*x6 + 152*x3*x6 + 158*x4*x6 + 65469*x5*x6 + 46*x6^2 + 5*x1*x7 + 5*x2*x7 + 5*x3*x7 + 5*x4*x7 + 5*x5*x7 + 5*x6*x7 + 65512*x7^2 + 5*x1*x8 + 5*x2*x8 + 5*x3*x8 + 5*x4*x8 + 5*x5*x8 + 5*x6*x8 + 65415*x7*x8 + 65512*x8^2 + 65486*x1 + 65486*x2 + 65486*x3 + 65486*x4 + 65486*x5 + 65486*x6 + 65507*x7 + 65507*x8 + 21647,
65512*x1^3 + 56920*x1^2*x2 + 8155*x1*x2^2 + 65512*x2^3 + 17394*x1^2*x3 + 172*x1*x2*x3 + 56920*x2^2*x3 + 47725*x1*x3^2 + 8155*x2*x3^2 + 65512*x3^3 + 53*x1^2*x4 + 5624*x1*x2*x4 + 17394*x2^2*x4 + 59749*x1*x3*x4 + 172*x2*x3*x4 + 56920*x3^2*x4 + 53*x1*x4^2 + 47725*x2*x4^2 + 8155*x3*x4^2 + 65512*x4^3 + 47725*x1^2*x5 + 59749*x1*x2*x5 + 53*x2^2*x5 + 180*x1*x3*x5 + 5624*x2*x3*x5 + 17394*x3^2*x5 + 5624*x1*x4*x5 + 59749*x2*x4*x5 + 172*x3*x4*x5 + 56920*x4^2*x5 + 17394*x1*x5^2 + 53*x2*x5^2 + 47725*x3*x5^2 + 8155*x4*x5^2 + 65512*x5^3 + 8155*x1^2*x6 + 172*x1*x2*x6 + 47725*x2^2*x6 + 5624*x1*x3*x6 + 59749*x2*x3*x6 + 53*x3^2*x6 + 59749*x1*x4*x6 + 180*x2*x4*x6 + 5624*x3*x4*x6 + 17394*x4^2*x6 + 172*x1*x5*x6 + 5624*x2*x5*x6 + 59749*x3*x5*x6 + 172*x4*x5*x6 + 56920*x5^2*x6 + 56920*x1*x6^2 + 17394*x2*x6^2 + 53*x3*x6^2 + 47725*x4*x6^2 + 8155*x5*x6^2 + 65512*x6^3 + 65484*x1^2*x7 + 186*x1*x2*x7 + 65484*x2^2*x7 + 94*x1*x3*x7 + 186*x2*x3*x7 + 65484*x3^2*x7 + 78*x1*x4*x7 + 94*x2*x4*x7 + 186*x3*x4*x7 + 65484*x4^2*x7 + 94*x1*x5*x7 + 78*x2*x5*x7 + 94*x3*x5*x7 + 186*x4*x5*x7 + 65484*x5^2*x7 + 186*x1*x6*x7 + 94*x2*x6*x7 + 78*x3*x6*x7 + 94*x4*x6*x7 + 186*x5*x6*x7 + 65484*x6^2*x7 + 20*x1*x7^2 + 20*x2*x7^2 + 20*x3*x7^2 + 20*x4*x7^2 + 20*x5*x7^2 + 20*x6*x7^2 + 65490*x7^3 + 65484*x1^2*x8 + 186*x1*x2*x8 + 65484*x2^2*x8 + 94*x1*x3*x8 + 186*x2*x3*x8 + 65484*x3^2*x8 + 78*x1*x4*x8 + 94*x2*x4*x8 + 186*x3*x4*x8 + 65484*x4^2*x8 + 94*x1*x5*x8 + 78*x2*x5*x8 + 94*x3*x5*x8 + 186*x4*x5*x8 + 65484*x5^2*x8 + 186*x1*x6*x8 + 94*x2*x6*x8 + 78*x3*x6*x8 + 94*x4*x6*x8 + 186*x5*x6*x8 + 65484*x6^2*x8 + 65405*x1*x7*x8 + 65405*x2*x7*x8 + 65405*x3*x7*x8 + 65405*x4*x7*x8 + 65405*x5*x7*x8 + 65405*x6*x7*x8 + 65484*x7^2*x8 + 20*x1*x8^2 + 20*x2*x8^2 + 20*x3*x8^2 + 20*x4*x8^2 + 20*x5*x8^2 + 20*x6*x8^2 + 65484*x7*x8^2 + 65490*x8^3 + 65484*x1^2 + 65363*x1*x2 + 65484*x2^2 + 52*x1*x3 + 65363*x2*x3 + 65484*x3^2 + 65411*x1*x4 + 52*x2*x4 + 65363*x3*x4 + 65484*x4^2 + 52*x1*x5 + 65411*x2*x5 + 52*x3*x5 + 65363*x4*x5 + 65484*x5^2 + 65363*x1*x6 + 52*x2*x6 + 65411*x3*x6 + 52*x4*x6 + 65363*x5*x6 + 65484*x6^2 + 22*x1*x7 + 22*x2*x7 + 22*x3*x7 + 22*x4*x7 + 22*x5*x7 + 22*x6*x7 + 57*x7^2 + 22*x1*x8 + 22*x2*x8 + 22*x3*x8 + 22*x4*x8 + 22*x5*x8 + 22*x6*x8 + 65479*x7*x8 + 57*x8^2 + 65496*x1 + 65496*x2 + 65496*x3 + 65496*x4 + 65496*x5 + 65496*x6 + 23*x7 + 23*x8 + 58836,
5*x1^3 + 29314*x1^2*x2 + 36519*x1*x2^2 + 5*x2^3 + 6972*x1^2*x3 + 65416*x1*x2*x3 + 29314*x2^2*x3 + 58417*x1*x3^2 + 36519*x2*x3^2 + 5*x3^3 + 51*x1^2*x4 + 17398*x1*x2*x4 + 6972*x2^2*x4 + 48063*x1*x3*x4 + 65416*x2*x3*x4 + 29314*x3^2*x4 + 51*x1*x4^2 + 58417*x2*x4^2 + 36519*x3*x4^2 + 5*x4^3 + 58417*x1^2*x5 + 48063*x1*x2*x5 + 51*x2^2*x5 + 543*x1*x3*x5 + 17398*x2*x3*x5 + 6972*x3^2*x5 + 17398*x1*x4*x5 + 48063*x2*x4*x5 + 65416*x3*x4*x5 + 29314*x4^2*x5 + 6972*x1*x5^2 + 51*x2*x5^2 + 58417*x3*x5^2 + 36519*x4*x5^2 + 5*x5^3 + 36519*x1^2*x6 + 65416*x1*x2*x6 + 58417*x2^2*x6 + 17398*x1*x3*x6 + 48063*x2*x3*x6 + 51*x3^2*x6 + 48063*x1*x4*x6 + 543*x2*x4*x6 + 17398*x3*x4*x6 + 6972*x4^2*x6 + 65416*x1*x5*x6 + 17398*x2*x5*x6 + 48063*x3*x5*x6 + 65416*x4*x5*x6 + 29314*x5^2*x6 + 29314*x1*x6^2 + 6972*x2*x6^2 + 51*x3*x6^2 + 58417*x4*x6^2 + 36519*x5*x6^2 + 5*x6^3 + 65461*x1^2*x7 + 98*x1*x2*x7 + 65461*x2^2*x7 + 24*x1*x3*x7 + 98*x2*x3*x7 + 65461*x3^2*x7 + 65469*x1*x4*x7 + 24*x2*x4*x7 + 98*x3*x4*x7 + 65461*x4^2*x7 + 24*x1*x5*x7 + 65469*x2*x5*x7 + 24*x3*x5*x7 + 98*x4*x5*x7 + 65461*x5^2*x7 + 98*x1*x6*x7 + 24*x2*x6*x7 + 65469*x3*x6*x7 + 24*x4*x6*x7 + 98*x5*x6*x7 + 65461*x6^2*x7 + 54*x1*x7^2 + 54*x2*x7^2 + 54*x3*x7^2 + 54*x4*x7^2 + 54*x5*x7^2 + 54*x6*x7^2 + 18*x7^3 + 65461*x1^2*x8 + 98*x1*x2*x8 + 65461*x2^2*x8 + 24*x1*x3*x8 + 98*x2*x3*x8 + 65461*x3^2*x8 + 65469*x1*x4*x8 + 24*x2*x4*x8 + 98*x3*x4*x8 + 65461*x4^2*x8 + 24*x1*x5*x8 + 65469*x2*x5*x8 + 24*x3*x5*x8 + 98*x4*x5*x8 + 65461*x5^2*x8 + 98*x1*x6*x8 + 24*x2*x6*x8 + 65469*x3*x6*x8 + 24*x4*x6*x8 + 98*x5*x6*x8 + 65461*x6^2*x8 + 60*x1*x7*x8 + 60*x2*x7*x8 + 60*x3*x7*x8 + 60*x4*x7*x8 + 60*x5*x7*x8 + 60*x6*x7*x8 + 38*x7^2*x8 + 54*x1*x8^2 + 54*x2*x8^2 + 54*x3*x8^2 + 54*x4*x8^2 + 54*x5*x8^2 + 54*x6*x8^2 + 38*x7*x8^2 + 18*x8^3 + 84*x1^2 + 10*x1*x2 + 84*x2^2 + 180*x1*x3 + 10*x2*x3 + 84*x3^2 + 65465*x1*x4 + 180*x2*x4 + 10*x3*x4 + 84*x4^2 + 180*x1*x5 + 65465*x2*x5 + 180*x3*x5 + 10*x4*x5 + 84*x5^2 + 10*x1*x6 + 180*x2*x6 + 65465*x3*x6 + 180*x4*x6 + 10*x5*x6 + 84*x6^2 + 5*x7^2 + 65475*x7*x8 + 5*x8^2 + 65509*x1 + 65509*x2 + 65509*x3 + 65509*x4 + 65509*x5 + 65509*x6 + 65506*x7 + 65506*x8 + 26078,
65510*x1^3 + 35679*x1^2*x2 + 29814*x1*x2^2 + 65510*x2^3 + 5094*x1^2*x3 + 479*x1*x2*x3 + 35679*x2^2*x3 + 60559*x1*x3^2 + 29814*x2*x3^2 + 65510*x3^3 + 187*x1^2*x4 + 37748*x1*x2*x4 + 5094*x2^2*x4 + 28197*x1*x3*x4 + 479*x2*x3*x4 + 35679*x3^2*x4 + 187*x1*x4^2 + 60559*x2*x4^2 + 29814*x3*x4^2 + 65510*x4^3 + 60559*x1^2*x5 + 28197*x1*x2*x5 + 187*x2^2*x5 + 879*x1*x3*x5 + 37748*x2*x3*x5 + 5094*x3^2*x5 + 37748*x1*x4*x5 + 28197*x2*x4*x5 + 479*x3*x4*x5 + 35679*x4^2*x5 + 5094*x1*x5^2 + 187*x2*x5^2 + 60559*x3*x5^2 + 29814*x4*x5^2 + 65510*x5^3 + 29814*x1^2*x6 + 479*x1*x2*x6 + 60559*x2^2*x6 + 37748*x1*x3*x6 + 28197*x2*x3*x6 + 187*x3^2*x6 + 28197*x1*x4*x6 + 879*x2*x4*x6 + 37748*x3*x4*x6 + 5094*x4^2*x6 + 479*x1*x5*x6 + 37748*x2*x5*x6 + 28197*x3*x5*x6 + 479*x4*x5*x6 + 35679*x5^2*x6 + 35679*x1*x6^2 + 5094*x2*x6^2 + 187*x3*x6^2 + 60559*x4*x6^2 + 29814*x5*x6^2 + 65510*x6^3 + 65485*x1^2*x7 + 147*x1*x2*x7 + 65485*x2^2*x7 + 75*x1*x3*x7 + 147*x2*x3*x7 + 65485*x3^2*x7 + 75*x2*x4*x7 + 147*x3*x4*x7 + 65485*x4^2*x7 + 75*x1*x5*x7 + 75*x3*x5*x7 + 147*x4*x5*x7 + 65485*x5^2*x7 + 147*x1*x6*x7 + 75*x2*x6*x7 + 75*x4*x6*x7 + 147*x5*x6*x7 + 65485*x6^2*x7 + 72*x1*x7^2 + 72*x2*x7^2 + 72*x3*x7^2 + 72*x4*x7^2 + 72*x5*x7^2 + 72*x6*x7^2 + 21*x7^3 + 65485*x1^2*x8 + 147*x1*x2*x8 + 65485*x2^2*x8 + 75*x1*x3*x8 + 147*x2*x3*x8 + 65485*x3^2*x8 + 75*x2*x4*x8 + 147*x3*x4*x8 + 65485*x4^2*x8 + 75*x1*x5*x8 + 75*x3*x5*x8 + 147*x4*x5*x8 + 65485*x5^2*x8 + 147*x1*x6*x8 + 75*x2*x6*x8 + 75*x4*x6*x8 + 147*x5*x6*x8 + 65485*x6^2*x8 + 65485*x1*x7*x8 + 65485*x2*x7*x8 + 65485*x3*x7*x8 + 65485*x4*x7*x8 + 65485*x5*x7*x8 + 65485*x6*x7*x8 + 35*x7^2*x8 + 72*x1*x8^2 + 72*x2*x8^2 + 72*x3*x8^2 + 72*x4*x8^2 + 72*x5*x8^2 + 72*x6*x8^2 + 35*x7*x8^2 + 21*x8^3 + 10*x1^2 + 20*x1*x2 + 10*x2^2 + 2*x1*x3 + 20*x2*x3 + 10*x3^2 + 56*x1*x4 + 2*x2*x4 + 20*x3*x4 + 10*x4^2 + 2*x1*x5 + 56*x2*x5 + 2*x3*x5 + 20*x4*x5 + 10*x5^2 + 20*x1*x6 + 2*x2*x6 + 56*x3*x6 + 2*x4*x6 + 20*x5*x6 + 10*x6^2 + 15*x1*x7 + 15*x2*x7 + 15*x3*x7 + 15*x4*x7 + 15*x5*x7 + 15*x6*x7 + 65501*x7^2 + 15*x1*x8 + 15*x2*x8 + 15*x3*x8 + 15*x4*x8 + 15*x5*x8 + 15*x6*x8 + 65377*x7*x8 + 65501*x8^2 + 41*x1 + 41*x2 + 41*x3 + 41*x4 + 41*x5 + 41*x6 + 65510*x7 + 65510*x8 + 42647,
65466*x1^3 + 40428*x1^2*x2 + 25010*x1*x2^2 + 65466*x2^3 + 34380*x1^2*x3 + 235*x1*x2*x3 + 40428*x2^2*x3 + 31030*x1*x3^2 + 25010*x2*x3^2 + 65466*x3^3 + 65508*x1^2*x4 + 52686*x1*x2*x4 + 34380*x2^2*x4 + 12633*x1*x3*x4 + 235*x2*x3*x4 + 40428*x3^2*x4 + 65508*x1*x4^2 + 31030*x2*x4^2 + 25010*x3*x4^2 + 65466*x4^3 + 31030*x1^2*x5 + 12633*x1*x2*x5 + 65508*x2^2*x5 + 64588*x1*x3*x5 + 52686*x2*x3*x5 + 34380*x3^2*x5 + 52686*x1*x4*x5 + 12633*x2*x4*x5 + 235*x3*x4*x5 + 40428*x4^2*x5 + 34380*x1*x5^2 + 65508*x2*x5^2 + 31030*x3*x5^2 + 25010*x4*x5^2 + 65466*x5^3 + 25010*x1^2*x6 + 235*x1*x2*x6 + 31030*x2^2*x6 + 52686*x1*x3*x6 + 12633*x2*x3*x6 + 65508*x3^2*x6 + 12633*x1*x4*x6 + 64588*x2*x4*x6 + 52686*x3*x4*x6 + 34380*x4^2*x6 + 235*x1*x5*x6 + 52686*x2*x5*x6 + 12633*x3*x5*x6 + 235*x4*x5*x6 + 40428*x5^2*x6 + 40428*x1*x6^2 + 34380*x2*x6^2 + 65508*x3*x6^2 + 31030*x4*x6^2 + 25010*x5*x6^2 + 65466*x6^3 + 10*x1^2*x7 + 200*x1*x2*x7 + 10*x2^2*x7 + 65451*x1*x3*x7 + 200*x2*x3*x7 + 10*x3^2*x7 + 68*x1*x4*x7 + 65451*x2*x4*x7 + 200*x3*x4*x7 + 10*x4^2*x7 + 65451*x1*x5*x7 + 68*x2*x5*x7 + 65451*x3*x5*x7 + 200*x4*x5*x7 + 10*x5^2*x7 + 200*x1*x6*x7 + 65451*x2*x6*x7 + 68*x3*x6*x7 + 65451*x4*x6*x7 + 200*x5*x6*x7 + 10*x6^2*x7 + 65495*x1*x7^2 + 65495*x2*x7^2 + 65495*x3*x7^2 + 65495*x4*x7^2 + 65495*x5*x7^2 + 65495*x6*x7^2 + 65505*x7^3 + 10*x1^2*x8 + 200*x1*x2*x8 + 10*x2^2*x8 + 65451*x1*x3*x8 + 200*x2*x3*x8 + 10*x3^2*x8 + 68*x1*x4*x8 + 65451*x2*x4*x8 + 200*x3*x4*x8 + 10*x4^2*x8 + 65451*x1*x5*x8 + 68*x2*x5*x8 + 65451*x3*x5*x8 + 200*x4*x5*x8 + 10*x5^2*x8 + 200*x1*x6*x8 + 65451*x2*x6*x8 + 68*x3*x6*x8 + 65451*x4*x6*x8 + 200*x5*x6*x8 + 10*x6^2*x8 + 12*x1*x7*x8 + 12*x2*x7*x8 + 12*x3*x7*x8 + 12*x4*x7*x8 + 12*x5*x7*x8 + 12*x6*x7*x8 + 65441*x7^2*x8 + 65495*x1*x8^2 + 65495*x2*x8^2 + 65495*x3*x8^2 + 65495*x4*x8^2 + 65495*x5*x8^2 + 65495*x6*x8^2 + 65441*x7*x8^2 + 65505*x8^3 + 65501*x1^2 + 22*x1*x2 + 65501*x2^2 + 65469*x1*x3 + 22*x2*x3 + 65501*x3^2 + 184*x1*x4 + 65469*x2*x4 + 22*x3*x4 + 65501*x4^2 + 65469*x1*x5 + 184*x2*x5 + 65469*x3*x5 + 22*x4*x5 + 65501*x5^2 + 22*x1*x6 + 65469*x2*x6 + 184*x3*x6 + 65469*x4*x6 + 22*x5*x6 + 65501*x6^2 + 41*x1*x7 + 41*x2*x7 + 41*x3*x7 + 41*x4*x7 + 41*x5*x7 + 41*x6*x7 + 65492*x7^2 + 41*x1*x8 + 41*x2*x8 + 41*x3*x8 + 41*x4*x8 + 41*x5*x8 + 41*x6*x8 + 74*x7*x8 + 65492*x8^2 + 31*x1 + 31*x2 + 31*x3 + 31*x4 + 31*x5 + 31*x6 + 65484*x7 + 65484*x8 + 3775,
x1^3 + 10394*x1^2*x2 + 55469*x1*x2^2 + x2^3 + 62630*x1^2*x3 + 63*x1*x2*x3 + 10394*x2^2*x3 + 2807*x1*x3^2 + 55469*x2*x3^2 + x3^3 + 65488*x1^2*x4 + 11938*x1*x2*x4 + 62630*x2^2*x4 + 53661*x1*x3*x4 + 63*x2*x3*x4 + 10394*x3^2*x4 + 65488*x1*x4^2 + 2807*x2*x4^2 + 55469*x3*x4^2 + x4^3 + 2807*x1^2*x5 + 53661*x1*x2*x5 + 65488*x2^2*x5 + 65284*x1*x3*x5 + 11938*x2*x3*x5 + 62630*x3^2*x5 + 11938*x1*x4*x5 + 53661*x2*x4*x5 + 63*x3*x4*x5 + 10394*x4^2*x5 + 62630*x1*x5^2 + 65488*x2*x5^2 + 2807*x3*x5^2 + 55469*x4*x5^2 + x5^3 + 55469*x1^2*x6 + 63*x1*x2*x6 + 2807*x2^2*x6 + 11938*x1*x3*x6 + 53661*x2*x3*x6 + 65488*x3^2*x6 + 53661*x1*x4*x6 + 65284*x2*x4*x6 + 11938*x3*x4*x6 + 62630*x4^2*x6 + 63*x1*x5*x6 + 11938*x2*x5*x6 + 53661*x3*x5*x6 + 63*x4*x5*x6 + 10394*x5^2*x6 + 10394*x1*x6^2 + 62630*x2*x6^2 + 65488*x3*x6^2 + 2807*x4*x6^2 + 55469*x5*x6^2 + x6^3 + 44*x1^2*x7 + 63*x1*x2*x7 + 44*x2^2*x7 + 103*x1*x3*x7 + 63*x2*x3*x7 + 44*x3^2*x7 + 60*x1*x4*x7 + 103*x2*x4*x7 + 63*x3*x4*x7 + 44*x4^2*x7 + 103*x1*x5*x7 + 60*x2*x5*x7 + 103*x3*x5*x7 + 63*x4*x5*x7 + 44*x5^2*x7 + 63*x1*x6*x7 + 103*x2*x6*x7 + 60*x3*x6*x7 + 103*x4*x6*x7 + 63*x5*x6*x7 + 44*x6^2*x7 + 65484*x1*x7^2 + 65484*x2*x7^2 + 65484*x3*x7^2 + 65484*x4*x7^2 + 65484*x5*x7^2 + 65484*x6*x7^2 + 65496*x7^3 + 44*x1^2*x8 + 63*x1*x2*x8 + 44*x2^2*x8 + 103*x1*x3*x8 + 63*x2*x3*x8 + 44*x3^2*x8 + 60*x1*x4*x8 + 103*x2*x4*x8 + 63*x3*x4*x8 + 44*x4^2*x8 + 103*x1*x5*x8 + 60*x2*x5*x8 + 103*x3*x5*x8 + 63*x4*x5*x8 + 44*x5^2*x8 + 63*x1*x6*x8 + 103*x2*x6*x8 + 60*x3*x6*x8 + 103*x4*x6*x8 + 63*x5*x6*x8 + 44*x6^2*x8 + 22*x1*x7*x8 + 22*x2*x7*x8 + 22*x3*x7*x8 + 22*x4*x7*x8 + 22*x5*x7*x8 + 22*x6*x7*x8 + 65454*x7^2*x8 + 65484*x1*x8^2 + 65484*x2*x8^2 + 65484*x3*x8^2 + 65484*x4*x8^2 + 65484*x5*x8^2 + 65484*x6*x8^2 + 65454*x7*x8^2 + 65496*x8^3 + 65512*x1^2 + 65376*x1*x2 + 65512*x2^2 + 65488*x1*x3 + 65376*x2*x3 + 65512*x3^2 + 65427*x1*x4 + 65488*x2*x4 + 65376*x3*x4 + 65512*x4^2 + 65488*x1*x5 + 65427*x2*x5 + 65488*x3*x5 + 65376*x4*x5 + 65512*x5^2 + 65376*x1*x6 + 65488*x2*x6 + 65427*x3*x6 + 65488*x4*x6 + 65376*x5*x6 + 65512*x6^2 + 65499*x1*x7 + 65499*x2*x7 + 65499*x3*x7 + 65499*x4*x7 + 65499*x5*x7 + 65499*x6*x7 + 10*x7^2 + 65499*x1*x8 + 65499*x2*x8 + 65499*x3*x8 + 65499*x4*x8 + 65499*x5*x8 + 65499*x6*x8 + 92*x7*x8 + 10*x8^2 + 30*x1 + 30*x2 + 30*x3 + 30*x4 + 30*x5 + 30*x6 + 65496*x7 + 65496*x8 + 39761
]
: