All values proved prime. No more up to 25000. Primality proof for the largest: PFGW Version 20041001.Win_Stable (v1.2 RC1b) [FFT v23.8] Primality testing 55*10^17521+1 [N-1, Brillhart-Lehmer-Selfridge] Running N-1 test using base 3 Calling Brillhart-Lehmer-Selfridge with factored part 69.89% 55*10^17521+1 is prime! (48.1892s+0.1481s)