---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 exclusive pairs 251 ops and 788 exclusive pairs time: 7, 110 facts and 7 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 exclusive pairs 251 ops and 788 exclusive pairs time: 7, 110 facts and 7 exclusive pairs 281 ops and 915 exclusive pairs time: 8, 115 facts and 5 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 exclusive pairs 251 ops and 788 exclusive pairs time: 7, 110 facts and 7 exclusive pairs 281 ops and 915 exclusive pairs time: 8, 115 facts and 5 exclusive pairs 301 ops and 992 exclusive pairs time: 9, 118 facts and 3 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, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 exclusive pairs 251 ops and 788 exclusive pairs time: 7, 110 facts and 7 exclusive pairs 281 ops and 915 exclusive pairs time: 8, 115 facts and 5 exclusive pairs 301 ops and 992 exclusive pairs time: 9, 118 facts and 3 exclusive pairs 314 ops and 1044 exclusive pairs time: 10, 120 facts and 2 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 2958 VARS, 9105 CLAUSES. time spent: 0.00 seconds instantiating 12648 action templates 0.00 seconds reachability analysis, yielding 122 facts and 204 actions 0.00 seconds collecting 121 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.03 seconds CNF output time 0.03 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 2958 pure lits : 119 1-clauses : 61 2-clauses : 8409 3-clauses : 62 n-clauses : 573 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 52180 conflicts : 1697 time : ~0.05 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 60 facts and 0 exclusive pairs 64 ops and 4 exclusive pairs time: 1, 65 facts and 4 exclusive pairs 82 ops and 72 exclusive pairs time: 2, 71 facts and 6 exclusive pairs 110 ops and 187 exclusive pairs time: 3, 79 facts and 8 exclusive pairs 144 ops and 335 exclusive pairs time: 4, 86 facts and 7 exclusive pairs 177 ops and 474 exclusive pairs time: 5, 94 facts and 8 exclusive pairs 213 ops and 625 exclusive pairs time: 6, 103 facts and 9 exclusive pairs 251 ops and 788 exclusive pairs time: 7, 110 facts and 7 exclusive pairs 281 ops and 915 exclusive pairs time: 8, 115 facts and 5 exclusive pairs 301 ops and 992 exclusive pairs time: 9, 118 facts and 3 exclusive pairs 314 ops and 1044 exclusive pairs time: 10, 120 facts and 2 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 2958 VARS, 9105 CLAUSES. time spent: 0.00 seconds instantiating 12648 action templates 0.00 seconds reachability analysis, yielding 122 facts and 204 actions 0.00 seconds collecting 121 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.02 seconds CNF output time 0.02 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] Pruned: 0: (MOVE R1 V60 V59) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 0.22 User Time: = 0.24 Syst Time: = 0.01