Puzzles solved by aga.h