U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2activaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2activateXXU11ttV1V2U12isNatactivateV1activateV2U11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2U12ttV2U13isNatactivateV2U12ttV2isNatactivateV2U12ttV2activateV2U21ttV1U22isNatactivateV1U21ttV1isNatactivateV1U21ttV1activateV1U31ttNactivateNU41ttMNsplusactivateNactivateMU41ttMNplusactivateNactivateMU41ttMNactivateNU41ttMNactivateMandttXactivateXisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1activateV1isNatn__sV1activateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatKindn__sV1isNatKindactivateV1isNatKindn__sV1activateV1plusN0U31andisNatNn__isNatKindNNplusN0andisNatNn__isNatKindNplusN0isNatNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNplusNsMandisNatMn__isNatKindMplusNsMisNatMplusNsMisNatNactivaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2trueU12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2activaten__plusX1X2plusX1X2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatKindn__sV1isNatKindactivateV1isNatKindn__sV1activateV1plusN0andisNatNn__isNatKindNplusN0isNatNisNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1isNatactivateV1isNatn__sV1isNatKindactivateV1isNatn__sV1activateV1U21ttV1activateV1plusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNU41ttMNplusactivateNactivateMplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNplusNsMandisNatMn__isNatKindMplusNsMisNatMplusNsMisNatNU41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2true123451U122112tt00isNat1111activate111n__plus21112U11311213and212isNatKind111n__isNatKind111isNat10activate1111plus211112000U312112isNatKind1111and2112n__and212n__s1111U212112s1111U41311213n__000plus21112U31212U1130U2120U41311213U1220U2210U1310U12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2activaten__plusX1X2plusX1X2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2plusN0andisNatNn__isNatKindNplusN0isNatNisNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2U21ttV1isNatactivateV1U21ttV1activateV1U41ttMNplusactivateNactivateMU41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2activaten__00activaten__plusX1X2plusX1X2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__sV1isNatKindactivateV1activaten__sXsXactivateXXisNatKindn__0ttisNatKindXn__isNatKindXandX1X2n__andX1X2plusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNU41ttMNsplusactivateNactivateMplusX1X2n__plusX1X2sXn__sX0n__0U41ttMNplusactivateNactivateMfalse5U21ttV1isNatactivateV1false4U21ttV1activateV1false3U41ttMNactivateNfalse2U41ttMNactivateMfalse1isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__plusX1X2plusX1X2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1activaten__andX1X2andX1X2isNatKindn__plusV1V2activateV2plusN0andisNatNn__isNatKindNplusN0isNatNisNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2U12ttV2activateV2U11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2true1isNat111n__plus211112U1131213and212isNatKind1111activate111n__isNatKind1111tt00U12212isNat10and212activate111plus211112001U31212isNatKind1111n__and212n__001plus211112U312112n__s111s111U1130U2120U41311213U1220U2210U1310U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__plusX1X2plusX1X2U31ttNactivateNactivaten__isNatKindXisNatKindXactivaten__andX1X2andX1X2isNatn__plusV1V2isNatKindactivateV1U12ttV2activateV2U11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2activaten__00activaten__plusX1X2plusX1X2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__sV1isNatKindactivateV1activaten__sXsXactivateXXisNatKindn__0ttisNatKindXn__isNatKindXandX1X2n__andX1X2plusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNU41ttMNsplusactivateNactivateMplusX1X2n__plusX1X2sXn__sX0n__0U11ttV1V2U12isNatactivateV1activateV2false135891011U12ttV2isNatactivateV2false278910U11ttV1V2isNatactivateV1false16789isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2false567U31ttNactivateNfalse456U12ttV2activateV2false345U11ttV1V2activateV1false234U11ttV1V2activateV2false123activaten__andX1X2andX1X2andttXactivateXtrue12and22activate11andttXactivateXandttXactivateXfalseactivaten__plusX1X2plusX1X2falseactivaten__isNatKindXisNatKindXfalseisNatn__plusV1V2isNatKindactivateV1falseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseU41ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsXfalse