x_1, x_2, x_3, x_4, x_5, x_6, 
x_1*x_2*x_3*x_4*x_5*x_6-1
x_4+x_5+x_6+x_1+x_2+x_3
x_1*x_2+x_1*x_6+x_2*x_3+x_3*x_4+x_4*x_5+x_5*x_6
x_1*x_2*x_3+x_1*x_2*x_6+x_1*x_5*x_6+x_2*x_3*x_4+x_3*x_4*x_5+x_4*x_5*x_6
x_1*x_2*x_3*x_4+x_1*x_2*x_3*x_6+x_1*x_2*x_5*x_6+x_1*x_4*x_5*x_6+x_2*x_3*x_4*x_5+x_3*x_4*x_5*x_6
x_1*x_2*x_3*x_4*x_5+x_1*x_2*x_3*x_4*x_6+x_1*x_2*x_3*x_5*x_6+x_1*x_2*x_4*x_5*x_6+x_1*x_3*x_4*x_5*x_6+x_2*x_3*x_4*x_5*x_6
