For Leyland primes, why the pages are "Leyland_prime P x y" and "Leyland_prime M x y" (a page for a single (probable) prime)? Not "Leyland_prime P x" and "Leyland_prime M x" (list all y's such that x^y+y^x or x^yy^x are (probable) primes)? Like the pages for Williams primes and the Carol/Kynea primes and the Cullen/Woodall primes? e.g. for the Carol/Kynea primes, the pages list all n such that (b^n1)^22 or (b^n+1)^22 are primes for a fixed b, why not (for Leyland primes) list all y such that x^y+y^x or x^yy^x are (probable) primes for a fixed x?
