13356127domain: NPropertiesPrimalityPrimeyesAppears in sequencesInitial prime, greater than 7, of a prime chain of length n under the iteration x -> 2x-7.at n=7A128509Initial prime, greater than 7, of a prime chain of length n under the iteration x -> 2x-7.at n=8A128509Prime numbersat n=870902