---SatPlan Version: 1.1
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 exclusive pairs
266 ops and 818 exclusive pairs
time: 9, 113 facts and 6 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
plan graph layer 8...
plan graph layer 9...
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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 exclusive pairs
266 ops and 818 exclusive pairs
time: 9, 113 facts and 6 exclusive pairs
289 ops and 909 exclusive pairs
time: 10, 116 facts and 3 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
plan graph layer 8...
plan graph layer 9...
plan graph layer 10...
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, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 exclusive pairs
266 ops and 818 exclusive pairs
time: 9, 113 facts and 6 exclusive pairs
289 ops and 909 exclusive pairs
time: 10, 116 facts and 3 exclusive pairs
302 ops and 948 exclusive pairs
time: 11, 118 facts and 2 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
plan graph layer 8...
plan graph layer 9...
plan graph layer 10...
plan graph layer 11...
goal constraints...
goal fact not coded - level too low??
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 exclusive pairs
266 ops and 818 exclusive pairs
time: 9, 113 facts and 6 exclusive pairs
289 ops and 909 exclusive pairs
time: 10, 116 facts and 3 exclusive pairs
302 ops and 948 exclusive pairs
time: 11, 118 facts and 2 exclusive pairs
310 ops and 979 exclusive pairs
time: 12, 119 facts and 1 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
plan graph layer 8...
plan graph layer 9...
plan graph layer 10...
plan graph layer 11...
plan graph layer 12...
goal constraints...
exclusion constraints layer 0...
exclusion constraints layer 1...
exclusion constraints layer 2...
exclusion constraints layer 3...
exclusion constraints layer 4...
exclusion constraints layer 5...
exclusion constraints layer 6...
exclusion constraints layer 7...
exclusion constraints layer 8...
exclusion constraints layer 9...
exclusion constraints layer 10...
exclusion constraints layer 11...
exclusion constraints layer 12...
DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 3504 VARS, 10639 CLAUSES.
time spent: 0.00 seconds instantiating 11834 action templates
0.00 seconds reachability analysis, yielding 120 facts and 194 actions
0.00 seconds collecting 119 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
0.03 seconds CNF output time
0.03 seconds total planner time (solving not included)
***Solving***
[ filemap ]
[ extract ]
variables : 3504
pure lits : 118
1-clauses : 60
2-clauses : 9810
3-clauses : 58
n-clauses : 711
discarded : 0
[ solve ]
satisfiable
[ stats ]
decisions : 77328
conflicts : 1899
time : ~0.07
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 59 facts and 0 exclusive pairs
62 ops and 3 exclusive pairs
time: 1, 63 facts and 3 exclusive pairs
76 ops and 50 exclusive pairs
time: 2, 68 facts and 5 exclusive pairs
98 ops and 138 exclusive pairs
time: 3, 74 facts and 6 exclusive pairs
124 ops and 249 exclusive pairs
time: 4, 80 facts and 6 exclusive pairs
151 ops and 358 exclusive pairs
time: 5, 87 facts and 7 exclusive pairs
181 ops and 479 exclusive pairs
time: 6, 94 facts and 7 exclusive pairs
210 ops and 597 exclusive pairs
time: 7, 100 facts and 6 exclusive pairs
237 ops and 698 exclusive pairs
time: 8, 107 facts and 7 exclusive pairs
266 ops and 818 exclusive pairs
time: 9, 113 facts and 6 exclusive pairs
289 ops and 909 exclusive pairs
time: 10, 116 facts and 3 exclusive pairs
302 ops and 948 exclusive pairs
time: 11, 118 facts and 2 exclusive pairs
310 ops and 979 exclusive pairs
time: 12, 119 facts and 1 exclusive pairs
creating thin gp-based encoding...
plan graph layer 0...
plan graph layer 1...
plan graph layer 2...
plan graph layer 3...
plan graph layer 4...
plan graph layer 5...
plan graph layer 6...
plan graph layer 7...
plan graph layer 8...
plan graph layer 9...
plan graph layer 10...
plan graph layer 11...
plan graph layer 12...
goal constraints...
exclusion constraints layer 0...
exclusion constraints layer 1...
exclusion constraints layer 2...
exclusion constraints layer 3...
exclusion constraints layer 4...
exclusion constraints layer 5...
exclusion constraints layer 6...
exclusion constraints layer 7...
exclusion constraints layer 8...
exclusion constraints layer 9...
exclusion constraints layer 10...
exclusion constraints layer 11...
exclusion constraints layer 12...
DECISION LAYER 12, WRITING THIN GP-BASED ENCODING WITH 3504 VARS, 10639 CLAUSES.
time spent: 0.00 seconds instantiating 11834 action templates
0.00 seconds reachability analysis, yielding 120 facts and 194 actions
0.00 seconds collecting 119 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
0.02 seconds CNF output time
0.02 seconds total planner time (solving not included)
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
Pruned: 0: (MOVE R1 V59 V58) [1]
---SatPlan Version: 1.1
***SAT!***
Solved in 12 layers
Real Time: = 0.29
User Time: = 0.29
Syst Time: = 0.02