127858domain: NAppears in sequencesa(n) = 2^n - C(n,0) - ... - C(n,4).at n=17A002664a(n) = Sum_{k=0..12} binomial(n,k).at n=17A219615Numbers k such that 3*R_(k+2) - 10^k is prime, where R_k = 11...1 is the repunit (A002275) of length k.at n=25A256375