Popular puzzles created by isabelle flows