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

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


#modulo 65521

#list

[
8*x1*x2*x3 + 65485*x3^3 + 43*x3*x4^2 + 65510*x2^2*x5 + 65506*x1*x4*x5 + x5^3 + 28*x1^2*x6 + 49*x2*x4*x6 + 65483*x3*x5*x6 + 65503*x6^3 + 65513*x6*x7^2 + 65475*x7*x8^2 + 65510*x6*x8*x9 + 65481*x7*x9^2 + 65502*x1^2*x10 + 65483*x2*x4*x10 + 36*x3*x5*x10 + 65492*x6^2*x10 + 65484*x7^2*x10 + 18*x8*x9*x10 + 23*x6*x10^2 + 41*x10^3 + 65489*x1^2 + 65494*x2*x4 + 40*x3*x5 + 65477*x6^2 + 32*x7^2 + 65473*x8*x9 + 17*x6*x10 + 43*x6 + 65497*x10 + 44353,
11*x1*x2*x3 + 65514*x3^3 + 43*x3*x4^2 + 65515*x2^2*x5 + 65503*x1*x4*x5 + 65520*x5^3 + 45*x1^2*x6 + 46*x2*x4*x6 + 65471*x3*x5*x6 + 65510*x6^3 + 35*x6*x7^2 + 18*x7*x8^2 + 47*x6*x8*x9 + 47*x7*x9^2 + 65477*x1^2*x10 + 65479*x2*x4*x10 + 65510*x3*x5*x10 + 65505*x6^2*x10 + 65510*x7^2*x10 + 65487*x8*x9*x10 + 65474*x6*x10^2 + 65476*x10^3 + 65478*x1^2 + 27*x2*x4 + 65485*x3*x5 + 28*x6^2 + 65510*x7^2 + 65477*x8*x9 + 65482*x6*x10 + 42*x10^2 + 34*x6 + 65501*x10 + 23385,
65518*x1*x2*x3 + 50*x3^3 + 65506*x3*x4^2 + 21*x2^2*x5 + 65476*x1*x4*x5 + 65495*x5^3 + 23*x1^2*x6 + 65471*x2*x4*x6 + 65480*x3*x5*x6 + 65474*x6^3 + 47*x6*x7^2 + 28*x7*x8^2 + 65502*x6*x8*x9 + 18*x7*x9^2 + 65475*x1^2*x10 + 19*x2*x4*x10 + 12*x3*x5*x10 + 65499*x6^2*x10 + 65491*x7^2*x10 + 2*x8*x9*x10 + 34*x6*x10^2 + 20*x10^3 + 41*x1^2 + 48*x2*x4 + 50*x3*x5 + 21*x6^2 + 65494*x7^2 + 65497*x8*x9 + 32*x6*x10 + 65503*x10^2 + 29*x6 + 4*x10 + 45938,
34*x1*x2*x3 + 65507*x3^3 + 31*x3*x4^2 + 65513*x2^2*x5 + 65502*x1*x4*x5 + 29*x5^3 + 65505*x1^2*x6 + 47*x2*x4*x6 + 9*x3*x5*x6 + 65493*x6^3 + 65496*x7*x8^2 + 65514*x6*x8*x9 + 37*x7*x9^2 + 65483*x1^2*x10 + 45*x2*x4*x10 + 36*x3*x5*x10 + 65491*x6^2*x10 + 44*x7^2*x10 + 19*x8*x9*x10 + 65498*x6*x10^2 + 3*x10^3 + 65502*x1^2 + 65481*x2*x4 + 15*x3*x5 + 65475*x6^2 + 16*x7^2 + 65517*x8*x9 + x6*x10 + 65479*x10^2 + 65478*x6 + 48*x10 + 53098,
13*x1*x2*x3 + 11*x3^3 + 39*x3*x4^2 + 65473*x2^2*x5 + 65476*x1*x4*x5 + 65471*x5^3 + 36*x1^2*x6 + 65475*x2*x4*x6 + 11*x3*x5*x6 + 65518*x6^3 + 65489*x6*x7^2 + 21*x7*x8^2 + 39*x6*x8*x9 + 21*x7*x9^2 + 44*x1^2*x10 + 65477*x2*x4*x10 + 28*x3*x5*x10 + 65507*x6^2*x10 + x7^2*x10 + 46*x8*x9*x10 + 23*x6*x10^2 + 65508*x10^3 + 65512*x1^2 + 36*x2*x4 + 18*x3*x5 + 38*x6^2 + 5*x7^2 + 34*x8*x9 + 10*x6*x10 + 31*x10^2 + 49*x6 + 41*x10 + 55143,
65499*x1*x2*x3 + 28*x3^3 + 15*x3*x4^2 + 11*x2^2*x5 + 27*x1*x4*x5 + 65507*x5^3 + 65506*x1^2*x6 + 65503*x2*x4*x6 + 65484*x3*x5*x6 + 19*x6^3 + 65493*x6*x7^2 + 7*x7*x8^2 + 19*x6*x8*x9 + 42*x7*x9^2 + 65472*x1^2*x10 + 24*x2*x4*x10 + 8*x3*x5*x10 + 65512*x6^2*x10 + 65477*x7^2*x10 + 25*x8*x9*x10 + 65510*x6*x10^2 + 30*x10^3 + 65503*x1^2 + 65500*x2*x4 + 65515*x3*x5 + 13*x6^2 + 8*x7^2 + 65486*x8*x9 + 22*x6*x10 + 36*x10^2 + 11*x6 + 65489*x10 + 18636,
31*x1*x2*x3 + 19*x3^3 + 45*x3*x4^2 + 24*x2^2*x5 + x1*x4*x5 + 49*x5^3 + 36*x1^2*x6 + 31*x2*x4*x6 + 65499*x3*x5*x6 + 4*x6^3 + 65478*x6*x7^2 + 65518*x7*x8^2 + 50*x6*x8*x9 + 65478*x7*x9^2 + 14*x1^2*x10 + 14*x2*x4*x10 + 39*x3*x5*x10 + 65510*x6^2*x10 + 45*x7^2*x10 + 65520*x8*x9*x10 + 65504*x6*x10^2 + 40*x10^3 + 19*x1^2 + 65520*x2*x4 + 18*x3*x5 + 6*x6^2 + 65509*x7^2 + 65482*x8*x9 + 28*x6*x10 + 65487*x10^2 + 65486*x6 + 50*x10 + 62376,
2*x1*x2*x3 + 65491*x3^3 + 6*x3*x4^2 + 65514*x2^2*x5 + x1*x4*x5 + 65496*x5^3 + 11*x1^2*x6 + 47*x2*x4*x6 + 65508*x3*x5*x6 + 65505*x6*x7^2 + 28*x7*x8^2 + 8*x6*x8*x9 + 65499*x7*x9^2 + 65516*x1^2*x10 + 65499*x2*x4*x10 + 65503*x3*x5*x10 + 32*x6^2*x10 + 37*x7^2*x10 + 65479*x8*x9*x10 + 30*x6*x10^2 + 25*x10^3 + 65494*x1^2 + 21*x2*x4 + 30*x3*x5 + 65483*x6^2 + x7^2 + 42*x8*x9 + 15*x6*x10 + 65519*x10^2 + 48*x6 + 45*x10 + 42692,
65515*x1*x2*x3 + 46*x3^3 + 65516*x3*x4^2 + 39*x2^2*x5 + 65471*x1*x4*x5 + 65482*x5^3 + 65481*x1^2*x6 + 65503*x2*x4*x6 + 30*x3*x5*x6 + 27*x6^3 + 26*x6*x7^2 + 65471*x7*x8^2 + 65485*x6*x8*x9 + 65509*x7*x9^2 + 65507*x1^2*x10 + 48*x2*x4*x10 + 65480*x3*x5*x10 + 23*x6^2*x10 + 65471*x7^2*x10 + 65484*x8*x9*x10 + 16*x6*x10^2 + 3*x10^3 + 44*x1^2 + 65475*x2*x4 + 44*x3*x5 + x6^2 + 19*x7^2 + 39*x8*x9 + 5*x6*x10 + 65501*x10^2 + 35*x6 + 65496*x10 + 65139,
31*x1*x2*x3 + 26*x3^3 + 65487*x3*x4^2 + 32*x2^2*x5 + 65520*x1*x4*x5 + 65500*x5^3 + 65516*x1^2*x6 + 65513*x2*x4*x6 + x3*x5*x6 + 65520*x6^3 + 20*x6*x7^2 + 10*x7*x8^2 + 65500*x6*x8*x9 + 65483*x7*x9^2 + 65504*x1^2*x10 + 28*x2*x4*x10 + 16*x3*x5*x10 + 65511*x6^2*x10 + 65515*x7^2*x10 + 11*x8*x9*x10 + x6*x10^2 + 65510*x10^3 + 65498*x1^2 + 27*x2*x4 + 29*x3*x5 + 65501*x6^2 + 11*x7^2 + 27*x8*x9 + 65499*x6*x10 + 47*x10^2 + x6 + 19*x10 + 64488
]
: