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

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


#modulo 65521

#list

[
65496*x1*x2*x3 + 65477*x3^2*x4 + 65472*x1*x4^2 + 65517*x2^2*x5 + 10*x1*x5^2 + 65501*x3*x5*x6 + 65503*x4*x6^2 + 65517*x2*x4*x7 + 65510*x1*x6*x7 + 5*x5*x7^2 + 65472*x1^2*x8 + 38*x4*x5*x8 + 65476*x2*x6*x8 + x3*x7*x8 + 65496*x8^3 + 65503*x1^2 + 65481*x4*x5 + 46*x2*x6 + 25*x3*x7 + 65514*x8^2 + 9*x8 + 10211,
7*x1*x2*x3 + 28*x3^2*x4 + 15*x1*x4^2 + 65490*x2^2*x5 + 24*x1*x5^2 + 38*x3*x5*x6 + 27*x4*x6^2 + 65479*x2*x4*x7 + 65514*x1*x6*x7 + 65511*x5*x7^2 + 65491*x1^2*x8 + 65519*x4*x5*x8 + 31*x2*x6*x8 + 28*x3*x7*x8 + 9*x8^3 + 50*x1^2 + 65517*x4*x5 + 65489*x2*x6 + 2*x3*x7 + 10*x8^2 + 6*x8 + 20780,
34*x1*x2*x3 + 30*x3^2*x4 + 5*x1*x4^2 + 65505*x2^2*x5 + 65473*x1*x5^2 + 65471*x3*x5*x6 + 15*x4*x6^2 + 65498*x2*x4*x7 + 30*x1*x6*x7 + 37*x5*x7^2 + 15*x1^2*x8 + 65514*x4*x5*x8 + 65472*x2*x6*x8 + 23*x3*x7*x8 + 65489*x8^3 + 65492*x1^2 + 65490*x4*x5 + 45*x2*x6 + 45*x3*x7 + 42*x8^2 + 65493*x8 + 9932,
65481*x1*x2*x3 + 65473*x3^2*x4 + 65481*x1*x4^2 + 65496*x2^2*x5 + 65507*x1*x5^2 + 65503*x3*x5*x6 + 43*x4*x6^2 + 12*x1*x6*x7 + 3*x5*x7^2 + 35*x1^2*x8 + 65477*x4*x5*x8 + 65517*x2*x6*x8 + 8*x3*x7*x8 + 65495*x8^3 + 34*x1^2 + 10*x4*x5 + 65477*x2*x6 + 65490*x3*x7 + 65499*x8 + 46226,
13*x1*x2*x3 + 65493*x3^2*x4 + 65502*x1*x4^2 + 65510*x2^2*x5 + 65478*x1*x5^2 + 65517*x3*x5*x6 + 65504*x4*x6^2 + 37*x2*x4*x7 + 65474*x1*x6*x7 + 65514*x5*x7^2 + 2*x1^2*x8 + 65495*x4*x5*x8 + 65475*x2*x6*x8 + 49*x3*x7*x8 + 44*x8^3 + 44*x1^2 + 46*x4*x5 + 11*x2*x6 + 37*x3*x7 + 65489*x8^2 + 17*x8 + 13555,
65508*x1*x2*x3 + 4*x3^2*x4 + 65514*x1*x4^2 + 65496*x2^2*x5 + 11*x1*x5^2 + 19*x3*x5*x6 + 45*x4*x6^2 + 27*x2*x4*x7 + 29*x5*x7^2 + 65489*x1^2*x8 + 65493*x4*x5*x8 + 5*x2*x6*x8 + 9*x3*x7*x8 + 6*x8^3 + 65511*x1^2 + 7*x4*x5 + 26*x2*x6 + 21*x3*x7 + 65475*x8^2 + 23*x8 + 44452,
65485*x1*x2*x3 + 65486*x3^2*x4 + 12*x1*x4^2 + 65481*x2^2*x5 + 45*x1*x5^2 + 65490*x3*x5*x6 + 65505*x4*x6^2 + 65491*x2*x4*x7 + 65487*x1*x6*x7 + 37*x5*x7^2 + 65487*x1^2*x8 + 28*x4*x5*x8 + 20*x2*x6*x8 + 65501*x3*x7*x8 + 65477*x8^3 + 20*x1^2 + 65501*x4*x5 + 44*x2*x6 + 65483*x3*x7 + 17*x8^2 + x8 + 20001,
20*x1*x2*x3 + 38*x3^2*x4 + 25*x1*x4^2 + 6*x2^2*x5 + 35*x1*x5^2 + 65482*x3*x5*x6 + 65478*x4*x6^2 + 65473*x2*x4*x7 + 65484*x1*x6*x7 + 65512*x5*x7^2 + 65510*x1^2*x8 + 49*x4*x5*x8 + 65518*x2*x6*x8 + 65487*x3*x7*x8 + 20*x8^3 + 23*x1^2 + 43*x4*x5 + 65520*x2*x6 + 65489*x3*x7 + 65511*x8^2 + 65508*x8 + 12996
]
: