digraph {
	1 [label="div"]
	2 [label="grasp:main"]
	3 [label="15"]
	4 [label="2"]
	5 [label="3"]
	6 [label="out1"]
	7 [label="out2"]

	1 -> 2 [label="name"]
	1 -> 3 [label="left"]
	1 -> 4 [label="right"]
	1 -> 5 [label="right"]
	1 -> 6 [label="out"]
	1 -> 7 [label="out"]
}