---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 72 ops and 22 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 exclusive pairs 1139 ops and 25913 exclusive pairs time: 7, 357 facts and 452 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 exclusive pairs 1139 ops and 25913 exclusive pairs time: 7, 357 facts and 452 exclusive pairs 1336 ops and 33481 exclusive pairs time: 8, 398 facts and 386 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 exclusive pairs 1139 ops and 25913 exclusive pairs time: 7, 357 facts and 452 exclusive pairs 1336 ops and 33481 exclusive pairs time: 8, 398 facts and 386 exclusive pairs 1505 ops and 37923 exclusive pairs time: 9, 428 facts and 201 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 exclusive pairs 1139 ops and 25913 exclusive pairs time: 7, 357 facts and 452 exclusive pairs 1336 ops and 33481 exclusive pairs time: 8, 398 facts and 386 exclusive pairs 1505 ops and 37923 exclusive pairs time: 9, 428 facts and 201 exclusive pairs 1623 ops and 38938 exclusive pairs time: 10, 444 facts and 64 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 11161 VARS, 156300 CLAUSES. time spent: 0.00 seconds instantiating 11830 action templates 0.01 seconds reachability analysis, yielding 464 facts and 1274 actions 0.00 seconds collecting 457 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.86 seconds CNF output time 0.87 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11161 pure lits : 437 1-clauses : 58 2-clauses : 153752 3-clauses : 364 n-clauses : 2126 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 638172 conflicts : 61394 time : ~14.02 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 72 ops and 22 exclusive pairs time: 1, 79 facts and 22 exclusive pairs 172 ops and 493 exclusive pairs time: 2, 117 facts and 80 exclusive pairs 334 ops and 2561 exclusive pairs time: 3, 161 facts and 150 exclusive pairs 520 ops and 5953 exclusive pairs time: 4, 209 facts and 235 exclusive pairs 720 ops and 10915 exclusive pairs time: 5, 259 facts and 349 exclusive pairs 927 ops and 17740 exclusive pairs time: 6, 310 facts and 425 exclusive pairs 1139 ops and 25913 exclusive pairs time: 7, 357 facts and 452 exclusive pairs 1336 ops and 33481 exclusive pairs time: 8, 398 facts and 386 exclusive pairs 1505 ops and 37923 exclusive pairs time: 9, 428 facts and 201 exclusive pairs 1623 ops and 38938 exclusive pairs time: 10, 444 facts and 64 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 11161 VARS, 156300 CLAUSES. time spent: 0.00 seconds instantiating 11830 action templates 0.01 seconds reachability analysis, yielding 464 facts and 1274 actions 0.00 seconds collecting 457 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.79 seconds CNF output time 0.80 seconds total planner time (solving not included) Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] Pruned: 0: (MOVE R7 V50 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 16.54 User Time: = 16.37 Syst Time: = 0.21