P:A
|: A>B A/2B/2 | A B c | d>e d/2e/2 | d e f |
g f e | f e d | c>B c/2d/2 | e c A |
B c d | A F A | A F A | d>f e/2^g/2 | f2 f/2g/2 |
a f d | e f e | d>d d |1 d3 :|2 d e f |
P:B
|: g>g g | g a b | f>f f | f g a |
e>f e/2f/2 | e d e | f e d | B c d |
A>B A/2B/2 | A F A | A F A | d>f e/2^g/2 | f2 f/2g/2 |
a f d | e f e | d>d d |1 d e f :|2 d z2 |]