activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveU31ttmark0activeU41ttMNmarkplusxNMNactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeisNatxV1V2markandisNatV1isNatV2activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNactivexN0markU31isNatNactivexNsMmarkU41andisNatMisNatNMNactiveU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeU31XU31activeXactiveU41X1X2X3U41activeX1X2X3activexX1X2xactiveX1X2activexX1X2xX1activeX2activeandX1X2andactiveX1X2U11markX1X2markU11X1X2U21markX1X2X3markU21X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2U31markXmarkU31XU41markX1X2X3markU41X1X2X3xmarkX1X2markxX1X2xX1markX2markxX1X2andmarkX1X2markandX1X2properU11X1X2U11properX1properX2properttokttproperU21X1X2X3U21properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properU31XU31properXproper0ok0properU41X1X2X3U41properX1properX2properX3properxX1X2xproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXU11okX1okX2okU11X1X2U21okX1okX2okX3okU21X1X2X3sokXoksXplusokX1okX2okplusX1X2U31okXokU31XU41okX1okX2okX3okU41X1X2X3xokX1okX2okxX1X2andokX1okX2okandX1X2isNatokXokisNatXtopmarkXtopproperXtopokXtopactiveXactive1U112tt0mark1U213s1plus2U31100U413x2and2isNat1proper1ok1top1INNERMOST./TRS/TRCSR/inn/MYNAT_nokinds_C.trs