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