Source Code for The N-Hanoi Domain