11494391

Appears in sequences

• The number of distinct (up to alpha-equivalence) closed lambda calculus terms n characters long, assuming standard notational conventions.at n=16A260661