2253588domain: NAppears in sequencesNumber of lower Wythoff primes (A095280) in range ]2^n,2^(n+1)].at n=25A095290