Each track is rendered in real-time by the Web Audio engine and captured to a .webm audio file you can download and convert to MP3/WAV with any tool (Audacity, VLC, FFmpeg, online converters). Recording takes exactly as long as the track duration.