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__U12a__isNatV2a__U11ttV2a__isNatV2a__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U41ttMNa__isNatNa__U42ttMNa__plusmarkNmarkMa__U42ttMNmarkNa__U42ttMNmarkMa__isNatplusV1V2a__U11a__isNatV1V2a__isNatplusV1V2a__isNatV1a__isNatsV1a__U21a__isNatV1a__isNatsV1a__isNatV1a__plusN0a__U31a__isNatNNa__plusN0a__isNatNa__plusNsMa__U41a__isNatMMNa__plusNsMa__isNatMmarkU11X1X2a__U11markX1X2markU11X1X2markX1markU12Xa__U12markXmarkU12XmarkXmarkisNatXa__isNatXmarkU21Xa__U21markXmarkU21XmarkXmarkU31X1X2a__U31markX1X2markU31X1X2markX1markU41X1X2X3a__U41markX1X2X3markU41X1X2X3markX1markU42X1X2X3a__U42markX1X2X3markU42X1X2X3markX1markplusX1X2a__plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marksXmarkXtruemarkU11X1X2markX1markU12XmarkXmarkU21XmarkXmarkU31X1X2a__U31markX1X2a__U31ttNmarkNmarkU31X1X2markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNa__U42a__isNatNMNa__U42ttMNa__plusmarkNmarkMa__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNa__U42ttMNmarkNmarkU41X1X2X3markX1markU42X1X2X3a__U42markX1X2X3a__U42ttMNmarkMmarkU42X1X2X3markX1markplusX1X2a__plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marksXmarkXtrue123456789101mark1111U11211U12111U21111U31211112a__U312112mark111tt00U4131111213a__U41311213a__U42311213a__isNat10a__plus21112001s1111U4231111213plus21112a__U11211a__U12111a__U21111a__U31211112a__U4131111213a__U4231111213a__plus21112isNat10markU11X1X2markX1markU12XmarkXmarkU21XmarkXa__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__plusN0a__U31a__isNatNNa__plusNsMa__U41a__isNatMMNa__U42ttMNmarkNa__U42ttMNmarkMmarkplusX1X2markX1markplusX1X2markX2a__plusN0a__U31a__isNatNNfalse2456a__U31ttNmarkNfalse25a__plusNsMa__U41a__isNatMMNfalse234a__U41ttMNa__U42a__isNatNMNfalse3a__U42ttMNmarkNfalse2a__U42ttMNmarkMfalse1markU12XmarkXmarkU11X1X2markX1markU21XmarkXmarkplusX1X2markX1markplusX1X2markX2true1mark111U121111U1121112U21111plus21112a__U1121112tt01a__U121111a__isNat111a__U21111a__U31212mark111a__U4131213a__U4231213s111a__plus21112001isNat111U31212U4131213U4231213markU11X1X2markX1markU21XmarkXmarkplusX1X2markX1markplusX1X2markX21mark111U11211U21111plus211112a__U11211tt00a__U1210a__isNat1111a__U21111a__U31212mark111a__U41311213a__U42311213s111a__plus211112000U1210isNat1111U31212U41311213U42311213markU11X1X2markX1markU21XmarkX1mark111U112111U21111a__U112111tt00a__U1210a__isNat111a__U21111a__U31212mark111a__U413113a__U423113s111a__plus2111000plus2111U1210isNat111U31212U413113U423113markU21XmarkX1mark111U211111a__U112112tt00a__U1211a__isNat1111a__U211111a__U31212mark111a__U41311213a__U42311213s1111a__plus21112000plus21112U112112U1211isNat1111U31212U41311213U42311213markU11X1X2a__U11markX1X2false567a__U41ttMNa__isNatNfalse456a__plusN0a__isNatNfalse345a__plusNsMa__isNatMfalse234markisNatXa__isNatXfalse123a__U11ttV2a__isNatV2a__isNatplusV1V2a__U11a__isNatV1V2a__isNatplusV1V2a__isNatV1a__isNatsV1a__isNatV1true121a__U11212tt00a__isNat111plus21112a__isNat111s1111a__U1120a__U1210a__U21111a__U312112mark111a__U41311213a__U42311213a__plus21112001U1120U1210isNat111U21111U312112U41311213U42311213a__U11ttV2a__isNatV2a__isNatplusV1V2a__U11a__isNatV1V2a__isNatplusV1V2a__isNatV11a__U112112tt00a__isNat1111plus211112a__isNat111a__U1120a__U1210a__U2110a__U31212mark111a__U413113a__U4230s10a__plus211112001U1120U1210isNat111U2110U31212U413113U4230a__U11ttV2a__isNatV2a__U11ttV2a__isNatV2falsea__U11ttV2a__U12a__isNatV2falsea__isNatsV1a__U21a__isNatV1falsemarkU12Xa__U12markXfalsemarkU21Xa__U21markXfalse