|: DFA d z c| cAG AGF| DF Ad z c| cde g z a|
DFA d z c| cAG AGF| G2 E FED| ED^C D2 z:|
|: d2 e fed | cAG A2 c | d2 e fed | cde g2 a |
agf gfe | fed cAF | G2 E FED | ED^C D2 z :|
|: ~f3 gfe | fed cAG | ~A3 GAG | FDF Ade |
~f3 gfe | fed cAG |1 Ad^c d2 e | f2 g a2 g :|2 A2 d cAG | ED^C D2 z ||
|: f2 g agf | e2 f gfe | d2 e fed | ^c2 A A2 g |
f2 d e2 ^c | d2 B c2 A | G2 E F2 D | ED^C D2 :|