digraph RGL__DirectedAdjacencyGraph { label = "RGL__DirectedAdjacencyGraph" "5" [ fontsize = 8, label = "5" ] "6" [ fontsize = 8, label = "6" ] "1" [ fontsize = 8, label = "1" ] "2" [ fontsize = 8, label = "2" ] "3" [ fontsize = 8, label = "3" ] "4" [ fontsize = 8, label = "4" ] "6" -> "4" [ fontsize = 8 ] "1" -> "6" [ fontsize = 8 ] "1" -> "2" [ fontsize = 8 ] "2" -> "3" [ fontsize = 8 ] "4" -> "5" [ fontsize = 8 ] }