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 statusMnStatusDetails112563791Composite: proven not-prime with PRP test TFNo factors below 277TF target 276 P-1B1 = 513000B2 = 18944000 PRPStatusDateUserResidueShiftTypeBaseVerified2023-04-03Ruslan Borisov9A535DFBD2DF139C7379299813 HistoryDateUserTypeResult2023-04-03robogreenCERTPRP CertificationCERT proof power = 10Proof certified good2023-04-03Ruslan BorisovC-PRP9A535DFBD2DF139CPRP proof power = 10PRP: VerifiedProof certified good2022-03-25Ryan PropperNF-PM1B1=513000, B2=189440002020-12-24arpcarNFno factor from 2^76 to 2^772020-12-01arpcarNFno factor from 2^75 to 2^762020-11-27arpcarNFno factor from 2^74 to 2^752020-09-13John BarrettNFno factor from 2^73 to 2^742020-04-21SRBaseNFno factor from 2^72 to 2^732018-12-27Niels_Mache_NextcloudNFno factor from 2^71 to 2^722015-02-16Smok_bmv NFno factor from 2^70 to 2^712015-02-13Smok_bmv NFno factor from 2^69 to 2^702014-11-19bunddogNFno factor from 2^68 to 2^692013-10-22zampelNFno factor from 2^67 to 2^682013-10-12Cow_tippingNFno factor from 2^66 to 2^672012-06-01sasaki3NFno factor from 2^65 to 2^662010-09-26sasaki3NFno factor from 2^64 to 2^652010-05-05Torchwood InstituteNFno factor from 2^63 to 2^64