x7, x6, x5, x4, x3, x2, x1, 
x1^7+x1^6-12*x1^5-7*x1^4+28*x1^3+14*x1^2-9*x1+1
x1^6+x1^5*x2+x1^4*x2^2+x1^3*x2^3+x1^2*x2^4+x1*x2^5+x2^6+x1^5+x1^4*x2+x1^3*x2^2+x1^2*x2^3+x1*x2^4+x2^5-12*x1^4-12*x1^3*x2-12*x1^2*x2^2-12*x1*x2^3-12*x2^4-7*x1^3-7*x1^2*x2-7*x1*x2^2-7*x2^3+28*x1^2+28*x1*x2+28*x2^2+14*x1+14*x2-9
x1^5+x1^4*x2+x1^4*x3+x1^3*x2^2+x1^3*x2*x3+x1^3*x3^2+x1^2*x2^3+x1^2*x2^2*x3+x1^2*x2*x3^2+x1^2*x3^3+x1*x2^4+x1*x2^3*x3+x1*x2^2*x3^2+x1*x2*x3^3+x1*x3^4+x2^5+x2^4*x3+x2^3*x3^2+x2^2*x3^3+x2*x3^4+x3^5+x1^4+x1^3*x2+x1^3*x3+x1^2*x2^2+x1^2*x2*x3+x1^2*x3^2+x1*x2^3+x1*x2^2*x3+x1*x2*x3^2+x1*x3^3+x2^4+x2^3*x3+x2^2*x3^2+x2*x3^3+x3^4-12*x1^3-12*x1^2*x2-12*x1^2*x3-12*x1*x2^2-12*x1*x2*x3-12*x1*x3^2-12*x2^3-12*x2^2*x3-12*x2*x3^2-12*x3^3-7*x1^2-7*x1*x2-7*x1*x3-7*x2^2-7*x2*x3-7*x3^2+28*x1+28*x2+28*x3+14
x1^4+x1^3*x2+x1^3*x3+x1^3*x4+x1^2*x2^2+x1^2*x2*x3+x1^2*x2*x4+x1^2*x3^2+x1^2*x3*x4+x1^2*x4^2+x1*x2^3+x1*x2^2*x3+x1*x2^2*x4+x1*x2*x3^2+x1*x2*x3*x4+x1*x2*x4^2+x1*x3^3+x1*x3^2*x4+x1*x3*x4^2+x1*x4^3+x2^4+x2^3*x3+x2^3*x4+x2^2*x3^2+x2^2*x3*x4+x2^2*x4^2+x2*x3^3+x2*x3^2*x4+x2*x3*x4^2+x2*x4^3+x3^4+x3^3*x4+x3^2*x4^2+x3*x4^3+x4^4+x1^3+x1^2*x2+x1^2*x3+x1^2*x4+x1*x2^2+x1*x2*x3+x1*x2*x4+x1*x3^2+x1*x3*x4+x1*x4^2+x2^3+x2^2*x3+x2^2*x4+x2*x3^2+x2*x3*x4+x2*x4^2+x3^3+x3^2*x4+x3*x4^2+x4^3-12*x1^2-12*x1*x2-12*x1*x3-12*x1*x4-12*x2^2-12*x2*x3-12*x2*x4-12*x3^2-12*x3*x4-12*x4^2-7*x1-7*x2-7*x3-7*x4+28
x1^3+x1^2*x2+x1^2*x3+x1^2*x4+x1^2*x5+x1*x2^2+x1*x2*x3+x1*x2*x4+x1*x2*x5+x1*x3^2+x1*x3*x4+x1*x3*x5+x1*x4^2+x1*x4*x5+x1*x5^2+x2^3+x2^2*x3+x2^2*x4+x2^2*x5+x2*x3^2+x2*x3*x4+x2*x3*x5+x2*x4^2+x2*x4*x5+x2*x5^2+x3^3+x3^2*x4+x3^2*x5+x3*x4^2+x3*x4*x5+x3*x5^2+x4^3+x4^2*x5+x4*x5^2+x5^3+x1^2+x1*x2+x1*x3+x1*x4+x1*x5+x2^2+x2*x3+x2*x4+x2*x5+x3^2+x3*x4+x3*x5+x4^2+x4*x5+x5^2-12*x1-12*x2-12*x3-12*x4-12*x5-7
x1^2+x1*x2+x1*x3+x1*x4+x1*x5+x1*x6+x2^2+x2*x3+x2*x4+x2*x5+x2*x6+x3^2+x3*x4+x3*x5+x3*x6+x4^2+x4*x5+x4*x6+x5^2+x5*x6+x6^2+x1+x2+x3+x4+x5+x6-12
x7+x6+x5+x4+x3+x2+x1+1
-2*x1*x2+2*x1*x4+x1*x5-x1*x6-x2^2-2*x2*x3-x2*x4-x3^2-x3*x5-2*x3*x6+x4^2+3*x4*x5+x4*x6+x5^2+2*x5*x6-x2-x3+x4+x5
49*x1^6*x4+49*x1^6*x5+49*x1^6*x6-35*x1^5*x2*x3+14*x1^5*x2*x4+14*x1^5*x2*x5+14*x1^5*x2*x6+14*x1^5*x3*x4+14*x1^5*x3*x5+14*x1^5*x3*x6+14*x1^5*x4*x5+14*x1^5*x4*x6+14*x1^5*x5*x6-35*x1^4*x2^2*x3+14*x1^4*x2^2*x4+14*x1^4*x2^2*x5+14*x1^4*x2^2*x6-35*x1^4*x2*x3^2-21*x1^4*x2*x3*x4-21*x1^4*x2*x3*x5-21*x1^4*x2*x3*x6+14*x1^4*x2*x4*x5+14*x1^4*x2*x4*x6+14*x1^4*x2*x5*x6+14*x1^4*x3^2*x4+14*x1^4*x3^2*x5+14*x1^4*x3^2*x6+14*x1^4*x3*x4*x5+14*x1^4*x3*x4*x6+14*x1^4*x3*x5*x6-35*x1^3*x2^3*x3+14*x1^3*x2^3*x4+14*x1^3*x2^3*x5+14*x1^3*x2^3*x6-35*x1^3*x2^2*x3^2-21*x1^3*x2^2*x3*x4-21*x1^3*x2^2*x3*x5-21*x1^3*x2^2*x3*x6+14*x1^3*x2^2*x4*x5+14*x1^3*x2^2*x4*x6+14*x1^3*x2^2*x5*x6-35*x1^3*x2*x3^3-21*x1^3*x2*x3^2*x4-21*x1^3*x2*x3^2*x5-21*x1^3*x2*x3^2*x6+14*x1^3*x2*x3*x4*x5+14*x1^3*x2*x3*x4*x6+14*x1^3*x2*x3*x5*x6+14*x1^3*x3^3*x4+14*x1^3*x3^3*x5+14*x1^3*x3^3*x6+14*x1^3*x3^2*x4*x5+14*x1^3*x3^2*x4*x6+14*x1^3*x3^2*x5*x6-35*x1^2*x2^4*x3+14*x1^2*x2^4*x4+14*x1^2*x2^4*x5+14*x1^2*x2^4*x6-35*x1^2*x2^3*x3^2-21*x1^2*x2^3*x3*x4-21*x1^2*x2^3*x3*x5-21*x1^2*x2^3*x3*x6+14*x1^2*x2^3*x4*x5+14*x1^2*x2^3*x4*x6+14*x1^2*x2^3*x5*x6-35*x1^2*x2^2*x3^3-21*x1^2*x2^2*x3^2*x4-21*x1^2*x2^2*x3^2*x5-21*x1^2*x2^2*x3^2*x6+14*x1^2*x2^2*x3*x4*x5+14*x1^2*x2^2*x3*x4*x6+14*x1^2*x2^2*x3*x5*x6-35*x1^2*x2*x3^4-21*x1^2*x2*x3^3*x4-21*x1^2*x2*x3^3*x5-21*x1^2*x2*x3^3*x6+14*x1^2*x2*x3^2*x4*x5+14*x1^2*x2*x3^2*x4*x6+14*x1^2*x2*x3^2*x5*x6+14*x1^2*x3^4*x4+14*x1^2*x3^4*x5+14*x1^2*x3^4*x6+14*x1^2*x3^3*x4*x5+14*x1^2*x3^3*x4*x6+14*x1^2*x3^3*x5*x6+21*x1*x2^4*x3^2-56*x1*x2^4*x3*x4-56*x1*x2^4*x3*x5-56*x1*x2^4*x3*x6+14*x1*x2^4*x4*x5+14*x1*x2^4*x4*x6+14*x1*x2^4*x5*x6+21*x1*x2^3*x3^3-56*x1*x2^3*x3^2*x4-56*x1*x2^3*x3^2*x5-56*x1*x2^3*x3^2*x6-7*x1*x2^3*x3*x4*x5-7*x1*x2^3*x3*x4*x6-7*x1*x2^3*x3*x5*x6+14*x1*x2^3*x4*x5*x6+21*x1*x2^2*x3^4-56*x1*x2^2*x3^3*x4-56*x1*x2^2*x3^3*x5-56*x1*x2^2*x3^3*x6-28*x1*x2^2*x3^2*x4*x5-28*x1*x2^2*x3^2*x4*x6-28*x1*x2^2*x3^2*x5*x6+49*x1*x2^2*x3*x4*x5*x6-56*x1*x2*x3^4*x4-56*x1*x2*x3^4*x5-56*x1*x2*x3^4*x6-7*x1*x2*x3^3*x4*x5-7*x1*x2*x3^3*x4*x6-7*x1*x2*x3^3*x5*x6+49*x1*x2*x3^2*x4*x5*x6+14*x1*x3^4*x4*x5+14*x1*x3^4*x4*x6+14*x1*x3^4*x5*x6+14*x1*x3^3*x4*x5*x6+21*x2^4*x3^3+21*x2^4*x3^2*x4+21*x2^4*x3^2*x5+21*x2^4*x3^2*x6-21*x2^4*x3*x4*x5-21*x2^4*x3*x4*x6-21*x2^4*x3*x5*x6+21*x2^3*x3^4+21*x2^3*x3^3*x4+21*x2^3*x3^3*x5+21*x2^3*x3^3*x6-21*x2^3*x3^2*x4*x5-21*x2^3*x3^2*x4*x6-21*x2^3*x3^2*x5*x6-21*x2^3*x3*x4*x5*x6+21*x2^2*x3^4*x4+21*x2^2*x3^4*x5+21*x2^2*x3^4*x6-21*x2^2*x3^3*x4*x5-21*x2^2*x3^3*x4*x6-21*x2^2*x3^3*x5*x6-42*x2^2*x3^2*x4*x5*x6-21*x2*x3^4*x4*x5-21*x2*x3^4*x4*x6-21*x2*x3^4*x5*x6-21*x2*x3^3*x4*x5*x6+21*x1^6+x1^5*x2+x1^5*x3+50*x1^5*x4+50*x1^5*x5+50*x1^5*x6+x1^4*x2^2-54*x1^4*x2*x3+15*x1^4*x2*x4+15*x1^4*x2*x5+15*x1^4*x2*x6+x1^4*x3^2+15*x1^4*x3*x4+15*x1^4*x3*x5+15*x1^4*x3*x6+14*x1^4*x4*x5+14*x1^4*x4*x6+14*x1^4*x5*x6+x1^3*x2^3-54*x1^3*x2^2*x3+15*x1^3*x2^2*x4+15*x1^3*x2^2*x5+15*x1^3*x2^2*x6-54*x1^3*x2*x3^2-20*x1^3*x2*x3*x4-20*x1^3*x2*x3*x5-20*x1^3*x2*x3*x6+14*x1^3*x2*x4*x5+14*x1^3*x2*x4*x6+14*x1^3*x2*x5*x6+x1^3*x3^3+15*x1^3*x3^2*x4+15*x1^3*x3^2*x5+15*x1^3*x3^2*x6+14*x1^3*x3*x4*x5+14*x1^3*x3*x4*x6+14*x1^3*x3*x5*x6+x1^2*x2^4-54*x1^2*x2^3*x3+15*x1^2*x2^3*x4+15*x1^2*x2^3*x5+15*x1^2*x2^3*x6-54*x1^2*x2^2*x3^2-20*x1^2*x2^2*x3*x4-20*x1^2*x2^2*x3*x5-20*x1^2*x2^2*x3*x6+14*x1^2*x2^2*x4*x5+14*x1^2*x2^2*x4*x6+14*x1^2*x2^2*x5*x6-54*x1^2*x2*x3^3-20*x1^2*x2*x3^2*x4-20*x1^2*x2*x3^2*x5-20*x1^2*x2*x3^2*x6+14*x1^2*x2*x3*x4*x5+14*x1^2*x2*x3*x4*x6+14*x1^2*x2*x3*x5*x6+x1^2*x3^4+15*x1^2*x3^3*x4+15*x1^2*x3^3*x5+15*x1^2*x3^3*x6+14*x1^2*x3^2*x4*x5+14*x1^2*x3^2*x4*x6+14*x1^2*x3^2*x5*x6-28*x1*x2^4*x3-13*x1*x2^3*x3^2-56*x1*x2^3*x3*x4-56*x1*x2^3*x3*x5-56*x1*x2^3*x3*x6+13*x1*x2^3*x4*x5+13*x1*x2^3*x4*x6+13*x1*x2^3*x5*x6-13*x1*x2^2*x3^3-62*x1*x2^2*x3^2*x4-62*x1*x2^2*x3^2*x5-62*x1*x2^2*x3^2*x6+13*x1*x2^2*x4*x5*x6-28*x1*x2*x3^4-56*x1*x2*x3^3*x4-56*x1*x2*x3^3*x5-56*x1*x2*x3^3*x6+28*x1*x2*x3*x4*x5*x6+13*x1*x3^3*x4*x5+13*x1*x3^3*x4*x6+13*x1*x3^3*x5*x6+13*x1*x3^2*x4*x5*x6+21*x2^4*x3^2-8*x2^4*x3*x4-8*x2^4*x3*x5-8*x2^4*x3*x6-x2^4*x4*x5-x2^4*x4*x6-x2^4*x5*x6+36*x2^3*x3^3+7*x2^3*x3^2*x4+7*x2^3*x3^2*x5+7*x2^3*x3^2*x6-22*x2^3*x3*x4*x5-22*x2^3*x3*x4*x6-22*x2^3*x3*x5*x6-x2^3*x4*x5*x6+21*x2^2*x3^4+7*x2^2*x3^3*x4+7*x2^2*x3^3*x5+7*x2^2*x3^3*x6-28*x2^2*x3^2*x4*x5-28*x2^2*x3^2*x4*x6-28*x2^2*x3^2*x5*x6-14*x2^2*x3*x4*x5*x6-8*x2*x3^4*x4-8*x2*x3^4*x5-8*x2*x3^4*x6-22*x2*x3^3*x4*x5-22*x2*x3^3*x4*x6-22*x2*x3^3*x5*x6-14*x2*x3^2*x4*x5*x6-x3^4*x4*x5-x3^4*x4*x6-x3^4*x5*x6-x3^3*x4*x5*x6+169*x1^5+149*x1^4*x2+149*x1^4*x3-587*x1^4*x4-587*x1^4*x5-587*x1^4*x6+149*x1^3*x2^2+549*x1^3*x2*x3-167*x1^3*x2*x4-167*x1^3*x2*x5-167*x1^3*x2*x6+149*x1^3*x3^2-167*x1^3*x3*x4-167*x1^3*x3*x5-167*x1^3*x3*x6-168*x1^3*x4*x5-168*x1^3*x4*x6-168*x1^3*x5*x6+149*x1^2*x2^3+549*x1^2*x2^2*x3-167*x1^2*x2^2*x4-167*x1^2*x2^2*x5-167*x1^2*x2^2*x6+549*x1^2*x2*x3^2+253*x1^2*x2*x3*x4+253*x1^2*x2*x3*x5+253*x1^2*x2*x3*x6-168*x1^2*x2*x4*x5-168*x1^2*x2*x4*x6-168*x1^2*x2*x5*x6+149*x1^2*x3^3-167*x1^2*x3^2*x4-167*x1^2*x3^2*x5-167*x1^2*x3^2*x6-168*x1^2*x3*x4*x5-168*x1^2*x3*x4*x6-168*x1^2*x3*x5*x6+197*x1*x2^4+219*x1*x2^3*x3-39*x1*x2^2*x3^2+722*x1*x2^2*x3*x4+722*x1*x2^2*x3*x5+722*x1*x2^2*x3*x6-218*x1*x2^2*x4*x5-218*x1*x2^2*x4*x6-218*x1*x2^2*x5*x6+219*x1*x2*x3^3+722*x1*x2*x3^2*x4+722*x1*x2*x3^2*x5+722*x1*x2*x3^2*x6-257*x1*x2*x3*x4*x5-257*x1*x2*x3*x4*x6-257*x1*x2*x3*x5*x6-21*x1*x2*x4*x5*x6+197*x1*x3^4-218*x1*x3^2*x4*x5-218*x1*x3^2*x4*x6-218*x1*x3^2*x5*x6-21*x1*x3*x4*x5*x6-299*x2^4*x3+49*x2^4*x4+49*x2^4*x5+49*x2^4*x6-284*x2^3*x3^2+91*x2^3*x3*x4+91*x2^3*x3*x5+91*x2^3*x3*x6-x2^3*x4*x5-x2^3*x4*x6-x2^3*x5*x6-284*x2^2*x3^3-167*x2^2*x3^2*x4-167*x2^2*x3^2*x5-167*x2^2*x3^2*x6+301*x2^2*x3*x4*x5+301*x2^2*x3*x4*x6+301*x2^2*x3*x5*x6-50*x2^2*x4*x5*x6-299*x2*x3^4+91*x2*x3^3*x4+91*x2*x3^3*x5+91*x2*x3^3*x6+301*x2*x3^2*x4*x5+301*x2*x3^2*x4*x6+301*x2*x3^2*x5*x6-89*x2*x3*x4*x5*x6+49*x3^4*x4+49*x3^4*x5+49*x3^4*x6-x3^3*x4*x5-x3^3*x4*x6-x3^3*x5*x6-50*x3^2*x4*x5*x6-104*x1^4+136*x1^3*x2+136*x1^3*x3-355*x1^3*x4-355*x1^3*x5-355*x1^3*x6+136*x1^2*x2^2+621*x1^2*x2*x3-110*x1^2*x2*x4-110*x1^2*x2*x5-110*x1^2*x2*x6+136*x1^2*x3^2-110*x1^2*x3*x4-110*x1^2*x3*x5-110*x1^2*x3*x6-98*x1^2*x4*x5-98*x1^2*x4*x6-98*x1^2*x5*x6+145*x1*x2^3+531*x1*x2^2*x3-52*x1*x2^2*x4-52*x1*x2^2*x5-52*x1*x2^2*x6+531*x1*x2*x3^2+220*x1*x2*x3*x4+220*x1*x2*x3*x5+220*x1*x2*x3*x6-50*x1*x2*x4*x5-50*x1*x2*x4*x6-50*x1*x2*x5*x6+145*x1*x3^3-52*x1*x3^2*x4-52*x1*x3^2*x5-52*x1*x3^2*x6-50*x1*x3*x4*x5-50*x1*x3*x4*x6-50*x1*x3*x5*x6-31*x1*x4*x5*x6+85*x2^4-44*x2^3*x3-3*x2^3*x4-3*x2^3*x5-3*x2^3*x6-227*x2^2*x3^2+143*x2^2*x3*x4+143*x2^2*x3*x5+143*x2^2*x3*x6-40*x2^2*x4*x5-40*x2^2*x4*x6-40*x2^2*x5*x6-44*x2*x3^3+143*x2*x3^2*x4+143*x2*x3^2*x5+143*x2*x3^2*x6-13*x2*x3*x4*x5-13*x2*x3*x4*x6-13*x2*x3*x5*x6+48*x2*x4*x5*x6+85*x3^4-3*x3^3*x4-3*x3^3*x5-3*x3^3*x6-40*x3^2*x4*x5-40*x3^2*x4*x6-40*x3^2*x5*x6+48*x3*x4*x5*x6-1923*x1^3-1783*x1^2*x2-1783*x1^2*x3+1365*x1^2*x4+1365*x1^2*x5+1365*x1^2*x6-2416*x1*x2^2-3359*x1*x2*x3+30*x1*x2*x4+30*x1*x2*x5+30*x1*x2*x6-2416*x1*x3^2+30*x1*x3*x4+30*x1*x3*x5+30*x1*x3*x6+530*x1*x4*x5+530*x1*x4*x6+530*x1*x5*x6+3*x2^3+3222*x2^2*x3-640*x2^2*x4-640*x2^2*x5-640*x2^2*x6+3222*x2*x3^2-1723*x2*x3*x4-1723*x2*x3*x5-1723*x2*x3*x6+37*x2*x4*x5+37*x2*x4*x6+37*x2*x5*x6+3*x3^3-640*x3^2*x4-640*x3^2*x5-640*x3^2*x6+37*x3*x4*x5+37*x3*x4*x6+37*x3*x5*x6+138*x4*x5*x6-448*x1^2-625*x1*x2-625*x1*x3+458*x1*x4+458*x1*x5+458*x1*x6-972*x2^2-1458*x2*x3+411*x2*x4+411*x2*x5+411*x2*x6-972*x3^2+411*x3*x4+411*x3*x5+411*x3*x6-60*x4*x5-60*x4*x6-60*x5*x6+5754*x1+519*x2+519*x3+1015*x4+1015*x5+1015*x6+125
3*x1^3+5*x1^2*x2+5*x1^2*x3+x1^2*x4-x1^2*x5+2*x1^2*x6+2*x1*x2^2+9*x1*x2*x3+6*x1*x2*x4-x1*x2*x6+6*x1*x3^2+3*x1*x3*x4+x1*x3*x5+7*x1*x3*x6+2*x1*x4^2-2*x1*x4*x5+x1*x4*x6-4*x1*x5*x6+2*x2^2*x3-x2^2*x4-2*x2^2*x5-x2^2*x6+4*x2*x3^2+4*x2*x3*x4-2*x2*x3*x5-2*x2*x3*x6+x2*x4^2-x2*x4*x5-2*x2*x4*x6+4*x3^3+3*x3^2*x4+3*x3^2*x6+2*x3*x4^2-4*x3*x4*x5+x3*x4*x6-2*x3*x5^2-5*x3*x5*x6+x4^3-x4^2*x5+x4*x5^2+x5^2*x6+3*x1^2+4*x1*x2+6*x1*x3+2*x1*x4-x1*x5+x1*x6+3*x2*x3+x2*x4-x2*x5-x2*x6+4*x3^2+2*x3*x4-2*x3*x5+x3*x6+x4^2-x4*x5-x5*x6-36*x1-12*x2-36*x3-12*x4+12*x5-33
-9*x1^4-9*x1^3*x2-24*x1^3*x3-9*x1^3*x4+x1^3*x5-3*x1^2*x2^2-26*x1^2*x2*x3-18*x1^2*x2*x4-6*x1^2*x2*x5+6*x1^2*x2*x6-28*x1^2*x3^2-24*x1^2*x3*x4-6*x1^2*x3*x5-12*x1^2*x3*x6-7*x1^2*x4^2+8*x1^2*x4*x5-2*x1^2*x4*x6+8*x1^2*x5*x6+x1*x2^3-9*x1*x2^2*x3+3*x1*x2^2*x4+3*x1*x2^2*x5+6*x1*x2^2*x6-19*x1*x2*x3^2-27*x1*x2*x3*x4-5*x1*x2*x3*x5+14*x1*x2*x3*x6-11*x1*x2*x4^2-9*x1*x2*x4*x5+11*x1*x2*x4*x6-4*x1*x2*x5^2-24*x1*x3^3-27*x1*x3^2*x4-7*x1*x3^2*x5-8*x1*x3^2*x6-21*x1*x3*x4^2+x1*x3*x4*x5-12*x1*x3*x4*x6-4*x1*x3*x5^2+10*x1*x3*x5*x6-7*x1*x4^3+9*x1*x4^2*x5+2*x1*x4^2*x6+4*x1*x4*x5^2+8*x1*x4*x5*x6+4*x1*x5^2*x6+4*x2^4+6*x2^3*x4+3*x2^3*x5+2*x2^3*x6-2*x2^2*x3^2+4*x2^2*x3*x4+4*x2^2*x3*x5+5*x2^2*x3*x6+6*x2^2*x4^2+2*x2^2*x4*x5+3*x2^2*x4*x6+x2^2*x5^2+x2^2*x5*x6-3*x2*x3^3-4*x2*x3^2*x4+x2*x3^2*x5+7*x2*x3^2*x6-4*x2*x3*x4^2+14*x2*x3*x4*x6-x2*x3*x5^2+4*x2*x3*x5*x6+3*x2*x4^3-3*x2*x4^2*x5+4*x2*x4^2*x6-3*x2*x4*x5^2-4*x2*x4*x5*x6-x2*x5^2*x6-7*x3^4-10*x3^3*x4+2*x3^3*x6-10*x3^2*x4^2-x3^2*x4*x5-2*x3^2*x4*x6-2*x3^2*x5^2+4*x3^2*x5*x6-7*x3*x4^3+3*x3*x4^2*x5+2*x3*x4*x5*x6+2*x3*x5^2*x6+2*x4^3*x5+2*x4^3*x6+2*x4^2*x5^2+2*x4^2*x5*x6+2*x4*x5^2*x6-11*x1^3-11*x1^2*x2-28*x1^2*x3-11*x1^2*x4+x1^2*x5-18*x1*x2*x3-11*x1*x2*x4-4*x1*x2*x5+7*x1*x2*x6-27*x1*x3^2-26*x1*x3*x4-4*x1*x3*x5-4*x1*x3*x6-8*x1*x4^2+6*x1*x4*x5+x1*x4*x6+6*x1*x5*x6+4*x2^3+6*x2^2*x4+3*x2^2*x5+3*x2^2*x6-4*x2*x3^2-3*x2*x3*x4+x2*x3*x5+8*x2*x3*x6+x2*x4^2-3*x2*x4*x5+5*x2*x4*x6-x2*x5^2-9*x3^3-12*x3^2*x4-x3^2*x5+x3^2*x6-9*x3*x4^2+x3*x4*x5-x3*x5^2+4*x3*x5*x6-x4^3+3*x4^2*x5+2*x4^2*x6+x4*x5^2+2*x4*x5*x6+x5^2*x6+106*x1^2+9*x1*x2+237*x1*x3+107*x1*x4-12*x1*x5-49*x1*x6-48*x2^2+11*x2*x3-62*x2*x4-25*x2*x5-23*x2*x6+82*x3^2+82*x3*x4-25*x3*x5-49*x3*x6-x4^2+x4*x5-24*x4*x6+x5*x6+111*x1-42*x2+78*x3+38*x4-7*x5-40*x6+7
x1^5+x1^4*x2+x1^4*x3+x1^3*x2^2-6*x1^3*x2*x3+7*x1^3*x2*x5+4*x1^3*x3^2+7*x1^3*x3*x4-x1^3*x3*x5+2*x1^3*x3*x6-7*x1^3*x4*x5-2*x1^3*x5^2-2*x1^3*x5*x6+x1^2*x2^3-14*x1^2*x2^2*x3-21*x1^2*x2^2*x4-6*x1^2*x2^2*x5-7*x1^2*x2*x3^2+10*x1^2*x2*x3*x4+15*x1^2*x2*x3*x5-14*x1^2*x2*x3*x6+21*x1^2*x2*x4^2+46*x1^2*x2*x4*x5+14*x1^2*x2*x5^2+14*x1^2*x2*x5*x6+4*x1^2*x3^3+13*x1^2*x3^2*x4+x1^2*x3^2*x5+4*x1^2*x3^2*x6+6*x1^2*x3*x4^2-13*x1^2*x3*x4*x5+14*x1^2*x3*x4*x6-4*x1^2*x3*x5^2-20*x1^2*x4^2*x5-14*x1^2*x4*x5^2-14*x1^2*x4*x5*x6-4*x1^2*x5^2*x6+x1*x2^4-6*x1*x2^3*x3-21*x1*x2^3*x4-14*x1*x2^3*x5-7*x1*x2^2*x3^2-32*x1*x2^2*x3*x4-6*x1*x2^2*x3*x5+7*x1*x2^2*x3*x6-21*x1*x2^2*x4^2-10*x1*x2^2*x4*x5-7*x1*x2^2*x5^2-7*x1*x2^2*x5*x6-11*x1*x2*x3^3-13*x1*x2*x3^2*x4+x1*x2*x3^2*x5-11*x1*x2*x3^2*x6+10*x1*x2*x3*x4^2+35*x1*x2*x3*x4*x5-34*x1*x2*x3*x4*x6+11*x1*x2*x3*x5^2+46*x1*x2*x4^2*x5+34*x1*x2*x4*x5^2+34*x1*x2*x4*x5*x6+11*x1*x2*x5^2*x6+9*x1*x3^3*x4+x1*x3^3*x5+13*x1*x3^2*x4^2+x1*x3^2*x4*x5+10*x1*x3^2*x4*x6+7*x1*x3*x4^3-13*x1*x3*x4^2*x5+14*x1*x3*x4^2*x6-10*x1*x3*x4*x5^2-7*x1*x4^3*x5-14*x1*x4^2*x5^2-14*x1*x4^2*x5*x6-10*x1*x4*x5^2*x6+22*x2^5+x2^4*x3+4*x2^3*x3^2-7*x2^3*x3*x4-x2^3*x3*x5+2*x2^3*x3*x6-14*x2^3*x4*x5-2*x2^3*x5^2-2*x2^3*x5*x6+4*x2^2*x3^3-8*x2^2*x3^2*x4+x2^2*x3^2*x5+4*x2^2*x3^2*x6-15*x2^2*x3*x4^2-6*x2^2*x3*x4*x5+7*x2^2*x3*x4*x6-4*x2^2*x3*x5^2-6*x2^2*x4^2*x5-7*x2^2*x4*x5^2-7*x2^2*x4*x5*x6-4*x2^2*x5^2*x6-12*x2*x3^3*x4+x2*x3^3*x5-8*x2*x3^2*x4^2+x2*x3^2*x4*x5-11*x2*x3^2*x4*x6-7*x2*x3*x4^3+15*x2*x3*x4^2*x5-14*x2*x3*x4^2*x6+11*x2*x3*x4*x5^2+7*x2*x4^3*x5+14*x2*x4^2*x5^2+14*x2*x4^2*x5*x6+11*x2*x4*x5^2*x6-x3^4*x4+x3^4*x5+3*x3^3*x4^2+x3^3*x4*x5+3*x3^2*x4^3+x3^2*x4^2*x5+4*x3^2*x4^2*x6-x3*x4^3*x5+2*x3*x4^3*x6-4*x3*x4^2*x5^2-2*x4^3*x5^2-2*x4^3*x5*x6-4*x4^2*x5^2*x6+x1^4+x1^3*x2+2*x1^3*x3-x1^3*x5-5*x1^2*x2^2-7*x1^2*x2*x3+8*x1^2*x2*x4+16*x1^2*x2*x5+5*x1^2*x3^2+10*x1^2*x3*x4-x1^2*x3*x5+2*x1^2*x3*x6+x1^2*x4^2-10*x1^2*x4*x5-2*x1^2*x5^2-2*x1^2*x5*x6-5*x1*x2^3-13*x1*x2^2*x3-27*x1*x2^2*x4-13*x1*x2^2*x5-12*x1*x2*x3^2-7*x1*x2*x3*x4+11*x1*x2*x3*x5-10*x1*x2*x3*x6+8*x1*x2*x4^2+43*x1*x2*x4*x5+10*x1*x2*x5^2+10*x1*x2*x5*x6+x1*x3^3+11*x1*x3^2*x4+x1*x3^2*x5+x1*x3^2*x6+10*x1*x3*x4^2-5*x1*x3*x4*x5+6*x1*x3*x4*x6-x1*x3*x5^2-10*x1*x4^2*x5-6*x1*x4*x5^2-6*x1*x4*x5*x6-x1*x5^2*x6+16*x2^4-6*x2^3*x4-5*x2^3*x5+2*x2^2*x3^2-14*x2^2*x3*x4-3*x2^2*x3*x5+4*x2^2*x3*x6-6*x2^2*x4^2-13*x2^2*x4*x5-4*x2^2*x5^2-4*x2^2*x5*x6-2*x2*x3^3-13*x2*x3^2*x4+x2*x3^2*x5-2*x2*x3^2*x6-8*x2*x3*x4^2+11*x2*x3*x4*x5-10*x2*x3*x4*x6+2*x2*x3*x5^2+16*x2*x4^2*x5+10*x2*x4*x5^2+10*x2*x4*x5*x6+2*x2*x5^2*x6+x3^3*x5+4*x3^2*x4^2+x3^2*x4*x5+x3^2*x4*x6+x3*x4^3-x3*x4^2*x5+2*x3*x4^2*x6-x3*x4*x5^2-x4^3*x5-2*x4^2*x5^2-2*x4^2*x5*x6-x4*x5^2*x6-12*x1^3+38*x1^2*x2-11*x1^2*x3-49*x1^2*x4-50*x1^2*x5-18*x1*x2^2+169*x1*x2*x3+349*x1*x2*x4+168*x1*x2*x5+x1*x3^2-83*x1*x3*x4-37*x1*x3*x5+25*x1*x3*x6-49*x1*x4^2-163*x1*x4*x5-25*x1*x5^2-25*x1*x5*x6-270*x2^3-14*x2^2*x3-6*x2^2*x4-4*x2^2*x5-2*x2*x3^2+181*x2*x3*x4+14*x2*x3*x5-26*x2*x3*x6+50*x2*x4^2+168*x2*x4*x5+26*x2*x5^2+26*x2*x5*x6+13*x3^2*x4-12*x3^2*x5+x3*x4^2-37*x3*x4*x5+25*x3*x4*x6-50*x4^2*x5-25*x4*x5^2-25*x4*x5*x6-59*x1^2+163*x1*x2-43*x1*x3-137*x1*x4-101*x1*x5-82*x2^2+85*x2*x3+170*x2*x4+78*x2*x5-36*x3*x4-33*x3*x5+26*x3*x6-52*x4^2-101*x4*x5-26*x5^2-26*x5*x6-54*x1+567*x2-28*x3-82*x4-26*x5-116
-35*x1^6-35*x1^5*x2-35*x1^4*x2^2-35*x1^3*x2^3-35*x1^2*x2^4+21*x1^2*x2^3*x4+21*x1^2*x2^3*x5+21*x1^2*x2^2*x3*x4+21*x1^2*x2^2*x3*x5+21*x1^2*x2^2*x4^2+42*x1^2*x2^2*x4*x5+21*x1^2*x2^2*x4*x6+21*x1^2*x2^2*x5^2+21*x1^2*x2^2*x5*x6-21*x1^2*x2*x3*x4^2-56*x1^2*x2*x3*x4*x5-21*x1^2*x2*x3*x5^2-56*x1^2*x2*x4^2*x5-21*x1^2*x2*x4^2*x6-56*x1^2*x2*x4*x5^2-56*x1^2*x2*x4*x5*x6-21*x1^2*x2*x5^2*x6+14*x1^2*x3*x4^2*x5+14*x1^2*x3*x4*x5^2+14*x1^2*x4^2*x5^2+14*x1^2*x4^2*x5*x6+14*x1^2*x4*x5^2*x6-77*x1*x2^5-21*x1*x2^4*x4-21*x1*x2^4*x5+21*x1*x2^3*x3*x4+21*x1*x2^3*x3*x5+21*x1*x2^3*x4^2+98*x1*x2^3*x4*x5+21*x1*x2^3*x4*x6+21*x1*x2^3*x5^2+21*x1*x2^3*x5*x6+21*x1*x2^2*x3*x4^2+42*x1*x2^2*x3*x4*x5+21*x1*x2^2*x3*x5^2+42*x1*x2^2*x4^2*x5+21*x1*x2^2*x4^2*x6+42*x1*x2^2*x4*x5^2+42*x1*x2^2*x4*x5*x6+21*x1*x2^2*x5^2*x6-56*x1*x2*x3*x4^2*x5-56*x1*x2*x3*x4*x5^2-56*x1*x2*x4^2*x5^2-56*x1*x2*x4^2*x5*x6-56*x1*x2*x4*x5^2*x6+14*x1*x3*x4^2*x5^2+14*x1*x4^2*x5^2*x6-21*x2^5*x3-42*x2^5*x4-42*x2^5*x5-21*x2^5*x6-21*x2^4*x4*x5+21*x2^3*x3*x4*x5+21*x2^3*x4^2*x5+21*x2^3*x4*x5^2+21*x2^3*x4*x5*x6+21*x2^2*x3*x4^2*x5+21*x2^2*x3*x4*x5^2+21*x2^2*x4^2*x5^2+21*x2^2*x4^2*x5*x6+21*x2^2*x4*x5^2*x6-21*x2*x3*x4^2*x5^2-21*x2*x4^2*x5^2*x6-35*x1^5-35*x1^4*x2-35*x1^3*x2^2-29*x1^2*x2^3+6*x1^2*x2^2*x3+27*x1^2*x2^2*x4+27*x1^2*x2^2*x5+6*x1^2*x2^2*x6-8*x1^2*x2*x3*x4-8*x1^2*x2*x3*x5-8*x1^2*x2*x4^2-36*x1^2*x2*x4*x5-8*x1^2*x2*x4*x6-8*x1^2*x2*x5^2-8*x1^2*x2*x5*x6-x1^2*x3*x4^2-x1^2*x3*x5^2-x1^2*x4^2*x6-x1^2*x5^2*x6-71*x1*x2^4+6*x1*x2^3*x3+20*x1*x2^3*x4+20*x1*x2^3*x5+6*x1*x2^3*x6+27*x1*x2^2*x3*x4+27*x1*x2^2*x3*x5+27*x1*x2^2*x4^2+90*x1*x2^2*x4*x5+27*x1*x2^2*x4*x6+27*x1*x2^2*x5^2+27*x1*x2^2*x5*x6-8*x1*x2*x3*x4^2-36*x1*x2*x3*x4*x5-8*x1*x2*x3*x5^2-36*x1*x2*x4^2*x5-8*x1*x2*x4^2*x6-36*x1*x2*x4*x5^2-36*x1*x2*x4*x5*x6-8*x1*x2*x5^2*x6-29*x2^5-15*x2^4*x3-36*x2^4*x4-36*x2^4*x5-15*x2^4*x6+6*x2^3*x3*x4+6*x2^3*x3*x5+6*x2^3*x4^2+20*x2^3*x4*x5+6*x2^3*x4*x6+6*x2^3*x5^2+6*x2^3*x5*x6+6*x2^2*x3*x4^2+27*x2^2*x3*x4*x5+6*x2^2*x3*x5^2+27*x2^2*x4^2*x5+6*x2^2*x4^2*x6+27*x2^2*x4*x5^2+27*x2^2*x4*x5*x6+6*x2^2*x5^2*x6-8*x2*x3*x4^2*x5-8*x2*x3*x4*x5^2-8*x2*x4^2*x5^2-8*x2*x4^2*x5*x6-8*x2*x4*x5^2*x6-x3*x4^2*x5^2-x4^2*x5^2*x6+420*x1^4+420*x1^3*x2+426*x1^2*x2^2-50*x1^2*x2*x3-349*x1^2*x2*x4-349*x1^2*x2*x5-50*x1^2*x2*x6+49*x1^2*x3*x4+49*x1^2*x3*x5+49*x1^2*x4^2+246*x1^2*x4*x5+49*x1^2*x4*x6+49*x1^2*x5^2+49*x1^2*x5*x6+986*x1*x2^3+6*x1*x2^2*x3+246*x1*x2^2*x4+246*x1*x2^2*x5+6*x1*x2^2*x6-349*x1*x2*x3*x4-349*x1*x2*x3*x5-349*x1*x2*x4^2-1437*x1*x2*x4*x5-349*x1*x2*x4*x6-349*x1*x2*x5^2-349*x1*x2*x5*x6+49*x1*x3*x4^2+246*x1*x3*x4*x5+49*x1*x3*x5^2+246*x1*x4^2*x5+49*x1*x4^2*x6+246*x1*x4*x5^2+246*x1*x4*x5*x6+49*x1*x5^2*x6+27*x2^4+258*x2^3*x3+566*x2^3*x4+566*x2^3*x5+258*x2^3*x6+6*x2^2*x3*x4+6*x2^2*x3*x5+6*x2^2*x4^2+246*x2^2*x4*x5+6*x2^2*x4*x6+6*x2^2*x5^2+6*x2^2*x5*x6-50*x2*x3*x4^2-349*x2*x3*x4*x5-50*x2*x3*x5^2-349*x2*x4^2*x5-50*x2*x4^2*x6-349*x2*x4*x5^2-349*x2*x4*x5*x6-50*x2*x5^2*x6+49*x3*x4^2*x5+49*x3*x4*x5^2+49*x4^2*x5^2+49*x4^2*x5*x6+49*x4*x5^2*x6+245*x1^3+75*x1^2*x2+52*x1^2*x3+137*x1^2*x4+137*x1^2*x5+52*x1^2*x6+425*x1*x2^2-170*x1*x2*x3-588*x1*x2*x4-588*x1*x2*x5-170*x1*x2*x6+137*x1*x3*x4+137*x1*x3*x5+137*x1*x4^2+452*x1*x4*x5+137*x1*x4*x6+137*x1*x5^2+137*x1*x5*x6+404*x2^3+75*x2^2*x3+180*x2^2*x4+180*x2^2*x5+75*x2^2*x6-170*x2*x3*x4-170*x2*x3*x5-170*x2*x4^2-588*x2*x4*x5-170*x2*x4*x6-170*x2*x5^2-170*x2*x5*x6+52*x3*x4^2+137*x3*x4*x5+52*x3*x5^2+137*x4^2*x5+52*x4^2*x6+137*x4*x5^2+137*x4*x5*x6+52*x5^2*x6-898*x1^2-2877*x1*x2+82*x1*x3+706*x1*x4+706*x1*x5+82*x1*x6-378*x2^2-539*x2*x3-1897*x2*x4-1897*x2*x5-539*x2*x6+82*x3*x4+82*x3*x5+82*x4^2+706*x4*x5+82*x4*x6+82*x5^2+82*x5*x6+378*x1-1113*x2+130*x3+868*x4+868*x5+130*x6+851
