U11ttV1V2U12isNatKindV1V1V2U12ttV1V2U13isNatKindV2V1V2U13ttV1V2U14isNatKindV2V1V2U14ttV1V2U15isNatV1V2U15ttV2U16isNatV2U16ttttU21ttV1U22isNatKindV1V1U22ttV1U23isNatV1U23ttttU31ttV2U32isNatKindV2U32ttttU41ttttU51ttNU52isNatKindNNU52ttNNU61ttMNU62isNatKindMMNU62ttMNU63isNatNMNU63ttMNU64isNatKindNMNU64ttMNsplusNMisNat0ttisNatplusV1V2U11isNatKindV1V1V2isNatsV1U21isNatKindV1V1isNatKind0ttisNatKindplusV1V2U31isNatKindV1V2isNatKindsV1U41isNatKindV1plusN0U51isNatNNplusNsMU61isNatMMNU1131tt0U1231isNatKind1U1331U1431U1521isNat1U1611U2121U2221U2311U3121U3211U4111U5121U5221U6131U6231U6331U6431s11plus21200FULL./TRS/CSR_Maude/peanoSimple/MYNAT_complete-noand.trs