Music.Theory.Math.OEIS