1061969

Properties

Appears in sequences

• Number of 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=28A114851
• Primes of the form 7*p^2+7*p-1 (with p=prime).at n=26A171138
• Prime numbersat n=82973