Rule:SoManyShips6Inverted

@RULE SoManyShips6Inverted

@TREE

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