b b a b b a b b b b x1 b b b b b a b b a b b a b x1 b 1 a 1 FULL ./SRS/Trafo/un10.srs