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__isNatKind111isNat10activate1111plus211112001U312112isNatKind1111and2112n__and212n__s1111U212112s1111U41311213U1130U1220U1310U2120U2210U31212U41311213plus21112n__001U12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2activaten__plusX1X2plusX1X2U31ttNactivateNactivaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2U21ttV1isNatactivateV1U21ttV1activateV1U41ttMNplusactivateNactivateMU41ttMNactivateNU41ttMNactivateMU11ttV1V2isNatactivateV1U11ttV1V2activateV1U11ttV1V2activateV2U21ttV1isNatactivateV1false124561011121314isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2U11ttV1V2isNatactivateV1true13459101112131isNat111n__plus21112U1131213and212isNatKind11activate111n__isNatKind11tt01U1221112isNat111U11312U12211U1311U21212U22111U31212U4131213s111plus21112n__001n__s111001n__and212isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2U12isNatactivateV1activateV2U11ttV1V2isNatactivateV1U11ttV1V2isNatactivateV1isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2true11U11312tt00isNat111activate111n__plus2111and212isNatKind11n__isNatKind11U1130U1220isNat10U1310U2120U2210U31212U413113s11plus2111n__000n__s11000n__and212U11ttV1V2isNatactivateV1U11ttV1V2isNatactivateV1falseU11ttV1V2U12isNatactivateV1activateV2falseU12ttV2activateV2false1112U31ttNactivateNfalse1011isNatn__plusV1V2isNatKindactivateV1false910isNatn__plusV1V2activateV1false89isNatn__plusV1V2activateV2false78U21ttV1activateV1false67U41ttMNactivateNfalse56U41ttMNactivateMfalse45U11ttV1V2activateV1false34U11ttV1V2activateV2false23isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2false12activaten__isNatKindXisNatKindXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2andttXactivateXactivaten__andX1X2andX1X2isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2activateV2true11activate111n__isNatKind111isNatKind111n__plus211112and21112isNatKind111activate111tt01n__and21112U1131U1221isNat11U13111U2121U2211U31212U41311213s111plus211112and21112n__001n__s111001activaten__isNatKindXisNatKindXactivaten__andX1X2andX1X2activaten__isNatKindXisNatKindXfalseactivaten__andX1X2andX1X2falseactivaten__plusX1X2plusX1X2falseU41ttMNplusactivateNactivateMfalseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseU41ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsXfalse