Anyway, don’t you get a savings by using some data structure that indexes the dictionary by word length first?

Or at least sorting by.