Lines Matching full:eliminated
507 could be eliminated somehow. Note in particular that although both
