U11 tt V1 V2 U12 isNatKind V1 V1 V2 U12 tt V1 V2 U13 isNatKind V2 V1 V2 U13 tt V1 V2 U14 isNatKind V2 V1 V2 U14 tt V1 V2 U15 isNat V1 V2 U15 tt V2 U16 isNat V2 U16 tt tt U21 tt V1 U22 isNatKind V1 V1 U22 tt V1 U23 isNat V1 U23 tt tt U31 tt V2 U32 isNatKind V2 U32 tt tt U41 tt tt U51 tt N U52 isNatKind N N U52 tt N N U61 tt M N U62 isNatKind M M N U62 tt M N U63 isNat N M N U63 tt M N U64 isNatKind N M N U64 tt M N s plus N M isNat 0 tt isNat plus V1 V2 U11 isNatKind V1 V1 V2 isNat s V1 U21 isNatKind V1 V1 isNatKind 0 tt isNatKind plus V1 V2 U31 isNatKind V1 V2 isNatKind s V1 U41 isNatKind V1 plus N 0 U51 isNat N N plus N s M U61 isNat M M N U11 3 1 tt 0 U12 3 1 isNatKind 1 U13 3 1 U14 3 1 U15 2 1 isNat 1 U16 1 1 U21 2 1 U22 2 1 U23 1 1 U31 2 1 U32 1 1 U41 1 1 U51 2 1 U52 2 1 U61 3 1 U62 3 1 U63 3 1 U64 3 1 s 1 1 plus 2 1 2 0 0 FULL ./TRS/CSR_Maude/peanoSimple/MYNAT_complete-noand.trs