%I #15 Jan 26 2022 17:57:11
%S 1,1,2,3,2,0,7,15,2,0,0,7,5,0,62,112,2,0,0,0,6,0,0,8,0,2,51,0,47,2,
%T 576,1221,2,0,0,0,0,6,0,0,0,0,8,0,0,4,0,48,0,0,0,0,92,0,0,42,506,0,
%U 813,32,7397,19684,2,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,8
%N Number of isomorphism classes of associative closed binary operations (semigroups) on a set of order n, listed by class size.
%C Elements per row: 1,1,2,4,8,16,30,... (given by A027423, number of positive divisors of n!)
%H Andrew Howroyd, <a href="/A079175/b079175.txt">Table of n, a(n) for n = 0..217</a> (rows 0..8; row 8 was derived from data given in the Distler-Kelsey reference)
%H C. van den Bosch, <a href="https://web.archive.org/web/20071014230143/http://cosmos.ucc.ie/~cjvdb1/html/binops.shtml">Closed binary operations on small sets</a>
%H A. Distler and T. Kelsey, <a href="http://arxiv.org/abs/1301.6023">The semigroups of order 9 and their automorphism groups</a>, arXiv preprint arXiv:1301.6023 [math.CO], 2013.
%H <a href="/index/Se#semigroups">Index entries for sequences related to semigroups</a>
%F A079174(n,k) + T(n,k) = A079171(n,k).
%F T(n, A027423(n)) = A058104(n).
%F A023814(n) = Sum_{k>=1} T(n,k)*A079210(n,k).
%e Triangle T(n,k) begins:
%e 1;
%e 1;
%e 2, 3;
%e 2, 0, 7, 15;
%e 2, 0, 0, 7, 5, 0, 62, 112;
%e 2, 0, 0, 0, 6, 0, 0, 8, 0, 2, 51, 0, 47, 2, 576, 1221;
%e ...
%Y Row sums give A027851.
%Y Cf. A023814, A027423 (row lengths), A079171, A079174, A079210.
%K nonn,tabf
%O 0,3
%A Christian van den Bosch (cjb(AT)cjb.ie), Jan 03 2003
%E a(0)=1 prepended and terms a(16) and beyond from _Andrew Howroyd_, Jan 26 2022