From d189ec7d025c38400e65bf8cb7ca34613f57e2e3 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Wed, 28 Sep 2022 19:47:38 +0200 Subject: [PATCH] Update content --- bibliography.bib | 46 ++++++++++++++++++++++++++++++++++++++++++++++ presentation.pdf | Bin 138979 -> 142096 bytes presentation.tex | 8 ++++---- 3 files changed, 50 insertions(+), 4 deletions(-) diff --git a/bibliography.bib b/bibliography.bib index f2f4bbd..37e2258 100644 --- a/bibliography.bib +++ b/bibliography.bib @@ -5,4 +5,50 @@ title={{Dependent Types for Low-Level Programming}}, booktitle={{Programming Languages and Systems}}, year={2007} } + +@MISC{CVE-2022-38866, + title = {{CVE}-2022-38866}, + howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38866", + month=aug, + year = {2022}, + url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38866}, + urldate = {2022-09-28}, +} + +@MISC{CVE-2022-38864, + title = {{CVE}-2022-38864}, + howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38864", + month=aug, + year = {2022}, + url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38864}, + urldate = {2022-09-28}, +} + +@MISC{CVE-2022-38533, + title = {{CVE}-2022-38533}, + howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-38533", + month=aug, + year = {2022}, + url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-38533}, + urldate = {2022-09-28}, +} + +@MISC{CVE-2022-39842, + title = {{CVE}-2022-39842}, + howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-39842", + month=aug, + year = {2022}, + url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-39842}, + urldate = {2022-09-28}, +} + +@MISC{CVE-2022-1483, + title = {{CVE}-2022-1483}, + howpublished = "Available from MITRE, {CVE-ID} {CVE}-2022-1483", + month=apr, + year = {2022}, + url = {https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2022-1483}, + urldate = {2022-09-28}, +} + /* vim: set filetype=bib ts=2 sw=2 tw=0 et :*/ diff --git a/presentation.pdf b/presentation.pdf index e5c494b3c14c3571e933729447816243825ce879..e8d78ddc9c96615a8bd31428d4fba43072e22ad1 100644 GIT binary patch delta 23451 zcmX_nV{o8N6K#@>jg4*FPBylkY;14LC${ZuoQ-YUwr$(F?{};2{WI04rhoOR>N$G-R*h{5x zkfTa2!ER3Wh03=cPpGL$@aYodm%9FI@&3cY_|@z2vH?fO3kO=VER6*ybP;JO`eg+s zuUyP+`8cBXaB9bgM^-OfzsaNf&)8a_buf}n@rXt26gtF*g?5Vf za;>>y?;j+@TRbr{)R{Dp(nWE4VeUSlq;fJ6tFpZv#uB>Q0BUTwnHim#C9&*g=n*IX zNq;5QNrn-?;=D)RgfT^nzL;PGo?JY@Y_7pY>p|bSp_pgj|NC3sv-N1Coc0BMcWXb< z_gKSybuG$D*ng5*k0@c(lq5Z(O#nMcYg@q^hl3w+o@m|93R@4r13#s^ggCt&z4HB= zK|B*+!OLlYh=a~Yk67Mcm->6+J;Z*&ZCm^0xlrd_`B?Eil30t*|PZ1-nQM>=u zeBW2iY)~u()M-Uo&=hU4NhUPJP%))lRM0YJ$_|f~#$fegx-1=&GcdacYmT;}8u3rH zUuwK+vR^gTaESnRVHa=~=+>i;e;pUi3PTe_*pf&TUSoPYf>`G$&FxD!O+{`tuqIpz z23bRe7F&h#w2i|Gv?q9j?^GX`ItYk`Gk78mGu2SY)KKLs75(!fi))oiuIDY4Rim;U zDKF_M*UmoG8e~lT`=oXl%rknwYH|AdT1Q_I?A0xrxm`FyTwpvp{%iOTm^G z{8sQa`{t-HlbDG3#MtN{RV2J9h8j$#D5I*K~A;6@qM@tL+g+`i} zefkK6Y@!oC=*~5NjXmxefzW~aAtHbjpFY3rS^Oc1_b>n#A-$&fH*3POKcHy#vUNc< z5Psk^p!rhn{dD5Fw)E%MS>h~`nMD3wvBENd(7kM^JUxY>ARPl?QFXo<8X)QH@$jIyS7=FS#G zEXD{hz&CJ$E*hz&R`g@OAoMIJ=e2p1+1!R%vO zd60%Nbu|aT#~}Ju^r1j!4P(j2DJXF%Ib}C)*<> zIit)AfYPQ1^+Lnakf0cnK{$+x_*i7qJq&+>PZF0v{Lr4p2%KjAawb_Tb{i=7gNtE@W4A0ad4sGYz%bl> zh;BPz(LDvGrZdDAnx)f!C=F$oxK!+K@H0#-U<^%|$LLQi;L+7L1THzp_nbl)sufPi z3F&&6ZY07p*=%5lw2opCcq&5=7X7Oa-GQo(4lI~NZ9c@hM*-4}ZCdbtrQNClF&IG0X+@FL<#*Q@W2k+ZH#(9Q zAm?`|6ONE;V{I;BGEBltC4fn?j)t2%WLmvGom?n)dtO}`jfTee)gP{W7MDrP3BhT; z@z65b+Pcx9pO%C9RP0eRJ{guN?4-SU!cR0iA;Wi6d{8_o7n*6mkwsPh@{-s3T(4xb z!T0dIuD9*zv`BO+>vqWz`)n`Ru#Hs+v_0>GzPJ*6O~!3!%!Wi;HrXSoT6#JfmlU6} z1?FnF5en@P{9;O5D&)0Y)xzatipV82ZC0wadB{>CwO{C3dP%o|Q3z!=y}xq)9@YxH z0-d!ttKZD>?bMHmy8rX_`WN;-u8Rnj%8{(@)6QdT&ec_W^*A?B*Ch0^+Jn{$(0Lf| z(2qe5Z#Aan9g`SzUm2CiDk!5RyuY`5mvbcVa#(7dk_?6So1s9_SI~*$w0V{=V!1K`X??zyQX5g_p35K zE(XwoWFMXnDvLKe(@6EFVyv9w{;|R{ws(mquO|#jN!b!UsBC3#VTNR2AUG&y&Vm6s z%UR7#N?9k?cX+=Zm8BkO^Q+m$&AbGMc>S`bsBZs4U*h@|*st5XOdjMQ^nLdY8RfYi z_5E!Jwxl;gp)5xJWcPP2{OlUi`cBzNJGs|kbgxLPs_%e2TA))nnmf8|v8AwKdn;A5dKOBY8qZ-=)w%y-uWetDpYLjXVpm@7ln!;yzMiNM4f`)BM(# zO_LUV`5iTO_#Mn)+(Cjgt;PNvSXcVGvko?DD0~=>VEjSCvQD^_4=8dw1`*9@Pb8$n zxkSU`be@4L$SKfPtO zx*kGQdMYih!87(+?qDqr%4ScFk}~)`y^7^AGkR*K%xFM1gJ9T%cJx8~BZ zDHXVOy(A{90FQrlJJrIsfmvK=&9~qk6OsZdp z%3t7Of7Hs_A@dRzMnAqyz0-P6Da}6E&TpSku)jxr^u6sJqpO81zjz`4SW`n+WO6m< z;!(=mS7-YwQ^^W=5S8Q{e`KYoiLlCvTLH3|5cJ8ee=}2ZUPL4p5Wnok+}cbT7VYi7 z-J6S&mvsEzDw^|H!-PHta*c4v(Z*N`l;&@mE#yOlWI+4+de78Ij8f51ir|h`E$HIP zu0@p+h7WHBPCj98Euu;M1do#ZnM`94io`^F92(e&+C7DMq^jvbETy0`mZZ;92VnPQ zMe@GEoTSH?{-;tvIqKu9U%@arxrvyF?2W8o`S||7WMO0CNUSZO1}0VI6#9gaJMU?a zRw%BV&DU+4$%bA)hpGdMJ%y1V;5Y(|=s$ej-u-_Pm-Y_KPsnd~d1QNNA(HMmtnJap zJCosWI|m0+>LumC{gNhAjw5HX(F0l^)+KwC{4F2gb6*Ez&)47Z#OORggQi9Z0&n4{NYbWBg`U0GdROe`LX#$E$8`FRt^8fpr~JD_dsJ* zeIn{cT#)IdL&j=eOZNkibgJn+#kWe1!uEO$z?w$MC3R2NyKHj+FHTJ> zTKV_=G*Y;0AQ7DXsE6!bJmu;XeN&F2QjWF!v@hW*M`lZ5%RI28<0rm`@vK)P_G{N* zKM4%19RlUYl9?dqMhzS-=LERnNo26zTYE!fd13n&qbIw6vq*cAceH<%i%ec=)40vU zbVZ%xZ(45v^D0?Pw3EzP>`{n4W_`O*Geqg{Y5R6KX;uP}Kq#JNwYkqETt<52j-_j65P^;( zvkZe2!r|8kg$eeRM1ITzOq;_zZABs}&+mu1i;G-s%l@$O=d&q?!)8c%5SbCHp2Q``*mXUj5AD z;Fo#r`{}|{Jo8v86X{a&(ZvlVxh|aP4T3(^2>NOF{EnmTw|^FK$y?9lZz)a{@hOt( zJkrR8#dG=~e61_iZ&Nz@?rvF7vC1kn-hfMV7w76AsE+)vMvVoH-?I{TV_pN!k|#>H zyvZq{f~DFfouDK?R=7L<$4ast*v}vA9Gr=Hbu@r#@1M2*D7i=HS!1n@Ga0XAoj+A1 zN@6=L{I@P5g$NdO`*VGP!{p^%It4y0VeX-!d~trgWHT8#3>2&Yk*8Kuo9>bkTezoy zp)dyyx(In6eIz}jfbNV3L1S?B9VO*17j+kZG;lB{j@GWxk9FUi3iR+qa$vG zjMpRnB0h1{-Y%p#cJpuPSq}>Es7I|GjF$o0smq&JHnavAs=D+Y*Xk;8*Ovl_ zUz)^f%oKETBG9|ptUM0M-Rfbx%4$2+0so#SXK=r7k zM@`O}9bqHuW8I8Vlx{idM6sGpGOdqinNHqhR5Xk9u6^LxJI^+1 zl>Q@EPGBlS*sfER#D^P84wE2)KhalCdeT=1ae5CS7I*gj&1W+?S#rEyA&dEh#MOQO zsEGKfNohle>KpC^_5QUnCH1@8aN!jpD@>~!*3{0#$@!0|q3!>y|D|RYCeGB}5YV6X z)(to0KUkQ!Q)|)wLx0xzxKp{|!4R7}&_G>ff3PsK{$ICdDFaX!ivJ+{|MjC~W@Y++ zshx$0nT3s$^Z!9sqW^zG#LUXU$&nHY$_QX=1c>;-W9UMYINQg^&$w!9QT? z5y73y{9rqZiD~MXm?&msnD5q=MJ$#zh$Cgal;K1*Kw}PzMu5IJ@q;%3P1D5U1&b0g zV+>CJrYSlyg98Hrr68K`w)GH^@PgCmfx@7`z##HFtj-0#-d^T1V8CsF%O_sl-Wf=6 zgOr~t=&8$pzhiGd(8y?D9U)p+|2R1Oz*=qL0?`$+1BnaHM&G%;4v=QN{E`bhbgN@q z`3VLB_Dx~8XYww1ko`@-=yz0oI|ufqCk47^VF(X4^Fffv00$L$JI=WCJzwLj%ea&77LHRQt}{4r@!I(bbLQ3!lGAVXr1>$y z(8R*#(7^V@;0p>7E({@;Zy)DCJ0k4-?@Ri@fE5AoN zB<*Z1?j@2_ujBv?k8q|&hp&PQeY>#4PeK?*VlyC(kq-dMhraS-S~DxTp+6)B;LL7A zU+2mm36CNXff)}EGeaH9=r?J7=y9&L0Pf(w zK;X!Cr(OjI&+B8Z_hK1+m)J0}I)3$g=N;b-k9Gfa`Rw=RUcBTSO>!OMfMa{D%WY2;>bs#}N2etIBW#2#&5gSf zr#GB7903FM+^Vh9d-FTV&Ph&~cne9?0h>^}}{EkJ2BxQ)G+O+Gl8fP~G zJn8WlNk@ok5uGPlD}sOe*)xLasg^6sHzkZf-4;f=&B&i*q>l5P!|z5yWU-|+W1a$K zU}O{R=4-Q(G82Zrd1aR3jFpp009pFA3)#%pgkEKp9#Pw)-HOcO(UOo$S|KU*Ft6qy z%K`W+BrlXycGij4jAC7yqSCjvwVG|JVHkD8Au2H|-|LA_TP31ghJL7Fp4EZpI0!2- zy2$Z;kSF{*7aH8IdsXwok1~YoSaw(+sDaB0wIQ%mhONM-amg^Yve+?y3Q*4dng1zU z@`$(WYSPiZT5;xAo0W1rU?9rdqbf@qX(<5t07Ua4K1=t5NO z*_Vg9as;{xBe>&G3H@6kyA1ok+5soejS@=7FgmQD1?tWDAxD#tta@a8)(aL6c#47d zA=i<}(LVUdj4%X0Op|0P74gat>_qy4h!MaFv6eAvqaMheaPwN^84XwIedi_+cZ0C8 ztqQM7q8-5v0&%H!2Nc!-$8cC);olV29qmQ2QQpKaOfP>S(~(CCNRNnfrsUjsCS{^< zj7!A(^hIy6sKji3$6kt<>;*3Z{>krEpTv;|SX0mCL=&?*n)Q*@Cqcgw(!y&T^RIG$ zd$G%sTcvo-%+om35MEw-9w-l3HP4>+!@X|w{}zjbs|ON|8lj9$Q)e&HYU-ICAghL@v%a-PpzE2DH&_Q9dhfowUm4n?^v)y!J-D? z(JB1sUWhlZ=U`b~Z<+TcC7}T+g(_#tKRcd?PBg~7voABSOIpKvpOX!feSzI zvfEzMR2~+8$$6F5gC+*D@HlhPx*R@4u{_T@h6R*r>v#a+G(WkPP`p5)xV`rta=XHI zIJ#+hcIt0Dm$n(zYPZ7laCn8gXq(74JB4On>IE*2w+n+l5}Kyy1Pt zdE9Tqfdf)t`sd|(1P_=^k?F^wANLTB-wF+8d40t}Fs5%1F>jaZgWACfw(t8ek=5u1 z%~SPRHHQA3OXRHyUiz>Xqg0_ z8-oGhixpbIE-*n`NLIw?*CS?sa^owJR#gftu^Lo79q=vISEA2CHvw4&^?xt-s!d2`7o&cOrKAISk7ljEv?if-LG?2v79D367F^A8JW z=a!<3U6IT3aMk7d?Z~I|nKUHNZ|K9fK8{lWB8CTkDBmWwN4z!?Wn;;mbN*{EE1j*0 zhn0Om&wh==h_u9w(vVppf4c0W4$y6$*j$xyP(y=|)BJdneWYWiAaSS|()Brh2_`r7 z8*fM`xoY)QJ8yp3cub3;Jk<~aA_Ssh;bo=hWe35{ctRQ9P}j=SUfgMUFh2>m)4c`= z`Ay@L4M)xIU6$n=b%wqAOKP@kan0Ed?ePV~euS2TW=CPcuiP{4T4KJT<2QQvZ){fa z0=`nA9*=$hekemS6=0QWhik1}jf*x?Jh@Z*bm~8SBzvSCw*WM~YucYe}O9 z`WSzUMyuiz_yR+2?~J zow~wY)IqiRgP1Kb=hKtgXP24!Z8cg+cIe;vxf2`(UNEYr%`9(lBS<;4Y5J!)G4!Uc z-X9%386k>l7W|VKw>%T&*v00Hb4e8JG8r49u9kl?c|BiC^x>6J#tdu#AN6x_W?5$k znY2!JN2cmHwPTEV@7`F8zS>#mFFIsl#u!|Zjwi+@4~ahOntnV# zRVx;ZmpAc;2!_7wESX4nzR|Jpl%jn zlR{P}K+j*{VSQqq zWmhhBeJ}BOdUUw_m4dPB%x%fN~?Ye&juWV`VZNz!H&ixvP+ z#=y}wMyX8UI>^>u@~W~LS#Ja@-H@ZriGp;z!axZ547fI+v$q& ztiX>$bh>oyo<{;|VmenB9z`luh?!fI(BG!4RMS|k%>z}ummm}p%)Tw$UGlNX!zXq1 z!C87Lu9Z5)lD(#YsA%0>qIY+jIdKV*cwr6lMbcpA#4_=E0(|ex#s2A@+A-5l8e9=? z8MKY*#29PjiEKmK3`?-t4qv2}Yn3YX8{e95X`hUk9Z}%0fyl+U&4HzUf^$fuX?-cz zsrI_pa(L4MoQLR@uECWw-ZVu|3ro=bpVQ_(o2&gzQeTXIKsvr1F6m<$o3W&PgMrA_{gUg3lb~^saxSM2Ohubr0h*H z$woG(SyuqahmBShH$Im*W>dK3mSAr-q7Y8_om2_~<^|G)OHq3H4y;V~WSqzjiu{`1b&1(gHj1Zc9hC4e@P6Le zjjsH!>VC;?jBqN>v*EPFK?kPL!kJ-;_WI4eDI}$rr=o`ZX?0t#Jd<$7?2+XU8SFcD zEyr~idL~9{GE_rEI+!@8Hw~Rdfqimc4w+vGlOxMcJ&cL9oy7lSZm!0lCfm-*$KYg7vU`h%l@&A-YJN05QSpSjns%5C#(x`HdMkgbQXgrtYCFTiJ z_(%|@D<#hgcS57ZTF4(m05|nM&z~j7{wZ}EO>nW^l881-=Z(}}s9UvbJ`BDUAD+OQE{eRb!Zx?ch-?6vyM;y0nJ~NKou{+H zEbJ0dXC5SC$4X9qixAjE;@hkx-|+|48(AkCTD7(-Y>i-eh3Tbx+^6QS5s@>oqgMUV znLY9~37i?!n{Row!^#C-jNL|V`r2vpe zP8%kmuDbr3(L}Fvp8DDPS5eyH)u{nr5nbCKU!Js_e=xL4<&j-vmh0~2uT`sK=;S$} zp73Vc62n<-@4Ayp77HO+xbCP$B_v{IF=w#eyW@gWyFhOrL@NRo=3nG4T$oty>XRy4 zFUF@=TNQyalVsaK^hICqBLkgqT3H~B7zJ|G>T?}&#j0=lyx3bU8%=ALAZ!K~PL+LeXQH?6GzQOfgLiw(*Hfewv&p<1_jfBqh+Z!bie_ zm;tV38(80LepjA^%shJ_HLofJ#X?Fb?8s4~H&B^>hSs;^5yeAd+yuv>!R;MwG~Xv% zmE|FqF1K{IBK}r&`U&5Mo^QN}0;qs}mjgDtDMT$;Q6HoSQ7 zFE|bc!l1;if2ki!mFD%e>Zw!spIHWU4yA$x;%*X_9f$W%K0;M2})h;xht#2iv z(<~@3Aw!0(e4_x-&NjVndL3&r&{Ia#dyMk4sHckmx~sLg8A&q{O_iQB~YfwUI#!JK~AQ9us=`k zw!7v^XJBVg2jy|o;^s}5wdk$fv8SGKjwB7bfZ8-U%**{`{HhX1`U4YlxV}tNi`j}a z9-~n6k_;PZ+gnZkFD!~s_ON+q&0$cHRJ7MLw$jpqd#q@!eUC*?Kd%C7ZtxVnu7D-v zOZYi>lBlpKfvT5DYnMs+0WK+RF+#4#^5aZocWA*m zYbGc1k5ifZ1ABUeQ}ZLaJy@8ywIe3*IN@Gsm4ci{z8;xpe)uN@`53$Uw=&pzntb+g zTIS-e=$Xn9gtKt85!tVdFPLq=x8my6o)|`iB_2x&X+O+eTpmEbVCWiit+AU+Z-iX2 z9xr6P!!=uy$V>H5-m(iKtP`KuzF}OJ3~OL-mT6qs!5m%M?i@{dfC`Ly5&;n*GhaI^ zH?yPeToZNi!fYq?NPS8w@DV54!y0=9ZvRBL$&=9oN9SD;TD945rUlqQW|%8#l``yF z;!SdTg#L5SBC2(F5rnVhpwh@>*8c0qSiRU>b7 zT!3DRrVf>MPybVSQVJGwq5r+&UJcDPE)^fSX_W;bexP4hQ(CeATHs@z)RmoqghFMS zP*eF$%000PO5m>XfBnRro~1GxrH`b(AT@Z=(qDdp_y779s7Tpk3WwVRKw@wN=WZox zzX~pS(POTV)zY!~g~m>XR0BW70@R07<^eiG3;6?7ZS4zBPefZtb$z~?B;kg*b7+yV zZfQsD4nh&I8g8pa0iFt-dp%}@zc;d(Ou8>acv)FJGH%)}YPd8NbV&(28YN`HL|2ub zRXQlH8VyjIAL)(p>H4So#OfjrZUhbt_Ei;lsobYDf+-JT8?VR1n>Q&HtL5!?qd-7{ zTDnmiMPnmgg#N*C;t`xZn3)1S+aq^PXcrkW3f5RmsSiB`Pf1o0bO5ZCk!PbD_|2&d zkML{=ySHim!;(u5?@b zegOxTmGF;uJ2QIagr5^U2pJ-pP=F+}jb9SbEG?kgV@bKk7S`6}b;&>*OH8^N!-_f( z88B?v`RAK0&v{|#6aP~WOk;$e)y@OQ&}D29v`#dOHrtg3qwn!nV=Omwa~lJWM}yS& z;HL?`Sr(xOIuyZ=eeN76=s9NyM>t>IbPZ)2P)f3Hi4!xdup}+whjLgg4xme4=3`W* zI)Y}a=RN+*r)!N9(L3vkNo4~|FPiH2CUJe8Op5>hT|T=|$Ad{@0n{G_deM$y*!_uJ ztvFvRwthgLfhCwkTUtQKCl39QcH33g+c5K_BC@!vmmII9IO{&Zh)prC5h( zQ0{{RZa$vRr}BUZq6r zJT;GfP9M>e+G(gg-t2*2>3Ch{#s`Oeu#XksoGc_pgyo4jodAst9nUj8ebj0pvZ=dK zX292JM3Y8k*C%&k)E@!ruQ&DFF(S}ua%YNXQ~DpxO7fINqGj5TAgAzSwryvH_&Bd9 zUx^0kIhKxVwH;%w?TBeY*0Vp}g)d z#P_@iwy@Sz7eMTS{kCN5${C{+Rr#WFe`@SR@-Zsf$m#03Wu{hkXQGk;G3M!+P`8ps zVFHeUEyl~Q2{oj}LKIy``56#yJ#hZn$U_PDToV;M)#`VLJRD3U^FDx;dqpPeDYrsl)>@vmv)K26Wa+5itA0C%_;x4>Fk4l93M!@bWZ zLbBzDO#YRXz4lU9R;RTsJQtby-T2)X2=zI?*;(AnNAJ-Ven<5iNkctlt85ko(V}#^SuM16AraTf z+nKV1AGl0hMG)G3nDXcOvQpO)6^O|g29FeGJW{Ek^PG2g%8ic{C#IJm^)YNbSS-NG zqDK_yGc+n;Fp^*2z8}~}UtP09>`T;+jUFpn%{M+RCD>(WWx8tgQY3wH|7962*2M+J z6hNUWy(1~ug&7%CQ+zx9$6rrV0z8+{d#Ige0012F(GSAheGL(e$eDfX7gnq{j+8lW ztHul}d~Y+wqGq<KeMgyGotke6EL&*fPDEN|#XG^Ljj}-;6oL z0Z?hTIb}QR1ca-&EXaH7hct?Ba3%NeZhW!Yj2OQ~f2mjRp=sAqJld9dDl!r>a+`Rg zIBNR{7z)Ib^SI_Z&OAx4-+`lxEcd55nX=QTzP~FZ+veH+nV#Ch-TbArJli~lY1LM( z057Id7PxV!pPgz_b(iTp@1A`vufTLW3G}@3V1@!Dwi(%$f0=sis$N>{$5=k_MJNI; zY{O3Ra8?Ig0lkZf^3`YieFF?-djy3!@!iwgSWw*BZ08l?=qybP`6Dk2-^luM!Qip< z)FB31$i|PAQ*fcfLtZq(W{vUvBE4>iTr0xBybmSYKFLd+kFu-2p_VaU0^f#lfNYy@ zkLETW3_N9L%R{(XI1wRH+r#-?CkcF@Bb3i>{a! z&5+BaiU#ckQ9e4&BI`x-h}YsM36>{s5Ond%b$o2nUk(S8v@$US8nas~00jHtZXd}r z6In?tScvdgOO~f2E-^=yoZN{PB4)?rTaUBB6wY-5f;3%LR>VSke#$^tG8!>J%EOM0 zaWLO!e(D~dq>z+XM_`ca$}NL!?;@-x{*sIJRJSQrs)Mz_V8lD9Ih;E;_KSJ|KEjZH z7NCFL!07M_Zhs178+a=P%puC(<;u(~T~cV;n0jPbFJr<`E=SVadks?oCOr4(1hkc6 zC-#2GiJ0|pP6l;`OrurBRX^6a%SoEMof6vkv!HN`vBrbHB2P8$w(Sw%g+7SeL=;aD zxJ(bH%Wet2m8`$-?*`8UlcA!Xbr;ib6Vt?u1W5QKbFM3B|GLispEKuW)9EhfF-5R3 za~Kt;H|vG*FBRH?fg$aj6t-))-g>zWy(6`Xv;sfR^-b3^&8&V5-=Mfx)~xB+)6_Qf zA6v3<46Z|;Jo={K{tLgRTQTE;jjsa3zgzQdUtUTk2n)s zK)o}v-oo+EsfslQ!Xg8fT6AyJ z=BS}XZaxiZabUlq{p3ey??3bzq_v+I!E@o2xq4T;Z1HR8exYf>3A~YOPWo>V7mNkp zR;|xh)t1fhHtNDhoisyzl%$N>^&3qu3C?tF7o>^anR}W85Me+G@n~Nska23E;Bh8M zaPSdbl|GI003(okIC>1UjTL?RkXP$lRImiM)^H+6VAWhOeZtD>dU!hKx0+H=nVr(i z^}(wh2l~?XN<6febs2ZZIaSS#SklB|%8-1*QK=skBKwpKi@}56h`Y|fmm%K8P z{2o~U<#s0m8c9{!#7UL&$Ra79P~~oJ*7yYm5-{K*u$Sq;PYTdqW}TUTC*Q*xSM9cO z1>hBW7@zjaG?iEXZOZwSm-D6z+kiAJj97x|3**%hURmD{J8TB^YMHJp4?WJF&U2CW z@k{56kG>2!Go(zXH@OA|U`ik{$a`{Y5#%eDy^YBM#uYPL>(cjw`VCY&((5ud1wx=p zRJm5GqthWj(5P|#mBuIXsk?15EjuuY9taR{1aayqdR4FatmzI`#-{6ADa-VaHpL2Y zk&zINg>)*0Uu68+a*fds(N!|9@74j=&JzfU#=mBo+UL-TcFob|lZ~e4dGJh-Oz`R_ zQl7B^iaqF=dT?j!HYSt8q7PV7v)BbsPWxI`r_{PW3S{Kicz69*Qz&oT6$(XDJCf^^ zKI%`>zu+dxK9K0XgaiDOwb-G^IFzK~(4NGHxeF!(ep&4Z<(FE0n-TM-Ad?d3`Nh}} zCJ)DcM9ZG{BsBeV>)SaqF#k1%ExISLH?qbFSpCCD#abb${!v+mS)auj@Q-nXVfljB z8|%FdLlj?{-Eh2uuJg3GYGZlbijo{^@^7jROF$r&QMGAHpJx8=PhFX$xU&>Bj5rkU4>bBw$b@+rDI$b9R>k z*qMelecG6L&k=zCwPF1VD|UT<5)%>jA?y?w4}Yah<}{=iyC;9`lCRAJpk881rqj5k z*YD77JL>Nl>mMT#D2PlM4OCVRttL^PkwGMJ_C`13(dTWwna8g0s5V)_2@#d-foVFx_x>hb;ggosql_y(BB^=J za}(&CM%6aV+tjxiKKa3ZMC_Ffvt4y1< zDy`?4lio{Ksmr0pZ^=5g)EOPH7nk`S`Kqtl{@w?ZJCfT(o9141Vr4!K3!NzqLP+zp zDxSbI`C!i)(RGD2nLuJ@dRNG(A|L-TY`f<>{v?rmPq43cc%Q{H0yE-ofMo%vs;%dk zzj2zoxaYKm>Tx(QvAQ5M>~qWNz}tj49hwXz(d=h2X{oM4CzyXCM`(nScbai9VfEw* z&bEWK#!~*!>&RStKYJ$0Talb}m&hGmKn1JY;bu)UM2Hzt@#Z3$`zMcv!moVo>k5K( zWjfzN5LaGT#s=@Ti;;e*a&UG^ewyJ?7px$r+$45%9ke|WaqHg#ZgnMUb?i1F#t9A6mk4f zbzAr0zmMs(!Ry?~NN*?A0ym zdR5Ui@x@b$!EB<{^LSZA*W0(q<#=_)O;$`lHYM33W^}6BBP#fiqMZen^D=o#cIOi6 zpbUgFDQlABt{0mq``8|hIiJX~05eHgmy57yU_$OJ zrN-X~e|M(-0ZgNK(Wz*Z#T*`|kysC9kSSntXL`Xkj!g!KX(Xbj zLELrZmOF}^4V8B5^Gbxn9eXO@7~L@85`$^N7TcrEi_j|fYx@`sjBpw)BwI|sqW^@e zQ=>+l;Dq*dBopqAa|NoTT2FiiquR4!jA63G6}BWV06iJ^G3>soHVfF zQwMA$pQD5x*2lG?gL91&$hmlM!CCmDd063YR*o)iSY@&kFOw7E?3?87~sd!{6jdc6~LD zjMHk|28O+aG5aTo-gvQFPc<0V8Ymds<7fU(=MNe=B4kqyjA zU8hIgVoC9-7vNj!T_n#`rOq9q7ty;QSapEDnmXMW?6v5SUrTbSTkKR`GT%qR(&TF{wNXQ5vJsZ1@xZ;o=OZV=waF*MF<+HPlz@{i9ja# z<>!opy^ij%$O{GSqpTec0?$uz&My27ht=9I%eX^LoZM_OAu4S*Q=tEy+Op@e9Bi6) zocwK-YXYDur1{U?66#$JMY%fazGn< z^jI@>S+(@-gRKQGZU84==Swf0tZ1%r>kZa8kG>Zoh{N~n+Od%4j-Pder3*i*`D(## z$XHeiOTEo#78GeA9mkw^tl80c{*fAC040dwC|LCg~{worv{XCOcZxC8PaLTOE4!tne8C~Wq~7ZEof6GTcJ&N zXR_TW`?vRmj8mWkuGNAOcxf9c4@vlW8WWvJ!PSsNbl5W_LkEKoJFY$Pe}#5scJRJGl7m$?Ivk!=U^Rt!X0}LAL})dZ*=fdpo|j1 zRPV3!C`fFSKHUtHdv7?3BLR)}AQdm)4G$4=tSIpFJ1VG{c8Y=&kdV&g=GDeat+nfT{n7g^5OLfka}6bZbZ{QtCc%4?VR_Ng)p!u zcMem*p0fDYY}&%UE4uUF*ZJ$GGTns(Jf)>y%1~u@zr=S}UKAQ`=Kyt&Jp~16KB0&C z+A|y{{YdM3@H~rGIri&(*Si@%m(3l_s!_+cW<*js8U&_!>(JfxQ3I##zNh z!9{CdKtMXAThgJs8v#k_?x6&R5GjcPhmh{>F6r)O2w{k!ySt=8;P8Iu;=4I_&t6yi zw{O;7@%*g~vyT-rqX{x@NpmX;>X_oSn$vHm!~ac&Kk%lV{Z-bU(>ba8s2iCP)XK?f zW(kzD4fw|xgQnH@_S{N`Stz0~>-ejP1}k`nY1|CK#Of~$*~wS#1*#3Z5ZxMPUn&PW9fucZ_CBBfOKSGFqc zQQ12X|IAg9u4sA!8g&NMY&#e3^%-;WRO%#naK8}=D5=zFS4csZCFww(zxD3dQ3WU8 z6o2F_Va1C(h$o%e^^4-`76nNNUNp-pCiNwx zegO)M_J_#!)~EdRG7-l;fWjEB6BtraA{*r6{xT}&?Jx=kHhUIS)1@d6cgBy8R+Okx z$H{va{kFXJ;sL6(5?{L+Q|+bIeq+^B`WpCVI#kNq&e&5B>p8qY7h0oab)b1Nx9c97 zpwhsmJ8!CyfM=D_MlKDd$HRgb}C z_{LTmP?r?nHy7a)@q`t62YFXqHyPL*dvzOqe&LI~HE#ZGs&Pv~Nn3yH zn+eIa>DYpdv+o)OR)`oR!9R4H>HH|j8WU)#4qW2MJq9ikoaxwu+1gbdsH{Z^Q}>epX`cFoLVRH}y0T2c_Ng>(-=E{c!TZfrXsahf_%3`! zUKqPL_^>N>${Kr$Zp7rnZH>;=X~L*;NgiFQ7xm4Pf{r}F5r0hHR!Al`#B99MCLPE% zEqn8)Iu*Iet5S{)KKT0F7VQHN3=E|OIje%T8D}!kDZ+=UCH043`nKNy_(Q!|i^P@)GoL z_`v+d_FY4+d? zQl#eTb+m1><9qtuP?TgGrb72rx9t!Q$bOs|{3xTjPXu~AMVj%g;&BZU#1Ir`E&oBu zc4laBf~XB%@R2AaB$@Zi4U2Or)Fq>MTpSJXfK;1bD47pzU(45|nO{$n)uLT5-hLoW zrg$G;Qs{ne%br*66Dxn=g+yB$TSw0aSQ#~?lJV$0yU#mmUEJ`v^k}e^HV;`8bLgVX zv@diMH~&I|%bHTv@qGMe`uwSG0|5U`(eYAn8lVN{PIPvuOtCh8&ZNAaWF>gQyLIu9 zuKh_!JPzMAdHWuS;p|IMHEk7AJaJ97N|Rj|2yqfj*H{WdzZv6JgZn0PE7TQPqhar{u2Oj4 z39EvM4HaKhbKCi2kMT3oFhAj(R4Zs4hhg;0-@Os#hnAeW)m)G^MZCAfA^eS?g z2!KSdbZIo(hY_Wx?t}!f>kAhBp(jE~P3d^ucG{Mh-0{xm*)(jklvjV!VNp{aDw#NO zE+X)0^R~u>W_C~eZ&^T}8y0R7EBMC$q(_1M3BE4oNuly07+;sW9~F3C8P_ndWiL_` z=+ZN~>MgtC9Gokk@#mq?W+cII&-{3g{RZj&8HB7OA0;?>%=j|GI;XQs5D{3;pxR1| zo2nUGa65_Xs0u=`7x}K%?yT>jwyJmcp8v2%FO^=b+%^%PO-Z3x4c`dqY;5G=)&*E0 zHT=s{o?=v8czqheD7%+0gzETu^m*hk=akP1n>i>oJEypDIrjr3iC*TfH%ZKXiPt=|fiflctfMqoH#XWnAdXSIs=oo{8~_mCjh zivzw775E?W!@V!m$&D(bPEHJRE^NU?iI=e%a27jAp5EV1=MKyPDv8Bf>gFb$AbP@f zwF-Ym;XtOAxJHmIu1fQU9-@GKD%F>tx(Pv=hL|(~34B!TS7v-ErlubUR`U46POcL?{~hsg5LgA6-Fg=CTY0OD{c2c~O1*bw^NTnK7b9v_8rY zNf=XnVBZCI>%3FfQT_#$z3)u)|8SFW{jZy>DXJMEgZ$MdCiK6qF)28LHYE}_H&;{Y z1ws?jtKx3byhdpKPw_P2-Xqi?A#!uSa)St)=Kmoi{ukzJa7HZrPw+R9yhWV)PYJ~1 z(i1izzC#pvi^#?Q%0gkn72^E=E;C*(Zk|^f3IJ?q@A_Vd=;_pSl3GEf@Y)YlQ-^^T zu&}`wXs$Q!2r6s!`Q0!fcL6)E4PUi_BQuo2 zYN$+_c8lc;n@p27jTD0-q$ZaM`C$tYCHZX(ixLh(miM`|q8TBD6|Ll_55w;)rBlGv zK9YRAl*|}}3TW0b>V<>(lIv^&V)#13aY3FmkjXdxh;*3 z&yq}yD&VlGK5i}aGLlMz!`$=b2l;8qttCGNWIJoDf6}*yG#Vwl;g; zn}J`p8@1V1%7(Dko&Rhmd~XQmPxC|17FuvYleu36F2CC+lrm{m6G4|0g>#ogenjc> z(!2yy@hAV9KCNq=o!i=!^cM<%7x9yzIqq&*tU&S9t4^Azjc;LpT_QSjkG2ZWUeKOT zrJ-w?k39cYtiZSThqd4}?}om$rj|rov`?aprZ){m3z2~cTNz4ov$$Yx03Fjp=28>z z@p#<-t}ki<2J_2Vt7y8s-#K=Qz*^19S&b*V2y`77WZ)_Mm-X%L_UJmcF#~b zPEUZFw6{Swc240EM&#{9xVW~AdeE=zi1D${RS2uW!e&%mYT$P04hD_xYRQ*iN6(Wj zM9DdXI+G(i$L(aO>cznQ5i~ElvW?HtH>s>_u;9VKjmxkKiFViqGc&!9;ct6wHW78l zNxyuRgqV1dWEVcQTU5vgC{&ah{hw>Ue6cxIM?`eMoL&?dt=79-LP%1&kRluwRBW*l zZgEL0b;h~T2cB}zeW0;BTS@M5lo0x~xX4OJp9CBar@$H9#?w_Q1HS| z*Tiy*OpZiHg~-Og%$~j7qaYr&!un_mME^eCQ|`=n0Xe_+Q*2JtVarvCJa5obU^^Vj zm=Y<#{6-doPPq%86pa_>hnh-iG8XH66`iAaKd9LE-9$Z^NGiEgz_nl;8LlU}vCmxy z*DuS=)(3a~4!I?+@G(j=`26*-P&qQMGp~dQL){jk?lZYhU^sUWK+=knBggw~FtZ;5 zT7puk?7A%0)_JA;yMVB6z@Bk^iorG_fT?r{{ctLGC*~1zRkKB461{!QhJgXWLLB1A zW*6kJ#3xMPi)&#;>!cB?QGusvXNDbn*(19Eqy)3{*JfI3C3Gvt;SM)uI&|K!sBKR5iw@q_1$dsWXkyaMLOG(o2m?1sDsUdA}Be(ZWXlV?zhS z7#Q<&<40DtB8Ib3UT-=3NKol|5O<%)Fj4FiMd)ba=pJ5S;T$VA?N&;AovK`t77_RGo|JST1KNGepR)riF(yYewY+b z3PHj;FMC|Kdi_j&IEuvk9!n3!FSg0*e*ok=QCL1k29;6#{YtQWzy{7ZfScTcYFmw2 zXCqdz-~9O8GP#4}~F`;aIo)vl3tSO7POcl~Lf%A$9+NSwz2 z$+H6fdb6BIYX1>SW6}t8ZxyWb5;Eq%Nog|9G=0Ul?(*`p6Y_L53Zc&S^_c(H^s;%_ zERl7xmKiaw282swYYS_4kazi=#DfjBAJcBwkrz7{DSWLvdB`V<*-MI{*bm7#X&d*3 z%gjqaID^Fn->p%rZL8GI#ovz~8N*Vl7y8fGMo6ISado*Ru<1y+Do%aw`4fGh`duzd= zmwgQj9;;8qvT^7}={s0I+#DX+78-=^o^mU{F1z;+#;-4}Tso*&;HzGQaTfU95lriaUJ z`c&${XT^O?Rar!fYejDTCH;I#ZHPf`L9>x2ldXCiWVcJrjWT;4d9yfmtJIR0FLrJ( zZx_KRPZA->evS<i4 zt2_yD5z4Xo`}%{|yxEE;KjzSAF-+8poo>QEy|Eo(993zJX_-9`UD{==vWwLkmPjms zjGE@LpOC^yer@A4cjr9gZYXHI`8k?=sqv> zT>it*Y_rX%o*^8(ZNZ}dP|dV(j)ln+C^jf0J(io`aSSg1R-QiO`^pWt+aE|P*ZG7^{efGyfW+5&earcV

sfmg8xGQq%F(YmFX#Wu7u^t@43x zww*fSfp}?a-YtJ#b~z%9wl}E;EL+hb8moL_F|^^fNjYFv=v3-yZ_~)Q)vF`Rnu0pCt7rPKR3S9Xb?31 zp4En>egG__Sz6FIs(?g!trxX(6@6lX{%z{|*@B0Ku=nEh#zy5I>ekIpzasos2>s^E zKy)y8dLiRqW1d@gpI;{)A`s5eS9iapFRG7s#D4ewi)??~UVJw6JiIR09SFkKZtFfZ zc=vmQupQFmuM}dGhW{B)L9{FDjuUGdX z0Wi9KusAd058liQptggi8lq+@f!cP+_N8DWU&`ORyLxjrI7cKReuc6Dv5wrIgyW_W zES<1zec`4^^deDPiiMLZI_aiL*&T5 ztr%WsSg<9u__hom|u4-w;ydLTr$UG%fJT$5__*o!t4d1H_BiSkujzR~qTu>+70BPd+x~Qg+%h zUAilY6gkMdEq#TdYH6I<$rGFmRfBUgb)GDeA1+xXnt-h*zjR<0$yu_cHZ4-HyqQZ2 zL1QPT&eqn$oCaiD-y>)4`PWZ$@ny#d{hWcA2T-{<=1lvm$lr$+lBEikTV~cnisgUM%hK2U?-D8CwJ@k zTcj6OAFNvUye|@b)TI+@b6G<>S!QdT5T-h(rLw3#Mc-OoPP!dqbY4t$Evg)5SVlQ#y8sL_4mjcUb*SB{E!VZl7-R zG!?yLtcnw&BuZ5QDw*{YnHms{X+Yr?LZjxP+M#eERbi(lnHpKEhFY%zLFYYbsF!qG zNVXCGR=siC)QRmg_=OeT|9|u|czK#cF%gRqkhpnylSjxAKXCH$8KZM(e*IxZ!_CWw z&Y??V$VJ0L!}S`}aB}+o8svV3o@ty`FfI$te)^k@z`<{vY;?65i&jVoor) z(a@M-9ZjF2LT0o+E1sk;mr)EOq)csz(LytxvJ?BOd0b?X{!{jl!SU_^i1=F z=eI$?m(|_WhMVUbkDKS&^b~zrA+GR_38W6|Bo-SjX+kX-tg9M9z9!vxxk4yW2?f4j zcLV+mS&6@TrE$)P6hj7hkE}pj4NJGhJ*o_4cB)n?qfo`15=1pVp;6dSpT5ouLYSR) z4A!i7t427iJFBiW{Prcg8wfa>s&LeqXppo0$>zX`%)^N>?VQm@o*ST3)ri&Dhdqxr zR*m5Yw!HH!|KKz=kQxtdH~FhN~H^Y)i2q;zC!Sj+*ZGeFnhfvArmkcp$& zn%{0uj$*RfA!hGT%rQ}xTRZnpe;FP~@ox`E*x|g6ZgviumwH`SQUU=@P}7-1sL*R3 zRfz6YNOAGzu3!*uc;8++kv-tqO*?<s~8FZpEYsoXv}*Kf{WG; zZ#I%=-QEDuEQksKDP~uYXTem%m`IX0y|@s^@}`EK7~m4Dtt@zjT%w%JrHilJ4*s+u zpbb3D7B3_7cyW=R34B~T+kHNZ^@{srV=2F-Fm@E-1IVw`Jlgf|dA-db2_|oXJ0r=1 yZnrHEjl`C7!Yrpp5;zdwXw>-ik^B+IE+T$Dxs?i$67#=i7#BJNgX|YM^#1`Daqjm3 delta 20474 zcmZU)Q*hwT7rz;El1yw&GO=yjwr!i=iET}6+qONiZQI)Sw_Ce=@xSU%RbO?T(^XG( zpC@h!X1@!jHoX9og_DSZ$lk~bj)w=1UdGhU+{J>3gPAF@u7DkgP@|Xb5`?ELY-E7o zP(Xx5-udMyMDXwHy}F9SF-n-RaXxZcOS)s*Z!HwNjWntexAHeAX|9g|0*MlAc_EPw zC7i+NLVU*XScCAl?3@I$7%LstVZ=saeX+8m*dBS`JpQVGfBpS3G8hiKwEFq8ob9Lg z=cOBNl`jIsZ&evUw9s3)HBZP2Oe}9a;p&eLRL)iLzG5d9YfXEowr}H8GA$01K$xRv|VVL*LaNG-|)>=h=Hf#-3Jm4oXd{1r=_q-}}pj@mci`dI;evAwx=sh9LKD zOs8Q_n7J^isP#SaydyOE_&D$;Ee~(~eUsbyf>V}Y#0?g}aX_n1yD}0d@BPt$(bkDT zXZ!U~kjcHJ74tJe0cM;5*LP(?n=(_Ks?>xUMMaD=23@uvXUzHzLP!yTQ*lF^hl}9J z&oiv1SPUM{W=Pf_nT#FVkm{tv<6t|)?g*vl)G^azQ%-qe=cCsebF9}oHs*OPn>j>) z9eW@HE0-Sl&0bavU&|SG?1NpwDnc!d*bf=QVPJ;RnLYFo&QQgjcNg6ms zpw_G})**;NadE^U%(xv)Hz0Rk&u3MOtfs9p*hPD7W)Dq=rBKBIDkG-|Rc#58&*$`O z4sHVwh*6#o^k0tg4Ni>P5vW*OkiMZ^n!#i z?((~S=Dg)%pq+t9^xOa~e#Y43=%DC3;zHu&GYC?g)3#JW&8%^^a`Eqzjujs19BN5w z=jFx>rd^n=Us?@aw(K6i%%*J@)4g?Bbn7(RTKM2}kSjXa*PMn%vDOuly=7YG7+G!P z{dtE(>aD}S>rK*{Gmav}fwtn1fgWqd9#D8^Pmn~$zo>~qC6q|4|KEjTVqj(`O03%^ z2M)D#<#DA^e4lGdTj1A(tmlRu4 zt_;Jgy>v|DE@FtH6oe6uEkP13i>!h&AIM=%%KhghH64eLq!d6FWv()Ts|2_2Ej_+- z1~Mw8z@%gciqZIvOAO*)d=&+I}(p*b4}3Z z<(udLIeP;}vmhR{CNzs(Um^D&y8y|BszI21_H`{YsFG#2_r&I|+R$dSzrJVjO1#`X ziO0%-J6vPmLs1G?v`|0314aFR#}rkS$GrmWVe-iL{7Mr~8DRtclK-ISpZ)8r0Eq@} zh^~ytW6{SeSw{eWz5o#`&ylP|;Hd1R?BF~t8=H}tQE?fX zeClaxPln&I@uLk}#%~G9E7pSL9!I{ltku$ae)ou*y<|?R+b@¬4pu<@8~>BmcU! zEt}|6Cen?3^WB}hD~F@d4|uvqesLrCx{TW|^A~bcV7RPP;DmVYP$qLjYlfC+8KJc&F zX^m@T5e1fRJU9LYu=$8w=#hNIJ>Wyfj1=j1sUU#h^I40RItbj2egZ4F)<-+$^gVeL z8z?`}F3}z-S*MsEO{g_e(XC&Q^xGm(+jPs>(#>uW_iWotzq{x-Kf5Uei&A@fJwYuy zEoq|HTFuDs9GzGzx}$mbeiDDe;8#eR_CVx9_Z7uQkHAC*xZnyr9e08%Dx^@>yhgL4 zrm0UR`P|;O8$P?byn<|c2C~QH>Hz{^XJ$#YW4$6mxBKIAgp=$%pZv|U2|?re7p`@Y z*5#)_aKYO(hV`A0vm|=ojnfc(Bv zf9_x%U-drlsaWIQ3^ltFW|b?eoDk%3f_^xbyE!(-!W*-unw;uuMd8iewxH0K+$9dP z2-Q7eG_^U1OU3n-eoa7)MYnGHK9u__=iMS2c-{(Ev zeXzV}JGg;6&^I&eP4Hu`Uys1 zhpG^OlCIt<2V3KbPh+FS!s&=A5QpvIU6h0w^GwrQfFUcl1`&r}BzlkqqZ5FSBiY?S z!8;B_6M=$Rr;mk?rf_4tgVbavm4BzQ8W)=wKzG^TYbZUm1sf!MEaw~;r_0_kR`QRH zkd2AA94&MeO9FmG6ec!UWwaQoN{LN+5(6d-61nnazlcpU%2?d^C}>xqMPt#Vk2xOjdkKUBYK(@GCC;7`03M2GLpiHV*l4I4Sh6~jl>*tYVeX;u56 z=n#Dx*qQ6F08Fv_4h5S|+s@SAmvWjHZqU|;<-%;zA6Kz~LrWzfA4al}yFMO_Xf@1E zkEq1zJrW0et-gOVo$TD+d#@$U!B>G3S%~^>*qvb!KllxuLlXbam$+?GfGl9+&C#J}iNp!DG0u^d zSiYyZ92+yIcUsl-+WZaxMF%f;D)}EDfU$BU3jRWE5UM={!(?OmKM|ano#Q_Qrv$Q; zCY%Bo&^GVU-C>zY$^3s_R4-at6B?IPTIrgwBdpfzCK9jeD4*(jymbLx>aykE7O{bX7(c_1ZCjF*R1$F7-%C8n zd|xEf#IMLhzQB)ua67CvD%+Ogth-s`jvN}UL1U&^Y8IC`K$w3{ym8`ja7?IRiW+MV zb6kmlcl@+npMKCOCo!Yj9|+LV_ygwj6O)rym($nnKrt|4B@a#7zqko4_!Fewz_C z!NHGfh^zwFxB)hP16hJcahL+*cz1hMr*Kdf0eGO9nIMRIf^wjOc6K1-+|bM499$gm zU<;F*0&XDK&gRbMW@ct4IFiuf^5)vsxM4&)*Et|wL<7=9+?c)ns6>YFj{cn@>&)N> zeFAEKTC?y4_FGcn1;7u$oZP@Q>%XX{^fN&PaGh&eMt6ZZJAM zK0OU;@csGv4y4{nTc;ozaL)i6s*{(3AZ)PMqOhX)#ot&n+j1xnjUuIxvbM2DBaP0GyR zLDxVkCogpbfZa6%>9~e0TCBpO9i#Vm3^0vWP7TkMHi)l%orz(L7sMY!Nj)#83GiS##%rXXeLi5y%T4KH*rJH1uHoc(hl!Pq+1FR z63FO&Fd8oP3g{im9WmJ;^o^5l96+B8LilIugZ)8&X~L>oCFoD4t?t$*!ktskpST`b zP(P52A^s)lpkU6MtjMgk$f<1#X!2$F3mZfTVAa2p2=eC0upNPB+=-E=CrfUd58c`NbI|DvP6 zzS>UKd%ER!3*Qf(A>)>Ddj3tfEl0uUSpy(K;Z?um z#ag$#C<3Hz_3ErP+Ko_0Y9eU#R-|S?>xtHy;B-emE!$??1+Of4UcKwWZLkEVo+pWa z({%=x9v?zfvH3}3$_nl78Dea9>&;1%=|-BszJTvOaF1WGY#X!RCd$sF+W<7Yt#ZZ1Vr;(ZwvWoD=I%o$_J%F1TmN9FGw-#A!7LOLae2Yx+s7D9e)n8 z&)OTR`uPwO%BTgt{vQzKR~$ybL6Hb;R%~r2BI$ey1!omfDMMU+vWSXxqxrr(32-H5TzRFWVzExkK1Uc}51H4Zm3cBZ6Nan)Tmn(E6xn8oynvwFsi2r-gsgl# zRCgg}#GVvc;Rt`$)9^!>4{tx@llei#voZ4S&DXY2_hu_o3bXN$uI>sD|4QA=!B=Rctxu4#g>Er!NVQ zgX=3gjj2HG@$3|oyklV>Y*aIY*vkjEw*GT8PSQIhkIc*B9&&A*b8w@6mS&x_yu%dr(XGf9BKMF6^A#S zg(50CxyAw&!;RBDU_5*fNq%!ykZnpmS|umdt$#R`YY#1bEFf_! zlfk4Lk=)|%_h;IDEg3N}RKiYIw{7wqk43Y5Nm8U_k6Gw&7KQM5eTIX5Uz!}wB7Ji> zxC@_zFI_QYk@d69!m6~fj@t>Zw|Lz@oNqHf1BtA>CK>P|da zdL^E#?f}ZUKMm;>cq5ugfH`EbCmqKD`SN7O%PnCFaSk%mNzMU0S72==dBAU9#p=g~ zcLcJBE5BwP3jX|tb1f^>$$yzqapwY(M~dt|eFtrV>)9;?sGh&ELcMWXDhJ4d4(`Ci zmEx}ua9$r8%#cR#rpeAHrblKqXN9*cSJV18Y5PY{k)PYSNDxuy3eOa5AB zCwynquJx1OI#)U6!VWbof;MW?li6Ny-HngP`UwV>ZD+o^j7?eCNGWg}A9oRvE~Y!+ zDAWTdTSrfe5!NX5zXv@{&UKHHRupAZ8`5jeG!(qLUAwx6TNJoxT{aojK$>*qHsX-A zuz_bqmN%7l@&JR;sbRSd4R8Db8XW8c+Yp=rlM^wJhHjxEt^LE1K34o`i4GGhVNVxF ztcJfG9DP{&;2UUUJ_NLh;nx_Igh`qO;982}oLbl#DLM=zoPlv#$wmljiyt=wv5aWs zY7yNLg#08IKHni)^|dh#DxZr_(%p)T-2hmSZ9qXUjJ>=KeVXI~NqMcB=SE4~t~BnC z3Abm_=|@)R0v6D&KML(X9#uU|pHP;|lMp+R5mbb92lL#_4Q-u3W-r&7XiNTKh`-4W zS6i?x)LN*y>mU=a7+8J&H5j5@Jo3LQTZZ|%-|Vj3^!_-;5Ec4sr9#>~QL}x_Db0cKnD1_kEkaoy9mUW4YMH3eY3i3Lj4-CLNfk@!j2ct_D60J`4m+xyAUUE%_XKwPpZ4IZBsZuvV>W1g`o#S)1lfW z_vdkxqZ5<&Ko{3Fk&=o>o-4OREducw#(V3LLoS~8;67cvIZsw`^97}N#1wIx?ZpFI zz{RS884doT+<1eOd{uY0;2moFpwp+nYV@I;&A3TX#KwCahule|wp$p78s43Z`GKhw zZ{|h!@O;@7=GKg5LB;%gVi2Eru<-Q{5km9}@%2PX)^{ieJ@nc?IobdMXHi>J4vCZDCt6zx((mSJ>-xn}kEn~s8kUazG1A7v?!Eia@&8di@$ z@sWcWqy0LaBqw7Oq$Ng4(+X#Db0G;;rs!Fok`G0t#xFZ#vX*c=BLxPu?8p#f0@jmq z0yG1gA(B6`xgh@GHMk~rfeofy|7l#6cmtGwqdg~HkrGRABJ6b8k! zES{B7ehazC#_v1ryD(=D+U*=1w4`Q{{P%lw(>tqpfqE!vYAbGRkhFJ2vB+%MeQ^>> zsnvLJUkggeujyR9XLIZQ9HIUQnvR^fTvNZ!x{GiTv$@^a0FJTl08M6Q|MSSCf@n0 z6;Ct!oCw^bo^Lv0x)iL!JWrXBS|k;$|lTj9yIF$`sq_X*WMDcL)3v~Nb6 zNgPswjs=YKySb#eq5g-Ic2<3f%>=e(jD6qT+Tcj}f_Jh8qDZ1Vp-V(^zots2;L3)n zIy9CzAq~w@8{qzj*u^l{sEMHD>S|^qr_GX`0FQVCDq9##WC$O*0UQhZ>R)qqQzDe( z3uj;-$IFF>%bYE%vSm$L$ktgWQ>fl-hM5guAa9d^JshlzX12(3frg?Ts=K9a(@9yH zNBpob=l#^Y_eE4#${@=rj-i>8^40cw{O`1#9`vF40$?XS)VU?`hcKmtKBfBYD~>^-8Sb~dy;cAs;N%T=dOVc^}=VRN5L#^M@Ny*X+Z z_{W8}lD_}Xn>C_qX?)(njyvSa?0EPo4{YSv4Wh@y3oZIHUSOD1xIC|Jy(gf;MWM4` z_92-y@xv}C^_p^(Eiu?Qf#Um5ZwnjZ_9nOOXj)_dx_aw$RbU-9Wq@Z~EzhrxHrRMY zax2HZ!?yV_#d}w|Zb}5>a~g2><=Gyo!M4x27R^1|8Pzc!%!SiB?#k>4+*~!ji7q?6G}I zEQ+#a<%V|4-W)RQkvmG;rzp67s6H(%YR^_Vp}BO*;1FJdC}Gao^ixy^hY&Is5Vsh~ zr|*6dtn~ZyP^t-8V?48FB7E7-B=R*8B*kzq-UjRQC*tw?^Fe1ewD!2uI-Rc@Ax)6| z0&JstZ)U(H1@^?CZJly3bYhKLwFGj$xU)e+En9Kc7{rJ*(o0a?{dtR^wgGR&F!r$vpl-#TpVsAOGch+zSMO5@SqV(o-P}=}pM1iN1=YFSprhAl zHJA}J0EI)owD6b|6?M1G$Sh;Pda4YJC}H!;BXGw$ye*dyZ&l08=}kp2j5({qx687Tl<&mvqF6 z5NFhENQiV@bxH$fj)m$Esa*4AMPDCgEOeDnUu{S>**-__ALzOBdH=fhUXWLwAw#gI z1S5D?hcHoxPZO`N5|(af)~`b%=Om97gsuaC$&1r2y$c&zfU^H+kmFYtKDE2@WlNAG z$zRaNZbfsG{LoExk##s@Hr8Z|z@sZ4<#xe}wHe7}HF4JfA*c8Y(9>2rW0v#^qciQ* z6A+CNgVutOqN2^ceWpSPy|qVrW0<`fNeCO(7vGYcrT_k#A1-4X5q=F@NNJKE5fZ%B zyH^CGd=KF}0ea{a6q4q@w(h9Z_$B+uiS!dwg#)p2X>SZuOAnK}BqM=s1j$*rR{7#J zehbEv{hX4FnduYk>P(hMs0aR^DxTe#gHx;vo7trqzCmhd=IwaiZwjU|W+uRp{kKTm zP8LTaWAI##G&=o|N$05LSn8-&Uim5=L*dWDIXggg|lq$H~9JTgE(0Ms*j1ql6}dv9I9@EAIkX zR;)}9a%vkI-jF@`&`GkKnKH+lvX)IUfjEr{Kny8g!F`j7M<%6uoo$}iHQy#sb_2z( zXmr%jLKms{XXgufcFGe6NAZ*l{}9e2le=WYt-kBFbbEdUU(?Hv4K(Mz-Ug|NY^All zCOQikH|HveRuqGng6rA_Wz{H(OvTw8Ag_|^0E|At18H?R< zKpKs_s)k>2wJvK}sM-GK1+P(Fkz9R&@dT>!+2PZ#Rw#S4O#0<3VdxclBka}M%voX) zh6fz4QJkkU{iaNjD_q7(L%U`I2LGZi$Ko2-3(~GR1)`BzOlML$4-R)9J!?Z@m;+S& zVMXR+Qlp%rU1zE0?cz?OcHLFD*Xp7|fO?-|zgZ~o+d_CRIsV?5OqJKa{1`o&bDezH zt4aRMn}i%RqS!Q)7=2y0yso3BvzuXsQV7N2RV|DoS+Y^17zkp=B1L7tARiw>(lADv`=R~J*b+Rs`2p){%QPHcb~$S+MH zA)p)DcOHvf&5Q-xM$Ry=j+al>;TYsyIx85ILN*~-UH-|sUW3M(s1LAOH(4}C&aHPw z^Le2CH*P|bBJU=;YCmz_-M=cd2}a@MzzVx1mSedAL2u)21iAVHZ4e%dn1 z1~!Fe2rGYV;^Ff)B@nL?*!#5u_;nbJ8T?25RDQT0ZPk)^{8db^bi;y`LLwaZW&PvC zB&;!&BRv5>V`7L3Iogisx-I#ep ze}Q-KXBQ-C=Eq%Q3A5Eoxr$kV2;3wk73uGkecGym?M5eIdU9(p4rf_^HCzVaNYW=DoWo6f0MAo8O9k< z>Agcaaw(sh741kI_2MK^Rm%nc{gtHCuZRr=X?brz*NcjmOUj*%b6ur>>Px)KM-b@z zP+=W}ZYx<5EI-BvhTA3@DCQs7eeU$iUd6wPxU*GrAUYmz3P5C!*vUD?Ds|PpG^r;7 z-vhk&g;su1J{C|=^DWeLCIrz8iMTyyKK^DmFTxhIpCk6oF78LkyT<3FnSr2>z7vy0&qxxEUc&j3J46QmsKvQ$HNs4 z$GDmh;C6O*5f|gxnQt;Vhwl8U!G&@NmvHoOehqUfnTqG}!{1$OggO1*(4IlecQvAzF}AMTHX#3LI0#Sc^3D_(|w8ugTDvl?Er?*%#Nr`e`5vBYc#< zy9KSMg#8&XwC;`G>K;!q@LaJkG%Uc14is*J;r@`@A8ma-WDZUp>jXS{ff ze-j4oFe0utjHR@Q9qctdc(^2C@n6!g+EftHU}*YJon2L2iOxI)Ce50%D3Yj0pP%R& zvv|X!M5WO{Q&j>~edB@woEVIELzzm1wqaugQtklr%ODKRXYE4a9ChmD<^s*wtMlIc zD4nxei|AcxS{XHd5u{c!zhEMxQLHl`wEwv!P10dJ9%dvFq1#`3($;uL*kh5554>&~ z)9>Zqd`7z?2Bzfipz-CqJjQOHV2`=@5c6DyF&O6IzcVyk-(SH`z1UzkSW~T@4(uqb zn>GP=CyP2O>?&dH7wE{jh#*xF&%E%FX{E0&6I32BteKCcQ=)JdU!^e_KtV3qT z_syWTHR0`99Tn}ZIL5x&Ar;m1x|pavzZAeu^(9uDC*P!C`DPSgFPoDtH*Hn8S zpN2YwcZX8U7y@IL06K3&v&fVo(fTA6u6fz#=5OIOr!``wTd)hl@B&K(OlSqb7~7Sttgns zCH?RxGN|@NQHoHcDY3gK-*u6mw`S8r^e6mWwa-zrm(QWeWQg)(MhQ~%14De{Mf6`Z z$9ZN*W-wiiK57EnB(7GLN4tABqxRFGxRWcEDSBJg9bd7U8W4us7JtiqbatSs$$V7S zvUvMsZO`Byai2STbG1e?yziChg?qmxejUr&0Itxm!YMXT-Y-%eU!-(sWpDu&FUI~_ zxSG-lJHGP7ZrLQO_lomhL6bFqYgl=fKd(F08pB&1O7P4ZPo0T1@*mN(TsuprH0n69 z8PAl3OMjM@{~m&qUcS(_C+I?V?G%&Bul%)7#LpG!ga=`KmGmXlj*tKyX@1?LC)<7h z`@7T0;EH9(Cp3qI2RcJ7pba5nJiiI<`aeL=vr$N{jEVE95^Vi=S z<`M~si@|P(5p59Lv%ULBVCpj} z)sGC5koWO>xeSMLuB`wSvMz3n>rScC^&?H~h-Uk%dXRfAl|6*7XOM(9L! z8g@ORfar=(L*GQqt8ZTzRamZ$I>^L}O_I3xR- zO)|#JbrL9Le5Z!g4c6T%nL7`RN(vIUyv{A@gt6X2jyR=fpbmu&r1qk=X-oaeshD5t zF8s9%Z{bo*YYvBGhnC?(MW;&iM$>-`#RdiUA4p}*3NKW zC~V$EFa=mzx;E{8EzV%ZYAUCpJStaqF$|dre<9Kx(P9}rf+R1RhD3bD$p4$LW7EQ_ zzGk@Nkyg~&hF{siF8`widq7_d+gD|6PZ=wKRc+`maxze%>g%y?tFRr18%q%$54b+& zWvV*c;fv@T?QmOT{x>b;l{}h}=&6FiHXd28F`+`Z#CF8`KC{Ob{ zB7uqpDnjTE!4Yb0hsfmR4f45Q5NOM;^mk9-y}NaT<+U{+&?pn| z6yuWl;~=XndsL+)XUnN6u9p_`s(><_G@9*vbIHd{R>HJXfvQV@7~vAK{ftQQJMk(S zkq;0zm@}DOI9H;b8FSl3?`kWT@jeYv)eb554|0KX)zT$9oJheM*<)XE{Bb)L^{IZG zN5(zo3G%KPiSZ`6c%GRVl=o{MDLLJ98RE{>4bO0VD#9GYkxSe#{V;cPZ5UaFbpX7e^>v zsV|dDI^yc^>{z;&Ci+@e1q4)mD5xs4Eja)?bg~amF?~aGB`>#Uty?K!b57WJxfGb9 zDDIdakUTOW=I1RmalT1gU3<0qcO=4Y>(#YC7XN(0Gd!R6(0BO@_f}FkYzamfFSuBk z(uaetZXbJXs)+V}D|xK&z~5)kPm6=E?+O;S1lmu8l1&OearESIi4)MT_7A+)w9i|enINIj=AuK(w|VUdvHyH_b|Syf zHFX+){L4dKuhG2BSxN|bJP}90jyFu!T@rFpU2&RY)ML1+%*!L!R+bHd#}O-G{xtR~ zTaoR@%j|8X7ka;f2$zWbYap=<$_2~OIJ-&ehm`D|J%u1X4fuE&l_Vl}CokY9TCJ{G zxtZfb+w@W19s6S_=Jbf{MkfdXf^nhOFMA)|m1`R2M1MO-m6l1u$eeJ)SU|@3Tl5&D z@7tq2z6gm!l=N)tL(Y17ZTI4X@6B4aoGEv%XC(yWaB<(OifH?9m!d@FdhLUlS3>JY+y~X7JRg$$~0~ z2dgJiIzQfTQ;Vz~ViR@FNk-k0RY`k^JV=0{pR@e+vWy|O;Fg(j(Of>D#xag(9yPh1 zW~O}PpIPHP>*qs)6sYAMY@#mo5$M@k$pt+ z2|NDPRPMtoJ2gk#-?mSupP-4qeyo-ooq^Ic1tbR?_A@@BtX&_Z+HK++pr8cU2ij zFxdZ*$`Wv#k(@!7p^p1;wWN<{#xC>^w8p~|;lNI3$%qGj^4xQn?T>yA(qudQcdKZ4 z<2&f~@2p2S;heS07gpLe16An`gD3TID7`{coDn3x0~Igmc(_*FY5vTsiXm5G75;j1 zE}f6jQeydsc;F!Qi}Q7B*y%Ks!msNO@HvL+s*i#3vz!It_gz!`aNzFNAh8B{OX-&@ zwaY;>)5nu&1iaHmSn5uRCgb)%sQa#$B5M2Muh2CX`;)Q;IZIS!|8kc@XfO+fLmQXl zP|ik|XyhKm`*DPykF0~;9ZRXb1z+tRm~BH&`Tw<205G8rO*i;=jv&Rs&xbD_>0Uh` z|0U%rbFr(BS!qjt;3-a;9Azh7F9%n3{9sxsxK9w@shJ~3A(cJ(C!*Rt3ZgdoF2xXB zJ*<#9FH$`Z?yADSj)H~mSQW6DMD5sdUd*%135@&qLoTr;5301^9;Q89$D595St=Gg zk`t=80)W$=e};~as(en>ocmPE6#vzdjKo&e0tb;|szKgk!CZe1uMybN$Ot$xhC4{) z<`6cP>*}Alu&z}f?AP<Peh{;4Ag0^})cWEWT+_av zgw8B#M+A=NSFhgDuD3w5Dkhj|v(899@?*&Vj4esEBE9~|hzV*g&sb?J!Jux}X4;y&!MGB{6iku0X0|qtnH5>J3=|K)UV7K?}B>h!p>DLI|m)G zMiw7W!l=;3$#$(Z+RuSYNx2{~@!}3bBmo%f`E*?uP>KpFld-)FM?Ik*O^LYs6kp@C zV1gznvmcxylc0=iW{Beikvb&a+%Bhxc2wC6U3s0t@Qm=(C$PECkCfe4IU_L6C&IKW zW6khF@D520M0iw`Y&ZNii*{+SNxap1#vEO&Iy2m=ufA?_Io zUI_2QAL)p$;zg5H-8zWEe3d0IQ?cc%|AS2m-t@?TJ-Pt6N1P=SVL ziOOs`+C_uEo`58eVymSq!UJnZaCG%UZ9sl|8s_N znTib9Nbb@Q2O00J!8e_(>j9a1IUka)XWc+tAF!dxSDLb26N_QAC~DY}w8*fA49{Po zWNWTJ%=WztSJ7g`8Aehq^DUNMWpZsQogHUWWk~&GUs?x6?rDrfQ73LH@%`vIi}Y*@ zOZM`|&YuoF=~C-aQwDgU_M%2l!Gt6I4awYn|9Yu)h0~L>cOInjT>^!~CVt?Xs~S5H z^eYNU4&WS*vp2t=KjmJjVPh13&1$p ze~wH~k2H=~z=0BC&$eH4rJ7?CSi`mi74TTCu;|-s4T_1hZb)0`{nOKl>Zh;|ao>6h zV0>w0@yh_mUdIDj>f5D)v;XHot8v3*W3wJAmx(?|g7EpGI0?|PG3}Nw&9r;+%6SwU z$>vpzbMbG=v+rcD`+blyV77aGv6(q2^Fa-}=d9Q+&PKv3`MqGWG$^S20ULG1XUjv> z`yD&*;nKPt=P!@{L7ro*U;2AlgSov`bYqKTc8RXZ^2E>E7dC zV}k}_F!dxo;HN;!&m*k3rISt61$cHyZ@5J2_|9!mrl(j~&vN_TXG+M^vWc?ab{a@j z!#ITYtJLfX`MUV~ZLk}hRtu3UV@By@N{_ODJxlVveN+%^&q4-@ z$7YX=PZ{Wh%YRSNjc79Fg>sKt3^uoM96BrEI*;JFcN7D291O5tMXcHqC8>lKdF-kl zlHBBKVj{#zmsGq=9bvNJmD8;S_K96?ZM)`Yod_?yo~j`Rb?NAp=k0H_eS*QrlrCrw zl=6tWcc{K`9=YRvu6x}o2dVE1*v?o1+RA@!OonL-y6-rjX$EFO!()frxz<0g7mnbq zk7axaWqg1Qpz|u`-vp9s5KPN&%ZDy?ubGebvKq?Ori4>}3Q7s4VrS8w)LKm!343Sx z!RNoQeXYvyOn_VxvQj*p?VH7P!Uc>=uc{CGteZ7Od7trmR_X?ZPK%d}Ch2^&R;wXR zc@%w0OtY!eWCRT7l~pGZ$wY~;v24LXR)3&*(GjpHn4z5;Pb#)*!rRUlF*G2fr*34p z)9@!PredP)lV$4t<1cuEh^kafp@#FaRStdWlGy4AG1 z#BfBXkL}9Gm)9f55&3WarU2z9dQOlIp8xiSsJ2m3ztff1AWw~lWFe>J}N0O7zP(W}dvq7vv9E23VhyTBj zXENUPnr!EU{W7!IQgpQ#s0?VD0hsIfj@7qI$K}eqOo7z-20J>sYRPz_I7peMXoRR@EmfO!Tc5C9A9X^y#aK5}e5c zGwg~Ug}vY76#m4#)^IkBq3l<%B)W)~S|~qf%{cYdi8W2VC{qQM$2)!#-9maf2ziFg zt!gn897Ho`q-+k{I_D6`eZi1IP95NnK*(OOuwVklbpbnE8?co`0J+pPOXK7rHQG{% ztiR>U-SFXfAcuF~i%2t2JQB1`pJ(6dQSz>l+*twzxQ9gpJcz(>H%sYtSB@$=r zBmfC1?D07bg^&{JxL48A2y0*3PsN4QQ@uNFWGO|7&!7B($1xE{cEm27P8DySa^nS_ zr4mpa^q;BS=*cFAV0Ouol0^i%fIUIr3!~=ns0JBh|8*NK@~SXllao%m8~-D#Zz#dleKhq1a0#{JKV zR1sVAz6skiM@#q!QlrfJ#%MxFVZx-(ryKZB$b9u{JU;X9v|mIN2z&v_7*Kj-xP^K|$&2-LuIs+)`up7~3FL1%H4N zOEFg(2M|pPaK!py#(@Z<1YST1ZIlE{d}9QA_7jZ72%ZMwsSXbQWrm3Y?`uE+gTVa% z3WX1P@Hnc4&KWAU5@w-bXy_mj#v=k$izAhqgzfgAsOfZMlwNQ*eug}#Y^9!vmKY{w+nM*t5@0Y3s8E9Z#7#@Zqg zP%#QxVq?ppfy34oco7WPU|_zHV9=6ti85f2OR$e%Xi5b-1Wp?)E1?Gcfj|Q_pcMGR z8Vtc5U=S>S!n*DkW_GRs(m(_f7 zTr}hahB`bV^iA=#A*UmF1c2z9KNkgJxGYA1ZPpZjv!(`T&anH4zAozdvYHgN_irzH zR-Bjl{`@OB!6B5EV-4gAt;fK|=?FAd`KrelM^>4O#KNAovxLJ!HEd{WK-mDkg14`=b6NEq624MS$*3_Q=lsOUu2 zjjeZZHx^EAL@_CwV$A-1SS-L@?caeiAcZ?K7MLu?R)WuJGggod+?YAB5z6!Yb9tFJ z<$T6}C=O`>0l0!tdaNP-lrm$6kpTX~l$*99STae1+*F3-qGJ1#veK9`f?^`re$RCS`VI6~Q+_U~Ywg$#9Km>9!< z@c+aT&{=E8;BO}y*6f@9OK!)oLvyYzHP1k2TEb3iEMlqset`L81uh2z#?qpL5Citd ze+Q~`ER9s~TruzpqF|!~+Zm`C35gYwJcH6gj?Y>s42BFP4i;L+XNIlYLI0JO?<<3b zP=-;`QcE1mPt{}!S;$~&F7t3fCOJHR)>iv_1s!~Lc32Cgf%u0O+CtyV2&4#n%4XJE zOs;AU$q5u0jze0|?BbX%%TS(aZw1!YBS~Qbz8*oh7KKf6t5++RjDd)y_I?v2Qnp46 zr3Q2GSa;UX-M2BEuk{3@f&|PY5RquxX@~7Hk0aD$DO78+)O^vzCd@Bz?Mu&pcAxW5 z2F?S!v4nK&8CD&p1HUQDvd?(Rdt^W1IxXQP2U!aC4cwxC1g?De76E18 zH!VHaf!{UDtN*}u%6ZCs;JH(RFWMM_!Lef?q-<{~qXz_ABo;`^)bG$`@EIfV zCCfSOGn-G)+VdsFx(*q^3g-P7duCk3kvYfoYN3fh=d}XWAU}ZvtR?Bvvtuk8Cy=h4 zXzRwJ<12|8g2Zz4E2*%5O(>1gv4&rkV*`Ub+cnOETp!1MeXKgYa!|Mw^&g}0JKBSKf?r&Ko)JCB7mthb@(OOH8BrV(pWPLI9PWN?@@YAFFuR-< zgpKHNQ(V8pUlvC6L+qp#+#Fox6@GcRL-*+mTF{FrozsfebV--9@@Sti`k8*&3&@U2 zP{wWNW6!sy{P^RWk1yY+Q+{zaE&o^++hz?DzAOEYB^p29n=F~NvE5nQbk@vvXMLCR zcHYeFnD+sFNRQ}$Bl;_SLZ8xS^f`S=kLg?bj^;E!FN>x*gem7W7t zUK_oj7v*Q*ZN9ANCB33oe=e?y87=82I;GciMrY-$08ZynF6aV3m`#g|Ce$jg0_m>H zue71fRaF$U`7#IkztFGrPx@C;&AaSpw_*R`tHT!`UncB-Z(|*DRPZ&E;SVInCai1K zVV!q;jb+<>Z3pKMJnM&%_s78ee_HNe0Q;|j|2JTPw=Mhc=zIFHV~;a>R^^jVMdRs= z^*|_?YCfIMpuE1$d$x+^nyxH%Syb2g?EGw6)61&Jo1*F)aaz=M$C53C9X4GQRXIPW zi|Mka;OsSje!zyxyeVKP-*|PC_(1U)21QS(r+IzV^M_?SY!aBkM}}UKvDCUztywkt$iXAz8Vb(S3Li8j0d!<1l;S z;IZm9mV5N!r$|{2OPREhb>~bogsJWHWHfbn(@ z#T1%frE~XU7koZJ8MOp~ABV(#IZ?>va#Xh7I=Ih$w{lU+y*ObymS(OH6V@M}B>b}J!`iP>VL|mPV&s|mg%aM7+I4ib?!i9!TPr@iP_&CaEcL`OSnU&k zLlGx?7TRnR+ittIT7?L~)*B1B%hsC;B9vLL??ixmEt5N)>=sUk5uN-djzS2g{k$&x z?|<8O{+&$VkL>tgV~@(JZZH-JZrPva@rH9)PTrU2%~kEs`S`Xg|M3TPyyVUN?F{_? zyuhC^H>aOnV0Z1=`*_^|Zvq#{P2h@uo51C_hr4N$+k=_$K1|%ju5oIe;8ZukDQ=H* z=QgVkSoQ(CjvolI25ej(u*rsiONK}J6Kb4KWYaiw^I z5pP;L?GTXu9`d>?c^}XqaBNB%-n5*tA)pPL3Owsk<6(~_?giF|GhCd{lkyyYR+V@n zAmk1bmT?l);l4Ipx%ckV@6ivQ8Fa{a(o4nrIPmIlO+0h4YYZ+{N=?)e&YAT3yjV6< zScmG!C7%EDc#umlY`6&;UE8ySWre8KF*R5hLoLopb+b@tELM%B>omp_jN!g2KI56i zwO#Q{V}eDeSa?^x%v$w&m-+~Q^f{go*#uLnRuA8yN4P{!#N5@xR(gcprAMcFq{+2#Xy>Y0?~)uLDFfw1GEE8AtBv~`GSo(j@grW z>UuI5MzEd?=DUL1%3!)8+m03>q-_Ua+h@R#?BfD{WEU5pS6x(m41B4GDml}N2g}#8 zaQ3GII)RHQK7pW;kGZ9_%vc>sEc; zx^G-aU7$%Y7Oy;BMZC&*Rl9<^4=gAbOy3fYhaKq3Z!Zv)gaXasR5}ONG(Y1K$?Lx8%P~U-EbCIFq{h8 z{0yggipNS{EQ;9;gNc6ySM56VKbL~5beFIg0Tf&^ATS_rVrmLJJPI#Vd2nSQFIZA# zW(qG!Ze(S6AX_jXGBGn<3NKS>dSxIoF*6D;S0Gz4ATuB_T?#K!Z*O!UGBGe9Fd$M2 zFG+4@Zy+);F(5D?QVK6gL?Bz2Fem~dmoF#+Edw<)Fq5&PDSsW)xlfc~5XbSEbzy;r z1r_mHt_9Q;6a*AS6qLjJKm|nc0IjY42aJi89i!30#KKM!W1)?Sm4%gwm8Eue78WKZ z>-+sRpUiW<@4PdwndPfFv)BL|p~cKzbbAQF3L_xC#EgJM>(5FGyg}c3ZtSvNVP~@PcLM_$c_V$rhX~$4I(nCRMgGLJ4 zC#Y)BL!lljL00p3^E%t^_I+7VhkMIwMV;;|!-~4xAAVF+c7Lxvjc)gE`st#_{r8%= z|C!79Tg>?P$+G|NUPit(qoBIQAkYUvH^n&UM;@fyF#%LHsBciqm;#C%GcfD9#