U11ttV2U12isNatV2U12ttttU21ttttU31ttV2U32isNatV2U32ttttU41ttNNU51ttMNU52isNatNMNU52ttMNsplusNMU61tt0U71ttMNU72isNatNMNU72ttMNplusxNMNisNat0ttisNatplusV1V2U11isNatV1V2isNatsV1U21isNatV1isNatxV1V2U31isNatV1V2plusN0U41isNatNNplusNsMU51isNatMMNxN0U61isNatNxNsMU71isNatMMNU1121tt0U1211isNat1U2111U3121U3211U4121U5131U5231s11plus212U611100U7131U7231x212FULL./TRS/CSR_Maude/my-nat/MYNAT_nokinds-noand.trs