- n=100-250k, 15k left (86, 92, 166, 295, 326, 370, 393, 472, 556, 623, 628, 692, 778, 818, 968)
- runtime 4-28min (AVX@3.8Ghz)
857*80^106007+1 found by ardo
770*80^107149+1 found by EarlyBird@Zircons
433*80^121106+1 found by rebirther
188*80^142291+1 found by reklov |