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__plus211112plus21112001U11212isNat111tt00n__isNat111isNat111and212activate111n__s111s111U2131213and212U112112U21311213plus211112n__001U11ttNactivateNactivaten__isNatXisNatXandttXactivateXisNatn__sV1isNatactivateV1isNatn__sV1activateV1plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMU21ttMNactivateNU21ttMNactivateMU11ttNactivateNfalse134567plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMtrue261plus212s1111U21312and212isNat10n__isNat10tt00activate111U112112U21311213plus21112n__001n__plus21112n__s1111001U21ttMNplusactivateNactivateMU21ttMNplusactivateNactivateMfalseplusNsMandisNatMn__isNatNfalse5andttXactivateXfalse4plusNsMisNatMfalse3U21ttMNactivateNfalse2U21ttMNactivateMfalse1isNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__isNatXisNatXtrue1isNat111n__s1111activate111activate1111n__isNat111U11212tt00U21311213s1111plus21112and212isNat111n__000n__plus21112000isNatn__sV1activateV1isNatn__sV1activateV1falseU21ttMNsplusactivateNactivateMfalseactivaten__00falseactivaten__sXsXfalse