U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2activaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2activateXXU11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2U12ttV2U13isNatactivateV2U21ttV1activateV1U21ttV1isNatactivateV1U21ttV1U22isNatactivateV1U31ttNactivateNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMU41ttMNsplusactivateNactivateMandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1plusN0isNatNplusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNplusNsMisNatNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNactivaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2trueisNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2plusX1X2plusN0isNatNisNatn__plusV1V2activateV2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__andX1X2andX1X2andttXactivateXisNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2plusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNU31ttNactivateNplusNsMisNatNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMtrue1isNatKind112112and2011220plus212112212U413011221231U3120112232U2120112212U1220112212isNat112112activate11210U113011221312n__and201120002n__s1111n__isNatKind1112isNatKind1112n__plus211222n__002and201120s1111plus211222U41301221372U312011212U221010U21252132212U131010U122013212isNat1010activate1110U11311020312tt00activaten__andX1X2andX1X2andttXactivateXU11ttV1V2isNatactivateV1U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2plusN0U31andisNatNn__isNatKindNNplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2activaten__00activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXactivaten__sXsXactivaten__andX1X2andX1X2activateXXU11ttV1V2isNatactivateV1falseU11ttV1V2U12isNatactivateV1activateV2falseU12ttV2isNatactivateV2falseU21ttV1isNatactivateV1falseplusNsMU41andandisNatMn__isNatKindMn__andisNatNn__isNatKindNMNfalseplusNsMandisNatMn__isNatKindMfalseplusNsMandandisNatMn__isNatKindMn__andisNatNn__isNatKindNfalseplusN0U31andisNatNn__isNatKindNNfalseandttXactivateXactivaten__andX1X2andX1X2trueandttXactivateX2false1activaten__andX1X2andX1X21true21true1U41ttMNsplusactivateNactivateMfalseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseactivaten__sXsXfalseactivaten__00false