number.house
Sequences
Properties
996205
domain:
N
Appears in sequences
a(n) = Sum_{k=0..6} binomial(12,k)*binomial(n,k).
at n=11
A247611