---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs 503 ops and 4846 exclusive pairs time: 7, 181 facts and 99 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs 503 ops and 4846 exclusive pairs time: 7, 181 facts and 99 exclusive pairs 575 ops and 6079 exclusive pairs time: 8, 199 facts and 104 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs 503 ops and 4846 exclusive pairs time: 7, 181 facts and 99 exclusive pairs 575 ops and 6079 exclusive pairs time: 8, 199 facts and 104 exclusive pairs 648 ops and 7017 exclusive pairs time: 9, 215 facts and 63 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs 503 ops and 4846 exclusive pairs time: 7, 181 facts and 99 exclusive pairs 575 ops and 6079 exclusive pairs time: 8, 199 facts and 104 exclusive pairs 648 ops and 7017 exclusive pairs time: 9, 215 facts and 63 exclusive pairs 707 ops and 7100 exclusive pairs time: 10, 223 facts and 26 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 5359 VARS, 35720 CLAUSES. time spent: 0.00 seconds instantiating 10320 action templates 0.00 seconds reachability analysis, yielding 228 facts and 516 actions 0.00 seconds collecting 225 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.11 seconds CNF output time 0.12 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 5359 pure lits : 220 1-clauses : 57 2-clauses : 34449 3-clauses : 159 n-clauses : 1055 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 192728 conflicts : 8588 time : ~0.57 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 54 facts and 0 exclusive pairs 61 ops and 7 exclusive pairs time: 1, 64 facts and 7 exclusive pairs 98 ops and 148 exclusive pairs time: 2, 82 facts and 31 exclusive pairs 173 ops and 848 exclusive pairs time: 3, 102 facts and 53 exclusive pairs 257 ops and 1777 exclusive pairs time: 4, 125 facts and 74 exclusive pairs 350 ops and 2981 exclusive pairs time: 5, 146 facts and 82 exclusive pairs 433 ops and 3944 exclusive pairs time: 6, 163 facts and 75 exclusive pairs 503 ops and 4846 exclusive pairs time: 7, 181 facts and 99 exclusive pairs 575 ops and 6079 exclusive pairs time: 8, 199 facts and 104 exclusive pairs 648 ops and 7017 exclusive pairs time: 9, 215 facts and 63 exclusive pairs 707 ops and 7100 exclusive pairs time: 10, 223 facts and 26 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 5359 VARS, 35720 CLAUSES. time spent: 0.01 seconds instantiating 10320 action templates 0.00 seconds reachability analysis, yielding 228 facts and 516 actions 0.00 seconds collecting 225 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.10 seconds CNF output time 0.11 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] Pruned: 0: (MOVE R1 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 1.01 User Time: = 0.98 Syst Time: = 0.07