c cnf for positive Gaussoids
p cnf 6 48
5 -6 0
5 -1 -3 0
-5 6 1 0
-5 6 3 0
3 -4 0
3 -1 -5 0
-3 4 1 0
-3 4 5 0
1 -2 0
1 -3 -5 0
-1 2 3 0
-1 2 5 0
3 -4 0
3 -1 -6 0
-3 4 1 0
-3 4 6 0
1 -2 0
1 -3 -6 0
-1 2 3 0
-1 2 6 0
5 -6 0
5 -1 -4 0
-5 6 1 0
-5 6 4 0
1 -2 0
1 -4 -5 0
-1 2 4 0
-1 2 5 0
5 -6 0
5 -2 -3 0
-5 6 2 0
-5 6 3 0
3 -4 0
3 -2 -5 0
-3 4 2 0
-3 4 5 0
1 -2 0
1 -4 -6 0
-1 2 4 0
-1 2 6 0
3 -4 0
3 -2 -6 0
-3 4 2 0
-3 4 6 0
5 -6 0
5 -2 -4 0
-5 6 2 0
-5 6 4 0