8 q44 [label="q4" shape=doublecircle];
11 n4 -> q40[label="SG4"];
12 q40 -> q41[label="a"];
13 q41 -> q42[label="b"];
14 q42 -> q43[label="c"];
15 q43 -> q44[label="d"];
16 q41 -> q45[label="e"];
17 q45 -> q46[label="c"];
18 q46 -> q44[label="d"];
19 q46 -> q44[label="f"];
26 q34 [label="q4" shape=doublecircle];
28 n3 -> q30[label="SG3"];
29 q30 -> q31[label="a"];
30 q31 -> q32[label="b"];
31 q32 -> q33[label="c"];
32 q33 -> q34[label="d"];
33 q33 -> q34[label="f" constraint=false];
34 q31 -> q35[label="e"];
35 q35 -> q33[label="c"];
42 q24 [label="q4" shape=doublecircle];
44 n2 -> q20[label="SG2"];
45 q20 -> q21[label="a"];
46 q21 -> q22[label="b"];
47 q22 -> q23[label="c"];
48 q23 -> q24[label="d"];
49 q21 -> q25[label="e"];
50 q25 -> q23[label="c"];
57 q14 [label="q4" shape=doublecircle];
58 n1 -> q10[label="SG1"];
59 q10 -> q11[label="a"];
60 q11 -> q12[label="b"];
61 q12 -> q13[label="c"];
62 q13 -> q14[label="d"];