U11ttV1V2U12isNatactivateV1activateV2U12ttV2U13isNatactivateV2U13ttttU21ttV1U22isNatactivateV1U22ttttU31ttNactivateNU41ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1isNatKindactivateV1plusN0U31andisNatNn__isNatKindNNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMN0n__0plusX1X2n__plusX1X2isNatKindXn__isNatKindXsXn__sXandX1X2n__andX1X2isNatXn__isNatXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXsactivateXactivaten__andX1X2andactivateX1X2activaten__isNatXisNatXactivateXXU11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2U12ttV2U13isNatactivateV2U21ttV1activateV1U21ttV1isNatactivateV1U21ttV1U22isNatactivateV1U31ttNactivateNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMU41ttMNsplusactivateNactivateMandttXactivateXisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1plusN0isNatNplusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNactivaten__00activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2activaten__isNatKindXisNatKindXactivaten__sXactivateXactivaten__sXsactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2activaten__isNatXisNatXtrueisNatKindn__sV1isNatKindactivateV1isNatKindn__plusV1V2activateV2activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusN0isNatNisNatn__plusV1V2activateV2activaten__isNatKindXisNatKindXisNatKindn__plusV1V2activateV1activaten__sXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXactivaten__isNatXisNatXisNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatKindn__sV1activateV1isNatn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2isNatn__plusV1V2U11andisNatKindactivateV1n__isNatKindactivateV2activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2activateV2U12ttV2isNatactivateV2plusN0andisNatNn__isNatKindNplusN0U31andisNatNn__isNatKindNNU31ttNactivateNplusNsMisNatMplusNsMandisNatMn__isNatKindMplusNsMandandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNplusNsMU41andandisNatMn__isNatKindMn__andn__isNatNn__isNatKindNMNU41ttMNactivateMU41ttMNactivateNU41ttMNplusactivateNactivateMtrue1isNatKind1210and201120plus21211224U413011221235U312011215U21201321U12211821isNat1311activate1110U113011121435n__and211220n__isNat1414001n__s1114n__isNatKind1418isNatKind1418n__plus21211424n__001and211220s1114plus21211424U413011421238U312011221U221111U21201425U1310114U122010214isNat1414activate1110U11301022314tt00activaten__plusX1X2plusactivateX1activateX2activaten__andX1X2activateX1activaten__andX1X2andactivateX1X2andttXactivateXisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2U21ttV1isNatactivateV1U11ttV1V2U12isNatactivateV1activateV2U12ttV2isNatactivateV2U11ttV1V2U12isNatactivateV1activateV2falseU12ttV2isNatactivateV2falseU21ttV1isNatactivateV1falseisNatKindn__plusV1V2andisNatKindactivateV1n__isNatKindactivateV2falseandttXactivateXactivaten__andX1X2activateX1activaten__andX1X2andactivateX1X2true1and201820activate1510n__and281221n__isNat1010000n__s1110n__isNatKind1312isNatKind1312n__plus21118212n__000and281221s1110plus21118212U413018211312U31201223U221010U21201020U131010U12201020isNat1010activate1110U1130102030tt00andttXactivateXandttXactivateXfalseactivaten__plusX1X2plusactivateX1activateX2falseU41ttMNsplusactivateNactivateMfalseU12ttV2U13isNatactivateV2falseU21ttV1U22isNatactivateV1falseactivaten__sXsactivateXfalseactivaten__00false