digraph graph_31
{
node_31_1
[
color = red
fontcolor = green
label = <<table border='0'><tr><td>html-style label with literal <br /> and no table border</td></tr></table>>
]
}
digraph graph_31
{
node_31_1
[
color = red
fontcolor = green
label = <<table border='0'><tr><td>html-style label with literal <br /> and no table border</td></tr></table>>
]
}