a__U11ttV1V2a__U12a__isNatV1V2a__U12ttV2a__U13a__isNatV2a__U13tttta__U21ttV1a__U22a__isNatV1a__U22tttta__U31ttNmarkNa__U41ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__U11a__anda__isNatKindV1isNatKindV2V1V2a__isNatsV1a__U21a__isNatKindV1V1a__isNatKind0tta__isNatKindplusV1V2a__anda__isNatKindV1isNatKindV2a__isNatKindsV1a__isNatKindV1a__plusN0a__U31a__anda__isNatNisNatKindNNa__plusNsMa__U41a__anda__anda__isNatMisNatKindMandisNatNisNatKindNMNmarkU11X1X2X3a__U11markX1X2X3markU12X1X2a__U12markX1X2markisNatXa__isNatXmarkU13Xa__U13markXmarkU21X1X2a__U21markX1X2markU22Xa__U22markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatKindXa__isNatKindXmarkttttmarksXsmarkXmark00a__U11X1X2X3U11X1X2X3a__U12X1X2U12X1X2a__isNatXisNatXa__U13XU13Xa__U21X1X2U21X1X2a__U22XU22Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatKindXisNatKindXa__U113tt0a__U122a__isNat1a__U131a__U212a__U221a__U312mark1a__U413s1a__plus2a__and200plus2a__isNatKind1isNatKind1and2isNat1U113U122U131U212U221U312U413INNERMOST./TRS/TRCSR/PEANO_complete_GM.trs