a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttV1V2a__U32a__isNatV1V2a__U32ttV2a__U33a__isNatV2a__U33tttta__U41ttNmarkNa__U51ttMNsa__plusmarkNmarkMa__U61tt0a__U71ttMNa__plusa__xmarkNmarkMmarkNa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatxV1V2a__U31a__anda__isNatKindV1isNatKindV2V1V2a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__isNatKindxV1V2a__anda__isNatKindV1isNatKindV2a__plusN0a__U41a__anda__isNatNisNatKindNNa__plusNsMa__U51a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNa__xN0a__U61a__anda__isNatNisNatKindNa__xNsMa__U71a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2X3a__U31markX1X2X3markU32X1X2a__U32markX1X2markU33Xa__U33markXmarkU41X1X2a__U41markX1X2markU51X1X2X3a__U51markX1X2X3markplusX1X2a__plusmarkX1markX2markU61Xa__U61markXmarkU71X1X2X3a__U71markX1X2X3markxX1X2a__xmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2X3U31X1X2X3a__U32X1X2U32X1X2a__U33XU33Xa__U41X1X2U41X1X2a__U51X1X2X3U51X1X2X3a__plusX1X2plusX1X2a__U61XU61Xa__U71X1X2X3U71X1X2X3a__xX1X2xX1X2a__andX1X2andX1X2a__isNatKindXisNatKindXa__U113tt0a__U122a__isNat1a__U131a__U212a__U221a__U313a__U322a__U331a__U412mark1a__U513s1a__plus2a__U61100a__U713a__x2a__and2plus2a__isNatKind1isNatKind1x2and2isNat1U113U122U131U212U221U313U322U331U412U513U611U713FULL./TRS/TRCSR/MYNAT_complete_GM.trs