Параметризация решений уравнения $x^{-1}y^{-1}xyz^{-1}v^{-1}zv=1$ в свободной группе

Дана конечная параметризация множества всех решений уравнения
$$ x^{-1}y^{-1}xyz^{-1}v^{-1}zv=1 $$
в свободной группе. Уравнение тесно связано с гипотезой Пуанкаре. Параметризующие функции зависят от словарных переменных, натуральных переменных и переменных, значениями которых являются последовательности натуральных переменных.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 01-01-00027.