Quote:
Originally Posted by sweety439
The top Generalized Lucas Number is U(24, - 25, 43201), which is equal to (25^43201+1)/26, but it is still "PRP" in factordb and no Primo certificate in factordb, and its top5000 page says "CHG with N-1 factored part 27.39% with p8022, p1749 and p849 proven with Primo", so can someone update its primality certificate to factordb? |
AFAIK factorDB lacks the ability to verify both KP and CHG proofs.