---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 exclusive pairs 1306 ops and 40918 exclusive pairs time: 7, 404 facts and 1140 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 exclusive pairs 1306 ops and 40918 exclusive pairs time: 7, 404 facts and 1140 exclusive pairs 1524 ops and 53259 exclusive pairs time: 8, 454 facts and 1321 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 exclusive pairs 1306 ops and 40918 exclusive pairs time: 7, 404 facts and 1140 exclusive pairs 1524 ops and 53259 exclusive pairs time: 8, 454 facts and 1321 exclusive pairs 1715 ops and 62853 exclusive pairs time: 9, 494 facts and 1141 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, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 exclusive pairs 1306 ops and 40918 exclusive pairs time: 7, 404 facts and 1140 exclusive pairs 1524 ops and 53259 exclusive pairs time: 8, 454 facts and 1321 exclusive pairs 1715 ops and 62853 exclusive pairs time: 9, 494 facts and 1141 exclusive pairs 1871 ops and 67063 exclusive pairs time: 10, 526 facts and 809 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 12763 VARS, 223603 CLAUSES. time spent: 0.00 seconds instantiating 11050 action templates 0.01 seconds reachability analysis, yielding 560 facts and 1530 actions 0.00 seconds collecting 551 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.31 seconds CNF output time 1.32 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 12763 pure lits : 517 1-clauses : 56 2-clauses : 220741 3-clauses : 444 n-clauses : 2362 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 827360 conflicts : 143972 time : ~38.04 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 71 ops and 28 exclusive pairs time: 1, 80 facts and 28 exclusive pairs 188 ops and 693 exclusive pairs time: 2, 126 facts and 123 exclusive pairs 382 ops and 3950 exclusive pairs time: 3, 180 facts and 295 exclusive pairs 606 ops and 10548 exclusive pairs time: 4, 236 facts and 436 exclusive pairs 840 ops and 19132 exclusive pairs time: 5, 291 facts and 570 exclusive pairs 1072 ops and 28659 exclusive pairs time: 6, 350 facts and 864 exclusive pairs 1306 ops and 40918 exclusive pairs time: 7, 404 facts and 1140 exclusive pairs 1524 ops and 53259 exclusive pairs time: 8, 454 facts and 1321 exclusive pairs 1715 ops and 62853 exclusive pairs time: 9, 494 facts and 1141 exclusive pairs 1871 ops and 67063 exclusive pairs time: 10, 526 facts and 809 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 12763 VARS, 223603 CLAUSES. time spent: 0.00 seconds instantiating 11050 action templates 0.00 seconds reachability analysis, yielding 560 facts and 1530 actions 0.01 seconds collecting 551 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.21 seconds CNF output time 1.22 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] Pruned: 0: (MOVE R5 V55 V54) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 41.77 User Time: = 41.67 Syst Time: = 0.26