> They generated all songs of length n=12 with k=8 notes, this amounts to a staggering n^k = 8^12 = 68,719,476,736 unique songs.
> All these songs are 12 notes long and have their own MIDI file which adds even more overhead. The size of this dataset is huge, 1.2TB compressed using GZIP.