a<=c2an
a<=c2ak
a=c0amodc0a*akanAa<c0a*akanAa<=c0c0Aa<=c0c0
VC for tick
a=abV0amodavV0a*akanAa<abV0a*akanAa<=c0abV0Aa<=c0avV0FavV0abV0
Na=a*akanc0
apply premises
a=avara+a*a*akanadivavara*akanamodavara*akan
assertion
a=avara+a*a*akanaaamodavara*akan
a=amodavara*akanabar
VC for fetch_and_add
a=amoda+avarc1a*akanamoda+a*a*akanaaa+abarc1a*akan
a=amoda+a*a*akanaaa+abarc1a*akanamoda+abarc1a*akan
a=avara+a*a*akanV1amodavara*akanLadivavara*akan
a=amodavara*akanabarLadivavara*akan
a=amoda+avarc1a*akanamoda+a*a*akanV3a+abarc1a*akanLadivavara*akan
a=amoda+a*a*akanV4a+abarc1a*akanamoda+abarc1a*akanLadivavara*akan
a=amoda+abarc1a*akanamoda+avarc1a*akan
a=amoda+abarc1a*akanamoda+avarc1a*akanItOtOtOa=amoda+a*a*akanV1a+abarc1a*akanamoda+abarc1a*akanAa=amoda+avarc1a*akanamoda+a*a*akanV1a+abarc1a*akanAa=amodavara*akanabarAa=avara+a*a*akanV1amodavara*akanLadivavara*akan
precondition
a=amoda+abarc1a*akanamoda+avarc1a*akanAa<amoda+abarc1a*akana*akanAa<=c0amoda+abarc1a*akanAa<=c0a+avarc1
a=abar1amoda+abarc1a*akan
a=avar1a+avarc1
postcondition
a=arar
a=V1V1Aa=avV6a+avV1c1Ia=V6V5FIa=avV5V2Aa=abV5V4FAa=V4amodV2a*akanAa<V4a*akanAa<=c0V4Aa<=c0V2Lamoda+abV1c1V3ANa=V3c0La*akanLa+avV1c1Aa=amoda+abV1c1a*akanamoda+avV1c1a*akanItOtOtOa=amoda+a*a*akanV7a+abV1c1a*akanamoda+abV1c1a*akanAa=amoda+avV1c1a*akanamoda+a*a*akanV7a+abV1c1a*akanAa=amodavV1a*akanabV1Aa=avV1a+a*a*akanV7amodavV1a*akanLadivavV1a*akanF
a=alasta++V1aconsV2aemptyaSomeV2F
VC for last_push
aconsecutivea++V3aconsV4aemptyICtaNonea=avV4a+avV5c1aSomeValastV3AaconsecutiveV3F
VC for consecutive_last_push
aconsecutivea++V3aconsV4aemptyICtaNonea=avV4a+avV5c1aSomeValastV3IaconsecutiveV3F
a=ahda++V6aconsV7aemptyahdV6Oa=ahdV6aNoneF
empty_shape
altaV8V9aV8V10IaltaV8a+V9c1aV8V10ONa<a+V9c1V10Aa<V10alengthV8Aa<V11V10Aa<=c0V11AaconsecutiveV8Aa<a-V10V11a-V10V9Aa<=c0a-V10V9La+V9c1Ia<a+V9c1V10Ia<V10alengthV8Aa<V9V10Aa<=c0V9AaconsecutiveV8F
VC for consecutive_implies_sorted
altaV8V9aV8V10Ia<V10alengthV8Aa<V9V10Aa<=c0V9IaconsecutiveV8F
a=anumofV11V13V14V15anumofV12V13V14V15Ia=aV12V16V13qa=aV11V16V13Ia<V16V15Aa<=V14V16FF
VC for numof_equiv
a<=alai
a<aiau
Na=aaaaiav1
a=anumofaaaaiav1av1alaianumofaaav1alai
a=anumofaaaaiav1av1aia+aic1a+c1anumofaaav1aia+aic1
a=anumofaaaaiav1av1a+aic1auanumofaaav1a+aic1au
a=anumofaaaaiav1av1alaua+anumofaaav1alauc1
a=anumofaV17V21V18V18V19V20a+anumofV17V18V19V20c1Aa=anumofaV17V21V18V18a+V21c1V20anumofV17V18a+V21c1V20Aa=anumofaV17V21V18V18V21a+V21c1a+c1anumofV17V18V21a+V21c1Aa=anumofaV17V21V18V18V19V21anumofV17V18V19V21INa=aV17V21V18Aa<V21V20Aa<=V19V21F
VC for numof_add
a=anumofaV17V21V18V18V19V20a+anumofV17V18V19V20c1INa=aV17V21V18Ia<V21V20Aa<=V19V21F
a>acc0
a=amodaaacamodab1ac
a=aaa+a*acadivaaacamodaaac
a=ab1a+a*acadivab1acamodab1ac
a=a-aaab1a+a*aca-adivaaacadivab1acc0
a=a-aaaba+a*aca-adivaaacadivabacc0
a=amoda-aaabacamodc0ac
a=amoda-aaab1acamodc0ac
a=amodc0acc0
a=amoda-aaab1acc0
a=amoda-V22V23V24c0ItOtOtOtOa=amodc0V24c0Aa=amoda-V22V23V24amodc0V24Aa=a-V22V23a+a*V24a-adivV22V24adivV23V24c0Aa=V23a+a*V24adivV23V24amodV23V24Aa=V22a+a*V24adivV22V24amodV22V24Ia=amodV22V24amodV23V24Ia>V24c0F
a>=a*akanc0
array creation size
a=aapassV25aFalseIa<V25a*akanAa<=c0V25F
a=alength1apassa*akan
a<c0alength1apassAa<=c0c0
index in array bounds
a=alength1apass1alength1apass
a=aeltsapass1asetaeltsapassc0aTrue
a=apass1aapassc0aTrue
a=abaoc0
a=avaoc0
a>=anc0
a=aapcsV26aIIa<V26anAa<=c0V26F
a=alength1apcsan
a=aamemoV27aNoneIa<V27anAa<=c0V27F
a=alength1amemoan
a=aaownersV28aNoneIa<V28a*akanAa<=c0V28F
a=alength1aownersa*akan
a=aseqawaiting_listaempty
a<=c0ath
a<athan
Na=athc-1
Nahas_lockaapcsath
safety
Nahas_lockaapcsV29INa=V29c-1Ia<V29anAa<=c0V29F
a<c-1anAa<=c-1c-1
loop invariant init
a<=c0ab1
a<ab1a*akan
CtaNoneCfaNonea=abV31ab1aSomeVaamemoV30Aa<V30anAa<=c0V30aSomeVaaownersab1
CtaNoneCfaNonea=abV32V30aSomeVaamemoV31Aa<V31anAa<=c0V31aSomeVaaownersV30Ia<V30a*akanAa<=c0V30F
a=aapass1abatickaTrue
CtaNonea=c-1V33OtaSomeVaaownersabatick
CtaNonea=c-1V34OtaSomeVaaownersabV33Ia=aapass1abV33aTrueF
a<=c0c-1
a<c-1an
CCfaNonea=aapass1abV35aTrueaSomeVaamemoc-1aR1OaWOaA3Na=aapass1V36aTrueIa<V36a*akanAa<=c0V36FaR2fwaapcsc-1
CCfaNonea=aapass1abV35aTrueaSomeVaamemoc-1aR1OaWOaA3Na=aapass1V36aTrueIa<V36a*akanAa<=c0V36FaR2fwaapcsc-1Ia<c-1anAa<=c0c-1
a<=c0ab2
a<ab2a*akan
a=aapass1ab1aTrue
a=aapass1ab2aTrue
a=ab1ab2
a=V37V38Ia=aapass1V38aTrueAa=aapass1V37aTrueIa<V38a*akanAa<=c0V38Ia<V37a*akanAa<=c0V37F
CfaNonefaSomeVaamemoc-1Aahas_lockaapcsc-1
CfaNonefaSomeVaamemoc-1Aahas_lockaapcsc-1Ia<c-1anAa<=c0c-1
Ca=aaownersabV40aSomeathaSomeVtaNoneaamemoath
Ca=aaownersabV41aSomeV40aSomeVtaNoneaamemoV40Ia<V40anAa<=c0V40F
ahas_ticketaapcsathqNa=aamemoathaNone
ahas_ticketaapcsV42qNa=aamemoV42aNoneIa<V42anAa<=c0V42F
amematickaseqawaiting_list
CfaNonea=aamemoV43aSomeatickAa=aapcsV43aA2aSomeVaaownersabatick
CfaNonea=aamemoV44aSomeV43Aa=aapcsV44aA2aSomeVaaownersabV43IamemV43aseqawaiting_listF
CfOamemV45aseqawaiting_listaSomeVtaNoneaamemoath
CfOamemV46aseqawaiting_listaSomeVtaNoneaamemoV45Ia<V45anAa<=c0V45F
CNa=aapcsathaA2aNoneamemV47aseqawaiting_listaSomeVaamemoath
CNa=aapcsV47aA2aNoneamemV48aseqawaiting_listaSomeVaamemoV47INahas_lockaapcsV47Ia<V47anAa<=c0V47F
aconsecutiveaseqawaiting_list
a=alengthaseqawaiting_listanumofapcsaA2c0an
a<avatickavaoAa<=a-avaoalengthaseqawaiting_listavatick
a<avV49avaoAa<=a-avaoalengthaseqawaiting_listavV49IamemV49aseqawaiting_listF
CtaNonea=avV50a-avaoc1aSomeValastaseqawaiting_list
CtaNonea=avV51a-avaoalengthaseqawaiting_listaSomeVahdaseqawaiting_list
t
a<=alengthaseqawaiting_listanAa<=c0alengthaseqawaiting_list
a<=c0avV0FavV0abV0
a<=c0abV1FavV1abV1
a<abV2a*akanFavV2abV2
a=abV3amodavV3a*akanFavV3abV3
a=alasta++V4aconsV5aemptyaSomeV5F
aconsecutivea++V6aconsV7aemptyIa=alastV6aNoneIaconsecutiveV6F
aconsecutivea++V8aconsV9aemptyIa=avV9a+avV10c1Aa=alastV8aSomeV10EIaconsecutiveV8F
a=ahda++V11aconsV12aemptyahdV11Oa=ahdV11aNoneF
altaV13V14aV13V15Ia<V15alengthV13Aa<V14V15Aa<=c0V14IaconsecutiveV13F
a=anumofV16V18V19V20anumofV17V18V19V20Ia=aV17V21V18qa=aV16V21V18Ia<V21V20Aa<=V19V21FF
a=anumofaV22V26V23V23V24V25a+anumofV22V23V24V25c1INa=aV22V26V23Ia<V26V25Aa<=V24V26F
a=amoda-V27V28V29c0Ia=amodV27V29amodV28V29Ia>V29c0F
a=aapassV30aFalseIa<V30a*akanAa<=c0V30F
a=aapcsV31aIIa<V31anAa<=c0V31F
a=aamemoV32aNoneIa<V32anAa<=c0V32F
a=aaownersV33aNoneIa<V33a*akanAa<=c0V33F
Nahas_lockaapcsV34INa=V34c-1Ia<V34anAa<=c0V34F
a<=c-1c-1
a<=c0V36Ia=aaownersV35aSomeV36FIa<V35a*akanAa<=c0V35F
a<V38anIa=aaownersV37aSomeV38FIa<V37a*akanAa<=c0V37F
Na=aamemoV40aNoneIa=aaownersV39aSomeV40FIa<V39a*akanAa<=c0V39F
a=abV43V41Ia=aamemoV42aSomeV43FIa=aaownersV41aSomeV42FIa<V41a*akanAa<=c0V41F
Na=aamemoc-1aNoneIa=aapcsc-1aA3Ia<c-1anAa<=c0c-1
a=aapass1abV44aTrueIa=aamemoc-1aSomeV44FIa=aapcsc-1aA3Ia<c-1anAa<=c0c-1
Na=aamemoc-1aNoneIa=aapcsc-1aWIa<c-1anAa<=c0c-1
a=aapass1abV45aTrueIa=aamemoc-1aSomeV45FIa=aapcsc-1aWIa<c-1anAa<=c0c-1
Na=aamemoc-1aNoneIa=aapcsc-1aR1Ia<c-1anAa<=c0c-1
a=aapass1abV46aTrueIa=aamemoc-1aSomeV46FIa=aapcsc-1aR1Ia<c-1anAa<=c0c-1
Na=aapass1V47aTrueIa<V47a*akanAa<=c0V47FIa=aapcsc-1aR2Ia<c-1anAa<=c0c-1
Na=aapcsc-1aA1Ia<c-1anAa<=c0c-1
Na=aapcsc-1aA2Ia<c-1anAa<=c0c-1
Na=aapcsc-1aIIa<c-1anAa<=c0c-1
a=V48V49Ia=aapass1V49aTrueAa=aapass1V48aTrueIa<V49a*akanAa<=c0V49Ia<V48a*akanAa<=c0V48F
ahas_lockaapcsc-1Ia<c-1anAa<=c0c-1
Na=aamemoc-1aNoneIa<c-1anAa<=c0c-1
Na=aamemoc-1aSomeV50FIa<c-1anAa<=c0c-1
a=aaownersabV52aSomeV51Ia=aamemoV51aSomeV52FIa<V51anAa<=c0V51F
ahas_ticketaapcsV53INa=aamemoV53aNoneIa<V53anAa<=c0V53F
Na=aamemoV54aNoneIahas_ticketaapcsV54Ia<V54anAa<=c0V54F
Na=aaownersabV55aNoneIamemV55aseqawaiting_listF
a=aapcsV57aA2Ia=aaownersabV56aSomeV57FIamemV56aseqawaiting_listF
a=aamemoV59aSomeV58Ia=aaownersabV58aSomeV59FIamemV58aseqawaiting_listF
amemV61aseqawaiting_listIa=aamemoV60aSomeV61FIa<V60anAa<=c0V60F
Na=aapcsV62aA2Ia=aamemoV62aNoneINahas_lockaapcsV62Ia<V62anAa<=c0V62F
amemV64aseqawaiting_listIa=aamemoV63aSomeV64FINahas_lockaapcsV63Ia<V63anAa<=c0V63F
a<=a-avaoalengthaseqawaiting_listavV65IamemV65aseqawaiting_listF
a<avV66avaoIamemV66aseqawaiting_listF
a=avV67a-avaoc1Ia=alastaseqawaiting_listaSomeV67F
a=avV68a-avaoalengthaseqawaiting_listIa=ahdaseqawaiting_listaSomeV68F
a<=c0alengthaseqawaiting_list
a<=alengthaseqawaiting_listan
a=aapass1abaoaTrueAa=aamemoV69aNoneAa<V69anAa<=c0V69EONa=alengthaseqawaiting_listc0
liveness
a=aseqawaiting_listaemptyONa=alengthaseqawaiting_listc0
a=aapass1abaoaTrueAa=aamemoV69aNoneAa<V69anAa<=c0V69EOa=aapass1abagetaseqawaiting_listc0aTrueINa=alengthaseqawaiting_listc0
a=aseqawaiting_listaemptyOa=aapass1abagetaseqawaiting_listc0aTrueINa=alengthaseqawaiting_listc0
a=aseqawaiting_listaemptyAa=aapass1abaoaTrueAa=aamemoV52aNoneAa<V52anAa<=c0V52EOia=aapass1abagetaseqawaiting_listc0aTruefa=alengthaseqawaiting_listc0
a=alength1aowners1alength1aowners
a=alength1amemo1alength1amemo
a=alength1apcs1alength1apcs
a=alength1apass2alength1apass1
Nahas_lockaapcs1V29INa=V29alock_holderIa<V29anAa<=c0V29F
a<=c-1alock_holder
a<alock_holderan
CtaNoneCfaNonea=abV32V30aSomeVaamemo1V31Aa<V31anAa<=c0V31aSomeVaaowners1V30Ia<V30a*akanAa<=c0V30F
Ca=alock_holderc-1aNonea=alock_holderV34Oa=alock_holderc-1aSomeVaaowners1abV33Ia=aapass2abV33aTrueF
CCfaNonea=aapass2abV35aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass2V36aTrueIa<V36a*akanAa<=c0V36FaR2fwaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
a=V37V38Ia=aapass2V38aTrueAa=aapass2V37aTrueIa<V38a*akanAa<=c0V38Ia<V37a*akanAa<=c0V37F
CfaNonea=aactive_tickaSomeV39aSomeVaamemo1alock_holderAahas_lockaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners1abV41aSomeV40aSomeVtaNoneaamemo1V40Ia<V40anAa<=c0V40F
ahas_ticketaapcs1V42qNa=aamemo1V42aNoneIa<V42anAa<=c0V42F
CfaNonea=aamemo1V44aSomeV43Aa=aapcs1V44aA2aSomeVaaowners1abV43IamemV43aseqawaiting_list1F
Ca=aactive_tickaSomeV46OamemV46aseqawaiting_list1aSomeVtaNoneaamemo1V45Ia<V45anAa<=c0V45F
CNa=aapcs1V47aA2aNoneamemV48aseqawaiting_list1aSomeVaamemo1V47INahas_lockaapcs1V47Ia<V47anAa<=c0V47F
aconsecutiveaseqawaiting_list1
a=alengthaseqawaiting_list1anumofapcs1aA2c0an
a<avV49avanextAa<=a-avanextalengthaseqawaiting_list1avV49IamemV49aseqawaiting_list1F
CtaNonea=avV50a-avanextc1aSomeValastaseqawaiting_list1
CtaNonea=avV51a-avanextalengthaseqawaiting_list1aSomeVahdaseqawaiting_list1
Ca=alock_holderc-1aNonea=aamemo1alock_holderaSomeV52Aa<alock_holderanAa<=c0alock_holderAa=avV52a-a-avanextalengthaseqawaiting_list1c1ACa=avanexta+avV52c1aNonea=avV53a+avV52c1aSomeVahdaseqawaiting_list1aSomeVaactive_tick
a<=c0alengthaseqawaiting_list1
a<=alengthaseqawaiting_list1an
a=aseqawaiting_list1aemptyAa=aapass2abanextaTrueAa=aamemo1V54aNoneAa<V54anAa<=c0V54EOia=aapass2abagetaseqawaiting_list1c0aTruefa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
a<athalength1apcs1Aa<=c0ath
a=aapcs1athaI
a=alength1apcs2alength1apcs1
a=aeltsapcs2asetaeltsapcs1athaA1
a=apcs2aapcs1athaA1
a<=c0ath1
a<ath1an
Na=ath1alock_holder
Nahas_lockaapcs2ath1
Nahas_lockaapcs2V55INa=V55alock_holderIa<V55anAa<=c0V55F
a<alock_holderanAa<=c-1alock_holder
loop invariant preservation
CtaNoneCfaNonea=abV57ab1aSomeVaamemo1V56Aa<V56anAa<=c0V56aSomeVaaowners1ab1
CtaNoneCfaNonea=abV58V56aSomeVaamemo1V57Aa<V57anAa<=c0V57aSomeVaaowners1V56Ia<V56a*akanAa<=c0V56F
a=aapass2abatickaTrue
Ca=alock_holderc-1aNonea=alock_holderV59Oa=alock_holderc-1aSomeVaaowners1abatick
Ca=alock_holderc-1aNonea=alock_holderV60Oa=alock_holderc-1aSomeVaaowners1abV59Ia=aapass2abV59aTrueF
a<=c0alock_holder
CCfaNonea=aapass2abV61aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass2V62aTrueIa<V62a*akanAa<=c0V62FaR2fwaapcs2alock_holder
CCfaNonea=aapass2abV61aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass2V62aTrueIa<V62a*akanAa<=c0V62FaR2fwaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
a=aapass2ab1aTrue
a=aapass2ab2aTrue
a=V63V64Ia=aapass2V64aTrueAa=aapass2V63aTrueIa<V64a*akanAa<=c0V64Ia<V63a*akanAa<=c0V63F
CfaNonea=aactive_tickaSomeV65aSomeVaamemo1alock_holderAahas_lockaapcs2alock_holder
CfaNonea=aactive_tickaSomeV65aSomeVaamemo1alock_holderAahas_lockaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners1abV66aSomeath1aSomeVtaNoneaamemo1ath1
Ca=aaowners1abV67aSomeV66aSomeVtaNoneaamemo1V66Ia<V66anAa<=c0V66F
ahas_ticketaapcs2ath1qNa=aamemo1ath1aNone
ahas_ticketaapcs2V68qNa=aamemo1V68aNoneIa<V68anAa<=c0V68F
amematickaseqawaiting_list1
CfaNonea=aamemo1V69aSomeatickAa=aapcs2V69aA2aSomeVaaowners1abatick
CfaNonea=aamemo1V70aSomeV69Aa=aapcs2V70aA2aSomeVaaowners1abV69IamemV69aseqawaiting_list1F
Ca=aactive_tickaSomeV71OamemV71aseqawaiting_list1aSomeVtaNoneaamemo1ath1
Ca=aactive_tickaSomeV72OamemV72aseqawaiting_list1aSomeVtaNoneaamemo1V71Ia<V71anAa<=c0V71F
CNa=aapcs2ath1aA2aNoneamemV73aseqawaiting_list1aSomeVaamemo1ath1
CNa=aapcs2V73aA2aNoneamemV74aseqawaiting_list1aSomeVaamemo1V73INahas_lockaapcs2V73Ia<V73anAa<=c0V73F
a=alengthaseqawaiting_list1anumofapcs2aA2c0an
a<avatickavanextAa<=a-avanextalengthaseqawaiting_list1avatick
a<avV75avanextAa<=a-avanextalengthaseqawaiting_list1avV75IamemV75aseqawaiting_list1F
CtaNonea=avV76a-avanextc1aSomeValastaseqawaiting_list1
CtaNonea=avV77a-avanextalengthaseqawaiting_list1aSomeVahdaseqawaiting_list1
Ca=alock_holderc-1aNonea=aamemo1alock_holderaSomeV78Aa<alock_holderanAa<=c0alock_holderAa=avV78a-a-avanextalengthaseqawaiting_list1c1ACa=avanexta+avV78c1aNonea=avV79a+avV78c1aSomeVahdaseqawaiting_list1aSomeVaactive_tick
a<=alengthaseqawaiting_list1anAa<=c0alengthaseqawaiting_list1
a=alock_holderc-1
a=aseqawaiting_list1aemptyAa=aapass2abanextaTrueAa=aamemo1V80aNoneAa<V80anAa<=c0V80EOia=aapass2abagetaseqawaiting_list1c0aTruefa=alengthaseqawaiting_list1c0
CCfaNonea=aapass2abV35aTrueaSomeVaamemo1alock_holderaA3CfaNonea=aapass2abV36aTrueaSomeVaamemo1alock_holderaWCfaNonea=aapass2abV37aTrueaSomeVaamemo1alock_holderaR1Na=aapass2V38aTrueIa<V38a*akanAa<=c0V38FaR2fwaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
a=V39V40Ia=aapass2V40aTrueAa=aapass2V39aTrueIa<V40a*akanAa<=c0V40Ia<V39a*akanAa<=c0V39F
ahas_lockaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
CfaNonea=aactive_tickaSomeV41aSomeVaamemo1alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners1abV43aSomeV42aSomeVtaNoneaamemo1V42Ia<V42anAa<=c0V42F
ahas_ticketaapcs1V44qNa=aamemo1V44aNoneIa<V44anAa<=c0V44F
CfaNonea=aamemo1V46aSomeV45Aa=aapcs1V46aA2aSomeVaaowners1abV45IamemV45aseqawaiting_list1F
Ca=aactive_tickaSomeV48OamemV48aseqawaiting_list1aSomeVtaNoneaamemo1V47Ia<V47anAa<=c0V47F
CNa=aapcs1V49aA2aNoneamemV50aseqawaiting_list1aSomeVaamemo1V49INahas_lockaapcs1V49Ia<V49anAa<=c0V49F
a<avV51avanextAa<=a-avanextalengthaseqawaiting_list1avV51IamemV51aseqawaiting_list1F
CtaNonea=avV52a-avanextc1aSomeValastaseqawaiting_list1
CtaNonea=avV53a-avanextalengthaseqawaiting_list1aSomeVahdaseqawaiting_list1
Ca=alock_holderc-1aNonea=aamemo1alock_holderaSomeV54Aa<alock_holderanAa<=c0alock_holderAa=avV54a-a-avanextalengthaseqawaiting_list1c1ACa=avanexta+avV54c1aNonea=avV55a+avV54c1aSomeVahdaseqawaiting_list1aSomeVaactive_tick
a=aseqawaiting_list1aemptyAa=aapass2abanextaTrueAa=aamemo1V56aNoneAa<V56anAa<=c0V56EOia=aapass2abagetaseqawaiting_list1c0aTruefa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
a=aapcs1athaA1
a=avanext1a+avanextc1
a=atickanext
a<ana-a*c2anc1
a<=a-a*c2anc1a-a*akanc1
amematick'aseqawaiting_list1
a<c0a-avatickavatick'
VC for main
a<a-avatickavatick'a*akan
Na=amoda-avatickavatick'a*akanc0
Na=amodavaticka*akanamodavatick'a*akan
Na=abatick'abatick
Na=abV57abatickIamemV57aseqawaiting_list1F
a=aaowners1abatickaSomeath'
Na=aamemo1ath'aNone
a=aamemo1ath'aSomeax
a=abaxabatick
Namemaxaseqawaiting_list1
a=aactive_tickaSomeax
a<c0a-avatickavax
a<a-avatickavaxa*akan
Na=amoda-avatickavaxa*akanc0
Na=amodavaticka*akanamodavaxa*akan
NNa=amodavaticka*akanamodavaxa*akanANa=amoda-avatickavaxa*akanc0Aa<a-avatickavaxa*akanAa<c0a-avatickavaxAa=aactive_tickaSomeaxANamemaxaseqawaiting_list1Aa=abaxabatick
NCfaNonefaSomeVaamemo1ath'
fIa=aaowners1abatickaSomeV58F
ais_noneaaowners1abatick
ais_noneaaowners1abatickItOtOtOfItOCfaNonefItOtOtOtOtOtONa=amodavaticka*akanamodavV56a*akanANa=amoda-avatickavV56a*akanc0Aa<a-avatickavV56a*akanAa<c0a-avatickavV56Aa=aactive_tickaSomeV56ANamemV56aseqawaiting_list1Aa=abV56abatickaSomeVaamemo1V55Ia=aaowners1abatickaSomeV55FANa=abV57abatickItOtOtONa=amodavaticka*akanamodavV57a*akanANa=amoda-avatickavV57a*akanc0Aa<a-avatickavV57a*akanAa<c0a-avatickavV57IamemV57aseqawaiting_list1FAa<=a-a*c2anc1a-a*akanc1Aa<ana-a*c2anc1Aa<=alengthaseqawaiting_list1an
Na=aamemo1ath1aSomeatick
Na=aamemo1V55aSomeatickIa<V55anAa<=c0V55F
a<abatickalength1aowners1Aa<=c0abatick
a=alength1aowners2alength1aowners1
a=aeltsaowners2asetaeltsaowners1abatickaSomeath
a=aowners2aaowners1abatickaSomeath
a<athalength1amemo1Aa<=c0ath
a=alength1amemo2alength1amemo1
a=aeltsamemo2asetaeltsamemo1athaSomeatick
a=amemo2aamemo1athaSomeatick
a=aeltsapcs2asetaeltsapcs1athaA2
a=apcs2aapcs1athaA2
a=anumofapcs2aA2c0ana+anumofapcs1aA2c0anc1
Na=alock_holderathAt
Na=aaowners2abatick'aSomeathANa=abatick'abatick
Na=aamemo1V57aSomeatickIa<V57anAa<=c0V57F
Na=alock_holderath
Na=aaowners2abV58aSomeathANa=abV58abatickIamemV58aseqawaiting_list1F
Na=aaowners2abatick'aNone
a=aaowners2abatick'aSomeax
Na=athax
a=aapcs2axaapcs1ax
a=aamemo2axaamemo1ax
a=aapcs2axaA2
a=aamemo2axaSomeatick'
Na=aaowners2abV56aSomeathANa=abV56abatickIamemV56aseqawaiting_list1F
CfaNonea=aamemo2V57aSomeatick'Aa=aapcs2V57aA2ItOtOtOa=aamemo2V57aamemo1V57Aa=aapcs2V57aapcs1V57ANa=athV57aSomeVaaowners2abatick'
CfaNonea=aamemo2V60aSomeV59Aa=aapcs2V60aA2aSomeVaaowners2abV59IamemV59aseqawaiting_list1F
a=aseqawaiting_list2asnocaseqawaiting_list1atick
a=aseqawaiting_list2a++aseqawaiting_list1aconsatickaempty
CtaNonea=avaticka+avV61c1aSomeValastaseqawaiting_list1
aconsecutivea++aseqawaiting_list1aconsatickaempty
aconsecutiveaseqawaiting_list2
CfaNonea=aamemo2V58aSomeV57Aa=aapcs2V58aA2aSomeVaaowners2abV57IamemV57aseqawaiting_list1F
aconsecutiveaseqawaiting_list2ItOa=aseqawaiting_list2a++aseqawaiting_list1aconsatickaempty
Ca=alock_holderc-1aNoneCfaNonea=avV60a+avV59c1ItOCtOa=avanexta+avV59c1Aa=avatickavanextAa=V60atickaNonea=ahdaseqawaiting_list2aSomeV61Aa=avV61a+avV59c1aSomeVahdaseqawaiting_list1aSomeVahdaseqawaiting_list2aSomeVaactive_tick
Ca=alock_holderc-1aNoneCfaNonea=avV60a+avV59c1aSomeVahdaseqawaiting_list2aSomeVaactive_tick
ia=aapass2abV61aTrueItOia=aapass2abV61aTrueItOtOa=aapass2abV62aTrueAa=V62V61Lagetaseqawaiting_list1c0a=aapass2abV61aTrueItOa=aapass2abatickaTrueAa=V61atickItOa=aapass2abanextaTruea=alengthaseqawaiting_list1c0Lagetaseqawaiting_list2c0fa=alengthaseqawaiting_list2c0
ia=aapass2abV61aTrueLagetaseqawaiting_list2c0fa=alengthaseqawaiting_list2c0Ia=alock_holderc-1
CtaNoneia=avV62a-avanext1alengthaseqawaiting_list2ItOtOa=avV62a-avanextalengthaseqawaiting_list1Aa=ahdaseqawaiting_list1aSomeV62a=avV62a-avanext1alengthaseqawaiting_list2ItOtOa=alengthaseqawaiting_list2c1Aa=aseqawaiting_list1aemptya=V62atickaSomeVahdaseqawaiting_list2
CtaNoneia=avV62a-avanext1alengthaseqawaiting_list2a=avV62a-avanext1alengthaseqawaiting_list2a=V62atickaSomeVahdaseqawaiting_list2
Nahas_lockaapcs2V63INa=V63alock_holderIa<V63anAa<=c0V63F
a=ab1abatick
CtaNoneCfaNonea=abV65ab1aSomeVaamemo2V64Aa<V64anAa<=c0V64aSomeVaaowners2ab1
true case (loop invariant preservation)
Na=ab1abatick
CtaNoneCfaNonea=abV65ab1aSomeVaamemo2V64Aa<V64anAa<=c0V64aSomeVaaowners1ab1
false case (loop invariant preservation)
a=aaowners2ab1aaowners1ab1
equality hypothesis
CtaNoneCfaNonea=abV66V64aSomeVaamemo2V65Aa<V65anAa<=c0V65aSomeVaaowners2V64Ia<V64a*akanAa<=c0V64F
a=aapass2abatick1aTrue
Ca=alock_holderc-1aNonea=alock_holderV67Oa=alock_holderc-1aSomeVaaowners2abatick1
Ca=alock_holderc-1aNonea=alock_holderV68Oa=alock_holderc-1aSomeVaaowners2abV67Ia=aapass2abV67aTrueF
CCfaNonea=aapass2abV69aTrueaSomeVaamemo2alock_holderaR1OaWOaA3Na=aapass2V70aTrueIa<V70a*akanAa<=c0V70FaR2fwaapcs2alock_holder
CCfaNonea=aapass2abV69aTrueaSomeVaamemo2alock_holderaR1OaWOaA3Na=aapass2V70aTrueIa<V70a*akanAa<=c0V70FaR2fwaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
a=V71V72Ia=aapass2V72aTrueAa=aapass2V71aTrueIa<V72a*akanAa<=c0V72Ia<V71a*akanAa<=c0V71F
CfaNonea=aactive_tickaSomeV73aSomeVaamemo2alock_holderAahas_lockaapcs2alock_holder
CfaNonea=aactive_tickaSomeV73aSomeVaamemo2alock_holderAahas_lockaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners2abV74aSomeath1aSomeVtaNoneaamemo2ath1
Ca=aaowners2abV75aSomeV74aSomeVtaNoneaamemo2V74Ia<V74anAa<=c0V74F
ahas_ticketaapcs2ath1qNa=aamemo2ath1aNone
Nahas_lockaapcs1V34INa=V34alock_holderIa<V34anAa<=c0V34F
a<=c0V36Ia=aaowners1V35aSomeV36FIa<V35a*akanAa<=c0V35F
a<V38anIa=aaowners1V37aSomeV38FIa<V37a*akanAa<=c0V37F
Na=aamemo1V40aNoneIa=aaowners1V39aSomeV40FIa<V39a*akanAa<=c0V39F
a=abV43V41Ia=aamemo1V42aSomeV43FIa=aaowners1V41aSomeV42FIa<V41a*akanAa<=c0V41F
a=alock_holderc-1Ia=aaowners1abV44aNoneIa=aapass2abV44aTrueF
a=alock_holderV46Oa=alock_holderc-1Ia=aaowners1abV45aSomeV46FIa=aapass2abV45aTrueF
Na=aamemo1alock_holderaNoneIa=aapcs1alock_holderaA3Ia<alock_holderanAa<=c0alock_holder
a=aapass2abV47aTrueIa=aamemo1alock_holderaSomeV47FIa=aapcs1alock_holderaA3Ia<alock_holderanAa<=c0alock_holder
Na=aamemo1alock_holderaNoneIa=aapcs1alock_holderaWIa<alock_holderanAa<=c0alock_holder
a=aapass2abV48aTrueIa=aamemo1alock_holderaSomeV48FIa=aapcs1alock_holderaWIa<alock_holderanAa<=c0alock_holder
Na=aamemo1alock_holderaNoneIa=aapcs1alock_holderaR1Ia<alock_holderanAa<=c0alock_holder
a=aapass2abV49aTrueIa=aamemo1alock_holderaSomeV49FIa=aapcs1alock_holderaR1Ia<alock_holderanAa<=c0alock_holder
Na=aapass2V50aTrueIa<V50a*akanAa<=c0V50FIa=aapcs1alock_holderaR2Ia<alock_holderanAa<=c0alock_holder
Na=aapcs1alock_holderaA1Ia<alock_holderanAa<=c0alock_holder
Na=aapcs1alock_holderaA2Ia<alock_holderanAa<=c0alock_holder
Na=aapcs1alock_holderaIIa<alock_holderanAa<=c0alock_holder
a=V51V52Ia=aapass2V52aTrueAa=aapass2V51aTrueIa<V52a*akanAa<=c0V52Ia<V51a*akanAa<=c0V51F
Na=aamemo1alock_holderaNoneIa<alock_holderanAa<=c0alock_holder
a=aactive_tickaSomeV53Ia=aamemo1alock_holderaSomeV53FIa<alock_holderanAa<=c0alock_holder
a=aaowners1abV55aSomeV54Ia=aamemo1V54aSomeV55FIa<V54anAa<=c0V54F
ahas_ticketaapcs1V56INa=aamemo1V56aNoneIa<V56anAa<=c0V56F
Na=aamemo1V57aNoneIahas_ticketaapcs1V57Ia<V57anAa<=c0V57F
Na=aaowners1abV58aNoneIamemV58aseqawaiting_list1F
a=aapcs1V60aA2Ia=aaowners1abV59aSomeV60FIamemV59aseqawaiting_list1F
a=aamemo1V62aSomeV61Ia=aaowners1abV61aSomeV62FIamemV61aseqawaiting_list1F
a=aactive_tickaSomeV64OamemV64aseqawaiting_list1Ia=aamemo1V63aSomeV64FIa<V63anAa<=c0V63F
Na=aapcs1V65aA2Ia=aamemo1V65aNoneINahas_lockaapcs1V65Ia<V65anAa<=c0V65F
amemV67aseqawaiting_list1Ia=aamemo1V66aSomeV67FINahas_lockaapcs1V66Ia<V66anAa<=c0V66F
a<=a-avanextalengthaseqawaiting_list1avV68IamemV68aseqawaiting_list1F
a<avV69avanextIamemV69aseqawaiting_list1F
a=avV70a-avanextc1Ia=alastaseqawaiting_list1aSomeV70F
a=avV71a-avanextalengthaseqawaiting_list1Ia=ahdaseqawaiting_list1aSomeV71F
a=alock_holderc-1Ia=aactive_tickaNone
a=avanexta+avV72c1Ia=ahdaseqawaiting_list1aNoneIa=aactive_tickaSomeV72F
a=avV74a+avV73c1Ia=ahdaseqawaiting_list1aSomeV74FIa=aactive_tickaSomeV73F
a=avV75a-a-avanextalengthaseqawaiting_list1c1Ia=aactive_tickaSomeV75F
a<=c0alock_holderIa=aactive_tickaSomeV76F
a<alock_holderanIa=aactive_tickaSomeV77F
a=aamemo1alock_holderaSomeV78Ia=aactive_tickaSomeV78F
a=aapass2abanextaTrueAa=aamemo1V79aNoneAa<V79anAa<=c0V79EONa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
a=aseqawaiting_list1aemptyONa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
a=aapass2abanextaTrueAa=aamemo1V80aNoneAa<V80anAa<=c0V80EOa=aapass2abagetaseqawaiting_list1c0aTrueINa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
a=aseqawaiting_list1aemptyOa=aapass2abagetaseqawaiting_list1c0aTrueINa=alengthaseqawaiting_list1c0Ia=alock_holderc-1
Na=aamemo1V81aSomeatickIa<V81anAa<=c0V81F
Na=abV82abatickIamemV82aseqawaiting_list1F
Na=aaowners2abV83aSomeathIamemV83aseqawaiting_list1F
Na=aaowners2abV84aNoneIamemV84aseqawaiting_list1F
a=aapcs2V86aA2Ia=aaowners2abV85aSomeV86FIamemV85aseqawaiting_list1F
a=aamemo2V88aSomeV87Ia=aaowners2abV87aSomeV88FIamemV87aseqawaiting_list1F
Na=ahdaseqawaiting_list2aNoneIa=aactive_tickaSomeV89F
a=avV91a+avV90c1Ia=ahdaseqawaiting_list2aSomeV91FIa=aactive_tickaSomeV90F
Na=alengthaseqawaiting_list2c0Ia=alock_holderc-1
a=aapass2abV92aTrueLagetaseqawaiting_list2c0INa=alengthaseqawaiting_list2c0Ia=alock_holderc-1
a=avV93a-avanext1alengthaseqawaiting_list2Ia=V93atickIa=ahdaseqawaiting_list2aSomeV93F
a=avV94a-avanext1alengthaseqawaiting_list2INa=V94atickIa=ahdaseqawaiting_list2aSomeV94F
Nahas_lockaapcs2V95INa=V95alock_holderIa<V95anAa<=c0V95F
a<=c0V97Ia=aaowners2V96aSomeV97FIa<V96a*akanAa<=c0V96F
a<V99anIa=aaowners2V98aSomeV99FIa<V98a*akanAa<=c0V98F
Na=aamemo2V101aNoneIa=aaowners2V100aSomeV101FIa<V100a*akanAa<=c0V100F
a=abV104V102Ia=aamemo2V103aSomeV104FIa=aaowners2V102aSomeV103FIa<V102a*akanAa<=c0V102F
a=alock_holderc-1Ia=aaowners2abV105aNoneIa=aapass2abV105aTrueF
a=alock_holderV107Oa=alock_holderc-1Ia=aaowners2abV106aSomeV107FIa=aapass2abV106aTrueF
Na=aamemo2alock_holderaNoneIa=aapcs2alock_holderaA3Ia<alock_holderanAa<=c0alock_holder
a=aapass2abV108aTrueIa=aamemo2alock_holderaSomeV108FIa=aapcs2alock_holderaA3Ia<alock_holderanAa<=c0alock_holder
Na=aamemo2alock_holderaNoneIa=aapcs2alock_holderaWIa<alock_holderanAa<=c0alock_holder
a=aapass2abV109aTrueIa=aamemo2alock_holderaSomeV109FIa=aapcs2alock_holderaWIa<alock_holderanAa<=c0alock_holder
Na=aamemo2alock_holderaNoneIa=aapcs2alock_holderaR1Ia<alock_holderanAa<=c0alock_holder
a=aapass2abV110aTrueIa=aamemo2alock_holderaSomeV110FIa=aapcs2alock_holderaR1Ia<alock_holderanAa<=c0alock_holder
Na=aapass2V111aTrueIa<V111a*akanAa<=c0V111FIa=aapcs2alock_holderaR2Ia<alock_holderanAa<=c0alock_holder
Na=aapcs2alock_holderaA1Ia<alock_holderanAa<=c0alock_holder
Na=aapcs2alock_holderaA2Ia<alock_holderanAa<=c0alock_holder
Na=aapcs2alock_holderaIIa<alock_holderanAa<=c0alock_holder
a=V112V113Ia=aapass2V113aTrueAa=aapass2V112aTrueIa<V113a*akanAa<=c0V113Ia<V112a*akanAa<=c0V112F
ahas_lockaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
Na=aamemo2alock_holderaNoneIa<alock_holderanAa<=c0alock_holder
a=aactive_tickaSomeV114Ia=aamemo2alock_holderaSomeV114FIa<alock_holderanAa<=c0alock_holder
a=aaowners2abV116aSomeV115Ia=aamemo2V115aSomeV116FIa<V115anAa<=c0V115F
ahas_ticketaapcs2V117INa=aamemo2V117aNoneIa<V117anAa<=c0V117F
Na=aamemo2V118aNoneIahas_ticketaapcs2V118Ia<V118anAa<=c0V118F
amematick1aseqawaiting_list2
Na=aaowners2abatick1aNone
a=aapcs2V119aA2Ia=aaowners2abatick1aSomeV119F
a=aamemo2V119aSomeatick1Ia=aaowners2abatick1aSomeV119F
ahas_ticketaapcs2V76qNa=aamemo2V76aNoneIa<V76anAa<=c0V76F
CfaNonea=aamemo2V77aSomeatick1Aa=aapcs2V77aA2aSomeVaaowners2abatick1
CfaNonea=aamemo2V78aSomeV77Aa=aapcs2V78aA2aSomeVaaowners2abV77IamemV77aseqawaiting_list2F
a=ath1ath
Ca=aactive_tickaSomeV79OamemV79aseqawaiting_list2aSomeVtaNoneaamemo2ath1
Na=ath1ath
Ca=aactive_tickaSomeV79OamemV79aseqawaiting_list2aSomeVtaNoneaamemo1ath1
a=aamemo2ath1aamemo1ath1
Na=aaowners2abV119aNoneIamemV119aseqawaiting_list2F
a=aapcs2V121aA2Ia=aaowners2abV120aSomeV121FIamemV120aseqawaiting_list2F
a=aamemo2V123aSomeV122Ia=aaowners2abV122aSomeV123FIamemV122aseqawaiting_list2F
a=aactive_tickaSomeV125OamemV125aseqawaiting_list2Ia=aamemo2V124aSomeV125FIa<V124anAa<=c0V124F
Na=aapcs2ath1aA2Ia=aamemo2ath1aNone
amemV126aseqawaiting_list2Ia=aamemo2ath1aSomeV126F
Ca=aactive_tickaSomeV80OamemV80aseqawaiting_list2aSomeVtaNoneaamemo2V79Ia<V79anAa<=c0V79F
CNa=aapcs2ath1aA2aNoneamemV81aseqawaiting_list2aSomeVaamemo2ath1
CNa=aapcs2V81aA2aNoneamemV82aseqawaiting_list2aSomeVaamemo2V81INahas_lockaapcs2V81Ia<V81anAa<=c0V81F
a=alengthaseqawaiting_list2anumofapcs2aA2c0an
Ca=alock_holderc-1aNoneCfaNonea=avV62a+avV61c1aSomeVahdaseqawaiting_list2aSomeVaactive_tick
ia=aapass2abV63aTrueLagetaseqawaiting_list2c0fa=alengthaseqawaiting_list2c0Ia=alock_holderc-1
CtaNoneia=avV64a-avanext1alengthaseqawaiting_list2a=avV64a-avanext1alengthaseqawaiting_list2a=V64atickaSomeVahdaseqawaiting_list2
Nahas_lockaapcs2V65INa=V65alock_holderIa<V65anAa<=c0V65F
CtaNoneCfaNonea=abV68V66aSomeVaamemo2V67Aa<V67anAa<=c0V67aSomeVaaowners2V66Ia<V66a*akanAa<=c0V66F
Ca=alock_holderc-1aNonea=alock_holderV70Oa=alock_holderc-1aSomeVaaowners2abV69Ia=aapass2abV69aTrueF
CCfaNonea=aapass2abV71aTrueaSomeVaamemo2alock_holderaA3CfaNonea=aapass2abV72aTrueaSomeVaamemo2alock_holderaWCfaNonea=aapass2abV73aTrueaSomeVaamemo2alock_holderaR1Na=aapass2V74aTrueIa<V74a*akanAa<=c0V74FaR2fwaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
a=V75V76Ia=aapass2V76aTrueAa=aapass2V75aTrueIa<V76a*akanAa<=c0V76Ia<V75a*akanAa<=c0V75F
CfaNonea=aactive_tickaSomeV77aSomeVaamemo2alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners2abV79aSomeV78aSomeVtaNoneaamemo2V78Ia<V78anAa<=c0V78F
ahas_ticketaapcs2V80qNa=aamemo2V80aNoneIa<V80anAa<=c0V80F
CfaNonea=aamemo2V82aSomeV81Aa=aapcs2V82aA2aSomeVaaowners2abV81IamemV81aseqawaiting_list2F
Ca=aactive_tickaSomeV84OamemV84aseqawaiting_list2aSomeVtaNoneaamemo2V83Ia<V83anAa<=c0V83F
CNa=aapcs2V85aA2aNoneamemV86aseqawaiting_list2aSomeVaamemo2V85INahas_lockaapcs2V85Ia<V85anAa<=c0V85F
a<=a-avanext1alengthaseqawaiting_list2avatick1
a<avatick1avanext1
a<avatick1avanext1Aa<=a-avanext1alengthaseqawaiting_list2avatick1
a<avV83avanext1Aa<=a-avanext1alengthaseqawaiting_list2avV83IamemV83aseqawaiting_list2F
CtaNonea=avV84a-avanext1c1aSomeValastaseqawaiting_list2
CtaNonea=avV85a-avanext1alengthaseqawaiting_list2aSomeVahdaseqawaiting_list2
Ca=alock_holderc-1aNonea=aamemo2alock_holderaSomeV86Aa<alock_holderanAa<=c0alock_holderAa=avV86a-a-avanext1alengthaseqawaiting_list2c1ACa=avanext1a+avV86c1aNonea=avV87a+avV86c1aSomeVahdaseqawaiting_list2aSomeVaactive_tick
a<=alengthaseqawaiting_list2anAa<=c0alengthaseqawaiting_list2
a=aseqawaiting_list2aemptyAa=aapass2abanext1aTrueAa=aamemo2V88aNoneAa<V88anAa<=c0V88EOia=aapass2abagetaseqawaiting_list2c0aTruefa=alengthaseqawaiting_list2c0
a=aapcs1athaA2
a=aamemo1athaNone
f
unreachable point
a=aamemo1athaSomeax
a<abaxalength1apass2Aa<=c0abax
a=aapass2abaxaTrue
a=aactive_tick1aSomeax
a=alock_holder1ath
a=aeltsapcs2asetaeltsapcs1athaA3
a=apcs2aapcs1athaA3
Na=aseqawaiting_list1aempty
a=aseqawaiting_list2aaseqawaiting_list1c1
a=aapass2abatick'aTrue
a=abaxabatick'
fairness
amemaxaseqawaiting_list1
a=axatick'
a=axatick'ItOtOtOamematick'aseqawaiting_list1Aamemaxaseqawaiting_list1Aa=abaxabatick'
a=aamemo1athaSomeatick'
a=aactive_tick1aSomeatick'
a=aseqawaiting_list1aconsatick'aseqawaiting_list2
a=alengthaseqawaiting_list2c0
Namematick'aseqawaiting_list2
Na=alengthaseqawaiting_list2c0
a<avatick'avax
amematal
a<=c0ai
a<aialengthal
a=ataalai
a=ataaseqawaiting_list2a+aic1
altaxat
altaxatIa=ataalV57Ia<V57alengthalAa<=c0V57F
altaxV57IamemV57alF
iNamematick'aseqawaiting_list2Laaseqawaiting_list2c1Lagetaseqawaiting_list2c0Namematick'aseqawaiting_list2a=alengthaseqawaiting_list2c0
Namematick'aseqawaiting_list2ItOtOtOtOiNamematick'aseqawaiting_list2ItOtOaltV55V57ItOaltV55V57ItOa=V57aaseqawaiting_list2a+V58c1Ia=V57aV56V58Ia<V58alengthV56Aa<=c0V58FIamemV57V56FAa<avatick'avV55Laaseqawaiting_list2c1Lagetaseqawaiting_list2c0Namematick'aseqawaiting_list2a=alengthaseqawaiting_list2c0Aaconsecutiveaseqawaiting_list2Aaconsecutiveaseqawaiting_list1Aa=aseqawaiting_list1aconsatick'aseqawaiting_list2
amematick1aseqawaiting_list1
amematick2aseqawaiting_list1
a<avatick1avatick2
a<c0a-avatick2avatick1
a<a-avatick2avatick1a*akan
Na=amoda-avatick2avatick1a*akanc0
Na=amodavatick1a*akanamodavatick2a*akan
Na=abatick1abatick2
Na=abatick1abatick2ItOtOtOtONa=amodavatick1a*akanamodavatick2a*akanANa=amoda-avatick2avatick1a*akanc0Aa<a-avatick2avatick1a*akanAa<c0a-avatick2avatick1Aa<=a-a*c2anc1a-a*akanc1Aa<ana-a*c2anc1Aa<=alengthaseqawaiting_list1an
Na=abV55abV56Ia<avV55avV56IamemV56aseqawaiting_list1IamemV55aseqawaiting_list1F
amemataseqawaiting_list2
CfaNonea=aamemo1V57aSomeatAa=aapcs2V57aA2ItOtOtOtOtOtAa=aapcs2V57aapcs1V57ANa=athV57ANa=abatabatick'ANa=atatick'aSomeVaaowners1abat
Na=abV57abV58Ia<avV57avV58IamemV58aseqawaiting_list1IamemV57aseqawaiting_list1F
CfaNonea=aamemo1V60aSomeV59Aa=aapcs2V60aA2aSomeVaaowners1abV59IamemV59aseqawaiting_list2F
a=anumofapcs1aA2c0ananumofaapcs2athaA2aA2c0an
a=anumofapcs1aA2c0ana+anumofapcs2aA2c0anc1
CfaNonea=aamemo1V58aSomeV57Aa=aapcs2V58aA2aSomeVaaowners1abV57IamemV57aseqawaiting_list2F
a=anumofapcs1aA2c0ana+anumofapcs2aA2c0anc1ItOa=anumofapcs1aA2c0ananumofaapcs2athaA2aA2c0an
a<=a-avanextalengthaseqawaiting_list2avatItOtOtOtOtOa<a-avanextalengthaseqawaiting_list1avatAa=a-avanextalengthaseqawaiting_list1avatick'Aa=aseqawaiting_list1aconsatick'aseqawaiting_list2ANa=atatick'Aamemataseqawaiting_list1
a<=a-avanextalengthaseqawaiting_list2avV59IamemV59aseqawaiting_list2F
ia=avV60a-avanextalengthaseqawaiting_list2Aa=ahdaseqawaiting_list2aSomeV60ItOtOtOa=avV60a+avatick'c1Aaconsecutiveaseqawaiting_list1Aa=aseqawaiting_list1aconsatick'aconsV60aaseqawaiting_list2c1Lagetaseqawaiting_list2c0ta=alengthaseqawaiting_list2c0
ia=avV60a-avanextalengthaseqawaiting_list2Aa=ahdaseqawaiting_list2aSomeV60Lagetaseqawaiting_list2c0ta=alengthaseqawaiting_list2c0
Na=ath1alock_holder1
Nahas_lockaapcs2V61INa=V61alock_holder1Ia<V61anAa<=c0V61F
a<alock_holder1anAa<=c-1alock_holder1
CtaNoneCfaNonea=abV63ab1aSomeVaamemo1V62Aa<V62anAa<=c0V62aSomeVaaowners1ab1
CtaNoneCfaNonea=abV64V62aSomeVaamemo1V63Aa<V63anAa<=c0V63aSomeVaaowners1V62Ia<V62a*akanAa<=c0V62F
Ca=alock_holder1c-1aNonea=alock_holder1V65Oa=alock_holder1c-1aSomeVaaowners1abatick
Ca=alock_holder1c-1aNonea=alock_holder1V66Oa=alock_holder1c-1aSomeVaaowners1abV65Ia=aapass2abV65aTrueF
a<=c0alock_holder1
a<alock_holder1an
CCfaNonea=aapass2abV67aTrueaSomeVaamemo1alock_holder1aR1OaWOaA3Na=aapass2V68aTrueIa<V68a*akanAa<=c0V68FaR2fwaapcs2alock_holder1
CCfaNonea=aapass2abV67aTrueaSomeVaamemo1alock_holder1aR1OaWOaA3Na=aapass2V68aTrueIa<V68a*akanAa<=c0V68FaR2fwaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
a=V69V70Ia=aapass2V70aTrueAa=aapass2V69aTrueIa<V70a*akanAa<=c0V70Ia<V69a*akanAa<=c0V69F
CfaNonea=aactive_tick1aSomeV71aSomeVaamemo1alock_holder1Aahas_lockaapcs2alock_holder1
CfaNonea=aactive_tick1aSomeV71aSomeVaamemo1alock_holder1Aahas_lockaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
Ca=aaowners1abV72aSomeath1aSomeVtaNoneaamemo1ath1
Ca=aaowners1abV73aSomeV72aSomeVtaNoneaamemo1V72Ia<V72anAa<=c0V72F
ahas_ticketaapcs2V74qNa=aamemo1V74aNoneIa<V74anAa<=c0V74F
amematickaseqawaiting_list2
CfaNonea=aamemo1V75aSomeatickAa=aapcs2V75aA2aSomeVaaowners1abatick
CfaNonea=aamemo1V76aSomeV75Aa=aapcs2V76aA2aSomeVaaowners1abV75IamemV75aseqawaiting_list2F
Ca=aactive_tick1aSomeV77OamemV77aseqawaiting_list2aSomeVtaNoneaamemo1ath1
Ca=aactive_tick1aSomeV78OamemV78aseqawaiting_list2aSomeVtaNoneaamemo1V77Ia<V77anAa<=c0V77F
CNa=aapcs2ath1aA2aNoneamemV79aseqawaiting_list2aSomeVaamemo1ath1
CNa=aapcs2V79aA2aNoneamemV80aseqawaiting_list2aSomeVaamemo1V79INahas_lockaapcs2V79Ia<V79anAa<=c0V79F
a<avatickavanextAa<=a-avanextalengthaseqawaiting_list2avatick
a<avV81avanextAa<=a-avanextalengthaseqawaiting_list2avV81IamemV81aseqawaiting_list2F
CtaNonea=avV82a-avanextc1aSomeValastaseqawaiting_list2
CtaNonea=avV83a-avanextalengthaseqawaiting_list2aSomeVahdaseqawaiting_list2
Ca=alock_holder1c-1aNonea=aamemo1alock_holder1aSomeV84Aa<alock_holder1anAa<=c0alock_holder1Aa=avV84a-a-avanextalengthaseqawaiting_list2c1ACa=avanexta+avV84c1aNonea=avV85a+avV84c1aSomeVahdaseqawaiting_list2aSomeVaactive_tick1
a=alock_holder1c-1
a=aseqawaiting_list2aemptyAa=aapass2abanextaTrueAa=aamemo1V86aNoneAa<V86anAa<=c0V86EOia=aapass2abagetaseqawaiting_list2c0aTruefa=alengthaseqawaiting_list2c0
Na=aapass2abaxaTrue
Nahas_lockaapcs1ath1
Nahas_lockaapcs1V55INa=V55alock_holderIa<V55anAa<=c0V55F
CCfaNonea=aapass2abV61aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass2V62aTrueIa<V62a*akanAa<=c0V62FaR2fwaapcs1alock_holder
CCfaNonea=aapass2abV61aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass2V62aTrueIa<V62a*akanAa<=c0V62FaR2fwaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
CfaNonea=aactive_tickaSomeV65aSomeVaamemo1alock_holderAahas_lockaapcs1alock_holder
CfaNonea=aactive_tickaSomeV65aSomeVaamemo1alock_holderAahas_lockaapcs1alock_holderIa<alock_holderanAa<=c0alock_holder
ahas_ticketaapcs1ath1qNa=aamemo1ath1aNone
ahas_ticketaapcs1V68qNa=aamemo1V68aNoneIa<V68anAa<=c0V68F
CfaNonea=aamemo1V69aSomeatickAa=aapcs1V69aA2aSomeVaaowners1abatick
CfaNonea=aamemo1V70aSomeV69Aa=aapcs1V70aA2aSomeVaaowners1abV69IamemV69aseqawaiting_list1F
CNa=aapcs1ath1aA2aNoneamemV73aseqawaiting_list1aSomeVaamemo1ath1
CNa=aapcs1V73aA2aNoneamemV74aseqawaiting_list1aSomeVaamemo1V73INahas_lockaapcs1V73Ia<V73anAa<=c0V73F
a=aapcs1athaA3
a=aeltsapcs2asetaeltsapcs1athaW
a=apcs2aapcs1athaW
a=aapcs1athaW
a=aeltsapcs2asetaeltsapcs1athaR1
a=apcs2aapcs1athaR1
a=aapcs1athaR1
a<=c0ab'
a<ab'a*akan
a=aapass2ab'aTrue
a=ab'abax
a=V55abaxIa=aapass2V55aTrueIa<V55a*akanAa<=c0V55F
a=alength1apass3alength1apass2
a=aeltsapass3asetaeltsapass2abaxaFalse
a=apass3aapass2abaxaFalse
a=aeltsapcs2asetaeltsapcs1athaR2
a=apcs2aapcs1athaR2
Nahas_lockaapcs2V56INa=V56alock_holderIa<V56anAa<=c0V56F
CtaNoneCfaNonea=abV58ab1aSomeVaamemo1V57Aa<V57anAa<=c0V57aSomeVaaowners1ab1
CtaNoneCfaNonea=abV59V57aSomeVaamemo1V58Aa<V58anAa<=c0V58aSomeVaaowners1V57Ia<V57a*akanAa<=c0V57F
a=aapass3abatickaTrue
Ca=alock_holderc-1aNonea=alock_holderV60Oa=alock_holderc-1aSomeVaaowners1abatick
Ca=alock_holderc-1aNonea=alock_holderV61Oa=alock_holderc-1aSomeVaaowners1abV60Ia=aapass3abV60aTrueF
CCfaNonea=aapass3abV62aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass3V63aTrueIa<V63a*akanAa<=c0V63FaR2fwaapcs2alock_holder
CCfaNonea=aapass3abV62aTrueaSomeVaamemo1alock_holderaR1OaWOaA3Na=aapass3V63aTrueIa<V63a*akanAa<=c0V63FaR2fwaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
a=aapass3ab1aTrue
a=aapass3ab2aTrue
a=V64V65Ia=aapass3V65aTrueAa=aapass3V64aTrueIa<V65a*akanAa<=c0V65Ia<V64a*akanAa<=c0V64F
CfaNonea=aactive_tickaSomeV66aSomeVaamemo1alock_holderAahas_lockaapcs2alock_holder
CfaNonea=aactive_tickaSomeV66aSomeVaamemo1alock_holderAahas_lockaapcs2alock_holderIa<alock_holderanAa<=c0alock_holder
Ca=aaowners1abV67aSomeath1aSomeVtaNoneaamemo1ath1
Ca=aaowners1abV68aSomeV67aSomeVtaNoneaamemo1V67Ia<V67anAa<=c0V67F
ahas_ticketaapcs2V69qNa=aamemo1V69aNoneIa<V69anAa<=c0V69F
CfaNonea=aamemo1V70aSomeatickAa=aapcs2V70aA2aSomeVaaowners1abatick
CfaNonea=aamemo1V71aSomeV70Aa=aapcs2V71aA2aSomeVaaowners1abV70IamemV70aseqawaiting_list1F
Ca=aactive_tickaSomeV72OamemV72aseqawaiting_list1aSomeVtaNoneaamemo1ath1
Ca=aactive_tickaSomeV73OamemV73aseqawaiting_list1aSomeVtaNoneaamemo1V72Ia<V72anAa<=c0V72F
CNa=aapcs2ath1aA2aNoneamemV74aseqawaiting_list1aSomeVaamemo1ath1
CNa=aapcs2V74aA2aNoneamemV75aseqawaiting_list1aSomeVaamemo1V74INahas_lockaapcs2V74Ia<V74anAa<=c0V74F
a<avV76avanextAa<=a-avanextalengthaseqawaiting_list1avV76IamemV76aseqawaiting_list1F
CtaNonea=avV77a-avanextc1aSomeValastaseqawaiting_list1
CtaNonea=avV78a-avanextalengthaseqawaiting_list1aSomeVahdaseqawaiting_list1
Ca=alock_holderc-1aNonea=aamemo1alock_holderaSomeV79Aa<alock_holderanAa<=c0alock_holderAa=avV79a-a-avanextalengthaseqawaiting_list1c1ACa=avanexta+avV79c1aNonea=avV80a+avV79c1aSomeVahdaseqawaiting_list1aSomeVaactive_tick
a=aseqawaiting_list1aemptyAa=aapass3abanextaTrueAa=aamemo1V81aNoneAa<V81anAa<=c0V81EOia=aapass3abagetaseqawaiting_list1c0aTruefa=alengthaseqawaiting_list1c0
a=aapcs1athaR2
Na=aapass2ab1aTrueItOa=aactive_tickaSomeax
Na=aapass2V55aTrueIa<V55a*akanAa<=c0V55F
a<antalength1apass2Aa<=c0ant
a=aeltsapass3asetaeltsapass2antaTrue
a=apass3aapass2antaTrue
a=ab1ant
a=V56antIa=aapass3V56aTrueIa<V56a*akanAa<=c0V56F
a=aeltsamemo2asetaeltsamemo1athaNone
a=amemo2aamemo1athaNone
a=aaowners1abaxaSomeath
a<abaxalength1aowners1Aa<=c0abax
a=aeltsaowners2asetaeltsaowners1abaxaNone
a=aowners2aaowners1abaxaNone
a=aactive_tick1aNone
Na=aapass2V57aTrueIa<V57a*akanAa<=c0V57F
a=V58antIa=aapass3V58aTrueIa<V58a*akanAa<=c0V58F
a=aeltsapcs2asetaeltsapcs1athaI
a=apcs2aapcs1athaI
a=avaxa+a*a*akanadabax
a=amoda+avaxc1a*akanamoda+a*a*akanada+abaxc1a*akan
a=amoda+a*a*akanada+abaxc1a*akanamoda+abaxc1a*akan
a=amoda+abaxc1a*akanant
a=avaxa+a*a*akanV59abaxLadivavaxa*akan
a=amoda+avaxc1a*akanamoda+a*a*akanV60a+abaxc1a*akanLadivavaxa*akan
a=amoda+a*a*akanV61a+abaxc1a*akanamoda+abaxc1a*akanLadivavaxa*akan
a=amoda+abaxc1a*akanantLadivavaxa*akan
a=antamoda+avaxc1a*akan
a=antamoda+avaxc1a*akanItOtOa=amoda+abaxc1a*akanantAa=amoda+a*a*akanV57a+abaxc1a*akanamoda+abaxc1a*akanAa=amoda+avaxc1a*akanamoda+a*a*akanV57a+abaxc1a*akanAa=avaxa+a*a*akanV57abaxLadivavaxa*akan
ia=aapass3abV57aTrueItOtOa=abV57antAa=avV57a+avaxc1Lagetaseqawaiting_list1c0a=aapass3abanextaTrueItOtOa=aamemo2V58aNoneEAa=abanextantAa=avanexta+avaxc1a=alengthaseqawaiting_list1c0
ia=aapass3abV59aTrueLagetaseqawaiting_list1c0a=aapass3abanextaTruea=alengthaseqawaiting_list1c0
a<=c0ath'
a<ath'an
Na=athath'
a=aamemo1ath'aSomeax1
a=aactive_tickaSomeax1Oamemax1aseqawaiting_list1
a=aamemo2ath'aSomeax1
a=aamemo2ath'aamemo1ath'
Na=aamemo1athaamemo1ath'
asserted formula
Na=axax1
Na=aactive_tickaSomeax1
amemax1aseqawaiting_list1
ia=aapass3abV57aTrueLagetaseqawaiting_list1c0a=aapass3abanextaTruea=alengthaseqawaiting_list1c0
CtaNoneamemV58aseqawaiting_list1ItOtOtOtONa=aactive_tickaSomeV58ANa=axV58Aa=aactive_tickaSomeV58OamemV58aseqawaiting_list1AtaSomeVaamemo2ath'
CtaNoneamemV59aseqawaiting_list1aSomeVaamemo2V58INa=athV58Ia<V58anAa<=c0V58F
Nahas_lockaapcs2V60INa=V60alock_holder1Ia<V60anAa<=c0V60F
a=ab1abax
CtaNoneCfaNonea=abV62ab1aSomeVaamemo2V61Aa<V61anAa<=c0V61aSomeVaaowners2ab1
Na=ab1abax
a=aaowners1ab1aSomeax1
a<=c0ax1
a<ax1an
Na=aamemo2ax1aNone
a=aamemo2ax1aSomeax2
Na=ax1ath
a=aamemo1ax1aSomeax2
a=abax2ab1
a=aamemo2ax1aamemo1ax1
CtaNoneCfaNonea=abV62ab1aSomeVaamemo2V61Aa<V61anAa<=c0V61aSomeVaaowners1ab1
CtaNoneCfaNonea=abV63V61aSomeVaamemo2V62Aa<V62anAa<=c0V62aSomeVaaowners2V61Ia<V61a*akanAa<=c0V61F
Ca=alock_holder1c-1aNonea=alock_holder1V64Oa=alock_holder1c-1aSomeVaaowners2abatick
Ca=alock_holder1c-1aNonea=alock_holder1V65Oa=alock_holder1c-1aSomeVaaowners2abV64Ia=aapass3abV64aTrueF
CCfaNonea=aapass3abV66aTrueaSomeVaamemo2alock_holder1aR1OaWOaA3Na=aapass3V67aTrueIa<V67a*akanAa<=c0V67FaR2fwaapcs2alock_holder1
CCfaNonea=aapass3abV66aTrueaSomeVaamemo2alock_holder1aR1OaWOaA3Na=aapass3V67aTrueIa<V67a*akanAa<=c0V67FaR2fwaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
a=V68V69Ia=aapass3V69aTrueAa=aapass3V68aTrueIa<V69a*akanAa<=c0V69Ia<V68a*akanAa<=c0V68F
CfaNonea=aactive_tick1aSomeV70aSomeVaamemo2alock_holder1Aahas_lockaapcs2alock_holder1
CfaNonea=aactive_tick1aSomeV70aSomeVaamemo2alock_holder1Aahas_lockaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
Ca=aaowners2abV71aSomeath1aSomeVtaNoneaamemo2ath1
Ca=aaowners2abV72aSomeV71aSomeVtaNoneaamemo2V71Ia<V71anAa<=c0V71F
CtaNoneamemV61aseqawaiting_list1aSomeVaamemo2V60INa=athV60Ia<V60anAa<=c0V60F
Nahas_lockaapcs2V62INa=V62alock_holder1Ia<V62anAa<=c0V62F
a<=c-1alock_holder1
CtaNoneCfaNonea=abV65V63aSomeVaamemo2V64Aa<V64anAa<=c0V64aSomeVaaowners2V63Ia<V63a*akanAa<=c0V63F
Ca=alock_holder1c-1aNonea=alock_holder1V67Oa=alock_holder1c-1aSomeVaaowners2abV66Ia=aapass3abV66aTrueF
CCfaNonea=aapass3abV68aTrueaSomeVaamemo2alock_holder1aA3CfaNonea=aapass3abV69aTrueaSomeVaamemo2alock_holder1aWCfaNonea=aapass3abV70aTrueaSomeVaamemo2alock_holder1aR1Na=aapass3V71aTrueIa<V71a*akanAa<=c0V71FaR2fwaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
a=V72V73Ia=aapass3V73aTrueAa=aapass3V72aTrueIa<V73a*akanAa<=c0V73Ia<V72a*akanAa<=c0V72F
ahas_lockaapcs2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
CfaNonea=aactive_tick1aSomeV74aSomeVaamemo2alock_holder1Ia<alock_holder1anAa<=c0alock_holder1
Ca=aaowners2abV76aSomeV75aSomeVtaNoneaamemo2V75Ia<V75anAa<=c0V75F
ahas_ticketaapcs2V77qNa=aamemo2V77aNoneIa<V77anAa<=c0V77F
Na=aaowners2abatickaNone
a=aaowners2abatickaSomeax1
a=aapcs2ax1aA2
a=aamemo2ax1aSomeatick
ahas_ticketaapcs2V73qNa=aamemo2V73aNoneIa<V73anAa<=c0V73F
CfaNonea=aamemo2V74aSomeatickAa=aapcs2V74aA2aSomeVaaowners2abatick
CfaNonea=aamemo2V75aSomeV74Aa=aapcs2V75aA2aSomeVaaowners2abV74IamemV74aseqawaiting_list1F
Ca=aactive_tick1aSomeV76OamemV76aseqawaiting_list1aSomeVtaNoneaamemo2ath1
Ca=aactive_tick1aSomeV77OamemV77aseqawaiting_list1aSomeVtaNoneaamemo2V76Ia<V76anAa<=c0V76F
CNa=aapcs2ath1aA2aNoneamemV78aseqawaiting_list1aSomeVaamemo2ath1
CNa=aapcs2V78aA2aNoneamemV79aseqawaiting_list1aSomeVaamemo2V78INahas_lockaapcs2V78Ia<V78anAa<=c0V78F
a<avV80avanextAa<=a-avanextalengthaseqawaiting_list1avV80IamemV80aseqawaiting_list1F
CtaNonea=avV81a-avanextc1aSomeValastaseqawaiting_list1
CtaNonea=avV82a-avanextalengthaseqawaiting_list1aSomeVahdaseqawaiting_list1
Ca=alock_holder1c-1aNonea=aamemo2alock_holder1aSomeV83Aa<alock_holder1anAa<=c0alock_holder1Aa=avV83a-a-avanextalengthaseqawaiting_list1c1ACa=avanexta+avV83c1aNonea=avV84a+avV83c1aSomeVahdaseqawaiting_list1aSomeVaactive_tick1
a=aseqawaiting_list1aemptyAa=aapass3abanextaTrueAa=aamemo2V85aNoneAa<V85anAa<=c0V85EOia=aapass3abagetaseqawaiting_list1c0aTruefa=alengthaseqawaiting_list1c0
Ca=aseqV38aemptyAa=aV44abV43aTrueAa=aV41V48aNoneAa<V48anAa<=c0V48EOia=aV44abagetaseqV38c0aTruefa=alengthaseqV38c0Ia=V39c-1Aa<=alengthaseqV38anAa<=c0alengthaseqV38ACa=V39c-1aNonea=aV41V39aSomeV49Aa<V39anAa<=c0V39Aa=avV49a-a-avV43alengthaseqV38c1ACa=avV43a+avV49c1aNonea=avV50a+avV49c1aSomeVahdaseqV38aSomeVV37ACtaNonea=avV51a-avV43alengthaseqV38aSomeVahdaseqV38ACtaNonea=avV52a-avV43c1aSomeValastaseqV38Aa<avV53avV43Aa<=a-avV43alengthaseqV38avV53IamemV53aseqV38FAa=alengthaseqV38anumofV47aA2c0anAaconsecutiveaseqV38ACNa=aV47V54aA2aNoneamemV55aseqV38aSomeVaV41V54INahas_lockaV47V54Ia<V54anAa<=c0V54FACa=V37aSomeV57OamemV57aseqV38aSomeVtaNoneaV41V56Ia<V56anAa<=c0V56FACfaNonea=aV41V59aSomeV58Aa=aV47V59aA2aSomeVaV40abV58IamemV58aseqV38FAahas_ticketaV47V60qNa=aV41V60aNoneIa<V60anAa<=c0V60FACa=aV40abV62aSomeV61aSomeVtaNoneaV41V61Ia<V61anAa<=c0V61FACfaNonea=V37aSomeV63aSomeVaV41V39Aahas_lockaV47V39Ia<V39anAa<=c0V39Aa=V64V65Ia=aV44V65aTrueAa=aV44V64aTrueIa<V65a*akanAa<=c0V65Ia<V64a*akanAa<=c0V64FACCfaNonea=aV44abV66aTrueaSome

b8f80ce9265a99c284db62a627ffa3eb 3H2H1H0
94c4ae38ee3c13c826c5fc6e4b7cba08 11H26H4H1H0
91e010b88e64adfe6bc881ff6d823b16 8H19H4H1H0
043844113993a41a9a993cddbfdb388e 8H9H4H1H0
8677493ca31e5bd1d02926ce62b934e0 8H7H4H1H0
a1464fe551cbd72ce2d7b35c01f38796 6H5H4H1H0
787b5936706da0a75207e9461ca6dfb6 11H10H9H4H1H0
f1e6ab06825c4f6ed8c004f44e3a2049 11H12H10H9H4H1H0
888c49ef3a6ba298856c9f92f6460293 11H13H10H9H4H1H0
be6c76cc4685149ed565463b87cb9896 11H18H17H16H15H14H4H1H0
aea3dd23d64f71f8c2a5e597ec5fd527 20H5H18H4H1H0
3c4665874f0ad1d618f6c196b9281f95 20H21H18H4H1H0
57c5dc65124f1b3b7aca675d993f16b3 24H23H23H22H18H4H1H0
e19ae0eb6e8847ff768e9874bc7f79d2 24H25H23H23H22H18H4H1H0
c9c627673307b723219b325cd5e2e31f 28H27H4H1H0
265141f16a513996fd667632717a4e80 30H29H27H4H1H0
355f1d8acc328f6a59c889ffee2a7181 33H32H31H27H4H1H0
ceb15791c7ec34698038c9f16d593054 35H34H32H31H27H4H1H0
56f1b3bea0983076d7f3ef7190072d15 38H37H36H32H31H27H4H1H0
f2a9ffc776deefc4c361c949a5f00233 47H46H37H36H32H31H27H4H1H0
498a7bc41f7daffbdee82bd63bd8c19d 8H42H41H40H39H37H36H32H31H27H4H1H0
6e839b465e8b71610d4d840bc22deb2c 8H43H42H41H40H39H37H36H32H31H27H4H1H0
0a9bc89b7067d092e9dcfdfff0d7b721 8H44H43H42H41H40H39H37H36H32H31H27H4H1H0
1afbe9a81e42a433f39a60b05fb132ba 24H45H44H43H42H41H40H39H37H36H32H31H27H4H1H0
827aea4560e89a5e032f39fa94a7384e 33H59H48H37H36H32H31H27H4H1H0
d44d5ef613670a552118694d034e107b 33H51H50H49H48H37H36H32H31H27H4H1H0
90e3d33b5f41b30f77d62963a4f5540f 33H52H51H50H49H48H37H36H32H31H27H4H1H0
36f382c9f76ca2882fb16969d32bac6e 33H53H52H51H50H49H48H37H36H32H31H27H4H1H0
66d2dc6e320fb9a806fd64643436ba6b 33H56H53H52H51H50H49H48H37H36H32H31H27H4H1H0
18d55ed71c383366ad122724f8a28748 33H55H54H49
82d76226c3992157b5039797abacb629 33H57H53H52H51H50H49H48H37H36H32H31H27H4H1H0
919faa1e54422e26703e399b1e7a338c 33H58H57H56H53H52H51H50H49H48H37H36H32H31H27H4H1H0
dcfcc7e7e7358bd8cb924a62c30676f1 274H725H59H48H37H36H32H31H27H4H1H0
cd04dce6518d4e796b4b57acd6fcf766 61H60H59H48H37H36H32H31H27H4H1H0
e844093bd73e5d5f41a0207df71244e1 65H64H63H62H59H48H37H36H32H31H27H4H1H0
77d9a197b420e6b81b35a842d784c31d 20H2H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
50cdf536e432806120c2d890afee6c1d 61H71H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7bc708f63d616a9a7a0cd787b3148d4c 61H71H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
73cd9fc2003bc58c43c6e915090ccd0f 61H60H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
86917a0f0cb99530db58c1012bebc5a2 83H82H81H80H79H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
57bf2d41b2b45884a20cac91c10b0f52 86H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fe160690c2176a561ab1287c01e06bbc 86H89H88H87H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2806a52d91ce06511c3e671d35548030 86H92H91H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6b27c7f782fe6296ce56e22bf2309efa 86H96H95H94H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a03bc92dc469ca18a1a9bd08a0c9ada7 86H102H101H100H99H98H88H87H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
06a0d78cb7032d85c9b9c836dcd38af0 86H104H95H94H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
259060223781b1224bd5cd609f510168 86H106H80H79H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
76a70e36a1780ddadfa185fba4197fb1 86H108H80H79H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
46cd6196ef6105b71c19c4157c5cbad7 86H111H110H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3a9dfb795e69faafdb0c4e4036130870 86H113H80H79H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1ef8f93dda6879c1200a6000426c13a7 86H115H82H80H79H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
09e99b73c3a7c746782ed64ef14a9f2c 86H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7aa19a8423e3b947c134454491a55d26 86H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1b8f4448d95f7e7cba03eed578f48949 86H119H110H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ada1fdeb560bd24f9d4baba9c370b594 86H121H120H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2b24f462ba38c4270e2215f1a0add42d 86H122H121H120H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6c31a8bef052c8c8acc4e32692f8d071 86H123H122H121H120H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
36d6013a5ecc94e92bd7e0e459b5ea01 86H124H123H122H121H120H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5cbdf55f6eee409fe44a3cb99e44711a 177H181H124H123H122H121H120H118H117H116H114H112H109H107H105H103H97H93H90H85H84H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
34a233c91186d886c520d082e65d8ae7 177H176H175H174H173H172H171H170H118H117H169H168H167H166H165H164H163H162H161H160H159H158H157H156H155H154H153H152H151H150H149H148H147H146H145H144H143H95H142H141H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
4a77c16bbd673443fbf617068275a933 177H178H175H174H173H172H171H170H118H117H169H168H167H166H165H164H163H162H161H160H159H158H157H156H155H154H153H152H151H150H149H148H147H146H145H144H143H95H142H141H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
3bb6b66ec1cef6edf20b64d1fcb5ff22 177H179H175H174H173H172H171H170H118H117H169H168H167H166H165H164H163H162H161H160H159H158H157H156H155H154H153H152H151H150H149H148H147H146H145H144H143H95H142H141H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
f53de5b4fd19d11d836c14751f25590d 177H180H175H174H173H172H171H170H118H117H169H168H167H166H165H164H163H162H161H160H159H158H157H156H155H154H153H152H151H150H149H148H147H146H145H144H143H95H142H141H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
db37e4764f6fb7aa0b49f58478d6b07b 65H208H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
23c803e927b63cf7d847caebce2af29b 65H208H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f056b9bc248366122768d1af1aeddc0c 83H216H215H214H213H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b886b05179a8f2f41a07f882810f4fd2 219H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
39ae9831625e581d17ab47881508cdfe 219H220H88H87H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
994d256b98a8050806fe9b6a0b1903f2 219H223H222H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c14aa98aba652ec93543d4113964ddc8 219H226H188H225H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
428aa53f9e148958e7060004c7ff58d9 219H102H229H228H99H98H88H87H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b9ce7010799c7ec50bbd696d35fa0b51 219H231H188H225H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
abf901329dd23e913267dbbe967f2ad2 219H233H214H213H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
aaa2bab80b733d97d7d5e983516eea20 219H235H214H213H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
41f54fcaea301eb033dfb0ac79c33df7 219H238H237H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e1fd4a3ba3c180d17c5322db36883904 219H240H214H213H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
80c07771e33dd425c1e9842df5570e8d 219H242H216H214H213H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fc282891c4a338f45cfa369bae552ec2 219H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
665b35217c64e3273e97a964f7b52209 219H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
dadfbb21dd0018a5164d25cd3eb199de 219H245H237H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e587ba7030a023757a6ba32f85a750f6 219H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4e69f75954c6f16fe94595dd1e73eaa8 219H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4e9cd6e42514cadabd9070168fa186de 219H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1289e9f4d93d0c73c721e2cd342d2539 219H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
841e20acaa63d17e06ac0566e9d0519b 177H252H251H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H212H211H210H209H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
234cc5d1bac3b4e8638537814c5ad491 8H294H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
425aec6b5bc013d4d67f391c5452c2eb 8H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
53815cd97c627ebfea96a78f2cb81ff5 8H270H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
85afaf220d5743ccd632f464cfc8372a 8H271H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0ec0049ad4b97f5cd4650faf55b4dd5e 274H273H272H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9b9598165638344548348ac3eed2c4b2 274H275H272H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
551fa115c7563ad88f46dc127272c089 274H276H275H273H272H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6aac2bc836cfeb9e2a9c673bb27c737a 274H277H276H275H273H272H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f18c557b3641ef8c8788ea42ae47b34a 274H278H277H276H275H273H272H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6bf0589d9e0d9fc7813184365336ec05 274H281H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3b16d1979d311e9264dabf7ae2672e6a 274H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cc541646045402e1faae5e3aa1ec1556 274H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eba38c9525439bd9fc3e5b638482480e 274H285H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3709e2d51c382cd8fc621daf43daff9d 274H286H285H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c450ba35a3a4d562d562dcb698a8463a 274H287H285H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cd6c0e79af179b9d1f7d00f6518c0553 274H288H287H286H285H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8bf2d4a952691881446bd3594644e865 274H289H288H287H286H285H284H283H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fee35945187763d97ce897bb91dae9e7 274H290H282H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
620b50c0845eff5e44b50dfab17f6249 274H291H280H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0beba49f29f6cf3e92447e76fa40c63f 274H293H292H279H271H270H206H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eac7a5dda28bd0579f715e347a04f1cf 8H295H214H213H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
abff2040fa75c93bdacc55ae4ec8a4a8 65H297H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eeb1c2ccf47935981807fcca27dca3ed 65H301H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
913af7b44f2a02c69a55ea5b1215c3e9 65H208H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8b33e39e800717c4b111ddee633ff944 8H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e01e67f84cf3ce91d28fbf32bf9e9842 8H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
06c93290bc711dc283d4c970c0049a48 8H309H272H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9ca676ac8cb30403e56645b3714fe0d8 8H321H272H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3c3531615f113614c046de532f17d191 8H313H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b9ed8d5d6acfe55caffcc5bb2fb03210 8H315H314H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
361c1b6ea3931680b35b9f7e54b9be20 274H316H315H314H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
58374e2533a74a63c864303b7f618bb2 274H317H316H315H314H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4af95938042ebcc0d9da17ece59a17e6 274H318H317H316H315H314H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
88db995d861d821ba14129e32a89cfed 274H319H317H316H315H314H272H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f3db1779eab370da88d7e5c46856dd2c 8H329H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
edaced6a60735364111339a6fa00b6ec 8H324H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
97e4c1fcb13c3fcd3bdd24d015088f69 274H327H324H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9bbe6b5ec0e1618c7721718bbd790a3b 274H326H324H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
751710932a8c87fca97a1aafe9515059 6H199H324H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
df0dad82470043aa21a354f1f330b466 6H325H324H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3a73551118f01886521116ef1de76367 8H330H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2b5df4e964ef405386b88acecb5b9343 8H332H251H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fe8aeb5bb72bded7f19f43e77922871b 8H334H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
deb62365c905bf0dd9adb76ed69abf02 83H216H215H214H213H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c5bc3a936a23f943dfaf5e6631f1ac73 219H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3ec459a4d28b9c159d7dca561eb1e71c 219H338H88H87H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
31307cff0a3e35d59b40f304f77e1e26 339H338H337H88H87H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
39777dd91e827ca7e56a2fea990833ce 342H338H340H88H87H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
48c16645f354663417dee4fe32d7f10d 342H341H340H88H87H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b3cd18ad7e8252674afe98eeb1205275 344H343H340H88H87H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4095f9a7b3ca097dd87e1f30ed466221 219H347H346H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9f554d11e9cc6fe7f47857aabc45b8e5 219H349H188H225H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9936991aaae4d59d5c9f0cf0d803f3cf 219H102H229H228H99H98H88H87H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0ff2c7297d522c0780a27c499dbdbf09 219H352H188H225H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0bb2ca808d932de4bfa55ab0a74c55d6 219H354H214H213H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
daf4a9ee33166bc8c58a069f37502feb 219H356H214H213H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c6ee23a77947ea145dd0917b57adfa17 219H442H437H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
191a6e0fc2d176de3f232e6770794db6 274H438H437H436H435H434H433H432H431H430H429H428H427H426H425H424H423H422H421H420H419H418H417H416H415H414H188H187H413H412H411H410H409H408H407H390H327H323H406H405H404H403H402H311H307H306H305H210H304H303H302H300H299H298H401H293H269H268H267H80H79H400H399H398H397H206H205H396H395H394H393H392H391H390H389H388H387H386H200H199H385H384H383H382H381H380H379H378H377H376H375H255H374H373H372H371H370H369H368H367H366H365H364H363H362H361H360H359H358H188H187H357H185H184H183H182H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
ce9c026b6d6fe2db1d6afda018d2e421 274H439H437H436H435H434H433H432H431H430H429H428H427H426H425H424H423H422H421H420H419H418H417H416H415H414H188H187H413H412H411H410H409H408H407H390H327H323H406H405H404H403H402H311H307H306H305H210H304H303H302H300H299H298H401H293H269H268H267H80H79H400H399H398H397H206H205H396H395H394H393H392H391H390H389H388H387H386H200H199H385H384H383H382H381H380H379H378H377H376H375H255H374H373H372H371H370H369H368H367H366H365H364H363H362H361H360H359H358H188H187H357H185H184H183H182H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
3aaf4183b43490bf7afb3d17d5648cda 274H440H437H436H435H434H433H432H431H430H429H428H427H426H425H424H423H422H421H420H419H418H417H416H415H414H188H187H413H412H411H410H409H408H407H390H327H323H406H405H404H403H402H311H307H306H305H210H304H303H302H300H299H298H401H293H269H268H267H80H79H400H399H398H397H206H205H396H395H394H393H392H391H390H389H388H387H386H200H199H385H384H383H382H381H380H379H378H377H376H375H255H374H373H372H371H370H369H368H367H366H365H364H363H362H361H360H359H358H188H187H357H185H184H183H182H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
259f0fa25ad3585f11dcd99c3d8c0733 219H445H214H213H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b1fe7aa0a17e6f9039ffa3a2a5c3ccaf 339H445H444H214H213H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ea07210daf3a04a8b14f29ebfd3031b1 342H445H446H214H213H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1aba4a0eb6ec34fbf5bed5f8f945cc18 342H447H446H214H213H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a1aa2f652c35a68281221a388fd0c935 344H448H446H214H213H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a432126285ecd2aca722c34a85a0df3f 219H456H216H214H213H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0e50d3b6f4cde7e3163af294b5645055 274H453H216H214H213H452H451H450H449H436H435H434H433H432H431H430H429H428H427H426H425H424H423H422H421H420H419H418H417H416H415H414H188H187H413H412H411H410H409H408H407H390H327H323H406H405H404H403H402H311H307H306H305H210H304H303H302H300H299H298H401H293H269H268H267H80H79H400H399H398H397H206H205H396H395H394H393H392H391H390H389H388H387H386H200H199H385H384H383H382H381H380H379H378H377H376H375H255H374H373H372H371H370H369H368H367H366H365H364H363H362H361H360H359H358H188H187H357H185H184H183H182H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
eca5171e1d4ee7059b4bc935db864698 274H454H216H214H213H452H451H450H449H436H435H434H433H432H431H430H429H428H427H426H425H424H423H422H421H420H419H418H417H416H415H414H188H187H413H412H411H410H409H408H407H390H327H323H406H405H404H403H402H311H307H306H305H210H304H303H302H300H299H298H401H293H269H268H267H80H79H400H399H398H397H206H205H396H395H394H393H392H391H390H389H388H387H386H200H199H385H384H383H382H381H380H379H378H377H376H375H255H374H373H372H371H370H369H368H367H366H365H364H363H362H361H360H359H358H188H187H357H185H184H183H182H78H77H140H75H139H73H138H70H69H68H67H66H63H137H136H135H134H133H132H131H130H129H128H127H126H125H1H0
efce9c3cf29ab801ff4f8f0ab22ac843 219H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
93b3cbffd7f5daafb8a2e9c4110674a0 219H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7fce03302b3c20e71dae00f2d16d9989 219H475H437H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0b42651cbfe79ef3dc350cec6c6c55b8 219H473H437H458H327H472H471H470H469H468H467H431H466H465H464H463H188H187H462H461H460H459H327H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fe67e70db478dceeff748ca1817f969f 219H474H437H458H327H472H471H470H469H468H467H431H466H465H464H463H188H187H462H461H460H459H327H323H322H312H311H307H306H305H210H304H303H302H300H299H298H310H293H269H268H267H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a4a324812ff0d6a998fef88ae8faf2f1 219H477H476H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
01329ef114f371227fee6320d85b5e82 219H478H477H476H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
717dd9534290788745248149a48f75be 219H479H478H477H476H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
bd51087a3fe9afc28aee44219cb1bdce 219H480H479H478H477H476H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9908b6f18a4aaf3969b8131bf2f5c63f 177H481H251H480H479H478H477H476H458H327H457H455H443H441H355H353H351H350H348H345H218H336H335H333H331H327H323H328H320H308H307H306H305H210H304H303H302H300H299H298H296H293H269H268H267H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
99077efd5a2daf20a3b9a6f8e8b3ef89 65H301H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
081169ce7f3ea7e22aec5d24f1b0bbda 485H484H483H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3b80d1518c6e3931518cf531dde64a68 65H487H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
915c781b4a021e71da217651b74ad895 8H251H489H488H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9ec05de943440af7a52ab9abd6c9ff3f 65H208H490H251H489H488H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3ca4b9ff803c8c68bc0dfb1a8d62f002 20H493H492H491H210H490H251H489H488H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
678af5ab389d09b72490db86bf68a736 8H495H494H492H491H210H490H251H489H488H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cf9123d2bd11368523db2b8536bdf0e6 497H500H495H494H492H491H210H490H251H489H488H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
59ba7812800d4ff35ee17a9a2761c391 497H496H495H494H492H491H210H490H251H489H488H486H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b204b4c31abbce4df675e26df11c00d5 274H498H496H495H494H492H491H210H490H251H489H488H486H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c77e96af1634eb2e315739d58f96ae84 274H272H498H496H495H494H492H491H210H490H251H489H488H486H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8ce4ec8bffc6b2a43d82059070425deb 274H499H272H498H496H495H494H492H491H210H490H251H489H488H486H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1703379ab8a6ef1bc9da2e91b5ba69b4 8H517H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c1c669f1f1b635623fb669d5439d7fba 8H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b1174f4408e8e51be851eb708b9f6762 274H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9083ceb95720940a027d43d599b3086c 274H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1b2fb8a0c92bbb9f760b9c54e49a67b6 274H505H504H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
75a9cafeca48e29617cfe1f1100cd4e3 274H507H506H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
14ea9433fb143f8176626b81c11c74d4 274H512H511H510H509H508H507H506H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3d9af9a4f5c1ac8d8b1f34c560c32987 274H513H512H511H510H509H508H507H506H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
90c0eefd17bec46b402a1c27abfdd70b 274H513H514H508H507H506H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5516b050943e49ac691fb4ad94aa558d 274H505H515H507H506H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3e469a9a41916d8c52c8b9ee0c4749bf 274H505H516H327H199H503H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8fbf1259b784957fba295621d63a023b 8H526H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cd958706fdd9d373f805b4d2a9c2cb75 8H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
54927f9a61be05cc610ad3cd61b72cba 8H270H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
afcb498c74ed5d0ff192ac44ac735685 8H271H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
172485be01a291891c50713e719b1c05 274H521H271H270H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
23965e05125520aa48e4a9cb228c126e 274H522H271H270H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e04644802484d50e256fadea74454292 274H523H522H521H271H270H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
62160d8011b48f92b1cb886f1613c72c 274H524H523H522H521H271H270H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
79cbd8b42153b5c2bd6b621d2de1a0e7 274H525H524H523H522H521H271H270H206H520H519H518H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f0758efb338037ad253730708b0a60e6 8H529H528H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0bd8acbfdf3dc22b796d0992db8c4b3f 8H535H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3195d29c9964db61ca19df886d6472e0 8H532H531H530H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1a389769ca3685dc783627fafa482179 274H533H532H531H530H505H495H494H502H495H501H492H491H210H490H251H482H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fa7f6c366d2a6337496333b15505d66d 8H536H528H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
969d06fdb492da8f3d1eff4a1c09d39d 8H538H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
139a12fa4cf9b14ebe1b8fa4f0ed016b 83H216H540H214H213H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e11624acd5c1dc5126c19b20176f514c 219H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
766d259129d71411175bc6341700bc55 219H543H88H87H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3ecd34d0f4128819b38d939dd0b2cfeb 219H545H222H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d4aa66c821e0ac055004a654f4d80627 219H549H548H547H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6e8f63510fae1c3787e14d7439541ab8 219H102H229H228H99H98H88H87H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
919cb99cc4099bd8802eb40c6f3d718c 219H552H548H547H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a2c2d44536891876663de8d6df56f513 219H554H214H213H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5a3c89e3c4dd1370f571a65c5346c900 219H235H214H213H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1bb0bead5279f06a369d15e54c244180 219H558H557H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5dfd636f84aac71b0b5d07ed28c9b746 219H560H214H213H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
26cae448917660e418047402f6aa087c 219H562H216H214H213H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e8a2952fab400740febde625a40b1891 219H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eef1434daeee2f058d56de0b583baf66 219H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2b4b13fb0751eaf1a46b730187ee6871 219H564H557H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e88019e5280bfca8c45813f96c5d9292 219H566H565H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a4c3380da98e8e2106560c88290ebfc6 219H567H566H565H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
32171d1c87f12d75a8ad3f294edefa86 219H568H567H566H565H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
45771295f7617bedacae155a14708f2d 219H480H568H567H566H565H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
14b8390411ea7d5587242bcf0490bab3 177H570H569H480H568H567H566H565H458H327H563H561H559H556H555H553H551H550H546H544H542H541H539H537H533H534H527H505H495H494H502H495H501H492H491H210H490H251H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c052369835cff4da0ebb29b36cd05b9b 83H572H215H214H213H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3787ddc46246b8e98937123b8b3596e9 219H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ee41442dcac950d2f5f615a03ec7dc4f 219H220H88H87H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2d50faa508bf5e06510637e777b5c684 219H223H222H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f2694bde080583d2388d054a931eec06 219H574H188H225H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1ad0f52ada83a2e21ce7b55ce53a480f 219H102H229H228H99H98H88H87H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d890d27b684108f3b3d59ba66e96b263 219H576H188H225H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1b5aa7adc6dde4c2923ca969bfb40c6d 219H233H214H213H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e25725bbf4bd26b5987af369c811efdd 219H578H214H213H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8f108f41963dc4df763b01f0e309f92c 219H580H237H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b4f5fc10effe3fe616b043ef3cfd0c96 219H240H214H213H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f4c2afe7ec2c8ca8c59c9a2b6882de4e 219H582H572H214H213H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7064fe39a1ae927f807f79b1a519e7d5 219H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5cb823253c1ca290262db3528df83a38 219H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e983c24df8929442b9a4d0b7a63b0b65 219H245H237H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4872e624ece9a5681bedd49eeef25edb 219H247H246H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ec9105d0dd4ae43314608be5bb0567dd 219H248H247H246H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ca92d3841f655ee35808b2268d0e6b55 219H249H248H247H246H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b7422adbb44e4f39b68398bae70b46d4 219H250H249H248H247H246H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
545a111ada67333fc4ec05ac0f8a787c 177H252H251H250H249H248H247H246H200H199H583H241H581H579H234H577H230H575H224H221H218H573H571H486H482H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
898242b138e2eef470a889e4e4f9dd33 65H208H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
16d41c3a49331180d5c05767385d7192 83H216H215H214H213H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
76caaddd72f19f7cf9bf53b0a5631618 219H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5633d692ae656b2a39099eae4052c8d8 219H220H88H87H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8d34066fbb09f83601e0a15e1d328e03 219H223H222H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3a245486af10a2ed09db39d115e1c7b7 219H226H188H225H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9d548616033fce2e905158deca92bcb3 219H102H229H228H99H98H88H87H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f8ad1737b871c9bc28746960bd116e97 219H231H188H225H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
846230739d40a36e7331fe4ca985cbeb 219H233H214H213H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
870ffa0a34d583e6213a27b71f6ea397 219H235H214H213H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c53525f6613b39252f8119a6c2d342a3 219H238H237H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b9456534ed12201f8b352266191bf269 219H240H214H213H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fbdd625f822ebf8afb19988bc09e93b2 219H242H216H214H213H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7955a2bcccd48eae24fce4cd4cba1864 219H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fa97fefb31eac22b54507e3bc45afce1 219H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
20ee2a3fb55f29ea828c8932fcadbf1e 219H245H237H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0a9ecc11fb9d118baf80cd568f84fb55 219H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2a6db1d23876f819422836c62a9ae476 219H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0682c9f5e5efcd691c81b42ee76f65ba 219H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1303ffb880dd04fe9c0691916cdde7aa 219H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9e223ece10f18dc64f5eec2331d37abb 177H252H251H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H586H585H210H584H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
edbb401b03cda28f21952d85a65ce05a 65H208H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d8bdc93bb9c502c16d08dc3fddb78afe 83H216H215H214H213H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4a3e7642b355536f81be001743756e65 219H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9c4cd79158e613d61159b922c37637b3 219H220H88H87H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a391c03571d5623c9c52bbcb36dd2281 219H223H222H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
bdb2e5897ec9a6f1500a92e2ba18c959 219H226H188H225H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6b69b2855431d43c24014028bdd0ee5c 219H102H229H228H99H98H88H87H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
6859b3c03d37d56e96044dacab564693 219H231H188H225H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9d833173385e9cdfa1b1d68b9045651c 219H233H214H213H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2adbe7455bc270b7c7b2b5783ef1270e 219H235H214H213H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c2b5a1532759cfaa5d21a7fa1e8699f4 219H238H237H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
91e95ac07585afbf06e355ad0d43e3d0 219H240H214H213H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
bf9bb04eb6d3356b21ab8da929574402 219H242H216H214H213H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a81fbef9d33529963480ccae98e2410e 219H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c6ef986b0290ab16ab32d7d19b364099 219H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
47cd23af90367e4a0ed658623da6a6da 219H245H237H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9b9dcd95b80ec5ba3b774a4dfbabff31 219H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4318709fe7981052818be5373c48873a 219H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
571124e99d0a4ce8bd54d9b5efd8e797 219H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ff043a73ea6391cc005a1a5724d7d9d2 219H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
40542aa5edf4ef522653e044cc09efef 177H252H251H250H249H248H247H246H244H199H243H241H239H236H234H232H230H227H224H221H218H217H589H588H210H587H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
88714e575f122ffd2404436940ff311e 65H301H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
66c94da7c4582adb8bd60da7592549a0 485H484H483H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
fcc97ffa9a47e4f5f200cc2562bc79e6 8H594H593H592H591H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e6cc7862f8fc8a90b679ba8f8826925c 65H487H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eeca5ab505a98e133f1ab3ccd8a45c2b 65H208H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a164d3af90eec4417291bec77214c4dd 83H216H215H214H213H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9ec9417ea32c86b429a995135fb7e11d 219H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0892f24bfa2f7747fabf920e20bede2f 219H602H88H87H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
41f56b5b4de3d7ff3af513a88fc2563f 219H605H604H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
88d029f26633bfcdb4aa8d75f8928c45 219H607H188H225H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e6892ad30bd8cf5a59c0bf1d6b023cc8 219H102H610H609H99H98H88H87H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b6f6d3fec1137488672b425e26b7ca84 219H612H188H225H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b139d1e1b467230a2e0f4aff790d1af7 219H614H214H213H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
15ae04f340c10a6a174abfd01c3c74ce 219H235H214H213H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
db079b2cc12beee882bd10ae239fa379 219H617H237H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2d06d980f74071e6fc79f80db668506f 219H619H214H213H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e2292b600037244f036a49315bef5edb 219H621H216H214H213H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b90229f1276f6a1dcc214be496842003 219H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
dc89c18a7bb06b61262b1c0be3b080ae 219H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3eae42ba5c0fbc0f5de68c592661ecee 219H245H237H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d6550ff8ac61c5355c2bc605fe21bd10 219H624H623H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
728e83f3f38d978e6b80391b4d036a50 219H625H624H623H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
f4eb62625469f958bd67e593e7e5db26 219H626H625H624H623H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3c4597625028848eaa583059d327662a 219H250H626H625H624H623H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a6c567be0cc7b1a5e62a1e84b23012f0 177H627H251H250H626H625H624H623H244H199H622H620H618H616H615H613H611H608H606H603H218H601H600H599H210H598H597H596H595H486H590H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
86e093807f12bfb907e0a0bae6528676 65H301H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
aeeecccf27844db1a993f3cbe8a7c03b 485H484H483H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
462320c554e0bf214a671c70174e63e5 20H5H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
03e474605c8e7d358a965969e15677d7 8H629H88H87H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
dd03c1d4c526aabd68546bd95e564ee3 65H631H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
49e0c2c9a6a5631f7a81463f59ddc6ea 8H634H609H88H87H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4f50f8de9046d51cffbf7b58d3613779 65H301H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2bf627b771a1e69c8b2623745d34dfe7 8H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
9e0254088421b5e85fe171c91cef2098 65H639H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3c57419ce105900c9335e62ff8138777 65H208H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1c6093d42c74f611e88fad4d60da49b6 8H656H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c20ef6d8d639d2ddce7b9fc0191eedcf 8H647H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7395cb288dee4413e3441b4bd64df363 274H648H647H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1956f67736ca7d279db57c5a28b4af30 274H649H647H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
b7e28a852303e37a399190b57fe5bad0 274H650H647H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0a01678c42ceca50ace5ee75144b3fb8 274H655H654H653H652H651H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
01699f33a4c41758fe4f9eed9c8d00ef 8H657H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
bea4aa927ed7e5409214d68ffe0e7f97 8H672H661H660H659H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c698f2ad19dec5337e083601861730c5 274H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
2d02ab04ce264001b14aa14833ebf6e4 274H663H662H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
594f355631d4b474f184c3aeda0942de 344H665H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
4402db9a145dd20028e0f9a305f8f635 274H668H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
a52ee206ac5310e993893ffcfbfa5376 667H666H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1e81770d438865328a303ab0966efcf3 274H668H666H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
23ceb581ea052876a1cc7486900a2585 274H669H668H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
336d4d085a88fd440388096ade6a558d 274H670H669H668H663H664H661H660H659H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
eb1161e3f901834f98007c568725c7da 83H216H540H214H213H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cb45157f024558675b03c800ff552eca 219H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e8f0f2f6ac7e818c0fc470e606016a3a 219H676H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3e7ec0a018ed297920e4334da9326811 339H676H675H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
db0257877bcc8620f5cbf24bf4a5be9a 342H676H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
cf623c82dd7d4672006dcc73ae15e25d 342H687H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1a57fb2f2cdcc781dad3eaed3c63b93b 274H679H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d4eeb2c2f4b014daf9dc1dc093da5d0d 274H680H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7a387fd0a4d70f6d8dc329da6be55368 274H681H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
c136ff61313c9e01e6c5f713f455423d 274H685H682H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ed12c719b18e46a9e54d9dc8da95fada 667H683H682H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0f6fe933381828cca20cd7d700b29a8d 274H685H683H682H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0fb4bab79541979e656b3e04b8325de9 274H685H683H684H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
50de6ffdd13357ecfe3aa40fe07f42a1 344H686H683H682H678H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
02d5dfb9af7357455654d19863e208db 344H343H677H88H87H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0554a1eac4a12bfc5ca5bfd6baf8cfff 219H689H604H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
53a4e077f5b0a3c1a45ff31656865fae 219H691H548H547H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
793f9090cd2a43cacec6203f662f1e3d 219H102H610H609H99H98H88H87H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
46201e19b932d72c9d6c05915a59961a 219H694H548H547H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
0cc0f54166df90caff206e544d27f29f 219H696H214H213H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
24ee76679e5159c791f0c1373bed8605 219H356H214H213H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
38a087a40bded6c2764576aaf383e8a2 339H356H444H214H213H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
e2f229eaf4eded8ae724d2808b033927 342H356H446H214H213H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
90b2056e3a2b38f3861a885866f4d9e9 219H714H237H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
7033893f5b2ec87c8a79f4d5d3c66d6e 219H709H237H708H707H706H705H704H703H702H701H548H700H699H698H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8a8b40b9ecb5950da1fce295fd8c6b90 219H711H710H237H708H707H706H705H704H703H702H701H548H700H699H698H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
d49d036fade462218e57675f2892502f 219H712H710H237H708H707H706H705H704H703H702H701H548H700H699H698H658H655H646H645H210H642H641H640H298H638H637H636H302H644H633H632H596H569H643H486H628H80H79H266H206H205H265H264H263H262H200H199H261H260H259H258H257H256H255H254H253H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
98140318b84bfc55dfdbc0214b00f94b 219H716H214H213H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
854379812eddd202502c80321bc19736 219H718H216H214H213H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ad63ba7fe680d9ecb9c4f32bc37c3d6c 219H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
ad897dde45d424cc406622d6e17e68f7 219H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
1f172a3932473e451dc164b145c83878 219H245H237H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
5dfdf6a2ce615638e2011e8fec0db506 219H721H720H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
8673815c618620d95ca268120b0f03dd 219H722H721H720H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
3d398a82e72af8e1d3f966d5c5fc6108 219H723H722H721H720H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
514a7c4fd9a84d8d285493ec098e4046 219H250H723H722H721H720H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
31abe76a3155055c2c77027e993a8040 177H724H569H250H723H722H721H720H244H199H719H717H715H713H697H695H693H692H690H688H542H674H673H671H655H646H645H210H642H641H640H298H638H637H636H302H635H633H632H596H569H630H486H628H80H79H207H206H205H204H203H202H201H200H199H198H197H196H195H194H193H192H191H190H189H188H187H186H185H184H183H182H78H77H76H75H74H73H72H70H69H68H67H66H63H62H59H48H37H36H32H31H27H4H1H0
