12263129domain: NPropertiesPrimalityPrimeyesAppears in sequencesLesser of overpseudo-twin-primes to base 2 defined in Comment.at n=17A195468Prime numbersat n=804155