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__plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2marksXmarkXtrue123456789101mark111U11211U12111U21111U31211112a__U31212mark111tt01U4131111213a__U413111213a__U423111213a__isNat11a__plus211112001s1111U4231111213plus211112a__U11211a__U12111isNat11a__U21111a__U31211112a__plus211112a__U4131111213a__U4231111213markU11X1X2markX1markU12XmarkXmarkU21XmarkXa__U31ttNmarkNa__U41ttMNa__U42a__isNatNMNa__U42ttMNa__plusmarkNmarkMmarkplusX1X2a__plusmarkX1markX2a__U31ttNmarkNfalse24markU12XmarkXmarkU11X1X2markX1markU21XmarkXtrue21mark111U121111U112111U211111a__U41ttMNa__U42a__isNatNMNfalse2a__U42ttMNa__plusmarkNmarkMfalsemarkplusX1X2a__plusmarkX1markX2falsemarkU11X1X2a__U11markX1X2false567a__U41ttMNa__isNatNfalse456a__plusN0a__isNatNfalse345a__plusNsMa__isNatMfalse234markisNatXa__isNatXfalse123a__U11ttV2a__isNatV2a__isNatplusV1V2a__U11a__isNatV1V2a__isNatplusV1V2a__isNatV1a__isNatsV1a__isNatV1true121a__U112112tt00a__isNat1111plus211112a__isNat10s1111000a__U1120a__U2110isNat10a__U1210U1120U2110U1210a__U11ttV2a__isNatV2a__U11ttV2a__isNatV2falsea__U11ttV2a__U12a__isNatV2falsea__isNatsV1a__U21a__isNatV1falsemarkU12Xa__U12markXfalsemarkU21Xa__U21markXfalse