%I #15 Jul 18 2020 03:06:46
%S 1,0,2,0,0,3,6,0,0,0,0,24,12,24,0,0,0,0,0,0,120,120,120,60,120,0,0,0,
%T 0,0,0,0,0,360,1440,360,1440,720,720,360,720,0,0,0,0,0,0,0,0,0,0,630,
%U 7560,10080,10080,7560,12600,7560,10080,5040,5040,2520,5040
%N Triangular array read by rows. T(n,k) is the number of labeled rooted unordered binary trees (as in A036774) with path length exactly k, n >= 1, 0 <= k <= C(n,2).
%C The path length of a tree is the distance from the root to a node summed over all nodes in the tree.
%F E.g.f. satisfies A(x,y) = x + x*A(y*x,y) + x*A(y*x,y)^2/2.
%e 1,
%e 0, 2,
%e 0, 0, 3, 6,
%e 0, 0, 0, 0, 24, 12, 24,
%e 0, 0, 0, 0, 0, 0, 120, 120, 120, 60, 120,
%e 0, 0, 0, 0, 0, 0, 0, 0, 360, 1440, 360, 1440, 720, 720, 360, 720
%t nn = 6; f[z_, u_] := Sum[Sum[a[n, k] u^k z^n/n!, {k, 0, Binomial[n, 2]}], {n, 1,
%t nn}]; sol =SolveAlways[Series[0 == f[z, u] - z (1 + f[u z, u] + f[u z, u]^2/2!), {z, 0, nn}], {z, u}];Level[Table[Table[a[n, k], {k, 0, Binomial[n, 2]}], {n, 1, nn}] /. sol, {2}] // Grid
%Y Cf. A036774.
%K nonn,tabf
%O 1,3
%A _Geoffrey Critzer_, Jul 17 2020