From ff81a2ae5e3129bd98a8309d80f8da458db95a45 Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Sun, 20 Aug 2017 04:49:24 -0400 Subject: [PATCH] Fixed typo --- papers/casper/casper_basic_structure.aux | 8 ++-- papers/casper/casper_basic_structure.log | 53 +++++++++++++---------- papers/casper/casper_basic_structure.pdf | Bin 351625 -> 360532 bytes papers/casper/casper_basic_structure.tex | 2 +- 4 files changed, 35 insertions(+), 28 deletions(-) diff --git a/papers/casper/casper_basic_structure.aux b/papers/casper/casper_basic_structure.aux index 966c427..f0e7a6d 100644 --- a/papers/casper/casper_basic_structure.aux +++ b/papers/casper/casper_basic_structure.aux @@ -2,10 +2,10 @@ \@writefile{toc}{\contentsline {section}{\numberline {1}Principles}{1}} \@writefile{toc}{\contentsline {section}{\numberline {2}Introduction, Protocol I}{2}} \@writefile{toc}{\contentsline {section}{\numberline {3}Proof Sketch of Safety and Plausible Liveness}{4}} -\@writefile{toc}{\contentsline {section}{\numberline {4}Fork Choice Rule}{5}} +\@writefile{toc}{\contentsline {section}{\numberline {4}Fork Choice Rule}{6}} \@writefile{toc}{\contentsline {section}{\numberline {5}Dynamic Validator Sets}{7}} -\@writefile{toc}{\contentsline {section}{\numberline {6}Mass Crash Failure Recovery}{8}} +\@writefile{toc}{\contentsline {section}{\numberline {6}Mass Crash Failure Recovery}{9}} +\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{10}} \bibstyle{abbrv} \bibdata{main} -\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{10}} -\@writefile{toc}{\contentsline {section}{\numberline {8}References}{10}} +\@writefile{toc}{\contentsline {section}{\numberline {8}References}{11}} diff --git a/papers/casper/casper_basic_structure.log b/papers/casper/casper_basic_structure.log index 3d4c6b4..94e36d2 100644 --- a/papers/casper/casper_basic_structure.log +++ b/papers/casper/casper_basic_structure.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2017.6.27) 17 AUG 2017 16:44 +This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2017.6.27) 20 AUG 2017 04:48 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -178,58 +178,64 @@ Overfull \hbox (29.12628pt too wide) in paragraph at lines 30--31 [][] [] -LaTeX Font Info: Try loading font information for OMS+cmr on input line 35. +LaTeX Font Info: Try loading font information for OMS+cmr on input line 37. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available -(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 35. +(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 37. [2 <./prepares_commits.png>] [3] -Overfull \hbox (1.48117pt too wide) in paragraph at lines 60--61 +Overfull \hbox (2.44592pt too wide) in paragraph at lines 57--58 +[]\OT1/cmr/m/n/12 This gives sub-stan-tial gains in im-ple-men-ta-tion sim-plic +-ity, be-cause it means + [] + + +Overfull \hbox (1.48117pt too wide) in paragraph at lines 62--63 []\OT1/cmr/bx/n/12 NO[]DBL[]PREPARE\OT1/cmr/m/n/12 : a val-ida-tor can-not pre- pare two dif-fer-ent check- [] - +[4] File: conflicting_checkpoints.png Graphic file (type png) -Package pdftex.def Info: conflicting_checkpoints.png used on input line 72. +Package pdftex.def Info: conflicting_checkpoints.png used on input line 76. (pdftex.def) Requested size: 301.1261pt x 191.5449pt. - [4] [5 <./conflicting_checkpoints.png>] + [5 <./conflicting_checkpoints.png>] File: fork_choice_rule.jpeg Graphic file (type jpg) -Package pdftex.def Info: fork_choice_rule.jpeg used on input line 84. +Package pdftex.def Info: fork_choice_rule.jpeg used on input line 88. (pdftex.def) Requested size: 401.50146pt x 251.1535pt. -Overfull \hbox (29.12628pt too wide) in paragraph at lines 84--85 +Overfull \hbox (29.12628pt too wide) in paragraph at lines 88--89 [][] [] [6 <./fork_choice_rule.jpeg>] [7] - + File: validator_set_misalignment.png Graphic file (type png) -Package pdftex.def Info: validator_set_misalignment.png used on input line 113. +Package pdftex.def Info: validator_set_misalignment.png used on input line 117. (pdftex.def) Requested size: 250.93842pt x 168.09088pt. - [8 <./validator_set_misalignment.png (PNG copy)>] + [8] + File: CommitsSync.png Graphic file (type png) - - -Package pdftex.def Info: CommitsSync.png used on input line 123. + +Package pdftex.def Info: CommitsSync.png used on input line 127. (pdftex.def) Requested size: 301.1261pt x 266.08658pt. - [9 <./CommitsSync.png>] + +[9 <./validator_set_misalignment.png (PNG copy)>] [10 <./CommitsSync.png>] No file casper_basic_structure.bbl. -[10] (./casper_basic_structure.aux) ) +[11] (./casper_basic_structure.aux) ) Here is how much of TeX's memory you used: 1637 strings out of 494953 23600 string characters out of 6180977 - 79571 words of memory out of 5000000 + 80571 words of memory out of 5000000 4915 multiletter control sequences out of 15000+600000 9456 words of font info for 33 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 @@ -243,11 +249,12 @@ m/cmmi8.pfb> -Output written on casper_basic_structure.pdf (10 pages, 351625 bytes). +mf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb> +Output written on casper_basic_structure.pdf (11 pages, 360532 bytes). PDF statistics: - 86 PDF objects out of 1000 (max. 8388607) - 55 compressed objects within 1 object stream + 93 PDF objects out of 1000 (max. 8388607) + 60 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 26 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/papers/casper/casper_basic_structure.pdf b/papers/casper/casper_basic_structure.pdf index d5d207ad709b5e10e071c50d07e5f87df7f34837..497c7ee9e66e2c323c76bacbdd8b98d06595e779 100644 GIT binary patch delta 43811 zcmZs>LwGI>ux=UKwryj_wr$&Xz8E{UZ6`anZQHi3`=4{Wd(^X<)}WqxYt@SEL|+QP zh$jW*;O0uJF9N0l)M&`WZE_&>+}0sECkCdY8x$@bE!Z`JdrKo1@sV-Qp>$)Yr?wO( zU!Sacgo&*GTkRvrjFN&6AN2Blyt_U*DdWkdBr)+~aQ(MVu4`EuD*GVYsEjsVD$ifm ztNq)i9mVT5Xid+W5bGn6)tN%QSm30$%`YLnxZZ-T(T7hB=-vF-i4mwI9C9addn>TiOt4}F(141vYGmsJ6j7XjJ_wxh$prTMiW7vnfNrVn zlrPUoGK0hUSQ2wYY@GZk!g_ctLLj|97)K@#8ANM45v46oFZjiG1ElKH+c3^irEkL_ z3+;6dD&s%u3v;AiG4SxPzR+S{T(O_UFQUmHv?E!%{eBQ&2D%&0@tm%%mSUUmKUd&e zs2Qf#Ap$0~6aV7)o!YxzGGt<20**hkb=4udirD)MCY=yjTox^AWceN_ z0pU&j?rx<|K#Z+7>l`86L9&zMybc-^Mfl^j!718VdNwRF)7wu{O*#c1_}Pz|Kn89L zIJBs~_#jahY?}j-N&&xe8;x>06^SrhoC;~UEnKpjvfe7nG+?P+vEUHRH$3YVQSR-( zN}$SFh%U?WlVotKB}SRyl`7s4ORaqoJ?|_MCD9Ebg92%ssqQ{F(i4c!Zz1+|oAHrU zQ-YCJ|Tutg%@lj&XT$q9B*#Y0VDPyD91lOgji`bKFJ|7 zraCX5GsNWlh;(ecQC)%KXYi2*_e$H^9EcPs<^&Y$uAIJ=IU!^Ce@)pzV!J#5%NVX$ z#qD!TJ+=Xlw}||B{dqnxtWk)&S=MQI3HAUO!Ad;4Sr>$y#l`;lvoWkDpMktFpm|V& z?LIK1Es)~J(vx+k`uXE_f93+uj%NO=p-EX3WOLr_PDSxv_7Ik%7es$LF4}CQN&>IWyEA$n&xw3YEA^di>4rRiwz`LnHcc_=YpNk z`10YYg;v6Br|G0Q_LpYIeB^)TM84Ubn8XImQdmErdaIT%Bc%9O4gJ-FMY6^my)mr7 z+-)Q{rz}foB-B8}PsWS^R@|cA!PpvFnPvBe^Au9D>|By*>1h3z8qG0AV<$`@*8_)7 zUf{0TgLzD~`oK9zTt%4BtKf$v?*jQekq30Ng&zkvXM1&NRG?>IPDaXROv!z}k(TrP znPHEdp4U2upYKEBlxt2+swF0ML=RFCqs|`WxCPSXSIf4l;3ff7!rd& zrH0~+-wy=+s(k_}^`#srE@L-~ zY&C8h?UaSRc+3fsp#guA^xYdXYaQYWAGm}L?d?P5rlbnPdg~+(qqHXr@m*?VdHnD7vE;isnD$wB~zCaL&fPW%XCZ|Z2g!}x>vAeFvl*# zi>#{!K39pbhd9HLGAOac>7~C+G>U!SjSaPA3%908Jr7)l`{xx7-)Fr;+s#CYnJ@C) zVXMr-DGcotAz_sPN^LhWPu>i$KIrB8YZ17TO+p`L=rnrJGnm|s#wCdrM?r%-mo8B)!FMd`4vxy4O)m%fLS`X>U>uKAjtaQ> zoA`_N!gv;eH`*8qWrc?|Anq_B&gEWyqiY(+ybz_1 zJ^e?;bc~&V+|ia>f;kPk8at{8BmI$kB+c6}VKgW|wED1!GbdiLlMS#*ig-Xw>Nr-V zmnBuR{);{ZP=13Uq`BHO-7GS7_Nq~J7zIu^SpuH7Jm>}`X#&pRtjZg)Q6!x6?|E`2 z=k0hBRY1lEL}fq3!{8Rgm-=}z2)YWXtg|`<239J74`=WOf8$>TV2{350}D)iNKpI% zhtD{Qv(BBj4i$MkW1kt{gw&_s~AXjzCM18p|ktW8^+6Y_AD`hb=Dq8>20XW+KR!luXH<_N7DV+IMfrVHmpXiZ>a~ z^b;dIj-EkF$2|!(KJnY*)^H}_6!WTQ!6f+woNb?2;UFuM43U>aJsj%1Z0h+UD{eojettIU|{pXs@Ez0b;(HY-gvWGb&GAw**PoK}*i|ah`=~Y`^PG41Y~4-UA>ob-MO&|nrnr0S zhbB)8&M`vEnrR3SAIA?@jCO?nTvj!zIxYWr`2^iXA$iLbkvyIfAUEuJ&H@Ac9cq0T zY3gX8Rc)e^tCw%W4V>boluSRD&{^K=(NzqS zAIfsugS?}FpU3)_T`i+%j6H%wzucDeymSSX++OVB237UJDEicTgyFYkn@-LD(6K|_ zAzds$y3Wo@d;wb7&TuoaL7M^1Zx|cxio4>QIm>bTPV~?hu@kF_Llj7Vf<5-6&`Q%1 zeN}XNE{uSDO`SuM58rOfKwqlbSf}(P{P-AZ2kZjlH;qj-abPS_^RimZ4tQstL`hwV z3HWp|(rVt@SwmZ@i;Aqoi%VWll6noU09Linr^RX;$taG(o`l`>+Fe<;<$>Wh0oVskld3_{S3b zK|nCkZ112P_8LZ$D+NX}aq_e!Nk2InBEy&OR5ja1f7;dy>xguu>0O&D+&J3#LTa+z z6*Xp%rLlDo-UJN!FNFcN$M5R-gYd=*&gJ0~@2zm2$UWztrhP-=KW~kaffXQLQ!E`c z(Wn^cTbg7Fwg~Bne({_a524S^pnPJPcN*Atv9K7JmVrt1<;7tX;@QebPbArzoS?UX zw<0jw$x}I#R03YSX7zUt!@#VH@MuUp@ZyAv@`hBTtX|JY02)BJ7%Jc9*gHVLicw%_rr8X~@r^Xs-W5a{pRzvshY2cNSu<0J#fFSi1n=N}zRjASRz zrf%mo!8p(RWp$?2Jz@az)L-jr{*;M2aMp+6@FBn5mM`8o2Pn%pSV%eGEr!sCNgbA# zj9*AbPN-oRGyC9Ugw|sO;Nw6LHuki-B4BDjjh2+lCKtwk3%T4GyMjhIB9w^BPkMGp zjZaNwk@dQgpNyM{#I%7l(mu$Z^850Xk2fF+Zrr^ck)z>|es?pU(4lrmFUq-}oAyzc z&b|ef0S>iP_e__$;P0?p_gmXn^1bo%`-#DAtrxS-R7OHnG{*MTm32*suKFmtfqgaL zvh$X$zG^F0n|{i+Vtw>@dfy&#Fs7#BH&VvUCT@j27J`G;D3u2`&-ne>zBx=`6R%;l zw;$bjJ&e^Z{rUI%!_h(fa!+&*1WMm!IC(+Tv)87B028!b`K-i2p!$pm?`_e&;CYzw zvc`lgw*6{_EUr18?)0Oi5LFDiFv=M)NH7ksGe$HG`RAJ`qQ2+^9C;ojncV-=b5SF^ zDNF8I?dW66?Hd8jM1=(xIwcgE$80T1Gl;_@lh7zO@$;ua>z@|)RGxYe7YB)}u9fCMDK*>4@PUb73t~idK z+}DRlr+t1ng~IGI3<5cWAEa!1EN*&obApIR87f6Te24C$Ndt>FEm?^hhbU96|2Os~ z$Zj2o4y4_?(EN%8P6P#5V?7&l!NTTLZPV6$8EWgZLBTay3PjLcB9x0FP)xQUVPNoC zV_&R|6L3x5l`xFPeDee~7_t^-vC(7lyNF=8P*bQWfFoEPO-!KELL(;j^q?P}G6G(L zMU8vA-g$-(aWd2JYN=N7sLYO}i^JtN^E#<6f$c>id7*{jyu5x|D~Rm;9%(58!FdLE3+(;o7sOJGty>@g^U?dWo(Hu6${MJZ zTEvG6eW{BBqHZ@twrsj}MAz{xA~hqB+!aw7@+!_9ZtekkY%C8OLiT8>^Vf50>OR$& z2X}p;_&4bj`avwjl#TEuYDR7re*Ok-%`z6Po@qO zKO9}2KhXgYi+R+S+w87Y|| zv6Z;4kK~4|+87^}<3QN!?4#0wqu}wFzuGePXr+%nW|R$(m+|CPNi7JU5Z%V?vC{f6fzPjUV}TXa;ahBEHF^ zNbD$tb$#SNL|Mb_xk5EKG_O(W9guz5)p$3bUlTJ-Nh|; zAWi;yrhPc{>6e~?9)w^wb^*H}A*XO?iYnhin7rn{MKD)3GKt(oyKx@Rly`LGQbU8T^8fr8U&R#ngS2tIgv^GGP9W{7J2k?(Ac1We%6;p1NwW5 z^Kl5OPV2(D(Fbqg3)L4MW|7D`oDv1|QnERxAo)9T_g=p+Zwy_N;?an{=!_3K*Q8%a zIInu)|Kgjei>tGlk=_4P4#w6nESyA4ME_Ip^1?96n%P^pS`x9aaxwouUjl3!heM7B zAOFyK1(tgA;czl*AFlk))^5A`o0Ci+vH5FAadTs0?>929#i!L>I14hJ*njl#pD0O# z^Nu@+C)3ZvtGgAxJ)wms6Qq{-vztDDOX^JSXmm%DXG+a* zZ*a>?VQ_l(*e7ziv%ID{ny}K7I<;6O4ojNM?<(k78oR)LK|bqO{my<{5VM48C542ZryZ0kz3eqHt+t;*oR) z=+DCry`xq1*}yi!r|!>4Og8yNO@V679UX78!&!zgi=PzIe~_)r&&9h4gAI91?D%(eJ3XnVRj`e#43+; zZ@&xr>O3xEBI&g#0o4=cA)dNNqE@F+xe~#*7yp25q02qMaC`Zbx$gs`*SIwFaiZvC zeg-rtVne}~OZHwj($h3AC8a@1KZ2UckW!uJb*Z%P7Ns`w4O66$H(hHD*$%vm)L>|r z1}y19w!n@(clS6z#W0qQq7p*GiT^k?+-gQ5W%$#In*@z01G-R$ET;8trJu;Hig=!& zalLk4!n6Dx(S%E?kkZ9G3}yHwib%?CX3Q?{m)7)5z@o%Mq zqh27O7x7>D0!AnICfeS}n$M$J9u4LRND+ID|5?b(P^JH1EUc{DN`X&fxK=E(3Fn-% z?Qa6zh2Y^O+U+y7p$ba|{o8Qw0Y1KG%(hm9q667~A;RZ&#wRgL5 zli+ZXwpP2Dj|QLorkXH;c`2n^@ zS&z|3)qwSoo7%22L_mmRBCsk%il}@uDoiynd&=P9iFwY@Ui96ln`L3>Q$h&|Fcjd^ zyIU#=4X`|)kd2!oY4o&3_Y?OI5g{Qyj`FDLa5!J!Z(rS6^-J||>6H!GIdd&aG!BI* zMF98_vinLb==)WYf)h&GokXtR*bC$qsvd(Ux3p3_;j_2 zTmTjxabU7~iVkPfkpvK}&YZ+C!~^(KN2q41xG=AL!bMF~1Z?zCOMz(Hm{!oF z35lff6`z8Qrx-UhegtikG>efL3+DuT8fo<{J}i5_N8C&>kTF8m4i5+#sl&I8Jb^H| zv;Nn)_FQ*v6#OJLtlwLk;W-)_XyjPAD!{US4U-=K@@Q(|adQF8cM?LI#hmo#aykyS z^#me1=LcXvT|hf^^tCdXx2sp{g6jAA*hwA?QlvbYbQR4PRfGYNJtZqIPGl*YnaY#J z7p-WBn;C5=5a%bjBaD-PbHzJN$C4HP8-`0-0{(>Wg6NfqGp8Y32;K9~tPYBlKmIUv3WY+{7NiUWzJ-@9i}PS2w~U%>%8o? z4wE5FHJRxliZN^=xAN-i08wMtK(F`n?qzitFCNxP0rt-e{V{zrYi!HaA1<_p*S&rF zt1#=<f&wF@aqriT0{%T~7jE9=tR&bcav9r9V#<6wrB9C>KZpCr_ zUg7?u+{$v_NpYrpTNr2NjjNwd%$Q1i=2fb z$D(g;!ESpkO+%ED)QpMYs)@2hM9Dj${7#2IVRW=vZi9!tOw?xIpW0Y-IFC`7`@e)h z2%tI9k7|7b?=YD7OVZf*Z818zbHbd3C(F>l7OaGVAgArcM`%6kZab*e6yd{{O!S!~ z(J6fU?YJ-JRt!H7*DQP#e^npRk9l9|Q+>V=UMRpY3^G#UVHcMUkHT1H%zs29_(q9$H6{u7V!2 zXRLIgO!iyzQNOB~#;eWRdqE!|9I21!{G}W( zk;@%vZ!GcA;PBI*nTqmAm1;70o$(C@$vL24HOzL4`vcp69we{+mO2S;F*!Z++_tve zmA^8%AFXW7XbhIEy>jK}`QR(HjAXhLZeKV{qI;(R8?Opt#6ordkhKss^4QnaJqM*? zW_0s~@`7_NFE#Jm1pw2Mzq*8{0tHt>^U*>TAfq}pRv{a?=;R*E*ZnVqoQI}X9v1~n z&^cgEW+KRf6in_qg0F?N0p06M<2oYpSd~P!I(89;V5$_Ici5`rv5L6Ev*W-~4W=l9P`6V&*o0Rp;DJ91Cc=~5AFGKNTVzdC2BTQ%1ae}{^Id#W_ zT2pa8YVl$WbU)ZD$}-_rAROIsJ$K!pcN>T*0ZsH>x_yF7s6Mc#hd=)@DoI0tIf?l{sL0#d7NR3votUAX=xFsX zO6x^}Uk`2h;rU!tDODq_47I?jhx?eKSKyeVZm_RO|63}fvNX#Y;07)-ajcTf%J_Z! zapDS+)}g(>c#?c9_jXgc6|#QUtcxCX0XV*bGg$X!Wz^W$Yk*F|G@G}T|Lu4?URKaG z591QSw%37@&R)tO3mcJR&31n{IXIexo}~I}kd+pvt2c+jq{(7X_<4&mXZ3uR5s!4_ z=zK*@6AXie_K3OyERH)+o>G|2|WX59I2jCo%OjR<13V4)BpY&Z; zr|)^Ji%Lp2A+Lu>kpvhuyx4+jC|Hx6Pb7*Vy)ZzHlNrm-R9hKvprD zs&pdb>tzr&8jb6xvNM z2n1*qt#%IpSeXKE(v2ndk1~dyyUFd%j&&WSQ>dj=aL5?8@zBQo&Uq$N^wgD+4c2w&}_%i!V-8g>X=NqCd_SC2gRt=TK3!9q|C#B zlTB)Xve=~L`Y&Rk95QCu8GgFxD~Rl7MjS~ZZ9EXOeC(AVDy`N^26&cXppj_i(t_cL zP8lCSpf82>szUeNME9IPV;oGpf=SCA|b#DC9og3{e=vn^;Ip0v@VT+`#HgYN#oebgJ zYnCh%-E`bRO{~6L#RRj@p3tu-PUSJ0=wuItYWOA`IGAo>#zaru$H<@A&o!_=X(Wsg zeS_khmoA#5Bswo7-y@pVVdu*Wx%&X%)|Vt2fFi?)GFE9JAo8x_A-P_G+yO`eMFH_y zWdz!GCq%=9!muMrJFu5K37#?x!cCoz-Nv2vQm8K*Zc6t~RmR)WLiu#73HmB4E=+HL#dm+Y)czc<6Ek(j;*{80yN3h6CR z4}_>PAJbH-q0pp|qe=2kJ$@>3J6Z)uQ+KXC<7*RcFI<6h*P8_fNp&6WvR66F{UP5S{18qe?Ajmv^BaB+Y{g<-xj_LvSbLG zpIGvma6zMH%gI6%)}8s&8oW1-+y@)A1X#xS0E5<$%4GDFuJnX8fhzxLZKkMr6*VjsGPz?l4 z!ee>@iMEr%H=AnB!Ae>Sr7YAq_LO^HxvKr17=^`vc+Je5|0@RLhzG7AmW?!9g-=#L z#Yatgq}gxGHb2rcRhWu0C<<5(N2AN}20wlSKAiIl<!n2?3mfY*p)uU30dESyj7S70AeLT*UCiQ!f_SOc1dZ6$m4 zHbj$2qbp6!5{OhY`H#N^2l_e6uiWA?KQQ8UEOTS!?f~FW#jL-1MuX!yK?M`|j&G!5 z-F#9{XO(M0u3`XT-yE(xNe?7L>|zZf_!+zgq}$x0>r|8>krVNh>!Y8*+J?`uza~Xv zG`_fr6!+#x#MGpU&rZBjNmp8ilvGECaNNU>=~$osZ+AD_n^8j@K-x13{(+&*kJuZA z`>%OB{(uh8$Di;RN4yF)J1dzE%Pm@IP-lXj6(mYXBb zt5AAI(g7A&@R9@&Y3W-Wa!zXA?jd6U`lJ+Q4^4%p37<4LPn;=loqVtSr^}T4>aQ_k zf`Ed>6Q|+jPS+VQaJc2Qvtg1{4;8)SP_u%4BD(3*<>fA0j-(}_qP+G?=e6$LE>UHI zA3%WmTY?~J7!MyBQnfS1FL!Rm;U=GFgDvAbK?{@mGsRal#RXz2gN4yh>+Qbw+skC@ z-JRF`{>h){?b)h1T==-3KA_r!ChQyS_AiU3%ErB_D$VRqhfJ~gsrf=wot%{_Ep&PG zdVzV{3*4`DFoK~^gUG$TrvQh^K|r0{|A=l z=on4^wcQz~NhuYpt?msJFZR2MR(>ANDgS|1*3zSAu(kU$d6jMXM|~NddQMIaG_D+ir(mj-*z}#>Zp`AJGugLWdPKGex~N z_k}1{m%VK>F^8!&X5*^NyPwc+atQ=M7o+(fungNk{2G~M{v;|l@gE@%eHQJ;;>NP* zDnzuB4~u6Td~H%$P3Pxcq;{SDh2Y&5m)zMhrJ?E5l^5r_&1a7fRSwLlPJsSX9c-%% z1hu78iK%SivbcCCd;XZHsx_jD+CNR~yooyfFyx1%CWg28k{D(Qv5VYW{`obxX97@V zkNvBG8fAOn2*}4)oE@0yuYWwz<1T)-I3D45Tbe?SM#wxs?W)EUJ8N-#6*@y`u~FH9m`un4f>d=)U;>O1t&rxn_g0Z| zJuP);P~D%rZsJaD@a{uH2B_*%6e7t2T`iAh&2q|Oil+veG{8wfm9{DUogGTMjb(YS z>3v7_Z(OrY&7ueE6{j=Mm=o(}sXjuU+;vON4Jl36b_;En5$w1C4>b7iNM?+rRw})J4-HQ&~Te zdm*-ZD7wQp2=a314yJ@XEdRFtJgh}Mik(=cUo*{;=g%Zs(U%#9vP-oX1{26M#A)Jb zdwxFQb7eWHuu#8ks6dJTqgwb+QFgZ%-aTt6g(B6`PX(kA7y4}AF_P2%ot(Ne=q3@2 zr8DN-yz`~bsBcVWqS<&lh2Mf&yy7$zkxusq5^E2IgnB1!b3#_LhGL^kah^oPxXXpy zil0X}N<|<=jSkUMxUKWCyw*KrLv;~QWVEMU42P-_hDoQZd-&@3rje8dve(s=1~0Bg z!iA1livUdMP#g5kSqwE^Mvm5cI=}GB`cFOjk}?^VAbsd01S)A@gS{kLnfOz&U@GBl z75AcG*YDJlpbCO_v5@}h=brBiX9L=&cw(e0t4_w_7x}^x0qtOSO;WS`qcNy??Sv;X z#Yw}ru(k8{t%4NEmdUWcX|XE;0+t*OzmMjJwGZ&`LoDh8AVh>#y^SNSlv$_yUMni$r&*a6fbwKRux+?3&v(9vt7AFWqUmCSFXG_)N zbYLc#wPUf>qx^s)UwkV4FT7~|c>!*&#bRUn|M?*?v$6bty6%5W1Fq*(!}En~wpy*5 z@VcVz`f$ODb8*rgFzURX?$YZukju23wc7OH?YqFIEX9=DlxLD#-O6sl{ zP`G#cna4SAj%i_(ieBAY{wci*<0@vC?}uEW-V%&5YtBoo29_gc7B9T~o4sYJ2)unq zP;cVUIrEk<5j7hYFb>I-YcH(K$uP)USLgOqvI=-qJynm(Jhh%XV`9|iM}Tl4h`DZ` zB=8K#@?_mo-r|<6nR=C-RInSIhTN$7Nkm&OF-jcG(n}0)I71HK)Kiz}m(a9V9rUz` zChYzF;3<7FNV0DCX_^8-WOiEWb|2BB{qy>-XX2^gRX;IIO}!CfTo`owg0DPY4LWY7 z5(^-E@Y3Oc<`cy;9!E=%2d)T-H+4Z8-WtN2!3`|oV-mM@xGgO|xi^=*Dlfvj*5kKt zM<34|d_`ZA?P-G~P*uu0lM$|tT0X|@KV0IZ%sk@|0h|2~rU{4fOqL-%+mn3Jxv`Z% zsqwvXFU1E_5CZYnZtF}vCpnT}HwcGP#v7nn=J2((@l&2t?LT_20}c{f9AQ7!1}s7WF)-Bh8atop8sQgBt$uXL*YJA%1l<~NY-Zq zqAO7ju>x$2jdb2DaU8u5*jM7u^j*Vm6}X-*7XbDBOJ&qcyxQ%WLlBN>kDZ`4!+5^! zC3L8Ko(ILCB)I86%LXyfcJifUga;@o9ZWyb94O*{h=`fnh=C*Y>f0hGjxjGwC${<9 zAKN9AJ@r6X2u(K?tF3}_H5QNUI1cAp3_Q!%>S;t|4tlWQH4%x%GbQvx`s>!)ib`n1 z$8|#e!`F00gCI7QbPc*p>|rh8^53k!KUr>=2iP&V&1!k9`{O+xIFXT7j{^Q4>hBC~ z*-^nF8;rLlb)efVI}VA)$x1SJ5ouQtj4)AdP7uzqf%UTgM?$jHo~= z?emRn!L{lsX$IYh<(oMDa03>x>q*%j{wP{-Rs7`?Rw+hWfBoS7M;FeHf&WBaX4nl< zaXk%n(gXo&D#g$b8xh)&uFxO02qS!;-6obDJ7&IOG1Jyd|);oCq770?9NUnG0D zr;}IZNYsH>vYc7uAOjJtpY0vUr09SRC7nD{;3pM0M?_ZO8fDcqK?WEr>8C6B;JX?? zK*P4?a^lmhH8Qdg(}bY@!H1U!{rNqo2?*~!AdDG(oRJ$b9d3V2@baw=h(B;snocMjiYI>tPZSh*VI@lP9uXX-5M5DoB#sS|2CjC05_wXN{|lTQ z5EV!Z9lJUdbieYtunz#PobO~u-NkB~0*5o}&&NwI71ZwmA$rY0qg!)1G#*gC$V_y! zHzldQ1e&>_oue5b1C1AIQdJ|`AL4gD0ydJZqy2N38u&dN&Zf1qn@A-)ffr(NW&22# ze;q>y@Y|&&N&olskO-n|&{*QRUJyiotc+Ae86>MMX(`i?hz5YB^JE-cZ3^Br)BRk2 zLBm#0mbPy5pOO}W3wr!7N!On27%IaTJy5_XO-OW_E5->To#KVb?LaF-f`9VL(q}tT zQPe+CRqh2B;F5)7BPoCRxG`6sbdtitIo>h{yLTm!Z6+J(i8J4T{&Rr>_rXX_*eXU% z?)d!qxvA^KdI4bC9muH%yh!y(RsIQ?zUu5$$SaZq_1k+yA{jf$Amd4=lw!@_m>%sk zxb5km{9JZU%Sf!JqHQOt#>U!;M`JR`ErEks<`pn(+vD$8y{Q-&@f zhtFEd%F5t`DAYw*{b=T;8X~2v=in#C2&fqaW#r_cdJ(5azxNb@NZ{EkC+KcL(>vHB zb1nPfz(26OP=5g2+%o$TR-ArH!iTTR1!J^?sN_%eyPVC3Xp$7ay{@oA8T@U)$~8c! zEgQ+qpa9hK4fSkYN$`?8V1WGIZ-Kd{BR{d$QUdx`09MU&l>(vx8r93_`0d?PT+KD9Le zDieDLk4hfVpbtJrsF;iuGW3cm_F&)?@Ec!L&jy&MFYhoDA`V(}(EW>EooVgl3X{I|tByc9>p_KL~J#pnspcFlz-!D1R#f$T1;lzPzaWH?5_JiKbw+(Wq;!5?p|R*gU7r zIE{O-(YC*lqDug@CF8kTZz~OBkF@AEw8xLqJv60(Ycy3V*C7QU!yCu( zW0IPs?#&M1-_=f9@+%j}F+E6V;f>kC{q&9ljoZ3L_=2yIB{W-QS}9_CeLg?R+T6Vb ztebUqZWWK9RRh(A?cWMmHY>MC*R0g1W3V&Y@kKLsIohEYEi9-x?e}D9cWs<~KE2Ew zF}y#Y?dwlqFa77d?D^Qk8zupan9Gvl+BsqXLGl@{B3QfkOjKJ4&;D>Z5jZ?Q{sRgJ z{a5@GLg=?JDVe%8=w?;9!YXlh;(Bp)32IV;mu4J2s^%+Y`#=hsY)qODZ0v^PT!OG` zyydOwlISw16(kC3O5(W9I_7i>mDw6&%i=8fdXc$kII!d$x#78k=R*MPLF|fu!`gPt z^C!5QOIE0e@OG@%z>FL+nbYC!6%5a2>>#vRYK*OFtqf`xRev=q7Q}S#<2F0H=ukt~ z=Czz>tu<&t7aO7*QJh9Vugvf4Uc19B{`mA84Ia)KPtt%8R2Kss%GXVc#ky51@u>xR z`#*g;?ag?Cok>o*1g8N8y>j^;BCEH-`LkE^0kxcRez$3~UA9FA$X;&7@jSfC-zjTI zb*uX$r|y&Ez?%V>^*Joymf^V3QFBDUAq-+9eJgq8@~ES>6lnoDMnI;O!cjC#18IJ8 zUYdffZ1yU{^cod#AxTh>z2NCA%l2XW*yM7-co+>m>JkS8ygh)hHvHX9Y16EaIsUz# z3!Pg{)e0qp?!r)T_x&jtCcRepynz;%V;E~De{tSMnmL~LjS$DsKOh*L{;24p;bN9pv6tyzq3T3P$D16lDv zx|p!Cw2|;Z^1iM%O{@AbsFL8)HcM#ZI;Pjg#A6@Ko$b@ptmygN$BNkHV5N-UAi>A5 zG(*R*3l<~v`iz|Pbw}IA#4`%W;4le*IUnxKu~@nLj~5=1+O%;rmMxJ$KT;eNnuN67;Gccj zVhiXYV-xDaREMF)38ur!sr(z74|l=6-ceT;Uc^Lp1wh!YAb@sqfrlazSRO=%Y&Eu6 z*du`G z9Z_Z64^X&nvSUpWqJxuPAy(Kd3MyO@+fdqFB%XCZ>AnJ;_o+YurAaBrU=nCkVFHEY zkRYluj#jSYa`-Qk^&`{NyZA*bTUC%-_EjnTyaCWr6lN0NewN@2V~i(GJ}2#zgZ=cj zV2?)j((!#E@Q`tbPj}#MSOLi~1_4dbxPATk0X`@GmQOd6K7} zB9Q`ACOuX^jt;lDg?6?u%I}yG>Nv{j1XUcVziqpaFn>?~uHv&)yDEN=5(0-*amKQ#u96K|@;!KGrW;bt&8Pm|2 zsPGiJ0W};e2CV(f>JW`@lHm0ujKDA8Pox094s1y=T0LzjMR6p>DE?18mohTOyIsU> z9Q}Zq+suDS5AN-Y#1iYkPDkrQW8bRev^qYYqB~DY;-8$voDpy|n!Zvz^VtZUDfr zHh@WSGXCZCa!6RmF=fdJVAS(DIsPzzbcAG|F5OiP5ffw%i1-1cE;XOvMR#LmBU0;B z^hIigLtJ-8T!??NI&PmU8@QjfZ3Z*_JWWlDnA5- z%nWeI_Y@g;;d~`tgtB_@<%Vppe*mTaeNmNn`*R$(9L2M6xA!dL0zPA#HdTo^obuV1 znky@RSxoK0wt9po7a)pq1>()*o5GxFRdObQN3SG_-vIc6F zq=*7@Ki?7?CvC(@Xy%ph6P$CrJ~6rdc=6$hrev<8ZdR^fnm~L}84JQV4R(Q46Sg5h(`51QbmnY4fcRH6p_NUP z`NjwpPV*~IFp+rlx*~{ps^vI!-<|3$rqMkcvADhaGWGOK5h{|Nl|ZJqU($_?_6iUj zJ(u!);(PaU)1~S@NZPyd^n60j`|C9h@ttiAxM2TFzZgiPG2A9=-p=~=n_FVERr#gb zM?bR8LF2POZ;3ntS%TTszSy3%;JF{6s>J&<7?`+K^;`LH`RdWVp7be%5L7cSv`RhR z1t)I0Yo(FMXvfTyPI}9Kq{xKJYCq5rNZdb+919v`lYGcpEEWZ&<4HX)>D1L!MGkKV z*1`2w=g86ih&z@GQg%O@b%~wBB+F5mL*VD$&^4cN)69E)gs2Y%b;MPG+n`uTo$Vir zef!5nGI}%On*`HQP&!QgKta8k#G$jll78=5Y^I+*4cW7FNp7H=)*Ey@EKY)GbD&Ka zX>7xqxN&e@LWS)JI&K;bDAx~@tkSLns%~hN2{&c($RrNmOmw9ljXl%S?O(xrWZ=a{$~W@6QTi%#@>8tq0; zVWzO>ysbqs@FTkCsDC|v#7a<4ryPTVCm@GF(jqzX@4Tg|s9$2k5J}Sw=1I{2M%SV` zeARJ*lWQ-+Vc)*3Q6*lI)+uSa;#Mq;bfSU|nX|1;5fCdEX-2Z6cj*=5<$zc$R&jKOA`Juc`h zr`f&*dLLWTR;I7%6uDY*7K!Ad;}W8x^RP%vgRiea027IoVsEk zMxHh(39U0GHfXBbd0M)o?0b6C*m8N3=ZG8DWQa=BiGg#gJ149j<*Cm`afpW9)0rh@ z;*H2rZA{VmqHe;mpic8dso5^36YR4DZGYq?TMeJqSm8)dM3q&hwf0NCuE}P!RJgu9 z+k?em?i~ZsGTMp_q{nOv*u8(hFC3HP3BImxyQ(`f@&S{|8v+$DCpH3^i|X`eX+>iR zKjQ#B({(=4)+c8{Vo#@O8Pw5M?D;M|nC(!T5c_W?Z5aHu=e?8c}dsPZA{X13{0>ooVjCKXZqDz0Lq~Qb!TG>w9 zZuStmN6pHtq^qfkQ;;Rn8MXsrFubz=+5XHM`5$}5fzJ{Wy|n2v+{78P->G0eGthV& zrO#z@{Rzs_Gn6Q%_t2q-{@Z3(%OIZkX{>UaHPD?)cwrEfTO>OPg(wJ*2s?HHgRsel zkvXgQ7VuXJ@58rqhA#CaW=6Fm+~;Ax@=muta<%XFcY9#`4bX^1Z3TUD}hAEQT9ogf_0=j_rz;S z-0(r;LDE%`3UqSw*U1tcYI7gS|rW27^DnG|iY;Kj+Y)^xJqP*v&@pneh1Z-XydLxvM`H2VdqR?%aU zlTm);0D3%at)46$F(|}pQS7zvvCX#ao0eAJMg#Fl#2fkhXMGfK`Nu!~h)1Z+c+2** zj9(HNMB_vcw$}dkceQCx$330!7K`^D$#;mr=u8)AZ@CR>;srrQ-GXT?V`|iB&ly^p zNHyBfbjZ_}q>1c_Yku8E&XHSAzZSo4tH}F>FgXmtcD??^)TJP+)e7rX@kO#k`w+RE zy(5iTaP%m1?==eGiQ*fTMAMjDKn~0Qxn*thyY=g}jI)e~gSE(RUMZy~y)`oh+9QG;uaNYd&j8?$ILu{h@I()dUZyj` z<}6gd{k}K;XdW1MSuywg+225}iZRvOdHSPX$lz=&7?vxbd3ExZfjSGB$7qH?RMT>J z2EwkQPNvhmYRi?9wdgsFoGhIOAwVrLR8!iZ=X@bXH%{ddDqzw-$XZ+gdNS%KdTHiE zhiaTxT!=tTFxQLAxnSI$Q3#=|>8u3Z*Y0d&9t-~^hwY#nXHCKA^NGLKVO@GPE%ZWX z4DTb=^LZ_xe=7g0u16Jw&^x2i+wXinvJjnmF{j=RkNY*k@d@rv zjGue#Mwes z*y@>^Ms~~Dq_>_niusoIPf*z)Bj4z5^LG%&@uFD74Z!4pEku^|o4jeYnQb-Ptn849 zQ>s@Ydd<6vH*A9$` z{cl3X#lk}JUqY6orr@~7g3$T&9fxmJm{IpOWqnPj0=x|qr%A8L9eP0%EjQvoM)ueK zQVQAzCasSaGwUFKeC(A!pYo@t)`c={;gWSBp5?aQ{&PJ#g=Sz<+%hGnl0QH1yUy|U&< zd8vK~wFpAcPf;nKTa#k1md=S7GDCDa8i;6@2QVO;alTfx;eGuSmFskl4=RYMB5)`q zkjFC_Go{^pNo-*Kyz)c1CE( z2EnhIw4VMZbJVWTgMS)TJ7iwXH|_*TVv z=cUep-pQ@g@4Ip$OoKtrWqW?IJSvNPyT`@7#G1M4O33J zxnrVW9ue^bV0%y-?$id<6_-|C%Gw$n4MqsQtXQA?Zw)-YV5BcXwJFZ_;OL+{DS>~% zF`Cot!Tl(~xLN)ap*Pbdf@|=BakDl5i}ZNGxHA(*#5if&mP1IAsEm9zegk}q(0Gq_rO49=VtpqjfHF^ zoV@IuDK~Tw7!X`M|91KxC&FlVX!XR6CdSzTm{}2F%6lTw>e+avPN?ZP2pGyhiu+9w z6qFMZSyYr03Gs9{lmaI>{mzoCM9O-NX@FnR{fg9chjKKnqJ*dd@I#esaYFKiLap8>nq zsdyM+M<=-|!uH76IpH|U;;NeBvRDXEzk+(%zR2=e>x4N=sL_z-!9g2mXdtk93V(Ur z^^y=0I6vEeKEUjU+<;1$nH4|)#o$T$s5le|zrapKoMT|VzsInYz)#~Kijg@9e$n*O zUxoL#j>5tFdV2@vQ~_EjczZcL)G+s=y99xfFbrUO5dq);B0>keyTp4M0>n00IuBVb z;AGk$@E87<2*^zUJX)x*@eM8!4G$RjfFlye;wkZ;V}M4yx36!V z8-~P{Y>g`8AY7b6NxYD#APM^xz=Qoe(XoT?hG4;RX`Y$MfO*Ksp(8PYTxskQ!mR6d zSDNdXI#QHh#Mf6|S~yTAq5VNM(kX`Ia9?ykh0NVC^e`_@e+lo@1Q>pllCr|!d@lb8 z{#vhKhr0;5eQU3g%G-YI4h`^afz8N^yCi~PZ0yG1hj>Ol4Cn!+>|skt*kuzA=0n** zbjA48*c=!}1aA0fZsCWNP_~akJ-}D@!h|76E>NF|1BkIsBS3aph{8d-zX+d?;7G{8 zg2|0}atQlCBf#E^zY$3;e`)_?xIgcqM0>n0B0ze(1;703ddJ~oBwL@~!#>~qL#|GB zQq%F_-_xGASTQjhxTlq*5fCsE;^RPmg-gqU6c(5T0H9wCrXUiZ_TcZ?dW^pX@M!Le zb>CS(%1x)b!L~nakp#DeY&RtKG$KK6Kc)5;jbK?2z9?_M7$3H1zqmub%5J~VUI1>l z;r_t`&(tT+_b(VR{dgup0M={9XZspzT5Qig;MK8=cQ@Ah0mZ2x>{jGxJ z#R?w*g#YZ>1)L}zk!JBhxrKL)VgQOeXzmYlPHYM|Ro(*i~R)nc=VIp?Clx%2+8*Iv)}+7gZ}g&-B;a<-5*iHUgSmrC$JpyOzWlJ zI!Q0M6`b`Pi;B8>=Po>MM+D^zxt~!e_ri?2*-P@bmI%wEU{&c9m8QM4f`79u!dX-vPeb54Pz>N5@ zfK3~5E&h`3LWUC+WizO3@xkULecr_uN3_FTgEWvOmSLJB6WMSfdKjoA~dZN$|K zD)ch>0D;8_bFOi3hY@>UgvaJA_P2V>DD%# z_@89eu-HjvV;C(lbmy8dd{ zj~Go;h;Ehn7%CRzM|bFvbrWCLQG(II=JN`nD&Bnn#XPG@gPe$gk60>DBk$&Tzkxq# z$yfHFk^OdAyGT$`H!to_zY5aHet}LxB#s#^;bgW`vR537b&L+Puw-Q*%-^Iu<*Kq~ z(I2xK%(lCN0csf^j4SRSvo3?zA*4slAY-nSC@iYKV&_ObOk2@wLkzMk=2&m|@!VU< z*WzcReYbd$Mka}Bg`W!GWVj%!_Rg=%W}+4yW-J`Sj@WP+aGN)lB1))az}`-$iM+Y= z8VeC7!nF<9?c)*Jc0B$?*V>_dSG|%$l#sm)91-Q# zpvX8u9L`UJQYwxR+gDoeUbo8k=|KmC-v&8LzAa0PL7(?%-w6QXigOLvZu_%RlT%4> zSj3nkXo1%yUfO7~eBtqH%bUd1#Paz_{=@QzMWrJr=$iGGRw(PVL#Iw~!~4Ns(i|<6 z^l7D@@hd*sRJ%WIig9h@PA$uGyjVt1T{mRpg0L>~(B3&3Q?dq-rCW(#Tjt#PU1x-1 zYdLgm8kY!9kH7(`D8#jIM8`4&IUF@LI!K9m-*blLLq7RXiqwCuWY!!=vPXwp%5mg+ zuM(G*?{_AP`RAF{y=2}8)efM%*e+Fjt}btD*1m|hh7w8nD>Z=25+y<&&i+;uGNw21 z@NFfi`YuXm{JJR?Crk>p;tacsVp6uxLlOw0%{>85bV2~2;$Y#*m{jTf@ab`0o$Eea z`(Za*J5EJBc-3!|&zAHy_EtcwXXjiVF_Jk~cJM)Ji)5E#S5(r{M6xpuKSiJ3n@08y z8*Cqu>S(Fry2GDq7;cwANgX=z2Cb`RwMbjRs1NAi(F#6UPngYt$o90lB$fcj6Xz=m zdKecA8e%{=2dp_XXR0lDAXjl_aBrmugn65M+ILSmBVNzp)7@m+3Q;(}uu%yTXqVkc zQimpbcTesOMcH+Y`2ddJ{A#RW?Dzc0`G=d9kSe+qgzkcFRS(Qsvm_*3@+Vv+hz1{C znk%J$$%r;=GK5z;W?2%5_<*;*Y}-YfsH;zKNG(80J`iYolx5!%z^G@gcypBvycE%B%ol|OHLyqBeD+{w+E$>IvcC)OkDXZHl1o*1!vUo*z2-I;6Vga zLkFw6xU3y+Zs+vshEexy>MY1MX(bfgmBh5_ta;jtUoFO5n-*{|I*Otd#e9M)^Ku+rj=N+$ znHq47A}!5ckoK0dOXa#!_Ps6^49=%9yi)sdS;)Q1Ld+j$?G`D)4U!LORM-s zwVHifl>~o$llyS<0-U!9cakuiO<~h(af`vyi&`6d6#rVz_tM^SS&F>NP0ZbfA01fN zU0@Me=0`Hqr)+jTR<`&1n-;}q?(j~9r=?DNau?i)l*btjUAJye;bmMaCj;}xPaW_B zaAa9f%`Fo8a1Q*-9;PS@CM~6|$>n|QdxfZrlLYSFM2Qtibq#VUEC{?SG%GXiuRZN` zJ7Ur{Qn55joL0on7l#}FjP?@6I0R~YWh|L%(_ADgC7VTN$`C%Ojd2pBC8#4Tq`uFP zTK|aM`SvXLeX7jYS|}3tNE~Q0To7JhFFQG>s@61yEJrp{9gP=MgPLeigO0#ej(oxD zSN|yPXf}D9qIKhgn-_b#xKb4!dDQ=3PTgmkC&W6SuI_Hls4X zkYh5=L`|-SD{X)&RWixfH~8_i6N}o(_Glx{w~tPSw%I^c`i*}$L*2pM>0RQx#d#JQ zXJTP{Up)!cmEvwjA1^JvxAkjwK|Q^!Lwp^*nZLj$A`>HP6L#4m@?mc0-^yXDG;_CC zBnN*TgZkm2gga9$YeT^6XDDMjOU;@f&NT*;u=o=ktg%KA}p#z^)+kiE16Sc636 zgc4{8*rJZv77H3qN(PUIr^iRTm*oHn8Dxd_(*sJ%0^b)oSLuV`MjcfEkFjBu$?>Oz zhqiUWH-^9qis-WYJ8~KD)5epJr+XiQgVxyz+(5BI`_$FN<^~`Pi3owH?DRS&_ZAU- z(-`vM-ZXB1H+}EGE0ni(MOB{zI=DE{A$Ri9xbGrKZU~OjK`r+b9unC>C6f9Ffn(cn zFLJ!^t-H6}UFZIJso08j?x=HbWx!zk15I`yMam2Q@$!*O#I2#}Sq5yw;hm*}B~BhR zbiToJf8;{!8US1mFkVw9t@5m2AuIb>fKbW6FtNh6%V()-GF-%YNz%ZtM-m%UWRzg3 zW+aXA;r&q3;;igVkwT{-}oP=hRJPgMTC~QJx)+7C+<^7y#JKUjnr>rmaF%3s0QYlCsz@ zdY}U>k@&LnA2V%|2@qh_VNchUHQ7}bvm<}d+s_1xJ)n`_7BL#)N{vbGJF4KU9H#Al zUH^TJ=QGFnh9~7ddi6e=xAL8||I}A|v?(Sy=&V>L{GG=Ej|+p`a%3eYEhu_PbKG3_ zu@3Swh9BVE>VQ^bqC~g+gX)B1NsXNM=Bn%@O{?BNtoqXAdk+s^M?g!MXf?>}*EGlc z@qp}wJt(0~t%CKJ%|U3P-0_V3DCEqK0-_+Lp3;57KA%!RuIYEJVM;1>s9K1j2gf~D z;Zhxr_mcz;550ZKD3t#+X{$3bOzeAK`{7N!u47%V8 z_pA!k)jer%nCbi1Z{6)Tjj7GgGZoPU5DMe8nvp0yS}^U6i!_CqJlky{WrKcnDSXN1 z>Mx$%TFj>$J4SJ55652Wo4oL^ENIk?8|CeCJ%W?q1r5F8$jGpis>Gh39Lo`>xK^HN zuL15;l^j3LZBQpFgv2ZK%!;HXACb3D}L@b}Bg zRl3CD?zMh@`~-QnAk=?cNX~Z(i3%DOW6M8~@RqHfDJuRv&k}%;w4^!{3%HBq&{?`0 z8jtd1Di*N!+EUIPb@}ETr*Ri2sc@mDkOJ(U-RG@ZX8oy%h8NF_@{P+Y9h^$fPwt;s z?1I9MCo%h>h35EUOy)T8X297>tq4OuNn$CsI(v{waiGkFm~JjrUbtFg`L$qlHUEb^ zWXI-cv@#U~ra`n_zj%7EXbe94zzMRIr6ef6Rg>=>YCB0jr&;BO7eZs$cfR}l0uE^AUWqG!C3EX`xO&_P>Drfhr zp1R~CMB5IxrUqWa8E1oaX__uCu?moZ@hv4igJy_yrUXBx$d&7WC6+j7hH8#GjP68e zmtugQ@_*TF#`(pYCF{OAhghmR2s`kOC<&iG z_Z&^z`c|BJJ-VH50`nwVpUOd#8Lr#O*H}k8eagSggM(p$eVdNF+Z8#!<$k~&wNar*n3w?z zaOA|{x?^LzdAA3>WBInI411SJ{Ob|oIe-(K(4 z;uIP_K7!uCH^>U=x0zeF=y)Sz83@{L%6${xCF8t+kTn4vZDt)vg*Ro8w%tPN4~vN@X4!(=We#>duP4$y9>s00y#p~`3!l? z($cqu80dagr@`$8(CHhnC$mQhS`lspQFfU)EIQcJ$&e}&%LEhyxBUxphxuZ@wuu8J zA@v%Bj~}V%7@5vtg|QZiCfqXJJF6bV+&}hz`+eN>*syCBY7YTuyn?OdE*hTKc*(vd z=k_1k<9T|&r=Ht+GVtXc8MVp1tE4X;;AT1=+~&INyn2voLSH-Hd0IA2>uCMDaJrz0Y-!!TBZ zCS2r-6Tga4Arb&w+P?9GR3rK%eFRMdA|gcNB<{&uQXsg9Ae4+ZX=u|T%pIDZq2IT z2^}REiz^;UQ8${cgGYqsS#-IAcuUDJ&Vx&ZQ6BEo82_1Ienma8{cA4=2D~g-!nvwo zfWhj(6dc}y4gifYNk+FBvj0<1*hSESt#$NhZ0X8c${u|DB z@Z}LI0_1B3=?Q{m+BP8joJe}9|I~i4P^FT!cU`5CC=~7WoLFII=hii#X0)QsBjFF| zeu;$f<+ZB1M0?HTj9>Rx0jWo47BfsHL0oNWIWurQIv!e<74Pv{CM9uFzpJyuAJCx+ zldEBUb>3DtHhq}+)CjIcVB1@FYXpKTcJ-8OmIk)c&-)AhSx;t=b(7=bACF7SkTuAw zL7G0MXD2kpa#ikj2^>z#xMiiRLjKE-aK~5Yba&K`q%YI3M0f zucwi`%U-?IizHNdJ!vf+sxqq7)ywCQ`3j?B%N1g5s}6QWv8n$Fu-=cO0q8h-jvgak zE@r)viy|F|3z~1KN@JmT2$Jh9aawf+vH+t<#>Sc%*b5P4N|ufxe1blfMBRcicysn@ zt*}>zE172fviWZ8Op6mjuESB9_z7+Ct_-AWXVSH-eef~#?*Iyj z{GU0GA21`bRM(YjR>t(= z9av4l?_Np;aM_C=wdqDWUN58X@y2dRO73;X_hN>TrK+$DQi{l{kY|&>PL}-rI&~SI z7CT09+XrHua2Dp1Z#{M1Y!BTtQ-E41L2nredyo40{ufg^B){L>32sm#xpg|@k$?yH6Y9g5KMUO2-)~Dc+zu)re%H9l(e09YKs! z)xt$NqP~D+QMUZnV&?6%@h;sk32Q_`S#ceY-L++mjD+W3CNm!5 zt3Eh^`I2KqeWs0d+e1$HH2|p!A8z->>^hZypXU8ATT9+wVZXJf%v~mnA&- z1C3BSSwn8K*790GmiG9Mg^V!o@wNT6W=aLUZp4P*}HiegypFnq| zYd&4AOJ1}Vtdxh2@@d)In|#`%A;3P3ZKs}LQ2+X}H4$?m`Fe7*+^F+j#+I9bIlhk$ zlhDk6*{G-GU2)Do7fPI0rn^zu@2D?hjvuR}*^ByiddD_`Ok;TefUpZ1vDDc>j1sEC z?VUd)+H6la21;MI4oEi%%1RSk#jY|js4Luq;ICW@9os-Al-Fqz-y; zsb|&Hl6E{(YQOBziYJItKO1T8JD8-jDIcCAIQD~kH5hIu`n?W|)g*~@UWvP2hQ+#y zDdYV$jc$q>O^7X9Pl9u-Mw!@}`C8)><6Dc`naA{j5sbrVB)}Phc_^%u^nDNp$&#sy zqbSJM;_1n`(b=bM-q~29B(?vqcy_61i3;%_)tf{1AMVOZzDxy9e?@*?p++c8PixF% zoQK;j{`$K*EK5=BLHHpsV42BhR6b=JJO_okwh*Z6gpo1*(0<=VtCz$^ZQfOoh*$>y z-3Ln({o)EJey4GZ;z#ON-;bpZNyYqy@Q&OZuIm23K{L;PAs!kx57+<0Y5yJ!{%djg z$I~z&*f?0(Q)=@;se$NbNM$|UCB|RSo}$-CmzS4Jy^K7F9E&aO?NDLDPB3WvEs*e+ zmkzxfOuR>aU!zam-`ySEHJ*s(7E^7bTRk`j-;m1?$cl_ib10S)38a3a;W-Hb@#4Ftgq!VJUGq)|$+A@R9Yt6Zgz7ey|b+ zD-Z^Le!Y935M10Y0Eq;hTsI&nJ`r;I&|LzZ+%|x283Mx1<*OQP{vAtE(W66NzN)G! zN|Gxk$_Uz31iwP_|^iV0NSk!MT55j@?{;38V{CZ0qXL;mJ7$_>cZ&) z0%m}?NP?bIxo7*UzLItt^t$bvu!ba2ju~{r2cOpG6^KudPzJb>vDr(u%a_>~6GYty z{mRGygq^9S*%?wDCv<9HMIZ>JjJG5;H?>bdeC5fNFhFiAb#2=fABj4$I`Yi9&3q~e zB76`b$?{F3sUFmV&(>+{dF0C;+eK&pIpO<3BI-rVxLKX3f!SX^MWWCJZ)s2 zWcN4LLAI~@d_w=T-BFnIZ#F))8!m8wuk(Z&3;#mDvk`q?vOsbJb7EmSM zEUW<9kpWmE1PMl2RS=*{pcC?_*ebDjht)-|Ik_@6J=li8;pM?;C1>lV`<3()e0%iv zTT+p5bN2v(kx2t2UuO}Bf$u$3Y9JvB01z`EV+V{LH=j5TAR4iKV&8zI%6~%F)_3PE z&Af5HavM_336a1Dz&=BpL9(QMzysvd#0Fd-i7&+0jctS7w$2@7o_vu@a>rZY-`BEV z{(w-83vJsHYXUt>k`-S8)tSrh@Y)96Un(!|Oldtp&-Wsae`103Pw--Z|ES`B5{V!O8i!j_2opZ#YSPfKQ9WjjL8)#X?)Zs6%8f2RTzo`V?5 zf9g1NN1(K@*~Qk><=Gjz<$ZWTs(?N&dZ0Xk=Nc@d(lfMw(tTZO7!|LYHvhFl* znl*fojRf|8@ENXw*;;hSTycidIswNtR}*dIOPf`uBNnzcpO5?PvfXEe*A$3MogXWY zZiihMLI+R3GF&1Pxz!(}qDGX-XW|_Z1P@~CQ zZWTTt)VbK*GyR?w3tF6mK|)eK-)CY+hERKI;{k3C5Qae#F?99Ou84L^z?pP|-b#;9M@xrkd{?M4S6mu2dm=Oixv%_vwug<`^su#ehrm{E6G*1xTnUpH25 zrPfs1Kc(pqY8hb>3VEjEzMBMNVyxeB>UYlG%gh|^By+iDdt<7hh!;LBD^tRL>9J8kLSk9PEBhus z6Z_PLdph{>w+eJma z@p7ddbmC2Ha`?TxO zC5?I^2b{KA50~G{?-~A}bUD%3&dVNG);i95TCLkM6) zh0Sagq2w5Ks+YUsI~T!ZivDBH&?*zk{wyji>AP13Cy)Wo-N1n7z!i-=RDw}D%hUSM z>p$~6OjCZd5@<6nlI&f;4aMU6+$jBbYk9K_>kJFntTHQ~PWg3fH)#{H6y>*srjO%s zWF=CT>I{L-QxhVV_fmfPw=6kWUJ`hr3qHE*pcNUdp5k<{^%(R5UmdBNjF72QXo-_e zMSj7odHA_B-yU{-3diFw>9Skz@gSi!L%a#&6`wYFmE$quXnifTGnx=MWj*bVRE5Jw zGO{2CUNRHecnc|dgI|dAT)h842pR<`XR0fjVTN=};>q|v+N^&+{@CpBE4kAuwqi(S6*l=l=={CL z_2bI}C`h{|kxHlDM|wZ0xZ?skd%JSHyx0vxTbQM*`P-72b)~rL*c$;sz*}kvs&y6J z)L%Bms9@o#xbcHlsL~C2U<094n=+;%;x3X@RuY#RYWK1QI2_+^4*>mP+rH`dCnS$4De?q*n9SNA>WiDZ)}uWk*HFTSc?3NEY-CDvUSVU02r(^P^0Z zY@kve*C8fc-FZFqG0cOP_fKHnOUlrtz>KTZPsVO%g)EQwX<5Ko6E|WZpL)`kckrA} zhbs;yL`@jP1{Murc4^2#vIhUwhg(~SvcM)Wga_he@H^6!k?#BE$l0zFoS>2<=;rl{ ztfN5uz;e#VTd0dW%5A0a@q?NmdG*&&R5|?lC_FV9MmN9{bFo3y6dO0RkCVC8E3Bn1 zy8`C>|?nNKm9TyBlb>Md`A9B_B5Xg)VFjkBDV*@l}rRobk<7C3`s@;Q|75rrm zy3R|KZ#q0_oTc1nP)}gNxO&mo`LKh^?ODiIgnR9ltXm0+@G?KFM}(_*IE;RBw)ufV z_iNMs#r=mGr8U^za5~ynTPpSIfq;)ESc|*J z1wGG+E7b(PaknoS{m?8#Xx=?^Qj(mvrIHvBCYxq!!`1l_d2m?Kv#yiMgV_Olt``(Q+Gy_F4dT60d&q?-ZCNvL(P}gyXxDvSCXVrjCi$x3n$sry{0W87;x^VIYm(6a(ar6Ov?^ZNAECW z!VL&_VDau3yzE#iW5%{3wlc_Ct5xRuYjo0(=>Co&?43I{J_w$`gk<-HHIBslTOfTD zCD!Oba4cNKHHkE=G1|ft^1#|A8mhf0>J&ny&+BxW;m|>3jp_CUeyc}7HwN}cG+v8@ zboAIlY4&p0X{5M39o^(1ADS;=IG+9sRUJ6m6e*x8kFlOo#aT0Ms1cB`qPuIx!iotX zbCh`BAJDy%TD7deD^5ONiItGgO@=s!_ITJ)C*0aZs&CRa7uthr3X!pd*oj&EY5uH1IbP0VFn%GBc3CXt@~YM|JNML|S$zwt~nJSMVrPVR_T-8bzK z&#og%z`v0LQ{hw8@ja52TllHndy_3dAPcR3T=TqarU(98w6hQBJ>cmVIPT1FvE^*vKUUov-lU;^514(#|@yk0na`h07KyPD*hjOxCN@`Y$tHW4X6QLe2hGdZc9! zrkK%H5zFKZys{y2ohx0+$S)}oJBV8Suxh+$nB6m!isk;rlB`{{yCtt$f zBg0^Xlc=3Anl8P^12ckTsno=IPdF{puHGsvzjz*5^O%gYm)|{}0{(C^hWTBBj#(f# zgVTbrE_M+;73}ieyJUrTS{r4#PC2ZSNQE4)I3r6AJ7^s`ZGG3ycTR6czbJ4YoS}B-p~>R; z^cK1-un8#arGmEYO%zY}7B|4Tq5OM{o}{3uLcbUBB+P<*^HJoX@%d?TOY>Wa4qW>F zMsRlylW`;0daW(H8>>oonj{zD7t*`8u=HV5cP?z>0^p+D?ucoo6F1htF0y zeTIiihD^jI+l2~XOZYW9MFqmf5#A8geVpq`eG}B2Vj}eNkM4bJw4x~O&77A7 zZlLRLqgqN{LBNMb{zbZ8quR>~{DUu|E^b}N<$L7rYmFID{$4_)O!mB>_c9NGaT9>l zr#6yV^?j`;OK)c9Xp)emh}ryIw5#0b(2Y*H!iJXDGJxBH8nm`{kF{+VWm})r2mG>K z`8{S8S}b`~TftaQ{PKi+4x0j*^A?)SWZ zwXXe4^!_n1o=R==&O6Kl!NI3WFGe>^zZj?1{G?K}gcNSaA371=$iOZnTus?X^DM?~ z@Az&?DZOC9X|7O{P5}dfXrjR@7C|d3N;vwo2?o5weJr)1C%o{!q&+?X{}}aOod0H& zMO*R!?21nOIl0C7*XwG{+SkRhjf@!iuuqK!`ClqBFIDn_WPI>4ga&wYPxH83j8Fy! zor$uG>2ncFc{0`cl%nD&tI~xkp8OywzBQfZGBbA+frcwW#W3()kuFFk!MOa5$GLF_ z`uD+~LK*RDCi6xeBY;l#{}1O2iBcACKY*_lt=69=y^W8w&<4M z^52fsK??+rjukMT-a^l}O4;mB=&#w}96?2VAKqf`57L><`E00II}))1sQbQ{YC|MI z@=rEF0dO-j4WFgO*ubLEo+@SVl4y#I)AQpG=qI2VG=hvT7G<|2|qg3eeJ>T%-tP_-4E zzWARD%##jk%^&b}qp&aWtajG-VLRzrBYsU>!+cr!n8~H4j<>G9vk%DVJLJB{xI?r9 zMr|i8JC>s*T2k1dqY67eW6vX*4}NhGTWvRbY$yAmba==>{+Y6gSFV zXoL3+C4J}b%bnM6&_{oF6 z9I~>y6{@yf*(6GHImx2G-3Z@>)R=Lq_IPWqmgEJZCsEsqea4)_He1n_VTlcBPUaIO zdTU+Io2d*xmi9==4nFg-Hj`olrgbnNc9oBz7+s)Be_{+`+L`l?hhN%nEEoEZ37*+P z{Ke=XD?>j!n}3~e4c+P)foBK!@17b!gu>#0F!zX$|Uz?@d)SX|Uazw^@vsE>`nry~X_--H7@Q^O($lD))9;c+6Al}I9g4zepKCSQZ|OCQ$})N2KlE0b$F*}6|-TpDtsaxh-g3H0ie$84vqaoAa@O6f)K zrcZ#t=gpaS(y;g5kN)49pqIjirgDJD@*(K1I?HSLX+6Z`Qj+ z3@#5EwBZyfJ-3k$xq?Mo9^3)9Zvz61GJQ{JPp6-3PJ-G6au_9GhPKxtyRL{%y;8vW z3HYH8${IWl<{^8L(pf#SMH-m?O%f&>?x^)}hU577_ZHy#Fx{gp)=?Y#f{MMzQ4wOA0L&oqW1 zzsbiaMhCIO8snD5dm(}}BbzJE_*~b4EOh)oMeZ0<=(Kr08U>c@Ku0n0iDcqOEd@OX zmHk$;6=m*`JcAC)^#?$mEo6Ds^&cim`*7Gd%Wm_FWo#8Adt%m+oqr^9^Q)+KYW$+C_1SsCv5;A`%uySC zh)@--X5F+!^D!{={bWYlPI#gmY`bMi<2)L5lAwhf45)0?2*?E{m>c_=KaHM_zv`0GOv@xdHi9A$J&n9auj0} zlp%Ov%k48VS@Ixc1Ijf2^Ym#VpCsnlSTe5TvtGOoB05uAA)Dv(`XzHQpBOa%Zdn#} zdlT|aunrLP1+FoVzy-ptXe_AK7?*LAtlL!gQAWCA69L{o05t~F5p8MJXG};cTfxZ- zL(*lU$KrF*W}%;F$?Sk>Qo(&v7CdD`P{iiqpGzCke!dTo>KF7_7Xv7mE!wP&eG@FS zJq`7k0Y`?--pG9ZfTewi8It`3tC9Gkk9S5)Sp;DI3R3ue`smAxx#A`GliIZfW?Iw7 z)P9nivsOMj!tXaRjibWGeJs#*if+twoEPlv9f^%wRYWJ2V-dU<1Xl>BVV&tWg#Lx) zyvcjFeg1Z0-x3mDPDNY5G-qQpXxKnAH7xkTK!+s5v!a$V)_cr8F|!}yv+#1j;t&UW z?gDrv$@|^p38TsKt!Ytw^$Lo^@64!n)jPtz-tAVU{nIt4fZYH2qCJrSfo9$tIkI%1 z-BYaTYKV-eiz@Du!Q;mW@QHf5f<)-Vc58IS3Lg=CV{$%eWOco|$*Cd**Y2VEh@Hvz zQBm!b{-6A%L?6Ez!Tt=gVb;!u{W{Q#<>Cw6_h%d5kA-}I{@;o`ve9UmF&|PPd(m~OKE=(M*wonoG?QbYm%W;1+(}y7 z*M@f2ZeRFE&5$#Ee2XfREq*jZ5L28i`tLtR6@`@8$m0vSG@PPq2WU}?%0=3brMG|` z9s2v7BGd`HOr@DSUmJbh>bI9gC#t)l@7tDiv70nMT3*+#eYu>sl~A3YH6Xzg1LE$? zZ=F(arbXqayKn|72nP0x&^s^Q9&?fj=pAc3wlZF}Lb2z(d;M6^QVUHUeE9(nV#9ht zc!k3)@(Q3IFBpfXWZgz%cq8Dp)MVfsjl%X6C4WbsfA}&odj$`?nB~~-Sa2xH!gtuS zP$9E_y+e^>lFctI8I%QSfjH3>r^GnR4g!88vrP8>N`kNFf68*YN0$E1^>l-Q5_97+ zl|@}0`!5^(lN)u@#qiHAMF`)zXbNj(aJ^3MX*gbx1YrV?r_#!mi2cG!`haBeCz>nA zrj^cAzpGF}<~rI0UM30OpEw*XvgV_lp|IwpBQ)R*_E;>lW)yUv(Z*cVygEFvr?cU& zAY%96h3G|q&Go#It@cguhjxq-3wpZeH~E^}(_qupzFZIr=+Q7D*w8L;Yl8LTMg~oF z)t?CzYL}2{aLCy{oCh)UJ@71bR`^}rn|JI7EGXE*oyaXOb+Yv$Y4L2rLQD_rV0)ZF zPG1+?s1X$dse;a!%;ZL7hq`nzria>QQzH-(^Y&DdsI&VZ&u*KMxnckD$4QZqSfVET z9t72&o6@%{9lCs^PMf-|)!oSU^(;t0U6#ip9p! z4#LB&MjBR*<1u)$lj($JM-9A-bbu8Y(&eHa@kd-MS4gD&@?i{j4Uxay+ef=+FWg;* zy7Fl&fUf=Jeo!5QoA+9*s*W`@%TT+RvMQF2fFg4}dEdiOxW^hB^Lj6Cav-f!o6i9m zRyF>h#8Q#tG{I!cpM4zZGsy0`d# zm$nPXQI-_nW9~k2b2in`DcY;=$I}KRetaPnD)+fDaqIr)p>D%@PFFWiSE0GgOxPh+}7KtMzA8L0O0E3&s;3vJpH9mbwvq*z2$< zjusiQHh_uG`PT9)xWC16A-5;BQy*I2f;~B6Ve?vuF)z&Jdo_<7n}pUPTv`^_wWGr5~rR}xL6KckD?aK$d=mfh~JjL5M@lu*9*aX!MJeVR+9QMZekkL;T1H` zpzB}9pk$30XXm5{9{mN>xyJ2MI^t93<>Fd-M>k69NDo*SC&VLAtRfvnG5r>jnTy^( zbfuu#vvGL{#$dRU0FTuNm~ek7k>s6qsCJV24dfYnG9*M%fMS$?+{Wmsvw-8#h8M?H zpW>*y1Knh09f$2mz6R}^zM2*PzD3f;jH z@3Qo+HIaGk^~qMx(D+yhMO6SSc{8ki<1=e>BeTZtcqfVg(t|!YjTUMBS^5rUMfOWk zn@Y9u$8zREqGOR6J7eM#4vmsX_$4^jd`=7TV}`1-ZDy-_5qt-+ifl(uvx|9aU*Nd) z*#%2b)k|pPh&Ww0L_aHrdu5xDUnqJk5iDTJubaX+T_#)JD@zD3D>|E0M#Q*T47dof z3tN)4;k(=_IcB4gU~6=;zBC5@!E-;-m&L>sIqD{I@SGF+8|%n7@rI~bG)jniwQ`~= zV5sWewL z&OWjIXf26D*D68ccN{7bd^SMF5W^=|Zfrf?|- z>JiA2Z;Y-Xjrld|v?aotb6;1g@U{*F#!P)#q?l(i-__v*LWiQD-B`7D08CBT#Eet< zv9oh7uD8Z&I=|_S;9r10@k}C~_##~|%OQy#1MPW9Xesf0aio&cQV5-R@Pnq1vi)gN zq5K~PSN(543oS-fnFW93&l=kYt?^|V`@4p8V~SQpa)~7*uW6CNbBdc9w+3B-$&Ob- z)nASi*LbH^Emq6Z$(}IJfee0xf?v#6JRivICc$6N!Z-~=pF%VK=!wsXx-9y2dvGocDrZKL0;a*KE3>B7)4Hu9oW`0nYNr!n4=>CXR#}0{ zj}_CRbE$QeE#|Es&iINGrEP=T&PeFalAFaHR><+l7~33c0Ow_MfTS)TIWZj%)<}g! zh#q{rUg^H`vq2KuneLZHN^5w8prLkXt1q8nN(n8;{g;+29`3WgHMoBbL0!`vWYvE^ z%E9pHeoQ@t%O07@ooGnNvX73HU4r@jcQf*4yEf;3o#1D1NtGc%XZ@jF&4c^E*x(P{ zJaHQ5FX=4`($+(0e}GFIo(_G+tN64(TVGgDP1n=U)gZ*j3F}jiRs5fox(6W{OgGE7 z1ccB^#*OAhrY4LNsk~jBlOcb$3FJFKDagFP#a_uCo&@cBcUGR5SH^<|eW~GFnp8sR z4IS&RB?OD;1(x{C1Bf^1>TC|)r7gCIT58f}XlWeBY+>qr1A(U#>cs(ml+u9d<@9~> zZmwjaXy)4|%h#`9N$~_uMf(AI-i*@cWn{)wPAfLXIVbkCmTaw7y>nvw4=>56F$y|S z>O{6e=Njj~BKFepZ$Za=-OYi;_lBZNs~R#qG@KpH2iPOze5y!~H)@*kS00VR_7b8g z19Ip0k5rBbd%)YkEH}I;&ETTXx!7JFTZ9#qzgz{T(ht55NK|!nxNa9St$SiLoWkQ) zK8?0RpU%g6eR%j3gH`852N9O+F24{BM5$f1CxwM4g7Ihnpz#E?IxN16kCVYG^vjNi zW#wZxG_F|RCzf7N?Q-CmMJwVXMv}xNUP9KYA6mujGJv?pUmCNV4&W1*i`tW?*tnH_ zYPXoRR;l3raL(7HUV*dPL2U~I|};3 z_DcosRRG!dVrdT>l7)!Wje2P_fRi7W7{ihsADca&Yl#Ai%!bOjq?`3xI)_o;N`f7G zmu|y853822r$sFPab2sn>!3aLW~k%s72Jvn`L%?P%7eiyeJNPeun3GU1WmBYjwNR( zzk7Clz?R`5J-;#R+FLu|c~46S+m*1YB^o)<1~&QLhH-SJ-c8p&B@hln7i)yjiF%ez zO@fP+e}BL8>wilh(ZlAY3x|8UOX)*DpLUcFEtrV!@1&;5>uN317$reH&pP{!#A`9L zv2N#PkHXl8tnBWstx;+}Uq0g|h8{hjJABH&r4wT52V6GoWaVb`p#Oj*IIqaJLJ<8f zfpV?%@B*>vm^+xg4582X)MOSZ%nbF6BAG0+Hb^1EaL@cm?4k$ouAa3N4QSl0hS-pR7qT^n@rf>I!J#JsOZ?M zrZcz*=beC0xQ=xZ&^L}f`>MTk*cJCAaQ!9GHEp9$c$_>v-RdIVqk0x9(rm!Nr3(5@^2{No z_BhYRH@)ac-<9K3fa9xwrxCI+fc^lj*Fz00sg#^#z#yiu4tre;w>TfL!i3;O=f{Qp z<)ZA&dnZ>f`L`sN^&FD&fi&Mu<$FM6?5D%>)v@kb6D!9*xut~?4*u*HL4odK&e5i= zX4rwia71y4bmcMCYd{h7N%E41-$E-r^qE`CgE0ABK>G*tb)E3P+u)-PfF2RNOXWT1 zt`!sVjz8px&p0%|TB}v66!^oMWHlyTH163wW6%=a5o*ikIHUs?r6P|{c1>{dZZW@VW}4{A zsNUCb9Z1=w4a3CT;n{YfgmG~UJ%oiTG&3HS=X;naY%ri+o{@1eKMqQ(fZa>C_Rv`E zLhUyG)>_sLEw)DDFk}jfA9jMVT^bxetF2q~iLppjS@oJ%1?(8iSeEj%h}Y+Y>Lqe; zv>3<-Jj^xI7J+Vx6@#04d`qottLOyR{8O_J*4NGD1_ON|5u$vkb;ih}Hp2!~` z4&(Gww-41;1%i870NYY=)+Pec$at$T5|r+lh+@}<9)1TK>df5Q_G9k3b_y|p0DJQU zxm;pXXtoO0L7=6~xU&(V_liQ-sv@Wf+@lb?uKz4N6sMHUahzRN8~3KufrqJ|Lswn* zCmy;~=c72we{v*Bs=lYM&0Ez~GY z(!jvg`quRjU z`O&Ktgb`P_F-W9g@Ble(>eydn&5Eem}9zw%0cXvRvJB-HmrqzEb9 z?*o?iNg#tA9VA4MqR6euiR1t&_c?!*2gh0B_5DiE=H{8lFM@i-p(t^iPa}CrC_eIS zp0BCnrw=;`L@?RIvE#2-WC(`~hKl8OWF+R7JZR{OP_IRg^q(taDk$9R&*|Dxvy_&B zl<&_IB060R&{jR{gYm`RhkweNZs*j#&dTl_%=hILX2+EI<0RL*LySd|Jj4=p`&T#v ztvv&gj)!#@Jwe^vg0Z1s2 zPgX0dse$M33%ssD?&!=~CRA6U#(4&Kg4Xqgi{Z59u(5~q>=53o%aWq}NXUI~3BPTv zj1E1ge@*QoF2;%HjZu#1!|l`2++}O9Gxqsfkux%5KXE(lrw>=~rhPup1~(#lMtN0X z99;K8{*fYVyic>}J@#A$DVWCkC9y>-YK%XL3z~z_)XLf9a-_~M+tUxp0cxpS(>LJ zG(Q}Og@v7+n}a>ALlK(be@`2V(6wJUSrC{dt({$5N!d9${u8DkWns59f=rzhu-*Cm_BOVIvfKBPL#m? zK{STov;cgZy#%g!fOODPZb;)20tPcic{j5B`qPs=StN$5QqsA1H+p$sgdT*u(P}FxUoAiceP-QluuI4 zc4v?9Q~+rvDij0Q7$6#^s0aI-OoVMx5es5nqfK#VXH+4JA?snC#} zYw@m(nCg8sUDs!Yp*Kt~Wj}nd=06M+ycY#dgLz|&3SxQ_P>)PFAMbXuC4KHhMC<@O zJ^nua#UjuaT(tI(_X&M!>Gwy_PFpJcPB8d+PK*QY_BHD(HptxamLyXO3_X4GO;_ERw@%~ls`$|LOTRSl&lf#+Ny7gbi znl|`1d#U{EJwd|Z%xX=;vwR3jS)mYDE)3#B{+QWEulyya$b1x-Kcr&tUNw|$CNd{JlzbaM?tB7;fJ*&WJNYu%J$eQ3MFxDq@LZ)>X zjOZ={9C~>cO08vkO3}{n!Du{a$N4$AM@x?hOT>(UZi6#M44=C(6r61Rf<0tUq^0voLf6 z(OTLh*q)X<>0FeEBpCC-(p!;Sa$`*^(cjqIPSF1Bs=|p_1sLFuf6V5Nwwh!@mx7JW zMa0U$(d7;9fH4^Ol0>_UNr>$ulSPxijV00%FD`sUctR+xcS7snr5M6gUvVJ6+WkXS zgpijs2T9!qH+fZ7qB;XAZ-_#k5%U5WM0$$JnrSpZQ)^gh_O8>{P_+Dzj)=939VJ5Ie@ zDYPw-{2HUZv{R>T;;dvr6*}ePm^|(G$LgcGy4XsiLu=O}p*V}{6i}jlCGD4G0Cd4$ z;x+gd8hL;qS~SThMbw|$NU>Il`Ny7lR+i$-b(_3j$@+xm;IquMWEi6a&mhiefa&;b zo;*7KDC@r;8a_e4hKi^j<<3`Nz}EJha|%Hz%xruk?KV!#k1@wNk7_<9f6Wl_lf{14 z&guFsBe)M)0{I(02Xb6rJWfU^(59@7Vww5VXuH;790ywV_b-N@pE%7Fg_FG#Deu%~ ze94`TL0GpsDx{XY=m<0nlrHvI+SQuAqjw20dl7JQzp*~LvRDY3VCWUW&1XF5UIea` zBJok)iB(+iU@O=7-?v&EFMV>`5LXmvGgOg0apV7@t{rD)l*mz|uZD{-2!v$p{5pu= zY^{#Su%#WueJhp5C1LxC$wor&$4JCJ@yuZ$Lv;p4ONmgJHU6BdOJsc4fl_5CHZ4fA zJV-d1l1%8Zyk@@)`K}vglZ&Le3=-81wObel@uDya(gZR7oC2ln$2{_oKAbJ(VWcjs{HvxBVy8F*Q9&IQ3_l%!!-;s8B*0G+`=qPdMyxiM%S> zDzY!IX^ez4q?_Ey^`2e(BNZq9`OkwcZYmUWpw{tM-f7~z5z&Qqz+JG4!|Gw>Ye<9I zZv0tSM9$>T&|*Wq0Uo2dMe$y*tc4~o5V8g#)+^`MvvSwpnCE+y`I!8CBZmbkV@Ie?rwVXR$6rJ zF}IxbaxMI>MLhELNuGH0;2QTyw5yQhbkFw5r|SM__u82P5E_;R5j^Sm6aV9;91J^C zP3}E4A9=Y^4ql^rkumS3WDN~#P?ki`cRUBSK0Q|G5A{D)mhW!YMCgw&U+WPJmb!Oe z-4$#Yz1_1p@(UjKP9HA|V7*=38xWp7IQj}3s>CC8K^H<6pq{kfk!a%dSYkOp@Mmfi zNJ!Lvtg;aVEL)15b;k#il=^=MOe~=ATHw0g6ASp=pFuNoxlNhuF?mM1`HJ&8xTPLx~I^&3y$ zbaJ}q&lVR!_qb2E`1>1Z9wemjc>A1k_vj?sKb8OkDJDg+eZYS9>OO0+Gf5GXZox(wI0KK(s?OV^!N-_ z!sq^ui1)4S{vl>A)m`?LdeZ1O&mwiU4=B?>1DdYf=jsN}`z^~aq9a(TIVFTEd4<-2 zgdezhPCHOO-+ky>wW$BsD^LBseAKsq*!2yl>pN4g2`o5r<$TgLv1g|?0{?a5(ajo- zlk4jZoU8%)@O0@;aItUDmI(p(_sv|?m0n+iunmSU&;E;Y$433^(qsLyvSo?g z>*LXIHydw&(Onv~vBv&%=HgrOKgfD~HeGCkg;IXjFY>$PB-%SO+Eddfr|vlRaAe># zW*_^n%rA{e2Vp4^^sC=WVLMB{BJKOLdrPJM0X3+*nO7zKPgz}J%Q~LT$Lm$G#c^*hM9nUW68?Wc-7 za|xY$_PP(lDD9)?grk}DNnM?tJLf<>SKMIiA)}T{6XkOIzi^0w^TX-!(7H1R1jF9< ztL_<7n~SF_g#({1fupzf(pH$|*?t|G)BY%m2dOakKx=UUAAP9yusutdK3AE=tTD3a5>V^`bpJ5A+;})!|;cM|727yel97MG8Rvov<-V0X}8^dARKl=@isc?L(3}8 z=02d`{J9LOI>^e$EAEj80!vl~+m(AjE|WkZ-&nW;8tYBagp%o9^+&L)E7!xc4sP{< zG=#AC;&A3`ak{iMCTK2pG77B7z#dT;6lUJW8_q~Q%Y-8RA*Q-r5m}6)uOeG)PS?a? zsd5C*rP4C!R>j&9S2)kz@s|*i5iogfqtKIP^VdJJGG62H&F6=ZVG?kP ZNGp`~%>bGhk%xze3xSeSLP-+gzW{fMDIx#> delta 34940 zcmZsiLv$t#(4}MBwr$(CZQFih+qTuQZM$RJcGAgwbIw0Ao7vT-wsouSeQG5TBdQxc zkra%Rn}aALi4lwvP^TrEa>Rkq_x49=R=PeK{ef6{^SG%uM_OG$y3E!!GYfR9c&oat zES^ff;%w~JVruB}OKr(vU7ul#86VgKLQ%EdxgJ$IkD%+`h}fY)IFpIUJ9bTaOD-Ok-% z$@gk&=X7~kF>1lvLM_d%Z0>UVUb;VixCOUj5E<5u)o41Ef&8M4U0dBKgoZ^QcK5!( zW5ju$3mS4)u>^OMA#(3fMZ7Gfj!C-?&Gi>(6p}M9^WVR66l+2EIDAeLd*5BC9}yE? zgc_LL*ZB);z$2+6$|){RrrPOHL%IqX$vD1Lg+B;rcC}oaj-@yDo8YH&LpO8Nne1!b zz&}~~kRg}0cgGx=vIgfOx6hS;-3gogjrjf!ipZmdVP^Hs0UNiV2DaA+-$-8%|1)hn5@W`WN4}d@5G;!DE6kMPeU8%+LHe(=&qYZv1pM+b@k zML^ASTIt&`t14l_Oe^W-Q@A7rzZMo3(>paCz8C9-{0g=-c1yCm&+jWZjLF`*M?Ckd z2Twd70Pm{=*RI`FmYuYXZsz&)f<>k(wf}f$$Js{j2|k6eA_)?q{#r4za3XB$ZUQcT z(Mba4fr0$WO`xbiJc-+C@XqJ4T3R3Dp^6Hkl*(Jg3_mDnAFoxl#wjl|X2%Jg+&GcT`{wayewP=TI1MGqfHdW@nOd?+8fPmsHu zuU&tb&7fvELBx7L>2A;0*X(hUxy^3vbD6i?-n&BIDRW|w_D@8*wQck+-tjlD%#e5} zpwrk%(3hgAG|)bKtkz)L3nmnoKC-2Gz`%1COH!Z%D#U{#)*rJ>V63v7x$1)%)5q66 z0t(ILA12rfZ#04U68DVQrxVm**&lYYp)~TWm5zxe_Izr8&-95<+zc?`j@7^Rnz221 zkQi=u*oJve1VuEqlSMMN`h<|XxA>$V0A7=<2T9qRo|+v)>+-%;xgDOMx2LtyZB{NA zqT=gMfLrruaICY1FieLSM7(0`z}yMzf(pQf={16w0fj~GEXE34{me09x-hOA?t zc4ofVcokFviBYna_1eDYig<;gnb>$|TKyw0@MF}Tmwt13;i*sp$}rr!3LUnU03v2c z?H|3|(I`z z7Kj^z3rdy&-+gKwH=sc}B7IEuf;`-u;=WZzuvCTv+be6c$1N!ml)>0c1cuVZd3&ly zqLw@W@Od_sDZ?vP|GKf=jkCowz!5*hQ|Mpzx7_pAx;>qGjJA;*rHpFXK8&46`p}HT zB`7-lNE@y~(J9K!a6SGGCC*u_1Idry?~ie(90Bv$3tm0(g({kFLu0yhUZE?S_xaL3 zl3NPJVpf)}y0D$6Am8@C0Lpz2HuoqE^k>ZT3h{6YnvJ|$0l%pfh!`OWK=~z&H+(H6 zRI<@Tis|Fk4x{JWN~9q^R}2cf9Es_Mx~+QK9GqM^E3>Qq8_8fFkbQY-PZX_#QtC8w&^gyNcREr4+T@#3^6%^%~8)dwh0Tpg4j+1m7YxYD5U)!$jsC&73D~lACVu zW$toAHF(8A^fD8Tc+`U<02tqy`}vK5rJZ@rxnAh#S}XhHM76XX&69UppS{j-$|1A( z0UIxP><_i?GJ=h(1Eh6F1Bap}5M^|*&Pe}Q4&Aie8P1G4h0T-ay$3RRQ&03-qOI5P zkt}$Jw1o&4I!G@V0osEAaYZH#+rHE2+3K6z{*WY}2OfQewZjKLfK@NlYs%9w$D9^s zKQG_?z4EhP2V%!M9n*`idIs(A4$C6FRHkRCen=^O%~&g_p<((hRgs2Iedz3~wKRB6 z=l4%8i43yH*ROM$_R1lH3xC;)mf<$}iep$sz!5_pTX~-E$>7=zIdZ3ji~7*F%4Bxd z0ZDYXCC;pQLtGLRz$Wd<6}-mO*Twc#vv`QNY~&?m?AM?h6O5>4m6QG6)ZqB2=q6ut zbcnZI#Ju--Kv&_wKXra6Rf`vgibjmxmHLyj?3CtqyEy_TSf?81#QvDwp;E?X&W|h% zlCCfPIyr)Xr^T+#ncuD^vnM%unBuNt8Mdt1^TEkyz{Ru>(M1U9FL1{~SXaL4YBD4`7#BO&|0rY`mVUw!+r2+P+?}yB`29PJYkL_u!c8jjzhMnJF3R!ZP$HW` zF0CDJIPb@0uj=P3RjFc^Fn;ur@7&+n>;2J7!zmLr#ogQ48&QR}yCHv2yU@11eaq2r z{`S(C)85GtZAZ|>wE9oOT;6Dcfz7nCg6W~De9_!Lv%PC3{~o{^OX$^HbGE?g^iKMR z5CUu3j@#Go8)hw_XyX-8&W-@<;Eri*V_D#NYtIp|J|SOU+t6mDv9>lO@6;T`z4wib zDGt$sE4Ds7Ds*)6)}?hJ#H%a~SsHch8S7d`NnP3s8%?C)Qr5%tH@m2vpUH08ZWl7& zPggO4?qwp-(-&ZbiZ($zD(dTXJp^n9Hqx2D6*Pgi@efI{7dY6Ii$KXVOnU-z!`J-! zh-)8R0Jpr$^q#n3#QV4fZBE}==k3PL3;2A_{AT0`t`^xmGopXf+9GA((%Eba{;kJA zVxcDiA_Cn|r=7o1+ZvGI3Au?Ns}8VAX=zU^}!=sUDt;(l&SnP1sowEUe4aSu1Wo?1?`TVA`X1 zi3}u0=}JLPI)wRt*Pt${( zS{Ma6a2GP!?KakI?ZEEhtWQGfiAze{m%T#K$Jg>NfH*@0rUAj(_)>7h@}i&$$?aLZ zFkJ9pDu0ZQP#*!`a;;`wC-x#yAg6?F2)$c@YXeYFfESq4Dr3!gd|%)8KATUK8$&}BKxWSrw-ML<6$4$MnyTL!BZ`aXM_f$t$6R z!WSx`&=Q^IUqXNhHv=&BgGsbZIr7RsiRBDaXwlQCXe7s)RG6Ro%V1)VaVV5&?*>%m zlKwT#`oCJ_blU{=^a1sPAgOiVbFukmmjDVBr&9+Wid|Hrt4FSixX^W|Diu0W%+c{( zapE(F&BlQJW^q#av;$2G5cTvjI);Qc>$^)-FXohxNhVCQR_F z3p8)qw|Z7K6w#msgRzia*^F{e77Vt7gWWx#m8#MnK41bH|WA%Hx`j!BZZ~|c3 zdK;$f+_Z(4)$Fr}X9+onuxhZ6Ok{Lr)WhyuI98)fHoQMx3pw`SIR%Fui}Dypo?tKc z$Z*=jB8FfX;axww6vHY^cz)S=;xJCprq{8sN|*ur4aYMatM1_{nFE!j$I_8E6P-MF z6`CF9s=AZ;wf7<#l;vNF&t_?~n1EER0D{c`WAD?4YFR10(=?~izv^9GBLk6!NV~Gu zD%W1hUadrVYK>kV4z-w5o$hn6sWt;VBlPhFXBbNfJTZA@?Pz6Rbp2seb%qbR>({dH zUA5I<8uK*1d5@Hu(0>$?ITCFbGXxq8TlryBG#XvQq=ydb?da>6&VG2UZ2?rBqf^w< zmeOg+*Hw9Md?hXceEV+>7sIM@LU9>kpT9PrX|;CDoyHOANh_4F4n1A zEUzK^{C+RUu{9_V#RMTexTH@6ozGEZqk^CpzO|VLw2Ltgm~u!PMv^q~Q!!a-1_;D6 z3t}I0_sgZ(?U(q!KtotE_0qL z6nQm2hQC#PyMX1Tv>ql=InM+_i-=#G1LlR0JuFLF<3~l^&2r{EF^XN|QWoA%22b%& zE5HU9HmpIM&=iXn6cCv3f~C-;`{Sp0`4r~~irIRKdp*)nMiri`5tng`th5{ug0fL;{dWZR? z`OK*l^P571wzq&-goxTb(_Hiz%xvNlyon1<;X-XXr3Pbr6a(|?dGy|OIca^9 z z&C=Sj!%*5JqTN2hN}5WI(VjEfee6#Ya}u%D|Lm0Cg%gU`KPCkwi`boo1P!`TCbV}`cF=PW@}Gh`HB7sVZmLa2ATZL+iOqJ?R!rC z-3Wt^cHP>JW!lN|RkRcS9Rwzk7kL~Lh2>DxZapPU>+%8XP3&*1#%15pp#O$O63k`; zgzK!a{_9_00Iq>w?H9h|+sG^-cTYCJsVlq0VXE(5R|Cl}=`)7;u+FZpKsNis7dbJX+d6rs7h>+E93$Q&*=ZCdO$ zx@w~P5%nOjbZ7MH>PC|hQRf-(*r0hrOswgtj^{y!z_T3^4iW2lLT^A3(h0uvK;Vcw zHN0ecl#Eyi5A+xrc106risbFU$kMo^0V4RJ7Jj!(S0_#$=vWpKM4LfD_*TLz_>^67 ze-PjBnKZgHH>GNATq;0paT#4l)kJseRZ#8|e<*@R#A=sp&EuKq2I2z1$xF?5KD7?u zgOQsacwn?g2fBcA*B?Ne4L?zJGMx;;od@=;ImcEhT1LeNO3T^-GOLB}eyYQLBm$2Co<|Cz5XWr6G_ES{&eYXhS#rTke+{sYE+8k%bu_3^pz0M}GK z93zj0xikCCL!CNR-nfF=vJ|Opz)sZmc~i9gl)MI+t_7}z)nn}Z9R3sL`6^KAt@Axz z3-j|$`zJ1{nj;jTko-rI^3`4!Y~kLSS>Vx>kYxdMAzM5)ob(rq0%cOGi?u%1a)h^jHVra4K&O6&FH^1T+ z59=gATTjT{C=fJy(jV@d6HNnkH#uws8|l@f9R8OLD9>_`W) zT8l2$x>qF%ntk_wOTg0>Ja>^BF(!q4SSWpt9<*6Z%*)PfH{yj!NQRMyl_h3Ez!g4% z31q+F_thyOr{L$5ncsnvS~_$dcApCe*-!;o;bErErNpz_j_$h z>E8%0dUi5Ecb(20nf2u$!%L5Tw_2&fT;|JVW3}MT=aa(r=@5o!dXxRMyCG+UrrX+n zeQD4O@(0TkFzi$PWftCi?TVs`^5%0#Npx9_37*7UdV!NHH-)yXKM|!Z5_g4%Fs&UX z+hg0_L*}vYJj*r7QRP&90ce644aB-01mZWV5U4!BhQ4X22aIo6nPyzo5GX;;8M8zZ zfAQ#JOFd~ZA8(g^BevhvDF{kCcVu5lX_dgNvbl#K4VC}}R(0VsmQL}fw}l4UPzV@4 zfuO6wZOme_=#1sfr2T9(e@LSU*DOwD15=tmzf_DSCI%y>$AZqa5XoHOO@F@uwrPW% zo{k8hCe|{ft+mhPhZYL&nRI1+{rF%45r=?bSs$pJt%imaAsshS=M$xMsJw|zV2e3e z8ADk=)8L+MV?~yuL-hdDlHut#P5slu2eAfqX+5Vg1-;0ovfM_h~zkk+uUE?ID=`Feb zU3u|{a{hx?2QtA&ZS_s{3!E~DZ zE}dpp4DBCDSp(n7f5jNXPk2V9GD%2aVcD$Wm)awlj$*Og;&5eB&4u1B;}MyKAYjKX zJ;%qTTdS%pf|O!vS4#$LW?IbT@K)&~)=EQ=LqfA$)EwW8#N$tG2n+q%*3pim~Wg_}K ztEVpFZ}UzXwa4bSN&w`m$}nOis-v9?tg8}ontDT|cCRkXPRJqYSWD3R%m~lCv8=M< z-*3eRb{j33kf{umtL8k$3)Msbuf0N07CCyHv^wYtkT>DcCuXG;6g6*8^Ch$$ab?-;;uj}=d?qn|oxPPPU(Wr7W zp<{UOtnn{9UESJWe$VfV*aqZ^aM1S(P4=Iv5sHFtO|sL4IV{Q}?Pru{-)#0=x#}TK zwu{EyHL$>giv8dNk@*F{r9fRP5`J#isjShXDfDz z)vOee)2|Kn+99V}y1f+L_*#9WG>F+FP~`sTw4=B^ql%5W#^yH=hh3D8BU|e0sF;u> zRzW+JA!j%v6>L0p=5dga9b{vn!kO6Oo!p~74 z3b?nB8QZeTM4s;1V3T>Muu#!th%GH`P^zV}DwZ7pe@hPw>cyg^;ta^BFXr65jgMK( zJ^T8;cO8tV)S;738IHFowK66ZN)AquERv1uWW%M|J^~Hf68ldjfKC<33m<;G=df05 z2ivOpFq`_$BOqYs@#%i$J%n<|rk2-$(5Ym1mDHi9Rwk`42;O$7`!7zyhQ|0H>O~~W zciRVp_O!@xXGjI|m{#)rJ}sXr>90Tg(m8iz^byNWy%|h!xbs%s{%;n=7fhAF0ZfX< z^Q-@w;F47g+E@LqPxjk*xa7R=-j^3$|4+?|#kxoDF96ow?d{pD%~Kw-t4Qen4U28+ zw9C!@34~0cg7;VKZQ&L|XE0{ik_#SkB;MSww6%I?v5??{eW}pFqt|h7KUuaQ{z$7G zF)6XYtSJ6t0W?;PQ++_QQip5gc+q$p<{E?o-mtQflH$ycYB zX@H}4Q;7UP&_cajKIjE77PY<63R%0Rph5327ZnzQyn>85!;uO zlMikQ2t+2{iru9?yT?DIwE;bSP=eMNViRDRB`K!%_)~&xn{~+XzuY89KV9j$cG7$q z!wb1i>6RgHWLx@?qJ2eHP`WBeZmDiVg8=^d!se(Vgl)%YZ!}3#BNz+>`>%l_)+vr2 zb1j%OP%3rc)BS6a@nGO*J$oz+<$FXzfTM%;fk~`_3ph{pW5R6S#dligS;dClu{gFD z`qW|(0Pyy2sA>+X?xw)Cnl_B#_9#V+snhMFt-_!T?7%-fV%UR$v3-^kNvM;* zL6W&UbB_o4$P;6Rv_=IFy_LVf6n}0V9Jtf8lYr}}VUy55o9QYBHdreHGtkYA&!682 z0q+M}vqOX86pupRlz4hr#_A8B`vAoDy1|;OOEW*lKP)9*L5dxZ~=T3sRmM$ZUw$eOp6_Zi!ubm8v$oK*(%V8zESxXM*XE5P_vA;tn!BX!WOfACiJhN^bAH zX3wXKwprxkX{u)N8E`|MJ6;j@nt`Ujs&6b+r)(!34pZfk40ba9ZO@-@$|-6f((+wR zUYu>nMQ67uBQ9QZC^|XVG{7#t3Dw8i1trmJnqCae^c7 z%z<4-bB8Vzc~LgdePAh0HJH7LHP}QD$ZfeKLh>b{)tLjKCezaq2I0BH$%cXZounS1 zh#UP_$Z0t+tm8EF<*w*Vj3U)HHH0W09SlgDML?I1EF;&2q)jBvuS(D~C#tqtl~-i6eroyO%^gnTFaB*xH7;|(nkWh-hYygeCO*p@=o>`(3sa0(+ zuCYE+*A-8*lhHmK`od9r%lTid`b;%DtpFu{KTa)&;XZJXS3V4 zIEeZ%AfUHXZF`^GRum^lRU(NL8qOyXA_tpK2^8a`+M;O}j}O*Zcw)ye3d9s1fnkca zQDBIJXV_$ zTpIR&kSI!Q+$BThIcR-K)HXtw&t+#j;B|V$zlL?!faR&V7M)a}Xpr+lFTo*+EcA?*5@1R&Hn#ucO0{asx^79J^nGdW zL;cM@@)pe9QQL^`b*5=U)y=3QgUk$;uay=dma=`iYxngL0$GSmB`;GW2MH1G|GK&j zqT>3F5|Ns3Q3~@2r>2bgxLhnq$n@A8g^#FtAE3c@WXt$>n6gHz{koYXq)qzI25!J$RV6sihUYq8#~*O=v~0;tw8vQ%@;!PyDcM}x82 z)Dehe@K-r%oVutQYUFfz&SeK&O*dz`ndAP>&+qRQzh&YpKM5hcM73PDjKY(Fc9sUM z8#9nK=AVq97%?%%47P7kp&p)`zbupQZ&spe1J-V|DcsNr83g|m#|6wIl znMqZXvzY;h2fVgD+o;kzlVVk09@6&p=&a=MQ1&g)jJWYu2av|KUU;0!3Gt_x6bVAWME|MO6`pJdSQmhlLBPrfhRb$jvKYO&R^7c^Iq zavAJ^8^%LfbCr@E4-Fnz16H~bpmr-H%VPPlf|2%e1tf|R0al)_vKGx-?HK;ktBcP_ z<{2mU_)K(*m3q*p37{(VBIUkA9eG;A91m^#D*@n@NM5STH|qOWeF#moj>+Iq8Hv0E zoG@Be=BdaWHK1f-F`W)}mVXBy^VszmB3tVb2R8hy!m*t{k3T1jmckkHyZtlXqc~1` z1kqU70F-5Hz!p6jnZ8M~2Ubtd{G)u+=Q{1nFHT3SKq?T=?q?%nd&k#htdfd#2-C%2 z#w<@v>KH2m*=_QBN-RX_ice`pis7#nJf;`ug3B(2e;2E5zx|CiA zsHQh!J&x5_ zl+;V)^Ba@p&qp4td;{b}6;M+iz9s$(iTn3Qa(1ek8da6~N0J6{J8=R%Mvi)OecS9O zE4>=?AUqjB9=71heTN<2186Cg&?6(tAtT?AeM`Js){%azzQi1@2jDOI510@Zwv4D4 zFk;xSXhRdpZ8bmzAhJU8!1)h%p_4zzN>kUq?JXj##pl=gNx>fpYK}HXKj3g-1Ojr7MB}FRRJXB6R6UD}Tk^^cLbEs3U@uE+da4WWgIl?2wS# zHqs2{T<_&8pRU)Qf3hYUWbMtJXEE_P#p`seyriqPK7nPlSlC1s%BnvO}DoJpLPV zm~Q!x{P?qGqF^FwPOdgoDzUbl<$k@fQkA5737_%xJN6B*j8AFMyFejuufHi^b22bN z)rbQ@g*J3dL^)zk?1vIgqkbY@dEloKq^l!43wlB9sUS|rmj=5EsiojI$I6zF@^k5+ zX6`>cO^2JxX6lWqhuS@WtQAQHtW@VRFf8#M*lV;11i8XlBPg`0cAtma*_^dA>^>kJ zVut{rF${Uk^4PrquYU*MCtH}mlQ_5_a}&ff!OBPNP(x@|cZ;~Ba-G{PRm4F-Xk6;c0Zo+@ZQK+HPo&rs5v&d&kQeAebFQTlC;lQM%k6ADN+Az z_b2yCaSSt}Ilxc^I6AYW4ga9m#9_Kc7xFP;&Yp?y*jsXAAI%Lfh7scHbLA#Qsfn={ zqJvgkT6sG$fuyq!rU|wov0RkdRs!2D$NTs&G&($(U-{kvUwsB^947I7YcT8m6z3#N z2XPo$-PkNH1X1pcB>>&$NOf1OP^1c)$nlq>=~YDW_AS!`Y8-+da*^G4>ltxARRSXr zcG`O7m=W&&SUoJ4%WKwL%1*)ZRu;X7LajFy>pqG%_ed!Uo(xfuaL&wqx#bO!apf2Zr|9Xi3*xSFz&YcKw+=izor#F@xbj$aim($jKx~nHK@d zT*;jDVrnS|ki&3*F!U%I#@|cd!FyD?GTlLylpsJXVJq&T@Au2tJ#WC#)KeQ8Pug-~ zrOu@?V%Udtgst6qPS;K#87Y;NasG?24rPlv7dKJ6D%V|H65pBSl$Uvf)u~x}=9y^d zF!QW4|K$dR~iPKg>%-%*NG6R;AEdo!%yI9E7yhRJzp)K zQO_Xg$%EyvBcZf_NnBdlR*TtRvRgH7i9AWO(Mm^ku(Ok03H(&z2X`T`;)LU=GN`LB zw}<{hX6oY&{(r0<_6#O{P^R{=dSE3{V783FY+xEdnWmv*E*BDDzG6QqtqY-zIh-$d z#Xz^!pL>Vh(Vh^>t65L02fWStc6l#$+`>4ag-1Opn4ciw?9S1`aK}Ku|Agl-7hNXm z+yint^n@mkC5&;%R1N3iLXj?aLvH{1^(7DEjbuyUYC*sH)G~hvpLhvWYodKLi#Ylaugjv zo^(NjavQrkbAd%BOTkTPH{$V%JCny$?_A0PIweb}0PvYC#*P;d8K`!=SYpZ_NJOlv z)w(DNl@l{_*ejiyEJx+Ttovj&=VlPd#ZcOAAvxx^RmldyDRlVv#Of=^zO72?&=W)U z0Qon|@fPq4;(#XYXT`IO=(gqYOn(7zy%vrgeIXO{BV-n80~F$;8*aEQ6R&_^WV!Y$ zXoCc3d+lYEUnKCS?#slNB^F--%C$ITnIYl(WQao|8#v8x5_l4ThP7S^KnGA!t7lM< zZ+(G8jvf?PQ6%h|b59bnVW%77&C*A^n{Wn4QP2R}Iq|9KCiN}pbdyhoZW{ppI&BKF zX%>Ra{19$U`v2wGzxXf z6ls#4t0=J4sQwu29keeO+tL1ioMs;R6YUl-N@Y0?u{(9PR9;W|I3fXBC>q@?$k3Nb zw;dk!F|H5-1B?xZl(rE(3KGB;Nm1i_t~uD5elDLf-()a_iP_mtA=!+ap|A`{>Rs9h zr9pfcvr7|X4M5H!tfnGlK1nDB(Zcvnj!~ouf`N>L4DTmZhs%lJ-FV>OI(ejP$A^aF zr5hE~btz|F*c*Rhg;eK;Ls%Q5v2&fDD^=R5f~hmg3k$t}56!`F?+e&c`)Lqt4S!b* zxx#Gd8cq~k{DjI}P@7$REBcR=^5X3W&gkBJPF0vx*;utLMGLHi9~RyqfkxvbVCuHu zLRvc$BZt!TlB3#bb3>^ttO~IvBlaS;zc5Z5bR;^60a3%3h;W~{Wx~a}+bplys$lo` zY_qQtRhm8Do>dP-t^?fM&N4Ynh9Mj##S)Ax(Q>_57JH0!7{k{mq)Vx$jLB~-7Wq!K z7xh(Da8ff&TvV{<@y@eZZD#LI*BeeKUEuDeFi;EzWy-8zVsHjiIb^$WueD?Bg>2L!l9j`YTk{!*`-9upd$f-5s^#|LcJEnW~|@*}3L;f+I#Lvxbf zoew#Ym|BE%BQQe_dD}VZ7I1ThLUSQGi`kErX@(xzfuhbxdNH~^baL+ghZ|;VoL)iO z&d-8yeB<5!*#+dx!7cOkcXQ=Y;9?9x;!LcN=4DzN>8Kh5Cct+TjFEH{klm!ho@Wrz z&7AI`Go<}X6Q!k|lEF<1-d?3BiR&3`r~{k(YSGfx5vupH*k$9Wr}LMm5CsJ^iL5V0 zMf+XLtGB~3&*qYLxdFx|cspp;QxCcMhq}V`AkV%F-*0zSpS~!aW3Xx^q;AR+^ zF7qgT?6!YF{w)r9mzeY*}zD?)D z#fGC_K+9W@t2J19o-fan-(4gb9w9|IT*6=+p{0RbR_O8(8_!$% znxL8Z>m6ah&j~ODcZe7l&$vR5HRHDVnqSlc0AZ9?-32d#R5)CyB8_JQ{-|e6mN$P~ zklF;RzqqyB^3Aua^G{s5FQ^q4A%X+WJl|7r%-Ykc}K7KV!!H)4gfbuu$x85;AHGz$S z6Czyuhu@{64_kiCM<9vr(7AhScT zfGps)+KDEZRL}xDq}$_QjrZ{Z1|C{J{NC}iBJZ1M#|t|+1ytG_bZ(1C#~cECb+id_5Mia+EOw2-D5fL+_oKqIz*K*MH$_l+Iq;Xk&FiSc4$Kow_6@>U1trnUf`saMyYYpe|?u%{9`TXuHzp zI+S+mAmszYi+d%PY@hq4kQjJqa;>2B0uiDjO5tvai$JhUoK z-216qVuKvw>4{FLjvWkvQ*`Xws1MY|DJhptQZ+jM7%j}+X+|_^g6B5IzdSmuLSM!v z697eIWT>-AntAV(iq>iXDWZKWT6^s!-QSZ~hzCeK!iq@2SaG3HJOXDqQ+twJ_k+!h#HXK#WJEm8q&~2 z;G_EGAm9p8P>kJ#AP+o|{V;S4GjXjzsMQE)e|z!3z{RH-ZTqJABuVu#J8g2vuL{9J z7sZG)GR+Z?JlGoxh8A3=2PYDL+()1KKAiXpJV=SbSYP^It!T}96y%{OWe4fE5F{+0 zNT4uB%9dnJ)ookAnbMeY*MWv`*7Xt%5gSB?q82kLkiQ$(BmwR3+y;^8EwR(Hv#QY6 z!bja`EGd(qn}><3#PM9XzuDJmn^1jS!S{k`lZrg)gPyX*tJ$!gUQK2V^1Zk_2?#CH zTaOpqBUhIc9MtqF6sCP7Ee64a$yPM!WZU_>qXBr2`nO*s{b)h3VPVWMa_GEqDNWSfeifdDa_eo($=o3|aF zk1Xmy&=3NE|FPbA(iC0Q25{Mvww5cSCnSIM==UME3l*1+IIJWphU&xul6#*yVcGol zXj$1QWEKe$c?gf{WqQ0BC85h#gQ311z7jhhPhpsjm;W1gkqw2IiCyUj)NHHU0$B?= zoG;v1Ji&Z$D1ID6gIB04xl6}7EokBUTzr9dWw{Ly5$9|pD#@E}?R1|+-7|FO=YB0u zfzz$b-=Jiuo-qUV3jLb>dKx5zr_&OM}n<6)MQ4a>bwz$9BLgt+lb=#_Yekq=&z~Qr! z4vG^s?@3Of*EAx^&(WLytIcs%MMshU4iV&jZF><%0OP=sH?~O6tYK5Rh1z>R;2100 zB+xW2zjC<+v(B+TjU59WkQE}_>KCK>+%WDAE;U>h#`g-1+K`f8t%mK|P2Hco1snwE zVEbDgXGVKvwkQI#QF^LW9EFirdGQC#C!ui(A|3F$*o&B3O-XtCO zNfHB2ga&J=VYHl^M{^;lu5OrxGtfCku1rI-C!yUyhoR}Eey!pxejJ9e@XrvXvKV4o z(@@z}U5^0-guS0d+5gLw5hrZFK+^(HR%+Q!_RCkeXvN-bG{+d}O`ioMnGAi}YLNt8 zoe3SeOU?mcZGW;PaJHbNyEyxxUs3$Sm*(<9(x|>O=Fh&y8S^N)=LIc(`7Sm-;xi`N z#2rSP31thL&1%cmtoW^zR7Gy+q2p_+1&`4+Q|hV92Fs=G1&m>dj@NZm7{v>CJzo4S z6t(HGJIjp*Lg3~qmMKY<3J*zBK`B&{2`)lg@cxbdyJ&N^`RE!?gE@;fN4NG@Gj3{c z$mSKqMVw!g;2A05&&Gy(tBd`Idj4tHkBkUSoHiL*85#u{i&u&T1!OnlQkOMW$xs^S zuaDOgCbZM)?*BW(iT@9B!Nx|!MD)Me3qC#=Mmci_OE)VbW-hM(`%t6xU$DXj_g}DL z<&$h_D^B*3`?_*tQO?^O;lR2qx(sT%*v8S8dbt??b@c`+{E1G!F-{&Vi~=UaCvdzo zdwr>M9E7BtRnF3(4K9MAOrn-pCQX*Y*HIPBc<|DbXuLIxNrPTgu80>KkJel~d@--P3@Bty8e;Evce zHK(yqGu7m@-PO3kg?A@5Q`FSgpT1r(WtlDRfivlAI-oyO0L&IQQGFwDkxjy=)!nf#TF$Ra$%=mL;o_YCohgKM^USkLvB)#AhNHF zGrsh8Tel5SLnak@HtW0|Ka5*kcy_6$glEI(TQ&YN2A~<~?_ayoK;$?)7n$7-sQH3t zmOgpc+cDo#dr@jH%`&50jVIv99!Y-ovE-Y_)6ll1GwjgdSqpBqNz&SxS_!El@%^X$ zAjKG+KZAZj=Q{bPk@=fS!Ec94)p~g0aqS}q@i)vyb8n1<`L8X)_NKkystBNRUzEk~ zdH-QB>91T?$`n+de7h| zu3ajw)zn1}nA8Rz1_!%3a2H%MRf7I-VvGIj*6j6`+`j#h5Ex3Q1{HcKRfb6EpbO{M zBRc{O-QfqRI>sPkw>zY;it?&Mh+=a>v*$|b9Dso@a)>h?-LR@WxlN3bbTrhhdqUGJ zhCXHWv+*hxAZ(JmIvm2Ow_x1aCSBVk>$p{iR-yU=f6G`KW_h=OxGAB@)zePc#mGx9 z)WnCLJWP*tC9_~pmr_*|8q0FQNiW&A-{@y%gwjXuA?*GD4bC9r1fo+e39s^yjVilE z0ANs!$0OuvVPg8NTA*&OMB0E&N~wfXK=pD!HrM_Dkem_8kWa*XZ%inw2t?yu;LvS^ zg1y*-Els_XOe;N0z{KQ=L|?W$#2bU3N^6}6)J7kpX%tC0n;HMBnn-Spb@3j+_~j^F zg3{Kw&eQ}YJpO{~wN~6Rac`(x}0?5`3gPW*CV6h(=o#>vu;$74+Z2u^RV0+Qf zKBk1{14rwx!R!61cF(DH#kQ?9?cCT5#iYw4Zg{-iR*c(zc@t}CAn&eoQLA1tx8#^6 z4Fbzx*@mbd&47WWBNALJTH4!1MHL|trRrmSAv@X3U*m(z3ceTA4TnkHI@AzW0?cWV zcjG`AT^Z>YE5Aav;~H;p_0|@JUygPTYxyf8m`rVLR*5DT9c;&n^2FD;f%PuiTf`Cx zDB!l;7ak2C;_=y+NVd<*Z#`#N9CP1jQ>8i zTSHPP#n6;Pw1WjQ{TDV#<}yaE0KSV(<%^gX%6v}`($@EPC14w|td3wYd0fh_=;^Y- zxG}tnD(s#?O`(sl5TJl0544L?q4e9Up(LnGL#m+k4a?idwM4hrCR&|$A|J36US7Hy z&ljU#^KSGui+=S@w9Jzv1kD3!zp&_ZAT&<5ChnGWK+})atXA%6h8aPo0RdLlS5w4H z)$e_~U&v|}ShX%OXnnKAEn?m+yb4m?sZs*euoqdHgdWoOed37kUP#^dE|`?To#Ip= zfhtC7g*qW7s)1t7anWK;RoFeWO3%Lwy>%1T@3xTdQ^zm4D%pD*EI(}19{-DsbBxg} zY}R$#wr$&-wr$%s-?qD_ZTGZo+tapf+d8wezkT*e&Yw!El3L07v+7y(-1ik1@*xk9 z<#&z#AdZ6Ig{Kf*mBtPrU zuRGlFjg$~IeDpp!0x|5(@b)al5#oEHFOVMr>a)iEvLF>+xcAuLu<3=`T}wYQBvonq zA-EOVn@$g;^nfY5&dpe|oNm3Cm}+5Cu!85}Uo8j{@=RrFDFu-9NdWjbW*HZ~KK-#E zMF>czqp~#}uBfM-fD|p5lvItsXAlVaD4ZO|;*vt9T05)rl5}%xVtMy2)@R0r$KI}3;eWBEBxA48k?_FW4GMbk znAh-dA*!DHDVdLsg9CJBu{;A4B!smW=79$yc3oW7pDeiyPBnW(Z=j#!!x(ZZian!nA`ENY@@a*x#C+2>95ts8pkLoE)v zfbK0Rwc(y{wbDCRlZ?65Irx^n*lNEU0Ix=4%!SQ{LnBM><`%|N3?2JcTLQWD0_#N- zqj8N}zTYnBpv+b0M*EgsukJT`@tk~_Xn8h0{@1NZr%GXz!xR(u!u>HpGFx!J&&^y| z=nbU)o%#CA!fuU&qP;P~>n%6Bb=A~i{Ng@0UKw4kPolGMQnyHVYDS~gh9LwN;3iBZ zmErEOD7exzbGYb3N>~aUZ#kH~=t%Ek&2fEod&ZF1k9jLSvOOD^=(LimGA?4 z{CtzG-ZgcQ-jbT92c6k4i1TWV^@m1TxNOl%8BOa?A_;u@q@t~hd;41t zvY{qUB-MmiqJ>v7Y(}yg_R>FIMjD&-F491rq~TVQC1ey!d4P4%@2rc7k))qfki0rn^(!vDIB zRsDTXBpkEhyTE_zb7F@dqdzdOSy2G3-?eeosL`X#SNIZ$2n*^nMGBs)(VKcB!64Yt z)b6Gz$ii>;&;98Lyfq3{QzkKHz%P*B_~T(NP&`L z`sk5@NjSom!i#tP!}6_+LHjW5Razv-Cv@{w;of?>g-_-0Rw%-_k_O{o3^_fwrwkq* z*!GNOzO5J@>gKvdFNR9aU&F$2+1a?6@>a+C(-DV8x6dxRL*QR-49F2MLHA*8U2tAr z?-$Y%6bwv8vaL(F2Vb?$;qQx%8^slDmCMI80j~22ZYP4RH=6)I_7qPy76PxfVVNj0 zRaQu|agw582tvAr(Al_UVlQ29W(URMC0kvZcva}#r)K-!<4z@3JtAQAJ;Y%tyFs3d z%Plud#=qn$xC@l90hqijJEHHaM_UNjUhT!=I&9j_a^(0zQp#VnBHPGDksr$zOrThg zg`@`9-VZY!2IrqF0U>}?hH_HJ7u{SQ^1z0Zx^P_zu;F)ZV=%aUiQtkUOo(hK$aCK| z42P>-c;18~@a7`e!D{A({_|FBrdvHdaURd&1>U3bA3ls-0^BP4;6pZBWjdrh9q?XR zW;@|GaD1=4iVk=!2<&quc(Y^L%bl9~5jX-Vq^VqU=WZzfNI!NB10EXi7|w%`R(%ZVoYhUdU`3jl~xGse*MBmeTmk_`~R(%c|=V+Th#E;QRJfBY+$ErpJm1 z7?PT_A!|Jdr?>5B(R)7~pIyt4%~F!h&?E6E;Gy~%0pXdd=Mo}Qcg-oXH0dsiX_|Dt zUoRW2Cux)=)UTk5!mmI2*;by7yJ9}Bcf+F(ztb!*Yk#=8HB)X$6X}@;o?+7S-viiP zNyrc(?qcr1K{*pN9)tF5*zRqT|6RL{5hCtiR8_NHdwW~y_Ich1^zHF~CeYo}Q4(-+ zaqa(L1Gx5)v0!D=?oQuav$3VRSi20Pp){)CcU4OZC`D;byWMwD4((o%QSbb(Z9a|m zj7yv(3y4jyhSc7PK3rwV-7Twb!<4h|K+@7~Pr;Qe306{@x98c;Av-=@`Dc>}=R+EQ z_VQ-O{G?Tbm>>%zD~hix!Ha%?OHf7`{%c00?bL$crt#{5>ZT!afx?2Yakt`gfg+Qq zO|*f)xBjbBp`@v?fTDtPv2qdp&*EL}-zk*~spmuk%ZD0Vv`OlGZG&PJ&9b%6_+X;t zEHJ?`D?+xMENAiUiFZ(Gz3sN3dv$Pc@;1wXphMe$&f$-CM5c@qM)Z?8@lX^ek-AyG znG)mj*FI}yqb`(I!^NE2Ao1#4=;g%w*S+}SZr?^j@@c2`VZ(j{^|(!UBY=1!r7XiO zqe|;B!_XvkBJ3%A`cG%na1L>i55BF$K5FLg@BR+@wn^a;_%DMCCgJ!@Y=x*BWcvnj z7Khl2@Pn#)c|;EL+ruia(vRv$2NZuWIv9O4bl}{sjHYnI1|-=|0`Tz;r`~WRsdi5M zUmI2ygSj;py!{+Np3i+R?tr2zxSTH|rZl2dc$NfJXjX4GQYVuhv5tPWyZ!UmDm{M$ z^CpBG8&73I2-iyDT`sIz{Mi)!YUFf+xPFM-BXBbR==T2RxQDMl29|JWSK|nvdf*3y z%;9T^eL^>p@Xd_~SEE4}o9Tj1TB_@+nxo{xM)(4R#7?&g(cnhM~qIg7M9-Lf{CHHv+jn5SV2V&wDZDMX>q0>(O z?vF@{>fhwA4G=mM6swK9M-Fj?woVjhe0G_&E#;gP?Jyik0|7Ry*VuwkSN&b$8nYt; z>JNr1-r%RVFWN-}W=EXUTty+2#p|MCc1Y{O#DesQFCmOT&tC_D5=c)y_Xo>g0Kgs} zxNU;#SN(lel?}shQHrQ#1J(?jRJBdL;SA(gI~;sO>8foKvh~)=Q9qtrVjE}N%IlhJ zOVjbR&BEHsmih@?{bFt%D}U4M<}&hRVDaQW=x>5rK*QN53-U_@>8!liU*RPQq54x_ zouIqzHj=a%Mc171%5=-4D$Przs&4Q1YoCUHZcEmg{{QnD2Wy&Q4;Wf2ku#_-IS2=P zYi=5-B`*jE=YN;+7C~b z$hN_t$JvCwo^J#5@PH;@18arAIU6Bw>+I}=q(s^b>J$msm3It}mzm~fP0DzwxUQ}_ z|6Y0S?rrYv%?#Vm;c0Bc9s;8R1?FXLY^;L@B1>UAT;&F`wauopwZ$7_W5Xe$#NF*Z z9AncKf|Ni4qq_|c{R29?dL~9;cKK)wC<6lqJ4hUk z00E*l!HmZiiUcP@1O~-V_;+LMevLo`D^r@r_u~yVo5cdO`u66P@$C#5u>pcFR5D^1 zkXWBYKKo2wR9+7+gl`N3!qfhv0p(3BLrKXCtgf!1p@CtdBY_bS90~=B+J}A!FojkG zpN;ROO_1i_7`M!J06--qJ>*r8@wD)S zIeL9ezwnRECg%-Vr6Q{7kuDD-K05`d<3VR1&91Mje(-A8vG!q}UolxA1E(edtwzVT zqZQB)YrLRGf4=LzkcodJ%z<4&92@KF@0@Ny1D=8Mv&zXYZoqJ^-TQh0$(OyujQpNn ztHPH+$BcGB-9pEGX@sVT5+;~LedGPur$=|C`@P64yu5vIrsrTxz}f+QV?UAKBoLWD zu?EvSz=sgCWM0d|`|Cf_T_jsCNWsw;}#4+;}M>e7-zn?MAU z*?d6e2=?wkyu7%S0clwP_}!-+r)})u@ABX)!5(Kr7pQ=r8)t*#$J#`_?>(R|LD&JH z*Bi~h@tDUTz>hz~9R#?XS!WZNA3v;HKhAGICT}-XKN^KU4q`0R92|hNvmcJvpVL@7 zVUFt`%`T>uwKFr=WFp2+pl^ePm%d&N4QNXU=aw&n>g=Su362OrFugw3)a3N=z{pc8 z-XRsJGiYWvD0hbT_f%%@QD*PU6a*MVPcT=I{|*zQzOC&~k&hOO%0-&a&|PRIpge$) z_i@LoxW5Fcac5$re+rbz-I2*%!raFQ4U&_yFZj!hb}GOgkbvFy7bJ|UyA4R+`w=8v z1TP*yNGHe`u=EOOJ#`p@G-Q86+=r~o{KoyNiCelv978Y!{|4p;syhA&>_t9Bq^As6 z+D9A%H*EgoJlyyHCkRSq)R+d)>6-%HAAmHgzXKT6bbf#h{AV-?;*Y>uH5}sIQy^g_Fv%$@s)*f1t2JXo4E4zukdnUaNCP8ySUcBcf|2w zv!E~kV(?m9i3;Tknn}VqB_azBT73?(acw;msh8m~!reCe&NxtuwBsOy+HqO_E(5b= z;EW+k7v(W^ExuW6g71|4ZQZauV$#T=`5+sO)Td)@8O+MLW_+JLgyPTTtm=Bas&;w_ zSY+M@%hKA-@mIoi?MBHm>a%DN+{u{Wi$^c~Qg+j^@`@5#@th2T;U_>36zUrtjfBBp zWyoFACs(2sVBH{=xbh_C_$CchJ>C_lb_fafY5dXQMn$tEjeWgEnv&n6c~B&C>kSW= z?6*W=5^3BbmAl1~xdAL;oJu(Cb5$?^9>wJ7!^D{TN2{J@mwa>>mUph{DR;8Qx|1JX zdA9=0Ovb0~HW9+C?K^3SpU-^gcwRy}&V2F7qXsA7q8l~PVIJ61Z>=)qB(mZlW&LHv zVjOz?pjD5lXDkuB%+&0^89Hva%pEzz^FMSy(;m*PlCFUHmH(=*5*wUY;4Sz9x^T-0 z&-vhLe^r>}&%E)tHG%~4y(H57<_)(l*O2 z7*E1U7|Uv!jEx|17Rp}1-j4OpZ&to8_1-P0vgpAhhC|*jKDV7b!&(bZzt`Wh9m0e2 z|NE3{760=F!~3S!Iph&C)U`~ht~}?$dHRaMEl|@6iSRKyOnY#GO>55rFq#yo%`fb_ zT@uTq56D_im21_Z2v2hT>uSa43xTvlRY+)Q&ofwO$w{a)VD#ox&Pt1RB=jG`^F!xUIt(uQFb)5BXrhn1P&@ zW4h8=y^(@~;3t&gASam!aOe+L?)Rpv3bMg#FWBMzwWvDq#I7E%U1vkrALkuTbSY)l z(-gg3+*VEgn538skBn`NxzS*dd-*cU3GoxF@ltieRDP1!_x(Tv{~hJ}iCF zRfcYs4+j6=%XtF>DrCwl`(@MOf*@W)HrOh@SS9sQ2@aH+5C(rrxdr3k;?qLHctEU* z;ZeQsN85f3u~xyvh`cVUex0Aj)zTP1i)mYj!~PApip+u~77R$Q9PcS}wXIZ)vn5jO zWvLKml91pm1xxU<^~S%`;$U^z>6htWlUcpjino?#-= z{ZwLUF#cZ6G!=a;fMNa}<*EhVs{TSy6W#W%H4h)TwJX02Md8Mo!qB+Y9^^s3Pf`6- zp*9|Vg#D}!*c+&L6bYRT*h_5X5o7kdEy5bw#j>}jjSVNa%qJhc|ok$_ZmhFdwM<+uWi)_kLH zgC@BFh?k8TlqW=frd#A~FNZQGPsBM}M<_UE!a!>$IRHKWL!7?PX!|-QTu{9QyPO#6 z812a1ruz8KIw7FFRqZflo3?MB{%}XvWmdSD?YVr8l{=p;1>ABG7KFMzgm(1zOt<}{ zW1HLO=-^)FG8#8cldoZq5YtF|2*;9|!jfn%s4}n_yamy=03^!U!#dEsAf1#O(yPp^*?CRVeF2!zg^v<_y z!`)0du<`h&cN+2&c*ZOS^nCcDQ7kWHCQ(JC6s~DKz}XGUqq5FX{kiPkL&Q%<%nfJ& zP_V3kfS1DY7g=kJc>lft<2W})T8sDlCO%Y7?d^MyFQXnEij2-okOaBC;m?>w9+9|V z$Cb>&&vP)oFjDG>s$e+)`w`t|;Yv1GY%zFlyRJ07;4~FG)v!A$-T@RJHS|4_0`yY$Rp(yXorv`hL{I{SC#&`{R9g}17CDCrW*Mug#-0{4zV7) zVT(AYd|m^F`7N>=GY0+@ZkKYTDG>DAkh;PA_PwU#zS|dd#_?Sd{@cQ9^A1;s%MX-v zwA)Iy1UH@MrQ2x_3tSF(ZgDXwAb&_EgNl1^dOz|GyK}po{@=1JgncL~{bII;Ii{u( z!Xc*Ufae4{ExTEA)WqC=IC!I@%-qJC{bY|NqHFScfsrt1H?MN-#!^v?oKnKUQAH~L zRl~1ixVh$1;8@olZru3k@7w&TWtRFlDWMuqe8-bX9-p?a;UAO!HY^^$e05=52$-r4Fe71LUi{2kpYC4o^)X1pP?3 zO|&i~I&WgWb$gt{B11>ZOxT<*Mk`Ax)MbHor#=kVQNWr-^h;2JW@^{zlG(!`o3 zZnZ~z^Q8pQw6Da#AaPqQxHexCe)G;DWh)kS^d6^R8Z$TDn-@W9eDv$hF#jHFE_%)@ z%o;50nhI?Vq>@|)SA6YOD9LyXZ^s{KB{&Pu^3u~{moZVjYu$>kldZV01(pyM-}P7% zF`Wj)r+ha#daa-ppuYV~H(D1WDbDy06M_xnuqP0;%!Z3j!rd*9VIXyX^ zVxn;T+uH&6$)1>Wa-44?$9b?=L)E&*`*1c96gxcYxfJox9M|G^Yk$l(9Qu1H4>No1 zE9yD>{>NX;Ug+Z^$)lRm51_A4(2&9M#dkrc?jLQ>HEsrFKt5L0587?@&3S_*h?g?s zr^_dB#_-lQF}s8|!_z)#)0KcfW|W|Fj34Q@)e>g<5{Q#eV*toWPj?gYHBICLp zVdKuuqHyzC0B}$cdQ1AAFI!0c8OE1Qp-2e<)!@6B=zCGaBLbDjMZ>>>h?u5uw_6hW zdj%HNY7|}5j`E1QCxtHOF{k&Swo6JI!Bi>)^fea6m0*#F6e|+AE~nA{ZWi{B8ify` zYhDFm%W`lp%dMCVcWL(BWB0gZ5(b2sXm-R27V{0+EevyQi1bglgYOzdGld2SU z{n(yRj`vM_0;)>Xl*4V!WQy^fRTw4S6Y`SO9XG`?BuU|1EOAUFS|Y4_15RGW@RFP2BgHnt<;1(-;^v^mSl(2-O%iE>o z7Y#Hm%n_U*%bM<1po37&ZfTUe$ZBi3AVkxTEMXJ?l)Rbe7Le|=)jp@-*7 zl94kY3C!qmXQ#7k5Bp11O5et7YuZQ)ysO5uYXL~q7%=DFr5XKmD(lq9$O=@+7_?+s zMm-2JQxR@GIM^7R2`AK5UA9KxnjEFW-~pN8TH($T1_J|#N!4-{@6qoW&iS>L!b>L{ z#y{t2Izh3kBAu_++3+l#pGwpdm4}ogE0QaAsO8)=lSdEebSVdq-q$601JPiQDrFNr zx6x#LS&2|w%m!v1dkiATjE8v)0LH8%)Xx*8n8YC;8EGJ?1KZ!4tRg5+sbs+)x|;a; zy*JI_b(~;v0@*GnTU0Uhj9!Gqkh_CghtIDO1`I z|1@?L2#btm1h*6FC^&O}vfVy2=Q1Qx+Kq5*G=caQW{FFWij|$sie%d zZA>)<6Z-8~UggWOk7Hl9V0iDa=Ib-Tmq~Q?)`uU4g}&`-K0u218v|kKPt(#pPg$FX zj;7lRpIW00xS`SCy7(g_Fv$=9jKj5&#iZdqqir+W^bFZPiT2kF2AZps=<7Wz zc+}SJvPPopCq_!D0hD3O5(hCz(8@uU`n7%B9EOF+e;w}bp9Npig=+N`3|Y|iD6R*7 zDeX)PRAsk8?g1uieFzN;y4ruiJ|ospN=F#cG-XTL-$XS3aCw}%hC$P!r#f?u zb~@7O@U{Ll2bYyjT^Q>a!X{1T+vYsHt4(c)6kdqH=>y#B*yDKTMEm34|#gPdo zzjS}RPn9UW$#}#p`}*kXeTf<(q8jAwsaTvNnRiOr{`%QdF#$!R zR7@{A-vAJ(d|DsWsbvyoP!dI&_IJJg7@&eR2J!n{9WBl+9EXVmva zRGsX}*@MDAa#Jj7%VP%KPpxxW8-G0v7tidPE}Tm?^i%2bUI(TM+q55;=<7DBhvw&u zhtASLKs#mS5~dk`5bD>VTPd_Pi4gYJRX)I*O5%e|S7!6R!4W59%2 z7KNb|$B7`Elsf?V1@Mfc04=)0CqJaKH_e=;48LfBWOb*gVr}y1_BCrewxNN*h1gkh zZoobD{&NBK`zpaqeXWyU=-<^ZAeyrRyhoD+*!tyVHKo73iO-;mr*vtn2tKYi<+LVw ze;@w3S`dOHIZkA8#H1jc7zxTzwS8e?kWZ0M9ol;E{ zPi36i)AvuIUi_1rD0~0>IOFOwEx^+;o(Q){9i_Agp>k_`JaU&4`&x5qk(I-QS>TI{ zS8l_9nKDM<{c)c*&uZx-A59%m+Iu1g-v|s3!+u;&P2$(72;u3WWDbf_-mrNV4TdNdyeyxbZqe1YQx+&Byz}I0-iQ~?NfRtUfalrysyrfJLRnX4X401rBL=SK}3W8{pKut1me>qiznnZ*V& z5HQnOnSNUJRnCo+j*x5g30*m0V*?t0uRI&=rtMa1a7AB2A`g>+xto7l9?Djg_^B~I zOp%hpTG^1o+uCGykMT_NjJ!_PJw>H+dFlFbcV|#+Q@5mt8JlFhT`%V`8>xGd{eWO;uWr#M_?Ule4HaMYwgYLy&z+k2Tr$^NH@fPVhgM>nqRe zIHvl2FYAT0vs0<@0yVrPlmJMrKm4#-ZL;H-K5OPSatG0;W1KI;XQSeK@ENfRl5~Y1 z1&cS-CC&?6ZqpjY8b{kc22}^wl>&MEzST3fDZywkyfUZQhy(I?K2c2t&S<21)m>A& zghK!9a2{dL06N7^N%t$P1H@)v_5|MmtLc?lp5UpHi|o2x#@6#)FhHWp@&G0(AQUfS z=zzqf<3-COXgd69VcYwIg)y~MKp8__=_^M)X$n0!m^KTl7WkCW!#L# z1M?OpD|n&AMJ*4GJ;3f#iy~Zoyv~t;10=*Dod+r;Re+zEUR)q`Zf44Px7WUMO3@UH z@Cr+O^cKpFbI$a*2gx{a~TdX5OWPT9WRg<1vd|LSp4O~_pOS5rEGXvq# z#z;~{55hoVT`%o(8_NrGKIfcVG@ghN;zv8IQ1M=IMRI2A>KM5TJ5LokLKHbWBejbX zA9cr-^6$>-2tep1vXYmn1_!ke)2YU%#SbuYSo}Wz71uygKStb(g-{San_e1*Dee|T zHKAVFnu_SWcS%gS$PWSI?B5yb8KIjN7VZih{WJ!DkkY~UY!-|&n>Wgdc%dLZ3+c?b?eKX_ zx=^}7xjA+8@oBos;(i@CC1J`YBr& z+IDSW&K`~fh8Jky{-~RR-fL)K2K2q+Zz-XO0bHf#I!h;GlXw;Cle-E*w4i+hpT>OQ ziRrvHNO5PRWedVb>T*2>xicqLnv{X>wtOR}xDNYclB@nM_JmF#DK#|=4#;21_y-NE zu=pha;Wbxk@mGNEH8V%3*Hkq#oKG=XuwndVZ4GbC26>##5>X(&rvDO!)aSKs^x z2f~DA;8|NfHYNj3Hov=9c}gQDTpgKQnc%SM@j50n4@#ig8tNgtDMtWIM-)O}eibC|%Ohb2`y3 z-OBL2a(g%*DEWrA5i%$zoAHrTGPy!t0H!Flcd|G>#uTvosc?}CN^h{Y{dTqLw^Ojc zRLN^0s)=%d?dUXYTKYROy6_n>#`o|%(BVu5N3-a#mAC}rHIW6}Ka%2@uF620gmX5y zpukcc+h?*V0DFt8Ipm(Jz)!w?s+?6snDP+B_bMHyzlz1DH~%_gBQWFg=ljiM0{V++ zd_|u9rIRfKy$*G8X@XPJ9i3?Qd2&E3qxHx+l!ir8l&^#=3pp}7TN5o0>kD)R<3iT<9ySFjEM zTv|cPERjU*qlXYF=lmVkN9?ag039O&3Gwn&xd*k|$}?RmeIO4qA`yy$xAq}(W!AdY zjBAwM4O)ruqO$`QS%Z|Qiu=D$y0(eXQ{i=)Q5OLAgVV(;(ws#KDKFkw8G-IRpNpaj zwmlN#wtTs#TLJM|tNCs#b)#kNsf$xZMM{8Mmo#>aK=Ei1?UD$uSJ@nOtb#(fo3@7g z+IACQjLbSgbGGS7gkH9;gT;X~({|T!hwk-(-fS_&kLmjrlgv0| zJ?b0@z*3V6fTlr71yd zyn&h=&m#?PzISamhex8l5NdvlaKA;P9?@oSkn8}T2aoOufBYCy?xn7*rRca`y>TOh z^w+?X(N|~XSJZXOBf6s-^iXbe_2M!@jb>&}HPF9cn^(%CSbM_y02Cxt?g<8yFtFeg zHS*jFNeYG-|ACGf{;rSTch8EA2|4)f3Vhy624u7Rr)ge!+L4=1H-~;_8Y?lEVIAXQ z;vCNp&tJu0T1a?LLZW!kIjFF}#U+h0PS7;GMmTu|nsxz8;}fYFiO`+^M{CX%dIJjA ztzJd$6-v0@#;A#E1Aw^)qhaVs)FeUf=l2mtk=%&lbB&Ag zo5sJ6ph);_*LZ9!ZJJSkPh>B|vD54D-m6Nt{^RkwP|2c?7 zISd9CDmw9wgGjSRD}h97(1cl6*wfUXMt@n++~Va;D%$#2X#l0XRsA1|C_5Gy2gj%T z;Gw0almnHRiLkIe@pgHXIPGap_)c(*(+$HW@88(P`;zW~{P+{tQNyhlYZ zo@v3Wk@bhS&y?IOE75}|u$4tIZ}P%r1(t*s^8+dQbFR$-auxM#mvXu=7drQw9ut)z zn#&sDzT7aa6u|f9Aiq`~|3zT}nNZ+_!OO8+hM_5zJkFQEj~TZ5G|i=7O!+Eh~( zVOi^MziXxZYek4GUN3;rPx#L&gH^gCzw|{FjB@&#_Qi%(lmq|0c#i=B${*^Id~k$J z{*%oC+EUChq#7$ipX-((`-T9Ok*K|sxmTqe9dBLmM8G-9t3Mg-z^E4PHZ_#5@(a9| zcYrl8ot7~V6L2UFKVL7Lu2ZwbEiL@KytU8%gd-=o=qU`=PPB+@5*P?rtHlRnS<(!Z zlnygH6iuy=S^KqMhf)-blG9%$@CM7x%?I#t&03MvJ4|d}qGEV11BE3ywbT}4b`B{Y z!&R!c1%L^(7p!V9D4iR2O>fkalYq#34;qerLn&5)vIb2X9uX3KhHZ}0r;}TMoFM9&FK!^%z=x9um#$;^Al@CP2+c(evT8ecg`GWr?xX>dHE$X4t(P z+j_IQ&rF715Msfg;vXp?j)b0by`&3?_`;`0VR3u@d)J?FZ!;0bh%SHib-CQ zXD@2G6;Dq((^rN>P=$@>u|7z9D2}TbgAv*CVN@6fBf~pBnKnCcyYNguExC0}WMofd zVT^`-_NrD^y7oR9&j=qmv(4R(h54-r2e^-7jdlLwPmXp$iT&{|Sia~_cxsn~*vGMg zlyQtl0Qtv2ci}jz#a_w87U~o_Rt?+SvRF*4+oBXQgaf z9`!_AwX(vD)q5PmU<%O?4mv>=a)@CTIb~6>2UpGCYT;+<0}vd#Uf@!QUmjk)1ppIu zQQTXOp%a5l+Rv#Vh`3E9|C|Z77XFd`T;u#?5^p(!p%*vp`^*iOzB0-<@X|T*rg!Q6 zwB>HbmjDsZ-6i&No<6YI7>;jak@LV>P6LB~{Nnqm|^CtWAMs^j{5zssEY*oDa&>TD|Pg*Yc| zA&PM=*ptA~x5_O-V;%IhIVQ~SmCTXcY=t9=&l{*UirvBjzYs1xW-q1s9>CSS7KJ*C z+?Ys^CL(OOzKO=}y=6qEv`w>2?BPBlT!3Y?YPU+pJz2EhvE`y`CpKhNa@3Sr51`LFrndErpphFZ(=H0t}nG= zkl0N)oc^DZE1l+k@-*tImSY&PYN%PDFg5K@f8xWqAuS3zDEdoJzZ@H0^=W8A$_b-2 zg`HTcP&CEe5*5T?55PPxVz*v7Gm;0R8ymHgN+s_|Y?%KDOX7S24L&pL>W*`PX4t%) zW%BSE`y8^{2vdCsDU|euPSK!hyXXs~zyv>Z5%YFuZieIyJ12`OQbS0#J47ezv5MV#==K7``B1A0r?BNVmy#eG+ik6Gu_UG$!uirAt|2CKPQGnk7MD?%(Z_6^O8fGkI!8KepVG{F_$JS8u)pbeO~BO5DH)Jf8tOP zwzJ0uJ@n?w$d2JZt zb`{F-O3u~RH0L*H8)$!RvYRYMG0ljM3dh?vyF^(Cocl5et`o4MbI>hBQCjo@8;7B%O33CuaHJ5YB0SA8((nStm{Lz zM*G&wyLy;>mHUn#(gp^Rt2y_ZaHf1Zu&#-GEyhjzEP7g?l|;BrGxV@!ni(0lNnYt` z2(W{$9_vNC@?cMkQwh-<*&1ka4(~$}gSF3QoaDdWJu{{2q z(ziuD_YK5lcU?M98X7Rf9*wGYCp(3UJE;1#)a-O3G~@AGf2Hx--pS9Rw*fun(hm;a zpy#`X(Iv`*2)$@`g_DheAa$dN>fq6~7BC1;h1V}x{RMV8UK7*YGl1TcGaR6l0pp2% z{bY7VgOfC|uY9-S%Xy<~f1fzr)ONw%6;AsU!e9rA*HMapT9Q-Pi?_=a+VarNuq=8i zMLv%}CiZ3vEv0e*>q>4|~kKF^ZNt z=$+0EilY%mPa4S9xyw4#zHvn*Nf`QjKdM$NNS&rmMMio$K&X)_HHXk3M# zg1j=OT7aF%kQ(pHfE}Dwx{=^=D^}q6tqEoxyzmd;JQ^=dD!FIv7)f%pfk$8R#VQUv zl6p~lrIXyavT@2{K2d(1c0OA%?<81ZT~G_O;|mP#FxiV&&b`L<2;BbLqR8$W&JI*sBJ;_YjmXb*cFShQ5HvTSH)?D=d+nvlk6@a;y?*Ez5xBp4>

Q6g{_%32t3ShKUZCS#MllqO}96wE@XI~o12lBfYKK0qU;;S%v4{ulJT zE)vfM9p7PPKBPW$5&xsMHsX5@6TxII8xJF&dPyUyz%R2tR2tCaH@fVg?fj4jn&|vc z8EwR%Kqz#udhsg80M)-yK=a!4Bqd;2ghnPo*{7n5OoH=-{BtQpY;y+lpq}J&d|dsd zbcvEmgQhVQnnt&iiU9OIWvT}fT)U9qQd=Y~Q%EVC@8@wiw(X*zjjA!|ZC6K24l;uM z}fZ}%mrH)GdzxWns1=WX3-ivbdEM#y_J)+}8Gg-q;ULXMFwXBo4mvCkI1J1b zdvt!|uC!+^a%#T@muPmIOMj2cZYL+$1QAh?vGK6l!zMSUk- zA95``Kn2+JgYh8Gdy_cMTERZsSE@0I^m=j;p-rczpLG?z2ubrL?`~#J#miSVQPuLH z4diKN!kcEXX4u}6Eu3==Db1K`$GI#b>T&gJODv1060(lZWRj7|`1jKwXT1>gKg>lB z(Ml)8^>V3!Ch_NfDa_L)9S4vWQZk4Kh2~D${Q(TJ3%E0j`x3mC|wk#VfLA;Q>?=pm_dQc+{!d$WQqJX2~qhoK%okex?;z&zv)@$OV z6_l`fq=KC05Zueb2p6qS#Q~8}geOKa1S0H$;`1Mhos>fk$FR^1;Ne5MDhof`7TmsS8SU1svLmUP@tlkDCdGK6tAVw!CzqNcb}x`2Pt$2f_G6 z)pwt(P|p#lw22Hoy3Q!QbsqNy6_!2O7qI4;OYXwq_@L$(_8b77&oxo=S<3Mz>A)Y} zW-iQmcfJY&gK#uh;c%l*3@E6Xi(e`#4C zp{3)Mb=s&ikC($dwWWugie&Y)_XKP(lt6(TWD+?KrK0&zXe*~R#N&{%MFJHBeetX6 zc$LbtE1l^4#ChkOAESmx2H&UiW0I*o9KC;X?g10($9EN zeG?7iIM40MWF9(kQ1O>ycP%H6e-?`h&FzQIb(AiSd(G@*I=-4ursX2}d~|`4-`_ob zxp(-V-NT(XT4CUPbczdj;n?AO=>s3c13Exs^X3ygZl{lCCv-av8JxSLt6!V(=^0*A z7)Vk>V-GY99?VDQEKR%$WD4q2fqAl=2dthU9x+4*R8wuXE)-147hI$4SNR-4Je z{_d0g-#O-SL(FZdgzV@Gk$mTv`wcPowi|QRF9eGAQH48le*?oEC;vGDaJ9_$6=;iF z0sqnSSFiVW$>t5nW*4Ud71h1uc?=u#oO6k?gmnw4-vF2!Fr^@Q7s7i0o;CnDv|oRm z^DA{i?apY{@NXz<$KDl((Lbc{k2Cw@>189eyCyd%IUpcer!BgV|p9>Mqh#y_Rauc2s-UdOU8gxexKH zy3<;!sg7#nTh)Gh)qRZZsb0%8V!Aog+`4l5VR=TsEMF5KFMlUa^`B9mjz7)BdsadJ zHb@UsIR1~qls8*`{I_h^hwsRC8)Vz^yR$1&U6JbbZQ>{hMS!j|)eTd2N7z6nr-L$g zp&2ay2V;i$lb2j11s|76egzeOI5%AiFH>oHWgs{=3NKe6TQMLrATeDEFH&!BbRal1 zATS_O3NJ}+W^W)kH6Sn`QVK6gL?Bx{LPIq$HbpT(LN!J*MKCZjI72Z*F*HL&Ff}$e zI6^f>J|H|oLp3lqMKM7_HAXT;FfcMWLoq`!G($u%H8wXmLN!J{T?#J@Ol59obZ8(l zHZ~w2mys_7Cx0EwJ1+!b7{&4D%sa1fS-Wn_x~}_W*L5tVk3gx=Y1S4Ri6}*gTB4CC zMJWmq*-tRh_y#Hxm1K*JPMC9=U;fXTcg)QG0<#Q=!7OL26|zhg$Py`$RZ=Ev@Hyx)GNc1& zeCo`SP6YQ)Ix7fX3aT!WL-2TDaB-}yhjhc08|k)N*VadR;cDMH^Q4~)kOCPbLu8nY zkWn%QcX+Pfig4F?)i~VSscHgY^sbsjSb9}WA*`OMrV-W?)eORqOVunqj#YE;#V^%7 k*&v(n+X_{K-@CAXO^zxumn(n;9t$xsFgOY&B}Gq03U#uDK>z>% diff --git a/papers/casper/casper_basic_structure.tex b/papers/casper/casper_basic_structure.tex index 75a3579..85ab3bb 100644 --- a/papers/casper/casper_basic_structure.tex +++ b/papers/casper/casper_basic_structure.tex @@ -29,7 +29,7 @@ In the Casper protocol, there exists a set of validators, and in each \textit{ep \includegraphics[width=400px]{prepares_commits.png} -An \textit{epoch} is a period of 100 epochs; epoch $n$ begins at block $n * 100$ and ends at block $n * 100 + 99$. A \textit{checkpoint for epoch $n$} is a block with number $n * 100 - 1$; in a smoothly running blockchain there will usually be only one checkpoint per epoch, but due to natural network latency or deliberate attacks there may be multiple competing checkpoints during some epochs. The \textit{parent checkpoint} of a checkpoint is the 100th ancestor of the checkpoint block, and an \textit{ancestor checkpoint} of a checkpoint is either the parent checkpoint, or an ancestor checkpoint of the parent checkpoint. +An \textit{epoch} is a period of 100 blocks; epoch $n$ begins at block $n * 100$ and ends at block $n * 100 + 99$. A \textit{checkpoint for epoch $n$} is a block with number $n * 100 - 1$; in a smoothly running blockchain there will usually be only one checkpoint per epoch, but due to natural network latency or deliberate attacks there may be multiple competing checkpoints during some epochs. The \textit{parent checkpoint} of a checkpoint is the 100th ancestor of the checkpoint block, and an \textit{ancestor checkpoint} of a checkpoint is either the parent checkpoint, or an ancestor checkpoint of the parent checkpoint. We define the \textit{ancestry hash} of a checkpoint as follows: