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