mersenneforum.org Certificate : For all indents and purposes
 Register FAQ Search Today's Posts Mark Forums Read

 2018-12-27, 02:54 #342 EdH     "Ed Hall" Dec 2009 Adirondack Mtns 72108 Posts The lower area seems to be growing again, although not too fast. If they're still there, I'll knock out 2500-4000 in a couple days. That's around 100 candidates, but also includes some "##" troublemakers.
 2018-12-27, 20:57 #343 chris2be8     Sep 2009 32×227 Posts I've spotted two pairs of PRPs where proving the first would enable a N-1 proof of the second: Code: 1100000001217007748 ((3^666*665+11)/834263057836-1)/40 1100000001216564194 (3^666*665+11)/834263057836 Code: 1100000001217042397 ((2^1062*1061+19)/712254287259-1)/24 1100000001216000549 (2^1062*1061+19)/712254287259 Chris
2018-12-28, 14:05   #344
EdH

"Ed Hall"
Dec 2009

23×3×5×31 Posts

Quote:
 Originally Posted by chris2be8 I've spotted two pairs of PRPs where proving the first would enable a N-1 proof of the second: Code: 1100000001217007748 ((3^666*665+11)/834263057836-1)/40 1100000001216564194 (3^666*665+11)/834263057836 Code: 1100000001217042397 ((2^1062*1061+19)/712254287259-1)/24 1100000001216000549 (2^1062*1061+19)/712254287259 Chris
Not understanding anything about N-1 proofs, would this be automatic by the db? Should I run Primo on the first of each case to see? Or, are you doing more with these?

 2018-12-28, 14:12 #345 EdH     "Ed Hall" Dec 2009 Adirondack Mtns 23·3·5·31 Posts We're still over 1k candidates below 3000 and the area from 2500 to 4000 has been cleared, except for three "##" numbers. I'm going to work the 2xxx candidates in with my other work in a little while. If no other posts show up here telling me to "cut it out!" I'll move further down, maybe to 1K. Other than possibly working the two 3xx candidates that Chis brought up, I plan to leave those below 1K for new workers, unless there's a flood. All comments welcomed...
2018-12-28, 15:10   #346
MisterBitcoin

"Nuri, the dragon :P"
Jul 2016
Good old Germany

2×13×31 Posts

Quote:
 Originally Posted by EdH We're still over 1k candidates below 3000 and the area from 2500 to 4000 has been cleared, except for three "##" numbers. I'm going to work the 2xxx candidates in with my other work in a little while. If no other posts show up here telling me to "cut it out!" I'll move further down, maybe to 1K. Other than possibly working the two 3xx candidates that Chis brought up, I plan to leave those below 1K for new workers, unless there's a flood. All comments welcomed...

I can take all below 2K. Just give me some time to set it up, expecting to start in a few hours!

2018-12-28, 17:05   #347
chris2be8

Sep 2009

37738 Posts

Quote:
 Originally Posted by EdH Not understanding anything about N-1 proofs, would this be automatic by the db? Should I run Primo on the first of each case to see? Or, are you doing more with these?
I'm not planning to do anything with them.

Once factordb has processed Primo certificates for the first of each case then clicking on primality for the second should bring up a button to prove it prime. Just click that and the job's done. But it might get clicked by someone else fairly quickly so don't leave it too long.

Chris

2018-12-29, 03:22   #348
EdH

"Ed Hall"
Dec 2009

372010 Posts

Quote:
 Originally Posted by chris2be8 I'm not planning to do anything with them. Once factordb has processed Primo certificates for the first of each case then clicking on primality for the second should bring up a button to prove it prime. Just click that and the job's done. But it might get clicked by someone else fairly quickly so don't leave it too long. Chris
I think Dennis has already certified them. I've left everything below 2k for him. There's only one 2xxx candidate left currently and that's because it just showed up tonight. It will be processed by one of my machines shortly and then all my work will move back above 5xxx.

 2018-12-29, 08:43 #349 DukeBG   Mar 2018 3×43 Posts The buttons show up even if there is a primo certificate. Clicking it will do the proof with pfgw that will "override" the primo proof. The certificate would still be listed in the uploader's certificates list, but not on the prime's page. Either way, primo-proving 310dd numbers takes less time than us writing these messages, so it wasn't a measurable "waste" of time at all really. Last fiddled with by DukeBG on 2018-12-29 at 08:43
2018-12-29, 10:56   #350
MisterBitcoin

"Nuri, the dragon :P"
Jul 2016
Good old Germany

2×13×31 Posts

Quote:
 Originally Posted by EdH I think Dennis has already certified them. I've left everything below 2k for him. There's only one 2xxx candidate left currently and that's because it just showed up tonight. It will be processed by one of my machines shortly and then all my work will move back above 5xxx.

The first batch (1000 numbers) was finished midnight and uploaded shortly later. The next batch (400 numbers) is in work an will be uploaded in 1-2 hours.
After then only a few (~30 numbers) are left in the range.

2018-12-29, 17:03   #351
EdH

"Ed Hall"
Dec 2009

72108 Posts

Three more 2xxx candidates showed up overnight and I added them into my mix. After that and Dennis' work, the lower region should be looking good, so I'll go back to the 5xxx area and let the smaller ones build up again.

Quote:
 Originally Posted by DukeBG ... Either way, primo-proving 310dd numbers takes less time than us writing these messages, so it wasn't a measurable "waste" of time at all really.
Agreed, but I'm very lazy.

 2019-03-11, 16:34 #352 chris2be8     Sep 2009 7FB16 Posts Here's another pair of PRPs where proving the smaller would enable a N-1 proof of the larger: Code: 1100000001263132416 ((2^1024+1-2^611)/32667-1)/2 1100000001262412076 (2^1024+1-2^611)/32667 Chris

 Similar Threads Thread Thread Starter Forum Replies Last Post wblipp FactorDB 1 2012-05-28 03:16 IvanP FactorDB 3 2012-05-11 12:17 jasong Science & Technology 10 2007-01-19 19:04 Unregistered Information & Answers 13 2004-04-28 06:24

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

Sun May 16 18:38:49 UTC 2021 up 38 days, 13:19, 0 users, load averages: 3.65, 3.66, 3.52