U11ttNactivateNU21ttMNsplusactivateNactivateMU31tt0U41ttMNplusxactivateNactivateMactivateNandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1isNatn__xV1V2andisNatactivateV1n__isNatactivateV2plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMNxN0U31isNatNxNsMU41andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXxX1X2n__xX1X2activaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivaten__xX1X2xactivateX1activateX2activateXXU11ttNactivateNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU21ttMNsplusactivateNactivateMU31tt0U41ttMNactivateMU41ttMNactivateNU41ttMNxactivateNactivateMU41ttMNplusxactivateNactivateMactivateNandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1activateV1isNatn__sV1isNatactivateV1isNatn__xV1V2activateV2isNatn__xV1V2activateV1isNatn__xV1V2isNatactivateV1isNatn__xV1V2andisNatactivateV1n__isNatactivateV2plusN0isNatNplusN0U11isNatNNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNxN0isNatNxN0U31isNatNxNsMisNatMxNsMandisNatMn__isNatNxNsMU41andisNatMn__isNatNMNactivaten__00activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXactivateXactivaten__sXsactivateXactivaten__xX1X2activateX2activaten__xX1X2activateX1activaten__xX1X2xactivateX1activateX2trueisNatn__xV1V2isNatactivateV1isNatn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusN0isNatNisNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXactivaten__sXactivateXactivaten__xX1X2activateX2activaten__xX1X2activateX1activaten__xX1X2xactivateX1activateX2xN0isNatNisNatn__sV1activateV1isNatn__sV1isNatactivateV1isNatn__xV1V2activateV2isNatn__xV1V2activateV1isNatn__xV1V2andisNatactivateV1n__isNatactivateV2xNsMisNatMxNsMandisNatMn__isNatNxNsMU41andisNatMn__isNatNMNU41ttMNactivateMU41ttMNactivateNU41ttMNxactivateNactivateMU41ttMNplusxactivateNactivateMactivateNplusN0U11isNatNNU11ttNactivateNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMtrueU21ttMNsplusactivateNactivateMfalsexN0U31isNatNfalseU31tt0falseactivaten__sXsactivateXfalseactivaten__00false