.
slots devil casino pddl