1025579domain: NPropertiesPrimalityPrimeyesAppears in sequencesTetranacci analog of A055502.at n=21A113843Prime numbersat n=80385