c File:  hamming8-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 256
p wcnf 256 1280 256
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
1 -71 0
1 -72 0
1 -73 0
1 -74 0
1 -75 0
1 -76 0
1 -77 0
1 -78 0
1 -79 0
1 -80 0
1 -81 0
1 -82 0
1 -83 0
1 -84 0
1 -85 0
1 -86 0
1 -87 0
1 -88 0
1 -89 0
1 -90 0
1 -91 0
1 -92 0
1 -93 0
1 -94 0
1 -95 0
1 -96 0
1 -97 0
1 -98 0
1 -99 0
1 -100 0
1 -101 0
1 -102 0
1 -103 0
1 -104 0
1 -105 0
1 -106 0
1 -107 0
1 -108 0
1 -109 0
1 -110 0
1 -111 0
1 -112 0
1 -113 0
1 -114 0
1 -115 0
1 -116 0
1 -117 0
1 -118 0
1 -119 0
1 -120 0
1 -121 0
1 -122 0
1 -123 0
1 -124 0
1 -125 0
1 -126 0
1 -127 0
1 -128 0
1 -129 0
1 -130 0
1 -131 0
1 -132 0
1 -133 0
1 -134 0
1 -135 0
1 -136 0
1 -137 0
1 -138 0
1 -139 0
1 -140 0
1 -141 0
1 -142 0
1 -143 0
1 -144 0
1 -145 0
1 -146 0
1 -147 0
1 -148 0
1 -149 0
1 -150 0
1 -151 0
1 -152 0
1 -153 0
1 -154 0
1 -155 0
1 -156 0
1 -157 0
1 -158 0
1 -159 0
1 -160 0
1 -161 0
1 -162 0
1 -163 0
1 -164 0
1 -165 0
1 -166 0
1 -167 0
1 -168 0
1 -169 0
1 -170 0
1 -171 0
1 -172 0
1 -173 0
1 -174 0
1 -175 0
1 -176 0
1 -177 0
1 -178 0
1 -179 0
1 -180 0
1 -181 0
1 -182 0
1 -183 0
1 -184 0
1 -185 0
1 -186 0
1 -187 0
1 -188 0
1 -189 0
1 -190 0
1 -191 0
1 -192 0
1 -193 0
1 -194 0
1 -195 0
1 -196 0
1 -197 0
1 -198 0
1 -199 0
1 -200 0
1 -201 0
1 -202 0
1 -203 0
1 -204 0
1 -205 0
1 -206 0
1 -207 0
1 -208 0
1 -209 0
1 -210 0
1 -211 0
1 -212 0
1 -213 0
1 -214 0
1 -215 0
1 -216 0
1 -217 0
1 -218 0
1 -219 0
1 -220 0
1 -221 0
1 -222 0
1 -223 0
1 -224 0
1 -225 0
1 -226 0
1 -227 0
1 -228 0
1 -229 0
1 -230 0
1 -231 0
1 -232 0
1 -233 0
1 -234 0
1 -235 0
1 -236 0
1 -237 0
1 -238 0
1 -239 0
1 -240 0
1 -241 0
1 -242 0
1 -243 0
1 -244 0
1 -245 0
1 -246 0
1 -247 0
1 -248 0
1 -249 0
1 -250 0
1 -251 0
1 -252 0
1 -253 0
1 -254 0
1 -255 0
1 -256 0
256 1 2 0
256 1 3 0
256 1 5 0
256 1 9 0
256 1 17 0
256 1 33 0
256 1 65 0
256 1 129 0
256 2 4 0
256 2 6 0
256 2 10 0
256 2 18 0
256 2 34 0
256 2 66 0
256 2 130 0
256 3 4 0
256 3 7 0
256 3 11 0
256 3 19 0
256 3 35 0
256 3 67 0
256 3 131 0
256 4 8 0
256 4 12 0
256 4 20 0
256 4 36 0
256 4 68 0
256 4 132 0
256 5 6 0
256 5 7 0
256 5 13 0
256 5 21 0
256 5 37 0
256 5 69 0
256 5 133 0
256 6 8 0
256 6 14 0
256 6 22 0
256 6 38 0
256 6 70 0
256 6 134 0
256 7 8 0
256 7 15 0
256 7 23 0
256 7 39 0
256 7 71 0
256 7 135 0
256 8 16 0
256 8 24 0
256 8 40 0
256 8 72 0
256 8 136 0
256 9 10 0
256 9 11 0
256 9 13 0
256 9 25 0
256 9 41 0
256 9 73 0
256 9 137 0
256 10 12 0
256 10 14 0
256 10 26 0
256 10 42 0
256 10 74 0
256 10 138 0
256 11 12 0
256 11 15 0
256 11 27 0
256 11 43 0
256 11 75 0
256 11 139 0
256 12 16 0
256 12 28 0
256 12 44 0
256 12 76 0
256 12 140 0
256 13 14 0
256 13 15 0
256 13 29 0
256 13 45 0
256 13 77 0
256 13 141 0
256 14 16 0
256 14 30 0
256 14 46 0
256 14 78 0
256 14 142 0
256 15 16 0
256 15 31 0
256 15 47 0
256 15 79 0
256 15 143 0
256 16 32 0
256 16 48 0
256 16 80 0
256 16 144 0
256 17 18 0
256 17 19 0
256 17 21 0
256 17 25 0
256 17 49 0
256 17 81 0
256 17 145 0
256 18 20 0
256 18 22 0
256 18 26 0
256 18 50 0
256 18 82 0
256 18 146 0
256 19 20 0
256 19 23 0
256 19 27 0
256 19 51 0
256 19 83 0
256 19 147 0
256 20 24 0
256 20 28 0
256 20 52 0
256 20 84 0
256 20 148 0
256 21 22 0
256 21 23 0
256 21 29 0
256 21 53 0
256 21 85 0
256 21 149 0
256 22 24 0
256 22 30 0
256 22 54 0
256 22 86 0
256 22 150 0
256 23 24 0
256 23 31 0
256 23 55 0
256 23 87 0
256 23 151 0
256 24 32 0
256 24 56 0
256 24 88 0
256 24 152 0
256 25 26 0
256 25 27 0
256 25 29 0
256 25 57 0
256 25 89 0
256 25 153 0
256 26 28 0
256 26 30 0
256 26 58 0
256 26 90 0
256 26 154 0
256 27 28 0
256 27 31 0
256 27 59 0
256 27 91 0
256 27 155 0
256 28 32 0
256 28 60 0
256 28 92 0
256 28 156 0
256 29 30 0
256 29 31 0
256 29 61 0
256 29 93 0
256 29 157 0
256 30 32 0
256 30 62 0
256 30 94 0
256 30 158 0
256 31 32 0
256 31 63 0
256 31 95 0
256 31 159 0
256 32 64 0
256 32 96 0
256 32 160 0
256 33 34 0
256 33 35 0
256 33 37 0
256 33 41 0
256 33 49 0
256 33 97 0
256 33 161 0
256 34 36 0
256 34 38 0
256 34 42 0
256 34 50 0
256 34 98 0
256 34 162 0
256 35 36 0
256 35 39 0
256 35 43 0
256 35 51 0
256 35 99 0
256 35 163 0
256 36 40 0
256 36 44 0
256 36 52 0
256 36 100 0
256 36 164 0
256 37 38 0
256 37 39 0
256 37 45 0
256 37 53 0
256 37 101 0
256 37 165 0
256 38 40 0
256 38 46 0
256 38 54 0
256 38 102 0
256 38 166 0
256 39 40 0
256 39 47 0
256 39 55 0
256 39 103 0
256 39 167 0
256 40 48 0
256 40 56 0
256 40 104 0
256 40 168 0
256 41 42 0
256 41 43 0
256 41 45 0
256 41 57 0
256 41 105 0
256 41 169 0
256 42 44 0
256 42 46 0
256 42 58 0
256 42 106 0
256 42 170 0
256 43 44 0
256 43 47 0
256 43 59 0
256 43 107 0
256 43 171 0
256 44 48 0
256 44 60 0
256 44 108 0
256 44 172 0
256 45 46 0
256 45 47 0
256 45 61 0
256 45 109 0
256 45 173 0
256 46 48 0
256 46 62 0
256 46 110 0
256 46 174 0
256 47 48 0
256 47 63 0
256 47 111 0
256 47 175 0
256 48 64 0
256 48 112 0
256 48 176 0
256 49 50 0
256 49 51 0
256 49 53 0
256 49 57 0
256 49 113 0
256 49 177 0
256 50 52 0
256 50 54 0
256 50 58 0
256 50 114 0
256 50 178 0
256 51 52 0
256 51 55 0
256 51 59 0
256 51 115 0
256 51 179 0
256 52 56 0
256 52 60 0
256 52 116 0
256 52 180 0
256 53 54 0
256 53 55 0
256 53 61 0
256 53 117 0
256 53 181 0
256 54 56 0
256 54 62 0
256 54 118 0
256 54 182 0
256 55 56 0
256 55 63 0
256 55 119 0
256 55 183 0
256 56 64 0
256 56 120 0
256 56 184 0
256 57 58 0
256 57 59 0
256 57 61 0
256 57 121 0
256 57 185 0
256 58 60 0
256 58 62 0
256 58 122 0
256 58 186 0
256 59 60 0
256 59 63 0
256 59 123 0
256 59 187 0
256 60 64 0
256 60 124 0
256 60 188 0
256 61 62 0
256 61 63 0
256 61 125 0
256 61 189 0
256 62 64 0
256 62 126 0
256 62 190 0
256 63 64 0
256 63 127 0
256 63 191 0
256 64 128 0
256 64 192 0
256 65 66 0
256 65 67 0
256 65 69 0
256 65 73 0
256 65 81 0
256 65 97 0
256 65 193 0
256 66 68 0
256 66 70 0
256 66 74 0
256 66 82 0
256 66 98 0
256 66 194 0
256 67 68 0
256 67 71 0
256 67 75 0
256 67 83 0
256 67 99 0
256 67 195 0
256 68 72 0
256 68 76 0
256 68 84 0
256 68 100 0
256 68 196 0
256 69 70 0
256 69 71 0
256 69 77 0
256 69 85 0
256 69 101 0
256 69 197 0
256 70 72 0
256 70 78 0
256 70 86 0
256 70 102 0
256 70 198 0
256 71 72 0
256 71 79 0
256 71 87 0
256 71 103 0
256 71 199 0
256 72 80 0
256 72 88 0
256 72 104 0
256 72 200 0
256 73 74 0
256 73 75 0
256 73 77 0
256 73 89 0
256 73 105 0
256 73 201 0
256 74 76 0
256 74 78 0
256 74 90 0
256 74 106 0
256 74 202 0
256 75 76 0
256 75 79 0
256 75 91 0
256 75 107 0
256 75 203 0
256 76 80 0
256 76 92 0
256 76 108 0
256 76 204 0
256 77 78 0
256 77 79 0
256 77 93 0
256 77 109 0
256 77 205 0
256 78 80 0
256 78 94 0
256 78 110 0
256 78 206 0
256 79 80 0
256 79 95 0
256 79 111 0
256 79 207 0
256 80 96 0
256 80 112 0
256 80 208 0
256 81 82 0
256 81 83 0
256 81 85 0
256 81 89 0
256 81 113 0
256 81 209 0
256 82 84 0
256 82 86 0
256 82 90 0
256 82 114 0
256 82 210 0
256 83 84 0
256 83 87 0
256 83 91 0
256 83 115 0
256 83 211 0
256 84 88 0
256 84 92 0
256 84 116 0
256 84 212 0
256 85 86 0
256 85 87 0
256 85 93 0
256 85 117 0
256 85 213 0
256 86 88 0
256 86 94 0
256 86 118 0
256 86 214 0
256 87 88 0
256 87 95 0
256 87 119 0
256 87 215 0
256 88 96 0
256 88 120 0
256 88 216 0
256 89 90 0
256 89 91 0
256 89 93 0
256 89 121 0
256 89 217 0
256 90 92 0
256 90 94 0
256 90 122 0
256 90 218 0
256 91 92 0
256 91 95 0
256 91 123 0
256 91 219 0
256 92 96 0
256 92 124 0
256 92 220 0
256 93 94 0
256 93 95 0
256 93 125 0
256 93 221 0
256 94 96 0
256 94 126 0
256 94 222 0
256 95 96 0
256 95 127 0
256 95 223 0
256 96 128 0
256 96 224 0
256 97 98 0
256 97 99 0
256 97 101 0
256 97 105 0
256 97 113 0
256 97 225 0
256 98 100 0
256 98 102 0
256 98 106 0
256 98 114 0
256 98 226 0
256 99 100 0
256 99 103 0
256 99 107 0
256 99 115 0
256 99 227 0
256 100 104 0
256 100 108 0
256 100 116 0
256 100 228 0
256 101 102 0
256 101 103 0
256 101 109 0
256 101 117 0
256 101 229 0
256 102 104 0
256 102 110 0
256 102 118 0
256 102 230 0
256 103 104 0
256 103 111 0
256 103 119 0
256 103 231 0
256 104 112 0
256 104 120 0
256 104 232 0
256 105 106 0
256 105 107 0
256 105 109 0
256 105 121 0
256 105 233 0
256 106 108 0
256 106 110 0
256 106 122 0
256 106 234 0
256 107 108 0
256 107 111 0
256 107 123 0
256 107 235 0
256 108 112 0
256 108 124 0
256 108 236 0
256 109 110 0
256 109 111 0
256 109 125 0
256 109 237 0
256 110 112 0
256 110 126 0
256 110 238 0
256 111 112 0
256 111 127 0
256 111 239 0
256 112 128 0
256 112 240 0
256 113 114 0
256 113 115 0
256 113 117 0
256 113 121 0
256 113 241 0
256 114 116 0
256 114 118 0
256 114 122 0
256 114 242 0
256 115 116 0
256 115 119 0
256 115 123 0
256 115 243 0
256 116 120 0
256 116 124 0
256 116 244 0
256 117 118 0
256 117 119 0
256 117 125 0
256 117 245 0
256 118 120 0
256 118 126 0
256 118 246 0
256 119 120 0
256 119 127 0
256 119 247 0
256 120 128 0
256 120 248 0
256 121 122 0
256 121 123 0
256 121 125 0
256 121 249 0
256 122 124 0
256 122 126 0
256 122 250 0
256 123 124 0
256 123 127 0
256 123 251 0
256 124 128 0
256 124 252 0
256 125 126 0
256 125 127 0
256 125 253 0
256 126 128 0
256 126 254 0
256 127 128 0
256 127 255 0
256 128 256 0
256 129 130 0
256 129 131 0
256 129 133 0
256 129 137 0
256 129 145 0
256 129 161 0
256 129 193 0
256 130 132 0
256 130 134 0
256 130 138 0
256 130 146 0
256 130 162 0
256 130 194 0
256 131 132 0
256 131 135 0
256 131 139 0
256 131 147 0
256 131 163 0
256 131 195 0
256 132 136 0
256 132 140 0
256 132 148 0
256 132 164 0
256 132 196 0
256 133 134 0
256 133 135 0
256 133 141 0
256 133 149 0
256 133 165 0
256 133 197 0
256 134 136 0
256 134 142 0
256 134 150 0
256 134 166 0
256 134 198 0
256 135 136 0
256 135 143 0
256 135 151 0
256 135 167 0
256 135 199 0
256 136 144 0
256 136 152 0
256 136 168 0
256 136 200 0
256 137 138 0
256 137 139 0
256 137 141 0
256 137 153 0
256 137 169 0
256 137 201 0
256 138 140 0
256 138 142 0
256 138 154 0
256 138 170 0
256 138 202 0
256 139 140 0
256 139 143 0
256 139 155 0
256 139 171 0
256 139 203 0
256 140 144 0
256 140 156 0
256 140 172 0
256 140 204 0
256 141 142 0
256 141 143 0
256 141 157 0
256 141 173 0
256 141 205 0
256 142 144 0
256 142 158 0
256 142 174 0
256 142 206 0
256 143 144 0
256 143 159 0
256 143 175 0
256 143 207 0
256 144 160 0
256 144 176 0
256 144 208 0
256 145 146 0
256 145 147 0
256 145 149 0
256 145 153 0
256 145 177 0
256 145 209 0
256 146 148 0
256 146 150 0
256 146 154 0
256 146 178 0
256 146 210 0
256 147 148 0
256 147 151 0
256 147 155 0
256 147 179 0
256 147 211 0
256 148 152 0
256 148 156 0
256 148 180 0
256 148 212 0
256 149 150 0
256 149 151 0
256 149 157 0
256 149 181 0
256 149 213 0
256 150 152 0
256 150 158 0
256 150 182 0
256 150 214 0
256 151 152 0
256 151 159 0
256 151 183 0
256 151 215 0
256 152 160 0
256 152 184 0
256 152 216 0
256 153 154 0
256 153 155 0
256 153 157 0
256 153 185 0
256 153 217 0
256 154 156 0
256 154 158 0
256 154 186 0
256 154 218 0
256 155 156 0
256 155 159 0
256 155 187 0
256 155 219 0
256 156 160 0
256 156 188 0
256 156 220 0
256 157 158 0
256 157 159 0
256 157 189 0
256 157 221 0
256 158 160 0
256 158 190 0
256 158 222 0
256 159 160 0
256 159 191 0
256 159 223 0
256 160 192 0
256 160 224 0
256 161 162 0
256 161 163 0
256 161 165 0
256 161 169 0
256 161 177 0
256 161 225 0
256 162 164 0
256 162 166 0
256 162 170 0
256 162 178 0
256 162 226 0
256 163 164 0
256 163 167 0
256 163 171 0
256 163 179 0
256 163 227 0
256 164 168 0
256 164 172 0
256 164 180 0
256 164 228 0
256 165 166 0
256 165 167 0
256 165 173 0
256 165 181 0
256 165 229 0
256 166 168 0
256 166 174 0
256 166 182 0
256 166 230 0
256 167 168 0
256 167 175 0
256 167 183 0
256 167 231 0
256 168 176 0
256 168 184 0
256 168 232 0
256 169 170 0
256 169 171 0
256 169 173 0
256 169 185 0
256 169 233 0
256 170 172 0
256 170 174 0
256 170 186 0
256 170 234 0
256 171 172 0
256 171 175 0
256 171 187 0
256 171 235 0
256 172 176 0
256 172 188 0
256 172 236 0
256 173 174 0
256 173 175 0
256 173 189 0
256 173 237 0
256 174 176 0
256 174 190 0
256 174 238 0
256 175 176 0
256 175 191 0
256 175 239 0
256 176 192 0
256 176 240 0
256 177 178 0
256 177 179 0
256 177 181 0
256 177 185 0
256 177 241 0
256 178 180 0
256 178 182 0
256 178 186 0
256 178 242 0
256 179 180 0
256 179 183 0
256 179 187 0
256 179 243 0
256 180 184 0
256 180 188 0
256 180 244 0
256 181 182 0
256 181 183 0
256 181 189 0
256 181 245 0
256 182 184 0
256 182 190 0
256 182 246 0
256 183 184 0
256 183 191 0
256 183 247 0
256 184 192 0
256 184 248 0
256 185 186 0
256 185 187 0
256 185 189 0
256 185 249 0
256 186 188 0
256 186 190 0
256 186 250 0
256 187 188 0
256 187 191 0
256 187 251 0
256 188 192 0
256 188 252 0
256 189 190 0
256 189 191 0
256 189 253 0
256 190 192 0
256 190 254 0
256 191 192 0
256 191 255 0
256 192 256 0
256 193 194 0
256 193 195 0
256 193 197 0
256 193 201 0
256 193 209 0
256 193 225 0
256 194 196 0
256 194 198 0
256 194 202 0
256 194 210 0
256 194 226 0
256 195 196 0
256 195 199 0
256 195 203 0
256 195 211 0
256 195 227 0
256 196 200 0
256 196 204 0
256 196 212 0
256 196 228 0
256 197 198 0
256 197 199 0
256 197 205 0
256 197 213 0
256 197 229 0
256 198 200 0
256 198 206 0
256 198 214 0
256 198 230 0
256 199 200 0
256 199 207 0
256 199 215 0
256 199 231 0
256 200 208 0
256 200 216 0
256 200 232 0
256 201 202 0
256 201 203 0
256 201 205 0
256 201 217 0
256 201 233 0
256 202 204 0
256 202 206 0
256 202 218 0
256 202 234 0
256 203 204 0
256 203 207 0
256 203 219 0
256 203 235 0
256 204 208 0
256 204 220 0
256 204 236 0
256 205 206 0
256 205 207 0
256 205 221 0
256 205 237 0
256 206 208 0
256 206 222 0
256 206 238 0
256 207 208 0
256 207 223 0
256 207 239 0
256 208 224 0
256 208 240 0
256 209 210 0
256 209 211 0
256 209 213 0
256 209 217 0
256 209 241 0
256 210 212 0
256 210 214 0
256 210 218 0
256 210 242 0
256 211 212 0
256 211 215 0
256 211 219 0
256 211 243 0
256 212 216 0
256 212 220 0
256 212 244 0
256 213 214 0
256 213 215 0
256 213 221 0
256 213 245 0
256 214 216 0
256 214 222 0
256 214 246 0
256 215 216 0
256 215 223 0
256 215 247 0
256 216 224 0
256 216 248 0
256 217 218 0
256 217 219 0
256 217 221 0
256 217 249 0
256 218 220 0
256 218 222 0
256 218 250 0
256 219 220 0
256 219 223 0
256 219 251 0
256 220 224 0
256 220 252 0
256 221 222 0
256 221 223 0
256 221 253 0
256 222 224 0
256 222 254 0
256 223 224 0
256 223 255 0
256 224 256 0
256 225 226 0
256 225 227 0
256 225 229 0
256 225 233 0
256 225 241 0
256 226 228 0
256 226 230 0
256 226 234 0
256 226 242 0
256 227 228 0
256 227 231 0
256 227 235 0
256 227 243 0
256 228 232 0
256 228 236 0
256 228 244 0
256 229 230 0
256 229 231 0
256 229 237 0
256 229 245 0
256 230 232 0
256 230 238 0
256 230 246 0
256 231 232 0
256 231 239 0
256 231 247 0
256 232 240 0
256 232 248 0
256 233 234 0
256 233 235 0
256 233 237 0
256 233 249 0
256 234 236 0
256 234 238 0
256 234 250 0
256 235 236 0
256 235 239 0
256 235 251 0
256 236 240 0
256 236 252 0
256 237 238 0
256 237 239 0
256 237 253 0
256 238 240 0
256 238 254 0
256 239 240 0
256 239 255 0
256 240 256 0
256 241 242 0
256 241 243 0
256 241 245 0
256 241 249 0
256 242 244 0
256 242 246 0
256 242 250 0
256 243 244 0
256 243 247 0
256 243 251 0
256 244 248 0
256 244 252 0
256 245 246 0
256 245 247 0
256 245 253 0
256 246 248 0
256 246 254 0
256 247 248 0
256 247 255 0
256 248 256 0
256 249 250 0
256 249 251 0
256 249 253 0
256 250 252 0
256 250 254 0
256 251 252 0
256 251 255 0
256 252 256 0
256 253 254 0
256 253 255 0
256 254 256 0
256 255 256 0