c This file was generated with the constraints_to_cnf module in this project.
c Starting from file './examples/one_hot.sympy'.
c There are 3 variables present in the constraints, and 3 total variables, given by the shape [3].
c
p cnf 3 23
1 -1 0
2 -2 0
3 -3 0
1 2 3 0
-1 -2 0
-1 -3 0
-2 -3 0
1 2 -1 0
1 2 -2 0
1 3 -1 0
1 3 -3 0
2 3 -2 0
2 3 -3 0
1 -1 -2 0
1 -1 -3 0
1 -2 -3 0
2 -1 -2 0
2 -1 -3 0
2 -2 -3 0
3 -1 -2 0
3 -1 -3 0
3 -2 -3 0
-1 -2 -3 0