1,3
Table of n, a(n) for n=1..9.
P. Tarau, A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations, arXiv preprint arXiv:1507.06944 [cs.LO], 2015.
Cf. A220471.
Sequence in context: A089102 A098912 A299685 * A120343 A301280 A153366
Adjacent sequences: A268222 A268223 A268224 * A268226 A268227 A268228
nonn,more
N. J. A. Sloane, Jan 30 2016
approved
