Rule:PhoxR2INT

@RULE PhoxR2INT

@TREE

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

@COLORS 0 0 0 0 1 255 255 255 2 225 255 225 3 195 195 195