1: \begin{definition}[$\mathbb{G}_d$]

2: 

3: Given a positive integer $d$, the edge-labeled graph $\mathbb{G}_d$ is defined as follows.

4: 

5: \begin{enumerate}

6: \item \emph{[vertices]} $d$-weight classes.\footnote{Or equivalently, $G$-equivalence classes of $d$-minimal triangles by Theorem \ref{thm:weight_classification}.}

7: \item \emph{[edges]} weight classes $\omega_1$ and $\omega_2$ are connected by an edge if they are pseudo-flippable. 

8: \item \emph{[edge-labels]} The edge $E$ between $\omega_1$ and $\omega_2$ is labeled by the pair $\{\omega_1', \omega_2'\}$, the result of pseudo-flipping $\omega_1$ and $\omega_2$. 

9: \end{enumerate}

10: 

11: \end{definition}