The midi-files where created using http://abundant-music.com/ and then rendered into 128k ogg using fluidsynth. If you want them rendered with a higher bitrate just ask for it - but you probably can do so yourself.