CS计算机代考程序代写 1 2 0 0

1 2 0 0
1 3 0 0
1 4 0 0
1 5 0 0
1 6 0 0
1 7 0 0
1 8 0 0
1 9 0 0
1 10 0 0
1 11 0 0
1 12 0 0
1 13 0 0
1 14 0 0
1 15 0 0
1 16 0 0
1 17 0 0
1 18 0 0
1 19 0 0
1 20 0 0
1 21 0 0
1 22 0 0
1 23 0 0
1 24 0 0
1 25 0 0
1 26 0 0
1 27 0 0
1 28 0 0
1 29 0 0
1 30 0 0
1 31 0 0
1 32 0 0
1 33 0 0
1 34 0 0
1 35 0 0
1 36 0 0
1 37 0 0
1 38 0 0
1 39 0 0
1 40 0 0
1 41 0 0
1 42 0 0
1 43 0 0
1 44 0 0
1 45 0 0
1 46 0 0
1 47 0 0
1 48 0 0
1 49 0 0
1 50 0 0
1 51 0 0
1 52 0 0
1 53 0 0
1 54 0 0
1 55 0 0
1 56 0 0
1 57 0 0
1 58 0 0
1 59 0 0
1 60 0 0
1 61 0 0
1 62 0 0
1 63 0 0
1 64 0 0
1 65 0 0
1 66 0 0
1 67 0 0
1 68 0 0
1 69 0 0
1 70 0 0
1 71 0 0
1 72 0 0
1 73 0 0
1 74 0 0
1 75 0 0
1 76 0 0
1 77 0 0
1 78 0 0
1 79 0 0
1 80 0 0
1 81 0 0
1 82 0 0
1 83 0 0
1 84 0 0
1 85 0 0
1 86 0 0
1 87 0 0
1 88 0 0
1 89 0 0
1 90 0 0
1 91 0 0
1 92 0 0
1 93 0 0
1 94 0 0
1 95 0 0
1 96 0 0
1 97 0 0
1 98 0 0
1 99 0 0
1 100 0 0
1 101 0 0
1 102 0 0
1 103 0 0
1 104 0 0
1 105 0 0
1 106 0 0
1 107 0 0
1 108 0 0
1 109 0 0
1 110 0 0
1 111 0 0
1 112 0 0
1 113 0 0
1 114 0 0
1 115 0 0
1 116 0 0
1 117 0 0
1 118 0 0
1 119 0 0
1 120 0 0
1 121 0 0
1 122 0 0
1 123 0 0
1 124 0 0
1 125 0 0
1 126 0 0
1 127 0 0
1 128 0 0
1 129 0 0
1 130 0 0
1 131 0 0
1 132 0 0
1 133 0 0
1 134 0 0
1 135 0 0
1 136 0 0
1 137 0 0
1 138 0 0
1 139 0 0
1 140 0 0
1 141 0 0
1 142 0 0
1 143 0 0
1 144 0 0
1 145 0 0
1 146 0 0
1 147 0 0
1 148 0 0
1 149 0 0
1 150 0 0
1 151 0 0
1 152 0 0
1 153 0 0
1 154 0 0
1 155 0 0
1 156 0 0
1 157 0 0
1 158 0 0
1 159 0 0
1 160 0 0
1 161 0 0
1 162 0 0
1 163 0 0
1 164 0 0
1 165 0 0
1 166 0 0
1 167 0 0
1 168 0 0
1 169 0 0
1 170 0 0
1 171 0 0
1 172 0 0
1 173 0 0
1 174 0 0
1 175 0 0
1 176 0 0
1 177 0 0
1 178 0 0
1 179 0 0
1 180 0 0
1 181 0 0
1 182 0 0
1 183 0 0
1 184 0 0
1 185 0 0
1 186 0 0
1 187 0 0
1 188 0 0
1 189 0 0
1 190 0 0
1 191 0 0
1 192 0 0
1 193 0 0
1 194 0 0
1 195 0 0
1 196 0 0
1 197 0 0
1 198 0 0
1 199 0 0
1 200 0 0
1 201 0 0
1 202 0 0
1 203 0 0
1 204 0 0
1 205 0 0
1 206 0 0
1 207 0 0
1 208 0 0
1 209 0 0
1 210 0 0
1 211 0 0
1 212 0 0
1 213 0 0
1 214 0 0
1 215 0 0
1 216 0 0
1 217 0 0
1 218 0 0
1 219 0 0
1 220 0 0
1 221 0 0
1 222 0 0
1 223 0 0
1 224 0 0
1 225 0 0
1 226 0 0
1 227 0 0
1 228 0 0
1 229 0 0
1 230 0 0
1 231 0 0
1 232 0 0
1 233 0 0
1 234 0 0
1 235 0 0
1 236 0 0
1 237 0 0
1 238 0 0
1 239 0 0
1 240 0 0
1 241 0 0
1 242 0 0
1 243 0 0
1 244 0 0
1 245 0 0
1 246 0 0
1 247 0 0
1 248 0 0
1 249 0 0
1 250 0 0
1 251 0 0
1 252 0 0
1 253 0 0
1 254 0 0
1 255 0 0
1 256 0 0
1 257 0 0
1 258 0 0
1 259 0 0
1 260 0 0
1 261 0 0
1 262 0 0
1 263 0 0
1 264 0 0
1 265 0 0
1 266 0 0
1 267 0 0
1 268 0 0
1 269 0 0
1 270 0 0
1 271 0 0
1 272 0 0
1 273 0 0
1 274 0 0
1 275 0 0
1 276 0 0
1 277 0 0
1 278 0 0
1 279 0 0
1 280 0 0
1 281 0 0
1 282 0 0
1 283 0 0
1 284 0 0
1 285 0 0
1 286 0 0
1 287 0 0
1 288 0 0
1 289 0 0
1 290 0 0
1 291 0 0
1 292 0 0
1 293 0 0
1 294 0 0
1 295 0 0
1 296 0 0
1 297 0 0
1 298 0 0
1 299 0 0
1 300 0 0
1 301 0 0
1 302 0 0
1 303 0 0
1 304 0 0
1 305 0 0
1 306 0 0
1 307 0 0
1 308 0 0
1 309 0 0
1 310 0 0
1 311 0 0
1 312 0 0
1 313 0 0
1 314 0 0
1 315 0 0
1 316 0 0
1 317 0 0
1 318 0 0
1 319 0 0
1 320 0 0
1 321 0 0
1 322 0 0
1 323 0 0
1 324 0 0
1 325 0 0
1 326 0 0
1 327 0 0
1 328 0 0
1 329 0 0
1 330 0 0
1 331 0 0
1 332 0 0
1 333 0 0
1 334 0 0
1 335 0 0
1 336 0 0
1 337 0 0
1 338 0 0
1 339 0 0
1 340 0 0
1 341 0 0
1 342 0 0
1 343 0 0
1 344 0 0
1 345 0 0
1 346 0 0
1 347 0 0
1 348 0 0
1 349 0 0
1 350 0 0
1 351 0 0
1 352 0 0
1 353 0 0
1 354 0 0
1 355 0 0
1 356 0 0
1 357 0 0
1 358 0 0
1 359 0 0
1 360 0 0
1 361 0 0
1 362 0 0
1 363 0 0
1 364 0 0
1 365 0 0
1 366 0 0
1 367 0 0
1 368 0 0
1 369 0 0
1 370 0 0
1 371 0 0
1 372 0 0
1 373 0 0
1 374 0 0
1 375 0 0
1 376 0 0
1 377 0 0
1 378 0 0
1 379 0 0
1 380 0 0
1 381 0 0
1 382 0 0
1 383 0 0
1 384 0 0
1 385 0 0
1 386 0 0
1 387 0 0
1 388 0 0
1 389 0 0
1 390 0 0
1 391 0 0
1 392 0 0
1 393 0 0
1 394 0 0
1 395 0 0
1 396 0 0
1 397 0 0
1 398 0 0
1 399 0 0
1 400 0 0
1 401 0 0
1 402 0 0
1 403 0 0
1 404 0 0
1 405 0 0
1 406 0 0
1 407 0 0
1 408 0 0
1 409 0 0
1 410 0 0
1 411 0 0
1 412 0 0
1 413 0 0
1 414 0 0
1 415 0 0
1 416 0 0
1 417 0 0
1 418 0 0
1 419 0 0
1 420 0 0
1 421 0 0
1 422 0 0
1 423 0 0
1 424 0 0
1 425 0 0
1 426 0 0
1 427 0 0
1 428 0 0
1 429 0 0
1 430 0 0
1 431 0 0
1 432 0 0
1 433 0 0
1 434 0 0
1 435 0 0
1 436 0 0
1 437 0 0
1 438 0 0
1 439 0 0
1 440 0 0
1 441 0 0
1 442 0 0
1 443 0 0
1 444 0 0
1 445 0 0
1 446 0 0
1 447 0 0
1 448 0 0
1 449 0 0
1 450 0 0
1 451 0 0
1 452 0 0
1 453 0 0
1 454 0 0
1 455 0 0
1 456 0 0
1 457 0 0
1 458 0 0
1 459 0 0
1 460 0 0
1 461 0 0
1 462 0 0
1 463 0 0
1 464 0 0
1 465 0 0
1 466 0 0
1 467 0 0
1 468 0 0
1 469 0 0
1 470 0 0
1 471 0 0
1 472 0 0
1 473 0 0
1 474 0 0
1 475 0 0
1 476 0 0
1 477 0 0
1 478 0 0
1 479 0 0
1 480 0 0
1 481 0 0
1 482 0 0
1 483 0 0
1 484 0 0
1 485 0 0
1 486 0 0
1 487 0 0
1 488 0 0
1 489 0 0
1 490 0 0
1 491 0 0
1 492 0 0
1 493 0 0
1 494 0 0
1 495 0 0
1 496 0 0
1 497 0 0
1 498 0 0
1 499 0 0
1 500 0 0
1 501 0 0
1 502 0 0
1 503 0 0
1 504 0 0
1 505 0 0
1 506 0 0
1 507 0 0
1 508 0 0
1 509 0 0
1 510 0 0
1 511 0 0
1 512 0 0
1 513 0 0
1 514 0 0
1 515 0 0
1 516 0 0
1 517 0 0
1 518 0 0
1 519 0 0
1 520 0 0
1 521 0 0
1 522 0 0
1 523 0 0
1 524 0 0
1 525 0 0
1 526 0 0
1 527 0 0
1 528 0 0
1 529 0 0
1 530 0 0
1 531 0 0
1 532 0 0
1 533 0 0
1 534 0 0
1 535 0 0
1 536 0 0
1 537 0 0
1 538 0 0
1 539 0 0
1 540 0 0
1 541 0 0
1 542 0 0
1 543 0 0
1 544 0 0
1 545 0 0
1 546 0 0
1 547 0 0
1 548 0 0
1 549 0 0
1 550 0 0
1 551 0 0
1 552 0 0
1 553 0 0
1 554 0 0
1 555 0 0
1 556 0 0
1 557 0 0
1 558 0 0
1 559 0 0
1 560 0 0
1 561 0 0
1 562 0 0
1 563 0 0
1 564 0 0
1 565 0 0
1 566 0 0
1 567 0 0
1 568 0 0
1 569 0 0
1 570 0 0
1 571 0 0
1 572 0 0
1 573 0 0
1 574 0 0
1 575 0 0
1 576 0 0
1 577 0 0
1 578 0 0
1 579 0 0
1 580 0 0
1 581 0 0
1 582 0 0
1 583 0 0
1 584 0 0
1 585 0 0
1 586 0 0
1 587 0 0
1 588 0 0
1 589 0 0
1 590 0 0
1 591 0 0
1 592 0 0
1 593 0 0
1 594 0 0
1 595 0 0
1 596 0 0
1 597 0 0
1 598 0 0
1 599 0 0
1 600 0 0
1 601 0 0
1 602 0 0
1 603 0 0
1 604 0 0
1 605 0 0
1 606 0 0
1 607 0 0
1 608 0 0
1 609 0 0
1 610 0 0
1 611 0 0
1 612 0 0
1 613 0 0
1 614 0 0
1 615 0 0
1 616 0 0
1 617 0 0
1 618 0 0
1 619 0 0
1 620 0 0
1 621 0 0
1 622 0 0
1 623 0 0
1 624 0 0
1 625 0 0
1 626 0 0
1 627 0 0
1 628 0 0
1 629 0 0
1 630 0 0
1 631 0 0
1 632 0 0
1 633 0 0
1 634 0 0
1 635 0 0
1 636 0 0
1 637 0 0
1 638 0 0
1 639 0 0
1 640 0 0
1 641 0 0
1 642 0 0
1 643 0 0
1 644 0 0
1 645 0 0
1 646 0 0
1 647 0 0
1 648 0 0
1 649 0 0
1 650 0 0
1 651 0 0
1 652 0 0
1 653 0 0
1 654 0 0
1 655 0 0
1 656 0 0
1 657 0 0
1 658 0 0
1 659 0 0
1 660 0 0
1 661 0 0
1 662 0 0
1 663 0 0
1 664 0 0
1 665 0 0
1 666 0 0
1 667 0 0
1 668 0 0
1 669 0 0
1 670 0 0
1 671 0 0
1 672 0 0
1 673 0 0
1 674 0 0
1 675 0 0
1 676 0 0
1 677 0 0
1 678 0 0
1 679 0 0
1 680 0 0
1 681 0 0
1 682 0 0
1 683 0 0
1 684 0 0
1 685 0 0
1 686 0 0
1 687 0 0
1 688 0 0
1 689 0 0
1 690 0 0
1 691 0 0
1 692 0 0
1 693 0 0
1 694 0 0
1 695 0 0
1 696 0 0
1 697 0 0
1 698 0 0
1 699 0 0
1 700 0 0
1 701 0 0
1 702 0 0
1 703 0 0
1 704 0 0
1 705 0 0
1 706 0 0
1 707 0 0
1 708 0 0
1 709 0 0
1 710 0 0
1 711 0 0
1 712 0 0
1 713 0 0
1 714 0 0
1 715 0 0
1 716 0 0
1 717 0 0
1 718 0 0
1 719 0 0
1 720 0 0
1 721 0 0
1 722 0 0
1 723 0 0
1 724 0 0
1 725 0 0
1 726 0 0
1 727 0 0
1 728 0 0
1 729 0 0
1 730 0 0
1 731 0 0
1 732 0 0
1 733 0 0
1 734 0 0
1 735 0 0
1 736 0 0
1 737 0 0
1 738 0 0
1 739 0 0
1 740 0 0
1 741 0 0
1 742 0 0
1 743 0 0
1 744 0 0
1 745 0 0
1 746 0 0
1 747 0 0
1 748 0 0
1 749 0 0
1 750 0 0
1 751 0 0
1 752 0 0
1 753 0 0
1 754 0 0
1 755 0 0
1 756 0 0
1 757 0 0
1 758 0 0
1 759 0 0
1 760 0 0
1 761 0 0
1 762 0 0
1 763 0 0
1 764 0 0
1 765 0 0
1 766 0 0
1 767 0 0
1 768 0 0
1 769 0 0
1 770 0 0
1 771 0 0
1 772 0 0
1 773 0 0
1 774 0 0
1 775 0 0
1 776 0 0
1 777 0 0
1 778 0 0
1 779 0 0
1 780 0 0
1 781 0 0
1 782 0 0
1 783 0 0
1 784 0 0
1 785 0 0
1 786 0 0
1 787 0 0
1 788 0 0
1 789 0 0
1 790 0 0
1 791 0 0
1 792 0 0
1 793 0 0
1 794 0 0
1 795 0 0
1 796 0 0
1 797 0 0
1 798 0 0
1 799 0 0
1 800 0 0
1 801 0 0
1 802 0 0
1 803 0 0
1 804 0 0
1 805 0 0
1 806 0 0
1 807 0 0
1 808 0 0
1 809 0 0
1 810 0 0
1 811 0 0
1 812 0 0
1 813 0 0
1 814 0 0
1 815 0 0
1 816 0 0
1 817 0 0
1 818 0 0
1 819 0 0
1 820 0 0
1 821 0 0
1 822 0 0
1 823 0 0
1 824 0 0
1 825 0 0
1 826 0 0
1 827 0 0
1 828 0 0
1 829 0 0
1 830 0 0
1 831 0 0
1 832 0 0
1 833 0 0
1 834 0 0
1 835 0 0
1 836 0 0
1 837 0 0
1 838 0 0
1 839 0 0
1 840 0 0
1 841 0 0
1 842 0 0
1 843 0 0
1 844 0 0
1 845 0 0
1 846 0 0
1 847 0 0
1 848 0 0
1 849 0 0
1 850 0 0
1 851 0 0
1 852 0 0
1 853 0 0
1 854 0 0
1 855 0 0
1 856 0 0
1 857 0 0
1 858 0 0
1 859 0 0
1 860 0 0
1 861 0 0
1 862 0 0
1 863 0 0
1 864 0 0
1 865 0 0
1 866 0 0
1 867 0 0
1 868 0 0
1 869 0 0
1 870 0 0
1 871 0 0
1 872 0 0
1 873 0 0
1 874 0 0
1 875 0 0
1 876 0 0
1 877 0 0
1 878 0 0
1 879 0 0
1 880 0 0
1 881 0 0
1 882 0 0
1 883 0 0
1 884 0 0
1 885 0 0
1 886 0 0
1 887 0 0
1 888 0 0
1 889 0 0
1 890 0 0
1 891 0 0
1 892 0 0
1 893 0 0
1 894 0 0
1 895 0 0
1 896 0 0
1 897 0 0
1 898 0 0
1 899 0 0
1 900 0 0
1 901 0 0
1 902 0 0
1 903 0 0
1 904 0 0
1 905 0 0
1 906 0 0
1 907 0 0
1 908 0 0
1 909 0 0
1 910 0 0
1 911 0 0
1 912 0 0
1 913 0 0
1 914 0 0
1 915 0 0
1 916 0 0
1 917 0 0
1 918 0 0
1 919 0 0
1 920 0 0
1 921 0 0
1 922 0 0
1 923 0 0
1 924 0 0
1 925 0 0
1 926 0 0
1 927 0 0
1 928 0 0
1 929 0 0
1 930 0 0
1 931 0 0
1 932 0 0
1 933 0 0
1 934 0 0
1 935 0 0
1 936 0 0
1 937 0 0
1 938 0 0
1 939 0 0
1 940 0 0
1 941 0 0
1 942 0 0
1 943 0 0
1 944 0 0
1 945 0 0
1 946 0 0
1 947 0 0
1 948 0 0
1 949 0 0
1 950 0 0
1 951 0 0
1 952 0 0
1 953 0 0
1 954 0 0
1 955 0 0
1 956 0 0
1 957 0 0
1 958 0 0
1 959 0 0
1 960 0 0
1 961 0 0
1 962 0 0
1 963 0 0
1 964 0 0
1 965 0 0
1 966 0 0
1 967 0 0
1 968 0 0
1 969 0 0
1 970 0 0
1 971 0 0
1 972 0 0
1 973 0 0
1 974 0 0
1 975 0 0
1 976 0 0
1 977 0 0
1 978 0 0
1 979 0 0
1 980 0 0
1 981 0 0
1 982 0 0
1 983 0 0
1 984 0 0
1 985 0 0
1 986 0 0
1 987 0 0
1 988 0 0
1 989 0 0
1 990 0 0
1 991 0 0
1 992 0 0
1 993 0 0
1 994 0 0
1 995 0 0
1 996 0 0
1 997 0 0
1 998 0 0
1 999 0 0
1 1000 0 0
1 1001 0 0
1 1002 0 0
1 1003 0 0
1 1004 0 0
1 1005 0 0
1 1006 0 0
1 1007 0 0
1 1008 0 0
1 1009 0 0
1 1010 0 0
1 1011 0 0
1 1012 0 0
1 1013 0 0
1 1014 0 0
1 1015 0 0
1 1016 0 0
1 1017 0 0
1 1018 0 0
1 1019 0 0
1 1020 0 0
1 1021 0 0
1 1022 0 0
1 1023 0 0
1 1024 0 0
1 1025 0 0
1 1026 0 0
1 1027 0 0
1 1028 0 0
1 1029 0 0
1 1030 0 0
1 1031 0 0
1 1032 0 0
1 1033 0 0
1 1034 0 0
1 1035 0 0
1 1036 0 0
1 1037 0 0
1 1038 0 0
1 1039 0 0
1 1040 0 0
1 1041 0 0
1 1042 0 0
1 1043 0 0
1 1044 0 0
1 1045 0 0
1 1046 0 0
1 1047 0 0
1 1048 0 0
1 1049 0 0
1 1050 0 0
1 1051 0 0
1 1052 0 0
1 1053 0 0
1 1054 0 0
1 1055 0 0
1 1056 0 0
1 1057 0 0
1 1058 0 0
1 1059 0 0
1 1060 0 0
1 1061 0 0
1 1062 0 0
1 1063 0 0
1 1064 0 0
1 1065 0 0
1 1066 0 0
1 1067 0 0
1 1068 0 0
1 1069 0 0
1 1070 0 0
1 1071 0 0
1 1072 0 0
1 1073 0 0
1 1074 0 0
1 1075 0 0
1 1076 0 0
1 1077 0 0
1 1078 0 0
1 1079 0 0
1 1080 0 0
1 1081 0 0
1 1082 0 0
1 1083 0 0
1 1084 0 0
1 1085 0 0
1 1086 0 0
1 1087 0 0
1 1088 0 0
1 1089 0 0
1 1090 0 0
1 1091 0 0
1 1092 0 0
1 1093 0 0
1 1094 0 0
1 1095 0 0
1 1096 0 0
1 1097 0 0
1 1098 0 0
1 1099 0 0
1 1100 0 0
1 1101 0 0
1 1102 0 0
1 1103 0 0
1 1104 0 0
1 1105 0 0
1 1106 0 0
1 1107 0 0
1 1108 0 0
1 1109 0 0
1 1110 0 0
1 1111 0 0
1 1112 0 0
1 1113 0 0
1 1114 0 0
1 1115 0 0
1 1116 0 0
1 1117 0 0
1 1118 0 0
1 1119 0 0
1 1120 0 0
1 1121 0 0
1 1122 0 0
1 1123 0 0
1 1124 0 0
1 1125 0 0
1 1126 0 0
1 1127 0 0
1 1128 0 0
1 1129 0 0
1 1130 0 0
1 1131 0 0
1 1132 0 0
1 1133 0 0
1 1134 0 0
1 1135 0 0
1 1136 0 0
1 1137 0 0
1 1138 0 0
1 1139 0 0
1 1140 0 0
1 1141 0 0
1 1142 0 0
1 1143 0 0
1 1144 0 0
1 1145 0 0
1 1146 0 0
1 1147 0 0
1 1148 0 0
1 1149 0 0
1 1150 0 0
1 1151 0 0
1 1152 0 0
1 1153 0 0
1 1154 0 0
1 1155 0 0
1 1156 0 0
1 1157 0 0
1 1158 0 0
1 1159 0 0
1 1160 0 0
1 1161 0 0
1 1162 0 0
1 1163 0 0
1 1164 0 0
1 1165 0 0
1 1166 0 0
1 1167 0 0
1 1168 0 0
1 1169 0 0
1 1170 0 0
1 1171 0 0
1 1172 0 0
1 1173 0 0
1 1174 0 0
1 1175 0 0
1 1176 0 0
1 1177 0 0
1 1178 0 0
1 1179 0 0
1 1180 0 0
1 1181 0 0
1 1182 0 0
1 1183 0 0
1 1184 0 0
1 1185 0 0
1 1186 0 0
1 1187 0 0
1 1188 0 0
1 1189 0 0
1 1190 0 0
1 1191 0 0
1 1192 0 0
1 1193 0 0
1 1194 0 0
1 1195 0 0
1 1196 0 0
1 1197 0 0
1 1198 0 0
1 1199 0 0
1 1200 0 0
1 1201 0 0
1 1202 0 0
1 1203 0 0
1 1204 0 0
1 1205 0 0
1 1206 0 0
1 1207 0 0
1 1208 0 0
1 1209 0 0
1 1210 0 0
1 1211 0 0
1 1212 0 0
1 1213 0 0
1 1214 0 0
1 1215 0 0
1 1216 0 0
1 1217 0 0
1 1218 0 0
1 1219 0 0
1 1220 0 0
1 1221 0 0
1 1222 0 0
1 1223 0 0
1 1224 0 0
1 1225 0 0
1 1226 0 0
1 1227 0 0
1 1228 0 0
1 1229 0 0
1 1230 0 0
1 1231 0 0
1 1232 0 0
1 1233 0 0
1 1234 0 0
1 1235 0 0
1 1236 0 0
1 1237 0 0
1 1238 0 0
1 1239 0 0
1 1240 0 0
1 1241 0 0
1 1242 0 0
1 1243 0 0
1 1244 0 0
1 1245 0 0
1 1246 0 0
1 1247 0 0
1 1248 0 0
1 1249 0 0
1 1250 0 0
1 1251 0 0
1 1252 0 0
1 1253 0 0
1 1254 0 0
1 1255 0 0
1 1256 0 0
1 1257 0 0
1 1258 0 0
1 1259 0 0
1 1260 0 0
1 1261 0 0
1 1262 0 0
1 1263 0 0
1 1264 0 0
1 1265 0 0
1 1266 0 0
1 1267 0 0
1 1268 0 0
1 1269 0 0
1 1270 0 0
1 1271 0 0
1 1272 0 0
1 1273 0 0
1 1274 0 0
1 1275 0 0
1 1276 0 0
1 1277 0 0
1 1278 0 0
1 1279 0 0
1 1280 0 0
1 1281 0 0
1 1282 0 0
1 1283 0 0
1 1284 0 0
1 1285 0 0
1 1286 0 0
1 1287 0 0
1 1288 0 0
1 1289 0 0
1 1290 0 0
1 1291 0 0
1 1292 0 0
1 1293 0 0
1 1294 0 0
1 1295 0 0
1 1296 0 0
1 1297 0 0
1 1298 0 0
1 1299 0 0
1 1300 0 0
1 1301 0 0
1 1302 0 0
1 1303 0 0
1 1304 0 0
1 1305 0 0
1 1306 0 0
1 1307 0 0
1 1308 0 0
1 1309 0 0
1 1310 0 0
1 1311 0 0
1 1312 0 0
1 1313 0 0
1 1314 0 0
1 1315 0 0
1 1316 0 0
1 1317 0 0
1 1318 0 0
1 1319 0 0
1 1320 0 0
1 1321 0 0
1 1322 0 0
1 1323 0 0
1 1324 0 0
1 1325 0 0
1 1326 0 0
1 1327 0 0
1 1328 0 0
1 1329 0 0
1 1330 0 0
1 1331 0 0
1 1332 0 0
1 1333 0 0
1 1334 0 0
1 1335 0 0
1 1336 0 0
1 1337 0 0
1 1338 0 0
1 1339 0 0
1 1340 0 0
1 1341 0 0
1 1342 0 0
1 1343 0 0
1 1344 0 0
1 1345 0 0
1 1346 0 0
1 1347 0 0
1 1348 0 0
1 1349 0 0
1 1350 0 0
1 1351 0 0
1 1352 0 0
1 1353 0 0
1 1354 0 0
1 1355 0 0
1 1356 0 0
1 1357 0 0
1 1358 0 0
1 1359 0 0
1 1360 0 0
1 1361 0 0
1 1362 0 0
1 1363 0 0
1 1364 0 0
1 1365 0 0
1 1366 0 0
1 1367 0 0
1 1368 0 0
1 1369 0 0
1 1370 0 0
1 1371 0 0
1 1372 0 0
1 1373 0 0
1 1374 0 0
1 1375 0 0
1 1376 0 0
1 1377 0 0
1 1378 0 0
1 1379 0 0
1 1380 0 0
1 1381 0 0
1 1382 0 0
1 1383 0 0
1 1384 0 0
1 1385 0 0
1 1386 0 0
1 1387 0 0
1 1388 0 0
1 1389 0 0
1 1390 0 0
1 1391 0 0
1 1392 0 0
1 1393 0 0
1 1394 0 0
1 1395 0 0
1 1396 0 0
1 1397 0 0
1 1398 0 0
1 1399 0 0
1 1400 0 0
1 1401 0 0
1 1402 0 0
1 1403 0 0
1 1404 0 0
1 1405 0 0
1 1406 0 0
1 1407 0 0
1 1408 0 0
1 1409 0 0
1 1410 0 0
1 1411 0 0
1 1412 0 0
1 1413 0 0
1 1414 0 0
1 1415 0 0
1 1416 0 0
1 1417 0 0
1 1418 0 0
1 1419 0 0
1 1420 0 0
1 1421 0 0
1 1422 0 0
1 1423 0 0
1 1424 0 0
1 1425 0 0
1 1426 0 0
1 1427 0 0
1 1428 0 0
1 1429 0 0
1 1430 0 0
1 1431 0 0
1 1432 0 0
1 1433 0 0
1 1434 0 0
1 1435 0 0
1 1436 0 0
1 1437 0 0
1 1438 0 0
1 1439 0 0
1 1440 0 0
1 1441 0 0
1 1442 0 0
1 1443 0 0
1 1444 0 0
1 1445 0 0
1 1446 0 0
1 1447 0 0
1 1448 0 0
1 1449 0 0
1 1450 0 0
1 1451 0 0
1 1452 0 0
1 1453 0 0
1 1454 0 0
1 1455 0 0
1 1456 0 0
1 1457 0 0
1 1458 0 0
1 1459 0 0
1 1460 0 0
1 1461 0 0
1 1462 0 0
1 1463 0 0
1 1464 0 0
1 1465 0 0
1 1466 0 0
1 1467 0 0
1 1468 0 0
1 1469 0 0
1 1470 0 0
1 1471 0 0
1 1472 0 0
1 1473 0 0
1 1474 0 0
1 1475 0 0
1 1476 0 0
1 1477 0 0
1 1478 0 0
1 1479 0 0
1 1480 0 0
1 1481 0 0
1 1482 0 0
1 1483 0 0
1 1484 0 0
1 1485 0 0
1 1486 0 0
1 1487 0 0
1 1488 0 0
1 1489 0 0
1 1490 0 0
1 1491 0 0
1 1492 0 0
1 1493 0 0
1 1494 0 0
1 1495 0 0
1 1496 0 0
1 1497 0 0
1 1498 0 0
1 1499 0 0
1 1500 0 0
1 1501 0 0
1 1502 0 0
1 1503 0 0
1 1504 0 0
1 1505 0 0
1 1506 0 0
1 1507 0 0
1 1508 0 0
1 1509 0 0
1 1510 0 0
1 1511 0 0
1 1512 0 0
1 1513 0 0
1 1514 0 0
1 1515 0 0
1 1516 0 0
1 1517 0 0
1 1518 0 0
1 1519 0 0
1 1520 0 0
1 1521 0 0
1 1522 0 0
1 1523 0 0
1 1524 0 0
1 1525 0 0
1 1526 0 0
1 1527 0 0
1 1528 0 0
1 1529 0 0
1 1530 0 0
1 1531 0 0
1 1532 0 0
1 1533 0 0
1 1534 0 0
1 1535 0 0
1 1536 0 0
1 1537 0 0
1 1538 0 0
1 1539 0 0
1 1540 0 0
1 1541 0 0
1 1542 0 0
1 1543 0 0
1 1544 0 0
1 1545 0 0
1 1546 0 0
1 1547 0 0
1 1548 0 0
1 1549 0 0
1 1550 0 0
1 1551 0 0
1 1552 0 0
1 1553 0 0
1 1554 0 0
1 1555 0 0
1 1556 0 0
1 1557 0 0
1 1558 0 0
1 1559 0 0
1 1560 0 0
1 1561 0 0
1 1562 0 0
1 1563 0 0
1 1564 0 0
1 1565 0 0
1 1566 0 0
1 1567 0 0
1 1568 0 0
1 1569 0 0
1 1570 0 0
1 1571 0 0
1 1572 0 0
1 1573 0 0
1 1574 0 0
1 1575 0 0
1 1576 0 0
1 1577 0 0
1 1578 0 0
1 1579 0 0
1 1580 0 0
1 1581 0 0
1 1582 0 0
1 1583 0 0
1 1584 0 0
1 1585 0 0
1 1586 0 0
1 1587 0 0
1 1588 0 0
1 1589 0 0
1 1590 0 0
1 1591 0 0
1 1592 0 0
1 1593 0 0
1 1594 0 0
1 1595 0 0
1 1596 0 0
1 1597 0 0
1 1598 0 0
1 1599 0 0
1 1600 0 0
1 1601 0 0
1 1602 0 0
1 1603 0 0
1 1604 0 0
1 1605 0 0
1 1606 0 0
1 1607 0 0
1 1608 0 0
1 1609 0 0
1 1610 0 0
1 1611 0 0
1 1612 0 0
1 1613 0 0
1 1614 0 0
1 1615 0 0
1 1616 0 0
1 1617 0 0
1 1618 0 0
1 1619 0 0
1 1620 0 0
1 1621 0 0
1 1622 0 0
1 1623 0 0
1 1624 0 0
1 1625 0 0
1 1626 0 0
1 1627 0 0
1 1628 0 0
1 1629 0 0
1 1630 0 0
1 1631 0 0
1 1632 0 0
1 1633 0 0
1 1634 0 0
1 1635 0 0
1 1636 0 0
1 1637 0 0
1 1638 0 0
1 1639 0 0
1 1640 0 0
1 1641 0 0
1 1642 0 0
1 1643 0 0
1 1644 0 0
1 1645 0 0
1 1646 0 0
1 1647 0 0
1 1648 0 0
1 1649 0 0
1 1650 0 0
1 1651 0 0
1 1652 0 0
1 1653 0 0
1 1654 0 0
1 1655 0 0
1 1656 0 0
1 1657 0 0
1 1658 0 0
1 1659 0 0
1 1660 0 0
1 1661 0 0
1 1662 0 0
1 1663 0 0
1 1664 0 0
1 1665 0 0
1 1666 0 0
1 1667 0 0
1 1668 0 0
1 1669 0 0
1 1670 0 0
1 1671 0 0
1 1672 0 0
1 1673 0 0
1 1674 0 0
1 1675 0 0
1 1676 0 0
1 1677 0 0
1 1678 0 0
1 1679 0 0
1 1680 0 0
1 1681 0 0
1 1682 0 0
1 1683 0 0
1 1684 0 0
1 1685 0 0
1 1686 0 0
1 1687 0 0
1 1688 0 0
1 1689 0 0
1 1690 0 0
1 1691 0 0
1 1692 0 0
1 1693 0 0
1 1694 0 0
1 1695 0 0
1 1696 0 0
1 1697 0 0
1 1698 0 0
1 1699 0 0
1 1700 0 0
1 1701 0 0
1 1702 0 0
1 1703 0 0
1 1704 0 0
1 1705 0 0
1 1706 0 0
1 1707 0 0
1 1708 0 0
1 1709 0 0
1 1710 0 0
1 1711 0 0
1 1712 0 0
1 1713 0 0
1 1714 0 0
1 1715 0 0
1 1716 0 0
1 1717 0 0
1 1718 0 0
1 1719 0 0
1 1720 0 0
1 1721 0 0
1 1722 0 0
1 1723 0 0
1 1724 0 0
1 1725 0 0
1 1726 0 0
1 1727 0 0
1 1728 0 0
1 1729 0 0
1 1730 0 0
1 1731 0 0
1 1732 0 0
1 1733 0 0
1 1734 0 0
1 1735 0 0
1 1736 0 0
1 1737 0 0
1 1738 0 0
1 1739 0 0
1 1740 0 0
1 1741 0 0
1 1742 0 0
1 1743 0 0
1 1744 0 0
1 1745 0 0
1 1746 0 0
1 1747 0 0
1 1748 0 0
1 1749 0 0
1 1750 0 0
1 1751 0 0
1 1752 0 0
1 1753 0 0
1 1754 0 0
1 1755 0 0
1 1756 0 0
1 1757 0 0
1 1758 0 0
1 1759 0 0
1 1760 0 0
1 1761 0 0
1 1762 0 0
1 1763 0 0
1 1764 0 0
1 1765 0 0
1 1766 0 0
1 1767 0 0
1 1768 0 0
1 1769 0 0
1 1770 0 0
1 1771 0 0
1 1772 0 0
1 1773 0 0
1 1774 0 0
1 1775 0 0
1 1776 0 0
1 1777 0 0
1 1778 0 0
1 1779 0 0
1 1780 0 0
1 1781 0 0
1 1782 0 0
1 1783 0 0
1 1784 0 0
1 1785 0 0
1 1786 0 0
1 1787 0 0
1 1788 0 0
1 1789 0 0
1 1790 0 0
1 1791 0 0
1 1792 0 0
1 1793 0 0
1 1794 0 0
1 1795 0 0
1 1796 0 0
1 1797 0 0
1 1798 0 0
1 1799 0 0
1 1800 0 0
1 1801 0 0
1 1802 0 0
1 1803 0 0
1 1804 0 0
1 1805 0 0
1 1806 0 0
1 1807 0 0
1 1808 0 0
1 1809 0 0
1 1810 0 0
1 1811 0 0
1 1812 0 0
1 1813 0 0
1 1814 0 0
1 1815 0 0
1 1816 0 0
1 1817 0 0
1 1818 0 0
1 1819 0 0
1 1820 0 0
1 1821 0 0
1 1822 0 0
1 1823 0 0
1 1824 0 0
1 1825 0 0
1 1826 0 0
1 1827 0 0
1 1828 0 0
1 1829 0 0
1 1830 0 0
1 1831 0 0
1 1832 0 0
1 1833 0 0
1 1834 0 0
1 1835 0 0
1 1836 0 0
1 1837 0 0
1 1838 0 0
1 1839 0 0
1 1840 0 0
1 1841 0 0
1 1842 0 0
1 1843 0 0
1 1844 0 0
1 1845 0 0
1 1846 0 0
1 1847 0 0
1 1848 0 0
1 1849 0 0
1 1850 0 0
1 1851 0 0
1 1852 0 0
1 1853 0 0
1 1854 0 0
1 1855 0 0
1 1856 0 0
1 1857 0 0
1 1858 0 0
1 1859 0 0
1 1860 0 0
1 1861 0 0
1 1862 0 0
1 1863 0 0
1 1864 0 0
1 1865 0 0
1 1866 0 0
1 1867 0 0
1 1868 0 0
1 1869 0 0
1 1870 0 0
1 1871 0 0
1 1872 0 0
1 1873 0 0
1 1874 0 0
1 1875 0 0
1 1876 0 0
1 1877 0 0
1 1878 0 0
1 1879 0 0
1 1880 0 0
1 1881 0 0
1 1882 0 0
1 1883 0 0
1 1884 0 0
1 1885 0 0
1 1886 0 0
1 1887 0 0
1 1888 0 0
1 1889 0 0
1 1890 0 0
1 1891 0 0
1 1892 0 0
1 1893 0 0
1 1894 0 0
1 1895 0 0
1 1896 0 0
1 1897 0 0
1 1898 0 0
1 1899 0 0
1 1900 0 0
1 1901 0 0
1 1902 0 0
1 1903 0 0
1 1904 0 0
1 1905 0 0
1 1906 0 0
1 1907 0 0
1 1908 0 0
1 1909 0 0
1 1910 0 0
1 1911 0 0
1 1912 0 0
1 1913 0 0
1 1914 0 0
1 1915 0 0
1 1916 0 0
1 1917 0 0
1 1918 0 0
1 1919 0 0
1 1920 0 0
1 1921 0 0
1 1922 0 0
1 1923 0 0
1 1924 0 0
1 1925 0 0
1 1926 0 0
1 1927 0 0
1 1928 0 0
1 1929 0 0
1 1930 0 0
1 1931 0 0
1 1932 0 0
1 1933 0 0
1 1934 0 0
1 1935 0 0
1 1936 0 0
1 1937 0 0
1 1938 0 0
1 1939 0 0
1 1940 0 0
1 1941 0 0
1 1942 0 0
1 1943 0 0
1 1944 0 0
1 1945 0 0
1 1946 0 0
1 1947 0 0
1 1948 0 0
1 1949 0 0
1 1950 0 0
1 1951 0 0
1 1952 0 0
1 1953 0 0
1 1954 0 0
1 1955 0 0
1 1956 0 0
1 1957 0 0
1 1958 0 0
1 1959 0 0
1 1960 0 0
1 1961 0 0
1 1962 0 0
1 1963 0 0
1 1964 0 0
1 1965 0 0
1 1966 0 0
1 1967 0 0
1 1968 0 0
1 1969 0 0
1 1970 0 0
1 1971 0 0
1 1972 0 0
1 1973 0 0
1 1974 0 0
1 1975 0 0
1 1976 0 0
1 1977 0 0
1 1978 0 0
1 1979 0 0
1 1980 0 0
1 1981 0 0
1 1982 0 0
1 1983 0 0
1 1984 0 0
1 1985 0 0
1 1986 0 0
1 1987 0 0
1 1988 0 0
1 1989 0 0
1 1990 0 0
1 1991 0 0
1 1992 0 0
1 1993 0 0
1 1994 0 0
1 1995 0 0
1 1996 0 0
1 1997 0 0
1 1998 0 0
1 1999 0 0
1 2000 0 0
1 2001 0 0
1 2002 0 0
1 2003 0 0
1 2004 0 0
1 2005 0 0
1 2006 0 0
1 2007 0 0
1 2008 0 0
1 2009 0 0
1 2010 0 0
1 2011 0 0
1 2012 0 0
1 2013 0 0
1 2014 0 0
1 2015 0 0
1 2016 0 0
1 2017 0 0
1 2018 0 0
1 2019 0 0
1 2020 0 0
1 2021 0 0
1 2022 0 0
1 2023 0 0
1 2024 0 0
1 2025 0 0
1 2026 0 0
1 2027 0 0
1 2028 0 0
1 2029 0 0
1 2030 0 0
1 2031 0 0
1 2032 0 0
1 2033 0 0
1 2034 0 0
1 2035 0 0
1 2036 0 0
1 2037 0 0
1 2038 0 0
1 2039 0 0
1 2040 0 0
1 2041 0 0
1 2042 0 0
1 2043 0 0
1 2044 0 0
1 2045 0 0
1 2046 0 0
1 2047 0 0
1 2048 0 0
1 2049 0 0
1 2050 0 0
1 2051 0 0
1 2052 0 0
1 2053 0 0
1 2054 0 0
1 2055 0 0
1 2056 0 0
1 2057 0 0
1 2058 0 0
1 2059 0 0
1 2060 0 0
1 2061 0 0
1 2062 0 0
1 2063 0 0
1 2064 0 0
1 2065 0 0
1 2066 0 0
1 2067 0 0
1 2068 0 0
1 2069 0 0
1 2070 0 0
1 2071 0 0
1 2072 0 0
1 2073 0 0
1 2074 0 0
1 2075 0 0
1 2076 0 0
1 2077 0 0
1 2078 0 0
1 2079 0 0
1 2080 0 0
1 2081 0 0
1 2082 0 0
1 2083 0 0
1 2084 0 0
1 2085 0 0
1 2086 0 0
1 2087 0 0
1 2088 0 0
1 2089 0 0
1 2090 0 0
1 2091 0 0
1 2092 0 0
1 2093 0 0
1 2094 0 0
1 2095 0 0
1 2096 0 0
1 2097 0 0
1 2098 0 0
1 2099 0 0
1 2100 0 0
1 2101 0 0
1 2102 0 0
1 2103 0 0
1 2104 0 0
1 2105 0 0
1 2106 0 0
1 2107 0 0
1 2108 0 0
1 2109 0 0
1 2110 0 0
1 2111 0 0
1 2112 0 0
1 2113 0 0
1 2114 0 0
1 2115 0 0
1 2116 0 0
1 2117 0 0
1 2118 0 0
1 2119 0 0
1 2120 0 0
1 2121 0 0
1 2122 0 0
1 2123 0 0
1 2124 0 0
1 2125 0 0
1 2126 0 0
1 2127 0 0
1 2128 0 0
1 2129 0 0
1 2130 0 0
1 2131 0 0
1 2132 0 0
1 2133 0 0
1 2134 0 0
1 2135 0 0
1 2136 0 0
1 2137 0 0
1 2138 0 0
1 2139 0 0
1 2140 0 0
1 2141 0 0
1 2142 0 0
1 2143 0 0
1 2144 0 0
1 2145 0 0
1 2146 0 0
1 2147 0 0
1 2148 0 0
1 2149 0 0
1 2150 0 0
1 2151 0 0
1 2152 0 0
1 2153 0 0
1 2154 0 0
1 2155 0 0
1 2156 0 0
1 2157 0 0
1 2158 0 0
1 2159 0 0
1 2160 0 0
1 2161 0 0
1 2162 0 0
1 2163 0 0
1 2164 0 0
1 2165 0 0
1 2166 0 0
1 2167 0 0
1 2168 0 0
1 2169 0 0
1 2170 0 0
1 2171 0 0
1 2172 0 0
1 2173 0 0
1 2174 0 0
1 2175 0 0
1 2176 0 0
1 2177 0 0
1 2178 0 0
1 2179 0 0
1 2180 0 0
1 2181 0 0
1 2182 0 0
1 2183 0 0
1 2184 0 0
1 2185 0 0
1 2186 0 0
1 2187 0 0
1 2188 0 0
1 2189 0 0
1 2190 0 0
1 2191 0 0
1 2192 0 0
1 2193 0 0
1 2194 0 0
1 2195 0 0
1 2196 0 0
1 2197 0 0
1 2198 0 0
1 2199 0 0
1 2200 0 0
1 2201 0 0
1 2202 0 0
1 2203 0 0
1 2204 0 0
1 2205 0 0
1 2206 0 0
1 2207 0 0
1 2208 0 0
1 2209 0 0
1 2210 0 0
1 2211 0 0
1 2212 0 0
1 2213 0 0
1 2214 0 0
1 2215 0 0
1 2216 0 0
1 2217 0 0
1 2218 0 0
1 2219 0 0
1 2220 0 0
1 2221 0 0
1 2222 0 0
1 2223 0 0
1 2224 0 0
1 2225 0 0
1 2226 0 0
1 2227 0 0
1 2228 0 0
1 2229 0 0
1 2230 0 0
1 2231 0 0
1 2232 0 0
1 2233 0 0
1 2234 0 0
1 2235 0 0
1 2236 0 0
1 2237 0 0
1 2238 0 0
1 2239 0 0
1 2240 0 0
1 2241 0 0
1 2242 0 0
1 2243 0 0
1 2244 0 0
1 2245 0 0
1 2246 0 0
1 2247 0 0
1 2248 0 0
1 2249 0 0
1 2250 0 0
1 2251 0 0
1 2252 0 0
1 2253 0 0
1 2254 0 0
1 2255 0 0
1 2256 0 0
1 2257 0 0
1 2258 0 0
1 2259 0 0
1 2260 0 0
1 2261 0 0
1 2262 0 0
1 2263 0 0
1 2264 0 0
1 2265 0 0
1 2266 0 0
1 2267 0 0
1 2268 0 0
1 2269 0 0
1 2270 0 0
1 2271 0 0
1 2272 0 0
1 2273 0 0
1 2274 0 0
1 2275 0 0
1 2276 0 0
1 2277 0 0
1 2278 0 0
1 2279 0 0
1 2280 0 0
1 2281 0 0
1 2282 0 0
1 2283 0 0
1 2284 0 0
1 2285 0 0
1 2286 0 0
1 2287 0 0
1 2288 0 0
1 2289 0 0
1 2290 0 0
1 2291 0 0
1 2292 0 0
1 2293 0 0
1 2294 0 0
1 2295 0 0
1 2296 0 0
1 2297 0 0
1 2298 0 0
1 2299 0 0
1 2300 0 0
1 2301 0 0
1 2302 0 0
1 2303 0 0
1 2304 0 0
1 2305 0 0
1 2306 0 0
1 2307 0 0
1 2308 0 0
1 2309 0 0
1 2310 0 0
1 2311 0 0
1 2312 0 0
1 2313 0 0
1 2314 0 0
1 2315 0 0
1 2316 0 0
1 2317 0 0
1 2318 0 0
1 2319 0 0
1 2320 0 0
1 2321 0 0
1 2322 0 0
1 2323 0 0
1 2324 0 0
1 2325 0 0
1 2326 0 0
1 2327 0 0
1 2328 0 0
1 2329 0 0
1 2330 0 0
1 2331 0 0
1 2332 0 0
1 2333 0 0
1 2334 0 0
1 2335 0 0
1 2336 0 0
1 2337 0 0
1 2338 0 0
1 2339 0 0
1 2340 0 0
1 2341 0 0
1 2342 0 0
1 2343 0 0
1 2344 0 0
1 2345 0 0
1 2346 0 0
1 2347 0 0
1 2348 0 0
1 2349 0 0
1 2350 0 0
1 2351 0 0
1 2352 0 0
1 2353 0 0
1 2354 0 0
1 2355 0 0
1 2356 0 0
1 2357 0 0
1 2358 0 0
1 2359 0 0
1 2360 0 0
1 2361 0 0
1 2362 0 0
1 2363 0 0
1 2364 0 0
1 2365 0 0
1 2366 0 0
1 2367 0 0
1 2368 0 0
1 2369 0 0
1 2370 0 0
1 2371 0 0
1 2372 0 0
1 2373 0 0
1 2374 0 0
1 2375 0 0
1 2376 0 0
1 2377 0 0
1 2378 0 0
1 2379 0 0
1 2380 0 0
1 2381 0 0
1 2382 0 0
1 2383 0 0
1 2384 0 0
1 2385 0 0
1 2386 0 0
1 2387 0 0
1 2388 0 0
1 2389 0 0
1 2390 0 0
1 2391 0 0
1 2392 0 0
1 2393 0 0
1 2394 0 0
1 2395 0 0
1 2396 0 0
1 2397 0 0
1 2398 0 0
1 2399 0 0
1 2400 0 0
1 2401 0 0
1 2402 0 0
1 2403 0 0
1 2404 0 0
1 2405 0 0
1 2406 0 0
1 2407 0 0
1 2408 0 0
1 2409 0 0
1 2410 0 0
1 2411 0 0
1 2412 0 0
1 2413 0 0
1 2414 0 0
1 2415 0 0
1 2416 0 0
1 2417 0 0
1 2418 0 0
1 2419 0 0
1 2420 0 0
1 2421 0 0
1 2422 0 0
1 2423 0 0
1 2424 0 0
1 2425 0 0
1 2426 0 0
1 2427 0 0
1 2428 0 0
1 2429 0 0
1 2430 0 0
1 2431 0 0
1 2432 0 0
1 2433 0 0
1 2434 0 0
1 2435 0 0
1 2436 0 0
1 2437 0 0
1 2438 0 0
1 2439 0 0
1 2440 0 0
1 2441 0 0
1 2442 0 0
1 2443 0 0
1 2444 0 0
1 2445 0 0
1 2446 0 0
1 2447 0 0
1 2448 0 0
1 2449 0 0
1 2450 0 0
1 2451 0 0
1 2452 0 0
1 2453 0 0
1 2454 0 0
1 2455 0 0
1 2456 0 0
1 2457 0 0
1 2458 0 0
1 2459 0 0
1 2460 0 0
1 2461 0 0
1 2462 0 0
1 2463 0 0
1 2464 0 0
1 2465 0 0
1 2466 0 0
1 2467 0 0
1 2468 0 0
1 2469 0 0
1 2470 0 0
1 2471 0 0
1 2472 0 0
1 2473 0 0
1 2474 0 0
1 2475 0 0
1 2476 0 0
1 2477 0 0
1 2478 0 0
1 2479 0 0
1 2480 0 0
1 2481 0 0
1 2482 0 0
1 2483 0 0
1 2484 0 0
1 2485 0 0
1 2486 0 0
1 2487 0 0
1 2488 0 0
1 2489 0 0
1 2490 0 0
1 2491 0 0
1 2492 0 0
1 2493 0 0
1 2494 0 0
1 2495 0 0
1 2496 0 0
1 2497 0 0
1 2498 0 0
1 2499 0 0
1 2500 0 0
1 2501 0 0
1 2502 0 0
1 2503 0 0
1 2504 0 0
1 2505 0 0
1 2506 0 0
1 2507 0 0
1 2508 0 0
1 2509 0 0
1 2510 0 0
1 2511 0 0
1 2512 0 0
1 2513 0 0
1 2514 0 0
1 2515 0 0
1 2516 0 0
1 2517 0 0
1 2518 0 0
1 2519 0 0
1 2520 0 0
1 2521 0 0
1 2522 0 0
1 2523 0 0
1 2524 0 0
1 2525 0 0
1 2526 0 0
1 2527 0 0
1 2528 0 0
1 2529 0 0
1 2530 0 0
1 2531 0 0
1 2532 0 0
1 2533 0 0
1 2534 0 0
1 2535 0 0
1 2536 0 0
1 2537 0 0
1 2538 0 0
1 2539 0 0
1 2540 0 0
1 2541 0 0
1 2542 0 0
1 2543 0 0
1 2544 0 0
1 2545 0 0
1 2546 0 0
1 2547 0 0
1 2548 0 0
1 2549 0 0
1 2550 0 0
1 2551 0 0
1 2552 0 0
1 2553 0 0
1 2554 0 0
1 2555 0 0
1 2556 0 0
1 2557 0 0
1 2558 0 0
1 2559 0 0
1 2560 0 0
1 2561 0 0
1 2562 0 0
1 2563 0 0
1 2564 0 0
1 2565 0 0
1 2566 0 0
1 2567 0 0
1 2568 0 0
1 2569 0 0
1 2570 0 0
1 2571 0 0
1 2572 0 0
1 2573 0 0
1 2574 0 0
1 2575 0 0
1 2576 0 0
1 2577 0 0
1 2578 0 0
1 2579 0 0
1 2580 0 0
1 2581 0 0
1 2582 0 0
1 2583 0 0
1 2584 0 0
1 2585 0 0
1 2586 0 0
1 2587 0 0
1 2588 0 0
1 2589 0 0
1 2590 0 0
1 2591 0 0
1 2592 0 0
1 2593 0 0
1 2594 0 0
1 2595 0 0
1 2596 0 0
1 2597 0 0
1 2598 0 0
1 2599 0 0
1 2600 0 0
1 2601 0 0
1 2602 0 0
1 2603 0 0
1 2604 0 0
1 2605 0 0
1 2606 0 0
1 2607 0 0
1 2608 0 0
1 2609 0 0
1 2610 0 0
1 2611 0 0
1 2612 0 0
1 2613 0 0
1 2614 0 0
1 2615 0 0
1 2616 0 0
1 2617 0 0
1 2618 0 0
1 2619 0 0
1 2620 0 0
1 2621 0 0
1 2622 0 0
1 2623 0 0
1 2624 0 0
1 2625 0 0
1 2626 0 0
1 2627 0 0
1 2628 0 0
1 2629 0 0
1 2630 0 0
1 2631 0 0
1 2632 0 0
1 2633 0 0
1 2634 0 0
1 2635 0 0
1 2636 0 0
1 2637 0 0
1 2638 0 0
1 2639 0 0
1 2640 0 0
1 2641 0 0
1 2642 0 0
1 2643 0 0
1 2644 0 0
1 2645 0 0
1 2646 0 0
1 2647 0 0
1 2648 0 0
1 2649 0 0
1 2650 0 0
1 2651 0 0
1 2652 0 0
1 2653 0 0
1 2654 0 0
1 2655 0 0
1 2656 0 0
1 2657 0 0
1 2658 0 0
1 2659 0 0
1 2660 0 0
1 2661 0 0
1 2662 0 0
1 2663 0 0
1 2664 0 0
1 2665 0 0
1 2666 0 0
1 2667 0 0
1 2668 0 0
1 2669 0 0
1 2670 0 0
1 2671 0 0
1 2672 0 0
1 2673 0 0
1 2674 0 0
1 2675 0 0
1 2676 0 0
1 2677 0 0
1 2678 0 0
1 2679 0 0
1 2680 0 0
1 2681 0 0
1 2682 0 0
1 2683 0 0
1 2684 0 0
1 2685 0 0
1 2686 0 0
1 2687 0 0
1 2688 0 0
1 2689 0 0
1 2690 0 0
1 2691 0 0
1 2692 0 0
1 2693 0 0
1 2694 0 0
1 2695 0 0
1 2696 0 0
1 2697 0 0
1 2698 0 0
1 2699 0 0
1 2700 0 0
1 2701 0 0
1 2702 0 0
1 2703 0 0
1 2704 0 0
1 2705 0 0
1 2706 0 0
1 2707 0 0
1 2708 0 0
1 2709 0 0
1 2710 0 0
1 2711 0 0
1 2712 0 0
1 2713 0 0
1 2714 0 0
1 2715 0 0
1 2716 0 0
1 2717 0 0
1 2718 0 0
1 2719 0 0
1 2720 0 0
1 2721 0 0
1 2722 0 0
1 2723 0 0
1 2724 0 0
1 2725 0 0
1 2726 0 0
1 2727 0 0
1 2728 0 0
1 2729 0 0
1 2730 0 0
1 2731 0 0
1 2732 0 0
1 2733 0 0
1 2734 0 0
1 2735 0 0
1 2736 0 0
1 2737 0 0
1 2738 0 0
1 2739 0 0
1 2740 0 0
1 2741 0 0
1 2742 0 0
1 2743 0 0
1 2744 0 0
1 2745 0 0
1 2746 0 0
1 2747 0 0
1 2748 0 0
1 2749 0 0
1 2750 0 0
1 2751 0 0
1 2752 0 0
1 2753 0 0
1 2754 0 0
1 2755 0 0
1 2756 0 0
1 2757 0 0
1 2758 0 0
1 2759 0 0
1 2760 0 0
1 2761 0 0
1 2762 0 0
1 2763 0 0
1 2764 0 0
1 2765 0 0
1 2766 0 0
1 2767 0 0
1 2768 0 0
1 2769 0 0
1 2770 0 0
1 2771 0 0
1 2772 0 0
1 2773 0 0
1 2774 0 0
1 2775 0 0
1 2776 0 0
1 2777 0 0
1 2778 0 0
1 2779 0 0
1 2780 0 0
1 2781 0 0
1 2782 0 0
1 2783 0 0
1 2784 0 0
1 2785 0 0
1 2786 0 0
1 2787 0 0
1 2788 0 0
1 2789 0 0
1 2790 0 0
1 2791 0 0
1 2792 0 0
1 2793 0 0
1 2794 0 0
1 2795 0 0
1 2796 0 0
1 2797 0 0
1 2798 0 0
1 2799 0 0
1 2800 0 0
1 2801 0 0
1 2802 0 0
1 2803 0 0
1 2804 0 0
1 2805 0 0
0
2805 reachable_goal
98 reachable(c50(city6__2,city6))
99 reachable(c50(city6__1,city6))
100 reachable(c50(city5__2,city5))
101 reachable(c50(city5__1,city5))
102 reachable(c50(city4__2,city4))
103 reachable(c50(city4__1,city4))
104 reachable(c50(city3__2,city3))
105 reachable(c50(city3__1,city3))
106 reachable(c50(city2__2,city2))
107 reachable(c50(city2__1,city2))
108 reachable(c50(city1__2,city1))
109 reachable(c50(city1__1,city1))
110 reachable(c49(city6__2,city6))
111 reachable(c49(city6__1,city6))
112 reachable(c49(city5__2,city5))
113 reachable(c49(city5__1,city5))
114 reachable(c49(city4__2,city4))
115 reachable(c49(city4__1,city4))
116 reachable(c49(city3__2,city3))
117 reachable(c49(city3__1,city3))
118 reachable(c49(city2__2,city2))
119 reachable(c49(city2__1,city2))
120 reachable(c49(city1__2,city1))
121 reachable(c49(city1__1,city1))
122 reachable(c57(city6__2))
123 reachable(c57(city5__2))
124 reachable(c57(city4__2))
125 reachable(c57(city3__2))
126 reachable(c57(city2__2))
127 reachable(c57(city1__2))
128 reachable(c56(city6__2))
129 reachable(c56(city5__2))
130 reachable(c56(city4__2))
131 reachable(c56(city3__2))
132 reachable(c56(city2__2))
133 reachable(c56(city1__2))
134 reachable(c55(plane2))
135 reachable(c55(plane1))
136 reachable(c47(city6))
137 reachable(c47(city5))
138 reachable(c47(city4))
139 reachable(c47(city3))
140 reachable(c47(city2))
141 reachable(c47(city1))
142 reachable(c46(city6__1))
143 reachable(c46(city5__1))
144 reachable(c46(city4__1))
145 reachable(c46(city3__1))
146 reachable(c46(city2__1))
147 reachable(c46(city1__1))
148 reachable(c46(city6__2))
149 reachable(c46(city5__2))
150 reachable(c46(city4__2))
151 reachable(c46(city3__2))
152 reachable(c46(city2__2))
153 reachable(c46(city1__2))
154 reachable(c45(city6__1))
155 reachable(c45(city5__1))
156 reachable(c45(city4__1))
157 reachable(c45(city3__1))
158 reachable(c45(city2__1))
159 reachable(c45(city1__1))
160 reachable(c45(city6__2))
161 reachable(c45(city5__2))
162 reachable(c45(city4__2))
163 reachable(c45(city3__2))
164 reachable(c45(city2__2))
165 reachable(c45(city1__2))
166 reachable(c44(truck6))
167 reachable(c44(truck5))
168 reachable(c44(truck4))
169 reachable(c44(truck3))
170 reachable(c44(truck2))
171 reachable(c44(truck1))
172 reachable(c37(city6__1))
173 reachable(c37(city5__1))
174 reachable(c37(city4__1))
175 reachable(c37(city3__1))
176 reachable(c37(city2__1))
177 reachable(c37(city1__1))
178 reachable(c37(city6__2))
179 reachable(c37(city5__2))
180 reachable(c37(city4__2))
181 reachable(c37(city3__2))
182 reachable(c37(city2__2))
183 reachable(c37(city1__2))
184 reachable(c36(plane2))
185 reachable(c36(plane1))
186 reachable(c35(package6))
187 reachable(c35(package5))
188 reachable(c35(package4))
189 reachable(c35(package3))
190 reachable(c35(package2))
191 reachable(c35(package1))
192 reachable(c19(city6__1))
193 reachable(c19(city5__1))
194 reachable(c19(city4__1))
195 reachable(c19(city3__1))
196 reachable(c19(city2__1))
197 reachable(c19(city1__1))
198 reachable(c19(city6__2))
199 reachable(c19(city5__2))
200 reachable(c19(city4__2))
201 reachable(c19(city3__2))
202 reachable(c19(city2__2))
203 reachable(c19(city1__2))
204 reachable(c18(plane2))
205 reachable(c18(plane1))
206 reachable(c17(package6))
207 reachable(c17(package5))
208 reachable(c17(package4))
209 reachable(c17(package3))
210 reachable(c17(package2))
211 reachable(c17(package1))
212 reachable(c28(city6__1))
213 reachable(c28(city5__1))
214 reachable(c28(city4__1))
215 reachable(c28(city3__1))
216 reachable(c28(city2__1))
217 reachable(c28(city1__1))
218 reachable(c28(city6__2))
219 reachable(c28(city5__2))
220 reachable(c28(city4__2))
221 reachable(c28(city3__2))
222 reachable(c28(city2__2))
223 reachable(c28(city1__2))
224 reachable(c27(truck6))
225 reachable(c27(truck5))
226 reachable(c27(truck4))
227 reachable(c27(truck3))
228 reachable(c27(truck2))
229 reachable(c27(truck1))
230 reachable(c26(package6))
231 reachable(c26(package5))
232 reachable(c26(package4))
233 reachable(c26(package3))
234 reachable(c26(package2))
235 reachable(c26(package1))
236 reachable(c10(city6__1))
237 reachable(c10(city5__1))
238 reachable(c10(city4__1))
239 reachable(c10(city3__1))
240 reachable(c10(city2__1))
241 reachable(c10(city1__1))
242 reachable(c10(city6__2))
243 reachable(c10(city5__2))
244 reachable(c10(city4__2))
245 reachable(c10(city3__2))
246 reachable(c10(city2__2))
247 reachable(c10(city1__2))
248 reachable(c9(truck6))
249 reachable(c9(truck5))
250 reachable(c9(truck4))
251 reachable(c9(truck3))
252 reachable(c9(truck2))
253 reachable(c9(truck1))
254 reachable(c8(package6))
255 reachable(c8(package5))
256 reachable(c8(package4))
257 reachable(c8(package3))
258 reachable(c8(package2))
259 reachable(c8(package1))
260 reachable(c11(plane2,city4__2))
261 reachable(c11(plane1,city4__2))
262 reachable(c11(truck6,city6__1))
263 reachable(c11(truck5,city5__1))
264 reachable(c11(truck4,city4__1))
265 reachable(c11(truck3,city3__1))
266 reachable(c11(truck2,city2__1))
267 reachable(c11(truck1,city1__1))
268 reachable(c11(package6,city3__1))
269 reachable(c11(package5,city4__2))
270 reachable(c11(package4,city1__1))
271 reachable(c11(package3,city1__1))
272 reachable(c11(package2,city1__2))
273 reachable(c11(package1,city2__1))
274 reachable(c29(plane2,city4__2))
275 reachable(c29(plane1,city4__2))
276 reachable(c29(truck6,city6__1))
277 reachable(c29(truck5,city5__1))
278 reachable(c29(truck4,city4__1))
279 reachable(c29(truck3,city3__1))
280 reachable(c29(truck2,city2__1))
281 reachable(c29(truck1,city1__1))
282 reachable(c29(package6,city3__1))
283 reachable(c29(package5,city4__2))
284 reachable(c29(package4,city1__1))
285 reachable(c29(package3,city1__1))
286 reachable(c29(package2,city1__2))
287 reachable(c29(package1,city2__1))
288 reachable(c20(plane2,city4__2))
289 reachable(c20(plane1,city4__2))
290 reachable(c20(truck6,city6__1))
291 reachable(c20(truck5,city5__1))
292 reachable(c20(truck4,city4__1))
293 reachable(c20(truck3,city3__1))
294 reachable(c20(truck2,city2__1))
295 reachable(c20(truck1,city1__1))
296 reachable(c20(package6,city3__1))
297 reachable(c20(package5,city4__2))
298 reachable(c20(package4,city1__1))
299 reachable(c20(package3,city1__1))
300 reachable(c20(package2,city1__2))
301 reachable(c20(package1,city2__1))
302 reachable(c58(plane2,city4__2))
303 reachable(c58(plane1,city4__2))
304 reachable(c58(truck6,city6__1))
305 reachable(c58(truck5,city5__1))
306 reachable(c58(truck4,city4__1))
307 reachable(c58(truck3,city3__1))
308 reachable(c58(truck2,city2__1))
309 reachable(c58(truck1,city1__1))
310 reachable(c58(package6,city3__1))
311 reachable(c58(package5,city4__2))
312 reachable(c58(package4,city1__1))
313 reachable(c58(package3,city1__1))
314 reachable(c58(package2,city1__2))
315 reachable(c58(package1,city2__1))
316 reachable(c48(plane2,city4__2))
317 reachable(c48(plane1,city4__2))
318 reachable(c48(truck6,city6__1))
319 reachable(c48(truck5,city5__1))
320 reachable(c48(truck4,city4__1))
321 reachable(c48(truck3,city3__1))
322 reachable(c48(truck2,city2__1))
323 reachable(c48(truck1,city1__1))
324 reachable(c48(package6,city3__1))
325 reachable(c48(package5,city4__2))
326 reachable(c48(package4,city1__1))
327 reachable(c48(package3,city1__1))
328 reachable(c48(package2,city1__2))
329 reachable(c48(package1,city2__1))
330 reachable(c39(plane2,city4__2))
331 reachable(c39(plane1,city4__2))
332 reachable(c39(truck6,city6__1))
333 reachable(c39(truck5,city5__1))
334 reachable(c39(truck4,city4__1))
335 reachable(c39(truck3,city3__1))
336 reachable(c39(truck2,city2__1))
337 reachable(c39(truck1,city1__1))
338 reachable(c39(package6,city3__1))
339 reachable(c39(package5,city4__2))
340 reachable(c39(package4,city1__1))
341 reachable(c39(package3,city1__1))
342 reachable(c39(package2,city1__2))
343 reachable(c39(package1,city2__1))
344 reachable(c21(plane2,city4__2))
345 reachable(c21(plane1,city4__2))
346 reachable(c21(truck6,city6__1))
347 reachable(c21(truck5,city5__1))
348 reachable(c21(truck4,city4__1))
349 reachable(c21(truck3,city3__1))
350 reachable(c21(truck2,city2__1))
351 reachable(c21(truck1,city1__1))
352 reachable(c21(package6,city3__1))
353 reachable(c21(package5,city4__2))
354 reachable(c21(package4,city1__1))
355 reachable(c21(package3,city1__1))
356 reachable(c21(package2,city1__2))
357 reachable(c21(package1,city2__1))
358 reachable(c12(plane2,city4__2))
359 reachable(c12(plane1,city4__2))
360 reachable(c12(truck6,city6__1))
361 reachable(c12(truck5,city5__1))
362 reachable(c12(truck4,city4__1))
363 reachable(c12(truck3,city3__1))
364 reachable(c12(truck2,city2__1))
365 reachable(c12(truck1,city1__1))
366 reachable(c12(package6,city3__1))
367 reachable(c12(package5,city4__2))
368 reachable(c12(package4,city1__1))
369 reachable(c12(package3,city1__1))
370 reachable(c12(package2,city1__2))
371 reachable(c12(package1,city2__1))
372 reachable(c54(plane2,city4__2,city6__2))
373 reachable(c54(plane2,city4__2,city5__2))
374 reachable(c54(plane2,city4__2,city4__2))
375 reachable(c54(plane2,city4__2,city3__2))
376 reachable(c54(plane2,city4__2,city2__2))
377 reachable(c54(plane2,city4__2,city1__2))
378 reachable(c54(plane1,city4__2,city6__2))
379 reachable(c54(plane1,city4__2,city5__2))
380 reachable(c54(plane1,city4__2,city4__2))
381 reachable(c54(plane1,city4__2,city3__2))
382 reachable(c54(plane1,city4__2,city2__2))
383 reachable(c54(plane1,city4__2,city1__2))
384 reachable(c43(truck6,city6__1,city6__2,city6))
385 reachable(c43(truck6,city6__1,city6__1,city6))
386 reachable(c43(truck5,city5__1,city5__2,city5))
387 reachable(c43(truck5,city5__1,city5__1,city5))
388 reachable(c43(truck4,city4__1,city4__2,city4))
389 reachable(c43(truck4,city4__1,city4__1,city4))
390 reachable(c43(truck3,city3__1,city3__2,city3))
391 reachable(c43(truck3,city3__1,city3__1,city3))
392 reachable(c43(truck2,city2__1,city2__2,city2))
393 reachable(c43(truck2,city2__1,city2__1,city2))
394 reachable(c43(truck1,city1__1,city1__2,city1))
395 reachable(c43(truck1,city1__1,city1__1,city1))
396 reachable(c16(package5,plane2,city4__2))
397 reachable(c16(package5,plane1,city4__2))
398 reachable(c7(package6,truck3,city3__1))
399 reachable(c7(package4,truck1,city1__1))
400 reachable(c7(package3,truck1,city1__1))
401 reachable(c7(package1,truck2,city2__1))
432 reachable(c13(package6,city3__1,truck3))
433 reachable(c13(package4,city1__1,truck1))
434 reachable(c13(package3,city1__1,truck1))
435 reachable(c13(package1,city2__1,truck2))
436 reachable(c22(package5,city4__2,plane2))
437 reachable(c22(package5,city4__2,plane1))
438 reachable(c59(plane2,city4__2,city6__2))
439 reachable(c59(plane2,city4__2,city5__2))
440 reachable(c59(plane2,city4__2,city4__2))
441 reachable(c59(plane2,city4__2,city3__2))
442 reachable(c59(plane2,city4__2,city2__2))
443 reachable(c59(plane2,city4__2,city1__2))
444 reachable(c59(plane1,city4__2,city6__2))
445 reachable(c59(plane1,city4__2,city5__2))
446 reachable(c59(plane1,city4__2,city4__2))
447 reachable(c59(plane1,city4__2,city3__2))
448 reachable(c59(plane1,city4__2,city2__2))
449 reachable(c59(plane1,city4__2,city1__2))
450 reachable(c51(truck6,city6__1,city6__2))
451 reachable(c51(truck6,city6__1,city6__1))
452 reachable(c51(truck5,city5__1,city5__2))
453 reachable(c51(truck5,city5__1,city5__1))
454 reachable(c51(truck4,city4__1,city4__2))
455 reachable(c51(truck4,city4__1,city4__1))
456 reachable(c51(truck3,city3__1,city3__2))
457 reachable(c51(truck3,city3__1,city3__1))
458 reachable(c51(truck2,city2__1,city2__2))
459 reachable(c51(truck2,city2__1,city2__1))
460 reachable(c51(truck1,city1__1,city1__2))
461 reachable(c51(truck1,city1__1,city1__1))
462 reachable(c15(package6,truck3))
463 reachable(c15(package4,truck1))
464 reachable(c15(package3,truck1))
465 reachable(c15(package1,truck2))
466 reachable(c24(package5,plane2))
467 reachable(c24(package5,plane1))
468 reachable(c61(plane2,city6__2))
469 reachable(c61(plane2,city5__2))
470 reachable(c61(plane2,city4__2))
471 reachable(c61(plane2,city3__2))
472 reachable(c61(plane2,city2__2))
473 reachable(c61(plane2,city1__2))
474 reachable(c61(plane1,city6__2))
475 reachable(c61(plane1,city5__2))
476 reachable(c61(plane1,city4__2))
477 reachable(c61(plane1,city3__2))
478 reachable(c61(plane1,city2__2))
479 reachable(c61(plane1,city1__2))
480 reachable(c53(truck6,city6__2))
481 reachable(c53(truck6,city6__1))
482 reachable(c53(truck5,city5__2))
483 reachable(c53(truck5,city5__1))
484 reachable(c53(truck4,city4__2))
485 reachable(c53(truck4,city4__1))
486 reachable(c53(truck3,city3__2))
487 reachable(c53(truck3,city3__1))
488 reachable(c53(truck2,city2__2))
489 reachable(c53(truck2,city2__1))
490 reachable(c53(truck1,city1__2))
491 reachable(c53(truck1,city1__1))
514 reachable(c38(package6,truck3))
515 reachable(c38(package4,truck1))
516 reachable(c38(package3,truck1))
517 reachable(c38(package1,truck2))
518 reachable(c38(package5,plane2))
519 reachable(c38(package5,plane1))
520 reachable(c30(package6,truck3))
521 reachable(c30(package4,truck1))
522 reachable(c30(package3,truck1))
523 reachable(c30(package1,truck2))
524 reachable(c30(package5,plane2))
525 reachable(c30(package5,plane1))
526 reachable(c11(plane2,city6__2))
527 reachable(c11(plane2,city5__2))
528 reachable(c11(plane2,city3__2))
529 reachable(c11(plane2,city2__2))
530 reachable(c11(plane2,city1__2))
531 reachable(c11(plane1,city6__2))
532 reachable(c11(plane1,city5__2))
533 reachable(c11(plane1,city3__2))
534 reachable(c11(plane1,city2__2))
535 reachable(c11(plane1,city1__2))
536 reachable(c11(truck6,city6__2))
537 reachable(c11(truck5,city5__2))
538 reachable(c11(truck4,city4__2))
539 reachable(c11(truck3,city3__2))
540 reachable(c11(truck2,city2__2))
541 reachable(c11(truck1,city1__2))
542 reachable(c29(plane2,city6__2))
543 reachable(c29(plane2,city5__2))
544 reachable(c29(plane2,city3__2))
545 reachable(c29(plane2,city2__2))
546 reachable(c29(plane2,city1__2))
547 reachable(c29(plane1,city6__2))
548 reachable(c29(plane1,city5__2))
549 reachable(c29(plane1,city3__2))
550 reachable(c29(plane1,city2__2))
551 reachable(c29(plane1,city1__2))
552 reachable(c29(truck6,city6__2))
553 reachable(c29(truck5,city5__2))
554 reachable(c29(truck4,city4__2))
555 reachable(c29(truck3,city3__2))
556 reachable(c29(truck2,city2__2))
557 reachable(c29(truck1,city1__2))
558 reachable(c20(plane2,city6__2))
559 reachable(c20(plane2,city5__2))
560 reachable(c20(plane2,city3__2))
561 reachable(c20(plane2,city2__2))
562 reachable(c20(plane2,city1__2))
563 reachable(c20(plane1,city6__2))
564 reachable(c20(plane1,city5__2))
565 reachable(c20(plane1,city3__2))
566 reachable(c20(plane1,city2__2))
567 reachable(c20(plane1,city1__2))
568 reachable(c20(truck6,city6__2))
569 reachable(c20(truck5,city5__2))
570 reachable(c20(truck4,city4__2))
571 reachable(c20(truck3,city3__2))
572 reachable(c20(truck2,city2__2))
573 reachable(c20(truck1,city1__2))
574 reachable(c58(plane2,city6__2))
575 reachable(c58(plane2,city5__2))
576 reachable(c58(plane2,city3__2))
577 reachable(c58(plane2,city2__2))
578 reachable(c58(plane2,city1__2))
579 reachable(c58(plane1,city6__2))
580 reachable(c58(plane1,city5__2))
581 reachable(c58(plane1,city3__2))
582 reachable(c58(plane1,city2__2))
583 reachable(c58(plane1,city1__2))
584 reachable(c58(truck6,city6__2))
585 reachable(c58(truck5,city5__2))
586 reachable(c58(truck4,city4__2))
587 reachable(c58(truck3,city3__2))
588 reachable(c58(truck2,city2__2))
589 reachable(c58(truck1,city1__2))
590 reachable(c48(plane2,city6__2))
591 reachable(c48(plane2,city5__2))
592 reachable(c48(plane2,city3__2))
593 reachable(c48(plane2,city2__2))
594 reachable(c48(plane2,city1__2))
595 reachable(c48(plane1,city6__2))
596 reachable(c48(plane1,city5__2))
597 reachable(c48(plane1,city3__2))
598 reachable(c48(plane1,city2__2))
599 reachable(c48(plane1,city1__2))
600 reachable(c48(truck6,city6__2))
601 reachable(c48(truck5,city5__2))
602 reachable(c48(truck4,city4__2))
603 reachable(c48(truck3,city3__2))
604 reachable(c48(truck2,city2__2))
605 reachable(c48(truck1,city1__2))
606 reachable(c39(plane2,city6__2))
607 reachable(c39(plane2,city5__2))
608 reachable(c39(plane2,city3__2))
609 reachable(c39(plane2,city2__2))
610 reachable(c39(plane2,city1__2))
611 reachable(c39(plane1,city6__2))
612 reachable(c39(plane1,city5__2))
613 reachable(c39(plane1,city3__2))
614 reachable(c39(plane1,city2__2))
615 reachable(c39(plane1,city1__2))
616 reachable(c39(truck6,city6__2))
617 reachable(c39(truck5,city5__2))
618 reachable(c39(truck4,city4__2))
619 reachable(c39(truck3,city3__2))
620 reachable(c39(truck2,city2__2))
621 reachable(c39(truck1,city1__2))
622 reachable(c21(plane2,city6__2))
623 reachable(c21(plane2,city5__2))
624 reachable(c21(plane2,city3__2))
625 reachable(c21(plane2,city2__2))
626 reachable(c21(plane2,city1__2))
627 reachable(c21(plane1,city6__2))
628 reachable(c21(plane1,city5__2))
629 reachable(c21(plane1,city3__2))
630 reachable(c21(plane1,city2__2))
631 reachable(c21(plane1,city1__2))
632 reachable(c21(truck6,city6__2))
633 reachable(c21(truck5,city5__2))
634 reachable(c21(truck4,city4__2))
635 reachable(c21(truck3,city3__2))
636 reachable(c21(truck2,city2__2))
637 reachable(c21(truck1,city1__2))
638 reachable(c12(plane2,city6__2))
639 reachable(c12(plane2,city5__2))
640 reachable(c12(plane2,city3__2))
641 reachable(c12(plane2,city2__2))
642 reachable(c12(plane2,city1__2))
643 reachable(c12(plane1,city6__2))
644 reachable(c12(plane1,city5__2))
645 reachable(c12(plane1,city3__2))
646 reachable(c12(plane1,city2__2))
647 reachable(c12(plane1,city1__2))
648 reachable(c12(truck6,city6__2))
649 reachable(c12(truck5,city5__2))
650 reachable(c12(truck4,city4__2))
651 reachable(c12(truck3,city3__2))
652 reachable(c12(truck2,city2__2))
653 reachable(c12(truck1,city1__2))
654 reachable(c34(package5,plane2,city4__2))
655 reachable(c34(package5,plane1,city4__2))
656 reachable(c25(package6,truck3,city3__1))
657 reachable(c25(package6,truck3,city3__2))
658 reachable(c25(package4,truck1,city1__1))
659 reachable(c25(package4,truck1,city1__2))
660 reachable(c25(package3,truck1,city1__1))
661 reachable(c25(package3,truck1,city1__2))
662 reachable(c25(package1,truck2,city2__1))
663 reachable(c25(package1,truck2,city2__2))
664 reachable(c7(package5,truck4,city4__2))
665 reachable(c7(package2,truck1,city1__2))
666 reachable(c54(plane2,city6__2,city6__2))
667 reachable(c54(plane2,city6__2,city5__2))
668 reachable(c54(plane2,city6__2,city4__2))
669 reachable(c54(plane2,city6__2,city3__2))
670 reachable(c54(plane2,city6__2,city2__2))
671 reachable(c54(plane2,city6__2,city1__2))
672 reachable(c54(plane2,city5__2,city6__2))
673 reachable(c54(plane2,city5__2,city5__2))
674 reachable(c54(plane2,city5__2,city4__2))
675 reachable(c54(plane2,city5__2,city3__2))
676 reachable(c54(plane2,city5__2,city2__2))
677 reachable(c54(plane2,city5__2,city1__2))
678 reachable(c54(plane2,city3__2,city6__2))
679 reachable(c54(plane2,city3__2,city5__2))
680 reachable(c54(plane2,city3__2,city4__2))
681 reachable(c54(plane2,city3__2,city3__2))
682 reachable(c54(plane2,city3__2,city2__2))
683 reachable(c54(plane2,city3__2,city1__2))
684 reachable(c54(plane2,city2__2,city6__2))
685 reachable(c54(plane2,city2__2,city5__2))
686 reachable(c54(plane2,city2__2,city4__2))
687 reachable(c54(plane2,city2__2,city3__2))
688 reachable(c54(plane2,city2__2,city2__2))
689 reachable(c54(plane2,city2__2,city1__2))
690 reachable(c54(plane2,city1__2,city6__2))
691 reachable(c54(plane2,city1__2,city5__2))
692 reachable(c54(plane2,city1__2,city4__2))
693 reachable(c54(plane2,city1__2,city3__2))
694 reachable(c54(plane2,city1__2,city2__2))
695 reachable(c54(plane2,city1__2,city1__2))
696 reachable(c54(plane1,city6__2,city6__2))
697 reachable(c54(plane1,city6__2,city5__2))
698 reachable(c54(plane1,city6__2,city4__2))
699 reachable(c54(plane1,city6__2,city3__2))
700 reachable(c54(plane1,city6__2,city2__2))
701 reachable(c54(plane1,city6__2,city1__2))
702 reachable(c54(plane1,city5__2,city6__2))
703 reachable(c54(plane1,city5__2,city5__2))
704 reachable(c54(plane1,city5__2,city4__2))
705 reachable(c54(plane1,city5__2,city3__2))
706 reachable(c54(plane1,city5__2,city2__2))
707 reachable(c54(plane1,city5__2,city1__2))
708 reachable(c54(plane1,city3__2,city6__2))
709 reachable(c54(plane1,city3__2,city5__2))
710 reachable(c54(plane1,city3__2,city4__2))
711 reachable(c54(plane1,city3__2,city3__2))
712 reachable(c54(plane1,city3__2,city2__2))
713 reachable(c54(plane1,city3__2,city1__2))
714 reachable(c54(plane1,city2__2,city6__2))
715 reachable(c54(plane1,city2__2,city5__2))
716 reachable(c54(plane1,city2__2,city4__2))
717 reachable(c54(plane1,city2__2,city3__2))
718 reachable(c54(plane1,city2__2,city2__2))
719 reachable(c54(plane1,city2__2,city1__2))
720 reachable(c54(plane1,city1__2,city6__2))
721 reachable(c54(plane1,city1__2,city5__2))
722 reachable(c54(plane1,city1__2,city4__2))
723 reachable(c54(plane1,city1__2,city3__2))
724 reachable(c54(plane1,city1__2,city2__2))
725 reachable(c54(plane1,city1__2,city1__2))
726 reachable(c43(truck6,city6__2,city6__2,city6))
727 reachable(c43(truck6,city6__2,city6__1,city6))
728 reachable(c43(truck5,city5__2,city5__2,city5))
729 reachable(c43(truck5,city5__2,city5__1,city5))
730 reachable(c43(truck4,city4__2,city4__2,city4))
731 reachable(c43(truck4,city4__2,city4__1,city4))
732 reachable(c43(truck3,city3__2,city3__2,city3))
733 reachable(c43(truck3,city3__2,city3__1,city3))
734 reachable(c43(truck2,city2__2,city2__2,city2))
735 reachable(c43(truck2,city2__2,city2__1,city2))
736 reachable(c43(truck1,city1__2,city1__2,city1))
737 reachable(c43(truck1,city1__2,city1__1,city1))
738 reachable(c34(package5,plane2,city6__2))
739 reachable(c34(package5,plane2,city5__2))
740 reachable(c34(package5,plane2,city3__2))
741 reachable(c34(package5,plane2,city2__2))
742 reachable(c34(package5,plane2,city1__2))
743 reachable(c34(package5,plane1,city6__2))
744 reachable(c34(package5,plane1,city5__2))
745 reachable(c34(package5,plane1,city3__2))
746 reachable(c34(package5,plane1,city2__2))
747 reachable(c34(package5,plane1,city1__2))
748 reachable(c16(package2,plane2,city1__2))
749 reachable(c16(package2,plane1,city1__2))
846 reachable(c40(package5,plane2,city4__2))
847 reachable(c40(package5,plane1,city4__2))
848 reachable(c40(package5,plane2,city6__2))
849 reachable(c40(package5,plane2,city5__2))
850 reachable(c40(package5,plane2,city3__2))
851 reachable(c40(package5,plane2,city2__2))
852 reachable(c40(package5,plane2,city1__2))
853 reachable(c40(package5,plane1,city6__2))
854 reachable(c40(package5,plane1,city5__2))
855 reachable(c40(package5,plane1,city3__2))
856 reachable(c40(package5,plane1,city2__2))
857 reachable(c40(package5,plane1,city1__2))
858 reachable(c31(package6,truck3,city3__1))
859 reachable(c31(package6,truck3,city3__2))
860 reachable(c31(package4,truck1,city1__1))
861 reachable(c31(package4,truck1,city1__2))
862 reachable(c31(package3,truck1,city1__1))
863 reachable(c31(package3,truck1,city1__2))
864 reachable(c31(package1,truck2,city2__1))
865 reachable(c31(package1,truck2,city2__2))
866 reachable(c13(package5,city4__2,truck4))
867 reachable(c13(package2,city1__2,truck1))
868 reachable(c22(package2,city1__2,plane2))
869 reachable(c22(package2,city1__2,plane1))
870 reachable(c59(plane2,city6__2,city6__2))
871 reachable(c59(plane2,city6__2,city5__2))
872 reachable(c59(plane2,city6__2,city4__2))
873 reachable(c59(plane2,city6__2,city3__2))
874 reachable(c59(plane2,city6__2,city2__2))
875 reachable(c59(plane2,city6__2,city1__2))
876 reachable(c59(plane2,city5__2,city6__2))
877 reachable(c59(plane2,city5__2,city5__2))
878 reachable(c59(plane2,city5__2,city4__2))
879 reachable(c59(plane2,city5__2,city3__2))
880 reachable(c59(plane2,city5__2,city2__2))
881 reachable(c59(plane2,city5__2,city1__2))
882 reachable(c59(plane2,city3__2,city6__2))
883 reachable(c59(plane2,city3__2,city5__2))
884 reachable(c59(plane2,city3__2,city4__2))
885 reachable(c59(plane2,city3__2,city3__2))
886 reachable(c59(plane2,city3__2,city2__2))
887 reachable(c59(plane2,city3__2,city1__2))
888 reachable(c59(plane2,city2__2,city6__2))
889 reachable(c59(plane2,city2__2,city5__2))
890 reachable(c59(plane2,city2__2,city4__2))
891 reachable(c59(plane2,city2__2,city3__2))
892 reachable(c59(plane2,city2__2,city2__2))
893 reachable(c59(plane2,city2__2,city1__2))
894 reachable(c59(plane2,city1__2,city6__2))
895 reachable(c59(plane2,city1__2,city5__2))
896 reachable(c59(plane2,city1__2,city4__2))
897 reachable(c59(plane2,city1__2,city3__2))
898 reachable(c59(plane2,city1__2,city2__2))
899 reachable(c59(plane2,city1__2,city1__2))
900 reachable(c59(plane1,city6__2,city6__2))
901 reachable(c59(plane1,city6__2,city5__2))
902 reachable(c59(plane1,city6__2,city4__2))
903 reachable(c59(plane1,city6__2,city3__2))
904 reachable(c59(plane1,city6__2,city2__2))
905 reachable(c59(plane1,city6__2,city1__2))
906 reachable(c59(plane1,city5__2,city6__2))
907 reachable(c59(plane1,city5__2,city5__2))
908 reachable(c59(plane1,city5__2,city4__2))
909 reachable(c59(plane1,city5__2,city3__2))
910 reachable(c59(plane1,city5__2,city2__2))
911 reachable(c59(plane1,city5__2,city1__2))
912 reachable(c59(plane1,city3__2,city6__2))
913 reachable(c59(plane1,city3__2,city5__2))
914 reachable(c59(plane1,city3__2,city4__2))
915 reachable(c59(plane1,city3__2,city3__2))
916 reachable(c59(plane1,city3__2,city2__2))
917 reachable(c59(plane1,city3__2,city1__2))
918 reachable(c59(plane1,city2__2,city6__2))
919 reachable(c59(plane1,city2__2,city5__2))
920 reachable(c59(plane1,city2__2,city4__2))
921 reachable(c59(plane1,city2__2,city3__2))
922 reachable(c59(plane1,city2__2,city2__2))
923 reachable(c59(plane1,city2__2,city1__2))
924 reachable(c59(plane1,city1__2,city6__2))
925 reachable(c59(plane1,city1__2,city5__2))
926 reachable(c59(plane1,city1__2,city4__2))
927 reachable(c59(plane1,city1__2,city3__2))
928 reachable(c59(plane1,city1__2,city2__2))
929 reachable(c59(plane1,city1__2,city1__2))
930 reachable(c51(truck6,city6__2,city6__2))
931 reachable(c51(truck6,city6__2,city6__1))
932 reachable(c51(truck5,city5__2,city5__2))
933 reachable(c51(truck5,city5__2,city5__1))
934 reachable(c51(truck4,city4__2,city4__2))
935 reachable(c51(truck4,city4__2,city4__1))
936 reachable(c51(truck3,city3__2,city3__2))
937 reachable(c51(truck3,city3__2,city3__1))
938 reachable(c51(truck2,city2__2,city2__2))
939 reachable(c51(truck2,city2__2,city2__1))
940 reachable(c51(truck1,city1__2,city1__2))
941 reachable(c51(truck1,city1__2,city1__1))
942 reachable(c42(package5,city4__2))
943 reachable(c42(package5,city6__2))
944 reachable(c42(package5,city5__2))
945 reachable(c42(package5,city3__2))
946 reachable(c42(package5,city2__2))
947 reachable(c42(package5,city1__2))
948 reachable(c33(package6,city3__1))
949 reachable(c33(package6,city3__2))
950 reachable(c33(package4,city1__1))
951 reachable(c33(package4,city1__2))
952 reachable(c33(package3,city1__1))
953 reachable(c33(package3,city1__2))
954 reachable(c33(package1,city2__1))
955 reachable(c33(package1,city2__2))
956 reachable(c15(package5,truck4))
957 reachable(c15(package2,truck1))
958 reachable(c24(package2,plane2))
959 reachable(c24(package2,plane1))
973 reachable(c11(package5,city6__2))
974 reachable(c11(package5,city5__2))
975 reachable(c11(package5,city3__2))
976 reachable(c11(package5,city2__2))
977 reachable(c11(package5,city1__2))
978 reachable(c11(package6,city3__2))
979 reachable(c11(package4,city1__2))
980 reachable(c11(package3,city1__2))
981 reachable(c11(package1,city2__2))
982 reachable(c29(package5,city6__2))
983 reachable(c29(package5,city5__2))
984 reachable(c29(package5,city3__2))
985 reachable(c29(package5,city2__2))
986 reachable(c29(package5,city1__2))
987 reachable(c29(package6,city3__2))
988 reachable(c29(package4,city1__2))
989 reachable(c29(package3,city1__2))
990 reachable(c29(package1,city2__2))
991 reachable(c20(package5,city6__2))
992 reachable(c20(package5,city5__2))
993 reachable(c20(package5,city3__2))
994 reachable(c20(package5,city2__2))
995 reachable(c20(package5,city1__2))
996 reachable(c20(package6,city3__2))
997 reachable(c20(package4,city1__2))
998 reachable(c20(package3,city1__2))
999 reachable(c20(package1,city2__2))
1000 reachable(c58(package5,city6__2))
1001 reachable(c58(package5,city5__2))
1002 reachable(c58(package5,city3__2))
1003 reachable(c58(package5,city2__2))
1004 reachable(c58(package5,city1__2))
1005 reachable(c58(package6,city3__2))
1006 reachable(c58(package4,city1__2))
1007 reachable(c58(package3,city1__2))
1008 reachable(c58(package1,city2__2))
1009 reachable(c48(package5,city6__2))
1010 reachable(c48(package5,city5__2))
1011 reachable(c48(package5,city3__2))
1012 reachable(c48(package5,city2__2))
1013 reachable(c48(package5,city1__2))
1014 reachable(c48(package6,city3__2))
1015 reachable(c48(package4,city1__2))
1016 reachable(c48(package3,city1__2))
1017 reachable(c48(package1,city2__2))
1018 reachable(c39(package5,city6__2))
1019 reachable(c39(package5,city5__2))
1020 reachable(c39(package5,city3__2))
1021 reachable(c39(package5,city2__2))
1022 reachable(c39(package5,city1__2))
1023 reachable(c39(package6,city3__2))
1024 reachable(c39(package4,city1__2))
1025 reachable(c39(package3,city1__2))
1026 reachable(c39(package1,city2__2))
1027 reachable(c21(package5,city6__2))
1028 reachable(c21(package5,city5__2))
1029 reachable(c21(package5,city3__2))
1030 reachable(c21(package5,city2__2))
1031 reachable(c21(package5,city1__2))
1032 reachable(c21(package6,city3__2))
1033 reachable(c21(package4,city1__2))
1034 reachable(c21(package3,city1__2))
1035 reachable(c21(package1,city2__2))
1036 reachable(c12(package5,city6__2))
1037 reachable(c12(package5,city5__2))
1038 reachable(c12(package5,city3__2))
1039 reachable(c12(package5,city2__2))
1040 reachable(c12(package5,city1__2))
1041 reachable(c12(package6,city3__2))
1042 reachable(c12(package4,city1__2))
1043 reachable(c12(package3,city1__2))
1044 reachable(c12(package1,city2__2))
1045 reachable(c38(package5,truck4))
1046 reachable(c38(package2,truck1))
1047 reachable(c38(package2,plane2))
1048 reachable(c38(package2,plane1))
1049 reachable(c30(package5,truck4))
1050 reachable(c30(package2,truck1))
1051 reachable(c30(package2,plane2))
1052 reachable(c30(package2,plane1))
1053 reachable(c16(package5,plane2,city6__2))
1054 reachable(c16(package5,plane1,city6__2))
1055 reachable(c16(package5,plane2,city5__2))
1056 reachable(c16(package5,plane1,city5__2))
1057 reachable(c16(package5,plane2,city3__2))
1058 reachable(c16(package5,plane1,city3__2))
1059 reachable(c16(package5,plane2,city2__2))
1060 reachable(c16(package5,plane1,city2__2))
1061 reachable(c16(package5,plane2,city1__2))
1062 reachable(c16(package5,plane1,city1__2))
1063 reachable(c16(package6,plane2,city3__2))
1064 reachable(c16(package6,plane1,city3__2))
1065 reachable(c16(package4,plane2,city1__2))
1066 reachable(c16(package4,plane1,city1__2))
1067 reachable(c16(package3,plane2,city1__2))
1068 reachable(c16(package3,plane1,city1__2))
1069 reachable(c16(package1,plane2,city2__2))
1070 reachable(c16(package1,plane1,city2__2))
1071 reachable(c7(package5,truck6,city6__2))
1072 reachable(c7(package5,truck5,city5__2))
1073 reachable(c7(package5,truck3,city3__2))
1074 reachable(c7(package5,truck2,city2__2))
1075 reachable(c7(package5,truck1,city1__2))
1076 reachable(c7(package6,truck3,city3__2))
1077 reachable(c7(package4,truck1,city1__2))
1078 reachable(c7(package3,truck1,city1__2))
1079 reachable(c7(package1,truck2,city2__2))
1080 reachable(c34(package2,plane2,city4__2))
1081 reachable(c34(package2,plane2,city6__2))
1082 reachable(c34(package2,plane2,city5__2))
1083 reachable(c34(package2,plane2,city3__2))
1084 reachable(c34(package2,plane2,city2__2))
1085 reachable(c34(package2,plane2,city1__2))
1086 reachable(c34(package2,plane1,city4__2))
1087 reachable(c34(package2,plane1,city6__2))
1088 reachable(c34(package2,plane1,city5__2))
1089 reachable(c34(package2,plane1,city3__2))
1090 reachable(c34(package2,plane1,city2__2))
1091 reachable(c34(package2,plane1,city1__2))
1092 reachable(c25(package5,truck4,city4__1))
1093 reachable(c25(package5,truck4,city4__2))
1094 reachable(c25(package2,truck1,city1__1))
1095 reachable(c25(package2,truck1,city1__2))
1139 reachable(c13(package5,city6__2,truck6))
1140 reachable(c13(package5,city5__2,truck5))
1141 reachable(c13(package5,city3__2,truck3))
1142 reachable(c13(package5,city2__2,truck2))
1143 reachable(c13(package5,city1__2,truck1))
1144 reachable(c13(package6,city3__2,truck3))
1145 reachable(c13(package4,city1__2,truck1))
1146 reachable(c13(package3,city1__2,truck1))
1147 reachable(c13(package1,city2__2,truck2))
1148 reachable(c31(package5,truck4,city4__1))
1149 reachable(c31(package5,truck4,city4__2))
1150 reachable(c31(package2,truck1,city1__1))
1151 reachable(c31(package2,truck1,city1__2))
1152 reachable(c22(package5,city6__2,plane2))
1153 reachable(c22(package5,city6__2,plane1))
1154 reachable(c22(package5,city5__2,plane2))
1155 reachable(c22(package5,city5__2,plane1))
1156 reachable(c22(package5,city3__2,plane2))
1157 reachable(c22(package5,city3__2,plane1))
1158 reachable(c22(package5,city2__2,plane2))
1159 reachable(c22(package5,city2__2,plane1))
1160 reachable(c22(package5,city1__2,plane2))
1161 reachable(c22(package5,city1__2,plane1))
1162 reachable(c22(package6,city3__2,plane2))
1163 reachable(c22(package6,city3__2,plane1))
1164 reachable(c22(package4,city1__2,plane2))
1165 reachable(c22(package4,city1__2,plane1))
1166 reachable(c22(package3,city1__2,plane2))
1167 reachable(c22(package3,city1__2,plane1))
1168 reachable(c22(package1,city2__2,plane2))
1169 reachable(c22(package1,city2__2,plane1))
1170 reachable(c40(package2,plane2,city4__2))
1171 reachable(c40(package2,plane2,city6__2))
1172 reachable(c40(package2,plane2,city5__2))
1173 reachable(c40(package2,plane2,city3__2))
1174 reachable(c40(package2,plane2,city2__2))
1175 reachable(c40(package2,plane2,city1__2))
1176 reachable(c40(package2,plane1,city4__2))
1177 reachable(c40(package2,plane1,city6__2))
1178 reachable(c40(package2,plane1,city5__2))
1179 reachable(c40(package2,plane1,city3__2))
1180 reachable(c40(package2,plane1,city2__2))
1181 reachable(c40(package2,plane1,city1__2))
1182 reachable(c15(package5,truck6))
1183 reachable(c15(package5,truck5))
1184 reachable(c15(package5,truck3))
1185 reachable(c15(package5,truck2))
1186 reachable(c15(package5,truck1))
1187 reachable(c33(package5,city4__1))
1188 reachable(c33(package5,city4__2))
1189 reachable(c33(package2,city1__1))
1190 reachable(c33(package2,city1__2))
1191 reachable(c24(package6,plane2))
1192 reachable(c24(package6,plane1))
1193 reachable(c24(package4,plane2))
1194 reachable(c24(package4,plane1))
1195 reachable(c24(package3,plane2))
1196 reachable(c24(package3,plane1))
1197 reachable(c24(package1,plane2))
1198 reachable(c24(package1,plane1))
1199 reachable(c42(package2,city4__2))
1200 reachable(c42(package2,city6__2))
1201 reachable(c42(package2,city5__2))
1202 reachable(c42(package2,city3__2))
1203 reachable(c42(package2,city2__2))
1204 reachable(c42(package2,city1__2))
1225 reachable(c38(package5,truck6))
1226 reachable(c38(package5,truck5))
1227 reachable(c38(package5,truck3))
1228 reachable(c38(package5,truck2))
1229 reachable(c38(package5,truck1))
1230 reachable(c38(package6,plane2))
1231 reachable(c38(package6,plane1))
1232 reachable(c38(package4,plane2))
1233 reachable(c38(package4,plane1))
1234 reachable(c38(package3,plane2))
1235 reachable(c38(package3,plane1))
1236 reachable(c38(package1,plane2))
1237 reachable(c38(package1,plane1))
1238 reachable(c30(package5,truck6))
1239 reachable(c30(package5,truck5))
1240 reachable(c30(package5,truck3))
1241 reachable(c30(package5,truck2))
1242 reachable(c30(package5,truck1))
1243 reachable(c30(package6,plane2))
1244 reachable(c30(package6,plane1))
1245 reachable(c30(package4,plane2))
1246 reachable(c30(package4,plane1))
1247 reachable(c30(package3,plane2))
1248 reachable(c30(package3,plane1))
1249 reachable(c30(package1,plane2))
1250 reachable(c30(package1,plane1))
1251 reachable(c11(package5,city4__1))
1252 reachable(c11(package2,city1__1))
1253 reachable(c11(package2,city4__2))
1254 reachable(c11(package2,city6__2))
1255 reachable(c11(package2,city5__2))
1256 reachable(c11(package2,city3__2))
1257 reachable(c11(package2,city2__2))
1258 reachable(c29(package5,city4__1))
1259 reachable(c29(package2,city1__1))
1260 reachable(c29(package2,city4__2))
1261 reachable(c29(package2,city6__2))
1262 reachable(c29(package2,city5__2))
1263 reachable(c29(package2,city3__2))
1264 reachable(c29(package2,city2__2))
1265 reachable(c20(package5,city4__1))
1266 reachable(c20(package2,city1__1))
1267 reachable(c20(package2,city4__2))
1268 reachable(c20(package2,city6__2))
1269 reachable(c20(package2,city5__2))
1270 reachable(c20(package2,city3__2))
1271 reachable(c20(package2,city2__2))
1272 reachable(c58(package5,city4__1))
1273 reachable(c58(package2,city1__1))
1274 reachable(c58(package2,city4__2))
1275 reachable(c58(package2,city6__2))
1276 reachable(c58(package2,city5__2))
1277 reachable(c58(package2,city3__2))
1278 reachable(c58(package2,city2__2))
1279 reachable(c48(package5,city4__1))
1280 reachable(c48(package2,city1__1))
1281 reachable(c48(package2,city4__2))
1282 reachable(c48(package2,city6__2))
1283 reachable(c48(package2,city5__2))
1284 reachable(c48(package2,city3__2))
1285 reachable(c48(package2,city2__2))
1286 reachable(c39(package5,city4__1))
1287 reachable(c39(package2,city1__1))
1288 reachable(c39(package2,city4__2))
1289 reachable(c39(package2,city6__2))
1290 reachable(c39(package2,city5__2))
1291 reachable(c39(package2,city3__2))
1292 reachable(c39(package2,city2__2))
1293 reachable(c21(package5,city4__1))
1294 reachable(c21(package2,city1__1))
1295 reachable(c21(package2,city4__2))
1296 reachable(c21(package2,city6__2))
1297 reachable(c21(package2,city5__2))
1298 reachable(c21(package2,city3__2))
1299 reachable(c21(package2,city2__2))
1300 reachable(c12(package5,city4__1))
1301 reachable(c12(package2,city1__1))
1302 reachable(c12(package2,city4__2))
1303 reachable(c12(package2,city6__2))
1304 reachable(c12(package2,city5__2))
1305 reachable(c12(package2,city3__2))
1306 reachable(c12(package2,city2__2))
1307 reachable(c34(package6,plane2,city4__2))
1308 reachable(c34(package6,plane2,city6__2))
1309 reachable(c34(package6,plane2,city5__2))
1310 reachable(c34(package6,plane2,city3__2))
1311 reachable(c34(package6,plane2,city2__2))
1312 reachable(c34(package6,plane2,city1__2))
1313 reachable(c34(package6,plane1,city4__2))
1314 reachable(c34(package6,plane1,city6__2))
1315 reachable(c34(package6,plane1,city5__2))
1316 reachable(c34(package6,plane1,city3__2))
1317 reachable(c34(package6,plane1,city2__2))
1318 reachable(c34(package6,plane1,city1__2))
1319 reachable(c34(package4,plane2,city4__2))
1320 reachable(c34(package4,plane2,city6__2))
1321 reachable(c34(package4,plane2,city5__2))
1322 reachable(c34(package4,plane2,city3__2))
1323 reachable(c34(package4,plane2,city2__2))
1324 reachable(c34(package4,plane2,city1__2))
1325 reachable(c34(package4,plane1,city4__2))
1326 reachable(c34(package4,plane1,city6__2))
1327 reachable(c34(package4,plane1,city5__2))
1328 reachable(c34(package4,plane1,city3__2))
1329 reachable(c34(package4,plane1,city2__2))
1330 reachable(c34(package4,plane1,city1__2))
1331 reachable(c34(package3,plane2,city4__2))
1332 reachable(c34(package3,plane2,city6__2))
1333 reachable(c34(package3,plane2,city5__2))
1334 reachable(c34(package3,plane2,city3__2))
1335 reachable(c34(package3,plane2,city2__2))
1336 reachable(c34(package3,plane2,city1__2))
1337 reachable(c34(package3,plane1,city4__2))
1338 reachable(c34(package3,plane1,city6__2))
1339 reachable(c34(package3,plane1,city5__2))
1340 reachable(c34(package3,plane1,city3__2))
1341 reachable(c34(package3,plane1,city2__2))
1342 reachable(c34(package3,plane1,city1__2))
1343 reachable(c34(package1,plane2,city4__2))
1344 reachable(c34(package1,plane2,city6__2))
1345 reachable(c34(package1,plane2,city5__2))
1346 reachable(c34(package1,plane2,city3__2))
1347 reachable(c34(package1,plane2,city2__2))
1348 reachable(c34(package1,plane2,city1__2))
1349 reachable(c34(package1,plane1,city4__2))
1350 reachable(c34(package1,plane1,city6__2))
1351 reachable(c34(package1,plane1,city5__2))
1352 reachable(c34(package1,plane1,city3__2))
1353 reachable(c34(package1,plane1,city2__2))
1354 reachable(c34(package1,plane1,city1__2))
1355 reachable(c25(package5,truck6,city6__1))
1356 reachable(c25(package5,truck6,city6__2))
1357 reachable(c25(package5,truck5,city5__1))
1358 reachable(c25(package5,truck5,city5__2))
1359 reachable(c25(package5,truck3,city3__1))
1360 reachable(c25(package5,truck3,city3__2))
1361 reachable(c25(package5,truck2,city2__1))
1362 reachable(c25(package5,truck2,city2__2))
1363 reachable(c25(package5,truck1,city1__1))
1364 reachable(c25(package5,truck1,city1__2))
1365 reachable(c16(package2,plane2,city4__2))
1366 reachable(c16(package2,plane1,city4__2))
1367 reachable(c16(package2,plane2,city6__2))
1368 reachable(c16(package2,plane1,city6__2))
1369 reachable(c16(package2,plane2,city5__2))
1370 reachable(c16(package2,plane1,city5__2))
1371 reachable(c16(package2,plane2,city3__2))
1372 reachable(c16(package2,plane1,city3__2))
1373 reachable(c16(package2,plane2,city2__2))
1374 reachable(c16(package2,plane1,city2__2))
1375 reachable(c7(package5,truck4,city4__1))
1376 reachable(c7(package2,truck1,city1__1))
1377 reachable(c7(package2,truck4,city4__2))
1378 reachable(c7(package2,truck6,city6__2))
1379 reachable(c7(package2,truck5,city5__2))
1380 reachable(c7(package2,truck3,city3__2))
1381 reachable(c7(package2,truck2,city2__2))
1457 reachable(c40(package6,plane2,city4__2))
1458 reachable(c40(package6,plane2,city6__2))
1459 reachable(c40(package6,plane2,city5__2))
1460 reachable(c40(package6,plane2,city3__2))
1461 reachable(c40(package6,plane2,city2__2))
1462 reachable(c40(package6,plane2,city1__2))
1463 reachable(c40(package6,plane1,city4__2))
1464 reachable(c40(package6,plane1,city6__2))
1465 reachable(c40(package6,plane1,city5__2))
1466 reachable(c40(package6,plane1,city3__2))
1467 reachable(c40(package6,plane1,city2__2))
1468 reachable(c40(package6,plane1,city1__2))
1469 reachable(c40(package4,plane2,city4__2))
1470 reachable(c40(package4,plane2,city6__2))
1471 reachable(c40(package4,plane2,city5__2))
1472 reachable(c40(package4,plane2,city3__2))
1473 reachable(c40(package4,plane2,city2__2))
1474 reachable(c40(package4,plane2,city1__2))
1475 reachable(c40(package4,plane1,city4__2))
1476 reachable(c40(package4,plane1,city6__2))
1477 reachable(c40(package4,plane1,city5__2))
1478 reachable(c40(package4,plane1,city3__2))
1479 reachable(c40(package4,plane1,city2__2))
1480 reachable(c40(package4,plane1,city1__2))
1481 reachable(c40(package3,plane2,city4__2))
1482 reachable(c40(package3,plane2,city6__2))
1483 reachable(c40(package3,plane2,city5__2))
1484 reachable(c40(package3,plane2,city3__2))
1485 reachable(c40(package3,plane2,city2__2))
1486 reachable(c40(package3,plane2,city1__2))
1487 reachable(c40(package3,plane1,city4__2))
1488 reachable(c40(package3,plane1,city6__2))
1489 reachable(c40(package3,plane1,city5__2))
1490 reachable(c40(package3,plane1,city3__2))
1491 reachable(c40(package3,plane1,city2__2))
1492 reachable(c40(package3,plane1,city1__2))
1493 reachable(c40(package1,plane2,city4__2))
1494 reachable(c40(package1,plane2,city6__2))
1495 reachable(c40(package1,plane2,city5__2))
1496 reachable(c40(package1,plane2,city3__2))
1497 reachable(c40(package1,plane2,city2__2))
1498 reachable(c40(package1,plane2,city1__2))
1499 reachable(c40(package1,plane1,city4__2))
1500 reachable(c40(package1,plane1,city6__2))
1501 reachable(c40(package1,plane1,city5__2))
1502 reachable(c40(package1,plane1,city3__2))
1503 reachable(c40(package1,plane1,city2__2))
1504 reachable(c40(package1,plane1,city1__2))
1505 reachable(c31(package5,truck6,city6__1))
1506 reachable(c31(package5,truck6,city6__2))
1507 reachable(c31(package5,truck5,city5__1))
1508 reachable(c31(package5,truck5,city5__2))
1509 reachable(c31(package5,truck3,city3__1))
1510 reachable(c31(package5,truck3,city3__2))
1511 reachable(c31(package5,truck2,city2__1))
1512 reachable(c31(package5,truck2,city2__2))
1513 reachable(c31(package5,truck1,city1__1))
1514 reachable(c31(package5,truck1,city1__2))
1515 reachable(c13(package5,city4__1,truck4))
1516 reachable(c13(package2,city1__1,truck1))
1517 reachable(c13(package2,city4__2,truck4))
1518 reachable(c13(package2,city6__2,truck6))
1519 reachable(c13(package2,city5__2,truck5))
1520 reachable(c13(package2,city3__2,truck3))
1521 reachable(c13(package2,city2__2,truck2))
1522 reachable(c22(package2,city4__2,plane2))
1523 reachable(c22(package2,city4__2,plane1))
1524 reachable(c22(package2,city6__2,plane2))
1525 reachable(c22(package2,city6__2,plane1))
1526 reachable(c22(package2,city5__2,plane2))
1527 reachable(c22(package2,city5__2,plane1))
1528 reachable(c22(package2,city3__2,plane2))
1529 reachable(c22(package2,city3__2,plane1))
1530 reachable(c22(package2,city2__2,plane2))
1531 reachable(c22(package2,city2__2,plane1))
1532 reachable(c42(package6,city4__2))
1533 reachable(c42(package6,city6__2))
1534 reachable(c42(package6,city5__2))
1535 reachable(c42(package6,city3__2))
1536 reachable(c42(package6,city2__2))
1537 reachable(c42(package6,city1__2))
1538 reachable(c42(package4,city4__2))
1539 reachable(c42(package4,city6__2))
1540 reachable(c42(package4,city5__2))
1541 reachable(c42(package4,city3__2))
1542 reachable(c42(package4,city2__2))
1543 reachable(c42(package4,city1__2))
1544 reachable(c42(package3,city4__2))
1545 reachable(c42(package3,city6__2))
1546 reachable(c42(package3,city5__2))
1547 reachable(c42(package3,city3__2))
1548 reachable(c42(package3,city2__2))
1549 reachable(c42(package3,city1__2))
1550 reachable(c42(package1,city4__2))
1551 reachable(c42(package1,city6__2))
1552 reachable(c42(package1,city5__2))
1553 reachable(c42(package1,city3__2))
1554 reachable(c42(package1,city2__2))
1555 reachable(c42(package1,city1__2))
1556 reachable(c33(package5,city6__1))
1557 reachable(c33(package5,city6__2))
1558 reachable(c33(package5,city5__1))
1559 reachable(c33(package5,city5__2))
1560 reachable(c33(package5,city3__1))
1561 reachable(c33(package5,city3__2))
1562 reachable(c33(package5,city2__1))
1563 reachable(c33(package5,city2__2))
1564 reachable(c33(package5,city1__1))
1565 reachable(c33(package5,city1__2))
1566 reachable(c15(package2,truck4))
1567 reachable(c15(package2,truck6))
1568 reachable(c15(package2,truck5))
1569 reachable(c15(package2,truck3))
1570 reachable(c15(package2,truck2))
1601 reachable(c11(package6,city4__2))
1602 reachable(c11(package6,city6__2))
1603 reachable(c11(package6,city5__2))
1604 reachable(c11(package6,city2__2))
1605 reachable(c11(package6,city1__2))
1606 reachable(c11(package4,city4__2))
1607 reachable(c11(package4,city6__2))
1608 reachable(c11(package4,city5__2))
1609 reachable(c11(package4,city3__2))
1610 reachable(c11(package4,city2__2))
1611 reachable(c11(package3,city4__2))
1612 reachable(c11(package3,city6__2))
1613 reachable(c11(package3,city5__2))
1614 reachable(c11(package3,city3__2))
1615 reachable(c11(package3,city2__2))
1616 reachable(c11(package1,city4__2))
1617 reachable(c11(package1,city6__2))
1618 reachable(c11(package1,city5__2))
1619 reachable(c11(package1,city3__2))
1620 reachable(c11(package1,city1__2))
1621 reachable(c11(package5,city6__1))
1622 reachable(c11(package5,city5__1))
1623 reachable(c11(package5,city3__1))
1624 reachable(c11(package5,city2__1))
1625 reachable(c11(package5,city1__1))
1626 reachable(c29(package6,city4__2))
1627 reachable(c29(package6,city6__2))
1628 reachable(c29(package6,city5__2))
1629 reachable(c29(package6,city2__2))
1630 reachable(c29(package6,city1__2))
1631 reachable(c29(package4,city4__2))
1632 reachable(c29(package4,city6__2))
1633 reachable(c29(package4,city5__2))
1634 reachable(c29(package4,city3__2))
1635 reachable(c29(package4,city2__2))
1636 reachable(c29(package3,city4__2))
1637 reachable(c29(package3,city6__2))
1638 reachable(c29(package3,city5__2))
1639 reachable(c29(package3,city3__2))
1640 reachable(c29(package3,city2__2))
1641 reachable(c29(package1,city4__2))
1642 reachable(c29(package1,city6__2))
1643 reachable(c29(package1,city5__2))
1644 reachable(c29(package1,city3__2))
1645 reachable(c29(package1,city1__2))
1646 reachable(c29(package5,city6__1))
1647 reachable(c29(package5,city5__1))
1648 reachable(c29(package5,city3__1))
1649 reachable(c29(package5,city2__1))
1650 reachable(c29(package5,city1__1))
1651 reachable(c20(package6,city4__2))
1652 reachable(c20(package6,city6__2))
1653 reachable(c20(package6,city5__2))
1654 reachable(c20(package6,city2__2))
1655 reachable(c20(package6,city1__2))
1656 reachable(c20(package4,city4__2))
1657 reachable(c20(package4,city6__2))
1658 reachable(c20(package4,city5__2))
1659 reachable(c20(package4,city3__2))
1660 reachable(c20(package4,city2__2))
1661 reachable(c20(package3,city4__2))
1662 reachable(c20(package3,city6__2))
1663 reachable(c20(package3,city5__2))
1664 reachable(c20(package3,city3__2))
1665 reachable(c20(package3,city2__2))
1666 reachable(c20(package1,city4__2))
1667 reachable(c20(package1,city6__2))
1668 reachable(c20(package1,city5__2))
1669 reachable(c20(package1,city3__2))
1670 reachable(c20(package1,city1__2))
1671 reachable(c20(package5,city6__1))
1672 reachable(c20(package5,city5__1))
1673 reachable(c20(package5,city3__1))
1674 reachable(c20(package5,city2__1))
1675 reachable(c20(package5,city1__1))
1676 reachable(c58(package6,city4__2))
1677 reachable(c58(package6,city6__2))
1678 reachable(c58(package6,city5__2))
1679 reachable(c58(package6,city2__2))
1680 reachable(c58(package6,city1__2))
1681 reachable(c58(package4,city4__2))
1682 reachable(c58(package4,city6__2))
1683 reachable(c58(package4,city5__2))
1684 reachable(c58(package4,city3__2))
1685 reachable(c58(package4,city2__2))
1686 reachable(c58(package3,city4__2))
1687 reachable(c58(package3,city6__2))
1688 reachable(c58(package3,city5__2))
1689 reachable(c58(package3,city3__2))
1690 reachable(c58(package3,city2__2))
1691 reachable(c58(package1,city4__2))
1692 reachable(c58(package1,city6__2))
1693 reachable(c58(package1,city5__2))
1694 reachable(c58(package1,city3__2))
1695 reachable(c58(package1,city1__2))
1696 reachable(c58(package5,city6__1))
1697 reachable(c58(package5,city5__1))
1698 reachable(c58(package5,city3__1))
1699 reachable(c58(package5,city2__1))
1700 reachable(c58(package5,city1__1))
1701 reachable(c48(package6,city4__2))
1702 reachable(c48(package6,city6__2))
1703 reachable(c48(package6,city5__2))
1704 reachable(c48(package6,city2__2))
1705 reachable(c48(package6,city1__2))
1706 reachable(c48(package4,city4__2))
1707 reachable(c48(package4,city6__2))
1708 reachable(c48(package4,city5__2))
1709 reachable(c48(package4,city3__2))
1710 reachable(c48(package4,city2__2))
1711 reachable(c48(package3,city4__2))
1712 reachable(c48(package3,city6__2))
1713 reachable(c48(package3,city5__2))
1714 reachable(c48(package3,city3__2))
1715 reachable(c48(package3,city2__2))
1716 reachable(c48(package1,city4__2))
1717 reachable(c48(package1,city6__2))
1718 reachable(c48(package1,city5__2))
1719 reachable(c48(package1,city3__2))
1720 reachable(c48(package1,city1__2))
1721 reachable(c48(package5,city6__1))
1722 reachable(c48(package5,city5__1))
1723 reachable(c48(package5,city3__1))
1724 reachable(c48(package5,city2__1))
1725 reachable(c48(package5,city1__1))
1726 reachable(c39(package6,city4__2))
1727 reachable(c39(package6,city6__2))
1728 reachable(c39(package6,city5__2))
1729 reachable(c39(package6,city2__2))
1730 reachable(c39(package6,city1__2))
1731 reachable(c39(package4,city4__2))
1732 reachable(c39(package4,city6__2))
1733 reachable(c39(package4,city5__2))
1734 reachable(c39(package4,city3__2))
1735 reachable(c39(package4,city2__2))
1736 reachable(c39(package3,city4__2))
1737 reachable(c39(package3,city6__2))
1738 reachable(c39(package3,city5__2))
1739 reachable(c39(package3,city3__2))
1740 reachable(c39(package3,city2__2))
1741 reachable(c39(package1,city4__2))
1742 reachable(c39(package1,city6__2))
1743 reachable(c39(package1,city5__2))
1744 reachable(c39(package1,city3__2))
1745 reachable(c39(package1,city1__2))
1746 reachable(c39(package5,city6__1))
1747 reachable(c39(package5,city5__1))
1748 reachable(c39(package5,city3__1))
1749 reachable(c39(package5,city2__1))
1750 reachable(c39(package5,city1__1))
1751 reachable(c21(package6,city4__2))
1752 reachable(c21(package6,city6__2))
1753 reachable(c21(package6,city5__2))
1754 reachable(c21(package6,city2__2))
1755 reachable(c21(package6,city1__2))
1756 reachable(c21(package4,city4__2))
1757 reachable(c21(package4,city6__2))
1758 reachable(c21(package4,city5__2))
1759 reachable(c21(package4,city3__2))
1760 reachable(c21(package4,city2__2))
1761 reachable(c21(package3,city4__2))
1762 reachable(c21(package3,city6__2))
1763 reachable(c21(package3,city5__2))
1764 reachable(c21(package3,city3__2))
1765 reachable(c21(package3,city2__2))
1766 reachable(c21(package1,city4__2))
1767 reachable(c21(package1,city6__2))
1768 reachable(c21(package1,city5__2))
1769 reachable(c21(package1,city3__2))
1770 reachable(c21(package1,city1__2))
1771 reachable(c21(package5,city6__1))
1772 reachable(c21(package5,city5__1))
1773 reachable(c21(package5,city3__1))
1774 reachable(c21(package5,city2__1))
1775 reachable(c21(package5,city1__1))
1776 reachable(c12(package6,city4__2))
1777 reachable(c12(package6,city6__2))
1778 reachable(c12(package6,city5__2))
1779 reachable(c12(package6,city2__2))
1780 reachable(c12(package6,city1__2))
1781 reachable(c12(package4,city4__2))
1782 reachable(c12(package4,city6__2))
1783 reachable(c12(package4,city5__2))
1784 reachable(c12(package4,city3__2))
1785 reachable(c12(package4,city2__2))
1786 reachable(c12(package3,city4__2))
1787 reachable(c12(package3,city6__2))
1788 reachable(c12(package3,city5__2))
1789 reachable(c12(package3,city3__2))
1790 reachable(c12(package3,city2__2))
1791 reachable(c12(package1,city4__2))
1792 reachable(c12(package1,city6__2))
1793 reachable(c12(package1,city5__2))
1794 reachable(c12(package1,city3__2))
1795 reachable(c12(package1,city1__2))
1796 reachable(c12(package5,city6__1))
1797 reachable(c12(package5,city5__1))
1798 reachable(c12(package5,city3__1))
1799 reachable(c12(package5,city2__1))
1800 reachable(c12(package5,city1__1))
1801 reachable(c38(package2,truck4))
1802 reachable(c38(package2,truck6))
1803 reachable(c38(package2,truck5))
1804 reachable(c38(package2,truck3))
1805 reachable(c38(package2,truck2))
1806 reachable(c30(package2,truck4))
1807 reachable(c30(package2,truck6))
1808 reachable(c30(package2,truck5))
1809 reachable(c30(package2,truck3))
1810 reachable(c30(package2,truck2))
1811 reachable(c16(package6,plane2,city4__2))
1812 reachable(c16(package6,plane1,city4__2))
1813 reachable(c16(package6,plane2,city6__2))
1814 reachable(c16(package6,plane1,city6__2))
1815 reachable(c16(package6,plane2,city5__2))
1816 reachable(c16(package6,plane1,city5__2))
1817 reachable(c16(package6,plane2,city2__2))
1818 reachable(c16(package6,plane1,city2__2))
1819 reachable(c16(package6,plane2,city1__2))
1820 reachable(c16(package6,plane1,city1__2))
1821 reachable(c16(package4,plane2,city4__2))
1822 reachable(c16(package4,plane1,city4__2))
1823 reachable(c16(package4,plane2,city6__2))
1824 reachable(c16(package4,plane1,city6__2))
1825 reachable(c16(package4,plane2,city5__2))
1826 reachable(c16(package4,plane1,city5__2))
1827 reachable(c16(package4,plane2,city3__2))
1828 reachable(c16(package4,plane1,city3__2))
1829 reachable(c16(package4,plane2,city2__2))
1830 reachable(c16(package4,plane1,city2__2))
1831 reachable(c16(package3,plane2,city4__2))
1832 reachable(c16(package3,plane1,city4__2))
1833 reachable(c16(package3,plane2,city6__2))
1834 reachable(c16(package3,plane1,city6__2))
1835 reachable(c16(package3,plane2,city5__2))
1836 reachable(c16(package3,plane1,city5__2))
1837 reachable(c16(package3,plane2,city3__2))
1838 reachable(c16(package3,plane1,city3__2))
1839 reachable(c16(package3,plane2,city2__2))
1840 reachable(c16(package3,plane1,city2__2))
1841 reachable(c16(package1,plane2,city4__2))
1842 reachable(c16(package1,plane1,city4__2))
1843 reachable(c16(package1,plane2,city6__2))
1844 reachable(c16(package1,plane1,city6__2))
1845 reachable(c16(package1,plane2,city5__2))
1846 reachable(c16(package1,plane1,city5__2))
1847 reachable(c16(package1,plane2,city3__2))
1848 reachable(c16(package1,plane1,city3__2))
1849 reachable(c16(package1,plane2,city1__2))
1850 reachable(c16(package1,plane1,city1__2))
1851 reachable(c7(package6,truck4,city4__2))
1852 reachable(c7(package6,truck6,city6__2))
1853 reachable(c7(package6,truck5,city5__2))
1854 reachable(c7(package6,truck2,city2__2))
1855 reachable(c7(package6,truck1,city1__2))
1856 reachable(c7(package4,truck4,city4__2))
1857 reachable(c7(package4,truck6,city6__2))
1858 reachable(c7(package4,truck5,city5__2))
1859 reachable(c7(package4,truck3,city3__2))
1860 reachable(c7(package4,truck2,city2__2))
1861 reachable(c7(package3,truck4,city4__2))
1862 reachable(c7(package3,truck6,city6__2))
1863 reachable(c7(package3,truck5,city5__2))
1864 reachable(c7(package3,truck3,city3__2))
1865 reachable(c7(package3,truck2,city2__2))
1866 reachable(c7(package1,truck4,city4__2))
1867 reachable(c7(package1,truck6,city6__2))
1868 reachable(c7(package1,truck5,city5__2))
1869 reachable(c7(package1,truck3,city3__2))
1870 reachable(c7(package1,truck1,city1__2))
1871 reachable(c7(package5,truck6,city6__1))
1872 reachable(c7(package5,truck5,city5__1))
1873 reachable(c7(package5,truck3,city3__1))
1874 reachable(c7(package5,truck2,city2__1))
1875 reachable(c7(package5,truck1,city1__1))
1876 reachable(c25(package2,truck4,city4__1))
1877 reachable(c25(package2,truck4,city4__2))
1878 reachable(c25(package2,truck6,city6__1))
1879 reachable(c25(package2,truck6,city6__2))
1880 reachable(c25(package2,truck5,city5__1))
1881 reachable(c25(package2,truck5,city5__2))
1882 reachable(c25(package2,truck3,city3__1))
1883 reachable(c25(package2,truck3,city3__2))
1884 reachable(c25(package2,truck2,city2__1))
1885 reachable(c25(package2,truck2,city2__2))
1961 reachable(c13(package6,city4__2,truck4))
1962 reachable(c13(package6,city6__2,truck6))
1963 reachable(c13(package6,city5__2,truck5))
1964 reachable(c13(package6,city2__2,truck2))
1965 reachable(c13(package6,city1__2,truck1))
1966 reachable(c13(package4,city4__2,truck4))
1967 reachable(c13(package4,city6__2,truck6))
1968 reachable(c13(package4,city5__2,truck5))
1969 reachable(c13(package4,city3__2,truck3))
1970 reachable(c13(package4,city2__2,truck2))
1971 reachable(c13(package3,city4__2,truck4))
1972 reachable(c13(package3,city6__2,truck6))
1973 reachable(c13(package3,city5__2,truck5))
1974 reachable(c13(package3,city3__2,truck3))
1975 reachable(c13(package3,city2__2,truck2))
1976 reachable(c13(package1,city4__2,truck4))
1977 reachable(c13(package1,city6__2,truck6))
1978 reachable(c13(package1,city5__2,truck5))
1979 reachable(c13(package1,city3__2,truck3))
1980 reachable(c13(package1,city1__2,truck1))
1981 reachable(c13(package5,city6__1,truck6))
1982 reachable(c13(package5,city5__1,truck5))
1983 reachable(c13(package5,city3__1,truck3))
1984 reachable(c13(package5,city2__1,truck2))
1985 reachable(c13(package5,city1__1,truck1))
1986 reachable(c31(package2,truck4,city4__1))
1987 reachable(c31(package2,truck4,city4__2))
1988 reachable(c31(package2,truck6,city6__1))
1989 reachable(c31(package2,truck6,city6__2))
1990 reachable(c31(package2,truck5,city5__1))
1991 reachable(c31(package2,truck5,city5__2))
1992 reachable(c31(package2,truck3,city3__1))
1993 reachable(c31(package2,truck3,city3__2))
1994 reachable(c31(package2,truck2,city2__1))
1995 reachable(c31(package2,truck2,city2__2))
1996 reachable(c22(package6,city4__2,plane2))
1997 reachable(c22(package6,city4__2,plane1))
1998 reachable(c22(package6,city6__2,plane2))
1999 reachable(c22(package6,city6__2,plane1))
2000 reachable(c22(package6,city5__2,plane2))
2001 reachable(c22(package6,city5__2,plane1))
2002 reachable(c22(package6,city2__2,plane2))
2003 reachable(c22(package6,city2__2,plane1))
2004 reachable(c22(package6,city1__2,plane2))
2005 reachable(c22(package6,city1__2,plane1))
2006 reachable(c22(package4,city4__2,plane2))
2007 reachable(c22(package4,city4__2,plane1))
2008 reachable(c22(package4,city6__2,plane2))
2009 reachable(c22(package4,city6__2,plane1))
2010 reachable(c22(package4,city5__2,plane2))
2011 reachable(c22(package4,city5__2,plane1))
2012 reachable(c22(package4,city3__2,plane2))
2013 reachable(c22(package4,city3__2,plane1))
2014 reachable(c22(package4,city2__2,plane2))
2015 reachable(c22(package4,city2__2,plane1))
2016 reachable(c22(package3,city4__2,plane2))
2017 reachable(c22(package3,city4__2,plane1))
2018 reachable(c22(package3,city6__2,plane2))
2019 reachable(c22(package3,city6__2,plane1))
2020 reachable(c22(package3,city5__2,plane2))
2021 reachable(c22(package3,city5__2,plane1))
2022 reachable(c22(package3,city3__2,plane2))
2023 reachable(c22(package3,city3__2,plane1))
2024 reachable(c22(package3,city2__2,plane2))
2025 reachable(c22(package3,city2__2,plane1))
2026 reachable(c22(package1,city4__2,plane2))
2027 reachable(c22(package1,city4__2,plane1))
2028 reachable(c22(package1,city6__2,plane2))
2029 reachable(c22(package1,city6__2,plane1))
2030 reachable(c22(package1,city5__2,plane2))
2031 reachable(c22(package1,city5__2,plane1))
2032 reachable(c22(package1,city3__2,plane2))
2033 reachable(c22(package1,city3__2,plane1))
2034 reachable(c22(package1,city1__2,plane2))
2035 reachable(c22(package1,city1__2,plane1))
2036 reachable(c15(package6,truck4))
2037 reachable(c15(package6,truck6))
2038 reachable(c15(package6,truck5))
2039 reachable(c15(package6,truck2))
2040 reachable(c15(package6,truck1))
2041 reachable(c15(package4,truck4))
2042 reachable(c15(package4,truck6))
2043 reachable(c15(package4,truck5))
2044 reachable(c15(package4,truck3))
2045 reachable(c15(package4,truck2))
2046 reachable(c15(package3,truck4))
2047 reachable(c15(package3,truck6))
2048 reachable(c15(package3,truck5))
2049 reachable(c15(package3,truck3))
2050 reachable(c15(package3,truck2))
2051 reachable(c15(package1,truck4))
2052 reachable(c15(package1,truck6))
2053 reachable(c15(package1,truck5))
2054 reachable(c15(package1,truck3))
2055 reachable(c15(package1,truck1))
2056 reachable(c33(package2,city4__1))
2057 reachable(c33(package2,city4__2))
2058 reachable(c33(package2,city6__1))
2059 reachable(c33(package2,city6__2))
2060 reachable(c33(package2,city5__1))
2061 reachable(c33(package2,city5__2))
2062 reachable(c33(package2,city3__1))
2063 reachable(c33(package2,city3__2))
2064 reachable(c33(package2,city2__1))
2065 reachable(c33(package2,city2__2))
2091 reachable(c38(package6,truck4))
2092 reachable(c38(package6,truck6))
2093 reachable(c38(package6,truck5))
2094 reachable(c38(package6,truck2))
2095 reachable(c38(package6,truck1))
2096 reachable(c38(package4,truck4))
2097 reachable(c38(package4,truck6))
2098 reachable(c38(package4,truck5))
2099 reachable(c38(package4,truck3))
2100 reachable(c38(package4,truck2))
2101 reachable(c38(package3,truck4))
2102 reachable(c38(package3,truck6))
2103 reachable(c38(package3,truck5))
2104 reachable(c38(package3,truck3))
2105 reachable(c38(package3,truck2))
2106 reachable(c38(package1,truck4))
2107 reachable(c38(package1,truck6))
2108 reachable(c38(package1,truck5))
2109 reachable(c38(package1,truck3))
2110 reachable(c38(package1,truck1))
2111 reachable(c30(package6,truck4))
2112 reachable(c30(package6,truck6))
2113 reachable(c30(package6,truck5))
2114 reachable(c30(package6,truck2))
2115 reachable(c30(package6,truck1))
2116 reachable(c30(package4,truck4))
2117 reachable(c30(package4,truck6))
2118 reachable(c30(package4,truck5))
2119 reachable(c30(package4,truck3))
2120 reachable(c30(package4,truck2))
2121 reachable(c30(package3,truck4))
2122 reachable(c30(package3,truck6))
2123 reachable(c30(package3,truck5))
2124 reachable(c30(package3,truck3))
2125 reachable(c30(package3,truck2))
2126 reachable(c30(package1,truck4))
2127 reachable(c30(package1,truck6))
2128 reachable(c30(package1,truck5))
2129 reachable(c30(package1,truck3))
2130 reachable(c30(package1,truck1))
2131 reachable(c11(package2,city4__1))
2132 reachable(c11(package2,city6__1))
2133 reachable(c11(package2,city5__1))
2134 reachable(c11(package2,city3__1))
2135 reachable(c11(package2,city2__1))
2136 reachable(c29(package2,city4__1))
2137 reachable(c29(package2,city6__1))
2138 reachable(c29(package2,city5__1))
2139 reachable(c29(package2,city3__1))
2140 reachable(c29(package2,city2__1))
2141 reachable(c20(package2,city4__1))
2142 reachable(c20(package2,city6__1))
2143 reachable(c20(package2,city5__1))
2144 reachable(c20(package2,city3__1))
2145 reachable(c20(package2,city2__1))
2146 reachable(c58(package2,city4__1))
2147 reachable(c58(package2,city6__1))
2148 reachable(c58(package2,city5__1))
2149 reachable(c58(package2,city3__1))
2150 reachable(c58(package2,city2__1))
2151 reachable(c48(package2,city4__1))
2152 reachable(c48(package2,city6__1))
2153 reachable(c48(package2,city5__1))
2154 reachable(c48(package2,city3__1))
2155 reachable(c48(package2,city2__1))
2156 reachable(c39(package2,city4__1))
2157 reachable(c39(package2,city6__1))
2158 reachable(c39(package2,city5__1))
2159 reachable(c39(package2,city3__1))
2160 reachable(c39(package2,city2__1))
2161 reachable(c21(package2,city4__1))
2162 reachable(c21(package2,city6__1))
2163 reachable(c21(package2,city5__1))
2164 reachable(c21(package2,city3__1))
2165 reachable(c21(package2,city2__1))
2166 reachable(c12(package2,city4__1))
2167 reachable(c12(package2,city6__1))
2168 reachable(c12(package2,city5__1))
2169 reachable(c12(package2,city3__1))
2170 reachable(c12(package2,city2__1))
2171 reachable(c25(package6,truck4,city4__1))
2172 reachable(c25(package6,truck4,city4__2))
2173 reachable(c25(package6,truck6,city6__1))
2174 reachable(c25(package6,truck6,city6__2))
2175 reachable(c25(package6,truck5,city5__1))
2176 reachable(c25(package6,truck5,city5__2))
2177 reachable(c25(package6,truck2,city2__1))
2178 reachable(c25(package6,truck2,city2__2))
2179 reachable(c25(package6,truck1,city1__1))
2180 reachable(c25(package6,truck1,city1__2))
2181 reachable(c25(package4,truck4,city4__1))
2182 reachable(c25(package4,truck4,city4__2))
2183 reachable(c25(package4,truck6,city6__1))
2184 reachable(c25(package4,truck6,city6__2))
2185 reachable(c25(package4,truck5,city5__1))
2186 reachable(c25(package4,truck5,city5__2))
2187 reachable(c25(package4,truck3,city3__1))
2188 reachable(c25(package4,truck3,city3__2))
2189 reachable(c25(package4,truck2,city2__1))
2190 reachable(c25(package4,truck2,city2__2))
2191 reachable(c25(package3,truck4,city4__1))
2192 reachable(c25(package3,truck4,city4__2))
2193 reachable(c25(package3,truck6,city6__1))
2194 reachable(c25(package3,truck6,city6__2))
2195 reachable(c25(package3,truck5,city5__1))
2196 reachable(c25(package3,truck5,city5__2))
2197 reachable(c25(package3,truck3,city3__1))
2198 reachable(c25(package3,truck3,city3__2))
2199 reachable(c25(package3,truck2,city2__1))
2200 reachable(c25(package3,truck2,city2__2))
2201 reachable(c25(package1,truck4,city4__1))
2202 reachable(c25(package1,truck4,city4__2))
2203 reachable(c25(package1,truck6,city6__1))
2204 reachable(c25(package1,truck6,city6__2))
2205 reachable(c25(package1,truck5,city5__1))
2206 reachable(c25(package1,truck5,city5__2))
2207 reachable(c25(package1,truck3,city3__1))
2208 reachable(c25(package1,truck3,city3__2))
2209 reachable(c25(package1,truck1,city1__1))
2210 reachable(c25(package1,truck1,city1__2))
2211 reachable(c7(package2,truck4,city4__1))
2212 reachable(c7(package2,truck6,city6__1))
2213 reachable(c7(package2,truck5,city5__1))
2214 reachable(c7(package2,truck3,city3__1))
2215 reachable(c7(package2,truck2,city2__1))
2261 reachable(c31(package6,truck4,city4__1))
2262 reachable(c31(package6,truck4,city4__2))
2263 reachable(c31(package6,truck6,city6__1))
2264 reachable(c31(package6,truck6,city6__2))
2265 reachable(c31(package6,truck5,city5__1))
2266 reachable(c31(package6,truck5,city5__2))
2267 reachable(c31(package6,truck2,city2__1))
2268 reachable(c31(package6,truck2,city2__2))
2269 reachable(c31(package6,truck1,city1__1))
2270 reachable(c31(package6,truck1,city1__2))
2271 reachable(c31(package4,truck4,city4__1))
2272 reachable(c31(package4,truck4,city4__2))
2273 reachable(c31(package4,truck6,city6__1))
2274 reachable(c31(package4,truck6,city6__2))
2275 reachable(c31(package4,truck5,city5__1))
2276 reachable(c31(package4,truck5,city5__2))
2277 reachable(c31(package4,truck3,city3__1))
2278 reachable(c31(package4,truck3,city3__2))
2279 reachable(c31(package4,truck2,city2__1))
2280 reachable(c31(package4,truck2,city2__2))
2281 reachable(c31(package3,truck4,city4__1))
2282 reachable(c31(package3,truck4,city4__2))
2283 reachable(c31(package3,truck6,city6__1))
2284 reachable(c31(package3,truck6,city6__2))
2285 reachable(c31(package3,truck5,city5__1))
2286 reachable(c31(package3,truck5,city5__2))
2287 reachable(c31(package3,truck3,city3__1))
2288 reachable(c31(package3,truck3,city3__2))
2289 reachable(c31(package3,truck2,city2__1))
2290 reachable(c31(package3,truck2,city2__2))
2291 reachable(c31(package1,truck4,city4__1))
2292 reachable(c31(package1,truck4,city4__2))
2293 reachable(c31(package1,truck6,city6__1))
2294 reachable(c31(package1,truck6,city6__2))
2295 reachable(c31(package1,truck5,city5__1))
2296 reachable(c31(package1,truck5,city5__2))
2297 reachable(c31(package1,truck3,city3__1))
2298 reachable(c31(package1,truck3,city3__2))
2299 reachable(c31(package1,truck1,city1__1))
2300 reachable(c31(package1,truck1,city1__2))
2301 reachable(c13(package2,city4__1,truck4))
2302 reachable(c13(package2,city6__1,truck6))
2303 reachable(c13(package2,city5__1,truck5))
2304 reachable(c13(package2,city3__1,truck3))
2305 reachable(c13(package2,city2__1,truck2))
2306 reachable(c33(package6,city4__1))
2307 reachable(c33(package6,city4__2))
2308 reachable(c33(package6,city6__1))
2309 reachable(c33(package6,city6__2))
2310 reachable(c33(package6,city5__1))
2311 reachable(c33(package6,city5__2))
2312 reachable(c33(package6,city2__1))
2313 reachable(c33(package6,city2__2))
2314 reachable(c33(package6,city1__1))
2315 reachable(c33(package6,city1__2))
2316 reachable(c33(package4,city4__1))
2317 reachable(c33(package4,city4__2))
2318 reachable(c33(package4,city6__1))
2319 reachable(c33(package4,city6__2))
2320 reachable(c33(package4,city5__1))
2321 reachable(c33(package4,city5__2))
2322 reachable(c33(package4,city3__1))
2323 reachable(c33(package4,city3__2))
2324 reachable(c33(package4,city2__1))
2325 reachable(c33(package4,city2__2))
2326 reachable(c33(package3,city4__1))
2327 reachable(c33(package3,city4__2))
2328 reachable(c33(package3,city6__1))
2329 reachable(c33(package3,city6__2))
2330 reachable(c33(package3,city5__1))
2331 reachable(c33(package3,city5__2))
2332 reachable(c33(package3,city3__1))
2333 reachable(c33(package3,city3__2))
2334 reachable(c33(package3,city2__1))
2335 reachable(c33(package3,city2__2))
2336 reachable(c33(package1,city4__1))
2337 reachable(c33(package1,city4__2))
2338 reachable(c33(package1,city6__1))
2339 reachable(c33(package1,city6__2))
2340 reachable(c33(package1,city5__1))
2341 reachable(c33(package1,city5__2))
2342 reachable(c33(package1,city3__1))
2343 reachable(c33(package1,city3__2))
2344 reachable(c33(package1,city1__1))
2345 reachable(c33(package1,city1__2))
2366 reachable(c11(package6,city4__1))
2367 reachable(c11(package6,city6__1))
2368 reachable(c11(package6,city5__1))
2369 reachable(c11(package6,city2__1))
2370 reachable(c11(package6,city1__1))
2371 reachable(c11(package4,city4__1))
2372 reachable(c11(package4,city6__1))
2373 reachable(c11(package4,city5__1))
2374 reachable(c11(package4,city3__1))
2375 reachable(c11(package4,city2__1))
2376 reachable(c11(package3,city4__1))
2377 reachable(c11(package3,city6__1))
2378 reachable(c11(package3,city5__1))
2379 reachable(c11(package3,city3__1))
2380 reachable(c11(package3,city2__1))
2381 reachable(c11(package1,city4__1))
2382 reachable(c11(package1,city6__1))
2383 reachable(c11(package1,city5__1))
2384 reachable(c11(package1,city3__1))
2385 reachable(c11(package1,city1__1))
2386 reachable(c29(package6,city4__1))
2387 reachable(c29(package6,city6__1))
2388 reachable(c29(package6,city5__1))
2389 reachable(c29(package6,city2__1))
2390 reachable(c29(package6,city1__1))
2391 reachable(c29(package4,city4__1))
2392 reachable(c29(package4,city6__1))
2393 reachable(c29(package4,city5__1))
2394 reachable(c29(package4,city3__1))
2395 reachable(c29(package4,city2__1))
2396 reachable(c29(package3,city4__1))
2397 reachable(c29(package3,city6__1))
2398 reachable(c29(package3,city5__1))
2399 reachable(c29(package3,city3__1))
2400 reachable(c29(package3,city2__1))
2401 reachable(c29(package1,city4__1))
2402 reachable(c29(package1,city6__1))
2403 reachable(c29(package1,city5__1))
2404 reachable(c29(package1,city3__1))
2405 reachable(c29(package1,city1__1))
2406 reachable(c20(package6,city4__1))
2407 reachable(c20(package6,city6__1))
2408 reachable(c20(package6,city5__1))
2409 reachable(c20(package6,city2__1))
2410 reachable(c20(package6,city1__1))
2411 reachable(c20(package4,city4__1))
2412 reachable(c20(package4,city6__1))
2413 reachable(c20(package4,city5__1))
2414 reachable(c20(package4,city3__1))
2415 reachable(c20(package4,city2__1))
2416 reachable(c20(package3,city4__1))
2417 reachable(c20(package3,city6__1))
2418 reachable(c20(package3,city5__1))
2419 reachable(c20(package3,city3__1))
2420 reachable(c20(package3,city2__1))
2421 reachable(c20(package1,city4__1))
2422 reachable(c20(package1,city6__1))
2423 reachable(c20(package1,city5__1))
2424 reachable(c20(package1,city3__1))
2425 reachable(c20(package1,city1__1))
2426 reachable(c58(package6,city4__1))
2427 reachable(c58(package6,city6__1))
2428 reachable(c58(package6,city5__1))
2429 reachable(c58(package6,city2__1))
2430 reachable(c58(package6,city1__1))
2431 reachable(c58(package4,city4__1))
2432 reachable(c58(package4,city6__1))
2433 reachable(c58(package4,city5__1))
2434 reachable(c58(package4,city3__1))
2435 reachable(c58(package4,city2__1))
2436 reachable(c58(package3,city4__1))
2437 reachable(c58(package3,city6__1))
2438 reachable(c58(package3,city5__1))
2439 reachable(c58(package3,city3__1))
2440 reachable(c58(package3,city2__1))
2441 reachable(c58(package1,city4__1))
2442 reachable(c58(package1,city6__1))
2443 reachable(c58(package1,city5__1))
2444 reachable(c58(package1,city3__1))
2445 reachable(c58(package1,city1__1))
2446 reachable(c48(package6,city4__1))
2447 reachable(c48(package6,city6__1))
2448 reachable(c48(package6,city5__1))
2449 reachable(c48(package6,city2__1))
2450 reachable(c48(package6,city1__1))
2451 reachable(c48(package4,city4__1))
2452 reachable(c48(package4,city6__1))
2453 reachable(c48(package4,city5__1))
2454 reachable(c48(package4,city3__1))
2455 reachable(c48(package4,city2__1))
2456 reachable(c48(package3,city4__1))
2457 reachable(c48(package3,city6__1))
2458 reachable(c48(package3,city5__1))
2459 reachable(c48(package3,city3__1))
2460 reachable(c48(package3,city2__1))
2461 reachable(c48(package1,city4__1))
2462 reachable(c48(package1,city6__1))
2463 reachable(c48(package1,city5__1))
2464 reachable(c48(package1,city3__1))
2465 reachable(c48(package1,city1__1))
2466 reachable(c39(package6,city4__1))
2467 reachable(c39(package6,city6__1))
2468 reachable(c39(package6,city5__1))
2469 reachable(c39(package6,city2__1))
2470 reachable(c39(package6,city1__1))
2471 reachable(c39(package4,city4__1))
2472 reachable(c39(package4,city6__1))
2473 reachable(c39(package4,city5__1))
2474 reachable(c39(package4,city3__1))
2475 reachable(c39(package4,city2__1))
2476 reachable(c39(package3,city4__1))
2477 reachable(c39(package3,city6__1))
2478 reachable(c39(package3,city5__1))
2479 reachable(c39(package3,city3__1))
2480 reachable(c39(package3,city2__1))
2481 reachable(c39(package1,city4__1))
2482 reachable(c39(package1,city6__1))
2483 reachable(c39(package1,city5__1))
2484 reachable(c39(package1,city3__1))
2485 reachable(c39(package1,city1__1))
2486 reachable(c21(package6,city4__1))
2487 reachable(c21(package6,city6__1))
2488 reachable(c21(package6,city5__1))
2489 reachable(c21(package6,city2__1))
2490 reachable(c21(package6,city1__1))
2491 reachable(c21(package4,city4__1))
2492 reachable(c21(package4,city6__1))
2493 reachable(c21(package4,city5__1))
2494 reachable(c21(package4,city3__1))
2495 reachable(c21(package4,city2__1))
2496 reachable(c21(package3,city4__1))
2497 reachable(c21(package3,city6__1))
2498 reachable(c21(package3,city5__1))
2499 reachable(c21(package3,city3__1))
2500 reachable(c21(package3,city2__1))
2501 reachable(c21(package1,city4__1))
2502 reachable(c21(package1,city6__1))
2503 reachable(c21(package1,city5__1))
2504 reachable(c21(package1,city3__1))
2505 reachable(c21(package1,city1__1))
2506 reachable(c12(package6,city4__1))
2507 reachable(c12(package6,city6__1))
2508 reachable(c12(package6,city5__1))
2509 reachable(c12(package6,city2__1))
2510 reachable(c12(package6,city1__1))
2511 reachable(c12(package4,city4__1))
2512 reachable(c12(package4,city6__1))
2513 reachable(c12(package4,city5__1))
2514 reachable(c12(package4,city3__1))
2515 reachable(c12(package4,city2__1))
2516 reachable(c12(package3,city4__1))
2517 reachable(c12(package3,city6__1))
2518 reachable(c12(package3,city5__1))
2519 reachable(c12(package3,city3__1))
2520 reachable(c12(package3,city2__1))
2521 reachable(c12(package1,city4__1))
2522 reachable(c12(package1,city6__1))
2523 reachable(c12(package1,city5__1))
2524 reachable(c12(package1,city3__1))
2525 reachable(c12(package1,city1__1))
2526 reachable(c7(package6,truck4,city4__1))
2527 reachable(c7(package6,truck6,city6__1))
2528 reachable(c7(package6,truck5,city5__1))
2529 reachable(c7(package6,truck2,city2__1))
2530 reachable(c7(package6,truck1,city1__1))
2531 reachable(c7(package4,truck4,city4__1))
2532 reachable(c7(package4,truck6,city6__1))
2533 reachable(c7(package4,truck5,city5__1))
2534 reachable(c7(package4,truck3,city3__1))
2535 reachable(c7(package4,truck2,city2__1))
2536 reachable(c7(package3,truck4,city4__1))
2537 reachable(c7(package3,truck6,city6__1))
2538 reachable(c7(package3,truck5,city5__1))
2539 reachable(c7(package3,truck3,city3__1))
2540 reachable(c7(package3,truck2,city2__1))
2541 reachable(c7(package1,truck4,city4__1))
2542 reachable(c7(package1,truck6,city6__1))
2543 reachable(c7(package1,truck5,city5__1))
2544 reachable(c7(package1,truck3,city3__1))
2545 reachable(c7(package1,truck1,city1__1))
2566 reachable(c13(package6,city4__1,truck4))
2567 reachable(c13(package6,city6__1,truck6))
2568 reachable(c13(package6,city5__1,truck5))
2569 reachable(c13(package6,city2__1,truck2))
2570 reachable(c13(package6,city1__1,truck1))
2571 reachable(c13(package4,city4__1,truck4))
2572 reachable(c13(package4,city6__1,truck6))
2573 reachable(c13(package4,city5__1,truck5))
2574 reachable(c13(package4,city3__1,truck3))
2575 reachable(c13(package4,city2__1,truck2))
2576 reachable(c13(package3,city4__1,truck4))
2577 reachable(c13(package3,city6__1,truck6))
2578 reachable(c13(package3,city5__1,truck5))
2579 reachable(c13(package3,city3__1,truck3))
2580 reachable(c13(package3,city2__1,truck2))
2581 reachable(c13(package1,city4__1,truck4))
2582 reachable(c13(package1,city6__1,truck6))
2583 reachable(c13(package1,city5__1,truck5))
2584 reachable(c13(package1,city3__1,truck3))
2585 reachable(c13(package1,city1__1,truck1))
2586 reachable(c14(package6,city3__1))
2587 reachable(c14(package4,city1__1))
2588 reachable(c14(package3,city1__1))
2589 reachable(c14(package1,city2__1))
2590 reachable(c14(package5,city4__2))
2591 reachable(c14(package2,city1__2))
2592 reachable(c14(package5,city6__2))
2593 reachable(c14(package5,city5__2))
2594 reachable(c14(package5,city3__2))
2595 reachable(c14(package5,city2__2))
2596 reachable(c14(package5,city1__2))
2597 reachable(c14(package6,city3__2))
2598 reachable(c14(package4,city1__2))
2599 reachable(c14(package3,city1__2))
2600 reachable(c14(package1,city2__2))
2601 reachable(c14(package5,city4__1))
2602 reachable(c14(package2,city1__1))
2603 reachable(c14(package2,city4__2))
2604 reachable(c14(package2,city6__2))
2605 reachable(c14(package2,city5__2))
2606 reachable(c14(package2,city3__2))
2607 reachable(c14(package2,city2__2))
2608 reachable(c14(package6,city4__2))
2609 reachable(c14(package6,city6__2))
2610 reachable(c14(package6,city5__2))
2611 reachable(c14(package6,city2__2))
2612 reachable(c14(package6,city1__2))
2613 reachable(c14(package4,city4__2))
2614 reachable(c14(package4,city6__2))
2615 reachable(c14(package4,city5__2))
2616 reachable(c14(package4,city3__2))
2617 reachable(c14(package4,city2__2))
2618 reachable(c14(package3,city4__2))
2619 reachable(c14(package3,city6__2))
2620 reachable(c14(package3,city5__2))
2621 reachable(c14(package3,city3__2))
2622 reachable(c14(package3,city2__2))
2623 reachable(c14(package1,city4__2))
2624 reachable(c14(package1,city6__2))
2625 reachable(c14(package1,city5__2))
2626 reachable(c14(package1,city3__2))
2627 reachable(c14(package1,city1__2))
2628 reachable(c14(package5,city6__1))
2629 reachable(c14(package5,city5__1))
2630 reachable(c14(package5,city3__1))
2631 reachable(c14(package5,city2__1))
2632 reachable(c14(package5,city1__1))
2633 reachable(c14(package2,city4__1))
2634 reachable(c14(package2,city6__1))
2635 reachable(c14(package2,city5__1))
2636 reachable(c14(package2,city3__1))
2637 reachable(c14(package2,city2__1))
2638 reachable(c14(package6,city4__1))
2639 reachable(c14(package6,city6__1))
2640 reachable(c14(package6,city5__1))
2641 reachable(c14(package6,city2__1))
2642 reachable(c14(package6,city1__1))
2643 reachable(c14(package4,city4__1))
2644 reachable(c14(package4,city6__1))
2645 reachable(c14(package4,city5__1))
2646 reachable(c14(package4,city3__1))
2647 reachable(c14(package4,city2__1))
2648 reachable(c14(package3,city4__1))
2649 reachable(c14(package3,city6__1))
2650 reachable(c14(package3,city5__1))
2651 reachable(c14(package3,city3__1))
2652 reachable(c14(package3,city2__1))
2653 reachable(c14(package1,city4__1))
2654 reachable(c14(package1,city6__1))
2655 reachable(c14(package1,city5__1))
2656 reachable(c14(package1,city3__1))
2657 reachable(c14(package1,city1__1))
2658 reachable(c23(package5,city4__2))
2659 reachable(c23(package2,city1__2))
2660 reachable(c23(package5,city6__2))
2661 reachable(c23(package5,city5__2))
2662 reachable(c23(package5,city3__2))
2663 reachable(c23(package5,city2__2))
2664 reachable(c23(package5,city1__2))
2665 reachable(c23(package6,city3__2))
2666 reachable(c23(package4,city1__2))
2667 reachable(c23(package3,city1__2))
2668 reachable(c23(package1,city2__2))
2669 reachable(c23(package2,city4__2))
2670 reachable(c23(package2,city6__2))
2671 reachable(c23(package2,city5__2))
2672 reachable(c23(package2,city3__2))
2673 reachable(c23(package2,city2__2))
2674 reachable(c23(package6,city4__2))
2675 reachable(c23(package6,city6__2))
2676 reachable(c23(package6,city5__2))
2677 reachable(c23(package6,city2__2))
2678 reachable(c23(package6,city1__2))
2679 reachable(c23(package4,city4__2))
2680 reachable(c23(package4,city6__2))
2681 reachable(c23(package4,city5__2))
2682 reachable(c23(package4,city3__2))
2683 reachable(c23(package4,city2__2))
2684 reachable(c23(package3,city4__2))
2685 reachable(c23(package3,city6__2))
2686 reachable(c23(package3,city5__2))
2687 reachable(c23(package3,city3__2))
2688 reachable(c23(package3,city2__2))
2689 reachable(c23(package1,city4__2))
2690 reachable(c23(package1,city6__2))
2691 reachable(c23(package1,city5__2))
2692 reachable(c23(package1,city3__2))
2693 reachable(c23(package1,city1__2))
2694 reachable(c32(package6,truck3))
2695 reachable(c32(package4,truck1))
2696 reachable(c32(package3,truck1))
2697 reachable(c32(package1,truck2))
2698 reachable(c32(package5,truck4))
2699 reachable(c32(package2,truck1))
2700 reachable(c32(package5,truck6))
2701 reachable(c32(package5,truck5))
2702 reachable(c32(package5,truck3))
2703 reachable(c32(package5,truck2))
2704 reachable(c32(package5,truck1))
2705 reachable(c32(package2,truck4))
2706 reachable(c32(package2,truck6))
2707 reachable(c32(package2,truck5))
2708 reachable(c32(package2,truck3))
2709 reachable(c32(package2,truck2))
2710 reachable(c32(package6,truck4))
2711 reachable(c32(package6,truck6))
2712 reachable(c32(package6,truck5))
2713 reachable(c32(package6,truck2))
2714 reachable(c32(package6,truck1))
2715 reachable(c32(package4,truck4))
2716 reachable(c32(package4,truck6))
2717 reachable(c32(package4,truck5))
2718 reachable(c32(package4,truck3))
2719 reachable(c32(package4,truck2))
2720 reachable(c32(package3,truck4))
2721 reachable(c32(package3,truck6))
2722 reachable(c32(package3,truck5))
2723 reachable(c32(package3,truck3))
2724 reachable(c32(package3,truck2))
2725 reachable(c32(package1,truck4))
2726 reachable(c32(package1,truck6))
2727 reachable(c32(package1,truck5))
2728 reachable(c32(package1,truck3))
2729 reachable(c32(package1,truck1))
2730 reachable(c41(package5,plane2))
2731 reachable(c41(package5,plane1))
2732 reachable(c41(package2,plane2))
2733 reachable(c41(package2,plane1))
2734 reachable(c41(package6,plane2))
2735 reachable(c41(package6,plane1))
2736 reachable(c41(package4,plane2))
2737 reachable(c41(package4,plane1))
2738 reachable(c41(package3,plane2))
2739 reachable(c41(package3,plane1))
2740 reachable(c41(package1,plane2))
2741 reachable(c41(package1,plane1))
2742 reachable(c52(truck6,city6__1))
2743 reachable(c52(truck5,city5__1))
2744 reachable(c52(truck4,city4__1))
2745 reachable(c52(truck3,city3__1))
2746 reachable(c52(truck2,city2__1))
2747 reachable(c52(truck1,city1__1))
2748 reachable(c52(truck6,city6__2))
2749 reachable(c52(truck5,city5__2))
2750 reachable(c52(truck4,city4__2))
2751 reachable(c52(truck3,city3__2))
2752 reachable(c52(truck2,city2__2))
2753 reachable(c52(truck1,city1__2))
2754 reachable(c60(plane2,city4__2))
2755 reachable(c60(plane1,city4__2))
2756 reachable(c60(plane2,city6__2))
2757 reachable(c60(plane2,city5__2))
2758 reachable(c60(plane2,city3__2))
2759 reachable(c60(plane2,city2__2))
2760 reachable(c60(plane2,city1__2))
2761 reachable(c60(plane1,city6__2))
2762 reachable(c60(plane1,city5__2))
2763 reachable(c60(plane1,city3__2))
2764 reachable(c60(plane1,city2__2))
2765 reachable(c60(plane1,city1__2))
2798 reachable(c6)
2799 reachable(c5)
2800 reachable(c4)
2801 reachable(c3)
2802 reachable(c2)
2803 reachable(c1)
2804 reachable(c0)
402 reachable_a(load__truck(package6,truck3,city3__1))
403 reachable_a(load__truck(package4,truck1,city1__1))
404 reachable_a(load__truck(package3,truck1,city1__1))
405 reachable_a(load__truck(package1,truck2,city2__1))
406 reachable_a(load__airplane(package5,plane2,city4__2))
407 reachable_a(load__airplane(package5,plane1,city4__2))
408 reachable_a(fly__airplane(plane2,city4__2,city6__2))
409 reachable_a(fly__airplane(plane2,city4__2,city5__2))
410 reachable_a(fly__airplane(plane2,city4__2,city4__2))
411 reachable_a(fly__airplane(plane2,city4__2,city3__2))
412 reachable_a(fly__airplane(plane2,city4__2,city2__2))
413 reachable_a(fly__airplane(plane2,city4__2,city1__2))
414 reachable_a(fly__airplane(plane1,city4__2,city6__2))
415 reachable_a(fly__airplane(plane1,city4__2,city5__2))
416 reachable_a(fly__airplane(plane1,city4__2,city4__2))
417 reachable_a(fly__airplane(plane1,city4__2,city3__2))
418 reachable_a(fly__airplane(plane1,city4__2,city2__2))
419 reachable_a(fly__airplane(plane1,city4__2,city1__2))
420 reachable_a(drive__truck(truck6,city6__1,city6__2,city6))
421 reachable_a(drive__truck(truck6,city6__1,city6__1,city6))
422 reachable_a(drive__truck(truck5,city5__1,city5__2,city5))
423 reachable_a(drive__truck(truck5,city5__1,city5__1,city5))
424 reachable_a(drive__truck(truck4,city4__1,city4__2,city4))
425 reachable_a(drive__truck(truck4,city4__1,city4__1,city4))
426 reachable_a(drive__truck(truck3,city3__1,city3__2,city3))
427 reachable_a(drive__truck(truck3,city3__1,city3__1,city3))
428 reachable_a(drive__truck(truck2,city2__1,city2__2,city2))
429 reachable_a(drive__truck(truck2,city2__1,city2__1,city2))
430 reachable_a(drive__truck(truck1,city1__1,city1__2,city1))
431 reachable_a(drive__truck(truck1,city1__1,city1__1,city1))
750 reachable_a(unload__airplane(package5,plane2,city4__2))
751 reachable_a(unload__airplane(package5,plane1,city4__2))
752 reachable_a(unload__airplane(package5,plane2,city6__2))
753 reachable_a(unload__airplane(package5,plane2,city5__2))
754 reachable_a(unload__airplane(package5,plane2,city3__2))
755 reachable_a(unload__airplane(package5,plane2,city2__2))
756 reachable_a(unload__airplane(package5,plane2,city1__2))
757 reachable_a(unload__airplane(package5,plane1,city6__2))
758 reachable_a(unload__airplane(package5,plane1,city5__2))
759 reachable_a(unload__airplane(package5,plane1,city3__2))
760 reachable_a(unload__airplane(package5,plane1,city2__2))
761 reachable_a(unload__airplane(package5,plane1,city1__2))
762 reachable_a(unload__truck(package6,truck3,city3__1))
763 reachable_a(unload__truck(package6,truck3,city3__2))
764 reachable_a(unload__truck(package4,truck1,city1__1))
765 reachable_a(unload__truck(package4,truck1,city1__2))
766 reachable_a(unload__truck(package3,truck1,city1__1))
767 reachable_a(unload__truck(package3,truck1,city1__2))
768 reachable_a(unload__truck(package1,truck2,city2__1))
769 reachable_a(unload__truck(package1,truck2,city2__2))
770 reachable_a(load__truck(package5,truck4,city4__2))
771 reachable_a(load__truck(package2,truck1,city1__2))
772 reachable_a(load__airplane(package2,plane2,city1__2))
773 reachable_a(load__airplane(package2,plane1,city1__2))
774 reachable_a(fly__airplane(plane2,city6__2,city6__2))
775 reachable_a(fly__airplane(plane2,city6__2,city5__2))
776 reachable_a(fly__airplane(plane2,city6__2,city4__2))
777 reachable_a(fly__airplane(plane2,city6__2,city3__2))
778 reachable_a(fly__airplane(plane2,city6__2,city2__2))
779 reachable_a(fly__airplane(plane2,city6__2,city1__2))
780 reachable_a(fly__airplane(plane2,city5__2,city6__2))
781 reachable_a(fly__airplane(plane2,city5__2,city5__2))
782 reachable_a(fly__airplane(plane2,city5__2,city4__2))
783 reachable_a(fly__airplane(plane2,city5__2,city3__2))
784 reachable_a(fly__airplane(plane2,city5__2,city2__2))
785 reachable_a(fly__airplane(plane2,city5__2,city1__2))
786 reachable_a(fly__airplane(plane2,city3__2,city6__2))
787 reachable_a(fly__airplane(plane2,city3__2,city5__2))
788 reachable_a(fly__airplane(plane2,city3__2,city4__2))
789 reachable_a(fly__airplane(plane2,city3__2,city3__2))
790 reachable_a(fly__airplane(plane2,city3__2,city2__2))
791 reachable_a(fly__airplane(plane2,city3__2,city1__2))
792 reachable_a(fly__airplane(plane2,city2__2,city6__2))
793 reachable_a(fly__airplane(plane2,city2__2,city5__2))
794 reachable_a(fly__airplane(plane2,city2__2,city4__2))
795 reachable_a(fly__airplane(plane2,city2__2,city3__2))
796 reachable_a(fly__airplane(plane2,city2__2,city2__2))
797 reachable_a(fly__airplane(plane2,city2__2,city1__2))
798 reachable_a(fly__airplane(plane2,city1__2,city6__2))
799 reachable_a(fly__airplane(plane2,city1__2,city5__2))
800 reachable_a(fly__airplane(plane2,city1__2,city4__2))
801 reachable_a(fly__airplane(plane2,city1__2,city3__2))
802 reachable_a(fly__airplane(plane2,city1__2,city2__2))
803 reachable_a(fly__airplane(plane2,city1__2,city1__2))
804 reachable_a(fly__airplane(plane1,city6__2,city6__2))
805 reachable_a(fly__airplane(plane1,city6__2,city5__2))
806 reachable_a(fly__airplane(plane1,city6__2,city4__2))
807 reachable_a(fly__airplane(plane1,city6__2,city3__2))
808 reachable_a(fly__airplane(plane1,city6__2,city2__2))
809 reachable_a(fly__airplane(plane1,city6__2,city1__2))
810 reachable_a(fly__airplane(plane1,city5__2,city6__2))
811 reachable_a(fly__airplane(plane1,city5__2,city5__2))
812 reachable_a(fly__airplane(plane1,city5__2,city4__2))
813 reachable_a(fly__airplane(plane1,city5__2,city3__2))
814 reachable_a(fly__airplane(plane1,city5__2,city2__2))
815 reachable_a(fly__airplane(plane1,city5__2,city1__2))
816 reachable_a(fly__airplane(plane1,city3__2,city6__2))
817 reachable_a(fly__airplane(plane1,city3__2,city5__2))
818 reachable_a(fly__airplane(plane1,city3__2,city4__2))
819 reachable_a(fly__airplane(plane1,city3__2,city3__2))
820 reachable_a(fly__airplane(plane1,city3__2,city2__2))
821 reachable_a(fly__airplane(plane1,city3__2,city1__2))
822 reachable_a(fly__airplane(plane1,city2__2,city6__2))
823 reachable_a(fly__airplane(plane1,city2__2,city5__2))
824 reachable_a(fly__airplane(plane1,city2__2,city4__2))
825 reachable_a(fly__airplane(plane1,city2__2,city3__2))
826 reachable_a(fly__airplane(plane1,city2__2,city2__2))
827 reachable_a(fly__airplane(plane1,city2__2,city1__2))
828 reachable_a(fly__airplane(plane1,city1__2,city6__2))
829 reachable_a(fly__airplane(plane1,city1__2,city5__2))
830 reachable_a(fly__airplane(plane1,city1__2,city4__2))
831 reachable_a(fly__airplane(plane1,city1__2,city3__2))
832 reachable_a(fly__airplane(plane1,city1__2,city2__2))
833 reachable_a(fly__airplane(plane1,city1__2,city1__2))
834 reachable_a(drive__truck(truck6,city6__2,city6__2,city6))
835 reachable_a(drive__truck(truck6,city6__2,city6__1,city6))
836 reachable_a(drive__truck(truck5,city5__2,city5__2,city5))
837 reachable_a(drive__truck(truck5,city5__2,city5__1,city5))
838 reachable_a(drive__truck(truck4,city4__2,city4__2,city4))
839 reachable_a(drive__truck(truck4,city4__2,city4__1,city4))
840 reachable_a(drive__truck(truck3,city3__2,city3__2,city3))
841 reachable_a(drive__truck(truck3,city3__2,city3__1,city3))
842 reachable_a(drive__truck(truck2,city2__2,city2__2,city2))
843 reachable_a(drive__truck(truck2,city2__2,city2__1,city2))
844 reachable_a(drive__truck(truck1,city1__2,city1__2,city1))
845 reachable_a(drive__truck(truck1,city1__2,city1__1,city1))
1096 reachable_a(load__truck(package5,truck6,city6__2))
1097 reachable_a(load__truck(package5,truck5,city5__2))
1098 reachable_a(load__truck(package5,truck3,city3__2))
1099 reachable_a(load__truck(package5,truck2,city2__2))
1100 reachable_a(load__truck(package5,truck1,city1__2))
1101 reachable_a(load__truck(package6,truck3,city3__2))
1102 reachable_a(load__truck(package4,truck1,city1__2))
1103 reachable_a(load__truck(package3,truck1,city1__2))
1104 reachable_a(load__truck(package1,truck2,city2__2))
1105 reachable_a(unload__truck(package5,truck4,city4__1))
1106 reachable_a(unload__truck(package5,truck4,city4__2))
1107 reachable_a(unload__truck(package2,truck1,city1__1))
1108 reachable_a(unload__truck(package2,truck1,city1__2))
1109 reachable_a(load__airplane(package5,plane2,city6__2))
1110 reachable_a(load__airplane(package5,plane1,city6__2))
1111 reachable_a(load__airplane(package5,plane2,city5__2))
1112 reachable_a(load__airplane(package5,plane1,city5__2))
1113 reachable_a(load__airplane(package5,plane2,city3__2))
1114 reachable_a(load__airplane(package5,plane1,city3__2))
1115 reachable_a(load__airplane(package5,plane2,city2__2))
1116 reachable_a(load__airplane(package5,plane1,city2__2))
1117 reachable_a(load__airplane(package5,plane2,city1__2))
1118 reachable_a(load__airplane(package5,plane1,city1__2))
1119 reachable_a(load__airplane(package6,plane2,city3__2))
1120 reachable_a(load__airplane(package6,plane1,city3__2))
1121 reachable_a(load__airplane(package4,plane2,city1__2))
1122 reachable_a(load__airplane(package4,plane1,city1__2))
1123 reachable_a(load__airplane(package3,plane2,city1__2))
1124 reachable_a(load__airplane(package3,plane1,city1__2))
1125 reachable_a(load__airplane(package1,plane2,city2__2))
1126 reachable_a(load__airplane(package1,plane1,city2__2))
1127 reachable_a(unload__airplane(package2,plane2,city4__2))
1128 reachable_a(unload__airplane(package2,plane2,city6__2))
1129 reachable_a(unload__airplane(package2,plane2,city5__2))
1130 reachable_a(unload__airplane(package2,plane2,city3__2))
1131 reachable_a(unload__airplane(package2,plane2,city2__2))
1132 reachable_a(unload__airplane(package2,plane2,city1__2))
1133 reachable_a(unload__airplane(package2,plane1,city4__2))
1134 reachable_a(unload__airplane(package2,plane1,city6__2))
1135 reachable_a(unload__airplane(package2,plane1,city5__2))
1136 reachable_a(unload__airplane(package2,plane1,city3__2))
1137 reachable_a(unload__airplane(package2,plane1,city2__2))
1138 reachable_a(unload__airplane(package2,plane1,city1__2))
1382 reachable_a(unload__airplane(package6,plane2,city4__2))
1383 reachable_a(unload__airplane(package6,plane2,city6__2))
1384 reachable_a(unload__airplane(package6,plane2,city5__2))
1385 reachable_a(unload__airplane(package6,plane2,city3__2))
1386 reachable_a(unload__airplane(package6,plane2,city2__2))
1387 reachable_a(unload__airplane(package6,plane2,city1__2))
1388 reachable_a(unload__airplane(package6,plane1,city4__2))
1389 reachable_a(unload__airplane(package6,plane1,city6__2))
1390 reachable_a(unload__airplane(package6,plane1,city5__2))
1391 reachable_a(unload__airplane(package6,plane1,city3__2))
1392 reachable_a(unload__airplane(package6,plane1,city2__2))
1393 reachable_a(unload__airplane(package6,plane1,city1__2))
1394 reachable_a(unload__airplane(package4,plane2,city4__2))
1395 reachable_a(unload__airplane(package4,plane2,city6__2))
1396 reachable_a(unload__airplane(package4,plane2,city5__2))
1397 reachable_a(unload__airplane(package4,plane2,city3__2))
1398 reachable_a(unload__airplane(package4,plane2,city2__2))
1399 reachable_a(unload__airplane(package4,plane2,city1__2))
1400 reachable_a(unload__airplane(package4,plane1,city4__2))
1401 reachable_a(unload__airplane(package4,plane1,city6__2))
1402 reachable_a(unload__airplane(package4,plane1,city5__2))
1403 reachable_a(unload__airplane(package4,plane1,city3__2))
1404 reachable_a(unload__airplane(package4,plane1,city2__2))
1405 reachable_a(unload__airplane(package4,plane1,city1__2))
1406 reachable_a(unload__airplane(package3,plane2,city4__2))
1407 reachable_a(unload__airplane(package3,plane2,city6__2))
1408 reachable_a(unload__airplane(package3,plane2,city5__2))
1409 reachable_a(unload__airplane(package3,plane2,city3__2))
1410 reachable_a(unload__airplane(package3,plane2,city2__2))
1411 reachable_a(unload__airplane(package3,plane2,city1__2))
1412 reachable_a(unload__airplane(package3,plane1,city4__2))
1413 reachable_a(unload__airplane(package3,plane1,city6__2))
1414 reachable_a(unload__airplane(package3,plane1,city5__2))
1415 reachable_a(unload__airplane(package3,plane1,city3__2))
1416 reachable_a(unload__airplane(package3,plane1,city2__2))
1417 reachable_a(unload__airplane(package3,plane1,city1__2))
1418 reachable_a(unload__airplane(package1,plane2,city4__2))
1419 reachable_a(unload__airplane(package1,plane2,city6__2))
1420 reachable_a(unload__airplane(package1,plane2,city5__2))
1421 reachable_a(unload__airplane(package1,plane2,city3__2))
1422 reachable_a(unload__airplane(package1,plane2,city2__2))
1423 reachable_a(unload__airplane(package1,plane2,city1__2))
1424 reachable_a(unload__airplane(package1,plane1,city4__2))
1425 reachable_a(unload__airplane(package1,plane1,city6__2))
1426 reachable_a(unload__airplane(package1,plane1,city5__2))
1427 reachable_a(unload__airplane(package1,plane1,city3__2))
1428 reachable_a(unload__airplane(package1,plane1,city2__2))
1429 reachable_a(unload__airplane(package1,plane1,city1__2))
1430 reachable_a(unload__truck(package5,truck6,city6__1))
1431 reachable_a(unload__truck(package5,truck6,city6__2))
1432 reachable_a(unload__truck(package5,truck5,city5__1))
1433 reachable_a(unload__truck(package5,truck5,city5__2))
1434 reachable_a(unload__truck(package5,truck3,city3__1))
1435 reachable_a(unload__truck(package5,truck3,city3__2))
1436 reachable_a(unload__truck(package5,truck2,city2__1))
1437 reachable_a(unload__truck(package5,truck2,city2__2))
1438 reachable_a(unload__truck(package5,truck1,city1__1))
1439 reachable_a(unload__truck(package5,truck1,city1__2))
1440 reachable_a(load__truck(package5,truck4,city4__1))
1441 reachable_a(load__truck(package2,truck1,city1__1))
1442 reachable_a(load__truck(package2,truck4,city4__2))
1443 reachable_a(load__truck(package2,truck6,city6__2))
1444 reachable_a(load__truck(package2,truck5,city5__2))
1445 reachable_a(load__truck(package2,truck3,city3__2))
1446 reachable_a(load__truck(package2,truck2,city2__2))
1447 reachable_a(load__airplane(package2,plane2,city4__2))
1448 reachable_a(load__airplane(package2,plane1,city4__2))
1449 reachable_a(load__airplane(package2,plane2,city6__2))
1450 reachable_a(load__airplane(package2,plane1,city6__2))
1451 reachable_a(load__airplane(package2,plane2,city5__2))
1452 reachable_a(load__airplane(package2,plane1,city5__2))
1453 reachable_a(load__airplane(package2,plane2,city3__2))
1454 reachable_a(load__airplane(package2,plane1,city3__2))
1455 reachable_a(load__airplane(package2,plane2,city2__2))
1456 reachable_a(load__airplane(package2,plane1,city2__2))
1886 reachable_a(load__truck(package6,truck4,city4__2))
1887 reachable_a(load__truck(package6,truck6,city6__2))
1888 reachable_a(load__truck(package6,truck5,city5__2))
1889 reachable_a(load__truck(package6,truck2,city2__2))
1890 reachable_a(load__truck(package6,truck1,city1__2))
1891 reachable_a(load__truck(package4,truck4,city4__2))
1892 reachable_a(load__truck(package4,truck6,city6__2))
1893 reachable_a(load__truck(package4,truck5,city5__2))
1894 reachable_a(load__truck(package4,truck3,city3__2))
1895 reachable_a(load__truck(package4,truck2,city2__2))
1896 reachable_a(load__truck(package3,truck4,city4__2))
1897 reachable_a(load__truck(package3,truck6,city6__2))
1898 reachable_a(load__truck(package3,truck5,city5__2))
1899 reachable_a(load__truck(package3,truck3,city3__2))
1900 reachable_a(load__truck(package3,truck2,city2__2))
1901 reachable_a(load__truck(package1,truck4,city4__2))
1902 reachable_a(load__truck(package1,truck6,city6__2))
1903 reachable_a(load__truck(package1,truck5,city5__2))
1904 reachable_a(load__truck(package1,truck3,city3__2))
1905 reachable_a(load__truck(package1,truck1,city1__2))
1906 reachable_a(load__truck(package5,truck6,city6__1))
1907 reachable_a(load__truck(package5,truck5,city5__1))
1908 reachable_a(load__truck(package5,truck3,city3__1))
1909 reachable_a(load__truck(package5,truck2,city2__1))
1910 reachable_a(load__truck(package5,truck1,city1__1))
1911 reachable_a(unload__truck(package2,truck4,city4__1))
1912 reachable_a(unload__truck(package2,truck4,city4__2))
1913 reachable_a(unload__truck(package2,truck6,city6__1))
1914 reachable_a(unload__truck(package2,truck6,city6__2))
1915 reachable_a(unload__truck(package2,truck5,city5__1))
1916 reachable_a(unload__truck(package2,truck5,city5__2))
1917 reachable_a(unload__truck(package2,truck3,city3__1))
1918 reachable_a(unload__truck(package2,truck3,city3__2))
1919 reachable_a(unload__truck(package2,truck2,city2__1))
1920 reachable_a(unload__truck(package2,truck2,city2__2))
1921 reachable_a(load__airplane(package6,plane2,city4__2))
1922 reachable_a(load__airplane(package6,plane1,city4__2))
1923 reachable_a(load__airplane(package6,plane2,city6__2))
1924 reachable_a(load__airplane(package6,plane1,city6__2))
1925 reachable_a(load__airplane(package6,plane2,city5__2))
1926 reachable_a(load__airplane(package6,plane1,city5__2))
1927 reachable_a(load__airplane(package6,plane2,city2__2))
1928 reachable_a(load__airplane(package6,plane1,city2__2))
1929 reachable_a(load__airplane(package6,plane2,city1__2))
1930 reachable_a(load__airplane(package6,plane1,city1__2))
1931 reachable_a(load__airplane(package4,plane2,city4__2))
1932 reachable_a(load__airplane(package4,plane1,city4__2))
1933 reachable_a(load__airplane(package4,plane2,city6__2))
1934 reachable_a(load__airplane(package4,plane1,city6__2))
1935 reachable_a(load__airplane(package4,plane2,city5__2))
1936 reachable_a(load__airplane(package4,plane1,city5__2))
1937 reachable_a(load__airplane(package4,plane2,city3__2))
1938 reachable_a(load__airplane(package4,plane1,city3__2))
1939 reachable_a(load__airplane(package4,plane2,city2__2))
1940 reachable_a(load__airplane(package4,plane1,city2__2))
1941 reachable_a(load__airplane(package3,plane2,city4__2))
1942 reachable_a(load__airplane(package3,plane1,city4__2))
1943 reachable_a(load__airplane(package3,plane2,city6__2))
1944 reachable_a(load__airplane(package3,plane1,city6__2))
1945 reachable_a(load__airplane(package3,plane2,city5__2))
1946 reachable_a(load__airplane(package3,plane1,city5__2))
1947 reachable_a(load__airplane(package3,plane2,city3__2))
1948 reachable_a(load__airplane(package3,plane1,city3__2))
1949 reachable_a(load__airplane(package3,plane2,city2__2))
1950 reachable_a(load__airplane(package3,plane1,city2__2))
1951 reachable_a(load__airplane(package1,plane2,city4__2))
1952 reachable_a(load__airplane(package1,plane1,city4__2))
1953 reachable_a(load__airplane(package1,plane2,city6__2))
1954 reachable_a(load__airplane(package1,plane1,city6__2))
1955 reachable_a(load__airplane(package1,plane2,city5__2))
1956 reachable_a(load__airplane(package1,plane1,city5__2))
1957 reachable_a(load__airplane(package1,plane2,city3__2))
1958 reachable_a(load__airplane(package1,plane1,city3__2))
1959 reachable_a(load__airplane(package1,plane2,city1__2))
1960 reachable_a(load__airplane(package1,plane1,city1__2))
2216 reachable_a(unload__truck(package6,truck4,city4__1))
2217 reachable_a(unload__truck(package6,truck4,city4__2))
2218 reachable_a(unload__truck(package6,truck6,city6__1))
2219 reachable_a(unload__truck(package6,truck6,city6__2))
2220 reachable_a(unload__truck(package6,truck5,city5__1))
2221 reachable_a(unload__truck(package6,truck5,city5__2))
2222 reachable_a(unload__truck(package6,truck2,city2__1))
2223 reachable_a(unload__truck(package6,truck2,city2__2))
2224 reachable_a(unload__truck(package6,truck1,city1__1))
2225 reachable_a(unload__truck(package6,truck1,city1__2))
2226 reachable_a(unload__truck(package4,truck4,city4__1))
2227 reachable_a(unload__truck(package4,truck4,city4__2))
2228 reachable_a(unload__truck(package4,truck6,city6__1))
2229 reachable_a(unload__truck(package4,truck6,city6__2))
2230 reachable_a(unload__truck(package4,truck5,city5__1))
2231 reachable_a(unload__truck(package4,truck5,city5__2))
2232 reachable_a(unload__truck(package4,truck3,city3__1))
2233 reachable_a(unload__truck(package4,truck3,city3__2))
2234 reachable_a(unload__truck(package4,truck2,city2__1))
2235 reachable_a(unload__truck(package4,truck2,city2__2))
2236 reachable_a(unload__truck(package3,truck4,city4__1))
2237 reachable_a(unload__truck(package3,truck4,city4__2))
2238 reachable_a(unload__truck(package3,truck6,city6__1))
2239 reachable_a(unload__truck(package3,truck6,city6__2))
2240 reachable_a(unload__truck(package3,truck5,city5__1))
2241 reachable_a(unload__truck(package3,truck5,city5__2))
2242 reachable_a(unload__truck(package3,truck3,city3__1))
2243 reachable_a(unload__truck(package3,truck3,city3__2))
2244 reachable_a(unload__truck(package3,truck2,city2__1))
2245 reachable_a(unload__truck(package3,truck2,city2__2))
2246 reachable_a(unload__truck(package1,truck4,city4__1))
2247 reachable_a(unload__truck(package1,truck4,city4__2))
2248 reachable_a(unload__truck(package1,truck6,city6__1))
2249 reachable_a(unload__truck(package1,truck6,city6__2))
2250 reachable_a(unload__truck(package1,truck5,city5__1))
2251 reachable_a(unload__truck(package1,truck5,city5__2))
2252 reachable_a(unload__truck(package1,truck3,city3__1))
2253 reachable_a(unload__truck(package1,truck3,city3__2))
2254 reachable_a(unload__truck(package1,truck1,city1__1))
2255 reachable_a(unload__truck(package1,truck1,city1__2))
2256 reachable_a(load__truck(package2,truck4,city4__1))
2257 reachable_a(load__truck(package2,truck6,city6__1))
2258 reachable_a(load__truck(package2,truck5,city5__1))
2259 reachable_a(load__truck(package2,truck3,city3__1))
2260 reachable_a(load__truck(package2,truck2,city2__1))
2546 reachable_a(load__truck(package6,truck4,city4__1))
2547 reachable_a(load__truck(package6,truck6,city6__1))
2548 reachable_a(load__truck(package6,truck5,city5__1))
2549 reachable_a(load__truck(package6,truck2,city2__1))
2550 reachable_a(load__truck(package6,truck1,city1__1))
2551 reachable_a(load__truck(package4,truck4,city4__1))
2552 reachable_a(load__truck(package4,truck6,city6__1))
2553 reachable_a(load__truck(package4,truck5,city5__1))
2554 reachable_a(load__truck(package4,truck3,city3__1))
2555 reachable_a(load__truck(package4,truck2,city2__1))
2556 reachable_a(load__truck(package3,truck4,city4__1))
2557 reachable_a(load__truck(package3,truck6,city6__1))
2558 reachable_a(load__truck(package3,truck5,city5__1))
2559 reachable_a(load__truck(package3,truck3,city3__1))
2560 reachable_a(load__truck(package3,truck2,city2__1))
2561 reachable_a(load__truck(package1,truck4,city4__1))
2562 reachable_a(load__truck(package1,truck6,city6__1))
2563 reachable_a(load__truck(package1,truck5,city5__1))
2564 reachable_a(load__truck(package1,truck3,city3__1))
2565 reachable_a(load__truck(package1,truck1,city1__1))
34 reachable_f(obj(package6))
35 reachable_f(obj(package5))
36 reachable_f(obj(package4))
37 reachable_f(obj(package3))
38 reachable_f(obj(package2))
39 reachable_f(obj(package1))
40 reachable_f(city(city6))
41 reachable_f(city(city5))
42 reachable_f(city(city4))
43 reachable_f(city(city3))
44 reachable_f(city(city2))
45 reachable_f(city(city1))
46 reachable_f(truck(truck6))
47 reachable_f(truck(truck5))
48 reachable_f(truck(truck4))
49 reachable_f(truck(truck3))
50 reachable_f(truck(truck2))
51 reachable_f(truck(truck1))
52 reachable_f(airplane(plane2))
53 reachable_f(airplane(plane1))
54 reachable_f(location(city6__1))
55 reachable_f(location(city5__1))
56 reachable_f(location(city4__1))
57 reachable_f(location(city3__1))
58 reachable_f(location(city2__1))
59 reachable_f(location(city1__1))
60 reachable_f(airport(city6__2))
61 reachable_f(location(city6__2))
62 reachable_f(airport(city5__2))
63 reachable_f(location(city5__2))
64 reachable_f(airport(city4__2))
65 reachable_f(location(city4__2))
66 reachable_f(airport(city3__2))
67 reachable_f(location(city3__2))
68 reachable_f(airport(city2__2))
69 reachable_f(location(city2__2))
70 reachable_f(airport(city1__2))
71 reachable_f(location(city1__2))
72 reachable_f(in__city(city6__2,city6))
73 reachable_f(in__city(city6__1,city6))
74 reachable_f(in__city(city5__2,city5))
75 reachable_f(in__city(city5__1,city5))
76 reachable_f(in__city(city4__2,city4))
77 reachable_f(in__city(city4__1,city4))
78 reachable_f(in__city(city3__2,city3))
79 reachable_f(in__city(city3__1,city3))
80 reachable_f(in__city(city2__2,city2))
81 reachable_f(in__city(city2__1,city2))
82 reachable_f(in__city(city1__2,city1))
83 reachable_f(in__city(city1__1,city1))
84 reachable_f(at(plane2,city4__2))
85 reachable_f(at(plane1,city4__2))
86 reachable_f(at(truck6,city6__1))
87 reachable_f(at(truck5,city5__1))
88 reachable_f(at(truck4,city4__1))
89 reachable_f(at(truck3,city3__1))
90 reachable_f(at(truck2,city2__1))
91 reachable_f(at(truck1,city1__1))
92 reachable_f(at(package6,city3__1))
93 reachable_f(at(package5,city4__2))
94 reachable_f(at(package4,city1__1))
95 reachable_f(at(package3,city1__1))
96 reachable_f(at(package2,city1__2))
97 reachable_f(at(package1,city2__1))
492 reachable_f(in(package6,truck3))
493 reachable_f(in(package4,truck1))
494 reachable_f(in(package3,truck1))
495 reachable_f(in(package1,truck2))
496 reachable_f(in(package5,plane2))
497 reachable_f(in(package5,plane1))
498 reachable_f(at(plane2,city6__2))
499 reachable_f(at(plane2,city5__2))
500 reachable_f(at(plane2,city3__2))
501 reachable_f(at(plane2,city2__2))
502 reachable_f(at(plane2,city1__2))
503 reachable_f(at(plane1,city6__2))
504 reachable_f(at(plane1,city5__2))
505 reachable_f(at(plane1,city3__2))
506 reachable_f(at(plane1,city2__2))
507 reachable_f(at(plane1,city1__2))
508 reachable_f(at(truck6,city6__2))
509 reachable_f(at(truck5,city5__2))
510 reachable_f(at(truck4,city4__2))
511 reachable_f(at(truck3,city3__2))
512 reachable_f(at(truck2,city2__2))
513 reachable_f(at(truck1,city1__2))
960 reachable_f(at(package5,city6__2))
961 reachable_f(at(package5,city5__2))
962 reachable_f(at(package5,city3__2))
963 reachable_f(at(package5,city2__2))
964 reachable_f(at(package5,city1__2))
965 reachable_f(at(package6,city3__2))
966 reachable_f(at(package4,city1__2))
967 reachable_f(at(package3,city1__2))
968 reachable_f(at(package1,city2__2))
969 reachable_f(in(package5,truck4))
970 reachable_f(in(package2,truck1))
971 reachable_f(in(package2,plane2))
972 reachable_f(in(package2,plane1))
1205 reachable_f(in(package5,truck6))
1206 reachable_f(in(package5,truck5))
1207 reachable_f(in(package5,truck3))
1208 reachable_f(in(package5,truck2))
1209 reachable_f(in(package5,truck1))
1210 reachable_f(at(package5,city4__1))
1211 reachable_f(at(package2,city1__1))
1212 reachable_f(in(package6,plane2))
1213 reachable_f(in(package6,plane1))
1214 reachable_f(in(package4,plane2))
1215 reachable_f(in(package4,plane1))
1216 reachable_f(in(package3,plane2))
1217 reachable_f(in(package3,plane1))
1218 reachable_f(in(package1,plane2))
1219 reachable_f(in(package1,plane1))
1220 reachable_f(at(package2,city4__2))
1221 reachable_f(at(package2,city6__2))
1222 reachable_f(at(package2,city5__2))
1223 reachable_f(at(package2,city3__2))
1224 reachable_f(at(package2,city2__2))
1571 reachable_f(at(package6,city4__2))
1572 reachable_f(at(package6,city6__2))
1573 reachable_f(at(package6,city5__2))
1574 reachable_f(at(package6,city2__2))
1575 reachable_f(at(package6,city1__2))
1576 reachable_f(at(package4,city4__2))
1577 reachable_f(at(package4,city6__2))
1578 reachable_f(at(package4,city5__2))
1579 reachable_f(at(package4,city3__2))
1580 reachable_f(at(package4,city2__2))
1581 reachable_f(at(package3,city4__2))
1582 reachable_f(at(package3,city6__2))
1583 reachable_f(at(package3,city5__2))
1584 reachable_f(at(package3,city3__2))
1585 reachable_f(at(package3,city2__2))
1586 reachable_f(at(package1,city4__2))
1587 reachable_f(at(package1,city6__2))
1588 reachable_f(at(package1,city5__2))
1589 reachable_f(at(package1,city3__2))
1590 reachable_f(at(package1,city1__2))
1591 reachable_f(at(package5,city6__1))
1592 reachable_f(at(package5,city5__1))
1593 reachable_f(at(package5,city3__1))
1594 reachable_f(at(package5,city2__1))
1595 reachable_f(at(package5,city1__1))
1596 reachable_f(in(package2,truck4))
1597 reachable_f(in(package2,truck6))
1598 reachable_f(in(package2,truck5))
1599 reachable_f(in(package2,truck3))
1600 reachable_f(in(package2,truck2))
2066 reachable_f(in(package6,truck4))
2067 reachable_f(in(package6,truck6))
2068 reachable_f(in(package6,truck5))
2069 reachable_f(in(package6,truck2))
2070 reachable_f(in(package6,truck1))
2071 reachable_f(in(package4,truck4))
2072 reachable_f(in(package4,truck6))
2073 reachable_f(in(package4,truck5))
2074 reachable_f(in(package4,truck3))
2075 reachable_f(in(package4,truck2))
2076 reachable_f(in(package3,truck4))
2077 reachable_f(in(package3,truck6))
2078 reachable_f(in(package3,truck5))
2079 reachable_f(in(package3,truck3))
2080 reachable_f(in(package3,truck2))
2081 reachable_f(in(package1,truck4))
2082 reachable_f(in(package1,truck6))
2083 reachable_f(in(package1,truck5))
2084 reachable_f(in(package1,truck3))
2085 reachable_f(in(package1,truck1))
2086 reachable_f(at(package2,city4__1))
2087 reachable_f(at(package2,city6__1))
2088 reachable_f(at(package2,city5__1))
2089 reachable_f(at(package2,city3__1))
2090 reachable_f(at(package2,city2__1))
2346 reachable_f(at(package6,city4__1))
2347 reachable_f(at(package6,city6__1))
2348 reachable_f(at(package6,city5__1))
2349 reachable_f(at(package6,city2__1))
2350 reachable_f(at(package6,city1__1))
2351 reachable_f(at(package4,city4__1))
2352 reachable_f(at(package4,city6__1))
2353 reachable_f(at(package4,city5__1))
2354 reachable_f(at(package4,city3__1))
2355 reachable_f(at(package4,city2__1))
2356 reachable_f(at(package3,city4__1))
2357 reachable_f(at(package3,city6__1))
2358 reachable_f(at(package3,city5__1))
2359 reachable_f(at(package3,city3__1))
2360 reachable_f(at(package3,city2__1))
2361 reachable_f(at(package1,city4__1))
2362 reachable_f(at(package1,city6__1))
2363 reachable_f(at(package1,city5__1))
2364 reachable_f(at(package1,city3__1))
2365 reachable_f(at(package1,city1__1))
0
B+
0
B-
1
0
1