Puzzles solved by popol