[math-fun] Lizard's sequence