c description: Counting Principle: 4 divided in parts of size 2.
c generator: CNFgen (0.9.0)
c copyright: (C) 2012-2020 Massimo Lauria <massimo.lauria@uniroma1.it>
c url: https://massimolauria.net/cnfgen
c command line: cnfgen count 4 2
c
p cnf 6 16
-1 -2 0
-1 -3 0
-2 -3 0
1 2 3 0
-1 -4 0
-1 -5 0
-4 -5 0
1 4 5 0
-2 -4 0
-2 -6 0
-4 -6 0
2 4 6 0
-3 -5 0
-3 -6 0
-5 -6 0
3 5 6 0
