encoded sokoban 2.3