c c c a x y b c c c c y x c c b c y 0 a 0 c c a y 0 c c a a y 0 x c y c 1 a 2 b 2 0 0 FULL ./TRS/secret06/jambox/7.trs