digraph G {
	node [label="\N", fontname=Helvetica, fontsize=10, shape=record];
	edge [fontname=Helvetica, fontsize=10, labelfontname=Helvetica, labelfontsize=10];
	graph [bb="0,0,100,84"];
	Node729 [label="Nom.h", height="0.22", width="0.58", color=white, fillcolor=black, style=filled, fontcolor=white, pos="47,16", rects="26,8,69,24"];
	Node730 [label=string, height="0.22", width="0.50", color=grey75, pos="18,68", rects="0,60,37,76"];
	Node731 [label=sstream, height="0.22", width="0.64", color=grey75, pos="77,68", rects="54,60,101,76"];
	Node730 -> Node729 [dir=back, color=midnightblue, style=solid, pos="s,23,60 27,53 32,43 38,32 42,24"];
	Node731 -> Node729 [dir=back, color=midnightblue, style=solid, pos="s,72,60 68,53 63,43 56,32 52,24"];
}
