1: \begin{definition}{(subgraph stack~\cite[Theorem~4.7]{HagKL19})}

2: 	The {\em subgraph stack} is a data structure initialized for an $n$-vertex

3: 	$m$-edge undirected graph $G_0=(V,E)$ that manages a finite list 

4: 	$(G_0,\ldots,G_\ell)$, called the {\em client list}, of ordered graphs such 

5: 	that 

6: 	$G_i$ is a proper subgraph of $G_{i-1}$ for $0 < i \leq \ell$. 

7: \end{definition}

8: