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



#modulo 65521

#list

[
12908*x1^2 + 24882*x1*x2 + 12908*x2^2 + 59329*x1*x3 + 24882*x2*x3 + 12908*x3^2 + 31496*x1*x4 + 59329*x2*x4 + 24882*x3*x4 + 12908*x4^2 + 59329*x1*x5 + 31496*x2*x5 + 59329*x3*x5 + 24882*x4*x5 + 12908*x5^2 + 24882*x1*x6 + 59329*x2*x6 + 31496*x3*x6 + 59329*x4*x6 + 24882*x5*x6 + 12908*x6^2 + 45408*x1*x7 + 45408*x2*x7 + 45408*x3*x7 + 45408*x4*x7 + 45408*x5*x7 + 45408*x6*x7 + 39624*x7^2 + 45408*x1*x8 + 45408*x2*x8 + 45408*x3*x8 + 45408*x4*x8 + 45408*x5*x8 + 45408*x6*x8 + 50947*x7*x8 + 39624*x8^2 + 16776*x1 + 16776*x2 + 16776*x3 + 16776*x4 + 16776*x5 + 16776*x6 + 29621*x7 + 29621*x8 + 48380,
45235*x1^2 + 16857*x1*x2 + 45235*x2^2 + 31423*x1*x3 + 16857*x2*x3 + 45235*x3^2 + 57130*x1*x4 + 31423*x2*x4 + 16857*x3*x4 + 45235*x4^2 + 31423*x1*x5 + 57130*x2*x5 + 31423*x3*x5 + 16857*x4*x5 + 45235*x5^2 + 16857*x1*x6 + 31423*x2*x6 + 57130*x3*x6 + 31423*x4*x6 + 16857*x5*x6 + 45235*x6^2 + 38513*x1*x7 + 38513*x2*x7 + 38513*x3*x7 + 38513*x4*x7 + 38513*x5*x7 + 38513*x6*x7 + 41423*x7^2 + 38513*x1*x8 + 38513*x2*x8 + 38513*x3*x8 + 38513*x4*x8 + 38513*x5*x8 + 38513*x6*x8 + 27148*x7*x8 + 41423*x8^2 + 22144*x1 + 22144*x2 + 22144*x3 + 22144*x4 + 22144*x5 + 22144*x6 + 3075*x7 + 3075*x8 + 20028,
24065*x1^2 + 29110*x1*x2 + 24065*x2^2 + 56930*x1*x3 + 29110*x2*x3 + 24065*x3^2 + 13979*x1*x4 + 56930*x2*x4 + 29110*x3*x4 + 24065*x4^2 + 56930*x1*x5 + 13979*x2*x5 + 56930*x3*x5 + 29110*x4*x5 + 24065*x5^2 + 29110*x1*x6 + 56930*x2*x6 + 13979*x3*x6 + 56930*x4*x6 + 29110*x5*x6 + 24065*x6^2 + 15001*x1*x7 + 15001*x2*x7 + 15001*x3*x7 + 15001*x4*x7 + 15001*x5*x7 + 15001*x6*x7 + 41938*x7^2 + 15001*x1*x8 + 15001*x2*x8 + 15001*x3*x8 + 15001*x4*x8 + 15001*x5*x8 + 15001*x6*x8 + 57630*x7*x8 + 41938*x8^2 + 1307*x1 + 1307*x2 + 1307*x3 + 1307*x4 + 1307*x5 + 1307*x6 + 13673*x7 + 13673*x8 + 41964,
50924*x1^2 + 45443*x1*x2 + 50924*x2^2 + 5808*x1*x3 + 45443*x2*x3 + 50924*x3^2 + 3600*x1*x4 + 5808*x2*x4 + 45443*x3*x4 + 50924*x4^2 + 5808*x1*x5 + 3600*x2*x5 + 5808*x3*x5 + 45443*x4*x5 + 50924*x5^2 + 45443*x1*x6 + 5808*x2*x6 + 3600*x3*x6 + 5808*x4*x6 + 45443*x5*x6 + 50924*x6^2 + 10167*x1*x7 + 10167*x2*x7 + 10167*x3*x7 + 10167*x4*x7 + 10167*x5*x7 + 10167*x6*x7 + 16982*x7^2 + 10167*x1*x8 + 10167*x2*x8 + 10167*x3*x8 + 10167*x4*x8 + 10167*x5*x8 + 10167*x6*x8 + 15305*x7*x8 + 16982*x8^2 + 12098*x1 + 12098*x2 + 12098*x3 + 12098*x4 + 12098*x5 + 12098*x6 + 29672*x7 + 29672*x8 + 8295,
56668*x1^2 + 53461*x1*x2 + 56668*x2^2 + 56743*x1*x3 + 53461*x2*x3 + 56668*x3^2 + 37456*x1*x4 + 56743*x2*x4 + 53461*x3*x4 + 56668*x4^2 + 56743*x1*x5 + 37456*x2*x5 + 56743*x3*x5 + 53461*x4*x5 + 56668*x5^2 + 53461*x1*x6 + 56743*x2*x6 + 37456*x3*x6 + 56743*x4*x6 + 53461*x5*x6 + 56668*x6^2 + 10796*x1*x7 + 10796*x2*x7 + 10796*x3*x7 + 10796*x4*x7 + 10796*x5*x7 + 10796*x6*x7 + 57058*x7^2 + 10796*x1*x8 + 10796*x2*x8 + 10796*x3*x8 + 10796*x4*x8 + 10796*x5*x8 + 10796*x6*x8 + 5332*x7*x8 + 57058*x8^2 + 37244*x1 + 37244*x2 + 37244*x3 + 37244*x4 + 37244*x5 + 37244*x6 + 14390*x7 + 14390*x8 + 25863,
7135*x1^2 + 33290*x1*x2 + 7135*x2^2 + 65179*x1*x3 + 33290*x2*x3 + 7135*x3^2 + 61469*x1*x4 + 65179*x2*x4 + 33290*x3*x4 + 7135*x4^2 + 65179*x1*x5 + 61469*x2*x5 + 65179*x3*x5 + 33290*x4*x5 + 7135*x5^2 + 33290*x1*x6 + 65179*x2*x6 + 61469*x3*x6 + 65179*x4*x6 + 33290*x5*x6 + 7135*x6^2 + 6647*x1*x7 + 6647*x2*x7 + 6647*x3*x7 + 6647*x4*x7 + 6647*x5*x7 + 6647*x6*x7 + 35020*x7^2 + 6647*x1*x8 + 6647*x2*x8 + 6647*x3*x8 + 6647*x4*x8 + 6647*x5*x8 + 6647*x6*x8 + 11174*x7*x8 + 35020*x8^2 + 33014*x1 + 33014*x2 + 33014*x3 + 33014*x4 + 33014*x5 + 33014*x6 + 11573*x7 + 11573*x8 + 19657,
42785*x1^2 + 55859*x1*x2 + 42785*x2^2 + 2109*x1*x3 + 55859*x2*x3 + 42785*x3^2 + 26962*x1*x4 + 2109*x2*x4 + 55859*x3*x4 + 42785*x4^2 + 2109*x1*x5 + 26962*x2*x5 + 2109*x3*x5 + 55859*x4*x5 + 42785*x5^2 + 55859*x1*x6 + 2109*x2*x6 + 26962*x3*x6 + 2109*x4*x6 + 55859*x5*x6 + 42785*x6^2 + 31657*x1*x7 + 31657*x2*x7 + 31657*x3*x7 + 31657*x4*x7 + 31657*x5*x7 + 31657*x6*x7 + 9640*x7^2 + 31657*x1*x8 + 31657*x2*x8 + 31657*x3*x8 + 31657*x4*x8 + 31657*x5*x8 + 31657*x6*x8 + 43668*x7*x8 + 9640*x8^2 + 22842*x1 + 22842*x2 + 22842*x3 + 22842*x4 + 22842*x5 + 22842*x6 + 65053*x7 + 65053*x8 + 30203,
28523*x1^2 + 30284*x1*x2 + 28523*x2^2 + 56743*x1*x3 + 30284*x2*x3 + 28523*x3^2 + 35057*x1*x4 + 56743*x2*x4 + 30284*x3*x4 + 28523*x4^2 + 56743*x1*x5 + 35057*x2*x5 + 56743*x3*x5 + 30284*x4*x5 + 28523*x5^2 + 30284*x1*x6 + 56743*x2*x6 + 35057*x3*x6 + 56743*x4*x6 + 30284*x5*x6 + 28523*x6^2 + 20161*x1*x7 + 20161*x2*x7 + 20161*x3*x7 + 20161*x4*x7 + 20161*x5*x7 + 20161*x6*x7 + 46286*x7^2 + 20161*x1*x8 + 20161*x2*x8 + 20161*x3*x8 + 20161*x4*x8 + 20161*x5*x8 + 20161*x6*x8 + 51053*x7*x8 + 46286*x8^2 + 39128*x1 + 39128*x2 + 39128*x3 + 39128*x4 + 39128*x5 + 39128*x6 + 40717*x7 + 40717*x8 + 46868
]
: