A303531 Numbers k such that both k and (k+1)/2 are Fermat pseudoprimes to base 2 (A001567).

31417, 130561, 41541241, 208969201, 224074369, 392099401, 851934601, 5186365801, 33847795741, 65096562721, 91625968981, 104070261901, 111794455501, 165814673473, 180007280041, 184020124201, 276032114281, 408164260141, 620052300421, 1240013784241, 1244667503017

Offset

1,1

Comments

Numbers (k+1)/2 are listed in A298758.

Links

Amiram Eldar, Table of n, a(n) for n = 1..3031 (terms below 2^64)

Formula

a(n) = 2*A298758(n) - 1.

Mathematica

Select[Cases[Import["https://oeis.org/A001567/b001567.txt", "Table"], {_, _}][[;; , 2]], !PrimeQ[(#+1)/2] && PowerMod[2, (#-1)/2, (#+1)/2] == 1 &] (* Amiram Eldar, Nov 09 2023 *)

Prog

(PARI) isF(n) = {Mod(2, n)^n==2 && !isprime(n) && n>1};
isok(n) = (n%2) && isF(n) && isF((n+1)/2); \\ Michel Marcus, Apr 26 2018

Crossrefs

Subsequence of A001567 and of A217465.

Cf. A005382, A298758, A303447, A303448.

Sequence in context: A274045 A277171 A258577 * A251006 A113846 A321054

Adjacent sequences: A303528 A303529 A303530 * A303532 A303533 A303534

Keyword

nonn

Author

Max Alekseyev, Apr 25 2018

Status

approved