+P(1,1)+P(1,3)+P(1,4)
+P(2,2)+P(2,5)
+P(3,1)+P(3,3)+P(3,4)
+P(4,1)+P(4,3)+P(4,4)
+P(5,2)+P(5,5)
(1,2): +P(1,1)+P(1,3)-P(2,2)-P(5,2)
(1,3): +P(1,4)
(1,4): +P(1,3)
(1,5): +P(1,4)+P(1,1)-P(2,5)-P(5,5)
(2,3): +P(2,2)-P(1,3)-P(3,3)
(2,4): +P(2,5)-P(1,4)-P(3,4)
(2,5): +P(2,2)-P(5,5)
(3,4): +P(3,3)-P(4,4)
(3,5): +P(3,4)+P(3,1)-P(2,5)
(4,5): +P(4,4)+P(4,1)-P(5,5)
FIELD=F0
NUMBER_OF_VARIABLES=9
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[0]+x[1]+x[2]-1
x[3]+x[4]-1
x[1]+x[5]+x[6]-1
x[2]+x[6]+x[7]-1
x[4]+x[8]-1
x[0]+x[1]-x[3]-x[4]
x[2]
x[1]
x[0]+x[2]-x[4]-x[8]
-x[1]+x[3]-x[5]
-x[2]+x[4]-x[6]
x[3]-x[8]
x[5]-x[7]
x[1]-x[4]+x[6]
x[2]+x[7]-x[8]
