---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs 1264 ops and 27766 exclusive pairs time: 8, 363 facts and 213 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs 1264 ops and 27766 exclusive pairs time: 8, 363 facts and 213 exclusive pairs 1407 ops and 31209 exclusive pairs time: 9, 386 facts and 139 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs 1264 ops and 27766 exclusive pairs time: 8, 363 facts and 213 exclusive pairs 1407 ops and 31209 exclusive pairs time: 9, 386 facts and 139 exclusive pairs 1507 ops and 33524 exclusive pairs time: 10, 402 facts and 77 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs 1264 ops and 27766 exclusive pairs time: 8, 363 facts and 213 exclusive pairs 1407 ops and 31209 exclusive pairs time: 9, 386 facts and 139 exclusive pairs 1507 ops and 33524 exclusive pairs time: 10, 402 facts and 77 exclusive pairs 1574 ops and 34782 exclusive pairs time: 11, 412 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... 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... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 12422 VARS, 182838 CLAUSES. time spent: 0.00 seconds instantiating 13668 action templates 0.01 seconds reachability analysis, yielding 427 facts and 1224 actions 0.00 seconds collecting 421 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.89 seconds CNF output time 0.90 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 12422 pure lits : 406 1-clauses : 61 2-clauses : 180105 3-clauses : 339 n-clauses : 2333 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1189679 conflicts : 96013 time : ~25.54 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 55 facts and 0 exclusive pairs 71 ops and 18 exclusive pairs time: 1, 77 facts and 19 exclusive pairs 149 ops and 413 exclusive pairs time: 2, 109 facts and 83 exclusive pairs 299 ops and 2722 exclusive pairs time: 3, 152 facts and 185 exclusive pairs 488 ops and 6917 exclusive pairs time: 4, 194 facts and 194 exclusive pairs 683 ops and 11351 exclusive pairs time: 5, 241 facts and 266 exclusive pairs 889 ops and 17685 exclusive pairs time: 6, 286 facts and 274 exclusive pairs 1086 ops and 23096 exclusive pairs time: 7, 328 facts and 260 exclusive pairs 1264 ops and 27766 exclusive pairs time: 8, 363 facts and 213 exclusive pairs 1407 ops and 31209 exclusive pairs time: 9, 386 facts and 139 exclusive pairs 1507 ops and 33524 exclusive pairs time: 10, 402 facts and 77 exclusive pairs 1574 ops and 34782 exclusive pairs time: 11, 412 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... 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... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 12422 VARS, 182838 CLAUSES. time spent: 0.01 seconds instantiating 13668 action templates 0.00 seconds reachability analysis, yielding 427 facts and 1224 actions 0.00 seconds collecting 421 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.82 seconds CNF output time 0.83 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] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 28.24 User Time: = 28.15 Syst Time: = 0.16