45427domain: NPropertiesPrimalityPrimeyesAppears in sequences0-sequence of reduction of pentagonal numbers sequence by x^2 -> x+1.at n=12A192145Least integer k such that k/2^n > log 2.at n=16A293363Prime numbersat n=4712