---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs 2221 ops and 81988 exclusive pairs time: 9, 589 facts and 454 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs 2221 ops and 81988 exclusive pairs time: 9, 589 facts and 454 exclusive pairs 2415 ops and 89775 exclusive pairs time: 10, 620 facts and 255 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs 2221 ops and 81988 exclusive pairs time: 9, 589 facts and 454 exclusive pairs 2415 ops and 89775 exclusive pairs time: 10, 620 facts and 255 exclusive pairs 2544 ops and 94137 exclusive pairs time: 11, 640 facts and 118 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs 2221 ops and 81988 exclusive pairs time: 9, 589 facts and 454 exclusive pairs 2415 ops and 89775 exclusive pairs time: 10, 620 facts and 255 exclusive pairs 2544 ops and 94137 exclusive pairs time: 11, 640 facts and 118 exclusive pairs 2626 ops and 96687 exclusive pairs time: 12, 653 facts and 60 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 22050 VARS, 536097 CLAUSES. time spent: 0.01 seconds instantiating 14484 action templates 0.00 seconds reachability analysis, yielding 671 facts and 2040 actions 0.00 seconds collecting 661 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 3.60 seconds CNF output time 3.62 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 22050 pure lits : 643 1-clauses : 61 2-clauses : 531431 3-clauses : 568 n-clauses : 4037 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 5792985 conflicts : 2186654 time : ~1209.57 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 70 ops and 20 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 529 exclusive pairs time: 2, 127 facts and 135 exclusive pairs 391 ops and 4612 exclusive pairs time: 3, 194 facts and 400 exclusive pairs 684 ops and 14837 exclusive pairs time: 4, 262 facts and 517 exclusive pairs 995 ops and 26365 exclusive pairs time: 5, 336 facts and 643 exclusive pairs 1325 ops and 41399 exclusive pairs time: 6, 411 facts and 763 exclusive pairs 1657 ops and 56893 exclusive pairs time: 7, 482 facts and 707 exclusive pairs 1963 ops and 70744 exclusive pairs time: 8, 543 facts and 647 exclusive pairs 2221 ops and 81988 exclusive pairs time: 9, 589 facts and 454 exclusive pairs 2415 ops and 89775 exclusive pairs time: 10, 620 facts and 255 exclusive pairs 2544 ops and 94137 exclusive pairs time: 11, 640 facts and 118 exclusive pairs 2626 ops and 96687 exclusive pairs time: 12, 653 facts and 60 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 22050 VARS, 536097 CLAUSES. time spent: 0.00 seconds instantiating 14484 action templates 0.01 seconds reachability analysis, yielding 671 facts and 2040 actions 0.00 seconds collecting 661 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 3.36 seconds CNF output time 3.38 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 12 layers Real Time: = 1220.11 User Time: = 1219.77 Syst Time: = 0.51