---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 exclusive pairs 1966 ops and 71563 exclusive pairs time: 9, 568 facts and 844 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 exclusive pairs 1966 ops and 71563 exclusive pairs time: 9, 568 facts and 844 exclusive pairs 2152 ops and 75772 exclusive pairs time: 10, 595 facts and 350 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 exclusive pairs 1966 ops and 71563 exclusive pairs time: 9, 568 facts and 844 exclusive pairs 2152 ops and 75772 exclusive pairs time: 10, 595 facts and 350 exclusive pairs 2256 ops and 74004 exclusive pairs time: 11, 609 facts and 80 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, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 exclusive pairs 1966 ops and 71563 exclusive pairs time: 9, 568 facts and 844 exclusive pairs 2152 ops and 75772 exclusive pairs time: 10, 595 facts and 350 exclusive pairs 2256 ops and 74004 exclusive pairs time: 11, 609 facts and 80 exclusive pairs 2307 ops and 73250 exclusive pairs time: 12, 614 facts and 12 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 20123 VARS, 423063 CLAUSES. time spent: 0.00 seconds instantiating 11524 action templates 0.01 seconds reachability analysis, yielding 627 facts and 1720 actions 0.00 seconds collecting 617 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.75 seconds CNF output time 2.76 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 20123 pure lits : 604 1-clauses : 57 2-clauses : 418672 3-clauses : 496 n-clauses : 3838 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 925837 conflicts : 156748 time : ~51.88 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 68 ops and 25 exclusive pairs time: 1, 78 facts and 26 exclusive pairs 180 ops and 640 exclusive pairs time: 2, 133 facts and 179 exclusive pairs 411 ops and 5178 exclusive pairs time: 3, 194 facts and 382 exclusive pairs 663 ops and 12965 exclusive pairs time: 4, 260 facts and 551 exclusive pairs 935 ops and 23061 exclusive pairs time: 5, 328 facts and 733 exclusive pairs 1209 ops and 34735 exclusive pairs time: 6, 391 facts and 794 exclusive pairs 1464 ops and 45501 exclusive pairs time: 7, 456 facts and 902 exclusive pairs 1721 ops and 58096 exclusive pairs time: 8, 518 facts and 1101 exclusive pairs 1966 ops and 71563 exclusive pairs time: 9, 568 facts and 844 exclusive pairs 2152 ops and 75772 exclusive pairs time: 10, 595 facts and 350 exclusive pairs 2256 ops and 74004 exclusive pairs time: 11, 609 facts and 80 exclusive pairs 2307 ops and 73250 exclusive pairs time: 12, 614 facts and 12 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 20123 VARS, 423063 CLAUSES. time spent: 0.00 seconds instantiating 11524 action templates 0.01 seconds reachability analysis, yielding 627 facts and 1720 actions 0.00 seconds collecting 617 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 2.56 seconds CNF output time 2.58 seconds total planner time (solving not included) Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] Pruned: 0: (MOVE R7 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 12 layers Real Time: = 60.01 User Time: = 59.75 Syst Time: = 0.39