Rule:IS6

@RULE IS6

https://conwaylife.com/forums/viewtopic.php?p=9834#p9867

@TREE

num_states=9 num_neighbors=8 num_nodes=1365 1 0 0 0 0 0 0 0 0 0 1 4 1 0 0 0 0 6 0 0 1 2 0 0 0 0 0 0 0 0 2 0 0 1 0 0 2 0 0 0 1 0 1 0 0 0 0 6 0 0 1 2 1 0 0 0 0 6 0 0 2 1 1 4 1 1 5 1 1 1 1 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 0 2 0 0 1 0 7 2 8 0 0 1 5 0 0 0 0 0 0 0 0 2 2 2 5 2 2 10 2 2 2 1 1 0 0 0 0 0 0 0 0 2 0 0 1 0 8 2 12 0 0 3 3 3 6 3 9 11 13 3 3 1 3 0 0 0 0 0 0 0 0 2 0 15 1 0 0 2 0 0 0 3 3 16 6 3 9 11 13 3 3 2 4 4 4 4 4 5 4 4 4 1 4 1 0 0 0 5 6 0 0 2 1 1 4 1 1 5 19 1 1 2 5 5 5 5 5 1 5 5 5 1 1 1 0 0 0 0 6 0 0 2 1 1 4 1 19 5 22 1 1 3 6 6 18 6 20 21 23 6 6 2 0 0 1 10 0 2 0 0 0 3 3 3 6 25 9 11 13 3 3 1 6 0 0 0 0 5 0 0 0 2 7 7 1 7 0 2 27 7 7 1 2 0 0 0 0 5 0 0 0 2 2 2 5 2 2 10 29 2 2 1 1 0 0 0 0 5 0 0 0 2 8 8 19 8 27 29 31 8 8 3 9 9 20 9 28 30 32 9 9 2 10 10 1 10 10 0 10 10 10 2 2 2 5 2 29 10 12 2 2 3 11 11 21 11 30 34 35 11 11 2 12 12 22 12 31 12 15 12 12 3 13 13 23 13 32 35 37 13 13 4 14 17 24 26 33 36 38 14 14 1 3 1 0 0 0 0 6 0 0 2 15 0 40 15 15 2 15 15 15 2 1 40 4 1 1 5 1 1 1 2 0 15 1 0 7 2 8 0 0 2 0 15 1 0 8 2 12 0 0 3 16 41 42 16 43 11 44 16 16 3 6 42 18 6 20 21 23 6 6 3 3 16 6 25 9 11 13 3 3 3 9 43 20 9 28 30 32 9 9 3 13 44 23 13 32 35 37 13 13 4 17 45 46 47 48 36 49 17 17 1 6 1 0 0 0 0 6 0 0 1 0 1 0 0 0 5 6 0 0 2 4 4 4 4 51 5 52 4 4 1 5 1 0 0 0 0 6 0 0 2 5 5 5 5 5 54 5 5 5 2 4 4 4 4 52 5 22 4 4 3 18 18 18 18 53 55 56 18 18 2 1 1 51 1 1 5 19 1 1 1 2 1 0 0 0 5 6 0 0 2 5 5 5 5 5 1 59 5 5 1 1 1 0 0 0 5 6 0 0 2 19 19 52 19 19 59 61 19 19 3 20 20 53 20 58 60 62 20 20 2 1 1 54 1 1 1 1 1 1 2 5 5 5 5 59 1 22 5 5 3 21 21 55 21 60 64 65 21 21 2 22 22 22 22 61 22 40 22 22 3 23 23 56 23 62 65 67 23 23 4 24 46 57 24 63 66 68 24 24 2 10 10 1 0 10 2 10 10 10 2 0 0 1 10 7 2 8 0 0 2 0 0 1 10 8 2 12 0 0 3 25 25 6 70 71 11 72 25 25 3 9 9 20 71 28 30 32 9 9 3 13 13 23 72 32 35 37 13 13 4 26 47 24 73 74 36 75 26 26 2 0 0 1 0 0 2 8 0 0 2 27 27 19 27 8 29 31 27 27 3 28 28 58 28 77 30 78 28 28 1 5 0 0 0 0 5 0 0 0 2 10 10 1 10 10 0 80 10 10 2 29 29 59 29 29 80 31 29 29 3 30 30 60 30 30 81 82 30 30 1 3 0 0 0 0 5 0 0 0 2 31 31 61 31 31 31 84 31 31 3 32 32 62 32 78 82 85 32 32 4 33 48 63 74 79 83 86 33 33 2 0 0 1 0 0 0 0 0 0 2 10 10 1 10 80 0 12 10 10 3 34 34 64 34 81 88 89 34 34 2 12 12 22 12 31 12 2 12 12 3 35 35 65 35 82 89 91 35 35 4 36 36 66 36 83 90 92 36 36 2 15 15 40 15 84 2 0 15 15 3 37 37 67 37 85 91 94 37 37 4 38 49 68 75 86 92 95 38 38 5 39 50 69 76 87 93 96 39 39 2 40 1 40 40 40 5 40 40 40 2 15 0 40 15 15 2 84 15 15 2 2 2 5 2 2 15 2 2 2 2 15 0 40 15 84 2 12 15 15 3 41 3 98 41 99 100 101 41 41 2 4 40 4 4 4 5 4 4 4 2 1 40 4 1 1 5 19 1 1 2 1 40 4 1 19 5 22 1 1 3 42 98 103 42 104 21 105 42 42 2 0 15 1 10 0 2 0 0 0 3 16 41 42 107 43 11 44 16 16 2 7 15 1 7 0 2 27 7 7 2 8 84 19 8 27 29 31 8 8 3 43 99 104 43 109 30 110 43 43 2 10 15 1 10 10 0 10 10 10 3 11 100 21 11 30 112 35 11 11 3 44 101 105 44 110 35 37 44 44 4 45 102 106 108 111 113 114 45 45 3 18 103 18 18 53 55 56 18 18 3 20 104 53 20 58 60 62 20 20 3 23 105 56 23 62 65 67 23 23 4 46 106 116 46 117 66 118 46 46 3 25 107 6 70 71 11 72 25 25 3 9 43 20 71 28 30 32 9 9 3 13 44 23 72 32 35 37 13 13 4 47 108 46 120 121 36 122 47 47 3 28 109 58 28 77 30 78 28 28 3 32 110 62 32 78 82 85 32 32 4 48 111 117 121 124 83 125 48 48 3 34 112 64 34 81 88 89 34 34 4 36 113 66 36 83 127 92 36 36 4 49 114 118 122 125 92 95 49 49 5 50 115 119 123 126 128 129 50 50 2 4 4 4 54 4 5 4 4 4 3 18 18 18 131 53 55 56 18 18 1 6 1 0 0 0 5 6 0 0 2 51 51 51 51 4 5 133 51 51 2 5 5 5 5 5 54 59 5 5 2 52 52 52 52 133 59 61 52 52 3 53 53 53 53 134 135 136 53 53 2 54 54 54 54 54 4 54 54 54 2 5 5 5 5 59 54 22 5 5 3 55 55 55 55 135 138 139 55 55 3 56 56 56 56 136 139 67 56 56 4 57 116 57 132 137 140 141 57 57 2 1 1 54 1 1 5 1 1 1 3 6 6 131 143 20 21 23 6 6 4 24 46 132 144 63 66 68 24 24 2 19 19 133 19 19 59 61 19 19 3 58 58 134 58 20 60 146 58 58 2 1 1 54 1 1 1 19 1 1 2 59 59 59 59 59 19 61 59 59 3 60 60 135 60 60 148 149 60 60 1 3 1 0 0 0 5 6 0 0 2 61 61 61 61 61 61 151 61 61 3 62 62 136 62 146 149 152 62 62 4 63 117 137 63 147 150 153 63 63 2 1 1 4 1 1 1 1 1 1 2 1 1 54 1 19 1 22 1 1 3 64 64 138 64 148 155 156 64 64 2 22 22 22 22 61 22 5 22 22 3 65 65 139 65 149 156 158 65 65 4 66 66 140 66 150 157 159 66 66 2 40 40 40 40 151 5 1 40 40 3 67 67 67 67 152 158 161 67 67 4 68 118 141 68 153 159 162 68 68 5 69 119 142 145 154 160 163 69 69 2 10 10 1 0 10 2 80 10 10 2 10 10 1 0 80 2 12 10 10 3 70 70 143 3 165 11 166 70 70 2 7 7 1 10 0 2 27 7 7 2 8 8 19 80 27 29 31 8 8 3 71 71 20 165 168 30 169 71 71 3 72 72 23 166 169 35 37 72 72 4 73 120 144 167 170 36 171 73 73 3 28 28 58 168 77 30 78 28 28 3 32 32 62 169 78 82 85 32 32 4 74 121 63 170 173 83 174 74 74 4 75 122 68 171 174 92 95 75 75 5 76 123 145 172 175 93 176 76 76 2 8 8 19 8 8 29 31 8 8 3 77 77 20 77 77 30 178 77 77 2 10 10 1 10 10 7 80 10 10 3 30 30 60 30 30 180 82 30 30 3 78 78 146 78 178 82 85 78 78 4 79 124 147 173 179 181 182 79 79 2 0 0 1 0 7 0 8 0 0 2 80 80 19 80 80 8 31 80 80 3 81 81 148 81 180 184 185 81 81 2 31 31 61 31 31 31 29 31 31 3 82 82 149 82 82 185 187 82 82 4 83 83 150 83 181 186 188 83 83 2 84 84 151 84 84 29 8 84 84 3 85 85 152 85 85 187 190 85 85 4 86 125 153 174 182 188 191 86 86 5 87 126 154 175 183 189 192 87 87 2 0 0 1 0 8 0 12 0 0 3 88 88 155 88 184 88 194 88 88 3 89 89 156 89 185 194 37 89 89 4 90 127 157 90 186 195 196 90 90 2 2 2 5 2 29 15 2 2 2 3 91 91 158 91 187 37 198 91 91 4 92 92 159 92 188 196 199 92 92 5 93 128 160 93 189 197 200 93 93 2 0 0 1 0 8 2 0 0 0 3 94 94 161 94 190 198 202 94 94 4 95 95 162 95 191 199 203 95 95 5 96 129 163 176 192 200 204 96 96 6 97 130 164 177 193 201 205 97 97 2 40 4 40 40 40 5 40 40 40 2 40 1 40 40 40 5 151 40 40 2 5 5 5 5 5 40 5 5 5 2 40 1 40 40 151 5 22 40 40 3 98 6 207 98 208 209 210 98 98 2 15 7 40 15 15 2 84 15 15 2 2 2 5 2 2 15 29 2 2 2 84 8 151 84 84 29 31 84 84 3 99 9 208 99 212 213 214 99 99 2 15 10 40 15 15 15 15 15 15 2 2 2 5 2 29 15 12 2 2 3 100 11 209 100 213 216 217 100 100 3 101 13 210 101 214 217 37 101 101 4 102 14 211 102 215 218 219 102 102 2 4 40 4 4 51 5 52 4 4 2 4 40 4 4 52 5 22 4 4 3 103 207 103 103 221 55 222 103 103 2 1 40 51 1 1 5 19 1 1 2 19 151 52 19 19 59 61 19 19 3 104 208 221 104 224 60 225 104 104 2 1 40 54 1 1 1 1 1 1 3 21 209 55 21 60 227 65 21 21 3 105 210 222 105 225 65 67 105 105 4 106 211 223 106 226 228 229 106 106 2 10 15 1 0 10 2 10 10 10 2 0 15 1 10 7 2 8 0 0 2 0 15 1 10 8 2 12 0 0 3 107 41 42 231 232 11 233 107 107 3 43 99 104 232 109 30 110 43 43 3 44 101 105 233 110 35 37 44 44 4 108 102 106 234 235 113 236 108 108 2 0 15 1 0 0 2 8 0 0 2 27 84 19 27 8 29 31 27 27 3 109 212 224 109 238 30 239 109 109 2 10 15 1 10 10 0 80 10 10 3 30 213 60 30 30 241 82 30 30 3 110 214 225 110 239 82 85 110 110 4 111 215 226 235 240 242 243 111 111 2 0 15 1 0 0 0 0 0 0 2 10 15 1 10 80 0 12 10 10 3 112 216 227 112 241 245 246 112 112 3 35 217 65 35 82 246 91 35 35 4 113 218 228 113 242 247 248 113 113 4 114 219 229 236 243 248 95 114 114 5 115 220 230 237 244 249 250 115 115 3 18 103 18 131 53 55 56 18 18 3 53 221 53 53 134 135 136 53 53 3 56 222 56 56 136 139 67 56 56 4 116 223 116 252 253 140 254 116 116 3 6 42 131 143 20 21 23 6 6 4 46 106 252 256 117 66 118 46 46 3 58 224 134 58 20 60 146 58 58 3 62 225 136 62 146 149 152 62 62 4 117 226 253 117 258 150 259 117 117 3 64 227 138 64 148 155 156 64 64 4 66 228 140 66 150 261 159 66 66 4 118 229 254 118 259 159 162 118 118 5 119 230 255 257 260 262 263 119 119 3 70 231 143 3 165 11 166 70 70 3 71 232 20 165 168 30 169 71 71 3 72 233 23 166 169 35 37 72 72 4 120 234 256 265 266 36 267 120 120 3 28 109 58 168 77 30 78 28 28 3 32 110 62 169 78 82 85 32 32 4 121 235 117 266 269 83 270 121 121 4 122 236 118 267 270 92 95 122 122 5 123 237 257 268 271 128 272 123 123 3 77 238 20 77 77 30 178 77 77 3 78 239 146 78 178 82 85 78 78 4 124 240 258 269 274 181 275 124 124 3 81 241 148 81 180 184 185 81 81 4 83 242 150 83 181 277 188 83 83 4 125 243 259 270 275 188 191 125 125 5 126 244 260 271 276 278 279 126 126 3 88 245 155 88 184 88 194 88 88 3 89 246 156 89 185 194 37 89 89 4 127 247 261 127 277 281 282 127 127 4 92 248 159 92 188 282 199 92 92 5 128 249 262 128 278 283 284 128 128 5 129 250 263 272 279 284 204 129 129 6 130 251 264 273 280 285 286 130 130 2 54 54 54 4 54 5 54 54 54 2 4 4 4 54 51 5 52 4 4 2 4 4 4 54 52 5 22 4 4 3 131 131 131 288 289 55 290 131 131 3 53 53 53 289 134 135 136 53 53 3 56 56 56 290 136 139 67 56 56 4 132 252 132 291 292 140 293 132 132 2 4 4 4 4 4 5 52 4 4 2 133 133 133 133 52 59 61 133 133 3 134 134 134 134 295 135 296 134 134 1 5 1 0 0 0 5 6 0 0 2 54 54 54 54 54 4 298 54 54 2 59 59 59 59 59 298 61 59 59 3 135 135 135 135 135 299 300 135 135 3 136 136 136 136 296 300 152 136 136 4 137 253 137 292 297 301 302 137 137 2 4 4 4 4 4 4 4 4 4 2 54 54 54 54 298 4 22 54 54 3 138 138 138 138 299 304 305 138 138 3 139 139 139 139 300 305 158 139 139 4 140 140 140 140 301 306 307 140 140 2 40 40 40 40 151 5 4 40 40 3 67 67 67 67 152 158 309 67 67 4 141 254 141 293 302 307 310 141 141 5 142 255 142 294 303 308 311 142 142 2 1 1 54 1 1 5 19 1 1 2 1 1 54 1 19 5 22 1 1 3 143 143 288 6 313 21 314 143 143 3 20 20 289 313 58 60 62 20 20 3 23 23 290 314 62 65 67 23 23 4 144 256 291 315 316 66 317 144 144 4 63 117 292 316 147 150 153 63 63 4 68 118 293 317 153 159 162 68 68 5 145 257 294 318 319 160 320 145 145 3 20 20 295 20 20 60 62 20 20 3 146 146 296 146 62 149 152 146 146 4 147 258 297 147 322 150 323 147 147 2 1 1 4 1 1 1 19 1 1 2 19 19 298 19 19 19 61 19 19 3 148 148 299 148 148 325 326 148 148 2 61 61 61 61 61 61 59 61 61 3 149 149 300 149 149 326 328 149 149 4 150 150 301 150 150 327 329 150 150 2 151 151 151 151 151 59 19 151 151 3 152 152 152 152 152 328 331 152 152 4 153 259 302 153 323 329 332 153 153 5 154 260 303 319 324 330 333 154 154 2 1 1 4 1 19 1 22 1 1 3 155 155 304 155 325 155 335 155 155 3 156 156 305 156 326 335 67 156 156 4 157 261 306 157 327 336 337 157 157 2 5 5 5 5 59 40 5 5 5 3 158 158 158 158 328 67 339 158 158 4 159 159 307 159 329 337 340 159 159 5 160 262 308 160 330 338 341 160 160 2 1 1 4 1 19 5 1 1 1 3 161 161 309 161 331 339 343 161 161 4 162 162 310 162 332 340 344 162 162 5 163 263 311 320 333 341 345 163 163 6 164 264 312 321 334 342 346 164 164 2 10 10 1 7 10 2 80 10 10 2 80 80 19 8 80 29 31 80 80 3 165 165 313 9 348 30 349 165 165 2 10 10 1 10 10 10 10 10 10 3 11 11 21 11 30 351 35 11 11 3 166 166 314 13 349 35 37 166 166 4 167 265 315 14 350 352 353 167 167 2 0 0 1 10 0 2 8 0 0 2 27 27 19 80 8 29 31 27 27 3 168 168 58 348 355 30 356 168 168 3 169 169 62 349 356 82 85 169 169 4 170 266 316 350 357 83 358 170 170 2 0 0 1 10 0 0 0 0 0 3 34 34 64 351 81 360 89 34 34 4 36 36 66 352 83 361 92 36 36 4 171 267 317 353 358 92 95 171 171 5 172 268 318 354 359 362 363 172 172 3 77 77 20 355 77 30 178 77 77 3 78 78 146 356 178 82 85 78 78 4 173 269 147 357 365 181 366 173 173 4 174 270 153 358 366 188 191 174 174 5 175 271 319 359 367 189 368 175 175 3 88 88 155 360 184 88 194 88 88 4 90 127 157 361 186 370 196 90 90 5 93 128 160 362 189 371 200 93 93 5 176 272 320 363 368 200 204 176 176 6 177 273 321 364 369 372 373 177 177 3 178 178 62 178 178 82 85 178 178 4 179 274 322 365 179 83 375 179 179 2 7 7 1 7 0 7 27 7 7 2 80 80 19 80 80 27 31 80 80 3 180 180 148 180 81 377 378 180 180 3 82 82 149 82 82 378 187 82 82 4 181 181 150 181 83 379 380 181 181 2 84 84 151 84 84 29 27 84 84 3 85 85 152 85 85 187 382 85 85 4 182 275 323 366 375 380 383 182 182 5 183 276 324 367 376 381 384 183 183 2 8 8 19 8 27 8 31 8 8 3 184 184 325 184 377 184 386 184 184 3 185 185 326 185 378 386 85 185 185 4 186 277 327 186 379 387 388 186 186 2 29 29 59 29 29 84 29 29 29 3 187 187 328 187 187 85 390 187 187 4 188 188 329 188 380 388 391 188 188 5 189 278 330 189 381 389 392 189 189 2 8 8 19 8 27 29 8 8 8 3 190 190 331 190 382 390 394 190 190 4 191 191 332 191 383 391 395 191 191 5 192 279 333 368 384 392 396 192 192 6 193 280 334 369 385 393 397 193 193 3 194 194 335 194 386 194 37 194 194 4 195 281 336 370 387 195 399 195 195 2 15 15 40 15 84 15 10 15 15 3 37 37 67 37 85 37 401 37 37 4 196 282 337 196 388 399 402 196 196 5 197 283 338 371 389 400 403 197 197 2 2 2 5 2 29 10 2 2 2 3 198 198 339 198 390 401 405 198 198 4 199 199 340 199 391 402 406 199 199 5 200 284 341 200 392 403 407 200 200 6 201 285 342 372 393 404 408 201 201 3 202 202 343 202 394 405 202 202 202 4 203 203 344 203 395 406 410 203 203 5 204 204 345 204 396 407 411 204 204 6 205 286 346 373 397 408 412 205 205 7 206 287 347 374 398 409 413 206 206 4 14 14 24 26 33 36 38 14 14 2 40 4 40 40 40 5 151 40 40 2 40 4 40 40 151 5 22 40 40 3 207 18 207 207 416 209 417 207 207 2 5 5 5 5 5 40 59 5 5 2 151 19 151 151 151 59 61 151 151 3 208 20 416 208 208 419 420 208 208 2 40 1 40 40 40 40 40 40 40 2 5 5 5 5 59 40 22 5 5 3 209 21 209 209 419 422 423 209 209 3 210 23 417 210 420 423 67 210 210 4 211 24 418 211 421 424 425 211 211 2 15 10 40 15 15 2 15 15 15 3 41 25 98 427 99 100 101 41 41 4 102 26 211 428 215 218 219 102 102 2 84 27 151 84 84 29 31 84 84 3 212 28 208 212 99 213 430 212 212 2 15 10 40 15 15 15 84 15 15 2 29 29 59 29 29 84 31 29 29 3 213 30 419 213 213 432 433 213 213 3 214 32 420 214 430 433 85 214 214 4 215 33 421 215 431 434 435 215 215 2 15 0 40 15 15 15 15 15 15 2 15 10 40 15 84 15 12 15 15 3 216 34 422 216 432 437 438 216 216 3 217 35 423 217 433 438 91 217 217 4 218 36 424 218 434 439 440 218 218 2 15 15 40 15 84 2 15 15 15 3 37 37 67 37 85 91 442 37 37 4 219 38 425 219 435 440 443 219 219 5 220 415 426 429 436 441 444 220 220 2 4 40 4 54 4 5 4 4 4 3 103 207 103 446 221 55 222 103 103 2 51 40 51 51 4 5 133 51 51 2 52 151 52 52 133 59 61 52 52 3 221 416 221 221 448 135 449 221 221 2 54 40 54 54 54 4 54 54 54 3 55 209 55 55 135 451 139 55 55 3 222 417 222 222 449 139 67 222 222 4 223 418 223 447 450 452 453 223 223 2 1 40 54 1 1 5 1 1 1 3 42 98 446 455 104 21 105 42 42 4 106 211 447 456 226 228 229 106 106 2 19 151 133 19 19 59 61 19 19 3 224 208 448 224 104 60 458 224 224 2 1 40 54 1 1 1 19 1 1 3 60 419 135 60 60 460 149 60 60 3 225 420 449 225 458 149 152 225 225 4 226 421 450 226 459 461 462 226 226 2 1 40 4 1 1 1 1 1 1 2 1 40 54 1 19 1 22 1 1 3 227 422 451 227 460 464 465 227 227 3 65 423 139 65 149 465 158 65 65 4 228 424 452 228 461 466 467 228 228 4 229 425 453 229 462 467 162 229 229 5 230 426 454 457 463 468 469 230 230 2 10 15 1 0 10 2 80 10 10 2 10 15 1 0 80 2 12 10 10 3 231 427 455 16 471 11 472 231 231 2 7 15 1 10 0 2 27 7 7 2 8 84 19 80 27 29 31 8 8 3 232 99 104 471 474 30 475 232 232 3 233 101 105 472 475 35 37 233 233 4 234 428 456 473 476 113 477 234 234 3 109 212 224 474 238 30 239 109 109 3 110 214 225 475 239 82 85 110 110 4 235 215 226 476 479 242 480 235 235 4 236 219 229 477 480 248 95 236 236 5 237 429 457 478 481 249 482 237 237 2 8 84 19 8 8 29 31 8 8 3 238 99 104 238 238 30 484 238 238 2 10 15 1 10 10 7 80 10 10 3 30 213 60 30 30 486 82 30 30 3 239 430 458 239 484 82 85 239 239 4 240 431 459 479 485 487 488 240 240 2 0 15 1 0 7 0 8 0 0 2 80 84 19 80 80 8 31 80 80 3 241 432 460 241 486 490 491 241 241 3 82 433 149 82 82 491 187 82 82 4 242 434 461 242 487 492 493 242 242 4 243 435 462 480 488 493 191 243 243 5 244 436 463 481 489 494 495 244 244 2 0 15 1 0 8 0 12 0 0 3 245 437 464 245 490 245 497 245 245 3 246 438 465 246 491 497 37 246 246 4 247 439 466 247 492 498 499 247 247 4 248 440 467 248 493 499 199 248 248 5 249 441 468 249 494 500 501 249 249 2 0 15 1 0 8 2 0 0 0 3 94 442 161 94 190 198 503 94 94 4 95 443 162 95 191 199 504 95 95 5 250 444 469 482 495 501 505 250 250 6 251 445 470 483 496 502 506 251 251 3 131 446 131 288 289 55 290 131 131 3 53 221 53 289 134 135 136 53 53 3 56 222 56 290 136 139 67 56 56 4 252 447 252 508 509 140 510 252 252 3 134 448 134 134 295 135 296 134 134 3 136 449 136 136 296 300 152 136 136 4 253 450 253 509 512 301 513 253 253 3 138 451 138 138 299 304 305 138 138 4 140 452 140 140 301 515 307 140 140 4 254 453 254 510 513 307 310 254 254 5 255 454 255 511 514 516 517 255 255 3 143 455 288 6 313 21 314 143 143 3 20 104 289 313 58 60 62 20 20 3 23 105 290 314 62 65 67 23 23 4 256 456 508 519 520 66 521 256 256 4 117 226 509 520 258 150 259 117 117 4 118 229 510 521 259 159 162 118 118 5 257 457 511 522 523 262 524 257 257 3 20 104 295 20 20 60 62 20 20 3 146 458 296 146 62 149 152 146 146 4 258 459 512 258 526 150 527 258 258 3 148 460 299 148 148 325 326 148 148 4 150 461 301 150 150 529 329 150 150 4 259 462 513 259 527 329 332 259 259 5 260 463 514 523 528 530 531 260 260 3 155 464 304 155 325 155 335 155 155 3 156 465 305 156 326 335 67 156 156 4 261 466 515 261 529 533 534 261 261 4 159 467 307 159 329 534 340 159 159 5 262 468 516 262 530 535 536 262 262 5 263 469 517 524 531 536 345 263 263 6 264 470 518 525 532 537 538 264 264 3 165 471 313 9 348 30 349 165 165 3 166 472 314 13 349 35 37 166 166 4 265 473 519 17 540 352 541 265 265 3 168 474 58 348 355 30 356 168 168 3 169 475 62 349 356 82 85 169 169 4 266 476 520 540 543 83 544 266 266 3 34 112 64 351 81 360 89 34 34 4 36 113 66 352 83 546 92 36 36 4 267 477 521 541 544 92 95 267 267 5 268 478 522 542 545 547 548 268 268 3 77 238 20 355 77 30 178 77 77 3 78 239 146 356 178 82 85 78 78 4 269 479 258 543 550 181 551 269 269 4 270 480 259 544 551 188 191 270 270 5 271 481 523 545 552 278 553 271 271 3 88 245 155 360 184 88 194 88 88 4 127 247 261 546 277 555 282 127 127 5 128 249 262 547 278 556 284 128 128 5 272 482 524 548 553 284 204 272 272 6 273 483 525 549 554 557 558 273 273 3 178 484 62 178 178 82 85 178 178 4 274 485 526 550 274 83 560 274 274 3 180 486 148 180 81 377 378 180 180 4 181 487 150 181 83 562 380 181 181 4 275 488 527 551 560 380 383 275 275 5 276 489 528 552 561 563 564 276 276 3 184 490 325 184 377 184 386 184 184 3 185 491 326 185 378 386 85 185 185 4 277 492 529 277 562 566 567 277 277 4 188 493 329 188 380 567 391 188 188 5 278 494 530 278 563 568 569 278 278 5 279 495 531 553 564 569 396 279 279 6 280 496 532 554 565 570 571 280 280 3 194 497 335 194 386 194 37 194 194 4 281 498 533 555 566 281 573 281 281 4 282 499 534 282 567 573 402 282 282 5 283 500 535 556 568 574 575 283 283 5 284 501 536 284 569 575 407 284 284 6 285 502 537 557 570 576 577 285 285 3 202 503 343 202 394 405 202 202 202 4 203 504 344 203 395 406 579 203 203 5 204 505 345 204 396 407 580 204 204 6 286 506 538 558 571 577 581 286 286 7 287 507 539 559 572 578 582 287 287 2 54 54 54 4 54 5 298 54 54 2 54 54 54 4 298 5 22 54 54 3 288 288 288 18 584 55 585 288 288 2 51 51 51 54 4 5 133 51 51 2 52 52 52 298 133 59 61 52 52 3 289 289 289 584 587 135 588 289 289 3 290 290 290 585 588 139 67 290 290 4 291 508 291 586 589 140 590 291 291 3 134 134 134 587 295 135 296 134 134 3 136 136 136 588 296 300 152 136 136 4 292 509 292 589 592 301 593 292 292 4 293 510 293 590 593 307 310 293 293 5 294 511 294 591 594 308 595 294 294 2 52 52 52 52 52 59 61 52 52 3 295 295 295 295 295 135 597 295 295 2 54 54 54 54 54 51 298 54 54 3 135 135 135 135 135 599 300 135 135 3 296 296 296 296 597 300 152 296 296 4 297 512 297 592 598 600 601 297 297 2 4 4 4 4 51 4 52 4 4 2 298 298 298 298 298 52 61 298 298 3 299 299 299 299 599 603 604 299 299 3 300 300 300 300 300 604 328 300 300 4 301 301 301 301 600 605 606 301 301 2 151 151 151 151 151 59 52 151 151 3 152 152 152 152 152 328 608 152 152 4 302 513 302 593 601 606 609 302 302 5 303 514 303 594 602 607 610 303 303 2 4 4 4 4 52 4 22 4 4 3 304 304 304 304 603 304 612 304 304 3 305 305 305 305 604 612 67 305 305 4 306 515 306 306 605 613 614 306 306 4 307 307 307 307 606 614 340 307 307 5 308 516 308 308 607 615 616 308 308 2 4 4 4 4 52 5 4 4 4 3 309 309 309 309 608 339 618 309 309 4 310 310 310 310 609 340 619 310 310 5 311 517 311 595 610 616 620 311 311 6 312 518 312 596 611 617 621 312 312 2 19 19 298 19 19 59 61 19 19 3 313 313 584 20 313 60 623 313 313 3 314 314 585 23 623 65 67 314 314 4 315 519 586 24 624 66 625 315 315 3 58 58 587 313 20 60 146 58 58 3 62 62 588 623 146 149 152 62 62 4 316 520 589 624 627 150 628 316 316 4 317 521 590 625 628 159 162 317 317 5 318 522 591 626 629 160 630 318 318 4 147 258 592 627 322 150 323 147 147 4 153 259 593 628 323 329 332 153 153 5 319 523 594 629 632 330 633 319 319 5 320 524 595 630 633 341 345 320 320 6 321 525 596 631 634 342 635 321 321 3 62 62 597 62 62 149 152 62 62 4 322 526 598 322 322 150 637 322 322 2 1 1 51 1 1 1 19 1 1 3 148 148 599 148 148 639 326 148 148 4 150 150 600 150 150 640 329 150 150 4 323 527 601 323 637 329 332 323 323 5 324 528 602 632 638 641 642 324 324 2 19 19 52 19 19 19 61 19 19 3 325 325 603 325 639 325 644 325 325 3 326 326 604 326 326 644 152 326 326 4 327 529 605 327 640 645 646 327 327 2 59 59 59 59 59 151 59 59 59 3 328 328 328 328 328 152 648 328 328 4 329 329 606 329 329 646 649 329 329 5 330 530 607 330 641 647 650 330 330 2 19 19 52 19 19 59 19 19 19 3 331 331 608 331 331 648 652 331 331 4 332 332 609 332 332 649 653 332 332 5 333 531 610 633 642 650 654 333 333 6 334 532 611 634 643 651 655 334 334 3 335 335 612 335 644 335 67 335 335 4 336 533 613 336 645 336 657 336 336 2 40 40 40 40 151 40 1 40 40 3 67 67 67 67 152 67 659 67 67 4 337 534 614 337 646 657 660 337 337 5 338 535 615 338 647 658 661 338 338 2 5 5 5 5 59 1 5 5 5 3 339 339 339 339 648 659 663 339 339 4 340 340 340 340 649 660 664 340 340 5 341 536 616 341 650 661 665 341 341 6 342 537 617 342 651 662 666 342 342 3 343 343 618 343 652 663 343 343 343 4 344 344 619 344 653 664 668 344 344 5 345 345 620 345 654 665 669 345 345 6 346 538 621 635 655 666 670 346 346 7 347 539 622 636 656 667 671 347 347 4 14 17 24 14 33 36 38 14 14 2 80 80 19 27 80 29 31 80 80 3 348 348 313 28 165 30 674 348 348 2 10 10 1 10 10 10 80 10 10 3 30 30 60 30 30 676 82 30 30 3 349 349 623 32 674 82 85 349 349 4 350 540 624 33 675 677 678 350 350 2 10 10 1 0 10 10 10 10 10 2 10 10 1 10 80 10 12 10 10 3 351 351 64 34 676 680 681 351 351 3 35 35 65 35 82 681 91 35 35 4 352 352 66 36 677 682 683 352 352 2 15 15 40 15 84 2 10 15 15 3 37 37 67 37 85 91 685 37 37 4 353 541 625 38 678 683 686 353 353 5 354 542 626 673 679 684 687 354 354 2 8 8 19 80 8 29 31 8 8 3 355 355 20 165 355 30 689 355 355 3 356 356 146 674 689 82 85 356 356 4 357 543 627 675 690 181 691 357 357 2 0 0 1 10 7 0 8 0 0 3 81 81 148 676 180 693 185 81 81 4 83 83 150 677 181 694 188 83 83 4 358 544 628 678 691 188 191 358 358 5 359 545 629 679 692 695 696 359 359 2 0 0 1 10 8 0 12 0 0 3 360 360 155 680 693 360 698 360 360 3 89 89 156 681 185 698 37 89 89 4 361 546 157 682 694 699 700 361 361 4 92 92 159 683 188 700 199 92 92 5 362 547 160 684 695 701 702 362 362 2 0 0 1 10 8 2 0 0 0 3 94 94 161 685 190 198 704 94 94 4 95 95 162 686 191 199 705 95 95 5 363 548 630 687 696 702 706 363 363 6 364 549 631 688 697 703 707 364 364 3 178 178 62 689 178 82 85 178 178 4 365 550 322 690 365 83 709 365 365 4 366 551 323 691 709 380 383 366 366 5 367 552 632 692 710 381 711 367 367 3 184 184 325 693 377 184 386 184 184 4 186 277 327 694 379 713 388 186 186 5 189 278 330 695 381 714 392 189 189 5 368 553 633 696 711 392 396 368 368 6 369 554 634 697 712 715 716 369 369 3 194 194 335 698 386 194 37 194 194 4 370 555 336 699 713 370 718 370 370 4 196 282 337 700 388 718 402 196 196 5 371 556 338 701 714 719 720 371 371 5 200 284 341 702 392 720 407 200 200 6 372 557 342 703 715 721 722 372 372 3 202 202 343 704 394 405 202 202 202 4 203 203 344 705 395 406 724 203 203 5 204 204 345 706 396 407 725 204 204 6 373 558 635 707 716 722 726 373 373 7 374 559 636 708 717 723 727 374 374 2 0 0 1 0 0 0 8 0 0 3 81 81 148 81 81 729 185 81 81 4 83 83 150 83 83 730 188 83 83 4 375 560 637 709 375 188 191 375 375 5 376 561 638 710 376 731 732 376 376 2 27 27 19 27 8 27 31 27 27 3 377 377 639 377 729 377 734 377 377 3 378 378 326 378 185 734 85 378 378 4 379 562 640 379 730 735 736 379 379 4 380 380 329 380 188 736 391 380 380 5 381 563 641 381 731 737 738 381 381 2 27 27 19 27 8 29 27 27 27 3 382 382 331 382 190 390 740 382 382 4 383 383 332 383 191 391 741 383 383 5 384 564 642 711 732 738 742 384 384 6 385 565 643 712 733 739 743 385 385 3 386 386 644 386 734 386 85 386 386 4 387 566 645 713 735 387 745 387 387 2 84 84 151 84 84 84 80 84 84 3 85 85 152 85 85 85 747 85 85 4 388 567 646 388 736 745 748 388 388 5 389 568 647 714 737 746 749 389 389 2 29 29 59 29 29 80 29 29 29 3 390 390 648 390 390 747 751 390 390 4 391 391 649 391 391 748 752 391 391 5 392 569 650 392 738 749 753 392 392 6 393 570 651 715 739 750 754 393 393 3 394 394 652 394 740 751 394 394 394 4 395 395 653 395 741 752 756 395 395 5 396 396 654 396 742 753 757 396 396 6 397 571 655 716 743 754 758 397 397 7 398 572 656 717 744 755 759 398 398 2 15 15 40 15 84 15 0 15 15 3 37 37 67 37 85 37 761 37 37 4 399 573 657 718 745 399 762 399 399 5 400 574 658 719 746 400 763 400 400 2 10 10 1 10 80 0 10 10 10 3 401 401 659 401 747 761 765 401 401 4 402 402 660 402 748 762 766 402 402 5 403 575 661 720 749 763 767 403 403 6 404 576 662 721 750 764 768 404 404 3 405 405 663 405 751 765 405 405 405 4 406 406 664 406 752 766 770 406 406 5 407 407 665 407 753 767 771 407 407 6 408 577 666 722 754 768 772 408 408 7 409 578 667 723 755 769 773 409 409 4 410 579 668 724 756 770 410 410 410 5 411 580 669 725 757 771 775 411 411 6 412 581 670 726 758 772 776 412 412 7 413 582 671 727 759 773 777 413 413 8 414 583 672 728 760 774 778 414 414 4 24 24 57 24 63 66 68 24 24 4 26 26 24 73 74 36 75 26 26 4 33 33 63 74 79 83 86 33 33 4 38 38 68 75 86 92 95 38 38 5 415 415 780 781 782 93 783 415 415 2 40 51 40 40 40 5 151 40 40 2 151 52 151 151 151 59 61 151 151 3 416 53 416 416 785 419 786 416 416 2 40 54 40 40 40 40 40 40 40 3 209 55 209 209 419 788 423 209 209 3 417 56 417 417 786 423 67 417 417 4 418 57 418 418 787 789 790 418 418 3 208 58 785 208 208 419 420 208 208 2 40 1 40 40 40 40 151 40 40 2 59 59 59 59 59 151 61 59 59 3 419 60 419 419 419 793 794 419 419 3 420 62 786 420 420 794 152 420 420 4 421 63 787 421 792 795 796 421 421 2 40 1 40 40 151 40 22 40 40 3 422 64 788 422 793 422 798 422 422 3 423 65 423 423 794 798 158 423 423 4 424 66 789 424 795 799 800 424 424 2 40 40 40 40 151 5 40 40 40 3 67 67 67 67 152 158 802 67 67 4 425 68 790 425 796 800 803 425 425 5 426 780 791 426 797 801 804 426 426 2 15 10 40 15 15 2 84 15 15 2 15 10 40 15 84 2 12 15 15 3 427 70 98 41 806 100 807 427 427 3 99 71 208 806 212 213 214 99 99 3 101 72 210 807 214 217 37 101 101 4 428 73 211 808 809 218 810 428 428 4 215 74 421 809 431 434 435 215 215 4 219 75 425 810 435 440 443 219 219 5 429 781 426 811 812 441 813 429 429 3 99 77 208 99 99 213 214 99 99 3 430 78 420 430 214 433 85 430 430 4 431 79 792 431 815 434 816 431 431 2 15 0 40 15 15 15 84 15 15 2 84 80 151 84 84 84 31 84 84 3 432 81 793 432 432 818 819 432 432 3 433 82 794 433 433 819 187 433 433 4 434 83 795 434 434 820 821 434 434 2 84 84 151 84 84 29 84 84 84 3 85 85 152 85 85 187 823 85 85 4 435 86 796 435 816 821 824 435 435 5 436 782 797 812 817 822 825 436 436 2 15 0 40 15 84 15 12 15 15 3 437 88 422 437 818 437 827 437 437 3 438 89 798 438 819 827 37 438 438 4 439 90 799 439 820 828 829 439 439 4 440 92 800 440 821 829 199 440 440 5 441 93 801 441 822 830 831 441 441 2 15 0 40 15 84 2 15 15 15 3 442 94 802 442 823 198 833 442 442 4 443 95 803 443 824 199 834 443 443 5 444 783 804 813 825 831 835 444 444 6 445 784 805 814 826 832 836 445 445 2 54 40 54 4 54 5 54 54 54 2 4 40 4 54 51 5 52 4 4 2 4 40 4 54 52 5 22 4 4 3 446 207 446 838 839 55 840 446 446 3 221 416 221 839 448 135 449 221 221 3 222 417 222 840 449 139 67 222 222 4 447 418 447 841 842 452 843 447 447 2 4 40 4 4 4 5 52 4 4 2 133 151 133 133 52 59 61 133 133 3 448 785 448 448 845 135 846 448 448 2 54 40 54 54 54 4 298 54 54 3 135 419 135 135 135 848 300 135 135 3 449 786 449 449 846 300 152 449 449 4 450 787 450 842 847 849 850 450 450 2 4 40 4 4 4 4 4 4 4 2 54 40 54 54 298 4 22 54 54 3 451 788 451 451 848 852 853 451 451 3 139 423 139 139 300 853 158 139 139 4 452 789 452 452 849 854 855 452 452 4 453 790 453 843 850 855 310 453 453 5 454 791 454 844 851 856 857 454 454 2 1 40 54 1 1 5 19 1 1 2 1 40 54 1 19 5 22 1 1 3 455 98 838 42 859 21 860 455 455 3 104 208 839 859 224 60 225 104 104 3 105 210 840 860 225 65 67 105 105 4 456 211 841 861 862 228 863 456 456 4 226 421 842 862 459 461 462 226 226 4 229 425 843 863 462 467 162 229 229 5 457 426 844 864 865 468 866 457 457 3 104 208 845 104 104 60 225 104 104 3 458 420 846 458 225 149 152 458 458 4 459 792 847 459 868 461 869 459 459 2 1 40 4 1 1 1 19 1 1 2 19 151 298 19 19 19 61 19 19 3 460 793 848 460 460 871 872 460 460 3 149 794 300 149 149 872 328 149 149 4 461 795 849 461 461 873 874 461 461 4 462 796 850 462 869 874 332 462 462 5 463 797 851 865 870 875 876 463 463 2 1 40 4 1 19 1 22 1 1 3 464 422 852 464 871 464 878 464 464 3 465 798 853 465 872 878 67 465 465 4 466 799 854 466 873 879 880 466 466 4 467 800 855 467 874 880 340 467 467 5 468 801 856 468 875 881 882 468 468 2 1 40 4 1 19 5 1 1 1 3 161 802 309 161 331 339 884 161 161 4 162 803 310 162 332 340 885 162 162 5 469 804 857 866 876 882 886 469 469 6 470 805 858 867 877 883 887 470 470 2 10 15 1 7 10 2 80 10 10 2 80 84 19 8 80 29 31 80 80 3 471 806 859 43 889 30 890 471 471 2 10 15 1 10 10 10 10 10 10 3 11 100 21 11 30 892 35 11 11 3 472 807 860 44 890 35 37 472 472 4 473 808 861 45 891 893 894 473 473 2 0 15 1 10 0 2 8 0 0 2 27 84 19 80 8 29 31 27 27 3 474 212 224 889 896 30 897 474 474 3 475 214 225 890 897 82 85 475 475 4 476 809 862 891 898 242 899 476 476 2 0 15 1 10 0 0 0 0 0 3 112 216 227 892 241 901 246 112 112 4 113 218 228 893 242 902 248 113 113 4 477 810 863 894 899 248 95 477 477 5 478 811 864 895 900 903 904 478 478 3 238 99 104 896 238 30 484 238 238 3 239 430 458 897 484 82 85 239 239 4 479 431 459 898 906 487 907 479 479 4 480 435 462 899 907 493 191 480 480 5 481 812 865 900 908 494 909 481 481 3 245 437 464 901 490 245 497 245 245 4 247 439 466 902 492 911 499 247 247 5 249 441 468 903 494 912 501 249 249 5 482 813 866 904 909 501 505 482 482 6 483 814 867 905 910 913 914 483 483 3 484 214 225 484 484 82 85 484 484 4 485 815 868 906 485 242 916 485 485 2 7 15 1 7 0 7 27 7 7 2 80 84 19 80 80 27 31 80 80 3 486 432 460 486 241 918 919 486 486 3 82 433 149 82 82 919 187 82 82 4 487 434 461 487 242 920 921 487 487 4 488 816 869 907 916 921 383 488 488 5 489 817 870 908 917 922 923 489 489 2 8 84 19 8 27 8 31 8 8 3 490 818 871 490 918 490 925 490 490 3 491 819 872 491 919 925 85 491 491 4 492 820 873 492 920 926 927 492 492 4 493 821 874 493 921 927 391 493 493 5 494 822 875 494 922 928 929 494 494 2 8 84 19 8 27 29 8 8 8 3 190 823 331 190 382 390 931 190 190 4 191 824 332 191 383 391 932 191 191 5 495 825 876 909 923 929 933 495 495 6 496 826 877 910 924 930 934 496 496 3 497 827 878 497 925 497 37 497 497 4 498 828 879 911 926 498 936 498 498 4 499 829 880 499 927 936 402 499 499 5 500 830 881 912 928 937 938 500 500 5 501 831 882 501 929 938 407 501 501 6 502 832 883 913 930 939 940 502 502 3 503 833 884 503 931 405 503 503 503 4 504 834 885 504 932 406 942 504 504 5 505 835 886 505 933 407 943 505 505 6 506 836 887 914 934 940 944 506 506 7 507 837 888 915 935 941 945 507 507 3 288 838 288 18 584 55 585 288 288 3 289 839 289 584 587 135 588 289 289 3 290 840 290 585 588 139 67 290 290 4 508 841 508 947 948 140 949 508 508 3 134 448 134 587 295 135 296 134 134 3 136 449 136 588 296 300 152 136 136 4 509 842 509 948 951 301 952 509 509 4 510 843 510 949 952 307 310 510 510 5 511 844 511 950 953 516 954 511 511 3 295 845 295 295 295 135 597 295 295 3 296 846 296 296 597 300 152 296 296 4 512 847 512 951 956 600 957 512 512 3 299 848 299 299 599 603 604 299 299 4 301 849 301 301 600 959 606 301 301 4 513 850 513 952 957 606 609 513 513 5 514 851 514 953 958 960 961 514 514 3 304 852 304 304 603 304 612 304 304 3 305 853 305 305 604 612 67 305 305 4 515 854 515 515 959 963 964 515 515 4 307 855 307 307 606 964 340 307 307 5 516 856 516 516 960 965 966 516 516 5 517 857 517 954 961 966 620 517 517 6 518 858 518 955 962 967 968 518 518 3 313 859 584 20 313 60 623 313 313 3 314 860 585 23 623 65 67 314 314 4 519 861 947 46 970 66 971 519 519 3 58 224 587 313 20 60 146 58 58 3 62 225 588 623 146 149 152 62 62 4 520 862 948 970 973 150 974 520 520 4 521 863 949 971 974 159 162 521 521 5 522 864 950 972 975 262 976 522 522 4 258 459 951 973 526 150 527 258 258 4 259 462 952 974 527 329 332 259 259 5 523 865 953 975 978 530 979 523 523 5 524 866 954 976 979 536 345 524 524 6 525 867 955 977 980 537 981 525 525 3 62 225 597 62 62 149 152 62 62 4 526 868 956 526 526 150 983 526 526 3 148 460 599 148 148 639 326 148 148 4 150 461 600 150 150 985 329 150 150 4 527 869 957 527 983 329 332 527 527 5 528 870 958 978 984 986 987 528 528 3 325 871 603 325 639 325 644 325 325 3 326 872 604 326 326 644 152 326 326 4 529 873 959 529 985 989 990 529 529 4 329 874 606 329 329 990 649 329 329 5 530 875 960 530 986 991 992 530 530 5 531 876 961 979 987 992 654 531 531 6 532 877 962 980 988 993 994 532 532 3 335 878 612 335 644 335 67 335 335 4 533 879 963 533 989 533 996 533 533 4 534 880 964 534 990 996 660 534 534 5 535 881 965 535 991 997 998 535 535 5 536 882 966 536 992 998 665 536 536 6 537 883 967 537 993 999 1000 537 537 3 343 884 618 343 652 663 343 343 343 4 344 885 619 344 653 664 1002 344 344 5 345 886 620 345 654 665 1003 345 345 6 538 887 968 981 994 1000 1004 538 538 7 539 888 969 982 995 1001 1005 539 539 4 17 45 46 17 48 36 49 17 17 3 348 889 313 28 165 30 674 348 348 3 349 890 623 32 674 82 85 349 349 4 540 891 970 48 1008 677 1009 540 540 3 351 892 64 34 676 680 681 351 351 4 352 893 66 36 677 1011 683 352 352 4 541 894 971 49 1009 683 686 541 541 5 542 895 972 1007 1010 1012 1013 542 542 3 355 896 20 165 355 30 689 355 355 3 356 897 146 674 689 82 85 356 356 4 543 898 973 1008 1015 181 1016 543 543 3 81 241 148 676 180 693 185 81 81 4 83 242 150 677 181 1018 188 83 83 4 544 899 974 1009 1016 188 191 544 544 5 545 900 975 1010 1017 1019 1020 545 545 3 360 901 155 680 693 360 698 360 360 3 89 246 156 681 185 698 37 89 89 4 546 902 261 1011 1018 1022 1023 546 546 4 92 248 159 683 188 1023 199 92 92 5 547 903 262 1012 1019 1024 1025 547 547 5 548 904 976 1013 1020 1025 706 548 548 6 549 905 977 1014 1021 1026 1027 549 549 3 178 484 62 689 178 82 85 178 178 4 550 906 526 1015 550 83 1029 550 550 4 551 907 527 1016 1029 380 383 551 551 5 552 908 978 1017 1030 563 1031 552 552 3 184 490 325 693 377 184 386 184 184 4 277 492 529 1018 562 1033 567 277 277 5 278 494 530 1019 563 1034 569 278 278 5 553 909 979 1020 1031 569 396 553 553 6 554 910 980 1021 1032 1035 1036 554 554 3 194 497 335 698 386 194 37 194 194 4 555 911 533 1022 1033 555 1038 555 555 4 282 499 534 1023 567 1038 402 282 282 5 556 912 535 1024 1034 1039 1040 556 556 5 284 501 536 1025 569 1040 407 284 284 6 557 913 537 1026 1035 1041 1042 557 557 3 202 503 343 704 394 405 202 202 202 4 203 504 344 705 395 406 1044 203 203 5 204 505 345 706 396 407 1045 204 204 6 558 914 981 1027 1036 1042 1046 558 558 7 559 915 982 1028 1037 1043 1047 559 559 3 81 241 148 81 81 729 185 81 81 4 83 242 150 83 83 1049 188 83 83 4 560 916 983 1029 560 188 191 560 560 5 561 917 984 1030 561 1050 1051 561 561 3 377 918 639 377 729 377 734 377 377 3 378 919 326 378 185 734 85 378 378 4 562 920 985 562 1049 1053 1054 562 562 4 380 921 329 380 188 1054 391 380 380 5 563 922 986 563 1050 1055 1056 563 563 5 564 923 987 1031 1051 1056 742 564 564 6 565 924 988 1032 1052 1057 1058 565 565 3 386 925 644 386 734 386 85 386 386 4 566 926 989 1033 1053 566 1060 566 566 4 567 927 990 567 1054 1060 748 567 567 5 568 928 991 1034 1055 1061 1062 568 568 5 569 929 992 569 1056 1062 753 569 569 6 570 930 993 1035 1057 1063 1064 570 570 3 394 931 652 394 740 751 394 394 394 4 395 932 653 395 741 752 1066 395 395 5 396 933 654 396 742 753 1067 396 396 6 571 934 994 1036 1058 1064 1068 571 571 7 572 935 995 1037 1059 1065 1069 572 572 4 573 936 996 1038 1060 573 762 573 573 5 574 937 997 1039 1061 574 1071 574 574 5 575 938 998 1040 1062 1071 767 575 575 6 576 939 999 1041 1063 1072 1073 576 576 6 577 940 1000 1042 1064 1073 772 577 577 7 578 941 1001 1043 1065 1074 1075 578 578 4 579 942 1002 1044 1066 770 579 579 579 5 580 943 1003 1045 1067 771 1077 580 580 6 581 944 1004 1046 1068 772 1078 581 581 7 582 945 1005 1047 1069 1075 1079 582 582 8 583 946 1006 1048 1070 1076 1080 583 583 2 54 54 54 51 54 5 298 54 54 2 298 298 298 52 298 59 61 298 298 3 584 584 584 53 1082 135 1083 584 584 2 54 54 54 54 54 54 54 54 54 3 55 55 55 55 135 1085 139 55 55 3 585 585 585 56 1083 139 67 585 585 4 586 947 586 57 1084 1086 1087 586 586 2 4 4 4 54 4 5 52 4 4 2 133 133 133 298 52 59 61 133 133 3 587 587 587 1082 1089 135 1090 587 587 3 588 588 588 1083 1090 300 152 588 588 4 589 948 589 1084 1091 301 1092 589 589 2 4 4 4 54 4 4 4 4 4 3 138 138 138 1085 299 1094 305 138 138 4 140 140 140 1086 301 1095 307 140 140 4 590 949 590 1087 1092 307 310 590 590 5 591 950 591 1088 1093 1096 1097 591 591 3 295 295 295 1089 295 135 597 295 295 3 296 296 296 1090 597 300 152 296 296 4 592 951 592 1091 1099 600 1100 592 592 4 593 952 593 1092 1100 606 609 593 593 5 594 953 594 1093 1101 607 1102 594 594 3 304 304 304 1094 603 304 612 304 304 4 306 515 306 1095 605 1104 614 306 306 5 308 516 308 1096 607 1105 616 308 308 5 595 954 595 1097 1102 616 620 595 595 6 596 955 596 1098 1103 1106 1107 596 596 3 597 597 597 597 597 300 152 597 597 4 598 956 598 1099 598 301 1109 598 598 2 51 51 51 51 4 51 133 51 51 2 298 298 298 298 298 133 61 298 298 3 599 599 599 599 299 1111 1112 599 599 3 300 300 300 300 300 1112 328 300 300 4 600 600 600 600 301 1113 1114 600 600 2 151 151 151 151 151 59 133 151 151 3 152 152 152 152 152 328 1116 152 152 4 601 957 601 1100 1109 1114 1117 601 601 5 602 958 602 1101 1110 1115 1118 602 602 2 52 52 52 52 133 52 61 52 52 3 603 603 603 603 1111 603 1120 603 603 3 604 604 604 604 1112 1120 152 604 604 4 605 959 605 605 1113 1121 1122 605 605 4 606 606 606 606 1114 1122 649 606 606 5 607 960 607 607 1115 1123 1124 607 607 2 52 52 52 52 133 59 52 52 52 3 608 608 608 608 1116 648 1126 608 608 4 609 609 609 609 1117 649 1127 609 609 5 610 961 610 1102 1118 1124 1128 610 610 6 611 962 611 1103 1119 1125 1129 611 611 3 612 612 612 612 1120 612 67 612 612 4 613 963 613 1104 1121 613 1131 613 613 2 40 40 40 40 151 40 54 40 40 3 67 67 67 67 152 67 1133 67 67 4 614 964 614 614 1122 1131 1134 614 614 5 615 965 615 1105 1123 1132 1135 615 615 2 5 5 5 5 59 54 5 5 5 3 339 339 339 339 648 1133 1137 339 339 4 340 340 340 340 649 1134 1138 340 340 5 616 966 616 616 1124 1135 1139 616 616 6 617 967 617 1106 1125 1136 1140 617 617 3 618 618 618 618 1126 1137 618 618 618 4 619 619 619 619 1127 1138 1142 619 619 5 620 620 620 620 1128 1139 1143 620 620 6 621 968 621 1107 1129 1140 1144 621 621 7 622 969 622 1108 1130 1141 1145 622 622 3 313 313 1082 58 313 60 623 313 313 3 623 623 1083 62 623 149 152 623 623 4 624 970 1084 63 1147 150 1148 624 624 3 64 64 1085 64 148 64 156 64 64 4 66 66 1086 66 150 1150 159 66 66 4 625 971 1087 68 1148 159 162 625 625 5 626 972 1088 69 1149 1151 1152 626 626 3 20 20 1089 313 20 60 62 20 20 3 146 146 1090 623 62 149 152 146 146 4 627 973 1091 1147 1154 150 1155 627 627 4 628 974 1092 1148 1155 329 332 628 628 5 629 975 1093 1149 1156 330 1157 629 629 3 155 155 1094 64 325 155 335 155 155 4 157 261 1095 1150 327 1159 337 157 157 5 160 262 1096 1151 330 1160 341 160 160 5 630 976 1097 1152 1157 341 345 630 630 6 631 977 1098 1153 1158 1161 1162 631 631 4 322 526 1099 1154 322 150 637 322 322 4 323 527 1100 1155 637 329 332 323 323 5 632 978 1101 1156 1164 641 1165 632 632 5 633 979 1102 1157 1165 650 654 633 633 6 634 980 1103 1158 1166 651 1167 634 634 4 336 533 1104 1159 645 336 657 336 336 5 338 535 1105 1160 647 1169 661 338 338 6 342 537 1106 1161 651 1170 666 342 342 6 635 981 1107 1162 1167 666 670 635 635 7 636 982 1108 1163 1168 1171 1172 636 636 4 637 983 1109 637 637 329 332 637 637 5 638 984 1110 1164 638 330 1174 638 638 2 19 19 133 19 19 19 61 19 19 3 639 639 1111 639 325 639 1176 639 639 3 326 326 1112 326 326 1176 152 326 326 4 640 985 1113 640 327 1177 1178 640 640 4 329 329 1114 329 329 1178 649 329 329 5 641 986 1115 641 330 1179 1180 641 641 2 19 19 133 19 19 59 19 19 19 3 331 331 1116 331 331 648 1182 331 331 4 332 332 1117 332 332 649 1183 332 332 5 642 987 1118 1165 1174 1180 1184 642 642 6 643 988 1119 1166 1175 1181 1185 643 643 3 644 644 1120 644 1176 644 152 644 644 4 645 989 1121 645 1177 645 1187 645 645 2 151 151 151 151 151 151 19 151 151 3 152 152 152 152 152 152 1189 152 152 4 646 990 1122 646 1178 1187 1190 646 646 5 647 991 1123 647 1179 1188 1191 647 647 2 59 59 59 59 59 19 59 59 59 3 648 648 648 648 648 1189 1193 648 648 4 649 649 649 649 649 1190 1194 649 649 5 650 992 1124 650 1180 1191 1195 650 650 6 651 993 1125 651 1181 1192 1196 651 651 3 652 652 1126 652 1182 1193 652 652 652 4 653 653 1127 653 1183 1194 1198 653 653 5 654 654 1128 654 1184 1195 1199 654 654 6 655 994 1129 1167 1185 1196 1200 655 655 7 656 995 1130 1168 1186 1197 1201 656 656 4 657 996 1131 657 1187 657 660 657 657 5 658 997 1132 1169 1188 658 1203 658 658 2 1 1 54 1 19 1 1 1 1 3 659 659 1133 659 1189 659 1205 659 659 4 660 660 1134 660 1190 660 1206 660 660 5 661 998 1135 661 1191 1203 1207 661 661 6 662 999 1136 1170 1192 1204 1208 662 662 3 663 663 1137 663 1193 1205 663 663 663 4 664 664 1138 664 1194 1206 1210 664 664 5 665 665 1139 665 1195 1207 1211 665 665 6 666 1000 1140 666 1196 1208 1212 666 666 7 667 1001 1141 1171 1197 1209 1213 667 667 4 668 1002 1142 668 1198 1210 668 668 668 5 669 1003 1143 669 1199 1211 1215 669 669 6 670 1004 1144 670 1200 1212 1216 670 670 7 671 1005 1145 1172 1201 1213 1217 671 671 8 672 1006 1146 1173 1202 1214 1218 672 672 4 33 48 63 33 79 83 86 33 33 4 38 49 68 38 86 92 95 38 38 5 673 1007 69 673 1220 93 1221 673 673 3 165 165 313 77 165 30 349 165 165 3 674 674 623 78 349 82 85 674 674 4 675 1008 1147 79 1223 677 1224 675 675 2 10 10 1 0 10 10 80 10 10 2 80 80 19 80 80 80 31 80 80 3 676 676 148 81 676 1226 1227 676 676 3 82 82 149 82 82 1227 187 82 82 4 677 677 150 83 677 1228 1229 677 677 2 84 84 151 84 84 29 80 84 84 3 85 85 152 85 85 187 1231 85 85 4 678 1009 1148 86 1224 1229 1232 678 678 5 679 1010 1149 1220 1225 1230 1233 679 679 2 10 10 1 0 80 10 12 10 10 3 680 680 64 88 1226 680 1235 680 680 3 681 681 156 89 1227 1235 37 681 681 4 682 1011 1150 90 1228 1236 1237 682 682 4 683 683 159 92 1229 1237 199 683 683 5 684 1012 1151 93 1230 1238 1239 684 684 2 10 10 1 0 80 2 10 10 10 3 685 685 161 94 1231 198 1241 685 685 4 686 686 162 95 1232 199 1242 686 686 5 687 1013 1152 1221 1233 1239 1243 687 687 6 688 1014 1153 1222 1234 1240 1244 688 688 3 689 689 62 349 689 82 85 689 689 4 690 1015 1154 1223 690 83 1246 690 690 2 7 7 1 10 0 7 27 7 7 3 180 180 148 676 81 1248 378 180 180 4 181 181 150 677 83 1249 380 181 181 4 691 1016 1155 1224 1246 380 383 691 691 5 692 1017 1156 1225 1247 1250 1251 692 692 2 8 8 19 80 27 8 31 8 8 3 693 693 325 1226 1248 693 1253 693 693 3 185 185 326 1227 378 1253 85 185 185 4 694 1018 327 1228 1249 1254 1255 694 694 4 188 188 329 1229 380 1255 391 188 188 5 695 1019 330 1230 1250 1256 1257 695 695 2 8 8 19 80 27 29 8 8 8 3 190 190 331 1231 382 390 1259 190 190 4 191 191 332 1232 383 391 1260 191 191 5 696 1020 1157 1233 1251 1257 1261 696 696 6 697 1021 1158 1234 1252 1258 1262 697 697 3 698 698 335 1235 1253 698 37 698 698 4 699 1022 1159 1236 1254 699 1264 699 699 4 700 1023 337 1237 1255 1264 402 700 700 5 701 1024 1160 1238 1256 1265 1266 701 701 5 702 1025 341 1239 1257 1266 407 702 702 6 703 1026 1161 1240 1258 1267 1268 703 703 3 704 704 343 1241 1259 405 704 704 704 4 705 705 344 1242 1260 406 1270 705 705 5 706 706 345 1243 1261 407 1271 706 706 6 707 1027 1162 1244 1262 1268 1272 707 707 7 708 1028 1163 1245 1263 1269 1273 708 708 4 709 1029 637 1246 709 188 191 709 709 5 710 1030 1164 1247 710 731 1275 710 710 3 377 377 639 1248 729 377 734 377 377 4 379 562 640 1249 730 1277 736 379 379 5 381 563 641 1250 731 1278 738 381 381 5 711 1031 1165 1251 1275 738 742 711 711 6 712 1032 1166 1252 1276 1279 1280 712 712 3 386 386 644 1253 734 386 85 386 386 4 713 1033 645 1254 1277 713 1282 713 713 4 388 567 646 1255 736 1282 748 388 388 5 714 1034 647 1256 1278 1283 1284 714 714 5 392 569 650 1257 738 1284 753 392 392 6 715 1035 651 1258 1279 1285 1286 715 715 3 394 394 652 1259 740 751 394 394 394 4 395 395 653 1260 741 752 1288 395 395 5 396 396 654 1261 742 753 1289 396 396 6 716 1036 1167 1262 1280 1286 1290 716 716 7 717 1037 1168 1263 1281 1287 1291 717 717 4 718 1038 657 1264 1282 718 762 718 718 5 719 1039 1169 1265 1283 719 1293 719 719 5 720 1040 661 1266 1284 1293 767 720 720 6 721 1041 1170 1267 1285 1294 1295 721 721 6 722 1042 666 1268 1286 1295 772 722 722 7 723 1043 1171 1269 1287 1296 1297 723 723 4 724 1044 668 1270 1288 770 724 724 724 5 725 1045 669 1271 1289 771 1299 725 725 6 726 1046 670 1272 1290 772 1300 726 726 7 727 1047 1172 1273 1291 1297 1301 727 727 8 728 1048 1173 1274 1292 1298 1302 728 728 2 8 8 19 8 8 8 31 8 8 3 729 729 325 729 729 729 1304 729 729 3 185 185 326 185 185 1304 85 185 185 4 730 1049 327 730 730 1305 1306 730 730 4 188 188 329 188 188 1306 391 188 188 5 731 1050 330 731 731 1307 1308 731 731 2 8 8 19 8 8 29 8 8 8 3 190 190 331 190 190 390 1310 190 190 4 191 191 332 191 191 391 1311 191 191 5 732 1051 1174 1275 732 1308 1312 732 732 6 733 1052 1175 1276 733 1309 1313 733 733 3 734 734 1176 734 1304 734 85 734 734 4 735 1053 1177 1277 1305 735 1315 735 735 4 736 1054 1178 736 1306 1315 748 736 736 5 737 1055 1179 1278 1307 1316 1317 737 737 5 738 1056 1180 738 1308 1317 753 738 738 6 739 1057 1181 1279 1309 1318 1319 739 739 3 740 740 1182 740 1310 751 740 740 740 4 741 741 1183 741 1311 752 1321 741 741 5 742 742 1184 742 1312 753 1322 742 742 6 743 1058 1185 1280 1313 1319 1323 743 743 7 744 1059 1186 1281 1314 1320 1324 744 744 2 84 84 151 84 84 84 8 84 84 3 85 85 152 85 85 85 1326 85 85 4 745 1060 1187 1282 1315 745 1327 745 745 5 746 1061 1188 1283 1316 746 1328 746 746 2 80 80 19 80 80 8 80 80 80 3 747 747 1189 747 747 1326 1330 747 747 4 748 748 1190 748 748 1327 1331 748 748 5 749 1062 1191 1284 1317 1328 1332 749 749 6 750 1063 1192 1285 1318 1329 1333 750 750 3 751 751 1193 751 751 1330 751 751 751 4 752 752 1194 752 752 1331 1335 752 752 5 753 753 1195 753 753 1332 1336 753 753 6 754 1064 1196 1286 1319 1333 1337 754 754 7 755 1065 1197 1287 1320 1334 1338 755 755 4 756 1066 1198 1288 1321 1335 756 756 756 5 757 1067 1199 1289 1322 1336 1340 757 757 6 758 1068 1200 1290 1323 1337 1341 758 758 7 759 1069 1201 1291 1324 1338 1342 759 759 8 760 1070 1202 1292 1325 1339 1343 760 760 2 0 0 1 0 8 0 0 0 0 3 761 761 659 761 1326 761 1345 761 761 4 762 762 660 762 1327 762 1346 762 762 5 763 1071 1203 1293 1328 763 1347 763 763 6 764 1072 1204 1294 1329 764 1348 764 764 3 765 765 1205 765 1330 1345 765 765 765 4 766 766 1206 766 1331 1346 1350 766 766 5 767 767 1207 767 1332 1347 1351 767 767 6 768 1073 1208 1295 1333 1348 1352 768 768 7 769 1074 1209 1296 1334 1349 1353 769 769 4 770 770 1210 770 1335 1350 770 770 770 5 771 771 1211 771 1336 1351 1355 771 771 6 772 772 1212 772 1337 1352 1356 772 772 7 773 1075 1213 1297 1338 1353 1357 773 773 8 774 1076 1214 1298 1339 1354 1358 774 774 5 775 1077 1215 1299 1340 1355 775 775 775 6 776 1078 1216 1300 1341 1356 1360 776 776 7 777 1079 1217 1301 1342 1357 1361 777 777 8 778 1080 1218 1302 1343 1358 1362 778 778 9 779 1081 1219 1303 1344 1359 1363 779 779

@TABLE n_states:9 neighborhood:Moore symmetries:permute

var a={0,1,2,3,4,5,6,7,8} var b={0,1,2,3,4,5,6,7,8} var c={0,1,2,3,4,5,6,7,8} var d={0,1,2,3,4,5,6,7,8} var e={0,1,2,3,4,5,6,7,8} var f={0,1,2,3,4,5,6,7,8} var g={0,1,2,3,4,5,6,7,8} var h={0,1,2,3,4,5,6,7,8}

var a1={0,2,3,4,5,6,7,8} var b1={0,2,3,4,5,6,7,8} var c1={0,2,3,4,5,6,7,8} var d1={0,2,3,4,5,6,7,8} var e1={0,2,3,4,5,6,7,8} var f1={0,2,3,4,5,6,7,8} var g1={0,2,3,4,5,6,7,8}

var a2={0,1,3,4,5,6,7,8} var b2={0,1,3,4,5,6,7,8} var c2={0,1,3,4,5,6,7,8} var d2={0,1,3,4,5,6,7,8} var e2={0,1,3,4,5,6,7,8} var f2={0,1,3,4,5,6,7,8} var g2={0,1,3,4,5,6,7,8}

var a3={0,1,2,4,5,6,7,8} var b3={0,1,2,4,5,6,7,8} var c3={0,1,2,4,5,6,7,8} var d3={0,1,2,4,5,6,7,8} var e3={0,1,2,4,5,6,7,8} var f3={0,1,2,4,5,6,7,8} var g3={0,1,2,4,5,6,7,8}

var a4={0,1,2,3,5,6,7,8} var b4={0,1,2,3,5,6,7,8} var c4={0,1,2,3,5,6,7,8} var d4={0,1,2,3,5,6,7,8} var e4={0,1,2,3,5,6,7,8} var f4={0,1,2,3,5,6,7,8} var g4={0,1,2,3,5,6,7,8}

var a5={0,1,2,3,4,6,7,8} var b5={0,1,2,3,4,6,7,8} var c5={0,1,2,3,4,6,7,8} var d5={0,1,2,3,4,6,7,8} var e5={0,1,2,3,4,6,7,8} var f5={0,1,2,3,4,6,7,8} var g5={0,1,2,3,4,6,7,8}

var a6={0,1,2,3,4,5,7,8} var b6={0,1,2,3,4,5,7,8} var c6={0,1,2,3,4,5,7,8} var d6={0,1,2,3,4,5,7,8} var e6={0,1,2,3,4,5,7,8} var f6={0,1,2,3,4,5,7,8} var g6={0,1,2,3,4,5,7,8}

0,6,6,a6,b6,c6,d6,e6,f6,1

0,5,a5,b5,c5,d5,e5,f5,g5,2 0,6,6,a6,b6,c6,d6,e6,f6,2

0,1,1,1,a1,b1,c1,d1,e1,3 0,6,6,6,a6,b6,c6,d6,e6,3

0,2,a2,b2,c2,d2,e2,f2,g2,4

0,3,3,3,a3,b3,c3,d3,e3,5 0,5,5,a5,b5,c5,d5,e5,f5,5

0,4,4,a4,b4,c4,d4,e4,f4,6

1,2,a,b,c,d,e,f,g,1 1,a,b,c,d,e,f,g,h,0

2,a,b,c,d,e,f,g,h,0

3,a,b,c,d,e,f,g,h,0

4,a,b,c,d,e,f,g,h,0

5,4,6,a,b,c,d,e,f,5 5,a,b,c,d,e,f,g,h,0

6,2,a,b,c,d,e,f,g,6 6,a,b,c,d,e,f,g,h,0

7,a,b,c,d,e,f,g,h,0

8,a,b,c,d,e,f,g,h,0