3 ms·

I just tried compressing one with 7-zip ultra level compression. Saved maybe 5%. Wouldn't get even that with realtime compression.