---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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 exclusive pairs 598 ops and 8737 exclusive pairs time: 8, 210 facts and 438 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 exclusive pairs 598 ops and 8737 exclusive pairs time: 8, 210 facts and 438 exclusive pairs 700 ops and 13728 exclusive pairs time: 9, 234 facts and 489 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 exclusive pairs 598 ops and 8737 exclusive pairs time: 8, 210 facts and 438 exclusive pairs 700 ops and 13728 exclusive pairs time: 9, 234 facts and 489 exclusive pairs 798 ops and 16434 exclusive pairs time: 10, 256 facts and 373 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 exclusive pairs 598 ops and 8737 exclusive pairs time: 8, 210 facts and 438 exclusive pairs 700 ops and 13728 exclusive pairs time: 9, 234 facts and 489 exclusive pairs 798 ops and 16434 exclusive pairs time: 10, 256 facts and 373 exclusive pairs 880 ops and 15944 exclusive pairs time: 11, 268 facts and 201 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 6738 VARS, 53066 CLAUSES. time spent: 0.01 seconds instantiating 10200 action templates 0.00 seconds reachability analysis, yielding 280 facts and 680 actions 0.00 seconds collecting 276 relevant facts 0.00 seconds building connectivity graph 0.00 seconds building (std) graph 0.19 seconds CNF output time 0.20 seconds total planner time (solving not included) ***Solving*** [ filemap ] [ extract ] variables : 6738 pure lits : 264 1-clauses : 56 2-clauses : 51447 3-clauses : 208 n-clauses : 1355 discarded : 0 [ solve ] satisfiable [ stats ] decisions : 281612 conflicts : 15886 time : ~1.14 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 64 ops and 13 exclusive pairs time: 1, 68 facts and 13 exclusive pairs 119 ops and 235 exclusive pairs time: 2, 86 facts and 23 exclusive pairs 193 ops and 687 exclusive pairs time: 3, 104 facts and 29 exclusive pairs 264 ops and 1231 exclusive pairs time: 4, 120 facts and 36 exclusive pairs 332 ops and 1957 exclusive pairs time: 5, 138 facts and 52 exclusive pairs 410 ops and 3096 exclusive pairs time: 6, 160 facts and 117 exclusive pairs 500 ops and 5323 exclusive pairs time: 7, 184 facts and 224 exclusive pairs 598 ops and 8737 exclusive pairs time: 8, 210 facts and 438 exclusive pairs 700 ops and 13728 exclusive pairs time: 9, 234 facts and 489 exclusive pairs 798 ops and 16434 exclusive pairs time: 10, 256 facts and 373 exclusive pairs 880 ops and 15944 exclusive pairs time: 11, 268 facts and 201 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 6738 VARS, 53066 CLAUSES. time spent: 0.00 seconds instantiating 10200 action templates 0.00 seconds reachability analysis, yielding 280 facts and 680 actions 0.00 seconds collecting 276 relevant facts 0.01 seconds building connectivity graph 0.00 seconds building (std) graph 0.16 seconds CNF output time 0.17 seconds total planner time (solving not included) Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] Pruned: 0: (MOVE R1 V55 V54) [1] ---SatPlan Version: 1.1 ***SAT!*** Solved in 11 layers Real Time: = 1.79 User Time: = 1.73 Syst Time: = 0.13