digraph graph_17
{
	node
	[
		shape = "record"
	]
	edge
	[
		color = "blue"
		penwidth = "5"
	]
	node_17_1
	[
		label = "<f0> left|<f1> middle|<f2> right"
	]
	node_17_2
	[
		label = "<f0> one|<f1> two"
	]
	node_17_1:n -> node_17_2:s
	[
		arrowhead = "odiamond"
	]
}
