699133domain: NPropertiesPrimalityPrimeyesAppears in sequencesa(n) = A139480(n)/2.at n=33A139481Primes p such that 8*2^(2p)-1 is also prime.at n=9A174288Prime numbersat n=56482