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