x_1, x_10, x_11, x_12, x_13, x_14, x_15, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
-x_13^2
-x_15^2
-x_3^2
-2*x_10*x_13
-2*x_12*x_15
-2*x_13*x_14
-2*x_14*x_15
-2*x_2*x_3
-2*x_3*x_6
-2*x_1*x_2+x_5
-2*x_11*x_15-2*x_12*x_14
-2*x_10*x_14-2*x_11*x_13
-2*x_13*x_15-x_14^2
-2*x_2*x_6-2*x_3*x_5
-x_1^2+x_4-2
-2*x_1*x_4+2*x_1+2*x_7
-x_10^2-x_13^2-2*x_13*x_7
-x_12^2-x_15^2-2*x_15*x_9
-2*x_1*x_3-x_2^2+x_6
-x_3^2-2*x_3*x_9-x_6^2
-2*x_10*x_15-2*x_11*x_14-2*x_12*x_13
-2*x_12*x_15-2*x_12*x_9-2*x_15*x_6
-2*x_12*x_3-2*x_3*x_6-2*x_6*x_9
-2*x_10*x_13-2*x_10*x_7-2*x_13*x_4+6*x_13
-2*x_2*x_3-2*x_2*x_9-2*x_3*x_8-2*x_5*x_6
-2*x_12*x_3-2*x_12*x_9-2*x_15*x_6-2*x_6*x_9
-2*x_1*x_5-2*x_2*x_4+5*x_2+2*x_8
-2*x_10*x_11-2*x_13*x_14-2*x_13*x_8-2*x_14*x_7
-2*x_11*x_12-2*x_14*x_15-2*x_14*x_9-2*x_15*x_8
-x_12^2-2*x_12*x_6-2*x_15*x_3-2*x_15*x_9-x_9^2
-2*x_12*x_6-2*x_15*x_3-2*x_3*x_9-x_6^2-x_9^2
-2*x_1*x_6-2*x_2*x_5-2*x_3*x_4+8*x_3+2*x_9
-2*x_1*x_10-2*x_1*x_4-2*x_4*x_7+2*x_1+4*x_13+6*x_7
-2*x_1*x_13-x_10^2-2*x_10*x_4-2*x_13*x_7-x_7^2+5*x_10
-x_1^2-2*x_1*x_7-x_4^2+3*x_10+4*x_4-4
-2*x_11*x_15-2*x_11*x_9-2*x_12*x_14-2*x_12*x_8-2*x_14*x_6-2*x_15*x_5
-2*x_1*x_10-2*x_10*x_7-2*x_13*x_4-2*x_4*x_7+10*x_13+4*x_7
-2*x_11*x_3-2*x_12*x_2-2*x_2*x_6-2*x_3*x_5-2*x_5*x_9-2*x_6*x_8
-2*x_1*x_2-2*x_1*x_8-2*x_2*x_7-2*x_4*x_5+3*x_11+7*x_5
-2*x_10*x_14-2*x_10*x_8-2*x_11*x_13-2*x_11*x_7-2*x_13*x_5-2*x_14*x_4+9*x_14
-2*x_10*x_12-x_11^2-2*x_13*x_15-2*x_13*x_9-x_14^2-2*x_14*x_8-2*x_15*x_7
-2*x_1*x_13-2*x_1*x_7-2*x_10*x_4-x_4^2-x_7^2+8*x_10+3*x_4-2
-2*x_11*x_3-2*x_11*x_9-2*x_12*x_2-2*x_12*x_8-2*x_14*x_6-2*x_15*x_5-2*x_5*x_9-2*x_6*x_8
-2*x_11*x_12-2*x_11*x_6-2*x_12*x_5-2*x_14*x_3-2*x_14*x_9-2*x_15*x_2-2*x_15*x_8-2*x_8*x_9
-2*x_11*x_6-2*x_12*x_5-2*x_14*x_3-2*x_15*x_2-2*x_2*x_9-2*x_3*x_8-2*x_5*x_6-2*x_8*x_9
-2*x_1*x_3-2*x_1*x_9-x_2^2-2*x_2*x_8-2*x_3*x_7-2*x_4*x_6-x_5^2+3*x_12+10*x_6
-2*x_1*x_11-2*x_1*x_5-2*x_10*x_2-2*x_2*x_4-2*x_4*x_8-2*x_5*x_7+4*x_14+5*x_2+9*x_8
-2*x_1*x_14-2*x_10*x_11-2*x_10*x_5-2*x_11*x_4-2*x_13*x_2-2*x_13*x_8-2*x_14*x_7-2*x_7*x_8+8*x_11
-2*x_10*x_15-2*x_10*x_9-2*x_11*x_14-2*x_11*x_8-2*x_12*x_13-2*x_12*x_7-2*x_13*x_6-2*x_14*x_5-2*x_15*x_4+12*x_15
-2*x_1*x_14-2*x_1*x_8-2*x_10*x_5-2*x_11*x_4-2*x_13*x_2-2*x_2*x_7-2*x_4*x_5-2*x_7*x_8+11*x_11+6*x_5
-2*x_1*x_11-2*x_10*x_2-2*x_10*x_8-2*x_11*x_7-2*x_13*x_5-2*x_14*x_4-2*x_4*x_8-2*x_5*x_7+13*x_14+7*x_8
-2*x_1*x_12-2*x_1*x_6-2*x_10*x_3-2*x_11*x_2-2*x_2*x_5-2*x_3*x_4-2*x_4*x_9-2*x_5*x_8-2*x_6*x_7+4*x_15+8*x_3+12*x_9
-2*x_1*x_15-2*x_10*x_12-2*x_10*x_6-x_11^2-2*x_11*x_5-2*x_12*x_4-2*x_13*x_3-2*x_13*x_9-2*x_14*x_2-2*x_14*x_8-2*x_15*x_7-2*x_7*x_9-x_8^2+11*x_12
-2*x_1*x_12-2*x_10*x_3-2*x_10*x_9-2*x_11*x_2-2*x_11*x_8-2*x_12*x_7-2*x_13*x_6-2*x_14*x_5-2*x_15*x_4-2*x_4*x_9-2*x_5*x_8-2*x_6*x_7+16*x_15+10*x_9
-2*x_1*x_15-2*x_1*x_9-2*x_10*x_6-2*x_11*x_5-2*x_12*x_4-2*x_13*x_3-2*x_14*x_2-2*x_2*x_8-2*x_3*x_7-2*x_4*x_6-x_5^2-2*x_7*x_9-x_8^2+14*x_12+9*x_6
