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