From 4dab58ddadf944d6f203d69f668840ec8fad425a Mon Sep 17 00:00:00 2001 From: sp2668 Date: Tue, 17 Jul 2018 10:25:26 +0200 Subject: [PATCH] correction tut4 --- tutorial-4/sheet04.pdf | Bin 96169 -> 96138 bytes tutorial-4/sheet04.tex | 10 ++--- tutorial-4/solution04.pdf | Bin 113115 -> 112829 bytes tutorial-4/solution04.tex | 78 ++++++++++++++++++-------------------- 4 files changed, 41 insertions(+), 47 deletions(-) diff --git a/tutorial-4/sheet04.pdf b/tutorial-4/sheet04.pdf index 896d83633d267ea143e7d3a379be25277511d2ba..8a72f1f0df51bde6e0f475064738d07d366fa1db 100644 GIT binary patch delta 18004 zcmV(DrHGLc*$rOD)SF?pYzZpz)K+v$u7oL$^DZMk;sxAmfbT&=3j zr|E~wUtlINAsA_FhFwo)BuA8Ucrqlob~9aExRDeS_0%=bi`}Z(O;xsEmagY))3jB) zZ~be1?VguYO|x>o+|;WYRs$?yZiNIULms2y*Y(adUhLa?U9?rbaqq=u;s4lfS5>*_ zn8N@=HgEi{2J)Fnq_v*RC`Vj>D97+J5E8_tG;|;cs&bIBrTAky%PG*A-{0)-@9;~q zGx%lM3)}N1#V%)vY0*ssUyNTbXb}bOjc}MZ0-zm+`qh&Z27roJFq;r~E=~7C6QLZE?lprmH zo9AjOL{_aVE3wQs9c)!w=nhcWSg-{q>Dx4UZIlg#T) zvtMsL`~aziHTa|0xM#Il>>C(TtlaBoP(b(>Liuye34CM-S) ztUB~@gw|78?u4k!CSY@`8DPbZ_D;#Y!Nd$%qq70{AX*L}29TafqfQAORi$uOhPdj!fv78-wFO zcihU+(3x+R?nEn7dtekP$?qEVz|0uw zcWGfIJ}(#Lx(|!G!_-(|7cV8{25RE`du?bW5e8n)V;g#U2%qRfoXJBv8?lDNKn-+O zc!3W^wXQaQ)q1}k#ggmdYv^^-L{6I&CKeFp3_`~j4IBz~Le?EJf_6MubOu1LQxX!fuD|tvY)U`A+3&Wiz3=t$FEe{Ke|AR*^b8Lv_-_j@onhgDpfQ*z?UlSu2@Zf6 zi-0zkLxoC+OPEo1>%_pZMv7_|vU|kzJ1U!Ah6z=FN(g)iAT2DUi}aI6QjP>u#&XyY zk4K(@D6AC`!XG#z)ekr$6A+by@W|a$ZKwsHr);Ey;bK5soF1{7S+w=!+2PNtKxM7C z&m4{V07;}WAv+R81Q`|G76b8nh`k`QG69e5JO~=j+HA9GQu|flDJ&mvc!;pj42X9K zU3oBnOp!XBVJrIn(-{QIdci(>d$lwM4&m{Qb6U5B;r40>_ND}^dF9?cwx%FdLbxgt zXBe!@8hZz13^JwOL|AH_;3N?J1-j=Z!p7OvaGALd%luNT_T7pj4LQuxIiz-Um|vft zUm7xK!7&jJp)pbYNtfdk9D@bQfVRisu?aI+-q|&5B8uAjZO1+VFZUp_QV^{D5JY~O zlI@J!8pNoQ`QHM~5YhS}Vb_CIP*5a)V?W%7!5E(>YiPSm^(b`o{DGS|B)F$FlPeR=DZ?fu!2pM^r1FjYEJ zFT04QaNJ(|60#Y1>WE%OL?_YjXqcJypLbS&nyjkv9KsZGY*mfrwg%&>YTlxMU%}a2 zEg)c+5shu>%RC2IWIEQx?z2f|O#7y4m#)>`)UNTV+?2bbt^G9Z?Y3-8JcemjZ^}Ev zmcDCVH-66R{bp_}ajDEeLqs3S1+Nm7A!!Z?a02D)yd(vMFpKfIj^=RsAj4VyI>}5P z#f<17w_z!6$P}Q0A>L(S9o)=+6WlpCZ=Pa5-UL+<`$z0!Xf+zqJf6sDkuwDW$gV0r zu1fQ!ohlOxF}e#G!=pAdKF3Us9;ni1nSlTMQ-~fq%c2z>om+5~XY*oPSf5CRu`(`j zo+staUp`5=CfaczRJ`|$(P4Iz%gkNdX_Nuzjh!^7l;$M|8c zvRw7lG~6TLhk3L3(OsFPpn^l%%+$BI!f=&2Kn{ubV$cFP)|X4ahQ2}$?PbxpMt2$L zQO?}Eu%UAAgAUFR3Ax7i+}5dZ-E)$f1_TvqACJ1OQ=ud|gab%_=Ys2;q!MpKtsi$` zC(;*o3hNQ4ftDdShwLR}S~Tq}<^T#r2X5=~kOv)cW-mXCzBMV_V|eKc9p0AXD$2-~ zd0fvtIUuTVMe0m+SSw&eA#MzCTq`(On)O*TB#>?S9#nj%cOwF7Fv?X_P?ZG8(iM&zhO)miM+_0dhYJj%{L?E>UwaS6FwNJ`pXBCdfX|$nCcOGMD^ur3MtsG>a@M6Z^oad zoELVL&2o0WUv6gZ6O{Sq(p!+3{rvpWJE^m!MP)?PjBG7`tUVIj$R-FPO5d&3&krsC zq-@LGx-!WW%ez=8$Dw?}AklQjY`d@B(=TAL_vR7*=jR}hy-i8x6S&58xmYY_j@o6v+bS0=+BnH zjm3mAILVqDq2&YxXk)sjlCI4$qoSDg4)N*blm7rYt6O7}GzusIIhPS^0V#jISZ#0H zMiTz+U%`(Q8Z!IBm)!t|LQdjb+RHVU=q@<4{Xk2!MVv&sB4yY2>u+{uNUmtw@dZU; zz&qTXo!xonbtQu9Km_m31dr#dvzHfn5=aqSVP&wo3UV1sZG${XW8-Ev!O!8x#jmR$ zkkQ1s$~E%EN=gud44)QJrow-p@c%jdm*L-#ev9;nVY_!ulEispdI9ejQ7XcJEpi*i zNa{tTg$REUshBxjnK-q&-%O`mT)fBeHU4+B=9RzWT~;75Pr^6&LCc?U`Qt*WaJf*{ zv9JIY{?)Ok$f%qIw|7Z%E1dhnI?w1P(*!^q?ibBy01Ww{{W*&IC;or`OhpOt9Xc z{dN{7slw%fz-fcJh(M*HpM3d#FM~JD*+1Z~7v4*bSajsc?p@KuHp>z;vdG|+EJ%%w z^E9PvUsTt}L%E3Hq)>mpVm(uDm(Jr%CcTzR;%uw^&5n0ZP(p|g zUmP+J%YzwT zBe_=jt98-Vc(FJFVJ3*R<8W0Q?qrWM{Ain)o_0-Xy^__-R`Tlt(w}+WZ|x= znU(y~V_p|G#k%V5>1$KgO;>K{`=BuEcBd~(#Bd3g5J%Btv!=4yxLx`F&bDhf`b3v@ZfcBfJ(iE%=+Eb5fOi!RRB)PULYQ};x8BAAoTS5cp@)V=g z(8A53T0>!q63m>0VG_E`i3$3i;kQt-ggH%JSff-Lw#{xs6mEyH>Ue3A=hcws73X>7 z=XuWMPEgGf`ASHQ1=4Z&A9X|HuG$Yr_o9Eu9o)pRyE#tIex!#QE5~We90=&YA*7*z zr_dSnZw*o4gX6SSg@Px-*Trsq+!Y;mZhfC>1ffoI?ka99cTh%P8Vk4Mp{{W3K&7ix zu5mJbI|Nfx@Z82h;;?b-H{p3T74Zw?mF5m%fZ`$HnR0>!N_9_*Ex$2b=kbC_?!7|O!q|m_~VL*{c+b-H@m7l@Jr>YIZWh?H4{JA1=Q$QrwF?of`x@)aQJvh424k`?4Wz>&*|dgnA$yu7K}p_iCANTeA-cPr)H>QA^<#XH*aa7*sx zGjEHwpP}(sW4M%?9%AkqrIg{ER_T8X)?ZUgnO-fRMz!1rs|Dne2D&K_PAz3gE%>Z> z$EcRiOlsi_jlNp&d7_qcTdm>jju!jyS1MM?#P9dT@74aeXJ6*r;rsPF?-BRV7!p7r z3M!dZ4-kbTMQUao<@QNL-K&CIf1Qkoy6L`;1#(Htltp!leJp%eyj<~)0nvXGW<=Bx zMNKOnqHcPMs7^CPlz}9zPG2^_Wc7%s`xvq@V1wBh<~&5*=aL4zHH_8)>WCgt{2)}E zkU^k+OyKz-@Zqa}P;zQ0Fpx1b5&g8CR5k{*^*lfG0@|YIXMK!j>_hDN83%NB63~{N z*R6KUHoo`#&0cU@toCj)L#KbtPMk6rH1v!%WTiRJAF{On!t$N}Q7{t?J#mWOpUP|m z^YS?bG)wqoApBoY;FFpGc$ghaERmU+a&V!9VyC*E#q~qCn*ZSCM7S~oo-SiO=yV&7P$hv4z`#j-uP4}6rr9r3qBw}H|BFS$wc{p_!} z@MbgkJ5(eEWGcm%RI|))S7-kN0*^b=gPRh!n-T%}E&?+*ld+l=1u-x(FgKU5K>;X# zb!AvwU6wT#+&xGr+}+(RxVuw8;ZzmwF2SAP5`sf;_n-lShTsq+SdifQk@x+&d!C;8 zHPb)teeT(7@3m!}b1p5Vx)!UXwTmTC&czwZ%E`td1klmcQ@3z*w6F%bD6=X;EgS(a zW?ocUT4^xQ0t#|*ma%{Wg#da$Yk&-Y&h7E6hx&3NV~XtgF&`-PyoXV2O~2x z%fBptTmY8d|3F?MAs}040Nu-n2hh>Q)d}bfeWCbY2WkO<0H_@hU;}al0;JW{4HQ-7 z0Sxl0Iskc~GZ6gJgu1(>BghJ%46*_`Lx79`8y7IZ@$Ut|%Ej3l^rtll+Y6U}Bm`gq zfVcv!KrdlHFDszyABY9u3IscWAdr`D00;uG1zR{nUuFPx0f3yX9Nn$|6!2oVarvtt zSFp>Ahtmu8LZpw6LAo#BVG5pyxj4wr4Si3kodIPM1HmK~XF3^{h0EYj6oyu(gIg$SZ z68}d8{*TD}e-roLHTo}y`2TvI|D9US-O*9i!U_0S5a1to3_uz1=aKAa=^i*7||GD_XA|>VG1@L9% zi-_}IYZVJ97~};o;$Y+8-~_z9|MC25W%6${vd&g6)_-=47SzIj+4^OZ{nPLVwsHr9 zU$p(}+`lyakM&>M9SHOSTA_YlaIq2&v(L=Vg4Pk`4}Fm_>hI-*9}0K<*q~if6jbBV z6POvbAy{etP#ezHI4Shh<~@Jl`ndg;X=kLD(2>3;9r&w|%%7UEuLx(Au7jU>CxqSf zBSzMtUaarQobozjeF8xz zb|VaKUGc#oUCPhvEBe9F;i1nxXRrFUNtyE!P-ulMhyv0MC{v-{=HQD4tEX3Y9{g^T zXm{POGwq@t-c>0b82J!~oN29#w#qVJ4ajSp%9W;f#k3xOChO^{JRG%I8IUk7DPgjM zstSLMgM_o78C9}FdYuekX;v>TfI-nN%EU5RIgI2xXnF7(l0_-uP$PY!ZT{%yrxCMI zon0mw09v8`Wf!7G3I;s>g#q}&LrSbWRw#qo9YS(miWP(!+ftdz5TQVEIm^1?Q2gvw zBJ7S1w=wL0v?Wb=>8Yo)Gep9^yvGgWa8~h?%f&a{w>|3gj4;SVV<*)dJHk|AiX+f) zzfBCA^SHPUF*ny7#nWPFo^*b?!~t5j%mZ z)!*`>@zC9vDyNo#51rLlB22oICGVVbK|AJMIP+OiE|TXQRXP}cJ=m`p)lEK|QCY9{ ztD3Xe_6HV5HQu7?NQhU@1P%o5-)+#eU4sSg0+g9NuywPp7~kp8$HUaSc<@89g5ORU zBlm89`rZK(4;(r8&t zLHR<13wul?HT*@V`I~t9q5j(zd2)t8G7`>6#1TBwgekwV=@WzcLx8A38GX^DIA+IX zq)z14<5n%f{-)tf4sgA5&*S23W2mLo7PjzzuD^5}^&H?vsU$Qf*Q`O-dOArb##pNP z9jCoj;v3~n%k_@sA?7CWs-eto-?AR9#auq8B4RwQZnp?MKHd_u%*{NjKoQq(cbST+ zvZXRdAux!cT z*SB;B%V}aW$t7)~7eY<;DLDto?AO|PyKA=f^DLJtUJHXtjyg3EDMrf`4LxC99IP*I z7DUMUW$JWN?h?AS3Y~C{z6Yqk&EV(21CNn;`vm)nBYjh#lq*{PWxKpcpL(hqkZBc8 zRDm(o*I<+wxRP4pAAQd+Wxn4#uP&Z{|6?RxrG&)pR`UxTVlr704RZ(zH+3f29!eLU zs*`yry?>0F+LDTv&nJ|t6&S>d%^B^cTFhd!xpKnE-P(S`gx#e@}9)_~1EWGXmQ5PaohLz3{EG;*wcxn%29&c7kCsnnoyI1@5G+ZJEiz4rDxBlb zoU92%-X9_@&L;g)EbHmmDQr^CM3R-wU1PY1&vOE5pZyx`@_V1(so#L^)R)S`cf=@Fc$9yQlFHrDH{9brh{nCXsl5wt8b99J?(V)S2KfuHHPp}re#71 zIdu6jRX$jRb*FpIYWu0t18p?X5frj30xw52ovC4rT|K!wFS1+%3%2rF?g$8rZaQ z77`mtt&Wm^$QPNEr1a*M{#bjIu5VP5DDxYS?LVQ=zYZ0r=_RQmyz#AWBrLy zW}0gLbr@EM>FyiZBI;M^t*H~y*Cw58_?)mxn_*Fh9TDy7m94#hCtv2r5}aCphl&p> z1`rO8j|bLZYx9>o6Je_CXleK;%P4?=`0}r~rkyM37eKLWG;uEL$1K=!w{=%?y3VLI z7#OPbpI^0E!6eqs%5+ezv?DO64lUbMDlOMHBmEfGl#zrB&dNsA7MK&M{zUp;$6q%XHr*c$1?xKp)D6HlN#F88b?3*-WxCH%)o6Cu7HS-K>x*IjnIDb zC^p}!hx(9zMKW@J;iy~%@kom;5R8^T%|Y6C*eze46L~%&hL-q#K2}U~h^m#oc+W8I zSaZ(ILGzGM{-c(%92Vkwp@qjROpS&YtI=0f*A|s{nSwrAU%nku2-yS}XGjvfHv$YYfbcTQj2T(s9dneL-N4~h5z!76~1 z#(!+?Zdjax4B2Yl6{5l8VuB@U>3DLCRK$0GKxh~Hw3RIFng-8T4ZNS_VLrzCrN8Q_ zJLS)r_@XPqVZtSU%PylwYMOA^AeHrdsa-jyK{BxlvGf?5!xW`@#RJ0Y#w;uIsXP{T zM~t^fZjNV^T;Ux{EZWV+$1_f0s?&I(_zMeX@*^m8*ypusedAb7){aW#NDWkOMF^^Y z!M<_+>}9@R6JDc`$ru~v>SQoX|Jk(FF+|J2dBJ7U9Y0pX+`DYmo*Wc5WQu#P`}!AV z942A_lPKEH`dP1?9|zT{1!ENqnf%9Q%QSDx*~*F*`zoyOs=PHPc*e4bU!n8}-BY?f z8H(xG-+K}1L8(1IIVcNqgY*T{389mJ%!Vg)wYz~rRm5rgCYUy7k?6Pw(gTr9>eoXI?rQlF#kz&N-IG*B5M7NcOb`M$(e!FCUAE@`z zqd0ukM~uOPq={cu>~3lGbc#bRkefOyrt#}%C>cXHjtRfoums&&5;x2ip~ zSOkkbE8uT@Q7!pGY(`5~+cGYHm~&-7!Sn<*bS?r85}weB#<{|cHyalGo1zLu&nRZG zS`rps56S+GTX3{bH9YAyIE_oGEtWiaGyZOCv3NAH***N7L(bmP;U#JuaqHlS1I5Pr z-ULt33NeQ29PNzzP%1SW!AcKqLiUP8-e5ek3!akGqwA*U=L>A2EuC(E@a27xinu3Q zmnCiavTmP(URrBW(21(FzG1JoWis3qb2XcED{dEUWQl{TabC0thAc;d zjj>u_Q1ix(`WO;}@Vg{`;B2y>S6y#)DgJj=TPn3^MF9NRo{B9^vLefGmwUU6$2%-3 z`EmZ>_6FMy@7-)YZv+Nn#^2~}+El34y``<$Pjen+lMwj=#aizrACHGLE4UIn4{8O9pv z8J6lz3-#oe4EOTH__yN2la zLOAt{C9JT8qszHQTVWiR|b>*^l{uvZWo60~FBeRsPm z-Ao{l?9UCNq%WR-Syoa5*r@PovQ<~*KjColtJYVn)^qze1VFk>fJ!4nMnNf*9B>2~ z97%Xyn!=WJ=F64P#KcI78BQzRfhojtGG%6+zVbN%-a>XM8HWZox6D0mz15s?L%@%N z*U}8{&-B}U$z#5!5B&`3-{=_7>}FYoEv>hVQP3lZ{ATojhO}NOd6p;=DW(m^(h-Wb z^i`2-F3IF7DS~iP-jVcq=j5(z(F@3=T&sa$gmmGOX;zn}P_yrgE;%)nZCQTc&``T} z4{+n#+;ot1eMJ>}aAl7Qk7+9@QL4=pb+@LOXapknU~?6Bif-D;oP5$xcj?JDqNkcm zoLOroF=(ZK`V_UG+~zkAp=~Nw9`M^~(SR@;T{ zlJwEkoUyboyF-;|kGxd_o(!)=u!{@shJUq7)PjVo9B7fHxzZ(>XMPKL zR;T*-e8HxZBzQFIXBd8EI_X==d$4E(p>WsfTcll8e6x#Vh$+)p)~xCsfsCUqgt5EPHspMZfo`oc)9FNv0#Y@kuF78^e09r< zD|KmqOLSUnLxw`m#VUTr>nr1cHxh+;bGZltzo&A0Yli9HDDnfBpkS@4BiA9SNkEeo zAt(qQ>+47g^XPT#S9#mJW>ZK<5|bcIM+Fty;|B7H4w2Y>$1p)eoabS*B!Y-j`rV#g(fcV6X`+>fVS5|J% zRe8M@`a9Xfvz(IMH!72@!FusDvRyT$Y%A}A7$#;v(QI^P4sMW(QPki>c$9(h3rg>c zv`ab6B+r(C{qGSR5WF6@Q_r3Jyny8bSJ*I6g!7ZqS^VlZh0+tu2-qLS-IQ4hex*!* z>gXF_Q(MQSnXzevsnOVcukgFzJDk{XrdIi3>z-Ql`A2n!GLgpe8=-=t+i^=q3?i3@ z=!^gi&(zDAb=GWo2L5n=PrYC~*S8b~?6dMXbzPFC`R8!>1iZQm>i0$8cMqh_w|>UQ z+I$^$V3JTH3*;OCk_d}pV-8>Fw|SO-|8~P&dE!}r`y7VWN(tMSnN~fKL-+oh{P^CO z;9+G#+L8;3Zo+i(?rQ@IIcSU0#aQ0P(D%0wTR<1nQ*-Zc?&*yUP4?Qa=~o!$2E4qu zmJ)u3y(@j>p}%^n-sOm^qV|JD-^jvZ%Cr*j82vS5vu%7VjgqmF8;k{(J7490_q>y^ zn7aMmSH?&?yiMm=qwvk=86w;Ips5|~J;WNC&HFu(5mU-!dCf9rM_VC-jmoUcs!;vq7fgw$FjP+~mBv`A{YN)}N?T>3gQYAwBW@ZgA65qHHU6_lzi+l#wh z^ebWew2V8W8DR_Ek!$hn9oKR69I;rpX`zJEZpqavr_Lsx@9RE@YVWRpkp#kDcm0m< zEsYaTP_ezm9W+ddbrVOY3O0}ADA4-8X0@L{`bGp96_Zvg-!>DsAR4tUnqIcrluIMy z^c~y6(kT@Bux?w3X1AfjRKAR*RPK-7ng?;A>F(b77{DQxCk`Zy6u`h*`5__3j-N9-WSe9U zAmDcv8Uv#QQk{|yE*ZsD@N}sV{+;@Pjd>Qg|NGSaVQsutNcK5@PL&cmykQ3VvSOm{ z#&rsS+QDmC@{PsKe)!Lkr{`LtJ~K=>&+`2(Oc_{}nQ!_L+P2bW$r3bMr-R8!<4rh( zp*UN|V$55;sR~P}_@t4$T=|Xz&qg?(*v4?ZxTJU(5u!yAREop4L!IcipEP6*=KQ!M z>gI}31z3*_FT+QF1<%TS0wj-gBwTigJg;uz0pTg%;ddd4z~Qj ztSjcRkFdiP4hwI8n)q9f2eZTq*msXor09mZOGZ^*ustY$irYo)v!*i%g8>+C?j>39 z59`7edb7h*@8~yG)}!2y1mv_*KCZPaAveG>W!qdIZoUwy#c0sRbp_n zIQYV*znbZPDj?~IS&8)LFv4pU@W)(!!BVVe=S6W*!H(ouiA5%D9nptLEERni9h|!0 zYBl!wOmw{fd}`a)`e9VELv#^^_2j9ThR#AbP&qtdEDQPf{^yDJ)TqqSRlGNEXuA@P z)TcZ)8AG+|uD`M(V8mEu8jGrD$y7$AU#etV?z$I$tixA^Ivaa*vIw1Icg`LFi%E|T zp#uDh2Cy9R1eq3`d+q~p!`;LCO?xGj!abf_YJ1s9o^PRKcb>||H|a5ma|Ja&(4>jV zhotpe{OUKn_>@9no(6j2GsWPB;>Cz1>Z(N%%DUmfus{wGvJyVJG$d z)L>eFUxKL?n_Lv5H8M>*!TUe}K{Ff4?D?R*XePFXz#Cp1LPMlfGJ)zFs3F{!?3Jr40&kW46oV;8VOxf$1g zg12Z7ypHtj=aX*geLg}ajMu#1fpzppS|oWWXnqa|o@gk>OJQc{Euj*Ay} z{(C%Q>7;W51(6=jS6C+lGt#w^8B2TA1@ZpK&pZs#;DdKgUMf9|?tF^L4Oz~`jla<) zuq`BiwI$%ZFS1tcja(r8c8Nl*XqRMcpI<2+A+iyrJIVVK_qg5(@?GX9wbUqoK6@DN zimb=nTbVQDswGtk){a0L!;gAJXnKP0#N?!zur1k|xY0yLRq7H+HXk%8c zIHU^Q5wUmKJ?DpsaY^;EI8~Z|rUVCU4bj%<`DrZMOSp^LJq(SL@d5Wn0itaJgZq|) zp}X@s7F#>!Auz2!;KABv3ZC%1O3ONXdl^llhuV1)xu0p+$%)027WtP(M^^m^1z@tF ziihK4dj$~sqh+@6#uhb2B6y=W4prakf;g_%4Qtz11rl8)LE=B8xtNrHqC(;_R-Q5k z-7tDM&+`$3cf7=%hP6-HpK2X7j-KTn78lR5BTQ}TWe2SYX1=g`JCu%*rg&TF;Hwb% zThlgwyKf3UGmYrdhy~q>;8{MBmENjzWG@Y+2*+3y(&U)(AC{}0@bF4kq*himd)_Gu zvRZxY`vn@EH&a zP7SPS;^>s+)i&=|MK_6TYG|W~ozowVY_sScC+INdL8WZe^2y}sZ3=WiKoE>~m^<8W z1_SjqELP2a5!R>Ti%XE zkW_SS+8Z<7a6P;o9gI3-4VL*ezQOT$r&&_4n#1v+>=u}JOJe`rTIt3w>9Ob-8pXC~ z=G$;3qA7H1u|FCux;BbESwxe+jTonySKJl;%Cfckq>J@A-QJY^f(T!Sj9Pb@)d}<0 z^`Hb$y>F+u3=jK%0D^UF{n{|8FLuO+KX=={kt=mAvWS?1+-Z9=)QX6(p8_k54bi5` zXPGWH`Um`PpE0U7*tHGeaJM(Yk{KzvqL@oqYG9nErZ1>G30!7kvRXuuw2iB0HazV} z2*tkpM0ra<;V}fNo z9*bQJ^{a$`{mj~EGe6eN;8ytwTkuC!uu?pJdL2W=5>Lc->A-!gVFk;?1gyFr*(Rx7 zW{Z<#p&a@AUz#_5Myhw??RtO?-&!#TPxHK2%>Q{4V#oS*rMcj@+~sOrm;QV0XhF`o ziU27&Uw(e`PQ8!p6=YxSJpFlm-T~pFGyr_%5d!{y@#%JXNtBAkQW$Z$4?2jF5%W@%w}~3m`@=Ex#ydL1YiLP( zLQIclaf1_Q$|SjHDf?xku;~8Zc=0zkBTf?n#!rwM8s)F6<%AQpv+{fnmqz?eY1=Xx z-nvA@y?4o@+SU_LAn>kI2Ul9(G$d(I)5ueQJ9)H(KCmB^Q!r5;PNQF^=hrn)RLDpm zwza{glkqGYq`jIgK1vVGLO7^T-t{q&IDn&Br0W17aGAfi{egIO-9Mqcp8UDYRC;Kq z84>t1O5w78b>j{OOq1zi6{DxF18zBG-D%@EsGfMmBfpev1qPfT$S4wB(Vf_lt^$ ztdUH~j4oJb12uS+(L}X9tK=HCA0h1hRybPF>ra{n7t-78Fs7|WV&|Ky2>1mp7QVKk zNw;V}bckpx0;!7nRIe|4n~X3|K8sy{OYGOH$Dh;^@0(tTbFe9>>nIH4aaOS7R2W^- zfb+6W>Vy<9-Ul>mEE7%!UuiUc6VP+kumZj6aA}CnIo@#hX7rnAr{toyourDn$%^*H z5g`>54B}!L)7YQ6>6j5F&#n|&VR?pn1*>7_6X=a> z2kG34R`JSy$}eWuP7w>g!m&NcLDIP-E313$7CgmOU!!T2nRlSNg|ZaOMbP#W>mX>g zJ-=5-bm&!CIPGyv>}n!b#TgTSVPZoS!PI@0q%v{-f(g^fmD(vC7R+VKA<7U%*r&Fn zYNbv|dHX2e!PM2LBGkrO``>3G@d*m9X=rC|hb$q1Rz;4y5t1y^kJt7}3d{xC!y%&#nBbGC- zs{r1OTWbHJCM2-8CwTy-E8^yU_0-qmSQ%a0Z%5mEx{kg5iK9I(Le&49Q8@D387V*nx zllj`tMfc6fe{pvHbyg`J0w1w@97feo_jpcP%GJ_zZ+QmFaup=s1TqO{(&Kb9l@5~r z5lf> zWCsmXOTAHWwuBuik((AY{SnNz;=x-a+UgW%4NVPN4)$3v;o{W-vsG#-tnHq~UvAzr zX7MK=>%!{ubZXmw|0Oz1hb5(4YiMH!vsdvI^i_QbA?25U{x=-iU?PAPZUj@7{(Xv> z#OC&l+e}Xy?=eYV@X16DTRWK382&9T4EID%y9s>xyGH!mXc#Bkdtl=!&B+1SLQ;4sZDS>uJz>St{~ZN&s-&l@_WnuBI6gZrXiVgtW&9haah?bZgbb3h&+{4lsVA{@y1}wRPlw+SqgB*o;Lcm6?>opD=&%VWv8l zh?eT1V55_?#F+Z(tKXblKQ>Y8EFsS+ao5p;)0hXN9o+n*ab2;N!$9Z6svv)h=rMs(87N)jziG;~cy!@1L`xg3;qoS4)L`#9oWxx(cXxClGr)&5d zks`aBPr{#LW1*A$kBDNVgpE^EE~uD)fGhs$-9Q58t2y83qLnxJ4*4RK#A7i? zYrdmHSdiY&cvFMr#Aq|t`4{4sPp_u%uMivI4cLwN_}C@)v;EPCy2-Mv9@;_Ock8%k z#&#D2x!oh(U_U3RfPu6RnK;ted9!fk<25yR}aX0XP zSNA6AC=g!3Y34_`n5Uz;HS@8C@RjsuH4d(V>Vp`EO;H8wVYOI+=W;8`nMs>X(DR2V z&TlK6)}}L?H@{jEbBPCe9LCpY@YyhgE{;P*MG%`kis6{~Q4EE*oV6Cf+98Hhhwvl~ z7{o&{zKo8@v1)LAw*ohVHwk78w2I+>?KafrMzba{LXTO!A!+i-ubxc8u_K%DO-ljq;s(eFN zuTP~=Nd|B?>VnLqaBimjrC5-ZL>^Q{UQc5i#36nb*9)zD)67eBXYtM@*3;xHI;{K^ z{E>ElI1fFVrZhrrG7QxAxZ)X;2g7qIOV^ICLcGZbO8x%;2lgbnmxO8on<_UkFflPT zH7hVOConK4DGD!5Z)8MabY&nYL^?7sF*q{9GgdRl z5&??9tOvbgUdYJQ;HFsc22;U*93$G`4iP$GQbLZlxF@y)&QgZJG(ac=84*yz450xs zaFW_dMj(v@6DF;IEV_9H=2j9S+!NU`)V7Wp&{+p25axwo2Ji(j^}r7W4fJpTlMq^= z7?jmI@hnMzi`u~Jh3X^$IKbaxiUtuhHqKk94!xnLOfZ!+K-*ZdAy~kF5)!N&ft4)r zhBRVUfFHW7Obo0GR>CohwoWXwXeR=9`UhyJV9Au$<3C_B3>@$S$Ts-U`Qs19`;5OX z&I-o&*@cBSPZ>YRt4sFhpBV1&v!COP@sso>>+ro|RAr;8WS;0c{4^_z`^g|H;lJ3? z%dYZtw|HO|0v$<6y2@F9=8f$7aM=Nu38oWjqHYAt#h!ou0$5!S^bS+uUN*WP4lh?z zI#E+5whNE^p3rKrMu7aDG7+ZhyxM@$Bm~oJLMcKws7(}tKf4J6;P;funXU?(NLR*p z12Uye$>7dmG3k%fL5BE`Q%=&V$|fUZMQpx$s9yK0w91ez)Y0L82Z#VhQFGv8RMz2w z43W*01K14)X`T&5cJrK2bl1;F2kEB$f})(B0gInZia|fC*aficA25EFJydL_+satf zVmTO<{~w}}?~FzT*j>=_LvWU)#^Da{-+!%Q`zRlM>+s!Ta+OUYe{sqG;&1rgg^UdX zG=L&ld%9Rg5(?9QK&wO7dt^7oc_Klz!)#Zs#Olo*wn+PQK7t5;DY!SykogZ|e0*~~p4@z8 z7c=;LKl_mnveVbQaZkCReJv4`G1mFZ&P5C}x;xkPw4LI&ekQ8rr%isP0D00}8%%(3 z?Xf_z`gcC72BWp^>gG9VasJ(3R4wZfI+8&2aV~kJvBE~-mWbJ$=|vWBX6`j7C}_;w zgRqQ8flak1$#kmrP(WeoQI}GUYK5uqC?XRoIAN2i2V50WSv7 z`BQ~|(VUbFFo7pc8*|dL*YjYTnmw9nI!GNp+Ilgo=z5ktqa7Q2PSawVVzZQNo;?Lu zgE9)Ge)Q3Ny`(|yD|^{0erTuJ&&t6hA6Lbs-g(}oe|H$^ANS8r-@n}Jol1fJVR}DXvursChHWJ z2vn$nEXB*dcW$oug4$xPv{>Wvq~&rOTwC94e?brP96gSEN4@i%mnZ43q6cej*P>VJ z;wXxpV*zjVPV2cU#;Y~TfZi^7Fw9~&nJXmP>fGJ)alW9EeU3^;hr3_ipT7KX`spMc z4%4f=INIJVhF5DG1ix=<(JW9ww?k9-h0t`Wt(diI93_=*MW$Pb%pJbV_xL`4#Si%F zfB3F+$d7oBzvIXJgrD+0KjR#_3(&a@r>W_+n?jxY{YYp(B&gu@M4s$ zNoK@;am6RRP~TKpcHlnnZYf4_x6d(n)ac*?)7UkwM1bqB@WT^em1x$|p& zo#X#U#;=F`8gJ8N`?>Z1=HD6*jB+@jal@02_|CuIXC=MIMxT_~4{$2;2VM@-@^;Bb zKlnfVf&b*c_^)hIv>j%jwI;v%a=zQ^FFK4YyKa>dlmvKd5>n8KW6NP`A-8SNe+x+< z*JZc!Esw?ZVWr2&TOZ)50bGzryFM%^y<$;*H5wFG`RE2X^6P7?>?1nxxKPn?L+lGH zy@74M@pa?N#yhnW$k@@9JW*ZkI}=do;erm*^2aj+fHz70__}U zKEyO{#V8h_g)n8o#V{Vk2)&N6f7lMf0Ww#+~;lZ5k90pYp5fwxko{l@a=s=;hjBNw!{=-4?CnT(o(<=#^Xe zlKf;@J`$vbAhxCu^z$LC-F=r}xW_O;8-`SK80z^jp4c&$fP^PwLAE{8e~?bImCpH} z4eW_+XAziv6r^eaSIa*BU%>Um>bivMQ2uz}yDF=-juYgWr2Pwe9f3{HmND zcGt&jv(%@30Anxqi@|okN+;D8eVHP{7jLjacjXp+n`*Vi7JWEsb$~)IP^c~Xl+^0b zTl7sSO65oSU0y8-oRK|3e-#J7Pqq1hol>o~*`iNm^LB!^X|?SZeF~em-4=ZkTY@u{ zG$mOL#c$D9v^lGQc6~ay;w)M>pvLe9*)g=5kfiHl$QNZcpc(&(rq(NQL2R4s5w_VF znQECW%%#;b+xCn$>5O#~GPT`oeHvC_=R`@&Ew zW}C%<#(Kq7#y^zV@qIPK#){}Z9%rMSD2vUO_5T7@(R^{2*>wSIQbRUGH$pTpGc`3Z zLohHgIYUJYf>98L;cq}t0r^2xE}|f!fC|bTDb?0Z zkkDXFOV|fHU>)@C!j_7}PI;$!@}4PXk|RlfAt_RTODKZOzBZx^;wAO_`~0K7l+WOtBxIB_V(mq~R1Ya0cga0a?hw6%UyJ~IAm(8MoTCM8M z=jq4mpP(l`As8vFo83-kq(C&!;mHusmF?;3%C@AK$P-($0nxjeRdS3-@8WUDeg1 z9~>HJv3cueHL%Z2Af?n~Mst*Zb7=>>4uS;bLTEWK1eFC?*+~30ofQ=1^zSd`_gDBO z**W~O?6s+Rmm02Mh$-H81LC0J?^Bv*|Cr7g#@Sh7Xa=fD*|<IzKbRz4dAkqX0Du zP*;B*Df!QoG7^U1qVM=JHEWJAR5*#(ex@|Lh}5t{TzSwaqzYOX>rzU8Q6U95lpw{q z?dN97c~-Ah)c;OKbP+dMH)js@;^xY+kpnrmfo6L!f^Gv~aes+C_Ok zC4^)Snnc*=Py5wB z0&D}3iVB34Thv$k?Y1$Xp%U;^cDke-vY=|;)vLO@w=Xuv#Gk8wRW1$p&~|ijh^8z6CL*vOL}DMT7+3LV47LN+ zk5;8rmJm9<#LJY%1yanKzCUne!`V8pg>lQW&(;@3O9!~o)ShO!dt#uZ&L)5LN;d&t(gO<*42=Py)H`{bG8_bJ%tN#>Bh;t@uEMml zJ8Om0ZcHcYru02v~{7D17o{U^77sRD5(G;-K5Mvqnsq8vgCA|!ue zba?2#xVYA0DqHVYU9Hd4 zyOi^U0Oh^&)`=wzOBK{K(ODcDoq;-mr=li*HogfzA!X=yw=3&Sm$J2l85NK71qH`o zb_8D#lpnM0JvO@sbV0&KA2m4yXdW0Q!FJl#!P*WMiOK-bp-*LPv)bzui3Wrc9uUec zJ-sgp;9Gp?Yroy~D6vVJgu6LFnB_;g`x!g{+K2&{)b37sqd=mdPqM%$3{!rH1^#7! zE|Z|cNAh7m1Nv$lZUwAq!d36yUr@}EHP=siETs+o1gB3llVGwy-36dcLe-@b+cjIWZ3HK{2wkP`;HLx}%ZV(oX6 zFFJQwBmGN9nYFW2W^JIv!?e~fKA{yQ({z^YG^(<>ulG};vvO3qoYz}Z`=b><57{%W zQ+GOvb`^DDNBhC$m36~2EA%E3I*oou&2+c_dZ7JTGS!wBKvT%EsWw)a#EeaUwK+t; zg}u360AZLBg-t$8KL@c$SFFq37k!%1<-59D+ERDd*uv*(Q|-#Gaou$H+p5)k4AZRH zRO4n}%UxZ5TDkgp(yZ^eN0y4P;}D^@tJJXo}OSSvtq=@=H<3D zrb``8bk3^p=pq@h^Ei*6o)kxaEM)UwWrV~)PI7zrH3j`(*`jW@Wj9~iO7K%AVK0&&E?NZj$_|gE&Wo@o*{l=hN~s41~z;Lv*@Enfs~bHs95ejHsYm-aEd-GK^=<-y5l zh-C=Eu**K2<@CR-d221*!saNegDq0oH#5A3=1SNH0nY@3*L zCKSR^y0sOyuRr#+EjTf2BGb_Iu32{7mZ8h7Y0yBJT{}%0v&`Us$VLLb zFG{0jyPRF@mz$ZrX`X+n9Da1~7Z=xViCQErYHgx+gtVZ0WVR6^;GiYd!|dDqkou=p zSMAodrbn!BO6!7uKM*mXjsRtd(UpDC*&r?9bXe>iLQJdMQ8%8FwYIU1r?G^~AjGZ9 zl^a*5lnff+08os!*pOvvO)lAEo8yNU7=YAjXBDox=no+MA4|NT6=}DA5orIJ#Fj=( z7;*@kV11==%XC^Fn}l;9CJ%(qu3!8YvPf+93T19&b98c(+X^89H!+j`3MqdWYjfMU z@w+7dTF9I)4BEoEx{J25~&j@>)c=81s32#q8<09)A5Y4 zTr3v*-i2s#pU~vP6%Fh4^6K@C$`VG2p@t>PyCi3X36tcRB-&xt$B!*YY%Xc~w^?pd;z2Q+ z3rf>}P)R2)=bA_(;$ghy=H{bc-}?U!7GdYlUX~?r%(L{J|G@39e*5!`@pLic#*qXD zJpF?sm!6P24({v%aZ8W;7IdD_jmZp**vU7a&;SVXPWx-m>aYI)SG<4fvlr#3?xv{A z7u^2pH~t<^z{c`>24|EKp38VASeAK96Gz-d#QWuy^D0ePVmM)3C5q-mXq~KfSHE15 zOme^70UoWrE;QkiM&#>{JC?kwul@pmk$L1i53J_{-Z2z4F$xyvWUAm6l}K$!E+vY6 zQ{EpBb~cBbQuZe3DF=V2L{1dTqLvG!Y|7n!8&0*SdVYIs@MB+}>>n$DO`Z4k*> z?r zNlr{oJq1LZ)WCn1XvJf!Ar)jDBSK-G8=|yH22{WAVs@CDkPmrRFF2+2(>G@s$mPzB zMS}u+OTZeGmBy71hX@`vFHjFkHxy9zynZ<|PQM(~3{`4EKTR~G!GP)o`Z2E`_)Z9! z-W(4g_+eM0man|O=7PKS!^duG`-m1yI@SDI;L;w7s@Z>)O;gsD!>DvyR)G}bazMN) z_Qk4fAMtB#tGcyo{J4Fbv{*i}*v*8+BvI6yMZ`Rl(QaoJ0d|@V1H<<{Xf7Lz(nF3p zW$(+%WsDcPZd!!uJ6thi>-BLpN4s$iegnQ^yLA@9b2)~JLv&fz;Kr)1D!U4{P>`;; zLiw_RVu61cA7Bo+Ms(482Dp|FwnBU;DSKcF$n9g`7uFz0p5E2lZG9@M`>AxbzsAbs zeA~R4_74Hu^NdIu0`Zf}A86*6j$)c{j*b$~rmkd|y5jlJrgV_HQ=C8*(s?E(K?UUy`IfsQ2GSZ2vd2w znUW9O2C6bw7Zs7>`;4HKQDF#7mKRHgl91%4|J0s3t4y)Zl1qZb6nT`ervVQnuu1UC=MaM}5P#5OX zwCC6z>_Jfn-e_SH4J8pm5 za=$I@A$aGmKAiFC+ZD!10qyb4*usVg;p(7>qgnvJ}T8H zDw9sbfjO4{WuF{J|C7ed1dM;9(ucofsyF8COB$%k!p#5-f4qQCZ2#~kI$GZ%l|H8k zjS`w2ZzGADj$n9;6vgAtR%p~L`b73b!Bn|Cdo)+pnFpR&&GE3``k$fvd&{wfD~s(G zF(|ux0u~qm_!`6?w4C^B#CfkX-P0Gh^+N!I7PnjXJK7wEzVzFs#;t!_&=<7}0wC$` zjF}J0iTDoSy&hsOODOFs$boBz43K3t*!rS8BHsL8P2Ihn|kLL7L zMHA?|By{ikoTWENqSF%&u0Z0akp^L36o&VOxd%5ZJlbw%%)haP?kyEH9GdGlw&*T% zhRXV$-Ng=k*k6uuKyD<1>Hm!}QvWdd>nXgIwEz7F-j9sPJUk2eB=P&@)qemKFC2`6 zQxmsS69M@y12s4|mrp_g76UXfHIx4eCx5MUWmueBmNo9~PT}rOaCi3r0g3_&3U>$| zJU|F;A-Dv0cX!v|F2OBG@{xPL?w+S-e$Dics^>j>?Y*|Fvkx7WhBlj|rK1H%&e6e* zjfm|KD!RoE2W%prhRGam{aowN(c+zssLAY<+Z5(emlECDhgAb)_H z8^9$bB!of-kal$Pb^%-4xB(bnIha^jSpQ}D;{veo{s;0J=?b=X0MNgFcz_^|PWB)N zw^xe)b)Yr~1aPwf0j$6f5I|a8!%$I89>6HCrVEeiYfo`w4t-%f`9DlBgqJxzqfQ$2QyQRC+KQIrF%U=Ux{BviRUW+id zbaa4t11v#SC>&~zZm%f;jDP<-mD&GuBL4>@{*MU!ACdR}Chos$^k0_v|GLlrPA%sS zfvB0=gZ>Hv{Ns%Qr~v*vGGO3;b2qmKL%jc|fPeSY2mM{87RcHiV(#+q@Za>34%V-V zunDpA{cQ!i%7MK=mKtC;pbfyv9P&D=zwEjWmLL}h*a7sa>0jdnuzzuJa{e2pV*>`- zIs6$u-`^0(!SdhBf0gO4;yKjhB&D@9SpNIF`j?-^tNv~}-cBIE|4*W?>S+1T!ygtY zDMv4WFB_KtCxDHIlkauyUKdY@m&@;e$oLl#*T2rH=58)vFTh()c1}(%!0Z1%e*Zd| z{2Ps|1JKd(&yCS`Gk)vKoIk>y6HiFl4KQ$Bv{Llk_ey&>8p%W~H% zuX!O?nA{%Kbbs<$Ur+V9kf!n~r4!2vGI*%<}DNpnjnlO51+W1OO0ySV`cMmnkx z$)sg6k?)~?f!&nMO$c>+Ye2Xw5ZUl+=v|2JKC=t}HOJt#9YHez9TxA#(B;NMO046f za0-pPE6G(MW+2MP#&3y?VG5MDvuvAodB45#-?*c}Y<~{gZ%Y&0dg|-$4UllG9`Hcf zU6vklJNhR3wnSW95(JuP?j@RGg_%lBat0V3HH%?!{m83A$jUN9_B0=uC!J)XhcWrJ z+V`~X{?==wl0IHMUk%&;E4{d$ObqmHeV|4oBUEiGJFYhyq4}A169ixH!&xdnV#M&8 zI8_8;WqVBf=N{E-w1oQ?RJ#NxA z-@6Dt`l~Q|VCkjZF-7Y##6s0LdI-2-1}TjjBY$;m`TitC&7k!|JK>&P+NDt5f2t%H6M(2;F+=WzI7aJjxNi9N%XTIH(U#FnCTOGWz~km}bD*)w z8h<+Hv8Qksl`oyiyDib^()Ew{%c??^35EhH382krr*l zpcd4^c+vds6peCR+TkFjS+Qt^RTLgRSbz1u|4Dzmnj|*!Ilo!-M!4QKA@dlC<6h^> z{(wQO#0xe5RA4A!Df(o0?b}ZQ-xKrwBA*1L%#OO|HGjmj zcZOnB^GR%eYK_q&d?t&hWeG;+p-Ck>KyJrXvo{N2@QYGcUs2WesYbs04uz1mIksT! z#jk$Pf_$&uE$>m&#~-y>sII13Ao08%N;V5ovTV>4{+7NXANFmvSJK{MOJu zf^+hFPEfu7eVt8q*Y9YJ2N!xZEplU>?n|Oi!P^Y_7&^+`3FbRYdHVr0=Y{Kv#_zL| z!L*mOmMB!^4~Q9_HhKbUseeJ519-^OGQk9#di)rw1?C?*l09d2-m5c!th5AV?`q}8 zHW$TA&do$^dQ(*+Es5NRh`v-qSCO0WC^kIU@T(WDcRVq|hAs&AMfz!05;p76I|2FV zSMb$220DIpx~pnF&5tKV4V$wFYhCQ98 zY-x|8oiBIA$~iFdn1?DL;K4DB*{u`UPMm(s26ob%uzyO1&o3NG6{Y9|B>x0}`Q&3X zd72N*6Ds?95R6+j^Kxuub}0KD z6)eLd>%Tt6R2+`=*N%O3q?f3VXC{#duY(W0oX{x)0t> zo67Qwthg~410EKboKt7(97B4YPuH@@g^6HuYk%b#OFr^%jhZZI&1@+NGd`9(y?MZD>{>UXyIT?sBZ8hroRQoXo=;XCOVX*Zm~2t+ywl!4yRfYYt1 zb$=@Vv;5#t$zoC|P=YKbqmiwy&F= zgDSp9TrRoqX^D$6{}u#us&Lk>JqYj87-CM2zYC{??P1G*qLfUU(I3Xvjgb*}4j>T` z#hOUd*ZfFojgS3d_1)JR|Mxpy0Y99oq{+FfiRr3Z`y9ufm3C>~`PO|FJIer##D8W` z)QX!nH^!zp7LvLY#vXl-rLM2y-kL5)@@1EX)=UZf)k`4jSa1mAafI;Rlzal}p26_b z$=)IY)Hu!672RV4oW9bJfe;km~jsYP(p*71oF1rrhD}SioL%#m_ z#CEW>CHTd1<%Q1&U8|B`ET3=}(Sp~tC|tq@|1OzavE0DCaVIPrFjUNo8Kzk6e~ix! zVU*8@l*7RnZ_KD&LWw_NB$K9HaJKyNU5u=j1~1G5E1M;r%iriVkb~Q0wIG5oLv5cV zLT)-S!@F|VYIh}SfXhYsgMUbCF9uRyd9$1;jvoP1`&CYbg`Z;2@^6Se5_O@kS!zRM zb*yIyJ$<{>OU5mpW3M@C{Stf?dNhsX@}7StXe863EJn@H|A-ik^v0vfq--R>(nN&b z0*PMRG7a_8sY7vAm~u&AUq@^dy@@8SjVFQ>1=vu37QdKLkD3F8D? z`9txP&=m>UkwcPNr+=EtiZLC0?$W=zbPJiq^LE+R_`Gck3ImlOn z0Jj*yA>)UjP0R=6d^zG+3Y5o5X?ZjujhnQRF%h~VCx2K~&1kF>5Tn&s$>VWIwF|^& z(`Csz4en^`ahWbMS($)XX%$5Sb9u=ntx(2UeG@ix1fB(SRE!$OEY_PZ%7EEKrp-Ur zkyay-1qS8_Zz5INni)8A)Y@(J~%Dc?er+t|@q~qL7`Am8(R1ck! zhrTTw_i{Ja_ZpYiT08J4@-F*yv{!n-YX=S0qkrMyaJX4K@qV(|&qOx<78rsGmHW}0 z#6mw%Tn;(y%q!Fgss32Ei7vA=O4AS(KVGzmT2f+(DaT_QUJZyYs|+?xj-mWH9~$tu!}m z{eL|_uXX2u-*E60QW1=;DO^P2oR5_eU)J?9>nd^92l0W9OMGOu@vO}g8&w(3Tj-dt zx_X`W6k{KhS)4;tFM^F{a_`qOux#?n(r9m=_|K0OIN>U!`oo~NFc}MosEgle889mJ zaZ5>3)4Rf*#P=dvnNM}5(J^M3^=ZnscxGP&7~UK8OhYSWq>5N!(AJD%60_qpp)feL3kP zM-??mzN1Z6OG(t}flKY3-jy>>emc6-HA9U^IAaC18omh^QZyVq$wpvqxT?1uE6|j)cPy+BNY+ofd7Rk#lT|wVdz@kEQ0bh2rX-LDN+%2X z+pH41$fOB!oL`_R_3t2`Cnmv?doYWjj>1%S)Lx%FGkydAecS0V;e|z;#Fz&?M06OS z`(^i@H~D3zJ}w#$UH0)^o9pnj34fj)rMFy6YC1A?eOf(+3H#?yv34`uM9#vI&F{2p z{Y?^)85h%c!K0O1No262rhc#(k4$khgXqtasIaw-hub(u>U<=g+~vi~I_su*=4gVZ z+ifzu3J|?T%_N)wBoxjT6W;ZxRF{d3d96vZRDYMH8@KAc z=~ZK=A#9RyxX!7G?BR25J}atY!u?@H7@!!zO+I$r8|uv{O5YQ}tAo-c7MWCzCH{!YnO zO{izP(!M0TgO~PV(;JG}ay_f{qi!1zOd>&4AknH0l{l+AmyuU-`+q)BvMtJzV|86} z5?-69LV{s;^-jfYV``%=k*XWRGlQb9Q6Etbd*fDFP=nf!!(Kb?tbHM+H}USesdK}c zg!(Bs~qO(!^q~5npe!11eD4lg9tD?=u+k>iA*$|?s zki5uFovsU^T0YF6#CW*Ci!0<-Q0cCRLF|{Pb&>Oecj}_(jVr-Dx zvGBr_?Q7aogDUxXC$V^sS$Q#)%**)H`LlGt8a4yB(KA zT$X>_eu5T9mB$ZDp&#L58f!}z5lglgeLa}0vUtT z+wvzsh+dK^z<(Zy9c6|YQYjuNA)+dFDli%?Ek_2Ud0CK(yL^`}eJAM**1Q`o5NRwgq&o~r*WPuc< zoj&wZeA~2RX*yR)*_$l$II+Kg89kprIM-j}e(&JD4e&ABXaQd9Uo_nHq~`3-P;SIo z)LHkX`FC@jW|?X&+h=+MNGGytIZF%N-M4EjA7;iiuW90s0zA548Su2-e=F>lym}}V$62@5CdpvX zsOpwV)OWs@re#yfwWRr^s-8B2L3o;>eFn9cJP#~~>iwEP5b3EmCs}K(HfN8eW)#WD z2u?mk{;ZWG_O7lEF_Dn=lM3(3nE4{CGSVKo=UYd#d)bi@BMz?c6J zxNZ%==ye>w-Z2NiA|?lV3B%pHH4qo)P7R5eA-92!O=C z0+bd+QwEETg|xY9>1$HBa(7Z39*g6&31))61C2dnBR_b3Aa10Q9*L&JC0|b3PeXOK z8pwh=BDQxJ8J|H6-&pWUx0mrg5?i%rHnan{1Wuan9wJpjQX{ zlAay1_=`Dar~#$Gnw9nAkCF+Ui6QFQBw=#vRSJ^v{6wTGR`n>BqG30PS2WoYPK^Rw z53qFcMw1h`tDSI`i;vd~Z^uDlS$LhGhHo9*5JPN6JKJ4S%em_Mmx} z{xtz!w&kkVCvEXn<8Lz#<|fA9%=N(f?Bx|zm2tE<2OoNrr8V+_vL6g+-7p5Azu4-Cia= zSGEb_YOYBl$aT=qRGIYv34daT<1}C{*u;Ff*7%;J&hBi&9^kpn!{ql1tr8g@vcR-Q72tx#AF+veMCgDd$r2`c+wz8KU#noDBWH9O= z=J!nyY5!vo;2pg8?el|B&3Ut9!|<^L-+~KznK>PrT6E{uM7)$s@qZoXcY&z(l=L)b zP@2D_cb3S;in!8lS*`NkGuz-H2q9s9*66Cvs(|A@N0Moh62WXew=YE`&c|`{m?P_2eVH z2*+g)yW5%ZXVy)akz@kGK|QIX!OHtPzgB326=Z$lEu>)E()e%XdlfQ!!y4vI+nk3l zt+ibr1gF73he_9{-!iVG_DxWpiqj47*C~>sKW$uR-TRnITYtj(w^gU}(gq1bMCP<<-==zl~ zuIuaIGwR2eC4U(@yJkCyNf`jka8dE3(z>65U#)5+bq|G-ux&&0fI0^*huD}l6}dAm z@7{iGL8C}OJ)bz8c%?H=#LmiYC4~8#z<(34FVasqaeaK zQs}NUn)-Eg!A~L#d*D=^F|*isu}y})qAkzfWWl$;!+)43W<4XM!8dU(5;PY~MK%f= z;$1?&n%q~<$OaOuW%)ws_pP#yixl$04#XLD(UJO`?hI`&&@hetfc%?VnR$X^OIio~ zRZiV7aWcH`SJ2pnztv4uScK|{hS(lpfO%+@L$ZrVvL{n-erk|Uf}fW>X^I&e=CX#C z9wI;XD1W|@k|t-~p<`~}^_s&0;JUxJm(fWc|6*mVQd2u#bRo5xiW>AtD~5ZcwxFPf+zkzK*0RIFhB;n!zDB;i2zUWyVm8f|iL@Yiow=yV?98fD^Q& za9(hA_Fa)sEK(e5SQxErv~pJoUHQ3-;w|@VH@|3JRpaKeAm4;4XauDE=No(p=<<4q?UH)=aot=5fQSVByIm}RZ%G?HnR zW;!}?L*S;`G;H(IQ?fusnYPkP=z!jo$A4qwu2tP;Mk|GN;kL~ok?zUpnsF0^o$R1V zvRM`i0{;^Vn-rGrMG~gt>Rd<@HoS1|U?>iNC&ImIz%uj1b-l@ zZHF8Ev}m?-LYbCE5ev1|naf13msUqYS#e@0n=L(xe?SSs;_0ACzACd^7|rr`b&p7+ zf?r}A9bD9wWfr3eQm(bIJKH_&(z#zDUd{Lts81<1DfYvqVjvJ>-&X!=o(`ZG^c_XE zw#=R;lX6eBrsDiG@i6D6OE}VBDSx>9z4?lR4Sxdd7tBD@;l1sMqy#nxL+Z$y48{hS z+@L#>{IAcHXtmqN3eZM50^6UZMB-#Bb9e?4(Y|<&`51h7*CEZ~3wQf{sF0;>WldWK zyMAQ&nK+7Wj_<3oQ-gBfNbT2twuGhK*{{kTD4AI?6|@TL3|3YLdHzFNO@G9jmNEL* zpO~xLNp8v0nsZCwrS?ZCa^tHX&JX}7R%TQYWNV4?lVrnAfO8;i0)jL*hCM&Odr2;s zYX`XxMvcCVRPO{+w>{fLT+=JjHIHhz;RNOY`=>b@NVT06G>XN#IiPOkIi9jM=_I3D z69z+kndFrr+vknSY$qL7?|&)%lGHB9-P;qU0vxny`OaMS=||XL7z}#?zWSJlMZDOh zzb~MZDe|p*0SWveg4{Dfk80snz5)HZW|c?1X!97|bB3{&UnIkVl!HPCwkPbFoW9F`!(pv|uL=XymmTAsy+ql8CGH^gm z`CX7VctQJX0(p)E95`EucK_yavMIl~?AyqPP3iOZ>|UOgdHqJA9sUOI%DVURlevA3 zUm$j?*4@Ugt<^R#01g=Xg~l(Det86esXz6@XDdUWqeIlo-hbUj2#L}W$ZIO!z4eYV z>;T0k98SzG`&P^PPe;<2X~C9o4zyX;Fy?IZDU^13++p3}(7yeRNX~?s1(dAo3s#OY zP6(DAhCQ#uY-ME{=WQ}H z{bfuM3(aCm2js}`l29)k3jP@@-zGZB= zj0F|T+Qi4?neCx{<%r-Ra2mB8JtSc{`O+^L*nbj+|Mg)(Eg&ULI!23eA@)LeD^q8o zdz=9VxqDt{gQ~^5@?!XS{Bpx#>UjI?QY7Iw3i)TdD}=CTGS3_iXcz(Coga9YcZpsc zKX7TD_btPk0;x_uR0NXXv>}VOqbzSd!Lgy~%8b#;kMWinrwNYar-(Nd`ruIR zv_X@VH@Z%_m$RQU@9%DP-?mfcOt*4qb1L=%n42gYp!xG}*Q) z#+!^Q2v!7X;2xLU;jf*McEXbJCBEG5Sfh7Mx(PJntLv`K1bOfzjKGEYQ7!c61vrQq z<(XPoeXrIqmI+Vxuh5f&M>N@85`S#le7{i8^07(^?@7d(d4x7+NZQ-|q*Q!2T3&ob zjkXc*fdLa0Ppl>e7+;8U)9q0>X>FC#?hsm`V6enAd(07q5Xfn6zO~l8wN;$xFJWbp z5SaKLPXMM#E}Ig*I?fm5;DuhXbd%g^+CIf;CU+=_pq~sz6N``X<90I88h>AzPLPCi z48gB3{!s@Keer0-p`c$Z*XptcymQM;u7SdGUfS@}*BHcT9rla)3KY4F>78rF+Zi3n z!fFVb=?Du%o}tF5Y6_{k!_N8C!7f(U9q6gQJ-?-=K*MK7hmF3+Hll=-Q zf5ll_Z`-&Me)q57V{;0NH;JTx#R9oB-L`R)+G(3M$b;%Aj<$~FN=i5FuRq^VvMoDy zVjnDUkjN6r;mkKTazuqpFvGNDF_X$MDVVglG*ePC88a2(Q7{!p=wVu0rWDf_1Db_O zc2vkhqnTxq07cA<1HENVNY6CHO|jU8f0zp97||i_5TPR`CFE#>dt^G`EM*)s4G=1X z3=b$`A)x^>aFW_eMj%58CQKR$k+=b$rW=T=!~Hb91;GtROQ!kknr1bh*r?SP*& zfF9N<77kE|h_buR7pTU^<~D>PEmq?8TR_fEPHRx0nj| zvdR5;e6^m^ikdPq0o?pNq0wNC0C}DgE(yr1&r^mG!3?*d6mbx%Z4`n(1A+VVl*-w_ zAyl`ZG%5()GEW9~j`LzLO@=Ar-%mM9swyoe$O_+l^-#SYR7sU0Td1SMe~%FXjH2ck zAtz-ME(kl>OgXklp>XybQe-#J5k+_XjL4LB)-Nc^=^3#2S&;94^Yo!& zbKTa)q86*csNDY$jeLJH$-(ZDmLGz%BGnIf_~8Cq<=ZFOu7dyw|Ha?% z!%OKK1ZW6Fu=WI4Mj{GRf2>YA3LF-ch~hkwpxS3EN%-O>8{HRaFifUZmQR9kk1VtB zE*8mcv!zWsPnQ^Qwj)(Gz^b?nX()6MnP?kQtib^-LEDf<$ir|e0A$x###@mhyJ;WV zf|SxmV6ESVROvu&XIE)qEM@#H^nWneRGHHf6_din;=3u9?r65 z@xvIOj&7#K=o`D7tHO`cpV=_&zdrE$%VmT>hy-PivF@sK=|hh07AqSPk$&rEqFR00 z=2r@kN6odx1PIs81yo1S?_yRBMr$4D<~eF{e(q8&9&NQks{+;hHYg(6n;oQB<$H|| zs4NnJp}n0b9MZzmf1$<*P#H*~sAp3V6HC*KH+_C?!(AJifo;po_!Av2Dz0YYaT!Uh z7mBLJIG99ZC@&zwI{%EdjhOj14CF5wr~VjgAN9{@{k<8RwP~)WBi>Z9;PO0#ncr&+ zFj!a@jG?f;Pdi_NwG8d%bgGd{vZzhtG?(W13%qH}I~lTZe}{$!g{TpZ3P4bKOQ0~N z0J) zyOc7yF{hWbVonwRi{_+cfC(IF+L)7`on8dn%lF=ZUzw{`Aw;{*QCbd*Y+B_-y?+b6Pwp@>I31k#KfFBb z^`$`nI2n~JtO*W$8P-Lpca>jkDEK0(lJ?6XRbeIu? zRWip)C>NtNQU3jYMkCwv*&{7c>3c$8S^Ps ze}2$E)kD+qeSf)EBRRltd*gvg1_v~5c+wF+_>cRvq<32HlQR7YPG$DM z%W+cPuK4ID|A#;DU;H=!ofdi9VP>Z_`Tg4pU3H zZGU3Dlmv29c3ao-m|q{(c#M2?hJa7tj%%1X^Ok*BQhUv^{Ax1Hud~SrNV1z7tnCvz z{es(hqK3xRLVAn4s8Y}|iWVA#hn;x-Ja7BJNAFrL^mSAfJ%#(#or zd!!+qWhrntx-O~al7QpNlz~~gXq+{TF zI>YVociDA0JNm8<-R7xJI|0UC9Oc9Aph}8rkG@k8;fps|qXW4|U#ePdu}7bgS{2Opc9&Hv0)OXZk5Ksm@KbGmV5d~89q!Qwvqd{XJ8ZSh9(@>F zwCx^!AX|YmlQbh)55?`#H?;+;814G3aLviIZa_`p4YFh0YC@8(4<%oe>5yjp$D3NO z#Rai#vPanFV`QpTwlJ4gt8Cjd+N5*VO~}-CGxgc1sZ}@jDPOK*hENBcSu#^i9wx|# zeAKB!cK*GgR?IYu1C90a>y&>i)6@HEjExo1eL77i`(75CFYEsWW|)5dm%ViXY*INf zLNGWqF*!vuLODi7LNrD~GeSc`H#RjhL_{<-ML|9wJUKB!FgP?ZIYl!{P6A*MhT(5m6c9x~QE*{V zHjzyf(8NR%<2~pMG&a;8fEo&JKw;x~xPgU7P~K^ty#Ew4$uCKN0V$k=GdKsCO*f(p z_Do9nGXO#8Ko>%A2e;6K7PKJ@JFp88h(Zi{rqq{j-iIv2O|dth9Y6vOAqgo+!x0=q z22S7t0acvqeyvnA}cdv?RHTSBT*56(=)9h}*WF`kix@bZ|SMgKsbBp6j14FFyaq$N`f? zNX-YA?+2VJ!VMc3sfcxKaCtL$JAAR2u5Le$#$3_i>yPWrbRO?tEpMi?S%0y(9lg8! z9wVs%qr_3)?fqcPG~rU>Du|LUj`aFI^EwdSMlcgcC(yMHpOxgpC^l(^x^(~R!nco z$l;5IHpX`)I8B@Nf8K!=Jxy`!xx#E1y*Kl*(Xl=B24jhH8mUl)L6jRjr+K; zf8`cqF@@6Qz^^h>GexMDWsB!ws5sHf@cSZ69jAC*$&4dTa~+7wxql#BIPjAZr&Jv0 z%}A+XF`GsHTqU+XELZ<6c~)|?NY_m%Nz-4as}Zxq>tdbWtf%XBB?09Xl0}Ex>H22! zal{xKCdp(bUccYYKGtGO>Ww#q-3TIZJ62Giu2fiJxDmdYA)K)%N<}@HbVMuDl?vmA zB;2wn8~>(?hUeTu1b?)fR-F24m@D$@FOAvXU?ii4KlVt>i^NDYlBvfx@gZ(1wta

k2Fcng!8y@FKmrY+uGH)8{rxfs z4!4l0$;RKgBwcv5-4wH8^D#a|Gt>M$olUPdtKzz9a=l!vw}12dWP#8$ST=l^EaJ6T z+-%qAGMUBi*US0+WRZFo>v+8_K1@^ptB-LrmbZ2eDH94hE( zv4P=_J{N-mos^sLW3@qIJ1eLU+-ZHTcgo=p~ZgLE)fOH~wOlbA_8a^QmC`uorcsYk?xB$G3%o1^mV(o!WJm84cgO|rt6A`8D1I*_hCRkcnG({C4Xt6g!Q5$+V;4kDuiRPghAzZ`$+o< zd}PK%X;65mWHNYC3p-@sE8|W~17+V8##yaS^Pe ztACj}DS1(K9=rueL=@3vgT8<~~0lYZX#C7yqu9vf|kCMDVI8zCPORDD`r~xiik$>08 z##e5+6q1-a%5Ymjf`vSY+ehFP^f4{S>$#m{h9*Yyqrj><39No<*#6ZaZlN@P@%YqU7w?IoyKHxhjJp~v!SR^}@oip^bWeDxmy zAK;)MPd;J>1zIROk3eALGz0?x(SNxv#DI4Ccw;D}P6e(4z#m z%SZ?BWy5YzuMY+Fz-BIHzVx{P#glP%XG}y@(uX}%?vfJ$S8U)1&wnB(elUxD{|0iR zI)w$hPYSY*S@sIkXD3P05upSC-Xmwovgv3QgrH${Wkcv>8?qP-Xngsd5vp|Cw{^GV zbQSXcoXJwa)TmZ%C+kIl6ks5lwVmG!P-k7o&>9D=spiKGv=ay&kr^;SpBi00J8|wK zK$!9=6Wax0YBvbG41ZCkb_n_c9J?(RAr*l)b&VGf*W1;H(9+gPz)svpAt+|Q*wx|B zE~#s#(9Tz#6SJ?T$F0LY!v?F?o( z?;-@cZKkVvu?S~g@O?3 ziDqhFSWw5J2W(%fP;B=lcTsJjH6n*yVe*I}@xclq(q10!itD?`xRCM0b#k@*ka!zq z1I%om5Q&LS4u8+XI)~_H#k|Poi?K*S)#*8nw!}N4%mEc_m{Zl<{b;Nh^`G|{GWbn(flppM=?I&@Gck$-o|EbWxCtL*D+`7lkVDAP8> z@qkpUT`U*l9b097r|R^4dnQ+XWU88$g?Pk$+&fqd0u4(bz~`WsW!XL%+YTM}mKGRP zkUDm9aGW`iAev!WnHJiX+3*q|T*UClXW+xlPrjrXokXL?S)S8sq|tAuS(j)rDV3)O z`+bLE&VPa7KP8wttghKT4`vYowkJGuR$g|nzB9a=>idmJ*)8p=`alq)JxGd5^~88+ z*HJ%pXf|}0sZgKdumckajfCtTc91?HAkKH#0m#GGoi#_G)8Nxp-(iRPoU3v$<`3~E z8NKc~R(vVXLMYdB7J@lIw3@elK$`7EsLWP8(|F8i8sQ%n1NaaCkStY|v5Cg% zu4>!OinMaO&O=xqsC<(15YMu}L3(e%&jlRzo_wozO*_>aA;c#yp+gvtt1fGpF{V;+ zxjbQ)b!wymO9`=S_XSg)Tb$NA0xeRdsTgI1a&S2b-3!R#q{R~ zsee{SET}hz7xECJ%4>hv8`m8b)_L0WhIMe8-0TeNT(h*?zkSs_Zn7t=0|2zgP!y`6 zO?f)kiIC}PX<`}a(R5-TS8$to2pylIY|!q%1K>q(T*oXYT|#=g`>#8NlW-^L>0&> z4|aDf4Uy&90+wxzfbD-Pc?qPG$qXk0H83`l!M7-X)mvF}+%^(^*RPm|RP9W~gWv|? zs?=5zJ5HkYZg#D#tJd)YJ)$&B=1}IaHvfLR0gwba;2hG(**r)Cf*_7Y_tys+bZ|SM zgI52kH&)1;m=f2 z_xv(35djmWvg+cS)`(5{bu=GnBa9lph^pSWssA`)eE8Lf+c5oaTVsuHA(W&9Pi{M!_{0Zx5bB!fj#~t}ylp-5`%vWXpVOHRi z^;?;k2=1NG6**5@P>Y^Wlq#Ocm#Nu*GQa@FtI>GaUu9cuL_DJ+)eTHe)V+N1`t1~W zS!Q}T$?tL}6N!apC{#84Tqfx)Up>HD^tJ$dnX>YrnWp$!hvt2W=Vkp!JtIgtSt(vA3@AP1YsQn z;X>?35KgF4MPF_=K(=n!T&S}f=>=XT&V{vWJWTPJwz1R zv(x}OEM5zu1@S{)O~V|ni+MfWX}crD34rHE_^ z%}iu@^#DRd1tDjRvjy>5Rr= zg{D$Np~Y=GBegaetaBj-pgHuOJw^`#tkb&DyOhkK$cYn__Vm5y=Nq(1v5@a z`JLN%R}oklN`0&>30UvDt89}>))s~5P-t}l4F=WU>UI!6{_E9&w=b_Qe!D;fp#wJ1 z3@SB6nUaIa`~qvG0yF@B0fy;O%Ll7saC7m`LqjIrKGkviq%i|67*W8fHFxKZH{Ghj z$Afp^YS7`^X%4EGOFqn3BbE&d|KL^Pf1eg#vENW|fzV&DvM^ zzJA-5z7U%E-E<#@-eD)_5Z(8fsq&}RL~w^S@w#wCJnAXOLT+i z!*_vSK?6|N4m31>KrkS`6kRj1=>?o2K-Z?t<3%Y7b7gw$NA1jInU?wo{w{%*+4+ip&1p}+vCJllCgAKBOwf3V)vjz45D#jqHRfm5T zi;Sc1L{*#fI#Oj|QRArD9?{|l-87RF_@00jdjNJMCf~x2N6h`H-DcZmD(387C3rn~ zkq+k?N-|jSSO_Ppk(XT=y1}A)o@7c8ZEo6z!6~e{LrNhY6gBPHx^oS8c2Ak6<_$FD zwHEp;w4iN&Hv-_IYB5WOfE5K)$4P70{p^vH3@d90$z_s|08Q#aLCbxkeb%FP6lz5n zFf8t8u1tznFd7t{eyf_!lgdZh!;$c@7T`4_!92vA&M|5q$2^{}r;YcCNxOe?W5b=( zjkL|A*)Ove-2Cj(2+_;ePc5_a$tIBv zy3Ac5V?7;TZl{a!)yUG}cJgZxqG8zk<>gffIC^v8y2P--x)V2R!W&Tpf}9fL01Lw? z?(7tQX2Vv!*|^X~zH%qb*!ykyv53Y_K`I5Og!8?TI3I8fEuJS4FoRw+hJwN86BW;M zt<&bTY?2$C!{25RhEXLx5IS>g0bKI#Jsn)byB~lIQs}|GYdQCfk29MM-T=!uCg_L; z^u@t_1GNBVzBn|oDAyrvwt)i5P+Vjtc5sA$?wG->Ynyb!8ny{F9AP9yo=|I29B6O! zX?_mtwcYg*K2<6D0V){YLl3g;CW zWXHP6h<%ozg8-I|s2qeRz`*^7$N>a@>qduAP@I5*?5r@@UPl@SxsgPO^S~h2k}zh^ z1cQfSEglB(6z=~B1|Jk4dRiddKcxyL>QWGMj2Q}SrfwR8B{WUg2T+7jmAuyA%BXr zDKIyPRBR`0N`pBf&lkai1!dWQQ%b0eB6yR&2;PfgQ>^ACUXBpD%52tuA@K*nTWE&4 zX(Ki){KN9bw+Lal>ut!Ra$nuFx?#gx{4U(dSoal&r}Yb+6rOcr`hAd$UEtVAXQFx!Z1hty@Fgj7Rri*3Xi% zqn)Au=sN-+V8FY(o?<6l3LO6F(uuKstrUz)C*~oY7%1gc+m2_!fvH3{%~lOCnu^Tk z@~KpmKT3P_7UyvSX`{Eg85_}Ph9*11qqHN{$XJ4+#<*xpIQE2pKBFX%J)uu#cOsu{ zZv%`+9UJaR2OnHcY7VTG16Vce*ay_I$(&;KtlP=Cs1xYvS86z3?wFP?soY2p9q>CX zZ{6JwEN`YR)6oxV_~E*0mIW9oWQ7<8>Mqh*4b+yCnu0_zQdxb9j^#5@l^s*e#A(TY}m>_+edo z35H~B+pX>1_~Ffsp95&MKM0-iR`OtDYjyLas1j$TL;GwnMF)nNo%~F6I24DCz+9q?{Hf3k9A9}8{ zi9Wr`0eg)-q;tl?X2fXIy3=#~ZB8ap^?;Q;nfi-_j%DCC+%aVJm1iv9t;z|;Rt)9C zuZu~(T^F5y*0be(bziX+nZb9?N{<^i*QK4dFd>O1zJnR8Oabg%-#QS+4j0Q%`=MN1 zmy27s7B;-`PQl#2^HGR8)PUcGPy;L&qYYSdU--t;{9}<45rH?78w2vGT;ERKy9Pjx zT;H@&0*0Ke0ffT7Xsf(!j|!ibW$3|f&hp`(i{@X*keiwu>% z^MV9`fqCSS&~YIdwby;$6P1cRcy!CC8h%@I1+HuzpS$3ytR)7$@TXtYQ89_`5k(wS z?}=b%>X_XB=t{<;tio>K5~ylx0~QF3a1vO`TdP>Nn0W5W*L6+cO$_s8of}E}ZyW`e z`Be-{AG?W%Hol!&rkw-ZB+E~h+u3#HtG6bLHJjki*B4ja(}&+%m+Cs+G`^TGw~GyF zMLue$T!Y((upteRoVRkfI!#|*UHlIOinnW%KN=?kFgG=m!M7-X+=O>R(b(SznEVV2-zeqGAOxQ$ck{GwLN`6aU&;E1%ttT`@b1gg_ z;fw(jPw>NRu6X)?J^Zrt7e7Duzc2kS?!M}oM5kqzD5*O(KrU(e>rC5}_^Fu91*Pfl zRMH6%xFOPt?&Yuj>8GbJ{rJrPy158DuR6Je&eG?-cmlL@+ds}2PZu+8z39k*r{6eo z8T5FC?=El+HGC5^oY0NQ3{2U}H=ob|2(;-4o_bbjzSnqv)Q?`2ANrFzU4F*x*M8&Q z-5aohLLt%Fq)?O+u4Q*7SeAK96Gz;~#ncXbAe?5&+(jY_vOTM-rd%OEmbU96Oojv5a3Bu{;&QXDuPdCEVf32Lm`RHulC#|I zGMMn^7bnSYo{k+z3}QS&_Sfqoynag@oK*FyXpk0v39oQyiWzLSxZ|jSKk%M2L8L@Y zxB2eBMccTOEK7@gxrUh$>2=xq8BbT`g=2ORWbo{Opsm|{gVR;9&8t;l0W*BBt_s|~ zEUIFcxAhJm^T41xi+k|_D>7=+MLR4Z*&-abE@J63i{j(aPC=8F4F-|nv4f=`+Vr{d zyeH9r#A@m(AmXF}w!|pj#TrsU)-fU!<~g98u}MVrRUfl)ZbClj9xphh^z4nZ4CHd} z#=Jp+y(M4_%1Z0t!z~04+auHi00#hNAJ$JZ>-5vob|^KWpCJa)Afh@#Kj!rV-w7ep z)BO$v-)(Eu@{#w~TyR%}_@Ud{A)*D7PBlM&<~X#wylS>()0B1PR#dtvt3Zlz84)k@ zt9)6uH~6$Fs=6&!`0(~-(qj6+Vy6=plSENFiimk8JG+f60_+Tn1H;!nC@$*)rH34I z%3hY0%NQ?o-LyEXFL1<+tylZy9PP#p_zn0T+O4+;zNax%+(Msa4Q?#!sw$Sj77EgT z6-R)tB2X-F#Rr(1JjLaF@CKA$8KzW6^RM^B1GRnG zas_WnOJ<1>J);+sY0JeVEJ1!oj6_C%ls!<^#~*Ke}Uu;ouhb?bUvNboP6CsG)L%mKpH3`|rBc=n;C=5AVXIUGD~(va^bEOA3k#O#w$lR-c0L6C|9~oe=nlBzZ@O5)li&i z`Yhip_nW-+U1rx)8;TKvYtC$LEH+T`VA(erjs`o}p<8CIs=6l6bgdhIER7xQUhFyc zFAlviTm{E0eg_P!uf5Bl&@s4D9r(?2b=RPExDUB5=@Cvt*BEWS%QyQl^-z^OuA$HxJq9Vk z;ihnZAZ4M-g1xzM<=74&RlX0T&g0C++1sMME{c%(p_zBn#VGH8pW;x4?N!+7}e0kP4-u-7dT^T;Uc;SSe8S!1KJHbNVoXBQYk4{;siaWO*(bH+_i)`f zQbNc1(_wCOnaPNM&h$r`l0EK$XHH}g3Qj~oz6t%~qsC;-71?Y;&xc~EL|K~GGr_=#|Xc|6r$I3ha=u+iBb3E)F z*>a-5T+r0=EQ>Ms4$$SM16`O6pz9t2=)!b?1L7!59O!b3pbL*>cw+$Fm>5CVuizMi zE<7H9uDgK<0cW?k*?raEsMo<2d7J-PZui@8?G2wq;w$ir=x7Bqy@PD3zc0vE3@Dt zyDfhbl+2^^UG{3qp&*nm?d|9o-lgzKn`l&3}*nPd< zl{s5e_| zp5sqo9DW_8`0&%GGskm+4O9%Y2Xm$;yyzzM>{8@ZA)}p~1l2!ji{D>b8t*G5Oz3RR z4dFuIyh}eF(DBR=XJ{bv!xB~}R&%5}Z>VI(7=IDkh+ri|F_%SDKOoi6mKbOqER-UN zGDxG`fJP7vj5Rc6Y8v29@Rs8JPoM5*4NC(7g(JqcR4LIkaZY*B3|K;-x=4v;fgkAT zss5U1=0(w1N;Do*fiXD30`rzo(Wv}mLPiVQXTQ$&1smszf{iDcl$y|Pmp&#<%Q=Vo zcYl-g?kO z1r|Epu~?W12ma{jk5|v!2nDlLX6!~_`y6QJWNt)fnmfW4#o z@&%Arj7TFVqWr17EYnj_UVRUg7j6p7_ebTcqP%nvzZ*72c}o8PL)Zn;Le2C-g(qlI>`EI{`SnhY&xD5-#lErd~J;*yeEDH2a z{t+gxZc1eT2K$0bf_6t=TyGwm$A3nO>t(ruoPj%+f4bk`&^5@5(lrbq>1s4t@R(7` z&`JTEtjk4Rt?xPqv};^Y{j|Y{;8y?j3V-7l0hFS$jXh~-4ej*$;ZMp*Fgr(tAZtba+(z+t5w zeEggQEu+-i8H$dE=chdy304?2MA^uTe0WSEMA#ov@5>C61e^o)QYcq)LmIV*vq2 zyE_(~CYfS{DRnFWm>8Y_7JywuRR2h_#Dd#umV>yKsT5ZnytHE@u3)B^E5>;y2;?Ow zU4nB6pBbPJfDp9<&PS;Y(Ne%vQZ`iHx1^W?;a=K4F(o601&w<-T7MnvURqBt@7}~D z-GpQ@qB^{LJl?$|Q;vu}J9z8n&1oQ-`#47pI3Mz)h|~t=f)o8RDq#hW58@NS0T=3| zTaiTfR+wBJ9{UmmRyKJP2KjkgnBHN3dKpF`w6~qNI6t6yr8-u+SOTYwkdU`X2;EKj z7M^?v_prqZEHtb20)KH31D(SPU`|3_td43x6Wg1_?1=7f%E78WU`ekEF|Fld`l3EI zC4=B}5I!>r!7OB%0)+9l1rhY;-)MFNgMj>iS2lYJq^pbrLM!RzU1tAC;1-<4cGJNvHBCp?)9g-DjeiIK!Q`m6k`~4&NC)*; z7zL5sQDH{=t2Cir7|lU7_Hcw?2<0Z_1I9>72QI)1l1j3Dj?Jf+4^TCXS?*KDnNP;% zaAmW$h=|DkC*_r4X&dgLl!nzTa zTRpRf_#Otj9A~!~34M;j;s%>a7GhIXUBPv&BCJ$?Xjemp%A_ZcP!~J)}{iJaf!v( z&?2hSo+o2fE>wJ+MAXoO5fj^-ISeP7NXMtZi8k!S3V(RLHEBpDI|U%7(wTViTR4#VF)DXbe~7VeV%IX^Hg)6 z*I$cu_hzxAzTFpRp;7*^_jQ%J72^vkMxQD9=2rCqSBXyjFO?Z4X!TcQPKc zw3HFpBraNfCdXnC`@5D=&5MyfDLkSuXO9=89b>0cmMKa%ZMSsyA$KXZE|ltnkS$<;lGQE9ox=qRpbi&C*Bjeh*)3t7Cf= z84w+9S8qUn;jXzg?cr`E&|uDmFN5%K)>WHc#~>tF1VX+MzCUBE1wh~B0nq=p0En%p z`|vd$YirWD86L}1g-b<&TXwoTRES%&oPSb&=6$hnhJ~i!pn&aG0RIt3EIaLG2ieXT z3XEcg+7h=4ywK=djs4nJ+UjiqE~{}o!SAKZZNRvjdZR2}bE7Oyd!rnEp@qNxB-QtL zX)!i$!@v)SiRVd7`p#e^4jtX(N8-HdI6bf5+VOE3mh(D)4lxcyBCs>sK~UFtbqblJ zg^=|BUUm3mgI8X+S6%@P9|JKpIFpcG6a_IbIXNKlc9inq$r}WvsO} zEtQ%ki?}(&6eI(&hp}+5vI_vTHFVX0wzfcXFhq$(9tN}pyqI~=X=x>)ARr73v6lkE zKmq_=kU2mKe`E&WWel$Q}fJX+q7} z)D~<8Py(BQ?43Z201F5dVEc~+zzkw<4*sh(C)O7(e{m-O5a8qhG6TPaf!xeM4u3(+ z00$7%4(#Og@(lnx0W6_Fd)UhiU=RS<-ptn7{I3FD>=ux}3vz%$UOenxuop5lh!f1o z3<`FD0ba7INy+@9PM8%C_E&Bv@CyupSiE?eL(H82YUyw6h2{l?0m1f802s&(_E#=b z5WpPlf8<~bbbrbHLgoMk|6PW&6WHGJUllL|pdd>i)Z7;2AFpud9v|GZ-WN`SvE8L-)ZaR=IgZQcL7fPeSY1^uH+4Una? zEfD(e@IUCq?JZvvVc}=x`G*zkBm;H>nX7?eW>x?TpzX`7{*_;1+`7bj4T|AqjguJ}G9@BrlSO4}?d(j`J)AR*m+)#-OIt_=jQPKZ!-Q(#PP4SG7ts@y8#T@ zS=re+059)Efn zUUr?GjbU{S;~x(w6r)XCP}Gxa#?RC)IiCq=t{kv@%#tdj37c`M;qc189~{!f?Ok8d zcMtUS_OzWLcWjd}WkjRV3Id6J5)P>1VeTf-iz>4xZdY45?jLRe-C4Ib(9~D8qD-b-!Cd+v4M-Tw}!xiDX^qs>0aGt zhH;veiwn@_P>2$VR7x5n#STUW;<|WFTp-L)k9eCewDzh0lfU+__fi0iY`x1C6!kbv zM1l)_=!J`fNNa>Z61B4v>G==r&*%|#Mez(la+H@-EbBJkpWSi=onIrYfA`sKN)lbV z>T2)wlCmxBa>3c074C6DJQF<|Lr%|#J{zg;#GBv*8Hog75&<}S$O7C58bW*Mu!?o$7;3^?5d@$@U3L_s;f7>@aZ;3HdX}n(_ za!$=}zg66TL%m|CF9?XQ$z6VBDe`T%%#e*7KV%==-dDn@Ubhm5HcW#D|C?B%Z&Wa zwL!9CAoZ(bNtYHloyj4O5{0MJDnw6!zsMwYGsE&Bhx3oKRAF(!Vu7sy6ijN_*h=ZX z{Vpj!NPTCTEPpK$Bd-d)v|Ji`BK?!wp-CwyVOa7(R5i|S5OBRd-(0F5P7Fmxpv%LbgO2z z9q!SBkD5XfA3HvDklfwli>K(TIXNnsoTX#SrFr`JQx%_Nvq0iP%(0Ft!x-P?_+0PM zdp-%1{q`9(f6>gX{wU>KQmb2yVLFsp@~<>ZerR0O$>h6eE%+*SCjRu^VXCT&%9AxtrR$pl!|GGr4_{ROcz=pBz4rdUG@0`~I zYo4%2N$pOBkK7|Iq{C4A?9a{@QmVbZ{Dap=6SEGoe>jHk2m4S}IGXmrFVZzh6{weK zMjc%_^j4{^Cw>=G$ygdu=YhBdf3k1P{ewE}OlR0LADyjaR8AGsNC?32q@|XqG=3@wwtHzQBPcvuLUr~=ogvI? zi8yhr686O6MYS!1c!$r^A5?q1s;x5HpTpH|pmZu46d$!Z&PZbXHtBV-v=lqyfLn~; zfB90M{8*L$=#`!bra7ZAN2e;ed6nvFrNg(9fBZ$gmjG=-%8!U$hZjpZ4;avz=sKn4 zrAiO7(BPB4s*)XEpA#`UF%h=vN>&avCvom4$*6!Yr!eA@uf4J2RsFHrde49uI4jT{ z>aAWz+@M3}V8%nYNT|xz+xolBSy}ylW+WkO0La9*>CS{ydEPL{u~)&%^gUtWp!tuiJFAx&R7+zX4-5_HJRB_?3QefQEps& z#*eMlN6E@+hWj0FzF8sP=Kkg8&q?i%SbDVd^qEq!tr#qOm<7i1CgXkZ+VAh?$mh|= zB{#=Tgx?r7vl4K?D{cgY95w|tsuk6@f1eD`3`X14|M3^?miHm*9vbp3#nIyXX-|x$ zyrZe^p(G^-1`)_2b57V7($9h;SZN|5YrmOsB5%vDWOVG&OEEE3=zEYG%-~|mrlgwQ zEjRkEm6gL^?sa(XcSx;C@5&BX#*1-G;NYNf6%$! zO+Q33*dnu zCu9ktS?};pH=TosQZd(_y*X<+E4 ztlkU*E=00a_;tBH9_L2wV}bM!e|rt=`hX`jWQI#WtO*l?usow?)v$ZoBYQLk!dXVM zsMS!|Iy(D@?RTzVwJ(&6&VX9>cK(v(C7@l@qTi}bez4BYbbO2Dq{`0#pt-@SaH?`m6~xWJC`+%)xZZCHuQhkD7}rKLElE~!mON}Tn@X4FEBBNWQl#Ab_Lv990Vj64@K zqLUVhlcS3%q-q&F7@fVIf6D*il1~s;P8RgAAY?X=(qydPy+SV9!iKUyWF1QHIi!O} z#=LwDd9utL66r!tU*=Vk#c_JdO4Y{;M&?|@d%<*48T{zKUj1=Lf7*J(ma51`ahWCw z3_e6=bc)U9K-jKtT$^et^c<$_W6BLn88)xGm897u&(d^iFEnSWQ5M^+XB{$Q)8(q1_624{=*3!E9yba%@ileD4xvULP2b?zQ-)MS;NefVhF3F?At)q;z zePjXFW4O_gGJTA?(Tc^R?jK`({35avN2)o*6}@3x&AhONf5JGMNR-0k7Fl^9c# z?kig4UCi%g6MP%`nqKr~(kj?Xfd8k}epnRSOvs)>nub@Gvf0Gby{f#ZOH|FzwP;+&Z&(VZqp$Ws^*k1>GjKE7JHKXStt*<{IIoqw}+U z8sv#b*cDr!fA%mMvL^X-8c6dD)^7d~IgM6+62@p>3Ooeh4|G~Fn#q`PpA~d!-q+dT zr5C7+Q+hL8lReU2-Iqam`kddsQmp5=rS$4~@_Bf^bnAF_!D!)^CLKp%wj)0lmJzMF z(u;PX>-9wVf%vA9J{Qr7FsdcyfOud2XvpV-YlI0_f2QveV|(ZfM_)8o|UzI#Pi{k{cF7+QCi5URZ3Hgse~|VNGO^`b>RK zQvQZ>4Y#>%!@J=JvT!!9TK>2c+JHuUW?T7Wi{e)ascW&Cet~9`Uq8?bO~%0HnOVP~ z8a%^?e<#IIp~X%2TqVjHN0?LN<8qYhVlR1-J53o~|AvF`mra zK-v&L#SZ*Deoz@5)d65e?)Y}RV3jWK4Zo`wV~fX2COTH6x4RVS&he4z?wax20Dhw^ zaKoAx=Y|TL_n?>Ti}A~OK=X}nzdm6Rz0?Bve>#rDF!BCoe^%x;k1+BrwJa_9oU}Oy z$uZMNu{>|Qm{N7(ADfw{!n&t*y!6}Rd>)s3Mksu{*L4*#*M}%*SB=clSM?K3>rZ~!=1%>)Ij&-STWr~Z~qYUK8VyimZ62EKc#*OHC ze?5p5%-U47pEzt)@M9(gp4V3%aMf~qwtrWNi~30sB$!To#q@StIGT<{&`2<@WVyeSxH*De+QaeHrveRzSY__S>9CzKYOH4p2(b~1AQr}~+4%(_Om`v=2>4a?rKh8#c? zhjv;x&>dA*%L_78W#A4(v>X+Cow7R|e;g4sZ*~scOU$6xjlJ%Qw&?E`P}0P#IzTx| zgeG%*n8S|~wKNs?^qY2no*BHDLyRT2Zv=TRUJT$_FL41akmp;f7Xy0$A`HDEQ6FaC z$6md0p)m!1P9q@^;;w1_T(Z83Jj(jj!*dbaQpYpCQkt53#59x(RTTYM+IwlAf4VGP zVt1dF$KidO$nl*t1^>wwz(3z2+kM>i0L|P+pLlhf9Yl;5Gnc9%q^T9=n2J_ITUONe znP^A5DVTG9ZnIE?)jJ>ls_dQj*KdaLL&wTrjX+eg5Ab7xR)h*#{?7kD~p(e~+nfEhr*< z_+z-pZlJzz97&AJ@Ppwr9Nn=hmpi-op2)e{VxO)QR%;URrTzMiG^-8~ z7Rp4`J%Oen!C;kB(>&u8f6SL3MgRLzu9o)AJc9l)wi3dpAc!7s7P{asj9ph6zgT2~ zuwxMcz2qSmAL)qQ7?|qBy~i;FRZ4cB>HuS7amNC^p^#8_J|z94B#wm5wasebpzOG` z%*i8ZR}hl0J#o~SMiHVV;StFrq}ZFlrNDhO-XzMN8=aOgtXCf*e+@F@BE|;$poR@W zvRg$80!dKsK$GNhL%feyDD`jIt+T(EqP_QBN)`Ok&qB6O)Ht~%|TU+!_&!P~| zklI3y-)wvJ3fotCxJl;+SuC?{nA{C#Ew3M~%jP z%o%g>*NWG1UFywCe-4JI-w~DjonH-Vy+Mg45!UkhOxp?$G@0kSx173H2!B`Q1~fd7 zwGCmMmiCevm;YFE#m;=w9?zf~qqOv+iLKQ)HPYyf7`l@w{w;0;Ics~Fl3Yj1zN6~? zgLbOOhP<{)gT|pGj#X>o%){Lf%O7H+S+7|OMol?9-L`8*fBO>t*f-qOgU>5sL^;nG zDS7QxKI{I^9ZnUT-a=~5W6y3a?Vlnu85MR_zsu!~dOHu=$zB+$*~q+gdvvaaoI`Nn z4Y0&Fwry@~+qUg&Y&-whcCs7Wb~d(cI~&`{`(D+%zuO%8Jl$0@{S(rNV6?43W$c_n zKKce1glj^&jlrV9Q#kiTz?CEHRi!D>+zNqh+%`#ta%=nikzo?s?)&<|A?d^g$Bs*# zue}A>Or>Gf+<0iBKT{X8PG#7|5@1~8k~!l|`BkvWB$9T`Q2ZmlmJT#R|I=-K-w*W& z5h)TwHe%~-`>+F)Jws4>sysAjR7L%sHnY1G{9w*E$zh&6Hyw5QQ0=<0f{P~bxC*mD_iwF(>5)2BDse}4e3-cm=sEXa`y&1zjTu~ZuTZ8L7b7GFPi zxvG>lm-|~OvkL6G*U}NSY-a?E;+jj?Rwsu#_IXB06(%JN-2F^#rNHxvUNp8CtU7O& z@Do?(_1>X0tIufeEDH03!=xojuDnXmEMZQIT3LA#8>%aZqo9DY338|f`hEC+_c zK2VRVBYj8lPEv#nMPC(;t(2 z#{Md3Yoo-pU_nsx>7Z{x<>JK;k%(K{iTZ`mdLM}f!9Ot7Gg7z;eKB0DQtiIyn-aH88tN=i@3!>9?}}dn{2*9v2o2ce%g@SY>ukA%RCI1v*Fu*4^`&W$PesFrtV6v!z1@cW^ia zYr>Z&LvuN9m0#T<-_PgP9mf;lxU3({auVfsUM(7Oma=47=aNN2$}}&2T$~o6o(bd} zP6%X$h<|qpMfd!-Etx491F30!9ow{XfzYL0Vw7+qiF&k)*SK=<8&lw9fWTNws0yO8 zd&QYtS}Pgy63qm*>#{p?iaYkRyE<1lREW0exB<(2q-R27Y*SAZA!uQgUqea5`GWmu zYY%#^h3cVa?zu=YHpjATMxyeIpa)GPOSI~5`Njf=2O_X3#clPcCD#R|qeKg@Hkx$W zg^+tK)w^$#-{@b`b2k94nH0q#@=snY|8$(|ktJxXRKkF{_`~s85==PJ@}PB6aw}9@ zBnmEf!2DC|M(OH_p_aXSqo2{YN~eK}lGHeb+_2dyz57$mAwbCS>QobYKx^*WHHvXO z;EV8O`EAp*dh}Gp!;}zKv(bD#KNY)8d7(GYXUkfX=>_3|BfdS#M%iovmb(gX25L{2KwO4-tk8MVOK;w?Ed)5~SF{(1nAa+)EGb+D1ODw+P`L z1@k01bi+z-^uJpD(Q1%<*q1g>!$X13%upH6uup|ukR&~fPtx(k#?kga>oqtMr4$Ft z*E54ftut>zd2$vs1rApgnv0-wg5yh1xh_WzgO{|BJmt#XvW9E*NED!0;b6~btL~9+f;vK?3L)ll zYdZQAbFTXBeqmi6US@G>@wi99vNQzNkUTH7g7cHtQy2711%-x50(}(`V!pwJD089a zEjeD8i(B$7s38}Xy6Sm;4EE5TDBfFMt?Q^@7&^1}PNXIRH4&X;H~Eq&a|QdEjk;5E zqkub_C<(wRDzJIZL@xFyk@4M~E!(z{gE8W&K~skdfMwV6`{Mi2ZczghOs0Cn%qflA z5~HrP%|LF-SY+DF$ry+@jLTV6@SFSkEaGFh#a34FXK0T2&5GyAgCma|$MomW@(XNs zdO-MHjCe^Oo!KkgCok<@DQZL#S)6D2(PUgXKO%qwgYVvH@*{>v&2FL+Re5N+F>#WY zKe<)6%~HMIu=_+~W6N0uYS8xuR!QCJ6ZclOVw8I6_Twd6^wsr})~ruXcCHRKav#Dg zqp)M!s&Lq-+uM_4TFgi{r@8G@n!OTr5B`jyjwf&Nw*2F1*0Woz)iou{_Jmj@F=mgG za1lV|g_eu)_xr6Nw3o-Rs>IBK+mja{z!?{5L0MI}nI-Oe)43t3A%+^O98HSWZ1_*L zV`el=$!aAn!5Yfh?`XQgS-l_@bzX>N3M}7YU3pkzhqxn>(z@fadP&|`X8TC`mtu5gTB7E7WE5}6&^fEQbAm&A2pY_bPiel*@YJ$U&GqsCXR`TbT zXjaJjORF_w%cK486Aqu)Iay@@4HiOMLEoXW;37x z!5R09@F)lIoNp61+mOQTFHNARVa3#F+vLQZnoh_WidWLRA{tGdCL3$|T~-Tz$#XOc z-y%7t`L=4l@N(gN?5;~mI6seRV*R1cW#Pq`oh`zFhYiBmF+F+pJtyVHf~GF&Kh}8T zd?)Bg4690{o7b&GH>n~h^sh^c#3g_bF`u2Vr~8NiSqnhboeK18+K7b_DmWso&T|{5 z8@K&Cx9e7}Ix))FSJb~naiq^ubHSB%M=Y{~4~D}Om1`Hy&0&sE%p}S25NnNc!55p} znzQmS?g-8;vo}!78MY$=kG8bAQDM+b;>@;o{N9{v()i}eV-g9y5%HY6aRQC2=uSt^{w8~QzBU64ikJuYC#(=+*!K^m*L=o$yVL~TDaTal%a-(M!g z)$!rdXxk{zCjP^};c8blwLa$AVdy-hY4M-iuE6u@r(t4z*l%``%Um*1M37aN?Xo%L zaHp~LG&L97FdCp;oy{~2sRDw_v{L`w2F-N2^mMP8xUICCBu$O?1!2>%z!Z4TPb&RE zZ4naD^G(n&`o4KuqBjoEcQJE-pWDdOF(|$ca*@74E#`9jtVId7t1GQWcqr(}7F>|Z zY-Ut>L~$6aZq3>wnTI#lE~I#1KiT7pgte%D@>Nn%Uhu)?z)qp))&?%rCL~rdRL76Y zQFB7Y42_cXcv@Ib*bQ6pLRggM6X3@BW~ks}f;Ww076lQGAyvs@_(#E~3Gcu!wi_9L zV(NRhD!bD|sR!T4{Snu*V%XgeQQ#U}ALFLpIZ@`Msd83`o9$GlZI3Y6?#b~-R_~xX zXp_xD2)`Mt{k^%C!UA+>dg1y$=BMqf-+`lI-l*5+r(bsTIgc`ro1FHFv*rK zT^@=NG3n^{$C$$cS8KqXeJ6fq*OR7RR%JCVbste)PbKBNP@?}gPr)t#E;5v{w(wD0 zJbP=}_i@CYUlz0);s&PQ6Cjr zm_;I7fm~}I5INw7{*%;Zzn6?}MU)}_N@ptsX6pdq_za_Z(<-&Odc?q^lL zM1E7bSaJ7drv?a>+;4Ic?ZyyK%bARTS~)J(FxzzQN6{cP8>I-Rl5$zqQmvUf0exA z2#}y?(CSyH23emNtPQ@(8R5u9_dOpCB;QTTr&1bbJk|{qXOb|~iZQeKDZ!bq=AR$F z1Z^7mXPZ2l+F!6+C)|Z=R!^LOtHSESZ#*3 zmP5J+1lr4>Ph5T%ryPaJ7%Utqj}gqQtNi_|uqIGpKm6m%R2*ZhDUfTq;EB5~CEBe5c&5I*bok;f>mLaLb=@DKP#2P0rb;_0xV9> z@`3SxfAckqP(sV>ao59miXI*cKgKHqgi=+7&QLl_7A8a*ls2Je47jDRr=@FGy8sLd z%I=)2_m9_7+_v>wBKa4k?YqbodzwhveEa#L^N|<(N+@NKW=aB|5{qA z)*;T}8utVPKx&U3C`$ajhz5U&*6a&j9;fe}nc>Z7(ZHa)BVjtqIvE(ZtGTV4wp$^L z?JupuTx!^@^`@9swZ=k*4ONY0rAlCFzd2`KI&|U-uQROVwm^HqVm+ zsPKieA9KvZCT+jYvT|GEH*!=)eB+;S#Ln-iN^lqeF-F61a%x_0>HC3lt|9k?a!pnf zUoVMh19h}=8}u6}MyM4W$*TUAt~UB%DtVIBFTO}#gegLfxE?2(!#}BMx4`3R;oLbT z=1He!D|VX8wtG$1t=>b{2{bT8k0X?Og8Gi0mHQRee3o4z5#1=)$DF(7yrO<~)!nu7 zvNm!(@WL+ufU`v8>Df#D3DtC(w}I6IkDOdoN=_#2vy8afPO5c>33P{>gstx2c$axMlkn7sz4f@f7f%*a27HVZsJw# z7f-_E5VS}vw`V7*AqqbCb#;AQz_;@cryS8csy#f8_8U44zGM&H8`6uSibF|?X1;Kl zz)81*vxy;j?XFvn)JU{LkYY*;KZc!RevcjED_`eC!0kHoT74}ZNDIPtN8`9z_H(J# zq&EM&Jb|f?D*qd+|CbeiOmu><*xYJ7_ZJJqIBl z?%~_sy#EAM4xpN&0ov;H*<$c(1>bET5Z;-MD?s%Fq11=*u%AP;@Vwm3+Y=7RS1}2CeQ^JL2^f&&cS|%I@GgDP<53>Zq4^Nir?t4kLGeqkPlQ-xCo~#B94KRPm*} zq(FO8Oj5&In~)2${}M=EN!gMcbl8+u9k%7_EKAN}{>XacyK087jk6D>%<)mX92_nV z&`7bA17ZoE7O~KzWKK2l1c`I=hh@z{doa0FxJZN;G84%nG1QO9$#ybUuHSVO3eM2g z{@!fIVst}B){7+<$s(q{NElFqHHh8X;G5|~FO`Xb6H>^p!D;=A#pLgutI3qfrurz!c9EE)`RVw@>AE9<$pgm#56 z{#Rq_1F^sF<22PC&h;ms3!r6_JbAJ{iwn;_OcitkI4Cd<^1dRRYHeWVy_ptRy&htH zz+rLN1>s1;6gHAZ?tOY84N5j?fLfI85>`<%(!;R0bj;sKv}6{&zaRc%F%Q~HEl5qHbHTVI|^ns;HdUP z(2RNrBU);0rET*sP({DK=4z-OFdW%{78nx5b%pj{=Ig?D{$sF)ox{TAlyj~Cylf?o z=4ib!1SqdI893w>Ka?o0#mWti^btL*|NA$vQH#nzU;tS_+=!B8-j(4^SnJ~%cdX?2 zg_xYCKs{z6(wpt}+#87Go$@W*@2l+Y!0O6;$K2^so$quubFn9q^qQzPRq*rsd}us6 z9s<8pc2XkvGD|`XWJHi*A6#k%fc!O9GCzu+-Tk+OMg4C3615w+rwbjkPB!yprI2#g ztrGgU;d>gO&Uf312);NBgOgXOC*XJCRx-1`FM5q0Es*nu%c^r$o0YOvXl3ylIx>Ml zS#GT7U&ypn1U({OeRrmOhP8yOjVB}O-pW&2aN)oQE|;>I;pcv4 zMzxUqisRRU6b_w;;FOk1$;00zOh@RF%Td^IAY zX5`qyC|nd;djVy0mOTLCrFz}LhMs_^wm&u0rq6~l|Kk`vNbS1Ux#Bx%n*9kb=N~U%XKiTf7 zmitcFrxnNu+fn^uru+5vs&0xga^AuyZmi^tf&ly9*M*}T;T>)(nQ=nso9#X)Zoz&R za{UxXdu{F}k>!1lB8%*ift|H$Oh~2ST_>3n>*10(i_8^ip+%G{+!bwkatY*=#@QSob2t&dk=8Gq^DeVGFnUTs>fdv zZIzE^kRbEX>n!gjDsB0}F{dv%is>g}A#EQcs4`8GV$TIi!kia0?1aKJyl+X7gw7pr zRL?NM=KEVUicVq;-!hJ5$S&@;_`~;)eU^u~^v80L-!z=eOe`$yY_v=)luS&N)Ub^5 z4!^{VUCoH8#CTYkn7NoZng36c-cbQE`hQg4DIHyh4GGNuWoC_dg1KCA=20Q@I_4}iPK$sT7mWkHk_ z7^$!n!Y4=JoXpNt-N;Fs%m0#L#`~$7#a-=_=e*5gmYJS$p5cLgPX|3k3O9^uLoEbU zv#**oKpLLSI`kQWmyl>_&nXZs3k(MttIYZM+@ybNJJhEHw8 zGp+H=#4mL-2qR&`W6Z)6bUztL1wIBCbzw41_bKd+iOca`W3S;cpN`h-`ec}Z(s>w> zI0X=BjPx=M@mNBpuR|a4OOa=jX?YDvg-B`z4WlQ)sW4si8Ez+2^4)`slVJ*w$|!M3 z4JyJwRx`&z+b|`DLC7XL!XMW0)giM%#Dr3*A^FGki^Q3tY@78pmKpzorqcm_kceRt z#DHrQgj)!s{!RZ&Lvq-dD3t1HT7CD?zxAT*8?{ob=?7~P?6tXNx?o!8kMx>u|i4x;g>K#5|^!Av2;% zBKV=SFU>9=0t7e^h+!^iq)h+fv6ZB;Gf!01O{lPBX^efGCrhZeK@*LFpBQ`Py2dKw zwiW)$~$l%H;9>fYwe`ay&#Z^UV&Tq8@#F!<87fXAB2?g7*SK8SFV`KETmQRC9T1oBhrbF_f9nB=H+==m&SlqOZX9wia3vhXt`5o zgfXoOT|A3gOSKe+47&!WZi0*{OX-(Goxq4I-gC%xw8sj7OeZyX3ub?DYjqk7Z7KL6 z0lS)tUiV#fw{}TlzOp-9MhE*Bp*)yEVa-m8zAXy5g@nCrWTaY6J!*c|Pjk1aZyvH= zLHtg4$kE9tCLXx9A4%@Capzu1?x7PvdK+3h4{oB67;l5$0O2usWXSHFCz|k~mEu0B zpUX!LO%w0Xw&l0{yo{9=#C7?Bo;~F8UTNm=ZUK5G4RMGBxpB9|AxSM( zJ#N3yVw8n=?qhL>$xpv8z9F4CcHEYxhO&rSTzI-Xf(+D!TE>mdVA6&iYpIf}rWQc> z`Pouy%ic5pS~Z;C$CGkw8}6nhQzMtbiGWM{)AZkpZazD;7C>wt(d$LcdfE<(Ncd%h zLXe3jotUtT9aCyWN-YI}udDMrMTu)z32p(Wg@j@EG&S>g`|YYT?vLM@>?4`qZq6!x zaz>y{>wZAXkrj`%d`B7gWXoqcW;};wEamgc2nDnhE2FipYVE>UW{|Jx7_C48QiK9; z!<XZn6bhZU^I(U7Jmm5JG5};G8ySYF2bB>mfaSHaAqVC45a7bnYyud!)AY zfbf~*!6H$4&ILkKAMHMGo2r~(j#4BjdUwUGlg?UAKF)gA)5~8Qxz1ZnStz}th zAvi(S@2c7ON%bH^x18W3F_wFA6&&G@Ch!uq2Wl`r*>{b48re z;1|F;8{8@6E9X}Nr5TVFtZ0s6JD%`u4xOB&vBHVr4SuSd-%GDjJmOE$e8w|t7nSn| zN9D&j4;REcl(%b{v~*&Qxv;eN+wn1pewtx;0m6ToX!&f6qz^pI3LD>4t6hK2!CW>= zzL6AOYTQUgi5+$nMBjK~Avs?DvP2uGj0a$qgToHXezKLl5X=d+SDjkr<`f3j1RETV z!?TZ_t`WP1fT!9k=j|vsN-Id#clp}e8zz^_0 zMsYYS2+-#tl;9s9a1QNWb(>fwAmgrjfL0&S5Fx%XN_Y$eLC#d}?`aYfZ3LQ!&7s0y z-NVp7=iHu4Z-1+)4eYmc5N=Lop^=LF)Gq(C{9#|y==`0Qcyc{0_~#RzY=&bk!nvt- z9w87m1OpCDpUnn80@Jy6H3R{RahW11<+4l;-4wiYDFr^C3I%1 zxrgcbjlOCqXKe@{eb&_NjU7W+`myJvg)lr&>l-6|gmCs_9#0_WKPQa?76FDYZtgCw z&$Ip4@O_i-mX|lCwL|jA$%$GA-2WVGF~FnRxrDtAJj%z7qWq~8 z7U;s++`hZbGcDd28gHe9>H)repFYwX1J;r^On29t#*T5V0{D--KBqE2=3P|xYVP4rRCn`zVLqK$yH8VVi2jV5{~N>yrxEvHX#b z9mi8@J#F4QvYFS%dBOTh{hs<} zpfKZ&F)kGWoE?3AediF!UVT)#(Nb`mGSj3G$aIa>vPpLfu8P7o)gXN>hnO*v5XzM$ zZ{e9IQA+SUvz5M!P2aL`zpNJ-9Uu#NErVHt)&&bn{nKe60M`f%=Z))g(ohUluyBe^ z`NMx@3D2q-)O2nEsC=jzDmN>Zw9}ZPkF)Rq4ZOMU>+<8O87{ z3A1Qyz?^-8?{9#wKq!>!#038BAZ?lztNn|MZdff+_NbK0gR&6pt5XE!O*_$#xPLn3 z?LF?zmLW$Q1u%&g?Ho_B=iNCus%|NsA$;lF2>kT2s$RypIBGD``8D}-B-FCh1M6>> zoK8}8x>>8Z>>g&r(pAF>gK!#p-2^PL124^JD6F#w21gBH+Tu;6bw~?t$`dR5;FUF> zlaHYaxd04gxz3fPYfdWCTZ^g35XTN#XB5P%nl~{e7U11}owtG}4oKHxfG<>3A2HP{ zP1@&U|BcO@KhKcV;dpu(+coF$dEM^HurttJav(ltkFeLs^L=W#xX#to!n~S0Q4)K( zz-~>HyPAViu5MW^RE*Lg$g6AF%6~c~E7SDMtYXRSN=-#o47o_roqmXdf_rCF06D?<3+uB`iL3iNxptN?!z0ae<+ zzrqa8LYc>_9{S16Rw|$oIznip+kSJ(BPHFTPz9R+3GjnkkFOR#bY3v-JL z5cB=N5`9=kIWv0;S4(0RR+jYqHV|sy=bSVPm=b#Eo{LBmNd!k0afjH>bAdzu?CL5m z`gt8#aSVp44U<|iya~}u?U?3wrS5fiUvg1yNXnl8P;}uZRpk^C5cOGGYJy;EseZx> zQ3U*6jte0e_k7HMd4#xmC@Qny;Tqle=e)#r#R3Pbpw+XGx(R{qr$P9xI%~B++Z+Oa zLa4!Mus?Qy6Lu5B_YQWD@#p|_Oh2|$je9s&e1?mW>mI=8b(RqhpKuP=%>I{) otFxK0-TzJwCf2YnuEx%;o+!>{=CI7nEUauCus?r_D@wrr4}X2br2qf` delta 26329 zcmV(-K-|B*@dn%T29PF`A=4>;-CJ368^;lT=dZv+9>B6Nn)`5-%cVGSVk>eSi;gO# z=m8`lauXa34$=De`R3SDv%rD`9hV=7z2@p;y1(uo($UR`j{bZ`4_yCvarXRMEk{fe zAvGUed>C=62sdnGq$1X_(Z%)X-T38lw!ZmvKH-Xv-+bC^XN!3MdUZX2o6n2o&H4L_ z?=g}ZF-jcu-9C&aOcO38u7W7(;z)1a#Gafo`z+qRny%-Y^|>AIZfEh$cgxMT*zUIJ zarGfyFU}nw&#rEltN9A6!IT)=5=B{ij!yRvt9872vD>Z|(`~U@#^>qsI(@jin-{a| za&mO=&8{|ysuq7Hm{4JVLN19^HW5`fWJDU{+c_ew0Fy(5znxDsAO97Rc=$2phdFV81}((%j8%mOR3w(JupeHo_srka|Ke`+k?o5p=y z*gtcNv6w>Xa^TmQshJ`aFH(yaVW>FKtML0WOdY3qQ|XK&PIDc9n9I2!TsX*+5vNof z=k2*t<6=IK^0`c6y8EqX*f?n>Gx7TUZvLrOTT&C=Py#Caf{Vhf^YW!o5#=J~|L?fAcd>bDkQL*i7 z{EC)#wR-#zAHHc3omy3liDUfOP@jWL;v8J6_W`)U0yjw3Rte6D76KY*2zBMY-re1; zg5q!sotkd_olDw4s+)bCMcd?1ro8sdv^}qZSi7~uIIkZeD>>;lvX%GFJ8iw5}bW{RI zs5K1+(cEYfTrAsM=SERpsoHGj){Vc)@fk}ptg>e&J0XUqQg^3R%_$ABvLRVYvvXk_ zSE;zjO{Iu`a;!5G1~J4L+Grr*V-g>Ejssv3gUxC*dl#E2*PIQe&AM{7S#HS|=Cf+? zJhx&^oTw4U;=6;vaHa;RIHG|7x?AlU$U&QgmX+& zcNxG7MxRB{!;K|^w>S9xZS-`r91VgKYvkvO-cmimDk_7iY5LLY*`h*ArIUUAwuVtz zzClb<9%9@f73wfVVCT!G4n6C$S^Uu=>r8Eku`Q8J6T{oAS`^D-v0HQ?=3@Fw{Wfxw zBw=EIUvQ!M8hxOZ4{P>QxqGI#^d{K`mmg({+r$UZoW%z z6D$^o9&nuY2^?p}Mrm-5 zeeUYoVnBN?IznhK2JDi2z-lH9(zDJZIkCD`P~$T+7?pqPn^E)er#~O~`tsuJzh|CC z&@|Ez&`1K|8n~#d#hHIAl?h>xrU*3nXgwQ!IQ#pdDYKz&TQOtYf?x^O(bdA7ma?dS zI*;A~IU+RlaLtr^9XD}bgxg}16O6^47P>2$wkyDGZJYbtfULKW%3%wbZ?_*?Km$aj z0ncB*z4coW;Ql_Emqm|xSCsL#SXbDUrO6eD^(tK!xpiVU z1H0DkzV`6}9lvcaQ@eVZAE)zOx#EU@graqII_ONxth{=4;hVYfVmIFwKK5VdglD|g zRl-|jOb<*7mU)~T0mg%*8eO6xHWfiG#0lH=v{-I)ytbf7?*}#xF}oN5Yz$XJ{PR(` z#!@>3*Qgo_GaAW`0``1}n&^T8Chc?M&1$~$p_5k#XDWqoY3q3hY5)vXly$Oy@s(RH zl_chqGSXJiU?B%d`v|;(KBk3vy|i<}(8Oqd5Un=c1y_A&_0gCs1KW?r?OzXZ3#ECT zFr^4X{5}zgO}H)dK0eCm%+G11*%DM<6hNavF*OfaqM8^PRX$j2f+e$Jn9+8lW7Sx2R&}qCE5i zL_~)PudRM9l-d|>vUm+U%m?31DGk~_Pa5pCW|ml@ZW+ZtWU;isJ~JnFH(Xj+pw{G` z`@ByjCc*+_DHXE!9xr!wqs1;q7dpf$t$M0d_J?y;?O&4MQkoB97 z-T=4y&ekcfz4dZeCbmIiU;HD&X|a*qz`+j+@~i3uGqkT51vF%{9qPz{|b7d zI@JbyNDH!#S@tT^7mw1UBSHxPyw98=%ci4MP=bcll?|nnZOCFUpz$?%MyS$l-_|9` z=_=&?Ig_P;sZp(hPu7b9DZoH93qHRUpw7CEp*0R#Q_YVXXfF^tA~RsZerk02;*oP7 z0m76|nb7Xb*K-=Oq}`IO>g;RYOgQxxWNUn_kEqAC@|>zJH}q6leI5U(Oz3-G zi_m8LV%wJ(sy9t<4p$w_;R;(dQ6c#%QzipSbUj;~vs5mB!sGpFH@}XmDFDcw((Mdp zI0PdEx@~9cMX?MAVeowEbrRb^Wr3^;=`lJuiPIx&PMqThg^gSONMW~Hc#a7jD@VD= zkrU0-p|GHiMF)_t6$}d>KgX}ANNA17VON+uVn}?jLWo4m{cUk|8wD3Kp14jgS09sX zqi#T$&0`~fG11B4d06LU-Mm;7*?ch;DX2Pi0oxH}1{APiPF0io^NC{Ao7Px6_1Vx^ zLlw+Kiv3NM_w^5D?b+Y=7+4EF)HbTG`j9O?bYnfPP1D2^rNI0ucXxN7FWg3{ zlxq*y%VK$59hq#K8rTF)wCS8@d~hnLvu{5;b5JLLk@x8=?Ub^s?CX4WKTAg|6Pe+7 zKq}TQSIfyBQkkbzJwD(5_#-B?EW{)3ZOE4!s#RUZgqv)?K}Uc zhGs+enF{q3haH$eXe4C!u!Hmo0dcy+4nQ8h?yNZiorat)`wlzQhhLS0F~5&D$>?gAiX!>rveTKPrg-D(@yn92=U}4bSUF-)nyGc##AaUmnZD9 zj*TfIj6I~HwvKiCbhL5YQU`oU%V5um`ZOi(W26^uFRRaupw6YB4p*JEnEw1A)#`|U z1@*@8LJl#iy!MB^aotg2o##z&SO>Ss&EBxiHA~C=loa1?(>NjU~-Dc zKf!-C_{oj0-2b=kzyJ2n%_7lm(h{vqy$paWI{5q0*a2}vJ{$>32mhpsy3el@hzLNG z%6f@!Iy<)GcM(1SBa9lnil%;asQ)lzeDKwf+kpNzZuUD5{%)=Kfhu%kg?yjjQ!k!+%#RnVwa3@+7++yDp)#+D8wVI*03$-z!e@UZuOYrn zQO!7^RMa4xdKhIpFoI~&2w$06#t>)Yt5Flfb z5Y&2>yMceSA|YrVL;~k`h=h`a8F7qA=-OBCG=Fk9um}o;g7~ekCINqkn{pP=%?FcW z4=HUzW#WG)DAVL)IA(M*I4JyM3=V8FyLTt=CcH4?XooO^2?ig#O=g!@ zve9%eqX2aQ09pOFyvyQ`e|vM_+t*hYzh2-W(TrtaVr`~5C<4v1@$3R;r2$Uea%A(g3k!(yhq3xH7AQ*x?rYD7fhh7^RN+zBg6L6kuAU;C?p$$ zIn$8cNP4TRBM3D(xJN@2HM@0M6VaHo7l~y!0Y|&7EeZgP_6soZ@nHL<*op_*WdxC6 z86%)wd$FVT60+-Ox>i^b3E!i&k{uJ&i!l9egfV%*G30+|aSYmaJVU~gYcRkGL*6rB zkeTJWO?0+-Z3vTz_^gW%N=Fo)okH0$!Qi3Ieh>P!-6JCbr5fhR^q;tyqaWuXrin!G zqnp-5Diup+I)DInU;!3^7>+-)jETd+*io^V ze0nU#0e62zyTMprqYN-%6oKtgD=vE3c4tFa!z4AmuP-7_`%W<#3Cv@g@l?F~8k)qr z20B62yJF{6of0K@gSbc+WQ-;nEtL=;dcs5dG`NmzLkRUUDU2Z5Jnu#Vr-Kwb z&>wef>|7i6bIN`V2-(^K9Z?3NDa3Q&W@C0f3lM*_n>m1?s3E4wnuG$PDEb}^=bt~7 zmw~j1m0TuSi7{cXg3xn_K6gHGzt47f9c3`^WlcK4l}Ygn_Jg5wZ#C#F>3gJ2Go#B} zEx~UfZza}zA0akspV&N|x2Ns*JM(rwaw8*%(aiBSmuA1>S|Yf4x}n%D+|RALv*b3g z8VY|G&geexJLF+4iR1q|$xD(q(uQ#0lgm%pxmfyGnf{Nn)SSjr{tWdN364?%-+T2I zaK0i}=c~6+NEl!auV(jMZdxxtYvIS3^q& zoAEDYD1_namzP(e+UNs^n+huit6s^ht!#fp#Rqaqd4oaJi6wU-;l#qF;Mx^6ie*!Y zy{kTz(bg%WN+qG3@2$c4T4R8CnY4j9UX=)tupFLsw8gbf$J4T{vb#jTDG*#Q zTu_ecB6GQAN9a~8%=#fpubg4&DOYAuD%3%W1MiJKEzw~+19&YSRpCxhe~@@_n0VeX zjUZp3)L7CRLH?(>+$Hxrgx%d^vM1lC`LcQogcjlPs=!ZMVko@sgD(V)eL{~@qE9UalCw0nSiiK=KORuJH3vDcM=-Jh}$3q zpC2uVJ@;x`wKz(iPm7%8zDVoKT}DP6%n~hOZB^nxkzgN6TUp|H`M7;IDt@1g<*7uT zv|F#7z+I!x$bvp^1+cyQWD2UxvN$k1Hfu&32;7lq3?<>lKASN-bd$_k9O{3b(;Dit zTEi|KX>-VdEf%8bvzS9b7=ko?CUbbG_~Pv$GwQ#|9zLpK^t|?PKT5T!XrTT#?cv#p zJZZOG_K-Ju*b(+nKgAw073|>;%WCE>nzb0*mc^>Nt~*s=!X;tw{CTs&n|57auESLK z+8ic|>&2%MJ7lCCyxRCBd2)YAcR7r?2?VH5I@-=iB3*y29oikDz~OdPCK{duP12 z;qHqYxxewv5X0r8+NnbS8y;bT!`u?Z`cFU8Stl9#k@3G>pT?==+tLDy6G8=z2h{D&77+&KB-`;MJ zFF3W>tnW8#KkG25x1rY--Nfu zH5GH;RE(VRo^30$;2=|?-)pPDwh4-|<~piW)I>^mxGij3X`x!T)o1yHke<=UpYyk|hOUMO&Fs|*k5Bz@^UO@M(CUzUI(q;iP*=$#} zTQz`$9=I1vc+@8nb#PH4jO*YM)b6n#mI&9IEo#)hO!5=o6OfPU73iP6F)}W0wV~El z%M?>*v|fmZoPMxA;celFl=@uYT60Ej!OCsiO`_ z+A~BCO*?Dc&pU#EJne8ei~D+aIh>KOIWao4OsEt6j(de{QbC05-f99=oWQ`-N5(Ly zUt+}Z{jwTkUB!SzeO-==&8qA{PZtm9utZL~RT+Q$&PC`kaQgzJa}^%Jj-#kUOkwi& z#R_5UV7>^m*VX){n%_BE*x=SD1T+7guRt_q2K-%AW2O54{>3^^g+tL+h1bD=&dvROxvWbsVAiQ{ZA!Yn@avY$gpOWYfe$TH zxyXOf-MjQhFhWD0l|8-|V;@nAQG4_DJ>{r4b$4&bslm66NFZga_{s&TvX&UUx_*A5 zjw(joZTxa_l}-z6`-VQ?c(Iw@)Jb{=S)5siM80_;)qT4Dt@BD< zFOSAAW{b^yO*$oyCL7m~@S)j|hDgpk{aZcI*H;(+1|i4836sqlCj&7uIhSCn0Vsdn zS>1EnHWGjLU%^Le&O-1>0Ga87lGM3e>onK6&D`|vfsts7a}w!_R9ye}x4?p*qGjdk z^m3g{3=mi@_Vc$3ibgjPjb5M8Fuu4tdv=k?h*4sxWzp4jq#0qtMp`Oj+{!BYC4N8q z*VW%Vp&^=U;pqrx448O=A7=A}$KQX$Ul#x5=U4vk8~+z~-?mJ8r%6i^r5iRtu4w%8 zOxu|FshG_LrSU(hq7x!;LzETG%isFbFD~Br@umOk<|6F8ZR8SK#;;oO1Zd~B-_010 z7c*|X=*WP_e|6+4=_jrHQJ1@!) z?MaO;KjQX#zwwXe4cI`Tkmzz!C`t*}syP!Z%e95LB~%k( zOtjpd{dz{E;(oiG_+{gDp%GWKS$y_p%c581+27$`!@S`<53J`s-c3LnViOpglW78{ zB#|i~MH4%Vu*pDQ17qgPyAQme3?&ve9yZlvTdH-GsO5yK??HB2in8hrKL|DqkT#7T4=6Ou7SEcOVZ3;&Qbv?+Tpe zVf32Ln2EC>lC#|ICYbQY*Jsf$o{kM91~JZ&{oOhXuOEnmlcHQ@71Dnq;VlkTHiOL? zcN{hF2i|igNaKZVy8CxlSMDUs;w)XRVP-^pm)CyA<5hm`m|X`MJUbw$%R1fQbd_z> zVij1x4Bsn@47YExBHN{Pxx>daFlf%=UVOj`No~BSyCo!BgyYs(UwUa#d_3AIXyUxW zAkw_=U?qq)ZLYj(Ni=`4ntBR|IAwq>F$r&C4XGgO7!e8PIiQ@eQIG1IHfH;|3HhK~ zyx^45%MZ>nkjt$b(+UOlmVhxRtE__$w-7vRPf!m48~~IZ*H1I+^wXebK&c7+3^9-f zJ*pG*V_rY-oe(O%*zZ8_-L^z6&%M9qg1aKbhiqT1$Fm6wHE zN#adj1X7I49`Q20O_zCnk58+tDC=y64`h*{jPXL3RgJUq8b{37auJXe1N&h3tUb+&j8o_Q&!-5fRtNc3X7Zjz%PtJ4jo^Y zn@xF_7dKPsn*G)wlk;u$eA+(*Y|kZ8Gz8+M%O5D_hmK-~aE^`=M^jfZOkHt2v?=YS z?i43bh9yZu^OpzWf!elgQ9{L(mdp|)kR-7K<+3TMEHS3- z(Vorb&?sF(H^LGfuczb#w}Gn6;bKCRc-#{(_0bCWVUMCrA`oTl$*y4Psa(PTJ69-} zO{q5Wgdm0ubUV!xB6uP}PdJN%+|Kkq2?DQ0RqeMf$2b7w+LaE$o3!JqsT5P{K|<-| zpaQy1OHhB8n9eECoPmCcNScknIYi1mJk8g%^Yz0 zez65y1XZ^dYAp>S;jGtt(GDElLs8-EMZE9lBM3zUIGc z5POf%CLZ5~e*f3DFNX-Skx-N*lDVGTtx5$gI%Jhhh=m;7Wzn_k=#L*cdD&E>%cj&C zx^)07A=)bmP5r%O*wI2=r18siv)pge+BbMjJ8LM$1g?2Q!I*8J+Q71}?~VqW$F5Oj zuAqOp{>n666D%FL*3gb)`(oFY!Yypf!X-d?=R*u?4AY|kJMgk=P|gp6C~SU8H~VZD z0cmlMlkdK}!pU~Osq@=Sp6x;;U6;ENpRTlGOs7!FpPv#pjs2k-3rnaBeacT&cKn2* z+-AiRTotY_&s~Xc9EC7K2T)@GYINILZ6<%Kn)bc6Wuc_xQ#iw+nmL?lsm=%a;=DS6 zbO|85<<04@CtG38StQ_!+50FG%_)%r0A2$O>LXGqBB9_2Xb$y2sxDZ@5(#%vH=|Z_ z$TT6M`v&tRPylXEK0!w)AUJfvPlo~)Zc%VO;#LyPZHEH+Lnv_7PaT|n%<8)=3#oq< z8dW!4j1ubw4tdyKu|fE_ovG=h1C?WHi}@-3jN?FM)#o6QnvoK|uuM`jercf-8WEIK-f|riX%m01W2g zjVjxH!bYl3yiTiT1;>5i+tzH=G!x-73S%t(T__6ZNg)lP^ilo4K~W{X8Wewh>Z|Y( z)&Art%2)?R(?I0zA@VT<<ilBOgppabsuOZz3u z`?5Vf;4%hSXw(VrU78_iWhgbqd% zle7T!{{ii2_rS9_BfBvIH8PiAssSi}-C9|1fDI5MVbk zFb|VF$Zff;pbw{8ZSU-_-{K*PlG$>5+@1h=u$xDbEEbDj9TYC+1uj0F;O-ZhqWjy- zi?sU7OTB-d5SRlOq>uz!q~VBCUCfpzwv`Ko7-j|hNKT4PUEH1g=cV;V++ALOpM1EI zq9D+Z4Joeg3PX{mvQP{oK~-^mTYM>h!vZ&t@SmLie*LdFy7+P~FfOm}>(g__M7d~I zuEfimx_zqam2bY;ZR@QsUij{6b?fVwzTSlHCXCqDo5yBWkBIN9Kvu1M&u+D7mQ7oS z{#o@<&6@V>DIughgEk>y?bfn?Tu_Rz(8W1nNO0qK)jGZnE0@)Oo8@llE9+hR0E2w_ zl$3YA_^Dpio2p%JeD%WrIL6`EVC)M&e?B#|M84t$1NFh2`3W!MgqB_GITfDKxKHH8 zf6x(sxKcPhSBwag#W|Ho5kKw1&IV+(P{=6ks1%}%!{SIw=BX|M6)y;XK};&8}0zwA`#hyecPb18Lh9L=j1)4fH4RFV3NAcn3&-Z76rNRD~K}vU2xvfcL zjIdi%A}GLRZfhF&frg&yZCg_>ZjI!&MpG)#1%rrVUV-4l@qNndQ3F8Gf*~V4&97dY z5GHW+$=HcQwQ5HW-nmnMd@3*~ewKAE5sqiKk7M$T<8$mb0xWZ^Upy>^IM)ZWOi9nP zy{uWj1$HxsAy;{E@m}G=x=N%Jur8cjNAeqnbu-*)kVRyUq|6;~*(ZB{x_)LtFh>dw zWMo3%lnm_lXeLA!63hoRyf+`y)`LnMtOpgQw;r}RSP$EN;ai-4L9m5O-)uqHR+}&) zS`Rmu#a-9i2C`@-27{v|v5oE8H%fOH5=U6Kx=A$BnhyZl?*R_21A14!^S^D^IqwjE z>+4PUJu1AzB^LBA!FNgjw)oD!E55%0-swT`P7mHV;VyD!Ox~x|o>v?A? zL{AhDT)`z61Ouzu!ZuOmcDH$0?6$sg=N5(~tHr{%c;2CZFsr;>vPGD@xvf3>x4z98 zBdACE>Sp~IieVQwi+Tx>0yU=me82WxH?Uv7yTE`aU5+Mmw(@zP0F12aS=+4U(e!MC z@oAsdzToWXKVM;K>>5nK;fG)_30$Z)gG0+*Gy~?czec}gZ4wvK0=FT-i)(V%2;x#{ zZBnE<^RkaC|5V7rm|L zz_Mop8vG(qSo(?P&8k}X7Rwl%4aYDH)hK%s8cssdX*HEhdmnDf-b2x7S|nt7+X)~p zqama?%M?LGh_RI)t_C)tXZwfjN(6K)x`Nhg5xK=EgeZoL7K52mmx2sj3YxdN0`788 zWKBVTZZ(P|G1KB^VC{;db zB;w9p`|j%ayciwWe?~=FwOQQeNcQ@0ncXTzeX#EHg*3PscHRyLx4u2U48h!=AA z`$Q@tE74Z_X%nb{HQR2FAt?$a>mogDd|nfOs?BQVfyO%$`vpJ@hlo>5N}nq!k#^{lmaoptRu-%z`;u~<)tXCb6`C- z4mR9QsHTL;UM)<)M9G8~k^qSb)|X{}+OE2?D7l)JBbSH)_Pkw=hMIyg3kht>CpUx~ zq?5`Vs+6ynqtmudDM13I&@2kiDA5a&uqa5tl1V{QFz6tHBMB1hxu9f9kW!IcR%)L@ zn)eVS=O!wol_SAe#Y!hg*Fj9zAxa36CnbqBVh|O+U6N9&f*OIiG2h_!epi@(1hEjD zXe0+OHePL}VwuHu0oR;Q$q|AxM721U9F=r=t3&+RqiN*p1<8#rX#$0k%UI?~yAra8 zNFyiZs4$|E9qDFMVe=AVe{e1l#pW-ENCB~AhmclYMECm05`Cnk*GFom^${F7%8zAg zDAR~DHkITs>M(WW?+1_)hkMboRO-Cmw#|Cw>oFS(KD*DxI;!C6tNv-xrg0Q0 zuRMt^pYE&HlRQ?7o&Wws`HwHs^&oy@>!;AU@>epa z_ed$iBW3^C7heO@o!WYzcZN#+=g#Jg+<=g`{h!Y-ufHjE8;<1T)S4ZKCO%_~pSwVx zm%vDW8Ufqc`IFe|eOA$>o2onz#4<@nfueiU8)a1C^Z~ z^r6Y{jbfzggYCQ}O4o-wh7eQgv91rZmeF>egO4P^!511L{6NmLq~QMjAJFpvIfIm5 zx0GH14IdmeFgOY?Ol59obZ9dmFbXeBWo~D5Xdp2$Gc+`pVX6Tqf30_AR9xGZH4-4W zyA{FR-GaNjQ$PU~yeK>bcMVR^;6a1C27(2*;O_1a?Bm||y?#Aj_pk2$Q8mt9bFH~# z?!Cu3v{dR^tP)mE79d$CM<^>N8;1};M^jH7Xm1a+0y`>Kn4`c<9e+F3sxVQkEf`Wo5v;Zk5XDhPw5C^cU>+3TB>b#oZdQL4@M^bq`nw=!h|{Zw!z=bm zrtahlb+v?mouPo&tm@LT|ELpc3xxia+ZFr@1Dvd1J*}K9-TrFnZ|s%k6@>!9j;;VG z$P@ZkE(;LAe+umCY!CE$&HYN|3<3XLhMOzc(dJ(jumB(+8z98W9^~r!O7qJ7*L42X zC*VJI4|I06_xd~9>2I(9r~wRh1=(A(p>T4&=Cp*q=C%PlqOkw9RTLbpodBF1|FB!R zIsX%L2SNTG5W`=4hViuspp}!Oy%)d=WR1eE>I8jFe+gjtpQ+6De<$+)fyDnO0{@@L z`@a+S-!=MAhxmVcp8uU%*3I5t73cu^I|%U4I|iT(`0J7ZTmBb!paa<6>%R;5cTYXg zKdRIO*|^yQA^#5lgI>bX=2a0^K{nohSi!EcU{8>hIv8qc3$O;-zs~A!yN;t32x1R* z1ifndfA=^6tehMi|AuMXf-UVF{~A8;KOm5!)xVejD%0P^v+F6SY8hxU|JQr;FH0|5};+8;y*krIXcPe>+AC3Usu3-DLk^_zSjlgFs%j{rlX% zHvP}_-`gDo@&s9;%+ESm3I~5k%SeZQC(QZzOWLTXixd85h;wnRc0rzhrBkP0TKJk^ znfYT?2wUB#&~vlb%z^XMmLk*kKo@~MeP;^j)S`}@QVZQkxr*S4*f0WW5*>sqor>pXK)NE-$!nB}-!459}x;YFM zPKTzJ%ly=9V;HAdzPbYWM>r`HNvCHrl5eAC!>>u?C5Awa^a;24BO0Cu%z|`wn4|%y zU-hrs5j7Ig;qk5vAXn~^Vja;!snl++Bo{@P{wUFnWl0R7@|4$8tZR1pFP;U$e{N`S zYyA!zQUuo?dOF)bN!S;6xnbR&gW3q&r#=<(LKDHgCtCNe_3DxZo()LI2o^g}|t8(r5P0YPm<%oW-Wc z?`wG7J&MkI@rp^mAAb9P)@Yh89T>M(NPU!qhmq^FuKMe-uZI-*&D0 z+!LZ^(DNvr#%R#v;vm?3SkY zb5wVYx7!wn80$pKhSEFTi+Z%c=^Rc4#8@2N4iS1h+y!RoyBSu2Jg!SO>C*C&g%W!q z2$;mCrGwII>s@M6sK)j*Y4K_dYGEy$C-qCGXr$BcO?Fc11&daAe+8kz-NjG0_jCt~ z$zqcU1r}c*GFmKY=n3m$WB#I;6(Q@9 z{;rewC$2;5s{{7Y{3mtARDKRz$Pk&AcYu#L(wsb%Y~JFD&EjwRq%+k|X_g^`rRZbb zwMOxNOGyR35fA*5f9CsLGwR|wn**^b1thljn!o4}6UaW(Fb5)YQ>T&bBDdqJI+zF1 z`$np%EvRUDS0mpn!62ru{hGD$EQ z@ekGz1lO&w585{2h?vov0UNVNQc8!a?jOX#A6}`mwN%9Se@P3y(P?1}HxMdNTRNKg zC@A)0k}5<$$C5g(W|%^`u`g*CUD;FyUiXo(9T6$jQs)SkmYY;Osgo+3H#!Hmt_`O^ zw&#;Fo>Te3FJY2q^dnenRy!ru^y}o_JCkDyQo7J2YVbEW6W8PoY*lv==L!v`#EN`y zQ2!(!>cbpxf02~lJdE@U%fOH>2lF}RjIo=otm>IkCJ`POmZZ|=Elr>*oc&&A`UoQL zrbwfsNl!S-Y6?~&o1`P5L|H@o5YFMtw18UQ$2!}bu9qnFI|!YsCb_Y8_c>8~;0C=O zhPG07B5;#2f5(sdv}i@a_+wTInC6_u3WciT4k^RKe^!@&IW0irCm!;IbRYqTE+2+U zAuzZj#bZkQqZ&QPT9aSqrdICP+MJllskx}_k2IACDte@8l-j3JrI*d}>82 z9S;ofA+tig5xyE#gw48i&X&A%3;1g6KRb>)-BdIlW=4`D2Z7A|8(z$BYA%|GIQOdg znDg_Ne=jmE*b7ax{ohgtD&8;_2WTHme6Kv1`oSDRprYXhG*_4O*&eH9)5@HUuOqcQ zO4yXkGbu>y$}ZYmd6KHBV|dv1<)0PtYa3W<^H1%1!qBIsr_Yg=>p*4QLoYE+G9T}U z)nWQGNA??KTxw(NRFv4HjSY_zR%tyr{IE5&e?`5lsq6ID%ut*|(`Ar&ufivS-r-@t zN-S;uZ;pf*D%)Bb-pbPQU=W@h0@s9NDg7)snvEvLY4w-|E9UCMD+zBY)WDn{Gk5(L*RO`(4WLG)qQc=>z%kG4%ZhsY>#smSGmB*=7%= zqnJK*_Hi00iUpf5!=O8X92IV3!6)wvf0M4U5cg~ zmwAsdyz#seaj-Ypxa|%-D)iJcz_w!}_&)rT)JsO1tM;1OoT$Rh;QfqxglV+m_tp2a zWk_sm_je;NB`qi5Bel>N*Fk?G@BCZCAvCXyx2o`!5t9@6Po zx1_l>^9^&TmZ$2og9`<7AKN3Q2Z2Xt^?G`L0!s%opwY>}bX zJ;b1lzav53mstQKcdPV0s-tdwj}bl^yQsGIo&OeWpBk2yiqw)0Km%~rVsNMRF;Yf| zGGb8y1!fI#q|=xc*o5jyN5X6zd#9a%Lp?CY_!Jfzlz8>F6c63 zkk;!RxS0}PpXDcB=36fK(Jt&h0*zk$ZqhdFqmbY?+x^H`_L=ZK#Z1kQKU6Fyo*&c{ z#NA`-zpcjUu_ttVqgjHBA>sB;5 zU4RHfz-6a}2&%-W*V;fJtVGpO)D6-*7amCeojTrxF&&A}A<-SH5$({1(obkYq@4$sfW4fOV;E44)X~m>>8g#XRg;T z<7K*TjL38{XZ_8(#2IFY|M)>oTx>Uh1)=-P$-Hfrf-mf@e!M*nAF23Qnf~r#j2EXd z)t_6&FN3%(a=`Tud{}o>;KE1!G(XfGw?QppzX1dMe=>UMd9pPu$zO!~8w0sHTfCwO z_tbKj1U&W?Uvl{52W*33MMlyW}wc632*DOCJv( ze}b;d@M$lP++pIRriPizrsMnR37IcK0vSPOFW#uteHoUqHr{GIPFY_FF9Nt)NFh-( zCFld+3d_8RA~c14N>rK-1X2=AhG>-u;?4zJyud1BS)tNcw zP2l-_+ygT97PfX6+y9{M8|VApun45)8EasA`dLQ_xKeU?c-Ac_t~v-9Np-@lfAbb$ zdckteF@ng7S1Jxt`*V05M=?JJ4#!nWjAtQPR1Jz~Uj>jNz=`FSi*e0~6u+q)7-g|O z6V!HxO5k7Js-Uf|wYt({fZbxtH5@R4el(61R<$@LW_%KseS)>Az4v8L_w~3q0a-OQ zAk!OZ;e52=R+5Dt>d>PypEUeRe-SJ_p zqo+ZWJmQN3w;;0USvez~Mu2CvWb(u;i<2jLMGxq;NW`pPRJT z2wy5OqdS2_@)ZF&syW~8jrRH@`j;=_EeZ$uk%Xv@i30078QXte1W11~*}L@Eyic;t z4boCeW0ks07W0c5;x*UDUwgT&o7rgMu+9nPc+hdq3hBvq#w$@Xe_(Y(VS_hv^6CPv z5_XE|#obpqub?iuyb*{@YaxIjh=cY(oz%2y;9D(z$l_S_+lw_i#6R~iwKXwbfp2dCP~>l zs-R&7Q$zyl8tHM*80jXgihscV`G8CEt=!X5gUxL9n{qyr!yR5NoDz3;yv1g@rPYO@ zBt2y8r3bGHegZ;nd>cmVAI=JmpWC*U-p1gPAgE^MGPu4EY>a%+_wb#7s~|cEO6BI# zmqNoJIRD}twJo)F(qiWm1*<0)T}02Z)$oskVfqw}+s zdv>*`RW^-n;?aHR`QL5aWKe~yrO+xu)kRT7aWP5em9}!VL z+2O;dwMa?q3U{S1h*$LLam)#0|T1TRsqDiF0`t?=R}IvFa4qRbb@pm)cALU6q1St1FI)jy zlvTpGI{wY_)qgJtA#K~F>E>T5;ePv#z z)n})Eu=0MG|B3I5J~oz2m1^+yls)sa@z#S6onKVn&!FIIj}WKaZ{~Pi*{BIIILT?S zGruK;l!EMFQ&P|hBQ=~gTn3pENgzVhAC6yi-OE=TcYnzTPr7koEBJe0ZZ>>sO$`WO z4_}h~FFiLq*$lF|64$9R7-MqDoMLNA%%$yJeC-~84;E1uNtFV9f7HfA@uiObiYz#X zUf1+i3UC+USaA~!OQKvZGM>F{;mbRPQ=>rBKL}Z2=TCQjXbe`@FHe;6PJWk*KTW2;w1%Xu|7^St z#g5fZ$H?Z?8BVek$;`v4SX^pfF4*(V?yC+*Du00rvPp}i*}QR5fpXy&A6$N(h zzVl|*Ya_y9l@8k35Gl(MKmN{IW^6~(me-9KmKIC!!tz8{d7@o66)u3cKSPugkm&Gu z&>Mo5GxmOWuZkA#X!{bWjjPwc-(l|PdhuKPqc3-UbBxH=u%19n(770e!RRbVhr4v7 z@qc)HY%Kf7UgQuf(H{BX(t78h3?Gy4@8&RqKtJhY^QkwXZ<$b3%4syK=xg%^ZBOa4 z3fy)z7%CG3$8XNRr`Z@?zF`v69gxb5~Eej9BUBSJajc7QeDL$ap9SBcDM+N(SMs8S3! ztNF6;a!za)=|rCElmah&6X&y^P=D~%7{n`R&om=&7~kf&IvGBY^o>Sw!U`nqX)n`z zo)eLKs6;9+qv(YV0-ve1iznE+L^a|x^F+-xbUZoI*c=$!Co7Bez4_Nh^~L9e5KMpP z3uRR*Q*fo}d5dOmVvDyWc2mHCP8W?j+-Ve9NSz(FyMSzs1Q&b#ON zMtQa}=s>Cb&2q~EJ@$<$hj##ERv$Y$M_ z7GX7Inpi|%2e2UPWg9=HN`EotBU_v?SlZro{`ioLZ^xW^6LFRqbblB$Hg|d_lzBCS zQbp2h0#~cDYHy}Be^`E5F~#HDCO5gIL&|KiKyk`N6Nd{B3p&;W;=^8?z%=5rW}(`Eq~^Fme<34`8iEckxDnR z(9I42S;W&<`E$ho!eun~)kEiwR1EwaEPiqpku`qTbFU|u{xpOkV@oA?XEv=SlZ$&5 z+=_;j(@`E&QY6ES@NKPNx;$j5f_#K;Sj8e-yNtHsG;U{diRe%n?q}!dk6jAD&U}az z%vi4QJ(WpfbbmG%ju)PmKQhuOXlDOpH^x`nn@q2CIKJe``2EAXVD_E&;Y`7qboLGJ z?r)c&C>W6>rKe6=!Tt6v5$Q(^hwE=7fu4+gq4YN_qM%?q54sJ{u@PC6uX-Mx9RUV9 zmCZlA5fj3Uw5lPWDow3`p1L38wU*ThYs!jFH>Y*In1A!Js{ZKl8j{U5iq5>Jm@|*s zG41|sK&eYd@!V+uibH-NQ+F~XLpeia#di)XFTk4&kRxnk^t&KXI4$INyPN*D>9F&b zIG0(t?$$}H$e=8BIyvz$&9#7LFfKOUIP(s(pJuy|xOHM|5;3Oig$sz$`^{4l_9R$1 z2Ztc6Q-5y+bm+%oCXZVyCtUBY@mTq#J}0n^K7h0}4mXaHR?*`CYR=-oJU!>HN8ppX z@s=H1y2Y;n_YCcF0j@o~Vaa7cepPt_2B&#*C*vdj-~d6>=d*rKTjGw9emuSntn8LA zcfV%(qO{|7aQS80%Q;eM#2x^136FLq-t&>Dm4Aa%=id9HJdYDYXdpBqhL4U?3FRkW z$l@BG5>usHlP>2}PIjEz*XW~m+#B1> z!GBeDqDISq>0cm^_S|aDz54R9ySz+DIr5H}T6tExbn6=|gPMNE*hv7S?Rnt`bpNY& zgXh6ie3VYbsu8Qr?hX+63PA1~5bS!|L4UXRs-HajCg!9h| zw4u?8*^M4zFM-!R`~-PK5r z6BTp3u*&r@+H%Y=y@@bb>7AiTyeW|HztW*z!+Zb8q|&HkoqBpuU2|X+;rPkOvsO@ zoj{c>VR)X2t)U;LaJH{;VzliNV^dWSPfXW+D08sh(Qrh~VKVbsUs>}_eMZ%hSshA0 zL4*5J)TOxzQuH{Vs%TkLXn*b4pTzWdOK?pHPU1B;0T#kMT7K{wlODn8o9e1Y`Cuj) zUtii8nli36`js0 zx^Pw6PX?y4Iq5zJ<2EW<*Qr^EqVfKUB@&rB!%#ss{L{uE(JI}{y?-DS#P_nV8;#+3 zmUM5hT=y0De!xVhim8w#;UwgTXF!_1Si|9O9_M)Nz-L0q@S~h$i6%Es58tQI8}hmS z6SLP3zRIB8Y~d!muCWV5=P^S*Ns1tK0yYTDhRQjg@?DfvnPPcmUpU(cDc{V z0Tg%oOCLM#lB#%dJb$?)c^KbBh`v$D58euLpx=GFsneOtCunS*!D;wQO+nXjmH$K_ zGJ@sFk{K>eU5Y=B<%E5z@Ls>OpWJkgvmV;BneW9jdJN%9Vg zTIt=R5r*ctRtOm&c_^)x78S?U9jI|>_m=Vx#e3l-0aZx_8;fsRW2}tpp~t2%=;4|M0bbke*Ka;LoRHmZmAxh z*H?0i@_OBVAKf%rwp3nGjQvR1*a!P8C^g?V4#6t9>&qv{d6k~0Op`;DYZRQRuWJFQ zuzlK3t+Dt1YJbLTm7ZVO1jK7Z93tws(?*~5vwt3O4^!qeCt6%MSf_pWhtp!(s=8tr zOw>x*e$#d30*k_}D(r+L!(x^6R5EeE5adK;m~_>lvrP59x24d=Y)~}ivsA*1K)&D} zA~*WHBt8mIOdGR^9xZ{1gd3FT!sk~H?;&tKCcMIH_J2?kH7z&PMc01CXm63aaTuC0 zOu&Un$LS@Ys5%{|)B(bnCQ$o^eaHFaZVlg(+in9Lh1fzh%BSJRwUj#}-{G!>(D^h4 z^}eHNx=*{_)7@8uB$iiBx-zMKB39^lk#&Oa);bIm@(d1PsPxZZH|u0t|ue+Z)yGcL%0)h7Wft3IIn=gG>=a^iPkPwMP?X~&aM zUT76n91H7)vtoV|sH^$*LT~v}3>G*n*_Dn@e1B?Ae`lPLe-(+;RC#)x-+0w{-Bou#7yODw3HoD9y;@ab678{K$GQ^XHB9Iby--Iuh@YK&UdEP>V>tkGn z*0}7t>9nf?w)c}aRSiS!?-ggA2~$b=7AFSYqOj2G4m{$mos+D5Fe z^?$lm0q3azjAQG;77?Rj`nyQ#g|rXs*$z)e5sc9VW^Tv~*cVEMZi~N8vktPAC^wuX zOBzRXZUYXZ`GQ$6rW^Cz0}n*B%Z`Et&2ST>w0<3_1kh9-PZoO#!E&cAy!NZ;HHP}S#ykX8h<$%O~H1;m&N(eN~ z35C~VC4r};lq<*&(vTI-d)GODgApW#{}PRQzQ#5Cs1>1yCQBSSWAI`H&n1BI`f3Wzwx1~ExG#q;PcQ*iR)J}iIGadbkDSui?zR&r6Ul-z2qkl>b zA=}ZU@*|fR23{Z9+G*TXzY=_Ko8(11w?n8Vaixg%R+P8LoFB}^`L}+IQL`@afTHM_ z8B5)T=qFbJHAK1iKnX2$1>BLxKkStw%HvJHNhK$ThHF?>8}74fkej|nzegWHZA44H zB#8HD!p~Mc1TL*{-bj5yxNZ90v45N4y`I7>5R+CQz);ng!O7w|dn-(Z69H40=sC|Q zbRhgwXo}y7V+^w^gyINCXwS+jdj@ZxDv-Al2`0)+cFJA0GVXp5&4?LkJ2FD>5Yy7& z95oAQevc|z=dCOCS-?xR>p!?uzkmQZagWVleK)axPObB%9|T7 za3Wa3XI83`%$Ch{f_ZHkxOMI$tB$;SaO7eALWQT?u{~_+l*CuB#Uf2kk}>>q9DlJ*sjUY@T&I>& zw7r9$1J)ctqmp^aR&QcS@?2$5i?!=v;JWh-=*ar0EOByG-1w3-OVG{~)p-8)*e(7u zA{&As&r_-+2^P&XW%=Az_Z}qSQ&Wr_JWJ7u#kdlp{|4ful(K)SE>1M@TmRO0g7f|W z45O|f+SU)YbNuNQKY!)Obml2r=XM54sMZgp)6q?ToN%Zm)T%vLxSpyJ*s3aI)3=_i zl9oPQbnN>ixZT>+q);hf;E9+yRfs8yQ-qV^Tx{|C(f8kZkq_+gw{J(- zULcD1HF=mcm7}!;t0eM;;wBs@6-an@l?alXiRd;C{3^KLu#pRa!8W&g^WwXzS8teq z&+PGV&B$zi!tZJ|G5L(IPJ}jzPZje{IR|_5!vDQ7=t;@fVdg0_wPS!fNTn!zk+-2w zJPJxBZh6Id(Nf1JVK^^$P9=K7Zt&>8XHfAETvlt1fpR^pgyK^7rO}o@iJJtn^s;Z|wNLdHt z3F9k{+FP9X5BqScSAW@h)?76IMRRz1{qNP=Ds(F$h+z9%D#>p$w=w?=uqv zGB+TD&LCe5$tmhcaDSR~Qbf=FkxpE+K*~-pXjlvr zV^>bgTz|8-L|h5Kl8+;;>M=J$9uXSaq);9!e7|Nri> zf=`aEKIjLI&+b4OudJjNGvM6goNSzt_8QR=J9cIeW`MR5{7!0Pa2SnKp2L5odvp!f znd^EQ1O7#8Uv--FS(vbJ&Ih*F}@@J4{Z93)0fhy0h=l@F*YzcG&3tO zGAA%FCn*XqO>bmGVRU66C`39kFflkVH!(3WHZVCfGnbdC0muO{mtd*^D}Qs-$P#|{ zub4-2sA%rDs;#XefdESaYyt~xDi4aIBw8HXYbz}5uivjnvMu=%?6cIVQ;Bt%>6yNL z-Rc?1Fu@$tl6fYrW`U_Fn3T*Y!=z%yIkYn?JX4Zc6PZ%XM#+?BPU{}1oVQF_<|W2D z<{kPx3qrHVg0VEU6rk1`(|=;H#=O#@-C}+bmG|Av0CofA;D;%c^@3SaM{1~!vvoZT4-j9`2~y#t$r3n&*nucu5-6{Q3xCW(PvIR*#I*B~ zk-pKP-$Ab^dXD6TWDfF3uV6gLBj5z^bC3WgwGkS6k16SlDKr{`gt_65pfQB_8s?3% zJq^QqOBP~2c(M$JKuHN7kkOT3K~X7B)<7bRNAH5qf{*;|NpzDuYxHhAXkb)5P z^))h%oQ0-0lr@^`lsW2aM8Ax)cFLjY8e;LclTrVy0Dlr8%hMyq-xXi0^T& zTZ{i9z!&Dza%e40AQmt0 z@Mw<@V;@9-`{8$Dz^=rA{dc*~ZVxiM202D$QRr<*9Z0Fl+kzAi!_0@RNR322fI@N$ zQWWwlc>K4>X`^NC{aumsy>z%ZFviC>*W<~}C4W1g%gLV>U&?-Q`urf3#RwW$kEP>9 z@7xJg|AAH>B%JeD>rj%yoyB^>V##H(7W2lWAN4sPiq7JP{nfm;{WF2&PC1FrC{VF@ zO2_(|W?R16<|u`zMcHlG7L%sK`qml0MN5l#aqpzeWOH0gst7KL(vf%TV?Z*F%`w^8 zVt@6}9BYcCs!~+b*TaATdn%XFGEruPibN>`&4Q|v*53xbHXU6(kCSM3 z0aY|DzXcH~K~qFW>O>MGBsd1+X_!a?VhRYTY!X7@7(>krbqoX#IC^E~YHmEXj0V7F zX3cSCf1Qj}9}}1Wt#+GjS(=VolPqcuvwv-Wsx?O&w8oS9>to{tgqat$uBp}OWK2P} zv1An=$Oc5G9qDK#Q8dm|SX3v=rg`eNG`5*tlLu-jH1iXkB~Yn3dpkqkLeZIVFo^nK zYOwGLEmYdjWa%CTNsGenrc}8ij1I0!oWnxP0Xru9Z zNrM_{?xIyVQR2%F{y1aD5lf;>aHB#Px;;bpeo0MZ+whFqbrgDq*r`ADesDo zebg@Yd3E^lACKOAc>Fg1dvpSO?$@l>>*5LV-m@rB!%*g($8=Def*OnHC2z+$-t9sm(N<@W z-(6ni@EpOpD)Yfrd40{tWk*Z5i?izyAM&UC89(CB)6Uo{e#}q!YyO76<){3N zzvJ)uZ~O!Q#DC{~tha~!iWmHb-+mk47DHZgV4V;7h>wQFhFp-a&nJA!D_-4Bih@^v zjrcwP*0JeM8GrKl*B8%Tyy@EXbaa<*u&Hw}5GoYZ&r~b5(Bq};W{VDf2wH1x8cfTi zlsi{VN(Oz&e}O?yV9MH%A9&6$Hz(A7W8wbj?k-PuP8|3(zb^6rrQp{Cem%OMko^}P z_=A5=UbxHq6O6`R312iGdC(_+@;~p3DQ#flVnmsZI)BMi)8Y%}o|a$vbdXPPmpu1{ z|HZ%ZZ~SlmcQF~Y-57RC^dDZnKKry38f5QH=}b^)&|+F5G>mMyQFW4li@FmUa#I@c zq2aWS;&xZZcRXMzYL`Wsb|3ljPJ6Fl6160Xv z+pqH$s(+>i5{=6n@710m4I?j9k@0Gb-+c_I?8Lb%N{ytCTUuz+aseT8N^zUk#EkR$`Ua+UF)}wMVt;ov^-agKoYry40d4E;iPU%JdS^z)9d8uCOGWK$rF%=qf z&T+xo>D^f`mr6^#^)l}^Ybo46tDsK0+! zp)}m1ucCR|M^T4x<{)SKsTJ#)e}+heVdLbq`^+ zZrwvn)4s=etCt1ra-I>c2skbJMD?GO%s{C@W&;nfSiYMFCuTId< zg{cE1)YFDqics4sG#^(z2-%GjBgjD<);w+xb7X?iO|K5t`K$lhEU|fIN_{7ztAf9u z7H{sW0SX($^_y`qe3H~+^WgsnmclLJm&mpOY*Il&GB`#xK{!M)HAFZuF+xH)GcZIm zMKv=)LO4c3FgZRTJV8P-I7T%=I7BfuL^v@qLP9w+Fhny&H8Vj%I7UJ+IX+zqFHB`_ zXLM*FGBY$Fmtd*^D1RN%xiSM_6o%pN3lU35?8KhfW8e4KcZC_X-W3>y%D4u1px^>> z9}11q9VoQqJ)Rn?rN82tg=T1hEog-{=!602uzzybG0_Fxkb@rRg+Azq zF&MONo?~JN@=$ gWN%_>3UhQ}aualTa%E-;F)=bWGcXDzB}Gq03U%ot!2kdN diff --git a/tutorial-4/solution04.tex b/tutorial-4/solution04.tex index 5c4424e..4e8b78d 100644 --- a/tutorial-4/solution04.tex +++ b/tutorial-4/solution04.tex @@ -118,7 +118,7 @@ Suppose that the utility for the electricity consumption of an industrial company is given by \[ -U(d) = 70d - 3d^2 [\textrm{\euro}/h] \quad , \quad d_{min}=2\leq d \leq d_{max}=10, +U(d) = 70d - 3d^2 [\textrm{\euro}/\si{\mega\watt\hour}] \quad , \quad d_{min}=2\leq d \leq d_{max}=10, \] where $d$ is the demand in MW and $d_{min}, d_{max}$ are the minimum and maximum demand. \\ [1em] @@ -170,21 +170,21 @@ Assume that the company is maximising its net surplus for a given electricity pr \paragraph{Solution IV.2 \normalsize (Economic dispatch in a single bidding zone).}~\\ %===================================================================== -Consider an electricity market with two generator types, one with variable cost $c = 20\emwh$, capacity $K = 300\mw$ and a dispatch rate of $D_1$~[MW] and another with variable cost $c=50\emwh$, capacity $K=400\mw$ and a dispatch rate of $D_2$~[MW]. The demand has utility function $U(D) = 8000D - 5D^2$~[\euro/h] for a consumption rate of $D$~[MW]. +Consider an electricity market with two generator types, one with the cost function $C_1(G_1)=c_1G_1$ with variable cost $c_1 = 20\emwh$, capacity $K_1 = 300\mw$ and a dispatch rate of $G_1$~[MW], and another with the cost function $C_2(G_2)=c_2G_2$ with variable cost $c_2=50\emwh$, capacity $K_2=400\mw$ and a dispatch rate of $G_2$~[MW]. The demand has utility function $U(D) = 8000D - 5D^2$~[\euro/h] for a consumption rate of $D$~[MW]. \begin{enumerate}[(a)] \begin{shaded}\item What are the objective function and constraints required for an optimisation problem to maximise short-run social welfare in this market?\end{shaded} The optimisation problem has objective function: \begin{equation*} - \max_{D,D_1,D_2}\left[ U(D) - C_1(D_1) - C_2(D_2) \right] = \max_{D,D_1,D_2} \left[8000D-5D^2 - c_1D_1 - c_2D_2 \right] + \max_{D,G_1,G_2}\left[ U(D) - C_1(G_1) - C_2(G_2) \right] = \max_{D,G_1,G_2} \left[8000D-5D^2 - c_1G_1 - c_2G_2 \right] \end{equation*} with constraints: \begin{align*} - D - D_1 - D_2 & = 0 \leftrightarrow \l \\ - D_1 & \leq K_1 \leftrightarrow \bar{\m}_1 \\ - D_2 & \leq K_2 \leftrightarrow \bar{\m}_2 \\ - -D_1 & \leq 0 \leftrightarrow \ubar{\m}_1 \\ - -D_2 & \leq 0 \leftrightarrow \ubar{\m}_2 + D - G_1 - G_2 & = 0 \leftrightarrow \l \\ + G_1 & \leq K_1 \leftrightarrow \bar{\m}_1 \\ + G_2 & \leq K_2 \leftrightarrow \bar{\m}_2 \\ + -G_1 & \leq 0 \leftrightarrow \ubar{\m}_1 \\ + -G_2 & \leq 0 \leftrightarrow \ubar{\m}_2 \end{align*} \begin{shaded}\item Write down the Karush-Kuhn-Tucker (KKT) conditions for this problem.\end{shaded} @@ -193,21 +193,21 @@ Consider an electricity market with two generator types, one with variable cost \begin{equation*} \frac{\d U}{\d D} - \l = 8000 - 10D - \l = 0 \end{equation*} - Stationarity for $D_1$ gives: + Stationarity for $G_1$ gives: \begin{equation*} - -\frac{\d C_1}{\d D_1} + \l - \m_1 = -c_1+ \l - \bar{\m}_1 + \ubar{\m_1} = 0 + -\frac{\d C_1}{\d G_1} + \l - \m_1 = -c_1+ \l - \bar{\m}_1 + \ubar{\m_1} = 0 \end{equation*} - Stationarity for $D_2$ gives: + Stationarity for $G_2$ gives: \begin{equation*} - -\frac{\d C_2}{\d D_2} + \l - \m_2 = -c_2+ \l - \bar{\m}_2 + \ubar{\m_2} = 0 + -\frac{\d C_2}{\d G_2} + \l - \m_2 = -c_2+ \l - \bar{\m}_2 + \ubar{\m_2} = 0 \end{equation*} - Primal feasibility is just the constraints above. Dual feasibility is $\bar{\m}_i,\ubar{\m}_i \geq 0$ and complementary slackness is $\bar{\m}_i(D_i-K) = 0$ and $\ubar{\m}_i D_i = 0$ for $i=1,2$. + Primal feasibility is just the constraints above. Dual feasibility is $\bar{\m}_i,\ubar{\m}_i \geq 0$ and complementary slackness is $\bar{\m}_i(G_i-K) = 0$ and $\ubar{\m}_i G_i = 0$ for $i=1,2$. \begin{shaded}\item Determine the optimal rate of production of the generators and the value of all KKT multipliers. What is the interpretation of the respective KKT multipliers?\end{shaded} The marginal utility at the full output of the generators, $K_1 + K_2 = $ 700~MW is $U'(700) = 8000 - 10\cdot700 = 1000$ \euro/MWh, which is higher than the costs $c_i$, so we'll find optimal rates - $D_1^* = K_1$ and $D_2^* = K_2$ and $D^* = K_1+K_2$. This means $\l + $G_1^* = K_1$ and $G_2^* = K_2$ and $D^* = K_1+K_2$. This means $\l = U'(K_1+K_2) = 1000$ \euro/MWh, which is the market price. Because the lower constraints on the generator output are not binding, from complementary slackness we have $\ubar{\m}_i = 0$. The upper @@ -230,66 +230,60 @@ Consider an electricity market with two generator types, one with variable cost Consider the two-bus power system shown in Figure \ref{twobus}, where the two nodes represent two markets, each with different total demand, and one generator at each node. At node A the demand is $D_A = 2000 \si{\mega\watt}$, whereas at node B the demand is $D_B = 1000 \si{\mega\watt}$. Furthermore, there is a transmission line with a capacity denoted by $F_{AB}$. The marginal cost of production of the generators connected to buses A and B are given respectively by the following expressions: \begin{align*} - MC_A & = 20 + 0.03 P_A \hspace{1cm}\eur/\si{\mega\watt\hour} \\ - MC_B & = 15 + 0.02 P_B \hspace{1cm} \eur/\si{\mega\watt\hour} + MC_A & = 20 + 0.03 G_A \hspace{1cm}\eur/\si{\mega\watt\hour} \\ + MC_B & = 15 + 0.02 G_B \hspace{1cm} \eur/\si{\mega\watt\hour} \end{align*} -Assume that the demand $D_*$ is constant and insensitive to price, that energy is sold at its marginal cost of production and that there are no limits on the output of the generators. +Assume that the demands $D_A$ and $D_B$ are constant and insensitive to price, that energy is sold at its marginal cost of production and that there are no limits on the output of the generators. \begin{enumerate}[(a)] \begin{shaded}\item Calculate the price of electricity at each bus, the production of each generator, the flow on the line, and the value of any KKT multipliers for the following cases:\end{shaded} - Use the following nomenclature: price $\lambda_i$, generation $G^{S}_i$, flow $F$. + Use the following nomenclature: price $\lambda_{A/B}$, generation $G_{A/B}$, flow $F_{AB}$. \begin{enumerate}[(i)] \begin{shaded}\item The line between buses A and B is disconnected.\end{shaded} $\l_A= 80\emwh$, $\l_B=35\emwh$, - $G_{A}^S=2000$ MW, $G_B^S=1000$ MW, $F=0$ + $G_{A}=2000$ MW, $G_B=1000$ MW, $F_{AB}=0$ \begin{shaded}\item The line between buses A and B is in service and has an unlimited capacity.\end{shaded} $\l_A= 53\emwh$, $\l_B=53\emwh$, - $G_{A}^S=1100\mw$, $G_B^S=1900$ MW, $F=-900\mw$ + $G_{A}=1100\mw$, $G_B=1900$ MW, $F_{AB}=-900\mw$ \begin{shaded}\item The line between buses A and B is in service and has an unlimited capacity, but the maximum output of Generator B is 1500~MW.\end{shaded} $\l_A= 65\emwh$, $\l_B=65\emwh$, - $G_{A}^S=1500\mw$, $G_B^S=1500$ MW, $F=-500\mw$ + $G_{A}=1500\mw$, $G_B=1500$ MW, $F_{AB}=-500\mw$ \begin{shaded}\item The line between buses A and B is in service and has an unlimited capacity, but the maximum output of Generator A is 900~MW. The output of Generator B is unlimited.\end{shaded} $\l_A= 57\emwh$, $\l_B=57\emwh$, - $G_{A}^S=900\mw$, $G_B^S=2100$ MW, $F=-1100\mw$ + $G_{A}=900\mw$, $G_B=2100$ MW, $F_{AB}=-1100\mw$ \begin{shaded}\item The line between buses A and B is in service but its capacity is limited to 600~MW. The output of the generators is unlimited.\end{shaded} $\l_A= 62\emwh$, $\l_B=47\emwh$, - $G_{A}^S=1400\mw$, $G_B^S=1600$ MW, $F=-600\mw$ + $G_{A}=1400\mw$, $G_B=1600$ MW, $F_{AB}=-600\mw$ \end{enumerate} \begin{shaded}\item Calculate the generator revenues, generator profits, consumer payments and consumer net surplus for all the cases considered in the above problem. Who benefits from the line connecting these two buses?\end{shaded} - Generator revenues $R_{i}$, generator costs $C_{i}$, generator profits $P_{i}$, consumer payments $E_{i}$. Find the generator profits by substracting the costs from the revenue. Costs are given by integrating the marginal cost, i.e. $C_A = 20G + 0.015G^2$ and $C_B = 15G + 0.01G^2$. The generator at $B$ and the consumers at $A$ benefit from the line (price increases at $B$, decreases at $B$). + Generator revenues $R_{i}$, generator costs $C_{i}$, generator profits $P_{i}$, consumer payments $E_{i}$. Find the generator profits by subtracting the costs from the revenue. Costs are given by integrating the marginal cost, i.e. $C_A = 20G_A + 0.015G_A^2$ and $C_B = 15G_B + 0.01G_B^2$. The generator at $B$ and the consumers at $A$ benefit from the line (price increases at $B$, decreases at $B$). \begin{table}[!h] \centering - \begin{tabular}{lccccc} + \begin{tabular}{lrrrrr} \toprule - Case & i & ii & iii & iv & v \\ + Case & (i) & (ii) & (iii) & (iv) & (v) \\ \midrule - $E_A$ (\euro) & 160000 & 106000 & 130000 & 114000 & 124000 \\ + $E_A$ (\euro) & 160,000 & 106,000 & 130,000 & 114,000 & 124,000 \\ + $R_A$ (\euro) & 160,000 & 58,300 & 97,500 & 51,300 & 86,800 \\ + $C_A$ (\euro) & 100,000 & 40,150 & 63,750 & 30,150 & 57,400 \\ + $P_A$ (\euro) & 60,000 & 18,150 & 33,750 & 21,150 & 29,400 \\ \midrule - $E_B$ (\euro) & 35000 & 53000 & 65000 & 57000 & 47000 \\ - \midrule - $R_A$ (\euro) & 160000 & 58300 & 97500 & 51300 & 86800 \\ - \midrule - $R_B$ (\euro) & 35000 & 100700 & 97500 & 119700 & 75200 \\ - \midrule - $C_A$ (\euro) & 100000 & 40150 & 63750 & 30150 & 57400 \\ - \midrule - $C_B$ (\euro) & 25000 & 64600 & 45000 & 75600 & 49600 \\ - \midrule - $P_A$ (\euro) & 60000 & 18150 & 33750 & 21150 & 29400 \\ - \midrule - $P_B$ (\euro) & 10000 & 36100 & 52500 & 44100 & 25600 \\ + $E_B$ (\euro) & 35,000 & 53,000 & 65,000 & 57,000 & 47,000 \\ + $R_B$ (\euro) & 35,000 & 100,700 & 97,500 & 119,700 & 75,200 \\ + $C_B$ (\euro) & 25,000 & 64,600 & 45,000 & 75,600 & 49,600 \\ + $P_B$ (\euro) & 10,000 & 36,100 & 52,500 & 44,100 & 25,600 \\ \bottomrule \end{tabular} \end{table} @@ -297,9 +291,9 @@ Assume that the demand $D_*$ is constant and insensitive to price, that energy i \begin{shaded}\item Calculate the congestion surplus for case (v). For what values of the flow on the line between buses A and B is the congestion surplus equal to zero?\end{shaded} Congestion surplus is 9000 \euro: \begin{equation*} - \left(E_A + E_B\right) - (R_A + R_B) = |F|\times (\l_A - \l_B) + \left(E_A + E_B\right) - (R_A + R_B) = |F_{AB}|\times (\l_A - \l_B) \end{equation*} - Congestion surplus is equal to zero when the flow $F=0$, or when it is equal to the unconstrained value $F=-900\mw$ (then $\l_A = \l_B$). + Congestion surplus is equal to zero when the flow $F_{AB}=0$, or when it is equal to the unconstrained value $F_{AB}=-900\mw$ (then $\l_A = \l_B$). \end{enumerate} %=============== ====================================================== -- GitLab