diGraph G { v3 [label="{twotimes 2 = 4, twotimes 3 = 5} with stack [\"double\"]"] v2 [label="{server 2 socket = _, server 1 socket = _, server 0 _ = _, } with stack []"] v1 [label="{double \"2\" = \"4\", double \"3\" = \"5\", } with stack []"] v0 [label=root] v1 -> v3 [label=""] v0 -> v2 [label=""] v0 -> v1 [label=""] }