f s a s b x f x x x g f s x s y z g f x y z cons x y x cons x y y f 3 s 1 a 0 b 0 g 1 cons 2 FULL ./TRS/secret05/ttt1.trs