From 7716813c0cfc4d57d34973f4408e4a6513693aab Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Mon, 21 Oct 2019 16:44:53 +0200 Subject: [PATCH] Add new sources --- 01paper.pdf | Bin 58828 -> 61735 bytes 01paper.tex | 13 +++++++++++-- bibliography.bib | 38 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 49 insertions(+), 2 deletions(-) diff --git a/01paper.pdf b/01paper.pdf index 68d1731f1b9576b64a964a6b74d532e7044a04ee..714f7d9a60ff65ec8a8cdbda2a48dfab0aa7c635 100644 GIT binary patch delta 37251 zcmV(bK>okX%LAw411BX=L`E$!E;R}z(A34)3N$ewFd%PYY6?6&3NK7$ZfA68ATuyI zHk07wD1WsY$#&aD@}95Y5lqAm8ar|tEnZ_w9#KhV#`XauS|px8fDelm{e5Z!2#}By z&wIWI-PPSy)wNes_G~k=XRm&+kG>aoKm7bMvS*H~Vr{##yZf1rv~q)J7CN>H;d__P zK3X5<+P9LuspbpUx2?Om>swiq8=n4nH`kGMbANTiQQ!p#P&$ZT8 zlAEH*1awg)MVbpj7qG;E6Cl2YA1ED#vxRn)7lw@U^(w{M$H zB7e(uW{S1Q0|@ZoebQ{rE@`rLjRa?br?eXp1=kU-Z{{8d^fe#2H8|VMHAu0jS98a< z+G_5G0O}+#U|4Ioyf5fPQ-A^PzZskc)ojif{VP-Lk^(n85kCtjQaXso41GZPYeM>P5uH)FYj_|;VHNyS;Sp@eBJi4EQ z7mNU-8zPV~p0DbrO4gl81cL)E7>5o36>a?FIAL#?ym^G3c7ya{6>67{yeU%iC-4b6 zznjO71>&kF=y)M{$bim8dw)-+04Hz0kou}mw(XWUe8lUY@#3<)Zypnpn-Pdvw|^B{ z*QtVCPeri{0tJvK0(~=IfD}QPKHAs7dE(I4c*xO8d%9x|T+(siGK)at(ZB(h2wm%Z zPF{?2hThQM>q#rKUFF%x2C(Car2g2Viv^yxz`}80TX0{e0#_yIzA86WvfE|FhF9~X z*tE&U)V%&^Dmj*#I@=T`J!6X`!hgMK6Rn-ul@)lO=Y-ZaNqNwe{9PITf?Wglw4by| zp3|A2-?~d4NHc<9YdQ?bG>+Pu4cQj@VsYs4p66S2UZQI}@@$(_=_BGxDx(;5x6NuE zm3vbVGcaaCo@b?HSuyCo8}!~tvxlrmI|TP5PDBzTsd_HhP*s&xt$6ajlYbM8*MJxX zG0O)4sR4nM>!cyJ004VssoBEj32G$=w8#V1`gU5jtK2N^D`Q})&v=C{hl7qao~_F^ z#~2v-R%Mcufp}^BK7zT+sj_WkFnQlq*^)$D?Q`74EQBA=;sA7y3SrNKC1f)zK)4uk z%YuQqNgnDm9-kfp%BTQN8h_%lsN)*%sQA>oq*zRG*V(fh#3)0&Nl50vphW1bN#qDw zJ$0MWPDY!J+9)1fp7GMI?HZ^J2(@oXD1X_n^< z17lBlM41u3YtT!!PGo(bR87sNNc3?m%7y{ieOcvcJtY@VL6ty|ZhzNJTN${Hry-PP zaJu60%B&OgHJTt&aRHd2k#A&9v5`3x~16hG4V9^sikaxQ}1dLUatTL$`Amjtzby?Jk zm#JoGvbw2xl@$#OHGd`v2`#*2icMA+Q`Nj-o1h`H(LNI=_9g4r53PKzt&)hqgv%GC zk%RAP3;aY@P}cNi>+}Oe11`Ulg9AU|Wi|&`dNN5RNAM043<*xS(q5`aEX%T;0Esj} z)=*Q)opmP;D2E1hUAM$5L!Q25Mhu5`tT?nF@-2vh9p;c+LVr8x>ZK&5aO!~1(HSSy zBqaoN0SLzwQgN{|b(=Q~%nJT?YoqXk3mAU7E$OoWvwz`5{q-FI zfIHj4ao3To%hWK0#Y>7@w`4;T?0jkS!c-hrGUCg(Ie)hzp@zR;cC`$X{XPdyBqJg{ zh|Z8I#3e%L@;smrLh~~$F-L{wa=OqA+-Oi}LIL?3{k^4f^OD9dXuKTN`#-;gf*X3l z5RP+&3B4Th;43?p0`rrt!=po^vJ@IYyD#-`&#!(#31VSOA8gJts8+a9-H~`bD8BPn z!~lCJ=zqZXV(3jUzd7+FLES8-vTl>CA5aO7XMNP4d4Pq;F57HT1CDDIWy5d?s14Ku zJV_|GWJN7=DFI;g1+oV9)^K*{+f|mL<4)Mbhj-Yn+=;@|wBk5|%7)0XVRvVB>XQ$a zI)9@dMSb0X;5Vt~%7CY*l)aIO=4s!V?R{sr;(z0d+#F)P_|B;4MZibr^LJ%;i7I{7 zLVb@$6-Cy0+mzJB<21I;(*)w*C?~x#N$4ucQX;7Zelq?`&QJHvNilMpx; zlO_q<&KqELTl3_j`$k;j#*ry|*rPViM{=)^Felo%cwXbDZpBU76Bp0Y!qqhJ`H zhQYt@x+4{aPRH^2ptGLpsdc2Z+wcA`fzMaY5jF^_=;0H{0_6bDvKbxSrrzGAt{(49 ze{ZIqytL;iUpjkFsNpRE!v&PRV0#anYJZOXXv@{h5$&#&8N3WMoWz#zxf`e~M9W9jLJ4xz&ze$19U||2Afo2>UHl3d2J;OYt*h=iu@cHgIgkHF?V^oxP`b%-ttE^tP5Qn)ood^f+xQ-i!1AI8O zU5q!83P#1|@AEM3!t3Q!c=eSF2Y*Mk=JlY;6_90c_TKnB-Apz_o)(J39P0FqQUw=q{;H!e>C} z!+{eIp&`0Qm!t*~j+NHoAw*O5TSF%cPFpiJM`O*77~T|(skm6eRu2~;lOcm{Xz>q1 zxJ??lh2S1?4E_XRR@(5cw145>mioxMlsBhSbI`VVz zD$fcz^4dVph$2}T{;}>ChA;OOT!7y?Lpj2D_(Zo|ew7h+hQ`+8d(m1^hHh3;$LO z_%F8RXADELAN8FG9Q2*I|FrMKO^1#~s)d1wiKK4_$CV~UR)2(Jzlq;}&~M_li7;vh z&v;Pa5g%f~A=Wv#`M2eZ>o@=5@$jclFcCR1yuk8lw=e6g-A%ZN8z}eSqGF0Vj-zAS z^KIp0mK#PsZ_@UDRSWtt&4$FjHHJs5H=C^kzi;JxxlQ)uXgEOyPBf~x)HkX)88)go zpAhx2adnxZQ!eyB31CoZg@<2(weDK@PW+TsI`K=Ad0x~S|0QA+jwH=EYOcR7RbwN7h_NAni3z}e$jQkGO9l|Ov30XIH#KtvP%0~` zQqj=R{-@+06M%u+e`x-CI+&YU1IYjWI2&8q*jgD|JN||EzjjnIHU>DF83RnrEsX)f za`NgDvSI*AF!@#T?Er8zc6I!JCzgRRz{uRe)>7Z?Z|uKdw)W=#O2f&) z+}iX%GoS_78=LCe8(A7VIQ)hAi~Ub`{0fFXfDHc@nmhb3cQrPWH+M8N1DNQ4TmJ3YzvRl+M#lD*=GMl4x&2pL0d$NE4F5&< z)6CrPm-Rm+u>M+&>T;iq`4u|^S$xx~fsiXwBAe{a z^DarJxm&ZdD^--$A7P$fZ~CaOL8@pM+O2*_UA*f8q(lmaFIqN#$D1Wdm&U>xdA2o2BzWzmRRnxk<)4$K~847 z598_VoW2;FlU<2_PO{%gu=o+^)YIsZ1d6FXTc~AQpJux;?fflcJvr8_z~I-2VHLh= zG6X2<&q=;cg+@u-QrB!}*Pp+(9;GuB#%+wH$y6h`r95f6E5(dR%GCya#On&BGes&{ zt&ptzf=hIRTx%UvkRF{~18mV4AM)gx1wrHiO`P{?NFv{V?*uOjRG%w}Q6a;b%|VS6 zv2+8o_7nuZff?nk1_*1;>(CO$VF$)YppkB-StXc6i_bs#Rft2p4X>7mFbl(ZueMe=mC|b+`Xn z6Gx5ZK1Eewv0aeiWy3mIo>0l8%*f8hop-&__95_p8uRKRc9!0VKM6{O+vC8D&bYpD z>QyKG8ysvj%mR;g1{-H3f_bKfm4?+aA=P_TpB*qwvtMg8RFKaGcaN8i#5#_R4%8J! zxA#0j%MqtX4@VpA1lxh~W51wb@2;h4BI`OTM40}N8Jpv^I*`%*#fHkA{c2mZFiAAR ze{pbs*JVNFMZjo4rK5!#rJ1cp-GnXA_56(BmjZbzfqoB98lrLM-z)AhTmsa4ZdAdm zqT~`82CW(N?F1td*Lce=BF#a*Mw5|`!)I|)ey$cc8n%*5{Adygcss9L9NT#7yFQhn za*TrI5IA489UTiA2ZuK2027!*OHRu45v@^w5o4VqN%q+?La$?<;eb#qJz_F`>Dk>; z+5t#DgP$FwlE4Xs`eiqRf<$Q}9f^PZ2<>7YE_J|$%sjaI8 zV;8@nU;FNld$U6u*DG<>YuGDnGTF`J_hp}_)YRb8Cusm=aoEKh0zamPB_L`e{*8uz zRQ^h2Crph~7<{Nvp}3&?JUmDbqF7`Mv~1eQCnGYbDT-m$AoJxK>Q|x-h^SOr{ z7|@6hft%{BDqC-^GBFT~n-_Vb-z1zpY9 zCqQ>M@i=0+UGLf>Mq;UO945R3&A9H$vH)gL6S7Y*j?&nO03=}~ZlrLLbS!6ooOc?=_(eo?VZ!-> z6*z5Mjhy|W%=uxEbb>qFo9#1raR$a z2A}C(Z<-06Y!X~=CNOVF#)%%5M+iUtAr9PaEtP?&M2@;LZ5&j`nq)StVmcV`mxt;L{mF6 z?VHz+p(5>;B<@W_jC@MUGavv7?qcc=nH6wXJpPD_m1WBWf|(7(swGJLi#EdZ=ji6G|{Y-$Np+yyJ0* zmnTlwXr%&wUrE32%7F%ElH|>rF{GS)6?VfnDwM4O_B$GsdWDprlO-kvTEKhxuFehd zX$Z;JJgEn%*uEdF5XPVVY|d*WqnKrHl;=H_66#Ff#``>a)dwqKh`=22!J7nr;@vwi z+K(B)8&p8RY4Z4N=BQ32b^(#Bd?v#QcJ0b@$7Y3pCvmbiW*rl-@3GUE-BpVmz$V>z zdH!UqY*839Euz$8BKiBSY%{EkQM%JWz}r3X;kQBx)tudyLjPcKIBgpsy6aRpkSdy< z%n*tVAp$zR1V7#+YmP9L1Tu=)KwYt+DDmW3^v;WYSHUTuzc=5R8PHCf`1mQMLg4|5 zk|ef&DawBwiJEI_AhgGLpwWPwB5fce^A^=ZMP=JUcwnA83t5`aRVis+bJ1vMF^}VYH_AvGN45IeaF#=sm7ecyi7K3i^UC^DrdODFBq<+WyKb!pb&9ETf#BL72J6 zCN|*#eiEM07=*rVBo^C|?!}E$bR+$_8o>O2sKui55(-xOyhql45sk2&E6KXwZPJc& zY25L_zB|Wr2)i2vA_XoSur^~{_6fa*i|MjZVK#@H)^oyLF46A%&Sh2)hc&SjEoBnm zFDL}6#A!^!f0Y*G33OlAO|qQZkeyxpIm*z5V_S@N`Tcgm+bB{R(w2+4?vZDUKxndm z6kwyQdLKy5g=arhC&M14$K`z$Gcatx_Yz(M4JKd<<{D;J%ybbvfZV;i(7^~J_tBCx zsPoGy>lGp}kF__X`PLHNF>6tZW1vTSJ9sTSSYKWU?XcDx8y(H6{>S27>KdW}kdk$^ zVDs9TXJ8lu@<4z3G&l!=%-8bK(`ih9uG9fl*ggeT*c4vnj}p|h^g9)qoIDFCG=$Hy zc>0#oN+x*DZvgpsVEnMJrz2sJ{wNxuof&Js5@MaTXmF-^Z6gd%`?m&5`&>K|72f;G zO}gnIY)-}!4b}^?gFK`32n>h8-Y)Ch4PIN`5qK|!LA?8Q=)$tmP+OmQt1<+CZ}I2# z1}rE&q?|CfkiilRD;fyrXeW9QcOQ&I)Tr@rYVYRLozxANLAt&$iPG7w@ksU3duM(! zlj1_uqFzFkCQCTBkclvhZTB{P&jy6!hrA)s)0;+dC#{g+15)iJ3WJz?MOTe^_uu|q z)J4mElQlX;E7Yx6S_TEoG{Ufdx!6S&B^$(Epbgw{rqVoF>pxH=HW#^zhDa~OL=h|q zwF`Bu86)%8&nWDcrig3)+=kHA)~2R~?@zn2$Atj?T+f;hu3+^vqJ%i%q`B@jot!JF zyJ^*g1lZR_WTZ9Cr@1H?6a)ssrMs^nHNj%S55LggLVu1cx)=TVRUB=9Jn7xSg#Gei zvy$S)lQSpzb|J=(C$aGv^hX}|8;6CN7NYR{NVW>&W(;Id0gbI}J(hkvdcE@Q;(CNc z4t))%KOTkXotMXwGc6sPuo_gCk@{N7EI5?L2~@FRe|FVL2|{$pjTzQb;JMZDTWkzI z!FyTJ$)r?6r->0UN^vI6)CSw@e4L2%f&rzY537RQDcHeO4rHx=ph>e0x!EGT5hpI* zV&FTl(m@}rs;#(etqN8@i&#T;$@U z?}YtaYbeKX`!C=4R6WHTe}>;B58QJxQdn^QSp6w7eb07<$nN1PnlZmtI<&8XyZs!; z#<3D>uE`7`JF~~S>FPP__)P`l2dJ_$M8@y)JIC2?$VB>oq+#OeVl5{>2KP4y<`ddO zBY#NTN7p5Y15ex8t~u$b>A-T{_1&sjvZoOmBXdPc_og0mZ+!TZ%vk$jsv|Y0@M;VV z&)5$8MC#+A|A@=|Ncz6wXh7tZ^-fw6J)oE$2w_o~o@{}gAUF8A30bl%53jr6!b(=E zkNVkWrFTw$?+!Zj-I>%7Jmjo zCZ(9M!{v9luBu*EMD?hI*BK3nrX~u*lZFRYzZ!b%RTD-3^97IxW9wL&caBX-PG!`z zMVsk!XxrwyNwxa@o2Lc$ALCEVW@h_6SDT}FPh^+ZR=QL_HH-260Ca*Gh}k&xBAt-~ zCLe=;#@_Gjw%@oEpuXQhsWhQ9ew<~!6 z#ng{WvaPF=jZ>}}RJRdL{Ag!_GX0fot{q3%n%*|-=Qp80bx&F-Yk>4|g*q0vim^$5 z{*%U)>xOnefloP{#G~jN+tDxr*I;;^Fpp~hdT(1V87>Nq!JUe-jws21bJ0MYY-{l& zfB9kdoF5FH5qZB9S2B0qJsfJ}G!6H0QARC;1{$EwAQ^|X(QROT5bANXLo?}RP7q_m zm3imlbpiK>XXdcWDwd?#6p_(A7&TFU1>23xIyTs?N$5|RPlGrBnYVgXFj$Tzu=$&J zMM01)#y%fO4vUMwfPblLGb8Kehg+POj?$Ksfc)|i_v~uIAb?g^@+i-UovpzevhqrN z8&N2GKmEt#ujVeTn$Ei<bI_2n@B;Kht>ig1G`F@WyGK)MwE~^QTF##QL6pVXW;c zw0i+g+#3xbozH`Hi8^r_t=t3-=J6*yKpujIz#y4IBY3mD<15$bZHkV_WIso8O=~m6~)%dEvMFaWobI-mcSB(Qo`e zO0O_WCGxkn^dPfk<1&5ehVE&l`;~TN!ZZw$f4ToEJd`Ux)L=hz zO41iA!^n9JU$I1LQv?;}Zko~iP`xk8)rXF<^X6$ZrZ)OH-PKcB5a;V;rV0ZLtv1*=DH|<@=;h6R9w(JOU`Tj`A!d-T>WbSemfjwR3q+VqXHmQsZ*4q$@Yw0 z7nq6`JU{?|0e4b-5)~ZPp4-6oAu1E%kZE9so+QYrvsgP>_tqZlm9!}cb^)2TU{ZJX zo1||{OvbWnQ?Mz;H;ku)jej{eX3aWAVvhC@*IeVru;*8Q5>$%p;Wb1Ba)jHkoYN|z zTwbVXdQ|@T9X=M7!qdO)aY4wft*-raDJ=TbSi}PKnd8I#%z{?J9i|!b(5l@9iYoZt z9wNUn<-k#=To{aMD(Eo^>)=#j9!bGf6}RlI_^fvs43G4LboHfQ4{&elnN%@^>g7;E zR!=kz{bqK5r+Uuxvfw(qHHMrruOa~g^qb8mpbSC^D9H6CA;A4O?m=Eu>FOo8u$9JD zO5tGEUGV{sg6enk+*JD&HprqygUNbu5JuKf|BA#5m+9O02!H4FCiOGljk($@VL^dHTCw}#|M1f_IJ4f93y@{3KJj7D?p zMH6yY_JGR~!Ww?5jE$imZR`BvnnNK3|In`Y(?yddD3_05;~k`ENBL|G3+z%Y1KV(m z;rsfUTOz4r+>}Vk)U^L`#t$BF+`bD-3kXC@x<7$iI;zbLu%#7Pto^3@kO_NTQ zR=`pMDuNi5I~t~}!A!M#{FBqNQLMvK#U#pXS)6chL$|o_2f>B6K0;T5*LVJ4Vs4Yp zPT!s#7}sO{B)cps^bazEkm_!H!5`Fj;XH|bWSZ;xL+55=I2+PI-EQQxxXt`@oQkV| zKy`I1c>xwm)rwq52^?QYd)13y*e=+~3z!EdOb^%7Tg?OCAczjpYVQ+V5CQ>5@4bvk z?z;1Z*5yc=pVv`Qn2GqBMv1|PRgUhnp{zvP4YcA&bDti!u65|^zx6{kLRZ4q$C}Ga ziqy_e_LbcbTe(ijrBfSqc+}ho4=BQN#`dxn&IS@$`6lV5tn5O^wtVx?$tKzZ%}Ts%emw$2 z;7YZPohS`<3nM2Y&zFsKH@#&$OZ2TT+7Q^6cgeM)#)Zs>w%)UW-D8_$FTxXl_eHv= zFoc5-arX>-v+u4z&Sz|G7^7cJU>>R+0v4%e3w+uD^fv}y-28mkV$xx@V0IlR8le;# zHR#JI9E(|b2R7kv1OcGi6q2Ym815B>-u)Css)uof?7(azL z{`6)ZR3NJ#pSY*a{_(-#&nZw1@?mneiDyn@*7gX)sUr&qK|g{Zwe*93`98G)=j%YQ zGxbIJPie<}b2h{NUgH?oIaq{vpLt|*k9uBVEH;U$LXcb-?A;i)i3Vb4qIt*6FaNM; zP~sRS(iO|`deCrn^Dvd4J+Qhp7-#5a2xR-YyhtGmE8*7%)1fTukgRQK8C6hCt18PG0U`nhoC7zYEbSthPO6~ z`v==0zXrnyPP3sDS)Gy_&njAOU@7)m?*_}Lj@K`pV%urPcn!s09%-U(jQGwg}$5eIfNuAX3$#5_1o^dZb2! zhs;%@R(L-1gBQ)`;|wD_7m2Dp5ocpdhSIF55$i!ryY~P#zbq%DGM~w|Ncc<3~Vp3!76DL=@#5wXRt zv#hCN6b7Tp9Ns!R{F-CoQMA3Ei7=5(IuJ0v?eeLK78bgd2{@Gn1*2#yyJFi#a}qCw z6>+r}9LcwTLm@Jjz;d@@r6d~W29s@XYmy2COmp4n{4Yvug=hUyDf4@m$nx4 zh@w$pO(ybE71F}jfkkj(_WLL-$YI=N2cMa5t}$G~&UhtKq%~&+)LsC6^jIlb!c8kW zm*wUW28p+~BX!G7CJhS&h`#;r0qtaSVi7=wn7BEAf6B|&{U0B5!mMy+9XeJSjOYvo*iE3|t7`uGQ4Y-}$aI>%`&Z#$p5K zEQNPOU?E+cV3i=$azsh>oYhXz5Nd;E9qcLbOS(4Q6O_0lGj~G=SZ~64@fV<2-ln&; zzLJ@LX#I!UqnLEDb0whon&E&8Chzi0v2A1&Ld2pUx)45bf}=yiB~TY}(vg`je_T;H z*;;?wl>9#RxUFbAq_}`G$_-;#y4Jfwpd@repl*EeE!3!oNxt3>Bge{JT4d{@NgS#- zeB&ZQM;r%3<@~W%>Pu;ajDsAstTre&3&wtbJUhM}#GE*7qU(rlbV%35UaVs>&QZWk zu}g`=cpLMTUv?6NJgzyRpw(;!N}vY~<>mM)UuUj(w0YZ#tYj3w66TMbl%EFD&IoFq zp)6MzSRE9uac22~5uA_p_Pi8&q-AVYow-c-)Ur8V@OdPa&)fTLG!7!rG)>7?A~BVJ z=)USs&oxuwi6FjeO`mnDhdVr=JIgAR2qT(IGE{F9>$21Sr1jonk_5)((#s2)?q2jx zd^Q0yN3Gz!_vh3(>LIMsrKdI3eFkN0ipVB4V$kr5QOc%vMUMXARFF0c!KUj`$hOd)-I&=jFq+Yb`9SJu zNKl-&{A6IDeH;hMwQyZemyhdY$I1NzC((;HQw-@zdO+hgngcRxlGWy@>3bUILHs=n zt>F)eMoNniKa>)MjNnP^uM0(gF(+HYT^1V6#R^Q>-g-F3FjE)Qc!B}q_=Tl^a31BY z@4i(k^>{Sbh_%-a%Q9d@4)S+=pdh0!53PzuXz+QGfG_p zHM+OxI_D_{mM1kmYaJ&%;9iq|qgeZ{`%&ajO*V+5AJ?xkInUb()e`BqVmp=d_v;o) zVDkWHV{saYPGV=aMTusls|xumBs9vjDXqyXG$X;fXpay|{?jjGXCCIfH4Ub@5{u>d z-hEf~c+=ZS@j-f~_CK5tX5SaUj~hGT;aI?=ivT<`qzHr7@KsI&;;|hq5{um~1#tZF+qHnoIT)w$ zajQ&9PM#bST~dLqB1#VuKI6^3#PGWNrfGV3M|97(&NQufp(at7ja#@;8iGtAt9wM< zre>?rt$tZCainU!$(qky3uQsx2F;xyQ4=t~j~2Be2aSUmw{7-+zYvwO@#i%0QWTyT z-Q|L6ae94!iIU&41gGgscOqC@xLdPI(BN8FNx2d;; zU}t;M>^9(pjxJ4znibqN!VAqhR*~a(0f%=)^UTBk0Qy?E-NhOBXC*Y##!D@@7Az(O z01tK}3Vb?GcU}5_Q~HMHZ*6!~Zxp?vE0s<4gzIQ&k!dIiPA3IIWZA!gH87txe4MLT zIZhQm-*sp3_IGjeHiZAcmXMg*u7=trktJ!KJ4~4wC-x$d85^Z5S@})O45NOv&rX-( zBN9KBPhPH;C?MwZj?26WDgRPI>ZpMUWnk9F^!qt7PTa(Q-29zmabGPxlMJ_i^d$2T zr+JBbE0w2OSV2f(yx??OEt^^x)|Qp(Kr_pN<{LFPYS$D=3EXau9eyVzXn335jl(7< zI_LuKvj$CNnYS$&AFt%{p85cuQ}l@wMxh;kH7q}j0!(=oB1uJLTQ>x?1v)$^{^qi9 zra93og&rY)m2K13DF!Jm?NIl)cFK|lEZvo|Vd>d9w+8N3D5RZ3592e=<7Bnk@Q*lJZb+|}}+Ek@=T1;(A{6U+tfj)NF~D2^1Y5U*nO%$@4T@=wX_O<{mB3|cL^*qw(?C+c1}YR9SP-!AZ~OM7<9Bj*sE-7qa;eJP5~ zWqy#Q$7!(0HxkPju3;DN^78gljdklX{9a6S9q1${iKkM_0R6-Cq1eO@9!HX_% zITRumr@@yX`M-I-%7*M96%c;8c^{9HKRkO8cVL1YRaS!o?woDoEJWh z$#Ati3I_S?3L(feT7&9s6%NIollTgsI6&Gc-(ZvKv4ckIEu1F2>9y6SjchpCNr`lo zs63l|tfYKH26Fd4dthO6-HBL0sSlOgLFxkSnzAm~BHdl|c0P-0cn3}FSU|&bsKjk@ zwq9>vetLxH*H1P1Ef;|*O<`|;Qq)v6BO^R0*2lz&^DxxrDuJ{^ull!tH~T62*13ip zGyO|=m%o%I=oFg|^cLcml?qGEkGW2ml@uU25K0?gpfvFCNTZEj@}_t(0c1e-X(<}f z#5t(QpqoP(SAJU#<7hL*(cN!F7o3w<( zQOoLFoRbe$>XaE`y6W6Sq-5UmG5!eM0E2?48&nb$ri6w^{9z`^$p=N`;;m_D@xh9i z)$tx$a~25P-i}k7_AvSkb9z6r7|DHoL4_N#G=J8+_&34_5k#X`h1&|9SxBa4^#TP; zOQ4Fbj%T#w5xfsx@3eJ)IWS3msgtGML52FdF>1K*=-nY-eS7oda?%9DbB;;Sj>i{iy8bzLWj znH_mi3j2C=a5#6(x$wX?)}0g3X6d`#ubgjCw7QLdoG+_uvA(4P-BG_fKUqR`?d+zg zc5Fzs5wlf|9%0aq}Yjt*}_y>v>!g;)!H1Dlgu5u@VtiQ_LvgXSyT7s zI}G1n#48C-pNg(GmcHUixn3m3NDIgO@VB)R*NTj);7N{{+EI# zEQ>`KD&*t3UF8?w*^}85X%=^M(4_A)F#s_h!C0*)QV;r-tdEiG4)mrDT!eMiGb2vL zVCByr*hhSw@-fZOQ<=HLA3pOhmPqwUIdC2RSr1}=!=@3uaj$_>GZy8ugbG9=^y@<3 z>$obRYZ1DZmWS5vN}pk0{9i^<0E~_gOk7-DysB{z?&}>ZH}B8P53@Djc?1tBh^#_= zHvDm%K`I&gfGp-k4EU3edv(HzuUgI%2+F~|nCx5wVpX8p;5nAI$m4_*xzol;WBw> z+d>!IBoM`n12mh&(ik%JH>cNudYPd}S{F;S24{grrjcL5e@6))UBw`H}WLcR+# z1V~QR2=%VJ=S^35g<8hLmly~r*E&(BHUg%9laqR3)1Bn&IFAJ)PrjP6zP4nCb0jt? zBHm9`<;uoR1xKFXx;azuy0eV5JZed#bA76PQ(BSizG;ycZo1SF)bL%GmiQo1th!FE zB#L1&Xko78h=pbhNo2m2XJb5Y&DNO9+SV3*0A$jMHL zqBGwfYMJ_xG<1Gx%7+Ee^^&RCV{^Fxr%P$}N%c}D4&3?I+_D881odyo=Q4nbx*4)8 zva##cy-qP`*yQLTY!R}Q=;lOJdpB!;Q1(=m)p~uQ%}6RdCPvLjqhi$tZ}Wg!>|Q;l zXE|j1@y^Me@a0Bn>=T`-%#9iXf3|mOSkSf(Y;Afnm&ml7V)wgCuQ>qeOV`CfTeS11M&&GsdSY?hA0BiSNC9x!^E%O|j0byC zOFwiKSDV@lqC(1g>A;sys2QVWS@U5LwXG(PBN{C2k?RTEzuCX@5BS#tX@IIOwovqa zKe|O<=GEG}D&7ZLN*}!EjpnU?5-*k6KS*Va%McT;;N9H?D zsNR_wjb)2@+Mi2pHx;+KPZ8HyD^k>)tgKG-Ku&RV5*D+bQa@^d|M?Rl#a6+0d_vaN z#8Q~hgczk$ZX%OgdlmA)e!bF;3wF$4GoRK@7Lm&DLJla^bW*;>)+bvtD!-}x~kQl)hkVM!KtEepQS=$6T?CH$czubQ2u~YaZ@K)5(2Kr<2DBmX{@Gv#M&-0|(YlI!VGHenHs z)>DcTUia2I1tq(Gi%X5uCs%$vg3t|pbltKbHVk}~H}(=$4^!V(oZd#9aAoJ*K+p)L zj(;jrzsbPuWRcu*n{c`!(`Uy^ui_>ZCcS7&op*3Q$laRcwNl#L!%c});rWfx6Dwps0!9y`*Vu5l67)m;@q*fHT^Ca5cxj=R_Y zg?36M5A=+hJQ@M4e``JM_=GGHM3~-GBUNvicLx3jEZ5$%$hFVn9jW}HTm8*^AnVbX zjPt$D@>>shi7kA2XDnP*T^WTRPeZ=K^}~65a%j~NE2L|PaMhg)2P_p^g#s@QgBr=N zTf)KQh(#PoyWX)d(`^khLq*uTU%ma7_GNl=PJo`(3`K`$fBW1$As0W`9>pUGI^lET zRv+VsG}Za!2V@RsQS%-axP6c|5*^@MnRFf8W-t5*o9$(m6`jv<`oK|=DQSP)s1+Y5 zDqX0zk*DDo$R1PWmAMo17lLXUkY5g>87ctdX2`=%(yRKFuIk~4#B!`cZ%#Dszl$oXy z;XEfYpN(&5I#9qoH+u-HAqfvD!VE>xZe$@8r1=jbhJa&6m|m0WQNL2io=9mK2oV(& zVn0`@dU2jjMzmj*7D671aGTwn*{oVxI`qAd zkg3h#W_oaB{58trSjyQm#Q;6DFb~PHSM#|8xJ2;rXgypO%}2Nq7H3?QnK^MB-&is& zFXt1`e|~M!J~sTp0@Nh&Qy9A-6LKYFhBL08HH%=pHc!mtc!BC4_*-y|ba&h8YqH-} z5)7spJKBA(fIq!u67!=f1+8|HQwg@i?W@Hr7I`XD^sNw(nIqiX<4uzug|m=cM+so z@X{G@odHlKRxkz(6DdOaYIk>qBFiKhO}=0-`O2(=v_ku6+KoL$%q-Haii{YD(jg^F zVy9HmM}f*GO%-O8_E#S%+7B?v-PXUSe`$U}l5zSSgSy5gb%m*FZ@BUX(D^;)CW2^X zk;pfc!$6mLCxjXuH$fr6rWv^Kd7n}V(Z%XUY0MR47BnU+CfB%f%IRhA^-d2zp>#Lu z0!mmB4m)voi;O~xO>&75q`rX$2PPL{A&21;tMcH9`xSC&cgyHwe8=LOyOF-?e}zJi zdhdtDkJrTx=@Us6%bv24+bY-^eIe5a%;r1v!%;T~JnUAh>U<&r|RG7(%aO{Lt)6 z6mi8ehXp@r^r?lA9>1|LNsm#7B_ce{K%CIQ3`rfbbXKzsTqWrw%EY4i9q&B4vc!Z< zfRpZg3j(QZc`<~f!D~Ksf6qDcLt3OZZ`Xl5Rh7$8Zis>aR*br5TQWhB!U*VxQ7=T| zh96QpE46=7Y}AyV-0uLfSsjuFM;OB7I7a&C2wnYIciN#%c9v)NlLLbB$qV$xm=sjGvr|<(=-O{;tD1A+w1_yJUj$ zqH_^3pz@xF&~I0_oz!HDk1s~%H#4w`C^OIzQS%krd_Hn+coWv#;B&^&g=3*y5DqH? zn@9_k`QNxig54N7e_nBgNI&B}q736`xq_sJ!i*O6G$KP=Pv;?h?_YlM#T8bt^1U`O zIJ;Bsj7g)w;JY-m1dmHB3bFf`q-}BSj1`JN?za?=^P5g)_L3VZ)Bm{(85&Lpams@g zk>qt*W*9**Xt~=N-O6Lcy|dt zg?VA<=NHC&ABYOyZ%3aslHSA?Zs-WXm5>==T*qcOs+xzLB)@ zn;MJ|bDUJxf2e`^s%>Escm>ghZa3t_59_Avw;Gr|`LJL5p}@Y`ols#g6s@0$%Z`JX z4woGQon|EY+K3$Mk<^%#1vnBk7T^F5g@I`tJh5Q$-I3u->V7}NVSDE|lJuoVge$Wj zp3=iMCuvfOe3Hwl`bAP*dhIa_%ee20MmpojZI9KCe;v0ueQ2LN z?TVFZe{cIja?2%hj~$Kh-jVooc-F+xGvyD~S?Rie)XVz$qkRsK$+q^rpuS_=03kAV z6zb|!JAs`F(nr;X8i@pYW5KKWNA^~INR(qcB`Ku9a~FjvP=|Lo+MD2_*PQgzrjFmc zf5k<}WWM%&!GRvbxLiE4Gb1g}iCY7c(_)>6&Sg;BeIy5S53Bw+9#Kk58_23dG8x4g zL_MfzR#^x4OG|y@3ga4nl{oVnK1kJ$MfEDNNNY51n~`f;ac)Q|qT6;8tq^^`#xQT~ z4K#ARm)ngyhq`5RW6W3#_fx4|Z?xnVe+Rxg6fn%&-#gZ@DEdv>xPc0)jdy}>oxhK4 z1J`KxhWJN}?CHQW8|9z4i7u+@5WDy5aJAd`k#r8w0joqh4`r-&%zN@t4V{Y%N+{QC zAKFqap5`?Lqp0@siFT$;t01rfL@iPnlK}P^PUW*YDpv#9@lrhDo58V78jS1K`Ae4(w;0DqGm8j#*4)HGoNre3>#ewrZ@x3&hb=Gq5X~xy&S* zyRSQlsDdG*k`Sno0#O25Yd`^3e-cftbY^5y*-If}1#WCwJT5Blitn}`iv@#6q~BBP zvGCnE8rOY?)Iz(666(KEMaqDOyIluWlbqR~p=Q5m_s>>qgN4Lk zb=uO*=6B?%z4(dW-&^a>e3u>$z^^aTQBmi3KasC~a%sv}CU^77zTNZoe-PJ;dRL&H ziG8SFAYu_+X?>RY^+R@NV*M1$6wkm=Lu*>}>Uin9=e=VUp+nS~nOB>tEcd*C_tgRT z^a*U@3jI?bqZxNz8>}FX#9Vh~P2K|L%uU&*l-HW5RuxR<=7T~&ZDuioYzgW(?$h*L z+xPOvQ%#?OgRr3SYDDK?e{bb$Wp^dPuyTa(JFb<&(9}>y5e9K#>JTw>+l9q=j-v9W zb;FD(ji6ojCQ3A(?Y?Q;Aqpl<@wdzuk`W!y)Oh2XQp2_kHA(qEtGtf2OI6?c9zd{; zCeLr25ZQ`4U7@)(Oe1W=F`2yG#Ehi>upj)fSM%gm|v~kRoi`<(apmFdpa)J(3 z2A0?q2Ta4mS@khOf2TK850^`f9x?$Vl>62PCm!xaeghvS<`C8TOAx-W zmP)cp)!K?G2vhSy{(=RPt>_~4k*F6d@MNf3`37Y(>yDAO{)Ge5NSMjZoRtiC^;k62 z?%C_k$nY+{S63xmb{~73jp2wTo$HDY!B*&5_WuPf2h#Wpe*v{{qj+b;1Tc3IE8TVG z9egxT+v@W8WA=u{rrT>PmK{usfIwdtLuj5U!#qtIhR%m0gq2Am9HGARKs3T#iJd?OX*v*P%@Xm+A z$OHb=+p&B*e@#>NVB7-vgdi$8cqIR!Z!AomcG=W@XE8iL@j`Ru{0m=)`x=~6V+gE2 zlYDF%Nfhj6sUm^xA{s6704y3DwzI=o8@-iRYVE$z-NOf@#=!4{qQ8c`PQ@MSGK7kD zve;tpzFoZE8(ty2=luD+?0RVp8Vxd0x_v%^Gf3Sxe?2KfK1PP9@uUI{{+|Z2DKS|q z(Fo{NJWW(-a;KlRKspWY!2E(-1r11XipA~5>Favz}6YQ>6mk4I{>-2bG0kH^nPL>(tTHOK1FjLy%-6?_w(qjyxARt4yKwpC~Z+ zeU5sbe;i$}Y;2@t#2AW!KPkts9_T)=(Eb86lzR$TtNc;~WI4AqU2=uOz{8hqD4%*> z`9Oo6-y0A&Fmp=27OTEQd!f}EEDje<53^P5F8AkEkET(lzXuCbFvMoe`L#Dh>NHHH zV3Ik4ARQX5nhGckpBnsbr`An>QhZ}`*T@@Df1Q$Xetq$rD&p@R*=qf2A3RCt|8jS{ zjO!I!=A(w5@ZJom!g;ZO@o#ph;^39bY7LYxnxcK!nO_0aW(YAbiZ)j2As;RoB3FPY z8y*UOiPm8RjY(--ZJ%htj4?6K+m!hXl@X!1`DX-uK2ynUZ0D9Y{-g$;vkErF>s22L zf6?o>bj|$*mF+R0hlzXBEqyAYM`;r7cd5I;i;*wS-mBhRf8Z$4| zTKhX|+6HtP4S=i6f*bFoLda4)9@&<8CbMbZx}%nK3(}au6B}+`7HDHZ2tJAd7qz)9 zIQ2L?fYvwHVW$}%iRZB>MFvVfRzq_?e>b`+kL}#Ry>rbtol}I|M520~IW8}0TwiAq zYp#fmh~I;_80mDdu?oCuDg!qiGOUAj8NE*K)|VCAyE`8J?) zcj3%ZGrVw#PTflsIJeR^{4e0J^8Ptc)qGy4y4%CDX%eQJ8kpF8bVm2EqO9yzL5oMQ zAibkvp{e(^?tMvKjA@0->CJK*f7e}3awXpk9>)zl}y!to*_yL(g4=f9yNow{upxf zJL;Cnl3H7!-jdEYVdnBRS@yN4YaJ?~3Vo%n(AZ%~Bd1fD8knYS(bl`uf6NkEZL!x% zd0iniQ}2RQKp6$LHq`kyp8Ly4b6Lx;lUfTs(s1T)PjCw*lP9-PfD@Baf^^l2_5}?k z8MZN$h2IP?CQl!rH10rTlD#R9*WHaPm^@|zjiv?$u9{&8#D_UlxIebl!lioyl3-@m z>fw#14yEtjB$d58l^1W*e?_$L*H5-n9K@rOW!qn#hQUH>+2D4?WduIN6aMo#LFZUI z$AVljM>B5sKZCMIA=CT~^OWp!dQ-zfygEY4j-P2}_12d;@DtM<$KKuu+ZS5vb3QtG z*Vcq2FZQ(mWS2z8LiBdKl0#&Q8{$@A+qU5(hxsS}lyTeM@amCrCeC%7t-!5>AB&ueJT zI^7pw!T0H)m;v?qfjn|5+IQ*Jx8P&xRFq--S1 zW@(L;t9j7Cg#*-Wuvs>ICE9t}M%#7h!AXp#a5(JxEv?69e^-CN?pXWt^mk%K6?VwO zqvBaCK#Hv(vEZAJ(z9Knc5UXCt)*`DGrfnAe~8pGLYoLn|{NyULVGMmQgCJP+GYgz!Tm=D(G622`W2=-4y2EBrTO}YekfyO{lor%1aXU zo&ZY<++eG~QvVIE%bV!*i4DYJ`f86is@k!hE5p1h7S~JokcOy`mm4(>E1F|W4O3J3 z!nne}BcI9t^QAR!$%=daT0%_WN%_>3N|>Cfh83YG&c$_Ol59o zbZ9alF)=hVG?Q^?6$COeI5m^uFF8%W%HWh6WNl|} z1F{9bQ~Zwul|di?*c=2fwXg;OL=_Y@rR607G?MbF07;N7$nm`iMQ0;x3uAz+g)zw1 z2}BDpwQ~em|Kk8KwzD;{_^W?4C#H8UVJCngz{wtDZ1Eljay16o{{=As>_Lt;7EVs@ z-vA3IfSIGAE%^Noz;*x&TVrcylfMdhx0~AiU68$_-Mfd)JN8bdXy*iWGIq4E2Ls-- zDvC+`qfW57A^5M{P8RPlz|QpD)5Ol$`LCA##@=b(QLv$ftrGwYas_|?mCFbOFtKp5 zw>ETp&;3qj?`ZLN8O}}?wr2mTfC1nLGBb2Eu?9Igz0J#u^x;M19w|4tG z+U{?!|E$3R>;$qlWkO_<^pp3`+{ix zni<;nA`DIJY^~h@CLn)PBxZR#@Ow%C&HqegrvE*W{}&|wUlI6!Mc)5EasOST|MH0c zf8X=JQ%g8oTgw~Tybr)X_6*>C(HPnS-ggZ^7Vy`yu{LxB{Izf_jQ_7tLmLZgxBo8q z-@VmA|ET&uIR72~M+#wEvv-9USvi`nriRw$ zXl-E&dKdZc`+W~$Vfi;q#oWT!%JwfcIQ{{FY)$^Xhj-on?tocEQBy`)hW@|VwtqV- zzE1^M#mycB_>WBLa&{*FdH9P;M8wV&;K9hs2?Q{*ak0EV#`ot4WMlXGf294Ji1lA* zIYY3cg)2atg^7QKg%$Ar|IgpQPP+d_BW`PKXY$t^DT57dP2NZEKMjAu#?Fq8?~4Du z4cp}e(6^EOVdiNV*=RC!121)_!aiih07WF8>$C( z>WedlpDllRik)b+`}6~wFHLLFRlvB8NU~GyqIn&Q`&s|BxhOvcAcQ#RIgQKHPojz< z$~gG)9Al@4_XeGXIB|{si)vcCi-zw_?e8R1PYGt4&uM?8T`vu@)eSY+%^P_omS~ig zNq!(J--Ahj`WGwQOmsK;bhJ{*h>tfKgd3K7Q@QLcp|2FoJ9;u?d}AGGUB)*jH3< zgTWSLspeTI@)=7=qWnRe?*%@1+KmLb?CVIH9%CdA(eq+20z8PhAF2pCjlGS~q~(tT z`P8*n93YKwHZxH9p^?KgD~dzOPm_PQytRKbD>3r)TuD|KPl< zR4I$c$OYxKlwzz$c3$_ZC4E`=uqW;iQp`pu2N7-8hHLov_7uH$PGiKNt;L=L^$RyS3x2bJ;Z#XP2C z2xz+pI#MYYWG2#MvqG7tR(bW*Y%wo=IT-zvkx%|(rwN#&z0FGYwPc-6iY)_rQ>8*@ z*)afoHlwKLrrZ!azu+mg!@qyD{EAgd*=`!9GkwZ5P}lKjA6FMJlz$#BU8}atAST1; zMqClfeb!#EP*2q(z~D+KCdow>!|N8<=r=E8;5?((y{+go`^sdWoPD%V8N(`IuPI;u zO9hJe5k8g@;lkPebiVgUee%Rfsq-Pc+i*fhcmRCmlU?g^L;2N47li#6;M%!~&7P{zH}uYZiSvPjM5d=3eh&?80p zD%O%~tXH!Kf{;}CJjs9V7|3X$ma(7VzU*eN?-eytvMj8PcOFcI#LX%I|Cl48yJS!};wcb9f&jai z#=fC7mvEloR>cTM_*j`?#`@!gtU$D*(o1Hh-3jO%<_}NnU{ZgkI|IIb5x)wHYu3lG za&U54X3Gr;*iT5+rkCMRo64zEhJWl)@CzYJJ9ee-ws@cmgY(D~(?K5H@SKqKuO*OH z5E*b;lwt@rybVe3iFd!OJ}n5XDGl+|RH2SJVCl=o*2fqRg&?K;gb{XgBp)|>@<{Mm z2wPc#CdQ^hT9$v;d08#&v(!njS$@T_vUbR9;^AONoxVI zUqVS%9#D@Zw0Zw<3K*;84Bd4$3AB!P9rs|=!XIc6n7ry7ulo?it%;#_k1a1%@PYhh zQ(Ag`Q_tdQOY^9v9MGz$QtpkmP$^&HDEn25&Oc7-D)Y!@59J6Ef1mT4Bd5m3<2va$^mbn*5&e-v7c`ndTgR~}VPn6BwkA|3PJ4#1K}*IJCi z4U5r%rqb~-WHm|Y(n;AfpJrVfJroY_Q89h1pL2hT6k}Fe4wjR;wFzWFLsqHM*p4|1 zyJjRWtj2ZJXm$|_V?Luy494~v#F^WHwq4;aM>+tzm?Yn5a$CL^s~0-yu$n%=$KN$ zTjGD^^!JP;uvo#y{=*Gr;Ye;dl_(o$} zZnc{)xAz|6Q+sNdKpx?+_NX)TNXsv1a z$=Qg6!Co#sr^RXBJQ-{9(DV9H@duZlA{3~2Sq`0AEVR2#w~r%-F0t5)rYrEG`mOzC z-E^#P77XexR$nzT)CuMnvj zQ%>9Rme7Thk;tN(ug}ELD+r?@7RiHuY0vIDQaePRjIb+ya*p3G$9Nnb(4)G^#N(rDlzhd@TZA;m!*l5U=&CXRqanR?5>0#Ke-b>Zx-xUL&s-&ILoa`3!Zg@2 z-Yp$K28~FQ<>;tf(o3ewl&%-gbSGNbJ@M0P(XZyXNI_NIMt<^@{#J6&KPc=3xd^4kYC27Ts-$l{Z z0eqFqO=G<*G-z*>3wQLVr>uY8x^%wYkq%a*7?s@4F}LU_e2||WbUs7<0m9~g)hcx&_(2>$vbdNuV<{Sq>r4~|{kgG_YO-Bq49~e_?mWxAr*D4 zwNv_-*>|Qqc=%%sUL6gpARQz?9ir&*-8$aqqYx6++SU>Vby4;;KL3zd0JXl*QW|t? zbdMMN{uY#DPLa{@a&kFt7H+BiB5vF>WsTQib^jHGIQ8Yec_`6tB&RgGbX-Xn;u<&x zLH%s4#);2X=mo~-rYwK+(!3zp&DkPx(`LvtqAE}2Zlk*~Khc?z z05=ACtBLr7Ntp0v@m_W(Nt1fBn62U2hG_%nM2RE0z&r{S)pKh6O^-v@f)p{5tijdQ zPp4n#v#N7{T4odX(nIb6tZggrhYg{s!*fb!jO}mz=hW688CHM0RQTf$DEJBc2Q8f# z@GFVwlVxoK7Oa0Uw^0>j1}g}|J(~I=X8OC}^NUS<(x(RnHPnT06$H5PXnlG?Q!xw+ ztySZNk1WB!EDYo&Jgqtb6-fcBhy3czoHHa7PH{}tzBfvZa*rqz&Z7$!-5-l-`a`ao zweqHOU^oB?JxG5Q{mvSW+rtJpPB!C^!q6=n6pU5w+texd1%c?eR-4wT-N4TIJ=|se zoLdZ&6q_aGA|H8J+v4^f#&J6zK0YE~naJ>Iq(y>*BI}N~qSuDzbg2Gk{U?BaXi3md zv_oZSX*WlL(QQ#BfSs38wZ}{(mz1QiL?IST>Q8f%?n{5^b6D*A9C-TWg89#|KX`xC zDkfX5^E2N0BGK4sblOtH*nXC8gJO^A3?W)h=palrPW=>=`HhTdGJLG|Px^*eO?zE^Q~hy_@0_B%?EFQu49@~?W;^0a zF;gsS<_NI5hiOw;^rj+k5jLu#A1zRKtc*A3wuOJQV+d2f9#Bj1RaZSij3a|pdo1te z9h=xscj#@$}f_|Zg=zKpVpxq`ZGrWmZbvlR_384sAN5WtmI%Bm1e`-hBq1 zeLLZ$p{4{Yax=iC+vPiCs&JcNKK*hM%v^{S#!o#AMPRERtRPiX#!) zy)|wb8iWxKgRGx*>5P^Lc!h0$QHzOUCMks4Tg`T=6y)Mvp8l2_LUA=*RrgE>EvOL< zC|es|;;MS0h9o*yw+MakG+hHFa0-8ElLg0Z9*m4;M^YQ(vZ#5740o%ofI6wq*RuNEw_^eXWW%mwV|cyH#ymAqm=9)6cyPOK**l)?cuLFhqww)Z2}$xS7bH`J&3U zQ_68ph0&6MOWR5gX?gLGo?d^3(va8vRxzJLbg-MZUpja}j!9^yL>I2YFYUU94w1V| zbr<*)Q}Z%;EDQPYddU6f35O?Is?D8WdQL&B1=g(VA(QC3nNVSS7khz8ZqA(S5XxD9-8}jrcp~Qkb#{ z6$$>q_UW`%b5!if!q(cvf2dt;oc5s#ZpjY5E@G{o5Ipx>tEVQ7TG__?fuQz#6RjDk z)~^-ik6lfsau}4c_*H)ce1U7B$vsEABye0wA9oCy*88K`F(suQOvDyBP#$lfZs+nbobB$AN@{J@ z_s#=vxMA8vKPuOUs#k=bk~OXwhIC`UbZy#yxd9?xf1Wvs`Fek_vE|FlH zpsCBo7&bM%G~kWA3-zPiRP#c|jw7LEJi52m?Nuov_{09BT^ivY4F>lM0l7{l{Z@42 z#(6Nvb!aQww8%%}A;g6#psKCZ_<^-qT%EracLYK=2BOgciFlN1ecQs@;PBfS@w3}P z3F8;B2Hon85i5VEy(73RJ=l7p@%V^7=8=(W83lGF%8ZJ|17gJD+epN3dSJHD+VivX zdGaWFS-Ibo`yV%!H7b1BX}l4(;6RB@@Oh^O_2uHQ=&Mnf{bU2zW6Inb;dYp!OP6Y} z64-Y`p%mxXtk@9suIHiF%@(T7A@vHZ9ir9`ugqa?0MtU$Ju8a`^$-*QPJEO0$p@+XiD^;f_oXyvxd7xd|XKfm=ctWQS*#_ z+Jfv3L9EQ@2OcHe`eah3vjt$tq9AQ0%(5H-pXX0bL0$giBtwe;E|UP!)yx-n z#vzE+g|*k`b|F#bYaAUlxAf3F#~#cmr2r-x1#6Z1b@e;@)I>+m#ACI%<w`GmxhIRt-_L;*L*evJ1FTPQPzYr=W z%Bs!gZyLi5q@B%-Hi9>?(+&mQOm6t$_e6iUFY6hGV~QtEFZl>f2ktwACUMIOqgpnt zyr5!d<$b+>STksjl(&y=As`fk^{z*s1L=feTaj>%uPqW|NVdi0d|si8cl)c3)D%7W zGq}f&@`)h22rKOFH~hc$O+MZ>0GWHw^36Odf74QaxopdprX%bDuVz4)M`#;gWvG8? znPAn>GZAO2RrX#AFrde|jZp^5qNsg(c`D{18977zh%@a2Aqdl}w$z(fyX)QBM&xvQ zTwlc`Xa-MR2yDxc?V#5FgaW#vlC zGeyR#Hs)?6wJoWVTOB55!*hURRyI6WtX#GIjwz;^n-s^*yN9$ zehTUGBvC!rI*sAjiVV_ET0>J3e(e=d>j`hBa(lijMiW*wBetpBI%8vz0W%JjJoPnv zlaak?x{D7cy7U*_r7fg%Pk8=Efry8Xq;vMVPCa93IDJ5Kr3)^ms?gc9?0Pv0Pm61l;?lu(N5NeGgCcX9DRe<YgxHJ1lMAur5i zbKT3(QP~Wo&a=4Z^<$#}9k*2aPE#s(2%F}iOzx3{0dQ9OL$=C9B6OKP$+2qZH@%~J zV=&m~23NcL%;&owpKhP=cER`HCW3Gky*Z% zu;-FbM}7SC>6EK$Aku%Kz7Q?mpqi=6tTO#B_#NreeYhz>lDq8C6!RLRa}ZT_)gli% zSRjBz0KWkU3DB$w``0O*QzgJR3jfHmuek32xb_oEs1*d%~A5U`n#gLBU@J3 zH`ha^YezG(Mb8-!(+r&BtZ%2mlk}fHKX)jNFOvr99;$dR{VIRvbSv+gY;dPyKH3g^ z+ag4%ktE1uX+DRT9}n37H2w8{&*o`+^lCsovUR`1^jpU!t!XjFCK7Z7Ru4-`4aeNI zROJ(R;p_ML4=m2kZydtI|GXK8!KKBL2e~%$n54_nH=db zS>E`7#MMC@C%%97{#QOhPxHC7YAr99VLKVwEqM3PZ}TpAJNdOYwW*wW*26~fL+sNC zb7r4?loN;Yrv)z2B0qh9YAtE6gs}&>3(*d)Zja3FN{q_G-BICaR;_bB9TaHTzk8LK=VUh@t9WBEcq4<$^X#rraU6 zg>WC*PB5=r=zOREH;{$(I>BdSW?~;dO`oF>V@G(#g#{8&n?M&s&?6+A#HT^HN#w(}ToUzb*9HRIRT zviq9jy>oLVyj1L#h4V*3Y3AyAT~{H-4^$mwj=X=E?@R7!lDZ;qvl(_Gq^MuaDLZLY z{0kJa29qY^;l4mCZ2N_EY^8G^F1ySoHvc<46)}HzIz#k;MYG9PHwnFTpe;%=NWYRc zzR&}HQAGfwJ!*+j*{h<910tz)8KXY7%90znDE~V&co+AnxdsF~{vjJC!Wo|zyQgeL?^| z8JXbNqMNTqtkXRi1^MBSmA(?mBYe0ydW4dpQJ~G$t7fg*#Loq<#e*=}>}N!jVw3^I z%?D54SEW-d=PF&oy_Lj8AWkE;KY}$m3^RWYFHo~9ZH?lC3l5b1dA6?dgI3yMv%y}J z3RzM@GKR2=j*<47OI8@sB;R2}rn@d0tE26&&aA}aj)w#O!}% zqsTsKEYq%HXA9N*g2y$NYzsQkL|s-r@f>INDCp&6v^6BGul&@u4G*O@Nax z>RS*%;=Iuwx6hmDOG#Sc6j#CLcBOxMDOgf|W0D>$-?g2D9ppQJpT8UJ|DvO16)0_z z#>+a4eyE*T=jr1W6}y2pybP=L-66G1vA!$=F}$|#t}~+x79wH}eH_7)6Obzs;)2#C zHyD`ZXshnpZWEBSH0a3BK|QXtmXb?ASFu>*KLTSF!YFF3$JUAZ33hOcmk2 zYJffp3_DBRw?AD7Pl_h#Z77fN)r)+=fJV`N$+9BC-Uy;>*iW2h56{OL=N7BQ^bLY^ z#26k}of8$-{(6wry%YL!7{;4psE)E+D<}BW)L>3Nc=+Y>>z~f_Q+q)V)doawr@7IT zHurYI{Uhy{8&Xa==o&Oq#Or@Ky05gM~cIFz_jfG79py5%G?%}IP5a+r8yR?5BcrVj6x5@q6 zD=bw=9DncMZ{yw|xWHTU3UMsMxK8_^&wpK;kr?@fPDeGk@2^)pXNRtl7hMB*y63b_Z}}IUIQ>Q zVt`?7AriN6c3?y!qlIS*X#rS#*s!1U`7~%y=Y|;t^HcX|;FM?4G=>gyw=#E*y0Nb@ z;;d~FX5p%iH0k4KresuYCKKc#o%+72GLML4-&DWJ#uvKjx#@o?W_?BEI^I^%R5qzm z2xi_`{hLLZg80eATCY~@dC^hDzF$nS?t+y*zHJlG#q;f3*J>|`ObMTTXfb`yZ}ZNS z-=2OD;E?CVu4Z07KeV&V3iWTNn`7r{*QKBjh57C=c+ygx?l2bpmJ>!@mc2x}jvdG7 zYrDZ27uB!{GNOOUj%`x%dM=E(wdZb>?rz~5zddJtHtQZ^kY9r4P7W{`$W0CU&M7?~ zK*b-ft|8%~ug#qE5b*0bz8T)9|$s7?XjE7K~4 zs<}VeSob118o|0~5z0@}x$^A&fy~mL;l^*ro)$=`lgU$SLdE4Kjv=DVwwf0y(xYW5%Ik25MobO zF>w}u3}_^_CINo^xHE+kq1$)*tS;j^6j`ik*0?>7scY4|7BVA8yrkdO&`mA%4Oz(a zbi*})raXT=O|-sFT|PaY{mby9enlLy(t>!Vhb~=`MknNYQRk3+FgwhK8*#;6tgB1(w~nhZG^`!?!z z{OC~anuY)~5d6i&`o=r-8{UJsv5W5$f@fh(v3`FudTcOuV!2ql(Pt&}Xy=wxctr_} zAKuPigjj>g3vW{da#tQuR1Q~<&42d{`ZspE-2n9eOv8pigkTX_&JvdZ&*KNh&PfVy zQ8KXxC)l7Ui3^O|rl3ihNcjXfx|YJEPkhj(>vS}fB-=`s8-%Bf=m+qSXEQe3v5c4|fLu$ga zjHXQO_?}W1+S!rz7R>F0pv~aqz+eN88%=*U#99@Jr*zvU^JVRW9W^vZvt{uGV}#W& zo;7wI%VxqHcv)G9Hys<%V*+o7Pa6qpFGfLH33RdLv%xy!ikh z8bcXfiW$Fn$LWq;tX3LNh?9`2mAcJsb9$w@rKuoFUuu*rj3m*DfbRGe<~&YKlDW^2t4B0Zb#TRN3@zX$-w@e zn>mzYHn$1I9)PUI!mSCyZsZpiM*~q6u2?=jx;em@tYfGvG;iLf6sW0}${-wiXwOJI z2{hPbYW>-D(Gq=SQZ5jt$xakOU2=agyT-QJi)x}MU3%VMXyKH0Ekz(vwl3p?pd(>~ z`Z%UBp3XcqU$R{Yf{7GM9E=m?Glc4WWknIG_H(oGx6V2lI@SbpK zI%e})Mfz2V_+6T>LKXReID)dI-JvZ5I@#v^CU*?(~I}h8zj` zm#~s}!}eS(e0&8mGmVkY<1QI_*-zPN)83xzuYMa}NhohNH)dCH!e95xrN%yw3hdX` zHuF3!IJ6T4J(|97Bi%2(8*ZJt`a@T(nP+Msg!P(@G zGhfNH{TzILBkZ`fHx{*yt-m#HId0P`>F+qv1ltqijm6fvr|K?za_M(;k>M+tUvKK{ zmp7jiUH{9wTf6WBZQ(fWEH$v8hdsq-v-nLM4rNF%p2;FjMbYf**d0973G3y6y|KBJ zN)|Xt<3hy<7Rj@C8-9Q2j+ATX6V^wgAJedxB-3YMf_*qF-;W=tpRh)n^#iyfc7VV9 zt)F#OBnNzsQESo3*$8vQPm@uuIoEcVmx_b;UQ*_MAz(d!*RHg~UM#ByH3u_e+Vn@A zc8fH~>S;QtOZ;BHJ*ds4R;?u}7Hr>vpFlUlZ0aNK**7+VN%4PQ821j!?19|3#Mjzf z%0Oxm?}zqcuvQfqdjRO&F6^Ec*1_AbIdt35=U?%!U|RGum6X!>55s#YrgQeJO*?)1 z1M5K$AO_MC(w;|g3IC2D;ZywV$`LLBRci2@|KYso(uZxXVlCY zXzd!v*Ho!;8x4PgGpc4v5-Sxx*+$vahB!hUqfF!#s~}dfXBKsYyyNF8Iwr}zCET@Z zEUm!1JorT48?SNtyS6e(mb<^YHWpLbIHdT1Tdq*JMp;Fa8y5_PO5l^6hdqpIbSqgD zRgWJ;@Ub2GU_NVSoBeD$eFO9pq0<|;gBL;uGKG65CAWX0t1%dg!Yj#%`&XC(X{pYm zF82epo{ww>+|1+b*X9AFO2gQtSHJ4hDOs*bVx2rZUUhKGbpbi6Ma;^z#$c3F} zFdR_0hSli36D+bJdfyGvE!pU0qi*!x5=56pl(h&^qW55=A(MyzwURH$b z-nsYJy)*aU`ObVZ-^}^-oHO&hC#6wV9e@8GMb94h3LzX)5iJ8FO?kS7n$2b?Z?xy( zD2AXyS>}R- zW7ln~FA5mlX4pxzZ|Bi)KGv(3N9#d$<{))%RV03C02N9!0+qy3EQZlP_!0ebzw)ov z4naV9pt=C7JBrvJCL7bjb@PICz!E$DeZxJogfQHBWBtc;qCE0sm<+ve{W$)P?PipFTnKIB^B@1^M!h*~y8nptOk|XBUyH!r=6OrV zbP0*^yQI~sWJ|I1ax7* zu7vmNjx%m?Lc8$hW;90HBm^mX3_7WV<}wckL(oWN614ngWjqQ>g_et_o?rZ-MEQforeWQ0 zRcZ+2`5CsSuA~N|pjw#hqKlP)zyZ%wuy7`AUbhhn)o&j3eTk#b8*jku<#O&bgH>jeg0C8N(`y_TV=*-aB(z6jQ-adIzVZR7cPggbd zlTd*vS8`wnRPt7pb1QBka?HB}69&4t)EjuAv+}bAmMc*_`F`@z<_Go&Hj?>%S^I=S zAH4eU!Eq;I_*F`$m-H&RXZG*6fNrUeVmH1IUB~?T(n~U~;Bs@srM_mZIf$|Q6@-&t zcG)x5bLBGScC4*?o?2d2lhP{n?-do4oM{$G&Yd!r1r@Cj`z~jBTla*%l{s%U30ei1@IAziYNs>$u<%F*G8ZJPgg3n8JAY!dl9QKHB53&X z0r`z+lRu0@s&M*X_(|`_sWF5U`R2D;mn|W0XSAe|@0NtA9h6(Js`~siQ-(MV|Go{u z2BB7^S{}dESmMT1u#b*39pn)8a37}WAVzuvxH$&FxAHjd0v#SC?p+^HCH^&rs`*Pp zJ0l=0q=%#IM%}=!4&RbNQQgVwp{{*htfDVrJxeHIFvp7yvl^Ty1i{U_sSlt7mj%uw z^XF9B%W2g=7be+#*M6f*@k{tNR^P6kN(UFj&{qG`ZM&j9V18p{)lpEf|>jYWzJTDV0^23`$*# z2`67#jv#VX9p&s_$n%poEIciiVNk0eu9uGbW+Gzi`ZHlv8!-n*uv>hkjw^c^{8k!+ ze+l>2Qb1p+j=OTojSO@TEc^Yjnw|(>(&_89u5t_FP3=(!t4+a`?Y}szwR-ld$nevO zKBPO;U@0>dGQ9tmk#+l7>;l`@g=&z(UUs@^&ysG+exWd;u~Nvi~D6 z03@Zs;FOgO0YsJAg7*TLK6J)pMPkW}f=JoYG%ZWeYR!IaZ+19d>Mo9%-lL8;j{W`M zgTH6N?5(UHfsi?!IYwx~7&x?L45R-U=~Bw;Xj*C7S!sLsfY5$fCe)i^-6?59$v~|~ zmO^lQr2On*nvJ29i$MfGi&Um~l*TAJwW}vpg^WDM9`UR$W0!KG)@D$0eFM)>S5?j? zR;5k7N%f2AdUZHuQ@4b#nBDj9O0RkKD;|(D{PZAV#S@$iL)m(;@l3zBme`ds-XZl* z7fZw=_X%7@nHr;}w$cM9-*< z>9jN0yB;D+KVeCy!KF;8-OO;XMA+1P7^Qxd2Z4|s`e6upIbV-8icUSjUSkce3d9p< zE7oF+;4h{Rll{@HL8+WN2EeyXvP+VL{t(8G*kNuU3woN7QW z?9IemN!-Y`53?!R*PwhY9dYggezP_0)GuOgrnhyySvO^ju|-c+p2HLcja zS5zbJc=`9$^MYw_{uDIf|8Q(@uvGRCyxDxiXunZNpgZCgJ0H%MBK+q-7fY; zo9FTAklL}8%jQHN^yZjpR1yBM4rUzM35cBqu4|eFYIW9F(OjN2 zAp!?4d$xHvU;3Jr)_qa#e!miCRSJQ~N7acv*5RLXR=OQjGzeEo1 z@_iQ#!h6)huT~}tc&zK*Lcc1G|93je20?i{ z@?m0UU(Vncgo+npr#P=_oI>;7wTTw?nT#!v!{C@azQtzy+`b^G88xvHFj^Lx; zYb+{wKh;aE^To{TJ`f4kRuSaVVEt>c!{mtkJp?VY-r0o(QF zZ6cS}bg_h#lu=BPh4{9)h*F{B_W7$wEiAsT9`FG}70zw9q}sv+dk+ySP~?!|Dt|~| z48`WQ;4eZ|Cbol3D*7}=SOys?r-h&U5as+Cs_O{Csw%-zAM}z+oXWKjYnbGc3k}`z z@jl=RlDFbLb2*WK8Yip5sX_qGtCJp)P0!G-haDGPBlx~o1=2u z`JKFW+!1efI<6?|WLQHF9e8oGvb8@aMp9-0vn>RO*% zd$n+HJ=JHqPET8eG$P%RCJ}hPMlR)LKDCb`a(yGDIpN+43eG4MQ0ahWD*g+HpM@FXY|?1?z2to!>Q|BLWPbYX=`>hGr@X zgD_Sth~9sa^>cn6)4cU&88UzT<-}(b6Th#7z6m1@=t{h_Xb%q>NyL#UZ8{-Q6gTqi zr?p4nw;i_|+&C+MQ>4fkuaM%20a?)>=2=Y1rgWQF_AlbIjkhjYBfCkwvI+!w!&#$) zhqu5I+OK^t@|6xXZ!SG$^b0au`qw$b_MO%KhU`{rc12S87|c}ME|4WCEVAUdmPQyQ z`9oi3Qjk2<5{K90T>A8;_WjHCK2_Skv!1@4`M`7HTsBJ&LeXE^NX)R92Y}aXf$EjE z=Jz4m^5oNfEGyM86ixf;v(jDk+^64qi0WKqX|Xi|>6a>kO16zLaLCeBx!LBa z3$_2EW`QS+Bm4d>{WNGLSrLQLvRE;0B9@Z_i*9cOkO?~n=jfoekR_mp+oT+b^)|G; z6YTfZx1EYe#HZ8kMw@7xA!8r3cK(}dqtJQx>>0>al%jLwc8FG{v`C5Bvf*TI{#bK- zve4xA^Mv1M7xU+MMNA@)2}8`8NE8`f|78igjfKq7GZ`3`2~QoHJNrGCq5%U?HFsXp zlBu89`dYpK!=BwMUoYURjo3kaaIQ6s@tQf3(zzzZn8e@$F3RtV402w5)8zMRt9#8! zT(Uoh$RR5EH{m4`F__LjX8wH2hZ6tliXJPtjf0-2rYYzrOnPt!T>jIT;=E@yVBAEs zIPV!dU#OR!TNFU@72ATosMXq5?EQTE?NaM=o0ko**%%cq^sFfR1@;X*rLjUVe0K1G zg@OCjL&q5x)#wd7 zyn|dt$PD}+OYT@t>;J)s;1t;n9>ilfxtNhlkOKg8M}j5*3kkrTzIwN3=;h@L0Lk8Q zq#?N&)YH)m@Ly2*pM^TW;)yI+1_YKBSCx8vXS%9LN~%C)Au_U(chG!SOF}dh0snu? z-4tyy2TvzoXMlw4)&rd7a}nEN`Qlb?XJC=#ejy3R(SP77h<4p62P z%iw!Ql>C$@LDOE}D0X4_3#(nkeGOLIFq7882*FZxapJwKm!sp`O}dLgCQgnE)5UHJ zV|BBBXF;|5Hqjz}v+ES1)K?btZU6c?saNS$|My|~_}X~;26#I-lFLd+-GMX^2+`9Z F{|~}vfn5Lq delta 34300 zcmV(xKL`E$!E;R}z(A34)3Ntt$Fd%PYY6?6&3NK7$ZfA68ATl&C zF(8vcYbSrTSV?!|HWI$~uh5Z9EQA2}IgOWgcQTz;KU>Khx^tjNNa8a^>Vc#k|NE&0 zq$!KeOwW6{kcF+PP^jetyv1(eEk3;SUj47u?|!;XyoK^bDm{O(-Y#S!g&!r0Sa~9b z|GHRwb-uVVbh4v1?$QrEXYKl-Q+Ac+<_~LECeDBAX2nfil-&>RAM0O;we&<9CMmLx zB9SI?vGhSgqL{NBC&nU*rNVik2$BV86sA0y;aTK|k_>JB_WKE5V9&yK$B0 z^v3mL=o&0AQCLdYd}!I(lL8K~|J`IY9L?^6*?-XHkkvThneibu!f$tT=tHd@aU$~xoEb)o+RJ>ksP zZmJwGS34soh$%uQa<2OAmRtc=t{&<5%s0>T8zi4_`xiWT-)y_5jO?aukIs98-gSR| zzG(apoTq#fA2BGqCh&};YfH6>{l5GRq8#OW@oa)p{#d2T4nXF z&vv@y@h5HUvO>4zuGYl`dn5@SU7LSo9rU3w5PgA)oqbj?(KYKR%xJ+~>wVcW)f{zA z$^gxRg1{-7#&FkmAjW8<)L}y#VUlqz~Kb6#RK8UgCSJ2tiiaLa+{hvE1f;G z7fhco0?Bv)Tr_OR;u*KNN5OxqK4tatL^~S;gFpLGiZ;ZZ#N-a#m03ACnH+mI&%>;zNS7d&+RN7uIX&PAOa@81&%54e*iL^SA(fV}+AzJ* zd4{n@4Pj&5;u*e=$?xZZRq@Qrb@lhEztw8J&MN0i)fWX z%3{H&Bo0s&1V<1Db?bK7aC3e*6Pp3#A#+m|tLG+nkSEp~vE4|=yv-3lHi%+Qr> z*YYSIGz_#@By4KoAzgp(%35pF@`Qbcj?7N`MxHn}e7<4qRIYRy5&{i|FDRpe*pm*# zi5)>()1SRFjF1h4{J}1q#0d|xJHXJh&Wv4xdzc9o%M-SAv?vl`S$VLXBpP~hz*Kh6 zaxe$Lp$V=VhInME(_^WvR#QgAcp!G&AO)-Pj6ZSyh!L}ZkUw*M#0?@3>ZII-6qh<6K7vPd;5$@o z;@FDW@gQo1{}q1}$@}|H+<4lT`F>XRkP(Pi1c0GG9Jv5Oqt&_59n-eDW30B^vo#HP zZxE&fhKLA<;?SzMtEjq1<5ACOK=lf(8Q4rp7{9Ux#ml3rGw0S@}ZendhDxO8_p{w=@oihTTxKQe{g@h){@!rSb-+CBBDIV&QL0B zNW^f<3jkw!B0+Tff-z5!=KVaret0`80j}^(^+5Iw0DV`zwFAtd ztONh6X*hpDdvz8{mUXwBbB`{|AMg}Z;Cz*TFo8(qQ11441j={nrsICds2u|ouINtd<<=GFh4lxY_ z;l<(G&hXzaABl)#HJr-jX83=Fcr`oW2CjwsoM9FT6{o{w+^$Dg z9G@;XpzjTRS93Ri87L9j3ywADCGHY9TtW4R-1V?CF2eGjllUvyLq-opn%a9>$Fbba ziL=wER=%?0t`T$}yVvgs8j2Vvr?+BgMuqQ-pdO&e!6vs6ca#5U^zXk8UqSc&i9ddq z>@R;tPhM{9=3n_eWqj<1bl;o$)Y1P=Z(7~`&#FfMhpP7-J~a)#lU2`c`S;r9MnefN7?wl%>Yk5ih=5ay*VJ?arvmwc z>O+Ji1xE*$ahUJ~w*wxtuTMQO3hc$|El7WY8-&HJ{sMfm#y{_JII;iKJxbP-BSu_tdizq@fdL0HciD&*jG=O2;J3!uUPu(g0x|AJ`qVz}t$n8Fg03GxslwM@_zzlP{XUuY z6_(;#AlOkXb9%xAw)?Wzd#1+}ed{Jr8J8dJoR4jP!PGaUd<##Yb!l0g!xIEqFYpBB za4wNkc!I_PeN_xt37;eFBlR3$2?2joUv`8|E?l^MfEoez#uyqyC`@dd3Mu24giOUQ z2mB5p+A=pK5vU-CpX*MWnh+%dTpWbDg$nwy!_VM2&BE8E~ zwqulF-LfT`wr$(CZQHhO+qP}n&Pp4Vs*kkM!n1LB9#v&zD zP^J|$u{Samv$u1hWu#-^B9ODRHF9-UvbUA9=aivUGBtN4_$z0HA|(}eGBtFuw6_y6 zbTQ>3P&YLp5HU3-U}7R**;K1Zbv}&_s7lD#@@l!)XwEE#Q(LUvZ*P7i-jqHnWc>>fv~)Srlg!W0fo4nDuKAE zovD+d4S|BIk&UG>fsCcGshzVaC4rf}6M@aY4+O^cb|#kpl;%wL7faBYz>vUy*}>G< z@~@kzhq0-{KPnmm2U90oOK0c5{{)uK1m;eLb}oN=;9^f;X=iNXYVuD4f8}QO|4PWg z$^Nf}?O)wrFa>*O7iVK9O9vN%zfl!L#QvS9i-n=fKe3%H|EdY>&Hh@N*c-e4Q_{b5 ze_{S=T?{SloC#b^JzV~YWn@Z!U}EX)U}Na{H}+pJ2PeyarQzyqX=nbQ8PE_onVK6q znb?>*JO73Gi~Ub`{u)K!)I-MPp;=^#AiQw6(PH{6Bg9S8H|Cf2aF@0F!hv{M!~mJM+KPFwimlTWIMl zX6a#SqG0J_Y(ZdVX!Ey!XaAC`+L@R-*;v|{{^j;xZ6%;(WMKF&Iu#2`V{5yANMQZ9 z%GA!}zgF;4p#=b`q4@lQEcx{1nS5kod~CG;4s`Gkn>sHZ zl9byJ-7oc=FvZ2w!0EBs_#5=yjorCsC8u4z4l!BP-3$AFW7QR(LTVD{9UP%C60fe2MZ`| zy9G_CYR0N&aqKrJIDbZKTrXn1yY%$|Df2sKIHJV1Z3{kEjATCPgU>^%UVFcGZ(oKe zYY^-bzrozeP>Xcg9)xG}n5IPE6+neFBww6dfgekMs@BC9+_F*qXiE!?cJ!&vZZ&pJ zmrz=Ee-zt(3O8;x!Sf9Z+CG^ZziMIHBy5;Rlr`K^+-L)m)CAy@KD{}E&6!l424oWf zcehqFhPGMLYhjeAEl|AC`kuec=gbzk@CT5ZKTt}w`&L1xLo^ww!vUm^n_KouLP35l zD)B*oFW$;mi0eSBcPb#d=0d5CLvyCX)|?wy&SqMIMTwF1FXK8~^)wJbWR)4dUd2`^ z>`IS(HxCu-ooAUG#VLDJ8B+BaZfPIt{#tPp;%bdie~G42nOu=tR$Bzyz_1GaP>)7u zHH2q3k6;HB#-}0$W5}uAtH9=yrI&$RH7ygQ8ivofz`h8=N?;5H z^=zQoZ$q6pA0oqYKj$Y7I*mFs0O8V|&vJ3NGU|j~GWe>eN-rmshD0h1uUX0(t3M?< zzV@s$)ycI?s*LPx+(oxrU0(w4@$c?`;uqPixHEv1*aObYsEnIi=e|ucS-?OOkybb~ z^O#uc(aiG=tkkSF$r*mX4cQ6is1F)V#!8CWpdWGa5m=`%QR(!BQJs9wPzogIQKL{M zdVzMq1KF>r+4~zQ+erIPN@3@|WG5GSZI5L2t=W*d^WPoHmS+fm@n0Q1^jT4V`roQ&H_rF^vs1b|je;psC2T&?ArL$?irf6Oi_`#gN`JymIa+ zU9kz->k*0ogWJXQ9|hrcVpRiYF&%~sB!n~)lFc4S*q|nzidX6gDR3DX5kWvb0~-;f zs%ElQkt^~*9haVQ;kojt19%EMEii zfT9;NkB2uj_DQ)48_KSu+z<_3eiQgiNLyyrwG&|~{rVB-V}!PH-Ou#(X_+BDZ}~}O zYL07mA&L#fcSh=B2B-|D`=desH5KPn&GAlD>0@L=pRix%tA{;*qW+ZK{}udr{Ndx4 zk)UI;^6ekIVH`qB?@&7C!IdyQ8+&u-{fSS8->1Q>2bzhJV!8NK00|iVC2&{2Q|I8v zRV5B!b@!%Vl0^(i7>8m(OuB$YrHIeVZvt%*EEqI#+kBj51)myDsMvbR;f^|2J1p*x zfW5D)cdS3^z(9?E)7iaC-GS+f0lOoq&d93DdlS`*#vgkOCF&`dHVFfq%8i6iO9=zO zUKGIhT3QbSH;o)Vqafa|ZErQdy~F0;rPgsJ=XLw2ksDHlsdu47Hx0PAjl+?^?eWkZ z{VRbIO95Rzevn)QiJwxeq9DjaJmf@+jNb7QA*%UFI#VNm^h?Lg>1SL??npTqFwZV} zQFp3D+=Z`Mcj%@&{MAaSWQW!28aTKM)m)Pas^#IJLQZ09p`zKdZD&646HPe1+-DK#fpN!ZE20E$D=g_y||c4v0p{@ zrB2%M7sX(I9%8ASQiA6;azl6jEy|EFCc;Q7gH-luI?^lIu8snl&Nel^N$7M#!8)J!1ZwD(9C2 zgT@ra0C#+$kKu-$1zR$S*ImUi!nE7Z$iVL$M2SFoylE_pO#NwR3z%H5X7gN#G_$Z~ z3xOpYQcl#!B7B&+FA2K6&PrL3TEy5J^VU&Kj2UL*I;NwMAlc|$q7ZWlf0Q0iLbYGR zqs(7_#^mgzswPa>rEBeB27CejAI(3xz9EhW9&xjGkTY!#xlm)Y;Z*R*QV`KMv3to&btd9 zMApvx9PR8TRS2GSVhW5<5~! zAH4>}{B~$`9V*>WMZZK@C;Ue-qwOkGUg*@CbO4%nKRIgCoj)o&iW3yDbos4 zGde<0!1^DC^+^gZY7iL57e3rhP@#s4`$`Bg7U%P>5yFRF#UtsmxtScHgm6MS*SE0e zyEN@zOcf!FBKF`nY)HyHMOK4L;_zx%CG?M$yYnNunbTh?(rV=1fJmw0+oJq`r!mNd z=0-yMj7M56i0Lv$va%ns1C*2w9r#CBpz9TqF{9{1XG6Wv>P{V^XdahxL` zCg>1CmXBE5(XNMtKBL6-St!xl!_S*Jp|4kIcC!kZHKU-+Y(y)W1o%rz>C_Un=3ss* zONs>gZ<}UVF6~J#t`1Lf^r6{S;@q=7u6SETD#N=9(Ko$|9ANRyR)g(-Rn;FusJL*P z#+qc=V-2|cZsJGAjriW88X$lK9DqC`Ey|g$!bTAL_m+DYA?3e1Qb+ZyUGv^SLW)=i z!`ts|U|jN6q&Y?gbpM2HLgl&^GuMizEThY~i2Q9D!ypOg8dB$ZcS0fYeYf0fAIQC`mlF32Jv zgQrUx5AbopFEgA#!FRM^EmnqWvJ(xnHJly4ivOZh%k_=@~v+ zfo4k$;uhyh58&mGmVz8R6-DLOe!iQrca_{I{!z(8Yso7ssE?{_ZD^)JuWX&F z6GO+Sgqd0xst~h(tfpd%$QQ7MJJDQ*CvQ^>NpgFIyKIc)N?a7y3SYNW&yF#sc=LkX zadnoc;qX43wy`lIGwNW@lRYt<;P7_Aa&#SIpcN_H6)V$YzwPW&S<_ReAw1ZrDLN;! zZ7I`T(WoRO1UlPm9ia^h9cKKE{vP6cO3AD2(7HU%bjGiLg9-EP%YHrGm#1J+>f=hB zA4hWQJM>Ti8;rxsLI+NG=~uoQ<90k~XbH80Tr-AY5^A&R-pU_$ljY@aT#jc3fa7g4 z0PMXl>3ggd@O3{X!D?)%qwSnAyVqU-3hAG;R{c>W@oYyYgJ+?N7G48M-k0JM$pfgJyDp;=V{bv#px(18I#x96&;h|b&)-pSft|2zrLrTZB^fL@73 zP~2_RPctpChI&alzY(2F7Pa!eiY^aqVj4lK@3p(~=hmx6Q^s_qJgyL4=PD8$D_PCs zb#?}S!O*~py0m10PtO+-gqwg=fUe9*lZq|<*mHjyH-(5U9C!IdnFrxOj|PfK?BVMV zK6M|7R+XrSw2?^9oT)@=O!~j*@KytD!A6yo|5D5)QA|Bs=+3*@ zZaHbGXn_ho4L$2w^5tnQMaT<(`FW8QUM4FQz4khHp zQsLKKj0k=6K1nL#MwE&}K&)!B)2uL)9$|heJf{Kct@0f4E3I2H~k!LQwvuRCGn3l!*@%JG^IX}sor#H zM6>!YzZ_BlP&+>A@B&$SL`R)JfXt#schq@Rnixx6P+fKBy z6!3L^=bret0$kC>>z{nHkPodZLvH7-VyhoqBi%t2{`3$g00`#9Ptoo^Y?{kjAgts~xSYExBB0Uc%P)R{ zWdiwa*=Y?}PKU(U3ZP(tc5!foHS8%*7mOFR!Min(-rh#G9h;t&MKU=!oohAv2SSo_p+c1SH=|Eh9_fr4{_niknamYGE5 zg`Bz$8^_noh~XrIVCOeqxL2xNpy^TK2!d-^eH6vOF&`N#ut0#8t|xyWBJ(EI#l~FO zt?6rsQ2!hHG1hTxi~UG{l5=b`LznEIug+?o}apo`YyL> zOtA7!%;1}rd2-OXq?ke_rX__Pa-5HIm2wXmP-1gHm`B2v6jkScP8xP`P<6jnuL0K5 zZ4=R5u&cKpj$eb7PPfx5I7(}P!jmKj(+z+!v{#5iDg|zA>oHQY7GDQ!{ik>?IPBxby8L%9fBY0rU>8Tp~Ad6j;ZWI6(dZ*te7KjV;ytXj1}t zTRM0!APA&0ReOg*+&!wGHcZl0G@h8_hiFE5W_%0Z5sNey1cq%dBChN@l7Z>2PfFBD z5Jmob>MZwveE5zN*J%@?VL~ehsvj%~gJN)jVfcU%Cv<`@PULu1XS~$md9Qv#blyz- z!f2LEE#4yoTLOMR#?K%PRx8agP7X1@CfRuX=Hh*LoVPa(8P1C9sb?MSPi_(F2} z$DsfP&ZACOmdFwxNeS{i?%`)D%et4OMJOZc=(ms^MyZ^z#{DO2tsdKP;XbKKJ(KOG ztOyh+R2mQiq^hz9Nn#0#s;bjEwwq$dGh(N>N*yO<26vfNC@(F#2c=?kU7T`kPEgWu zAO$^tym@lTVC-smnC8u%POAU~*(jx?SdBP3eVtOgLkI3SFfl%Y_o}9YT~qW?BK%dl z7OJ-vLYp|KZKm}y@Mm`8p4C^#D<1AhMMo9VAExjItAN)(WI#3Uv0svW+YeWvWF=TL zLmUnqhYV!$Z*n~*oo6A}8taor8uBmMu~O`RgE@_-ehPs^yE&JO&OWCcW{q^g5CfO` z!dpqr*&|J}ok9MJyAeIk+rc+p5_ByPSh$e>?ffxV+QOHp89oSv3xT}t3k!54tj1&g zbZEb@(=eVA`UZBAKK%+GwL`uOt%ZFe?M8JoPU%?0$-!^j+S_V*ObQaJ;66H{nIa^A z%LckS*rt4jY?8#L+e@{mc~TGm%pq~ses`V`)DVT;<_FPL;nli_1O7l$WGY{pETm!! zor3zlc)muDP1P4O92Iwb>XP*`ijM09dv1PVaKwE;a?r1(Qwmup&{-f6TCX(Y-c}VC z!A&Eud7yLYrCu|{s-rZKFn|(Xw8AofA7EhKtP7EAY8e0}Sz=+BH`Y+nb5zs45R*i$ zw+5~&M`pY~YGV0{6TuRJ`Snk>K%;_x0$mQLet!`}!pJ!a;yBw^LUkDANTC zU010=sLrDQbVnYG7dRTXx=fg*{bTa5MAwsh-&5o4(?&i;T5{J{vY6dWB<;LjVZVb% ziO2%-i$r-al~KB0PEk z`+lhlmT$;6xDB3cRa?nPP4-ZKMRopiuPw-^g8H1<4ut>i!VI1aCFop=icAE!djk=_ z$wm;XK}f0=#uoxzP3 z@1DrAbQ>u61k+|rN@P#Xn^2^oi+)eB8#66=ACzJ1d7F@5&%~>LMbM1d%{*UV_1cen z|26q}wBQWhF2qqfPCP7+y!~WGxx&2b-C{cHO)ufBLT=fg=pX%Pwtxg|PrCHBNO@2;10p~tR;3wT#ndrs zq$A6_-RDkGcHxM!Tt`XN^_*=v-f4+T@%+Ohq#j>0Njd5O&wCjyyhNqt7zenV5ew70 z?Tu;*=62@L@4=#U%!%BA!{M2|aB*S~O@*JGpQlIUh5^8T=L>fqK+T|ZV5FShRg`9y zjWzZ?tMkXlSD!s3AVu?dC^I4i_!?mcK|wK@xwJ&ULs*<`VXv_7xApYr zxI88P@WjDoptPbn02>;{xXn!hdnaOsGCLKyp?bG`gW-meJf3%5Bmvij>}|*9S*7#B zTp@3D!2K0}eFP`+&a#L%v0EjBF;#k-^|>>Pk3n1r1TNR@tTQ+nHN=%oq&+SHaIiaR zL^6aNTeQj%o;QRX<{exRmin{7uyoViV1>}Equ}|RaSa`QVq3S2uw;!Y~95~g=tHJ;HI-( zG@$aHzDG&1^^ue{u{P;CEfm+Efj!HkUl^4t;)wLgVTh`8>}VBwz@yz`{Q|^kQ^5DV z;`b7wM><|R1FzmA+-`0sNwGhhdSeJSQfMxkb4DX(!4+8hUBP`6Hv%+C?b%U~PS0qv zS+BW&-3KjcXrp*RrtEp^J6T$P4B6YcX9&`ZIFvzJ6Yu9|IIAk!D zvxgfRD8CnBz&T^k^M-EojBs1(x)LMed&OC5=k=C2Lb8gHWpnG_`TA{gt>v6fpL%jyUc-Gubh};CaR8{7m`p^RX<|KW$!iXzNS`o__ zPEn#1rR}fx4fjmtBZw`?2?9^RZ2b4JSpg75C_bx2*?77Aw}u`o(j)sygXEUF7aJsh zn8Z3;&k^jn;=nZ7mulogfA7XwQXxf@T+`s`M(m8LJ>nCbYS12gF)iX~!qe`{yxJ@D z$pWAtC~yYu(yV80%%O3S4s)W3%$QHWg=%3nzWWS6P<2jI>Q9VR_UOaD8vl;0K0=Tz zWH1|-&}}UF229@-=<;8llK6Ey7e*O>7b6YpW{KW7EKTg@t%9inD` zMA!4@`H4CeUAgiai!oNS=^n|I9A({!Q4Vz}T*Micda2*<&FQ%|`0U)q)VO7TFQV)8 z#{&xJ4zlP{P-4!+S<<|ZYM1CjZSO)hiH|Xa7Hs@P^xKv%}$I>A5eIe#j7d%UtEIsm-nx=?Kn`M-f1AaG{GuI z>Muh&la{r}0=i_BWJJbP5*uomrg;tOw2|P^cz}me=Ww0FIL%9b{HMk5?r>aIX&Nj} z$4`IblI7S*(Hk!Y*{UyizNLFrF&|e!lQf=6W-1|sSUbNJvYt)cV@ZU6zDEHRFG3%~ zyVgU}>%3gBNCpCkQYkiPCj2^BZw*_arScFGLI}oZe%2ohGJ=@wb&vp*ZRp9oyZ;2>UEk6~n(1A#n#|2Rn^V+HU}(#G0J>5Ds=G4IoN2n%)KAr+ zK+t|3^wUFn@y?-#ns+9D2r^&MZxcQdQK4Wc$PO%@NyqguH1@T6#3D&rpI?Wi0Fyb^{TFewCa?nrLCb{<((Z~td2e2BJm@H``G5w z2Ft7~_>_$PD79O8P9q*JYEyyFdzMbuZ8nKd$lPu7dz!tks%+hVMPvGYI`Z7plER~R zl!)lds==$-4^D8fZ+xK&eFpe@-eZrny4_0fQ&N#n2osVru7?ffr8~m?#%&*ew7$d`E=%~CUtx<;;hXC=YKN6ZP@E_{g@lUyQd#^+T@}Qp1QZ-_1 z#hZ`lY={Md9QFp#57-p;aScomSK^SIqD=NO@S{n%kKeI*7*$7x zCVsbh$OIsN=Cu3fB`3Hxa7su2W)sTzzT(blr2C>|8*Jme@&*K50+6tGY!TXciBC#m z@gi0ZS>rUVwSDq*mV!ozU+il~x@>y|TgbU6+t}ZIG4YiBs_N`sx5k-u<=~z+W)A{o zNkK1sLDkUC+-F!lUGIK=oP01P#g+s zY004*37q3kB*$4r4`Dk`6hGt`QP1yGW*6dnhH?i=KpJZ|cCjBI+Fn9czwSD_9&rHC zQ>fTh+ZTC3A*nCFh%3XS#~dL0m48_Bqh<2$pi{!M8jXp6w-aBz<=X!ynyL}si2E+C zlT0yxZ19Euo%ABKZqKD6vm-4wXkOBxW}ZM@WJ z@$)Xiv0E*NwzV5Z&>%DZ_P!u>?V+m`2}VADm>?g2X0IuC;$vd<*u<*3tJ3knlC@J6({{EGE| zW93x+A8PF0p?E{^KX34i>mStciO+`+&^)$MQj+&9uBpNl0i2#Q-7^!``kr{6q;fOJ z_v)Sv1K$y_UEm!|1;`AcP=)z6!CV+G)II%D^+f&iS(j zP}&$hZ?mdVEp_jWy_r@*Ut&4Bv~Hy_yRPS!puHgg%Ej!;yvaZNy_1@4HOM9B&K+xn zP5P^QjvsQX(KN>gSHuXngH6Rp&H_E>Ni;kb4)Rng_<4tT>bL|hKLaX%auz^(j*t|M zGB3j{w#A}(E!2cWd5ZVaVL(W`Il@(Hzp*XI|JqVNCh3CN374Qeu1VY~c$T$%?_5mJ zz&z%@90mY>09$n;54u0caYF3E{Yuql9?i9MS^rnxtUDNaPGWM5i~R?Ec4KIE9%icy zz`fgMVW2BsmgFe8o>`-RX(CM~{1i5@JOled=4I>`#3ViDZNf5Kn~hORUmUS62Ie$T zo1BGTvaBz(LPNPp#@9MRGSMHe^RF8!USBIu5UMIQ^H)7$#e=TRo6kTSIRk4AfU-=v zrF5^m??E?F)Io+0t>ejek^DkN@k{{-4ntRkfjuFtf;+%23R&=fEMKtowS71kf=7c9 zKsV>{IOY%K4hXEa%K(FsDGVlq-gfaGn}p(-{1%qS1(J|mK9q@>%{wL4_-maJB6z+U zhfOqK5wy>f0VzJOPUJVen|NGebuFHd8FquJlhp_n1ZMK8gd3;TBC)6n9b+|bb9uWB zhLp@3xOaN)`37BoR8tV7ug<({bxyzRLt*Ud86Yqpf!(*AdxUEP1zjF9}T1snyqLjgr?d`k1xK-STIuSvbp9j(Z`Fn7a(C z^EkNVcyXk=8 zlI*%kRm>Xfbrg0(stC;AMyaV^>yOc49T0G^7&O>!Tg%w*?JTKtLy~W9Q0yR2JQa(U zY74mXJ~W4ZZh=gq1)HH@*vh;C!5APZNSUFqCL!5>m{ugX>*y!ov;m_sP6*!qV(4_$ z>+|D@AanqF>OBtNX9DYNpNvD{OKm=3Fl(B>h7OKQ{NB=9HXbX?rQFpMcc)Al5Au1u zU&h8AYzo4;J&$sH+_;`ylHO2kq!_Val&%1Tg&RxDYQ79~xytkzaDht^HrG9*T!h3e zYY|6(xv%mvMW?sS?PbBZW7SxkHb`oXMQW|bxPi_BDplc-D1(@$7`Uj8Muk+cN5zZr zc%Zs7iFs@JY2P<9Qp(FPkwvB&x{VK&LXQhzaA-y=MA%<>MavsQTss;$J*V5pH-07H z?rAL1he&Q=^cfUghQPquvP3e1H^pZAw%Ln+Pv|2i7?m0i3?|9ZYSacNY?k^U)#f{$ z(nOuD!#&$!BOv*}7#ag!ol?2pDNLZbkDEnWnJtbXIH(^>#VLu}h1urr8vfBmP(hC8 z-OI{3>mt#7S?@yzNL_ZrRQ_Z4B-@D?2~dWHcS)A3FG9H-zi!R&P#=710V9+_-MY_z z8rHRpn?6`A+)VMIdt}eX{)WUm_-rn%5Ir5$lQJanrR4B3@)@nJc$TF1 zJ4Yc!bNK4hH0d{SF=Qv3zwnHTo<*SjC%eW@qL7yrYb8msZ1ND?OuwYXEX?6ZPjM~m zP+%VtoFM){z*uh8H^bW0E~rUwY2i9cjTvTK zQsZn4badCxb+SLblSHZ}0tF=m3u%wm>8AIJWS4eUXvjE4R9)(O{0Z7Smsyx{ijN4F zMm4e}CL+$Ar*zV+A=|yc&GV&*rWs*a;h=eUcm56fNXdy?3!e@CHI$lXMW(O8O_9VZ+vh3w ze}>RUu8~ysG9jEHfD}m)2+86+*OOk!87Oa){hP4Tr7n;TYn58en~@vKlmtQ6nU-7b z*npIYUug@z9kNrzX${K$P{pu+JL)zIg$oVrq5rBg_2EGBU=m`X1c}UMSmb;Rfdq~^ zWs7vhMoVCS{hclEq!ouZY5bX`CpWbGUR*&A+Qo*R@0jhwuZRVGOBv+0>!~1Ay2abI zW~tan%|yxJ=s3hrK_B98?XF=JVyk&Z*a~og+EOM~bj!*uR+fuD-&Q_VaC77y<_(fP6KZV8_ zV@Sc75wv=tGyf}K)bpNy{qyXHIbUnnR%iwe({|%GW7kyTZtU6#vmoHGlXcmivwONw z>IiTPX(^)LFi9?ouS~Fi;^pqqZxlk|#6!`YdW;JCrH=RAF#6iYFj>6mf8Pu5)A!*N z8+g3HJGi*WJ;E@z_q!Z6^0i<}yB^l|cQep4x^S21ApMWgzr27m`p8KSPUIt?`5N#Ih|CX=12psP(A?`GEv_$a+8kv-b0HY}H42UCENaMJaMqKe0`vY!F z2@btO9#7V~0-qDztNz$7sVGXFF`e`N32r>q2k7{8N$Tho31ZVAJ6pc3lf>|_!1}8; zeja-rjmFdCd77l4_&3~;cUd#XB(uNvwQ+WR?X`xq+ufRf(Y2pOL*()I)prv#Anaj^ zH!kQ^Q2=;o;H%r?i&`h7(2r+0SWGt5RWP{Bn+#x-C9^2JJYj$sD9~>F4Mn)%k@9_% z^N(thmOr=bklY?Wn=%rYf;mc+m6D84KETs`bjud?`cLM zpdrw(-^QdLjhKVNR`}>@vn_SrQCC~&y^d{XB)m3%_oa17H%|xRt}>2f4RA>kl1s#T zMdI&kjqgXJ-XdxK<@XfB4t)K`^2WCCaVHe`gdU(Rdt_5^`GrOL*v@Cs$XW{Vw}Q>N z37KZXV$wy<^_J%E=@RjBk(weCk7*E#kW}wxspW0!o!6LWGP=J3 zc(@#Y0gQn*AwFnp9<#LYC!{G0DoASh{b+r6S(=t5aSGbtvO_i#2EB6h;^(bOEpak3 z0uwD15R#{j86*B65D#Z*?nY}XM6QfsU9W~r#-J-PVP}^rQZuC81uepQ@j2m>vTzLw zfjOeWN`*QJ5|!^@H}|Z2S+#(`y*l$Bs)|^D42@0MDic5eud>TNi#EIXP2X8I8f5N5 z@BU)^%DWnQcGtcrjq)*h{_+Z&w}<8{WNAn}p1tLqO_#yZ3+X+(+@RWo zfZ8c0x~6gjCC~y5&V!7xf}uVD2+bXFR!T(A&o+#F6}q{r>EQlR{?lQjRq_ij0wbA* z3TP8s;k)!0QXGC6k{|&Lsm3yF{c%y=1{4`jXRx zbeH*pNhuIYlt<4rLZBjO#jykdI6Tgnn9kGKMc;^SF)^MHJex{>j&~Ot0v(Nr7%d?t^n{0kc^R=`JxFY73Jt5zJ#uP=r z5U@DOy^DrJT?68&kiEpVJstDNmxh<%&o=XWP%9RDQ@eMXka#>h>lsfA?iNusc1`s4 z;YUv&8>GebP=VN6d60=lFa9Rbsu$z+`8h!I(_g$R(|H(v6jtuUeSL15;5Z1j`*gbL z;;kjdwn~I=iqygkqJzsdlE{01AUY^`R*v9&O2~;Ptd`COK1o-QU~%87PtwRTe7z9u z0yu^ot-@xbEuDEm#Se5T3(>~I9Aicb?jR9+@~2s7%gQqz&PCMMCrR?i7JwB(m&xZc z>iUdu5#u8WLcaFeuE)1I%`^n|_+ohW#9=@MD(vJf#<Qa(ao47R&%>K$pMuIo|J5p`zS{)kVdI zD%+>qx&?C12<9 zM0Be0Xiwehf9mRd{#5(_dZZZKI>5J<10S=%`>Lk0XZBC2I)5rD zy&}V%{T#4~=$!HjJm*E07}Wu(iywbdrb4Qoy=+|_@a32w(gwovKEQ<~c8BDrhD3*D z!jwOe<34vi0xGcqGpG-tU3N)ttD@IM^2V3i@i;xNEv^Tsw`KEfQLypde@^;?(Pwm~ z8`Z#vaMrD$2euXnr#%o%+HGaA#vc4$SV^6p@G`xlA=_?#?oG(8I*9g^g{!`rbG_Q; z>8VmKc0VH)J;*M>@%jOkiHM2B(L1J!5M^0Cq<%V_CTP}fJ~c+fk`Jeh4OmIGIp~1N zqKN}}%W8BSgG-t}Idf!Ue~t4*)O*9efoBOY@h$KqrnEySJ3l-$6gDzP2zv$at6!z& z6yEZEG;DzdpwV0-fQN3kqTbruL>&iZ!>T~X!KK`KLNhSD}~P}i!Eq%_gU*#lFXaBm-XEvD)oFrKuw6m-Sa2T*7rM*^-fbP z_#bk6ga|P|@UG@C2joF(2H)A|fzr~9cG)q8RrdjIsS_F?(jNOT`&!{p18Ej4g|-tz z=$1as5wjS-jl2;de+uy$yUF)mk@SY&ZLy?+wSd{PGaUjfl1`)+YWW<*;O*_5tHG-p^l`5V=0mQeTK;{;r(0m9N~%)KxZ*Vh8E#? zDyjw9Pm$9;c}PNp3X(+s9I6YM9J&_XCLt^DfzRJ*8*xO+e;&fCG{)aFl5CipSOn)^ zi#zIWOR53;%WPSrmBr3Y#LBYiMSbq!;2JDBuYy0X>1xs`dRwM}hB=XPif3oJVFK|ex(gG{B?wx7-uuc}w zW=MG$HnlaJe=HLC<$O@DE4+AWt|VrlR#F=^3yc17lX)!CAK;LFeDBK~BmX^#^TW}jU_nykx4YnoY_`<=s} zGybgWo+V&|9E&_3cu#RnozglVnJ5Yg2%&dif9EZR2p4K+F+%uu8ln+)O6UyAW^JgN zBv)-iif0a#UHXTGYk-zvT*8E7j^6RQKGRY4COJa2mHHHgxX^a<@hBfA|)? z>Gh;g+)y|O&ZD@Pym4H~)BLeu@wk?x`-dxGB(xjYm)%u-iZI*Zg!%I%8t97~X`e@@ z+r1UBD||F$Y7RdPW!#UzC`dvb@(|*QYuZz}4p~xp9bMCd68n*;B&Aetm&A&+k|j~J z!whALea~5N60+pRbO*0~yMMv?f7GB>YO$r67X@95{>`j;tndr_{H}g$M~8|B>0elg33&&C-#$wlS_G z%P)RaG(fZh9ppphM1HFmPFR>?ph%LZE->**jr*Wb9u&P+CUBca591rirj&1y%_Q)X zkunDnjFJkV4y8|MzQPucf1uvUp+ELKCYzD1nkft&I*zQ1?rg1VPLu%m&S&F0*a?a; zt4lcD1SkSp^EcFf8FYs1y4-Gw;N{t3B50tk%%*Q?beUq^{2(k)pCxny7}s$rGw$%# zOOEoR920RD`16>CIO`!D9XfzT$lt6*9TKw?A-B6)B5Qz#vNb{KcA-nvJQ>fL-S+3@JX}6!a7kli|}b8ZS=|CAeh+uNsHBiClQyof|49X+xiKO`3ByzgDs+w`)s~uUR8c z+fZYj(0V*={=EW8$Y{KR^8l&X_3pm(f8rJzO20UIxHn}ta|>FQ zm02%JR2*Gp_HZ>PZS#4OzTm{@PT?b94JQi|Dz%~%xB#TL zNx%Tdny`nyfA#>kK&DNPc{Vvf2ViCiGQi3nW+NG4$^8cGCvZgBssc~VM`$Mk zOmUN2x?kX8M*Z-4DX9zG%#{RmCalZW;)suq(tehB zv@hcd{zzbQaMaF%r=QA+jRP?#*$pb6Jhs+CL2e&>$mguW?q0aKQ6RkD`zPsJDjDGy zvaqnYI4NM>$pfVn51B|ltrp-*cYR4W2=m~CjJlJ=Shz@kw_qAYRg1*2DLzq&4&6L0CuzZ`s@!5pjxOnGF)?+5lbrdQchTB%iO3!2j7}U#5de@N z=22=~CYelT^-Bl+7dMxcaSJw|PssBFx9VV6CTv0>&~7D;<6Jg?4F2{@t4 zPhyySU(0R&i6L!ki19?8cHWY}zh!FefL-#KAmrJ@PF=%9P0K zRH&qTl&C3aVHQs;bJUu!xn;h=s1v>+j<2PhD15(XhwK@;B#f!${apNle{d}W#PvB6 zzj7{Dw8S1M*D!!}x)c-qB9JU#%61>jQ)xVj_;%>L!sV*dAlUKd2T=TTTLcyKi{KD0 zbLm(GL+vXMgR*KS-cN&%YC?_1@eBY51}v&|C7tElGGx-xJ$Gvop50MG1XGAS?LW(9 z|1lU>>mfmE&f{i{qhvikLN; zlQB&blQ$?9lfJVJ1TZu?HIvV?6$CLeG&7SyYbSrLd1X{w-LfqZoZ#+_yEGcyEw}}D z8mF-te+{iRE63!qKh_wS) z(gc43;s2F}nEz$@YYV{C^Pk9@ zr;D{E7(n~>;RdpEaI^=3A#W7_V@Gum2mrAH0W7TTKmZA46&*Px834VEk|sa~1O_?3 z6`|s4YG-W*P_Q-wfn7ih01F3afZab905g9Fu(|bLrMa-aaf!JAOaLy9AT#SXH;{)J z$nh_T8Q=(Vwzqb1dHV)fy8tYmO~8=1Gk`b%tifh>uI7Iw@MgDg_&Xs-XNR{P_HWo5 znTmr8#Kp|n+7SYHi>e|i{f|5$Rwj_YV!K$s!2kz~x1Ht=X0Csg^f&fK^M*o9tigXS z00_tf@>eWV5Ww8p#nH~h^DXupnWMAy-)XqISc5J9l>sxr8DweVY;Ff~ae1S88#@zcz+VH$ z+U);wHL=pR}C2j{=T{|F%lwtQ2F1<1|H{SULXi?p=|$XtKL8e(Pz zurRTEJG{T`nqYH~vz;{<^d|D(=lkZw&i-$hhLyFME%+}rxc>oxz~=v6!<%k@SHPwz zBPXMv%=F((+rKxfymbXc!_yH2_>V|hiVo)gx%i7pT-?C};LQT$;RCR6@Up*M#<%Op z$HC?M{|Ngx5%6DYMH7g#wFiGdkDZmB9SC@P|MU6R%HZEZEQ{?>Z` zY4{5^b9HupQ~d8~@K*Uh*MDCE5Xb{$hP?E{!Au~;COsdANUjDB<5!?LdJ*kr+Z?^YwCaHdmDBo_&e+E`qY0WuEEKDjt}#q#Qv;(WeyE zo83cLt=O20>XLsgB#Z@seuB4D?evX8d4_PwGb{d)M60lAMFT#5!_;E%tVS53LOF>! zqhcCiyj7$ss-N*lJBn=EJPhTW4Kz{F2u@V7Kb~F-0WQ}DvX1uz=|kKP$v?vUNCm{T z1U+Vcrf70X$034RdaF**rZ`*Ks6y{hKIc?_ji5YB``Lf~+Qp{E!ryl-N0&-Qko6u< zkjJn?3@YMKS8o<-k7=RlK)UOumk#=~MrqWf{jlUfZ}m4s-y6q8R%wy|&&z{iEKfyu zR6Zh@dHUzEa^-3g-C`S)=dr^gBcN_{-Qxk!r}SFRcNfjryeF#STqs z>+ULf9M39Z*Il(51w0mB7~kb|Geh!=#{Tv%D`JOziHFdV_M-Vn@MG^q%yT`h8eeCJ z)Iliq9B7)4gh{aqyslSadAb;wQ#U)q*Xo@u-j{#s(sllIhla4FwAGt67_EF8XoeNU z?+!Oc&l*HrJGi|gC57@BFB5sbri-_6(^{@!i!Yj3_@IK%R8?^}Uox3Z((B=)s+hnm(h zYmt8@Y2rkGGCd(cp521b@zVG>{QLQ?4OVL^Je3g>)uH8kt6c0x!B+7YYTap+i0f@F z3(Y1_g`i>l;};BJJ+BaF8uj9w6eesSj8#UhZ(sc{w&jlp~~ul)%q*W!I1Mg6+=(;=7b-MKC*v1Ldz>JSmo4R7Loe1XRO1G-H(omjlrWu z7oX)CKCLiI%CmTqR7ZR`?Qob!s?io zceGd&4-|IPQEKYffDw2^NT5c%bag!YF>s_ced?mt^YFRXWJ+Ib7;+H>3^5ov^5%b7 zJ;p;2Rzt!RD418$1HI3BstT!lg&x5Pk9&{rugSEU)toJe8_mp&Ib}jS<768UleQoJ zyMx3pW>Qxy5InJww#pncr5`mu{_Y6Ld12Zs8MFBynqX?Fo@72MnbT9J+0nuEpIp!SyO+|hy0G2oB?J9`x*Y@Zr;XTX$v*`;`(II!AyAK zyfWX36*9V~&O4{aOC?`d@qU~c(e)}}K4zjW`=xoV6g&6u%HX^@M3y*4$qPxadey+=f&owd#fx&;tyux4( za{EW>Ix?}%2*cLN#chS7AUt?KIYW<0p8L~Gexo|VW1n(hICbC}6(_?NyUudBMV;)we4a338Fy7&Y3!8~jujL8TnGHP0k z$lpgwiSwtA1e~JS>eBS__SJuK3IeVxpCUPBPs1#Ws*lz6!sk;CN4jfHJg8du7$abO z$n)uwhkuUrFYrc9gH8al=p;@*V;9iLy1Y9YzE5sDO~Jx_DFz})e8rBFSAGWs!Qs7# z&_vNa>hM(0H}p#Q3~ea}$z7#)ASQzapYsEEAq z3r|sH6r=5`b!tZZi}Nq*g4Uo0P11gX3V5MJm@ zDtF%RRoQp~p=ocRsqykwbJ$j4Yw#}a%)o9?f<@~}2kDZmG=r)UMLH_h7-A4$ahz$& z5wyU#dcVCZL#_HTb@hMQ!Jh*6W!uSRBL+Wny77_PKWh^$38>QHLqK{X0s|L_B}QM{}NEh%3NhwEKtG zw|$k#^4?AYW-IT?!E;AUWoPc6%HP$lhVK++(Dm&2Q8-CwFWv$t1Mn~z;C5f|UQ`%G z`EIV-q;=^AMYz6JL2)>`Lsp=UAm(|;r{gd$`16R zDS5HGHg0-A+TxhuIFBs8=5H%hJ;NiHfnwq>wSiVeeTs5x?R`X2sdJoF(4zW*p98x? z6KV2&xKNB7HlM-<2}ctK*9M)Q8=|0WqO8%p10x}mfsTKK;3>PJFSd~kxan=GJL0BO z!XCJy{f?L08ES#(ufktJw;EyOo6f_l-CZBG@&ORlS)q^R(GOF>0tU71N2dGL5KBg{ zgLfUa5f$Al-~l}!^b8mM4ciY+Mj61+wwkIA(=fMW^Vr0?Fcn;zG_E}V5Jk9`kI&%1Un6zsY$4ww(XKj~veiXg6h8I5ESOFBAVUOrn4I8T{Fu5(wVw zCyLgit|tV?_EcUPrM(bieR1}qXazX=2nvWAz$W3m+r1_Wfr*Ia4k^;1rRPbG2&css zP8MU1#KF;0C-VzZ)>HhP!Q))*KIC$|y*-wXFVOiF&Cudo6tJMd}Z z9^Bf%N16qT6aoe{oyD%Ota*Q%kBKW>H{S*~6Pjs*&w*Td z@ux|rcugmPCpMLEsW2s5gK$YK_%rS&ZRzMACxy@ecDCZ}PYY-}cw^Fw5FRJb;x(Af zf>`7e!*I7zj;5aRJWGdV2Z_xIr_v+5LnDucLS(i_+=7=*9L^yGQ=Db{3aU_1M;m`~ zs9Y5UFr`u_pxsYY1-G|ISpcf^nHCD2n|1%WA#|UzLDC3NZCw`vYW)3e*tJjhRaqrt zf}gE8bIe5xr@ZPVCaf9zVXrGn(oaQH5?UUq*T>e$#vrVS<>P3RLbllEY7?uutLEB* z(D)X;C~<`nCnY0gMVxIM(}g0xEjCo zpHbjMsuOrXkL%CG4ToIszaCtzq!d2US)nqHTZeb2$-`2yd|E3(p4G_C=s$mV!eOYk zq(<)y2>i1-{*+9xR`84UNiPbdgkG?dh1#tIu*I;~1` z++T;BxB85oB-!s54Oc&6|L)fz6^xzne-WMKM$^}9oZkzuSZdWrAOk`+n%UW)4hFr5 z2)lGI?uYimDVE{*N9FR1zAk^9WRvhj!eUHJD%jo}jrw)C&w!g`?8rBD6q7 z$aVVBU6AWGs?Qc9D16gPh+-y?Zt;%nw92&Pq9M$09T^VoO1tzXS0(WB1u5dpda6t# ztCb`$g5Isp~w+=9uLN`akw!=>< zpE)UK6pEO4`*h0O8EA_y01X>;IJ49Au@j!ZD0q26b^2r#Pw?m`zjr*om{v$IKwzI$ z-qOK~g4~(XpkW2ab_II)7#kKF{wb);kXlsG##~WBJ201Cpu|xpl`|W`^wy0||#*M(JAoC!5lz zRUMqRXPY+&I|)4!Wo=@THpy}hR4+e63j6yOMjGWs%GzsVtsn4M1p!Nw_>8i2liBkY;h=Y3bBif#SAct zlYL9oG0~!1NH@z=3(UjwO=|slG4!5YDA^7N6N=}(pX9nGmAB5Ts8|ksyO`(DoJI01qry_L^A(frD zs&c9WDC2+WK|9BUe+!pM^o(CjR`~f|lP_2}OxFNP ztkQqc;^zR$uD3)3LQzcUceq^)Rbd2lw~jyuZmePR=CF&p15<8QUj=8JU)>uuo}t_v zA2FM2u+W5^9n{_(_1GwF0z1|j_4wW3Puck68OO`l&{Z&E?LzO!x7A*5#$a}(z*@3q zirp6e?r~%-=wJQn_3B)NtFHZu8{4rtk{$%~qVBML(y zygMJU2qaPi2(?d?g~YO4silmbnnHAz>p*&U z8~KFI3dS51Tt%R<{{+OH#|!Pt8F@Tjh_VXG$tsyeM2!Mo{R+ri!4@d0?;UFXSiJB` zRa}7eEq|ZDh%}P|i}Q7xh9uH=n5Jpz$flhnF<2UFgDFd5zP6-tMV@wklS6-KF!`F{ zhs6FT;m=3Y6;{}0L3R@c=13z0Bdc(>NA3zo|;w7 zbw{2%i%T9{&vYkJy$ES1I%pQ-|3Tt5T;T*1yb#+U2SNn!<@ zr#LYpCH`!s%>5{3Hlnuk>e%0Sg}M1lLGZLPgmkOxEGCtG`k~k~VPSt5`00V?x7(z6 z)zEb01w-A}wyqYG@qv30#j{FQb9QPXv4ZNl^&cx)q@f?!LLOtiO$>L14!zC9D%{W) zWBXJD{J8ihh?7Zr^l_)h4_9BrBND)B?E=moa#|}#DIb(bJNeK;SncQ7Y6DmVlnP)yXX5|gN(5Z=lYt2$O~(1{u+8l zv2s!%%#PqSfX+kljC3CaH;EOQrY(xf_IyNJtlL!U?xZ+G$Z~%<%@L+}CmW*hu83xQ zKZ$}S=|T2V@I_PTaPhl32I&X?ET8;f%d|V?aAW%7Jp6Au1@`YR>bqQP3fSqP0}ARO z-%Q@+$5p`ZP-Ej4q#nD}B&&B*&T5+c+BFV>YR&dGWKpB@j{F)?UhzG_wZF~g^+Ie; zh_4XbhvA?x&Z~ctNZ8Q&vmaIWDM#l#gZr`f32(6%`>sIX9)v7Z-2iA?oEuc!*S0aQ-;Cdl zCuO01>C98l=e-c(z|z1d98hCXg<)_5PyP_1S#$MoZVzBpqI2ITrNH!RrOX(z zK^}V0bk~1$yRl?R0ug7&aB^Qn@uOQ})G-s-7><*pZ*goH^WuR|yYDWqww}DslJMs1 z)V&08+Tl)wyvywt zdk}w#4!c3|%;AP9xUiq?iETJ1I1gs1=5r6xswu#n;b$i+aN+7!hC>o+9sA~=JiO8J zttr|&shHc>$>@>&rF|GzZT+xQI=*bbGm&t3>9~{= zC3h+|>8UZIWT;m><#XwgSh+!AzPg2Jp6Y*``!cB`QfjSMucD!BLXnalQW%zlfP0q> zYAM0{8~Ff`lZ~)g$@@G?*5r<(ljKA=-OTp3+}+a8rBO8z1-LYo@9d>%*>(`hbETkm zg!6h>L_AF13H(4sG6Gex@361t4dmOB#$YUENeYm(F$}eS{Cq-_WhsoJ+r9(@5y^j( zJx||#D@rVoutSM=X&Vo|&8of?Au`^EmAuiu^xjwWnoQm0tR+M${IXwN>Nv1AW4KxO zoLY=dve4Ba?}#Wk{rZ0LG!Y%jD0MNo2!sAha`QMXG?#}JfAWj}4w#6@nOENXv&e}rffZE>!V|N3iub79Z6+esN^g<$bud>$ie zZoM`?MoT%Pif}>SS;~&|vP}{Cy;QPC0A%LI0XH!lmykjmt*>q+Y_;&cnS|s_a8a;< z*8b69Jq&aWT0W!0&znnqW%299wN`5NJni392G52ZIQ-*_3}>>n6oERhYmI;Po@)J& zuaEx2t;S&D!}9~^I~)Xd;tRCQRUYv~P;ylcA5TerI3h$bqNIg6H zip0x;?&C4`y=e?~g5rQR71ms?So>>?xUC&5I1@3hK1@-~+ z)5l7ewSh6?wcS8OlL62dC`{HGzF0=%-{e;VwN4!)Q!A$FnJRj%XGtIqk)t}=r~HFVs4JkW#LW&R)U7dRlbh$t zkl6)1*5xEVD1w=fClG&*wtr%p{mv9$vdA2oE!e6gbd_MVGU<~Z+Oo&6&#xJso37p; z=^nmMt7UlSFnVI{zLJ@bxSPu+F5EDR;L$$Hji(j+2j?>c7x4-+|j7fQ=I5nZ}B{4uNQ+#f_FP%3u`kqBS=K=W4`-PGa=nM=CJI#^w zk0mg8==S4pl}>+U7xkQt5&KOky9mF9zb-#Mw{4Rr_z{5dBe~6hlKjvX$VknB%07ZR zxQ8TCQeV;0T+c!E1rN%Wt^oj`zuVtBQn}tEv32f~de*P6Sk}pB+L{(xSX>-81eob^uW)}r*Jx zyeoHu&Ex(GKkD)j*}*b$KYP(J_*IitH$6C=i3bK}kldTjZ8hdDzZ<|P#H&5Z9>u{W z!uSQ)vLC~6EWcSr)lexa69BKLxbx))pXMk0L)H}19hP}fz87+DqF_6bF#%PC5Chop z>qwq42a10ysGk_lFEvg`mOOvvkF0-rAEj><3oBzr*RqdGdu8U2 zT!`JWKu+&kxXL(tUs*4)a*ZP2a0C>wy7VIAccna%yU#a-u4LmiknR5Mu=zX11qFAD zwOo442Qe16aCI(9Ng7kb5Z#c>z}z5G3RMvivCkKFK7>$H(%r9cqrdNlYJ0pP#A9 z$NGO&uQ5yY14$07-QL(l7}mm&wczg23w<97`9T@~f+@c|X`RbMGx*SYa_1}iAx;!( zMmR4I{wvk_v~Cq9iOHZQgjAkc9>HkJ^V7V!FN>)nSzh1^UG6OZ&%CDlzNA*@dWz|r za)@-@kF3;be-@Ly$E}pCg4fSOm_uqMKJ< zMuq%}#~(bb-|ZO~N-xcrC!Fn)uOxC>_*D2Re41_Btb3$--e{ZUPAZIZMMvJePJMsS zEjgngZt5a8Og2woXqCINZaQBG2)uc8kz({pU0fm_!C$uCKcXk!AVJPC4 zzBkJ^TmL1G@3ao3#E^b!SGT|2T`KlTYBV)ETQue) z%5ObP>%k|+b@?g@jK2jmU|q~hY$L%RG95K9>#xL-0ozYJ7R30oP&Q+JrwEF zS8mPA8hPmcLJ}lEoHSE?-iA+^wz(Xe=^azQy3AB_VFl3eU%Hw3^Ze9A(e?GZd8nE0d=QGF16-W+YRyh$n$BKbWO-0JD-!2&S0N( zHlb-~;AgZ`CbbD@Q>jxn5YOmezJA_=BYKHu3wpnN&^> zWzn9hms{I?!p>y;b?9@4{O=X=J7@-GnY-%`i?z@H@ADSx090Rg7+cL>~#6W*dia{c_gJlFF zdx6KNy)RTVw>al|!z)N+ikl(a$sKJ`DqqV5`LPOuMp)7l*c2uUy}~RF#2K#j_pwrX z{SP0MFxDI1xlH0;=1OaNMQEqdL(OwBJ2Dt<;y7xHKYi`i~b&aOm$c@j#DU^1W>TvZV!HJTP(QIA#SyH>9jl3G}ohJU9ngD zmUXs$fSO%QOnzs{!&fnm>&}l47uaSQ4|DX3aemNOMxb_h(s6&a>|jw+YbmjX)2+oP@yXd?JO=E7A*laEVjKKH} zRdt4~9q^*z5h3Ytsu^{Ec8SATt`(EgU+||oFSZ)jRX#6jv_z^Of|H~$dwRg82%rdf z+`T3B{kxKU?_z%+^=B4k={Dukg{F(q*Qq2M{oLHIZXBbw<7E03xUYm+ZI<~xjvFo^ zmfq+GgwYsoOsoeceXMLJcUmvLH!m<)V+ohqk*e#0Ga6Yq(|UoI?QHNBxDR^HAB``4 zpm>$c9`cQx7#5X&{gkX&-T)fPU6D%YldA$1{@4$_uX2C2o4p(=%cDH^CnvT8@nO75 z5OHQlFGS4kO@$TFN|kaibr&>!`t%U2WvDxZzT5)Ny6bT&&Izo#?SMNCB>O=!M^`iC zyxPZMI?ilOFupJLL6u(8!G7DiYJD-p{cyob7FF`Wls}rO)-h#rT$yNU*`>;|p^L|F zGBVGr^3{L;WO&w~`=bXiom+8GM|64gJpFYQH~O;xY2v^ZF6q~Z>Ppr<4Y>eTJ2GIF z^lRX2CFJx{*+S#zK#049+6KK7juyQSg+sr$4LM$~lA~Dh)jwU^WMz?+;=oWt}@T;%sLn}AT%et<>au3FxCUW`u z*m}Xv**Y+I_=DHeLf5Pfi|@c>Xe0DRk~{u~l^eYe8|wVysmaIN-7iDP=z0pr#C|W@ z4jX7}MOu$~tK(U{m}i3PNY+j$=0pbZNJ=ePmpYiVoR1PRd6)DE7q_qBE=v@0YD6JI zSnz)@jLf^D!TByD$96)l&#uOpgz}2m+63p&X-O>!?_dR@y^|^F7x@iJy|4g$4*j`Qpqw1#hVQX#LYlpKfOPOIzXF$Y|=B zE?|n@jnC6iYj9X;Qf0(Le&7$%Ap!)ZJEFveSN>;Fc$7_#tXP0D3tBi+_b=p%P^f>- zJSj!?4945#94if@_*rmHsS?5#At&gERE=|<*_`<0+6(2Xtlb_zwKiyB z!S;c=>tlN#rB%l%ZZge3U$dX*U(Www8JhyFI?^f{); z)RI13m1sbO-|73qDt4h8%8d4h@&f+e&+Vvd*B{-*6zljnYBdsFR^20YaINjtn@UM! zQN1GuBz#^1@4A^-?Ol+Sb+H6nhfCPzicj-#`?(4P&JF?ZMx10oAW4)(m4yz=r}G(T zVqO6n-F~OIBjf7IER%oFJghSH^#O;54)yRLoMpNXOvD9{td6Pvv%}Qbz;*YJ%l-(R?>n^!{m@ZpX1MPpC zRh$XT#yS0TTAP181-193jKN_dKTaiJfZ;=0%l)BI17ba;%(wdMx!&2H`#N5Z3tOw9 zQplL`&tt9u$ACS8a%h3L^Q491=Gz|@b9_PZQ^8f;;UYSpR91& z)aA;b3f0YCMDqZG{+F&5Y9@0~oqOwGHvdFcZcR zp=DwyH^2`LATXG)3V#n-U=;8)xI&3mFr~yuMYx6t1LGD-ArgdwV8t~gr&$mI8HmNC zn^^%EY=A3(r(XpXHe^=EYGlzha2eQIxHEeDmhlV55A(~M@qPBDNGD~M&&P6${r21F z&2e64-x3~(EfPehzrk&FGv71aD?w0v# zK7B#Hc4jZ1PtrxnlKGS!r{#Svf`$6Mw}r7-M0)Ml`T?EU^S%A*!Vs z)9QbPs0!pbRIl0pc!_!>ze#wvW3QUc$K%>ZbL1VP=az!LFTqc8W?+U!NJgyrX`ZW~o{h~Q5W+QV zF2e0T+H3A1Of(bdN(!1uFSS-rD4rU|V{DTlwo!7Nu1(*f^wXw5P1EKCS?bfX7y&w2 zx^LtZ?J~Bb#|7dmZK8IL(9Tyo=9~Tv z4xXXt;#tSs#@@rTA&;t)+~V1UL|CG!`WfkPKDh}0DgEgErD=|S^qx{j)1p=1H;B-@ z)_*!YiRv}jK}*Uuy5`==(Rj^}CK|e$ni=cR@?&ezYQ}w54Wd=+XlemkT|qikM9QHm zVhyVhd2JQJt7TghjCk^zq7Oa&ZKQ5P`DaC><&E3wsz!dsNecML&DbIPd%JbAE`WUVj#cYKS4csgG;mHX6T%ki_O1LUH>!Y#H+O z&P4m#ep*bH*`mys)joHUJmSgw-}k;8p8UFZeDO8J_$;|An5hJI-K*LGeFcL0HojQ4 z>7zj6rGbSJy|C>R6MA6_1A+IxWbr=D?(R!wBaPiQt)6Ym7-~M0$t;`f%2g9o@FkDG_(06HRQ=2roF>32v9~^HYAo zFL}Zze3CytCOqZo<1{Jm`7OVl@r>tu$xDB};@|jR{6_}|`!hHkoxl5d{ABU|DPVZybA(mQ#_4~}|apQm@L4e3`=lYZsL9Cl+4q#v`iYtkPDUchdBcmeP7Juu)MKj4S%6Xky+ zKjO#y1e`eI=Z+Vj_@DeUKuL-+U1r4tPf7rEv&1)MTF%njvgt3$f+Nu^pVw3(6rE+_ zQbu&T2$qH;{s;$DPPQ11^?eFFVpGG%*ix2 zl~|Ri@_w17y!~rm%Aq_-#Xw25U;?k!E>;6mN>rio?-QFKFO!q{0^RH zx6S7{yHZt#u|W^#u_chpWW|q~36&SvZd|UMYvhYdCaO$DA*{QKTg)0F;WK~oqWb&% zWs&kJ%wp-Y79Ry2;<7k=4i^#_dXO!cl%~e2r5DO;xPg~U2C}ZF*Uu^E9U9Oe(z=@z zsr%;Z?}HtJ(z%*DnK;OnMM+d(M3tk&yZM|=%lm>(>IT`q$@HcztLI19_d|EwkgXp< zwdz{-(2?IyJND8Z(sM5EJ7<48AkkLPcqjh_?>3eCu4h*EJyX78CVFyA{|k=2RKt4C z>ArKuc3|_8s$St8oyHY(9JhimnENrC7R?DrZ%xp-U^XXdXPi|pTFy2d@w%HzPtZ=x zu%4N&ecquXao4Ml@NBK(Y?*#zs=F54OcggXm0dqm*2Yih*hH%VH9>!?Ms?IQGb;zg zz)ac9l+pT`(s~Xk^IVM#TQz1-O*M1C0oh_FH((d}S|X1jt!pkzwQF^jwsqH3i}ePm zjb}&>Al(8j2X(l4ojlV%4#K_J&nMd#WwI={@M-K0#(L+eraIkyvjAb~09wb@y?-dJ zWoOI{bw|_|3oB~#qwIe%D|@Crx$C}%-r>LO*)d!6KbdN%cjPaFfpK^t(9(?vSpan|V{VzsHi0V8PM{0e1mWOH&rD#SVLeSjTKyQBZDP8@FI%^eDEU& z2POi@V~!v~C}4&#A}C@C3sJ-nM_H7m|4Cqo5t107j~+@Gqk=A~sG*LAm=C>giha?w z<#g3;8_D^o+m`!Vw}S~b*kXr04)VMy`8etiHN6r@lmGA>3^h13GB64yB}Gq03e}mG AKmY&$ diff --git a/01paper.tex b/01paper.tex index 28a6b36..1564b42 100644 --- a/01paper.tex +++ b/01paper.tex @@ -89,6 +89,14 @@ vulnerabilities or at least application crashes. (might not protect against e.g.\ vtable overrides, PLT address changes, \dots) + \item Dependent types for low-level programming\cite{Dep2007} + + \item StackGuard: Automatic Adaptive Detection and Prevention of + Buffer-Overflow Attachs\cite{Stackguard1998} (ineffective in combination + with information leaks) + + \item Type-Assisted Dynamic Buffer Overflow Detection\cite{TypeAssisted2002} + \end{itemize} @@ -109,8 +117,9 @@ text \item Static analysis - \item Dependent types (only allow indexing with values that are provably in - bounds) + \item Dependent types (only allow indexing with values that are proven to be + in bounds) + \end{itemize} \subsection{Discussion}\label{ref:discussion} diff --git a/bibliography.bib b/bibliography.bib index 6a09307..fd6301d 100644 --- a/bibliography.bib +++ b/bibliography.bib @@ -1,3 +1,12 @@ +own: + +@inproceedings{TypeAssisted2002, + author = {Lhee, Kyung-suk and Chapin, Steve J.}, + booktitle = {11th USENIX Security Symposium}, + title = {{Type-Assisted Dynamic Buffer Overflow Detection}}, + year = {2002} +} + @inproceedings{Rad2001, author = {Chiueh, Tzi-cker and Hsu, Fu-Hau}, booktitle = {Proceedings 21st International Conference on Distributed Computing Systems}, @@ -5,6 +14,35 @@ title = {{RAD: A Compile-Time Solution to Buffer Overflow Attacks}}, year = {2001} } +@inproceedings{Stackguard1998, + author = {Cowan, Crispan and Po, Calton and Maier, Dave and Walpole, Jonathan + and Bakke, Peat and Beattie, Steve and Grier, Aaron and Wagle, Perru and + Yhang, Qian}, + booktitle = {7th USENIX Security Symposium}, + title = {{StackGuard: Automatic Adaptive Detection and Prevention of + Buffer-Overflow Attacks}}, + year = {1998} +} + +@InProceedings{Dep2007, +author={Condit, Jeremy +and Harren, Matthew +and Anderson, Zachary +and Gay, David +and Necula, George C.}, +editor={De Nicola, Rocco}, +title={Dependent Types for Low-Level Programming}, +booktitle={Programming Languages and Systems}, +year={2007}, +publisher={Springer Berlin Heidelberg}, +address={Berlin, Heidelberg}, +pages={520--535}, +abstract={In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that combines dependent types and mutation for variables and for heap-allocated structures in a more flexible way than before and (2) a technique for automatically inferring dependent types for local variables. We have applied these general principles to design Deputy, a dependent type system for C that allows the user to describe bounded pointers and tagged unions. Deputy has been used to annotate and check a number of real-world C programs.}, +isbn={978-3-540-71316-6} +} + +existing: + @article{Laprie2004, author = {Avizienis, Algirdas and Laprie, Jean-Claude and Randell, Brian and Landwehr, Carl}, journal = {IEEE Transactions on Dependable and Secure Computing},