Links: Mersennes link to GIMPS, 7^n-1s link to certification files.
Mersenne Prime Eliminations
Form: 2^p - 1 verified through PrimeNet benchmarks.
Probable and Verified Primes of Form 7^n - 2
Custom verified independent primality results.