U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXactivateXXU11ttNactivateNU21ttMNsplusactivateNactivateMU21ttMNplusactivateNactivateMU21ttMNactivateNU21ttMNactivateMandttXactivateXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1isNatactivateV1isNatn__sV1activateV1plusN0U11isNatNNplusN0isNatNplusNsMU21andisNatMn__isNatNMNplusNsMandisNatMn__isNatNplusNsMisNatMactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXtrueactivaten__plusX1X2plusX1X2plusN0U11isNatNNU11ttNactivateNactivaten__isNatXisNatXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV1isNatn__plusV1V2activateV2isNatn__sV1isNatactivateV1isNatn__sV1activateV1plusN0isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMU21ttMNactivateNU21ttMNactivateMtrue1231activate111n__plus211112plus21112001U11212isNat111tt01n__isNat111isNat111and212activate111n__s111s111U2131213and211112n__001plus211112U112112U21311213U11ttNactivateNactivaten__isNatXisNatXandttXactivateXisNatn__sV1isNatactivateV1isNatn__sV1activateV1plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMU21ttMNactivateNU21ttMNactivateMU11ttNactivateNfalse134567plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMtrue261plus212s1111U21312and212isNat10n__isNat10tt00activate111n__000n__plus21112plus21112000U11212n__s1111U21311213U21ttMNplusactivateNactivateMU21ttMNplusactivateNactivateMfalseplusNsMandisNatMn__isNatNfalse5andttXactivateXfalse4plusNsMisNatMfalse3U21ttMNactivateNfalse2U21ttMNactivateMfalse1isNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__isNatXisNatXtrue1isNat1111n__s111activate111activate1111n__isNat1111n__000000n__plus21112plus21112U11212isNat1111tt00and212s111U2131213isNatn__sV1isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatactivateV1true11isNat111n__s1111activate111n__000000n__plus21112plus21112U11212isNat11tt01n__isNat11and212s1111U213111213isNatn__sV1activateV1falseU21ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsXfalse