Share N+/-1 Primality Proofs

[henryzz]

2283/52114 prps of the supported forms are provable. I have attached them. This includes those already posted.
It would also be worth sorting the prps file and finding cases like wblipp was showing earlier. I am afraid I have a much better example:

(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((10^5503*8-77)/3+1)/312349533226-1)/26056407916324+1)/12068077670-1)/7671531812395018986+1)/48645809022+1)/2674683565110+1)/7562064497826-1)/41769654987102-1)/11440636416+1)/70253722+1)/533955009545772+1)/12297239861360496410+1)/9622227016-1)/9013878514535854+1)/698-1)/52959618503662848-1)/31569336+1)/160976751926158016210408098+1)/74966617284-1)/109706013282900-1)/176847982314+1)/55121810496642422658+1)/8514+1)/191350974648-1)/23748875200832304+1)/75592+1)/40640768535349418231106378-1)/1229520+1)/12506-1)/22803169324306304931762-1)/1140+1)/6239780654350487136508+1)/4009600720608-1)/2616637312-1)/698158170+1)/11215615512236595900-1)/533133494+1)/2493425220-1)/1331913532188030+1)/525498414647425108+1)/35443023556040827138602-1)/17544-1)/6243604968-1)/201496166684410-1)/892790980836582-1)/1522242561714-1)/4507185012312+1)/572094144+1)/81892177151041245387894+1)/1781071972+1)/714769719120786-1)/10973071283412+1)/192544187996-1)/42-1)/32599018970484-1)/368437910072585738822105164-1)/230897064-1)/29056470676756209944126974512+1)/4426147918641991802658102+1)/1684724+1)/2897121485643118-1)/5455141008932059690-1)/16194155326266-1)/357930-1)/213155742656064-1)/567696427221042+1)/8829083949259207565816+1)/360458374328-1)/5595698854461654840-1)/47222075735894+1)/16950527447280+1)/2099576309007702+1)/122224775328439722102-1)/1312437577918858-1)/69254820+1)/41242926-1)/313138306+1)/24799786442+1)/3445984429639960+1)/1243137060674389404+1)/41239668-1)/69318866014621281543825019940+1)/87909163931622487806+1)/16478737570-1)/599510225102930182+1)/11826580522-1)/23468042-1)/3195827900174218+1)/12107142751540-1)/157962960563471516-1)/335842+1)/9392693066672920018+1)/1102123708877820+1)/20694421620+1)/58490586688947393957582-1)/1147270958-1)/2105007715065470-1)/7090-1)/19202836278+1)/600272899951426+1)/413031144-1)/42554453341370890+1)/448201499883294100527893740-1)/526578798998-1)/32502561634016762-1)/825828294471260587738-1)/511842-1)/456691916158912+1)/5621535740854434834105400-1)/114158594+1)/229264833825277014+1)/1673126+1)/355746876527654+1)/21830834615032001333813906+1)/405104+1)/44388107144+1)/49092340640258-1)/215700-1)/52880920162+1)/3881806377874463816-1)/41152793082490752-1)/7481468123929735708807038+1)/289828632+1)/2828299730012+1)/7431655432530364+1)/117445499149789236+1)/514105500+1)/853849723628+1)/83145222885020-1)/7556996592090+1)/14251281591262174322510+1)/23248784-1)/2531945029410-1)/2176+1)/120435697186954834256762-1)/312405045591127290-1)/71111847100856+1)/12966+1)/1344558-1)/173449389583869334354-1)/4580360029162572+1)/135006

This is 143 deep!!! Other paths have obviously been tried as well. Someone was really persistent with this one. Also (18007094922^206-1)/189427607104473963157 has been tried a lot.

[wblipp]

Originally Posted by henryzz

This is 143 deep!!!

I don't think it generates a chain of primes. Many of the numbers are composite+1 or composite-1, not prime+1 or prime-1. It looks like somebody just chained on the largest factor, regardless of prime of composite.

[lorgix]

Just finished (5830^1093-1)/5829, I think I got some help with a factor of N-1.

I also proved (6746^1171-1)/6745. N-1 had a prp1074 that I didn't even need to prove.

[Batalov]

Originally Posted by lorgix

Just finished (5830^1093-1)/5829, I think I got some help with a factor of N-1.

I also proved (6746^1171-1)/6745. N-1 had a prp1074 that I didn't even need to prove.

Yes you did, otherwise you cannot claim the proof of (6746^1171-1)/6745. The DB (and PFGW behind it) tells you that this PRP is P conditional on all known P factors. The fact that the DB takes PRPs into the helper file is a bug (or you can call it a feature).

[lorgix]

Originally Posted by Batalov

Yes you did, otherwise you cannot claim the proof of (6746^1171-1)/6745. The DB (and PFGW behind it) tells you that this PRP is P conditional on all known P factors. The fact that the DB takes PRPs into the helper file is a bug (or you can call it a feature).

I meant that the other factors, known Ps, were enough. I don't think the prp1074 was used.

[Batalov]

Yes, you are right, there's just enough without it! Grocery bill paradox got me (the factors looked shorter than the whole bill).
Sorry!

[firejuggler]

(10^2018*58-31)/5769 proved by N-1
11^2185-10 proved by N-1

[YuL]

49^1765-48, needed factors from 7^3528-1 for the N-1 proof.

[YuL]

(10^5040*34-7)/27, N-1 proof done.

[YuL]

2^8121-513, N+1 with help from 2^4056-1

[YuL]

(2^12661*12661-1)/25321, N-1 proof done.
(2^12685*169-1)/337, N-1 proof done.
2^12819-7, N-1 proof done.