U11ttV2U12isNatactivateV2U12ttttU21ttttU31ttNactivateNU41ttMNU42isNatactivateNactivateMactivateNU42ttMNsplusactivateNactivateMisNatn__0ttisNatn__plusV1V2U11isNatactivateV1activateV2isNatn__sV1U21isNatactivateV1plusN0U31isNatNNplusNsMU41isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXactivateXXU11ttV2activateV2U11ttV2isNatactivateV2U11ttV2U12isNatactivateV2U31ttNactivateNU41ttMNactivateMU41ttMNactivateNU41ttMNisNatactivateNU41ttMNU42isNatactivateNactivateMactivateNU42ttMNactivateMU42ttMNactivateNU42ttMNplusactivateNactivateMU42ttMNsplusactivateNactivateMisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2U11isNatactivateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatactivateV1isNatn__sV1U21isNatactivateV1plusN0isNatNplusN0U31isNatNNplusNsMisNatMplusNsMU41isNatMMNactivaten__00activaten__plusX1X2plusX1X2activaten__sXsXtrueplusN0U31isNatNNU31ttNactivateNactivaten__plusX1X2plusX1X2plusN0isNatNisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2U11isNatactivateV1activateV2U11ttV2activateV2U11ttV2isNatactivateV2isNatn__sV1activateV1isNatn__sV1isNatactivateV1plusNsMisNatMplusNsMU41isNatMMNU41ttMNactivateMU41ttMNactivateNU41ttMNisNatactivateNU41ttMNU42isNatactivateNactivateMactivateNU42ttMNactivateMU42ttMNactivateNU42ttMNplusactivateNactivateMtrue1plus211421U4230142131U4130142134U31201121isNat1111activate1111U11201221002n__s1119n__plus211420n__002s1119plus211420U42301421312U41301421312U31201128U211010U121010isNat1010activate1110U11201020tt00U31ttNactivateNactivaten__plusX1X2plusX1X2isNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatactivateV1isNatn__plusV1V2U11isNatactivateV1activateV2U11ttV2activateV2U11ttV2isNatactivateV2U42ttMNactivateMU42ttMNactivateNU42ttMNplusactivateNactivateMisNatn__plusV1V2isNatactivateV1isNatn__plusV1V2U11isNatactivateV1activateV2U11ttV2isNatactivateV2true1isNat1110U11221220000n__s1016n__plus2121828n__000s1016plus2121828U4230102136U41301023312U31221520U211010U121110isNat1314activate1210U11211824tt00isNatn__plusV1V2U11isNatactivateV1activateV2U11ttV2isNatactivateV21isNat1310U11201920001n__s1010n__plus2819211n__001s1010plus28111211U4230102034U41301028311U31201820U211010U121010isNat1010activate1310U11201020tt00U11ttV2isNatactivateV2U11ttV2isNatactivateV2falseU11ttV2activateV2falseisNatn__plusV1V2activateV1falseisNatn__plusV1V2activateV2falseU31ttNactivateNfalseU42ttMNactivateNfalseU42ttMNactivateMfalseactivaten__plusX1X2plusX1X2falseU42ttMNplusactivateNactivateMfalseU42ttMNsplusactivateNactivateMfalseU11ttV2U12isNatactivateV2falseisNatn__sV1U21isNatactivateV1falseactivaten__sXsXfalseactivaten__00false