a=anthV3V2aSomeaV1a+V3V0Ia<V3a-alengthV1V0Aa<=c0V3FAa=alength1V2a-alengthV1V0Iia=V2aConsaV1V0V5Aa=anthV6V5aSomeaV1a+V6V4Ia<V6a-alengthV1V4Aa<=c0V6FAa=alength1V5a-alengthV1V4ELa+V0c1a=V2aNila=V0alengthV1FAa<V0alengthV1Aa<=c0V0Ia=anthV9V8aSomeaV1a+V9V7Ia<V9a-alengthV1V7Aa<=c0V9FAa=alength1V8a-alengthV1V7FAa<=V7alengthV1Aa<=c0V7Aa<a-alengthV1V7a-alengthV1V0Aa<=c0a-alengthV1V0La+V0c1INa=V0alengthV1Ia<=V0alengthV1Aa<=c0V0F
VC for to_list_from
ia=ato_list_fromV0V1aConsaV1V0ato_list_froma+V0c1V1a=ato_list_fromV0V1aNila=V0alengthV1Ia<=V0alengthV1Aa<=c0V0F
a=anthV4ato_list_fromV2V3aSomeaV3a+V4V2Ia<V4a-alengthV3V2Aa<=c0V4FAa=alength1ato_list_fromV2V3a-alengthV3V2Ia<=V2alengthV3Aa<=c0V2F
a<=c0alengthV5Aa<=c0c0F
VC for to_list
a=ato_listV5ato_listV6Ia=ato_list_fromc0V5ato_list_fromc0V6Aaarray_eqV5V6Aa<=c0alengthV5Aa<=c0c0Ia=ato_list_fromV9V7ato_list_fromV9V8Iaarray_eqV7V8Aa<=V9alengthV7Aa<=c0V9FAa=ato_list_fromV12V10ato_list_fromV12V11Ia=ato_list_fromV13V10ato_list_fromV13V11La+V12c1ONa<V12alengthV10Aaarray_eqV10V11Aa<=V14alengthV10Aa<=c0V14Aa<a-alengthV10V14a-alengthV10V12Aa<=c0a-alengthV10V12La+V12c1Ia<V12alengthV10Iaarray_eqV10V11Aa<=V12alengthV10Aa<=c0V12FIaarray_eqV5V6F
VC for to_list_array_eq
a=ato_listV5ato_listV6Iaarray_eqV5V6F
a>=alength1alc0
array creation size
a=aaaV7c0Ia<V7alength1alAa<=c0V7F
a=alengthaaalength1al
a=alengthaa1alengthaa
a<=c0ai
a=alength1al'a-alength1alai
a=antha+V8aialanthV8al'Ia<V8alength1al'Aa<=c0V8F
a=al'aNil
a<=aiak
a<akalength1al
a=anthakalaSomeaaa1ak
postcondition
a=anthV9alaSomeaaa1V9Ia<V9alength1alAa<=aiV9F
a<=c0ak
a<akai
t
a=al'aConsaxax1
a<aialengthaa1Aa<=c0ai
index in array bounds
a=alengthaa2alengthaa1
a=aeltsaa2asetaeltsaa1aiax
a=aa2aaa1aiax
a<c0ak
a<akalength1ax1
a=antha+a+akc1aialantha+akc1al'
assertion
a=antha+a+akaic1alanthakax1
VC for of_list
a=antha+a+akaic1alanthakax1ItOa=antha+a+akc1aialantha+akc1al'
a=antha+a+V9aic1alanthV9ax1Ia<V9alength1ax1Aa<c0V9F
CfaNila=V10ax1aConswVal'
variant decrease
a<=c0a+aic1
precondition
a=alength1ax1a-alength1ala+aic1
a=antha+aka+aic1alanthakax1
a=alengthaa3alengthaa2
a=anthV10alaSomeaaa3V10Ia<V10alength1alAa<=a+aic1V10F
a=aaa3V11aaa2V11Ia<V11a+aic1Aa<=c0V11F
a=anthakalaSomeaaa3ak
a=anthV12alaSomeaaa3V12Ia<V12alength1alAa<=aiV12F
a=aaa3akaaa1ak
a<=c0c0
a=alength1ala-alength1alc0
a=antha+akc0alanthakal
a=anthV8alaSomeaaa1V8Ia<V8alength1alAa<=c0V8F
a=aaa1V9aaaV9Ia<V9c0Aa<=c0V9F
a=alengthaa1alength1al
a=anthV11V7aSomeaV10V11Ia<V11alength1V7Aa<=c0V11FAa=alengthV10alength1V7Ia=aV10V12aV9V12Ia<V12c0Aa<=c0V12FAa=anthV13V7aSomeaV10V13Ia<V13alength1V7Aa<=c0V13FIa=alengthV10alengthV9FAa=antha+V14c0V7anthV14V7Ia<V14alength1V7Aa<=c0V14FAa=alength1V7a-alength1V7c0Aa<=c0c0ACtIa<V18V17Aa<=c0V18FAa=anthV19V7aSomeaV15V19Ia<V19alength1V7Aa<=V17V19FaNila=aV24V25aV15V25Ia<V25V17Aa<=c0V25FAa=anthV26V7aSomeaV24V26Ia<V26alength1V7Aa<=V17V26FIa=aV24V27aV22V27Ia<V27V23Aa<=c0V27FAa=anthV28V7aSomeaV24V28Ia<V28alength1V7Aa<=V23V28FIa=alengthV24alengthV22FAa=antha+V29V23V7anthV29V21Ia<V29alength1V21Aa<=c0V29FAa=alength1V21a-alength1V7V23Aa<=c0V23ACfaNila=V30V21aConswVV16La+V17c1Aa=antha+a+V31V17c1V7anthV31V21ItOa=antha+a+V31c1V17V7antha+V31c1V16Ia<V31alength1V21Aa<c0V31FIa=V22aV15V17V20Aa=aeltsV22asetaeltsV15V17V20Ia=alengthV22alengthV15FAa<V17alengthV15Aa<=c0V17aConsVVV16Ia=antha+V32V17V7anthV32V16Ia<V32alength1V16Aa<=c0V32FAa=alength1V16a-alength1V7V17Aa<=c0V17FIa=alengthV15alengthV9FIa=alengthV9V8Aa=aV9V33c0Ia<V33V8Aa<=c0V33FFAa
a=anthV8V7aSomeaaof_listV7V8Ia<V8alength1V7Aa<=c0V8FAa=alengthaof_listV7alength1V7F
a=alength1al1alength1al2
a=anthV9al1anthV9al2Ia<V9alength1al1Aa<=c0V9F
a=al2aConsaxax1
a=al1aConsax2ax3
a=alength1ax3alength1ax1Aa=ax2ax
a=al1aConsaxax2
a=alength1ax2alength1ax1
a<akalength1ax2
a=antha+akc1al1antha+akc1al2
a=anthakax2anthakax1
VC for eq_nth
a<akalength1ax3
a=anthakax3anthakax1ItOa=antha+akc1al1antha+akc1al2
a=anthV10ax3anthV10ax1Ia<V10alength1ax3Aa<=c0V10F
a=alength1ax3alength1ax1
a=anthakax3anthakax1
a=al1aNil
f
a=al2aNil
a=al1aConsawaw1
CCa=V13V11Aa=anthV14V13anthV14V11Ia<V14alength1V13Aa<=c0V14FAa=alength1V13alength1V11Aa=V12V10aConsVVfwal1aConsVVCtaNilfwal1aNilal2
a=al1al2
a=V9V10ICCa=V14V12Aa=anthV15V14anthV15V12ItOa=antha+V15c1V9antha+V15c1V10Ia<V15alength1V14Aa<=c0V15FAa=alength1V14alength1V12Aa=V13V11aConsVVfwV9aConsVVCtaNilfwV9aNilV10ACCa=anthV20V19anthV20V17Ia<V20alength1V19Aa<=c0V20FAa=alength1V19alength1V17Ia=anthV21V19anthV21V17ItOa=antha+V21c1V9antha+V21c1V10Ia<V21alength1V19Aa<=c0V21FAa=anthV22V19anthV22V17ItOa=antha+V22c1V9antha+V22c1V10Ia<V22alength1V19Aa<=c0V22FIa=alength1V19alength1V17Aa=V18V16Aa=alength1V19alength1V17Aa=V18V16aConsVVfwV9aConsVVCtaNilfwV9aNilV10Ia=anthV23V9anthV23V10Ia<V23alength1V9Aa<=c0V23FAa=alength1V9alength1V10F
a=V9V10Ia=anthV11V9anthV11V10Ia<V11alength1V9Aa<=c0V11FIa=alength1V9alength1V10F
aarray_eqaof_listato_listV12V12F
empty_shape
a=ato_listaof_listV13V13F
aboxedV2V1Iapermut_allV0V1IaboxedV2V0F
a<a*c2aabsaV3V6V5Ia<V6alengthV3Aa<=c0V6FAa>=V5c0Ia<a*c2aabsaV3V7V5Ia<V7alengthV3Aa<=c0V7FAa>=V5c0La@a@V4V3c0Aa<=c0alengthV3Aa<=c0c0Ia<a*c2aabsaV8V10a@a@V4V8V9Ia<V10alengthV8Aa<=V9V10FAa>=a@a@V4V8V9c0Aa=a@a@V4V8V9iamaxa@a@V4V8a+V9c1a+a*c2aabsaV8V9c1c0a=V9alengthV8Ia<=V9alengthV8Aa<=c0V9FFAa<a*c2aabsaV11V14V13Ia<V14alengthV11Aa<=V12V14FAa>=V13c0Iia=V13amaxV15a+a*c2aabsaV11V12c1Aa<a*c2aabsaV11V16V15Ia<V16alengthV11Aa<=a+V12c1V16FAa>=V15c0Ea=V13c0a=V12alengthV11FAa<V12alengthV11Aa<=c0V12Ia<a*c2aabsaV11V19V18Ia<V19alengthV11Aa<=V17V19FAa>=V18c0FAa<=V17alengthV11Aa<=c0V17Aa<a-alengthV11V17a-alengthV11V12Aa<=c0a-alengthV11V12La+V12c1INa=V12alengthV11Ia<=V12alengthV11Aa<=c0V12FF
VC for greater
a<a*c2aabsaV3V4agreaterV3Ia<V4alengthV3Aa<=c0V4FAa>=agreaterV3c0F
aboxedagreaterV5V5F
Na=aV0V4aV1V4Ia<V4alengthV0Aaarray_eq_subV0V1c0V4Aa<=V4alengthV0Aa<=c0V4IiNa=aV0V4aV1V4Ia<V4alengthV0Aaarray_eq_subV0V1c0V4Aa<=V4alengthV0Aa<=c0V4a=V4V2a=V3aTrueFAaarray_eq_subV0V1c0V5Aa<=V5alengthV0Aa<=c0V5Aa=alengthV0alengthV1Aa<a-alengthV0V5a-alengthV0V2Aa<=c0a-alengthV0V2La+V2c1INa=V3aTrueIia=V3iaTrueaFalsea=aV0V2aV1V2a=V3aTruea=V2alengthV0FAa<V2alengthV0Aa<=c0V2Aa<V2alengthV1Aa<=c0V2INa=V2alengthV0Iaarray_eq_subV0V1c0V2Aa<=V2alengthV0Aa<=c0V2Aa=alengthV0alengthV1F
VC for find_eq
ia=afind_eqV0V1V2afind_eqV0V1a+V2c1a=afind_eqV0V1V2V2Na=aV0V2aV1V2Oa=V2alengthV0Iaarray_eq_subV0V1c0V2Ia<=V2alengthV0Aa<=c0V2Ia=alengthV0alengthV1F
Na=aV3afind_eqV3V4V5aV4afind_eqV3V4V5Ia<afind_eqV3V4V5alengthV3Aaarray_eq_subV3V4c0afind_eqV3V4V5Aa<=afind_eqV3V4V5alengthV3Aa<=c0afind_eqV3V4V5Iaarray_eq_subV3V4c0V5Ia<=V5alengthV3Aa<=c0V5Ia=alengthV3alengthV4F
altV6V8ItOtOtOa<aV6V10aV8V10Aaarray_eq_subV6V8c0V10Ia<V10V9Aa<aV6V9aV8V9Aaarray_eq_subV6V8c0V9Ia<=V9V10Aa<V10alengthV6Aa<V9alengthV6Lafind_eqV7V8c0Lafind_eqV6V7c0IaltV7V8IaltV6V7F
aleV11V12qa=V13aTrueIia=V13aFalsea=V13iiaFalseaTruea<aV11V14aV12V14aTruea=V14alengthV11ANa=aV11V14aV12V14Ia<V14alengthV11Aaarray_eq_subV11V12c0V14Aa<=V14alengthV11Aa<=c0V14Lafind_eqV11V12c0a=alengthV11alengthV12FAa<V15alengthV11Aa<=c0V15Aa<V15alengthV12Aa<=c0V15INa=V15alengthV11INa=aV11V15aV12V15Ia<V15alengthV11Aaarray_eq_subV11V12c0V15Aa<=V15alengthV11Aa<=c0V15Lafind_eqV11V12c0Aaarray_eq_subV11V12c0c0Aa<=c0alengthV11Aa<=c0c0Aa=alengthV11alengthV12Ia=alengthV11alengthV12F
VC for find_le
aleV11V12qa=afind_leV11V12aTrueF
aleV15V16ItOa<=aV15V17aV16V17Ia<V17alengthV13Aaarray_eq_subV15V16c0V17Lafind_eqV13V14c0IaleV13V14Iaarray_eqV14V16Iaarray_eqV13V15F
altV20V21IaltV18V19Iaarray_eqV19V21Iaarray_eqV18V20F
a=alengthaa1alengthaa2
Naleaa1aa2
a<aialengthaa1
a>aaa1aiaaa2ai
aarray_eq_subaa1aa2c0ai
a<V22alengthaa1Lafind_eqaa1aa2c0INaleaa1aa2
a>aaa1V23aaa2V23Lafind_eqaa1aa2c0INaleaa1aa2
aarray_eq_subaa1aa2c0V24Lafind_eqaa1aa2c0INaleaa1aa2
altaa2aa1Oaleaa1aa2
altV23V22OaleV22V23ItOaarray_eq_subV22V23c0V24Aa>aV22V24aV23V24Aa<V24alengthV22Lafind_eqV22V23c0INaleV22V23Ia=alengthV22alengthV23F
altaa1aa2
a<aaa1aiaaa2ai
a<V25alengthaa1Lafind_eqaa1aa2c0
a<aaa1V26aaa2V26Lafind_eqaa1aa2c0
aarray_eq_subaa1aa2c0V27Lafind_eqaa1aa2c0
Naleaa2aa1
NaleV26V25ItOaarray_eq_subV25V26c0V27Aa<aV25V27aV26V27Aa<V27alengthV25Lafind_eqV25V26c0IaltV25V26F
apermut_subV28V29V30alengthV28Iapermut_subV28V29V30V31Aaarray_eq_subV28V29c0V30Aapermut_subV28V29c0V31Aa<=V30V31Aa<=c0V30LalengthV28Iapermut_subV32V33V35V36Iaarray_eq_subV32V33V34V35Aapermut_subV32V33V34V36Aa<=V35V36Aa<=V34V35FAapermut_subV37V38V40V41Iapermut_subV37V38V40V41ONa<V39V40Aaarray_eq_subV37V38V42V40Aapermut_subV37V38V42V41Aa<=V40V41Aa<=V42V40Aa<a-V40V42a-V40V39Aa<=c0a-V40V39La+V39c1Ia<V39V40Iaarray_eq_subV37V38V39V40Aapermut_subV37V38V39V41Aa<=V40V41Aa<=V39V40FIaarray_eq_subV28V29c0V30Aapermut_allV28V29F
VC for eq_sub_permut
apermut_subV28V29V30alengthV28Iaarray_eq_subV28V29c0V30Iapermut_allV28V29F
apermut_subaa1aa2aialengthaa1
asorted_subaa1aialengthaa1
a>=ai'ai
a<ai'alengthaa1
apermut_subaa1aa2ai'alengthaa1
a<=aaa1ai'aaa2ai'
a>=V31aiLafind_eqaa1aa2c0
apermut_subaa1aa2V32alengthaa1Ia<V32alengthaa1Lafind_eqaa1aa2c0
a<=aaa1V33aaa2V33Ia<V33alengthaa1Lafind_eqaa1aa2c0
aleaa1aa2
aleV31V32ItOtOtOa<=aV31V34aV32V34Aapermut_subV31V32V34alengthV31Ia<V34alengthV31Aa>=V34V33Lafind_eqV31V32c0Iasorted_subV31V33alengthV31Iapermut_subV31V32V33alengthV31Ia=alengthV31alengthV32F
asorted_sub1aa1aialengthaa1
a>=aaa1ai'aaa2ai'
a>=V35aiLafind_eqaa1aa2c0
apermut_subaa1aa2V36alengthaa1Ia<V36alengthaa1Lafind_eqaa1aa2c0
a>=aaa1V37aaa2V37Ia<V37alengthaa1Lafind_eqaa1aa2c0
aleaa2aa1
aleV36V35ItOtOtOa>=aV35V38aV36V38Aapermut_subV35V36V38alengthV35Ia<V38alengthV35Aa>=V38V37Lafind_eqV35V36c0Iasorted_sub1V35V37alengthV35Iapermut_subV35V36V37alengthV35Ia=alengthV35alengthV36F
a<=a-alengthaac1a-alengthaac1
loop invariant init
asorted_sub1aaa-alengthaac1alengthaa
a<=aia-alengthaac1
asorted_sub1aaaialengthaa
a>aic0
a<aialengthaaAa<=c0ai
a<a-aic1alengthaaAa<=c0a-aic1
a>=aaaa-aic1aaaai
a=ai1a-aic1
a<ai1aiAa<=c0ai
loop variant decrease
a<=ai1a-alengthaac1
loop invariant preservation
asorted_sub1aaai1alengthaa
Na>=aaaa-aic1aaaaiAa>aic0
a<=aic0
apermut_allaaaa
aarray_eqaaV39ItOasortedaaIaleaaV39Iapermut_allaaV39FAt
aarray_eqaaV39IaleaaV39Iapermut_allaaV39FAtIt
aleaaV40IaltaaV40Iapermut_allaaV40FAaltaaaa
Na<=aic0
a<=a-alengthaac1a-alengthaac1Aa<=aia-alengthaac1
a<a-alengthaac1ak
a<akalengthaa
a<=aaaakaaaa-aic1
a<=aiaj
a<=aja-alengthaac1
a<=aaaV39aaaa-aic1Ia<V39alengthaaAa<ajV39F
a<ajalengthaaAa<=c0aj
a<=aaaajaaaa-aic1
a=aj1a-ajc1
a<aj1ajAa<=c0aj
a<=aj1a-alengthaac1Aa<=aiaj1
a<aj1ak
Na<=aaaajaaaa-aic1
a>aaaajaaaa-aic1
a>aaaakaaaa-aic1
a>=aaaakaaaaj
a>=aaaV40aaaajIa>aaaV40aaaa-aic1Ia<V40alengthaaAa<=aiV40F
a=aeltsaa1asetaeltsaaa-aic1aaaaj
a=aa1aaaa-aic1aaaaj
a<ajalengthaa1Aa<=c0aj
a=aeltsaa2asetaeltsaa1ajaaaa-aic1
a=aa2aaa1ajaaaa-aic1
aexchangeaa2aaa-aic1aj
a=aj1a-alengthaa2c1
a<aialengthaa2Aa<=aiai
a<aj1alengthaa2Aa<=aiaj1
apermut_allaa2aa2
aarray_eq_subaa2aa2c0ai
a<=aiak1
a<ak1ak2
a<ak2ai
a<=aaa2ak1aaa2ak2
a<=aaa2V41aaa2V42Ia<V42aiAa<V41V42Aa<=aiV41F
a<ak2a+aj1c1
a>=aaa2ak1aaa2ak2
a>=aaa2V43aaa2V44Ia<V44a+aj1c1Aa<V43V44Aa<=aiV43F
a<=a+aj1c1ak1
a<ak2alengthaa2
a<=aaa2V45aaa2V46Ia<V46alengthaa2Aa<V45V46Aa<=a+aj1c1V45F
a<ak1ai
a<=aiak2
a<=ak2aj1
a<=aaa2V47aaa2V48Ia<=V48aj1Aa<=aiV48Ia<V47aiAa<=aiV47F
a<=ak1aj1
a<aj1ak2
a<=aaa2V49aaa2V50Ia<V50alengthaa2Aa<aj1V50Ia<=V49aj1Aa<=aiV49F
a<=aiai1
a<ai1alengthaa3
a<=aiaj2
a<aj2alengthaa3
apermut_allaa3aa2
aarray_eq_subaa3aa2c0ai
a<=aaa3V41aaa3V42Ia<V42ai1Aa<V41V42Aa<=aiV41F
a>=aaa3V43aaa3V44Ia<V44a+aj2c1Aa<V43V44Aa<=ai1V43F
a<=aaa3V45aaa3V46Ia<V46alengthaa3Aa<V45V46Aa<=a+aj2c1V45F
a<=aaa3V47aaa3V48Ia<=V48aj2Aa<=ai1V48Ia<V47ai1Aa<=aiV47F
a<=aaa3V49aaa3V50Ia<V50alengthaa3Aa<aj2V50Ia<=V49aj2Aa<=ai1V49F
a<=aaa3V51aaa3V52Ia<V52alengthaa3Aa<aj2V52Ia<V51ai1Aa<=aiV51F
a<ai1aj2
a<ai1alengthaa3Aa<=c0ai1
a=atempaaa3ai1
a<aj2alengthaa3Aa<=c0aj2
a=alengthaa4alengthaa3
a=aeltsaa4asetaeltsaa3ai1aaa3aj2
a=aa4aaa3ai1aaa3aj2
a<aj2alengthaa4Aa<=c0aj2
a=alengthaa5alengthaa4
a=aeltsaa5asetaeltsaa4aj2atemp
a=aa5aaa4aj2atemp
aexchangeaa5aa3ai1aj2
a=ai2a+ai1c1
a=aj3a-aj2c1
a<a-aj3ai2a-aj2ai1Aa<=c0a-aj2ai1
a<ai2alengthaa5Aa<=aiai2
a<aj3alengthaa5Aa<=aiaj3
apermut_allaa5aa2
aarray_eq_subaa5aa2c0ai
a<ak2ai2
a<=aaa5ak1aaa5ak2
a<=aaa5V53aaa5V54Ia<V54ai2Aa<V53V54Aa<=aiV53F
a<=ai2ak1
a<ak2a+aj3c1
a>=aaa5ak1aaa5ak2
a>=aaa5V55aaa5V56Ia<V56a+aj3c1Aa<V55V56Aa<=ai2V55F
a<=a+aj3c1ak1
a<ak2alengthaa5
a<=aaa5V57aaa5V58Ia<V58alengthaa5Aa<V57V58Aa<=a+aj3c1V57F
a<ak1ai2
a<=ai2ak2
a<=ak2aj3
a<=aaa5V59aaa5V60Ia<=V60aj3Aa<=ai2V60Ia<V59ai2Aa<=aiV59F
a<=ak1aj3
a<aj3ak2
a<=aaa5V61aaa5V62Ia<V62alengthaa5Aa<aj3V62Ia<=V61aj3Aa<=ai2V61F
Na<ai1aj2
asorted_subaa3aialengthaa3
apermut_allaaaa'
altaaaa'
a=ai2alengthaa3
aarray_eqaaaa'
Na=ai2alengthaa3
a<ai2a-aic1
a>aaa'ai2aaaai2
Na<ai2a-aic1
a>ai2a-aic1
a=aaa'a-aic1aaaa-aic1
a<aaaa-aic1aaa3a-aic1
Na>ai2a-aic1
a=ai2a-aic1
aleaa3aa'
VC for next
Na<aaaa-aic1aaa3a-aic1Aa=aaa'a-aic1aaaa-aic1
Na=aaa'a-aic1aaa3a-aic1
a<aaaa-aic1aaa'a-aic1
NNa=aaa'a-aic1aaa3a-aic1
aarray_eq_subaa3aa'c0a-aic1
apermut_subaaaa'a-aic1alengthaa3
a<=aaa3a-aic1aaa'a-aic1
aarray_eq_subaa3aa'c0ai
apermut_subaa3aa'aialengthaa3
iiiialeaa3aa'Aapermut_subaa3aa'aialengthaa3Aaarray_eq_subaa3aa'c0aiAaarray_eq_subaa3aa'c0a-aic1aleaa3aa'Aa<=aaa3a-aic1aaa'a-aic1Aapermut_subaaaa'a-aic1alengthaa3Aa<aaaa-aic1aaa'a-aic1Na=aaa'a-aic1aaa3a-aic1Aa=V53a-aic1fAa<aaaa-aic1aaa3a-aic1Aa=aaa'a-aic1aaaa-aic1a>V53a-aic1aleaa3aa'Aa>aaa'V53aaaV53a<V53a-aic1aleaa3aa'Aaarray_eqaaaa'a=V53alengthaa3Lafind_eqaaaa'c0
aleaa3aa'ItOiiitOitOtOtOaleaa3aa'Aapermut_subaa3aa'aialengthaa3Aaarray_eq_subaa3aa'c0aiAaarray_eq_subaa3aa'c0a-aic1tOtOtOaleaa3aa'Aa<=aaa3a-aic1aaa'a-aic1Aapermut_subaaaa'a-aic1alengthaa3Aa<aaaa-aic1aaa'a-aic1Na=aaa'a-aic1aaa3a-aic1Aa=V53a-aic1tOfAa<aaaa-aic1aaa3a-aic1Aa=aaa'a-aic1aaaa-aic1a>V53a-aic1tOaleaa3aa'Aa>aaa'V53aaaV53a<V53a-aic1tOaleaa3aa'Aaarray_eqaaaa'a=V53alengthaa3Lafind_eqaaaa'c0
aleaa3V53IaltaaV53Iapermut_allaaV53F
apermut_allaa3aa
aarray_eqaa3V54ItOasortedaa3Ialeaa3V54Iapermut_allaa3V54FAa=aa3aa
aarray_eqaa3V54Ialeaa3V54Iapermut_allaa3V54FAa=aa3aaIf
aleaa3V55IaltaaV55Iapermut_allaaV55FAaltaaaa3
iiiialeV52V53IaltV39V53Iapermut_allV39V53FAaltV39V52ItAaarray_eqV52V54ItOasortedV52IaleV52V54Iapermut_allV52V54FAa=V52V39IfAapermut_allV52V39AaleV52V55ItOiiitOitOtOtOaleV52V55Aapermut_subV52V55V40alengthV52Aaarray_eq_subV52V55c0V40Aaarray_eq_subV52V55c0a-V40c1tOtOtOaleV52V55Aa<=aV52a-V40c1aV55a-V40c1Aapermut_subV39V55a-V40c1alengthV52Aa<aV39a-V40c1aV55a-V40c1Na=aV55a-V40c1aV52a-V40c1Aa=V56a-V40c1tOfAa<aV39a-V40c1aV52a-V40c1Aa=aV55a-V40c1aV39a-V40c1a>V56a-V40c1tOaleV52V55Aa>aV55V56aV39V56a<V56a-V40c1tOaleV52V55Aaarray_eqV39V55a=V56alengthV52Lafind_eqV39V55c0IaltV39V55Iapermut_allV39V55FAasorted_subV52V40alengthV52a<=aV60V63aV60V64Ia<V64alengthV60Aa<V62V64Ia<V63V61Aa<=V40V63FAa<=aV60V65aV60V66Ia<V66alengthV60Aa<V62V66Ia<=V65V62Aa<=V61V65FAa<=aV60V67aV60V68Ia<=V68V62Aa<=V61V68Ia<V67V61Aa<=V40V67FAa<=aV60V69aV60V70Ia<V70alengthV60Aa<V69V70Aa<=a+V62c1V69FAa>=aV60V71aV60V72Ia<V72a+V62c1Aa<V71V72Aa<=V61V71FAa<=aV60V73aV60V74Ia<V74V61Aa<V73V74Aa<=V40V73FAaarray_eq_subV60V48c0V40Aapermut_allV60V48Aa<V62alengthV60Aa<=V
aboxedabaseaa
a<=aialengthaa
Na=aialengthaa
a<a-alengthaaa+aic1a-alengthaaaiAa<=c0a-alengthaaai
a<=a+aic1alengthaaAa<=c0a+aic1
a<a*c2aabsarestapowerabasea-alengthaaa+aic1
a>=axc0
a>=ayc0
a>=a*axayc0
a>=a*V39V40c0Ia>=V40c0Ia>=V39c0F
a<=axay
a>=azc0
a>=a*a-ayaxazc0
VC for as_num
a<=a*axaza*ayaz
a<=a*V41V43a*V42V43Ia>=V43c0Ia<=V41V42F
a<=a*c2aabsa+a*aaaaiapowerabasea-a-alengthaac1aiaresta+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsarest
a<a+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsaresta*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1ai
a<=a*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1aia*abaseapowerabasea-a-alengthaac1ai
a<=a*abaseapowerabasea-a-alengthaac1aiapowerabasea-alengthaaai
a<=a*abaseapowerabasea-a-alengthaac1aiapowerabasea-alengthaaaiAa<=a*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1aia*abaseapowerabasea-a-alengthaac1aiAa<a+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsaresta*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1aiAa<=a*c2aabsa+a*aaaaiapowerabasea-a-alengthaac1aiaresta+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsarestItOtOa<=a*V39V41a*V40V41ItOa>=a*a-V40V39V41c0Ia>=V41c0Ia<=V39V40FAa>=a*V42V43c0Ia>=V43c0Ia>=V42c0F
ia=aresulta+a*aaaaiapowerabasea-a-alengthaac1aiarestAa<=a*abaseapowerabasea-a-alengthaac1aiapowerabasea-alengthaaaiAa<=a*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1aia*abaseapowerabasea-a-alengthaac1aiAa<a+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsaresta*a+a*c2aabsaaaaic1apowerabasea-a-alengthaac1aiAa<=a*c2aabsa+a*aaaaiapowerabasea-a-alengthaac1aiaresta+a*a*c2aabsaaaaiapowerabasea-a-alengthaac1aia*c2aabsarestAa<a*c2aabsarestapowerabasea-alengthaaa+aic1a=aresultc0a=aialengthaa
a<a*c2aabsaresultapowerabasea-alengthaaai
a<a*c2aabsV42apowerV39a-alengthV40V41Iia=V42a+a*aV40V41apowerV39a-a-alengthV40c1V41V43Aa<=a*V39apowerV39a-a-alengthV40c1V41apowerV39a-alengthV40V41Aa<=a*a+a*c2aabsaV40V41c1apowerV39a-a-alengthV40c1V41a*V39apowerV39a-a-alengthV40c1V41Aa<a+a*a*c2aabsaV40V41apowerV39a-a-alengthV40c1V41a*c2aabsV43a*a+a*c2aabsaV40V41c1apowerV39a-a-alengthV40c1V41Aa<=a*c2aabsa+a*aV40V41apowerV39a-a-alengthV40c1V41V43a+a*a*c2aabsaV40V41apowerV39a-a-alengthV40c1V41a*c2aabsV43ItOtOa<=a*V44V46a*V45V46ItOa>=a*a-V45V44V46c0Ia>=V46c0Ia<=V44V45FAa>=a*V47V48c0Ia>=V48c0Ia>=V47c0FAa<a*c2aabsV43apowerV39a-alengthV40a+V41c1Ea=V42c0a=V41alengthV40FAa<V41alengthV40Aa<=c0V41Ia<=a*V39apowerV39a-a-alengthV40c1V41apowerV39a-alengthV40V41Aa<=a*a+a*c2aabsaV40V41c1apowerV39a-a-alengthV40c1V41a*V39apowerV39a-a-alengthV40c1V41Aa<a+a*a*c2aabsaV40V41apowerV39a-a-alengthV40c1V41a*c2aabsV50a*a+a*c2aabsaV40V41c1apowerV39a-a-alengthV40c1V41Aa<=a*c2aabsa+a*aV40V41apowerV39a-a-alengthV40c1V41V50a+a*a*c2aabsaV40V41apowerV39a-a-alengthV40c1V41a*c2aabsV50ItOtOa<=a*V
ia=aas_numV39V40V41a+a*aV40V41apowerV39a-a-alengthV40c1V41aas_numV39V40a+V41c1a=aas_numV39V40V41c0a=V41alengthV40Ia<=V41alengthV40Aa<=c0V41IaboxedV39V40F
a<a*c2aabsaas_numV42V43V44apowerV42a-alengthV43V44Ia<=V44alengthV43Aa<=c0V44IaboxedV42V43F
a<=aabsV47amaxiV45V46Ia<a*c2aabsV47apowerV45a-alengthV46c0Laas_numV45V46c0Aa<=c0alengthV46Aa<=c0c0AaboxedV45V46IaboxedV45V46F
VC for as_number
a=aas_numberV45V46aas_numV45V46c0IaboxedV45V46F
a<=aabsaas_numberV47V48amaxiV47V48IaboxedV47V48F
a<ajalengthaa
aboxedabaseaa'
aarray_eq_subaaaa'c0aj
a<aaaajaaa'aj
a<aiaj
a=aaaaiaaa'ai
a<a-aja+aic1a-ajaiAa<=c0a-ajai
a<ajalengthaaAa<=a+aic1ajAa<=c0a+aic1
Na<aiaj
a<=a*c2apowerabasea-a-alengthaac1aia*a*c2a-aaa'aiaaaaiapowerabasea-a-alengthaac1aiAa<a+a*c2aabsaas_numabaseaaa+aic1a*c2aabsaas_numabaseaa'a+aic1a*c2apowerabasea-a-alengthaac1aiAa<=a*c2a-aas_numabaseaaa+aic1aas_numabaseaa'a+aic1a+a*c2aabsaas_numabaseaaa+aic1a*c2aabsaas_numabaseaa'a+aic1Aa=aas_numabaseaa'aia+a*aaa'aiapowerabasea-a-alengthaac1aiaas_numabaseaa'a+aic1Aa=aas_numabaseaaaia+a*aaaaiapowerabasea-a-alengthaac1aiaas_numabaseaaa+aic1
ia<=a*c2apowerabasea-a-alengthaac1aia*a*c2a-aaa'aiaaaaiapowerabasea-a-alengthaac1aiAa<a+a*c2aabsaas_numabaseaaa+aic1a*c2aabsaas_numabaseaa'a+aic1a*c2apowerabasea-a-alengthaac1aiAa<=a*c2a-aas_numabaseaaa+aic1aas_numabaseaa'a+aic1a+a*c2aabsaas_numabaseaaa+aic1a*c2aabsaas_numabaseaa'a+aic1Aa=aas_numabaseaa'aia+a*aaa'aiapowerabasea-a-alengthaac1aiaas_numabaseaa'a+aic1Aa=aas_numabaseaaaia+a*aaaaiapowerabasea-a-alengthaac1aiaas_numabaseaaa+aic1a<aas_numabaseaaV49aas_numabaseaa'V49La+aic1Aa=aaaaiaaa'aia<aiaj
a<aas_numabaseaaaiaas_numabaseaa'ai
a<aas_numV51V49V52aas_numV51V50V52Iia<=a*c2apowerV51a-a-alengthV49c1V52a*a*c2a-aV50V52aV49V52apowerV51a-a-alengthV49c1V52Aa<a+a*c2aabsaas_numV51V49a+V52c1a*c2aabsaas_numV51V50a+V52c1a*c2apowerV51a-a-alengthV49c1V52Aa<=a*c2a-aas_numV51V49a+V52c1aas_numV51V50a+V52c1a+a*c2aabsaas_numV51V49a+V52c1a*c2aabsaas_numV51V50a+V52c1Aa=aas_numV51V50V52a+a*aV50V52apowerV51a-a-alengthV49c1V52aas_numV51V50a+V52c1Aa=aas_numV51V49V52a+a*aV49V52apowerV51a-a-alengthV49c1V52aas_numV51V49a+V52c1a<aas_numV51V49V54aas_numV51V50V54La+V52c1Aa=aV49V52aV50V52a<V52V53Aia<=a*c2apowerV51a-a-alengthV49c1V52a*a*c2a-aV50V52aV49V52apowerV51a-a-alengthV49c1V52Aa<a+a*c2aabsaas_numV51V49a+V52c1a*c2aabsaas_numV51V50a+V52c1a*c2apowerV51a-a-alengthV49c1V52Aa<=a*c2a-aas_numV51V49a+V52c1aas_numV51V50a+V52c1a+a*c2aabsaas_numV51V49a+V52c1a*c2aabsaas_numV51V50a+V52c1Aa=aas_numV51V50V52a+a*aV50V52apowerV51a-a-alengthV49c1V52aas_numV51V50a+V52c1Aa=aas_numV51V49V52a+a*aV49V52apowerV51a-a-alengthV49c1V52aas_numV51V49a+V52c1a<aV49V53aV50V53Aaarray_eq_subV49V50
VC for as_number_ind
a<aas_numV51V49V52aas_numV51V50V52Ia<aV49V53aV50V53Iaarray_eq_subV49V50c0V53IaboxedV51V50IaboxedV51V49Ia<V53alengthV49Aa<=V52V53Aa<=c0V52F
a<aas_numberV56V54aas_numberV56V55Ia>c0a+V57c1Aa<aas_numberV56V54aas_numberV56V55Iaarray_eq_subV54V55c0a+V57c1Aiaarray_eq_subV54V55c0a+V58c1a<aas_numberV56V54aas_numberV56V55Ia<aas_numV56V54c0aas_numV56V55c0Aa<aV54V58aV55V58Aaarray_eq_subV54V55c0V58AaboxedV56V55AaboxedV56V54Aa<V58alengthV54Aa<=c0V58Aa<=c0c0Na=aV54V58aV55V58Aa<V58alengthV54Aa<=c0V58Aa<V58alengthV55Aa<=c0V58Iaarray_eq_subV54V55c0V58Aa<=V58V57Aa<=c0V58FAaarray_eq_subV54V55c0c0Ia<=c0a+V57c1La-alengthV54c1IaltV54V55AaboxedV56V55AaboxedV56V54Aa=alengthV54alengthV55F
VC for as_number_strict
a<aas_numberV56V54aas_numberV56V55IaltV54V55IaboxedV56V55IaboxedV56V54Ia=alengthV54alengthV55F
a=V58V59OamemV58V57qamemV58asnocV57V59F
a>=abasec0
a<a*c2aabsaaaV60abaseIa<V60alengthaaAa<=c0V60F
a=aseqaresaempty
a=alengthaac0
a=aseqares1asnocaseqaresaNil
amemato_listaa'aseqares1
amemato_listV61aseqares1Iapermut_allaaV61F
a<=c0ai1
a<ai1ai2
a<ai2alength1aseqares1
altaof_listaaseqares1ai1aof_listaaseqares1ai2
altaof_listaaseqares1V62aof_listaaseqares1V63Ia<V63alength1aseqares1Aa<V62V63Aa<=c0V62F
Na=alengthaac0
apermut_allaa1aa
asortedaa1
apermut_allaa'aa1
altaa'aa1
apermut_subaa1aa'c0alengthaa1
Napermut_subaa1aa'c0alengthaa1
VC for permut
fItOapermut_subaa1aa'c0alengthaa1
fIaltV61aa1Iapermut_allV61aa1F
aboxedabaseaa1
tqt
amemato_listaa'aseqares
amemato_listV62aseqaresIaltV62aa1Iapermut_allV62aa1FIt
aleaa'aa1
amemato_listV63aseqaresIaleV63aa1Iapermut_allV63aa1FIf
altV64aa1Iamemato_listV64aseqaresFIt
apermut_allaa1aa'
aleaa1aa'
aarray_eqaa1aa'
aarray_eqaa1V65Ialeaa1V65Iapermut_allaa1V65FIf
a<ai2alength1aseqares
altaof_listaaseqaresai1aof_listaaseqaresai2
apermut_allaa2aa
aboxedabaseaa2
a=acontaTrueqa=acont_intc1
amemato_listV62aseqares1IaltV62aa2Iapermut_allV62aa2FIa=acontaTrue
amemato_listV63aseqares1IaleV63aa2Iapermut_allV63aa2FINa=acontaTrue
altV64aa2Iamemato_listV64aseqares1FIa=acontaTrue
aarray_eqaa2V65Ialeaa2V65Iapermut_allaa2V65FINa=acontaTrue
altaof_listaaseqares1V66aof_listaaseqares1V67Ia<V67alength1aseqares1Aa<V66V67Aa<=c0V66F
a=acontaTrue
a=aseqares2asnocaseqares1ato_listaa2
a=aa3aa2INa=acont1aTrue
aarray_eqaa3V68Ialeaa3V68Iapermut_allaa3V68FINa=acont1aTrue
altaa2aa3Ia=acont1aTrue
aleaa3V69Ialtaa2V69Iapermut_allaa2V69FIa=acont1aTrue
a=acont1aTrue
apermut_allaa'aa3
altaa'aa3
Naleaa3aa'
aleaa'aa2
amemato_listaa'aseqares2
aarray_eqaa3V68Ialeaa3V68Iapermut_allaa3V68FAa=aa3aa2INa=acont1aTrue
aleaa3V69Ialtaa2V69Iapermut_allaa2V69FAaltaa2aa3Ia=acont1aTrue
amemato_listaa'aseqares2ItOtOaleaa'aa2ANaleaa3aa'
amemato_listV70aseqares2IaltV70aa3Iapermut_allV70aa3F
altaa'aa3ItOtOtOtOaltaa'aa3Aa=ato_listaa'ato_listaa2ANamemato_listaa'aseqares1Aaltaa2aa'Ialeaa3aa'
altV71aa3Iamemato_listV71aseqares2F
aboxedabaseaa3
a<ai2alength1aseqares2
a=ai2a-alength1aseqares2c1
aarray_eqaof_listaaseqares2ai2aa2
altaof_listaaseqares2ai1aa2
aarray_eqaof_listaaseqares2ai2aa2Ia=ai2a-alength1aseqares2c1
altaof_listaaseqares2ai1aa2Ia=ai2a-alength1aseqares2c1
altaof_listaaseqares2ai1aof_listaaseqares2ai2
altaof_listaaseqares2ai1aof_listaaseqares2ai2ItOaltaof_listaaseqares2ai1aa2Aaarray_eqaof_listaaseqares2ai2aa2Ia=ai2a-alength1aseqares2c1
altaof_listaaseqares2V72aof_listaaseqares2V73Ia<V73alength1aseqares2Aa<V72V73Aa<=c0V72F
a<a-amaxiabaseaa3aas_numberabaseaa3a-amaxiabaseaa2aas_numberabaseaa2Aa<=c0a-amaxiabaseaa2aas_numberabaseaa2AtOa<acont_intacont_intAa<=c0acont_int
a=acont1aTrueqa=acont_intc1
amemato_listV74aseqares2IaltV74aa3Iapermut_allV74aa3FIa=acont1aTrue
Na=acont1aTrue
aleaa'aa3
amemato_listV75aseqares2IaleV75aa3Iapermut_allV75aa3FINa=acont1aTrue
altV76aa3Iamemato_listV76aseqares2FIa=acont1aTrue
apermut_allaa3aa'
aarray_eqaa3aa'
aarray_eqaa3V77Ialeaa3V77Iapermut_allaa3V77FINa=acont1aTrue
a=acont_int1c0
altaof_listaaseqares2V70aof_listaaseqares2V71Ia<V71alength1aseqares2Aa<V70V71Aa<=c0V70F
a<a-amaxiabaseaa3aas_numberabaseaa3a-amaxiabaseaa2aas_numberabaseaa2Aa<=c0a-amaxiabaseaa2aas_numberabaseaa2Aa=acont_intacont_int1Oa<acont_int1acont_intAa<=c0acont_int
a=acont1aTrueqa=acont_int1c1
amemato_listV72aseqares2IaltV72aa3Iapermut_allV72aa3FIa=acont1aTrue
amemato_listV73aseqares2IaleV73aa3Iapermut_allV73aa3FINa=acont1aTrue
altV74aa3Iamemato_listV74aseqares2FIa=acont1aTrue
aarray_eqaa3V75Ialeaa3V75Iapermut_allaa3V75FINa=acont1aTrue
Na=acontaTrue
altaof_listaaseqares1V68aof_listaaseqares1V69Ia<V69alength1aseqares1Aa<V68V69Aa<=c0V68F
apermut_allaa2aa'
iiamemato_listV68aseqV66Iapermut_allV67V68FAaltaof_listaaseqV66V69aof_listaaseqV66V70Ia<V70alength1aseqV66Aa<V69V70Aa<=c0V69Fialtaof_listaaseqV71V76aof_listaaseqV71V77Ia<V77alength1aseqV71Aa<V76V77Aa<=c0V76FAaarray_eqV72V78IaleV72V78Iapermut_allV72V78FINa=V74aTrueAaltV79V72Iamemato_listV79aseqV71FIa=V74aTrueAamemato_listV80aseqV71IaleV80V72Iapermut_allV80V72FINa=V74aTrueAamemato_listV81aseqV71IaltV81V72Iapermut_allV81V72FIa=V74aTrueAa=V74aTrueqa=V75c1AaboxedV61V72Aapermut_allV72V60Aa<a-amaxiV61V72aas_numberV61V72a-amaxiV61V67aas_numberV61V67Aa<=c0a-amaxiV61V67aas_numberV61V67Aa=V64V75Oa<V75V64Aa<=c0V64Aaltaof_listaaseqV71V82aof_listaaseqV71V83ItOaltaof_listaaseqV71V82V67Aaarray_eqaof_listaaseqV71V83V67Ia=V83a-alength1aseqV71c1Ia<V83alength1aseqV71Aa<V82V83Aa<=c0V82FAaboxedV61V72Ia=V75c0Faltaof_listaaseqV71V84aof_listaaseqV71V85Ia<V85alength1aseqV71Aa<V84V85Aa<=c0V84FAaarray_eqV72V86IaleV72V86Iapermut_allV72V86FINa=V74aTrueAaltV87V72Iamemato_listV87aseqV71FIa=V74aTrueAamemato_listV88aseqV71IaleV88V72Iapermut_all

33d24477594f8745e59bbe3a607716fd 1H0
4b3f7f45c9ac66db6160525fd2e4b1f9 5H4H3H2
51990c170d736bc46a1f06eb7c0e8e8d 7H6H3H2
1399900b9be702b6d29b3dad0411ea2a 37H58H8H3H2
a9b3d26944f36ff86251b05879ad8338 10H9H8H3H2
37a9eed23cbd2a7db3ebda9ec487f761 21H20H19H18H17H16H15H14H13H12H11H8H3H2
38a237b6152dfcda6a9c588c3118626c 21H25H24H23H22H17H16H15H14H13H12H11H8H3H2
293e907ad6aaaca52c05f40eea085f21 28H27H26H16H15H14H13H12H11H8H3H2
a46385e4c52da31890dd02496eb3ce64 35H38H33H32H31H30H29H26H16H15H14H13H12H11H8H3H2
28e32d4986e56c85a2415f61bfaede01 35H34H33H32H31H30H29H26H16H15H14H13H12H11H8H3H2
d057d406a0a2caa2215f44515e5ff96c 37H36H34H33H32H31H30H29H26H16H15H14H13H12H11H8H3H2
c82d3ff1bd65d67b47aff8809aff158b 41H40H39H31H30H29H26H16H15H14H13H12H11H8H3H2
4011ba4c375fa2c4752cb3d82de5a6ac 43H42H39H31H30H29H26H16H15H14H13H12H11H8H3H2
b745099a873d261fd203b368274a0708 43H44H42H39H31H30H29H26H16H15H14H13H12H11H8H3H2
510830eaca09c8cd3483fc66314ae454 43H45H33H23H44H42H39H31H30H29H26H16H15H14H13H12H11H8H3H2
ef645d0950b60162d18b53a738a32cf2 21H49H19H18H48H47H46H39H31H30H29H26H16H15H14H13H12H11H8H3H2
ac188ae7b0dd6508cfb6f9363007e0b9 21H51H24H23H50H48H47H46H39H31H30H29H26H16H15H14H13H12H11H8H3H2
a27a5df601526cef0bc51f3c236c856f 43H52H12H11H8H3H2
23dbcf9722f14ff19ea02ef99b5230cb 43H53H52H12H11H8H3H2
9fd6715f65e409349d13bf5a6bf1381c 43H54H19H23H53H52H12H11H8H3H2
b4c3409f41d679b2e948f5dbf3ebcfc9 21H57H56H55H13H12H11H8H3H2
94591a430994bccee7c8e675c2e83262 21H20H19H23H57H56H55H13H12H11H8H3H2
2a9a9b6d243c0a58b0dd948e7e2e64b3 70H82H59H8H3H2
e6beac542788b3677be7021a64d4b99b 35H64H63H62H61H60H59H8H3H2
c6ec8a8c49c44868e1fc196bf1ca2bb4 35H72H71H23H64H63H62H61H60H59H8H3H2
7cd3529b9c3346880cc69b716b42bf42 35H68H67H23H66H65H62H61H60H59H8H3H2
9d345612348488ca12c5b9948f4b8e80 70H69H68H67H23H66H65H62H61H60H59H8H3H2
646b4ea4253cd3f4e5001e9888883506 43H74H73H64H63H62H61H60H59H8H3H2
f1e881090cc7785d681f49c46792cff5 43H75H71H23H74H73H64H63H62H61H60H59H8H3H2
54243fee8917d6b5e9077acf05a0c486 35H77H76H62H61H60H59H8H3H2
efdbb729357b34aefda7459161b494e5 35H77H79H78H61H60H59H8H3H2
d0ead734b9ef08b0f0919dc25edb5834 21H81H80H61H60H59H8H3H2
792373191c8af0b75d1b5fff95a45eff 85H84H83H59H8H3H2
cbed94e88ec95b561a10374c01335e8b 85H86H84H83H59H8H3H2
94088c662c99e29897290308da96b98c 85H87
b07a4113b47365e1ddce1917918da562 89H88H87
b45481b49f07330e9ef55aeeab3f0d07 85H91H90H87
e8190a85e9b471f873b092eda22d6194 93H92
3c8a20576e1d4174b5d66e895b631552 85H96H95H94
2c4d1ebcf566096d8169449c7c1a75ee 98H97H96H95H94
81e7b19f91468139c729a9659597489b 85H100H99H96H95H94
4700f766ca68d724c9c69f0061e25bac 85H101H100H99H96H95H94
6ca0eee4db143d244315c7b75338c0f0 85H111H101H100H99H96H95H94
bcd994ea988182ea42605d57e9bae438 85H104H103H102H101H100H99H96H95H94
962b6b1b0b0262c7f8a208ef58aa349d 85H105H104H103H102H101H100H99H96H95H94
9182551719c6ae4b1d2776044bae7c7d 85H106H105H104H103H102H101H100H99H96H95H94
a2e2083288de127087d0e2ff0461edad 85H110H109H108H107H102H101H100H99H96H95H94
55a9267242b0b1de049ad048694683f7 85H118H111H101H100H99H96H95H94
0c0418e21a5faf2d473e0fd7efdacc17 85H104H112H111H101H100H99H96H95H94
60521aa954a09583427d2ad145280962 85H113H104H112H111H101H100H99H96H95H94
aefb0677cd0e3ef7dfe6421f8b6c47f1 85H106H113H104H112H111H101H100H99H96H95H94
073acf98da01ba3c3308fdb95a926a47 85H117H116H115H114H112H111H101H100H99H96H95H94
1d0b401fff527fde5895e0699f166b45 120H119H118H111H101H100H99H96H95H94
ca96ddb8f44449c3f925a6a8081fb9fa 85H132H121H118H111H101H100H99H96H95H94
2fa3a40fc67f71d4b9f4be8c802c4173 85H124H123H122H102H121H118H111H101H100H99H96H95H94
b0cbf999f78705a575e7f4a76023624d 85H126H125H124H123H122H102H121H118H111H101H100H99H96H95H94
d6e195a84b0231f7e7d1a20fe5540d27 85H127H126H125H124H123H122H102H121H118H111H101H100H99H96H95H94
87ad7d3c93bee28489abd19db205db77 85H131H130H129H128H123H122H102H121H118H111H101H100H99H96H95H94
58c6c4d9a5e597f067e97f2f86fad497 85H139H132H121H118H111H101H100H99H96H95H94
831eae9a8aa6ba00834224563843ca61 85H124H133H122H102H132H121H118H111H101H100H99H96H95H94
8a7fae28a2a9f91570b950c9b245d195 85H126H125H124H133H122H102H132H121H118H111H101H100H99H96H95H94
ba2964f13676a910bd26b1e4bdab80cb 85H134H126H125H124H133H122H102H132H121H118H111H101H100H99H96H95H94
bd5c72d1c4596fa82e493bc6a1a85ed6 85H138H137H136H135H133H122H102H132H121H118H111H101H100H99H96H95H94
66df52fb323b83ffd0dbe8806a2f0e62 273H290H139H132H121H118H111H101H100H99H96H95H94
06072243b714544061bbd4022f4b8571 141H140H139H132H121H118H111H101H100H99H96H95H94
e444134d337758dcd6387d225e823058 141H142H140H139H132H121H118H111H101H100H99H96H95H94
6bc7ceb4d94fff527045e7d73f72b42b 28H146H145H144H143H139H132H121H118H111H101H100H99H96H95H94
97dcb1eac7c894a16e4cc5526e6a6d6b 28H147H145H144H143H139H132H121H118H111H101H100H99H96H95H94
11b473a04313281a486a48fdab8c7c3b 151H150H149H148H145H144H143H139H132H121H118H111H101H100H99H96H95H94
d24f187be5bfdc437420552369744ec0 153H152H149H148H145H144H143H139H132H121H118H111H101H100H99H96H95H94
74633ecdc6fca3185a9ec6512ec3bb7d 153H154H152H149H148H145H144H143H139H132H121H118H111H101H100H99H96H95H94
747dce029f74192d20d15d0b46ae14fc 21H157H156H155H144H143H139H132H121H118H111H101H100H99H96H95H94
e59cc86a70eb6181e156c9b2c3ec633c 21H158H157H156H155H144H143H139H132H121H118H111H101H100H99H96H95H94
ca861c11b311c6482f8845e9c71407d7 21H160H77H159H157H156H155H144H143H139H132H121H118H111H101H100H99H96H95H94
3f8b113012f3eb6f8811db3298bdde68 141H162H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
faded2bd3a4354ad71ebc3d2c32538a3 141H165H164H163H162H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
4586e2097f0ce1fe32ed7c458470a1c7 28H147H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
dfdc2a9fb955d392f85d2fe5282bb357 28H169H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b994e6dfad6adf43e0e87db79ab9a919 151H172H171H170H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
69b852898a76340c8b5d480ec11f3aa3 153H173H171H170H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
34d39c7284391f6f7f1c0c2126298d56 153H165H164H174H173H171H170H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
2386b9e1c6915969e364d48c42aa8d2c 35H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
31830da30069a6e0463993df550405e5 35H178H177H164H18H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b239c4516ce002aeb2dc4b1ded26cf79 28H147H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
1006649910888ce1d9eb98ad49b4c089 28H169H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b239c4516ce002aeb2dc4b1ded26cf79 28H147H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
3b89b984b974d0309c7edd6de07b51a6 28H182H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
3e85359e98a41a867eba9ff120af9ebc 35H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
8c9e5c851823d47989f608414f0f9409 141H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
33946b88bb02c0a1919df42f93542829 141H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
6e09f9de4d406ad0c412f1a3e34215af 141H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
f4ed61a53e73db7f47e3eab8f24c9a6a 141H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
7b1936cb8dda3b1fbd05552254ec4de0 141H194H193H192H191H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
cd809d0a294d4030f1ee1af3593eadb7 141H197H196H192H191H195H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
80cd4023ac4125b6521aac934757b850 141H194H200H192H199H198H195H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
5ce6271df45c2d63987b7db4f6682612 141H194H204H203H202H191H201H198H195H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b50545118b1c7fad6ea2e78e451c1566 141H194H200H207H206H191H205H201H198H195H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
1fc08ed5c008616b95e4b14fdee5737e 141H194H200H207H202H191H208H205H201H198H195H190H189H188H187H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
e12af712dd7f593ce51444839da2c6c6 28H222H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
9849e4b276bf04ad31deb4a3cf24e7a4 28H224H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b94e5497f74549e2d8d805f7ffc1ccca 28H222H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
c9fdad1581fa7758cbafda31e52e4bbc 28H228H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
207d4169ac555f8470b2bcf586405187 35H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
973e2cf2ba9c4167dbf9aa391b4fdad2 151H235H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
ef531f53498f24ebac06306dce7fd49e 153H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
dddf8951b708e16cf6c8addae8aa4f7a 153H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
07f3335293ef4556db8175a4dfff8b2b 153H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
d6ec0d2665076a6dbabe507b58554491 153H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
ea5edeb76bb8ca0bbc0aa2a0c98f3fab 153H241H240H192H191H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
0a67de8cf9d44c3eb4d0175437a7f0d8 153H245H244H192H243H242H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
a4888a107aa97a943a16816f6c7caac4 153H241H248H192H247H246H242H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
5ca5ca45b86a889124d47fc95d813a3c 153H241H252H251H250H191H249H246H242H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
0740d9ce0c3a5c8424751e2ce4b5ee7d 153H241H248H255H254H243H253H249H246H242H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
1c0bd37d2a6ef744389e77c8ab967b51 153H241H248H255H250H191H256H253H249H246H242H239H238H237H236H234H233H232H231H230H229H227H226H225H223H221H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
8beb0b5da3d7ccedf4c0e9840502c9cd 35H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
8be0d3deb15c1e267957b46eaed20d3a 35H284H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
271847febb25fcab913460f63f3b7b7f 35H262H261H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
90738f3f4dc0367d135c7841de1d93b7 35H265H264H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
3021e369cf5ce159dd6b5641ac4ba4a5 35H268H267H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
a1a72a9022533b8f826c948837ab2fe8 35H269H267H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
b2a268705a81d69621e604f2aca7089f 35H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
03dd0c17b11b034ea6cf3d5b6bb2ac6f 273H272H262H261H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
10da797b28d784783dad8efa6727cc75 273H272H265H264H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
2c18a0ef6466740ea870fca673700685 273H274H267H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
a0d14379062537cb295598d5d2ef7e5e 273H276H275H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
13e5be3a4e415dbde8e06be547ead9c4 273H278H277H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
4cc6372bebb83db358e12d98f53a7a32 273H279H276H275H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
10933de670c719871feac326168a81a3 273H280H279H276H275H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
ae9da612df221d1cedd3900006e5aa8e 273H272H280H279H276H275H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
71fbb8f92af1dce2322c0e8b2d276e24 273H281H278H277H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
243735d36705fc9b0ec56c1bfd3d1bc3 273H282H281H278H277H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
661faa53195007c8ecd503c7d9d7d6b3 273H272H282H281H278H277H271H270H266H263H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
8503f120d73bfaaf20fa691f1f52d9c9 273H272H283H260H259H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
c5861fb770e4026a2a9d8cbbc4c67ed9 21H286H285H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
9dc3f1c7144fbba2aff8310b12a1d0fb 21H287H77H286H285H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
52ce95c57a8650b9288bbc2f7147f4ee 21H289H288H286H285H258H257H220H219H218H217H216H215H214H213H212H211H210H209H46H186H185H184H183H29H181H180H13H179H176H175H168H167H166H161H155H144H143H139H132H121H118H111H101H100H99H96H95H94
e0ba54fa6230e96e32de6bcd2baad600 304H314H139H132H121H118H111H101H100H99H96H95H94
f5a327bc1362d588ab633f919c1ad769 41H294H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
290bd6ae954c42437a362e9252a834a7 43H291H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
02266de6a12b4568fae8e30388d46173 43H295H291H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
c551f86413b15cb438579634f53b8a05 35H311H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
cfba1a9ac7d76a6dcd8582d6f0b2ccda 35H299H298H297H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
88c3ae6bfcb38644a9e01ccf497b6a02 304H303H302H301H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
2aa008798697064cb75a75ac10c1a5e2 304H305H303H302H301H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
202030077cb00c5751f11e00697cbff1 304H307H306H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
e514562902fce81ac3a4629aff5f187e 304H308H306H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
dd1ff2d50542b95b26342dde3a9d9d68 304H309H306H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
8a405632c8bd93063f1a92f009715693 304H310H306H300H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
5c04cb27cbdd530cb5d6804112d9715c 28H146H310H309H308H307H296H293H292H14H291H139H132H121H118H111H101H100H99H96H95H94
7834b48674e0d7aea07f9e67d0ab5b90 21H313H312H292H14H291H139H132H121H118H111H101H100H99H96H95H94
d97b1f68d5714877bb5c7f314006ba0d 318H317H316H315H139H132H121H118H111H101H100H99H96H95H94
481ea79977967dc70b0636e6489fbc45 334H333H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
12394c7c9ea8849ef6c1a9251b9b60c3 35H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
65c12caba3fad0d1a5508cfc2ae3044d 41H327H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
3bc1935567bdac992426bee5b62345c5 43H328H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
45a093e972c38a6592f38fc850344d20 43H291H328H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
cebbb66c42db884872199d73d12dea39 43H322H291H328H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
30f1b4783583323d5c699d45eb717e97 43H323H322H291H328H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
3433b369b7ae8ed7fde24ea3c1ebe2c4 43H324H323H322H291H328H326H325H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
a5322468187f57a022e34492c35a453f 35H330H329H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
f714bf855619f948666238cf0b0b4c9f 21H332H331H324H323H322H291H321H166H14H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
acd304943e19950f183f29871e0c6812 337H336H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
0f5d83ddb15a256ed6fca042a300790d 85H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
89ebabdbf121de98d2d5ec947d0aab5c 359H432H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
b8109b232a0fbbb721217e1858685d47 35H345H259H344H343H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
c23faf06480a7d001eda6fb2f585aed2 21H350H349H348H347H346H344H343H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
c0b158c9c1ecfc4942d5ba842915301a 21H345H259H351H346H344H343H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
d8b5c6bb20578d33265d5adfd5c7c40a 35H360H356H355H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
512f2f39484e2d523abde67f72d8f7d0 35H357H356H355H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
823787e5cb4714f6c8d2a365642b0b24 359H358H356H355H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
cee69c46bca861c2d21431363f9c072c 141H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
af86abcf3f71f6de43b71c881b826afc 141H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
21d1172d6ea3b0dbb905b86bb03dc99f 141H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
2e62a27f8ad78670d1f574fdb4eea270 141H364H356H355H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
6077e04fa3819449a4277b775ed7b813 141H364H366H355H77H365H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
17c35f492adc210dc590a6ad78c8f5cd 141H356H364H367H365H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
fcfa183eb274ac376b08b6c188360d67 141H371H370H369H77H368H367H365H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
2c8d0a043830af62dce4710e436a52ed 141H374H373H348H347H372H368H367H365H363H362H353H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
acaac7ad1618969f655d6de770f64bf8 35H397H391H390H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
45d7c4eca4ac4f67e7f75fd27634ff86 35H392H391H390H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
086e8d931235a67dce37b4c52cfcbc75 359H393H392H391H390H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
ecf193bc44bdcf3789471f5b9dc3e546 359H394H393H392H391H390H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
63b6220ae979f5e639e6fda7f17258de 35H399H394H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
88569ed6e33b5c6f5a99b2b13e7c44b2 35H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
04e9fa10c7ac06214a69fd2572dcd105 35H409H402H348H347H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
4099e9f4a94db5e2a24ab5298f91af19 35H404H403H402H348H347H401H400H398H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
32d402f05c5f2c3f8979e533dcbc3ed8 35H405H404H403H402H348H347H401H400H398H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
7c0e93a073f377ef1de8ada1a786ddeb 359H408H407H406H402H348H347H401H400H398H389H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
5a3baafa1593022a2cee36aa52f7f481 151H411H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
1982be0e24ce9c8b36ba7fea7005de25 153H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
7182015ac22ce6798ce7d8f95177eb68 153H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
1f6c4d4e249ac37bf0763a35e5438f7b 153H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
a3d29ac7bfe5342e30d39186f966c292 153H394H391H390H389H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
f5e62867a4dfcd84bb06ad31e17ca504 153H394H415H390H414H413H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
52bf3847d2e7d0fc681914a6e1576ae6 153H391H394H389H416H413H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
ab47a9e68cf5358b95663ff1420ad505 153H419H272H418H414H417H416H413H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
006f1fcee1b617f76e01f6171e8a11ac 153H408H402H348H347H420H417H416H413H412H401H286H410H401H400H398H389H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
89c9364525fe4c09c0ef2e069b219ab3 35H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
2b9c5f4e09a22ec19a07391fc7a6f931 35H409H402H348H347H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
20b925aa0fea91c5d0173145c69d5f81 35H404H403H402H348H347H401H421H414H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
eb6f119a841a320551617e73878e5f0a 35H405H404H403H402H348H347H401H421H414H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
f7c95a3361300cbf29bd62dd7f24de0b 359H408H407H406H402H348H347H401H421H414H388H387H386H385H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
953571d08601b63cee765b95d45ccb62 151H423H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
836b3518e9f2ae0abbba39ce7be8ac42 153H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
64fd3a04e70e87230607a3c27e54a8cf 153H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
fc083298ecb22a8c749117fc89dd8a1d 153H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
5bb1940073dffb5e776e665170951d0d 153H394H391H390H389H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
c7256012fbebee322b5d0989bfdf8b9f 153H394H415H390H414H425H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
458f90bca130f3362667c37b142c3b39 153H391H394H389H426H425H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
fedb3f030b355e7600fe1f83548f2cb3 153H419H272H418H414H427H426H425H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
834b1a7cd5cc69cdbbb09dc0dc450517 153H408H402H348H347H428H427H426H425H424H401H286H422H401H421H414H396H395H213H46H384H383H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
caff225e6767d3210741a39b95547f1e 21H350H349H348H347H429H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
353842aafeadab5d42b51b2a4575c65f 21H345H431H430H429H382H381H380H379H378H377H376H375H29H361H354H353H13H352H342H341H340H339H338H335H320H319H316H315H139H132H121H118H111H101H100H99H96H95H94
