512497domain: NPropertiesPrimalityPrimeyesAppears in sequencesPositions of records in A263455.at n=19A263926Prime numbersat n=42470