@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