Puzzles solved by AUTOR