Finite parametrization of solutions of equations in a free monoid. II

In the preceding paper of the author, parametrizing functions Fi, Th, Ro were introduced depending on word variables, positive-integer variables, and variables whose values are finite sequences of positive-integer variables. With the help of the parametrizing functions Fi, Th, Ro finite formulae are written out for the family of solutions of every equation of the form phi(x(1), x(2), x(3))x(4) = psi(x(1), x(2), x(3))x(5), where phi(x(1), x(2), x(3)) and psi(x(1), x(2), x(3)) are arbitrary words in the alphabet x(1), x(2), x(3) in a free monoid.