per alleggerire?
tieni presente che i file midi sono sensibili alla compressione. Il semplice winzip li riduce mediamente ad un terzo.
Se invece li vuoi mantenere con lo stesso formato, ovvero stessa estensione, c'č un programmino shareware "GNMIDI" che trovi qui
http://www.gnmidi.com/ il quali elimina alcune ridondanze guadagnando anche il 10% di spazio.
Ciao