View Single Post
Old 2015-05-08, 14:43   #2
Xyzzy
 
Xyzzy's Avatar
 
"Mike"
Aug 2002

23·3·331 Posts
Default

We looked into it a long time ago.

http://www.mersenneforum.org/showthread.php?t=7181
Xyzzy is offline   Reply With Quote