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



#modulo 65521

#list

[
25696*x1^2 + 38426*x1*x2 + 25696*x2^2 + 62525*x1*x3 + 38426*x2*x3 + 25696*x3^2 + 14743*x1*x4 + 62525*x2*x4 + 38426*x3*x4 + 25696*x4^2 + 64278*x1*x5 + 14743*x2*x5 + 62525*x3*x5 + 38426*x4*x5 + 25696*x5^2 + 16402*x1*x6 + 64278*x2*x6 + 14743*x3*x6 + 62525*x4*x6 + 38426*x5*x6 + 25696*x6^2 + 64278*x1*x7 + 16402*x2*x7 + 64278*x3*x7 + 14743*x4*x7 + 62525*x5*x7 + 38426*x6*x7 + 25696*x7^2 + 14743*x1*x8 + 64278*x2*x8 + 16402*x3*x8 + 64278*x4*x8 + 14743*x5*x8 + 62525*x6*x8 + 38426*x7*x8 + 25696*x8^2 + 62525*x1*x9 + 14743*x2*x9 + 64278*x3*x9 + 16402*x4*x9 + 64278*x5*x9 + 14743*x6*x9 + 62525*x7*x9 + 38426*x8*x9 + 25696*x9^2 + 38426*x1*x10 + 62525*x2*x10 + 14743*x3*x10 + 64278*x4*x10 + 16402*x5*x10 + 64278*x6*x10 + 14743*x7*x10 + 62525*x8*x10 + 38426*x9*x10 + 25696*x10^2 + 12191*x1 + 12191*x2 + 12191*x3 + 12191*x4 + 12191*x5 + 12191*x6 + 12191*x7 + 12191*x8 + 12191*x9 + 12191*x10 + 62391,
35820*x1^2 + 61464*x1*x2 + 35820*x2^2 + 51434*x1*x3 + 61464*x2*x3 + 35820*x3^2 + 267*x1*x4 + 51434*x2*x4 + 61464*x3*x4 + 35820*x4^2 + 41509*x1*x5 + 267*x2*x5 + 51434*x3*x5 + 61464*x4*x5 + 35820*x5^2 + 2257*x1*x6 + 41509*x2*x6 + 267*x3*x6 + 51434*x4*x6 + 61464*x5*x6 + 35820*x6^2 + 41509*x1*x7 + 2257*x2*x7 + 41509*x3*x7 + 267*x4*x7 + 51434*x5*x7 + 61464*x6*x7 + 35820*x7^2 + 267*x1*x8 + 41509*x2*x8 + 2257*x3*x8 + 41509*x4*x8 + 267*x5*x8 + 51434*x6*x8 + 61464*x7*x8 + 35820*x8^2 + 51434*x1*x9 + 267*x2*x9 + 41509*x3*x9 + 2257*x4*x9 + 41509*x5*x9 + 267*x6*x9 + 51434*x7*x9 + 61464*x8*x9 + 35820*x9^2 + 61464*x1*x10 + 51434*x2*x10 + 267*x3*x10 + 41509*x4*x10 + 2257*x5*x10 + 41509*x6*x10 + 267*x7*x10 + 51434*x8*x10 + 61464*x9*x10 + 35820*x10^2 + 37786*x1 + 37786*x2 + 37786*x3 + 37786*x4 + 37786*x5 + 37786*x6 + 37786*x7 + 37786*x8 + 37786*x9 + 37786*x10 + 27263,
43016*x1^2 + 41264*x1*x2 + 43016*x2^2 + 60650*x1*x3 + 41264*x2*x3 + 43016*x3^2 + 29066*x1*x4 + 60650*x2*x4 + 41264*x3*x4 + 43016*x4^2 + 55386*x1*x5 + 29066*x2*x5 + 60650*x3*x5 + 41264*x4*x5 + 43016*x5^2 + 31961*x1*x6 + 55386*x2*x6 + 29066*x3*x6 + 60650*x4*x6 + 41264*x5*x6 + 43016*x6^2 + 55386*x1*x7 + 31961*x2*x7 + 55386*x3*x7 + 29066*x4*x7 + 60650*x5*x7 + 41264*x6*x7 + 43016*x7^2 + 29066*x1*x8 + 55386*x2*x8 + 31961*x3*x8 + 55386*x4*x8 + 29066*x5*x8 + 60650*x6*x8 + 41264*x7*x8 + 43016*x8^2 + 60650*x1*x9 + 29066*x2*x9 + 55386*x3*x9 + 31961*x4*x9 + 55386*x5*x9 + 29066*x6*x9 + 60650*x7*x9 + 41264*x8*x9 + 43016*x9^2 + 41264*x1*x10 + 60650*x2*x10 + 29066*x3*x10 + 55386*x4*x10 + 31961*x5*x10 + 55386*x6*x10 + 29066*x7*x10 + 60650*x8*x10 + 41264*x9*x10 + 43016*x10^2 + 54704*x1 + 54704*x2 + 54704*x3 + 54704*x4 + 54704*x5 + 54704*x6 + 54704*x7 + 54704*x8 + 54704*x9 + 54704*x10 + 52440,
7714*x1^2 + 15033*x1*x2 + 7714*x2^2 + 38538*x1*x3 + 15033*x2*x3 + 7714*x3^2 + 17721*x1*x4 + 38538*x2*x4 + 15033*x3*x4 + 7714*x4^2 + 57106*x1*x5 + 17721*x2*x5 + 38538*x3*x5 + 15033*x4*x5 + 7714*x5^2 + 8490*x1*x6 + 57106*x2*x6 + 17721*x3*x6 + 38538*x4*x6 + 15033*x5*x6 + 7714*x6^2 + 57106*x1*x7 + 8490*x2*x7 + 57106*x3*x7 + 17721*x4*x7 + 38538*x5*x7 + 15033*x6*x7 + 7714*x7^2 + 17721*x1*x8 + 57106*x2*x8 + 8490*x3*x8 + 57106*x4*x8 + 17721*x5*x8 + 38538*x6*x8 + 15033*x7*x8 + 7714*x8^2 + 38538*x1*x9 + 17721*x2*x9 + 57106*x3*x9 + 8490*x4*x9 + 57106*x5*x9 + 17721*x6*x9 + 38538*x7*x9 + 15033*x8*x9 + 7714*x9^2 + 15033*x1*x10 + 38538*x2*x10 + 17721*x3*x10 + 57106*x4*x10 + 8490*x5*x10 + 57106*x6*x10 + 17721*x7*x10 + 38538*x8*x10 + 15033*x9*x10 + 7714*x10^2 + 4944*x1 + 4944*x2 + 4944*x3 + 4944*x4 + 4944*x5 + 4944*x6 + 4944*x7 + 4944*x8 + 4944*x9 + 4944*x10 + 23607,
38319*x1^2 + 19044*x1*x2 + 38319*x2^2 + 134*x1*x3 + 19044*x2*x3 + 38319*x3^2 + 58837*x1*x4 + 134*x2*x4 + 19044*x3*x4 + 38319*x4^2 + 42060*x1*x5 + 58837*x2*x5 + 134*x3*x5 + 19044*x4*x5 + 38319*x5^2 + 37475*x1*x6 + 42060*x2*x6 + 58837*x3*x6 + 134*x4*x6 + 19044*x5*x6 + 38319*x6^2 + 42060*x1*x7 + 37475*x2*x7 + 42060*x3*x7 + 58837*x4*x7 + 134*x5*x7 + 19044*x6*x7 + 38319*x7^2 + 58837*x1*x8 + 42060*x2*x8 + 37475*x3*x8 + 42060*x4*x8 + 58837*x5*x8 + 134*x6*x8 + 19044*x7*x8 + 38319*x8^2 + 134*x1*x9 + 58837*x2*x9 + 42060*x3*x9 + 37475*x4*x9 + 42060*x5*x9 + 58837*x6*x9 + 134*x7*x9 + 19044*x8*x9 + 38319*x9^2 + 19044*x1*x10 + 134*x2*x10 + 58837*x3*x10 + 42060*x4*x10 + 37475*x5*x10 + 42060*x6*x10 + 58837*x7*x10 + 134*x8*x10 + 19044*x9*x10 + 38319*x10^2 + 10460*x1 + 10460*x2 + 10460*x3 + 10460*x4 + 10460*x5 + 10460*x6 + 10460*x7 + 10460*x8 + 10460*x9 + 10460*x10 + 55737,
12497*x1^2 + 63739*x1*x2 + 12497*x2^2 + 27883*x1*x3 + 63739*x2*x3 + 12497*x3^2 + 10783*x1*x4 + 27883*x2*x4 + 63739*x3*x4 + 12497*x4^2 + 62467*x1*x5 + 10783*x2*x5 + 27883*x3*x5 + 63739*x4*x5 + 12497*x5^2 + 10284*x1*x6 + 62467*x2*x6 + 10783*x3*x6 + 27883*x4*x6 + 63739*x5*x6 + 12497*x6^2 + 62467*x1*x7 + 10284*x2*x7 + 62467*x3*x7 + 10783*x4*x7 + 27883*x5*x7 + 63739*x6*x7 + 12497*x7^2 + 10783*x1*x8 + 62467*x2*x8 + 10284*x3*x8 + 62467*x4*x8 + 10783*x5*x8 + 27883*x6*x8 + 63739*x7*x8 + 12497*x8^2 + 27883*x1*x9 + 10783*x2*x9 + 62467*x3*x9 + 10284*x4*x9 + 62467*x5*x9 + 10783*x6*x9 + 27883*x7*x9 + 63739*x8*x9 + 12497*x9^2 + 63739*x1*x10 + 27883*x2*x10 + 10783*x3*x10 + 62467*x4*x10 + 10284*x5*x10 + 62467*x6*x10 + 10783*x7*x10 + 27883*x8*x10 + 63739*x9*x10 + 12497*x10^2 + 53804*x1 + 53804*x2 + 53804*x3 + 53804*x4 + 53804*x5 + 53804*x6 + 53804*x7 + 53804*x8 + 53804*x9 + 53804*x10 + 51038,
58288*x1^2 + 46131*x1*x2 + 58288*x2^2 + 22056*x1*x3 + 46131*x2*x3 + 58288*x3^2 + 55411*x1*x4 + 22056*x2*x4 + 46131*x3*x4 + 58288*x4^2 + 51365*x1*x5 + 55411*x2*x5 + 22056*x3*x5 + 46131*x4*x5 + 58288*x5^2 + 23150*x1*x6 + 51365*x2*x6 + 55411*x3*x6 + 22056*x4*x6 + 46131*x5*x6 + 58288*x6^2 + 51365*x1*x7 + 23150*x2*x7 + 51365*x3*x7 + 55411*x4*x7 + 22056*x5*x7 + 46131*x6*x7 + 58288*x7^2 + 55411*x1*x8 + 51365*x2*x8 + 23150*x3*x8 + 51365*x4*x8 + 55411*x5*x8 + 22056*x6*x8 + 46131*x7*x8 + 58288*x8^2 + 22056*x1*x9 + 55411*x2*x9 + 51365*x3*x9 + 23150*x4*x9 + 51365*x5*x9 + 55411*x6*x9 + 22056*x7*x9 + 46131*x8*x9 + 58288*x9^2 + 46131*x1*x10 + 22056*x2*x10 + 55411*x3*x10 + 51365*x4*x10 + 23150*x5*x10 + 51365*x6*x10 + 55411*x7*x10 + 22056*x8*x10 + 46131*x9*x10 + 58288*x10^2 + 3036*x1 + 3036*x2 + 3036*x3 + 3036*x4 + 3036*x5 + 3036*x6 + 3036*x7 + 3036*x8 + 3036*x9 + 3036*x10 + 57943,
43788*x1^2 + 61070*x1*x2 + 43788*x2^2 + 37141*x1*x3 + 61070*x2*x3 + 43788*x3^2 + 13543*x1*x4 + 37141*x2*x4 + 61070*x3*x4 + 43788*x4^2 + 20106*x1*x5 + 13543*x2*x5 + 37141*x3*x5 + 61070*x4*x5 + 43788*x5^2 + 9888*x1*x6 + 20106*x2*x6 + 13543*x3*x6 + 37141*x4*x6 + 61070*x5*x6 + 43788*x6^2 + 20106*x1*x7 + 9888*x2*x7 + 20106*x3*x7 + 13543*x4*x7 + 37141*x5*x7 + 61070*x6*x7 + 43788*x7^2 + 13543*x1*x8 + 20106*x2*x8 + 9888*x3*x8 + 20106*x4*x8 + 13543*x5*x8 + 37141*x6*x8 + 61070*x7*x8 + 43788*x8^2 + 37141*x1*x9 + 13543*x2*x9 + 20106*x3*x9 + 9888*x4*x9 + 20106*x5*x9 + 13543*x6*x9 + 37141*x7*x9 + 61070*x8*x9 + 43788*x9^2 + 61070*x1*x10 + 37141*x2*x10 + 13543*x3*x10 + 20106*x4*x10 + 9888*x5*x10 + 20106*x6*x10 + 13543*x7*x10 + 37141*x8*x10 + 61070*x9*x10 + 43788*x10^2 + 7442*x1 + 7442*x2 + 7442*x3 + 7442*x4 + 7442*x5 + 7442*x6 + 7442*x7 + 7442*x8 + 7442*x9 + 7442*x10 + 783,
40859*x1^2 + 2855*x1*x2 + 40859*x2^2 + 41652*x1*x3 + 2855*x2*x3 + 40859*x3^2 + 46131*x1*x4 + 41652*x2*x4 + 2855*x3*x4 + 40859*x4^2 + 50198*x1*x5 + 46131*x2*x5 + 41652*x3*x5 + 2855*x4*x5 + 40859*x5^2 + 1925*x1*x6 + 50198*x2*x6 + 46131*x3*x6 + 41652*x4*x6 + 2855*x5*x6 + 40859*x6^2 + 50198*x1*x7 + 1925*x2*x7 + 50198*x3*x7 + 46131*x4*x7 + 41652*x5*x7 + 2855*x6*x7 + 40859*x7^2 + 46131*x1*x8 + 50198*x2*x8 + 1925*x3*x8 + 50198*x4*x8 + 46131*x5*x8 + 41652*x6*x8 + 2855*x7*x8 + 40859*x8^2 + 41652*x1*x9 + 46131*x2*x9 + 50198*x3*x9 + 1925*x4*x9 + 50198*x5*x9 + 46131*x6*x9 + 41652*x7*x9 + 2855*x8*x9 + 40859*x9^2 + 2855*x1*x10 + 41652*x2*x10 + 46131*x3*x10 + 50198*x4*x10 + 1925*x5*x10 + 50198*x6*x10 + 46131*x7*x10 + 41652*x8*x10 + 2855*x9*x10 + 40859*x10^2 + 58536*x1 + 58536*x2 + 58536*x3 + 58536*x4 + 58536*x5 + 58536*x6 + 58536*x7 + 58536*x8 + 58536*x9 + 58536*x10 + 51480,
43783*x1^2 + 16537*x1*x2 + 43783*x2^2 + 56297*x1*x3 + 16537*x2*x3 + 43783*x3^2 + 62830*x1*x4 + 56297*x2*x4 + 16537*x3*x4 + 43783*x4^2 + 17814*x1*x5 + 62830*x2*x5 + 56297*x3*x5 + 16537*x4*x5 + 43783*x5^2 + 52189*x1*x6 + 17814*x2*x6 + 62830*x3*x6 + 56297*x4*x6 + 16537*x5*x6 + 43783*x6^2 + 17814*x1*x7 + 52189*x2*x7 + 17814*x3*x7 + 62830*x4*x7 + 56297*x5*x7 + 16537*x6*x7 + 43783*x7^2 + 62830*x1*x8 + 17814*x2*x8 + 52189*x3*x8 + 17814*x4*x8 + 62830*x5*x8 + 56297*x6*x8 + 16537*x7*x8 + 43783*x8^2 + 56297*x1*x9 + 62830*x2*x9 + 17814*x3*x9 + 52189*x4*x9 + 17814*x5*x9 + 62830*x6*x9 + 56297*x7*x9 + 16537*x8*x9 + 43783*x9^2 + 16537*x1*x10 + 56297*x2*x10 + 62830*x3*x10 + 17814*x4*x10 + 52189*x5*x10 + 17814*x6*x10 + 62830*x7*x10 + 56297*x8*x10 + 16537*x9*x10 + 43783*x10^2 + 32024*x1 + 32024*x2 + 32024*x3 + 32024*x4 + 32024*x5 + 32024*x6 + 32024*x7 + 32024*x8 + 32024*x9 + 32024*x10 + 36511
]
: