---SatPlan Version: 1.1 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 exclusive pairs 1315 ops and 36422 exclusive pairs time: 8, 405 facts and 524 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 exclusive pairs 1315 ops and 36422 exclusive pairs time: 8, 405 facts and 524 exclusive pairs 1469 ops and 40236 exclusive pairs time: 9, 433 facts and 334 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 exclusive pairs 1315 ops and 36422 exclusive pairs time: 8, 405 facts and 524 exclusive pairs 1469 ops and 40236 exclusive pairs time: 9, 433 facts and 334 exclusive pairs 1571 ops and 41386 exclusive pairs time: 10, 448 facts and 103 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, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 exclusive pairs 1315 ops and 36422 exclusive pairs time: 8, 405 facts and 524 exclusive pairs 1469 ops and 40236 exclusive pairs time: 9, 433 facts and 334 exclusive pairs 1571 ops and 41386 exclusive pairs time: 10, 448 facts and 103 exclusive pairs 1631 ops and 41358 exclusive pairs time: 11, 459 facts and 60 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 13149 VARS, 212317 CLAUSES. time spent: 0.00 seconds instantiating 9394 action templates 0.01 seconds reachability analysis, yielding 477 facts and 1232 actions 0.00 seconds collecting 469 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 1.03 seconds CNF output time 1.04 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 13149 pure lits : 451 1-clauses : 53 2-clauses : 209340 3-clauses : 456 n-clauses : 2468 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 1399734 conflicts : 398416 time : ~154.51 bb: parsing domain file domain 'MULTIROBOT' defined ... done. bb: parsing problem file problem 'MULTIROBOT_INSTANCE' defined ... done. time: 0, 45 facts and 0 exclusive pairs 66 ops and 24 exclusive pairs time: 1, 74 facts and 27 exclusive pairs 167 ops and 620 exclusive pairs time: 2, 113 facts and 115 exclusive pairs 331 ops and 3298 exclusive pairs time: 3, 161 facts and 234 exclusive pairs 526 ops and 8055 exclusive pairs time: 4, 211 facts and 346 exclusive pairs 728 ops and 14403 exclusive pairs time: 5, 263 facts and 505 exclusive pairs 928 ops and 21827 exclusive pairs time: 6, 315 facts and 612 exclusive pairs 1128 ops and 29591 exclusive pairs time: 7, 362 facts and 592 exclusive pairs 1315 ops and 36422 exclusive pairs time: 8, 405 facts and 524 exclusive pairs 1469 ops and 40236 exclusive pairs time: 9, 433 facts and 334 exclusive pairs 1571 ops and 41386 exclusive pairs time: 10, 448 facts and 103 exclusive pairs 1631 ops and 41358 exclusive pairs time: 11, 459 facts and 60 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 13149 VARS, 212317 CLAUSES. time spent: 0.00 seconds instantiating 9394 action templates 0.01 seconds reachability analysis, yielding 477 facts and 1232 actions 0.00 seconds collecting 469 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.93 seconds CNF output time 0.94 seconds total planner time (solving not included) Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] Pruned: 0: (MOVE R5 V52 V51) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 157.59 User Time: = 157.48 Syst Time: = 0.27