f x y h x y f x y h y x h x x x f 2 h 2 FULL ./TRS/various/07.trs