f f x f g f x x f f x f h f x f x g x y y h x x g x 0 f 1 g 2 h 2 0 0 FULL ./TRS/various/26.trs