399652720

Appears in sequences

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