A095281 Upper Wythoff primes, i.e., primes in A001950.

2, 5, 7, 13, 23, 31, 41, 47, 73, 83, 89, 107, 109, 149, 151, 157, 167, 191, 193, 227, 233, 251, 269, 277, 293, 311, 337, 353, 379, 397, 421, 431, 439, 463, 479, 523, 541, 547, 557, 599, 607, 617, 641, 659, 683, 691, 701, 709, 719, 727, 733, 743

Offset: 1

Author

Antti Karttunen, Jun 04 2004

Keywords

• nonn

Comments

Contains all primes p whose Zeckendorf-expansion A014417(p) ends with an odd number of 0's.

Links

• Antti Karttunen and J. Moyer, C-program for computing the initial terms of this sequence

Crossrefs

Intersection of A000040 & A001950. Complement of A095280 in A000040. Cf. A095081, A095083, A095084, A095290.

Programs

Python

from math import isqrt
from itertools import count, islice
from sympy import isprime
def A095281_gen(): # generator of terms
    return filter(isprime,((n+isqrt(5*n**2)>>1)+n for n in count(1)))
A095281_list = list(islice(A095281_gen(),30)) # Chai Wah Wu, Aug 16 2022