---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 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... 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 exclusive pairs 1433 ops and 28516 exclusive pairs time: 10, 393 facts and 23 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 exclusive pairs 1433 ops and 28516 exclusive pairs time: 10, 393 facts and 23 exclusive pairs 1503 ops and 30460 exclusive pairs time: 11, 405 facts and 12 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 exclusive pairs 1433 ops and 28516 exclusive pairs time: 10, 393 facts and 23 exclusive pairs 1503 ops and 30460 exclusive pairs time: 11, 405 facts and 12 exclusive pairs 1545 ops and 31598 exclusive pairs time: 12, 410 facts and 5 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... 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, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 exclusive pairs 1433 ops and 28516 exclusive pairs time: 10, 393 facts and 23 exclusive pairs 1503 ops and 30460 exclusive pairs time: 11, 405 facts and 12 exclusive pairs 1545 ops and 31598 exclusive pairs time: 12, 410 facts and 5 exclusive pairs 1565 ops and 32136 exclusive pairs time: 13, 413 facts and 3 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... exclusion constraints layer 13... DECISION LAYER 13, WRITING THIN GP-BASED ENCODING WITH 15421 VARS, 216542 CLAUSES. time spent: 0.00 seconds instantiating 12804 action templates 0.01 seconds reachability analysis, yielding 420 facts and 1164 actions 0.00 seconds collecting 414 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.03 seconds CNF output time 1.04 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 15421 pure lits : 407 1-clauses : 60 2-clauses : 213089 3-clauses : 353 n-clauses : 3040 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1459768 conflicts : 89825 time : ~19.62 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 70 ops and 16 exclusive pairs time: 1, 76 facts and 16 exclusive pairs 145 ops and 301 exclusive pairs time: 2, 103 facts and 39 exclusive pairs 257 ops and 1114 exclusive pairs time: 3, 135 facts and 68 exclusive pairs 397 ops and 2681 exclusive pairs time: 4, 176 facts and 120 exclusive pairs 576 ops and 5944 exclusive pairs time: 5, 222 facts and 201 exclusive pairs 778 ops and 11240 exclusive pairs time: 6, 267 facts and 188 exclusive pairs 976 ops and 16217 exclusive pairs time: 7, 311 facts and 147 exclusive pairs 1164 ops and 21051 exclusive pairs time: 8, 349 facts and 109 exclusive pairs 1322 ops and 25384 exclusive pairs time: 9, 376 facts and 52 exclusive pairs 1433 ops and 28516 exclusive pairs time: 10, 393 facts and 23 exclusive pairs 1503 ops and 30460 exclusive pairs time: 11, 405 facts and 12 exclusive pairs 1545 ops and 31598 exclusive pairs time: 12, 410 facts and 5 exclusive pairs 1565 ops and 32136 exclusive pairs time: 13, 413 facts and 3 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... exclusion constraints layer 13... DECISION LAYER 13, WRITING THIN GP-BASED ENCODING WITH 15421 VARS, 216542 CLAUSES. time spent: 0.00 seconds instantiating 12804 action templates 0.00 seconds reachability analysis, yielding 420 facts and 1164 actions 0.00 seconds collecting 414 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.93 seconds CNF output time 0.94 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] Pruned: 0: (MOVE R6 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 13 layers Real Time: = 22.87 User Time: = 22.79 Syst Time: = 0.17