---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 exclusive pairs 1739 ops and 60560 exclusive pairs time: 7, 525 facts and 1028 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 exclusive pairs 1739 ops and 60560 exclusive pairs time: 7, 525 facts and 1028 exclusive pairs 2053 ops and 78858 exclusive pairs time: 8, 587 facts and 810 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 exclusive pairs 1739 ops and 60560 exclusive pairs time: 7, 525 facts and 1028 exclusive pairs 2053 ops and 78858 exclusive pairs time: 8, 587 facts and 810 exclusive pairs 2308 ops and 88811 exclusive pairs time: 9, 634 facts and 471 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, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 exclusive pairs 1739 ops and 60560 exclusive pairs time: 7, 525 facts and 1028 exclusive pairs 2053 ops and 78858 exclusive pairs time: 8, 587 facts and 810 exclusive pairs 2308 ops and 88811 exclusive pairs time: 9, 634 facts and 471 exclusive pairs 2491 ops and 93128 exclusive pairs time: 10, 661 facts and 166 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16590 VARS, 353154 CLAUSES. time spent: 0.00 seconds instantiating 12558 action templates 0.01 seconds reachability analysis, yielding 696 facts and 2002 actions 0.00 seconds collecting 685 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 2.71 seconds CNF output time 2.73 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 16590 pure lits : 650 1-clauses : 58 2-clauses : 349498 3-clauses : 555 n-clauses : 3043 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 890390 conflicts : 119466 time : ~40.88 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 76 ops and 34 exclusive pairs time: 1, 87 facts and 34 exclusive pairs 220 ops and 872 exclusive pairs time: 2, 145 facts and 156 exclusive pairs 465 ops and 5233 exclusive pairs time: 3, 212 facts and 328 exclusive pairs 750 ops and 13076 exclusive pairs time: 4, 290 facts and 546 exclusive pairs 1074 ops and 24984 exclusive pairs time: 5, 370 facts and 769 exclusive pairs 1407 ops and 40736 exclusive pairs time: 6, 449 facts and 952 exclusive pairs 1739 ops and 60560 exclusive pairs time: 7, 525 facts and 1028 exclusive pairs 2053 ops and 78858 exclusive pairs time: 8, 587 facts and 810 exclusive pairs 2308 ops and 88811 exclusive pairs time: 9, 634 facts and 471 exclusive pairs 2491 ops and 93128 exclusive pairs time: 10, 661 facts and 166 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16590 VARS, 353154 CLAUSES. time spent: 0.00 seconds instantiating 12558 action templates 0.01 seconds reachability analysis, yielding 696 facts and 2002 actions 0.00 seconds collecting 685 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 2.58 seconds CNF output time 2.59 seconds total planner time (solving not included) Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] Pruned: 0: (MOVE R2 V50 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 10 layers Real Time: = 48.49 User Time: = 48.31 Syst Time: = 0.24