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