fix counter
use letters for printing heights above 9
Implement the experimental optim 5, based on the currently unproved lemma