370761domain: NAppears in sequencesThe numbers of plain simply typable lambda terms of natural size n.at n=15A294450a(n) = exp(n) * Sum_{k>=0} (k + 1)^n * (-n)^k / k!.at n=8A334241