25400761domain: NPropertiesPrimalityPrimeyesAppears in sequencesRecords in A084739.at n=17A133434Prime numbersat n=1589370