U11ttV1V2U12isNatV1V2U12ttV2U13isNatV2U13ttttU21ttV1U22isNatV1U22ttttU31ttV1V2U32isNatV1V2U32ttV2U33isNatV2U33ttttU41ttNNU51ttMNsplusNMU61tt0U71ttMNplusxNMNandttXXisNat0ttisNatplusV1V2U11andisNatKindV1isNatKindV2V1V2isNatsV1U21isNatKindV1V1isNatxV1V2U31andisNatKindV1isNatKindV2V1V2isNatKind0ttisNatKindplusV1V2andisNatKindV1isNatKindV2isNatKindsV1isNatKindV1isNatKindxV1V2andisNatKindV1isNatKindV2plusN0U41andisNatNisNatKindNNplusNsMU51andandisNatMisNatKindMandisNatNisNatKindNMNxN0U61andisNatNisNatKindNxNsMU71andandisNatMisNatKindMandisNatNisNatKindNMNU1131tt0U1221isNat1U1311U2121U2211U3131U3221U3311U4121U5131s11plus212U611100U7131x212and21isNatKind1FULL./TRS/CSR_Maude/my-nat/MYNAT_complete.trs