Rule:SoManyShips3

@RULE SoManyShips3

@TREE

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