- n=25-100k, 82k left (50, 70, 74, 124, 172, 178, 230, 250, 328, 368, 502, 574, 590, 622, 744, 890, 892, 958, 1094, 1114, 1192, 1208, 1268, 1274, 1342, 1388, 1420, 1472, 1478, 1484, 1530, 1552, 1588, 1624, 1730, 1772, 1862, 1874, 1892, 1934, 1982, 2018, 2102, 2132, 2174, 2192, 2198, 2362, 2380, 2434, 2438, 2440, 2482, 2492, 2512, 2542, 2588, 2614, 2632, 2648, 2662, 2682, 2710, 2770, 2782, 2804, 2848, 2864, 2990, 3004, 3050, 3098, 3160, 3238, 3350, 3358, 3400, 3452, 3454, 3502, 3562, 3572)
- runtime 28s-13min (AVX@3.8Ghz)
1220*971^25068-1 found by Finrond
830*971^27374-1 found by Marko
872*971^28568-1 found by Ralfy
122*971^30752-1 found by whizbang
3368*971^31078-1 found by Ralfy
934*971^32811-1 found by McShane of TSBT
1794*971^32946-1 found by ERBrouwer
2030*971^33572-1 found by Ralfy
2044*971^33741-1 found by Ralfy
2792*971^36002-1 found by glennpat
2338*971^37395-1 found by VietOZ
598*971^43559-1 found by keiii420
1158*971^47626-1 found by VietOZ
3064*971^50523-1 found by StyM
2304*971^51191-1 found by whizbang
2360*971^51850-1 found by StyM
1028*971^55708-1 found by KaptainBlaZzed
2900*971^58822-1 found by VietOZ
2350*971^62749-1 found by Ralfy
1368*971^65297-1 found by Buckey
3340*971^66969-1 found by Ralfy
42*971^67575-1 found by KaptainBlaZzed
794*971^71126-1 found by whizbang
3244*971^75063-1 found by KaptainBlaZzed
2444*971^78748-1 found by McShane of TSBT
1160*971^99188-1 found by KaptainBlaZzed |