FIELD=F2
NUMBER_OF_VARIABLES=15
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[14]^2-x[14]
x[0]+x[1]+x[2]-1
x[3]+x[4]+x[5]-1
x[6]+x[7]+x[8]-1
x[9]+x[10]+x[11]-1
x[12]+x[13]+x[14]-1
x[0]+x[3]+x[6]+x[9]+x[12]-1
x[1]+x[4]+x[7]+x[10]+x[13]-1
x[2]+x[5]+x[8]+x[11]+x[14]-1
x[0]*x[3]
x[0]*x[6]
x[0]*x[9]
x[0]*x[12]
x[3]*x[6]
x[3]*x[9]
x[3]*x[12]
x[6]*x[9]
x[6]*x[12]
x[9]*x[12]
x[1]*x[4]
x[1]*x[7]
x[1]*x[10]
x[1]*x[13]
x[4]*x[7]
x[4]*x[10]
x[4]*x[13]
x[7]*x[10]
x[7]*x[13]
x[2]*x[5]
x[2]*x[8]
x[2]*x[11]
x[2]*x[14]
x[5]*x[8]
x[5]*x[11]
x[5]*x[14]
x[8]*x[11]
x[8]*x[14]
x[11]*x[14]
x[0]*x[1]
x[0]*x[2]
x[1]*x[2]
x[3]*x[4]
x[3]*x[5]
x[4]*x[5]
x[6]*x[7]
x[6]*x[8]
x[7]*x[8]
x[9]*x[10]
x[9]*x[11]
x[10]*x[11]
x[12]*x[13]
x[12]*x[14]
x[13]*x[14]
