and these are the same songs as in the parent folder, except compressed using `7z a -tzip -mx=9 -mm=lzma` (so they're regular zipfiles but with lzma compression)