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 statusMnStatusDetails135723317Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 1133000B2 = 1101231780 PRPStatusDateUserResidueShiftTypeBaseVerified2024-10-08Luke Durant9EF889850AF72FEF013 HistoryDateUserTypeResult2024-10-08Luke DurantCERTPRP CertificationCERT proof power = 9Proof certified good2024-10-08Luke DurantC-PRP9EF889850AF72FEFPRP proof power = 9PRP: VerifiedProof certified good2024-09-09Luke DurantNF-PM1B1=1133000, B2=11012317802024-04-25DanBNFno factor from 2^76 to 2^772024-04-11cjeanNFno factor from 2^75 to 2^762023-01-08SRBaseNFno factor from 2^74 to 2^752021-07-29SRBaseNFno factor from 2^73 to 2^742020-10-25SRBaseNFno factor from 2^72 to 2^732016-03-10Smok_bmv NFno factor from 2^71 to 2^722016-03-02dbaughNFno factor from 2^70 to 2^712016-02-16La GüiraNFno factor from 2^69 to 2^702016-02-16La GüiraNFno factor from 2^68 to 2^692016-02-16La GüiraNFno factor from 2^67 to 2^682015-01-27MucolNFno factor from 2^66 to 2^672012-11-02sasaki3NFno factor from 2^65 to 2^662010-11-26AliNFno factor from 2^64 to 2^652010-06-11RichardNFno factor from 2^63 to 2^64