f c a z x b a z b x b z y f b f f z c x z y b y z z f 1 c 3 a 0 b 2 FULL ./TRS/secret06/matchbox/gen-1.trs