108703640136domain: NAppears in sequencesa(n) = Sum_{k=0..n} 2^(n-k) * binomial(n+4,k+4) * binomial(2*k+8,k+8).at n=12A387274