diGraph G {
v5 [label="n 1 = 1
with stack [\"m\",\"l\",\"k\"]"]
v4 [label="n 2 = 2
with stack [\"m\",\"k\"]"]
v3 [label="m 2 = 2
with stack [\"k\"]"]
v2 [label="k 1 = 3
with stack []"]
v1 [label=root]
v0 [label="{l 1 = 1, m 1 = 1}
with stack [\"k\"]"]
v2 -> v5 [label=""]
v3 -> v0 [label=""]
v2 -> v4 [label=""]
v0 -> v5 [label=""]
v3 -> v4 [label=""]
v2 -> v0 [label=""]
v2 -> v3 [label=""]
v1 -> v2 [label=""]
}