“…On the other hand, the coset method starting with the group G = AGL(1, 16) found 5, 739 cosets of G for Hamming distance 9 and, hence, obtained a lower bound of 1, 377, 360 for M (16, 9). Also, in [21] the authors computed a PA of size 20, 908, 800 for M(12, 4) and then stated "... it is too large to check fully, but has been extensively checked." In contrast, the coset method starting with the Mathieu group G of order 12 [4,7,8] found 638 cosets of G for Hamming distance 4 and, hence, obtained a lower bound of 60, 635, 520 for M (12, 4).…”