Rule:SoManyShips6

@RULE SoManyShips6

@TREE

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