U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXX2.0U11ttNactivateNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU21ttMNsplusactivateNactivateMandttXactivateXisNatn__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__isNatNMNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMtrue1isNat1010and201020plus221020U2130102230activate1010U11221123004n__s1010n__isNat1010n__plus22102isNat1010n__004and201020s1010plus22102U2130102230activate101U11221021tt00isNatn__sV1isNatactivateV1isNatn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2isNatn__plusV1V2activateV1activaten__isNatXisNatXisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXactivaten__sXactivateXisNatn__sV1activateV1plusN0U11isNatNNplusNsMisNatMplusNsMandisNatMn__isNatNplusNsMU21andisNatMn__isNatNMNU21ttMNactivateMU21ttMNactivateNU21ttMNplusactivateNactivateMU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXisNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__sXactivateXactivaten__isNatXisNatXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2andttXactivateXactivaten__plusX1X2plusactivateX1activateX2plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNplusNsMisNatMisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2activateV1activaten__plusX1X2activateX1activaten__plusX1X2activateX2isNatn__plusV1V2activateV2U21ttMNactivateNU21ttMNactivateMtrue1isNat1010and201720plus27172U2130172730activate101000n__s1010n__isNat1010n__plus271727isNat1010n__000and201720s1010plus271727U2130172737activate101U11211025tt00isNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__sXactivateXactivaten__isNatXisNatXisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2activaten__plusX1X2plusactivateX1activateX2plusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMplusNsMandisNatMn__isNatNU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXisNatn__sV1isNatactivateV1isNatn__sV1activateV1activaten__isNatXisNatXactivaten__sXactivateXtrue1isNat1211activate1110003n__s101n__isNat1110n__plus20102isNat1110n__003and2102s101plus20102U21310203activate101U1121020tt00isNatn__sV1isNatactivateV1activaten__isNatXisNatXactivaten__sXactivateXU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXactivaten__sXactivateXtrueactivate11activaten__isNatXisNatXfalseisNatn__sV1isNatactivateV1true1641isNat1213000n__s1112n__isNat1414n__plus221224isNat1414n__000and211120s1112plus221224U2130122236activate1110U11201124tt01U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXactivaten__plusX1X2plusactivateX1activateX2falseplusNsMU21andisNatMn__isNatNMNU21ttMNplusactivateNactivateMtrue1641plus201122U2130112032000n__s1112n__isNat1010n__plus221621isNat1010n__000and201420s1112plus221621U2130162234activate1110U11201121tt00U21ttMNplusactivateNactivateMU11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXU21ttMNplusactivateNactivateMfalseplusNsMandisNatMn__isNatNfalseisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2falseplusN0U11isNatNNfalseU21ttMNsplusactivateNactivateMfalseactivaten__sXsactivateXfalseactivaten__00false