---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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 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... 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 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, 47 facts and 0 exclusive pairs 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 exclusive pairs 1234 ops and 23631 exclusive pairs time: 11, 358 facts and 53 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 exclusive pairs 1234 ops and 23631 exclusive pairs time: 11, 358 facts and 53 exclusive pairs 1266 ops and 24011 exclusive pairs time: 12, 362 facts and 19 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 exclusive pairs 1234 ops and 23631 exclusive pairs time: 11, 358 facts and 53 exclusive pairs 1266 ops and 24011 exclusive pairs time: 12, 362 facts and 19 exclusive pairs 1281 ops and 23998 exclusive pairs time: 13, 364 facts and 6 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 47 facts and 0 exclusive pairs 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 exclusive pairs 1234 ops and 23631 exclusive pairs time: 11, 358 facts and 53 exclusive pairs 1266 ops and 24011 exclusive pairs time: 12, 362 facts and 19 exclusive pairs 1281 ops and 23998 exclusive pairs time: 13, 364 facts and 6 exclusive pairs 1287 ops and 23965 exclusive pairs time: 14, 365 facts and 3 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... plan graph layer 14... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 15189 VARS, 204585 CLAUSES. time spent: 0.00 seconds instantiating 9086 action templates 0.01 seconds reachability analysis, yielding 371 facts and 924 actions 0.00 seconds collecting 365 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.80 seconds CNF output time 0.81 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 15189 pure lits : 359 1-clauses : 53 2-clauses : 201136 3-clauses : 382 n-clauses : 3014 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1398640 conflicts : 137514 time : ~29.95 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 62 ops and 17 exclusive pairs time: 1, 68 facts and 20 exclusive pairs 136 ops and 434 exclusive pairs time: 2, 98 facts and 82 exclusive pairs 265 ops and 2314 exclusive pairs time: 3, 137 facts and 163 exclusive pairs 424 ops and 5560 exclusive pairs time: 4, 177 facts and 225 exclusive pairs 586 ops and 9327 exclusive pairs time: 5, 217 facts and 297 exclusive pairs 737 ops and 13083 exclusive pairs time: 6, 254 facts and 325 exclusive pairs 875 ops and 16333 exclusive pairs time: 7, 287 facts and 300 exclusive pairs 1002 ops and 19463 exclusive pairs time: 8, 318 facts and 304 exclusive pairs 1111 ops and 22435 exclusive pairs time: 9, 337 facts and 221 exclusive pairs 1185 ops and 23751 exclusive pairs time: 10, 349 facts and 79 exclusive pairs 1234 ops and 23631 exclusive pairs time: 11, 358 facts and 53 exclusive pairs 1266 ops and 24011 exclusive pairs time: 12, 362 facts and 19 exclusive pairs 1281 ops and 23998 exclusive pairs time: 13, 364 facts and 6 exclusive pairs 1287 ops and 23965 exclusive pairs time: 14, 365 facts and 3 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... plan graph layer 12... plan graph layer 13... plan graph layer 14... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... exclusion constraints layer 12... exclusion constraints layer 13... exclusion constraints layer 14... DECISION LAYER 14, WRITING THIN GP-BASED ENCODING WITH 15189 VARS, 204585 CLAUSES. time spent: 0.00 seconds instantiating 9086 action templates 0.01 seconds reachability analysis, yielding 371 facts and 924 actions 0.00 seconds collecting 365 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.71 seconds CNF output time 0.72 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] Pruned: 0: (MOVE R3 V52 V51) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 14 layers Real Time: = 32.56 User Time: = 32.34 Syst Time: = 0.31