trizen 77b570a69c new file: oeis-research/Charles R Greathouse IV/Smallest k such that 2^(2^n) - 2^k - 1 is prime/search.sf 4 anni fa
..
from_file.sf 77b570a69c new file: oeis-research/Charles R Greathouse IV/Smallest k such that 2^(2^n) - 2^k - 1 is prime/search.sf 4 anni fa
search.sf 77b570a69c new file: oeis-research/Charles R Greathouse IV/Smallest k such that 2^(2^n) - 2^k - 1 is prime/search.sf 4 anni fa