U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXU11ttNactivateNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU21ttMNsplusactivateNactivateMandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1activateV1isNatn__sV1isNatactivateV1plusN0isNatNplusN0U11isNatNNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNactivaten__00activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXactivateXactivaten__sXsactivateXtrueisNatn__sV1isNatactivateV1isNatn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusN0isNatNisNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXactivaten__sXactivateXisNatn__sV1activateV1plusN0U11isNatNNU11ttNactivateNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMtrue1isNat1210and201121plus241421U2130142431activate1110U11201320000n__s1110n__isNat1410n__plus241423isNat1410n__000and201128s1110plus241423U2130142433activate1110U11201423tt00isNatn__sV1isNatactivateV1activaten__isNatXisNatXactivaten__sXactivateXisNatn__sV1activateV1U11ttNactivateNplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMU11ttNactivateNfalseplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMtrue1plus221120U2130112230000n__s1113n__isNat1210n__plus241820isNat1210n__000and241820s1113plus241820U2130182433activate1110U11201420tt00U21ttMNplusactivateNactivateMU21ttMNplusactivateNactivateMfalseplusNsMandisNatMn__isNatNfalseisNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__isNatXisNatXactivaten__sXactivateXtrue1isNat1218activate1210000n__s1110n__isNat1814n__plus221422isNat1814n__000and201424s1110plus221422U2130142232activate1110U11201221tt04isNatn__sV1isNatactivateV1activaten__isNatXisNatXactivaten__sXactivateXactivaten__sXactivateXtrue1activate1213000n__s1118n__isNat1010n__plus211124isNat1010n__000and201220s1118plus211124U21301121312activate1110U11201120tt00activaten__isNatXisNatXfalseisNatn__sV1isNatactivateV1true1isNat1118004n__s1118n__isNat1010n__plus2141120isNat1010n__004and201220s1118plus2141120U21301121438activate1110U112011424tt00U21ttMNsplusactivateNactivateMfalseactivaten__sXsactivateXfalseactivaten__00false