67345463

Appears in sequences

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