Domain File for Sokoban Puzzles