g 0 f x x x g x s y g f x y 0 g s x y g f x y 0 g f x y 0 f g x 0 g y 0 g 2 0 0 f 2 s 1 FULL ./TRS/various/23.trs