124714856domain: NAppears in sequencesa(n) = Sum_{k=0..6} binomial(12,k)*binomial(n,k).at n=23A247611