---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs 1015 ops and 19464 exclusive pairs time: 7, 332 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... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs 1015 ops and 19464 exclusive pairs time: 7, 332 facts and 295 exclusive pairs 1203 ops and 25575 exclusive pairs time: 8, 367 facts and 181 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs 1015 ops and 19464 exclusive pairs time: 7, 332 facts and 295 exclusive pairs 1203 ops and 25575 exclusive pairs time: 8, 367 facts and 181 exclusive pairs 1348 ops and 29022 exclusive pairs time: 9, 396 facts and 101 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs 1015 ops and 19464 exclusive pairs time: 7, 332 facts and 295 exclusive pairs 1203 ops and 25575 exclusive pairs time: 8, 367 facts and 181 exclusive pairs 1348 ops and 29022 exclusive pairs time: 9, 396 facts and 101 exclusive pairs 1457 ops and 31696 exclusive pairs time: 10, 415 facts and 64 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 10008 VARS, 129006 CLAUSES. time spent: 0.00 seconds instantiating 10292 action templates 0.01 seconds reachability analysis, yielding 440 facts and 1162 actions 0.00 seconds collecting 433 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.65 seconds CNF output time 0.66 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 10008 pure lits : 408 1-clauses : 55 2-clauses : 126674 3-clauses : 350 n-clauses : 1927 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 456316 conflicts : 34108 time : ~4.73 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 75 facts and 21 exclusive pairs 159 ops and 388 exclusive pairs time: 2, 107 facts and 50 exclusive pairs 286 ops and 1464 exclusive pairs time: 3, 143 facts and 90 exclusive pairs 436 ops and 3571 exclusive pairs time: 4, 189 facts and 182 exclusive pairs 623 ops and 7980 exclusive pairs time: 5, 237 facts and 252 exclusive pairs 821 ops and 13494 exclusive pairs time: 6, 283 facts and 264 exclusive pairs 1015 ops and 19464 exclusive pairs time: 7, 332 facts and 295 exclusive pairs 1203 ops and 25575 exclusive pairs time: 8, 367 facts and 181 exclusive pairs 1348 ops and 29022 exclusive pairs time: 9, 396 facts and 101 exclusive pairs 1457 ops and 31696 exclusive pairs time: 10, 415 facts and 64 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 10008 VARS, 129006 CLAUSES. time spent: 0.01 seconds instantiating 10292 action templates 0.00 seconds reachability analysis, yielding 440 facts and 1162 actions 0.00 seconds collecting 433 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.60 seconds CNF output time 0.62 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] Pruned: 0: (MOVE R1 V47 V39) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 6.67 User Time: = 6.65 Syst Time: = 0.11