| - n=100-400k, 13k left (419, 944, 961, 1493, 1747, 1854, 2718, 2985, 3058, 3301, 3418, 4064, 4447)- runtime 7min37s-1h52min (AVX@3.8Ghz)
 - 193725 WUs
 
 3271*372^119926-1 found by VietOZ
 1682*372^177234-1 found by VietOZ (TOP5000)
 2025*372^179001-1 found by n3Ro (TOP5000)
 3271*372^210566-1 found by purplecfh (TOP5000)
 229*372^217261-1 found by PDW (TOP5000)
 4431*372^327835-1 found by whizbang (TOP5000)
 2642*372^302825-1 found by CharityEngine2 (TOP5000)
 |