digraph graph_15
{
	node
	[
		shape = "record"
	]
	edge
	[
		color = "red"
		penwidth = "5"
	]
	node_15_1
	[
		label = "<f0> left|<f1> middle|<f2> right"
	]
	node_15_2
	[
		label = "<f0> one|<f1> two"
	]
	node_15_1:f0 -> node_15_2:f1
	[
		arrowhead = "obox"
	]
}
