x_1, x_2, x_3, x_4, x_5, x_6, 
1+6*x_1
1+6*x_4
x_5-x_2
-1+6*x_2+6*x_6
6*x_3-1+6*x_2
36*x_2^2-6*x_2+1
