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 statusMnStatusDetails137913719Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 1172000B2 = 1245145110 PRPStatusDateUserResidueShiftTypeBaseVerified2025-01-20GdS51C64102C65E19F5013 HistoryDateUserTypeResult2025-01-20thunderCERTPRP CertificationCERT proof power = 10Proof certified good2025-01-20GdSC-PRP51C64102C65E19F5PRP proof power = 10PRP: VerifiedProof certified good2024-09-18Luke DurantNF-PM1B1=1172000, B2=12451451102024-07-28TheJudgerNFno factor from 2^76 to 2^772024-07-13SRBaseNFno factor from 2^75 to 2^762023-01-13SRBaseNFno factor from 2^74 to 2^752021-08-02SRBaseNFno factor from 2^73 to 2^742020-10-26SRBaseNFno factor from 2^72 to 2^732016-03-31shbrisNFno factor from 2^71 to 2^722016-03-30shbrisNFno factor from 2^70 to 2^712016-03-29Smok_bmv NFno factor from 2^69 to 2^702016-03-26Choi4KANGNFno factor from 2^68 to 2^692016-03-02dbaughNFno factor from 2^67 to 2^682015-02-06Judge HaleNFno factor from 2^66 to 2^672012-11-14sasaki3NFno factor from 2^65 to 2^662010-12-04RichardNFno factor from 2^64 to 2^652010-06-11Charles A. MorrisNFno factor from 2^63 to 2^64