OFFSET
0,4
LINKS
Volkan Yildiz, General combinatorical structure of truth tables of bracketed formulas connected by implication, arXiv preprint arXiv:1205.5595 [math.CO], 2012.
FORMULA
Yildiz gives a g.f.
G.f.: (1-6*x-sqrt((1-4*x)*(1-8*x)))/2. - Michel Marcus, Oct 21 2020
D-finite with recurrence n*a(n) +(n+5)*a(n-1) +(n+44)*a(n-2) +(n+331)*a(n-3) +10*(-902*n+3859)*a(n-4) +34720*(n-6)*a(n-5)=0. - R. J. Mathar, Nov 22 2023
PROG
(PARI) my(x='x+O('x^30)); concat([0, 0], Vec((1-6*x-sqrt((1-4*x)*(1-8*x)))/2)) \\ Michel Marcus, Oct 21 2020
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 23 2012
EXTENSIONS
a(6) corrected by Georg Fischer, Jun 07 2021
STATUS
approved