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

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


#modulo 65521

#list

[
36556*x1^2 + 16071*x4*x5 + 51571*x2*x6 + 45474*x3*x7 + 28850*x8^2 + 10541*x8 + 57382,
4675*x1^2 + 26488*x4*x5 + 47757*x2*x6 + 44537*x3*x7 + 50828*x8^2 + 34556*x8 + 52019,
36037*x1^2 + 11168*x4*x5 + 14385*x2*x6 + 40450*x3*x7 + 23428*x8^2 + 25607*x8 + 42910,
19155*x1^2 + 9289*x4*x5 + 4378*x2*x6 + 26691*x3*x7 + 39593*x8^2 + 11768*x8 + 9418,
20427*x1^2 + 44030*x4*x5 + 26199*x2*x6 + 64689*x3*x7 + 39109*x8^2 + 24890*x8 + 20252,
35380*x1^2 + 46868*x4*x5 + 61558*x2*x6 + 29887*x3*x7 + 59311*x8^2 + 56592*x8 + 20293,
5906*x1^2 + 20000*x4*x5 + 19190*x2*x6 + 43510*x3*x7 + 5307*x8^2 + 29023*x8 + 61207,
19676*x1^2 + 42998*x4*x5 + 35901*x2*x6 + 7555*x3*x7 + 30836*x8^2 + 56411*x8 + 12026
]
: