77334
domain: N
Appears in sequences
- f-vectors for simplicial complexes of dimension at most 2 on at most n-1 vertices.at n=16A011827
- The number of closed normal form lambda calculus terms of size n, where size(lambda x.M)=2+size(M), size(M N)=2+size(M)+size(N), and size(V)=1+i for a variable V bound by the i-th enclosing lambda (corresponding to a binary encoding).at n=31A195691