activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNactiveU11X1X2U11activeX1X2activeU12XU12activeXactiveU21XU21activeXactiveU31X1X2U31activeX1X2activeU41X1X2X3U41activeX1X2X3activeU42X1X2X3U42activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2U11markX1X2markU11X1X2U12markXmarkU12XU21markXmarkU21XU31markX1X2markU31X1X2U41markX1X2X3markU41X1X2X3U42markX1X2X3markU42X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2properU11X1X2U11properX1properX2properttokttproperU12XU12properXproperisNatXisNatproperXproperU21XU21properXproperU31X1X2U31properX1properX2properU41X1X2X3U41properX1properX2properX3properU42X1X2X3U42properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2proper0ok0U11okX1okX2okU11X1X2U12okXokU12XisNatokXokisNatXU21okXokU21XU31okX1okX2okU31X1X2U41okX1okX2okX3okU41X1X2X3U42okX1okX2okX3okU42X1X2X3sokXoksXplusokX1okX2okplusX1X2topmarkXtopproperXtopokXtopactiveXactive1U112tt0mark1U121isNat1U211U312U413U423s1plus200proper1ok1top1FULL./TRS/TRCSR/PEANO_nokinds_noand_C.trs