Thanks for the info, is there a consolidated list of the puzzles that have been solved and the likely method used to solve them?