---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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs 2243 ops and 69279 exclusive pairs time: 11, 579 facts and 38 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... 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs 2243 ops and 69279 exclusive pairs time: 11, 579 facts and 38 exclusive pairs 2294 ops and 71174 exclusive pairs time: 12, 586 facts and 15 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... plan graph layer 12... 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs 2243 ops and 69279 exclusive pairs time: 11, 579 facts and 38 exclusive pairs 2294 ops and 71174 exclusive pairs time: 12, 586 facts and 15 exclusive pairs 2321 ops and 72124 exclusive pairs time: 13, 590 facts and 11 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... plan graph layer 12... plan graph layer 13... 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs 2243 ops and 69279 exclusive pairs time: 11, 579 facts and 38 exclusive pairs 2294 ops and 71174 exclusive pairs time: 12, 586 facts and 15 exclusive pairs 2321 ops and 72124 exclusive pairs time: 13, 590 facts and 11 exclusive pairs 2334 ops and 72526 exclusive pairs time: 14, 591 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... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... plan graph layer 14... 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... exclusion constraints layer 12... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 26005 VARS, 567199 CLAUSES. time spent: 0.00 seconds instantiating 13386 action templates 0.01 seconds reachability analysis, yielding 600 facts and 1746 actions 0.00 seconds collecting 591 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 3.51 seconds CNF output time 3.52 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 26005 pure lits : 582 1-clauses : 60 2-clauses : 561631 3-clauses : 520 n-clauses : 4988 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 7376113 conflicts : 1673149 time : ~734.95 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 75 ops and 25 exclusive pairs time: 1, 84 facts and 26 exclusive pairs 191 ops and 548 exclusive pairs time: 2, 128 facts and 88 exclusive pairs 381 ops and 2758 exclusive pairs time: 3, 184 facts and 193 exclusive pairs 625 ops and 8019 exclusive pairs time: 4, 252 facts and 360 exclusive pairs 924 ops and 17936 exclusive pairs time: 5, 327 facts and 530 exclusive pairs 1245 ops and 30639 exclusive pairs time: 6, 396 facts and 476 exclusive pairs 1541 ops and 41620 exclusive pairs time: 7, 458 facts and 362 exclusive pairs 1807 ops and 52137 exclusive pairs time: 8, 510 facts and 275 exclusive pairs 2020 ops and 61035 exclusive pairs time: 9, 544 facts and 151 exclusive pairs 2159 ops and 66374 exclusive pairs time: 10, 565 facts and 63 exclusive pairs 2243 ops and 69279 exclusive pairs time: 11, 579 facts and 38 exclusive pairs 2294 ops and 71174 exclusive pairs time: 12, 586 facts and 15 exclusive pairs 2321 ops and 72124 exclusive pairs time: 13, 590 facts and 11 exclusive pairs 2334 ops and 72526 exclusive pairs time: 14, 591 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... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... plan graph layer 14... 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... exclusion constraints layer 12... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 26005 VARS, 567199 CLAUSES. time spent: 0.00 seconds instantiating 13386 action templates 0.01 seconds reachability analysis, yielding 600 facts and 1746 actions 0.00 seconds collecting 591 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 3.26 seconds CNF output time 3.27 seconds total planner time (solving not included) Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] Pruned: 0: (MOVE R9 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 14 layers Real Time: = 745.87 User Time: = 745.44 Syst Time: = 0.45