16019330

Appears in sequences

• The numbers of closed simply typable lambda terms of natural size n.at n=20A272794