---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 exclusive pairs 1201 ops and 30923 exclusive pairs time: 8, 365 facts and 763 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 exclusive pairs 1201 ops and 30923 exclusive pairs time: 8, 365 facts and 763 exclusive pairs 1340 ops and 37204 exclusive pairs time: 9, 395 facts and 669 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, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 exclusive pairs 1201 ops and 30923 exclusive pairs time: 8, 365 facts and 763 exclusive pairs 1340 ops and 37204 exclusive pairs time: 9, 395 facts and 669 exclusive pairs 1459 ops and 40325 exclusive pairs time: 10, 420 facts and 469 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 10255 VARS, 137733 CLAUSES. time spent: 0.00 seconds instantiating 10710 action templates 0.01 seconds reachability analysis, yielding 448 facts and 1190 actions 0.00 seconds collecting 441 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.67 seconds CNF output time 0.68 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 10255 pure lits : 413 1-clauses : 56 2-clauses : 135379 3-clauses : 353 n-clauses : 1945 discarded : 0 [ solve ] unsatisfiable [ stats ] decisions : 0 conflicts : 1 time : ~0.01 ***UNSAT*** bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 exclusive pairs 1201 ops and 30923 exclusive pairs time: 8, 365 facts and 763 exclusive pairs 1340 ops and 37204 exclusive pairs time: 9, 395 facts and 669 exclusive pairs 1459 ops and 40325 exclusive pairs time: 10, 420 facts and 469 exclusive pairs 1552 ops and 40381 exclusive pairs time: 11, 433 facts and 222 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 12240 VARS, 174809 CLAUSES. time spent: 0.01 seconds instantiating 10710 action templates 0.00 seconds reachability analysis, yielding 448 facts and 1190 actions 0.00 seconds collecting 441 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.85 seconds CNF output time 0.86 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 12240 pure lits : 426 1-clauses : 56 2-clauses : 172022 3-clauses : 374 n-clauses : 2357 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 792391 conflicts : 86864 time : ~19.03 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 49 facts and 0 exclusive pairs 70 ops and 25 exclusive pairs time: 1, 77 facts and 25 exclusive pairs 170 ops and 555 exclusive pairs time: 2, 113 facts and 69 exclusive pairs 321 ops and 2288 exclusive pairs time: 3, 155 facts and 150 exclusive pairs 494 ops and 5902 exclusive pairs time: 4, 198 facts and 235 exclusive pairs 674 ops and 10984 exclusive pairs time: 5, 242 facts and 338 exclusive pairs 857 ops and 16886 exclusive pairs time: 6, 288 facts and 511 exclusive pairs 1038 ops and 23971 exclusive pairs time: 7, 329 facts and 630 exclusive pairs 1201 ops and 30923 exclusive pairs time: 8, 365 facts and 763 exclusive pairs 1340 ops and 37204 exclusive pairs time: 9, 395 facts and 669 exclusive pairs 1459 ops and 40325 exclusive pairs time: 10, 420 facts and 469 exclusive pairs 1552 ops and 40381 exclusive pairs time: 11, 433 facts and 222 exclusive pairs creating thin gp-based encoding... plan graph layer 0... plan graph layer 1... plan graph layer 2... plan graph layer 3... plan graph layer 4... plan graph layer 5... plan graph layer 6... plan graph layer 7... plan graph layer 8... plan graph layer 9... plan graph layer 10... plan graph layer 11... goal constraints... exclusion constraints layer 0... exclusion constraints layer 1... exclusion constraints layer 2... exclusion constraints layer 3... exclusion constraints layer 4... exclusion constraints layer 5... exclusion constraints layer 6... exclusion constraints layer 7... exclusion constraints layer 8... exclusion constraints layer 9... exclusion constraints layer 10... exclusion constraints layer 11... DECISION LAYER 11, WRITING THIN GP-BASED ENCODING WITH 12240 VARS, 174809 CLAUSES. time spent: 0.00 seconds instantiating 10710 action templates 0.00 seconds reachability analysis, yielding 448 facts and 1190 actions 0.00 seconds collecting 441 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.77 seconds CNF output time 0.78 seconds total planner time (solving not included) Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] Pruned: 0: (MOVE R3 V55 V54) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 22.1 User Time: = 21.9 Syst Time: = 0.28