875463364581domain: NAppears in sequencesThe number of distinct (up to alpha-equivalence) closed lambda calculus terms n characters long, assuming standard notational conventions.at n=22A260661