| - 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
 |