| - n=25-100k, 68k left (84, 92, 896, 932, 1002, 1076, 1262, 1572, 1772, 1928, 2072, 2234, 2538, 2556, 2592, 2792, 2810, 2882, 2960, 3012, 3114, 3392, 3416, 3446, 3476, 3810, 3932, 4148, 4302, 4412, 4580, 4604, 4634, 4832, 4986, 5042, 5048, 5282, 5336, 5382, 5412, 5492, 5504, 5724, 5942, 5966, 6038, 6078, 6108, 6374, 6428, 6486, 6540, 6666, 7056, 7106, 7316, 7380, 7412, 7458, 7520, 7862, 7914, 7932, 7968, 8150, 8156, 8240)- runtime 28s-12min (AVX@3.8Ghz)
 
 3360*823^27760-1 found by Marko
 6990*823^29808-1 found by LCB001
 3272*823^30292-1 found by PDW
 732*823^31111-1 found by LCB001
 2648*823^33465-1 found by Mxmlln
 5046*823^34678-1 found by Marko
 5378*823^38658-1 found by corris
 422*823^39015-1 found by LCB001
 3816*823^42734-1 found by psychu
 5708*823^47882-1 found by Pascal666
 2570*823^49403-1 found by Marko
 7242*823^50055-1 found by gero-t
 5946*823^53950-1 found by LCB001
 7800*823^56376-1 found by grcpool.com
 3056*823^59245-1 found by corris
 2762*823^63684-1 found by yugo
 2306*823^67007-1 found by Beyond
 3768*823^68094-1 found by LCB001
 7368*823^80817-1 found by JugNut
 8222*823^81210-1 found by Thalus
 4466*823^83645-1 found by PDW
 3306*823^90326-1 found by glennpat
 7448*823^91882-1 found by Ralfy
 3102*823^93790-1 found by whizbang
 36*823^94169-1 found by Ralfy
 |