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