Popular puzzles created by PRATO