---SatPlan Version: 1.1
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 exclusive pairs
1524 ops and 38462 exclusive pairs
time: 9, 441 facts and 146 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 exclusive pairs
1524 ops and 38462 exclusive pairs
time: 9, 441 facts and 146 exclusive pairs
1645 ops and 41187 exclusive pairs
time: 10, 462 facts and 78 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 exclusive pairs
1524 ops and 38462 exclusive pairs
time: 9, 441 facts and 146 exclusive pairs
1645 ops and 41187 exclusive pairs
time: 10, 462 facts and 78 exclusive pairs
1722 ops and 43299 exclusive pairs
time: 11, 474 facts and 33 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, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 exclusive pairs
1524 ops and 38462 exclusive pairs
time: 9, 441 facts and 146 exclusive pairs
1645 ops and 41187 exclusive pairs
time: 10, 462 facts and 78 exclusive pairs
1722 ops and 43299 exclusive pairs
time: 11, 474 facts and 33 exclusive pairs
1769 ops and 44680 exclusive pairs
time: 12, 483 facts and 23 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 15534 VARS, 255715 CLAUSES.
time spent: 0.00 seconds instantiating 10458 action templates
0.01 seconds reachability analysis, yielding 495 facts and 1328 actions
0.00 seconds collecting 487 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
1.36 seconds CNF output time
1.37 seconds total planner time (solving not included)
***Solving***
[ filemap ]
[ extract ]
variables : 15534
pure lits : 475
1-clauses : 55
2-clauses : 252209
3-clauses : 420
n-clauses : 3031
discarded : 0
[ solve ]
satisfiable
[ stats ]
decisions : 1283381
conflicts : 149104
time : ~40.19
bb: parsing domain file
domain 'MULTIROBOT' defined
... done.
bb: parsing problem file
problem 'MULTIROBOT_INSTANCE' defined
... done.
time: 0, 47 facts and 0 exclusive pairs
69 ops and 23 exclusive pairs
time: 1, 77 facts and 23 exclusive pairs
169 ops and 456 exclusive pairs
time: 2, 112 facts and 66 exclusive pairs
309 ops and 1939 exclusive pairs
time: 3, 152 facts and 125 exclusive pairs
475 ops and 4641 exclusive pairs
time: 4, 202 facts and 228 exclusive pairs
680 ops and 9898 exclusive pairs
time: 5, 256 facts and 342 exclusive pairs
903 ops and 17184 exclusive pairs
time: 6, 309 facts and 365 exclusive pairs
1128 ops and 25207 exclusive pairs
time: 7, 366 facts and 422 exclusive pairs
1351 ops and 33670 exclusive pairs
time: 8, 409 facts and 301 exclusive pairs
1524 ops and 38462 exclusive pairs
time: 9, 441 facts and 146 exclusive pairs
1645 ops and 41187 exclusive pairs
time: 10, 462 facts and 78 exclusive pairs
1722 ops and 43299 exclusive pairs
time: 11, 474 facts and 33 exclusive pairs
1769 ops and 44680 exclusive pairs
time: 12, 483 facts and 23 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 15534 VARS, 255715 CLAUSES.
time spent: 0.01 seconds instantiating 10458 action templates
0.00 seconds reachability analysis, yielding 495 facts and 1328 actions
0.00 seconds collecting 487 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
1.25 seconds CNF output time
1.26 seconds total planner time (solving not included)
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
Pruned: 0: (MOVE R2 V47 V39) [1]
---SatPlan Version: 1.1
***SAT!***
Solved in 12 layers
Real Time: = 44.28
User Time: = 44.12
Syst Time: = 0.32