186132043831domain: NAppears in sequencesNumber of closed lambda-terms of size n with size 0 for the variables.at n=13A220894