Puzzles solved by HALUŚ