%I #15 Feb 19 2016 05:40:12
%S 1,1,2,2,4,4,9,12,27,49,111,236,562,1302,3172,7746,19347,48630,123923,
%T 317956,823178,2144518,5623993,14828075,39300482,104636894,279794753,
%U 751065509,2023446206,5469566586,14830879661,40330829031,109972429568,300628862717
%N Number of forests of identical trees.
%H Alois P. Heinz, <a href="/A035054/b035054.txt">Table of n, a(n) for n = 0..750</a>
%H N. J. A. Sloane, <a href="/transforms.txt">Transforms</a>
%F Inverse Moebius transform of A000055.
%F a(n) ~ c * d^n / n^(5/2), where d = A051491 = 2.9557652856519949747148..., c = A086308 = 0.53494960614230701455... . - _Vaclav Kotesovec_, Aug 25 2014
%p with(numtheory):
%p b:= proc(n) option remember; `if`(n<=1, n,
%p (add(add(d*b(d), d=divisors(j))*b(n-j), j=1..n-1))/(n-1))
%p end:
%p g:= proc(n) option remember; local k; `if`(n=0, 1, b(n)-
%p (add(b(k)*b(n-k), k=0..n) -`if`(irem(n, 2)=0, b(n/2), 0))/2)
%p end:
%p a:= n-> `if`(n=0, 1, add(g(d), d=divisors(n))):
%p seq(a(n), n=0..35); # _Alois P. Heinz_, May 18 2013
%t b[n_] := b[n] = If[n <= 1, n, Sum[Sum[d*b[d], {d, Divisors[j]}]*b[n - j], {j, 1, n-1}]/(n-1)]; g[n_] := g[n] = If[n==0, 1, b[n] - (Sum[b[k]*b[n-k], {k, 0, n}] - If[Mod[n, 2]==0, b[n/2], 0])/2]; a[n_] := If[n==0, 1, Sum[ g[d], {d, Divisors[n]}]]; Table[a[n], {n, 0, 35}] (* _Jean-François Alcover_, Feb 19 2016, after _Alois P. Heinz_ *)
%Y Cf. A005195.
%K nonn
%O 0,3
%A _Christian G. Bower_, Oct 15 1998.