x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
-1282*x_1-29*x_2+795*x_3
-1282*x_7-29*x_8+795*x_9
1203*x_7-81*x_8+999*x_9
x_1*x_2+x_4*x_5+x_7*x_8
x_1*x_3+x_4*x_6+x_7*x_9
x_2*x_3+x_5*x_6+x_8*x_9
x_1^2+x_4^2+x_7^2-1
x_2^2+x_5^2+x_8^2-1
x_3^2+x_6^2+x_9^2-1
