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