55612domain: NAppears in sequencesBases with a record -- new or tie -- smallest 'stem value' for which a prime by concatenation of decrements exists.at n=28A220402G.f.: exp( Sum_{n>=1} A047863(n)*x^n/n ), where A047863(n) = Sum_{k=0..n} binomial(n, k) * (2^k)^(n-k).at n=7A251684