a__U101ttMNa__U102a__isNatKindMMNa__U102ttMNa__U103a__isNatNMNa__U103ttMNa__U104a__isNatKindNMNa__U104ttMNa__plusa__xmarkNmarkMmarkNa__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__U16a__isNatV2a__U16tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttV1V2a__U32a__isNatKindV1V1V2a__U32ttV1V2a__U33a__isNatKindV2V1V2a__U33ttV1V2a__U34a__isNatKindV2V1V2a__U34ttV1V2a__U35a__isNatV1V2a__U35ttV2a__U36a__isNatV2a__U36tttta__U41ttV2a__U42a__isNatKindV2a__U42tttta__U51tttta__U61ttV2a__U62a__isNatKindV2a__U62tttta__U71ttNa__U72a__isNatKindNNa__U72ttNmarkNa__U81ttMNa__U82a__isNatKindMMNa__U82ttMNa__U83a__isNatNMNa__U83ttMNa__U84a__isNatKindNMNa__U84ttMNsa__plusmarkNmarkMa__U91ttNa__U92a__isNatKindNa__U92tt0a__isNat0tta__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatxV1V2a__U31a__isNatKindV1V1V2a__isNatKind0tta__isNatKindplusV1V2a__U41a__isNatKindV1V2a__isNatKindsV1a__U51a__isNatKindV1a__isNatKindxV1V2a__U61a__isNatKindV1V2a__plusN0a__U71a__isNatNNa__plusNsMa__U81a__isNatMMNa__xN0a__U91a__isNatNNa__xNsMa__U101a__isNatMMNmarkU101X1X2X3a__U101markX1X2X3markU102X1X2X3a__U102markX1X2X3markisNatKindXa__isNatKindXmarkU103X1X2X3a__U103markX1X2X3markisNatXa__isNatXmarkU104X1X2X3a__U104markX1X2X3markplusX1X2a__plusmarkX1markX2markxX1X2a__xmarkX1markX2markU11X1X2X3a__U11markX1X2X3markU12X1X2X3a__U12markX1X2X3markU13X1X2X3a__U13markX1X2X3markU14X1X2X3a__U14markX1X2X3markU15X1X2a__U15markX1X2markU16Xa__U16markXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2X3a__U31markX1X2X3markU32X1X2X3a__U32markX1X2X3markU33X1X2X3a__U33markX1X2X3markU34X1X2X3a__U34markX1X2X3markU35X1X2a__U35markX1X2markU36Xa__U36markXmarkU41X1X2a__U41markX1X2markU42Xa__U42markXmarkU51Xa__U51markXmarkU61X1X2a__U61markX1X2markU62Xa__U62markXmarkU71X1X2a__U71markX1X2markU72X1X2a__U72markX1X2markU81X1X2X3a__U81markX1X2X3markU82X1X2X3a__U82markX1X2X3markU83X1X2X3a__U83markX1X2X3markU84X1X2X3a__U84markX1X2X3markU91X1X2a__U91markX1X2markU92Xa__U92markXmarkttttmarksXsmarkXmark00a__U101X1X2X3U101X1X2X3a__U102X1X2X3U102X1X2X3a__isNatKindXisNatKindXa__U103X1X2X3U103X1X2X3a__isNatXisNatXa__U104X1X2X3U104X1X2X3a__plusX1X2plusX1X2a__xX1X2xX1X2a__U11X1X2X3U11X1X2X3a__U12X1X2X3U12X1X2X3a__U13X1X2X3U13X1X2X3a__U14X1X2X3U14X1X2X3a__U15X1X2U15X1X2a__U16XU16Xa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2X3U31X1X2X3a__U32X1X2X3U32X1X2X3a__U33X1X2X3U33X1X2X3a__U34X1X2X3U34X1X2X3a__U35X1X2U35X1X2a__U36XU36Xa__U41X1X2U41X1X2a__U42XU42Xa__U51XU51Xa__U61X1X2U61X1X2a__U62XU62Xa__U71X1X2U71X1X2a__U72X1X2U72X1X2a__U81X1X2X3U81X1X2X3a__U82X1X2X3U82X1X2X3a__U83X1X2X3U83X1X2X3a__U84X1X2X3U84X1X2X3a__U91X1X2U91X1X2a__U92XU92Xa__U1013tt0a__U1023a__isNatKind1a__U1033a__isNat1a__U1043a__plus2a__x2mark1a__U113a__U123a__U133a__U143a__U152a__U161a__U212a__U222a__U231a__U313a__U323a__U333a__U343a__U352a__U361a__U412a__U421a__U511a__U612a__U621a__U712a__U722a__U813a__U823a__U833a__U843s1a__U912a__U92100plus2x2U1013U1023isNatKind1U1033isNat1U1043U113U123U133U143U152U161U212U222U231U313U323U333U343U352U361U412U421U511U612U621U712U722U813U823U833U843U912U921INNERMOST./TRS/TRCSR/MYNAT_complete_noand_GM.trs