Corrected Sokoban Domain File