| - n=25-100k, 54k left (233, 258, 581, 811, 989, 1478, 1877, 2319, 2466, 2640, 2712, 2872, 2922, 2959, 3341, 3394, 3645, 3908, 3974, 4003, 4054, 4135, 4291, 4380, 4523, 4726, 4784, 4831, 4987, 5233, 5364, 5420, 5857, 6265, 6437, 6453, 6526, 6531, 6603, 6642, 6731, 6745, 6787, 6874, 6983, 7164, 7325, 7394, 7795, 7912, 7944, 8148, 8324, 9020)- runtime 34s-13min (AVX@3.8Ghz)
 
 8046*840^27514+1 found by rebirther
 2488*840^27989+1 found by rebirther
 5279*840^28852+1 found by Pascal666
 1594*840^29507+1 found by [VENETO] sabayonino
 6761*840^29580+1 found by vaughan
 6089*840^34941+1 found by rebirther
 585*840^37090+1 found by rebirther
 3704*840^37387+1 found by vaughan
 5895*840^37794+1 found by UofS-Computer-Science
 5930*840^39961+1 found by [AF>Libristes] Dudumomo
 3935*840^44695+1 found by Ralfy
 318*840^44751+1 found by [AF>Libristes] Dudumomo
 3856*840^49531+1 found by [AF>Libristes] Dudumomo
 5182*840^49799+1 found by Mumps [MM]
 3220*840^50514+1 found by damotbe
 1451*840^51944+1 found by UofS-Computer-Science
 5772*840^70860+1 found by [AF>Libristes] Dudumomo
 7773*840^73438+1 found by Ralfy
 217*840^73775+1 found by Buckey
 8295*840^80068+1 found by [AF>WildWildWest]Sebastien
 2517*840^82807+1 found by UofS-Computer-Science
 7019*840^85806+1 found by UofS-Computer-Science
 412*840^94384+1 found by Ralfy
 |