| - n=25-100k, 31k left (94, 642, 1636, 2476, 2484, 3106, 3940, 4408, 4546, 4714, 4726, 5514, 5598, 5626, 6432, 6618, 6796, 7374, 7494, 7978, 8032, 8796, 8832, 9210, 9726, 9882, 10404, 10596, 10792, 11010, 11406)- runtime 43s-12min (AVX@3.8Ghz)
 
 11206*403^28909+1 found by Mankka*
 1174*403^31311+1 found by Mankka*
 6018*403^31490+1 found by Mankka*
 108*403^32974+1 found by vaughan
 4308*403^34888+1 found by Mankka*
 8706*403^38448+1 found by [SG-FC] dingdong
 10876*403^44331+1 found by vaughan
 11352*403^46421+1 found by vaughan
 4518*403^48691+1 found by Bryan
 3324*403^50431+1 found by vaughan
 10474*403^51086+1 found by Bryan
 3466*403^54204+1 found by vaughan
 5974*403^58039+1 found by Bryan
 1114*403^63457+1 found by Bryan
 8146*403^64887+1 found by vaughan
 3588*403^66688+1 found by [SG-FC] hl
 7932*403^67802+1 found by Mankka*
 2092*403^74365+1 found by [SG-FC] hl
 9822*403^83001+1 found by vaughan
 166*403^90779+1 found by [SG-FC] hl
 9798*403^94424+1 found by [SG-FC] hl
 |