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