3 ms·

There's already a 1401-digit prime that contains the gzip of the source code of DeCSS. He wanted to do more.