U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttV1V2U32isNatactivateV1activateV2U32ttV2U33isNatactivateV2U33ttttU41ttNactivateNU51ttMNsplusactivateNactivateMU61tt0U71ttMNplusxactivateNactivateMactivateNandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatn__xV1V2U31andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1isNatKindn__xV1V2andisNatKindactivateV1n__isNatKindactivateV2plusN0U41andisNatNn__isNatKindNNplusNsMU51andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNxN0U61andisNatNn__isNatKindNxNsMU71andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXxX1X2n__xX1X2andX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__xX1X2xactivateX1activateX2activaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXU113tt0U122isNat1activate1U131U212U221U313U322U331U412U513s1plus2U61100U713x2and2n__00n__plus2isNatKind1n__isNatKind1n__s1n__x2n__and2n__isNat1FULL./TRS/TRCSR/MYNAT_complete_FR.trs