Rule:SoManyShips4

@RULE SoManyShips4

@TREE

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