375876domain: NAppears in sequencesNumber of upper Wythoff primes (A095281) in range ]2^n,2^(n+1)].at n=23A095291