О нижней оценке числа транзитивных совершенных кодов

При $n\to\infty$ построено не менее $\dfrac1{8n^2\sqrt3}e^{\pi\sqrt{2n/3}}(1+o(1))$ попарно неэквивалентных транзитивных расширенных совершенных кодов длины $4n$.
Библ. 6.