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