[A,2E2] ~(3A,/B,/A,/A, E>A,B,>A,|G,>A,B,>G D<G,B,>G,|[A,2E2] ~(3A,/B,/A,/A, E>A,B,>A,|G,>A,B,>G, (3A,B,A, G,>B,:|
[A,E]>ba>g e>de>f|g2 ~(3g/f/g/g d>gB>G|A>ba>g e>de>f|(3gfe d>B (3ABA ^G>B|
[AE]>ba>g e>^de>f|g2 ~(3g/f/g/g d>gf>g|(3agf g>e f>dA>F|(3GFE D>B, (3A,B,A, G,>B,||