910596domain: NAppears in sequencesa(n) = 2^n - C(n,0) - C(n,1) - ... - C(n,7).at n=20A035040a(n) = Sum_{k=0..12} binomial(n,k).at n=20A219615