From 659592195414830aff7a5f22a7d18a7e958ccb4d Mon Sep 17 00:00:00 2001 From: t-horikawa Date: Mon, 23 Oct 2023 18:24:44 +0900 Subject: [PATCH] add docs/limestone_race.md --- docs/limestone_race.md | 122 ++++++++++++++++++++++++++++++++++ docs/limestone_race/Fig01.png | Bin 0 -> 28547 bytes docs/limestone_race/Fig02.png | Bin 0 -> 8155 bytes docs/limestone_race/Fig03.png | Bin 0 -> 11288 bytes docs/limestone_race/Fig04.png | Bin 0 -> 12220 bytes docs/limestone_race/Fig05.png | Bin 0 -> 12317 bytes docs/limestone_race/Fig06.png | Bin 0 -> 12807 bytes docs/limestone_race/Fig07.png | Bin 0 -> 12670 bytes 8 files changed, 122 insertions(+) create mode 100644 docs/limestone_race.md create mode 100644 docs/limestone_race/Fig01.png create mode 100644 docs/limestone_race/Fig02.png create mode 100644 docs/limestone_race/Fig03.png create mode 100644 docs/limestone_race/Fig04.png create mode 100644 docs/limestone_race/Fig05.png create mode 100644 docs/limestone_race/Fig06.png create mode 100644 docs/limestone_race/Fig07.png diff --git a/docs/limestone_race.md b/docs/limestone_race.md new file mode 100644 index 00000000..4636619b --- /dev/null +++ b/docs/limestone_race.md @@ -0,0 +1,122 @@ +# limestoneにおけるraceについて + +2023-10-23 horikawa + +## この文書について +下記を説明する。 +* shirakamiがcallすることを想定しているlimestoneのdatastore::switch_epoch()とdata_channel::begin_session()のタイミング制約 +* durable epochを決める前提となるdata_channel::begin_session()の挙動、特に、begin_session()が属するepochを決める方法 + +## log書き込みの基本動作 +1) あるepochに属するlogのshirakamiによる書き込みは、data_channel::begin_session()で開始し、data_channel::add_entry()によりlogをlimestoneに送り、data_channel::end_session()で終了する。 +2) 通常、limestoneはdata_channel::end_session()を契機として、data_channel::add_entry()によって送られたlogを不揮発性記録媒体に書き込む操作を開始する。 +3) logが属するepochは、data_channel::begin_session()をcallしたときのlimestone epochとなる。 +4) limestone epochは、shirakamiがdatastore::switch_epoch()をcallすることで切り替わる。 +5) どのlimestone epochまでdurableになった(logが不揮発記録として書き込まれた)のかは、datastore::last_epoch()で調べることができる。 +6) durableとなったlimestone epochは、datastore::add_persistent_callback()でcallbackを登録しておくことで、durable epochがが更新される度にcall backとして通知を受け取ることもできる。 +なお、現在の仕様では、data_channel::begin_session()により開始したlog書き込みが属するlimestone epochを陽に知ることはできない。 + + +## shirakami +### limestoneに対する操作 +* shirakamiは、datastore::switch_epoch()により、limestone epochの切り替わりをlimestoneに伝える。 +* shirakamiは、data_channel::begin_session()により、現在のlimestone epochに属するlog書き込み開始をlimestoneに通知する。 + +上記の操作がshirakamiの別スレッドで実行されると、両者の間でlimestone epochに関するraceが発生する可能性がある。つまり、 +shirakamiがlimestone epochをn-1からnに切り換えるためにdatastore::switch_epoch()をcallする場合、それがreturnするまでの間はlimestone epochがn-1かnかは不定となるため、 +その実行期間(callからreturnまでの間)とdata_channel::begin_session()の実行期間に重なりがあると、data_channel::begin_session()が属するlimestone epochがn-1なのかnになるのかが不定となる。 +(図1 case 1~4)。 + +

+ + +図1 datastore::switch_epoch()とdata_channel::begin_session()の実行期間が重なっている場合 +

+ +なお、両者が重なっていない場合(図2)は、data_channel::begin_session()が属するlimestone epochが不確定となることはない。 + +

+ + +図2 datastore::switch_epoch()とdata_channel::begin_session()の実行期間に重なりがない場合 +

+ + +## limestone +### durable epochの定義 +limestoneが認識するdurable epochは、 +1) limestone epochより小さく、かつ、 +2) 不揮発性記憶への書き込みが完了していないlogを持っているdata_channelのepoch +よりも小さいepochの最大値である。 + +### limestoneによるdurable epochの追跡 +limestoneがdurable epochを認識できるようにするため、各log_channelは、各々が書き込んでるlogのepochを管理している。 +その基本動作を図3に示す。 + +

+ + +図3 log_channelによるlogのepoch管理 +各log_channelは、begin_session()時にlimestone epochを調べ、そのepochを以降のadd_entry()で送られるlogのepoch(channel's epoch)として記憶しておく。 +ここで、channel's epochがUINT_MAXとなっている期間は、log_channel::begin_session()が行われていない(未書き込み尾logは存在しない)ことを示している。 +なお、channel's epochはlimestone内の他モジュールから読み出せるようになっている。 + +

+ +### channel's epochに関する制約 +limestoneによるdurable epochの認識でraceが発生しないようにするため、各々のlog_channelがlogのepochを確定する操作には、以下の制約を設ける。 +* limestoneのモジュールがlimestone epochとしてnを読み込んだ後(datastore::switch_epoch()によりnが設定された後)に全log channelのlog epochを読み出す操作を行った場合、 +n-1以下のlogを書き込んでいるlog_channelが存在するのであれば、そのchannel's epochは必ずreadできる。 + +端的な例を示すと、datastore::switch_epoch()がnをlimestone epochとして書き込んだ後に全log channelのlog epochを読み出すと、 +n-1以下のlogを書き込んでいるlog_channelが存在するのであればそのchannel's epochは必ずreadできる(図4の状況)、 +逆に、n-1以下のlogを書き込んでいるlog_channelが存在しないことが判明した場合は、 +その操作それ以降にepochがn-1以下のlog書き込みを開始(begin_session())するlog_channelは存在しないことが保証されている、ということである。 + +

+ + +図4 datastore::switch_epoch()とlog_channel::begin_session()の関係 +switch_epoch()がlimestone epochをn-1からnに更新した後にlog_channelのchannel's epochをreadした場合、n-1のchannel's epochがreadできる状況。 + +

+ +但し、naiveに構築された(race対策が施されていない)log_channel::begin_session()では、図5に示すraceが発生し、上記の制約を満たさなくなる。 + +

+ + +図5 datastore::switch_epoch()とlog_channel::begin_session()間のrace +switch_epoch()がlimestone epochをn-1からnに更新する際、log_channel::begin_session()は更新前のlimestone epochをreadし、switch_epoch()によるchannel's epochのread操作後にchannel's epochをn-1に設定すると、channel's epochに関する制約を満たさなくなる。 + +

+ +このため、log_channel::begin_session()では、図6に示すように、channel's epochへの書き込みを行った後、再度limestone epochを読み込み、それがchannel's epochに書き込んだepochと同じかどうかを確認する。 +両者が一致している場合は、channel's epochに関する制約が満たされるので、begin_session()の操作を完了させる一方、 +両者が異なっている場合は、channel's epochへの書き込み操作を再実行し、channel's epochに書き込んだepochと同じ値がlimestone epochから読み込まれるまで繰り返すことで、 +channel's epochに関する制約を満たすことを保証する。 + +

+ + +図6 datastore::switch_epoch()とlog_channel::begin_session()間のrace防止 +log_channel::begin_session()が更新前のlimestone epoch(n-1)をreadしてchannel's epochに設定後、再度limestone epochをreadし、それがn-1でない(図ではnの)場合はchannel's epochの設定操作をやり直す。 + +

+ + +このようなlimestone epochの再読み込みを行うと、「channel's epochに関する制約」が満たされることを図7に示す。 + +

+ + +図7 datastore::switch_epoch()とlog_channel::begin_session()間のrace防止 +log_channel::begin_session()が更新前のlimestone epoch(n-1)をreadしてchannel's epochに設定後、再度limestone epochをreadした値がn-1の場合、 +そのchannel's epochは、switch_epoch()がn-1をnに更新した時点でn-1であることが保証される。 + +

+ + +なお、このようなリトライを行うと、channel's epochとして最初に書き込んだn-1がswitch_epoch()等からreadされる可能性もある。 +この場合、n-1がdurable epochになっているにも関わらず、それはdurable epochではないと誤認識される可能性につながることになる。 +但し、この誤認識は安全方向(危険方向の誤認識は「durableでないにも関わらずdurableと認識」される方向)であることと、発生頻度は非常に低い、の2点から実用面での問題はないと考えられる。 \ No newline at end of file diff --git a/docs/limestone_race/Fig01.png b/docs/limestone_race/Fig01.png new file mode 100644 index 0000000000000000000000000000000000000000..d8a87a0bc13ef2d2b6a733e36bd47a669429a5b0 GIT binary patch literal 28547 zcmeFZS6EYB8?I|XL6D--q@yUkDV+cUB7*eZtJ0(eL_nHSB?yt;K{|xq6p$hyMOvgp ziU>l0(4-hT0rm*`egD7rTI*n6*E(1S>j1qnlZ-j$m}8Fj9nbx|3D;0lBqgRJK6B;_ zsnWyyT4&CjgMq)VL>Ivk8cR(^@ZVW?Ek(IAWdjUL;01xLtg7spGnH@>oaF`Z`jYEI zL-#XhsBhu_&MIlKZJasdLaTINR>#Zi*N+JA;fIqgeprz+AB8B$NLMo*&r=k#@K90M z{WKgSruO0@(m9hA=xXUl4C^)oS;Ue#>Fd&9Vhz7{7Nxw=@uGs;AM=gCOE2eQ2`vfb)E8-QcT?A|9@|g_N0os+-^BJ zKAcz^kOyA}=Z%$)iU{G>5;bw&`?F?j;Jq28N5!DtaLcS%N@}N3IZF%!o$-?_dE||Q`ja018?{s&P zfb(Q@2Di6(4?Jg@&@D$RqvgG}{>0b^+H)nx@J(ByUQ|^kE4#JSL_qR(c!MQ=M9R%u zzB$JgoypBW6HI*k__4tGnUzfM*Yo$(i1dV@L!zsTi-mPRK6<(o^|JB(_GI0H<}n_m zZ)P;g9DSXw=x!YBdl*pbGTltoKgl_BSAY*KynlIl`p(KVk9N>sL6HreGg>G%y+!aJ z5;_qv!kb2Cosb4Py{`D6Vq$EJBZ`YOfz%)ZXWG_EJhR^ablm$j<~%`Hb+fhfdDVCo zeuI#=Vx7{k-ZJ$OQvAJ^!(d0uq`9AQpYhJ2OPtu~Y%l!Xsrs4VAWq?UAo%05TI=@8 zXs=JpSKJFdfuDDErc;;bIYPU(mCV32q{}(?a^yiW)d52POz0H+&AoVH!%YE%ZU~M%#8?<63GSUMXUPR2>!&^Bi1PD`p%2QgVL8x6>1ubvi0_$Z-q2fgV$SOp z3S&Cs7K7mUrh6S()jb^&%jrHJX+RV@)07PNHqbO-#5A4GAA4D6-=XCL%B;v7%B2Eo z=U@^9nNDq6se18OMM0{ngiGiMoQRlfh<`9E&u^Kd%jj6nyUbafZkoj!nhe&=3eP|@ zxXZAiKs`(Ja0nklc>*RP6rkwm8#)}p@nu^Tf- z%sYv(h&L1qOwO4s;<L@0u$_giBCrlPTGwF086zMl=v8T#^s+|U-B|IyL=hqVXd z@*Ayhg$orJMufy_r1t#y_&6t1P?H<=(vosD!*6$&w9P;PH3;KQxAt(64}S&*+DK#W z$6U&ka2^rJ!>{9JwTTeo;YZCYr-XPsL`WEzzPIal9Ut<(!{I<-;5~GimV~?iB}Usa zGGD&)!f;WUMR7U$xFlWxt)H5q-CmP2_R8YAWj(QKsHOFQ8u2bVoyy*nu9v&)aTc?iM#~j_P^lIsLmF1 z*6}Pn2=1{g^r|kYo$_;IV>c&?lyCLmwFrDh00K(K1u+ zwSs)?OnX>%53O16t68pRuc@+Lw&xKGB4K zBTGoN7l26bg@a~e@y%+Cumrm=cASm6c}z=9anAmII9$Ufujfh#D?#W|h1SJkYg+D~ zFR45rWJzjb`q$UBNpp)VjTm{@dCv22^O#FYO4bIf_xJZ(b-lVRmr~UAqU~{i*eAse z>wT-Hb~U0_fsQAS`~>iK54yItM$JA)>c>0QZWF{L69=TK%6H3*wNkk7#2(QR#bJL{aiV#eYd@izx?2aPnEvB?4jQ5~yg?kW5-q7VU zUjBYzBD42!=w0RP=>1K8@-OCdA=#uBCGMaeXp(u=uWlnqr+WxWQLTa z$4k>b(5<^14o@mH$@>F`yt9{A5jv)><66^>FTVA>yVSX0t`sw2tufN`jybu1U|Al) zoIG+dk#`%c^GY$fY=<1mTJk$Lwe?NjkBD-^KvY(~^WTSpve}ekVpelFlt{)Vc@cn-efi(|&u?n8eCj40Djt73IsPu&5=Nwp9=D#}g+%fkP zL$1qVFuT(MnZ75-O}@FT5vfE0hrdKm${g5u&5wP750()#n?5`fE%4nLz1r>?Zz;5X3wsKp z4I<-@6BCC}2iPciS7sNAR7&mto`1C8Jv>(^6B%^lRcNz2!(&-bMQ0E`6*guPelHCd zWUG_6vNtXqY_G)19Pi~YpxF-Was|@tzp_1|h&XhmV7g?oKHVbYPu^J%#&izd1)n#l z7Ie}(MxCkatJ&SzfsImZ(Pm1suTM3lLcD+HdNGsfTpFI0YzjE>-|vZCZYEJWvShSV z&~!pD8GLzvQ}^E6hHqjVR}c8i8ojJs!hXuv-4M#7c09-C_iOgNB9Y3fR6qUfr>8`P zDiKs3Z&)6PNhNeX5b9v&XqFJ# zm2X?i>UeGJV#qIwknoK?RIz@Cz*1w4n*a&wj@(t%DpsLEX1D-~%3q~XpRtYU=(uo0 zFko`=MDaouU!x#jc@F&6t4hADft2^Tn@Y6;4|^>R?-%RVRi2mYkbso!n8r1LxkC`& z@$1*G8v=v5%DQg^go|I$q}GZy+iCNh=V^a@PgnwL#Cs*%3F&xeirOk218CrhDH?pG{SA(Dm#oVaq)o z5j0YtG@DKrJU_;|0@Ut&Z{qKa5pu9<)xI2lr8I;P#4m-XcAhl|p44h2fer@l1Qx z(#x&M>)_|tv?y8M{X`+283~#j-{P^SAPN`P?{<^86W)l>(F`msVX1$@^KGu@|{YAm}7>bCWsNrbeG|?>7_=hmrJ;mjS^%vhgjw&^&_NV;zCj~K076i zo-w)|GgkGx7S!9PtNWm0<$6Abf@GoYJ4~6C85zfelIV zD`}Ws7zzv{h@;F39wBd&uvFnS2l(01Dh-RMB(9}f%vqe)^249>GWTOF2zo zVs&<*G}sxE2KrG7KiJXKnf~`dIOIUM{L=-4857cfX9)M>m}kxZH2$UjT=71*2>j#$ zS%RjHKK>EFw7iv8PEw0lUOMShuqrq1cqW!+^-Fh+HOE3mY-Zhu#3 zhW}byYisLVPdxX04sNba@B@5y0~*43615zQA5eo&j;rG=L*16eBprO!1MGZBj><%kl-)O=n@QMwtNSg54Aua>yn<1mU-8#5?6pb z_{~V6vY`tLqV$*iqV_1`p^mO9-!(JoXl|^>_HJ7`v7-U2`(Yf=IRLf>+Eed5VBxNbBcg`GR z1PeCDCntGAx4*otqr;Ds$2Y}jYEcQ++#b|>Jy#LV6u*0biCWvh4>{H%f$mrU`9RD{T~tS>unL;0xJF;mu#dhwTtdsG zyth)`QbkNy%=JMUrbCLJKf@y`&P$?46^5Um#s#v`#}Y+9DMGcwXQchE*K2;c6n}l^ zn|6C~(nY_(wz^63);z?4|0Dw2C3d;R9iz6HL?r_+Mg=KMi5@qSGeN}sNvSwP^LXwY zH3v)m@Uj+167%jZe=pfT+*;D!+ z=F$2}%Jdw|*=4Y+UmV2(fdM+tx5H=%bCdbZ9w*<8K&huwodK>RS>-qF)F_A7R zQUrcI@tDbS^2d)Kv$dN&85^DMK0ZDj)(f#+efpmc?*tU>mXf&7V6{Ss%Ip1)UI>;r zL?cn5K;&Q|)LIMjCSv^Ut$rM}X?>1g?loq;TYxF7x1_^T^f-;67=%^yZdw640K%Kk z96-*)uOg$ue@w4qPGf9yob=p7!or*7K0;DFG@}lYWGt*%44$oJra;b&|j}xiJJ7?ixl_w}q3eYbI3Cu=i;k;x8fO0o}Ns23@IOXCwt>M9EAtq$v z5-H9&c)m==wRWpvs=cD!q>D*8wY9Z5ONrVl?g=A4HyT|S^O0he4M<5+-wxkSY@1iL zw7$cElZ9EEEeW>W+8Jm1=>+njw$=j@;9D>wjSfYA*`npYs=(f?i&!l@yKtM>@U)-cjD=;dk&C`Qr&v2VWC;npH(t z=M7p^L^l)^><)4y2Sp=csBAgy$8Rjd!ongCVl_0=x9gjI_lFz;sH7#QW$g|y)Xn5v zSvq3vo?pCHUupc1EYAM2wU;3uAe(=;_=U*R7byD>?~BvoqKJ&2;tf|-S5!LIJ8NcEk-%&(yd7IuC_gW+C7Mxg zCEsGY^T=93dGW?xZlF0aI^gI)SUfYLPg08;n%{DT(KWUqPkOY<;Ot-vKY?c8wRPqU zw9ky>`I)CKF6Hkp1#c3i%yVkzwzBB0*+J1VA<3cnT${fx+&i5Rk3TQH7%utXZrxX6FssACKuzR}sTX zMzmhB>M9Ur5!w0?`l zq@y(sNvpp?WNhgxEjmq)7I;G+a5KNx>+Enzvm#C`#QrYRu+;%-J?R~FMg*qZnMuQs zukZXWdZ`QfYUvuK;YGO$>8HmihL#AC;w7h^%5u)>L{^Yjn7kL_ODF7T_!Lh!pv+s_ zs_MirW-#2BDp5;J@0yZ;MvznGXk1TK{BbedJ~!|dk>LmD9}-t|s5`doucq(1mtJjl zNBE$Ox#D&s5jT3d0#=u*#SCz zSB_Hk3yM_i>>F3bc}_AWA*nn5wc?5U#U#N+yQKYaArFz-Zj8|_Tzb)(u8Xbi3W7?e zG(U|SCcdLtlTt@_+HFH&scNf7y6|NYGJ@L(7lIHCzZ)A@DrTGQ-f>2glD5KkFQIQz zUA&&TL@`Fo?+lys6F2n4H49nZ;rDp;BwD%qM&=_r68~%UAYm}lElpF@jA`f`m zKmVI8Q514G2<|M!jl|*OzlLVt_CquEy0Wr5$D)6;lQBh2E&6{F5<#}Iiy-9V-!z;Z z;Y;JlEWWZSlQ=Nfm=9S>#n_SrKvBH^)2@3YPUPOer<&6 zRGtxY+g+dLmw4nJQS3-?FN)`hm}>FntMhMY%-r#U2*{+MA$Oby7NoiB1)NO-stq9i zje%*xG9Kkc^h`)=j|OOWs_;o;)MoLXw6yP@hP0M3lZ?L!&ZXnIKiK1qTnw6heFX+$ zvp$2S;+W6Q>iDK>RNN#GIx~DgoC#l$?z9#Y?esa^aoX=wQVClMUAo(3IJ;R7Vks42 zxWzZzNK?ME*PCU^VH<`(3x@kP{W5UvF|qHHqs>4^1B%Uq_p*Xr`**-S^Nbo1RfpfT z(&+=T0n~&v*TH?|Tj`g~fMaijl7uwlCDm712eb&sEb+JYSJ{f*>lPrvBRm5oE@vIN zV!;gYay604)uJgLKpr0-hmZErF)c(KCld_pZL#_iP9}93V%1OXtDWhupq(b{&xKBR z7|P|TR98Z@er)&fU~d{=Kh97$i#B)dNp3-p;f9zBKH~Ob^uykik1e9InrI+JdkdM) z#KEJY@_ot_hu=Pb=IZJyMCw2PbvVBjmL4&y$H<>y{i zST=i=NvLlgs)*LGH#0L40&zxhn96H^k*2wQPneESKW`ZZw|@Y_lMpRA z{=P;DkVC=*OcB9QcT>dg>t>H`33|+J39;QaXIC1cxK63~M&seb*?W;d3_{;u%()bA zqnYv18@m8?=kYQnauy=IdP9@+71Ux@oC!&+Ng#U8K+G$6Y1sE-O0{>UKzWwTlV#!5 z)YQ8LR7iQqk3@d+jKwh8NBuH0u}c?yX*Ol=(vcrV7jc7qcd8#{Ek)oJORlx=_vZQ5 zdPQ#&IGnRDyni)YSbCMEPF9}=FDM3OQ$M)C$ME@F;7#2|Z;j*#$?PE_-^Pkjn9n|AlJKnCRvWK}f(CQr+q})%b<+!P z8)?QR*fQgF0RPAPv%z~hl)rK~c)MWPY>`Clz3jfh^!j=*eg#7+zWM9UI!kqYFBmhd z)4Y7k`0f-V6y2dXrj?bIyBM%nI~54zmlPj({F)9p;XPQ>%$t4wYod0-qH`~++?+P^ zol>1jh(g%}Wky67JI5VJ$S4krlwqF=a_xci6X#l6{@FSz-MnW3p0!_dfN63ge9s>3 zi}|T+-%0a8Ut_w&e}a`canDwMn0YV7v%X^#V(ZHlYLXobwQ5xK%G{G`TXG~yR6V2_ zT6JVru=fVbqr+>M;acI)6=H40GgyXM7R3;kr%$=XrAMF2Kp;HKM==edl0;D;zh-Y^ zAqw)q-Zz+Ae3Ic3_%cn_%OTiJo-4CnsnI zGyC}dy`GRRGH5ra-pATHhrx|bc6+!$eLiR2Kr=4obX4khZys*U$ZrPJW{Z-iM9OE% zI?q_dQl>;tH~Hu{lE+sV66OMpwUj8;GNp)q_}$g<&tJJ=fA^_1vk1TQnAWF@=G`b& ziUVf13MEr7Yu|G$gjrwL1%f{rD(c-Wb)|T;{JyWT3rN!aU^8EoHF+4_L73RbEyREA zn_XzWvY3lP%&1oQT&+sby9ah}+Hbu24Y}NuZTHWZ3%YplG31$yDnhRW3*{@GC~(EJ zf>p^7H(g^TM$Qcz`VFSdh{oDcx7h2Do3B^MF0*!PZjxm2;>@ z-Y9c6=DeW|BTi2HIXyu10CF+^HfMHQrFczJxyi=U^8@Ys+FD&Q!^^`~bU37sdXUSe z*kp6SiCI)~OT)UV1V7)an31nI>%fK5vvQFI2?iQL)_@o<$R``o1+60?vLfhP zUa^@G?o*`A94*L~B46P5UmpSDQvdq76BU~KN<%Siy6U;_fz;>%q6wbqQ{iV_tTLv7 z>&aA{NN~UTKyN~4D_+#87t}xH3t&9{!URAb{=E3}m;>$NFH-pLH%2HD4NoP)W*}^V zM>Y0F@#)e7PV~n%P?UALXU=_&?**9j;OL(@-3ui1dE>hB?-Lg38?e;@rn zYqP>XW(53d@aNDUGlCzOQmp?hc>g);zlZ*~7{KM{hOR2+pQbH(|Cky6bLju@j-@|k z?g02gWo@cS(tG1)>tlEKYKDmx6U?LH_5UI)-zO$ga68{!=5H2>ClmnVLn1tPr}F63 zN5S!HlH8`=@9_DR9)qHcc_5I)0;y0()doo#h`5JUn-r5Vt6tT08_N&w7z4J?;9JL-U z9c`JhRFOu<6d_Zc+vvp-F+qt4KfB`p2PAX{K009_tNK|-dx~Yed=9qk#lIs9i9z~o~%Vco!3c4pgw;>WFLI}m&2UBZGlh9j+V51 z?&%=C_@t>wUxhPw-k_2(YbQ>z*VP{(5L|erZ2rj?s^e}dBXiF76XfbuZQX$<`TbjV z8N}r?0iEnBSd;CK7ACt)d6qyno7nn2-}`$?NskH@)+rn9x($?ZZ4&<0NP&0>n9)WI!cT($cfTCeD*zbTQ;U}w3l3q-o6Iy+Lrm#I2sVW&iJTFCjxSIUdKn{ zJ71M)-rvO`t)0uwnz%xhFnLgo+?WSn_t9_}n5!;L+(4Dx36mU+Op4)NrDiFK>c_1U zYbM)ttI+)dd+%|3{y=2o;*_Pyb{tzN^?P+nLym_VGGkX}1V5M{w~JAzo>m^6-omy) zHhQ^heyht|Zk!P!-zh4*$|ZuO)HGCw#jsrf@CZeZhTQF(_t>gr6ZjS~1@H%z97dS? z@`R#h4>=VxxeXA5!E||7RoB#HN^o0_`BkVutz8GtlR+-Je?UxDQL1+_iMtNb{^hI| z*7%`i95O|O`lzwUTkx`SyA=>>zknRYftRC`NQQt2vi#e+nV@Awm^@}#?qzX1&iWh*J#(3Ca@3X8j$bc zeRoYD%SDg5gKHtZ=dtf&;o${r=kS6wns-8Rkh!G>uUGQnxe-8(sucuGZQ6BJM4~#W zPT%!L??3XIe@Pi=nZ%3;(!miuOJjzb1%KYNTN|kn$LJ;*OZ2a#w>Fcvep{QhN=wSbKDC)#twO}%vn$?(b1<8qNt2x zM*b+=wTh;egrCnd{73Nq0?P()AFQxquJCHeLnmv(&wq}vaa!w9{`p+Z`}Z~|#dN&d zyRZb!WrF%a2R7|b-tSio&Pl9_TV{xjay2a=9bQ4ql}{;ki4HA_S_)wS)d6I@_R;eN88sqzDN)v3jUnNO)El<;1=HoRHDwL zh^LED1aCjW1DxOvhCxNm<#WBhYLcv34r;^L?8J8{fm5j*a2j9;^LdPrfNsuqI41BS z!p)m~Ihj>UxT1njDU69`E~nbE97ErM-mjpix=;oX6)(2u@Z|aH6o9&TIeYPWR2y2q+>8nsN$`7N z+3q6<4CD#1U|;6;dL)V=v6NfCOa-WQGRPdUs~~0p4B|&AwQOkm#c4d7bMm+i4QyMd z0A>sD3+1R@>VnlT`@4nD!4(y;f{k?9T%Dt#Cc`OK*?_?4au^bMxnOjFoaMGwz*x8W z!-lsPai@T#j7kAK|J>pkIkDaofd4YvqwwQ$j#Y3JmJLE|Dc4^%a|4qQ3;12Uac#*2zIF$2Cm+3xy4kbryK>cVnNC_+u}+1@EBluK4T zELI1h8&DdB$ieR)TzY->E8w%I%qUb>l9T+Hy6g1jg9k@28}Kc^bH8%L`0%MWo-M)v zr~uoaTv;$FJ6}t~>UB3(|GXV!iBhwUGgjCH9K2ZVs5r6K{j^+q09vFapJtmG5jP$8=^47hD1Ib-bHs{3zMn5V7%rlEI zer4;L4*7sJ4~z;wg7Z^cm_KB4jY^UmwhX8fehAoVKf$sa z@PMoos(}NvWe!AV1sP(cWo0!#O1$a8(A=E=n;#DT(Q}=8x4y|6n@@XNI35_%A|IjO zbx)BYd?1-J0U0KBu2}}rWLLOf{0nc|o}fN`d3!1HXMi(9`Vl5GfVw?b1lS~VQ!n(^ zcV^Y*V@8ftD>d^B{f)HHG=r@>c=_8{)saY=ZvGH^pW^yzh){XZ(%@ zC#`d0fDasSxHaG13B;R4SclYw2IozRq@ErVg_Sg3I1_u3ez#xYGu7#K-}(kaK|kt=9$w0HT5A&9RWehD^|UI%)@1BggoTI4?WmN zBeloEYh1D$-h#XK-Zr%3N^c=&y*28>h{bj!^((6K(6XpGh*9A#S=HF&g z@0&O!g?{}#H8?2LO^xkn44r{296yscfY|uAV{CC7jH>OZ@bwVy`P!f2&K6#P)2RBL z=)PfYZtwAFT~S3rY2kL|}@1icRk+DM@-S0&Z=+54yyz+L}Sl-uK#hhF1U&)JpM z5fSC$C9u0{SH3CKp{bg}*M~nnTsmL_#8VzOvgW;eg!S{oXbpzyucR*5}*Q&Dl)awM;mXVOfaC^uPF+X44dOc8lG7mc1IqjDl^_4E zg}1F=_en(AdR$^%-m}|*R@$peVGb&9W`-{ye77F`*l2)VkEgToIJn6fhAa80LNf$t z&gzW*v^AXt3~?jAvKk>%v`a9oqI>)N)Q1Dp5kIs1{=Ln{wC#GY^%2h>l)4QYQ#^7$pEOZaHr25 zRS$ME5%=LCgpS0mt|t-OrgoM?%PU(Dm{ZY8_oKY%rj-9L%W066Ib}JGNr@o5C&Gso zj`*~&uMIO-z{^tqQQzmy=Mk2}KXoSCc4cqHajAXs(is@5miiawaOD*tNT?+9h5rJb za?AtNHAt7z+wo!2_`!{aub8XY0doM()`OwNd&Z%=+M;`^bKi<&lAOhQeY8FTaet5Z zn^Q~8iz-PeH7WBsslW5ebkAjrC-s zBi*?KauGzq2~Ab-i7KKq1cd&tb+W8H;v*tx_^EZ9;xxjaY8g79-Fdml@`Kr%6JNSg z5o$}{#L{l~(qoOsh!ljOfGdAl$KGrM1$O4ygu;&p)9 ze{w*ekf3|aE|w{L;=s2$Hjj_R`1GYk;ryx>KrA%&Tvn}*oLsf(2}QmE0QW_^xZ-Sq zy?EJyh9Gf#rT2)_+oT6v27$1VQsWP51o0MA>z0GaTIIa~JYgwH4{O%ceQY?t9)I9d z?1x*UHq3mue6gjY4y90B`T@(4&(rWz(=xlwAXu|d7G3PU5M}{kMJ$il_PrBpx>0PTUxA#t4RUY9k3BG{Q@1o!xr^OPZdc} zt$lltQ+e%V|Me(&Hiv3Cxbb6 zCF@p~8>8m)aPA>b$z0T8=r;tN=Ig{#7LPfv@tAGA(H+Tg< z%n2Zd;WGt5&$Xl-Uof4fSojR6`_!eX+;g>H`se+9lgQU6_0Mi&gy#i6jG!XeJb-Bd zJ?l-GcX3hXGs+K7D@q{x+X!*LnaS{?r^V$!0y8(3A_OiK(=Xc)n2Bu3n(|{KUOgaq zFRQ50f6ua1sIRQlOgobTqoERLK|ZgPRmMYWZ*?tZkajU$?1&~#RCdI2Xyt$D3HlUQ z{C**N>Fd^YeTon7-`@s;1SfM5DS;~@OfX>_Pk8=1T`$9KqP{)(TKMitBaxa)tUtH7 zXv=$HIN05D$*G{SN4ZDG5xNTPbtC-W_IETvLJ5e9-P&}E`PQo$YW;Ddmka`*To1xK zX2NcdZlvHP5i&Bes37+KaZ8gxO256fIxK@P1)Mok#_=yrfxuBq7a>TmO`+L+%tu%k z`JOaUv;%psCeaQ7lyF;ksH6aAbl^SIjDym8|m&N^nh^G^gi*UADx7TahQ13~fUo z!97+RvmFt?r;xja(#+Ne1OlDb{3-X8Z*dCCfb`(5c~Ha5+2JStZLVDUr+)7s%<@8} z_e1FXcqG`7Snc--bI@6!PO;Z8`VB4WZlDH{jE)oSgR!g^5At|JzCPH#;`j-z&Gvb? zL@kr0vu*~;c#fg}dm}m4^&5`GzaMDkK9d0z61;MjNpOu@Zwh)nKm97%w@oqO3`R1e zYkft7d%S~{lWlUoB!60uH_Sb*9PS)&OC^+F##J7rk^lxIbX3W#Dz61S`T6sm7lUg6 zz}t05cYOKH(Nbtb9a6wqw=oKe*uA1I6SAZlq`$vdnDoJ3fO~DUU;W2Z8&%-yg@i8M zQA^^R-PA}w@tR~2Rw+h;hwPMWY(cDaM)O}G>;^!3yAa+)!ey)TvCVz>jLzkPl+Kl% z-Q9=bqJ;jTtOLW?c+$t~ zibgN-JW4^6Br9_Yh){5Dk4f714MqR+8NkB<}jC;CO!ZiGGj{is51)gvonY3sY6WTMtHrY|(dgnL`k6-YvaXn(o zw{N?}b?YbDF^WyT`@iP^)9F~UVe1F`aJ-wGhgpXdKV#E!GwHLUhYj$mRsg#iOeR+w z`d8x}>iKE3ZW0piV5M7l`zqV5{!`na_fjXs7nl<5tfCHYch(u4X^W2w{q$$i8G8Ly zsQ2vEna*2c=%)$#Ay2cy=tnhy(ZOSX)m|mQ&+q8-p6xct+|avCpN#`UtWMZ&cDT5% z>gBqjFSSocdlX{^tndOv=n(wP@e84TCa^nF9CEuUgt~CIGXR*h!#6Jl2KVY1PG z1}OqUiehx?+dBc6Cw!O1;EsCrxurWqxjIyr;^gtL$N3;9j!jtLM^fVMZ(&lGH0yag zy0{+J7Ds1iCLs35!~Ii)r85&Z(U^SM^~Dd<{*n^_%7)>pK78WBRD2M>hOcG=8@G6Q|4XXvTbm?>8_*h82i)ljL{8qT zXqy`PIa{gD=u6J;haEiIOhU}VDt!>q4vZC3k_!SR4+N~!0s(G5f=><2-oYH5;Xw>% zBUuvL_NIH!%bzpz0eR%asLrOpkmv9l)3A3FTc56}gh~Dj9`^Z-4=tZEC*#~?F_y>B zGsOCLWyM}?gT08;q7@Eb{6(1MS|)dn?iIhs<83@V0b7G4n;%YkV~}2a%@J2Y{QW=h zi(}XSad4hO$ikC0y8f>^moTLde;aW{HzwGB#XXuAAd4XA;k#laUSJjbF8Tc5Ewd3c z>xHO`9dSW)@`sig9)`lUEwDj=!5+IF9c<59#PbC*6ijAiFHsrfF8p(a019d7d0G(3 zM#0R9oMuiMg3K2q45;!oJsF<_TH=m%*oz=;8J!Y37igpsZ(v(-SCq9CwaFv@?u<*t z&RzQphk%!i`J$2#!_-1%{!T*d6rSVAq{2#zjvbq-|w#(01<-C9G^bTycQ#@VDb#B~n@l!@XBicX>=)M$U(QxG|%%hgp6c~D3_PqaJf z1uXYAe$(=Qkn$^{KV|LCLP>RO|#6RJzOtc-|W+C^_UX zt9Q#2-W3 z>-&e_Q~ZtO9}o)pjMDPkKH2JzlWZk;3PQV1Yhdyv6Ovk_@<%G~XJv+X* z<;<+zq}N|2l*Lg?cz^p1W>$NUB5BVu7vWZ<%d%o-8Qm;u=`9!t=A_m1f5|Hz0s+YY;!11M*fODObglaHku*LiSb zh2KK*O%F~4;niw_?YQ9*6|YobvmZ4yt+r~v80jwFvQHaZ(|DZ4(t2W{7~D1KCN)~F zr;jgJ+0Y8fQ4$HheK3}n;%$ z6(ZhtE0c9gG#6oz9?)h@)Pb_M9z;H^h&!zyhygj+h>^ydEB-_#C6L3#kMhEAZI&El z9*zj_2L7Zu2zI^qWoBlkXrG7A$MD_q2ir+m!!xNJY-`n3HlYdU>?IMD8)ev&iOA0I6f1Vt_2lKKEtT<;&L+0 z%U7Cu4YqzpfwDL%OcqRCP1RlKUq-}+>Ue3t;f=O;&)lT`m1Cg)YOB!J-r#?QiGtoE ztUQKU8{O^^XYuusqhz`K2_y#KV*GMezCxn(!OQ`a@nsHL@_IfaRL}3NM&(MM@(3_1AN|9EKELuwo0oN< zmt^^SMCtn9GKiwA+FIda>E&R2^i_x7+=3NFC@!njGj1VljTPh-G9o11NCkY-*6xY$461Ayk? zV&%TKpt!&JYVhAmmk|x{ky4HU{!wWdzAAKG=?E~XAy`#5M-eCfTH}B`T^t_q1r$M* zq0}OS{!WW*YG6QHIvtJ2%pEhm_3&&eh10?-?j9}-j?c6~NF09~=R5u(py1gn155p% zYMeg~UolX>TYw+_EQUi4BTW;Pvgt(3pF*F1DtW;Nw+b;Ga|eEZDG}&e=ByPc=}kW! z47Wx^80s_r{lDd7N?M)Zw<>ykhW7DxIuf_y15l(SSnqF6Pfvf$h~fsiIp6$`JVVMgM)*QZEXt}?(iH7e3ZXtIuJimy#ROZ?nzB&;Zh_};6|dWfuq#K z@bXyYDID5HDv#jYc!}{h@1MFJg~)r1Tn^wTNBEtqH|XXXw1Dm0D??fydXI&6PD^2E zAE8I(ZbartYN%4i`|$Miq%aS{`rsKI%f&ra^9Rm4Zf&6{RIUzQx*l|=U?{4$l+KYh zjCnp?(i7HIB1T(&N{03u8_CP@&YsPug$;LjooJB z(-k^f6?6M@2ow|@Oe{Z0?RwMutgQ}Tr0km0VtCIBt$3ZUZ2%SoMJu0O_W{=BYe4_B z4H3_87jradds=4RGPMVaVvx+|?DzPR!YH!6)z4WF9YGd+&SR0*olj`t`(#(be(bs5 zIR?{m(T}t{y}8zW^Z485Zd>DTqYV=SYA@Blbf__4?|4rp!*+_jkssMH9D#YY zPqrQb%3@k%y;R@qmLD?;GvRF9+uc^~h|7F)DcW|Pp52Zf2_wPXCFPF%N~tJp-yi@W zmC-Y?_QC~K(FSlOh0cSNkRJxj>y=@aMdJlpLZ(X8x;@K#n?g24^a0dxNPLaTdHi_;r0|nq?oN|E zt>hYiw`V4zL8H>zs5)OiT`$RYgp=xEB=y)m!yLu4Soy}S=LkT^(}jHB?*}RJsIv_Qn5UMbYa*80@s~^Yjn|s@$>X~^c9izmAwpm zH`|8b8lB|S7EyG@w%_j;fegb9K)IY7ueR-QHA6<;qtA$#4!b=kK<@kgSK;*+-*6q0 zbe2r*e$v(q)Z%A2q*;{FvDTj~GM1lvdC*Pk<31u403YbQRs7Ci_oiy;DiN>F#Z-$N zb=RL^v|L)Y^#sPFx{x%HwNUp zZqpDkJnxS?>KHC;uelBftHH9T3d?0=2UcH{JV`iUbE_EJyLAZ`toR27899L{cv-S7 zMLml3%1(eTzPgCuz0MQP+A3>nKQFH&NGKDX@GP_NY{Su$jg*rK@MwO>p;a*W!usXs&^bm3h~uDyw^~$ z%x6>oMER$@9PcYJM*5m1@)ol%2?FH`rLXJ}89>d2zQ%RKVt;lW25&|a2faZ)yX5$$ z3oYOhtd_#FG)$e}ZoQBf`KhWK6O&8%jrC&3ex+%5?Y`l%_9+7rw6^8@pvx)w0pxm_ zs2%ajn`%$hOp7(lPiuw78Mk?q9HN>B^t!37FX&0&e4-l)*0gWUaC4rO~h_;CoL zhtF4Pj)Na}QnORJ5Jp-vU2w3qw}}RxC~{_Lo^^ZbKgp3Imq}Dbf6k5M+uRd63O8w- z`fmiNek>CH*-g$>Lm92YtR7Qi+q#KbY3Q`oL3xp9xK`M_K?x9~MF_o@L6FW-ii#8w=_Esu7LaOk*AC8{=bY!B=idAO{g05a zcQ)B;@3p?)_r5VN7}@LiMpi&lzX5PzN;~4+eR(zU#G~-$n29#Ix#_3A6nAUN7G&MP zTDD(P4)@My9Ux|1c0?3*?jI+gvbfz}$6v!s<*cd;EfhZHY5T!%+Yn$h zwyUga%5U-laUd3B4~0HXBL5!xXi&gp4ZAy02XZBTV_3A8M~7$)@sycnaNi=#b+`~# za2L<-+?Izw9WZI%~&3Y1yIXwYIh6#5tw~3W8P< z#u>Tb5$L?fysggD{jSjIhMU6@_mM|g9nSSx%8-Hz7nw7)3K;!Wr3otd-=Q+dgwVX& zzJi1oRj-<-keB9(Hh=2NZ z13{fFud z%CWWrUKPZ+x-4Rsv#21Py;I^@ z2Uo~zrs?h4`_Fvnu(QxaL&3mf7%n?s%m;Tthe8KQz5}91=*iQiSICBdvMm~r8*GKZ z_W2@+*NJ9565u@@zFo2N&5ZSErg0~_e_@4hx^24O)_V|RoWIh(e3=8q6U3+-C1E^p zO-KGupfkETW@w&^ED7}V{MLpZfjocRA+;ooq&#(L$x9}<_TGIDclU))mAo`4fk79o zKO7pZMNPLokp5P`>GBAZmzscNb^@7&4! z2x1)AeTEj(+S5wrt%7%6Yr$gj$=vO`Yt+Er%o8o;xdV6lD@5ew!h>&5;+pf{d9LwI zQJC~w2UgFB7bx}U5;Ml-J|%7HPpu{MxgtH+(j%KkFj*Nw&r7VoU+P40s8DWjs4OeW zK`R6hOH@w%DWLuPA5g37jL0KCAsH4Q2Dx7K7cE-@hF$JMgM*L-Q8KE#WA_6q>L<5@ z{@jR7I~(OI=Hqy2{i%rDy$_p4H=V!|IuS1XaHc_g*6xXl{}QK}n#P!Lz&Fr3g7xJP zX1N*OUJLK4-CX)A5q~}ygzd)uIQG^eQOF^trt<6A9v4LZr7BqzrF z_;K8GMt24YTryd$h^ZvEzRNx3u-^E9$rzj1E+j%)v!VWVcM>5LNwTlO0?r?0;M6;&}y$qx60S5`&iFZMem&097LeVw}rARPYZJ6kPG6j49eocLX{D;1(x8+ z-=~PuarJEXK=#A2Y~Yg3I$aoM>+%+l_E{!YkV5;Qe)yCl?`O_#I^8IM>MRoRhSw-E zubOot#8}J^*t2KmU*eKGdDq$_;agqQ?r5DNcj6=#t3?c3b*>A3bgQ zDtW1|Ni$yuhQbS)ya$psBZhn&5h>?IzmqCV$DLu3M^Y$cC)LMgmpi=#kv8O?N!i$4ZZd!0K_n%I7ymCn15qdAuZDSU@%F90%Hn*}Pj&}z5 z4@3-Qs7ZBOu#H7o4>a`0ldE>rKA3VLeD`j(wL0c6YZ&tvf)u21VcHY>75?ct*uxK! zQrDxU_)$=wz)qM9F>V47QqxX&D|~2W3mV&pbKG(-tPcnd%P`|h4x5Z+d;zzKgz+#G zZ^#%4`q=eM{GP_NkQ$BziKL|o5?YgfhJ`SxD% zF-G^->W6H+;(-+%)^|qC0!g2?6fWFob?mPgc~c$t?bw$A!^f~MR(}IUNeG~f`|jtG z$ebCCxaSc#(2wA`pWok;*ZhxNq3e*sN2rvpnF+PXsCyFv0vZ5 zH4#2ea&omCe*9&zcYY&?CN|(ul`L0aj%$; zrx&N1=O6y)hvbNY}?)$sgQ){ctSYM{T2X6Px$0E0!y0d(A4R8 z@&|Ok+gH|@V1e$t*TqXw>!^*iNL>~Ar9#&s`j}z~H<>H1 zf?UIui!Nu2JUim;bleNDRpnKg&=#C?dk&mimtmq@ahdr}qmI+8^PU;}l4H!v;=$NY z0Clzz%gQV<;F1GkNz3X{Mx%`Le5mzk5m(nmX`jKc+KtO@hu(3wM{E8OpyN5W&jA%6 z63w4L%gHrWpk@PtVvNCj6!aKEH+=#E{yY#rpY+%BN8cqKQ6fTohTDPX8_#mg9HF{? z3s-th_0KA|@fA?@s1iuIMCYr)qET(?=(V)MuT)QCTJ0MR{Uc{&E)<@w)fk3ad@_Id zrdPo&8*A;Z&$kH3&?g2uPiksvVqRw2PaQ>uXN>COddsV7YMz^IMs93uO#M<^aWK+6 zOs@}gM*ZmW;5X&T+nMqEL;=kL)l!(#F_+u0h?^t~c4<{=3 z^a1WcY{|U}xy3tmDGH~x!`+q)z4o6 znnXd3)iz$QuP#lijIMJlMnG@*s(>bl29J`B7r#_E_q}}}YGsBDf;IyF!kjaz2Z7zt zU>gPNWv>Z8wVyV(n|j~{AOD;k1+F(YdGd{%Ipt9o7P2aKvW(1n%M<$RE_bz(NaU^< z$-IbgZZs?e>H*bZ#uPaN=7U<2_C==Cu*i!}U#In=U(L>pXvu)zn{#%ygV#xwW+{0b z&e#Se11R5t*dd@L@zC!nqq(!ZTKKTf&##|;3cC1d7A*@@YVfvpLGS(^$deS+pFzRI zIiE;y0F>!J$_GzI9TYGkVMTsE|}Uwh(5g}Qs#LG*sm7e>Y0Y7@+*M2P89Kll4K(1=<~7V_HFU zof)TZaU+p_R&-$#>NNy3LH>n+PQzc#EhBrxKkx0~JD?BlqiMX^#o`T*_M7{G7=FQP z%cm$2<+Ct)uy9~#e;4L~k;@YkcHkbJv}S~`X$nqv601mMB!5{Q*)n7florTwTHK8xQHv14VSEH7as{0M-bccW$ci zBM_m?NweUYfgJ7Uk+p{5T|)Ok8nl|yLVlVv0mP4@ehMY%gsoy)JkzVqy7F!5ubuGi_Aq{=GbvE=Om9_U%$nXXPO!KVWO?XIjZV zIgdwM+7B;lp99d06tPEgTu96X3C&~1ROaYT7v^ZNwwSI)sRBP-fjPXdiqV1V{Z*}@ zaAdlCNcffSYgVBq%EExx!hC`nT&LeUyy>7ok;>ng&|vkdi{2!9>^**2LBVV*f<&*K2=VI$tw?St*u-a448fwb-21csZ3QX{LU6 zuP(2?dbMt+rGetlnvvQUFnC#Sl0vFi1m)OO)pve;Y}M7(g~D;B=+|$2qzhEy*POu7 zo?!3HtsszJ)<29&5<3Pz;O*?}?BnNWy6ztU@y1zaETLpap*PlA(l+r88NH0t?7hmZ+6L@ zx*c}h)v5P>gIEPB!pCoLF9^8lw@#WLmn;a;Dr&4Hc3ph4Y}%US_|6i9sPe*pWi*Ey z*FIdRh&14-%%1B2aZ5ii9mK!Lg%F-1UjBr>Ac73DH&|yABo?ygjy43Y_X8(05P{hs zc7WkYeE_5L+W8H@d3XR@OXTgSBtV%B2c^w>Ou}*Xnz zC^Mq&|JbMD0CFlY&0**C?;_XTG*#N z8+o>X;j~h8CK5Ckmrj+<=032LS_2%YGsSyW4I71&M+W-;hk<%{?>!c)4{OHa3aqI8(o{%_sy85 zgSNl0{f>#puuQL;kkmT@ChweW368yF_M z`5~FNx@+%iQwS|U6>)m`6xHVP*OiL4ul#b7i!%{%XH-ze7Q^{P+*~^?fu)EUn&y!I z+hbo^>ex6_vu>;3@&@FWB#52n?!jSLLi*hGI=;1v`~>?7uUHe!{+4wuf7M>OPa>&I zCd-T@6|bE_95p~csJg!IM!)EE=W^2`*$s=auMeySxf77q{kjKmua)g>YD-WDbH>v- z8Jp{Sa8m(`9vnBZ#2K;8)DTa0Q0=UZ0SH*r%8NNdBTf2NoXJ+4OYK%Vd3Zf-y1ZRg z@5(iB?<=k$kT0P&mL&U`?|)FW^iMq;>eFqThu2eFZ>RJ#KQKa1y<`{HDyzS9H4<>d zn9ObDr;8cxR;Gh_FO6hw*Mq)e0~w}33si2xs>|WbdjCPP^ZkD5d!tN!e#Qf`js9Lg zBd72olMRMG8GZmMUWD6d4J43!$K0Q6JMKw`fG&NNV7*wUxx(eE1rpEQ5|VkUkJJGs z#R0$7D97?SUF!)mMHP1NK{V;JW~sfXT={$7hzO81g>9Y@%OS}!6tWp6f9N3JWT0H9 zHG0GO4{}_V2cwFqr?LBsU&8KHTKCoiK}&X!H37sDd)A+DL;IN1(w4kXcy41K@4x!v zSWC!v+3_*&=H!H;FcTFr2F(o=kaxs(26iY(eq40vpRWBJVYfBRGBeya3|hV+YAc3V z@HQv7Av_rZ?8&YSp+)z{E-TD1q!9ANa)F)=4q@>mPb-k>D70~PD`|&%b6H4ZmbWOY zfm^A^+4f_m@7q|fYaDw@Ve-#q*j%j5`I;}82@LCqCov+qnxmWPr z1}-0&U<~=2vj|0TOTB@h^F*gWf}8eDu0XQsCb8zz#Se-tvhOr32j#pHRHra2K1E`r zdXLZRs{CPpW?ODfI~~$fmnB{nGG!ycEalF1zBqsRi8Y^w=19x`XyJPnw z!^x%#lkphW>~ho1I_hQ!ZPV1uBWcB-0I^3K>1*kgtFLdsFGyf1&<&c0aMB?@CrLyq zI$hZ!xAmHK&f~|{F?s-`x)lT)M1^=46)%bdLsPn9y`a^(RMzpQdVLU%ygx(XyZXX$ z3!E)kJ2=M>eTb3QfvbsQaiEuHpRgu>;6sRGmEWR2uf55DNaVz8VEROF2?3tmDIh>a z0Y@2qGUU1r<~-_GrfUE0R5GYF<}tg9ORJM~4@^3PFR&>qUDk@kyY{ux@6GD3C!)_ z9@~(UBqz8y(cWZVsxP==oB<^6 zL@#@SK#8C;#GuSac2X?Uz1~n_c??c_5vKmahY}-08-KU&{NR=a;yP3t>`J(DeBS9r zwSbigrQePV`hx+uA0f?d(<3Cs`1{9BHHR7Iil{CD{$g4t*0tlng@|ofKdDNnp%<4? zKlF(?;RCYU*^cj#AU!>TlQLXasrFP%n!|WH>LQZKI!~N5j27txs)f;7UMRKtKjcW6 ziCThA2I~JYN0O#x-sgn?BKuj_r?GO9rd(FEvgy1EFtKT;h{gZphZfCbV_&x7(O;Fz zVV3FTeThK{SA!8CO%`rn-ot^uhRs@<9dB=`_X=a5Okd{P69&(h zA6mOnF{kYMa2MX_Qn*^ z-Q^~9x*sHY!vDnXqA4buIIDgvSpt84x~(L-^9q{Us@i7UTDgNvBGNm|_4-b0w#UrF z_1?;n#~Lt{wy|Hi6p6Pc>s)^kkBl0M;21F0iT>9tseyjeSF1CsN{y_T0y&({>pSoj zeP(By)=CFcmKHyZ)UxaiRa*Cz(d8%0k5W5;4RPOt)L+4^@!~$H@kbjf-+j6!F8r@R z(Pi(j;-4Bfso0~!2hI(H%q)*XDTt*>bf-$%Bi7!eRZDZ^XC;`v*i|I$Z<%gjB3!0_ zR|Ht0K>82}Y%|>YVodMb(qp z7)s9CX1-03li1HR$n^|r%z_x5SqCKIl}gYOaE1%B*0yakjU8o^z(RQzSSMWzUulDY zprj;F(L^F1+^lVLszqUR#nI>&)SaE3=+(ZXD!LbfS#8wa@uX%sP)P`yn&1MKl__X# z_}*~m32GexC{z_NAjRTyW+CC*KLA#3fUHrq+k?D$ycvQ4E)Q8Xda5%w0WrV<8%QlB==ay*BFT4Cu83y*2~#-+bI~u9lLxOh-9ZS%ZA{ z2Fe&{y19|Qxia?pLHokgoR2y+kPa?E%>WYd)L_V7vO~>fo8c7&>5>%gu?cUJctbK_ z9&!(yki@qh{9;eO*Gq|_hZfjt{|J1g0}0NVV^uPe7<9hShMLBbRB(ZV<8 zQ4g>Eo=wy`6F)C}0QwFomuvc&AGO8KOrWSOYzIxW%%PaLou(V(I`}mJ!L?%?V2f*4 z1jTG2Q4mFN1FuR>q|dTevYR;KMgX&Y9FaQ#utGlJvICknH@Fh8f(PR5ZwYs?V+)dW zycjHqag(bTC+k@M4%;;PeXEETQNL-uDOkwnB`C5ILv<6}#%MprX-QW?%s9#EuQ2aR zeEj`4KgIn5A*!bE)>5aIihqV%rdu#Kv|fklkjq&XvuZG1nF{GGd!eD;Cf*|0pSNHT z07RKtL>|L*k=lU>qxZMuAEiAt^Pdo%pE>q@lq4 zs0H;~F_wn8mP(M+`6EBoPKpepOEBwy8p))s9@H=I`A6{ysv2r-aRs+^^($R=X=u@X z#rnmOF?W|OuN(yUujV{?Su&@~9dX3M(+ zGtOixnH1#q>i?#<_UG&hoXT1O}RVNarKF5-$1W>8hTemjR%M zqr-?jxpl?YQxtQV?J3VG<+&&@g)qM2)xDp$gVS{Xn{A+r%KigzCD=z6_q$^Mw@Wzu$^_XS7pQ*k#RD!PWCuw zkC2m73M!U8txo^BwHqGp3p|AXuMd5F6V;v)7>S>Xpurpw4QFt77X zg?O%8Ia7`fH!NVBZ};ON38ETyO~#b1#X$iPv+9JD)KqQ9@k*($Zp$MF#;}F%Lro|k zfz-#4U-N`dG56D<+KyutVxU{F#;<;@LBOi2DQlEDB}yU_Ot0kS&Tnm~_pT_&j&#Ha z;z#R|e(ke#b;xO2Tl>tm#ZK4nBHYK?KYslVRZX5>n`wy|#l2t~-4TBZvt@r-#bm4J zM!^WPsM^vT%z!92-1e%fs$xXUYqiX3yrksh<&(Vkx0et87QIYDfHFGonTtPI`-(Qw z^*8Ww{ziCIYoAm zcn;0c+hrA3U8+nh#3)zKL>lZVE3tW=+ixC~8i7mtTzy({G{^lu{oZY;=#5tXD2j$+Rg#p|z_&rW2)6D_IA`W@g&8;yj{;TKe+Q zpt+xRHeo)1HdbTrj)5Xh%Upd`0GT#a%aO9Qu_UGiAO(u~PxEEIQix;(^E4Fw?~ z?M)bb^dk^n47cCoFOqc_Rx1I_U=#Mr9f6h1luahaA#OW-0+gnke0IDRTcJ}v@Fr$* z)7N_2g6san+ZF`NdGV}EILjCA_XVY6=ra0Qc7!tM+{bemA3v*;Ak9--NJuqfqzy;i z>N@B%_Tya>MKu(Ar(S-KKx&~5BSlr~BnrLGGx^G+Lz|LiUUY#Ltw4CB)E45({!h!~ ztjjo`y*q>RNvm1ae!cF1sqT;I@y1F_iRIBCmcEgjgJ_w!FEI(`L4Hrx`5hS%y?#8Y z-)E}-g1pw}oP;GB5z8mQmQACGmgR(kOWrSD0L~4vEAKiCs}!?%=cSR=@ZCXhXnsJ5 zq5FcI<{Wmua@5+t1v@~~-t{`@C60JiGHLJ4+C%FDX<^*%gDQASU-^$Xc*+B5KJS~& z%i^P{=C6$dP`}Ol!|5`v20BEp6?pH_^LCQaeX< z{hUlL;w$6|_x)WV6W=&AjSW#6%ly=TemKz7m)4Lo^k-ZP3xXY|F>?E5 z{1-7z?rfanxZu%rd%OtY@bGZnp4RmI%ac*CxV?!xI=;Z!GN$y)-571MjE1$s)W=Be2ZOk%!QRr4o=ujF5IHw5FZo2i@Qn{) z9_h{-F2o8!$;6=9IlrLfpsyb#&v#?iKT_BZ8;7>-ua{pXyhb`~xC~9f8C%xcR(pGO z#T?^gFZ+cUR+_NmX3i64)#IO}$!ZwC$KGT84Ew6bE-GAIZU@z;w)uS?t}cktUTJnQ zU>5<62BEad0v)OKpZ${lwk;%MsF{0BIOP8HJCCd{-(_bEz7{p)~A|DiIUoVaKK=p_b?IdU90zKk00dS%)5{Hbi_lx z?w&5~sDL|av6ms$FXdjY%ou0XcODDBDf7oOq#3p4q!~0ZlH4q+4qQpE?IR|*wL6J= zShUG3{!gu2YP@mt`SzKI5ywOH8DJQO6G#?qNj~-Ot^=k50u~I@yT1QlL&Xg@V3Sj_@GjEw72*ZsG4Pq8|00-!si8N0)lI5YREmj z({az{7Y9EZ;y)orwF%I>VMFHI(N+P`;E)S`fHZZV8p=oktv@k6l51qNGeV~7FL~&j}csOVcAAThU*t`9-Egtp3 z!O-wEokuM_E13xd^+3KJc#}{NrY+fATAX*uvo|a=v+SxzuBZXsxR%Yx{@&K}wYqoo zf@l=lG|T2egSyL2?Ml~)3rwe~FKB9t-W+zrnKy@ z-dGfWVb;AlyLB(UwWxz@35#!;?!N7iTuyJvS{swD+m8s;vfieiR( za1jyNu5W)Ly}ciU|3+CK0LAzA9wLe=U~sJ3(`9`oQmN~cQBwdloV^=jgXQB1+xLjN zhw-QZaK?dR0%@u-NF~INqa#_wOYY*5#0rq-rlr8%T7GVB(qv$AsIO2p6I-djXR!`Q z(M!^A_G2ZA$Dy+Pts{}T%=_Y%$vSL|m@Ry-NeECE>)xQg?!L7^40ta<&D+ZBiKTa9 zhV4x^vn52yBBjgh#c9oyKeko38LC7_MQ7@g84?0TEKHUDX6}B4fG8>o$zO>_rOJfd z?quw^RUKHT)$PID<1zPbj+YuWcTLF74kLWa(B{-FsY-j(>C5;+y#WOaa4T<7d+P`oIshIA)30PsBoLMy`fkn>Od6U1e3luzx zuLuDA>O$qOfCY|LX6-T_&yRK7Fd}v}Yr1A3YO_})DiqY-^7iPpK6nu$n>~x#tOq0W zHGPvwLbg&PjFoFUkt?!7)KkSJB@bQc=o)8_Ec&pnAtvlq8sqQ%FY0qf0)?n4MC2S? z9D~KuKZ?yJ{VLQh1$*(l=1a^VD>$C|Y{D-X=zSK-V6GwfY1Vd>G_J3k--q%_&MWKO zb2X{Qy_l4TduEDlg&!~4`NLmKmHFOubA0B)$7n%q^WfvvT){7AeK9|L7BG^`-+E-C z8Sd|XjEk>xm}uw!o|9aA^JeMSM_2)jYHgw(z7A8xa5-z5d9HV?>3pnipd4 zq4}LL4TuO}fKY^B`d6_D!A4 zyGnKItluoLn)$mmh`10F!s*S!Yvkt(jYjw{gw_N*%O2?!;RUx-(h8bvWmhGWYyI?X zGg0h+mYJZtu3h5IqyAAghQ7|=jkC*d1W(9p11qMY2%^uBONF6wW@<)6-^LsIMar#I z+GVk-=5kIZLUa1m7yD!!EtUkO46`2>@WMi-KT0xIqgXj~CKlW*Q+^@W4N(+*+t|P+ zq2Td!zoW0ax3Zq}hnazG?YUg{w`ZqOZd*O_=R-_xssPCqBb_NS6vcnXHkb#=VD>_W zFRRI4S8rYG;9Uj}vi*5M#4Wz#6g=Rnq>v}60Uz~Y4>!#MlDb}>tP^8yzfo4N{P`2> zgaA1hNI89p^5Y?K=? zwqqgipVg3}vJgm0q;bC+NOc8)3$Aqmd;2hP0xlrzoARN(`-3AO&~bt(hCR~jvl%Jb zpm+ps7R<~&AaCWBlk_=oBaoA&?%;Bjj2^Dvb^dwhCFH{+)e=`?ck)8jpUFU>c~_Qg z$I)G8>RseuB;d1mP0#cIXezvO6sL4c$^}0IApvww8jnl}+-!dli#1$y)2%Mf)_NFl zB>$tt{m`KFTug zFJrpCW0DDzhq$@9h3<<6PF3!ocl?iLrNud`l5o#*_#hNr{9>{er6W&F{YM{8+Ro#h z%|&lX&Qy7AExh-4F#&u42rB>}X8ts`<+u;bLKv{eTaVer{5gTFfJxOtg2C*ts&b5? zAlgm_eByS%DN858(^Qm`V{%0ooPj0&*dG39sd4B6E1m~-9oH|XsF=!>+ZA<^V~&?g zi;Y7L(;~OjchM#e%s`QbJ@fw#lkm@mR>r>tMmWSeaWbsb#=^u$X_eI^5nI$qcWH+})KMHLxHRg<+*w%-HmvZ%~ zR5XaR>RqTf`P|cI|BZ3hR~s8t&%(6xh~Uh&g+72F`S_NXmh2y3re7N_ib^^v_UfK^ z`SJoWFPyd;I1xaJH1C65BosUpwB`)B=n%NzBqBNM1p9Wr**d%Q0=^Jx_3YffX!#Xp z+%-qj?tdJRPsYKg9s*crq~G>bZHn0R0IJ~Rt*`bujr(X8QBS7+B^2pS3z$c|U-}|pk)Vz!t{A}JG1h$n* z5|q*gHu_;ES;{msF){J}o{h;+kZ$rbr-0&WWfFb$EyKb~tyU2LUGvZzM&`l@PXet$ z=pikxX-cHE6#(&K9T|%-EbTZl+9^rYOh00@J6-8MH^f8qh9i)MG|md3;R=>+H;#cI z(`-O@W0%t};|giQ#$0z;3>_n5%3~XEplM7>NlUxDxVt=xYnDBltM80r0vZbBYajM1 z3yL&2MA|ri;1bU7h-^JqA!V#@r@GSUF@q21?J);P7tr;?@RH?sw{Q;aYHz;ZdCfj2 zLhwD@LmlPg?>#k}1;FhFCC)N7d!z?7O@}J0tT>$ilun|cB*4Y-c#?_;ANS*tXmIiM znGTL6@S@v0L@vl?Auh68D~37b>FQ^{!}f)N(4I_ONr?n#@5(4?b=3*FnF@#|Hf)kw zSy3=@zjO<5tP+fWw1_tR)J6Qm#3{c$`Stf-SOld2Se(mcj)(kWW6qwXM16Y~I~l3w zNlpk{+gX_u2_$1AI@X&it6v;=0=Uxqh*MA>o!5srTD%5;b8T?4!ibC|}&0n-s+n+u709LqFuUP369)L07iXwA=OtfIgX zb2>UYp%!s5Q@ib5`(M1_D<<*%0o|IE*wrL}`?x&QR_R?R<`j5^nc!63F7DqoTrDsv z#?8N`qD~r)KwBoDf@SB!l?3PpdV71xFNFzokTkZ9$U&O5hJ(g~X@>{Crup6LVk_(3 ze?xXnn)B+nF9`6V;G9OY%Yi<9J>U@l89I*{z?*w7kf=4fQtCVsqzxmLT#Zh3eH?Ih;&zU5fVy82WC@PsCd7W@opVC-C?1Df#?XOS zVe?(HVxhevjfW23<$36)_dj^?IJWQS6$bKe_azi|Fh&r_lvHHV>^0Ncy}U&ad@;=} z^Bc-{RanFn1TdW*kBLuXikzOc)Ym|KAd&nif=s7CwFtpqLbKmz0z2P$5P$esIr?1m zJtQ1-^-J!zK!nA?N*x92NnS@p_ryFXb{L{t=OP5y8gZvtx8UcjjDeV$V;E&#d+y=q%iiuXZZec!AriXi&*DHLNRe=Nf`^OJ>X%V_Pq>#TLo%9{3olRU zyy+Xg9rdY%X2JVcRpE@awMDZFqNM57lCAvysje2SPbJ_d@}s&!=&;UOE4B&CxbIr- zZf@BnvHBe)Fyc$z>K9i@-IB$X-3poqp|j}tfcYe-A@QK)+ZX@t%W**#-1cm%@pFt! zOx^L3D9$76kyW`w5CI-yPBU{UFWUNC&_6_;$yqmG!G2&>&uTqkm6w89(If zn69$sUc>Y>%_ld|R^foNN<%x&5JpI8A2$5;{Ib$B^Dkum$xg;il>nRVS(9H?s%P@@ zdhT&paw*YBWs+afKPSvh-$r$i=%5OV*Iem-TpXZ{)fG&$FcrUQ4Nh4uhs!2{7Uebt ztf1P&(rj|<9BUj$z6-bhoq892=rh{Jr|eTGWQ@z?EW=_Z8r1|TgO;3rb~LGCuY~L7 z-4>IEeKvo1f|oEb_EF~Oq5AqA26Zeq#2imev6*-go_e*FjqU;blu^L^SF#<^+0EFk zs8PuBXumf=4jzf^CbB8;?ok5#-<=NKVd^e6GqS!$rywVn>%eIt&)l^t&+M8sohZ`! z=!TzR!D9JV_af|9!eFX`J3j#MZsAM1Jd4Jr07q7kk!C+Fmn)SOQ+4q4y z85<{|Pl{8#k}t1deH8CAz%4M5&orR=Yo)~;s=%9+bx(M^J*Uf;Ll1_BO^#*aLW<9(cO*&Z6i zi4O3Y!DklTpeO|?L7h!R*nW1jR&Uc|XjDva^iSQ8P?o=vz=^eE9qsExzCifOl_Wmf zQ&+L=b0c7TYpl<#n#oq-W9oi4yG4d<73EuK1GW~6F+mxaB&>u6i{&RS_p7Jm;G;$T z?Jk9YLJYC>>8qd}jTMvkfwGab9vy6;R_+4ZpHvx?78S4gi7X09rX_ z(I&bJukM(Eb#IRj56e-64iKIIseVlK0u3T9V-lB*oYQ(tgkD?lprF#>CgGrNb~s3P zM28=35}5uZQx3cEiM@=A`JOL68hgPH#$}qmXlY*LCaJ=bCsz3Gcgb(9%O__Ge9wQt zH58Qx&U=7Tuj!K>5bvA21>NQ5=C0f@Tu*~|ic?lzC_e?jbliWf> zZ7@9HC#QR`b>(W(`1pA1@bIu_v$!LPF;aQ-u-IeILv5rKg8H0$1tenWS&RHK zSb9($G2dP1`tF^Z=h$-yWrutr*;!8JZ+ARBnNg<_1xNPu<7LMDXElw>K>E~A$OsW0nz$Of=8FcULAMQ+c=e^ax3Pgzl8Mr?4 z{E#bOyL?u=_yZ>g)^X}vBLsFMw>EaJdr`fz!HLyO*;$Que|K$W!;Uw$%E;4G=l*>* zGlC@aHrt^L3^FtNrijs_2(8_IpQ7UE-BH25_?A?=9&iTLcG%hv5;%=~xHxp^;==Yh zW>slz#9dJ=a<#_YX9sBFOucZTQKEKLTwGjQ)(W4WZoEn<~4cl@aBf@L*MQ1Ij}H4XC^#I1Sbx7MdiO-g**NUa?K20 zHeokvIxxHj@gR5R)a4|{cKa^kU-}{A|8V0#+w`2@(1+9y8#> zV4<7OrI&B29n!;>GUloF8yXDc8F0^K+mW@iQZ zuOWkf-7@P9{6lyDYr`Pj{|vF7@Z`YN-#e-OH-BXKL%9Q)=|4mNi&(e*i1P0#|Nm9@ e1^yTc?Ws?Wd5A0S`oM)e6--6vUg6y*Z~hOTVl{dI literal 0 HcmV?d00001 diff --git a/docs/limestone_race/Fig03.png b/docs/limestone_race/Fig03.png new file mode 100644 index 0000000000000000000000000000000000000000..c1a6d4056bb76eb650bdcc097c28de95d71c27d0 GIT binary patch literal 11288 zcmeHtc{tSX`!AW45=CTRG9g=HEQLXcDNAI{S{RWvdkmqHD6)@j%9@>-kR?lYW5`Z~ zl97EG`+ACd&Y#D1MemvCc|Z4aKhM3qUiTe#M_c{ODYjD-6clF= z8mf8}6vx6SC@62Aqz0cNhBgx;SRR1H?{QOPPYAH1hQR{o~-7##O__ zoq~e-68Rq`LJzt^K_Og-P*v9Vu~_{6+N9rjZ+mrhg5sz2J1Z)`2I+SXkCzyhtiV=G z%YqFsr@o$IE~IFt<{EQSy3c<0Ya14gdec4Fk8r6PVA|()Zscejh!n!K81*7Rj)joSYCj?1orH6-yS)(E?U~zE~Z@V;6r#SrW8ylg=4C1=;E_O)3C(~EjBE&bb&i-9n&CJY9$ky^i zWXrxdp~{4QIdUiQ=+`eBR}YWa!tm~3-a)2@OrS${sZ$IzuM7TTu0Df^;qjWj z0zU>DJ8&Jp<+(+jlz6p%25Nk9GGioBX^vmQ7UF&GBSU@9M^3`1qp3l8WT(}-OJ*Gp zYw!N1PW6(IElKCwFEK>4M=Jj*hPx0r#1xkEn6kx_?2Lddk@&)8E11>rdPmxViR}&n7~HDe`kW2`nSvxd(TO7$%iFR_Ex8M=jZ1$?DY0l zO`G=vTtQ?1NfvvM$Oq^+5uFTgQ^-j^!o}GcNx1;6C^gs{9uq;R zKwdiG{hJE!Y;A4fl8$q%`uQS=sZvaUcC4030QJU z){a}?9Gt8fi5NjbB{~)zri1An02FzB*>!RUiSJ|>Ud(vN&$yPY(2>3{&$d2vG^`Rh}^sTN1~Ug51Id# zXP)<8U;GnrUM#3w`qxLjUuS1$t!!;=*EM?!7Gj1`R$-T(L7y8x-N*j7U&^u=Pj%C&Ri1GlVY7eies{FHPTR|vHk^1Gq zpFm3Nh$#vHAv2SA4|*WunX zsup>-ua(}*7WugIq_Gz7<#F2+<16d4eU1;mz{3{RSnp3HZXI6DEsq@#6aTa4Tsv(Y z9h{W_U4gs~{Y@vyVkfAi%1!>r2x?5Ttbl+3b(p9c>km1{H3cy}(+-CV!~J96vgzUX zH%DDUOe>siRgy|4CqGtJqF)Onzva@D{oN$-=+PsSdPb9k)YMeG?=|ty{yS@rEwHRp znIw{Izmv{@guzswQ)jV^LB)Yc0*2e43&dAeh5T|XR^myfZ=SHgRBboQ(ZUF>KwceP zq-RjOYiL+qPb30unlb3#f-vZpU%eBi+i>;H>MYT1#dqyj`{d7`7xS&QHaErSHTL%Q zLV!wifqbJ8A8KMo;9U*+mpo4+HtKv<)5R685bb2)@LF24`SKhGbl&Q$ z^#0-A@<Q1*Jh+$SjO2$K)KA)e|2~#YQUSuzi_b?lyY2oHnne zRl3BY$){s^clXIA%j~8)KYzR}dk4(v27k;$#u5Kj6ob6lwI3t}d3g@4La|7Z)}xOc zt`h7Mo^j>z2AQ^x2C?6c|GApOlKO4>j*#d2k8RRrW3q1W#k8@)>^|=2=w$>?9ewIB z8p;s6djok%f}Pezrrx{NyNxm`XxZ1#PcGRoblT^0)evN!Z|{rp8%+d<)jzt+#Zpaw za)M05>BcUX=eIW`Xr>daNeNd3Y$wjGO>ZNduOgdCU; z^X9gF82<3IjX|1*xnHbDztg+T`j{`B5aht^-2=80MfE;(;+-nEdk$kkQh^k=o99<{ zIUcgI7*!}3;PqeYOb_7^^g*U0(rdN7tB?+kVUls$#v5x))6SH;Kt^mlqqf=nN-7ag zIWa%ejgd1oB+Yd=#7t*Bl9bQaYdu5N;K*WVoN;w7FGmMsK})Z3VIc|F%x4zrfQ-u* zMz*TU$_%bM`P^`I^YKYM15&lN!K?CPx9k) z*)Y!PRpTC9zba&oQo5lBX4@jYvz~@VM#VLu<&*BeCE!Ot!n8NxYt!Wg^3*M)RMl&3 z3C|_)dWLsvyx3QFR?#0uomcIQ+xm4=-ac-@ql@AhS;I0iGK4v&E;Fu6nzs}{SW_(n z4>s0>dVWhv)1i5>EBh{tRcDR0w)#HWN(~IIHTY#Xvr&hGZCy-GmW$Bt(HEkAiGR)b zoJ1nw;bF89$xx-t{2NvNv{OlWqc0DFwz_I{y}xFm#fz3^NV_wbK&Oktl(>Wz9h}lg6z2T zrI}3rVy)?T&5L`?sHp*SB!gVUtuGY1NnDCY`ut8+3Ey5&6lfmG2)Zzss0LE!?9nm| zun?~G)VQVkm?u$=eog7mcIsIW>;`ASsjwI17-25kk2IJr*HTWWB*(P8(%(~qP^F)m z6?2Z>daG6I)z$V+-(+96^xis$mNEH|RLvTODjGkF|8 zq2r?{J0BQlikr9x2~i#RdBSFDPPt2;<~%S5*!4rn*Khh)t#K(o)Wud;Fq@WU)SurP53-eXJ3{<&cszaxA1O?9OB;;&z=gtZ;+ zy3ftqRh~nlMlz!182f#%v<8(r-NEwm^3IkIchkqpuWG=6`wl#o)7bV{bZwrmo=^5x z;FqVj!X__I{OYWM*y)NzO401Cr!S+yr;J0R$1j(a7ff2z@HY0b-&wz1w3Hr@L1e!bKaLq!)szt4BP@cDNtma3-nvP(G| zJ4F4=`0G+&^2R#m{DL?=QxkYXGJ%kH9*x~Dy&upX=)+Uvm}lz`Q{(31V#d0>pRK8} z=saz41?w82^S0+v6{n;7%jp{G5y2uZ0=^n_NtT7X4xl|&6SrAduNW{2jjDi@`U7Rk7o56)?Zv%>@)lBl9Mml zpV}Ym4LsVL=)rOSPE#g6FFGCF?@3N)c#kRX;+!J`eumAw>lPbnLIiky$(AoePrFx= zGZaW01H*a4-41Q86LKtv*vbk`9nFHp7pf5-em`@ltXA}Mk?9i0s=$;W~Q z3GN^C-y5+I^Pv_CgeRwjP$rOBH7*EWEDJ#~3>cBuAcLkq)Bucc51Lm@UIV0z|9q5T zf)&Nt@Xn7_x(igd!ahx`S9>pGTYI5Ib2xzShJwko4g%oCbMJ9DTm#6*f1~^9K-3nC z)e62@76Xz;&-NqO$IDbOWLwK}$|S z0f_I6G%AvKvy&;|IV~xg{FYY}qi*s`(e}+zM1`YQD0pGn@RhoKiEUE1BCeGq_S(CE zowez;oecFzZ0jUNbzPm}lg-AZC1>fS#nFlpk0$qkZ@-r7jy8Wnw5AUa_7ZGkB+&7M zql4u@qYi!n@mM*Du=fRyYj^c@r4{2iAAvH2_?g>$cQFGUg}EkbUz{R zk8=R^I9!vEIC0`cNK8yj!IdEp`{UK*6&1U=_y}Jk8XHnHwP@X}68P0d_E&zWFn1cn z5fD+YI}-?qj&dRyA|XGv!NVq%I)h~7{kO&E_tdhp<|yvPp?IrRN?1o!ureHpSrStn z0=AM#Das~nM$-Al(xa_l;=MN^0?OQ+yA44*D=Q`CG*=XqBo#**A0AExQ;K=KM=Upl zoCq;0wy>SbLa2>oMg%$j{DeiP)r08-KN)Wpxwn=W4^oXcZntBtatz?8e^Pto$KUX< zUaivq+gnvcqe$0zCv+kzoSQMeC}#Su?;mAnk1*2}?JKzoVV>_VR!m^`hHecJ)^g>6 z=BoHdM@K_20lSy0^Ho{tdciT=wS@2yzWn_Tp z#|7||Hjepbc_rFfdMFwu|8>H^V9CT@CactEZ+Emwd>k_YoS38Yl6W#@rq^V-KbPjE zjn~Q#LV*a2leL1mk&e#sne4HL9?$!w|F{}K&o;6Vu`e3=9vz})3vqez*77DLd7f!$ zX~-?dX^W!Ol$~VS(oX0DzZT9!W0}$B8c&RRK_oXstkLD=z;}m;S*>xrh!z26aN9}h z_Rh!J-S zd4YFwRJJwB6ScuKRXMXMKQ9dMmh}hYeAVOnh6sJp){%LD`*9svG(zJZlg_j?76JPo zy}Z1zw~}9#owDmZ+UX9&wt_`On!&=jSHQI#al96N0LNb1!FdO8B%eyY&w&dHS9w

+ds_6ou`E)N9BTLl5?!d0YL#_=bJflVzaC!ZF`bzp$T3y(?`r`W9JJTR- zRFBNN+MQW!WQRg2xoPVpyddj(mEkDnmvmDc%^`2A`% zESSu%bXY;cIezUp(=fElle*{q-yjY#HW_EzK=awo#v&1g%nz6Wl}5%%kw!lzg68z+0v>%SKK}?8Q8Zag%5%qq34A)%H6Bj7e%o*v7UocWo$2;|Q7Bq)1oITO7?|nm(7xnp@ z&yC#G-8+^+JWggPCQn_~jw?Yf_bgw}&m;~SiBx~s1tiRCy>*%Q&N)@~P6wUY1ZeQ9 z7ag+|69Me6?O#0gO`BjkK{wc1ey1V(1B_<#1Izr`J6}B*FU}iZ&{Xvb9!mK*f{cfU z!IE>?rt_D0G;U@QJk^GPk~iPi9upA8^&5GlzLQg%{QP%GPm@-FdBkXXN7lc;$H^R* zR#18W^rpINlE;lIS~<#YDm!fs7JPhuvSCHnc{wwUAp?W^1BEhOt}9fF*fMOSS9*)ShyJa6L%IY^^^3Y47SI6vy+v+$`(o3 zUZcBcprsxze*0-9t)OKeG8tBFf}goKFI@h5S7>e>K48Q_)jD8=Q4F;3Azuo}Ft4C1 zM0$+r;-X>$tjn0CJMfh4f|9NVdJ~XWjyw7Tk3S^cWK=F7O|?djkgm^eUM=a%qU1>o zb;`eYrH|(913!z;PdqCXW@m1cT(Ha1#1JK`>2you!(NpwXjVE`p0#T_7jc(Ts`RC% zwtj*AX5_M95ktWj%8*5()!861!ttX!D zucn8Mrc^)MqsmUo=vunP$+Th+^Z5uCs2Js`$#37j+4AzAe3{Meg_XSvRZ?0gIX}*# z&Rx1LQs`WnXAki{|FHad>eHizJN7@imVb$;^RzrM7HGI#AldveZv*>A_O`VNJoKb= zU-xq*@m*!@U3A%TruhPs3&$M0?(7^Ur=YEMne^d%MqY7N@F^u<-iK3xBT9zrJf z!mC~l8S9hv4o%8jx*V|}uPb=@Sp!x=$q?I?@~XVNXw|2fq6C+Q+j?h}P_w=wi13ls6q8BI&>?6VOMOa?B>5LwT(_N1ug{)p|Jvjw@3X>_5ABFQ%~3G2`ao`Y=fl~x-i^b3 zQuhd{e%D0IB4&%L7%kSy$|-m6;TpPmFW--zbYAPUzK4D-(GCggWWBQF8-OVv-Z&0=yOrno`S53O-Ni`ntyVm9(AwQAKXoX+&-~w2vr7ko+ z6%eMP{X=#b(q-hTHFiurV4;XiJIHtNpTt=ocw#2Rl{y9`>1{{d{ryv%s79j`FqrP3 zoq1Y%;{<$(c6r^cn$1t1gN4>9Ch_Lf{_xn1Jc%}Mc=1|Jx^HYZe8{M#q96E~_~JeI z&oX*?dUb20cer9>TwX|<>(0h&^;2o58H$8QbEYNnwZ8+*A|2r)u|FtXVMHN`AM3~2 zxir+RVLJZ_%K+H_2V(%fp816c{Rwo{d;7XpX+H;yYHr`}tqPGp8N($}S|jzC=O5UK z<2_Z@wBiFuydHe^jSb4c1|&sphEqcV-{rT|5Gb2}!ba!#r%9uP!SY!@QiTIk)+n*=NVTuZAldZCIB2 z-l0TP5B&nIYTxj|=I0C}OD~Z<$9w`t=M1oDw{vq_VA_d*0^cNi`8TFYYZ=`J z_^Yv^tx=X@+09ry>#nInrs3>4DL7Rhi)R1%CxRXbZzQ6VD>(BQ(tg3Xjq4M@7o-TVQeCmb~X z$v(o)XLG?sy3n4#hb+klw>cZ|hL74$rjn1V0I{Q*twb?($jh>o^4c9j;;i$uoyvmG@)PM9LQW~1g?mA z{8&hB)xFwkq7Zi_&ii_8-VG$DuCL@uqMPj+N#fU)PxsS|>1A0~Z zpu0oMkw{#vg~m5Z?pRAJpXR$s#H=g%Y3dLIWEcmnA2f!siS90s!0wr0G!WRt)K7h(E zG~(uaaDfA_ub3XJEGV#JERigowo{>$qYpdPHhnxjHy*Imyl&YK-&kS0Jb0CsLB0D> zikA9zYr<#bq$hrSNIa@~czm2oVb7>$0s!@%L~b9a7LuaoZf#zP1wtnBz%Y6jDTZ#! zt9=CdB^x$z5smHLO2ug7`Lwk39kT+gLq-qfPAQpt!++z+2CiDn~o6 zVn5J2K!|DGyL21LXDu<&Y~q>efM(Zx^sMk`*F$92mO?@Fa^y>2Ff}?;ElE%#C3Bg#gNVu0x!BMTYB0A0 zL*H779#sdgpS~DAtZ#6(y0+GWO+OgZ{)2erXv%1-)f!U^mPL}UdH*gvZ2fAc&i&nx zVaS~^M3AFJQqPpbeTk=LyeU6-05*J2vz1^O&|W?>IcWtWo(LYs4ozRB@26G`(AXv^Pj6+A@=FkjZ{^uS#t2vhV{uwBlNgg0Q?7-k8UX( z_#!C+0RV9adf>*A0PS_@|EVtpJw1D1v4eM+UapqFvVg<Ch4STMj4wr$`KlM6fnc!oT>&6PLTy8WViqeAWuzEKvUp{v=_>KSQi>6_Nfp**jKqWifP5>lX#6^()$r>3SF0H0&! z?d|RQ_;IvW;Ofujht3Fm7mpiFCYmxS&9|!rP{o`g>6Kxf6GS3%QfxK5%#Cm2r@ z$lOUNI*nF2%frBtEgRO9aK#dP6m0{ba{8Li)i<4#jm^z!@wz-`FK++1M(A}b;lb4_ zKVRim4CqYCQ~G)y-+KLILEEhouK2K8zXHBNtvk(+c*{ix8w2CRpBBuOkrHzpYmJX$ z1a!oPbXJmz>Kv<;jtUcRzVmf;je2coGXALG%6ALUFLQqUvtPwoo)>X(On7YOZNQyG zP`pw)33(3D>^aYQM6-4>?RTB(V8qeeuyCaqS`KtQAZX*HZPnkg^qu@PI5dQ7wNiNd zJi?J{s>5P$WkozW?EyUg%IM9KqQb($g{$*3S1DZwyxgK}*gzycW=SocR)2PO^Om_1 z@Px5`yO-|8UpgMrbSVl+orI)0$wt+1&IHHOmVUhG1=L;rMX-n&TS`{%#&iDB=)lF3 z3u|-brP=}258s4`*o;Vr?w89Pm}MnzZp;t$uHCAXi4nX^rW<-YmHI@K%{*>oN3@>X zKbNT%<0y|zYx@{?+)Yzpie;WhPJ_SL(X^LJKj7M6sx(t5cBdCcgr_4{f;4vS7_RFA&N!D)^2Sv9$V^augG;$5RoDVL)=E=|yZaLv&!$jkO558@W zcI{R1swt2I0rS9@8}9EjZG-4tBRjO)!J6s7*Gt((eHiBxe!#4|+WOD07MpXfZoOWF}BiykOiZ+_|$tJCb_)4461cLuG0~qU)0_ZjH@UueVa9h zFp1HE8G~3xvWgmJgk1~V-*#J>?aL{!JaNE8!vWrqeIL`rm0tX_p+Py`0Q#`TZ)<6C zb*j~*)%bez3(J6=X5oxW2tD$ZQF_-_A9vS=V@gP<<#!6#L0->g@T6DuI_}KqgeJe3V2-#(u znC#2ghMDodqwn|k|3A+;&vVXm&f^@1&&<7_d++NLe&+;iZ8*5SI&bsCzo=o2LCqu}|N$89rj z8X7iX>hB?_q0lM~jidqe=5-@~tEFGj@IKSsDo=tO%`>{&@1GHcWofK0J-xYU z>3D+OxuI)Eg^XxI>Esq=X^x#_RzC_4;v%j z-UvZs>8AE|D2YPQUK$Px_3_K9C^S}6)OZyoHD$G)YR0>5;G}&&8rrukSu+_o_(+crYB$w=JZGilZpxpv#(EB z*7>=5-2oqYf{$2yqN1ZUpFDXIcd_MTZSDLM0cdPO+Zi?L`q^@%9=^y%$BpiYjBnr0 zjE;^vZ0D8xdU;7F6D<3~Ify<9Ex3qu2vTiiXlQ3jal8o$NgieFzB_>TNU+1!vQ3B% zD67ENf4c-2^IR`=r=az|Ib&oX{78bJl`ub$Kxw*4xZoI!pSi@n@zGIMCOB$_m zkCu~{zjNdPPr`NY3)bRT?=!`YB9VB01<(E5Los`ZozfrY$p98%1TUuH+ z{J~ZR1_rtkj^+Y6SthivZqIh6_C#{Y-_k>=rD=2K@ZY8>Jgy!p8r&U1&m?m9*4)|{ zD(2_eXn`x`g*K)Edt0vNFY3>K4Pa?bl0TWT*pVoSHaGba&{gYVMa;akTK>1aXXWXbx1RrDxkU2Iwz5ehffM%p!>BN@0~S0#J0q4T7HbY!X8AN zrcIbO`y!rdzigIhnX^dQBE|u&Es`b~9DOuu2gP7sZuAL$zgpDQL#y4?sPf*}cpHeR z>+Z$3LQwOt_Ek-VOm}XbT*bB$s|NECpIS%R;Wo}X0o~t8IWQ|(@@!&RxSdQWL7eO0 z#jeJjl>GZF6pm^3OC0&m@s@(_oQ}0K*(VP>7BXFrvA0ZdDYz73XG+)KsX!D=&>5=x zQ*LmNSka9F*WqHKi^~%QHt_R_Oxh|iiEKBS|7m}WNMLYBY<9o_&M~)u8NE;a(dddemhr zUPz}^54Ik0+x0|tti8idTy{dn{9xs5zvHdUxxopE#M(~a2QJ@O6{M-uFd_%{L(rpO z{h#Wt7!s>;v;{ft?|{Bp46Jll)He|o_h&F)c0LH1nQhDw@K^>BJcWo z-7!q$1fD69NN_XU2LGY$M*Py6Jb)J(xF;-pmAZE}XWQqI_AoKz-vQ4@%!zS7gMbTj z<_v~$iMdp{Pw)oqtXfNppbMy{kal%7w`(YdHK}pN{WPYI%cx8@^$ZMDsS!RHk$p?0 z&t#q+2>D}-L%){!S?Yg`pWIztU8M(j!By{m0^)K0uJ+H0b_}Mjg{8xIy?^Gg%0VN* zMP(;AJ!(?gBSFazz^z@i*D#z{qrT~N5Jl*6EcJH29#75I0AALxV+gO;d;Z{{W^dls zc2lL_H=u?rC@9D(fi>y23HioTC*()6${j|>L(qGF53*!3IPfYvdzk9HBh83$|IR#~ zY79a19bDPHA)(8!sB_!Ykg;sv4mSQO`ycs$&6x`wobx|>R#a4kHs$un{r55d9i1!* zYozY;GguA%ys#AdS1{k(+uMKNs{`L093RaRJb{ho6Sa-4ZU6Tej~+d8`X%I>dT?gy zHd_Dv<{mj4aRsRPIj2V#;$^w0ThX@IBb8avUHf}Rb=M_=Ltn|?{U%r58!X)YE6=}H z@KHMzoZ+ur^||&)!;4~@A=G7Ziv&6ispmxTGn_8pM+n1{q#dw*_+(E7j0F3)N@9gSys8)kFV*<4MHv)MU5-h4HDp7mvWrbA79arWI_LMf}%uY%FM{HUwKD?>{ zvP!C|I)|2rD;(k!vwHgS^r%7CX}s?7$}MGOWhbR*5GSE2UCkT7LUQ3>Th3IOxrw7@ zbk1x$D1aa3@L>G6K~ZeZ0|WQW<+cUJW;%*2kZm0v!~_x62B4fHO}Ymv5ua&Z zRa2AfcDFTi|JTIO@YaUt#ts}pFsn+QbE`Jin+-Gr1()2&BEgHz;lc}h1(~gn2 zq%U`w`3jsj9aV~LmTfyGY`1WCGYKtiA2df|Q?{k-X!;t7o}lN@+5`m0i#m4l}aW!w^K_qcsc?vT<(i?x@a=y(8<@ z47RcnUQIFdD3V-8_*(6Qn;bYostIeBS*>%>v=nWE|91c(oD<_a67Tf+mBDN_I&8_f ztF(uOJ5FwJzP6us$|nH_)SG!k7!?l^DZzr9rJ~tY2_c z<-jMsvH0jS>W2j)oP0kOmoNn0pNN(TBsOa7e{!mpT(KK%L>WOk)JwD7q)3}I%1KD_ z0t}6Q`Ciiw*OjImGB!NFZg80+k_%!Ch+b^a6wDf8Hni_t@y7aQBIWxr+YXj4T{<1+e zoyt^Fe;z%{uGH^+)@?PeHd3v|Ze7F&nnK?Kqh}$7jYVtC3#PP11RX~28vJrUv3owC zhMnpscv^;o7x_m%+=!9oYn_LUVi12Xn1_JcCppX|I%c%rzDp=yQ;Hb0suOoLXWulj zB4^EGlRvxO*wizu;-o0e0{e)RWS3%M*-ep^?Bi5{ba?X)9jeqw9nc`N_CqiTzlE3& z3}KLd8+^-;59{*Xm}Wa8u7VFvmOtH%_Nym-xa#~4oS@`puN0}bIdlJ^ta}?%-~Jkw zZ?5;${m~QOvyQ!Wl6N2HCX=@(E^-^LMJ&9PO4~F3Rdu0>Pr0!=jH9obq+z7KzR=o# zIo00TFWoM>Al0NwJGaSyEz^hGadyuQ+NW<8wZP>i0x_mkzW*qII3z5=A&E{qx5+9( zLMyY8MY-IE^srpSzL1a*S<3F_LZ2tIR-e=yC&mf8Xqs07UnJ(Y%09%v{lWwGF;29 zZQnPdaa}e})c2fKChe@@zMX~cCQs=>E^dtq(r7T8=Vzf4>fM)qpO0q z6+82az>tPJl36h|IXU^_hv~L?P6r$PmB|V&%d7U+<(Z&lhn+sA{7@cV-dqg(&@<+M zOrS%76GNp$g5H(KS0+u4Dtj^c7 z93~tOxQl4ZvA#l@6J1nr)XKrMx%x2}Vb60&r%fUE_h9FkRKj>pZHv`OS{J>X)Hov{ z8u5iNlV;q3ac#9*Sy|aH<+U?z3^Z@lPKV6)aC0wsZZH4Zc=9d7CE3uz~6HR(mCt;>vB<`Q7l&9CLVB!h;I0>9Aez`!R@l*#+Qzs32$+VpgFZ-I!Y zz3&anm1?Z5O<8{8<0A{QKMraX)xjZRXQ^;0h0}VaGgW?0ZvV`5V<6E>4zW)m`=mM< z?fLon-5M;mywg|u@nd}M($Z4Sj~5&eRaKsbC)-_T^s|pr0a&znK{w23A-{`doWYx( zp5AGMLZJ)?22Z3ZKki*p5)Z+{Ky;3WQ1WaXH}z5=V8?U!^OqZf_WXSO{gZare%1Pl z8I$w3q|_dH2wpSXjCgh>+2n+9=L-Nv0v;w05(P;OfyDK~n#9}*DuTf9*dKE~}Q z-_GBoWE1PWv|KIIKHchpBxhfu&CSz8>9*P9{<+k@*+Mq2nLP>u{q^uai35;yF+r5- zl>bR6vU$t8QQ1!5S@zofn~I3LRmTTsA|fR2%rj9h=62saPe#;QCW-dWL8*Hbq5kB}svt$Qt(~16 z5U_$dkp5`m!eB|BJ?wKvHl=J`6neyOY2@QsHsn5eTUOUUaA!5+lis|P7?Q_!M$a&f z;3jx}5u^}TjSn4r9=rPu*wV$c&Aqw4JfowsJ5aLyP8{3QT$xK(q<-_vr{U{0I&n%t zo@q^HiEyAf8>Z?HJgt&^lRv?`yvNsPuhz)rbvE*}@C{H!y+~`XIFK5=jTxsv#Y0ql016WEImYW6CO{WdfrYnm04KdkN z$n6s{{-}+i(ln4!PpK|)DkFY)xOG>1p{}jmOmf*`8}Vh`F+i+E?_zudOaLKKB&O^J zVjAx|c;~iVP>^a6qLAcd#fUtzu{zcA;kr{upyd$D8I_TIot0q~ZazLeH}dPI7C?h& zwP^L@Dl02*?UV2juA|(+y;DUrI zlVZlorx5zAhK7c3Kl#>1nh<33b8>Lf)|OwuV!7WK`$>1J`5YdFKVSC~0ui-dG#Ohm zq?6h%DiQ&gOW_xaPq4-+KVHrrb?wdFcCljcH)c==u1Dgem~phNrtjX?QV)oM54BVe zKTrb(DXa?f+=a6Y9E+x{zZ5u5S&K$ykAhu^|4m zgQ-+9g$BCaowA#(urR);CYkPFM$bGCX_;vL;Dj@{&+hlrb*%cNYlwvjvEarJ0U=ht zK_OXhlo_g|3s575js=*3Dc}^*^CmB_kbsQ~#-|NF-f&PeKBsO~e`@(obKu&v#yMC* z#1=7i;C`|Dw0Gx3S|j{50X{|ZQpC`9qnanBA z3p@8UoAE2(9bT>K$( zX+$f^+YJM;ID}Zy^N@)N33ez zv?J9_s7NO=1H4#ab+Rn6XDk)j^g+RZXv<|pQufw|B74i12H>rJI#g7tXYlcXEla2I zVl{{Q_}SL5OMV`U^_l0|x@6=$Ce@6i#kz2w+P10;`mz!FQn>xV5RPa`o4n5TW2d{* zRh6IcWPJ0=vT5SrzyiecW z`!?~?SK!agjzu3*l8J1mz%cn%!Ztt#l( ztRoTJ^}Rtfq*Tf}>$K)uS%+H{q5|P3?B zhfax1)0|&TPGy@{3*3oOyKAh|72(%oZz1-gb2YiBAm%PnEET&gRvZ2MMqFcp<@jvA zCD>SNSokFkqn06-LD%~XvWu(LFj@Cr0mMjD9mmG2{Knr4pS*9j<~ZMA+YWC(c|^0P z#;L>ZWt#iq*WqD;!WUeo8GEbUy#@zBt*S14tTMCwDm>X4Q0X3pU8{PzT{%xeKH$-5bg=S`{$op{K^^)rR@>OAr4T>&Ee>%2am4my1eDQHX#;c*FuJlYQY!0_4tnXOuv%f2Rl?AH|oiy2PBx>Tk;aTDA3+tBIPhVNoB6U|LD(l$uGDmSgG85{~hKoDekJwI59oy#>_+Q8qW)gJoKU8hPvB6E&0?7ro0Zq z;@UphOK(~B0|H!ya!O20>?1O|sHn(i0=T?xg~hanbkn^1Ym`DfKtX!gDPQRs&DK3Z zD_c*+Kv>6kss?6nRL-*p%XAbqT)qOGBsBXuTJ4N=dc)7ji6MKN^@j_U1rwd;{WWDc zl_4n$bNjdW>M)mXzlZx8#6vKb05{lCc{EQ{LPV8d+P*0y|>@yJ$-L0vcDEQ{y zt6ZW}qj)up|N7fOqyFdoSf#g)~YL5k|-NJyC=L>lhX$9E1AI3Di}QvpQd+`>blas@;Yqh zxNB3~=sbjXe@)b`C%c zRkrzFJECzZ853s{Q;(5$Z@o+E!NMOek3p{|P1Sci%dDHsTM0lS2P#Qw&HApW~G=s zJL`8KUrIW^__Pt4-1~7qHsQoal67Z$;R)gJZo!Alayw&JerL46JJPVSv);@Kk?~DY z*7#YJwqbmuyWkj|7Q4d?fWTh>;hWM1fV!&Tz{5e&FpIhA1Goc6RjbWEsg6(hqy~T+ zk{#;1NDy^8caW6GMQ9yNnP+S%^6>TRVaQ#r+!bqN$vS~)v_nER** zYvw#{yNB2T1e=}w7AKmuy)qG9Sygp6XZg<`M=E=#t8Z#)se{WkDHXg zGt+Hv0PXu32H8!aQjgLi&`UQI_SR=Q{_O1df2gR4JIuAe0um9KyAush65CoRbzNoZ?T^`f-tKS zphGmM7P6$BdOi6V-<2lYwe@`V+sBU|KQ#Q_2beJ3c$EQRL~5?|v9lBYHS4L}jW-Z@ zm$U9rk)Q3<)xX#ghAGg@q=iKNu(cI~Mo@Dk%ws9$MVmTkgqG~yX~toZ=cK2pKd=vG zR_Z#ASCM!aa22$k=py@5NbWaYp&f4ugyvFJ&VKQWReSn?x3h+yRyu9=zWNlv>fNVq z!MSxB*Q%*3Wn!lAqO8=uiO0+ga;qZs_P z9d;)6DT!@I=m!i~v(>+nPx4Gy-m4aVDzj6i&!>G7X=ja|zZsL%_2zPwEv}8lox8?s z%Y1m_d;$yCH99wJkB7k;k>k|@HYkY#^6FgAs1KYDL0%Oq?vwyq!S3d^6el}-v&QUY z{tq*so-SQ8+TIzL;r;W3yYo|MGU*|60t>-(wy;Qii&!_5JlF~^D~gKq!fcrtCVmh6 zteKypd**0Hl>V2t2*D9DnY_^|Al}m?Eaws!&I>`Pz<)n>;TRko>|K4NSZ$3QxW-jaGH1_P>GNOa?x=ia_ReUZMC;c zGR>8N+>G6B(JioAo*~`DCFShm!)(Sx( zTrWny71`VD%ZyK?orL#E6dCm_TBs0eU69r@dO@Xc&!{n|+kMI{oJ*1v{#3L`VJRPP z3`(WY>wF6=o730vzGh5t$#*V}!e8FAA=Fb@^4diuSQDZs$Wk1V!X-3Uzew2D39TM- z|FV_p>fzI2UDxe%{AlRs>Eywe*w#b!^mFqe_tKX-5+fxa_sP|N)A}xIbgb8uHlzC8&m&6%xcsn}lLa*Y!V*x0Ve{FX%yEY+K;bsp1!B?_gz07WbvnX4q@ z=Q(D%CdT!c!$NjD)%PCobM(BvL(_4CBjZ(b8=YjyNKaG99($^xSraD4WUF30ajG?f zJ?4{9Z!GJ@+?@Dxc3|kQiy|kURMw@#D$4l+(;g+#Jywq?p+kR2ite=zi*8am-%<2hs zyTLO{5sgi1PMisTl_f$>Yc6c@veXa-2n4k51W4MC1_Ot)M(eZVTuhzZ zuFFnIM?1atzS;F5D=X{g@6TQlIt`#mXB zj{g2*apS@C?Nt5NTk^SO_c0;v6OB6Cov1kAT6pVUC9!wRN`aK{jwb0DF`8FZ$zmMD zhpvRgk|WCDj^}MC^#gjnGvSliWBf*YLvCwnomDKcDS!Z=5s1vSz}UDb9Mh#$ZcEnv zBk-N&EkoFY7IQ|VhKjwb>(U}ZMNO_(#leW*KV766(vfu7wj0Pf3NZs%emA-zHPfJG+Ilo*GB;D z2z+0`Giu?Tiw0v$t0tGuttfNlWD|L7)NJSomr2S!hVZ^p74^I0KHP(&uU6y5QrS$| zY|IK_h;Vv}Xm&7sEc(59Aoqfw?R2i1Cwgi>&?-LAtndi#8Mb0vN)pzD@x9hxPrAAW0diV3 zbFYI?c5J;K`4RoD_Y&_a@83ekQY%2bG~nPSwRzr3`(9CeC`=`N(v zqRK4?GXZdBuj|d*F2OX=e#tO~IOG4U!8jFN%DxOp-d(amL&5PNWAaY^+0*B$J~f3@D&Hpq11Rq~FR~lpjAHwT?;Tge0+J2_Ge!8e*^SQ-lL;h=BL1| zIaycpZvbxdQVS0&1aa5j!NEaVqc;=&1|PLHogX{@!ISHHg=CX}HY+pnc|I|orHxO; zKc-Fiaysa1=~Z8o@gN~q0hM_UW@ZN6Cp`HKxJkJk=pFl+5?io)Oy2=+75SeCJ5ncOLvZean^BI{M7D zd>U!yrjQJ(UruANo*1KtI|~Cl%VI^w{H)Ng@Qn7{i56sDfG1C?o^d5dt~mr z1CD!F&@X)rq2;=@G1uqwzPzz9U9HZwkOW7wQ%eyA zkm#a66N&U<2SZu(sXLpXDZTNMry1PRZV!IvkmDs^YWI|!PO2y561`NAukYpy9tPG% z|3IHH`(*LdXM0)Iuba#LivtyjOa_ChkBjFKWr1O)2rFWtx#Vwxf1umr$J;LOph6Gl zwe=Nx6tppQE!k$bUTh6m|@cu4aHVBiTYwj7$;I7Db2!(D^O$+GXZa21Jxn)#Xt%rbii za^p|W@cQs7cD-OAf=E>HI|aWGxtVkLt2cH%J2yXSqS{k1h*$CJWW^VUr0y|betjQy zDBo{bh#?a_(TR3V+lB>^kL~AUa*^er*7Gh(-tA)*Hsg;Ew@t6>Yx&ST+|#&Rf(o$| zG|$uw&dtrv&dvb>s?W9t$>DypPr6yU?fRu(r*Ix}HJiAAr*@f(HSpq0rv=mdYTY~~ zMa~ULSX}$>4&1&e%!w^cezz*iCOrjvk1pkaY5kLaDZ! zamU_*!67cBS{EJ0>Y2=O^aoF&P6HofZ>ZURlZf%lX>Svr$iX7pwA#(gUB#3AZ!7N^ z{d5a-xYp{#-QK&ztP@Mc9Q)lNsJ@j1^7tKB`<(^!G#x}PP^VOYo9`IvxzcA7*~m86 zuug??Xk#jh-WfYCh41pG78~$)RKA zvuIPq@S`{L9?Wg{QVumQ0_i?ck?c0S((uzhtSKEc^0G|EF=W=sDrL z(7Kd_UB`J6cU#v}8xsvD`4>UliASXsn3N=RWu5PIC|A&4P#zrUb~1*HYrHx#X$I6R zy7*nMRc_aVkQJ1R66R^BiXXzzf_cEvyl_7A+E?7?@2y9KPZ_p*ATegf3j8=_ec#Ee zLOmLG1KU>fg24Pg+{B|vEYs~_wUg|H_Cem`n1Y|0VUW$!nk)CnKjk)*abALUD4k&X zMDFBmd}ZWBh*M{OMET;jm9rSI_{&hsCYfOR{yex%vTLDzYwJ{E5oR6myjIRK2VdX! zLKpAK>WTL`56J6aihK0|&US*%@1|*NqFu(tcjm6^GKZu1f78;p*;fBqufst5ee+i$ z!>|Au+%Yl^`mC{+*19QyBySFGKpfbRyBilHu|Mdjx?GD9TO{NOtQku3;Bu^hm(rk? z-u^}dC$z+Zp=4}h86e|8d*n}FH!KJi0PKG-q63k{jJUuNom4kPB;cJGEG#UXnq%;u z=rKR(4O2n^pd-DzwpX_cprO-=|VmE!$^+v&UQSEO3nM%t`V?L58(OT;Nw~ZG5u5Tfl}4W@>9%!3*!yecJ$jZeDI~?KW_8%+%}) tG^+!O?|+F$|3seuOB?%@TUq-|rYjb|>Zf*kLB~A}R73Y>vHFAH{{n+^K0yEg literal 0 HcmV?d00001 diff --git a/docs/limestone_race/Fig05.png b/docs/limestone_race/Fig05.png new file mode 100644 index 0000000000000000000000000000000000000000..2c2422a2f26211d9cb6729fc937cd71288411d55 GIT binary patch literal 12317 zcma)i2RPOL-!}~_nMnf~CrYw65i*X9=$KiNbYz5NA3|gvk#&f&9h=OI%wsFEvK@P5 zZ_ar>N59|mzpwj#uIIYDuCA{0?fddHh%Q1^9%vI0oe3f$ zBGw=y0Z*2C0}H`F#7^4E@=fQ9CS1JZhL`0Ww68;iH zwIS<7M0~~22XZi1lhv^>=f0uCGKVcuBJzuBXD)WCz94FV5eYFwB$D9HKCb6iJInQm zn4ICh{Mo2PI1$}7R)31k!{7VlQpGcTOiykM+TVS9bGUeAs5j5bzD26w;*=#bwqI!#SY z4>7yZg?or&SN`;Gu6(+BdXM9xAyC7B-~LU}(b2*S-=37)U9JpxW!A_3`cSn3wRMfU>Oe1z+aF8$dd=|qt+j~ssg)h-)lSC%@zBj`5Nc1=@&h=vT<-_xr6W$6e7w3E& ztIKsW29`7YoFYiVm-^|;NSycJTW(h3f}u6qRJ4nK?ZV3|T+^3&P|t^j3pBs2a9i$` zYo-9BP0f~P*D0+s&QC{kLuKXVC(`<5P)Um}aio=K>#46DEj-c6gzLp~L+DZ#z9~Pp z4c`D(A0s+!B8CdaQqIzFrK$DV^P>{CI*yu(uQu>>1b6|5(T-AMpv(5BrMo)KsBk4K zGTPYU73~Ybxfyz2>s;!$ALgE+f^)dTEcHqHd&Prp#;D&q{%M(-8~Gv`I2cS>jCa~f z7HB5z?G2ezXIQmR`3Qmb(kOsKM+RK^pDwvUC*JG(idiGSL}GPEB%Pgiu3&auDmP=g zs;3WUoy4XUdCkX<5>eUaQ(=^lkWl02ch>v4&L=ac5(t!jlFRTwk=L)PssVWU#rq6D zpLfp&PwZy44Npw#F@oK)iOJrdQ@pDTqxI{5;QW@bT7&BJ<^u)+eRbI17joHoHH(6; zeeQZnHp zoNpPDG9;!EQd(9vaI`n!U89jAS+AM`5%JM!a^DBbO~(8}5CTxfq`}-01rUXZj~CtY z)Ld5rj``PB@ITgMcl0}yol3k(o!_0Fkz!y|3;OY&Yu*3qTk1*hZ?FCJr~I6y34~X^ z`{+|2GlMWiYN7oNgt}}t8@v3#l9H18yV+xei>SAL&gT_?sA?+=&G5iKfJeWG&Nc1q z?9|7_G|L1n(GgVgxKK0YpI!Kiz%IK`SS&$oY`JDoL&)h#!5s)M5#ng?rQ8MdozsskNpK$FME(kH(IV>-ZV|Lq2*wVp-3I%ogq`h~^Cf)(kO#s6N~ zpX~h&Sp-ukboKe^Q8mr)M~1(aIP{g0^pDVI-0e5&fVb$)Vx z?-Wo7J|CLN&F2T2IjdiTCdE_zRmG`yWD~DM=~Ih}IyKcC@T8-&3ReZosT>ysy3OR zvYhvX&C-Hs?dCwTxce?sGGS1%)@_UPUDNt*=<(py;M+h1muKRSQRRX(nykjaGaJsIF3q_&qwR)|Xu^ z!16*j3`3CAcY2*R4DyC)0K^WzGiVySmyRD7KRBsm4qlETEka{p>OF%FzZ{kGWRX~$ zBF}QNH|}bv&NsKMxyhKApq_%iq7xQ4^V7cWWZ+vxg^Ju-a|olKM9nxz79K}ONAU5Z zy)}<--@d^mk#4&y2B_}u+kSq2!qjf9)1n<=vnACI(>O|HW#w2dzjf(@!Ok^_pwYndNQ$Y!0@GD$F8CKO~_S6)}msAe#EDaCoF(A z2hl0E94^W^`JkUio@R^8;O(Nn@EI*(g}|(@Y<0}-8Rva(^)znLQ(TQ}5trI3-pO`X z>)$roaCR))1ez-FZ>|1~+1AISBU(?kFnV7q4R$8U9{}?*#}r1T7|J^tQVPfabW38J zD0-+!`#OsZ2Qu*Ob;a*r+}>DO%{!Wmn|{D3zDSjbIeI6}I$KVz7mB2KoLI{91Alv}!kn7dX-${$}z^R3t5DmYh!4ISx~Ua!P%VS?_yIi7GQMa zgAnSVRuSLgP{FsBKG8Fq;%@Zj6>I4SwxaYQ+LMF%zv*pBQ!iD2z#1BShtx@Ub^dMSn%L7PAK}Dhyj_G`kR_Kr9{G*6jF@Q+$BYU?uI<<`Fu3ciY!6RD$`?7Gd5CbkWhr?jETz>RaMc!^M~|l$dqAn)l9< z&f;P0?cKXkEnl>m2Lor?&wsu4qH;)-=8~=Aqo~f&*!YO7=imOwT6l9g|D@Jp1pW&@ z2D)cF`Tj8@weDxNxP%0>+{ML(?~qM!j0Ah~L*&YJuL&cZ=O~g`I*C{s-_p|ZU|Hag zgU(i2c{yKf8$Ohjg?=w;Dfh;U7v5~c%O@<^)mmL3+(nmHaB^%Z zF+bIGG)21{Z2fGC5i8NExxn+XcPGo8seP`91*VYwSvzmmn>$!kC>VOf4)ds8%rT z7^Yi>oMm1g4&!AvR*t<2#a^Woxg1>z&^b);tkkszE!aq0H`RNZo!!-ucGc;$Jxjxl z1Ern$gg5u(S$2ctFv}T!?zyBraL4Jv35B!^}*(WR!_UUavyR>ikg{QRB zv7*-v(6+R!@!jjdg!sZpfe!{9MUTZk(tB_}buli=WcpxJqujFp+jKECHFZI*vOzz8 zatvS8Jkm{A0pmVe=Pi4}^5)i)3>YKRsOSDV+q(xOwIQ(ImHUW6H@bM?t37sh#Aiai zm7o$-i8$QR+G|nX`iRdeubx#eq0bmki9SY!MuSv-RelPjt;ehnVBO+ZSIQ?4%bv;A z`E>}mHX)zVR>{%OVf~}o&v1-MELhxurV;>&;_mKlFS)L;SYWlIl8_Kq$keF({7UR? z^%j|+yJq-n(9}owRvd5fI3|Ec0DF}tMwjHQMBM@k`M3VFmbhc3XJ8P``5#Dn`c`hP zY81$K0EWK@7{;)>eOO0Vmms)*%g4J`vn$+pa(bT;5C`-c$arZnC5~_U*|~GTA42+l zeFW+rcm#^DS#KgJ_;y4^MM*3sFKR@FW)KlROJt=AUEwc>TK zIqP^l)fl)a+Ly)h=g*&AyRoY1jHezRQtBfU6Pi;r0tg3(pB{Kz%@{H4$>{+UT6Owh zx~YfCrN{{71u0NI_EAw&^Uc%K00c_2^8LIInsrOhDU3KBl4#lK4aTTz_u9&P3E@PDtxw1H{! z{*8n-or?UYMx%zkE(94>^6GVyc^ef<>gDFjxNWBG0gP22mu3czTsn}djC3!zpU9_t z>)+bg*f21on@oKleqvL}TVlA}U&7$+U5Y=nV6Lz>aj_vL3s%tYdY2~%GNoDcCsP;gfV*ffk5xI}IX^q$jlUO0p9r9+&Hax`g^@#Nbm?w}O^Z%{BYS6Bhfvp1Y)DOW z1ka$K>J7S+WxP~%6wjszqu8_zX;9@^3r!I&DK1G{`7c=p&xI~Sx?jetC+&6c)unA5 zM~cf#ok0JIb0X$+N)FS;FH>0-KT_3<4{CFUf#u)+8lSLKDa2_kTcq^zrVlZ z6ESwwJMw7^vr2AH1>yxy!p?MU>Nrw=d}Cw7tX=2$obK=uL!9jL%b%V@=S*)T!n;L% z)+i^)?*#2URe^2pZ(z4?=J|OV4?U%Sw3MZ>HY^QX{G#1O?AoiN-PPVlk9R6oS69dJ zClh$}Oa4O=j}%);-%LMw@!jatux$fN>s zFI|6kc}}@PisW+q@x1KfoBrkL&+j+|&akRK)2X=8Ro!gOG3D>m#@f$JDh$eOcmjr) zsyy3QXx%FpozW9KZ}6)=sznHb)-`RNt}0Y0z>=iCyk4Xg-J}JQP4+aFlYDU0>i7Kh zSpY|GkLu{)*Fn01DKfpo;CDytvjv0DpCDV=5i}%N=U1k_3psiPz56LcTnkbEu$nvC|i-mCWjpNows~9O%KK8JC7`8kyEV#wcn3> z1c!(jZird4pkoX^iYd%=pnorhJ<$u$SE_a5li?NX@E8#Nxh-ic&UuTrDp=hEM$RR$ z#;@TV#W^ns!;v-kw{d%3-XDDsF=NxI^(AVsD_l4!YTopjPzm~KB3Gk}2$kLb%I3YP z?}5AwYFxtIC5uU`=n3Q@KjaOisg3W&y4vqlA$&6X+APe>>5Dd(_Is7TPYc*E#qD8k zcpKT#xKi%j_884_n|#Bwb#k<)*I+i9`94GbPtSM9tq4YR%=Kl3^Y7hwLY{wg%|G^< zy4Th?$+KoK@(7w%=@v7HIclJCi@|gsoy@FZCTeq&m#3zlQg|O5=d8zb?6-LB+k`I9 zw>mWwQy`6%gq(0Ekr}kn56W_ydw5BIZBN}Dxr~2bW~ZFc8ZpEMlN+j36uK%U9uOh+ zc4HRF%qCTtm0uJU7DiH`*^dq0a%Jk%r}n+9&Ip^_mz`*B!iEf0mUy1QgfQ~)nkvUV ztJESkml(~ENWeHu=(7}ju%^3?Hkc?W`x2=VZ41uof$`X#X^X1=*hW)5e}dQ)GdCvl zm%t5d^L0{FwZAI-UavS=8V1hmwV%6@xbh;MbIPODs$yv}K=q)yF4J}_Toj;k3#Ctq zH2c2AeW9rmD6Q1WX#QrURJ9F<%IVl7W)X&pD_N~!3i|1iDnrk#Omr`zEGus%wV_Bq z8jP24q9qd;H&{N_)M_Cwob!;^KJMB)8^%34FFCF$Bh^f=!9LSmfB!1g74e1lXT!c* z*%|F0txqW&s_BS0n~Ejq1{xTDqMT^d$|Hl(b<7oYz0Vgv;LqoKVe?RjI-rSaszaln z1O0NPP}%G0L2(rmc()351V4Qc?+KX76Wh;nEttx_K-RHqU8O)Cnr&%sGpumM>S>^{Ef( zTigr%_;g?MTUS!rRG6FKe#1q>_ulc}FENjsxfe31>)B;10HxvK*1h7UnR6Ja8`RTS zyPHexm?>!Urr0%FadfOvDGT=7#O}J-v5u*?N_>nt3wflaCDr7=nq+3fuS>jvQwy5ycEJ^l1ySjIwOmiNB zS8D^a4y$!{pvSbjbjytqS>0yyp2lBN7gKJ3WIiLMd1xc}W4jyrFtJd$K*s3jO|wM4 z!BP7U-`iiJm#QKxJ}K`QKwcLo4pnZ{Zpb*M=x9|BZn?{*FJGEyEVkuJb^#Dt3=lMs zLvy+e@^_TyZlg`2l5Wb7pJ9-C3#zV*86PSid7pxe# z3V$%hAbfOA3dr93x55vtaAZdiYh6!j3^?u2wc8^swIRpUWn!b@Pm@N7)#piUyZuJ2 zZ)s$$_uR^+h<R_`E5EnqLmFS+=vV#9UPC@kWS<0V5L{gzuWp*&vRKv0u{bo)1> zi;6w8zJzAfVO;78gdW~gjYNa=FGA6!vCWqzC~94Jdqe67Lbb&z53s`A<DPwoCK0S(EQugE%{-r z?^a6>)|!a&E&b#bemfSg>jy{cF4Hr`&>QpB_UJi6B_HdZ3-+d>Uu}^|5;azmoWize?09K>R>^VkBR0kVRs}aDhcM(YHyLtnmL!1F-i|(hm zc~i#2_SY^A&)pCLT*8S*Divv_q#1zAfD%JOx0eUVJ55RG+{3|BAjCKb{sTV5Rdjv@ z$pOCvm`Bt*LPaH!VDWc(Yhi`L*Z06jzZ`d=AB8U*LCSni93WxlfSxZY1Yq>8l~Zn- z0by^s?w%eG>Kiglq2&J_M~+ZO;JA1++GTWd5wK ztfaM15EyYMC!tR-ipt7jS`-{iOm078>AR}WN$h}9P3bC%d@kUulE&BB5z9wv5t%0F zUjaH^+uhyW?trJeJ+y(x;SiGadmuN$rH_FmW4CZXWduf#)XBXDV5L0`4UOJvK#gsO zhll4vo>SKM?!;wBR#a61LqDB#i*j1M^OpGpG9_BV|-d^y=^|; zT$Ch49BVVmbKi&TdgbZ6y3VPTLD^*axtIj?p~rRxY;kpdR;Zk=IXXIthS~S=98aOW zVs52;Wl`H&=eAxbkv#pdD9l06GEwX0;r62)`@%XLbF$SVd;9)e2McCyXqi^d3k9fS zNK!>FCg4frT%P`_$HugxWY9b7sUBH;VhgQY#3CjBXae8sI!Ppr4uvsQ)vuCpYN-mg9Gv`D=; z5VdifE1wj*bH`&G&B|D?_cK*F7Fp@B_s6nN+YU8&6M9V)O7{Gl+V>pEKIw@+j6K2= zBO?#{hB-^T!aw)K&+!bZrWoen<&srpU5&Tvr2UH4&>4GvbahpTpLq6*8J>Nz+8TW! z$VKl1)wR0f;z*XqO~Of17(oO`At2YNt&tWJQce$fQu&H=^gX_~mf}M>SN_=q*KmYB zv)aLP)S%A0Syk=mVq3KYwc?A6+m-jB8L$`E3p7%BP8IKl8{SO2pLUjLGl`M<_EBQyN~5Ui3PVWI!LKRzD9D8r6n% z>kuW9Uh7H_!|-~1EHJGL_cZ2_MM*&5x##W(j9nwi|F}UciB;Ax5jITX1NW~+`$&+7 zt0>p-qQA%%dqS6dp$f13?{&IoNbH4pslu4@An3f9Yjl|h<_rlW!3ssg*I<_x6FWV9 zA#X!6{GiCg3Ou2d8Fcy`CSU77!IPY^GX1hGuo&1vUtF0)Sy=E`5}BXY-85Gk9r;IW zp|<>M#t6dVZah(P);a0#9>_m2(7&_1rqv(&>Y5GHehU4-W(FL#18{YDu02Nzd%V5A z((Rl##mB{qk!fvLebbi(9;@V1==7;^H^kn8h7i0?`ZNY%|M0exPRxCQr3@*jMQ{>bpgV~01%+`2#bVN=T|VLk!}q69MnX4M{hc83=|p|XH_jR%E!dixVrVGVOj zOUqX|NlUeeNcTk-6yP&GFc=J6TAsgO5f#6;x7SyZcEdttg+IKa^7T0d;lW4DojJb# zbyuv;stHl2EXKL1StN3JW_(IY%E(}ed17NeJ~me4+3nD;Jkw!*5K0=;Mbi<|&KZpC z7<`(v%q1e1a0nr(P1d>_>L=B}uJF}Ja#i-Y#N!@|O&{H+YJE|p8y@F{W<57Y zD5PUMK(c6_-Q09Gv!YXf+?hOh2sLCmGYwerzP*GcwvoHFB?qGN1c|@7^fa8)0&Qbs zMy`MEeoMTDIQuqj7FmSZStH6IMd{~WUMHIfX_@d{x9+SL>(Wt^I38p>3%-Qo{bb8# zSy@@HZ4AbV?pet4eVS^gd5tRd$xp9OuEhTS4Akpn6E)5A+)y|d_i)P+2vM{UHczGw zqfGTx$@&cjxlIsuuzq>Jvjk^78URPEJnhhnkx; zWlvr^ynZcw^WK2;}k%L6HZN?6ArBC>k6iXxipql%jSf8}zEYhmR!lV|V zv+RR*J9s(m-I6XkSz_V>Fgx=o%B0pfLReO8KeLWl%g@38N3$$P^bfrPlVJ!?m|SV~ zAFkK0ouxSYHxlvA)of;-|$fu|b6KH=mE|UNUZHUiA172MRRT%a{zVz|ZwL1V8 zrkDJ_-H$wVIr2d$&$o7;v{}Lb5ZU?Ubz`FgrtdzWIsx$fI|F51$q8FTJzD)(^Tu)DY5mkEUMKa3w}37sO-|4W7wFzbKi%LxGyG&Uoj7gtsN z29Qys9CX`pB!5+g2#TjNwIwA{ zIB(F*MKiVRgE1$M`T6i@=(|Kd4ia2<52!1p^Qb%;-P^jF9|09jhi zmd%nMWFrX2awxYOQ^h}C<(Q#8 z1gNw3E8u!NmRNO~fLXluxD+F|@B|>sXu?ETM{P(X>J*iWL8HU1r^d%k0D}wJ5h8dC znjLYld2>w3zYR)5;L2&flm!2C$4G4z$fW=PYts-xu(LT0PjzG!xRL%{SuENHY2;6| zOHK;|&g|aiwwsAIXXLS97)x1{Z+_~-(c^oe8E}o~Qx6zX32PH|69nLhG6BOJ+9#tG zpPBE6wI~e{g1vt!$f49NOKq!hFj+voX3wG?rI%=?z-0f65=FkKTK#kF|DneV%{%ni z`6Kiz2^Q~kMMGW!XKOTuer;uCwfH-z(!6x5EsAT=FeEYt15C^C7H_o|U_#qzRL*~x z2nB(XS?$ADN)xqj=c~!`(zKQ;!ai5VPrT1Szd!b!I9|GdMY7ye#YV;uN+bBx{(%hQ zhP#y&S6D%AZW{ieW}zop_Bu`awSPHo?ZM<(?98QxskSz#y_eTLTMS`3&&lbS_;=$=o&?4&AZ1`LEmj6(Z!W@fgC?FcOq=^|jKVr!)>o{(o9aUtb@jOF{bm zfTu}LgAUkY`G*@ap5k%ZH;j6;v};cFuA!;toDFTYcp@Y((gon*pEcpcmd%&v4 zK;vfVp6mK&7X(5k?hdq{GKg88K1wR^VA5+Qv&mDo{~VB=W`9#ySlD)ap2f|d4<}W2 zK$?s2#N4lga8nM3O@t)wh;c0QjCX)?EDfJtH9g5sZRYuA+4Yq|L^O;K@Lg>#lt9rJ zma8>bZF7L7*WZPU0$;5mG^dXC_r<;Vu*wJV-Cy0%FK;?ry?iqMQ2p-~5n|EBU($Xv zUdI5Mds|dYtZ(%gA*|Q@TJ&=$X}4M^24fJ+6J=RK`KQM*xTDqY&R$1slpd?{Jr}!Q zC;Bo9JhBC8;f4jCCOCwdi_4y)n{95~(xJm=2Vh*=##2s8&hEf-y~=74C#Vb^uW>7_ zLDgwN-nS(SdnVRQ2nWS3(Z%EqP((1Egqc-=^E%J&f*yF^YHDigS7{su)cw&TTwGj> zqIe;e%@Ju$>5RIfng#pUeYWdH0&5_NF4n$vD`JXCF2H8ZQ;o(BYB|fsFfMBwA^P0~ zWRqj-STgkT3WRUVD0t3a*<7R8H`?**Y$lYfj}c7Cea9Ypj2%PFcMoe~Q7x+GfiwMn z)#%n$@!(8&T&>*eSIWmdKVN%upt>W|tXuFW{Lyn?>g3cJ#ACLmn?pJ67?}uWn?ljF41~X4&sXgtM^`S-qigkP1eFU2DQ{&f7oWGG|s<)Yg#7q~z z@K~)kUgkVE>RIMu2mNyNT1CaDwa(xkFOc@O-N|0tEMUe8D7}P3rYk$6UL) z&a$Rm(RSQAHfnZx7~;K_o&mrHjHOj6$mf!BKNxY8eoEu7XyZ}VW~q{CrxKe(8V1wGEa!7rFsZUA+A)cMQHCHxc7o^U90ZX3Oge+pTd6iE zVT%4-V9$DpH+JLI29n6L6${h})Y!w_W|thh7zgsiEQrR@_(L!(1`OOHmb4fu<_n7N zZZO{g=275G=dzD;@1N0OiWmCyS&8&jQyb4HGUTYYQz+=T62#BsH~t4N$#j;<{`6Ee z3%<}rTFxNvVzBHlG(lG$N78u2amXS)luO*7?xos>Htbj0samwU4(@*3m zrbNDnPk3bC0Rt+WnMxeh`&LZIPxGL+F}jeWD?Z7#esZ){m!7On)$nJ$Myh-n{`!FEUj zSB$}~QO9LH3jMEW+~Yq#X3ii`lo$XU|3Q7bIYzdV8vf-vTrv*Aqe@R~&jKT#S@D;vtV;Z<_n+$p=G@E)N-1_E{PPwF;s4BagVWu2LkZS^ zdDdz$UgOg}xos5zWWxwpwsW66ChEMshuicbA&bfYu#xlHI^c09+jZb=q#&fM3Gg9H zv4m+*n0lvX5SUO$#jq7wR*2v2>fY9xF?^IX&wTan|mNyY3po&c&l^$ zs`z!(1!od(s)vyfhO5AjKZCw}ME+bi-oer(gH(Rz=g*&JYLO7<=)Wiq0JeVs-(Se~ uPXhXj@BUHa|8FSwKjRP(==qv)JZZU9zb30-n+O=`CxR+!Jjj{p_H%y literal 0 HcmV?d00001 diff --git a/docs/limestone_race/Fig06.png b/docs/limestone_race/Fig06.png new file mode 100644 index 0000000000000000000000000000000000000000..03d6cec5995015f27a8be86c8a731e7e89477457 GIT binary patch literal 12807 zcmbVzcRbba|GpwrMwG0O5+$2B)-g(U%F2jibgT%KnURr%9B;B$S=l>#Cd9$X-VPmm zbIfxbe)p-~pWpZUTYvmK9zAki=YHM$zMt3gx-Rb@K2WAU$8wH@goIjE<(@VP$>{(R zl2aO#1DUmgrUD5`3F7>b`5Ex}tdol2OA?aHH;DgE zscLg=l8^`|soqo2bvIp`4E5+A84EH;p-H}wt9|x^K;`fg}3b*w3KDul}2~mRj9L1fv^-WV|9#oay-QE37-rz0# zr2`26Z@0|(UWpwQMe1&&P^<<95XmxDrk*ikRsCvZ4iYiW}h z7%lhUxd2CW1KVVc%d?%;(Xx(@k1kW44TLub3n^U~1LM?Sh9ee^1G8$}sZK@0=UV!k zn-wZ(Y+ECCuSEzuvM7!%pi;~1Oxaf?S4us)mn;u_U%!?<|4xRnlC;vWC%@SM4CNoY zw+aGoijYnU#&2{AC6qJ#)Y@i}aP*a|?b!BMb*MK^47WQB)j^k9pvJaL|8qta2+mGc^HOd_GCO`X7w{MYxu{l`&j=E6N zf~UXR`b7K$j=j5drzI3wBJ`63p=M!-y{$RWcyf$i>`s(OZ)s`i+fB6|RdVkZKcgO* zQIX3=u8>+kIXTI9>CskNg0fIPtE+og+Jy%>eXX%#Hj&|0OSyJeI1$55&px9~8xAjH z1!^^V384wCV9)A1WC_Jxo4$~{yn`|(&-Em$_G-MRtB0X<>tz&bxDa&`BZAB_^csT4 z-l}QzCcmMo%{p){K(}MemHA^S?{&fvrJGBhn;3Jypb)h^e6Z0l_JarSd$7Cnv~N?< z$1EBvUwjs_^=!D1LHw%#t7hHShv^G2s`yM8OpM`6Z1;P(XrM<7H6EOp4Dmb$@*I0Q za^_!*Voced3?}K03^vPi>Q~A73^@EbyPL$eV)ST2i>Y!`x8RWm;xik$$or4rKcV1+ zf1%e#{3f#wqo!ixzn&n>((4I3$B&mAM=4@aGIr~pNafNPAepSIyQ{TpYW~7 zh_KVI6;)ECAV;{tXB%zL9m8eYdNA65snH*fR=CqDbW@f8zTVHQ?>?V-4^VO^8f^_F zxV)_2wNUz#Dekso7f?Kv0_n7$2Nmu#6N_8Ji{-AZI;%31+uPee3ENm(gZF3XZJ+0g z9I)8Aah(b`=kH@=Y|Kg^?4#4cRic%pl4lKn7?}~|b-3NyS;S(^^fBXd8Op5Dq}J8p zg}Plhm;$4o&VMrCB2;SHp@s~r5()1Kta-M?i;Csx++$5}S80ciS{I|M^1I&Aa&TK} zi-H?#;DvrT7k|{Bx6OR%b{wbbB$=ZU%!&11r!-<-t?cjb@8Hj21{K)}2beV)?&`4; zhc-t=6&ce32BUpxaYz%7`h`GHg8D*ZcF1{s&w)G~mA#Ulko8*7>K+Rh=Q&vuDrJ!DZSJ zH$Vky{Tip2ek{8Bcc2y{kAD|zCBAj+JxEUMwPYe4KJ@A$`tKYV-dUEo{kIM3Qjy<# zBd0b0%5I{s@mIh9WgaC#*~UNpp)TFdBkrUBTiN8~m$er)SMZc%?_lh0hSttj^h=Wb? zCdYSYS={L+ZX&C}Z1fTS&kL%gVBi1Q5u^9=|E`90aicxA{+|hB(1~YvHN(Sj~Sfe80Kw!IQXURc`xQB!NU#I9Oz1%;{d zWk=%BC&v=ZxA*6ejEQut#kIB4xV1{O0D<2_4qNGSxIOo@(_(~Lo_MqpLZ-2^9Z|i9 zhaQ&~Q{;T1@uDoUulMZB8yi!*U+=G*xL!Dem@(^oMV`fR<;qiRM9{70WfKNaWFq%E z%IVdsSC3j}Jo+6&G6Y&==^v&rP$YGSSDF>-f`E-0@PTJY5411{Z zHDZ5Lq()Ok6P)&hkO1`jyp?MrFCzg>si9jBG0@&kzt(nAWLn?(?NRS3Q3rbUg_qL2 zFCHnWw^-0AUf!RR*Mz{64LD+=3TaoEk-VN7gFEh5kZ?ocWGi%ee5D=1V?xi6*`CHP zVt=R9|C2ZQ@AZDXy*bkon#)4ke2XSdEJvyT*5|NgBa?obnkyMOM|2hLDcSQ|SC()O zmqOvuvRU??H8f@H#h4PhBrN48V!R8Bu611-n~h13&u#>h(%SJejhXDvR&th~7$2{# z(tI0u^`c%erF7SIjWbyn+bE&EURTmy1ns!qOt?&$BtwhRI8y5K>|2HPRA>Vg==7B-RxvtJr`lz2NkKeSu5D1W-?Z7i-2kg% zCY$B7i_&+m2xVTQv&r5h9AFTJ#i3X4mho!Z2n()h{lHvH>J958D6$0hjbE{6E;^?c zC_2?>J1ER60bjX@m}z1~jE;@vKGEkj5$Fy&^!dm?SK(!zu2n&-FOUCK82hy@!C&58 zpcTi47Xk&5=Ec?{B}ZHB9ESb$(jvSZPtxs!DPVUHYAhQa@)u@h4Jjy0aGMO?9%;`n zK4YY#O7rhjW!2m!qkoRAIrO@iJ4hQuJWItqi!JwbE+rq@_LPQPbzwA-prrI5Q^dhM zUkr1s)`r%wspLIPZ4OWOR6G-re3s&@>rHZnoN=2pKE;NVHQve8TuD1t%L~vwLmfc)F42XoIir$i!L(ZJdwjT1o0S0%xnS@`GQsgj zCiO+2?46KPHF1Wqj2vqt0v}r&uT=IuA-G+>oI}~>(ihi5 z=v+^XokEbBKY8wF`{em`-WyB1%egU{W#Sb5Y3+L5c}Cp*um&%~s$(Vl(|!5bGVQwz z)!HNlB+G((!dfXZ@nNc=I<x;8treFDZ zc_mFwO-{;kylY(*XX1F5*I}^ht+Rx6mLuPEC*M3`Wo7+3WI2ZEoOf_^gz-h4Fw@F# zuk(Bzh3Mi;HJ`v!mnw8qM>X=bF>Ek>LWs|M-M;J|C8aPmqa7D>Q$4vFsr^irSSW|4 zr7f0eu&Swaxlnl&^H2=2`>94%>ErV46CKWS4+9fLr3BPw{}(MD9WlYmOk9spw%VbO zFIgI;5*hb5b24t%82Iv35!FnD-9<1DmGT z5;d+=lQQTZuEuthQ~|t7nX3l}kh~DTb^ChS=E$s=C*d6Rsp}Ee7a1M5MQzJwgubC9T z2{(!ZYXc46b>Ey;*n5roY!k0->_m^9X?e%jB(!Om@uEj*`Q7s&!I#zicP{xPR<%&_ z9v^aLLKJXVlw6r(+eITv;Xsx)WJ9amrLuL=$rzS%EoSdPq|c<}qoAN*B#iZW-}5?a z;pQg6%5kkiVN%_pivJE*P%{mPALm}df*l)ldKGIBHxuNF~CDEc#_;~>I!tnfLkQEEJLO{LK)hc=(eH7;5~RnN-yGMj(iDrkLK z^iS)0&K%C8dZ&}ewY{xGOa4V+U;2EW=c28PgNcs;PF7_R!htL@71oY zHM3k#P6w7k#T)E^jfaNOj%*rJnmD8aA<*{&%tet^vHbC7((y_ZRe+h;O0+uNBA{ z{!kMGI;N}}B1QktMa-C*IX%$t^EPnha@*V7Oip6TphaDs%G#*1J>4A8G4l8j8bHKY z_3m31BKiQSgG~lj)$QPIq;ci*=pb2M|99`+rGpH$02y0XLQwU+u6%`u%hD~M%Abm< zKhg{K+nSbH;D5$GJP`T}!*3UFlA_!%w70)sb|Q=vIn;jEp4LNR~GMt$G&ER8CRm^XY`UD%TqpcAF7oZEI1cH%7p8$Lm!Hy3=T z+Si$!l=L)u41g;*!I%J#n`a`=JcZGyTRyj&RDw+`Br-&|V9~PSOGz`a{87m#Am9kb zv_tlbL}!OTha03yX$Iso?iY-)m&jD8)3FP+e*|4*r*U|ba8=#|-)5%Q%PC;54j$@>mtR>(H=42V;r$t60n=^bC5 zD|??dm)bN)5tQ>bJ*uaS(%bj~NR{5k6T(J^fiSz)uK%!772i1b1Oh*s_wLF8Wh7Oe z#pdBuU2KfAvA|{g`&WtdWCc{>?LrW$MfUw>?`D8iSH3HZ@9aoc`zp!G4OhVklzubR0W7X%+nrt*B3<<1|d_q zW`M1cv4UmJIcx4GeX)prA)dyGtWZ)?9&5PCjrmrr0keI$xl_~FPBXITJjIy!I#WnbGJuvesx?=S1;V}mOAF=cAI;SJtlSoZmP&Bwu%A)()_Eqha64_Y%_3Et@nw<>FT zhoE&!+N$>@QMra60(5hCR0P{MAMnZ$EfPJ3n>mC=!ElT_%a37=Y+5yN()8IK$Q@A2^7!UMbP!H-EQr)dT(bJJNc5w7!Sxi zs+cg~NZ5~SFYTMJeN|hm+4oZdCBAa)G>n-yKw zO(kAEi>Y$HK3h_X$#ZSZDRWMV=jafah7uXm>zZ#@BjzWqOmz3w4DU_f_Vm_6oF{WU zzFfvG7E>ad(=*qo*Y!H7IMG)t(_OIm_^|1qUrUZ52-$=W7R)jmtBlXAn7J2=QZiIZ zRKs7B`{HF-O(>124V>B`#8z> zpC7=wxuMr_ok9>2uk4&cC6}N8<3Wn3H+Sy@;+0?$prrfMDjFgWHuvg|?A=<5ql$!?J5%-5AV0Qixqu0_60M3i#+* zC0^>;(EB=$x+_g+nW@`w14mQRjdw>)uS*u|k@&Zp@@L}r`TVd;{a>Q0?dW~g2X*#F z7i3}j%(G<=8rO#T>SCw%uoQSdp-rle45&W!57RU3axcJUtbo7uYEg}#QPw-tozqj zhBN+!*|}--Db9n#%BecXP#4~S32VdgC{k@*>_MV-HBy3ZA+Pny4|mj-X&0?bMfTaa zeZGxUcNq4GSI~iP^r~nT0RXIKEVCR|;AY0lr5=?XKfw&+A;pdc0}GeD!Y^0L zbhmYW5;GGs?^8&!yAmzU>qn)lx+JIudz70VD$g;HJ@TOJ$2o;AbqYO`J5>9cAy_pFjbtqphQ{$W>oUemP`(?h}2y2EiW^0- z$6txLpt(vqYIU;KtxP}AqxB3vN2ITaNyc$Ud6q|&Iylc9z%DT+-RF8J88mm{?Lu5r z(;exY7}4*L0R8q(vv-Ef13!PxvUWd)Lq?3L@txk^e^v1hT7y*Jdf4Phx|a*^p*q(Z0xR5tz2&R6KZ;M1ozv<_BA>tx6_FqD8=ha2}Z;2 zdrp7w*cz#e8*2B^D@tB@P7kH*rn04+aqYs-#ljjA+sjKmG!X4l8+o=^3n?CB7X#*1 zAsSbZYeg^Np%&3aC_(|QtMe1r?nlDJ<@SH!6T_X8-S?+7jfkZ1uI|{E2ahouGI^+f zL1-&9AQW?~4<_+pq-Uqq!0#CbWM{?$kx#0jM7lerG*7OBmx&c1oj zG7(}5B)a@(jTBV1d6<7@v=Rw#tx=SN^8`q>{>`0AP}9Hu!dg%tv&-)Qq#EImC=*HZ#An66_DrZyYa+_T#BEmZ2HnbVq)9ugI}xc#qVz@ zOG`@|-q@I(efnx+s(w|S5-{MS?mtlKw|%=TrAU!nls($a<$oG01Hxbfub^pNT$pNP z$b})mJIhEBWyJM$t5e}8`vAW>rZ>Fa7ht7rJlaOK)}eh*ynoAZNxh2zF%vTy`>B?9 zv;f*E>yux+d(Nh=XjL>99-kxPj-BuBC@A`s|25C?XQdOQPL&-IGHVJa zG`hm`@~m^o6ndsD7jCN}ivjzow{LNEvDGK)a;yzE_svqRb4zC-oNvrkqML2s264Wf zJQ$~4+9(>V)@GUwixxHOvA>}T%N$G`(dv75p)386F;Fq9|43cM3-r0Q;}#ue+C8Kb+Def7o3XWbx5*?wMg2ddiqeLY;*I#I_lq+ytY zJo<#XiDc_U!)}ZFL=Bc!S9?HxNVVD;;>Eq|ERoN#x>Ua}Vu@F-saq7)PM++@k&%(A zD#6Njj);y44pXR-79n(RA{nND-nz&ro-p!YSo(~=xgHmmbUo3HHBwkZqp5@6xrG;wsBF7arVBt z!ksgb55>KYvbq!QLekmf9=o=^c6X19u3b8>c*2w=>U4Q$XQ{vAdgF{bJBCeJ-xYy> zQK38VPlEHh^l{UZiC8N}cH{*}trffV6Ej(6t;W`NY^jeDinUwZW6QH$+CQ{?qW<-M zn(ECv$Q2;@S)!Gr<_`iPtP3aQ^x`xQqpx(mUnh89#lz;aeNA63Neb$Rq+c^A!X)!x)|ttY9EQ#PH-%K#GaYn8Vr zdxS32I?IJ&EimqW-0ky`F5hX2R$U%V)^%>*u#MivcPi<9tMb*mVXrdG{4plyA0dc( ze4-jGiJ5`=aNg=6=j>|8A=!O@2DX#MSgt{9`KZg5SwaSvQ>@}2+`OGz$Z#i=p4>Ll8wgb(w5)?UhRQ1`?g6^Az6S13OEJZ&RTz(7$2ZS;O{C6U=&XW`?I5w+nw2{q zwxw1kojB^4Gh^4v>I761-gRgHW(EjO5422N=uh<#amo?UdUiGNAV3yvjBB?H{iu9@ zLltTLH*Vzy zTo$3S<30)!vqn$5ePqu4z5&4|_BwpW375MNGV&I6M0p$8P%9p|9dMN4tD%%(NfZ15 zntenD%Ibxur>Cv8IwT(i8rCS|wSm3eD6vi-)`QJWryY>3+smA08T79<3} zGUQ9$YAR*6@OYGS@7Q@sithy>LtxQTPU5urD&q9#2u`DGG0neOvFWA@Z^99XvK6@S z6*e}w^{5*N-H>taCv-7sOFNi$gdtYlj_6x?nDqW)>B!l3u^9E;&FSf@wT`%?Ba~&| z)tL4=195~0Q92}{?E2#PkZ75wctU>=+FmGP?DV8Tw1j;o=f0pPPCdw=q zMWbG+d%^i-J`=Ic@;ARS@;K0PK$F5g2s~Kj>IOWEkS>by&8miEnUxuf572i)Hz`~z z#9A+~d@=V3%r4J~@4S93EHfnQOw3z@%PZ}pzA`~4XA8{O_pevYbF|m!2y>0-6~IF9 zBDw`I)1AAooNUJBTWf7RImn^tX;Bj~-`=~am6>-NDZ<@!lJm;u30NXDLcp2cHDjF* z61ybj&=V6fXf%+SlT$$!gg;tbv=P~J@tHUQVuf)V_-Tby#*0IBP+5NCTTI7V3(=~v ztx`hl?lLQE*uLG{#uOjB)nOM;LyX% zcaN}-MuDFrQ?t77l5XSpacfB7YI{vFf2IczZSMc1Le4$w({`mQ6YEvuUDy?6Bx2n% zkr8t;o)fRg&R6Cfz0o0wc;nr8!2D}l=2xk9|0WV$X2#r=(94e3i$t@D)FRQM_Ag~W zV(sKSf&N2%{&B8(=AI`^{Bmm^@A*sT0-px3iL|V?T+0dZCTDE_i?;vTH@*-vOyI{z zCDM&R9)Je0S#exe)gwM$cO10-uc`sS&wwz;5ef51F|+>@tOk#XJozm=l|VSqYpubD zJ`G@ulk_|}_IAY+tp`NIK;;b=qD95i&QOnNN9hHN@O0I#M%#Hs?Tk*sJMb0xGTw9v% zIGFc%)WM(g^Ex=6jDK{5fQU*U`!nN-XEm{cDCR4NVY|nHN9*;n)QI&%yOiIJ|Az9q z8IZMx+9eE@lg9L4DvbtpgDjd9W-Ly|EFd- z>JJc@D>z{N$}YX7&5 zrSHE&+lCs7o)M8awtHW0^n0`wyDy~yH(V$i*SXK^h1;=pE%;XP@Afb{EAY@8XyJXu z%1ROFdqDI|*7&FV+`n67L$2ZH5Jjzpia z%$M>z(16l_3%`+mHY`_>DvV-5($NrGi7uxWJe|;Xi0ixZ};gm>reAX$X8R3 zdyJ>*YKB+KkkR6lG<_+|pV2%OAk*Ht46J3$8g z?^mjV?>T=vw3e%hd08U?4|2_pk9*Ue!I24YVs0xXDcQm6C`Z`Q5nnIzQsK1#1&#A@vg&jHBLj*A6&Q#5@l+XBJmi?L{6(HV9MEkWi5LY@Zcl*fRcvyx))d zZEPjbQS^_bXeR=T3!k*}%$EW8jfxVH#Y}j{JTp1PRaugxloV6khi*70-_{fFi{sls z#2P)(Htv-ZqBg2?8#iF)Dps?LF?TY9$bUa&4oH4H-O7Q&GhPtyCXvtkFR|>WmtN=} z9vTv0dzekqhDpB;K|UR&n&3Eulf|^Y%tWgC8q_XV>%jLz=S076_jlTidU7VWV|2iI zVnnW3p3z0d`as>awnxMEFZDB;G%u8yr8XDo*RN$(h*HtWvwZ3cXx`d#7I&Jl!(F0t zcXe|sb54i?K9aaegy=qjK(NQvx@`#LQu9f$b0DwE1BKlhIU^i)9b6mVOat?>^*0UX zOJvv?SDx%mco4fG=dnF&ad?H&;t;;ldi08&B2+A+4X4dHTW#r~ZK8{EoUDni=a5{Q zuK)fzZhsSW!{Y(=J`xIgW{V1*N$& z>Ja7@wt#7h(p>Q9GY4j?7e!bsaN=TtDa#r$cWhp#(;agvMi@|bYeF>7qKspQN%<}+ zp}JqrX&Sd5ZF{V{JAhuvus`N9VLxfdsg+IFGj0qY2Psw|fd$6|3l$Dh}&eC4=Et z^?mJ`sN}~L;d}@Hy0D8F#@wOMabd(Hk9nSMYV~rBH##Ys1b8SzyroEDZQ6(p+2t z-M#Dw{PakB%dfWu^c(H4y70^fqGy!!7rmAeLv}Wm06nsNY*+81o?%Wm(GB=U4^;bw z{_vaX(bH?NI5U}`Jb}hMeUs?uu^tfFsST|fzgA7nYsnEl5>OJcCx;8E_A)`@Hoy8r z@(MfE92S7Lrb`{E5}A=#3YfG%Az#}vp{6`6!_l65T`2MW4VPrRaE=ENJA4qPRO=>! zoRmjyEx^BC%4rWy9%+yaLOt;cJG)h7vt#pincX5@reO&Wycw(F>r?g8z$=S)c&h!Za2IS)W_CF0IABRI(rJ`=h}Ao_-PN3O$(4D#?%>MXG?c;O zc-@F^P@4C%n~AXxihvi1cv0_?QaC+`V}f{CsL-z8O=dKIA9d~ldx*a-Y$1~~{_rp= z*A^Rhj1+8q!dDbxUfe=7dM@Q2oqqr49+wWI7n*Ycj&l!Ya_KPW=^Y7Ra!!Z^$SwRq z1;`$17wvC@**g#7S^JIa>@w~V1VQlmc8giNgT4Jz0y(VSGg^-VlQ$1ywF?vZYyZ%y zz9$+SiiN%9Wo4GWilA_`H~DMg)m~m%8LM{|4NMw(w9E&4!i?oq$5bHTh=A+f?{^wf zBUyPUmqqdIS8s3cQwZ*FH>)3W|h^bP0lzlF}(HDIg#vY(%;Qi2)o?P$KPL@bGS`syxxf!y|y< z;o)l%T?J3DS2~}7U-<62%JO(6ee|o~1H?v7Lkg%!p67f48lKF!@tUd2L$=ysGo!EiwI?@C^Zm3KUC0 zoE#jo5x=E$eH&}SYkO48|zj{*iNZTgiYBqV01JG;8N{<0IC(lUa7 zH%eewH-@GgZf&oZHk*Z)t`QpTn}8GZ=%UHJP7XE)4h{}hPERFoc6N3?{6X%}-578o zedU3?MvwdYNb$h**SG3H77Ph;f)6veJN<4~yq1nQVU~40$(4(qMEV~7G1n-=aHn+k zxPS9;I~f`p5|Tl^L>3nphgrj1!QR(@K7b(o&wSpT9q$h?1)TEJ2&%!NnGGpF66rv` zOixdDCFvx?CvPVtTQUZ+qBw(dA3M)vd;H*fUqmGrZaYNYCmnE}ig>G7v|NN*;$OyW z2RJ+PeUSeXhJvBEZAN6dRb#4%BIKF#cv$XG65h!8_|7o+XTr4yWvK{OSiv5p>(3u~ zT5zT2(_PeGJ%>alMG6#${5%ldVb)ar>Bvsu^$PDEYoc;*>Z|=9!0j{$U5CAA3G9iI zITt;~^viG+1|;g-4JAsu!1f2Qk9O;{XLTzLx$n(dF|2D=%C}@?DnBaxIxUIf%^Va( zZ33k*$Z&J?|@#WKX__}rCQ z{}ac(wc)~nfdQSx(EF;olR~7hFIqF_=l<6f^y>0wD2P&m>6eV|$UoGt z7d;BhU4HFfQi!DZ<3%EQ_jr*q#g>1oqA+e6S%iH7R7(HVb(mP-&6fz(i?7ySLY3cf z9Y{Pe-H*_w@;jTCO`O;1j6ZU(tdLFDFP9?hi3gHTs$%$ z^t8EIGGAZ+mEelJD=Gj?L|(B&Kb_1*{D_q$bcae0ZVU_(4v9P4W&N@| zAl`VaNrw3|{k2Qjwi@@y%^;MGCkS{o<32Tu0E+EW)2|}+?8OPVC*gRn@0ZQ?_4TnQ zW)A~#>W0zao%C{+j&zYfQ01}Fj;(iRZ0dv)x5a-$&kx)(ui!2I zl@ASZ5(M*WSp^46gZ2E8o+C<*0VuG{G=zx zIHLDIF{{`4VRx+?ipD7jimzVkVD7y}?un(PSJ#ytYw|tV*eD3v`eiO8j~5fo*++Bj zU%+KYI07UOj8d6k6U$mS{jIviBn?$D_tL>fi|dz*y!bAD>s}a&S??LXo$k%kz15+W zJh*?d$qVig9)wrXjZ!WDvmJEjs=$Re?@|BJH8RHR3q5?A&a%qN*bY|--iz%vvWHIu zHHS&w;gmL8iBZZY4mn1%yJonf4qu0{w%K!u(3EzdF(tWw7?RI;(naaznlAM zQjlCWGs>7z-ViSNUa$9=urw7cWRiS$cX6axW)!83Z+E=dToiQeUTVd;|8I}h&%ix)>8Uze;r2qAPJ|C3JPx9uJsRZL{+=j(QNT^X zxf`nUBL%s;Y7%+fgz@Pbc}X3QT&#AtIHdy7g;Bqu!MLOc+DbYBRbeSfSvZ;c zt0KXB4lnA1OCRPt`l~nQ6=Kf~ZqiXTdQUkzT(-BxJv>IiEMA3+&jon=OP6C0E_(zgoA8>DePFL}z# zbB*Ou^7~eFo;h>BqGa&Ay$ojiymvGO>(w_emRXP*%Gr8xusLa)yoU2{ zmPGVK$oKi4Wv-F1h{tI|G`oCG1rGvA%r|7tkF2i0p@6)W&Y8G9w0j=dLzNM}G}y=) zckR=u0POubw(cImwXNC4Zt9F2J3mWCq>EKLKur_Yi@S@uVq6C=!u@@V0wjZF$t~+) zU+(mF4sn0IMO1TBk_txNV^8H(ghh9iVorBxm0gy^QDF!dBz=4(ZN3Ng<*A$$+{7TN zY{y!mrz4q<38_+I-kko8k&*~mwyQ>J9`0&n44HY`cp>V-MqU#NvwT40pUM=S<%De% zzNtKwusqmrBeR2?+vhRp&e4AaIUu2nn+>>-5@w+|8vD9TZ>4ZLIDD)lhL)lsdgt9< zKsqdRoD|if8f92@42l2~Iw-b`&OGu&|BgipVvq zc#-0;;|M!uj*=QwNVfI%9e#!mJ}T~$#jNpI_iEVE1I-t$s`;%#$x1YD(H#*3K%i;z z_b6LL`)Sbiro)b5yOTRtsPi-|=<|9%cB}X!>l>_xpuLH&$DtlWYYAOP%l+`gk^q_% zA0aNzURVDok*9fUrRSD(7?6;F5bBy+bB~;0SOevc?J$>LMn}K#heA_Jntk@yppE5f zXnxYC%XxWutGnmt=U7p;T-4mLsGdg2@T^GUEK{u&9!Bup$?VLGQx)UTQekpUZSC9g zr|0fckF=&V?J8Z9OeTEy1t#IvC5hQf4x|P-J4)jEUo&S};sp_|I`~;`cm0f#3`Vs| zx*Q9Ti-*d$4QEJ{_Ib*Ra@Tc)nYwe!8TAAU-sw6n%23Lsz=rSZeZi8*`0TwF$Yq#l zFdHPNA~iVZV=#j=pXi z9vbF&gfY-;&qVOjhY9r$bQc=(srG_dK6Q_+uG%63VK+s7b0Dn4Z4@+BfC%)h@0YDQ z(mZc$Za9BaS)%--&4gmeYbv!}W+dq33zLP@grCa#cg?5oh2)=`>6piPOB4QQ#;}{h z8bx~Jbv?mwJ0r-G4#Cs?QS((F3r3OcsgjMF_ciwjs5QRQ>)kp`d~3&3h@?#Pd-G;* z+9yu`Y}XYlP=Ar6BSP zO?Y{rl|e~%XE8R;s&nPyeCuNH?>`W30xJCQb$#W9LrdH>$z&74-eME;Us^wfH&LU1H5qaoKSbK|Kgy3&}zbVB2d2D82RE`lrIq zpVx(NHfs}n`y%uPJRh8ULLC>}10a&r@V+#R9tL%D6Yx1baz#w}9c{m?0_Y%;cd7Ox z#%`v{Hr&SIbJ?v2IDp8rkHswCnL9WQ5fT!zx+mZ~i#+3fD($_yU^(I3e0DIs zYR@R?^+;SwN@M8HRDEoM{e5j5?sWEO(wZ9|A724@dsQG_Vrg<>LXA@D{Mr5RP)7Xd z>&&9tR#sN5rmw`&VM9d_Txy_uO}lAwdRk++kvcLeijUK$KV9nUYf^S*H{b6U_qbp& zKq@|k>wW|nJ5#;g{BxMC5GIh_s^j)`;*e6ariOgT-DTgiV~^{>1_bv3tS!h19c}>m zM{dxQ{DZS2bkwRik6GrO;v$P(Xe$Lb4!@cyuzXg0KQ9nFrYTzr=`7H|~?yKL)!NP=0s2>3nKw|ze#l$BNwM~GJ z*@h>krx{F}{hI_9C~ieXMk)bSjpdJNX!+0Fck3g*h^~TdPp=8;Q;H{_UpvO1M z+fHAzJ;4R4Cfk8z;mvYi+MNS8fX?atj`s>&@#20l8W2eIG})?p@VY~sX-Ln<#>S}A z($gbrYH9`#mM5z13&fJ5$9`pwst-bO=cBFn*|)pytd%aQI!f$L#weNe5KqmH>_0kg z?Z|p>&+qJ5SpN!fNTti<{puia;=!k)YDehKr~*z=d)%7AvbJ5X1+sQ26lTh2Y&Bnu z2=$?9*3}7rmF3F)4mQZ&5@$794yA_ec%hS zW_-uLCGvnQKW3!!A3OC(Xo^UBi@iLtm?6$&E=7xSa!Y%Q6}h60lVo=K{P#Z80x>+t z38Vxe6}WkNiZlS`XqC}t7z!@ET8>lMV*Um*Q&Pa&w}Fi0m{-m-jh{`pI;jTZxt=QlzfcS{ff#&aTKDww5~Vqj8aV?nJquv*t|aFqINZo; z2B|0MFfwfI@z{h;PH_T(MNuU+;@V1##>>a5}FMW5yyv{jE+^WcMvBDO>BHP=1jTg2ZJ zCZ8@%=krzEa{;NN-py0M+Ob<9JH-dt6e-I{DH}t`m~yQtIA@y!WIpdou=@%9Jpih7Cvx?zV`Q-?0y+3=DTl{ z_w#X*MoxXWvIi5qE#Knyxt9!v@zu4DJMX`Fe2<_ zMuJa<-K_jxcUaM)x>Htnmp?4Ck@;dIZA_p1ER??=y);+R`TQ{xky#@t)_nqE&Ku@0 zO?Y=-jy$D}`}ieiu5V(73AMb3vDLtX(Xy2jnL;=B=}NQW7`^X*R<5qCX2Y zIZz@1A;qKQ2~>x=?pXgI-{pHCJvDWA1FPu4Eq-#%>6x&(D=mgUa-Ugcpi1^i#06G~ zZHez*T{#p%ss)#B@}ke^azm@9FS>jVCC9i<8Zt)x%`PYM1S4%@s^=lZeQzaR3fX`q zfTfIDj_`$9OTzWgp~}P#OZpm-m@iWsfvxI32!bR5!PC!t;2?X>G+lkTL;12epQm8 ziWz3D=qHBJclt|IRd$RQc0l!Yh_{EpBf z6ztSvguNOscop<4GZAf!ycm|HuqCrQiAMXWufjzTbe zGGY8q6~R88-v=9&oZ-?pbY>*n3Yl;5E#GKDoqYJB(4KV2Er%J%QjRS+YsF-qBaSyP z>7@urh1K^%Mb|I-Uo;)mfzNHhp9@l~q-2sm_;EC!QnM3De#h4p>gv|?X+H7ZArrdJ z`P&^-qu+_A-HamiD2xTRKNlu362!Mq(XBDiSLC)E}eBpz~a z!M)7g&7r|Z&1xV+x7O1q@HT%&%&pMgWP<*3OqE_e4x;4>He`t|EF+C{8BcS>|G z_fTgTBS`w!GJ0F0{-9U%PFj>g-@?RWeY7jcV=%5?)GpS|qFiNFO2_ZT6_XvxkRo%2 zLeYk^u0K;uP9CSrEOl*eZpQZsZq}P!O-ETLzr~`=_)N`)PejWc4Sy})fkxh~mlU?T zuTA?XnRE3>V?RQTAztPxB6IIr4&O@EtJK^TD_Y74+q*^-4-5|S2X%&v5uD4p`!uK6 zW%!VrrCs$XJcbomZ54JFsEAF=X^4@tq>ltep`0nt(leH(=t7d<87>M2Pryw(VMY zr}6hU1mrJu>;$Dl9-M@ek4TEwG5LR?7p*Uf%qUIfgJ*NT@3S^wT%NwlW>Mc;lN(?Tx@hLaT1M;2F(0C%{RCsd*D|_`)RL2hqGFCSLcjA&^1$O;NGosUXJptuPA))@KP?hC%PO8Esx{S>04ZsWdzSn-SWA7E4TU@iDv1qBXP0e{%!kC&I>>sGH>^>ob$UQqh z*`g}dqTzxK#^~^{lyycw*GjEvu!VZNLhd!2eG4cFX|PT0yWfEc(82In(W0#;T3cJ& zu}8bMBv>fcr%ycM+3y~4rbKKYXG*ZBjOl5Au^a8WXg_oXQzg213m|ABx>Tpoxz-Cw zsEb$!2JY@~HCM`emrVm5;EHUp7B7Yxhud%zMgqa0)%y~)bmIX8YAD-uJ3+AEu%guP z2=Xl`P)xMqaFG5;&*)W0)6!HqeFY15mymH2mV(IMR!o*mj-0li4bjFUz#WPQw_xl2 zhRJa?0V!)77zWsjjgneV7y^X5Rv@ZnFc! zkCx%W=R*PCES`bw>)~J=!>yOvDC>V_wQco3+aDbO6~Gms8wGBMfLk2s>(dk;vv7A8 zG$m`d_0Ea9OnD$JMw~F*6nU;h*?irgddNP?rfN-O3xX|UT3T8JE(>x&U;O_4QhZ_$ zWTvY=Ub_oj?Nyg0t4^kXr@7%u0373>bgu2&KT|Xyj=mr^p$I|*TjZ+ERojoUC!SOI z7MN}pogVM6?>bslhOuF$Skk*6 zA`cfNX5PzO<$@)SX1lxu@-X3qRD^Uh^7&T8WCtt^H;icxDw99W`b_m+u4AZ2T@<>% zHr%fH5Cc#I<_y3db$r(ZwJ&}Ig}u9yYJS2igbHJi)CV&u3q3$6)wuRad-G(clWEA~ z$xkcEHo(iqmt6BK%TiNmkDdev54Y{l@*@z22!3d(_^Id7q7rVSm53_;+lox|pha|| z*a1p``goItFwttOF5fGFq^~KE-{QA~Q2KCRjG`%H*?A0$+gy zk+b&?3kmXJY3V}~vOSH+SC)aw{y&LOA8onaM+_264vBlBDwL4D3t~OZf@`_1Vl|Z* zdTXBj;T%#DVtur21M?I`esr+B(Fw`nXBSa7LY2pLPGK<;-tK1OBloX?djh z1(k+Oy%A#~+f9l|y-+fW@Gxbg<>7{gtRk%DNAj7y2lk-qL*Bs@s?@=hiP^d4;I^59 z*g-RY=W~Wf$$XFHzn~6yJ#;iLi6*mN-NfBGDAb{m?%W_^(8b!%KJurpV;@BpG-$ar zTSpac__vBC2$ME|aUV~pLk7B%0(y4q5M?H+2;G_p+o0U__Cpm1_;^i4FDj&BQ!2@Z zo?ys&iEhgx55;2cL|I!(8Z_ALsF< z{b6#@_)wlbB=s#cRRazqxOST5EJeTZmn(Yop5cmwHq7n1uLm z^R9YnJZwgci|7ekb)F?SvenJv_-s?pv{Lit5oz88KvzGaVO7Pf`oLSDbX_%nKcbp6 zs~Or5a;Ll6QCX=a%FSpUk;Lcu4OP=T__OMK#X`Ccnw0g-S$e_O2WCg_`+iR*yh;9e zVbM2SBi@mXTKQw)^=OUn!9{DXI=ziOyY~yoLM7(0IwQ5tvzmU0`kRE4r(?l)qbgn@ zkEG{LV2)c=IBO7w*b~Esq@iM*zTVho(K{*ea*ENU-=A_kxRo#ZBWpFCsrF)T_1UUV zU&Wt~O#}3(yn^~8!`+MxSJgr8iHYp-H%+0Yq4{fy)lm#5`Ma>|<_ui>l4vY3ufklMs;#j8};wdxsI#srSk(J?inoL2o^(c_eU9pMW3rVRc;06Cl5riil5zDBGU4P zll^?6{)6q8tBk8}+!ZOOem5ekDPHIKMSrnx+|B06xkiZyf0({pO%FHFp``&pQpF^! zhq(K6BVvgnkJdo zl6hm27brIY;ER6!PfXB-;X)aX45$F76~E+gif|mxKQRn&YyWbI;V*WOtXWuxnjznb?uXC6NU(Sv;%2SSF)aZal$$9~< zX7A*WE*uPtt*orn6T9*L8@q^z2z%m0!R9)LZT(T&Tvk>V2xqDdjB@d7%+0K)r&!Dz z)3w_Qb9m*?QLALsnO#9^W@f{zQ|%rifkN@j$)2A(L`y2Edh5uTq{BTyGVB(n(E`XM zszb42pN~)@Zcz8L7W}@ODe!3?iWTQ}JIm&MZO;T42`czm{y}>r%gbmMW8rLReh4W^ z>+;^7P})T(pp->7u`>-G>y~6m+KMWn?1P6}vw6~j^&k-4NhKvCdsb&jNP{-y9sY)E zVVPVy>4{;9258=4U%E--nZnJYFcb3bcf*WZpGd5{5QMm^^FZc}mm&9xBTo6uQ(@#i+ZC%c)Ak(xw$ zAHlT>WB9^6=6o#tM@gj{x>732l~7xa?skbq0jUcp ze_aOPPX6h7`!7e)folwC@Z6jLjR9?0fo1>yNG%t#tFslgVI?Z>NIb+GoVApYn%Cu15Y4wJtZY&wFa<_)SDX{+2klu zCk~I#IO5yxhaZ9Sbc3+Z&b(s7>G|2oouwnD(c0SDp~Z-Zh&z7(KE<`mXrRk#YZE&d z7#VX{zs&#eKqLXi-fxDCrdQ!P)ETDjO z??+z%GClced;_l21tbQnHdOUy9>aA2cSn$tk}6$R#6SnvGeQ1)kiNh*X8jiGO!)^M z@nDy~)FCqRv!LuY_5L1N%tS`9OhL_$eK&~* zz5Rdzb~76 zT{^K?w{~e*6r+@y%oe+?IIe_n`{-;IkfzUrCFSQqQ`+l*fB*p{+}(PD-kkfxtDp*y z9E4pY^Z$0!8{Pu)gg0qr4{XJOwq*CsaZKSVBHzp+XCdc%tFidn$*{}J^g)5TD5 z4IkI-&W?_bmA$<;RXF4yG+JV+-rM^AiE1yd+T+m;Qk!QVp}PyJ4VwAT?Kv2j;qU*< zz;psx`d{KbCb<%%acgXmx6Y4ttPs~}@p8riMSVZ3AhcVV#5=?@Pt4J1NHoAKHOg5B zW%5g?N6_5$U*=s8KWyk*5sF09-Iys?L&7Gvx0Rve#s-SR_Qw>d8U{BpsC(cd<3F9C z;)TV{QQRIdoP8i40oL8@e`_UcMW?^0V_t#oiR^S-E#}zKw6AdVaVnY4AoTL?&5=;m z_zE14zJ87f&Q4`}n4`S2PlGO^R^zaqE3lQ;?_{`(p6QFzs+Z7Ps%6>1S z@PvrdQd6^0s3*63K`zKKdd!M^g2u*8gwOu64*38#KsQYS&ye@=?!5wQY=;C`Pk;3rqVLTtlMeBOQNuT~SZ$dvg zs-G)EfBgfL7PAZtg*RceGc+%O?*h7=zEDZC^{|7l!Lr|`RT>snzBa09d>5Q)q4nX# zEm2TABjiZU?I)MB2?&re%^N>DJ2_nS+^}T=R=fl3w<({uY${16LC$4ja#9`jlCgvp zwDZWDy+`D0KH?iPWW=&b~r2g8hZG- zk$Waje`}Q&jeSwA-|RV9VMt8>#nt7r2_oTeIqRN?f2j$HUMqnzv#z&Qe^S#t;#G9T zIZOj_tNo;8;%mu^PH~TQMd3HJ2rj?kve)%TJ@2j$il*kESdwXH8@*%C`2x3w+AmKS z2GlN;?tJW>aO+jaMjKy>KSVDF{-RB+zsVAw!JXZ%#GfEn$*Iu`eMnhevSZy2eP2~^ z(l=bpihB8lj47#OQ&cq9sVNl2wviw#(Y}jf4AToqC;$7!!b$hx>U`00b!HF2O6H6iP6Mer_9gh64xmlblW2{B0j&iTFy2=pi z1TUj*OH#c}8Z&y>wppO5|FSc@Uv`)@DLJf!uM+90JBh=^!k_bQsU&gHtr2{=Yd^zT z@=GLGcAwD~ZGb;4vd4uMVzu7VAb{l2?)XWV#=hFN-mZSe1o#}=n`_7M6wLYTJhxCA zRvw(1y3Ka_@hx7P$44fG0l*bhU3Ep|HrNf`D}P$}EKKKl`-ga0j}O3Ok9;XHAJ0Un z(m(muPurnI=f+Hkw)_c|6gTt(4Px2CMz4fFxm(VFk`Dtzf6L!Lm}LB)qAgbxw2e9+ zS|;nc7DEs>a3RAxlp6RgzW)i_Y#t*GniQ=2FyP)^xtC>UxZ}bIfDr|iB<}`Ki-1e_ zZJFNQ7_St14^XU-#g8FT#V*i@+(6=Q9}kyNn9Xxt_yhEP(0Z!D!yfdge&!|fPR4bI zdM2@y(aozzF~!SBNN}CW)6Z8CsiwL|JadY>l8@93bDz96ua@coYxDuV`xo5CCs(G|o|mUXcV!IT@x|1@MiAA@PQ&=5H79WY0W?t>B@8MW>^) zbDlp8_+ypfmeXjE>Sc2Vx1`T46bjuKQjT`#k@7zsI}Zde$M_NWuHXo|pr9Z z)nWOok?c!P;(h~yi`Ep^->(67^9k4d^Dv<*xE literal 0 HcmV?d00001