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