It is working now. Thanks.

Can we clarify what prevents parsing of two-line PRP output?

For example:

UID: user/machine, M6170251/known_factors is not prime. RES64: E361D74562C55F__. Wf8: DD047E1F,00000000
Known factors used for PRP test were: 1008607048144889,15751823989367,3167226859807

The first line provides the exponent and residue.
The second line provides the factors, but not the exponent. However, we can easily determine the exponent with a single extra SQL query.

Mersenne numbers with prime exponents can never share the same factor.

So just copy the factor string verbatim into your SQL statement, something like:

select distinct exponent
from factors_table
where factor in ( 1008607048144889,15751823989367,3167226859807 )

which is mathematically guaranteed to return exactly one row.

So parse the first line to create a row and populate some of the columns, then use the second line to update the row and populate the remaining columns.

Would that work?

The problem is that prime95 is not sending the second line of text to the server -- it is only written to the screen and results.txt file.

Two-line output is correctly parsed by the manual results form, it's only the automatic client-server communication that has the problem.

I submitted to Primenet the PRP results for M611999 (cofactor probable prime, as listed in [URL="http://www.primenumbers.net/prptop/searchform.php?form=%282%5En-1%29%2F%3F&action=Search"]Henri and Renauld Lifchitz's PRP Top Records[/URL]), and the results page shows:
[CODE]
Found 3 lines to process.
processing: PRP=(true) for M611999/18464214225958267477777390354183
Error code: 40, error text: No CPU credit given for test of already factored M611999
Done processing:
* Parsed 2 lines.
* Found 1 datestamps.
GHz-days
Qty Work Submitted Accepted Average
1 PRP (Probable Prime): PRIME 0.009 - 0.009
1 - all - 0.009
[/CODE]
The [URL="https://www.mersenne.org/report_exponent/?exp_lo=611999&exp_hi=&full=1&ecmhist=1"]exponent status for M611999[/URL] does not show that the cofactor is probable prime.

[QUOTE=alpertron;468957]The [URL="https://www.mersenne.org/report_exponent/?exp_lo=611999&exp_hi=&full=1&ecmhist=1"]exponent status for M611999[/URL] does not show that the cofactor is probable prime.[/QUOTE]

In case anyone reading this is confused, that's [URL="http://mersenneforum.org/showpost.php?p=460879&postcount=308"]an old PRP[/URL].

mersenne.org is showing PRP test residues (in the History section) if that residue is non-zero, but does not yet show that an exponent is fully factored or probably-fully-factored.

They're slowly working on adding PRP-related functionality to the website and I guess that's one thing they just haven't gotten around to yet.

PS,
Note that [URL="http://factordb.com/index.php?id=1100000000936638975"]FactorDB does not show that the cofactor is prime[/URL], for this or any other PRP-cofactor of Mersenne exponents above 500 000, and there doesn't seem to be any way to report its PRP-ness to FactorDB.

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

Congratulations to Yaroslav Berezhko, who discovered the a new 42-digit factor using ECM and promptly ran the PRP test.

It's easy to do a double check, it takes a matter of seconds. The double check uses the same shift count of zero with v 29.3, but I think we can trust it.

Is anyone doing the primality certificate?

PS,
Looks like the e-mail alert system is working fine.

PPS,
The residue of the cofactor is PRP_PRP_PRP_PR__. Those are some strange hexadecimal digits.

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

Congratulations to Yaroslav Berezhko, who discovered the a new 42-digit factor using ECM and promptly ran the PRP test.

It's easy to do a double check, it takes a matter of seconds. The double check uses the same shift count of zero with v 29.3, but I think we can trust it.

Is anyone doing the primality certificate?

PS,
Looks like the e-mail alert system is working fine.

PPS,
The residue of the cofactor is PRP_PRP_PRP_PR__. Those are some strange hexadecimal digits.[/QUOTE]

I am too busy to do the certification. It should take someone else minutes.

Edit: I am on it.

Hmmm, nearly all of the known (probably-)fully-factored exponents don't have any indication of their status at Mersenne.org, except for [M]M4834891[/M].

For example, [M]M7331[/M] or [M]M10211[/M].

George, if you're reading this, one of the files I e-mailed you a few weeks ago was called verification_results.txt, which was a double check of all the known exponents (at the time I ran it, which was probably before the last few discoveries).

Attached below is a file with just the list of exponents.

Also, a file with worktodo lines, for anyone who wants to do a full double check of the entire list just for fun.

[B]Note:[/B] Use the _CRLF versions if you're using Windows, otherwise the lines won't look right. The other versions are for Linux.

The double check of the complete list should only take a few hours, most of which will be spent on the last few larger exponents. Of course, all of these have already been double-checked, although a proper double-check should later be done with different shift counts, with v 29.4

Note that all exponents in the list up to and including [M]M63703[/M] have been verified fully-factored by primality certificate. The others are only (very) probably-fully-factored. The Primenet database should probably distinguish between the two cases, as Mersenne.ca already does. The certificates are available at FactorDB.com.

The difficulty of generating a primality certificate rises steeply, perhaps even proportional to the fourth power of the exponent if I recall, so the next higher known exponents, in the 80k range, would take months to do. So we will always have this distinction between proven fully-factored and probably fully-factored.

[url]http://www.factordb.com/index.php?id=1100000001051589997[/url]

M8243-cofactor certificate. :smile:

Congrats to Yaroslav Berezhko.

Mersenne.org is now listing PRP residues in a separate Cofactor PRP section. Excellent.

However, all old residues should be deleted from this section whenever a new factor is discovered. They can still be found in the History, although they are no longer useful.

See for instance [M]M209233[/M], or indeed the newly fully factored [M]M8243[/M].