- n=25-100k, 40k left (36, 470, 501, 583, 687, 802, 900, 1017, 1209, 1334, 1488, 1591, 1759, 1964, 1982, 2072, 2319, 2419, 2493, 2612, 2636, 2764, 2853, 2937, 2970, 3249, 3271, 3273, 3327, 3343, 3437, 3678, 3740, 3938, 4048, 4089, 4253, 4376, 4627, 5078)
- runtime 43s-12min (AVX@3.8Ghz)

5027*408^25270-1 found by vaughan
4622*408^25492-1 found by Johnny Rotten
2781*408^26509-1 found by nenym
4804*408^26695-1 found by ardo
1858*408^26740-1 found by killik
2686*408^31390-1 found by Sabroe_SMC
2946*408^32966-1 found by ardo
967*408^35248-1 found by Johnny Rotten
3683*408^37925-1 found by ardo
4446*408^40190-1 found by ardo
2797*408^43704-1 found by nenym
1369*408^44511-1 found by LCB001
1854*408^50388-1 found by vaughan
3132*408^55783-1 found by ardo
2010*408^57298-1 found by vaughan
2822*408^60110-1 found by ardo
3784*408^89487-1 found by Sabroe_SMC
142*408^97284-1 found by Woodles