diGraph G {
v5 [label="isort (1 : 2 : []) = 1 : []"]
v4 [label="isort (2 : []) = 2 : []"]
v3 [label="isort [] = []"]
v2 [label="insert 1 (2 : []) = 1 : []"]
v1 [label="insert 2 [] = 2 : []"]
v0 [label="."shape=none]
v4 -> v3 [label=""]
v4 -> v1 [label=""]
v5 -> v4 [label=""]
v5 -> v2 [label=""]
v0 -> v5 [label=""]
}