This example is unfortunately somewhat broken: the 'salt' in that case does not yield an exponential but only linear increase of the number of dictionaries.

Contrary to what the post says, it is not necessary to compute the 3,125 possible orders. Only 5 reverse dictionaries are enough, with reverse(n, w) = "the set of definitions the nth word of which is w". Then, iterate the reverse lookup following backwards the provided salt.

It makes the attack much more tractable, in particular since the length of definitions is bounded (you know how many dictionaries you need to compute).