g x y x g x y y f 0 1 x f s x x x f x y s z s f 0 1 z g 2 f 3 0 0 1 0 s 1 FULL ./TRS/AG01/#3.53b.trs