- n=50-100k, 56k left (712, 787, 1031, 1157, 1234, 1369, 1388, 1627, 1806, 1828, 1899, 1929, 1931, 1965, 2311, 2313, 2461, 2521, 2537, 2672, 2807, 2928, 2988, 3020, 3346, 3604, 3827, 3929, 4024, 4054, 4672, 4768, 4826, 4859, 5010, 5059, 5147, 5262, 5373, 5752, 5927, 5958, 5982, 6133, 6257, 6474, 6523, 6968, 6995, 7152, 7414, 7437, 7528, 7600, 7666, 7822)
- runtime 2-12min (AVX@3.8Ghz)
6898*192^52349+1 found by seychelles64
5375*192^54124+1 found by Joe
6878*192^60430+1 found by NeoGen
2829*192^63997+1 found by Ralfy
4566*192^67168+1 found by Ralfy
3473*192^69049+1 found by Extra Ball
5675*192^74618+1 found by Ralfy
5594*192^86270+1 found by Ralfy
1122*192^89238+1 found by Mumps [MM] |