U11ttV2U12isNatV2U12ttttU21ttttU31ttNNU41ttMNU42isNatNMNU42ttMNsplusNMisNat0ttisNatplusV1V2U11isNatV1V2isNatsV1U21isNatV1plusN0U31isNatNNplusNsMU41isNatMMNU1121tt0U1211isNat1U2111U3121U4131U4231s11plus21200FULL./TRS/CSR_Maude/peanoSimple/MYNAT_nokinds-noand.trs