---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 exclusive pairs 1065 ops and 21843 exclusive pairs time: 8, 335 facts and 388 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 exclusive pairs 1065 ops and 21843 exclusive pairs time: 8, 335 facts and 388 exclusive pairs 1209 ops and 25954 exclusive pairs time: 9, 366 facts and 294 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, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 exclusive pairs 1065 ops and 21843 exclusive pairs time: 8, 335 facts and 388 exclusive pairs 1209 ops and 25954 exclusive pairs time: 9, 366 facts and 294 exclusive pairs 1326 ops and 27680 exclusive pairs time: 10, 385 facts and 146 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 9277 VARS, 110427 CLAUSES. time spent: 0.00 seconds instantiating 10836 action templates 0.01 seconds reachability analysis, yielding 399 facts and 1032 actions 0.00 seconds collecting 393 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.52 seconds CNF output time 0.53 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 9277 pure lits : 379 1-clauses : 57 2-clauses : 108306 3-clauses : 306 n-clauses : 1758 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 1401 conflicts : 35 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 exclusive pairs 1065 ops and 21843 exclusive pairs time: 8, 335 facts and 388 exclusive pairs 1209 ops and 25954 exclusive pairs time: 9, 366 facts and 294 exclusive pairs 1326 ops and 27680 exclusive pairs time: 10, 385 facts and 146 exclusive pairs 1397 ops and 27749 exclusive pairs time: 11, 392 facts and 31 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 11066 VARS, 139174 CLAUSES. time spent: 0.01 seconds instantiating 10836 action templates 0.00 seconds reachability analysis, yielding 399 facts and 1032 actions 0.00 seconds collecting 393 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.65 seconds CNF output time 0.66 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 11066 pure lits : 386 1-clauses : 57 2-clauses : 136661 3-clauses : 318 n-clauses : 2138 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 526282 conflicts : 36775 time : ~5.7 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 51 facts and 0 exclusive pairs 66 ops and 16 exclusive pairs time: 1, 72 facts and 16 exclusive pairs 143 ops and 393 exclusive pairs time: 2, 108 facts and 85 exclusive pairs 291 ops and 2413 exclusive pairs time: 3, 145 facts and 151 exclusive pairs 444 ops and 5184 exclusive pairs time: 4, 185 facts and 222 exclusive pairs 611 ops and 9310 exclusive pairs time: 5, 225 facts and 301 exclusive pairs 773 ops and 13969 exclusive pairs time: 6, 261 facts and 304 exclusive pairs 918 ops and 17637 exclusive pairs time: 7, 298 facts and 339 exclusive pairs 1065 ops and 21843 exclusive pairs time: 8, 335 facts and 388 exclusive pairs 1209 ops and 25954 exclusive pairs time: 9, 366 facts and 294 exclusive pairs 1326 ops and 27680 exclusive pairs time: 10, 385 facts and 146 exclusive pairs 1397 ops and 27749 exclusive pairs time: 11, 392 facts and 31 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 11066 VARS, 139174 CLAUSES. time spent: 0.00 seconds instantiating 10836 action templates 0.01 seconds reachability analysis, yielding 399 facts and 1032 actions 0.00 seconds collecting 393 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.59 seconds CNF output time 0.60 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] Pruned: 0: (MOVE R3 V56 V55) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 8.13 User Time: = 8.08 Syst Time: = 0.15