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__isNatKindMplusNsMisNatMU41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2true123451U12222tt00isNat121activate111n__plus23122U1132223and22112isNatKind111n__isNatKind111isNat111activate121plus26142000U31242isNatKind121and222n__s1411n__and22112n__isNat111U212722s1411U41374263n__000plus23122U31222U11322U212412U41352233U12211U2210U1310U12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2activaten__plusX1X2plusactivateX1activateX2plusN0U31andisNatNn__isNatKindNNU31ttNactivateNactivaten__plusX1X2activateX1activaten__plusX1X2activateX2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andactivateX1X2activaten__andX1X2activateX1activaten__isNatXisNatXisNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2plusN0andisNatNn__isNatKindNplusN0isNatNU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV21U12212tt00isNat111activate111n__plus211112U1131213and211112isNatKind111n__isNatKind111isNat1111activate111plus21112001U31212isNatKind111and212n__and211112n__isNat1111n__001plus211112U312112n__s111s111U11311213U2121U41311213U1220U2210U1310U12ttV2isNatactivateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U31ttNactivateNactivaten__isNatKindXisNatKindXandttXactivateXU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2U11ttV1V2U12isNatactivateV1activateV2false167U12ttV2isNatactivateV2false6U12ttV2activateV2false5U31ttNactivateNfalse4andttXactivateXfalse3U11ttV1V2activateV1false2U11ttV1V2activateV2falseactivaten__isNatKindXisNatKindXfalseU11ttV1V2isNatactivateV1falseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseU41ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsactivateXfalse