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



#modulo 65521

#list

[
47480*x1^2 + 29509*x1*x2 + 47480*x2^2 + 33149*x1*x3 + 29509*x2*x3 + 47480*x3^2 + 5188*x1*x4 + 33149*x2*x4 + 29509*x3*x4 + 47480*x4^2 + 34385*x1*x5 + 5188*x2*x5 + 33149*x3*x5 + 29509*x4*x5 + 47480*x5^2 + 5188*x1*x6 + 34385*x2*x6 + 5188*x3*x6 + 33149*x4*x6 + 29509*x5*x6 + 47480*x6^2 + 33149*x1*x7 + 5188*x2*x7 + 34385*x3*x7 + 5188*x4*x7 + 33149*x5*x7 + 29509*x6*x7 + 47480*x7^2 + 29509*x1*x8 + 33149*x2*x8 + 5188*x3*x8 + 34385*x4*x8 + 5188*x5*x8 + 33149*x6*x8 + 29509*x7*x8 + 47480*x8^2 + 10541*x1 + 10541*x2 + 10541*x3 + 10541*x4 + 10541*x5 + 10541*x6 + 10541*x7 + 10541*x8 + 57382,
43243*x1^2 + 13047*x1*x2 + 43243*x2^2 + 58030*x1*x3 + 13047*x2*x3 + 43243*x3^2 + 40523*x1*x4 + 58030*x2*x4 + 13047*x3*x4 + 43243*x4^2 + 44915*x1*x5 + 40523*x2*x5 + 58030*x3*x5 + 13047*x4*x5 + 43243*x5^2 + 40523*x1*x6 + 44915*x2*x6 + 40523*x3*x6 + 58030*x4*x6 + 13047*x5*x6 + 43243*x6^2 + 58030*x1*x7 + 40523*x2*x7 + 44915*x3*x7 + 40523*x4*x7 + 58030*x5*x7 + 13047*x6*x7 + 43243*x7^2 + 13047*x1*x8 + 58030*x2*x8 + 40523*x3*x8 + 44915*x4*x8 + 40523*x5*x8 + 58030*x6*x8 + 13047*x7*x8 + 43243*x8^2 + 34556*x1 + 34556*x2 + 34556*x3 + 34556*x4 + 34556*x5 + 34556*x6 + 34556*x7 + 34556*x8 + 52019,
59947*x1^2 + 39797*x1*x2 + 59947*x2^2 + 31073*x1*x3 + 39797*x2*x3 + 59947*x3^2 + 40809*x1*x4 + 31073*x2*x4 + 39797*x3*x4 + 59947*x4^2 + 31596*x1*x5 + 40809*x2*x5 + 31073*x3*x5 + 39797*x4*x5 + 59947*x5^2 + 40809*x1*x6 + 31596*x2*x6 + 40809*x3*x6 + 31073*x4*x6 + 39797*x5*x6 + 59947*x6^2 + 31073*x1*x7 + 40809*x2*x7 + 31596*x3*x7 + 40809*x4*x7 + 31073*x5*x7 + 39797*x6*x7 + 59947*x7^2 + 39797*x1*x8 + 31073*x2*x8 + 40809*x3*x8 + 31596*x4*x8 + 40809*x5*x8 + 31073*x6*x8 + 39797*x7*x8 + 59947*x8^2 + 25607*x1 + 25607*x2 + 25607*x3 + 25607*x4 + 25607*x5 + 25607*x6 + 25607*x7 + 25607*x8 + 42910,
33585*x1^2 + 22653*x1*x2 + 33585*x2^2 + 33397*x1*x3 + 22653*x2*x3 + 33585*x3^2 + 59099*x1*x4 + 33397*x2*x4 + 22653*x3*x4 + 33585*x4^2 + 8415*x1*x5 + 59099*x2*x5 + 33397*x3*x5 + 22653*x4*x5 + 33585*x5^2 + 59099*x1*x6 + 8415*x2*x6 + 59099*x3*x6 + 33397*x4*x6 + 22653*x5*x6 + 33585*x6^2 + 33397*x1*x7 + 59099*x2*x7 + 8415*x3*x7 + 59099*x4*x7 + 33397*x5*x7 + 22653*x6*x7 + 33585*x7^2 + 22653*x1*x8 + 33397*x2*x8 + 59099*x3*x8 + 8415*x4*x8 + 59099*x5*x8 + 33397*x6*x8 + 22653*x7*x8 + 33585*x8^2 + 11768*x1 + 11768*x2 + 11768*x3 + 11768*x4 + 11768*x5 + 11768*x6 + 11768*x7 + 11768*x8 + 9418,
63412*x1^2 + 59957*x1*x2 + 63412*x2^2 + 31012*x1*x3 + 59957*x2*x3 + 63412*x3^2 + 14771*x1*x4 + 31012*x2*x4 + 59957*x3*x4 + 63412*x4^2 + 25356*x1*x5 + 14771*x2*x5 + 31012*x3*x5 + 59957*x4*x5 + 63412*x5^2 + 14771*x1*x6 + 25356*x2*x6 + 14771*x3*x6 + 31012*x4*x6 + 59957*x5*x6 + 63412*x6^2 + 31012*x1*x7 + 14771*x2*x7 + 25356*x3*x7 + 14771*x4*x7 + 31012*x5*x7 + 59957*x6*x7 + 63412*x7^2 + 59957*x1*x8 + 31012*x2*x8 + 14771*x3*x8 + 25356*x4*x8 + 14771*x5*x8 + 31012*x6*x8 + 59957*x7*x8 + 63412*x8^2 + 24890*x1 + 24890*x2 + 24890*x3 + 24890*x4 + 24890*x5 + 24890*x6 + 24890*x7 + 24890*x8 + 20252,
36441*x1^2 + 46589*x1*x2 + 36441*x2^2 + 30125*x1*x3 + 46589*x2*x3 + 36441*x3^2 + 49135*x1*x4 + 30125*x2*x4 + 46589*x3*x4 + 36441*x4^2 + 34707*x1*x5 + 49135*x2*x5 + 30125*x3*x5 + 46589*x4*x5 + 36441*x5^2 + 49135*x1*x6 + 34707*x2*x6 + 49135*x3*x6 + 30125*x4*x6 + 46589*x5*x6 + 36441*x6^2 + 30125*x1*x7 + 49135*x2*x7 + 34707*x3*x7 + 49135*x4*x7 + 30125*x5*x7 + 46589*x6*x7 + 36441*x7^2 + 46589*x1*x8 + 30125*x2*x8 + 49135*x3*x8 + 34707*x4*x8 + 49135*x5*x8 + 30125*x6*x8 + 46589*x7*x8 + 36441*x8^2 + 56592*x1 + 56592*x2 + 56592*x3 + 56592*x4 + 56592*x5 + 56592*x6 + 56592*x7 + 56592*x8 + 20293,
28392*x1^2 + 40297*x1*x2 + 28392*x2^2 + 47947*x1*x3 + 40297*x2*x3 + 28392*x3^2 + 22828*x1*x4 + 47947*x2*x4 + 40297*x3*x4 + 28392*x4^2 + 2547*x1*x5 + 22828*x2*x5 + 47947*x3*x5 + 40297*x4*x5 + 28392*x5^2 + 22828*x1*x6 + 2547*x2*x6 + 22828*x3*x6 + 47947*x4*x6 + 40297*x5*x6 + 28392*x6^2 + 47947*x1*x7 + 22828*x2*x7 + 2547*x3*x7 + 22828*x4*x7 + 47947*x5*x7 + 40297*x6*x7 + 28392*x7^2 + 40297*x1*x8 + 47947*x2*x8 + 22828*x3*x8 + 2547*x4*x8 + 22828*x5*x8 + 47947*x6*x8 + 40297*x7*x8 + 28392*x8^2 + 29023*x1 + 29023*x2 + 29023*x3 + 29023*x4 + 29023*x5 + 29023*x6 + 29023*x7 + 29023*x8 + 61207,
5924*x1^2 + 62296*x1*x2 + 5924*x2^2 + 15028*x1*x3 + 62296*x2*x3 + 5924*x3^2 + 47865*x1*x4 + 15028*x2*x4 + 62296*x3*x4 + 5924*x4^2 + 34587*x1*x5 + 47865*x2*x5 + 15028*x3*x5 + 62296*x4*x5 + 5924*x5^2 + 47865*x1*x6 + 34587*x2*x6 + 47865*x3*x6 + 15028*x4*x6 + 62296*x5*x6 + 5924*x6^2 + 15028*x1*x7 + 47865*x2*x7 + 34587*x3*x7 + 47865*x4*x7 + 15028*x5*x7 + 62296*x6*x7 + 5924*x7^2 + 62296*x1*x8 + 15028*x2*x8 + 47865*x3*x8 + 34587*x4*x8 + 47865*x5*x8 + 15028*x6*x8 + 62296*x7*x8 + 5924*x8^2 + 56411*x1 + 56411*x2 + 56411*x3 + 56411*x4 + 56411*x5 + 56411*x6 + 56411*x7 + 56411*x8 + 12026
]
: