Instructions in game.
The idea for a number sequence song came from a numberphile video, and I automated it.