YES activeU11ttV1V2markU12isNatKindV1V1V2activeU12ttV1V2markU13isNatKindV2V1V2activeU13ttV1V2markU14isNatKindV2V1V2activeU14ttV1V2markU15isNatV1V2activeU15ttV2markU16isNatV2activeU16ttmarkttactiveU21ttV1markU22isNatKindV1V1activeU22ttV1markU23isNatV1activeU23ttmarkttactiveU31ttV2markU32isNatKindV2activeU32ttmarkttactiveU41ttmarkttactiveU51ttNmarkU52isNatKindNNactiveU52ttNmarkNactiveU61ttMNmarkU62isNatKindMMNactiveU62ttMNmarkU63isNatNMNactiveU63ttMNmarkU64isNatKindNMNactiveU64ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1activeisNatKind0markttactiveisNatKindplusV1V2markU31isNatKindV1V2activeisNatKindsV1markU41isNatKindV1activeplusN0markU51isNatNNactiveplusNsMmarkU61isNatMMNmarkU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3markisNatKindXactiveisNatKindXmarkU13X1X2X3activeU13markX1X2X3markU14X1X2X3activeU14markX1X2X3markU15X1X2activeU15markX1X2markisNatXactiveisNatXmarkU16XactiveU16markXmarkU21X1X2activeU21markX1X2markU22X1X2activeU22markX1X2markU23XactiveU23markXmarkU31X1X2activeU31markX1X2markU32XactiveU32markXmarkU41XactiveU41markXmarkU51X1X2activeU51markX1X2markU52X1X2activeU52markX1X2markU61X1X2X3activeU61markX1X2X3markU62X1X2X3activeU62markX1X2X3markU63X1X2X3activeU63markX1X2X3markU64X1X2X3activeU64markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3isNatKindmarkXisNatKindXisNatKindactiveXisNatKindXU13markX1X2X3U13X1X2X3U13X1markX2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14markX1X2X3U14X1X2X3U14X1markX2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15markX1X2U15X1X2U15X1markX2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2isNatmarkXisNatXisNatactiveXisNatXU16markXU16XU16activeXU16XU21markX1X2U21X1X2U21X1markX2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U22markX1X2U22X1X2U22X1markX2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U23markXU23XU23activeXU23XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U32markXU32XU32activeXU32XU41markXU41XU41activeXU41XU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markX1X2U52X1X2U52X1markX2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2X3U62X1X2X3U62X1markX2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63markX1X2X3U63X1X2X3U63X1markX2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64markX1X2X3U64X1X2X3U64X1markX2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X22.1activeU11ttV1V2markU12isNatKindV1V1V2activeU11ttV1V2U12isNatKindV1V1V2activeU11ttV1V2isNatKindV1activeU12ttV1V2markU13isNatKindV2V1V2activeU12ttV1V2U13isNatKindV2V1V2activeU12ttV1V2isNatKindV2activeU13ttV1V2markU14isNatKindV2V1V2activeU13ttV1V2U14isNatKindV2V1V2activeU13ttV1V2isNatKindV2activeU14ttV1V2markU15isNatV1V2activeU14ttV1V2U15isNatV1V2activeU14ttV1V2isNatV1activeU15ttV2markU16isNatV2activeU15ttV2U16isNatV2activeU15ttV2isNatV2activeU16ttmarkttactiveU21ttV1markU22isNatKindV1V1activeU21ttV1U22isNatKindV1V1activeU21ttV1isNatKindV1activeU22ttV1markU23isNatV1activeU22ttV1U23isNatV1activeU22ttV1isNatV1activeU23ttmarkttactiveU31ttV2markU32isNatKindV2activeU31ttV2U32isNatKindV2activeU31ttV2isNatKindV2activeU32ttmarkttactiveU41ttmarkttactiveU51ttNmarkU52isNatKindNNactiveU51ttNU52isNatKindNNactiveU51ttNisNatKindNactiveU52ttNmarkNactiveU61ttMNmarkU62isNatKindMMNactiveU61ttMNU62isNatKindMMNactiveU61ttMNisNatKindMactiveU62ttMNmarkU63isNatNMNactiveU62ttMNU63isNatNMNactiveU62ttMNisNatNactiveU63ttMNmarkU64isNatKindNMNactiveU63ttMNU64isNatKindNMNactiveU63ttMNisNatKindNactiveU64ttMNmarksplusNMactiveU64ttMNsplusNMactiveU64ttMNplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatplusV1V2U11isNatKindV1V1V2activeisNatplusV1V2isNatKindV1activeisNatsV1markU21isNatKindV1V1activeisNatsV1U21isNatKindV1V1activeisNatsV1isNatKindV1activeisNatKind0markttactiveisNatKindplusV1V2markU31isNatKindV1V2activeisNatKindplusV1V2U31isNatKindV1V2activeisNatKindplusV1V2isNatKindV1activeisNatKindsV1markU41isNatKindV1activeisNatKindsV1U41isNatKindV1activeisNatKindsV1isNatKindV1activeplusN0markU51isNatNNactiveplusN0U51isNatNNactiveplusN0isNatNactiveplusNsMmarkU61isNatMMNactiveplusNsMU61isNatMMNactiveplusNsMisNatMmarkU11X1X2X3activeU11markX1X2X3markU11X1X2X3U11markX1X2X3markU11X1X2X3markX1markttactivettmarkU12X1X2X3activeU12markX1X2X3markU12X1X2X3U12markX1X2X3markU12X1X2X3markX1markisNatKindXactiveisNatKindXmarkU13X1X2X3activeU13markX1X2X3markU13X1X2X3U13markX1X2X3markU13X1X2X3markX1markU14X1X2X3activeU14markX1X2X3markU14X1X2X3U14markX1X2X3markU14X1X2X3markX1markU15X1X2activeU15markX1X2markU15X1X2U15markX1X2markU15X1X2markX1markisNatXactiveisNatXmarkU16XactiveU16markXmarkU16XU16markXmarkU16XmarkXmarkU21X1X2activeU21markX1X2markU21X1X2U21markX1X2markU21X1X2markX1markU22X1X2activeU22markX1X2markU22X1X2U22markX1X2markU22X1X2markX1markU23XactiveU23markXmarkU23XU23markXmarkU23XmarkXmarkU31X1X2activeU31markX1X2markU31X1X2U31markX1X2markU31X1X2markX1markU32XactiveU32markXmarkU32XU32markXmarkU32XmarkXmarkU41XactiveU41markXmarkU41XU41markXmarkU41XmarkXmarkU51X1X2activeU51markX1X2markU51X1X2U51markX1X2markU51X1X2markX1markU52X1X2activeU52markX1X2markU52X1X2U52markX1X2markU52X1X2markX1markU61X1X2X3activeU61markX1X2X3markU61X1X2X3U61markX1X2X3markU61X1X2X3markX1markU62X1X2X3activeU62markX1X2X3markU62X1X2X3U62markX1X2X3markU62X1X2X3markX1markU63X1X2X3activeU63markX1X2X3markU63X1X2X3U63markX1X2X3markU63X1X2X3markX1markU64X1X2X3activeU64markX1X2X3markU64X1X2X3U64markX1X2X3markU64X1X2X3markX1marksXactivesmarkXmarksXsmarkXmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3isNatKindmarkXisNatKindXisNatKindactiveXisNatKindXU13markX1X2X3U13X1X2X3U13X1markX2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14markX1X2X3U14X1X2X3U14X1markX2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15markX1X2U15X1X2U15X1markX2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2isNatmarkXisNatXisNatactiveXisNatXU16markXU16XU16activeXU16XU21markX1X2U21X1X2U21X1markX2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U22markX1X2U22X1X2U22X1markX2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U23markXU23XU23activeXU23XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U32markXU32XU32activeXU32XU41markXU41XU41activeXU41XU51markX1X2U51X1X2U51X1markX2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U52markX1X2U52X1X2U52X1markX2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U61markX1X2X3U61X1X2X3U61X1markX2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62markX1X2X3U62X1X2X3U62X1markX2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63markX1X2X3U63X1X2X3U63X1markX2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64markX1X2X3U64X1X2X3U64X1markX2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2truemarkU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XactiveU16markXactiveU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XactiveU23markXactiveU31ttV2markU32isNatKindV2markU32XactiveU32markXactiveU51ttNmarkU52isNatKindNNmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMmarksXactivesmarkXactiveplusN0markU51isNatNNmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XactiveU41markXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU62X1X2X3markX1markU63X1X2X3markX1markU64X1X2X3markX1marksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1truemarkU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XactiveU16markXactiveU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XactiveU23markXactiveU31ttV2markU32isNatKindV2markU32XactiveU32markXactiveU51ttNmarkU52isNatKindNNmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3activeU11markX1X2X3activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMmarksXactivesmarkXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeisNatKindsV1markU41isNatKindV1markU41XactiveU41markXactiveplusN0markU51isNatNNmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markisNatKindXactiveisNatKindXmarkisNatXactiveisNatXmarkplusX1X2activeplusmarkX1markX2markttactivettmark0active0plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2activeU16ttmarkttactiveU23ttmarkttactiveU32ttmarkttactiveU41ttmarkttactiveisNat0markttactiveisNatKind0markttU12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U16activeXU16XU16markXU16XU22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U23activeXU23XU23markXU23XU32activeXU32XU32markXU32XU52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64X1markX2X3U64X1X2X3U64markX1X2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3sactiveXsXsmarkXsXU21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41activeXU41XU41markXU41XU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X31active11U1132U1232U1332U1432U1522U1610U2122U2222U2312U3122U321-2U411-2U5122U5222U6132U6232U6332U6432plus22s1-2mark1-2active1-2tt00isNatKind12isNat12000mark12markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XactiveU23markXactiveU31ttV2markU32isNatKindV2activeU51ttNmarkU52isNatKindNNmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMactiveplusN0markU51isNatNNmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU62X1X2X3markX1markU63X1X2X3markX1markU64X1X2X3markX1marksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U16activeXU16XU16markXU16XU22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U23activeXU23XU23markXU23XU32activeXU32XU32markXU32XU52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64X1markX2X3U64X1X2X3U64markX1X2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3sactiveXsXsmarkXsXU51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U41activeXU41XU41markXU41XplusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21active1-221U1132U1232U1332U1432U1522U2122U2222U231-2U3122U5122U5222U6132U6232U6332U6432plus22mark1-221active1-2tt00isNatKind12isNat12U161-221U32111s1-21U411-2000mark12markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1activeU31ttV2markU32isNatKindV2activeU51ttNmarkU52isNatKindNNmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMactiveplusN0markU51isNatNNmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU62X1X2X3markX1markU63X1X2X3markX1markU64X1X2X3markX1marksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U23activeXU23XU23markXU23XU52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64X1markX2X3U64X1X2X3U64markX1X2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3U51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21mark111U12311active111mark111U11311tt00isNatKind10U13311U14311U15211isNat10U16111U21211U22211U23111U31211U32111U5121112U5221112plus21112U613111213U623111213U633111213U643111213s111001U41111active111markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1activeU31ttV2markU32isNatKindV2activeU51ttNmarkU52isNatKindNNmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU51X1X2markX1markU52X1X2markX1markU62X1X2X3markX1markU63X1X2X3markX1markU64X1X2X3markX1marksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV11mark111U12311active111mark111U11311tt00isNatKind10U13311U14311U15211isNat10U16111U21211U22211U23111U31211U32111U51211112U5221112plus21112U613111213U623111213U633111213U643111213s111U41111active111001markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1activeU31ttV2markU32isNatKindV2markU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU61X1X2X3markX1markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU52X1X2markX1markU62X1X2X3markX1markU63X1X2X3markX1markU64X1X2X3markX1marksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV11mark111U12311active111mark111U11311tt00isNatKind10U13311U14311U15211isNat10U16111U21211U22211U23111U31211U32111U5221112plus21112U6131111213U6231111213U6331111213U6431111213s1111U51212U41111active111000markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1activeU31ttV2markU32isNatKindV2markU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeU64ttMNmarksplusNMmarkU51X1X2activeU51markX1X2activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU16XmarkXmarkU22X1X2markX1markU23XmarkXmarkU31X1X2markX1markU32XmarkXmarkU41XmarkXmarkU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU51X1X2activeU51markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNmarkU64X1X2X3activeU64markX1X2X3activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU52X1X2activeU52markX1X2markU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1true1active1-11U1132U1232U1332U1432U1522U2122U2222U3122U512-2U5222U6132U6232U6332U643-2plus22mark1-2active11tt00isNatKind12isNat12U161-2U2312U321-2s1-21U411-2000mark11activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXactiveU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeU63ttMNmarkU64isNatKindNMNactiveplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU52X1X2activeU52markX1X2markU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3U64X1markX2X3U64X1X2X3U64markX1X2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU52X1X2markX1markU61X1X2X3activeU61markX1X2X3activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNmarkU63X1X2X3activeU63markX1X2X3activeplusNsMmarkU61isNatMMNmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1true1active1-11U1132U1232U1332U1432U1522U2122U2222U3122U5222U6132U6232U6330plus22mark12active12tt00isNatKind12isNat12U161-2U231-2U3212U512-222U6432123s1-21U4112000mark11markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU52X1X2markX1markU61X1X2X3activeU61markX1X2X3activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeU62ttMNmarkU63isNatNMNactiveplusNsMmarkU61isNatMMNmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU61ttMNmarkU62isNatKindMMNmarkU62X1X2X3activeU62markX1X2X3activeplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1true1active1-11U1132U1232U1332U1432U1522U2122U2222U3122U5222U6132U623-2plus22mark1-21active1-2tt00isNatKind12isNat12U161-221U231-221U321-21U51222122U633-2122U643-2223s1-21U411221002mark11activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU61ttMNmarkU62isNatKindMMNactiveplusNsMmarkU61isNatMMNmarkU61X1X2X3activeU61markX1X2X3markU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU52X1X2markX1markU61X1X2X3activeU61markX1X2X3activeplusNsMmarkU61isNatMMNmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1true1active1-11U1132U1232U1332U1432U1522U2122U2222U3122U5222U6130plus22mark12active1-2tt00isNatKind12isNat12U16111U23111U32111U5122U6232U6332U6433s1-221U4110000mark11markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2activeU52ttNmarkNmarkU52X1X2markX1activeplusNsMmarkU61isNatMMNmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2markU52X1X2markX1markplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1true1active1-11U1132U1232U1332U1432U1522U2122U2222U3122U5222plus2-2mark1-221active1-2tt00isNatKind12isNat12U161-21U231-21U321-21U512-222U613-21223U623223U633-121U643-22223s1-21U411-2001mark11activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXmarkU52X1X2activeU52markX1X2markU52X1X2markX1markplusX1X2markX1markplusX1X2markX2activeisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X21active1-21U11321U12321U13321U1431U1521U21221U22221U31221U5222212mark11active11tt00isNatKind10isNat10U16121U2311U3211U51222U6132U62321U63321U643-2s1-2plus2212U4111000mark11activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2activeU52ttNmarkNmarkU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-221U1132U1232U1332U1432U1522U2122U2222U3122mark12active1-221tt02isNatKind12isNat12U16121U2310U321-21U51221U522221U613-223U62323U633212U643-223s1-21plus2-22U411-221000mark12activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU21ttV1markU22isNatKindV1V1markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2activeisNatsV1markU21isNatKindV1V1markU21X1X2activeU21markX1X2markU21X1X2markX1markU22X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X21active121U113212223U123212223U133212223U143212223U152122U21212122U2222122U31221mark11active11tt00isNatKind10isNat121U1611U2311U3211U51222U5222U613223U623223U633223U643223s121plus212U41121002mark121activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2markU21X1X2activeU21markX1X2markU22X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-221U1132U1232U1332U1432U1522U2120U2222U3122mark1-2active12tt00isNatKind12isNat12U161-2U231-21U321-21U512-21U5221U613-222U623-22U633-22122U6432s1-21plus2-222U411-2002mark12activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3markU22X1X2activeU22markX1X2activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2markU22X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X21active1-2U113121U123121U13311U14311U152121U2222212U31211mark1-2active1-221tt00isNatKind10isNat10U161121U212-221U231121U32111U51222U52222U613222U6232123U633-2212U643223s1-21plus221U41111002mark1-11activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3activeU22ttV1markU23isNatV1markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active11U1132U1232U1332U1432U1522U3122mark1-21active1-21tt02isNatKind12isNat12U161-121U21222U222221U231-221U32111U512-222U52221U613223U623212U633-22223U643-2212223s1-21plus2-22U411-11000mark12activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3markU23XmarkXmarkU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active1-2U11311U123121U133121U143121U152121U312121mark1-2active1-2tt00isNatKind10isNat10U161121U2122U22221U231221U321121U51222U522-221U6132U6232223U633-2122U643-23s1-21plus2212U41111000mark1-221activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3markU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXactiveisNatplusV1V2markU11isNatKindV1V1V2markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active121U113212223U123212223U133212223U143212223U152122U31221mark11active11tt00isNatKind10isNat121U1611U212-2U222-2U231-2U32121U51222U52222U613-2U623-2U633-2U6430s1-2plus222122U4111000mark121activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3activeU12markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3activeU11markX1X2X3markU11X1X2X3markX1markU12X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markisNatXactiveisNatXmarkU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1markU11X1X2X3activeU11markX1X2X3activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkU11X1X2X3markX1markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1true1active12U113121223U12321U13321U14321U15221U31221mark12active12tt00isNatKind10isNat10U16121U212-221U222-221U231-221U32121U51222122U522-221U6132U623-221U63313U643-22122s1-221plus2-2U4111000mark121markU12X1X2X3activeU12markX1X2X3activeU11ttV1V2markU12isNatKindV1V1V2markU12X1X2X3markX1activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-21U123-2U1330U143-2U1522U3122mark1-2active1-221U113221tt01isNatKind10isNat10U161-21U212-222U22222U2312U321-21U512-2212U522222U613-223U62321223U633-2212223U643-223s1-221plus2-212U411-221002mark1-2markU12X1X2X3activeU12markX1X2X3markU12X1X2X3markX1activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active10U12322123U133121U14311U152121U312121mark1-221active1-221U113-22123tt00isNatKind10isNat10U161121U212212U222-221U2312U321121U512221U522221U613-212223U623-223U633-223U643-2212223s1-221plus2-212U41111002mark1-11activeU12ttV1V2markU13isNatKindV2V1V2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-121U133-2U1430U152-2U312-2mark10U12311active1-2U113223tt00isNatKind10isNat10U161-21U2122U222-21U2312U321-221U512-212U522221U613-223U623-21U633-222U643-221s1-221plus2-221U411-221000mark1-2markU13X1X2X3activeU13markX1X2X3activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU13X1X2X3markX1markU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active1-2U13322123U143121U152121U312121mark1-2U123-22123active1-221U1132tt00isNatKind10isNat10U16111U212-22U222-221U231-2U32111U512-22U522-212U61322U623-22123U633-22U643-23s1-21plus2-2122U411121000mark1-11activeU13ttV1V2markU14isNatKindV2V1V2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-21U1432U1522U3122mark1-221U123222active1-2U113-212tt02isNatKind10U133121isNat1221U1612U2122U222-21U231-21U3211U5121U522-21U613-212223U623-22223U63321U643-22223s1-21plus2-212U411-221000mark1-2markU14X1X2X3activeU14markX1X2X3activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU14X1X2X3markX1markU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active1-2U143221223U152121U312121mark1-2U123212active1-221U1132tt00isNatKind10U133-223isNat10U16111U212-22122U2222U2312U32111U512-22U522-221U6132U62322U63322122U643212s12plus2-21U41111000mark1-11activeU14ttV1V2markU15isNatV1V2markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-221U1521U3121mark12U123-222active1-2U113-2223tt02isNatKind10U133-222U143221isNat10U161-2U212-222U222-222U23111U321-2U512-2U522-222U613-223U6232U633-22U643-2223s1-21plus2-2U4110000mark10markU15X1X2activeU15markX1X2activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU15X1X2markX1markU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active1-2U1522212U312121mark1-2U123223active1-21U113-23tt00isNatKind10U1332U1432isNat10U161121U2122U2222U23111U32111U512-22U522-221U6132U623212U633-21223U643-223s1-2plus2-221U41111000mark1-221activeU15ttV2markU16isNatV2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active1-221U312-2mark1-2U123-222active10U113-2122tt02isNatKind10U133-22U143-222U15222122isNat11U1610U212-2212U222-21U231-2U321-21U512-212U522-22U613221U62322123U633221U643-212s12plus2-22U411-2002mark1-2markU16XmarkXmarkisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV1U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X21active1-2U31211mark1-2U123-22223active12U11323tt01isNatKind10U1332U1432U152-21isNat10U161221U21222U2222U2312U32111U512-222U522-221U6132U623-221U6332U643-23s1-221plus2-221U411121000mark1-221markisNatKindXactiveisNatKindXactiveisNatKindplusV1V2markU31isNatKindV1V2markU31X1X2activeU31markX1X2activeU31ttV2markU32isNatKindV2markU32XmarkXmarkU31X1X2markX1markU41XmarkXactiveisNatKindsV1markU41isNatKindV11active11U3122122mark11U123-2active11U1130tt00isNatKind121U133-2U143-2U152-2isNat10U161-2U212-2U222-2U2311U3211U51222U52222U613223U623223U633223U643223s11plus2212U4111000mark11markisNatKindXactiveisNatKindXmarkU31X1X2activeU31markX1X2markU32XmarkXmarkU41XmarkXactiveisNatKindsV1markU41isNatKindV1activeisNatKindsV1markU41isNatKindV1markU41XmarkXmarkisNatKindXactiveisNatKindXmarkU32XmarkXtrueisNatKindmarkx0isNatKindactivex0U32markx0U32activex0U41markx0U41activex0smarkx0sactivex01active111isNatKind121s1121mark111U41111U32121markU41XmarkXmarkisNatKindXactiveisNatKindXmarkU41XmarkXtrueU41markx0U41activex0markU41XmarkX1true1markisNatKindXactiveisNatKindXfalsemarkU31X1X2activeU31markX1X2falsemarkisNatXactiveisNatXfalseactiveplusNsMmarkU61isNatMMNfalseactiveU61ttMNmarkU62isNatKindMMNfalseactiveU62ttMNmarkU63isNatNMNfalseactiveU63ttMNmarkU64isNatKindNMNfalseactiveU64ttMNmarksplusNMfalseactiveU16ttmarkttfalseactiveU23ttmarkttfalseactiveU32ttmarkttfalseactiveU41ttmarkttfalseactiveisNat0markttfalseactiveisNatKind0markttfalsemarkttactivettfalsemark0active0falseactiveisNatplusV1V2U11isNatKindV1V1V2falsemarkU11X1X2X3U11markX1X2X3falseactiveU11ttV1V2U12isNatKindV1V1V2falsemarkU12X1X2X3U12markX1X2X3falseactiveU11ttV1V2isNatKindV1falseactiveU12ttV1V2isNatKindV2falseactiveU13ttV1V2isNatKindV2falseactiveU21ttV1isNatKindV1falseactiveU31ttV2isNatKindV2falseactiveU51ttNisNatKindNfalseactiveU61ttMNisNatKindMfalseactiveU63ttMNisNatKindNfalseactiveisNatplusV1V2isNatKindV1falseactiveisNatsV1isNatKindV1falseactiveisNatKindplusV1V2isNatKindV1falseactiveisNatKindsV1isNatKindV1falseactiveU12ttV1V2U13isNatKindV2V1V2falsemarkU13X1X2X3U13markX1X2X3falseactiveU13ttV1V2U14isNatKindV2V1V2falsemarkU14X1X2X3U14markX1X2X3falseactiveU14ttV1V2U15isNatV1V2falsemarkU15X1X2U15markX1X2falseactiveU14ttV1V2isNatV1falseactiveU15ttV2isNatV2falseactiveU22ttV1isNatV1falseactiveU62ttMNisNatNfalseactiveplusN0isNatNfalseactiveplusNsMisNatMfalseactiveU15ttV2U16isNatV2falsemarkU16XU16markXfalseactiveisNatsV1U21isNatKindV1V1falsemarkU21X1X2U21markX1X2falseactiveU21ttV1U22isNatKindV1V1falsemarkU22X1X2U22markX1X2falseactiveU22ttV1U23isNatV1falsemarkU23XU23markXfalseactiveisNatKindplusV1V2U31isNatKindV1V2falsemarkU31X1X2U31markX1X2falseactiveU31ttV2U32isNatKindV2falsemarkU32XU32markXfalseactiveisNatKindsV1U41isNatKindV1falsemarkU41XU41markXfalseactiveplusN0U51isNatNNfalsemarkU51X1X2U51markX1X2falseactiveU51ttNU52isNatKindNNfalsemarkU52X1X2U52markX1X2falseactiveplusNsMU61isNatMMNfalsemarkU61X1X2X3U61markX1X2X3falseactiveU61ttMNU62isNatKindMMNfalsemarkU62X1X2X3U62markX1X2X3falseactiveU62ttMNU63isNatNMNfalsemarkU63X1X2X3U63markX1X2X3falseactiveU63ttMNU64isNatKindNMNfalsemarkU64X1X2X3U64markX1X2X3falseactiveU64ttMNsplusNMfalsemarksXsmarkXfalseactiveU64ttMNplusNMfalsemarkplusX1X2plusmarkX1markX2falseU11X1markX2X3U11X1X2X3U11markX1X2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U11X1markX2X3U11X1X2X31false12true23false3U11markX1X2X3U11X1X2X31true12false23false3U11X1X2markX3U11X1X2X31false12false23true3U11activeX1X2X3U11X1X2X31true12false23false3U11X1activeX2X3U11X1X2X31false12true23false3U11X1X2activeX3U11X1X2X31false12false23true3U12X1markX2X3U12X1X2X3U12markX1X2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U12X1markX2X3U12X1X2X31false12true23false3U12markX1X2X3U12X1X2X31true12false23false3U12X1X2markX3U12X1X2X31false12false23true3U12activeX1X2X3U12X1X2X31true12false23false3U12X1activeX2X3U12X1X2X31false12true23false3U12X1X2activeX3U12X1X2X31false12false23true3isNatKindactiveXisNatKindXisNatKindmarkXisNatKindXtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0isNatKindactiveXisNatKindX1true1isNatKindmarkXisNatKindX1true1U13X1markX2X3U13X1X2X3U13markX1X2X3U13X1X2X3U13X1X2markX3U13X1X2X3U13activeX1X2X3U13X1X2X3U13X1activeX2X3U13X1X2X3U13X1X2activeX3U13X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U13X1markX2X3U13X1X2X31false12true23false3U13markX1X2X3U13X1X2X31true12false23false3U13X1X2markX3U13X1X2X31false12false23true3U13activeX1X2X3U13X1X2X31true12false23false3U13X1activeX2X3U13X1X2X31false12true23false3U13X1X2activeX3U13X1X2X31false12false23true3U14X1markX2X3U14X1X2X3U14markX1X2X3U14X1X2X3U14X1X2markX3U14X1X2X3U14activeX1X2X3U14X1X2X3U14X1activeX2X3U14X1X2X3U14X1X2activeX3U14X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U14X1markX2X3U14X1X2X31false12true23false3U14markX1X2X3U14X1X2X31true12false23false3U14X1X2markX3U14X1X2X31false12false23true3U14activeX1X2X3U14X1X2X31true12false23false3U14X1activeX2X3U14X1X2X31false12true23false3U14X1X2activeX3U14X1X2X31false12false23true3U15X1markX2U15X1X2U15markX1X2U15X1X2U15activeX1X2U15X1X2U15X1activeX2U15X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U15X1markX2U15X1X21false12true2U15markX1X2U15X1X21true12false2U15activeX1X2U15X1X21true12false2U15X1activeX2U15X1X21false12true2isNatactiveXisNatXisNatmarkXisNatXtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0isNatactiveXisNatX1true1isNatmarkXisNatX1true1U16activeXU16XU16markXU16XtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U16activeXU16X1true1U16markXU16X1true1U21X1markX2U21X1X2U21markX1X2U21X1X2U21activeX1X2U21X1X2U21X1activeX2U21X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U21X1markX2U21X1X21false12true2U21markX1X2U21X1X21true12false2U21activeX1X2U21X1X21true12false2U21X1activeX2U21X1X21false12true2U22X1markX2U22X1X2U22markX1X2U22X1X2U22activeX1X2U22X1X2U22X1activeX2U22X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U22X1markX2U22X1X21false12true2U22markX1X2U22X1X21true12false2U22activeX1X2U22X1X21true12false2U22X1activeX2U22X1X21false12true2U23activeXU23XU23markXU23XtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U23activeXU23X1true1U23markXU23X1true1U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U31X1markX2U31X1X21false12true2U31markX1X2U31X1X21true12false2U31activeX1X2U31X1X21true12false2U31X1activeX2U31X1X21false12true2U32activeXU32XU32markXU32XtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U32activeXU32X1true1U32markXU32X1true1U41activeXU41XU41markXU41XtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U41activeXU41X1true1U41markXU41X1true1U51X1markX2U51X1X2U51markX1X2U51X1X2U51activeX1X2U51X1X2U51X1activeX2U51X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U51X1markX2U51X1X21false12true2U51markX1X2U51X1X21true12false2U51activeX1X2U51X1X21true12false2U51X1activeX2U51X1X21false12true2U52X1markX2U52X1X2U52markX1X2U52X1X2U52activeX1X2U52X1X2U52X1activeX2U52X1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U52X1markX2U52X1X21false12true2U52markX1X2U52X1X21true12false2U52activeX1X2U52X1X21true12false2U52X1activeX2U52X1X21false12true2U61X1markX2X3U61X1X2X3U61markX1X2X3U61X1X2X3U61X1X2markX3U61X1X2X3U61activeX1X2X3U61X1X2X3U61X1activeX2X3U61X1X2X3U61X1X2activeX3U61X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U61X1markX2X3U61X1X2X31false12true23false3U61markX1X2X3U61X1X2X31true12false23false3U61X1X2markX3U61X1X2X31false12false23true3U61activeX1X2X3U61X1X2X31true12false23false3U61X1activeX2X3U61X1X2X31false12true23false3U61X1X2activeX3U61X1X2X31false12false23true3U62X1markX2X3U62X1X2X3U62markX1X2X3U62X1X2X3U62X1X2markX3U62X1X2X3U62activeX1X2X3U62X1X2X3U62X1activeX2X3U62X1X2X3U62X1X2activeX3U62X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U62X1markX2X3U62X1X2X31false12true23false3U62markX1X2X3U62X1X2X31true12false23false3U62X1X2markX3U62X1X2X31false12false23true3U62activeX1X2X3U62X1X2X31true12false23false3U62X1activeX2X3U62X1X2X31false12true23false3U62X1X2activeX3U62X1X2X31false12false23true3U63X1markX2X3U63X1X2X3U63markX1X2X3U63X1X2X3U63X1X2markX3U63X1X2X3U63activeX1X2X3U63X1X2X3U63X1activeX2X3U63X1X2X3U63X1X2activeX3U63X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U63X1markX2X3U63X1X2X31false12true23false3U63markX1X2X3U63X1X2X31true12false23false3U63X1X2markX3U63X1X2X31false12false23true3U63activeX1X2X3U63X1X2X31true12false23false3U63X1activeX2X3U63X1X2X31false12true23false3U63X1X2activeX3U63X1X2X31false12false23true3U64X1markX2X3U64X1X2X3U64markX1X2X3U64X1X2X3U64X1X2markX3U64X1X2X3U64activeX1X2X3U64X1X2X3U64X1activeX2X3U64X1X2X3U64X1X2activeX3U64X1X2X3trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0U64X1markX2X3U64X1X2X31false12true23false3U64markX1X2X3U64X1X2X31true12false23false3U64X1X2markX3U64X1X2X31false12false23true3U64activeX1X2X3U64X1X2X31true12false23false3U64X1activeX2X3U64X1X2X31false12true23false3U64X1X2activeX3U64X1X2X31false12false23true3sactiveXsXsmarkXsXtrueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0sactiveXsX1true1smarkXsX1true1plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2trueactiveU11ttx0x1activeU12ttx0x1activeU13ttx0x1activeU14ttx0x1activeU15ttx0activeU16ttactiveU21ttx0activeU22ttx0activeU23ttactiveU31ttx0activeU32ttactiveU41ttactiveU51ttx0activeU52ttx0activeU61ttx0x1activeU62ttx0x1activeU63ttx0x1activeU64ttx0x1activeisNat0activeisNatplusx0x1activeisNatsx0activeisNatKind0activeisNatKindplusx0x1activeisNatKindsx0activeplusx00activeplusx0sx1markU11x0x1x2markttmarkU12x0x1x2markisNatKindx0markU13x0x1x2markU14x0x1x2markU15x0x1markisNatx0markU16x0markU21x0x1markU22x0x1markU23x0markU31x0x1markU32x0markU41x0markU51x0x1markU52x0x1markU61x0x1x2markU62x0x1x2markU63x0x1x2markU64x0x1x2marksx0markplusx0x1mark0plusX1markX2plusX1X21false12true2plusmarkX1X2plusX1X21true12false2plusactiveX1X2plusX1X21true12false2plusX1activeX2plusX1X21false12true2AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (112 real / 0 unknown / 0 assumptions / 112 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe