View Single Post
Old 2016-03-07, 20:37   #7
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

52·383 Posts
Default

It is not very large. You can find it yourself, if you try hard enough.
It is already in the PRPtop.
Batalov is offline   Reply With Quote