A089832 Number of distinct non-recursive Catalan Automorphisms whose minimum clause-representation requires examination of n nodes in total. Row sums of A089831.

1, 1, 10, 125, 1805, 32768, 713930, 18334997

Offset

0,3

Links

Table of n, a(n) for n=0..7.

A. Karttunen, C-program for computing the initial terms of this sequence

Crossrefs

Sequence in context: A215854 A123358 A230390 * A161170 A281595 A097816

Adjacent sequences: A089829 A089830 A089831 * A089833 A089834 A089835

Keyword

nonn

Author

Antti Karttunen, Dec 05 2003

Status

approved