- n=100-300k, 9k left (28, 29, 31, 58, 74, 97, 116, 133, 137)
- runtime 6min-1h06min (AVX@3.8Ghz)
- 35220 WUs
37*488^60063-1 found by Joe
95*488^84834-1 found by Thomas Turk
87*488^193624-1 found by Ralfy (TOP5000)
118*488^193957-1 found by Ralfy (TOP5000)
86*488^197778-1 found by Ralfy (TOP5000) |