c File:  johnson8-4-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 70
p wcnf 70 630 70
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
1 -29 0
1 -30 0
1 -31 0
1 -32 0
1 -33 0
1 -34 0
1 -35 0
1 -36 0
1 -37 0
1 -38 0
1 -39 0
1 -40 0
1 -41 0
1 -42 0
1 -43 0
1 -44 0
1 -45 0
1 -46 0
1 -47 0
1 -48 0
1 -49 0
1 -50 0
1 -51 0
1 -52 0
1 -53 0
1 -54 0
1 -55 0
1 -56 0
1 -57 0
1 -58 0
1 -59 0
1 -60 0
1 -61 0
1 -62 0
1 -63 0
1 -64 0
1 -65 0
1 -66 0
1 -67 0
1 -68 0
1 -69 0
1 -70 0
70 1 2 0
70 1 3 0
70 1 4 0
70 1 5 0
70 1 6 0
70 1 7 0
70 1 8 0
70 1 9 0
70 1 16 0
70 1 17 0
70 1 18 0
70 1 19 0
70 1 36 0
70 1 37 0
70 1 38 0
70 1 39 0
70 2 3 0
70 2 4 0
70 2 5 0
70 2 6 0
70 2 10 0
70 2 11 0
70 2 12 0
70 2 16 0
70 2 20 0
70 2 21 0
70 2 22 0
70 2 36 0
70 2 40 0
70 2 41 0
70 2 42 0
70 3 4 0
70 3 5 0
70 3 7 0
70 3 10 0
70 3 13 0
70 3 14 0
70 3 17 0
70 3 20 0
70 3 23 0
70 3 24 0
70 3 37 0
70 3 40 0
70 3 43 0
70 3 44 0
70 4 5 0
70 4 8 0
70 4 11 0
70 4 13 0
70 4 15 0
70 4 18 0
70 4 21 0
70 4 23 0
70 4 25 0
70 4 38 0
70 4 41 0
70 4 43 0
70 4 45 0
70 5 9 0
70 5 12 0
70 5 14 0
70 5 15 0
70 5 19 0
70 5 22 0
70 5 24 0
70 5 25 0
70 5 39 0
70 5 42 0
70 5 44 0
70 5 45 0
70 6 7 0
70 6 8 0
70 6 9 0
70 6 10 0
70 6 11 0
70 6 12 0
70 6 16 0
70 6 26 0
70 6 27 0
70 6 28 0
70 6 36 0
70 6 46 0
70 6 47 0
70 6 48 0
70 7 8 0
70 7 9 0
70 7 10 0
70 7 13 0
70 7 14 0
70 7 17 0
70 7 26 0
70 7 29 0
70 7 30 0
70 7 37 0
70 7 46 0
70 7 49 0
70 7 50 0
70 8 9 0
70 8 11 0
70 8 13 0
70 8 15 0
70 8 18 0
70 8 27 0
70 8 29 0
70 8 31 0
70 8 38 0
70 8 47 0
70 8 49 0
70 8 51 0
70 9 12 0
70 9 14 0
70 9 15 0
70 9 19 0
70 9 28 0
70 9 30 0
70 9 31 0
70 9 39 0
70 9 48 0
70 9 50 0
70 9 51 0
70 10 11 0
70 10 12 0
70 10 13 0
70 10 14 0
70 10 20 0
70 10 26 0
70 10 32 0
70 10 33 0
70 10 40 0
70 10 46 0
70 10 52 0
70 10 53 0
70 11 12 0
70 11 13 0
70 11 15 0
70 11 21 0
70 11 27 0
70 11 32 0
70 11 34 0
70 11 41 0
70 11 47 0
70 11 52 0
70 11 54 0
70 12 14 0
70 12 15 0
70 12 22 0
70 12 28 0
70 12 33 0
70 12 34 0
70 12 42 0
70 12 48 0
70 12 53 0
70 12 54 0
70 13 14 0
70 13 15 0
70 13 23 0
70 13 29 0
70 13 32 0
70 13 35 0
70 13 43 0
70 13 49 0
70 13 52 0
70 13 55 0
70 14 15 0
70 14 24 0
70 14 30 0
70 14 33 0
70 14 35 0
70 14 44 0
70 14 50 0
70 14 53 0
70 14 55 0
70 15 25 0
70 15 31 0
70 15 34 0
70 15 35 0
70 15 45 0
70 15 51 0
70 15 54 0
70 15 55 0
70 16 17 0
70 16 18 0
70 16 19 0
70 16 20 0
70 16 21 0
70 16 22 0
70 16 26 0
70 16 27 0
70 16 28 0
70 16 36 0
70 16 56 0
70 16 57 0
70 16 58 0
70 17 18 0
70 17 19 0
70 17 20 0
70 17 23 0
70 17 24 0
70 17 26 0
70 17 29 0
70 17 30 0
70 17 37 0
70 17 56 0
70 17 59 0
70 17 60 0
70 18 19 0
70 18 21 0
70 18 23 0
70 18 25 0
70 18 27 0
70 18 29 0
70 18 31 0
70 18 38 0
70 18 57 0
70 18 59 0
70 18 61 0
70 19 22 0
70 19 24 0
70 19 25 0
70 19 28 0
70 19 30 0
70 19 31 0
70 19 39 0
70 19 58 0
70 19 60 0
70 19 61 0
70 20 21 0
70 20 22 0
70 20 23 0
70 20 24 0
70 20 26 0
70 20 32 0
70 20 33 0
70 20 40 0
70 20 56 0
70 20 62 0
70 20 63 0
70 21 22 0
70 21 23 0
70 21 25 0
70 21 27 0
70 21 32 0
70 21 34 0
70 21 41 0
70 21 57 0
70 21 62 0
70 21 64 0
70 22 24 0
70 22 25 0
70 22 28 0
70 22 33 0
70 22 34 0
70 22 42 0
70 22 58 0
70 22 63 0
70 22 64 0
70 23 24 0
70 23 25 0
70 23 29 0
70 23 32 0
70 23 35 0
70 23 43 0
70 23 59 0
70 23 62 0
70 23 65 0
70 24 25 0
70 24 30 0
70 24 33 0
70 24 35 0
70 24 44 0
70 24 60 0
70 24 63 0
70 24 65 0
70 25 31 0
70 25 34 0
70 25 35 0
70 25 45 0
70 25 61 0
70 25 64 0
70 25 65 0
70 26 27 0
70 26 28 0
70 26 29 0
70 26 30 0
70 26 32 0
70 26 33 0
70 26 46 0
70 26 56 0
70 26 66 0
70 26 67 0
70 27 28 0
70 27 29 0
70 27 31 0
70 27 32 0
70 27 34 0
70 27 47 0
70 27 57 0
70 27 66 0
70 27 68 0
70 28 30 0
70 28 31 0
70 28 33 0
70 28 34 0
70 28 48 0
70 28 58 0
70 28 67 0
70 28 68 0
70 29 30 0
70 29 31 0
70 29 32 0
70 29 35 0
70 29 49 0
70 29 59 0
70 29 66 0
70 29 69 0
70 30 31 0
70 30 33 0
70 30 35 0
70 30 50 0
70 30 60 0
70 30 67 0
70 30 69 0
70 31 34 0
70 31 35 0
70 31 51 0
70 31 61 0
70 31 68 0
70 31 69 0
70 32 33 0
70 32 34 0
70 32 35 0
70 32 52 0
70 32 62 0
70 32 66 0
70 32 70 0
70 33 34 0
70 33 35 0
70 33 53 0
70 33 63 0
70 33 67 0
70 33 70 0
70 34 35 0
70 34 54 0
70 34 64 0
70 34 68 0
70 34 70 0
70 35 55 0
70 35 65 0
70 35 69 0
70 35 70 0
70 36 37 0
70 36 38 0
70 36 39 0
70 36 40 0
70 36 41 0
70 36 42 0
70 36 46 0
70 36 47 0
70 36 48 0
70 36 56 0
70 36 57 0
70 36 58 0
70 37 38 0
70 37 39 0
70 37 40 0
70 37 43 0
70 37 44 0
70 37 46 0
70 37 49 0
70 37 50 0
70 37 56 0
70 37 59 0
70 37 60 0
70 38 39 0
70 38 41 0
70 38 43 0
70 38 45 0
70 38 47 0
70 38 49 0
70 38 51 0
70 38 57 0
70 38 59 0
70 38 61 0
70 39 42 0
70 39 44 0
70 39 45 0
70 39 48 0
70 39 50 0
70 39 51 0
70 39 58 0
70 39 60 0
70 39 61 0
70 40 41 0
70 40 42 0
70 40 43 0
70 40 44 0
70 40 46 0
70 40 52 0
70 40 53 0
70 40 56 0
70 40 62 0
70 40 63 0
70 41 42 0
70 41 43 0
70 41 45 0
70 41 47 0
70 41 52 0
70 41 54 0
70 41 57 0
70 41 62 0
70 41 64 0
70 42 44 0
70 42 45 0
70 42 48 0
70 42 53 0
70 42 54 0
70 42 58 0
70 42 63 0
70 42 64 0
70 43 44 0
70 43 45 0
70 43 49 0
70 43 52 0
70 43 55 0
70 43 59 0
70 43 62 0
70 43 65 0
70 44 45 0
70 44 50 0
70 44 53 0
70 44 55 0
70 44 60 0
70 44 63 0
70 44 65 0
70 45 51 0
70 45 54 0
70 45 55 0
70 45 61 0
70 45 64 0
70 45 65 0
70 46 47 0
70 46 48 0
70 46 49 0
70 46 50 0
70 46 52 0
70 46 53 0
70 46 56 0
70 46 66 0
70 46 67 0
70 47 48 0
70 47 49 0
70 47 51 0
70 47 52 0
70 47 54 0
70 47 57 0
70 47 66 0
70 47 68 0
70 48 50 0
70 48 51 0
70 48 53 0
70 48 54 0
70 48 58 0
70 48 67 0
70 48 68 0
70 49 50 0
70 49 51 0
70 49 52 0
70 49 55 0
70 49 59 0
70 49 66 0
70 49 69 0
70 50 51 0
70 50 53 0
70 50 55 0
70 50 60 0
70 50 67 0
70 50 69 0
70 51 54 0
70 51 55 0
70 51 61 0
70 51 68 0
70 51 69 0
70 52 53 0
70 52 54 0
70 52 55 0
70 52 62 0
70 52 66 0
70 52 70 0
70 53 54 0
70 53 55 0
70 53 63 0
70 53 67 0
70 53 70 0
70 54 55 0
70 54 64 0
70 54 68 0
70 54 70 0
70 55 65 0
70 55 69 0
70 55 70 0
70 56 57 0
70 56 58 0
70 56 59 0
70 56 60 0
70 56 62 0
70 56 63 0
70 56 66 0
70 56 67 0
70 57 58 0
70 57 59 0
70 57 61 0
70 57 62 0
70 57 64 0
70 57 66 0
70 57 68 0
70 58 60 0
70 58 61 0
70 58 63 0
70 58 64 0
70 58 67 0
70 58 68 0
70 59 60 0
70 59 61 0
70 59 62 0
70 59 65 0
70 59 66 0
70 59 69 0
70 60 61 0
70 60 63 0
70 60 65 0
70 60 67 0
70 60 69 0
70 61 64 0
70 61 65 0
70 61 68 0
70 61 69 0
70 62 63 0
70 62 64 0
70 62 65 0
70 62 66 0
70 62 70 0
70 63 64 0
70 63 65 0
70 63 67 0
70 63 70 0
70 64 65 0
70 64 68 0
70 64 70 0
70 65 69 0
70 65 70 0
70 66 67 0
70 66 68 0
70 66 69 0
70 66 70 0
70 67 68 0
70 67 69 0
70 67 70 0
70 68 69 0
70 68 70 0
70 69 70 0