3 ms·

For the prize, yes. But it’s interesting to see that even a much larger decompressor might not necessarily buy you a smaller file.