FIELD=F2
NUMBER_OF_VARIABLES=14
x[0]^2-x[0]
x[1]^2-x[1]
x[2]^2-x[2]
x[3]^2-x[3]
x[4]^2-x[4]
x[5]^2-x[5]
x[6]^2-x[6]
x[7]^2-x[7]
x[8]^2-x[8]
x[9]^2-x[9]
x[10]^2-x[10]
x[11]^2-x[11]
x[12]^2-x[12]
x[13]^2-x[13]
x[0]+x[1]-1
x[2]+x[3]-1
x[4]+x[5]-1
x[0]+x[2]+x[4]+x[12]-1
x[1]+x[3]+x[5]+x[13]-1
x[6]+x[7]-1
x[8]+x[9]-1
x[10]+x[11]-1
x[6]+x[8]+x[10]+x[12]-1
x[7]+x[9]+x[11]+x[13]-1
x[0]*x[1]
x[2]*x[3]
x[4]*x[5]
x[0]*x[2]
x[0]*x[4]
x[0]*x[12]
x[2]*x[4]
x[2]*x[12]
x[4]*x[12]
x[1]*x[3]
x[1]*x[5]
x[1]*x[13]
x[3]*x[5]
x[3]*x[13]
x[5]*x[13]
x[6]*x[7]
x[8]*x[9]
x[10]*x[11]
x[6]*x[8]
x[6]*x[10]
x[6]*x[12]
x[8]*x[10]
x[8]*x[12]
x[10]*x[12]
x[7]*x[9]
x[7]*x[11]
x[7]*x[13]
x[9]*x[11]
x[9]*x[13]
x[11]*x[13]
