U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXU11ttNactivateNU21ttMNsplusactivateNactivateMU21ttMNplusactivateNactivateMU21ttMNactivateNU21ttMNactivateMandttXactivateXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1isNatactivateV1isNatn__sV1activateV1plusN0U11isNatNNplusN0isNatNplusNsMU21andisNatMn__isNatNMNplusNsMandisNatMn__isNatNplusNsMisNatMactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__plusX1X2activateX1activaten__plusX1X2activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivaten__sXactivateXtrueactivaten__plusX1X2plusactivateX1activateX2plusN0U11isNatNNU11ttNactivateNactivaten__plusX1X2activateX1activaten__plusX1X2activateX2activaten__isNatXisNatXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXactivaten__sXactivateXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1isNatactivateV1isNatn__sV1activateV1plusN0isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMU21ttMNactivateNU21ttMNactivateMtrue1231activate111n__plus211112plus21112activate111000U11212isNat111tt00n__isNat111isNat111and212n__s111s111U2131213and212n__000plus211112U112112U21311213plusN0U11isNatNNU11ttNactivateNactivaten__isNatXisNatXandttXactivateXactivaten__sXactivateXisNatn__sV1isNatactivateV1isNatn__sV1activateV1plusN0isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMU21ttMNactivateNU21ttMNactivateMplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMtrue1234567891plus2112s1111U21311112and212isNat11n__isNat11tt01activate111n__000n__plus21112plus21112000U11212n__s1111U21311213plusNsMU21andisNatMn__isNatNMNplusNsMU21andisNatMn__isNatNMNfalseplusN0U11isNatNNfalse28U11ttNactivateNfalse27plusNsMandisNatMn__isNatNfalse6andttXactivateXfalse5plusN0isNatNfalse4plusNsMisNatMfalse3U21ttMNactivateNfalse2U21ttMNactivateMfalse1isNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__isNatXisNatXactivaten__sXactivateXtrue1isNat1111n__s1111activate111activate1111n__isNat1111n__000000n__plus21112plus21112U11212isNat1111tt00and212s1111U21311213U21ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsactivateXfalse