a__U11ttV1V2a__U12a__isNatKindV1V1V2a__U12ttV1V2a__U13a__isNatKindV2V1V2a__U13ttV1V2a__U14a__isNatKindV2V1V2a__U14ttV1V2a__U15a__isNatV1V2a__U15ttV2a__U16a__isNatV2a__U16tttta__U21ttV1a__U22a__isNatKindV1V1a__U22ttV1a__U23a__isNatV1a__U23tttta__U31ttV2a__U32a__isNatKindV2a__U32tttta__U41tttta__U51ttNa__U52a__isNatKindNNa__U52ttNmarkNa__U61ttMNa__U62a__isNatKindMMNa__U62ttMNa__U63a__isNatNMNa__U63ttMNa__U64a__isNatKindNMNa__U64ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatKindV1V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__U31a__isNatKindV1V2a__isNatKindsV1a__U41a__isNatKindV1a__plusN0a__U51a__isNatNNa__plusNsMa__U61a__isNatMMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2X3a__U12markX1X2X3markisNatKindXa__isNatKindXmarkU13X1X2X3a__U13markX1X2X3markU14X1X2X3a__U14markX1X2X3markU15X1X2a__U15markX1X2markisNatXa__isNatXmarkU16Xa__U16markXmarkU21X1X2a__U21markX1X2markU22X1X2a__U22markX1X2markU23Xa__U23markXmarkU31X1X2a__U31markX1X2markU32Xa__U32markXmarkU41Xa__U41markXmarkU51X1X2a__U51markX1X2markU52X1X2a__U52markX1X2markU61X1X2X3a__U61markX1X2X3markU62X1X2X3a__U62markX1X2X3markU63X1X2X3a__U63markX1X2X3markU64X1X2X3a__U64markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2X3U12X1X2X3a__isNatKindXisNatKindXa__U13X1X2X3U13X1X2X3a__U14X1X2X3U14X1X2X3a__U15X1X2U15X1X2a__isNatXisNatXa__U16XU16Xa__U21X1X2U21X1X2a__U22X1X2U22X1X2a__U23XU23Xa__U31X1X2U31X1X2a__U32XU32Xa__U41XU41Xa__U51X1X2U51X1X2a__U52X1X2U52X1X2a__U61X1X2X3U61X1X2X3a__U62X1X2X3U62X1X2X3a__U63X1X2X3U63X1X2X3a__U64X1X2X3U64X1X2X3a__plusX1X2plusX1X2a__U113tt0a__U123a__isNatKind1a__U133a__U143a__U152a__isNat1a__U161a__U212a__U222a__U231a__U312a__U321a__U411a__U512a__U522mark1a__U613a__U623a__U633a__U643s1a__plus200plus2U113U123isNatKind1U133U143U152isNat1U161U212U222U231U312U321U411U512U522U613U623U633U643FULL./TRS/TRCSR/PEANO_complete_noand_GM.trs