12190623

Appears in sequences

• Number of closed lambda-terms of size n with size 1 for the variables.at n=15A135501