1: \begin{abstract}

2: We study Thurston equivalence classes of quadratic post-critically finite branched coverings.

3: For these maps, we introduce and study invariant spanning trees.

4: We give a computational procedure for searching for invariant spanning trees.

5: This procedure uses bisets over the fundamental group of a punctured sphere.

6: We also introduce a new combinatorial invariant of Thurston classes --- the ivy graph.

7: \end{abstract}

8: