x_1, x_2, x_3, x_4, x_5, x_6, 
x_1+x_2+x_3+x_4+x_5-1
-x_1*x_6^2+2*x_2*x_6^2-12*x_3*x_6^2-x_4*x_6^2+x_5*x_6^2+x_1*x_6+2*x_2*x_6-2*x_4*x_6-2*x_5*x_6-x_1+3*x_2+10*x_3+2*x_4-x_5
-10*x_1*x_6^2+2*x_2*x_6^2-x_3*x_6^2+x_4*x_6^2+3*x_5*x_6^2+x_1*x_6+2*x_2*x_6+x_3*x_6+2*x_4*x_6+x_5*x_6+10*x_1+2*x_2-x_3+2*x_4-2*x_5
x_1*x_6^2-2*x_2*x_6^2-x_3*x_6^2-10*x_4*x_6^2+2*x_5*x_6^2+2*x_1*x_6+x_2*x_6-2*x_3*x_6+2*x_4*x_6+3*x_5*x_6+2*x_1-x_2+2*x_3+12*x_4+x_5
2*x_1*x_6^2-11*x_2*x_6^2+2*x_3*x_6^2-2*x_4*x_6^2+x_5*x_6^2+2*x_1*x_6+x_2*x_6+2*x_3*x_6+x_4*x_6+3*x_5*x_6+2*x_1+9*x_2+3*x_3-x_4-2*x_5
3*x_1*x_6^2+x_2*x_6^2+x_3*x_6^2+2*x_4*x_6^2-11*x_5*x_6^2+x_1*x_6+3*x_2*x_6-2*x_3*x_6+3*x_4*x_6+3*x_5*x_6-2*x_1-2*x_2-x_3+x_4+10*x_5
