---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs 1647 ops and 56083 exclusive pairs time: 7, 494 facts and 864 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs 1647 ops and 56083 exclusive pairs time: 7, 494 facts and 864 exclusive pairs 1925 ops and 67077 exclusive pairs time: 8, 547 facts and 534 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs 1647 ops and 56083 exclusive pairs time: 7, 494 facts and 864 exclusive pairs 1925 ops and 67077 exclusive pairs time: 8, 547 facts and 534 exclusive pairs 2131 ops and 72306 exclusive pairs time: 9, 580 facts and 245 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs 1647 ops and 56083 exclusive pairs time: 7, 494 facts and 864 exclusive pairs 1925 ops and 67077 exclusive pairs time: 8, 547 facts and 534 exclusive pairs 2131 ops and 72306 exclusive pairs time: 9, 580 facts and 245 exclusive pairs 2264 ops and 75501 exclusive pairs time: 10, 604 facts and 143 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 15234 VARS, 306971 CLAUSES. time spent: 0.00 seconds instantiating 12376 action templates 0.01 seconds reachability analysis, yielding 638 facts and 1820 actions 0.00 seconds collecting 628 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.15 seconds CNF output time 2.16 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 15234 pure lits : 594 1-clauses : 58 2-clauses : 303626 3-clauses : 492 n-clauses : 2795 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1114610 conflicts : 167076 time : ~67.33 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 48 facts and 0 exclusive pairs 68 ops and 21 exclusive pairs time: 1, 78 facts and 24 exclusive pairs 174 ops and 537 exclusive pairs time: 2, 127 facts and 123 exclusive pairs 382 ops and 3560 exclusive pairs time: 3, 187 facts and 291 exclusive pairs 640 ops and 10265 exclusive pairs time: 4, 265 facts and 638 exclusive pairs 973 ops and 23912 exclusive pairs time: 5, 349 facts and 918 exclusive pairs 1326 ops and 40859 exclusive pairs time: 6, 425 facts and 965 exclusive pairs 1647 ops and 56083 exclusive pairs time: 7, 494 facts and 864 exclusive pairs 1925 ops and 67077 exclusive pairs time: 8, 547 facts and 534 exclusive pairs 2131 ops and 72306 exclusive pairs time: 9, 580 facts and 245 exclusive pairs 2264 ops and 75501 exclusive pairs time: 10, 604 facts and 143 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 15234 VARS, 306971 CLAUSES. time spent: 0.00 seconds instantiating 12376 action templates 0.01 seconds reachability analysis, yielding 638 facts and 1820 actions 0.00 seconds collecting 628 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 1.99 seconds CNF output time 2.01 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] Pruned: 0: (MOVE R2 V57 V56) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 73.4 User Time: = 73.24 Syst Time: = 0.2