- n=250-500k, 12k left (86, 92, 166, 370, 393, 472, 556, 623, 692, 778, 818, 968)2
- runtime 20min-1h23min (AVX@3.8Ghz)
326*80^398799+1 found by Ralfy (TOP5000)
295*80^404886+1 found by grcpool.com-3 (TOP5000)
628*80^491322+1 found by grc.arikado.pool (TOP5000) |