10258152021domain: NAppears in sequencesThe numbers of closed simply typable lambda terms of natural size n.at n=26A272794