\[p\left(\mathcal{D},n\right)\sim\frac{{\mathrm{e}}^{\pi\sqrt{n/3}}}{(768n^{3})^%
{1/4}},\]