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