digraph graph_37 { node_37 [ color = "red" fontcolor = "green" ] }