i x x i a b g x x g a b h s f x h f x f s x s s f h s x f g s x y f g x s y h g x s y h g s x y h i x y i i c h h y x g a g x g b g a g x y g a g a g a g x g b g b y i 2 a 0 b 0 g 2 h 1 s 1 f 1 c 0 FULL ./TRS/secret07/TTT2/3.trs