- n=25-100k, 9k left (100, 354, 396, 508, 522, 542, 750, 828, 842)
- runtime 33s-10min
- 38116 WUs
664*1017^28685-1 found by Ralfy
22*1017^47885-1 found by killik
268*1017^65254-1 found by Ralfy
400*1017^66551-1 found by Ralfy
898*1017^85783-1 found by vaughan
840*1017^80711-1 found by Ralfy |