---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 exclusive pairs 1271 ops and 41000 exclusive pairs time: 7, 406 facts and 895 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 exclusive pairs 1271 ops and 41000 exclusive pairs time: 7, 406 facts and 895 exclusive pairs 1494 ops and 48948 exclusive pairs time: 8, 454 facts and 695 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 exclusive pairs 1271 ops and 41000 exclusive pairs time: 7, 406 facts and 895 exclusive pairs 1494 ops and 48948 exclusive pairs time: 8, 454 facts and 695 exclusive pairs 1667 ops and 52077 exclusive pairs time: 9, 485 facts and 386 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, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 exclusive pairs 1271 ops and 41000 exclusive pairs time: 7, 406 facts and 895 exclusive pairs 1494 ops and 48948 exclusive pairs time: 8, 454 facts and 695 exclusive pairs 1667 ops and 52077 exclusive pairs time: 9, 485 facts and 386 exclusive pairs 1777 ops and 52370 exclusive pairs time: 10, 500 facts and 107 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 12259 VARS, 212050 CLAUSES. time spent: 0.00 seconds instantiating 9548 action templates 0.01 seconds reachability analysis, yielding 530 facts and 1386 actions 0.00 seconds collecting 521 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.16 seconds CNF output time 1.17 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 12259 pure lits : 491 1-clauses : 53 2-clauses : 209287 3-clauses : 473 n-clauses : 2237 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 799631 conflicts : 113770 time : ~27.52 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 44 facts and 0 exclusive pairs 64 ops and 22 exclusive pairs time: 1, 73 facts and 26 exclusive pairs 167 ops and 612 exclusive pairs time: 2, 116 facts and 128 exclusive pairs 346 ops and 3658 exclusive pairs time: 3, 167 facts and 252 exclusive pairs 556 ops and 8900 exclusive pairs time: 4, 224 facts and 401 exclusive pairs 785 ops and 16639 exclusive pairs time: 5, 286 facts and 697 exclusive pairs 1028 ops and 28442 exclusive pairs time: 6, 349 facts and 960 exclusive pairs 1271 ops and 41000 exclusive pairs time: 7, 406 facts and 895 exclusive pairs 1494 ops and 48948 exclusive pairs time: 8, 454 facts and 695 exclusive pairs 1667 ops and 52077 exclusive pairs time: 9, 485 facts and 386 exclusive pairs 1777 ops and 52370 exclusive pairs time: 10, 500 facts and 107 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 12259 VARS, 212050 CLAUSES. time spent: 0.00 seconds instantiating 9548 action templates 0.01 seconds reachability analysis, yielding 530 facts and 1386 actions 0.00 seconds collecting 521 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.07 seconds CNF output time 1.08 seconds total planner time (solving not included) Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] Pruned: 0: (MOVE R6 V52 V51) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 30.84 User Time: = 30.75 Syst Time: = 0.23