a__U11ttNmarkNa__U21ttMNsa__plusmarkNmarkMa__U31tt0a__U41ttMNa__plusa__xmarkNmarkMmarkNa__andttXmarkXa__isNat0tta__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__isNatxV1V2a__anda__isNatV1isNatV2a__plusN0a__U11a__isNatNNa__plusNsMa__U21a__anda__isNatMisNatNMNa__xN0a__U31a__isNatNa__xNsMa__U41a__anda__isNatMisNatNMNmarkU11X1X2a__U11markX1X2markU21X1X2X3a__U21markX1X2X3markplusX1X2a__plusmarkX1markX2markU31Xa__U31markXmarkU41X1X2X3a__U41markX1X2X3markxX1X2a__xmarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U21X1X2X3U21X1X2X3a__plusX1X2plusX1X2a__U31XU31Xa__U41X1X2X3U41X1X2X3a__xX1X2xX1X2a__andX1X2andX1X2a__isNatXisNatXa__U112tt0mark1a__U213s1a__plus2a__U31100a__U413a__x2a__and2a__isNat1plus2isNat1x2U112U213U311U413and2INNERMOST./TRS/TRCSR/MYNAT_nokinds_GM.trs