move out or away The troops pulled out after the cease-fire