stallings_graphs
