a__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__U11ttV2a__isNatV2a__U11ttV2a__U12a__isNatV2a__U31ttNmarkNa__U41ttMNa__isNatNa__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMa__U42ttMNmarkNa__U42ttMNa__plusmarkNmarkMa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__isNatV1a__isNatsV1a__U21a__isNatV1a__plusN0a__isNatNa__plusN0a__U31a__isNatNNa__plusNsMa__isNatMa__plusNsMa__U41a__isNatMMNmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU12XmarkXmarkU12Xa__U12markXmarkisNatXa__isNatXmarkU21XmarkXmarkU21Xa__U21markXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2marksXmarkXtruea__plusN0a__U31a__isNatNNa__U31ttNmarkNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMtrue1a__plus211424a__U4230142134a__U4130142134mark1114a__U31201124U4234142830U4134142830U31221220U211210isNat1010U121110U11211020plus281420001s1110a__plus281420a__U4234142830a__U4134142830mark1110a__U31221220a__U211210a__U121110a__isNat1010a__U11211020tt00a__U31ttNmarkNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2markX1markU31X1X2a__U31markX1X2markU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNmarkMmarkU42X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNmarkNmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X21a__plus211121a__U4230112131a__U4138112131mark1110a__U31221120U4232122131U41310122131U31221122U211210isNat1010U121410U11211020plus211221001s1110a__plus211221a__U4232122131a__U41310122131mark1110a__U31221122a__U211210a__U121410a__isNat1010a__U11211020tt00a__U31ttNmarkNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNmarkU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarksXmarkXa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__U31ttNmarkNfalsemarkU21XmarkXmarkU11X1X2markX1markU12XmarkXmarksXmarkXtruemark11markplusX1X2a__plusmarkX1markX2falsemarkU41X1X2X3a__U41markX1X2X3falsemarkU42X1X2X3a__U42markX1X2X3falsea__plusNsMa__U41a__isNatMMNa__U41ttMNa__U42a__isNatNMNa__U42ttMNa__plusmarkNmarkMtrue1a__plus201220a__U4230122030a__U4131122037U42321152134U413101152136U31201120U211110isNat1011U121010U11211020plus2111520000s1114a__plus2111520a__U42321152134a__U413101152136mark1110a__U31201120a__U211110a__U121010a__isNat1011a__U11211020tt00a__plusNsMa__U41a__isNatMMNa__U42ttMNa__plusmarkNmarkMa__U11ttV2a__U12a__isNatV2a__U12tttta__U21tttta__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNsa__plusmarkNmarkMa__isNat0tta__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__U21a__isNatV1a__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNmarkU11X1X2a__U11markX1X2markU12Xa__U12markXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU31X1X2a__U31markX1X2markU41X1X2X3a__U41markX1X2X3markU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2markttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U12XU12Xa__isNatXisNatXa__U21XU21Xa__U31X1X2U31X1X2a__U41X1X2X3U41X1X2X3a__U42X1X2X3U42X1X2X3a__plusX1X2plusX1X2a__U42ttMNa__plusmarkNmarkMfalsea__plusNsMa__U41a__isNatMMNfalsea__plusNsMa__isNatMfalsea__plusN0a__isNatNfalsea__U41ttMNa__isNatNfalsemarkU21Xa__U21markXfalsemarkisNatXa__isNatXfalsemarkU12Xa__U12markXfalsemarkU11X1X2a__U11markX1X2falsea__U11ttV2a__isNatV2a__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__isNatV1truea__U1122a__isNat11a__U11ttV2a__isNatV2a__U11ttV2a__isNatV2falsea__isNatsV1a__U21a__isNatV1falsea__U11ttV2a__U12a__isNatV2false