f g f h a a a f h a f a a f h a g a f g h a a f g h a f f a a a f g f h a a a f h a a f h a b f i x y f a y f g i x y y f 2 AC g 1 h 1 a 0 b 0 i 2 FULL ./TRS/AProVE_AC/AC19.trs