- n=50-100k, 118k left (18, 111, 438, 576, 1433, 1842, 1937, 1940, 2105, 2111, 2154, 3788, 4073, 4197, 4269, 4337, 4548, 4584, 4863, 4943, 4998, 5102, 5237, 5604, 5823, 5987, 6512, 7256, 7683, 7778, 7803, 7907, 8735, 8882, 9062, 9777, 9944, 10176, 10308, 10521, 10533, 10799, 10866, 11045, 11199, 11412, 11570, 11756, 11996, 12146, 12308, 12651, 12725, 13239, 13343, 13391, 13458, 13677, 13997, 14474, 14942, 15008, 15467, 15593, 15756, 15768, 15783, 16041, 16476, 16487, 16541, 16659, 16833, 17064, 17114, 17216, 17238, 17273, 17462, 17891, 17907, 18287, 18554, 18866, 19758, 19941, 19983, 20466, 20498, 20601, 21092, 21194, 21368, 21498, 21642, 21828, 22098, 22199, 22301, 22712, 23669, 23948, 24182, 24261, 24723, 24818, 24986, 25394, 25397, 25512, 25842, 26036, 26118, 26799, 26916, 27119, 27179, 27218)
- runtime 1m49s-7min (AVX@3.8Ghz)
3986*262^50506-1 found by Mankka*
11205*262^54286-1 found by Mankka*
17492*262^55550-1 found by rebirther
20078*262^59730-1 found by vaughan
16787*262^60032-1 found by Da Seeker
18254*262^60368-1 found by Ralfy
14975*262^60464-1 found by rebirther
26261*262^61089-1 found by CR62
22373*262^62068-1 found by Dirk Broer
5921*262^63374-1 found by Buster Gunn
1764*262^65661-1 found by LCB001
3183*262^66244-1 found by Dennis-TW
21917*262^66352-1 found by europe64
20474*262^66935-1 found by europe64
15948*262^68203-1 found by damotbe
9579*262^68671-1 found by rebirther
2097*262^69988-1 found by pschoefer
14460*262^72825-1 found by Hydrosaure
6048*262^72952-1 found by PDW
15779*262^77152-1 found by rebirther
14682*262^77760-1 found by Ralfy
22352*262^81164-1 found by MAGPIE
21080*262^83670-1 found by vaughan
16989*262^86060-1 found by Woodles
14906*262^88099-1 found by [AF>EDLS]GuL
4104*262^91956-1 found by Ralfy
6648*262^91980-1 found by vaughan
23246*262^93125-1 found by vaughan
12623*262^95954-1 found by PhilTheNet
14492*262^98753-1 found by fzs600
21951*262^99430-1 found by PDW
9120*262^99664-1 found by vinn [Czech National Team] |