U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXU11ttV1V2U12isNatactivateV1activateV2U11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2U12ttV2U13isNatactivateV2U12ttV2isNatactivateV2U12ttV2activateV2U21ttV1U22isNatactivateV1U21ttV1isNatactivateV1U21ttV1activateV1U31ttNactivateNU41ttMNsplusactivateNactivateMU41ttMNplusactivateNactivateMU41ttMNactivateNU41ttMNactivateMandttXactivateXisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1activateV1isNatn__sV1activateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatKindn__sV1isNatKindactivateV1isNatKindn__sV1activateV1plusN0U31andisNatNn__isNatKindNNplusN0andisNatNn__isNatKindNplusN0isNatNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMandisNatMn__isNatKindMplusNsMisNatMactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__plusX1X2activateX1activaten__plusX1X2activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__sXactivateXactivaten__andX1X2andactivateX1X2activaten__andX1X2activateX1activaten__isNatXisNatXtrueU12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2activaten__plusX1X2plusactivateX1activateX2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__plusX1X2activateX1activaten__plusX1X2activateX2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__sXactivateXactivaten__andX1X2andactivateX1X2activaten__andX1X2activateX1activaten__isNatXisNatXisNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatKindn__sV1isNatKindactivateV1isNatKindn__sV1activateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1isNatactivateV1isNatn__sV1isNatKindactivateV1isNatn__sV1activateV1U21ttV1activateV1plusN0andisNatNn__isNatKindNplusN0isNatNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNplusactivateNactivateMplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMandisNatMn__isNatKindMplusNsMisNatMU41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2true123451U122712tt02isNat1711activate111n__plus216172U11371213and224112isNatKind121n__isNatKind121isNat1411activate1311plus26172005U312322isNatKind1211and211112n__s1611n__and224112n__isNat1411U212712s1611U41337263U11351263U122262U1312U212412U2212U31222U41377263plus216172n__005U12ttV2isNatactivateV2U11ttV1V2U12isNatactivateV1activateV2U31ttNactivateNandttXactivateXactivaten__isNatXisNatXisNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2U21ttV1isNatactivateV1U41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2false7U12ttV2isNatactivateV2false7U31ttNactivateNfalse6andttXactivateXfalse5isNatKindn__plusV1V2activateV1false4isNatKindn__plusV1V2activateV2false3U41ttMNactivateNfalse2U41ttMNactivateMfalseactivaten__isNatXisNatXfalseU21ttV1isNatactivateV1falseU11ttV1V2isNatactivateV1falseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseU41ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsactivateXfalse