%I M0216 #25 Feb 27 2024 04:00:03
%S 1,1,1,1,1,1,2,2,2,2,2,3,3,3,3,4,4,4,5,5,6,8,8,9,9,10,11,12,15,16,17,
%T 19
%N The coding-theoretic function A(n,12,7).
%C Packing number D(n,7,2). Maximum number of edge-disjoint K_7's in a K_n. - _Rob Pratt_, Feb 26 2024
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H A. E. Brouwer, <a href="http://www.win.tue.nl/~aeb/codes/Andw.html">Bounds for binary constant weight codes</a>
%H A. E. Brouwer, J. B. Shearer, N. J. A. Sloane, and W. D. Smith, <a href="http://dx.doi.org/10.1109/18.59932">New table of constant weight codes</a>, IEEE Trans. Info. Theory 36 (1990), 1334-1380.
%H <a href="/index/Aa#Andw">Index entries for sequences related to A(n,d,w)</a>
%K nonn,hard,more
%O 7,7
%A _N. J. A. Sloane_.
%E The version in the Encyclopedia of Integer Sequences had 1 instead of 2 at n=13.
%E a(29)-a(38) from _Rob Pratt_, Feb 26 2024