- n=100-300k, 12k left (706, 894, 1096, 1270, 1680, 1762, 1914, 2022, 2196, 2448, 2556, 2614)
- runtime 10min33s-1h46min (AVX@3.8Ghz)
808*583^100572+1 found by whizbang
808*583^129171+1 found by vaughan
528*583^156444+1 found by vaughan
306*583^179215+1 found by vaughan (TOP5000) |