digraph graph_19
{
size = "6,6"
node [shape = square]
edge [color = red]
node_19_1 -> node_19_2
subgraph subgraph_19_3
{
node [shape = star]
edge [color = green]
node_19_4 -> node_19_5
subgraph subgraph_19_6
{
node [shape = circle]
edge [color = blue]
node_19_7 -> node_19_8
}
node_19_9 -> node_19_10
}
node_19_11 -> node_19_12
}