---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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 exclusive pairs 2209 ops and 75605 exclusive pairs time: 10, 569 facts and 239 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 exclusive pairs 2209 ops and 75605 exclusive pairs time: 10, 569 facts and 239 exclusive pairs 2315 ops and 77981 exclusive pairs time: 11, 585 facts and 109 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 exclusive pairs 2209 ops and 75605 exclusive pairs time: 10, 569 facts and 239 exclusive pairs 2315 ops and 77981 exclusive pairs time: 11, 585 facts and 109 exclusive pairs 2379 ops and 79063 exclusive pairs time: 12, 595 facts and 57 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 exclusive pairs 2209 ops and 75605 exclusive pairs time: 10, 569 facts and 239 exclusive pairs 2315 ops and 77981 exclusive pairs time: 11, 585 facts and 109 exclusive pairs 2379 ops and 79063 exclusive pairs time: 12, 595 facts and 57 exclusive pairs 2417 ops and 79926 exclusive pairs time: 13, 600 facts and 24 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... 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... DECISION LAYER 13, WRITING THIN GP-BASED ENCODING WITH 23446 VARS, 546853 CLAUSES. time spent: 0.00 seconds instantiating 14280 action templates 0.01 seconds reachability analysis, yielding 610 facts and 1836 actions 0.00 seconds collecting 601 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 3.28 seconds CNF output time 3.29 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 23446 pure lits : 591 1-clauses : 61 2-clauses : 541942 3-clauses : 525 n-clauses : 4325 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 7005203 conflicts : 1769430 time : ~800.31 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 69 ops and 18 exclusive pairs time: 1, 77 facts and 20 exclusive pairs 164 ops and 508 exclusive pairs time: 2, 123 facts and 133 exclusive pairs 375 ops and 4571 exclusive pairs time: 3, 186 facts and 394 exclusive pairs 653 ops and 14664 exclusive pairs time: 4, 250 facts and 502 exclusive pairs 945 ops and 25474 exclusive pairs time: 5, 319 facts and 594 exclusive pairs 1252 ops and 38726 exclusive pairs time: 6, 388 facts and 704 exclusive pairs 1555 ops and 51890 exclusive pairs time: 7, 451 facts and 632 exclusive pairs 1825 ops and 62325 exclusive pairs time: 8, 504 facts and 581 exclusive pairs 2046 ops and 70436 exclusive pairs time: 9, 543 facts and 414 exclusive pairs 2209 ops and 75605 exclusive pairs time: 10, 569 facts and 239 exclusive pairs 2315 ops and 77981 exclusive pairs time: 11, 585 facts and 109 exclusive pairs 2379 ops and 79063 exclusive pairs time: 12, 595 facts and 57 exclusive pairs 2417 ops and 79926 exclusive pairs time: 13, 600 facts and 24 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... 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... DECISION LAYER 13, WRITING THIN GP-BASED ENCODING WITH 23446 VARS, 546853 CLAUSES. time spent: 0.00 seconds instantiating 14280 action templates 0.01 seconds reachability analysis, yielding 610 facts and 1836 actions 0.00 seconds collecting 601 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 3.05 seconds CNF output time 3.06 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] Pruned: 0: (MOVE R2 V60 V59) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 13 layers Real Time: = 810.17 User Time: = 809.93 Syst Time: = 0.41