From f494a2cf618b9fcab765edeb947800f5dc7eaeba Mon Sep 17 00:00:00 2001 From: Marius Drechsler Date: Fri, 2 Aug 2024 19:11:12 +0200 Subject: [PATCH] Accorded to all issues --- content/SMHD.typ | 37 +++++++++--------- .../s-metric/2_2_reconstruction.typ | 17 +++++++- main.pdf | Bin 852951 -> 853265 bytes pseudocode/offsets.typ | 4 +- 4 files changed, 35 insertions(+), 23 deletions(-) diff --git a/content/SMHD.typ b/content/SMHD.typ index efe2639..f21bf4b 100644 --- a/content/SMHD.typ +++ b/content/SMHD.typ @@ -188,9 +188,8 @@ We already demonstrated the basic principle of the reconstruction phase in secti We will call our repeated measurement of $tilde(x)$ that is subject to a certain error $tilde(x^*)$. To perform reconstruction with $tilde(x^*)$, we will first need to find all $S$ quantizers for which we generated the helper data in the previous step. -We have to distinguish the two cases, that $S$ is either even or odd. - -If $S$ is even, we need to move our quantizer $S/2$ times some distance to the right and $S/2$ times some distance to the left. +We have to distinguish the two cases, that $S$ is either even or odd:\ +If $S$ is even, we need to define $S$ quantizers offset by some distance $phi$. We can define the ideal position for the quantizer bounds based on its corresponding metric as centered around the center of the related metric. We can find these new bounds graphically as depicted in @fig:smhd_find_bound_graph. We first determine the x-values of the centers of a metric (here M1, as shown with the arrows). We can then place the quantizer steps with step size $Delta$ (@eq:delta) evenly spaced around these points. @@ -240,11 +239,24 @@ $Phi$ is the constant that we will multiply with a certain metric index $i$ to o //This is also shown in @fig:smhd_2_2_reconstruction, as our quantizer curve is moved $1/16$ to the left and the right. In @fig:smhd_2_2_reconstruction, the two metric indices $i = plus.minus 1$ will be multiplied with $Phi$, yielding two quantizers, one moved $1/16$ to the left and one moved $1/16$ to the right. -If a odd number of metrics is given, the offset can still be calculated using @eq:offset. Additionally, we will keep the original quantizer used during enrollment (@fig:smhd_3_2_reconstruction). +If a odd number of metrics is given, the offset can still be calculated using @eq:offset. Additionally, we will keep the original quantizer used during enrollment as the quantizer for metric $(s-1)/2$ (@fig:smhd_3_2_reconstruction). -Comparing @fig:smhd_2_2_reconstruction, @fig:smhd_3_2_reconstruction and their respective values of @eq:offset, we can observe, that the offset $Phi$ gets smaller the more metrics we use. +To find all metric offsets for values of $S > 3$, we can use @alg:find_offsets. +For application, we calculate $phi$ based on $S$ and $M$ using @eq:offset. The resulting list of offsets is correctly ordered and can be mapped to the corresponding metrics in ascending order.// as we will show in @fig:4_2_offsets and @fig:6_2_offsets. + +#figure( + kind: "algorithm", + supplement: [Algorithm], + include("../pseudocode/offsets.typ") +) + +==== Offset properties +#inline-note[Diese section ist hier etwas fehl am Platz, ich weiß nur nicht genau wohin damit. Außerdem ist sie ein bisschen durcheinander geschrieben] +Lets look deeper into the properties of the offset value $phi$.\ +Comparing @fig:smhd_2_2_reconstruction, @fig:smhd_3_2_reconstruction and their respective values of @eq:offset, we can observe, that the offset $Phi$ gets smaller the more metrics we use. + #figure( table( columns: (11), @@ -256,19 +268,6 @@ Comparing @fig:smhd_2_2_reconstruction, @fig:smhd_3_2_reconstruction and their r ), caption: [Offset values for 2-bit configurations] ) - -To find all offsets for values of $S > 3$, we can use @alg:find_offsets. -For application, we calculate $phi$ based on the metric using @eq:offset. The resulting list of offsets is correctly ordered and can be mapped to the corresponding metrics in ascending order as we will show in @fig:4_2_offsets and @fig:6_2_offsets. - -#figure( - kind: "algorithm", - supplement: [Algorithm], - include("../pseudocode/offsets.typ") -) - -==== Offset properties - -Lets look deeper into the properties of the offset value $phi$. As previously stated, we will need to move the enrollment quantizer $s/2$ times to the left and $s/2$ times to the right. For example, setting parameter $s$ to $4$ means we will need to move the enrollment quantizer $lr(s/2 mid(|))_(s=4) = 2$ times to the left and right. As we can see in @fig:4_2_offsets, $phi$ for the indices $i = plus.minus 2$ are identical to the offsets of a 2-bit 2-metric configuration. @@ -342,7 +341,7 @@ $ == Improvements -The here proposed S-Metric Helper Data Method can be improved by using gray coded labels for the quantized symbols instead of naive ones @smhd. +The by @smhd proposed S-Metric Helper Data Method can be improved by using gray coded labels for the quantized symbols instead of naive ones. #align(center)[ #scale(x: 80%, y: 80%)[ #figure( diff --git a/graphics/quantizers/s-metric/2_2_reconstruction.typ b/graphics/quantizers/s-metric/2_2_reconstruction.typ index fb9940d..2ff3007 100644 --- a/graphics/quantizers/s-metric/2_2_reconstruction.typ +++ b/graphics/quantizers/s-metric/2_2_reconstruction.typ @@ -1,10 +1,10 @@ -#import "@preview/cetz:0.2.2": canvas, plot +#import "@preview/cetz:0.2.2": canvas, plot, draw, decorations, vector #let line_style = (stroke: (paint: red, thickness: 2pt)) #let line_style2 = (stroke: (paint: blue, thickness: 2pt)) #let dashed = (stroke: (dash: "dashed")) #canvas({ - plot.plot(size: (8,6), + plot.plot(size: (8,6), name: "plot", legend: "legend.south", legend-style: (orientation: ltr, item: (spacing: 0.5)), x-tick-step: 1/4, @@ -22,5 +22,18 @@ plot.add(((0, 1), (1/16, 1), (1/16, 1/4), (5/16, 1/4), (9/16, 2/4), (13/16, 3/4), (13/16, 1), (1, 1)),line: "vh", style: line_style2, label: [Metric 2]) plot.add-hline(1/4, 2/4, 3/4, 1, style: dashed) plot.add-vline(1/4, 2/4, 3/4, 1, style: dashed) + + plot.add-anchor("2phi1", (0.25, 0.25)) + plot.add-anchor("2phi2", (5/16, 1/4)) + + plot.add-anchor("1phi1", (0.25, 0.5)) + plot.add-anchor("1phi2", (3/16, 2/4)) }) + + decorations.brace("plot.2phi2", "plot.2phi1", name: "plusphi") + draw.content((v => vector.add(v, (+0.1, -0.2)), "plusphi.south"), [$plus phi$]) + + decorations.brace("plot.1phi2", "plot.1phi1", name: "minusphi") + draw.content((v => vector.add(v, (-0.1, +0.3)), "minusphi.north"), [$minus phi$]) + }) diff --git a/main.pdf b/main.pdf index 7a28dff432274a052422de8f87273d8c3d43979d..2127718017e20ce32858411d461b50db054879d8 100644 GIT binary patch delta 63163 zcmccKZZfgUWW&8VYyqC(5pG_SpUhbZWp3`CTgoC}W~g9jW~g9lVxVVgWNvJ-`QO4A zMyQI(35%aInOQFPpUBL_WN9$nAc|RjbJnu=%$$yfb_zBI1}<)!LsnHVG8>y&PQTd7 zrCMLhT_JpY>xVP%vbIK@-lTJKTJOZASEDAi>YUb(tc$*J%&aa^=JAa-i)|Zu)%N5* z5}59-xs-)Nk&|;_%QBOtEvJ2pSruFMOkS2bYgy)`XV0GH2TSoB%#50~EHi)Br-=XQ zWvccSOZwmc|9Aas*J8_CbLY;re166<{oG7b4&|1T7xk+<+~$7H`;e;36{u)YEVrQe zW7oQ?+VA^Mx^P@q6xp5sac#3%vFhj07M}f$uO(|&Pha!n?BCrCrfLdDV&g8EZjh>b zAvlY3zu@+ipTG8{GNzgT*`^p$pOBd!-f#PG;cbCe^@8i3>$M8+yL{8;&p)QRFC1UKzEE%~T)O)Dw{>!B{_(b7=8`_cf?m)S+sMD&P ztLBLzC%ruPxBt>$4h!^fRsLzw`(vY8$vY*RTW)pc-_E{tbWD+!4&Gg_lHvdMP<)Bf zAEupd>w`ik+*8o4S$%@D!Gu9VJi3viHt@{d0^)w(;~h_ z^F_?tcq~%)n&q{s*S*)wUOT<^y;jeA?eR7FsQVlD<^OH|dOqx=SZeW2rfoveGuIvp z%buMcoxJ<>w)>zc<(ay6~;?-gE!@e}A5@k4ZVM*WY_m#>TT@mtVZU^!_6IrTZ7?Uz$F1Jp=!{l(^J;L9Gq!`77;M<)%dM5|vX?&ThJzwsxCY zTV=uKudA;KUz3mgf4RQu)UTOei={Wc%(aW&ccxkE!NIKC3*P44KD^C6=fB!#22QO9 zjbYCm=S ze{()KsD6N%t0F;o?xN^t2b+!ft%Ch5_$>M?{Ve8{?s@TJ;$zd}=hr=Q+*g05IWB$w zndbJn{e7PwggrQz5tV-H)Ru!KT64Y4<+B*&ZZxpJD7p1g=fS~Om-*+^@l|}-cZS*I zP>)K_l2bMsGBd4%?28_IJU=0;{QLa2dA7CRf@iY#pR{pkVNXs!UT5&_(v9L||6W=7 z>Y6t!~xS%KGy6VtmiP{)^w;{uh6_d$HWD-tO187qb`JOaFcO;`L&C$-ft0a4$aJ zZ)g1L%Zrm2)!p99-?goJ|Ki+5*~Pcrw)fQ~o8+4qyplgFcUJ1G%vlLv`LBIdZt1vehmc5W*ESA0=E?%#(??eps_K0RE?U;p)CAOH5+9j^}G+C2T- zzKU=6jOWj_EPnQ7X8hcrPiOwO`TTBX`MEts&n6nPpTAT8Y@c!c_jxz#(mv0;eSVG2 z=09h2(|?^0nWJevx&D~_r*9|DyVV(O%1lX6DR%k3dhh+AG&kKakYb184S{id&2`tHS*(}V22|0cg$zVdl+{p??fuhs|GPyF@y%J!gm&%cSU zPOr50xI2H>-JjEn8PAwa_sp-kP`~4PMZS;r{k1Pvy?p%th2t8IOIKR!_cn=ef6@2Y zsLj40qhXWuDYv9*h9t%V_b$F>I1qMuJF`QrmGpzx47V9SF}&k();ti)aG#NbsYd)k zI>T9pe8wJz8qo*A4d)r(u`>Mj`Y+lLak@LPLg0as(;0y&zZd@DI^f1&eBhaZ3gdw= z}i=;>(jn-B@scn>%Cs#@qj58B6u1xQhlj|7Urz zpP^_i+fR`Pl1$tcf>WeeuUyDyOluKfwm7j?V0D93g`R|Hz+nlN2MY!GEk5{o)U(WB zwCM3SD@zu<-#4gVd_TKF*h1D;l3S$uqoIF^~VL z4eJ%%049Cb8Od1_I2kjP4$KM2Z~ioa>DBLrHftKH_^0%1E?|q}KF?&s{v%E!o`s=q zmE*bA>x^}b78k^Kb-cOQz^wb$f!X@y`QWsGXIcx|s=g_)UfJJLw2diig5qx()+_s) zgi>zsnFKWZ+`KIka5!c|In#kTfrn!@d}sK=R3~;Sm0>$W9p9;`3@&VTO`ozE4BW5o zZx%Y1*1m7GquW~r<}#yu_KuvJa_fZ(E=Yb07n!_si!Hy_fyO%>2iOH)oM~LIyKnJi z)~%{6{mgapll8VL31%}K@P4PL;ke)G9<$7?(jKkJiCeAflUR3{FJ!T^{>{Mt_thJA z2J1tAWlsGTec-TePBoZ35U+kFm+#3b&tF`%4;|8X`EV5|sIOyTwUC&7dJzM=(c`E^ z4D8u%*Vi&6DDUWB_@|Lc=0s2T9p>j27YZ{k+~4xFq502}#y3kH@0&O*Ho0J*nUHO= zp#G9$+NFnc*h=c-tv=Yv{#euab0Xh1b=hAF3>8W^o;_EbFr*AUsz{LX^+_4dn>4Tt|&^6q+La)#BHcZ#;ig#&Z!d3Sv@Inm1Y z>~Q9c^UEFWOxzc+?6lymiek3<`6ZewTG#mX9mk9Nf)`4qW|%7*EEBx++&f?ylY@Qbg{jJtTptw7l`FYEICM{RYDhZJ zXs2xO-reE(M=K4-+R}Y8RdR4sW^xy`q%y8E+QcyNpXd%*nMuSmxk)#IaSr@Sa{WS@TSOXp_c{%buanYO7btgmY zlY`2E?n@K-Qy2J5Y26ga_i1sAh(o1@yyya_ke04MPOa7zhjT*OP6e{gYSs!AUFB9B z$h*q5bcLMhg31+wXWe~YuwCg9TOd}VoK^3dyFymirTc>K3g){#R)QZyYngLhZ(rcs zBK_8tf8qN@?H3(OIBNNAoBoOZm9}bPi<~7www?1_&o6j> z;qx1fsP3u&{a5Mr&3VrE9amq}O|Z^)J$<0)PUE+g^*wA?(yz)dQqA!ATl>}c)$$jn zugWjh7kv@kB`fRZzt}g!FlyyL#k{cjLGrHJ7udep{MZoh9DRZLM$6+H@f-H1oZpas zGk&xDg5^8%7f&x>)L!}bP5cf0A7=aJ{^eMk?!Q@nQ@umHd-0j5UJH>GVPtfC|$HJoL=l=etx8l-`Tb$`RMXF6t zg><$XuiU(Lt*&N^O>TYe!}P<4S8kaQrNh0Ep~IoFLwEjtsi5iAeT^;C%BQtHs!n&Z zwc=fO^TEU`bB-$7EZ@EPkaUvL^9k-Yr;PgiZqIp}Bre(WCufSwFY!&P2PKsJc`ov8 zT+Q?@bg69U%4aPF;tz77ILdG3DEe0Nu4L_qxF+`K-_pA1h|xvqN0<7Pa(^~mTO5^ZX%ZzCRDJ72f`)r!g^astgZ$Hn+AWV= zrAt_Tv6)J^-~9I0?2?kTx4^@D9P>o>$vgbJ%l3D5Q(S0i+rC@2j_d}L+%_t;oOWLE zMBP!?uA$N!WS<}sFg?F{B~}!%u`O?k1974Lu^8>RP0%} zV$0$gQ*LcpETXyia^IyTSC-1AdPp)qQCe#ER>S+$jV+6_f}}3>6)iDYCVO?lr72=T zmH*DAA3wO+x4_@VX7-e{3NuaN2RE1aw4_fiVzZe&#q&c>(7BfM$(NYUtEC#*%${=1 zq#~-mWcgZ|6*oLR*#AG<-nC8Xhh`hkUgOCujB?rD+>y45uXXZ0JT^OC$!eOC6h1HG z_PzyQPfhlGV)om@v#`cvhUlR}$xj+bPAbo<(o{YBtUbNjxz9vo(bR7aVamS3B1h$? ztLM3P&L}rwJ?^-EPUbeH7Y8fY9e8$q+M^gAwQJ`I>3Xld$3heSC9QbK_G@89yYAgE z)$^*S49kCi)7t3u<`rM!#y1gK#|qUd4(QA<`>0URBvN1vFj zOHW_VRTSOQX1gsweWuL8pKJRsn;o0>#o}#B+LozP8x4w|Dr_xE-MGnki55HOTb0W} zfgB~3>HQK(r*>C4)IWLoX`RXe>ysfZS+O5t0&J30Cq%ZCX>s1)QM6Mx!zt5i%5sZ8 zFH}r|57q=stbS;hA^XgBi{D{$pI<708M8A4D<-(LB{v&urB_%a3HDslp3hgPu+S`e zX@u)7^$@@5?*76T12dXuMPJT!T_7M@*(H$DRI!G+?(9@`&3T(6-qiDX`_7oBBq$sI zBk`$VQ<>0TZsv{)Hp;$RmQJ1+-n36M%iBI{vbxK&A1{xcT)uhPwS8%GYbsLaD6uc7 zZ+L&~%LL(y_=35gTNUo!Na5MZpzp=KbKwa;?z5j_Hpho%KIlzn4&vodJ8@@Aa)ezl zb4QJuy6%&YIqe?>A2M3S+~wO)Z)}^=yvlsSvm%B}wX=dLjG283x=SpZejHzFbjVG> zW5%s*B{R&u)@OMd*EziMFlJe)epX;fqlxo`m;lKI1^){<*Z(@+GK*)b#$+YIDaTb9 zg>N02tE)QqEUSu#mG^|3OE$A;D$iB*@RXW(KEQARV7rxrDXJWTF^HkdKBP`;WBMEX^W{pL#PF zZu!`^Ws>|to&&d1bc8pQ%?$jY%w4DB!(DkiTVKik$u0Af5-aa2CNFt)Hgn;ZkE`ZB zX^+|Jeaz!(o}_Z9`1018$D!3H_;+Tl@0qx&w%*8Xm0n|C!CpnHr60`}P2JmdzgtmT zNI88=$LHPbHmRZ&`vVK~)K>If`y}PJc9CJwP1|D;ykZ3mlbiZPlYW2jy~I%(WEH{V zAs<(=^Or*NjB>p?ufpl_OH8`;>JPqHn%1@VLtobU*3=`r^JJ~pXN6WS{HpaK?LOD6 zRfcDu++16)#+!7tB*6P%d0?)_(v7Awny;96ufCbL??wgvvlfc`m=x``ZkBv(9_Vp6U>2*edHnBb+qNZq z*;8eBEmg4E@JlM+PvuQ%kzv^rcRzcSF~O}J?ZMRisHNlEX$Lp z8>=&XW%{VLm2dS!C!@Cb$TV58w*{ip6YBedw`?v{<9Zvp?di0Ax@XU>f4J+f^6`7t z-);r{`5UXf@8=7#bzf#q%j!P)=3`;ZL&Bl@D*=kg>l!_~okc6_K>Kb&2DewGIy@Yev|;LW$^iM(Buv3+w@J-=E{$Z@X71Kxoht@^v|!!|Ha-ptCC zdb~^Gd$f$(%NhD{6TU^VGUqL7=k1$$X}fFfwvtN<5g(Nf&f)XVo@#fr`@-oB%X+w_ zET%dAln`6M&6rfEbF`YNYmdcW7l9a;rhB^UZf?C1usJ8sTCcM5>Y{zSdD&JcwkjWZ z`O1d%Q$_vk57{B+p^U}amNQiJ+nzW1I)4@MDKwd_)VM`MtLvGq#hs@*TRWH91gXA! z;Vt&&!1|p!jN4bTtXeN^-7l@6z0j>Kp-1Plhgjv}#!FR2#YLMR`L3yr&8#-K@lG** zX+eK!j`r16pAP7Jzc$G-o*d{Ajw)Y2ts zHGWTbZty4-cozToM&&NyMPD~=ST;|z#L-PYZ)xI7?;nepklC1nJe~mYKUxd;a{|_C}|;W=-d%#6SD8{aSy^He2gQ>+|jG%FoZ- z_p_Y++m|;PKTchrSsPiuJ29+m^?Nt8<8rcgGTz?DZu{nDQBc*}jxX2e zK1~TxKc;ulrkLy6zYDunE+iI8JXy|RXmZ*4*j4AmN^{m@7k8-W9gWBfI9egItisr* zV#f8X8UGI4ydh({VBHjlFd1og(KE@*FHE;uFqQvjQ|8JU3wsqF7R4`!-!WTYmg5$mT~QYrE{1ek zZ@rY;&L?@e%df1%0?>eNVVb{l@oUxfVU;f6&G|$klv#URL zIh^DPmwEhFWAeVrC(Gtm^FMw%wbr((e%&3VluPHo+kRhLYdU-O^F6z^Z%!3Wzf(FV zahLy{+W!;9xAB<#s9;aM7`gd!sx4DZUc)}|g|`w)88%yp8|!?Lb>?AfR!fuoahVJ?m@syZYb&~5Vjozb2=Sw7=l4!fQ zSNpD_#HIP7F>G$8^?Cd|DvFP7*8O3uGs`g9qV8vhPW9?zcFVM9Y!-N~#XaqnWBjp0 zHUWvEi@Fyj>=Qq6&_vWb=v>#S)&u*x&LmGueU+F|wM@lS)zzml?s!v`>Rxl9-5Fuc zdv?CqaCc6E6!*5Nw{}+ETz0m&?N{6VUO}@h;c|uM>#e`snjin-$3p#j%L%SCP1I_W zChbc$zE|_0(Pvd-|MRj8-b;cHul$>?e>W!M>oh~-MZPsWpN$0e$^N>}`1iWwopYi- zosE`F-EYjgv>LiEr2F)^xLgZ*b56vKy(BzmkG=ZbCckH=c1dk0nXt@Zow8lu(t?;b z(@c9$KQf*kQvP$dRlMD|!|K|3_v<6R9}<+A|KpBkR&4O$^y7T;AM{@FsV#k&US_XS z`{rG3wYk}!Usr!xg-`v`>T`Q(^79vR&yqV#pRpJp-m-K-VSv7YqsE0L34V@A4YMAu zOfWjuu)FQdjWt1Pjk8K6nJjNUh~aPu?h4z@BcWf!+N8Gn#UhhA_j~zGuio_g`_J!h zecYS$RlUAndHMrIz0Y>|@2L4!)M>@$BeB%Q%{pP-w&pu-jBAYo$_x%08?)_EX4xeD zlB4i~(y~J@51g3z@Qgrfg>cuQz)e+ZOExDd%)P9$+gb2g(}7)w>V(v$eAS#M@^8Ub z^$SuqH@?kow|Zy!;oar-IN4RNPFVKE|9JMUerjKR$(!0e#S6a1rQLtD^XJ~5>%ML` z|6+f&YXADJpO>CpzHfVedcEhg4bL9@djDpZ#ijjUAAD-sl`JaV*0{DdS^nbb1euoS znU3W=6M`OA+D-I3dP+duVVh~k4hF$v&)w#1N?8;d5qYp7*OP7b;2>(*FXyz* z2>#u`z4JrRE~Xs)3iYiESvD+jQxZ^^!0k|f`jUiiv!m|}3-8NU?tC!qns@hG%f$>6 zhko8fZ{OC_u?Z_v7xUh~BG|;DA0HJFwQGaOJntXbfuT-!tR_bYxzx{c5~(=Mld;rK zmVVaKFE1Xyc*|$? zguDA+Jp6m!YStf1UA1nF2eC&jwdG=igS>Vfc~kbHbkT#N-&JBJayyOp@4oq3!`@+|D_)StQ*w<*d(>9ecH3=RN${R>od;JGznorFVVt z=E}P3hf4Vi<|z6ZsJu#wEGTSW;^r>o9vX1(^!yi#m+(zC^*bH>Wyj)qmrq^Up|AHn zHS73a7OrNw^h\OhT?s-^ymI;Lkhcf+?wip_xyVRJU91*d${+Ba)XL+i(j+*cl~ zH~cD<;TU~}NirqQeRV@vm<4CJp!1fb9p9cv)#o~X?)kA|MNEC0{#nU*17&+Hy;Cgr zSmfUx+<4Qh^3#g~CBAI`$%XBqg;tC+a$gi%nA_r zSRk}c$k^Y#|Yi-*lR>n(N>c!rP zsxal=pfmgDDxVV#f2%LdX*WFIRFWtcvp^+*EqF@zPNviyj7y$X#NFkqTiBI&d+~`K z9STl%Q?f54^fAk|?i5vCy=qs-k6+90ah3}9Th<+P5x%}_y{?7u;!8^Pe%tiV);}(} zq03pww%5$-=mMjdWvrnNd(sTp3e}9W%a;Z#yju3dX-+E7?n~j9`XU~!u~3qI8DZA3 zG2~?%(@Yhfnfo^Sp7l>>um4}vdwAZA(t?d4whXr#1g1RZ`xdarzWH)A%f+jka^jO4 ztY+_=@O=04t2&Q=IfDD9A6I+SpV>Gy{p*_o|HQ3ZxHZ2lyU$QHeZhP7 z z81|}%iF+Pcyz;wKE{mf|-a!}T>w7lq&gcnrtSg&#-um=ZrKrieogWK-N$9d)(L1Pm z(IHoG1$X_tJ-@ORPT}-kHrHc@1IKLHv|g(-QmY=dK8TWYe;Z}LCtJvOaZ&op!abHJ zC(hVk_;Qigdv57ZjWvNhVILz8^#8mfw=(^cR1Q~Ue(jw6oRjBsCY1?>>8#FrF*#E3 zn&zss3!0G`ej9pP1J89WPg&Y@@Z@oxBg;DS8bf(o6TT^_)N6}}HYY_IeyU>eo)ftI z=@kv`J2gs~CnLhNUv9~0Kbfh}XCzr`HLpXpaj)s-rZw$B3A(%TCm%oBX|{QP@qb-^ z@AUARJ@5bgS>?x<-FH4W?#$b z+HDDU=5*bhY<5<@zBAZp@1q&#JJwmkhNe+ zl^zFEagF2m#G;pnLM9&I_xO8VP-wb)&mY#$EF)EED#SZ%Xwa<8wt^5W{1tDe^Hu-U~Of3Lbj zX#Hfq0Ot$g>QW(lR!ct6X+D*sUahTh#pGh~tRsmhGbVZPMtm=gU(NMHX5#9Ulo>2h zo~DmZEMg1VzowT*|K7YuN(Z+`+*~RX&n;AKn%ZMz|8aJo)c)=HyUTyRIr67P^5;9t zgQt9DzPly=uDdYBwdeh%gG<@jKGnyrJv#H+pE)uAU%S7^o$MZEqj=d$B3t=Y-Jw3q zszbhy5`G?Cn3t-eBlkRbua(lZYaX&YxUTNtIId)>kafpmeVSkMAq(F(_Ydy4afe~r z;bW7RS+O`rY(8mo@^(wYbne6ZSMRLZwDDo&%+u!6AFHj769{(TeK$9J5JN^l|5Qxc3XXK+~kx^ad!H< zES~1&{$r}C_dRk>c-O9g>%vN5fr7i#lnn&6?)d%5+hz7>`QoTW;)^|d%F=c)b+QC$ z&5APkSrmQ2LGiUuvCW$L#Rode1NkmYKlJsaX7me>`Yqh)em`{1Uo)LMg;P}H=9cGm zfm>#_JZHKt`FCl+;Wu-oBmZt}?$I$mbfdCNyl1V@-JdR2A1577KHa#7>*xt>&49cd z^(0fC)r_h9I~d=&Xr&#zYQB{fEYIv?n1`76VD z%av0m1vAZy?-VSppYeEBw~24fE3SFR^J*saUwf1s!JTw<_By>~p@xQf=7P(vb+K32 zU7g2uae@DfYu)x+9;F;BefjlVny<^cE4_D1?#?Qi7Vz!Sa!)Zg_xcy7pWUl?`S487 znFw2Bxu!)KbMMVoynKsg+gG^-rGmFUyRh8|cFLB^n9H;}bb;893X{W4xv3H%tGjMo zE4<})W=hO-7s>r=iY`=!+D2rbo4R_%2bT<)O^#B#4L7>^teut|`SOa$VIC*;gGz5& zI`VZoueGY%geVHFN@-~j445lf-*N8CbSBmQ-(CE|_D7$W#(Ybc{xV|@`^y@W2mA-0 zHU{n6%d$e=-S+;e*9Ma#Vqag}B*=L6+`XEU0kb^w*B-E)UOvhD6^HEB)Y&h^@+a$@ zp1y63CZn(P$IwLqN}bKU>&3PleW<~~xg&XsK>h{iDWZ!kiyAt+t{%R1jN!fnlR{5D zM_&89H+z@y$^K)Bj<>Dz`=wh~pWOW=zTacMr*)yR3cv1;uxCwQwteX<@v~~n;8)&Uw>3-PGJAIylc`E`6-_k`|iw9 z)%4*I)mN}=FZh3wB{^I1p2S%u{l@1iEqCNr)_1InT(5gV`n2!L?q1EZa|~_jo8q>v zK5pu{PUhRh>uc8C(2f<{bJK9k_u0SA<*I$+*uUOXSGR$0lDVuwBhoioC?bF;$`L-4yAoUp?0D zdslnVN9f$qHCc{N)HYT8x>SAZ32R8AW1e4HoA9(b(>Ba%(=cea+|;n?^t@g1{ph75*LRt;^M#vlnC?+k-D_&TyYB3%rsDgN-`8usJ(sw6*MiJ_zt>3{M}OuL z^7Uk0D=oFFkM&gTY`-IJp3BX6#Y>+27Veq$s8#xve3h!ZoHcjx$IMW>Bem1n7uTmX zG3-d2ut7oK04IxpX+q15Di;+$v+S>3k+WYN;7T}XaB%_mx^Q-z#U=fkW|vbwG^Zbt zUjI^Z;?}vdTJ9Eadfb{bd(#ZD!`+#$dM#%=nC>%N&$=mNwwCQq+tcr6y!0*kJj;Be zUdz|>8$y~aZ3~ZAt-oKpv^e=ywmELu;rsA$yEoJOfI-0k~?Lq$C@?%3jG2T|8xZ3KAHNns_g5XyAPgj zy~+Ai=6lYvdi&#FpHyGpvv>X9M%%Tm-InhTJe+>OWV+$L)AP5kx%Kqzk%O+^?_F!z zud%k^qi~vH{oE&epYJ_>E4cdpp7~i(@ir$HD{}U4><_tVa4mB3$19R)Ejz2iEITLp zZ>loMP<(K8sy@|mRZw~4>xCKp^) z2^4QxznwMtS=jlRb6Lt9MSPFl(okN)Ty$yXN@+`l?1zgwx5QcI9Npf;-?5h8KXQ{n z!7SOdoi3BLHRYIuj~hUWntNFY3;VWhs}}9qVqt%Neq>&kaoDE`X6nXilO|8RCR{)HhRdQ-ALmSG$@9G1 zP2N7;p%!~gwbn#ly*5qsbpz+kqwx=a&id!`#`x@%y3i{Dn&B+r+ca;LyRE-?JZ_WK z^HX0Ps#w%^M(a{;+$q|le)8?H`*9C~U7t+* zIL*WTZ08RB+g9gz%>vZkde(26y?2w&{7KgWt3%l*G`@MQVC406QmyRPl-s;|jrq(> z{_`(Z^=xFCXso68C}G~A;|X1Nja6KxuZ!ZGvBmH0!@GfdmM{FhXz98|27Qn3?)lSW zl*thvWXt0_am%DXO0LQ_U6%qU%QqymI%Q|Yls@zhVm|IFcVMO5zelm>xPMM;t3P_? z=B`gl!pA3WFFTOGlJR!sgnK;uV&qowojb{7m{6opZkjopX~||o?@K;KR*v@`x;FMU z++6-5Vyls0@SLQqRd=5#^v#qKJJ7Ov=RXUa&N-7`T$q;!;fsrP3zK?zXjh?nS3}kQTkfw zv&X^n&IBYpbSnPD6@7Z;zQ20>$%pnFPwu>=HmlZD*Ltb*CF^--nphm?N40m0+WYcb z9&=u0>%lEn92qdZO;bXa>3M6KN5j-NZkrA=ls93BOjc~M;?a4NoWf++R8HEw>d8ZaA6|YRlseAx81rpfn{wQ94d?fc9f{}8 z{oZ!x&gEO%3!krFTI`;u-DUbZnMGTJKR@ZfnfWi;?_74j*3e>g-frjb(yWUoHWpv< zn8qia)ar8G=$Cow=CvZpWv|kXn&wX2c24H}@(Xqk%8fp;rPnKRJe;gz=*u+kuHbuj zIm1=%MOvz?e4CVyDyqx;vDBFKqkLjb%cKJSBbWER%Ga;_XX|5IbN*q1m+Enebn!2_ zb{opl_kZ|up|`&3ukRWC{EsPDDmK^JTZmNUYb$?VBv_NiRsPr`fQ%o$;V$ImLQ z7Yo&jEmS$I-#zEeqN6_babHzf-yUG=czR;xLCve`S_iup?$9{-&ZE%cia_V&x8@ov z3yv3G6`mPbx%hsH*^0xb*%JhhiM$dYf|>9 z2eR^==2>=aV0m78;MAgn0_h1WEI9K&?i9){i2uC#c>K$4UwHn1eEPkdPdcf-cgEZ^ zbG_&G9+i22LBh*&omI2@sa^egi_H)15eY~$kPXxda}C?YF>(JSr)lnjO&fAjq+2q| zZ}=|aJ#zNNiAmo%UTQqrA!MmMr@3d|3xkP2V%D{=ui3HONOSqRmM)>4x&J@@I^}of zPXFz>)9q*6{ntB9G(^(6IClHF-9cW9C-v9o#(jOHZ=n8Ge5QN&8@2jAwn|0+hivy! z7f#)}P$FTb^u{c=vrbu#y01B74L{n>ta=o5EaqXsxu91~C;py2^`J5>^@eM^M%VSv zHm=o%=QNKze2^Sr;TV-t{mFd8 zr$6QXZLPoe{ZMP~zmKl6(Oc#fWlX-~D_=8jn&gIGr~k-heoxq9&8hwKmXYSff2_4V zZ=N&HuC~m`JK*uO=j$x$>Q?q`0S3R=mL>Qx%ivcN~JjJr}f=m-S$9H<))hXLElU! zvG(xo45yDsnq>zk*XDW#=J}PS-C85Ed+X6_MT-w7_FvPCZk|#r{_w5&r#dF1lMxp? z9X~mEuQ(htQJY06Cumy@>y))SxW0RBSQNKnZtYz5t$oKHxi9ry+JCJ??*0Q^o!YMW zM<0UT>NVS4oUk~zwzmHItet&q^@YLr^k?0YpRD)p&bK$pvNPYM=D)vl*uO+snuf^_8+Pdb_Q*p&-Z7&_X7A?q^zgK!>a%^D4fe%kjyQkS2)j$34 zF7E!S16I}d!?)W`n=ko+Bdk*Yj!#4~tHU+zlk=Qr@6l#$33k7d67l|W*Yx_3z-iNs zwXe>K@eS+w)RZ)7$)(99HZSCFxqNFnxuj!nRju!dWod=pF;V;2J~Nwd%fFhjX|G@J znqQss4$82u`!_HA`cLM4Wqr4AU18LmkmldCxa#-@kE4RSVQu%uqNXG2){GNp2}{>3yVhKKa%yNu zN7%*Bp1u;bwR8`X0?pd7!_Y zVfE`*v)>n8`NdN+=iG^xnwxhUmClive!iE#uJek<-0A-U>Z4v3tEV<6FER^AlPT7m zWS;m%;qccK`vqdVUUxM<$kAICDP?2pvqnR*{n42#TFtDdFFDManXzlhx^24_?Km+% z(5|@6>Xz_~S8E$&n%`UAoSL3&;Q8)RCu`H)_fw{auiK&hrCdYjlK12tn|7MMtuc9C zP#kky_iTb&d8jj&4%_Q`nbM^X9yq5=NuKpiyk$vJxaEt_eXeJtEBD}9>L?(T|x z#_YfLs7>yj@&A}6BfrSD^*Ne*d37hPwGVS##QjCA_m$}ZYnLl~yUGX4`qoF-r|g)s>EUasSFI1OU$Z`98swySea@0+6?;02-rL>SVC5#d`}I>^ z-FaagE#-RAPE-5~KfYTZ@XoF8b+nJ)miisr%lNxFGh3z378IL5QN6X<$YIg)8{EJuRZmSds~9Ucbnep)<#P&G|j3A zyO#6t)u}h;JHMp0=J_aISj%#jN9~kk&8DW%GUEp8i802j-591l+`q8$@w&O2!aNep z9)A74r(WRNp2M=bhc`Vd4b8iuP&F&T)ZAwOdu^HPGav2_lw3P)p`YxkH9tRYHC=mJ zy;bS?@)yPufsdZ4TsVC80k<6c{MhzM6O=R5l{B>1&p65GUE5=+r{+2TiAd;%2RzkV z3JpYK%eZbQr*ivFlRulCS6}-5b#L^wxi!fw@9na6q7tF=$4)KMPrLK4>VZ&EWi)+&^UNs4sv!%E*eaFPE z+hyPPZI_Gq@8aJaCmm7G?3U!qZBaVc($000#XPGg=cbfBSr%m@+I)Cw`~8*PTaLZo zUGU@bUFI8HuO|f`W_|PI#-mLfD}|?gP28$t&|`DWrgBY6gFybQJu3o?gi064B}ZOh zRCDjTt~p_&UydU$|6va2X_5->-As?4X8W(j>-bjhy~M3K_b*PZbnctj-(7FKl;u~P z{nzQ~WjaQ)9_d(VpPSUHD4AX^_BHZtKmWR4ew(#B`?o*%9`nz;G<|Kz9^S`4oYyDU z28!5Uo?83y>O-cqnklS_wN7)J3R4C4irsTs8{s(B#{R(c&J|lFk4aT`H6L;D{n*&y zu69e^x99by>`asQarV0nB3=|Mo6&Nl-g0J(>+WB-7rwUT>J~dadH(Z~skTcOY0ofR zynI=Rm9@+TpA`>Je$sz^=-tN8SELpGTV|APP?0-h`Lf(BOz^U+@dh6D=Vf<9omGxI zZE|f%ocMM_S-*1KGzsr8x1Eunv}04W4rn=U+#~Qjcyh0YS53TM#)+TGl@spPNa>f9 zOxLZ?zh`jg`wOf1?_9EnKfbhi&;9EWbFTT?e_N7nPC7GBOm@jNL%&BmWxKPVg_xwK z^RInzXOVHR_O#D2g_BpT)mpWF*41w*Uv(Q>D%$q49-GShIO>#4+l)Ndf^B{qO+R&8 zXhlp|ed08m%fnz9(Xsr70gAVU|!?fnmY2`Vmr=4gz ze0qLFYH!}O_^wIf-fLwO%=T!ORZp4sJ7)gRbw{rTCWo%A|FH0@&E8cD&u1kiABd6K zu<)hy=M$Tre`=k#jmhiAFX2`4(_9mOm&_}?%q&o?uVDROVpibg7VaH#*H&(kacMYb zUNDh&W+mftWmk`F4fT^Qxqe>3Anwo~`rwz(E#?I+c27!ozJ7Ii^0Y?*57Nu|(w!X& z+*8Zu%zMqL7p45*4BNc$I{&!l;%eXfQT^LXr)}6|EwFca#IEAn>g}r1?_cm4J$~M% zHtoUGNSmwJ%d-hyx zx4j~(yK~kFPrLGUTh@hy_Po#i(EmNSRPI-#b6LmpMA0V)4wx&v&Ma5} ztFA>&G4*L}*WZ>noSU&{?V=Jx^Msaq&VtklV&|sCNb0sH-ii%;qI+s(@=^9xXSOx( zl9>DM-HV9H%FZm0XWVBww$ae==Zb3rpI7*u6=$ue+p#pqj%VktTS|YY?>qA0+-$Y( zs|tT3HC8ljJ}ou7z4F#^k+V~8x$ZsKn7^?y&CyBMsOVa_E^F=-Vfl^Am-x;}TeV96 z{;R@z=Npqh?^3_U5~5(s;Rf zOpiM+DSCCywjhnOb=eBrM`w>s2rw@cI`sU+?8q;oyXRfYHIUrSQFt^ZBUSXX<+?4J z-vifvTY2b|)x7s{7dQg5IMTbE*&eH9=P0h+y0i1Sw{-nyxu;wE&Gnw{NS!)&b;Z70 zE_1CieXDNGKhYO_DE8YvKmFLOPd-2T0`2Y}bUAH&lT(;8EBveGT0vvxnkRO8eHT;$ ziwvq3c*<>JN!MWOd-Ck$H$9PVubRwKr>+G`@2|LAQ~$K5Wu|Am>?wKvC+?4ah@5@Y zKAZhcV~)7~E3Hx_m>oH zXWvu3ZNu`dMKipjW}NQj-)5q*RpiOTa%0)YEDxAOFKrfj#eLjV|3Yhma!^3w28RP8 z$twCir}PgT_|%_M66$-z^r@wfxyCcTy5$Q*+B1A27x#UXI9V2&^rhY>%Z0mTdCL4% zhxw{RB|}~QJ1lxJ&p}eo>r{DgC*R9M8hvYbAIvR0Iy*h~-V@^oZ^D;wGv8d4u<*rM zwXRJfhgZE33B4C2viH4q<U(_s6&Dd=(MjoWC?|=5D?VOHUw7vef`+Z~0 z_KjuJv{mnBZqM#X@mwr6cju`1+jJZH|Lg?7oXj>tms($=7;;9wf|4f4PLbV$b^&8I%n4TiraZ- z?Oncq>GHhmv2&+i=Ml|XrnB_K?V2NDhSMjoNjmORJl(j+!c=^z+R9*qP_0cR?J}OW z>k~60eXe9JYdrGoi;w4=mFu=KOp1$~DYrdCe3CD3eIc*f8oOoz;7- z((!(f7F}sIwFN{*0K9buL+hb z{4q1-+wc1}=-#sWHZjBSn9ZwiH=O)^<>)Hg>lO27Io<7z22~ z->K*Kr`6wjIejJbCkxl4#3}!tX#Z7wf8YP@#KKoIVl8(bx>9~>Vfp)dUjfGH4@`w^ zcg<1?|H`qr_l5AP&MMB8oOcBi@89|G#=T^j2=_*{4&=r?!6I70fjAwHouy)AIRj-tKWq!T0vh znZf6?TSc}?#JpzX!vg;Nr)M?aURqhdNmp9RuD0s4vvX9a z_VzZu_2#ypB*GHe_g#Iq@VfolZX8aeQG#c z;GbM?wDb9^R$rBk3#NxVKHRcY=)$#ww@x&%KA4uHB$9ty#{BASz9WzJ-FZ5pXWjbU zlb=Ul_I$K3PUe)%jM$FYX%354Yn@!rS}uA2XhR-r_o2Vj<JG+UcqsT)_2=s&2gNU4k?Ak4_YL3u=2Ogv>x94w>BenuPVQe9V|Qc9+&`cAC-HunA9LQ?O5)7Kb;*4BA15RRu*{DL z;qhGW(JL1I_>IfCy<49t-s1Xe|0s0z;sQOFeO&ABXR~e*;*MB z8t>dJY@Y8FYP|b>Wt#6}_Pa^jOI{s#o*w_}rqF!(A{E))o0#T%tasfOoVUk+*M@)b z75CDPaw@F~VT-^M1!OhSqowth>@7Eh!pTAh= z?e2V0$9-1y<)Gs}+WRE4r=Fd0>2>mpALoNx%S_$3ncuB^`tB_E{J)#ItJ`C-a=> z_mIg`Jl>jS`Hwf_`Ww$F!3u?$tWswe*PpEXzv_wanVa{XojKa3e>Y~?!nCvm;U#XX zmMw96B7VRlA z>P;?wuC|+AdAysN_H_Sj<^2g>Q@S3UUsx`@RAN@FIm>IQ?OU#J=bd|Y$}QsmwyNzP z_s!d`JuCdJ--$izbFP}-Ims73r*z)(GYbyyzm{&deey%0dfBSA%dgIf&E521ulO>z zKF#A#zb|+BB3j#7eQkHvo>E@(bK7>^eRryB-mP!56<#hbIr-e?QnKw@3v~8{w=p8eu~DF)`~2NP3{U!>Fs@WX!g=)Aydxl zX`bR=GGWfvi-~7?=Ph`3q~4~W>(KO>GEdiwYp9go$-o=&9jBo@;6uy-Fqio zbIEq5w}Q=$(Cy7LX1v|AzWn8`!*nypYiSMngic+=j0x`)4H;Z<$a#c?q#{2 z$KHGh`}37gad*Z$qd({N9hAIvwl{Itk48OHm9Wr8&0fLFQyL_tk_uEJ&m{M{)w53w z^kt90i3y7-jr=$#sPUC79T<@Bp)cVDxm*A@Hc=!9+Z|KfbJ z+o4X(bdp2!?4lVw=IK#gr|&3Ny{T6Gtk!qiG=GlC-~GGu(^C~DxWvxb)jIp$s^W~x zHFX;wKAbvtlWbLekc*wutVf@N+RpKXY1`EAzj@YypIOT3Jp1BT9v)l8ogeAj9MpE0 zu|;6oOSfARYkFV0T)bGcEZ%R!$)9Bhl9CiAE>@~nUJ$o@p~n{^u_K);FK?dm=eX;n zrqpn=!;}Bs-4Hi3<6XY#C9y4ccICZ2HSg%%x!kw&VlLbW2#yVOORJuGS%-^l@unlw z(>0c!2~e-!*H;o3pHN(+ZgNn?z0)9g;_cOo?wOqbz}M~YM2O zDc6g;A5>TLF3tMC>Y(JCUr8seU5loa@;R;AH9u_L+{x9&J{Ri)!!~W?TR8t%{o9Zo zf4;^?>HoLf-25k1bx91*{pEk+-6HSp-%@vR=FP&V_dTAm&-C2C?tA*A(EF}yKYh)+ z!slQl*71^g{txyQQ?2@DEvS!izuUj&i{}-N0;U8>2Wtnr1FH=7i7a4Vz(3!0_qrOk zTI*L6=5OUz(l|cR^=V`0UxiHu%_p4t54^wq@O$+Mr&6Xja?#7Z8nS<$I5f|p=@ny2 zP%U@KV_uEGcef3vaC~Q(A+H!_DxMk2=(1AYrDqjaFaPvktX86Wr6j>9g@&1N0kInp9oicA~c3fjRurTddr$w9V)hqE6 zr~A3xy%IL%>=dSd;V+mO{#vUToV>7IE~NbFkN?-^ulV=>C&NC=3;&-re_-{MzkK|Q zVXY4?svaTvXEOWc-f6L~ZKgJrxfDn(%xn0z`qdwvT$jto|4(X;tu(D&-v2+2{bcmw zm&w0o*e&aSnf&WVe1U=eoEzSUYI^?sKe5-Q_0KrdNlU!!erA!p~fN5oG3LuS{~oDkKm_3ghzV;$tv(+sv7+lRdjZC)k6DdW#&&iVdV z|1bJy8GfjCo#mPHPv-Ysa<6rsz0_9Vu8{7_Ri*aV|Jppu+v``Kt|NLo{epCzR=rAd ziVuH1-^@A7o-X4qG%d96tG^hNa&LBmzs1A?#lrJECdw9%T_)MSTKw{pI;D&wojWa`%1NoN?(n-_Os}CK&uX z`M3U2@%Q@Q=O=3;rm_M1xz zzO^dV?-kW$eWQNoX@O1&n_lOh&wc4yKF{N*1OJtK+?DPBB}-giSaizsU$d?o^V}1Q ze;u}PJ9(!3kVR|B8Scb6ZfDO(C(dy^sioMnI-qrxNzY~t$E}t<#R1O`8mwddv(iAW zl`G_ZYki@vRzmXO3X`Z~*V+nYf3f{`iT!`7boFeLVm3s3wFi+*WR`}Z3OWEGB zRu(&U9eA$n`*ou6OXk{_+STlL|L|T|rK_#1Y~5S){KWmbpVs03_)grf{8VoD^W2#U z`;9L@(0G;ckEwU{+2;Sp3W9t zzHg;#rDL{kkv}%0D%-7UpLCwY`dU`;bw4EKK3=#G@T=(4l&2GKUs{+RUnOYqXlv|j zw$*=q;PA`ge^LET zBa^OI0rpXy*B0KM;CpO$png<0+tbZ^3)V@mZGZ1Jcix9rkAvD`?v3#diw9Xrq_Fm zxP|?D?zo@YYVa;@=iQ|RX#%(O9PEC$R9!WXQarRS z`0O9P+P1$&ujc2~l{Rvd>|Yk;rs|wtUlmm~Bklj6xu;}4I_dwbpJzL~O z-{mL%ZvA~jd|LEU^L-yat3BJue{Nmd=9i!TYCoChI?s0NQN|tlYkh7y9=M$PPjCK} zO_zdA{;|g%OS0sgF$P>)>JjI$&_4Kd;*VEr8=Bx0v-Cp5P zyx?-Ef?9DP@2b{!*AHKK&Y1n|u*xpRE6gEH>#~viKmYG$)7uy9 zt8<*NmiX~yGP7IkHS6Ww{d?x$?D{8fVbJ?;w|srQ16cW=v&^UKbtPA?E1r5Z%cS|@~2a4JzH}=}Tt%I*8%|qxSc#Y)Pg~9V^4aya8`8I;oh>~V zUfFie?zZJO*0qYKE{Yy17VEyN=(VO|PX8j!^N(*ue9ARATz=b7E!1}TN~Uv$Q=Y5H z-4;qJlWP^x`ZYgz$>JN67p@j*KJcymz&FPB1K*h14}4>8Kk$vE{lGWY_5Y19Eo0%yXTNvmW8=0Cb7@8UCnVDG{8BKT0 z;YykwX~z{WX0B&pZfshsQZ?NqTqA zxnDc$Z?>D&W&7fK-j`c0PCBc3QFd}y#8$RNwkLj>XZ~oL+!v6l8Es$rt$Wh`zyJE{ z&)4smHSycKPlbEvLT7OPnXS&I?YqR!Y2T+c$gV$(RF5E3XPI>&Z)5KILgK zTeElehPK_27hTN$Tk+^A$!M_3h%97q>V3IG#b=pEPTMaLz3gPsE8DkSp7u34`m$lY zud4ryg6GHnKYsW5%}vAk%-#3?zItB!G0*r^l$sUSn!4|q-#)GuRZMY}u>Foo zPp!AKYgGr_eUoT?Zem=Id39jq%Vjm&yQkdoDtBOArM|#y>Na7wT^r@Kw`Qj#_msP7 zWT`1gFW$4b#U^P}p^?gxLz`k(@K%KtS@Uk)dau5(HY02EsUk0#H7_)#?oARau!+$8 zerVz4ONGshh1)AG%vRGj+M?+{WBMZ9%H>m+MKScMCL5HUVmU6&_`LDOPl0z?YbI<7 zZVFm_;p3;vPcN^jyEoyy1!osYgS&RANp z{J@v_NyUwSmuwN@-?*LS^^QqVt2w6~eVD>fs_~V%pu6$0^OCtq_34(*QJT*Gv+rn4 zU<~zXVR`&Qy1?lA|BQmqTQ;;CWLDh%dLd!P)NK#u=Xy^lJ+S5OUYX{y-+OOziu{t} z6WtuK-XK_ob5StE6Pp()m#2tHZJ4$Cqu8u>2cE2w%!m;02v?Z%!zQY$f_)p4$7)vV zx!Q~Q-`8H@Ih|3yu33?%NpWI*D`#8JLcOw2nmbp=-d7FaiD74~+I5v_Te2+I8D7nU zb}mti>h}4rI;T0&jk(1&%OHW#AbY2#w3GV%6cr6c?b*8Jo2^3L=D&FSyD9(F!KC$f z@1M;QDDcV3eYnIW%4t0Z*OG|lb9v^D=hjg*5UI>^H_iGW6fjzYp-Y?^M7+xQ%$3<&6!7@b+&u|{=28UGrZnw+kLQ{oMA<%HKaLCm*}1aP;Xf{hOOg zi_iaJIO=Wx!ndCL&7J;x&9T4Zju)<%d%$$?^`*aizS=+6{NQ`+oQ3=O$o%KCm&^PO z?)#_dZeM@uqW#ks^NYUtTmEvNy_h{xK}6@UXOP7n2vLzt?XG9u@l}2PV<}O!SXqnYnj}Vkd}#khs)--#D+NbT(I-7s{b7r7Q*ALxPv2X zv!~hgLd&qUofQn4ETZez&P>YBOc#p!DlqGV;k8a4?*$Cs9XDxyo66ALT<}XEN}x%@ z=eFlI(U`*NHB0#w8v8eXbN&1O>b{QUx2Ag-&C809nrS*cY=g_UxR4$1F3bGmQ#lr~ zc8Xj^^BH&PqG*Fg6V=-7y?5$mA5SX2n6qp4)`vBjJlCd`*!es?yG%%RH?OQ2uT-D9 z_no3_-tx^>JS>)yKDra9t(cwP+`+6OWAVf(%C~&8+MR7m%X2!d@9n?D-g0@xjtj@l zTkIIyHup7pWti_=62qK#de$DrciUPg>aF6t7rm9y>T06XP5+xB+e1KmLYp8-F)J*9qAtXove;#9IV{T$z-c*F)8Nw0c-IWM+z5uYBelk zIQw|b#4abX%U2RyH#Q%SXcn!$9NZ(nb8G*mBicKvf_dbvWBplEZhxH5b>dyD16vk9 z4_o?#-HwN2SA2fCadFcQn~v3%k1k|f3)`~4es!$+S0}$4EF2%D4*nLORC{s7cJ5RA za#ophpWf$ih1-4WiYKo&+c*_kdn#Vv_ciDoCxd?whuSiS?DxNnUMn4Jm}0T`;cHHQ>Zn%6-=QXuQ2g;xPe*AuZ z`#;@thHM9&4p06U-#h)}Q>iJhgmQC?c#YCRB4-&_eV!WPY$`rI(1S~|-g!&On)i$T zWwfMeSnvJp64~;0&Z%1$!ZO1MeC%#XDe5gy==Ty&k*0gBwTSK=N+S|$91n4nJ9^dsGc)CHaA3$ z>BH;9Bdc@ve30Iju2FVqYf9zW>5Z|+bzN@Fyf{%!TGQ4x{_o}lgPi$qT{c|aq3$%x z_C#RUviWP}pFDN@z@hXZ{HRy_&xeyZ4;l5@UOE}FI+Xe0>5dG~x}5OSnc20H1~1oM zn&?{p>+QtfMjRI}=L6^Fj~Yo$xxTDY>wc-6dc_k-o$T$|Us zM$2vp$a(qL_3KG({gjv6G#FyLt545kP4VTg33(fI*Iixi>Ftcj&NyH9sM=7$drY5d zLf_q3RcbnGkLlAuhOja#F6(0_9Qm?U7Vp0sEFjEYtmZ#EE6jd7%i&#lTyq0Hq~G1M zJJamky6pvW5v+;Rs&w6h*E@79e>|Pni%YuxTMLi-&zbvoWu6I^W1qS>&0n*t{f6&v z_mUkNZMUwj_{uEOmQ!>>WRczq zv0}=#;`#+*rOx!Kk7099CIr)2WsJ(Nk*Mq59izi63uUd5A<)R)%W4_Q} zM~3Z3wggEZwQz`ZcMDj$Cra+9!f)2bd0Dj~GA=3W%vP?On0nlEZB~}Ut%P*V@R(<- z&KpJ^?p`;e;68t2jDzEZ^SMr5Z}(Y0+UIh4!r33T3MbU-BRhK69bU1uc3bxq&J#Ol z2R(XmK)Ysxbh(Jxs;XtF(U~7=^}~0n`*g3%Z8Lftms+}#)#7Bq*T$oj3ffDzJhGYf z!}`#f?&oJ;2pGER*C!~wY1tF5uA0-cwoNwN=lgTF*_)rde_oa$W+X88o$cONHXcvr zEI-bjw&C$Pz2)y72e#C2d%Q^V!qW#I%_MkS*?7cif~|h%&tcZy@P#ogDk^n^=s_XKRI)>(z5e89aijlc zmlhU;as@>#X5(&|FS}bfS>b`=o$eJ*#wM5DZ+%~Keb%APzn6-yD?UGa>HY8Kaw;uf zt{*799@zBsR`T`R$E?+L*`3T+6_+{aOwG@pt=@Hi-74od6WOxe_g;ReEjWiot$WpS z&(lo5PA#6&Ds^7K)7@Qz*~WTtjcwlf`tX&NvsbbH330ymS4}lk_Tc7k38x)>TNhs0 zqQ3I2LhoY3iDA3XeJgG(nDT4UO}6jfbN}!hF%enLWuMNzPxZp{l}kd^_DmI=KhH7c zbU=YFuZ4!Ar@;cDjU3T`_U`9ZPp$vG>qW>h=e)~j!`lLy@(zgjcBV-A`OVy2eB$W) zS)nrZPdT>vvOZt=J;QpHlHvhxmXzzqWteZSykW<5r+oFVqUDN{)meEG|1mn;De_4) z&|DGuVX=Q-Ntd(h{E0`Wu5)~n)vSM#s2Ne?HO2d11rUSIs4zy>~LW zBo-}y@mMGQTXMGW-7On;uCa^T^3?Rr-vt-C7VEwh-<44RbHQu2*OoGt1&>x3&Ut^B zWx-{|6RCWMe+4pXJ*@fZYx1}?)cGRMPw!crpOQc8v*U)#XRbal`faZqGoi%niotC!p{XpZBlvkwJzE~i z^W*2<=l6_)oo`l%i(ahHlJ~r+uv1SvaAyX8gY14~@2@jTuI5jA7rp9u>`~LnBKA&3 zHsza6O}mjK3 z&+=pTx@FVygD03PzvvA+a+Kkq1OL9-K&9D!6C^8?LpdXMy!)J7ttB)evU~N!DQc@N zx(nI_)Yh)hQssXb`7&@>Y5Y{#y*IDL$Q{c1QRRB!iIcUYucF1GH}_siH)#v?w9oqW z@7S)G?P;5mZY=LFUsM_-HM1``{Fvl}`nvXfGmnQJOZv?V&%BVZyF1lgXp3g?{D?b~ z-A}nryYpY9oTvYrZPMmMz3}<@!BY!^TVto&ty^_|`n*HWbL*10jMhA=kbhMCU1-N| zDOaE0N5AX4U7B||Q;F5HqJ5{;ORHOj(?rD9Pm83e*WH{n;*tVSS=DH~`HEVUW{XNfpvp+HZ z`I5}_XY)DdC0tW-6AI>B66P+`jkek2VV*H@!TDv@{$JTXU5mJxZkWcoT$A5_z5IYZi#kz)1J+9^W3+6-jUaPH&lNUs;>8rRtxb?TxL*O zJJU1&T7JSS*RLm6T-JJfX}ZZb#dJ55hbH`2W3JDgQKB%(E9>8>h`##Tug&`HaUr|I z9-sYPkpIxLB6iR6@cQ(x*NaxCKHj!A%cV)|t!sMrO6Im({jOSbt0&iIZ1KF+RnU0F zF=6fp+fPD{ht*y4C&&xLsGK?2s?>ahEzcpXJEr&hvo)ozzn?C5d>Oy^zC)wnl!sTp zuMIA7zoM%heyKl2+rTb7+vanmrL;!vHre2o>6`yW#h>Q8IP*}4!_A7RZ#%YKo!h%% z@zuFsu{HV7(-{}y08)5YK9d9!qv zw2^dKs3)V!>5n_!OBroV$c|e1dCRl68N7?Ev$m*Zz0lpp-}{82$gXlC|FVDWKO$e7 zK5Kih=ES_C0aL@L7@Dlww)S`RyTt5mp;}v4E9N)uKEG4Q^~=BbHxcI_&t<;3?nCmC zy$V66j}}Zce0F5_|A~6V3(a#mGjg+7qT=4XX8F&YxKsY$^of5sMYc~0;)-QvHa9St zezBEHy}n=O_{6&R@fZ1jZ(unSbdOzuL%`N%+Ul*QdsMuY6W*HX9R47%!Q;k<{olo} z##V-;riFelIXfYs_`thYYffkz85ynXdKBHZ|G132-^X*6=f0Gc@BVqbt#sRd_xtn8 z=XkH)9<$+G#L}a3ZQlicpI`G}fA{(bwp^tRf+x9>B4 zir-Py`M>`5pC7^t{_P38{r`5&$3M)s|NTi^9Ql0dg+n=(rSGQPzc-Dm)m&D5($2Jt zd7rH$=X_WbEHUS9(R1r%hA-=S+SlC-D|IUFe|c}2eMx%H^ytQ8Tg#U=-AxNR!dGw7 z^g4w{VsQb>skyJ0q&Yozwx~BLk=D=F^(}Z`@_ep{%<8AH>N?krqMKy5{!jc~_xY%C zBkSFLKfPakKRMf3+tx8+LUZtzH~D$y_W!=~CckOpEdC+Zp1<|~v_BX9Z=36z``=F} zdHG|9*xc>+xGehf zwgSCOtEq|1Gp|MDiC%N$Zrt{{b@i`{Q&-&O}-=XQ}kqG;Rna z7%$d(^DKEYpSY}8Zct}uS@<2%)qgLoVQJGldoh+XewApomxg00o5K>xwApD|3lmo^ zjnrFslTRt!*Fih9Q7SH?^LzJ7kFp7(4r}Aey`<95JKD6=XWD5;sO>IZ|AbrPXJ<>M z;2tjY>mp7qWXh31qfxU z1}sS6uDh$}be2tqZ$tgwZ3eoYT5cm!Tjx`bnp(|};eMWBClPRZ?c*2n+vDu&P95vb*b=k!XNE>h{qmm)Q=-`| z4T>xeRy|vjkbO?qe#hzRXErjcucTNcIi8kNnxI}O&BuO8>BR#3kel;=waY*C{&4CB z+iR2HxVO1ooF&Oe0v1edJoEo2k7U-8@G}N~B@-oeVhxtt|5Wr}@_a>==DS}jGwyQ! zu~_{w(r?Q2*NfYhdbG8COTDlqJ~^TO)s;rejjZ1vxJj-&Z)s2(-jkRhVA2zGZf2;A z`qV~A@7>{@mao6e^HIz^xO>)riOV`V7x{Xo+vwdWn3ujL=h56fbH!Zu`OQD5H$V2B z+0#!_9*4E1-hBIP(CSq$Yb?p=8tdhhal7tJ)!)-I{~qhVF1${40e^!--P#`|dnPxn znNpwoTkm!izgxzGr(SyMC$^Nd|BafcnIPTzpZ|zuazkqM-mnby&96IE)HmMT8}jLT z%lX%fXBw~BVez9nR9a~L;f*ssym0^Wlec!ylK%HEAHP*jdj6vR_TfDX`t7I2J`8%l zKeFEJUz^>$cB}9&AAgHHh}==`D}TRre*VkHv0PQ63+m@BKk6@^D_{M>?-tMDYSCk| z3pY>ur|z)VxBK_G|K>dj8uMn|_O|$%(zeAyr?sV(ds?An;V(6w7h3Z(`=8B!G-tE( z#+;TTD%z{H5;`7T;tWd8uzslWzWsx035)Wwuv0b(6NHW{Bs!RBA1SL~UA(ZQPUKdh zy`U$X`@H0ApYH4pO4;X();~Vne_~_OQ>o8QY%X2Ne z7@vFpuF-YU#FbH##b&XJ*``QLWW0S~_NZ#^W{j^wmA?Pad$7;=T^Zx_{Rb2JxoZUk zd^-=zNl#Fy+!<&6!%?ayQ2u`XY@w%BOBpy=xe}kW*8kw(SlhwgeK}b{p|x_|cfRW; zT#s@L`5%hR;jZMk$hiIH`deT1n!Dz`3KIz2W%B|2S{#8${*7A4Vm5km$&sfsQ zSt#Md^DPpuI*)#M{9oT-(%g)b)&JY?toace_3$>s@7RV{ziY#U!@p0=6gp;ijP3c| zk48`HZ5OQwuxMQP?46+~&s2kKuOL|yV|EoWwR&sTRp*z)sjp+*Ub;e_%R8#AX4?8B z$rbzmTh+W-d&s=>$Dvt%jrUro?T=-W3@j0?+sDyzN6Po0ge}vp%hAFqFW1B^KH<>O zqL&ja{oVYh+fMD5I#Q?Qxk5ge-Cte!vwlCze|;w2J+mcmum1ISrTBxRXCAfwjTd<5 z>38Vgv9wa|`YD>6(ZYYO2$j7|Oy~Z%NA~hv!PN&At}*%s??vm5nIVDv2ic~*ePgsR zD&nL?>mt!Dzdte6{7HWB=lv@0EjL)Baub&|mp}Ya^)1%RxxW#vT?n!CB5P0Ou=^OGUs#RXXaR;mzdlKfg z8h$<8IjJz_SJhKtv6?GRfj%~gQjfpRJ+;1Y(RIs%`*|leusFFTOo7w!W3^ zHFJ$L<@pyaJ96J`TP>GTQT6Y@`s?<6d5PJg(X1CIWLru*tH@X_F!**k zspEv$>li5~6FtGWGQMe^S9PRZ1rGkyn<36G?bu>iV02}jfD_Bj=t$#pe8ueY{wv)+ za?DE<{M4d8)iLvF)-tK1OCG!`SiN9c_HE9icJgj9Dd-#Wzhfs?4g)mWnS9;PpZ-g} z2ux}Tn-^#@^TC{!FWxy~Q*8#mRQ7A?st~mb8{)mH%7|XSuGp z)s%d*lPrafY~(YW^L8|BNJR8@EPz7Z)e z=vneMUHzy~wQRF>%*3B<8jgnbleT=HzIcsS{HE3G=huWz<2%{3=)jDG;E(lTJ*IyQ zw*URd$1doiz9J9w*hWhg>#Xw#_f(O*B6^$7O$u?d3y8 zhjv76_xaUVRO3A}9@GviZa6YkS41^5X`y20l-)BI-A$9cQyV7hkrOl_r2AZXqj7|( z_ld7@?e$)BzD-`VCC#b7pvCcRuDD>U*@K9(xlGqNc7;?G9*LLvDDGafZIi&6gM0jo zQn(y{R_(a3IQv%hQtRf&7sXCrirP3ObX~CfGT*f0+jM@KmZfC9;nVE7I=@l*veWN{ zBE0{taKEEzt+#ddRfvKdgZQ;BnD%`Ounsf3#>A6eJ<1^?# zVdk}d%cR?$-&zCef7P{yo4?=BpHVeYSFZN@rM_0hJ#(2g)Fic2ayVj-+XM%9&uTbv zXl@(t?E_0#4|cB>=9ykUeLA;(O_tm?yV^IwpMQr7%m2Od=S_9X>17df=FK_uahdf? zwc6vJ^Z3@Mhkc!r`lYra+iQ~Bx&xW>{5$@}Hm0@j<(qo>BFE;-M<+~-`Jy-T_0F7l zgY}Mo7Zq%?z4^xZ{BZTH{~;yAhZ^-E=N_ME zv~KI}>Nd%oWTcxI@A-UH*$3UdJ)YfCp4)}pBrB41RMy)1?WmdbU`cOC|ICVXpId*Y z`b|;fU&D>1PgOd|Ulrfh_IcWsEoyD+{QVuSKNnHnt{=0jXP1$4 z;QZ!wC3TKZlpL&;v=Z-6FJp+Lhp7cp{?T%SHJYM^F?%A{Q z#nis6kid@mZ8J4h-OL|*eR?c&|J#(QWhU#F=XNzN$!^@RSY0hKBw?N5`qy0kqI_YD z&ehe5`xz7+b{04&eW?w+eSg(?kLQ1#(i}N|yUY#W5~cOIJ(IV3+FE7nD%s1rd(RvH zS@pcWe6otho5HD|3Leheva(^p@vF-&T6Z4qJIA%Q#3puH5Z0y<}arT1v~$Z_t-S~&9242|E^trT(L-S=KQ9&ZTofz z>^U(fLrXnNbF=9SdN^HF4J{4zjEyY~EELR4%=IkI zjSUryOf2=xjEzl=70gTw^bE{R%#hYTMdWb>sTmrY=$V?C8CjSp7+DzU85kN`C>WYr zg4SXgn=2TZo9G!D8XH5be2~SJDGgU;WMHXhVQFb#gsF;qI@mYTIb2)_^(Ka4w6pGInzw^?si7 z^6L5bd~*MizU0f-{W|~Zc|Uv3*N@M?v-9^K?drbzbv--3zul&*`SSepV&p&U+gWec z`?2V0s`8R+t6!J1+uPkRI;QvGv50-%hvZ)Q=RXR2R^%>eqrOuge|>y8V}LO}#Ybw$^=v zw>#!-`x}tAB360tBB{KY0*gJT-#FNN>buj$KW6m-zg&MTP@I2A`F_OW-V3|cmsdWR z_IJHgzj@-6=?^1+e-)WE>zL=;rEjZjS2}Kc`{AckrvP8(qfnRG?mgDuV`WQQpZBH* z1s-{7*8jcC+Q;I|e-*Kxn`=IoZQ9yr``|A5P>TTNn{Gh#c)90z1*rshTNPAjxc**@tjRzaEL;Bn|CC=geaWMA0 zoTA?;@AZz$%-vSpnYCC%eu0C@Cg;U*lk5HqnY=vxzTP6CcU#)m{2yg(|Nqr}cr5+m z)pX{qzp^D5126J^Py71rfcdS*^WPn`=ZlkznY2P9U79W=`u&W|7*t0)b%w_a$h#3)3!RP z@l?kJvrWwBm=5@woBM58Aug{d-K?zK%poG#)mYATQ*OdJ(z+w{MypbjvnJ=3$JNz}C0r^Mc{b$@PhoYG?-Jwc|5^!! zR!QcJ)iSSHh0-?nmTm65DC9gnciNp7`iHI`Y_jBfd~SwL;qt?GR?gkGgkj0k-l?}D zy|!$>;$|O^8n7r|UE-iq@Lm5{7YEO460E-(rR2l1%g)8iE_x<(#^~hbtHtx2Me3_k zTuW|nl{9?z@|>Qdq%3(uZk@@E`+f#H7rilhF132g`x|B69=5zQrf-+{(B9LqC3gQA zv&G^;JjGk*t~&3ytnXBXt`X-+Ik)Z|I{yndPrgt#H<~4Lvg6M+oRiBF4!H8vOn&=8 zW5GW2kMI5VryKHn&fuCqbHha5oZeFlnK`4E)*pUqn16JEtbor9_ZYce8-+^}8#nAZ zt~>9?@uOlZ75ME>RTSxFYtet{p9xBZJIBtb3XD+Nzp#p*s>t;jgmF9GFNIS zUxXH8p4!b{2630ybDYdiee~As+P!US_R8|G7A-tsSpW8ygwMLu9U^;grs{rL}^WmuGG5DfN!zsZZS-)}G(P#yMw;$SNZV zRR`77UlQ+685Vw;UBu%q)oti;=;hlvCsiHpuzn9)_M=X8M|Hi}X=kDCtfwDyyWD&X zz3d(KTr|?xjQV`%NmivFto@I8`uBC=|PTL49x_#o4(6L2F z3%>mDOjY1t#!&c>b8Dg0o{Iup2A4|YTpYF^`r&yi?&zh+?dKf7RxQ-IV7U8Scd+q> zXAbEJre6QLS`^?*+x8OA8+kCc~SFib^v>G@Z9N-(_60>S7%*%u;DN^JhjblTX{%7!yzy|{~Tc9@Xm#*))sU(cE(8E(3mA**3Kqe7>sM}J%W#$W0& zmkzyQvdwm?GJeCgN3CE-SEn0C?hNm1r*8K+o>zXvCY8hVCG%>>=A=n%l1k21H%_oL zpIB)S<@AQh$X({{mcl;KzcY@#`M2dCkN$5XiAMKqt{=Q@e|P`0e$HmYvpnSWC6xm) zjY6BedLQ=Y?=ke+{z0eb&h|fIceD)J6zV75u<}i)@KRjZ{4VfzM$@;9h^r5eM9oQv zm}ld4Aw<@Xt6-Ayj}I9R!95pUjNX4J)~(ZdCBbX8U{@CN@8k^+Gr8;5bg{Ah=qbyO z-XOjrQuuLx!t5O96!GqXwDn`X~?vH0*KgK0k}pLFWHyEeDCX#JNskspe8 zstw)p>a#ZfJocojA%u68%TlR@OSf3|r%bsUxOPKxuB?w|Xr`B4$IC0LE==Px-#U-q zhsAWR(%IRX>w>;~$XR(&I(5CKGjG@{k=~h6EK^PG^ouP|$W|Ztna(9rGiU3i%5NF0 zj}*Qo_-F0CBIa>}?QEE%)V%K+A1w4c>fQI{>%4chiVCRz=(XIieDdO3?b&JKxh>=cPDr ze?C-dBYpCq?`dyOi?T_RxEB^|Ha%9Rl^Q2zA>cjbuI6=)^##}EllA()%n4Y{X8P?4 zw@|6f0|9=4b4Mqq)mQQrJTrI~vr(esLB`E2IkWSpR2N4ac3?JkZtrWZRp=}YITY)> zCaSS(!LGTt-c@ILt1Eo!|7y;9rD;g&rb!E}nb#IMPnZ31=Xf#5HoDnM zj~Tz`vYc(<@2r}7VdV#=3;majQWrM17(eMcFk8yIS3`qEwJ{@0f921dUkm&uF?{B$ z+o_SbY`KQlzQ!A$mz?z})ydKE(VY_c;gd}I4(Z-55F7l z;(G07xjpOH8_mwC#wFt4m#tb@e4}1@udz4pZ7uqcO7gJELw__%&_|rWHo;z<0wk+OT&MR$@Zx~__*Rg7n*52(Frq9h9^dID$~ye2!5UB;T(H4b*)-U>AAJr z>c91|{hi^!^mX#YNz*xw9LWFDwCqCC&8=Nq8}D3@+^V`o?TO)h`&~;MZZ_m=x=(pv zeLmr6?1`xcXIAz7vq)b0aNFrqtbwndhOsp6mfN*+&dX<7CB?G8s^sRa{rvResn>a2 zCz|@@>#Dm~vNAM%U2Y@%Lp~tf?YfHOhV<0ZWZf@3^>sbpjx|dC{jl9EA};3r3wEC) zuU>CZ@lRg)>Z$JZ2>DA@lYh0CToTS){rqFY>yNt~=j12bUShW44mjWZtb5D3qdz#W zeNf%H&a?LLY}p?H0fG~(`I^7-zZxReI=NC**yA#IAxJjP+^S%-g>{EMlyiKEdavt@hlO zyQ;A(Uue%?y>}Jw%zvr@ZYHBUzwjs!(a(mHD=Pxd*F0}^?ynXv-8t?I0 zV676n?AG-#-^IL6)$i>eo4h&Gne?H4(Tv8o_Q`L2cd2zp2+c^*oa63Y!L)aYRLVV; zin+RWK5c7Pp7fpdq^sy;gh8`vli>?%xw9vWx5Y%TeJpZtxLL{Q+rDG%QiaIXE)(Bm zu3@;IA?TMmgv>Loqam8ajQe_KPbptx$`8u zZ~duE_6?N>5+9q1r&x3cc7NOGd*Os<;qj9DXLAa~8_&M(dBC!Qu|25qTJFNxFFFFX zlx{BOl1Sg;7v-T*(Y~{G@$;F=T{#?j?8O2 zctv#QtPNaSoxe|J-E&SoS*Cx>*>^jRW-PurP2{p#eYzOW@$R-y>%X;4=sVvCR8YDYFXDAhkJ$v&BulOu5P z&yB@iY@4<|*1cM^_NY(S@hL0R()p|#Emb0;i@dh!ZH`U|Wz<{Pv!=veb?4NQL-w;X zKk@drR_2(ya=M4CG`-5pxBgKA_qiq8cxz(rFccdbf91_9f9hWTN`!mE!}^#B$Nj2Z z<3r~jEW6&H^4y^0_M!y_AL2gLKQ(o^a%EDsXGru8!^{--W0AbBXWqRNoW9s||I%8% zStpJy-Wsu>vrtVeJ<@Tqr*iFilb7c2^!%Zo>w9I5Kl?f_%})M* z+-2f-zbW_L{c)Ps|5NBnj=_fg0-hV=o96M(bI}d#De~@ER1z4pVMl2rWgV|%MB|(1STDey(FG4al!0? z&qrIM!ppZOA5%|NJbzx42`Y`LP zj?2qOZ4WJ+e_#P^y3AFIyP82{3n zA(FMr_>Y83X8noV<;#=0EO%{ru6Oq1OREL;J0I(2PMpFabChSN=8BawYouHLZM}MI zYX7#Wlbt6W{HNW!oV6?E&D9_q#aD|J<~nh#U19s4*YJFdyvRJ}O7^E4Pd1C|x%((G zUsvC*tTy5I+grvg%hh+K+`pH-^4;#@^h-15KFpAGdARlF@q#`5bL-`oTzc@zaDP8< zvRd#ZF}-6cBHy~Ks!uSANW7QMY+1Fy=k*E6Jgt|DK4kPtZh!fA_RKTv?C*tZHtkS! zTd{PGWg_Fn`U@S!$2;|(D}C9Z^5GHFt7n^{O1UF{$H>3knlvFn;7n$0YIop;@Tb>b zI{7DXMC&vvtX?KG<5aJ0X6P5zdf^*~j^-FD)E36^Ox8Ym?z>d@?Q>K7E$_tdRMhKV zqq%2Bk8Qj@>#=7_sF>bG_Y z9Z*Xam-7t%ksT^BJJ2%4`_EFXGqXAWpSnInFl!BtF50> z9~$_=+0nmsn|r6`{rVUA;&+9~=^GzU8NRJ)<1b$^N#32q zGl;h?rl>2?Pw!cV;n$4h1&PnnH-1@ndaKr5t7fAY9jS}0S^QSlw7uv!(G>s3p!moF zofWg=cAXLy-WGUh+jsUx{_Gvf{&#o-KmTXa|C~F2x?&lR$oA(ATy|n=mPUFOrpAUQ z3g)I}dKRXJre+F;24;Ge<|anQW(wve7J8PZ#)i`sr*mda|HI7XIX%CIhkZNi3@&XJ zMziULbGQuar$w*-skYsqN6pTA(~>Ct`6{=Kx?CKYMW!|$W9<6(o3A|l$t0Pgoy&JC zY+P9VhOhnb%!hj{s!Kc{{4eIxce`+G%ajvO@BV#c&wcCeLhqGQS3fPC$onw2{QXgX zuYZ3|^Z$>&R~tLw>Gj?E-QvGVFl)-*SyR9N z$CoePuFL0fDz<-P{rBVEr=2aHDXWisTDkYfvfah6-_^(Mvya+S*`M@$)xxfTi9Srt z@n0ooYfdz1-A`pT=bqoH zdgr4KuAHrR_;K)dmXbfw%b&b{q^InCOj;ss%ZJ^kvwMV>*Vey}cz*TKEyItWuSnU} zAKdOIdg*BFl5Xy&B~O>xmMmc@j@j|mKE|@VL48J=YV-NKPaE0XWQETk6q~! zA+y~I9e+&Xx@mASN_bZG@2=Pax8Gk?CElLC{+{8%{tquX{{7qfjzeGNcH4usf!B6; zU#J(VWYd;nJm*l7^x=NdBmslXX&agiN;anNjDJ$g%V~FC*NMOW@t4FO6DAl|_$sjL zi1vzfmvnn>4ABrve_+3q&1i)H?~BmW+b7TEtyB2O{`|$R12cnOe<om=fEb?N_PAC4R6 z7i&u`3e>%&dn4{tewW#Khqn63RrBLd>vfywG-s?i>h?EC=5UMefv$Tjx|;<`X3WoC zBDyKlk~v@TKy*)tZmFt5*}7M;oq094W>g5}bR_h;b^Hrj?a#EuU1O z%1e8MW!_%3i%*`gzIV?;wp%5)e;;~iT$8kG;(}VEA2r)0>ZQ4=TDd29rzXhNuWBd^ zED(%cu;Bci6>q-pcI9JoxwiY^lP3AciEXXV^$#qNIWr?)j%SW-aPKvpA0p9C>Pru- z{k`XxaQr8`rG9VU*!)rczKi)wviWxAFP(h(%)9;XufF(rwra3!0q1MK3%`%#nZJlt z+wA(~`DWW)TT%rUFrP>eIHGy;)x@v2i??p9R}Oz1tsJ^Z{;);EtbkDUsBME7v7{<(*}Y|X_U1A)tzXS{S> z&g1G~;NP|J&qmLdU8@W2=J30``CsAPq*ZKEGIejT;;Iy%t#>v_*tKnzNoV9%{mb!5 zQ1vfIaBRKj|0}wQHChKV#NNis=v3V{ezZjA^kJ7D^JNaEe|vgqBKrcxpWAY#hwj`6E1i$#b!43#dd9~s zMAZ0l<)KpXyQ_R3^BM?fFS*xOBedyh@a>2FF@G6T3#_*8n*01&*u$;e3ENw~iCCM* z_dEW5aQQ-t(&E26KldIkmYXqOAbG=ye#@dm$+!Ae=VdxFd{}Y#Q1+3u*d=WGr^Gk@ zIMBAPwc^Y%38qaIr#c+#SL-}+lx6=kqqhFpv=8Sl)<3xNka5-JCD;3y*B}3$CsTfJ z=hreNTaE9@JR;c^`eIJ6l}=XKJQP;H+Hot{erv5|@t1Xit3Mjp&k6eWx%^vk8PB)t zdzWrhG<_92@Aj`2gS0o+{K~dk^B*a5^qrpUQY*Ne@7I~yu9&bqXZ01%Pxb0|GqSo? zGX8OmSZ4J4-g&{#$xbIVWR~#XKkaImC8glp<@DX(!qx8EZ3m6(3q`tWt>V;fR>;kL ztRSJ~3(>NWzlzhY_t4aPitE*=2zCCBGXEYaG zb$6Os-&g3tp>>G+OvRB9=Z`@rrg?31ecM@Z>{jr(a~lr|yOc-Q+urPdDJ&$v^~>4~ z+as@R%^-^vE#LrO|#*Y+9GS#q`B>I+Q+%O)|+!gKFt+X z)cvycmsIZBz($ApUUS7nI_7m)>i8POZ(J~;+el-Uw}1VdU0h75@{5}^2TA9(;!XY-^xv~{Zn4d?zttpT9|X%j#uIFL6UDa=%zSV zrcFt&0}rI$?kgYULN`DrZ(LccJ-S4LyNuMNY=rn@^0vg zDdv1E{XNHG_|wnLcTnh#2xt1;Jj?j|%0tQR9!buvcWm{73PX>d(qWulch~jjv9fft zg)<*7ebi@tGV{TSEal*zf_By?^CEfvhVJ{LF}3zi^Tk(PhvrDhWbX*G>7A1nk~L$K z?~bOesngFt&pNJMW7^WO zYVpn_{p!@!wFNB=<-%Q!OHy<;9oo11!1jbcn%px#I?niMtx>#HeEshyR~OkoFN@E< zqFL1FA+0>e$Y|}?V?s%rRhOuny?LXqr!aZOdiHI?OXDkgw)&PoCPf^xE7>G@7u$pix1LjY z$N&6v`vSoQ-z(=meI2mt`qmoz(@cIR-W!R0sZyz*c1Y?s&#xoC@BPa*>bA^KS@B=M z+1%7~j@==~{DgbP-&(us1Xt8{T7;#qV$GMnvHa4XvYv^bbHA!2FOdriJUlaJT6Ns1 zVo}3y7mXxa?{8kc|66Uf>-&plD>TF3C{MdEJtx)iThFI9jphvtXa9Q}ceilDTY+mW z2^DJJ&onE{$f%c4&b{MW(6pv#!v3a5`rA9b4>q?L^iRET@>tKdyFzP~0=iwrqE4r+ zIuO}7*?niLUd19iLC5*+RkhCy=A^Y(B+Fin+m)R!qpbc)rm=s9{`KB(r+8i#cGRed zOQrr%OQ?D3)3(um*$AH3g2+t5pTC+>d(7Z&$E`b6kJ$c`2C>Ooweb8 zHz$5Rm3$z0p1=nck^io`ZX#~&F;)_e--GHNJ^N5+?zzipPO!a~sMGpWCv3Xj?7S6P z*?E6g>YaCQZ^n0K&1_-%IN?>Rot?}~TglIVd9QChz2@P~oy=>l&2pdpe^u^6&76Af zydB#sjn903q2A*m-sik5?fi|z`6pkR2s{!>oOU-@l7F-D*P3^mm0i?yYqJm!qq%o${6ryqx-OA3s0mx7g?RcjfLWGx}N-w|n>8Z*!jd*O*LY)|57x zqb$2&)x`kInvOMd&c&uD{^`@TTRgF+n{VxBmwFXj)`xF-{cky|e2(Tj^zrfMGxzrP z%v-=CF17RXYMpc2MSa%%dATFyPO{v$)4KMCKPT#mF8(557JkA;$6qk=agx87%ry>Y zBm4W7j~#Dxv|Mc7@YJitV9UdA;aiJrUw^I_->7bVO(O006Au4H2Y*za7SOxjR3ggH z=d_EVQ~dg}`dAsuMSMjHyWc(XNI$}Ky+%+)Ci-TsFyF2@xA%pf+bSp)A71ob>9fUw z$iUw<3V&|YE#oas5pnd-G4kMw{BE)4cJgLI$yZyp-aSqSVA(5G#MWK^YHgyW1+R?QW~MS3g0V z=<>6V$B2#1$k5El(rCKjR31qvdwalC9z$kMqYy(gD5Ucyy4s`)BaH5_1U% z4|GjT2~Ns!57JNa)-Nq`HMC6MzJDf9BvZYiv4NR_0SGAM@p6G^GedJ@LrgJKGYfQe zW~N3a7-E*DhUj7z#wL~+VrB*)b@c`Y1_+BS%`A-26WgSt6+e*>7NGYGQ6~fM&6ok*T>Ux|o@vF?uMN8<=5=nVDIl>$Na4HZ(^w z&%&bK%nV)7(!|glJ-93_jm(TuHJck4nOUNVSs0pHSfE*KVQ6lE9>o@h<|bxfbpnXs zw=lFYGBDV#GLMIevEBmBRR$(T2I!G!U}9`(ffgJFX2vGQ=z7hJ%?#0k*TBrw$Oz4s zpm;EY#7#XsQ5cw67?_|LXk=h!WP}#6MxbawOFTvf=7z>#Zz6nYWMFQBo_LH5EKE@y zBV%A-WN2Yvg62CTP!L&84_UyYTyJOzT2cebFmSgT85x+Hp}Wi2*cjdOM#jb_=ICxU zHa0g$x6ataz!XEBiMgq%f`K{6W?0TKGPX1~ME9tPfsrA)W)p+yiYs`8>kW<2bFPV@ zrKKrarZTZGv_Ow^6AMF2BQ&eb3{8#DGn$Eok%=jqe@rZlKu1g&7=Use%<|$g|USxBxQlsf$TRhu`sqoPemXx z^bBNTVS8L0s;f6PKuh~37AD5#m`iJ|966AM#w%=k35K+oYO7N!>Fn08p2Kr$qvcr&puGcdr&CT0fa7$JjM^_W%*4XX7`1M!2gRqEi2=kl;4A?N1v3-$THeIM43cM&Dp3;)GcyB>U^O#? z7T(C_nHyu;VQyKE>0=AbL}+GdjA@A_a_tRqw7G#9h9%~PMi_RO8^RKBJ)-b2H!{Pp z#N5~jBks(NEio;@Qo@;Iw24eC%uOv(?Wi{}u`oA7E|H)<0j+ffF_D7M+#J1*HL)nP7yLC8)g(D*up+OiN?*<^ZU$MQ>J`SXg2y`z=i|^Sh-P zYJLZ0cT00bcCUxD^i4n>#>gg?7MK->r6p#5x3t8_@0JDz82R1Oz`zpS4lPRqL-h8n ziKT%NMxM1am~Oa{N7&ZD7$cX0A_hHiTN;>P5X6`%rL4YO9L~sjA>wEX<&|# zFD(tGUj!Rrfsqw04KQ0xmWBoxS<%vPy5c4tVOv8(^ah=YrJ<1_dH`7(f>x8GW=KoJ z>4jh;OwfC0CYFXK82Qc8&=j8EVA;*maQZ>85oQ=U43vH`g456fBZpZUP8Zw^@`xpR zrZTZKGQh}FmY^mvS}9^_G(8bygpm5W~QCb?CVrDvHQ&>fb z@SL$3W)3v2H^-Ji^95dsB zn%d}D29(7y#p*G$v8e$@MQLejh?$K|4KdobmZq3}70`+W^g7Ja)EHV%BDG^JO-(Q= zN=s8y%p7iNikZVr%`kJgsX6+ng^8u9Ichx#YR6idT43gPQ%lVJZfc2{-^~m#^ShZL zW_~v_1m|~9W`>ugW=6*K81Zgqj8Rd7Dr1b2)yxDlznht0=65qw@3YJG4nfU$O$D8)*F~unj2u|cXLC`{BDjp*%=~U{fs)@13_u>X zfM<7jJJ!cw2Lh*jL@@ty$PtXhLN}|Ofd7ig$ZVU zw=l)5!!0m|>P##x%%J%l(FV4(FgGz!0F{5pabjVCne8krFvcbi4jx#X8s3}bi3@~a+Qv(Bxn$pz3V0z&m9^rZe3-r-o zQv(A_^z;rALr?Ff28IUc>D|=8&=9@N3KBz4@1_QZM&Rm=50pxwRe-61;dH^hpwU!} zp*vFpLlg8W&D6lq6un9ViJ?|$1_q{}z7bl7z|_Fd96f7+#K1KgC>0fyB_OG*bg31N5$+sezFpdW{AWLvF!>>^CqqFfu}~(m-P9Rhp@RkuiFe1{yJh zRcQ#17@45gXr=~6rsy@Asew_w8G4mw3Yr^1tD8*?jLgxiG*bg33-lH&NDRG3Gc_=> zM6c0I4UC}!ok*=vkRW=MW@=yzS_%p(fZ#=&se!Q(dX)we!_1e)#^^Pgse!QxN{t2z ze~=(j#)RfeV^j1h&D6ly482MNiNUKhc-l5LN3YRL4U8?&Yc!BpJ$jX9YG7=MUZt5D zm>3wM4QhhKFmtJiA!aTG&G@0TJPb??OpKtp6wwMbH83#-XH%41YGQ)k3Np^+e1hmx}Esjkr3^08R={cf05TiOYH2{_7=sq^Zs18jH zObw0e!F?g*0^Ss(Iy5yf#i$NV4NNhrLy#C|wll@34owYA;ng9$6$%nWpOQ2+Fg3%> zI;Q66oj+3pQ*+FmV~R3u0}5VK15-=1oKtTA5=5V|G&L~8m^?EzFvA$=1c_m$elv`L zPE!LjjDb#&n1!J#dOVq#p!dN{4a}w+ZsQTQH8aIb@MdNv7|F!U95cf-BBV2E0 zftgIrEHRU*nI&p61*KARjQ)POfbu63lm5xMX7BpOfd^-3p30@ z+5%%?g{gssIc6DcVS(Q5Fg38SKDwHzX5;ii3T-#V;3=NtZSYj#Q zLH!Q&Lc-D#Bj*?z7+^Gw3=IrXa}KDsF*Gp5D5MPyj4;|ph6ctMO(R24<&5SSLjx0x zrja42#=uZ#YKc+X7#d&}@P-DM1-zjFW&v+#U;$dp04iYMWs0Ez#!Qx}At+cOjzQEm zh9DfFm>L=*P47U*JWLIZG3Iwn4UNq(%5OtsjL9BTLt}G{;@i*|W3tE8 z(AWZ__^vlJ#+dpsH8jDP`T>byreG6{bv>qrCPo;I7ef;xjK+(hi7_YvgX$loEMbDN zn#}x@ z-2OAf((X6J((X4jH$Y#MX$q=yFcO?O#yp3qp}7&tpb#khO%2U4<~cxO7@Y<~bBuWo zQ$ur%c@9%Ub5r#70H%hh?S4?%4-%`#X!nC^O7w9`Lvzf59Yb?0WxqM*z>c8>bYKU$ zsJ1Wwr+!fVk4XI%m;*b87MKG&h89Mcsow&0q#VdoNQD`ecE6#8i3LjU5ZwN=z*6>G zm|={s7+RQNreF(<6>O%478onoKw_8)*uv5Tv;Aj@v4YLi(9!@i1zQ?obX*NBv6TIm zSjv7&aM=$EE~NIKC6=<^5=+@{iKXnf#8UQKnqdry8d{p8q<&ERn;Kf0L)K9uClE_4 zWxplH3N}+iOU$z0$N*yno2iij#tJr&n57BYoR_JQ0cP26WPn-r8yR4%U^6u`z%2WX z3^2=nBLl<=HhBBb$N;nKH!{F1`;81RRn;My5R%J#em{pmP2})H4vL95SVXVeB zH8O#%#zqP>Q_QN&$P}|GGXiyP&`TRr%&N@Dv>vlAGctwOWr&b5#jMJVOfjo6BU8+( z%*Yh8Dl;;LR%OVoMI%#l%q(My*^MzW#jMJVOfjo6BU3C@nHg$T1`2;uBQq>@nHgp` z#>fmyRc3~zDl@}Um6>6w%FImbG3FVJ%n)@MY_iM93``gS=}BXdK{Y-etWneEImyD>)QXhT?_)}oO)`WTjhsgXJ6 z5SEcS<`9;Vxv4q&*ocuiW;e#j9CO0L$lTmK38R)b$DF<}GRK_0FfzA9-|b^+WPv$- zVPrA=;&~onTMNvdi;)Ft&jmCDZ)AblaWS%(u6Th*xZVP@uVQ3@*;g^Lz*v)IYGeUl zlZD9B78pyiOpPosmSmY4SwNO##UYP38(COj%%mAvVD?pvEHV2kMwYO?3R1~tIbHA~ zk8r&uX79wv60>(=WQjTLY-DL-h`fmh9GsTWSqbD85op;Tdf{jZnUp|TK4D}zed9$Q z;Xu$*E)4aU6A?z1s1p$o`zFy&#u&>%j17$~(F+q} zL(I8l(2y$nxR=(3MumHJ`B|#!@R&V?&IkR;I>=7)z}{V$hyH zA~zWuVXm|?HbPx#1qy#t&_FPTkBy8lX8eqej4_&N#zw{%%`{^p6O3k>v5_f8ePL{5 zin%HSw00aLSdGlV?KI@F$JodmZO+5M)Y!-ZGou+{uDdcevV@K}Ak}=v#+VDQjEylD zUKtx3VrDyI$igcW2O1k=%#IryqbmxLV-t<3u?fZ|8dK0j0eTO}*aY5h zL5!1t?o&XohK)@yJ1)j17(1FxjZH9i)R-EZm}0Ex0BtQmwWHp^)Yt@Le~qcJ3C8{! z&|XfAE|4*3-xhjtYl5-a#?%V+?X4hB}Px zrl!WGCh)EM@Np7jQ;cP{rpBfi%WOenn5o~?9Am`T*wg|u^_yCtcizQKLEAVm5}es| z!<(Q*BnBAsE5>Gq7=y&dW=5D*g_#j%Rbgg~Syh-BV~mm+o0)*S=Agn6Q8}8KV)V_8 z%}g=+=Ei1b7&F|)X66_(+{R|+7;PtGGnCREWWRx_u^E=)-VD657L+>?4m8J7+?%5o z_n_8@u{p*T6jNh!%!Rea=JgnRP)tF0bzl?)=9mj>jmQ)3I%EhwPy2MI#!3Z$CV0%H$~ zsj&sd2?`)F%*zi+d9T%<(J}1I+O(6VS3l6g%oc{Q-2WlswwMDj4}2fnwl6JVJw6-!P3+>L2v3C7?_%1Y3Z97WA3*wF*XGi{h;~>QR$c% zV;tdRYGRDJ;ljiiUMOfWZGn1C`ZTp?t!i3uqA zV~9c4!(5JQQg4E}CdgGch&67&tdEHN`C9OieMC&Y75+VbNO;J%|T66im&bjRT~FX^J_?WnzliurM*T z#I)E9OWHCs1fRMFI)Dk`JIu|kp!NRf2WOd@m>FaA1x(D0(RcTmnwVjn#AXWG4vpMb z1%*FI5Mvh5#0;|;W@3if3^Oq^$KqqmW*Ddkigsv}sfn3oJw^}4#M}VW$L5&JBSD+E z(MLf|%s~gdgSrezQD<(9vH8Qq+!*R%r1qbQImUr$rY7c?bEYQdrWga_pd5xiq60e0 z4t;#X#2jiED3b&xmavWZNba;W!D2Dy z`ZVxndi0pFoNo96G)Z7?h!H=Qn9CAOEGQwmOwh#A5}-3v;duym1Q6`=$n%%Qj36%rN$wg0{?n z+&TUFCm!B<19L1EVg`(<#?FOdcWwYoZf@N`wsiCO_QtANN57KOgF++)X)-ROdGVR4Z|Zwpv_>p#y`FPMs8m323wv>SEH!uZ_`JfN^m|~tbV`^$_iLpS()WiUFpac}v zCWaVW$iUr4bkCX88=;?uXbS4oV3czv#u($1pcXWGHxtx8#qfv;<}{e8i5cY7QBaE% zUcj1Q4vd0Er!jJ*$#lkFpmjo)MwoV4VvItWg0@SddmOZN15*q$R!uRx!=|RjMxa;) zMI9pPfJVwN3^c*mDP(GjB{`X5NlvC%l9Q=9*kWk02(sV6)D+7eR8vz6jNKuorkDfA zrlweulNpxeWQHXPQ@VM$JAm>arG%}g<)*bJJSJdt`Lre@Ie zgd&C|IhmQGpK@$!Y6eM8W>}Jw8J6T^ZU9NT$W~#V-DqlRZis1>Ip&5pQ*&c*-xL&` zh~#9Bal!}a5F(7usi`^UJcOyaDaMpFsH28HOk`?~au6-Zegjieb8{@3EwEUOxwy*I z+!9l-1?K)hQwu|5r0N({shFBt)MIV{H?=Ur=oN#yml)Nt1?IGksf7tf-_+E?6r*En z3OdaclyOmNMGMR=HKrEm%c>1bO)V@Som1qrV1c=t($vBdqo)Sy6C-;B6#k~Bp!5Ae zu0b}?(hy@k1Zd9*s0@M@1&|=L#5hLP)YQ@#V~W5O%Nlf3OOtwxu9~SO#<6s!rj}*~ z80E1g<_Zu~OLL5#nyIA)#;z$-OABaE4XJ-=YKb{6Y-V79(N!}uz+C5OW`Ma}%gg}d z*gnt#MATjkXnp}S{(u}Opo-nhzyzZUWM*K3su^^Qje#lp`Ol_i24)!Zo@NGSSoE4> zZc;Eau)tz5=BiLL151qV6KK!`y>2!$G{9IFX9n6A3Q2E>`2{mWBaC*xnV}KJ#Fv?& zF-E)J%+LgjUK1=9qt7tc8WJ*uNYV(1o|8Jc2@QJWcp3IV8I*!%)W5WS6W zW@u)BUeJKVP@2^S1_q!2L?6NdiJ><`KmmweiPf7Knwz6{PC;AI&>K{sP(|;unHgGI zpx4x9pna=oWrdjuXl*^z$Iy14nF(m&B-;FfnTZ+3z@!=IkQQ_UP0cYTHq6Y7EYS-e zGc$9HwG?LNMh1wi2%TRrGdDLyUj=4nVPb@SR=t^pr3LzwkC~;Z8Tu>>=+JxgNfFT2 zHuNlOQEzBwguWBO!VuHd7KY{)=xYxw3@tH+do7GiFiy9&FfznwP+1rmf=6~i^$)yH zZ((F;fxc=BbUFlj`E3E(mVuU?ER2kd(aQh}BhVsu)OfcrGBQJI&qC%GEI=D4(6X3? zkrBoX9TrB$7-heOkuk;&c?-~X2ecyH!pIn7tkS}$-q;Mi*J%OTxqz17EQ~M@3bHW5 zoB**f0wr~HADftM$@Bo>ua6s4wdSs0m_nOShDs=E5S0RULWz{~&u delta 62181 zcmbQ(WpcgUWW&8VY#xrm;U1oopUhbZWp3`CTgtLoXi*d+RA6$^;^$1Jrpsd|F*7k) zSWdT#W|rSvv+O71M<>psmb z*)uF9vhL)k+g)#O^u-tUBTUrJpTpR+Xou}Q3Dg}@w3{tG(`T(7^H%6}w9spYjm*WKM8rZLXmIq9dB zQ``LmUwigl?GF3%tZ{CGl(4`fJ^fd&;(6`AaQL?0?}*+~Q+wZi^JKY(`(`b#n!2lZ zSH0onzu$G?k>8GayCwX7_@#gTP|g3xFLF=PgKMU;$EqKEuP^4YV(IHFU2$Xig~u20rbOS|y6AiMo8K22k3Xo(`}->NFSB`lg~Tr@BSn$$ zT~)d7Up2nEU%;{V7SGpk#aTOC2VtlSiOzbQ~vTlKHqtHnGKu8N|)Pac~*a-V%+ zXSaw=>z}+gv#&NcoiMYiUsdLLVcxCQ{cl`;xEA%sEnTIs*D>lx*hFE5Oa=qJZA^l{ z7R{)Bpfm0K<%genxJ?e-Zy1%t9;cxTT^I<2&Qj2dgZ4-)~x%N<4_Uz>74+|ewK1_Wm{wm>^ISGs^74`^}iXv^?$vii<0guSI3f0xx(fjr5_7F-W4%S%|5l_ zvEXsxzU4CKt>en}JgYeTabNP0l|@-|I?t)3Z@T>Si)DU6nU%QJ?>VdI@LPPhkT3qX z`}7m9g2+f$-@i=+f@s{IN{^u>`7FOMSDZ2cZQbqJ?az73dCGb3TmE^w**3kt{+qx2&3z|+ zKbol@_v6vk?l&)6HPjHW9hf8}24oU->rU?fn!v1xHq!3#V*4goRpPCdyefve!L0$a}~(QO-tvkIJ4z z_ir-{En=j&hCE-vrS zn|^Qdy{UCddw+fWZny92<7hj*-#fk}A3yQoM7#2GH#>=+M^DuE?y>(gU-^CS9_vq^ zCziY2llpn{gunYeiJvD=^t;8$R3<*TIWgVMug}Kv(}5G~CjNFS>&cPdS)B6v#9QS` zF?_8i|^0OO*fmr^X-{a#;4EgSZ{vfb9Ck=K49UA6x&@>fO9&ekJNV&c3tQeo=OAmFCyaSL~P7O{=o| zx_zbm(tlQ8#aG(<*IIwQdPRQOzDd8Duhg!*JtyD#`N5pxnO~08xA#={d_TJ7)7`Fh zv#kEv+jfXL&f4{1efY$r#(%7uWvTWeya8p-H$8Ir9dr&b9I#^8aP>^>C0RbYNVnZdE)J<}f^h8&f@W(N!oTxYan{=xLXu0fyiAD6?Lr$-HJSPCQ+ z(*#b{2GsE;C^twZ6iZBE2zxN|3_s&C<~?j5f*UFsKIpLBN;xoZ^?~OBdzpTSY1A)a zU_Kw@D0?-Z@jkce7x%B}2j;t+5L(XgnP}Ql=l6jHPTz9*V zfiHRc-`z~FVl?`-7PS52yim{hB#QTw<^f|Cu@6cbrd%r)-e)?)p~zM+AzCqv(ey)% zf!2aHLyiN^igE=HW=^Q*FyJkan9N|L&ftG_^TI8f3)%{~%2=-$oNp0fy>cM=ASZ)K z$YB}bOQHeH=UMF;E(F?&pR(jy5xsyVj?3Wq6$N3Y3oZ?o3-<}1YUWyT@Vh9V=7M{? zPakuwXuQt!W5=P-4bAVh_OLMg32C0gozL)xsbGPAiQvt}jOhi$+e=MRrSOM*^C8jGdFG5T+p^N;XO-(d7iwRayKQ>g*@` zZdDR|&2Yf`U808Leye-zGPg>5G$uD}wXSz!-LZWEi=Fjv2KK+NVwf1pTAE9zeP(2} zn4tY!4n(SdxXxKTn|Wu^q0D?!y()9vr^#MQnp{;XSg!*zUVmKaKFDXCUe2N6-Nq!fp>la+*>Xqr?0YSr)^pWo9N0E@---sdXCf0sc$@cRC;YYL z`Bg4aGMDYyS%aR;8DD-1Ok$E5zP>ihQ8RZ}n4oHj~YZd-|V59whqJG8X+|y^$sN>(fzgt`7(1 z>&JyQwC`i!yx=M!%zs{T?;3`B<3sPCGB)^p-teGqy#PZF)5p;J+)NGcp8sC3hNU6> z)9D3k7#ZfCUGJcCR9KyB@oJmso)rde3)kCCvCcel;MTm>tyb+O^&6V{ne26?9;q1$ zyzOvhOL0*XX@4|PQgwlg39stHmnWFswTk*|VaSSc(LB*O=R|AJMCr2*avdxcfmWXu z@=WR66kvABv2IE?lLr6O#Y`a`T>*w#j!OkfXLOzluw3P^IY4!l)71>KRgPO%@LgTZ zX2Nc|Xy*#fyA880+FWVMbE#juf_LlUpBaq1I7=7I4pe8_x9Il8uoCrKePs)6UnG8s z{i0#jz_;lA!s8eAFRFKLzbN>n_RIShg(6Pw7lmJVmdMO?P`?=b!t#qwmE7I~eG9g( zVE?*E^-cbTwJ!v>Na-@)uH=s5n)aA)OZea9E9>o6|KregYJT;8_54tK-}Qm}+v}$- zUVriJ3xO)OTqo{}USIhOH~*UQOCze$Y{T<|?SI*BHOU=OlR5sc>91;ao9*d;v;GR$ zo~>oy+ru5<`8NIkp}LdXKfZl)Jj1qn*58i5%)iujap$^OUohJue7E_XYx!b!fsB+A z`&;e%dgYwz7rk2`=a#)UxSx>gQ zee2dFrxTa!uZh)}+060cUU_tr0Cxk&l=d5+cCJ+{-T7R?Bcn1sQe$7a)s@AUAI##F z^E?|RacJ`{YwbOXYDIjNM;7ZmezE23Ew!?V2Tz=L^ITG|7%kMJ`00qiTY=qL58^^^ z1y0Qh<0xl5x2&~b`B||`Q?5^lYUoJKRh;)Ht0~^*&!@I4ncM0o^Sn}v=YFWUaK$IT z+uQu2HN13$_bTeW)wne6e75bXtJ9nprz&n;-pkWgG^O=;VF>e&K)HQR7I9k~-52Bs zG#5_Ey`844yUCbE@Llf%&xgMmpWM&AuwUy%XlVM2*LNS6Feqn=Xglq&Y4Pey?0Fb? zZvxw{#j~#7>2iwNc;*`C+Il-l+1|vW=~HuG+nfrVcR|U2lC0ZNXV>22(p_HGU7jm_ zt-U51S-sWp^@_a}*fzz`K`-dl<-SczdVH-{sV!A}tKsgId@GPw(>GIb>ht$CWimFm zS-u}RyxB9eEq$^P<2>I}E)`~)%MWh$oXK)t?P*DcnWpZCoFFxj3g71C^{(Z&PBnJT zZ7KPXpSL#Xi3`@Yo&paxZrd{9s_>?BAKF?>q+Qk?^VBSR+PN+FbJTj9nJ#&o z`zMMVZ*P%Ql$oyB?=;8a(aGsSmvZVVwwXWia8``U0%E88mL|!hH?f~-$Q0%;V*meSwc?wXccw^J|lu!%O^yTDN@^Yh=$%u`sh(T-4UCEOt<1@28gn>_S3ba?+zn?xXeZHe6|WsVQ{vW2=0aoMMLh#r*~i z9A}L$xkOt@R;s?3y=dE)#b%XGDSdPE=2Tc^7ro8CcCy|5m}U{fFZLgKKKz!A-&wC) z#&cZi^*uI$`@^Cw6QsM|Y`MU5-t>3qRJMB+W(rpu5}MBVS+_kkHf=bOUUbPx?!1|V zyrA5I!&l!j)LUP6Hd|4}oT3`U>)l?t_{*wk zCXd;d^qDwMsJg`CDCJ?ya*}l_BiDEN=^s|r`>Z$_&}pP81pLX!RS(C)08EGKY2u%r4;sbOxQo?jx@uPraRsfBA?X9HHA#7=A7hyLcb&N zS9_+3+egbKtu_u)p4==my`vO7gfklzjpP`%fLfW>HZ8cFX`7F+CK$PF|6@D zX2h61U6R#)(}UxGwoE8r^Ns0~^Sau}Jri%q8o8~yH%H7%e)TQSx)Y(hQ+h()PBRQD zO^iBW9=5gp&xF{sdtlmt|l9_L+CLKI@V~ zm@oTQks9%n6n;+OOdiz2=a~*(*wIotkbs-LEYTKKx2D;$S_h z>bX@>|ITdFGJWRnDu;s)zWv*HUHtL;_c0&WDo5|Q zlpeiGS8en0x(W7H)cOGT(|2R|TaKTKQ+1nr9(CzNh z4mtwIxx9saru9|x9$jv<){(XGrGc9QY<9vIM&PxYR%g6ky52(6vNY8Dtz2#l!TVFip ziY&L{$<0dW?0q(wZR5Nk=MT(MXLwbNMZO=OzBX!(?q17l^S-Q1Y5G=R{d57#9p1N| z`87ARzZY_tUVi>Ed4t>PRlG-=LyjoUT2vh>VLW4zA?xep355xJTCcq8j9H>#BhBS= z)!EeNY)-Y;mhMG&&%LU*ona6ptDVBA@2V)a@6Er6gM2>c#5AVJYA5YE^2osJc+JPA zE!VXq3WRM_3Vf#TQ+~C1>14KpUE&Xd|5?wQ6}n*W#HXoJ(8-15Mr^e5jYc(pTr{L@iJE_-zU7b$3%aclfFX z)ZTqjd50mA)6|G1Ic28%rW4YK+HI*u!2rRwKycAkfFhi;kGM`mQ4$h;6J$17%dRZG?Mak19@iVF)8>o?~QM^FA~pBn|$eY`_ldIG}ISc8CG>Zn;E>} zTl+oLM!xRD3ihrY3unq1t&`(Ay<5|u@0e<#=CPt?tz(Z3j?PXzba+qL;VUb@=E*0ap(&dRBI)+Hw-!hEb` znr~V#UI|+#+2SX1#d7CTi|e9cjvotMBphewR;2&`w%u#hs{6N^!&$tR?R+GW?>_U( z+Qa5=ZxnOruYdFUVtw&bF~!Ms3*Z0Df4}zT9h=u%ZRhH)ws?H*G0)}NNAuYE_U~A_ z|KM?JjqY=^=IXr`d{E5%WiQ87w$;otj_#b1xbVG1l7WPY;pqeW{Q{1BST7uyHGzq1 ziNn%GuLXTyzZCkAvFY+>Y)3rkX^}Q5}K%Q_dF>eM(O%=-QD#q#+iLmud^$O&=}3va=z7BfL!D&J zy{m;2Ato-MxS)|o=>$vQ#qnL2v^t_TDlGw69|`;zbAgnx4$ z7#XapH>^Hzbhh!l?1S@@FZM_t{&>1Q^=7o`FV5J5b6PFJBR7Qb|1uJL*2uM5AXbF+ z^IiwOWh)~l6@`W9v3v_nk=v{j%g_!<#d04d&j@e$@bc;qCfkyTth)|2Xp8Kk)S|DLebJjQ!<~!$m!Im##+oJ#C(OvpLMb!+a1%C zV`)>3IIpZZEpXx_+jA#|SwUNFr5>ng)D|#_bQNFv@K0XNhLz{aUVSfrS^qu3J~%gL zReD9ws)($pnnO=FPxroJm~co#)#w&u@mARwG;X_Z zbEokAzwh%bf80t4bw5}5=h61EzpG2?cO;(|p8I$0cf)G&bLZZlEnmBTZQ{wxYx#df zS;yb2c~xCquA_NU=$cH#{}boB4|{Kui--#-Uz2oLV8hn@FUeJ!J0&9g%bZ93TpjmaqsTub9yf?$M3(kq&zIK??wCE6RqNx zMH8wITCe0)ZBR88YGi1f!~QFJ+OZ5No~%PZB4;g2YhNGu<;*tqUbn@JRXH5dSz0mg zSiE(mbAK%36IQACdFjukOFx%>h&dGBy-MiOwV6jIDb!yQS#&@;%|W|#kwN;w#x#jg z+Z73WR~^al`eHTbfuy9baOFw~QLaBx*P0yp+5c?XdAjh{O^<%N&TDB=t#4Gh2Jy*$M2z9tHffglQ=rx zyPLha_@nLPEa7$AS$!o$pZ&g+ZlQbmaZ=`@m61saEKy5tRz$T=e(9-Z+pw8w#*0TE zi|1T+QBFz0JuT>5Tr-jpYK-h7Mo2kU!WH39MUvu2{xB#PW@o(XX*hG zUo1|4He{1K-*2e-`MOb6=gXF@;{1|5Oj{ncn9fw19RBg@6BeDG{&~yU>U&pSci_I2 zBz8jKvsD!9mQ9B|cXUZC5d+k5`@gH>tKZIf zyrjc_UEZxqmExznzn8WPO@H_N=f9vw)^F2)EwQfKo*Y~=%f;LDZt?ruTYjr%2`lft zRbR1xcA@1#&oviTb`~k22(!d8X8#b!Bh_ytf zb^UUv3boo)c9C1W?BNlM)#p+pb!4j^{ky&4+t#`D%cn6o?g8b?awG5Mm z^|!EoRr||R-jy+XnZJ2u@Y^iikG`q(9@{bt^$tm>RG+#2%=7cN(&OJv#p^$R=aRWLpN`Bm8m?ogiFa<0c*Sp+{VjA>>o zmieG@X01eI=vCJv*X@7$t>~^e^YQbs**mV)<{o@0F;(nm@uu3$db#C?^E^9@Uu+H3 zVw?KVNOuL(BhzNX4&#}TyS3*s1)3iff25OqW9q(1Wk-b4j|#r@IKIiTXQ`LD$O)Ci z6JL6Bv+C5WfBX*5lKFOI4Kw%BS9KTIS{BHZFKB=CS8~ohrH*yemR3tMU%7ear_Fua zwR-7XkA>!c)h_I2skN6#KAxqgKKasz zN(-)wiLDd(<;;&8zHP~vBPFy^N;gH^X8g+lIuh+&dTxZ>A!qD!*W3xr(P#pR<}cJ{f8%4 z!?~CGL>RqwImF_0+j3SUo{e4^^Ka80szUE1U=lQ$$~hC0tb)3w1b(6rg_q|@f6 zRGpq8Hyc%LQ64|LGzBx)67Drw8Z4W|73(8+u8Sz^E8XR8kq@2;dwL(+ z6y>?x)!N68xp2zK7neU)=y1MSJ5w~pb_!GW#l5p_^!&EW{5$veG+X7lu^&&~`&_)* z%5sgR-R?@o^XXN&>pjao<-LC2JJh<0%YE6ekFr*)5?^j=DDl{}#rfCWY+eid`{zE^ zDb4-xRN~~%y`{Gj_eiPl>zC%&+%@^dlH-o*p$k(dtDIHkIn#Zo*mdo;gga}xW=;-0 zD_{RH*l6#g8Rt9KS>3zy#iYaKLs4ac?n1xf(;qveZf~!->RhmD|CA~_4yNLoxbKQZ zFAt?mJizbey-r!hV6Cao!wDrq;r@1uFZ5|K-{QhVndUw*2?(!^g175_Rd>er|5xi$YJ=7gm;t@7wiVKs8SN?Q*t->-|g? zRD@qX5Xm<6rr)=)fEAg0o||+Yo^(-VqSS_WulI$Cey~&uKY7A{bIYWxBNJVDm()c{ zOUCW7J?h$&zj2ede{-P|;Fw#B=%$G+7r z(Cn7Dzm&QA`}gPdyQ8{|*Z#EJ`Olp1a=D*O=EogAuM^hvuK4X~{p>}dd1v!e@%CL) zCvK?d@&Ed&BO+S4^nq5$V6^W#%F&0>bVs`1QMY;D*{v@xEw5kw(S(C>T6L_= z{;ju+rZ3((^AdOK>VItk9@RUt_C$P`apU9WTRHQ;xcN>xS@mdSK$D%W4sn`8NIvrYK*k|4E^1u2)`vAbMM6Pm{#lm2D8 z6R&Z3PRiHgd(^!fq$Q%feu=}*jdMG$8mwWPVqhV; zHS6XCx5VDIbx$3aE$R-mkeyii_Vxp|9l|STREFQbBGxlkQim-x(?p`DGn6fPjhKjP zy>8OA)bhklNi+9E7(P4I68NwpVyi{Utr@*1S9MO6SiZ{6UG?dU#k?1Tv@ah>y?3V2 zdFnsKzHGfqCLdR7SIF)D$Y>YU-Jhu25t_ei*Nm{EM|RwCnGvNe_vB|twU$e>-O_0N ze;2wYOI}}UZZ+FfaA%Nt+2zvgOOZ}DyXUJ$O32nP)Sq4bc&WRwu~G8ZGZ7qJi%P5V z+kCQxZ(OTxyylwmeX?YNKj+%Y1*KeT!WyFv($sY`<=^B8l;vUG0{R@%2wB}#nWhk#a( z6_W&++#E`m)!SQLj^~xDPx=UzxIl3ViGAy>BsyPGf`>GaB zy`HGHao4rQsme^N=I;DCX`#vFdr^(mdhZpcUlFv*I&F4Y_nunhH2vJjV5V7Sk5;=Z zbP-~gj@HfSJ{%|@RB&8F@!o=V4Q-d=Ck(=(tJ}BsGVU{EageANyu)XEv)WhI=8NXG zePw^Ytmvc&Z#2wNOG|$$TmvTMczU|S` z4Sgq$?Oq!Dsmd@dDmtg-FdYcJZubRzlNzG`+DAJ2TH$h+#g%cdog0$Pr5-gug?dOb0!_U`YdnJRO-Bd_i` z;hXaD%hc~%PI9j})O2Ug86I^VOWj0M-oOOD;uOZz>9(c&<>Kec&2)HMq1x52I8Aar zOZ(-G9+mv%@-}LrO$Q$zXr2AwYDfF#>+-YecRsptcE-1@Q(kSE_NP6(e!>mQ6E*uH zKjqlAt)0H(^$oMRi+AL|?@JC_xpJYQW?VVb_Z_mE&T%@_lIb#TJc$x~J}O{hDvSKZL<)*PS7 zio(;~OLi62pJj98v$`DMT-NyL<&~GSj!3eFAKkQS+geH2ZttR1)4u%_->$cR`|G_- z+WErGH%zyvs_r#4-(7e1R8w*Pn&075%Z^V7jJ;rTz4m+W%(a!Qoy(RqUE}4AJR!v|2S?Io+w%Gy?VKuJ7^!N~!|HQn$ySdwYy1`Z1t$LK2)=zX^=DPt zw>y^~Jl%Se^{LGFm}T|y$G<+QzP@Mk_P+=3u5IPE%=^D^`azTFhWk#>-@fM7%eP0g z53+v0d#h!?&f0>HkJA+E=RVo{{qOPH!PWPx8nU9|Z4NG0Drc24r&P-T*#_~7bPX}L2Co)*vjlD8qXo$05u&HT7&^Ae^+@rHFfM$HSenErg5 znTh;^9j+5xRy--(dHQUP(97joJ8wMSU2(77ct(q9YL=a|rEI9p|4ZCk_V0{*CTaX@ zR;3 ztmXHQ+GJ2LOEzhz%Vcd$IVPc_t<3_$>rB0E+iD)a_mNr~S*2ZAHJRm_lI_{kM~^&m zG2MJLq4RQ~j%)Aw94`H~KNkH~Q|8z1)NJ@Xf~Y-7mQ3 z-kYtlzxXC6Uo)!ztQN|`zHQs8MSHeb*q@&tnb&0;_GyBdx^Y@lECbhS&ert>X^pbs z+_UER@a*0xe8Xi?sgHA}v*dZ+ttM|D?of+8rdn$vuU?xc`nrMh=F#}aKWC}VypcXj z@9(M=3xn2itjh`B^1df-asS?w(sR>ZH-5SHCDmJgcFy}Pze4x)hu44ctTK#CIwtnA zY=5fH$qhT7R+LY=-MioT{PM07x{q}y_RSJ5jNew;Bb~Fr=hoa5^Xk+{JJq#|zpePD z%zX2@W6G3Qs=uwWPHvNqVY<)8GS6=DSBYd+rSy=PBL{6-`wxojE)VF?i`^<@kU96( z;oXZX{GGqMddIpZ${gQa`BO5r{*uDJB~>D`lrmL+x^}r$h%8;KX2)=xtL5628Ltja zU&7YcZPO5J`|D}-9Pv-eyxcQ4mp*k>>r>8u+i*XKdD~}(y^=LMZ9-({Ol3_v@WkO= z)*&-ikM!heOJ+VPY1(tRn@O5+v;W17S*c3PERJ3Y*?rPc#@JM+fit}LZ=uo*&lB|q z6LPuh_U70-o}Sba!l1L1w}?+ARb1iO)ptvx0>wd%{6wu)~LcKNj( zt$dgD=bhV|`iHAe0A(j zw&gRKSe^9Qos}0SGjw)Hd~)M@BEN2h)k3i~RyuCZUAC&NYpfzZv!sWfJgoR(>YN9z z0<$I4WKyC}_DzluekWLXc#Z7${GB_OZ_R()7w`R??|zg>_O;_2VF7aYjx@})-^fzr zFCWb;^vb6G_my?#D_9R7Kj(Qk(kiDzR4CT_<^3sVw*>XvTsd3t`WDw)R<%0woqjjm zKY2oWPNPDL|D+=(oE2s6d*myRtdKjoa*Bw>i9V6`IRzh{FYtJD-}RHA*CAU0|KF?j zZ+_AG-SF#+z3ok!Q)QCpL|)il`Tv%zcS|~3{-4Xz`H6Lv-Rkv=kIjDj`{2O~zoR8* ziuXP+Ha@^@`-HW6zR%$;T^4y_m0MQ?z3ft!tc!e-BCebEXqCEV2D_Pqj=LYP-zvK} z&M=;%uAXJ?U56L8dCbY#@95cTJ#V$#`JPkKf7LcQ%Es9-bSu<7-V(gt<@j_xsZ|VIf5hgA!IIuqEUYO$U; zwVmo|S*jW`<;2~e^7(7t967_h<8I~8!!zG*-@azSsT(g}?<&1FHAre|P0r_4)9V^7 zGv}X>iQL%z$5QG^t4*tP#q`#&Yi&slsd-0MNt$x6WZk+(z2xYT?$)}1e}A$5>ppS)oG<;luWl^*I>mYRle}Lay0@HZxElZL zyT@*}MRz?TPF|np+4)8PMRJP0{Ea)O9gCUWwA9y>uWrzeJLB}LbJ5jR8>}>4wB$Z& zxoo?2z^J}cl`q5M=%Ut#ZdaX8sj}@U-Wv5#IdavB>@5+#DhiYAuepfaXidRc_@=n|%kPBYv6eKk;zstys3&MT+jXe;qq#x>=U@-=k%F;!U>N>&4zF zd|upNnzC#9zRk(W-N`3jfBU`SQ19)!nfLF!np}2$ZS)46?98R7^_|Y}UT&P?;&|U~ z%jXU1yBBR}cz8NnOs6*IUHz$rv3vK0HkN+dxBmXmin_D|$`McZ7FVWxO5a|6HC3EF z>!@yF=1-|J-|yep7rOZ5H!IUkuhgs9ibZz(+8rPLod3ry%e?Gh_9YIpY&rYtU%ho! z3RP~+nceYsOXyGjiNJ6Un_2F z`!j+0;_2!`!GQ~fW_C}0LvNYIq=+fs4+^ZWIdpTI`sCHYZ#I1Bc$22G>srOx z2&WtG=B_E(!Ii#CR`q;ZnR7>x<8fJ;>vNyhXJ0JR-=bc4M!N42*K&z9JFXZ_u{Vp{ zxkqu&=A)-OpSkSLE0%w8?qd5=hI`82Z@2IJnKCEm$&`1^2N#5hEPgf5fahjj`*+=A zr#OY?zhQC7>dXHyGlu_~YIsTx&AwYf`o%le0$=_($OQHq7Y`Um_O-^ zz}cJ+`wi<)Kh)AHw(eR!xpDs`rZwwU=kL26_}chGp_TITAe zN!%~z%%$h&PT}qAyyY;n@XS(=do356d9F|X+Yt3)oiNCeL{%U50p54NAsIBsIAz~Omx zUD1W-vfQ(_f2!I2{!q%veREcy+p-Sr#`jw<_9lg{_0(pOE|@PF@QCOM6q_?tn${I)o3`xn95sdpjT zWYu+s_X2_6wM0Xgr)gBK+PYmbJGjU6-A%rUd)^4h2Rte|)wVu+g?LkZ^m~Ep^&Xt9 zF~yT+J^sjaYR_wj!>=Sl-<%6K+foswC~$9QiD01J(WATfx$Ts;T$itCdGXP`Ted1{ zOGL9woX_5!Fg@e^DTdB_mlt3EaAoC^CC#7HX7%vPRYg?Q9V%hF-7Q{zez&q=eATo$ z-!ymY-)K_2^O+~^{fQ|~pR*oCMs99ht-bkv{gX?xMRystI&2p*v7Moj{^2B7*v+#H z?_7$`_DC^CwEb^;*1NmxRFq=l&6ex;ekn{SdAS^nv4;-1%Q zw(i)!uJ*TF&4XTD>-V*L|J(1s*l*~6cG9;gxp(i>{C_O}hi~3_Po^K%<%hC1i!7a7 zVHPGvN=Dyr6Yy&^yUB^*TRx zi7~dU^*^w2ThF>>2Olkw?Y4354Y@P-`oXq*t8_nJ z+5FBYvpR3p(O^S^kjfW#ce!N$xyRjZcl&Dp+6{V^rXdIXdUW-ACs;W~%7=L~9X^qK zcJgsAHja^yd8P-o@l}#vGQZbiF^7Rj~D<2Gc3{qw?e##3e-jnlT{Uw1b z>pt}zJo{5NcBc6giJvoTS_LL#TR z3++sAb}Tva{b@_v9Q#S^H_tBr=;U60^V2h4=UVq`KX-+{km&P&UKxKuTs~uW=GSyl zZ}HS`TV5z^?JE>IpBo=xyn2zQb#;O3bFsNIqc+ZY-Zk4LH#D&JYR|UitERIGJ(4Vw z?9rA!wzYnSC5z$Rt_MDIld_+P7lv$52%k8ex8u-q3#~H>l`&OfmumIeH6~nfaoS^O z7S)~hKvL>n@)@?(I`3~x)1AoLKHYxfDXF_U`$bgsr$t#G$f*c^^G(C{d#l}N+wRqi zkFAROf8p@!%BoQ3`B#q|YuIU$;C%UQ@rg~(Kef)=#^iP5SG{l+r%v~wZ!c{gFZ-?d zEzY6rpP|X(Wt`##wrhejEjt+I=08x9Hu}uu=iW6Thf#HD_p?Aoy#~3}2fohS!0y0V zd*XG`^{dO(b&f7PaQ>~tskVj(-%h=;u)QuEv%&4aOkSJyf9CCAd;V?4zP)nyZ$=(E z_0HkTyQG)vzP`OXEoaYO>-rNtbEReCo5IsRM$}4kJ(sXsX5Uq^{*$X`)ivlnD&Z1t`;h;-Roa&TTWyL#KH)d#1q zG{5!Ef6lZYwu&>qxz>o6Zut1gP5xUz`IaYHO6ouF+`P0aDAaJ@`h)h@{I6ENs88p; zsW`7abOJN;{f0G*uTFT(R5qcv(Li{Wb{ALC-2c>JMW3$O7Nl{us;#trboSVU0P{kjL(fmlj{G9J zd)~ENgL=vB9EC?yGEzm0E!S<){N54vyCgAH_I&yI>=q5v7UQFi&4rUqw@tWm>&}tS zOM5HbE8YtCc3b9Urasr2x85vpxnI=ec^}m`B~K}sUc2D3_w-pdkM|`{IbW`D@l#IO zp^Bzkp|xJwM||w%clLKHn|Mx<>5|U&UN#Ti_hxH6>cBx-sPoudDe{I(&36{)-HQ?jNMV`(HnIk z;d=(+QyVODS{TEpaqa$pSb6T9r;P9C>AuNaE3;_Qv*$(0&APl^x~!Ey_WB%`VBF!* z`ejbbuS11rxl0spbcoc4$mj?d9F;i9z4#Ni!G=G|(y^hB3w7osCjews}0R@u5O|i?I&pLG7o5DpZw`=$Rg)m22IJY^9rJ4 zK0cG2ZvK-)b_vsd^Z`CXvvU2l8#=$qJ; zp^rQ_>80u^@)|MyRpjblWML}4RBfegz*4PETUsRQY}Y4dR!U@aHGNohM^t+p0ZnKt6miTLbeaG}q(w~?o%+ETXuc47~;{NaN zujA9!Tif4%tEExUdb<1d|8^)R8in(o$eGTp=EjPXO!zwamM!+uhuLI?Kim9VYhVFis=()U62+0 zc9w7d$(|2BKV6@lIPD?*zUJpS>-b~M`nk8iU7GtTCbM4N_I%eFgH4M3pOpWteDft_ zqU)Bsi#P3@^J(4k4{@7M2|=zC{htLMr2_oJrVzccCnrn*}1&uh1zdcXVe_7|V0$fr!J zWm4N*`^Pr_1xxLpOC6yG7n+WC-WNLaa*>_&qxgw7p~iPE&+vJ-^VY{cmVIA0O_%dq zt;rZJ`{SLM4#V~o(Pb6Q&vu-=m!Kf_{i$AiN@nfdSeyH^{FokpeUy;)|4hBpn@uc2 zv7w%Ix;u)0biesk%b$F!>SuFj_V*@5)x5r+NAKOySsz~@ zUQ*#w>-o>B@WD|N)8mh0E??DKY9s#F;NJ5Yhga|%n{6q3ESsla&xqyIv01v+kJfA7 zjh?;fa?C%+O`-oLzpiv=Z??Qtdgh_7T)h!b*MrA??-zVobtR+F^qkL=JJH#4%hq1_ ze>iTd71wj8lw}`&?F|d?Ec1jW{X)bi~e{vVs(z# zlzS4c$Lr^5ZCP!(>F=|3+U4SLKmOFensNH~yd73o)wZxbsXuzOY0saxvYs2XmOl}= zyVd#qL*Dt185f+Cn=i93{l@-e{)=Q5 z^?Pey$mmmf{&%&|b@TM<*~a2h`-(nKZksi)(N|#C`dK2orpE^;H7?$Gq4wC;MgL`+ z^f}KMs=lAQ$YV~h=!C}y>*v1s?P$lHUBYV-<=iT~LDge%_qEJLy8}&DcelNDVH`rx=y?63=)xDJ&aa*+&KmXelx_$R# z*>x7LW&CG4w%4ycUsK0^Sk>xFl>chW-M3N>R_ponLI>-&1TaBg$;j3qBUZI`i{zWrU#>$_UHFmW04kFefX&8AZ$*0#=QY`gwR zD)&2!T;^88Puh!K{nGH@J|?pIgp|P5R`btiR%y(S44NYEp=cSp`0xyATfeIxD<6oo zt~atgb^9xqXKb01rK|hJ^(ke=cjmE|H*MJdn`M4U{xcS}4y?_bC6dH1o} z{zLc8qxFW%_S$NH_$!@0%b+}QlkCCWQm5BtMo%)d-XdDR+4+Rtti2-pcb6y3Dl1N& zp;x!So40dmNP<`L5fjyfwl)bt&$Lewi!VAp;X4#FAyw_P>@=P7S0P-UtF%t13keF# z<|U_I+1kP*G+l8mD7$4X7- zboSMv^X|V%ThPwPyGXn#uvF#A^=?H&(RmL<6?~#Nq)U`@d9EERS@a^qQdn2L;Yp1_ zf}!DrjDU&dH(r-Yb=A9EPjZ|y!^+nCWc?o{&4{v8W1E}xJg=vIeD*I)IoI*D?(1vo z-bCKGYq|gJvC3Xv)2pJXDciy=&n`+Z(DDwbYzsQYQ~Kz&$MdhOX6ofJ!afC4IE+Pi z?$y%r{><~f;KdQvs`82P>Bsn!v*uk?z3V6>cYF0~HcP$|XZee~(%D+|Wv!)$AN}n1 zp1$_x#0S5x_Z{51dqeyS52HKzx@$a+TAQ7HqVRs+=7#6xS3~ok{d6?Ddgl ze_kCIo;5A5irYT?*({we*Fz=sd8Y4JReRL@=~o@$n*MbgL*7Q48uZ4->r|?H_H8=n z=n?w;@{>pXU3q<)zw%F=I$3}6i}{*N(hY2RWsjq8E@3fi?o zrc84fBDgN_P2k_4)uYe$g5kyC^o!@T=R4kSvwD*Lwng+`VM<_SLXv%p&KZVH7Y={; zZC3x|uid7AxeUAAuCEk&5M{S%gZhL8RRS|Z?z7#kVD_5wyNpNmkS*gg_m0rBZc(8O zfv?&H7O!$jKD@N9(XaLNCeObWJXbH&yHr(KZdu;?@r_gImE05D=F<$nW>~Rii=DFm zWx#xX`7&j8Yw>kk846a+EL7@C3^e^3{$%OoK=ZAl^{K{78~%&_VsQA+$LVAAWi9*F zSj&I=zp77J-uM4*^9NR6+2G?>3`>0oQ-ApRmr3jHy;iBkn%n=t#OW@>+wiMDC2w^s z>-#^oIkwWYc6nd@y5=WqFCxtQQ?D;`hX45YNe1&3{@WMn`!BRwH~Y`V3oDaf&9M6S zzs#Utk=^+l|2fyVZ-P%8{=b)x46iG&scEV(tnqtrS;YJ13a>2luiCpB?9TZl=Ox#z zxwM)s#6IQXjpf32^H=_N{ad`Q<+oFD$NY2l!b|&i#m-)OSN^V$?#orB_SgT~Jd@j7 z?^hqLBYHdif^?l$y-IV64}U%1tU1e`F5@mVEwt~eKN*v9Z*qda#l!-|!tW*~x)yI; zCfUAx?fHE9b)Wi!NgLky&zo2i|0(_db^B|#m)ix;UwQsY`YYqFGk^KiE`xBNYumf4 z)%@$O$uYbAXyf^}|JCi5|9@#O4wkMzfBzpx_S5s{*Z)bYGv`!oU#8z} z`(KWqe!u<0Fk9r@zJMp|yB8g8_}j8urmxlSuxW0(V%&fa}^E1$$AR>$1FoxM9T^!|Z_>$l=E@)F;l`giXi)4o+3&rOTEx_eW3?)9SR$GhG= z^%iqmw=1{Vn@!AFTAO{(-tBsCVr@61T=j~+eoF549IqXje-=*s^|I#Yt$XVl@5w!N zD_UE0^_J`2ZC8#mGuN-?uCcomB5yhQ-u>zOHkBVZd!J$LtxZNon=YRy@B8z1`u^gl z?;HNiRj+?O`TZH5pVr2_`!=mx;2ZpYQR(U3*ZSmy1e<}F{j%H9OAF+C?^Dp#M#;zxZHxg>5K2(p*UJ|}- zK3}c&^!nd-S+7?=6+1RxVrT!9?8G~Ji*|QEJj1XhwxQ-j=a*IaYy7OX+-1L?GKKjA zk6gx*FIU+*m+|~aVOCeFILC6wp7H$L26nXvmBJtX7}^LY$ed@1Ik@Rx+Z_`|ou<{N zQ{TmA?};>+#G}D|=zINC97>3uvHpg9iDa*1@%pJtp0Xd}uzk41?VIeDP2~d3Uo^xdCkW0A zkm+(yo6;b3(PT=?GUd}ZWXoLseOb$FIgy*?cyF2lzmI@^$q8|>OF1hZwrh$vyqwD4 ztTE-ia=nqcMBZYivrT^CjWf=;nXVAq70>THpLxwp?#VCM0%m`9n33P9JF+5aZ&&o;1qw&42P++KC}l&Ykpv2n!-E?%9;E!$QvpZ;!lWrG~UjOx!;yM8`9 zTK{1;e*))$BGCut`i@)GFZR!l>QAaEzkOLo#aR57Q^cALtr>--8hO*shDl#KyOwvO z`IhZ%MU$LX=FY7J?RIsZvRJz%T~}nc^OT5>Eb^|w^VGL&d~!RX?ftf7pH)?1!K`zV zHO_n5>{31Q#)3;TfE-`U#FeP`c(?mLHW9*2>Ifu5PUndx@sG|m?{q>S_|K|BRx3j;l4BU5t) zLsL^d12an_!|9CKTuIZ@?YZKm4E2o6jg1TyjEqe6EKQ9~6by}w^^DC;%q^xfwsK}o z_j2G0l{GZgGcq?fGBi;zF*nyUH8M0dRxmU$*E2S^0IAF7N}ew7$mPmxW(YZ@YI?UL zmuS6~{i7Y?_DMHAukeS9>lW-_*`c=M(Z9dE;X?AK70bh~T`N4VtL1%1(Q=L?-}9ro zbA^9=m*$dpyKpSR>&c&Yhu_>czBJ?8%-`7_i+iW#_;u#Z2syIKR3O*!+I-K$=5tJ1 zw7hTrI=MN1%AdF2>;IJhJAAe0%=)??)(-y|@B2O6UtfRj-hY;W{b!E+Iev5VWB-(Y zx0laU>3!;BWV(Es*%c1!{|%-_tEEm^7+zhr`(|j1%;qJ6ld^4>A2V|~v?^N0Jb3cX z2G^j~sy>o`C-eqQJ1@zjxAvgayR=B*n}1##?C2<1AW{&}!o*>^?BOJXnMxZaUpfDX zlG0whZ)@+iHL|y7wbf^8RUT@wHvhMLcmL*e_ZmK(s?V$Ee?L0=tVZ_C42=!H&bHtD zy*{jEf@tEG2g`rXzI^kc^p^Hh)d8_@6Q$2hjOz)n4vc)UtY&-nlsjJL4y>!x7nn`m zCg`?nqrCQ3@08>ob2p7FH3jL#dlt6XByB3Zq`u_PCc`Uiw%R-Aw%v-#uRngzd~0N) zr6pgO$&^!JhTIl%Yo=H~ypZv7$H9gj(Kau9r;5sM(e$4&eUWbE;;GA`7A<|C`*K@>#o30^!I&wH}~r;lXg_O9K42GWDi60x;?_nQzRIjeGgolnGoBulh^+&^M}(N$0T-M zT>m?ETH$03Klz5pE^{uQ|C(mvH~hV{KMGWPZ)nqAxph`Tq>LY1Kzooq!*&S^JC|FU z^<~qHmrOPK;{Q0Tjb}xYl8S`;{f5aq|G78MUfz1Q-ShD4b?t12b+)tGU)OcK#&G#q zwI$ozZ`E6cHNMEoXr*n8OI+q5-WXoZl5XN0*74G)_{%;M*X&2wcuschzI4jk23-d@i$G&;u{Au-H53D#Y zT;3|SLH2Y&LY@cbH^oarUq9ytnfi5xNGa$9H8FBGM4tA&Ct&qcP1%t%GBS7P?5PXA z>Ye59i`NA6iB-S+es>KEl9yJiEf@#YIn8HnJO?WZ9@~aFS)Br`^#X8*^=r{@6Ix>gbQoy%tAVZeHBb|8Q}_ z=La9RNB?yGvRC90$Hl9jZTx{JGTXiNT?zRb~VdhWL=jcD|`{g_R>(2c@8|ztfC66_v3MC%3%93ylpMJ`fORD}{&Wi^P zoLRS)dfYVlvC%&M-cG%l+{K1mx)0ZQd^jk=le^r(=S|m)#NrEbA)H5_+6fAOUn-%% zwyaI)kc25~lIBr8xBm07QzV%s3O77xE zc6Ilb6qMyE$8l^wA_YA7x=4!>zS>;FW#PTec$!KJF8iDIDFVuBESCc@k*|m z%Zcf87C&FJ_4C=_zJHqT|EDaTZ~yeg{Gu=ZmcN$E{9SzZVzZ6_*R+Q!nlkqUj?HlYTf7+e9#e8+Yp2v3%Z*@Vw@Se+ zLtbTW{a+1jtzSz8Vpvw+RGEExhm7{-7@G!>rmpMPd^T?1V$8X=io^GZ#A}ydssRnZ z6>f_B_G&olXi>|d%i$=p?5)aeu6>2mYnJjWH1==&=KA;l)qNeyZ%y|wnwJ%yHPdu@ z*anwvaUnnMEwlWiKS3gSYtXLcyhie+Cvp$6T$=Lbu31rid5`xw*R3z}!rDJCHH?V9 zRB1oee74t=bLTH4US9C9V$%`b?NlKCYS%hg^mcLA);PZqPO!+9SkY27+51%JgKcYGnjN{j&ES&j)q~aAW)91Z zd^CQaoc*Y;dX?s_G}C(P{fny>>9Wjt{rYZrUSahXo~N59F?Y$M9T!wY9ReGk6<+gjRqW2p+OX)x!Q?duyY{}+Jl22bmV4wQ(U`rO zZT)lCEoa*F_J==f%6B~l=B?~(&BiD0E_fKe;&bN4#Z5bGI#ydgx{z@#Y)k$B&|mYe za9bt{D;&vYc^~ib&2@2{zQ*rOE8}!^elrE0m$|xT((1FHIF7zmX^q)^&D&C)!NyZ@ z#tf#lb6=lc)6K#hbm)!f`r0Ye9lsqHTKH3?S~Jb>&^{gfQ&mI&-B-hXAEGX8t$nd_hBW%LLNPDXmHSS$5s~ldO z&$sz>{pq~paxd#9nQN3E@m-wfu-*8` z!x>N1E__+C<$Kbq#>?rF_b-^d*;6JSyYso`)y=AEfBP?=6jR;d{C|tO zecEIg8G|29?HKlZQ%{h@X1e214?2 zP}Ya1J2E`$a@IWEvUMNNj4xp?Pbk&@{dQolWXlV_r{Ftcj&NyH9sM=70dpw_NroO+isMK`E9@VE48O6%1xU7$yaOBHYS-k&luz)ao zv6}zvq_F+joNc9dQ>+vppWjuvC)4cAy6pvW5v+;RigevW*E@79e>h#zn@hU>Qwxv# z&zb+rf@iAR^KrSK?F$m&H}w1MUb5pvn^g9dUyMf1W|k>Nf#O$YKJY2eYu~wQ+SVV- z3oE%Ry_ip$RP54Jf3udev19Rf-J72y+7yez#hf~J?06K}!MkofPmTLe{`T{WA8)cU zG<|T#De9tSPuTKshmgCMRSZnUoyw}d)n9SiDYCACW7-+DHP@XDxfoS5cm0jI>K{K> zsAB0Yjg({aR%sOM(nvnhQ+qW;;J{f!-79W}d;!-c3WjLvPjfdsQRlc|d4#+uyWq^# zzFOHSHw%JR&3ZM_>_+4%(dj#175iNKut;0&&TnT0@d<)YlIKnc+Woz6hxx^j6ytsD zEI(E1xi?-cmDsxF{4tNY4Rdy%RPFl~^RW4@MbM2ESu?NQ^xFG<9<4O_Sl%*I{QT;Rib{F(ZNAJlnmGY&@RKS$>>5ZNuYpdduHE4Q#nq|9Fw+h1B;SuSxT`vhj%3 zgj(G$pTn%Z;R|D0R8qvBIg1;X$$7Q+njE|P`?!$AjZXs0w>UK4mRnFh&-S3!N&~GQ zZ_JxJ=iBbz9=`ESB>%hUlAoJDEjW0@O7F1#ss4N4+}`xryldX^P004Q!rT>eYIwpW zTqjq}%Fjc(M8e#XGJc3ngd0RQ`H@ z$<`;FFosg zw0-p>0qZ3PUj@D|`QgN(-uTkx>g6S=Y_(4VU$sb`7w~j26*g6B?3lv#X6gbJiGYrX7Ttf>{`07({{C$8ddhL< zyvt{&w+A%k9T4&DOOf*Pn`v$JbH6lMW`}dV})w<4~c=YKy$0u3M`p0<-8P_o$ zT>E$b6{h~rC)zkKY-oMeT+%u9P6n66qUA3h`<;7p{Fd6TmC41CHG5W^&c5;6abc=^ z^ez38gP-ahuZvzQwkUdVB+%L7ejBI5a_0%B-?V>iW(qm<^V95%W8ABMEs{KTG)_0G zRQzT5+I?P*<-VV;mU^zA=eNqsN^jEEtPS;Bnth+$d!jI9cj3LjeVOOj5BeF0H=lkJ z@3uqXWzLGkZPQdvafWS>)0*;jUYOy7EcQ~f0H_zMuIMXZLD(#T(Wd?P#R~@?D^6=%p+ft2{z2Rs5 z!UPJR$K=H2Y%{mMxqheW^ZMI%%byzMS$@mbTQ)5}ctSYyi{7v!M;Q(}@b9Y)Q=08} z!SDmyDxnPpcV8bb3sF(nEEcY;=^Iuk_K-)>Cn|8Nx7?x4cNY7+-p6JAt73wJ5l2wb zrpnMu7LI?aTradZ+d952s$zR2WL?y>YsqARWe-Gltgi0j3fu7Y^6|wd=7)IKFMB-Y zYcYGl_Rl+vJ)T7`=|697WSEeeQGZ9!FR@JjVdwponbMjX#s|&TTy-_cd8fBHr+Ah= z-|C&7w<5}ao|<{*%<**+zx@R+y;0q-Fg>9zEdI;u2@}r#S~er^z?62AX*ag~S-tmA ztF)oQDyF2z%`RpWKJHn~FZg2V^Ba|OSI;P`=ig(!s{GwV3!9QThgv3FUD>`*(@A-& zV}z6Br8|?nb^pB*Qi*xWB_8&VQ^@4sqeC7Si0R!5(NeL)BFdH@HDsOiUKi)Bz5D5Fr(gTU+50d5zw)_$L2Tv;+4)OVI+6lc zKT7ES731g|ztotgd(#o;Qm5ZvUoTiTaf(*ovtsu?r7NW?W!#x%JT6A0OWO z7)C_Be&{=gT{g5}-lVT7D;yRZyf^nQ_FvrcIotoy*Eos!p2yz_Wu0zWCAWjqCstXn z`)}2OYHhkb1nXKwxpoqnKztMdc)_Q4gBtJ zrQBn<`13v6W6|P!p5)9~`n#YrWAQnU`+WC=l>^_H8@%7Hk<)S_^q#xfz6Y}sg39K; zYwNSzt(CHD($k7N$KBrQ&X^naDsS80vJGq(1=1=n&swqX^wjrSmfBBNd{UBM^RN8l z=38%nbv;;fqR+Idb@pcoDOcm`e{H{SFm11Gd3@k*bX%uV)pzleYo33sYg!{d&*)KJ zRk7iMZ+ok5-v2v)-od*QigP(%fgq`?!U85@c+L0qjfLZrB;aUlXnnMIQKKq+_$Li=|k=dDa~pcMQl>iy1(v!H^0=S zq&n%+yS49fDw0$Dz0U?bDX^F`J?-bThxcpy_?K5awn?wrz5Cvu>cdjE?=9Xx&wP&e z>g_QbjzuhWWj`F<@yBWii+c~vZsR@~vo&*jr5vwc z#Wf9{b9p;I^Io1&VtwrI;+tWnPR0E%Teo?}} z?IFh$>+2q8Tm0JVH@tsQwL|Bt$-=#td&`3g)=Vq!-4Js+g|qC+|J!$GpH=T?5i9xq zX#T^U{BdupGbIl-$d*F)BcCQ`M>Jj`X}G(?(D1BRr!Nyarg1# zTQl~2jay?7x{l?>MUH)^LY7(-tZJ&{abL4(m5j_{+34)ht1sR^(v-ej@3DAqRN^To zZ=aBLHmN81=6oud6X$62D(u0Ew!-zLnR7Oo`FZ$kKI*bD^jG1h{KE>Lf{S@27PCK} zv@BS{tRu7cX;`A{7J(Pmu^LhKtd`4fZI#+Lb(;6*V;bk?p8RG$ZPxYKn`BZ?e$AWg zb^d_q@9vWpZO#XO9OK@QU}bpCFXLAIMJB!}dlD}h^i4ILuqtf#WW$8>rK`5Y9NseJ zaD(afY#;BHY`;&Po_yZ>{CV#iZic#Vq&^D?x$jAQI(NsjCPNJcuITjEN<&BKdAqG6 z^p{IL{}RVGzbvXxE=gs7^HHNshEB6h&8Dm69$2yaM)Za50LdUX~L+oBl3)>!;_W#0(uz*BHKT5U8$8R)e)VFJ#O&2|#QC{Y@uVJEm<_xi# z+}h>w@771IzGo5fN@?f4+(-FL%UYXy)@^mj*Ku~ddO>Pe;xg4k+_|?**5=0LHLQ$p zI`~q5&-A=o1`4fe60d!#Vsmfio(fpHpV{xg(;JQ#u6f@tpDo1F=aFsechcu{gQ#O; zv+k49y__>dEoABw=595}?G#{NVQW2Ax*@cQ@%FZFZKt;IWC)6^2~=GW6*jvevN8E% zDhpS%heUw0O1SWB^_-nYo=MtduYVd==C}2wVdVqnq}Rz)*^i_h(Bkj7^3n8H|JO&R zzxqwDnEvuFIch3rU@7Kzv9@5rv+Cm)?cdqf|9LW3y7_X^)OYOe^$)G?vM;}5b)<3f zY0hh0>8$a^uYMkky~p+ZU&K}xN{#S0P_1Ew5pQcZk>MXzJ zqEF@3pCZaHPIV+YXfx0Ke^}D!jK}&JiNBZ^8M*9A@Z100d0xi(=9f!%WG`P-s{G;U zl6C2phH-lQQqz=Vg|1C^yk6H^-?%cF{n-(*OU=@$OYEK=xZIMru+F3Zk#y6jY9`q$`LWW^#`7Jb*44G(SnU2dvaRodoCJ+Z1~+h0?(^Y)Y5 z-U?G!WPG@N{&32KI%#f6M(0>BrHs4vXQF)dc0Wg{U-sBU zSRC%|Zr*RYb>T-VneK@_``qWpUpgNA>qnnm+&$&OzUTSTGt|F)EVdKTEB!uwYx?8( z7mo`M>|D^lKDojD;XT#b8tHxemh^`kzHn`*uaYsh-?M%1`$X%^%lz*nCB8Gv{qp5H z!&jrcJo$gy4Vv~m9!J4@{<<>kqQdQ&&Fu z;6!mwZ)PEHV9Hs~XQdUt1X;t@#3aXUXgG19{E^7((vo!(U0cq~2z|yr%|J}1^3cz_ zHXA*RibAtDIZZyYXt$5Dk$|*?*q6>t9Xw}DBr@FYl!^uF*KhWpm($FAlG~L%a8}Od zuEz>KkFRKIT-2E)G9`2m&tDzCd9w}AD4jeTaa8%D|D!9K+!wu6G`Uw-=x61Ls#h9@ zKb-KuX!`xsM<3TY225>fx_SKZMb#G1o&F6~qA&l(f4x+$c1KU(lexs3#FhL^t28}t zI13A@oPT_Eviy>R5?>$I`v)uaPxo#Jcp%^w_+$6^h6`OO8!YVDnWAPq-^IP-SfqgZ z=}L~}4`NO^pWxf!w{PmYa?UFPE7zGGG+BS(>%l*s&Mnu>Cq}c!hDepoHu8CqcS~p? zZ*pt$U1QtJEbHrd`&6$R8f5n#TOj3fJ%D#p`688xKG8j)?R!k$)aGotW>g=zy=q^q z<{JAi`@JsMmhAWQ*|TT0|HbMJ%f!Fe1q5s}&kBEOJ7e1GFZZO&)ZhFqI+x19?dfn} z{-xv<>T-w6|3^GfvA#6<`?KFy*8a%t`QY2|*UVw-`Pz`6@ZD!jIMd~mYd^dznET29 zyN0%iW5SG`vP+v53+4HGE^AIp^FMMXrGB}?)0tBW+qOQ~#`D!V&GYkw{!5`}n74kP z-`;;tyC$^l{F;{{FG64ZoUJ;6xl`}Zb@j%H*^5tFEOvL0-5=^W?c6KNSv*rbZX7cE zR#-nXZ_4aV=N4_Ong6h9`pY=kY5!lVeyJC#cyRU1jd@ew`!8njPZQIB^S`Iaze?zv zx!LOIgnA#(AF~9OPy68g-8#DC_}4k_+FV%qQm4K+zo?7ls!e+e`;t!cd8Sh88CRA4 zoiDCctKa+a!mJnjYY)G-kb33Dklq`eqF4CB+=BnTvcX1vBOPU}Ga+4EY@5{n9Z*VL zn9ZHXr<%)l+Hb>(`W4-AYF}<`|8sBN(n#hT7qqQU2fZ$=S8!0?Ww_F=`u)ogTm6SS z63vniUv8V$5ml*SxJ{>LdC5{8`*#Wbn^{ekK0Gd6rI@Rx@k;N=flYJgriXCrOD+%D z(o;G=zM1_A1o2QM}@&7uh$3800Z%>S^Z{a)5TqBk? zdv9&v9^)BaclXs)OwIZ4YT^B@XrjK}_adcRK8Z(MlTzAS zEo1M`yrKE$!F83;#djXA_Y6unB>QL9lDs>Cft=+9K8MWq@y?bJ$e5OUWR+Czxh`jx z{jV=J=uCSZaqh{J+b6dBd%CRqEN@!>_Vo*~ePJ6z19*2%+idA_=po~jV|6inf-+h*g@l!t9%#pD6!mU{ro7;xWj2H?ot*E=-YmIMpJ$0Q^z!r6_>+*Ni>s(lih!LCP&y`&a&^kEPjx4a)kZGEc^D!)7vDkJ=FWW#zOSs zmgOflTSc3Hp7-jUU8Q{2fitsgzN$Fx@X|G&qO!xUo+-p))}!3--}>Y0)fTsRsBHPv zv*{$u^Ce5>7cV}yGw^+RUdYs?k=i2Pbl#eL);oOh@a@{YOxM26sm-t5esU}S;?pLs z8lgL)9kwbo85aBQ_T^o7UuAL|hwc<5t`|?mc(yQwPG&ZI#_-(Zzo=8_?1rf3KD$x>w^oHzpq;G$6 z&ebLFBX|3zM3=fdE$vkK&F7f9DE_*LkWvdspE3{!CQWR)fo8 z$-HaV6x>~9eR1v&56OLhw^dH?3p0Drtatj#1=Zk_IiA%^h0l20o>niNy+<%4WzpRK ziNB&B{13RRv-e(an^|CxrDRxN`TFllcV70H3f;{4lX>jVqiN>%f;BsBu68K&eOD>w zxpV4axPM34gth{kvo^iwci&zd8MW_A(YMGDX2;~1Pdg@9E)NgWm|@sChmQKkRV==lcm#1tn$L`~f`ttXe8K#TmGP;)Y70hLhdCqX%^1xPG_8sRK*A+Ls zmU&+>_q03<&t=Mk)C4;tbCg@>!~`>FmaFqw``%8fUt{%TZQ^~;6R*>3 z>L%a6`Qm2Y7gL2hf6DdQ*rd&QESCRd?Yhxv+aN2yL*kl1o$wjYE#5b{baj;H%uYSO zB!7j=rYSE~o37ma7Tmz2Jv*~2pv}!$O0(S9clTMN9k*THM&?`+SjfB4yU{ozG+Lu5 zvaKs=-sEKx#*f_j(>59V9;sg_YB4S5_yN_nb6e*_2rv{h!UihJfTpSYHBYR?BbIol~OXI5Qd2@!i| zQgee%Pgf%@M)u(joBw974^8iT`1*4DzLGnCH`TvBs4si|A5Zo@(eBHWy_4Ec`t9nf zS5jK5c8zOw(NXnZyZ>M8T)`FYcFAU*!SB^P=f73Usx4nEsJ6UYQGI8Iv(fb8qmv%Q zHUD&dnIn69Pe%P*#>QReSJ|YU%utbX&8X$M{v=EHBEO@>kypDW8=UsB;F|i`qDY|c z;UWR0-d#(a>P>HiU)s4yzQ%ih>SEWHT_ zWoaE=tesmg=rSs8IWJ%P@8+4dBDo9fw%pN&E4|aAraDbOe*Jxxw^85?am84-exusp z=tJ7&b&gM!9ITVH67N4LV{q9zeeJ@`1>T*ip%*o_J!77DNwi+KW!8?4!eu)1?uUHo zuE=W9I8y)W(3DqRvkfQJn5%EM75yr6_I2Xi6uDKfqz2C)2@E9Y5vU_AKtI%KZTm0eg)Dr-^Qz_vuq&SEB!>(iG?YX~n+w?GpQ@ zo=)}*60wRpY811By;M)3{)OQ!lWKLY8y6!NPL=bUo+`Mj+}5=EqmgBsai~x3?3`nK zJ}V{X#)Ov6wCUH1KmB&!qN$%cvYx-L>3#ovbx2=Bm)emNOf#yF9OX$_s`g64=#1{A zpPMJF_52#kAa$nAY3`Lr&Bs_z9-AO;{N;7eqA4YdCnfwmc>YH7O;Pz%-)(2sU&*ho zH8s(BiYQq_-ox_`eN&Cjp=M9Iv)?UrbDpm7y|RLkakB%(OJ4by?G-FLf*x)2hEIwtRnU<+L>wi*(M1@QY6o$l|)K={!sS zd(5u#Gd@e-xU?;wD-*)Ke$S7eyH0AJxy843$Gc}QF4pf%^5!-1&_d71)Y4SJ#N0^F*uc!xXu5nB*Is2~QzJbi6H{|z z1#<%lR3ku^XGE$Oi#|{3Yngp%f&5iW?`Ub zWM%|fzhtRrYHnm~u3!c-+04WUN&SRSu8`?od0bow^+pDkdKQ+J21eM_Cuehos+gMV znOPc|m@B~TFflaMGqW%^$6`mEnvtcco{^=gp^1X2nYo^!g@KWYg0ZQIo{52>g_(k> zsimHgg&}z1RQPn`94=7~QzK(N6AKf|>47<1&dR37dgca}MwSYuriOYZ7KRoIMuvuZ zW@eTqMhd1T#(Jg}#?wF6@I*`($mNPvF}ASKGdD9gQZO|()ibv+Hc>D!GS;&&HZ?U@ zFf}sQvjCZUVG3u&^tu8ro#_HSoW?39CLnPOVpIXxkV%S6S*RL{i3)W|}?$iP6)*xbOeRl1M&JZTmBA+@r)>rK+#HLKL3gMa*E5Kv1xq{2>XY8GJak(5^=tm>_j0+K zOZERApZUMyseRs`@{cWwHsd-fB3ufzeVrC_R74&2i{-5{(N=% z^@f=%5{~Uq?bFN*elp`m-Hhi4+_-#M9vuCYn!EDC*NvA1SLp=*ym9|E^HkMCo;eSu z743^C>6P_4{YgjS?0q(`{q-F37Eg?KJngvXRlId~aTuH2jsI3>erVY|)w(0CcRpc- zT9}6V8H?AM{F@H9+<&7fc&BQXh2+I&+^5$3-PFJ9j^U#f6C?^}YChh3_Z&ChYx`c; ze|v0dBHr9yyj5|U@0R;h4z6c@+kg0tG4nqDh&wu4R<-?AJ98=N$Fq#N2A_R+wgIaBAoW!!oG@A1!(4T^FJVa+V-(-~d%-xN9WVvEHiqZxM`1Gv|H zTK4CN)vB-c39q(Uyj%3|Yh{DySB*8A-*`?|T=7ZKuKsS7P`E9@oT*yqHmk_9GU>|A zCK;X!RvUVMe5rrvsmwu{_UG4}r=?t~d^={O0R{TTx$ z*U69lLtPn~JQmG7FrWWcRLtje_j^T!St}A&ev6qRVC%PIr)_$iI!7E1 z)H_^$oc`U2FJG|pexKVa5#itS?~A!4%y^J>dt1Zo+&ngY0VAIe)vm>t7qp%VU1A!u zr?0SUsfkVEj@ssyg~n6kjvZJ(t@uZ8c<6&2!7iG4ELw%`h9~2cPw?>nGZZWezHa2% zX}Y85zmaFvjE6%1p6&CjH!ipwHe>IT_xg=h`pr*duHOjg7kj|z#voL#EW5(!P0iAY z8{EBmU6XHnTP8ek;0(;(SfKPZ^1vhqk57Wr6QyPsa4cBa#=swYEaAf}8#yJ_xex!-DL_Uj*~FLs`^V(F@M5i@>=fXe#x{IDl$ zvUUWYV6)7;#Wc(AQLaAg#}BNEH#a+6+dT1M|G`ejYbOoDZ(TnU=p*_t@=lu5wkMwg z&S$mnbyi5xz4iLcMT?}V0Y3W6?y0*f>ja)TuwP{B+ZS!;lCR`VzkipldQOY-&UW33 z@6#Jknong|Y&>thXMDi4+f5B3cc*<1XRE&>8gS9_k%j)I>Dnh$v;4hX($5G!k?nYD zoOj%DTly^3dl4&C|LxJytrgR}G2i!?e7?Z3`6draC)z$vNldu6m-CY$yNhdd$?Y&n zuP^V;>-F0ONvv>NdLjE9JLA(yH(q|f|9{`CrMDda+-E+%L~#%Ig~rt{7@q|FcF?Ke zEIPn;vA(Ne^B?Bb&*dDJC^$2AvhSMqA?0}c6z2-H2g{za7{w_T2!C}u@KUJJq-Ogq z!J=I*3hG|{6E3SVoorw#Vw75Ec%xHa_)SUgL8h|Psjb;OWl4`&tYecyp6WzJ?Kqa8 zzRrKcWmC5718o89s*5=-?l>%9m#}j9S-Y@(k>vr681MQOAH&$RY9}_kFLhN&Q~6oyD)A`qp|M&*`d{1jV>N8%4}gm+{qld!jIU{)T1MDLdL3^JcDjCUeb< zJ7vy-dCNBJKJvrw^+WOW2j<7bU%qhF%rN<4`-AzN^Q3({+A41`vU+OBYxc73oG`7R zX#SJEGMC=mRM^~cqDo^?xnx!JqLWW9*|GVu6xzA0x!~e_N~v?)suegsv5@^n)Z=umz|>pDr9rGtri{N|>Fwe$UJ}I@ zu-L68Hej*bZKH=+Ee9?PD**5;3U6Uzx71&Hk)ZAb_n!1ZF_og z#wpLspS(M4j<+8Y5t_CAD5Hm!R`W~Gt?3m3CRgL$H?W95XXy=I>F+M;sb!k{q58H~Zh?oT^U;p_ zRF>a51wU-Wx|TG5T>Afq;o-%SwnZJKyj#T#olHIgu+U=9Jf(4HMQrjC9x<(W?KnKlbbn<<1|zO6LL` z1*5d0axZlzzWT~ha^hjHuEN$SjtBpon|eTE;k$Y-gD ztDX1qOhv0)Yx7J#>_1uQr4)^x>|IDqN_;nrY{4(=NpLd5R zNWT@lC7`x*)6!$pC#i+1m-56c6)Jb%H<7*Jj@k7MEt6dJLk?MnwiNSnaPj>%Sv9jG zuJO~5~op^+iqk4@_qWGg~j- zIM3A9dfoI!`MXnRCEib67;>KV&4XvV4`1NbBPpNv`${HO-RuE@^yEGRNH+*eT}3gWu~2{+_o9_fm&d${N;CqErae|4MnvBe) zRmZYA6f@GzCUvHr6%IP?SM`4PkrPxmB++?+!d@JN|?9WN9M;>3S*R@8To> zX0V|EqiNwt(8%+w(TZJ@!8yu=28Lw_uI``9CWjPp#wF z#3R8x@sZO1`mVfPwfFgwrJ>tYv{YngKuefMIwcgV7v<@jQua}rd0V|U`$cq!ZgbYg zmNUZE3I2O>?%Edk*GRu85)Rm_+$yrcK~jsaQ*LwZU3dQ_({DUdxVv)Uu`uljg~+Zw z^1lMkCAju9dVKD-oxXRPK>e3FlBw@z9qfqOJ(JBH}$%Ql}hO0 zlo{R)cjh?n=x>c!!Y0j!zz<7R3qJGE?QK-M`r4-QlYDgcWoo?Oy$~JujuKmyZOSu z4U;W5aelYUXE|+Mcw)Z8qu|nI{w&u6nV#M-6Vli-$#&=GgArNZm4ZG;=y>EyZeZGV zK|pMBsoF#DGh#^>X8*d*dywP!W>Lkgr+<##3;E#}cmKvW^=GQ$`yRaO_TZm1{c7;# zuEkt)=XKWqJ)v{6+|jJ<>RH|ey}=rjI^E6xJhXZ+&up(M^CabhzT{u$Wapc==JgqF zV4lxacXR*yN(Uj!d(|Q4S^v(+$3)3BCtkQ_a5j+f1&{uo+0PFtebv5qJNZCvAs^5A znKw44?$B+X9$U^P>7rnrY}ROVrq-OJPk+nXL(=>|mNAx;*Powru0noYWWfISfq(oT z&63XlDg5l9^2_IG&8|8;4pYCKbUT~Mp4v8jg30B%B@pQt6#^i>N?`3$#Khd z4%64Ud0m#eoI&UKPrHTGe{bnOJKnFM! z=H0va=jPjT<{d0;MOv%Z%a?w8*TCe&X=!+P+j_Yko z?e88-)Sau5pK@=z7_+M3shGnRqVdN!g{9x#RHZEUo!zHk~8hXlU2+z zHa->M6q_WzInLz9{+){}w!~|lbibgnwOxqm|Ek9l>%T2X5#LzBxKK-I!gBEmpQZ=q zzkA5uru#kX-}C3uv!-OsYyYU;Eqbm^JuUFwuJU%4w{u>0x4u+UyAk>A4DY_KKMva@ zpMQ=xrL$lGrKVSZH(#NN}>-FZnuU&dNexF`l#rA~R z550u%cBUTpRQFN8^6Bo~M~~~v&G-MSaMrwAuKz*3Y})xHs<*Ndr`_M#-Tv>}(Q}ss zPVbP)o6L-ro^oZBAr_iVWP+xq;C1t#J1j?Q0Z zAuz4@v8ZbNugHC0BD$v6-KzEXGC4l;`MGDOR@SrI9QvXsUGqwx{ab!SkKsgP?jLI| zNEpZSY3wL@U%&dX;JKEvpu`FW*3XOm9j{EeQMaHvovp;#gG*?7SHV&1*D7*f4(?47 z-?O&9lyBR=KUbp}e(2X&HSDj~wX0)VF<-psXSx4+6PK)=DYD9EPUTfjkA3)nW6Pvf zbuY^b?H0AwNBdf>-VtYXTX59@@m|wuda62Ir3d+mbr6DZ4Bc!i2W28ar(fO!1`tXE%xXdb{2cJ7)IGM zO}2P@z;1&*&t#UlK@K-RTJAAz3viZqW!yPY`p);qy7~h1&)*1KlxV(FGBNL(=2Zh_ z!&8M)IUDCsjSamyN8qH3%8VHvu8f&xC_ZR2CS| zoguo&QhM&qSHV-t3bN1ayyvbkw`jTinLO`ZYbL+j!xsL_aL2j>a#FhK#0Go-~u3fAlupr;DzhvRT~1_g`eX(6{R^x*8?UoyglZH~G=7tU{f@j@bY8Ti@}p zJd8eKAZzx@+tzNn!@PA-c{wu{yx5@caZ61^g+V4~D@$~&P(l6)#}iK5rHh<-pC9D?Y^li33llQyM7#}EX6~Fjr@j8kGdae;H$-ije)+V^ zGgW(J%)a<|_RtU_7hX=1fuREtb-F=Q|s~SY_ZAk>?X~m9|Gr#B3RalToFD|EpkQJCzthW^8S|kk24w4UANSK-0rn|49=kqYH6yDzzv8NGmQVcIY3SDdCqPNv zPUY>+SJTBTe^$#Li&Zpxtz%x{dGCA8b=En;vK&H2xyM$zzLqOlT$7!&qrSTS6=&V+ zm3KcMy6^C{>hr1f->?3-xApna=>5Cm8mh0Z-MH`u$D$=B%e*#8`u{j`+F;=~1E05X zel~ljeoo|Eo_qMu-mOor-jU&~__u5G7CiwylY9qW$0+M>Q+{_|^O-Z_IS1eC$tt!S z$K`$GLi27yRukYy!ehzj!sqrIu_WR51SArbMVtAq^ zYo3~TPt0j&*V2Huot#FRZtq{nRDXOh_4?)n?f2TDi3^RKTDMG1{->zBTK+S)1@E;O ztzfHX$2(nrt(0qF-o5f&@h^vmQ45qmN-)cI2{K;o*IWG9>fW-aik%-W-M+eR!{Unl ziHe1l^^YdqwaSpNcKouc;`yn5yAS%uJN<@!d*Z8RW+8%m)9Be zf4TAcP|Lz&KSX2>*6rJ=o|LQcIa+Ei-<}2c_y2pCDiL2i#p!T`?#_cbO;v=8go{8Jrw|K#hW2`Ozc^|T-*#xbsU-(2L^ted9!&}dSWw(OQ zAKiFR*yVfl|D;Xd4VTC(W=Y=i%kNqde0kEHIMMel=dNuD7MlI=(&eHjmbEg)R_F4K zOfp_)G6m<_>OQjm7QbF_)2rKBj!`cac|)&>DsrZ?c$M0 z9&znlwwnFYY$KN4LaBk#0LVMbesYOnQ&-;AF1HyWEK{+hCe z>u8MyV~DS~TkM5{wb;pgTpO>EC8e_uLo;*|d|H^~O$323a zTkqJe2`apK?35DY^TfNMKbMuIn=NcTyyR7%wN~bX6Isf^t%8cynt72te^Ynb7^3;! zPpVh^K0QXT)RAv-v&D+3rPG3LmI#EueUg`B($B~9q0fG&nx=I3nt~Uq9KNFUT25j$ z0%`xgy^4`N^4gwttAyXyzt_b|y)(~kCsdxjZhWmP zDRyrW`wVTj885vKuUr4T{EYX(=btb6ly(N$uG!sMKlP~+b6RYgsHEOv^~XW_$*NB# zY`c4!W%f?%Tdskz_Z&85T5nam(O_Nn?Oc&{6eCyFv+YJz}hVj(+fYH?vn^hsvDGdT*61oWgca+h5=IXnjGa_tEAf z2H&S%xOlCn?5@zY|m-?{s1Lqzl(xv@a^2RR3bW*-epxX4xf28V~#1Hocy~>n<_Mf|9r_ZRY-pI=_@6s=?Ib7*~ z#aTPrbC#Z7UblH`K-&E6E{pviF$%ZqCf}A`sF|){IAeJ_$K+XM%Ys~tEgECFzkjZ; z-oI(X?zWu=`T`iMOyAk<=qP`^G`;N6o>LMZrl_;obRDg~)+N|#XgK|w+lA&S^M6=2 z-9I~Noy7Ai{0>JithU70i*SF-0^n^isg|FYafi5%`k*A11%XFk7JUQwSR-{-vS*|{5u^G*Mhu^mypr1v}B zz-)8z-<)@ol|oW=pH8^L*eexXI>&U&m!q%Goje_J^HS=&{p;m_OYb_j|Lg4^ zhfbTE_<895+pW)+)I3U_5jA;}>tV}FjH^2vPd!xI^vS9`w1v}p+b<<^ToK2|<^5a)K@`xv+Hou8?K&u6o#nf()pHhX8+|845D`Tsv8 zuJOLAVcVuFYV`eeu*$U^w(la=AJ+27 z`Ip|3nmK817EgI?QAopcBcE!(&MXV*RFk`L}f zwl}Qi+TO65d-W4mBhXHeV2yb_uz@x;*W@ulfu*I9 zf&mC9F$)88OAIk%W01Of0|Ntu#g-<9 z7>=oQOihhImLS_-G$ zFfv9DRtrN@Q*$&QTNs*|p+~WWp}C_0EiBBo$Ia(qVyrhqv(3Q7$N(H+ zNMUJUVr*%O<|P9&V?#4EuN#;d8=Ii{$iU3R(iGheGgCuLhU|SB`6~U3nL827#W(Io1?{zk)gSzF`BE5 z3@t1y%%)c@D%%mOWtOe_pd(bJoWg`t@# z!ZG#G^25{sJ=>XBfPx7%N0?X`8KGxw6AL4AON4=7^Gqy^EYK6RiG{I=0a{3#SlAnz zm|+MSW0V0V7RII)kaPx5QYIG0W~S2(7xM_$8)DdRY>w%1V+#|E05Y~TKua7Z7RHw5 z80t(6&=Zk~g^8g7L>(gOg9Op@p^1fw5qk0kiCJP;Y+{TVxF#k>nCeU{Ar?c!V!GZE z9yVL_>|kPHVrGP*&cFa9W`Sv*x#{%6C7^J`l(MieMo$AKmL_P$g^7i!0eVgbiJ@mk z6AM#A%s4PLGK3U0$l+*egkJQTSeP1{pk*x+3sV#HEC>?Aj6hRU^ek;+VQOZ8lBTBT zE#+aWH^;QY+!!sJn^>4y7+?epW>sTiVQPsP_hz6H86}sSSeO|=>%ur_q=F*L%+MIa zF=mG7wYrIg8J1jWW^4=zRb=ywEvE-A;}Nbm!!#DOx((e;rl{!*>?AWYOk>TF>t~Q5 zCKhJq=rx#$g_#Ak=Hx?mlcmx0k03W$Vwh`gfL>RbSeP3cVYuDg&;lcV%rP1|CKl$# zMwoUOL(3K9a5pzG#k9oK5YrM<%p%v^%oNiSbHnKmm-7hMqgM?k7UmWvn8sQfV&q$M zOA8EREif8=CKeVLRVqjfnh}xxXkmnz6D^FPIT0y-EQ~QTqJ;@&MzkVhL)FqSYjp1}4zVhwK5gka z`3J-8hNc+V&C<{equ#SLG{eYymWJjSdC$_&0weEP8d^Z}9*Q3=F*2W}kpV{Lvotb* zWX=DM-Z^(988ezKK(sH`uI*_-}i)c$@LyW4?(%2BA zYP2*q!py41#u&{vOJifqtZHlm&8o=WGB!1ueh}m)X!b<%g0UH9?ld;Xs2VMe%`tPQ zu?1%CG`7U387+-1p*16NaxyW%%&R7bn0eL25Hqiu7-8mB6Jx{a8`p!11&nYvF~Q88 zCZ?FV)5H`rcbb@C=1voHjGEEX#2i{PqWIAQGq0LhV&+v7%ua@-DMq)`#M0EzVEV!h zpke{NMPg}cgqb@{jWKhlDP{-K($oYqcbb}F)QpyH^u1re>IV)zlm_ubP@; z=2cS*%)Dx9VL5%`Mo|92DBjHsFsepNGXu=5YG#O;Rn3erv#Oa9Mw8ak%oy6FMb1BF zCPvc@H-V~EjBqzI#muW_m|ZPPGc(M*YGw}2t4R6L%mTAoHM4-`TjX#z!|e52nj2td zTyq1=jB9R)nQ_gH45uq@2IU`&a5p!`%&O)lm|4}_1T(9en_^~Fb2H3p)!YnAwQ6pT znQ_f6Ff%UbkY)7dgt;YV#I$Xt?sHfFfg&Sz*2cxSYqY~ zO9N<*K(g2pOHF2pr6#k)Qj=L48%7_{LCb#y%_a10I5t0q$eL)dT`R3TWMAvAj+iy5I;O{NBh#^_ZONDRHx zW@=z)VjO^0mYEtDV$2kP#L%lIQv*XY^r{IYW;wlZ2bQYI)WFaJJtu<1&~u`xfuSXO z)nsa5WPn~ZfyB@=B4|(+nh_CIlPRbdHeGNhC^uoGG$V|;2~z_j6ZB>zNDRGdGBq$V zMX#Dn4UEjtb0SC#niCPZ$<)Be9KB6xYG7o6UNwQl(5og>10zfHs>#&A*uZc)<1SEc z!iY{|L-eZ2)WFyXy=nr9p;t|&2FAwdRgHkrnHm_Ip;t{H zG4wX2se!S%30n8u)WFyRGbb8bpyotyZZfvS%!(!km|4-p05vOua+rxBW==FQLT@CR z8kiVi=0p=?<9f7O)6~Gk1T!m|m|$i_6H{XhADduw%1jMRFe*7y0~2^9R}Y&T0SRK} zEzr;>YE5ctV1iM}fy6NLmMKOhX9_ANw-U`#`q8kk~?HJTcjVvIF{#Gt7k zY92Tdnqdq!nu6x<&?av{V$fa@R5K_Mni*l%LuSU9so%`l93uqHOpNO>YELs$%oJ>9 zikX7V%rNT`Gjq%YY=+TOF*PuQm+!oYL}+GVIep_k9^pXDGTj_YnGW75j#kT?8$!!; zqyREEGMdh~A8V0rj-^O9$5N!5n_w2{=B7wfec+inQv-7|%#>zs1}&A5i*$2y%#>zs zf!@_OH88h;cJ-0{V~JTtgIeMrL4L$6mMsi1i)9PY%_?X?XJLezFhOa{!Wgquw!m1F zU}|7t0xgx1{b*r|-eWK|urNdK>Vw2E6SajoW}>#RFqr=E0I0WtQEgdZDa0+Y6ylax z3UNy;g}5b_Lfp~_I{AoPVpw8~teF~EVvMYT#4wvgmKY;zrUsT+3UNy_Gn9-AE-@_4 zF&jCS=9mSsr3Ge&u(U)UH#0S`#8~%YYG`19-WNADG%z%pUU&$Unb3M0riKPa7;PLw z17nOf4ygHxUgj7YU>4hk2AIXRp@AuMvL7iD3=J@5g-i_%%rP1*h6b3$wxI!Lv2AF8 zS!^2`Sfb8(gCYUc=tfV9hK7b1DcsP|5F>>f8e$gPhK88MwxOXhYNG|zK`}Hj3BU+` zLsN`Ki=m+@Mx({h&GzNEu-2om zZZS19w!~;^7@8PhG&KxO3^3Zth9(&6n@kN&jL-*EL1NG%8mT*IXku(Uz3@1wxWkBk z6BCSPiXr$I8??l2f-%u=YG{Hn(Qj&Kf-%t#5`(69qJDOLep8Hzep5qJjER1b7_^Opl+sKw=J`zxO)=*AL1NG*4zeFj zu@vd1Sc-I0EJZq&mbjs*rQ!6zlRUzjm^s4C0Hdj4Xa<@XIEk&PVQ6NA(O)z)GsY}> z&5SXNUNaNSq8CeR+YsK`RzeC-EX{30GjoIKj;BE7Hb(L^!%}XWS)k9`nHri|qR*L| z8k%EF41mNidWeSRu!#ZWECXt8KLoi6ea_s}5KD905KD905KD90&>V9F#n2pc1jW$Y z4B9C~PEO{SBPfREm?J3Q6`$zY$Q*M7#SqlozIYmxWl&mXpt>1LbKB6u$PiN<#?-Yb zXc;f2I*c_~riKq?7)?J2aua5DGsakVWol$>guXZ% zB!Jh(}`+j1e0nV-w8gjFGV^#*mGXu^C1W)yUWkWBkU**c@a0#>m*haQene zSo4puCB~4AkqO2EVpAg%1I+wmg0XRaO&9GEgW*BRRO^wVj)(o2(VQ!8xH8R6ecbUQJ zF63}G!%}&fVX3^#FxCu%VgfVonVB0-SG)$wKj=g3MrIb6`Nzx>VXb> zcp8~wjt3c;!^VS<#ygD6F$aW<%#97u8}>%#m>mlvbIgu~kvZltzL7cFFg|F!!^j+S z9N);?9DO^9sgXJ6IKGiNW-r6Y9J7~UWRBU(FtRW(#u&vivcOn>WNKsq>t-M&T?>r$ zN2W#=MwZhVZ-8Z{IaVz&dl^Qc z4N~Z(hy`XZ!^qMAvwE>KfL1R^7F!ykZiWNLswL(SzmX;85WkTn<`BOT=DtHyBTLv2 zKeEM`Bm72|W`@%z-UJof7_CD~%t3u4OU!v%BTKY-S_1=9BTLK?eq#g75q@I>*a$yT z@nLL$ImB;lfH}l(Y=AjWYiwYQG4ur5!8X0|7AT>iH_?p^OwpI`nHn3IVYIM}4a_iF zSjGnC7&U~kfjLH(-Ppha+SNfSwv7!eji)Q#1{K@r;cjebfH6{KY-nhNUa}Y)Vyrka zH8#YYi#0aHSUYQKYzSLBiyZET80(KrjSVr@AA!W6eRf3JGB(6me`IQGXl^uJ@D8Zh z#`Gh`iX&5FLraXoSYty=j24!$kpV^v%h<>eW8s3aks)-34B3xHMi}*lv5_%GePL{5 zj8R`08<}9#7sf`WhSM4EV#`0qMwly(jEyi?92py#WAsprjWAan85?1)I5IY}gpLj% z6=KH5m@AHqjWJgo85?7+I5IXiGDh1#XliVX+2t@cM(c8b3Nd42%sz*)F~-IZQ)6R{ zjUT4Q#uytvKw=n!SjNV%jUPyf&)C9f`ow#n%!FR@8ymy=97xJdF!p_z8k-nk^goPE zF#8|ICK&rZKs)iE`2jhhnPBYuFf}$Y!I*D0Ho@5UVQLK8`HfcNfcAz?Z@dr6Oz4vi z#wHm1K1_{4ds{J#z?|7I#@xVYYK*yo5hMo956B4(a|ffTv8fUIE>e&fW(o%dIl2Q) zF;EaZ)N~3^P#RbFfauzk3!p13KGNUVjG(oVRW&L&5U6UBE+1Jv6(SOi^$l_ z1Y;7|*vu4TF^;hr#u`#nV>2vexEcBy(t40jV2enReTSt)H^W#%YHDnTxrWr(9CHn+ zu{p+O2vcKoLkpv1^h9Hhu^YnF*c@|3sj)fcic({9%oU}^=B9?zKRyDL=oqa9bBx^( zrpD$NyCFbg7?W|v<`|nHOpVPkHba2Kpm_y3qgi0=hA=g@FvOU}Ft#v6%`Bi~XJKTF zk&Z1e*N_@p7^9wi0M2L@SW0vYEG4=HmJ;0pONnlQv6au%*aCA%$=Jfe2xD^9*uny{ zjJCiy!@<-Tv^ftwm4G(AVTc)GEIu;^?aP9wL&|8N-A@of_@Jb*r7^~mAY)6+0VZQh z*Z>n!Ua`a+Uoy5tA77eY|CEOnW0$NcXh%Lq!nCx&Z2nkUK$}0v7GsV!nHXS>HklZ} zMw^flp@{+JaFdAv=5UjV0c^MlVX+BlWhq(+niyb~_9g~cN_!In%+lV(0JF3=F~BVC zO$;zgdlLi9(%!_t0yXs;7?_$EU@7fQ3@}T36GP0>-UPHd1l`A=RTmgyMi{Mq6GLOz zU@RgLniv{mR23$MCKy$PiJ>X1s(>d}6GKysn!?1;45OwnF*HY;2$}x>IcUu%dI#Oa z&;n!ekcpus#?Y*Zp(V!9tcj5UM$R!YGQ{XRn;02F`_9OT(8vg5c*w-a7-MMG#K;(< z<6r_B%R~=;Bh38+CPru*;Xoy!i4kVmZ(@X5_M3plT`(-cEc;E2Fw1@uBTI}mpC-lz zm}@>wu(ak)u(ak)j4}5Qm>6T0{U*j3hX9$H7@NSl#z=|K7<2!CiLoh0-`E7yU_lQB zP}PqiW{%NLGBJiPHiahO>GiL8STXjbnwl76?j``O$VM+6O-u|dryqO;>i=V;V-w6( zOQ2Im(A#(>CdTMTikO<1U=C85n3!NpqnntRLNh6HIyM2_SB1Lt#KZ)1zQx4E9Q{lf zQxnjUGUx$mVu60}jH!tUTKIs|F=&qgx@J?%Q9KjSSzQ?Fj4-x&n3x)2EG{!KHAY1jvL4gNmY5mc+yK+Z=7typXeQinVNvw@%4~kKm?725&F4HrY07cOPNe8 zFn11^SeRfeg90B)gkgs%yauX=9;jz(Vqu2GVvI9OOie7z;hGV8EwJdd#NuPvKo&fj zSWQhV4UDI6{JK_Geyw`+4kT#n6Z%k_sevgLi!npX)W8fQs7(zp$3;yI z%wZvoC<;J(7tph~sR72pWu~SE7{?Wwni^sWEiCK5O$`mvLb~3-)D+8N6;nfFL-a&r zYKS>-3>qdwPcz_koM?&F6!VBWQ&U4T6EpOpz|_zjV}+Wjp*co>54`jY!xGHp@}`EC z=*M1yHetb!HZy@`XV5wxjChBSvm+%gBO{aPg`XyB%`jr$$P9Hl&A`Ca)Cjir6e;JLf@VL_1H;GyqdQ@0ggFmkYJ@pzWom4Ieu|^1 zsWDnV29$G6jSZo@Admvc*a)K&WNK_|h+gNK8pGz-k@cFGVnhOH+!ft(#-UaiOX4!clDI&H0fxn<7+Wk% zO)&rG8fu_P{2EQ!k$OX4!M#MqByY6?$W@S55b%SsnhGf>(BpDBuzg3YibE;A!j zj5r2ec7yI?Gh@s+#xmRv+La1VTlJ7bi9sQQMY9=T8WXz2*W~WWf!NXPH@JGaxImQX6rl#hm zSTvhru^4mZl&QHn7QM*Z>L6#jnwpwhV05EFE3D9m3QWx{F}l&F7MSz#rWS@6OO;J6 zV8{O=MM=Gd5k^fwNNvr6=YJs^%+SI}nqoZePfw>FO)WQth(F27)BKSe4 zK4Ms6j?uL>wXneG=$TqrVs!LOEin%7G&Qv}Kpsd1*>7NKie(kKsihIdnk7?9Bj_qv zq#(33#^~soT4HXzH?=gu=;)bR)|+BX_L*9mq4o4Y4#XTfHnlXz=;)bRVlG=WwZu5z z*VNP!dRkmP;wWWP&{3!8`O^%(00!Y>GXq16K9iY&5k{ZM%)khvhiPVDj50F{3V+bV zC>G6VBkiEI?FOb;EJiyR7Oc(;qw{5EfVpAJ%)p`^V?msm0p@ZcGXqPEE`gb$0mi0y zGeZMdmjIrq%?u5(=rw}ci?k!h%n;-3B2zO%W0UEE|3N)W^rFDb&;*NJm^@1Wnqthu zfy7W7{PhL~W`?Hb=w%B?41FBk%n($7VK~MDy&Ym^Xl{sJ=YawNz1L}GXkmmg*=GjY zG=sKk2ozfA6{eYy1@aNz;C=mOpjijBI?Bw%2&0-YGckjYUBcU`W}w9nXt~tP)C^;~ z!_3Uc486QDGc&_jVPR%&Xn~&j%*@Tv_o3Gtm|2)$^d`+LEKOl8X;^|cvji=yLJNLN zON`uSZeWaYT($*h9tf>NW?^V%VQhicPPH&JH$|UQu`skWL~pxV7@1&9gIX9FV(gy+ z?WjUe9~MT2h{74xPPH&H#60dFbZ$Lbx6i`J&=P$t*uuyNW027Tv|j?P-D_cFWP;x7 zs|TItj$YhbVA<_pVPs^9ULRQ)8DlI-voJEoXlhy*85^S)uogzfriO+JpmG{fRah7q zV;n08n#M<;O9PDvqK`mW7?~KLx6Cb!Fy}cyXC5O8P6bGN(Za~Y482YPT`pj5Hoc66 nH{AsLT^zQynz3AVc3j0JiA5z9MX70ApjMBm374v>tG^on1<@in diff --git a/pseudocode/offsets.typ b/pseudocode/offsets.typ index c5815ce..5d7c72e 100644 --- a/pseudocode/offsets.typ +++ b/pseudocode/offsets.typ @@ -1,9 +1,9 @@ #import "@preview/lovelace:0.3.0": * -#pseudocode-list(booktabs: true, numbered-title: [Find all offsets])[ +#pseudocode-list(booktabs: true, numbered-title: [Find all offsets $phi$])[ + *input* $Phi, S$ - + *list* offsets + + *list* offsets $phi$ + *if* $S$ is odd + $S = s-1$ + *append* 0 *to list* offsets