Rule:WormLoopsAndManyShips

@RULE WormLoopsAndManyShips

@TREE

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