U11 tt V2 U12 isNat V2 U12 tt tt U21 tt tt U31 tt V2 U32 isNat V2 U32 tt tt U41 tt N N U51 tt M N U52 isNat N M N U52 tt M N s plus N M U61 tt 0 U71 tt M N U72 isNat N M N U72 tt M N plus x N M N isNat 0 tt isNat plus V1 V2 U11 isNat V1 V2 isNat s V1 U21 isNat V1 isNat x V1 V2 U31 isNat V1 V2 plus N 0 U41 isNat N N plus N s M U51 isNat M M N x N 0 U61 isNat N x N s M U71 isNat M M N U11 2 1 tt 0 U12 1 1 isNat 1 U21 1 1 U31 2 1 U32 1 1 U41 2 1 U51 3 1 U52 3 1 s 1 1 plus 2 1 2 U61 1 1 0 0 U71 3 1 U72 3 1 x 2 1 2 FULL ./TRS/CSR_Maude/my-nat/MYNAT_nokinds-noand.trs