- n=50-100k, 25k left (740, 1036, 1578, 1678, 2624, 3552, 3642, 4148, 4338, 4954, 5294, 6282, 6898, 7528, 7886, 9746, 10234, 10682, 11114, 12124, 12262, 12668, 13326, 13666, 13828)
- runtime 2-12min (AVX@3.8Ghz)

5138*477^52907-1 found by vaughan
10598*477^53150-1 found by Ralfy
6694*477^54537-1 found by vaughan
5240*477^54988-1 found by vaughan
490*477^55305-1 found by vaughan
5534*477^55864-1 found by LCB001
11834*477^60299-1 found by Ralfy
3948*477^68190-1 found by Ralfy
6236*477^68802-1 found by Ralfy
2114*477^70833-1 found by LCB001
5502*477^70937-1 found by ardo
9694*477^75892-1 found by Ralfy
7198*477^82440-1 found by taurec
7248*477^99452-1 found by vaughan