4 ms·

True. I wonder what's the largest file you can decompress to given some bound on the compressed result.