[math-fun] animated music, OEIS, theory of music