x1^2*x2^2*x3+x1^2*x2*x3^2+x1*x2^2*x3^2+x1^2*x2^2*x4+2*x1^2*x2*x3*x4+2*x1*x2^2*x3*x4+x1^2*x3^2*x4+2*x1*x2*x3^2*x4+x2^2*x3^2*x4+x1^2*x2*x4^2+x1*x2^2*x4^2+x1^2*x3*x4^2+2*x1*x2*x3*x4^2+x2^2*x3*x4^2+x1*x3^2*x4^2+x2*x3^2*x4^2+x1^2*x2^2*x5+2*x1^2*x2*x3*x5+2*x1*x2^2*x3*x5+x1^2*x3^2*x5+2*x1*x2*x3^2*x5+x2^2*x3^2*x5+2*x1^2*x2*x4*x5+2*x1*x2^2*x4*x5+2*x1^2*x3*x4*x5+5*x1*x2*x3*x4*x5+2*x2^2*x3*x4*x5+2*x1*x3^2*x4*x5+2*x2*x3^2*x4*x5+x1^2*x4^2*x5+2*x1*x2*x4^2*x5+x2^2*x4^2*x5+2*x1*x3*x4^2*x5+2*x2*x3*x4^2*x5+x3^2*x4^2*x5+x1^2*x2*x5^2+x1*x2^2*x5^2+x1^2*x3*x5^2+2*x1*x2*x3*x5^2+x2^2*x3*x5^2+x1*x3^2*x5^2+x2*x3^2*x5^2+x1^2*x4*x5^2+2*x1*x2*x4*x5^2+x2^2*x4*x5^2+2*x1*x3*x4*x5^2+2*x2*x3*x4*x5^2+x3^2*x4*x5^2+x1*x4^2*x5^2+x2*x4^2*x5^2+x3*x4^2*x5^2+x1^2*x2^2*x6+2*x1^2*x2*x3*x6+2*x1*x2^2*x3*x6+x1^2*x3^2*x6+2*x1*x2*x3^2*x6+x2^2*x3^2*x6+2*x1^2*x2*x4*x6+2*x1*x2^2*x4*x6+2*x1^2*x3*x4*x6+5*x1*x2*x3*x4*x6+2*x2^2*x3*x4*x6+2*x1*x3^2*x4*x6+2*x2*x3^2*x4*x6+x1^2*x4^2*x6+2*x1*x2*x4^2*x6+x2^2*x4^2*x6+2*x1*x3*x4^2*x6+2*x2*x3*x4^2*x6+x3^2*x4^2*x6+2*x1^2*x2*x5*x6+2*x1*x2^2*x5*x6+2*x1^2*x3*x5*x6+5*x1*x2*x3*x5*x6+2*x2^2*x3*x5*x6+2*x1*x3^2*x5*x6+2*x2*x3^2*x5*x6+2*x1^2*x4*x5*x6+5*x1*x2*x4*x5*x6+2*x2^2*x4*x5*x6+5*x1*x3*x4*x5*x6+5*x2*x3*x4*x5*x6+2*x3^2*x4*x5*x6+2*x1*x4^2*x5*x6+2*x2*x4^2*x5*x6+2*x3*x4^2*x5*x6+x1^2*x5^2*x6+2*x1*x2*x5^2*x6+x2^2*x5^2*x6+2*x1*x3*x5^2*x6+2*x2*x3*x5^2*x6+x3^2*x5^2*x6+2*x1*x4*x5^2*x6+2*x2*x4*x5^2*x6+2*x3*x4*x5^2*x6+x4^2*x5^2*x6+x1^2*x2*x6^2+x1*x2^2*x6^2+x1^2*x3*x6^2+2*x1*x2*x3*x6^2+x2^2*x3*x6^2+x1*x3^2*x6^2+x2*x3^2*x6^2+x1^2*x4*x6^2+2*x1*x2*x4*x6^2+x2^2*x4*x6^2+2*x1*x3*x4*x6^2+2*x2*x3*x4*x6^2+x3^2*x4*x6^2+x1*x4^2*x6^2+x2*x4^2*x6^2+x3*x4^2*x6^2+x1^2*x5*x6^2+2*x1*x2*x5*x6^2+x2^2*x5*x6^2+2*x1*x3*x5*x6^2+2*x2*x3*x5*x6^2+x3^2*x5*x6^2+2*x1*x4*x5*x6^2+2*x2*x4*x5*x6^2+2*x3*x4*x5*x6^2+x4^2*x5*x6^2+x1*x5^2*x6^2+x2*x5^2*x6^2+x3*x5^2*x6^2+x4*x5^2*x6^2