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



#modulo 65521

#list

[
26431*x1^2 + 58301*x1*x2 + 26431*x2^2 + 5048*x1*x3 + 58301*x2*x3 + 26431*x3^2 + 3222*x1*x4 + 5048*x2*x4 + 58301*x3*x4 + 26431*x4^2 + 5048*x1*x5 + 3222*x2*x5 + 5048*x3*x5 + 58301*x4*x5 + 26431*x5^2 + 58301*x1*x6 + 5048*x2*x6 + 3222*x3*x6 + 5048*x4*x6 + 58301*x5*x6 + 26431*x6^2 + 30657*x1*x7 + 30657*x2*x7 + 30657*x3*x7 + 30657*x4*x7 + 30657*x5*x7 + 30657*x6*x7 + 40141*x7^2 + 30657*x1*x8 + 30657*x2*x8 + 30657*x3*x8 + 30657*x4*x8 + 30657*x5*x8 + 30657*x6*x8 + 48264*x7*x8 + 40141*x8^2 + 30657*x1*x9 + 30657*x2*x9 + 30657*x3*x9 + 30657*x4*x9 + 30657*x5*x9 + 30657*x6*x9 + 30943*x7*x9 + 48264*x8*x9 + 40141*x9^2 + 30657*x1*x10 + 30657*x2*x10 + 30657*x3*x10 + 30657*x4*x10 + 30657*x5*x10 + 30657*x6*x10 + 48264*x7*x10 + 30943*x8*x10 + 48264*x9*x10 + 40141*x10^2 + 13941*x1 + 13941*x2 + 13941*x3 + 13941*x4 + 13941*x5 + 13941*x6 + 28747*x7 + 28747*x8 + 28747*x9 + 28747*x10 + 58109,
29734*x1^2 + 50582*x1*x2 + 29734*x2^2 + 56339*x1*x3 + 50582*x2*x3 + 29734*x3^2 + 18652*x1*x4 + 56339*x2*x4 + 50582*x3*x4 + 29734*x4^2 + 56339*x1*x5 + 18652*x2*x5 + 56339*x3*x5 + 50582*x4*x5 + 29734*x5^2 + 50582*x1*x6 + 56339*x2*x6 + 18652*x3*x6 + 56339*x4*x6 + 50582*x5*x6 + 29734*x6^2 + 3932*x1*x7 + 3932*x2*x7 + 3932*x3*x7 + 3932*x4*x7 + 3932*x5*x7 + 3932*x6*x7 + 25066*x7^2 + 3932*x1*x8 + 3932*x2*x8 + 3932*x3*x8 + 3932*x4*x8 + 3932*x5*x8 + 3932*x6*x8 + 16524*x7*x8 + 25066*x8^2 + 3932*x1*x9 + 3932*x2*x9 + 3932*x3*x9 + 3932*x4*x9 + 3932*x5*x9 + 3932*x6*x9 + 60334*x7*x9 + 16524*x8*x9 + 25066*x9^2 + 3932*x1*x10 + 3932*x2*x10 + 3932*x3*x10 + 3932*x4*x10 + 3932*x5*x10 + 3932*x6*x10 + 16524*x7*x10 + 60334*x8*x10 + 16524*x9*x10 + 25066*x10^2 + 27288*x1 + 27288*x2 + 27288*x3 + 27288*x4 + 27288*x5 + 27288*x6 + 44003*x7 + 44003*x8 + 44003*x9 + 44003*x10 + 42797,
38772*x1^2 + 45148*x1*x2 + 38772*x2^2 + 20352*x1*x3 + 45148*x2*x3 + 38772*x3^2 + 51190*x1*x4 + 20352*x2*x4 + 45148*x3*x4 + 38772*x4^2 + 20352*x1*x5 + 51190*x2*x5 + 20352*x3*x5 + 45148*x4*x5 + 38772*x5^2 + 45148*x1*x6 + 20352*x2*x6 + 51190*x3*x6 + 20352*x4*x6 + 45148*x5*x6 + 38772*x6^2 + 26757*x1*x7 + 26757*x2*x7 + 26757*x3*x7 + 26757*x4*x7 + 26757*x5*x7 + 26757*x6*x7 + 10345*x7^2 + 26757*x1*x8 + 26757*x2*x8 + 26757*x3*x8 + 26757*x4*x8 + 26757*x5*x8 + 26757*x6*x8 + 21351*x7*x8 + 10345*x8^2 + 26757*x1*x9 + 26757*x2*x9 + 26757*x3*x9 + 26757*x4*x9 + 26757*x5*x9 + 26757*x6*x9 + 23406*x7*x9 + 21351*x8*x9 + 10345*x9^2 + 26757*x1*x10 + 26757*x2*x10 + 26757*x3*x10 + 26757*x4*x10 + 26757*x5*x10 + 26757*x6*x10 + 21351*x7*x10 + 23406*x8*x10 + 21351*x9*x10 + 10345*x10^2 + 53287*x1 + 53287*x2 + 53287*x3 + 53287*x4 + 53287*x5 + 53287*x6 + 57553*x7 + 57553*x8 + 57553*x9 + 57553*x10 + 10372,
40181*x1^2 + 29103*x1*x2 + 40181*x2^2 + 27027*x1*x3 + 29103*x2*x3 + 40181*x3^2 + 3954*x1*x4 + 27027*x2*x4 + 29103*x3*x4 + 40181*x4^2 + 27027*x1*x5 + 3954*x2*x5 + 27027*x3*x5 + 29103*x4*x5 + 40181*x5^2 + 29103*x1*x6 + 27027*x2*x6 + 3954*x3*x6 + 27027*x4*x6 + 29103*x5*x6 + 40181*x6^2 + 1909*x1*x7 + 1909*x2*x7 + 1909*x3*x7 + 1909*x4*x7 + 1909*x5*x7 + 1909*x6*x7 + 7535*x7^2 + 1909*x1*x8 + 1909*x2*x8 + 1909*x3*x8 + 1909*x4*x8 + 1909*x5*x8 + 1909*x6*x8 + 331*x7*x8 + 7535*x8^2 + 1909*x1*x9 + 1909*x2*x9 + 1909*x3*x9 + 1909*x4*x9 + 1909*x5*x9 + 1909*x6*x9 + 64874*x7*x9 + 331*x8*x9 + 7535*x9^2 + 1909*x1*x10 + 1909*x2*x10 + 1909*x3*x10 + 1909*x4*x10 + 1909*x5*x10 + 1909*x6*x10 + 331*x7*x10 + 64874*x8*x10 + 331*x9*x10 + 7535*x10^2 + 59098*x1 + 59098*x2 + 59098*x3 + 59098*x4 + 59098*x5 + 59098*x6 + 17513*x7 + 17513*x8 + 17513*x9 + 17513*x10 + 57754,
57013*x1^2 + 8118*x1*x2 + 57013*x2^2 + 39908*x1*x3 + 8118*x2*x3 + 57013*x3^2 + 55751*x1*x4 + 39908*x2*x4 + 8118*x3*x4 + 57013*x4^2 + 39908*x1*x5 + 55751*x2*x5 + 39908*x3*x5 + 8118*x4*x5 + 57013*x5^2 + 8118*x1*x6 + 39908*x2*x6 + 55751*x3*x6 + 39908*x4*x6 + 8118*x5*x6 + 57013*x6^2 + 7373*x1*x7 + 7373*x2*x7 + 7373*x3*x7 + 7373*x4*x7 + 7373*x5*x7 + 7373*x6*x7 + 46385*x7^2 + 7373*x1*x8 + 7373*x2*x8 + 7373*x3*x8 + 7373*x4*x8 + 7373*x5*x8 + 7373*x6*x8 + 32643*x7*x8 + 46385*x8^2 + 7373*x1*x9 + 7373*x2*x9 + 7373*x3*x9 + 7373*x4*x9 + 7373*x5*x9 + 7373*x6*x9 + 6236*x7*x9 + 32643*x8*x9 + 46385*x9^2 + 7373*x1*x10 + 7373*x2*x10 + 7373*x3*x10 + 7373*x4*x10 + 7373*x5*x10 + 7373*x6*x10 + 32643*x7*x10 + 6236*x8*x10 + 32643*x9*x10 + 46385*x10^2 + 39320*x1 + 39320*x2 + 39320*x3 + 39320*x4 + 39320*x5 + 39320*x6 + 4112*x7 + 4112*x8 + 4112*x9 + 4112*x10 + 16916,
48354*x1^2 + 21635*x1*x2 + 48354*x2^2 + 42309*x1*x3 + 21635*x2*x3 + 48354*x3^2 + 40914*x1*x4 + 42309*x2*x4 + 21635*x3*x4 + 48354*x4^2 + 42309*x1*x5 + 40914*x2*x5 + 42309*x3*x5 + 21635*x4*x5 + 48354*x5^2 + 21635*x1*x6 + 42309*x2*x6 + 40914*x3*x6 + 42309*x4*x6 + 21635*x5*x6 + 48354*x6^2 + 48160*x1*x7 + 48160*x2*x7 + 48160*x3*x7 + 48160*x4*x7 + 48160*x5*x7 + 48160*x6*x7 + 34711*x7^2 + 48160*x1*x8 + 48160*x2*x8 + 48160*x3*x8 + 48160*x4*x8 + 48160*x5*x8 + 48160*x6*x8 + 64881*x7*x8 + 34711*x8^2 + 48160*x1*x9 + 48160*x2*x9 + 48160*x3*x9 + 48160*x4*x9 + 48160*x5*x9 + 48160*x6*x9 + 1464*x7*x9 + 64881*x8*x9 + 34711*x9^2 + 48160*x1*x10 + 48160*x2*x10 + 48160*x3*x10 + 48160*x4*x10 + 48160*x5*x10 + 48160*x6*x10 + 64881*x7*x10 + 1464*x8*x10 + 64881*x9*x10 + 34711*x10^2 + 58975*x1 + 58975*x2 + 58975*x3 + 58975*x4 + 58975*x5 + 58975*x6 + 45499*x7 + 45499*x8 + 45499*x9 + 45499*x10 + 52643,
28581*x1^2 + 65362*x1*x2 + 28581*x2^2 + 29429*x1*x3 + 65362*x2*x3 + 28581*x3^2 + 44496*x1*x4 + 29429*x2*x4 + 65362*x3*x4 + 28581*x4^2 + 29429*x1*x5 + 44496*x2*x5 + 29429*x3*x5 + 65362*x4*x5 + 28581*x5^2 + 65362*x1*x6 + 29429*x2*x6 + 44496*x3*x6 + 29429*x4*x6 + 65362*x5*x6 + 28581*x6^2 + 53*x1*x7 + 53*x2*x7 + 53*x3*x7 + 53*x4*x7 + 53*x5*x7 + 53*x6*x7 + 54002*x7^2 + 53*x1*x8 + 53*x2*x8 + 53*x3*x8 + 53*x4*x8 + 53*x5*x8 + 53*x6*x8 + 60970*x7*x8 + 54002*x8^2 + 53*x1*x9 + 53*x2*x9 + 53*x3*x9 + 53*x4*x9 + 53*x5*x9 + 53*x6*x9 + 40619*x7*x9 + 60970*x8*x9 + 54002*x9^2 + 53*x1*x10 + 53*x2*x10 + 53*x3*x10 + 53*x4*x10 + 53*x5*x10 + 53*x6*x10 + 60970*x7*x10 + 40619*x8*x10 + 60970*x9*x10 + 54002*x10^2 + 60930*x1 + 60930*x2 + 60930*x3 + 60930*x4 + 60930*x5 + 60930*x6 + 10601*x7 + 10601*x8 + 10601*x9 + 10601*x10 + 40176,
61558*x1^2 + 47080*x1*x2 + 61558*x2^2 + 48139*x1*x3 + 47080*x2*x3 + 61558*x3^2 + 35204*x1*x4 + 48139*x2*x4 + 47080*x3*x4 + 61558*x4^2 + 48139*x1*x5 + 35204*x2*x5 + 48139*x3*x5 + 47080*x4*x5 + 61558*x5^2 + 47080*x1*x6 + 48139*x2*x6 + 35204*x3*x6 + 48139*x4*x6 + 47080*x5*x6 + 61558*x6^2 + 16544*x1*x7 + 16544*x2*x7 + 16544*x3*x7 + 16544*x4*x7 + 16544*x5*x7 + 16544*x6*x7 + 63475*x7^2 + 16544*x1*x8 + 16544*x2*x8 + 16544*x3*x8 + 16544*x4*x8 + 16544*x5*x8 + 16544*x6*x8 + 14044*x7*x8 + 63475*x8^2 + 16544*x1*x9 + 16544*x2*x9 + 16544*x3*x9 + 16544*x4*x9 + 16544*x5*x9 + 16544*x6*x9 + 6776*x7*x9 + 14044*x8*x9 + 63475*x9^2 + 16544*x1*x10 + 16544*x2*x10 + 16544*x3*x10 + 16544*x4*x10 + 16544*x5*x10 + 16544*x6*x10 + 14044*x7*x10 + 6776*x8*x10 + 14044*x9*x10 + 63475*x10^2 + 7781*x1 + 7781*x2 + 7781*x3 + 7781*x4 + 7781*x5 + 7781*x6 + 43711*x7 + 43711*x8 + 43711*x9 + 43711*x10 + 9116,
61873*x1^2 + 61178*x1*x2 + 61873*x2^2 + 24860*x1*x3 + 61178*x2*x3 + 61873*x3^2 + 56664*x1*x4 + 24860*x2*x4 + 61178*x3*x4 + 61873*x4^2 + 24860*x1*x5 + 56664*x2*x5 + 24860*x3*x5 + 61178*x4*x5 + 61873*x5^2 + 61178*x1*x6 + 24860*x2*x6 + 56664*x3*x6 + 24860*x4*x6 + 61178*x5*x6 + 61873*x6^2 + 36737*x1*x7 + 36737*x2*x7 + 36737*x3*x7 + 36737*x4*x7 + 36737*x5*x7 + 36737*x6*x7 + 16526*x7^2 + 36737*x1*x8 + 36737*x2*x8 + 36737*x3*x8 + 36737*x4*x8 + 36737*x5*x8 + 36737*x6*x8 + 42845*x7*x8 + 16526*x8^2 + 36737*x1*x9 + 36737*x2*x9 + 36737*x3*x9 + 36737*x4*x9 + 36737*x5*x9 + 36737*x6*x9 + 51289*x7*x9 + 42845*x8*x9 + 16526*x9^2 + 36737*x1*x10 + 36737*x2*x10 + 36737*x3*x10 + 36737*x4*x10 + 36737*x5*x10 + 36737*x6*x10 + 42845*x7*x10 + 51289*x8*x10 + 42845*x9*x10 + 16526*x10^2 + 4828*x1 + 4828*x2 + 4828*x3 + 4828*x4 + 4828*x5 + 4828*x6 + 44613*x7 + 44613*x8 + 44613*x9 + 44613*x10 + 35499,
44795*x1^2 + 16612*x1*x2 + 44795*x2^2 + 7481*x1*x3 + 16612*x2*x3 + 44795*x3^2 + 48158*x1*x4 + 7481*x2*x4 + 16612*x3*x4 + 44795*x4^2 + 7481*x1*x5 + 48158*x2*x5 + 7481*x3*x5 + 16612*x4*x5 + 44795*x5^2 + 16612*x1*x6 + 7481*x2*x6 + 48158*x3*x6 + 7481*x4*x6 + 16612*x5*x6 + 44795*x6^2 + 46336*x1*x7 + 46336*x2*x7 + 46336*x3*x7 + 46336*x4*x7 + 46336*x5*x7 + 46336*x6*x7 + 27351*x7^2 + 46336*x1*x8 + 46336*x2*x8 + 46336*x3*x8 + 46336*x4*x8 + 46336*x5*x8 + 46336*x6*x8 + 19712*x7*x8 + 27351*x8^2 + 46336*x1*x9 + 46336*x2*x9 + 46336*x3*x9 + 46336*x4*x9 + 46336*x5*x9 + 46336*x6*x9 + 60483*x7*x9 + 19712*x8*x9 + 27351*x9^2 + 46336*x1*x10 + 46336*x2*x10 + 46336*x3*x10 + 46336*x4*x10 + 46336*x5*x10 + 46336*x6*x10 + 19712*x7*x10 + 60483*x8*x10 + 19712*x9*x10 + 27351*x10^2 + 10148*x1 + 10148*x2 + 10148*x3 + 10148*x4 + 10148*x5 + 10148*x6 + 4023*x7 + 4023*x8 + 4023*x9 + 4023*x10 + 49879
]
: