Rule:Novoloop

From LifeWiki
Jump to navigation Jump to search

@RULE Novoloop

https://conwaylife.com/forums/viewtopic.php?p=13475#p13475

@TREE

num_states=10 num_neighbors=8 num_nodes=1942 1 0 8 8 8 7 7 7 8 0 7 1 0 8 2 3 7 7 7 8 0 7 1 0 1 2 3 7 7 7 7 0 7 1 2 1 3 3 7 7 7 7 0 7 1 0 8 3 3 7 7 7 8 0 7 1 0 8 1 3 7 7 7 8 0 7 1 0 8 3 6 7 7 7 8 0 7 1 0 8 2 1 7 7 7 8 0 7 1 0 0 0 0 7 7 7 0 0 7 1 0 8 2 9 7 7 7 8 0 7 2 0 1 2 3 4 5 6 7 8 9 1 0 1 2 3 7 7 7 1 0 7 1 0 4 2 3 7 7 7 1 0 7 1 0 5 2 3 7 7 7 1 0 7 1 0 6 2 3 7 7 7 1 0 7 1 0 9 2 3 7 7 7 1 0 7 2 1 11 11 2 12 13 14 11 8 15 2 2 11 11 2 11 11 11 11 8 11 2 3 2 2 2 2 2 2 2 8 2 2 4 12 12 2 11 11 11 12 8 11 2 5 13 13 2 11 11 11 13 8 11 2 6 14 14 2 11 11 11 14 8 11 2 7 11 11 2 12 13 14 11 8 15 2 8 8 8 8 8 8 8 8 8 8 2 9 15 15 2 11 11 11 15 8 11 3 10 16 17 18 19 20 21 22 23 24 1 0 1 1 3 7 7 7 1 0 7 1 0 3 2 1 7 7 7 1 0 7 2 26 11 27 11 11 11 11 11 8 11 1 0 1 2 1 7 7 7 1 0 7 2 29 11 11 11 11 11 11 11 8 11 2 11 11 11 2 11 11 11 11 8 11 2 12 12 27 11 11 11 11 12 8 11 2 13 13 27 11 11 11 11 13 8 11 1 0 6 2 2 7 7 7 1 0 7 2 34 14 27 11 11 11 11 14 8 11 2 11 29 27 11 11 11 11 11 8 11 2 15 15 27 11 11 11 11 15 8 11 3 16 28 30 31 32 33 35 36 23 37 2 2 11 11 2 12 13 14 11 8 15 1 1 1 2 1 7 7 7 1 0 7 1 1 1 2 3 7 7 7 1 0 7 2 40 41 41 41 41 41 41 41 8 41 1 0 4 2 4 7 7 7 1 0 7 2 43 12 11 11 11 11 11 12 8 11 1 0 5 2 5 7 7 7 1 0 7 2 45 13 11 11 11 11 11 13 8 11 1 0 3 2 6 7 7 7 1 0 7 2 47 14 11 11 11 11 11 14 8 11 2 29 11 11 11 11 11 11 29 8 11 1 0 9 2 9 7 7 7 1 0 7 2 50 15 11 11 11 11 11 15 8 11 3 39 30 42 17 44 46 48 49 23 51 2 2 2 2 2 2 2 2 2 8 2 1 0 4 2 3 7 7 7 7 0 7 2 54 12 11 2 11 11 11 12 8 11 1 0 5 2 3 7 7 7 7 0 7 2 56 13 11 2 11 11 11 13 8 11 1 0 6 2 3 7 7 7 7 0 7 2 58 14 11 2 11 11 11 14 8 11 1 0 9 2 3 7 7 7 7 0 7 2 60 15 11 2 11 11 11 15 8 11 3 18 31 17 53 55 57 59 17 23 61 2 4 12 11 2 11 11 11 12 8 11 1 0 4 2 1 7 7 7 1 0 7 2 12 11 64 11 11 11 11 12 8 11 2 43 11 11 11 11 11 11 11 8 11 2 54 11 11 2 11 11 11 11 8 11 2 11 12 27 11 11 11 11 12 8 11 2 11 13 27 11 11 11 11 13 8 11 2 11 14 27 11 11 11 11 14 8 11 2 12 29 64 11 11 11 11 12 8 11 2 11 15 27 11 11 11 11 15 8 11 3 63 65 66 67 68 69 70 71 23 72 2 5 13 11 2 11 11 11 13 8 11 1 0 5 2 1 7 7 7 1 0 7 2 13 11 75 11 11 11 11 13 8 11 2 45 11 11 11 11 11 11 11 8 11 2 56 11 11 2 11 11 11 11 8 11 2 13 29 75 11 11 11 11 13 8 11 3 74 76 77 78 68 69 70 79 23 72 2 6 14 11 2 11 11 11 14 8 11 1 0 6 2 1 7 7 7 1 0 7 2 34 11 82 11 11 11 11 14 8 11 2 47 11 11 11 11 11 11 11 8 11 2 58 11 11 2 11 11 11 11 8 11 2 14 29 82 11 11 11 11 14 8 11 3 81 83 84 85 68 69 70 86 23 72 2 11 11 27 11 11 11 11 11 8 11 2 14 14 27 11 11 11 11 14 8 11 3 22 88 49 17 32 33 89 36 23 37 3 23 23 23 23 23 23 23 23 23 23 2 9 15 11 2 11 11 11 15 8 11 1 0 9 2 1 7 7 7 1 0 7 2 15 11 93 11 11 11 11 15 8 11 2 50 11 11 11 11 11 11 11 8 11 2 60 11 11 2 11 11 11 11 8 11 2 15 29 93 11 11 11 11 15 8 11 3 92 94 95 96 68 69 70 97 23 72 4 25 38 52 62 73 80 87 90 91 98 2 1 26 29 11 12 13 34 11 8 15 2 11 11 11 11 11 11 11 11 8 11 2 11 27 11 11 64 75 82 27 8 93 2 12 11 11 11 11 11 11 11 8 11 2 13 11 11 11 11 11 11 11 8 11 2 14 11 11 11 11 11 11 11 8 11 2 11 11 11 11 12 13 14 11 8 15 2 15 11 11 11 11 11 11 11 8 11 3 100 101 102 17 103 104 105 106 23 107 2 11 11 11 11 12 13 14 29 8 15 3 109 101 101 101 101 101 101 101 23 101 2 11 27 11 11 27 27 27 27 8 27 2 41 41 41 41 41 41 41 41 8 41 3 111 101 112 101 101 101 101 101 23 101 3 17 101 101 17 101 101 101 101 23 101 3 103 103 103 103 103 103 103 103 23 103 3 104 104 104 104 104 104 104 104 23 104 3 105 105 105 105 105 105 105 105 23 105 2 29 11 29 11 12 13 14 11 8 15 3 106 30 101 101 30 30 30 118 23 30 3 107 107 107 107 107 107 107 107 23 107 4 108 110 113 114 115 116 117 119 91 120 2 2 29 40 2 43 45 47 29 8 50 2 11 11 41 11 11 11 11 11 8 11 2 2 11 41 2 11 11 11 11 8 11 2 11 11 41 11 11 11 11 29 8 11 3 122 123 123 124 123 123 123 125 23 123 2 11 11 41 11 12 13 14 11 8 15 2 27 11 41 11 11 11 11 11 8 11 2 64 11 41 11 11 11 11 11 8 11 2 75 11 41 11 11 11 11 11 8 11 2 82 11 41 11 11 11 11 11 8 11 2 93 11 41 11 11 11 11 11 8 11 3 127 128 123 123 129 130 131 128 23 132 3 123 123 112 123 123 123 123 123 23 123 3 124 123 123 124 123 123 123 123 23 123 2 12 11 41 11 11 11 11 11 8 11 3 136 128 123 123 128 128 128 128 23 128 2 13 11 41 11 11 11 11 11 8 11 3 138 128 123 123 128 128 128 128 23 128 2 14 11 41 11 11 11 11 11 8 11 3 140 128 123 123 128 128 128 128 23 128 2 11 11 41 11 12 13 14 29 8 15 2 27 29 41 11 11 11 11 11 8 11 3 142 128 123 123 129 130 131 143 23 132 2 15 11 41 11 11 11 11 11 8 11 3 145 128 123 123 128 128 128 128 23 128 4 126 133 134 135 137 139 141 144 91 146 2 3 11 2 2 54 56 58 2 8 60 3 148 17 17 53 17 17 17 17 23 17 3 39 101 101 17 101 101 101 101 23 101 3 17 101 112 17 101 101 101 101 23 101 3 53 17 17 53 17 17 17 17 23 17 4 149 150 151 152 114 114 114 150 91 114 2 4 12 43 54 11 11 11 12 8 11 2 12 12 12 12 12 12 12 12 8 12 2 12 27 11 11 27 27 27 27 8 27 3 154 155 156 17 101 101 101 155 23 101 2 12 11 11 11 12 13 14 29 8 15 3 158 101 101 101 101 101 101 101 23 101 2 11 64 11 11 27 27 27 64 8 27 3 160 101 112 101 101 101 101 101 23 101 3 101 101 101 101 101 101 101 101 23 101 2 12 12 11 11 12 13 14 12 8 15 2 11 12 11 11 11 11 11 12 8 11 3 163 101 101 101 101 101 101 164 23 101 4 157 159 161 114 162 162 162 165 91 162 2 5 13 45 56 11 11 11 13 8 11 2 13 13 13 13 13 13 13 13 8 13 2 13 27 11 11 27 27 27 27 8 27 3 167 168 169 17 101 101 101 168 23 101 2 13 11 11 11 12 13 14 29 8 15 3 171 101 101 101 101 101 101 101 23 101 2 11 75 11 11 27 27 27 75 8 27 3 173 101 112 101 101 101 101 101 23 101 2 13 13 11 11 12 13 14 13 8 15 2 11 13 11 11 11 11 11 13 8 11 3 175 101 101 101 101 101 101 176 23 101 4 170 172 174 114 162 162 162 177 91 162 2 6 34 47 58 11 11 11 14 8 11 2 14 14 14 14 14 14 14 14 8 14 2 14 27 11 11 27 27 27 27 8 27 3 179 180 181 17 101 101 101 180 23 101 2 14 11 11 11 12 13 14 29 8 15 3 183 101 101 101 101 101 101 101 23 101 2 11 82 11 11 27 27 27 82 8 27 3 185 101 112 101 101 101 101 101 23 101 2 14 14 11 11 12 13 14 14 8 15 2 11 14 11 11 11 11 11 14 8 11 3 187 101 101 101 101 101 101 188 23 101 4 182 184 186 114 162 162 162 189 91 162 2 7 11 29 2 12 13 14 11 8 15 2 11 29 11 11 29 29 29 29 8 29 2 11 11 29 11 12 13 14 11 8 15 3 191 192 102 17 103 104 105 193 23 107 2 11 11 11 11 11 11 11 29 8 11 2 12 11 11 11 11 11 11 12 8 11 2 13 11 11 11 11 11 11 13 8 11 2 14 11 11 11 11 11 11 14 8 11 2 15 11 11 11 11 11 11 15 8 11 3 109 101 195 101 196 197 198 101 23 199 3 111 195 112 101 101 101 101 30 23 101 3 103 196 103 103 103 103 103 196 23 103 3 104 197 104 104 104 104 104 197 23 104 3 105 198 105 105 105 105 105 198 23 105 3 193 101 30 101 196 197 198 106 23 199 3 107 199 107 107 107 107 107 199 23 107 4 194 200 201 114 202 203 204 205 91 206 4 91 91 91 91 91 91 91 91 91 91 2 9 15 50 60 11 11 11 15 8 11 2 15 15 15 15 15 15 15 15 8 15 2 15 27 11 11 27 27 27 27 8 27 3 209 210 211 17 101 101 101 210 23 101 2 15 11 11 11 12 13 14 29 8 15 3 213 101 101 101 101 101 101 101 23 101 2 11 93 11 11 27 27 27 93 8 27 3 215 101 112 101 101 101 101 101 23 101 2 15 15 11 11 12 13 14 15 8 15 2 11 15 11 11 11 11 11 15 8 11 3 217 101 101 101 101 101 101 218 23 101 4 212 214 216 114 162 162 162 219 91 162 5 99 121 147 153 166 178 190 207 208 220 1 0 0 2 3 7 7 7 0 0 7 2 2 2 2 2 2 2 2 222 8 2 1 0 7 2 3 7 7 7 7 0 7 2 224 11 11 2 11 11 11 11 8 11 1 0 7 2 3 7 7 7 0 0 7 2 226 11 11 2 11 11 11 11 8 11 1 0 7 2 1 7 7 7 7 0 7 2 228 11 11 2 11 11 11 11 8 11 3 223 225 17 53 225 225 227 229 23 225 1 0 1 2 4 7 7 7 1 0 7 1 0 1 2 5 7 7 7 1 0 7 1 0 1 2 6 7 7 7 1 0 7 1 0 1 2 7 7 7 7 1 0 7 1 0 1 2 9 7 7 7 1 0 7 2 11 29 11 11 231 232 233 234 8 235 2 12 29 11 11 231 232 233 234 8 235 2 13 29 11 11 231 232 233 234 8 235 2 14 29 11 11 231 232 233 234 8 235 2 15 29 11 11 231 232 233 234 8 235 3 101 236 101 101 237 238 239 236 23 240 3 101 30 112 101 101 101 101 101 23 101 1 0 1 2 3 7 7 7 0 0 7 1 0 7 2 3 7 7 7 1 0 7 2 243 11 11 2 11 11 11 244 8 11 2 243 11 11 2 11 11 11 11 8 11 3 53 245 17 53 246 246 246 246 23 246 1 0 4 2 7 7 7 7 1 0 7 2 12 29 12 11 231 232 233 248 8 235 3 103 249 101 101 236 236 236 249 23 236 1 0 5 2 7 7 7 7 1 0 7 2 13 29 13 11 231 232 233 251 8 235 3 104 252 101 101 236 236 236 252 23 236 1 0 6 2 7 7 7 7 1 0 7 2 14 29 14 11 231 232 233 254 8 235 3 105 255 101 101 236 236 236 255 23 236 1 0 9 2 7 7 7 7 1 0 7 2 15 29 15 11 231 232 233 257 8 235 3 107 258 101 101 236 236 236 258 23 236 4 230 241 242 247 250 253 256 241 91 259 1 0 0 2 3 7 7 7 1 0 7 2 244 11 11 261 11 11 11 11 8 11 3 106 262 106 101 101 101 101 106 23 101 3 101 101 112 101 101 101 101 101 23 101 2 11 11 11 261 11 11 11 11 8 11 3 101 265 101 101 101 101 101 101 23 101 4 263 162 264 162 162 162 162 266 91 162 2 11 29 41 11 11 11 11 11 8 11 3 268 123 123 123 123 123 123 123 23 123 3 123 123 123 123 136 138 140 123 23 145 3 123 123 123 123 123 123 123 123 23 123 4 269 270 134 271 271 271 271 270 91 271 4 152 162 264 152 162 162 162 162 91 162 2 12 12 11 11 11 11 11 12 8 11 3 274 265 101 101 101 101 101 101 23 101 3 164 101 112 101 101 101 101 101 23 101 3 164 265 101 101 101 101 101 101 23 101 4 275 162 276 162 162 162 162 277 91 162 2 13 13 11 11 11 11 11 13 8 11 3 279 265 101 101 101 101 101 101 23 101 3 176 101 112 101 101 101 101 101 23 101 3 176 265 101 101 101 101 101 101 23 101 4 280 162 281 162 162 162 162 282 91 162 2 14 14 11 11 11 11 11 14 8 11 3 284 265 101 101 101 101 101 101 23 101 3 188 101 112 101 101 101 101 101 23 101 3 188 265 101 101 101 101 101 101 23 101 4 285 162 286 162 162 162 162 287 91 162 3 106 265 106 101 101 101 101 106 23 101 1 7 1 2 3 7 7 7 1 0 7 2 290 29 11 11 11 11 11 11 8 11 1 4 4 2 3 7 7 7 1 0 7 2 292 11 11 11 11 11 11 11 8 11 1 5 5 2 3 7 7 7 1 0 7 2 294 11 11 11 11 11 11 11 8 11 1 6 6 2 3 7 7 7 1 0 7 2 296 11 11 11 11 11 11 11 8 11 2 290 11 11 11 11 11 11 11 8 11 1 9 9 2 3 7 7 7 1 0 7 2 299 11 11 11 11 11 11 11 8 11 3 101 291 101 101 293 295 297 298 23 300 2 261 11 11 11 11 11 11 11 8 11 3 101 302 112 101 302 302 302 302 23 302 2 290 261 11 11 11 11 11 11 8 11 3 101 304 101 101 101 101 101 101 23 101 2 11 29 11 11 11 11 11 11 8 11 3 101 306 101 101 101 101 101 101 23 101 2 11 29 11 261 11 11 11 11 8 11 3 101 308 101 101 103 104 105 101 23 107 4 289 301 303 305 307 307 307 309 91 307 1 8 0 0 0 7 7 7 0 0 7 2 311 8 8 8 8 8 8 8 8 8 3 23 312 23 23 312 312 312 312 23 312 4 313 91 91 91 91 91 91 91 91 91 2 15 15 11 11 11 11 11 15 8 11 3 315 265 101 101 101 101 101 101 23 101 3 218 101 112 101 101 101 101 101 23 101 3 218 265 101 101 101 101 101 101 23 101 4 316 162 317 162 162 162 162 318 91 162 5 260 267 272 273 278 283 288 310 314 319 3 101 101 101 101 103 104 105 101 23 107 2 12 11 12 11 11 11 11 12 8 11 3 101 322 101 101 101 101 101 322 23 101 2 13 11 13 11 11 11 11 13 8 11 3 101 324 101 101 101 101 101 324 23 101 2 14 11 14 11 11 11 11 14 8 11 3 101 326 101 101 101 101 101 326 23 101 2 15 11 15 11 11 11 11 15 8 11 3 101 328 101 101 101 101 101 328 23 101 4 152 321 264 152 323 325 327 321 91 329 3 106 101 106 101 101 101 101 106 23 101 4 331 162 264 162 162 162 162 162 91 162 4 271 270 134 271 271 271 271 270 91 271 2 11 244 11 11 244 244 244 244 8 244 3 334 101 101 101 101 101 101 101 23 101 2 11 12 11 11 11 11 11 11 8 11 3 336 101 101 101 101 101 101 101 23 101 4 335 162 264 162 162 162 162 337 91 162 2 11 13 11 11 11 11 11 11 8 11 3 339 101 101 101 101 101 101 101 23 101 4 335 162 264 162 162 162 162 340 91 162 2 11 14 11 11 11 11 11 11 8 11 3 342 101 101 101 101 101 101 101 23 101 4 335 162 264 162 162 162 162 343 91 162 4 331 321 264 162 162 162 162 321 91 162 2 11 15 11 11 11 11 11 11 8 11 3 346 101 101 101 101 101 101 101 23 101 4 335 162 264 162 162 162 162 347 91 162 5 330 332 333 273 338 341 344 345 208 348 1 3 1 2 3 7 7 7 1 0 7 2 2 11 11 2 11 11 11 350 8 11 2 2 11 350 2 11 11 11 11 8 11 3 53 17 351 53 17 17 17 352 23 17 3 17 322 101 17 101 101 101 322 23 101 3 17 324 101 17 101 101 101 324 23 101 3 17 326 101 17 101 101 101 326 23 101 3 17 328 101 17 101 101 101 328 23 101 4 353 114 151 152 354 355 356 114 91 357 4 114 162 264 114 162 162 162 162 91 162 4 135 271 134 135 271 271 271 271 91 271 4 152 114 151 152 114 114 114 114 91 114 2 2 12 11 2 11 11 11 12 8 11 3 362 101 101 17 101 101 101 101 23 101 3 164 101 101 101 101 101 101 101 23 101 4 363 162 276 114 162 162 162 364 91 162 2 2 13 11 2 11 11 11 13 8 11 3 366 101 101 17 101 101 101 101 23 101 3 176 101 101 101 101 101 101 101 23 101 4 367 162 281 114 162 162 162 368 91 162 2 2 14 11 2 11 11 11 14 8 11 3 370 101 101 17 101 101 101 101 23 101 3 188 101 101 101 101 101 101 101 23 101 4 371 162 286 114 162 162 162 372 91 162 2 2 15 11 2 11 11 11 15 8 11 3 374 101 101 17 101 101 101 101 23 101 3 218 101 101 101 101 101 101 101 23 101 4 375 162 317 114 162 162 162 376 91 162 5 358 359 360 361 365 369 373 359 208 377 1 7 1 2 3 7 7 7 7 0 7 2 379 2 2 2 2 2 2 2 8 2 3 53 17 17 380 17 17 17 17 23 17 3 103 101 101 101 103 104 105 101 23 107 3 53 246 17 53 246 246 246 246 23 246 4 381 382 264 383 323 325 327 382 91 329 2 12 11 11 11 12 13 14 11 8 15 3 385 265 106 101 101 101 101 106 23 101 4 386 162 264 162 162 162 162 162 91 162 4 277 162 276 162 162 162 162 364 91 162 4 282 162 281 162 162 162 162 368 91 162 4 287 162 286 162 162 162 162 372 91 162 2 41 11 11 11 11 11 11 11 8 11 1 7 4 2 3 7 7 7 1 0 7 2 392 11 11 11 11 11 11 11 8 11 3 101 391 101 101 393 295 297 298 23 300 3 101 101 101 101 298 101 101 101 23 101 4 386 394 303 395 162 162 162 321 91 162 4 318 162 317 162 162 162 162 376 91 162 5 384 387 333 273 388 389 390 396 314 397 2 2 2 2 379 2 2 2 2 8 2 1 2 1 2 3 7 7 7 7 0 7 2 400 11 11 2 11 11 11 11 8 11 3 399 17 401 53 17 17 17 17 23 17 3 104 101 101 101 103 104 105 101 23 107 4 402 403 264 383 323 325 327 403 91 329 2 13 11 11 11 12 13 14 11 8 15 3 405 265 106 101 101 101 101 106 23 101 4 406 162 264 162 162 162 162 162 91 162 1 7 5 2 3 7 7 7 1 0 7 2 408 11 11 11 11 11 11 11 8 11 3 101 391 101 101 293 409 297 298 23 300 3 101 101 101 101 101 298 101 101 23 101 4 406 410 303 411 162 162 162 321 91 162 5 404 407 333 273 388 389 390 412 314 397 2 2 400 2 2 2 2 2 2 8 2 1 7 1 2 3 7 7 7 0 0 7 2 415 290 11 2 11 11 11 11 8 11 3 414 17 17 53 17 17 17 416 23 17 3 105 101 101 101 103 104 105 101 23 107 4 417 418 264 383 323 325 327 418 91 329 2 14 11 11 11 12 13 14 11 8 15 3 420 265 106 101 101 101 101 106 23 101 4 421 162 264 162 162 162 162 162 91 162 2 350 11 11 11 12 13 14 11 8 15 3 420 265 106 101 101 101 101 423 23 101 1 7 6 2 3 7 7 7 1 0 7 2 425 11 11 11 11 11 11 11 8 11 3 101 391 101 101 293 295 426 298 23 300 3 101 101 101 101 101 101 298 101 23 101 4 424 427 303 428 162 162 162 321 91 162 5 419 422 333 273 388 389 390 429 314 397 1 0 1 0 3 7 7 7 7 0 7 1 0 1 1 3 7 7 7 7 0 7 1 0 1 8 3 7 7 7 7 0 7 1 0 1 0 3 7 7 7 0 0 7 2 243 431 2 432 2 433 434 2 8 2 2 432 2 2 2 2 2 2 2 8 2 1 0 1 3 3 7 7 7 7 0 7 2 437 11 11 2 11 11 11 11 8 11 3 435 17 17 436 438 17 438 17 23 17 2 11 11 11 11 11 11 14 11 8 11 1 0 3 2 3 7 7 7 1 0 7 2 11 441 11 11 11 11 11 11 8 11 2 12 441 11 11 11 11 11 11 8 11 2 13 441 11 11 11 11 11 11 8 11 2 14 441 11 11 11 11 11 11 8 11 2 11 27 11 11 29 29 29 29 8 29 2 15 441 11 11 11 11 11 11 8 11 3 440 442 101 101 443 444 445 446 23 447 3 101 101 112 101 103 104 105 101 23 107 1 0 4 2 3 7 7 7 0 0 7 2 450 11 11 2 11 11 11 11 8 11 1 0 5 2 3 7 7 7 0 0 7 2 452 11 11 2 11 11 11 11 8 11 1 0 6 2 3 7 7 7 0 0 7 2 454 11 11 2 11 11 11 11 8 11 1 0 9 2 3 7 7 7 0 0 7 2 456 11 11 2 11 11 11 11 8 11 3 53 246 17 53 451 453 455 246 23 457 2 12 441 12 11 11 11 11 12 8 11 2 12 27 12 11 29 29 29 64 8 29 3 103 459 101 101 442 442 442 460 23 442 2 13 441 13 11 11 11 11 13 8 11 2 13 27 13 11 29 29 29 75 8 29 3 104 462 101 101 442 442 442 463 23 442 2 14 441 14 11 11 11 11 14 8 11 2 14 27 14 11 29 29 29 82 8 29 3 105 465 101 101 442 442 442 466 23 442 2 15 441 15 11 11 11 11 15 8 11 2 15 27 15 11 29 29 29 93 8 29 3 107 468 101 101 442 442 442 469 23 442 4 439 448 449 458 461 464 467 448 91 470 1 0 2 2 3 7 7 7 1 0 7 2 472 11 11 11 12 13 14 11 8 15 3 473 265 106 101 101 101 101 106 23 101 4 474 162 264 162 115 116 117 162 91 120 2 29 11 41 11 11 11 11 11 8 11 3 476 123 123 123 123 123 123 123 23 123 4 477 270 134 271 271 271 271 270 91 271 2 2 2 2 2 54 56 58 2 8 60 3 479 17 17 53 17 17 17 17 23 17 4 480 162 264 152 162 162 162 162 91 162 4 275 162 276 162 162 162 162 364 91 162 4 280 162 281 162 162 162 162 368 91 162 4 285 162 286 162 162 162 162 372 91 162 3 101 391 101 101 293 295 297 298 23 300 3 101 101 101 101 101 101 101 298 23 101 4 289 485 303 486 115 116 117 321 91 120 4 316 162 317 162 162 162 162 376 91 162 5 471 475 478 481 482 483 484 487 314 488 3 53 53 53 53 53 53 53 53 23 53 4 490 490 490 490 490 490 490 490 91 490 5 491 491 491 491 491 491 491 491 208 491 3 107 101 101 101 103 104 105 101 23 107 4 152 493 264 383 323 325 327 493 91 329 2 15 11 11 11 12 13 14 11 8 15 3 495 265 106 101 101 101 101 106 23 101 4 496 162 264 162 162 162 162 162 91 162 1 7 9 2 3 7 7 7 1 0 7 2 498 11 11 11 11 11 11 11 8 11 3 101 391 101 101 293 295 297 298 23 499 3 101 101 101 101 101 101 101 101 23 298 4 496 500 303 501 162 162 162 321 91 162 5 494 497 333 273 388 389 390 502 314 397 6 221 320 349 378 398 413 430 489 492 503 2 2 224 2 2 224 224 226 228 8 224 2 11 244 11 11 11 11 11 11 8 11 2 8 311 8 8 311 311 311 311 8 311 3 505 506 101 53 103 104 105 101 507 107 3 17 101 30 17 103 104 105 101 23 107 2 11 261 11 11 11 11 11 11 8 11 3 53 510 101 53 510 510 510 510 23 510 2 222 11 11 2 11 11 11 11 8 11 3 512 101 101 17 103 104 105 101 23 107 4 508 509 151 511 354 355 356 513 91 357 2 11 290 11 11 292 294 296 290 8 299 3 106 101 106 101 101 101 101 515 23 101 3 192 101 101 101 101 101 101 306 23 101 2 11 231 11 11 231 231 231 231 8 231 3 518 101 101 101 101 101 101 101 23 101 2 11 232 11 11 232 232 232 232 8 232 3 520 101 101 101 101 101 101 101 23 101 2 11 233 11 11 233 233 233 233 8 233 3 522 101 101 101 101 101 101 101 23 101 2 11 234 11 11 234 234 234 234 8 234 3 524 101 101 101 101 101 101 101 23 101 2 11 235 11 11 235 235 235 235 8 235 3 526 101 101 101 101 101 101 101 23 101 4 516 517 264 162 519 521 523 525 91 527 2 11 261 41 11 261 261 261 261 8 261 3 268 123 123 123 123 123 123 529 23 123 4 530 270 134 271 271 271 271 270 91 271 2 2 243 2 2 243 243 243 243 8 243 2 11 290 11 11 11 11 11 11 8 11 3 532 101 101 53 101 101 101 533 23 101 3 17 101 101 17 101 101 101 510 23 101 3 53 101 101 53 101 101 101 101 23 101 2 2 244 11 2 11 11 11 11 8 11 3 537 101 101 17 101 101 101 101 23 101 4 534 535 151 536 114 114 114 538 91 114 3 274 101 101 101 101 101 101 101 23 101 2 11 248 11 11 234 234 234 248 8 234 3 541 101 101 101 101 101 101 101 23 101 4 540 517 276 162 519 521 523 542 91 527 3 279 101 101 101 101 101 101 101 23 101 2 11 251 11 11 234 234 234 251 8 234 3 545 101 101 101 101 101 101 101 23 101 4 544 517 281 162 519 521 523 546 91 527 3 284 101 101 101 101 101 101 101 23 101 2 11 254 11 11 234 234 234 254 8 234 3 549 101 101 101 101 101 101 101 23 101 4 548 517 286 162 519 521 523 550 91 527 3 192 101 101 101 103 104 105 306 23 107 3 101 510 101 101 510 510 510 510 23 510 3 524 101 101 101 103 104 105 101 23 107 4 331 552 264 553 519 521 523 554 91 527 3 315 101 101 101 101 101 101 101 23 101 2 11 257 11 11 234 234 234 257 8 234 3 557 101 101 101 101 101 101 101 23 101 4 556 517 317 162 519 521 523 558 91 527 5 514 528 531 539 543 547 551 555 208 559 1 7 1 3 3 7 7 7 7 0 7 2 243 243 243 561 2 2 2 379 8 2 2 11 11 11 290 11 11 11 11 8 11 3 562 101 101 53 101 101 101 563 507 101 3 302 101 101 101 103 104 105 101 23 107 4 564 565 264 536 323 325 327 321 91 329 1 0 4 1 3 7 7 7 1 0 7 1 0 5 1 3 7 7 7 1 0 7 1 0 6 1 3 7 7 7 1 0 7 1 0 9 1 3 7 7 7 1 0 7 2 11 26 11 26 567 568 569 26 8 570 3 571 101 106 101 101 101 101 106 23 101 4 572 162 264 162 162 162 162 162 91 162 3 123 123 123 123 136 138 140 268 23 145 4 269 270 134 271 271 271 271 574 91 271 1 2 1 1 3 7 7 7 7 0 7 2 2 576 2 2 576 576 576 576 8 576 3 577 101 101 53 101 101 101 101 23 101 4 578 162 264 536 162 162 162 162 91 162 2 11 12 11 26 11 11 11 12 8 11 3 580 101 101 101 101 101 101 101 23 101 4 581 162 276 162 162 162 162 364 91 162 2 11 13 11 26 11 11 11 13 8 11 3 583 101 101 101 101 101 101 101 23 101 4 584 162 281 162 162 162 162 368 91 162 2 11 14 11 26 11 11 11 14 8 11 3 586 101 101 101 101 101 101 101 23 101 4 587 162 286 162 162 162 162 372 91 162 2 11 11 11 26 12 13 14 11 8 15 3 589 101 106 101 101 101 101 106 23 101 4 590 321 264 162 162 162 162 321 91 162 2 11 15 11 26 11 11 11 15 8 11 3 592 101 101 101 101 101 101 101 23 101 4 593 162 317 162 162 162 162 376 91 162 5 566 573 575 579 582 585 588 591 208 594 2 2 2 2 2 2 2 379 2 8 2 3 596 101 101 53 101 101 101 101 507 101 4 597 321 264 536 323 325 327 321 91 329 1 6 1 2 3 7 7 7 1 0 7 2 11 11 41 11 11 11 599 11 8 11 3 600 123 123 123 123 123 123 123 23 123 4 601 270 134 271 271 271 271 270 91 271 1 6 1 2 3 7 7 7 7 0 7 2 2 2 2 2 2 2 603 2 8 2 3 604 101 101 53 101 101 101 101 23 101 4 605 162 264 536 162 162 162 162 91 162 4 162 162 264 162 162 162 162 162 91 162 5 598 332 602 606 607 607 607 345 208 607 3 53 101 101 53 101 101 101 101 507 101 4 609 114 151 536 354 355 356 114 91 357 4 271 271 134 271 271 271 271 271 91 271 4 536 114 151 536 114 114 114 114 91 114 4 364 162 276 162 162 162 162 364 91 162 4 368 162 281 162 162 162 162 368 91 162 4 372 162 286 162 162 162 162 372 91 162 4 376 162 317 162 162 162 162 376 91 162 5 610 607 611 612 613 614 615 607 208 616 2 243 243 2 379 2 2 2 2 8 2 3 618 101 101 53 101 101 101 101 507 101 4 619 565 264 536 323 325 327 321 91 329 5 620 573 333 579 582 585 588 591 208 594 3 618 101 101 53 101 101 101 533 507 101 4 622 565 264 536 323 325 327 321 91 329 5 623 573 333 579 582 585 588 591 208 594 2 243 243 243 379 2 2 243 379 8 2 3 625 101 101 53 101 101 101 101 507 101 2 261 29 11 11 11 11 11 11 8 11 3 627 101 101 101 103 104 105 101 23 107 4 626 628 264 536 323 325 327 321 91 329 3 306 101 101 101 101 101 101 101 23 101 4 572 630 264 162 162 162 162 162 91 162 1 2 1 1 2 7 7 7 7 0 7 2 2 632 2 2 632 632 632 632 8 632 3 633 101 101 53 101 101 101 101 23 101 4 634 162 264 536 162 162 162 162 91 162 5 629 631 333 635 582 585 588 591 208 594 1 8 1 2 3 7 7 7 7 0 7 2 379 637 2 2 637 637 637 637 8 637 3 638 53 53 53 53 53 53 53 507 53 4 639 490 490 490 490 490 490 490 91 490 5 640 491 491 491 491 491 491 491 208 491 6 560 595 608 617 621 621 624 636 641 621 2 244 11 11 11 11 11 11 11 8 11 3 17 101 101 17 643 643 643 101 23 643 3 17 322 101 17 643 643 643 322 23 643 3 17 324 101 17 643 643 643 324 23 643 3 17 326 101 17 643 643 643 326 23 643 3 17 328 101 17 643 643 643 328 23 643 4 536 644 151 536 645 646 647 644 91 648 4 331 321 264 162 162 162 162 162 91 162 5 649 332 611 612 613 614 615 650 208 616 2 2 243 2 2 2 2 2 2 8 2 3 652 101 101 53 101 101 101 101 23 101 4 653 162 264 536 323 325 327 162 91 329 4 536 162 264 536 162 162 162 162 91 162 5 654 332 611 655 613 614 615 332 208 616 2 2 2 2 437 2 2 379 2 8 2 3 657 101 101 53 101 101 101 101 23 101 4 658 162 264 536 323 325 327 162 91 329 5 659 332 611 655 607 607 607 332 208 607 4 536 114 151 536 354 355 356 114 91 357 5 661 607 611 612 613 614 615 607 208 616 2 2 243 2 243 2 2 2 2 8 2 3 663 101 101 53 101 101 101 101 23 101 3 101 101 101 101 101 101 105 101 23 101 4 664 665 264 536 323 325 327 162 91 329 5 666 332 611 655 613 614 615 332 208 616 6 651 656 660 662 656 656 656 667 492 656 3 17 101 101 17 103 104 105 101 23 107 3 351 101 112 17 101 101 101 101 23 101 3 352 101 101 17 103 104 105 101 23 107 4 152 669 670 152 114 114 114 671 91 114 4 135 270 134 135 271 271 271 270 91 271 4 114 321 264 114 162 162 162 321 91 162 5 672 359 673 361 365 369 373 674 208 377 2 243 243 2 2 2 2 2 379 8 2 3 676 17 17 53 17 17 17 17 23 17 4 677 321 264 152 162 162 162 321 91 162 4 162 321 264 162 162 162 162 321 91 162 5 678 607 333 273 613 614 615 679 208 616 4 152 321 264 152 162 162 162 321 91 162 5 681 607 333 273 607 607 607 679 208 607 2 2 2 2 437 2 2 2 2 8 2 3 683 17 17 53 17 17 17 17 23 17 4 684 114 151 152 114 114 114 114 91 114 5 685 359 360 361 365 369 373 359 208 377 2 243 2 2 2 2 2 2 2 8 2 3 687 17 17 53 17 17 17 17 23 17 4 688 321 264 152 162 162 162 321 91 162 5 689 607 333 273 613 614 615 679 208 616 2 243 2 2 2 2 2 2 379 8 2 3 691 17 17 53 17 17 17 17 23 17 4 692 321 264 152 162 162 162 321 91 162 5 693 607 333 273 613 614 615 679 208 616 6 675 680 682 686 690 690 690 694 492 690 3 399 103 101 53 101 101 101 103 507 101 4 696 669 151 511 354 355 356 669 91 357 2 11 41 11 11 392 294 296 290 8 299 3 385 101 106 101 101 101 101 698 23 101 4 699 162 264 162 162 162 162 162 91 162 3 123 123 123 123 123 123 123 529 23 123 4 701 270 134 271 271 271 271 270 91 271 2 11 11 11 11 290 11 11 11 8 11 3 532 101 101 53 101 101 101 703 23 101 4 704 114 151 536 114 114 114 114 91 114 3 385 101 106 101 101 101 101 106 23 101 4 706 321 264 162 162 162 162 321 91 162 5 697 700 702 705 613 614 615 707 208 616 3 399 101 101 53 101 101 101 563 507 101 4 709 321 264 536 323 325 327 321 91 329 5 710 573 333 579 582 585 588 591 208 594 4 609 321 264 536 323 325 327 321 91 329 5 712 332 333 655 607 607 607 345 208 607 2 2 2 2 561 2 2 2 2 8 2 3 714 101 101 53 101 101 101 101 507 101 4 715 321 264 536 323 325 327 321 91 329 5 716 573 333 579 582 585 588 591 208 594 3 399 101 101 53 101 101 101 101 507 101 4 718 321 264 536 323 325 327 321 91 329 5 719 573 333 579 582 585 588 591 208 594 6 708 711 713 617 717 720 720 720 641 720 2 2 2 400 2 2 2 2 2 8 2 3 722 104 101 53 101 101 101 104 507 101 3 380 510 101 53 510 510 510 510 23 510 4 723 669 151 724 354 355 356 669 91 357 2 11 41 11 11 292 408 296 290 8 299 3 405 101 106 101 101 101 101 726 23 101 4 727 162 264 162 162 162 162 162 91 162 2 11 11 11 11 11 290 11 11 8 11 3 532 101 101 53 101 101 101 729 23 101 4 730 114 151 536 114 114 114 114 91 114 3 405 101 106 101 101 101 101 106 23 101 4 732 321 264 162 162 162 162 321 91 162 5 725 728 702 731 613 614 615 733 208 616 6 734 711 713 617 720 717 720 720 641 720 2 2 2 2 2 2 2 2 415 8 2 2 14 11 11 11 11 11 11 350 8 11 3 736 105 101 53 101 101 101 737 507 101 2 400 11 11 2 11 11 11 290 8 11 3 739 101 101 17 103 104 105 101 23 107 4 738 740 151 511 354 355 356 669 91 357 2 11 41 11 11 292 294 425 290 8 299 3 420 101 106 101 101 101 101 742 23 101 4 743 162 264 162 162 162 162 162 91 162 2 11 11 11 11 11 11 290 11 8 11 3 532 101 101 53 101 101 101 745 23 101 4 746 114 151 536 114 114 114 114 91 114 3 420 101 106 101 101 101 101 106 23 101 4 748 321 264 162 162 162 162 321 91 162 5 741 744 702 747 613 614 615 749 208 616 6 750 711 713 617 720 720 717 720 641 720 2 243 2 2 432 437 2 437 2 8 2 2 472 11 11 11 11 11 11 11 8 11 3 752 753 30 53 103 104 105 101 507 107 2 431 11 11 2 11 11 11 11 8 11 3 755 101 101 17 103 104 105 101 23 107 3 436 510 101 53 510 510 510 510 23 510 3 17 322 101 67 101 101 101 322 23 101 2 433 11 11 2 11 11 11 11 8 11 3 759 324 101 78 101 101 101 324 23 101 2 434 11 11 2 11 11 11 11 8 11 3 761 326 101 85 101 101 101 326 23 101 3 17 328 101 96 101 101 101 328 23 101 4 754 756 151 757 758 760 762 669 91 763 2 11 41 11 11 292 294 296 290 8 299 3 106 101 106 101 101 101 101 765 23 101 2 11 441 11 11 441 441 441 27 8 441 3 767 101 101 101 101 101 101 101 23 101 3 195 101 101 101 101 101 101 101 23 101 2 14 11 11 11 11 11 11 29 8 11 3 770 101 101 101 101 101 101 101 23 101 4 766 768 264 162 769 769 771 769 91 769 3 127 123 123 123 123 123 123 529 23 123 4 773 270 134 271 271 271 271 270 91 271 2 2 243 2 2 450 452 454 243 8 456 2 11 11 11 11 11 11 11 290 8 11 3 775 101 101 53 101 101 101 776 23 101 4 777 114 151 536 114 114 114 114 91 114 3 274 155 101 101 101 101 101 155 23 101 2 11 12 11 11 11 11 11 64 8 11 3 780 101 101 101 101 101 101 101 23 101 4 779 768 276 162 769 769 769 781 91 769 3 279 168 101 101 101 101 101 168 23 101 2 11 13 11 11 11 11 11 75 8 11 3 784 101 101 101 101 101 101 101 23 101 4 783 768 281 162 769 769 769 785 91 769 3 284 180 101 101 101 101 101 180 23 101 2 11 14 11 11 11 11 11 82 8 11 3 788 101 101 101 101 101 101 101 23 101 4 787 768 286 162 769 769 769 789 91 769 3 767 101 101 101 103 104 105 101 23 107 3 195 101 101 101 103 104 105 101 23 107 4 331 791 264 162 769 769 771 792 91 769 3 315 210 101 101 101 101 101 210 23 101 2 11 15 11 11 11 11 11 93 8 11 3 795 101 101 101 101 101 101 101 23 101 4 794 768 317 162 769 769 769 796 91 769 5 764 772 774 778 782 786 790 793 208 797 2 2 2 243 379 2 2 2 2 8 2 3 799 101 101 53 101 101 101 563 507 101 4 800 321 264 536 323 325 327 321 91 329 1 0 0 1 3 7 7 7 1 0 7 2 11 802 11 26 567 568 569 26 8 570 3 803 265 106 101 101 101 101 106 23 101 3 101 510 101 101 101 101 101 101 23 101 4 804 162 264 162 162 162 162 805 91 162 3 580 265 101 101 101 101 101 101 23 101 3 164 510 101 101 101 101 101 101 23 101 4 807 162 276 162 162 162 162 808 91 162 3 583 265 101 101 101 101 101 101 23 101 3 176 510 101 101 101 101 101 101 23 101 4 810 162 281 162 162 162 162 811 91 162 3 586 265 101 101 101 101 101 101 23 101 3 188 510 101 101 101 101 101 101 23 101 4 813 162 286 162 162 162 162 814 91 162 2 11 261 11 26 12 13 14 11 8 15 3 816 265 106 101 101 101 101 106 23 101 3 101 510 101 101 103 104 105 101 23 107 4 817 321 264 162 162 162 162 818 91 162 3 592 265 101 101 101 101 101 101 23 101 3 218 510 101 101 101 101 101 101 23 101 4 820 162 317 162 162 162 162 821 91 162 5 801 806 333 579 809 812 815 819 208 822 2 2 2 2 243 2 2 2 2 8 2 3 824 101 101 53 101 101 101 101 507 101 4 825 321 264 536 323 325 327 321 91 329 5 826 332 333 655 607 607 607 345 208 607 3 399 101 101 53 101 101 101 533 507 101 4 828 321 264 536 323 325 327 321 91 329 5 829 573 333 579 582 585 588 591 208 594 2 2 2 243 561 2 2 2 2 8 2 3 831 101 101 53 101 101 101 101 507 101 4 832 321 264 536 323 325 327 321 91 329 5 833 573 333 579 582 585 588 591 208 594 6 798 823 827 617 720 720 830 834 641 720 2 224 2 2 2 2 2 2 2 8 2 3 53 836 53 53 836 836 836 836 23 836 4 490 837 490 490 837 837 837 837 91 837 5 838 491 491 491 491 491 491 491 208 491 6 492 839 492 492 839 839 839 839 492 839 3 53 107 101 53 101 101 101 107 507 101 4 841 669 151 511 354 355 356 669 91 357 2 11 41 11 11 292 294 296 290 8 498 3 495 101 106 101 101 101 101 843 23 101 4 844 162 264 162 162 162 162 162 91 162 2 11 11 11 11 11 11 11 11 8 290 3 532 101 101 53 101 101 101 846 23 101 4 847 114 151 536 114 114 114 114 91 114 3 495 101 106 101 101 101 101 106 23 101 4 849 321 264 162 162 162 162 321 91 162 5 842 845 702 848 613 614 615 850 208 616 6 851 711 713 617 720 720 720 720 641 717 7 504 642 668 695 721 735 751 835 840 852 3 39 17 17 17 17 17 17 512 23 17 3 17 17 17 17 17 17 17 17 23 17 3 103 322 101 101 101 101 101 322 23 101 3 104 324 101 101 101 101 101 324 23 101 3 105 326 101 101 101 101 101 326 23 101 3 107 328 101 101 101 101 101 328 23 101 4 854 321 242 855 856 857 858 321 91 859 2 224 11 29 243 12 13 14 11 8 15 2 11 234 11 244 248 251 254 234 8 257 3 861 192 106 17 518 520 522 862 23 526 2 261 11 11 11 11 11 11 261 8 11 3 643 101 101 864 101 101 101 101 23 101 3 101 101 101 864 101 101 101 101 23 101 2 11 290 261 290 11 11 11 11 8 11 2 11 29 11 261 29 29 29 29 8 29 3 867 868 101 864 101 101 101 101 23 101 3 312 23 23 23 23 23 23 23 23 23 4 863 865 264 114 866 866 866 869 870 866 4 855 162 264 855 162 162 162 162 91 162 2 224 12 11 243 11 11 11 12 8 11 3 873 192 101 17 518 520 522 524 23 526 2 11 292 261 11 11 11 11 12 8 11 3 875 101 101 101 101 101 101 101 23 101 4 874 162 276 114 162 162 162 876 870 162 2 224 13 11 243 11 11 11 13 8 11 3 878 192 101 17 518 520 522 524 23 526 2 11 294 261 11 11 11 11 13 8 11 3 880 101 101 101 101 101 101 101 23 101 4 879 162 281 114 162 162 162 881 870 162 2 226 14 11 243 11 11 11 14 8 11 3 883 192 101 17 518 520 522 524 23 526 2 11 296 261 11 11 11 11 14 8 11 3 885 101 101 101 101 101 101 101 23 101 4 884 162 286 114 162 162 162 886 870 162 2 228 11 11 243 12 13 14 11 8 15 2 11 234 11 11 248 251 254 234 8 257 3 888 192 106 17 518 520 522 889 23 526 2 11 290 261 11 11 11 11 11 8 11 3 891 101 101 101 103 104 105 101 23 107 4 890 321 264 114 162 162 162 892 870 162 2 224 15 11 243 11 11 11 15 8 11 3 894 192 101 17 518 520 522 524 23 526 2 11 299 261 11 11 11 11 15 8 11 3 896 101 101 101 101 101 101 101 23 101 4 895 162 317 114 162 162 162 897 870 162 5 860 871 673 872 877 882 887 893 208 898 2 243 261 11 2 11 11 11 11 8 11 2 561 11 11 2 11 11 11 11 8 11 2 379 11 11 2 11 11 11 11 8 11 3 900 246 246 901 17 17 17 902 23 17 2 26 11 11 11 11 11 11 11 8 11 2 567 11 11 11 11 11 11 11 8 11 2 568 11 11 11 11 11 11 11 8 11 2 569 11 11 11 11 11 11 11 8 11 2 570 11 11 11 11 11 11 11 8 11 3 101 904 101 904 905 906 907 904 23 908 2 576 11 11 2 11 11 11 11 8 11 3 17 910 17 17 910 910 910 910 23 910 3 101 322 101 904 101 101 101 322 23 101 3 101 324 101 904 101 101 101 324 23 101 3 101 326 101 904 101 101 101 326 23 101 3 101 101 101 904 103 104 105 101 23 107 3 101 328 101 904 101 101 101 328 23 101 4 903 909 242 911 912 913 914 915 91 916 3 106 101 106 298 101 101 101 106 23 101 3 101 195 112 101 101 101 101 101 23 101 4 918 321 919 162 162 162 162 321 91 162 5 917 332 333 872 613 614 615 920 314 616 3 17 246 17 17 17 17 17 17 23 17 4 922 321 264 855 323 325 327 321 91 329 5 923 332 333 872 607 607 607 345 208 607 3 246 246 17 17 17 17 17 902 23 17 4 925 162 264 855 323 325 327 162 91 329 5 926 359 360 872 365 369 373 359 208 377 3 17 17 17 902 17 17 17 17 23 17 4 928 909 264 911 912 913 914 915 91 916 4 918 321 264 162 162 162 162 321 91 162 5 929 332 333 872 613 614 615 930 314 616 3 17 17 246 902 17 17 17 17 23 17 2 802 11 11 11 11 11 11 11 8 11 3 101 933 101 904 905 906 907 904 23 908 3 101 302 101 904 103 104 105 101 23 107 4 932 934 264 911 912 913 914 935 91 916 2 11 11 11 11 11 11 11 261 8 11 3 101 937 101 302 101 101 101 101 23 101 4 331 938 264 162 938 938 938 938 91 938 5 936 939 333 872 613 614 615 930 314 616 2 2 224 2 2 224 224 224 224 8 224 3 941 53 53 53 53 53 53 53 23 53 4 942 490 490 490 490 490 490 490 91 490 5 491 943 491 491 943 943 943 943 208 943 6 899 921 924 927 931 931 931 940 944 931 4 162 321 264 162 323 325 327 321 91 329 5 946 332 333 607 613 614 615 345 208 616 2 11 290 11 11 290 290 290 290 8 290 3 101 510 948 101 101 101 101 101 23 101 4 949 321 264 162 323 325 327 321 91 329 2 11 290 11 11 392 408 425 290 8 498 3 106 948 106 101 948 948 948 951 23 948 4 952 321 264 162 162 162 162 321 91 162 5 950 332 333 607 613 614 615 953 208 616 5 946 332 333 607 607 607 607 345 208 607 2 11 261 11 11 261 261 261 261 8 261 3 101 956 101 101 956 956 956 956 23 956 4 957 162 264 162 323 325 327 162 91 329 5 958 607 611 607 613 614 615 607 208 616 3 101 101 948 101 101 101 101 101 23 101 4 960 321 264 162 323 325 327 321 91 329 5 961 332 333 607 613 614 615 953 208 616 6 947 954 955 959 962 962 962 962 492 962 4 162 162 264 162 323 325 327 162 91 329 5 964 332 611 607 613 614 615 332 208 616 5 964 332 611 607 607 607 607 332 208 607 5 964 607 611 607 613 614 615 607 208 616 6 965 965 966 967 965 965 965 965 492 965 4 855 321 264 855 162 162 162 321 91 162 5 969 359 673 872 365 369 373 674 208 377 5 969 607 333 872 613 614 615 679 208 616 5 969 607 333 872 607 607 607 679 208 607 5 872 359 360 872 365 369 373 359 208 377 6 970 971 972 973 971 971 971 971 492 971 3 103 101 101 101 101 101 101 101 23 101 4 975 321 264 162 323 325 327 321 91 329 5 976 332 333 607 613 614 615 345 208 616 6 977 954 955 959 962 962 962 962 492 962 3 104 101 101 101 101 101 101 101 23 101 4 979 321 264 162 323 325 327 321 91 329 5 980 332 333 607 613 614 615 345 208 616 6 981 954 955 959 962 962 962 962 492 962 3 105 101 101 101 101 101 101 101 23 101 4 983 321 264 162 323 325 327 321 91 329 5 984 332 333 607 613 614 615 345 208 616 6 985 954 955 959 962 962 962 962 492 962 2 2 2 2 2 2 2 2 224 8 2 3 987 53 53 53 53 53 53 53 23 53 4 988 490 490 490 490 490 490 490 91 490 5 491 989 491 491 491 491 491 491 208 491 6 947 954 955 959 962 962 962 962 990 962 6 492 492 492 492 492 492 492 492 492 492 3 107 101 101 101 101 101 101 101 23 101 4 993 321 264 162 323 325 327 321 91 329 5 994 332 333 607 613 614 615 345 208 616 6 995 954 955 959 962 962 962 962 492 962 7 945 963 968 974 978 982 986 991 992 996 2 244 11 11 11 11 11 11 12 8 11 3 101 998 101 101 643 643 643 643 23 643 2 244 11 11 11 11 11 11 13 8 11 3 101 1000 101 101 643 643 643 643 23 643 2 244 11 11 11 11 11 11 14 8 11 3 101 1002 101 101 643 643 643 643 23 643 2 244 11 11 11 11 11 11 15 8 11 3 101 1004 101 101 643 643 643 643 23 643 4 855 321 264 855 999 1001 1003 321 91 1005 3 39 101 106 17 101 101 101 106 23 101 4 1007 162 264 114 162 162 162 162 91 162 4 1007 321 264 114 162 162 162 321 91 162 5 1006 1008 673 872 365 369 373 1009 208 377 3 17 17 17 17 17 17 902 17 23 17 2 599 11 11 11 11 11 11 11 8 11 3 101 101 112 101 101 101 1012 101 23 101 2 603 11 11 2 11 11 11 11 8 11 3 17 17 17 17 17 17 1014 17 23 17 4 1011 321 1013 1015 162 162 162 321 91 162 5 1016 332 333 872 613 614 615 345 314 616 3 17 17 17 438 17 17 902 17 23 17 4 1018 321 264 855 162 162 162 321 91 162 5 1019 332 333 872 607 607 607 345 208 607 5 969 332 333 872 613 614 615 345 314 616 3 17 17 17 246 17 17 17 17 23 17 4 1022 321 264 855 162 162 162 321 91 162 5 1023 332 333 872 613 614 615 345 314 616 6 1010 1017 1020 973 1021 1021 1021 1024 492 1021 5 679 332 333 607 613 614 615 345 208 616 5 679 332 333 607 607 607 607 345 208 607 5 607 607 611 607 613 614 615 607 208 616 6 1026 1026 1027 1028 1026 1026 1026 1026 492 1026 5 607 332 611 607 613 614 615 332 208 616 5 607 332 611 607 607 607 607 332 208 607 6 1030 1030 1031 1028 1030 1030 1030 1030 492 1030 3 101 101 101 533 101 101 101 101 23 101 4 1033 321 264 162 162 162 162 321 91 162 5 1034 332 333 607 613 614 615 345 208 616 6 1026 1035 1027 1028 1026 1026 1026 1026 492 1026 7 1025 1029 1032 974 1029 1029 1029 1036 992 1029 4 152 114 151 152 354 355 356 114 91 357 2 350 11 41 11 11 11 11 11 8 11 3 124 123 123 124 123 123 123 1039 23 123 4 1040 271 134 135 271 271 271 271 91 271 3 39 101 423 17 101 101 101 106 23 101 4 1042 162 264 114 162 162 162 162 91 162 5 1038 1008 1041 361 359 359 359 1043 208 359 4 152 162 264 152 323 325 327 162 91 329 5 1045 332 611 273 607 607 607 332 314 607 5 1045 332 611 273 607 607 607 332 208 607 2 437 2 2 2 2 2 2 2 8 2 3 53 17 17 1048 17 17 17 17 23 17 4 1049 114 151 152 354 355 356 114 91 357 5 1050 359 360 361 359 359 359 359 208 359 6 1044 1046 1047 1051 1046 1046 1046 1046 492 1046 5 661 332 611 612 607 607 607 332 208 607 3 53 510 948 53 101 101 101 101 23 101 4 1054 162 264 536 323 325 327 162 91 329 5 1055 332 611 655 607 607 607 332 208 607 4 536 162 264 536 323 325 327 162 91 329 5 1057 332 611 655 607 607 607 332 208 607 1 0 0 2 3 7 7 7 7 0 7 2 2 2 2 1059 2 2 2 2 8 2 3 53 101 101 1060 101 101 101 101 23 101 4 1061 114 151 536 354 355 356 114 91 357 5 1062 607 611 612 607 607 607 607 208 607 3 53 101 948 53 101 101 101 101 23 101 4 1064 162 264 536 323 325 327 162 91 329 5 1065 332 611 655 607 607 607 332 208 607 6 1053 1056 1058 1063 1066 1066 1066 1066 492 1066 5 661 607 611 612 607 607 607 607 208 607 6 1053 1058 1058 1068 1058 1058 1058 1058 492 1058 5 361 359 360 361 359 359 359 359 208 359 5 273 607 611 273 607 607 607 607 208 607 6 1070 1071 1071 1070 1071 1071 1071 1071 492 1071 6 1053 1066 1058 1068 1066 1066 1066 1066 492 1066 7 1052 1067 1069 1072 1073 1073 1073 1073 992 1073 3 362 17 17 17 17 17 17 17 23 17 4 1075 382 264 855 323 325 327 382 91 329 2 2 11 11 243 12 13 14 11 8 15 3 1077 101 106 17 101 101 101 106 23 101 3 101 101 101 302 101 101 101 101 23 101 2 11 41 261 11 11 11 11 11 8 11 3 1080 101 101 302 101 101 101 101 23 101 4 1078 1079 264 114 1079 1079 1079 1081 870 1079 3 902 17 17 17 17 17 17 17 23 17 4 1083 162 264 855 162 162 162 162 91 162 2 2 12 11 243 11 11 11 12 8 11 3 1085 101 101 17 101 101 101 101 23 101 2 11 392 261 290 11 11 11 12 8 11 3 1087 101 101 101 101 101 101 101 23 101 4 1086 162 276 114 162 162 162 1088 870 162 2 2 13 11 243 11 11 11 13 8 11 3 1090 101 101 17 101 101 101 101 23 101 4 1091 162 281 114 162 162 162 881 870 162 2 2 14 11 243 11 11 11 14 8 11 3 1093 101 101 17 101 101 101 101 23 101 4 1094 162 286 114 162 162 162 886 870 162 4 1078 321 264 114 162 162 162 892 870 162 2 2 15 11 243 11 11 11 15 8 11 3 1097 101 101 17 101 101 101 101 23 101 4 1098 162 317 114 162 162 162 897 870 162 5 1076 1082 673 1084 1089 1092 1095 1096 208 1099 3 900 246 17 902 17 17 17 17 23 17 4 1101 909 264 911 912 913 914 915 91 916 5 1102 332 333 872 613 614 615 345 314 616 3 246 17 17 17 17 17 17 17 23 17 4 1104 162 264 855 323 325 327 162 91 329 5 1105 359 360 872 365 369 373 359 208 377 3 17 17 17 901 17 17 17 17 23 17 4 1107 909 264 911 912 913 914 915 91 916 5 1108 332 333 872 613 614 615 345 314 616 5 929 332 333 872 613 614 615 345 314 616 6 1100 1103 924 1106 1109 1110 1110 1110 944 1110 4 805 321 264 162 323 325 327 321 91 329 5 1112 332 333 607 613 614 615 953 208 616 5 946 332 333 607 613 614 615 953 208 616 6 977 1113 955 959 1114 1114 1114 1114 492 1114 6 947 1113 955 959 1114 1114 1114 1114 492 1114 7 1111 1115 968 974 1116 1116 1116 1115 992 1116 3 366 17 17 902 17 17 17 17 23 17 4 1118 403 264 855 323 325 327 403 91 329 2 400 11 41 2 11 11 11 11 8 11 3 1120 123 123 124 123 123 123 123 23 123 4 1121 270 134 135 271 271 271 270 91 271 4 1086 162 276 114 162 162 162 876 870 162 2 11 408 261 290 11 11 11 13 8 11 3 1124 101 101 101 101 101 101 101 23 101 4 1091 162 281 114 162 162 162 1125 870 162 5 1119 1082 1122 872 1123 1126 1095 1096 208 1099 6 1127 1103 924 1106 1110 1109 1110 1110 944 1110 6 981 1113 955 959 1114 1114 1114 1114 492 1114 7 1128 1129 968 974 1116 1116 1116 1129 992 1116 3 370 401 17 17 17 17 17 17 23 17 4 1131 418 264 855 323 325 327 418 91 329 2 11 425 261 290 11 11 11 14 8 11 3 1133 101 101 101 101 101 101 101 23 101 4 1094 162 286 114 162 162 162 1134 870 162 2 415 11 11 243 12 13 14 11 8 15 3 1136 298 106 17 101 101 101 106 23 101 2 350 290 261 11 11 11 11 11 8 11 3 1138 101 101 101 103 104 105 101 23 107 4 1137 321 264 114 162 162 162 1139 870 162 5 1132 1082 673 872 1123 1092 1135 1140 208 1099 3 106 298 106 101 101 101 101 106 23 101 4 1142 321 264 162 162 162 162 321 91 162 5 1102 332 333 872 613 614 615 1143 314 616 5 929 332 333 872 613 614 615 1143 314 616 6 1141 1144 924 1106 1110 1110 1109 1145 944 1110 6 985 1113 955 959 1114 1114 1114 1114 492 1114 7 1146 1147 968 974 1116 1116 1116 1147 992 1116 2 243 11 11 2 12 13 14 11 8 15 2 432 11 11 2 11 11 11 11 8 11 2 434 14 11 2 11 11 11 14 8 11 3 1149 755 17 1150 17 759 1151 17 23 17 3 473 101 101 101 103 104 105 101 23 107 3 30 101 112 101 101 101 101 101 23 101 3 17 17 17 17 67 78 85 17 23 96 3 106 101 101 101 103 104 105 101 23 107 4 1152 1153 1154 1155 856 857 858 1156 91 859 2 11 441 11 11 441 441 441 441 8 441 3 1077 1158 106 17 101 101 101 106 23 101 3 106 101 101 302 101 101 101 101 23 101 2 11 41 261 11 12 13 14 11 8 15 3 1161 101 101 302 101 101 101 101 23 101 4 1159 1160 264 114 1079 1079 1079 1162 870 1079 3 127 123 123 123 136 138 140 123 23 145 4 135 1164 134 135 271 271 271 1164 91 271 3 1150 17 17 17 17 17 17 17 23 17 3 106 101 101 101 101 101 101 101 23 101 4 1166 1167 264 855 162 162 162 1167 91 162 2 437 12 12 450 11 11 11 12 8 11 3 1169 1158 101 17 101 101 101 101 23 101 2 11 292 261 11 12 13 14 12 8 15 3 1171 101 101 101 101 101 101 101 23 101 4 1170 1167 276 114 162 162 162 1172 870 162 2 2 13 13 452 11 11 11 13 8 11 3 1174 1158 101 17 101 101 101 101 23 101 2 11 294 261 11 12 13 14 13 8 15 3 1176 101 101 101 101 101 101 101 23 101 4 1175 1167 281 114 162 162 162 1177 870 162 2 437 14 14 454 11 11 11 14 8 11 3 1179 1158 101 17 101 101 101 101 23 101 2 11 296 261 11 12 13 14 14 8 15 3 1181 101 101 101 101 101 101 101 23 101 4 1180 1167 286 114 162 162 162 1182 870 162 2 11 29 11 11 64 75 82 29 8 93 3 1077 111 106 17 192 192 192 1184 23 192 2 11 290 261 290 12 13 14 11 8 15 3 1186 101 101 101 103 104 105 101 23 107 4 1185 1156 264 114 162 162 162 1187 870 162 2 2 15 15 456 11 11 11 15 8 11 3 1189 1158 101 17 101 101 101 101 23 101 2 11 299 261 11 12 13 14 15 8 15 3 1191 101 101 101 101 101 101 101 23 101 4 1190 1167 317 114 162 162 162 1192 870 162 5 1157 1163 1165 1168 1173 1178 1183 1188 208 1193 2 243 29 11 2 11 11 11 11 8 11 3 900 1195 246 902 17 17 246 902 23 17 2 26 29 11 11 11 11 11 11 8 11 3 101 1197 101 904 905 906 907 904 23 908 2 632 11 11 2 11 11 11 11 8 11 3 17 1199 17 17 1199 1199 1199 1199 23 1199 4 1196 1198 264 1200 912 913 914 915 91 916 5 1201 332 333 872 613 614 615 345 314 616 3 17 246 17 246 17 17 17 17 23 17 4 1203 321 264 855 323 325 327 321 91 329 4 343 162 264 162 162 162 162 162 91 162 5 1204 332 333 872 607 607 1205 345 208 607 3 246 17 17 17 17 17 17 902 23 17 4 1207 162 264 855 323 325 327 162 91 329 5 1208 359 360 872 365 369 373 359 208 377 3 17 17 246 901 17 17 17 17 23 17 4 1210 909 264 911 912 913 914 915 91 916 5 1211 332 333 872 613 614 615 345 314 616 6 1194 1202 1206 1209 1110 1110 1110 1212 944 1110 6 995 1113 955 959 1114 1114 1114 1114 492 1114 7 1213 1116 968 974 1115 1129 1147 1116 992 1214 2 637 2 2 2 2 2 2 2 8 2 3 380 1216 53 53 1216 1216 1216 1216 23 1216 4 1217 490 490 490 490 490 490 490 91 490 5 1218 491 491 491 491 491 491 491 314 491 6 492 1219 492 492 1219 1219 1219 1219 492 1219 7 1220 992 992 992 992 992 992 992 992 992 3 374 17 17 17 17 17 17 17 23 17 4 1222 493 264 855 323 325 327 493 91 329 2 11 498 261 290 11 11 11 15 8 11 3 1224 101 101 101 101 101 101 101 23 101 4 1098 162 317 114 162 162 162 1225 870 162 5 1223 1082 673 872 1123 1092 1095 1096 208 1226 6 1227 1103 924 1106 1110 1110 1110 1110 944 1109 7 1228 1214 968 974 1116 1116 1116 1214 992 1116 8 853 997 1037 1074 1117 1130 1148 1215 1221 1229 3 39 101 101 17 103 104 105 101 23 107 2 224 244 11 2 11 11 11 11 311 11 2 29 11 11 11 11 11 11 261 8 11 2 243 11 11 2 11 11 11 290 8 11 3 1232 776 1233 1234 103 104 105 101 23 107 2 224 11 11 2 11 11 11 11 311 11 2 12 11 12 11 11 11 11 292 8 11 3 1236 1237 937 246 101 101 101 322 23 101 2 13 11 13 11 11 11 11 294 8 11 3 1236 1239 937 246 101 101 101 324 23 101 2 226 11 11 2 11 11 11 11 311 11 2 14 11 14 11 11 11 11 296 8 11 3 1241 1242 937 246 101 101 101 326 23 101 2 228 11 11 2 11 11 11 11 311 11 3 1244 776 937 246 103 104 105 101 23 107 2 15 11 15 11 11 11 11 299 8 11 3 1236 1246 937 246 101 101 101 328 23 101 4 1231 1235 151 114 1238 1240 1243 1245 91 1247 2 2 11 29 2 12 13 14 11 8 15 3 1249 101 106 17 101 101 101 106 23 101 3 101 49 101 937 49 49 49 49 23 49 3 101 30 101 101 30 30 30 30 23 30 4 1250 1251 264 114 1252 1252 1252 1252 91 1252 2 2 261 11 2 261 261 261 261 8 261 3 1254 101 101 17 101 101 101 956 23 101 4 114 1255 151 114 114 114 114 114 91 114 2 231 11 11 11 11 11 11 11 8 11 3 101 1257 101 101 1257 1257 1257 1257 23 1257 3 164 1257 101 101 1257 1257 1257 1257 23 1257 4 363 1258 276 114 1258 1258 1258 1259 91 1258 2 232 11 11 11 11 11 11 11 8 11 3 101 1261 101 101 1261 1261 1261 1261 23 1261 3 176 1261 101 101 1261 1261 1261 1261 23 1261 4 367 1262 281 114 1262 1262 1262 1263 91 1262 2 233 11 11 11 11 11 11 11 8 11 3 101 1265 101 101 1265 1265 1265 1265 23 1265 3 188 1265 101 101 1265 1265 1265 1265 23 1265 4 371 1266 286 114 1266 1266 1266 1267 91 1266 2 222 11 11 2 12 13 14 11 8 15 3 1269 101 106 17 101 101 101 106 23 101 2 234 11 11 11 11 11 11 11 8 11 2 248 11 11 11 11 11 11 11 8 11 2 251 11 11 11 11 11 11 11 8 11 2 254 11 11 11 11 11 11 11 8 11 2 257 11 11 11 11 11 11 11 8 11 3 101 1271 101 643 1272 1273 1274 1271 23 1275 3 101 1271 101 101 1271 1271 1271 1271 23 1271 3 101 1271 101 101 1272 1273 1274 1271 23 1275 4 1270 1276 264 114 1277 1277 1277 1278 91 1277 2 235 11 11 11 11 11 11 11 8 11 3 101 1280 101 101 1280 1280 1280 1280 23 1280 3 218 1280 101 101 1280 1280 1280 1280 23 1280 4 375 1281 317 114 1281 1281 1281 1282 91 1281 5 1248 1253 673 1256 1260 1264 1268 1279 208 1283 4 114 114 151 114 354 355 356 114 91 357 4 114 114 151 114 114 114 114 114 91 114 5 1285 359 360 1286 365 369 373 359 208 377 6 1284 947 955 1287 977 981 985 947 492 995 3 246 101 101 17 101 101 101 101 23 101 2 243 11 11 2 11 11 11 11 311 11 3 1290 904 30 910 103 104 105 101 23 107 3 246 101 112 17 101 101 101 101 23 101 2 561 11 11 2 11 11 11 290 8 11 3 1293 904 101 17 904 904 904 904 23 904 2 2 11 11 2 11 11 11 11 311 11 2 567 11 12 11 11 11 11 12 8 11 3 1295 1296 101 910 101 101 101 322 23 101 2 568 11 13 11 11 11 11 13 8 11 3 1295 1298 101 910 101 101 101 324 23 101 2 569 11 14 11 11 11 11 14 8 11 3 1295 1300 101 910 101 101 101 326 23 101 2 379 11 11 2 11 11 11 11 311 11 3 1302 904 101 910 103 104 105 101 23 107 2 570 11 15 11 11 11 11 15 8 11 3 1295 1304 101 910 101 101 101 328 23 101 4 1289 1291 1292 1294 1297 1299 1301 1303 91 1305 2 261 11 11 11 12 13 14 11 8 15 3 1307 101 106 101 101 101 101 106 23 101 4 1308 162 264 162 162 162 162 162 91 162 3 101 101 195 101 103 104 105 101 23 107 4 331 1310 264 162 162 162 162 321 91 162 5 1306 1309 333 1286 613 614 615 1311 208 616 2 11 261 290 11 11 11 11 11 8 11 3 1313 101 101 101 103 104 105 948 23 107 2 11 11 290 11 11 11 11 11 8 11 2 12 290 12 11 290 290 290 392 8 290 3 1315 322 101 101 101 101 101 1316 23 101 2 13 290 13 11 290 290 290 408 8 290 3 1315 324 101 101 101 101 101 1318 23 101 2 14 290 14 11 290 290 290 425 8 290 3 1315 326 101 101 101 101 101 1320 23 101 3 1315 101 101 101 103 104 105 948 23 107 2 15 290 15 11 290 290 290 498 8 290 3 1315 328 101 101 101 101 101 1323 23 101 4 162 1314 264 162 1317 1319 1321 1322 91 1324 5 1325 332 333 607 613 614 615 345 208 616 2 2 261 290 2 11 11 11 11 8 11 3 1327 101 101 17 101 101 101 101 23 101 2 2 11 290 2 11 11 11 11 8 11 3 1329 322 101 17 101 101 101 322 23 101 3 1329 324 101 17 101 101 101 324 23 101 3 1329 326 101 17 101 101 101 326 23 101 3 1329 101 101 17 101 101 101 101 23 101 3 1329 328 101 17 101 101 101 328 23 101 4 114 1328 151 114 1330 1331 1332 1333 91 1334 5 1335 607 611 1286 613 614 615 607 208 616 3 510 101 101 101 103 104 105 948 23 107 3 101 322 101 101 101 101 101 1316 23 101 3 101 324 101 101 101 101 101 1318 23 101 3 101 326 101 101 101 101 101 1320 23 101 3 101 101 101 101 103 104 105 948 23 107 3 101 328 101 101 101 101 101 1323 23 101 4 162 1337 264 162 1338 1339 1340 1341 91 1342 5 1343 332 333 607 613 614 615 345 208 616 6 1312 1326 955 1336 1344 1344 1344 1344 492 1344 3 1295 101 101 17 101 101 101 101 23 101 3 1295 322 101 17 101 101 101 322 23 101 3 1295 324 101 17 101 101 101 324 23 101 3 1302 326 1012 1014 101 101 101 326 23 101 3 1295 328 101 17 101 101 101 328 23 101 4 114 1346 151 114 1347 1348 1349 1346 91 1350 5 1351 332 611 1286 613 614 615 332 208 616 5 1285 607 611 1286 613 614 615 607 208 616 6 1352 965 966 1353 965 965 965 965 492 965 3 1295 101 101 17 103 104 105 101 23 107 4 114 1355 151 114 1346 1346 1346 1355 91 1346 5 1356 359 673 1286 365 369 373 674 208 377 3 956 101 101 101 103 104 105 101 23 107 3 956 101 101 101 101 101 101 101 23 101 4 162 1358 264 162 1359 1359 1359 1358 91 1359 5 1360 607 333 607 613 614 615 679 208 616 5 679 607 333 607 607 607 607 679 208 607 2 2 11 11 1059 11 11 11 11 8 11 3 1363 101 101 17 101 101 101 101 23 101 4 114 114 151 1364 114 114 114 114 91 114 5 1365 359 360 1286 365 369 373 359 208 377 6 1357 1361 1362 1366 1361 1361 1361 1361 492 1361 3 1290 904 101 910 103 104 105 101 23 107 3 902 904 101 17 904 904 904 904 23 904 3 1295 904 101 910 103 104 105 101 23 107 4 1289 1368 151 1369 1297 1299 1301 1370 91 1305 5 1371 1309 333 1286 613 614 615 345 208 616 4 162 1322 264 162 1317 1319 1321 1322 91 1324 5 1373 332 333 607 613 614 615 345 208 616 4 114 1333 151 114 1330 1331 1332 1333 91 1334 5 1375 607 611 1286 613 614 615 607 208 616 4 162 1341 264 162 1338 1339 1340 1341 91 1342 5 1377 332 333 607 613 614 615 345 208 616 6 1372 1374 955 1376 1378 1378 1378 1378 492 1378 2 243 11 11 2 11 11 11 290 311 11 3 1380 904 101 910 103 104 105 101 23 107 4 1289 1381 151 1369 1297 1299 1301 1370 91 1305 5 1382 1309 333 1286 613 614 615 345 208 616 6 1383 1374 955 1376 1378 1378 1378 1378 492 1378 3 1290 904 101 1199 103 104 105 101 23 107 3 1295 1296 101 1199 101 101 101 322 23 101 3 1295 1298 101 1199 101 101 101 324 23 101 3 1290 1300 101 1199 101 101 101 326 23 101 3 1302 904 101 1199 103 104 105 101 23 107 3 1295 1304 101 1199 101 101 101 328 23 101 4 1289 1385 1292 1369 1386 1387 1388 1389 91 1390 3 30 30 101 101 101 101 101 101 23 101 4 1308 1392 264 162 162 162 162 162 91 162 5 1391 1393 333 1286 613 614 615 345 208 616 6 1394 1374 955 1376 1378 1378 1378 1378 492 1378 3 380 53 53 53 53 53 53 53 23 53 2 637 2 2 2 2 2 2 2 311 2 3 1397 53 53 53 53 53 53 53 23 53 4 1396 1398 490 490 1398 1398 1398 1398 91 1398 5 1399 491 491 491 491 491 491 491 208 491 6 1400 492 492 492 492 492 492 492 492 492 7 1288 1345 1354 1367 1379 1379 1384 1395 1401 1379 3 246 302 101 17 101 101 101 101 23 101 4 1403 321 264 114 323 325 327 321 91 329 2 243 26 29 576 12 13 14 11 8 15 3 1405 101 106 17 101 101 101 106 23 101 2 11 11 29 11 11 11 11 11 8 11 3 101 101 101 101 101 101 101 1407 23 101 4 1406 162 264 114 162 162 162 1408 870 162 2 243 11 41 2 11 11 11 11 8 11 3 1410 123 123 124 123 123 123 123 23 123 4 1411 270 134 135 271 271 271 270 91 271 2 561 26 11 2 26 26 26 26 8 26 3 1413 101 101 17 101 101 101 101 23 101 3 298 101 101 101 101 101 101 101 23 101 4 1414 162 264 114 162 162 162 1415 91 162 2 2 567 11 576 11 11 11 12 8 11 3 1417 101 101 17 101 101 101 101 23 101 4 1418 162 276 114 162 162 162 364 870 162 2 2 568 11 576 11 11 11 13 8 11 3 1420 101 101 17 101 101 101 101 23 101 4 1421 162 281 114 162 162 162 368 870 162 2 2 569 11 576 11 11 11 14 8 11 3 1423 101 101 17 101 101 101 101 23 101 4 1424 162 286 114 162 162 162 372 870 162 2 379 26 11 576 12 13 14 11 8 15 3 1426 101 106 17 101 101 101 106 23 101 4 1427 321 264 114 162 162 162 321 870 162 2 2 570 11 576 11 11 11 15 8 11 3 1429 101 101 17 101 101 101 101 23 101 4 1430 162 317 114 162 162 162 376 870 162 5 1404 1409 1412 1416 1419 1422 1425 1428 208 1431 3 106 302 106 101 101 101 101 106 23 101 3 101 298 101 101 298 298 298 298 23 298 4 1433 162 264 162 162 162 162 1434 91 162 2 290 11 41 11 11 11 11 11 8 11 3 123 1436 123 123 1436 1436 1436 1436 23 1436 4 1437 270 134 271 271 271 271 270 91 271 3 164 298 101 101 298 298 298 298 23 298 4 364 162 276 162 162 162 162 1439 91 162 3 176 298 101 101 298 298 298 298 23 298 4 368 162 281 162 162 162 162 1441 91 162 3 188 298 101 101 298 298 298 298 23 298 4 372 162 286 162 162 162 162 1443 91 162 3 101 298 101 101 393 409 426 298 23 499 4 331 321 264 162 162 162 162 1445 91 162 3 218 298 101 101 298 298 298 298 23 298 4 376 162 317 162 162 162 162 1447 91 162 5 946 1435 1438 607 1440 1442 1444 1446 208 1448 4 114 162 264 114 323 325 327 162 91 329 5 1450 359 360 359 365 369 373 359 208 377 6 1432 1449 955 1451 1449 1449 1449 1449 492 1449 2 261 11 11 11 11 11 11 290 8 11 3 1453 101 101 101 101 101 101 101 23 101 3 298 101 112 101 101 101 101 101 23 101 3 776 101 101 101 101 101 101 101 23 101 4 331 1454 1455 162 1456 1456 1456 1456 91 1456 2 290 12 11 11 11 11 11 12 8 11 3 1458 101 112 101 101 101 101 101 23 101 2 11 12 11 11 11 11 11 392 8 11 3 1460 101 101 101 101 101 101 101 23 101 4 364 1456 1459 162 1456 1456 1456 1461 91 1456 2 290 13 11 11 11 11 11 13 8 11 3 1463 101 112 101 101 101 101 101 23 101 2 11 13 11 11 11 11 11 408 8 11 3 1465 101 101 101 101 101 101 101 23 101 4 368 1456 1464 162 1456 1456 1456 1466 91 1456 2 290 14 11 11 11 11 11 14 8 11 3 1468 101 112 101 101 101 101 101 23 101 2 11 14 11 11 11 11 11 425 8 11 3 1470 101 101 101 101 101 101 101 23 101 4 372 1456 1469 162 1456 1456 1456 1471 91 1456 3 776 101 101 101 103 104 105 101 23 107 4 331 1473 1455 162 1456 1456 1456 1473 91 1456 2 290 15 11 11 11 11 11 15 8 11 3 1475 101 112 101 101 101 101 101 23 101 2 11 15 11 11 11 11 11 498 8 11 3 1477 101 101 101 101 101 101 101 23 101 4 376 1456 1476 162 1456 1456 1456 1478 91 1456 5 946 1457 333 607 1462 1467 1472 1474 208 1479 6 1480 947 955 967 947 947 947 947 492 947 3 302 101 101 101 101 101 101 101 23 101 4 114 1482 1455 114 162 162 162 162 91 162 4 363 162 1459 114 162 162 162 364 91 162 4 367 162 1464 114 162 162 162 368 91 162 4 371 162 1469 114 162 162 162 372 91 162 4 114 321 1455 114 162 162 162 321 91 162 4 375 162 1476 114 162 162 162 376 91 162 5 674 1483 673 359 1484 1485 1486 1487 208 1488 5 679 607 333 607 613 614 615 679 208 616 5 359 359 360 359 365 369 373 359 208 377 6 1489 1490 1362 1491 1490 1490 1490 1490 492 1490 4 331 1454 264 162 1456 1456 1456 1456 91 1456 4 364 1456 276 162 1456 1456 1456 1461 91 1456 4 368 1456 281 162 1456 1456 1456 1466 91 1456 4 372 1456 286 162 1456 1456 1456 1471 91 1456 4 331 1473 264 162 1456 1456 1456 1473 91 1456 4 376 1456 317 162 1456 1456 1456 1478 91 1456 5 946 1493 333 607 1494 1495 1496 1497 208 1498 6 1499 947 955 967 947 947 947 947 492 947 7 1452 1481 968 1492 1500 1500 1500 1500 992 1500 3 1149 101 106 17 101 101 101 106 23 101 4 1502 162 264 114 162 162 162 162 91 162 5 674 1503 673 359 365 369 373 1009 208 377 6 1504 1026 1027 1491 1026 1026 1026 1026 492 1026 5 674 359 673 359 365 369 373 674 208 377 6 1506 1490 1362 1491 1490 1490 1490 1490 492 1490 7 1505 1029 1032 1507 1029 1029 1029 1029 992 1029 4 1289 114 151 114 354 355 356 114 91 357 2 379 11 11 2 12 13 14 11 8 15 3 1510 101 106 17 101 101 101 106 23 101 4 1511 162 264 114 162 162 162 162 91 162 5 1509 1503 360 1286 359 359 359 1512 208 359 3 106 302 106 101 302 302 302 1307 23 302 4 1514 162 264 162 162 162 162 162 91 162 3 101 302 101 101 302 302 302 302 23 302 4 1516 162 264 162 162 162 162 162 91 162 5 964 1515 611 607 1517 1517 1517 1515 208 1517 5 1285 359 360 1286 359 359 359 359 208 359 6 1513 1518 966 1519 1518 1518 1518 1518 492 1518 5 1285 332 611 1286 607 607 607 332 208 607 5 1285 607 611 1286 607 607 607 607 208 607 6 1521 966 966 1522 966 966 966 966 492 966 5 1286 359 360 1286 359 359 359 359 208 359 5 607 607 611 607 607 607 607 607 208 607 6 1524 1525 1525 1524 1525 1525 1525 1525 492 1525 7 1520 1523 1523 1526 1523 1523 1523 1523 992 1523 4 114 321 264 114 323 325 327 321 91 329 2 2 26 11 576 12 13 14 11 8 15 3 1529 101 106 17 101 101 101 106 23 101 4 1530 162 264 114 162 162 162 162 870 162 2 379 26 11 2 26 26 26 26 8 26 3 1532 101 101 17 101 101 101 101 23 101 4 1533 162 264 114 162 162 162 1415 91 162 4 1530 321 264 114 162 162 162 321 870 162 5 1528 1531 673 1534 1419 1422 1425 1535 208 1431 4 331 162 264 162 162 162 162 1434 91 162 5 946 1537 1438 607 1440 1442 1444 1446 208 1448 6 1536 1538 955 1451 1538 1538 1538 1538 492 1538 4 114 162 1455 114 162 162 162 162 91 162 5 674 1540 673 359 1484 1485 1486 1487 208 1488 6 1541 1490 1362 1491 1490 1490 1490 1490 492 1490 7 1539 1481 968 1542 1500 1500 1500 1500 992 1500 2 2 802 11 576 12 13 14 261 8 15 3 1544 101 106 17 101 101 101 106 23 101 3 101 101 101 101 101 101 101 956 23 101 4 1545 1546 264 114 162 162 162 162 870 162 4 1533 1359 264 114 162 162 162 1415 91 162 5 1528 1547 1412 1548 1419 1422 1425 1535 208 1431 6 1549 1538 955 1451 1538 1538 1538 1538 492 1538 4 331 162 264 1415 162 162 162 162 91 162 5 964 1551 611 607 613 614 615 332 208 616 6 1552 965 966 967 965 965 965 965 492 965 7 1550 1481 1553 1542 1500 1500 1500 1500 992 1500 3 53 53 53 53 53 53 53 836 23 53 4 490 1555 490 490 490 490 490 490 91 490 5 1556 491 491 491 491 491 491 491 208 491 6 839 492 492 492 492 492 492 1557 492 492 7 1558 992 992 992 992 992 992 992 992 992 8 1402 1501 1508 1527 1543 1543 1543 1554 1559 1543 4 114 669 151 114 354 355 356 669 91 357 2 2 11 11 2 244 244 244 11 8 244 3 1562 101 101 17 101 101 101 106 23 101 4 1563 162 264 114 162 162 162 162 91 162 2 2 12 11 2 244 244 244 12 8 244 3 1565 101 101 17 101 101 101 101 23 101 4 1566 162 276 114 162 162 162 364 91 162 2 2 13 11 2 244 244 244 13 8 244 3 1568 101 101 17 101 101 101 101 23 101 4 1569 162 281 114 162 162 162 368 91 162 2 2 14 11 2 244 244 244 14 8 244 3 1571 101 101 17 101 101 101 101 23 101 4 1572 162 286 114 162 162 162 372 91 162 3 1562 101 101 17 101 101 101 101 23 101 4 1574 321 264 114 162 162 162 321 91 162 2 2 15 11 2 244 244 244 15 8 244 3 1576 101 101 17 101 101 101 101 23 101 4 1577 162 317 114 162 162 162 376 91 162 5 1561 1564 673 1286 1567 1570 1573 1575 208 1578 5 946 607 333 607 613 614 615 679 208 616 5 946 607 333 607 607 607 607 679 208 607 6 1579 1580 1581 1287 1580 1580 1580 1580 492 1580 3 246 101 101 17 103 104 105 101 23 107 4 114 1583 151 114 354 355 356 669 91 357 5 1584 607 333 1286 613 614 615 679 208 616 6 1585 1580 1581 1353 1580 1580 1580 1580 492 1580 3 438 101 101 17 101 101 101 101 23 101 3 902 326 101 17 101 101 101 326 23 101 4 114 114 151 1587 354 355 1588 114 91 357 5 1589 607 611 1286 613 614 615 607 208 616 5 964 607 611 607 607 607 607 607 208 607 6 1590 967 1591 1353 967 967 967 967 492 967 4 114 669 151 114 114 114 114 669 91 114 5 1593 359 673 1286 365 369 373 674 208 377 5 1286 359 360 1286 365 369 373 359 208 377 6 1594 1490 1362 1595 1490 1490 1490 1490 492 1490 4 114 1583 151 1289 354 355 356 669 91 357 3 440 101 101 101 101 101 101 101 23 101 4 1598 162 264 162 162 162 162 162 91 162 5 1597 1599 333 1286 613 614 615 679 208 616 6 1600 1580 1581 1353 1580 1580 1580 1580 492 1580 7 1582 1586 1592 1596 1586 1586 1586 1601 992 1586 4 114 162 264 114 162 162 162 162 870 162 4 363 162 276 114 162 162 162 364 870 162 4 367 162 281 114 162 162 162 368 870 162 2 379 14 599 603 11 11 11 14 8 11 3 1606 101 101 17 101 101 101 101 23 101 4 1607 162 286 114 162 162 162 372 870 162 4 114 321 264 114 162 162 162 321 870 162 4 375 162 317 114 162 162 162 376 870 162 5 1528 1603 673 359 1604 1605 1608 1609 208 1610 3 101 298 101 101 101 101 101 101 23 101 4 1612 162 264 162 162 162 162 162 91 162 5 946 607 333 1613 613 614 615 679 208 616 6 1611 1580 1581 1451 1580 1580 1580 1614 492 1580 6 1580 1580 1581 967 1580 1580 1580 1580 492 1580 6 967 967 1591 967 967 967 967 967 492 967 7 1615 1616 1617 1507 1616 1616 1616 1616 992 1616 4 1587 162 264 114 162 162 162 162 91 162 2 379 14 11 2 11 11 11 14 8 11 3 1620 101 101 17 101 101 101 101 23 101 4 1621 162 286 114 162 162 162 372 91 162 5 674 359 673 1619 365 369 1622 674 208 377 6 1623 1490 1362 1491 1490 1490 1490 1490 492 1490 6 1490 1490 1362 1028 1490 1490 1490 1490 492 1490 6 1028 1028 1525 1028 1028 1028 1028 1028 492 1028 7 1624 1625 1626 1507 1625 1625 1625 1625 992 1625 6 1519 1591 1591 1519 1591 1591 1591 1591 492 1591 6 1522 1591 1591 1522 1591 1591 1591 1591 492 1591 7 1628 1629 1629 1526 1629 1629 1629 1629 992 1629 4 371 162 286 114 162 162 162 372 870 162 5 1528 1603 673 359 1604 1605 1631 1609 208 1610 6 1632 1580 1581 1451 1580 1580 1580 1580 492 1580 7 1633 1616 1617 1507 1616 1616 1616 1616 992 1616 4 1289 162 264 114 162 162 162 162 91 162 5 1528 1603 673 1635 1604 1605 1631 1609 208 1610 6 1636 1580 1581 1451 1580 1580 1580 1580 492 1580 7 1637 1616 1617 1507 1616 1616 1616 1616 992 1616 7 992 992 992 992 992 992 992 992 992 992 8 1602 1618 1627 1630 1634 1634 1634 1638 1639 1634 4 152 669 151 152 114 114 114 669 91 114 3 1039 123 123 123 136 138 140 123 23 145 4 135 270 134 135 271 271 271 1642 91 271 2 350 11 11 11 11 11 11 11 8 11 3 1644 101 112 101 101 101 101 101 23 101 4 1007 321 1645 114 162 162 162 321 91 162 5 1641 1008 1643 361 359 359 359 1646 208 359 5 681 332 333 273 607 607 607 345 208 607 6 1647 1648 1648 1070 1648 1648 1648 1648 492 1648 3 687 101 101 53 101 101 101 101 23 101 3 902 101 101 17 103 104 105 101 23 107 4 1650 1583 151 536 114 114 114 1651 91 114 5 1652 332 333 612 607 607 607 345 208 607 4 536 321 264 536 162 162 162 321 91 162 5 1654 332 333 655 607 607 607 345 208 607 5 612 607 611 612 607 607 607 607 208 607 6 1653 1655 1655 1656 1655 1655 1655 1655 492 1655 5 612 332 611 612 607 607 607 332 208 607 5 655 332 611 655 607 607 607 332 208 607 6 1658 1659 1659 1656 1659 1659 1659 1659 492 1659 3 1048 17 17 53 17 17 17 17 23 17 4 152 669 151 1661 114 114 114 669 91 114 5 1662 359 673 361 359 359 359 674 208 359 6 1663 682 682 1070 682 682 682 682 492 682 4 1650 669 151 536 114 114 114 669 91 114 5 1665 332 333 612 607 607 607 345 208 607 6 1666 1655 1655 1656 1655 1655 1655 1655 492 1655 4 1650 669 151 536 114 114 114 1651 91 114 5 1668 332 333 612 607 607 607 345 208 607 6 1669 1655 1655 1656 1655 1655 1655 1655 492 1655 7 1649 1657 1660 1664 1667 1667 1667 1670 992 1667 4 1007 162 264 114 162 162 162 162 870 162 4 1007 321 264 114 162 162 162 321 870 162 5 969 1672 673 872 1603 1603 1603 1673 208 1603 4 1433 162 264 162 162 162 162 162 91 162 5 969 1675 1438 872 607 607 607 345 208 607 5 969 332 333 872 607 607 607 345 208 607 5 872 359 360 872 359 359 359 359 208 359 5 969 332 1438 872 607 607 607 345 208 607 6 1674 1676 1677 1678 1679 1679 1679 1679 492 1679 4 331 1482 264 162 1482 1482 1482 1482 91 1482 4 162 1482 264 162 1482 1482 1482 1482 91 1482 4 331 565 264 162 1482 1482 1482 565 91 1482 5 679 1681 333 607 1682 1682 1682 1683 208 1682 6 1684 1027 1027 1525 1027 1027 1027 1027 492 1027 6 1031 1031 1031 1525 1031 1031 1031 1031 492 1031 2 1059 11 11 2 11 11 11 11 8 11 3 1687 17 17 17 17 17 17 17 23 17 4 855 162 264 1688 162 162 162 162 91 162 5 969 359 673 1689 359 359 359 674 208 359 6 1690 972 972 1678 972 972 972 972 492 972 7 1680 1685 1686 1691 1685 1685 1685 1685 992 1685 5 969 1008 673 872 359 359 359 1009 208 359 6 1693 1677 1677 1678 1677 1677 1677 1677 492 1677 6 1027 1027 1027 1525 1027 1027 1027 1027 492 1027 5 969 359 673 872 359 359 359 674 208 359 6 1696 972 972 1678 972 972 972 972 492 972 7 1694 1695 1686 1697 1695 1695 1695 1695 992 1695 4 1661 114 151 152 114 114 114 114 91 114 5 361 1008 360 1699 359 359 359 1008 208 359 2 1059 2 2 2 2 2 2 2 8 2 3 53 17 17 1701 17 17 17 17 23 17 4 1702 162 264 152 162 162 162 162 91 162 5 273 332 611 1703 607 607 607 332 208 607 5 273 332 611 273 607 607 607 332 208 607 6 1700 1704 1705 1070 1705 1705 1705 1705 492 1705 7 1706 1660 1660 1072 1660 1660 1660 1660 992 1660 6 1674 1679 1677 1678 1679 1679 1679 1679 492 1679 7 1708 1685 1686 1697 1685 1685 1685 1685 992 1685 8 1671 1692 1698 1707 1709 1709 1709 1709 1639 1709 3 362 103 101 17 101 101 101 103 23 101 2 11 11 11 11 11 11 11 41 8 11 3 1295 1712 937 246 103 104 105 101 23 107 3 902 101 101 17 101 101 101 101 23 101 2 12 11 12 11 11 11 11 392 8 11 3 1295 1715 937 1234 101 101 101 322 23 101 3 1295 1239 937 246 101 101 101 324 23 101 3 1295 1242 937 246 101 101 101 326 23 101 3 1295 776 937 246 103 104 105 101 23 107 3 1295 1246 937 246 101 101 101 328 23 101 4 1711 1713 151 1714 1716 1717 1718 1719 91 1720 3 1254 101 101 17 101 101 101 101 23 101 4 114 1722 151 114 114 114 114 114 91 114 5 1721 1008 673 1723 365 369 373 1009 208 377 6 1724 977 955 1287 947 947 947 977 492 947 2 379 11 11 2 11 11 11 290 8 11 3 1726 904 101 17 904 904 904 904 23 904 4 114 1370 151 1727 1297 1299 1301 1370 91 1305 5 1728 332 333 1286 613 614 615 345 208 616 6 1729 1326 955 1376 1344 1344 1344 1344 492 1344 3 1295 326 101 17 101 101 101 326 23 101 4 114 1346 151 114 1347 1348 1731 1346 91 1350 5 1732 332 611 1286 613 614 615 332 208 616 6 1733 965 966 1353 965 965 965 965 492 965 6 1357 1361 1362 1595 1361 1361 1361 1361 492 1361 3 901 904 101 17 904 904 904 904 23 904 4 114 1370 151 1736 1297 1299 1301 1370 91 1305 5 1737 332 333 1286 613 614 615 345 208 616 6 1738 1374 955 1376 1378 1378 1378 1378 492 1378 4 114 1370 151 1369 1297 1299 1301 1370 91 1305 5 1740 332 333 1286 613 614 615 345 208 616 6 1741 1374 955 1376 1378 1378 1378 1378 492 1378 7 1725 1730 1734 1735 1739 1742 1742 1742 1401 1742 2 243 26 11 576 12 13 14 11 8 15 3 1744 101 106 17 101 101 101 106 23 101 4 1745 162 264 114 162 162 162 162 870 162 4 1533 162 264 114 162 162 162 162 91 162 5 1404 1746 673 1747 1419 1422 1425 1535 208 1431 5 946 1435 333 607 1440 1442 1444 1446 208 1448 6 1748 1749 955 1451 1749 1749 1749 1749 492 1749 4 331 1456 1455 162 1456 1456 1456 1456 91 1456 5 946 1751 333 607 1462 1467 1472 1474 208 1479 6 1752 947 955 967 947 947 947 947 492 947 4 331 1456 264 162 1456 1456 1456 1456 91 1456 5 946 1754 333 607 1494 1495 1496 1497 208 1498 6 1755 947 955 967 947 947 947 947 492 947 7 1750 1753 968 1542 1756 1756 1756 1756 992 1756 5 1509 1008 360 1286 359 359 359 1008 208 359 6 1758 1518 966 1519 1518 1518 1518 1518 492 1518 7 1759 1523 1523 1526 1523 1523 1523 1523 992 1523 4 1414 162 264 114 162 162 162 162 91 162 5 1528 1531 673 1761 1419 1422 1425 1535 208 1431 5 946 1537 333 607 1440 1442 1444 1446 208 1448 6 1762 1763 955 1451 1763 1763 1763 1763 492 1763 7 1764 1753 968 1542 1756 1756 1756 1756 992 1756 5 1528 1531 673 1747 1419 1422 1425 1535 208 1431 6 1766 1763 955 1451 1763 1763 1763 1763 492 1763 7 1767 1753 968 1542 1756 1756 1756 1756 992 1756 6 839 492 492 492 492 492 492 492 492 492 7 1769 992 992 992 992 992 992 992 992 992 8 1743 1757 1508 1760 1765 1768 1768 1768 1770 1768 3 366 104 101 17 101 101 101 104 23 101 3 401 101 112 17 101 101 101 101 23 101 3 1295 1237 937 246 101 101 101 322 23 101 2 13 11 13 11 11 11 11 408 8 11 3 1295 1775 937 1234 101 101 101 324 23 101 4 1772 1713 1773 114 1774 1776 1718 1719 91 1720 4 1714 1722 151 114 114 114 114 114 91 114 5 1777 1008 673 1778 365 369 373 1009 208 377 6 1779 981 955 1287 947 947 947 981 492 947 7 1780 1730 1734 1735 1742 1739 1742 1742 1401 1742 8 1781 1757 1508 1760 1768 1765 1768 1768 1770 1768 3 370 105 101 17 101 101 101 105 23 101 2 14 11 14 11 11 11 11 425 8 11 3 1295 1784 937 1234 101 101 101 326 23 101 2 415 11 11 2 11 11 11 350 311 11 3 1786 776 937 246 103 104 105 101 23 107 4 1783 1713 151 114 1774 1717 1785 1787 91 1720 2 400 11 11 2 12 13 14 11 8 15 3 1789 101 106 17 101 101 101 106 23 101 4 1790 162 264 114 162 162 162 1415 91 162 5 1788 1791 673 1723 365 369 373 1009 208 377 6 1792 985 955 1287 947 947 947 985 492 947 7 1793 1730 1734 1735 1742 1742 1739 1742 1401 1742 4 1745 162 264 114 162 162 162 1415 870 162 5 1404 1795 673 1747 1419 1422 1425 1535 208 1431 6 1796 1749 955 1451 1749 1749 1749 1749 492 1749 7 1797 1753 968 1542 1756 1756 1756 1756 992 1756 4 1530 162 264 114 162 162 162 1415 870 162 5 1528 1799 673 1747 1419 1422 1425 1535 208 1431 6 1800 1763 955 1451 1763 1763 1763 1763 492 1763 7 1801 1753 968 1542 1756 1756 1756 1756 992 1756 8 1794 1798 1508 1760 1768 1768 1765 1802 1770 1768 2 243 472 29 2 12 13 14 11 8 15 3 1804 101 101 17 274 279 284 101 23 315 3 1295 1712 937 246 274 279 284 101 23 315 3 17 101 112 17 164 176 188 101 23 218 3 1150 101 101 17 164 176 188 101 23 218 2 437 11 11 2 11 11 11 11 311 11 2 12 11 11 11 11 11 11 261 8 11 3 1809 1237 1810 451 164 176 188 322 23 218 2 13 11 11 11 11 11 11 261 8 11 3 1295 1239 1812 453 164 176 188 324 23 218 2 14 11 11 11 11 11 11 261 8 11 3 1809 1242 1814 455 164 176 188 326 23 218 3 1295 776 937 1234 274 279 284 101 23 315 2 15 11 11 11 11 11 11 261 8 11 3 1295 1246 1817 457 164 176 188 328 23 218 4 1805 1806 1807 1808 1811 1813 1815 1816 91 1818 2 431 11 11 2 12 13 14 11 8 15 3 1820 101 106 17 101 101 101 106 23 101 2 441 11 11 11 11 11 11 11 8 11 3 101 1822 101 101 1822 1822 1822 1822 23 1822 2 27 11 11 11 11 11 11 11 8 11 3 101 1824 101 101 1824 1824 1824 1824 23 1824 4 1821 1823 264 114 1823 1823 1823 1825 91 1823 3 1150 101 101 17 101 101 101 101 23 101 4 1827 1722 151 114 114 114 114 114 91 114 2 2 12 11 54 11 11 11 12 8 11 3 1829 101 101 17 101 101 101 101 23 101 3 164 30 101 101 30 30 30 30 23 30 4 1830 162 276 114 162 162 162 1831 91 162 2 433 13 11 56 11 11 11 13 8 11 3 1833 101 101 17 101 101 101 101 23 101 3 176 30 101 101 30 30 30 30 23 30 4 1834 162 281 114 162 162 162 1835 91 162 2 434 14 11 58 11 11 11 14 8 11 3 1837 105 101 17 101 101 101 105 23 101 3 188 30 101 101 30 30 30 30 23 30 4 1838 162 286 114 162 162 162 1839 91 162 2 64 11 11 11 11 11 11 11 8 11 2 75 11 11 11 11 11 11 11 8 11 2 82 11 11 11 11 11 11 11 8 11 2 93 11 11 11 11 11 11 11 8 11 3 101 30 101 101 1841 1842 1843 30 23 1844 4 1007 321 264 114 162 162 162 1845 91 162 2 2 15 11 60 11 11 11 15 8 11 3 1847 101 101 17 101 101 101 101 23 101 3 218 30 101 101 30 30 30 30 23 30 4 1848 162 317 114 162 162 162 1849 91 162 5 1819 1826 673 1828 1832 1836 1840 1846 208 1850 6 1851 947 955 1287 977 981 985 947 492 995 3 1295 933 101 910 103 104 105 302 23 107 2 26 261 11 11 11 11 11 11 8 11 3 1726 1854 101 17 1854 1854 1854 1854 23 1854 4 114 1853 1292 1855 1297 1299 1301 1370 91 1305 2 12 261 11 11 11 11 11 11 8 11 2 13 261 11 11 11 11 11 11 8 11 2 14 261 11 11 11 11 11 11 8 11 2 15 261 11 11 11 11 11 11 8 11 3 101 510 101 101 1857 1858 1859 510 23 1860 4 331 1861 264 162 162 162 162 321 91 162 5 1856 332 333 1286 613 614 615 1862 208 616 3 563 101 101 101 103 104 105 101 23 107 4 162 1864 264 162 323 325 327 321 91 329 5 1865 332 333 607 607 607 607 345 208 607 6 1863 1326 1866 1376 1344 1344 1344 1344 492 1344 4 114 1346 151 1289 1347 1348 1731 1346 91 1350 5 1868 332 611 1286 613 614 615 332 208 616 6 1869 965 966 1353 965 965 965 965 492 965 2 2 11 11 2 11 11 11 290 311 11 3 1871 904 101 910 103 104 105 101 23 107 4 114 1872 151 1369 1297 1299 1301 1370 91 1305 5 1873 332 333 1286 613 614 615 345 208 616 6 1874 1374 955 1376 1378 1378 1378 1378 492 1378 4 114 1370 1292 1736 1297 1299 1301 1370 91 1305 5 1876 332 333 1286 613 614 615 345 208 616 6 1877 1374 955 1376 1378 1378 1378 1378 492 1378 3 53 836 53 53 53 53 53 53 23 53 4 490 490 490 490 490 490 490 1879 91 490 5 1880 491 491 491 491 491 491 491 208 491 6 1400 1881 492 492 492 492 492 492 492 492 7 1852 1867 1870 1735 1742 1742 1875 1878 1882 1742 2 243 26 11 632 12 13 14 11 8 15 2 29 29 11 11 11 11 11 11 8 11 3 1884 1885 106 17 101 101 101 106 23 101 4 1886 162 264 114 162 162 162 162 870 162 2 2 567 11 632 11 11 11 12 8 11 3 1888 101 101 17 101 101 101 101 23 101 4 1889 162 276 114 162 162 162 364 870 162 2 2 568 11 632 11 11 11 13 8 11 3 1891 101 101 17 101 101 101 101 23 101 4 1892 162 281 114 162 162 162 368 870 162 2 243 569 11 632 11 11 11 14 8 11 3 1894 101 101 17 101 101 101 101 23 101 4 1895 162 286 114 162 162 162 372 870 162 2 379 26 11 632 12 13 14 11 8 15 3 1897 101 106 17 101 101 101 106 23 101 4 1898 321 264 114 162 162 162 321 870 162 2 2 570 11 632 11 11 11 15 8 11 3 1900 101 101 17 101 101 101 101 23 101 4 1901 162 317 114 162 162 162 376 870 162 5 1404 1887 1412 1747 1890 1893 1896 1899 208 1902 6 1903 1749 955 1451 1749 1749 1749 1749 492 1749 7 1904 1753 968 1542 1756 1756 1756 1756 992 1756 3 101 105 101 101 101 101 101 101 23 101 4 114 321 264 114 162 162 1906 321 91 162 5 1907 1503 673 1635 365 369 373 1009 208 377 6 1908 1026 1027 1491 1026 1026 1026 1026 492 1026 7 1909 1029 1032 1507 1029 1029 1029 1029 992 1029 5 1509 1008 360 1286 359 359 359 1512 208 359 6 1911 1518 966 1519 1518 1518 1518 1518 492 1518 7 1912 1523 1523 1526 1523 1523 1523 1523 992 1523 5 1528 1531 1412 1761 1419 1422 1425 1535 208 1431 6 1914 1763 955 1451 1763 1763 1763 1763 492 1763 7 1915 1753 968 1542 1756 1756 1756 1756 992 1756 8 1883 1905 1910 1913 1768 1768 1768 1916 1770 1768 6 944 492 492 492 492 492 492 492 492 492 7 992 1918 992 992 1918 1918 1918 1918 992 1918 4 1396 490 490 490 490 490 490 490 91 490 3 1216 53 53 53 53 53 53 53 23 53 4 1921 490 490 490 490 490 490 490 870 490 5 1920 1922 491 491 1922 1922 1922 1922 208 1922 6 1923 492 492 492 492 492 492 492 492 492 7 1924 992 992 992 992 992 992 992 992 992 2 2 224 2 2 2 2 2 2 8 2 3 1926 53 53 53 53 53 53 53 23 53 4 1927 490 490 490 490 490 490 490 91 490 5 491 491 491 491 491 491 491 1928 208 491 6 1929 492 492 492 492 492 492 492 492 492 7 1924 1930 992 992 992 992 992 992 992 992 8 1919 1925 1639 1639 1925 1925 1925 1931 1639 1925 3 374 107 101 17 101 101 101 107 23 101 2 15 11 15 11 11 11 11 498 8 11 3 1295 1934 937 1234 101 101 101 328 23 101 4 1933 1713 151 114 1774 1717 1718 1719 91 1935 5 1936 1008 673 1723 365 369 373 1009 208 377 6 1937 995 955 1287 947 947 947 995 492 947 7 1938 1730 1734 1735 1742 1742 1742 1742 1401 1739 8 1939 1757 1508 1760 1768 1768 1768 1768 1770 1765 9 1230 1560 1640 1710 1771 1782 1803 1917 1932 1940

@TABLE n_states:10 neighborhood:Moore

  1. 1 wire
  2. 2 neutral head
  3. 3 extender head
  4. 4 extend/right turn signal
  5. 5 turn/left turn signal
  6. 6 starter signal
  7. 7 signal tail/help state
  8. 8 destructor
  9. 9 control signal

symmetries:rotate4 var a={0,2} var b={0,1,2,3,4,5,6,7,9} var ba={b} var bb={b} var bc={b} var bd={b} var be={b} var c={1,7} var ca={c} var d={0,2,7} var e={0,1,2,4,5,6,7,9} var ea={e} var f={4,5,6,9} var g={0,7} var h={1,2,4,5,6,7,9} var ha={h} var i={0,1,2,3,4,5,6,7,8,9} var ia={i} var ib={i} var ic={i} var id={i} var ie={i} var if={i} var ig={i} var j={0,1} var k={1,2,3} var l={1,4,5,6,7,9} var la={l} var lb={l} var lc={l} var ld={l} var m={1,3} var n={6,9} var o={2,3} var p={0,1,7} var q={0,1,2,3,4,5,6,7,8,9} var r={0,1,3,4,5,6,7,9} var s={1,2,3,4,5,6,7,9} var t={1,2}

  1. signal_propagation

1,0,r,c,ba,d,e,f,ea,f 1,f,0,c,0,b,g,0,0,f 1,0,0,c,0,0,0,0,f,f 1,0,0,c,0,0,f,0,0,f 1,0,0,c,0,f,0,0,0,f 1,0,c,0,0,0,f,0,0,f 1,0,0,0,c,0,0,f,0,f 1,0,c,0,0,0,0,f,0,f 1,c,0,c,0,0,0,f,0,f 7,h,b,ha,ba,bb,bc,bd,be,1 7,h,ba,bb,ha,bc,bd,be,b,1 7,h,b,ba,bb,ha,bc,bd,be,1 7,h,b,ba,bb,bc,ha,bd,be,1 7,h,b,ba,bb,bc,bd,ha,be,1 7,b,h,ba,bb,bc,ha,bd,be,1 f,i,ia,ib,ic,id,ie,if,ig,7 0,0,6,1,0,0,0,0,0,2 2,0,7,6,0,0,0,0,0,0 0,0,2,6,1,0,0,0,0,7 7,7,6,0,0,0,0,0,0,0 1,f,0,0,2,1,0,7,0,f

  1. begin_rep

1,6,0,c,0,0,0,0,7,6 0,7,6,0,0,0,0,0,0,7 7,0,7,0,0,0,0,0,0,0 0,7,6,0,0,0,0,7,0,3 7,6,0,0,0,0,0,0,7,0 2,0,0,0,0,0,b,3,b,3 0,0,0,0,0,0,0,3,0,2 3,g,0,2,0,g,j,1,j,1 7,0,0,k,0,0,0,l,la,0 0,7,m,0,0,0,0,0,c,7 0,0,0,m,0,7,0,l,l,7 7,0,m,0,0,0,0,0,l,0 3,0,0,2,0,0,7,0,0,1 1,0,0,1,0,0,7,0,0,2 3,0,0,a,0,0,0,n,0,n 7,0,0,o,0,0,0,1,0,1 0,0,0,o,0,0,2,6,1,6 1,0,0,2,0,0,0,6,0,3 3,0,0,2,0,0,0,7,0,1 0,0,2,3,1,1,7,0,0,7 1,0,3,m,m,m,1,0,0,0 1,1,1,7,0,3,0,0,0,7 3,0,7,l,1,0,0,3,0,2 1,7,0,l,la,0,0,2,0,0 3,2,0,0,0,2,0,0,0,1 3,6,0,0,0,1,0,0,0,2 7,0,c,2,ca,0,0,0,0,0

  1. turn/extend

2,0,0,0,0,0,0,4,0,3 3,0,0,0,0,0,0,7,0,1 1,0,0,o,0,0,0,f,g,f 0,0,0,0,0,0,0,2,5,2 2,5,0,0,0,0,0,0,0,1 1,2,0,0,0,0,0,f,0,f 2,0,0,0,0,4,7,0,0,3 3,0,0,0,0,7,1,0,0,1 2,0,0,0,0,0,0,6,0,3 2,0,0,1,0,0,0,1,0,1 3,0,0,2,0,0,0,f,0,f 0,0,0,0,0,3,4,0,0,7 0,0,0,0,0,2,3,7,0,3 3,7,0,2,0,0,0,7,0,1 2,0,0,0,0,0,0,3,7,1 0,3,0,0,0,0,0,0,5,7 0,2,0,0,0,0,0,7,3,3 2,0,0,0,0,0,7,3,0,1 7,1,t,0,0,0,0,0,l,0 7,0,0,0,2,3,7,0,0,0 3,0,0,2,0,0,0,1,1,1 3,0,0,2,0,7,0,7,0,1 7,3,2,0,0,0,0,0,7,0 3,1,0,0,0,2,0,0,1,1 1,f,0,0,0,m,0,0,7,f 6,3,0,0,7,7,1,0,0,1 2,0,7,1,0,0,0,0,0,0 0,1,0,7,0,l,la,0,0,l 1,l,0,1,1,3,0,7,0,0 7,0,1,1,3,0,0,0,0,0 3,0,7,1,1,1,0,0,0,1 0,7,1,3,l,0,0,0,0,7 1,7,0,1,1,1,0,3,0,0 1,6,7,0,2,1,0,0,0,6 2,6,7,0,0,0,0,0,0,3 0,0,2,6,2,0,0,0,0,7

  1. end-rep/reset

0,3,0,0,l,la,lb,0,0,2 2,m,0,0,l,la,lb,0,0,1 l,1,0,la,0,0,0,lb,7,3 3,1,0,l,0,0,0,7,0,1 0,3,l,0,0,0,0,0,la,7 7,6,1,0,0,0,0,0,g,0 0,1,p,0,0,0,0,7,6,7 0,0,0,0,8,l,la,0,0,8 0,0,0,8,q,l,la,0,0,8 c,0,0,0,0,0,0,la,0,8 l,0,8,la,0,0,0,lb,lc,7 0,0,0,7,l,la,lb,lc,ld,7 0,0,m,2,l,la,lb,0,0,7 1,0,l,la,3,lb,lc,0,0,0 l,1,la,3,0,0,0,lb,0,0 3,l,0,la,0,0,0,lb,1,l l,la,0,2,0,lb,0,0,0,3 3,7,7,l,0,la,0,0,0,1 1,0,l,1,1,1,la,0,0,0 1,l,0,1,1,1,7,7,0,0 1,0,l,0,1,1,0,0,0,0 1,1,0,1,1,0,0,0,0,7 1,7,0,f,0,7,0,c,0,f l,f,0,0,2,la,0,0,0,7 3,0,7,1,1,1,0,1,0,1 1,1,1,0,8,7,7,0,0,7 7,7,0,0,0,0,0,0,1,0 la,l,0,0,1,1,7,0,0,0 2,l,0,0,la,3,lb,0,0,1 3,2,0,l,0,0,0,la,0,1 0,0,8,0,l,0,0,0,0,7 1,l,0,1,1,3,7,0,0,0 3,1,1,1,0,l,0,7,0,1 1,7,0,0,0,0,0,0,1,0 1,l,1,0,0,0,0,0,0,7

  1. interact

2,5,0,0,0,0,0,0,7,8 s,0,0,0,0,0,0,0,0,8 8,i,ia,ib,ic,id,ie,if,ig,0 0,b,ba,2,bb,bc,bd,2,be,1 2,0,0,1,0,0,0,1,0,1 i,8,ia,ib,ic,id,ie,if,ig,0 @COLORS 0 30 30 30 1 0 128 128 2 0 255 0 3 255 0 0 4 255 128 0 5 255 255 0 6 128 0 128 7 128 128 128 8 255 255 255 9 128 128 255