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

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


#modulo 65521

#list

[
65515*x1*x2^2 + 31*x1^2*x3 + 23*x3^2*x4 + 65506*x2*x4^2 + 65471*x2*x3*x5 + 35*x1*x4*x5 + 65514*x5^3 + 65474*x6*x7^2 + 14*x6^2*x8 + 65473*x5*x7*x8 + 20*x5*x6*x9 + 65497*x8^2*x9 + 65505*x7*x9^2 + 65481*x2*x3*x10 + 65491*x1*x4*x10 + 65500*x5^2*x10 + 12*x7*x8*x10 + 32*x6*x9*x10 + 32*x5*x10^2 + 65477*x10^3 + 27*x2*x3 + 65514*x1*x4 + 11*x5^2 + 5*x7*x8 + 12*x6*x9 + 8*x5*x10 + 65503*x10^2 + 49*x5 + 12*x10 + 49401,
65480*x1*x2^2 + 65507*x1^2*x3 + 65509*x3^2*x4 + 65486*x2*x4^2 + 30*x2*x3*x5 + 46*x1*x4*x5 + 65493*x5^3 + 65471*x6*x7^2 + 65473*x6^2*x8 + 65513*x5*x7*x8 + 5*x5*x6*x9 + 65514*x8^2*x9 + 65506*x7*x9^2 + 17*x2*x3*x10 + 65479*x1*x4*x10 + 42*x5^2*x10 + 32*x7*x8*x10 + 65478*x6*x9*x10 + 36*x5*x10^2 + 65495*x10^3 + 13*x2*x3 + 65483*x1*x4 + 65504*x5^2 + 14*x7*x8 + 65516*x6*x9 + 44*x5*x10 + 65490*x10^2 + 65504*x5 + 13*x10 + 48356,
65473*x1*x2^2 + 65489*x1^2*x3 + 65506*x3^2*x4 + 65490*x2*x4^2 + 65508*x2*x3*x5 + 65520*x1*x4*x5 + 65473*x5^3 + 65478*x6*x7^2 + 65516*x6^2*x8 + 29*x5*x7*x8 + 65493*x5*x6*x9 + 5*x8^2*x9 + 18*x7*x9^2 + 65501*x2*x3*x10 + 43*x1*x4*x10 + 65476*x5^2*x10 + 17*x7*x8*x10 + 36*x6*x9*x10 + 65481*x5*x10^2 + 65474*x10^3 + 36*x2*x3 + 65495*x1*x4 + 65479*x5^2 + 41*x7*x8 + 4*x6*x9 + 65492*x5*x10 + 45*x10^2 + 65483*x5 + 44*x10 + 59290,
34*x1*x2^2 + 37*x1^2*x3 + 37*x3^2*x4 + 65511*x2*x4^2 + 65509*x2*x3*x5 + 65489*x1*x4*x5 + 27*x5^3 + 12*x6*x7^2 + 5*x6^2*x8 + 45*x5*x6*x9 + 65516*x8^2*x9 + 65517*x7*x9^2 + 23*x2*x3*x10 + 50*x1*x4*x10 + 13*x5^2*x10 + 65492*x7*x8*x10 + 25*x6*x9*x10 + 32*x5*x10^2 + 65504*x10^3 + 65506*x2*x3 + 65480*x1*x4 + 38*x5^2 + 65483*x7*x8 + 42*x6*x9 + 45*x5*x10 + 18*x10^2 + 15*x5 + 13*x10 + 48975,
65491*x1^2*x3 + 65486*x3^2*x4 + 29*x2*x4^2 + 37*x2*x3*x5 + 9*x1*x4*x5 + 65471*x5^3 + 65482*x6*x7^2 + 65511*x6^2*x8 + 65513*x5*x7*x8 + 65475*x5*x6*x9 + 65489*x8^2*x9 + 65472*x7*x9^2 + 47*x2*x3*x10 + 65480*x1*x4*x10 + 25*x5^2*x10 + 65519*x7*x8*x10 + 44*x6*x9*x10 + x5*x10^2 + 25*x10^3 + 42*x2*x3 + 65490*x1*x4 + 65510*x5^2 + 39*x7*x8 + 65498*x6*x9 + 65501*x5*x10 + 26*x10^2 + 65508*x5 + 26*x10 + 62239,
65511*x1*x2^2 + 8*x1^2*x3 + 65505*x3^2*x4 + 11*x2*x4^2 + 65476*x2*x3*x5 + 65503*x1*x4*x5 + 22*x5^3 + 23*x6*x7^2 + 65485*x6^2*x8 + 46*x5*x7*x8 + 14*x5*x6*x9 + 65502*x8^2*x9 + 65480*x7*x9^2 + 65473*x2*x3*x10 + 30*x1*x4*x10 + 13*x5^2*x10 + 43*x7*x8*x10 + 65504*x6*x9*x10 + 65504*x5*x10^2 + 35*x10^3 + 17*x2*x3 + 65506*x1*x4 + 65509*x5^2 + 43*x7*x8 + 65476*x6*x9 + 65472*x5*x10 + 65481*x10^2 + 65483*x5 + 65501*x10 + 4286,
65519*x1*x2^2 + 11*x1^2*x3 + 65484*x3^2*x4 + 36*x2*x4^2 + 28*x2*x3*x5 + 5*x1*x4*x5 + 65507*x5^3 + 48*x6*x7^2 + 9*x6^2*x8 + 65517*x5*x7*x8 + 28*x5*x6*x9 + 65512*x8^2*x9 + 65493*x7*x9^2 + 21*x2*x3*x10 + 65471*x1*x4*x10 + 65501*x5^2*x10 + 49*x7*x8*x10 + 47*x6*x9*x10 + 42*x5*x10^2 + 65517*x10^3 + 65510*x2*x3 + 65503*x1*x4 + 65507*x5^2 + 10*x7*x8 + 65495*x6*x9 + 65519*x5*x10 + 65507*x10^2 + 65515*x5 + 6*x10 + 61143,
65484*x1*x2^2 + 65509*x1^2*x3 + 5*x3^2*x4 + 65504*x2*x4^2 + 21*x2*x3*x5 + 65474*x1*x4*x5 + 65478*x5^3 + 65501*x6*x7^2 + 65479*x6^2*x8 + 65506*x5*x7*x8 + 48*x5*x6*x9 + 65493*x8^2*x9 + 47*x7*x9^2 + 39*x2*x3*x10 + 65493*x1*x4*x10 + 65496*x5^2*x10 + 65519*x7*x8*x10 + 9*x5*x10^2 + 65498*x10^3 + 49*x2*x3 + 65503*x1*x4 + 27*x5^2 + 65474*x7*x8 + 44*x6*x9 + 34*x5*x10 + 65491*x10^2 + 65492*x5 + 8*x10 + 39706,
32*x1*x2^2 + 37*x1^2*x3 + 65484*x3^2*x4 + 65499*x2*x4^2 + 65480*x2*x3*x5 + 8*x1*x4*x5 + 65493*x5^3 + 65509*x6*x7^2 + 65500*x6^2*x8 + 65519*x5*x7*x8 + 65519*x5*x6*x9 + 46*x8^2*x9 + 23*x7*x9^2 + 65503*x2*x3*x10 + 65519*x1*x4*x10 + 65493*x5^2*x10 + 65509*x7*x8*x10 + 19*x6*x9*x10 + 22*x5*x10^2 + 15*x10^3 + 30*x2*x3 + 65491*x1*x4 + 65502*x5^2 + 65513*x7*x8 + 65508*x6*x9 + 65482*x5*x10 + 65498*x10^2 + 11*x5 + 65489*x10 + 19903,
65517*x1*x2^2 + 30*x1^2*x3 + 25*x3^2*x4 + 65473*x2*x4^2 + 25*x2*x3*x5 + 65510*x1*x4*x5 + 65480*x5^3 + 65493*x6*x7^2 + 65475*x6^2*x8 + 65494*x5*x7*x8 + 35*x5*x6*x9 + 18*x8^2*x9 + 65519*x7*x9^2 + 13*x2*x3*x10 + 23*x1*x4*x10 + 65480*x5^2*x10 + 42*x7*x8*x10 + 65478*x6*x9*x10 + 50*x5*x10^2 + 5*x10^3 + 39*x2*x3 + 65516*x1*x4 + 8*x5^2 + 41*x7*x8 + 65475*x6*x9 + 65498*x5*x10 + 65499*x10^2 + 45*x5 + 65472*x10 + 33013
]
: