%I
%S 0,0,1,1,2,3,7,11,25,52,110,241,537,1219,2767,6439,14945,35253,83214
%N Number of simplytyped normal forms of lambdaterms of size n.
%H Maciej Bendkowski, K. Grygiel, P. Tarau, <a href="https://arxiv.org/abs/1612.07682">Random generation of closed simplytyped lambdaterms: a synergy between logic programming and Boltzmann samplers</a>, arXiv preprint arXiv:1612.07682 [cs.LO], 20162017.
%K nonn,more
%O 0,5
%A _N. J. A. Sloane_, Nov 22 2017
