Thanks for the impressions :) The midi tracks are from a musician called Ivanastan on Bandcamp, but I specifically picked midi, so I have more control over what to do with the music. You can speed up/change values in an mp3/wav as well, but a midi allows you to even remove entire instruments or only slow specific parts of a song, and I played around with that for different situations as a kind of "adaptive" music system.