| - n=25-100k, 42k left (244, 486, 792, 894, 1014, 1284, 1312, 1348, 1356, 1396, 1456, 1494, 1888, 2004, 2136, 2154, 2374, 2752, 2868, 2988, 3184, 3274, 3324, 3372, 3438, 3702, 3706, 3720, 3804, 4066, 4350, 4552, 5046, 5064, 5232, 5302, 5428, 5662, 5788, 5916, 6306, 6418)- runtime 43s-12min (AVX@3.8Ghz)
 
 5274*487^25407+1 found by Ralfy
 2698*487^27286+1 found by Mumps [MM]
 1768*487^28925+1 found by [SG]MichaelR.
 4996*487^29369+1 found by Mumps [MM]
 5920*487^30464+1 found by [SG]MichaelR.
 4828*487^31422+1 found by LCB001
 2724*487^38863+1 found by Mumps [MM]
 360*487^39127+1 found by Mumps [MM]
 4146*487^40909+1 found by Ralfy
 5172*487^45839+1 found by Mumps [MM]
 3142*487^46534+1 found by Mumps [MM]
 556*487^47551+1 found by NeoGen
 3454*487^50815+1 found by Mumps [MM]
 820*487^52051+1 found by Jaska*
 286*487^55313+1 found by MaxAMD400
 346*487^56445+1 found by Ralfy
 6334*487^59551+1 found by Mumps [MM]
 1402*487^59559+1 found by Ralfy
 306*487^72072+1 found by Ralfy
 804*487^78502+1 found by 1scorpion
 5806*487^83469+1 found by Mumps [MM]
 |