1: \begin{abstract}

2: We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $\Gamma$, there is an algorithm which constructs a canonical solution diagram.  Additionally, we show that a group is a $\Gamma$-limit group if and only if it is an iterated generalized double over $\Gamma$.

3: \end{abstract}

4: