a l x1 l a x1 r a x1 a r x1 b l x1 b a r x1 r b x1 l b x1 a 1 l 1 r 1 b 1 FULL ./SRS/Zantema/z073.srs