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