87730167995domain: NAppears in sequencesa(n) = (1/7) * Sum_{k=0..n-1} binomial(7*n,7*k+3).at n=6A387750