- n=50-100k, 238k left (4468, 11112, 18285, 26815, 27430, 28332, 34029, 35382, 43830, 47272, 51702, 52317, 54162, 55333, 56743, 58672, 59326, 62647, 64369, 102540, 103198, 103524, 118735, 120090, 123204, 123778, 124261, 131035, 131322, 135094, 143193, 147312, 148216, 162130, 166623, 172693, 177736, 185565, 187779, 188232, 192781, 194710, 195366, 198111, 205042, 205450, 207789, 211102, 212461, 212782, 213652, 213939, 217752, 219064, 227098, 236571, 240136, 242022, 246657, 249486, 250839, 251001, 254652, 256579, 263017, 264820, 266827, 269410, 271009, 272913, 278104, 279988, 280482, 282612, 284047, 285441, 288559, 289090, 292329, 295404, 296839, 300859, 308442, 317343, 320088, 323940, 327568, 329347, 335299, 338823, 343743, 345703, 358792, 371746, 371748, 377322, 383638, 384661, 385030, 388228, 394132, 399054, 404794, 406762, 409468, 413322, 413443, 418570, 419593, 425881, 436405, 439890, 440134, 442717, 445218, 445915, 446778, 447309, 449359, 455511, 457848, 463711, 465064, 467073, 473467, 479988, 485398, 488856, 489213, 492655, 497739, 500691, 502126, 504463, 504957, 507292, 509178, 514221, 520248, 525334, 529596, 530892, 532548, 535174, 536199, 537429, 544233, 544563, 545299, 548661, 551490, 553540, 554401, 559731, 560428, 560430, 560674, 563749, 571498, 577650, 580848, 583060, 585030, 585112, 586344, 592492, 602824, 611188, 613974, 617748, 626151, 634474, 635214, 638002, 638658, 641856, 645052, 647758, 659035, 660019, 660153, 660511, 662190, 663750, 664773, 665472, 670515, 674574, 677731, 679986, 688963, 689373, 696181, 698721, 698887, 702165, 706759, 708522, 712540, 713401, 715162, 721888, 731316, 735213, 741115, 741945, 745584, 746898, 747472, 757843, 762478, 763831, 765225, 773259, 773548, 773833, 777687, 777853, 778468, 778648, 778714, 783019, 783060, 783304, 784290, 786789, 787035, 789087, 792490, 795153, 796549, 797736, 806551, 810817, 812334, 812865, 817006, 820011, 820944, 821805)
- runtime 36s-? (AVX@4Ghz)