- n=50-100k, 19k left (229, 419, 944, 961, 1493, 1682, 1747, 1854, 2025, 2642, 2718, 2985, 3058, 3271, 3301, 3418, 4064, 4431, 4447)
- runtime 2-12min (AVX@3.8Ghz)
2799*372^53207-1 found by ardo
4423*372^63494-1 found by vaughan
577*372^68130-1 found by ardo
3563*372^76554-1 found by vaughan
2996*372^94515-1 found by Johnny Rotten |