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 b f b b f g f h a a a f h a a f h a b f 2 AC g 1 h 1 a 0 b 0 FULL ./TRS/AProVE_AC/AC11.trs