72165domain: NAppears in sequencesNumber of closed typable lambda terms of size n with size 0 for the variables.at n=29A236405