c  FILE:  par8-1.cnf
c 
c  SOURCE: James Crawford (jc@research.att.com)
c 
c  DESCRIPTION: Instance arises from the problem of learning the parity
c               function.  
c 
c      parxx-y denotes a parity problem on xx bits.  y is simply the
c      intance number.
c 
c      parxx-y-c denotes an instance identical to parxx-y except that
c      the instances have been simplified (to create an equivalent
c      problem). 
c 
c  NOTE: Satisfiable (checked for 8 and 16 size instances. All
c        instances are satisfiable by construction)
c 
c  NOTE: Number of clauses corrected August 3, 1993
c 
c  Converted from tableau format Tue Aug  3 09:55:22 EDT 1993
p 350 1149
85: 1 0
251: 145 1 2 0
239: 145 1 2 0
253: 145 1 2 0
127: 145 1 2 0
251: 146 2 3 0
239: 146 2 3 0
253: 146 2 3 0
127: 146 2 3 0
251: 147 3 4 0
239: 147 3 4 0
253: 147 3 4 0
127: 147 3 4 0
221: 5 4 0
187: 5 4 0
221: 6 5 0
187: 6 5 0
251: 150 6 7 0
239: 150 6 7 0
253: 150 6 7 0
127: 150 6 7 0
221: 8 7 0
187: 8 7 0
251: 152 8 9 0
239: 152 8 9 0
253: 152 8 9 0
127: 152 8 9 0
170: 10 0
251: 145 10 11 0
239: 145 10 11 0
253: 145 10 11 0
127: 145 10 11 0
251: 146 11 12 0
239: 146 11 12 0
253: 146 11 12 0
127: 146 11 12 0
251: 147 12 13 0
239: 147 12 13 0
253: 147 12 13 0
127: 147 12 13 0
251: 148 13 14 0
239: 148 13 14 0
253: 148 13 14 0
127: 148 13 14 0
221: 15 14 0
187: 15 14 0
221: 16 15 0
187: 16 15 0
221: 17 16 0
187: 17 16 0
221: 18 17 0
187: 18 17 0
170: 19 0
221: 20 19 0
187: 20 19 0
221: 21 20 0
187: 21 20 0
221: 22 21 0
187: 22 21 0
221: 23 22 0
187: 23 22 0
221: 24 23 0
187: 24 23 0
221: 25 24 0
187: 25 24 0
251: 151 25 26 0
239: 151 25 26 0
253: 151 25 26 0
127: 151 25 26 0
221: 27 26 0
187: 27 26 0
85: 28 0
221: 29 28 0
187: 29 28 0
251: 146 29 30 0
239: 146 29 30 0
253: 146 29 30 0
127: 146 29 30 0
221: 31 30 0
187: 31 30 0
251: 148 31 32 0
239: 148 31 32 0
253: 148 31 32 0
127: 148 31 32 0
251: 149 32 33 0
239: 149 32 33 0
253: 149 32 33 0
127: 149 32 33 0
221: 34 33 0
187: 34 33 0
251: 151 34 35 0
239: 151 34 35 0
253: 151 34 35 0
127: 151 34 35 0
251: 152 35 36 0
239: 152 35 36 0
253: 152 35 36 0
127: 152 35 36 0
170: 37 0
221: 38 37 0
187: 38 37 0
251: 146 38 39 0
239: 146 38 39 0
253: 146 38 39 0
127: 146 38 39 0
221: 40 39 0
187: 40 39 0
221: 41 40 0
187: 41 40 0
251: 149 41 42 0
239: 149 41 42 0
253: 149 41 42 0
127: 149 41 42 0
251: 150 42 43 0
239: 150 42 43 0
253: 150 42 43 0
127: 150 42 43 0
251: 151 43 44 0
239: 151 43 44 0
253: 151 43 44 0
127: 151 43 44 0
221: 45 44 0
187: 45 44 0
170: 46 0
221: 47 46 0
187: 47 46 0
221: 48 47 0
187: 48 47 0
251: 147 48 49 0
239: 147 48 49 0
253: 147 48 49 0
127: 147 48 49 0
221: 50 49 0
187: 50 49 0
221: 51 50 0
187: 51 50 0
251: 150 51 52 0
239: 150 51 52 0
253: 150 51 52 0
127: 150 51 52 0
221: 53 52 0
187: 53 52 0
221: 54 53 0
187: 54 53 0
170: 55 0
221: 56 55 0
187: 56 55 0
221: 57 56 0
187: 57 56 0
251: 147 57 58 0
239: 147 57 58 0
253: 147 57 58 0
127: 147 57 58 0
221: 59 58 0
187: 59 58 0
251: 149 59 60 0
239: 149 59 60 0
253: 149 59 60 0
127: 149 59 60 0
251: 150 60 61 0
239: 150 60 61 0
253: 150 60 61 0
127: 150 60 61 0
251: 151 61 62 0
239: 151 61 62 0
253: 151 61 62 0
127: 151 61 62 0
221: 63 62 0
187: 63 62 0
170: 64 0
221: 65 64 0
187: 65 64 0
221: 66 65 0
187: 66 65 0
251: 147 66 67 0
239: 147 66 67 0
253: 147 66 67 0
127: 147 66 67 0
251: 148 67 68 0
239: 148 67 68 0
253: 148 67 68 0
127: 148 67 68 0
251: 149 68 69 0
239: 149 68 69 0
253: 149 68 69 0
127: 149 68 69 0
221: 70 69 0
187: 70 69 0
221: 71 70 0
187: 71 70 0
251: 152 71 72 0
239: 152 71 72 0
253: 152 71 72 0
127: 152 71 72 0
85: 73 0
221: 74 73 0
187: 74 73 0
221: 75 74 0
187: 75 74 0
221: 76 75 0
187: 76 75 0
221: 77 76 0
187: 77 76 0
251: 149 77 78 0
239: 149 77 78 0
253: 149 77 78 0
127: 149 77 78 0
221: 79 78 0
187: 79 78 0
221: 80 79 0
187: 80 79 0
251: 152 80 81 0
239: 152 80 81 0
253: 152 80 81 0
127: 152 80 81 0
85: 82 0
221: 83 82 0
187: 83 82 0
221: 84 83 0
187: 84 83 0
221: 85 84 0
187: 85 84 0
251: 148 85 86 0
239: 148 85 86 0
253: 148 85 86 0
127: 148 85 86 0
251: 149 86 87 0
239: 149 86 87 0
253: 149 86 87 0
127: 149 86 87 0
221: 88 87 0
187: 88 87 0
251: 151 88 89 0
239: 151 88 89 0
253: 151 88 89 0
127: 151 88 89 0
221: 90 89 0
187: 90 89 0
85: 91 0
221: 92 91 0
187: 92 91 0
251: 146 92 93 0
239: 146 92 93 0
253: 146 92 93 0
127: 146 92 93 0
221: 94 93 0
187: 94 93 0
221: 95 94 0
187: 95 94 0
221: 96 95 0
187: 96 95 0
251: 150 96 97 0
239: 150 96 97 0
253: 150 96 97 0
127: 150 96 97 0
221: 98 97 0
187: 98 97 0
251: 152 98 99 0
239: 152 98 99 0
253: 152 98 99 0
127: 152 98 99 0
85: 100 0
221: 101 100 0
187: 101 100 0
251: 146 101 102 0
239: 146 101 102 0
253: 146 101 102 0
127: 146 101 102 0
221: 103 102 0
187: 103 102 0
251: 148 103 104 0
239: 148 103 104 0
253: 148 103 104 0
127: 148 103 104 0
221: 105 104 0
187: 105 104 0
251: 150 105 106 0
239: 150 105 106 0
253: 150 105 106 0
127: 150 105 106 0
221: 107 106 0
187: 107 106 0
251: 152 107 108 0
239: 152 107 108 0
253: 152 107 108 0
127: 152 107 108 0
85: 109 0
251: 145 109 110 0
239: 145 109 110 0
253: 145 109 110 0
127: 145 109 110 0
251: 146 110 111 0
239: 146 110 111 0
253: 146 110 111 0
127: 146 110 111 0
221: 112 111 0
187: 112 111 0
251: 148 112 113 0
239: 148 112 113 0
253: 148 112 113 0
127: 148 112 113 0
221: 114 113 0
187: 114 113 0
221: 115 114 0
187: 115 114 0
221: 116 115 0
187: 116 115 0
221: 117 116 0
187: 117 116 0
85: 118 0
221: 119 118 0
187: 119 118 0
251: 146 119 120 0
239: 146 119 120 0
253: 146 119 120 0
127: 146 119 120 0
221: 121 120 0
187: 121 120 0
251: 148 121 122 0
239: 148 121 122 0
253: 148 121 122 0
127: 148 121 122 0
221: 123 122 0
187: 123 122 0
251: 150 123 124 0
239: 150 123 124 0
253: 150 123 124 0
127: 150 123 124 0
251: 151 124 125 0
239: 151 124 125 0
253: 151 124 125 0
127: 151 124 125 0
221: 126 125 0
187: 126 125 0
170: 127 0
251: 145 127 128 0
239: 145 127 128 0
253: 145 127 128 0
127: 145 127 128 0
251: 146 128 129 0
239: 146 128 129 0
253: 146 128 129 0
127: 146 128 129 0
251: 147 129 130 0
239: 147 129 130 0
253: 147 129 130 0
127: 147 129 130 0
221: 131 130 0
187: 131 130 0
251: 149 131 132 0
239: 149 131 132 0
253: 149 131 132 0
127: 149 131 132 0
221: 133 132 0
187: 133 132 0
221: 134 133 0
187: 134 133 0
251: 152 134 135 0
239: 152 134 135 0
253: 152 134 135 0
127: 152 134 135 0
170: 136 0
221: 137 136 0
187: 137 136 0
251: 146 137 138 0
239: 146 137 138 0
253: 146 137 138 0
127: 146 137 138 0
221: 139 138 0
187: 139 138 0
251: 148 139 140 0
239: 148 139 140 0
253: 148 139 140 0
127: 148 139 140 0
251: 149 140 141 0
239: 149 140 141 0
253: 149 140 141 0
127: 149 140 141 0
251: 150 141 142 0
239: 150 141 142 0
253: 150 141 142 0
127: 150 141 142 0
221: 143 142 0
187: 143 142 0
221: 144 143 0
187: 144 143 0
85: 153 0
85: 154 0
85: 155 0
85: 156 0
85: 157 0
85: 158 0
221: 9 255 0
187: 9 255 0
251: 255 153 159 0
239: 255 153 159 0
253: 255 153 159 0
127: 255 153 159 0
251: 256 154 160 0
239: 256 154 160 0
253: 256 154 160 0
127: 256 154 160 0
221: 255 256 0
221: 153 256 0
191: 255 153 256 0
239: 153 159 256 0
251: 257 155 161 0
239: 257 155 161 0
253: 257 155 161 0
127: 257 155 161 0
221: 256 257 0
221: 154 257 0
191: 256 154 257 0
239: 154 160 257 0
251: 258 156 162 0
239: 258 156 162 0
253: 258 156 162 0
127: 258 156 162 0
221: 257 258 0
221: 155 258 0
191: 257 155 258 0
239: 155 161 258 0
251: 259 157 163 0
239: 259 157 163 0
253: 259 157 163 0
127: 259 157 163 0
221: 258 259 0
221: 156 259 0
191: 258 156 259 0
239: 156 162 259 0
251: 260 158 164 0
239: 260 158 164 0
253: 260 158 164 0
127: 260 158 164 0
221: 259 260 0
221: 157 260 0
191: 259 157 260 0
239: 157 163 260 0
221: 18 261 0
187: 18 261 0
251: 261 159 165 0
239: 261 159 165 0
253: 261 159 165 0
127: 261 159 165 0
251: 262 160 166 0
239: 262 160 166 0
253: 262 160 166 0
127: 262 160 166 0
221: 261 262 0
221: 159 262 0
191: 261 159 262 0
239: 159 165 262 0
251: 263 161 167 0
239: 263 161 167 0
253: 263 161 167 0
127: 263 161 167 0
221: 262 263 0
221: 160 263 0
191: 262 160 263 0
239: 160 166 263 0
251: 264 162 168 0
239: 264 162 168 0
253: 264 162 168 0
127: 264 162 168 0
221: 263 264 0
221: 161 264 0
191: 263 161 264 0
239: 161 167 264 0
251: 265 163 169 0
239: 265 163 169 0
253: 265 163 169 0
127: 265 163 169 0
221: 264 265 0
221: 162 265 0
191: 264 162 265 0
239: 162 168 265 0
251: 266 164 170 0
239: 266 164 170 0
253: 266 164 170 0
127: 266 164 170 0
221: 265 266 0
221: 163 266 0
191: 265 163 266 0
239: 163 169 266 0
221: 27 267 0
187: 27 267 0
251: 267 165 171 0
239: 267 165 171 0
253: 267 165 171 0
127: 267 165 171 0
251: 268 166 172 0
239: 268 166 172 0
253: 268 166 172 0
127: 268 166 172 0
221: 267 268 0
221: 165 268 0
191: 267 165 268 0
239: 165 171 268 0
251: 269 167 173 0
239: 269 167 173 0
253: 269 167 173 0
127: 269 167 173 0
221: 268 269 0
221: 166 269 0
191: 268 166 269 0
239: 166 172 269 0
251: 270 168 174 0
239: 270 168 174 0
253: 270 168 174 0
127: 270 168 174 0
221: 269 270 0
221: 167 270 0
191: 269 167 270 0
239: 167 173 270 0
251: 271 169 175 0
239: 271 169 175 0
253: 271 169 175 0
127: 271 169 175 0
221: 270 271 0
221: 168 271 0
191: 270 168 271 0
239: 168 174 271 0
251: 272 170 176 0
239: 272 170 176 0
253: 272 170 176 0
127: 272 170 176 0
221: 271 272 0
221: 169 272 0
191: 271 169 272 0
239: 169 175 272 0
221: 36 273 0
187: 36 273 0
251: 273 171 177 0
239: 273 171 177 0
253: 273 171 177 0
127: 273 171 177 0
251: 274 172 178 0
239: 274 172 178 0
253: 274 172 178 0
127: 274 172 178 0
221: 273 274 0
221: 171 274 0
191: 273 171 274 0
239: 171 177 274 0
251: 275 173 179 0
239: 275 173 179 0
253: 275 173 179 0
127: 275 173 179 0
221: 274 275 0
221: 172 275 0
191: 274 172 275 0
239: 172 178 275 0
251: 276 174 180 0
239: 276 174 180 0
253: 276 174 180 0
127: 276 174 180 0
221: 275 276 0
221: 173 276 0
191: 275 173 276 0
239: 173 179 276 0
251: 277 175 181 0
239: 277 175 181 0
253: 277 175 181 0
127: 277 175 181 0
221: 276 277 0
221: 174 277 0
191: 276 174 277 0
239: 174 180 277 0
251: 278 176 182 0
239: 278 176 182 0
253: 278 176 182 0
127: 278 176 182 0
221: 277 278 0
221: 175 278 0
191: 277 175 278 0
239: 175 181 278 0
221: 45 279 0
187: 45 279 0
251: 279 177 183 0
239: 279 177 183 0
253: 279 177 183 0
127: 279 177 183 0
251: 280 178 184 0
239: 280 178 184 0
253: 280 178 184 0
127: 280 178 184 0
221: 279 280 0
221: 177 280 0
191: 279 177 280 0
239: 177 183 280 0
251: 281 179 185 0
239: 281 179 185 0
253: 281 179 185 0
127: 281 179 185 0
221: 280 281 0
221: 178 281 0
191: 280 178 281 0
239: 178 184 281 0
251: 282 180 186 0
239: 282 180 186 0
253: 282 180 186 0
127: 282 180 186 0
221: 281 282 0
221: 179 282 0
191: 281 179 282 0
239: 179 185 282 0
251: 283 181 187 0
239: 283 181 187 0
253: 283 181 187 0
127: 283 181 187 0
221: 282 283 0
221: 180 283 0
191: 282 180 283 0
239: 180 186 283 0
251: 284 182 188 0
239: 284 182 188 0
253: 284 182 188 0
127: 284 182 188 0
221: 283 284 0
221: 181 284 0
191: 283 181 284 0
239: 181 187 284 0
221: 54 285 0
187: 54 285 0
251: 285 183 189 0
239: 285 183 189 0
253: 285 183 189 0
127: 285 183 189 0
251: 286 184 190 0
239: 286 184 190 0
253: 286 184 190 0
127: 286 184 190 0
221: 285 286 0
221: 183 286 0
191: 285 183 286 0
239: 183 189 286 0
251: 287 185 191 0
239: 287 185 191 0
253: 287 185 191 0
127: 287 185 191 0
221: 286 287 0
221: 184 287 0
191: 286 184 287 0
239: 184 190 287 0
251: 288 186 192 0
239: 288 186 192 0
253: 288 186 192 0
127: 288 186 192 0
221: 287 288 0
221: 185 288 0
191: 287 185 288 0
239: 185 191 288 0
251: 289 187 193 0
239: 289 187 193 0
253: 289 187 193 0
127: 289 187 193 0
221: 288 289 0
221: 186 289 0
191: 288 186 289 0
239: 186 192 289 0
251: 290 188 194 0
239: 290 188 194 0
253: 290 188 194 0
127: 290 188 194 0
221: 289 290 0
221: 187 290 0
191: 289 187 290 0
239: 187 193 290 0
221: 63 291 0
187: 63 291 0
251: 291 189 195 0
239: 291 189 195 0
253: 291 189 195 0
127: 291 189 195 0
251: 292 190 196 0
239: 292 190 196 0
253: 292 190 196 0
127: 292 190 196 0
221: 291 292 0
221: 189 292 0
191: 291 189 292 0
239: 189 195 292 0
251: 293 191 197 0
239: 293 191 197 0
253: 293 191 197 0
127: 293 191 197 0
221: 292 293 0
221: 190 293 0
191: 292 190 293 0
239: 190 196 293 0
251: 294 192 198 0
239: 294 192 198 0
253: 294 192 198 0
127: 294 192 198 0
221: 293 294 0
221: 191 294 0
191: 293 191 294 0
239: 191 197 294 0
251: 295 193 199 0
239: 295 193 199 0
253: 295 193 199 0
127: 295 193 199 0
221: 294 295 0
221: 192 295 0
191: 294 192 295 0
239: 192 198 295 0
251: 296 194 200 0
239: 296 194 200 0
253: 296 194 200 0
127: 296 194 200 0
221: 295 296 0
221: 193 296 0
191: 295 193 296 0
239: 193 199 296 0
221: 72 297 0
187: 72 297 0
251: 297 195 201 0
239: 297 195 201 0
253: 297 195 201 0
127: 297 195 201 0
251: 298 196 202 0
239: 298 196 202 0
253: 298 196 202 0
127: 298 196 202 0
221: 297 298 0
221: 195 298 0
191: 297 195 298 0
239: 195 201 298 0
251: 299 197 203 0
239: 299 197 203 0
253: 299 197 203 0
127: 299 197 203 0
221: 298 299 0
221: 196 299 0
191: 298 196 299 0
239: 196 202 299 0
251: 300 198 204 0
239: 300 198 204 0
253: 300 198 204 0
127: 300 198 204 0
221: 299 300 0
221: 197 300 0
191: 299 197 300 0
239: 197 203 300 0
251: 301 199 205 0
239: 301 199 205 0
253: 301 199 205 0
127: 301 199 205 0
221: 300 301 0
221: 198 301 0
191: 300 198 301 0
239: 198 204 301 0
251: 302 200 206 0
239: 302 200 206 0
253: 302 200 206 0
127: 302 200 206 0
221: 301 302 0
221: 199 302 0
191: 301 199 302 0
239: 199 205 302 0
221: 81 303 0
187: 81 303 0
251: 303 201 207 0
239: 303 201 207 0
253: 303 201 207 0
127: 303 201 207 0
251: 304 202 208 0
239: 304 202 208 0
253: 304 202 208 0
127: 304 202 208 0
221: 303 304 0
221: 201 304 0
191: 303 201 304 0
239: 201 207 304 0
251: 305 203 209 0
239: 305 203 209 0
253: 305 203 209 0
127: 305 203 209 0
221: 304 305 0
221: 202 305 0
191: 304 202 305 0
239: 202 208 305 0
251: 306 204 210 0
239: 306 204 210 0
253: 306 204 210 0
127: 306 204 210 0
221: 305 306 0
221: 203 306 0
191: 305 203 306 0
239: 203 209 306 0
251: 307 205 211 0
239: 307 205 211 0
253: 307 205 211 0
127: 307 205 211 0
221: 306 307 0
221: 204 307 0
191: 306 204 307 0
239: 204 210 307 0
251: 308 206 212 0
239: 308 206 212 0
253: 308 206 212 0
127: 308 206 212 0
221: 307 308 0
221: 205 308 0
191: 307 205 308 0
239: 205 211 308 0
221: 90 309 0
187: 90 309 0
251: 309 207 213 0
239: 309 207 213 0
253: 309 207 213 0
127: 309 207 213 0
251: 310 208 214 0
239: 310 208 214 0
253: 310 208 214 0
127: 310 208 214 0
221: 309 310 0
221: 207 310 0
191: 309 207 310 0
239: 207 213 310 0
251: 311 209 215 0
239: 311 209 215 0
253: 311 209 215 0
127: 311 209 215 0
221: 310 311 0
221: 208 311 0
191: 310 208 311 0
239: 208 214 311 0
251: 312 210 216 0
239: 312 210 216 0
253: 312 210 216 0
127: 312 210 216 0
221: 311 312 0
221: 209 312 0
191: 311 209 312 0
239: 209 215 312 0
251: 313 211 217 0
239: 313 211 217 0
253: 313 211 217 0
127: 313 211 217 0
221: 312 313 0
221: 210 313 0
191: 312 210 313 0
239: 210 216 313 0
251: 314 212 218 0
239: 314 212 218 0
253: 314 212 218 0
127: 314 212 218 0
221: 313 314 0
221: 211 314 0
191: 313 211 314 0
239: 211 217 314 0
221: 99 315 0
187: 99 315 0
251: 315 213 219 0
239: 315 213 219 0
253: 315 213 219 0
127: 315 213 219 0
251: 316 214 220 0
239: 316 214 220 0
253: 316 214 220 0
127: 316 214 220 0
221: 315 316 0
221: 213 316 0
191: 315 213 316 0
239: 213 219 316 0
251: 317 215 221 0
239: 317 215 221 0
253: 317 215 221 0
127: 317 215 221 0
221: 316 317 0
221: 214 317 0
191: 316 214 317 0
239: 214 220 317 0
251: 318 216 222 0
239: 318 216 222 0
253: 318 216 222 0
127: 318 216 222 0
221: 317 318 0
221: 215 318 0
191: 317 215 318 0
239: 215 221 318 0
251: 319 217 223 0
239: 319 217 223 0
253: 319 217 223 0
127: 319 217 223 0
221: 318 319 0
221: 216 319 0
191: 318 216 319 0
239: 216 222 319 0
251: 320 218 224 0
239: 320 218 224 0
253: 320 218 224 0
127: 320 218 224 0
221: 319 320 0
221: 217 320 0
191: 319 217 320 0
239: 217 223 320 0
221: 108 321 0
187: 108 321 0
251: 321 219 225 0
239: 321 219 225 0
253: 321 219 225 0
127: 321 219 225 0
251: 322 220 226 0
239: 322 220 226 0
253: 322 220 226 0
127: 322 220 226 0
221: 321 322 0
221: 219 322 0
191: 321 219 322 0
239: 219 225 322 0
251: 323 221 227 0
239: 323 221 227 0
253: 323 221 227 0
127: 323 221 227 0
221: 322 323 0
221: 220 323 0
191: 322 220 323 0
239: 220 226 323 0
251: 324 222 228 0
239: 324 222 228 0
253: 324 222 228 0
127: 324 222 228 0
221: 323 324 0
221: 221 324 0
191: 323 221 324 0
239: 221 227 324 0
251: 325 223 229 0
239: 325 223 229 0
253: 325 223 229 0
127: 325 223 229 0
221: 324 325 0
221: 222 325 0
191: 324 222 325 0
239: 222 228 325 0
251: 326 224 230 0
239: 326 224 230 0
253: 326 224 230 0
127: 326 224 230 0
221: 325 326 0
221: 223 326 0
191: 325 223 326 0
239: 223 229 326 0
221: 117 327 0
187: 117 327 0
251: 327 225 231 0
239: 327 225 231 0
253: 327 225 231 0
127: 327 225 231 0
251: 328 226 232 0
239: 328 226 232 0
253: 328 226 232 0
127: 328 226 232 0
221: 327 328 0
221: 225 328 0
191: 327 225 328 0
239: 225 231 328 0
251: 329 227 233 0
239: 329 227 233 0
253: 329 227 233 0
127: 329 227 233 0
221: 328 329 0
221: 226 329 0
191: 328 226 329 0
239: 226 232 329 0
251: 330 228 234 0
239: 330 228 234 0
253: 330 228 234 0
127: 330 228 234 0
221: 329 330 0
221: 227 330 0
191: 329 227 330 0
239: 227 233 330 0
251: 331 229 235 0
239: 331 229 235 0
253: 331 229 235 0
127: 331 229 235 0
221: 330 331 0
221: 228 331 0
191: 330 228 331 0
239: 228 234 331 0
251: 332 230 236 0
239: 332 230 236 0
253: 332 230 236 0
127: 332 230 236 0
221: 331 332 0
221: 229 332 0
191: 331 229 332 0
239: 229 235 332 0
221: 126 333 0
187: 126 333 0
251: 333 231 237 0
239: 333 231 237 0
253: 333 231 237 0
127: 333 231 237 0
251: 334 232 238 0
239: 334 232 238 0
253: 334 232 238 0
127: 334 232 238 0
221: 333 334 0
221: 231 334 0
191: 333 231 334 0
239: 231 237 334 0
251: 335 233 239 0
239: 335 233 239 0
253: 335 233 239 0
127: 335 233 239 0
221: 334 335 0
221: 232 335 0
191: 334 232 335 0
239: 232 238 335 0
251: 336 234 240 0
239: 336 234 240 0
253: 336 234 240 0
127: 336 234 240 0
221: 335 336 0
221: 233 336 0
191: 335 233 336 0
239: 233 239 336 0
251: 337 235 241 0
239: 337 235 241 0
253: 337 235 241 0
127: 337 235 241 0
221: 336 337 0
221: 234 337 0
191: 336 234 337 0
239: 234 240 337 0
251: 338 236 242 0
239: 338 236 242 0
253: 338 236 242 0
127: 338 236 242 0
221: 337 338 0
221: 235 338 0
191: 337 235 338 0
239: 235 241 338 0
221: 135 339 0
187: 135 339 0
251: 339 237 243 0
239: 339 237 243 0
253: 339 237 243 0
127: 339 237 243 0
251: 340 238 244 0
239: 340 238 244 0
253: 340 238 244 0
127: 340 238 244 0
221: 339 340 0
221: 237 340 0
191: 339 237 340 0
239: 237 243 340 0
251: 341 239 245 0
239: 341 239 245 0
253: 341 239 245 0
127: 341 239 245 0
221: 340 341 0
221: 238 341 0
191: 340 238 341 0
239: 238 244 341 0
251: 342 240 246 0
239: 342 240 246 0
253: 342 240 246 0
127: 342 240 246 0
221: 341 342 0
221: 239 342 0
191: 341 239 342 0
239: 239 245 342 0
251: 343 241 247 0
239: 343 241 247 0
253: 343 241 247 0
127: 343 241 247 0
221: 342 343 0
221: 240 343 0
191: 342 240 343 0
239: 240 246 343 0
251: 344 242 248 0
239: 344 242 248 0
253: 344 242 248 0
127: 344 242 248 0
221: 343 344 0
221: 241 344 0
191: 343 241 344 0
239: 241 247 344 0
221: 144 345 0
187: 144 345 0
251: 345 243 249 0
239: 345 243 249 0
253: 345 243 249 0
127: 345 243 249 0
251: 346 244 250 0
239: 346 244 250 0
253: 346 244 250 0
127: 346 244 250 0
221: 345 346 0
221: 243 346 0
191: 345 243 346 0
239: 243 249 346 0
251: 347 245 251 0
239: 347 245 251 0
253: 347 245 251 0
127: 347 245 251 0
221: 346 347 0
221: 244 347 0
191: 346 244 347 0
239: 244 250 347 0
251: 348 246 252 0
239: 348 246 252 0
253: 348 246 252 0
127: 348 246 252 0
221: 347 348 0
221: 245 348 0
191: 347 245 348 0
239: 245 251 348 0
251: 349 247 253 0
239: 349 247 253 0
253: 349 247 253 0
127: 349 247 253 0
221: 348 349 0
221: 246 349 0
191: 348 246 349 0
239: 246 252 349 0
251: 350 248 254 0
239: 350 248 254 0
253: 350 248 254 0
127: 350 248 254 0
221: 349 350 0
221: 247 350 0
191: 349 247 350 0
239: 247 253 350 0
85: 254 0
85: 253 0
85: 252 0
85: 251 0
85: 250 0
85: 260 0
85: 266 0
85: 272 0
85: 278 0
85: 284 0
85: 290 0
85: 296 0
85: 302 0
85: 308 0
85: 314 0
85: 320 0
85: 326 0
85: 332 0
85: 338 0
85: 344 0
85: 350 0