digraph graph_17_01
{
	node
	[
		shape = "record"
	]
	edge
	[
		color = "blue"
		penwidth = 1
	]
	node_17_01_1
	[
		label = "<p11> left|<p12> middle|<p13> right"
	]
	node_17_01_2
	[
		label = "<p21> one|<p22> two"
	]
	node_17_01_1:p12:n -> node_17_01_2:p22
	[
		arrowtail = "empty"
		arrowhead = "halfopen"
		dir       = "both"
	]
	node_17_01_1:p13 -> node_17_01_2:p22:s
	[
		arrowtail = "invdot"
		arrowhead = "dot"
		color     = green
		dir       = "both"
	]
	node_17_01_1:p13:ne -> node_17_01_2:p21:s
	[
		arrowtail = "crow"
		arrowhead = "tee"
		color     = red
		dir       = "both"
	]
}