- n=25-100k, 74k left (12, 192, 274, 300, 314, 348, 534, 558, 656, 846, 882, 1078, 1144, 1262, 1286, 1564, 1756, 1952, 1988, 2224, 2406, 2606, 2768, 2868, 3002, 3106, 3212, 3758, 3784, 3912, 4156, 4198, 4588, 4926, 4968, 5266, 5368, 5656, 5838, 5862, 5968, 5992, 6018, 6046, 6124, 6306, 6436, 6606, 6642, 6748, 6772, 6866, 7216, 7222, 7346, 7552, 7580, 7682, 8032, 8092, 8098, 8158, 8230, 8334, 8410, 8438, 8488, 8496, 8646, 8748, 8852, 8984, 9056, 9190)
- runtime 43s-12min (AVX@3.8Ghz)
5786*207^26440+1 found by Ralfy
1536*207^27556+1 found by rebirther
2796*207^27592+1 found by Johnny Rotten
1602*207^28030+1 found by rebirther
8930*207^29591+1 found by Ralfy
6382*207^29831+1 found by Ralfy
4758*207^30198+1 found by Curly
8982*207^40155+1 found by Ralfy
508*207^40408+1 found by rebirther
7752*207^41356+1 found by rebirther
3526*207^43140+1 found by Johnny Rotten
5542*207^44994+1 found by MillliWillli
1834*207^49066+1 found by rebirther
5006*207^49120+1 found by rebirther
6926*207^52096+1 found by ardo
4798*207^53862+1 found by ardo
8756*207^55172+1 found by Highlander_6596
532*207^58927+1 found by Ralfy
3576*207^64880+1 found by LCB001
3782*207^70879+1 found by Odicin
6956*207^74720+1 found by Cruncher Pete
8854*207^75514+1 found by Ralfy
6278*207^75593+1 found by Ralfy
976*207^77008+1 found by Ralfy
2742*207^84791+1 found by ardo
4718*207^93969+1 found by Joe
4252*207^95004+1 found by Ralfy |