|: A | d^cd A2 G| FEF DFA | def e2 d | ^cdB A=Bc |
d^cd A2 G | FEF DFA | def ed^c |1 d2 f d2 :|2 d2 f d2 e||
f2 a a2 f | e2 a a2 e| def e2 d | ^cdB A2 e |
f2 a a2 f | e2 a a2 e| fed efg | a2 fd2 e |
f2 a a2 f | e2 a a2 e | def e2 d | ^cdB A=Bc |
d^cd A2 G | FEF DFA | def ed^c | d2 f d2 ||