f a f a f b f x y f b f c f b f a f a f a f x y f a f c f x y f b f x y f 2 a 0 b 0 c 0 FULL ./TRS/secret07/TTT2/7.trs