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



#modulo 65521

#list

[
19367*x1^2 + 25239*x1*x2 + 19367*x2^2 + 45900*x1*x3 + 25239*x2*x3 + 19367*x3^2 + 45900*x1*x4 + 45900*x2*x4 + 25239*x3*x4 + 19367*x4^2 + 25239*x1*x5 + 45900*x2*x5 + 45900*x3*x5 + 25239*x4*x5 + 19367*x5^2 + 44826*x1*x6 + 44826*x2*x6 + 44826*x3*x6 + 44826*x4*x6 + 44826*x5*x6 + 37218*x6^2 + 44826*x1*x7 + 44826*x2*x7 + 44826*x3*x7 + 44826*x4*x7 + 44826*x5*x7 + 58612*x6*x7 + 37218*x7^2 + 44826*x1*x8 + 44826*x2*x8 + 44826*x3*x8 + 44826*x4*x8 + 44826*x5*x8 + 42309*x6*x8 + 58612*x7*x8 + 37218*x8^2 + 44826*x1*x9 + 44826*x2*x9 + 44826*x3*x9 + 44826*x4*x9 + 44826*x5*x9 + 42309*x6*x9 + 42309*x7*x9 + 58612*x8*x9 + 37218*x9^2 + 44826*x1*x10 + 44826*x2*x10 + 44826*x3*x10 + 44826*x4*x10 + 44826*x5*x10 + 58612*x6*x10 + 42309*x7*x10 + 42309*x8*x10 + 58612*x9*x10 + 37218*x10^2 + 64169*x1 + 64169*x2 + 64169*x3 + 64169*x4 + 64169*x5 + 56367*x6 + 56367*x7 + 56367*x8 + 56367*x9 + 56367*x10 + 902,
34958*x1^2 + 15712*x1*x2 + 34958*x2^2 + 5519*x1*x3 + 15712*x2*x3 + 34958*x3^2 + 5519*x1*x4 + 5519*x2*x4 + 15712*x3*x4 + 34958*x4^2 + 15712*x1*x5 + 5519*x2*x5 + 5519*x3*x5 + 15712*x4*x5 + 34958*x5^2 + 936*x1*x6 + 936*x2*x6 + 936*x3*x6 + 936*x4*x6 + 936*x5*x6 + 2291*x6^2 + 936*x1*x7 + 936*x2*x7 + 936*x3*x7 + 936*x4*x7 + 936*x5*x7 + 62073*x6*x7 + 2291*x7^2 + 936*x1*x8 + 936*x2*x8 + 936*x3*x8 + 936*x4*x8 + 936*x5*x8 + 1881*x6*x8 + 62073*x7*x8 + 2291*x8^2 + 936*x1*x9 + 936*x2*x9 + 936*x3*x9 + 936*x4*x9 + 936*x5*x9 + 1881*x6*x9 + 1881*x7*x9 + 62073*x8*x9 + 2291*x9^2 + 936*x1*x10 + 936*x2*x10 + 936*x3*x10 + 936*x4*x10 + 936*x5*x10 + 62073*x6*x10 + 1881*x7*x10 + 1881*x8*x10 + 62073*x9*x10 + 2291*x10^2 + 10628*x1 + 10628*x2 + 10628*x3 + 10628*x4 + 10628*x5 + 54200*x6 + 54200*x7 + 54200*x8 + 54200*x9 + 54200*x10 + 14447,
24977*x1^2 + 19464*x1*x2 + 24977*x2^2 + 29079*x1*x3 + 19464*x2*x3 + 24977*x3^2 + 29079*x1*x4 + 29079*x2*x4 + 19464*x3*x4 + 24977*x4^2 + 19464*x1*x5 + 29079*x2*x5 + 29079*x3*x5 + 19464*x4*x5 + 24977*x5^2 + 62349*x1*x6 + 62349*x2*x6 + 62349*x3*x6 + 62349*x4*x6 + 62349*x5*x6 + 35980*x6^2 + 62349*x1*x7 + 62349*x2*x7 + 62349*x3*x7 + 62349*x4*x7 + 62349*x5*x7 + 23064*x6*x7 + 35980*x7^2 + 62349*x1*x8 + 62349*x2*x8 + 62349*x3*x8 + 62349*x4*x8 + 62349*x5*x8 + 10598*x6*x8 + 23064*x7*x8 + 35980*x8^2 + 62349*x1*x9 + 62349*x2*x9 + 62349*x3*x9 + 62349*x4*x9 + 62349*x5*x9 + 10598*x6*x9 + 10598*x7*x9 + 23064*x8*x9 + 35980*x9^2 + 62349*x1*x10 + 62349*x2*x10 + 62349*x3*x10 + 62349*x4*x10 + 62349*x5*x10 + 23064*x6*x10 + 10598*x7*x10 + 10598*x8*x10 + 23064*x9*x10 + 35980*x10^2 + 58218*x1 + 58218*x2 + 58218*x3 + 58218*x4 + 58218*x5 + 18169*x6 + 18169*x7 + 18169*x8 + 18169*x9 + 18169*x10 + 29723,
22660*x1^2 + 49222*x1*x2 + 22660*x2^2 + 55193*x1*x3 + 49222*x2*x3 + 22660*x3^2 + 55193*x1*x4 + 55193*x2*x4 + 49222*x3*x4 + 22660*x4^2 + 49222*x1*x5 + 55193*x2*x5 + 55193*x3*x5 + 49222*x4*x5 + 22660*x5^2 + 16808*x1*x6 + 16808*x2*x6 + 16808*x3*x6 + 16808*x4*x6 + 16808*x5*x6 + 34696*x6^2 + 16808*x1*x7 + 16808*x2*x7 + 16808*x3*x7 + 16808*x4*x7 + 16808*x5*x7 + 31192*x6*x7 + 34696*x7^2 + 16808*x1*x8 + 16808*x2*x8 + 16808*x3*x8 + 16808*x4*x8 + 16808*x5*x8 + 38865*x6*x8 + 31192*x7*x8 + 34696*x8^2 + 16808*x1*x9 + 16808*x2*x9 + 16808*x3*x9 + 16808*x4*x9 + 16808*x5*x9 + 38865*x6*x9 + 38865*x7*x9 + 31192*x8*x9 + 34696*x9^2 + 16808*x1*x10 + 16808*x2*x10 + 16808*x3*x10 + 16808*x4*x10 + 16808*x5*x10 + 31192*x6*x10 + 38865*x7*x10 + 38865*x8*x10 + 31192*x9*x10 + 34696*x10^2 + 33953*x1 + 33953*x2 + 33953*x3 + 33953*x4 + 33953*x5 + 33216*x6 + 33216*x7 + 33216*x8 + 33216*x9 + 33216*x10 + 14118,
37107*x1^2 + 16215*x1*x2 + 37107*x2^2 + 54862*x1*x3 + 16215*x2*x3 + 37107*x3^2 + 54862*x1*x4 + 54862*x2*x4 + 16215*x3*x4 + 37107*x4^2 + 16215*x1*x5 + 54862*x2*x5 + 54862*x3*x5 + 16215*x4*x5 + 37107*x5^2 + 12199*x1*x6 + 12199*x2*x6 + 12199*x3*x6 + 12199*x4*x6 + 12199*x5*x6 + 32748*x6^2 + 12199*x1*x7 + 12199*x2*x7 + 12199*x3*x7 + 12199*x4*x7 + 12199*x5*x7 + 19951*x6*x7 + 32748*x7^2 + 12199*x1*x8 + 12199*x2*x8 + 12199*x3*x8 + 12199*x4*x8 + 12199*x5*x8 + 8480*x6*x8 + 19951*x7*x8 + 32748*x8^2 + 12199*x1*x9 + 12199*x2*x9 + 12199*x3*x9 + 12199*x4*x9 + 12199*x5*x9 + 8480*x6*x9 + 8480*x7*x9 + 19951*x8*x9 + 32748*x9^2 + 12199*x1*x10 + 12199*x2*x10 + 12199*x3*x10 + 12199*x4*x10 + 12199*x5*x10 + 19951*x6*x10 + 8480*x7*x10 + 8480*x8*x10 + 19951*x9*x10 + 32748*x10^2 + 44318*x1 + 44318*x2 + 44318*x3 + 44318*x4 + 44318*x5 + 1363*x6 + 1363*x7 + 1363*x8 + 1363*x9 + 1363*x10 + 19849,
199*x1^2 + 54429*x1*x2 + 199*x2^2 + 22153*x1*x3 + 54429*x2*x3 + 199*x3^2 + 22153*x1*x4 + 22153*x2*x4 + 54429*x3*x4 + 199*x4^2 + 54429*x1*x5 + 22153*x2*x5 + 22153*x3*x5 + 54429*x4*x5 + 199*x5^2 + 64821*x1*x6 + 64821*x2*x6 + 64821*x3*x6 + 64821*x4*x6 + 64821*x5*x6 + 12915*x6^2 + 64821*x1*x7 + 64821*x2*x7 + 64821*x3*x7 + 64821*x4*x7 + 64821*x5*x7 + 62155*x6*x7 + 12915*x7^2 + 64821*x1*x8 + 64821*x2*x8 + 64821*x3*x8 + 64821*x4*x8 + 64821*x5*x8 + 11621*x6*x8 + 62155*x7*x8 + 12915*x8^2 + 64821*x1*x9 + 64821*x2*x9 + 64821*x3*x9 + 64821*x4*x9 + 64821*x5*x9 + 11621*x6*x9 + 11621*x7*x9 + 62155*x8*x9 + 12915*x9^2 + 64821*x1*x10 + 64821*x2*x10 + 64821*x3*x10 + 64821*x4*x10 + 64821*x5*x10 + 62155*x6*x10 + 11621*x7*x10 + 11621*x8*x10 + 62155*x9*x10 + 12915*x10^2 + 39539*x1 + 39539*x2 + 39539*x3 + 39539*x4 + 39539*x5 + 34952*x6 + 34952*x7 + 34952*x8 + 34952*x9 + 34952*x10 + 21536,
24575*x1^2 + 23420*x1*x2 + 24575*x2^2 + 9967*x1*x3 + 23420*x2*x3 + 24575*x3^2 + 9967*x1*x4 + 9967*x2*x4 + 23420*x3*x4 + 24575*x4^2 + 23420*x1*x5 + 9967*x2*x5 + 9967*x3*x5 + 23420*x4*x5 + 24575*x5^2 + 50339*x1*x6 + 50339*x2*x6 + 50339*x3*x6 + 50339*x4*x6 + 50339*x5*x6 + 43098*x6^2 + 50339*x1*x7 + 50339*x2*x7 + 50339*x3*x7 + 50339*x4*x7 + 50339*x5*x7 + 28231*x6*x7 + 43098*x7^2 + 50339*x1*x8 + 50339*x2*x8 + 50339*x3*x8 + 50339*x4*x8 + 50339*x5*x8 + 18099*x6*x8 + 28231*x7*x8 + 43098*x8^2 + 50339*x1*x9 + 50339*x2*x9 + 50339*x3*x9 + 50339*x4*x9 + 50339*x5*x9 + 18099*x6*x9 + 18099*x7*x9 + 28231*x8*x9 + 43098*x9^2 + 50339*x1*x10 + 50339*x2*x10 + 50339*x3*x10 + 50339*x4*x10 + 50339*x5*x10 + 28231*x6*x10 + 18099*x7*x10 + 18099*x8*x10 + 28231*x9*x10 + 43098*x10^2 + 2225*x1 + 2225*x2 + 2225*x3 + 2225*x4 + 2225*x5 + 40368*x6 + 40368*x7 + 40368*x8 + 40368*x9 + 40368*x10 + 56950,
14094*x1^2 + 20680*x1*x2 + 14094*x2^2 + 55463*x1*x3 + 20680*x2*x3 + 14094*x3^2 + 55463*x1*x4 + 55463*x2*x4 + 20680*x3*x4 + 14094*x4^2 + 20680*x1*x5 + 55463*x2*x5 + 55463*x3*x5 + 20680*x4*x5 + 14094*x5^2 + 51962*x1*x6 + 51962*x2*x6 + 51962*x3*x6 + 51962*x4*x6 + 51962*x5*x6 + 42321*x6^2 + 51962*x1*x7 + 51962*x2*x7 + 51962*x3*x7 + 51962*x4*x7 + 51962*x5*x7 + 16475*x6*x7 + 42321*x7^2 + 51962*x1*x8 + 51962*x2*x8 + 51962*x3*x8 + 51962*x4*x8 + 51962*x5*x8 + 30189*x6*x8 + 16475*x7*x8 + 42321*x8^2 + 51962*x1*x9 + 51962*x2*x9 + 51962*x3*x9 + 51962*x4*x9 + 51962*x5*x9 + 30189*x6*x9 + 30189*x7*x9 + 16475*x8*x9 + 42321*x9^2 + 51962*x1*x10 + 51962*x2*x10 + 51962*x3*x10 + 51962*x4*x10 + 51962*x5*x10 + 16475*x6*x10 + 30189*x7*x10 + 30189*x8*x10 + 16475*x9*x10 + 42321*x10^2 + 23107*x1 + 23107*x2 + 23107*x3 + 23107*x4 + 23107*x5 + 44872*x6 + 44872*x7 + 44872*x8 + 44872*x9 + 44872*x10 + 59382,
35127*x1^2 + 40572*x1*x2 + 35127*x2^2 + 29998*x1*x3 + 40572*x2*x3 + 35127*x3^2 + 29998*x1*x4 + 29998*x2*x4 + 40572*x3*x4 + 35127*x4^2 + 40572*x1*x5 + 29998*x2*x5 + 29998*x3*x5 + 40572*x4*x5 + 35127*x5^2 + 16846*x1*x6 + 16846*x2*x6 + 16846*x3*x6 + 16846*x4*x6 + 16846*x5*x6 + 33829*x6^2 + 16846*x1*x7 + 16846*x2*x7 + 16846*x3*x7 + 16846*x4*x7 + 16846*x5*x7 + 37363*x6*x7 + 33829*x7^2 + 16846*x1*x8 + 16846*x2*x8 + 16846*x3*x8 + 16846*x4*x8 + 16846*x5*x8 + 44105*x6*x8 + 37363*x7*x8 + 33829*x8^2 + 16846*x1*x9 + 16846*x2*x9 + 16846*x3*x9 + 16846*x4*x9 + 16846*x5*x9 + 44105*x6*x9 + 44105*x7*x9 + 37363*x8*x9 + 33829*x9^2 + 16846*x1*x10 + 16846*x2*x10 + 16846*x3*x10 + 16846*x4*x10 + 16846*x5*x10 + 37363*x6*x10 + 44105*x7*x10 + 44105*x8*x10 + 37363*x9*x10 + 33829*x10^2 + 38327*x1 + 38327*x2 + 38327*x3 + 38327*x4 + 38327*x5 + 16666*x6 + 16666*x7 + 16666*x8 + 16666*x9 + 16666*x10 + 25023,
23947*x1^2 + 50000*x1*x2 + 23947*x2^2 + 4093*x1*x3 + 50000*x2*x3 + 23947*x3^2 + 4093*x1*x4 + 4093*x2*x4 + 50000*x3*x4 + 23947*x4^2 + 50000*x1*x5 + 4093*x2*x5 + 4093*x3*x5 + 50000*x4*x5 + 23947*x5^2 + 32876*x1*x6 + 32876*x2*x6 + 32876*x3*x6 + 32876*x4*x6 + 32876*x5*x6 + 6629*x6^2 + 32876*x1*x7 + 32876*x2*x7 + 32876*x3*x7 + 32876*x4*x7 + 32876*x5*x7 + 9752*x6*x7 + 6629*x7^2 + 32876*x1*x8 + 32876*x2*x8 + 32876*x3*x8 + 32876*x4*x8 + 32876*x5*x8 + 62309*x6*x8 + 9752*x7*x8 + 6629*x8^2 + 32876*x1*x9 + 32876*x2*x9 + 32876*x3*x9 + 32876*x4*x9 + 32876*x5*x9 + 62309*x6*x9 + 62309*x7*x9 + 9752*x8*x9 + 6629*x9^2 + 32876*x1*x10 + 32876*x2*x10 + 32876*x3*x10 + 32876*x4*x10 + 32876*x5*x10 + 9752*x6*x10 + 62309*x7*x10 + 62309*x8*x10 + 9752*x9*x10 + 6629*x10^2 + 23017*x1 + 23017*x2 + 23017*x3 + 23017*x4 + 23017*x5 + 4662*x6 + 4662*x7 + 4662*x8 + 4662*x9 + 4662*x10 + 60162
]
: