%I #27 Dec 17 2022 12:42:46
%S 0,0,0,0,1,1380,759457,192504214,31169837405,3827970163920,
%T 392135190780649,35468973527445018,2937270598777421269,
%U 228156280366446932500,16904255174464832812001,1208995011493806361868862,84197134590686932418878093,5746616155270206518199693720
%N Number of monotone Boolean functions of n variables with 6 mincuts.
%D J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21.
%D V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, Belgrade, 1999, in preparation.
%H Colin Barker, <a href="/A051114/b051114.txt">Table of n, a(n) for n = 0..500</a>
%H K. S. Brown, <a href="http://www.mathpages.com/home/kmath030.htm">Dedekind's Problem</a>
%H V. Jovovic, <a href="/A047707/a047707.pdf">Illustration for A016269, A047707, A051112-A051118</a>
%H V. Jovovic and G. Kilibarda, <a href="http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=398&option_lang=eng">On the number of Boolean functions in the Post classes F^{mu}_8</a>, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6).
%H Goran Kilibarda and Vladeta Jovovic, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL7/Kilibarda/kili2.html">Antichains of Multisets</a>, J. Integer Seqs., Vol. 7, 2004.
%H <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%F a(n) = (1/6!)*(64^n-30 * 48^n+ 120 * 40^n+ 60 * 36^n+ 60 * 34^n-12 * 33^n-345 * 32^n-720 * 30^n+ 810 * 28^n+ 120 * 27^n+ 480 * 26^n+ 360 * 25^n-480 * 24^n-720 * 23^n-240 * 22^n-540 * 21^n+ 1380 * 20^n+ 750 * 19^n+ 60 * 18^n-210 * 17^n-1535 * 16^n-1820 * 15^n+ 2250 * 14^n+ 1800 * 13^n-2820 * 12^n+ 300 * 11^n+ 2040 * 10^n+ 340 * 9^n-1815 * 8^n+ 510 * 7^n-1350 * 6^n+ 1350 * 5^n+ 274 * 4^n-548 * 3^n+ 120 * 2^n).
%Y Cf. A016269, A047707, A051112, A051113, A051115, A051116, A051117, A051118.
%K nonn,easy
%O 0,6
%A _Vladeta Jovovic_, Goran Kilibarda, and Zoran Maksimovic
%E More terms from _Colin Barker_, Nov 26 2014