x1^4*x2^3*x3+x1^3*x2^4*x3+x1^4*x2^2*x3^2+2*x1^3*x2^3*x3^2+x1^2*x2^4*x3^2+x1^4*x2*x3^3+2*x1^3*x2^2*x3^3+2*x1^2*x2^3*x3^3+x1*x2^4*x3^3+x1^3*x2*x3^4+x1^2*x2^2*x3^4+x1*x2^3*x3^4+x1^4*x2^3*x4+x1^3*x2^4*x4+2*x1^4*x2^2*x3*x4+4*x1^3*x2^3*x3*x4+2*x1^2*x2^4*x3*x4+2*x1^4*x2*x3^2*x4+5*x1^3*x2^2*x3^2*x4+5*x1^2*x2^3*x3^2*x4+2*x1*x2^4*x3^2*x4+x1^4*x3^3*x4+4*x1^3*x2*x3^3*x4+5*x1^2*x2^2*x3^3*x4+4*x1*x2^3*x3^3*x4+x2^4*x3^3*x4+x1^3*x3^4*x4+2*x1^2*x2*x3^4*x4+2*x1*x2^2*x3^4*x4+x2^3*x3^4*x4+x1^4*x2^2*x4^2+2*x1^3*x2^3*x4^2+x1^2*x2^4*x4^2+2*x1^4*x2*x3*x4^2+5*x1^3*x2^2*x3*x4^2+5*x1^2*x2^3*x3*x4^2+2*x1*x2^4*x3*x4^2+x1^4*x3^2*x4^2+5*x1^3*x2*x3^2*x4^2+7*x1^2*x2^2*x3^2*x4^2+5*x1*x2^3*x3^2*x4^2+x2^4*x3^2*x4^2+2*x1^3*x3^3*x4^2+5*x1^2*x2*x3^3*x4^2+5*x1*x2^2*x3^3*x4^2+2*x2^3*x3^3*x4^2+x1^2*x3^4*x4^2+2*x1*x2*x3^4*x4^2+x2^2*x3^4*x4^2+x1^4*x2*x4^3+2*x1^3*x2^2*x4^3+2*x1^2*x2^3*x4^3+x1*x2^4*x4^3+x1^4*x3*x4^3+4*x1^3*x2*x3*x4^3+5*x1^2*x2^2*x3*x4^3+4*x1*x2^3*x3*x4^3+x2^4*x3*x4^3+2*x1^3*x3^2*x4^3+5*x1^2*x2*x3^2*x4^3+5*x1*x2^2*x3^2*x4^3+2*x2^3*x3^2*x4^3+2*x1^2*x3^3*x4^3+4*x1*x2*x3^3*x4^3+2*x2^2*x3^3*x4^3+x1*x3^4*x4^3+x2*x3^4*x4^3+x1^3*x2*x4^4+x1^2*x2^2*x4^4+x1*x2^3*x4^4+x1^3*x3*x4^4+2*x1^2*x2*x3*x4^4+2*x1*x2^2*x3*x4^4+x2^3*x3*x4^4+x1^2*x3^2*x4^4+2*x1*x2*x3^2*x4^4+x2^2*x3^2*x4^4+x1*x3^3*x4^4+x2*x3^3*x4^4+x1^4*x2^3*x5+x1^3*x2^4*x5+2*x1^4*x2^2*x3*x5+4*x1^3*x2^3*x3*x5+2*x1^2*x2^4*x3*x5+2*x1^4*x2*x3^2*x5+5*x1^3*x2^2*x3^2*x5+5*x1^2*x2^3*x3^2*x5+2*x1*x2^4*x3^2*x5+x1^4*x3^3*x5+4*x1^3*x2*x3^3*x5+5*x1^2*x2^2*x3^3*x5+4*x1*x2^3*x3^3*x5+x2^4*x3^3*x5+x1^3*x3^4*x5+2*x1^2*x2*x3^4*x5+2*x1*x2^2*x3^4*x5+x2^3*x3^4*x5+2*x1^4*x2^2*x4*x5+4*x1^3*x2^3*x4*x5+2*x1^2*x2^4*x4*x5+3*x1^4*x2*x3*x4*x5+9*x1^3*x2^2*x3*x4*x5+9*x1^2*x2^3*x3*x4*x5+3*x1*x2^4*x3*x4*x5+2*x1^4*x3^2*x4*x5+9*x1^3*x2*x3^2*x4*x5+13*x1^2*x2^2*x3^2*x4*x5+9*x1*x2^3*x3^2*x4*x5+2*x2^4*x3^2*x4*x5+4*x1^3*x3^3*x4*x5+9*x1^2*x2*x3^3*x4*x5+9*x1*x2^2*x3^3*x4*x5+4*x2^3*x3^3*x4*x5+2*x1^2*x3^4*x4*x5+3*x1*x2*x3^4*x4*x5+2*x2^2*x3^4*x4*x5+2*x1^4*x2*x4^2*x5+5*x1^3*x2^2*x4^2*x5+5*x1^2*x2^3*x4^2*x5+2*x1*x2^4*x4^2*x5+2*x1^4*x3*x4^2*x5+9*x1^3*x2*x3*x4^2*x5+13*x1^2*x2^2*x3*x4^2*x5+9*x1*x2^3*x3*x4^2*x5+2*x2^4*x3*x4^2*x5+5*x1^3*x3^2*x4^2*x5+13*x1^2*x2*x3^2*x4^2*x5+13*x1*x2^2*x3^2*x4^2*x5+5*x2^3*x3^2*x4^2*x5+5*x1^2*x3^3*x4^2*x5+9*x1*x2*x3^3*x4^2*x5+5*x2^2*x3^3*x4^2*x5+2*x1*x3^4*x4^2*x5+2*x2*x3^4*x4^2*x5+x1^4*x4^3*x5+4*x1^3*x2*x4^3*x5+5*x1^2*x2^2*x4^3*x5+4*x1*x2^3*x4^3*x5+x2^4*x4^3*x5+4*x1^3*x3*x4^3*x5+9*x1^2*x2*x3*x4^3*x5+9*x1*x2^2*x3*x4^3*x5+4*x2^3*x3*x4^3*x5+5*x1^2*x3^2*x4^3*x5+9*x1*x2*x3^2*x4^3*x5+5*x2^2*x3^2*x4^3*x5+4*x1*x3^3*x4^3*x5+4*x2*x3^3*x4^3*x5+x3^4*x4^3*x5+x1^3*x4^4*x5+2*x1^2*x2*x4^4*x5+2*x1*x2^2*x4^4*x5+x2^3*x4^4*x5+2*x1^2*x3*x4^4*x5+3*x1*x2*x3*x4^4*x5+2*x2^2*x3*x4^4*x5+2*x1*x3^2*x4^4*x5+2*x2*x3^2*x4^4*x5+x3^3*x4^4*x5+x1^4*x2^2*x5^2+2*x1^3*x2^3*x5^2+x1^2*x2^4*x5^2+2*x1^4*x2*x3*x5^2+5*x1^3*x2^2*x3*x5^2+5*x1^2*x2^3*x3*x5^2+2*x1*x2^4*x3*x5^2+x1^4*x3^2*x5^2+5*x1^3*x2*x3^2*x5^2+7*x1^2*x2^2*x3^2*x5^2+5*x1*x2^3*x3^2*x5^2+x2^4*x3^2*x5^2+2*x1^3*x3^3*x5^2+5*x1^2*x2*x3^3*x5^2+5*x1*x2^2*x3^3*x5^2+2*x2^3*x3^3*x5^2+x1^2*x3^4*x5^2+2*x1*x2*x3^4*x5^2+x2^2*x3^4*x5^2+2*x1^4*x2*x4*x5^2+5*x1^3*x2^2*x4*x5^2+5*x1^2*x2^3*x4*x5^2+2*x1*x2^4*x4*x5^2+2*x1^4*x3*x4*x5^2+9*x1^3*x2*x3*x4*x5^2+13*x1^2*x2^2*x3*x4*x5^2+9*x1*x2^3*x3*x4*x5^2+2*x2^4*x3*x4*x5^2+5*x1^3*x3^2*x4*x5^2+13*x1^2*x2*x3^2*x4*x5^2+13*x1*x2^2*x3^2*x4*x5^2+5*x2^3*x3^2*x4*x5^2+5*x1^2*x3^3*x4*x5^2+9*x1*x2*x3^3*x4*x5^2+5*x2^2*x3^3*x4*x5^2+2*x1*x3^4*x4*x5^2+2*x2*x3^4*x4*x5^2+x1^4*x4^2*x5^2+5*x1^3*x2*x4^2*x5^2+7*x1^2*x2^2*x4^2*x5^2+5*x1*x2^3*x4^2*x5^2+x2^4*x4^2*x5^2+5*x1^3*x3*x4^2*x5^2+13*x1^2*x2*x3*x4^2*x5^2+13*x1*x2^2*x3*x4^2*x5^2+5*x2^3*x3*x4^2*x5^2+7*x1^2*x3^2*x4^2*x5^2+13*x1*x2*x3^2*x4^2*x5^2+7*x2^2*x3^2*x4^2*x5^2+5*x1*x3^3*x4^2*x5^2+5*x2*x3^3*x4^2*x5^2+x3^4*x4^2*x5^2+2*x1^3*x4^3*x5^2+5*x1^2*x2*x4^3*x5^2+5*x1*x2^2*x4^3*x5^2+2*x2^3*x4^3*x5^2+5*x1^2*x3*x4^3*x5^2+9*x1*x2*x3*x4^3*x5^2+5*x2^2*x3*x4^3*x5^2+5*x1*x3^2*x4^3*x5^2+5*x2*x3^2*x4^3*x5^2+2*x3^3*x4^3*x5^2+x1^2*x4^4*x5^2+2*x1*x2*x4^4*x5^2+x2^2*x4^4*x5^2+2*x1*x3*x4^4*x5^2+2*x2*x3*x4^4*x5^2+x3^2*x4^4*x5^2+x1^4*x2*x5^3+2*x1^3*x2^2*x5^3+2*x1^2*x2^3*x5^3+x1*x2^4*x5^3+x1^4*x3*x5^3+4*x1^3*x2*x3*x5^3+5*x1^2*x2^2*x3*x5^3+4*x1*x2^3*x3*x5^3+x2^4*x3*x5^3+2*x1^3*x3^2*x5^3+5*x1^2*x2*x3^2*x5^3+5*x1*x2^2*x3^2*x5^3+2*x2^3*x3^2*x5^3+2*x1^2*x3^3*x5^3+4*x1*x2*x3^3*x5^3+2*x2^2*x3^3*x5^3+x1*x3^4*x5^3+x2*x3^4*x5^3+x1^4*x4*x5^3+4*x1^3*x2*x4*x5^3+5*x1^2*x2^2*x4*x5^3+4*x1*x2^3*x4*x5^3+x2^4*x4*x5^3+4*x1^3*x3*x4*x5^3+9*x1^2*x2*x3*x4*x5^3+9*x1*x2^2*x3*x4*x5^3+4*x2^3*x3*x4*x5^3+5*x1^2*x3^2*x4*x5^3+9*x1*x2*x3^2*x4*x5^3+5*x2^2*x3^2*x4*x5^3+4*x1*x3^3*x4*x5^3+4*x2*x3^3*x4*x5^3+x3^4*x4*x5^3+2*x1^3*x4^2*x5^3+5*x1^2*x2*x4^2*x5^3+5*x1*x2^2*x4^2*x5^3+2*x2^3*x4^2*x5^3+5*x1^2*x3*x4^2*x5^3+9*x1*x2*x3*x4^2*x5^3+5*x2^2*x3*x4^2*x5^3+5*x1*x3^2*x4^2*x5^3+5*x2*x3^2*x4^2*x5^3+2*x3^3*x4^2*x5^3+2*x1^2*x4^3*x5^3+4*x1*x2*x4^3*x5^3+2*x2^2*x4^3*x5^3+4*x1*x3*x4^3*x5^3+4*x2*x3*x4^3*x5^3+2*x3^2*x4^3*x5^3+x1*x4^4*x5^3+x2*x4^4*x5^3+x3*x4^4*x5^3+x1^3*x2*x5^4+x1^2*x2^2*x5^4+x1*x2^3*x5^4+x1^3*x3*x5^4+2*x1^2*x2*x3*x5^4+2*x1*x2^2*x3*x5^4+x2^3*x3*x5^4+x1^2*x3^2*x5^4+2*x1*x2*x3^2*x5^4+x2^2*x3^2*x5^4+x1*x3^3*x5^4+x2*x3^3*x5^4+x1^3*x4*x5^4+2*x1^2*x2*x4*x5^4+2*x1*x2^2*x4*x5^4+x2^3*x4*x5^4+2*x1^2*x3*x4*x5^4+3*x1*x2*x3*x4*x5^4+2*x2^2*x3*x4*x5^4+2*x1*x3^2*x4*x5^4+2*x2*x3^2*x4*x5^4+x3^3*x4*x5^4+x1^2*x4^2*x5^4+2*x1*x2*x4^2*x5^4+x2^2*x4^2*x5^4+2*x1*x3*x4^2*x5^4+2*x2*x3*x4^2*x5^4+x3^2*x4^2*x5^4+x1*x4^3*x5^4+x2*x4^3*x5^4+x3*x4^3*x5^4+x1^4*x2^3*x6+x1^3*x2^4*x6+2*x1^4*x2^2*x3*x6+4*x1^3*x2^3*x3*x6+2*x1^2*x2^4*x3*x6+2*x1^4*x2*x3^2*x6+5*x1^3*x2^2*x3^2*x6+5*x1^2*x2^3*x3^2*x6+2*x1*x2^4*x3^2*x6+x1^4*x3^3*x6+4*x1^3*x2*x3^3*x6+5*x1^2*x2^2*x3^3*x6+4*x1*x2^3*x3^3*x6+x2^4*x3^3*x6+x1^3*x3^4*x6+2*x1^2*x2*x3^4*x6+2*x1*x2^2*x3^4*x6+x2^3*x3^4*x6+2*x1^4*x2^2*x4*x6+4*x1^3*x2^3*x4*x6+2*x1^2*x2^4*x4*x6+3*x1^4*x2*x3*x4*x6+9*x1^3*x2^2*x3*x4*x6+9*x1^2*x2^3*x3*x4*x6+3*x1*x2^4*x3*x4*x6+2*x1^4*x3^2*x4*x6+9*x1^3*x2*x3^2*x4*x6+13*x1^2*x2^2*x3^2*x4*x6+9*x1*x2^3*x3^2*x4*x6+2*x2^4*x3^2*x4*x6+4*x1^3*x3^3*x4*x6+9*x1^2*x2*x3^3*x4*x6+9*x1*x2^2*x3^3*x4*x6+4*x2^3*x3^3*x4*x6+2*x1^2*x3^4*x4*x6+3*x1*x2*x3^4*x4*x6+2*x2^2*x3^4*x4*x6+2*x1^4*x2*x4^2*x6+5*x1^3*x2^2*x4^2*x6+5*x1^2*x2^3*x4^2*x6+2*x1*x2^4*x4^2*x6+2*x1^4*x3*x4^2*x6+9*x1^3*x2*x3*x4^2*x6+13*x1^2*x2^2*x3*x4^2*x6+9*x1*x2^3*x3*x4^2*x6+2*x2^4*x3*x4^2*x6+5*x1^3*x3^2*x4^2*x6+13*x1^2*x2*x3^2*x4^2*x6+13*x1*x2^2*x3^2*x4^2*x6+5*x2^3*x3^2*x4^2*x6+5*x1^2*x3^3*x4^2*x6+9*x1*x2*x3^3*x4^2*x6+5*x2^2*x3^3*x4^2*x6+2*x1*x3^4*x4^2*x6+2*x2*x3^4*x4^2*x6+x1^4*x4^3*x6+4*x1^3*x2*x4^3*x6+5*x1^2*x2^2*x4^3*x6+4*x1*x2^3*x4^3*x6+x2^4*x4^3*x6+4*x1^3*x3*x4^3*x6+9*x1^2*x2*x3*x4^3*x6+9*x1*x2^2*x3*x4^3*x6+4*x2^3*x3*x4^3*x6+5*x1^2*x3^2*x4^3*x6+9*x1*x2*x3^2*x4^3*x6+5*x2^2*x3^2*x4^3*x6+4*x1*x3^3*x4^3*x6+4*x2*x3^3*x4^3*x6+x3^4*x4^3*x6+x1^3*x4^4*x6+2*x1^2*x2*x4^4*x6+2*x1*x2^2*x4^4*x6+x2^3*x4^4*x6+2*x1^2*x3*x4^4*x6+3*x1*x2*x3*x4^4*x6+2*x2^2*x3*x4^4*x6+2*x1*x3^2*x4^4*x6+2*x2*x3^2*x4^4*x6+x3^3*x4^4*x6+2*x1^4*x2^2*x5*x6+4*x1^3*x2^3*x5*x6+2*x1^2*x2^4*x5*x6+3*x1^4*x2*x3*x5*x6+9*x1^3*x2^2*x3*x5*x6+9*x1^2*x2^3*x3*x5*x6+3*x1*x2^4*x3*x5*x6+2*x1^4*x3^2*x5*x6+9*x1^3*x2*x3^2*x5*x6+13*x1^2*x2^2*x3^2*x5*x6+9*x1*x2^3*x3^2*x5*x6+2*x2^4*x3^2*x5*x6+4*x1^3*x3^3*x5*x6+9*x1^2*x2*x3^3*x5*x6+9*x1*x2^2*x3^3*x5*x6+4*x2^3*x3^3*x5*x6+2*x1^2*x3^4*x5*x6+3*x1*x2*x3^4*x5*x6+2*x2^2*x3^4*x5*x6+3*x1^4*x2*x4*x5*x6+9*x1^3*x2^2*x4*x5*x6+9*x1^2*x2^3*x4*x5*x6+3*x1*x2^4*x4*x5*x6+3*x1^4*x3*x4*x5*x6+15*x1^3*x2*x3*x4*x5*x6+23*x1^2*x2^2*x3*x4*x5*x6+15*x1*x2^3*x3*x4*x5*x6+3*x2^4*x3*x4*x5*x6+9*x1^3*x3^2*x4*x5*x6+23*x1^2*x2*x3^2*x4*x5*x6+23*x1*x2^2*x3^2*x4*x5*x6+9*x2^3*x3^2*x4*x5*x6+9*x1^2*x3^3*x4*x5*x6+15*x1*x2*x3^3*x4*x5*x6+9*x2^2*x3^3*x4*x5*x6+3*x1*x3^4*x4*x5*x6+3*x2*x3^4*x4*x5*x6+2*x1^4*x4^2*x5*x6+9*x1^3*x2*x4^2*x5*x6+13*x1^2*x2^2*x4^2*x5*x6+9*x1*x2^3*x4^2*x5*x6+2*x2^4*x4^2*x5*x6+9*x1^3*x3*x4^2*x5*x6+23*x1^2*x2*x3*x4^2*x5*x6+23*x1*x2^2*x3*x4^2*x5*x6+9*x2^3*x3*x4^2*x5*x6+13*x1^2*x3^2*x4^2*x5*x6+23*x1*x2*x3^2*x4^2*x5*x6+13*x2^2*x3^2*x4^2*x5*x6+9*x1*x3^3*x4^2*x5*x6+9*x2*x3^3*x4^2*x5*x6+2*x3^4*x4^2*x5*x6+4*x1^3*x4^3*x5*x6+9*x1^2*x2*x4^3*x5*x6+9*x1*x2^2*x4^3*x5*x6+4*x2^3*x4^3*x5*x6+9*x1^2*x3*x4^3*x5*x6+15*x1*x2*x3*x4^3*x5*x6+9*x2^2*x3*x4^3*x5*x6+9*x1*x3^2*x4^3*x5*x6+9*x2*x3^2*x4^3*x5*x6+4*x3^3*x4^3*x5*x6+2*x1^2*x4^4*x5*x6+3*x1*x2*x4^4*x5*x6+2*x2^2*x4^4*x5*x6+3*x1*x3*x4^4*x5*x6+3*x2*x3*x4^4*x5*x6+2*x3^2*x4^4*x5*x6+2*x1^4*x2*x5^2*x6+5*x1^3*x2^2*x5^2*x6+5*x1^2*x2^3*x5^2*x6+2*x1*x2^4*x5^2*x6+2*x1^4*x3*x5^2*x6+9*x1^3*x2*x3*x5^2*x6+13*x1^2*x2^2*x3*x5^2*x6+9*x1*x2^3*x3*x5^2*x6+2*x2^4*x3*x5^2*x6+5*x1^3*x3^2*x5^2*x6+13*x1^2*x2*x3^2*x5^2*x6+13*x1*x2^2*x3^2*x5^2*x6+5*x2^3*x3^2*x5^2*x6+5*x1^2*x3^3*x5^2*x6+9*x1*x2*x3^3*x5^2*x6+5*x2^2*x3^3*x5^2*x6+2*x1*x3^4*x5^2*x6+2*x2*x3^4*x5^2*x6+2*x1^4*x4*x5^2*x6+9*x1^3*x2*x4*x5^2*x6+13*x1^2*x2^2*x4*x5^2*x6+9*x1*x2^3*x4*x5^2*x6+2*x2^4*x4*x5^2*x6+9*x1^3*x3*x4*x5^2*x6+23*x1^2*x2*x3*x4*x5^2*x6+23*x1*x2^2*x3*x4*x5^2*x6+9*x2^3*x3*x4*x5^2*x6+13*x1^2*x3^2*x4*x5^2*x6+23*x1*x2*x3^2*x4*x5^2*x6+13*x2^2*x3^2*x4*x5^2*x6+9*x1*x3^3*x4*x5^2*x6+9*x2*x3^3*x4*x5^2*x6+2*x3^4*x4*x5^2*x6+5*x1^3*x4^2*x5^2*x6+13*x1^2*x2*x4^2*x5^2*x6+13*x1*x2^2*x4^2*x5^2*x6+5*x2^3*x4^2*x5^2*x6+13*x1^2*x3*x4^2*x5^2*x6+23*x1*x2*x3*x4^2*x5^2*x6+13*x2^2*x3*x4^2*x5^2*x6+13*x1*x3^2*x4^2*x5^2*x6+13*x2*x3^2*x4^2*x5^2*x6+5*x3^3*x4^2*x5^2*x6+5*x1^2*x4^3*x5^2*x6+9*x1*x2*x4^3*x5^2*x6+5*x2^2*x4^3*x5^2*x6+9*x1*x3*x4^3*x5^2*x6+9*x2*x3*x4^3*x5^2*x6+5*x3^2*x4^3*x5^2*x6+2*x1*x4^4*x5^2*x6+2*x2*x4^4*x5^2*x6+2*x3*x4^4*x5^2*x6+x1^4*x5^3*x6+4*x1^3*x2*x5^3*x6+5*x1^2*x2^2*x5^3*x6+4*x1*x2^3*x5^3*x6+x2^4*x5^3*x6+4*x1^3*x3*x5^3*x6+9*x1^2*x2*x3*x5^3*x6+9*x1*x2^2*x3*x5^3*x6+4*x2^3*x3*x5^3*x6+5*x1^2*x3^2*x5^3*x6+9*x1*x2*x3^2*x5^3*x6+5*x2^2*x3^2*x5^3*x6+4*x1*x3^3*x5^3*x6+4*x2*x3^3*x5^3*x6+x3^4*x5^3*x6+4*x1^3*x4*x5^3*x6+9*x1^2*x2*x4*x5^3*x6+9*x1*x2^2*x4*x5^3*x6+4*x2^3*x4*x5^3*x6+9*x1^2*x3*x4*x5^3*x6+15*x1*x2*x3*x4*x5^3*x6+9*x2^2*x3*x4*x5^3*x6+9*x1*x3^2*x4*x5^3*x6+9*x2*x3^2*x4*x5^3*x6+4*x3^3*x4*x5^3*x6+5*x1^2*x4^2*x5^3*x6+9*x1*x2*x4^2*x5^3*x6+5*x2^2*x4^2*x5^3*x6+9*x1*x3*x4^2*x5^3*x6+9*x2*x3*x4^2*x5^3*x6+5*x3^2*x4^2*x5^3*x6+4*x1*x4^3*x5^3*x6+4*x2*x4^3*x5^3*x6+4*x3*x4^3*x5^3*x6+x4^4*x5^3*x6+x1^3*x5^4*x6+2*x1^2*x2*x5^4*x6+2*x1*x2^2*x5^4*x6+x2^3*x5^4*x6+2*x1^2*x3*x5^4*x6+3*x1*x2*x3*x5^4*x6+2*x2^2*x3*x5^4*x6+2*x1*x3^2*x5^4*x6+2*x2*x3^2*x5^4*x6+x3^3*x5^4*x6+2*x1^2*x4*x5^4*x6+3*x1*x2*x4*x5^4*x6+2*x2^2*x4*x5^4*x6+3*x1*x3*x4*x5^4*x6+3*x2*x3*x4*x5^4*x6+2*x3^2*x4*x5^4*x6+2*x1*x4^2*x5^4*x6+2*x2*x4^2*x5^4*x6+2*x3*x4^2*x5^4*x6+x4^3*x5^4*x6+x1^4*x2^2*x6^2+2*x1^3*x2^3*x6^2+x1^2*x2^4*x6^2+2*x1^4*x2*x3*x6^2+5*x1^3*x2^2*x3*x6^2+5*x1^2*x2^3*x3*x6^2+2*x1*x2^4*x3*x6^2+x1^4*x3^2*x6^2+5*x1^3*x2*x3^2*x6^2+7*x1^2*x2^2*x3^2*x6^2+5*x1*x2^3*x3^2*x6^2+x2^4*x3^2*x6^2+2*x1^3*x3^3*x6^2+5*x1^2*x2*x3^3*x6^2+5*x1*x2^2*x3^3*x6^2+2*x2^3*x3^3*x6^2+x1^2*x3^4*x6^2+2*x1*x2*x3^4*x6^2+x2^2*x3^4*x6^2+2*x1^4*x2*x4*x6^2+5*x1^3*x2^2*x4*x6^2+5*x1^2*x2^3*x4*x6^2+2*x1*x2^4*x4*x6^2+2*x1^4*x3*x4*x6^2+9*x1^3*x2*x3*x4*x6^2+13*x1^2*x2^2*x3*x4*x6^2+9*x1*x2^3*x3*x4*x6^2+2*x2^4*x3*x4*x6^2+5*x1^3*x3^2*x4*x6^2+13*x1^2*x2*x3^2*x4*x6^2+13*x1*x2^2*x3^2*x4*x6^2+5*x2^3*x3^2*x4*x6^2+5*x1^2*x3^3*x4*x6^2+9*x1*x2*x3^3*x4*x6^2+5*x2^2*x3^3*x4*x6^2+2*x1*x3^4*x4*x6^2+2*x2*x3^4*x4*x6^2+x1^4*x4^2*x6^2+5*x1^3*x2*x4^2*x6^2+7*x1^2*x2^2*x4^2*x6^2+5*x1*x2^3*x4^2*x6^2+x2^4*x4^2*x6^2+5*x1^3*x3*x4^2*x6^2+13*x1^2*x2*x3*x4^2*x6^2+13*x1*x2^2*x3*x4^2*x6^2+5*x2^3*x3*x4^2*x6^2+7*x1^2*x3^2*x4^2*x6^2+13*x1*x2*x3^2*x4^2*x6^2+7*x2^2*x3^2*x4^2*x6^2+5*x1*x3^3*x4^2*x6^2+5*x2*x3^3*x4^2*x6^2+x3^4*x4^2*x6^2+2*x1^3*x4^3*x6^2+5*x1^2*x2*x4^3*x6^2+5*x1*x2^2*x4^3*x6^2+2*x2^3*x4^3*x6^2+5*x1^2*x3*x4^3*x6^2+9*x1*x2*x3*x4^3*x6^2+5*x2^2*x3*x4^3*x6^2+5*x1*x3^2*x4^3*x6^2+5*x2*x3^2*x4^3*x6^2+2*x3^3*x4^3*x6^2+x1^2*x4^4*x6^2+2*x1*x2*x4^4*x6^2+x2^2*x4^4*x6^2+2*x1*x3*x4^4*x6^2+2*x2*x3*x4^4*x6^2+x3^2*x4^4*x6^2+2*x1^4*x2*x5*x6^2+5*x1^3*x2^2*x5*x6^2+5*x1^2*x2^3*x5*x6^2+2*x1*x2^4*x5*x6^2+2*x1^4*x3*x5*x6^2+9*x1^3*x2*x3*x5*x6^2+13*x1^2*x2^2*x3*x5*x6^2+9*x1*x2^3*x3*x5*x6^2+2*x2^4*x3*x5*x6^2+5*x1^3*x3^2*x5*x6^2+13*x1^2*x2*x3^2*x5*x6^2+13*x1*x2^2*x3^2*x5*x6^2+5*x2^3*x3^2*x5*x6^2+5*x1^2*x3^3*x5*x6^2+9*x1*x2*x3^3*x5*x6^2+5*x2^2*x3^3*x5*x6^2+2*x1*x3^4*x5*x6^2+2*x2*x3^4*x5*x6^2+2*x1^4*x4*x5*x6^2+9*x1^3*x2*x4*x5*x6^2+13*x1^2*x2^2*x4*x5*x6^2+9*x1*x2^3*x4*x5*x6^2+2*x2^4*x4*x5*x6^2+9*x1^3*x3*x4*x5*x6^2+23*x1^2*x2*x3*x4*x5*x6^2+23*x1*x2^2*x3*x4*x5*x6^2+9*x2^3*x3*x4*x5*x6^2+13*x1^2*x3^2*x4*x5*x6^2+23*x1*x2*x3^2*x4*x5*x6^2+13*x2^2*x3^2*x4*x5*x6^2+9*x1*x3^3*x4*x5*x6^2+9*x2*x3^3*x4*x5*x6^2+2*x3^4*x4*x5*x6^2+5*x1^3*x4^2*x5*x6^2+13*x1^2*x2*x4^2*x5*x6^2+13*x1*x2^2*x4^2*x5*x6^2+5*x2^3*x4^2*x5*x6^2+13*x1^2*x3*x4^2*x5*x6^2+23*x1*x2*x3*x4^2*x5*x6^2+13*x2^2*x3*x4^2*x5*x6^2+13*x1*x3^2*x4^2*x5*x6^2+13*x2*x3^2*x4^2*x5*x6^2+5*x3^3*x4^2*x5*x6^2+5*x1^2*x4^3*x5*x6^2+9*x1*x2*x4^3*x5*x6^2+5*x2^2*x4^3*x5*x6^2+9*x1*x3*x4^3*x5*x6^2+9*x2*x3*x4^3*x5*x6^2+5*x3^2*x4^3*x5*x6^2+2*x1*x4^4*x5*x6^2+2*x2*x4^4*x5*x6^2+2*x3*x4^4*x5*x6^2+x1^4*x5^2*x6^2+5*x1^3*x2*x5^2*x6^2+7*x1^2*x2^2*x5^2*x6^2+5*x1*x2^3*x5^2*x6^2+x2^4*x5^2*x6^2+5*x1^3*x3*x5^2*x6^2+13*x1^2*x2*x3*x5^2*x6^2+13*x1*x2^2*x3*x5^2*x6^2+5*x2^3*x3*x5^2*x6^2+7*x1^2*x3^2*x5^2*x6^2+13*x1*x2*x3^2*x5^2*x6^2+7*x2^2*x3^2*x5^2*x6^2+5*x1*x3^3*x5^2*x6^2+5*x2*x3^3*x5^2*x6^2+x3^4*x5^2*x6^2+5*x1^3*x4*x5^2*x6^2+13*x1^2*x2*x4*x5^2*x6^2+13*x1*x2^2*x4*x5^2*x6^2+5*x2^3*x4*x5^2*x6^2+13*x1^2*x3*x4*x5^2*x6^2+23*x1*x2*x3*x4*x5^2*x6^2+13*x2^2*x3*x4*x5^2*x6^2+13*x1*x3^2*x4*x5^2*x6^2+13*x2*x3^2*x4*x5^2*x6^2+5*x3^3*x4*x5^2*x6^2+7*x1^2*x4^2*x5^2*x6^2+13*x1*x2*x4^2*x5^2*x6^2+7*x2^2*x4^2*x5^2*x6^2+13*x1*x3*x4^2*x5^2*x6^2+13*x2*x3*x4^2*x5^2*x6^2+7*x3^2*x4^2*x5^2*x6^2+5*x1*x4^3*x5^2*x6^2+5*x2*x4^3*x5^2*x6^2+5*x3*x4^3*x5^2*x6^2+x4^4*x5^2*x6^2+2*x1^3*x5^3*x6^2+5*x1^2*x2*x5^3*x6^2+5*x1*x2^2*x5^3*x6^2+2*x2^3*x5^3*x6^2+5*x1^2*x3*x5^3*x6^2+9*x1*x2*x3*x5^3*x6^2+5*x2^2*x3*x5^3*x6^2+5*x1*x3^2*x5^3*x6^2+5*x2*x3^2*x5^3*x6^2+2*x3^3*x5^3*x6^2+5*x1^2*x4*x5^3*x6^2+9*x1*x2*x4*x5^3*x6^2+5*x2^2*x4*x5^3*x6^2+9*x1*x3*x4*x5^3*x6^2+9*x2*x3*x4*x5^3*x6^2+5*x3^2*x4*x5^3*x6^2+5*x1*x4^2*x5^3*x6^2+5*x2*x4^2*x5^3*x6^2+5*x3*x4^2*x5^3*x6^2+2*x4^3*x5^3*x6^2+x1^2*x5^4*x6^2+2*x1*x2*x5^4*x6^2+x2^2*x5^4*x6^2+2*x1*x3*x5^4*x6^2+2*x2*x3*x5^4*x6^2+x3^2*x5^4*x6^2+2*x1*x4*x5^4*x6^2+2*x2*x4*x5^4*x6^2+2*x3*x4*x5^4*x6^2+x4^2*x5^4*x6^2+x1^4*x2*x6^3+2*x1^3*x2^2*x6^3+2*x1^2*x2^3*x6^3+x1*x2^4*x6^3+x1^4*x3*x6^3+4*x1^3*x2*x3*x6^3+5*x1^2*x2^2*x3*x6^3+4*x1*x2^3*x3*x6^3+x2^4*x3*x6^3+2*x1^3*x3^2*x6^3+5*x1^2*x2*x3^2*x6^3+5*x1*x2^2*x3^2*x6^3+2*x2^3*x3^2*x6^3+2*x1^2*x3^3*x6^3+4*x1*x2*x3^3*x6^3+2*x2^2*x3^3*x6^3+x1*x3^4*x6^3+x2*x3^4*x6^3+x1^4*x4*x6^3+4*x1^3*x2*x4*x6^3+5*x1^2*x2^2*x4*x6^3+4*x1*x2^3*x4*x6^3+x2^4*x4*x6^3+4*x1^3*x3*x4*x6^3+9*x1^2*x2*x3*x4*x6^3+9*x1*x2^2*x3*x4*x6^3+4*x2^3*x3*x4*x6^3+5*x1^2*x3^2*x4*x6^3+9*x1*x2*x3^2*x4*x6^3+5*x2^2*x3^2*x4*x6^3+4*x1*x3^3*x4*x6^3+4*x2*x3^3*x4*x6^3+x3^4*x4*x6^3+2*x1^3*x4^2*x6^3+5*x1^2*x2*x4^2*x6^3+5*x1*x2^2*x4^2*x6^3+2*x2^3*x4^2*x6^3+5*x1^2*x3*x4^2*x6^3+9*x1*x2*x3*x4^2*x6^3+5*x2^2*x3*x4^2*x6^3+5*x1*x3^2*x4^2*x6^3+5*x2*x3^2*x4^2*x6^3+2*x3^3*x4^2*x6^3+2*x1^2*x4^3*x6^3+4*x1*x2*x4^3*x6^3+2*x2^2*x4^3*x6^3+4*x1*x3*x4^3*x6^3+4*x2*x3*x4^3*x6^3+2*x3^2*x4^3*x6^3+x1*x4^4*x6^3+x2*x4^4*x6^3+x3*x4^4*x6^3+x1^4*x5*x6^3+4*x1^3*x2*x5*x6^3+5*x1^2*x2^2*x5*x6^3+4*x1*x2^3*x5*x6^3+x2^4*x5*x6^3+4*x1^3*x3*x5*x6^3+9*x1^2*x2*x3*x5*x6^3+9*x1*x2^2*x3*x5*x6^3+4*x2^3*x3*x5*x6^3+5*x1^2*x3^2*x5*x6^3+9*x1*x2*x3^2*x5*x6^3+5*x2^2*x3^2*x5*x6^3+4*x1*x3^3*x5*x6^3+4*x2*x3^3*x5*x6^3+x3^4*x5*x6^3+4*x1^3*x4*x5*x6^3+9*x1^2*x2*x4*x5*x6^3+9*x1*x2^2*x4*x5*x6^3+4*x2^3*x4*x5*x6^3+9*x1^2*x3*x4*x5*x6^3+15*x1*x2*x3*x4*x5*x6^3+9*x2^2*x3*x4*x5*x6^3+9*x1*x3^2*x4*x5*x6^3+9*x2*x3^2*x4*x5*x6^3+4*x3^3*x4*x5*x6^3+5*x1^2*x4^2*x5*x6^3+9*x1*x2*x4^2*x5*x6^3+5*x2^2*x4^2*x5*x6^3+9*x1*x3*x4^2*x5*x6^3+9*x2*x3*x4^2*x5*x6^3+5*x3^2*x4^2*x5*x6^3+4*x1*x4^3*x5*x6^3+4*x2*x4^3*x5*x6^3+4*x3*x4^3*x5*x6^3+x4^4*x5*x6^3+2*x1^3*x5^2*x6^3+5*x1^2*x2*x5^2*x6^3+5*x1*x2^2*x5^2*x6^3+2*x2^3*x5^2*x6^3+5*x1^2*x3*x5^2*x6^3+9*x1*x2*x3*x5^2*x6^3+5*x2^2*x3*x5^2*x6^3+5*x1*x3^2*x5^2*x6^3+5*x2*x3^2*x5^2*x6^3+2*x3^3*x5^2*x6^3+5*x1^2*x4*x5^2*x6^3+9*x1*x2*x4*x5^2*x6^3+5*x2^2*x4*x5^2*x6^3+9*x1*x3*x4*x5^2*x6^3+9*x2*x3*x4*x5^2*x6^3+5*x3^2*x4*x5^2*x6^3+5*x1*x4^2*x5^2*x6^3+5*x2*x4^2*x5^2*x6^3+5*x3*x4^2*x5^2*x6^3+2*x4^3*x5^2*x6^3+2*x1^2*x5^3*x6^3+4*x1*x2*x5^3*x6^3+2*x2^2*x5^3*x6^3+4*x1*x3*x5^3*x6^3+4*x2*x3*x5^3*x6^3+2*x3^2*x5^3*x6^3+4*x1*x4*x5^3*x6^3+4*x2*x4*x5^3*x6^3+4*x3*x4*x5^3*x6^3+2*x4^2*x5^3*x6^3+x1*x5^4*x6^3+x2*x5^4*x6^3+x3*x5^4*x6^3+x4*x5^4*x6^3+x1^3*x2*x6^4+x1^2*x2^2*x6^4+x1*x2^3*x6^4+x1^3*x3*x6^4+2*x1^2*x2*x3*x6^4+2*x1*x2^2*x3*x6^4+x2^3*x3*x6^4+x1^2*x3^2*x6^4+2*x1*x2*x3^2*x6^4+x2^2*x3^2*x6^4+x1*x3^3*x6^4+x2*x3^3*x6^4+x1^3*x4*x6^4+2*x1^2*x2*x4*x6^4+2*x1*x2^2*x4*x6^4+x2^3*x4*x6^4+2*x1^2*x3*x4*x6^4+3*x1*x2*x3*x4*x6^4+2*x2^2*x3*x4*x6^4+2*x1*x3^2*x4*x6^4+2*x2*x3^2*x4*x6^4+x3^3*x4*x6^4+x1^2*x4^2*x6^4+2*x1*x2*x4^2*x6^4+x2^2*x4^2*x6^4+2*x1*x3*x4^2*x6^4+2*x2*x3*x4^2*x6^4+x3^2*x4^2*x6^4+x1*x4^3*x6^4+x2*x4^3*x6^4+x3*x4^3*x6^4+x1^3*x5*x6^4+2*x1^2*x2*x5*x6^4+2*x1*x2^2*x5*x6^4+x2^3*x5*x6^4+2*x1^2*x3*x5*x6^4+3*x1*x2*x3*x5*x6^4+2*x2^2*x3*x5*x6^4+2*x1*x3^2*x5*x6^4+2*x2*x3^2*x5*x6^4+x3^3*x5*x6^4+2*x1^2*x4*x5*x6^4+3*x1*x2*x4*x5*x6^4+2*x2^2*x4*x5*x6^4+3*x1*x3*x4*x5*x6^4+3*x2*x3*x4*x5*x6^4+2*x3^2*x4*x5*x6^4+2*x1*x4^2*x5*x6^4+2*x2*x4^2*x5*x6^4+2*x3*x4^2*x5*x6^4+x4^3*x5*x6^4+x1^2*x5^2*x6^4+2*x1*x2*x5^2*x6^4+x2^2*x5^2*x6^4+2*x1*x3*x5^2*x6^4+2*x2*x3*x5^2*x6^4+x3^2*x5^2*x6^4+2*x1*x4*x5^2*x6^4+2*x2*x4*x5^2*x6^4+2*x3*x4*x5^2*x6^4+x4^2*x5^2*x6^4+x1*x5^3*x6^4+x2*x5^3*x6^4+x3*x5^3*x6^4+x4*x5^3*x6^4