f t x y f g x y x s y g s x 0 t g s x s y g x y f 3 t 0 g 2 s 1 0 0 FULL ./TRS/Zantema06/while.trs