Quote:
Originally Posted by J.F.
According to Mathematica (PrimeQ) the cofactors are both prime.
Edgingtons factoredM.txt agrees, which indicates he has primality certificates.
I guess your program contains a bug...

FWIW, Yafu also agrees that the cofactors are prime. It uses the RabinMiller prp test with 20 witnesses (the first 20 primes). I believe Mathematica does MR base 2 and 3, then a lucas test.