Music of Scott Joplin in the Humdrum file format.