a__U11ttNmarkNa__U21ttMNsa__plusmarkNmarkMa__andttXmarkXa__isNat0tta__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__plusN0a__U11a__isNatNNa__plusNsMa__U21a__anda__isNatMisNatNMNmarkU11X1X2a__U11markX1X2markU21X1X2X3a__U21markX1X2X3markplusX1X2a__plusmarkX1markX2markandX1X2a__andmarkX1X2markisNatXa__isNatXmarkttttmarksXsmarkXmark00a__U11X1X2U11X1X2a__U21X1X2X3U21X1X2X3a__plusX1X2plusX1X2a__andX1X2andX1X2a__isNatXisNatXa__U11ttNmarkNa__U21ttMNmarkMa__U21ttMNmarkNa__U21ttMNa__plusmarkNmarkMa__andttXmarkXa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1a__plusN0a__isNatNa__plusN0a__U11a__isNatNNa__plusNsMa__isNatMa__plusNsMa__anda__isNatMisNatNa__plusNsMa__U21a__anda__isNatMisNatNMNmarkU11X1X2markX1markU11X1X2a__U11markX1X2markU21X1X2X3markX1markU21X1X2X3a__U21markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXmarksXmarkXtrue1a__isNat1010a__and211120a__plus211220a__U2130122138mark1110a__U11211121and211120U2136122838U11211821isNat1010plus281220a__isNat1010001a__and211120s1118a__plus281220a__U2136122838mark1110a__U11211821tt00a__andttXmarkXa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatV1isNatV2a__isNatsV1a__isNatV1markU11X1X2a__U11markX1X2markU21X1X2X3a__U21markX1X2X3markplusX1X2markX2markplusX1X2markX1markplusX1X2a__plusmarkX1markX2markandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXa__isNatplusV1V2a__isNatV1a__isNatplusV1V2a__anda__isNatV1isNatV2a__andttXmarkXmarkplusX1X2markX2markplusX1X2markX1markandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXa__isNatsV1a__isNatV1true1a__isNat1414a__and201420mark1410and221120U2130142232U11201220isNat1411plus221422a__isNat1411007a__and221120s1110a__plus221422a__U2130142232mark1110a__U11201220tt00a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markisNatXa__isNatXa__isNatsV1a__isNatV1a__andttXmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2true1a__and281228mark1218and281820U2130192930U11221126isNat1410plus291920a__isNat1410001a__and281820s1110a__plus291920a__U2130192930mark1110a__U11221126tt04markandX1X2markX1markandX1X2a__andmarkX1X2markandX1X2markX1true1mark18112and211221U2130142134U11201120isNat1110plus211421a__isNat1110001a__and211221s1111a__plus211421a__U2130142134mark1110a__U11201120tt01markandX1X2a__andmarkX1X2falsemarkisNatXa__isNatXfalsea__isNatsV1a__isNatV1true1a__isNat1118and201120U2130162139U11231120isNat1013plus211628a__isNat1013006a__and201120s1111a__plus211628a__U2130162139mark1110a__U11231120tt03markplusX1X2a__plusmarkX1markX2falsemarkU21X1X2X3a__U21markX1X2X3falsemarkU11X1X2a__U11markX1X2false