а вообще, если думать общо.. то искомая группа отражений может быть устроена так:
< a_i | a_i²=id, (a_i*a_j)²=id >, или же : < а_і | х²=іd >, где х - любой элемент группы. Я видел такую группу на лекциях Ромы, это т.н. Бернсайдовы группы. Есть гипотеза о существовании бесконечной бернсайдовой группы, которая содержит 2 порождающих и конечную степень "хⁿ". Есть оценка на степень: n - нечётно и
n >= 665
Вот! , с чем вы будете работать, почти достигло 666, а если 665 не подходит, тогда смело: n>666.