---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 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... 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 exclusive pairs 1088 ops and 17058 exclusive pairs time: 9, 320 facts and 44 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 exclusive pairs 1088 ops and 17058 exclusive pairs time: 9, 320 facts and 44 exclusive pairs 1190 ops and 19553 exclusive pairs time: 10, 335 facts and 20 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 exclusive pairs 1088 ops and 17058 exclusive pairs time: 9, 320 facts and 44 exclusive pairs 1190 ops and 19553 exclusive pairs time: 10, 335 facts and 20 exclusive pairs 1253 ops and 21014 exclusive pairs time: 11, 346 facts and 11 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... 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, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 exclusive pairs 1088 ops and 17058 exclusive pairs time: 9, 320 facts and 44 exclusive pairs 1190 ops and 19553 exclusive pairs time: 10, 335 facts and 20 exclusive pairs 1253 ops and 21014 exclusive pairs time: 11, 346 facts and 11 exclusive pairs 1292 ops and 21912 exclusive pairs time: 12, 351 facts and 5 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 11169 VARS, 124543 CLAUSES. time spent: 0.00 seconds instantiating 12610 action templates 0.01 seconds reachability analysis, yielding 360 facts and 970 actions 0.00 seconds collecting 355 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.57 seconds CNF output time 0.58 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11169 pure lits : 346 1-clauses : 60 2-clauses : 121964 3-clauses : 292 n-clauses : 2227 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1286598 conflicts : 97547 time : ~25.55 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 67 ops and 12 exclusive pairs time: 1, 72 facts and 12 exclusive pairs 124 ops and 191 exclusive pairs time: 2, 93 facts and 22 exclusive pairs 209 ops and 570 exclusive pairs time: 3, 117 facts and 36 exclusive pairs 317 ops and 1428 exclusive pairs time: 4, 151 facts and 84 exclusive pairs 463 ops and 3658 exclusive pairs time: 5, 188 facts and 143 exclusive pairs 625 ops and 7147 exclusive pairs time: 6, 224 facts and 127 exclusive pairs 785 ops and 10289 exclusive pairs time: 7, 262 facts and 106 exclusive pairs 947 ops and 13797 exclusive pairs time: 8, 295 facts and 77 exclusive pairs 1088 ops and 17058 exclusive pairs time: 9, 320 facts and 44 exclusive pairs 1190 ops and 19553 exclusive pairs time: 10, 335 facts and 20 exclusive pairs 1253 ops and 21014 exclusive pairs time: 11, 346 facts and 11 exclusive pairs 1292 ops and 21912 exclusive pairs time: 12, 351 facts and 5 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 11169 VARS, 124543 CLAUSES. time spent: 0.00 seconds instantiating 12610 action templates 0.01 seconds reachability analysis, yielding 360 facts and 970 actions 0.00 seconds collecting 355 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.51 seconds CNF output time 0.52 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] Pruned: 0: (MOVE R5 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 12 layers Real Time: = 27.36 User Time: = 27.28 Syst Time: = 0.12