---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 exclusive pairs 1334 ops and 39267 exclusive pairs time: 8, 403 facts and 925 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 exclusive pairs 1334 ops and 39267 exclusive pairs time: 8, 403 facts and 925 exclusive pairs 1504 ops and 47128 exclusive pairs time: 9, 440 facts and 882 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, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 exclusive pairs 1334 ops and 39267 exclusive pairs time: 8, 403 facts and 925 exclusive pairs 1504 ops and 47128 exclusive pairs time: 9, 440 facts and 882 exclusive pairs 1649 ops and 52352 exclusive pairs time: 10, 471 facts and 736 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 11281 VARS, 171584 CLAUSES. time spent: 0.00 seconds instantiating 10880 action templates 0.01 seconds reachability analysis, yielding 504 facts and 1360 actions 0.00 seconds collecting 496 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.01 seconds CNF output time 1.02 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11281 pure lits : 463 1-clauses : 56 2-clauses : 169016 3-clauses : 402 n-clauses : 2110 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 217 conflicts : 19 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 exclusive pairs 1334 ops and 39267 exclusive pairs time: 8, 403 facts and 925 exclusive pairs 1504 ops and 47128 exclusive pairs time: 9, 440 facts and 882 exclusive pairs 1649 ops and 52352 exclusive pairs time: 10, 471 facts and 736 exclusive pairs 1763 ops and 54037 exclusive pairs time: 11, 487 facts and 325 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... 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... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 13531 VARS, 219352 CLAUSES. time spent: 0.00 seconds instantiating 10880 action templates 0.01 seconds reachability analysis, yielding 504 facts and 1360 actions 0.00 seconds collecting 496 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.18 seconds CNF output time 1.19 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 13531 pure lits : 479 1-clauses : 56 2-clauses : 216297 3-clauses : 429 n-clauses : 2570 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 879254 conflicts : 145936 time : ~45.3 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 71 ops and 27 exclusive pairs time: 1, 79 facts and 27 exclusive pairs 180 ops and 623 exclusive pairs time: 2, 118 facts and 84 exclusive pairs 344 ops and 2760 exclusive pairs time: 3, 164 facts and 189 exclusive pairs 534 ops and 7204 exclusive pairs time: 4, 211 facts and 298 exclusive pairs 731 ops and 13485 exclusive pairs time: 5, 259 facts and 417 exclusive pairs 932 ops and 20797 exclusive pairs time: 6, 311 facts and 634 exclusive pairs 1139 ops and 30091 exclusive pairs time: 7, 359 facts and 777 exclusive pairs 1334 ops and 39267 exclusive pairs time: 8, 403 facts and 925 exclusive pairs 1504 ops and 47128 exclusive pairs time: 9, 440 facts and 882 exclusive pairs 1649 ops and 52352 exclusive pairs time: 10, 471 facts and 736 exclusive pairs 1763 ops and 54037 exclusive pairs time: 11, 487 facts and 325 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... 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... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 13531 VARS, 219352 CLAUSES. time spent: 0.00 seconds instantiating 10880 action templates 0.01 seconds reachability analysis, yielding 504 facts and 1360 actions 0.00 seconds collecting 496 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.07 seconds CNF output time 1.08 seconds total planner time (solving not included) Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] Pruned: 0: (MOVE R4 V55 V54) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 49.56 User Time: = 49.47 Syst Time: = 0.28