x_1, x_10, x_11, x_12, x_13, x_14, x_15, x_16, x_17, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
x_2*x_8
x_4*x_10
x_5*x_11
x_10*x_5+x_11*x_4
x_4*x_7+x_10
x_10*x_2+x_4*x_8
x_11*x_3+x_5*x_9
x_2*x_7+x_8
x_11*x_3+2*x_3*x_9+x_5*x_9
x_11*x_3+2*x_11*x_5+x_5*x_9
x_11*x_3+x_11*x_5+x_3*x_9+x_5*x_9
x_10*x_3+x_4*x_9+x_5*x_7+x_11
x_1*x_8+x_10*x_2+x_2*x_6+x_2*x_7+x_4*x_8+x_14+x_8
x_1*x_7+x_2*x_9+x_3*x_8+x_4*x_7+x_10+x_13+x_6+2*x_7
x_1*x_10+2*x_10*x_4+x_11*x_2+x_4*x_6+x_4*x_7+x_5*x_8+x_10+x_16
x_1*x_9+x_10*x_3+x_3*x_6+2*x_3*x_7+x_4*x_9+x_5*x_7+x_11+x_15+2*x_9
x_1*x_11+x_10*x_3+2*x_10*x_5+2*x_11*x_4+x_4*x_9+x_5*x_6+x_5*x_7+x_11+x_17
x_1*x_11+x_1*x_9+x_10*x_3+x_10*x_5+x_11*x_4+x_3*x_6+x_3*x_7+x_4*x_9+x_5*x_6+x_5*x_7+x_11+x_15+x_17+x_9-1
x_1*x_10+x_1*x_6+x_1*x_7+x_10*x_4+x_11*x_2+x_2*x_9+x_3*x_8+x_4*x_6+x_4*x_7+x_5*x_8+x_10+x_12+x_13+x_16+x_6+x_7
