439031domain: NAppears in sequencesNumber of closed lambda-terms of size n with at most 1 free de Bruijn index.at n=7A220895Semiprimes of the form (2*n^3+n)/3.at n=13A245232