---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 exclusive pairs 964 ops and 17632 exclusive pairs time: 6, 317 facts and 263 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 exclusive pairs 964 ops and 17632 exclusive pairs time: 6, 317 facts and 263 exclusive pairs 1194 ops and 24160 exclusive pairs time: 7, 366 facts and 189 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 exclusive pairs 964 ops and 17632 exclusive pairs time: 6, 317 facts and 263 exclusive pairs 1194 ops and 24160 exclusive pairs time: 7, 366 facts and 189 exclusive pairs 1403 ops and 30361 exclusive pairs time: 8, 407 facts and 129 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, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 exclusive pairs 964 ops and 17632 exclusive pairs time: 6, 317 facts and 263 exclusive pairs 1194 ops and 24160 exclusive pairs time: 7, 366 facts and 189 exclusive pairs 1403 ops and 30361 exclusive pairs time: 8, 407 facts and 129 exclusive pairs 1572 ops and 35681 exclusive pairs time: 9, 435 facts and 58 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... 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... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 9256 VARS, 119710 CLAUSES. time spent: 0.00 seconds instantiating 12998 action templates 0.01 seconds reachability analysis, yielding 480 facts and 1358 actions 0.00 seconds collecting 473 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.70 seconds CNF output time 0.71 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9256 pure lits : 428 1-clauses : 60 2-clauses : 117552 3-clauses : 371 n-clauses : 1727 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 518498 conflicts : 30102 time : ~3.89 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 53 facts and 0 exclusive pairs 72 ops and 19 exclusive pairs time: 1, 79 facts and 19 exclusive pairs 162 ops and 356 exclusive pairs time: 2, 112 facts and 47 exclusive pairs 301 ops and 1422 exclusive pairs time: 3, 153 facts and 103 exclusive pairs 482 ops and 4202 exclusive pairs time: 4, 206 facts and 209 exclusive pairs 714 ops and 10058 exclusive pairs time: 5, 264 facts and 306 exclusive pairs 964 ops and 17632 exclusive pairs time: 6, 317 facts and 263 exclusive pairs 1194 ops and 24160 exclusive pairs time: 7, 366 facts and 189 exclusive pairs 1403 ops and 30361 exclusive pairs time: 8, 407 facts and 129 exclusive pairs 1572 ops and 35681 exclusive pairs time: 9, 435 facts and 58 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... 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... DECISION LAYER 9, WRITING THIN GP-BASED ENCODING WITH 9256 VARS, 119710 CLAUSES. time spent: 0.00 seconds instantiating 12998 action templates 0.01 seconds reachability analysis, yielding 480 facts and 1358 actions 0.00 seconds collecting 473 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.65 seconds CNF output time 0.66 seconds total planner time (solving not included) Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] Pruned: 0: (MOVE R7 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 9 layers Real Time: = 5.94 User Time: = 5.87 Syst Time: = 0.1