%I #9 Mar 20 2023 14:58:42
%S 1,3,15,180,3933,122778,5024727,255694050,15594132825,1110807585090,
%T 90665847445059,8355178654847874,859198582766876661,
%U 97668423691415577666,12177783763614287432847,1654751006054203510476882,243720706148230009547388465,38730619011753683906970442626
%N Expansion of e.g.f. A(x) satisfying A(x) = Sum_{n>=0} (A(x)^n + 2)^n * x^n/n!.
%H Paul D. Hanna, <a href="/A361053/b361053.txt">Table of n, a(n) for n = 0..200</a>
%F E.g.f. A(x) = Sum_{n>=0} a(n) * x^n/n! may be defined as follows.
%F (1) A(x) = Sum_{n>=0} (A(x)^n + 2)^n * x^n/n!.
%F (2) A(x) = Sum_{n>=0} A(x)^(n^2) * exp(2*x*A(x)^n) * x^n/n!.
%F a(n) = 0 (mod 3) for n > 0.
%F a(n) = Sum_{k=0..n} A361540(n,k) * 2^k. - _Paul D. Hanna_, Mar 20 2023
%e E.g.f.: A(x) = 1 + 3*x + 15*x^2/2! + 180*x^3/3! + 3933*x^4/4! + 122778*x^5/5! + 5024727*x^6/6! + 255694050*x^7/7! + 15594132825*x^8/8! +...
%e where the e.g.f. satisfies the following series identity:
%e A(x) = 1 + (A(x) + 2)*x + (A(x)^2 + 2)^2*x^2/2! + (A(x)^3 + 2)^3*x^3/3! + (A(x)^4 + 2)^4*x^4/4! + ... + (A(x)^n + 2)^n * x^n/n! + ...
%e and
%e A(x) = exp(2*x) + A(x)*exp(2*x*A(x))*x + A(x)^4*exp(2*x*A(x)^2)*x^2/2! + A(x)^9*exp(2*x*A(x)^3)*x^3/3! + A(x)^16*exp(2*x*A(x)^4)*x^4/4! + ... + A(x)^(n^2) * exp(2*x*A(x)^n) * x^n/n! + ...
%o (PARI) /* E.g.f.: Sum_{n>=0} (A(x)^n + 2)^n * x^n/n! */
%o {a(n) = my(A = 1); for(i=1,n, A = sum(m=0, n, (A^m + 2 +x*O(x^n))^m * x^m/m! )); n!*polcoeff(A, n)}
%o for(n=0, 20, print1(a(n), ", "))
%o (PARI) /* E.g.f.: Sum_{n>=0} A(x)^(n^2) * exp(2*x*A(x)^n) * x^n/n! */
%o {a(n) = my(A=1); for(i=1,n, A = sum(m=0, n, (A +x*O(x^n))^(m^2) * exp(2*x*A^m +x*O(x^n)) * x^m/m! )); n!*polcoeff(A, n)}
%o for(n=0, 20, print1(a(n), ", "))
%Y Cf. A202999, A361054, A361055, A361056, A361057, A203013.
%Y Cf. A361540.
%K nonn
%O 0,2
%A _Paul D. Hanna_, Feb 28 2023