%I #8 Nov 14 2018 13:32:31
%S 2,6,342,137186159382
%N a(n) is the order of the free linear Heyting algebra on n generators.
%H Peter Freyd, <a href="https://www.math.upenn.edu/~pjf/Heyting.pdf">On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras</a>, July 17 2017.
%Y Cf. A050318, A050365, A067765.
%K nonn,more
%O 1,1
%A _Peter Luschny_, Nov 13 2018