f |: A>A AB | de f2 | ed Bd | fe fa |! A>A AB | de f2 | ed BG | A2 A2 |! a>a ab | ag f2 | ed Bd | fe fa ab | ag f2 | ed BG | AB/c/ d/e/f/g/ ||! a>a ab | ag f2 | ed Bd | fe fA AB | de fg | a>f fe | d2 z2 |]