22795849domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of closed normal forms of size n in lambda calculus with size 0 for the variables.at n=9A224345Prime numbersat n=1436169