Вычислительные эксперименты в конечных двупорождённых бернсайдовых группах периода $5$

Пусть $B_0(2,5)=\langle a_1,a_2 \rangle$ — наибольшая конечная двупорождённая бернсайдова группа периода $5$, порядок которой равен $5^{34}$. Для каждого элемента данной группы существует единственное представление вида $a_1^{\alpha_1}\cdot a_2^{\alpha_2}\cdot\ldots\cdot a_{34}^{\alpha_{34}}$, где $\alpha_i \in \mathbb{Z}_5$, $i=1,2,\ldots,34$. Здесь $a_1$ и $a_2$ — порождающие элементы $B_0(2,5)$, $a_3,\ldots,a_{34}$ — коммутаторы, которые вычисляются рекурсивно через $a_1$ и $a_2$. Определим фактор-группу группы $B_0(2,5)$ следующего вида: $B_k=B_0(2,5)/\langle a_{k+1},\ldots,a_{34}\rangle$. Очевидно, что $|B_k|=5^k$. На основе проведённых вычислительных экспериментов сформулирована гипотеза о диаметре группы $B_k$ для симметричного порождающего множества $\{ a_1,a_1^{-1},a_2,a_2^{-1}\}$.