Wait what, these have the same file sizes? Is the reduction that small?
No, I had difficulty actually exporting them at the correct sample rates. Eventually I got frustrated and just changed the sound sample rates.
Actually changing the file's sample rate would reduce the filesize by almost 50%, but not quite.
For a .wav file, at least. With a file format that has compression, the relationship would be more complicated.