%I M3558 #39 Nov 27 2023 10:30:19
%S 1,4,19,179,16142,489996794,1392195548399980209,
%T 789204635842035039135545297410259321
%N Number of matrices with n columns whose rows do not cover each other. Also antichain covers of an unlabeled n-set.
%D V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H M. Hofri, <a href="/A007411/a007411.pdf">Email to N. J. A. Sloane, May 1994</a>.
%H V. Jovovic and G. Kilibarda, <a href="http://mi.mathnet.ru/eng/dm/v11/i4/p127">On the number of Boolean functions in the Post classes F^{mu}_8</a>, in Russian, Diskretnaya Matematika, 11 (1999), no. 4, 127-138.
%H V. Jovovic and G. Kilibarda, <a href="http://dx.doi.org/10.1515/dma.1999.9.6.593">On the number of Boolean functions in the Post classes F^{mu}_8</a>, English translation, in Discrete Mathematics and Applications, 9, (1999), no. 6, 593-605.
%F a(n) = A003182(n) - A003182(n-1) - 1 = A006602(n) - 1.
%Y Cf. A037843, A006126, A003182, A006602.
%K nonn,hard,more
%O 2,2
%A Micha Hofri (hofri(AT)cs.rice.edu)
%E a(7) from A003182. - _N. J. A. Sloane_, Aug 13 2015
%E a(8) from A003182. - _Bartlomiej Pawelski_, Nov 27 2022
%E a(9) from A003182. - _Dmitry I. Ignatov_, Nov 27 2023