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

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


#modulo 65521

#list

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