|
- n=300-500k, 6k left (294, 1926, 2598, 2832, 3194, 4778)
- runtime 51min-2h14min (AVX@3.9Ghz)
3336*235^166287-1 found by grcpool.com-2
4190*235^257371-1 found by CharityEngine1 (TOP5000)
4998*235^260170-1 found by JumpsInLava (TOP5000)
3788*235^455521-1 found by vaughan (TOP5000) |