Use Audacity to export your sound files to the required three formats, .mp3, .ogg, and .wav. Make sure to list your smallest (filesize) file first in the source tag.