topB i N1 y topA 1 T1 y topA i x N2 topB 0 x T2 topB i S1 y topA i N1 y topA i x S2 topB i x N2 topA i N1 T2 topB i N1 S2 topA 1 T1 T2 topB 1 T1 S2 topA i N1 y topA 1 T1 y topB i x N2 topB 0 x T2 topA i S1 y topA i N1 y topB i x S2 topB i x N2 topB i N1 T2 topB i N1 S2 topB 1 T1 T2 topB 1 T1 S2 topA 3 T1 0 topB 3 S1 0 N1 0 1 0 0 0 N2 0 S2 0 T2 0 FULL ./TRS/relative/rtL-me2.trs