Create hanoi-10.pddl