Primality certificates
 

I have now uploaded all of my primality certificates to factordb.com; there were a couple dozen I had that it didn't.


I'm now starting to find the certificates it has that I don't and verify them, starting with the cofactor of M63703 mentioned here.


Thanks, Will

I'm now slowly downloading data from factordb.com and comparing it with what I already have. Often, it has factors I didn't and, somewhat less often, I have factors that it didn't.
The same script uploads any factors it didn't have and downloads any primality certificates it has so I can retain and verify them.
For half a dozen or so (prime and composite) exponents under 16,000 or so, it had a factor I did not and vice versa and having all the factors resulted in a complete factorization, so I did those proofs with primo and uploaded them.
-- Will