Create Hanoi_12.pddl