A193195 G.f. satisfies: A(A(x)) = Sum_{n>=1} a(n)*x^n / (1-x)^(n*(n+1)/2), where g.f. A(x) = Sum_{n>=1} a(n)*x^n.

1, 1, 2, 8, 63, 866, 18444, 559083, 22773527, 1197061138, 78782852673, 6341384941543, 612605031308910, 69931195961966196, 9310803519433216321, 1429869869684956113511, 250857267705012344767575, 49858270430813771746874366, 11143529422156562195864991584

Offset

1,3

Links

Table of n, a(n) for n=1..19.

Example

G.f.: A(x) = x + x^2 + 2*x^3 + 8*x^4 + 63*x^5 + 866*x^6 + 18444*x^7 +...
where
A(A(x)) = x/(1-x) + x^2/(1-x)^3 + 2*x^3/(1-x)^6 + 8*x^4/(1-x)^10 + 63*x^5/(1-x)^15 + 866*x^6/(1-x)^21 +...+ a(n)*x^n/(1-x)^(n*(n+1)/2) +...
Explicitly,
A(A(x)) = x + 2*x^2 + 6*x^3 + 27*x^4 + 196*x^5 + 2379*x^6 + 46224*x^7 +...

Prog

(PARI) {a(n)=local(A=[1], F=x, G=x); for(i=1, n, A=concat(A, 0); F=x*Ser(A);
G=sum(m=1, #A-1, A[m]*x^m/(1-x+x*O(x^#A))^(m*(m+1)/2));
A[#A]=Vec(G)[#A]-Vec(subst(F, x, F))[#A]); if(n<1, 0, A[n])}

Crossrefs

Cf. A193192, A193193, A193194.

Sequence in context: A153567 A153530 A153559 * A098000 A084279 A153526

Adjacent sequences: A193192 A193193 A193194 * A193196 A193197 A193198

Keyword

nonn

Author

Paul D. Hanna, Jul 19 2011

Status

approved