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



#modulo 65521

#list

[
63204*x1^2 + 14230*x1*x2 + 63204*x2^2 + 65038*x1*x3 + 14230*x2*x3 + 63204*x3^2 + 36622*x1*x4 + 65038*x2*x4 + 14230*x3*x4 + 63204*x4^2 + 38831*x1*x5 + 36622*x2*x5 + 65038*x3*x5 + 14230*x4*x5 + 63204*x5^2 + 36622*x1*x6 + 38831*x2*x6 + 36622*x3*x6 + 65038*x4*x6 + 14230*x5*x6 + 63204*x6^2 + 65038*x1*x7 + 36622*x2*x7 + 38831*x3*x7 + 36622*x4*x7 + 65038*x5*x7 + 14230*x6*x7 + 63204*x7^2 + 14230*x1*x8 + 65038*x2*x8 + 36622*x3*x8 + 38831*x4*x8 + 36622*x5*x8 + 65038*x6*x8 + 14230*x7*x8 + 63204*x8^2 + 41922*x1*x9 + 41922*x2*x9 + 41922*x3*x9 + 41922*x4*x9 + 41922*x5*x9 + 41922*x6*x9 + 41922*x7*x9 + 41922*x8*x9 + 38207*x9^2 + 41922*x1*x10 + 41922*x2*x10 + 41922*x3*x10 + 41922*x4*x10 + 41922*x5*x10 + 41922*x6*x10 + 41922*x7*x10 + 41922*x8*x10 + 4449*x9*x10 + 38207*x10^2 + 32687*x1 + 32687*x2 + 32687*x3 + 32687*x4 + 32687*x5 + 32687*x6 + 32687*x7 + 32687*x8 + 21160*x9 + 21160*x10 + 16218,
10685*x1^2 + 57295*x1*x2 + 10685*x2^2 + 54920*x1*x3 + 57295*x2*x3 + 10685*x3^2 + 29162*x1*x4 + 54920*x2*x4 + 57295*x3*x4 + 10685*x4^2 + 3342*x1*x5 + 29162*x2*x5 + 54920*x3*x5 + 57295*x4*x5 + 10685*x5^2 + 29162*x1*x6 + 3342*x2*x6 + 29162*x3*x6 + 54920*x4*x6 + 57295*x5*x6 + 10685*x6^2 + 54920*x1*x7 + 29162*x2*x7 + 3342*x3*x7 + 29162*x4*x7 + 54920*x5*x7 + 57295*x6*x7 + 10685*x7^2 + 57295*x1*x8 + 54920*x2*x8 + 29162*x3*x8 + 3342*x4*x8 + 29162*x5*x8 + 54920*x6*x8 + 57295*x7*x8 + 10685*x8^2 + 7426*x1*x9 + 7426*x2*x9 + 7426*x3*x9 + 7426*x4*x9 + 7426*x5*x9 + 7426*x6*x9 + 7426*x7*x9 + 7426*x8*x9 + 19256*x9^2 + 7426*x1*x10 + 7426*x2*x10 + 7426*x3*x10 + 7426*x4*x10 + 7426*x5*x10 + 7426*x6*x10 + 7426*x7*x10 + 7426*x8*x10 + 50215*x9*x10 + 19256*x10^2 + 53560*x1 + 53560*x2 + 53560*x3 + 53560*x4 + 53560*x5 + 53560*x6 + 53560*x7 + 53560*x8 + 59845*x9 + 59845*x10 + 49066,
51908*x1^2 + 61095*x1*x2 + 51908*x2^2 + 50768*x1*x3 + 61095*x2*x3 + 51908*x3^2 + 53685*x1*x4 + 50768*x2*x4 + 61095*x3*x4 + 51908*x4^2 + 24879*x1*x5 + 53685*x2*x5 + 50768*x3*x5 + 61095*x4*x5 + 51908*x5^2 + 53685*x1*x6 + 24879*x2*x6 + 53685*x3*x6 + 50768*x4*x6 + 61095*x5*x6 + 51908*x6^2 + 50768*x1*x7 + 53685*x2*x7 + 24879*x3*x7 + 53685*x4*x7 + 50768*x5*x7 + 61095*x6*x7 + 51908*x7^2 + 61095*x1*x8 + 50768*x2*x8 + 53685*x3*x8 + 24879*x4*x8 + 53685*x5*x8 + 50768*x6*x8 + 61095*x7*x8 + 51908*x8^2 + 51419*x1*x9 + 51419*x2*x9 + 51419*x3*x9 + 51419*x4*x9 + 51419*x5*x9 + 51419*x6*x9 + 51419*x7*x9 + 51419*x8*x9 + 8289*x9^2 + 51419*x1*x10 + 51419*x2*x10 + 51419*x3*x10 + 51419*x4*x10 + 51419*x5*x10 + 51419*x6*x10 + 51419*x7*x10 + 51419*x8*x10 + 62423*x9*x10 + 8289*x10^2 + 47217*x1 + 47217*x2 + 47217*x3 + 47217*x4 + 47217*x5 + 47217*x6 + 47217*x7 + 47217*x8 + 38290*x9 + 38290*x10 + 19732,
26607*x1^2 + 11569*x1*x2 + 26607*x2^2 + 52384*x1*x3 + 11569*x2*x3 + 26607*x3^2 + 53126*x1*x4 + 52384*x2*x4 + 11569*x3*x4 + 26607*x4^2 + 24129*x1*x5 + 53126*x2*x5 + 52384*x3*x5 + 11569*x4*x5 + 26607*x5^2 + 53126*x1*x6 + 24129*x2*x6 + 53126*x3*x6 + 52384*x4*x6 + 11569*x5*x6 + 26607*x6^2 + 52384*x1*x7 + 53126*x2*x7 + 24129*x3*x7 + 53126*x4*x7 + 52384*x5*x7 + 11569*x6*x7 + 26607*x7^2 + 11569*x1*x8 + 52384*x2*x8 + 53126*x3*x8 + 24129*x4*x8 + 53126*x5*x8 + 52384*x6*x8 + 11569*x7*x8 + 26607*x8^2 + 45052*x1*x9 + 45052*x2*x9 + 45052*x3*x9 + 45052*x4*x9 + 45052*x5*x9 + 45052*x6*x9 + 45052*x7*x9 + 45052*x8*x9 + 53525*x9^2 + 45052*x1*x10 + 45052*x2*x10 + 45052*x3*x10 + 45052*x4*x10 + 45052*x5*x10 + 45052*x6*x10 + 45052*x7*x10 + 45052*x8*x10 + 21318*x9*x10 + 53525*x10^2 + 18837*x1 + 18837*x2 + 18837*x3 + 18837*x4 + 18837*x5 + 18837*x6 + 18837*x7 + 18837*x8 + 55926*x9 + 55926*x10 + 1594,
3134*x1^2 + 8514*x1*x2 + 3134*x2^2 + 51033*x1*x3 + 8514*x2*x3 + 3134*x3^2 + 14059*x1*x4 + 51033*x2*x4 + 8514*x3*x4 + 3134*x4^2 + 35451*x1*x5 + 14059*x2*x5 + 51033*x3*x5 + 8514*x4*x5 + 3134*x5^2 + 14059*x1*x6 + 35451*x2*x6 + 14059*x3*x6 + 51033*x4*x6 + 8514*x5*x6 + 3134*x6^2 + 51033*x1*x7 + 14059*x2*x7 + 35451*x3*x7 + 14059*x4*x7 + 51033*x5*x7 + 8514*x6*x7 + 3134*x7^2 + 8514*x1*x8 + 51033*x2*x8 + 14059*x3*x8 + 35451*x4*x8 + 14059*x5*x8 + 51033*x6*x8 + 8514*x7*x8 + 3134*x8^2 + 19840*x1*x9 + 19840*x2*x9 + 19840*x3*x9 + 19840*x4*x9 + 19840*x5*x9 + 19840*x6*x9 + 19840*x7*x9 + 19840*x8*x9 + 52663*x9^2 + 19840*x1*x10 + 19840*x2*x10 + 19840*x3*x10 + 19840*x4*x10 + 19840*x5*x10 + 19840*x6*x10 + 19840*x7*x10 + 19840*x8*x10 + 28352*x9*x10 + 52663*x10^2 + 60276*x1 + 60276*x2 + 60276*x3 + 60276*x4 + 60276*x5 + 60276*x6 + 60276*x7 + 60276*x8 + 17374*x9 + 17374*x10 + 1664,
40881*x1^2 + 20734*x1*x2 + 40881*x2^2 + 10520*x1*x3 + 20734*x2*x3 + 40881*x3^2 + 5448*x1*x4 + 10520*x2*x4 + 20734*x3*x4 + 40881*x4^2 + 14131*x1*x5 + 5448*x2*x5 + 10520*x3*x5 + 20734*x4*x5 + 40881*x5^2 + 5448*x1*x6 + 14131*x2*x6 + 5448*x3*x6 + 10520*x4*x6 + 20734*x5*x6 + 40881*x6^2 + 10520*x1*x7 + 5448*x2*x7 + 14131*x3*x7 + 5448*x4*x7 + 10520*x5*x7 + 20734*x6*x7 + 40881*x7^2 + 20734*x1*x8 + 10520*x2*x8 + 5448*x3*x8 + 14131*x4*x8 + 5448*x5*x8 + 10520*x6*x8 + 20734*x7*x8 + 40881*x8^2 + 62950*x1*x9 + 62950*x2*x9 + 62950*x3*x9 + 62950*x4*x9 + 62950*x5*x9 + 62950*x6*x9 + 62950*x7*x9 + 62950*x8*x9 + 60622*x9^2 + 62950*x1*x10 + 62950*x2*x10 + 62950*x3*x10 + 62950*x4*x10 + 62950*x5*x10 + 62950*x6*x10 + 62950*x7*x10 + 62950*x8*x10 + 36367*x9*x10 + 60622*x10^2 + 30079*x1 + 30079*x2 + 30079*x3 + 30079*x4 + 30079*x5 + 30079*x6 + 30079*x7 + 30079*x8 + 6774*x9 + 6774*x10 + 60250,
16564*x1^2 + 11396*x1*x2 + 16564*x2^2 + 41814*x1*x3 + 11396*x2*x3 + 16564*x3^2 + 34215*x1*x4 + 41814*x2*x4 + 11396*x3*x4 + 16564*x4^2 + 26049*x1*x5 + 34215*x2*x5 + 41814*x3*x5 + 11396*x4*x5 + 16564*x5^2 + 34215*x1*x6 + 26049*x2*x6 + 34215*x3*x6 + 41814*x4*x6 + 11396*x5*x6 + 16564*x6^2 + 41814*x1*x7 + 34215*x2*x7 + 26049*x3*x7 + 34215*x4*x7 + 41814*x5*x7 + 11396*x6*x7 + 16564*x7^2 + 11396*x1*x8 + 41814*x2*x8 + 34215*x3*x8 + 26049*x4*x8 + 34215*x5*x8 + 41814*x6*x8 + 11396*x7*x8 + 16564*x8^2 + 47237*x1*x9 + 47237*x2*x9 + 47237*x3*x9 + 47237*x4*x9 + 47237*x5*x9 + 47237*x6*x9 + 47237*x7*x9 + 47237*x8*x9 + 46269*x9^2 + 47237*x1*x10 + 47237*x2*x10 + 47237*x3*x10 + 47237*x4*x10 + 47237*x5*x10 + 47237*x6*x10 + 47237*x7*x10 + 47237*x8*x10 + 48166*x9*x10 + 46269*x10^2 + 33194*x1 + 33194*x2 + 33194*x3 + 33194*x4 + 33194*x5 + 33194*x6 + 33194*x7 + 33194*x8 + 54961*x9 + 54961*x10 + 62121,
22436*x1^2 + 31413*x1*x2 + 22436*x2^2 + 17063*x1*x3 + 31413*x2*x3 + 22436*x3^2 + 57236*x1*x4 + 17063*x2*x4 + 31413*x3*x4 + 22436*x4^2 + 23679*x1*x5 + 57236*x2*x5 + 17063*x3*x5 + 31413*x4*x5 + 22436*x5^2 + 57236*x1*x6 + 23679*x2*x6 + 57236*x3*x6 + 17063*x4*x6 + 31413*x5*x6 + 22436*x6^2 + 17063*x1*x7 + 57236*x2*x7 + 23679*x3*x7 + 57236*x4*x7 + 17063*x5*x7 + 31413*x6*x7 + 22436*x7^2 + 31413*x1*x8 + 17063*x2*x8 + 57236*x3*x8 + 23679*x4*x8 + 57236*x5*x8 + 17063*x6*x8 + 31413*x7*x8 + 22436*x8^2 + 27495*x1*x9 + 27495*x2*x9 + 27495*x3*x9 + 27495*x4*x9 + 27495*x5*x9 + 27495*x6*x9 + 27495*x7*x9 + 27495*x8*x9 + 54838*x9^2 + 27495*x1*x10 + 27495*x2*x10 + 27495*x3*x10 + 27495*x4*x10 + 27495*x5*x10 + 27495*x6*x10 + 27495*x7*x10 + 27495*x8*x10 + 63346*x9*x10 + 54838*x10^2 + 46990*x1 + 46990*x2 + 46990*x3 + 46990*x4 + 46990*x5 + 46990*x6 + 46990*x7 + 46990*x8 + 49059*x9 + 49059*x10 + 38353,
15480*x1^2 + 7228*x1*x2 + 15480*x2^2 + 20671*x1*x3 + 7228*x2*x3 + 15480*x3^2 + 28464*x1*x4 + 20671*x2*x4 + 7228*x3*x4 + 15480*x4^2 + 37665*x1*x5 + 28464*x2*x5 + 20671*x3*x5 + 7228*x4*x5 + 15480*x5^2 + 28464*x1*x6 + 37665*x2*x6 + 28464*x3*x6 + 20671*x4*x6 + 7228*x5*x6 + 15480*x6^2 + 20671*x1*x7 + 28464*x2*x7 + 37665*x3*x7 + 28464*x4*x7 + 20671*x5*x7 + 7228*x6*x7 + 15480*x7^2 + 7228*x1*x8 + 20671*x2*x8 + 28464*x3*x8 + 37665*x4*x8 + 28464*x5*x8 + 20671*x6*x8 + 7228*x7*x8 + 15480*x8^2 + 19293*x1*x9 + 19293*x2*x9 + 19293*x3*x9 + 19293*x4*x9 + 19293*x5*x9 + 19293*x6*x9 + 19293*x7*x9 + 19293*x8*x9 + 56781*x9^2 + 19293*x1*x10 + 19293*x2*x10 + 19293*x3*x10 + 19293*x4*x10 + 19293*x5*x10 + 19293*x6*x10 + 19293*x7*x10 + 19293*x8*x10 + 25299*x9*x10 + 56781*x10^2 + 29700*x1 + 29700*x2 + 29700*x3 + 29700*x4 + 29700*x5 + 29700*x6 + 29700*x7 + 29700*x8 + 10303*x9 + 10303*x10 + 47987,
47563*x1^2 + 61372*x1*x2 + 47563*x2^2 + 60407*x1*x3 + 61372*x2*x3 + 47563*x3^2 + 18246*x1*x4 + 60407*x2*x4 + 61372*x3*x4 + 47563*x4^2 + 38286*x1*x5 + 18246*x2*x5 + 60407*x3*x5 + 61372*x4*x5 + 47563*x5^2 + 18246*x1*x6 + 38286*x2*x6 + 18246*x3*x6 + 60407*x4*x6 + 61372*x5*x6 + 47563*x6^2 + 60407*x1*x7 + 18246*x2*x7 + 38286*x3*x7 + 18246*x4*x7 + 60407*x5*x7 + 61372*x6*x7 + 47563*x7^2 + 61372*x1*x8 + 60407*x2*x8 + 18246*x3*x8 + 38286*x4*x8 + 18246*x5*x8 + 60407*x6*x8 + 61372*x7*x8 + 47563*x8^2 + 15682*x1*x9 + 15682*x2*x9 + 15682*x3*x9 + 15682*x4*x9 + 15682*x5*x9 + 15682*x6*x9 + 15682*x7*x9 + 15682*x8*x9 + 24286*x9^2 + 15682*x1*x10 + 15682*x2*x10 + 15682*x3*x10 + 15682*x4*x10 + 15682*x5*x10 + 15682*x6*x10 + 15682*x7*x10 + 15682*x8*x10 + 56427*x9*x10 + 24286*x10^2 + 35253*x1 + 35253*x2 + 35253*x3 + 35253*x4 + 35253*x5 + 35253*x6 + 35253*x7 + 35253*x8 + 5089*x9 + 5089*x10 + 43900
]
: