c File: hamming6-2.clq c c Source: Panos Pardalos pardalos@math.ufl.edu c c Reference: hamminga-b is a Hamming graph on a-bit words with c an edge if and only if the two words are at least c hamming distance b apart c c PSEUDOBOOLEAN 64 p wcnf 64 256 64 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 64 1 2 0 64 1 3 0 64 1 5 0 64 1 9 0 64 1 17 0 64 1 33 0 64 2 4 0 64 2 6 0 64 2 10 0 64 2 18 0 64 2 34 0 64 3 4 0 64 3 7 0 64 3 11 0 64 3 19 0 64 3 35 0 64 4 8 0 64 4 12 0 64 4 20 0 64 4 36 0 64 5 6 0 64 5 7 0 64 5 13 0 64 5 21 0 64 5 37 0 64 6 8 0 64 6 14 0 64 6 22 0 64 6 38 0 64 7 8 0 64 7 15 0 64 7 23 0 64 7 39 0 64 8 16 0 64 8 24 0 64 8 40 0 64 9 10 0 64 9 11 0 64 9 13 0 64 9 25 0 64 9 41 0 64 10 12 0 64 10 14 0 64 10 26 0 64 10 42 0 64 11 12 0 64 11 15 0 64 11 27 0 64 11 43 0 64 12 16 0 64 12 28 0 64 12 44 0 64 13 14 0 64 13 15 0 64 13 29 0 64 13 45 0 64 14 16 0 64 14 30 0 64 14 46 0 64 15 16 0 64 15 31 0 64 15 47 0 64 16 32 0 64 16 48 0 64 17 18 0 64 17 19 0 64 17 21 0 64 17 25 0 64 17 49 0 64 18 20 0 64 18 22 0 64 18 26 0 64 18 50 0 64 19 20 0 64 19 23 0 64 19 27 0 64 19 51 0 64 20 24 0 64 20 28 0 64 20 52 0 64 21 22 0 64 21 23 0 64 21 29 0 64 21 53 0 64 22 24 0 64 22 30 0 64 22 54 0 64 23 24 0 64 23 31 0 64 23 55 0 64 24 32 0 64 24 56 0 64 25 26 0 64 25 27 0 64 25 29 0 64 25 57 0 64 26 28 0 64 26 30 0 64 26 58 0 64 27 28 0 64 27 31 0 64 27 59 0 64 28 32 0 64 28 60 0 64 29 30 0 64 29 31 0 64 29 61 0 64 30 32 0 64 30 62 0 64 31 32 0 64 31 63 0 64 32 64 0 64 33 34 0 64 33 35 0 64 33 37 0 64 33 41 0 64 33 49 0 64 34 36 0 64 34 38 0 64 34 42 0 64 34 50 0 64 35 36 0 64 35 39 0 64 35 43 0 64 35 51 0 64 36 40 0 64 36 44 0 64 36 52 0 64 37 38 0 64 37 39 0 64 37 45 0 64 37 53 0 64 38 40 0 64 38 46 0 64 38 54 0 64 39 40 0 64 39 47 0 64 39 55 0 64 40 48 0 64 40 56 0 64 41 42 0 64 41 43 0 64 41 45 0 64 41 57 0 64 42 44 0 64 42 46 0 64 42 58 0 64 43 44 0 64 43 47 0 64 43 59 0 64 44 48 0 64 44 60 0 64 45 46 0 64 45 47 0 64 45 61 0 64 46 48 0 64 46 62 0 64 47 48 0 64 47 63 0 64 48 64 0 64 49 50 0 64 49 51 0 64 49 53 0 64 49 57 0 64 50 52 0 64 50 54 0 64 50 58 0 64 51 52 0 64 51 55 0 64 51 59 0 64 52 56 0 64 52 60 0 64 53 54 0 64 53 55 0 64 53 61 0 64 54 56 0 64 54 62 0 64 55 56 0 64 55 63 0 64 56 64 0 64 57 58 0 64 57 59 0 64 57 61 0 64 58 60 0 64 58 62 0 64 59 60 0 64 59 63 0 64 60 64 0 64 61 62 0 64 61 63 0 64 62 64 0 64 63 64 0