U11ttV1V2U12isNatV1V2U12ttV2U13isNatV2U13ttttU21ttV1U22isNatV1U22ttttU31ttNNU41ttMNsplusNMandttXXisNat0ttisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2isNatsV1U21isNatKindV1V1isNatKind0ttisNatKindplusV1V2andisNatKindV1isNatKindV2isNatKindsV1isNatKindV1plusN0U31andisNatNisNatKindNNplusNsMU41andandisNatMisNatKindMandisNatNisNatKindNMNU1131tt0U1221isNat1U1311U2121U2211U3121U4131s11plus212and2100isNatKind1FULL./TRS/CSR_Maude/peanoSimple/MYNAT_complete.trs