f := 94*x1^9*x2^9*x3^8*x4^8*x5^9*x6^6*x7^7*x8^3-64*x1^9*x2^9*x3^4*x4^8*x5^8*x6^
4*x7^9*x8^8-46*x1^9*x2^7*x3^6*x4^9*x5^9*x6^8*x7^6*x8^4+31*x1^7*x2^8*x3^9*x4^7*
x5^5*x6^8*x7^9*x8^4+27*x1^4*x2^7*x3^8*x4^9*x5^8*x6^7*x7^6*x8^8-85*x1^7*x2^4*x3^
4*x4^8*x5^9*x6^8*x7^7*x8^9+67*x1^6*x2^9*x3^6*x4^6*x5^8*x6^8*x7^4*x8^9+67*x1^4*
x2^9*x3^8*x4^8*x5^7*x6^7*x7^6*x8^7+12*x1^9*x2^9*x3^6*x4^9*x5^7*x7^8*x8^7+38*x1^
8*x2^4*x3^8*x4^9*x5^5*x6^7*x7^5*x8^9+79*x1^6*x2^9*x3^4*x4^8*x5^4*x6^7*x7^8*x8^9
-50*x1^6*x2^5*x3^9*x4^2*x5^9*x6^7*x7^8*x8^9-44*x1^9*x2^6*x3^4*x4^7*x5^9*x6^4*x7
^6*x8^8-13*x1^8*x2^8*x3^6*x4^2*x5^9*x6^4*x7^8*x8^8+6*x1^8*x2^5*x3^5*x4^9*x5^8*
x6^3*x7^8*x8^7+23*x1^2*x2^9*x3^7*x4^4*x5^7*x6^8*x7^8*x8^8-15*x1^8*x2^9*x3^6*x4^
3*x5^5*x6^8*x7^5*x8^8-37*x1^8*x2^7*x3^8*x4^2*x5^9*x6^6*x7^9*x8^3+6*x1^8*x2^5*x3
^5*x4^8*x5^7*x6^8*x7^7*x8^4-58*x1^7*x2^9*x3^8*x4^3*x5^8*x6^4*x7^5*x8^8+7*x1^6*
x2^6*x3^5*x4^9*x5^9*x6^6*x7^4*x8^7+86*x1^4*x2^3*x3^7*x4^5*x5^9*x6^9*x7^8*x8^7-\
16*x1*x2^9*x3^9*x4^8*x5^5*x6^8*x7^5*x8^7-34*x1^9*x2^8*x3^7*x4^8*x5^7*x6^5*x7^4*
x8^3-91*x1^9*x2^6*x3^9*x4^5*x5^6*x6^8*x7^5*x8^3-9*x1^8*x2^8*x3^7*x4^5*x5^4*x6^9
*x7^3*x8^7+21*x1^8*x2^7*x3*x4^9*x5^9*x6^8*x7^3*x8^6-7*x1^5*x2*x3^8*x4^6*x5^8*x6
^8*x7^6*x8^9-49*x1^5*x3^8*x4^9*x5^4*x6^9*x7^8*x8^8-91*x1^4*x2^9*x3^6*x4^5*x5^8*
x6^5*x7^7*x8^7+43*x1^2*x2^6*x3^6*x4^8*x5^6*x6^6*x7^9*x8^8-48*x1^9*x2^7*x3^9*x4^
6*x5^5*x7^7*x8^7-90*x1^9*x2^6*x3^5*x4^9*x5^7*x6*x7^7*x8^6-96*x1^7*x2^9*x3^8*x4^
7*x5^9*x7^6*x8^4+4*x1^7*x2^9*x3^7*x4^9*x5^9*x6^3*x7*x8^5-26*x1^7*x2^9*x3^7*x4^7
*x5^9*x6*x7^8*x8^2-83*x1^7*x2^3*x3^4*x4^8*x5^9*x6^5*x7^7*x8^7+92*x1^6*x2^9*x3^4
*x4^6*x5^4*x6^5*x7^9*x8^7-48*x1^4*x2^5*x3^6*x4^6*x5^4*x6^9*x7^8*x8^8-84*x1^2*x2
^8*x3^8*x4^8*x5^2*x6^5*x7^9*x8^8+63*x1*x2^5*x3^8*x4^7*x5^9*x6^7*x7^5*x8^8-39*x1
*x2^4*x3^7*x4^5*x5^8*x6^7*x7^9*x8^9-64*x2^5*x3^6*x4^8*x5^9*x6^6*x7^7*x8^9-x1^9*
x2^9*x3^3*x4*x5^5*x6^6*x7^7*x8^9-33*x1^8*x2^9*x4^6*x5^7*x6^8*x7^5*x8^6-95*x1^8*
x2^8*x3^5*x4^5*x5^8*x6^9*x7*x8^5-45*x1^8*x2^6*x3^7*x4^8*x5^3*x6^7*x7^5*x8^5+57*
x1^7*x2^9*x3^5*x4^9*x5^8*x6^5*x7^3*x8^3+44*x1^7*x3^2*x4^9*x5^9*x6^5*x7^9*x8^8+
65*x1^6*x2^8*x3^6*x4^6*x5^9*x6^7*x7^6*x8+20*x1^4*x2^8*x3^7*x4^8*x5^7*x7^9*x8^6+
92*x1^2*x2^6*x3^8*x4^6*x5^8*x6^6*x7^6*x8^7-93*x1^2*x2^4*x3^8*x4^8*x5^5*x6^7*x7^
8*x8^7+25*x1^2*x2^3*x3^8*x4^8*x5^6*x6^7*x7^7*x8^8+70*x2^4*x3^8*x4^8*x5^9*x6^6*
x7^8*x8^6+84*x2^3*x3^6*x4^9*x5^7*x6^7*x7^9*x8^8-47*x1^9*x2^6*x3^7*x4^4*x5^4*x6^
6*x7^5*x8^7+80*x1^8*x2^4*x3^8*x4^9*x5^6*x6^8*x7^5+30*x1^8*x2^4*x3^8*x4^6*x5^3*
x6^2*x7^9*x8^8-4*x1^7*x2^9*x3^7*x4^2*x5^8*x6^9*x7^3*x8^3-98*x1^7*x2^8*x3^7*x4^5
*x5^9*x7^3*x8^9-89*x1^7*x2^7*x3^8*x4^2*x5^7*x6^6*x7^2*x8^9-27*x1^7*x2^5*x3^6*x4
^6*x5^6*x6^9*x7^5*x8^4+21*x1^5*x2^7*x3^4*x4^4*x5^6*x6^8*x7^5*x8^9+18*x1^5*x2^6*
x3^8*x4^9*x5^6*x6^7*x7^4*x8^3-41*x1^5*x2^5*x3^7*x4^6*x5^9*x6^2*x7^9*x8^5-20*x1^
5*x2^5*x3^5*x4^9*x5^5*x6^5*x7^7*x8^7-19*x1^5*x2^2*x3^9*x4^8*x5^5*x6*x7^9*x8^9+
91*x1^3*x2^9*x3^6*x4*x5^4*x6^9*x7^7*x8^9-67*x1^3*x2^2*x3^9*x4^8*x5^6*x6^8*x7^4*
x8^8-96*x1^3*x3^9*x4^7*x5^9*x6^9*x7^9*x8^2+7*x1^2*x2^9*x3^6*x4^7*x5^4*x6^9*x7^3
*x8^8+61*x1^2*x2^7*x3^7*x4*x5^8*x6^9*x7^6*x8^8+89*x1^9*x2^9*x3*x4^7*x5^9*x6^4*
x7^7*x8+4*x1^9*x2^7*x3^6*x5^3*x6^8*x7^5*x8^9+34*x1^9*x2^4*x3^8*x4*x5^8*x6^5*x7^
4*x8^8+81*x1^9*x2^2*x3^8*x4^8*x5^8*x7^3*x8^9+8*x1^8*x2^3*x3^8*x4*x5^9*x6^2*x7^7
*x8^9-61*x1^8*x2^2*x3^8*x4^7*x5^4*x6^7*x7^5*x8^6+41*x1^7*x2^8*x3*x4^7*x5^8*x6^9
*x7^7+34*x1^6*x2^9*x3^6*x4^7*x5^7*x7^6*x8^6-86*x1^6*x2^7*x3^7*x4^8*x5*x6^9*x7^8
*x8+93*x1^6*x2^7*x3^2*x4^8*x5^9*x6^5*x7^3*x8^7+69*x1^6*x2^6*x3^2*x4^2*x5^8*x6^9
*x7^6*x8^8-72*x1^6*x2^5*x3^6*x4^9*x5^7*x6^6*x8^8+38*x1^5*x2^9*x3*x4^5*x5^4*x6^9
*x7^8*x8^6+51*x1^5*x2^8*x3^9*x4^2*x5^9*x6^3*x7^8*x8^3-62*x1^5*x2^5*x3^7*x4^4*x5
^9*x6^6*x7^3*x8^8+11*x1^4*x2^3*x3^6*x4^9*x5*x6^9*x7^6*x8^9-97*x1^4*x3^9*x4^9*x5
^5*x6^6*x7^7*x8^7-96*x1^3*x2^8*x3*x4^8*x5^4*x6^9*x7^6*x8^8+88*x1^3*x2^8*x4^8*x5
^6*x6^9*x7^8*x8^5-48*x1^2*x2^7*x3^3*x4^8*x5^7*x6^7*x7^8*x8^5+36*x1*x2^6*x3^7*x4
^9*x5^9*x6^7*x7^6*x8^2-51*x2^9*x3^6*x4^4*x5^6*x6^8*x7^9*x8^5-39*x1^9*x2^9*x3^2*
x4^9*x5^4*x7^9*x8^4-98*x1^8*x2^9*x4^9*x5^5*x6^5*x7^2*x8^8+64*x1^8*x2^8*x3^7*x4^
3*x5^2*x6^7*x7^6*x8^5+26*x1^8*x2^4*x3^7*x4^9*x5^2*x6^8*x7^2*x8^6+4*x1^7*x2^7*x3
^5*x4^8*x5^5*x6^7*x7^3*x8^4-32*x1^6*x2^9*x3^9*x4*x5^6*x6^3*x7^8*x8^4-69*x1^6*x2
^8*x3^8*x4^5*x6^3*x7^7*x8^9-46*x1^6*x2^6*x3^7*x4^9*x5^3*x6^5*x7^5*x8^5-45*x1^6*
x2*x3^6*x4^8*x5^8*x6^6*x7^7*x8^4+57*x1^6*x3^7*x4^4*x5^7*x6^7*x7^9*x8^6+76*x1^4*
x2^8*x3^3*x4^6*x5^9*x6^3*x7^8*x8^5-70*x1^4*x2^6*x3^2*x4^7*x5^9*x6^4*x7^9*x8^5+
95*x1^4*x2^4*x3^9*x4^9*x5^9*x6*x7^7*x8^3-57*x1^2*x2^7*x3^6*x4^9*x5^8*x7^5*x8^9+
21*x1^2*x2^6*x3^8*x4^8*x6^7*x7^6*x8^9-4*x1^2*x2^4*x3^7*x4^7*x5^6*x6^7*x7^4*x8^9
+15*x1*x2^9*x3^5*x4^5*x5^8*x6^5*x7^4*x8^9-83*x1*x2^8*x3^7*x4^9*x6^9*x7^6*x8^6+
81*x1*x3^9*x4^4*x5^8*x6^9*x7^9*x8^6-65*x2^5*x3^8*x4^7*x5^3*x6^7*x7^8*x8^8+17*x2
^5*x3^2*x4^6*x5^8*x6^8*x7^9*x8^8-4*x1^9*x2^9*x3^7*x4^8*x6*x7^2*x8^9+34*x1^9*x2^
8*x3^8*x5^6*x6^6*x7^6*x8^2-85*x1^9*x2^3*x3^4*x4^2*x5^7*x6^7*x7^7*x8^6-90*x1^9*
x2^3*x4^5*x5^5*x6^8*x7^6*x8^9+37*x1^9*x2^2*x3^4*x4^9*x5^5*x6^7*x7^7*x8^2-65*x1^
9*x2*x3^9*x4^4*x5^2*x6^9*x7^4*x8^7-49*x1^8*x2^7*x3^6*x4^2*x5^8*x6^3*x7^9*x8^2-\
86*x1^7*x2^8*x3^2*x4^4*x5^6*x6^9*x7^3*x8^6-32*x1^7*x2^7*x3^9*x4^4*x5^7*x6^5*x7*
x8^5+91*x1^7*x2^4*x3^3*x4^5*x5^3*x6^7*x7^8*x8^8-68*x1^7*x2^3*x3^7*x4^6*x5^8*x6^
3*x7^9*x8^2+98*x1^7*x2^3*x3^5*x4^2*x5^6*x6^9*x7^9*x8^4-99*x1^6*x2^8*x3^2*x4^3*
x5^9*x7^8*x8^9-90*x1^6*x2^5*x3^9*x4^7*x5^6*x6*x7^2*x8^9-47*x1^6*x2^5*x3^5*x4^9*
x5^4*x7^8*x8^8+40*x1^6*x2^4*x3^7*x4^9*x5^3*x6^7*x7^8*x8-26*x1^6*x2^4*x3^2*x4^8*
x5^7*x6^9*x7^4*x8^5+4*x1^6*x2^4*x3^2*x4^7*x5^5*x6^9*x7^9*x8^3-82*x1^5*x2^7*x3^4
*x4^8*x5^9*x6^7*x7^4*x8+87*x1^3*x2^9*x3^8*x4^5*x6^9*x7^9*x8^2-72*x1^2*x2^8*x3^2
*x4^8*x5^7*x6^7*x7^3*x8^8-68*x1^2*x2^7*x3^5*x4^2*x5^8*x6^6*x7^9*x8^6+33*x1^2*x2
^6*x3^9*x4^9*x5^3*x7^9*x8^7-70*x1^2*x2^2*x3^8*x4^6*x5^9*x6^2*x7^7*x8^9-79*x1*x2
^9*x3^3*x4^6*x5^9*x6^6*x7^8*x8^3-28*x1*x2^8*x3*x4^5*x5^6*x6^9*x7^7*x8^8+81*x1^9
*x2^9*x3*x4^7*x5^6*x7^5*x8^7+39*x1^9*x2^7*x3^7*x4^7*x5^2*x6^5*x7^3*x8^4-47*x1^9
*x2*x3^5*x5^5*x6^9*x7^7*x8^8+8*x1^9*x2*x4^7*x5^8*x6^7*x7^5*x8^7+68*x1^9*x3^7*x4
^2*x5^3*x6^6*x7^9*x8^8+4*x1^8*x2^9*x3^4*x4^5*x5^2*x6^7*x7*x8^8+68*x1^8*x2^8*x3^
7*x4^9*x5^4*x7^7*x8+39*x1^8*x2^6*x3^7*x5^5*x6^7*x7^3*x8^8-36*x1^8*x2*x3^5*x4^8*
x5^4*x6^4*x7^9*x8^5+97*x1^7*x2^7*x3^4*x4^4*x5^9*x6^7*x7^6-8*x1^7*x2^4*x3^4*x5^9
*x6^4*x7^9*x8^7+12*x1^7*x2^3*x3^6*x4^6*x5^6*x7^8*x8^8+2*x1^7*x2*x3^6*x4^8*x5^3*
x6^8*x7^3*x8^8-39*x1^7*x3^2*x4^9*x5^3*x6^8*x7^9*x8^6+21*x1^5*x2^8*x3^8*x4^2*x5^
5*x6^8*x8^8-3*x1^4*x2^5*x3^6*x4^8*x5^7*x6^9*x7*x8^4+53*x1^4*x2^5*x3^5*x4^3*x5^4
*x6^6*x7^9*x8^8+74*x1^3*x2^8*x3^9*x4^7*x5^5*x6^8*x7^2*x8^2-82*x1^3*x2^6*x3^4*x4
^9*x5^4*x6^9*x7^9-15*x1^3*x2^5*x3^7*x4^7*x5^6*x6^8*x7^4*x8^4-67*x1^3*x2^4*x3*x4
^5*x5^6*x6^9*x7^8*x8^8+20*x1^2*x2^9*x3^8*x4^5*x5*x6*x7^9*x8^9+9*x1^2*x2^8*x3^2*
x4^8*x5^6*x6^9*x7^3*x8^6+38*x1^2*x2^5*x3^2*x4^9*x5^9*x6^6*x7^4*x8^7-36*x2^9*x3^
9*x4^5*x5^4*x6^4*x7^5*x8^8-15*x2^9*x3^3*x4^6*x5^5*x6^7*x7^7*x8^7-68*x2^8*x3^2*
x4^6*x5^8*x6^9*x7^3*x8^8-68*x1^9*x3^7*x4^5*x6^5*x7^8*x8^9+73*x1^8*x2^5*x3^6*x4^
8*x5^2*x6^5*x7^5*x8^4-51*x1^8*x2^5*x3^6*x4^4*x5^8*x6*x7^9*x8^2-16*x1^8*x2^4*x3^
6*x4^4*x5^4*x6^8*x7^6*x8^3-33*x1^8*x2^2*x3^6*x4^8*x5^6*x6^4*x7^7*x8^2+23*x1^7*
x2^9*x3^8*x5^5*x6^6*x7^6*x8^2-86*x1^7*x2^7*x3^3*x4^9*x5^9*x6^4*x7^3*x8+51*x1^7*
x2^4*x3^6*x4^5*x5^7*x6^4*x7^5*x8^5-6*x1^7*x2^2*x3^8*x4^7*x5^3*x6^6*x7*x8^9-71*
x1^6*x2^8*x3*x4^4*x5^6*x6^7*x7^3*x8^8-44*x1^6*x2^5*x3^7*x4^8*x5^7*x7^3*x8^7-87*
x1^5*x2^8*x3^5*x4^4*x5^7*x6^5*x7^8*x8-39*x1^5*x2^6*x3^3*x4^8*x5^5*x6^5*x7^5*x8^
6-97*x1^4*x2^8*x3^7*x4^7*x5^8*x6^2*x7^6*x8+95*x1^4*x2^4*x3^6*x4^7*x5^8*x6^2*x7^
4*x8^8+60*x1^4*x2^2*x3^7*x4^9*x5^7*x6^6*x7^7*x8-32*x1^4*x2^2*x3^7*x5^9*x6^5*x7^
7*x8^9-95*x1^3*x2^7*x3^4*x4^4*x5^6*x6^9*x7^6*x8^4-54*x1^3*x2^4*x3^5*x4*x5^8*x6^
8*x7^6*x8^8+4*x1^3*x2^2*x3^9*x4^9*x5^8*x6*x7^8*x8^3+99*x1^2*x2^9*x3^8*x5^6*x6^7
*x7^5*x8^6-3*x1^2*x2^7*x3^4*x4^9*x5^4*x6^7*x7^9*x8-55*x1^2*x3^9*x4^6*x5^5*x6^5*
x7^7*x8^9+14*x1*x2^8*x3^7*x4^7*x5^3*x6^4*x7^9*x8^4+39*x1*x2^6*x3^2*x4^7*x5^9*x6
^8*x7^3*x8^7+34*x1*x2^5*x3^9*x4^6*x5^4*x6^6*x7^4*x8^8-6*x1*x2^4*x3^4*x4^6*x5^7*
x6^7*x7^7*x8^7-30*x1*x2^3*x3^4*x4^4*x5^8*x6^7*x7^9*x8^7+49*x1*x3^3*x4^7*x5^8*x6
^9*x7^9*x8^6-65*x2^9*x3^2*x4^7*x5^8*x6^3*x7^9*x8^5-9*x2^7*x3^6*x5^9*x6^9*x7^9*
x8^3+11*x2^5*x3^9*x4^5*x5^7*x7^9*x8^8+7*x1^9*x2^8*x3^4*x4^3*x5^2*x6^5*x7^7*x8^4
-24*x1^9*x2^8*x3*x4^5*x5^8*x6^5*x8^6-95*x1^9*x2^7*x3^2*x4^9*x5*x6^9*x7^4*x8+99*
x1^9*x2^6*x3^8*x4^7*x5*x6^9*x7*x8-93*x1^9*x2^6*x3^5*x4^5*x5*x6*x7^9*x8^6+x1^9*
x2^6*x3*x4^5*x5^8*x7^6*x8^7+92*x1^9*x2^3*x3^7*x5^7*x6^2*x7^5*x8^9-30*x1^9*x3^8*
x4^9*x6*x7^9*x8^6+57*x1^8*x2^9*x3^2*x4^4*x5^8*x6^4*x7^5*x8^2-42*x1^8*x2^7*x3^7*
x4^4*x5^5*x6^2*x7^3*x8^6+37*x1^8*x2^6*x3^7*x4^2*x5^4*x6^5*x7^8*x8^2+96*x1^8*x2^
3*x3^2*x4^3*x5^9*x6^9*x7^4*x8^4+21*x1^7*x2^9*x3^6*x4^2*x5^6*x6^2*x7^7*x8^3-34*
x1^7*x2^8*x3^4*x4^6*x5^5*x6^3*x7^2*x8^7+44*x1^7*x2^8*x3*x4^8*x5*x6^7*x7^9*x8+45
*x1^7*x2^6*x3^7*x4^4*x5^4*x6^6*x7^2*x8^6-33*x1^7*x2^4*x3*x4^4*x5^9*x7^8*x8^9+90
*x1^7*x2^2*x3^4*x4^6*x5^3*x6^3*x7^9*x8^8+32*x1^7*x2*x3^8*x4*x5^8*x6^2*x7^6*x8^9
+58*x1^7*x3^7*x4^4*x5^8*x6^6*x7^8*x8^2+40*x1^7*x3^2*x4^6*x5^9*x6^5*x7^5*x8^8+39
*x1^6*x2^8*x4^9*x5^2*x6^5*x7^9*x8^3+47*x1^6*x2^7*x3^5*x5^8*x6^7*x7^4*x8^5-28*x1
^6*x2^6*x3^7*x4^4*x5^4*x6*x7^6*x8^8-24*x1^6*x2^6*x3^6*x4^6*x5^2*x6^7*x7^7*x8^2-\
93*x1^6*x2^6*x3^5*x4^7*x5^6*x6^5*x7^7+10*x1^6*x2^6*x3^4*x4^7*x5*x6^6*x7^9*x8^3+
33*x1^6*x2^6*x3^3*x4^8*x5^9*x7^6*x8^4+21*x1^6*x2^6*x3^2*x4^2*x6^8*x7^9*x8^9-x1^
6*x2^3*x3^3*x4^2*x5^9*x6^8*x7^3*x8^8-23*x1^6*x3^6*x4^8*x5^6*x6^7*x7^9-88*x1^5*
x2^9*x3^5*x4^2*x5^6*x6^4*x7^7*x8^4-38*x1^5*x2^6*x3^6*x4^6*x5^7*x6^6*x7^2*x8^4-\
33*x1^5*x2^5*x3^3*x4^2*x5^7*x6^6*x7^6*x8^8-40*x1^5*x2^4*x3^8*x4^2*x5^7*x6^8*x7^
8-18*x1^5*x2^4*x3^6*x4^7*x5^7*x6*x7^5*x8^7-72*x1^5*x3^6*x4^8*x5^4*x6^4*x7^6*x8^
9+46*x1^4*x2^9*x3^6*x4^7*x5^6*x6^3*x7^5*x8^2+6*x1^4*x2^8*x3*x4^5*x5^4*x6^7*x7^5
*x8^8+7*x1^4*x2^7*x3^9*x4^2*x5^2*x6^8*x7^7*x8^3-55*x1^4*x2^3*x3^8*x4^8*x6^8*x7^
2*x8^9+25*x1^4*x2^2*x3^5*x4^2*x5^7*x6^9*x7^6*x8^7-88*x1^3*x2^8*x3^6*x4^7*x5^8*
x7^9*x8+37*x1^3*x2^8*x3^2*x4^6*x5^8*x6^2*x7^5*x8^8-92*x1^3*x2*x3^3*x4^9*x5^7*x6
^3*x7^7*x8^9-98*x1^2*x2^8*x3^7*x4^4*x5^4*x6^4*x7^7*x8^6+90*x1*x2^8*x3^3*x4^8*x5
*x6^6*x7^8*x8^7-53*x1*x2^6*x3^7*x4^9*x5^7*x6*x7^9*x8^2-20*x1*x2^6*x3^5*x4^5*x5^
7*x6^3*x7^9*x8^6-63*x2^7*x4^9*x5*x6^9*x7^9*x8^7+73*x1^9*x2^7*x3^5*x4^2*x5^4*x6^
8*x7^2*x8^4-75*x1^9*x2^6*x3^9*x4^9*x6^4*x8^4-20*x1^9*x2^5*x3*x4*x5^8*x6^9*x7^4*
x8^4-87*x1^9*x2^2*x3^3*x4^5*x5^9*x6^3*x7^6*x8^4-3*x1^9*x2*x3^6*x4^4*x5^4*x6^4*
x7^4*x8^9+16*x1^8*x2^9*x3^2*x4^2*x5^6*x6^6*x7^6*x8^2+38*x1^8*x2^8*x3^9*x4^3*x5^
2*x6^3*x7^6*x8^2-50*x1^8*x2^7*x3^9*x4^5*x5^3*x6*x7*x8^7+4*x1^8*x2^7*x3^2*x4^9*
x5^7*x6^2*x7^5*x8+62*x1^8*x2^4*x3^8*x4^8*x5^3*x6^2*x7^3*x8^5+25*x1^8*x2^3*x3^9*
x4^9*x5*x6^5*x7^2*x8^4+41*x1^8*x2^2*x3^4*x4^8*x5^4*x6^4*x7^6*x8^5+3*x1^8*x2*x3^
2*x4^6*x5^7*x6^2*x7^8*x8^7+19*x1^8*x3^4*x4^5*x5^8*x6^3*x7^6*x8^7+27*x1^7*x2^8*
x5^9*x6^8*x7*x8^8-24*x1^7*x2^7*x3^2*x4^5*x5^7*x6^3*x7^7*x8^3+7*x1^7*x2^6*x3^9*
x4^7*x5^2*x7^2*x8^8+30*x1^7*x2*x3^6*x4^9*x5^8*x6*x7^2*x8^7-40*x1^6*x2^9*x3^8*x4
^5*x5^9*x6^2*x7^2-55*x1^6*x2^7*x3^9*x4^6*x5^2*x6^3*x7^6*x8^2+27*x1^6*x2^4*x3^7*
x4^9*x5^5*x6^6*x7^3*x8+68*x1^5*x2^8*x3^9*x4^7*x5^6*x6^2*x7^2*x8^2+44*x1^5*x2^6*
x3^7*x4^3*x5^8*x6*x7^2*x8^9-64*x1^5*x2^4*x3^8*x4^4*x5^8*x7^3*x8^9-22*x1^4*x2^8*
x3^3*x4^6*x5^7*x6^8*x7^3*x8^2-43*x1^4*x2^7*x3^9*x4^2*x5^9*x6^2*x7^5*x8^3-31*x1^
4*x2^3*x3^7*x4^3*x5^5*x6^3*x7^9*x8^7+36*x1^4*x2^3*x3^6*x4^3*x6^7*x7^9*x8^9-52*
x1^4*x2*x3^5*x4^9*x5^5*x6^6*x7^5*x8^6+85*x1^3*x2^9*x3^7*x4^3*x5^3*x6^7*x7^7*x8^
2+93*x1^3*x2^9*x3^6*x4^9*x5^7*x6^3*x7*x8^3+93*x1^3*x2^9*x3^2*x4^9*x5^6*x6^8*x8^
4+27*x1^3*x2^6*x3^7*x5^6*x6^9*x7^8*x8^2+19*x1^3*x2^3*x3*x4^7*x5^7*x6^8*x7^5*x8^
7-63*x1^3*x2^2*x3^4*x4^9*x5^7*x6^9*x7*x8^6-18*x1^3*x3^8*x4^5*x5^3*x6^8*x7^8*x8^
6+41*x1^2*x2^7*x3^7*x4^7*x5^9*x6*x7^4*x8^4-90*x1^2*x2^7*x3^4*x4^9*x5^8*x6^7*x8^
4+71*x1^2*x2^7*x4^9*x5^8*x6^6*x7^8*x8+64*x1^2*x2^5*x3^9*x4^6*x5^6*x6^8*x7^3*x8^
2+55*x1^2*x2^4*x3^7*x4^7*x5^6*x6^5*x7^3*x8^7+3*x1^2*x2^4*x3^7*x4^5*x5^6*x7^9*x8
^8+29*x1*x2^9*x3^7*x5^7*x6^3*x7^8*x8^6-20*x1*x2^8*x3^7*x4^9*x5^7*x6^2*x7^2*x8^5
+69*x1*x2^8*x3^2*x4^9*x5^9*x6^4*x7^6*x8^2+48*x1*x2^5*x3^9*x4^2*x5^9*x6^8*x7^3*
x8^4+91*x1*x2^3*x3^8*x4^5*x5^5*x6^5*x7^8*x8^6-84*x2^9*x3^5*x4^9*x6^9*x7*x8^8-46
*x2^9*x3*x4^9*x5^8*x7^9*x8^5+32*x2^5*x3^5*x4^6*x5^9*x6^3*x7^8*x8^5+95*x3^3*x4^9
*x5^8*x6^5*x7^8*x8^8-32*x1^9*x2^8*x3*x4^5*x5^7*x7^4*x8^6-40*x1^9*x2^6*x3^3*x4*
x5^5*x6^6*x7^6*x8^4-41*x1^9*x2^3*x3^4*x4^9*x5^3*x6^2*x7*x8^9-34*x1^9*x2^2*x3^5*
x4^5*x5^5*x6*x7^7*x8^6-27*x1^9*x2*x3^7*x4*x5^5*x6^8*x8^9-51*x1^8*x2^7*x3^5*x4^5
*x5^6*x6*x7^4*x8^4-45*x1^8*x2^5*x3^6*x4^6*x5*x6*x7^6*x8^7+56*x1^8*x2^2*x3^4*x4^
4*x5^5*x6^3*x7^7*x8^7-60*x1^8*x3^4*x4^7*x5*x6^9*x7^5*x8^6-7*x1^7*x2^9*x3^6*x4*
x5^4*x6^5*x7^8-77*x1^7*x2^8*x3^9*x4^4*x5^7*x8^5+76*x1^7*x2^8*x3^9*x4*x5^2*x6^5*
x7^2*x8^6-4*x1^7*x2^6*x4^7*x5^8*x6^5*x7^3*x8^4+38*x1^7*x2^5*x4^2*x5^6*x6^7*x7^6
*x8^7-91*x1^7*x2^4*x3^5*x4^8*x5^3*x6^9*x7^4-45*x1^7*x2^2*x3^4*x4^2*x5^9*x6^2*x7
^5*x8^9-68*x1^6*x2^8*x3^4*x4^9*x5^2*x6*x7^5*x8^5-77*x1^6*x2^7*x3^6*x4^3*x5^4*x6
^7*x7^5*x8^2-27*x1^6*x2^7*x3*x4^9*x5^2*x6^6*x7^3*x8^6+98*x1^6*x2^6*x3^8*x5^7*x6
^6*x7^4*x8^3+33*x1^6*x2^4*x3^3*x4^5*x5^7*x6^9*x7*x8^5+53*x1^6*x2^2*x3^2*x4^9*x5
^6*x6^4*x7^2*x8^9-37*x1^6*x2*x3^2*x4^4*x5^6*x6^6*x7^7*x8^8-99*x1^5*x2^9*x3^5*x5
^4*x6*x7^7*x8^9+42*x1^5*x2^8*x3^7*x4^6*x5^2*x6^5*x7^4*x8^3+31*x1^5*x2^2*x3^9*x4
^7*x5^3*x6^5*x7^5*x8^4+42*x1^4*x2^9*x3^3*x4^5*x5^9*x6^3*x7^7-23*x1^4*x2^8*x3^3*
x4^8*x5^3*x6^6*x7^4*x8^4+9*x1^4*x2^6*x3^8*x4^6*x6^7*x7^2*x8^7-4*x1^4*x3^8*x4^6*
x5^6*x6^6*x7^3*x8^7-69*x1^3*x2^7*x3^9*x4^3*x5^6*x6^4*x7^5*x8^3+91*x1^3*x2^3*x3^
7*x4^6*x5*x6^7*x7^5*x8^8-61*x1^2*x2^9*x3^7*x4^6*x5*x6^6*x7^3*x8^6-49*x1^2*x2^8*
x3^2*x4^8*x5^2*x7^9*x8^9+64*x1^2*x2^8*x4*x5^8*x6^8*x7^6*x8^7+x1^2*x2^4*x3^2*x4^
2*x5^8*x6^9*x7^5*x8^8-34*x1*x2^8*x3^6*x5^5*x6^7*x7^9*x8^4-93*x1*x2^7*x3^5*x4^2*
x5^6*x6^9*x7^9*x8+95*x1*x2^6*x3^5*x4^8*x5^7*x6^3*x7^7*x8^3-43*x1*x2^6*x3^3*x4^4
*x5^9*x6^9*x7^3*x8^5-63*x2^8*x3^5*x4^4*x5^3*x6^9*x7^2*x8^9-85*x2^6*x3^9*x4^2*x5
^6*x6^8*x7*x8^8+39*x2^4*x3^9*x4^8*x5^8*x6^2*x7*x8^8-21*x2^3*x3^5*x4^7*x5^6*x6^6
*x7^7*x8^6+63*x1^9*x2^7*x3^5*x5^3*x6^9*x7^6-82*x1^9*x2^4*x3^5*x4^2*x5^3*x6^9*x7
^6*x8+31*x1^9*x2^3*x3^6*x4^3*x5^2*x6^6*x7*x8^9-18*x1^9*x2^3*x3^5*x4*x5^8*x6*x7^
4*x8^8-91*x1^9*x2^2*x3^5*x4^6*x5^2*x6^9*x7^6-85*x1^9*x2^2*x3^4*x4^5*x5^5*x6^5*
x8^9+47*x1^9*x2*x3^9*x4^4*x5^4*x6^7*x7^5+89*x1^9*x2*x4^4*x5^3*x6^4*x7^9*x8^9-75
*x1^8*x2^9*x3^2*x4^5*x5^9*x6*x7*x8^4+47*x1^8*x2^9*x4^6*x5^5*x7^9*x8^2-27*x1^8*
x2^7*x3*x4^4*x5^9*x6^5*x7^5-76*x1^8*x2^4*x3^9*x4^2*x5^4*x6^2*x7^6*x8^4+66*x1^8*
x2^3*x3^3*x4^6*x5^8*x7^4*x8^7+18*x1^8*x2^2*x4^8*x5^8*x6^6*x7*x8^6+3*x1^7*x2^4*
x3^3*x4^6*x5^3*x6^9*x7^7+58*x1^6*x2^9*x3^6*x4^5*x5^4*x6^2*x8^7+18*x1^6*x2^5*x3^
7*x4^6*x5*x6^7*x7^2*x8^5+79*x1^6*x2^5*x3^6*x4^3*x5^4*x6^7*x7^6*x8^2-24*x1^6*x2^
5*x3^2*x4^8*x5^6*x6*x7^8*x8^3+89*x1^6*x2^4*x3^9*x4^8*x5*x6^8*x7^3+37*x1^6*x2^4*
x3*x4^7*x5*x6^8*x7^8*x8^4-87*x1^6*x2^3*x3^2*x4^7*x5^3*x6^9*x7^4*x8^5-62*x1^6*x2
^2*x3^2*x4^6*x5^8*x6^6*x7^3*x8^6+63*x1^5*x2^9*x3^3*x4^4*x6^6*x7^3*x8^9+9*x1^5*
x2^8*x3^3*x4^5*x5^9*x7^2*x8^7+13*x1^5*x2^7*x3*x4^7*x5*x6^5*x7^6*x8^7-17*x1^5*x2
^6*x3^9*x4^3*x5^3*x6^8*x8^5+94*x1^5*x2^6*x3^7*x4^2*x6^7*x7^3*x8^9-64*x1^5*x2^6*
x3^4*x4*x5^9*x6^4*x7*x8^9+38*x1^5*x2^5*x3*x4^6*x5^5*x6^9*x7^8-61*x1^5*x2^3*x3^6
*x4^4*x5^7*x6^5*x7^9+96*x1^4*x2^8*x3^2*x4*x5*x6^9*x7^6*x8^8+76*x1^4*x2^7*x3^9*
x6^6*x7^6*x8^7+97*x1^4*x2^7*x3^2*x4^3*x5^6*x6^3*x7^7*x8^7-33*x1^4*x2*x3^9*x4^2*
x5^3*x6^9*x7^6*x8^5-48*x1^4*x4^5*x5^7*x6^8*x7^6*x8^9-61*x1^3*x2^8*x3^5*x4^4*x5^
2*x6^7*x7^7*x8^3+76*x1^3*x2^8*x3^3*x4*x5^8*x6^8*x7^4*x8^4-59*x1^3*x2^4*x3^5*x4^
2*x5^6*x6^9*x7^8*x8^2+35*x1^3*x2^3*x3^7*x4^8*x5^6*x6^3*x7^6*x8^3-69*x1^3*x3*x4^
8*x5^6*x6^6*x7^6*x8^9+9*x1^2*x2^9*x4^2*x5^6*x6^9*x7^2*x8^9-74*x1^2*x2^7*x3^6*x4
^8*x5^4*x6^6*x7^5*x8+3*x1^2*x2^6*x3^2*x4^3*x5^9*x6^3*x7^7*x8^7-85*x1^2*x2^2*x3^
4*x4^2*x5^3*x6^8*x7^9*x8^9-53*x1*x2^8*x3^9*x4^3*x5^9*x6^4*x7^2*x8^3-94*x1*x2^7*
x3^7*x4^8*x5^5*x6*x7^6*x8^4-9*x1*x3^5*x4^8*x5^4*x6^3*x7^9*x8^9+67*x2^6*x3^6*x4^
9*x5^7*x6^3*x8^8-17*x2^2*x3^9*x4^6*x5^9*x6^6*x8^7-70*x1^9*x2^5*x4^2*x5^2*x6^4*
x7^7*x8^9+76*x1^9*x2^4*x3^5*x4^2*x5^5*x6^5*x7^4*x8^4+71*x1^9*x2^3*x3^4*x4^3*x5^
3*x6^5*x7^9*x8^2+7*x1^9*x2^2*x3^8*x4^4*x5^8*x6^7-25*x1^9*x3^4*x4^9*x5^8*x6^4*x7
*x8^3+57*x1^9*x3^4*x4^6*x5^8*x6^8*x7^2*x8-84*x1^9*x3^4*x4*x5^5*x6^9*x7^2*x8^8-\
98*x1^8*x2^9*x3^7*x4^5*x7^8*x8+96*x1^8*x2^8*x4*x5^8*x6^3*x7^7*x8^3+3*x1^8*x2^6*
x3^4*x4^7*x5^2*x6^3*x7^4*x8^4+54*x1^8*x2^4*x3^7*x4^2*x5^9*x6^2*x8^6-94*x1^8*x2^
3*x3*x4^8*x5^2*x6^7*x7*x8^8-54*x1^8*x2^2*x3^5*x4^4*x5^4*x6^6*x7^7*x8^2+49*x1^8*
x3^9*x4^4*x5^7*x6^6*x8^4-75*x1^7*x2^8*x3^5*x4^6*x5^7*x6^2*x7^2*x8+56*x1^7*x2^8*
x4^7*x5^3*x6^3*x7^6*x8^4-20*x1^7*x2^6*x3^5*x4^5*x5^3*x6^5*x7^6*x8-50*x1^7*x2^6*
x3^3*x4^3*x5*x6*x7^9*x8^8+87*x1^7*x2*x3*x4^6*x5^8*x7^8*x8^7+25*x1^7*x3^3*x4^6*
x5^8*x7^6*x8^8-76*x1^6*x2^4*x3^2*x4^2*x5^8*x6^7*x7*x8^8-67*x1^6*x2^3*x3^3*x4^9*
x5^4*x6^2*x7^9*x8^2+94*x1^5*x2^2*x3^3*x4^4*x5^6*x6*x7^9*x8^8+54*x1^5*x2*x3^3*x4
^4*x5^8*x7^9*x8^8-96*x1^4*x2^3*x3^4*x4^3*x5*x6^8*x7^8*x8^7-20*x1^3*x2^9*x3^8*x4
^4*x6^3*x7^5*x8^6+9*x1^3*x2^8*x3^8*x4^4*x5*x6^4*x7^4*x8^6-66*x1^3*x2^6*x3^9*x4^
3*x5*x6^6*x7^2*x8^8-86*x1^3*x2^5*x3^5*x5^6*x6^7*x7^4*x8^8+88*x1^3*x2^2*x3^2*x4^
8*x5^2*x6^7*x7^6*x8^8+97*x1^2*x2^9*x3^8*x4^5*x5^2*x6^4*x7^3*x8^5+34*x1^2*x2^9*
x3^7*x4^6*x5^4*x6^4*x7*x8^5-82*x1^2*x2^4*x3^6*x4^7*x5*x6^8*x7^3*x8^7-42*x1^2*x2
^3*x3^7*x4^6*x5^6*x6*x7^7*x8^6-33*x1^2*x2^3*x3^6*x4^4*x5^9*x6^3*x7^5*x8^6+86*x1
^2*x2^3*x3^2*x4^6*x5^7*x6^5*x7^8*x8^5+49*x1*x2^9*x3^9*x4^5*x6^4*x7^9*x8+80*x1*
x2^9*x4^4*x6^9*x7^9*x8^6-18*x1*x2^8*x3^3*x4*x5^9*x7^7*x8^9+91*x1*x2^7*x3^2*x4^2
*x5^6*x6^9*x7^7*x8^4+45*x1*x2^6*x3^6*x4^7*x5^7*x6^3*x7^6*x8^2+44*x2^9*x3^7*x4^2
*x5^6*x6*x7^4*x8^9+49*x2^7*x3^2*x4^5*x5^6*x6^2*x7^7*x8^9-10*x2^2*x3^7*x4^9*x5^3
*x6^9*x7^3*x8^5+47*x1^9*x2^6*x3^2*x4^8*x5^3*x6^3*x7^5*x8-51*x1^9*x2^3*x3^4*x4^2
*x5^4*x6^8*x8^7+10*x1^9*x2^3*x4^8*x5^6*x6^2*x7*x8^8-45*x1^9*x2^2*x3^9*x4^3*x5^5
*x6*x7^2*x8^6+6*x1^9*x2^2*x3*x4^5*x5^9*x7^5*x8^6+61*x1^9*x3^6*x4^2*x5^6*x6^4*x7
^8*x8^2-96*x1^8*x2^9*x3^8*x4^7*x5*x7^2*x8^2-48*x1^8*x2^9*x3^6*x5^2*x6*x7^4*x8^7
+6*x1^8*x2^8*x3^6*x5^7*x6^3*x7^2*x8^3-39*x1^8*x2^5*x3^6*x4^5*x6^6*x7^4*x8^3-8*
x1^8*x2^2*x3^8*x4^5*x5^8*x6^2*x7^3*x8+75*x1^8*x2*x3*x4^6*x5*x6^7*x7^6*x8^7-44*
x1^7*x2^8*x4^8*x5^2*x6*x7^4*x8^7-4*x1^7*x2^7*x3*x4^3*x5^2*x6^9*x7^3*x8^5-60*x1^
7*x2^6*x3^4*x4^5*x5^6*x7^4*x8^5+24*x1^7*x2^4*x3^4*x4^2*x5^5*x6^7*x7^6*x8^2+54*
x1^7*x2^3*x3^8*x4^9*x5^3*x6^7-4*x1^7*x2^2*x3^9*x4^5*x5*x7^7*x8^6+72*x1^7*x2*x3^
9*x5^4*x6^4*x7^5*x8^7-52*x1^7*x2*x3^6*x4^5*x5^7*x6^7*x7*x8^3-10*x1^6*x2^7*x3*x4
^6*x5^6*x6^2*x7^8*x8+51*x1^6*x2^5*x4^6*x5^6*x6^3*x7^3*x8^8+54*x1^6*x2*x3^8*x4^3
*x5*x6^7*x7^2*x8^9-83*x1^5*x2^5*x3^2*x4^8*x5^6*x6^2*x7^2*x8^7+20*x1^5*x2^5*x3^2
*x5^6*x6^6*x7^7*x8^6+54*x1^5*x2^2*x3^8*x4^2*x5^2*x6^2*x7^8*x8^8-66*x1^4*x2^7*x3
^3*x4^4*x6^7*x7^7*x8^5-94*x1^4*x2^5*x3^7*x4^3*x5^6*x6^5*x7^3*x8^4-32*x1^4*x2^5*
x3^4*x4^9*x6^7*x7^8+39*x1^4*x2^3*x3^7*x4^3*x5^8*x6^3*x7^6*x8^3+22*x1^4*x2*x3^6*
x4^5*x5^2*x6^6*x7^7*x8^6-34*x1^3*x2^8*x3^2*x4^3*x5^4*x6^7*x7^8*x8^2+37*x1^3*x2^
6*x3^4*x4^9*x6*x7^7*x8^7+77*x1^3*x2^5*x3^2*x4^2*x5^3*x6^9*x7^7*x8^6-38*x1^3*x3^
7*x4^7*x5^6*x6^8*x7^5*x8-37*x1^2*x2^7*x3^3*x4^2*x5^2*x6^8*x7^8*x8^5+49*x1^2*x2^
5*x3^5*x4*x5*x6^5*x7^9*x8^9+73*x1^2*x2^5*x3^2*x4*x5^7*x6^9*x7^6*x8^5-62*x1^2*x2
*x3^9*x4^9*x5*x6^8*x7^4*x8^3+35*x1^2*x2*x3^7*x4^8*x5^8*x6^2*x7^3*x8^6-87*x1*x2^
6*x3^6*x4^8*x5^4*x7^4*x8^8+99*x1*x2^2*x3^6*x4^6*x5^6*x6^6*x7^4*x8^6-73*x1*x2*x3
^8*x4^4*x5^4*x6^3*x7^7*x8^9-77*x1*x2*x3^7*x4^9*x5^7*x6^7*x7^4*x8-67*x2^8*x3^7*
x4*x5^8*x6^4*x7^3*x8^6-32*x2^6*x3^6*x4^7*x5^5*x6^2*x7^8*x8^3+60*x2^6*x3^6*x4^3*
x5^7*x6^5*x7^2*x8^8-56*x2^4*x3^3*x4^8*x5^5*x6^8*x7^7*x8^2-89*x2^3*x3^3*x4^6*x5^
6*x6^8*x7^3*x8^8+32*x2^2*x3^7*x4^8*x5^2*x6^9*x7^8*x8-6*x2^2*x3^6*x4^8*x5^9*x6^6
*x8^6+45*x3^8*x4^3*x5^7*x6^3*x7^9*x8^7-47*x1^9*x2^7*x3*x4^3*x5^5*x6^6*x7^2*x8^3
-38*x1^9*x2^6*x3^4*x4^7*x5*x6^3*x7^5*x8+36*x1^9*x2^5*x5^4*x6^3*x7^7*x8^8+20*x1^
9*x2^4*x3^2*x4^5*x5*x6^6*x7^6*x8^3-39*x1^9*x2^3*x3^2*x4^5*x5^8*x7*x8^8-31*x1^9*
x2^2*x3^4*x4^4*x5^2*x6^3*x7^8*x8^4-35*x1^9*x2^2*x4*x5^2*x6^9*x7^9*x8^4+5*x1^9*
x2*x3^3*x4^2*x5^6*x6^2*x7^9*x8^4+40*x1^9*x3^9*x4*x5^9*x6^3*x7^2*x8^3+14*x1^8*x2
^8*x4^2*x5^9*x6*x7^8+86*x1^8*x2^5*x3*x4^3*x5^6*x6^2*x7^2*x8^9+49*x1^8*x2^2*x3^8
*x4^9*x5^5*x8^4+81*x1^8*x2^2*x3^4*x4*x5^2*x6^8*x7^6*x8^5-55*x1^8*x3^2*x4^2*x5^3
*x6^6*x7^7*x8^8-99*x1^7*x2^8*x3^3*x4^7*x5*x6^4*x7^3*x8^3+72*x1^7*x2^7*x3^5*x4*
x5^6*x7^9*x8-75*x1^7*x2^7*x3^2*x4^5*x5^7*x7^2*x8^6-20*x1^7*x3^6*x4^3*x5^9*x6^5*
x7^6-89*x1^6*x2^3*x3^7*x4^2*x6^3*x7^8*x8^7-78*x1^5*x2^7*x3^6*x5^8*x7*x8^9+78*x1
^5*x2^7*x3^3*x5^2*x6^8*x7^8*x8^3-62*x1^5*x2^7*x3^2*x4^9*x5^4*x6^4*x7^2*x8^3+61*
x1^5*x2^4*x3^9*x4^6*x5^2*x6^5*x7*x8^4+43*x1^5*x2^3*x3^4*x4^6*x5^2*x6^9*x7^6*x8+
77*x1^5*x2^2*x3^9*x4^8*x5^3*x6*x7^7*x8+12*x1^5*x2^2*x3^9*x4*x5*x6^5*x7^4*x8^9-\
31*x1^5*x2^2*x3^7*x4^8*x5^8*x6^4*x7^2+41*x1^5*x2*x3^5*x4^5*x5^2*x6^6*x7^5*x8^7-\
22*x1^4*x2^9*x3^3*x4^2*x5^6*x6^3*x7^5*x8^4+79*x1^4*x2^8*x4^6*x5^6*x6^7*x7^2*x8^
3+56*x1^4*x2^7*x3*x4^7*x5^4*x6^2*x7^5*x8^6+84*x1^4*x2^5*x4*x5^6*x6^5*x7^9*x8^6-\
32*x1^4*x2^4*x3*x4^4*x5^5*x6^9*x7^4*x8^5-19*x1^3*x2^7*x3^2*x4^5*x5^3*x6^7*x7^9-\
40*x1^3*x2^6*x3^6*x4^2*x5^5*x6^4*x7^5*x8^5-65*x1^3*x2^3*x3^7*x4^2*x5^9*x6^7*x7*
x8^4-78*x1^3*x2^3*x3*x4^8*x5^8*x6^9*x8^4-31*x1^3*x2*x3^7*x5^9*x6^8*x7^2*x8^6-76
*x1^3*x3^7*x4^2*x5^4*x6^8*x7^3*x8^9-59*x1^2*x2^3*x3^2*x4*x5^6*x6^6*x7^7*x8^9-55
*x1*x2^8*x3^8*x4^7*x5^2*x7^4*x8^6+79*x1*x2^6*x3^7*x4^8*x5^3*x6^2*x7^9-97*x1*x2^
6*x3^6*x4^8*x5^5*x6*x8^9-24*x2^7*x3^5*x4^5*x5^7*x6^3*x7^5*x8^4-30*x2^5*x3^4*x4^
2*x5^4*x6^6*x7^9*x8^6-14*x1^9*x2^4*x3^6*x4*x5*x6^7*x7^7-66*x1^8*x2^6*x3^5*x4^6*
x5^4*x6^4*x8^2+78*x1^8*x2^6*x3^5*x4^4*x5*x6^4*x8^7-36*x1^8*x2^3*x3^8*x4*x5^4*x6
^4*x7^7-39*x1^8*x2*x3^6*x4^4*x5^9*x6^2*x7*x8^4-96*x1^7*x2^9*x3^4*x4*x5^8*x6^2*
x7^3*x8-67*x1^7*x2^7*x3^8*x4^2*x5^7*x6*x7^3-82*x1^7*x2^6*x4^2*x5^6*x6^3*x7^2*x8
^9+46*x1^7*x2^5*x5^3*x6^6*x7^6*x8^8+14*x1^7*x2^3*x3^2*x4^8*x5^3*x6^8*x7^4-88*x1
^7*x2^2*x3^9*x4*x5^7*x6^8*x7-8*x1^7*x2^2*x3^6*x4^2*x5^3*x6^4*x7^5*x8^6+57*x1^7*
x3^7*x4*x5^2*x6^4*x7^7*x8^7-76*x1^7*x3^4*x5^6*x6^6*x7^3*x8^9-60*x1^7*x3^3*x4^4*
x5^6*x6^3*x7^9*x8^3+89*x1^6*x2^4*x3^8*x4^4*x5^2*x7^2*x8^9-61*x1^6*x2^4*x3^5*x4^
3*x5^4*x6^7*x7^6+55*x1^6*x3^8*x4^4*x5^6*x6^9*x7*x8+20*x1^6*x3*x4*x5^4*x6^6*x7^8
*x8^9-28*x1^5*x2^4*x3^5*x4^4*x5^5*x6*x7^6*x8^5+50*x1^5*x2^2*x3*x4^9*x7^9*x8^9-\
21*x1^5*x2*x3^3*x4^8*x5^7*x6^2*x7^6*x8^3-7*x1^5*x2*x3^2*x4^8*x5^7*x6^5*x7^5*x8^
2-2*x1^5*x3^5*x4^2*x5^9*x6^6*x8^8-62*x1^4*x2^8*x3^7*x4^6*x6^6*x7*x8^3+89*x1^4*
x2^6*x3^7*x4^3*x5^3*x6^9*x7^2*x8+12*x1^4*x2^6*x3*x4^7*x5^4*x6^4*x8^9+49*x1^4*x2
^4*x3^9*x4^2*x5^5*x6^5*x7^6-9*x1^4*x2^4*x3^2*x4^4*x5^3*x6^9*x7^3*x8^6-69*x1^4*
x2^3*x3^8*x4^5*x5^2*x6*x7^3*x8^9-50*x1^4*x2^3*x3^7*x4^4*x5^3*x6^2*x7^6*x8^6-75*
x1^3*x2^6*x3^6*x4^5*x6^9*x7^3*x8^3-31*x1^3*x2^3*x3^6*x4^4*x5^9*x6^9*x7+42*x1^3*
x2^2*x3^6*x4^9*x6^8*x7^7+94*x1^3*x3^7*x4^5*x5^4*x6^4*x7^3*x8^9+28*x1^2*x2^8*x3^
4*x4*x5^7*x6^2*x7^4*x8^7+46*x1^2*x2^7*x3^7*x4^6*x5*x6^5*x7*x8^6+96*x1^2*x2^3*x3
^8*x4^2*x5^5*x6^5*x7^5*x8^5+77*x1^2*x2^3*x3^7*x4^8*x5^9*x6^4*x7*x8+34*x1^2*x2^2
*x3^5*x4^4*x5^6*x6^8*x8^8-9*x1^2*x2*x3^5*x4^9*x5^6*x6^3*x7^5*x8^4-15*x1*x2^9*x3
^2*x4^7*x5^3*x6*x7^9*x8^3-49*x1*x2^9*x4*x5^5*x6^5*x7^7*x8^7+24*x1*x2^8*x3^8*x4^
3*x5*x6^5*x7^6*x8^3-5*x1*x2^8*x3^7*x6^7*x7^9*x8^3-26*x1*x2^8*x3^6*x4*x5^3*x6^9*
x8^7-25*x1*x2^8*x3^5*x4^6*x5^9*x6^2*x8^4-29*x1*x2^6*x3^6*x4^4*x5^7*x6*x7^7*x8^3
+77*x1*x2^5*x3^6*x4^4*x5^6*x6^9*x8^4+87*x1*x2^5*x4^3*x5^5*x6^4*x7^9*x8^8+27*x1*
x2^2*x3^7*x4*x5^7*x6^6*x7^7*x8^4-11*x2^3*x3^7*x4^9*x5^5*x6^8*x8^3+91*x2*x3^3*x4
^6*x5^3*x6^7*x7^8*x8^7+40*x1^9*x2^3*x4^4*x5^8*x7^4*x8^6-20*x1^9*x2^2*x3^7*x4^3*
x5^4*x7^6*x8^3-29*x1^9*x2^2*x4^9*x5^7*x6*x8^6-35*x1^9*x2*x3^9*x4*x5^4*x7^4*x8^6
-65*x1^8*x2^9*x3*x4*x6*x7^7*x8^7+97*x1^8*x2^4*x3^8*x4^3*x6^5*x7^6+78*x1^8*x2^4*
x3^7*x4*x6^8*x7^6+19*x1^8*x2^3*x3^5*x5^7*x6^2*x7^8*x8-22*x1^8*x2^2*x3^5*x4^3*x5
^3*x6^6*x7^2*x8^5+72*x1^7*x2^3*x3^6*x4^6*x6^9*x7^3-8*x1^7*x2^3*x3^4*x4^6*x5^3*
x6^4*x7*x8^6+68*x1^7*x2^3*x4*x5^7*x6^2*x7^7*x8^7-14*x1^7*x3^5*x4^3*x5^7*x6*x7^6
*x8^5+11*x1^7*x3*x4^8*x5*x6^6*x7^6*x8^5+64*x1^6*x2^9*x3^6*x5^4*x6^2*x7*x8^6+22*
x1^6*x2^7*x3^2*x4^4*x5^7*x8^8+27*x1^6*x2^5*x4^6*x5^5*x7^3*x8^9-81*x1^6*x2^4*x3^
8*x4*x5^5*x6^6*x8^4+58*x1^6*x2^4*x4^5*x5^9*x6^8*x8^2-12*x1^6*x3^4*x4^6*x5^6*x6^
6*x7^4*x8^2+42*x1^5*x2^9*x3^7*x4^5*x5^2*x6^3*x7^3+63*x1^5*x2^9*x3^5*x4^2*x5^3*
x7^5*x8^5-30*x1^5*x2^9*x3^4*x4^5*x5^2*x6^2*x7*x8^6-10*x1^5*x2^8*x3^6*x5^5*x6^7*
x7^3-97*x1^5*x2^4*x3^8*x5^3*x6^9*x7^2*x8^3+18*x1^5*x2^4*x3^2*x4*x5^9*x6^3*x7^2*
x8^8-70*x1^5*x2^3*x3*x4^4*x5^7*x6^5*x7^2*x8^7+73*x1^5*x2*x3^5*x4^8*x5^6*x6*x7^7
*x8+45*x1^4*x2^9*x3^4*x4^3*x5^5*x6^2*x7^4*x8^3+77*x1^4*x2^7*x3^9*x4*x5^5*x6^5*
x8^3-80*x1^4*x2^4*x4^2*x5^8*x6^8*x7^6*x8^2+88*x1^4*x2*x4^2*x5^2*x6^9*x7^8*x8^8+
39*x1^4*x4^5*x5^8*x6^7*x7^6*x8^4-16*x1^3*x2^8*x3*x4*x5^5*x6^5*x7^5*x8^6+85*x1^3
*x2^5*x3^9*x5^7*x6^5*x7^3*x8^2+72*x1^3*x2^3*x3^6*x4^9*x5*x6^3*x7^8*x8-38*x1^3*
x2^2*x3^8*x4^3*x5*x6^5*x7^4*x8^8+12*x1^3*x2^2*x3^2*x4^4*x5^5*x6^4*x7^7*x8^7+70*
x1^3*x2^2*x3*x4^2*x5^9*x6^9*x7^2*x8^6+62*x1^3*x2*x3^8*x4^5*x5^7*x6^2*x7^6*x8^2-\
36*x1^2*x2^5*x3^3*x4*x5^7*x6^8*x7*x8^7-95*x1^2*x3^8*x4^2*x5^6*x6^6*x7^8*x8^2+42
*x1*x2^7*x4^7*x5^4*x6^6*x7^2*x8^7-49*x1*x2^5*x3^3*x4^9*x5^3*x6^3*x7^6*x8^4+87*
x1*x2^4*x3^7*x4^8*x5^4*x7^6*x8^4+96*x1*x2*x3^7*x4^9*x6^8*x7^7*x8+11*x1*x2*x3^7*
x4^7*x5^8*x7*x8^9+47*x2^7*x3^5*x4^4*x5^6*x6^6*x7*x8^5-71*x2^7*x3^3*x4^6*x5^2*x6
^5*x7^8*x8^3-17*x2^6*x3^9*x4*x5^4*x6^8*x7^4*x8^2+73*x2^6*x4^8*x5^9*x6^4*x7^2*x8
^5+65*x2^5*x3^6*x4*x5^7*x6^5*x7^4*x8^6-13*x2^4*x3^8*x4^6*x5^3*x6^9*x7*x8^3-28*
x1^9*x2^4*x3^4*x4^4*x5^2*x6*x7^3*x8^6-60*x1^9*x2^4*x3^2*x4*x6^9*x7^5*x8^3+65*x1
^9*x2*x3^9*x4^5*x5^3*x7^3*x8^3-52*x1^9*x3^8*x4^9*x5^2*x6^3*x7*x8-80*x1^9*x3^7*
x4*x5^2*x6^6*x7^3*x8^5+96*x1^8*x2^8*x3*x4^4*x5^5*x6^6*x8-7*x1^8*x2^5*x3^6*x4*x5
^6*x6^2*x7*x8^4-74*x1^8*x2*x3*x4^4*x5^7*x6^9*x7^2*x8+79*x1^8*x3^5*x4^6*x5^5*x6*
x7^3*x8^5-82*x1^7*x2^9*x3^5*x4^4*x5^4*x6*x7^2*x8-89*x1^7*x2^6*x3^8*x4^4*x5*x6^5
*x7*x8-36*x1^7*x2^5*x3*x4^7*x5^4*x6^8*x8-58*x1^7*x2^4*x3*x4^4*x5^3*x7^6*x8^8-5*
x1^7*x2*x4^2*x5^2*x6^3*x7^9*x8^9+12*x1^7*x3^5*x4^4*x5^7*x6^5*x7^3*x8^2-7*x1^6*
x2^9*x3^5*x4*x5^3*x6^5*x7^4+14*x1^6*x2^6*x3*x4^2*x5^4*x6^7*x7^2*x8^5+63*x1^6*x3
^5*x4^4*x6^4*x7^6*x8^8+33*x1^6*x3^2*x4^8*x5^6*x6^5*x7^6+86*x1^5*x2^5*x3*x4^9*x5
*x6^9*x7*x8^2+87*x1^5*x2*x3^6*x4^6*x5*x6^9*x8^5-98*x1^4*x2^3*x3^5*x4^9*x5^2*x6^
6*x7^3*x8+x1^4*x2^3*x3^5*x5^5*x6^9*x7^2*x8^5+82*x1^4*x2^2*x3^9*x4^8*x5^4*x7*x8^
5+76*x1^4*x2*x3^4*x4^4*x5^2*x6^9*x7^4*x8^5-63*x1^4*x2*x3^3*x4^8*x5^9*x6^2*x7^6-\
64*x1^3*x2^9*x3^7*x4*x5^6*x6*x7^4*x8^2-15*x1^3*x2*x3^9*x5^8*x6^3*x7^9+81*x1^3*
x3^5*x4^8*x5*x6^6*x7^9*x8+3*x1^2*x2^9*x3^3*x4^5*x5^2*x6^3*x7^7*x8^2+68*x1^2*x2^
8*x3^3*x4^9*x5^3*x6*x7^4*x8^3+25*x1^2*x2^5*x3^7*x4^5*x5^8*x7^3*x8^3-61*x1^2*x2^
5*x3^7*x5*x6^8*x7*x8^9+42*x1^2*x2^4*x3^5*x4^5*x5^5*x6*x7^7*x8^4+7*x1^2*x2*x3^6*
x5^5*x6^2*x7^9*x8^8-85*x1*x2^9*x3^8*x5^6*x6^4*x7^5+77*x1*x2^9*x3^3*x4^6*x5^6*x6
^8+8*x1*x2^7*x3*x4^7*x5*x6^4*x7^3*x8^9-74*x1*x2^3*x3^9*x4^3*x5^6*x6^2*x7^8*x8+
47*x1*x2^2*x3^8*x4*x5^4*x6^4*x7^9*x8^4-80*x2^9*x3*x4*x5^2*x6^8*x7^8*x8^4+40*x2^
8*x3^7*x4^4*x5^3*x6^4*x7*x8^6+10*x2^8*x3^4*x5^4*x6^4*x7^8*x8^5-76*x2^6*x4^9*x5^
8*x6^4*x7^3*x8^3+88*x1^9*x2^7*x3*x5^4*x6*x7^7*x8^3-44*x1^9*x2^2*x3^2*x4^9*x6^3*
x7^6*x8+42*x1^9*x2*x3^2*x4^5*x5^3*x6^3*x7^2*x8^7-38*x1^8*x2^5*x3^2*x4^2*x5^3*x6
^5*x7^5*x8^2-53*x1^8*x2*x3^4*x6^8*x7^4*x8^7-16*x1^8*x3^2*x4^3*x5^3*x6^9*x7*x8^6
-47*x1^7*x2^2*x3^9*x5^3*x6^3*x7^2*x8^6-24*x1^7*x2^2*x3^2*x5^6*x6*x7^8*x8^6+25*
x1^7*x2^2*x3*x4^4*x5^6*x6^2*x7^9*x8-77*x1^6*x2^5*x3^5*x4^4*x5*x7^2*x8^9+82*x1^6
*x2^2*x3^5*x4*x5^6*x6^2*x7^3*x8^7-19*x1^5*x2^7*x3^8*x6^7*x7^3*x8^2+82*x1^4*x2^7
*x3^8*x4^2*x5^3*x6^3*x7^4*x8-95*x1^4*x2^4*x4^8*x5^4*x7^8*x8^4-91*x1^4*x2^2*x3*
x4^4*x5^2*x6^8*x7^7*x8^4-15*x1^3*x2^7*x4^4*x5^5*x6^6*x7^3*x8^4-15*x1^3*x2^5*x3^
3*x4^3*x5^2*x6^6*x7^5*x8^5+93*x1^3*x2^3*x3^7*x4*x5^4*x6^4*x7*x8^9-89*x1^3*x2^2*
x3^2*x5^5*x6^6*x7^5*x8^9+41*x1^3*x3^3*x5^2*x6^8*x7^8*x8^8+12*x1^2*x2^9*x3^4*x5^
7*x6^6*x7^2*x8^2+34*x1^2*x2^3*x3^6*x4*x5^5*x6^6*x7^2*x8^7-8*x1*x2^9*x4^6*x5^7*
x6^4*x8^5+92*x1*x2^7*x3^6*x4^8*x6^2*x7^4*x8^4+12*x1*x2*x3^9*x4^7*x5^3*x7^3*x8^8
-10*x1*x2*x3^3*x4^7*x5^2*x6^8*x7^9*x8-75*x1*x3^9*x4^5*x5^5*x6^4*x8^8+10*x2^9*x3
^4*x4^9*x6^5*x7^3*x8^2-46*x2^4*x3^5*x4^6*x5^8*x6^2*x7^2*x8^5+25*x2^3*x3^4*x4^4*
x5*x6^9*x7^5*x8^6-59*x1^9*x2^3*x3^4*x5*x6^9*x7^4*x8+96*x1^9*x2^2*x3^5*x5^9*x6*
x7^4*x8+19*x1^9*x2*x3^4*x4^2*x5^2*x6^2*x7^7*x8^4-57*x1^9*x2*x3^3*x4^3*x5^4*x6^3
*x7^7*x8+28*x1^8*x2^7*x3^4*x4^4*x5^3*x7^2*x8^3+52*x1^8*x2^5*x3^9*x4^2*x6^3*x7^2
*x8^2-54*x1^7*x2^5*x3^3*x4*x6^3*x7^6*x8^6+79*x1^7*x3^3*x4^8*x5^7*x6*x7^3*x8^2+
63*x1^6*x2^8*x3^4*x5^7*x6^3*x7*x8^2-83*x1^6*x2^6*x3^5*x4^5*x5^7*x7^2+45*x1^6*x2
^4*x3^6*x4^7*x6*x7^5*x8^2-60*x1^6*x2^3*x3*x4^4*x5^3*x6^3*x7^3*x8^8-8*x1^6*x2^2*
x3^7*x5^2*x6^4*x7^9*x8+70*x1^6*x2*x3^6*x4^4*x5^6*x6^2*x7^3*x8^3+72*x1^5*x2^4*x3
^2*x5^4*x6^4*x7^6*x8^6-4*x1^5*x2^3*x4^3*x5^3*x6^9*x8^8-86*x1^4*x2^5*x3^5*x4^2*
x5^3*x6^6*x7^4*x8^2-61*x1^4*x2^4*x3^9*x4^4*x6^3*x7^6*x8-7*x1^4*x2*x3^3*x4^7*x5^
9*x7^5*x8^2+6*x1^4*x3^3*x4^9*x5^6*x6^7*x7*x8-27*x1^4*x3^3*x4^7*x5^4*x7^4*x8^9+
57*x1^4*x3*x4^4*x5^5*x6^4*x7^5*x8^8-98*x1^3*x2^2*x3^7*x4^3*x6^6*x7^8*x8^2+40*x1
^3*x3^8*x5^6*x6^5*x7^3*x8^6+76*x1^2*x2^5*x3^9*x4^3*x5^7*x6*x8^4-69*x1^2*x2^2*x3
^6*x4^3*x5^9*x6^6*x7^3-2*x1^2*x3^6*x4^6*x6^9*x7*x8^7+31*x1^2*x3^5*x4^7*x5^6*x6^
5*x7^3*x8^3-59*x1*x2^8*x3^4*x4^5*x5^4*x6*x7^6*x8^2-2*x1*x2^6*x3*x4^9*x5^7*x6^3*
x7^4+84*x1*x2^5*x3*x4^2*x5^8*x6^5*x7^7*x8^2+29*x1*x2^3*x3^5*x4^5*x5*x6^3*x7^5*
x8^8+70*x1*x2^2*x3^6*x4^7*x5^5*x7^2*x8^8-92*x2^8*x3^6*x4^2*x5^9*x6*x7^3*x8^2+28
*x2^8*x3^3*x4^5*x5*x6^7*x7^5*x8^2+86*x2^8*x4^7*x5^7*x6^2*x7^5*x8^2-84*x2^7*x3^9
*x4*x5^8*x6^3*x7^2*x8-33*x2^6*x3*x5^4*x6^9*x7^2*x8^9+25*x2^5*x3^3*x4^7*x5^7*x6^
3*x7^3*x8^3+17*x2^4*x3^3*x4^3*x5^6*x6^2*x7^4*x8^9-54*x2^4*x3^2*x4^4*x5^6*x6^7*
x7^4*x8^4-65*x2^3*x4^5*x5^3*x6^8*x7^9*x8^3-68*x2^2*x3^8*x4^9*x5^3*x7^6*x8^3+82*
x2*x3^9*x4*x5^4*x6^6*x7^3*x8^7-85*x3^8*x4^6*x5^2*x6^9*x7^2*x8^4+65*x1^9*x2^2*x3
^4*x4^8*x5^4*x7^2*x8+95*x1^8*x2^3*x3^6*x4^7*x5*x7^3*x8^2+87*x1^8*x3^3*x4^3*x5^2
*x6^5*x7*x8^8+86*x1^7*x3*x4^5*x5*x6^4*x7^6*x8^6-65*x1^6*x2^5*x3^2*x4^5*x5*x6*x7
*x8^9-18*x1^6*x2^4*x3^4*x4^4*x5^2*x6^5*x7^2*x8^3+53*x1^5*x2^9*x4^5*x5^4*x7^4*x8
^3-16*x1^4*x2^4*x3^3*x4^3*x5^6*x6^4*x7^3*x8^3-6*x1^4*x2^4*x3*x4^9*x5*x6^6*x7^4*
x8-58*x1^4*x2^4*x4*x5^7*x6^9*x7*x8^4-99*x1^4*x2*x3^3*x4^9*x5^6*x6^2*x7^5-41*x1^
4*x3*x4^2*x5^4*x6^4*x7^6*x8^9-60*x1^3*x2^9*x3^5*x4^5*x5*x6*x7^5*x8+71*x1^3*x2^6
*x3^7*x5^5*x6^3*x8^6+58*x1^3*x2^5*x3^4*x4*x5^9*x7^5*x8^3-60*x1^3*x2^3*x3^8*x4*
x5^7*x6^8+21*x1^3*x5^5*x6^5*x7^8*x8^9+94*x1^2*x2^9*x3^2*x4*x5*x6^5*x7^9*x8-18*
x1^2*x2^4*x3^4*x4^4*x5*x6^2*x7^8*x8^5+85*x1^2*x2^3*x3^5*x4^2*x5^6*x6^7*x7^2*x8^
3+3*x1*x2^9*x3^3*x5^4*x6^7*x7^2*x8^4+13*x1*x2^7*x4^2*x5^4*x6^6*x7^3*x8^7+29*x1*
x2^5*x3^9*x4^3*x5^2*x6^2*x7^6*x8^2-74*x1*x2*x3^6*x4^6*x5^2*x6^6*x7^3*x8^5+29*x2
^7*x3^4*x5^2*x6^8*x7^9-26*x2^4*x3^8*x6^2*x7^8*x8^8+9*x2^4*x3^3*x4*x5^9*x6^6*x7^
6*x8-82*x2^3*x3^8*x4^6*x5^9*x7*x8^3+32*x2*x3^6*x4^7*x5^3*x6^5*x7^5*x8^3-68*x1^9
*x2^7*x3^2*x5^5*x6*x7*x8^4+7*x1^8*x2^3*x3*x4^9*x5*x6^2*x7^2*x8^3-87*x1^8*x2*x3^
2*x4^6*x5^3*x6^2*x7^6*x8+33*x1^7*x2^9*x3^9*x5*x6*x7^2-21*x1^6*x2^5*x3^2*x4*x5^7
*x6*x7^4*x8^3-56*x1^6*x2^4*x3*x4^4*x5^5*x6^3*x8^6-47*x1^6*x2^3*x4^6*x5^2*x6^4*
x7^8-57*x1^5*x2^5*x3^7*x5^5*x8^7-98*x1^5*x2^3*x3^4*x4^3*x5^6*x6^7*x8+33*x1^5*x3
^4*x4^4*x5^9*x6^4*x8^3+31*x1^4*x2^9*x3^9*x4^2*x8^5+41*x1^4*x2^2*x3^2*x4^8*x6^3*
x7^7*x8^3+65*x1^4*x2*x3^2*x4^7*x6^5*x7^4*x8^6+71*x1^3*x2^3*x3^2*x4^3*x5^4*x6^8*
x7^4*x8^2+72*x1^3*x2^3*x3*x4^9*x5^2*x6^3*x7^5*x8^3-36*x1^2*x2^5*x3*x4^3*x5^3*x6
^6*x7^4*x8^5+61*x1^2*x2^4*x3^3*x4^2*x5^9*x7^7*x8^2-40*x1^2*x3^7*x4^2*x5^6*x6^9*
x8^3+93*x1^2*x4^6*x5^2*x6^7*x7^4*x8^8+48*x1*x2^8*x3^2*x5^2*x6^4*x7^8*x8^4+79*x1
*x2^8*x3*x4^2*x5^6*x6^2*x7^9-85*x1*x2^2*x3^9*x4^6*x6^6*x7^4*x8-14*x2^5*x4*x5^7*
x6^2*x7^5*x8^9+64*x2^4*x3^3*x4^4*x5^7*x6*x7^3*x8^7+83*x2^3*x3^3*x4^5*x6^7*x7^7*
x8^4-86*x2^2*x3^4*x4^7*x5^5*x6^4*x7^5*x8^2+39*x2*x3^7*x4^6*x5^7*x6*x7*x8^6+91*
x2*x3^4*x4*x5^9*x6^5*x7^5*x8^4+88*x2*x3^3*x4^8*x5^9*x6*x7^2*x8^5+92*x1^8*x2^5*
x3^8*x5^3*x7^4-83*x1^8*x3^4*x4^2*x5^7*x7*x8^6+8*x1^7*x2^4*x3^7*x4^3*x5*x6*x7^2*
x8^3+15*x1^7*x2^3*x3^4*x4*x5^9*x6^2*x7*x8+47*x1^7*x2^2*x3^9*x5^6*x8^4-93*x1^7*
x3^2*x4^4*x5^6*x6^8*x7-39*x1^6*x2^8*x3*x4^4*x6*x7^8-56*x1^6*x2^7*x3*x4^5*x5*x6^
3*x7^3*x8^2+38*x1^6*x2^5*x3^4*x4*x5*x6*x7^9*x8-5*x1^6*x2^4*x3^4*x4*x6^3*x7^8*x8
^2+75*x1^6*x3^6*x4^3*x6*x7^5*x8^7+28*x1^5*x2^8*x3*x5^3*x6^4*x7*x8^6-25*x1^5*x2^
2*x3^9*x4^3*x5^3*x6^5*x8-34*x1^4*x2^7*x4^3*x5^5*x6^3*x7^5*x8+66*x1^4*x2^6*x3^5*
x4*x7^8*x8^4-16*x1^4*x4^5*x5^4*x6^5*x7^8*x8^2+40*x1^3*x2^5*x3^6*x4^4*x6*x7^7*x8
^2-54*x1^3*x2^2*x3^4*x5^6*x6^2*x7^8*x8^3+2*x1^3*x2*x3^5*x4^4*x5^8*x6^4*x7^2*x8-\
69*x1^3*x3*x4*x5^7*x6^7*x7^2*x8^7+67*x1^2*x2^8*x3*x4*x5^3*x6^3*x7^2*x8^8+5*x1^2
*x2^3*x3^2*x4^6*x5^5*x6^4*x7^6+35*x1^2*x2^2*x3^5*x5^3*x6^9*x7^4*x8^3+32*x1^2*x2
*x3^5*x5*x6^9*x7^8*x8^2+42*x1^2*x3^3*x4^5*x5^3*x6^6*x7^2*x8^7-70*x1*x2^5*x3*x4*
x5^3*x6^3*x7^6*x8^8-23*x1*x2^2*x3^3*x4^7*x5^4*x6^4*x7^4*x8^3+14*x1*x2*x3^2*x4^9
*x5^6*x6*x7^7*x8+38*x2^5*x3^4*x4^3*x6^6*x7^9*x8+48*x2^2*x3^5*x4^8*x5*x6^8*x7^4+
38*x3^3*x4^8*x5^6*x6*x7^4*x8^6-94*x3^3*x4^8*x5^5*x6*x7^9*x8^2+33*x1^9*x2^2*x3^5
*x4*x5^3*x6^4*x7^2*x8+25*x1^8*x2^5*x4*x6^8*x7^4*x8+14*x1^7*x2^6*x5^8*x6*x7*x8^4
-82*x1^7*x2^3*x3*x4^6*x5*x6^4*x7^4*x8+71*x1^6*x2^6*x3^4*x4*x5*x6^3*x8^6+30*x1^5
*x2^7*x3^2*x5^2*x6^6*x8^5-47*x1^5*x2^6*x3^3*x4^5*x5^6*x6*x8-32*x1^5*x2^3*x3^2*
x4^4*x5^4*x6^2*x7^3*x8^4+19*x1^4*x2^6*x3*x6^6*x7^9*x8+13*x1^4*x2*x3^5*x4^5*x6^9
*x7^2*x8+68*x1^4*x3^2*x4^9*x5^7*x6^2*x7*x8^2+3*x1^3*x2^8*x4^3*x6^9*x7^2*x8^2-47
*x1^3*x2^6*x3^5*x4^4*x5^5*x6^2*x7^2+38*x1^2*x2^6*x3^4*x4^3*x5*x6^8*x7^2*x8+65*
x1^2*x2^3*x3^2*x4^5*x5^2*x6^7*x7*x8^5+67*x1^2*x2*x3^5*x5^6*x6^6*x7^6*x8+67*x1*
x2^8*x4^3*x6^6*x7^2*x8^7-75*x1*x2^6*x3*x4^9*x5^6*x8^4-20*x1*x2^2*x3^6*x4^5*x5*
x6^2*x7^7*x8^3-39*x1*x2^2*x3^3*x4^7*x5^5*x6^8*x8+24*x1*x2*x3^2*x4^9*x5^4*x6^2*
x7^7*x8-18*x2^9*x3^3*x5^6*x6^5*x8^4-56*x2^6*x4^5*x5^7*x7^3*x8^6-30*x2^6*x4^2*x5
^7*x7^6*x8^6+84*x2^3*x3^3*x4^7*x5*x7^5*x8^8-13*x1^6*x2^6*x3*x4^5*x5^2*x6^6+20*
x1^6*x2^5*x3^2*x4^3*x5^6*x6^4+48*x1^6*x2^3*x3*x4*x5^7*x6^5*x8^3+24*x1^6*x2^2*x3
^3*x4^7*x6*x7^7-53*x1^5*x2^4*x3*x4^4*x5*x6^8*x7*x8^2+8*x1^4*x2*x3^2*x4^7*x5*x6^
8*x7*x8^2-99*x1^4*x2*x3*x5^9*x6^3*x8^8+14*x1^3*x2^9*x3^4*x5^3*x6*x7*x8^5-46*x1^
3*x2^8*x4^6*x6^4*x7^5+68*x1^3*x2^5*x3^3*x4^7*x6^4*x8^4-70*x1^3*x2^2*x3^2*x4^2*
x5^6*x6^4*x7^4*x8^3-19*x1^2*x2^9*x4*x5*x7^6*x8^7-63*x1^2*x2^4*x3^8*x4*x5^9*x7^2
+11*x1^2*x2^4*x3^2*x4^7*x5^9*x6^2+67*x1^2*x2^3*x3^2*x4^4*x6^5*x7^2*x8^8-16*x1^2
*x2^2*x3^8*x4^2*x5^9*x7^2*x8-72*x1*x2^5*x3^6*x4^2*x5^4*x6^2*x8^6-62*x1*x2^5*x3^
4*x4^5*x6*x7^2*x8^8+5*x1*x2^5*x5^2*x6^8*x7^6*x8^4-62*x1*x2^2*x3^7*x4^8*x5^2*x6*
x7^4*x8+54*x1*x2*x3^3*x4^2*x5^4*x6^9*x7^5*x8+56*x1*x3^9*x4*x5^4*x6*x7^2*x8^8+93
*x2^5*x3^2*x4^2*x5^5*x6^6*x7^5*x8+32*x2^4*x3^5*x4^3*x5*x6^7*x8^6-89*x2^2*x3^4*
x4^6*x5^4*x6^5*x7^2*x8^3-74*x2*x3^6*x4^4*x5^2*x6^6*x7^3*x8^4-75*x1^9*x2^6*x3*x5
^5*x6^4+91*x1^9*x2^3*x4^2*x5*x7^5*x8^5-91*x1^9*x2*x3^5*x4^2*x5^3*x6^4*x7-13*x1^
7*x2^4*x4^9*x5*x6^2*x8^2-12*x1^7*x2^2*x3^3*x4^8*x5*x6*x7*x8^2-53*x1^7*x2^2*x3^2
*x5^8*x6^3*x7^2*x8-66*x1^5*x2^2*x4*x5^7*x6^7*x7*x8^2-12*x1^4*x2^5*x3^6*x4^5*x6^
5-29*x1^4*x2^2*x3^2*x4*x5^5*x6*x7^3*x8^7-36*x1^3*x2^9*x4^2*x5^6*x6^3*x8^2-67*x1
^2*x2^5*x3^2*x4^4*x5^7*x6*x7^3*x8+23*x1^2*x2^4*x4*x5^7*x6^2*x7^8*x8+94*x1^2*x3^
8*x4*x5*x6*x7^6*x8^6-80*x1*x2^6*x3*x4^5*x6^2*x7^3*x8^7-3*x1*x2^4*x3*x4^2*x5^4*
x6^7*x7^6+24*x2^9*x3^4*x4*x5^3*x6^2*x7^2*x8^4+24*x2^6*x3^2*x5^5*x6^7*x7*x8^4-27
*x3^5*x4^3*x5^4*x6^3*x7^2*x8^8-81*x3^5*x6^9*x7^5*x8^6+x4^5*x5^2*x6^3*x7^9*x8^6+
88*x1^8*x2^2*x3^3*x5^3*x6^3*x7^4*x8-36*x1^7*x3^3*x5*x6^6*x7^7+26*x1^6*x2^2*x4^2
*x5*x6^5*x7^2*x8^6+93*x1^6*x2^2*x5^4*x6*x7^6*x8^5-61*x1^6*x2*x3^4*x4^7*x7^4*x8^
2-47*x1^5*x2^3*x3^8*x5*x6^2*x7^3*x8^2-88*x1^4*x2^5*x3^4*x4^3*x5^2*x6^3*x7^3-27*
x1^4*x3^4*x4*x5^9*x6^6+13*x1^3*x3*x4^7*x5^4*x6^5*x8^4+86*x1^2*x2^7*x3^5*x4^2*x7
^5*x8^3-3*x1^2*x2^5*x3^5*x4*x5^3*x6^2*x7^6-84*x1^2*x2^4*x3^2*x4^8*x5*x6^2*x7^2*
x8^3+2*x1^2*x3^5*x4^4*x5^7*x6*x7*x8^4+68*x1^2*x3^2*x4^9*x5^3*x6^7*x7+59*x1*x2^2
*x3^2*x4^4*x5^5*x6^4*x7*x8^5+83*x1*x3^4*x4^7*x5^6*x6^3*x7^2*x8+26*x2^6*x4^5*x5^
7*x6^3*x8^3-31*x3^6*x4^5*x5^8*x8^5-21*x1^9*x2^3*x4^3*x5^3*x8^5-95*x1^7*x2^4*x3*
x5^7*x6^3*x8+83*x1^7*x2^3*x3*x5*x6^8*x8^3-72*x1^5*x3^3*x4^3*x5^3*x6^8*x7-32*x1^
4*x2^7*x3^6*x5*x6^3*x7*x8-15*x1^3*x2^5*x3^3*x5^5*x6^4*x8^3-47*x1^3*x2^5*x3*x4^7
*x5*x7^3*x8^3+36*x1^3*x2*x3^3*x4*x5^4*x7^5*x8^6+4*x1^3*x3^4*x4*x5^6*x6^4*x7^3*
x8^2+33*x1^3*x3*x4*x5*x6^8*x7^4*x8^5-55*x1^2*x2^4*x3^4*x7^8*x8^5+80*x1^2*x2^2*
x3^3*x4^2*x5^9*x6^2*x7*x8^2-89*x1*x2^2*x3^8*x4*x5^3*x6*x7^7+51*x1*x2^2*x3^4*x5^
4*x6*x7^9*x8^2+33*x2^5*x3^7*x4*x5^6*x7^2*x8^2+27*x2^4*x3^2*x4^4*x6^9*x7^2*x8^2-\
68*x2^2*x3^3*x4^2*x5^3*x6^7*x8^6+91*x2*x3^3*x4^7*x6^4*x8^8-61*x1^6*x3^6*x5*x7^3
*x8^6+83*x1^3*x3^2*x5^8*x6^6*x7*x8^2+27*x1^2*x2^5*x3^5*x4^4*x6^2*x7*x8^3+24*x1*
x2^5*x3*x4^5*x7^5*x8^5+43*x2^7*x3*x4*x5^8*x6^3*x8^2+29*x2^4*x3*x4^2*x5*x6^3*x7^
8*x8^3-77*x3^8*x4^3*x5^2*x7^9-76*x3^7*x4^2*x5^2*x6^3*x7^5*x8^3+40*x1^6*x2*x3^8*
x5*x6*x8^4+74*x1^4*x2^6*x3*x5^2*x6^5*x8^3+43*x1^4*x2*x3^2*x4*x5^2*x6^5*x7^2*x8^
4-90*x1^4*x3^2*x4^6*x5^5*x6^2*x7^2-15*x1^2*x2^2*x3*x4^4*x5^5*x6^3*x7^2*x8^2+15*
x1*x2^6*x3^2*x4^8*x6*x7^3-61*x1*x2^4*x3^3*x4^3*x5^3*x6*x7^4*x8^2+94*x1*x2*x3*x4
^4*x5^4*x6^6*x7^3*x8+56*x2^8*x3^2*x4^6*x5^3*x6^2+3*x2^7*x4*x6^3*x7*x8^9+56*x2^6
*x3^2*x4*x5^3*x6^5*x7*x8^3+57*x2^2*x3^8*x4*x5*x6^2*x7^4*x8^3-x3^5*x4*x5^4*x6^2*
x8^9+83*x1^7*x2*x4^4*x5^5*x6^2*x8+56*x1^6*x3*x6^9*x8^4+86*x1^5*x2*x5^2*x7^9*x8^
3-56*x1^4*x2^3*x3^3*x4*x5^3*x6*x7^5+44*x1^2*x2^5*x3^2*x4^2*x5^2*x6^6*x7-87*x1*
x2^4*x5^6*x6*x7^4*x8^4-15*x2^7*x3^2*x4^2*x5^2*x6*x7^6-8*x1^8*x2*x3^3*x5^4*x6^2*
x7-27*x1^2*x2^2*x3^5*x4^2*x5^2*x6*x7^5-47*x1^5*x4^5*x6^5*x7^2*x8-97*x1^3*x3^3*
x5^4*x6^3*x7*x8^4-96*x1*x2^7*x3*x4*x5^3*x7*x8^4+10*x1^4*x3^2*x4*x6*x7^7*x8^2+23
*x1^2*x4^5*x6^3*x7^6*x8-11*x3^3*x4^3*x5^2*x6^9-84*x2^6*x3^2*x4^3*x5*x6^3*x7+21*
x3^4*x4*x5^3*x6^3*x8^5+30*x2^2*x3*x4*x5*x6*x7^4*x8^5-2*x1^4*x2*x3*x6*x7^2*x8^2+
27*x1^2*x5*x6*x7;