63009domain: NAppears in sequencesa(n) is the least positive integer such that nextprime(a(n)^n) - prevprime(a(n)^n) = 4.at n=28A090125G.f. A(x) satisfies: A(x) = 1 + x + x^2 + x^3 + x^4 + x^5 + x^6 * A(x/(1 - 2*x)) / (1 - 2*x).at n=16A351345