activeU11ttMNmarkU12ttMNactiveU12ttMNmarksplusNMactiveplusN0markNactiveplusNsMmarkU11ttMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2X3U12activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2U11markX1X2X3markU11X1X2X3U12markX1X2X3markU12X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2X3U12properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2proper0ok0U11okX1okX2okX3okU11X1X2X3U12okX1okX2okX3okU12X1X2X3sokXoksXplusokX1okX2okplusX1X2topmarkXtopproperXtopokXtopactiveXactive1U113tt0mark1U123s1plus200proper1ok1top1INNERMOST./TRS/TRCSR/inn/PEANO_nosorts_noand_C.trs