Rule:SoManyShips5

@RULE SoManyShips5

@TREE

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