a>avabalancingc0
aleV0V0F
aleV1V3IaleV2V3IaleV1V2F
aleV5V4AaleV4V5qaeqV4V5F
NaleV7V6AaleV6V7qaltV6V7F
aeqV8V8F
aeqV9V11IaeqV10V11IaeqV9V10F
aeqV13V12IaeqV12V13F
altV14V16IaltV15V16IaltV14V15F
NaltV18V17IaltV17V18F
aleV20V19OaleV19V20F
NaleV22V21qaltV21V22F
tIa=V23aNoneIa=V24aNoneIa=V25aNoneF
assertion
tIa=V23aSomeV26EIa=V24aNoneIa=V25aNoneF
tIa=V23aNoneIa=V24aSomeV26EIa=V25aNoneF
tIa=V23aSomeV26EIa=V24aSomeV27EIa=V25aNoneF
tIa=V23aNoneIa=V24aNoneIa=V25aSomeV26EF
tIa=V23aSomeV26EIa=V24aNoneIa=V25aSomeV27EF
tIa=V23aNoneIa=V24aSomeV26EIa=V25aSomeV27EF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aNoneAa=V24aNoneAa=V25aNoneF
postcondition
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aSomeV26EAa=V24aNoneAa=V25aNoneF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aNoneAa=V24aSomeV26EAa=V25aNoneF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aSomeV26EAa=V24aSomeV27EAa=V25aNoneF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aNoneAa=V24aNoneAa=V25aSomeV26EF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aSomeV26EAa=V24aNoneAa=V25aSomeV27EF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aNoneAa=V24aSomeV26EAa=V25aSomeV27EF
a=aopV23aopV24V25aopaopV23V24V25Ia=V23aSomeV26EAa=V24aSomeV27EAa=V25aSomeV28EF
a=aopV23aopV24V25aopaopV23V24V25ICCCtaNonetwV23aNoneCtaNonetwV23wV24aNoneCCtaNonetwV23aNoneCtaNonetwV23wV24wV25F
a=aopV23aopV24V25aopaopV23V24V25ICCCtaNonetwV23aNoneCtaNonetwV23wV24aNoneCCtaNonetwV23aNoneCtaNonetwV23wV24wV25ACCCtaNonetwV23aNoneCtaNonetwV23wV24aNoneCCtaNonetwV23aNoneCtaNonetwV23wV24wV25F
VC for assoc_m
a=aopV23aopV24V25aopaopV23V24V25F
a=V26aopazeroV26Aa=aopV26azeroV26ICtaNonetwV26ACtaNonetwV26F
VC for neutral_m
a=V26aopazeroV26Aa=aopV26azeroV26F
a=aopV27aopV28V29aopaopV27V28V29F
empty_shape
a=V30aopazeroV30Aa=aopV30azeroV30F
a=aopV31aopV32V33aopaopV31V32V33F
a=V31aopazeroV31Aa=aopV31azeroV31F
ia=aaggV31V32aopa@V31aV32c0aaggV31aV32c1a=aaggV31V32azeroa=alengthV32c0F
a==aV33c1aemptyIa=alengthV33c1F
a=aaggV34a++V35V36aopaaggV34V35aaggV34V36F
t
VC for zero
a=V39aopV37V38Ia=V39V38Aa=V37aNoneFF
a=V39aopV37V38Ia=V39V37Aa=V38aNoneAa=V37aSomeV40EFF
a=V39aopV37V38Iia=V39V37a=V39V38a<V42c0AaeqV41V40qa=V42c0AaltV41V40qa<V42c0AaltV40V41qa>V42c0EAa=V38aSomeV41EAa=V37aSomeV40EFF
a=V39aopV37V38ICa=V39V38aNoneCa=V39V37aNoneia=V39V37a=V39V38a<V42c0AaeqV41V40qa=V42c0AaltV41V40qa<V42c0AaltV40V41qa>V42c0EaSomeVV38aSomeVV37FF
VC for op
a<=c1alengthV37Aa<=c0c1INa=alengthV37c0F
precondition
a<alengthV38alengthV37Aa<=c0alengthV37LaV37c1INa=alengthV37c0F
variant decrease
a=aaggea=a@V39V40ameasureV40FV37aopameasureaV37c0aaggea=a@V41V42ameasureV42FV38ICa=alengthV38c0aNoneaeqakeyaV38V44V43Aa<V44alengthV38Aa<=c0V44EAalower_boundV43V38aSomeVaaggea=a@V45V46ameasureV46FV38LaV37c1INa=alengthV37c0F
a=aV38V39aV37a+V39c1Ia<V39alengthV38Aa<=c0V39FIa=aaggea=a@V40V41ameasureV41FV37aopameasureaV37c0aaggea=a@V42V43ameasureV43FV38ICa=alengthV38c0aNoneaeqakeyaV38V45V44Aa<V45alengthV38Aa<=c0V45EAalower_boundV44V38aSomeVaaggea=a@V46V47ameasureV47FV38LaV37c1INa=alengthV37c0F
a=alengthV37c0Ia=aaggea=a@V38V39ameasureV39FV37aNoneIa=aV40V41aV37a+V41c1Ia<V41alengthV40Aa<=c0V41FAa=aaggea=a@V42V43ameasureV43FV37aopameasureaV37c0aaggea=a@V44V45ameasureV45FV40ACa=alengthV40c0aNoneaeqakeyaV40V47V46Aa<V47alengthV40Aa<=c0V47EAalower_boundV46V40aSomeVaaggea=a@V48V49ameasureV49FV40LaV37c1Oa=alengthV37c0F
VC for monoid_sum_is_min
alower_boundV38V37Ia=aaggea=a@V39V40ameasureV40FV37aSomeV38FIa=aV41V42aV37a+V42c1Ia<V42alengthV41Aa<=c0V42FAa=aaggea=a@V43V44ameasureV44FV37aopameasureaV37c0aaggea=a@V45V46ameasureV46FV41ACa=alengthV41c0aNoneaeqakeyaV41V48V47Aa<V48alengthV41Aa<=c0V48EAalower_boundV47V41aSomeVaaggea=a@V49V50ameasureV50FV41LaV37c1Oa=alengthV37c0F
aeqakeyaV37V39V38Aa<V39alengthV37Aa<=c0V39EIa=aaggea=a@V40V41ameasureV41FV37aSomeV38FIa=aV42V43aV37a+V43c1Ia<V43alengthV42Aa<=c0V43FAa=aaggea=a@V44V45ameasureV45FV37aopameasureaV37c0aaggea=a@V46V47ameasureV47FV42ACa=alengthV42c0aNoneaeqakeyaV42V49V48Aa<V49alengthV42Aa<=c0V49EAalower_boundV48V42aSomeVaaggea=a@V50V51ameasureV51FV42LaV37c1Oa=alengthV37c0F
Ca=alengthV37c0aNoneaeqakeyaV37V39V38Aa<V39alengthV37Aa<=c0V39EAalower_boundV38V37aSomeVaaggea=a@V40V41ameasureV41FV37Ia=aV42V43aV37a+V43c1Ia<V43alengthV42Aa<=c0V43FAa=aaggea=a@V44V45ameasureV45FV37aopameasureaV37c0aaggea=a@V46V47ameasureV47FV42ACa=alengthV42c0aNoneaeqakeyaV42V49V48Aa<V49alengthV42Aa<=c0V49EAalower_boundV48V42aSomeVaaggea=a@V50V51ameasureV51FV42LaV37c1Oa=alengthV37c0F
Ca=alengthV37c0aNoneaeqakeyaV37V39V38Aa<V39alengthV37Aa<=c0V39EAalower_boundV38V37aSomeVaaggea=a@V40V41ameasureV41FV37Ia=aV42V43aV37a+V43c1Ia<V43alengthV42Aa<=c0V43FAa=aaggea=a@V44V45ameasureV45FV37aopameasureaV37c0aaggea=a@V46V47ameasureV47FV42ACa=alengthV42c0aNoneaeqakeyaV42V49V48Aa<V49alengthV42Aa<=c0V49EAalower_boundV48V42aSomeVaaggea=a@V50V51ameasureV51FV42LaV37c1Oa=alengthV37c0Aa=aV52V53aV37a+V53c1Ia<V53alengthV52Aa<=c0V53FIa=aaggea=a@V54V55ameasureV55FV37aopameasureaV37c0aaggea=a@V56V57ameasureV57FV52Aa=aaggea=a@V58V59ameasureV59FV37aopameasureaV37c0aaggea=a@V60V61ameasureV61FV52ICa=alengthV52c0aNoneaeqakeyaV52V63V62Aa<V63alengthV52Aa<=c0V63EAalower_boundV62V52aSomeVaaggea=a@V64V65ameasureV65FV52Aa<alengthV52alengthV37Aa<=c0alengthV37LaV37c1Aa<=c1alengthV37Aa<=c0c1INa=alengthV37c0F
Ca=alengthV37c0aNoneaeqakeyaV37V39V38Aa<V39alengthV37Aa<=c0V39EAalower_boundV38V37aSomeVaaggea=a@V40V41ameasureV41FV37F
fIa=V44aNoneLamiddleV43IaselectedV42V43F
unreachable point
a=V50aopV48aopV51V49LaSomeakeyV45Laaggea=a@V52V53ameasureV53FarebuildV43Laaggea=a@V54V55ameasureV55FarightV43Laaggea=a@V56V57ameasureV57FaleftV43ICa=alengthV47c0aNoneaeqakeyaV47V59V58Aa<V59alengthV47Aa<=c0V59EAalower_boundV58V47aSomeVaaggea=a@V60V61ameasureV61FV47LarightV43ICa=alengthV46c0aNoneaeqakeyaV46V63V62Aa<V63alengthV46Aa<=c0V63EAalower_boundV62V46aSomeVaaggea=a@V64V65ameasureV65FV46LaleftV43Ia=V44aSomeV45FLamiddleV43IaselectedV42V43F
a=aopV48V51V51LaSomeakeyV45Laaggea=a@V52V53ameasureV53FarebuildV43Laaggea=a@V54V55ameasureV55FarightV43Laaggea=a@V56V57ameasureV57FaleftV43ICa=alengthV47c0aNoneaeqakeyaV47V59V58Aa<V59alengthV47Aa<=c0V59EAalower_boundV58V47aSomeVaaggea=a@V60V61ameasureV61FV47LarightV43ICa=alengthV46c0aNoneaeqakeyaV46V63V62Aa<V63alengthV46Aa<=c0V63EAalower_boundV62V46aSomeVaaggea=a@V64V65ameasureV65FV46LaleftV43Ia=V44aSomeV45FLamiddleV43IaselectedV42V43F
a=V51aopV51V49LaSomeakeyV45Laaggea=a@V52V53ameasureV53FarebuildV43Laaggea=a@V54V55ameasureV55FarightV43Laaggea=a@V56V57ameasureV57FaleftV43ICa=alengthV47c0aNoneaeqakeyaV47V59V58Aa<V59alengthV47Aa<=c0V59EAalower_boundV58V47aSomeVaaggea=a@V60V61ameasureV61FV47LarightV43ICa=alengthV46c0aNoneaeqakeyaV46V63V62Aa<V63alengthV46Aa<=c0V63EAalower_boundV62V46aSomeVaaggea=a@V64V65ameasureV65FV46LaleftV43Ia=V44aSomeV45FLamiddleV43IaselectedV42V43F
a=V50V51Ia=V51aopV51V49Aa=aopV48V51V51Aa=V50aopV48aopV51V49LaSomeakeyV45Laaggea=a@V52V53ameasureV53FarebuildV43Laaggea=a@V54V55ameasureV55FarightV43Laaggea=a@V56V57ameasureV57FaleftV43ICa=alengthV47c0aNoneaeqakeyaV47V59V58Aa<V59alengthV47Aa<=c0V59EAalower_boundV58V47aSomeVaaggea=a@V60V61ameasureV61FV47LarightV43ICa=alengthV46c0aNoneaeqakeyaV46V63V62Aa<V63alengthV46Aa<=c0V63EAalower_boundV62V46aSomeVaaggea=a@V64V65ameasureV65FV46LaleftV43Ia=V44aSomeV45FLamiddleV43IaselectedV42V43F
a=V50V51ItOa=V51aopV51V49Aa=aopV48V51V51Aa=V50aopV48aopV51V49LaSomeakeyV45Laaggea=a@V52V53ameasureV53FarebuildV43Laaggea=a@V54V55ameasureV55FarightV43Laaggea=a@V56V57ameasureV57FaleftV43ICa=alengthV47c0aNoneaeqakeyaV47V59V58Aa<V59alengthV47Aa<=c0V59EAalower_boundV58V47aSomeVaaggea=a@V60V61ameasureV61FV47LarightV43ICa=alengthV46c0aNoneaeqakeyaV46V63V62Aa<V63alengthV46Aa<=c0V63EAalower_boundV62V46aSomeVaaggea=a@V64V65ameasureV65FV46LaleftV43Ia=V44aSomeV45FLamiddleV43IaselectedV42V43F
CfaNonea=aaggea=a@V46V47ameasureV47FarebuildV43aSomeakeyV45aSomeVamiddleV43ICfaNonea=V53V54LaSomeakeyV48Laaggea=a@V55V56ameasureV56FarebuildV43Laaggea=a@V57V58ameasureV58FarightV43Laaggea=a@V59V60ameasureV60FaleftV43ACa=alengthV50c0aNoneaeqakeyaV50V62V61Aa<V62alengthV50Aa<=c0V62EAalower_boundV61V50aSomeVaaggea=a@V63V64ameasureV64FV50LarightV43ACa=alengthV49c0aNoneaeqakeyaV49V66V65Aa<V66alengthV49Aa<=c0V66EAalower_boundV65V49aSomeVaaggea=a@V67V68ameasureV68FV49LaleftV43aSomeVV44LamiddleV43IaselectedV42V43F
CfaNonea=aaggea=a@V46V47ameasureV47FarebuildV43aSomeakeyV45aSomeVamiddleV43ICfaNonea=V53V54ItOa=V54aopV54V52Aa=aopV51V54V54Aa=V53aopV51aopV54V52LaSomeakeyV48Laaggea=a@V55V56ameasureV56FarebuildV43Laaggea=a@V57V58ameasureV58FarightV43Laaggea=a@V59V60ameasureV60FaleftV43ACa=alengthV50c0aNoneaeqakeyaV50V62V61Aa<V62alengthV50Aa<=c0V62EAalower_boundV61V50aSomeVaaggea=a@V63V64ameasureV64FV50LarightV43ACa=alengthV49c0aNoneaeqakeyaV49V66V65Aa<V66alengthV49Aa<=c0V66EAalower_boundV65V49aSomeVaaggea=a@V67V68ameasureV68FV49LaleftV43aSomeVV44ACfaNonea=V74V75ItOa=V75aopV75V73Aa=aopV72V75V75Aa=V74aopV72aopV75V73LaSomeakeyV69Laaggea=a@V76V77ameasureV77FarebuildV43Laaggea=a@V78V79ameasureV79FarightV43Laaggea=a@V80V81ameasureV81FaleftV43ICa=alengthV71c0aNoneaeqakeyaV71V83V82Aa<V83alengthV71Aa<=c0V83EAalower_boundV82V71aSomeVaaggea=a@V84V85ameasureV85FV71LarightV43ICa=alengthV70c0aNoneaeqakeyaV70V87V86Aa<V87alengthV70Aa<=c0V87EAalower_boundV86V70aSomeVaaggea=a@V88V89ameasureV89FV70LaleftV43aSomeVV44LamiddleV43IaselectedV42V43F
VC for selected_is_min
CfaNonea=aaggea=a@V46V47ameasureV47FV44aSomeakeyV45aSomeVamiddleV43LarebuildV43IaselectedV42V43F
aselectedV53asplit'mkV48aSomeV51V49Ia=V55aHereIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V57V56Aa<V57alengthV49Aa<=c0V57EAalower_boundV56V49aSomeVaaggea=a@V58V59ameasureV59FV49ICa=alengthV48c0aNoneaeqakeyaV48V61V60Aa<V61alengthV48Aa<=c0V61EAalower_boundV60V48aSomeVaaggea=a@V62V63ameasureV63FV48LakeyV51Ia=V52aaggea=a@V64V65ameasureV65FV49Aa=V50aaggea=a@V66V67ameasureV67FV48LaTuple0F
VC for selected_part
aselection_possibleV56V48Ia=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V58V57Aa<V58alengthV49Aa<=c0V58EAalower_boundV57V49aSomeVaaggea=a@V59V60ameasureV60FV49ICa=alengthV48c0aNoneaeqakeyaV48V62V61Aa<V62alengthV48Aa<=c0V62EAalower_boundV61V48aSomeVaaggea=a@V63V64ameasureV64FV48LakeyV51Ia=V52aaggea=a@V65V66ameasureV66FV49Aa=V50aaggea=a@V67V68ameasureV68FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V59V58Aa<V59alengthV49Aa<=c0V59EAalower_boundV58V49aSomeVaaggea=a@V60V61ameasureV61FV49ICa=alengthV48c0aNoneaeqakeyaV48V63V62Aa<V63alengthV48Aa<=c0V63EAalower_boundV62V48aSomeVaaggea=a@V64V65ameasureV65FV48LakeyV51Ia=V52aaggea=a@V66V67ameasureV67FV49Aa=V50aaggea=a@V68V69ameasureV69FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
aselection_possibleV56V49Ia=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V58V57Aa<V58alengthV49Aa<=c0V58EAalower_boundV57V49aSomeVaaggea=a@V59V60ameasureV60FV49ICa=alengthV48c0aNoneaeqakeyaV48V62V61Aa<V62alengthV48Aa<=c0V62EAalower_boundV61V48aSomeVaaggea=a@V63V64ameasureV64FV48LakeyV51Ia=V52aaggea=a@V65V66ameasureV66FV49Aa=V50aaggea=a@V67V68ameasureV68FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V59V58Aa<V59alengthV49Aa<=c0V59EAalower_boundV58V49aSomeVaaggea=a@V60V61ameasureV61FV49ICa=alengthV48c0aNoneaeqakeyaV48V63V62Aa<V63alengthV48Aa<=c0V63EAalower_boundV62V48aSomeVaaggea=a@V64V65ameasureV65FV48LakeyV51Ia=V52aaggea=a@V66V67ameasureV67FV49Aa=V50aaggea=a@V68V69ameasureV69FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
alower_boundakeyV58arightV57Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
aselectedV53aright_extendV57V51V49ICfaNonealower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
alower_bound_strictakeyV58asnocV48V51Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
alower_bound_strictakeyV58aleftV57Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
aselectedV53aleft_extendV48V51V57ICfaNonealower_bound_strictakeyV58aleftV57Aalower_bound_strictakeyV58asnocV48V51Aa=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIa=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
CaselectedV53asplit'mkV48aSomeV51V49aHereaselectedV53aright_extendV57V51V49ItOCfaNonetOalower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FAaselection_possibleV56V48aLeftVaselectedV53aleft_extendV48V51V62ItOCfaNonetOalower_bound_strictakeyV63aleftV62Aalower_bound_strictakeyV63asnocV48V51Aa=aaggea=a@V64V65ameasureV65FV49aSomeakeyV63aSomeVamiddleV62Ia=arebuildV62V49AaselectedV61V62FAaselection_possibleV61V49aRightVV55Ia=V55aHereAa=V50aNoneAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
aselectedV53asplit'mkV48aSomeV51V49Ia=V55aHereIia=V55aLeftaTuple0a=V55aHerea<V57c0AaeqV54V56qa=V57c0AaltV54V56qa<V57c0AaltV56V54qa>V57c0EAa=V50aSomeV56EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V59V58Aa<V59alengthV49Aa<=c0V59EAalower_boundV58V49aSomeVaaggea=a@V60V61ameasureV61FV49ICa=alengthV48c0aNoneaeqakeyaV48V63V62Aa<V63alengthV48Aa<=c0V63EAalower_boundV62V48aSomeVaaggea=a@V64V65ameasureV65FV48LakeyV51Ia=V52aaggea=a@V66V67ameasureV67FV49Aa=V50aaggea=a@V68V69ameasureV69FV48LaTuple0F
aselection_possibleV56V48Ia=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V58c0AaeqV54V57qa=V58c0AaltV54V57qa<V58c0AaltV57V54qa>V58c0EAa=V50aSomeV57EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V60V59Aa<V60alengthV49Aa<=c0V60EAalower_boundV59V49aSomeVaaggea=a@V61V62ameasureV62FV49ICa=alengthV48c0aNoneaeqakeyaV48V64V63Aa<V64alengthV48Aa<=c0V64EAalower_boundV63V48aSomeVaaggea=a@V65V66ameasureV66FV48LakeyV51Ia=V52aaggea=a@V67V68ameasureV68FV49Aa=V50aaggea=a@V69V70ameasureV70FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V59c0AaeqV54V58qa=V59c0AaltV54V58qa<V59c0AaltV58V54qa>V59c0EAa=V50aSomeV58EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V61V60Aa<V61alengthV49Aa<=c0V61EAalower_boundV60V49aSomeVaaggea=a@V62V63ameasureV63FV49ICa=alengthV48c0aNoneaeqakeyaV48V65V64Aa<V65alengthV48Aa<=c0V65EAalower_boundV64V48aSomeVaaggea=a@V66V67ameasureV67FV48LakeyV51Ia=V52aaggea=a@V68V69ameasureV69FV49Aa=V50aaggea=a@V70V71ameasureV71FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselection_possibleV56V49Ia=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V58c0AaeqV54V57qa=V58c0AaltV54V57qa<V58c0AaltV57V54qa>V58c0EAa=V50aSomeV57EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V60V59Aa<V60alengthV49Aa<=c0V60EAalower_boundV59V49aSomeVaaggea=a@V61V62ameasureV62FV49ICa=alengthV48c0aNoneaeqakeyaV48V64V63Aa<V64alengthV48Aa<=c0V64EAalower_boundV63V48aSomeVaaggea=a@V65V66ameasureV66FV48LakeyV51Ia=V52aaggea=a@V67V68ameasureV68FV49Aa=V50aaggea=a@V69V70ameasureV70FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V59c0AaeqV54V58qa=V59c0AaltV54V58qa<V59c0AaltV58V54qa>V59c0EAa=V50aSomeV58EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V61V60Aa<V61alengthV49Aa<=c0V61EAalower_boundV60V49aSomeVaaggea=a@V62V63ameasureV63FV49ICa=alengthV48c0aNoneaeqakeyaV48V65V64Aa<V65alengthV48Aa<=c0V65EAalower_boundV64V48aSomeVaaggea=a@V66V67ameasureV67FV48LakeyV51Ia=V52aaggea=a@V68V69ameasureV69FV49Aa=V50aaggea=a@V70V71ameasureV71FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58arightV57Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselectedV53aright_extendV57V51V49ICfaNonealower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_bound_strictakeyV58asnocV48V51Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_bound_strictakeyV58aleftV57Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselectedV53aleft_extendV48V51V57ICfaNonealower_bound_strictakeyV58aleftV57Aalower_bound_strictakeyV58asnocV48V51Aa=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aLeftaTuple0a=V55aHerea<V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aSomeV61EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
CaselectedV53asplit'mkV48aSomeV51V49aHereaselectedV53aright_extendV57V51V49ItOCfaNonetOalower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FAaselection_possibleV56V48aLeftVaselectedV53aleft_extendV48V51V62ItOCfaNonetOalower_bound_strictakeyV63aleftV62Aalower_bound_strictakeyV63asnocV48V51Aa=aaggea=a@V64V65ameasureV65FV49aSomeakeyV63aSomeVamiddleV62Ia=arebuildV62V49AaselectedV61V62FAaselection_possibleV61V49aRightVV55Iia=V55aLeftaTuple0a=V55aHerea<V67c0AaeqV54V66qa=V67c0AaltV54V66qa<V67c0AaltV66V54qa>V67c0EAa=V50aSomeV66EAa=V52aNoneFICa=alengthV49c0aNoneaeqakeyaV49V69V68Aa<V69alengthV49Aa<=c0V69EAalower_boundV68V49aSomeVaaggea=a@V70V71ameasureV71FV49ICa=alengthV48c0aNoneaeqakeyaV48V73V72Aa<V73alengthV48Aa<=c0V73EAalower_boundV72V48aSomeVaaggea=a@V74V75ameasureV75FV48LakeyV51Ia=V52aaggea=a@V76V77ameasureV77FV49Aa=V50aaggea=a@V78V79ameasureV79FV48LaTuple0F
aselectedV53asplit'mkV48aSomeV51V49Ia=V55aHereIia=V55aRightaTuple0a=V55aHerea<=V57c0AaeqV54V56qa=V57c0AaltV54V56qa<V57c0AaltV56V54qa>V57c0EAa=V50aNoneAa=V52aSomeV56EFICa=alengthV49c0aNoneaeqakeyaV49V59V58Aa<V59alengthV49Aa<=c0V59EAalower_boundV58V49aSomeVaaggea=a@V60V61ameasureV61FV49ICa=alengthV48c0aNoneaeqakeyaV48V63V62Aa<V63alengthV48Aa<=c0V63EAalower_boundV62V48aSomeVaaggea=a@V64V65ameasureV65FV48LakeyV51Ia=V52aaggea=a@V66V67ameasureV67FV49Aa=V50aaggea=a@V68V69ameasureV69FV48LaTuple0F
aselection_possibleV56V48Ia=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V58c0AaeqV54V57qa=V58c0AaltV54V57qa<V58c0AaltV57V54qa>V58c0EAa=V50aNoneAa=V52aSomeV57EFICa=alengthV49c0aNoneaeqakeyaV49V60V59Aa<V60alengthV49Aa<=c0V60EAalower_boundV59V49aSomeVaaggea=a@V61V62ameasureV62FV49ICa=alengthV48c0aNoneaeqakeyaV48V64V63Aa<V64alengthV48Aa<=c0V64EAalower_boundV63V48aSomeVaaggea=a@V65V66ameasureV66FV48LakeyV51Ia=V52aaggea=a@V67V68ameasureV68FV49Aa=V50aaggea=a@V69V70ameasureV70FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V59c0AaeqV54V58qa=V59c0AaltV54V58qa<V59c0AaltV58V54qa>V59c0EAa=V50aNoneAa=V52aSomeV58EFICa=alengthV49c0aNoneaeqakeyaV49V61V60Aa<V61alengthV49Aa<=c0V61EAalower_boundV60V49aSomeVaaggea=a@V62V63ameasureV63FV49ICa=alengthV48c0aNoneaeqakeyaV48V65V64Aa<V65alengthV48Aa<=c0V65EAalower_boundV64V48aSomeVaaggea=a@V66V67ameasureV67FV48LakeyV51Ia=V52aaggea=a@V68V69ameasureV69FV49Aa=V50aaggea=a@V70V71ameasureV71FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselection_possibleV56V49Ia=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V58c0AaeqV54V57qa=V58c0AaltV54V57qa<V58c0AaltV57V54qa>V58c0EAa=V50aNoneAa=V52aSomeV57EFICa=alengthV49c0aNoneaeqakeyaV49V60V59Aa<V60alengthV49Aa<=c0V60EAalower_boundV59V49aSomeVaaggea=a@V61V62ameasureV62FV49ICa=alengthV48c0aNoneaeqakeyaV48V64V63Aa<V64alengthV48Aa<=c0V64EAalower_boundV63V48aSomeVaaggea=a@V65V66ameasureV66FV48LakeyV51Ia=V52aaggea=a@V67V68ameasureV68FV49Aa=V50aaggea=a@V69V70ameasureV70FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V59c0AaeqV54V58qa=V59c0AaltV54V58qa<V59c0AaltV58V54qa>V59c0EAa=V50aNoneAa=V52aSomeV58EFICa=alengthV49c0aNoneaeqakeyaV49V61V60Aa<V61alengthV49Aa<=c0V61EAalower_boundV60V49aSomeVaaggea=a@V62V63ameasureV63FV49ICa=alengthV48c0aNoneaeqakeyaV48V65V64Aa<V65alengthV48Aa<=c0V65EAalower_boundV64V48aSomeVaaggea=a@V66V67ameasureV67FV48LakeyV51Ia=V52aaggea=a@V68V69ameasureV69FV49Aa=V50aaggea=a@V70V71ameasureV71FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aHereAa<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIa=V55aRightaTuple0ANa<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_boundakeyV58arightV57Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselectedV53aright_extendV57V51V49ICfaNonealower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_bound_strictakeyV58asnocV48V51Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
alower_bound_strictakeyV58aleftV57Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
aselectedV53aleft_extendV48V51V57ICfaNonealower_bound_strictakeyV58aleftV57Aalower_bound_strictakeyV58asnocV48V51Aa=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIia=V55aRightaTuple0a=V55aHerea<=V62c0AaeqV54V61qa=V62c0AaltV54V61qa<V62c0AaltV61V54qa>V62c0EAa=V50aNoneAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
CaselectedV53asplit'mkV48aSomeV51V49aHereaselectedV53aright_extendV57V51V49ItOCfaNonetOalower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FAaselection_possibleV56V48aLeftVaselectedV53aleft_extendV48V51V62ItOCfaNonetOalower_bound_strictakeyV63aleftV62Aalower_bound_strictakeyV63asnocV48V51Aa=aaggea=a@V64V65ameasureV65FV49aSomeakeyV63aSomeVamiddleV62Ia=arebuildV62V49AaselectedV61V62FAaselection_possibleV61V49aRightVV55Iia=V55aRightaTuple0a=V55aHerea<=V67c0AaeqV54V66qa=V67c0AaltV54V66qa<V67c0AaltV66V54qa>V67c0EAa=V50aNoneAa=V52aSomeV66EFICa=alengthV49c0aNoneaeqakeyaV49V69V68Aa<V69alengthV49Aa<=c0V69EAalower_boundV68V49aSomeVaaggea=a@V70V71ameasureV71FV49ICa=alengthV48c0aNoneaeqakeyaV48V73V72Aa<V73alengthV48Aa<=c0V73EAalower_boundV72V48aSomeVaaggea=a@V74V75ameasureV75FV48LakeyV51Ia=V52aaggea=a@V76V77ameasureV77FV49Aa=V50aaggea=a@V78V79ameasureV79FV48LaTuple0F
aselectedV53asplit'mkV48aSomeV51V49Ia=V55aHereIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V59c0AaeqV57V56qa=V59c0AaltV57V56qa<V59c0AaltV56V57qa>V59c0Eia=V55aHerea=V55aLeftaTuple0a<=V60c0AaeqV57V54qa=V60c0AaltV57V54qa<V60c0AaltV54V57qa>V60c0Ea<=V58c0AaeqV54V56qa=V58c0AaltV54V56qa<V58c0AaltV56V54qa>V58c0EAa=V50aSomeV57EAa=V52aSomeV56EFICa=alengthV49c0aNoneaeqakeyaV49V62V61Aa<V62alengthV49Aa<=c0V62EAalower_boundV61V49aSomeVaaggea=a@V63V64ameasureV64FV49ICa=alengthV48c0aNoneaeqakeyaV48V66V65Aa<V66alengthV48Aa<=c0V66EAalower_boundV65V48aSomeVaaggea=a@V67V68ameasureV68FV48LakeyV51Ia=V52aaggea=a@V69V70ameasureV70FV49Aa=V50aaggea=a@V71V72ameasureV72FV48LaTuple0F
aselection_possibleV56V48Ia=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V60c0AaeqV58V57qa=V60c0AaltV58V57qa<V60c0AaltV57V58qa>V60c0Eia=V55aHerea=V55aLeftaTuple0a<=V61c0AaeqV58V54qa=V61c0AaltV58V54qa<V61c0AaltV54V58qa>V61c0Ea<=V59c0AaeqV54V57qa=V59c0AaltV54V57qa<V59c0AaltV57V54qa>V59c0EAa=V50aSomeV58EAa=V52aSomeV57EFICa=alengthV49c0aNoneaeqakeyaV49V63V62Aa<V63alengthV49Aa<=c0V63EAalower_boundV62V49aSomeVaaggea=a@V64V65ameasureV65FV49ICa=alengthV48c0aNoneaeqakeyaV48V67V66Aa<V67alengthV48Aa<=c0V67EAalower_boundV66V48aSomeVaaggea=a@V68V69ameasureV69FV48LakeyV51Ia=V52aaggea=a@V70V71ameasureV71FV49Aa=V50aaggea=a@V72V73ameasureV73FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V61c0AaeqV59V58qa=V61c0AaltV59V58qa<V61c0AaltV58V59qa>V61c0Eia=V55aHerea=V55aLeftaTuple0a<=V62c0AaeqV59V54qa=V62c0AaltV59V54qa<V62c0AaltV54V59qa>V62c0Ea<=V60c0AaeqV54V58qa=V60c0AaltV54V58qa<V60c0AaltV58V54qa>V60c0EAa=V50aSomeV59EAa=V52aSomeV58EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
aselection_possibleV56V49Ia=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V60c0AaeqV58V57qa=V60c0AaltV58V57qa<V60c0AaltV57V58qa>V60c0Eia=V55aHerea=V55aLeftaTuple0a<=V61c0AaeqV58V54qa=V61c0AaltV58V54qa<V61c0AaltV54V58qa>V61c0Ea<=V59c0AaeqV54V57qa=V59c0AaltV54V57qa<V59c0AaltV57V54qa>V59c0EAa=V50aSomeV58EAa=V52aSomeV57EFICa=alengthV49c0aNoneaeqakeyaV49V63V62Aa<V63alengthV49Aa<=c0V63EAalower_boundV62V49aSomeVaaggea=a@V64V65ameasureV65FV49ICa=alengthV48c0aNoneaeqakeyaV48V67V66Aa<V67alengthV48Aa<=c0V67EAalower_boundV66V48aSomeVaaggea=a@V68V69ameasureV69FV48LakeyV51Ia=V52aaggea=a@V70V71ameasureV71FV49Aa=V50aaggea=a@V72V73ameasureV73FV48LaTuple0F
Na=amiddleV57aNoneIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V61c0AaeqV59V58qa=V61c0AaltV59V58qa<V61c0AaltV58V59qa>V61c0Eia=V55aHerea=V55aLeftaTuple0a<=V62c0AaeqV59V54qa=V62c0AaltV59V54qa<V62c0AaltV54V59qa>V62c0Ea<=V60c0AaeqV54V58qa=V60c0AaltV54V58qa<V60c0AaltV58V54qa>V60c0EAa=V50aSomeV59EAa=V52aSomeV58EFICa=alengthV49c0aNoneaeqakeyaV49V64V63Aa<V64alengthV49Aa<=c0V64EAalower_boundV63V49aSomeVaaggea=a@V65V66ameasureV66FV49ICa=alengthV48c0aNoneaeqakeyaV48V68V67Aa<V68alengthV48Aa<=c0V68EAalower_boundV67V48aSomeVaaggea=a@V69V70ameasureV70FV48LakeyV51Ia=V52aaggea=a@V71V72ameasureV72FV49Aa=V50aaggea=a@V73V74ameasureV74FV48LaTuple0F
a=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
alower_boundakeyV58aconsV51V49Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
alower_boundakeyV58arightV57Ia=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
CfaNonealower_bound_strictakeyV58aleftaright_extendV57V51V49Aalower_boundakeyV58arightaright_extendV57V51V49aSomeVamiddlearight_extendV57V51V49ICfaNonealeakeyV59akeyaarightV57V60Ia<V60alengtharightV57Aa<=c0V60FAaleakeyV59akeyaaconsV51V49V61Ia<V61alengthaconsV51V49Aa<=c0V61FAa=aaggea=a@V62V63ameasureV63FV48aSomeakeyV59aSomeVamiddleV57Ia=a++a++aleftV57aoption_to_seqamiddleV57arightV57V48ACfaNonealower_bound_strictakeyV64aleftV57Aalower_boundakeyV64arightV57aSomeVamiddleV57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a=V68c0Oa<V68c0AaeqV66V65qa=V68c0AaltV66V65qa<V68c0AaltV65V66qa<c0V68Eia=V55aHerea=V55aLeftaTuple0a=V69c0Oa<V69c0AaeqV66V54qa=V69c0AaltV66V54qa<V69c0AaltV54V66qa<c0V69Ea=V67c0Oa<V67c0AaeqV54V65qa=V67c0AaltV54V65qa<V67c0AaltV65V54qa<c0V67EAa=V50aSomeV66EAa=V52aSomeV65EFICa=alengthV49c0aNoneaeqakeyaV49V71V70Aa<V71alengthV49Aa=c0V71Oa<c0V71EAaleV70akeyaV49V72Ia<V72alengthV49Aa<=c0V72FaSomeVaaggea=a@V73V74ameasureV74FV49ICa=alengthV48c0aNoneaeqakeyaV48V76V75Aa<V76alengthV48Aa=c0V76Oa<c0V76EAale
aselectedV53aright_extendV57V51V49ICfaNonealower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FIa=V55aLeftV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
alower_bound_strictakeyV58asnocV48V51Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
alower_bound_strictakeyV58aleftV57Ia=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58Ia=amiddleV57aSomeV58FIa=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
CfaNonealower_bound_strictakeyV58aleftaleft_extendV48V51V57Aalower_boundakeyV58arightaleft_extendV48V51V57aSomeVamiddlealeft_extendV48V51V57ICfaNonealtakeyV59akeyaaleftV57V60Ia<V60alengthaleftV57Aa<=c0V60FAaltakeyV59akeyaasnocV48V51V61Ia<V61alengthasnocV48V51Aa<=c0V61FAa=aaggea=a@V62V63ameasureV63FV49aSomeakeyV59aSomeVamiddleV57Ia=a++a++aleftV57aoption_to_seqamiddleV57arightV57V49ACfaNonealower_bound_strictakeyV64aleftV57Aalower_boundakeyV64arightV57aSomeVamiddleV57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a=V68c0Oa<V68c0AaeqV66V65qa=V68c0AaltV66V65qa<V68c0AaltV65V66qa<c0V68Eia=V55aHerea=V55aLeftaTuple0a=V69c0Oa<V69c0AaeqV66V54qa=V69c0AaltV66V54qa<V69c0AaltV54V66qa<c0V69Ea=V67c0Oa<V67c0AaeqV54V65qa=V67c0AaltV54V65qa<V67c0AaltV65V54qa<c0V67EAa=V50aSomeV66EAa=V52aSomeV65EFICa=alengthV49c0aNoneaeqakeyaV49V71V70Aa<V71alengthV49Aa=c0V71Oa<c0V71EAaleV70akeyaV49V72Ia<V72alengthV49Aa<=c0V72FaSomeVaaggea=a@V73V74ameasureV74FV49ICa=alengthV48c0aNoneaeqakeyaV48V76V75Aa<V76alengthV48Aa=c0V76Oa<c0V76EAaleV75a
aselectedV53aleft_extendV48V51V57ICfaNonealower_bound_strictakeyV58aleftV57Aalower_bound_strictakeyV58asnocV48V51Aa=aaggea=a@V59V60ameasureV60FV49aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V49AaselectedV56V57FIa=V55aRightV56FIiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V64c0AaeqV62V61qa=V64c0AaltV62V61qa<V64c0AaltV61V62qa>V64c0Eia=V55aHerea=V55aLeftaTuple0a<=V65c0AaeqV62V54qa=V65c0AaltV62V54qa<V65c0AaltV54V62qa>V65c0Ea<=V63c0AaeqV54V61qa=V63c0AaltV54V61qa<V63c0AaltV61V54qa>V63c0EAa=V50aSomeV62EAa=V52aSomeV61EFICa=alengthV49c0aNoneaeqakeyaV49V67V66Aa<V67alengthV49Aa<=c0V67EAalower_boundV66V49aSomeVaaggea=a@V68V69ameasureV69FV49ICa=alengthV48c0aNoneaeqakeyaV48V71V70Aa<V71alengthV48Aa<=c0V71EAalower_boundV70V48aSomeVaaggea=a@V72V73ameasureV73FV48LakeyV51Ia=V52aaggea=a@V74V75ameasureV75FV49Aa=V50aaggea=a@V76V77ameasureV77FV48LaTuple0F
CaselectedV53asplit'mkV48aSomeV51V49aHereaselectedV53aright_extendV57V51V49ItOCfaNonetOalower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FAaselection_possibleV56V48aLeftVaselectedV53aleft_extendV48V51V62ItOCfaNonetOalower_bound_strictakeyV63aleftV62Aalower_bound_strictakeyV63asnocV48V51Aa=aaggea=a@V64V65ameasureV65FV49aSomeakeyV63aSomeVamiddleV62Ia=arebuildV62V49AaselectedV61V62FAaselection_possibleV61V49aRightVV55Iiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V69c0AaeqV67V66qa=V69c0AaltV67V66qa<V69c0AaltV66V67qa>V69c0Eia=V55aHerea=V55aLeftaTuple0a<=V70c0AaeqV67V54qa=V70c0AaltV67V54qa<V70c0AaltV54V67qa>V70c0Ea<=V68c0AaeqV54V66qa=V68c0AaltV54V66qa<V68c0AaltV66V54qa>V68c0EAa=V50aSomeV67EAa=V52aSomeV66EFICa=alengthV49c0aNoneaeqakeyaV49V72V71Aa<V72alengthV49Aa<=c0V72EAalower_boundV71V49aSomeVaaggea=a@V73V74ameasureV74FV49ICa=alengthV48c0aNoneaeqakeyaV48V76V75Aa<V76alengthV48Aa<=c0V76EAalower_boundV75V48aSomeVaaggea=a@
CaselectedV53asplit'mkV48aSomeV51V49aHereaselectedV53aright_extendV57V51V49ItOCfaNonetOalower_boundakeyV58arightV57Aalower_boundakeyV58aconsV51V49Aa=aaggea=a@V59V60ameasureV60FV48aSomeakeyV58aSomeVamiddleV57Ia=arebuildV57V48AaselectedV56V57FAaselection_possibleV56V48aLeftVaselectedV53aleft_extendV48V51V62ItOCfaNonetOalower_bound_strictakeyV63aleftV62Aalower_bound_strictakeyV63asnocV48V51Aa=aaggea=a@V64V65ameasureV65FV49aSomeakeyV63aSomeVamiddleV62Ia=arebuildV62V49AaselectedV61V62FAaselection_possibleV61V49aRightVV55ICCa=V55aHereaNoneia=V55aLeftaTuple0a=V55aHerea<V67c0AaeqV54V66qa=V67c0AaltV54V66qa<V67c0AaltV66V54qa>V67c0EaSomeVV50aNoneCia=V55aRightaTuple0a=V55aHerea<=V69c0AaeqV54V68qa=V69c0AaltV54V68qa<V69c0AaltV68V54qa>V69c0EaNoneiia=V55aRightaTuple0a=V55aLeftaTuple0a<=V72c0AaeqV70V68qa=V72c0AaltV70V68qa<V72c0AaltV68V70qa>V72c0Eia=V55aHerea=V55aLeftaTuple0a<=V73c0AaeqV70V54qa=V73c0AaltV70V54qa<V73c0AaltV54V70qa>V73c0Ea<=V71c0AaeqV54V68qa=V71c0AaltV54V68qa<V71c0AaltV68V54qa>V71c0EaSomeVV50aSomeVV52FICa=alength
a=aopV48aopV49V50aopaopV48V49V50F
a=V48aopazeroV48Aa=aopV48azeroV48F
a=aNoneazero
a=aaggV48aemptyazeroF
a=aaggV48V49a@V48aV49c0Ia=alengthV49c1F
a=aaggV48a++V49V50aopaaggV48V49aaggV48V50F
VC for balancing
a>=areal_heightV48c0F
a=V54V55ItOa==V54V55Lanode_modelV51V49anode_modelV52V50V53Lanode_modelanode_modelV51V49V52V50V53F
a=ahgtamV56areal_heightareprV56Aa=aseqamV56aseq_modelareprV56AabalancedareprV56FamV56areprV56
aselectedV57asplit'mkV58aNoneV58Iaselection_possibleV57V58LaemptyF
CaselectedV62asplit'mkV57aSomeV60V58aHereaselectedV62aright_extendV65V60V58Ia=arebuildV65V57AaselectedV64V65FAaselection_possibleV64V57aLeftVaselectedV62aleft_extendV57V60V67Ia=arebuildV67V58AaselectedV66V67FAaselection_possibleV66V58aRightVV63ICaselectedV62asplit'mkV57aSomeV60V58aHereaselectedV62aright_extendV69V60V58ItOCfaNonetOalower_boundakeyV70arightV69Aalower_boundakeyV70aconsV60V58Aa=aaggea=a@V71V72ameasureV72FV57aSomeakeyV70aSomeVamiddleV69Ia=arebuildV69V57AaselectedV68V69FAaselection_possibleV68V57aLeftVaselectedV62aleft_extendV57V60V74ItOCfaNonetOalower_bound_strictakeyV75aleftV74Aalower_bound_strictakeyV75asnocV57V60Aa=aaggea=a@V76V77ameasureV77FV58aSomeakeyV75aSomeVamiddleV74Ia=arebuildV74V58AaselectedV73V74FAaselection_possibleV73V58aRightVV63FAa=V61aaggea=a@V78V79ameasureV79FV58Aa=V59aaggea=a@V80V81ameasureV81FV57Ia=V61aaggea=a@V82V83ameasureV83FV58Aa=V59aaggea=a@V84V85ameasureV85FV57Aaselection_possibleV62anode_modelV57V60V58LaTuple0F
a=a@ato_bagV58V57a+a@ato_bagaV58V59V57a@ato_bagaV58V59V57Ia=aV58V59V57Aa<V59alengthV58Aa<=c0V59FF
a=a@ato_bagaV58V59V57a+a@ato_bagaaV58V59c1V57a@ato_bagaaV58V59c1V57Ia=aV58V59V57Aa<V59alengthV58Aa<=c0V59FF
a=a@ato_bagaaV58V59c1V57c1Ia=aV58V59V57Aa<V59alengthV58Aa<=c0V59FF
a>a@ato_bagV58V57c0Ia=a@ato_bagaaV58V59c1V57c1Aa=a@ato_bagaV58V59V57a+a@ato_bagaaV58V59c1V57a@ato_bagaaV58V59c1V57Aa=a@ato_bagV58V57a+a@ato_bagaV58V59V57a@ato_bagaV58V59V57Ia=aV58V59V57Aa<V59alengthV58Aa<=c0V59FF
VC for to_bag_mem
a>a@ato_bagV58V57c0ItOa=a@ato_bagaaV58V59c1V57c1Aa=a@ato_bagaV58V59V57a+a@ato_bagaaV58V59c1V57a@ato_bagaaV58V59c1V57Aa=a@ato_bagV58V57a+a@ato_bagaV58V59V57a@ato_bagaV58V59V57Ia=aV58V59V57Aa<V59alengthV58Aa<=c0V59FF
a=aV58V59V57Aa<V59alengthV58Aa<=c0V59Eqa>a@ato_bagV58V57c0Ia>a@ato_bagV58V57c0Ia=aV58V60V57Aa<V60alengthV58Aa<=c0V60FF
a=aV58V59V57Aa<V59alengthV58Aa<=c0V59Eqa>a@ato_bagV58V57c0Aa>a@ato_bagV58V57c0ItOa=a@ato_bagaaV58V60c1V57c1Aa=a@ato_bagaV58V60V57a+a@ato_bagaaV58V60c1V57a@ato_bagaaV58V60c1V57Aa=a@ato_bagV58V57a+a@ato_bagaV58V60V57a@ato_bagaV58V60V57Ia=aV58V60V57Aa<V60alengthV58Aa<=c0V60FF
a=aV58V59V57Aa<V59alengthV58Aa<=c0V59Eqa>a@ato_bagV58V57c0F
alower_bound_strictakeyaV60c0aV60c0Ia<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
loop invariant init
alower_boundakeyaV60c0aV60c0c0Ialower_bound_strictakeyaV60c0aV60c0Ia<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a<c0alengthV60Aa<=c0c0Aa<=c0c0Ialower_boundakeyaV60c0aV60c0c0Ialower_bound_strictakeyaV60c0aV60c0Ia<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_bound_strictakeyaV60V67aV60V67Ia=V67V63FIa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
loop invariant preservation
alower_boundakeyaV60V67aV60V67a+V63c1Ialower_bound_strictakeyaV60V67aV60V67Ia=V67V63FIa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a<V67alengthV60Aa<=V67a+V63c1Aa<=c0V67Ialower_boundakeyaV60V67aV60V67a+V63c1Ialower_bound_strictakeyaV60V67aV60V67Ia=V67V63FIa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_bound_strictakeyaV60V62aV60V62INa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_boundakeyaV60V62aV60V62a+V63c1Ialower_bound_strictakeyaV60V62aV60V62INa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a<V62alengthV60Aa<=V62a+V63c1Aa<=c0V62Ialower_boundakeyaV60V62aV60V62a+V63c1Ialower_bound_strictakeyaV60V62aV60V62INa<V66c0IaeqV65V64qa=V66c0AaltV65V64qa<V66c0AaltV64V65qa>V66c0FLakeyaV60V63LakeyaV60V62Ia==aV60V63a++aV60V62aV60V62V63Ia<V62alengthV60Aa<=V62V63Aa<=c0V62Aalower_boundakeyaV60V62aV60V62V63Aalower_bound_strictakeyaV60V62aV60V62Aa<=V63V61Aa<=c0V63FFIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a==arebuildV63V60AaselectedaTuple0V63Lasplit'mkaV60V62aSomeaV60V62aV60a+V62c1Ia<V62alengthV60Aa<=V62a+V61c1Aa<=c0V62Aalower_boundakeyaV60V62aV60V62a+V61c1Aalower_bound_strictakeyaV60V62aV60V62FIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a<V62alengthV60Aa<=c0V62Ia==arebuildV63V60AaselectedaTuple0V63Lasplit'mkaV60V62aSomeaV60V62aV60a+V62c1Ia<V62alengthV60Aa<=V62a+V61c1Aa<=c0V62Aalower_boundakeyaV60V62aV60V62a+V61c1Aalower_bound_strictakeyaV60V62aV60V62FIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
a=aaggea=a@V63V64ameasureV64FV60aSomeakeyaV60V62Ia<V62alengthV60Aa<=c0V62Ia==arebuildV65V60AaselectedaTuple0V65Lasplit'mkaV60V62aSomeaV60V62aV60a+V62c1Ia<V62alengthV60Aa<=V62a+V61c1Aa<=c0V62Aalower_boundakeyaV60V62aV60V62a+V61c1Aalower_bound_strictakeyaV60V62aV60V62FIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_bound_strictakeyaV60V62aV60V62Ia=aaggea=a@V63V64ameasureV64FV60aSomeakeyaV60V62Ia<V62alengthV60Aa<=c0V62Ia==arebuildV65V60AaselectedaTuple0V65Lasplit'mkaV60V62aSomeaV60V62aV60a+V62c1Ia<V62alengthV60Aa<=V62a+V61c1Aa<=c0V62Aalower_boundakeyaV60V62aV60V62a+V61c1Aalower_bound_strictakeyaV60V62aV60V62FIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_boundakeyaV60V62aV60V62Ialower_bound_strictakeyaV60V62aV60V62Ia=aaggea=a@V63V64ameasureV64FV60aSomeakeyaV60V62Ia<V62alengthV60Aa<=c0V62Ia==arebuildV65V60AaselectedaTuple0V65Lasplit'mkaV60V62aSomeaV60V62aV60a+V62c1Ia<V62alengthV60Aa<=V62a+V61c1Aa<=c0V62Aalower_boundakeyaV60V62aV60V62a+V61c1Aalower_bound_strictakeyaV60V62aV60V62FIa<=c0a+V61c1La-alengthV60c1INa=alengthV60c0F
alower_boundakeyaV60c0aV60c0Aalower_bound_strictakeyaV60c0aV60c0Aa=aaggea=a@V62V63ameasureV63FV60aSomeakeyaV60c0Aa<c0alengthV60Aa<=c0c0Aa==arebuildV64V60AaselectedaTuple0V64Lasplit'mkaV60c0aSomeaV60c0aV60a+c0c1Ia>c0a+V61c1La-alengthV60c1INa=alengthV60c0F
out of loop bounds
alower_boundakeyaV60c0aV60c0Aalower_bound_strictakeyaV60c0aV60c0Aa=aaggea=a@V62V63ameasureV63FV60aSomeakeyaV60c0Aa<c0alengthV60Aa<=c0c0Aa==arebuildV64V60AaselectedaTuple0V64Lasplit'mkaV60c0aSomeaV60c0aV60a+c0c1Ia>c0a+V61c1Aalower_boundakeyaV60V65aV60V65Aalower_bound_strictakeyaV60V65aV60V65Aa=aaggea=a@V66V67ameasureV67FV60aSomeakeyaV60V65Aa<V65alengthV60Aa<=c0V65Aa==arebuildV68V60AaselectedaTuple0V68Lasplit'mkaV60V65aSomeaV60V65aV60a+V65c1Ia<V65alengthV60Aa<=V65a+V61c1Aa<=c0V65Aalower_boundakeyaV60V65aV60V65a+V61c1Aalower_bound_strictakeyaV60V65aV60V65Aia<V65alengthV60Aa<=V65a+V69c1Aa<=c0V65Aalower_boundakeyaV60V65aV60V65a+V69c1Aalower_bound_strictakeyaV60V65aV60V65a<V73alengthV60Aa<=V73a+V69c1Aa<=c0V73Aalower_boundakeyaV60V73aV60V73a+V69c1Aalower_bound_strictakeyaV60V73aV60V73Ia=V73V69Fa<V72c0IaeqV71V70qa=V72c0AaltV71V70qa<V72c0AaltV70V71qa>V72c0FLakeyaV60V69LakeyaV60V65Aa==aV60V69a++aV60V65aV60V65V69Ia<V65alengthV60Aa<=V65V69Aa<=c0V65Aalower_boundakeyaV60V65aV60V65V69Aalower_bound_strictakeyaV60V65aV60V65Aa
VC for get_minimum_index
alower_boundakeyaV60aget_minimum_indexV60aV60aget_minimum_indexV60Aalower_bound_strictakeyaV60aget_minimum_indexV60aV60aget_minimum_indexV60Aa=aaggea=a@V61V62ameasureV62FV60aSomeakeyaV60aget_minimum_indexV60Aa<aget_minimum_indexV60alengthV60Aa<=c0aget_minimum_indexV60INa=alengthV60c0F
Na=alengthV65c0LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
fIa=V67aNoneLamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V68V69ameasureV69FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
a=V68akeyaV65V64ICfaNonea=V68akeyV69aSomeVV67FLamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V70V71ameasureV71FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
a=aV65V66aaleftV63V66INa<V64V66INa=V64V66LakeyaV65V66Ia=V68akeyaV65V64ICfaNonea=V68akeyV70aSomeVV67FLamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V71V72ameasureV72FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
aleV70V71AaltV71V70Iia=V71V68Aa=V70V69Aa=aV65V66aaleftV63V66a=V71V69Aa=V70V68a<V64V66FINa=V64V66LakeyaV65V66Ia=V68akeyaV65V64ICfaNonea=V68akeyV72aSomeVV67FLamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V73V74ameasureV74FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
a=amiddleV63aSomeaarebuildV63aget_minimum_indexarebuildV63IaleV70V71AaltV71V70Aia=V71V68Aa=V70V69Aa=aV65V66aaleftV63V66a=V71V69Aa=V70V68a<V64V66EOa=V64V66LakeyaV65V66Ia=V68akeyaV65V64ICfaNonea=V68akeyV72aSomeVV67FLamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V73V74ameasureV74FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
a=amiddleV63aSomeaarebuildV63aget_minimum_indexarebuildV63IaleV70V71AaltV71V70Aia=V71V68Aa=V70V69Aa=aV65V66aaleftV63V66a=V71V69Aa=V70V68a<V64V66EOa=V64V66AaleV72V73AaltV73V72Iia=V73V68Aa=V72V69Aa=aV65V66aaleftV63V66a=V73V69Aa=V72V68a<V64V66FAa=aV65V66aaleftV63V66INa<V64V66INa=V64V66LakeyaV65V66Aa=V68akeyaV65V64ICfaNonea=V68akeyV74aSomeVV67FACfaNonetaSomeVV67LamiddleV63Ialower_boundakeyaV65V66aV65V66Aalower_bound_strictakeyaV65V66aV65V66Aa=aaggea=a@V76V77ameasureV77FV65aSomeakeyaV65V66Aa<V66alengthV65Aa<=c0V66Laget_minimum_indexV65ANa=alengthV65c0LarebuildV63LalengthaleftV63IaselectedaTuple0V63F
VC for split_gives_minimum
a=amiddleV63aSomeaarebuildV63aget_minimum_indexarebuildV63IaselectedaTuple0V63F
aselection_possibleaTuple0aseqamV64Ia>acardam1V64c0F
a<=a@abagam1V64V69acardam1V64Aa<=c0a@abagam1V64V69FICa=amiddleV65aNoneaNonea=amiddleV65aSomeV70aSomeVV67Aa=aseqamV68arightV65Aa=aseqamV66aleftV65Aa=arebuildV65aseqamV64AaselectedaTuple0V65FFIa>acardam1V64c0F
a>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Ia<=a@abagam1V64V69acardam1V64Aa<=c0a@abagam1V64V69FICa=amiddleV65aNoneaNonea=amiddleV65aSomeV70aSomeVV67Aa=aseqamV68arightV65Aa=aseqamV66aleftV65Aa=arebuildV65aseqamV64AaselectedaTuple0V65FFIa>acardam1V64c0F
aleakeyaminimumam1V64akeyV69Ia<c0a@abagam1V64V69FIa>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Ia<=a@abagam1V64V70acardam1V64Aa<=c0a@abagam1V64V70FICa=amiddleV65aNoneaNonea=amiddleV65aSomeV71aSomeVV67Aa=aseqamV68arightV65Aa=aseqamV66aleftV65Aa=arebuildV65aseqamV64AaselectedaTuple0V65FFIa>acardam1V64c0F
a<=a@abagam1V64V65acardam1V64Aa<=c0a@abagam1V64V65FINa>acardam1V64c0F
a>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Ia<=a@abagam1V64V65acardam1V64Aa<=c0a@abagam1V64V65FINa>acardam1V64c0F
aleakeyaminimumam1V64akeyV65Ia<c0a@abagam1V64V65FIa>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Ia<=a@abagam1V64V66acardam1V64Aa<=c0a@abagam1V64V66FINa>acardam1V64c0F
ialeakeyaminimumam1V64akeyV65Ia<c0a@abagam1V64V65FAa>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Aa<=a@abagam1V64V66acardam1V64Aa<=c0a@abagam1V64V66Faleakeyaminimumam1V64akeyV71Ia<c0a@abagam1V64V71FAa>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Aa<=a@abagam1V64V72acardam1V64Aa<=c0a@abagam1V64V72FICa=amiddleV67aNoneaNonea=amiddleV67aSomeV73aSomeVV69Aa=aseqamV70arightV67Aa=aseqamV68aleftV67Aa=arebuildV67aseqamV64AaselectedaTuple0V67FFAaselection_possibleaTuple0aseqamV64a>acardam1V64c0F
VC for correction
aleakeyaminimumam1V64akeyV65Ia<c0a@abagam1V64V65FAa>a@abagam1V64aminimumam1V64c0Ia>acardam1V64c0Aa>=acardam1V64c0Aa<=a@abagam1V64V66acardam1V64Aa<=c0a@abagam1V64V66FF
a=acardam1V67c0Aa=a@abagam1V67V68c0FIa=ahgtamV67c0Aa=aseqamV67aemptyF
VC for empty
a=acardam1V68c1Aa=a@abagam1V68V69c0INa=V69V67FAa=a@abagam1V68V67c1Ia=ahgtamV68c1Aa=aseqamV68asingletonV67FF
VC for singleton
ia=acardam1V68c0qa=V69aTrueAa>a@abagam1V68V67c0INa=V69aTrueAa=a@abagam1V68V70c0FIa=V69aTruea=acardam1V68c0qa=V69aTrueAa>a@abagam1V68V71c0INa=V69aTrueAa=a@abagam1V68V72c0FIa=V69aTrueIa=V71aaseqamV68c0FNa=V69aTrueIa=aseqamV68aemptyIa=V69aTrueAa=V69aTrueIa=alengthaseqamV68c0FF
VC for is_empty
a=acardam1V69a+acardam1V67acardam1V68Aa=a@abagam1V69V70a+a@abagam1V67V70a@abagam1V68V70FIa=aseqamV69a++aseqamV67aseqamV68FF
VC for merge
a=a@ato_bagasingletonV68V70ic0c1a=V68V70FF
a=a@ato_baga++a++V67asingletonV68V69V68a+a@ato_baga++V67V69V68c1Ia=a@ato_bagasingletonV68V70ic0c1a=V68V70FF
a=a@ato_baga++a++V67asingletonV68V69V70a@ato_baga++V67V69V70INa=V70V68FIa=a@ato_baga++a++V67asingletonV68V69V68a+a@ato_baga++V67V69V68c1Ia=a@ato_bagasingletonV68V71ic0c1a=V68V71FF
a=a@ato_baga++a++V67asingletonV68V69V70a@ato_baga++V67V69V70INa=V70V68FAa=a@ato_baga++a++V67asingletonV68V69V68a+a@ato_baga++V67V69V68c1Aa=a@ato_bagasingletonV68V71ic0c1a=V68V71FF
VC for remove_count
a=a@ato_baga++a++V67asingletonV68V69V70a@ato_baga++V67V69V70INa=V70V68FAa=a@ato_baga++a++V67asingletonV68V69V68a+a@ato_baga++V67V69V68c1F
a=a@abagam1V71V73c0FAa=acardam1V71c0Ia=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
aselection_possibleaTuple0aseqamV71INa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
fIa=V74aNoneICa=amiddleV73aNoneaNonea=amiddleV73aSomeV76aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
a=acardam1V71c0Ia=V76aNoneICfaNonea=V76aSomeaTuple2V77V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV78aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
VC for extract_min
a=a@abagam1V71V77c0FIa=V76aNoneICfaNonea=V76aSomeaTuple2V78V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV79aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
a=acardam1V71a+acardam1V79c1Ia=V77aTuple2V78V79FIa=V76aSomeV77FICfaNonea=V76aSomeaTuple2V80V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV81aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
a=a@abagam1V71V78a+a@abagam1V79V78c1Ia=V77aTuple2V78V79FIa=V76aSomeV77FICfaNonea=V76aSomeaTuple2V80V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV81aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
a=V78aminimumam1V71Ia=V77aTuple2V78V79FIa=V76aSomeV77FICfaNonea=V76aSomeaTuple2V80V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV81aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
a=a@abagam1V71V80a@abagam1V79V80INa=V80V78FIa=V77aTuple2V78V79FIa=V76aSomeV77FICfaNonea=V76aSomeaTuple2V81V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV82aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
Ca=a@abagam1V71V77c0FAa=acardam1V71c0aNonea=a@abagam1V71V80a@abagam1V79V80INa=V80V78FAa=V78aminimumam1V71Aa=a@abagam1V71V78a+a@abagam1V79V78c1Aa=acardam1V71a+acardam1V79c1aSomeaTuple2VVV76ICfaNonea=V76aSomeaTuple2V81V75aSomeVV74FICa=amiddleV73aNoneaNonea=amiddleV73aSomeV82aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFINa=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
iCa=a@abagam1V71V77c0FAa=acardam1V71c0aNonea=a@abagam1V71V80a@abagam1V79V80INa=V80V78FAa=V78aminimumam1V71Aa=a@abagam1V71V78a+a@abagam1V79V78c1Aa=acardam1V71a+acardam1V79c1aSomeaTuple2VVV76ICfaNonea=V76aSomeaTuple2V81V75aSomeVV74FACfaNonetaSomeVV74ICa=amiddleV73aNoneaNonea=amiddleV73aSomeV83aSomeVV74Aa>=a-ahgtamV71ahgtamV75c0Aa>=c1a-ahgtamV71ahgtamV75Aa=aseqamV75a++aleftV73arightV73Aa=arebuildV73aseqamV71AaselectedaTuple0V73FFAaselection_possibleaTuple0aseqamV71a=a@abagam1V71V84c0FAa=acardam1V71c0a=V72aTrueIa=aseqamV71aemptyIa=V72aTrueAa=V72aTrueIa=alengthaseqamV71c0FF
aselection_possibleaTuple0aseqamV71Ia>acardam1V71c0F
fIa=V73aNoneICa=amiddleV72aNoneaNonea=amiddleV72aSomeV74aSomeVV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72FFIa>acardam1V71c0F
a=V74aminimumam1V71Aa>a@abagam1V71V74c0ICfaNonea=V74V75aSomeVV73FICa=amiddleV72aNoneaNonea=amiddleV72aSomeV76aSomeVV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72FFIa>acardam1V71c0F
a=V74aminimumam1V71Aa>a@abagam1V71V74c0ICfaNonea=V74V75aSomeVV73FACfaNonetaSomeVV73ICa=amiddleV72aNoneaNonea=amiddleV72aSomeV77aSomeVV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72FFAaselection_possibleaTuple0aseqamV71Ia>acardam1V71c0F
VC for min
fIa=V74aNoneLamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
aselectedaTuple0V72Ia=V74aSomeV75FLamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
a=acardam1V71a+acardam1V73c1ICfaNonea=amiddleV72aSomeaarebuildV72aget_minimum_indexarebuildV72aSomeVV74LamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
VC for pop_min
a=a@abagam1V71aminimumam1V71a+a@abagam1V73aminimumam1V71c1ICfaNonea=amiddleV72aSomeaarebuildV72aget_minimum_indexarebuildV72aSomeVV74LamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
a=a@abagam1V71V75a@abagam1V73V75INa=V75aminimumam1V71FICfaNonea=amiddleV72aSomeaarebuildV72aget_minimum_indexarebuildV72aSomeVV74LamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
a=a@abagam1V71V75a@abagam1V73V75INa=V75aminimumam1V71FAa=a@abagam1V71aminimumam1V71a+a@abagam1V73aminimumam1V71c1Aa=acardam1V71a+acardam1V73c1ICfaNonea=amiddleV72aSomeaarebuildV72aget_minimum_indexarebuildV72aSomeVV74LamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFIa>acardam1V71c0F
a=a@abagam1V71V75a@abagam1V73V75INa=V75aminimumam1V71FAa=a@abagam1V71aminimumam1V71a+a@abagam1V73aminimumam1V71c1Aa=acardam1V71a+acardam1V73c1ICfaNonea=amiddleV72aSomeaarebuildV72aget_minimum_indexarebuildV72aSomewV74ACfaNoneaselectedaTuple0V72aSomewV74LamiddleV72Ia>=a-ahgtamV71ahgtamV73c0Aa>=c1a-ahgtamV71ahgtamV73Aa=arebuildV72aseqamV71AaselectedaTuple0V72Aa=aseqamV73a++aleftV72arightV72FFAaselection_possibleaTuple0aseqamV71Ia>acardam1V71c0F
a=a@ato_bagasingletonV71V73ic0c1a=V73V71FF
a=a@abagam1V73V74a@abagam1V72V74INa=V74V71FAa=a@abagam1V73V71a+a@abagam1V72V71c1Ia>=a-ahgtamV73ahgtamV72c0Aa>=c1a-ahgtamV73ahgtamV72Aa=aseqamV73aconsV71aseqamV72FIa=a@ato_bagasingletonV71V75ic0c1a=V75V71FF
a=acardam1V73a+acardam1V72c1Ia=a@abagam1V73V74a@abagam1V72V74INa=V74V71FAa=a@abagam1V73V71a+a@abagam1V72V71c1Ia>=a-ahgtamV73ahgtamV72c0Aa>=c1a-ahgtamV73ahgtamV72Aa=aseqamV73aconsV71aseqamV72FIa=a@ato_bagasingletonV71V75ic0c1a=V75V71FF
a=acardam1V73a+acardam1V72c1Aa=a@abagam1V73V74a@abagam1V72V74INa=V74V71FAa=a@abagam1V73V71a+a@abagam1V72V71c1Ia>=a-ahgtamV73ahgtamV72c0Aa>=c1a-ahgtamV73ahgtamV72Aa=aseqamV73aconsV71aseqamV72FAa=a@ato_bagasingletonV71V75ic0c1a=V75V71FF
VC for add

ac2beacc1972a6bc1ce152b36afa7040 31H30H11H10H9H8H7H6H5H4H3H2H1H0
4903b586c857215e2b316a713fd02245 13H12H11H10H9H8H7H6H5H4H3H2H1H0
63035906918d4df4bd1122d6c11b621f 13H14H11H10H9H8H7H6H5H4H3H2H1H0
f7aa305a030b0353d7cdd270e9c4deed 13H15H11H10H9H8H7H6H5H4H3H2H1H0
704eef150d824a623ccfa2e428cbd10c 13H16H11H10H9H8H7H6H5H4H3H2H1H0
80549fc9c84b0f576f28da1689221c80 13H17H11H10H9H8H7H6H5H4H3H2H1H0
09ceeb63ab443bdaac23f8d76c525235 13H18H11H10H9H8H7H6H5H4H3H2H1H0
e054f0629be78feeeb08f57d77214073 13H19H11H10H9H8H7H6H5H4H3H2H1H0
766c4ffa59c279b7469ce48fbe478936 21H29H11H10H9H8H7H6H5H4H3H2H1H0
d227353c5407be1cd684a5157d71511d 21H20H11H10H9H8H7H6H5H4H3H2H1H0
7f7bf17c720ec6624095574cac433654 21H22H11H10H9H8H7H6H5H4H3H2H1H0
fc055fd9b79f3cae991330b868a9e672 21H23H11H10H9H8H7H6H5H4H3H2H1H0
ad1f1c81baf62f62598ae3ed1d60685d 21H24H11H10H9H8H7H6H5H4H3H2H1H0
662fc1bddf76c8d5d212356e2c4c0f5e 21H25H11H10H9H8H7H6H5H4H3H2H1H0
dfa1545cc76c6dd85d3dd97e1dd4905c 21H26H11H10H9H8H7H6H5H4H3H2H1H0
431d278e52a0e31ada1f64d1d258ea49 21H27H11H10H9H8H7H6H5H4H3H2H1H0
35d474a471e618cdc69d99afe480b790 21H28H11H10H9H8H7H6H5H4H3H2H1H0
741c16282e4a61353f6ccb05f8d975bb 34H33H32H11H10H9H8H7H6H5H4H3H2H1H0
11f7af89e258cce5cde88a2852d1c392 37H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
c39be0d7f1cc02ad017e6a440c4e20e3 37H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
558e4c27bf1d2ff6a5a27f7680d34f34 37H39H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
c8a7358ff34dd7b2bbb6c12eaa144e44 37H40H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
69ac8ff5e202d56bb98470f14e22dea8 45H44H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
77f558404504be99bcc5c3b88fe3eeac 50H49H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
cde4a259a2928d241be9f507a22ccf33 21H46H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
6152bd31c2bbd35e5d2e79c89ac1e2b7 21H47H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1b807848475925b82c07f8b69523a821 21H48H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d69a5a2da6d5ea0b0e4c49dd3407a87c 58H62H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
e7174a4c39b26b9ac291e2a6caba9a0a 52H51H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
485307910501440a0df47731a305bd19 54H53H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
338aba52d2f23e3221cfd158c2e2212a 13H55H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
9437d4d346a31c22cf04a3e28cac2ea8 13H56H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b7ca980ce39f0464bde6af9d80384be6 21H61H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2b553f9cc1bf3499085a6f6a854723bf 58H57H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
87be06a7af4397a9d852b311f05eb577 58H59H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
027f0e8bce2fe643ab9c976843b979ab 58H60H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4a68f3ab7bd4ae6f3d9bac959132b8af 73H72H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
64df4faa7f6985252a33a4df069bf39b 65H64H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
9ef43f242c19863796dfc1fed12b5062 13H70H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
7c2b8602895157f436be8615fc74f0e1 13H66H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
cb72298da0103003994cd6345b5f0a00 13H67H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
fcbed53948311b29912d5ddcb2936cba 13H68H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
ef7e5cdd2a37bb63b752e8ade9f8e052 13H69H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
370e0d3c01fdfa4f0487cb1cea3f73f8 21H71H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2d6588cf4512f5f721eb772d92920ba0 76H136H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
175af2ca6b70a768606810bf108331c2 21H89H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2bbb3e0be2f86a037fb08b6b5329d6a2 76H75H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a055a063623e3400e01ec0875171844a 76H77H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
e70eff72763f81703d3331f5d5ff6bd1 76H78H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
726df6bb08936880a50781dc02fc4213 76H79H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
db1a0d9b614db5c433580107fd1ac269 76H80H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
efd924dcfec9340a32ae584640cf7bc1 76H81H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a558885e329b10150edfec216a7afda4 76H82H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
eca80068f361718a3b65bf3047ad5490 76H83H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b06886071f2b391e85514360f9ac18ab 76H84H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d4a5659583cf3ccdc7fbe84667d9b162 76H85H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
22fcd3799b87de673c280cdd2713ea7e 76H86H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b4f23cff9310d852330bc3c0c39a0a31 76H87H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
137b7de09a3461e28f8adfa2e3068522 76H88H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a656b9a3bf7c3a441a2e7b8317a01192 21H103H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
e00e040a655fd739cbd2e830282823a5 76H90H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a52a44761d3cb80e593b97c9c0b58e87 76H91H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
c935aead794b66c575f713e9c14953c0 76H92H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
19d339f96cc38138c6aaf92690102f64 76H93H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
cbd146a2cfbf9583f8d57fa5ed4f79ca 76H94H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
698b516f27c0585d69656067a5607936 76H95H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
54a96e00c05cf435f5e99503d579540b 76H96H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
01bbd9b365b809234f353a0185dacba5 76H97H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a267320c22f38cdb5660ed691899df61 76H98H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
704fbd7c3be1297f70421c628b2d335a 76H99H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1928b5e36ab815e46c631b4265d3b1c1 76H100H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
335a21242d34cf3c8b74da88703d625c 76H101H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2d9a2bf91b9ee45cdd821bec15283114 76H102H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3344548dd082254c95be597fcf98b7d1 21H119H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3daa15b2080080383325bc24d179982b 76H104H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
27fc5a071a47c86987c5812d47c576f6 76H105H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
057e803a855e551408e917f427c2d92b 76H106H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4264e2358cc2c3b0a7620d8b0f67742e 76H107H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4f104b8fb3b457b872895b0583a59999 76H108H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
575327acf34e2618880a11b84e84cddc 76H109H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
32f024e1056b8931cf906954965afd86 76H110H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1550356c1cb8c91a812fc531ef2f6122 76H113H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
f2c70a77e38dae4098aaf15c9e0a71c4 76H111H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2669b4fc67773094367efb4bc50ae469 76H112H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3314730916dd631398d8daccd7b4e70d 76H114H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
260b346befaca8ea07dd9023298edb53 76H115H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
93f61d5b6db228f0b118e19e41bd47ec 76H116H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
6c9964d382b5afea9300b2c55ff1810f 76H117H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
294f72dff2b8f7756c52a873fbd25ecb 76H118H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
c139fc02f5c942ef2cea78a1d03f4d88 21H135H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
7adab52923e95f2b026b1d3000e88495 76H120H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d3802145ecf3e45f2569b2a8e9c0e66c 76H121H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b5f200c8226bc834f455d2466c0ec9fc 76H122H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1aa594aa5fc47b5087944aea13d218de 76H123H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a12d581597bdf617ee6c20bf288131f3 76H124H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4875f530d7c5e198503233fcfd218028 76H125H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
fd5c39ddfbc832f4cb88ea4f23e672e9 76H126H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
7b106fe055a1c9a78ccac3d136758528 76H127H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1aa3e8567b218f995e6f90af4b963526 76H128H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2b4877c52497d61cd3f7714a21c7fc2a 76H130H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
dca38abb7af8c5a06ce6e0e5a33f0dc7 76H129H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d1faa646821ccf1ebc6362a04affcfb8 76H131H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
27debe6b3edeba7aeb8550a4dd761756 76H132H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
e7fc9d848bcde1cd9cdb03d53b1e582b 76H134H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1d4b85922c564310583f3a1ab878bb90 76H133H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
07d0f2fe1684551c80ac054975cfc27d 37H137H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2077d57a1cf9a4c611ba056664dce6c1 37H138H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d76d23ddf01f741da7852e51b97faf64 45H139H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
521d53a081b097fbba1a58f0f8b83482 50H44H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
5c0b3942cefc1200eabe4b643369d5d3 37H140H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
dcbf28911768a99d105bf8d17b28584d 37H141H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
f09246c678df5bc8d5bbe839e26edf91 37H142H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4c347622f69f1301ea77d7ef555c679e 143H0H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
39a4f2cfc1e3c40f1eba4b0bfb4342a3 37H147H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3d8dc9b685353a72535666336b89a79c 76H148H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b628e07c0ca6adfd6138d81f4e387431 153H156H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
5e476b74a6e3229e8a77e328322bc7f0 13H154H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1a2d35407133708d9fddec4041b1d9e6 13H149H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
985e36f5fbbaf01b28bb2a45f1c80328 13H150H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
83a3c68afdc9d740091acc0d3785e3dd 13H151H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
84abc57e410795820806eb507431988f 153H152H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8b9e4e346cbd75ab79e093327ab36b01 21H155H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8be956a35e26f16e24752a0a6febf0bb 178H177H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
102236d45956906d8f5154005f5e88af 159H158H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
fb821fabf1f42487a55b550adb239a60 159H160H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3f604fcfbd59b5fb0f3280040143c36e 159H161H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8363c56f1136662305a725a60aa9cd11 13H162H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
54c310f74e31b269a222a59f92f7aba8 164H163H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
3a817d5a93cf9d6f2e901611ce9a6be0 164H165H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
f789e6b3abe67cf3d3c4f952d883f203 164H166H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
416f652e916649b1aac4d05c798687d2 164H167H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2932c2b32fbc4e71a146ccc2811ab129 164H168H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d1ac265642b0d703c6895aac7216573b 164H169H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
63231465a0e1756a732d5bebd316e0e8 13H170H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
fedce14400011df37a4c6eabfc67b7bc 21H171H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
86e9dc28935e352fd990076ec34ccc33 21H172H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a619dd309c6f096511e275006b69f242 21H173H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
aba7da752ad337a6a34ca6f26e016697 21H174H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
e5f1bd41fc15113f841f89c51093e3c9 176H175H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
5a5efca6aa36f70b23adbe92971343b7 187H186H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
5261e6ae201faa103c76ef4d51ccfba2 52H180H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8f18587233933950f9e9509f92c88ea4 65H181H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a56cfe264c8283e09eef1b9341d1190e 13H182H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2b5c514e0fdfcefe7eae0b1f3ce43f8b 13H183H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
076f2fc51f9e9604ef7edd8213613c81 13H184H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
c576fabfa53351dc8176cf902928787f 21H185H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b90b2541f23f862b8c37eecf9b483925 197H196H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
854e7cad1759342a0d4c55eea7c5f14a 52H189H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b4c9c28213bf7f43ac9dbcc943076e3d 21H190H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
6ceea2d027716cd38bca89a7706af246 21H191H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a46d8eeda439498bf50f5cb0214027c3 21H192H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
5b8f186d31557eba16ff29fbda003021 21H193H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
7f6d529af56ec428ec0e6fee5736d56e 21H194H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
82b7ebc33324352b91dd9c70104c0878 21H195H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
1f240f7b96887c9dd1e760cfb3c3035e 200H199H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
eab36077b9a61683f0d99eda142207a8 202H201H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
57e5674e7bd64315da003297593f21fb 204H203H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
9e3d4982b40faa1da1ab909020686086 206H205H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4c9a327f90a509ea806b6799bfcc794b 211H210H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
57358afb9fbd6f1ed4c20edbabeb6805 13H207H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
64340c5c187132b3c0ed3f1d3da8f620 21H208H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a897c18bf8a02f50e04f896b85c8fb11 21H209H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
9b20b1dbc62613b036b208e00833c540 217H224H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
f0c7b4b4d6ed33d377842f283cd651d9 21H213H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b7573bd6a42cfa0628830e4872ed9ac6 52H214H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
84b8ddd4fb5278a154d42be97957c928 65H215H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8ee0ffcb6dbdc6cc946006fa3e2bf210 21H223H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
0bc1f045e56c4b927a3cad060f903314 217H216H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
faf741272191ca918b9cfa72dcaeb888 217H218H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
2ec20a9a2b273ff056133cc989989be8 217H219H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
af4495819f34653e430ab9546fe5e98a 217H220H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
ea23561499a117bab7e05e7d3da99c6f 217H221H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
4a54111732bc352d2f0e0ba705e1c30e 217H222H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
ac21608da47654090dfa720233a2b00c 229H228H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
0282cfa4c5c67bd9a3e95c1370d0212e 52H225H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
d81202eaab56b60e4a68c8bf763a3bec 65H226H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
44819e6889bc3b2da10a5087ff284c15 21H227H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
b9401928d5325e2c2dc88a6cd1921ff8 233H237H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
0282cfa4c5c67bd9a3e95c1370d0212e 52H225H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
8bb14fa779762be4864c30681e0d7fa2 65H230H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
be6867565ca279b3a02b836057cc5713 52H231H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
ac3561785539b86df3e76c62801dff6f 21H236H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
395be129e1e5ff10b61eceb7707aa5e3 233H232H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
db3df7b04d5c80ca26eb039364ad24be 233H234H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
771dcfd2115a8555e94a345dc706126e 233H235H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
dc18757c4d413c66e4c630ea1f7c3134 242H241H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
689bf3d4f8db4924c2fdbebb601c3263 13H238H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
a71808d63901e04e023544ee99340f6a 21H239H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
6d52f9017c7ff250167375f98a5dd838 21H240H212H198H188H179H157H146H145H144H74H63H43H42H41H38H36H35H32H11H10H9H8H7H6H5H4H3H2H1H0
