| - n=100-300k, 9k left (136, 156, 962, 1758, 2072, 3424, 3756, 5226, 5802)- runtime 5min-1h13min (AVX@3.8Ghz)
 
 476*273^58541-1 found by Johnny Rotten
 488*273^59024-1 found by Johnny Rotten
 4614*273^60372-1 found by ardo
 4086*273^60454-1 found by Johnny Rotten
 6980*273^72300-1 found by nenym
 4396*273^87951-1 found by Johnny Rotten
 6702*273^96743-1 found by ardo
 3254*273^122768-1 found by migueldilaj
 4522*273^129019-1 found by Ralfy
 4794*273^135632-1 found by TheGrosser
 138*273^224093-1 found by Ralfy (TOP5000)
 |