16966529domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumbers of closed lambda terms of natural size n.at n=19A275057Prime numbersat n=1089295