Exponent Range: to+ above minimum exponent Output results in HTML format Output results in text-only format Output results in plain-text format Show full details (current assignment, history, LL residues) Include full ECM history (every "NF-ECM" result, slow) Include ancient history logs (1997-2007, slow) Include expired assignments Show software version in historyGet statusMnStatusDetails130421129Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 1134000B2 = 1502428200 PRPStatusDateUserResidueShiftTypeBaseVerified2024-09-05Luke Durant8257C2468E7197E9013 HistoryDateUserTypeResult2024-09-05Luke DurantCERTPRP CertificationCERT proof power = 9Proof certified good2024-09-05Luke DurantC-PRP8257C2468E7197E9PRP proof power = 9PRP: VerifiedProof certified good2024-08-11Luke DurantNF-PM1B1=1134000, B2=15024282002023-05-28tottenhoffNFno factor from 2^76 to 2^772023-05-16tottenhoffNFno factor from 2^75 to 2^762023-01-25ViliamFNFno factor from 2^74 to 2^752023-01-02SRBaseNFno factor from 2^74 to 2^752021-07-27SRBaseNFno factor from 2^73 to 2^742020-10-20SRBaseNFno factor from 2^72 to 2^732016-07-12jonojuNFno factor from 2^71 to 2^722016-07-10proxy2222NFno factor from 2^70 to 2^712016-01-05La GüiraNFno factor from 2^69 to 2^702016-01-05La GüiraNFno factor from 2^68 to 2^692016-01-05La GüiraNFno factor from 2^67 to 2^682015-01-18OS1NFno factor from 2^66 to 2^672012-10-16RichardNFno factor from 2^65 to 2^662010-11-12Martti JärviNFno factor from 2^64 to 2^652010-06-01carlos56NFno factor from 2^63 to 2^64