U11 tt M N U12 tt M N U12 tt M N s plus N M U21 tt M N U22 tt M N U22 tt M N plus x N M N plus N 0 N plus N s M U11 tt M N x N 0 0 x N s M U21 tt M N U11 3 1 tt 0 U12 3 1 s 1 1 plus 2 1 2 U21 3 1 U22 3 1 x 2 1 2 0 0 FULL ./TRS/CSR_Maude/my-nat/MYNAT_nosorts-noand.trs