58083923domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of closed lambda-terms of size n with size 1 for the variables.at n=16A135501Prime numbersat n=3455064