86753domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of lower Wythoff primes (A095280) in range ]2^n,2^(n+1)].at n=20A095290Prime numbersat n=8431