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

#gdegs < 0 0 0 0 0 1 1 0 2 0 3 0 4 0 5 0>


#modulo 65521

#list

[
17*x1*x2*x3 + 65506*x3^3 + 13*x3*x4^2 + 27*x2^2*x5 + 65497*x1*x4*x5 + 65482*x5^3 + 32*x1^2*x6 + 21*x2*x4*x6 + 65494*x3*x5*x6 + 65483*x6^3 + 40*x6*x7^2 + 27*x1^2*x8 + 2*x2*x4*x8 + 65506*x3*x5*x8 + 65488*x6^2*x8 + 6*x7^2*x8 + 28*x6*x8^2 + 65510*x8^3 + 28*x1^2 + 65510*x2*x4 + 65491*x3*x5 + 33*x6^2 + 17*x7^2 + 35*x6*x8 + 31*x8^2 + 65496*x8 + 46877,
47*x1*x2*x3 + 65480*x3^3 + 65497*x3*x4^2 + 6*x2^2*x5 + 65485*x1*x4*x5 + 65499*x5^3 + 20*x1^2*x6 + 65489*x2*x4*x6 + 4*x3*x5*x6 + 34*x6^3 + 65506*x6*x7^2 + 2*x1^2*x8 + 46*x2*x4*x8 + x3*x5*x8 + 19*x6^2*x8 + 30*x7^2*x8 + 65503*x6*x8^2 + 65494*x8^3 + 23*x1^2 + 18*x2*x4 + 25*x3*x5 + 65477*x6^2 + 65508*x7^2 + 28*x6*x8 + 6*x8^2 + 22*x6 + 65500*x8 + 23687,
65505*x1*x2*x3 + 65514*x3^3 + 65482*x3*x4^2 + 65485*x2^2*x5 + 37*x1*x4*x5 + 65487*x5^3 + 65511*x1^2*x6 + 32*x2*x4*x6 + 18*x3*x5*x6 + 65497*x6^3 + 65510*x6*x7^2 + 65513*x1^2*x8 + 65489*x2*x4*x8 + 34*x3*x5*x8 + 48*x6^2*x8 + 65488*x7^2*x8 + 65514*x6*x8^2 + 10*x8^3 + 30*x1^2 + 65476*x2*x4 + 23*x3*x5 + 38*x6^2 + 22*x7^2 + 5*x6*x8 + 65490*x8^2 + 65486*x6 + 65507*x8 + 21647,
65512*x1*x2*x3 + 18*x3*x4^2 + 65516*x2^2*x5 + 41*x1*x4*x5 + 43*x5^3 + 65502*x1^2*x6 + 65475*x2*x4*x6 + 65509*x3*x5*x6 + 65501*x6^3 + 39*x6*x7^2 + 65493*x1^2*x8 + 65511*x2*x4*x8 + 65475*x3*x5*x8 + 47*x6^2*x8 + 65507*x7^2*x8 + 65502*x6*x8^2 + 65504*x8^3 + 38*x1^2 + 65492*x2*x4 + 65508*x3*x5 + 65488*x6^2 + 39*x7^2 + 22*x6*x8 + 18*x8^2 + 65496*x6 + 23*x8 + 58836,
65475*x1*x2*x3 + 65510*x3^3 + 35*x3*x4^2 + 17*x2^2*x5 + 65489*x1*x4*x5 + 15*x5^3 + 65520*x1^2*x6 + 18*x2*x4*x6 + 3*x3*x5*x6 + 7*x6^3 + 12*x6*x7^2 + 65503*x1^2*x8 + x2*x4*x8 + 65472*x3*x5*x8 + 6*x6^2*x8 + 4*x7^2*x8 + 42*x6*x8^2 + 14*x8^3 + 47*x1^2 + 9*x2*x4 + 65508*x3*x5 + 41*x6^2 + 14*x7^2 + 65512*x8^2 + 65509*x6 + 65506*x8 + 26078,
65502*x1*x2*x3 + 38*x3^3 + 39*x3*x4^2 + 65492*x2^2*x5 + 65520*x1*x4*x5 + 5*x1^2*x6 + 65471*x2*x4*x6 + 65486*x3*x5*x6 + 41*x6^3 + 45*x6*x7^2 + 65503*x1^2*x8 + 65472*x3*x5*x8 + 31*x6^2*x8 + 7*x7^2*x8 + 27*x6*x8^2 + 14*x8^3 + 65515*x1^2 + 65518*x2*x4 + 9*x3*x5 + 10*x6^2 + 26*x7^2 + 15*x6*x8 + 65475*x8^2 + 41*x6 + 65510*x8 + 42647,
31*x1*x2*x3 + 65475*x3^3 + 65485*x3*x4^2 + 65485*x2^2*x5 + 15*x1*x4*x5 + 49*x5^3 + 65483*x1^2*x6 + 26*x2*x4*x6 + 65516*x3*x5*x6 + 65506*x6^3 + 65505*x6*x7^2 + 65472*x1^2*x8 + 37*x2*x4*x8 + 65514*x3*x5*x8 + 29*x6^2*x8 + 8*x7^2*x8 + 65511*x6*x8^2 + 65497*x8^3 + 65490*x1^2 + 65496*x2*x4 + 29*x3*x5 + 7*x6^2 + 65488*x7^2 + 41*x6*x8 + 4*x8^2 + 31*x6 + 65484*x8 + 3775,
65489*x1*x2*x3 + 65472*x3^3 + 28*x3*x4^2 + 65497*x2^2*x5 + 19*x1*x4*x5 + 37*x5^3 + 65495*x1^2*x6 + 44*x2*x4*x6 + 65517*x3*x5*x6 + 8*x6^3 + 65497*x6*x7^2 + 9*x1^2*x8 + 65519*x2*x4*x8 + 65518*x3*x5*x8 + 40*x6^2*x8 + 65519*x7^2*x8 + 65508*x6*x8^2 + 65498*x8^3 + 25*x1^2 + 65515*x2*x4 + 11*x3*x5 + 65482*x6^2 + 65503*x7^2 + 65499*x6*x8 + 28*x8^2 + 30*x6 + 65496*x8 + 39761
]
: