---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 exclusive pairs 1186 ops and 27299 exclusive pairs time: 8, 358 facts and 311 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 exclusive pairs 1186 ops and 27299 exclusive pairs time: 8, 358 facts and 311 exclusive pairs 1311 ops and 28504 exclusive pairs time: 9, 375 facts and 115 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, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 exclusive pairs 1186 ops and 27299 exclusive pairs time: 8, 358 facts and 311 exclusive pairs 1311 ops and 28504 exclusive pairs time: 9, 375 facts and 115 exclusive pairs 1375 ops and 27523 exclusive pairs time: 10, 384 facts and 40 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 9631 VARS, 120547 CLAUSES. time spent: 0.00 seconds instantiating 10962 action templates 0.00 seconds reachability analysis, yielding 399 facts and 1044 actions 0.00 seconds collecting 393 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.58 seconds CNF output time 0.58 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9631 pure lits : 378 1-clauses : 57 2-clauses : 118332 3-clauses : 301 n-clauses : 1857 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 0 conflicts : 1 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 exclusive pairs 1186 ops and 27299 exclusive pairs time: 8, 358 facts and 311 exclusive pairs 1311 ops and 28504 exclusive pairs time: 9, 375 facts and 115 exclusive pairs 1375 ops and 27523 exclusive pairs time: 10, 384 facts and 40 exclusive pairs 1405 ops and 27315 exclusive pairs time: 11, 389 facts and 21 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 11425 VARS, 150212 CLAUSES. time spent: 0.00 seconds instantiating 10962 action templates 0.00 seconds reachability analysis, yielding 399 facts and 1044 actions 0.00 seconds collecting 393 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.71 seconds CNF output time 0.72 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11425 pure lits : 383 1-clauses : 57 2-clauses : 147611 3-clauses : 312 n-clauses : 2232 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1016183 conflicts : 109623 time : ~34.14 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 65 ops and 14 exclusive pairs time: 1, 71 facts and 14 exclusive pairs 134 ops and 285 exclusive pairs time: 2, 100 facts and 48 exclusive pairs 254 ops and 1395 exclusive pairs time: 3, 135 facts and 95 exclusive pairs 396 ops and 3325 exclusive pairs time: 4, 182 facts and 271 exclusive pairs 588 ops and 8744 exclusive pairs time: 5, 234 facts and 440 exclusive pairs 809 ops and 16746 exclusive pairs time: 6, 283 facts and 485 exclusive pairs 1015 ops and 23287 exclusive pairs time: 7, 325 facts and 421 exclusive pairs 1186 ops and 27299 exclusive pairs time: 8, 358 facts and 311 exclusive pairs 1311 ops and 28504 exclusive pairs time: 9, 375 facts and 115 exclusive pairs 1375 ops and 27523 exclusive pairs time: 10, 384 facts and 40 exclusive pairs 1405 ops and 27315 exclusive pairs time: 11, 389 facts and 21 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 11425 VARS, 150212 CLAUSES. time spent: 0.00 seconds instantiating 10962 action templates 0.00 seconds reachability analysis, yielding 399 facts and 1044 actions 0.00 seconds collecting 393 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.64 seconds CNF output time 0.64 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] Pruned: 0: (MOVE R5 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 36.76 User Time: = 36.67 Syst Time: = 0.18