---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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 exclusive pairs 1831 ops and 54129 exclusive pairs time: 9, 493 facts and 237 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 exclusive pairs 1831 ops and 54129 exclusive pairs time: 9, 493 facts and 237 exclusive pairs 1945 ops and 56046 exclusive pairs time: 10, 507 facts and 94 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 exclusive pairs 1831 ops and 54129 exclusive pairs time: 9, 493 facts and 237 exclusive pairs 1945 ops and 56046 exclusive pairs time: 10, 507 facts and 94 exclusive pairs 2001 ops and 56328 exclusive pairs time: 11, 516 facts and 30 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 exclusive pairs 1831 ops and 54129 exclusive pairs time: 9, 493 facts and 237 exclusive pairs 1945 ops and 56046 exclusive pairs time: 10, 507 facts and 94 exclusive pairs 2001 ops and 56328 exclusive pairs time: 11, 516 facts and 30 exclusive pairs 2032 ops and 56737 exclusive pairs time: 12, 520 facts and 5 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... 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... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 18432 VARS, 361883 CLAUSES. time spent: 0.00 seconds instantiating 12864 action templates 0.01 seconds reachability analysis, yielding 531 facts and 1536 actions 0.00 seconds collecting 523 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.00 seconds CNF output time 2.01 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 18432 pure lits : 512 1-clauses : 59 2-clauses : 357911 3-clauses : 422 n-clauses : 3491 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 2202802 conflicts : 407272 time : ~142.27 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 74 ops and 29 exclusive pairs time: 1, 82 facts and 29 exclusive pairs 184 ops and 808 exclusive pairs time: 2, 124 facts and 135 exclusive pairs 370 ops and 4539 exclusive pairs time: 3, 178 facts and 305 exclusive pairs 605 ops and 11659 exclusive pairs time: 4, 240 facts and 475 exclusive pairs 881 ops and 21523 exclusive pairs time: 5, 307 facts and 636 exclusive pairs 1167 ops and 33952 exclusive pairs time: 6, 365 facts and 690 exclusive pairs 1424 ops and 43754 exclusive pairs time: 7, 420 facts and 553 exclusive pairs 1651 ops and 49597 exclusive pairs time: 8, 464 facts and 456 exclusive pairs 1831 ops and 54129 exclusive pairs time: 9, 493 facts and 237 exclusive pairs 1945 ops and 56046 exclusive pairs time: 10, 507 facts and 94 exclusive pairs 2001 ops and 56328 exclusive pairs time: 11, 516 facts and 30 exclusive pairs 2032 ops and 56737 exclusive pairs time: 12, 520 facts and 5 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... 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... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 18432 VARS, 361883 CLAUSES. time spent: 0.00 seconds instantiating 12864 action templates 0.01 seconds reachability analysis, yielding 531 facts and 1536 actions 0.00 seconds collecting 523 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.85 seconds CNF output time 1.86 seconds total planner time (solving not included) Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] Pruned: 0: (MOVE R4 V51 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 12 layers Real Time: = 148.26 User Time: = 148.09 Syst Time: = 0.35