8371133domain: NPropertiesPrimalityPrimeyesAppears in sequencesp-INVERT of the upper Wythoff sequence (A001950), where p(S) = 1 - S - S^2.at n=9A289926Prime numbersat n=563064