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 statusMnStatusDetails138355447Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 1143000B2 = 1001121330 PRPStatusDateUserResidueShiftTypeBaseVerified2025-06-30mewturn05F316CBED4E410C013 HistoryDateUserTypeResult2025-07-03MitchcanCERTPRP CertificationCERT proof power = 7Proof certified good2025-06-30mewturnC-PRP05F316CBED4E410CPRP proof power = 7PRP: VerifiedProof certified good2024-09-20Luke DurantNF-PM1B1=1143000, B2=10011213302024-08-22Ryan PropperNFno factor from 2^76 to 2^772024-07-15SRBaseNFno 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^732017-02-12MarzbugNFno factor from 2^71 to 2^722017-02-04andrew892NFno factor from 2^70 to 2^712017-01-31proxy2222NFno factor from 2^69 to 2^702016-03-10dbaughNFno factor from 2^68 to 2^692016-02-16Ready4PrimeTimeNFno factor from 2^67 to 2^682015-02-09adolficoNFno factor from 2^66 to 2^672012-11-17Cire SivadNFno factor from 2^65 to 2^662010-12-04ChristophBbNFno factor from 2^64 to 2^652010-06-12Dalos LeeNFno factor from 2^63 to 2^64