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__plus211129a__U42301121311a__U41301121311mark1112a__U312011211U4238182239U41311822312U312112212U211210isNat1010U121510U11241020plus221827002s1112a__plus221827a__U4238182239a__U41311822312mark1110a__U312112212a__U211210a__U121510a__isNat1010a__U11241020tt00a__plusN0a__U31a__isNatNNmarkU11X1X2markX1markU12XmarkXmarkU21XmarkXa__U41ttMNa__U42a__isNatNMNmarkU42X1X2X3a__U42markX1X2X3markplusX1X2a__plusmarkX1markX2a__plusNsMa__U41a__isNatMMNmarkU21XmarkXmarkU11X1X2markX1markU12XmarkXtrue1mark1419U4230122430U4130122430U31201420U211110isNat1210U121218U11241420plus241220008s1110a__plus241220a__U4230122430a__U4130122430mark1110a__U31201420a__U211110a__U121218a__isNat1210a__U11241420tt02markU21XmarkXmarkU11X1X2markX11mark1410U4230142234U41301422313U31201221U211110isNat1111U121110U11211421plus221421000s1113a__plus221421a__U4230142234a__U41301422313mark1110a__U31201221a__U211110a__U121110a__isNat1111a__U11211421tt01markU21XmarkX1mark1110U4230142138U41301421312U31201120U211111isNat1410U121210U11201820plus211420002s1118a__plus211420a__U4230142138a__U41301421312mark1110a__U31201120a__U211111a__U121210a__isNat1410a__U11201820tt08markplusX1X2a__plusmarkX1markX2falsemarkU42X1X2X3a__U42markX1X2X3falsea__plusNsMa__U41a__isNatMMNfalsea__U41ttMNa__U42a__isNatNMNfalsea__plusN0a__U31a__isNatNNfalsea__plusNsMa__isNatMfalsea__plusN0a__isNatNfalsea__U41ttMNa__isNatNfalsemarkU21Xa__U21markXfalsemarkisNatXa__isNatXfalsemarkU12Xa__U12markXfalsemarkU11X1X2a__U11markX1X2falsea__U11ttV2a__isNatV2a__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V2a__isNatsV1a__isNatV1true1a__isNat1110a__U11201220U4231122139U4139122139U31201120U211010isNat1010U121010U11291020plus211220000s1115a__plus211220a__U4231122139a__U4139122139mark1110a__U31201120a__U211010a__U121010a__isNat1010a__U11291020tt00a__U11ttV2a__isNatV2a__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__U11a__isNatV1V21a__isNat1710a__U11201820U4230102230U4130102231U31201125U211010isNat1110U121212U11221222plus221827006s1010a__plus221828a__U4230102230a__U4130102231mark1210a__U31201225a__U211010a__U121212a__isNat1210a__U11221423tt00a__U11ttV2a__isNatV2a__U11ttV2a__isNatV2falsea__isNatsV1a__U21a__isNatV1falsea__U11ttV2a__U12a__isNatV2false