c File: johnson8-2-4.clq c c Source: Panos Pardalos pardalos@math.ufl.edu c c Reference: Johnson graph: johnsona-b-c is generated by c binary vectors of length a and weight b, with c two vertices adjacent if the hamming distance c between them is at least d. c c PSEUDOBOOLEAN 28 p wcnf 28 196 28 1 -1 0 1 -2 0 1 -3 0 1 -4 0 1 -5 0 1 -6 0 1 -7 0 1 -8 0 1 -9 0 1 -10 0 1 -11 0 1 -12 0 1 -13 0 1 -14 0 1 -15 0 1 -16 0 1 -17 0 1 -18 0 1 -19 0 1 -20 0 1 -21 0 1 -22 0 1 -23 0 1 -24 0 1 -25 0 1 -26 0 1 -27 0 1 -28 0 28 1 2 0 28 1 3 0 28 1 4 0 28 1 5 0 28 1 7 0 28 1 8 0 28 1 11 0 28 1 12 0 28 1 16 0 28 1 17 0 28 1 22 0 28 1 23 0 28 2 3 0 28 2 4 0 28 2 6 0 28 2 7 0 28 2 9 0 28 2 11 0 28 2 13 0 28 2 16 0 28 2 18 0 28 2 22 0 28 2 24 0 28 3 5 0 28 3 6 0 28 3 8 0 28 3 9 0 28 3 12 0 28 3 13 0 28 3 17 0 28 3 18 0 28 3 23 0 28 3 24 0 28 4 5 0 28 4 6 0 28 4 7 0 28 4 10 0 28 4 11 0 28 4 14 0 28 4 16 0 28 4 19 0 28 4 22 0 28 4 25 0 28 5 6 0 28 5 8 0 28 5 10 0 28 5 12 0 28 5 14 0 28 5 17 0 28 5 19 0 28 5 23 0 28 5 25 0 28 6 9 0 28 6 10 0 28 6 13 0 28 6 14 0 28 6 18 0 28 6 19 0 28 6 24 0 28 6 25 0 28 7 8 0 28 7 9 0 28 7 10 0 28 7 11 0 28 7 15 0 28 7 16 0 28 7 20 0 28 7 22 0 28 7 26 0 28 8 9 0 28 8 10 0 28 8 12 0 28 8 15 0 28 8 17 0 28 8 20 0 28 8 23 0 28 8 26 0 28 9 10 0 28 9 13 0 28 9 15 0 28 9 18 0 28 9 20 0 28 9 24 0 28 9 26 0 28 10 14 0 28 10 15 0 28 10 19 0 28 10 20 0 28 10 25 0 28 10 26 0 28 11 12 0 28 11 13 0 28 11 14 0 28 11 15 0 28 11 16 0 28 11 21 0 28 11 22 0 28 11 27 0 28 12 13 0 28 12 14 0 28 12 15 0 28 12 17 0 28 12 21 0 28 12 23 0 28 12 27 0 28 13 14 0 28 13 15 0 28 13 18 0 28 13 21 0 28 13 24 0 28 13 27 0 28 14 15 0 28 14 19 0 28 14 21 0 28 14 25 0 28 14 27 0 28 15 20 0 28 15 21 0 28 15 26 0 28 15 27 0 28 16 17 0 28 16 18 0 28 16 19 0 28 16 20 0 28 16 21 0 28 16 22 0 28 16 28 0 28 17 18 0 28 17 19 0 28 17 20 0 28 17 21 0 28 17 23 0 28 17 28 0 28 18 19 0 28 18 20 0 28 18 21 0 28 18 24 0 28 18 28 0 28 19 20 0 28 19 21 0 28 19 25 0 28 19 28 0 28 20 21 0 28 20 26 0 28 20 28 0 28 21 27 0 28 21 28 0 28 22 23 0 28 22 24 0 28 22 25 0 28 22 26 0 28 22 27 0 28 22 28 0 28 23 24 0 28 23 25 0 28 23 26 0 28 23 27 0 28 23 28 0 28 24 25 0 28 24 26 0 28 24 27 0 28 24 28 0 28 25 26 0 28 25 27 0 28 25 28 0 28 26 27 0 28 26 28 0 28 27 28 0