ain_baseV0V1V2V4Iain_baseV0V1V3V4Aain_baseV0V1V2V3F
VC for in_base_concat
ain_baseV0V1V2V4Iain_baseV0V1V3V4Iain_baseV0V1V2V3F
a<a-V6a+V5c1a-V6V5Aa<=c0a-V6V5Ia<V5V6F
VC for svalue_le_sub
ia=asvalue_le_subV5V6V7V8c0a=asvalue_le_subV5V6V7V8a+auchar'intaV6V7a*V5asvalue_le_subV5V6a+V7c1V8a<V7V8F
a<=anam
ain_baseabaxana+amc1
a<=c2ab
a<=abc256
a<anam
a<a-ama+anc1a-amanAa<=c0a-aman
variant decrease
a<=a+anc1am
precondition
ain_baseabaxa+anc1a+amc1
a<=abc256Aa<=c2ab
a=asvalue_le_subabaxV9a+amc1a+asvalue_le_subabaxV9ama*auchar'intagetaxamapoweraba-amV9La+anc1ONa<anam
a=asvalue_le_subabaxana+amc1a+asvalue_le_subabaxanama*auchar'intagetaxamapoweraba-aman
postcondition
a=asvalue_le_subV9V10V11a+V12c1a+asvalue_le_subV9V10V11V12a*auchar'intagetV10V12apowerV9a-V12V11Ia=asvalue_le_subV9V10V13a+V12c1a+asvalue_le_subV9V10V13V12a*auchar'intagetV10V12apowerV9a-V12V13La+V11c1ONa<V11V12Aa<=V9c256Aa<=c2V9Aain_baseV9V10V14a+V12c1Aa<=V14V12Aa<a-V12V14a-V12V11Aa<=c0a-V12V11La+V11c1Ia<V11V12Ia<=V9c256Aa<=c2V9Aain_baseV9V10V11a+V12c1Aa<=V11V12F
VC for svalue_le_sub_tail
a=asvalue_le_subV9V10V11a+V12c1a+asvalue_le_subV9V10V11V12a*auchar'intagetV10V12apowerV9a-V12V11Ia<=V9c256Aa<=c2V9Iain_baseV9V10V11a+V12c1Ia<=V11V12F
a<=amal
ain_baseabaxanal
assertion
a<=amalAa<=a+anc1am
ain_baseabaxa+anc1al
a=asvalue_le_subabaxV13ala+asvalue_le_subabaxV13ama*asvalue_le_subabaxamalapoweraba-amV13La+anc1Aa<anamONa<anam
a=asvalue_le_subabaxanala+asvalue_le_subabaxanama*asvalue_le_subabaxamalapoweraba-aman
a=asvalue_le_subV13V14V15V17a+asvalue_le_subV13V14V15V16a*asvalue_le_subV13V14V16V17apowerV13a-V16V15Ia=asvalue_le_subV13V14V18V17a+asvalue_le_subV13V14V18V16a*asvalue_le_subV13V14V16V17apowerV13a-V16V18La+V15c1Aa<V15V16ONa<V15V16Aa<=V13c256Aa<=c2V13Aain_baseV13V14V19V17Aa<=V16V17Aa<=V19V16Aa<a-V16V19a-V16V15Aa<=c0a-V16V15La+V15c1Ia<V15V16Aa<V15V16Ia<V15V16Ia<=V13c256Aa<=c2V13Aain_baseV13V14V15V17Aa<=V16V17Aa<=V15V16F
VC for svalue_le_sub_concat
a=asvalue_le_subV13V14V15V17a+asvalue_le_subV13V14V15V16a*asvalue_le_subV13V14V16V17apowerV13a-V16V15Ia<=V13c256Aa<=c2V13Iain_baseV13V14V15V17Ia<=V16V17Aa<=V15V16F
a=asvalue_le_subV18V19V20V21a+auchar'intaV19V20a*V18asvalue_le_subV18V19a+V20c1V21Ia<=V18c256Aa<=c2V18Aain_baseV18V19V20V21Aa<V20V21F
VC for svalue_le_sub_head
a=asvalue_le_subV18V19V20V21a+auchar'intaV19V20a*V18asvalue_le_subV18V19a+V20c1V21Ia<=V18c256Aa<=c2V18Iain_baseV18V19V20V21Ia<V20V21F
amap_eq_subaxayanam
amap_eq_subaxaya+anc1am
a=asvalue_le_subabaxV22amasvalue_le_subabayV22amLa+anc1ONa<anam
a=asvalue_le_subabaxanamasvalue_le_subabayanam
a=asvalue_le_subV22V23V25V26asvalue_le_subV22V24V25V26Ia=asvalue_le_subV22V23V27V26asvalue_le_subV22V24V27V26La+V25c1ONa<V25V26Aamap_eq_subV23V24V28V26Aa<a-V26V28a-V26V25Aa<=c0a-V26V25La+V25c1Ia<V25V26Iamap_eq_subV23V24V25V26F
VC for svalue_le_sub_frame
a=asvalue_le_subV22V23V25V26asvalue_le_subV22V24V25V26Iamap_eq_subV23V24V25V26F
a<=c0aint32'intasz
ain_baseabapeltsaxaoffsetaxa+a+aoffsetaxaint32'intaszc1
a<=aoffsetaxa+aoffsetaxap2iasz
ain_baseabapeltsaxaoffsetaxa+a+aoffsetaxap2iaszc1
a=asvalue_le_subabapeltsaxaoffsetaxa+a+aoffsetaxap2iaszc1a+asvalue_le_subabapeltsaxaoffsetaxa+aoffsetaxap2iasza*auchar'intagetapeltsaxa+aoffsetaxap2iaszapoweraba-a+aoffsetaxap2iaszaoffsetax
a=asvalue_leabaxa+aint32'intaszc1a+asvalue_leabaxaint32'intasza*auchar'intaapeltsaxa+aoffsetaxaint32'intaszapowerabaint32'intasz
a=asvalue_leV27V28a+aint32'intV29c1a+asvalue_leV27V28aint32'intV29a*auchar'intaapeltsV28a+aoffsetV28aint32'intV29apowerV27aint32'intV29Ia=asvalue_le_subV27V32V31a+V30c1a+asvalue_le_subV27V32V31V30a*auchar'intagetV32V30apowerV27a-V30V31Aa<=V27c256Aa<=c2V27Aain_baseV27V32V31a+V30c1Aa<=V31V30LapeltsV28LaoffsetV28La+aoffsetV28ap2iV29Ia<=V27c256Aa<=c2V27Aain_baseV27apeltsV28aoffsetV28a+a+aoffsetV28aint32'intV29c1Aa<=c0aint32'intV29F
VC for svalue_le_tail
a=asvalue_leV27V28a+aint32'intV29c1a+asvalue_leV27V28aint32'intV29a*auchar'intaapeltsV28a+aoffsetV28aint32'intV29apowerV27aint32'intV29Ia<=V27c256Aa<=c2V27Iain_baseV27apeltsV28aoffsetV28a+a+aoffsetV28aint32'intV29c1Ia<=c0aint32'intV29F
a<=c0aint32'intan
a<=aint32'intanaint32'intam
ain_baseabapeltsaxaoffsetaxa+aoffsetaxap2iam
a<=a+aoffsetaxap2iana+aoffsetaxap2iamAa<=aoffsetaxa+aoffsetaxap2ian
a=asvalue_le_subabapeltsaxaoffsetaxa+aoffsetaxap2iama+asvalue_le_subabapeltsaxaoffsetaxa+aoffsetaxap2iana*asvalue_le_subabapeltsaxa+aoffsetaxap2iana+aoffsetaxap2iamapoweraba-a+aoffsetaxap2ianaoffsetax
a=asvalue_leabaxaint32'intama+asvalue_leabaxaint32'intana*apowerabaint32'intanasvalue_le_subabapeltsaxa+aoffsetaxaint32'intana+aoffsetaxaint32'intam
a=asvalue_leV30V31aint32'intV33a+asvalue_leV30V31aint32'intV32a*apowerV30aint32'intV32asvalue_le_subV30apeltsV31a+aoffsetV31aint32'intV32a+aoffsetV31aint32'intV33Ia=asvalue_le_subV30V37V36V34a+asvalue_le_subV30V37V36V35a*asvalue_le_subV30V37V35V34apowerV30a-V35V36Aa<=V30c256Aa<=c2V30Aain_baseV30V37V36V34Aa<=V35V34Aa<=V36V35LapeltsV31LaoffsetV31La+aoffsetV31ap2iV32La+aoffsetV31ap2iV33Ia<=V30c256Aa<=c2V30Aain_baseV30apeltsV31aoffsetV31a+aoffsetV31ap2iV33Aa<=aint32'intV32aint32'intV33Aa<=c0aint32'intV32F
VC for svalue_le_concat
a=asvalue_leV30V31aint32'intV33a+asvalue_leV30V31aint32'intV32a*apowerV30aint32'intV32asvalue_le_subV30apeltsV31a+aoffsetV31aint32'intV32a+aoffsetV31aint32'intV33Ia<=V30c256Aa<=c2V30Iain_baseV30apeltsV31aoffsetV31a+aoffsetV31ap2iV33Ia<=aint32'intV32aint32'intV33Aa<=c0aint32'intV32F
a<a-a-V35c1V34a-V35V34Aa<=c0a-V35V34Ia<V34V35F
VC for svalue_sub
ia=asvalue_subV34V35V36V37c0a=asvalue_subV34V35V36V37a+auchar'intaV35a-V37c1a*V34asvalue_subV34V35V36a-V37c1a<V36V37F
ain_baseabaxa-anc1am
a<a-a-amc1ana-amanAa<=c0a-aman
a<=ana-amc1
ain_baseabaxa-anc1a-amc1
a=asvalue_subabaxa-anc1V38a+asvalue_subabaxanV38a*auchar'intagetaxa-anc1apoweraba-V38anLa-amc1ONa<anam
a=asvalue_subabaxa-anc1ama+asvalue_subabaxanama*auchar'intagetaxa-anc1apoweraba-aman
a=asvalue_subV38V39a-V40c1V41a+asvalue_subV38V39V40V41a*auchar'intagetV39a-V40c1apowerV38a-V41V40Ia=asvalue_subV38V39a-V40c1V42a+asvalue_subV38V39V40V42a*auchar'intagetV39a-V40c1apowerV38a-V42V40La-V41c1ONa<V40V41Aa<=V38c256Aa<=c2V38Aain_baseV38V39a-V40c1V43Aa<=V40V43Aa<a-V43V40a-V41V40Aa<=c0a-V41V40La-V41c1Ia<V40V41Ia<=V38c256Aa<=c2V38Aain_baseV38V39a-V40c1V41Aa<=V40V41F
VC for svalue_sub_tail
a=asvalue_subV38V39a-V40c1V41a+asvalue_subV38V39V40V41a*auchar'intagetV39a-V40c1apowerV38a-V41V40Ia<=V38c256Aa<=c2V38Iain_baseV38V39a-V40c1V41Ia<=V40V41F
a<amal
a<a-a-alc1ama-alamAa<=c0a-alam
a<=ama-alc1Aa<=anam
ain_baseabaxana-alc1
a=asvalue_subabaxanV42a+asvalue_subabaxamV42a*apoweraba-V42amasvalue_subabaxanamLa-alc1ONa<amal
a=asvalue_subabaxanala+asvalue_subabaxamala*apoweraba-alamasvalue_subabaxanam
a=asvalue_subV42V43V44V46a+asvalue_subV42V43V45V46a*apowerV42a-V46V45asvalue_subV42V43V44V45Ia=asvalue_subV42V43V44V47a+asvalue_subV42V43V45V47a*apowerV42a-V47V45asvalue_subV42V43V44V45La-V46c1ONa<V45V46Aa<=V42c256Aa<=c2V42Aain_baseV42V43V44V48Aa<=V45V48Aa<=V44V45Aa<a-V48V45a-V46V45Aa<=c0a-V46V45La-V46c1Ia<V45V46Ia<=V42c256Aa<=c2V42Aain_baseV42V43V44V46Aa<=V45V46Aa<=V44V45F
VC for svalue_sub_concat
a=asvalue_subV42V43V44V46a+asvalue_subV42V43V45V46a*apowerV42a-V46V45asvalue_subV42V43V44V45Ia<=V42c256Aa<=c2V42Iain_baseV42V43V44V46Ia<=V45V46Aa<=V44V45F
a=asvalue_subV47V48V49V50a+auchar'intaV48a-V50c1a*V47asvalue_subV47V48V49a-V50c1Ia<=V47c256Aa<=c2V47Aain_baseV47V48V49V50Aa<V49V50F
VC for svalue_sub_head
a=asvalue_subV47V48V49V50a+auchar'intaV48a-V50c1a*V47asvalue_subV47V48V49a-V50c1Ia<=V47c256Aa<=c2V47Iain_baseV47V48V49V50Ia<V49V50F
amap_eq_subaxayana-amc1
a=asvalue_subabaxanV51asvalue_subabayanV51La-amc1ONa<anam
a=asvalue_subabaxanamasvalue_subabayanam
a=asvalue_subV51V52V54V55asvalue_subV51V53V54V55Ia=asvalue_subV51V52V54V56asvalue_subV51V53V54V56La-V55c1ONa<V54V55Aamap_eq_subV52V53V54V57Aa<a-V57V54a-V55V54Aa<=c0a-V55V54La-V55c1Ia<V54V55Iamap_eq_subV52V53V54V55F
VC for svalue_sub_frame
a=asvalue_subV51V52V54V55asvalue_subV51V53V54V55Iamap_eq_subV52V53V54V55F
Na<=aman
a<=c0asvalue_le_subabaxa+anc1amOa<=aman
a<=c0asvalue_le_subabaxanam
a<=c0asvalue_le_subV56V57V58V59Ia<=c0asvalue_le_subV56V57a+V58c1V59Oa<=V59V58Aa<=V56c256Aa<=c2V56Aa<a-V59a+V58c1a-V59V58Aa<=c0a-V59V58INa<=V59V58Ia<=V56c256Aa<=c2V56F
VC for svalue_le_sub_lower_bound
a<=c0asvalue_le_subV56V57V58V59Ia<=V56c256Aa<=c2V56F
a<=c0asvalue_subabaxana-amc1Oa<=aman
a<=c0asvalue_subabaxanam
a<=c0asvalue_subV60V61V62V63Ia<=c0asvalue_subV60V61V62a-V63c1Oa<=V63V62Aa<=V60c256Aa<=c2V60Aa<a-a-V63c1V62a-V63V62Aa<=c0a-V63V62INa<=V63V62Ia<=V60c256Aa<=c2V60F
VC for svalue_sub_lower_bound
a<=c0asvalue_subV60V61V62V63Ia<=V60c256Aa<=c2V60F
ain_baseabaxanam
Na=anam
ain_baseabaxana+a-amc1c1
a=asvalue_le_subabaxana+a-amc1c1a+asvalue_le_subabaxana-amc1a*auchar'intagetaxa-amc1apoweraba-a-amc1an
ain_baseabaxana-amc1
a<asvalue_le_subabaxana-amc1apoweraba-a-amc1an
a<=asvalue_le_subabaxanama+asvalue_le_subabaxana-amc1a*apoweraba-a-amanc1a-abc1
a<=asvalue_le_subabaxanama+asvalue_le_subabaxana-amc1a*apoweraba-a-amanc1a-abc1Aa<asvalue_le_subabaxanV65apoweraba-V65anLa-amc1Aa=asvalue_le_subabaxana+V64c1a+asvalue_le_subabaxanV64a*auchar'intagetaxV64apoweraba-V64anLa-amc1Oa=anam
a<asvalue_le_subabaxanamapoweraba-aman
a<asvalue_le_subV64V65V66V67apowerV64a-V67V66Ia<=asvalue_le_subV64V65V66V67a+asvalue_le_subV64V65V66a-V67c1a*apowerV64a-a-V67V66c1a-V64c1Aa<asvalue_le_subV64V65V66V69apowerV64a-V69V66La-V67c1Aa=asvalue_le_subV64V65V66a+V68c1a+asvalue_le_subV64V65V66V68a*auchar'intagetV65V68apowerV64a-V68V66La-V67c1Oa=V66V67Aa<=asvalue_le_subV64V65V66V67a+asvalue_le_subV64V65V66a-V67c1a*apowerV64a-a-V67V66c1a-V64c1Ia<asvalue_le_subV64V65V66V71apowerV64a-V71V66Aain_baseV64V65V66V71Aa<=V66V71Aa<=V64c256Aa<=c2V64Aa<a-V71V66a-V67V66Aa<=c0a-V67V66La-V67c1Ia=asvalue_le_subV64V65V66a+V70c1a+asvalue_le_subV64V65V66V70a*auchar'intagetV65V70apowerV64a-V70V66Aa<=V64c256Aa<=c2V64Aain_baseV64V65V66a+V70c1Aa<=V66V70La-V67c1INa=V66V67Iain_baseV64V65V66V67Aa<=V66V67Aa<=V64c256Aa<=c2V64F
VC for svalue_le_sub_upper_bound
a<asvalue_le_subV64V65V66V67apowerV64a-V67V66Iain_baseV64V65V66V67Ia<=V66V67Ia<=V64c256Aa<=c2V64F
ain_baseabaxa-a+anc1c1am
a=asvalue_subabaxa-a+anc1c1ama+asvalue_subabaxa+anc1ama*auchar'intagetaxa-a+anc1c1apoweraba-ama+anc1
ain_baseabaxa+anc1am
a<asvalue_subabaxa+anc1amapoweraba-ama+anc1
a<=asvalue_subabaxanama+asvalue_subabaxa+anc1ama*apoweraba-a-amanc1a-abc1
a<=asvalue_subabaxanama+asvalue_subabaxa+anc1ama*apoweraba-a-amanc1a-abc1Aa<asvalue_subabaxV69amapoweraba-amV69La+anc1Aa=asvalue_subabaxa-V68c1ama+asvalue_subabaxV68ama*auchar'intagetaxa-V68c1apoweraba-amV68La+anc1Oa=anam
a<asvalue_subabaxanamapoweraba-aman
a<asvalue_subV68V69V70V71apowerV68a-V71V70Ia<=asvalue_subV68V69V70V71a+asvalue_subV68V69a+V70c1V71a*apowerV68a-a-V71V70c1a-V68c1Aa<asvalue_subV68V69V73V71apowerV68a-V71V73La+V70c1Aa=asvalue_subV68V69a-V72c1V71a+asvalue_subV68V69V72V71a*auchar'intagetV69a-V72c1apowerV68a-V71V72La+V70c1Oa=V70V71Aa<=asvalue_subV68V69V70V71a+asvalue_subV68V69a+V70c1V71a*apowerV68a-a-V71V70c1a-V68c1Ia<asvalue_subV68V69V75V71apowerV68a-V71V75Aain_baseV68V69V75V71Aa<=V75V71Aa<=V68c256Aa<=c2V68Aa<a-V71V75a-V71V70Aa<=c0a-V71V70La+V70c1Ia=asvalue_subV68V69a-V74c1V71a+asvalue_subV68V69V74V71a*auchar'intagetV69a-V74c1apowerV68a-V71V74Aa<=V68c256Aa<=c2V68Aain_baseV68V69a-V74c1V71Aa<=V74V71La+V70c1INa=V70V71Iain_baseV68V69V70V71Aa<=V70V71Aa<=V68c256Aa<=c2V68F
VC for svalue_sub_upper_bound
a=anumlowstringaconcatadigitstringalowstring
empty_shape
a=anumupstringaconcatadigitstringaupstring
a=adigitstringasubstringanumlowstringc0c10
a=adigitstringasubstringanumupstringc0c10
a=alowstringasubstringanumlowstringc10c26
a=aupstringasubstringanumupstringc10c26
a=anumuplowstringaconcatanumupstringalowstring
a=adigitstringasubstringanumuplowstringc0c10
a=aupstringasubstringanumuplowstringc10c26
a=alowstringasubstringanumuplowstringc36c26
a=c"9"asubstringadigitstringc9c1
a=agetadigitstringa+c9c0agetadigitstringc9
a<=c9alengthadigitstringAa<=c0c9
rewrite premises
a<=c0c1
a<=a+c9c1alengthadigitstring
a<c0c1Aa<=c0c0
a=agetasubstringadigitstringc9c1c0agetadigitstringc9
a=agetc"9"c0agetadigitstringc9
a=acodeagetc"9"c0a+acodeagetc"0"c0c9
a=acodeagetc"9"c0a+acodeagetc"0"c0c9Aa=agetc"9"c0agetadigitstringc9Aa=c"9"asubstringadigitstringc9c1
VC for digits
a=c"z"asubstringalowstringc25c1
a=agetalowstringa+c25c0agetalowstringc25
a<=c25alengthalowstringAa<=c0c25
a<=a+c25c1alengthalowstring
a=agetasubstringalowstringc25c1c0agetalowstringc25
a=agetc"z"c0agetalowstringc25
a=acodeagetc"z"c0a+acodeagetc"a"c0c25
a=acodeagetc"z"c0a+acodeagetc"a"c0c25Aa=agetc"z"c0agetalowstringc25Aa=c"z"asubstringalowstringc25c1
VC for lower
a=c"Z"asubstringaupstringc25c1
a=agetaupstringa+c25c0agetaupstringa+c25c0
a<=c25alengthaupstringAa<=c0c25
a<=a+c25c1alengthaupstring
a=agetasubstringaupstringc25c1c0agetaupstringa+c25c0
a=agetc"Z"c0agetaupstringa+c25c0
a=agetaupstringa+c25c0agetaupstringc25
a=agetaupstringa+c25c0agetaupstringc25Aa=agetc"Z"c0agetaupstringa+c25c0
a=acodeagetc"Z"c0a+acodeagetc"A"c0c25
a=acodeagetc"Z"c0a+acodeagetc"A"c0c25Aa=agetaupstringa+c25c0agetaupstringc25Aa=agetc"Z"c0agetaupstringa+c25c0Aa=c"Z"asubstringaupstringc25c1
VC for upper
a<acodeagetc"9"c0acodeagetc"a"c0
a<acodeagetc"9"c0acodeagetc"A"c0
a<acodeagetc"Z"c0acodeagetc"a"c0
a<=c0auchar'intad
a<auchar'intadc36
a<auchar'intadc10
a=atagetadigitstringauchar'intad
Na<auchar'intadc10Aa<=c0auchar'intad
a=agetalowstringa-auchar'intadc10agetasubstringanumlowstringc10c26a-auchar'intadc10
a=agetanumlowstringa+c10a-auchar'intadc10agetanumlowstringauchar'intad
a<=c10alengthanumlowstringAa<=c0c10
a<=c0c26
a<=a+c10c26alengthanumlowstring
a<a-auchar'intadc10c26Aa<=c0a-auchar'intadc10
a=agetasubstringanumlowstringc10c26a-auchar'intadc10agetanumlowstringauchar'intad
a=agetalowstringa-auchar'intadc10at
VC for tnt_low
a=agetalowstringa-auchar'intadc10atItOa=agetasubstringanumlowstringc10c26a-auchar'intadc10agetanumlowstringauchar'intadAa=agetalowstringa-auchar'intadc10agetasubstringanumlowstringc10c26a-auchar'intadc10
a=atext_to_num_onecaseatauchar'intadItOtOtOa=a+a-acodeatacodeagetc"a"c0c10auchar'intadAa=atext_to_num_onecaseata+a-acodeatacodeagetc"a"c0c10Aa>acodeatacodeagetc"9"c0Aa<=a+acodeagetc"a"c0a-auchar'intadc10acodeagetc"z"c0Aa=acodeagetalowstringa-auchar'intadc10a+acodeagetc"a"c0a-auchar'intadc10Aa=acodeatacodeagetalowstringa-auchar'intadc10
ia=atext_to_num_onecaseatauchar'intadAa=agetalowstringa-auchar'intadc10ata=atagetadigitstringauchar'intada<auchar'intadc10Aa<=c0auchar'intad
a=atext_to_num_onecaseanum_to_lowercase_textadauchar'intad
a=atext_to_num_onecaseanum_to_lowercase_textV0auchar'intV0Iia=atext_to_num_onecaseV1auchar'intV0ItOtOtOa=a+a-acodeV1acodeagetc"a"c0c10auchar'intV0Aa=atext_to_num_onecaseV1a+a-acodeV1acodeagetc"a"c0c10Aa>acodeV1acodeagetc"9"c0Aa<=a+acodeagetc"a"c0a-auchar'intV0c10acodeagetc"z"c0Aa=acodeagetalowstringa-auchar'intV0c10a+acodeagetc"a"c0a-auchar'intV0c10Aa=acodeV1acodeagetalowstringa-auchar'intV0c10Aa=agetalowstringa-auchar'intV0c10V1ItOa=agetasubstringanumlowstringc10c26a-auchar'intV0c10agetanumlowstringauchar'intV0Aa=agetalowstringa-auchar'intV0c10agetasubstringanumlowstringc10c26a-auchar'intV0c10a=V1agetadigitstringauchar'intV0a<auchar'intV0c10Aa<=c0auchar'intV0Aia=atext_to_num_onecaseV1auchar'intV0ItOtOtOa=a+a-acodeV1acodeagetc"a"c0c10auchar'intV0Aa=atext_to_num_onecaseV1a+a-acodeV1acodeagetc"a"c0c10Aa>acodeV1acodeagetc"9"c0Aa<=a+acodeagetc"a"c0a-auchar'intV0c10acodeagetc"z"c0Aa=acodeagetalowstringa-auchar'intV0c10a+acodeagetc"a"c0a-auchar'intV0c10Aa=acodeV1acodeagetalowstringa-auchar'intV0c10Ia=agetalowstring
a=atext_to_num_onecaseanum_to_lowercase_textV0auchar'intV0Ia<auchar'intV0c36Aa<=c0auchar'intV0F
a=agetaupstringa-auchar'intadc10agetasubstringanumupstringc10c26a-auchar'intadc10
a=agetanumupstringa+c10a-auchar'intadc10agetanumupstringauchar'intad
a<=c10alengthanumupstringAa<=c0c10
a<=a+c10c26alengthanumupstring
a=agetasubstringanumupstringc10c26a-auchar'intadc10agetanumupstringauchar'intad
a=agetaupstringa-auchar'intadc10at
VC for tnt_up
a=agetaupstringa-auchar'intadc10atItOa=agetasubstringanumupstringc10c26a-auchar'intadc10agetanumupstringauchar'intadAa=agetaupstringa-auchar'intadc10agetasubstringanumupstringc10c26a-auchar'intadc10
a=acodeatacodeagetaupstringa-auchar'intadc10
a=acodeagetaupstringa-auchar'intadc10a+acodeagetc"A"c0a-auchar'intadc10
a<=a+acodeagetc"A"c0a-auchar'intadc10acodeagetc"Z"c0
a>acodeatacodeagetc"9"c0
a<acodeatacodeagetc"a"c0
a=atext_to_num_onecaseata+a-acodeatacodeagetc"A"c0c10
a=a+a-acodeatacodeagetc"A"c0c10auchar'intad
a=atext_to_num_onecaseatauchar'intad
a=atext_to_num_onecaseatauchar'intadItOtOtOtOa=a+a-acodeatacodeagetc"A"c0c10auchar'intadAa=atext_to_num_onecaseata+a-acodeatacodeagetc"A"c0c10Aa<acodeatacodeagetc"a"c0Aa>acodeatacodeagetc"9"c0Aa<=a+acodeagetc"A"c0a-auchar'intadc10acodeagetc"Z"c0Aa=acodeagetaupstringa-auchar'intadc10a+acodeagetc"A"c0a-auchar'intadc10Aa=acodeatacodeagetaupstringa-auchar'intadc10
a=atext_to_num_onecaseanum_to_uppercase_textadauchar'intad
ia=atext_to_num_onecaseatauchar'intadAa=agetaupstringa-auchar'intadc10ata=atagetadigitstringauchar'intada<auchar'intadc10Aa<=c0auchar'intad
a=atext_to_num_onecaseanum_to_uppercase_textV1auchar'intV1Iia=atext_to_num_onecaseV2auchar'intV1ItOtOtOtOa=a+a-acodeV2acodeagetc"A"c0c10auchar'intV1Aa=atext_to_num_onecaseV2a+a-acodeV2acodeagetc"A"c0c10Aa<acodeV2acodeagetc"a"c0Aa>acodeV2acodeagetc"9"c0Aa<=a+acodeagetc"A"c0a-auchar'intV1c10acodeagetc"Z"c0Aa=acodeagetaupstringa-auchar'intV1c10a+acodeagetc"A"c0a-auchar'intV1c10Aa=acodeV2acodeagetaupstringa-auchar'intV1c10Aa=agetaupstringa-auchar'intV1c10V2ItOa=agetasubstringanumupstringc10c26a-auchar'intV1c10agetanumupstringauchar'intV1Aa=agetaupstringa-auchar'intV1c10agetasubstringanumupstringc10c26a-auchar'intV1c10a=V2agetadigitstringauchar'intV1a<auchar'intV1c10Aa<=c0auchar'intV1Aia=atext_to_num_onecaseV2auchar'intV1ItOtOtOtOa=a+a-acodeV2acodeagetc"A"c0c10auchar'intV1Aa=atext_to_num_onecaseV2a+a-acodeV2acodeagetc"A"c0c10Aa<acodeV2acodeagetc"a"c0Aa>acodeV2acodeagetc"9"c0Aa<=a+acodeagetc"A"c0a-auchar'intV1c10acodeagetc"Z"c0Aa=acodeagetaupstringa-auchar'intV1c10a+acodeagetc"A"c0a-auchar'intV1c10Aa=acodeV2acodeaget
a=atext_to_num_onecaseanum_to_uppercase_textV1auchar'intV1Ia<auchar'intV1c36Aa<=c0auchar'intV1F
a<auchar'intadc62
a<=c10auchar'intad
a=agetaupstringa-auchar'intadc10agetasubstringanumuplowstringc10c26a-auchar'intadc10
a=agetanumuplowstringa+c10a-auchar'intadc10agetanumuplowstringauchar'intad
a<=c10alengthanumuplowstringAa<=c0c10
a<=a+c10c26alengthanumuplowstring
a=agetasubstringanumuplowstringc10c26a-auchar'intadc10agetanumuplowstringauchar'intad
VC for tnt_both
a=agetaupstringa-auchar'intadc10atItOa=agetasubstringanumuplowstringc10c26a-auchar'intadc10agetanumuplowstringauchar'intadAa=agetaupstringa-auchar'intadc10agetasubstringanumuplowstringc10c26a-auchar'intadc10
a=atext_to_num_bothcaseata+a-acodeatacodeagetc"A"c0c10
a=atext_to_num_bothcaseatauchar'intad
a=atext_to_num_bothcaseatauchar'intadItOtOtOtOa=a+a-acodeatacodeagetc"A"c0c10auchar'intadAa=atext_to_num_bothcaseata+a-acodeatacodeagetc"A"c0c10Aa<acodeatacodeagetc"a"c0Aa>acodeatacodeagetc"9"c0Aa<=a+acodeagetc"A"c0a-auchar'intadc10acodeagetc"Z"c0Aa=acodeagetaupstringa-auchar'intadc10a+acodeagetc"A"c0a-auchar'intadc10Aa=acodeatacodeagetaupstringa-auchar'intadc10
Na<auchar'intadc36Aa<=c10auchar'intad
a=agetalowstringa-auchar'intadc36agetasubstringanumuplowstringc36c26a-auchar'intadc36
a=agetanumuplowstringa+c36a-auchar'intadc36agetanumuplowstringauchar'intad
a<=c36alengthanumuplowstringAa<=c0c36
a<=a+c36c26alengthanumuplowstring
a<a-auchar'intadc36c26Aa<=c0a-auchar'intadc36
a=agetasubstringanumuplowstringc36c26a-auchar'intadc36agetanumuplowstringauchar'intad
a=agetalowstringa-auchar'intadc36at
a=agetalowstringa-auchar'intadc36atItOa=agetasubstringanumuplowstringc36c26a-auchar'intadc36agetanumuplowstringauchar'intadAa=agetalowstringa-auchar'intadc36agetasubstringanumuplowstringc36c26a-auchar'intadc36
a=atext_to_num_bothcaseatauchar'intadItOtOtOa=a+a-acodeatacodeagetc"a"c0c10auchar'intadAa=atext_to_num_bothcaseata+a-acodeatacodeagetc"a"c0c10Aa>acodeatacodeagetc"9"c0Aa<=a+acodeagetc"a"c0a-auchar'intadc36acodeagetc"z"c0Aa=acodeagetalowstringa-auchar'intadc36a+acodeagetc"a"c0a-auchar'intadc36Aa=acodeatacodeagetalowstringa-auchar'intadc36
a=atext_to_num_bothcaseanum_to_bothcase_textadauchar'intad
iia=atext_to_num_bothcaseatauchar'intadAa=agetalowstringa-auchar'intadc36ata=atext_to_num_bothcaseatauchar'intadAa=agetaupstringa-auchar'intadc10ata<auchar'intadc36Aa<=c10auchar'intada=atagetadigitstringauchar'intada<auchar'intadc10Aa<=c0auchar'intad
a=atext_to_num_bothcaseanum_to_bothcase_textV2auchar'intV2Iiia=atext_to_num_bothcaseV3auchar'intV2ItOtOtOa=a+a-acodeV3acodeagetc"a"c0c10auchar'intV2Aa=atext_to_num_bothcaseV3a+a-acodeV3acodeagetc"a"c0c10Aa>acodeV3acodeagetc"9"c0Aa<=a+acodeagetc"a"c0a-auchar'intV2c36acodeagetc"z"c0Aa=acodeagetalowstringa-auchar'intV2c36a+acodeagetc"a"c0a-auchar'intV2c36Aa=acodeV3acodeagetalowstringa-auchar'intV2c36Aa=agetalowstringa-auchar'intV2c36V3ItOa=agetasubstringanumuplowstringc36c26a-auchar'intV2c36agetanumuplowstringauchar'intV2Aa=agetalowstringa-auchar'intV2c36agetasubstringanumuplowstringc36c26a-auchar'intV2c36a=atext_to_num_bothcaseV3auchar'intV2ItOtOtOtOa=a+a-acodeV3acodeagetc"A"c0c10auchar'intV2Aa=atext_to_num_bothcaseV3a+a-acodeV3acodeagetc"A"c0c10Aa<acodeV3acodeagetc"a"c0Aa>acodeV3acodeagetc"9"c0Aa<=a+acodeagetc"A"c0a-auchar'intV2c10acodeagetc"Z"c0Aa=acodeagetaupstringa-auchar'intV2c10a+acodeagetc"A"c0a-auchar'intV2c10Aa=acodeV3acodeagetaupstringa-auchar'intV2c10Aa=agetaupstringa-auchar'intV2c10V3ItOa=agetasubstring
a=atext_to_num_bothcaseanum_to_bothcase_textV2auchar'intV2Ia<auchar'intV2c62Aa<=c0auchar'intV2F
a<=c-36abase
a<=abasec62
a<auchar'intadaabsabase
a<=c0abase
a<=abasec36
a<auchar'intadc36Aa<=c0auchar'intad
Na<=abasec36Aa<=c0abase
a<c36abase
a<auchar'intadc62Aa<=c0auchar'intad
Na<=abasec62Aa<c36abase
iia=atext_to_num_onecaseanum_to_uppercase_textadauchar'intada=atext_to_num_bothcaseanum_to_bothcase_textadauchar'intada<=abasec62Aa<c36abasea=atext_to_num_onecaseanum_to_lowercase_textadauchar'intada<=abasec36Aa<=c0abase
a=atext_to_numabaseanum_to_textabaseadauchar'intad
a=atext_to_numV3anum_to_textV3V4auchar'intV4Iiia=atext_to_num_onecaseanum_to_uppercase_textV4auchar'intV4a=atext_to_num_bothcaseanum_to_bothcase_textV4auchar'intV4a<=V3c62Aa<c36V3a=atext_to_num_onecaseanum_to_lowercase_textV4auchar'intV4a<=V3c36Aa<=c0V3Aiia<auchar'intV4c36Aa<=c0auchar'intV4a<auchar'intV4c62Aa<=c0auchar'intV4a<=V3c62Aa<c36V3a<auchar'intV4c36Aa<=c0auchar'intV4a<=V3c36Aa<=c0V3Ia<auchar'intV4aabsV3Aa<=c0auchar'intV4Aa<=V3c62Aa<=c-36V3F
VC for tnt
a<a-a-V1c1V0a-V1V0Aa<=c0a-V1V0Ia<V0V1F
VC for abs_value_sub_text
ia=aabs_value_sub_textV0V1V2V3c0a=aabs_value_sub_textV0V1V2V3a+atext_to_numV0aV1a-V3c1a*V0aabs_value_sub_textV0V1V2a-V3c1a<V2V3F
ato_numabatadanam
ato_numabatadana-amc1
a=aabs_value_sub_textabatanV4asvalue_subabadanV4La-amc1ONa<anam
a=aabs_value_sub_textabatanamasvalue_subabadanam
a=aabs_value_sub_textV4V5V7V8asvalue_subV4V6V7V8Ia=aabs_value_sub_textV4V5V7V9asvalue_subV4V6V7V9La-V8c1ONa<V7V8Aato_numV4V5V6V7V10Aa<a-V10V7a-V8V7Aa<=c0a-V8V7La-V8c1Ia<V7V8Iato_numV4V5V6V7V8F
VC for text_conversion
a=aabs_value_sub_textV4V5V7V8asvalue_subV4V6V7V8Iato_numV4V5V6V7V8F
a=aaxV9aayV9Ia<V9amAa<=anV9F
a<=anai
a<aia-amc1
a=aaxaiaayai
a=aabs_value_sub_textabaxanV10aabs_value_sub_textabayanV10La-amc1ONa<anam
a=aabs_value_sub_textabaxanamaabs_value_sub_textabayanam
a=aabs_value_sub_textV9V10V12V13aabs_value_sub_textV9V11V12V13Ia=aabs_value_sub_textV9V10V12V14aabs_value_sub_textV9V11V12V14La-V13c1ONa<V12V13Aa=aV10V16aV11V16Ia<V16V15Aa<=V12V16FAa<a-V15V12a-V13V12Aa<=c0a-V13V12La-V13c1Ia<V12V13Ia=aV10V17aV11V17Ia<V17V13Aa<=V12V17FF
VC for abs_value_sub_text_frame

b29a2c9b0978e6c72dd08f465f820881 1H0
66956a1bad75e35585a34ad7a31b1a84 4H3H2
1dd2e6dcba3c787c3ef6df13c3c3d302 21H20H5H2
c806eee06f2e4602394dc41dbfe7a709 12H11H10H9H8H7H6H5H2
87688467787dd5c5f194de8d0c25b900 14H13H10H9H8H7H6H5H2
33970b8b162c53520f85a799ea0fbe57 14H15H13H10H9H8H7H6H5H2
8bdaa9bb5a92f3c2a185e18800447857 14H16H15H13H10H9H8H7H6H5H2
b85fe77261389616e333cd4620dec690 19H18H17H9H8H7H6H5H2
a197a29f071f3a6f610d743d7162838e 31H30H22H5H2
6b60d6885cb7c72bfd4aca645262e029 25H10H10H9H8H24H23H6H22H5H2
9ba6330926ba573747bb05d2b203cc2e 12H11H10H10H9H8H24H23H6H22H5H2
133e07320f4d1f7d247b79bf747286e2 14H26H10H10H9H8H24H23H6H22H5H2
efb5579faa174694c09ac4f410d66221 14H27H26H10H10H9H8H24H23H6H22H5H2
4d9a486822dc667cfd7e57a8928657d6 14H16H27H26H10H10H9H8H24H23H6H22H5H2
eda4da76d2177f2c7dc8a5a071f79d38 19H29H28H9H8H24H23H6H22H5H2
05f434a953138b7da618e4bd575b88a1 34H33H32H22H5H2
16c23821eb9e85b7dfc55f3d50b08ff1 41H40H35H32H22H5H2
b9aa8d688e4884dccc47f793f35c174e 12H11H10H36H35H32H22H5H2
a3b00d35216b90216023c4e00ed5664e 14H37H10H36H35H32H22H5H2
c2832df88b85bb6d6e4ce2b62c11173f 19H39H38H36H35H32H22H5H2
e54bab5378450084b849de1c52133e7c 50H49H42H35H32H22H5H2
f0a246910a50cff9b165f4b64c791112 14H45H9H8H44H43H42H35H32H22H5H2
0ec31e20394b226818ab1c4d3748e700 14H46H45H9H8H44H43H42H35H32H22H5H2
e8d4983da42a700a983cc6cb77f3089d 14H16H46H45H9H8H44H43H42H35H32H22H5H2
a7c1182538b18ca7b9d134d8271337eb 19H48H47H9H8H44H43H42H35H32H22H5H2
2ec7d08383ca5de2900462df26f9637a 59H58H51H42H35H32H22H5H2
1eab26f3a3061ea8ee1b6e91eb510b91 14H55H9H8H54H53H52H51H42H35H32H22H5H2
770ab24eac8082cdde6c9809f92b6251 14H54H55H9H8H54H53H52H51H42H35H32H22H5H2
7e14345d0bf191e4513401ef6942788d 14H16H54H55H9H8H54H53H52H51H42H35H32H22H5H2
d7a36969c6ff286a47ea0621e9b19bca 19H57H56H9H8H54H53H52H51H42H35H32H22H5H2
ca31c11870252a4d1721dd0fd3a4f8c7 62H61H60H51H42H35H32H22H5H2
48959e7ba76234f5bed88058ffaafaf0 71H70H63H60H51H42H35H32H22H5H2
d61046f5406d03b2c71a09154c5e4924 12H65H10H9H8H64H6H63H60H51H42H35H32H22H5H2
0f052273e2c03b2c319323961ba0dc34 14H66H10H9H8H64H6H63H60H51H42H35H32H22H5H2
3ca138da5350509fc0d025c436da437c 14H67H66H10H9H8H64H6H63H60H51H42H35H32H22H5H2
a2324404b97a8a8188a8712976c71740 14H16H67H66H10H9H8H64H6H63H60H51H42H35H32H22H5H2
208a41c322f767a4c29d97b1b6068e16 19H69H68H9H8H64H6H63H60H51H42H35H32H22H5H2
bef6f5a6380b91a8fa9b27baf4eecf43 80H79H72H63H60H51H42H35H32H22H5H2
9e1f5fd99b5bde1c77fa792268f87e5b 12H74H73H9H8H24H23H6H72H63H60H51H42H35H32H22H5H2
63dd2efefba21930b2a950422a5fb1ab 14H75H73H9H8H24H23H6H72H63H60H51H42H35H32H22H5H2
e7145feead836ee61359a61259ab6d54 14H76H75H73H9H8H24H23H6H72H63H60H51H42H35H32H22H5H2
bbdd127507a59c5962230ef87658f7cc 14H16H76H75H73H9H8H24H23H6H72H63H60H51H42H35H32H22H5H2
6285b8eaa9cf22a08f5d3658ff89e1fd 19H78H77H9H8H24H23H6H72H63H60H51H42H35H32H22H5H2
41ca2bd27fa2756629284531e8770df5 83H82H81H72H63H60H51H42H35H32H22H5H2
51165a956e39ef478beb16758982d08c 89H88H84H81H72H63H60H51H42H35H32H22H5H2
020a7e9bc88008b2462c3006cc71ce2a 12H65H10H36H84H81H72H63H60H51H42H35H32H22H5H2
1b5beca3fb7ee79c4d23a02535e07749 14H85H10H36H84H81H72H63H60H51H42H35H32H22H5H2
f0d4697ec1968f0f377d4cd0db4cc1ab 19H87H86H36H84H81H72H63H60H51H42H35H32H22H5H2
bf035d2acc8fed0dcfeb3e7b1086141e 95H94H90H84H81H72H63H60H51H42H35H32H22H5H2
a32b135c9bc688f1ac9c102183ae6626 12H11H91H9H8H90H84H81H72H63H60H51H42H35H32H22H5H2
b85b25be2162cce0b4c824a36ee88ff5 14H16H91H9H8H90H84H81H72H63H60H51H42H35H32H22H5H2
9d32920794e6f7ed33d4b6b09ccd16c1 19H93H92H9H8H90H84H81H72H63H60H51H42H35H32H22H5H2
46e45c8e6c811d43282acdca176ee38f 100H99H96H90H84H81H72H63H60H51H42H35H32H22H5H2
7dd5cf18f3a1da86d340797f9cd8695d 12H65H91H9H8H96H90H84H81H72H63H60H51H42H35H32H22H5H2
9abccddad90546984b0e48b433603434 14H16H91H9H8H96H90H84H81H72H63H60H51H42H35H32H22H5H2
840e6c4fe9b3446c2eeef8b88cefe037 19H98H97H9H8H96H90H84H81H72H63H60H51H42H35H32H22H5H2
56c0d96f4c196661f117fc5d2b3b7ccb 112H111H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
9f894241721ccc3a87b57e5689128bf7 14H66H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
dd1603ab2b26fb893a20144950b28d46 14H104H66H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
1f2f31eab254c5306c9959404d21bfea 14H16H104H66H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
633db51864dd74401e6e4bf76e53c0a1 12H65H105H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
8846eba212c9616e36300fa852e52854 14H16H105H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
83ae81771e3b7926cb6c40a76900856f 14H66H16H105H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
b271511085b73d0f2830c48992674bf1 14H106H66H16H105H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
93a3ad37a5f3205d83e35042108f171a 25H108H107H105H103H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
2253cc49a8595509d48a11789a161279 19H110H109H102H6H9H8H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
99f9f3ff5e8831afacb89d2a8bee2fe2 122H121H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
d32f5711ba6068da1c718aea729e32de 14H13H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
5ef6456c9ac1fa16e7db86ce59515173 14H114H13H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
a85c720ed6441c7fdf1409e2dbe6bc10 14H16H114H13H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
dc0e978fd48b1c3ad604e47ce9a5b632 12H11H115H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
5f33434d1fc7e521b4f0f33313164b20 14H16H115H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
6d7a2b56890ad7e6bd2ececef253ee5a 14H13H16H115H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
8ea43d8401e03024adf47a7243a527c0 14H116H13H16H115H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
4556665ad24382221dec05103740b08c 25H118H117H115H103H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
a960a051072635ca7ab0c0c22293df92 19H120H119H102H6H9H8H113H101H96H90H84H81H72H63H60H51H42H35H32H22H5H2
a8543a0f0f314fca3ff0ea91f0763b34 124H123
a5d875cac3dca2771bd377c5301309b4 124H125H123
17806252aa307a4bdec14c1310999a87 124H126H125H123
f5bf82a5689447ac7e5dd49cb124f730 124H127H126H125H123
7032530cb79dad64c29508fe02aeb6b4 124H128H127H126H125H123
e358b8c511e0e449387f2cde4a75c279 124H129H128H127H126H125H123
663a346f84fdbdc70c61a7ee58e9bef7 124H130H129H128H127H126H125H123
99174b94bbd6392b5c997125491ee57b 124H131H130H129H128H127H126H125H123
1d70351601fbd159b2e63a3f1523e934 124H132H131H130H129H128H127H126H125H123
bc47d2ca948e66084dd42e92d62402e2 124H133H132H131H130H129H128H127H126H125H123
941619af2b97383955fea1b83c20edaf 145H144H133H132H131H130H129H128H127H126H125H123
0315b3e14300676db3c28b3e008a554c 25H134H133H132H131H130H129H128H127H126H125H123
6026741f7d95c85e14020f6cbd8c6a8d 25H142H134H133H132H131H130H129H128H127H126H125H123
3daf83ab553c705cb20697a67c0b9f50 25H141H134H133H132H131H130H129H128H127H126H125H123
65b3e2fd24c69bfccb260a889bb8d50c 25H135H134H133H132H131H130H129H128H127H126H125H123
ba6a137a08d2802b61ee5f474da56d08 137H136H134H133H132H131H130H129H128H127H126H125H123
c06935df9f85fbe8564504339bd6f86d 137H138H134H133H132H131H130H129H128H127H126H125H123
1556df9cd7357a9cae3f8137ac3714ea 137H139H134H133H132H131H130H129H128H127H126H125H123
e5fc9f9f2e9540a7d9a4c4f0e728cad6 137H140H134H133H132H131H130H129H128H127H126H125H123
d26a5ba2cc5305cf37d7d1debd514338 19H143H142H134H133H132H131H130H129H128H127H126H125H123
88837e9dd3925e9aec43fa4c8c084c8f 154H153H143H133H132H131H130H129H128H127H126H125H123
94dff7599a6e13ea7986230ea7dba68c 25H146H143H133H132H131H130H129H128H127H126H125H123
14f57656dbc13d2aad6602e35a0a8038 25H151H146H143H133H132H131H130H129H128H127H126H125H123
6e71a6e2531607f1cf32032295a3d3cb 25H150H146H143H133H132H131H130H129H128H127H126H125H123
de4513f323f9634fa1a975c5952b30a7 25H147H146H143H133H132H131H130H129H128H127H126H125H123
9cbbdbaa547c468ee2239d134cbb946c 137H148H146H143H133H132H131H130H129H128H127H126H125H123
c2a002fdadc2352b5a3be1de359530e5 137H138H146H143H133H132H131H130H129H128H127H126H125H123
bc69e282e73156d0bd5e23855e5d7603 137H149H146H143H133H132H131H130H129H128H127H126H125H123
ba8e6bd1ae059a9640372cd5f57931a3 137H140H146H143H133H132H131H130H129H128H127H126H125H123
2c62fbf73137592a8495d557d184f740 19H152H151H146H143H133H132H131H130H129H128H127H126H125H123
35e68388228f401708d43b75fa715180 165H164H152H143H133H132H131H130H129H128H127H126H125H123
1fe3171694471e49fa6853dc907e561a 25H155H152H143H133H132H131H130H129H128H127H126H125H123
1fe3171694471e49fa6853dc907e561a 25H155H152H143H133H132H131H130H129H128H127H126H125H123
59c7e9125036eea336738b7db2aab676 25H162H155H152H143H133H132H131H130H129H128H127H126H125H123
b76e851d96b8fb353deafdb4766deb46 25H160H155H152H143H133H132H131H130H129H128H127H126H125H123
d85a043f4acb5fac8368a9d14928734d 25H159H155H152H143H133H132H131H130H129H128H127H126H125H123
7acf91423678b107bc5184947d68628e 25H156H155H152H143H133H132H131H130H129H128H127H126H125H123
01ddd07f00ccf33a2b9319dfec9840b5 137H157H155H152H143H133H132H131H130H129H128H127H126H125H123
b5df00f77eac6e01f19343ce5a04d498 137H138H155H152H143H133H132H131H130H129H128H127H126H125H123
501b40f31a32595ae1041100ce60904a 137H158H155H152H143H133H132H131H130H129H128H127H126H125H123
39e4d59e9a1fb16ce81217d47b428f36 137H140H155H152H143H133H132H131H130H129H128H127H126H125H123
04430275857dcc245af8931ec16a72ac 25H161H155H152H143H133H132H131H130H129H128H127H126H125H123
cc2f27237b5f546dd174f28d792da119 19H163H162H155H152H143H133H132H131H130H129H128H127H126H125H123
2912a895d3321e332af1570ed8577737 124H166H163H152H143H133H132H131H130H129H128H127H126H125H123
4a2dda3f6284c82b02d204b8d5b83691 124H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
fa34104fe395402c761795d80fcee865 124H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
36621ea6605a1621638be9c12055430a 182H187H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
13eb1f47725cabe1eda7cd251b85cbbe 25H172H171H169H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
13eb1f47725cabe1eda7cd251b85cbbe 25H172H171H169H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
da7c2041faf77c406e44d921b8770910 25H183H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
f84b86a996a7afd01c6362cdea7683e8 25H174H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
057fc2d1ad908f18e83eaafff1a5f92a 25H180H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
9ff9b6d997367f108d99db5ed9a219ca 25H175H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
dec9c83304fd6a392056848d24af994a 137H176H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
e5ed222c75fd84aedace45b523b5984a 137H177H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
87375f0d037e3e5d799a021f222c8835 137H178H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
59473f88d5cb101ded64654cecccf195 137H179H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
e72cb8ca86c0b39abef1091d27e89c04 182H181H180H174H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
1ea8aa1a479ea77b89c802df55d5304b 25H184H181H173H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
0c4d36cdeba84192798273bfda47422b 19H186H185H170H169H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
6251ae41cdc419d91bdddc51e93fca58 195H208H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
85c62b113316a910ac890fdc088ff50e 25H172H171H169H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
6fe760ed6ce5cb20efacb873dd88908d 25H196H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
94524f45332fadb4b61e17c5de137211 25H189H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
245c9ba5a266b5a943cdbecb05f56fe1 25H193H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
d5e9d2676228ec08d27dd53f7d7a6faf 25H190H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
950e1efc58d5b64e63f2de22bbe4d72f 137H191H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
334662162343693855e815bfd7a0e36d 137H177H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
fdbc5189ce2704b19c76328ce98bcccb 137H192H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
84361aa10cc4888e2eb2a0926e893d63 137H179H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
0e32a23f1b33f607caf4d060ebd3153e 195H194H193H189H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
ac06f6f5241a8b28b32086fe63208312 25H205H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
1b2bd0a930924f98dbcd576901ab248e 25H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
6ac023995155f4c9c1efaebb61dd2453 25H198H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
4b7a0d9f62877c79507f6bd1814381d6 25H199H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
6bb85a509793925e92e4a14ca289bf3c 195H200H199H198H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
cba5ebc1ac72bebd80cf823a81ee2930 195H201H200H199H198H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
cd5dc6260d228c5aff7feba590b12ae7 195H202H201H200H199H198H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
18fa84c27b6e3a52a4900caba1a01f8e 195H203H201H200H199H198H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
7a76f9965fac1d5d3ead97f937b8ad5f 195H204H203H202H201H200H199H198H197H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
0d2b90540a0ecc287ef9541ff423c467 19H206H207H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
983669ccfb672f32a306764403b2cb56 19H206H172H171H169H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
fa835d8ae973f1d701a7ea769c49af60 19H206H204H194H173H170H169H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
f781b4f736091b6befe9ac6eb01e3c19 217H234H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
c9a9989c60b3363758fe8dd8ed931656 25H172H171H169H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
bb4729cd5d4315ddf7d67a235837bf9d 25H218H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
93fa766d9b965f3e8289dd807506fdd1 25H212H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
e0ffa931eca310ec620df8681a0e6ce6 25H216H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
55150e198ef4bc47d0632e0acc4d46e0 25H213H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
520d9189c3d97c0feec240f36d7033b8 137H214H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
5ae742d39aadc8a0e507b276748c7efe 137H177H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
dd09efeb0fe2563d8f45f89396cfe86f 137H215H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
be36e85eb8eea5432b5a2ad3c20fd81b 137H179H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
31beb30fcb4f234eec99e3ee87de6118 217H194H216H212H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
0ec89f229f1de187741b519e934d2f1b 25H221H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
d7a3159408545ccce6533bcf88a217b8 25H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
e9699b65666f96a73126d7e7910ecef0 25H198H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
f8bba260ee0f9dd22373c9f76cc9d05b 25H199H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
dd23ef06fddad0f51bd3fff93615bf49 217H200H199H198H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
4d90a855c614c210881787388599b152 217H201H200H199H198H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
25b400cf9a9c2600709f5fe5625b2f61 217H219H201H200H199H198H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
cee815e24cbfd47b6356466b1d87d83c 217H203H201H200H199H198H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
ee06c99c10fd3afeeca32ae880c89a40 217H220H203H219H201H200H199H198H197H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
c7a0b4e696322f011ad695c78fd82d5d 25H230H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
cca0a9c94d75420076299b864d229aa0 25H223H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
f5f29d3c48aa1c4829c880c3d5bec1cb 25H228H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
76ddbd0e24c01200170948ac4376bdf3 25H224H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
72196acd0981cff46b0e754396299bfa 137H225H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
2a0c4cd6a477ea6d00e9180209965962 137H177H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
4cb1942ef107ff455faaf5a272473b0d 137H226H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
c63df456b01f89f2c399f9b0c50c4a94 137H227H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
3a3654fc821b68e0c7be63283cae3e82 217H229H228H223H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
fc2b4f04f4e540230648a2181199cac9 25H231H229H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
17f970685a1e539b75d1f3613a2cb91f 19H232H233H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
bab9200a5dd0bbe7111b4c65146fd396 19H232H172H171H169H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
b31813fceb8678b66be4cf5488c00881 19H232H220H194H170H211H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
2c59d1cfe67c918d433225de4e60c148 19H232H220H229H222H173H210H169H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
421f51e78cca65d8d3ba99b09d9d4139 249H248H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
10dd5b5052bf80d6b8c802d1527f791c 14H241H240H239H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
5f2b5c7a091be8c31e86dfea4309c941 14H244H237H243H242H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
88b9d75070a7ddb02ad554c707c6ac33 14H169H237H243H242H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
512816ff0f11e34846e7ceb04a825ee8 14H210H237H243H242H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
952cf65a2cd9e518271189e9a170fa81 14H241H245H242H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
b5b277ac836018c921b3534299c9a112 19H247H246H238H169H237H236H235H209H188H168H167H166H163H152H143H133H132H131H130H129H128H127H126H125H123
305023d7113aad29724f5af5f33e9b79 251H250
cb941f5c2e0fccf5c44ca4ef5000a3a3 258H257H252
0e5e7ca67980cd33bb6532f5b9f2bea3 12H65H10H253H252
336a7442311748a28c11fd86200d28b7 14H254H10H253H252
8459ab3a936cb487c9ce10fc8f6aeba6 19H256H255H253H252
6983b60a133e0f7f722c5324a31c68c1 267H266H259H252
dc8d4156b70b83a318d7688e243a15c1 12H65H10H260H259H252
0fee495ab17d500d518a76cdab085f8b 14H263H262H261H10H260H259H252
5ab63a785a93a29e2cf2822f50e3f0e6 19H265H264H260H259H252
