129232domain: NAppears in sequencesThe numbers of plain simply typable lambda terms of natural size n.at n=14A294450