---SatPlan Version: 1.1
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 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...
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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 facts and 524 exclusive pairs
1620 ops and 49196 exclusive pairs
time: 8, 454 facts and 484 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 facts and 524 exclusive pairs
1620 ops and 49196 exclusive pairs
time: 8, 454 facts and 484 exclusive pairs
1817 ops and 55506 exclusive pairs
time: 9, 488 facts and 354 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 facts and 524 exclusive pairs
1620 ops and 49196 exclusive pairs
time: 8, 454 facts and 484 exclusive pairs
1817 ops and 55506 exclusive pairs
time: 9, 488 facts and 354 exclusive pairs
1962 ops and 59787 exclusive pairs
time: 10, 512 facts and 209 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, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 facts and 524 exclusive pairs
1620 ops and 49196 exclusive pairs
time: 8, 454 facts and 484 exclusive pairs
1817 ops and 55506 exclusive pairs
time: 9, 488 facts and 354 exclusive pairs
1962 ops and 59787 exclusive pairs
time: 10, 512 facts and 209 exclusive pairs
2060 ops and 61786 exclusive pairs
time: 11, 526 facts and 95 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 15648 VARS, 304541 CLAUSES.
time spent: 0.01 seconds instantiating 14076 action templates
0.00 seconds reachability analysis, yielding 549 facts and 1632 actions
0.00 seconds collecting 541 relevant facts
0.01 seconds building connectivity graph
0.00 seconds building (std) graph
1.70 seconds CNF output time
1.72 seconds total planner time (solving not included)
***Solving***
[ filemap ]
[ extract ]
variables : 15648
pure lits : 518
1-clauses : 61
2-clauses : 301173
3-clauses : 442
n-clauses : 2865
discarded : 0
[ solve ]
satisfiable
[ stats ]
decisions : 2098283
conflicts : 201813
time : ~64.42
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 53 facts and 0 exclusive pairs
69 ops and 17 exclusive pairs
time: 1, 76 facts and 19 exclusive pairs
155 ops and 454 exclusive pairs
time: 2, 116 facts and 115 exclusive pairs
341 ops and 3915 exclusive pairs
time: 3, 173 facts and 348 exclusive pairs
592 ops and 12515 exclusive pairs
time: 4, 230 facts and 426 exclusive pairs
852 ops and 20892 exclusive pairs
time: 5, 291 facts and 501 exclusive pairs
1121 ops and 31272 exclusive pairs
time: 6, 351 facts and 603 exclusive pairs
1383 ops and 41440 exclusive pairs
time: 7, 406 facts and 524 exclusive pairs
1620 ops and 49196 exclusive pairs
time: 8, 454 facts and 484 exclusive pairs
1817 ops and 55506 exclusive pairs
time: 9, 488 facts and 354 exclusive pairs
1962 ops and 59787 exclusive pairs
time: 10, 512 facts and 209 exclusive pairs
2060 ops and 61786 exclusive pairs
time: 11, 526 facts and 95 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 15648 VARS, 304541 CLAUSES.
time spent: 0.00 seconds instantiating 14076 action templates
0.01 seconds reachability analysis, yielding 549 facts and 1632 actions
0.00 seconds collecting 541 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
1.57 seconds CNF output time
1.58 seconds total planner time (solving not included)
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
Pruned: 0: (MOVE R1 V60 V59) [1]
---SatPlan Version: 1.1
***SAT!***
Solved in 11 layers
Real Time: = 69.38
User Time: = 69.23
Syst Time: = 0.31