@DanBlake
That's a text file, which doesn't use the full range of a byte (0-255), so each character takes less than a byte.
That's a text file, which doesn't use the full range of a byte (0-255), so each character takes less than a byte.
Try compressing the output of /dev/urandom on your nearest convenient UNIX-like system. If you figure out a way to reliably and significantly compress that, please report back.
Also, the odds of getting finding even a single encrypted file of that length which can be compressed are lower than the odds of winning the lottery three times in a row. Trust me, you didn't just happen to stumble across a working example. You screwed up the test.