f y f x y f f a y f a x f 2 a 0 FULL ./TRS/secret06/tpa02.trs