5020105domain: NAppears in sequencesNumber of closed lambda-terms of size n with at most 1 free de Bruijn index.at n=8A220895