U101ttMNU102isNatKindMMNU102ttMNU103isNatNMNU103ttMNU104isNatKindNMNU104ttMNplusxNMNU11ttV1V2U12isNatKindV1V1V2U12ttV1V2U13isNatKindV2V1V2U13ttV1V2U14isNatKindV2V1V2U14ttV1V2U15isNatV1V2U15ttV2U16isNatV2U16ttttU21ttV1U22isNatKindV1V1U22ttV1U23isNatV1U23ttttU31ttV1V2U32isNatKindV1V1V2U32ttV1V2U33isNatKindV2V1V2U33ttV1V2U34isNatKindV2V1V2U34ttV1V2U35isNatV1V2U35ttV2U36isNatV2U36ttttU41ttV2U42isNatKindV2U42ttttU51ttttU61ttV2U62isNatKindV2U62ttttU71ttNU72isNatKindNNU72ttNNU81ttMNU82isNatKindMMNU82ttMNU83isNatNMNU83ttMNU84isNatKindNMNU84ttMNsplusNMU91ttNU92isNatKindNU92tt0isNat0ttisNatplusV1V2U11isNatKindV1V1V2isNatsV1U21isNatKindV1V1isNatxV1V2U31isNatKindV1V1V2isNatKind0ttisNatKindplusV1V2U41isNatKindV1V2isNatKindsV1U51isNatKindV1isNatKindxV1V2U61isNatKindV1V2plusN0U71isNatNNplusNsMU81isNatMMNxN0U91isNatNNxNsMU101isNatMMNU10131tt0U10231isNatKind1U10331isNat1U10431plus212x212U1131U1231U1331U1431U1521U1611U2121U2221U2311U3131U3231U3331U3431U3521U3611U4121U4211U5111U6121U6211U7121U7221U8131U8231U8331U8431s11U9121U921100FULL./TRS/CSR_Maude/my-nat/MYNAT_complete-noand.trs