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 statusMnStatusDetails137730007Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 676000B2 = 31127040 PRPStatusDateUserResidueShiftTypeBaseVerified2025-04-27Sidi470F8CDFF47228D17135568513 HistoryDateUserTypeResult2025-04-27Oliver KruseCERTPRP CertificationCERT proof power = 10Proof certified good2025-04-27SidiC-PRP470F8CDFF47228D1PRP proof power = 10PRP: VerifiedProof certified good2024-09-18Ryan PropperNF-PM1B1=676000, B2=311270402024-07-23RichardNFno factor from 2^76 to 2^772024-07-14SRBaseNFno factor from 2^75 to 2^762023-01-13SRBaseNFno factor from 2^74 to 2^752021-07-31SRBaseNFno factor from 2^73 to 2^742020-10-23SRBaseNFno factor from 2^72 to 2^732016-05-14SRS TechnologyNFno factor from 2^71 to 2^722016-03-20SourceBinary.comNFno factor from 2^70 to 2^712016-02-22La GüiraNFno factor from 2^69 to 2^702016-02-22La GüiraNFno factor from 2^68 to 2^692016-02-22La GüiraNFno factor from 2^67 to 2^682015-02-05tscNFno factor from 2^66 to 2^672013-01-24RMAC9.5NFno factor from 2^65 to 2^662010-12-01OS1NFno factor from 2^64 to 2^652010-06-11sasaki3NFno factor from 2^63 to 2^64