mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Data (https://www.mersenneforum.org/forumdisplay.php?f=21)
-   -   Mersenne number factored (disbelievers are biting elbows) (https://www.mersenneforum.org/showthread.php?t=19407)

 Batalov 2019-04-06 02:57

2357 is a pretty prime number itself. [SPOILER](2, 3, 5, 7, you know)[/SPOILER]
So it is doubly nice to have M2357 factored! Congrats, Ryan!

 axn 2019-04-06 05:15

[QUOTE=GP2;512799]The cofactor will no doubt soon be [URL="http://factordb.com/index.php?id=1100000001282024818"]certified prime on FactorDB[/URL].[/QUOTE]

Well, it is now...

 srow7 2019-04-06 07:38

something is wrong with the status of M2357.
F-ECM (factored)
P-PRP (probable prime) ?????
C-LL(verified)

[QUOTE]

[url]https://www.mersenne.org/report_exponent/?exp_lo=2357&exp_hi=&full=1[/url]

2019-04-05 ATH P-PRP M2357 is a probable prime.
2019-04-05 matzetoni P-PRP M2357/66747193058349253980250138299492944283449631375464079700189511 is a probable prime.
2019-04-05 Ryan Propper F-ECM Factor: 66747193058349253980250138299492944283449631375464079700189511
[/QUOTE]

 ATH 2019-04-06 08:59

I did use the factor in the worktodo line, so it is:
M2357/66747193058349253980250138299492944283449631375464079700189511
that is PRP, but not sure why the history is wrong.

 Dr Sardonicus 2019-04-06 13:27

Congrats on completing another factorization! Something on the factordb page piqued my curiosity:

[quote]Bases checked 5, 7, 11, 13, 125, 127[/quote]
It seemed weird that 125 was selected as a base, seeing as how the base 5 was checked, and 125 = 5^3.

 Batalov 2019-04-06 13:54

FDB allows users to manually check in any base (one just types in the "base" and the server runs it). Running funny bases, like 91 or 35 is not a faux pas per se. But 125 _after_ 5, - yeah, that's a bit silly.

[QUOTE=ATH;512843]I did use the factor in the worktodo line, so it is:
M2357/66747193058349253980250138299492944283449631375464079700189511
that is PRP, but not sure why the history is wrong.[/QUOTE]

It's not wrong, it's just not displaying everything. :smile:

There is a frustrating amount of variations on how the JSON data was being formatted. Between the different builds of Prime95 and also gpuOwl, there was never really any agreement ahead of time on how it should look, so I've been playing catch-up with it.

For instance, the known factors may show up as a JSON array, or maybe as a value of comma separated numbers. Or maybe upper or lower case, or maybe it's another level deep, etc. LOL

George has settled on a (hopefully) final format in the latest builds of P95 but until we get the first example of something, I'm never really sure what it's going to look like.

Now that I see what a PRP looks like for a cofactor test, I can update the code that makes the raw result look pretty for the website. It did indeed change from:
[QUOTE]"known-factors":"66747193058349253980250138299492944283449631375464079700189511"[/QUOTE]
to:
[QUOTE]"known-factors":["66747193058349253980250138299492944283449631375464079700189511"][/QUOTE]

Which is quite different. I had to go through the same thing with a non-prime result for cofactor PRP so it won't take me long to implement the new variation. :smile:

 GP2 2019-04-06 23:56

The 330th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is [M]M78737[/M].

The 29-digit factor was found by Niels Mache Nextcloud, and the PRP test on Primenet was done by ATH.

If certified prime, the [URL="http://factordb.com/index.php?id=1100000001282415963"]cofactor[/URL] would be a new record for Mersenne cofactors, beating the current [M]M63703[/M]. However it would still be smaller than the Wagstaff prime with exponent 83339.

 petrw1 2019-04-08 03:43

Lightning strikes twice

[QUOTE=GP2;512799]The 329th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is [M]M2357[/M].

The 62-digit factor was found by Ryan Propper, and the PRP test on Primenet was done by matzetoni. The cofactor will no doubt soon be [URL="http://factordb.com/index.php?id=1100000001282024818"]certified prime on FactorDB[/URL].

This is a semiprime, and its exponent p = 1 mod 4.[/QUOTE]

2557 Factored 92006001376648044276967530077499930523710420381051263551
2019-04-07 Ryan Propper F-ECM
Factor: 92006001376648044276967530077499930523710420381051263551

 paulunderwood 2019-04-08 04:28

[QUOTE=GP2;512921]The 330th fully-factored or probably-fully-factored Mersenne number with prime exponent (not including the Mersenne primes themselves) is [M]M78737[/M].

The 29-digit factor was found by Niels Mache Nextcloud, and the PRP test on Primenet was done by ATH.

If certified prime, the [URL="http://factordb.com/index.php?id=1100000001282415963"]cofactor[/URL] would be a new record for Mersenne cofactors, beating the current [M]M63703[/M]. However it would still be smaller than the Wagstaff prime with exponent 83339.[/QUOTE]

:toot: My test of Neils' find:

[CODE]time ./pfgw64 -k -f0 -od -q"(2^78737-1)/23714605956035916529/67059801476528402969297162417" | ../../coding/gwnum/lucasPRP - 1 2 78737 -1

Lucas testing on x^2 - 3*x + 1 ...
Is Lucas PRP!

real 0m2.558s
user 0m2.200s
sys 0m0.008s
[/CODE]

 Batalov 2019-04-08 06:52

[QUOTE=petrw1;513034]2557 Factored 92006001376648044276967530077499930523710420381051263551
2019-04-07 Ryan Propper F-ECM [/QUOTE]
...but disbelievers (that it is fully factored) are not fools

All times are UTC. The time now is 13:38.