c_1, c_2, c_3, x_1, x_2, x_3, 
x_1*x_2+x_1*x_3-2*c_1
x_1*x_2+x_2*x_3-2*c_2
x_1*x_3+x_2*x_3-2*c_3
