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 statusMnStatusDetails125050481Composite: proven not-prime with PRP test TFNo factors below 277TF target 277 P-1B1 = 1094000B2 = 1484096250 PRPStatusDateUserResidueShiftTypeBaseVerified2024-07-17Luke Durant63AAB331B05CF0BD013 HistoryDateUserTypeResult2024-07-17Albert PetterssonCERTPRP CertificationCERT proof power = 9Proof certified good2024-07-17Luke DurantC-PRP63AAB331B05CF0BDPRP proof power = 9PRP: VerifiedProof certified good2024-07-15Luke DurantNF-PM1B1=1094000, B2=14840962502022-07-10TheJudgerNFno factor from 2^76 to 2^772022-07-10TheJudgerNFno factor from 2^75 to 2^762022-07-10TheJudgerNFno factor from 2^74 to 2^752021-07-08SRBaseNFno factor from 2^73 to 2^742020-10-28SRBaseNFno factor from 2^72 to 2^732015-07-10Judge HaleNFno factor from 2^71 to 2^722014-08-14GrunwalderGIMPNFno factor from 2^70 to 2^712014-08-14GrunwalderGIMPNFno factor from 2^69 to 2^702014-08-14GrunwalderGIMPNFno factor from 2^68 to 2^692014-08-14GrunwalderGIMPNFno factor from 2^66 to 2^682012-09-08tscNFno factor from 2^65 to 2^662010-11-07Maurizio FD - ItalyNFno factor from 2^64 to 2^652010-05-24Nathan EdingtonNFno factor from 2^63 to 2^64