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

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


#modulo 65521

#list

[
44*x1*x2^2 + 65489*x1*x3^2 + 30*x1^2*x4 + 15*x2*x3*x4 + 42*x4^3 + 2*x4*x5^2 + 65483*x5*x6^2 + x4*x6*x7 + 65483*x5*x7^2 + 65488*x1^2*x8 + 65478*x2*x3*x8 + 65497*x4^2*x8 + 65498*x5^2*x8 + 65516*x6*x7*x8 + 18*x4*x8^2 + 65488*x8^3 + 65497*x1^2 + 16*x2*x3 + 65507*x4^2 + 20*x5^2 + 65486*x6*x7 + 36*x4*x8 + 23*x8^2 + 65503*x4 + 65493*x8 + 37844,
26*x1*x2^2 + 65511*x1*x3^2 + 65509*x1^2*x4 + 6*x2*x3*x4 + 30*x4^3 + 65507*x4*x5^2 + 40*x5*x6^2 + 65510*x4*x6*x7 + 65514*x5*x7^2 + 65485*x1^2*x8 + 19*x2*x3*x8 + 39*x5^2*x8 + 65485*x6*x7*x8 + 13*x4*x8^2 + 32*x8^3 + 12*x1^2 + 48*x2*x3 + 65483*x4^2 + 65475*x5^2 + 65517*x6*x7 + 50*x8^2 + 14*x4 + 65501*x8 + 3211,
6*x1*x2^2 + 22*x1*x3^2 + 65490*x1^2*x4 + 43*x2*x3*x4 + 65496*x4^3 + 65490*x4*x5^2 + 65516*x5*x6^2 + 19*x4*x6*x7 + 65498*x5*x7^2 + 65520*x1^2*x8 + 5*x2*x3*x8 + 36*x4^2*x8 + 65484*x5^2*x8 + 65472*x6*x7*x8 + 65473*x4*x8^2 + 65509*x8^3 + x1^2 + 9*x2*x3 + 65499*x4^2 + 65489*x5^2 + 16*x6*x7 + 22*x4*x8 + 65484*x8^2 + 22*x4 + 65505*x8 + 38261,
29*x1*x2^2 + 65519*x1*x3^2 + 65518*x1^2*x4 + 24*x4^3 + 49*x4*x5^2 + 21*x5*x6^2 + 65484*x4*x6*x7 + 11*x5*x7^2 + 65472*x1^2*x8 + 65479*x2*x3*x8 + 65506*x4^2*x8 + 38*x5^2*x8 + 65504*x6*x7*x8 + 65498*x4*x8^2 + 34*x8^3 + 24*x1^2 + 65520*x2*x3 + 65513*x4^2 + 14*x5^2 + 25*x6*x7 + 65472*x4*x8 + 36*x8^2 + 31*x4 + 40*x8 + 15518,
65491*x1*x2^2 + 65491*x1*x3^2 + 65474*x1^2*x4 + 65473*x2*x3*x4 + 22*x4^3 + 65519*x4*x5^2 + 13*x5*x6^2 + 65484*x4*x6*x7 + 65505*x5*x7^2 + 23*x1^2*x8 + 21*x2*x3*x8 + 65511*x4^2*x8 + 65518*x5^2*x8 + 65477*x6*x7*x8 + 21*x4*x8^2 + 37*x8^3 + 26*x1^2 + 34*x2*x3 + 65492*x4^2 + 25*x5^2 + 65471*x6*x7 + 30*x4*x8 + 65484*x8^2 + 45*x4 + 31*x8 + 54981,
65471*x1*x2^2 + 43*x1*x3^2 + 18*x1^2*x4 + 12*x2*x3*x4 + 65484*x4^3 + 14*x4*x5^2 + 13*x5*x6^2 + 35*x4*x6*x7 + 3*x5*x7^2 + 65505*x1^2*x8 + 24*x2*x3*x8 + 65472*x4^2*x8 + 65497*x5^2*x8 + 46*x6*x7*x8 + 46*x4*x8^2 + 4*x8^3 + 65513*x1^2 + 22*x2*x3 + 65517*x4^2 + 65476*x5^2 + 46*x6*x7 + 65484*x4*x8 + 65494*x8^2 + 65517*x4 + 10*x8 + 16724,
65500*x1*x2^2 + 22*x1*x3^2 + 65503*x1^2*x4 + 65497*x2*x3*x4 + 47*x4^3 + 65486*x4*x5^2 + 65494*x5*x6^2 + 65485*x4*x6*x7 + 65484*x5*x7^2 + 65513*x1^2*x8 + 30*x2*x3*x8 + 2*x4^2*x8 + 7*x5^2*x8 + 39*x6*x7*x8 + 65483*x4*x8^2 + 65516*x8^3 + 47*x1^2 + 41*x2*x3 + 38*x4^2 + 65498*x5^2 + 45*x6*x7 + 33*x4*x8 + 11*x8^2 + 35*x4 + 45*x8 + 43729,
65517*x1*x2^2 + 65507*x1*x3^2 + 48*x1^2*x4 + 65475*x2*x3*x4 + 65487*x4^3 + 65477*x4*x5^2 + 65499*x5*x6^2 + 65501*x4*x6*x7 + 65508*x5*x7^2 + 29*x1^2*x8 + 19*x2*x3*x8 + 65519*x4^2*x8 + 43*x5^2*x8 + 45*x6*x7*x8 + 35*x4*x8^2 + 65490*x8^3 + 65493*x1^2 + 65508*x2*x3 + 8*x4^2 + 65482*x5^2 + 28*x6*x7 + 20*x4*x8 + 23*x8^2 + 65478*x4 + 65520*x8 + 26144
]
: