[math-fun] Indexing the 'States of Hanoi'