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

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


#modulo 65521

#list

[
65518*x1*x2*x3 + 65475*x2*x5^2 + 8*x3^2*x6 + 65501*x1*x4*x6 + 34*x2*x6^2 + 32*x2^2*x7 + 3*x3*x4*x7 + 25*x1*x5*x7 + 42*x4^2*x8 + 28*x3*x5*x8 + 65519*x7^2*x8 + 65519*x6*x8^2 + 65488*x2*x4*x9 + 65478*x5*x6*x9 + 43*x1*x8*x9 + 65505*x7*x9^2 + 65477*x1^2*x10 + 65495*x4*x5*x10 + 65484*x6*x7*x10 + 27*x2*x8*x10 + 65473*x3*x9*x10 + 47*x10^3 + 65518*x1^2 + x4*x5 + 65483*x6*x7 + 13*x2*x8 + 16*x3*x9 + 65498*x10^2 + 65514*x10 + 46647,
5*x1*x2*x3 + 65505*x2*x5^2 + 65491*x3^2*x6 + 65481*x1*x4*x6 + 40*x2*x6^2 + 19*x2^2*x7 + 22*x3*x4*x7 + 23*x1*x5*x7 + 28*x4^2*x8 + 65512*x3*x5*x8 + 9*x7^2*x8 + 15*x6*x8^2 + 17*x2*x4*x9 + 65488*x5*x6*x9 + 8*x1*x8*x9 + 65480*x7*x9^2 + 34*x1^2*x10 + 65483*x4*x5*x10 + 65503*x6*x7*x10 + 65477*x2*x8*x10 + 38*x3*x9*x10 + 65515*x10^3 + 15*x1^2 + 65488*x4*x5 + 65490*x6*x7 + 17*x2*x8 + 24*x3*x9 + 32*x10^2 + 65506*x10 + 27795,
65493*x1*x2*x3 + 9*x2*x5^2 + 65509*x3^2*x6 + 25*x1*x4*x6 + 65520*x2*x6^2 + 65487*x2^2*x7 + 50*x3*x4*x7 + 43*x1*x5*x7 + 48*x4^2*x8 + 65497*x3*x5*x8 + 65490*x7^2*x8 + 6*x6*x8^2 + 65494*x2*x4*x9 + 36*x5*x6*x9 + x1*x8*x9 + 18*x7*x9^2 + 65476*x1^2*x10 + 16*x4*x5*x10 + 65506*x6*x7*x10 + 65491*x2*x8*x10 + 2*x3*x9*x10 + 11*x10^3 + 65501*x1^2 + 8*x4*x5 + 65511*x6*x7 + 16*x2*x8 + 65494*x3*x9 + 65489*x10^2 + x10 + 34602,
65503*x1*x2*x3 + 15*x2*x5^2 + 65514*x3^2*x6 + 4*x1*x4*x6 + 31*x2*x6^2 + 9*x2^2*x7 + 4*x3*x4*x7 + 65480*x1*x5*x7 + 17*x4^2*x8 + 65511*x3*x5*x8 + 36*x7^2*x8 + 65492*x6*x8^2 + 42*x2*x4*x9 + 65504*x5*x6*x9 + 8*x1*x8*x9 + 13*x7*x9^2 + 29*x1^2*x10 + 24*x4*x5*x10 + 32*x6*x7*x10 + 50*x2*x8*x10 + 65505*x3*x9*x10 + 50*x10^3 + 65512*x1^2 + 65513*x4*x5 + 45*x6*x7 + 36*x2*x8 + 24*x3*x9 + 65494*x10^2 + 65510*x10 + 58212,
40*x1*x2*x3 + 65504*x2*x5^2 + 65472*x3^2*x6 + 24*x1*x4*x6 + 65489*x2*x6^2 + 35*x2^2*x7 + 65481*x3*x4*x7 + 65513*x1*x5*x7 + 65509*x4^2*x8 + 30*x3*x5*x8 + 65504*x7^2*x8 + 5*x6*x8^2 + 65516*x2*x4*x9 + 65514*x5*x6*x9 + 45*x1*x8*x9 + 65481*x7*x9^2 + 65476*x1^2*x10 + 24*x4*x5*x10 + 26*x6*x7*x10 + 65473*x2*x8*x10 + 65479*x3*x9*x10 + 21*x10^3 + 17*x1^2 + 23*x4*x5 + 65497*x6*x7 + 4*x2*x8 + 65481*x3*x9 + 65492*x10^2 + 45*x10 + 61767,
65501*x1*x2*x3 + 65492*x2*x5^2 + 45*x3^2*x6 + 36*x1*x4*x6 + 18*x2*x6^2 + 7*x2^2*x7 + 65474*x3*x4*x7 + 5*x1*x5*x7 + 65511*x4^2*x8 + 24*x3*x5*x8 + 65507*x7^2*x8 + 7*x6*x8^2 + 65501*x2*x4*x9 + 65487*x5*x6*x9 + 65509*x1*x8*x9 + 13*x7*x9^2 + 46*x1^2*x10 + 65472*x4*x5*x10 + 65502*x6*x7*x10 + 34*x2*x8*x10 + 65509*x3*x9*x10 + 46*x10^3 + 65482*x1^2 + 65490*x4*x5 + 65492*x6*x7 + 65474*x2*x8 + 41*x3*x9 + 65508*x10^2 + 20*x10 + 53987,
5*x1*x2*x3 + 29*x2*x5^2 + 3*x3^2*x6 + 65494*x1*x4*x6 + 65475*x2*x6^2 + 65501*x2^2*x7 + 37*x3*x4*x7 + 65520*x1*x5*x7 + 65513*x4^2*x8 + 65486*x3*x5*x8 + 8*x7^2*x8 + 65505*x6*x8^2 + 35*x2*x4*x9 + 30*x5*x6*x9 + 65478*x1*x8*x9 + 65493*x7*x9^2 + 16*x1^2*x10 + 65515*x4*x5*x10 + 19*x6*x7*x10 + 65507*x2*x8*x10 + 65473*x3*x9*x10 + 39*x10^3 + 65485*x1^2 + 15*x4*x5 + 65495*x6*x7 + 27*x2*x8 + 65493*x3*x9 + 65474*x10^2 + 37*x10 + 21004,
19*x1*x2*x3 + 65484*x2*x5^2 + 33*x3^2*x6 + 42*x1*x4*x6 + 65488*x2*x6^2 + 20*x2^2*x7 + 65499*x3*x4*x7 + 65487*x1*x5*x7 + 3*x4^2*x8 + 18*x3*x5*x8 + 46*x7^2*x8 + 65493*x6*x8^2 + 7*x2*x4*x9 + 29*x5*x6*x9 + 65493*x1*x8*x9 + 65514*x7*x9^2 + 65497*x1^2*x10 + 65477*x4*x5*x10 + 8*x6*x7*x10 + 25*x2*x8*x10 + 18*x3*x9*x10 + 34*x10^3 + 20*x1^2 + 65472*x4*x5 + 65497*x6*x7 + 65516*x2*x8 + 5*x3*x9 + 3*x10^2 + 65481*x10 + 60284,
65486*x1*x2*x3 + 65503*x2*x5^2 + 35*x3^2*x6 + 32*x1*x4*x6 + 65515*x2*x6^2 + 17*x2^2*x7 + 48*x3*x4*x7 + 65487*x1*x5*x7 + 65516*x4^2*x8 + 65483*x3*x5*x8 + 65486*x7^2*x8 + 65514*x6*x8^2 + 65479*x2*x4*x9 + 20*x5*x6*x9 + 14*x1*x8*x9 + 32*x7*x9^2 + 21*x1^2*x10 + 65509*x4*x5*x10 + 65517*x6*x7*x10 + x2*x8*x10 + 38*x3*x9*x10 + 28*x10^3 + 48*x1^2 + 13*x4*x5 + 33*x6*x7 + x2*x8 + 45*x3*x9 + 47*x10^2 + 65475*x10 + 42628,
65484*x1*x2*x3 + 65516*x2*x5^2 + 22*x3^2*x6 + 3*x1*x4*x6 + 38*x2*x6^2 + 65519*x2^2*x7 + 17*x3*x4*x7 + 65520*x1*x5*x7 + x4^2*x8 + 65502*x3*x5*x8 + 37*x7^2*x8 + 65491*x6*x8^2 + 65503*x2*x4*x9 + 14*x5*x6*x9 + 13*x1*x8*x9 + 6*x7*x9^2 + 65512*x1^2*x10 + 65471*x4*x5*x10 + 9*x6*x7*x10 + 40*x2*x8*x10 + 65475*x3*x9*x10 + 65483*x10^3 + 65491*x1^2 + 23*x4*x5 + 50*x6*x7 + 5*x2*x8 + 65519*x3*x9 + 65478*x10^2 + 4*x10 + 42197
]
: