12165313domain: NPropertiesPrimalityPrimeyesAppears in sequencesPrimes derived from A116516.at n=7A125515Prime numbersat n=798168