From 868ad9b1807ee41efeea75044fbb6fbd557c48bb Mon Sep 17 00:00:00 2001 From: Sean Pollock Date: Sun, 12 Nov 2017 16:19:32 -0600 Subject: [PATCH] fix misspelling above definition 2.1 --- papers/CasperTFG/CasperTFG.pdf | Bin 709552 -> 695894 bytes papers/CasperTFG/CasperTFG.tex | 22 +++++++++++----------- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/papers/CasperTFG/CasperTFG.pdf b/papers/CasperTFG/CasperTFG.pdf index 110234aea288ec1953dcb427b88293433909fa5d..25045f6f7d9ebb21e6430dc18df6eb9f97266c66 100644 GIT binary patch delta 58670 zcmV)CK*GPUrz_UHDv%@sG&7UXJ1CJ(4}U^Zq8_JIl1(z1!z8nD?bJ@v2U@1vs@9`N zlGE}0`UMG4revqHmzG5lAOQj&KCoGEAF$y44O=|_zTxm>0S|H>rEwl)GLJHr1Z8t$ z#*VJN< z7LtYILF12ieWlx7eZsf*hi({Gcbnf(VG_kjDvZK)!J;(JgEf~?k)Xa;DDzc__)XXM zE1rkC9M{{^`c2mkV}C5is%znMf)iiYUHMQRRMq0UnWfv|IN<9itDzgava6>p+_7K>-+l{NR1|6O zWM?+ktt_a6&z?sMSRJHbb&>H%uq;U9G>S7?{XezZ;o^U(<||{Or+p`$yq_o}_W~;$E;StYC#j7oNSe5p$E`LJEZozY1 z#02?+Ly$-o2U2F}#Rhc!xys<^%w~%4vDa`YBfcnnK-iR(v9H7(;Fb zvB%)K_2TmX4Ebo4S%Ji^0)O7ly@iC3fs7?2SAh#{tfn}bR>ZgCpp9iQSlQx;+NsCU z`3&Bz#qj*^ipL_1aPsG_dF<+{9UfLZ4NoL#y$fGoML6(RcToK=E18A^4!rNR-qGw| zwOR>Cfl3b}j(kLqgF;P;J|DO15oFMh^N28!Ed^L8DI&fy$=?6^@qhCMesJTbIQ()g zC!G#iL_8659WSS3xE_gV9HqvyzRVr2r3QMMM`BNM-}Mjc^3YYK#&7+x*3l|0@YvR| z$iojK&aa&Kwx-Erhffp4t*Wbk^ot$D^o~AbOeYwEB>Ys32e+G3TORtZ?T$_{oDR8> zU4$ecq$pyv=k@6y)qjpvOOdxD0~|Y0!b#LIOb@h za};+P`BEbfI|B>f%pct!G@>Ra0Py5qS7X^>dEg!%+~UA_A%Cq(`qg$jlI?Y=E8~}M zReO)2m&hxz8bfK!U}$E;M-t$k032r~LBztXNeFI};WDUw4<&*_&6IQPjUEPduZI`b zr08k}LM9{y$fUW$7!$>@l;QMj@dC4V`X?t6|uj|3uy6ItvHEZkKFI3e0kXkoAaK32U6Wb+1ifIqwxv*YI! zL-)88Gj9WcG0kfrgpAO&s*>aqsD{Ly^!l-`u<%7!6T(Vl;9nBJa&C)`2p{!M-FNq( zpeESTYJfz)#m`R~pO!pW?1m|}-0n~KMd8@CYE@4|Gk>5Eei5<=CmAF;=7$Io&@y8gLE(jt;_?!cesSOyF*;1hIV@fQyM%qN0BOD*J- z5+Zb|K@b5kP}jP>Hzn1DGLWhUUv@{@6|M`x+>L}g7Yv|=rQ6cP;K|iLo-S;MEESH- zV}Cd&ne%c=or$G?Fl^0-(FyNQIBrkbn8mX2RSyu?V~WGn`JP~|zo#?_Z*g>whm@LL zCJDc*=CRhdIMQfkn-{w+HF_)JciaY$>4bQBDtfq{u@9 z^NBoA1UUj{V$;Q+o8rO}cZL(JarTW!6MxJ&QzeTDq(q%u3iTHs&k3_PpZ0((?dU>! zr+f5xfwgZsjl$14qu+-#XFW8viKGAb1Vo)(1pqgO7^QZu^V&Ev3f^$nmhm322XebM zNZ2}Pq^B1TR<>=SIh2NB+noUj0k*E8+s-qAz_l?T>ZCQDLEjzk53YZNYONk1KYwVO z6k@cgzEgxkWvvG652fpT=eU{_Gc1Fz4=wWi)}i!HP5l7)`lIVAp6Cf^KlQpR?)IRD zDc>^ZdKSez4nRqiX0CujkL8gr4BcserpKbBBCIf9jY;_Ppy)?6QhpeH_Zm{JDk(R* zZXD<`$V_Z;-X|L|-#e0@(!K!;Ab*ak^(T``X2R`k##zGz5DOD#?R++mI#J}%1W?pH z%cl(JsNT`3ecv?%c?aqpb4GGhfa9=W!?{`Z3Y(+5#{JM5%=Yl|N+tC7EuaL(T+D^; zEPN+)A7Kcdsrl5t($EwXVrqgFZP@s0Ug^cCR%D5qiim8N6GreLwcOJI*)taAj7jo|#O~)sz;FVJ5!cK^h3vm!y?dH# z_lV0?7Hs3enZF==B26O}7c&OLmeA;Lj`r=qempn=yz9ziquuq2iNLDn$~nU8Yney zibk6`%F{=4G*-oSKjIyv9X9x4ezc&tue#%4F9%@2W<+975(-C&{Xa+k9vgb!8kRDG z-skdOGVpqq&MkfUynk~fRM7;|eI|2v?nM`P$pOHbr0|}fNBpBogtrCp)W45c@ZJO# zO+yrhAI;I#t)_Ehssz9os%^dG{_z4;+>ROt9g40eYOM&o7BR~K_&CuC7hw>s6#1@n zdO6Z-VBiawv8}0TTdMIiPc5nd6PhFU@^kUZ1pwobgeH^&sDD8I;NCv83zRZ9YWR zQON4JG}mawnbp~1c_v=2aWb|+st|XA{kMZPV0dAFtJ0yH`Pvcp+SxiQr-6xk4F}b0 zB4&7fjQ{k2*MGXZMA_dE;XfoBN3k?YGPdcXvrQq`5aCj|3|&FGxA}=ETrHEH6lX9Yw_KW!B~W z=y^_RdqSGy_ki{i-!vtc>!yH2aj{rbL^iy* zxr2${mf|3R%W*_lDqg>E5o{B9Y5Q?1_j|wJY`pfm?=9(Zmx4KPG{=fEj4<%AA{=SM z{ak;K?C$ANREpFPl?9dqhc@EAO9X!#6!@|rzh;PPb-nyHT8BZg01Tq@NCjo0CKIkS zlHm6%qL2cAk58suNMs=BMYFC5;zsyU_B*$T))cKYVa2Yo!$8FaT_i zD5yGCF~Jvf99(X9E*$JZW)Thfe^&9k0 zBPk)CCVdQv#++hJ8bLrpB&A%e7(-+b^KHR294R*X#H-~>QeAD@ZHYtcz(5gj zuF_Y3TId^6AOso}HY90Sf+Qsri@*?8)SJm%XC`7k$4+1%uAgNmkxZ8wfMSiP9mqgm zMqL%ed9wB|CTJikfrmm$qyrAJm<_PM-|-ot4prUOUE^=B;mU$4n?o>s8s%_^9bj>Y z{XO9b`}nEtAN+kwZg;dG#s16STDK(C2-$Lftq$ptq2N6_VfuOT_L4d{0Y}knS{*Zj z)_smPLoOw3R;S1*mx9FM!$a@Dav^9A7J`5$DM{bn%~_Sfrk}lIk(6Q8(?jc$8O?06 zO>DXW*t79>BIu_BKDXl>pA$S%Kt!CEc}&p{;+maDT%BzNf@C50lAu&egkkxoslG3g%u>R6&4eTdE7c^3AQogKROTiY5&{KD--F@ik~hV{2#T@G~+Qr#bacWY}$SLrx;Jv`agkKOn}pt`re^hAAp;+B9R zA*YINw0-B_>5jKBx^wfuzx@?n!2p*){t#;<1=)(50>DYOZi{aKcB+6Tekp`MjTm-& z9+zJM1SR_>I5H71mxAp{Pwty$dfx=t33iXR>5Fk)l(x+r-Xyt7luE^OO2p)UsDP8R z*{pIC5;|+(Q2)6vWx8p`T!*Cea@d5Z#m%URa-bw;CQ#ZdHWeqmdxQZl7y?rvJ+{>c z;n%OtTVM?eZgB?qRq&{rA>WTH9X912qzoB%SZ70#U=Tj6vS%x=-=9kg&<8-C$kLff zSxeiB(q>9sHld+e*nu7ai9dW zD=ZKgiw4Mkc2pKMXX#dTYdL8NwmFclA{n#8_RZs+2F|mt(8kh!h=Y(*< z;;=av_l%1M`(dVL5U>)Mqga1{j9$_yXO6W)sjaKaR0vo3=TYEy1Km^j|trGtux(N6_;^U+@5LN`^Qb|3jCL?$prvl!#>%X z=MW%_`ME?Rf!gylwxu|KqPU7ZV%jSxabSGHD^{E;cb>Ge;SifNUZ<8$0`}`tj55@G z0Ri>(E-%ysKi3*f%ovS6hsM=LD{Yw(%yg>}S8opcZP@Cc!FUGBz!(@~%m{drDf33GK-v5Dr7kBW`o0QN;n^VbE{#|cI8k~G3mf6*g=ek-h z^bEj03C^YljPFA+BNA}qM|+_HPxfja$U1;8RZ4YxUOVx@BQAN&l}0gmFwWTZwQS{N zuKnd*^Jwk5TibB@(Fa+3-xs&95rHv*uwkDd0-bArg942M#!CphP5{f;Qxkp8=*`3%g zf@W+g<0&?v#<=a&y;tZKqt^K*mJDQ107()m7sS%D3Xa*cU_b-LPbj|(9JxvmnN~Pa z2Ewm@x{9@VjVG)bU=6nDgmN3Y-#qvkisNvjpwm#fwvu?rdb%;b7FXhkr8*tlZH?*q zlFk`{fuw}7l=8Q>S{eAtggdv7*GV6KPtuIS7T_w?QJ-T$eW&7OonXofJyKtfLIHMK zut?=hsL{zO6D^h>xl9^Q5DN8SyUw{g7q|6);Q*3ENc@ht$p1%+GnWJ+Mq) z$Ku3_fbmI1zaFZu@fJ3rDhm&1H8t<9IUB{802_tU&zg#q`>j-|--_hTK%Xxa*gu(S zrh(3;+Q!T`(9x?J=rR*ZQI(qKgm95|TqMBC(;wv$LWzyXSr2{~mC>z&XEcE;53Za#$tj_zBNeK|n_ z>4cNOIUW>GfU?7o@SR}w<~kNACt&e6c;m-qI{nN|d1r~ApYImYH*mwpm@qE(0F}Cu8lsyXT&eUKlO#JP zT(3K|JqR#WbCRb}VKga|zHZ?Yr&^su9g;z_D+cprs=U3=f8OSP>DC%+S zCfy({+5*9%Jv2Sg5^V`9i!Le0aDRPg$e|=F+x8?rhV%I5DHa_g7JYof===Em=G{}t zqBKuQb=O5u^9@R-*WCcD< z6P5vgQ(%TX(lRQuIw_Iq30VBTgZB#92o@iAB9^<1#b0-+2#3;t_NG?{T&A(cTTf!X z_G*{q@zoRQga1w)J#O@9)o3r)Z>>D2>E_pGqZe{H`PF-A&&q6=Jb~!39q8T1PFtex zB=OxVHTqSnOpgkA^;+Vj5ta=Q4$QPlD#1N}5>`&VJ)o4Lj=wO$`q8f?9c3ABv@xog z9`?5fG;K1MW&+gVDo0PS__Rx7IgZKzgA}~O%QAlM6mhyL|83P5#rehkuJ{XR%Tt^E=C1Xd0g)K{T@ zGCVj2X_PrxzjUt5>g6uD7nX8t=S!mw+9=OwuSSQ%L_7{gpEg{KvX^192qdc@R;w&l zGszgd%J{w2MO`M03vabiCuv^f-r1d3u^swjH-+6vx4p9sRm@A03>ULAV7+z*Y*)^} z7uug5A@0PIIdHP@8g%p0bkYSB?xppA@;0o?g|)M6v5K=gDykw$F{RNe41sIcHy!1f z9785h*0%aQh4=@^cR7pSQj$`BsYPFUjQ$L7LTXv{*F}v}F9+IBav~Wg*>wF#8>7xc z-$<7YF7$(MO0ptlX(9?96@^GLK_N-00hV70tHZ@$n9yNAjmpko5ugB*M%}M}fy@Qk z`hKo6-dp}2*nK0-cEo9Rzl(afxe_anEF3@_tqR{JS`NDuAcIg1W~b#QBn4J-3dubSOd^xC^3KM_fVq1jqg9Jg5_R$8W!4;gdt(%E|c{j^LehiQfU7 zoxV(-%SpcU;;7JwKtrm45ZS#!BPmoFj zBwUfZ5Uhm<7YMCHFt2`tA?>0L*0QDk0;NZ_RF#|v=O0-0;Y%;h+S-0U5aWXbpvsqq zves`^2w@i*3Q~|It!nyK{hRGPOGH+B+a0u3;ZxlDHNuRm@-DmKVh&4xSO-fAiiXK! z{q8AE*S(uWXJwkyEWMXK{dcp6!63;Y{qEj8-u?y``>X}obKH`KbK3*uC7CAeZEQND zM;+`K)pW&&+PnnUkk#IT{1prGnkQ8u?zQ>VKd4spRgy7mVs5@cby6qdTT3Cd7{s86 z9#ZIgP#@ik6O;>iR8+iw=2^nICz+dMy{$=%C1qZOiKt5b@RP@#KD!kMf4N8#IP0V- znobnHQ1W>O$zklc_(JGwCZ~kOr~N=jgOYUSV$KO5nGkqcL1kvpXUcE5@Z%DP%pLLa z=6C%FWn0jLdgISJY1-M%EVxl|c4|1&Tprpug=*^Z zr#130QJSKAB_;)EgfkUb_>3qLxkr}8KS?wAlczx|m}re{I#S`<5s|}3hL>Sh$0lOJ zeBQ1`42Wc(jEk5V;gFWw$Y42S=ep2(U)^Kw>?q<--|c{ZHTmwffXUYZ^AToH(26qV zXGoyd7wyGoxi5h5g$y&g^^^XVBZ>I`e*@%qhTMXgX%2#WbFo4eqFVJ-$l+Dzhh3|% zQ#(&&aVR`j6^cqYAq%*R4T{zbPfsu%{7nT-QX$flUxeyHHf1q%KWN%_> z3OO~Ga3u*9x3LTe#2uHL3qE|+vF2o|@)SO|a{m#$a{6}MP)2-Yi?Lv#og zw?m)^{vMYupa>PWR=)`3DwjdO2o<+a>Imr@mpSSP7Pn3Y2_YYsIR*(9r-da69+z(= z2^F`RLkZt5mxV(K6}OIZ2|62>d2$IAx802im>-wNjR_XFi>(Pn9+!5l2^F`m{0XcJ zm(R-y6_;=b3J(J|H!_#O3 zWJ7RGaQEQu?(XhRaDq#4_nY^e?*4k5+xJi3@5eL7vr1;os#$AMkt?e)iJF50?I|EI?)*uH76EKhupanDsNC3?M zf9&i4HeOy{Br1S7$kD^u+R_RPpw&>-qGMoS{4dKtApld4|LOUg>0)i^0HFT+;|8=>QfWXMo+m4*)ZegSquTt+_D&f5j4Y0hj<>9D!!mf75{OW%VRQ$l`CLImpcQpO*gR`wR2e3pTNKZ~=gU?%;oFf0+US z=GHEbb|xNwYySmvbhiE%4ObUy2h0CrzzA>#TADbU+W}o%{=)pl{%1P>)hFP8>)yoC z(az&v*`R+#{VxvIU>BgB1v3&G``?;o;J>vktsRh9{@E272MZ8@jrHGlb63az>2m`* z|7$?B|LhFiUlJzfAO|}SfH}|te~CpA1pZqRK>L5EGV_0*$o~xz|F;PI-y-k-KXLz4 zqyOy^|Np(u{|PPSYG=# zbD*=GwFB_4uKyY-fQgNj^*?;-R@P>=4*v-7<=-x#gZY2b|0~tM$g@bRsO!q>F#I1L z*M9{n|6KyGx`*RmZvUed1(5mwI{X78CI)f`crmeY@c@`OINAQ*y}yKbxmbPv4<-Kv z#P(lj1rxBdwL3uXZ{MtJfB)+Ke|-OSGWZV|Ne45K`9Eu;1~zdp|GR1b%kYoe%+=ZX zufYGh{C~UtpXYz=JP_y(G(%ch0-5oDw@FR^39iA<9-5HQ>+4~I9{S-}T(4e`=U)Zt z_Dc=j<}EjVt^UE>Fva)Y>alp@__ilYzdzE0XGhbW3_Q;z_MxEbf6c?(pl;`8*bihe zEJpo#suk&Vu^_(%qszsrx&M1YMb)tA6^>-8ox>U7;(^Ye!Y$7qhw|PL&DSiYE(W&) zqX7b|CjaD=I^pQyo@QWlcxbTu3buETh#@Nmk&530-#6)mJQ3_+?0j2q_73~(#_b59 zG3x55E4w1j9B1Cxf0m|TQMp0ym(J49P^r!Qd$GFe{>EM*Ni)zOQq2CoNJ7Q6`e?3J z+6kt4U|^91qCPf_ycG6XBev%usu2tmGJ0^2G{epMg{1~omZPGkg*MEx2RrN-f{6^K zM9!TvcGOdl{Y%nxK|rmk?-#{aA=9+|2w>-J?=d8wSTOGye~eC==da6v5p+|y)k5tu z0fZ~ED9MKQWmkep8o!X#EI#=h-c?W9%gqtf;Z*1xEI5%{{Nk;ge z16$?}evuY$E0z0EF(0F!eKLV(r-}e@VPJ29Y^c5ijen9EN9zh8wY| zb~7Kd246jz2Wo=&V{PW|rOYKh@kcS2YswfI>(4o9B;CP1-}eTsG4tfXgJUyYPTDO{ z5c?duCxliO9FAVL?ja1`b)#?N8oe`OtG6t;rIG!|x64^13I>Ji(vPnqtmuCjy<2pT zusEhve~j6u72Vd~sWe_~oU=2jeR>#cqXxZjnpJue&3`9fHHI^-$N0wZjaMtD4}S)? z%^f{1>sS8|lUO=qlH{`zj&JccM1sQfHO>#KpD0CIy2aF1S&m(@9E<(B$nV5?J&ZW+ zA=D83w-HkyK@J-kfjVEye&}($={?s$FD1Nvf9&=VbQ|Jr6`1?PF&W=X2^eUmutI;N zSb=4yiuXatr9wUMzx*%VVY?!ZvF<`jOjn4N_i7v4tKFriAX+08_$Vwbn;38zd#&nQ zV__f;VFBl8SuXxN?0p*o3QCS=X5-9e1S|ftm*F1-ewel{a;o)@I`Mm$uJ6B=xju)# zfBK?kM3jn|x79}0D2ySrD-R%$>g5*WTtG&35U%3k-Up9+>MR&mM^ zq-((OpVzj&>bWP%O}NT4&{)}x_iNrViR~!Vgt9d%@FFFTe!Z%`NXNzWwYe&MIP#m> z>Rcx&A~`1#l9Kx2{3vVZxu`?p8f;3v*tAY{u)Vcr*yQ$OF~JXi?pMO?H}ohTG-Q5Pq5oBwz(c2VP5_(aCZZYgwmmNNKV7$ z;f83J)AjPzNmMjRTmd2yw^cr6e;wj^tZx-;TNr80W<=~*+O#BPtDlJ#pxbgsQV=3H zu_=aN&|9wO1dtiBP+zk{3f9}l$F^ttywt>&7_1P(y+3z;7m7ScCMUP7++on7y?d%X zKnPp$t6+4>H~jJlhUDf6{z!jUj^uO2&|hpK@IYJct#a_T3)A|3#_!5x(|71Z41es5=*BIIVth7gf1|-K$0I3q!ozi| zAEsQB-#CJIP5=1yK4j$B=%1-=pNci`#YzQP&~>-pEO!tGYPm@ur^d*w>E| z-kZOxDinV=%pLzIg;u&S48>e@wUs~72h_xwOAaAIs0LW_QHyPp@7^VsB^UAbB zxobjonS4a_l!#i2fZ?oX5&5x`YqP`~on3Gp`TCeJ04S=SsskQ~LDifu$dcNsTn~rj zKfMcpNgVrirp6LF7AejSleHYDnO)T1Gh1|Rqkb{lONR2@{=!;UGWBVGG$xfilFl*G zL$FAhdKeb4f2)%wM__4U;aR2?5BGYhhGxZ=T*asp0ZHOS%`6Z<(MOU<;7i{lsi|)& z9o*pfJ^dq#>;A&H>yYemgPD#xxT%SP(`w_!7w|V2$+7iT}q%1TPFI4ujAwlNE zTQwbsZ?F>_gVj1_9AiI{)ZRID(GLD}C^&caRtlRw@%b>YQKF$b;NS&m-;>f>=A)Ix zmo~G;f2{*D$;1Zq`WVljg7Wx`hg0P}s;MCKwGbFDb>+5BPvW=Y(g~rpr^!7V=j&}^*?T=PdpVM8e>0-_Ie6E>wj~P#5lO1X`A2@M0?Kuw zs@@4r$7Aw+!1%CQqT{fc?#1WaRF$I{bxerett+vZv4XL!ZdrsA#Y5q}@{YV_40zx` zNgaLd9HyajPCvaokKLw4EM-vNE?R;hxmHSGc(O^}z$QpS&Fp-MwZ1uka6-fTxB=-p ze>9&CDm{YC1?5EG;fxj+gRtWd7(VZ7NQ{|t#8wuw6Xv4C{U8*1LIw9K8s61zq?nmI z>@%8M!q?+QBjlq$pVGeP=LA8r$%mR;wU#{!^FCO1Md=mIUQia_m~b!+;`%+*|#;$K{(dt-{_=a+FS9Vzx@*jR3IJD+m^31nP zGFtGpy5lmBn{7w*iMcH%v{+zT3B3*T)Iv=?HMGUtrC`6E%OnoZ43qmk%Yrf-f2s6* zheU6&l9Zi#*haD7x}2`Oc0`nPkx{`K$Rzt?r<#P=-WN)db>`mFn#S-%gFJLnop*0( zPTs>WX2x`L_El1q^}~XlZH>LJ$JQ8K-3ttrt>QjWcP+n`)3F{u$3w(&tC+j@>n1~B z?CpH+MfpyZ1$+5OLzjQU@YAZNf94ha`!ebJ^jz|{-&vDQhOWR0-AgJ?R-R^@Z%(=p z8|ZiFp32crb&AxIi)148t{I6+56n}+pE7SPCNo$^64;M(_jX!`Fc|+R{}w6$q+aTY zlXF#qn*!2cBT485CZ}o_30@JyHupcqq&zm!Y6-lFa4XbnW#duT2hA5me;Pi%?L7>0 zqH}?^eaOpKf{(u@{GNQHNepTVqsA6z#>KG^6KO;Hx%LvxxxHg!Mb~$yBfdM9X3XS| z#h-kGHb~1cl*|N5SvTk{LjQmvyLx$D?MlTTdszR{PhxiqhA`xmwb;W6QZgV-#`=+N z^F^8G@RQ1haPHyei+D7pe^6MQ4PLyH^3r^xl@@JRm5`i+^MU9nk^!&u@;ZN5)#%YE z+O)8RriCD)+-R_mvq0X6lVZr`?&X3_9C=&$`ftH>p6PZL9JDU#bAg_4-n3gdhi(&L z^z8f{So>oddFq%h_i!1?Mz^3+|E|<$1yynF(vso_;Pa%y2wO8-@i2y^!z-iu;s%Clx& z1{tYV;_s)C7Wi;)+a6wM^Qu>+h-E9X9_$LNs1ZVMQ4ti1e_M$od0gFZ@uj)9va$rrKRk%{fcOt2B10#LD`{C`y?l z2T0hK0tr5De}SkSH40WZ{D?H$p;TTaeb9`wu@EbhU@6gJcmM_dkGkGepmeem?EOv` zbC=rJ67v9+gEa*2jZSXJDqg&i<}5e1UXV{t>Zglbj$R#sG$xALUrZG(q(6doi59&|?i`Xm($J!+qa0yLF>U z=8jr^kfQK+QH4t&qI%vk@FpkIC`~h~tRf`tVnEc-=f+*ENqj zL`X)h`mChjkxsi)vy& zLePqqEar)#%aG(HpaY zI+a=~h4$PfVjBTCHq$K^%-yB{BqN|!$LwjZ@}z%~9@ghyyhenbqohxEn6RMy%Rg5> ze{A&#YP>iYE)8K&uByMieeF*{`$=}u8YHiq`CLJb^qRrz-J7$tj@e|OD4 z<1iipi&ykyB$5p3SK1n=B@4?JE<@`YWjTfEFUomGyk$=7Z1=sUel#8Z6BJ*b(TOi# zxI0W)w53sx?2R0ZE3TEur4xFA=af?n-c*RDBCfA5tSKc%pY&@#SuVl)K*k9Au}fs} zt9SWmb;h9A$(gN*XC*2mwbB~Fe;Stab6Ce?HjJ!U3!3qs1J-rLwx8hPLh;-ldo1tI z^o5MAxVpK@A54HCGHS1c(PB|Pbyf;~S93+{8$V3?IN5Tuj9sK4x+=QD946~IQFcgf z-?L+P5@g)mp_HQX{v}c6w)1j=gka<$@rLsrhRa?0Y+#b~0)aV{vKC#}e^wy{G(xDP zZLO@AbG`udcyzRG&T3d}P(M?UEJh@7et zf4n(t_y^!2#HyBA$azw|*e25B2uq4SAD6)*F_a!g{c)=qS9MzQl-g5d(f^j<%sIPM zJ!Y1uAiR%ddbEDI?<)TTu|QVDX9c(1DfFXbw;G#KVk!4NNNQ4~f69Rm=gHcwcG5Fm z0x-ZI${HatY>?%*U{qoCm8iis?mU4CzgYzd()I( z0mJL#xv9e?Hxf<^X88^e4o=Co2H8uPZ8G}NCR1Q2;k$l)9GUsdBFtBl5+%AyOVEY< z^YUb@keRgsf-PQVehU8qiw+648d-LT37KHoZ`#c4z#JL`K+;nn4D5 zs#RInkG!-~e<==04SCyOerZHn4pYX0;sT+N#mO$58^kh|DCvO2B~(#zIN>BOP`$pr zORj(UY{?olSYXW~tDub!2>`yoBe1**OhA4p^$B$Nm%sA;2KUL>&2}8IQbS!2G zq0ziSx<-DBUiqNuj`!xAwRs!k2LndeM%WL>e^Uof%Q*cZ(c|RftzjK&KYjP! zi>E_@)nWN?GsspwQvm{O!fy;et9H}hHj+1DKyy~)WM9i8SP=CzAK<`~r^w?-B`Ia3 z7dw`iYuy$}6BWznJWii0hLfI$FtXfAY;!0Iz$gFGMCtBqcPtO z{`;RRwb9oaWUmVc>56=PMfL849y-iKy5leW;R_PhboNUnHo^dwPRauNY&D=(0_O7~ zS<~jI(XX9zVhm%o7sSr0AW4aG8QA01k+Y}7e?}He-=P9~3lQSSBVUI~59S*GXK5TI zk)Ujs3W4WtrJm=eUX6x4wuVOr8>pJuMc3ttT+!jy^pnD})S9@eDY&QT+?1|6_4=)% z>z-@ParA=~PvQ+f7y7ntxMy<+IWk6wLGI#gl%kmTAIj9o1dQV^aLGv5BP0CAco0?I ze?#-Mo^>xp42>CL4OfLBjoJH;Vkh7EuV^2SaA)}6ZS1@bDPjJohg6Nq@Dv5&oKUNO z#xZXw05;LFWL7jH=xg?yrhA|IOcm?`L9Yu0L8O;?bW#K>c=>3<2(qX-*=U>TkB=4V z;csDbk|2bt$$A(=k_XE9wr^&*mT!yoe{I$rRJL@6UkH8%V5j=Sja7#lVwb?tB(w8% z!0V75QCO#Z@{}BMCE8^L9g>po7$W^huh((47P49KM>l9qdWp*z-O(sgl8E!aTaACK zd}FXLo8ghjBoRcM^DXI}JcuD?T&C@a>yqM?2}BM-u`@+5IaHCZeH>)uT_QO4e^Pyv zMb~byU=}Ij`4zIDXjVQIEW@=r>Q3=g5~NjVgqVZ;WvckcP|?|(pi|st3(rWs@#)7` z9CrFiHx2gy2uLSPeB53TT(V2@XId)bD3uzFk2x)|Y5y_ujbHLEL3=4&XdmXs!Qdzc zL-)md46(b|9l!BfG-Y5+D@F$@f44n%6G0i64x=or52wuIgl4kfoaSqOaInh$;RlSQ ztV}bgKB(7`i1MaR*`3i2FXfCPB=>+FtKeFc&25r9y$~`LUTGK-W?&iG?eO9oH)&5Y z*IL{8fH5ROJ~j(1Ne!4%G#2o^rE3?S|CnOy!9ey)jbdOD?QpC|=~t&ce?x51;U^Ud z;V+pEwMRA~wb{Z089{0U7aX5>A$$a>Y@Ja*^#r)uAVE2a4CbjXkeuLrKjZHy-J)xd z0E^{(m*Lkm$msPoZSI7Knn27F&^uH4IgCHjqdyS7#EfOs1HIf`9qn_#NKX%(;z09P zan|hn(?p#qGa#R&TMgc%f0up@8Qh&F(0%HIshiB`h>!>oApGugt|dEopB}PB=AZl> zPe$kXv-=GZvzBm`jM;+0CZDZgOQbKYQQ0K}^MNTT(xWP~yX?a6wX2H-q=%FnCa|jY zw}Mhnu5)+2O6}!4=poM0j6mEB_yY+mo!0Y&FfKf1S}Pgo{&a4=f9kFu$vI1z!3yIg z=`w4j-BaS3vR_EHiI)+E*hrL@i!FA4h+~aMTpv94fH@OY%Kr!p~dmRXB ze#(^Uey}PR>|+Edf99|p+>R@T*#&+7`KVOOr@Nix2v2x%XVkoQh=9P-5$E_C>^POs zw6|+RIBNmm^88gx$~zwHpeFL%SOkZNvMWMXa$^zgPWRhS25!L!(PvPKd8%dKsXMzH z9-}{OKeeq_aq8rGBK6d5LbHfD*+ zTF;xG6_@Aa;Q0i37*S=`zS*Zlb@gnoWhiJ@(s%3Y!#??o_VUrEHbUcOyYfdWx|%%v zKF#UprXq6O+WcxiN=x*8$L8+-QPhIIZ03i{Mi(Oke?(0e46zml$7~dekAnK~tO3$vUa6V}JN0@lb1XAP?g zwRHN~8Zo|~qBJzFKYTYkAw20whpy62TqnN&e*}1|jtS|i6468`ux^g6S)I8$osX4L z_GT@H8ilSHrT--FDwTx|46_rAjF#h7&?tHSKz!pVTL+E+k&VoEhDba6%XDG-CeQ^E zo?YzZGkz*usdyRjuWf}-L1@L&-Nt^R~cYWFm zf5^(|M4(qpheVT4=!u!kflay~dKbQHg|^^KuP9p4ouTY*U})Z0Vlk5$BeJy%siGAE z@tchdYO`zRCYl#lSIU}jJSU0@vp!IfBQ#0;Xx3In8htrWs{HiJpJDO)VxvgxX1vT` z>CD14!7tX^B1}RTVbGZ=XJ-<-I&mIwe_tSFU);6xyi~(SMt9cGfAgoHhtn-mK0)%( z=C3kw4&}-ooZW>h)=c^i)>DMmS>^cmz+N^JBDCYupy%~|sHWYwqZ@sb4AqL=_M;1%8MoaQ(e>P2< zHp&zy?QedBCX2+6VO-{ieG|)CVDF(5*7%m7c)P@_E`$L;AL0AFMDA{mFX818CBIo9Q}w0= z6B8;Y>YYe@Ok+2sjW_Kb8EyNXe@L>N<=Yo|19#p7r=9cs@(&J|Y7vFAxn)|E%xm9t z;(IR;tC*#$k-MKk_jn1*=@CdmLs*cSz z4s3-PE$UHB8_LZrKi|xU_-1JEZ^PxudXFL^D$H`=Ty&w!7=t-VM^+n-f0Q<1RL8B+ z6f$ikR7IUL^w?DoBv~ZjMmj9J08>D$zf+WLBb7pEtLQdzzKB^F32UZYfS|H~KA{I( z_LxBltQ6mKzw|x5lnpZ4QymE5%Ic`MwFx$l)?kIwcWqO07&XRg;o11+-DNRC*W;vPo%a$a$rNh%8&D4) zUtWqtX*US4=psZgwMn_I7tyd2G%jY&Rvy(RZZOR+DYsW3mu@?_AGMzbYJbzyW=d$> z{WDzWC|vvj6dO`T#{2s+EchmRuIH^0`q9J*p}{^yJ_UZCYNb8vX_QSrCW{z!ekBwp zWyMRl9Sc0H7aVIaJhdIvG{Io<#4JBP84VYxGtD@)wwFp960C=e7v1J@5J>nVMv_f5 zMt!V=h7*FA*z+85Gq58l5r5~4vl1ON{b8tss~DnmUp$XV`Pyi{w>ILvm^yO_(%)FL zaW#|-EPYBIfZLM4DG|rbl1K7TnB^8AIyA$mcv zqA+0$>vR0MA2jRN(J`b|aoGdqJlqu-vO&S?3(kF=Bh?Bk)nD$b+pvLRM~T-V4ERjq z+okS@aeMW~$JDhFOEEK+Y_-aW(vsA{gDHVGaKT+|=v=-lW z8wE;;q!(EkHYF~0zqtFyyL^fE^FL<_`uX%|x;{<4u+^n*K7Y}y)2hzop3_47FiZin z67q^?)F?G;OK0b8T-{5W-O{squ4CbGGXVUCc5z;$` zKWh!_`4OtLzJ}zlf`z5rJ?}Anj=6U=nPdW#@yp=B*n)IMt&3gY7Z5bZ;8hP@41UxZ z{KN%oYU}vAw11ipYc;GI-0rw`)3?zJnq?clfy#S&0sfh&l)_8AID+8`>VJ35>^%@c z+x)#88z9BZ4HXFKTb2!qh(@&2qIR5w1 z_$UeD$ohvz41M>&jaou{s=jdqFH zKejd&r`T<-{A>vRDVNy7!+AE(gAvoc|f@(dja->)eqV8iA zdos*_uFN6FLlxG;tXh^oQCG?5qCO++=fLVZ%@(ccLD9quFhlqsxAZ`D?fL9rLw{@s zqxxlK^9(;iy(;6o5+R=nmJLq4Z*G`TO~z*`VVSoqnjL8a-uFj}BE)3+xgy?7>J&P) zKQpvL{;4dNlT4%&ZS??Gy(ZNcEUy{*da7C5`IiKBo;(S2GG7(37p zry{5m(I1V~cZ+MLUl8k*1*#VQx_?tjkY-{SwdQ_qUM(3BiFR`u3bQqjPW>KcnSS$l zV94w|`u6izQ(!7$qaRmyrb~Uhtd%?b;OpM=fD4hnCNrznHzi1W?ESB|lXTqnRc_5< z$A{Hd>SGPJwMC6ITk8cKJ=3_m(G{x1P&?-Gti6LMm+=(M=v_;Lq9&iFzkfbIqAq70 zoj*Y;#Ux{g6i1S}@Woq{LlhoddCzHP-NUaB%M;Qi`9AAB?GiiXMBjZh_9i1kAk|HU zOnUl#LMSg``YwE$BF-9WFnCqmgP~v*GHM41CNtIFa!95@d6%WWJNs1?gZXfc+2RoB z8|8#8TY$U3|C@@FPoKu6hktuclU)@vPBg;!;Oi?4+Fpl3fa1Qlk47ky*V}GgWe!KC zdTVoNK+T{-!MIBnJ2gM)g@r;1efd|kRo#g-x>?bJiHwG{eKe|{GL?~BS6Q0ZQTd;2 zl(GgRCs)sTRicl5=QY+Cam;;aKqf=gUNf}`LemaRfg;C_z5?d$^M9daPQ#}o)`}Fe zFnS4E(EdBLB%Y`rg4p%T2KbHcvrBSDMOMMLy0k-b8@OdKXutWWuFseG_@9>D32GA( z)XQ_?rsJq5e(tfWx-c_K2~U?iHAk6cCWUT)dp62Q?6#1o&GE{+JH zz6z1}gW-A7kNK+%_J8^0rp}*dT++l$J}N<6W$EA!F)nn}c&BM5KtLZ7Q?CGuAqdjA zk~F+BeiRjXv$t|yoM%F`vncFo#1}iJc5d)L$@j^J*NaZTtmLY30F6O$aLKia09zQFp~X}y%|mS+T0vDxb8)ltp>a7BrRs&% zy;+aLJ_3B^(5=Om*U;V?v*Xa+k36k=#sP#Pn?J-FvSEh>a55YuFdm5nuJ=mg@DxT- zg9^8ZtS=3JwtpwjAg53fYxiyO$=O3d*P{A50pvi=w5175&CQjxM3gmJpUTcKBM+0C zua^OpbWynXpg;PIknJsoBXqTbw^TTxhx{C5Pw%#WUz%7!9c$co;8;HxL`NC^<|W}Bk5`CDaD z`!JQ2^9|WG?PA9H^pUAWha%4<^`sTXqR<$He;^A_V)Y*`giFUNM4n+6_f&dg8U)Jz zwTYs(kHF(Sg^eBD4Uzm^!KKmLArufq_mX{;+cDl^==ZJ*UFN(ghpIg*BKcUHj zvBkkxOV5~4$q+2HfgAfU#qhX97|Tv*11x+;YvkRD>ErCeNp?Rtj;Zp^l*5P<3+ft) zu>rrq)ZBe1&0nt^Qc%MT^$e`0<1dTcHL>74Tz{7&T^QU!FOI*vUF58X z9qj@GDDS$5qTTXi`mGA|hM9YND8ThgVshkB9a3!Z=+}=flQ$x3>KOCe5+UwS1PY-8 zq1Ge&4VO{|2v!OGd8)i(1TbWGewU!aB`!DWJX>7y0#mBZdJNgv%r16j&a6!PLt4b; z2!Eva>R;b49{z}wC(X?q@7T5AHubj2IuGhQ9B#CHjnOZ#5Wx->@ts9haa-(RPr`T` z#9|`fKYgLu`M^~4Ch?wFEN>CgIsCSV9wUd8PL}7sCa5i(}ut$)4ND@9)H4}7!TLFb9>3&1HjbGtXtzv=$!z4CPYoY zG=y?z9888yUbf-fWE=J2>XURej!mP|<8p`?^-bkRTpY(rkuhV%rDi}uxw%?oDO-$& z(OabLB3+A3e0C8@x^4)%BtuXm=y&m!o=~RVY_i^t=>BU#$$s-1g4IB}y?th1Z z-FK0U1-FP3ip}LPi`K&5T{REQnAdHuj3Z*7L~@-iy^bqq_dlDSRG8J~N)DlLgh-WP z&4j2~a5h0dL9*}}s)e{FSfhW>#z4yDpE3L91nsm9#=w_Co5lA?Klcd7T;KMJoO`lJ z(bmH%hz^6z{$h+p(6j~|Lk}y_>wou(#8CIJLxSV-N9fHJwLR`KzgDFZGck4yC9b4qKXF<3JBO^rn!-C1)PT}(25otRUvjDCE*4-kF$OW z9+~jjiiIl|Zg8mBoT=|w`s&c&66r0)LW$|Z%}Sx^DIAO>$2y4e^gOb5cX(N+gDGB8V^fuHz7?8s|hEMnfvl$b|&?zoeV*Mi2?txk;i7eoa9 zk**)y)Vw1573yW9iJlK$Sx|WQ9+!CEqKt%rQtHTw`R_B}#SHI0JYECJRj8VhmiEHjYr{#r+Q-SX2- z2P_Xs3Z)=2G0d=zF;>I-YgEHkp_exN*q_Lbf_BLP0hlv~&!V;LvVWhRiemqH8C52&0X%K);EuN%Tt9 zTbfRMO9{JOr@t9g`GEnWI{V5&C~1;8fOAQ$?!zzTCiWS6+WF8!U9Jb4xv$@Bcj4#F z`UcF3e(XpMwSFX1I)9#WO%dO|1CL=K&T1hZ0F@lqqz65+)MNt|G?~Q`tfdMq{ZvOl zdY4oZUViQRfivv&7T10@xc0k1X2G0PdNw`F$^~1+XAljJrQ+jhjIwpSEDPeS$KR!t z5B~h9XZ>o1;P&;n18smH+D-olIs>&h!&`iY?#^QfUdTNSP*vz*W@A z`_CQ7M5m?&Q8~!bvc*UXYDBXbmrGBuz@Un#=XgU&V9_LY=CJ;bvLCcLi`odEOQa~u zH|*M&#GsZsiGM*F%0%NEaMhKy5+zx`BxM`)-Tst`RlEzE6iXU;XlUjZvv;<5Lg>?< z@3vb9JDw1Ja0QZ(+Txw;koQam+=5C2VBO+#FQ0X}-nw(L25py4N@b5F!t+ThZnFZX zhWJ~28KyFyVA2xBUCk(Zl=_F5L4O*=8xzs-Ep?c}1T1P8Lfnm* zEYI*fS$-#@nNqkl_iMG|3EwLwKES~fyzEe;+GdLHCOj<0dmOpYv)Ppnm?-0hcW$LhizI$YRa z7RoN(8MExEAk3SnJ8m59yYV|5=(=vHz|5KZwV0aO`9ZELp#(XCRnF{U(Zn}__Ka9RD>zvda6?WPc`uzcu$1JmmxF&35glFJcl*G=1YBQ(=WxPO zYJb)7=H-!{I6`5@2xntk%5&DgJm-UN+WY0}8(0hp`P6eHa;81TZ=8(A?R{87dsr)0 z(o+P>0mqmu%WhWFZ?#HyCbe4pO&dqH z*wAV-_o$`0d~Ru1H1l<70i9mca5MVsO>C6kU|A|tPq);>o;o<)c3n;-hdX7SO7)p9 zOi0c7)y%F;P;^5`z33IMd@-%EuNuKyWJH;65chZ*F^t^XG3+EgPjEoS)Xz{yh7wgdDNCbMCiW?NIh&YL~>? z!O_Ruwh?FS>xx8WY2wGi1H0F*R?l;6te3QI1tSZc1#nG*$odYYI)J2)!;M)Q&N7U( zST_I`5?EYMfdd|fXMXswyc8O#gn!C&j9z1_?6;y#>*oy|bo6ylzKbQGUO-nMSz?K{ zbWWjg#oyM|pgK}F!R^@Y$13T&7>0v%6M@)2-W>>Jr48xR$9R^7eTa*@#M_5|W1+h~=!+$G3hRxDf zbE0o<;u2OIlb1GL#ll|2zGNZ2jaUXv|DKYeLnD^lCtiZKJM@006iad{f3dxNCcfON z4SE4Th!2CM>}u?N>w_%K;feuN3|}!v+PQx6Q;7uhYFJ*b$|esJ+`u0p(}hlSdxky~ zu()Fh{8W6v9$QgXOZb{yu74f;V?wULJIGBz_tMIP097ae6zQ{K{{g+Ce@W7VG(LYY zmEBQMB?Rf%EcMM1H_P(ZnAQ=bV0?z&PD%5~4qnIz(z_1kDN#8PZHWa$TdeCn_URQ^ zVY=za<5ng-pzfE-C|heDzy|Nbwr=xAOAX=CBqXy@8n?bieBAZH9Dha{dmgI)?Ab(s zOO7mcwJO$fD5lD1TGks2<#o6hlTr>wG%q#myYZRx(3|?LTU%<+Q}c+ajlzmf;LTOc zN%xzT7O}wAufhIR(&Zw$^Xmj<$?e70a-nbj>&`bZPpATCMz4^gHt%C?E4<%rZ#L$a z*VK%;@e7|3g=W8^o_}w59kB`=C?GzJxy09h(7JGPLE0aUWKts`Qa`$6;zitcB|;#_ zS4l)h7BQrHL3KLyFV?T{)qTv}s0(w`(b>hN>fb{IKI5M^xXxFQX!n)rTB8}nCC>&H z+*s6u+ip;{!zeF6Na@5GecGnlr0T9LUPv?_KfPqO>qPF8JAXE2OSOBKyMy-F-e8)R z=?hoGp#!(}^x`{lym&^DydZ z?>mtlZvKtrO@Go2qw0gvm-Z4H8!5S{ie?WRN~IF4E--%LTfSMO@`x z9R|(dDF)8qD*&-Ta8dv!T*>v%rOT#iIvoWBxXa0pynlr>X1UD^NIcN`mpV%Ma;ptv z=Ek7JGK~t&Gv&dN3^(>1NKN6@d^?eWOzrA1N;0p{4{C0SY3CQc;2m}|^DRV110C)q z&mB_Jrqq23$+4%a^zwYkqJT71u_i0<4TKnJzXvDoOZBq#(Ayr${9_ z^+j72NRmv2sd{Qdry3cP10wd-l)Nx-GiPU@Py!>UTdT;~JwpKE<9@&frPWs@^~Mw7 zb!-iyp{pd;^ zi;#V8?*14M_}_UEO)oY3_`P?T4NZYGZh0J}kZY7-xc7X6(d>}R6seki%taw1&K+&# zQGXR4_}T{2e3W#oLSax<4G%PsO9SGENZ_#N$io3=-Ow3>9l;58%dms8Mxop+V?cT1698WxS~NaVvI%c-LyGq`=a^web6v;#20S;8EwY0)ioP_AFBcgU$!+tKRhF zSeb6QjW|5du_o&&+zvEv<`mk!w}MU= z*q8;&a-4Nr;+KFU9!c|odQEXmole7n9KO6g?&C?+S5lTH?$JqkQS6fKkn7>o3Fm=l z&Z}xeG=-Ij2hwE>X)eQ`0ivbD1|wsHCk@qg^7Xlx8{GBXC4m|GbG1ZCya z#brbRWTG<408wKbV+VaJfSj{|mAN56%G}V{#?hD@U}Eb4u=@7_U}$S&Wd2WSjx>L< z_#FX%`T$2eV?*=5ZpLng#&-Xxr~r1x4%X(5j(^_)=8gbU2Ynl-zddlW1(@3yS~(m2 zlfYlOiS54%Pclsx`qxoMoz}Doi zrID?n^FJm1OZOM%uhvQ5+{O{$WbEejPb>p}V}Oylqn(w$``_4q!R#E&|CNTbqq&Xg ze`P=ga4$n=b1-*uG`2FKfu?8p z8`IF~Z){U@8)({pW<}h_#1=qL_iwq8v)zB_T#Oz5)gZEeW`_K468c8AHdgKcBV!YP zXj&Otr@tWqWdCO@)BL|9`TqgM|4#`1e?ss79l8IVqyOm=|KHx{{|+tUY-J^*Z~b=w z{=H)Wf0vBD4dCyd0Z0M6FaO z4J~c{A%XedDq|a?|6ajgy8e|vt$>oOh&n&z|6;-Z%TVs`AUG+x+x^Y$e^euFYxJLo ze_#XzY~28!)buQD0BQy{`oH(@Z$j)0Oy2*CkpBXr|F5&OzLSHw8$k1K-E{PS|Em6f zJpXml{%!sx{H^*w&i|TwV`DdCL+I5d zTSLwui`0xXry7i$p$Q?)z8?A?L&0``>Xi!f{itw_6*jj!@>ya~yFd-IVtN!nQ{4+Cg*{=lW3t44WVFGy{JYOv6$9PUoY zE9ew|fa6ZJGde(CKa=|ry5#$z5jr#|DDfQPd$0Q> zo#t-M&aPBp<^Z^PUcKq#z6QzST}b!(A$75?OP~@-D4uAUTpy-?B#rY=_yvRN!G;DZ z&Bzn2opS8VHi6`f?g*B>L{8icz|%Do`W}f3uX0}U7+i>3geClZ^k5CL#3=BiF0Cn@ z)u}|48dM#Cvt1(+Q`4mGB`-qQ8YISGW!G2gV{!vR@Et_O7bLOVbtAXcE|P@UZXe3a z#U*1gHaDjdjc~tz6L0Y|$hoJ{GYJ?&eYQx;u0G9fW7-8gb3HlMtkA%6#IOoiH5n8b zMQM_!Q@&9GyVNbm#ZAd_>q#n8e%#hridZ#@Q__pFyHeDMuv~4>SFEl`Dod!6*&5N> zKcqxA*sa!41@XznEzk~?{xM&UksnA7(8T_rhA4z^&wp8esQOa*3k58K(Hz)F0aG_9 zdrzJZ9KS^Iiphr2QP;-J9Gz)5ir@V%X5Eyh*Mbs?=R&?v zACc~RccC{=*oLPP3>$b0tyX8>mDD-ZxG-oA5V?m~sTo8Ufy(d*iLW_+C zy^PwXpOf8x_SA@;XhY3+3u=DF^z?d5yf1K5=##NVvhZy3(!c(A{<$YhMZ*ZWg6<>Q zzblNO^arM#Y6i&Em%diC*Dw7)K8}xUG-_4oK!QbEAAdyQiz#DwND#^%OFbNvYT_s` zJ*LPjEVc_Xy=|E%%M&UYl<8SnIP-5d+CKT-V%}VTMb9%DaVLSvv3ndD(dgGV&b;fS z(tm)AhFjoJ&0zgpiDaCqVWwoZN=Wrt)n^4vQ|{Lq4HXu!z&zmOAng$=)YzX%FOmC^ z41j%d_h1t0msmmTLfcD&uo6M+~)cVfvo3iv{5E&FcN03&YA(thRiK)kUhylOGqSAWOrQF3&%* z@8weK0YuE_O3TM{9ZLeZOG2m66e70rhNf6f9PWOo9RLZn(I_Vnyz5AP`p&gTsbyin z%OBZmujq+2#~*z&zYOsJjW_$VFdrsuf70xP1-mfw3sPk= z7Smoyy7Q79uN8IAa?|+t-&1@W;G+->prbDlp78WW;X2F;JTLvo(MJo?A$X?-Ek5QX zxVF}hxUV@%M(x`Vd2eX&8383^lK{0baOO#w!hu1fHrW;19Sq~h&Qn(!GTNAW_Dh+6 zQt`VWUhQ5JtWPtWYg9I-SlE^32Q|q-p%e}}<|4Qo7bf#>a~U1J(>QR%ZO!3|%PG52*}8qrPn{0UD^2 zNFBvp0eXT*^ZZD_t*czQwJ$itf_2sJhSya#Yr#h4)Er6nm=({yuShw2)N1!1=ntD8 z4#>JiUOodO*0%GWrPvj@(`Ro4RaWeu=pK+A?8l>b==UHcgpqvnzcMj@zxCnoxfCV| zq`^`tj@@X+yXS(!b&_D_k5gb2mY8oc5xn)JT0{a0Flv{JjbDP1xaRg+yH=6Tc?I6b zt`^$LGuNmd6F5FWK9z}i1Xe1q9qA79z>zRCPOK%OBFx2qL; z=^F*ghF%NvFQ$?=6Cko6Q!10=smBA8Gn4r@n$>pyfc= zQF2U;?J&}MNw`;L~D;b;~iwUm(aL;Y!$pl#kRO%B!&tcCmlB$FNGd;8XKf zc9Rbg@|ec-jQY!ZLbkiI6BC*%@d`?`*yU~y%hsIql-M3jgUw5LY-ODZ5b-X}*dh}f zuIhE^T%0A+nu#NS3%-SasZp5L)G*>~;C><9;G#igzBlxfzz5(9fA(gv=`*$;h)ZjX zXc#8$vAqqrVL&%?Ck0Z*_oZ&r4BOe{xQ^sXDr63Rw!1RTdA#KkwtBI6U6WclXgWUa zQG|8!C1bv)c?R8qw=^c+3%!CO#CMsyp3EQod)69LO1OhUTwmVF$pP1OcMv6hy&fa+Mwq^)6bURq zB+Su^Kook*rj#;QD$ly}+Gu%f9vSJl!OJj6>MvvtC%+s(fTbjw!L$-bdkS)t>|49HK_U zxy2MVpW?%n(e7X9R)IWN3)-hE+%-myHJj{NfoZ=Ppabgkln<>XV(KrL4#%YgfU6N| zONF0*O%N6<@s`RO(H+|%Lep-RoP#xf&~5R}1(Zu$LQ9h@vh?*A{hUMn^e8MBZ+*mk zP<;1>JZ+hpQD#W`wRUPbWA?t-6b(o3Q-tm%X4F*0!}O@{&W>Z!L6V|k+~af4<+K0& zUI#j~n4z`gmy=Hc*N;Tw7FL)h3~bQM$~ESHG+tvqcGRJZgCdFjQSyuX9gH zzr`c)dIK{QSIsB7aVQhHHpgXyo8c6v0BH(E9!AFEkASCGjvu)ur0~ zV{?uX%l@ztv2Dy?zCww`&j=IUg~y5jR#3|mM;%N=o-l7XIr$dvk)n9KQHc$PF@OIv zYiCc)Zixdpm-)d5WFYpt;NW%Bhm+zW8_bmbWWCN@UZM84u~h7~m3v6+0zvYB%MC7; z)*_FX#)Q>s7EN$b&YSz}7VY`9)^&>1;25o_laA=Cg1>kK~WVypZc5rQQ-b8Xr2D*_=RdOG4zccCmtx1yH~D{9H5g zKMhUhEP#8sF$wUm0tPMMw5kG!6fIWPTQNiM{J@(!;4nA4--79CEXuZjDMLkRSbsyw zj(}7Ul2mOTJXz&y_r_2O6<3+^w()u6_~L#-u9H(07}eg|g#5hETD*qg+JV;V zsjDhT^+r;3@-q2bs*^a$4xWRv0{TcwEG*>0&^*!0r_!iN!eK<4Q>~DA8(ZDJlr>{e zgot9dt8^o*$E_WIy|ra`^d%>3^x}$Xm~H5e>)~D^^D-!r+^hjkIuzIEnB4gSuFmGO zpg1dpK*Ao4_ti(&finudA8ew&@T7)~fx!&i2OZJF*VOZqxRjsA8JQBMPS#r)*Uyi; z4jl-mp1DZayeP{sMmPy|H5RmboHV8mm)(ch9;WVrZyfx8H4(hL0;Rmi?AV2wEc_G} zHejKSgvxXjja?QT=V@}HECy4va+k0E4~M0HF%$#!hOtdlrF2ad!>B#mU**d3EtMVF zEIv$e>io5Tda7v#3XHK1qH7ZhR33y81;Pyb+S$9Uu5qhI-f~rGU zUnr4vWPHf<28_nG=&s>(JDt*_TC>)vd|IX(gpBEbfiJWcp3?$?&rfjtjT~bl&f7J* ziF!tCAWS?uSjh@<=*qkUk8l;8MEB@@)xm2N{@b}%8!&m!dvPnwlZ5CYl(Z+2WP@;N z2yFCw!W#ZAk(L!A>Jen1G%^{tflCS0C8mf{L)1}DLEz)f) z*A=Y->b+O6hx-$nDn6l!Qz?(VB@C8Z^eY=XgKGwG*ji~OFI}vKttVnTS zm#Qv8FsVkzQkC+&Ny1ApI+eQeO6aQazGapK%}<4tejcgOOtT5}u7_ufq4tPlc(Ag> zN}aa&L(H2alS3CVtg63Q2??yg*yO8wXI!Sjp!ySka7Iix!uA$<6dPju{$WsmLeED) zqzb4Hq7NL+JUfSPhWwx;B17a2?rPJN1QF;Y^1ND{uUA%FKhOWqKftRwjgkYco<$GD zZBL?PK;23cI~P?y>OoK!nMlRed!khYJpgS|3xpyK&Sh$9+ib9QH*8IZsOg#tF=J3W zH^{IE#N^Vy<%*@HWSWq=>it@Oe8d;V1HDM%>*0AXyO~10X|wgGOJNQ1?gx@Qd06DZ z5(m#f=g+Tj52LbfvO|MylROis1$9qx$~ROMr$moBN5zRxYf;PKFQpgb(GSB_&r&5p z##<7ccyh`-2Z2I#djkZF2#ALgDecwp0f(@yx~;h5qQai4wPqIbybbt&yKj+wwHr{5#Z>|%!Wcrd(o>n=^nrLohvv*NSyPm4Pxow` zeoL&&`hQB}r`0fHYI0?_)SK0bu(Du0ltmN0d)u>!+^CC={qV^uh?6>zd7{86fB($J zgNs~yvYKm;0Dz!=0;Ar4Z;e!nGv1|hWXXb}TBEHmKX)+JOWvOwtu){n=0~Ue-nVx6 znyFU%JxG`jl>T(i(1<#|?M=48cTm>Ey4Lw-+pYfJA& zk%rR|%HWC1FV3zIx)ncpn+7A=O(+mM5OXYI zrGh9;iXIWsM92t{qE**PG((yST!CWEG2YK>$OtJ>g=XT@3|o7QF_<$x9m1pH=T3wV!h#oY-f5G+7{w+R!)Ah%|nslSB_O{(`5 zpwEj?{62o#nHI0nh(!qr6s9RD4Piyho?1eb(kV$`Pv;MIi@{Gx- z5A%j`nQ>e186Xg*&h5|(`b@1sRLsKBjbU^;VIjP0B4L-5%swI0FIjk|+xhioHLL_v zzhMuqqP-N`6@o^=dn`pgj_{wDH>c!>x>|37c?g z|BO|1<+DO~PY@+}&vZ@pI?h6? zAN!2oqQU#|-7~_D@JF68X|*{dE$#qV&b_#Q6X}zsQz6IB}x4cbOr^M{12!((-h)2S8$B<5GJVv=a(yJ_XC+Do^8 zYlJ_5+e#kYYS4?N;0#hQNB7gNC2pgH&afG2iw=820qY;?fsJ}c1f(*GuOFHfFCCfJ z9Jx>!v^892OB+#->RZkIl3rcuFgcdcC9e4(Hlw%MNb#LoqfFD)M|T8UGpogdM7ufV zlhw_*Sv8~V=fcFCe80*W)#uKe1-lA=@W%j>PTS@1@jKFd!K$ED>Fj~STA=cGE*_RI zIFY!wcR{= zxsd&w0x~+#UsEf8IWINHs|E<6>1qpES6=KhKjAyT9zVMUV|_6$lRYPY-LCR~P}76R zJ%wZE+y^QH=iuaG4u;bfK?9-%9J1n(7-TLb zY!|0Iub7YOludS-^XmK4YU?Fj!I$`kjDKSkaD4&R`>VGb1bVO0^jJ23hjpK=%XNvl zk;0Yd`z*IT5MI9XbNoa`$q8WQK9N`64%mv^&r5JXRk}e^+E?-2=X-Lv&2{i)a(6&h zTBX(!xf6}CGmWn+U6j6{M49fS1jqv1zdC%&=jf(UgH+#wK2CI za!EM#|8}RC^a;;@+Ky;C<}|&DL9i;mww-IC(T;!=wlE&CM%t}0%5OCDPJ@(VTyAWx zK>&fvwjc^ZNs_RhYDGCI2fYf<#X7h7NlRW}qR#@$9>m4&cMY9?!Gg{)O-pJ=u(>=q zS9>SCgM-gvaJAz#s!0WlKHU1+5U63ab+XW{ID-Fvd40aH^sG7+D2`$T~RC z=CptD3c1d`gv5oce~xX%&kR=jDkm##r^`#Bbq=3z=I9&XX`sn9EZY=pte@r5=71nC z16u$r3{$)VZ7ICk1e7H6JxlaKvF}QkzNbP&i0if=;dtYJRC;ZVMMWsCHR5B~w)Ha} zxw977jyH}bbaO|SIvH6Tu&e({r`#_{)qvbap3~%#ovapQSs;%()3Uh!MvGI_A41L! z{>#93YLVSeM(wys>-W{7L=!;=$AV3XZNb2*qMKY-DsP#o;Uw90eWC3;*O$4Lk4xtS zJ1g7%)CmTEJdZj?EFoVN__y4jxqUvO9p(j*h{ItzmU}x%^j`$-9Y__tbZi#uE0vq5 z$&9)ebdRUI79%3l1fgP$OHCQoYH@s&hpRRi2`@Va!)jEF&YUoKA~;G6Wh2WB_(E+g z{>RzoEFc?h=2Pij0J&d)nrw1$F6vd*OGcM z1HlNYq;uI1v-by&R|Lb>QY^QQW|Mu=5EW&}1apBC5;d zFEj9Fm?~8ACe{SFSG4P`z=m<}*5rGAao&=LDHi!d+>ZE^Z3Ac#!02K=7W2a7m0G^9 zUDQHan!61jFkXdH@JX;sIA2a3WKN2yb;#h}eDQO|;TPz`y_f5cH zC~7c8VFJOGv9H0-Tc0o@L#EIxn5d01GdD%CF@n&DHo`l0aTo7{t-dM|7#(8<8OptK zl8>e+*DvUuIrBf?1E#(^tJFg5s`OEtCQQYDM%FNg6l`5u^@H8)@UuM5fe-S>kU;(= zc=Dy$*H`I~%3GaX+lJb;hR+bJrD28*vcBP%;A`9z??(%2MCQ#M(Ug^K%HnNoj|QvU zJ{ktW7wX(cE?LsP9%lLVjO_dKX%T_)r}<5bcV5k7ppvvbyfQAdnmD?B2&+qjQGbGe zphx!#U$sY?p>55b}%3Fm2g0dyOE%yg$eDD=E>--xBg^jl84*8Y9z(rnb6&7aB9L-dFWuoUiE4!$yjAA1P}psf!J*BWGVh zYaJ5P>RcrVJaab!U3rox)1u9I3$UkH*%>Gsoq^Y&!Y zipO0lvM8|H1x(^3ybG+@fTcEi0P~_cszpF>(-XHA=Zh|VK8-Wbse+#a0L-p_cDnGSaN%tMs!o7~m z{g?#HUBHWIjxNw){ z^Wn9{EzEtQbLO+2Ki-9^>1o7I0EbESvnPwqU9f3F)0+3C%dCAcpLkM#n)s(9AkZF5 zNmdf~41Z__5G`s^pHV0cwo+i%J}D~8PWu&1HA0*xGh{V$$#p1uO++ln8_^=|s6fh3 zr9t=w(*A?U^FiNHagTR!$~H;1SftQG$}700-1n_Dx9Tl_dy%A>cUqtx*-8{o z#3fRL%Ha&9_lf&k#@g&(c1BTex&JO}Dec`_50h|@sFs3763ejt7T7imeK$k#? z#3Z-Gu`BuPEfseASR@org?O^DMtmZ532~J4W3Qi^UA!Fu4&MP@$U0E+J9P;BO{fFB z8k2D(DZm6Zw^ng~N4+uaHVL3o?Sa=~-8Dgm-{GeFYRX?N0}j*0r4tjDZMfX0lj5DE z)d0}aA&xhY075{$zYslHfbx?s^rZA&nsL6Z9~dIPQe~9d6xpMh$^PH0kcq6NB5UjN$iVFJ7T{jzA>~5IRCIqe^hfS^jdcx&y9VK zJO4!-p)P)KOYJhxPbPkFGo$-;v?nM>FptXKsiZ7*qwwKmqN?TqX-#Nz`KO8^rTFZ3 zVq*Oc)fb3@57|KSf&d3CuRUgv2E(7|ChFNYO;1Gh5VACw><1sQ?eQBGx|fg}@*%Nz z=>plYSMQv7_hn<i??ebJoBtg5T%{QR=&Q8}WAsSvm2GfknHpuD^54w%hnw%i|>zs~Z1wS1y*#r0O0^-V8pIToT&^l%V^`wH`WUU&M;zFsgz-9&xZ zoUko>ufNkZeb=$n@xmkbT?GUmT({poBJi^;QHfvW>K(Mj*bq-VeX)zm>~dUPvMD*AInYX*n^OV;!MGDPz-nq%F#{o-U{~`anW7G1zp4-n#jBU3e)78f=Im)cHm}=KD=u7K! zZW-zs=O%|@X5q$TnAabv+$?2w3QD+w8AuQ|I}Tt9F6_f*%Mq|aN13WzDLD+BZ}DQ* zf78dF?n#_F6ocpqX~<2i+go6;?SI zb$x*_1%v2FfG_j-TNMRhf8MQmKhRUR`)bGj{B<33e7WdCl(_~6PFhqITwh~IQs6a# zJ6#O!i3KXT4a<7Bj;BNk^<56vRunJhC*I4d~!OwGoBq9vBdvjCpJ* zW>&L4At-c(4`3DzFC<}2$R^`PxV=$&1Ve6Y+y+}2SD)GU_u3m-6v^BPR!G}Rbr}(E zr@-+Cky@AWm_EqkV~!6Tdze%RfAKh01rW2%4}?$rv$obIi;$f^K%J+LPGWsvOXH>= zw8Haxq8jadP<*q*5G{mlsi9gxgba)E0x5*t69opiCn?DeZ@!}kLQvYYXBtltug5qn z72B2^?ZK?wv7*0k>&Y_EYK}3kuuVJpjxLVfrpP`%8sPdbcgClG4%7)2f6aSYSa!rZ zd41|%ugH+4=UQj`rg@vph~rX|OGkLVg8=mfx|l!pmH4hu41cc`T{ z%?v&#_Sd-;gYd?_595v{e~3Am1KE1mI>cDTo1!<%BBO9-7bF)|$kfezBDG-8kjwoU zP|xD}g08mzW`h5=!!*m!#PMh&{vlWm&8h;sp7elt?cd(O6HkObarWB0?xmy`oUD9{ zNjU6-zKE(NFvbm<;?L(bibvPE&u%D$n(4$4W$LHGLMwoQQk~I>e``A`k5K8e8N188 z9)NvSHTLV&fbGoix(=^d=qbaIu~qvKS%8ihfdCP4Fxe6+cH{fu)VXi&6KyYZwfG$G}908$&p2a;WR5 zk??4-w6v73M9R^2a?@-cGOALN@DJS>Pg$WW4~~XA7lP?AfBK3O|J1Vv|H0Oznamk= zz1z1K{EA0d^8vqiR0&(k^|NYF&q&29hlt&YAflNorLt1GK3{GZF0mJ)IjUijAm$&4 zbpI`4Llp9{p8mEjI#+>tTuhuxwbN~G@%$DRqZ0le#(UY$%4_pMy3+DijgHXkRrP`a zS#XjCNP97`f5*HQ<@>RZ-7IFc`b;F?A~@hb0fYX6qL%-$zeMTsMq%DLxsaFB$)6bU zN|3N{=wC)S1j+C^S?8g^sUw@p9u-Lyh~q1vH*ZD6(Fw}U z+3^>B5E~&~LfM^)A01CHd*5cr?8LUJ_EmX5GpB5x_pCVIsKMKqx?^ z@pcr8f3ZP^w-tqAS_6lhl?MdRqO+A_%*1A1#hxO?1n=q#D?v0f9V{;H*ZaC2+U|fs zD6QBm%9Pa7#rNce`oQM7wj0jZPJ28QvRxFhSv|1l@-utv4;Q~;H&VHF<8kV((;EnrL1^)NwAEAScyT>zi(4TV z5HSv>jx{koG_GhY-lc4#cC_AEJdjg+L~p&tL)t ze{@XCl%#K4$Aq+h)L``tJtT#f;N~N~$?Ia88TW(rpl+=F>Rg0rC5a~tExRF5wv;!! zF+af|zTGW_lIBBab69o+&j*Fm-WC4@s`LAmhCv?Fn7MHW2^J#jhf@58e`H#d7<-0PNkmV)&FFfLWe}-So7?Z+}G_emw-c2SD2Vxk7lf3sR@OI16QtGl+?3%C*E!V-yVVHdYyj?@?rS5ezn zu~(!kTgw;jZu0BRHETKoaj&tzenhH9lThv6DW1m%r#Fj>SWP_H4gjT*R2`aOiJDwb zy1$rTRI`G_URQe}`(=9!g?R z-}|SVY2xYdN6=aE*rp2s1*^Ks?LK1A@Ge)ni0n}sWy_fb;9JZg3=ykUFeH8uc=*_@ zAJK~l>a|~*6Ue3rmw;x~@|x^akO7V;#D&Np3^^>NaDgSY;9a%}IL-<-hMt+zOqL0_ z-p3G0+7r)@p86Npmb&&4f5}m5Y5jSO;5fWZ6eBI01mqKisaD+5KC{xcn=9YQkUDlc zasyZY6lZw-_$Yq6PE>2_(sDu_yx5awKm~{dWiOv&)YMGxU{H~G6OiHORP5dlMpDp# z{ok9#G;E%c1SX!~@o!U}-9W273cg7$qo$mWtnesBvE%pcubb0ue<$#Z)WRwa{44^= zOb0HezmektfZ>pXC~Q#JwDH6SDMSMcZwJ`|UgsoWxH`D2M9}Cr{RMcZ6mAQie}Rpw zadEN*Mvjoh(0k3xiburP*@)Tw27am-I@Cdyi4aBj6_Sc0?2Y}T(B&o6dg6+0Y5PL4 z@ohN!j^lF`=G#exMH-2u9wiR6s=GtO;5g(meLSFiP-L{2_jI zp7brSSx#}{55pZ@hf~lQ$q-MYH7bH2fk7UJUcshXHXA8(mOhPeZ}z}M7|0<%e-vS%QY38$sw_2+A{Qr8`I(Z4Hm)U5?C zQsGXFWZ2UWjWfAoNLdBr->rF3hgVQ|&=QJ(w{mrTQP<*WruQOOhTc%Vn++^*_;<-Dc3 zXRTq>f19b}i!O6aD>>q~h35DSAM|1b{W9!)3Si=Qmv*bVXTU9$LlvP#pFn1Ef7o#~ zc$4&o2_AUaJlMM^{dJB2huPv+#_G1SH$mPh+({-5 z;~%68EkB365q|>rn<9pqTVZ*GZ`)*<2yR;6ck8$*{is#@+L>K>Q7@iOx$~>OmO!uz zfAcoeHf1~AriyJeiU&?$UbTvtttBNRg<9SQD zrPAXEXzfUzL0I9|k%wkdGhfs<>LPIZm1-6(Kvh?Y4IZ}zcCS%hsE;=>nvy&62wt>O&t{$)<#^!+>v~s5KOoPJA z35~ZUT2>g!d{Tzg?Ilf&yH@1Wl)OLh{;8PU~-@H*wi})3IBCuLn(lP@vkCe*pcNneawK ztzPM#s{`(;45Vo{^r-^j1r$q#f-9`KZh9TRwiE))I*0&WAk-9aX`Z}!xEh-D4h=a1 z0U6cES$`W@{3;X`4S~o4(ZU@XHlP21V%izE<1IeYDH2V}k24av%XiPAjpf*?X83FSRu)dRAIfejo;;r)SvZ z@xb0&#EwfD#43*`U@VHI-?R7}L&m^7Z*vwGw^IxrThlVt*7iu}8B6OV%7#ZnmQfnk zsa%qN9<2UKoVGp`!tDkMe>u;Ou^$c>2(~;wl&|fqE2vgxTklW~Vtl|W3mjd$?Njox=v+5Hv;z1Pw{}#kYe@#2PEFazy!$WG6@W z5$o8`OY9qN_YG=we_Lspd?tFq<$Z%eYCU`1FJdyKB3oH(2EMUpNWJ0Q>B?2p{+JUj z;`k?>S>QAgs}B?Bwks6VHndB_1~L5^MQrU=ZZ^)EBdWz~x^Zxtb+_@j^Qn1TND~b_ zQ?MLWk+pCi9sC*xtjlvc6&k~>A92Mq-n5UV4K5ke2Bo#pLJ}S$e%laSqc+!fzo90U137l9Sjw!7C{-GnYH2 zK3n~{0ot)30e-v}<8Q%r^%h)G@;ZA+A|nWdF$%g}yjTMmq8+@pykcW!?3ekp+lvo% zJO57Ye>3?6X05SR=kle-FMK4)0Jj!X(<3dTUASwcZWuG6& zpP*i-*TRyNL2_Hudycn9i$i?Z-)lpDM>0|%phMc3kj8#>U_FysZC}jn)2`PMf~WAXA-XH4+yw?f98n54aj=I-1%JXq4)@$G(2>L%BxL> zd0-B!!Tp?8(~H$E2wTHPDEk`J7WR)YPk ze_g$_6nIljq@4I+F^x7y9}vCvVea`T104j6{!_s-3sr*pM=;g$@~i!T8rVQ33;Bf@ zSMtyO;APKQm^=z7GQK~2_Z}yn$(fdGK$!9#fA#IK|U?|e48UyBVq0S?7er_hP` z{?s28btK{c2ym&IunwfpVOyNORlL{!la-ihH6$uO{b2>5ZbU{TsyC|w5(;@W!GBg# zZhS!l>`A<8J@A**k5GBFw^{T~f13YvCedv3iLi&(^Y0>rOhX9{CAN0kT&D=0GG%_Q z2w)WliOoGdKpwve+f+=N$KA}WqeU08jHeqaRlStWFo_UBJ{O-F)J*TBbSWE>@7%iQ zz`Lia5Qj;?VwHo@{G3)ze+%f{?Uz)tBu=0pz^$d~YYQ~bT#~__++%-CtAn+~{M=uLJ zX71{$E&sLipIV9>c-dxgek?;S^%9hh6UaNo9`| zRF!=X83W2-ti12Fe_Z|P?3oS5PcChs#$I8ZpkYuLMvt+rMj0x%`k?NSGP%|9J7|ij z14z_+Ojw(7&1gk|qrwTWFL-XlNzgLam5z#WmI1mGKP1R>`XSpyONgvGiEenR$d(h> z%x>I!AEwwTPnZgoPrwVF`P@WbszVl3%PP(K{{>G7u=g+be`TRt$2X26fd$qNu23+B z$-cU!s-B=J`CEb~()xbRLm$niYis2-1=evq1(`0D2wRtl2k?+h&UXcbPpNrcMlSDG zcz-OcX_+GURXHum`OHaAR^g}rBNyK)JF@`a!SfE?a#CaABEH+J*;dqZoQ?jX00obX z?0V+Vlx+UHe{qn_4rRrR^V%8dY9gwVK6BN?Q@)EitClRe;c6rR$&M=KCO&BJ3-rVC znmejyEed%_h`1MDu%IZ=JwnWo0``8(y_u8k^BxNH@+JDV1Xot!0X4=#TsOWuw18su zNahAO^x!CRucpbY1uV*F_@pfkEMAg?Z5G-3^sBZ?e^s|7()x_UdIAF-J!!d}=KGbZ zfXyP;ohzHx;63lFhn%P0M&S_IZ!FHw`Q5BJO4+E&*ulmA3{500qp7jb>Y$~wKaHQ? z2Q6{4ljnSyd_^bxT<}yRExGD$7+Lxq3jG)Nt0{vJ^_&`hg*JaDu?Yzgw3X>kjB}my zr|)3|e+JbU)B#|NP;0WLQk!#7G3^UKB|IrM`cel@q0sv)0rMaY_W`8(Ncj))(QJ`F(;A*-{vU>3!J+oB_z=jnl9 z8SWHs<{pI%v&ua6*=GyS4+sUfNaFUYxA9F!f0H^ZbktVXF&S z=o$UkEv6Nv@c7uw0oK8kMpZf`chYPge?1C*>zE)7#; zxmsoDGJ{0Vr(JOcL+Kg%KE!DUROw@T9G=$pUWV_mp=%}1ezY_YOu)YBBX>sB51*M9 z0VW1Rr*1{QVCEVW1L2ntmobu7rI)BmDl~tjjPg5DDt3Y-PbD&|tm19 zav@&CxY%{yFGX>Wjn_B41Q6mnMBdT@B1!E*j|pDD%{04YSvIp1I2hQ`FQw$Olh<8a z6#GUulsB;qV~mOXLwS?uBynIIf7*9s{hdOwBrQ9Y!^PaxlRJp}70OZsN#yh>i z6ksqxzUt8gTjpzzc2FJbgcs;+_i&kGkq>8qebo@*y?6kN29@Itjn*5fZVi?u`sBMt zV(s1p9o6VQmtC1)X1cQ7h-&ilEP^y9PpT#0*yX+^cxyw+HPKzPPB`wdf6Mmym74DR zy;;UnE${jR5Fhd5mG#M9S@7QS#lFC27>;z|FdiWEqrS-qJneGlSL(B1doSKTc5Dox z#sA+;QXyf7?bG4`=kEg=qUXgzjrgPo$I}iXRcMiR>{W@&tj0k{}J3Dkwj&DPc zw}Hf;ubBTUI8jcGM%3Uee;&^+DRX+t)v{I!gSJXP+OetRA=GDrhO8<{PszojcwyqF zw9K~M2vnZNLM5bbzQy(c0xOHzXkFkZB&3Oa4Wbj5_r#r~scfc!ivJ2TWK<%eh`vKU z##Zav5<7Ur^r&ePzq%U)rwA_vNt@4*7ttJ=Pw(HfJ^tX-qvasye?od4B!nrQA)p8L z3^4S#YuMadlZ^Hyg-5KBj5gIIaH|T6vy+WR>BB*=t9KFb?5_Fx` z5RRuE;8zdk6{bx8gBhi6WyELMw|h+CtCO;NINPM%Tc+JsU~#+*4Ed6Nf7R9pk;+El zYxrkLJXOI#7E)<3{iXSCxMI=VrY}&B_wOM7e<~I=wa}=j?y>|>j$@D8 zVrUWv>@&Fh-Ii>s0=aKag3x(&il23{7;>sX7RGdEk;#*fmFJ6M<`|Ez+_oAM(VvAm z_#IjG;dm7p_GdG3B0HB(&nOQwrf#W^VK?+}H3M~Y#Uc>>-xAuqv)~FI9A0W{gd#6| ztGg%phbaB2e-2pTW=gLLM?op3FWiXQ06Gv_N35ijxZ(dL6qJg{;2ppHA87hLrboGsuk)K15yHft>6byOIA-y6$Hw$j!6!S^YnT!rO=J zcfv02Wz6WON_+)rWZiH%+%)xQ;expR6~QyZZEY%9fB&s%+D}#QA7E+LOffA9MbMcd zX;@X=711ihIB84VLAIozaE@_?L`2N%ydR0sKYpK!=rs3A+3u-^p3~Aq64)a7Q&(h% za8KORpll*m4*{^k+xH9mzFvu4{TtlQfrE-8-QIC7r4{^y=_Au}#*m(RzoMVadx|U6 zXfWBzVKeUuV8Yaj5VIKQ*ATyVC6PR47x?Z?^j2bOm5DEkvN~2UBZCsZU?2Ljf7Ewx zuJ0XZWBjuf%VXFN>YGuepbgr09CJ?@kFg>TBP-ZV=MAuPZ0AYwS%#CvypgN_^3a!Y zLkSa?S_ldkm-vnf4FoVWH8PjM3ipU7Di?sfIP_B$jLz&Y%LGwmSs=|nmI{18d?F~Fm^;rN)daYp(6-vBWmaf zGyO@9EQKw|(aD}aTYn;Vf5AOf~^vj>@(I|69bl+|hJ=;;4x`QrjGa{CAJ7U=*o zvjI@OeK-THz_!*v8^4x`8~|qahBl6Gci;#HfNYGdoJ{@{@Mbp!|5cE!J^0PT`VD&{Qv^FW zIvCr7Y#jk_SrtXa|E|-~+|cn)ZU@jC3;>(Hd76NYo&L1+7xqT;hB_L8Y#acNKv%~< zxqpm+027ddt(BqMTkbb9TYJ!7WjHy2Y|Q>y0X@JTXl7_{Vg+=W?c zx;M17wQ~C_8vK{nf7JkTbO2hJG9t3DzU4G_e9LVHvO#3}^IoKEOu+ya=D+PGPPYHR zoPqX#T@cNmH$(eYgrN!8#>x#~0yITrl79y~zNG}v{O?p|{P&6cZ;<%kBJjUO-v67p z|Eke{8{+@#JpU`TxRaHYyrK2m1NeK-0Nxgjp$*_|*8pSzf0m7vp*`Tw!T}loKcR-! zAS<{3DfnN#)q#Ik{hyrw3jdu#$j0nVAqEz9M)tqWAO~@fE6_v{}ob9Kzl2Y4e(9mzwY-fh?)6cFjaGqv8Bx)HQ4`#fHo%o+QXY}e|5m5EH9%asYdrd zY}>z_72jTkqpF)N5b&Rw)aAe?|8@97B`gef1$Z#9aBu?{SUH*BhVgA2xmnq~{y%B| zB4YXHSgH8UtBNazO8}f4#jy%6vwu`nyStMGxH>YIoA(xtnJ8h6PFgLs-C4u;wstWQ#Z#P#=2Pm4lIlnC`KekB4NxPV9x1D^yIG1dgg#a+nKBEtVp$+@EXAIVHWvm9c+d zWn)cy>GevLL3$2cGTk+@G*sk>8eMnni>$Td7k^*om<%fCfI9p3o$sUIQ-adX?%_N2 z=%|Z|f=vYUIe<>Ahksbr;CK=(P$# zgdS>XPebg{&D9@>x8HP8Lx!ssMvPkzi1v0>bi#Yx*e)=N6ZyJb9^_-X$+@6#6F|+< zJP(&B^o|RhPhi%oEIw;$M8r`7OLMy1YBI*h^C{&PK66DhOMB;CTA^l9M;&F8((PK8 z*HwvhxRTc65P!%~#CGJ&a>Fx5-eu{u1#B@md-YdrAwE`lvE1C zbbLD=<^^x&-`0Q!6D@cb5~bS118pp4RI;x|G<(pdlaNG7805>L0~wec{S26Sv1EVD z)6fYj3}GnH%r%OGor^f4ViH8;9EYb#>2ia6GiIA2`fp}4JI+c!GiL4;x80M;s!Lox zBZe+*_J6@dL)d-tFY!%@JlUe}8NZe6%y$pPf&Fy-zMUi4@x^1N`XXCEKM(5LmRi2Fn@hBm$o8*V*r}%Gh#VpZGf{dnP%DjjGW>pu5&A>Mf!>xMS)>EUh7TT%S}*-@ z4*$N&K$Wt2S>2*?9OjttH+`&@>uBDREaN~Vs^eezvm8*^#3>{>ybn6kJYlSNvvv@# z;eTE-YlH*Ui_0m8D!8vVRHSvKEHL5S9+vk+zBbaEP`9+{w>Q9$ewE$tc$XO}py@ih zW-#pR3jIJ#6~$uH5HB{qtC}6fYM+0#2%>|A59wSCs#AqfD&4dGz%jk`y#tPEG6Hl^DEPr~0 zhT$^;NoMx8)bFGq&ot{DhR~`GNPcGk(NL*!G5v$)@C&2a*HW=xah~1@8GhRE2yBJCQa3ullP>v`gR<(+sm-O07oHN2#1<3M zbuD{nnpdok2A!n0zE@}sI^%YBn}4efq-A$uwKSA*EpCWlL|(G$@~wH}+O^!Q6he}S z)+qaK%<0#IZ?@P9XWhvJ@X)N;2U)lHoJY&FkCcj?0dUue}^vmkP zQKwYUd}Pyx&aH%lQBYX{lrNytWMG$h`R*OsRgOwZOXPZy9!Z*?aSfZGm`A8F?qwZ( zego?KX`i|Jg{}|=lkiB2+JF41N6k73Po<8~@%B6xF7!FULThZ^wf@Q2k9n0l<{&x~ z68kpDe(oHd=`SXc^<_u{X>4_2%=n@to_z(?r|zT1$K(rx%=$*iHr>U)qE;UkO+}i} zcbzA%uxlwQ81D&l!DyEN$2%H?kDY$U@6nbuCFz|uGhR^1}>rnK7|H zNXAT>A?ucjj&EE&ZsX+($@TK;qa9D=B}-u0b&@^M{i+0AP*rk&J92=Q52bxX=FM*kqOk2fr47mF9MWTdDWLM33@|K&wk~rKA z?e!B;@y^g%KhwBK=mJjHt$9$bMIHO$pdVkA@^Mk@N4+UWxrD7Rp4Hvwk0v!I38=DYou8gP#`#(#%5$DXaJa=Q&av%Na>vjJqvqM?W2Shw^l7!@ zF^&hhm6gq%H zs$&fAn0+_UZL(3WDHeH@lVzBj-Hf%r=zUg8Pf1ns+S6?5Izrq zX~U=LeLX)FrB;hO%s5$$rbA$9u3O(S#PfCsRe!-vVd;jjCGZ;WC8iTFBKlML`KWj) zvWW((e0Fmn>4)ha)OVZf|LKU9bF|Tok*Tm_GkLz|8{Pvt#oH{4ziJz;Nr6Hz0R6bt z95&|>aP7TOAT-$1!s^|<8A#_VjuibQ==r7GSde(B06_8Eelxx2uw=vrSCd?tN|2); z(tks|G9l9?I!8|e%I*EmDIQeN&Ckbi@)(xEHGB516kWw&p z?PK_U3UHftPK*&Mwm4Yn9`8ZA;9Ew83tfmv3OBFtKsh5+3&hn?Knhu!crEW?f&1-3 zLwgEjn8pAXIiVpwY{2oxSCN-r`PQQew|@v}vX7=4O~k3jhnLQ^HsTgFFv4i*Jc12$ z#|EFT1OW{S*Y5il%PJtWN*^I@zOnt1l?i*0$7lw&bwQ=|Si(M6{_T;LD}(EMq-_r~ ze&+Dm0;pYBMhB&M|EuTQIGPwTQl$?0=&sTt7!~tMtMhqWscUVf_tKMcS=vEC@qgYP zFP*$Wj%T;3XL16o?K`i zZF+D_a=v?y*rR6qZpU}%?&5++-5dy0x9nZYpYt7YXHD4(afDhwi;eu|s)3(fo^ZSE zPAFhcb+O>go3?6=A4Unt&pRiF34b;P7X`?&7d}Vb49mPeFny+8y=e~yXi1o@8w#b$ z!?_c49;MfQbBKt)+3acCm97vX=tSVqg3GZOSY9bg3u@?p4KnlA{wAZ0={3_j4OWvR#bckeGIXM)&DSpuG#7?vJXUcnrV)L?rh5R*w za<^k%t2?~&&#Tq#jG5vkB%kZCd zEz`3;yTv>fbh4B!^WmnAtzX!@a!rc{+2iCzoXkl~){O6y&#|S-%JPV5L?GeN-7G=74)DFT~w9!61oznku|v z@o=}_Y+7Q`_;giqvLoXXg2C7Oc$~BHk<6hvjgPnxs}s2aS$|I7ANfjoOs;&bnny|x zeV*<*(J0e^ZO3B?Z#_Q9YFIH=8FX9;8?FJ7j2C&cTg(`M0(7cAOGu3FiccY33r-{C=g%ZO^5b{lPREP(HA-xK5EhO=(rMHo06g=k)*>Zs@y$RZ z`K#UaWe)A6n}3$!&mHyvacbIU1O2L+0$E*(rr^5pwe0%TAQ>hJVjIaG3t{iB&}I2Q zPEUPCaw}An>Ci5apSjLDNlrUY?QSsJlr{l0sam9@gOmnDRVlXRw#$_kw;{5R8eZ*vG{-eA z7QAC6vK24w&_{EQ9=W80%KMP@m;kesl^&z7;eGyy9HV<$mar|{;-a@047B9{X$W`vp19t+19I= zTgH|V@0?oQo#in+RF-k&K?v4ELJSCEv8eHpv@YFSI^`;KzkdHqo#k}Ud)M2?XpCw6 zSWDWEVIHajxpg4LppEvhG$x+EEtzKF+u#?(IlAa0rCB6-H?{PN zKnw}fy**lD6a5nf*?wby)2p<4+XJKM6*gNcRmXc}&#jYOy9%vz7Ux)gc~_AdI>Fnv zC4V!Sp@+1pITrfk-K-Gtr($Sn#N0Xb+HkV#_{(}84$A`aRtb9_#7LcPn5DDp$xL!G zGtMx68w2}S4BJXHSPxFl)qH3hT|2U>Pu_i@!Eh6>1jb>5qIo^SnK`YK=o`;@=X>#X zugXi!-(PJ$_LwJhQp8_Q?Y|I(MC53vi+`CcTPgKi5R5S4bj)jVq{uU3@(gAse$1#} z9R}LOGfSiWYH;`L*(8*rQ+a(lXn(e9cNO~xD=Z@+QJ^9N|3n>5W)#$R1K|R;eSGeT zM5A|1JKi|N5f9n_MX_%FAoWe2^GZk=BFi^(FxrrOd3ZNo{lla-$o31kZG}@Xrhgz2 zTu?`sbjn7V&!MqBH*CpzTN4*7_~2nsVP}(KFi&-%C@Db52o?(;KmVKf!i%fJp`NKOgPTz`>E;2+@1$ z*LP03e|Dzvt&e&U_9GU%2&ZhQ5r5vc{@~!-yaYat1@#$;jvi>&xAJ|dS1pob*|m+F z`W*yMi%M_pTQH5H*U91sW;i)Pgp!);pGlSQ=D}`+N5mMvPeFZH)`e=hvJAh|QlUf% z>GeY#EB2otGKE>5HJCh$=bV{haah>6fixV#zakaQk~|@>>h;UK(W)y6y?@2&x4pUQ zZtQq(+ZKlwqh6#Xj&bGbM`U`*6^rF!b+(q2!Ln<8xN)K5r_`N9uE%ppjc&H!sp*Fr z>c*@;XQsaTaioKxVWpWx1 zSiYNT3P~;6XNVmlH-ABDV;7BwtUTkXV2ZXiW^_NyV)8#ocB>_{JW;va3Rxy)$!>{= zbco|0S{%ckZWla|IvkM{ntvLponi2+3DgrJh@z;@pOpNrkA5aZp4Vru^-$|ah0FaA z?Ln}+OIE~PD=~t=6!L}63;8hSZe`zR*uttbZs<%_4SzWF(|;GZBAQ%n#34CQI>W%uU7&%=SgB|*b$~w4SoF_H+hW9!(V@zpMw%r$K{Gne`XSZv|k%! zyKnfebG1NfRex5ovLqV9wh-&QcZHKQl|6^-CFh&;6Iy|tNbW*TnrzWx$ldsOhWRfd zgkes&;zVSmeAHC0-OePtB~7+XJ=(tTIpXq$H9qLU0c&vM89|I#w5p1GEH=M+XdxRg zmT095-%Y89ZYK)szhKAm-Sa;h4QfdI_H+ol7+a3HUVoQ4@Dn%^yZiuV4qAW1>9kYbg|eRi;kmRRr9t%We!3d$q^E%Op&BP*B|N z8-|1DO{&as!yAh?7|)V{o=+^o+wr$w)fw%5G^xNJpG9Y=O>r2rgSP7q!uhpqkk&16 z989{SYk$}LuH02bS25kwnnd7fa~YQN{L{Sd;#cg@uZjLN`|mq0^O60mKV;OpY!-v> zw|lp~2A;nL^ zn=W&w+9%y7 z0#*)#+k-Ud5cj$wyjT#(~; ztUbrb`4v434w%&(?03zWL7Lw+rmnR6ieY90M;|D+t>L*7kc7s2O{S37cPP z2Y=N*NBE3$kzSv`$bbr7t8_0^?JLi(5()g#Kpo4H=dmseSfi_)TA!LqfEl@aYsrh8 zG4}AhFAa9m^EE$5-5hpv=bONlpH5VppvZ^#i0Xj90eQB=W=~~7U&ALSTm(2F$uBs{KfFw%O*}Pw?0%o9*D9*mdORy3;3iI999vzk(666= zaOFmWHulbe7rbwUZnefF9v6$lUcvO#)7ScUw)!2g+R)3^dJP$`N`v876_iQAiB!;D z+%{C#wlIrw?1e(VgB+|v9ZgdtH&ZSEzy87Ik4gxcKuI&wR`T*Whxw;i)dih|D0k%O7I3lOUVZwvCNQE#NsRbmnZtO%9e-{ z<=^RUYuJ*Ii=2@d-uN6_MlOb$4G6ai#DbxEyMH|&7Mq#V`Y@5U;SChtHg-GG_}eVz zPiZ~7GcM*%wBN{VXaD8o%LVb7F;|-7=_8`Wro9q3`ZQDRP-w!#*y+~+3a^yca8rVE zhd1bU@W1MG)ehxG7h<}Yq9f8EEmTx{s6|OsMzsO-x$Vt;2I@zDYQDwDwuDu~<~M!M zRDl$(q%M79ZSy#lE2zjDh^_C1)fpxyei3J>)fdJ?Kc7=sa4(+!)W-N- zCu`x6`0;AwGHvDRX^}M>^YoVmmd9ue-T&Ej$8X`v$PQ`e-L9!xT z1+7t!|IzllX1PLgeAhiN>b~%sYFTruw8;FOL7B&Mc3#UIheZAXn0rLpcIXQSk;={* zJ+ZJ{HL3}xqSvR6knf&Zcn3E2+x;*h)3x|$QZ0Cm1%DsU;j(zx0{aVHx_lxoy9u?B++y)xE)drY3c ze$QK4JXC+084ahfVRrs)(urc$H!6R87Tqrkb~+$^k-vssHTH9S^E$zWWp69N{F!_| zgh-jq#gay*owBsa7)tJIq%}>BOlk73D>a+Mah$;PVeTghU=yC+n6nn0tP(6g|3s0w zK=WsI=|rOCgwK%ICX<3iWN6cC-*Xw-J?N%p3^ssiYSv9idB%}`=|gbBsinn}8PgFY>fV+~{j|k@k3#*v@w%^s05mSl6LU^U{r-KU~6s!L?ZS{`WYn@TAXPo|G)UPe1SUya%Z| zmv*b4fL)SJnMJi{!=Fn>aT0_shFnrHaMUsjrOFfUEINbyF~&&CnOMv1OZKabZW0;G z?SX%B&iYcsNG3?iTet7gLc|p~AEi$*EyE%T$J*U?a6}A3PC%>39vW|D%BW4DdF;jMo8xg08(D%vSkO(810BcIW(r*bB&1GZ{V4v zUCA9srX99{PA{XrTM<(RIA0M3RmaK_ezpLYW%rPAUeVfsIZo{t|E^f;8lKRkil*D* zji?~}3_lYBS3O-blEYo2-};T{BD4b~*oTMuYHurshB-yitFMrS!ov2_bCuJ5kHmw0 zAi7S4ZX=qMx`U?s?n%_aobCr9G8%(KGzOP11XI$^^l4$u&qWZ4|L6+l)ae@|lzcNw zjNnKZOk&siaf~!#_Gu>lS6ww>{Mc;i-aWQHMHKw;V~$PV2XArW{?f?(e4qUAk-Ag$ z!&-VljeGMO$o|*JN4d7N_I6g6rTr-zK$%%OI>T|68Uy1t=O((R!90%tCzettB8vJo z`H~n6AF|YNL|rUOnHD)AeYM3(9ZJl6QO#)5x36`q8jy~B!A!i#6$0}9A7dnjIPR_$ z-V8f6TXpP%x${OknBR%{Skk@ZV+A`zMe0>4BN$7guvxSNbCUWqdMUZ`^ifU*fUbMC z_GKByL+0xdUopnf%ttHYBvvfDDrS*2h;+Sz!3s}@|L%sgT3vU0N^9dq9=Ic^YpP_C zY`S0l=!?>m+SyPN+n0+os~Q}e5o;gkmae;$$P{-AaI3~-rUPGD6t+fQdjDy{*r8q> z-c1w{u>}=IH2l6S3#eoqX91N3;Cdde6aHXG}%6;Nr9$Z06fT zMdR%8F*-!FFPd5Xg+ddirk$ikdRqGBm?0Y-*aOEbJ$d7=Ur2Z37hKVttK61HLcY?` zz7W9oCaR}x9J!ejI_@}_x|dxD-IKeFGi++g!dvX^HHOg%Ed^#?iuJ?-_7~ugyGwH` z9|)Q*7U4eu(ZS$g8v8n4eta5oMfo@%Fm|DAnL2S<&F)md2-DT zI`--H9Mcz5*N`sQEQ>E%NBYW13O1KU$r`!EG@IR~+JNaf>`TR@wK`&DmVmPof}v4m z#4jS@QtohNy3`+ViLGt`T4^%g^}G_#qV#f5Hj}rlnQY9NN-vAEo&RCnkS=9sx`%C&7fa6!TVtaoP&IOQT(Iv_SwndH8Wg8?K# z*YcoeoExrofDs~RnRW>$K_Ct0`1rT(Nvs19GN!qSmY&$PNuB_l>i(Je=tef)ovLy= zeQ&IQd`s`2kW0P@XXJy^M0|*S%M=Bw1762f=#o?X<~Z`D9+wM*yRD@$*|@L_rm zmYI~kZy>zt8k_(+PM1fJLtW-fLKm@>5a*MkNpq2fEr=AUi@PUgO*xO%tip7oc#$4h zY@@!jdr!>9@e;*G$GT@c?`n$Xu&Tt*X@RSqgA;qV-Mv&DvqG4*iSev<#q~%kUYV!^ zk&;Ujd6B&ixc<$CmXB^hez&p7bJ>%jF#cSmY>1vqHLC~E2;v*AF>d*)!l9(&Jtk)% z5j%qpZ)+-IroUeFCf$E+`8gA@<3Up%H+Bvi=3gUq?9Hq1(66+v4g@)RNYqU-x~HO; zuIU{H3ulZ~5^d8Ytn7{LBhg+bTrV8z{9IqA*DmGG9m8Kh6ehfPAdU7qohwArxE-cJ zKF~hmTs#NTE&5x>9m3oX)khch2827wMskdp0=K&ICnqi)5Vq8AxmMzj~M_7iL+D1plRZIbzK#TW#8(-U&%9TcG5F?&9 zKis&VzmM^rjSJH4V3>OG5K?ulIX8y-h==+Y)l?hK-*qrBohsfJyX0zAE{FyAl%KE@ z`2*QNi9K$1@f@26I<)qfW@60WsNZTDhFj(68E`}PueckuL8?=7{i%yV)EJE;6G0pEH@MSVf&M|X{E%k#{T`6^4J=(MkTO-#!a_>NZ|%gGGy4JQg3ksa@#xO*jOUF zw(=}BitBEOg9eC#f@ed`%oZlm#6quBK6!)DY46V?Z;f({(Y>Amivt7tbw9))#q^%lMQ zSn@_I7cMJYua1wktQ-i$z4g!(5W02%8TBAT#R?-Z!@vXEaP(%lFRXR{7X5|Fn?ZmT z?h`Uj0Ut{g?(x{Hxf#<;)-hijqoM=&Z9|}%(uQ)qe<9=mVHh1`o_x6?%L)=Nb}=#l zD1}{nXWDt5f$;Hj>x@W5LvDs?%RkJ;xd9I;QDtK6X%?4K=m4uaXLgX_jwh@EjkljV$;H_1LW%6%^6lqS(g{?Da}d zeC|lQ-E5Eg%Xd{~O5PR+7p7$65>Gn*z>sp7@CG%YQBa6rW^d~30yazb6o*Ir$j+LK z(Sbk)#gok0fk4B=%ErpY%EHdc$ihX0%fG04pf>}=&=58`5CV`5K6?L?r%V?$t; zvI0B1fVjEY5tzT4*;}|+f;c!hl2tkpXn}Ek9p@FEM&J9YuI;a`{SMu&RF6`?9(rQoEb!- z1Z7?AaCFLyTQN`c2=tLq%laufnZt@HRhixKr~wm9r}M!2X*e~1ZL7d2u>n;?U4WLd zlHevE;}eVmd?U&tUJ#=w??o%PLsl+P9q%{Em<7|BU*{$3fwgLH-!+Q$UVUEj)Fe! z#3+V>4hh_TL~6tkD(g@)I{N8<(gKDwf@wrH@O$V*m_Pxf4j-6zkSKqOo*8kVeU?2x zQJhN&`%)e8$%Xu%A0i3$The!)|n zbt%r!<%Wl9LVuFCH!8ql$*hlRgC;C5;ze8f#76m4na`WEoloUDrNY7*8X=hzA!;EH zCUzmz4#>LJ?0GtXNx`lon!<<~31|j!wlP_~lOzZUKM>jEIpV>rdxZ$dc~y}j44**~ z_&eV^)Y=~0R6@5N56YKm&&GkmQR^0cxR3*$Ra%s?{u8jTJ|h~Pz(qbEe)QQyN7y~( zC)@hgkzVSERpiTFl;W|PjQpHGZ;z;~XgPeT*T)M> zUR_N`6@n$&JJO#IukI=*(2#8N)81(DwV>_(LV5e?8&2b_C)k|E&ZZ8b%>3dt7s z9WfFL-C9vz5W!c!5?F~aEofJ+S@K{m_dEzqKz~` z_x{)1m4ztpUjyDGd@_J&3hV9~`GdKKh1&>{|Eb0bNsq%gcEhtPv}+e*i1J#5Db5x* z%=i%J)D~9`{;jam13sU4sD0T(JM7enF6=LWb?TGb@I+Qj>zdS(J;J0eh~S>Si~TRv z26{p>xvSg!K$-o|1cPv)>+4*H?~Kb(c3qv|4g7N6+J{j$IB6gx*id8xYqTM!{%NrX zY)MXZF)Gk&Ck1XWyNj8OM#u#BPl=vMix~2gXur*hKL@uoH8|(29DxpA-WH5yD!3w|^bm4S30ToK>^8`SXkqEp?`XK=#BKv$bn3=7wy2=}@!dJ96Y?bP`sAXJG$vi>TP zzy9Uitv4j|o++VK(J`F={FSNQ;zeT_t;fE6WhK{2{zPt7P43j>-uy^$#DG>Hdgqmt zu6D;g3tAy0yFsL>@MN{pfyRQIbI?{JZltk(rpk4lMKM#CP)v8_5ch1cqu-0ETrRxfcgc@rJ0~kL&A3teK!f z?%=1y)@5KmQ&Uc%{y1D#f}*Cnpa%glli|w$7y8Nlg4clSPk)<3Z74l@LA~o9b2x1OaFk1v%x#WJ$4NMr8#IP6(1W$BOE~>(U z&#{e#sSST&;Nz^SxIB*lB|Y+tB)is!R++`*O=^Jm{49QA<}8I7y0GXjOj0+tmCNRb zO|f2+U%~L9DwswERDcT0a}srxv*X=DmmN2E??b>Rk@q;|A#oWo7b6s2&zajr92n|3%7qS?u?Q?Hsvrls z{ad$bdy*BOtA;XU%lSNk57B;W?Z^qm6a{HN^g~p}4~Hz}F1wuy3+GJG;sXVXRK+h- z8!r!dp_0=MC^BPeeRlM%JhSraZJ`UKaRJL<_-x=mp^OEuVHd9=K!br(ul;Ri&{b?`WzH>0gjrS*d&_=&X*pPEEg673h11-N{`guz z5h8j__gg*NzLHEU54kgva{owZ6G&T*R7?DQJErarPRCvK0gY@?jSp=ZRftrEPs`}^ z=?t=-H9h3|q}y&%CiOFji4k8rQHNPI3b#4Ub_E6wl2<4JvxS>GWGVfHp)$-xd@TaU$ zO}EW8vkCI!`qNJ#tw4^S%z}l-cHm=noHb5K6Bb*3Hg(~wB)}PCxGjQ!&GZ5>mUX5aPtmTTZs|?9{ASCm1Jq|(n!OlqC-M*5PUOX zx0H0*I9zIzwe>=!wCUb4F8bG7APBvfG5WN;H9UAsL3hdLvA2jVciOkuaL&x;XrX+9 zI)2fd6f+b-r7! zPv#x&-+8^{@&YLl6F5Ej`0kI8b0V`oB5VU$fC(<5{i#~*gfZ$doQR>ByX7H|ARD5K zu!@H1<@h-SNXXnW;!TT)zAv>sW@{-JtGoY3OG|j33gdTXmMt> zZ^HUka+W*n>Mm-rEbo#0i^lB-TTj0oZMjIrfcx2%e=CPSOTm0L_h}!@;m1qOvTv)4jeC>0l+R~SxSp|q ziyJS$bU)ix8n&CPa|z7*EWmy*gK>Kp92Ew#h|uudx<NY9*QxERr!Ft% z{^H3|QaGrg0wH2PIKF4S5Xw}bs$)h}Od0+d|L4zx2M4}_QrPt+mZG~auTB&*)kc_= z>p;V_37f7D9n;>tldCG@R4VBt6O%B2k-Zm8usTsTD|_4EJAjSVkbUXMaj5HDmjCj1 z{5k*^sO99QCL?@3Q}$y*PE=7@_h+p5Qoq~p<74PL|A($ZsMY)8u1Z|fqS&i?YH%jn zjsdcrW8cdiqBbp6WMe>goqu`bB0$94IiEG-9>b~LI5IJLZ%8EAHdw5$q9p;O`?g3_ z{jrC}hA8xLq0ejBmhC*doKNTV_HJYmu0hxm!X42%zB_WMEn7ZKu<%1Q8$LzSkAG4U z@gxBAX&qIkOeA@Vb=k#ZPTBdl9UW* z!VxT~)G~02zP~){llmD>sAvFmLXg%6b%o}(f9W>0R;)zdxzh^-D+GBAG!etlT|W54 z-=wEwSv$||gdedNGY))H$*gL8eg8I>1rNGDdK;+on)o+o;TF#h_g;V|Z}|jMRdpCb zq(;JU`Ih(~o#viqtbK9y=%g`W1+>&7w7I8xwwdOD=kT8A=qKw&aqY0iuFf*ER-)W& z(5nZ0PI3jM*5_Q)Noy}LTKdx;^NZWV2Lit@O%d507}nFoud$`}TjxE_;P%ui2Z#?pzmhl z_w$8c)NV9;dX^jG{E`)yC2?uR+u?S{$@X%PORwRbk(U5JzS3mQ--ny}v{~Y25!Rk4 z4s_kcN=lcpRJ(){jmRMRmU#lseYZQPT32VR(ltLwB2ltIP$odt%IZrvtlZN;AXQ&0Tq`gWyy7yaw>YB4Zo*W82%)uSxIm*^#K4 zTe;Jw_XSqX@AdT8vt6q2>MuN==awt`M3pluY1lS(g2(HRHG{epo@wKmt5sX{>!6yO zXb;Gq)|0Ms*@srY<|;nN+g z#l$uUaJcZIxjzB@Tq&>!3GuioOM!i5*o#Bhn^)@Bc;#=B-o~7ZJxrFPHJ9K!3sn!E zdD9GG_PO7r>Qi_cPL}O-WeqJ?2;f3qb|i9Tmsq3xWAHTnOKHZ-n@Dik7}GDI;E3dI zUikU2qK(_X!rX#CRDvFA??pHumX_?lWuauZcM{V_cD7{EX#_HW-2j1E&C1IR#LE6I z)o6kASV8O{*7v5WgM-U^lLf>AQbk~vwKsQouUP-5k^t!maPso6}-XA{Xy5v>!aPH z_T;krb#Di)$ZjLHpQ2)TKQa1DW6@%(Ws$f7gnwj?gK#dD{@!Z~Jqk_odMaIo{d{={ z4J?Rti4zrp3FMS59OA*JdNmD1iXrA1JoNHRd%zTynF>DhF^zyh!=>1iLJgJyIf=K? zw;YqN^{DWH~`=MC6o{k^Z> z8r0)HZoid$ry3^vLlLqQClIHEAcIRwVW=t*CJX;APnqRssCV(WKRwE&v_UH9@HXN# zImeb$G?B+N@-!L8W`AlDjcHYB3YM2imqBqk>y@E5o_;NZce_wNC}@2?(hg}Z6`qWzdE6@-G5#VCe{efI4;Iu Y7Z0$RIRY0iCmS~h0wtxSk`%&!0ljcT9smFU delta 72275 zcmV(`K-0h0yehD#E081tGBT4fped104u2w&q8`U2n`APFNoM2Pshy+`v`pKo)}u#~ z)A9WJ1qo0VWhdE7%Y1a!j)OxG2k-9U#rN+!2H!YfLC&I7$3&ROcd{uYlV|i3ni)}MYx5H_`=0_``8@sZrrz7N1k*26p znnX!l1Z$o|Or&^(fBpOA+YK)N8h=O3EW3NNxi(>%fo*tdO!)aB4t6m1TM$P@kp|Cp zW@F772X*jiX3+w6hgGmU&sfCcEJ#HfiHvstPpx*i`CqE}634u!b0@QvYnDcN%;5|B zFo0st}?hfbC@E0>NQ--hz*4waGSC+`jvP>9BX&@qpq52)TWWf zAO&>!25we0AVt+UrP~g=|GMHbv;qd4+wHwwwv&6Tw`$NNy_}o`6b;x?jRe#HU9B2V zJvz_*%rE~>mycGNU69yaz<=8LY$MKPAcchBDsZEXl_ZjBM{J!2Z8Q_0Ws5y(r=CV< zGiY0l;rrhe6FiJ?@~5tO>guW;9#1VR)p&HLIk)Ap@7nI<1j7xGI`Ng;0SfX$ zpgyn8|EPAXTJo;_ihsqSI@Ke2U03T~wbUwo$Q#sNkLOh?jV}nsNIO_x*PRKMXPS69 zbWD0epWTqn^d&HQK326}_wa$c9;U#EavaADLKw1CYPz;$L4mRLwNPS32vI~2c6oLea24DzD%r8jyQ)Ikp~tV+?% zD1%5y3Rsio4o8d^3n|0t+u|4e1kl|CvuT+dx8I}wfzq6bC|PdtJ*CsR(lkfR=7>n< ziJSBL4Iw$GK7Y5|Eu+o!=K^kIaW>F!R~c{wZ$G1kz5e@D^~RA+3-ADc%tFleUqTGc z<3h}|1^`@|*MJL|MYl3Xl1rcy5>L|Wr@F%A7TpX8yCMVo(gIA`HnH&VN$=F5JAi-s8dS;TaWm%pKuy;Cy+3G zPD5#-C4Y#oh6&$$4PinkPv}d`W&mPVtKQEVQ%2Y>*!Utfxs9Wn)c~-eJeBY*BCtDx z05ePlh~#^KF3aS1SODDM#3rXopP>tg#~3cvYCW$El6*RgZ317k>O%hsSt4|8&)8#9 z14ry(D(l*}B z(jEs;^EsJxsv6(Ui9K9-83#g*DB+SP2VI^{qw}h61{!RFE=>O1!Jio-__NePP9ecV z7a9Z+-~)B7+k;7|&Xs{wHQ3ml=v25bICD1=?p!f|8n$jr+MD_fx0W2terBaQ_Vu&8oUI|-VE&lS=!OL^iKC^ z@d9(-bQ{Gy=8XI~q&e-Oa7`TjKM)Xgb{7C#0X|A4TQ@7!NGWLHsV(C@Vx8koZIG~a z&`95zKiIWx3k9Gw4BMUzKnSpP4Hb2saRjc70a3SF(;f8P>2P#4B4lgz2=PJ3B!3s9 zL-m~^6e?>qU=1i;b?f75Qg~PfqmM1}{MMoLPEGXy*!qL3DxT>JXg}4nE9TCihAG}M zXZko2Oave#N;8*0p~jk#E_B`Le5S^tpdzd=qednCc~tbH8Yw=Eyn}|2t4fNEt{Vq> z@G%oxocGas%(sr#PhsDH2H;24`hTMdB{SjPn{kma0mMQDuVl}Buj54yMF4r-5BZb< z9o0KJweP!zAn!=EV;<8wO28s4;=wP7xiL5t1KzIu>TDd+oM7Ca_Fy48p?3vC;!Iwr z5|z59i|13JtLRY1CVn>O*SCt|hpGIJlZCbNEXrj@!0a-tmwD%~vj{}Ylz$avKI;bf z6EASWv3yqkLBl&WwCUc9@RJ(5;aFks@9I%CaE@P07?WIp$WcEjC}RCav~Nv9{jp%o>Wh)Dh@ZRED1gEU4J}*gWGRb1$UVK z{nzrFe0oMW1TO*(xE~8w4XuQ~wP5pyRok4|z%)&XIh+h6nwFy8#z$)!G*@FqZ1*F+ z7us%vA?8O5g8QmF4YtUK4jU1Py-7#_CD!o_dAKk%y)|rO1i5}}%NXpOrM_;-@})(> zXaXVa&3d@hjSJjk0Dr`clMDMc7vIYoSlNrI)*f%*ws9VshG+^unv=^hP3QVl37{}k z+j_~<#R56pi5dqFik=c`tq7nNe#vrE8KY*-i@+nvyIq=_#X+xuEia(NmXW5!sK&D& zK7`~GDkD#t$J>o!J!X-Ff{_7m2#1^R+XWJt*Dw4>!stIDUVj%i?%>n=4L!Py%Sc>kA#d4T!q>xu^%7?Uze97ay5`a+Uikz;g& za3G!o=WhqA!0^KUR;5EQGujbP+Sz<5r;dpy4M){$B2oC%i~odxX5Afd5$5vL)`4bi z)mR^lrNOEqB!7{YsyGdu2!#TyCXTY*^uQ#EBo(^u6&E=9X&BwT`9+FFHa15#D3xVa zxOYZ+&CF*L@(2R``Z1HS*&G2}fBBd>mjOUwAD*t?GB0ydTffnqdA(*I+)V*-y>D9B zoA)>Nfg8dhpSGU8>d>qGso6TZe^pPcp@?m!^g=c9tqcDKzS-RU4^H#;V3&bG2@|t= z3ke|sHL1^YM(dOFoPUtH!Gu zE`pf?TWvqi<$mw?n~hgw_q`=OZdfn}j^?nMg19FaE5eaB+|Tv*$OSw-ib_En0<^$# z;Lrx&cZuY0gDzhd6rdTRT3s){4cuW+EC7Q*JyJoLsL6yYjU<08ffZ3mf%7NRE+jG# z|Dst}1aTw$D15%ZLHuBH5si6O5RqUcPR!k(Q{fPq$nZSOLdc~7Ka>b?s)y&Kz(PX6 zh8RjKYumzHpcf)WV!xK*b$fgckZFTR4N8Pc$(2t{15MA3k5PNP5sDxyj8`Ld9RQkAPAUR?$- zr2x}|Hnbo0zQE54He&!(D@uT#AJ(2vMv*3?nqJ|Oo?wWO){&GD&vLZ(T$4VAL}N~| zCXFB&!&V=hz7h#Pzf6B$DY;15m6HwF4RG%c!e@I8WC8#as+*}BngM}dANlMbUcXL){u<2*-SR`dw_4LrXyhbydcN3d=01R#Xod^Z$0M+d{ z$L9o(6c7>TWgb)XgSckr5m#qhfgoAPy(B2r7EXW4Otm%}-rarYpf#{>5g`XSeQ@#3 z-E#O=^D&LnXMSia4xpTWdg!gK`Rm@lG%D$`hX%YYxIkFa#6v%Gy+RIySxPuBpOD00 zrSb$3#Da{3%G|_4LZBe&J5!64NI<$+q%XXinM5%Nz?pbH|LMGBJ|QtKMzF`hu>KaT z%b|ZHLaO`YZf))8iXJDghbP>h2?7vs7pZJRl~Nph7am5P7ol!(bu0Vij(S>=$|S_6kt(0xdHCz9tn zB&Cver?_YYfx~DGr+HcN8Jpm ze_ZsiDfb{{$hgBg8|npv@L`obTY3HdTvC8O0P;kZ&P>W$+E$b{Q|ht_4b939gV29L zSdUul)mW|@suI?1LW$z`V-XSBdK}9#E_E@Z`o4$*C7@klfw%!_q#yaZltP+Qc37e$ zVtrl+LAnrvcou_1R>;s-)G|(dgbNmj&AGT|Tr}7ZGc|*NmB1Xu z`U7P2l1@2utQ|^iiCv~bxFRU8ew?V=PasZs6)_0x3CZmYAI#>ljHfRRXB1$caB9)j z?cI1{;C^qN>Ba)Nj0@!Uc;ntbZdzCCzidq|000~I$<{oF0Ab9}B^n9To~M7YEyWSV zRqPSdUO|Zi;}c%7;#9e#rIihb*rf3~wR94&UzcK(q2>z+sIPZ)wXvjTtFki7#M#-pwR+UBuM~$d_JFYfg9Y7z;5MMn@jrP3DP{G(d`iOs*CppX*$m2tZ z8$jX^GGn0l*slK^@Zqt~j-3kUi*WZtYhA+EEq3XFRXu?)zc1-Xz^=zEq9PD($Yik5 zUwUDt!RB(syeU`AAzMy3B2vXLizLTxNKbGEP)!gK6>cqG7o>C>@5q@8@-JTBy!g+H zackx<8RZKm6_Vgz>+OGw_kZBU9Xzy$(hL&BCpUB(@;toQEPi?MFW*#>YLrVz8JQ!+ z6_56nY)VLAG;sB4Qzl6x_=5&ZCo^6MpoK8PIEBy?dN+P)x9z4rKvWBdx%m}U0suGi> z*&!lHmBrl8(gugnL>b8pdOx@E%P;R*9F`F_s_a^JC-#e=8T-q4iVdhSZaa1F6&lB= zb-sxu1KATml7z|yvGlBhWA-c<(17t1$}a;)t`bD16;6MYf$*!YVr^dI32O#egDpCt z+=fOt4}ON?INT`cG*qswBp$M!Zj7(Rl{jLlP6u~eV|u=%b4FkwDPb(7{H?842EH=k z&h6uM(ud!ZG^4NuxJq@@@>o#csd!l@nDRoq)Yqd>fSndBQaKZ9baKi>i{(cylg1N- zLVeh-bMAl6#ch2!faKqn8dpO)xasyGb+a||a~^FwEYsJqII$vNd{WV`hw5v*g-xi+ z!oyij&AV&PMlmM9MxpexrXuBjD^=>ZB6%~==Sv0lPo|n_ptGsAG4l;{^r{BB%!E=@ zrRF&y-03{dcizi&jfwU-eX)Ixq`enNYpXp7?L!!=%CwI8W%O{eC!aS~$P~ppzRpWe-E1&Gyk zJLXHKz%y)7V$b$7zQ(VCvcr(%BOq(S6968&!hCa|{gRUeI&~(#uqu3aHng_%`|){u zxac0je`Gkc(YepjnoIpX??>tXxFB%(`;(tK6&%m=#%_U^;d{bxj7Y0LmtfPTc?>FG z)p&GY{Kk{eIu!y9B9rGjCn(oo@#lEscV;^M;!SyHiJzbE7SZQ$!*`i5F7^PGx{?~A zn;u-L^hJ|4J0=1TJ(FHL7DV@Y$!Y}m*);1u>qERYs>C169l(T#cHI{uC*WJyW_fl* zpK8#Sebc72aWjuf1KHOK$Ut_#;uOSTM#Ui{E7S{&#HXaAkU{dwaHiYSmtkFMfO)%)DKVesr(wNe?R_4{&u~cXaMuV=V1% z6v=(ky7!}64=pO>)vHO8LAR_Nf8m_T3s$7Ud%~)*wR^lJE2CfIG;Vu8RAE_covO=Y@Sxye&7M^B-FF)NFefpN}CDZPOUKPF}LHrxi|`*0g-f9;njCNOe- zL47qUBSK(sj~1j(Jq8f{9tFtm^u}HnugFdR^Sv@(sWf9q~Jv3vO9ZlUj+fYTB)6MW<3I>dq z!GP%^7?D(%LWJi5SyH=;4x=uCN^1?vLq!)Qfh$Z7xLBqJRnSHf3Y2VZ6{}uL%~f3 zb-#pd4rt5oQ=ReA^4~$+SGU=QBu(LWsE02X66HM$3xK0V;aj0)zvbXEfNC(C=PO92 zSjh>Jqv`aZ`pO+nK?=aUF`d&P3u)j!(2gbIGRh}dZjYxe^b3F2=9~ z=Uhnq4BXk6^XR1YWQ4twLvB`~)HGPzPgGQ-6Wdqid>4?g|$l7`5S-PMnOj?NdjB z_s#)@oEyqgzeOR0S!gJ@gDk0a)zeY6jDrU`MaV3m!DXa|jJt?JbZuERdyOMV4M`^NT-FEcO>HiLr?}euL_8cg5G1 z0<>blV7l3Hf9QKqAKi%~lnZsxRJ;*}HRj|-0^;S6 zmLk{T98ISkzEFyZgGitqXI}_?%@mZdc(mZ8a32YnBx%U)aN;@9`qPIoz5Yv zOs%o0fBWSDVoR6N6}Scww-ZfU^R$$wOy&f@K!$(x9U9^zUVG-fH#0YGY1ruQM7%t- zae^v$`BM*SKT?`vcoilEXoQ>!EPO;S(su9JIQp9!I=}MJ84ZkfuvJ4UTpHTs{G-Cj zz}2yd41u553yJ|q_Q^P3GkG|q)>!PO(MgFmRCDJn!}^n*}c$fhKM4yYXS=5lV~ zf2n7YV(D*jU)^9T#TQ^FH(6u68d;KneX6 zdZgqfOG?7lCv!ZRuI=r!FN>LQL4~)~zqdTeBUjSX=uiIVKL%>zR+M4S8)S8|j6Uh= z>|Sy?G(mV$?FL_j;m8Q&)~b*%xg&&NlJ!u8c}we0?O2&G!D5xfT+qu|0)k|Pk_9UwW=DJ84h=N>0JTfJJtJJ zlq${OFb|xBUHf{+^8`v4(hyLlloXO=6_U@pG>)SW3OqlI^bq@i$(3OV)}b~J<8Ew^ z^R#Ofwo(?T;gTuwT(Df^L9aJke|S>g|KyK8Vuc?tyi+9Xbwb<&2rviz?9+=K_0dj9 zUEBiCwE{X5-NLgQ9>S3bJIFXLpemQ4DFBUwo;N)V7w!|XWGTqMcAxkzq6M&9>X$#O zXLW=!`P#SIPwsCQ{DZ@R>j#)YnRr9>RD;Pd-Hm4F#%>jwa|JcNZ!15qe^g)*mK@`j zJwoGR`fum^2nFE9dA`)v@Zk>a@zHm2*+3d11}$vUzc+z2q?F~3JAp=m%dgA6}Oux2qG?*QE~_u zx6@V#fE$-So(L7UXmSYFE0mx*u*6}PHE3EwW4*oz4jx1MkbIvbaUs|gji?TZPR zAD7I{*0zpf#lfu<`NnF#Z`15VHe$si>U#O-zNNfJ||PKm4mYr zvy+wWA2YK2k>>4~rR>clKz4ROduJ!aKl+oj0s~Fo&fSCM@5{BZ2f5jM{Rf#_*_)aF zF@~9o1Iq_{D@PZgoaEn}HxuGNHVdFLfQyxtm6wAZ0CWTZ-Ayf7{(mT->EQtU)5-RS z`E3RtF9(nV!2E3tppTU~@a+rH%gNXk2yh0w0DZjv?f74W$i@aRvoduCm;f!T>=FOT z{$>W6|ApV~A8h3g&|`g*9~*%6kI#R9>Axw=3}kQX@elpaD`rtsR1w$JWcYjJ|2oCR zLGA!ACQbkoI|m1Vi+_U$z|F@E@cG{?s>W7-ck!=CIeT*ufbXwn-%ja24ZHrW0NTIT zgAVY&xs*X~x&;Dg|B?A8RxVc4w?AzEpT+)X$p1f$|B>bYRp$Sg?3t~VJx~?oWcA0(0$^feW&J z|65VY-V|i^$C9ygaRZFOU}FzN);A@wb8!K@*xt6$4Cwx+hyg6j_8{lC5Ww4XJ^*tN z81auQ<>LXc7=Qm^`U~*_SWNywd;k{H|01q8pDD=pt|c-#zykb-&;5q} zJga{Q>;M+?e?blai^abnCxFHBUyuvHV)ZZh){Nah@J-+>|LWvzrC31!g`98Pw@3G1 z?zh4Y|G3{eb9mDp=wH3Fy%h)l3%(V1`X}J+keqCdoqzt-9ot)ueRc62j_(m*gxaa-qjuh>+ z=rZZE*MD(KJzQvOf?C_7_mg3q`t)ua;*TkufyshnvATX@1R^F)(LL{HNAHjRHqb4Q zo$^$4V<8K>YI{}O3P?|7GfdGRqCWW-&r#)>WX+nHUd?Ib(p*He_kz-6@sFY(EYQTnvivG{BEA|qt( zY8W}t*E$@dF5)qmySYirw{Tw~#sJ-qg|mSC=Rj;|GtPirUj zJby>@%(oE`x3O27#MdOBLmhpvlwgUj_ISIz3#>CrDQmoXttU?$X5IJPHNFp&OP#r( zBEl6UrJ=pYEJ$zUp&E|6uEFH|giyuTW&(lmshdu37=Ky%!wR$G#oi0&Y2KJ_DzCz$ zr<)s5gNJS6WRV<~2}TpCwQ1a`F7`Jl)PJ-H#sr?6f`#ESg&O`l3Q_qLvr5tFHt7?{ zai!4x+it_Myhk&13JZqXhhw3p1L5Ncm^t07P~*?dO(|ML5z5zC5wcu5EXzBBy0rrZ z2L*Yd{Rxmbgi_;$dZQE6xzTb+J)8&gw>KzJKVg&6@GKo{%$vfL^(r!{aKxX6M}ID> zq-59NzX)o~ss=Q7y`sf_D-^me+twQ+>P=YEucq)#9n+od*8Slz;yzRr zRU29}=&waBsTVhU2$4aJ(XiV(FF?*m)E2DjbMMm;x6#=knSwPYe6otd4Bo~3_Qk>6i&e7An_IMeKj$z@ zK>vuPs>9NIa*Fw`SX~TeeYjd-4%#l$_Qqh9T5Hu0H*#&zi=-+4{Mk;rk6`UrIdN8f zN+;p+eA+O_7ik4wIh>F}9#I@k94#`GP-qlE2~Z724$cVY z_kT|wkb6-|7gOr}VfxoV>3?yQIWFvdIi_Sof%Dz_IkS|W;#{F`8JS$;zuP}E5H=Q^ zS@U#L9b1XMrr>O24x!WGLr#Z{YO+8~IffB@Se=qSthxQt!j|YPH5o9|w3aW5GM(>- z%ZA_kwN~0dT_l+)D=F);r^pc}2+kmr>@f<8p3TDTcAvc~kCUY+H-D#@qf@ke`%^WK z=ZdlC(KH*;AzgSA^Jd!lZ~sUs_W&K5)}gZ7Bd#!M)6YWo)*bBI-{)Z$OtB8WxUnHe zKi!QTaQKMs#~L*Yd}V{X{We$SYkvicHu&x+r=qF}FCO>U79^6tub^RUx6J z@hXj-uN_5oD}T}0(|-VF(C|vWUW`r?Zr8C-PIT@0kladF_=(S#fM%mx<4!RRU;?{S z&UA}%V3CfOUTKoPRD_^Hs(4LHr-t_$Z)Io=`9I!G3UIAu7O2{Z%?&Z+eq0>!TpRfs zpJ9qa8j5GcVW5eMn4{{7NKH^(z0-a4El&SdT|J{rqEG_Hpnr<%nUCU1>~xDkWKjH= za({J@?npGgmcN)*i)N1zIuznXykDja8J`IpKc<-%k~EK_W90{f79`GSlLcL}PyPP$ zM7b1shRa3UlFsHssnIWC^l1Yl5{P=*q>5P@Si7_bVk89`G==S16dK_i^h~KuRb@tg zr30@B4GtN0b$?V*?oTn%sd*9va5awJy+6EYxmAH*9 zDOY}Q7%w)esJPlrSK_OI{b`6LZ!u%yMz)=TJl5{i=Rcx3lL%2E*#&J9FwC#zNT&bU zY9P<8Ey3vZpr8~6E{bNi$7s{i0JaBNQ!`es++H>uXn*^&F(3W=c>HC|ZEvm-#@fxo zj(@7(&Egt>ri8>HYy*{62&PKTr?)5CTot2$+9=h z0F{L51ApHBEd*s{`&->Unag)@jxOUQO@lQHN{LV%SKStmhjV5u&``{9pi^J^zVFEx zTdf^vBb`7jhr7`RM7Fb99}t?K0>lYz@-Htjf+;7Z9bzL906KDZ!>AAbdvA=(ObiH& z5`&rLV%o=Lwoca^B}nb3A7a*D$UegS4z%GCI)56V&d|v_u_9S=`yDdsja!1372+yU z6{!mJ+>wTJvFMu zN*FS8OCCmMN3SWXq`=K;Zz#Cn#85298`+h7e2C@KNkY~fI zO3`5*z4!Jb9Tg_V)`88)Do0?@Nt!08;D1TN-iK4TN%s{zRPEIU#_j%~`^qO(ma{M? zQ@Q05$H})WylDi&ckCEv2`Jd|Jw$ciPL9@p3>SG z+9-U&^Wntw@bh?YBV0KIO%oJWsC~0C+Em&ETU7dfk=FV^`3qdh((A`ny>IuJ2B`QhVn-!Kd#9zpTkbQw1HW=_yoyCCy?NkGasnA{D{EN8x%2xbCBgnkXl+(V&+lv-l-!iqO+JtQ zT7nyF*1J~QJly-wlpUNkK!3>U`Z~aVsp2l9>qMTWi`oIGg@5f*=)#A%L8^YVgmy<` zWOSUBIia&EhHae=$?Op)GLYi;h#c&=K%1YcJ}$=h;f9MA9CgUfm!zkIq*gg-#zgWV zk&LVa|C=2X@tnztp{GS&@6{EV$?WyDU!Me8Wswo>2ex2M*~2!f+riWno zpuQ88Aa2)dPnUu(q9%a|k^Kl(?)9bvYewJ|3~F%KJ`oD4+{qCvMl62pa*LrbI=nv$ zo5qob*}E$Uyj>m2vwvVCx`LjH>*+qcMgDgYIA@(n==w-^>KOV{(sGrWHty#c))pq& zvI%DJ%(VQ7-P^y)Gl`g^rl3-&3LG3e%dUiRK7SK7IP`R9T=p`EA2-zpXKZtWDw{$Y zTCVek*1tK+CTOloJWnnHl2iny9Jl@TdG9H)Jer%t!$68)6n{T2A@i=rZAQX( z`s+Zdd-_OJjEAxZXEUdKoD2y_Wlz(_w)Eo104^Ed@y|bcnzMm`Blbw*IkR#i49JKb zeG?~7n$98q-AQ9DvHG$!VNN^-#Am1?E|(1sY$P= z8YX|V_PYo8Y=7t186VZBlSJn}?EGSR_qrtB#i3bsqLnRX+)rL3MlNfwde~uvqz%Pa zREI4b-C?m$!8|>m=E3#>A4o2N zY|>CTYigrv0`EKE5Ag$$HLs?p_pWH%lW<3Fwt_4OMKiEDQoW3Fma&i|pyY%l_dpz? z;AGpMS}GNmx4SNF@JR{5?Za*631`ZW|C-!Cb%DcR1Wc_m^DorbkXNqeACel zIU+vh*Pr3%!qyXVsvnZa65|xqPBk2zZ=s^1l!8L!Q)0BbsXMV-ytQ;`?}Lt}WEByH zMSu4~CwRyy%YAy6 zI=~feIlqR+^eG|Y{-+{|$sBe!W0i%9Jq<7R@Y7IPMI{+7fz(_GjR5gWFdGgabSETp zIsuyNlBsv~ z21Sl&f|Inret&-G=91|`3Ig)JH~eBeVSq$PYKUN#!eCpjN$y2r#a(Ua3jV0Ff|DNt z5BbF$HhDiMpv*FG!-6Hvy)Ca=dHQr<_5-`frG>;9mYRP#7KH<%kB%Iif?mLVe}5Qb z$Ly_G>MwQGF;X~H8!N$EEltSXgn}<9o5x0B&J!wO@u~yqwqvn3nqKsuST&KxNvMXz zmv?iObCGLB-mxa8IN-mYz9^p8Cu-N%pe(Q7OC}mC!|nf*b5nM9k$&kb0#X%Kibs9= znX=v$8VNnsHK9!aitC|HxX$A9yHVo$;@$n~uC@WRGTVLB>srG5v>m|EZOLVj1~)3s zeZ<~5u;8q_lZ*q>4_;hH)8c(94D2#&jSr4yo~Ci?L|8yrPWdF1Id;aJMSo6F+uX~! zc99{2b0S+FJDu19s@F!z-LD$K$-G6p?;^>w~g?y85d27U_L>vQC~o3FLRpiIi9(=1n{#Da+{_ zKIkp++M_=~2VwghPnk5^44T0}Z=P%49QQju>5ljX*pUQ45|#_%*nh9oM5`TmO9(_h zWoLAJ;`m^`fHoH^(>Sr8e`I-217*ZdIyrao9jd;w zKCXnM6%zY`*CI*|lJZ)HG3j+o$;iV;=BOwWcSMBFG=BBn`hV}_^jDrO1tc8A?d#5cJ{WDO_uVR1Rlrl|Qj*Gr5g z;6XzkDS~>Njen~xrFVtZ?Fp-+!})haHFt<Y4EvL4MSmdz>>6Bx5RKqpapqOk7t&N0(y~et*H4Pn0`@U<);)$i$H6JEKmM zi-iuRr~yp&Tf}TMn$ow4qeC*3RA8@4YuTHHDEUmP>$s$us6sadRJf+^n~E4(DA{o7 zg8D#fSU-tMa_RzS%yUDaeQ`HVWqO3?o_;hOkB2elywClXx?^E8tPdr{i`gUsotpE* z$T&=y#ec{Fwis=HV*8Mt-3q$o!Fd#cmPM~mbjMpjqG$s`-x$ojGp~J(5~S742-PkT z836&If^!qDb`q{*RI+a*Zzx{1Nn%+%=Xi05$%{-TFwA^8IY`(^-`A>grVD#thQ zb4W;h5m0$Q;z};~8E2?YOoUIUb1u|4eim=Y3+v%QX|ye(@rK$*anIf*tLQUcA?HfY zN4>F42IhRjV3VT~O6QyMFKkE5jXuK*gMYK#rqfSVUO&qP1v6YvZdaQ(aK=0ru0jPL zkj5b{l82_gu0imPfnnG28vMyKO#+-7(?(J$Jr1YJ7VT;am{{m)h27N%s^OYQx_@Qz z;Rz3bpBungV(QMI$8DCAsEqYu8)^v=i%8wj?XUX@SBVc+iKCT)M&)b)?b*=PJy;^!Qi<;FVfevs+Z}psZ`zbJO31M2umt1wIjjX|Yg5i}FhdQ67 z^G%-92HUCSoQ4w2kl~#E9J|mY2+q=pNFXG+M2*FBNZCCjI4pC2&NN@qs1Mok5Et# z3^@B)4s#Zsi+^nYWz8VXsdbn?#~?+?tCvqIp}z@hnh0u)cX~~H$60V$i{iLW%V`CH zBi^Uyz5kxC{-m9|;9a#_&k_-e-$~eU?`R$4k509Pov3=P z-fxj*kfS;8zLZO1kyN7M5;{ktvj6IZsvC>7aKM0}7EZx%KhfgC;-j)CVYXG^v?=fQ zs#*;PYmUkpt=gH}PTvX&rRLetZLyomlW+=rh)ylTjZ`9hm6}R6y#bSSf&ZOsLZcl3W)lqoMS2e5_%an(Fyjo4OojyBA$a zr+>uC!9{lt+8Dv%hJO+ikXlOR*)?ibKf~W2q7gB^%M4j(X`Ml6#GXR)+a?SD(waaP zn^Gi?7%PZ+WN(-Lj(lNFlx7sir6M+-c|R?wD#NqUl@H8{Ui-rM(V$(@kodjt=Z;wb_RmHbfa$rZ3jHo8i5|eC@GAMPU4PrBPaKBaQsmNjqcox) zF{`ZM$tL~F1eQbyHzQLEI2L~Q)r)Up?d%pFFsrXQIP6qkQ#4zSATPo^#ze*%cApg<-Y~blhtC_eQI?DF{K@-3 zK6mg8ikziVi#Ds0f|ACl(kwLPGSmL7Km+-WdjGQ0u9v7BTEqX@u%%rCsH~jV-a?p5 zN)YDZcYnRro<2rH9ov4*$G*N*(o>T%?$bWf*pN#-kL($?VK}fw@m37#rYd}Y=383 zg3TBMoT^7JMkY@Ow6Hzfi1SFRJp?h)lzKCV4S&dHKTL^0nv6xRpj~8T9DcuQk1O5i z5)>&Ut7p353g>(^l^rW)EhMT%ZO_}fL~($bMOAHspmSDq6dG~F^ry^B$O^{6V=ROy zmHu26w?hAn6s)fiPPQe3Q1D5;L7GAKTyT-EXJ(pdU>s#G-oJ%xd$(*1IUn5xIrIKj z7=J~%if)xU8=JyOf`Gr7bb#oABpk`FgoeZto#Sf?yA0sh%89lqJ;ZcoR%k6u_QwzH zP^aBK`{z7tPj(bG1>T?3O9TnZ=9$GkCN}sa*+UXtI=}TF>b76)qKP=$ifWRNvD=Zx zYxBqMZG{iel8|nX>)ao8JpNK=+8g|dcYoMiJnJZl<6`bs{ls-G&PW#gF#-|yCjqIt z{tcqCQ8cE+;6SpYyL*C@I%75`{ zHd#;7Vi0Qc(0YOsMyw&eWRduyFCM4r0vcoodvL6i9AvX~!0wS1%m2Xu;ixj5-M?EDz=ZcuxU1|9`fYb` zmz^y|-1D7&CsS9mDL@tCe$D)yJLIKA9alqB7K8)Ew@9s!^Cto_yCEG#ZRP{jfcYC1 z`gt1wF+k40emZ!JEFE&}Vi5Gp3t}OF!0LxUKkj)ZnvaoUv$&E^z6j^qa$JTDzQ2FM z9f4f3j8fXqMypc7$wXgEI@f~IgaXW`l$#3h6$|9L*hjb`D z`fK`LUH_iu_*h>zG5}^Oi>Y#YG4ul;3`qJ}G<jWpICG1G@RiGAYV6b|EJzF-3dVor-2kgr{FDUR4A`ru=J+*2$l zkk+K~9!khc7hiZn<)TL&V@`ZbTV>%Wu3F#-YJ!#HF3JUpjtG363$KQ5YnW*36uL8w zXP}VYWD?l~Px4Y0X| zs1y5IpI;TAgm^7L-d{hm;gs($tHK0v9FY{!5LEI-_9+Xr%;P3yIoBo2ih%^&Cpzc| z?~y!J`UP5}hW3)^%4puRdsYf_ZzQJc(2?Y}>3iEjQp=WR7z%$-M~gyxG4HioY4+G# zOKtVdMAYZ>B+ijAL>;L#Bp>D`tsfOXx$!_=Aqw~X)K$z>5LH%I-^|_`Gy)ZqaDYCj z+^JizcMUyBAB=V>tk(U|XOZ7CbrL%xK)>_C zyzH249^b1C^@V@2Yw6dMH564>fhwGV>n3mlmdVq$+_CwUT{>2vNNA(moFTp}q&9BE z7s2_|7^Lk7KjF;E5)NbDSn|8JF`t;rvU+&mT-yD}o|e4N{#kRZ6(=TBf7)XAe1#ls zc;AHqYN0k1{84;bI9_Zb)ThUnSzN%_Qk`ZGOx{xAsseu-Z)GF7*J)klS}gECs2F_e zGXLq07?wp*8M_ohu?rOWrMY3Y+n_C!07L#0E#E^ttSH2(YCM(-?>1#tmMoUuVaLgG z#H9Ri1=fdl4gV&a8lTN~IryX&<#)&OeSzzFWX-3`pV+TORW^KE$)u(s%z@zEQKQ--dW_xP@K6GL+mPMfmmU8dGyB%4~Y?ckb!BV@Z(o6O_bxxyffyjYu54fdHc0!u3yoVh@L{$!M& zqsxCvkw@2I9jq5oAA&P^!boSxxPh!r`N9D83uS+Q?w7VfrW@TOd10chm!lo_ab(CB zds==*9*i#84}CzK_D!7~7~Mx6hE~&+I9hy4{tCm!cUb5TJrgHS%Uef!-0gDOTrfPA z1d4F72laN5cs?+0i8J~DEpb_sW9yc_Uj{hO_Vh~?hHVJ-G)@9uS(xR?W5a>I5S7Fy z29tj*CW5Vu+GCfAW?$cv>gwcQCnMLXXT?g%0D?s~U8{cTgopV~6k$LzY4wWWtTU83 zRC2ShRy{K5JkOA=B1N+3UHgzEBOw)_J- zTYrsuUH~0ZVKktvM}A*q!mF_FP~ifTLv<@lw%>~V+hrA$1YXct$GYh{-Wb>Ytgtit zH=u7{S*?8$twBt7j!R!coZ{-cqE*K07$U)MwF$p9R+;3`TW+#rLXUotPwy$4wqL%l zU&+{Oib_NX%#-~ldWW!v|IV8oco}~+rrz;^AcFfeVuUwssKbkYKqS3*ROh_(p<8ow z6E7_#>Xi`hw>;-c2eTEpg2IE}B0XcyXmD>+5}Bon#@`{?E5NeHS_M!4n)sCutC^%Q zNi9Sw-#z1F?+*BaI-j18zvlk++|#XABnCiufmZ5Cyg80HWD^7o-l>9S_C$Yr(qh3C zP#9M1?ccy8@gkAm>K~4Xll@`(Waa;ELyCWB(g`Im7SrM#VriQp?9jDS$Ph(pSRja- zc!1bqb1g{p)9(W7ZLj9W1uy@cuP~71?^Y02;w#KyKbvX`Tk&oDvilB&`tvg8XS@gU zllE-f6!hZZvs!!sTICHlt|@tKj5JM`*%5?Vps0He8 zQur5c4)}>Qy<~KQkFQs1=H7lluGBaEzG~9LYbArLffs2OtBgfy7t`hAY8Yq93Y9Hx+zWMGE zA|~q?DakZ*VtYuNH~EZDMHoD(tpK%I+ra>l<1fUUD`~%S9bI0pO|cn*ep;a_hj|@2 zXL~ei-l?}rKztK z2;@yq<GCF8Dkr$~R=%nK?Q984f{xJA(jk(mrXN#yr?({<&V{l-_)u{r#D*}pQ( zKsdjL?u`V2c5jbAp$kr+#RjQN0s}Eeof(u~bO8)6g2255WricnV;3^%TO3$F2@H_VZ^os*Gs<)^FsK0X`_hu> zZxWkWG-rRinlzifutr?x$jmXnkKAcM)*0-7tE`$t0VTtQysBs?GkRa9c6i zEZleuB$Rbgpy+>~6n|+N%#;x5+jTuemix;v7LSt2hNZ+s%@kRroV|0&aVA@=1RBcH zdTkxu5&ISy*COrJ?%fO+ASz1Y?PsbVpda^$PNI)HY(e7iJk}=8pe{}uDBN#Rlt_0Z zM6%=Y{5(!!?|j;CBb52jci=)HbX(K@5{UhEV`Cl8_Lad9icQ``x0*<7wKpLdQU?3b%+oe`NnIq%y`JUiRRQtlptC< z9<$l(JZ{V4TS_a2Wh0CMs1K`r%Qg3y^1BJ-{Zm*cJUTiARd6X5Kiw_pZ&L`bznyvM z|1{H7#+hm9xNeVGJ{40f3#wjXG}o76nAE~_p}K#s1=#MBl7<`;pe5LRlm+do7=Q^w zmRGIuJz}tKcOiK904Q^7H)IS>i@(Y^R#>Kga|$v*dxm5W9c43uuZ{u@*3T`-8f!~f z@8bDN?xBxv;2sXHZ`HrrLVAR^-@{ZUtvQG{A*+TaE^uC_B>W(Vg<^h=vb_-*x(Q%w zKBIpovoz5`uss9Wk|soStL3VTSC6S>0kru7Ww8kpN9doeDNkk5wM}G!tL(n?eT&#yC#Ux_6tEBHQj1P$&V>5Zp3o5aN6*_n} zw0>VF6T$vn9tRus>5JWZ^`zU^#_P4*U-^G$4Iaykqh^GpCn$cC-tD_Hfu7$4aLKWM ze>u8hF@F(83iDgh>}ZVLvj`4V36=Evu)C3QdGi86V~cR1J}}=cn(D2PcESgW3;d1A zz{4?XUUY-B%Cc*Iwbf-I-n23^Bv_+q&2aD2YO3zE=Z}fr5GF+;s_SuegPsk_-}`_3 z#q1*{aiEbNgPNurwzu*4{q&U7wn}wwH54I^)V*rD$mg7O?4n&$@rOC#nS;I z--HqqHtGov9#)BQ+jr(TS+)&u(5?5qc&rY5!mYj94YMSyQj0cZAL6R*v+94q(Xg`v za4=d2W=)4YM#ZbP7OqkakA8m;|n#+g*CdmBCY)aOq?O|6xA93GoAm6}L0nI1F} zolVJ#xS)|X$KPjN?pydjjzO56_JgxXDJ`RNXA6zK%~By%g<)*)o%g-1=~e>Vc6lMMn}S)xQ<0t{Z>BbHfM=Ca98cfMvd)TbpDw#6Zp z6+D1M2IO4cJ)+D_98{q8Q#kIKuoW1|l+aTRR!+mSXb5Xr(mNheD{Ef+?}p7Dw<=DC zx4sm*C4mgu*C6q1uRXtz<(qp6`dg%Xa3$f^|6Vm<>xDRddEU1ULS8Y)!x{Q$5@vlZ zF>;u4$#Gt|*^mJ*K?wQ2+Pczt_B4Gc}iR=m-=AF*G?iGn27ZCx5NCWmH_<)+UO(yHh}LcXxNU z;8M606dv4Ng1ZKHO_1R37F>c$a3{#+J*T_B9_RM`)A##PW7L}Z%=yeU_ukYLYMRXA zmd@rt8D}RqW_A`f0f36Fqq#d+!`V^AnO})n8E9z>_>glWQBzC00?piPot>o2+<*cA zU7#gE3V&z;;NSqT^Yil~Q3E8MLEf&m);4YcI&BSIdPYX3|C0P;0xSzlFfBXm7f&td9W=?J&J#cdd*g9D_xLf`M;6rZZ{4YQtSLY84#}C~{Fg0he z8`#3t7UTx_$f_nK^KYDPHfC=B(u&tBze<5H3xB{)sTrC}dVDLwnkJ$fo=fCO% z{BPBpfj|!4|MGVJm(~BmVCx13I#{tFv2%Rnv~c^#ZEfp>#QM*y$U9j%1K8RAEw^+B z{ZE|-(Dh#pqWfoN=s!T1Svos8cmphfR)0vWD$Z^nDFJlKk#@3hw)|&oG~LXcEI%gge+m9k zTe!Qreh~bx%l}dJ|2+R|=7B&jpas&(FJ}wEP`ixmOt*Uc{GkacgT5Yi=%FxBS(8>t zQDCiecR)tuHh-1rOI;XC^OV5b5AVej(CeN8!~RGQo&#-n8t}Z3#E*);w|@w8gQkO* zaX*;VxC}M(R5$j^#e&in%x4}po&Dbv>KewSFL0z&9h|NR7Z3D-R31fvIG^r8X#N)I zjS0A&7|jq^^~EQrG|5K~_p}3}!$X7JSFpW%#Ef|fh}42+`2MLU6e(`rrmnY57H_c6 z9=sq3?NN8oXN46>mL$uT_J1s8tC|glfNa)&#u`1A--~s%_cxBpsXD<%u@a8=rBdqd zbw_gzvMw-f0|Ses5KW0$6cw<~+KD|6aV>5z5u*q9NHe@_+^qGm3Y^vT-|3>Pd$6O9 zA(+Ww$`!r15=VW6Ik;1&OM)8A{kc_MM9j1HV}M<^y~mIO65;%3Fn{`4KFgOuBk1OE ztKal0g%GaDo;cw~1@87`7gZynv zQ#_oWQE--?aZI+r(u*tG$l&%@nM>977glP);hI*kcaXbqb{EN@YP1`1naj-FX0xg* z0%=b4p96cAPC>EnzB~b9)VIymHi7QgT|o%lIZ;|?EF^lfQ-9KUNsMB18e(5;$Us&wQ{ObzE;v{Uckp6`1@)>!z8;N22) z!6zM7D2RPd-4h}!3r=} znY>wbkFbK$tAEEFvr2E9?$leZHqJSiHHjX^+G(8sa#_^)63>THteV1^H(_`(dh+WQ z^x@CowtJx`CHf@xy<0+amGu~$2PzBrNpUC1 z?`^_)521+=xQ&<&>Fl(T6Ra;+8D_xwYVh0${VVzPeSf!)pxYR4tHjbTiP`jKO2|kj zoelau-NsE}s%+mGxk97|emU^c3-)KsG1gr~x%mo-+FnCTN1d1K6vU5MWdSN{>sCfw zre2$-ABiv!hp>Qiv^;R&4oBaHkg_W1%wn9yf?y?Z_A>gNAOO=Itf|mLu~+o%%HFg=K?aWlW-Le_da~wdq>#7+b)xfKR3sS zM%|@An7$b&a9+>$s^^}#F!@@~W~y7c!flzlQ9oP1npz$YstE4YyZxkorLz8KgJ>E2 zO&V6@l_HvPIgMEwykezgj4Ms#`*nH`B69};*nj-*Pb4cT(AU5^{Rs55yw>j#uVDnFT30uA!7BGJ!bQK-!Lp|1SRO6&Q8BertA88_X^8nz z>d7M$2lqzu7FL>9CUKg?uN3l1v<%vWqcQO3OWm|NZ>kodrz)q2mCEObx`Rxfo~(cy zlz%fJqYHJPRK`$N-ul~z3k?A)T;W(ROjokHUyr@+L<-9-aa}R3Z|#3^DS9mxhJnLP z?g*;qNOs^)DZ<0>jx*&GylDWaD60BD(Z8cJhnL-VG{Di7NB%rs%w6c7k?Ch7UgfpJ>m<87<}#S z+@n6~#P(jh_Nl?-Ugqm$e3B7nf#L5@B}bg5mKd*fX+M|Oh;W^9KbZrtD)1want#9O zyBiLPUxBN;r={ErIw$ZoT%><7FE;}$kiX5cJ>ptRW<3zhx7B~b+cNr7RRaCWM^sag zK60qLeRf8VG34m{BmDmHi@bbO%kOmx|7h~A?BJMqqfJbYSZosI#X@NE&@PF%`q8H7 z%y0N|VLPi$yjQO7&TuvKid%`FGJj+y?c07D)^|}xY|$Yxlm;ouVmCdbEWigA?06y= zcgpU|W^yC^+(m?*j-$-0s_Q-?y-)6#nx?J5XuIs$5nO#x&}Dfx4I?maJ^Nipo!fu% zP!ew-;M$;h@!UlU0t-a1zmiyfqZxq@n{vZz9NSkdhcZ>cWlxQSL)#_{7=MJ91E4U_ z_bVJw8w_WIYjJ)Ami6n}muj&^ZG=nUKs4v-0{aKd4C(L0TSpsyC!LAJd)cNU)3l{W z3@3jo|1xFW{26TVpxFNMgU_V9!TrT^8;2M+)CXG+pzX6!_xe9PeW&Tv zT=^pQ6O>Y(FZKdlGh1G}TM>_ihg}%(2^ryO)=s-uKKuf;CPuZ0K$#j+DL_U^-@Wpf z<&_c(94p)0c)&VzDS`iV$NP#CX9;QMxn79Z6CIyNiKS5XMt_GX=YLiKN*F0l{Zus; z3nPijMaE!~_ZEQF)}S(OzV}XFSuxsJweLG#J}B0>R}rrD^_y;JO=2iW9rlMcUh16m z(=!^R5i7menF;E{E7&|_cnFC!&p-dWo?f)&oUM($DDqxtZTaRigNxYMS=0ao?Q$0U zw;z^_Cub1QA)tu`*?%5_toDJ$=+(ZFr*BG%*C<|}on;QIF0SRx`xGzc~#^Q{l` z`8LQ5Fo%=W+E|Nkdhd+R$7J&5R`mVyI&ncm=wru4$NPvX_P>)3x&_3&NZiLExgF|7 zC{!+V%QB&$m8Mxax|ka^rs77g>Byhv0y+W%6a5rFUo7O9#DCle)(msqwNNayWb~}| zXwr0rhct6I)lBa*GvuNurHq5j04;ZxB%6e9Pc45Zo9=k-PuHCd#IZuJF(AIS6i895 z?`jc#rnYd;jZ=VruhKh~IAYz@DyyYT7M*7)rYy=dvb%rUf#Y64X&Ek$a>LJ~`H+Tn zZyn)Nxk1K8o{Ezzu`=oX!7ppLvD@;h0LVRH2x<0yp8wQrHub=`T0?U*oz&f(?YQB# z`^ti02R>Gbdu9H~FVjK^?ng^E=q1cVc1p`5JA%V z9M6XsEH$B8cl-oa>JuLzqP$`P1(b*KR|8$Tu)o zBzeBxn9Zc#0a2^~^f_aB#ZI8|gu_i%LD|zuO#yR&ZHQsRp?EU2OwT<%Fw;3sSO#4y zjreNbb?wU^Ygk_%!(N0%=|Io2ngJ^1RcI=HaevsNcx}Ss0#;}tO(ImU8!;Y-Oz~Ef zyf`M?=-74CW{}0+zy;ARd8|eqZe{4NoTDLtfXldql53rNZ%~3A!4%1PR_3x5*1(T2 zu41zpXJ8qz&d!M2(d}N>gOVmqJdytx*wem*xw>CHp=*Z0NJm+}QFJS7Won!`d=H$? zG=Gy94EZUv&O^TcIik2$YDKiIU}0SGCvFTXjQX=7%7dAi)k$X~2-{p1c2m#u#hoQk zZ^@#2s=0(=5l0UvPzebvNjz6nNHHOy@zfYF$42Y=&q91%O?AsE5_If!reRiqq#9ciX-ElF*x znNo=s4_{8*_$)R@S{=S4SziY zGAWUSp$E8{={i;I!;X>(fB8{<#woocTREKOO-agVu@PVErC&*OQlln}?yOi}<-c{wk+@XBXw_RXCEX;5VO^dNG42HCjTwoID-QL$(%nr zs_U~5eNgY86^IFCEb?n>(5jtIyni@_3P;Hzy)^USdPM7x`oQnHN--=bd9ndKPXI#< z1Ik?dBx=vR482>VoduH_5QqDM&#A>9W;FZZ&Ph}m6S5DVB}(hfUjYY_&Yy@}K`rYr z-}wqFp{w1ZFGs-4Qyw#+B84g^9nXbapc`|HgNjO|TnFt8ug|=YH%^4DU4P&=9JzVs zNp2A(wLa5{fp$%%Qp!tq$!eOZIh6@oA6Yahz}ZcY@l!30;!VZ+_HtuOh?4AAij+7E z6CaKTqf83;J;9zor_nxzJw>mI>laoDsdJ_)Vm+~^@%}!%e}vq&8o48-TDiv-rN)qV zE(nQW>{!Mc>{P^C%xxjOiGM?63}` zb;~^cO#W2A+Uw;F{&^VHpc}aEDE@F* zdm?+QpKA4c)SCo7disfo2@CF1W21(-8pV~U4zh1FckV3bh_%| zBK}uNGjCk#9*2b-5H1k2YrM)4y+<5=P^|z+G`)5EuD2eoNUyAdp*qtNE`f)H^rcV3 z&GlI z;6B~?8Ruiua368cEh%+0>R(;@4L>NL((pH4>HY>Ckl6<)x}aQ&@NO_&wjgxP&ektN zxkJfzP(wJ&n5$U^@D@8|ja$g#!zkpbY_%c~v!+9*G6f5vo>xW0DN0XJA08L5w;Y`< z8c}WqoUjbsiGRUw_H$I@`O|6ae3y`>D1;+!%}`G}a`?j`mKy`4PSq)|8f3|BkZCX8 z^u|v<#`b00X7{QqhV?$n6RK0dA48AXlU9{7!$y=_{~E-nH^%~v77mFK7`j^@mnW}H zHGcwqf4Tg&&y4+9DtlP5zdKS9!gEyY?PN~NIOC6-nSTP47QgND3E_!XAHW=~#tAx! z8Rho-y30W27>Hlx^u>k@Rs09A>Jj-@64r$8LOn3Lr7ebL>CBTL566P$kNNb4snWOW z;_R+d)Y8$Yp;gKZbk8C@0HwaK za6Z5IG@HC63i)D*bXD!7<&pa+{>E6OIQ6WQXk)F2+&MBC*jx5^{pHLaV+kRIyxUV6u@*Rs8*yH$ZVH#+uAip>L}^QUl1dQhV58S>1c2j{Q^&bg1Aeg}lb#Yvxa z%Zy>7z$p~fuIF3e(zctYbUFDtHS8gH`>TNsJE3*e_K%F=_7Loi-FH_;5mam|U5Q1i z9Dm(6+nkllv7aXwMHPNfBLJ+ix5UeM?7firQ%Z}Y)MsvSJsRt>`11swiDpUgxakM2v$q+bnARia7+)_kYosYG<_04^>*)>zWKBYAA+kiupvY!jNh4 z*|%o+m+VuLL|ib>JBC$OX_H;_b9Fw;2p@54x0eOEoIJ#Ln+aBcwCEkh!-in45Btd# zbDk(|cGXtRigB4XT$h?Yo*_z)tMa6De=6ZBD}=p3nxi=jB^}Am7>VS_(0^dR)PEL) z&O!f%Zd=#kJ#fca%*8c%pef~AY)S1i{riiyHPMIQl7sfWJANLLRE33zU=TdQjzMbL z{1vsCXc#`n@_GD>O7@vbgU+IWHqhOJsU=8~#+efJ8!yYjvD(~WbB&7>!8!@&@#!>s zB3|uOv#jzMLj?-LEpvmzlhEWwD}QIs6fe^1!p4Dzs~W~R5JTiNC|J>{wt7}Y9{uz& zFJ0YM-k_-bz25{y(w!FBwJwc3oF=x;HfKO9pn{swN8Ui1BL>cdIvYAwZ&i3o1-8j? zfzl4IESSYnLqL%qbQkf`cehLAAXUs#GCPHZLkOTRs#E|&TCDm*LlEL<-G8(j{;oxO ze&p*VUNxT@^Hu{ufZEl(-lnw>R^j*&N1u#c(jt>>|j)k3ftHH@SWHS6t zX9!g1-Wj^*h?7z2ixZ}w_J5;`C(U|eL(rUsxo3&mzOq@ErB{1K#y>qg@EAPKhnvZQ zg93elgtE%{AzCvh2~8qRbHkTrNBGu5lddLAaNEd-uDWM|a9Lt=0ddvbVFJ(Mfdp zRu<3-`os5QdiU162G3ZB#;fFuB(GyT+r#8 zr_(aC<|0M7T&7jMV1FdnF_ihux8-f|{5cQXzIT>yf@0|MP2V4fIfB!ICd{X79T~EK zZnN|aa4&{s!QYYwrN2$=20j-tYQXP*sn?&si;WZdbAYG;O>eSh& znP;*wi(t! z`fEMlEc!UZizv-WRk4-blG%{iRY8m;Fw=0)|LCf?I63NcO&UHInd znJ$BY7dU8Q>wlJ^DIz~(=TIlfYUhb?BgQjbs5Q>!*qm->+!w9$xBW@ug`MY>eTP%x z>o1QY3X>~he)CJ&(}l_%x&=1B6Bl6q2!v0mg(dxjY3N*kn;!9~c2_b)NBf1``hlpZ zoGpWCd(=CW;97!~Am<^oEnQp>u<`LusUc6fVw@kX+<)`h$`(B$@yTbWElGJsUBwg) zaqtPiUC3Rl#6I{1-a z3@&kMX!!vS?=5oAWbg;PMC&_Y?UX`YuV>(U4Sz9pCpgc|3@$dHUF&CdJdjo=IasXn)m{?)^}4`Dw-OHd^l^o{+R;#2*zUHxmsnko95SDUTVtidNK$cj zamEioOE5F#6ZydiC&TO~81D>cF$Ls+F}20=t5M`{(^u9+p`KL3~(;eTO@Zk2aD7m3Vk=kq8v)=$|g}=ckh#q=zlB% zv&inxl1Y7%G#y zTxB(SvVJ42!8LZGfhZ-cfNN^u>!J9x9eewQqOcXexfb{Ou7{<=&@GBP#H{qPPLn4I z-Ph;g)`|?u?-PYZ%1usZh4b(MeSf?*L&=zED4L1D*rAFeJXo0LGAE4Hrp!d?M_KbV zkd6P#BvesuQcUo2#~SH$q9B+*+xt6ClsLDn5ge2eowAN&eXovq--H6v9!fR>=c_g8 zev*>u35FyrSZ2oOfMQtxTXOgOY*U|g9|CdjdrwcRf~rveT=0`PJF^i@ynhxtg3%H5q)zg;jy@B9KU(u z&IH*Ro)3eai+B0kRSIAU8Id;7XO<9MH+^G_W zT%iUWw5h}iOpZ~8*MDHCu(^wD&-V~i1#CDN-1UjnJ@~=TyAjxO-|HVzCmeYL5DNnu z`)>_cGWz{{?^U^DrAS~(6;Q+=*mr9S6 zF+t&jDch-thr{;BM+pfp4#bR zO!|1skJZT`jDJYS`&Q_BwSQmb@>0(%VNdA?HJmefm^_l}$^56WnasN$R9}XhPcw0* zB($SD6I-e3uAZ5i&Mg6q;NdOSg4<8R918j&gb57b$u6yB3!$>pmFHa&xo$JX5Uv$@ zz|dK+V@*jq?E){i7@{oWdh-t&cZ4-ophMJ;z`M6)gMXgtp9YWr<5ix*HlO}ap+~PLxFmtk+PU&mx`l|QT=a!M%nLKpP@-TPo+71KvNxvR1Zwgk z_U_RHv45y(A4!DuR+Ycb12n;Mgz-ZWnoU=szKW5*bPR4^CWGSx1*E~yo!E2O3n5xo zWUJf=c4!>~d?pD7bxC$Q_?2s@$W5NVhPk-nSTidoMb}P@u%Nu ze@o&w&U5ERlKZ?&Z$8F9;x96ILlv;B_uoVM?8QCHe)5Kg7HO<;@;x=tBU+$I#g-XZpv`t zUw_rsjO$I--byw+3kf|2}!zWa^XDPwjpsyE|V^swLvYC+}G9cnKul`bv-4; z%|}Tn3nH|D>(D$Up)ckKnu&bYRg#?fJV!D+VFTFy76nM6=@^n1GlZ{<$4ZSW1H4^q zm=w;U(f8Cq%xTr*rb~%$deKcZb*Wg71b^*cRihN2|2#w4-@ZYC71UwnHt{3hbE397 zf`uO-_E4CQUqd_CNn8COdA2hYrmu1tT3^{HgXuHG?0p>5)KNWI8htj-2muK?+;$PEKMBubD>NNNuox96hbr_?eGwa@s&??Wt3wbAS2h6eG4U zatdS9zpQ~P&}U>a4JBQ-J&ZN-Yw`*aNsWNQVJ_Q6*{6(r49Bp|BB!uqFnaMlu6>f~ zAXC5>Zs_~wG3m%fNz|1T(SOo&`YhG0UoD`ot@=QSO3+Q_I=XA`9V%tRn7d2rsH`N$ z4NA{08v$lEvcW6kEreoptkzK~fhq#=-pf}+TxNPspnY>UQ7@@rik>^MR`&cd$_m2w zZQ0j zCF#TDRj)-p!gC!yjqCEyZ;e={2D4RPO`%ZL((F(N;;eOcv*23o^gH4HO^O{G^U+==OEfz#A%$k*ud3&@pV&|Bc~L( zl)<^gH$kgk|FOJQ3d+^?p7=K`MbWuod-xAmp+3n}(&;`89L7h^xh%b?(n@ANXPE|iD1+{g|~?zY)|c)^S8_Psp@!Rbq^@PBMLEH4a0KU>s+fS zwuEqVr!ZRZuZwwQhou${KaN&pyhUNm;MzWA=C-g`;TV^i3jB<|7OX^J+HQ3SxRNgg z_mDzo(C751vJ#m$w{Yh$Q9^%VLeDbkp)cicJhKrMg?}9IH$LMdvKL8@6{gdR7%7jR zrRxjtNUSET@bOO*mEsSi%zd{;m_dBsZKcuTps*GDv@H+YD<6*2S6;7FG|#l5c}X8x zUNP4~a6%+J33nm9pQOR>TXwk_=vOGWa!orOHRK0NI)E3)VrOpH$nm*wU$u?G!UVOX zk<4erJbyHRTx;{>PnX>vcl+7gJra4scs#>XST6$!>SKwrIme@RmrjKj;XzhUjm9y_S(iRx(ofIO{32?8cXarLTeG<4L_b-HR)gX z*os?g^$FR@39c+ZDb7M?l81odl_3g4YwgvzmL!H8A%l7|EwP*srm-Ai^*u(Z zwl#utfjJvcGGMk!JL`-iCjla~y||hH#f6~Xr}0fPrzjly4xeIpm7Gt4|X;N`s%nnil~tr?U|j^@~@Z{0XnEOk$))ku`}QICaqF9f`7%P zjAw2&_2=J@;&0YiP2+1zQDm6|ko9~~)bk5j@=(Eqc>h8*w-23TA<#M+ol0dUyd^tU15V-1%(&T z-nG4My?WP%8KW{@g|)9JcZ~r@K!5fehs(gqD!z9=90HbZ#y73aqkHb{fbjQB1;H$z7{&$#6Cmh;!Zq&= z+0D4j;U*-9;1=zMA4B#Y(BUhhrT6je?#RvWvJH)RtHsWqxRDMcp(EUQ0Dl<0VwxA+ z9!~l@p2^SzB+XNVmrVb~3s4>2r23kuw^Da{sMrXPy<2lzcF%yw?~CTf@KlTY#x7dO zeNN?ENuQfnPBhAqFun%zs(}S*(Gr#1_Hx2NLxSVpHB`OiR@wzyAcGcH1+Jiwc^+)R zaM-a~{*XuLbQF71_%d~{Uw_X4A%rP!xLfzQ&^y_-k5-Gqe!X9#{2cOhp}&FS;(b!0 z`w@ltNC;$I$_kIdn&PAIa<*V;6;_6)3p!d{Lvbqd#z5(;f7Pnf-N@9SkT3fJ@Qsck z`smMKYLOpblM8k1pJQ@O{?=nd7-wV*2~~xu1d=xm&O{zl6tw$_uzxM>Oc+tC6f$Qw zhk{UDrwph*Z&c$k5gP$i>l5+O&>1RYoxL0wE~2=Vo-*=t5Jz`NN;JD*DcuATL*|Mq z*JA^ZRg;&UB!%2|A_nD`j~D1GuQ%mMIM^xeiWQ%OL^oWk>X)8O0&WH8ltmXY$jAeJEhPRVv;8`F2(jMK$W-+x zo8z#Ln&sj7!z)I5G0UC7n1dn1erw;kIQTH>FAUZZv>Q~=I@_y+_jT0iGlf|N!KkdV z;S66YM0>z0_}8b?$Kl6*p3N+c$;^OuSEs#f-@VTS{gvMb^M69ik8f2s3bN(j)Aii( z5Bu7;d;lU)LP+wTcyzLGchOy?eKW~}baYfv)-XbU5U|UPM9*yF;c)~K_lPM_SEBOY zT#cV#b2o5$E*U>9Y{xth3l5(h(1eOAkvOQ0@K)w@uN*N=a?rPgT)Mah@R2@6T4|%} zMZQqa%IEz>K!5DQyfad<3_Q0zI#|+^tHaO95>}`A_~N}n$(;8*wd|S6?hIlS(8!&} zLakyV`~6dj(kSAHtpe(v;XcpdQ>wT6;*h7YHp?W9JEp#IP&yPpOTY1BwsTWTkOeo| z=RuPS?6@d9z5G~7o{Yp9DYh_-HVZnV}T;4Gt<-HdrRULYYV zOvL4u>3HNDMJ_s%)IZr(?b zlaJ-X&^na{6?Xe)OxBXM1$l%tax6L6dHH?16H_8rhbbPk!O)fi+FDLP&DT= z5rq+m_zk?K_S$wc*?r_GiFY`|B9l|kywrNPuUNUswzUH9*?pX=akp2~^=s^9kE)3k zUZLxcLB>`~LW<2Bv<0J_t#iN|fyHYU<)CweW`bPJnJQhm*za9WKG8NCNddJm(Lc`x zQ-4b6sC+e}W@Bz#--gh9MW@zGJ(7QgziD4Q4?84bM8*`)%nT>yH0lNMWiEhZ=QY$ zU2`x)S}Tog32KhDmr>}TcMf7@N;|NUEPp)=;WVWI`W7h@cNhZiEoX^9@4M1z&fgAL zkon~+$>RDeq3s0*Hr`P_u*YHoK2so%43SOm5kb=;(GqoDxPR z%A~X?H80i;(IR%lQg!ScY9d?Bi6^U-k8>ddWQ-@F9%Spm_vogF=byeQXZ4lw+kcLN z=H@G!WrKB~FB|oZ6JWnwB`GC_oU}ScBr*kxoap_q#tpynv*BtzlyP{^Bp$XmIxb1& z7QFM>S_Vj}-ri{ebylv`R~X-be&HMEQU)Kpq;yDqcKfop{b8D4bii3e&Y0_I*G}t% zy(wtLqOWha5H{F?1i!b2kFD=F$A4BR;-Hy<3+;K4pF2Dp8tm$mF4GW&b4$}pez(Om zS~{XX8X$hs0RU-0mcQnNWLGfeU#@F}>Pn^eU%~29;Lh+G*%i#Z4?2dy$(2=Y%YHYTQc9s={4t`qL=_+0o+F%?bx!z)eJW3?o+iKW`Vn-s}d^VN`Vj9(2LFSwY=V%dK8rBkc743kgR zZq>5HW7>o>R^jyTCqu*CnwjR*+RT4^jeLlseL~|8uCWT%%Z+Wa|Oj zJ2JajxD^s;2p`0YIC5h!WZxzX$e`u>myxBBUqLoZJeHN~IngxILP3@A6 zrtFiDTL;2n)PN_?V6Uv*i@v4)Z(xI@!It#Npuka( z!baAXYN5Q+2!d9ruu!*=y+ZbpNA&|OYpaJu3I?f;k$7*V6cy9(Sbcwj4}7}|8`nEO zS@m8HrHM|9h%{}=fBkbl%PQ4*ftKn@V*Z?)W8|ZMDkk6EacPeiMsV zCS+qf#eA1vr3T+kbQQZ*b;sV5Ik9+=@Ao&>CDgJ#o&EU<7jv!z_YquEUqO}#C1x8B)*!`u2KuHT z9y-dPiq)VNNzvKB)82l;FQX-5RNUe`8{_=j9pXe=5hLK$l0|-(M@mJP)tD>n^38GD=$|Tuc1P1Ix-`JsPsgeIC17XQM`O*uVAVJ?n%_I^0wL_1b%xIP!a~`Ne@cEnI zHB>BT8HPBZh_Tg?au#yYl(YE)SvC;YRx1Er(Po(HWHPo3_C(v|>{souU(K`YB$*B* z)TQIWAwGZ823Sg0$-s7yn#BBZXVyMic4hD9RF=y=2=39Omx#2RPwax=#1%zX@RjAE zO4k9@*D=T5l};MJ`&agmTvzh&sd^@;YOQ7-IWuod9OZ`T(IR?kc{U0VrHaI!zoaie z-w#@RPt$WLTkG4x7cofxg0SP;nObc_#kjavKH-1T;WduqO}XcWJ2s^tb6A7O`1A?s z$e>nzpN)w{Muo*rS6r*oEGPi+utXJB4;)p}LRi@E(8Z0$wQhRe52p*VZ$w*Qq&ti*yH-h@RD@ZULWXVE=mJ^PcP z+#wh6#)vcYYMgL-oTg-!z?9V1^!0zjkdl96YcIJk^Z(1yC_EE5cr8Xx;1+_>F1P2D7z0(Z`6?98*lzx&6M+sz`w7~$s6 z-HKf3NA>O?A}_nrvYUnD_+ItS#GBub=)~!T+FV9_J|evRp~BKRYnR-3akGwX${iINFWllv4xr?Htmvm^^XBh5~(5R@u$Bz)c@s3qRc zZ^^P0{Z6^S+qvsbou`3u!OBwhN3#wdSrpCzXlXoaMy zoLCe`PwDXuGK=km_D+xRo~PBSpP~ODu(|i)Rkp){MXr=uE)z@lXP8G$IO379;`GsO z*`mJsFaJa}XN!VXKK@Mvq!=v|f$2I|Z8HL%U;;1(34m@By{zWpktN_2^lp2SvXYpn zS`i3TH|Huj29?E)0e*j0Z19^}IZ@blj&dnGriZNNI{ywprqF4FWu@6z0GzPKCzlC1 zHI*$*#RY%GE5FIE+SCqGcaw)FH;knOJueD_Ptx2l5>P>&Gn8!f=ahBb}?#m>K z-v!?P-qB4_!u1Y>KURPEQojurX|q#n!HLFj{+4vaR=N7V|PKI0&%UZLH39;>RJAS%;KxTguCFt9zaI0mzB%vFzgE0Aj z06QA8I|^lPWOJ8>K?x25GC7x_)d>|5GcXD-Ol59obZ9alF*q|eIG1qf2owb|IWjRc zld)ANf2_GDi6bLLE)cjn8?`LL_@ zy>KmD>t401HYuUJ5{-bdouP@SovjlM11&u#K-R*>(AiPZ&PLXbLz+g>#LOA+SIz=M zN-E@FV&G(9XDe*rWWothGcg7Tn-~EY837C&e;gbzqyQm1dv^y5Gjk^Zg^HpYB^4F* ze@gx_0T{afhvu)RqlK9*fb8#!i;1j(_e`HYeyv$6M&Ps3Bc6C+5{jZC$AwP zD+ZttlT`tTnb?{*7+3@3oeixmi~!OWMkcn7CX@hEI|qREzYhQ-J6mIme@b(t{fi~w ze+V!DINF;SS^RY~aWgWp|3^g)us3nAv2b+!`wp;h1eiG(*gE~~fs-A;!q&*z+4!FX z{>n}5{*{ougWX>Xo4>lhVDfg3PL4(n7WPhnzft9dMgN_rlevM@Kd~Jx{;C0XrhhGs z?TnoNDd}Ijzc7EbP6igXjsPbUH>ZDMe;Jwpj4d4Ptqt7&#{LUt?_lw-G@KnRY|Z{N z18RVSiJ5_ev9*b#<6oG+*#C6rKkEeiFV!2^+grQ;%iHc>R{t{x3nxbtYg1Yn2FAZJ zjhz0*HnXsWq5Ef6By3IX01Wj1mK!_U|A)@S#Nl5JqWEWKDE}s5U~Fe=?G7+De=&uj zleKgD8xlbAf5$TIe;>*J4HW;k5d7al@BbUQ|COWvs$KOX}d3v2iPlh=Q>Rx|l`y8j0-2`7WUZ4t0F`%4Wy zE&acR7LKA8ZYIX^7EVUy08<0&f4@EZmt4ix*u=rw!q((3xBqG@fQEsd{=evy%`J?q zZ2uvF<=-k3TjT#)!C$)ml|P+?gs_yD2G##&!T!ro{_h|-DZAVM&Fz0wBV%X$KM()F z2nyP{0X%6KSlIzIjO+}5@892qI2f6||2HB31;p^5XBh)02MafV*5A76e;NK&{r`CW z^Q7}%U_@+i;;0{g|+&789;}F>`NMy3-kS|?RtDuLw7hT^gn8XXd97i0e^d75|JWq!V52(xO{ZG|pLVVm>3O{zgj`#2c21UX^87?TI5sjo)N>2o zcYs5c9Rp3uWq{$6bViuy{|eMpPql&FhY6Q;=8*?2tAE^j0LIi)U-&lF# zE`L#!ZikaMJ`_(ke^8Zj>OfuAxjfA*pE>Stlq%kZa&H*c5bwSODwTrfjh4;ze_>A2JpV*kG^`nFY^2tT zIMLpzz{zYEOwQ;DXWdKW!pi_WT{ENak-6}x82fKw^AuL1>)gnud0YB=|nbBLH zN>-~w*8{jZG$SyzOzU6r!bNOAVhmSyeWgF9HXw!GK~#M~5-VIca@*`9$Vlz?p}kyO zGL~X`bId)grm1yr_Dr#Egk6)Q5b<>x-nbgsWI=kZk;e zOZ9@>>Ks*(o?P4l>`@sW^W~WYfaC$q91rS9!ie_*f0u=7FI7Y+;NeUbz{ZN0dV$${ z3j7ct#<{XG`Ur;!UtE(woHzCwr&>a%)5~S?sqZkX1sltRM5N^3WWwp z^xwOSeR(3byj9>hz+b_gh3oB-)*IN?(0h_{~Otn&lXH%E{4aW=5y;-W7#>kcQAJP8Z zp@e0inDS~FAk$w4+Rd@kL!s5{ zLB_%?aj9pquva3OW@}lfSgaFLeO3+F05eqkb;iSm1+1_SxH(AdE*oaJ&(lASTOszM zTfJvqdoL}tf2y`?HWsX(RgrRnsP2s6A3N{Z0-lqKt^p49N#3b>6?7Gs3r~tm!-CQ_ zf6(@ayezk&d!#zjM0$7~zc0ag^;7rwf)1tR9A_Y`sWNq*6hz!1lOQqV@SB^Fvb892 z0Ih02AWN;&X#`tFi8cqm7w;4=>=k|3t`40j96gWx8zV!8f?g{p-5j=0FIZymNn;Sd zXD!_=TZFwa6msX2L zcX1K?@Z{56G!OAD9?Pux7HI1cf}~SjPY;ms%-@w2NGdiRN1qwe*veo()ar`Hf3bfI z8HfgPU5REuAtUvC<9sIg0hV809FKE{Azxsm6UVm|VM~`?0+ea`y!Ni>A$C;#dvZH3 z(e5Zm=Ac(#BOHoZH6;^8N(ctwnnYLZ-fdJpuFdL@k!^p@unK~CDtEffY9rI5sXp2e z^{l5MhtmF;_{_hBzD9I;yHR3Mf7qmsq}rSa*GnKygB`nc&c}dMyoKkXvzaby8j=e-k~D+9ZOx z#sEwD2#cxEiNIJSAv{Gx>|}RNz|1|h8~pv*WEo(Wte_Jz?MntelR$X=3$3U&c>7sw zTjE-8l^c0fuh%%c&)ix7oBnIA%v2*rH!l>8_!xBj$==jKKw+4R;T1eTGoI&=3ppUqhUon#V)0K)Tx%ERwcekYU`ddm1 zh-9eRV+kn2tJ3-*l4z`rQxyK>8^$(K#a6~%sq*e+D3XDwo_nmY`noWjCfi|$$G$w% zNByfUUbvI$+qu|xe}A9;xQ4HgDTc5fm(virCZ!Bh%5<=bOKNt@-=Y>agu<4)l|oAh z9*dwwp$!M~_{H61OSe?QAvGdutxco9dBo7HtZ1VNJA~a&B}~PS-DCVAHgAI-Ao;h}SEv0>`9uj7 zfL_s3JSgWDu6;Sr#LXyn9eSzq`&%{rrYP=Fj>k*uLE9m>o0{wfvdgBlO5kl@Yo;vf zL|7Lkh+D07`yS`Avqc6}hKAVD;R`0LZDhhwm)j6-I3SC}_mAsHQ#u zKLrNGRclwi_yuG53H{h$Ote`1#mwc@}RYG*GBl zu0}MZxEo6~xb1Fx;w&R<8i{k7Bm-&DTnO9#dWT1XC1*h#WYe?A zeq1a@EP{q(BsKB$?#Vo~je67jM^*%#bMMx7!f7ap{ae&#P!q4Tz3(1t$BR`T@D3{> zMT&|Te}?b^*ozWu!8lOZ+^e{ZndTOCss2Yfx>`Pk(_AwB{`U^Z>62|FGv5h}mDc z-~^SM-Mr4|N7XvW)#mgrbg932lPm|i9J zNSUq_sN3>>6WbhMU*t?x<0lH(jVFNLhlfGUgVOhh9(KjduhWaN2bAnkq+cxiFPzL~ z4UxV^;$7pYFRNGI>0hAZ&?JRjMFucGf2LRuhNaadnEBxpWt$=n)z|GME8tRVWXI!* zp4jc+*CjMT9PVw&kvDo*x(Lo7y0C|0E6z=D@U!kG`c=7{RXqGwNqoe?C>8 z)n&>OFl$#gZc}yS#zQ#cPb02P|R`be{x*#8*)gH!afqc!|)O|I+vuE4ME7x(5MvXk|i~O zK9kfexi<=prWV!wBa!KL<~@Z|udDm8XZ82{#hTh$+GGLUw-Qk}&FR{jd^@6j?@MX~ zbjcD9=a62`o*s`p3;_^cx?^#*2#}!@Iga@%RI%O9znDDnpr0kokkLU5e{;aP7wiP~ z(R3HkF1^yalwWC-=kumep68yw8+gZ2cftI1L8YWrK~Zww1SdG>R85B0O*^t9l5Y`q z02qFYsLX-0M|D-&acOC`XT2i%VFtMhU&=vyr6JO39F@2C&I#s@$8o)ydG)Yg#?ZA@ zI_Ki*HLW%a@+V_PRsF{Ge@$z1gsRKq@qkZs-ReU6-V6+tzG;OON%5wntX2z()P`5> zjxcwgNJQB?w--$8y>_4=Pq*HmT-?NH#21HMO|tNXO^?L?w;UqjxXMt48lJ14QVTpE zG*Yf2x6f?|&omJ@7}L~vvnOul2A7AMC%?mXnz`Da+voc!=`w0de}pRe68;}Wxls;c`52= z)Cig_g?QRtB?OnC&P%;5LaG`f109SP#!fnqqf7C_?cUhGS9+oV}c z@`pI~&u>QAwyo9wf4QSTmk8(0WVPg0BET%(f;#Xx-D~UIuQ;;qE@OTM7LgPAnOUQkmB>CMNI5B=8G8v=-lH)M3X zEGRb%VtBhP1F^B)HgiCwe?!CsKir^??9eIZ_ywVdY;dS~e@apTM{Jstp^}>wKdQ*B z&e@~Et&Gb{eai3N#I~Fci^qh)fn?&ICb8=><}nMN7o8K@dQh9gKV>}y&?AgBJ|&G~ zGT^tbH+Go~%664zurN{5jTOU~h@?*S6Z03NzS+;`GM$M>TfJ&jV~|R4$9iY-En#oR zFw>CpfVoX7f5DmTpawc$&`OAf_|)C!s}4MCLZDAxz`vD2wpkCsGLNzne;{yyc1X?~ zCBpm+-@xs!ChVq4bJRs$lC)l7Kg4H0rq!|K?7=WTowO8`57aG9E4Fw>=#&7~qqyjP zle2pxPyE4uZu&(h2T>cT=TY&<&j2w0Lu@QBtowTee-^S5-Ucm@#|9VgXs8Utl^iVh zz6vO%sZX_^hN!6j&bvuHJPWKNs7|UfAX6Y|y(Tgc4GNeN{qqNIYQnqp?DRZROZO_* zr#*dnNp1dgE8I_e=}-NMY4y~#!-)wA5koe;{uuAJ@8K<65qz;QJptG2|?_}p^a6d*xyGHi=|C%=*yG6dxx3&N;Q@0Ot_;^q<3Szw7mJ9 z877eH6n{bc+00LvfmuDHj<^|tSH);}9)L}{e{18w)vwA{}shrJLG_nL6@&tfes3k>56%v>fp@B2p3r*g35s$a4T!w@tBaW1E4$ zNh<47^KBFsN)u_-p-#wCkn7A`Fk5To@LlWAkXq};iSz+aa<|q!sTc*EB6G_UTY;@} ze|)b^{y1C~h*RGu*fV9<(TO8~^hoJ!n5QvmRgZ>}CsXvKeTAHZ9r>Av%ZvsaRQW)r z31YYemCQ6TihqedVyvAveAZbkN1v=bub*e;y0Sas(&djN<^usEwm5K+UKV_FFrqOM z)m6l05cyHog64xy#ZHE8|N9d6{->{Oe|$%631#F05msSr$3<|-v%jEwjdBoB*LOes z8^}hkuUgYBx?BZOk@sm#{X59du^pxyR07CFf7^rQ z$H09RyrqxykwZj~e06`G2s6`mDBQ+I`e7A3RM;?CTe(xoico*mt6rS76O4Jz*u+`i z=0Yx;O?bDf=+cjNF=)63#r@zi)7fga+9sX5u?>HDq}S|pheUY@%f97eZjZ*+xBT@u zpkQh3(E>NwOSXMT{dI*PS`&d+e>ZYelj#ZN3;_$=^+uvubB`2|S`s+bG;|vhCwZ(L zH|v=WTN}DLfdmC}qz3~OgaZs=RbYkH!_XC)UNXX&@_SQk1cY`>E`Ic>VxtiuiSecy zSTWL>jP_}WTWwe|sz$L{HhxG1qi2v*81|4Yi9JP3P~b5E<3aK)ESxMBf7qjx9p%rZ zZtVwnn#_PjeVWTXH7h`FWwCb4Yt zmj`Ro96D8FE%Yop{tokK%kZ0`(hbe;APFu>zn;}r#1I^BxvzE(sO)*w&xU2iUqaU% zn!uAT1l~B+331j9KIT6ve@m%d(|#U-F@Dsp>z6s04_j}(871!R?`nx#E>mqPUptGW z6PRu4ciJ3kuvX{r>u5SK8dG==thLwpM~7@Trie@Cn6qmtHlU$2vIXo$9GIpJfS;>w z`AK4AG^KVxzB-YLg$#pG0)yr*#(w&OMRP`3bDXZCVBy|!nJP$Je{Y;J^e6w$D&y%{ z%mwbUdfkJWej0`6etScdmJdU_M0QD9{(#K4459j}my^?loRcL-(;F{kwW$pOh9*r~ zY(BcE<`WkUVjr(TKa8Yws*+R#+L$_agcj)?|*3`z~uJ> zyu?M}7W229^(+YVe|0k)TF+eo{SdhIwr6yrF=Ob~;{pp-b|6A_Ce3KcOfTT`>C;C4 z;jyUR|DxL0id@!s0gqXGoOkBqA}XNsQs4A$Hcb8FlgQ%k%w0jSlI#fgd0gZ$v(BPw z9>%-7IB1sy$lj)@>hu*CYG{0RSVkn?rH3Yl^p=5bMVi zDZwRGjq7b#NLU2vO)wlO$eX2+M@Z~x{R0sS^=vGh+>`4APJQ>@*Y5ZBOVY?Bul0H6YWturmZlg3#f8`i_THIM*ITgzz-Q6;+g^&%E zvAXJ>F*Fea6b$sYk|5sYWq57~@-rV5C`*I1b8t_k^<+k`NZN+wl#OnYv@iD9*)`sj z{RLR{qY+=KOU4Gg5XdV(v@?-11V+cPXs5J!-~IU8^44Qn0ATmyy41{rFs(1&Hnd@U zn1S_Ie-RaU3tAyM7Gzwk@|gx3{vi zrYly))Vnz)c0gzRgHWj5t^1#ppysoIM-n)bf8n8$H1M+ixD3;4O@1O<;$NS-F3uUl zncqC2>fiDP@P;U9PpyJx#4k1f+*xU@id(oawLY=WUoqcIDXJFi8844g_^A)|j&Gnq zYof)hSdh-;Q-`wtKxSXD@f%SjU$8skbl)tX6L3_GIMf{x(9@83l!5{O>oKd)5#l07 ze>i79;ni8Y*F%JP{y9_I4iercfT)G62eV5>{V6jCbDivkyfmuii(73kikyK%4y*|; z6o~1&^2(0T!L|=Ha)5Hn!r5L3LRVV{2T@k*8@qCM4Eh3Kt8!#JbHLjNgbX{~qRy)P z5;uEHs$hg<%6(vjE*@JtG(0XaV@Zy?e^B1&t%?D^-Y@O^hOy>$Bst1p>NH;gAE#-9 zhzce0!qD0KN5g-jJbJ5p0$+Uvt{54k)2Vj>xcy2iu9r<8dyKE!$vJmu{TT>d-gw@s z7gOj(%eI$W=;APOr8aW}%W!m%Oh%U>x8-xnxL5j`)Fxcfq-s!Hn7VGt{`7ihe~OPH zKRT^_y@I0OeUgfPRra^>atTjbG8)>v&go96ZoFN|e#6EbbnVg>_}Rpxj*ZlCA=dBM z&z)fzphNc=lHdxTs3tD-tn4C*1cYhF*qU=Y-)tl365QXpVN*1>@Ht}CqAij+JzWzs zGh!ap^d+?Y7)AV&LvIQVK79ClrEI9^{ z9u`Di{*E%8toYmpk1<%|fw}WigPH6>mmxPBJ*@1tq@2%G?7bd9+~jGMR1VL5 zPJ!!Ki!pS=Zw*t|FY${>Ox&&{tlBvug~DJk}`%Xt?9!u!bB+_0ZK3D3V6BGlZt7Qi=RPcJXb}n z$xCaBE*DPTB%kJhJLo z4Ad*M!JMPh)DhT3f6xA;>rEm9s7Ko%+BR8_B|Dyk_8()0`QJwH8rl0oGBBebvccYt z7#4K`zn&L$D%5bhGJI_;n^={bIDHtjMouW1t$rw!_*8|re*`|ePS|Mf!b)ve7n%N@ zRNc%0H>6Dm&-jt)3VtZcqo=Xz){#7AHvRpBC;J*Fb&PR}U03{Podky{%*dZ!gq5Rz z5YV(QjyV%OyD+-enk6}Ru0_+S*NM_G5ShwS!*Pj6S`!iHVq|jM>9Wad5v>jJh(pkQ znC=K26zXD*e@jrk;0G>q!c7XoB?43thWxcLTNjI+l3re^Bu_1d4Yw+bn5_)djIq6YpJ+ zY1wn7$>I0!EDrd-xYF`$#$Yq*KUx|1Il1z@k6)S|qz5>h(^)h`IJD5nP9=db23z93 z@De1pojrtBB&gyZ-?rJFw8YL6A38OMA3`u&)uMq@>%_>x5^fK3=jv7H=n)1rX*`>N zX1r`be_v2+pol#&J>6bvi=~)7#%ozY&yR}};`8L5(@WG_sOs&rf7cOEsbh9%!Up6C zcsKOd)|aXiAERfzAP^TnUrVm(A?K4hnkbVKT+z_-JtbpfkVu_ zfGgelF+m+PPzCGHJEz%qpY;VIGtBuyaCA>`e*nwa!PPrDDoXQZh-6S^+Gu>`lCrRj zQUf2e5rTE6RTj(wk2mWhS3N57Oh{A_ygM%jNOXS>3g-k+MDxZM?cT)T3KI?$VD^Dq zJ+V&_>Rq|yJ?ZN7UuiFX1POi7_W9*_fyY=1;TA1ukJ_=Oes{mU zf9qwypV$I_MqC1#qGUPD^vM)Nid&Oyoiq>tn#{A>%Hew!IOd!V=_n;7y4w;`{S-b9 z5sp73{|w7|)}yFIxTn}==uu*;Mci_tk27CZaAt`y%D-UU$$Hx<49bgD%Y}hl?7yKa zT?h@isr;4|I}Iw`UO$JhOB|dDW&H8@e>#-DvE9s8Uu{+)UI$ljj0-?y(S9RkXTk zJd8?b-_;$;ka~gDJ;`7lHlqUc>co`UK?bB5dot+Tnp!N^xaeZir4{+&;mP&m3CtZ- z({P-$5ke$=(6>4Iw`#?0nZ-7%e+};sVap{j(^X1?AR z69A5lS4O^0F=xQ0(!-n{VSK_tD56Ln8hU_L!B)E{XdTS0Be(VTDpuX;vnQgY=Gu-j zs0>h?XIU<$Ra&^@Muw#7a9ZU4HGZK!L+c#D`ozcVUeX*tSZI>M8Uy4o8knPYC)-UN@PlBWvW*u2X zHaf&pAda^>{DMEZL&atC?F&xE7yhuAbH`&JN+Je??WOh9nt@+sP6M|VCjl%8m~y@6 z4RHh#jzwLAM>BwA2GHvae`^SL#5AQJQEQEmf9S=+<7Ud+%$?rs3!WmzP zvb+NPt@IMhTRX*7?% z_W;-(6 ze~lNKht6)JVDFR$B2>fS9^%K6hu?6IP-|X9+s%c7d)OYIK2+eX;f>|0V0T9dq4eA} zcPQ#FsIW(|7#k)ZEFggX%_Qr7CSzJ{($p}kjDBpS6~_#5f4okmr*n_WDiL6y&lgIn z;ID5Ck-B1&<=-gbmgSq_pRW;_NF>S=fhPh#a*SKFB};B_17zPBW9tu6+b@31CH>$qfCaAL+qcuXwQH>DsyU3p>cv^7bdH=i+s0xkq&i5x0k zh})UtlID-`*voX*GYT>TGt?q>T?M$c{*V(o$eD6tYo0NHO7_8Xqm6(u9GO8tz>X=> z@{0X_ellH-TX_+oX5};NuA6@E7Eu+3OYF2!`ibD)e|li#HUyhuVGYu!vwznH$v*oV z3qy{krWdvlYOtM+)h@KmG;97Fh|en)BZp`Yuw;K(LazZfb;($8h zT$Knce>%5ai@k5iqZs+oQg64DHaKCd!-|MSy$p)|>G=JopKfr)zM4|jhx=F*5`!Eb zqWS~jNSB>hKF92{3ZRM2-AMwyYZ$>HK&I$P@s5vONBl?+LMJne#O9{#p&DG*^usG* z;`4zi%!jX=+D$!YIzGSQQ9CHH6sNO7s26RNe`L$ws5?c;>8;gC-FB8?@4T7rm<2`b zhXTlMGWtWB}Ns@Ivi$@BFvU-2L9B~m%u*6+To3r2?*PAAZ_!L}*WQr^7JSm|nUg`^BpF$>O!vw@&q^AelDMA&wpSbAl$XhPUPhdzMItY;>#6#q)6~*Yc?33VOFcK9k_p51Ky|p?|ruJgx(F>eLlM= zInIarkyTxzHE!B&IOZ#tFWcIN{F%raH$jrgozM?wDb=@<6%wNE@@N+^JzrgHM^pXP z3SCNs_vZUfih>@SpSKS439(`d9VMqd}sjz0?bG=gm5Jw>E;_O;xq zAAxaio;X*`14vJ%hD)(!kT+F7-#=He&Cmpg99J%t-L))1 zHFfe2AtFX2B{Fv9TU%A0Lq!bRzPlR7N=lr8=4)Nds-RdySWh&1@5Y|M^6-9iY{OUf zSETk)mbe7V+@=W_LULCpZ_TOt36%TNM_ZXl8l~L6B;Vd_IcAI*Qfh|we?YvJ=2Bl@ z3e(a?ax3%PX9p^BF*;#SN}a29=;~v$y+aKwpBs}-)}`gf#z1n?<5r<;@G-1#>(_-{ zWo&YSNUod;moz!*W*0!i8Qju@tZ24MIURAlH$}rFGSM9^MC=RcZ$vKxAhK1b{pMUq zZN*}b+UC|0lT&h9ffr4`e~fL1S}CDrfH!r`yE8K+&8N)hKa#7WQ(3_;dNtU=aM^;$RtT|4fqGkMjg!>zf`-ogfr7ba|^_S>+iPXqy~F;pR?bT+*E% zaFkQJ8`(RW$PZ>rnB*2{8Wfu<(x2Nd*exzr(bzC&-|yUZTgjmMhXE_9a@Qvy0}T3& zz*z3EWn54OonM|-e`-dZ28-IKT^T5^4I1S7$ej-Gi*MQIj!TxLZcRe>2kx`g zTvCN}c%G+L&eaqi{dPZ6(8vw^Welt5-THFJJ~*US5g@!je-op{t9`3%;@}F~Uf%)a z?!BN*xhF5!_C%t;ho@gaC(3PyZ>T^QY=FaDi;JnQ61sP_fDB?!oG3H*E-qdi<~OnX zK6kwc8^6{W0u}} zKK&(@blrJ-7phzJgNJuQ;5^$dm7@;PkwL3nvOUQoWM=Q!EtM|;iLn3{eQ*1oix~hx zBKGjy*hih2%py;&r24o5jr?1&c-imPtD0#D6u4iT{hZ)uckbHAb43daok*$e*q`1b z^;DE#f2x+K#&;cQNRX)PqF4lhaI-CV;cUFfp7E4@odRVqrQQ=lmEWZ#mJg<99qSj! z1Yg}a2j{w}7`%`ls&HpNw>B!6Z~fRKmQrt~W=7Bg(f3nJhRn*t7hJvUHaBxGY_3Yf z{Juy}qdX0Nqmn#34oRYcc|3`F9!00^qawdBf0OaG&bI7e-8Z3Lg;u2L;n20Ryc+15 zWerv{;M-S-qBm%Yb46rT21iR2R8MCZuY7!2I>`76h)XobO`!(Ed6B8_?wU87b$!8* z{xUxAN&S!ixW!^WoIXC3%GCXM5jE^9bx+PHyWkX|c?0D79w`{x{RPilJ|bdG_m)$H ze`u;4(>sCD5=VL&?*wIsL?l7-Gsb23<KS0=PJd1QbfqfB4BmQUnG$FBNa!NMIkD9yBvOT26g3l)8C=I zN8A37!XJ+%O?3AgKKLQ4lp1?=_dc9FtQ-fNiw<<}JC6~{d}+wHmYg{yW2yI2f7%eI zAw94cN4xoLeR#ZxCv18zA4515=ym&3CcX`$BS!mbF^zSq*)qJOPvN^iU9h410zQOj zMB3L@AVL*UcEfUjg*ag(1G;FHpM~Rmfe1RKTRQ1}>xwMMzof-VbAo1;38Tyn7-s?d zi7UQ}{^Z>^9_Ze~0K{>=;odnCe}^kaFOyFqxIZutQVk93%-isQ{0I6LgU|bO<{;Wh zh}(IKG~%%X)>!W>A9?AWT@z9n3{(8WCHQ<>smtAAmI)`-#`wV{uFWgD(P`@xxO~zO ztS-hiJ9My%>y$e*)IzPo{rzDS!qVu1v|O?eu`>GyJ}ZvA(Xj^VO7!jSe;wFPu#rPM z);BdBFfm8lceIIUW1680FEES`%phEu`Ygfa*r8V9k>VG-Dp4e2+xxs}(C>K#7DlqQ z8eHTh+2Jsuw#>o~$`JuSUDML_(Yl)=?{jAEg@JpU2~k-ctp{3KK`h$*hP~(K+9AFW zzm>}LrD=nLLyB^;-OMFbe+*Vs37c$CPjqjNG5BUDG|-GF(Tv5dqcjs5Qqs8)VR2_Cp$irvwE?V-fm>k+F+ zPYX;&IAk1ga7OlBDK&;|snt8H=k>&}m~<1#wF&Smta>ZUMnm2Ve@kU|MVN;vmKE3w z>1V@uuaC)<-O@)WJGG)Glx9g`9#zEDPHWj$ketz&an(1>Wh^V(l<|}gonH(GSY2z1~`#61pOA@ z@ZVjWlVt)YYB{vqf0^*6o8MGf6{v;C5K7JoJfxf?g)2Wo8S3NNH=UHBmfQ-g-~(NW zknKiO?b@_nyvm*KfLC5u4In6>BW}09y)XAeqU#vn7%rF6aF`n97 zNkP3lt>^?@ym*LEM-F|_fg$k1lCB7(Cv#QHU8%RJ==6wPrv5%u>@D^f|M(4XHp5Ck z-yafc6XN&ae?Z_n@M-{pSi>XB^;+b8q}gD(u;i;!7*#aN%jV(3HSbi)ap+Ee@x0`M=DYIqqS$a@cGe~YVh%A z8sy$M3HLw(5Js>Z_VUDBff9gIf4gK zChh`wsY5F>XciDztp=9Dggk|!GOnZeW2k`|f0*)CA~ow%VkUVj`>bkWtT~`?f@&e| zaq41*tW$L%9)+2b+pWk=3Xwxh3_<++?wcW{7!!-@<~z7;^kz`TAe&`))#s$K40E*m zVV+(gBK(>EL`|me=nDhU*Glntx=Eb|ZK!P?jk+LP-wrklR(4fAa(?wvY$?ky@1u=M ze`w-ckIa2<=nd@C%Sa0{c|3JBnfr3;Ts<}lrP#z|Jkl~>a(peWfg3aEZ1mX>SbsTm zow~)eweuN~*Cc)ZeY#Mz`nNo zvOITBoUXKg%~kd=>^RRx?3CUBNkF#0EB~m%2`6_7ZsR&n5e1$?@DC{?k@z_E4||<(T+7n5)N)XVR2j8?M>%vhYVFeOKEK|Y{InZ`7o8T7i9Hs6kc+gm5uCK z?}pf`I0{DO&N0Pk84~a;FMs_E6&m@DtrG^f>9Tm?RpWQYH_B`mPWUpIFgfk>@E=r|Esi2WR}gHGk$w_l|wj z7{jd0%c>ImG-#+UUxsck{jHcnA?=DWV%mZTi+43FmKp4h89IdY>a3eoSVlKcwgxQK zkrppiour?WZ+eGhn7E?0{b1e%1oOc<=Gzen*#m+WvK02s$qHp`iZ!hc!T z!jEe>eVUh}79M^WtVQ$fTv1_Q4&$KW(2#+XC_) zkBUoG8ALmmCdQ5CCl2)z0a>Bqz{?X}UTmN$NqJTGuk^mhwNqPckIW_E^bQ%&V#wSo zBB`_QTC5~WxMzpqUu6noSDdIGJU`Yc~6C@DrS#8A3)qjOZ`bUPLPaTfW+$r^u`@WNGvI z$-b?U&saePx_>(vO)e*tRpPl4n=;>xrKe!bBzjxY@=kI}AEKQo%VUDYR@)qV9tqBz z??bDUzwH2p^_A2AiKg8i!XUN(fE7f^_R=zZGSC~Dc6Uu{(0nRdEE_Ru7fUZj@t1!S zs=;kifXzBZH|>ktUlm=O&_HM{%pM7Pz@y6$O!^W0{C`6j_19$zps8^x`|1(^7z27g z&}Hh0Xw;d_x%(n-p0*jQtBW-uxqcksvl9HZ|EF7fvD3V;(SWbND^ZPHYOLtgTA+u6 zY}T+z{Kc)&OL4K$?K*FESmH^DDyfkMUkuJotZ+QDItHS%WM~+DSKXnQ zSOvi-*gVv~44SaCrqRqS9(fN)pH+@S2qRC-13SB<-Omr;?QNN7=Ld=>3VM$ah ze(h|-L^43->V1YwrhqxEGl{U<4U~gad*Hhp?e2rNibSFl^J!b}-t#XA`b6wbWaQ9& zZ+|H1sg<|{2!9{fY{}pz+qDYz*w5M9sB=TOkWu^s__r5toj}LAG4-QRsPNYhgt+&& zXd8xGEMU5H-h2}+?k~Qz&iF6oTMj6U7TBc?Rs$@;Jcy#sgLL{Fd^Cu1s)!rwMpTFN zupW1oT%yIQo7svqyzdwQ!@%iozjBoa^?&xZX3l9v3Wvju0t8;>X5^Tn<5PwoH3Dq? z4fHM#h=z7ac>fG{WyOep{Yt6FayR&Gd)d)3xIGme2pF8I|x@ znOSjI%;9ru;~v7-B`Xr4es6A>ADajFPMAYVv6k*>DjmA(J)W5(@!~8_QO;b1jel;P zpULs?T<~Bcy|6v2)=78T-Y|yN5hhF}bzT%_)!Co6nTf^C`qSHoalZwm!j{NG6A?xA z2}H)@0$fsfMt;SJGj3gBAY+fR;hXl=HmCCPR_KZEavHEkDK@2xF0f-M9K&nu3p6Fa zXn4JfsTI?fd_33^#CmsLmR+R9=6_#O3@hzg*3v(P-6zB@wXPb+omS}f;|6D22YkWd zn$%_puG>_^0rL^Sx9=?7sL1gF(b#-A2%gg&8X3t{dG?%~5Bg3z1=mz1S>q&So?97h zZfjub`N8D6hg1G*ysBrgFABSDZ3(+$UD5WQPU4j&O}5?h%{06FZ1;=GO1Kbh6WS7rfXY{r^i~WaSP>#g%E+l8+713}tl=eMX%!iGeB|+x+#%$LD zqgo215#5_*n@gJmRSn3Sntzn_io?Z%eXXu`r5qo&Y;~~Aae}ESN3wBITh`$Be!ZGi zPMeCO&Ztm8%|iLDFES(4&VOt^3gI;v5LyLN3a+bgy|BaQkDCJUl>3${=Be$B{>38A z^tyU1Of5l2EJa~zvn3@V4Zc3SV%}CE{Fl?krl|-_SMfS=T0cxM3)z`hH8mTEz6A64 z(pd2g!6v*PrqzXZd`KL)RE4PyzwnBkLEuu=Y?-8}wTrp@T9Zu=Pk$23=SlP8h_iO) zOMs>BGIyS(k_o(T6+KPdF@+9MHS_BEj{UkRv?LUlBNaA=*Oz#3giFVRKi#_;m z{@gORzpdTWjz?|8F}5m+8wruXkXa1=G?}_!4D{O9RpMKF*IuHDa|8V)@S$ODl|7-y zR6t>;9OantMX+J&?tg+sl#HP;q)!YRhi`UGjqOF`{wXUa^UUBG+Wh5Wg*gAk*_XPp zEg=Byg8O}WIE+}rx(Fh>Zzf_#Vhq%&TEk#;Mw-lfU0fkZ?tm|Y8-vfvpYW<+$S}Y2 zb~g}{GiHOukMr;VrNU~i)lt8OOp=)z;YER3?l9HNZc*t;h<_;Nk(MH#Za(%ao~lDT zqG{ZF#A5lgRPUj_0^Ep=WJ%U@qJp9wcI%PI5N?mE7;&CGVNC1yOK}!_J`G&R!CMXW z;A%#-eGK8uz$IGa_NnyTynE=fj&xE<1Ppwz{{3bykpLsly5f($^FhQ2myGe?F9KP6 z<-YD;=ZDUHUw>CxQDIm+bF_g~8_E1I+ivg99ees~Xy!#0ABV45Ei*pAXH7%ZsTmuM zZV*EfflO?&RnPQh%}zL!4Qkw`O?PvC`mdaAxJPE)3%k5`+mBA3M=@*Wn?zph^CA7zKoz?m{4uN^D@BV2D3p{ZD@yf; zpMR52`XXdFZqqP)X&`pp`4Oo`Lgx`heP;p80^Az4FEa9d?*hk0tow%4SkfA~WaoLJ zBNNW<=TkMRA{PM3w5A=wc3%cAZ5fUs8R)PEpwhp^Ndl)?xy{JcT~l95IIOKHV%c4TB z?rxJAy6JD5M&l~%tMuef`z$!cX87lEKzlf)5SF8u%z;i-O6iK@@7qOjdtG*}2YCfEw2=eY;#^4*RXe$!NA<9mZ-NB>EY@Q%QWkYi4-V32 zFxUQj*jtnnZQo!hyr!AmTt#P;UG3{KXH>)jko;@c<|tc#2GEa_wJAnXkF1T~f1__g zQxF2 zC=srN5AMaFV-WhbC9A4qvl9&!yDG-6{J-f$dJ}SFdypkim&W@sTOQ0?E3Wr-2fg)P z`ATMN0yKPUMRj^K<|&R!cVpeEYi(mM9qIG(nb>4$4(XM48se#gvsZ17P=C`>;Lce5 zCZp_0VoXAKTqm*yK%k~h*`Jm#7GyedXHiO1t39A=;5 zZQ2E-7XNblLRdjKnGePk(a|2_IEJ|Q?<2i=EiJ2=0-%4X8`K;6Q!5)jgH212_~9x9 zHDr^=C!R~Yg<=86+MI-91?Ao(7A1ud7NzNSm0sCme+24xaS5B3n15L9mC%w^sX&Li zKijKBKeFAD`!8mPGg-awzcNlq`drlK5l-ms4K$$wu)8zQjzTPC6Mjo+b|jGtvE`~S z#J1fZn(inje!#@|T&F^KM|zu4lgxidj=HAxyr}*G`%4_5pXL6-m-Dy*j$c>lI1w!> z5=3ezznDHw7rb7v0DqKAZs@ZmMY-B{aIk96w<-Y@8!WNSmybn!*P^8F91TAX*F=r{ zuToK61YipKmc01gV5tVldu51VrHl234xdkHi*grUW%So156>KopsPzhnF;bB>70gE zArNdo!-N|B8;wNrVFlLW0(~p>J*WnF87~knpr-c9I{&W@a(|N_PVA|sYXm2A2OdEM zIB`2bW~ImDBgEWFi=}4!&@BdW>8%AqK{BFyTW zY|apz$}~JjE0xY`Uh#75=TWPF9L)8f%c$W^}gsFhtmeqyL#YG8%B)^-eta}+&vORyIoMwa6{-!TAql*&u% z4S&W1Kj(B*1|}hz5xrk!C}71*`chLeWFiq~wG3Z)qrW2s!YAN=3peD>cm)ZH{Ajp0@7eRc~v zkPSpECC=B4{WiI=ov~7l($HP>dvUZu$A7$D=skwbh%AYR^>(4cM5qYoMe&J%2;xJCW0@&ul;X`$_b;*dSzz2lic$XEF3gUR{9w}pZIB1R zA#kI_CQbhdN2r!cLE6q=9NpOwO#E|40A<4AeZyUYMBo09L)K9gJyz#$9qAuWl0Ka* zR9(0+kF1z^BH+)g9f-P(=W(P#Uw_|pr$bT>qeUS`?zeC=TdaQ2hmX1JQPLOeIOi)IGx8)==IU0EkMlsJoS@r2@z-|RZ`a6zGQYmPmdC>K!17ja*3mST4|@| zHTSDr^EslPtECVMdaJ*Jrw#;h^Ou1^2@{tci3$yutknq$mzrD(4FoYU zFgKTQ=m-=AF)=wcIFqqeCx5MWWmH|=k}Vb-g1a2t-GaLl+$|j700%p`yGw8hZo%E% zg1ZJMSRhz%4f^=L+qZ9z`(FR)*FW|id(~Vut7^?!H8u@}ss@X=Im8qs1F?5u;b3JK z04Rg)OkJJTA$H0TekB%lkfp1<3(ywuhVdZN&`3IgfG%K&y%f*|B!2+V0ht4&KxP0= zP5=i#KR+@JKoa8M=>)d4askk5sp~K>F){zk^4AuCspmhDH&178%J=S5sTC89)ha2C{bs zF#s$eP5|3~EC6N@dw+BAU!^&-zHx~=1AqW$2ap-~%?;#X26FfdVg@*Xob15P&TroU zurt8Y325)~b_OmG0NCEl*46y41m5fxkiQdhaDu$;uzSPa$W$TDF3x67UhE4DNE4F*6g-gcTp%v}E}>2K_f<_&cLg6*9FE`J~om%n0}f&k`VX9ruL z=UePIG6yH{-)XoygY7Nsxr31kU$GPeaeJHOGqasPEX|Ed%4U#bT>IM{mr?G5>R z*MH^!c5w#TTCgH>aK6Pfb9swx3ARUO`>S8%?JXbx4)%Z8&0QV-iMfHC{yrf3zj}t@ zEeW7G#NO5uV1Ev>KxR{hxV(h~(Era=X8qq2`F}y;{}qA%SLFTw6ZhXW`Y)IG|Mx!s zJGG3ft*tW9?yUj-F=qg8g9d01c$+l`Comc;R3Wbe`~$}H2ejdxjH$$DgO5~c&q%M z>%T7n2;>1WLta^gmV-tg*ucpXciU(R6~0F(;~L`D@>kh zLRlN91YX)a7mggBcNG}-MtbpV>3UK@r}-qlRDTTL3NU}rcJMLn1+f{Iprs${eD*&3 zuCxiK&&#g8w>_bzZe08XPde4X<%D>4#}Gi}RuF(ged~bkXZEE&4!0Ad5elpJ>(Mc7 z(!t#=-N5MZ&|uHSyKlS1OgV8#G=e~Uzmy}2WEW2pr|Sl@mv;|te6A?&Xx`ZA&#qK~ z_J5RV5Xm~Pxj&o%^c^Kv!Bd73Uz{6OtQy(9&W5h7B!#H};Uu9?8GJs0GPP8(W?`4- z7`uIfH}Ba=QZ|?rv@*KfbOUZ0mQ&GuWZ3ArGJeZ@TmtiSfV$jPErK$u^y+J*nJ5~! z60T~^2mVAjiTT+}E)zrfGd(fnHT8<$8h?uHrRfq59uwgUMmO=?59Eq{J`QV6B64Bc zhR|SnCFDLFQr`Y{l2EVKuwWB8s#_~yFRrj&`F!d1RBy#6=QpK}(~X^vJ?CpYAYTdX zGkn2z*TT_UT_9z8)w3_T(M3>}v&uUYTEz=L?`9fNg8 zXj7c+Y&2n5l&GBQ(g@1aFU#$(U4LxqECPL3@^qw7^u2aiVwE8Y@Vq!E!t(s+j>b;}^PT=_tXySaO5|)B zt4U+|Nl!OAkp@&z@XfP6dupnP=Hrs+hv+s1zrqV!^gOzlqkM9vJ-e#LT7StN5Ar5l zqL0)GJq6$S5m`Uq$M)K%% z0X0Nmi?NsIwtQQYsJZEk602oMI?YCqXX*7K=0hw(VMCi)|9{pag`L*&TF4_|aSr#z zm7wkzSoWApEOkGntUP*0jMn>7eTOl>R^{TTFl$u*bp7Bo5BKGSOZJp@eJ|X3lqYfI^gxpLE#)soi zu3e8Kxkf$qxwDKPfC)})7~pq?8-pkTs!Nee) z5;eeIlz%?yMBx+s6;-m!|qkkOldl8}nQuKZVz3O(M3yh5lsXQJJ zLHPnjsSYrHDPikM(7@^2jjyNh_@K3m@|@KYzOoB`O#aZfAP(~F*S%%eR2?Vy(bq=7=Zfo+mCFk@)^iH1(Ssh>n7B0tRlICBq`Wr$$j=A?^Y^I&8bVXVc@F zC@b#aNd1&Q(l!g-?KOhCWP;Z_r`I!1UV~{0NK@vX!O<R$V*WKAbiXQWH z?@KMRbobD!?Zo#%x#eXP9+nz2ZcCx{x5otTW6W(2YzGhgrg+cuU>(fu-_$RE;D2zK z|JEeSdHce+ui z%Axsv9*<$PqnWg;9z^wkKPf3SA?F|MzfXnPCq-~Y>Y?CM{`q8kBqMPtmZNIF_L7kw zD(C;mTOa0!5`mYY&Cf|WR)5w8RO{i)H%d5tJb4|=S%u4&eN?0L(ytwKoKGK=sbaxr z<_OE&h6CogcxQykH(&CzVeP2Kr6i|vBam^wYuLp-l)-t3N)E6t@A^uVMMSlqpPMl` zVu=ZX{yNa zTT$Pih++J1aTgXXqF}WTR~2qD9+WgF-UW_SibL618Pc3sjuQ35Uo2Sg0iEi)5`s^V z;d~pviasGdNu(LFFMomGdIK&zWv$mKE&#S&alo8P(GZpsDTsj@J3$J<;ed6mq~1>n z>*hd~18Oy8{Pk7LXvh+6mos@DB@7IQi0wi-zDWsp>_7(#Z=#ytpvsDvntCoDVq3(|<4iAu&AN@)p&griK|!ynQo+1aA2KHKtESH*qr44QA9q%oigEQl!Jm z8;iO_6(0AehL%Va@+0iv{>E^*lJoCBx(3qmH*S-73RnmvB^+nA?6}hHYwy(Y`85e* zFl&POEm-iBue|TgjEs?ktrF(~O{WFi7{xdc@ZGbIbbsl@c5~4_hk7aBnHU6xviwP5 zu;tKhY;s~HS(IIw<*HOic_smvsB~u zm>Y!fd4F{&JzK&vt1;+nFKEhfNI`X~jV2&gXFL^%CamkhA%->9YPmG+kT5*_;u6tD zhOlA8SGNAs#f=r;Nba!U&P|`tal?ngEsg~9RZqd2?x(j}`2sN0MK<~F@Eyb>N@oOu z8FZFp9w7!*bdvJvDu$N-p8aJiUH&RUe~U)9?SCOuD@h2u;wM*i>)6ug9dg)E*V}9c zi_I#IRaaD%?{#<%V-Id^5wUT34q-YMDtp0VQ}5m2;qH0NW*c43s?>yDzF>XzXc5qh zWu>hn+9Wexa3_Zg^p0Vcx8nwz`G8_xN+R$NQnW+ip0l*2x7NAa6X7g2MIzjoWKznb*-l?b+wIoa z3Ud=$($It+>Gxy(J$-Jy*DzmPvMe!sZ5!na$_WCQOny;;;WMSJG;!(N@O5~ecdu^qrcYk?B(&Tl@<)hLqE7hz#$SCw7PtB`0pMOsb z_(PAOxxk$+#T29#uO}XdaopsK(e(3QY%%XkPtHmLpSQ`PCP-S5MtKZx z=kf5gLRJY8&bY(C__80W#J4Cd*H5?Lz%0n~ZfV`0PU&>OCX}4MfvD^Wh|0b8aDOfk zC}EoN#~)JUj{Mb~dY_Dg$_?QXsQ90=I1pB;*tQ=Ng$24j7zEGF9*@t`HGJ{Z{1#HL z?z&FHz%A6Sa17jZJ!LASFcv%eTCZs~BeS*Lv7W?u)tm83z9^v$k*!sEi*xH1^$ec*>6=REPC`C&8&tX%hI0mqdG#D; zZrq=Lf?Zxhf@oPQHQJ0}*m?7K@(1Kyzf%*->QquWd-CuN< zuQ{D~HCRX6aq^Ot`C1=6g&OF4&99cBS}I#x5rj=fbUA9DPMlQ>qrI%x>!kN!Bz^#zySbIYfHQ}otiTK_$4 zu`iThFy!MG>KmOIs*s{PWqU`+vu3ojIiV+;#pwcsn?GY18-2dBl**E4aai2#naLu&b(e zyW@1ma3gMMi>I|oqp7oQBj7f>u+w*?u1mZSLRBr0(_DeR-1e8E)L3df1fWE zYWMLUh4PZqjMVGZ2DPzZ`v(S+c8}eEj>zss7wWHK$T(97MTT=3)ZuQG43<6Q?xVUX z{ovtYfyVzc$Z`YcOB30DY(?}_#kT7GbnqBOlo!+6EjCS}1oSP6* zx=}?85b=uYlYeJ}alAhDApv&|4E^qgZOi-lHCEyqvXb~2FM*TgmtSa3 zY|}@(pefAV-6OxaAN4Y+&$2G~)0SNnwjg1yOhif0<3-<;&zuIKJ_gDrW#f9@x+FJS zy*e?>=s5F)Ut=vWCQJW-I`fs1TW#3CdQSXArHo-)fqx-UbP}rznzDZ~zN_ZmSL=)( z(T?2OBETVVmMT+>e6S!7BNy+7Hsfg6dS7l5TX&^b;Mg>{tE=ohyWtN1c|dF>ko4D= z*9^Cg2VU-h_O&E?x3A4-rcX{QjJ@6%8FKo_D5j~%rPIgsR8fmAPJR5k*v&8bNn3&~ zPC#VGtbgwZH)8w&2xHrxI_dt8isllL-?n2LZuth(J_3~_pzLRFw`u}>!rD~Fx_*>j5GO@!(-(LZw^Jg1YOJEv&ShubqVvAo?vif} z`gp|q&efgGX}ob0IJ%GUNY@#!pKyPnzYk_7!cL`E$$mjQ4K#2&jp`n1g&}{}y`$4D z9L4OL^jW2*@9p>OkDDHz00mo41dD7Aqf=z>tnq+htPQ6wPRpB zepodXkm;aC+zPMj#WkLy5NU9dzc%#x`F|*IM*uvLU8~#4xCSmXx;V&H1mp#ARMwOB zez3I`%{lgR$90PtS9jK#2D1C9dY=emtafn zXdLyzH_zjf6)^eXsx{5J+t(}qLF$_%$4vU5A*^fQL}V{dW-uCA0-J`ho!mU!>VN#M zBMw+FoF#r}Dz{m8H+IL9lp%gcSN@B1ET4ZzPr>iY%llxBR(jDf0nCOKC0)Akg1Iqn z6A>W3;(P2sdbNh@>V!v%O6B^m5m$xQFMkf;w+jQrWtz&@nJ!}ZiR`XqJ$-KiR?(4F zupci`Xg2S{hz5RQ?To+dqrho3BY*ihZ{&@5CYAfq7|9&+6vy?UG?yaDRv(TFpn@mg z-_MH@t63_eW_)gLl>2~0FKUnZb^K6Gsuq3Y*&sqcH2(F+XqfFF|3URjt(F0OK>qdW zeH0lP^>>Haet?+?CaXhNfM$iEGZ8e+D}Q53r#)1%D0PV-k^;^4I%$&lX@BvfU-J0U znMyr^)g7KLtTWWbHul|Z$9@g&#awzmuH~B3ld+zTs)cC&XUMAJPHj8=-s0Q8h7)OV6fC@DqkpT1AiH#8+CUu3S_8@@=qbn`IP@gqCe zuwZ*8%sq)Vdh^fbJtrXw)=Sp@uk1U;My=WMo|@(ClQu^&pX3-jA4bvOP2D_&ql%

&97`QYB-`eXX1 zp49`3w0&;XeP>?|0#VEr|K10q32f^V$R+1h;Y9z8=IU?uWoA?H(cyyNK9(dAOG)Y8 zS^S(#1pe=-`e*a!sZ~=LJnx@X?{3-G4Vuyr`Zy6!l;9b{`hQz}+pno;O2!EERlOQE z)_ft_+aBo0afQD!mSo5G$M}y+O#sb|O}}M-Y%5rRomCaK5jR(=&w1`Tsmh+k<3cch zkH0tE6vR4YE1lDt7I}vG*a-Rh2UbDbH@0}!Tv9Bwu?D9}geQxqC%2`|6Y6_C?Dg|! zZ+;jRB8zMC{(s3_t*@89)MDJ)hD=ZSesd8)k^(SfKb*0b_GUPd2{H7|&Am&AAP~992q9&G!CyYsoq}>)!rL4FK+EW#OWhh*f#C68SITv)N;F_o#6&3R<(Yw7FWQ* zh_HW+(eyFD@mLF_=#zigd<0)I*yTD&%C9Mo6dc5wj(^G*mQao3Lk#4C`FKLu>>aGn zG#z@#dF)-~Crygop3^=|5AE7_Fm~1SaUdyY?96Rw1BVGPLT&7DHx`dZ{!op^*2y-V z8`3;+z^iO&R5?HW+`C_d4U@H*8us@7j-Ze>HoKWV{f9Ibc$qXN#}yp&t1LL>7TlJ+u4{@nq*A29# z$CI`KOGKpUA*~)&d);&3Snm2Zg7hj%48~t!VFte?oGQDy5vIz9iwsvjfiyfO6y09% zyqhaai-v99)4ckbYlV~qw#5dhqY6W%W8FeCeSi4~0Pb&hmEWLb=ZO?zl`K4baS?Q< zogdrlod42JzFsK&61tgDWgsN{LSHHQOkiVEQSw^i7EHk$Gd*OC@1%F7#9FmQPWp|B zj8g?4qaMzuvs>x#>qd8NV5$;u#sH*axe$M&Nm*4hAx_VnioMnKRdix{15Z9i|5Cj} z^?%(dMAmq-IF{QpIQPaaq`Bf&A4;EWqcaw#NsSd4QMLRajA`vikhev|vf|a3L~6s6AmyD}Rnd~v^$b(b4riztMUj#9_n%}!>e@PDHEI_DazXO>mY_@lK##KM56(Uaepj{ zhq-R)9(e(8dzn38)PrJ-Z6%qu9FSzQPmwo|P`xml@CIlq=TZkIbz^_8PSR+w^SOtj zH`)7O1f>7?Xpvvi%@2>nMezgJD-su&cx|%SVe=!q#_|1JKW8m~q)v)~>WXZ`mLUN* zDv{*V<-L3p1&3!d+=t|zT94hf5`P#<{0bO}_%r2kkq>lW+L8V0?yUshP*dAERh!;i z5jqJ2W7gu`;zxg42T_i4kWrMzBz{m1lL-Rcb>-=BYANjooyz94^%PQaz3wgI!Sf0K zwGoL;YIrLom^{=y$5~2SR%mc+G$_QP4jd-Y3tSY-uLV%s*LdPtM!6HWDt%CM96)_ zHp$oxBUKeg4Y#2ga|Zdke&&}Ij%E;Q=ZC11z>fbCR+B0%T()RKNI2?DLMr{BR#%qM z(KTLd*mwanXg*U5ZfvV2aetto$?I{CROY;J8)TfmgRhTfoyCuL(KYHd*@Iu=Pk=Xn zNe_E2;_Minb&uO)`;$s+SB<5uV%3fwmW`2^_<_a=ofM9#r4_;hE9<%97Zuk_0d(zc zcm6?Ysw+mRJo;frknI?jfksJt-sdZZHd5+rY2!s_;@sklBes~XUw=jM_NV*e_%Is) z_PsNH6wOD63r37hAWdUXam4yA-#1{ZjY+lqJCde85C14Gv&@t@546qd(6uD2)4E)v zLXyEIxQ+>?{=!!bRD#7WCBDV{2iEL4yE1MM5RgT z_}A!!yMgc&IT3hV3x7+f*t#Hodq?z?k_4S31>0!ee770uPq}9wW|^XY8DC{nMTp(c zRgYj3TIG$Pu1+E(q>ZD0?!(={VU;(NzrJ1!H|urp{nk&c<(0*DT9)Esr}ltwq3l@v zQ*XD~&OHw)&tv#^-K?~koE6Ot>14|!5huzzN&I7Coe#4U`G0`VOkN!~BY{{z;aEo* zh`vY*-k<0U`q&h$Y;Z&+)9#a@R;m9`5$CRrpF%0Le7vW?xi?`yJhu5=ms$EnUt%k> zzPVRz;K78hI}z7KLh++9e{sh&`mF>5VN9H}w5xky3~aAlx{1_y-atAa5gk|$*?(7% zY-;%6DC5kc8Gmh&qd6EGxUIMlZp3LFM$Z-^)f>65UskGgJF_cM7=DrxhLZNK6o=qD z^<)hTQ|P6U{kT*zkJ=Cq)<6Hu5d`XjdR*jdv3HdEjt{lHas>*h27Rg0HXV_njpm1^_*51u@yaSKvyJg$1=Bhc08&1M{`pVly zEwK%!4}VK1Eq{ul{*cF-cnGiFydZdqbU;rO7&>*M^^t6w0wia*G10GEU*``P!v_r1 zjD>}2NC>%+rd@syZ&chowB{A9b(edY)zYP2WBtk4V26?r_*&_czjHxTTvX2F$DJCk z7@N7lR60jL!(mscA+mTEfF)@P59{}NBD|nOoqye2VZx~ix+}`}AmDX@4N@0N`}Jb8 z>LUFHKYS6zkw1DtJ}8%gmUPn-*_-{_MVJI7gM+TCuORVEdm=H9NM0`msoLEF4Z&wT zYs~-&ZR#m7vURp1{7iPe54l(<5aGi3y4it5(J&G0z##1KC{Lod|7=9Mm~Ak_Ws$wj zZGR^I^HMEvtNu|Y*W5~;1dD?!_|D=?>7x+(LTe+rg|;ceev9?bER;On!5&l1pfKH^ z8<_bauD<-iYvH@MeG*T%?$>R&x&?IMHFC=d^e^Zl%@?>U1zTc2v%_|#-7M2n%1Tbr z1Bf}-hrN?DV%^@0K3V3EU*l>vs2od0dw;|y4}aAw`*yIeLeX(Q0AxKd%gb^At{4>cKIN{@%=!E)5JRwi#-uq(^; zMGDc8Viciacwd@sE$SCJG_DnYV-69UtxE|OfVa~Ax2_>AlbCcD4fp;KM(OEp`>^Bt zd!nGy0|GsVVQOe;_fjS|a)0zl&Y2G&m(0VmBlJ-QCXx?XpQ&iS!F;}uKk6N(P{%_d zk$#+plZ4r>J6lXQE~FyYb-1Dho8^_jfL)G2&V-+vP@Q#xO&h_oSQz`MtB7d404`RJQ>q%1P z9!D=l+|_lm>koD9yHHvV$mh+Ts6lW^kNY8ciHhX3W^;SBrG zQQ^Qvr|VQRh_27jV3@3FZL=i)-j<|;dz;G+C_4T!jXql*Qd|2|rWtJ~m4G{cH?p-f z7O}Nj^sZ4+YNKy){(r~U&QU%!qzh1ncv1`86szrRxG`ph8v9ltGu2jT6_OfDqV+oC zm*UQ;W{$e2FRu%Tym?{!;@qeq7@;YV`?zA0KjV>>pY%i`mR3+zJw|tq+maqzy?SR2 z>A%J=DYFuQOe!cHkk#ZOjBq$ABT`XeVY-ULx#HhUj2BBsSTUu)zXJJiZ3{{#`c0R4RXHiVSu-tVl9F79Jjg)S_|y5? zY}c=Aod)igech&H9DP;VAC1bATbaJEN5f!+$V%~uk)=HKsnP-IeNm&Y*qPL52p|Vr~Mszu8 z^>}iH>zmjERxIVRFx_PXF?l6t3+zrDRLb1dMcqpCjekKB@q$Z%tCQ9bWQ5X)!WOUO z60%KSDsxMew5ObE(YuB@0wg#Sg@Th{-50Kj45w%&vQE<4&DoR!w~pe{@PqmZJ_8YZ z>O!pcv+s@N&<#9V95AE*8MJb4sfa{aUtYRn=2wNZp>%*r+Csh*7G+Y*~kcFL9 zRMcU&#z916=tjDRbm&IO0R#l3yBSitLHN_i5Yk8u-Q67`h;&Q0bhq?jo%Nk_F3-ig z)_(SSuHTEjp1ps2s5X@L?Nr}yX29D?9>^`#af3=Jz`>{SNn=cF*k=I9zlU0hJ_hKi zi|RIhjfAK@2}7iO4^Mf%c0^Lr|1*Ax%_)2D+0K|x(~J(5uTpdbn3@MymUlWeI>91w zm9^5~BCh)t(`?>ThKbg4`%=U6H{m1(26h##w38zKYSbIm64TtbV>9* zIN94Cow$zKF~0l$L-1Q#h4rv*kw{TV`EYq>7hPUB7oc{e{OSCX={6?BP3N(Bex}(L^-u}^8|H)Lk}%H?Fc;bW^;(d&h~bfwk|t_+=qWTtSWY9Z`l15(-p`<}j0 zIFD)Dk@@_6_ZU#bL>&~lp8dv;7??aXSN)PuREZ*M{5u2s-8i?(>OpCD3n`s($9g=} z`@k6!_7Xff-gDO*e0#B^u};ec_-pmE@8D5cBJ;+oSX{N%+%C~c=j(ttM5iX>yDd=T zUf23ZoK7*IQD&5N!9-IERTm}_LkpIa^$KlRrD<1RMcmyyB?J(gh!wJ%J)RZ^8td41XfptrqxFvvE}FW+8h? z@Y;XSK;Sp@`(|xhCwZeqX~n38841b_QlBu#q*fP*>k?I_?G35In>S_}02lso0Jr;K}%S1Ro+$J;@4fn zi@lE@!b+kH;Mb`m@4PG2)qRxkl8?p%JZrI>c>4F_s!0N5#Fw;fsLz98q=H1U!o`JA z&_Vr)R3fFJ{vPA(6}1m?sn?!*SSuN9SMg@Fi1+gXoa?lO@AJ%D_)gM^=kSskWL^U>NJM)Pdp8W_H1Chwuz1?ypbgFX* zWuP49xU5#R?PC(?`62aID&0C92_!#Av(vxIV3Y?ZEQ25+>dOaKnEZIxN*~ChIKhl; zQDZ8=Z*3b1`urXZGtuJUAHfB|+F`bl-AUhtUYXFnlW-$sC;W1)nm5R6?0{2q997Ec2La9v zRm6E6l`$SoXAgtKI$SOwoNxT#<%?GlIIpxY0g$G+yBGrt)8w-mh;m86rT{)U* zl_7Q3M|Dz=kV?dA#saco^~?J%4%QHI;{z^^lbHNhC-~jw*46AfFaB|BcVWAN$yAb% z3~X2xB4adFbm9X1^MYxL<&UCpy0XY_S!%PHFGJLZdTpF5RoNP&KTIb=Zgte?40KW6DhFe=# zo4#e_#N)CX(?-zW+Frzxm7<4sF{=Eq0Xom`jzxM0kGB(<4I`CGGfW-$4Kyb=B?X&C z)|8yIAr>U(8#c&d>!F3y{hqE4SBhmE&oX?%A)Ds?872MtBc|YjbXlI6OY?PNUZl`aD-$>SYRwDj-%V|G#Mdfq%)+| z9U|8U;x8AhGY&Be+Mo0fY3N-8ZL|rx*V$8NmJ&i;6%>P*vDjAdzz1RfH_Is*+(E{J zQ&(Xpdbv67ofWy*W6rOqhd)@b`$>&O>Z3sHQBqZ&F8wpJc?fqJ&Q|o0hAUvWwoc<=t775-R^3he<;SAjF1t?sro-zT?U+PwxnWD_& zAG<%uD&5n(VuF+1#d^qqB?RmGObf|U?ZiN~=XIe2Y6#!yUa{K+~avL$#p5m#>U>sTKhHcv{V7Ri7CQ&UgIwV%LO zqe4vDgI_Ie z5H9jWP1r)SYNypu#bH?)PuzTegG^2W7(+=avXE9{-{8Hr{7-}Yfg}ic_}g4v^iJFW zE>SsT)^MpG-xi%;b(a@C!D;4e5mx<9S4(^(uBu3QReo-@Zur;ODwna=iz87t7A(9j zF60Eu0H@>*9-4XJR`qCt&FW_rY9N7|clI}o;p5*m2;p(FAhnqJ=?qnQMVA?pc*a3Jy%a&XV0FcbeEW7Aw#MVtM& z0<52i3wjN00lX1-34|!EP?ghF6~`3dh-B z>jDOPdKO7X^`!KP3AM0Qt6d)jKY54*sx$0%o;Vw+9U^pA;ArSTa(Goe%tYNf@2|-R zM={1cII_zU2eVAQ>=CZB!IqU#`-&4y&lf_BlF4uY2qlo6jn+lUjv_Zr@hVUBk6qVL zutBcl36t!yPIg{gRt1=f9pa&Do(^NHG%_awF5O zseB9MFTG8?K_nmK4A$Y5>wP;gB_;0|w6Nr0(>QZn+G6r8Vc;s&U1ke&lZM~wG_<8n zK$r~VkyLelN+l@#fE4%Ysb}Emst(n%6d7Up6fo&4KpBxnI8nQnVMwB(kXpWZkl~bmbOj7`#{rUSTuYT_r#vQzZXxOueEu~9W=#qPp ztBp+icJn2Yx3YdFDz=oDXdWW47uC1$i}yD7t4gAo>9@*bUN1AF_DKJt(x%vO5;q|( zUqtr+!|WwzH%RTHT}GAf-1){)gn>pt9j?e;bH}|Oc*@KCX71C3><>he_)rvW_=Fpf zR3LPGL8&2-@Wwn`cOModYLyowYrL^F(f7NV?ip3v7^)^73>(GGo=UjSpY|C{sm$*p zm6taSg6Qyv*bM4voFp&`BX|miWK?Q)@DMN_O@2RFX3i-35CbxBv%RP7>hOzebA0bm z$Dw{#!#~S9MvFN-tD=3(b^etAPPNqF(xdHU@X^6ZqBl2G97r-Ad` z;F--_Mk`FpVCJksda62xF-mGr@dBvKs+#Hu9Z}(nAGl)uS}cG0i*ulR1^XAVYQKbi z%L!!s?i5A^>vLUa(Xge`9w+b7WMOH-Y0mX(s_?zqn+4Z|N6*91V)yup35wycKW{WL zSVdOkGSd>8X0VmMi;nTc?S`f%{la6u&NOinu+f#X8nX~ ze-U-`KiM`ePqVprOZj%{QjGR(56-=7ulC~?{uzGJnoNtQI-2y@~Z zraHyqdvee{cqElHePn-|!hvBuwx+$e9w+*7w8K|d?OE1cB3=0vXX z_{I0c`$<`|*8ynwoD08bEP%K5RN?5xci0SjNxp*o>g}A1tNoP}(Ln?&ZXAC&+$bD1 zY`0k2@R#iionBrhE*;J~8-*)}S3>lBlIj<%JTCq|?$guluEmU|){Iv~iaj%|s`V+R z4!^b^dGelG9H<$V;$MO>y^87O0jVvGXm0;*^O6}&r4X7j4XSBlAAJ& zUz&IaC*wxn5Y)J&?*5xt#4Ws9#wvyw5uA~zyOE_IHk;xv`n8)&vJj4$d-?6F-KX?d2?)O%d7u0AR-f4Oky zJoX<*cL&Cf<=PtA60@I%a|k!tP~^qL9sLa3Rv+AXGeL7 z8!J2VL^EiUNOQ1K<_*l~FCtLtv# zGk1!wfn(Q4;_pLBeSNw8R^F=VQH3;1bG_z5qM5)Kj)G|xCfSI7tJ7k^Os&3Yxq5L} zs9QZ}hf5x%?4tX?uw1#BR6W#9GzUY9w)>#+W+B|Q1CKCnS8L{P z@H67i)=OEC(d~`elF|`Plgpd-phkeIMp$YtC`9yvhXr<{rPcUjcu8Kaj6jSX^+ z|2Q1W$%w*H`>>;T>iZsAS}u7}+xm@~nhJQly4YEsq}6`A*tI%TQa65KVB^m1+HSy7 z;s55{o2~J=U5dn?rowt#PWX+AMbP?iUjw^FkjdyZ)x+t*PNU^UEe=V<&$+o;oiEN| zkAa_QkeX>Kdm{$F7UKaTSf?4ecB`dVOO9xi}ssy{_0vk%CC~%C4~-dK+VP>2tuaBIw=6racTsoybnN z4<0ICSURvjIg}zrF0P*bYop&<@s>m& zxP$f^E9NuR52|M7|Q`rX%;I*onCVkUz7w z{8o&@K3|SDIuAA$0yG_F@u@#Pe<>TgEQFN6z4kCmm^O`$nWSRyAHLpT>^D(7)#O?; zto?%@b^o;RIS76yGJn__(8&tPAm!k+yl!XgwD9J>J9v455DKeYShOUxxOBUG(iu64{S3 zpIqr)z^?6TxnYChV$$ysW9Q-YOErTqNO)Q7&9nfXT02$dTQLZf^aDD3{1V_Wp9mSO z;n2VN*py%bes9mwex39zFGCbSXDO~T^49_}%Rbe!$@aGscBHCHp8<}xYl}*bMFZL| z`CjS^7{~3N`xr)M`e<$g-ehx|S2eB2&E7eiWGg$&(*p%d&#OwWa$1k`ZgXa4Eu6(% zQZnZbr9F&5m(pp2NTUpWa@qzzGYhNIN_^EiS{TZTKF<+=>3#6m;8*p z_Wr~+q~gNn<_~aS2bmhd(Z*9-@qbEwh#fT)lP&YF?8bLdp(G+FCnX z`1bZ@O_VKuI7V%bA9oU8pj2TD%xgU{OP*J%zN5;d30LgY=vNq*%p;+uqm-1^jT!rL z{m2-fcCr69-ftQ4PKeOtOnB#ub zBKZ%^+Q|%F>DCt)H)3<2wlx1UUgA$aOasvY0tO%sHEVAe4Hu69h(n7;kBf$fhU>Yh z>fqq|+~lR95mku1J>(-<9i(>f=@}_n_)y(6|kh z4i6N&V*yJ1Y6=3k!pnEUWxxV z2tAfYhrz|1Y(yb|YMG7-A4N`ZY>rWf(TRaLj(R)_6<@gxcco>-qMxw32N1u_bTtbv zi+#B+Ua)ixj)nf-OJr}91IdLR__!v?sM5-UTZU+MV_dF%&lw`jCA+DG(`bbl$ekO{ zp7@TAUp9fzO=kjM9P6l$ZpP|=;5AGZ$@BkWY>~IEoRWj zOPz|*Rh8Y7LrGx}o%oRY0pPKwEzgUpi^u-nqt{+UQ1GZ-iea%KQA)lwTRDwFaA|$n z-G*s<`QyvA)#Xp`*7{e*rP%eaOi+?_rK)6^bbnT@X_e#6%3kw}9W1o|VLlj*(nN}$ zn<5J$aI~dR`m10Yco6qqaP$etITvC8mKxr@0m1CeU0j`ECU(zNvM>UKgC)QzD8$VV L0)wTMWkCN0+5@wi diff --git a/papers/CasperTFG/CasperTFG.tex b/papers/CasperTFG/CasperTFG.tex index 22d01f6..ab65dc7 100644 --- a/papers/CasperTFG/CasperTFG.tex +++ b/papers/CasperTFG/CasperTFG.tex @@ -130,7 +130,7 @@ The definition of ``protocol messages'' is parametric in a set of ``validator na Protocol messages have three parts. An ``estimate'' (a $0$ or a $1$), a ``sender'' (a validator name), and a ``justification''. The justification is itself a set of protocol messages. Validators use these protocol messages to update each other on their current estimates. Further, the estimate values are not arbitrary because a protocol message is ``valid'' only if the ``estimate'' is the result of applying the estimator on the message's ``justification''. -The definitions of the estimator and of validity appear later. For now, we denote the set of all possible protocol messages in the binary consensus pwill rotocol as $\mathcal{M}$, and define it as follows: +The definitions of the estimator and of validity appear later. For now, we denote the set of all possible protocol messages in the binary consensus protocol as $\mathcal{M}$, and define it as follows: \begin{defn}[Protocol Messages, $\mathcal{M}$] \begin{equation*} @@ -143,9 +143,9 @@ The definitions of the estimator and of validity appear later. For now, we denot \end{defn} $\mathcal{M}_0$ is the ``base case'', the set of messages with ``null justifications''. $\mathcal{M}_n$ is the set of messages at ``height'' $n$, which have messages of height $n-1$ (and/or lower) in their justification. Note that messages $\mathcal{M}_0$ have height $0$. $\mathcal{P}$ denotes the ``power set'' function, which maps set to the set of all of its subsets, so $\mathcal{P}(\bigcup_{i=0}^{n-1} \mathcal{M}_i)$ denotes all sets of protocol messages at height $n-1$ or lower. - + The estimator is a function that maps sets of protocol messages to $0$ or $1$, or a null value denoted by $\emptyset$: - + \begin{equation*} \begin{split} \mathcal{E}:\mathcal{P}(\mathcal{M}) \to \{0, 1\} \cup \{\emptyset\} @@ -179,7 +179,7 @@ We define ``the dependencies'' of a message $m$ as all of the messages $m'$ such \begin{equation*} \begin{split} -D(m) = &\{m\}\cup \bigcup_{m' \in J(m)} D(m') +D(m) = &\{m\}\cup \bigcup_{m' \in J(m)} D(m') \end{split} \end{equation*} @@ -241,7 +241,7 @@ B(v,M) \iff \exists m_1, m_2 \in D(M) \text{ such that } v = V(m_1) \land Eq(m_1 \end{align} \end{defn} -We then define the Byzantine nodes visible in $M$ as +We then define the Byzantine nodes visible in $M$ as $$ B(M) = \{v \in V: B(v,M)\} @@ -296,7 +296,7 @@ We again first define the set of all protocol messages and then the estimator, w Protocol messages are called ``blocks'' and have the same three components as the messages in the binary consensus protocol; an estimate, a sender and a justification. The estimate is a block, called ``the prevblock'' or ``the parent block''. For valid messages, the estimate is the block on the head of the blockchain chosen by the GHOST fork choice rule in the justification. The ``sender'' (a validator name) field is defined precisely as before. Finally, the justification is again simply a set of protocol messages. -Formally, in Casper the Friendly Ghost we have protocol messages, $\mathcal{M}$, with the following form (again parametric in a set of validator names, $\mathcal{V}$): +Formally, in Casper the Friendly Ghost we have protocol messages, $\mathcal{M}$, with the following form (again parametric in a set of validator names, $\mathcal{V}$): \begin{defn}[Blocks] @@ -316,7 +316,7 @@ We do need a couple of new terms, though, to define the fork choice rule. We wri \begin{defn}[Blockchain membership, $b_1 \downarrow b_2$] \begin{align} - b_1 \downarrow b_2 &\iff b_1 = b_2 \text{ or } b_1 \downarrow E(b_2) + b_1 \downarrow b_2 &\iff b_1 = b_2 \text{ or } b_1 \downarrow E(b_2) \end{align} \end{defn} @@ -362,7 +362,7 @@ We now have the language required to define the estimator for the blockchain con We assume that ``hash'' has the property that out of any set of blocks, only one has the lowest hash. Using the hashes of blocks to eliminate ``ties'' means that the estimator for the blockchain consensus never outputs an exception. Previously the binary estimator return $\emptyset$ when $0$ and $1$ had the same score. This means that a message $m$ is valid if $E(m) = \mathcal{E}(J(m))$, and just as in the binary consensus we insist that all the blocks are valid. \footnote{Following the process decribed in the footnote about excluding invalid messages from the binary consensus.} -``Equivocation'', ``Byzantine faulty'', ``fault weight'', ``protocol states'', and ``protocol executions'' are defined here in \emph{precisely} the same way as in the binary consensus. We therefore do not give the definitions again. +``Equivocation'', ``Byzantine faulty'', ``fault weight'', ``protocol states'', and ``protocol executions'' are defined here in \emph{precisely} the same way as in the binary consensus. We therefore do not give the definitions again. We can now give the definition of estimate safety for Casper the Friendly Ghost, for a block $b$ in a protocol state $\sigma$. @@ -372,7 +372,7 @@ S_t(b, \sigma) \iff \forall \sigma' \in \Sigma_t: \sigma \to \sigma',\hspace{1.5 $$ \end{defn} -Because this construction satisfies the terms of our consensus safety proof, we know that decisions on safe estimates in this protocol are consensus safe (if there are less than $t$ Byzantine faults (by weight)). +Because this construction satisfies the terms of our consensus safety proof, we know that decisions on safe estimates in this protocol are consensus safe (if there are less than $t$ Byzantine faults (by weight)). We now present a mechanism that nodes can use to detect which of their estimates are safe in both the binary and the blockchain consensus. @@ -424,7 +424,7 @@ We can also show that if $e$-clique in $M$ with total weight $W'$, and $2*W' > \ We present the pseudocode for the ``clique oracle'' that uses this result to detect estimate safety: \begin{algorithm}[H] - \KwData{An estimate $e$, a set of messages $M \in \Sigma_t$} + \KwData{An estimate $e$, a set of messages $M \in \Sigma_t$} \KwResult{True or False, an indicator when $e$ is safe in $M \in \Sigma_t$} @@ -452,7 +452,7 @@ We present the pseudocode for the ``clique oracle'' that uses this result to det \Return{False} } - \If{2*clique\_weight $>$ total\_weight}{ + \If{2*clique\_weight $>$ total\_weight}{ initial\_fault\_weight = $F(M)$ (this will be $\leq t$ because $M \in \Sigma_t$) fault\_tolerance = 2*clique\_weight - total\_weight