64839domain: NAppears in sequencesa(n) = 2^n - C(n,0) - C(n,1) - C(n,2) - C(n,3).at n=16A002663a(n) = Sum_{k=0..12} binomial(n,k).at n=16A219615