---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs 1190 ops and 32442 exclusive pairs time: 7, 376 facts and 651 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs 1190 ops and 32442 exclusive pairs time: 7, 376 facts and 651 exclusive pairs 1393 ops and 39750 exclusive pairs time: 8, 427 facts and 799 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs 1190 ops and 32442 exclusive pairs time: 7, 376 facts and 651 exclusive pairs 1393 ops and 39750 exclusive pairs time: 8, 427 facts and 799 exclusive pairs 1594 ops and 48288 exclusive pairs time: 9, 470 facts and 690 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 9507 VARS, 141506 CLAUSES. time spent: 0.00 seconds instantiating 11180 action templates 0.00 seconds reachability analysis, yielding 513 facts and 1376 actions 0.01 seconds collecting 505 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.77 seconds CNF output time 0.78 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9507 pure lits : 463 1-clauses : 56 2-clauses : 139384 3-clauses : 342 n-clauses : 1724 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 0 conflicts : 1 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs 1190 ops and 32442 exclusive pairs time: 7, 376 facts and 651 exclusive pairs 1393 ops and 39750 exclusive pairs time: 8, 427 facts and 799 exclusive pairs 1594 ops and 48288 exclusive pairs time: 9, 470 facts and 690 exclusive pairs 1753 ops and 51634 exclusive pairs time: 10, 493 facts and 301 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 11753 VARS, 187585 CLAUSES. time spent: 0.01 seconds instantiating 11180 action templates 0.00 seconds reachability analysis, yielding 513 facts and 1376 actions 0.00 seconds collecting 505 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 : 11753 pure lits : 486 1-clauses : 56 2-clauses : 184977 3-clauses : 371 n-clauses : 2181 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 976353 conflicts : 126927 time : ~37.15 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 65 ops and 19 exclusive pairs time: 1, 73 facts and 20 exclusive pairs 152 ops and 485 exclusive pairs time: 2, 118 facts and 140 exclusive pairs 340 ops and 3974 exclusive pairs time: 3, 166 facts and 276 exclusive pairs 538 ops and 9283 exclusive pairs time: 4, 218 facts and 405 exclusive pairs 756 ops and 16298 exclusive pairs time: 5, 274 facts and 576 exclusive pairs 983 ops and 25102 exclusive pairs time: 6, 325 facts and 626 exclusive pairs 1190 ops and 32442 exclusive pairs time: 7, 376 facts and 651 exclusive pairs 1393 ops and 39750 exclusive pairs time: 8, 427 facts and 799 exclusive pairs 1594 ops and 48288 exclusive pairs time: 9, 470 facts and 690 exclusive pairs 1753 ops and 51634 exclusive pairs time: 10, 493 facts and 301 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 11753 VARS, 187585 CLAUSES. time spent: 0.01 seconds instantiating 11180 action templates 0.00 seconds reachability analysis, yielding 513 facts and 1376 actions 0.00 seconds collecting 505 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.94 seconds CNF output time 0.96 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 40.66 User Time: = 40.67 Syst Time: = 0.16