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



#modulo 65521

#list

[
23476*x1^2 + 14715*x1*x2 + 23476*x2^2 + 50124*x1*x3 + 14715*x2*x3 + 23476*x3^2 + 14715*x1*x4 + 50124*x2*x4 + 14715*x3*x4 + 23476*x4^2 + 3250*x1*x5 + 3250*x2*x5 + 3250*x3*x5 + 3250*x4*x5 + 63946*x5^2 + 3250*x1*x6 + 3250*x2*x6 + 3250*x3*x6 + 3250*x4*x6 + 64414*x5*x6 + 63946*x6^2 + 3250*x1*x7 + 3250*x2*x7 + 3250*x3*x7 + 3250*x4*x7 + 65369*x5*x7 + 64414*x6*x7 + 63946*x7^2 + 3250*x1*x8 + 3250*x2*x8 + 3250*x3*x8 + 3250*x4*x8 + 64414*x5*x8 + 65369*x6*x8 + 64414*x7*x8 + 63946*x8^2 + 25135*x1 + 25135*x2 + 25135*x3 + 25135*x4 + 50952*x5 + 50952*x6 + 50952*x7 + 50952*x8 + 44161,
49110*x1^2 + 44186*x1*x2 + 49110*x2^2 + 32144*x1*x3 + 44186*x2*x3 + 49110*x3^2 + 44186*x1*x4 + 32144*x2*x4 + 44186*x3*x4 + 49110*x4^2 + 2181*x1*x5 + 2181*x2*x5 + 2181*x3*x5 + 2181*x4*x5 + 60239*x5^2 + 2181*x1*x6 + 2181*x2*x6 + 2181*x3*x6 + 2181*x4*x6 + 16370*x5*x6 + 60239*x6^2 + 2181*x1*x7 + 2181*x2*x7 + 2181*x3*x7 + 2181*x4*x7 + 9899*x5*x7 + 16370*x6*x7 + 60239*x7^2 + 2181*x1*x8 + 2181*x2*x8 + 2181*x3*x8 + 2181*x4*x8 + 16370*x5*x8 + 9899*x6*x8 + 16370*x7*x8 + 60239*x8^2 + 10103*x1 + 10103*x2 + 10103*x3 + 10103*x4 + 29709*x5 + 29709*x6 + 29709*x7 + 29709*x8 + 19872,
2486*x1^2 + 10248*x1*x2 + 2486*x2^2 + 38090*x1*x3 + 10248*x2*x3 + 2486*x3^2 + 10248*x1*x4 + 38090*x2*x4 + 10248*x3*x4 + 2486*x4^2 + 62189*x1*x5 + 62189*x2*x5 + 62189*x3*x5 + 62189*x4*x5 + 25668*x5^2 + 62189*x1*x6 + 62189*x2*x6 + 62189*x3*x6 + 62189*x4*x6 + 4404*x5*x6 + 25668*x6^2 + 62189*x1*x7 + 62189*x2*x7 + 62189*x3*x7 + 62189*x4*x7 + 57891*x5*x7 + 4404*x6*x7 + 25668*x7^2 + 62189*x1*x8 + 62189*x2*x8 + 62189*x3*x8 + 62189*x4*x8 + 4404*x5*x8 + 57891*x6*x8 + 4404*x7*x8 + 25668*x8^2 + 28022*x1 + 28022*x2 + 28022*x3 + 28022*x4 + 63038*x5 + 63038*x6 + 63038*x7 + 63038*x8 + 48379,
55159*x1^2 + 24927*x1*x2 + 55159*x2^2 + 3744*x1*x3 + 24927*x2*x3 + 55159*x3^2 + 24927*x1*x4 + 3744*x2*x4 + 24927*x3*x4 + 55159*x4^2 + 53739*x1*x5 + 53739*x2*x5 + 53739*x3*x5 + 53739*x4*x5 + 44289*x5^2 + 53739*x1*x6 + 53739*x2*x6 + 53739*x3*x6 + 53739*x4*x6 + 3420*x5*x6 + 44289*x6^2 + 53739*x1*x7 + 53739*x2*x7 + 53739*x3*x7 + 53739*x4*x7 + 45104*x5*x7 + 3420*x6*x7 + 44289*x7^2 + 53739*x1*x8 + 53739*x2*x8 + 53739*x3*x8 + 53739*x4*x8 + 3420*x5*x8 + 45104*x6*x8 + 3420*x7*x8 + 44289*x8^2 + 63145*x1 + 63145*x2 + 63145*x3 + 63145*x4 + 56087*x5 + 56087*x6 + 56087*x7 + 56087*x8 + 6681,
43228*x1^2 + 21944*x1*x2 + 43228*x2^2 + 51728*x1*x3 + 21944*x2*x3 + 43228*x3^2 + 21944*x1*x4 + 51728*x2*x4 + 21944*x3*x4 + 43228*x4^2 + 30646*x1*x5 + 30646*x2*x5 + 30646*x3*x5 + 30646*x4*x5 + 40094*x5^2 + 30646*x1*x6 + 30646*x2*x6 + 30646*x3*x6 + 30646*x4*x6 + 46610*x5*x6 + 40094*x6^2 + 30646*x1*x7 + 30646*x2*x7 + 30646*x3*x7 + 30646*x4*x7 + 57385*x5*x7 + 46610*x6*x7 + 40094*x7^2 + 30646*x1*x8 + 30646*x2*x8 + 30646*x3*x8 + 30646*x4*x8 + 46610*x5*x8 + 57385*x6*x8 + 46610*x7*x8 + 40094*x8^2 + 53245*x1 + 53245*x2 + 53245*x3 + 53245*x4 + 13928*x5 + 13928*x6 + 13928*x7 + 13928*x8 + 55454,
65262*x1^2 + 6014*x1*x2 + 65262*x2^2 + 21339*x1*x3 + 6014*x2*x3 + 65262*x3^2 + 6014*x1*x4 + 21339*x2*x4 + 6014*x3*x4 + 65262*x4^2 + 55081*x1*x5 + 55081*x2*x5 + 55081*x3*x5 + 55081*x4*x5 + 20275*x5^2 + 55081*x1*x6 + 55081*x2*x6 + 55081*x3*x6 + 55081*x4*x6 + 38604*x5*x6 + 20275*x6^2 + 55081*x1*x7 + 55081*x2*x7 + 55081*x3*x7 + 55081*x4*x7 + 1791*x5*x7 + 38604*x6*x7 + 20275*x7^2 + 55081*x1*x8 + 55081*x2*x8 + 55081*x3*x8 + 55081*x4*x8 + 38604*x5*x8 + 1791*x6*x8 + 38604*x7*x8 + 20275*x8^2 + 34133*x1 + 34133*x2 + 34133*x3 + 34133*x4 + 57403*x5 + 57403*x6 + 57403*x7 + 57403*x8 + 37546,
44187*x1^2 + 43904*x1*x2 + 44187*x2^2 + 22080*x1*x3 + 43904*x2*x3 + 44187*x3^2 + 43904*x1*x4 + 22080*x2*x4 + 43904*x3*x4 + 44187*x4^2 + 12927*x1*x5 + 12927*x2*x5 + 12927*x3*x5 + 12927*x4*x5 + 9924*x5^2 + 12927*x1*x6 + 12927*x2*x6 + 12927*x3*x6 + 12927*x4*x6 + 64529*x5*x6 + 9924*x6^2 + 12927*x1*x7 + 12927*x2*x7 + 12927*x3*x7 + 12927*x4*x7 + 55702*x5*x7 + 64529*x6*x7 + 9924*x7^2 + 12927*x1*x8 + 12927*x2*x8 + 12927*x3*x8 + 12927*x4*x8 + 64529*x5*x8 + 55702*x6*x8 + 64529*x7*x8 + 9924*x8^2 + 45703*x1 + 45703*x2 + 45703*x3 + 45703*x4 + 22994*x5 + 22994*x6 + 22994*x7 + 22994*x8 + 65108,
6275*x1^2 + 56393*x1*x2 + 6275*x2^2 + 54764*x1*x3 + 56393*x2*x3 + 6275*x3^2 + 56393*x1*x4 + 54764*x2*x4 + 56393*x3*x4 + 6275*x4^2 + 53580*x1*x5 + 53580*x2*x5 + 53580*x3*x5 + 53580*x4*x5 + 42217*x5^2 + 53580*x1*x6 + 53580*x2*x6 + 53580*x3*x6 + 53580*x4*x6 + 23516*x5*x6 + 42217*x6^2 + 53580*x1*x7 + 53580*x2*x7 + 53580*x3*x7 + 53580*x4*x7 + 4442*x5*x7 + 23516*x6*x7 + 42217*x7^2 + 53580*x1*x8 + 53580*x2*x8 + 53580*x3*x8 + 53580*x4*x8 + 23516*x5*x8 + 4442*x6*x8 + 23516*x7*x8 + 42217*x8^2 + 25434*x1 + 25434*x2 + 25434*x3 + 25434*x4 + 46919*x5 + 46919*x6 + 46919*x7 + 46919*x8 + 58727
]
: