number.house
Sequences
Properties
94608676477
domain:
N
Appears in sequences
a(n) = Sum_{k=0..n} binomial(2^(n-k) + k, n-k).
at n=7
A136507