U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXactivateXXU11ttNactivateNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU21ttMNsplusactivateNactivateMandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1activateV1isNatn__sV1isNatactivateV1plusN0isNatNplusN0U11isNatNNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXtrueisNatn__sV1isNatactivateV1isNatn__plusV1V2activateV2activaten__plusX1X2plusX1X2plusN0isNatNisNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXisNatn__sV1activateV1plusN0U11isNatNNU11ttNactivateNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMtrue1isNat1210and211220plus241620U2130162430activate1210U11201420000n__s1111n__isNat1210n__plus221320isNat1210n__000and201220s1111plus221320U2130132233activate1110U11201220tt00isNatn__plusV1V2activateV2activaten__plusX1X2plusX1X2plusN0isNatNisNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXplusN0U11isNatNNU11ttNactivateNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXactivateXXU21ttMNactivateNfalseU21ttMNactivateMfalseU21ttMNplusactivateNactivateMfalseisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV2activaten__plusX1X2plusX1X2plusN0isNatNisNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXplusN0U11isNatNNU11ttNactivateNtrue1isNat1810and211425plus2151023activate1410U11221623001n__s1116n__isNat1410n__plus261221isNat1410n__001and221124s1116plus261221U21301226310activate1110U11201620tt04activaten__isNatXisNatXplusN0U11isNatNNU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__isNatXisNatXactivaten__sXsXactivateXXactivaten__isNatXisNatXfalseplusN0U11isNatNNfalseU21ttMNsplusactivateNactivateMfalseactivaten__sXsXfalseactivaten__00false