a>=V0V2Ia>=V1V2Ia>=V0V1F
empty_shape
asortedaConsV3V4qasortedV4Aa>=V3V5IamemV5V4FF
asorteda++V6V7qa>=V8V9IamemV9V7IamemV8V6FAasortedV7AasortedV6F
CtaConsVVfwV10INais_nilV10F
VC for destruct
Ca=adestructV10aTuple2V11V12aConsVVfwV10INais_nilV10F
amemV14V13ICa=V14V15aTuple2VwadestructV13FANais_nilV13INais_nilV13F
VC for peek
Ca=apeekV13V14aTuple2VwadestructV13INais_nilV13F
amemapeekV15V15INais_nilV15F
Nais_nilV16INais_nilV16F
VC for tail
Ca=atailV16V17aTuple2wVadestructV16INais_nilV16F
a=V18aConsapeekV18atailV18INais_nilV18F
a>=anc0
array creation size
a=aaleftV19c-1Ia<V19anAa<=c0V19F
a=alengthaleftan
a<=c0a+a-alengthasc1c1
amemazaNil
a<azc0Aa<=c0az
loop invariant init
a<V20c0Aa<=c0V20IamemV20aNilF
ais_nilaNil
t
tIais_nilaNil
Nais_nilaNil
a=apeekaNila-c0c1
a=apeekaNila-c0c1INais_nilaNil
asortedaNil
a<=c0ay
a<ayc0
a<aaleftayay
a<aaleftV21V21Ia<V21c0Aa<=c0V21F
a<=c0aaleftay
a<aasaaleftayaasay
a<aasaaleftV22aasV22Ia<=c0aaleftV22Ia<V22c0Aa<=c0V22F
a<=c0az
a<azc0
a<=aasV23aasazAamemV23aNilAa<V23c0Aa<=azV23E
a<=aasV24aasV23AamemV24aNilAa<V24c0Aa<=V23V24EIa<V23c0Aa<=c0V23F
a<aaleftayaz
a<azay
a>=aasazaasay
a=alengthaleft1alengthaleft
a<=c0ax
a<=axa-alengthasc1
a<V20axAa<=c0V20IamemV20amy_stackF
a=axc0Iais_nilamy_stack
a=apeekamy_stacka-axc1INais_nilamy_stack
asortedamy_stack
a<aaleft1V21V21Ia<V21axAa<=c0V21F
a<aasaaleft1V22aasV22Ia<=c0aaleft1V22Ia<V22axAa<=c0V22F
a<=aasV24aasV23AamemV24amy_stackAa<V24axAa<=V23V24EIa<V23axAa<=c0V23F
a>=aasV26aasV25Ia<V26V25Aa<aaleft1V25V26Ia<V25axAa<=c0V25F
amemazamy_stack
a<azaxAa<=c0az
a<V27axAa<=c0V27IamemV27amy_stackF
amemazamy_stackOa>=aasazaasax
amemV28amy_stackOa>=aasV28aasaxIamemV28amy_stackF
Nais_nilamy_stack
a<=azapeekamy_stack
a<=V29apeekamy_stackIamemV29amy_stackINais_nilamy_stackF
a<apeekamy_stackaz
a<azax
a>=aasazaasax
a>=aasV30aasaxIa<V30axAa<apeekamy_stackV30INais_nilamy_stackF
ais_nilamy_stack
a<V27axAa<=c0V27IamemV27amy_stack1F
asortedamy_stack1
amemV28amy_stack1Oa>=aasV28aasaxIamemV28amy_stackF
a<=V29apeekamy_stack1IamemV29amy_stack1INais_nilamy_stack1F
a>=aasV30aasaxIa<V30axAa<apeekamy_stack1V30INais_nilamy_stack1F
a>=aasV31aasaxIa<V31axAa<=c0V31Iais_nilamy_stack1F
a=amy_stack1aNilqais_nilamy_stack1
Nais_nilamy_stack1
a<axalengthasAa<=c0ax
index in array bounds
precondition
amemapeekamy_stack1amy_stack1
a<apeekamy_stack1alengthasAa<=c0apeekamy_stack1
amemapeekamy_stack1amy_stack1Oais_nilamy_stack1
a>=aasapeekamy_stack1aasax
a=amy_stack2atailamy_stack1
a<alength1amy_stack2alength1amy_stack1Aa<=c0alength1amy_stack1
loop variant decrease
amemazamy_stack2
loop invariant preservation
a<V32axAa<=c0V32IamemV32amy_stack2F
asortedamy_stack2
amemazamy_stack2Oa>=aasazaasax
amemV33amy_stack2Oa>=aasV33aasaxIamemV33amy_stackF
Nais_nilamy_stack2
a<=azapeekamy_stack2
a<=V34apeekamy_stack2IamemV34amy_stack2INais_nilamy_stack2F
a<apeekamy_stack2az
a>=aasV35aasaxIa<V35axAa<apeekamy_stack2V35INais_nilamy_stack2F
ais_nilamy_stack2
Na>=aasapeekamy_stack1aasaxANais_nilamy_stack1
a<aasapeekamy_stack1aasax
assertion
a<aasapeekamy_stack1aasaxINais_nilamy_stack1
ais_nilamy_stack1
a<axalengthaleft1Aa<=c0ax
a=alengthaleft2alengthaleft1
a=aeltsaleft2asetaeltsaleft1axc-1
a=aleft2aaleft1axc-1
a<=c0aaleft2ax
a<aasaaleft2axaasax
a<aasaaleft2axaasaxIa<=c0aaleft2ax
a=amy_stack2aConsaxamy_stack1
a<aza+axc1Aa<=c0az
a<V32a+axc1Aa<=c0V32IamemV32amy_stack2F
a=a+axc1c0
a=a+axc1c0Iais_nilamy_stack2
a=apeekamy_stack2a-a+axc1c1
a=apeekamy_stack2a-a+axc1c1INais_nilamy_stack2
a<aya+axc1
a<aaleft2ayay
a<aaleft2V33V33Ia<V33a+axc1Aa<=c0V33F
a<=c0aaleft2ay
a<aasaaleft2ayaasay
a<aasaaleft2V34aasV34Ia<=c0aaleft2V34Ia<V34a+axc1Aa<=c0V34F
a<aza+axc1
a<=aasV35aasazAamemV35amy_stack2Aa<V35a+axc1Aa<=azV35E
a<=aasV36aasV35AamemV36amy_stack2Aa<V36a+axc1Aa<=V35V36EIa<V35a+axc1Aa<=c0V35F
a<aaleft2ayaz
a=aeltsaleft2asetaeltsaleft1axapeekamy_stack1
a=aleft2aaleft1axapeekamy_stack1
a<V20a+a-alengthasc1c1Aa<=c0V20IamemV20amy_stackF
a=a+a-alengthasc1c1c0Iais_nilamy_stack
a=apeekamy_stacka-a+a-alengthasc1c1c1INais_nilamy_stack
a<aaleft1V21V21Ia<V21a+a-alengthasc1c1Aa<=c0V21F
a<aasaaleft1V22aasV22Ia<=c0aaleft1V22Ia<V22a+a-alengthasc1c1Aa<=c0V22F
a<=aasV24aasV23AamemV24amy_stackAa<V24a+a-alengthasc1c1Aa<=V23V24EIa<V23a+a-alengthasc1c1Aa<=c0V23F
a>=aasV26aasV25Ia<V26V25Aa<aaleft1V25V26Ia<V25a+a-alengthasc1c1Aa<=c0V25F
a<ayalengthas
a<aaleft1ayay
postcondition
a<aaleft1V27V27Ia<V27alengthasAa<=c0V27F
a<=c0aaleft1ay
a<aasaaleft1ayaasay
a<aasaaleft1V28aasV28Ia<=c0aaleft1V28Ia<V28alengthasAa<=c0V28F
a<axalengthas
a<aaleft1axaz
a>=aasV30aasV29Ia<V30V29Aa<aaleft1V29V30Ia<V29alengthasAa<=c0V29F
a=alengthaleft1alengthas
a>c0a+a-alengthasc1c1
a=alengthaleftalengthasAa>=aasV21aasV20Ia<V21V20Aa<aaleftV20V21Ia<V20alengthasAa<=c0V20FAa<aasaaleftV22aasV22Ia<=c0aaleftV22Ia<V22alengthasAa<=c0V22FAa<aaleftV23V23Ia<V23alengthasAa<=c0V23F
out of loop bounds
a=alengthV21alengthV19Aa>=aV19V24aV19V23Ia<V24V23Aa<aV21V23V24Ia<V23alengthV19Aa<=c0V23FAa<aV19aV21V25aV19V25Ia<=c0aV21V25Ia<V25alengthV19Aa<=c0V25FAa<aV21V26V26Ia<V26alengthV19Aa<=c0V26FIa>c0a+V22c1Aa=alengthV28alengthV19Aa>=aV19V30aV19V29Ia<V30V29Aa<aV28V29V30Ia<V29alengthV19Aa<=c0V29FAa<aV19aV28V31aV19V31Ia<=c0aV28V31Ia<V31alengthV19Aa<=c0V31FAa<aV28V32V32Ia<V32alengthV19Aa<=c0V32FIa>=aV19V34aV19V33Ia<V34V33Aa<aV28V33V34Ia<V33a+V22c1Aa<=c0V33FAa<=aV19V36aV19V35AamemV36V27Aa<V36a+V22c1Aa<=V35V36EIa<V35a+V22c1Aa<=c0V35FAa<aV19aV28V37aV19V37Ia<=c0aV28V37Ia<V37a+V22c1Aa<=c0V37FAa<aV28V38V38Ia<V38a+V22c1Aa<=c0V38FAasortedV27Aa=apeekV27a-a+V22c1c1INais_nilV27Aa=a+V22c1c0Iais_nilV27Aa<V39a+V22c1Aa<=c0V39IamemV39V27FAiia>=aV19V46aV19V45Ia<V46V45Aa<aV43V45V46Ia<V45a+V40c1Aa<=c0V45FAa<=aV19V48aV19V47AamemV48V44Aa<V48a+V40c1Aa<=V47V48EIa<V47a+V40c1Aa<=c0V47FAa<aV19aV43V49aV19V49Ia<=c0aV43V49Ia<V49a+V40c1Aa<=c0V49FAa<aV43V50V50Ia<V50a+V40c1Aa<=c0V50FAasortedV44Aa=apeekV44a-a+V40c1c1INais_nilV44Aa=a+V40c1c0Iais_nilV44A
VC for smaller_left
Na=aaaV19aaaV20Ia<V20alengthaaAa<V19V20Aa<=c0V19F
a<aas_leftV21V21Ia<V21alengthaaAa<=c0V21F
a<aaaaas_leftV22aaaV22Ia<=c0aas_leftV22Ia<V22alengthaaAa<=c0V22F
a>=aaaV24aaaV23Ia<V24V23Aa<aas_leftV23V24Ia<V23alengthaaAa<=c0V23F
a=alengthas_leftalengthaa
a>aas_rightV25V25Ia<V25alengthaaAa<=c0V25F
a<aaaaas_rightV26aaaV26Ia<aas_rightV26alengthaaIa<V26alengthaaAa<=c0V26F
a>=aaaV28aaaV27Ia<V28aas_rightV27Aa<V27V28Ia<V27alengthaaAa<=c0V27F
a=alengthas_rightalengthaa
a=aadirsV29adir'mkaNoneaNoneIa<V29anAa<=c0V29F
a=alengthadirsan
a<=c0a+a-anc1c1
a<=c0aj
a<ajalengthaa
a>=aaaV30aaaajIa<V30avAa<ajV30FAa<avalengthaaAa<ajavAa>aaaavaaaajIa=arightaadirsajaSomeavAa>=aaaV31aaaajIa<V31ajAa<avV31FAa<avajAa<=c0avAa>aaaavaaaajIa=aleftaadirsajaSomeav
a>=aaaV32aaaV30Ia<V32V31Aa<V30V32FAa<V31alengthaaAa<V30V31Aa>aaaV31aaaV30Ia=arightaadirsV30aSomeV31Aa>=aaaV33aaaV30Ia<V33V30Aa<V31V33FAa<V31V30Aa<=c0V31Aa>aaaV31aaaV30Ia=aleftaadirsV30aSomeV31Ia<V30alengthaaAa<=c0V30F
a<ajc0
iiitia=aleftaadirsaas_rightajaSomeaja=arightaadirsaas_leftajaSomeaja>aaaaas_leftajaaaaas_rightaja<aas_rightajanAa>=aas_leftajc0a=aleftaadirsaas_rightajaSomeaja<aas_rightajanAa<aas_leftajc0a=arightaadirsaas_leftajaSomeaja>=aas_rightajanAa>=aas_leftajc0
iiitia=aleftaadirsaas_rightV34aSomeV34a=arightaadirsaas_leftV34aSomeV34a>aaaaas_leftV34aaaaas_rightV34a<aas_rightV34anAa>=aas_leftV34c0a=aleftaadirsaas_rightV34aSomeV34a<aas_rightV34anAa<aas_leftV34c0a=arightaadirsaas_leftV34aSomeV34a>=aas_rightV34anAa>=aas_leftV34c0Ia<V34c0Aa<=c0V34F
a<=c0ap
a<apalengthaa
a<=aaaaas_leftajaaaaas_rightajIa>=aas_leftajc0Aa=apaas_rightajIa=aleftaadirsapaSomeajAa>aaaaas_leftajaaaaas_rightajIa<aas_rightajanAa=apaas_leftajIa=arightaadirsapaSomeaj
a=alengthadirs1alengthadirs
a<=c0ai
a<=aia-anc1
a>=aaaV32aaaV30Ia<V32V31Aa<V30V32FAa<V31alengthaaAa<V30V31Aa>aaaV31aaaV30Ia=arightaadirs1V30aSomeV31Aa>=aaaV33aaaV30Ia<V33V30Aa<V31V33FAa<V31V30Aa<=c0V31Aa>aaaV31aaaV30Ia=aleftaadirs1V30aSomeV31Ia<V30alengthaaAa<=c0V30F
iiitia=aleftaadirs1aas_rightV34aSomeV34a=arightaadirs1aas_leftV34aSomeV34a>aaaaas_leftV34aaaaas_rightV34a<aas_rightV34anAa>=aas_leftV34c0a=aleftaadirs1aas_rightV34aSomeV34a<aas_rightV34anAa<aas_leftV34c0a=arightaadirs1aas_leftV34aSomeV34a>=aas_rightV34anAa>=aas_leftV34c0Ia<V34aiAa<=c0V34F
a<=aaaaas_leftV35aaaaas_rightV35Ia>=aas_leftV35c0Aa=V36aas_rightV35Ia=aleftaadirs1V36aSomeV35Aa>aaaaas_leftV35aaaaas_rightV35Ia<aas_rightV35anAa=V36aas_leftV35Ia=arightaadirs1V36aSomeV35Ia<V36alengthaaAa<=c0V36Ia<V35alengthaaAa<=c0V35F
a<aialengthas_leftAa<=c0ai
a<aialengthas_rightAa<=c0ai
a>=alic0
a<arian
a<arialengthaaAa<=c0ari
a<alialengthaaAa<=c0ali
a>aaaaliaaaari
a<alialengthadirs1Aa<=c0ali
a=alengthadirs2alengthadirs1
a=aeltsadirs2asetaeltsadirs1aliadir'mkaleftaadirs1aliaSomeai
a=adirs2aadirs1aliadir'mkaleftaadirs1aliaSomeai
a=ajali
a>=aaaV37aaaajIa<V37avAa<ajV37FAa<avalengthaaAa<ajavAa>aaaavaaaajIa=arightaadirs2ajaSomeavAa>=aaaV38aaaajIa<V38ajAa<avV38FAa<avajAa<=c0avAa>aaaavaaaajIa=aleftaadirs2ajaSomeav
true case (loop invariant preservation)
Na=ajali
false case (loop invariant preservation)
a>=aaaV39aaaV37Ia<V39V38Aa<V37V39FAa<V38alengthaaAa<V37V38Aa>aaaV38aaaV37Ia=arightaadirs2V37aSomeV38Aa>=aaaV40aaaV37Ia<V40V37Aa<V38V40FAa<V38V37Aa<=c0V38Aa>aaaV38aaaV37Ia=aleftaadirs2V37aSomeV38Ia<V37alengthaaAa<=c0V37F
a<aja+aic1
iiitia=aleftaadirs2aas_rightajaSomeaja=arightaadirs2aas_leftajaSomeaja>aaaaas_leftajaaaaas_rightaja<aas_rightajanAa>=aas_leftajc0a=aleftaadirs2aas_rightajaSomeaja<aas_rightajanAa<aas_leftajc0a=arightaadirs2aas_leftajaSomeaja>=aas_rightajanAa>=aas_leftajc0
iiitia=aleftaadirs2aas_rightV41aSomeV41a=arightaadirs2aas_leftV41aSomeV41a>aaaaas_leftV41aaaaas_rightV41a<aas_rightV41anAa>=aas_leftV41c0a=aleftaadirs2aas_rightV41aSomeV41a<aas_rightV41anAa<aas_leftV41c0a=arightaadirs2aas_leftV41aSomeV41a>=aas_rightV41anAa>=aas_leftV41c0Ia<V41a+aic1Aa<=c0V41F
a=apali
a<=aaaaas_leftajaaaaas_rightajIa>=aas_leftajc0Aa=apaas_rightajIa=aleftaadirs2apaSomeajAa>aaaaas_leftajaaaaas_rightajIa<aas_rightajanAa=apaas_leftajIa=arightaadirs2apaSomeaj
Na=apali
Na>aaaaliaaaari
a<arialengthadirs1Aa<=c0ari
a=aeltsadirs2asetaeltsadirs1ariadir'mkaSomeaiarightaadirs1ari
a=adirs2aadirs1ariadir'mkaSomeaiarightaadirs1ari
a=ajari
Na=ajari
a=apari
Na=apari
Na<arian
Na>=alic0
a>=aaaV37aaaajIa<V37avAa<ajV37FAa<avalengthaaAa<ajavAa>aaaavaaaajIa=arightaadirs1ajaSomeavAa>=aaaV38aaaajIa<V38ajAa<avV38FAa<avajAa<=c0avAa>aaaavaaaajIa=aleftaadirs1ajaSomeav
a>=aaaV39aaaV37Ia<V39V38Aa<V37V39FAa<V38alengthaaAa<V37V38Aa>aaaV38aaaV37Ia=arightaadirs1V37aSomeV38Aa>=aaaV40aaaV37Ia<V40V37Aa<V38V40FAa<V38V37Aa<=c0V38Aa>aaaV38aaaV37Ia=aleftaadirs1V37aSomeV38Ia<V37alengthaaAa<=c0V37F
iiitia=aleftaadirs1aas_rightajaSomeaja=arightaadirs1aas_leftajaSomeaja>aaaaas_leftajaaaaas_rightaja<aas_rightajanAa>=aas_leftajc0a=aleftaadirs1aas_rightajaSomeaja<aas_rightajanAa<aas_leftajc0a=arightaadirs1aas_leftajaSomeaja>=aas_rightajanAa>=aas_leftajc0
iiitia=aleftaadirs1aas_rightV41aSomeV41a=arightaadirs1aas_leftV41aSomeV41a>aaaaas_leftV41aaaaas_rightV41a<aas_rightV41anAa>=aas_leftV41c0a=aleftaadirs1aas_rightV41aSomeV41a<aas_rightV41anAa<aas_leftV41c0a=arightaadirs1aas_leftV41aSomeV41a>=aas_rightV41anAa>=aas_leftV41c0Ia<V41a+aic1Aa<=c0V41F
a<=aaaaas_leftajaaaaas_rightajIa>=aas_leftajc0Aa=apaas_rightajIa=aleftaadirs1apaSomeajAa>aaaaas_leftajaaaaas_rightajIa<aas_rightajanAa=apaas_leftajIa=arightaadirs1apaSomeaj
iiitia=aleftaadirs1aas_rightV34aSomeV34a=arightaadirs1aas_leftV34aSomeV34a>aaaaas_leftV34aaaaas_rightV34a<aas_rightV34anAa>=aas_leftV34c0a=aleftaadirs1aas_rightV34aSomeV34a<aas_rightV34anAa<aas_leftV34c0a=arightaadirs1aas_leftV34aSomeV34a>=aas_rightV34anAa>=aas_leftV34c0Ia<V34a+a-anc1c1Aa<=c0V34F
a=alengthadirs1alengthaa
a>aaaV37aaaajIa<V37avAa<ajV37FAa<avalengthaaAa<ajavAa>aaaavaaaajIa=arightaadirs1ajaSomeavAa>aaaV38aaaajIa<V38ajAa<avV38FAa<avajAa<=c0avAa>aaaavaaaajIa=aleftaadirs1ajaSomeav
a>aaaV39aaaV37Ia<V39V38Aa<V37V39FAa<V38alengthaaAa<V37V38Aa>aaaV38aaaV37Ia=arightaadirs1V37aSomeV38Aa>aaaV40aaaV37Ia<V40V37Aa<V38V40FAa<V38V37Aa<=c0V38Aa>aaaV38aaaV37Ia=aleftaadirs1V37aSomeV38Ia<V37alengthaaAa<=c0V37F
a>=aaaV45aaaV41Aa<V45alengthaaAa<=c0V45Ia=adirs1V42Ia=V41V43Ia=V45V44FIa=V43V44FIa<V41alengthaaIa<=c0V41F
a>=aaaV46aaaV41Aa<V46alengthaaAa<=c0V46Ia=adirs1V42Ia=V41V43Ia=V46V45FIa=aleftaV42V44aSomeV45Ia>=aaaV47aaaV41Aa<V47alengthaaAa<=c0V47Ia=adirs1V42Ia=V41V43Ia=V47V44FAadescendantV42V43V44FIa<V41alengthaaIa<=c0V41F
a>=aaaV46aaaV41Aa<V46alengthaaAa<=c0V46Ia=adirs1V42Ia=V41V43Ia=V46V45FIa=arightaV42V44aSomeV45Ia>=aaaV47aaaV41Aa<V47alengthaaAa<=c0V47Ia=adirs1V42Ia=V41V43Ia=V47V44FAadescendantV42V43V44FIa<V41alengthaaIa<=c0V41F
a>=aaaV41aaaV42Aa<V41alengthaaAa<=c0V41Iadescendantadirs1V42V41Ia<V42alengthaaIa<=c0V42FF
a>=aaaasaaaV41Aa<asalengthaaAa<=c0asIadescendantadirs1V41asIa<V41alengthaaIa<=c0V41F
adescendantadirs1apas
a>=aaaasaaaapAa<asalengthaaAa<=c0as
a>=aaaV42aaaV41Aa<V42alengthaaAa<=c0V42Iadescendantadirs1V41V42Ia<V41alengthaaAa<=c0V41F
a<=c0ap1
a<ap1alengthaa
a>V47ap1Ia=arightaadirs1ap1aSomeV43Aa<V47ap1Ia=aleftaadirs1ap1aSomeV43Ia=adirs1V44Ia=V43V45Ia=V47V46FIa=V45V46FF
adescendantatapas1
a>V43ap1Ia=arightaadirs1ap1aSomeapAa<V43ap1Ia=aleftaadirs1ap1aSomeapIa=adirs1atIa=apapIa=V43as1F
a=aleftaatas1aSomeas2
a=adirs1at
a=aleftaadirs1ap1aSomeap
a<as2ap1
VC for construct_dirs
a=arightaadirs1ap1aSomeap
a>as2ap1
a>V48ap1Ia=arightaadirs1ap1aSomeV43Aa<V48ap1Ia=aleftaadirs1ap1aSomeV43Ia=adirs1V44Ia=V43V45Ia=V48V47FIa=aleftaV44V46aSomeV47Ia>V49ap1Ia=arightaadirs1ap1aSomeV43Aa<V49ap1Ia=aleftaadirs1ap1aSomeV43Ia=adirs1V44Ia=V43V45Ia=V49V46FAadescendantV44V45V46FF
a>V48ap1Ia=arightaadirs1ap1aSomeV43Aa<V48ap1Ia=aleftaadirs1ap1aSomeV43Ia=adirs1V44Ia=V43V45Ia=V48V47FIa=arightaV44V46aSomeV47Ia>V49ap1Ia=arightaadirs1ap1aSomeV43Aa<V49ap1Ia=aleftaadirs1ap1aSomeV43Ia=adirs1V44Ia=V43V45Ia=V49V46FAadescendantV44V45V46FF
a>V43ap1Ia=arightaadirs1ap1aSomeV44Aa<V43ap1Ia=aleftaadirs1ap1aSomeV44Iadescendantadirs1V44V43FF
a>asap1Ia=arightaadirs1ap1aSomeV43Aa<asap1Ia=aleftaadirs1ap1aSomeV43Iadescendantadirs1V43asF
adescendantadirs1ap2as
a>asap1Ia=arightaadirs1ap1aSomeap2Aa<asap1Ia=aleftaadirs1ap1aSomeap2
a>V45V43Ia=arightaadirs1V43aSomeV44Aa<V45V43Ia=aleftaadirs1V43aSomeV44Iadescendantadirs1V44V45Ia<V43alengthaaAa<=c0V43F
a<aialengthaa
a<=c0ak
a<akalengthaa
a<aaaakaaaai
a=arightaadirs1V46aSomeaiOa=aleftaadirs1V46aSomeaiAa<V46alengthaaAa<=c0V46E
aparentadirs1V46aiAa<V46alengthaaAa<=c0V46E
aparentadirs1V48V46Aa<V48alengthaaAa<=c0V48EIa<aaaV47aaaV46Ia<V47alengthaaAa<=c0V47Ia<V46alengthaaAa<=c0V46F
aparentadirs1V49aiAa<V49alengthaaAa<=c0V49EOais_smallestaaai
aparentadirs1V50V49Aa<V50alengthaaAa<=c0V50EOais_smallestaaV49Ia<V49alengthaaAa<=c0V49F
a<=c0ap2
a<ap2alengthaa
a<=c0as
a<asalengthaa
aparentadirs1ap1as
aparentadirs1ap2as
a=ap1ap2
a=V51V52Iaparentadirs1V52V53Iaparentadirs1V51V53Ia<V53alengthaaAa<=c0V53Ia<V52alengthaaAa<=c0V52Ia<V51alengthaaAa<=c0V51F
aparentadirs1ap1ap2
Na=ap1as
a>c0a+a-anc1c1
Na=V30V32IadescendantadirsV31V32IaparentadirsV30V31Ia<V32alengthaaAa<=c0V32Ia<V31alengthaaAa<=c0V31Ia<V30alengthaaAa<=c0V30FAa=V33V34IaparentadirsV34V35IaparentadirsV33V35Ia<V35alengthaaAa<=c0V35Ia<V34alengthaaAa<=c0V34Ia<V33alengthaaAa<=c0V33FAaparentadirsV37V36Aa<V37alengthaaAa<=c0V37EOais_smallestaaV36Ia<V36alengthaaAa<=c0V36FAaparentadirsV40V38Aa<V40alengthaaAa<=c0V40EIa<aaaV39aaaV38Ia<V39alengthaaAa<=c0V39Ia<V38alengthaaAa<=c0V38FAa>V43V41Ia=arightaadirsV41aSomeV42Aa<V43V41Ia=aleftaadirsV41aSomeV42IadescendantadirsV42V43Ia<V41alengthaaAa<=c0V41FAa>=aaaV45aaaV44Aa<V45alengthaaAa<=c0V45IadescendantadirsV44V45Ia<V44alengthaaAa<=c0V44FAa>aaaV48aaaV46Ia<V48V47Aa<V46V48FAa<V47alengthaaAa<V46V47Aa>aaaV47aaaV46Ia=arightaadirsV46aSomeV47Aa>aaaV49aaaV46Ia<V49V46Aa<V47V49FAa<V47V46Aa<=c0V47Aa>aaaV47aaaV46Ia=aleftaadirsV46aSomeV47Ia<V46alengthaaAa<=c0V46FAa=alengthadirsalengthaa
Na=V25V27IadescendantV23V26V27IaparentV23V25V26Ia<V27alengthV19Aa<=c0V27Ia<V26alengthV19Aa<=c0V26Ia<V25alengthV19Aa<=c0V25FAa=V28V29IaparentV23V29V30IaparentV23V28V30Ia<V30alengthV19Aa<=c0V30Ia<V29alengthV19Aa<=c0V29Ia<V28alengthV19Aa<=c0V28FAaparentV23V32V31Aa<V32alengthV19Aa<=c0V32EOais_smallestV19V31Ia<V31alengthV19Aa<=c0V31FAaparentV23V35V33Aa<V35alengthV19Aa<=c0V35EIa<aV19V34aV19V33Ia<V34alengthV19Aa<=c0V34Ia<V33alengthV19Aa<=c0V33FAa>V38V36Ia=arightaV23V36aSomeV37Aa<V38V36Ia=aleftaV23V36aSomeV37IadescendantV23V37V38Ia<V36alengthV19Aa<=c0V36FAa>=aV19V40aV19V39Aa<V40alengthV19Aa<=c0V40IadescendantV23V39V40Ia<V39alengthV19Aa<=c0V39FAa>aV19V43aV19V41Ia<V43V42Aa<V41V43FAa<V42alengthV19Aa<V41V42Aa>aV19V42aV19V41Ia=arightaV23V41aSomeV42Aa>aV19V44aV19V41Ia<V44V41Aa<V42V44FAa<V42V41Aa<=c0V42Aa>aV19V42aV19V41Ia=aleftaV23V41aSomeV42Ia<V41alengthV19Aa<=c0V41FAa=alengthV23alengthV19Ia>c0a+V24c1ANa=V46V48IadescendantV45V47V48IaparentV45V46V47Ia<V48alengthV19Aa<=c0V48Ia<V47alengthV19Aa<=c0V47Ia<V46alengthV19Aa<=c0V46F
aparentadirsV19ajAa<V19alengthaaAa<=c0V19E
a=alengthaaalengthadirs
a>aaaV22aaaV20Ia<V22V21Aa<V20V22FAa<V21alengthaaAa<V20V21Aa>aaaV21aaaV20Ia=arightaadirsV20aSomeV21Aa>aaaV23aaaV20Ia<V23V20Aa<V21V23FAa<V21V20Aa<=c0V21Aa>aaaV21aaaV20Ia=aleftaadirsV20aSomeV21Ia<V20alengthaaAa<=c0V20F
Na=alengthaac0
a<=c0a+a-alengthaac1c1
a<c0alengthaaAa<=c0c0
aparentadirsV24ajAa<V24alengthaaAa<=c0V24EOaparentadirsc0aj
a<=aia-alengthaac1
a<=c0ares
a<aresalengthaa
aparentadirsV24ajAa<V24alengthaaAa<=aiV24EOaparentadirsaresaj
a<aialengthadirsAa<=c0ai
a=aleftaadirsaiaSomeaj
a=ares1ai
a=arightaadirsaiaSomeaj
a=ares2ai
a<ares2alengthaaAa<=c0ares2
aparentadirsV25ajAa<V25alengthaaAa<=a+aic1V25EOaparentadirsares2aj
a=arightaadirsaiaSomeax
Na=axaj
a<ares1alengthaaAa<=c0ares1
aparentadirsV25ajAa<V25alengthaaAa<=a+aic1V25EOaparentadirsares1aj
a=arightaadirsaiaNone
a=aleftaadirsaiaSomeax
a=arightaadirsaiaSomeax1
Na=ax1aj
a<aresalengthaaAa<=c0ares
aparentadirsV25ajAa<V25alengthaaAa<=a+aic1V25EOaparentadirsaresaj
a=aleftaadirsaiaNone
aparentadirsV24ajAa<V24alengthaaAa<=a+a-alengthaac1c1V24EOaparentadirsaresaj
aparentadirsaresaj
a>c0a+a-alengthaac1c1
aparentadirsc0ajAa<c0alengthaaAa<=c0c0
aparentV20c0V21Aa<c0alengthV19Aa<=c0c0Ia>c0a+V22c1AaparentV20V23V21Aa<V23alengthV19Aa<=c0V23IaparentV20V24V21Aa<V24alengthV19Aa<=a+V22c1V24EOaparentV20V23V21Aa<V23alengthV19Aa<=c0V23ACiCiaparentV20V28V21Aa<V28alengthV19Aa<=a+V25c1V28EOaparentV20V23V21Aa<V23alengthV19Aa<=c0V23aparentV20V30V21Aa<V30alengthV19Aa<=a+V25c1V30EOaparentV20V29V21Aa<V29alengthV19Aa<=c0V29Ia=V29V25Fa=V27V21aSomeVaparentV20V31V21Aa<V31alengthV19Aa<=a+V25c1V31EOaparentV20V23V21Aa<V23alengthV19Aa<=c0V23aNonearightaV20V25Aa<V25alengthV20Aa<=c0V25CiaparentV20V34V21Aa<V34alengthV19Aa<=a+V25c1V34EOaparentV20V32V21Aa<V32alengthV19Aa<=c0V32aparentV20V36V21Aa<V36alengthV19Aa<=a+V25c1V36EOaparentV20V35V21Aa<V35alengthV19Aa<=c0V35Ia=V35V25Fa=V33V21aSomeVaparentV20V37V21Aa<V37alengthV19Aa<=a+V25c1V37EOaparentV20V32V21Aa<V32alengthV19Aa<=c0V32aNonearightaV20V25Aa<V25alengthV20Aa<=c0V25Ia=V32V25Fa=V26V21aSomeVCiaparentV20V39V21Aa<V39alengthV19Aa<=a+V25c1V39EOaparentV20V23V21Aa<V23alengthV19Aa<=c0V23aparentV20V41V21Aa<V41alengthV19Aa<=a+V25c1V41EOaparent
VC for par
a>aaaV21aaaV19Ia<V21V20Aa<V19V21FAa<V20alengthaaAa<V19V20Aa>aaaV20aaaV19Ia=arightaadirsV19aSomeV20Aa>aaaV22aaaV19Ia<V22V19Aa<V20V22FAa<V20V19Aa<=c0V20Aa>aaaV20aaaV19Ia=aleftaadirsV19aSomeV20Ia<V19alengthaaAa<=c0V19F
Na=aaaV23aaaV24Ia<V24alengthaaAa<V23V24Aa<=c0V23F
a<=c0aroot
a<arootalengthaa
ais_smallestaaaroot
aparentadirsV26V25Aa<V26alengthaaAa<=c0V26EOais_smallestaaV25Ia<V25alengthaaAa<=c0V25F
a<arootalengthaaAa<=c0aroot
a<ajalengthaaAa<=c0aj
Na=aaaajaaaaroot
Nais_smallestaaaj
asserted formula
aparentadirsV27ajAa<V27alengthaaAa<=c0V27E
a<=c0aj1
a<aj1alengthaa
a>aaaV28aaaaj1Ia<V28avAa<aj1V28FAa<avalengthaaAa<aj1avAa>aaaavaaaaj1Ia=arightaadirsaj1aSomeavAa>aaaV29aaaaj1Ia<V29aj1Aa<avV29FAa<avaj1Aa<=c0avAa>aaaavaaaaj1Ia=aleftaadirsaj1aSomeav
a<=c0aresult
a<aresultalengthaa
aparentadirsaresultaj
a<a-aaaaresultaaaaroota-aaaajaaaarootAa<=c0a-aaaajaaaaroot
variant decrease
a>aaaV27aaaaj1Ia<V27avAa<aj1V27FAa<avalengthaaAa<aj1avAa>aaaavaaaaj1Ia=arightaadirsaj1aSomeavAa>aaaV28aaaaj1Ia<V28aj1Aa<avV28FAa<avaj1Aa<=c0avAa>aaaavaaaaj1Ia=aleftaadirsaj1aSomeav
a>aaaV29aaaV27Ia<V29V28Aa<V27V29FAa<V28alengthaaAa<V27V28Aa>aaaV28aaaV27Ia=arightaadirsV27aSomeV28Aa>aaaV30aaaV27Ia<V30V27Aa<V28V30FAa<V28V27Aa<=c0V28Aa>aaaV28aaaV27Ia=aleftaadirsV27aSomeV28Ia<V27alengthaaAa<=c0V27F
a<aiaj1
Na=aaaaiaaaaj1
Na=aaaV31aaaV32Ia<V32alengthaaAa<V31V32Aa<=c0V31F
a<arootalengthaaAa<=c0arootAa<aresultalengthaaAa<=c0aresult
aparentadirsV33aiAa<V33alengthaaAa<=c0V33EOais_smallestaaai
adescendantadirsarootV27AaparentadirsV27ajAa<V27alengthaaAa<=c0V27EOa=aaaajaaaaroot
adescendantadirsarootaj
adescendantV20V21V22IadescendantV20V21V23AaparentV20V23V22Aa<V23alengthV19Aa<=c0V23EOa=aV19V22aV19V21AaparentV20V26V25Aa<V26alengthV19Aa<=c0V26EOais_smallestV19V25Ia<V25alengthV19Aa<=c0V25FAais_smallestV19V21Aa<V21alengthV19Aa<=c0V21Aa<V24alengthV19Aa<=c0V24ANa=aV19V27aV19V28Ia<V28alengthV19Aa<V27V28Aa<=c0V27FAa>aV19V31aV19V29Ia<V31V30Aa<V29V31FAa<V30alengthV19Aa<V29V30Aa>aV19V30aV19V29Ia=arightaV20V29aSomeV30Aa>aV19V32aV19V29Ia<V32V29Aa<V30V32FAa<V30V29Aa<=c0V30Aa>aV19V30aV19V29Ia=aleftaV20V29aSomeV30Ia<V29alengthV19Aa<=c0V29FAa=alengthV19alengthV20Aa<a-aV19V24aV19V21a-aV19V22aV19V21Aa<=c0a-aV19V22aV19V21IaparentV20V24V22Aa<V24alengthV19Aa<=c0V24FAa>aV19V35aV19V33Ia<V35V34Aa<V33V35FAa<V34alengthV19Aa<V33V34Aa>aV19V34aV19V33Ia=arightaV20V33aSomeV34Aa>aV19V36aV19V33Ia<V36V33Aa<V34V36FAa<V34V33Aa<=c0V34Aa>aV19V34aV19V33Ia=aleftaV20V33aSomeV34Ia<V33alengthV19Aa<=c0V33FAa=alengthV19alengthV20AaparentV20V37V22Aa<V37alengthV19Aa<=c0V37EINa=aV19V22aV19V21Aa<V22alengthV19Aa<=c0V22Aa<V21alengthV19Aa<=c0V21IaparentV20V
VC for all_descendant_root
asortedaConsV3V4IasortedV4Aa>=V3V5IamemV5V4FF
a>=V6V8IamemV8V7FIasortedaConsV6V7F
asortedV10IasortedaConsV9V10F
asorteda++V11V12Ia>=V13V14IamemV14V12IamemV13V11FAasortedV12AasortedV11F
asortedV15Iasorteda++V15V16F
asortedV18Iasorteda++V17V18F
a>=V21V22IamemV22V20IamemV21V19FIasorteda++V19V20F
a=adestructV23aTuple2V24V25Ia=V23aConsV24V25FINais_nilV23F
Na=V26aNilINais_nilV26F
a=apeekV27V28Ia=adestructV27aTuple2V28V29FINais_nilV27F
amemapeekV30V30INais_nilV30F
a=atailV31V33Ia=adestructV31aTuple2V32V33FINais_nilV31F
a=V34aConsapeekV34atailV34INais_nilV34F
adescendantV36V37V38IaparentV36V40V39Aa<V40alengthV35Aa<=c0V40EOais_smallestV35V39Ia<V39alengthV35Aa<=c0V39FIais_smallestV35V37Ia<V37alengthV35Aa<=c0V37Aa<V38alengthV35Aa<=c0V38INa=aV35V41aV35V42Ia<V42alengthV35Aa<V41V42Aa<=c0V41FIa>aV35V45aV35V43Ia<V45V44Aa<V43V45FAa<V44alengthV35Aa<V43V44Aa>aV35V44aV35V43Ia=arightaV36V43aSomeV44Aa>aV35V46aV35V43Ia<V46V43Aa<V44V46FAa<V44V43Aa<=c0V44Aa>aV35V44aV35V43Ia=aleftaV36V43aSomeV44Ia<V43alengthV35Aa<=c0V43FIa=alengthV35alengthV36F
tIa<=c0a+V48c1La-alengthV47c1F
a<V50alengthV47Aa<=c0V50Ia=V49aSomeV51FICa<=aV47V52aV47V53Ia<V53V50Aa<=c0V53FAa<V52alengthV47Aa<=c0V52aSomeVa=V50c0aNoneV49Aa<=V50V48Aa<=c0V50FFIa<=c0a+V48c1La-alengthV47c1F
a<V51alengthV47Aa<=c0V51Ia=V49aSomeV51FICa<=aV47V52aV47V53Ia<V53V50Aa<=c0V53FAa<V52alengthV47Aa<=c0V52aSomeVa=V50c0aNoneV49Aa<=V50V48Aa<=c0V50FFIa<=c0a+V48c1La-alengthV47c1F
Ca<=aV47V53aV47V54Ia<V54a+V50c1Aa<=c0V54FAa<V53alengthV47Aa<=c0V53aSomeVa=a+V50c1c0aNoneV52Ia=V52aSomeV50FIa>aV47V51aV47V50Ia=V49aSomeV51FICa<=aV47V55aV47V56Ia<V56V50Aa<=c0V56FAa<V55alengthV47Aa<=c0V55aSomeVa=V50c0aNoneV49Aa<=V50V48Aa<=c0V50FFIa<=c0a+V48c1La-alengthV47c1F
Ca<=aV47V52aV47V53Ia<V53a+V50c1Aa<=c0V53FAa<V52alengthV47Aa<=c0V52aSomeVa=a+V50c1c0aNoneV49INa>aV47V51aV47V50Ia=V49aSomeV51FICa<=aV47V54aV47V55Ia<V55V50Aa<=c0V55FAa<V54alengthV47Aa<=c0V54aSomeVa=V50c0aNoneV49Aa<=V50V48Aa<=c0V50FFIa<=c0a+V48c1La-alengthV47c1F
Ca<=aV47V52aV47V53Ia<V53a+V50c1Aa<=c0V53FAa<V52alengthV47Aa<=c0V52aSomeVa=a+V50c1c0aNoneV51Ia=V51aSomeV50FIa=V49aNoneICa<=aV47V54aV47V55Ia<V55V50Aa<=c0V55FAa<V54alengthV47Aa<=c0V54aSomeVa=V50c0aNoneV49Aa<=V50V48Aa<=c0V50FFIa<=c0a+V48c1La-alengthV47c1F
Cais_smallestV47V50aSomeVa=alengthV47c0aNoneV49ICa<=aV47V51aV47V52Ia<V52a+V48c1Aa<=c0V52FAa<V51alengthV47Aa<=c0V51aSomeVa=a+V48c1c0aNoneV49FIa<=c0a+V48c1La-alengthV47c1F
a=alengthV47c0Ia>c0a+V48c1La-alengthV47c1F
adescendantV20V21V22IaparentV20V24V23Aa<V24alengthV19Aa<=c0V24EOais_smallestV19V23Ia<V23alengthV19Aa<=c0V23FIais_smallestV19V21Ia<V21alengthV19Aa<=c0V21Aa<V22alengthV19Aa<=c0V22INa=aV19V25aV19V26Ia<V26alengthV19Aa<V25V26Aa<=c0V25FIa>aV19V29aV19V27Ia<V29V28Aa<V27V29FAa<V28alengthV19Aa<V27V28Aa>aV19V28aV19V27Ia=arightaV20V27aSomeV28Aa>aV19V30aV19V27Ia<V30V27Aa<V28V30FAa<V28V27Aa<=c0V28Aa>aV19V28aV19V27Ia=aleftaV20V27aSomeV28Ia<V27alengthV19Aa<=c0V27FIa=alengthV19alengthV20F
a=alengthV31c0Ia>c0a+V32c1ACais_smallestV31V34aSomeVa=alengthV31c0aNoneV33ICa<=aV31V35aV31V36Ia<V36a+V32c1Aa<=c0V36FAa<V35alengthV31Aa<=c0V35aSomeVa=a+V32c1c0aNoneV33ACiCa<=aV31V39aV31V40Ia<V40a+V37c1Aa<=c0V40FAa<V39alengthV31Aa<=c0V39aSomeVa=a+V37c1c0aNoneV33Ca<=aV31V42aV31V43Ia<V43a+V37c1Aa<=c0V43FAa<V42alengthV31Aa<=c0V42aSomeVa=a+V37c1c0aNoneV41Ia=V41aSomeV37Fa>aV31V38aV31V37Aa<V38alengthV31Aa<=c0V38Aa<V37alengthV31Aa<=c0V37aSomeVCa<=aV31V45aV31V46Ia<V46a+V37c1Aa<=c0V46FAa<V45alengthV31Aa<=c0V45aSomeVa=a+V37c1c0aNoneV44Ia=V44aSomeV37FwV33ICa<=aV31V47aV31V48Ia<V48V37Aa<=c0V48FAa<V47alengthV31Aa<=c0V47aSomeVa=V37c0aNoneV33Aa<=V37V32Aa<=c0V37FFAtIa<=c0a+V32c1La-alengthV31c1F
VC for find_smaller
adescendantV31V32V37Ia=V31V34Ia=V33V35Ia=V37V36FIa=V35V36FIaparentV31V32V33F
adescendantV31V32V38Ia=V31V34Ia=V33V35Ia=V38V37FIa=aleftaV34V36aSomeV37IadescendantV31V32V39Ia=V31V34Ia=V33V35Ia=V39V36FAadescendantV34V35V36FIaparentV31V32V33F
adescendantV31V32V38Ia=V31V34Ia=V33V35Ia=V38V37FIa=arightaV34V36aSomeV37IadescendantV31V32V39Ia=V31V34Ia=V33V35Ia=V39V36FAadescendantV34V35V36FIaparentV31V32V33F
adescendantV31V32V34IadescendantV31V33V34IaparentV31V32V33F
adescendantV35V41V40AaparentV35V36V41EOa=V36V40Ia=V35V37Ia=V36V38Ia=V40V39FIa=V38V39FF
adescendantat1V36V35Aaparentat1ap1V36EOa=ap1V35Ia=at1atIa=ap1apIa=V35as1F
a=asas2
a=ap1ap
a=at1at
a=ap1as1
adescendantat1asasAaparentat1ap1as
adescendantat1V37asAaparentat1ap1V37E
right case
adescendantat1V37asAaparentat1ap1V37EOa=ap1as
true case
Na=ap1as1
false case
adescendantV35V42V41AaparentV35V36V42EOa=V36V41Ia=V35V37Ia=V36V38Ia=V41V40FIa=aleftaV37V39aSomeV40IadescendantV35V44V43AaparentV35V36V44EOa=V36V43Ia=V35V37Ia=V36V38Ia=V43V39FAadescendantV37V38V39FF
a=arightaatas1aSomeas2
adescendantV35V42V41AaparentV35V36V42EOa=V36V41Ia=V35V37Ia=V36V38Ia=V41V40FIa=arightaV37V39aSomeV40IadescendantV35V44V43AaparentV35V36V44EOa=V36V43Ia=V35V37Ia=V36V38Ia=V43V39FAadescendantV37V38V39FF
adescendantV35V38V37AaparentV35V36V38EOa=V36V37IadescendantV35V36V37F
a<V39V41Ia<V40V41Ia<V39V40F
asorted1aConsV42V43qasorted1V43Aa<V42V44IamemV44V43FF
asorted1a++V45V46qa<V47V48IamemV48V46IamemV47V45FAasorted1V46Aasorted1V45F
a=alengthadirsalengthaa
a<=asae
a<=aealengthaa
a>V51V49Ia=arightaadirsV49aSomeV50Aa<V51V49Ia=aleftaadirsV49aSomeV50IadescendantadirsV50V51Ia<V49alengthaaAa<=c0V49F
Na=aaaV52aaaV53Ia<V53alengthaaAa<V52V53Aa<=c0V52F
Ca<V55aeAa<=asV55qadescendantadirsV54V55FaSomeVa=asaeaNoneatop
a=atopaSomeax
adescendantadirsaxax
a<=asax
VC for traversal
a<axae
a<axaeAa<=asaxItOadescendantadirsaxax
a<axalengthadirsAa<=c0ax
a<a-aea+axc1a-aeasAa<=c0a-aeas
a<=aealengthaaAa<=a+axc1aeAa<=c0a+axc1
adescendantadirsap2as1
a>as1ap1Ia=arightaadirsap1aSomeap2Aa<as1ap1Ia=aleftaadirsap1aSomeap2
a>V58V56Ia=arightaadirsV56aSomeV57Aa<V58V56Ia=aleftaadirsV56aSomeV57IadescendantadirsV57V58Ia<V56alengthaaAa<=c0V56F
a<aiaj
Na=aaaaiaaaaj
adescendantV31V32V34IadescendantV31V33V34Ia=arightaV31V32aSomeV33Oa=aleftaV31V32aSomeV33F
a<=c0a+axc1
a<=a+axc1ae
Na=aaaV59aaaV60Ia<V60alengthaaAa<V59V60Aa<=c0V59F
a=arightadiraSomeax1
adescendantadirsax1ason
a<=a+axc1ason
a<asonae
adescendantadirsaxason
a=arightadiraNone
a=a+axc1ae
true case (precondition)
Na=a+axc1ae
adescendantadirsaxa+axc1
false case (precondition)
Ca<V62aeAa<=a+axc1V62qadescendantadirsV61V62FaSomeVa=a+axc1aeaNonearightadir
a<V56aeAa<=a+axc1V56qamemV56aoF
asorted1ao
a<a-axasa-aeasAa<=c0a-aeas
a<=axalengthaaAa<=asaxAa<=c0as
a>V59V57Ia=arightaadirsV57aSomeV58Aa<V59V57Ia=aleftaadirsV57aSomeV58IadescendantadirsV58V59Ia<V57alengthaaAa<=c0V57F
a<=axalengthaa
Na=aaaV60aaaV61Ia<V61alengthaaAa<V60V61Aa<=c0V60F
a=aleftadiraSomeax1
a<=asason
a<asonax
a=aleftadiraNone
a=asax
Na=asax
adescendantadirsaxas
adescendantV47V48V50IadescendantV47V49V50IaparentV47V48V49F
adescendantV51V54V53AaparentV51V52V54EOa=V52V53IadescendantV51V52V53F
a<V55V57Ia<V56V57Ia<V55V56F
asorted1aConsV58V59Iasorted1V59Aa<V58V60IamemV60V59FF
a<V61V63IamemV63V62FIasorted1aConsV61V62F
asorted1V65Iasorted1aConsV64V65F
asorted1a++V66V67Ia<V68V69IamemV69V67IamemV68V66FAasorted1V67Aasorted1V66F
asorted1V70Iasorted1a++V70V71F
asorted1V73Iasorted1a++V72V73F
a<V76V77IamemV77V75IamemV76V74FIasorted1a++V74V75F
a<V80V78Ia=aleftaadirsV78aSomeV79IadescendantadirsV79V80Ia<V78alengthaaAa<=c0V78F
a>V83V81Ia=arightaadirsV81aSomeV82IadescendantadirsV82V83Ia<V81alengthaaAa<=c0V81F
Na=aaaV84aaaV85Ia<V85alengthaaAa<V84V85Aa<=c0V84F
a<=asV87IadescendantadirsV86V87FIa=atopaSomeV86F
a<V89aeIadescendantadirsV88V89FIa=atopaSomeV88F
adescendantadirsV90V91Ia<V91aeAa<=asV91FIa=atopaSomeV90F
a=asaeIa=atopaNone
a<=a+axc1V92IamemV92aoF
a<V93aeIamemV93aoF
amemV94aoIa<V94aeAa<=a+axc1V94F
a<V97V95Ia=aleftaadirsV95aSomeV96IadescendantadirsV96V97Ia<V95alengthaaAa<=c0V95F
a>V100V98Ia=arightaadirsV98aSomeV99IadescendantadirsV99V100Ia<V98alengthaaAa<=c0V98F
Na=aaaV101aaaV102Ia<V102alengthaaAa<V101V102Aa<=c0V101F
Ca<V63axAa<=asV63qadescendantadirsV62V63FaSomeVa=asaxaNonealeftadir
a=atopaNone
a=aresultaNil
a<axaeAa<=asaxqamemaxaresult
a=aresulta++aoaConsaxao1Aasorted1aoAa<V56axAa<=asV56qamemV56aoFAasorted1ao1Aa<V57aeAa<=a+axc1V57qamemV57ao1FAa<axaeAa<=asax
a<ax1aeAa<=asax1qamemax1aresult
Ca=aresultaNilaNonea=aresulta++aoaConsV56ao1Aasorted1aoAa<V57V56Aa<=asV57qamemV57aoFAasorted1ao1Aa<V58aeAa<=a+V56c1V58qamemV58ao1FAa<V56aeAa<=asV56aSomeVatop
a<V59aeAa<=asV59qamemV59aresultF
asorted1aConsaxao1
asorted1aresult
asorted1V54Aa<V55V53Aa<=V52V55qamemV55V54FICa=V54aNilaNonea=V54a++V58aConsV56V57Aasorted1V58Aa<V59V56Aa<=V52V59qamemV59V58FEAasorted1V57Aa<V60V53Aa<=a+V56c1V60qamemV60V57FEAa<V56V53Aa<=V52V56ItOadescendantV50V56V56aSomeVV51FACtaNoneCa<V66V61Aa<=V52V66qadescendantV50V65V66FaSomeVa=V52V61aNonealeftV62ANa=aV49V67aV49V68Ia<V68alengthV49Aa<V67V68Aa<=c0V67FAa>V71V69Ia=arightaV50V69aSomeV70Aa<V71V69Ia=aleftaV50V69aSomeV70IadescendantV50V70V71Ia<V69alengthV49Aa<=c0V69FAa<=V61alengthV49Aa<=V52V61Aa<=c0V52Aa=alengthV50alengthV49Aa<a-V61V52a-V53V52Aa<=c0a-V53V52Iasorted1V64Aa<V72V53Aa<=V63V72qamemV72V64FFACa<V74V53Aa<=V63V74qadescendantV50V73V74FaSomeVa=V63V53aNonearightV62ANa=aV49V75aV49V76Ia<V76alengthV49Aa<V75V76Aa<=c0V75FAa>V79V77Ia=arightaV50V77aSomeV78Aa<V79V77Ia=aleftaV50V77aSomeV78IadescendantV50V78V79Ia<V77alengthV49Aa<=c0V77FAa<=V53alengthV49Aa<=V63V53Aa<=c0V63Aa=alengthV50alengthV49Aa<a-V53V63a-V53V52Aa<=c0a-V53V52La+V61c1LaV50V61Aa<V61alengthV50Aa<=c0V61Ia<V61V53Aa<=V52V61ItOadescendantV50V61V61Aa<V61V53Aa<=
Na=aaaV49aaaV50Ia<V50alengthaaAa<V49V50Aa<=c0V49F
Cais_smallestaaV51aSomeVa=alengthaac0aNonearesult
a=alengtharesult1alengthaa
a>aaaV54aaaV52Ia<V54V53Aa<V52V54FAa<V53alengthaaAa<V52V53Aa>aaaV53aaaV52Ia=arightaaresult1V52aSomeV53Aa>aaaV55aaaV52Ia<V55V52Aa<V53V55FAa<V53V52Aa<=c0V53Aa>aaaV53aaaV52Ia=aleftaaresult1V52aSomeV53Ia<V52alengthaaAa<=c0V52F
a>=aaaV57aaaV56Aa<V57alengthaaAa<=c0V57Iadescendantaresult1V56V57Ia<V56alengthaaAa<=c0V56F
a>V60V58Ia=arightaaresult1V58aSomeV59Aa<V60V58Ia=aleftaaresult1V58aSomeV59Iadescendantaresult1V59V60Ia<V58alengthaaAa<=c0V58F
aparentaresult1V63V61Aa<V63alengthaaAa<=c0V63EIa<aaaV62aaaV61Ia<V62alengthaaAa<=c0V62Ia<V61alengthaaAa<=c0V61F
aparentaresult1V65V64Aa<V65alengthaaAa<=c0V65EOais_smallestaaV64Ia<V64alengthaaAa<=c0V64F
a=V66V67Iaparentaresult1V67V68Iaparentaresult1V66V68Ia<V68alengthaaAa<=c0V68Ia<V67alengthaaAa<=c0V67Ia<V66alengthaaAa<=c0V66F
Na=V69V71Iadescendantaresult1V70V71Iaparentaresult1V69V70Ia<V71alengthaaAa<=c0V71Ia<V70alengthaaAa<=c0V70Ia<V69alengthaaAa<=c0V69F
a<=alengthaaalengthaaAa<=c0alengthaaAa<=c0c0
adescendantaresult1ap2as
a>asap1Ia=arightaaresult1ap1aSomeap2Aa<asap1Ia=aleftaaresult1ap1aSomeap2
a>V74V72Ia=arightaaresult1V72aSomeV73Aa<V74V72Ia=aleftaaresult1V72aSomeV73Iadescendantaresult1V73V74Ia<V72alengthaaAa<=c0V72F
a=alengtharesultalengthaa
a>aaaV53aaaV51Ia<V53V52Aa<V51V53FAa<V52alengthaaAa<V51V52Aa>aaaV52aaaV51Ia=arightaaresultV51aSomeV52Aa>aaaV54aaaV51Ia<V54V51Aa<V52V54FAa<V52V51Aa<=c0V52Aa>aaaV52aaaV51Ia=aleftaaresultV51aSomeV52Ia<V51alengthaaAa<=c0V51F
a>=aaaV56aaaV55Aa<V56alengthaaAa<=c0V56IadescendantaresultV55V56Ia<V55alengthaaAa<=c0V55F
a>V59V57Ia=arightaaresultV57aSomeV58Aa<V59V57Ia=aleftaaresultV57aSomeV58IadescendantaresultV58V59Ia<V57alengthaaAa<=c0V57F
aparentaresultV62V60Aa<V62alengthaaAa<=c0V62EIa<aaaV61aaaV60Ia<V61alengthaaAa<=c0V61Ia<V60alengthaaAa<=c0V60F
aparentaresultV64V63Aa<V64alengthaaAa<=c0V64EOais_smallestaaV63Ia<V63alengthaaAa<=c0V63F
a=V65V66IaparentaresultV66V67IaparentaresultV65V67Ia<V67alengthaaAa<=c0V67Ia<V66alengthaaAa<=c0V66Ia<V65alengthaaAa<=c0V65F
Na=V68V70IadescendantaresultV69V70IaparentaresultV68V69Ia<V70alengthaaAa<=c0V70Ia<V69alengthaaAa<=c0V69Ia<V68alengthaaAa<=c0V68F
a<=c0c0
a<=c0alengthaa
a<=alengthaaalengthaa
a>V73V71Ia=arightaaresultV71aSomeV72Aa<V73V71Ia=aleftaaresultV71aSomeV72IadescendantaresultV72V73Ia<V71alengthaaAa<=c0V71F
Na=aaaV74aaaV75Ia<V75alengthaaAa<V74V75Aa<=c0V74F
Cais_smallestaaV76aSomeVa=alengthaac0aNoneaSomeax
adescendantaresultaxason
a<=c0ason
a<asonalengthaa
Cais_smallestaaV51aSomeVa=alengthaac0aNoneaNone
a>aaaV54aaaV52Ia<V54V53Aa<V52V54FAa<V53alengthaaAa<V52V53Aa>aaaV53aaaV52Ia=arightaaresultV52aSomeV53Aa>aaaV55aaaV52Ia<V55V52Aa<V53V55FAa<V53V52Aa<=c0V53Aa>aaaV53aaaV52Ia=aleftaaresultV52aSomeV53Ia<V52alengthaaAa<=c0V52F
a>=aaaV57aaaV56Aa<V57alengthaaAa<=c0V57IadescendantaresultV56V57Ia<V56alengthaaAa<=c0V56F
a>V60V58Ia=arightaaresultV58aSomeV59Aa<V60V58Ia=aleftaaresultV58aSomeV59IadescendantaresultV59V60Ia<V58alengthaaAa<=c0V58F
aparentaresultV63V61Aa<V63alengthaaAa<=c0V63EIa<aaaV62aaaV61Ia<V62alengthaaAa<=c0V62Ia<V61alengthaaAa<=c0V61F
aparentaresultV65V64Aa<V65alengthaaAa<=c0V65EOais_smallestaaV64Ia<V64alengthaaAa<=c0V64F
a=V66V67IaparentaresultV67V68IaparentaresultV66V68Ia<V68alengthaaAa<=c0V68Ia<V67alengthaaAa<=c0V67Ia<V66alengthaaAa<=c0V66F
Na=V69V71IadescendantaresultV70V71IaparentaresultV69V70Ia<V71alengthaaAa<=c0V71Ia<V70alengthaaAa<=c0V70Ia<V69alengthaaAa<=c0V69F
a>V74V72Ia=arightaaresultV72aSomeV73Aa<V74V72Ia=aleftaaresultV72aSomeV73IadescendantaresultV73V74Ia<V72alengthaaAa<=c0V72F
Na=aaaV75aaaV76Ia<V76alengthaaAa<V75V76Aa<=c0V75F
a=c0alengthaa
Ca<V78alengthaaAa<=c0V78qadescendantaresult1V77V78FaSomeVa=c0alengthaaaNonearesult
a<V72alengthaaAa<=c0V72qamemV72aresult2F
asorted1aresult2
a<axalengthaaAa<=c0axqamemaxaresult2
a<V73alengthaaAa<=c0V73qamemV73aresult2F
asorted1V53Aa<V54alengthV49Aa<=c0V54qamemV54V53FIasorted1V53Aa<V55V50Aa<=c0V55qamemV55V53FFACa<V57V50Aa<=c0V57qadescendantV52V56V57FaSomeVa=c0V50aNoneV51ANa=aV49V58aV49V59Ia<V59alengthV49Aa<V58V59Aa<=c0V58FAa>V62V60Ia=arightaV52V60aSomeV61Aa<V62V60Ia=aleftaV52V60aSomeV61IadescendantV52V61V62Ia<V60alengthV49Aa<=c0V60FAa<=V50alengthV49Aa<=c0V50Aa<=c0c0Aa=alengthV52alengthV49INa=V63V65IadescendantV52V64V65IaparentV52V63V64Ia<V65alengthV49Aa<=c0V65Ia<V64alengthV49Aa<=c0V64Ia<V63alengthV49Aa<=c0V63FAa=V66V67IaparentV52V67V68IaparentV52V66V68Ia<V68alengthV49Aa<=c0V68Ia<V67alengthV49Aa<=c0V67Ia<V66alengthV49Aa<=c0V66FAaparentV52V70V69Aa<V70alengthV49Aa<=c0V70EOais_smallestV49V69Ia<V69alengthV49Aa<=c0V69FAaparentV52V73V71Aa<V73alengthV49Aa<=c0V73EIa<aV49V72aV49V71Ia<V72alengthV49Aa<=c0V72Ia<V71alengthV49Aa<=c0V71FAa>V76V74Ia=arightaV52V74aSomeV75Aa<V76V74Ia=aleftaV52V74aSomeV75IadescendantV52V75V76Ia<V74alengthV49Aa<=c0V74FAa>=aV49V78aV49V77Aa<V78alengthV49Aa<=c0V78IadescendantV52V77V78Ia<V77alengthV49Aa<=c0V77FAa>aV
VC for in_order

8ae8a6809ab24c402b21c122931169f1 1H0
64b2b301988f2f2321b5eb4a5873be5e 5H4H3H2H0
fed22b09ed67aac1dcd49100124f55f2 8H7H6H3H2H0
c6362b34a0fc59fd33719e8f3c136c3d 12H11H10H9H6H3H2H0
c35c5d4f6b6ded13b8560642a015c818 1H14H13H10H9H6H3H2H0
6ba967520c467dd80403b5a97156a1e8 152H151H14H13H10H9H6H3H2H0
896c3f4667175cbbd7229f90e1b19fe0 16H15H14H13H10H9H6H3H2H0
54a7b09ce50a7d354a71d45d36115d78 22H21H20H19H18H17H14H13H10H9H6H3H2H0
f2d22942c7886d799e0d06bfff1b4abb 22H25H24H23H19H18H17H14H13H10H9H6H3H2H0
ed08869ec1ba36b751f98336207ab790 22H28H27H26H23H19H18H17H14H13H10H9H6H3H2H0
1f1bf54f99562027f9e44d58f599096f 22H30H29H26H23H19H18H17H14H13H10H9H6H3H2H0
87e7817a7dca677ca0eb6728273d8038 22H33H32H31H30H29H26H23H19H18H17H14H13H10H9H6H3H2H0
604743ec0523e1119f29d249e4835a10 22H36H35H32H31H34H30H29H26H23H19H18H17H14H13H10H9H6H3H2H0
7ed2cc8fc624e83e09f6bd4c900a52c4 22H40H39H38H37H34H30H29H26H23H19H18H17H14H13H10H9H6H3H2H0
f41290f6ed864c2e3014b2b115ed30b2 22H44H43H42H32H31H41H37H34H30H29H26H23H19H18H17H14H13H10H9H6H3H2H0
43514c629a0bddfa83eb9ee19cd7801b 22H57H56H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
332a8acece4c9a42bd4ba4eb4d28e459 22H51H58H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
554583893e8e227d5cf2ad525008e00a 22H59H56H51H58H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
bcb9b0206df96a6324bcc68a30eff947 22H62H56H61H60H51H58H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
24725e375137f17065ec85459d377336 22H66H65H64H61H63H60H51H58H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
a530cd3f5330f0c0f9942829c8af4a2f 22H66H65H38H68H67H63H60H51H58H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
c144968bc69a883ecfc1b7037528c512 78H77H76H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
59d6f62ecf88dcee88b6eb33a83f623a 79H76H76H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
5791aa47104ffcf4f9ea0bdf0a03d519 78H81H80H76H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
52e5fec6269f2996a06e71f0e71b859c 79H76H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
4717f11860607ce3317ac962bf50b8f3 86H85H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
b56019b964111c22308a298b9475b845 88H57H87H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
a6903c91cf0699e5c3903d73c822ab09 88H90H89H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
9b02471c81a0778cd98245608c91e3d5 88H91H56H90H89H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
331c0aff21c8c58f3b8b391ae772f23c 88H94H87H93H92H90H89H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
9f53e6fafb5319d25d419f5a9f4af281 88H66H65H96H93H95H92H90H89H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
2747bc078fb875d536acf2f9eba888e1 88H66H65H38H98H97H95H92H90H89H84H83H76H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
91fdbe9ba839154a300b2cd75b826496 101H100H76H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
2858b128436d550e7d8dcba865ec937e 78H104H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
b910965f6b76811b6488c09a9274d95d 101H109H108H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
ce1d61ca33b714f71cb91707b07f10dc 88H112H87H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
018e900fd51f55366156554f20d6d26e 88H114H98H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
e6826b3092100a3dd0e24d5ac6462790 88H116H93H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
ac4f9997c268bad709ca81650aaf0f96 88H90H117H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
bc205b2b739b1ddb365535ff858cc86f 88H119H118H31H90H117H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
e0bee5e7ba0614a780744377f86c567a 88H122H121H118H31H120H90H117H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
5cc945d5a370184c128ca96d2e236ef9 88H125H124H38H123H120H90H117H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
eba7c069db307151984553f008cfc151 88H44H43H127H118H31H126H123H120H90H117H115H113H111H110H107H106H105H103H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
fa421588528fb7346629d020a197c39a 79H76H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
c0f8db2ef18373b8bad2ea9db4b20caf 78H104H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
765945dc6d9b9ed7162ed9f59cb54155 101H109H108H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
c5e64320c0e44c9d8306eb8c57266fb7 88H112H87H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
0144ed6f7a16733c780ad6380b4ed323 88H114H98H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
002e92a84cc133fe38ca7e3c4c9df9f5 88H116H93H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
a9c7c37396ebf26e1ba8dd9653343335 88H90H117H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
f20fac7e462a8178619ed8dede2ad8e4 88H119H118H31H90H117H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
e53fab81a4dcf0bee08e7008026c2e86 88H122H121H118H31H120H90H117H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
e70a2fc60ca0070a579c33ab56526686 88H125H124H38H123H120H90H117H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
421ec14bb37d9f0c94e6da67cefa5af8 88H44H43H127H118H31H126H123H120H90H117H115H113H111H110H129H128H105H80H76H75H102H99H82H75H74H73H72H71H70H69H55H54H53H52H51H50H49H48H47H46H45H19H18H17H14H13H10H9H6H3H2H0
cbaf1dead37c1784ea84e1d463b5ee98 139H138H137H31H136H135H134H133H51H132H131H130H45H19H18H17H14H13H10H9H6H3H2H0
351636c72f1074469bd8f508eaf73f17 139H142H141H137H31H140H136H135H134H133H51H132H131H130H45H19H18H17H14H13H10H9H6H3H2H0
9183a8334c4082c8f83c03c85611f406 139H66H65H145H144H46H143H140H136H135H134H133H51H132H131H130H45H19H18H17H14H13H10H9H6H3H2H0
f60c5ccdb0aac5ca411cbb1bc83d439d 139H147H146H143H140H136H135H134H133H51H132H131H130H45H19H18H17H14H13H10H9H6H3H2H0
b8317d95499ebd88eee28eea07d57e5e 150H149H148H18H17H14H13H10H9H6H3H2H0
aa6fc496c53242e113bf3ba5c70d5e80 240H271H14H13H10H9H6H3H2H0
2892893a2297440b69ade8d5ddeb540b 16H15H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
46f6627337cced05f0a2efebc80c0091 22H167H166H165H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
f6252cffa4d887e4e55420fa71634fe1 22H170H169H165H168H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
48d4f34967544bcbfb9e806328ce6fc1 22H174H173H172H166H165H171H168H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
5a3943f81097caf83fbf2dd1e1ce6ac5 78H181H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
f535ea1478ade1adcecb8b3874b334fc 78H182H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
d6297edb11ab8472a4dc3453357485ba 78H185H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
b770f2318abffc5a938c024d4b67d989 78H186H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
4e6751b1c927e44b093758a166e9df11 78H188H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
4e6751b1c927e44b093758a166e9df11 78H188H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
557021e141650fe5089a5eb73f509550 88H193H166H165H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
19417f2e21fcd770bdd9eaa0bd319d7c 194H193H192H166H165H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
b9297dfe4465c9ab8d2221832bbbb105 196H193H195H166H165H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
9f4fa748b5bc612c50d66d4bf6d2dbf0 88H199H198H165H197H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
e56bfcb9d00a72ffc59a1a163a11c19b 88H202H173H172H166H165H200H197H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
cb5a41d7fc9797be6389c59b785d70c9 194H202H201H173H172H166H165H200H197H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
d9b00bdd41c7b70ab5e0c2e7bfeb3375 196H202H203H173H172H166H165H200H197H191H190H189H187H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
86ed6a29eb3bba2b7abfda3d9e9f1bd1 78H205H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
86ed6a29eb3bba2b7abfda3d9e9f1bd1 78H205H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
1c499db9c14d249c31a91a02ee67bdaf 88H193H166H165H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
622a0a92d0a421bb8cf57632bee415c2 194H193H208H166H165H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
291edf6790e4b2d537ee0acddc97d233 196H193H209H166H165H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
b6c3db6fffe6029b7083796963a294d0 88H199H198H165H197H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
6bc2cd38408e8d8d1e779fe4a4ce46be 88H202H173H172H166H165H200H197H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
04d8b5db38850678a9bbfa2ef603ea7c 194H202H210H173H172H166H165H200H197H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
8429f8c39b9a8f704e8621f2a5244381 196H202H211H173H172H166H165H200H197H207H206H189H204H184H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
319c9e85c1cd9f5131112428377cb13a 78H188H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
319c9e85c1cd9f5131112428377cb13a 78H188H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
3cf88a2cc068b155ec0e241e8a049b48 88H193H166H165H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
c46c3b3350397e030c18546b3448d416 194H193H192H166H165H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
a43ec715c63d50c819f76d2a7ede7d9e 196H193H195H166H165H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
6d2775577ba65ec4bdd4ebdd9a965412 88H199H198H165H197H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
e1c6b106cd4b8793af3ce77895a42669 88H202H173H172H166H165H200H197H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
862c5d5d4748016ba6af42c99c94f8e8 194H202H201H173H172H166H165H200H197H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
ee62ab2b673d4c60fc5bd45e87300b2d 196H202H203H173H172H166H165H200H197H191H190H189H212H183H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
660d484d3a524f85a9237af2ddecfe60 78H205H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
660d484d3a524f85a9237af2ddecfe60 78H205H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
0b927c753bdc1ab28cfa3ad175066b07 88H193H166H165H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
67c951f8d8b85c1801ba6070581b4a95 194H193H208H166H165H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
8b886facc148a604378df6d053ec75ac 196H193H209H166H165H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
b407dc5ef506288d0338b529aa646037 88H199H198H165H197H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
4456dde8ab7526e9137fe53d055790b6 88H202H173H172H166H165H200H197H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
27c3c6166b9b1cf8f1964b5411da29e0 194H202H210H173H172H166H165H200H197H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
36728b655410b7afb8ff4a89fe95ad98 196H202H211H173H172H166H165H200H197H207H206H189H184H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
1eeafd1a3d3e70ecccd2694665d70442 88H214H166H165H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
94b0c77f09214245b899e73f49323384 194H214H208H166H165H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
4bca678bb2ca178030e9251955d448cf 196H214H209H166H165H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
54e284435cc4220d431fc2ba9b9a6cec 88H216H198H165H215H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
c247a29f6c10e1268293ac4f5807e5a3 88H218H173H172H166H165H217H215H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
27d5a2e17377da50ee35c682e21ec5ba 194H218H210H173H172H166H165H217H215H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
94d75997a932a3ac0d2c87aa295c4bf0 196H218H211H173H172H166H165H217H215H212H213H180H179H178H177H176H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
ae3da1f22cdb5e5053ec8be560fe2bd3 139H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
9e70d4b7d0aa8785d49ecc1581b9f192 139H221H166H165H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
5d196ab24205c8ed5c5442ec582a9bb8 139H229H228H173H172H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
9307ce3e98f07bc6ec914c1ea7b50ce2 139H227H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
0c8ba519342fe087a3ce0cfe29861c8b 139H226H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
2072cb4dff1b8ff546056ee3481cef97 139H223H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
658c0d7c11748a29979193dbfa65a547 139H224H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
f08489d0263a38cb47a29be8c368bf4e 139H225H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
d5dbd74ca2877d2f59c41206059dd0af 139H248H247H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
30ea782482aad613774a00a9e1539bd8 139H246H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
c556b9a661851f543e5fb1f17c92cc42 139H245H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
badb260711c68a62d95f30890a6a1891 139H233H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
0515604e59fed07db92d640e0c07eb6c 139H243H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
c3e0a4b95e3cd9bcff5f106bb2f786c1 240H239H238H237H236H235H234H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
9ff986b2029f5c96c389773971380d19 240H242H241H237H236H235H234H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
2dffe899794c02b48818c868b8467f59 139H244H232H231H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
ac85c5a8c093f4ab022563885a2a7b36 139H255H253H252H251H250H176H249H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
5d522a5565644a6ab8d15ff336c9985a 139H254H253H252H251H250H176H249H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
0762df7a242e5fa45198e4f441ecad56 139H257H250H176H256H249H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
a0462d9eabb92bd41a3b72f0b81e7fbb 139H265H264H263H262H261H260H259H232H231H258H256H249H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
ee1440335c35799e960c4b4de0618ece 139H268H247H267H262H261H260H259H232H231H266H258H256H249H230H222H220H180H219H178H175H164H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
264c1dc8a4f758bd9a7687f227bcfe8a 150H270H269H163H162H161H160H159H158H157H156H155H154H153H14H13H10H9H6H3H2H0
02aaaa7c8ae9986b3b233e921dbe1327 306H305H14H13H10H9H6H3H2H0
0a4e4cf1a78e4e458c6a6285718a8ed8 101H275H274H273H272H14H13H10H9H6H3H2H0
c6362dbbaae8f408b2e21c75d058acdc 22H277H276H275H274H273H272H14H13H10H9H6H3H2H0
79aa17e25767f1f8e099f75f411f1e40 22H278H277H276H275H274H273H272H14H13H10H9H6H3H2H0
f104ca40c3e2f03382368348a9ed3f2e 78H283H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
070e8d2f5e1443e92f7cd77b02cd3020 78H283H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
8348f3366c1dc51e1191f1c318ed66b9 88H288H287H286H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
e0241bf2d34b491be3fa03d957e18240 88H289H288H287H286H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
fbeaa5be2134f7fb9ca0e97a67412b19 88H292H291H290H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
ca577b22da712318d4e56be9c9538041 88H293H292H291H290H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
62d2e4f70a02277c6cf6c65a7c8370d1 88H292H294H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
472d0f2953c951b0b97f336d3962d7a4 88H293H292H294H285H284H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
b60af9c128a5bc812eaba4c4446cc915 78H283H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
16ba61b48ee7a320a94f8f5e7c089433 88H292H285H286H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
03fcec0033a9ee0122020b2a4ad2f41b 88H293H292H285H286H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
b8c956e510e0843b1a0637f71c72f059 88H298H297H296H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
cfeed6a4f2b8f88258b88c6d29786c8e 88H299H298H297H296H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
3ab329593d56e499fe1e72a918fcad9f 88H298H294H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
450933bef8c81480ece806bd0b806a4e 88H299H298H294H291H295H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
87d7d84a7255fa4189d42e40840f8ea4 78H283H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
e3f3af91da24fad36c3e06b8ca0a146c 88H292H285H286H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
8c1fc115b71db0bc0f5455dbf03ba6bd 88H293H292H285H286H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
11d0d7e45599780c065fe060ef32a767 88H298H291H290H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
da744fcef88d12b3ca744b748ce8efa3 88H299H298H291H290H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
9a00a4a2c35cdfeb47ababd22b0387e2 88H298H294H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
b0174cd408ab6e188577f97f271691e2 88H299H298H294H300H282H281H280H279H176H276H275H274H273H272H14H13H10H9H6H3H2H0
5ba1c642aa458f801aa73c67147f2287 139H298H301H281H280H276H275H274H273H272H14H13H10H9H6H3H2H0
6bf631e59ea334ed9c183ed24d911413 139H302H298H301H281H280H276H275H274H273H272H14H13H10H9H6H3H2H0
f06fcfcef06e708be079cc11137c4521 150H304H303H275H274H273H272H14H13H10H9H6H3H2H0
f75a692c976f3fd016d60a7c0843118e 337H336H14H13H10H9H6H3H2H0
bf9a88251bc8ed6119561f433197917f 78H313H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
20715437b11dc215392fae1d8d8f0359 78H314H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
4947c531f7594c625949f6ef26fb566d 79H318H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
e36efde798ecae9571cdb24abf59470b 317H316H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
ad3f5e083598049b92fa2c5d2a93525d 79H318H316H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
99554be4f016c9c2d74f6ac945cd1a5a 79H273H318H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
3a8f87f74afa7c5617c22c62c0335ebe 79H321H320H319H273H318H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
461be6a36655ce33d362797aead5bbb5 326H325H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
071249ecc0e33d078022fd28319459d3 79H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
931e9790c31c2e14a70ea58bccd5ea9d 79H327H320H319H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
209f7140987fe8cc0f86c9171f0e15a5 79H330H320H329H176H328H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
8fff5ba71e6d0173ad6809725f0b0539 79H332H331H328H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
345ee102c6c026f868e81061a87e982b 79H311H332H331H328H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
2e2ff2cce71655495d1b12c38288b705 79H333H250H176H311H332H331H328H273H324H323H322H315H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
dcf10ec9694356b11293488b19903916 139H335H334H312H311H310H309H166H165H308H307H273H14H13H10H9H6H3H2H0
ad2913009083747d7325ae5eb356d895 362H361H360H14H13H10H9H6H3H2H0
9069376a231ad65662cef7309ba62fbc 22H352H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
866f71b934bd4305ac14ff8973b3766e 78H353H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
14fd73c43cce68049d63ffcfcb2c567d 78H354H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
30c70ff9aa5c36b6d5da4435724a0507 88H355H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
b04d39ef0b61d75268488a0fea0e540f 88H356H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
04c4c4c07dfcea5f8d38567cd674bc85 88H357H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
12ed504ab26db603910304de5b091571 139H358H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
7a150c54baec880ed169f045051e41da 139H359H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
497c728af512a770ae455ff140a50819 1H366H360H14H13H10H9H6H3H2H0
ecfaadade7a2a7ef17092a2aaf20e6ec 1H363H360H14H13H10H9H6H3H2H0
6b1538e94dbc1e1698d4dc9602778286 1H364H360H14H13H10H9H6H3H2H0
bad810beaaabf24a1de304d0299f964c 1H365H360H14H13H10H9H6H3H2H0
7b5b62c648c762e64dd494e4cd13b3dc 1H383H366H360H14H13H10H9H6H3H2H0
d26c157d54fa40e24ed73bea7d2cdc16 1H367H366H360H14H13H10H9H6H3H2H0
1e40b87e6ef1886235c0cd25e7f4694c 1H380H366H360H14H13H10H9H6H3H2H0
867f310088bb6b8a506565edf1b529e8 1H376H371H370H369H236H368H234H366H360H14H13H10H9H6H3H2H0
92296598d38b205a57a4b7297aadefdc 377H376H372H371H370H369H236H368H234H366H360H14H13H10H9H6H3H2H0
6e8c6e480d870697752a00db25c96b07 375H374H372H371H370H369H236H368H234H366H360H14H13H10H9H6H3H2H0
8b5bafca717d32bff17842070fb6168f 1H373H372H371H370H369H236H368H234H366H360H14H13H10H9H6H3H2H0
5b73ad4f9f1b9f63463239bafba19a3c 379H376H378H371H370H369H236H368H234H366H360H14H13H10H9H6H3H2H0
37246b36ae9c9cff262257ff9f787dc3 1H382H366H360H14H13H10H9H6H3H2H0
a69fbc2d9779ac0bbb76f065e33c2422 1H376H371H370H369H381H368H234H366H360H14H13H10H9H6H3H2H0
6e439bdae808eaae8ebb879ec65ad218 377H376H372H371H370H369H381H368H234H366H360H14H13H10H9H6H3H2H0
395b35e43e30f7b327cc24a41f2cf79b 375H374H372H371H370H369H381H368H234H366H360H14H13H10H9H6H3H2H0
6ff535a2eaa6762c6e6d5372880f1955 1H373H372H371H370H369H381H368H234H366H360H14H13H10H9H6H3H2H0
a39e4b5463e0fef0fe5d0e15a8abbd1d 379H376H378H371H370H369H381H368H234H366H360H14H13H10H9H6H3H2H0
b5bd4d1b4e0e3270cec1c82a35cc948e 1H384H383H366H360H14H13H10H9H6H3H2H0
17639369feaf365f8965e559a44ce5e8 396H470H386H385H384H383H366H360H14H13H10H9H6H3H2H0
c6b34185f26df2568791a1ba22762e1e 101H398H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
c002e421034ec2f584629e2268880f90 101H394H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
43c9cb59596f37866f7647fef64384e7 396H395H394H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
92a71cca8bbf2a3e9b021f36cd84dce8 396H397H394H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
b6e6d5992823d669fecaedcab1650eec 78H399H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
e72529715c1dbe829f3374b0ffba468d 326H400H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
70e0cd9687bcf86d601842abbee7016f 79H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
9233e464de9f8c7e5227211c5869a778 79H401H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
225d414aaa25062293f5eaeab5ff5261 79H403H402H232H231H401H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7abe6612b21c1250dedd277c97d3d3e5 79H406H166H405H176H404H401H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7aeab2662ef0d60aafefc18934d438d9 79H422H410H404H401H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
fb77e7b56701c4a794dea713b6eadbb9 79H413H412H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7fac78e20a99dc12b1e475d4d4344103 79H413H412H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H407H360H14H13H10H9H6H3H2H0
31c120ececfa7b1135a83027100da852 79H414H412H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
94ad64226697b05083439873ea5f04c5 79H414H412H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H407H360H14H13H10H9H6H3H2H0
3a10b4b771441a02844cd553cfd87975 79H412H414H413H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
901a6c6a4cea0c6df0d77cbf5bc17a0f 317H415H414H413H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7a91ec9a2a41d232b3e062089e475715 79H412H415H414H413H411H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
0cb463c15e6147b61c0e366d4ca125aa 79H417H416H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
0c07518260708cc0e3c3a9aa80c6461f 418H417H417H416H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
2a12503d07b6adb0ade3d6bd83e604f8 421H417H419H416H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
fc5805c68fa2280b7b2c910c3294b44d 317H420H419H416H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
f3c47f7487c17711d7206f97dc639fa8 421H417H420H419H416H410H404H389H409H408H387H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
18ef03b75c40e27f11ace8a6db530bac 326H425H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
fd656277a554e80803cca288b1f578d1 79H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
a4ef1fabb8f6c4dd4165b99e0e8144f8 79H426H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7dc5e2c946a4f54004ce76acea5f46b7 79H403H402H232H231H426H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
d309c9994977e8c4521e42259b787ed6 79H406H166H405H176H427H426H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
d5eb9432f0234a78f3ad6ad87dfbb254 79H460H429H427H426H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
3e2ee1a3a92410200f14a379caacfc2a 79H431H412H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
cfd1900bea4731812d319c8479743179 79H431H412H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H407H360H14H13H10H9H6H3H2H0
46942026d7f5fe7a9f2ef8579a9d1e77 79H432H412H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
ba12214b74ba5d55282f1dfba42c48b9 79H432H412H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H407H360H14H13H10H9H6H3H2H0
85c3f6e6b9edf48556e45ca05585a1e8 79H412H432H431H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
894fdc97b590a568d3bb597a89678564 317H415H432H431H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
d6ffb6b6ee7a7a865f43f1f552a7a870 79H412H415H432H431H430H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
01fb1c9e02cb984849cd7896cd251886 79H434H433H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
1f8766e592a19d621550868a07b30cb8 418H434H434H433H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
574f001743e21a1b7cab8e44f9eabc02 421H434H435H433H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
37925e8468c0ec322e5cca49dd148688 317H436H435H433H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
d9c4414c73e78fb9bcda4b04f34a5063 421H434H436H435H433H429H427H428H395H261H387H424H423H397H395H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
3773dad25b04fec7080161c80e9db106 421H434H436H435H433H459H458H457H428H395H261H387H424H456H455H454H397H395H393H453H452H451H450H449H448H447H389H388H261H387H446H445H444H443H442H441H440H439H438H437H351H350H349H348H347H346H345H344H343H342H341H340H339H338H0
f1e25a7a9630f7b917c10ad508f68258 139H463H466H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
b4278ae8742eaa1a52db9fb822ca0ebc 139H463H462H461H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
6a96ec9c9ea047106fa1db611f210869 139H465H464H393H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
ce555a13d14ae0159d7c8e3c56262775 139H469H467H466H392H391H390H389H388H261H387H386H385H384H383H366H360H14H13H10H9H6H3H2H0
01184b4842a5d14f1eba168b72e47238 139H469H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
f24bffdb0b9801811145e46991744bf5 317H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
70df403c04e5e75e1b45fd34735927ea 139H469H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
a79eda8b195a29e75c04a2230818dd7d 317H468H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
32bbc2a11487d1e4e3c2267c8384afad 139H469H468H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
b8de5d7bba0a62ae9f82f38fd41f4512 317H468H468H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
ef5c93a5e64fcadef2a28aa4aec87e00 139H469H468H468H424H467H466H392H391H390H389H388H261H387H393H386H385H384H383H366H360H14H13H10H9H6H3H2H0
2f3dd4e350e294cf59342066150805f4 139H469H467H466H392H391H390H389H388H261H387H461H386H385H384H383H366H360H14H13H10H9H6H3H2H0
312f32554f9c211230de38877dea222f 519H518H386H385H384H383H366H360H14H13H10H9H6H3H2H0
7579fb85e60ada75121dd1b08c74b161 79H406H166H405H176H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
2f488d7de876ef63caef449b6b6dd0bf 79H473H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
2cbfe5ff8b53f2a61e95df5e14a502f4 79H481H473H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
697c9a79ac5a2bbdad50b442d256fba2 79H483H482H232H231H481H473H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
8e884f82eb38b7bef50fd9c73c42040d 79H406H166H405H176H484H481H473H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
051c79cfc9b01a6a51aef59f1f1a1607 79H513H511H484H481H473H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
8e8bfa92eba1113e774bada73b5e4e7f 79H500H499H498H497H496H495H494H493H485H492H491H490H489H488H487H486H485H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
6daf12ec16032e71e8edf329872152a7 79H501H499H498H497H496H495H494H493H485H492H491H490H489H488H487H486H485H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
253886e3c7168b5afcdde522c8eaf4f2 79H499H501H500H498H497H496H495H494H493H485H492H491H490H489H488H487H486H485H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
2c4e4ff0c5b418e483d098887251e015 79H512H511H510H495H494H493H485H509H508H507H506H505H504H503H485H502H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
febb6625f05ba93a652bc3d1f7ee2e4c 139H516H515H514H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
32634a99e96e91cc3f26fbcc82c20010 139H515H517H515H514H480H479H478H477H476H475H474H473H472H471H386H385H384H383H366H360H14H13H10H9H6H3H2H0
