U11ttNactivateNU21ttMNsplusactivateNactivateMU31tt0U41ttMNplusxactivateNactivateMactivateNandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1isNatn__xV1V2andisNatactivateV1n__isNatactivateV2plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMNxN0U31isNatNxNsMU41andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXxX1X2n__xX1X2activaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivaten__xX1X2xactivateX1activateX2activateXX