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