- n=50-100k, 117k left (166, 184, 574, 602, 676, 692, 788, 796, 872, 874, 934, 1174, 1186, 1246, 1268, 1292, 1294, 1354, 1598, 1696, 1772, 1816, 1850, 2068, 2102, 2116, 2254, 2258, 2284, 2438, 2446, 2522, 2536, 2656, 2672, 2734, 2806, 2824, 2854, 2948, 2990, 3034, 3106, 3182, 3190, 3232, 3320, 3496, 3586, 3694, 3706, 3736, 3754, 3778, 3782, 3796, 3844, 3862, 3872, 3940, 4054, 4076, 4240, 4318, 4444, 4508, 4534, 4568, 4628, 4654, 4684, 4702, 5072, 5146, 5174, 5276, 5326, 5378, 5416, 5536, 5626, 5768, 5770, 5942, 5972, 5980, 6008, 6274, 6374, 6376, 6392, 6488, 6512, 6638, 6646, 6736, 6752, 6754, 6784, 6796, 6812, 6932, 6934, 6998, 7072, 7088, 7112, 7114, 7178, 7234, 7276, 7322, 7342, 7432, 7444, 7504, 7594)
- runtime 1-5min (AVX@3.8Ghz)
800*143^51827+1 found by Ralfy
1982*143^52229+1 found by Ralfy
4058*143^53415+1 found by Thomas Turk
2506*143^55732+1 found by Odicin
6092*143^61437+1 found by rebirther
604*143^61770+1 found by Dejan
718*143^62672+1 found by LCB001
1898*143^64079+1 found by [SG] Archi_74
4088*143^70787+1 found by Ralfy
5678*143^71467+1 found by Crystal Pellet
7562*143^72353+1 found by ardo
6520*143^76102+1 found by Mankka*
2386*143^78380+1 found by vaughan
7568*143^78631+1 found by ardo
6064*143^88138+1 found by ardo
5410*143^88240+1 found by ardo
5662*143^88798+1 found by ardo
3878*143^89327+1 found by Adrian Schori
4954*143^89862+1 found by ardo
1396*143^91188+1 found by LCB001
5840*143^97373+1 found by Thomas Turk |