%I #19 Oct 21 2020 03:45:51
%S 0,0,1,6,33,194,1198,7676,50581,340682,2335186,16237284,114255994,
%T 812107412,5822171548,42052209400,305714145869,2235262899418,
%U 16426616425002,121265916776148,898878250833358,6687497426512700,49920590244564484
%N Number of truth tables of bracketed formulas (case 1).
%H Volkan Yildiz, <a href="http://arxiv.org/abs/1205.5595">General combinatorical structure of truth tables of bracketed formulas connected by implication</a>, arXiv preprint arXiv:1205.5595 [math.CO], 2012.
%F Yildiz gives a g.f.
%F G.f.: ((1-8*x)^(1/2)-3)*((2+2*(1-8*x)^(1/2)+8*x)^(1/2)-2)/8. - _Mark van Hoeij_, May 16 2013
%o (PARI) my(x='x+O('x^30)); concat([0,0], Vec(((1-8*x)^(1/2)-3)*((2+2*(1-8*x)^(1/2)+8*x)^(1/2)-2)/8)) \\ _Michel Marcus_, Oct 21 2020
%Y Cf. A186997, A218045.
%K nonn
%O 0,4
%A _N. J. A. Sloane_, Oct 23 2012
|