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

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


#modulo 65521

#list

[
16188*x1^2 + 47913*x2*x4 + 6437*x3*x5 + 7891*x6^2 + 56216*x7^2 + 45408*x6*x8 + 48929*x8^2 + 16776*x6 + 29621*x8 + 48380,
5206*x1^2 + 3129*x2*x4 + 60234*x3*x5 + 42187*x6^2 + 46685*x7^2 + 38513*x6*x8 + 60259*x8^2 + 22144*x6 + 3075*x8 + 20028,
34783*x1^2 + 55656*x2*x4 + 28772*x3*x5 + 35896*x6^2 + 39322*x7^2 + 15001*x6*x8 + 2616*x8^2 + 1307*x6 + 13673*x8 + 41964,
34342*x1^2 + 55741*x2*x4 + 19953*x3*x5 + 6409*x6^2 + 21045*x7^2 + 10167*x6*x8 + 61458*x8^2 + 12098*x6 + 29672*x8 + 8295,
50551*x1^2 + 33940*x2*x4 + 28605*x3*x5 + 9093*x6^2 + 27196*x7^2 + 10796*x6*x8 + 29862*x8^2 + 37244*x6 + 14390*x8 + 25863,
28682*x1^2 + 8659*x2*x4 + 18052*x3*x5 + 17263*x6^2 + 47477*x7^2 + 6647*x6*x8 + 53064*x8^2 + 33014*x6 + 11573*x8 + 19657,
17766*x1^2 + 62407*x2*x4 + 9094*x3*x5 + 19039*x6^2 + 59424*x7^2 + 31657*x6*x8 + 15737*x8^2 + 22842*x6 + 65053*x8 + 30203,
55383*x1^2 + 64776*x2*x4 + 846*x3*x5 + 38560*x6^2 + 26760*x7^2 + 20161*x6*x8 + 19526*x8^2 + 39128*x6 + 40717*x8 + 46868
]
: