activeU11ttNmarkNactiveU21ttMNmarksplusNMactiveandttXmarkXactiveisNat0markttactiveisNatplusV1V2markandisNatV1isNatV2activeisNatsV1markisNatV1activeplusN0markU11isNatNNactiveplusNsMmarkU21andisNatMisNatNMNactiveU11X1X2U11activeX1X2activeU21X1X2X3U21activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2activeandX1X2andactiveX1X2U11markX1X2markU11X1X2U21markX1X2X3markU21X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2andmarkX1X2markandX1X2properU11X1X2U11properX1properX2properttokttproperU21X1X2X3U21properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2properandX1X2andproperX1properX2properisNatXisNatproperXproper0ok0U11okX1okX2okU11X1X2U21okX1okX2okX3okU21X1X2X3sokXoksXplusokX1okX2okplusX1X2andokX1okX2okandX1X2isNatokXokisNatXtopmarkXtopproperXtopokXtopactiveXactive1U112tt0mark1U213s1plus2and2isNat100proper1ok1top1INNERMOST./TRS/TRCSR/inn/PEANO_nokinds_C.trs