a<=c0afrom
a<=afromalengthas
a<=afromalengthasAa<=afromafrom
loop invariant init
a<=afromai
a<aiafrom
Na=aasaiac
a<=afromak
a<=akalengthas
Na=aasV0acIa<V0akAa<=afromV0F
a<akalengthas
a<akalengthasAa<=c0ak
index in array bounds
a=aasakac
Na=aasV1acIa<V1akAa<=afromV1FAa=aasakacAa<akalengthasAa<=afromakONa=aasV2acIa<V2alengthasAa<=afromV2FAa=akc-1
postcondition
Na=aasakac
a=ak1a+akc1
a<a-alengthasak1a-alengthasakAa<=c0a-alengthasak
loop variant decrease
a<=ak1alengthasAa<=afromak1
loop invariant preservation
a<aiak1
Na<akalengthas
Na=aasV1acIa<V1c-1Aa<=afromV1FAa=aasc-1acAa<c-1alengthasAa<=afromc-1ONa=aasV2acIa<V2alengthasAa<=afromV2FAt
iNa=aV0V4V1Ia<V4c-1Aa<=V2V4FAa=aV0c-1V1Aa<c-1alengthV0Aa<=V2c-1ONa=aV0V5V1Ia<V5alengthV0Aa<=V2V5FAtiNa=aV0V7V1Ia<V7V6Aa<=V2V7FAa<=V6alengthV0Aa<=V2V6Aa<a-alengthV0V6a-alengthV0V3Aa<=c0a-alengthV0V3Ia=V6a+V3c1FNa=aV0V8V1Ia<V8V3Aa<=V2V8FAa=aV0V3V1Aa<V3alengthV0Aa<=V2V3ONa=aV0V9V1Ia<V9alengthV0Aa<=V2V9FAa=V3c-1a=aV0V3V1Aa<V3alengthV0Aa<=c0V3a<V3alengthV0INa=aV0V10V1Ia<V10V3Aa<=V2V10FAa<=V3alengthV0Aa<=V2V3FANa=aV0V11V1Ia<V11V2Aa<=V2V11FAa<=V2alengthV0Aa<=V2V2Ia<=V2alengthV0Aa<=c0V2F
VC for index_of
Na=aasV0anewlineIa<V0alengthasAa<=c0V0F
a<=c0alengthasAa<=c0c0
precondition
Na=aasV1aspaceIa<V1aoAa<=c0V1FAa=aasaoaspaceAa<aoalengthasAa<=c0aoONa=aasV2aspaceIa<V2alengthasAa<=c0V2FAa=aoc-1
a<c-1alengthasAa<=c-1c-1
a=aasaoaspaceAa<aoalengthasAa<c-1aoOa=aoc-1
a<c-1ai
a<aialengthas
t
tIa<V3alengthasAa<c-1V3F
a<=c0ai
f
a=aasaianewlineAa=aasaiaspace
a=aasV4anewlineAa=aasV4aspaceIfIa<V4alengthasAa<=c0V4F
a<aiao
Na=aasaianewline
Na=aasV5anewlineIa<V5aoAa<c-1V5F
aat_least_line_lengthasaline_length
a=alengthas1alengthas
a<=c-1alast_nl
a<alast_nlalengthas1
a=aas1alast_spaspaceAa<alast_spalengthas1Aa<alast_nlalast_spOa=alast_spc-1
a=aas1V3aasV3Ia<V3alengthas1Aa<alast_nlV3F
a=aas1V4anewlineAa=aasV4aspaceINa=aas1V4aasV4Ia<V4alengthas1Aa<=c0V4F
Na=aas1V5anewlineIa<V5alast_spAa<alast_nlV5F
aat_least_line_lengthas1aline_length
Na=alast_spc-1
a>a-alast_spalast_nlaline_length
a<alast_spalengthas1Aa<=c0alast_sp
a=alengthas2alengthas1
a=aeltsas2asetaeltsas1alast_spanewline
a=as2aas1alast_spanewline
a=alast_nl1alast_sp
a<=a+alast_spc1alengthas2Aa<=c0a+alast_spc1
Na=aas2V6aspaceIa<V6alast_sp1Aa<=a+alast_spc1V6FAa=aas2alast_sp1aspaceAa<alast_sp1alengthas2Aa<=a+alast_spc1alast_sp1ONa=aas2V7aspaceIa<V7alengthas2Aa<=a+alast_spc1V7FAa=alast_sp1c-1
a<ia-alengthas2alast_sp1c0a=alast_sp1c-1ia-alengthas1alast_spc0a=alast_spc-1Aa<=c0ia-alengthas1alast_spc0a=alast_spc-1
a<alast_nl1alengthas2Aa<=c-1alast_nl1
a=aas2alast_sp1aspaceAa<alast_sp1alengthas2Aa<alast_nl1alast_sp1Oa=alast_sp1c-1
a<alast_nl1ai
a<aialengthas2
a=aas2aiaasai
a=aas2V8aasV8Ia<V8alengthas2Aa<alast_nl1V8F
Na=aas2aiaasai
a=aas2aianewlineAa=aasaiaspace
a=aas2V9anewlineAa=aasV9aspaceINa=aas2V9aasV9Ia<V9alengthas2Aa<=c0V9F
a<aialast_sp1
Na=aas2aianewline
Na=aas2V10anewlineIa<V10alast_sp1Aa<alast_nl1V10F
aat_least_line_lengthas2aline_length
Na>a-alast_spalast_nlaline_length
a<=a+alast_spc1alengthas1Aa<=c0a+alast_spc1
Na=aas1V6aspaceIa<V6alast_sp1Aa<=a+alast_spc1V6FAa=aas1alast_sp1aspaceAa<alast_sp1alengthas1Aa<=a+alast_spc1alast_sp1ONa=aas1V7aspaceIa<V7alengthas1Aa<=a+alast_spc1V7FAa=alast_sp1c-1
a<ia-alengthas1alast_sp1c0a=alast_sp1c-1ia-alengthas1alast_spc0a=alast_spc-1Aa<=c0ia-alengthas1alast_spc0a=alast_spc-1
a<alast_nlalengthas1Aa<=c-1alast_nl
a=aas1alast_sp1aspaceAa<alast_sp1alengthas1Aa<alast_nlalast_sp1Oa=alast_sp1c-1
a<alast_nlai
a<aialengthas1
a=aas1aiaasai
a=aas1V8aasV8Ia<V8alengthas1Aa<alast_nlV8F
Na=aas1aiaasai
a=aas1aianewlineAa=aasaiaspace
a=aas1V9anewlineAa=aasV9aspaceINa=aas1V9aasV9Ia<V9alengthas1Aa<=c0V9F
Na=aas1aianewline
Na=aas1V10anewlineIa<V10alast_sp1Aa<alast_nlV10F
NNa=alast_spc-1
a=aas1V6anewlineAa=aasV6aspaceINa=aas1V6aasV6Ia<V6alengthas1Aa<=c0V6F
iaat_least_line_lengthV6V1Aa=aV6V7anewlineAa=aV0V7aspaceINa=aV6V7aV0V7Ia<V7alengthV6Aa<=c0V7Fiaat_least_line_lengthV6V1ANa=aV6V12anewlineIa<V12V11Aa<V5V12FAa=aV6V13anewlineAa=aV0V13aspaceINa=aV6V13aV0V13Ia<V13alengthV6Aa<=c0V13FAa=aV6V14aV0V14Ia<V14alengthV6Aa<V5V14FAa=aV6V11aspaceAa<V11alengthV6Aa<V5V11Oa=V11c-1Aa<V5alengthV6Aa<=c-1V5Aa<ia-alengthV6V11c0a=V11c-1ia-alengthV6V4c0a=V4c-1Aa<=c0ia-alengthV6V4c0a=V4c-1Ia=V11V10FINa=aV6V15V9Ia<V15V10Aa<=V8V15FAa=aV6V10V9Aa<V10alengthV6Aa<=V8V10ONa=aV6V16V9Ia<V16alengthV6Aa<=V8V16FAa=V10c-1FAa<=V8alengthV6Aa<=c0V8LaspaceLa+V4c1aat_least_line_lengthV18V1ANa=aV18V24anewlineIa<V24V23Aa<V19V24FAa=aV18V25anewlineAa=aV0V25aspaceINa=aV18V25aV0V25Ia<V25alengthV18Aa<=c0V25FAa=aV18V26aV0V26Ia<V26alengthV18Aa<V19V26FAa=aV18V23aspaceAa<V23alengthV18Aa<V19V23Oa=V23c-1Aa<V19alengthV18Aa<=c-1V19Aa<ia-alengthV18V23c0a=V23c-1ia-alengthV6V4c0a=V4c-1Aa<=c0ia-alengthV6V4c0a=V4c-1Ia=V23V22FINa=aV18V27V21Ia<V27V22Aa<=V20V27FAa=aV18V22V21Aa<V22alengthV18Aa<=V20V22ONa=aV18V28V21Ia<V28alength
VC for wrap_lines
a>=aline_lengthc0
a<=c0a+a-alengthasc1c1
a<c-1c0Aa<=c-1c-1Aa<=c-1c-1
a<=c0c-1
a=aasc-1anewline
a=aasc-1anewlineIa<=c0c-1
a<c-1c-1
a=aasc-1aspace
a=aasc-1aspaceIa<c-1c-1
a<aic0
Na=aasV0anewlineIa<V0c0Aa<c-1V0F
Na=aasaiaspace
Na=aasV1aspaceIa<V1c0Aa<c-1V1F
a=aasV2anewlineAa=aasV2aspaceIfIa<V2c0Aa<=c0V2F
tIa<V3alengthasAa<=c0V3F
a<aia-c-1aline_length
Na=aasV4anewlineIa<=V4a+aialine_lengthAa<=aiV4F
a<=aiaj
a<=aja+aialine_length
Na=aasajaspace
Na=aasV5aspaceIa<=V5a+V4aline_lengthAa<=V4V5FINa=aasV6anewlineIa<=V6a+V4aline_lengthAa<=V4V6FIa<V4a-c-1aline_lengthAa<=c0V4F
a<=c-1ai
a=aasaianewlineIa<=c0ai
a<aiaj
a<=ajalengthas
a<=aja+a+aialine_lengthc1
a=aasajanewlineOa=aasajaspaceIa<ajalengthas
a<aiak
a<akaj
a<=c0aind
a<=ainda-alengthasc1
a<=alast_nlalast_sp
a<alast_spaind
a=aas1alast_nlanewlineIa<=c0alast_nl
a=aas1alast_spaspaceIa<alast_nlalast_sp
Na=aas1V0anewlineIa<V0aindAa<alast_nlV0F
Na=aas1V1aspaceIa<V1aindAa<alast_spV1F
a=aas1V2anewlineAa=aasV2aspaceINa=aas1V2aasV2Ia<V2aindAa<=c0V2F
a=aas1V3aasV3Ia<V3alengthas1Aa<=aindV3F
Na=aas1V5aspaceIa<=V5a+V4aline_lengthAa<=V4V5FINa=aas1V6anewlineIa<=V6a+V4aline_lengthAa<=V4V6FIa<V4a-alast_spaline_lengthAa<=c0V4F
a=aas1V9aasV9Ia<V9V8Aa<V7V9FIa=aasV8anewlineOa=aasV8aspaceIa<V8alengthas1Ia<=V8a+a+V7aline_lengthc1Ia<=V8alengthas1Aa<V7V8FIa=aas1V7anewlineIa<=c0V7Ia<V7alengthas1Aa<=c-1V7F
a<aindalengthas1Aa<=c0aind
a=aas1aindanewline
a<alast_nlalast_sp
a<a+a+alast_nlaline_lengthc1aind
a=alast_nl1aind
a=alast_sp1aind
a<alast_sp1a+aindc1Aa<=alast_nl1alast_sp1Aa<=c-1alast_nl1
a<=c0alast_nl1
a=aas2alast_nl1anewline
a=aas2alast_nl1anewlineIa<=c0alast_nl1
a<alast_nl1alast_sp1
a=aas2alast_sp1aspace
a=aas2alast_sp1aspaceIa<alast_nl1alast_sp1
a<aia+aindc1
Na=aas2V10anewlineIa<V10a+aindc1Aa<alast_nl1V10F
a<alast_sp1ai
Na=aas2aiaspace
Na=aas2V11aspaceIa<V11a+aindc1Aa<alast_sp1V11F
a=aas2V12anewlineAa=aasV12aspaceINa=aas2V12aasV12Ia<V12a+aindc1Aa<=c0V12F
a<=a+aindc1ai
a=aas2V13aasV13Ia<V13alengthas2Aa<=a+aindc1V13F
a<aia-alast_sp1aline_length
Na=aas2V14anewlineIa<=V14a+aialine_lengthAa<=aiV14F
Na=aas2ajaspace
a=aas1V6aasV6Ia<V6V5Aa<V4V6FIa=aasV5anewlineOa=aasV5aspaceIa<V5alengthas1Ia<=V5a+a+V4aline_lengthc1Ia<=V5alengthas1Aa<V4V5FIa=aas1V4anewlineIa<=c0V4Ia<V4alengthas1Aa<=c-1V4F
a=aas2V7aasV7Ia<V7alengthas2Aa<=a+aindc1V7F
a=aas2aianewlineIa<=c0ai
a<=ajalengthas2
a=aasajanewlineOa=aasajaspaceIa<ajalengthas2
a=aas2akaasak
Na=aas2V15aspaceIa<=V15a+V14aline_lengthAa<=V14V15FINa=aas2V16anewlineIa<=V16a+V14aline_lengthAa<=V14V16FIa<V14a-alast_sp1aline_lengthAa<=c0V14F
Na<a+a+alast_nlaline_lengthc1aindAa<alast_nlalast_sp
a=aas1alast_nl1anewline
a=aas1alast_nl1anewlineIa<=c0alast_nl1
a=aas1alast_sp1aspace
a=aas1alast_sp1aspaceIa<alast_nl1alast_sp1
Na=aas1V10anewlineIa<V10a+aindc1Aa<alast_nl1V10F
Na=aas1aiaspace
Na=aas1V11aspaceIa<V11a+aindc1Aa<alast_sp1V11F
a=aas1V12anewlineAa=aasV12aspaceINa=aas1V12aasV12Ia<V12a+aindc1Aa<=c0V12F
a=aas1V13aasV13Ia<V13alengthas1Aa<=a+aindc1V13F
Na=aas1V14anewlineIa<=V14a+aialine_lengthAa<=aiV14F
Na=aas1ajaspace
Na=aas1V15aspaceIa<=V15a+V14aline_lengthAa<=V14V15FINa=aas1V16anewlineIa<=V16a+V14aline_lengthAa<=V14V16FIa<V14a-alast_sp1aline_lengthAa<=c0V14F
a=aas1aianewlineIa<=c0ai
a<=ajalengthas1
a=aasajanewlineOa=aasajaspaceIa<ajalengthas1
a=aas1akaasak
Na=aas1aindanewline
a=aas1aindaspace
a<alast_sp1a+aindc1Aa<=alast_nlalast_sp1Aa<=c-1alast_nl
a<=c0alast_nl
a=aas1alast_nlanewline
a<alast_nlalast_sp1
a=aas1alast_sp1aspaceIa<alast_nlalast_sp1
Na=aas1V10anewlineIa<V10a+aindc1Aa<alast_nlV10F
Na=aas1aindaspace
a<alast_spa+aindc1Aa<=alast_nlalast_spAa<=c-1alast_nl
a=aas1alast_spaspace
a<alast_spai
Na=aas1V11aspaceIa<V11a+aindc1Aa<alast_spV11F
a<aia-alast_spaline_length
Na=aas1V15aspaceIa<=V15a+V14aline_lengthAa<=V14V15FINa=aas1V16anewlineIa<=V16a+V14aline_lengthAa<=V14V16FIa<V14a-alast_spaline_lengthAa<=c0V14F
a<alast_spa+a-alengthasc1c1
Na=aas1V0anewlineIa<V0a+a-alengthasc1c1Aa<alast_nlV0F
Na=aas1V1aspaceIa<V1a+a-alengthasc1c1Aa<alast_spV1F
a=aas1V2anewlineAa=aasV2aspaceINa=aas1V2aasV2Ia<V2a+a-alengthasc1c1Aa<=c0V2F
a=aas1V3aasV3Ia<V3alengthas1Aa<=a+a-alengthasc1c1V3F
a<a+a+alast_nlaline_lengthc1alengthas1
a=aas2V10anewlineAa=aasV10aspaceINa=aas2V10aasV10Ia<V10alengthas2Aa<=c0V10F
a<aia-alengthas2aline_length
Na=aas2V11anewlineIa<=V11a+aialine_lengthAa<=aiV11F
Na=aas2V12aspaceIa<=V12a+V11aline_lengthAa<=V11V12FINa=aas2V13anewlineIa<=V13a+V11aline_lengthAa<=V11V13FIa<V11a-alengthas2aline_lengthAa<=c0V11F
Na<a+a+alast_nlaline_lengthc1alengthas1Aa<alast_nlalast_sp
a=aas1V10anewlineAa=aasV10aspaceINa=aas1V10aasV10Ia<V10alengthas1Aa<=c0V10F
a<aia-alengthas1aline_length
Na=aas1V11anewlineIa<=V11a+aialine_lengthAa<=aiV11F
Na=aas1V12aspaceIa<=V12a+V11aline_lengthAa<=V11V12FINa=aas1V13anewlineIa<=V13a+V11aline_lengthAa<=V11V13FIa<V11a-alengthas1aline_lengthAa<=c0V11F
a>c0a+a-alengthasc1c1
itIa<V2V1Aa<V0V2FIa=aasV1anewlineOa=aasV1aspaceIa<V1alengthasIa<=V1a+a+V0aline_lengthc1Ia<=V1alengthasAa<V0V1FIa=aasV0anewlineIa<=c0V0Ia<V0alengthasAa<=c-1V0FANa=aasV4aspaceIa<=V4a+V3aline_lengthAa<=V3V4FINa=aasV5anewlineIa<=V5a+V3aline_lengthAa<=V3V5FIa<V3a-alengthasaline_lengthAa<=c0V3FAa=aasV6anewlineAa=aasV6aspaceIfIa<V6alengthasAa<=c0V6Fa=aV8V11aasV11Ia<V11V10Aa<V9V11FIa=aasV10anewlineOa=aasV10aspaceIa<V10alengthV8Ia<=V10a+a+V9aline_lengthc1Ia<=V10alengthV8Aa<V9V10FIa=aV8V9anewlineIa<=c0V9Ia<V9alengthV8Aa<=c-1V9FANa=aV8V13aspaceIa<=V13a+V12aline_lengthAa<=V12V13FINa=aV8V14anewlineIa<=V14a+V12aline_lengthAa<=V12V14FIa<V12a-alengthV8aline_lengthAa<=c0V12FAa=aV8V15anewlineAa=aasV15aspaceINa=aV8V15aasV15Ia<V15alengthV8Aa<=c0V15FIa=V8aasc-1V7Aa=aeltsV8asetaeltsasc-1V7Ia=alengthV8alengthasFAa<c-1alengthasAa<=c0c-1Lanewlinea<a+a+c-1aline_lengthc1alengthasAa<c-1c-1
out of loop bounds
itIa<V5V4Aa<V3V5FIa=aV0V4anewlineOa=aV0V4aspaceIa<V4alengthV0Ia<=V4a+a+V3V1c1Ia<=V4alengthV0Aa<V3V4FIa=aV0V3anewlineIa<=c0V3Ia<V3alengthV0Aa<=c-1V3FANa=aV0V7aspaceIa<=V7a+V6V1Aa<=V6V7FINa=aV0V8anewlineIa<=V8a+V6V1Aa<=V6V8FIa<V6a-alengthV0V1Aa<=c0V6FAa=aV0V9anewlineAa=aV0V9aspaceIfIa<V9alengthV0Aa<=c0V9Fa=aV11V14aV0V14Ia<V14V13Aa<V12V14FIa=aV0V13anewlineOa=aV0V13aspaceIa<V13alengthV11Ia<=V13a+a+V12V1c1Ia<=V13alengthV11Aa<V12V13FIa=aV11V12anewlineIa<=c0V12Ia<V12alengthV11Aa<=c-1V12FANa=aV11V16aspaceIa<=V16a+V15V1Aa<=V15V16FINa=aV11V17anewlineIa<=V17a+V15V1Aa<=V15V17FIa<V15a-alengthV11V1Aa<=c0V15FAa=aV11V18anewlineAa=aV0V18aspaceINa=aV11V18aV0V18Ia<V18alengthV11Aa<=c0V18FIa=V11aV0c-1V10Aa=aeltsV11asetaeltsV0c-1V10Ia=alengthV11alengthV0FAa<c-1alengthV0Aa<=c0c-1Lanewlinea<a+a+c-1V1c1alengthV0Aa<c-1c-1Ia>c0a+V2c1Aia=aV21V24aV0V24Ia<V24V23Aa<V22V24FIa=aV0V23anewlineOa=aV0V23aspaceIa<V23alengthV21Ia<=V23a+a+V22V1c1Ia<=V23alengthV21Aa<V22V23FIa=aV21V22anewlineIa<=c0V22Ia<V22alengthV21Aa<=c-1V22FANa=aV21V26aspaceIa<=V26
VC for wrap_lines_plus
a<c32c256Aa<=c0c32
VC for space
a<c10c256Aa<=c0c10
VC for newline
a=axayqa=axay
a=V0V1qa=V0V1F
VC for infix ='refn

c760a886504ec89e1e924bc9c0a5ddc0 26H25
72907778128ecb893d1f7ed8de931829 3H2H1H0
3cadb511647a6b766ea98384986e1162 3H6H5H4H2H1H0
9d08dc4177f91dd4a58bdc497848b6fc 12H11H10H9H8H7H1H0
31d5f88cefd41c2ef4df56722c23e213 15H14H13H10H9H8H7H1H0
8bb5bc71826101e4468cd53db4238467 19H18H17H16H10H9H8H7H1H0
0f3ed2c735cd799b2204280f953d1582 21H20H17H16H10H9H8H7H1H0
e5c6c091247095895991c6f0ec53ac14 21H6H22H4H20H17H16H10H9H8H7H1H0
9670525a72aa83fec6486dbeba65481b 15H24H23H9H8H7H1H0
c0a3bdcbb0bda4db50f364977a9e5a91 94H93
291cf91ffdd4b38fd9b14cf65d3c9f38 29H28H27
f9dc9489f9e8449667d9681a2e7334d1 3H31H30H27
db9ffd7ae9e8ec5f90fa6c7944210e65 3H32H31H30H27
f650917902a48d06d20600d23e14dc3f 3H35H34H33H32H31H30H27
106f5a5d9a8afea849e723ca799d7e1c 3H39H38H34H37H36H32H31H30H27
a4657905135179a95e81ba3f7a493c41 3H42H41H33H40H36H32H31H30H27
04bda657e06025ee7b6c28029a85de02 3H44H43H40H36H32H31H30H27
947f19c1da78fe264fbacd0cc42a3852 12H55H54H53H52H51H50H49H48H47H46H45H30H27
8a8e56e43759313826dd1ae4dfb793f0 29H60H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
afda6267434065532b2ca427f42a335f 19H62H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
53dc6b7a688ad4ed505cc01be0a183bf 21H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
7d45ca3741b5ef76258ef828add6945f 21H64H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
668fe1061ba113c8b6e94eda5c1d0ed3 21H67H66H65H64H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
2102295fa654a88117690ecd19309826 21H70H69H66H37H68H64H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
320b0e6d387288332b1618cfd5ab0809 21H73H72H65H71H68H64H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
67314c6c90ec9a1737c6e4a241e6cf59 21H75H74H71H68H64H63H61H59H58H57H56H54H53H52H51H50H49H48H47H46H45H30H27
f5b0766c831f4ce88d4d9b72c83ce811 29H77H76H53H52H51H50H49H48H47H46H45H30H27
f583bb27ce638782c1710968ba5c3474 19H79H78H76H53H52H51H50H49H48H47H46H45H30H27
07bcca598697de50a8c23dadd03c4e88 21H80H78H76H53H52H51H50H49H48H47H46H45H30H27
81174e21a140bafefac3da1f1ef92192 21H81H80H78H76H53H52H51H50H49H48H47H46H45H30H27
74c0317e5faf751e25a054693f58ddba 21H84H83H82H81H80H78H76H53H52H51H50H49H48H47H46H45H30H27
bb364a0654bf88cedfb02c1369fd3478 21H87H86H83H37H85H81H80H78H76H53H52H51H50H49H48H47H46H45H30H27
60bd02d34ee14179fa472aaa65cc698d 21H89H72H82H88H85H81H80H78H76H53H52H51H50H49H48H47H46H45H30H27
38eb4d4d81d0fc1f0e4c4b85be4983cd 21H52H90H88H85H81H80H78H76H53H52H51H50H49H48H47H46H45H30H27
7114b9301f4d7a01c1beb0294b765d48 15H87H86H83H37H91H52H51H50H49H48H47H46H45H30H27
23f57217ccd4dfa6e9353e7c94aaefa2 15H52H92H91H52H51H50H49H48H47H46H45H30H27
ffeb72da152ebdcef31f2d4ed0910a5a 218H217
571fc14fc084f5983e1e483954285d38 3H97H96H95
8077586013d465db3f57544b44e612d4 3H99H98H97H96H95
79e222a933349099faa63c327a32615a 3H102H101H100H97H96H95
5e8e8d934448d63174556eb8b90ee7ce 3H42H104H33H103H100H97H96H95
f7ed3151aeb94266a5f26ae48abd33fa 3H106H104H33H105H103H100H97H96H95
555e75c1000b1b4c228b49823bbd6f9d 3H39H38H104H37H107H105H103H100H97H96H95
5c351733d6b5f3d90c975a32f09a1287 3H35H34H37H108H107H105H103H100H97H96H95
ef683d86b5d3da358018c8921a84a7e9 3H114H113H112H111H110H37H109H108H107H105H103H100H97H96H95
2b88fc5d64e5edd477997c4a540c94ee 3H35H123H122H121H120H119H118H117H34H116H115H109H108H107H105H103H100H97H96H95
1d0ee7f2321d5f791a9c07e690a38923 12H136H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
3fef066b81f2f0bfef0f1f8061a8bd08 12H55H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
35a62fd166f6ecd0595ebded913a57c7 21H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
408904ba647552c2f6dae874b7a444b8 21H144H143H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
14b0499198cc1dd1b6507c288943afa7 21H147H146H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
efebba519813b3e4132d090bf25a0d80 21H73H149H65H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
4a3b237f262c7846ce239b1f0b05dcd1 21H152H149H151H150H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
1c9fee842fee2862273828a939bbe766 21H70H69H149H37H153H150H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
960f640946335fc11d12ea2b511b9f93 21H67H66H155H154H153H150H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
6cab944fda254d782735bbc31c93f443 21H159H113H112H158H157H37H156H154H153H150H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
bb35f543cea3d85962c565748db4f706 21H165H123H122H164H120H163H118H162H66H116H166H156H154H153H150H148H145H142H141H140H58H57H56H139H138H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
81e7e5427ff51674b1102094c3567d45 21H165H123H122H164H120H163H118H162H66H116H161H141H140H58H57H56H139H138H137H160H133H132H131H130H127H126H46H125H124H45H96H95
45370d72f551ba1524bae54bf26b8180 21H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
b435dcdce81c77df5f2c848e1a22dc8c 21H168H143H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
58b460f738939523be5616790971498a 21H170H146H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
6594d5557dbbb5a0012b14f4c18fd145 21H89H149H65H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
c9a8dd30f6f4617655bd9f67ab5b1bd2 21H173H149H151H172H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
2b1e9be23f54663815a12540c6c23b8c 21H87H86H149H37H174H172H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
c7829b6aaeff4881e9900fb49e5a1352 21H84H83H155H175H174H172H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
1142159b5b6c3b989d43900cd5b17cc8 21H178H113H112H177H157H37H176H175H174H172H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
1eb9b55145fda58d1dbc5f2184c6b0e3 21H183H123H122H182H120H181H118H180H83H116H179H176H175H174H172H171H169H142H141H140H167H137H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
a0c3de3315846ce9a17ef58d5aed7347 12H136H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
bfab4bbc9aa22204680ac091de3675eb 12H55H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
1e040a7babe62cf30128a588134cfffb 21H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
72cf3bd258464aa8a3b8cb35f792c267 21H144H143H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
9f8c107a26f398b3a25f11db24472d7c 21H147H146H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
dbf70b0504de113e2fbb9aec126dedcf 21H73H149H65H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
21dc266988fb3cf05d6baf51f6fb0fa4 21H152H149H151H150H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
387ee206e02259ec4548621b738240f7 21H70H69H149H37H153H150H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
ceddcadfc17aaf0d86834f1be6e60074 21H67H66H155H154H153H150H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
0e26847d45285f211f9cf4f20f120b8d 21H159H113H112H158H157H37H156H154H153H150H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
cce9b465809a331db27968e66b7b4e1a 21H165H123H122H164H120H163H118H162H66H116H166H156H154H153H150H148H145H142H141H59H58H57H56H139H138H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
405f4c2766d37a7e8a5b323b17a8587b 21H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
3e576de3b452be11e50574b876b5c327 21H188H187H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
533f73381202f451e05013e283a2338b 21H170H189H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
93029fac4f0ed2b2493a9496a918702e 21H89H149H82H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
0435a26250e5a22aaa1c0849ce672260 21H173H149H151H191H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
a5bc415a7f88caf0632bd67ea477e438 21H87H86H149H37H174H191H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
e00cccc2f897ff9dca5d723c2233c9eb 21H84H83H155H175H174H191H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
efe9b338d797695da7e8d8c3b468f65a 21H178H113H112H177H157H37H176H175H174H191H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
e07ee0296deb790ce86d8b90f7f7b341 21H183H123H122H182H120H181H118H180H83H116H179H176H175H174H191H190H128H186H141H167H185H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
71a32d735de094e71023d8cff87e94d2 21H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
58c7d4513dc1684624a54a64671e56b4 21H188H187H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
fdeb79f8bebe64712cf492e989c2610e 21H194H138H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
d8d9b8b94d1d4b1ec98af77cac3df03a 21H89H149H82H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
5f66ac3753b382b7edbddd06f4f29173 21H173H149H195H191H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
aec1f26c2157a9237a350b24f86c1948 21H87H86H149H37H196H191H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
7d2266b695fb6fee1a31602f1d6dad66 21H84H83H155H175H196H191H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
4bed2e8132f644ccb9c2a037ec5ed2e1 21H178H113H112H177H197H37H176H175H196H191H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
c1be7a377bda6bfa3dc8555f13c2a31b 21H183H123H122H182H120H181H118H180H83H116H198H176H175H196H191H129H128H193H192H184H135H134H133H132H131H130H129H128H127H126H46H125H124H45H96H95
a03b0b6ce59e94da518e67376a6941c3 12H55H204H138H135H134H203H202H201H200H129H128H199H126H46H45H96H95
6a62b6d6dc358065aa2082b29ac2f011 15H70H69H66H37H58H57H56H204H138H135H134H203H202H201H200H129H128H199H126H46H45H96H95
d8118fc4132f55f781c4fe865a2ae828 15H159H113H112H207H206H37H205H58H57H56H204H138H135H134H203H202H201H200H129H128H199H126H46H45H96H95
aa683fa5f290eb52dc5df60f280ba5f3 15H165H123H122H164H120H163H118H162H66H116H208H205H58H57H56H204H138H135H134H203H202H201H200H129H128H199H126H46H45H96H95
eb348f823f3a80242f2a15d0feba406e 15H87H86H83H37H209H135H134H203H202H201H200H129H128H199H126H46H45H96H95
686700a1331359b0f568cf1265a2aaff 15H178H113H112H212H211H37H210H209H135H134H203H202H201H200H129H128H199H126H46H45H96H95
94126af27470beb409b40103e76f38b1 15H183H123H122H182H120H181H118H180H83H116H213H210H209H135H134H203H202H201H200H129H128H199H126H46H45H96H95
cf6a14a9a563f094eb0663613fd483b4 216H215H214H95
57b9f8c90b6715b84f9007016ff04fb2 220H219
57b9f8c90b6715b84f9007016ff04fb2 29H219
11d07a87ee866fe07012074dbaa0193c 222H221
11d07a87ee866fe07012074dbaa0193c 29H221
3254102c00aa229c18a48fcbca305eb1 225H224
bf56bc0f4430ff080b058e8a355b078e 15H223
