a<V0V2Ia<V1V2Ia<V0V1F
empty_shape
asortedaConsV3V4qasortedV4Aa<V3V5IamemV5V4FF
asorteda++V6V7qa<V8V9IamemV9V7IamemV8V6FAasortedV7AasortedV6F
a<=V10V12Ia<=V11V12Ia<=V10V11F
asorted1aConsV13V14qasorted1V14Aa<=V13V15IamemV15V14FF
asorted1a++V16V17qa<=V18V19IamemV19V17IamemV18V16FAasorted1V17Aasorted1V16F
asorted2aConsV20V21qasorted2V21AageV20V22IamemV22V21FF
asorted2a++V23V24qageV25V26IamemV26V24IamemV25V23FAasorted2V24Aasorted2V23F
acompatV27V28Aasorted1V28Aasorted2V27qasorted1arev_appendV27V28F
acompatV30V29Aasorted2V30Aasorted1V29qasorted2arev_appendV29V30F
a=V31V32qa=aandbaimplbV31V32aimplbV32V31aTrueF
VC for eqb
a=V31V32qa=aeqbV31V32aTrueF
a=aemptyaof_listareverseaNil
VC for list_seq
a=aseqV33aof_listareversealistV33FaseqV33alistV33
VC for nil
a=aseqanilaemptyAa=alistanilaNil
a=alistV39aConsV34alistV35Ia=aseqV39V37Aa=alistV39V38FAa=V37aof_listareverseV38LaConsV34alistV35Ia=aV37V40aV36V40Ia<V40alengthV36Aa<=c0V40FAa=aV37alengthV36V34Aa=alengthV37a+c1alengthV36LasnocV36V34LaseqV35F
VC for extend
a>alengthasc0
a=alistaoaConsc0alistanil
a=c1a+c0c1
loop invariant init
a<=c1a+anc1Aa<c0c1
a>alength1aseqaoc0
a=agetaseqaoc0c0
a=agetaseqaoa-alength1aseqaoc1c0
amemazalistao
a<=azanAa<=c0az
a<=V34anAa<=c0V34IamemV34alistaoF
a<=c0ak
a<aka-alength1aseqaoc1
a>=aasV35aasV36Ia<V36ack1Aa<V35V36Aa<=ackV35FOa<aasV37aasV38Ia<V38ack1Aa<V37V38Aa<=ackV37F
a>=aasV38aasV39Ia<V39V37Aa<V38V39Aa<=V36V38FOa<aasV40aasV41Ia<V41V37Aa<V40V41Aa<=V36V40FLagetaseqaoa+V35c1LagetaseqaoV35Ia<V35a-alength1aseqaoc1Aa<=c0V35F
a<=c0ai
a<aiaj
a<ajalength1aseqao
a<=agetaseqaoaiagetaseqaoaj
a=aya+axc1
a<c0ay
a<=aya+anc1
a>alength1aseqacutc0
a=agetaseqacutc0c0
a=agetaseqacuta-alength1aseqacutc1ax
a<=V34anAa<=c0V34IamemV34alistacutF
a>=aasV38aasV39Ia<V39V37Aa<V38V39Aa<=V36V38FOa<aasV40aasV41Ia<V41V37Aa<V40V41Aa<=V36V40FLagetaseqacuta+V35c1LagetaseqacutV35Ia<V35a-alength1aseqacutc1Aa<=c0V35F
a<=agetaseqacutV42agetaseqacutV43Ia<V43alength1aseqacutAa<V42V43Aa<=c0V42F
a<ayan
a<ayalengthasAa<=c0ay
index in array bounds
a<axalengthasAa<=c0ax
a=aincreasingiaFalseaTruea<aasaxaasay
a<=ayanAa<=ayay
a>=aasV44aasV45Ia<V45ayAa<V44V45Aa<=axV44FOa<aasV46aasV47Ia<V47ayAa<V46V47Aa<=axV46F
a<=ayay1
a<=ay1an
a>=aasV44aasV45Ia<V45ay1Aa<V44V45Aa<=axV44FOa<aasV46aasV47Ia<V47ay1Aa<V46V47Aa<=axV46F
a<ay1an
a<ay1alengthasAa<=c0ay1
a<a-ay1c1alengthasAa<=c0a-ay1c1
a=iaFalseaTruea<aasa-ay1c1aasay1aincreasingqa=iaFalseaeqbiaFalseaTruea<aasa-ay1c1aasay1aincreasinga<ay1anaTrueONa<ay1an
a=iaFalseaeqbiaFalseaTruea<aasa-ay1c1aasay1aincreasinga<ay1anaTrue
a=ay2a+ay1c1
a<a-anay2a-anay1Aa<=c0a-anay1
loop variant decrease
a<=ay2anAa<=ayay2
loop invariant preservation
a>=aasV48aasV49Ia<V49ay2Aa<V48V49Aa<=axV48FOa<aasV50aasV51Ia<V51ay2Aa<V50V51Aa<=axV50F
Na=iaFalseaeqbiaFalseaTruea<aasa-ay1c1aasay1aincreasinga<ay1anaTrue
a=alistacut1aConsay1alistacut
a=agetaseqacuta-alength1aseqacut1c2ax
assertion
a<aka-alength1aseqacut1c2
a=agetaseqacuta+akc1agetaseqacut1a+akc1Aa=agetaseqacutakagetaseqacut1ak
a=agetaseqacuta+V48c1agetaseqacut1a+V48c1Aa=agetaseqacutV48agetaseqacut1V48Ia<V48a-alength1aseqacut1c2Aa<=c0V48F
a=ax1ay1
a=ay2a+ax1c1
a<a-anay2a-anayAa<=c0a-anay
a<=ay2a+anc1Aa<c0ay2
a>alength1aseqacut1c0
a=agetaseqacut1c0c0
a=agetaseqacut1a-alength1aseqacut1c1ax1
amemazalistacut1
a=aseqV0aof_listareversealistV0FaseqV0alistV0
a>=aasV4aasV5Ia<V5V3Aa<V4V5Aa<=V2V4FOa<aasV6aasV7Ia<V7V3Aa<V6V7Aa<=V2V6FLagetaseqacuta+V1c1LagetaseqacutV1Ia<V1a-alengthaseqacutc1Aa<=c0V1F
a>=aasV8aasV9Ia<V9ay1Aa<V8V9Aa<=axV8FOa<aasV10aasV11Ia<V11ay1Aa<V10V11Aa<=axV10F
a=agetaseqacuta-alengthaseqacut1c2ax
a=agetaseqacuta+V12c1agetaseqacut1a+V12c1Aa=agetaseqacutV12agetaseqacut1V12Ia<V12a-alengthaseqacut1c2Aa<=c0V12F
a=agetaseqacut1a-alengthaseqacut1c1ax1
a<aka-alengthaseqacut1c1
a>=aasV13aasV14Ia<V14ack1Aa<V13V14Aa<=ackV13FOa<aasV15aasV16Ia<V16ack1Aa<V15V16Aa<=ackV15F
a<=V49anAa<=c0V49IamemV49alistacut1F
a<aka-alength1aseqacut1c1
a>=aasV50aasV51Ia<V51ack1Aa<V50V51Aa<=ackV50FOa<aasV52aasV53Ia<V53ack1Aa<V52V53Aa<=ackV52F
a>=aasV53aasV54Ia<V54V52Aa<V53V54Aa<=V51V53FOa<aasV55aasV56Ia<V56V52Aa<V55V56Aa<=V51V55FLagetaseqacut1a+V50c1Lagetaseqacut1V50Ia<V50a-alength1aseqacut1c1Aa<=c0V50F
a<ajalength1aseqacut1
a<=agetaseqacut1aiagetaseqacut1aj
Na<ayan
a<axan
a=alistacut1aConsanalistacut
a=agetaseqacut1a-alength1aseqacut1c1an
a=agetaseqacuta+V44c1agetaseqacut1a+V44c1Aa=agetaseqacutV44agetaseqacut1V44Ia<V44a-alength1aseqacut1c2Aa<=c0V44F
postcondition
a=agetaseqacut1a-alength1aseqacut1c1alengthas
a>=alength2alistacut1c2
a<=azalengthasAa<=c0az
a<=V45alengthasAa<=c0V45IamemV45alistacut1F
a>=aasV46aasV47Ia<V47ack1Aa<V46V47Aa<=ackV46FOa<aasV48aasV49Ia<V49ack1Aa<V48V49Aa<=ackV48F
a>=aasV49aasV50Ia<V50V48Aa<V49V50Aa<=V47V49FOa<aasV51aasV52Ia<V52V48Aa<V51V52Aa<=V47V51FLagetaseqacut1a+V46c1Lagetaseqacut1V46Ia<V46a-alength1aseqacut1c1Aa<=c0V46F
Na<axan
a=agetaseqacuta-alength1aseqacutc1an
a<aka-alength1aseqacutc2
tAt
tAtIa<V44a-alength1aseqacutc2Aa<=c0V44F
a=agetaseqacuta-alength1aseqacutc1alengthas
a>=alength2alistacutc2
amemazalistacut
a<=V45alengthasAa<=c0V45IamemV45alistacutF
a<aka-alength1aseqacutc1
a>=aasV49aasV50Ia<V50V48Aa<V49V50Aa<=V47V49FOa<aasV51aasV52Ia<V52V48Aa<V51V52Aa<=V47V51FLagetaseqacuta+V46c1LagetaseqacutV46Ia<V46a-alength1aseqacutc1Aa<=c0V46F
a<ajalength1aseqacut
a<=agetaseqacutaiagetaseqacutaj
iia<=agetaseqV39V40agetaseqV39V41Ia<V41alengthaseqV39Aa<V40V41Aa<=c0V40FAa>=aV34V45aV34V46Ia<V46V44Aa<V45V46Aa<=V43V45FOa<aV34V47aV34V48Ia<V48V44Aa<V47V48Aa<=V43V47FLagetaseqV39a+V42c1LagetaseqV39V42Ia<V42a-alengthaseqV39c1Aa<=c0V42FAa<=V49alength1V34Aa<=c0V49IamemV49alistV39FAa>=alength2alistV39c2Aa=agetaseqV39a-alengthaseqV39c1alength1V34Aa=agetaseqV39c0c0AtAtIa<V50a-alengthaseqV39c2Aa<=c0V50FAa=agetaseqV39a-alengthaseqV39c1V35a<=agetaseqV52V53agetaseqV52V54Ia<V54alengthaseqV52Aa<V53V54Aa<=c0V53FAa>=aV34V58aV34V59Ia<V59V57Aa<V58V59Aa<=V56V58FOa<aV34V60aV34V61Ia<V61V57Aa<V60V61Aa<=V56V60FLagetaseqV52a+V55c1LagetaseqV52V55Ia<V55a-alengthaseqV52c1Aa<=c0V55FAa<=V62alength1V34Aa<=c0V62IamemV62alistV52FAa>=alength2alistV52c2Aa=agetaseqV52a-alengthaseqV52c1alength1V34Aa=agetaseqV52c0c0Aa=agetaseqV39a+V63c1agetaseqV52a+V63c1Aa=agetaseqV39V63agetaseqV52V63Ia<V63a-alengthaseqV52c2Aa<=c0V63FAa=agetaseqV52a-alengthaseqV52c1V35Ia=V52V51FIa=alistV51aConsV35alistV39Fa<V38V35ia<=agetaseqV68V71agetaseqV68V72Ia<V72alengthaseq
VC for cutpoints
asorted2al
asorted1aNil
acompatalaNil
asorted1areverseal
asorted1areverseV34ItOacompatV34aNilAasorted1aNilAasorted2V34Iasorted2V34F
asorted1V35ICasorted1aConsV36V37aConswaConsVVtwV35ACasortedV40ACfaNila=V41V40aConswVV35LaConsV38V39aConswaConsVVtwV35IasortedV35F
VC for lt_le_sorted
asorted1V35IasortedV35F
apermutV36V37Aasorted1V37ICa=V37V36aNila=V37V36aConswaNilia=V37areverseV36Aasorted2V36a=V37V36Aasorted1V36ItOasortedV36a<V38V39aConsVaConsVwV36FACtaNiltaConswaNiliasorted2V36asorted1V36ItOasortedV36a<V40V41aConsVaConsVwV36Iasorted2V36OasortedV36F
VC for order
Ca=aorderV36V36aNila=aorderV36V36aConswaNilia=aorderV36areverseV36a=aorderV36V36a<V37V38aConsVaConsVwV36Iasorted2V36OasortedV36F
apermutV39aorderV39Aasorted1aorderV39Iasorted2V39OasortedV39F
a<=c0as
a<=asalengthaa
a<=c0ae
a<=aealengthaa
a>=aaaV40aaaV41Ia<V41aeAa<V40V41Aa<=asV40FOa<aaaV42aaaV43Ia<V43aeAa<V42V43Aa<=asV42F
Na>=asae
a<a-aea+asc1a-aeasAa<=c0a-aeas
variant decrease
a<=a+asc1alengthaaAa<=c0a+asc1
precondition
a<=aealengthaaAa<=c0ae
a>=aaaV44aaaV45Ia<V45aeAa<V44V45Aa<=a+asc1V44FOa<aaaV46aaaV47Ia<V47aeAa<V46V47Aa<=a+asc1V46F
a=anum_occV44aoaoccV44aeltsaaa+asc1aeF
a=aaaV46V45Aa<V46aeAa<=a+asc1V46EIamemV45aoF
asortedaoIa<aaaV47aaaV48Ia<V48aeAa<V47V48Aa<=a+asc1V47F
asorted2aoIa>=aaaV49aaaV50Ia<V50aeAa<V49V50Aa<=a+asc1V49F
asorted2aoOasortedao
a<asalengthaaAa<=c0as
ia=aresultaConsaaaasaoAasorted2aoOasortedaoAasorted2aoIa>=aaaV45aaaV46Ia<V46aeAa<V45V46Aa<=V44V45FAasortedaoIa<aaaV47aaaV48Ia<V48aeAa<V47V48Aa<=V44V47FAa=aaaV50V49Aa<V50aeAa<=V44V50EIamemV49aoFAa=anum_occV51aoaoccV51aeltsaaV44aeFLa+asc1a=aresultaNila>=asae
a=anum_occaxaresultaoccaxaeltsaaasae
a=anum_occV52aresultaoccV52aeltsaaasaeF
amemaxaresult
a=aaaV53axAa<V53aeAa<=asV53E
a=aaaV54V53Aa<V54aeAa<=asV54EIamemV53aresultF
a<aaaV55aaaV56Ia<V56aeAa<V55V56Aa<=asV55F
asortedaresult
asortedaresultIa<aaaV55aaaV56Ia<V56aeAa<V55V56Aa<=asV55F
a>=aaaV57aaaV58Ia<V58aeAa<V57V58Aa<=asV57F
asorted2aresult
asorted2aresultIa>=aaaV57aaaV58Ia<V58aeAa<V57V58Aa<=asV57F
asorted2aresultOasortedaresult
asorted2V43OasortedV43Aasorted2V43Ia>=aV40V44aV40V45Ia<V45V42Aa<V44V45Aa<=V41V44FAasortedV43Ia<aV40V46aV40V47Ia<V47V42Aa<V46V47Aa<=V41V46FAa=aV40V49V48Aa<V49V42Aa<=V41V49EIamemV48V43FAa=anum_occV50V43aoccV50aeltsV40V41V42FIia=V43aConsaV40V41V52Aasorted2V52OasortedV52Aasorted2V52Ia>=aV40V53aV40V54Ia<V54V42Aa<V53V54Aa<=V51V53FAasortedV52Ia<aV40V55aV40V56Ia<V56V42Aa<V55V56Aa<=V51V55FAa=aV40V58V57Aa<V58V42Aa<=V51V58EIamemV57V52FAa=anum_occV59V52aoccV59aeltsV40V51V42FELa+V41c1a=V43aNila>=V41V42FAa<V41alengthV40Aa<=c0V41Iasorted2V61OasortedV61Aasorted2V61Ia>=aV40V62aV40V63Ia<V63V42Aa<V62V63Aa<=V60V62FAasortedV61Ia<aV40V64aV40V65Ia<V65V42Aa<V64V65Aa<=V60V64FAa=aV40V67V66Aa<V67V42Aa<=V60V67EIamemV66V61FAa=anum_occV68V61aoccV68aeltsV40V60V42FFAa>=aV40V69aV40V70Ia<V70V42Aa<V69V70Aa<=V60V69FOa<aV40V71aV40V72Ia<V72V42Aa<V71V72Aa<=V60V71FAa<=V42alengthV40Aa<=c0V42Aa<=V60alengthV40Aa<=c0V60Aa<a-V42V60a-V42V41Aa<=c0a-V42V41La+V41c1INa>=V41V42Ia>=aV40V73aV40V74Ia<V74V42Aa<V73V74Aa<=V41V73FOa<aV40V75aV40V76Ia<V76V42Aa<V75V76A
VC for list_from
a<=c0ac1
a<=ac1ac2
a<=ac2ac3
a<=ac3alengthaa
Na=ac3ac2
a<a-a-ac3c1ac2a-ac3ac2Aa<=c0a-ac3ac2
a<=a-ac3c1alengthaaAa<=ac2a-ac3c1Aa<=ac1ac2Aa<=c0ac1
a=aoccV41aeltsaaac1V40a+aoccV41aeltsaaac1ac2aoccV41aeltsaaac2V40FLa-ac3c1Oa=ac3ac2
a=aoccaxaeltsaaac1ac3a+aoccaxaeltsaaac1ac2aoccaxaeltsaaac2ac3
a=aoccV44aeltsV40V41V43a+aoccV44aeltsV40V41V42aoccV44aeltsV40V42V43FIa=aoccV46aeltsV40V41V45a+aoccV46aeltsV40V41V42aoccV46aeltsV40V42V45FLa-V43c1Oa=V43V42Aa<=V47alengthV40Aa<=V42V47Aa<=V41V42Aa<=c0V41Aa<a-V47V42a-V43V42Aa<=c0a-V43V42La-V43c1INa=V43V42Ia<=V43alengthV40Aa<=V42V43Aa<=V41V42Aa<=c0V41F
VC for occ_slice
a=aoccV44aeltsV40V41V43a+aoccV44aeltsV40V41V42aoccV44aeltsV40V42V43FIa<=V43alengthV40Aa<=V42V43Aa<=V41V42Aa<=c0V41F
a>alength1alistacutpc0
a<=agetaseqacutpV45agetaseqacutpV46Ia<V46alength2aseqacutpAa<V45V46Aa<=c0V45F
a<=V47alengthasAa<=c0V47IamemV47alistacutpF
a>=aasV51aasV52Ia<V52V50Aa<V51V52Aa<=V49V51FOa<aasV53aasV54Ia<V54V50Aa<V53V54Aa<=V49V53FLagetaseqacutpa+V48c1LagetaseqacutpV48Ia<V48a-alength2aseqacutpc1Aa<=c0V48F
a=alsaConsaxaConsax1ax2
a=axagetaseqacutpa+akc1Aa=ax1agetaseqacutpak
a<=V0alengthasAa<=c0V0IamemV0alistacutpF
a<=ax1alengthasAa<=c0ax1
a=axagetaseqacutpa+V55c1Aa=ax1agetaseqacutpV55La-alength2aseqacutpc2
a<=axalengthasAa<=c0ax
a>=aasV56aasV57Ia<V57axAa<V56V57Aa<=ax1V56FOa<aasV58aasV59Ia<V59axAa<V58V59Aa<=ax1V58F
a=anum_occV56aseqiaoccV56aeltsasax1axF
a=aasV58V57Aa<V58axAa<=ax1V58EIamemV57aseqiF
asortedaseqiIa<aasV59aasV60Ia<V60axAa<V59V60Aa<=ax1V59F
asorted2aseqiIa>=aasV61aasV62Ia<V62axAa<V61V62Aa<=ax1V61F
asorted2aseqiOasortedaseqi
a<=a-alength2aseq1c1alength2aseq1Aa<=c0a-alength2aseq1c1Aa<=c0c0
a=alength2aaseq1c0a-alength2aseq1c1a-a-alength2aseq1c1c0
a=aaaseq1c0a-alength2aseq1c1V63aaseq1a+c0V63Ia<V63a-a-alength2aseq1c1c0Aa<=c0V63F
a=aaseq1c0a-alength2aseq1c1aof_listareverseaConsax1ax2
a=alistalseqaConsax1ax2
a=aseqalseqaaseq1c0a-alength2aseq1c1
asorted1aorderaseqi
CfaNila=V64alistalseqaConswValistacutp
a>alength1alistalseqc0
a<=c0ax3
a<ax3ay
a<ayalength2aseqalseq
a<=agetaseqalseqax3agetaseqalseqay
a<=agetaseqalseqV64agetaseqalseqV65Ia<V65alength2aseqalseqAa<V64V65Aa<=c0V64F
amemazalistalseq
a<=V66alengthasAa<=c0V66IamemV66alistalseqF
a<aka-alength2aseqalseqc1
a>=aasV67aasV68Ia<V68ack1Aa<V67V68Aa<=ackV67FOa<aasV69aasV70Ia<V70ack1Aa<V69V70Aa<=ackV69F
asorted1V64IamemV64aresultF
a=anum_occV65afold_rightea=a@a@V66V67V68a++V67V68FaresultaNilaoccV65aeltsasagetaseqalseqc0agetaseqalseqa-alength2aseqalseqc1F
a=alsaNil
a=aresultaNil
amemalaresult
asorted1al
a=alsaConsaxaNil
a=alength2V64a-V63c0Laaseq1c0V63La-alength2aseq1c1
a=aV66V67aaseq1a+c0V67Ia<V67a-V65c0Aa<=c0V67FLaaseq1c0V65La-alength2aseq1c1
a=alistalseqaConsax1ax2Laaseq1c0V68La-alength2aseq1c1
a=aseqalseqV71Laaseq1c0V70La-alength2aseq1c1
asorted1aorderaseqiLaaseq1c0V72La-alength2aseq1c1
asorted1V76IamemV76aresultFLaaseq1c0V74La-alength2aseq1c1
a=anum_occV79afold_rightea=a@a@V80V81V82a++V81V82FaresultaNilaoccV79aeltsasagetaseqalseqc0agetaseqalseqa-alength2aseqalseqc1FLaaseq1c0V77La-alength2aseq1c1
asorted1V85LaorderaseqiLaaseq1c0V83La-alength2aseq1c1
apermutaseqiV88LaorderaseqiLaaseq1c0V86La-alength2aseq1c1
a=aresult1aConsV91aresultLaorderaseqiLaaseq1c0V89La-alength2aseq1c1
amemalaresult1
Ca=aresultaNilaNilCa=aresultaNilaNila=aresultaConsV61aresult1AapermutaseqiV61Aasorted1V61LaorderaseqiAa=anum_occV62afold_rightea=a@a@V63V64V65a++V64V65Faresult1aNilaoccV62aeltsasagetaseqalseqc0agetaseqalseqa-alength2aseqalseqc1FAasorted1V66IamemV66aresult1FAasorted1aorderaseqiAa=aseqalseqV60Aa=alistalseqaConsV57V58Aa=aV60V67aaseq1a+c0V67Ia<V67a-V59c0Aa<=c0V67FAa=alength2V60a-V59c0Laaseq1c0V59La-alength2aseq1c1Aasorted2aseqiOasortedaseqiAasorted2aseqiIa>=aasV68aasV69Ia<V69V55Aa<V68V69Aa<=V57V68FAasortedaseqiIa<aasV70aasV71Ia<V71V55Aa<V70V71Aa<=V57V70FAa=aasV73V72Aa<V73V55Aa<=V57V73EIamemV72aseqiFAa=anum_occV74aseqiaoccV74aeltsasV57V55FAa=V55agetaseqacutpa+V75c1Aa=V57agetaseqacutpV75La-alength2aseqacutpc2aConsVVV56aConsVVals
asorted1V55IamemV55aresultF
a=anum_occaxafold_rightea=a@a@V56V57V58a++V57V58FaresultaNilaoccaxaeltsasagetaseqacutpc0agetaseqacutpa-alength2aseqacutpc1
a=anum_occax1afold_rightea=a@a@V56V57V58a++V57V58FaresultaNilaoccax1aeltsasagetaseqacutpc0agetaseqacutpa-alength2aseqacutpc1
asorted1V92IamemV92aresult1F
a=aoccax3aeltsasagetaseqacutpc0agetaseqacutpa-alength2aseqacutpc1a+aoccax3aeltsasagetaseqacutpc0agetaseqalseqa-alength2aseqalseqc1aoccax3aeltsasagetaseqalseqa-alength2aseqalseqc1agetaseqacutpa-alength2aseqacutpc1
asserted formula
a=anum_occax3afold_rightea=a@a@V93V94V95a++V94V95Faresult1aNilaoccax3aeltsasagetaseqacutpc0agetaseqacutpa-alength2aseqacutpc1
asorted1V76IamemV76aresultF
a=anum_occaxafold_rightea=a@a@V77V78V79a++V78V79FaresultaNilaoccaxaeltsasagetaseqacutpc0agetaseqacutpa-alength2aseqacutpc1
a=anum_occV50afold_rightea=a@a@V51V52V53a++V52V53FV49aNilaoccV50aeltsV45agetaseqV46c0agetaseqV46a-alength1aseqV46c1FAasorted1V54IamemV54V49FICa=V49aNilaConswaNilOaNila=V49aConsV63V62AapermutV58V63Aasorted1V63LaorderV58Aa=anum_occV64afold_rightea=a@a@V65V66V67a++V66V67FV62aNilaoccV64aeltsV45agetaseqV61c0agetaseqV61a-alength1aseqV61c1FAasorted1V68IamemV68V62FEAasorted1aorderV58Aa=aseqV61V60Aa=alistV61aConsV56V57EAa=aV60V69aV48a+c0V69Ia<V69a-V59c0Aa<=c0V69FAa=alength1V60a-V59c0LaV48c0V59La-alength1V48c1Aasorted2V58OasortedV58Aasorted2V58Ia>=aV45V70aV45V71Ia<V71V55Aa<V70V71Aa<=V56V70FAasortedV58Ia<aV45V72aV45V73Ia<V73V55Aa<V72V73Aa<=V56V72FAa=aV45V75V74Aa<V75V55Aa<=V56V75EIamemV74V58FAa=anum_occV76V58aoccV76aeltsV45V56V55FEAa=V55agetaseqV46a+V77c1Aa=V56agetaseqV46V77La-alength1aseqV46c2aConsVaConsVVV47FACtaConswaNilOaNilasorted2V81OasortedV81Ia=anum_occV87afold_rightea=a@a@V88V89V90a++V89V90FV86aNilaoccV87aeltsV45agetaseqV85c0agetaseqV85a-alength1aseqV85c1FAasorted1V91IamemV91V86FFAa>=aV45V95aV45V96Ia<V96V94Aa<V95
VC for sorted_lists
asortedaConsV3V4IasortedV4Aa<V3V5IamemV5V4FF
a<V6V8IamemV8V7FIasortedaConsV6V7F
asortedV10IasortedaConsV9V10F
asorteda++V11V12Ia<V13V14IamemV14V12IamemV13V11FAasortedV12AasortedV11F
asortedV15Iasorteda++V15V16F
asortedV18Iasorteda++V17V18F
a<V21V22IamemV22V20IamemV21V19FIasorteda++V19V20F
a<=V23V25Ia<=V24V25Ia<=V23V24F
asorted1aConsV26V27Iasorted1V27Aa<=V26V28IamemV28V27FF
a<=V29V31IamemV31V30FIasorted1aConsV29V30F
asorted1V33Iasorted1aConsV32V33F
asorted1a++V34V35Ia<=V36V37IamemV37V35IamemV36V34FAasorted1V35Aasorted1V34F
asorted1V38Iasorted1a++V38V39F
asorted1V41Iasorted1a++V40V41F
a<=V44V45IamemV45V43IamemV44V42FIasorted1a++V42V43F
asorted2aConsV46V47Iasorted2V47AageV46V48IamemV48V47FF
ageV49V51IamemV51V50FIasorted2aConsV49V50F
asorted2V53Iasorted2aConsV52V53F
asorted2a++V54V55IageV56V57IamemV57V55IamemV56V54FAasorted2V55Aasorted2V54F
asorted2V58Iasorted2a++V58V59F
asorted2V61Iasorted2a++V60V61F
ageV64V65IamemV65V63IamemV64V62FIasorted2a++V62V63F
asorted2V66Iasorted1arev_appendV66V67F
asorted1V69Iasorted1arev_appendV68V69F
acompatV70V71Iasorted1arev_appendV70V71F
asorted1arev_appendV72V73IacompatV72V73Aasorted1V73Aasorted2V72F
asorted1V74Iasorted2arev_appendV74V75F
asorted2V77Iasorted2arev_appendV76V77F
acompatV79V78Iasorted2arev_appendV78V79F
asorted2arev_appendV80V81IacompatV81V80Aasorted2V81Aasorted1V80F
a=V82V83Ia=aeqbV82V83aTrueF
a=aeqbV84V85aTrueIa=V84V85F
a=aseqV86aof_listareversealistV86FaseqV86alistV86
a=alistanilaNil
a=aseqanilaempty
asorted1areverseV87Iasorted2V87F
asorted1V88IasortedV88F
a=aorderV89V89Ia=V89aNilIasortedV89F
a=aorderV90V90Ia=V92aNilIa=V90aConsV91V92FIasortedV90F
a=aorderV93V93Ia<V94V96Ia=V95aConsV96V97FIa=V93aConsV94V95FIasortedV93F
a=aorderV98areverseV98INa<V99V101Ia=V100aConsV101V102FIa=V98aConsV99V100FIasortedV98F
a=aorderV103V103Ia=V103aNilIasorted2V103F
a=aorderV104V104Ia=V106aNilIa=V104aConsV105V106FIasorted2V104F
a=aorderV107V107Ia<V108V110Ia=V109aConsV110V111FIa=V107aConsV108V109FIasorted2V107F
a=aorderV112areverseV112INa<V113V115Ia=V114aConsV115V116FIa=V112aConsV113V114FIasorted2V112F
asorted1aorderV117IasortedV117F
apermutV118aorderV118IasortedV118F
asorted1aorderV119Iasorted2V119F
apermutV120aorderV120Iasorted2V120F
a=aoccV125aeltsV121V122V124a+aoccV125aeltsV121V122V123aoccV125aeltsV121V123V124FIa<=V124alengthV121Aa<=V123V124Aa<=V122V123Aa<=c0V122F
a<=V130V132IamemV132a++V131V127FIa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
a<a+alength1V131alength1V127a+alength1V126alength1V127Aa<=c0a+alength1V126alength1V127Ia<=V130V132IamemV132a++V131V127FIa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
asorted1V131Ia<=V130V132IamemV132a++V131V127FIa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
asorted1V127Iasorted1V131Ia<=V130V132IamemV132a++V131V127FIa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
a<=V128V132IamemV132a++V126V129FINa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
a<a+alength1V126alength1V129a+alength1V126alength1V127Aa<=c0a+alength1V126alength1V127Ia<=V128V132IamemV132a++V126V129FINa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
asorted1V126Ia<=V128V132IamemV132a++V126V129FINa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
asorted1V129Iasorted1V126Ia<=V128V132IamemV132a++V126V129FINa<V130V128Ia=V126aConsV130V131FIa=V127aConsV128V129FIasorted1V127Aasorted1V126F
asorted1V128Ia=V128V127Aa=V126aNilAa=V127aNilFIasorted1V127Aasorted1V126F
apermutV128a++V126V127Iasorted1V128Ia=V128V127Aa=V126aNilAa=V127aNilFIasorted1V127Aasorted1V126F
asorted1V128Ia=V128V126Aa=V126aConsV129V130EAa=V127aNilFIasorted1V127Aasorted1V126F
apermutV128a++V126V127Iasorted1V128Ia=V128V126Aa=V126aConsV129V130EAa=V127aNilFIasorted1V127Aasorted1V126F
asorted1V128Ia=V128V127Aa=V126aNilAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
apermutV128a++V126V127Iasorted1V128Ia=V128V127Aa=V126aNilAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
asorted1V128Ia=V128aConsV131V133AapermutV133a++V132V127Aasorted1V133EAa<=V131V134IamemV134a++V132V127FAa<V131V129Aa=V126aConsV131V132EAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
apermutV128a++V126V127Iasorted1V128Ia=V128aConsV131V133AapermutV133a++V132V127Aasorted1V133EAa<=V131V134IamemV134a++V132V127FAa<V131V129Aa=V126aConsV131V132EAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
asorted1V128Ia=V128aConsV129V133AapermutV133a++V126V130Aasorted1V133EAa<=V129V134IamemV134a++V126V130FANa<V131V129Aa=V126aConsV131V132EAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
apermutV128a++V126V127Iasorted1V128Ia=V128aConsV129V133AapermutV133a++V126V130Aasorted1V133EAa<=V129V134IamemV134a++V126V130FANa<V131V129Aa=V126aConsV131V132EAa=V127aConsV129V130EFIasorted1V127Aasorted1V126F
apermutV47a++V45V46Aasorted1V47ICCa=V47V46aNila=V47V45wV45aNilCa=V47V46aNilia=V47aConsV48V52AapermutV52a++V45V49Aasorted1V52EAa<=V48V53IamemV53a++V45V49Fa=V47aConsV50V54AapermutV54a++V51V46Aasorted1V54EAa<=V50V55IamemV55a++V51V46Fa<V50V48aConsVVV45aConsVVV46FACCtaNiltwV45aNilCtaNiliasorted1V57Aasorted1V45Aa<a+alength1V45alength1V57a+alength1V45alength1V46Aa<=c0a+alength1V45alength1V46Ia<=V56V60IamemV60a++V45V57FAa<=V56V61IamemV61a++V45V57Fasorted1V46Aasorted1V59Aa<a+alength1V59alength1V46a+alength1V45alength1V46Aa<=c0a+alength1V45alength1V46Ia<=V58V62IamemV62a++V59V46FAa<=V58V63IamemV63a++V59V46Fa<V58V56aConsVVV45aConsVVV46Iasorted1V46Aasorted1V45F
VC for merge
a<alength1V130alength1V126Aa<=c0alength1V126Ia=V128aConsV129V130FIa=V126aConsV127V128FIasorted1V131IamemV131V126FF
asorted1V131IamemV131V130FIa=V128aConsV129V130FIa=V126aConsV127V128FIasorted1V132IamemV132V126FF
asorted1V127Iapermutafold_rightea=a@a@V132V133V134a++V133V134FV131aNilafold_rightea=a@a@V135V136V137a++V136V137FV130aNilAasorted1V138IamemV138V131FAa<alength1V131alength1V130Aa<c0alength1V131Ia>alength1V130c1Aa<=alength1V131alength1V130FIa=V128aConsV129V130FIa=V126aConsV127V128FIasorted1V139IamemV139V126FF
asorted1V129Iasorted1V127Iapermutafold_rightea=a@a@V132V133V134a++V133V134FV131aNilafold_rightea=a@a@V135V136V137a++V136V137FV130aNilAasorted1V138IamemV138V131FAa<alength1V131alength1V130Aa<c0alength1V131Ia>alength1V130c1Aa<=alength1V131alength1V130FIa=V128aConsV129V130FIa=V126aConsV127V128FIasorted1V139IamemV139V126FF
a<=alength1V127alength1V126Ia=V127V126Aa=V126aNilFIasorted1V128IamemV128V126FF
a<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V126aNilFIasorted1V128IamemV128V126FF
asorted1V128IamemV128V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V126aNilFIasorted1V129IamemV129V126FF
apermutafold_rightea=a@a@V128V129V130a++V129V130FV127aNilafold_rightea=a@a@V131V132V133a++V132V133FV126aNilIasorted1V134IamemV134V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V126aNilFIasorted1V135IamemV135V126FF
a<=alength1V127alength1V126Ia=V127V126Aa=V129aNilAa=V126aConsV128V129EFIasorted1V130IamemV130V126FF
a<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V129aNilAa=V126aConsV128V129EFIasorted1V130IamemV130V126FF
asorted1V128IamemV128V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V130aNilAa=V126aConsV129V130EFIasorted1V131IamemV131V126FF
apermutafold_rightea=a@a@V128V129V130a++V129V130FV127aNilafold_rightea=a@a@V131V132V133a++V132V133FV126aNilIasorted1V134IamemV134V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127V126Aa=V136aNilAa=V126aConsV135V136EFIasorted1V137IamemV137V126FF
a<=alength1V127alength1V126Ia=V127aConsV133V132AapermutV133a++V128V130Aasorted1V133EAapermutafold_rightea=a@a@V134V135V136a++V135V136FV132aNilafold_rightea=a@a@V137V138V139a++V138V139FV131aNilAasorted1V140IamemV140V132FAa<alength1V132alength1V131Aa<c0alength1V132Ia>alength1V131c1Aa<=alength1V132alength1V131EAa=V129aConsV130V131EAa=V126aConsV128V129EFIasorted1V141IamemV141V126FF
a<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127aConsV133V132AapermutV133a++V128V130Aasorted1V133EAapermutafold_rightea=a@a@V134V135V136a++V135V136FV132aNilafold_rightea=a@a@V137V138V139a++V138V139FV131aNilAasorted1V140IamemV140V132FAa<alength1V132alength1V131Aa<c0alength1V132Ia>alength1V131c1Aa<=alength1V132alength1V131EAa=V129aConsV130V131EAa=V126aConsV128V129EFIasorted1V141IamemV141V126FF
asorted1V128IamemV128V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127aConsV134V133AapermutV134a++V129V131Aasorted1V134EAapermutafold_rightea=a@a@V135V136V137a++V136V137FV133aNilafold_rightea=a@a@V138V139V140a++V139V140FV132aNilAasorted1V141IamemV141V133FAa<alength1V133alength1V132Aa<c0alength1V133Ia>alength1V132c1Aa<=alength1V133alength1V132EAa=V130aConsV131V132EAa=V126aConsV129V130EFIasorted1V142IamemV142V126FF
apermutafold_rightea=a@a@V128V129V130a++V129V130FV127aNilafold_rightea=a@a@V131V132V133a++V132V133FV126aNilIasorted1V134IamemV134V127FIa<alength1V127alength1V126Aa<c0alength1V127Ia>alength1V126c1Ia<=alength1V127alength1V126Ia=V127aConsV140V139AapermutV140a++V135V137Aasorted1V140EAapermutafold_rightea=a@a@V141V142V143a++V142V143FV139aNilafold_rightea=a@a@V144V145V146a++V145V146FV138aNilAasorted1V147IamemV147V139FAa<alength1V139alength1V138Aa<c0alength1V139Ia>alength1V138c1Aa<=alength1V139alength1V138EAa=V136aConsV137V138EAa=V126aConsV135V136EFIasorted1V148IamemV148V126FF
apermutafold_rightea=a@a@V47V48V49a++V48V49FV46aNilafold_rightea=a@a@V50V51V52a++V51V52FV45aNilAasorted1V53IamemV53V46FAa<alength1V46alength1V45Aa<c0alength1V46Ia>alength1V45c1Aa<=alength1V46alength1V45ICa=V46V45aConswaNilOaNila=V46aConsV58V57AapermutV58a++V54V55Aasorted1V58EAapermutafold_rightea=a@a@V59V60V61a++V60V61FV57aNilafold_rightea=a@a@V62V63V64a++V63V64FV56aNilAasorted1V65IamemV65V57FAa<alength1V57alength1V56Aa<c0alength1V57Ia>alength1V56c1Aa<=alength1V57alength1V56EaConsVaConsVVV45FACtaConswaNilOaNilasorted1V67Aasorted1V66Iapermutafold_rightea=a@a@V70V71V72a++V71V72FV69aNilafold_rightea=a@a@V73V74V75a++V74V75FV68aNilAasorted1V76IamemV76V69FAa<alength1V69alength1V68Aa<c0alength1V69Ia>alength1V68c1Aa<=alength1V69alength1V68FAasorted1V77IamemV77V68FAa<alength1V68alength1V45Aa<=c0alength1V45aConsVaConsVVV45Iasorted1V78IamemV78V45FF
VC for merge_pair
apermutV46afold_rightea=a@a@V47V48V49a++V48V49FV45aNilAasorted1V46ICa=V46aNilaNila=V46V50aConsVaNilapermutV46afold_rightea=a@a@V52V53V54a++V53V54FV51aNilAasorted1V46Aapermutafold_rightea=a@a@V55V56V57a++V56V57FV51aNilafold_rightea=a@a@V58V59V60a++V59V60FV45aNilAasorted1V61IamemV61V51FAa<alength1V51alength1V45Aa<c0alength1V51Ia>alength1V45c1Aa<=alength1V51alength1V45EaConswaConswwV45FACtaNiltaConsVaNilasorted1V64IamemV64V63FAa<alength1V63alength1V45Aa<=c0alength1V45Iapermutafold_rightea=a@a@V65V66V67a++V66V67FV63aNilafold_rightea=a@a@V68V69V70a++V69V70FV45aNilAasorted1V71IamemV71V63FAa<alength1V63alength1V45Aa<c0alength1V63Ia>alength1V45c1Aa<=alength1V63alength1V45FAasorted1V72IamemV72V45FaConswaConswwV45Iasorted1V73IamemV73V45FF
VC for mergerec
a=agetV45V49V46Aa<V49V48Aa<=V47V49Iia=agetV45V49V46Aa<V49V48Aa<=a+V47c1V49a=V49V47a=agetV45V47V46FAa>=aocc1V46V45V50V48c1Aa<=V48alength1V45Aa<V50V48Aa<=c0V50Aa<a-V48V50a-V48V47Aa<=c0a-V48V47La+V47c1INa=agetV45V47V46Ia>=aocc1V46V45V47V48c1Aa<=V48alength1V45Aa<V47V48Aa<=c0V47F
VC for find
a=aoccV45aeltsaaasalengthaaaocc1V45aseq1c0alength1aseq1F
a=asalengthaa
a>ansc0
a>aocc1agetaseq1c0aseq1c0ansc0
Na=asalengthaa
a=ansc0
a=aocc1aaaasaseq1c0ansc0
Na=aocc1aaaasaseq1c0ansc0
VC for same_occs_same_lengths
fItOa=aocc1aaaasaseq1c0ansc0
fIa=ansc0
a<=ansalength1aseq1Aa<c0ansAa<=c0c0
a>=aocc1aaaasaseq1c0ansc1
a<aians
a=agetaseq1aiaaaas
a<=ansalength1aseq1Aa<=a+aic1ansAa<=c0a+aic1
a=alength1aaseq1a+aic1ansa-ansa+aic1
a=aaaseq1a+aic1ansV46aaseq1a+a+aic1V46Ia<V46a-ansa+aic1Aa<=c0V46F
a<=aialength1aseq1Aa<=c0aiAa<=c0c0
Na=ansc0
a=alength1aaseq1c0aia-aic0
a=aaaseq1c0aiV47aaseq1a+c0V47Ia<V47a-aic0Aa<=c0V47F
a=alength1arem_asa+alength1aaseq1c0aialength1aaseq1a+aic1ans
a=aarem_asV48aaaseq1c0aiV48Ia<V48alength1aaseq1c0aiAa<=c0V48F
a=aarem_asV49aaaseq1a+aic1ansa-V49alength1aaseq1c0aiIa<V49alength1arem_asAa<=alength1aaseq1c0aiV49F
a==aseq1a++aaseq1c0aia++aaseq1aia+aic1aaseq1a+aic1ans
a=aocc1axaseq1c0ansa+a+aocc1axaaseq1c0aic0aiaocc1axaaseq1aia+aic1c0c1aocc1axaaseq1a+aic1ansc0a-a-ansaic1
a=aocc1axarem_asc0a-ansc1a+aocc1axaaseq1c0aic0aiaocc1axaaseq1a+aic1ansc0a-a-ansaic1
a=axaaaas
a=aocc1axaseq1c0ansa+aocc1axarem_asc0a-ansc1c1
Na=axaaaas
a=aocc1axaseq1c0ansaocc1axarem_asc0a-ansc1
ia=aocc1axaseq1c0ansaocc1axarem_asc0a-ansc1a=aocc1axaseq1c0ansa+aocc1axarem_asc0a-ansc1c1a=axaaaasItOtOtOa=aocc1axarem_asc0a-ansc1a+aocc1axaaseq1c0aic0aiaocc1axaaseq1a+aic1ansc0a-a-ansaic1Aa=aocc1axaseq1c0ansa+a+aocc1axaaseq1c0aic0aiaocc1axaaseq1aia+aic1c0c1aocc1axaaseq1a+aic1ansc0a-a-ansaic1Aa==aseq1a++aaseq1c0aia++aaseq1aia+aic1aaseq1a+aic1ans
ia=aocc1V50aseq1c0ansaocc1V50arem_asc0a-ansc1a=aocc1V50aseq1c0ansa+aocc1V50arem_asc0a-ansc1c1a=V50aaaasF
a<a-alengthaaa+asc1a-alengthaaasAa<=c0a-alengthaaas
a=aoccaxaeltsaaa+asc1alengthaaaocc1axarem_asc0alength1arem_as
ia=alength1V49a-alengthaaa+asc1Aia=aocc1V50aseq1c0ansaocc1V50V49c0a-ansc1a=aocc1V50aseq1c0ansa+aocc1V50V49c0a-ansc1c1a=V50aaaasFAa=aV49V51aV47a-V51alength1V48Ia<V51alength1V49Aa<=alength1V48V51FAa=aV49V52aV48V52Ia<V52alength1V48Aa<=c0V52FAa=alength1V49a+alength1V48alength1V47La++V48V47Aa=aV48V53aaseq1a+c0V53Ia<V53a-aic0Aa<=c0V53FAa=alength1V48a-aic0Laaseq1c0aiAa=aV47V54aaseq1a+V46V54Ia<V54a-ansV46Aa<=c0V54FAa=alength1V47a-ansV46Laaseq1V46ansLa+aic1Aa=agetaseq1aiaaaasAa<aiansAa<=c0aiAfIa=ansc0a>aocc1agetaseq1c0aseq1c0ansc0Ia>ansc0a=asalengthaa
a=alength1aseq1a-alengthaaas
a=alength1V46a-alengthV45V47Iia=alength1V53a-alengthV45a+V47c1Aia=aocc1V54V46c0V48aocc1V54V53c0a-V48c1a=aocc1V54V46c0V48a+aocc1V54V53c0a-V48c1c1a=V54aV45V47ItOtOtOa=aocc1V54V53c0a-V48c1a+aocc1V54aV46c0V49c0V49aocc1V54aV46a+V49c1V48c0a-a-V48V49c1Aa=aocc1V54V46c0V48a+a+aocc1V54aV46c0V49c0V49aocc1V54aV46V49a+V49c1c0c1aocc1V54aV46a+V49c1V48c0a-a-V48V49c1Aa==V46a++aV46c0V49a++aV46V49a+V49c1aV46a+V49c1V48FAa=aV53V55aV51a-V55alength1V52Ia<V55alength1V53Aa<=alength1V52V55FAa=aV53V56aV52V56Ia<V56alength1V52Aa<=c0V56FAa=alength1V53a+alength1V52alength1V51La++V52V51Aa=aV52V57aV46a+c0V57Ia<V57a-V49c0Aa<=c0V57FAa=alength1V52a-V49c0LaV46c0V49Aa=aV51V58aV46a+V50V58Ia<V58a-V48V50Aa<=c0V58FAa=alength1V51a-V48V50LaV46V50V48La+V49c1Aa=agetV46V49aV45V47Aa<V49V48Aa<=c0V49EAfItOa=aocc1aV45V47V46c0V48c0Ia=V48c0a>aocc1agetV46c0V46c0V48c0Ia>V48c0a=V47alengthV45Aia=aoccV66aeltsV45V65alengthV45aocc1V66V64c0alength1V64FAa<=V65alengthV45Aa<=c0V65Aa<a-alengthV45V65a-alengthV45V47Aa<=c0a-alengthV45V47La+V47c1Iia=aocc1V67V46c0V48aocc1V67V64
a=alength1V127a-alengthV126V128Ia=aoccV129aeltsV126V128alengthV126aocc1V129V127c0alength1V127FIa<=V128alengthV126Aa<=c0V128F
ia=aocc1V131asingletonV132c0c1c0a=aocc1V131asingletonV132c0c1c1a=V131V132Aa=aof_listV130a++asingletonV132aof_listV133Ia=V130aConsV132V133FF
CfaNila=V134V133aConswVV130Iia=aocc1V131asingletonV132c0c1c0a=aocc1V131asingletonV132c0c1c1a=V131V132Aa=aof_listV130a++asingletonV132aof_listV133Ia=V130aConsV132V133FF
a=anum_occV131V130aocc1V131aof_listV130c0alength2V130Ia=V130aNilF
a=anum_occV131V130aocc1V131aof_listV130c0alength2V130Ia=anum_occV131V133aocc1V131aof_listV133c0alength2V133Aia=aocc1V131asingletonV132c0c1c0a=aocc1V131asingletonV132c0c1c1a=V131V132Aa=aof_listV130a++asingletonV132aof_listV133Aa=V130aConsV132V133EF
a=alength1V46a-alengthV45V47Ia=aoccV48aeltsV45V47alengthV45aocc1V48V46c0alength1V46FIa<=V47alengthV45Aa<=c0V47F
a=anum_occV50V49aocc1V50aof_listV49c0alength2V49ICtaNila=anum_occV50V52aocc1V50aof_listV52c0alength2V52Aia=aocc1V50asingletonV51c0c1c0a=aocc1V50asingletonV51c0c1c1a=V50V51Aa=aof_listV49a++asingletonV51aof_listV52aConsVVV49ACtaNilCfaNila=V55V54aConswVV49Iia=aocc1V50asingletonV53c0c1c0a=aocc1V50asingletonV53c0c1c1a=V50V53Aa=aof_listV49a++asingletonV53aof_listV54Aia=aocc1V50asingletonV53c0c1c0a=aocc1V50asingletonV53c0c1c1a=V50V53Aa=aof_listV49a++asingletonV53aof_listV54aConsVVV49F
VC for num_occ_seq_occ
a=anum_occV50V49aocc1V50aof_listV49c0alength2V49F
a>alengthaac0
a=agetaseqaresultc0c0
a=agetaseqaresulta-alength1aseqaresultc1alengthaa
a>=alength2alistaresultc2
a<=V51alengthaaAa<=c0V51IamemV51alistaresultF
a>=aaaV55aaaV56Ia<V56V54Aa<V55V56Aa<=V53V55FOa<aaaV57aaaV58Ia<V58V54Aa<V57V58Aa<=V53V57FLagetaseqaresulta+V52c1LagetaseqaresultV52Ia<V52a-alength1aseqaresultc1Aa<=c0V52F
a<=agetaseqaresultV59agetaseqaresultV60Ia<V60alength1aseqaresultAa<V59V60Aa<=c0V59F
a>alength2alistaresultc0
a<=c0ax
a<axay
a<ayalength1aseqaresult
a<=agetaseqaresultaxagetaseqaresultay
a<=agetaseqaresultV61agetaseqaresultV62Ia<V62alength1aseqaresultAa<V61V62Aa<=c0V61F
amemazalistaresult
a<=azalengthaaAa<=c0az
a<=V63alengthaaAa<=c0V63IamemV63alistaresultF
a<aka-alength1aseqaresultc1
a>=aaaV64aaaV65Ia<V65ack1Aa<V64V65Aa<=ackV64FOa<aaaV66aaaV67Ia<V67ack1Aa<V66V67Aa<=ackV66F
asorted1V61IamemV61aoF
a=anum_occV62afold_rightea=a@a@V63V64V65a++V64V65FaoaNilaoccV62aeltsaaagetaseqaresultc0agetaseqaresulta-alength1aseqaresultc1F
amemalao
asorted1ares
apermutaresafold_rightea=a@a@V66V67V68a++V67V68FaoaNil
a<=c0alengthaaAa<=c0c0
a=aoccaxaeltsaac0alengthaaaocc1axaof_listaresc0alength1aof_listares
a=alength1aof_listaresa-alengthaac0
a=aoccaxaeltsaac0alengthaaanum_occaxares
a=aoccV69aeltsaac0alengthaaanum_occV69aresF
a=alength2aresalengthaa
a=alength2V54alengthV51Aa=aoccV56aeltsV51c0alengthV51anum_occV56V54FAasorted1V54Ia=alength1V55a-alengthV51c0Aa=aoccV57aeltsV51c0alengthV51aocc1V57V55c0alength1V55FAa<=c0alengthV51Aa<=c0c0Laof_listV54IapermutV54afold_rightea=a@a@V58V59V60a++V59V60FV53aNilAasorted1V54FAasorted1V61IamemV61V53FIa=anum_occV62afold_rightea=a@a@V63V64V65a++V64V65FV53aNilaoccV62aeltsV51agetaseqV52c0agetaseqV52a-alength1aseqV52c1FAasorted1V66IamemV66V53FFAa>=aV51V70aV51V71Ia<V71V69Aa<V70V71Aa<=V68V70FOa<aV51V72aV51V73Ia<V73V69Aa<V72V73Aa<=V68V72FLagetaseqV52a+V67c1LagetaseqV52V67Ia<V67a-alength1aseqV52c1Aa<=c0V67FAa<=V74alengthV51Aa<=c0V74IamemV74alistV52FAa<=agetaseqV52V75agetaseqV52V76Ia<V76alength1aseqV52Aa<V75V76Aa<=c0V75FAa>alength2alistV52c0Ia<=agetaseqV52V77agetaseqV52V78Ia<V78alength1aseqV52Aa<V77V78Aa<=c0V77FAa>=aV51V82aV51V83Ia<V83V81Aa<V82V83Aa<=V80V82FOa<aV51V84aV51V85Ia<V85V81Aa<V84V85Aa<=V80V84FLagetaseqV52a+V79c1LagetaseqV52V79Ia<V79a-alength1aseqV52c1Aa<=c0V79FAa<=V86alengthV51Aa<=c0V86IamemV86alistV52FAa>=alength2alist
VC for sort_to_list
a>=asc0
a=alength2ala-alengthaaas
a=alaNil
a<=asax
a<axalengthaa
a=aaaaxantha-axasal
a=aaaV51antha-V51asalIa<V51alengthaaAa<=asV51F
a<axas
t
tIa<V52asAa<=c0V52F
a=aoccaxaeltsaaasalengthaaanum_occaxal
a=alaConsaxax1
a=alengthaa1alengthaa
a=aeltsaa1asetaeltsaaasax
a=aa1aaaasax
CfaNila=V51ax1aConswVal
a>=a+asc1c0
a=alength2ax1a-alengthaa1a+asc1
a=alengthaa2alengthaa1
a=aaa2V51antha-V51a+asc1ax1Ia<V51alengthaa2Aa<=a+asc1V51F
a=aaa2V52aaa1V52Ia<V52a+asc1Aa<=c0V52F
a=aoccV53aeltsaa2a+asc1alengthaa2anum_occV53ax1F
a<=asax2
a<ax2alengthaa2
a=aaa2ax2antha-ax2asal
a=aaa2V54antha-V54asalIa<V54alengthaa2Aa<=asV54F
a<=c0ax2
a<ax2as
a=aaa2ax2aaaax2
a=aaa2V55aaaV55Ia<V55asAa<=c0V55F
a=aoccax2aeltsaa2asalengthaa2anum_occax2al
Ca=aoccV54aeltsV52V53alengthV52anum_occV54V51FAtIa<V55V53Aa<=c0V55FAa=aV52V56antha-V56V53V51Ia<V56alengthV52Aa<=V53V56FaNila=aoccV62aeltsV61V53alengthV61anum_occV62V51FAa=aV61V63aV52V63Ia<V63V53Aa<=c0V63FAa=aV61V64antha-V64V53V51Ia<V64alengthV61Aa<=V53V64FIa=aoccV65aeltsV61V60alengthV61anum_occV65V58FAa=aV61V66aV59V66Ia<V66V60Aa<=c0V66FAa=aV61V67antha-V67V60V58Ia<V67alengthV61Aa<=V60V67FIa=alengthV61alengthV59FAa=alength2V58a-alengthV59V60Aa>=V60c0ACfaNila=V68V58aConswVV51La+V53c1Ia=V59aV52V53V57Aa=aeltsV59asetaeltsV52V53V57Ia=alengthV59alengthV52FAa<V53alengthV52Aa<=c0V53aConsVVV51Ia=alength2V51a-alengthV52V53Aa>=V53c0F
VC for copy_list
amemanthV52V51V51ICtaNilamemantha-V52c1V53V53ONa>V52c0aConswVV51ACtaNila<V55alength2V54Aa<=c0V55La-V52c1Ia>V52c0aConswVV51Ia<V52alength2V51Aa<=c0V52F
VC for mem_nth_in_bounds
amemanthV52V51V51Ia<V52alength2V51Aa<=c0V52F
a<=aiaj
a<ajalength2al
a>aic0
CfaNila=V53ax1aConswVal
asorted1ax1
a<a-ajc1alength2ax1Aa<=a-aic1a-ajc1Aa<=c0a-aic1
CtaNila<=antha-aic1V54antha-ajc1V54ONa>aic0aConsVVal
a<=anthaialanthajal
a<=anthV54V53anthV55V53ICtaNila<=antha-V54c1V56antha-V55c1V56ONa>V54c0aConswVV53ACtaNila<V58alength2V57Aa<=V59V58Aa<=c0V59Aasorted1V57ACfaNila=V60V57aConswVV53La-V54c1La-V55c1Ia>V54c0aConswVV53Ia<V55alength2V53Aa<=V54V55Aa<=c0V54Aasorted1V53F
VC for sorted_list_nth
a<=anthV54V53anthV55V53Ia<V55alength2V53Aa<=V54V55Aa<=c0V54Iasorted1V53F
a=alengthaac0
asorted3aa
apermut_allaaaa
Na=alengthaac0
a=aoccV56aeltsaac0alengthaaanum_occV56alF
a=alength2alalengthaa
a>=c0c0
a=alength2ala-alengthaac0
a=aaa1V57antha-V57c0alIa<V57alengthaa1Aa<=c0V57F
a=aaa1V58aaaV58Ia<V58c0Aa<=c0V58F
a=aoccV59aeltsaa1c0alengthaa1anum_occV59alF
asorted3aa1
apermut_allaa1aa
iapermut_allV58V56Aasorted3V58Ia=aoccV59aeltsV58c0alengthV58anum_occV59V57FAa=aV58V60aV56V60Ia<V60c0Aa<=c0V60FAa=aV58V61antha-V61c0V57Ia<V61alengthV58Aa<=c0V61FIa=alengthV58alengthV56FAa=alength2V57a-alengthV56c0Aa>=c0c0Aa=alength2V57alengthV56Ia=alength2V57alengthV56Aa=aoccV62aeltsV56c0alengthV56anum_occV62V57FAasorted1V57FAa>alengthV56c0apermut_allV56V56Aasorted3V56a=alengthV56c0F
VC for ghc_sort

0cdac532682f840335e40497bb2d599e 1H0
627b688ffc8dc68bcd89d18ee75b3713 1H4H3H2H0
5a81b2d1e1a09e301545911eb1bcb86b 12H11H10H9H8H7H6H5H4H3H2H0
c0cab119bce44d445de83cecea7f1a44 15H14H13H10H9H8H7H6H5H4H3H2H0
30839140e0245fe051b9381f9617d01c 17H14H16H13H10H9H8H7H6H5H4H3H2H0
330127bdf408fb89ad9a9aeecef61cfb 20H19H18H16H13H10H9H8H7H6H5H4H3H2H0
af0c16b1636c773150d695d856a4958a 125H124H18H16H13H10H9H8H7H6H5H4H3H2H0
8eb4a52e0856c11231a3b2783e781bae 24H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
05aeb0e4c68621678dee63f29b124fcc 24H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
648c8a87256454999b8a3f3d0a9f4479 24H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f3e01fab4e7fcf4a9297613b49d2a68b 24H27H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
508613ced7769d22c721b52bc16d179c 24H28H27H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
66ee55d9ce4eef5bde82c79570427da5 24H30H29H28H27H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f31adf337a451c6c87a96966e16c8b05 24H34H33H32H31H28H27H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
2a97e2a0fe20ee2586638a94ef21a9a8 24H39H38H37H36H35H31H28H27H26H25H23H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f814d8101d036b1c069c2858b224f38a 51H50H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f00a814fd65efaf29c73b3ad72e586b8 51H52H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
b24217edfbbb0e76dc971e9a1b8e903b 24H54H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
c4bca557d493c987996e36cb16b048fa 24H55H54H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
c71837c492ced4e296f1157cd79e3417 51H60H59H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
b679086fdbd95c2234b1a4c6664c9dbe 51H61H59H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
e316af1986abaaeda2f9daf094d871db 66H65H64H63H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
076ca695df20e14d0c2fd282d40ccb1a 68H67H64H63H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
dbf9f9027efc4e3bedf90f58727fe213 68H69H67H64H63H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
1d903d48ae1e3d99d5b4e4889614a51c 73H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
1a13e30b2a4ab61653f43736a53bb5b8 73H75H74H32H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
d73c1dc0c6d75d84fe856404887620a0 66H79H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f37007e49239dd726f53909d8d75e812 68H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
c1640f44d1fb9cf006911197101f024c 68H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
68067858a28efc8420ef7395c91be4be 68H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
9e0f04407f2b1a00e60ba376bcec19f2 68H82H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
49fe979d2489f78326aa053baa54b863 68H83H82H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
0a45f06750e2ee22a27b72e91448ffa3 68H30H84H83H82H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
0d73335df392352ffc9494a00e5538b1 68H95H94H32H93H83H82H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
8fba649dac1ca37a598fa07f649c277f 68H92H91H32H90H82H77H89H88H71H87H86H44H42H85
0df75a9321703415758575af2397de4b 68H98H97H37H36H96H93H83H82H81H80H78H78H77H76H72H71H70H62H58H57H56H53H49H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
651fd44b826ab755abbb471316c43473 73H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
70e963753ffc352edb9a9f93371cff97 73H75H74H32H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
df80db508d691cc14758e48eb76ab15b 104H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
add1fc5fc9e1a1da0c1e2cbb4b0a8901 104H105H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f9ac5f82e6e11ff169117d499174d541 104H106H105H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
e854c52092dcfd142edf4cc12238682e 104H107H84H106H105H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
507e757fb250483f6c583a8c40121dbe 104H109H94H32H108H106H105H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
b57df4942feefcd173507c7623a61c94 104H98H97H37H36H110H108H106H105H82H103H102H101H100H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f612ba781b5f836fc4899f315b5d9238 73H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
09280339a07a29da2ba3cb586c181a67 73H114H113H32H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
6833053c796296e6cb51402b829de8a5 104H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
04ec7e57763a6ca45ba49d61f01a6524 104H116H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
05405b0cddee17a5f7a0960e83f35ce3 104H117H116H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
33ae6e8f77100d7325a380a6ce1b691c 104H107H118H117H116H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
2ac7fb32ccb0dcbce7a0bd6ece34dfc4 104H109H120H32H119H117H116H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
f594e13daf63d4152935c00390730374 104H123H122H37H36H121H119H117H116H44H115H112H111H99H48H47H46H45H44H43H42H41H40H22H21H18H16H13H10H9H8H7H6H5H4H3H2H0
159077f24c8927f3b621a18ad63a16eb 1H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f89b7252b1a73020d362a6bd51b60dd8 1H126H126H18H16H13H10H9H8H7H6H5H4H3H2H0
466383dcb8f30540d8068edcaba96919 1H127H126H18H16H13H10H9H8H7H6H5H4H3H2H0
0f6f0342abe7c54d1fbbf651a0114afd 1H128H126H18H16H13H10H9H8H7H6H5H4H3H2H0
4873b02f741da0e4c0f31b5cc7bb3b46 1H129H128H127H126H126H18H16H13H10H9H8H7H6H5H4H3H2H0
45de38703766c7ca51d4429d137cafa7 132H131H130H18H16H13H10H9H8H7H6H5H4H3H2H0
3b1a45d8a09fec56e3fd5e07fe567ed0 135H134H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
445c54f78691a4420fd6a96586bc31da 170H169H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
351c58ef6454e597c059af65a9bbfafc 145H144H143H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2db4212f4999ee338975a03f37d32542 147H146H143H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
fc6a0a768e397740727334aaea81050c 147H148H146H143H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
49cce9fb6fc7c20dac3f73956d14e917 147H149H148H146H143H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
fd50697d6bc495a6c27d2d500b8beddd 51H155H154H153H152H151H150H143H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
eb662650d4bd0c19fb433fbc218b53e2 104H157H156H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
bf169cb907c948c39b471697fd23b8a8 104H160H159H158H156H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
735555a9f23a78806d6d7a15fa310c42 104H163H162H161H158H156H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
ea81191f1cbd6c50d7742b85caba3d2f 104H166H165H164H161H158H156H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1d1ec449276c6048ed61c7f35d00c12d 104H168H167H164H161H158H156H142H141H140H139H138H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
8d7a88847e3547db5bb5c7b81c4e4e68 181H180H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1e5769dc19d2451e615113769c5cbc1b 145H176H175H174H173H172H171H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
cc5c0e347edc549125c0429c4eac0dd6 147H177H175H174H173H172H171H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f6700192e8c787834ff647157a748da7 104H179H178H174H173H172H171H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
5108afacc4213b9d7cc88e34def0a0c7 246H245H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
be3dc79ae8f620b9a140a1a463ba8731 73H188H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
7107daa8d84c159e17a88e828eb8c9de 147H190H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
cee3a6b41a2aa9e3accd944f7f731ead 147H190H187H189
ac49dfdf8cd2323275fc936b958a3cf5 147H192H190H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
e63aef8a94184e7af0417cf3d36b9393 147H192H187H189
06583eb6a9fa77a2631ad5585e667aa5 147H193H192H190H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
89ce762750153bc99cde2d41130d2917 147H199H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
ee3d4faa67c987bb0b4fd16157c24376 147H202H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
46af89d454f8e808c7734f0de6d87a8a 73H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
76e4cf22daf402a914c9bc7fabfff40c 145H206H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c584ffd9a65ae858716ecb1862faecc0 147H207H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
838b1611b2efaf334e1a333043658312 147H211H210H209H208H207H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
96e0daa627dc1dd589ca0c7234922821 147H107H213H212H207H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1593d4496f1e356ccd7ae224ef1993ed 147H216H215H32H214H212H207H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
ea211b16650cfc893fb5835179536dee 147H198H218H217H205H204H203H201H200H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
d7e3e63b99f9fdca145b54001430d645 104H222H221H235H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
8a8b5fc6809c7dfb05711a1ecfe45244 104H222H221H220H219H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f60fa177a95dd55ad6d454aa618fec4f 104H222H221H220H223H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
e1d3b5f60e8240ef3db9cd041bc391c2 104H222H234H233H232H231H230H229H228H227H226H225H224H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
4e00311a2d6311f9337acbc1c78dda23 104H244H243H235H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2e306f3db8fbc10da71ae1160a755063 104H237H236H220H219H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
378f36f9308efb8346529e67361bcc76 104H238H236H220H223H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
bda2792bf8480c7459399e2f19e08e97 104H242H239H233H232H231H230H229H228H227H226H225H224H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
542e96aabffaa0099d7710359325cac0 241H240H239H233H232H231H230H229H228H227H226H225H224H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
5b34e983aff961c2c14c9f9d41b2525d 104H242H240H239H233H232H231H230H229H228H227H226H225H224H198H197H196H195H194H191H187H186H185H184H183H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2177c9b71685dbf9ec5b3f8ed0998016 316H315H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
8885f5e2576f17d305f94e5fac986b27 73H297H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
dd20f68dc4f9d744f381b08241f3cb31 145H298H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
42626df06b4049e2906062d81d17a3e8 147H299H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
6beb47d964c7794f63cff56a00c84067 147H300H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
838d4063a8e0211d9bbe0c4f132a8f53 73H301H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
d1da2292e8a9f8c6ed37bc5cf95c7971 145H302H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
0ab0c8815fd148cd3ca677285eed775e 147H303H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
b899ceeb4f3e32a811f7cd85a9f3bcf4 147H304H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
cf95b83f5e931db5561a2fbd0d5a3aa1 104H305H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
2d5b4e0803b1622321f2cf20a719b9dc 104H306H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
18650d600c9e97037d5ca45138dd3254 104H307H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
883f6f7863599aa43967b6b77aed88d1 104H308H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
a3cd1853ce67ae59ded801991a4c3c9e 104H309H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
7dbf611942d0309713ab611f77cc7d57 104H310H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
8960dc086faec01fd1d0217ccf22dc2c 104H311H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
7f1e8d7d6421505d801b40e7bba0ad14 104H312H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
f6f41aedd72fa6785b636def3f9f4cd2 104H313H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
c378d4ee5b56f3173bb521cf78e0166d 104H314H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
c4106d18366511f4e7d360873ac8e808 334H333H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
fcb6319f1149ce97b50ea696d179c68e 145H317H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
9c25c429da4bd3fef428a26648ef34c0 147H318H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
b17082e14aa45ce9a53e16c316c27554 147H319H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
4c0c0c2c4b3060fff7779d1ca7820966 147H320H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
2ae2da78fb7879bdaaaf5b12c5cdf5be 104H321H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
2b8d5b9128bf6051190a94f8bd22ff07 104H322H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
e3d2988be545430e63d04c78471feb37 104H323H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
47827b1c34ba00cd84857dbf84c2cf38 104H324H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
5de4345dcddc292884b7dbb3a5659e9d 104H325H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
d98f229009e8e785ad02f908cc5a7949 104H326H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
edfb8606d9bda77b70c928f0e4c8afd0 104H327H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
45ae57def3c58813e46ffdfc00021b6b 104H328H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
472a6bcb7062c806425107876b7b1ce7 104H329H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
9798f848b7324f9b19aef0b10d65d185 104H330H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
214ddef225beac4d951388621320b2e5 104H331H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
3464601946212076339fefee6820419c 104H332H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
f99b2df8badaa0bcb6e041ac7abea699 336H335H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f61764070037be2e10762dcd8da7ee43 338H337H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1ff18602578e6bb6ee63c0fada2cdf0a 347H377H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
76f73a9197550ab2304d7fed5db999e5 73H342H341H340H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
98b2cd86203333c8cf4f1f44f02c0ef6 73H348H344H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2e76abd3854aa3563776e7ebe48dd030 73H345H344H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
3994463833beed4bb589fa00c2c20911 347H346H344H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2e5f44abb86fa34edd370c3563dfc700 51H155H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
cd0862a774a24b5bfcc20e6bd02b6c67 147H350H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c88b3c34aed3b23d69f717be5bddf75e 147H351H350H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
b5de51051745a1d698ef5291908b9a27 147H354H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
e881956c4a2632bfaac0f425a1c8a5ab 147H357H356H355H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
72088d61e3dafa2f2f33cb4f65b42db7 73H371H363H362H361H360H359H356H355H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
bb6b1f26a3dd14de9b85753f623c7d37 73H364H363H362H361H360H359H356H355H353H352H36H358H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
62587f53f3421499366107e6caf50e01 347H365H364H363H362H361H360H359H356H355H353H352H36H358H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
14c329c1d777796fdb189197da464553 347H366H365H364H363H362H361H360H359H356H355H353H352H36H358H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
e88452626ee4caafff38c865e403017e 347H368H367H366H365H364H363H362H361H360H359H356H355H353H352H36H358H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
476d9a1beae4767026fdf1404cd2ef9b 347H370H369H366H365H364H363H362H361H360H359H356H355H353H352H36H358H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
7fe1c0b179bf0ba3687fa739bd2b4197 145H373H372H363H362H361H360H359H356H355H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2eb3748eed49161495c7c2cffd39c85b 147H146H372H363H362H361H360H359H356H355H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
5e4cb05b2a399d873816e63ed20b5c75 147H374H146H372H363H362H361H360H359H356H355H353H352H36H349H343H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
a8f59573f216f2c7f28256cc71060c0e 104H376H375H339H139H138H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
59f96261f063ee71848c28e55b012549 385H384H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
9ccecb362d977b81499f557706a4b153 73H379H378H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
cb2409525abffd415f6c03537f83048d 145H380H378H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
1d4826f0b4b9d7e162cbb86f55c3587b 104H381H378H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
890a87738a2033e96b47d5c5e108ed47 104H382H378H296H295H294H293H292H291H290H289H288H287H286H285H284H283H282H281H280H279H278H277H276H275H274H273H272H271H270H269H268H267H266H265H264H263H262H261H260H259H258H257H256H255H254H253H252H251H250H249H248H247H0
bb38e7f67e2685ab4aa1ec904cd3bb34 417H416H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
7fa809b940e7df3b22a57f975a7c6f9e 147H387H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
45a2797bbdeb680b0d2c289d7afd2b45 147H394H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
716e3a2d10464a7e056ebb65fba7d0ed 147H398H397H396H395H394H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
ff1f487ebfa966ec25db003dda032217 147H401H400H399H394H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2df51bed7c7d1a1dcee5246f8e78b219 147H404H403H32H402H399H394H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2cb9a6f71224055e3bb625f7fd5b7071 147H222H407H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
371881ce3ada53cb8f634ca53e81286d 147H410H409H408H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
451cd5d23331fe1bd09086566b27d196 147H411H410H409H408H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c3017eee1de61cfbe1997cd5e2aa175c 104H408H412H409H408H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
23227658b34a95947ddae2d316086f73 104H413H408H412H409H408H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
a6347e696a03416e46b2a5178009fe71 104H415H414H408H412H409H408H406H405H393H392H391H390H389H388H387H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
ba6fa35c6ac8fcfea92b60b47db713a2 450H449H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c50803f5ab799300928733d843a5369b 104H423H422H421H420H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
8556fd9012c6efb8df3d1037d73620de 104H426H425H395H424H420H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
2872d69bae1406d2e913d68b43956bc8 104H428H427H424H420H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
6ce51a62878ecb6b58b0949dba726620 51H155H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
858f8ecb4befae6239f2a02ba121c35e 145H433H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f6d202aec5ae39057152b3fd8cada0f6 147H434H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
b4ad2b4b4d908374952cc9c069b14500 147H435H434H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c3a44ba4dcc9e4ecc239f955a27d94f1 104H442H441H440H439H438H437H436H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
704befd11900699984d3b70be3e8a6d7 104H446H445H444H443H439H438H437H436H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c5755370328b32749ab0581c687f1719 104H448H447H443H439H438H437H436H432H431H430H429H419H418H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
9946afcf6e2b08fff7ef824cab5048db 452H451H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
bd8d996bb993e4da6f39ef973f475c9b 463H462H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1d704017f5703b15473c78c8db56d470 145H457H456H429H455H454H36H222H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
61cd58fe8cf185966f54d07e677cc677 147H458H456H429H455H454H36H222H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
64434bad218803f22cd4d97130b7b17e 147H459H458H456H429H455H454H36H222H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
e49e7dad8217e33cacc39a2c9ae95e96 104H461H460H455H454H36H222H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
340ddf727b73e7ce98f04f717f501a85 479H478H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
00d971a085ac055b5b8b33a91c3d8f0b 104H466H465H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
29794e823a9ec2d26ca8b655ca9f0861 104H467H466H465H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
993cfb3f770387021953e9ab665ef63d 147H387H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
53fb5bc291e712ae24d48a03238b082a 73H470H470H469H222H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
c0fa74c38dc0fac64ac1090dfa193402 147H471H470H470H469H222H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
3ec040b0838aee9b1b7128cf7422f87f 147H472H471H470H470H469H222H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
1dc2e7c5fc0b7ca74e3ed5fa7ce8c415 104H476H475H474H473H430H470H470H469H222H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
f48b57a7df6119eab4c0126b9f07a496 104H477H476H475H474H473H430H470H470H469H222H468H464H453H386H383H182H137H136H133H130H18H16H13H10H9H8H7H6H5H4H3H2H0
