1595311747

Appears in sequences

• Numbers of closed lambda terms of natural size n.at n=23A275057