x_1, x_10, x_11, x_12, x_13, x_14, x_15, x_16, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
12*x_14*x_7+2*x_14*x_9+x_15*x_8
12*x_10*x_16+x_15*x_9+2*x_16*x_8
2*x_11*x_4+2*x_11*x_6+x_12*x_2+x_13*x_3+1
9*x_10*x_15+2*x_14*x_9+4*x_15*x_8+6*x_16*x_7+6*x_16*x_9
6*x_10*x_14+6*x_14*x_8+9*x_15*x_7+4*x_15*x_9+2*x_16*x_8
9*x_12*x_7+2*x_12*x_9+x_13*x_8+6*x_14*x_4+2*x_14*x_6+x_15*x_5
9*x_10*x_13+x_12*x_9+2*x_13*x_8+x_15*x_5+2*x_16*x_4+6*x_16*x_6
6*x_11*x_7+2*x_11*x_9+4*x_12*x_4+2*x_12*x_6+x_13*x_5+2*x_14*x_2+x_15*x_3
6*x_10*x_11+2*x_11*x_8+x_12*x_5+2*x_13*x_4+4*x_13*x_6+x_15*x_2+2*x_16*x_3
6*x_10*x_12+4*x_12*x_8+6*x_13*x_7+4*x_13*x_9+2*x_14*x_5+4*x_15*x_4+4*x_15*x_6+2*x_16*x_5
