c cnf for uniform Gaussoids on n=3
p cnf 6 48
5 -6 1 -3 0
5 -6 -1 3 0
-5 6 1 3 0
-5 6 -1 -3 0
3 -4 1 -5 0
3 -4 -1 5 0
-3 4 1 5 0
-3 4 -1 -5 0
1 -2 3 -5 0
1 -2 -3 5 0
-1 2 3 5 0
-1 2 -3 -5 0
3 -4 1 -6 0
3 -4 -1 6 0
-3 4 1 6 0
-3 4 -1 -6 0
1 -2 3 -6 0
1 -2 -3 6 0
-1 2 3 6 0
-1 2 -3 -6 0
5 -6 1 -4 0
5 -6 -1 4 0
-5 6 1 4 0
-5 6 -1 -4 0
1 -2 4 -5 0
1 -2 -4 5 0
-1 2 4 5 0
-1 2 -4 -5 0
5 -6 2 -3 0
5 -6 -2 3 0
-5 6 2 3 0
-5 6 -2 -3 0
3 -4 2 -5 0
3 -4 -2 5 0
-3 4 2 5 0
-3 4 -2 -5 0
1 -2 4 -6 0
1 -2 -4 6 0
-1 2 4 6 0
-1 2 -4 -6 0
3 -4 2 -6 0
3 -4 -2 6 0
-3 4 2 6 0
-3 4 -2 -6 0
5 -6 2 -4 0
5 -6 -2 4 0
-5 6 2 4 0
-5 6 -2 -4 0