This is just a place-holder entry. Sometimes we do
not know what programs was used to prove primality--so the
proof-codes for those primes have links to this
entry. At other times, especially with some of the
x-codes, we know the proof program is something currently
unlisted--so if it is not explained in the comment section,
the code links to this entry.
If you feel a specific program should be listed, please
let us know (use the links above or on the left)--we'll
add the information to the database.
It is one of two accounts exempted from
the "still no primes after 60 days means deletion"
rule... This exemption is hard coded into the perl
remove_unused_persons. A similar
exception is hard coded into