---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 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, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 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... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs 1605 ops and 40328 exclusive pairs time: 9, 438 facts and 144 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs 1605 ops and 40328 exclusive pairs time: 9, 438 facts and 144 exclusive pairs 1706 ops and 42263 exclusive pairs time: 10, 450 facts and 55 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs 1605 ops and 40328 exclusive pairs time: 9, 438 facts and 144 exclusive pairs 1706 ops and 42263 exclusive pairs time: 10, 450 facts and 55 exclusive pairs 1754 ops and 42766 exclusive pairs time: 11, 458 facts and 17 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... goal fact not coded - level too low?? bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs 1605 ops and 40328 exclusive pairs time: 9, 438 facts and 144 exclusive pairs 1706 ops and 42263 exclusive pairs time: 10, 450 facts and 55 exclusive pairs 1754 ops and 42766 exclusive pairs time: 11, 458 facts and 17 exclusive pairs 1782 ops and 43339 exclusive pairs time: 12, 462 facts and 4 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... 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... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 16242 VARS, 275962 CLAUSES. time spent: 0.00 seconds instantiating 12672 action templates 0.01 seconds reachability analysis, yielding 472 facts and 1344 actions 0.00 seconds collecting 465 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.40 seconds CNF output time 1.41 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 16242 pure lits : 455 1-clauses : 59 2-clauses : 272410 3-clauses : 386 n-clauses : 3107 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 2063982 conflicts : 190008 time : ~57.72 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 52 facts and 0 exclusive pairs 73 ops and 25 exclusive pairs time: 1, 80 facts and 25 exclusive pairs 171 ops and 619 exclusive pairs time: 2, 115 facts and 85 exclusive pairs 329 ops and 2994 exclusive pairs time: 3, 163 facts and 195 exclusive pairs 535 ops and 7771 exclusive pairs time: 4, 216 facts and 301 exclusive pairs 773 ops and 14712 exclusive pairs time: 5, 274 facts and 369 exclusive pairs 1017 ops and 22815 exclusive pairs time: 6, 323 facts and 370 exclusive pairs 1238 ops and 29859 exclusive pairs time: 7, 373 facts and 344 exclusive pairs 1443 ops and 36016 exclusive pairs time: 8, 412 facts and 285 exclusive pairs 1605 ops and 40328 exclusive pairs time: 9, 438 facts and 144 exclusive pairs 1706 ops and 42263 exclusive pairs time: 10, 450 facts and 55 exclusive pairs 1754 ops and 42766 exclusive pairs time: 11, 458 facts and 17 exclusive pairs 1782 ops and 43339 exclusive pairs time: 12, 462 facts and 4 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... 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... DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 16242 VARS, 275962 CLAUSES. time spent: 0.01 seconds instantiating 12672 action templates 0.00 seconds reachability analysis, yielding 472 facts and 1344 actions 0.00 seconds collecting 465 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.29 seconds CNF output time 1.30 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] Pruned: 0: (MOVE R3 V51 V43) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 12 layers Real Time: = 61.97 User Time: = 61.71 Syst Time: = 0.32