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__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMtrue1isNatKind1110and211120plus221220U4130122235U31201126U212011210U12201125isNat1115activate1110U1130122135n__and221120003n__s11112n__isNatKind1210isNatKind1210n__plus221420n__003and221120s11112plus221420U41301422312U31201127U221010U21201020U131010U12201020isNat1010activate1110U1130102030tt00isNatKindn__plusV1V2activateV2activaten__plusX1X2plusX1X2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__andX1X2andX1X2andttXactivateXisNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2plusN0U31andisNatNn__isNatKindNNU12ttV2isNatactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2true1U12241821isNat1810U1130182839n__and201820000n__s1010n__isNatKind1010isNatKind1010n__plus211124n__000and201820s1010plus211124U4130102130U31201121U221012U21201022U131010U12211020isNat1012activate1110U1130102032tt00U11ttV1V2U12isNatactivateV1activateV2U11ttV1V2U12isNatactivateV1activateV2falseisNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__andX1X2andX1X2andttXactivateXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2true1isNatKind1410and201424activate1414n__and201221002n__s1115n__isNatKind1110isNatKind1110n__plus211221n__002and201221s1115plus211221U4130122137U31201125U221013U21231023U131016U12201026isNat13112activate1110U11301226315tt00isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1andttXactivateXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__plusV1V2activateV1falseisNatKindn__plusV1V2activateV2falseisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2falseandttXactivateXfalseactivaten__plusX1X2plusX1X2falseplusN0U31andisNatNn__isNatKindNNfalseU41ttMNsplusactivateNactivateMfalseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseactivaten__sXsXfalseactivaten__00false