3
1 -> 2 [label="annotation"]
5
1 -> 3 [label="element"]
7
2 -> 3 [label="element"]
9
3 -> 3 [label="element"]
10
1 [shape=doublecircle, style=filled, color=blue]
11
2 [shape=doublecircle, style=filled, color=green]
12
3 [shape=doublecircle, style=filled, color=green]