Create Hanoi_10.pddl