---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 exclusive pairs 1817 ops and 67978 exclusive pairs time: 7, 522 facts and 757 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 exclusive pairs 1817 ops and 67978 exclusive pairs time: 7, 522 facts and 757 exclusive pairs 2097 ops and 77643 exclusive pairs time: 8, 573 facts and 580 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 exclusive pairs 1817 ops and 67978 exclusive pairs time: 7, 522 facts and 757 exclusive pairs 2097 ops and 77643 exclusive pairs time: 8, 573 facts and 580 exclusive pairs 2305 ops and 84110 exclusive pairs time: 9, 606 facts and 288 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, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 exclusive pairs 1817 ops and 67978 exclusive pairs time: 7, 522 facts and 757 exclusive pairs 2097 ops and 77643 exclusive pairs time: 8, 573 facts and 580 exclusive pairs 2305 ops and 84110 exclusive pairs time: 9, 606 facts and 288 exclusive pairs 2434 ops and 87144 exclusive pairs time: 10, 622 facts and 115 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... 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... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16750 VARS, 376118 CLAUSES. time spent: 0.00 seconds instantiating 13248 action templates 0.01 seconds reachability analysis, yielding 649 facts and 1920 actions 0.00 seconds collecting 639 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 2.59 seconds CNF output time 2.61 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 16750 pure lits : 612 1-clauses : 59 2-clauses : 372483 3-clauses : 521 n-clauses : 3055 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1419695 conflicts : 232707 time : ~94.12 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 80 ops and 39 exclusive pairs time: 1, 90 facts and 39 exclusive pairs 227 ops and 1069 exclusive pairs time: 2, 144 facts and 169 exclusive pairs 467 ops and 6037 exclusive pairs time: 3, 214 facts and 428 exclusive pairs 769 ops and 16811 exclusive pairs time: 4, 293 facts and 703 exclusive pairs 1121 ops and 32923 exclusive pairs time: 5, 379 facts and 911 exclusive pairs 1488 ops and 52509 exclusive pairs time: 6, 453 facts and 943 exclusive pairs 1817 ops and 67978 exclusive pairs time: 7, 522 facts and 757 exclusive pairs 2097 ops and 77643 exclusive pairs time: 8, 573 facts and 580 exclusive pairs 2305 ops and 84110 exclusive pairs time: 9, 606 facts and 288 exclusive pairs 2434 ops and 87144 exclusive pairs time: 10, 622 facts and 115 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... 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... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16750 VARS, 376118 CLAUSES. time spent: 0.00 seconds instantiating 13248 action templates 0.01 seconds reachability analysis, yielding 649 facts and 1920 actions 0.00 seconds collecting 639 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.38 seconds CNF output time 2.39 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] Pruned: 0: (MOVE R6 V51 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 101.42 User Time: = 101.35 Syst Time: = 0.15