activeU11ttV1V2markU12isNatKindV1V1V2activeU12ttV1V2markU13isNatKindV2V1V2activeU13ttV1V2markU14isNatKindV2V1V2activeU14ttV1V2markU15isNatV1V2activeU15ttV2markU16isNatV2activeU16ttmarkttactiveU21ttV1markU22isNatKindV1V1activeU22ttV1markU23isNatV1activeU23ttmarkttactiveU31ttV2markU32isNatKindV2activeU32ttmarkttactiveU41ttmarkttactiveU51ttNmarkU52isNatKindNNactiveU52ttNmarkNactiveU61ttMNmarkU62isNatKindMMNactiveU62ttMNmarkU63isNatNMNactiveU63ttMNmarkU64isNatKindNMNactiveU64ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1activeisNatKind0markttactiveisNatKindplusV1V2markU31isNatKindV1V2activeisNatKindsV1markU41isNatKindV1activeplusN0markU51isNatNNactiveplusNsMmarkU61isNatMMNactiveU11X1X2X3U11activeX1X2X3activeU12X1X2X3U12activeX1X2X3activeU13X1X2X3U13activeX1X2X3activeU14X1X2X3U14activeX1X2X3activeU15X1X2U15activeX1X2activeU16XU16activeXactiveU21X1X2U21activeX1X2activeU22X1X2U22activeX1X2activeU23XU23activeXactiveU31X1X2U31activeX1X2activeU32XU32activeXactiveU41XU41activeXactiveU51X1X2U51activeX1X2activeU52X1X2U52activeX1X2activeU61X1X2X3U61activeX1X2X3activeU62X1X2X3U62activeX1X2X3activeU63X1X2X3U63activeX1X2X3activeU64X1X2X3U64activeX1X2X3activesXsactiveXactiveplusX1X2plusactiveX1X2activeplusX1X2plusX1activeX2U11markX1X2X3markU11X1X2X3U12markX1X2X3markU12X1X2X3U13markX1X2X3markU13X1X2X3U14markX1X2X3markU14X1X2X3U15markX1X2markU15X1X2U16markXmarkU16XU21markX1X2markU21X1X2U22markX1X2markU22X1X2U23markXmarkU23XU31markX1X2markU31X1X2U32markXmarkU32XU41markXmarkU41XU51markX1X2markU51X1X2U52markX1X2markU52X1X2U61markX1X2X3markU61X1X2X3U62markX1X2X3markU62X1X2X3U63markX1X2X3markU63X1X2X3U64markX1X2X3markU64X1X2X3smarkXmarksXplusmarkX1X2markplusX1X2plusX1markX2markplusX1X2properU11X1X2X3U11properX1properX2properX3properttokttproperU12X1X2X3U12properX1properX2properX3properisNatKindXisNatKindproperXproperU13X1X2X3U13properX1properX2properX3properU14X1X2X3U14properX1properX2properX3properU15X1X2U15properX1properX2properisNatXisNatproperXproperU16XU16properXproperU21X1X2U21properX1properX2properU22X1X2U22properX1properX2properU23XU23properXproperU31X1X2U31properX1properX2properU32XU32properXproperU41XU41properXproperU51X1X2U51properX1properX2properU52X1X2U52properX1properX2properU61X1X2X3U61properX1properX2properX3properU62X1X2X3U62properX1properX2properX3properU63X1X2X3U63properX1properX2properX3properU64X1X2X3U64properX1properX2properX3propersXsproperXproperplusX1X2plusproperX1properX2proper0ok0U11okX1okX2okX3okU11X1X2X3U12okX1okX2okX3okU12X1X2X3isNatKindokXokisNatKindXU13okX1okX2okX3okU13X1X2X3U14okX1okX2okX3okU14X1X2X3U15okX1okX2okU15X1X2isNatokXokisNatXU16okXokU16XU21okX1okX2okU21X1X2U22okX1okX2okU22X1X2U23okXokU23XU31okX1okX2okU31X1X2U32okXokU32XU41okXokU41XU51okX1okX2okU51X1X2U52okX1okX2okU52X1X2U61okX1okX2okX3okU61X1X2X3U62okX1okX2okX3okU62X1X2X3U63okX1okX2okX3okU63X1X2X3U64okX1okX2okX3okU64X1X2X3sokXoksXplusokX1okX2okplusX1X2topmarkXtopproperXtopokXtopactiveXactive1U113tt0mark1U123isNatKind1U133U143U152isNat1U161U212U222U231U312U321U411U512U522U613U623U633U643s1plus200proper1ok1top1FULL./TRS/TRCSR/PEANO_complete_noand_C.trs