a__U11ttNmarkNa__U21ttMNsa__plusmarkNmarkMa__U31tt0a__U41ttMNa__plusa__xmarkNmarkMmarkNa__andttXmarkXa__isNat0tta__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__isNatxV1V2a__anda__isNatV1isNatV2a__plusN0a__U11a__isNatNNa__plusNsMa__U21a__anda__isNatMisNatNMNa__xN0a__U31a__isNatNa__xNsMa__U41a__anda__isNatMisNatNMNmarkU11X1X2a__U11markX1X2markU21X1X2X3a__U21markX1X2X3markplusX1X2a__plusmarkX1markX2markU31Xa__U31markXmarkU41X1X2X3a__U41markX1X2X3markxX1X2a__xmarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U21X1X2X3U21X1X2X3a__plusX1X2plusX1X2a__U31XU31Xa__U41X1X2X3U41X1X2X3a__xX1X2xX1X2a__andX1X2andX1X2a__isNatXisNatXa__U11ttNmarkNa__U21ttMNmarkMa__U21ttMNmarkNa__U21ttMNa__plusmarkNmarkMa__U41ttMNmarkMa__U41ttMNmarkNa__U41ttMNa__xmarkNmarkMa__U41ttMNa__plusa__xmarkNmarkMmarkNa__andttXmarkXa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__isNatxV1V2a__isNatV1a__isNatxV1V2a__anda__isNatV1isNatV2a__plusN0a__isNatNa__plusN0a__U11a__isNatNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatNa__plusNsMa__U21a__anda__isNatMisNatNMNa__xN0a__isNatNa__xN0a__U31a__isNatNa__xNsMa__isNatMa__xNsMa__anda__isNatMisNatNa__xNsMa__U41a__anda__isNatMisNatNMNmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2markU31XmarkXmarkU31Xa__U31markXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3markxX1X2markX2markxX1X2markX1markxX1X2a__xmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarksXmarkXtruea__isNatxV1V2a__isNatV1a__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatV1isNatV2a__andttXmarkXmarkU11X1X2markX1markU11X1X2a__U11markX1X2a__U11ttNmarkNmarkU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3a__U21ttMNmarkMmarkplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2a__plusN0a__isNatNa__isNatsV1a__isNatV1a__isNatxV1V2a__anda__isNatV1isNatV2a__plusN0a__U11a__isNatNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatNa__plusNsMa__U21a__anda__isNatMisNatNMNa__U21ttMNmarkNmarkU31XmarkXmarkU41X1X2X3markX1markU41X1X2X3a__U41markX1X2X3a__U41ttMNmarkMmarkxX1X2markX2markxX1X2markX1markxX1X2a__xmarkX1markX2a__xN0a__isNatNa__xNsMa__isNatMa__xNsMa__anda__isNatMisNatNa__xNsMa__U41a__anda__isNatMisNatNMNa__U41ttMNmarkNmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarksXmarkXa__U41ttMNa__xmarkNmarkMa__U41ttMNa__plusa__xmarkNmarkMmarkNa__U21ttMNa__plusmarkNmarkMtruea__xN0a__U31a__isNatNfalsemarkU31Xa__U31markXfalse