---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 exclusive pairs 1544 ops and 50374 exclusive pairs time: 7, 482 facts and 789 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 exclusive pairs 1544 ops and 50374 exclusive pairs time: 7, 482 facts and 789 exclusive pairs 1836 ops and 64374 exclusive pairs time: 8, 537 facts and 568 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 exclusive pairs 1544 ops and 50374 exclusive pairs time: 7, 482 facts and 789 exclusive pairs 1836 ops and 64374 exclusive pairs time: 8, 537 facts and 568 exclusive pairs 2059 ops and 72460 exclusive pairs time: 9, 583 facts and 364 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, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 exclusive pairs 1544 ops and 50374 exclusive pairs time: 7, 482 facts and 789 exclusive pairs 1836 ops and 64374 exclusive pairs time: 8, 537 facts and 568 exclusive pairs 2059 ops and 72460 exclusive pairs time: 9, 583 facts and 364 exclusive pairs 2233 ops and 78646 exclusive pairs time: 10, 615 facts and 212 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 14852 VARS, 300912 CLAUSES. time spent: 0.01 seconds instantiating 10956 action templates 0.00 seconds reachability analysis, yielding 660 facts and 1826 actions 0.00 seconds collecting 649 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 2.11 seconds CNF output time 2.13 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 14852 pure lits : 604 1-clauses : 55 2-clauses : 297574 3-clauses : 532 n-clauses : 2751 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1137462 conflicts : 204986 time : ~72.05 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 44 facts and 0 exclusive pairs 75 ops and 37 exclusive pairs time: 1, 86 facts and 38 exclusive pairs 215 ops and 850 exclusive pairs time: 2, 135 facts and 122 exclusive pairs 412 ops and 3810 exclusive pairs time: 3, 191 facts and 280 exclusive pairs 645 ops and 10078 exclusive pairs time: 4, 261 facts and 562 exclusive pairs 928 ops and 21406 exclusive pairs time: 5, 333 facts and 696 exclusive pairs 1231 ops and 35058 exclusive pairs time: 6, 407 facts and 755 exclusive pairs 1544 ops and 50374 exclusive pairs time: 7, 482 facts and 789 exclusive pairs 1836 ops and 64374 exclusive pairs time: 8, 537 facts and 568 exclusive pairs 2059 ops and 72460 exclusive pairs time: 9, 583 facts and 364 exclusive pairs 2233 ops and 78646 exclusive pairs time: 10, 615 facts and 212 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 14852 VARS, 300912 CLAUSES. time spent: 0.00 seconds instantiating 10956 action templates 0.01 seconds reachability analysis, yielding 660 facts and 1826 actions 0.00 seconds collecting 649 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.93 seconds CNF output time 1.94 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] Pruned: 0: (MOVE R5 V47 V39) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 77.95 User Time: = 77.85 Syst Time: = 0.26