Puzzles solved by SEQL