x_1, x_10, x_11, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
x_1+x_3+x_5+x_7-x_11
x_1+x_2+x_3+x_4+x_5+x_6+x_7+x_8-1
-x_1^2*x_10-x_1*x_10*x_2-x_1*x_10*x_3-x_1*x_10*x_4-x_1*x_10*x_5-x_10*x_2*x_5-x_10*x_3*x_5-x_10*x_4*x_5+x_1^2+2*x_1*x_2+x_1*x_5+x_1*x_6+x_2^2+x_2*x_5+x_2*x_6
-x_1^2*x_9-2*x_1*x_2*x_9-x_1*x_3*x_9-x_1*x_4*x_9-x_1*x_5*x_9-x_1*x_6*x_9-x_2^2*x_9-x_2*x_3*x_9-x_2*x_4*x_9-x_2*x_5*x_9-x_2*x_6*x_9-x_3*x_5*x_9-x_3*x_6*x_9-x_4*x_5*x_9-x_4*x_6*x_9+x_1+x_2
