c b a a x1 a a b a a b c b a c x1 c 1 b 1 a 1 FULL ./SRS/Zantema/z043.srs