View Single Post
Old 2014-12-24, 22:09   #5
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

9,629 Posts
Default

Taking 041-060, ... plus 061-062.

Now, starting from file 063, all you need is love LLR. (Because 10^a-10^b-1 is proven by LLR when b>a/2.)
Very low threshold to enter the race!

Last fiddled with by Batalov on 2014-12-24 at 23:25 Reason: (added 061-062)
Batalov is offline