---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 exclusive pairs 1990 ops and 54601 exclusive pairs time: 11, 520 facts and 38 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 exclusive pairs 1990 ops and 54601 exclusive pairs time: 11, 520 facts and 38 exclusive pairs 2041 ops and 56238 exclusive pairs time: 12, 527 facts and 15 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... 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 exclusive pairs 1990 ops and 54601 exclusive pairs time: 11, 520 facts and 38 exclusive pairs 2041 ops and 56238 exclusive pairs time: 12, 527 facts and 15 exclusive pairs 2068 ops and 57055 exclusive pairs time: 13, 531 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... plan graph layer 12... plan graph layer 13... 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, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 exclusive pairs 1990 ops and 54601 exclusive pairs time: 11, 520 facts and 38 exclusive pairs 2041 ops and 56238 exclusive pairs time: 12, 527 facts and 15 exclusive pairs 2068 ops and 57055 exclusive pairs time: 13, 531 facts and 11 exclusive pairs 2081 ops and 57404 exclusive pairs time: 14, 532 facts and 3 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... plan graph layer 13... plan graph layer 14... 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... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 22899 VARS, 442132 CLAUSES. time spent: 0.00 seconds instantiating 13192 action templates 0.00 seconds reachability analysis, yielding 540 facts and 1552 actions 0.01 seconds collecting 532 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.53 seconds CNF output time 2.54 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 22899 pure lits : 525 1-clauses : 59 2-clauses : 437178 3-clauses : 462 n-clauses : 4433 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 11689312 conflicts : 3310362 time : ~1594.26 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 72 ops and 21 exclusive pairs time: 1, 80 facts and 22 exclusive pairs 168 ops and 422 exclusive pairs time: 2, 117 facts and 68 exclusive pairs 324 ops and 1926 exclusive pairs time: 3, 163 facts and 137 exclusive pairs 525 ops and 5407 exclusive pairs time: 4, 221 facts and 257 exclusive pairs 781 ops and 12437 exclusive pairs time: 5, 286 facts and 373 exclusive pairs 1061 ops and 21815 exclusive pairs time: 6, 346 facts and 346 exclusive pairs 1323 ops and 30603 exclusive pairs time: 7, 403 facts and 280 exclusive pairs 1568 ops and 39478 exclusive pairs time: 8, 452 facts and 230 exclusive pairs 1770 ops and 47190 exclusive pairs time: 9, 485 facts and 137 exclusive pairs 1906 ops and 52040 exclusive pairs time: 10, 506 facts and 61 exclusive pairs 1990 ops and 54601 exclusive pairs time: 11, 520 facts and 38 exclusive pairs 2041 ops and 56238 exclusive pairs time: 12, 527 facts and 15 exclusive pairs 2068 ops and 57055 exclusive pairs time: 13, 531 facts and 11 exclusive pairs 2081 ops and 57404 exclusive pairs time: 14, 532 facts and 3 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... plan graph layer 13... plan graph layer 14... 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... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 22899 VARS, 442132 CLAUSES. time spent: 0.00 seconds instantiating 13192 action templates 0.01 seconds reachability analysis, yielding 540 facts and 1552 actions 0.00 seconds collecting 532 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.53 seconds CNF output time 2.54 seconds total planner time (solving not included) Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] Pruned: 0: (MOVE R8 V59 V58) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 14 layers Real Time: = 1602.28 User Time: = 1602.14 Syst Time: = 0.32