---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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 exclusive pairs
1739 ops and 60560 exclusive pairs
time: 7, 525 facts and 1028 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 exclusive pairs
1739 ops and 60560 exclusive pairs
time: 7, 525 facts and 1028 exclusive pairs
2053 ops and 78858 exclusive pairs
time: 8, 587 facts and 810 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 exclusive pairs
1739 ops and 60560 exclusive pairs
time: 7, 525 facts and 1028 exclusive pairs
2053 ops and 78858 exclusive pairs
time: 8, 587 facts and 810 exclusive pairs
2308 ops and 88811 exclusive pairs
time: 9, 634 facts and 471 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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 exclusive pairs
1739 ops and 60560 exclusive pairs
time: 7, 525 facts and 1028 exclusive pairs
2053 ops and 78858 exclusive pairs
time: 8, 587 facts and 810 exclusive pairs
2308 ops and 88811 exclusive pairs
time: 9, 634 facts and 471 exclusive pairs
2491 ops and 93128 exclusive pairs
time: 10, 661 facts and 166 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...
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...
DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16590 VARS, 353154 CLAUSES.
time spent: 0.00 seconds instantiating 12558 action templates
0.01 seconds reachability analysis, yielding 696 facts and 2002 actions
0.00 seconds collecting 685 relevant facts
0.01 seconds building connectivity graph
0.00 seconds building (std) graph
2.71 seconds CNF output time
2.73 seconds total planner time (solving not included)
***Solving***
[ filemap ]
[ extract ]
variables : 16590
pure lits : 650
1-clauses : 58
2-clauses : 349498
3-clauses : 555
n-clauses : 3043
discarded : 0
[ solve ]
satisfiable
[ stats ]
decisions : 890390
conflicts : 119466
time : ~40.88
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
76 ops and 34 exclusive pairs
time: 1, 87 facts and 34 exclusive pairs
220 ops and 872 exclusive pairs
time: 2, 145 facts and 156 exclusive pairs
465 ops and 5233 exclusive pairs
time: 3, 212 facts and 328 exclusive pairs
750 ops and 13076 exclusive pairs
time: 4, 290 facts and 546 exclusive pairs
1074 ops and 24984 exclusive pairs
time: 5, 370 facts and 769 exclusive pairs
1407 ops and 40736 exclusive pairs
time: 6, 449 facts and 952 exclusive pairs
1739 ops and 60560 exclusive pairs
time: 7, 525 facts and 1028 exclusive pairs
2053 ops and 78858 exclusive pairs
time: 8, 587 facts and 810 exclusive pairs
2308 ops and 88811 exclusive pairs
time: 9, 634 facts and 471 exclusive pairs
2491 ops and 93128 exclusive pairs
time: 10, 661 facts and 166 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...
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...
DECISION LAYER 10, WRITING THIN GP-BASED ENCODING WITH 16590 VARS, 353154 CLAUSES.
time spent: 0.00 seconds instantiating 12558 action templates
0.01 seconds reachability analysis, yielding 696 facts and 2002 actions
0.00 seconds collecting 685 relevant facts
0.00 seconds building connectivity graph
0.00 seconds building (std) graph
2.58 seconds CNF output time
2.59 seconds total planner time (solving not included)
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
Pruned: 0: (MOVE R2 V50 V43) [1]
---SatPlan Version: 1.1
***SAT!***
Solved in 10 layers
Real Time: = 48.49
User Time: = 48.31
Syst Time: = 0.24