/* Generated by re2c */

digraph re2c {


1 -> 2 [label="a"]
1 -> 4 [label="e"]
1 -> 5 [label=default]
2 -> 10 [label="b"]
2 -> 3 [label=default]
3 [label="dot.D.re:8"];
4 -> 6 [label="f"]
4 -> 3 [label=default]
5 -> 3
6 -> 8 [label="g"]
6 -> 7 [label=default]
7 -> 3
8 -> 9
9 [label="dot.D.re:7"];
10 -> 11 [label="c"]
10 -> 7 [label=default]
11 -> 12
12 [label="dot.D.re:6"];
}
