Talk:Record size 17.4 million-digit prime found