| - n=250-500k, 19k left (1247, 2010, 2258, 2493, 2744, 3641, 4572, 5112, 5121, 5307, 6101, 6329, 6353, 6498, 6759, 7842, 7911, 7968, 8990)- runtime 25min-1h45min (AVX@3.8Ghz)
 
 6393*88^170870-1 found by Ralfy
 3168*88^205764-1 found by CharityEngine1
 9326*88^209654-1 found by CharityEngine1
 |