%I #7 Mar 08 2015 21:06:19
%S 1,1,9,18,64,172,477,1368,3681,10485,28701,80829,225090,632160,
%T 1778553,5010948,14181849,40161357,114151716,324873027,926918784,
%U 2649218580,7585705665,21758756931,62508649059,179859399129,518234494662,1495275239115,4319808231645,12495043092609,36183457564425
%N G.f. satisfies: A(x) = exp( Sum_{n>=1} [Sum_{k=0..3*n} binomial(3*n,k)^2 * x^k] / A(x)^n * x^n/n ).
%C Compare the definition of this sequence to G(x) = exp( Sum_{n>=1} [Sum_{k=0..2*n} binomial(2*n,k)^2 * x^k] / G(x)^n * x^n/n ), which is satisfied by the rational function: G(x) = (1+x^2)^2*(1+x^3)/((1-x)*(1-x^2)).
%H Paul D. Hanna, <a href="/A255839/b255839.txt">Table of n, a(n) for n = 0..100</a>
%e G.f.: A(x) = 1 + x + 9*x^2 + 18*x^3 + 64*x^4 + 172*x^5 + 477*x^6 +...
%e where
%e log(A(x)) = (1 + 3^2*x + 3^2*x^2 + x^3)/A(x) * x +
%e (1 + 6^2*x + 15^2*x^2 + 20^2*x^3 + 15^2*x^4 + 6^2*x^5 + x^6)/A(x)^2 * x^/2 +
%e (1 + 9^2*x + 36^2*x^2 + 84^2*x^3 + 126^2*x^4 + 126^2*x^5 + 84^2*x^6 + 36^2*x^7 + 9^2*x^8 + x^9)/A(x)^3 * x^3/3 +
%e (1 + 12^2*x + 66^2*x^2 + 220^2*x^3 + 495^2*x^4 + 792^2*x^5 + 924^2*x^6 + 792^2*x^7 + 495^2*x^8 + 220^2*x^9 + 66^2*x^10 + 12^2*x^11 + x^12)/A(x)^4 * x^4/4 +...
%e which involves the squares of the coefficients in (1 + x)^(3*n).
%o (PARI) /* By Definition: */
%o {a(n)=local(A=1+x); for(i=1, n, A=exp(sum(m=1, n, sum(k=0, min(3*m,n-m), binomial(3*m,k)^2 * x^k) / (A +x*O(x^n))^m * x^m/m)+x*O(x^n))); polcoeff(A, n)}
%o for(n=0, 40, print1(a(n), ", "))
%Y Cf. A248876, A200537, A251687, A251688, A005721.
%K nonn
%O 0,3
%A _Paul D. Hanna_, Mar 07 2015