STRICT DiGraph graph_10_01
{
node_10_01_1 [fillcolor = red, style = filled]
node_10_01_2 [fillcolor = green, style = filled]
node_10_01_1 -> node_10_01_2 [arrowtail = dot, arrowhead = odot]
}
STRICT DiGraph graph_10_01
{
node_10_01_1 [fillcolor = red, style = filled]
node_10_01_2 [fillcolor = green, style = filled]
node_10_01_1 -> node_10_01_2 [arrowtail = dot, arrowhead = odot]
}