digraph graph_35
{
	node_35_1
	[
		color = "red"
		fontcolor = "green"
		label = <<table><tr><td>html-style label for node_35_1</td></tr></table>>
	]
	node_35_2
	[
		color = "green"
		fontcolor = "red"
		label = <<table><tr><td>html-style label for node_35_2</td></tr></table>>
	]
	node_35_1 -> node_35_2
	[
		arrowhead = "crow"
		arrowtail = "diamond"
		color = "blue"
		dir = "both"
	]
}