c cnf for positive Gaussoids
p cnf 24 384
13 -14 0
13 -1 -5 0
-13 14 1 0
-13 14 5 0
5 -6 0
5 -1 -13 0
-5 6 1 0
-5 6 13 0
1 -2 0
1 -5 -13 0
-1 2 5 0
-1 2 13 0
5 -6 0
5 -1 -14 0
-5 6 1 0
-5 6 14 0
1 -2 0
1 -5 -14 0
-1 2 5 0
-1 2 14 0
13 -14 0
13 -1 -6 0
-13 14 1 0
-13 14 6 0
1 -2 0
1 -6 -13 0
-1 2 6 0
-1 2 13 0
13 -14 0
13 -2 -5 0
-13 14 2 0
-13 14 5 0
5 -6 0
5 -2 -13 0
-5 6 2 0
-5 6 13 0
1 -2 0
1 -6 -14 0
-1 2 6 0
-1 2 14 0
5 -6 0
5 -2 -14 0
-5 6 2 0
-5 6 14 0
13 -14 0
13 -2 -6 0
-13 14 2 0
-13 14 6 0
15 -16 0
15 -3 -7 0
-15 16 3 0
-15 16 7 0
7 -8 0
7 -3 -15 0
-7 8 3 0
-7 8 15 0
3 -4 0
3 -7 -15 0
-3 4 7 0
-3 4 15 0
7 -8 0
7 -3 -16 0
-7 8 3 0
-7 8 16 0
3 -4 0
3 -7 -16 0
-3 4 7 0
-3 4 16 0
15 -16 0
15 -3 -8 0
-15 16 3 0
-15 16 8 0
3 -4 0
3 -8 -15 0
-3 4 8 0
-3 4 15 0
15 -16 0
15 -4 -7 0
-15 16 4 0
-15 16 7 0
7 -8 0
7 -4 -15 0
-7 8 4 0
-7 8 15 0
3 -4 0
3 -8 -16 0
-3 4 8 0
-3 4 16 0
7 -8 0
7 -4 -16 0
-7 8 4 0
-7 8 16 0
15 -16 0
15 -4 -8 0
-15 16 4 0
-15 16 8 0
17 -18 0
17 -1 -9 0
-17 18 1 0
-17 18 9 0
9 -10 0
9 -1 -17 0
-9 10 1 0
-9 10 17 0
1 -3 0
1 -9 -17 0
-1 3 9 0
-1 3 17 0
9 -10 0
9 -1 -18 0
-9 10 1 0
-9 10 18 0
1 -3 0
1 -9 -18 0
-1 3 9 0
-1 3 18 0
17 -18 0
17 -1 -10 0
-17 18 1 0
-17 18 10 0
1 -3 0
1 -10 -17 0
-1 3 10 0
-1 3 17 0
17 -18 0
17 -3 -9 0
-17 18 3 0
-17 18 9 0
9 -10 0
9 -3 -17 0
-9 10 3 0
-9 10 17 0
1 -3 0
1 -10 -18 0
-1 3 10 0
-1 3 18 0
9 -10 0
9 -3 -18 0
-9 10 3 0
-9 10 18 0
17 -18 0
17 -3 -10 0
-17 18 3 0
-17 18 10 0
19 -20 0
19 -2 -11 0
-19 20 2 0
-19 20 11 0
11 -12 0
11 -2 -19 0
-11 12 2 0
-11 12 19 0
2 -4 0
2 -11 -19 0
-2 4 11 0
-2 4 19 0
11 -12 0
11 -2 -20 0
-11 12 2 0
-11 12 20 0
2 -4 0
2 -11 -20 0
-2 4 11 0
-2 4 20 0
19 -20 0
19 -2 -12 0
-19 20 2 0
-19 20 12 0
2 -4 0
2 -12 -19 0
-2 4 12 0
-2 4 19 0
19 -20 0
19 -4 -11 0
-19 20 4 0
-19 20 11 0
11 -12 0
11 -4 -19 0
-11 12 4 0
-11 12 19 0
2 -4 0
2 -12 -20 0
-2 4 12 0
-2 4 20 0
11 -12 0
11 -4 -20 0
-11 12 4 0
-11 12 20 0
19 -20 0
19 -4 -12 0
-19 20 4 0
-19 20 12 0
21 -22 0
21 -5 -9 0
-21 22 5 0
-21 22 9 0
9 -11 0
9 -5 -21 0
-9 11 5 0
-9 11 21 0
5 -7 0
5 -9 -21 0
-5 7 9 0
-5 7 21 0
9 -11 0
9 -5 -22 0
-9 11 5 0
-9 11 22 0
5 -7 0
5 -9 -22 0
-5 7 9 0
-5 7 22 0
21 -22 0
21 -5 -11 0
-21 22 5 0
-21 22 11 0
5 -7 0
5 -11 -21 0
-5 7 11 0
-5 7 21 0
21 -22 0
21 -7 -9 0
-21 22 7 0
-21 22 9 0
9 -11 0
9 -7 -21 0
-9 11 7 0
-9 11 21 0
5 -7 0
5 -11 -22 0
-5 7 11 0
-5 7 22 0
9 -11 0
9 -7 -22 0
-9 11 7 0
-9 11 22 0
21 -22 0
21 -7 -11 0
-21 22 7 0
-21 22 11 0
23 -24 0
23 -6 -10 0
-23 24 6 0
-23 24 10 0
10 -12 0
10 -6 -23 0
-10 12 6 0
-10 12 23 0
6 -8 0
6 -10 -23 0
-6 8 10 0
-6 8 23 0
10 -12 0
10 -6 -24 0
-10 12 6 0
-10 12 24 0
6 -8 0
6 -10 -24 0
-6 8 10 0
-6 8 24 0
23 -24 0
23 -6 -12 0
-23 24 6 0
-23 24 12 0
6 -8 0
6 -12 -23 0
-6 8 12 0
-6 8 23 0
23 -24 0
23 -8 -10 0
-23 24 8 0
-23 24 10 0
10 -12 0
10 -8 -23 0
-10 12 8 0
-10 12 23 0
6 -8 0
6 -12 -24 0
-6 8 12 0
-6 8 24 0
10 -12 0
10 -8 -24 0
-10 12 8 0
-10 12 24 0
23 -24 0
23 -8 -12 0
-23 24 8 0
-23 24 12 0
21 -23 0
21 -13 -17 0
-21 23 13 0
-21 23 17 0
17 -19 0
17 -13 -21 0
-17 19 13 0
-17 19 21 0
13 -15 0
13 -17 -21 0
-13 15 17 0
-13 15 21 0
17 -19 0
17 -13 -23 0
-17 19 13 0
-17 19 23 0
13 -15 0
13 -17 -23 0
-13 15 17 0
-13 15 23 0
21 -23 0
21 -13 -19 0
-21 23 13 0
-21 23 19 0
13 -15 0
13 -19 -21 0
-13 15 19 0
-13 15 21 0
21 -23 0
21 -15 -17 0
-21 23 15 0
-21 23 17 0
17 -19 0
17 -15 -21 0
-17 19 15 0
-17 19 21 0
13 -15 0
13 -19 -23 0
-13 15 19 0
-13 15 23 0
17 -19 0
17 -15 -23 0
-17 19 15 0
-17 19 23 0
21 -23 0
21 -15 -19 0
-21 23 15 0
-21 23 19 0
22 -24 0
22 -14 -18 0
-22 24 14 0
-22 24 18 0
18 -20 0
18 -14 -22 0
-18 20 14 0
-18 20 22 0
14 -16 0
14 -18 -22 0
-14 16 18 0
-14 16 22 0
18 -20 0
18 -14 -24 0
-18 20 14 0
-18 20 24 0
14 -16 0
14 -18 -24 0
-14 16 18 0
-14 16 24 0
22 -24 0
22 -14 -20 0
-22 24 14 0
-22 24 20 0
14 -16 0
14 -20 -22 0
-14 16 20 0
-14 16 22 0
22 -24 0
22 -16 -18 0
-22 24 16 0
-22 24 18 0
18 -20 0
18 -16 -22 0
-18 20 16 0
-18 20 22 0
14 -16 0
14 -20 -24 0
-14 16 20 0
-14 16 24 0
18 -20 0
18 -16 -24 0
-18 20 16 0
-18 20 24 0
22 -24 0
22 -16 -20 0
-22 24 16 0
-22 24 20 0