From cd2df03e83e4c3fe8fe028a6cd0f6f493d2cc1b0 Mon Sep 17 00:00:00 2001 From: flavis Date: Sun, 21 Jun 2020 21:36:08 +0200 Subject: [PATCH] add num7 --- sose2020/num/uebungen/iterative_plot.plt | 19 ++ .../num/uebungen/iterative_solvers_plot.png | Bin 0 -> 14393 bytes sose2020/num/uebungen/num7.pdf | Bin 0 -> 126905 bytes sose2020/num/uebungen/num7.tex | 175 +++++++++++++++++ .../num/uebungen/prog_iterative_solvers.cc | 183 ++++++++++++++++++ 5 files changed, 377 insertions(+) create mode 100644 sose2020/num/uebungen/iterative_plot.plt create mode 100644 sose2020/num/uebungen/iterative_solvers_plot.png create mode 100644 sose2020/num/uebungen/num7.pdf create mode 100644 sose2020/num/uebungen/num7.tex create mode 100644 sose2020/num/uebungen/prog_iterative_solvers.cc diff --git a/sose2020/num/uebungen/iterative_plot.plt b/sose2020/num/uebungen/iterative_plot.plt new file mode 100644 index 0000000..f3e04d1 --- /dev/null +++ b/sose2020/num/uebungen/iterative_plot.plt @@ -0,0 +1,19 @@ +set terminal png size 1000,1000 +set output 'iterative_solvers_plot.png' + +set logscale xy + +set ylabel "Laufzeit in Sekunden" +set xlabel "Matrixgröße" + +set format y "%g" + +plot 'richardson_1.dat' title "Richardson Iteration v1", \ + 'richardson_2.dat' title "Richardson Iteration v2", \ + 'jacobi_1.dat' title "Jacobi Iteration v1", \ + 'jacobi_2.dat' title "Jacobi Iteration v2",\ + 'gauss_seidel_1.dat' title "Gauss Seidel Iteration v1",\ + 'gauss_seidel_2.dat' title "Gauss Seidel Iteration v2",\ + 'linsolve_1.dat' title "hdnum::linsolve",\ + 0.000000020*x**4 title "c n^4", \ + 0.000000025*x**3 title "b n^3" diff --git a/sose2020/num/uebungen/iterative_solvers_plot.png b/sose2020/num/uebungen/iterative_solvers_plot.png new file mode 100644 index 0000000000000000000000000000000000000000..78a894524bc521f78229b90615e17a84a8e6f7ab GIT binary patch literal 14393 zcmaKT2{@GB+wc^Hk|jy@O87O3hHQh7eJ{qA>`Ag4W8b1I*^1wU?7Oiq+1Db%Sc)t$ zBpHM3Th{r`jQ{t(*ZW=H^}2YT^PF>^``pjHpZhr?9%!pvILCGl0)bpmQ&rT3Kqv^L zKWYllDC5;1QFXHM99iYn;hiJ7l^#w46*GhBuK6; zhwFexdis;a83tqqIC z&dtq%CDw$6->keT8N;vXul*zvS8&0^nvZ2GE5uOQ)mG?b_nDuL`_j1;gzzCv$M*UxTIuh6t=6kWKoRZ zKOjzrcY8>~p4G+mkD5k^?4Mdy4yt&32_X8PKZ<1nLU>dC1l0D-*&vB(l{q<+Q40aFp9`K_vYPko)8!RWI*%t64RDl8`s%Y z@T5=u^KLNRlb?g7zBFyu#O0^`g;$<&n)NS?H^hgu+D^wh9;^&ZZ|_K%1;PsBivwO) zy9>=<|Md?+33tJH|9CmN>p9)zc#^vRG>trq!XUkUsOhH0#7c`rXvV}oEVzYJUbZ-$ zj{1FbLfb`m6ItcKS{}j_r;MfCV64Bmy!ZxnLs7hISi$g%_^~(d5jBzOoDvZiFlsi9 z|7+K9lKjU!XZ`VNoU=}ToTqIi6!li0tn&CO8FbEgN6|E*ra9qq5%d7RzU^9??>9ndYJ z)Lgs<$#FR6WBltvUtIA8#^m_R|yBdL!)beQqV!RMzso z_b!FTpmU3#%s;DT@`3BK_#z}hkNc|vOVHyeTU_H0+H~s;eD)tvFGq9wK&plXrlC9b z!Bd)4)8FB9Gm#lWOv0M{yYI|vD33nJCj0Mtk6Kv|5;etys!xR1X}bHA!zDeMpyk-P zA3(Q{QWTdRPO8_EjV46Hh%MU*{#U+^j=yF7dP*wKdTae_^>#*m-C2K*U&%I#tz6l$ zf%H9#_^SuTgQE(^bE_SPy=ffTL^#5TE071UeA9S0;2!H}Uw-!}V{_A8$LZb8mRiZB zsqcKm@2gcSvGU^iV@uEft~;@QO)wV=SUxU3FdZ!N@zZola&u)0rfU+T@>d<+cHNrz zsgD|`_b$rMh>gvTO%L$mIJ!n~G}VdC_UtV^*zfHu!^y@3uxver-)_;af0jymIY?a2 z#XFd;{h*hsHX6BfSJlX>cA~Z9F*H2r28L4ezlOTw)6}1P|BHj8gD}G{e&5vL{f^f6 zbrs%zdBUrI^W)eejnXeU$E&yHa1E>UbmYf1)C-PW#5j=PBXoF0{g+e%ou`~KFWv!y zm0ri>yzZ@;|8RJF=l5ei3n=QU_b)v)(-GSbfoq;R{WhobbgAO|Hxx4+yVv{?249QWKb$>$%X9h@98`-G78b$vnf_ zbM7Puo8dI2EG@5NYF23AKfg|NXLEHv)nHQ7{~p7lHFbiv^KZwnH(LS9qhRTKQM+Mj zLj8{v)z=vmTuB*1Lvpv{wPgBFqdcRWY_4Pa6E_ z#~ikCyCJPS|DPJ}Q~}t~)QF z?{xLlKex!E{*~S@5F}n&Y#qTb47V^I4J+zOMiJBp%H{hz|9;1TPT}$4GKxR*U4-w4 z8gyDW^y?&*6MEjMbABRxPgIOeHb$f8p`}Z-~JOikW-pK}DvP!2yaXE&dUijp09`o-#@O z`C;?sroN*dNt{89&!L#)C97q!aLG>#CgOj^$D8EHntbQJ7O$wE>jd)AF|G-BpUht6 z0!)tJlE@F)tAsZ17kP1uJ&ps){J;_|^WqvD`X%M5`f0?`h-#Vn^|PjSW&*!&O#-bN zWlJucbR98;ngCtO1dv=aQW+!_{-5^oznIQ{V!>;uh&ZD5sIqGP`gTL>!HYTAX5-D9 z4g=uJx`*$RCYla0ql7BYKm0%|OO3ifI5Z?ycgGVf@@AJ%Y5%ly4@ z&Wfz0e|&X)4mI3G6`7oha?2Mb*x241Dqf9#-W2EWp31SPyM>x~jGctlrl+(PmETPm z9?2jAzFsEFA#O-o^M|hIXomRg3$Ln{^u+mUP5#x=cm>lu^C!Upo81cs%YD2`gD({F z{0!#mY-JXmgPlT0)`xlzjD1;mhLRgG*YhS6UI+GZKO9TZ05;JTHE#D~1iMtOz4GB~ zb5d+!!meT8oy93_I??EQ>%mpqs7i^1OY&57kIYauV^XaoFr1%dT4BkasLjM(ud;Xr zTnwRBM45R9A9tP5_Hdaa%~BD7-A&!+iusz)v;N%Mc}g&U6>A=z+@0wZ^R+BJWy<8e zMj=oG%Y@3JABF6vJyR#UQ;t_U{WqUWPqZ{~2WAKeIZo{GRoBKVY|jo1@201$W|qSe zhF$zDSG;?L8Qp)@uD>2xzqJpqANreENApNjHoy!g9dpmGJk6suiR1ZElDUZT_I*5xBW_y6+_}{y(fy~vT(X#2^0gfl_N5kRY7(x1Y+Fk(D+ixh}b; zshkt1THz!093&)wsk*B?016ncgum(=vLvjw)}JJUc-2pP+SNOmgB%&8k>VeRaFa~z z0UJku9$d!9{CLAfjtkOAC}DN}4V-)H_RK?)wYG`m2M27h-y5qjEG6T$#paeh#pk2M zFeqrj64OLcWPL+*a_OoV%jX!D&i=-grQI?;15=^UW^M5Pi17h2J{7Xu2X2YTmQ<;g z=*i>yExtbPX?YGuR_rSbj;^NX7dLqO^up1@aK`U^va>plhfhza5g9mi_s?5|GY^Xr zjt>7FK2XztmoYFMnA)(o|MEKuia}j3ybutz%s-@mns1u{vetX}qzbhXu~aosDlaas z`6M}C-n=C+t#Z-n+-nd@m*&N;AX_jVCrl8TcTd$?^ctMMS+v53exD!rWApBJ*u1Q4 zGK<^^$z$waBkg($8yWr6)E5D9XAj&2nMmBV#ivYhWS2Gm+Dt*PhqP#$qQo)7(&%CQ zrVB+pGMLV&`ZvJ+{KCF4|M#*C*%VZIYhWs%LKg$507MUjhOBVHMo&1r6x4*}L&@M< z4zOJr=71Tgh{7bDcej}y`hSoTBD?zVw&S`2l7Qu=Uwi#4TQ>Tr#A|Y-&1cGcJ4d0?7#aheP&*?1zw#^78A!Saez} z!Io|SU74#(_4D(xi0-HzMp-8$0M1QDzc%A!RzIP3Gfj${o-EnFgH!!1+xG}_0RsV% zA+IFv=hC%>$?!Cw9mu4%h1v08#={tKJ)DK4w{DAE!B?|QoyF-2lRfm$F5!5@x)@=E z>+(sYWbmyZ?=*twA~7e8b47+#AfH$imbv<-#=I=3_T5>s)G43jy-eq}s!gFL6GAzR zc;zi@VkygT!iVBQb}H`^4D{P`pIHhkotD!=lmA0ig1pe{8V|;^C-1PvM^LI?m_vA; z#Ao{L+@jt&lwO&hS~a>GMA~mI;=aS%AvGLCq)XTdA2P*sEbFnRfg)&xeklufESF?c z5N`as?+?$`d%k_RGY%(!me`%j_?ELrcIS@&?EbF(&-(d14ZRHiX|I?2$tZJ&tn7I6 zLr=x~gkJbLc4X|yw6%eAAIK*wMqAj%itAS7-pi^C9Z$kmt#iIE6+`gmu^~CR2;}l8 z)+Z%RKT~7zCtc2FKIUY_5AcR_lg%Ac<|o=hRtdk2k=+y0zL-ytwX2OiJ)!6%Wn(Fm zDI>p$&S6ax8N6xj=oZrnn|?M=pRDtO=y9@+@2Lh;@;d#mo_UagBrZR#WFfcemn;@!oS=A6Cw78D>Qv)NI4Px+(KaBz5RawFNtYAlipvQuhQpbX z!QIve7z&rGe!gL47Fi%iOqcUK|L+~Je=XO}tY?0H2ZW$o=L5X%#r=~t2s$-#s+4-( zfQEW*1(>I7U5k5gQxWJOS7xcfO(oD^%gr;ukQ$dUX$CiyL4z)}ee9r=#CFo1$M(RfxIeEZSB9b$&oN8X%BW)E0`aOgQ%?N;mS z!_GE~IX4{RL#N@8+8p084Ob8VB|;77wnK??y*}jJseaaE9c)YcLn5Sfk=MFR~XXl!vO!e zHA~b7V;^EDyqs4M!2wZ#vnCZ{h3Yt6`cserrSU9sEyL^fFG2mAreI=jVlpDv1CYq_ zWG8_B;Y~BpSN}x{k?RNg@~xa7p!WfpX%Q{5`j_Rv*u%-Nc^)+H8=qqOI%aQkb<$Sz zXYCCiJ)3KQxRvgxSMvq8UV&9p5o~%klAzCtcPIgR9;l)VPihUq_#(iof1QLx2~cTt z<9j^xe6}vt9gQMh{ddZX^8QydpZ-gV_d#zT%NE{x0|NhBE2+X;Z%G?ITtTHOcu6&} z>>gpT2mRBXQd_BRlL^W)D;Jj)(Vu~uCuvkO>c0b2{k}bZ4`B=(&YNoYi3c{_0I2`s z%6+s_e1j&vv3fNzhvdF1(H`duZ>55rk^V2vf=Vy2Y1I*KtSK$Hl@9uJ_m}f4UxGdr zR`>Lt>xIKFXy*p~puGiPV*KIEo~q3?{Y5z^;RR{*X9QTgJ9i!NPA`}432!XUL%~KK z3~CE6!qH0l7z);I%mU(_J|K*zC{54U2xB{Tm1565nIu&?J~w*_^c;Zl{!%)PxNHQV zdY(7c8iikrQ4y@<;|%r|b$^XVA_F~2D-_SLkR0YH@-PB3&X0E+0@aX-+sSqFXZ zD_4ck%piY_Q}o3Yp90_+lb#b7(E6b3n}RblTtFV+3L6ndj06ui8K_cgk=6Un<)pLp zS~fDEkd`xOa2_q1sY|7M->?K>02D!$s&P3oka&!4ZymI`;=p92tWk0tZ6A`sBkw-U zEU!}dtbm=8)9%;WA)UNR93jt_lJjO(Qou~H)VFr00}-eIa6KI{+CJ(w)d2sOuc|tS zoTI(dBwXBMa@;c8o<^{XlC~5d&;B61YRy&dAHOdVJLFP^DP}{%8H9WYqRQ?$!Iyoa zt-+1XC%S4y^~{B>w4QySeXd!7_Z}Dnw{=xH#fhkDa{=fS^;hY1Ofe6b%k5)Jfkx-( zQdt2)_@MS`xpa!5o#Va(QfrWnHKOItM#=Qei&rc+BoO~)Lk+m~QIurvN_z3jm;OoW8g!_qs!bOO&3 znh&XtK9?S#M_)7W_&mveQ1R;tN5AzgiMGJO$OiVQE$OCE>t|>l>C);v$6m7M>d(-l zTd(`EzhIO(bJ2*S)9FASx)i$=>u_+mq z8;HdqXi_#-0#hu5hF^VsR#L_0NG+B1CC8œ%n_MyudYX2aY?w>3vZ9U^x02xD{ zYg!K+SclsaI-%^m%8UAoL2U5$bLj8DiaG|bcoYv3;e{E+{qtBLBvK zWczply$!lg@3Z~*Dd5f+K~8t5ZNKcfk8tjg6M&bS=6mUk4N-Sbo~vz%R~7g#x`&YyxKDQ`(leyUI~9hGx;>f(1+x1-g{68!iMvJ)-o&vTE(h~& ztoWZg0PI&$DJK(+nU8!$yO!HKEs>B!oPc8#eFiJ0$EoH9i`g?jl!1+hTs#<{J#k($2r?KMOpRK~Ae= zZtyV--^itsUa=ITBRuy0zC2Mng~eA)Z4@PFo9Mb>!gzlX#M7jzm1L`cs}|ThA-iM$ zaydrry(szhJd_n5r9sL5HQf;=`|kGB#EXo6!ya`{HcS}Kq z*c!_=M*me8vp+vj+}wut^&^}*Hb^$7%WGHs1F^f5#U)`CO#+h2T_W|4Z7#MrdLXFM z<)LAJQv;Qi4ku2Aj-AclMp#en-N}Uhr%9O)vpVscv(K>N&Y64iTa~uIXr!%{yj`X7 z$>NM)Yc+7G4mpj(8@3hHe2e^j8`3ucrlpHx zK(E*Q+_9BY&!$6Tr79UWDR_K7hsUT*P5fzG6V5YX1?ZS`{!OTH5a0{z_-C_y)Ag?B zy_|{Hd!<39ok{#0&8JPKOqnwOh$n(Aof+2CsSK$3x9;&>ttVq<{jpyiJ0IJIfDm$9 zc-k?&o^zn2)6ciEm7~=Xiqm68{o|bdk$n@zxBF1SDBN~#aVe_SuSHSF3?D_9lx$n=T zA60gGxb>-FJ);SIUS3W%imO~)G5IgD+Mc>$`&`T%WR=B5+F}@6Qv%iUKn>g{YRu6S zYmD_wL2-XFX2x&SEpGW6=*tiCbcnh2T4Ft=W2R8w{~md0H!yAeEsscXW7|A38TfW6 zOeq6*xRyWJDLsbgAyimW)c^L95Tb^Q&D>4VSg{tov{iKV%nWBugo2T1P7*+0fJhnx;jhNC-e0mGz4bV70WD zxCq6=K}t<`$${1|_yRCvF_6{$sgb%Uj3<`}9ccJJ0R^Zk9DXY!_VRqDb!nBUx0e=0 za@(tN*mP3KUbp>)vb^_#$HNT_0l-PfXrX*Y*VZ0Yj#1O8cK99CEH_lLuS@t;j-B0! z0MDHz4VCHTOKE%_6U*@td!?8h4g>kY5NnFDe5TF5i3EEbQ`dg2_A?2gx)DwugI1I- zY;^pSbPU%;fhn=v8Na|9HqT9kZ_j7es7BzKi31)EvxQ>F3Qwm`+GS_j3v0FPB+UOL za#a2)yhiY6siPbF{JvJ}4!)5utT=Sl>GivKS2fGeCV3JmERBLM96JM}llwEKKUp+S z@Uop)P8x$jqiG>*dRzVWT<-0OLVR%26PE^@;P_0_7;|~=Uze0@mZw>Bht{bRyd0aU z?2V48%~?GdQWH)FhZohHl{YYbyz%9Wz$jv#4M$NrP%$ z+4T-T=fOTb6KbDHqalyO!@~}yO_^l>0H5c2XG$q-%O{+A88*|?2bCOZT^kLxW(aY0 z{wRyu#)o0w9eM}APi#Q2Za_ zfsi}v&2Tur@#%}yVJEJqJOpi87`L1D;6S7lzA>#?tk8S8Ix%r3B_o|>&&7-Ys#7r? znv(p4`3~+)o>L%8kjAGlZHefH1Ls#gOR*rsKb!UNGUZY6U8|N=oA{*`j$`EAGN}Qx zs?uA(&h59V5rkKA7&cSKg%di^O0!Ucc7T2VuY;<+ReVV(0vOV6FCV?snsn3USJZ|D zj|Q25S544z>I~G}<#=^v6okfj(8FI%tKdB?%F^Gk6zL2K7Uz7dVAG=K|1fOT2zHIy zoHM4n_uAd&+!>kb#MPCEJQULMadGp_n3$PtXC)b|hO+p5zB^Hc=i0Id^H|Z!&?W23$JUXy_UV80FN@0-c;=0p8R7&Ih z!68N>oK`w3zhT13!69bxWgSWUgt_ms@)!7;?xFo1g7NML>(U`EC`vJs z*-Lp5Ho8EMhF@nU+SO&m#nx+sy?;29{c6-!*yjCwCGc=jVD;rKtI{DJD5@hI<@uNo zHfnbfA0-u4?P0_PBY($Rx9sD5r-ZeII%esrI6OJl?c$G}@yqCy>=0Jj{og3(RyCi+9%+oBFm`egpSUx54$GQp19-=jzz4i zxyBu7u6`uyvF5F z^DaI((EKbO%x1Yi)BWs;sGDn(eUAlw3sjV z@bKtt-7qn_f!M3~S0s+S=~RaYC$dAELAUV8*Hg6fOlbT=i~>vJG8Mz-EA?G~C6f6A zH>_26fg24+R0MeN;A;_Vs=0Izi_>u7dz@%GU5o;gy{%B_ra9sf=vPV!orp}7eXwv1 z4X3Pl?r|NjQ{WED3O+_62Mn9}h#vq(vN+K{d=HtnUr^ZF@JM#CMdl8i3hIC z50MjtE~kP8enx_?E457a)>Kw4ukyo28)meo%~#PGtsk}f=sNt^TUoG=u{cpj6SE&X z$5Mo4<{~Qq`F2{vqAO!}2&TZ46+>OlS7R+Pt(jXQK`(B}>7atGeM_pZyr^Ikb2-?1wEzmyI&7s^4ChO$ZBNnN{M9UdrviEbF!Pk}0H=C8K z@>tJ!GO8~QRIVL||Dez6VR)jN5(1>G0ut3DF~f|CBj;N=+xKXoGI_cx)RIC6bRCDZ zXg&ZI6vg6C?-uY{JpnU3!XL(QxYZg|ydeK`-!c8>J)nZY_}DNL$w#C4=+6)UaBu+k>A`hJ>aN-yp>iaPXWz<{0RFrJtsO2U?P^8>S(7YnCmlwF5+VFaMs7!%w7zK^c`!lrj0R`@v>YO{djZZE!Ak7g!z^;5L&h*at z@OoLOKLB&Y2qv8AnB+$*BQWiyKl5jfwN4wZUxMvI-T4J`1c$144>t}Qy#-#)OmdSr zWEtNk9C0=^(U*TP3e-n#=^EYW&S2VvTx$6G0MpJD!F!Pw4x_)H#d$szUi{VQYBLzT zb9et?KAi@l-@hOgWh+6ilyl8yv7DzQw<0t#Ec;s=6lL^w_|upImO^(y4d8q*?kIjd z)pQ|hM*1Ig9s)BfUBbI(Qt(^a{Zx{kodz1Nt!MJ471Vnqz(-Xf{Y424XUQ9GTn&(d zyLsxI^Z#(B4Nxk(hayiwQ!%<-H-pb#bBWT%G8b&+4U0I?UA!fGXzUrf`IA)o>v9z? z(me-b$^4cIMR8m{I$hW1BB+ontG_t*TkSwuzm>n^akzR&;qdzS=mxRGt7kVfQRCsl z12kOhFB`Fu*Wc@y^S4<<{T1|Oeavi?Y#=zZx3X_kzvJ9a#9c&+LbVEYyKK$lm-uru zh=Ql17HH>v5DkdjnA;!|Hrqxp*`y_L#-4kX zGThlrNPTE3Ky(j=SVl_o<0}!5^mAiOvu^$13`JT(n@MXBwT5-ty;ZQen7c*loawja zWAm+q!t2G*9wfpf3G0{sP_);>(E;F5#O*jdu~*N|2o1lN>~?HU5Po?lMTPtU&`%5$ zGRnfeX-PGUE?Wg`FOhmbct)BId~kU`y4WmHxb-q|iEQxcpY<@lwDVsd*qH!4Z})l& zf)cwFa-H=T|6Yv~Znlt!jZmKluVKca?<0?$&HB~=MKv)iy)|Rl94pu=Rp)ee@oKq> zUw>$4hK8FBl?}33aa}|20Qz|MPWxL*#Kx%;!SvIO%OX}>H_>MeFtd`&i-*_nUv=#) z(eSi5!G3NlE*P2%46x4qkiL$G>DgI<0S3W7p3u!YjC+MTC%wc4Td*GH18BEmM&?*x zv1#f&MZ@cn&x`|LDg1J|@%oE(`NnA54r$;~igmj#t zG40$Ki*WDvDPkVv;$fiw;7GH>pi&QY=!~?!wp62-_sYIGH$wj!+ZL$HMtCdmP4Q+!Q%_+vs5A}am?Ea>OZXD2G3gK!AeiQEf zi+bOWn0cQ1^^CN)aN~+0oq$h7B9Bsl74txMT@wwZ zUz?0(k>|(PKeXF{pbBm^XvoSA#Pz$Raig7f1D}FYKF%i&X_c1LG|*6VtInDpzb7yo!hqe;18naP!lur6QBSsc#oh%@AP zbbM7dIB_;aF=WN9^=M(~a%hK3Ozbz>hN0ZJUT?x_h8LGYR{qjv8w|4cS11L`dp4_1 zPs>hE$E;clSj9MgJKwO$yPrmUrGl-{e=hGCXxS$5UVwI?gJXjCvO9Mqk8l=3n|^Q=2-&(N#eC`!Od}V}=dZB@bnk)DP>qF9C$pju3XsqeI)cL?zBj zpx;iescbCL$!Y_0)PY;fU9s zk%_a?=wc4<&}j8#ZCJ`|&RBYLo^FF)2ZupHj!hsZ6y4b20>as^%38W4Q^v4x$>N9I z=fmb(8IeXgaf$w@0>m;MEKDEzc3eM9{p$(?ax6D4Nd{Fg{D-z((m{`=F9wcK_jr}q zeh)qDP|CACwA{fVSkUp*9uNh;kDUoscM%)O)Gg)d;D{->VXMa(v05XN($0z|IA9cV z4OGG*dZ(9$-)Gg^4kY4$5`O|<6Hr(x!rytND_IBFc8IY8j zaRrU=I2jPvs1^CISklGQ* zbt?bW495!$rF|jKR}u>|F*k}HPu~ce;h4cZDZ1tUydpADAxOQhN6`~F|Mjmx1(Rq`1S4+dm7xgo}Y{6cQbGa{+oE|wPx zE-lW4EZH`0{K}1C2$#H6Pi^!cS6x2!Z0X*3hDeG+d}PpfzD`r(QpmQlJ~Js}Qb30U ziOyP>p?A3_{l!4ige15zl-D?P)-L0yJkz!A5IQ(|I4B+1s`D8S_dnunht9)cVRwU_ zDB2}ENawD`%f5(O(P?R0qbIs0LXiaI#@ZwCriBA@?#TeLT!2rpZSIUnLZz3-M@^AG zo#sDA{5kL4N#QvsDD(mtx7UetURiR9P2>ULJaR*tqh0cPMtsTt{V?}O5z9y)oe_&t zyzFij6V9+@eWjm~IXHkCrt+A2AMC!uqcsP6H_|(kKE{SiW_>c=( zT=EzB+r|_RKKx(Oc?d5ch_B@DCS{CBMNQJ-ho<{jMp1Oof;8nCElj1!y>i?0Fl1BQ zomGet*`a-%pwOv-195{VfK6WL_+5h}y(z>cO?A*_(MzuX?di8cm>9yJ8lDSm@`f_X z{CL%uii7$C4e`jF`_~DtzFGSVcuc&dBqga8*YT?4Q$2}{$Q&io%2DBxy4j@T8njk1 zzsaXbLXjtjRT;>4HWaw4^H`AY8rLjB+d}p`IMgnF8PQ*ZU+I5a`SVornbMF%9!JXN zt9Vsz5N*J}r+|yx3UJISmxX~(R^i&9gG;LLxskp;eNpZt4TotCHk;?E^uG-&7J6Y* z%W2##0>qru4FlKlZXs}G?GXf5$(~zaBk@JgfHX;8nRGQ2BVCOJN!LeQq*d^4)L@mJ zZ(uDd_uv%*t5^p|eecY;eFw*#I8r3Iqb3P(CGv8(yV2c>y8y^&(=P<`+oBaiwEJI} zsGUv4dHggBCUrS?pGi%mh`k7uj4Dk{0L=4(<^s*75Xxb4x1wwMR~^KYHDxvutce;W zfL-Nf07>=FctVIa_Qe1=73yFnU`6N0KumG%;27h>0}Zsu_6q5Dp>w$G2qu@C7R&R` zx6!$hR<%g@hcwOKiWV+OOW&(a9H!U^}<#;FNG;%U$eBhGu4?^4M(UK~dvLL49M)5Xv+39h zA-}6voa-yOZ?B%LL`$jx^c>K0IY;g8OB1MK`f2tnR{02L&o(jFT8FWc0BI+wR}dTube&5Zenomw8WE^P898avWCUMLSiNj zf*11NKS6rEzb$m|7bxC@qTI^6das_!u}bCm<2rQ*LcJBtq+P3vPndzEJCx5eW-6gf+9$twwMr~i9}|It#k3$V=1x|u$( zV_~;Y@t2bGr2D z?5(J1f;EgUq!$JYG6bpki??jt4>aCw?mPTrJ-D=<-FxSU;rBPQPc_%B zxNoALN=JI$%+JtS;FA6R{nTZOHYtT1-}t$w7kpYN{U=$)Z@!OR)Vd&!A10AU>vrp2v4ZTCOhU+8wOl@SVPEKiGGzp7l$aEv~C< zG7Z(5SeBUC$`G#B;;TxkwVU2AYk$S_}g%GTO9OF-9Oc51n` zgLmC3TN!n3>qY*cz6X7nVuZ%-+Jql9-j9m6`Y-A6O=F zD_a*cCt@aXTO$`UQ8N<~ESdY~`U9IFb4phH9gC5^GRauBTAcjL~ zhnriDQ*-;t2!H=%@L|qKAyLyccSEwI8tU#p2?0;5OQor5!9)=`cz-c6*RK5mt-&2PK_FP z6>v-%76xAr8cr5IWHQvB_!ItMYOZw0I-oi5xy7~D>$zWF@ao*K=u$qQAz2L3jhRCQOI>;SjP@fh(8Qew`4=#-qfwMXb zm0Vf~Oh4uJ2*Nf(E?cjPR0!3!6*DP9Zq-OKYUDf{FHN5$r^h9{V4V-jmL(gh2^WVhG_<3byfcY73h2wHLK`7uaKh2V@tx)9zWw#iK5xi|SdTs$ zHrNyXKyj<;(rN0dGj!Zgz8pa^PHORlEuRP>&yiU6Li zmLW|ShgNy`dw{0!4-{|SLgXQ?AuW^Q9fK)@rs44E#jxdI*1S9lskwTbo-A>V%m5X9 zw7lS>J~L@*QH^7%FQ}0*#;XkY{Zxk1$eb-Oil`(|Mlrz(>P4^v^^gp4W#j|AK>PZX z2xYb5Ul|luZb+{G%eHkKeMWDS&z;XFvJ zm>5Mq%Qz|RNr6~)WsY)aBPBB;I1BM%q4j=hp^ zq?rW8daAjtsfULR&O@lOnB$mB8Cb5|+kNS@aBK`a*ERzEl)1WN+P`DkH590C%T?|9 z{o`r@gUaJ2&~!J(IL=B6Mk#NW6D90dMIQ|)IyByVucYgnd^t$TMPz%Dh_tdT>DLf) zdy;Wc{SPeYb6=(ybYe4zO!}+(A}ErwnwA~&1;K63R?fvBidSl2>cPu%#Q4ugo_zy} z*9`GgnNo1_k+`%XP*7x`j!;iptqBL0dLQv#rI{D=dK-CZ(UlUo1ed?F@>h+4ie1c5 z!wbT$_Y4v<3R9Lcvc^KM$>J`cHXp>kxi=i=&W38(g%yMd%~Ta&1|-#>URG2~`nG6_ zX|e?TkiAYzEg{%oY(}ocdAY5W``=tJED zNHIx{Fqp=r=O@>k^S zwruXu;TnoO@lrtb7I%q1N6u`9Jl%9!ytQBs-r7+Y4^_iAP`IE7NB}50nqI}E^bDdL zRtUB0y5g7O0m9W(<|?8KQ5Wo9_Gy%WUHzG->f(IWbYD$|*?91vAOIweLztKy@-|@m zR!u(7RLbg{9EJeSjkph6?lW>{KAWxwD$O`4WQj;g!5;pXWx7uY@cj+uQjK-qQ`|FE^>o27+`f{G&ctbg*fuy1c8!74;xlEdnk zu-+=}_T$#t55y?-Bz9ThRry^3ml$iBg0 zP9BUvP8ZA9)>BSn`uI)rl$)w2rD4|xb&6vt-2G``-8@~!*#_aFR!d)W4l=w}iB^zv zr%DLd7*s|haHVq-ub z^ZeCL)Q#EH_V`er10$gFwiOL~h<^PWnpZ5y#0!XAV?_#bB$#4n`5e`Nk&p{2&Tft^ zNMT90e=ImG*~rYczF7ZW4IZ1e?#$p=m~o_q0_W0++P-1*PkF1y6^Rqq79?8}aVcAk zq*!(tbiS_s{AVW{)iFkgZ1EE0FFBn-qNNry(AHo5RlkxM60F8VWyhTRET@ODu){x& zn^cvh0M!G>0PSA7lNFG66_8CozuY`#6Be~~`?av$zznQcV~Xi~ul~GlvMx8!VHeX_ zC-#l!FSRsW<6Zr<)Y}@e+QU zHm3W4Z>UvjLsSL1r5|lcUq4m5w6yAsVat7^Cc~+CMk>Pz;!5S7HNo2X5OfT+)Fj4$@b-el6)Ov}sEiAN*7)X%=m=qF8pmS2sZc09z z^E1ylMY5Eu4jhpYgCBoiz$fcP7Wg*=M5FpK7a@2IyBUcoJx@$f%ZYuqCq*Po1Nh9Z zi#j=Lg`d(7kR#|?H#N!!Zn*t)2-vxKg}^+cx(#X;d|M41bJwA5NTR%dU@fPu8{3md zICAQdAP2%oQdK=&pvBYzbFz%NEoG1+=C!43nW~Mq=Bq#^fn#K3R;>8LK0n z^ka~^xb=RF;W7x$Q|hI+prmr~FaY9C#pEYmw;}3ZCV;2)aVVsA{d+$&8&*Nx?jcT+ zwIDD82D@{7G;D%8s;|sb&d2`#Z`Ts@J_xE@<>K{ReoWbvx~b({#$dht=yD{aQBJ`r z+t{xxy-jDe(|UUJ%62BHO6iIr1-282JhFyJv}|++6tfv9fi#Mhmv|IgWP7!%+TH%d z0~1z8ZTTf;O$N@kI=>o>=zl0_^vhyj;-t-UZeYj5iu&fs#A!uH|~lo%fJtQAc!~_4U?NccoiR4IB$2TKSB^e`9ru zJt9hR{WP1#_oYa#@nPVZ>SP^1?P{Xb*xkLeQ%C%&+-XSXC%C~L_(@S6^&P!2+7?tq zdOabsAwtlG43trd4#Fw1%ea1vyU%sr#|m!faeRQON34Yh7{Voe$i}uFs~%25x2)#@ zPUELEU(3)VU~@O`0|G{J6UumkA$tkej5yc>{2q7}SV{t8C>n)4J&`y&YaAodb)p)# z0HxFUxn=jvdDc72OX{9(l-3Q4m3)5W&Ky zI)XC6`t3eCfj9LQ)Fou<1g7 z1=gwBly#{-%&C{zZhhke5eNzo-pP36eT|?N2;~wdi33$N&q3C7g%Hgb5+oO2&sNoD zK2JG)o#)Sj>6sQbj5>AytX@BjW1ge>guDMPLgf36Hq zlJN#m-u(PS`Hx}Gn9qh#Q~s_y|3h_VuUl-DC>sAb=2h4@A{J-7bKMXwOu{1gMTh(Aq88DJlMKRH% zh2S)Jbn5$bJr`3ObRvs)uCAwMkI6#U(M!M4rk`vlF}AXtcMqju)qlVVxi1 zuAY7QTG>b9H>PVIqg0x%aJ9z5|9EfzRqJ#y-WaRPzlrWP+*r-`e#pmtcx;R)*Wd4A zwRw7xy`^=G{{kk_dPx7R`;YGJ=w*RImv!FbN~ zA_(@ud0zkR`4^-X8f%*4MBG=(#C#I*Rhm7FQo8wR{WAA_`6S64O`b?&-=HA)^nRe9 z0D*K$hGtGg{y++s&&tB_{bA|yZfHWiZl4=})KiQ8&GlxoonJCkH?OKf6snf=UA6YznIPy1&l;+2-?gf^#zhW?Leb9FsRlDFzxO z0YyPN_zF3d?9{CQ8n9uCZp)i7Er|tNT!d#3(u zVl@x{agbB@hix-(0X-#}b4d`>8}~l!w|g8M(GP_PZ5za4VA`!N2?ofBNgt)D*@o#s z;^hoW+x!`RD$0t%JATZ+796n=%z@MU_H`CAyG6?rw@)O%en2^cQx7j2B^${#OfEf+OH=fKOKu_ze0bvW{M*LXh;QVLbBTfiI zvv9@6!c_O&2a+&6eFB9E)XMF$8>|hHz+AL-Tf0C{ksnzPs+#doWs4jLuR$&-RMJp$ zaDphi&on8+=wLL3`~;hz6W3&HJm{*0elU%im+FR~5BxDq!@CXC8(dCJbJzni%|`w@ zzv@B|GI%unAj2vrJCO=RAmhMX5PkBNQnZ(Br00BWE_^>z+i`7tURM7o-2z6(LQ)_8 z*6E9DAfo*-ycVb1V(k((2GL{7EdnY%x$OaRuo&?t@i0~&ctl{V{q+v41uCqi`e4r! zZDKK;ENVOJGN>c6H~|VvRx%- zg6NCg4A{9mk0_{=Cv?bwj@>3w^Ii}@->vk6o7<#$CZX3gPCk$8n8@)+z{=XZJ*8pm zYV+@X7~OUiUXy_SmX-*k+$+I^Dk&q8U6FUj~sTUov*y z+`6Z%L4A(oE1<(>zAM`E=n@0PF72&JLQ>5;7)*zstPo*|aG=D!!S3}ff#}kqliu$V z#K(Ks7xgrWVeC18kRu>{=~E7M0azcj1b~!;gQh?~EJ3HCJrIV-%vY+>9`piJ@tAf^ zW96$thFT4k`4}@xB?${qe<2tzH~A@NI^u`d8{83|f>j^1_lfp~EX!pcNoeLdNvM1& z%lPnjaxxRLnDIWwbefNkAOi|8`|$D-0b>|Vb1T0b>M};u0=G9?gp-6a-J8|h#g#JZ zcT()qrO60WycPzToX1X{U`vpJ{@hORHH1)R(zDjzLUmE4J7hG?qh`)3 zW(*O0C{tr`OpIJ6o4*QAo1cDM&?l<8E6-J}zRgc}=!J(qkRe>T*ICw#I2xfd{kUAT zHXQDi?sVAKb%Myw<;XJ<(-0YQToze+f!b_8L`*P5kHi zGW>BgZIJLyU#aTKR(uQiL9Cqt%66M`#!wiWIb*~JvwKc+>u8Sj@asXh_ZQCA zqKo@aPU|K)`#PX%3N=g~^1hYzMT1k<$X#W2E4^(9(+7`AUF~)Dk7Wi+8e8;Xz)%YN zFf5)jUzWo~+jM4^`tnIIES68dEV8JJ!k4BfX2!2j%f*t)c0AhG$_c&lvHNlQr?E-i zF#4HGAT{bcd1&KLql}+HR2>Z$c*Wi2z;3+`A+FaPA?l)!?w#}&O#EJ!7H*O0G(|Z0 zHwe_-pE%ZhHMYYs;YnqFS5g#2m zMpz;?cU{DR5MdfFI(*^Fd(|ykVOD1MQ%d!w&~J&5i9ju^s@a?V3nVw#Oqa}5L|(ym zvj<-j0o_O*SMx$crUQn|uH{WVCZp>okAZKBBL#b=Jz`EEDQSyVq@mK4w3MH3r?(&Y zO$Pf9r4)#Um-Hyu=SBL@vr>L$mUuD0_Um`6`9-JgKQ!o!UnD(m}*J94|Ah z&x-P2OA+M?9!d#U?ANEL_z}aaNQ}yGut) z=ZCcjh;_U-fAkYerMj{>z?qv%O#Q-#{!!bqpi1>=eQU^|`jh#5zWmtvlnP6g{KXtg zoIbzwSDJi#O{ge|NG_G8beI7hi3NQLMPnQfXdHP4t@Xm#N(xrqEfsa)TkRWtV2`o35|~=Bb2_?TmJ z+KPwfzT%)~!;>mqefcZeZ0kTG5RET+IWHyMhqEvFAbZi}#LSvM&rOdx} z+(E18bF<@BIE@j|gx%}QALea~-;PNVz@&}9rUqW6rL&<~%RCVI1RH>S?)fy)BZDFg zW-FB78Bc-^$U#3s?!vzsgeNzIxGNT1u<`W?RYb#X=!m{XN1?9erWL7ao;*f!D9EVp zz6OQ;{$;{fsK%iWqh*U>dvE=uhThg8`$z;T;|H4 z-9|hU`!paY>rKZ*3)stA2IVCEn)T?7dBM9Z2K$40Ugb3m1V{6jH=_h=R`3*3Du{fE z)fiw|fZ+ye|N zeo9~iOqYP*TBTWWE*%$gC1vhSoaD(bZYX`%7-*7aG5!x&kp!m@UH*7dLjBc;2gGx)<|{IwPtyrDHulC z^89i;GCxgF8c?Dy$|A2Eml&D>vb~rI^Ds4qCZ3+9X zTNFvf!$wWwql>*4KTg#KbRaRdb;p=LZ`3Ryy}2gv#7}#<5|Yx388*=wa%%y4ALU#> zyjC*_^SlR~O?lbc{=0K*d1{1-Sn7~2vJ|dDaX7enz`>wA8rB|PKzCYG0G#k}GgBze z93C`4g3VCE#MpES5pGS1VE5=GHGHX3_$0NDp%&GxBE7e`6~>kZ(6_GN;YCz$R{JX{ zgUy!5-AvO~CDM5u+HMIeKOC}RhEbeSc#KpNr47^!lr8~sjL?h%NfW4O;=;3G-mPYH z8ZjRH+z(bEfgL8OM0_$!hP6@;f1tC*mW5ADp}sP*{JU){y1^*9-uwS4#WJA@XI-VeWG6@Kj*Vb_KpmEl`(QGtB;uIt4Vg#R@H9u{9&G zu*(uPp*s5$gpFw5T8{4NI;-6&v6h#+-J3#Ca}FcIr=_y5i^;WNG8MNPVT0PsA4`xB z9StRP^p-*MH3M2;hqpd1Q{CSnk6+~^i%vI3UYRB18^t137_eiYVL=(%x zxnc6;I#Pa-)&y03SVRbkjme~I;{Jvo7P=j;HyP(_h5npCJB?4f7~fem)?I{mktouk zq0;572bnF%VhuL5Z3{U8(RAGgb5a}X^m0+qELJxuu1DH)19F$@BWyLNSK^C*oR|?x zD5ZiO@KZ$UaqW9+OK&w^>f5n=ARFBrsi+d-{Oqqsl7c&>r?C{I%&gPX{9V?ifueRh z9&jAg6wj1$1-UXO@G{DMA`WNx*&m9hd**T0)8d_Y9{AhUi9hHp@Jc{=_~cH}!qB=` z`f}Wv>@rI?WZuw}5g_47Z<&i8@@W;}(@pzySxK0&tTmZ~(E#=}J0~GHKPX#wb``m{ zq9K~Ll`vZD$kJLDCxzG)swA0>+H@8hL}Nm_WpORESzEp=HUXrLUYk zu(US@ppP`uX<8iF9rp#~8VgFzxW3#CsLopMz0xz<1O_Q7n1=h*^PuZ^R#f|7^p=#Q*v3gSBy*^{XngA~V2P#020RiY`(k%;-!!1u_g8 zNqOM(!PDs|oG!!p$U6X9!5}oLa8{Mkw-m$zAj0U26>2F02-aj&zyd^P`MYM$leK+<(*Ku{=bGwrt|rwfYAQGC;W3ti>0YGavDm4{&Ss{yG!p!h);<9K2YMph zEy{WzmLNXFmjKuw0c6bJZiP4dm}<;xyUv|K|yrUr-!Hq&>FL9 zOFmQ`$ujgp;d0{V4iC=HT*;qIz?QJR=3P|Br@NST^O;2?zWVj1Kf*+YvdyCu=Z7sP zoz%xB6ib&ApDX2n_vV-XqR zRO4Z_VZe4^zo3f~V|p@Gy5F}Tiu6vXi1TYTY8qO(y;*lyM|I}iS$Cxf4pruey-OFR zO_N%OGKYJlKzLVp4tU*~T-`uj5LFlKxp#tnr)*f**#Ed})TVjl`vj38H|vx|vj!#3 zKM~u=&=*Iigrj3gDk>4v3QGw=G&!>o4M;d-b~cE6Sn!ae7jP|?Rpx0 z4kn;|QJ!)gp$NWH&|5mzANO|k{#j8;boz9ERbc>DI3LVv^+XJ6UdmvpMAUuS`i zw0$a9C3QlRFz8Eq)l-jf{F@1x?|}GT4Fg&J7(}^Af!{TZ4tee%2|Ulz6&!90kT(Xi zF4}CZrNL~hN2Y6PRBVJJH%ydwsI`dXynv=r2{E-07s@6gIwN8_zAKFICH%-~n9~dD z0M4yw8O0yoXJOG$Y9(tuVkCMjkuEjR<-?upUi|rr2~l#w1EaR@$u8I+#orhy z{6hXTAaULF5ZIdO~w ziq~ZsZW-_DM*(X~AfnyvbLR>HjkILV3WDUMt1OGw`Hd4#LQI;9o8(~o$K@Z&sH_R# zg$zdgbedcwB2kc?1@IKs1&~Ckil5C>3!9}4m9H-g*Iuogmh$$~s~@zzppN0iF@#e{ z#(RTukxC58TSeGpEX5oS7Cm0%_QRG^w^Hv+2oh)x zjjZgUGrE8FOXO!jBtrP_eitc)F4L)RFM&F@5Ce|-!2$f%U3C{eC18EYF%K69mzQ`( zNSmQ}U631hmSEnp16S@decw#xrK;8q_0ytaAFS8Tjl|u~M&NP+QofYY5xU!Hj~b&g zmzqt@;S}-&oc0`EA-piuJAiP$GXh!vJT=57yQCq2$dKn+&Cs&RSja3)`77VN{ad>| zgLI&^^+?pcNt0w8&R-dD!_Orj}=jEt~A>_1Tu*V%^@NxSL zdX3CQVNP6MpNC{)p2i(htkUHc*?l>>*|Upxb9NR&JWczBuXeX=4t2!$K>hB)mGZ&>(z5g$B_>}?UBl>H}vz8$Mb+;(rF(sC{s1n zcn3SKzhejF`g8gaIst_36+{M16DiZnZs`ktZwatRjrojL7(@e6P2Vrg0Kl+g-yYbO zyZzmCAU<+_2w?qkKaMUC1=WWF#k=n}tknB)JUoFB9q^Nbuqp2)ayI5VtSI2RH&@C+ zrc>`sV)n>-l;jANQrW~Y#rf&SU@c z6nttilGrjPDFm8Xmjn-?ayfV!+%_}+UM{gZl5!<_S@A^1BexDBrT$7BDRdY+iclU| zwBPG+egS0c582$^`ipbcRas4+qMC9zuRbL`$oB-j-4QHe^OdzNLRcfDCJMQQNx%fQ zjDjA})Lg(}*NBDx{n^=>|DFaczpn}Y`T5U1MQy6iy7zZ?-4yt~)r+$Y7x95f(S(^C zMHt+=00)A{l{#lNE>s5FO7gG{**`7 zrG;o0x&*4cN7fA!(FPk6jn5ue;klME>==dvXB!jj!3jX7b(iy~U8TizY8&h@xfS>R zL68%hZ-3MnTeU(=y)kz#N^K@WU|WhUCn5WGv++i5etH|Q3Uh$==-9k$87&j>YE3ilx)ZUkQC zbZ0|>^0aSfjs*_A27O`V8@_WntnK>5k0m@$?|A&x$s9}XWO3ye9MR-k>B-Syd|En(B5@Z~WNyfC{W0X`3z6kPb6u|G7|QUl znd|9q6yj-f&9`|jI&(pOph(iT?{H}LcQ`bV>(3jH+Fw1G85^)^zzzLo$fWqwA5=~x z#f=)%8o&z8{UIWm8&(aSJ7QwSD}}J2C^$l@pJa@)9qKIdh-({NNtR3=O`h~K*$^CT zL0^REr46FRI7K}JOrUMKiK&y=*OQkJdV{G*GCIrB@LOuQOWZHuU2q%BRmwy`5=SE3 zHms?pv7gm5E7%kl4Po-V!33Xx?Qa1E7M>qG(k2TWtO$H$c96AGM9hKl;NXnp_UCXH zZ@en+RMdMUnEAh`sEOY#$PgW{iN=EdD~Z$c7u;dq?huC_Y6Pq~^3VAKm)W>bS`2PU z44*n)X+jc{u!Ie?0mKc0UwgSGr}t)siTp>@>O4wMRoR-&NyWP2)^lrSFBD=l`*O*u z<3TpSJ!OBlCk5bubwyo9X6F#DujB`nd?>>2Fg-28VYpCi_XC{TZ2Bjh`d44}tDZ5> zd7LnKmr&nwz~jb;!|@53hiQuQM-St@AWGX1NydcJ%;~HCyd@7irvHT?-324YmgXIatcYo6vlUf zySS=&+p6?Qh@~$4^a!MgVi9}7o+?vjBpXdStLHH`Qmm0Gp+3+pVuNedw}(m@aFPa& zCUF48bl4~Y9Z1TAo}n{c*}zM|JOme9W5Aj2FPG;ov`!$ZK8jwsZ#-e!@XR|dInGX7 zTQ+JaJafZWAtRsL!Ev#E>*ee(5Jr3lfp-Wm3-f<5oF;(QzcnUcnyDFCmPD^x(>c(i zNk6z585$q2iWFIcQJ9vhqzA^0?#PmRl+Z{9W6;BvB7qI*l_<<%-FET=*0ZUH(K6<< z(P4B|DvQO*;Ml9+Sk`r1HAP2amdi_T>Dd+4(cTFw-YlIT>!&W24r2&%MJ&~bQp+}S zG)nhT9!8Oc7FaF!s)W~R*a9Kg-$yfDu-_!nQALr$5^3fGU{vo#BDuOrZpnt;?hOj{ z75P#$a@t2k(NRG}Xc~hPZb7PTR%a2^>xHu30q0%v`{(KLdvZ(n|0Tc$Z0nc@PT}ys zUV&xNOGri;Zu0h^2dQHkm!$R5z+yV3ORPz(NG!96LCb$v;re`U=w|NrnSM%d0HEQs z|Egor$d`WkgpWX!{2)RWk}M@p(~ma{m4>#AG2hn_-B4u{ zx&$={)@P7#2#x0djvmK5=mDAky!EoO%(1eo|K9pR8Iy?sL`?p*_DjeBjetv%oZNG| z+?_>&y8ONG>n<++A}pn3MVsEK63`GtlHM6D+*lAKM4w(74dx&G68wmCL-hIi z3hED@UP+}vj0HlHNd696<9LU(v#|fU;PIWV`)k|=Y(?{Gwo=4zdV_sJr|6!QERi%7 z42lE=f|7wlbIkAl-uRv3i5@4B92-5Yl3?~I7f;=83b@yC=_raH{G$6(_N{mcU!a!$ zJO7oA|HWloCGII%DqvN|J*v60=*!d@XJh4)&FDJ zYlc`KFk=med_2d{KV-Fmyh0DY!^CP~9mQ%WDWh2qVvb|hIv-WFw4Wja8jpGQ5xm^c z1v(P^kOmcLBkMXJ485)C1#PtmY2;VwQ^HT?5M|B+n3y5#B%#8}Io#n}pNdf#YKIg#J4$obQMN;Qts7{~4C1sk*;l0hyKz>t%R>ID?a| zOlt-F4=LfM=Kh+us4zlh`cu(cKT1UGQ-1>Qx9=1!>JHUI z(8v&6!R0h0;2k*LrTqW)U;Z;3djH6h-vmX48`^z@Y?nXKu6(*KALA$S;V!ZK@nJso zx02218>LHV99Hz5YS>rZVJND=Y}V0mu^yTOCvltuz!?j-@{f%Y-=9RyP`FDeRpcrx z-r7?SKCM4#aF{4RDJfrY@3@G#4n&B6A8vx6af@!bN%(|YK@yCLd!|(1POI}2xG4UL ztaE5*KHmx+=fvzL+Q(YC+ph55mGM{rmB;O8gjK{WV6VQ03rI?uoelcT&Ts^(WNY>w z9Pe;`Ap4(BW!Cz6)<(tOtrOA+4xj?}&(3Lr_P-62?Eh?-U}NtJFf%j1zV&r?|29t& z?ut4CdtQ6qAj96E-iScZV&3oyAg=tyk$cX&K*g7VATW@|5pTqEGtkC2v$6MYZ$ywi z|MFPkG#%LAdGqfObQX?3_l80fI^_GA;fM5qqL)q%jyG_E+D&Si5iat2| z`_~8_CAKl`!sLVjah#uwe>MsmlScW~{p=FhZWcJ=sVFPhX)SFo-A^I3_8DwOaS+q{ z8uBa8ku|@gq*=(D#;>stqocE(uW(&APbJn(rY)<22frD@Ng5(d0wmviv=c9>g0;3Tgb?hE|K?ETy&`M0J&239u^TPIwB%uo_YGL=$d`Wqlkt zg~#HYrdUB!w1|?9LbxfJQJ>?K(gQ#VNS7rnVZR5y%)V^ltCgf{TxaQ!=X}R^QM*K0 zPm0;n8VI8TX~#Z?^apVY%y?(|a=t_Pfoy-?cUjpNS((-TN+DwvGJwgy98I+UZMtP> z{y`4CvNA6d-M{7ayb53@y$FEsyn&AkvV%*rkS2~ZCtV1D^F-KgzP*8zjUygzKfd_~ z6hFTqy$R9czP=qe-R#2df`OdJ1p2>|Jn!*$mj8lc0GC)f|9VI$V>A(f3fjL4#pHh% z3f^zy_CGj_zY7IBpc_&28Qj0MD)Np02SX2gOE5Od z;uYQpxS-kheN_85J$KdC_V{$O{||eXL4_X20$MY20*dFY>uQSV_Uls|9-_~j6ZCh0 zpTkkK8x#S@ch_vE*Ww+)*HCw;OC)Ye0p81-%NL>7dzT@G2ehu{@9i^=#wlR=X%M0# z)b(g7a394V-dgvQioikxGLG?h^1&rZ7Rtn1rez8i8{QVc|U~S}( z0j3jRDXsfc=5;_@A<9p^?8le-=h$`<67!n@3hT`Ic(-4wnq;L6VxlTdEsIOcc1W#6 zhnapLf~bio?|}CX)dh0>xx7jJi-QQlLvE(w!D>B1awr(;w9l5PmSMCDO^*nDnx7F; zI#jHUU;K-mxm2e6SGZgf6OnHT7tVQRIrhWhac_xUQGDh(THa4Ap5@voV@4;`974CZ zO%-m~JJ@k8sa>vKR+r&lWujuC;ECI5!W<&P>89}M6LOKDJrp8>WDduvGGuC1bgjkc z5Wfa~2>4KC1n{0Y6$PAD7?V9NTSKyH_95Z#va9%ixmO8=L9?>6R4{NbjP?FI7F_R* zA>g0W{=LLHYcL_?us4d$9^^(j6i0pHU+bA_Dlmfq8qnHW5vkgcg&Dt%exDR?2pPDK zEZ*W2YCm&~9>Vl`9h}}7EC0Q%Cz8SSr-3zNpUqexQy_LmP6Vj2pKpYF|zC^3G6yiP-$Egt6=pwu9 z=m1CN08cqC92VB(B2I0^*Zli$8{DnsJ|NJk*6nKHKgC{Q?7dgznNu zatK4<;D^6-tIplfS00>bSqc=1U&~o~##UXF^t(Spnzfq0b8*1+-iYG-b4QUCILFHN zmkL&%W>;kfDlxOGNdk9icUgcCu(;G2Swf~s&MlvKTdw;sWPhLM@CEehKIV49Qizq5 z>pseZPQnT*{XQ_t&;7@J5hM<=sbLwE@Nf2p@P_A@jLeRFV+y*D1pgBW`_Z8ACY|T?JKy{zJMUwH(kCK zuojReI2W^bvgQBhR7;)ik_H$0J=GjmwhfVIKSOgf<$GtdN`UnW#cW~(l`BUiATxwg zM`?tx#=FHk#WS11j&Rc{Ave}OU~Dk^XQ=qI96FEs^51@n^wrXHPZ%!r~s6o+Xup8a3L5&q5$uFsSM(Cv!*?Cgs_qruOQTM~wXiU2RWCD%BsA z+VTLCvcRM|9XHw-ISZksQzFkHq`wo5sWUAmrSb@J(c}5fQtr1$__rS+`fnO@PW(UI zGO?~=Xjv2{Vs5PIi5el&2(g$=%zrMOf}(;##p2S6cA*J-Cdlii5ku;cjSL$)rST^dC+Qal*WQHvwkN zDdN8Fe+e`lT^#qnzkuJy+ux!EGXFU<{Xe2LVf}Zw|L3*gU*Z0TYeQ4)W1LscZbQCc zcyJ(y3f8~2c;=3z-`)xOoqfW81F_r)AEKZlve?#Z&2~+9d!|R(3%Nc?fpP?FNl>jf z3~KDI>P8)#Gz&K^d%*zPUe&VUZDG;dU?V9~Laup279lDw;Zuv?Wplo;G@>*oX-fOq z2~kA=BGR-Kar8UUz9;wp3wQi~W(0&W8X7?5Unzk`_P=CI2KLAQM;Q}HYx37gCpPxI zKQoBXivV%YeQ-x$VBibr4k#q#17sK!Jp8R7A-D(u_!|`V1C$WUYe149yI@issAy0u zNv7#*_c;-?qSUvCagjjN*S_x8;DXn;;I}s<;^coFx#{mkykpS)KCby&daJWpNk;CGd6TWYgIVu^5i1jm!6)S82Cc6kYm$pz^ zHgY!;x9ljQ{z6anlVcX>wWee4+O^H9cyl#Iow1ZSe(iT65S9i1qmQ{`YM%n-r$x#T zGsXBZD-1#}?o0@y&*|L0ntr+ZvUh4fzfCy+?gyd{mZ$g*K<{ub7LGr+J*#K_?cYGa z%Nl9JZS4ctBEMJYFnpr=pR<#h#qsQW+RjK%h%vf;SGRf#k~HB>vgC>JUtN=DkKpzz z7n6iMLz7o>5=d-!+P0ou*`2x@Glix5K?k{6XbdWId6#oLR}AdY4P=XV6b5eJ^_99z z^COg@6^H6n!@emu-YUb4D$FNn-zx{9qqP!dNHr-Rvp;ew zR?kohq@c1m3?@+fk%`MLZ~9vdKeO|hij$prfw>jR0(k7q!PELF>C^u&(!MgRu4T&> zcXxt2gy8P(Zoz`P6WoHkYjBqU!94_b3+`^g-F?5EW8Lpw`rUK-{Y$>&$F8|*%^Edi zE*lML?Wz$Z1K3rvpRk{lo4F}W=v?qRUC>paTa%{w)IhmU_A}Z*(@Y#czf#jzARW_R zt@S@MwJa>NEKEQ=3u2%Gq$dBMl~n$fnoLRi&$QADcqgzmpL0eQ90tOC6Z7P5{XL!s2 zDWxgl%7kmli}?B6pumb<#yUh$0`_xAT`DOU824jty zLKze54k|}Vsb6oOr4J`W3t!DmM~6|)p}%1zXSPqfjo5M#zBRk>gOXSyZAZp5{>M?f zj_0z|hf5lwOrYrR*@ukCr-B#mT--Cd6ZW1@t#R2!RmU>5^d($RZ9mg33Oxj5UkKRB($v(UaC#y z0{8h1Ba1;?s;spzDZOv|1PRlR2L-oQ$}S=_d!rudF3LX1`-rCepr)mul)y{}DVoBO z<-{Dli+3)J*=g6H_ny}CPDuNzpTqX^zTiE8o?s;|{d+Z;fR2=Z!vakIz$wSVGRac& zo9tnzBJnM6ECwg_e+G4b26bM51T;u6 zu5V~=o57w@ta|KI?;nt##pQ$lYd`%pK+5{}4^9@g>Dphv9Lf;=zkWLUzdeVPzx5md zzJ8#o#!o)JpfE2i2qwy43>Ki2h>QbZ2p8b~#t;c3`td}vLju4PpyLeC>4PFj^2a+X zWNLl;+TvbAoUDKUrFEVVu&wv2<;=(yQP(yaQI8{wA z_=Y`|U^W{cueQfHf8m?DQ?CtmR zd&Zeb?4mDaa#iXbySo1NAUNZL8yjOOS;_Bihl4zbv%Z^>&jj1u8qh=x&1o*ai5)(;pDXhP1Vni3!tc=jq0W+G5Uc~%ApRWNc1Q0BFrw5*NXTW z_GJD0w3Zr>+4*ISIb(pJXAF9TGR^Lglb;oc^1FmkfiW{7d2eZvYi^}{{{dAf>=`*an}c&*_>Wh@TW%EEd<)2MozoXZZsqL5?1mfkTC7)JPYPvf?t6y)xf zrIb;=YgQfE8J2q#99-0aB42|^LBqy6LTig=!7)`oFZ~{z1UXqtL$u+JwqDk3*=xK6 z08>|wv7eJTT1SRDd4)sAPe&?{Uj%pP)~jyh|eO%-UYa(J!V30_AiAQRuT-NPR4aIp+!G zD0Y!^83S#fs&pp!y41pXo`l-Tc@{~>}KISxttbjS=Dsl`g0B|~{p+jL20#d<(=zHo@F#g~+qGf#BUt9Mp zfb*YNlz_IhUy?c0dixLxjSOL~H>kNM-${>f!B*^^FT@mLC@c=HU=@kh>PQS)81|kx zg<_PWYfg=q^bu#nZbWx!QT&b*FghF=9lc-S5L2ORSydobKfKJ}q_!1~I3uH;VKtBW z1Cmdmb@{uYv%9p1-juW0&nT-|2mxQzzDSabQPV0SYcl=?7Ohbp2qeK#D&Jj>juSUX z1fSDE%198(fzR?bT&U;)Xv&PqB)Jj{Xa-`Z;-a)-!0P*w+zRBTP zLI-~08&B1)jHKXj3Q95T*8F}YHKM!mo5%vfDMrpmVMh*Z-edx zp&`#yx)XN|V333s=VoJQA@)vnllBD^?$|i}l>#!o0%TeKL2%f4f=Q-_5d&mh9SkvW ztJ#Hf;1PWBYSb_jZWq=C#mNC>L-3dL4G$0`K($Fk12dXgAoA@lK7SKZPV!Dtw@XG> z^N0aSaRdK$M}xkKvuEi8Z>VzaVef>??vCy|t2iCQ5>XfFVbZT-XZz>(^2WoLMk8Vk zU0?BM>WkIQk2}hbNv!~Ajc>N01aBgD3ZU0*L^sJzy$i^A;3TbcK-&vjIR*1OGs9ht z#nqs2GSiNV2`IGf?+bK4qEqkdOLNdvN@0e^r%%XPRjNYeZ7VPMohwTbOUqMyDrlYM zMd3>jjd5bOhAEU&;tz!t16F0 z=*fu07Nhbbr8*Xy;6WMtv#5&Y`jo6_f`N1@g+t%Lv34J~r1 zHDJ<#SuIbXDZZ2QFdsGfC*EDiJ^IRiFNRX`Vp@Dk^QT1%Ued9F-hf+E&km(v%U(}a zmS`mtNA7HTPu2Y16xLGMayBu%5lV<$NZ)2K6n4m1lx?7zTZKZwpyzhWpeUrs$ZU4^ z+{rkJS@hZ6p7P|R%vjhpoja12@vPJ5Y4cODkZK#K`=#6}4*OIdn>EzUo6mXl;KOV+ z9TvedUSI`xs`;-K=atI?6W8DOO#DUF|1RggXRKHJL(WwM5mJ!}mHjJ79tH|bk}Iaj ztWBxs78J84$*j?IXm-ZRtcj5Cj6Poa z{T)x=gxdV>dB6dnJ3c^lHw6IlGX?l>FCcHB&=GvrdjvR@ph*v;C=V3nKyioepbeLh zV_Wry*ZeX*B5dbuAzmPiL?IvGq~N{)K)7{YK>jpM4;Wbqy;hc2t^@xhW)n3k1m~}h z0=Z5lK#dTG4U++%`22*?j5b1yEmW>0`qdIwW14;>-yI`neKJVZ$k`WbZ3i)i!;~A2 zEoR|Nu{N~|_AX~%wg{dAsXh5QY%}o*5l`+#7#K66&|_#MyFa(=i>GW!8jYR|%+>1f z#2ipFVH;45>MJRmrJD&+FJ?dJup|_u8z1bwRJgC43IpMJtM3Wh_uXe}#Kg9n3uiXKZZvY^_$O{br&KD3>e-DUD zWMUEkk>qssEs_3R=iLj)C3Nru_z|*igI@u0pclAeHD3yd#n%vYXW~twK~aKI;8Z^_ z^Elo>kVPwG2XVdup;H0I7kyqpc5ZMhKp@~r;01tiBpBlO$G{Rh4Rfj2%JLde|8sKk z-w-@?Mt{?@fk9ZT4=KV7#GKgUay8V8IO8xyD8EJUF;wdk_9h$>@kxGS8RAR9ecb3| zW_iNp*^2_Z;o7$CXc%)Dc=R1L7NL2tmQXWuEszp6{lQMolFXcH+&MRVENEJj;UGx4 z69r*I6NbA8nu*rb$UIi^0aG{Eajc%XX%zjo5=OH3PAN?J{6%S2;pHxQmXK{wX#!o^ zq5jBx4?!+7{}>aeYa>wgr$dZvi(qZw`zz4ad_nlvs__bZX9CXB_}kYO;0y}(U(-+^ z42{75Qv1l@iHS!3`!p2I|CvGmOYA$q!ASvdFrE>4br7$;_;zLifC3)|z)!!AXapJu z*e_zkf#yZ<{_VXl7%Tt-eV~;QJo*oIC67`Y;2`Q`&?Q9UUk_Wm=~LaWpqWW{FDF+Zcy(+CgUHUK$j*x~)7ED*ucKt%Td(GA zDg`@oS6Z`=H?^1n68<0$0p0=#3u#1}e(|3e650GWmk%5<|>b7#NPA zGlZ>5W0F_`A+;nfRlDEfZ2&Tj#1(O_^j}-bD_D~WnEU>xuk<*Z(l{G%(h<)!s$<`wyy%?s^Sn^(o}Hm^Q#gd-xLl%GSK1EYu!q((c>h=S*R ze4DPs*dqlFaD1N3p3bsy{Ry9p1QffyJA$+Q07T%I$WVVU+JG=ph+(qvh ziFegRbTRaW0FrP^GOW)*~&Q04#*12yg%NKL+20#o|O%XKYDQ>kK1$?3)+EXunaaHk_$n>ydWAyB?RUs z9{s_y-E=Iht!?t#w~>QU_k!JtMOR>=1P-rE3}Iq^4G{tvg}?voe|PizzK#EQWB+&C zSb*^Z5;oALaUwrCEI}*usHse5nw_8 z*KU*gKOaSZN)#yqXTO|>Kn6eHnJD;yNbn(mZ!3U181Sp#aLluu{pvWQ#B0Ew;|IVG zed+J;fffaxNPx}`9}szfzCOS=>IE24(T5o)R`3Pe{JjMM05S4^ViU5pP>k0q@ET-e z{Rb8JzdG(;If?&G$Grn4ZJq%CSEK!H+5bbMWdvzG2LL(&0K8bKKi*rP5R+FTcudT% z;;+BIMWdpbfKzQy#M*O-Q-jGEvBymy1K4AUDQyk%l7gz0W#FS+pt#;hY``R{ZW_}_ zmW{~kn!cR8+{a~&6ycvG_NV3hc5`L3tx!jbC4QV(%cw}iRrW+OQnredN<|bn8G|pe z{%$Pyb~j*WU6Rs_lL$mt9V|=*ygWlG0NYq{{r%ZSl5$(l1&Q?AVmi1E3vXgu`A3Fe zJG*l$D6{WBPOiy?_Gcx3qK5Mm!R>FjVp@A>;Vw>K!$`?2zV^UhgJ1ukiDixg<@#T) zcgbL3ETUX@(AKPSXADb7p5Mm-a8oxg@@o+l#@Lh2mJT^%4<|7YKi3-u8uF zPGFKC2_ajR;#S6}`f6}TXoH++O#U7plH9aGfi(T{-f1C05)1t^xw5Vd5_@7{_J;1UOCe$e7?|t7bawdq z3n*gOg8z5|B2xT6UvbL?@xa#>_Zq0;`ui3$zR^EyKtv51DW+>3Bk*pX>H4ZDVCO)s z%5?@aBuNYIEu1>c3D9BIGsLc+K*~8vArT&vdJixS_xkAFCqsY7YM*=QPXykotZP}k z`*WI?S7jx3%|SQ5eI~`rvH#SLNMZZ%nhpAbb`?^0Ri)N2)Gv;xiJDU=h}L+%djk?{ zWh6)7O(MvhWfFZ--9SMIy3IB+3SzmajT#pE2kEMOEYn#zLu9;=xbBUBwW~0@{n%2N zW(#u>fUk%|;VU%(e$n*bk8-wua0vlE@S0!RiR!PLDo}K1Q~d+4fd8_kzxi*r^vIE> zS8VCQA0B{cGZ+r)H@Jy_hJb)G4+g7Fyg>xCYzU4Z^c)Gk1M2VHKGddxLrS1T#DTak zjQ;lEB8ZN_I|>VU03Q!HI6$Dv^pDnu?JW68ImLJ&nVfW6B`MB~_SQtLv!a}VZ$ zK72fEm{YC~B}4^{3OB3dCB#t@=T+@H?j0qY332KcqTj-yHYG2>X?Fj0W20(}gy>wT z$FgIEaE#Q0yzmIep|RcD_QX6fw#B$mGHWr_*r5-oO*fKD>>5Q&%HO@+JWGp*RaaBQ zJildc6M|f;W8FCmXZ!Z$BSPE@DT1NfJQT&IQ~$^IPJF%l3Zr`o=+NF8bDo;CTUlgZ z;$f#f6gHwRUXT|s(+35sAm&D|&H7H-^Uqq=Vj?TX6EJUbs!yq_c2l~rCZvS1ufPj6 z^=piZP5z*7lw?PkX6D zNgd@z%?`3_N$mm~ynSkDLd=YsO(JV%1rs^}=XDXp*LKirkdXNw^hT!X-ws1ys?>-D zQbpx=%lrT8G{nI{2BxpUnRrl!!Oww~G=PBy;ahgqs%P-v2Vi&XVEjWVZp)N^4eJ00 z_5EA-V`l#Qz|ZFQldtdGZh@3hPItX29e8EC1yhIl&8G2}3Sx3$&M!^4F+>|3dAZN# zFXmmv1JJA~i%ByociPv}wV2uyp<{@z&88*fYVwJ9rrOtX{Ookn7~c&4$@7y>VqF{W zjMk*Mon^Ug;S%)_ov$~T|AH@P1DUk$sL~Om$g)uoWsNkjHGLLr5GuTPIa(H) zzU}wxC>2KYIlrH z1`AU)9C&!hXQHZJJv10tBjKm%Vr)778Qh3x|EBEJD)&NwuYYuX6SE$ISNB?fx~2JR zwR;Um{*y@QuQ?8a2*7C{knloIbkr$SXB7?gnO2Z?zf{j$MFL2HPNlP62)&;EJ>tFR zi1J$K`?zfwsrBn_P+D<_@NSYyzQqKh)aG~RadtElRoOY6wwWyxt zD!LwJ?+aA0gnRNf!NTF-=Q~O)0toj&i13Aw2%)}in^rL$`a+re)7$%j@x=Ol?*zNS z)UO2B%7OiW0uIT124Qy@PPCQ|=yFemsAXfFW&MJD@vMLIS}|V5oqzvone^99qf;2_ z6X-;X@2bvqK|)ZeKJ>3+2*Meol)7mFxQ|Xyy#mrywf5H6;~s+r$X&@;sz5DjrjgB! z2cq}Q&-_J(N%}V$9XX9Mau&zO^R(F%dIyv2(yN$eP%iIhivPbF#5B z{`oiH|Nirj#9SPIrW^jVwKl3AniXFQ`?efj=t>uA;&6}7BT6?9-3UQE)gY2k^pqlx z!sC=Ll#ossB@aR<6s4ZTWTEu$Iy2%W>=2!sF8|E|xgKCqgc~CN@!A zB#{dc_j?KuxHRcLL2nR&c47vBb`W~_2vCfDi2H1UoQ1b#*nL{Sus`fcYJGRpccHXxe}p9EA9!d=h?B(23a#2%*yFV4_I^zrgeL_Y1OprU=L;rMtYa{7jy?)P4y^E^NQRv&L_h|}gFPdL|J4f_|EX4voLF7#+AvZy55CIt|bH5A{pX9!XVKBz3kmhH| ztBnRp1r#u_CN@r?PLz}-n^2w+D1VUU6QptVDG>ATg8DvOR!=`W5bwTofeudLT z^5gdQCwJF+7ULSA+&Y&LZzF%P`y;3lDk?}1 zCdfJ1(&h7VN5>N61w5Efnw{0zrL*665No?(-#Z~2l1702rxig$6cDrxr1Q&Xf~Rj? zkYJ$fii~Lbh}8jI_JAMWR>AWx^=+*_5YzDbeLl1T#J+&tHG#EvwwR{iAzbc&!+R`pFZB0B)C|bCV0RZVFraP_Jz{sDf+PkczQx5L9j9ZW+{Alp(D!s2h^Fw+ zp#bOACGqFe5kj8`-{(`<4Unf)8F+769T?wdy~6ZM_{#u00bjtF2LST|Ky{g|`BEtj zI1Ni&$;|Nnc+-ymB7nb*;C%72wDrFEWMGMDJa7#O{HVP`Jht6b9o-Pz+4Y4%O~l`} zUkJ%`_ey~**LFyeAv6jJ1GWJm!{oC-^qj#)MU9XL?i%por31n%==}nyS^@> zZLE0;B5u6A-2E)g$hf?-n*$3I0U`(kF@Se_lV+#h1){fpEV?Mz;th-2(GMR$W+wvD z`12mrdIM%T+x0Ce$a<}~Z%3?lqxRV_6vkcl1R<<*^|wrPs!+NMj(2xNPjhsD;UMp= z6M6tF)(iLx?%N&!#}h6Ya((S%2u#GYco`rH<({wW{$}EtN^qOQ*Xe%l#nmPnW!py? z7XDet+bWb1K(u{p?GK36OM1$Zzf-vK~pBsj@)<<;QP_6XkC90C8RmF;grpRHH-Hv8FHWI`>07yH!m}k z;}Zdxssyf57XLP4`JeI7&9J+lljaqS&2THc8q@R)LK=DJY+BtM?(b4p=PhYZuBh*q zkRi1lu0J_(*6~8sSSeI|$i{)<&f~~;;Wr-q=!{J^K1g(v)@*hoODv1ipx zjpE9`&!T5QynYjWz@J1zLGS>3K92LX^2uXJBwV45A_)E-J@R7%J;z&S(=Skdk`lKF z>;?`tyaXU;_VbaA(%ypn?%IT-*{qQQ#xU)*m87^SK6|OHVvfqWITrcRauI}mmbQlL z!$(Sfr@SEM-O6ZKHcID!_=tW?a`RbroCjrA@hXOd5B@Vcv~$AVkh>&-d$yee_5ETT zJm+&TtP>&BmJmaWUMbN<_;BW8(SBo}hV<;ivEF?5bZa~6jiJeceYEZ8#?(3Ab4X5< zsh*UqsIogB7Ug?JT9F16$QLCW^G86ECP+5uqhdZ%(x+3aL-KsHJl`KJZ9k3)5hl?# zoZ4+8lp0FwcV7c<^RY3MzOB3qPHo!1pUmI10*KzR;Z_+OHoM9oLPCz+=T?)kMU#o+ z?{AA|Gsem?(Xt!*U6e0)k~Kw4)lfW+W|1#QjO9?!{hh2Zbk2vRp)4SH^T=mGbmr4ulz5rz$L3{8^-w8;Puxp~^O6 zKpT?I+qxg?7Vy@LQ=LjQ>w6v#&!Bxq%dPWbM6K1)Yz;zC&|DT^jwWR#Tep_{W~I4> zY^%2_mnUS5=eiRkXBRUbTnG`cMd*gvUaLCsNH=jsx>oH}-bHMmH#%87_u|?IK3eF< zRt`wbl@@Izuk1-{U)FEe*3VJx*Q#*4g0GhQ?>wl4|Wy3d^*WN3gs37mwkN zhMqE`uL(P?V^6_$qsuxFxm}5ZYF`FX@4gD_2?>}Q=s|v>Sp0T;fZ6-4-&3Qovm(>4 zWhJuEMkbWq!cVDpMX?J>=-U0e-L>NF^Y#8NibdL#WBJZ_pu*r<7;QMt=m#0!sfU)+ zFBeUlOLuExP?B_+nA)sJ?#60zTt?|x$5=ZE>xJqpA9&3{)5e(y*FL?V55+(fujahwWHBk#vic_;xX;u z5>|mITbDO$Uk&sJp3_jSc0Q6g;$`~hfyWAr?ad|G@&+SVUS7Ept++Oj(1WP8Fnpy- zlqk(E$w!QAdo$~_ykTF(3!NViE)>bBivCZiRB$#9y9DYaK2j4I9%8sA8X)l_z zhg6;0@zp`#EKxI=mlso?WZ2hIWC)PDbJbtIT`cbldaJ;52Sm(EL4qoWZi6p;oPeB< zu|!>_QeB`*xN=;U7WLyo6!33?($*}EAw(b8im3~&aa>0H4s%Vag6$sXw7MdXvTsH$#yCVLQV*Zhg{h#&DU1%WpkIhY??I+?n4rlon!BLB~zK3fS-V#JNmpezMla@L!pU3Cy{oZ8epjF zVa>7u(Q0~MrnwkJl1$BvS@aVR2$M4w;d7g+IU3 zr)DZdTb@Nb3DlpW`}CmLBj@tDo^=A*w-#&oiBVFk6k*?f+;}lfHhgfQc@FBonhP(s zn)+%P@?Gn~8LKm>;IU=3GM7r+pAVa}s|}Uu^n@ihR&vtXi}_m}bxiG$K_D2i7sH{Y zoQS3VZ5Dp6Y9P*mqo-=b$n~e6$Ix7BJ~bo4++=(==Z8okLcYSgjft=lMNek_2nEAu z+?w*O64^~#MWUqd3(Ql3nuAU>dfjN+R!+r&WT@px1g0J>gF_i*0>1>Swbq?IHN-l{ zR}iazP8!+Kk9%C-6xN{zyG*fFm#Wwm5;_j;@svA;9bbz15ZniDIxIH3eCafrgFCuI zJ=9}>dagQE{3fE)f3_iXooeR&RREE(g3}|#?z7s;+m5LWF@9^Ft zVSU%$CsCc6RnWo-p-qqotepwGX$7Ox(HOJs6sPw_bq)PEz<^#~H8BnKT=9y;ab{lhkY1fN>`@4Er?{`%A^oZ=&h|bcZ_u^c z#|&{Li}JBt>j1wN{c2{l+4b2mJeB9x4uxE=K$oOsGC!xUI43J36S+VGY(ZK5nkFpv zWsD&p3rV8yYk6SwMl!uOX+)T2eMeq;VcGtsxH>;~Lb1}1O!*84=1z5ar5WUTih#*B zPjQ0lU};j#plRd#ySD{D6$=Sx%%CYI=LRsuh|C)%mqLw3RE04N8F?gU&qTV4E}iMf z3N%@0_on2p_3J~Rf;(48-)?TpJLV;QfmL1gqQ-NSNDr=1u_q%^IaBvB5a_$chT5k4 zajk{O>6(Z(yh(ZbrnyCO{>?{z?j6leO^@sZd_tL8;arRtOVT1`UW53S_sKq7(OL5` z=?pP6C9~$X(}T^3mBi`u?_;FjIVwgDF^UI|2u^*tnAoaNi<`?8wL?3^&nEp0zJ@;q{g8fU~*(u9$S^eg>U9&}d z0mrFSy6T@*OG${x!YUK*Z@HxUJ~h|e6yZt;j5!GGZyS+v1gsX=bh&KRD>u4(%*fGW z)CUjdUnw1UN`=kvv8;f%o~xZ(Xh~qCM^`zHaSR4vt>t8qtElRUS@>}utJjaPTWGP@ zBA%`dsD?uQoEs33YF(CHNXLP>uugDv^`Sbp8vkNWvglCDR%KUPcl`L&axp4VYC=Z7 zU{F;AFQtLx#2%YTej7QQkq)-jJ1tyRQcG3&Z4&+HN+Zm}^WoyhVceIu<|C}T*_3@& z-<$EmIB50ws~Ax!c1A+eg&_`g!EvITcKbw7K2e!`aVd^qPusk*>ob_nDCc(eRVS$X zXpS49G^+<8GQ_d1-NJYx1amHL;^%R*h?KG>GI$!8m7ZOQIP4j~2RrFCzyiC9#0>&N zf{3`aRhn&#_P`#hw?Qr--L|E0P{UM!A?j)OsW3FMv5P53@7R5YRAWHi(lS5E@MrCl z>F~Gx&+b%dyttp-i>p2J>ieIoUh7$l!+ z46`!0Zu;CZjUgCDS0oZ+*~a8>l=`_7RTA&rC~206=*L7`^gISMMj;b?+AVCX?)r>E zCVl0Lvw*_JcV}MqnZBS^y|$;1#nBHA7|IeqKeTn1kC@fQi(|71^%uOArkgtUO*YuW zc1k1l{k{|U^?7J8O=m&WS|ez$KY5WL_suH5S15lcK_YhqTFGLwsIryjTCN`$7nG{* zGt3jH_CC&Cx=Pej<2TY0ugf*=1dj*FI<>FF4l<$5!*^u+^^0_7LNbAsW@b2YzN2sE!hvzCJ4-+5sbA`Ia_>UHlmfCJaC89b3d`C$_d) zy;IePFf#N|!o?^<*iQ)a3mPN0d}iVI!9~uyAf7K9t4FM-eVwS359gcI0dUJl)9F3= zH@KBrMc#Po!tITlRTpdyahtRyV1V&6RQ9PZ36PTn?^;G0Kl#5h(LmU+QCmG9_g1dl%H53lu`YD2e=OM_zGqurmfBVCU2woX0b! zTjV>zyL|WAzWEV-NJcwmn<+2YxtQnASbu?BJ=LF2cv|NNWZWRYeBJ>LN(g+ten;eZYiTG%RJE!bOtjnz54t2C#IjX&s+TEvTePG-!(u~5++v}y2l)>Kl%tjI8{N>xF@F}PjD!DrQ4TA)`F zgv35YR$#wfK`dErx2QEcM-ea(i8mS($V;Z8^HM8bN*;OhBy!(ZXqR^eG`glJT^+o) z+}i)_a0&hMsH1Mz&dmuvF>+BHGwHyqFL0$M#T~Hviz3#kcD2-Prfp{ z#_XMZ0zJIdAKh3=Zp*WoO{S}g*Qx{ILT*A`X?VG6b3E^CAftq-=OFjTv1cx2NobCB z+?4gN7;Wt+t^?t~jrkmsVqgVhPzSsu!!N}?qly*{qL_XvRvq?HTu6$(L4Ayqt>@Ao zTrALU`9%99OV`xl&UhV|+_W|naS&^jM!xsW_iG76aJPfa1k|KtLQSi9tL#O&#`O~E zHw4~BoA+}vj!jllG8wtxMfARqS`>RYDWMKTE)Gt@gW`*q#NuJ8wa{||<0zGU5;jT_ z>edk#`{x&!%~w5!AQ*Pap_7ZaU($;^a6M3~9vrHSBGvm#M?-zwBIVYpBYkWvkxY8F zx~9VBz|fAb3|Xo5Lr%Q1Dq^aK$k}G7K85c;t5scKOSEoaMnlGPIOD;L03pc03*g8D2`QE5N(h+nH7d0;E0=Fk|iW?p^F5dV0Eov%O) z_S0~%lz5EyB?!~r?3p|BgS6b_hw+=U3@B92Dm7U0Zyy4vf>LH1dx+iql)`y9AU7LI z6$B%WD5T-h85q}WkLbxXWxiwy4qHTfucI<{ISw@B7R#EOJ$Hm1tOT(izlq+>i7{?T ze2|Z;rZ_1U=v1F|L!WVM^VWKB=sPSvY&;nvY8d|fT`A^d1~P>S;r8RQTEsIk(O3Xw zza_yg?deUhE4ZU=Cw0r0C3QB(PVJ8DDjSE!rVEid{L|@gGQtvDhzI-7ZM&^27GO@} z{k(!f;6W9~geHaNG2ZQQ!Hqe-W=!AZNWp`9$kM-XZXZ^PK1as>{5scLoj2P5g++mo zMx3q%=H0^{^0h0iz^aX83$Z{P^mrf0YCyIlg@Te%zZ*Rc|BVe9l4;8aEx=2_?4EbN=aYjex;8hx}mq0mi! zD8U~#jOynpDzbCleRiikw_zHNz8^C~?+ojvpB|hbc3|!3%^(}v!QQCMt0jv~%VGI) z>#7vl$-(=bSx5h^grPqLK^(RXsNs7A4x&KfX6kpEr@Gm@6&i9e4L7&ALuUtvwnRr9 z%z+6xiDeWs)B$?Z3qdyg8Bbakl3{m*0yh&~FV-&m@D~y3(d)R&rFREek}v-Hyl=-W zHF;icJ)mB0_B+oYm2%mmtbVjki@hcO!fKY2CmnF6q9(i*Q)aiKE0BNX)$e}B$Hr0p z_#96DV<#NX)8t)k^ph-f2Vq5&ahM0r+G4imW=#t) zy7sHepAbgWrZxPc6?$p`iv%gGiX4oOg3mPZ9VVQ>~qnCWnq3iRPn}- z^bEX^#x07OAH7oC_nlW-x~2>YrzcULyQ0BEo%nx%?WaUlN$|l<{p`Ww7IU!i%4#2- zp63!QJ<@_d{9x+gaB14m&$3i+m=x0YA?B^jNXvrQ8g_HMJyjeBZvy0mWo1#zewA}F zV@IRgMF&h{_HN|cC)a53@a6cLl752;k!J_MCKGzo$dSlfP%TKNfhS_VXxtl_DH@yRsD{cBZJu zn=4JP?b?rmHLG%9J~-gr%DZA!Hol)ip#j^URRr?n>EVJ z=5{9fm9S0JY|Cpr!{g~(ey9`BEV*#PO!6#On3t6x_zP{VxfXJz5z6-b#JPKOMf=6+ zJA~}Y6HZIx!J=#Z`Fo=PyhU}>ixeIh$inU%{tp5_?#3Zqzhyk11rHdH6^Tn|?Zh7C zV`E&X9#*9Z84@tpS%^G%KU6S*y5AW!b|aUcWxbRl84Up6d^ez^IfU)DF*{4Tv(#?^4m0{Ef9MiXi6NQa%e zXB4sK_OccGZ|C?qq(Asp+zyiGw3F9S8A!>b7}-&zs(df&b12+cCSo-6Jb6B8%Q+}2 z6ZWmJb!oSSXKSA>zc;^*^6c~tvEqQnRJ&S{{qP7W9fR0Xhg8!ROp>*$1Ads}Nw7`b zaGd*KRQBQB@il@H^pa)V`Lbliux$q+4q@K{+71yn?&OSio{@{>mPD8(mdc`*C0U ziHhnCRg||ZOv@5WWC6)utTO)E@M>IVtx1U|)5%MX4Vb_4^AO+lcb%Utm*eqS!a&a= zjehCCydwDJxV=?8G`StCLR#-dN49$q@8h>v_g;{KQ7(_zT(XABKt{G%2QVcxJI*Zk zb{uA;Zl7r44@Z1u)I7O3_>OtzH`gaKm)^nQy&4|x?Keedvu{)DSlO!b+GA@R&LWa^}*)_i7MX( zh_C}zaeZz_Y>SKeKADRbg!dLFh%Z|AdArI_y9#MkN$EdH1?=pbk-igQIl6T-|M{ut z*`OS%IWsT-GEhTLL;W&jT-)poUYhSBJ!o>|qDa_`)KD5ilR8RAB8h&aLSFtXR zj~gcw77aY|h<@Q`15RaD^t!u=2c{1KPIjFvs3z7yeVf(2nVl=1pYi;NwDYzxeLCy| z=JV@6Uq0k95GF4sp*qDh?@-@X{p=5fgwiUwoi8W)n!i@)IpsbYu(YUGrsq*_X~K)a z_nkjA74%!eHLm)zBPM(fhM!8$K*xa38XG3BVbQedmyXBLo)R0heFJ9acKe#F2{Vej zXUG`?am`#h%Zu|CuE4dsnTX`=MYI`3vUAf`A*;bvTKx@GW5x<=23+2)p|^CQw!81N zjMrlALV~u$tO5#A_@Lkjq9*eKI!ijWAvqJw{3G)C7|+5bw5oKJ%qgomD_d%pDp)(JhG*lN1232Q0&`u*)mHOh zw7uv+J9j&ii%Nh0?wl%_M+Cx9`GwMmLkz(J-H=z@?%wR1LeIlPc(+gB0O5*?4A<5= zYN~l+gy6&uuPk>7CyD`v1mvmS4>5PH+!K z8TV;5hk^|counM0QGx&Mcym?#4VWENLZs;;0$W@6*Vr7kdxAX4@E5pGmQI1^uo#MS znIz&gvuizZw2N$dm>r|yA@BXIV|oDbDzOtt0X^RBFdv-*uGdA+bB@HzdgcL zXEIJj8UA3w)!&_CT5Pg1~T!qV4c?$qR2 zLqM#OrqV$s!o&WE>Oh}YVtG8HV5s{LcEL1nHX27i=}}u=R@pqHXIbY>Tibg^LXd2( z|E+}v=ukjmM2Dkcan_q$;FWyGA&c8FoOGURF;NpXg`i?c@w^&({lZOe55wc`w&hgz zQo56e-C80M6D>1R=N>QCT`dvj)VHkG>!m&WrR7v8tLlK5zlg3OQl-{W{DD>kEQxBi~6_jRXE5ya=;Pls%+kSy}AHPSyT8#{6Ux2HJNr`>tEE2!z@3w6@66Hfn4vs6E zI*F*9^(|JveR46T{LI8toSHpXdZ7&OueP0$yy0HcZ!K=~1By$D$7P5wIMzhn#NE$m zh`pm2Rs|KYr({lOAt>n(reUC;fiJ_0D0IOXK0CCak?QT`>bG`*4!is1WX0p&lh_Z3 zJTZN@?0Z3lbYR@hAT;>JV_cyi!|k(n!Hy{&QJl#pBO><;JuF^$JbZg-w4goK~`ceHBN?}=bR~boPDI?vuSmE1EovPAO zaQNt)kv5Fh2I>7mwZ-L21dI~@dUu4tx%O_XW!xHhPmMP9ks`U-RmDwdIe6j+G;t*= zljn^k9y}+HTH;Z#=Q*3Ns%vk|4lgV86kI*NFSC_%)h?(Rxl|~t5uUzdBCa9fUq!$q z)G6W?w0ong?kT+NSrO^cmi4|p;Cj_H`AMIU!SqbWtoJAXd}y9Uy6(ONj~>k+gmF!R z^qw-vX@$m_(TfBT|F>I5t_h6tU9B5}RL@v}r-No!bdLV^x=-r5l3moR7|QDyqray5%@J#R1lJZ`vnGOMh6B$N2jQOUs=F^#9~LQz#m-!g|I_?M-p7a0Cn(A8u``C z3M+>Z@t;@o_$6ZXjgt+H(+%|l?j7tQe8D3gP=mw)cKFi(R#*X$gb|H_Myvb*dUgWS z+-&0=eV--r>kmNeqaYufeF){?UjRIUX#wB_Qu421#Sc9VL*w`KV;us5ad`fsLx&+` zt*MbCaB=xJMb^APXsn@iji`9gJvf(UKr??W{uvwmzkRm}fEN7VbGpU#`SUAabdS`i{?b#()4gG``6GFSK!{o_SaZR`ATe zq+juz2>4{>kN~`@Z>rw3Xft|cmC%{cYd@~hSH0WZc#Tzs#mxT}=IHDq;Dw71vyN%( z;C+i{{nw%dMUgxf5oxRnA3QtZq>=u3$%0cQY0Y;Y$_ww?Wyd zDFDES>ofcIQQ(`*w6!UMoGx_u5&iV{vFlg=;g{{C zxBE+%?Awc-j^wR+ z@Ye!W+kf^F|J>}Gd!Z_e+X|c8ccP!xK@UEz7;J5M;AFP`U9slVbN{M81|K#I`t23< z(Q3H=p0DGSrm@bmM^r1v^idXd?%4fU>(}ha7RE!T;&(=9Wgh5Xq4~4T?Hz#M)HIK5 z!|^c}k*+WE(OsHG0M}QF%`bZz@!-P>$gO4_T@Tb=^mE&cR|lZ;$aWqtEElV<<_-P; zxUTXm8iXD2D&sfLwB&{FY(4U3S3C}{5AF*b5@2omS0DhuC9)Us*7m7u_qWbB7qauX zch6C2ZZ|F#y3gkO^TgX`gD>fHZ_l^?w95JyG&iyS6WwcO%j_^~v3Z;MZvAH7hQXXKwgJmvxq4=Lhh&k_F8+J3H6&bySAu^_uT3Ruc*20YE*^ zJ2y}b0(^Z1v{`pmJfW@8CN>-&w^R$uu094eEwAlmTqeC{)ZEmBnml#f`}R1Ass36i z(V=5TBc1PYr=ryC?x@|UIBv7Kg#MTP)d`Xd`PN%RlI67klvI^ZB0{TdtsP!8kQ%8I zT6t@sLpJjz7~WfZw$;s*^9zZ?r+Ck$Ii@Bf0R|OFL7;mOmS$DuQ6SrT$C2>k3N{qp zKT}?Gf84@cX@U@k&CLF0dCd}7DDW?Px6yVyprp-htE`!zmc3ChxP-A=T;+4hL)}ed zsG_x|%P>?LNU-L2tUWtN z!w!GN3a9!tEMFLW^q!ulmjm}HuFJEy0!_P$7^kR_=m(8T-3JM(v2LCdqu&j^cnvI) z>*Jd`pL50QdYdZ7JphWQ>L&}=JsyqB(eUs92te`%$yY9-fP(O~je&AXbT-dH+A*p< zUX6jIvg4%P9B_oF7oiRPw)rhdpaL8CE?l_11po`PIWW2*#^}@m55?>iFJO1?GdqJ_ z^&Fq@W|GQJs(W^EhbV3{d$#Fj#(j7XSNc=LChL8ugDUXAU7OfSQmgX6U3K@y!7xhsBkf2SYDO#n~H}V#_ zl%=Rcv_@WZGID54hMziQ2F-XZOAZ@73dyX2?of|{Z`WfL{SXD<>v|n8w{1STZeeOYsYnI!s(;M*>13{ z1pxD*f$mbpajdWR2==KrAEP!LvFT*!b|w0{*cWUo_OJp3n2fHN$NP6UxCTNhk5JF8 zAt)o94XN8L<{E*BK37w&XPTNIpMFg!SH_}K2UE*>R7#XHLie#XegiM@3s zvN}C7`;oU@g4CI}>VUVfaz+D#jTCYb|g!6RzOCjx7`NkVi@N_f}BWzqit zI|1putxi7%ZB=;i%IE9=tI^o;d_Az8E~QrmiO4^Bs~Hyuoir15jtLa>Jz*%!^vYM)BM84qCo zFDdDH;1;+)rIt*3g_sj-SUwL!&qjZt1E9P|MS^i|8|S_69Te<~Sh=`icqfM9&qn*& z_o^q(SdkeZGKJ3M>b~YI(C_V%95-=>(l&#FUc7I%FKI35DwYjF!IVjYK>X@M;!f78 zESg8e5X+qxOvy}z(&~Oqf6C8~|D>@6IDys(n%>?A$?SUK8N+&+;{_Sp?63tEa)}M- z@oh7&=;^LbXy+kIj{?uwsfoVDRkYpVvoRGF3N>NXc*y~93)`Nazs_y(yHC(5)$xNe z+|iqPg{lz!3k8(BeNcB=?W8Sx*5Q&2C2iI3{7-3`=T=02&sfO7OZL*e-u zdPFgbYwMCz<^C~tMU@Nk4=QB4OpCHI>SOzh24se3g?F^B4mo zv=C(6^yLtpe6**@{EAEawV%=2m~cBjI}x*k<}{%&%gEI;+pRC%0YIKS$k*2e?giRj z&)=6CvSFjbiPp=rMzLR<*RvFNqB+q~F+m5`>K>i9$r)kewsC0`U=mk;{Tv}6I)8~& zD4KuT#vfH8q$WdDh6?N|+Ca7zqnfUJB`fO=vnMJtmM{^xqSbcgL=h8Bamb(ZDCiS7 zEp>dXh!>B#r+iC=jA{-hX<0`sLp{ZvNGi^AN`J;=`#kYPr3sVRXA?>-CG!dha5vfM zh092_n+vNwIG}lRhP4p>4h@{+^+Iiqto;m6Gu!^H-c6)vq^rY{aOAvp%n(_pMz7~& zMw)+kv#=E)(OG-K$tX5SNFbC})Kr+g6bP{u27%L%>2yS}n>`^m{ZQe##@w;3=xd4T^qI)_<6HR-`+T%R zZ;ou+5-^Ae-@7S<>)9I>SyyQj^mevf2`*~CDMM$0@|?pVq|O6E;y{gvSM47}w|Xfz zf52DQ_|iRaJW5avk^rO=V}HpZj-EpMDYLe32)RXqaIq?qj1tZzZ9R@=k z2r39Sdu(@L-FT(V^k$UZ4EGzi36$r?Pa|eBp7KicU^RpqNEu#m8Kz!p-s8be)=3TX zf9M zM?3Uiz3<@SwAoLdbOk5?%leR7s!c%Y-p_ft`8Q*!A?-bLn12R3q8>zkH&bK?mNPn` zvcH7I@&#!WLC^v?Qaw8TJP@lZ8fMwPvqx!90nHuEAbT%t9AH{Nx;3aqV!p@}UEr$O zUv2O;n>>@Pqt@i^dMl9DI)rJZs4>vQ744?qdMvVT2S*MF7J>>or^Pb_)kfV!gnYo} zDrE;15@Avg|K){X7x(b)eT(#X!?v?Uc7o?`q4LZiFWsTQH zUhKRef{_#b84ukiY4>1Z(lcpU)~6bZffIvxEcpriT`aUgq*9^lR-qv7nPr; zx1Y@{3H3NDzks%IYpa2q&kWF^yViGr4$ItNZ0`Uy4@VzW8AJuT6^2?&#IP#Y>-tNHl*9*H*{dHr1^t?ZqV>IH)=V{f2TBx`J~yU2#g2iX z>m|**&Q1>|&AG*Vi3$JcwKZ4pRd zYU^NSGm8c?{~+{`NqHGlrE$TKF5cqrsm3!RT|NPmsf+kOO)4;f17!_nH(I$h?9^T- z&)`s()|(l!EGtV{wyIedH}?*Ogolpd{vbIT3jd|R-HXr4zG;BLsuTzC`%e7e= z!sl(EvN7WaRq-{s#tx$L>ZtO1&uxqh=P~+NW~ch%Wae{L3lhiRICKJ6W{W4-Qde3# za-4GUl~?9X>SA^=#QrEY>}G64QmK`s4#zRQienWW%9tsRB23xO1)W(m<J;pq^UUMT|I~DuUfx(gC^*asq`8$8KSOjR7d8arVhnB-qk+zEIEZ8IKD)qtW zGdG@!RrJB+q%M`;!9SqM&#dR^rjegn%RBQ z)n>82M8o+Bj!p{_dOqACAd)_4O~u}<^TA6ttTWnMn`SKipJ3I~B>beWVQ&@HnKaw0 z+BI;4X%RuB!&Ka>o3++%)%X`uWc+hO4mSZj(a(K0cxccgbNhjO!)smmk4$A>NNKVi zPF}D4`neZA{QY9;$VrPs@u)SmIEWG{i-*kwf$S1Agb}w?&y72$lK}n{>jqsS3mWeP z^i701YM(|=`rBY?Y-sdi2&n))_ila$tE1e$;`^LA4*n4{s}y6d%=xSnLLhOT#jHP%5M> zP3hoy+`SBlZbq`GwfK~ahakx-jx+d6AQm-O*~4Xy!YC4STC&jG*aLN|U8v+t8@k|b zI$9?U_Z`DfCu84txvCUb?!fMlC4JYr70dRM`D!yFDozA7Y!x$X(<_*{@XLo`tIzVc zpBwUQ%k;L0KaKP#1kd)pvk1+knAWT_2iJk7l{G4U+kd`BPuUVi^6e5H=KW^k@N->& zqtmgwXT4!Ob*K_Q;dX3t4Lz2$(i_Bliq-W7$BI^Bx*~+wP+gic)%B%kw@wKPX=rT( zlc?G`WJpHZba*Q~L80l&bEf4`4<42)Qd0EK;W$Yf%lL;yLemDIqWM*MUn(KlcDYYW zP`s%;OWIT8q6X~ni3qi9H5a*-ygEO$?LR{%L362V&7Wl&`Z2bVoOB(_~m$1qBGaBA~Bs=M_xBEq6mM(=x}bdF*t zbpoI09X8w81S{ej5Fux&$1vqRNg{PK>Zs=V=D|P2LtX?3cmz^tx|!RmTG8&8jeD^Y zR-s}Yr=gk@y zk)s+|g*0JWF0b_j9f4yWV(_7nJd) zT(Ruh;*Ht1Z8p^AHNSG6iUWVNe}$#a$Eh63vs!5IZX>1^{}dmyJ12`b_u7bcXL;k2 z|1Iaz7N{m9)h-7iXL4UbIZd<_A}xN;Lp zIcC63*A!eFcbF1OWdH!ecT%RyN;{G{x0GS-R{99D52>k2buj>T5;)lH&?bbvOB;x~ zP*HD~u*zdFwbzlGa0YxGbh_#Qt$l6G$aTbVX4rK`R?CM=Cyf*&iRV@LuB8$SdR^pm z#?5L^w7Wlpxl?k6R7#fh8PSM6$feD`J^6%kavWAH4zadq6;N3uc(7{ql!M}mK^r3ieXz#{*(z;L{wNWAMtUKi*cOX8g2MtVy+I-ChBG;4V&XaI)+`2hIT z=51`CFuvd~Zv!VGIdkDA;l)F=lIk@T6NC!6lnkiT^|8zL3cm5radYYC7VI0^b*iGb z@u;S7kQq8ZDY)7FQwFTrYsNO2X=T3WkXeMFh-GG83V*!o^01VFgo&^F%8$-tI&B9n z)Ru}j`daP2{joSn=zP-Uk(G=H^ExSDYm=NWNJ3+-xXamq@-pu(mDK$rLWWbC6;oSv zU+Z$SwQOLmp}@I}HhcE9x&R7UcEXlPBQif#mT*It{5W633oK4$$Rzh@{N6Hl^_(pv z66c0ns~jq&i+LGT{4rnJrkuDPZs}35UIQv?gjz+`btx))uU}m+*DngeX*(y-H~w>e z%oY~-Zzl>DIDAqD`IgivS32erLag z>w=K$u*xqzd)w5@cUaP1%n(c))er`5oc3KG*4gsbm}592&RaT$ zmSgN?Nw!TC>lM7=i($KEOld4Ms`&;!&Oi@fv8%Ny>Da0R#?pM!{@8@ofd78875y9p zT)I+LTODA-PF6K$LT{KXV9?*bXY+HKgMthbo&=xCm04;(PAElJ#`JWkL!2)`!e@4X zM~h{R!e{9+tb)-Dai9*a08Ko+mGE&~PynCcpX!Kw_>&P0>g59xf4iJ01{ocHyv%%Z z;DEg171PS(bE4v~-o9s{zsM>doCiJWiaoWIjsUS%PeT1srXDUB5ZX_QUt}P;X)}%X zv8aTEJUT(1(#S%7*ZTIHmAX;|E>MkN zagF9eX?!0a-8N17^Ts|imJsW9(}qbp`m3`2HOiz{GLeM^JmUr9Ccf6~zQaS=y zHDKrP-<2UWFec}AoIW)q)_kP&mwwgb3(r)nip}sPUt0yb(k|vMmL8|;JByB*3QEH; zHpvs-4pw=NTQf@ztEeNx%!BwWd@$tgh5Q+QWp0FbXQIdILe+}rq|>Bbap}ASGTI0G zQR)}>g9%rK020b(+kK(2Zk&;{p;S|AI{8u^&Eh+tTBlA-hzG-8kb+1F2ss=WS!xm@ zGzy-0LrV2I%ohVYk5O5o2bJvGAbiq^3Wamje#&_2w%=}T1X!eY0m00a&{)XskYv&U zlNG%^tej0{9%i52q{BvmS2D}gCItbwzMhtUqJ-~?R}xtjv6o+b;`+4}Z-DnEm-&Hc z#lT16a0OT*fkH~V4o+Rf{RyUReRdu6faZhUWRxkwp7eMnF7<>cbLVZXO=RM3MZSB< zuDFB`cKyZ-)-*7AHt{>WpqjacFN8~Wq!yoxzPc>5n*DZ{v<*4rwe$mlr(sj#ke7ll)v)xKK^N)7KU zno*R%@N-ZV`Ypk-eGsh>Q4^Lol@ignUBEutE`Cjk^0Zm^7iTUEU@_!ef856mg}SIp zfn2_l2s=a!f5r%i)hbYn>#YxHf1vE;$1OOHBwg~F`05x7wX_~=l-|1A=~L@3t=#a& zjNElF7$gs}3`v@tifzZR=FTtW)3JGqLQW#$x)6hlOXYbJ^A&lv2^3b-KFE{itx;Jd z3dBX|vnpN%Ps)v5vOtBKSHAU9!On)n$)g<^4OljTJbJY-pr|tswHN4hZuC!zrR2AQ zn5gF;TFA4(5#uVL6XrwF4En%BG(-ycnd*0>>}6s~S8OD~#aoyphknMcRJn!L(x=;i zA+Y1Xwuglm)f4kKXVwU&Yk0l|JkoAfWxqd$=r3VmkfL6@B2=}?oA$(svEr(u5ScFrG&y!u#H}rPK%-Z+ANU!9Tj1iz?8fa!oCbE15Kp*oOKKzVrwfu`h zXTr4Bg2<~H!O5vpY?!7oSET|`e1UM|<*<~#BV{|hcX2Id2eYqU736(3pDXT)3(_X0 zCD+`>$?mI~F%nOTo@fzmTMmlGcOB=O7A*QGDDuaGwZ0Mf=AfTTjnU(Lf8*DXGK;cK8Z+lE?%3;a)R-(t#i3zE(Y6%nY5xOk zhGt)q#j761#m@2FY)1&ID;CqjSmcW|HGvbMhba)NXcj`B{9QuKs|h`Cufp>F)D|gq z<>C_RTHPHu<~_CSF2SU{W^cZv0vGBQJ6xlE_lVPcC(H6u5HS%^b7nbi!Usxx{wf?U zGMJU?4R*cQ#+r~a9>FT$o~xA@<4ark@?fc`6Nit zzf?R-?DlD5gIh5<;tPAJsQ=WVIaKsf`DEV7)zkY)E@_Jbv8l7+tH0_~Uo>&BAEsRW z(W&frW-SUHWkmJ)mkf;>*FpsaJDty^7K&su+Tc`8zw)hYeyGn z3d;-1I!}gJ8&#Rk8W-W4SSj9>PU!yoynjP*R;sb}?70Ws4`MN@B;~SL%;aw<1Srzy{iTR69_R|OCQDzX*G+` zNQg%r#v{|}^P833<=j&yOZ+Bq$+dJ9&B6Ut|V%Qxhlw_WDWgL)A zGvRH1P%5jE1V)#uiwc(|ajoH_ClOfP_(d0S92|@O&qX5{3fi5fqtE*KIH05wq2sgpflx(`8j{GkS&^5cx#hMh2J7&H^1e0PL-a)1V+}w_hkdub%-LY zt8HRalWvTQVTFoCfd)51S?K1>3YF;|GT{Q34jFNA`~?JR(!<6^@?d<%3%@Fp>qo?$L05i2Se-EDZZmf5 zEOy_FR4Iq$+=q2kFMQ*0UepGO5r!*&iF&-t8OsfQ^YXp;u`lqh&$#}(XT;GO8H z7;8u|5UzG)EI$)=ZgJH4ixmkm${)37D@HAGC!m`poKc6H34pqBr3>^pR%# zQ+ps0L9P`iQGMO>V8)Qg$B&1@apdQ6tR*2Y!#Zj{)XFh$A-`9K4ow^&dRFj^^IC*cN_@so>=~1Wj`I&qB#qO~miV`E|}3 z7Gq#HW^94~D$-M6tIsK2;vl1LN1v`QBu$u82^-=)Id6oIIl$6wIR znm)pvI|{<#zof1!5Ev6EHyXNJ#;}Ld7}_~H9LDco8tj#}lCc&|(unEja%BQDca}7X z1{d;CY@j&})9qvdRu~<_ydMw4epql~{jCfsupn0?Xw@Q;-6#8K`B{WMG3Le9h%^Ip zfu*E(i{IC{*KaBD^o5YHCrYeWnFGisIV_!w(RwXK1+~()dB-*_=YA_g+@Ms&G@)71 zkrUD~0U_m?Q)%@X!i-s>Y(POg6W%4Q3{nprn)cuR=l#VvEj3?~kB#SJQ6wb(wiiAU z(&y%M7yx$Q)2|D-JtLA88-~K~i+nLAr4DNAUZMA=@4^e3y$2C29G#D6#@FV`BZf|R z8gA~2GeRTgoTZwtG!r|u*X5~a&*aS)X(~IUWM#;WQCciz`2L9PLf$qZ!HQBPB{P4k z8{YiQQj+ZeWki94-R3}4{e+bt&A++Bg_{c3QII|FF|xD3y6pBC&YuFG8z7lQdG<@I z^)6U`@R1@%Me?Z~n-pw1pAGwJ(-werwnTg5DbYKZ*BUtfT4LtK4bq{;U!3us z0)d@Fd1I)^>b3su_`B65OxIVRMGG6wL(KZK&p1lQxV)Vx1djx}2E%6j4S?fC5#ZfG3V8l>CuWiFeBdl1<8_cSQV`{?CJ*8Fn zw;<6KF;xWy=DwMEb;}d6$EA1VapD5H3L@txZ!0tD$XNvKY~Qn}Y)bwaqMg~t5X>>F zW}HF@c_pPfQJm@uEvc-tfpxndx-z*3yFIl zc*O)abVx*h@(P1HmWKluPx8&igP)pLs zs!KcxzjGa_C;O`p<;8DbEUm1Vt(X>K2Kuh0Ufkd7u?Y5i8`OKeNQR}9tYdB&c06_Z z&PljgtDGn^%>;Mw@gMifMk?B4+Z74L)IP!zQDaC&y`Oo3di2%4P-3LaymqYQpt7YK zORaREK|>&FFtF)u(^POvVpFY%8RG#P`02m;Dtg`&LB^U|S5&~j7qE6ulm12fEv=Xl zDUCtEX=2M4{5?vQBFu55RV4#O2mu>;w=!0+llr&f1^D=V}0vZWUi7i+Ot7rhbz66+>e|ypphv=fHlLQT+ys5o0%-N zH1}%8ORd%*EW+*Fa#39rozdv9?AlZN3Mx!n#5>2vRp={ytH<<76}Lc9fW9p*cw(fc zcn02(kzvsmohsm3XaeBjukXD1&nRoAuur84lS zKM0kq#UmekQTXxa2jppA`eYr;cgU*g*ep7p2;(6^6P`I%1F5=-c`NSpMpYZ;x& zfRXFL{oehwEA2lEpKW@K0VCocybbykjsyEV%|A{+v6->h(5%L~hP=^-5HF$GTi4*jXn~rKH;zS_&LW5)MBn z*llsw(ju5C0HG-ap+NlYazA`R*np;gozD^$2)4DMUR90c6UD4 zKes=(XCLe7FaF$(`R}tL7_-Cl56(g-0g#)SmqP;k@eAnS%K_vD4B*`KM@$Wb7(ff6jGWqEu^wAOa(@_F~0D<`N-}?gY-yi{q#G#|W z%pHK14eBGnd!d20Rn~GX?Ew07p6J#BxM;!w^tQE;zur3eWkC<&SU?8=Ht|D%he2Nm zYsNA40oXtX<9q$e2WU?K`r9S%9X`IioPf5w-3@GC8?(0o?#KlJ^Wz-=+P?<)0rrA{ znFVU$`;s0Gn*w5R^7H(>!S1<0*v4^z_&Kl(SrgF1D}|83z}SQ5!GU9x{d2}@5!CVN zP4fZR^zC*6-aS72c5dxn=?3T3?T+JXYPLmEL7YGbuLED@%^>*2G?3B_fcL`!^!N4p z;hVyVjCE2!B{y`445*0Zxs`_&zUg96_C{sVM%K4A(H*x@d?gz_sWNBi~r zc0~Z;M=vL(BnJcG*9M5s+XCm+JAw7lA?O4C?%OVp4D!)Apbh9!Mu6`x#|3c#zq<>3 z1PX}1#Y5o#^UHN73!R&b2N1GB2*8TqNe=VNw=8cHwvC6??B!Yp--jJ`fXfH)cKLeC z_7|nQ&n~U;)_1S>b+Xi^q_DDN>e=+bcl79ZpBKPaKpr60j~+opmB8MQ{DR~zSJ_Em zu2&o2H?ab&F%bC8-?u|Vd$E`E<>N2FOYgxRz*l1$EB3I)zhFi_;#L4CU~75!pI_UG zUzzt_hA-9RU-a?cP6A_D)6-r3m)-kcA{YmM&d(pvJn_qLen@`km;}J9-h9$HzJlcd zzx*89UmRs2KRLm;!1cnhsX@9SXq1n`P!Dn;Z+ty%@`06oc;lb9Xdj7bOsK%K0iL|x z9-1<0{JUNQa_@D{{2n}9a-APYe{MMgp)Z|7I;?<%MZQnDfc1g?UMDhqY9N62&Oonw z`ARYM0RUg0B>sMc+}$a#yZeDX2qh>07DxO(xSNX z2Hk0kF6Er_Bh?m%uOgb;5U+0f=WXBWl>8ahv#3x3_sN`oQuBuw7;o<7->ek#gd#+m zRbuHJor1M)Xz5hilqaSgqB`$XKxhd7P3cjm3N|YB@P;yvH}LD&+)7CubA`DGtlR1{ zq6{k!*wtWPx%%U(HsX+)5q05GOH)R3aqq4^+4~w|?Thov?9P9`0klu4Z7QShGkuVQ zngk=d>H-9r;(IOJduN&YRhttYU##TMhR(g329X$Mqv)6L!Hw}65~5Pg(@U@lnXPU? z>Exu+^ma&ZiiW^(<=sRY(n%tHXd~V)p zTG)2?J7!a&YdP`K#cMOzT_j46pmF@wW^b;CHbEd!_~@=geWEEY&)n!<2eLyBClk(= zmHWyngTspi{bm-p@^)SOvRtEaWng!{ihdklRu=b)_n4Hqy{7kkp= z3t+cZ_!7%<^b8quVOe;(2PXN#PmM{)FUtb1kH<)TYIxx31pwpB6Pd?)k66IeuCy9IH>a0Z?J1X}1cJX2)eX zGLz8NPO6G9z=dq8`n1<)OZbvPDwODDJd_NaNn;atUsuPVLTWkTB~F9WsCBe3Su%80R42@b{tG`{Na;RGH2vGoKv0t8Ph0=Ct~=Z&_u1_;N^H+mTYK! zmYhTXYZDoyMlrxCJREr~qjJ30O;GGlhlyp5=pFeI+V1y<2q?sDlhalUHbhbH>D$IX zuO2IFa}$?=uZlf`W;MWnRti=!Q;AA*^~z0@6`EC&jv~JDa&V+xiE|JS#EiUv99t1L zl%f&)t8IT7Ca-1tg^8jIoZ$FvJm3_|bM(TC5m;XmpGVT_YwVUb-eEyc_3x**h_;bf znnG}i8lZRO2?JqF( zs_mWW)oPfTW*^_4_G}AO(XzY{ACV@;ODlB=RIj< zJwdv*2np{A(>|_ip6Dcc%O9;zi&n4RKO<}^Ja&y9dA`2Pr7VvLG zFDn5uAMtTDJQi|@s2_xC4`&y2@t92=!{F&!D56TvG`?`60@)6;pRH6%nt;I47ob81 z-!Dy+Y@WMz9JZpF+LIMF?a&FwWzLY2q=A$TaNN4AiNBHEwNg2jw#$k#2H zRwh)ilb)AR^_P@-qo%TZ?rO{fgW%)9anPD6NpAB!*DAlyHZvv9q55VJEuY_N)Jt@< zriSDDXNqZrTuFUhEX3VJuxw=$YgH%s%Lmd6B_maCT~2eG>6C41)vAB;ZKQ^?<0)B| zG0f{X6v2m+; z!m3O0Y%_^FpQjDRu=Fo}$QbXm=6#R_DKMkzieBqI`{t-)(Wq#fFcT3&9$f~SEzMPR zQjTD{;H)1Rp2|WAb_vljd-YNIkJN^owPmuOG)GCfp}y)^c=_G)HX>l=@HM%}gKaC57#sSc5#7RaZgcd3wB?!2SyaOd-Cz*8wL zU}7Oe z;@CD}&eZth?FO5n5;Gs6S+964OO8Ar8tOT2CD8cNFNPEqRPR54kXh)tF{4NCSnqB0 zd2^_?K8YGf+?Y4BQecS#Vb|cBQusNqYNB3#{*nxC{1S4-ays{EBPZvuB@h^W!rYzB zQJYWcCJdnVyf%%8K)%cZ3CAq=RuXLfFZ>Nj!dElFk7a_{nw%Oxh7Tfk7~9rJU6&2%i!ad81Et;ZzmbAm>+QnF>qb|f|eE2GkMO82Vdh3 zrbVJb7mSXE8B!J(0{>E)d$S(nq!lCN;`H)r(yL-KjVvEJ{NIHK;_1CF@ehqFNsnT;!0x8w1Rb4}aKlp)vqW(<^(R{kwHAvA7@j}{ z2$ZZ%y3W71-6;OGj@Ih$0<|r1k+uT5(UjO>81A`~$}O3={No2b6qON8kCHHVX%%LI zfRB(U&g5N@MD-dq)v!$>gL{x!R>0Kzf<5^*{N2ijpM8L-Afs=H>(e>Yf-ma2IC`nXfj%1xxl?&q!+lDb+;KP?%CLZruY^cndUYr^RfXB9 zJaGe_s?&$knT0?e9Y6xn$gB}l956}$${a3Av*`tnE4)|*Q6*}V{uBfy1-(wzt45mt z8fzu)I9{tS!;GQs)0AM=bepD7wK*u5mfV$)V)F)@uejQt7T%vC_$+o=FQH_-Jpr`A{T-!OF6x>+B*~3u(NRo zP?)%1vRF{~{7C(3K7wVrVkrd@wc z(V3B7&uJ|TEL?xtXh{*7PIxz z&vZvq-U*>#H`FVC6y_yqYWEi#5tGGUGS1>IdED3Ry>M(&O{HWuM?F!-GUA~l)=}r$ zc0-zN+yi-qt*39xq`aB`a@X(`BU|yb&$#CSxwvW;X3Mq)qwTOVWn!c!*?CS?vQ;D9 z`Do(_)6EVu)OLvq?KK5HlY5=ekmzhWG9{{szoDXiLIF$1TIWEP2X1j~|2Xn$G5Go! z+$+;|_N^vCCSTl{dn%Py%o_P7z$Kf|vMroZOWIlBe10vfUhB4W(5FD04tkb5NAaYjw?NO~MY2qq)_ zJ<2F%<1Xu|42TMw$@yn1mi*76Nx9j!7`@t}(i>Bspb&U#g4EVax{V};kal3R4I zwRlYS6&51>Z`hI6E!Vnt7v7MW2+y^CfTgJg9;r#>Q5PPvp=%HO-7TKmL%33HRnTKietZ$?o65yp-8p@MeHi#_a>D~rD1W?wkFclZCyt3K@3E;Y3*#~ zz%vGi+mh0I9d_O=autQ&M8b|2HCr<92OR9h{TO>EI?zy2bQ1LD)zN3Oz2q)GPx zH|QkNQ(x`3&0mSlL22WyWL;kgc6xz?)|nZBvgc)dXD;(Hi{t#}OggQ?la{=*bC}~2 zB6FD?Y%)8^d+C!9fqIKg@dM8k^u>+%QEOEhFCZ5IsI90s1-4- zI~kPr?J$HyqE1+IljFoKT9dvTlmKjVs7RSoWU{>zs!De}-YPQWnR=Al0!ym|O}*ZItVDB3 zVIs_I4+aTa7^b-RDKc9K18NoJyA?uOa2!3P+PO5z1xCTpiu|7|`w!3dv}coCX{e$a zEkZhrW_+e0rH%oQM=o%)uXM*=&5zWqi<-{s$<1w})3AapOYnxV8LXYJXcMmmIijSf zZ^bzrNeAjYSyliwN~9U5PYZlGrx* zpbrr}^zL56IQTP{?-4|vddsvM{l?{vHp$A;(!#Cp{vEJ3t1{h|&6h+rtFl94m3Z$J z5sJ7w7Vxl~%MruvTj6&^EeSRW1^bFCMmmcJ=xf-c!4erNvD^xq%J#ZyQfZ6zXnFs| z*f}i=0t86*+O}=mMqk^uZQHhOv#)L2wryj3c4KxYV&`G%tv;Zl9y0SBW8bB_2AN3Q z?05}vGyAEzbhOMQT}FJ;rvmv(s36ZQ1JBJ!^!F3a+@T7GB%4^ zG7X52%lY=KA3CXz0c2nLC;F((Ph#!~w&K>3HB#}%h_&c67VbE7F|b$KMthwja5fNA zvvKd^#BbuH;WUcM6Su+Stoa~M_^IHOf6S&Tp*(d%kQOo08_oFIjNxE81sn)Hla>5mm~h|LAG+aaMK~_#HXs{ruOlj& zQVSrwUOokK%pG@q0S`xsq2d=0PvIJ)lkICC!JV#V`XHjkNTzNv>*uC0%570tp2Op5 zU=%BylJ_$5I*K>ZaL{-gJ(7=%_~IBkoH;`kB$YN;Mb?*mv81dI^~Q**Ni!>iw}vxe zZJz;@J7p*Q?VS&ahC}5+)$H9;;Xn&R$1*MIVtL<9Q0;D~Y$dm;YX42l(M4z@>29qT z8Dx}gpFmq=08|M&hj%PzOTaG;ubD6F^Awl6S^pyhdR?6-6{K&T$PzG5T09#*iN28I zSM5+c9_OEu zJhb(C`l^G&JxUJh7AU?m5|KYD6lLlyU8h9&sdG|Ikd0<2GmDMZmFv7i7tOU8rvFMB zNjxr?>1#(?Re7gtl0k}`DD-21JKL1(9>&p|<>{m?5}&54hA;DvVT9a0c&=_b3C`X3 zp^qn&Kyk?lfld=dQvl$jEbvUdJ`LZ0 z1vct8=YPhrhZGHp-11RmIr#8wSMfXG93F!k7vqlXS8!bM}^co+XS|Eqg&v^OgUdvK*R1(Jak+Cj)lAv3u zk;yVjqHD9^BFdAm((IsOIDQ360~+SuvLWP^y~5(;bsbKFY$Np-aB;a{deQ49SUT!JnY?ZhBOjs*!=iG_gh@QQfPKY&y;h8mG=pfh_*F*qzf(D7DkmoRZXS@{U;_Vtp6%W&GHAeQR$eNW20r%=#i3}V5eR&ICm;>${3RE?y zZCQ5%a!g2gxKqOJ3&6&ZiWt|>Pt|%&Q^v1C4zHDOGp7wN;th{GQ-mX{#Bui~JykXh zdB@SBn|FvrWTsZHIlbC#2dVIcd}1hud~y86wcg&iou^c+ro3Qd6wX)omA1nwAZMqj zI9y_;+3+m}%8I~u1UI3&*&G$883#^Dx0%qd1Cg&a6`E}8E2G^-C4;dt_AGcU<3m+^ zmm1L-oxPu?Tsr3r&43`6NNj(s2oD;E=_m0|l%h(Y*^_VJb@P@=>cRSmOC>SALDe3#MU}THl$_ezsQT_i?%5iIJXqzbd zX$H=W71m%V+n~h>X5S#u-7cfd;CwZ;58e{p_{{(C;7(vBM9UFcOF9GXmAKf8>{R@o9WVxk+F!9n3bHr@}C#n3+o6Z-kC1oWG zGRGHT-l36UScnhjPOaVlhLxgOlTb zp3yb^%jmSQ*`%R}2xAn5-C%SiiD_|(82kQDN*C-5Egt6V7Dlj53A?aO3WS7z;W6tm z`}u3-vzytRyS}RP+4ItKBO_K)I74O&#SAvtmv7HTz+HwQpeP{`i{CdsK0Px&9wI1K z1{k0f^vh&4XAy9XOTbV*=Lagj5hQpAo`nMOgHQ$%1ayR311Mk%5HANYMn5zTxp#1c z@+C(wr3*m->KK>~l)MJ`z(BDE7$l2idT9yI*y_)3{g_AUKOYPUfP!*l_MHQV&0*y6D^4`K`}AC@7|XTR!~qL0$xKWG!e!I7Plvo6R6cg5iKm?m8fU?#u*n@D1K0}zoGi$;$3L~kcm{xlh7iW@>XMGRg=q{A#)DB!NTy#tC>%<>gklZv zzJ`-eR|es310DJUsrrT72laMo4ItpUw|o3E@uLC(^qm94#2B!?7MNd)P|n#0V+ae@ zm8xJI*4d{4NKk%WClKEZd_{jnoj7G4D;01xt8c&cv*-w?uG&n-~x zr*QP9ar0^{-voi3PPYT7HF&b8ra zE=1@WtIt`{D}*PF@w+zFZx29U2EgA6fDT{{4$zsdZvRD9w{Hpka}Dyt#LsZ&+#0eD zG=(Sb&r4{!7se0c1|E-$0nq9O;??ondbkS#3;~iZB)tb z6%H*B_bBKk0B~BjyG#8I?vXK&zf$`f{M(}kXJR5s8ly(zhw*!z6z|^-u(j?Fz(%Jl z3xF^N4|2y(!}F^n3JUUG1wG@Zc${y_01*Eu*9t%Sloy-xg9LD>H`ovI=Ei8U7G&8E zFybfjlbV#ac(f1v<(K+#oBYck@>}`fhy4D_MsjFw^SwF!w)y+(5M)iTQtJoG6TX7@ z!vG*zAI9kaV^_}hHakZZAVV0-_IsHU6odyRh-3LfV9G`S&rLpy&pjjvb^yet63{0@ z^CNx|r}Ma4t|6SSkD3mAw7U5aKRo`<-xK!E)ZppPkAvs@J__pSj=}bJYxNb<4}bV{ z%U4`L#;~a8G&(#94zRu%q|Jy|`vZ6nv=smkYzgK1USkaa&W!@*Cl1JC{{oWUf5qsl z!_1HGFMOYN&W^MPXm9=%Krd8pr&pu>SjxjUk_a&)f90nVtE<0F%_!(KJDAXCne5?Pb8U0a{g}iOG$EBb z+WfS!Y?Al88@es$$fkhrLAD2bv2ai=O)e%3cMB&OTZ-UJ!F-5}-%>bB1ZCtlpPdGs6R3fg7a+{@{s64XlbCQ7# z413HA!Rf`}9WC|@-nm@b=oxA^#5H}?n;O4&0y2Vq*UPEQK$1rDdR!Wb#=+>BwKwgi zfJ`fB}P!M%VxtVK%e1+Up1J(Mp^rL4jF3K)VvY53~ z+>RS|G<-M1r$~C+sHf#iP~Pzw@KWiHyXeoKDtI`<&FC`;g^tGNO;A=r+8b_A`d$v{ zsUx#8XjR%Dj0iQ8@Di(8HV7{!MS0{Y`M}ly>$FnAH+P}?&LMEFU&khbv4|Gd{dqHk zl^bi(1X)yJfcYWlY=p>0|AHzOSwZo9F|~fzEI9s>NX-_6!ByEWAEAVjm%TG|hnh8} z5%M+aVV?7|@d@4=M}91xrWsnPV^lxaR{vs^Z2(@#@ah(bG}T?S06P6h6*E>2{c z%j3Ah--1Y0skdyrb6cmOh^vRtL55K1@o#d>*KD``{=U|ZJpgUjP`D!Vbb&pDmCvA+ z&sJ$7a%y)%ypXLjMG7IFDoy@L?re+GYekg>Tu5IKq=j+{^ zg51lMsWz{v#H~jM+47^md1|G20TctUwvl3aG4*4KNTXZHoM(eSh-gzppu`H|n-=vQ zb^#wfZAf9`OoT?-%^u`mrTPQyWR(BR7YI01+97PjMM8b#S{1=)wvQJvGu`=>$cYu( z+i1PTx`1+al9?@hE~O4I3?#!M?_?r3sX?*V3^CS_`=?S@m7&HT0Z|(#BPiVk>3L(3 z9%*CC9l}0(<(dvC>ss|CYJH&@i5A^2WM+;_PApw5D}YUF)0Z{@EF0{&A^~2lr;9oz z8JbgXvq~^)J7bz>VmjMklrHJ9b7|aJ{X2E5UH?c664gFA8jsHpsM6G?A#hBzd#1^M z2o{j%aQy3fq_>=|X3RMUYV%96U%H<|<3||x?u>*#HLY!Vlx^G{so2Vu5VbEGSGn3# ze8XD#iNW zsdNx)yO~)VHVRPXftcIfD_<=B(QMs42*_0R$p-MzB!7dF1)e{5IUd0r{T{04~q)fBUmDVb?@ z*hf!4Sj^2c>F38EvkB6|q=?Q)*%Z}&-u5zd7`MkeSrZbG(g^X2d>zzB?L%EOF2$NL zkHr=%hGtu=xQy*I!Z*&=9F2euvgn!=N3R=%p_!U8WEAp2?~=z8Q>ITz6jOitOdOAn zX1!kANFLwm^VLyFBjyxbw}47UOhumJOqviME+Rk`CeSjd*-g~9OaJmph~J}kb0t>y z<21b`BqxumlH@Upfta|5ai5D1v-i+^(t)*j-k-9*(8?{TtQp#cn^dEK4&3I|ON$(d zf}nR>@eb-T@AX?6lFDL~z7$FLD=vHgyCsvWo zR}V@#1eUB`iH|ft_aiBnN(STRp`w%~Fqc;@m)7o>@|koZY!OSMk-gFjTqz9qIoRI8 zDi;5xLDpat#%m4WH6s|G9*9Z z9HBQJL4FC?Nm*S6+kYbrOncVXEAc5M$m~2GL+W~Yj#$)5CBhDqDHxF9Cz&CUkuf}) z<^3_ff}JPCdprP(ktgyK(KTNV3y=lp*O*JRbwde-K8=N#2p4*3^IPTX1_DCy>#MK* zZRygdGwjY-OY7>s85S&qEqSQ+gv^xhW~&q*4VH(9MY!U^dJ`uwmZaQYl!FKwa=V%J zzAKHMtNSzQ!mc`12zD_-f00la!KCKY;vnIac~h;P0m5`o(fjfgXJo6wjV-xSz^4?8 zg0;KkgD!0bC7>VQ*4OTi#n74%2w&|v>*lQLNy$;J`lG^P;)Fj0#9M_jR!@RhJfi1X+)?{xbu zUf5mBhj3EV_wj@;5l zdgs*gyG=!h`yMrv08NNSo%=d(Kq>PyO@sv`-8J+e5@C`KN7olC)}nLF&rArdqi6Kp z)GxGjoP+Ucqh;VHgR?b{G{lhyGzdOGyvjcN&&8Id8O-@7OABL;_FK(rGK@;PAM^lD z=-FX_G%wwRtsEL#3VAYr@9h=!4D^JxqBC(_riD+`Tf+9h;w&kyWpaJ*DWd7WEzeK6y_pEB4S5sWjxVCKWzbe z_vXohWWgl_YV2#}e2XTZNXyfgXQ1n2TO~vL;AR$94M(y#DV>kJ*%4}f3}Qgzk?HW~ zO3{FIs*wuWLeCu(FPfOlcE|W||s!tJs(*$9{#mZXt}h zR>4V)Ewji<$~$8~+GuBW9-DYrmHCBJ64sCvsfi@gp|j1x7i{iTR7k_&=?sT7>mS^1 z64s&x@~n*1(QlR?m51}HO-HfBksJw?!f*$*@v##{n=p++*6P>?m5)71d`?(J?F>S@ z_aL;pKFk?c4qh$Nbk)nna8z7}2w|7Z%-=@Q+i7Xxu3*@I=F9k2Q?4P}vTiXd6?qe4X4-D$ zH(X`OG1ylFM3o+sZ#Uew$d+h^bLerU1c6xWkAECHqluRouXuK?H_F1J@OP2D<^6J) zJ~A1c)UJdjtjuMQ&pW8;+PUupN~_EfXloC7mBIs}1LIoDcs`HIF+BL=uxA!<>PcN? zBD2uOFEFd%PaWtCv>an_%q0Oxi_SF0R4_5u!vM5W>?&Va6R+bBhITNieYhjslAkzl zAp<4t77ce-D$LD$pN-9rhHrL!pw2Rqq}`-qK%#IM*}RFr0wquMQ!=_?xdp4xiXS?& z5lQXuv7_`-Y9neqGz(WF*BY>LTovel6MZwd)CXRV7$Z6)7M#c4nInDW=yfUcV6iEu z+f1V(a6#$wk&;wi?_s!-CP2AxvBOwv!M)*|`Sxdy9_0+{(otchg`?=D&``t4_f^a8 z18SzB@yD!yKS`{pssT?Y2_T@lQGriS|BXc7e5S^V9Lcu{(o+b0eqmlkQ3WaKSEFU) z{J*E;S7Z5h(c(2SF(~0UspUr};2#IQ_deRlWRX}tb ziU>A)^OH}~+(H(zDQ0CcNY@1zy}GdW2yu{0jf?I&sc9nRCmYr(8+B`!8Bupo536Kp zW+Md`3^^(M zP}Gu^7(&7;*C5iz4K1gmrUT%Dlfo7mp-RS!%dx)MVPqy3R*Le-oH#0uT(+cYNUszd zm+QGbuU)168SCiFJ0|NUteZ;-@L{rCZFT8`=!g0dU-jN;-Djf@Ssn<(NdInbqc`y5 ze1Tm^YrRQ{@lv#IsrwWm8o~Ph?)4yxrHbEvtz57&G_8AmLE=5=vrb2Go&HI8+2jQC zy&)?~-;+f5>On1acQ(GjLVHuaR>m~IrB*#h1o0I2rWe(^(o}lXXc5LRUc>ZhEq_#ti z;dLgqin;OpVbubP2GRXY%mE65C&8`6>3#Z}o=g&C9>_Z8^jNHD{H|$doU@YBMebAU zPnsOTh_yT%tF-^wF)Mp|J+Ss<<}PtZ?(Qh9Y|H$t1lNWimMAAZjrc_FxrldDgS{`K!>hZhe9NM2(&ba64LBf%UE<}owI_|rC&_2V(Fl68lrDLQ z%(+$g3emF5_lk)v>Bgr8m{1%Sn6)K-_giEa_u+qz z<2+QCY7Xlg(1owxMJ3!5D@4FDs#4YY+0#r^r>W&Gwp~8!s;&BzWN~JsT66$!cH_cc zqyJ>`WF;cIw^>n`Y*2BxVUo+M%gh*xAD4$ki7fur^^YA!1FDqi{45#gNg7lMRLNLQ zwSElJO(mjSTE#C>V}_D9s#RR*k7_CT0F-;#@6Pyb@_`;L8`BfIh~dx z7cNTIC=mU(DtD7LBvYe(09EQW2G^O&o{8fd_OA(~oTmm6MWHwY^5dnw=NSa5FgkB7 zbhGDxw9bGALn20kt)hM{oQPXFK7c&HaS{5keM@( zK@4q_&E!#d`Fa{I-N(-I1CIn@TwybC(&AB(x+@TEVr0yIkGBx>{gu+wq~USf-f&MQ zI*E4tv=E*?HL5z^Xu4^O+EW=(+*Hnzp)!tC!P^gz`pMmoV@L{7UbIE3t0%!D38jQ0 z^X3INtcJPn`;$)f2w?B=ZOh$`{P6dJHUSR^^NbQjDdSe1lMELKdVmW&o@DLq+vW{t z2XY3S7;Mq>56|xIR~KDZJMtVacJ`GRj^63ho5(puuF)18cXi*{v@~d{uoT$2+3V8q z5zwVTXYY$M<_;Zn=89HxS_0VRmF?cIsJcPhH z4#BDG3(vM58mE38d45w@;xdIS<_^PYeI33@QdrV`tIg>}9}5dt+OX`mpH49?!oxK| zwOyQ7mS2!=&fwM)bj3WA;vgd}(}9H;2by#pIm9z`dM{@9(fTSk6Fn5t=(ByJu_tfM zn<5E}NHA4Ht0T(3(nJov0m_EmQ-S`MR~jqsFgR>GR)|eZZv5<@^!TkX5?>hSUbG0^ zIbr_gMARn-&|$o!K94{$p_*Te!y@1MCpwvrN%&NwEup)_ElN2DSqKmUeV zhB&nWHl%GVop1B0!ISRI>D1J-3_!5VPJbimRu2c3mxdN}Z}*{BRUR>8(nL?wn$kQ; z9o)GXZxs7*IrbaMg(?6|(owj3Er?`^{v;ydEPW^^29anGl^s^mk80hvgn z%MuDiY$yVU=&GtIlNgYZ-IP3aP?rtw{ZbF)k4e41Z=)>e(#<@vqXTi~bNv4R9UHWhcFxKJ5wu30eF zTZ=@!LKoHT?xpLfi3kIJi@-lvffRf|a%@jts$V5%a;Z<&FSGFMXuXT~mGlnpiT3(w z8hi51R%Qj3kn6|+wb4b8MHR3P-bgh#rw6~)(oxPSs3ra`=%RDH9EcGX2R+*pX%8DgF#-jX(U2okg$Hxw%hl zf7prQEr0s^hn_fwH_W>`Q}e5!{Yio8N%FX{WZb>}n5uK>1t8Z5Zw0w_wbFMm-|YM} zmFxntl;wR{je++Y_@d>IclHb`FBZOB$m>UJ3S0z)wKiMbt0p%L(hEH92CDc;1D`2t zHT4j-I0P=)+Ii`H+!FzTm~j=k$KG2!*yl4gZ|b9zS%RL{qk&U8`b7-EI`whs=> zv*9v1!ww_@*KcEErd2ToS8Zg~a!0M(78cmz2^*TgmSQ<=%xfcY)AO0fX2ZyUaFQ_e zs=ThXQcE`qQkJym+f>$mgdd+C-`VHMF_Pn)lv1$|yE+e;prSmuC?hg60)nv>GugNk zvUWbBDzd(9CBj|Mtp;D!M*EL7`ge0daaa0AqVg_WX=z$py}J`B5k$_iZRAb(=9yn= zL+bqf&BC>kUDP`j-UPgw$oiGO1$l=bN}HvTBwf)m%CH-EZcF-##famtX2_kOUdVM{ zWdWlK3Og;S%=cZN*-+}nW^ahr3*rW{i%B(@ipuEI!=}I?xuq)v+WK zvR6J`Y$|#C(*~Sa=+^}3>^iS?zQn4D;fF9030Z_bLus>!$>1Fs8fzly)#BJ+^5lhRsmZDDjfJ#$j=0T7WRkf39h@*8iIv$9F!?OrbArF2w{f`E)|<_lbL$?3|_;cxMl~| zrxm?)v>lV)z`kE}4eQ3FecJ5&%ksP3j?nPi*Pe9*RwvUprBTXKhv$noN0jL83fq#U zb%Vo=P9KoW}t{n(kV8oDnpz;Os5J8aug*K2GTy+gM>LkTGjjdC4Yc&Nod`SyS&$Pg^0wv*x7u zn-dh7b2hCwk2v!F(9oOaf+mfVB`S?T6yG?zX!&zviZ7%cju0~1#%HeIYOE)ZyFMOk zy6-|`f0i$!k;SbihQi-?BV{6&<1pw zD^i?%-EciQ5%%WgF?0&RdGZ*K}M{^)T#5 z=~8{#S3Rc{a-VmUg|@LgUGm+fOAVtNh{IwviWe=^>C@**2U-qEP*D$) zPnJvi?5S&k@@nEO}&hCRc>UIt~_Gvp>s^CC&A1fi?w+i9hfm_m=_= zXA61!>!~!(|LA=L{xf7mIwr=vR;XR*yPzRy2AV&v>~Yc+>xYN@CK#sCkQNI#Q0x?2 zrMfVlmn4IkJg2%dy5RZ@(#Ca)o!(--agCkoxKs9-s7l~ z{Dc2N2`SeXj?VIZFngZ9D^6*zIAdO1E#y@biE{5qz3tJ9lXg3 z?i$g#JI?|=0p*PWF_2jk<-Hwh%nY$?@yZUjFL$NVRTQ=|V{Q~YgM_@k4X|-Na&u)B zzWl_hZqeas#D49sc%lui@TX8;!x|a&3-X?lI<`Qx!`KT8=%#H|D6z`5BmHelueau1 zlP#I!{@xn|?{=Qdn{ev&W@@6Vk^E^!Mt-ee`fJzS#^lY-dR>?kH)v*&n88ZAQI1HNI_YNB+v4wyJMoqj zr0_}NmP&UYN-A+YXgI+d9U7S+V4&{~Qxw+{ZRt9BM`P!T#dY_wi%Z2$9+SwnTn=P^-9 zP$*NZn(&}-RQyAtpyj8?eo<^RO^hI9*Bo!gd8Dzob?)Q_#@TsXaKAqBn|n{qDQ)I<8@_oD}9x4Vp1&aOICp|)b; zyqsbmku3RyKxak+k96AfpuXz3Iy$D}7A9^7cHTDP)!t8;dZudp36q6CG?j zZ>iNuxrOm!hFSylKIUH<{phO7{3Zufi1jsG$tvky4QA`q0- zTHH=w_{55hp`W)eosXGMG-(%8i{-VFN=D1YE4neCT2$#ak72SiXY%CTcxUW;>=y=h3P!yRfv??j&-!3mOx^oqNL#v}(d@Co4iN2( z;?Gj|la`1qE5Su*Xr7x!usA8Q(sJgBeEZ8qoM57dh}M$2LGLbj<+&ML@F?Ip3sQPF zD4G@uXc}9O)--t{in)Q@Ek)iD!QCjt6c}pQ#;Dr6j$vGq2?2XSSpIYz6{yWJ+p6Sb zN1p(xKiEplV|ToC=0;%$Jfzj$PSA(de~?h?o@CAs2vG(J3h%b;bVRH9Pi1mLFcQwv zw_(mYtw`aMRXJf8!R`!@o^<=sb6k>_>33+Ek#B@rON68lac*Dz0A61*g8!RF4l5%8 z1A(2PB@_?Oe|B*GqmjeH_@6f>0#0^LhX1_%*G3K_0|yg3!GE0p!D{}WaSD3_jSfaM zG8Jf;mIDRy=HEdhU?CB=cZ<|YAR5kDP^6G`SUtE=ESATKn|5jdUXb1c3|LFwOA(*U;rK--c@RB?G*z$H>0VlKRAXh{2Wkwp!Sv^n?FAk zSh)sQ;7?^VZV+C+5xna+^lIq(056S>fIm3^Pz#u#P9D!zJ{tjg-{LWVjVP*r2QtJ* zTEm1MShatz7x13(>6cquZ}%?*Na)YGwS^6=lXGLRXF!1~fEEMD{}xV#c@1a)rpjmW z!_X4e)|2~5xk)h$EnJN6{bR%dIwocUOqK!t(#h-2kZgp!ok7$3fcmUVFElfwSfO1>W)rAK9wat!oO7j@#B-HBlo>jK*Zy(p*=kX z?H^j6!vXc_Yzg@C{Z_o$K?Wru>jSrh0#^&T>QjvH&*$mKU+XNAD7{9=d8}_ z;rPv~_$izG#UK0)fAAxI|0N?i1q=A9F#S;a{Z-K73MAC^!{$j?f&FO$sH`tz_5Z1> z;5(};Q2|}|-^Te>tAc3t)&!9#$35D$0qL9w;1y)U(r;`2*0X+xUi~(jB+#c22R?!N zIn)5G=Z!h>bC#bGz zasFx@dnDoQHu)XH0mxrm1O^K6x8DEF&-N?wgZ!6UD$dqpmY(-GYH*)y_xh+*Oj(el3=op>SiD*e;Q$P1>Ra|Yjm_m=0*UOt>(K`x-;M+?fUwl=m%6BFtAob<3BaY9?3=z`5J)1!HP93-+C6i6g zrMKoSYjExQEpgV8FmjeNUp!S3Qtl0yKZBh#7!pZBfTt_--S>JWg_87Akd5+SWNn!7 zHPHL%RE6%`g~2aFBg*xos%@;AVNn>A{{YiSHEIe`s#+ZLI42zT&N@=7@;z)JzK)Eg zs;*9Wuu6Dl6E@L8%|y7^#Z6J%?bdzw=iRmvpB(arn&1mxq%pL%41ZFhFfVsN!9a+> z(>li~@6EfZ0sym1v`xAoL*_G{EeqB_=@`pl)lcTzlAh)p)>fm(Qh~Klo&%=CD&7dG z9>u=$-=ZnERdMPVB8vV=M2rsaHwEN3KBGCX^BA|7R($DM3h5-$JW=3DFuk$q4Uf68 z`_dt=uZ7s+#~NRlK#R!eo7hqVLs|7VKh*Kkqa%t((Mfj{i=TaWZ7o0Mv}PuKzs5xD z4$Ws`gqqr$#WLx8KqTmU=AR{CA?e3`ZInYd8#AC>EFzxlMHI8by9O)JU{D-ugP!OS zFn)9s_8I)G-rY+{;(Y&IR{C5=A zvonHTzb#d^dQ#*X%vNN4>3~0Ag>|3e^Ww>2W|(bf*NWAZ-Nd!Yp%P5$+xkD1DcajZ zJJhxknC*y4-gUd|y>uft=R>vW?kHbunjKU-I{Dc`=F`$VEUwMAj)t#*y2AvzEtu>p zK0nxzl}>x}nO%!QX;ww1MBDKi9RJ<|Co`Es@$9igGx?r$jp5_>AsOaXpI?*`JjNpZ zzxLJp*GqUNam645{E3gSn=`ZTGP?M#&a;i7f1i<$NzNpS>P|D%o4GH2tvP@2VM`kM z@tYD{ig9C9I}KFZ!;E{pSFbzYts}OR_rXM3v7)zx;?R!+Qmn*v@B%vVER< zQy!y5l*L<*=>3fDb&KnWnG`Pk9Z?Rl#PGJ~Mgjn+w%XRroLrG-+wB^yLLEP@uBf*9 zahtK|EMs2m!^g_OcmLx}*U_?Z{ieeSa{Gq-;Diabazst0X(@#BB&a(%=#GdI4|o`C5TYHD<^Yq!tnHtzxJu ztkfIi9g+@Wkdr*V=&lRa%DrN5ot|a%C^g)=i3PJ`6b!nnzuJ7!c*-T?GHqpLC@ATe7THH}-%vboE*PeW|o`5X|) zLpMfZFM-Rim1`y!q22$OzvqNW&!5;*crvnua)UqqQ2nrG-G!lv`$PhXRqI(r-fCHG z(r3`OLvT%}DxjSqLd-{0oI50?4sGPebmN++$4Dhtv4I?UM;B(z9@oz2HxDk z1-yC0;+S^=LU(u&f52z`+=N>v2(Obz5Y8@NQk5w(fBIs=_lJEgvoF`%8emS7ovWy3 zM;sGzjMz^o=W-7lAH)qB!1^Yk{3-*)Bd*6yLakC6z08@)DZg8(f;HZ9q@j3uB<^6? zj~J&?JxusxX|73;_Y(XV^em-Q>N+*~-x0?|C?h~CM)TgrEgDGnMto039-N$VPhO;@ z--22Dyz*TG@qkyfyE88%mSz)fu%fva+8Qm1y@_qcMFp)^yCW9k6(TiNsRH7-mT6B#c<=5XoAs8zzj<+u^Qz;U54!Yd3 zc;5=%j>T)QhXaXR9`4r`8qo|q`5&%VHNiX1Az6~djwAK4YPPYF+Xw-jk0EPVkhivI z)vyBp28R7stw_n~}NMk;S1RM#*?`It0-(dNN( zH$kwQ!tJ1>`!@Q*iaV~~5q1%*8V$6;dOm=E3nKo|sXM-tP74@D(>-R)%$p|$SCnSi zbx9oWrqctuMEHr^W>x~$-bhC;*9=ApwOYLNRK^m(RIn*b=J?% zFTR;@i}U~k5u216&QjwtVdW;ah!Na z#7HuwuY7$P7t1eBL8a`^ei4mYYlpkx3)!M&33A7+oV#&>qKr2ry|iJr6#FGM7r)e3gMXtdu_2@_PsB`^xKu1# zxLHT1b$ybxB^g#8F0N;p)>Whq$MiR?VC8ZJLh7}FcE3+Q+?ofX9+H{sbg>Q=?WJ-a zXY#hMwd<(U=cH9JigcYyV@+{19xHXAQ@JA??x|U&w)2+Tff9WG_%s`F(La*R8T$aD zGyk*^G9=R6ZY&~@h?Izun@_w(5o3#+Kpt`B2|QlqIh=Yv1V{hh^5{7p;`LQ-xk?qT8Q52gckDKu!U*tHoT zU6x-{t}m#Vw>Y3Up$;}ZF^F=lOT74Ug77*FF`}j5kHJr&k`k@Xz6O$BEB&POpjbHOS*0?7XNsSQp zm3ME7&{tS|*U;9`o502$8A-}c8{i~@oH3qjr)?$R5E0E}UeCww;}*&c-OuLOy#DH@ z5cj6`+{#kY%qq$05(xS`nTN!3C!J*llGG_gsp4Y5@Pr$DzG{q%i)DgrF5rZHc2+!6 zH5FIx2Os%ha-*58)ex;HUZcrunO%M25VidLxw6>3>7pC?A&Jf)$eV2Wc4LpfALylvYGDvuQE3HuRZXl}EC}5*JLk)1fZj4;}9c5rNZIAltDBNdkil?BN=t~r|RR96>Cb;g{e?*q$nK#+)HA7QHQqkR|$rj=( z)7Ul9P)c{lBPapef~Dk>?$HU?^n9o*GtGlRb+cKVKrc01vtiPt;*#UeCu)*k=XLAm zrlGd0zovt36^hBhDs{`SAXYQyic?d27tY3jBxd6K$g1g1UugQoLf{}=(a(D;DieQ> zL<_e4_2`%_`p3fSo?r(iLEh%TEAphMKn}N;B(W;|@BFTo>Izt6_e4BQeJs>3V8A)? zN+nayNKpsDQraAy=2WaOtPc(vZJQ6_>=q@TCJQ5#kmD`z3ZIhQ>dvu_w52l~-be9K z(S&LlepD=%#!ZF+*z`Jnd9PsOSnY2{`?<4ElnUwINwdhQV`hi<%M9$`%IrpaR7mUK zWZsAGx--{j>Q%@0T?m~Osv$N{ng=*dv3=%dDc(x=*wZ{tG2T;6K>^f%j>z@Iql_ZVVL?A#`qVW)(; zZpuSn^7~fSA(yi4n)jN4qT{gKKyxno<7EDg!qcEYT3Eek9vn9_qN5-cDjwjk{R|B^^ zfUKxZVauc*hXBjGU>gOFD3RL6nQwFs1x`qi6trz~O_-#DIcwp$0*~u03rDl(di+V^ zd<{WyC!}U7;cMaOI#QveRI_faeSB;#vo4c*N?q?;#l4iiGiQr7vFNU2LBitQxyGZu z8bA1Q)dYu32X9V#Ce&=xk>VkK7OmweCQ8?c+^X`~wQA`TdqGY=WWC=Ucp!nVYs2TB zX!B&bC>efjF<8$Il!ae_OBR-rWUA)5#l5SD{0BbH%^Tb++Xjr-1y$Je;;2!_bG2*ojSU?z9b3E@S5&_R%E5#WJn!OZAqEK!GQI=@{XYMjCvi) z*zVa5KUUQa)T+_G5eXGX@9D2ubrkkEe*3$*N;~^;O^5F>1luOfjqEOox)XO~Hj~@K zeu?3x3fOPixZn~u^VLurnV2~8J`9)P1wG4zk`Ku_n<-gE@^0b#HWq9Z0nonpTFL8k z%3ixU9MHQ9L4}q5&k>evB12%q6TAIu+Mh?y7SBr~;j=#5(<{5pwf??Ff({<4S8Bg3epQM&yV6sl?Oj@4oN1@FO%$Cf#>PiT&O|&ukw5PnY zg`uG888(sJPg>trC*Xd|%zsreBN5KY5OubxWnIxC63IJr0?+eN7qk-lWSm^;vzVC) zWB)}aS*%m|@xK^5#~x9DF5PyYwr$(C-KTBawr$(CZQHhO+s2%^$t089_rv^zN-C+; zUe8`nxQFux$>%G*b@**=F&c5P*&9Tm@VrzDxvtDY4C%$uN^e|e2g^E1cQ0e6glGZ2 z$N=&TzwPVx>YuSRCon^*HtBmFiYdHY;>b2zAEF13AJngzDL zWW-#cVbI4VJYN&}wzFzr=LEM59}8h?1j8NnpE-F`Oz`m@frH@YZswh7tW+eQ@rn_- zi7+_YNXGZ7lJ$JI3VId?UYTXu8X_lR1~ONvrplMFcdgAl!}P;OF%rkd?~EU43puJ- z>%uIlZtpL`&n>iU($bbeH^k4bCy@ zOn3@EB(GAx zKA*&r2~|h#gLRqrYu3KArOjnF>b2TDP2&y~EWQdc^0^kTjr!su#e`3GpA%uM#7fO1 zV*8P|Na=5_hirwE@dY%&3CagW!OKCAgT78IY~3XSw@jc@VcU|Unn@w#{?V84SUBQA ziJR=I38kK}v(jdL!`mknM8pRAg<{ziwUAZns2}s%yvL-_2nV; z#n*2ITQ=UgeS)-~g95a9tF86BU4aHR&C;ze2Cp}Yyu4VK{MpfxwQ)njq(6XOP&=go z`4An%v1cFr-JxG^P13W%EK_W;;DI|U=Kvba&RNWnOHEOd1vN|h!LJ_|UdLCg-IvNm zh)bP~=AH>AMR?&Z$qan7;;T@LgQ+2=0~!A0TpQFdAKfY=MY=^h!Xt~E7j%E3nR|e% zE*dq$Q4@Y(flU|A%r;epVobr0|Ab{s%eyQ#W_ZTqfra}9hj?q)VD(p$@tv%W($rct zz3p(T0OGB=%EhLnhDsFS`MW#S`k&oL#6sTmO|oLE=G`Dl8>5A*2MB*leCh-q4Q4y( z9rt%D-iMtiIbuFE9mqBO9wnr$Vf_4gl5uVLI97c>Wf-0dY5PW>KNUSv#Y`rmg%qDX z{iHal+B&3+($67`_@daoV_u8DZIWBA8kLucPa?G)G6LMR>e!F%k7 zb1!dfvfa?*N|#k+x-ECD@PMW>7sUOoSrge2<&G|RioBZoJyh_8a$3Awqi-u2a;h1A zIYMuuJ zroOLVNhZjA(J5_(3+K@&=^zxPclrwDiO4)P)JkLmX9}I^@*Ij*iFF~@Xp?+FB#`Ev z4?f8DwP(s@mG3{sV^Q|Z7O1+8Ttwal7ep0s2Gyp8&-<-v?J9(X_iu0!P>mQM)-aF8 z6V;=edHMm4CPHsd-o4Bt{=$=x2rlsD@gg~5`_6{8P)u8k$~CFMVM*nQCwb~1dkj|? zcK39PE^LnOVgrP9YPVZAHT904?0hOs!%*lLr^Mb_RXmHc+xDxe6@|uV`0h{!3`S>J z3QN`N;K;~6aXqDTeHqWHgM)7`C(RHQBf_QsZI-&^u%d)HIcYL(V)|WT=~dzuGmPQQy~QC`mHzSB>Pm&>e){YFE`J>vSBoYZ3?W z)j7CRn+}5p$~Uz3dC+YR#D(11z+%h=2Ft=J61w@a^zvErmV+ie%VwmwsHP2mY=VgI ziJ%}1G@bf_0PyNfQktvUgE7xrxntmfdweMGPVV+#O_@Ruv-EIrRp^+ z1drW;Zd(F|p{H{xBu_+hBkgB>rS#Mb1BPA4E713Cc|{iSN7|YCI-xV77GX!>E8|OH zjxFfZd?t|;F>1;f;ch6(_H>`C&M>hda#Y>ZqrC}i3h$JUcUgew>^D56$?c#t%1Aw zF`mTC`H{;sXE;;mIDNZFpm?W|)_I1Ttv2pg#*;d5wP=o6m|&VO5a6d)Holu-)VSLF z3?5(yE!abI+fA~ZpdHEYiVaH0AP={x&ihXO~7abgpZ-ck7}Fo0E}!jm+xb zJ6@7aCwbJDgw$s5S(n8^q+N`eMDZ;nn2H@$rqxt7WT(AUc4S2%47nw(zLUi%7OX+*9#_~B+vjdU@}`s zwQULXCX{E}j+5KzoK#9RCS*}-M3c;=mlsI3Ie2@P;=i!?cw{qEso0=&`5v~tU#mvE z0{7;H+%+HtDoQ&pxfea2HIL4xUR}FWzyeS@% z!WD6on)Cu;&n_dknz_ywMv?59YCTyjDRJmZv&Os>jXWJ^g;nt3gu6Ay*_Vb3a@jzX z=yjXh9$ON%j{nzZayt?Pw8}@XOv-=}m6WtrbVt*O#Di}m{Uw=_-k=L|xgex!*@1x6OF);W~tB>B-&R`qh4SJoC3L^Ob*UcWw#IL^2!q z5jNyHso1uxoP$CVvGI5zXGCwgTPCd|nPyL`E}M{(xSJT&xS5XD7uqI>;Zu$krz0XC z{`%0Q)~EM~dFFItv*>l?Cqg;H6z^U)(^BiqR;fL6HJJNGN=dli-Pa85+4K*SlTn}>6 zY&Bm$lC~^^)rWq^{UF=oTv{l0#_~c2-q71mLbAl!xkhOFd2*FcWG`U&r@rrhpb1p% zZmo&bMnSWI2^f*SI_~3<^}>u)95C+B)(5gZvQeNke|ER*B9%g&(MYTybPkoBP#A4&U)bQ(dV5cFZEHT3hdsB;;&6KKn#TMpgK zn2Kmql`;?tDqH12qb3F3J+n2cxta~g5;^wH;~p9y4{~dN0Xnw4PkyQCwg~PdSJ*vf zTmH>^0zqUs1_3IQY{WK|XSP>Ofph#krM@MHk+?9ncE$NUMsCa+;ab?CJ{A$~@UC#c z{CnxY;{P;!B=a<;Y!C0^wLS_E^T^CML@fTpHo|tUrPf}#OEwZ}Q@hM=Cuat|!g4=0 zG2NJW*7+)fIn33yfpA=7qH4-|A}s{v>AXX{e|*rvWTb{UhwUi{%)#F~B-QTuh)6l7 z$DjuBIclJCl!SyA7ElCJD#xi^L?Xsha%_SCiuiAtTYWgxhQm05@3Iy*OAzmbCJOT1 zxq9LYoTpCvU_3&?++FF`Y!#;}?F^Mn-LN`@M@I0- zkgBkWVBzTqdJB{6Z6#i&`Dj>&?RJUI=sx?N4WaVKgn>*H2tgIuSovoIX{e>xjEq~! zh0|nUT1czGVqPAMXV#-s%=u*(aQ#`h_@`SKpsk&&215*_2fOaA9asg{Y<5`)I6RLj-uAwc!JZI(qW&5C7+AQIXNG1 z1x}>DC4>~Sj$cWp9kf2)`J@$UB*sNy7ga&aWL#C%n!LJEyqX-ET_6k63a#Q&Wd`+J z9!YdJbst>p<$IRMFp&1k7wD_UU-cIhaVMtX3Xae!gQ!rKiM>{PL`G8jr2+#Y`?X-k zjfx9RuKp=WbT3GfPWOXw_3sfZnaEP`2dYIGU8$6pzJ(s+;LpgjEKxxt)IUQW zWOkR|j9pH(Zx_7%#PIqdBTRVq3-9}vbS&?fD6bQMy|jj{K528TH9nFJH8Zv~at30y ziGfB^d&$kMd$tJjA4$$n-;%mdqZ*-dzB&9M!Y|tU#`|ZSKTLrNEapZ_3-re30#4X= zHqb}LOVi;A-^y7I;3fd@fX%Eeg(?&QsR#JTZSvzA0t(7itfpo*XevpIk6)#!L)E>F>vVB{}j$ zE8eOp4`byTUFJZ**LRmHXrXuw79qaW*{&3kctm~*`(ifwrFfD(X74K*%5l`|&t$7t zF!ZO$^81w4f6fUZxOhsHD=Fpk>>1s{x1+jEsr1X16XSuYoI54U2bx4vkGo1nsKt@N zF%BV!qZzI>@h8rt2!$eV*RlHZZ=Yk_o}F_LFB6?S0Hmd83Uh`c@zUi!0w3}!a+43*;-JI`7pQwA*$Q?~Dx3zv zCzwKbvFAEt;ya$DVHl@XtXgXKR)SXtTGIsRXQ_5TuKRRK{#)@Uu!>_EWgm#{d4CoU4= zECNH<3&YS00Tm|!K1W74Pe`&UQjEKSFZ%bZ1>Pxp{k`q{^|b76HK|T_d})2<_00YD zHif}zY{9L~qM5?10uCf}19|gH@EgtOAOygd3xfkkCe|}t48_mt_pJi93ej_A2L?_4 zvVAjjr3d$KpzwnyXOl)p&O6zMhKK(H9wq@9CjQ4CKmcFvKsScoRow5-7?J_h+!0V& zf1VyY;HKd}AuZR?e>XoJ>q-KY!l3c<3kpV^y0Y`nfLy`W0}23U;0FP%{iACzV;Fg0 zjsAWJyuV`o6vux2Z4wWUp6>4V{#tup^sb+OwYUN3zy|>Hph5z-dHP%Ybg%#9_-Xa^ zVjU9c0iAL2@A*!7&~pW$jp0D^V`LGq>XBok>;X1|bOOnl0zE0Q0BF?co#B~A^TBfa z_11vm_mSP*I{AwHN&x%+z=E!?^=WAd$l-x6;p&0eg90@rF~7m@fa3yyTYOF;96^WX z9|+{&hcS&|9^ZA^!SjpDfB^_TzpA?0VY!A;{h0v^W&gd1`&GqUBB2tr#v9bq>XQS` z+Eew0g#VZ8y;$*n^Nn4GfP4)2_*UN($ZK)w)u?;6J7)6}+~V%5fb@0GlLGeLyy^${ z1BVAkMnVJg+Xm3H#RB`$9e?)L>hBfs*ELc42K1?+SM|fG0I>rYf{pqhxC;#A?gt3! z1Y_^J?FIVXLI4K`up(du_hVVZ{X_D`#Wexl^4a)TdI#qKh90CKj0^za=i|%MIOZUQ z2KwUavGwzI|H0A{0|TA+1sSlQ4H6kNEFTr{cd7s;;7b|g z?p95?3FJA~77WA>6aJ2mKB>Yg zOD+}^dw6sg9-Sn^7q=X|*?;{wnb@p>6g$61%Fdfkj&;#BM zabl@y?)YxZ_KsrYDJl3`EW*SqlRAo*GskhKQVAXSZCk*!b^j^~{C4WxN33$rpriF4-G)R!eQfA%WL?C{h)W8Z zZS|%y$_yG^1^kMjtiGsCYnO+|C6kWDDKCgp^>@!=AZz3_D`5K$9{c&P+CM#`?RULy znMADs?#hJB&HSC0x;keGx8EadgZP53A3)aJZaqn5p3^=q>(DNdos2FNJ+y;~JWPGm?pZD!Y7(qr zL*s#kiz$vYiHHxluC}%GDP&8wmydJQq_XLSq1g>%nRpe8R`j1K(QtiE28LvV_tfUW z-B`?yMQl!L(dtyAmA005MwiFUTYAhUJSb8g3>JSYsi($nZT08=JB}(yD zb_hmB|^qy>NL^BJnn?B)+Pi@YJi zXEi?|rju+xO9CtQP|Zn{rs+QMnfZO;*72^{uw z7T2%XFSTuoCuur()*#*1SQ;Coda6Fk3`D-nJcrvJr?b@~{XU;h5Ot^B;IKJEFS%PE z;6QujqhO`~-U4_uSs}7|-W6#lsLjS>cD$N1(=R3PBX9JW$WQZ;#BVLSo~<+|=08D< z4dljY`Nkq3%pmwqDk%JZh*N@X6o^Ls9REQWMx)N!bu&?aLe?eenz#Z(JV^58-+UmC z6#nfmVUbfe`7vi|3^uO0WcXt2SXdHq_qHcbwi*Dr%FtV*3cym!6qkJX2_w;T+LO6+ zk)E1an8pw?36Z37!L8{z>eI2=^_v_YeE0(uEJw>Z-a@*CS|;l#Tn2?u+J2G4xrm-j zT5i1)N+wn+Sd(hqfOWkb>f(XIKv&=ToM6a-7QL&MtaQ!WH zxG^b}n_+>gYk=`L_xTYzfi&#q28JQFnu|Obs+)EZ&BM1@G5EaWtzk{nA4m4ccsiaZ zTFB<1#NpE&@*LsupLQmEQ$1;`9|@Xm%LM}DOP;)~qH>=#OKf$#*|o;g$Yys<4wuSB z*#PXBj4b$efwy*1f&}JPTFaU01{RROx4gUKN$J$(!zBzlNNe#CYB3-IVc|a zgWcb!g)8Pv9YPU**NZrWg%2x06J)%{;>4|vfZZ&lx#@I64Q~KKqX0Ilf2gM^;2zgp z3wxw&Cy{{@-1yFhbDWz-(f8_SgZwW&{AX~rL*eI#n4Om<_1#*+nB4O7B+qCv1i{a$ zIufMCvW9m}ULKp95DMJml9K0|2qoS)R8KYA;ha_lFv6vY!TS~2uzF9L z{zCrzsKGclOwLho4XlnlbGSm9?ts@lT6x(FQx=Kz+0AwGvqI)7hl&-s`~}^$dFt>b zMqPy^;jpbwLK(OZrvUGLL@%|cC@7K7FOel+^-r>Vp%}Bdd>(}(LL%3|ae`QMJE;M& z#}BiI##J=yq>RRC(C3-qZ`5n_P!Vf7=#gyh)Zqh9x1C;PrxH3@Xl$NhOPrVwW@XGF zb?0Vx&Afs(|LEr znU{$NG|gFCEjB6MP+9rqZhY40CVn<5Cyu5rVKAmDj_6Vwg}B4R{+;3)8iv|pcHq#_ z(u_jqb~(nIba7zWuzyJdG=*6wRRu7X6}O`80Q1Q-3h6m241k{MXxtg^3aVnxx6cn z;5Z)z1I#%{j%|4fIpsoooL>Jo--UZd2^{;wX>IwlCsCuYBT~>8Je4f+{BMc9f&zmm zi%Dpsu--!d)9O)rc27}`t)&n*Sx#^(`ex$jb;&n@z&Z#0!NP?!3eWP2B%W~xV z?~w)pZe`+8GG!}aDG0ZZ`pApDl$B?GCW6oDZ~>JjnBO6`d4IeaunV?&n@>JdzVeqG zMkU($_O2u8M9$rv$YlDSUb|oTb137xg#7 zFrkldq6Y_T^TVyv_wN=LeS`24VTRSq8S?|9B}XR}q0#KThtJ*50%fp7h6f-%q&ujw z=mdLhZZGNg?P`^T`QWTMXaCuo@r!*=tn-vFGP~cw`ttFSt3RzP6dIUMNsTM9m*UE( zKsuL&ofoo~=NTw~MYb--xJ-_^>sFI)u4j_GFc1-2sOU)(%OW!%DLC+ODaUQdXk-$E zFe=cA>8e4cFR^w-rv^Q#Yhn!&ec7L*0`p}?>%$9 ztx>o5A4ud{Xt|G^q$2wf!B|JE8PN!BR2if!2Q8Q8I~Sg{b0^5+@f8QcapnppNTm(@ z=4eTcDzcqEtKwc)7XB1+>ur#d6u4+;IeQEuA^Yc*$F$_Rp(RMX@wYLF?3H{!zy!U!Ac1!GCqa}Ocj(!9&$>=LF}iW3`{7RJ)ZdnfA>EN zMTq7kIfS1Z&Rn1c2V)nN^KM66-a#lwmG`Q+P$JcRtm{>(;T@D^)EVY^-3EH~xCjel z!XkuyRL6Wt&Q_LB%lzu&RyV@esot}Xh~ix^hGq&(!~r);D->r7Jm#uqs6t8)>7&?N zjcIm&WIhoVho%|*rC&Q>8>cJh-%+t;CIX&1*6CWmqiLR%78uX9uzDzh9(i3oZxmQF zxJb(|h}=}|Trn>92}h^GmrVnTm;i6RtZ$f^>A=Tw_%3rb3fzIB>*`>%ju|A`3sLnF zz2lBcWq}&SRMzv%GZ3W?Y+DJu~6JvNLUz^6WKyqJLhF*v_% z>5$d#ocb625I6ZlFCVtQ8v_mIi#FDO1Yk#E+;vZL2cns2`i9#VwMC~eMDD~+KMAR@ zmgN3qz6ixEv{#zEs%?GwADiD4khg^P^8Ij5&PRCRZl5?mHB*Jvnzu{V##aAh!d4Zd z@r80D7m(XERs!FC9Ai4ErGBAjjufBolfnfAW=%-wqppO{wZljFko&lfH!;zrll(rL*~R69?G zk}ftkRV(`=nKRa+rzEKqSqj+MpZ8}NIY%yG{_(Xy&ab07bom+)1O8i}v9s?I zZLs?&WuIt}@3f_DMH4??k<`Q++E)1Iyv|YR)SfuIZxt{;o0@myUIl2lbv{`W&*Pb% z()=j6e+QAtaO*$TAK~zLevdvi=)#eire!Hw6TWDD;uiFu<+N%tp2S40@TH@1!_7$C%QlkaXEdJ@HP<3 zIUOD6vE<7n=>~^kNAzCk6_%FAF06b;Bod3U<5^v;*s4$ivik5*K`b-R4!b`|0d7@h zDX&NU_{OjwpV$)aeJLE;0K%o|sFbC0UaIiMt{Git4$elUXwZwz&X0czZb;M?yOPc=O}5j5C~Ws7HB;8w(k4->L~~MYrZ)5$)idFQ_MQ&iwv;Tg3XLPQz&Sr2(a7zXDQ&N3 z>TCLTSe%B`#{WZJI|%iWb<@p>v+ArWb$fF7$B@L%f(nSQGU7Yv`$}2-C-k!K^N{+o zAEnw2hUh_=o>YpK+Bp}~6FWuF`7n6Tacl28?_3pzVK4{uBcm|WCr#MRB^UNZses{l zCuh0Dg~iJtmHZtQOJ((*v*9-%hIa68hpqk^lTfITLM>J=GHx?bHJlUp0bUp2*}Hy! zsnkvCltJ5bX%sYXmH|fs!Yzu0j<9d-1^NK(3fPfdZbocZKUVp3#lysgnFEZs6PXaF z5ueBr(buutA1H)#$9zT|II@_lrMVO%qVQ$;(gS#ZD;sxWWU`?*qL;0+)PkU;e}!y# zDEZ+S?<#s7v$UoB7w7M?8xUIF{^(2jx3T;77lIEZrJ=5@mAw>ZW+t`IjGY1}-n*L) zwV*A%1q{BfC=&~$TVFmuhdD(Yx$QqTv+QBL1`qlB0aw;THnjIb+;6|%1Ed+0v%1q zk=9$|7Wo$y(QNh8Yw|jd@dABFBR-Q}*Gou2TPKov?Aalv1%m3=gN3S_LzgSJr&7SX zAG~6my1fi~mueg_(}iZb=T7zw;@*WYf-XYN1Hs!^(QvhekdYMQL=e(5HVc!kRb6tbdrDEM_ zNL{(44r3{~bM&KhJW(}k^8WeIBV6Nd&00(NXgiv!vuo6{pv=baZQX@sk4$fz-E_ZR zB$a(n@~U_Tl?~^Ki7AK9tNGFbtmap##xZm+@#RpjWGnL@hgKL&ie2|8t-Lvk71!cm zq%YlfUeee$bgC5@@%obQdoG8#a;}g6Qr&2~`;pqeP!KZ$O@o$ymCFIPG5MssLKp6P znEg(PD{P=@*#IzWzy?vILSQr*;`O+1QTikOTec79SN^PGBm`t=q#wA;*nJIbYG+ZM zT1CRbu1Vim70gRy6xApx;RW?{ZGj0MDW!(;@&+TR1Ji8YIys{qU;Abx@{Qc4aA}VM zR+=ehEG_R&V_v5KV4tkGiFlT}Dm53Mx1KL)wM3UDG#qlFih?A=wbryhbn!+1k+YvH z;+o3dZ{P%LV6}z-BfMBW?+y7lgA3QU)C?|(t!IgQeI^|Ntz)8Ke-l498q+&C=_yCL zlxkfxN~d^GVVQD_qd61crlX67w#UHP@02ZNQeiEX(T_|LeC6zaI^pEz%}ZDXGUTW> zzGKZbR!k9olXv{!&4`59kVnFicJXAZ@o`%-jG6v%&HMX@IhG3wWkb31Q)tMr@anxnUj(U=;){|>Gp9GSWurF zQd@wi^}RyiF|kEP^8VQ{N-sYQsG3*!`^J4;vm5v$2%2dmwNoR$riVACBfG(NXz^ zcgG0c(f2n2o7=}??<@F`x}z37HnT^<+2Qm(Xs#h)KXqTGCT!S%IkBA@)Ga}5O^QNh z23R`taFLiG)Bwo2GC}M;#(@}Q@{2q8!pBu4ecaq1jp(=)^CX)o(A_8;z@>HcgxE`1 z(FHBb9gmN^fM)c(Db5;^2Zl@M3cu$qipjjWfYAFE@^0MCfG#rj&EC@GtlWznPUX$U z105*+t**&Rzi()}Ob)TlyhWj?#|9UyYe50Q_d{MQ3z$Y(b=XMbW;4DrKdhk;q{=cj z@1Kz(1Q$1ytj!9bcp9#hGV~Bm=N`M!!F@3E1gNC?PbI656;4_ay`lI!&+0KO-zkaE zq1U~C!Ob19mN9kgfoK55y;vx+XUsiVHL2Mc>ur`khNOlCg_{s!WDZSBGPbZC(cC;p!X}A=o706klN|Hf=9uTL%vMW2NjQoZ)~&M9 zIfaKtV|RLLgzZ^0DKpNBk;I{wmh+$)AWBES=HWv^jB&$z05(dtHYuaLs z(V)d##gZ0%pg=AC=r{@skYRq{2@4To;rK9r77z(>6cQ-$DSpdmA9;UIzk3{eZm+Vg zdwf-QS8qFJ+-k8h!pOM_ar80GkX3*QAya@VF0dql`t|JP>D8e7CM_fSJo?DM3Mp59nFQQA^iKOvh@pe-1B(DY=c}orBcjbi zTmUi)a1rRO`T4f*^&UqIdrbKA`}p`2$Q8AcV;&aZ<3m3Q>1q3q(A%Pqpq)T}DbvmY zLeA4fCY32+S3^J`h-5Cit~~O?{^O3%+D)SeA%{c@7~0f-gtQ&prSI+EtxT7V$g^36xKMsv98( zXUjZ;djTcl#*bqU*^3nVhb1Z6Pfp9*SNZfhNWjgYTcjHSx0e$5+ab`?$T_Kz5;Hs~ zzi!7*_r08eo}O&063ox1br~o4MF`}ZV-SJd^sN>#%bQ!kgght}PD=Bd4h9?e4b0JB z-#;SR|3{`KPj^Ndh+DrmI8K+I_BRe+wuuZrh6)fhz;Dow&kx_Wj1D?% z_^nSc;HPzOmkj{;kCQ07zJClo8ZhKttSdHj;BWgOXRN>*(5;{SP#{2mFYhnM`a#=q zl&CxKSK&`*J3bVZv9cmf{w~Px-=czm7ckK9FmWJ}A>w|1aA7HE@@TH0ugypTc>Yw(3Ndx->!X)fTz|Jk^5VRNcN$Iyw`qPw5)yBn-x}0waM8LWBOAyfN;bV)v(UMr6sK-UyJ5A)`$E+Mt$<) z`Rod95Y>%}2clR_b#5S>qv!3y6{vJW>f*AhV{;B)q6$yVbXNy83R=maceaSmPuwlS zDKDx1MyjHIhT@|iNB4sVb6CP+m_ndLFKZJPte`_3 z@Tt*E`2eR2iu0>ldU()ls5Q|QB!K^AR1`HHu=;q2p`nG!aS!fmC@>}}W5SH3Q0lNFY#we(2*i8nsw zjca7CiVS{aO|wlb!k91Vq%sI>sJ?z1k5|?UU3piJ@{T59If%Y`!X8Qa16J05;O^q{ z*2XBFZ`G)6v^3CJ*xR3(*bo?pKlC|v9maX2Gwh|fE~Ed@UA~Kst!eim?@m>ipA_?} zpDE*7@8nC?4u^(pY_Sl2IF%1#o&4MgDdGHVZ%RDcj+!={SED%Z3|;e5q>*|^wQ?2aT0kqxF&`U`ARgV=Gu2OoNv zihZSWOp|#DWXHu?OUwvaMWoOltyYbpMu?@R_#LZN9`DTUz@X2lU*cHn-1;dB~C> zf0Zh8O=z|f{|zU^!@1Iaoy2S0lqzP|PrIPZc<>&Qb)%;wpjJQ!ynOp`sVa|CLNLN^ zZOG1lpt>+w@0QrnQw-5?0Pp0}i4V`%=>R_S&d+h~z)8 z+uGRcMhCb(&bKMc({(F6ko^k$R|4kJzG(Sa5N|q7m;*<-(zf3dMPl*fozt8d{_8@k?Ii--Ap=d|D*AGTC=K6 zLs@S#t#oO7$R&--MZCEt|Ig6DfkfFbz3=a$`G8T;!IQB5u<&LH`XGJvil{TV~)xgz&oibLHy|xD&aV@ z(p#sh(DEVf4L;Ba?7{Dl;)*@-+=Id{eY+(sYH6Fv1SttcNiW?Po9z!*U%v)-U5YHZ zZPtjazdl$s)Qu^@rShgFFil|}sMM&5plF0dovbX8yk1EL@OVjXB9VUWRYe$tp(^g8 zkvl$))Vq2EH8!EvrSqu;i+wa$1-5rajV^zJpKcEY@qpM`r`S(*=*cGqh9g-z=8nHzOY0;b~8 zhoaZNDI7dj%-=f9Ps$^y6xl<*O} zX42_l<*=}%1KX0Htb&)`9geYB4m%H)n@xu;E2~?xFxlQZ4P~D z_U1c6ggDs2*woje(no>d>xN`c&@^@I%4TpptpvEPS&3{VKAcDaUcAthj_sh8^hs+! z+Ht6Tr0icbys45eSIhLGJA3h}ieE{#P~eJ>4LFsETxh~pP-4bBO77RZIR{kwr>#}k z=wnm$cFJOB%qVwqRDI2Dx-!7hy} zu}IqzXbyo-1%%NviaNegiF!69b_`)u88>2g`!r)m;~*l|Rkqm?sTHw`H)U@i|Dkz{ z!kHq+6kLGtRTaW@Kh zwXi+1$3NZYk^UAboU?xi3;Fi67{qnUg?loS=JBlBalfd-mZu-x;F`wbN#4}%bClfH zqR@`ZWCwv&J~|qnw|d$Xn;6%~i2k#E01?%Qs?}!w3Qpa1(ePS@C84O2F_6>rS~xQD zpahX?a|L2|JQQ!E+-VQ>O#S+_VI%`u49nYr71yGZW5Tr{<^9=~W;`N`^D>vX^mX;A zPJd^7*WOay{P_56Wv7kPVLZLA75cZF(T&c(kRyX3Uh7VhLQ+!2Z}+De3R44eTkB%~ zau<@ctS=c$^I$Ycr$-p005kdJDrMsQ9h2ZML;@-$pbIcFK{zVpp`n3)>tfeRn1sZQ zhq4GNX@kQt!0q>t*=z92w8KLZxm#`g)GanDqAsASIz@60^Gk|EPKxzh7wm$K54}hp zKOelEF;4*|Pk{zkE6#X1HR*1NLqVJ7TTAvNdrAxB+>OC58McP+%b=tZ4|c7kv}KR)2O+- zcWu33FoZ+}Kb5rluU`*a4SnuUXDaqyVBS-QmUXRHrR~A{Ov1Zt~BtIiV8ax$! zQzW-^)&Z=HJHP$o&D;ZyA^848#BJn2&T{LTU{l=!}~6`z%+J%>*l*bncL;G>Y-o53$SX4-gwrHClK8IDYp zoHvNnGANz1lD6=PrN_%aj9t*~Q{$Zk2$|=T)L73_XdQDz- zI=EpW@)Nh^E~d)ifJeRBn0~ii)8Fvz7pzSUbB3EUv}%UWS-_tK=*n8@rCJto6_k?g znRLu`CQrK3FrR%9c_Bl6q3_4<<=V=ucAb0R;i#w(D7V}CR@mB(gW4tMCumv>sL!4x znLHKOp~y2G%cc~gI8zR#vnkGT{PC^ZoGBA_+M}M0BMU*(Dy_z9{1p~iY;g}y!TG?9 zNz0sE52fqL>$5Z=yjLMXh)?*L^c?IPM#wHgu)viy#X12HabW4h?u&~@S<2RwV=Ao{ zCtF1U{?fUVORiPJ5yf{Lrw?5(qZE|ra|YTgIvBsWws>UUXMW?evAPsvCYej*uA&Jx= z<>ichT-$ddTTsARxIw;?@7Gw`W*epo3}2_{1umj6$*A;vZCWZtU^8%E4uuT&?60EI zMIoc~)!c}l8H4$M&C9p~ndYK89#zcDwsMGdoD*B0Of&L67~b3;dm2LJi{Dr5XR>{m zBXbj#KP+6{U|G)=H%V<6RqUf;6W0XcaMLzh&zuuU23On4R6P1N&vbm=M4x1Im`2Eh zWyzv8)(bj>D3dRog*nu&%vw>+8rLTDE#k6k>HdZuJr`U}UJb}UORhnr;M6{Xq6~(5 zSlSrWH8t!bVdxu`6aHgx62v{> zy-!t9{|rC*#3rYt{N*Ep&NaWGo>^(hD}>X9M$$Pn*|OT9hvgWpm&i`R0~G5)%qBgN z36B>uH^^E(O=%@189Q06bv=Ud|HarjH3o%z48nZMy^y_N&2My`nfEI2^isTP+$SwV(P@japxxacZ`TQ zQg=PC`*Zo2T&>Rc{#_;WX}kc@MM;W6p%y-UWptJeVWUo7GRcR z*g}psR+2U`ejgnw0eERE@5ie5lvH*d%zZXd-i;5cq^$#+{r*$FT86BW^A3DP9O`eoGDtYiU*SJ03r% z@MZZSfg8Y^>IrdKm6I#{iWQ(a79Ea-1Em5ra&dQ*C*iX- zV+0yqUxy1^bWs&h6Pv~X&lDE?o^!@mZWt;$sx^2V-jnqnWk6CtyaabjQ%sczI;=PR zGsb&&i}#puAtDwJBQ{N6*yX2ZYQ?jdz1cjOc@=*{W8pVS$+WDS18JKl+(;{eo=lq{ z>V3GS`{IXQf*=)t;*ewOZgm!I^Yf{K(OrIIDG$mB@)z<(V+MB@`?8DWsPg9}H=g2V zZHB4YR?W^Jbavy?qdVeJ&G%njlSz3ORw5ZPczSbhsp{-k_07thPBx_4Yk)Z0;IyoI zg(%PLI)jvDA86gPeq3e}ljD;14pl4z$r^L;;ah4P>E*G!%}P|OrDo@CK)WDygd2Yd zz`;%thUp*Agw7Or`+pkNqwBem8)j1^dO!tX6EAUU87`Ot_L{~N49N`a5)L@ER~k_$ z6KRN0C5+gXCXa;ff=}wtI!YY-!Bm7W$RitOK2&re8?=~-^NaC}5}#fSzqw;+F198z zvz~2TTO52wBK26)1qUY7x!brh(Z@oMq2u0;8_MrxclW(x`dT3~NO5V$rk^fl~CmO*NIO0lZIxcKINii+4oMP3Xti&VpMP$yK44lsQ-; zwnF8DAiIgIepBL`N0rZ4c$pXqpRYSXSIF*1Z#v^`GpxDd?ch(Yms4nur)=+l+kli6 zWs*Zmr7xx%LjO2SifVS}4dGGf#r-gDLdE_NS&H7v9W^k+OUhVK!sBwpL$t7+6T$}1 z9Xwzs8TZqbO6 zP*u;L)pUSq4h2e|OK_Q1Gxj&Ia_bFeH;8zMDwp&^9%>IfMl%@em}!kMo?-4ls5Y3N zka~$D!74THs-6{{*7GFUE55Jvfx{P2Oo$$1*(+;dcMZm2u9Dh=T^B^MasvFOS?IeEV zO>Wo3$24V7YQe*@$v=9<8%&r`8Bc#cTZu$Yg`ad`U#kAl%JZ;$Zk$lb-yzDtLTrtx zl2}gpkYDQfyPblV&6_J7EdG6$h03}4djHdz(RuXeAjY$cibjg(_+#dIlZWX`Yo{DC z;%4^8NmEnEqAR>-B_FNzmO3Lb!Zi{ZE6#EY8+tYc zx1W3*cx%64&!S?GAa}6Ah`9yt6$uN`QsTYKWZGE2gxU#e>Gb{2 zjguw@&Xq^nD-?!H<%41f;V+)Cz|j)7pOsbbwANs7qIL5by9>PsfyZNrQmL|zw_6%hQE?Y0pQ~m_Hv8&z5MNMRp5tVlgp`LDW zw&DE+aiV#vgxgddAVan(5aVS9J^JEu%yzx9iZbFaD1_PQc^*0TtjUc(g9@b57%L8j^xQpKTPJnl75~lB)&npxH1o_=| zu5$^o6=Scu1IUmdq@(VCx}PuxjSNx^J*&k@A$c1s8|cI^XpcEDwVXA9geWacju&rS z3R_inQX$+NEB3@=8-T4X@W^ASgKC=a%l|+8G8*#%vJGVRN%7CIo#Q%*yF65^?D!aN$zV@Wqj zkTHvnl^Bz2WVnIpBBd0|d+vP@jEh1`Dh-W{-Bt6Hjgq4LGtXtWC|VtDehFJ63c_#M zzTJXyT$=_AxBeb~uL}SWxRTPzLazR~mr&Ed1|y;pb37_L2fna_GwNzLE6l=%#g{1M z`z(CkDHhwgTTn+3e1(2&HQ8mMjLu^29Y|B~wuiO|)+ZcNKTmkR4S^G2*PKhzU)*L* zS?lX&!2K;AnA7D0e=lR=ddxhCQBgAm`$uKrtf@X zMqR&(^WUmF8w81CiUXTlVDoOPso1hxToU&EG=r80j-X}Q4N}iuS@yu-FrTbSgb#zC zdeNRITUnrf)ZIWTap%$UpU)0C8MNJ%%W-JB83)$y>68x7WU+PK>*Su@G!W$ny@zOk z#YihDYu6N|!To@h_%xwwD0rHv{SB) z^r5Qy2#_Xnc41h*niwcF!8P)HrKt_&J6L)TwD4amJH{7>)ud-L|D1HIju>5qgI;8} z5~(Fw_H3Q+nNBJNb>sWm`e7z(dAj5!%Kl)eo+JU?4817vQ%99+_GYB!*>EtAx}K$o zQ=bCGCM0y9e;N4AyqyJ+-@Q?G5jNrA-4Tb%_wkvAj~JWB2lEm# zrl~c*YZ*Lsf_olfb!xw*Ui}#BY4Mf|o9=kId9ztWg(5Gg+^Gd?Qb{w84hiH_-xMjL zZp()4Ns%YJ45OM6aj;~q*0C=nGI(EOc1aP`B0FpfzxxM*VmT9^gfB_1CtlvmrAFJV zbZBRYg&(fNpG1pp_r;<< zrnqo(9n6weOY?kDNc-g4T2mZT<0`2)m~!gR;;H;){!mRWds5K<Bf?}WD!~53z_Vc&)+1qj@<2~Dy-!r#+*5@T% zV{j_(Ge~O&&IDL7L=bW7i^uB#0JNIC16Y7U49N04p|*V-SU z4>^q%Bk1m34T4Ql9ArQxD|K~pG7|g@=+wWRTcXhsu&WP3+>Z|e&fyhg9ndEkW)7^w z?=?G8bzOuj(`Fv z=98LVw2pfW&HaY2%Qxc^CfHr@`=_x1T=@FRH`(BHf5H+1wA0;h3FX%=4&jDB4HyCt z;RG2O5%C1vZwr9HR!e+G4;$mHEx-rccW?{~=u6w62Eg+#W*$HtFT}h5B{;Z8004w5 zyu9D8FZNIO!0{>gn!hz70CpTOM#QI_6A4ViuVwUAFZUX@{zzyNKEL1X>g6ptbkV?- zzI@m$|I;q*iHeFM-(pY0Cwi5ts@(Zz_BA+yh_T2ySPky&f{^m~j zioW+kefu&izW53FY_9(hefeGqpfe1e!ULCU!-F_LHR+FO`2El?V?3>%S@>V|;nDqC zst5zbFA{(|3s7Zb>V<{MozdgKsDXI~UODwcXpQzNKcd^bS?>JT#tJ$Z_-}_noUWJG zuaPiZdNuO{nm=*z`zDCc%v|rQO2Edzl@DyDUmXO%*$v!Nzvv5AI}+I2J#py*+|jqz z6o4)s1&qHFAb}+ez}n!Jy)Ub37=B;mQ-J&Wy1>r`#=_U;z$`h?UNd0FFFJuA$d-Q# z0mRr(uX}*+p6@3y^NA>vZ}i1(8h`_Ps2)1$81B)D|JD007zt)T)#Gki8Uj)<=a=GW z?c|}Y`oF>N7dekH2s-^T@UL8uxE=Yp!P`r0IKTniUrEfq%ZMp7lhCeipW+8Ovm?w0 z4}tz(ryufI-|Uv^&`$1!<5zV8t^3^PTTeKU2e9=6x~Tyx(t&J?fz6tVBeSlyRxw7k zRjvYLna_eCL>kB1FC5nT2IZ2iqw4D&MYz(-nN(5PnU6&~uXe0QHs4(2hJ=!gPyvOD z%{c!38T>DwmmNS6Tkt{`40M^;9Rfbtg+k&cwm}9X8OEIMaD;2LE%#O(w@tuZcPbYE zJ3tgY1jeFyf`cOmZn(LeOeThE!Vu}{@B{p|Ok+2UGR&CW0$%V@y@}RgMeo;jhR9hQ z&401@;%+LPn`Yj;66FJ1LQuq#S~j68hr3?{4W)QDV$1*$y;r_`O2(Lk$`R6dLx2r! zhXb$9+-?R7!I{Es-oIXg9=Tmne<2zf4|Vcpw}X^rbGr3iHhOLYCFe$bB~`X$PWuAf zu_47_n<7HOYM`Jjd|%bI`d2wCEHz~}%d*Jl5<(;@2ANqqub{gzZff!ny?#6us5{Ty zdvjM9UC@s6+Rocz^j|8!pp0}8HCUa@e)DOgH$?Q=)>ZF4sKijpxyS7icx&P9Sy_E) zy|b|rAtafNMmUexM6Bf?dOjp|S*!S`>0`@cyul*9XIW4ibsoGzt3OTrIc$ZN2X&>{tj?oa%|D}{Baq?K zaS?9-MsA2j1%!faq6Y1`G#hhO_+{%ZJ3-ewyoS4WKe(~GSBgSr%tOl#t-7CU&mCJb zx`=mvan5`~(sqZ{stl27_+Yw83UNd~t)uXF{>abyK#lTvDB_=BTQXr$BjgVOz|1A5 zGK@pb{L0#LbRK4@lA0Cf?#tj_*7Wm{Ldp1go)=Jb-Y2Z{i0^yE;FncDNN#mT23KN* z7!}J=n8s91nht2|BHH>H49tr91(i+(?$mV#q;p=s){dCctjqAJxdWaN5l(iw&5hH6 z6TPS*zRvf9>Ys$!J}C>4iwA{MCqd>-kCrLu*qCvl6a3@Tfh^(kPq^>9^VFvsUbH^k zczy3M0kw9d{=xPeu}UXqxH!C3ux&wOa~lp-B8)!nmY7AqCYuFY zqz;K^#BC(nh1#ZeR5^mzK33CC)6a0n?A{05)I&}6A||I}t5JaP8ZF|-5Hayc3Fn_7 zwGLlj>^Lu==lM6gUi zDrNMZtj2kzQ_gF=@8u6fWt*4o5?IvSe#In3LphCxUqhB?A|$^HJ##*w${$5BI6Wd_ z+LS>S8&tL1fsY0`gRW=b#}2Ko2)P|B)H+hkj+@hUp*2W`T`U4CdSPkd z0|`UrLSUSiEv~;=Mkd7emk{0b#AK*9A7b6$d3VX9GLPByW*6DbnJ$ke@%~nXh?elg zY0n!+tNHSFVH~Bi3@*8Q~RK;R1M`gIeBoW9oJl2;Fm2AQH<=U z4^gl#v=G^b;JlPjz}Z$Ao52D~_>)SYJ=wufd`gY7Ib(*;%n2b)cr%7|h03ib70qb)&=55gfbN*Y zP0>eh(cml3X3G`*$Z3t12JqZ6g~o9Lg{!?)mifbTs1{SJgBIa%H3svm+vA!5EnuFb zwMa(-zrE#Q^knX6MNoyTo?>j@L(M!G9O~j^5jYlF^p^uEoaB2c{NbvFs()!0yBzh8 z7f_wZDzD+3WA~7Iu7u2Jv?Pj?z~4!k{&d$&bHY$ZtZ!QK`a z!EpFR7{95|mk9sX!L&n5bZtZc46$PwzghcOq(Li}wK9oKn}nWgs(EL<#+T`*_)Gtb zTe0|Kr>IMntw#%&d0Qs-9UnyA-NF-KTJH!rkJedHc(z_apCe{WnU{y~wpO0xomJ=f*(4Ax^wtYV6)TBj%e~xFEwItNN?AN}LO$8WsS6ffq3w}< z^bVD{9IV6geLjxF7t^=;HX7O26q@l@%1$zm*z{O>ZN&w+Dn^xUAE)JEgu3>PG(nvZ zJLYkmYX$Nef($J>UrW7^AO6i9LX;mWzS7#Bi)>|X6KMkuaB z8rqD6u#&u(4C_(@Dm>(nLXW(5#m`mn%z<~TVBuM4Be-{&u-)(9AHeB8XxgvMsD6)F zElhz`SmIgnjG)7CSkIe;4bE=OZfTT~O>3z&3}}OYcdvyod=wEjop>bo%sDqD{R0ra^UOMA`soiV>1$!5#7)E#b!g2?lK}98Il${hr1zls2=hKUD zNOpCygx@Z}Muzh<9`W#;>e*jRx?r7tBnw^w-41|Y#qZgPS>?f4j4k+_Qp7`D2&Uvy z{J_Y#y3j12Qc(D)_8=X6T+=b#uz{h1>eiFs3AUj}8&QySG$Z<{HWK&9qy3X*h-jt48%GxT@$D7}DH42gbz+jT1GRT zs3u(k9&w8bS)lDbwY+H!^wmZBi&=f=29@PYb3*=qo$=$60FXZ`&torK$LG;A!0EC> zNl=<&$k|19xmsfYR4#fS?%S13L?~!oG>Sh54BHyiPl|kwuFRkEHBATonw?tHZ{rO6 zgUdC^lKCE07$2s=;mCS#yXPB9K11$~BdniA^m0dDh1Yo3)UN|bjYY?=IV-vM8yA(e zhZHm1fnD?}X+9_OLFm`9k03|vvD^6W^XgLdEIau;8Seuv6sAFCtu7O%i4=h>3UPx4BqwJ`fF-NgTN)^WE|b`4q62>tDvi8@&r@-q z5|_kP;C*iBlN@{MNZqiv2-5M-1}_{SQm0t9pb;I7>n;SS=Pf^Lq*<|roeK*OuicIVB3bT&2aiA5=(uR0s zOoh$3;uaz^!L`hZjm(L`bAqIpBjMHFN5-TR z4jl$yXtpKSiaEISkRt}Z7-W%V!i%%lacTD`h|;nOv8u7z!)&=tR2e| zd}&t2qNQBnQ-{AV*MC8+*TZQ*Cd(HgUQEqQ<bu$^43 zODhh@ojazL$V$jAq8g(876}z&mDTB2QKuF)wbvPU8uavcj@5ami0Jfda||qh;&qgL z_5M_Xw)U{$>{jn47Uw&hDH=Hck;g6;e5CAJnG{$Zqz}j0Sz*$3F3$YSO8h+DZ15U9 zJzt*Kg{gJI)M6bWBIcytD3RtCC?H|-LbWPKU(@Ht%AlF%f&@3EsegrElU{B^HX>ZP z?eUJU%OTucPs!|4MXmLGwU|~;o(bVE_UTq}?yDWAwi4J~aAJy#@PmFuO>{UPWlY-M8;o#;-STv_Mv=x%C4vyQMkos!8sIqRgoRnSx{NP9n%2&?~nEDeKzS<0$bq(!j z$^h@I(4Q(O^66ZfWBHkVDu@+1;=`%ANFBiB2x)JuS&Fth99>Q#5zdQGCWc_V#jKIq zhEDg(fJxpl6hz`L?kXcAL>Akh#{kvm*o!FZ6Xs)JR{u^%qhYZ?a&q%y-C(DqCSB)Q zhbFWkUcr=LL_8!0*iAf#)QdYWPJF7H4R2uGc0n!M%_+>v-MDr0~s zN&qoW$D`~;%7PQbmn}0g|A)n+j`?O;>Py`tA!FrwozKhRQHHQiwM2=xDw$m)U12D$ zG(ye;9QiuSQBv5JD=Rj_-mJq=@q*xp+ROHsVhX#&rk+i0hT*`OxS(+g`HqJj!=3?$ zMA}PHzll#6pyE=adg(k2|9dsWX)iu;vcuJRO zAF(9J^t_(tM+NdZn{my*e3I%o^D)+O@%8?Znz5OuRdqd!0)f;3yAt55_7HTgR(u`J z2+iBWjCdpok?T=%Nr4W8r@r=ZH)roG(^+2nZ(kE>HlDT7ZhgqjQ_FoXX*&5?0)(4{ z8eGTtii{Utl02;=B4WGX1B+6aF7d=ZrkKXAje+Yr9AUVXRZM>-x*w+M9w@P6 zZ%A)*j#%Gm06canUPL@6EsJp~!cUDe@35qn2+FSs*An6VY61Cy`>|tY}{jbkwBgLfA~@ zhLB~id}^{;LXyiA7Mk+(MP08d$VNxapjku+B;Lf4NiPxMZ&quhev1SPak7ze5>4-d z?(pzzbM()(+Svn^mEw2OTjq+-Z@q8_tVZC@Lxb3Nf!-=SUINxjn{HKDTj1_>WBgzR!ZMf4bmTbe8c``eiwZ^6M{ODirE z&coqw+2?5uBdle)>}_5(U#Y8JKuO4J#TGv}8N=WZ|829Wm>hC0D=1&QyBc#f1W##7 zTI5rEzJ(opxXVq|jbS=onCNCkkLM`S5*s%V^6lpuWzAS<0gV_gyqE(TM*|duSMG#3 z3Jx`fMC8)G%O1xM^ZrDUI&YrpA(`4gf`Ltsm9QG&JkA}+;KwaD%nk;LW{<1hD&jGM z8Epb11uV~|18`e~vbCQ8v&_@%{>XMKk1t`IYLKQJyD11I}d555W?#vrwg%=C@5I;A39 zo}$Qniz@HYL#5k^aJWJp%i|&bJbQ=ryC~qqyBpd=FLB9 zKU0cwp)mdj7HI_|$lEPvbxIAMUj-`-cYVfC6DKra&JaUo0k%B*K$V(d(A!WJA!mpA z0MErk@(54PyGp_m<_be;LT}UVrfW64DJ@jl!`B4$o@*O{v0Q=RLU}1~wZFjQcZx4_ zT5x4@pl6N3v2D|epW==nMeqF+ubVVKEAJFL%ilTMYPMWz0}N1Ejz@bJUkglznm^u8hVkb|6!|QJf#2IM4c9D0>E`()u4d!2=-3CT)b=A|$_-EWM$%8ba{D21 z=k{yky4^MS%WW@;hcYRc)%SudiT9DU$Rq&_%?>0j`Rm`w9B&@k;ggohQFW`=wJmn> zb3D;alPQRfzt3+>M{*+s-4t%qYUtwgi!U1vC)?0cFX_@Yy<*uxCsf(%_&_2b#oNw7 zJNPc}b@*cE&jz`ke>bzV-=tX7Ov~P<(x|7mJ^8!vuP<~j zs)AQ3A}Kdv4bMGD(=q_hF(bry+P7|uOQ1OocaNQy@!K>t&Zta_P|9BWrsaW1q4n%v z=#=~aw#)UPm5F1`9PIb>WRo2^Z{J z*2rYwBlkEq+Dq0n#SS+EG9jfAr7RTq#n&Y|gqCf>VR+M_t~n4Wxc~4oUY0O1Twr(Z4nf~kn0K%HX{bZ{SApa z`I^PP=1J(Kb%UErz4YfyB{1wrGq0v%_ZH?=vE>cC?Xkue>*=5U* zgx24{eEx!bC)ff^W?4nramzva@4`B6ww@;bd#NAyvTSPUKc(z!IQ3_NFe+}Pq`OBu za5OG7oBnxmRw-97=~L~1k>Zu+Rgx)}wY7aZ1~t>oXKozFLgl5q;bfy?X0J#sE~zmd z;`vS$;#Re?>1YD9b6(j#%NbuZ-R*~>L+}C`C(0?D4(Zk$kM#VwS8ev2P>b%ktN3zu z`Bcnw@9~2-FL;UV5)x3=mVZnrD{}JofFh%(8sa58?Ujwb>ac97T{wMkSQ3q22taP) z5~vXlv`z8qhO&J79*E%vHooyU#Go4H-4v85uK+zc(ffw#gO9ni&$D%5eWek|qAB6f zrMSppgwqryxXs{1zD11CA+zbTIJebZO|a6p&T9a4vjx`A{OO0m=7DsqRPhQQ#O=Ou zQ$c|)tv(Ab$uOHTj&00io>7VWYw@*G*HObCUund_A>OzOocy3-HePLzpZ zXJ}Og%g~9Yd!m`-XIY4pj3k_KBu5-bwfeWSt3T$y=EmBL+aX6JY9wAAIv9G*SSkq# zjZ+PzXa4TZUMI(wCmwHGgjjM}`1fIpkJ?0(@63B{D5?W&=h_;~^?DMvQqqCD4Qb4Y zm3-pTj?w$qM}13kiJ|GLi0I`>`SYj98$gLk!i5?C>Jh4Bjn$_*8kc)pmkZ#tA0OF_ zNhG1$5OD|xQTu-=*Z5Xnz(UVEzDFt!W$rl)m3$5A~AX~HA zb2PM>25kY#Ye@;*MV0l6h9i;UhKa9O08RKeEmWlF67Z$rHwiKqkSHM)5+ zEUs+zmobhg`%_*Nl%WaEGKC7_0*gZ85a8=sW6yP3^aAX}dE$O`OeBj^&{;t_g#;&APt_(nsC7ixOCjs4V!Q?QY{ zPz>ubruTRi)+t_?5;;AP;TEFX{o6*N*m}5n^YY{2I&h>L7VI2$^5yu)loBK*S=teG z%+XPnizLGRPtq(%m}r84>)zE0#)iq`9v^$jmyio{E_0pvo zPh}(E;NH7`)t(vxmA)5&LD|u2)*DCBmYts^p?!Vd?1sBjd`34xopfwu@t{T!NTVN1 z#la#oezdZ8;6wh}q__EQAo)?}-a7mD_lG9AwZn7Sa!0NDN|1P!#fr9saW)7M!pJTN{V z|4-lv=YIlEnA!hFgU&?2#=yk!-x$jOb~dnavNQhQoekj1iQ6r-5E8ZvMdP6;fWSdJ z#eq*$-J(bYNgzUJ-IBIMGKdI8t_VeHltiK(eos_+KvLrE^;wQLzB|~5-SLbGSM4X7 zp4Hu_Ur2DOI>5T_6c2>bpy2|KPe z@G@dV23I0D(V|LtD4Scq5v#}AT7Xnqb^-!ILa>i)xUtSYc{?o#pt*oNTz$GUTx-G^ zKfnbvIN{H)LXgxZV61DZ@!8ws<6&@n`%~e9t6Td(0D6uMz`4-&LHQg8iaSev0qg^y zPi9PfL~#8x0N39@Y=Y}KT?7=EK7biJEsO!&#C?Ci0eJuu$36iW_=hg<;fyJAdLUK<+kXm^p>{BVo@%K>!fIZ_yx*PGZJ) z1UZN;%m)PFw{1=k`S?{}f;7P2m{Xg`fX;&L_pSYzUa_NJ6)?w%35YVHg<;STfllP_ z3pvP`fOW%|?a<%ZX)eMzU5MUZXl@Q5i&smCvQX+@V34h8;F6N3)ByjmpTPCOIX?(> zA!TKC6u)*r23xIvM)YG?Z*7C#K%idzDUg3gbP2USIA#zU02}Z@FNF7YVIBhjtYbjv zyU$&J-P%{#89&JK*1{;^?6;G%&kw@k2Cy#5&p&nY~}F^IoMNTcBT+ z*i$I3EYMOp}H+^!N(H!rv27B+I+s^hluMgS?#>2c68lKNvCg~+Ur;S@r*-zgV zVaVx;g*ii8tJw5>&ENDGlhs4F0R)etRGCMexxHV#Y+KfsR9#V@2`WKH1YuJ=!oUkR zgBSAG3=bg7qG%qT&3dg&Av1xaqk%Picq|6PJ+gRIh*0Ax%qx9XG@A5!Zpq0dW)=Tz z;6^G59;w%pu%5Gd`%ei

Vk@>wf8daaZd+YhC_^GA0-)KO&H@v<%~jcyu!o1p58IPd}Odw&Z-d}a&BAj zKkL%9|9+D)r|yrxX|NN-P;S{mX?1UmhdWQ^nv`UpvY9PfEM3W@H6iCB8oErvnLk5A z#whx1QVRNriDZJbNb`AD;*!5uDue91IzRMGS&|fNVCa`zwvGlorJep%`>+AgH`_aFH zEwNIwu*J^TcFis#k*(}5OYFyo-7PBNKdX$llF}@O8@S5Y5n(}H&M4lzLA+?MrNw63 zan8v2G+;1NEmpG}H)8bqiTD{wm^}=;AoYArt8g^>w<7?1^Yk#KNs3oPeQ!uwYR}b zQ{;o@=@C$_6#V$iIl4sx^&)rSJRxxBugP1E(b%kv0==x8dg1$1d`|?X&d{lIAn?vg`b3^@4 zD40w8gVB7)Z0$xm*idtXRhT)ol@&CogTNK8@rVmye9+I!^2ziPcn=ZH?n1>z#&~cQ zS{USa)9dTw?oZQ0Bu;_CO82Z{`0Pi?s}(8DuQ1tJS!a9^VdTRQhJFiT0>Hz8bBYy8 zh6+N*V$y74q2&{PxNnrKfxgRG*v0*3J_k4zS$pe72_JSA0;Rw5?lhdro~pd#K{dz$ zmE}tu_?x*#f(i?To(T=~m5-&y0TCi7;8VQFx0Y=9lE|gaCy9gmt%xlfRw8}9mA^<8raT2wiqS7HhIoW$a0=sLP1CA^Meo!r57<<_t2S-K zY9Q0U9Tbe{+^4Z8yo(popvT@G6U>Z#{ARR&K2|OHOgBIpp#2JP)W9gC_z10mmR(+rd;$?!*X9YBF zQAXD9#Rr75m~l8jh-hojsa|?UXL^eALx{*UdHt;^z|J&Rvq|B^aC$@`xvE-LRGfSW%G6Qskm`a`tbF z1lOl<1M);T<^j)}q8G<0_$eSZG zDg$&bP>VI{ z25?xGd0FhfN3I@nLB%tt8b4)E8Jms?9i6E1cYBOVgm#4ei-#6EyLB3$4gz<|!*{r? z@$GAGh$`H0!%xz|#-{~fhwwEd`KZVw$>oK0r3xa~q|9h?Yrz`!nxb%md>VW5cIT4U z#sQ~6_m&yEaNGO0V^fe|NLVQ4=`Se?&zrgXfw!UnpzhD>o$y}q7*U6KaBA5qjpAIB zgB6dp6^};qIZ$g~hauK_j&O|Yzlpb+*%hxEGx0?X-)H+_E|)K8VtXn6ND=-Ik6c(x zYxdw=GpFiC{Z*42qevHq?w8JdsZR5X5)?U0xwemVOOCR~`;ud z{EiTvoL;`uraX-cwp^SvDNGI+?t)&QQ->g>3(PaA_YQrPC9D^c*S4PQ3{Ype!$r5N zkkMM9D%+g-S>8YJ7y*wu_In_m6H10%Pd@aSLdIw46l~%*@X`1yTQ+G&@g7IRZj%W)xfHn^S3o>5kj2 zY?_3*hOPJRb)~ADV}fRqQVhI#m30DGg*ozw8VXlNHzM?R!2~Sg@lqoYY=^p!>T%QF zD*H>P@y!O*1K@0H2CMJ_7l{Qd(QCgmPVLwoZ4xP z7Ij-3?OWih4RFe-rxips7v1;Vutbg!ab#cNg+;?f&Y^Bqqg6dBs%B0k~Wn$P_dX*Sguz<(q8_}&t-^No@(?^NN zyLGezkHovKx{;8yRiqh-!F@Qa>#?h9lb&n|>#-+Z#(u`w`=0BmAVzl8ZCxfS+jIdV z;38%=)J2#uOG;6SAg!=if}tjh@j>$0Ia@CtWiV>>o0(T}@ze^WB1=)nTv7&lLSgc5 z_Yi-f!O+(dkm_7e4ZO#Gy9ir8LPk}ZD!=#8JL(ouQz7w)4H8W^4rGf>ZqlAhq`z_! zl}RNw!A)rq5)U%u?x4Lm7;XbrJH>{Bjh+Hs`8+hCT7Xy7u4dpb{$Uf2$Zvn-VkQLO zpSOxznfBY7Lxz)-`c@!C1micEpURRN7Y^nAlHRC4vu3qh! z!gxa>=>P^>w^BHXIt*8&x&+}Z-C6gxvx}D7lRW2KyDBE~iXQ0NPQRntB5`O^U)1Ik z$B4!qZInc+;|h=^)1uS?x^-D;*;=^6Dx6^(_oFTEA!)qe z4e{u-el*A8mW&iA8%ayLZ>yl~yx-s6zyG-j?P?YDLnnoPf;L(dYpIpbj5!XE84^l+ zQC(a&$cx-*lfxtxw2fe}bX`jV51fA7zr5`Z>JF`v#he+GQE38YPCGv#3T~D;sYJg% zcb?g>BVc9ds^(;y&{fGS49;u<+eJdTk9f4 z|G0v|PNtf#UPcz8taZ<9<(9D33NtVj+u=QY9f<-xiz81hGt|A3hZBLTDV~0r1()%t zP8AspiYcm;m~JxQ1|5dpto0OVUZ%%WF?>y!QAhTEX@kEebon@*I@}A=EGiy_u4j<8mCym;16z_EV%)v#l|N;hUg)9 zT-2#UC0=QdCnPwu>@nA@llzCwXVxmFI{rA(oDX!7Wo29ZWSO`I))&d9l_Uu|GxPWXf!^pC1GthJn9}dDc6E zTNF}5C3|%yJ}!$kSm4MHs>N;|@N|+iXiUC;c`adws$Xi=&*D9u=^s%=>wj4j4FNpeh(-2YO4O7&|+~&?K{* z`&Xif_;-cINRjg>s>*psnkr{hR6W~DOPQHGFJckP%elm7fk)mQ_wqV0p^s5zxkKB&?d=&qBS z23Ir&aXa@~6f)=aroGkMM4V#vnou+o^_CSXwIxprF!gCqgJ;kCF2;BK*Q&-=|izxQO{22xeq?m0M;33PTqJsw;4=$Jg7|>M#DNB<(5~uW$iSqjP${ zcsR~SdITj0wQQaIpxy%hWh)BN3Qpli@Dr~+UsR=+dqF-0^A_Xtzi18DuI{B3A&V1~ z_REyFE6hsQH_9_9&+pJ&7pHCiDl=-YMdOMtips7z`4r!MnB1&PuW>Af< zU%uK`u%Z}Z%qMReI1u-qHVc;}wYf^N$Ub#2uqY_9X@(-})2J@A2)3w6pMi1F~^?q8v zc!1GtFmW2rkVa2om4#tr+y0g!udecmT&02FHRqcnY+~LrG-_gp+W@~r?$}$DiJ*mk ziWv?|C6x)&wSErw*M~Z1Ot;b!Ea9q^d=lmQ3#1#U)O$xZE2>h*U3b|Jgqjx?t6evy zsGD4%kp%Tbtjx7%&TUEwzgdS({t~o<1#`scY3I_j!cRetUB3e~0Ffa{y+|6>#g0W% zZX-K|9>SOTgX$gjB*wJ$&INO1Bq`?))^;qD!s5lC(7KhTqiaPj^30Xd`B9fBlM2eR zHjP`Gy&W~itx`hTY8yt{8L1}frscghJdPI^f08VsSW%QqkJER;gnP5J*Yy|!dZJi< z-G+pDnM-+SCQ80{Xs?DK%7c?+i8I#xVb7WOsGQ;7F}B>xBf>4w!QZ8|b!?}h2YLi_ z`JX&&+ctR#R}99HU%GQTUEPvBg?H&z*`~_Z9$w0Qyz1j2#J_HW=5B21w?8rYa3rSrUKd>&g<-^6Nh0O{{#Qa_Ih5=SjWlnW3*-J zn#ITn?iF3WEV_ed`y}T*6OPFfO%F3Fg?YcNB3R!&>d_z0e!R+#BxQ~tNmV3aC6Drl z4Z@0A=Kgzy0&`|$g~D>*p08AG=FfKcL;kJu>U62Eb@$p6WtP4u)tm0l2&m0h+D;m6 zdVFP1FPkP3muAg-7k3)^;eS#Zd1|!xhj^wBQ*GajfXj|6mo27P)Y?ZT4 z!$Y-GC9DVw$ZKBJPbpB%u{7UQ%f{7n-%?Y5tk)c<4>7RY3hpn+q0mUmyL+rFBkVbw zTjX;7PHFk<8lCC^sye~k@WCgxQ#$Y)hM?Nn$4|UHSRIjfp=|C@eL7@@ zT)D(Po)!A2X{K^ZHjdZ;8-ZEQ52?*by=I`5CV>o&xR`6hK?0Q|gdUkgJlquV_jtCZ zgXd0}kQTVuS)()@`@ZpENK^2X8zLU0?X5n~By*XkwlFre??5 zZ?FOnH6i`+QdBJhtuJ`Y%DpaZTQpH>boU^|vf%l_Flm%@9`dnT=fpTBb=$}=?@LH@ z`lDK+$*(tF*4~`$H>1HYV%l(I_13o7_117Ls$|kPz5$UAeV}}h*Ml*JZQvfn|1-E~C|GP4iwsxH^Xx#3wT3pZcwGql< zglh;wN*a1hmd}}I-ar+cCLQv!rJ2IUo~XK5s2C1=67}ODo0$l{v$L#K!?MuMvh#*k z8C{X?J32+LviQ#N-=5G;_t3uns*9NEmCI(Sim*)cQz|D*qo?AVzZehJopHYj>AOB-iXM*?~=8$)MP5mRG(6H_QYJ}4(=M^i&v zDEIXkXHXRt?H{%+ikPAxAf*0TQo^m6rd+)n-~j-un!fs<!mm~X|MfB%BF2ju-Fpl%wtnHB^f)zk%m;N8_fAnb!EV}=@w z3g-I8LVTr$^-M)IT)uZ8Cx?IuA$ecQ1wsJ?ENtCEemyb4HE?iCd(nr+rkGqmUO`x{ znf^!4P!>fkqPjhSw)RkNyn5pZwfoL+Ahw@6W;ahj#$hcxdRjeA_RviJpVN@wukviKKc>8|3!9VOLKRv=?AS}KMX-xd4F^KIP)Yg zB88v@kpHFtUiRw75cr8yLe__NaDBC^qJj!R3!<4tkuk&fBGBi~;^RcB1bPZox#UsQ zZQ+l9_T_#iWDui(%>@wW_giVt*7)cI84#daAYA{{ z-X9*oIj~TeJ|G~ntbBi8tk7kp5LU1HC{x>mH}0Uej-4l-`8+0Jw9(J~ z_=X(tPw{5 znk=`5A{kB9L>V8lQ-cOnux3VOzDid5lbZLRgxcxmkFvp>_YO0)T; zZY~ocsA96_kLIiu65h_D$AoilxmP{anG*}$d3kNbelvHY?q3tqM}^t2lm8?+;Q>65 z_zwOmf?aolV?<(`O=P5`Qe})Feq9j_Z5oW5R$`u9iYixX4I$o}{m^U%`9i;D&1y|8 zE9_7wSR6rpk@j#tSVQk_w#FNig1xU`rTaP%_^uKIg58RrK`3rN@p4v@bz4+P-GtQI z1EVljhCh{axmyof{`sVQKMr7gy~h8GNt7f`dUms7X9_$uybw}?6?xgs=h03R!^B^t zI3!J1b_Jg?R(QAWds6Q$8*Z6A{2(lS1PW?PB)bC$S|$;ylT%3$X|s)gaB_%Ep*Cf5 zKX3uQfm&lZg2~P#io@-ZgOYTIUx7YC?_V|DnXfrI%{k~WsO$3v&G7+#epk~6#kt^n zT%*x7O4>ZE3N{e9u#rX8y|g2*D=-FQ$wa$q8{31h9TP*{^y9Dk)DbOu>A~fpy#)+M zAIyS39?SR1n38q6s_H7MS?DZ^57l~D*R``MYt=w#4KS1pMpkxVK*oQrr#W0{+2L#Z z;!sb+;O!KP!)w}@@h670N;Oj3*wG&b8 zu@H}U^D$LtqnjC+(my*hY&1jh{H~FgI=Y%Z4!d3WD(II5dnPh?yl#;AMkqaBF53Hu zd<3Z{4KCeJ5yyqtyOc7D;I6bn1~OX6M~tpgb_QtVKP{P_mQv;iM=mtT<=Z0yGOV(0 zV_1fcij`pCVjVayuyL&9xWRiOweUzdHxIrCt(;bTKNvz8$$4U=;(XWN0;dBX0_oID z`XR;!T%G)q60zk;hE`IJd*izss&ibTev;v>v1{VK5+9^_=A;5%DsHCvx7}|W;S61a zT}@V~hWURn^JVR%1ft!B4xKBQRe%+CM<$Yd6F#=;AB*wox!UUX8FaP7iNl(_F2=;k zH{0H4bXr9qbru6~?Tzse@%K#{fFxcX0R=wejr-Kg`I4m_M=-;Ah~Jj?uaW+vD7KOR*mRQZ@SzRw-v zWZsBG323cp3iqUC)L#wPzD7HNCpEjZ@zkL~5=JZu!@RDN)hAkEH`F3Gmp1nCb)Sm9AH><0)?wamHL58F6 z*oTZWYXj%m;2DRFfnkmCX)>7@3+b&GBY}kmxr6+vo zN+i(&E;kSIaTN2i{a{{nW@0WCOVJF(qQjrw`S|RJbWqH1;+aU$JvEKP17p(G z3($AR$)20*I{tIZ;%ZufjphYpNymw^ds-Q|0jrq@OIM0kPlHO zxZKLicEjXUhj|Z4p)=5soy$anlbMfS7joBpT)C&{{1OH0$)(}8qia*81~R&N_2byX z`x0*OQLBB4_E48NY^0No;A%=2S<)Q1KiIX=xu|>2#bQ{@tZGM2o~0cc?OOW(nC)(D zMazJPEmF9JIb}nOM8z~*qa{~z-Z7pzv-b|Pl0EM;p(VEdZqU$LI>G(L&!_kBX7VuC zg~KB&UUgqtyREs!$@DIsn>c=s*A_Pc8>$P>u-Bm@0TP16x`ga`JL?Yx_NP{(`KIfM zt{rbnn_MJE<1Rs_gkQ0WOTu$3G{o7!E zTyB@^Y@f0{>+5?u#5qJGexMlydDo#_z93=SNAna4Tv-G>~h zp~dr~cg|gNcu!=hHm3SC;RcTbu66A{&G=^^n}5EW*j7)9)Xb>d6U!q*4e}GR+HKX< z(ksD}xK52BtMetlec(tKUUaaN;)q@FY+SbAq%EQ0sgzq^MY<^q?K8SUEl4jDd`Iwf z%Q#_*wpY(jN=n)48<}l~0D#ckkpFtED15ctXPV6jPSv6f>J`mp(Jy6>_pgC&EN71{ z8+I}!4hG=@f4gL@Sprnz)JO`UdmruP*k66*?&w0I{-1c%*trXrMbcU6{`{PiOF2@? znDC|;L;)9B0euc`l|$qMS+;UvV}Z|%{w?G9@)i1G3xvo|rn2ppD|+wJ6fE}{duUTb z$M`?`%x9q!=hyZRj1UGNlO=;}3|-Ye6;j4sI4s%?cbt(Xgo#lMg z$Q9|}k=nYY#mQ%y)2VhER&5fItu5A>>da#;_RMdxp_kcB{$_CXrq?GaGPhT8n$0hi zB<@WKOM|#iUf-1ilIm6#=RwvNTF#Git*LT9=peABT%ecH=>|G8Dc; zZbE>i(yf+#hyw35 z1Ug0HZqsTE7LMft8Mi)OGD@SO_;2@7n;#gZfk%yZRFK2yMJ^`y$x=W>%MG-6Jqacs z-)Y`mEUI7ri-!dj+n!fCH0y=LNj$hXRBqLr1J;Q?;e zeCnGf9;kp+h(peuaqMZw7{<)jO`*AZ9{gcKB(hdg*Ev^B7?-Orbi@bUAa9S^K6~2c z-_d={**b)D+f|z*e_xp4uK|Foz_w#Gc9kneB`hEHEd&=+!IGrn8d@Z1mkY6(p9mF z_Q_o0(Y%Mw$o~50XPs+oqkW6dJnRW23FFPz5^CiN{KRb2aofGP7(X;Zar(;MQo>I8 z2dX3lHz`Yzj^#5d#EL4q{98r>HL#!E*v{3s&O^qT-8M}+3NGJsY>wrLllD>}yO)~& z0M6HgcS$01Xs2NR$-O9JG$RA3sKStc^b^kTG5x(0>HXZyw2$4qFn~`B>s5$?)k}-I zS`&j(geNuDXuSOeb}1(tub}a$^3&gokC0~QC57TOSCh^m2Ft-zh=yh{nB69FT3d0R zvrFKhU@41`qA_fYS)=1w5Ap+vy(i4^OhZ%58ed* zIvgQX9z*4=bejGGyNNdhjiq!HuvfdMY2qrM(I6XVM@mRtCNd|N8Q=^wiy}^=5A=1r z>;>_RvWom3Gxq3APDZotnr6Y%$I8uv@-rZ?j;CxQPrP4U^D$wK*OvDKT4g26 znT0Xdx0R_XBVRBrVoQ}t=a31LD<U5r=QSw^*V{u-8Ujh!(-s zlmOx4sk&8LfbN!Nzp{J(ZF zfIAnpxpXyayJm%Af{(rglzUrk6Fj!X} zMX#+c)qw~i@Nb7Jq$^-GB=X{6+hiNAs~0g407$T}X;KQl8$O zzdsR4Ok4w7CqBvL@x_YocM&6mp`p=R>af?2TWx?UVi%^8wBFvhvP)FY;rMAc>u3J8 z{d+TQ|KduSh_XBfbs*zOJe`mR_xOW2)zT23F}p1M?e9p>wcXM(QD$CxpUSynn*qnx zvF~j1q}GFVIsYcu)-wklfY*nX7PAzfhMKp!O?f%z+@mXOiyBeJ6=mVoytyoqV5S(R z`0|>>Fp!5!1zJ89RnS?Kc4AxcW$(ikCd4&*?%5kW>hh|C6XN$d7oiy^k|MG0tMp2T z+EC5bsyHK?*(^+sg?xx%o>9s9Ty0RIrJ`20M4(8%&`!jx?Ns&}p(iaW1@7xVWe4(2 z<0kCrt<3VXa(HZ41NM@ikmoz29dxa4bA5oK3LEl=F7XxX-~4!^CTp~Mr^_c}rVLVj zPri4)((m%zUm#RWt= z{i1S8WNir-w5=lVdbm0=P6|x<`+W1Z=;K8q0<`QW0?tb}-bBLV;rts*^P$t8GmELY z6Ze!D9!^FMoq~eZml{4R`qtNU(t{Ml`tK6izW{#8WHOt_&?*ujaX}qM^G8;en6L@-9LrlP) zTgEznsU~>7oJ~UA%cslGHS8%>xVOsL#V)f`M;+aQW#f!;LQ~mR-QrK7V|DP|Mg=~E z-lweQW9d#ORS6pXI(JTXJtbx5UH}&idH+hD@%~; zZ@>b5zAVMEx8dagUR6}OT&`qxt>nysBePSF=C)}otGD3+fHo^#}eqXm2f##)<-dsoya zwWGrv7PK@xF2nbNBtluq5&T#>{CC3ona#P}uD| z4>U<7J2M0EEf|_1kY1JI3_A#Bauv0l*9D#=4Z5~hIF_fZ7O_lVWYzU+O-6z_jX5)*1L_waZRlkVkn zsXDj1=A}cP=tlI65R`SHhVmW)Sf_?EaMq8K}fd^SAnfIIFw*)CX!=Bk3ldggGAS znv|fx0b-_cT4X(x{irUJX0J@6){C?$>HI+V!$@eSb#c?=57&|Sb7YqXV91gv@=gr@ zY&X?aE2^@3NyFwzr5R*aaIQNl7U<6*lIQu{aMQ+}D{y0ThJ(4*?AdAJ=!Fx2(E?wq zFN5vC(p7a+VQ9P;VBy~s>1Fk!5DfJIe`o&m_;x(`4~d-!9q%7j=61}5$-xV_;beEFLpax%BE!Di`o!R9&>4hj(^1m z*stnhrCd`YiIxHXj;<83O+rDuO$pk z<`n!do`n1~b#nYoO2IGh``X_#hsm`d0NC+)vnXORWC7?Q$2LiY3FpdN~$`s-ny``Wt}aNCmfVGyR% z&`#1v?+9mXPYBm!#5zDenSQ6y;?bq4Gkd$K<2>dWXFLGqe!eBpUbPbo%{(9$e^Tz_*gZjJrxf zMz9|!mmF!KZUA8Mx3ef$6fus;m`JQeSgtp$B%9rS;pi-AP6WchEY0iPde;>B6+E<* zZC*_)AH`2q`jS)I2)e)tsW+P@X9WTI?Z~ zi)q(rHk!HRZutv!*$Vxdc-VU6OIs&aoWvZgZm}iQ7fI zA;0WcmuJ6O$pfy?#jD#$RBh|v=)Q0m-LB8R*CXdZ$e($EHacsDm^B8B|Mm`s{Xz-X zXjts25HB}0^wT`4~;2&_yOc-q1E`G5a=(|B(OKKg5u%%FX+ig zz{t$>->McFIXM5vszoMtR_6a}1gZ?pq2hrZ+p-$pQdvBo6R9v6^9Og_R-yecA=q&; zi?KAF)BN{D)*-1Ce<3C11|^y#g&m@UBq@2lrc|()5tq{AZLVPZ;WP8#Gs82J{`1k( z`||D8oZ9Yzq0u-i5FS931{fm22A;)hlSOIbFT+NXFs2gN(n216mq+gz_)I225vVx$ zX%C@I2x8PW4L5iwfC9K2;Q=s&kcW|}EHgP~;x9#(=>u3GJ_Lm0fB+7I0%rsR4SNuQu7UDz5g9_7 zeKJlvz{YDcT1`(hn z^dN9(!g8+47&@Y_CD4Hk{$gxJY3WLU6d3+O={N~I0i`McvKW+(tlItP9*Ym-DB(`!aKrI#eQ3~8%;`W*eTh5p)5Xm8@yCB;Um#O| zh8;bUek33L)CLhA+>u?kB>(xX3i3@R$`M@-@kqSN`?Irn)J-Emqdojsy7UWtf>p&6 zY_Ht)5rN@A)o&U^kEIul1>^Ov{dCvz_KRrVGw07o11eB}6oW8LgHrX>F+lms(@;1E zh5|%{=V4p}K@6_S`Nu#(-Y2J}0g<4$TM6}RN;~Gp^+@-lK!?0m%UmMX?nd$aNkc$^ zVuY-gS11uZe4dCO!hfhnmxj?>R*q4r+{VXIdiFJ}MZC8%4yOI86&z?}q+KqK^)mW? zH{Qm!T7Gr8He+RSvsQQ4if-4kHoSvzHE8v9AK;moV=sU;vYL6{Xl(_-AgUs0=8xLE zkqTXAJO8S}r}0`#+CCA`*Gythn0Ql`JkjF+lVbFhk3s69tURC@8Be-=M(V)^x*QX0 z&uJO4U0dy!Sv7Y0L0#RDBITvGlu}p=z%Q-+`QBV%@TKr>T}j-1G#s@I&H@m#PCtIN zG=k(z92!adat;=G&O?K{4XWS1$+F(Y-o{mcE@dHvR6K@z`VBi)Xd=6bo$D5tiMI{Z2* z_fG;TSFkF3TS3CSv=V zxSZ2mZOE0Mb+Ot}s(_`-r;+e=`EtG-nQ>SQ$`#$Q9xWk5Uq0fJYOK8ie&c_JQK9%g zM}GlwQ_ru3ciOzNW<#;i*7GBCt2Y~REIkXEeISqM)O&jOWOSw8F_Qu1kmJ_sRjY$hy z^`8u;Y~R;=@sZWXIOY6u_5+w8P7AW?V5iqczmp?m^&v#h(67d=`BLrZZHLUp&9lv^ z$SXkANN{{tu(E6Ko1RF-?m0_wG`2R5-P`WM)U;Z&_yW4eXum9Qh|P)P)SF&$zowt7 z>g!M03f!=gL?$?{GJLF(){m}l$>ikSG^VtdF7vUQ)=j{Q6!RRpPatGyqx;8E_Uok+ z&s^QZL{xg7%0!9G9QMQVq#6#at1<#F6Vc|}dhbD>p790dRugH6rAu)B4pMtVF;W_% znvMcYU7AD+jE_TGC+5{9oNu)Xd*$UZSzpD&%F`UqA9i9pX@qp&m#`kBi*BW(k@+C? z7*{AgDo{bw%8oT@pJ=d~Tu2Wm{vWBiF?4MgM_^jyII9xho;10OrSw01S*+rk9>M$P zP=w_z^%*z5HOAg*YP*{28#yE(v=h~IA=GWr)mLv)FAYAQ^t8N5yw%+4595^^7k9BN zz2WX^%*JNE_;t>^dfp0KPaT$LcW4#la{ASe9K!Ii6xi*q%Yjz+l#QQyuGi$>tTOb2 zyG0d_qN*})os4UMHI_Gg$#T7A14;QZT4&nY2Myoys|HE>V|RwAwX*Bkt3x=QGY3xK z?egZedYi{rTmWL!JhlyNk?N8eiE(Rp1jZXz4OCD*yFJ@OgW@r1qh|7Uf8$V8C$-|W6+w_#uF_^(K|nkZbOOpnYU~s$NDY{ zHY*Pg_;}3HmN0k7(M^wL#oHa;{CcXcT5I~lle}1jm8|r#(d>JXnOo58T#_${8R@C# zu=A{;eJ^fPp?LTVa$8$`w|62Z@kd&E=ln~g+?kV6mgZ1mf-e$LvC!*qj}>hj670Cx zGj;d6H@b$Ey22Ugs6Q2sSA4pyQ#L&b105?q+t5uIDfM@1z>jdf=WJFpwPph);;IF) zB_=0WJh*(M^|V`CpJ{Q=zdGU?UQx?!M2dv}8s-V5NJ691gR@exYq#7gKML{YF4t zxv8wu)aN*i3%9au`AKr#^s2GizPZub=X%MaOjU7Nx;{Pa{G$Hww#v|Z_)H&3&22)| zs3Zm64CoKZ=Zc6ll*CW!KR35|TjZzV_G^#baXU-za9vZ9v)xqwy1i5^cC{VAr_V)8qZo5pAs&LlK6Mep} z{$9C2w`I{)q4hEl|8vd}|261vJO$$S!_z9!y;1Xhc>lW)$a~k4)|^Szjm{`L5PF1$ zU}H-<;XSij!ElgY?wxsCxWk_+EXY}s{x!=`GvOqyIWKjcZe(MpP-(#5t-^Cfm}moC z{Cp4gRqnWkn+f>=i@|n&`=5TC+5X#)vx1|&iHq^C29UzR#7xChgO>4EqEE-jK?y}K z{3`-ZIx!a;8zVzIyZ^+ZVqxh-@O%8fG0_mHnL0ZCzM6oU zj**3tm6M5$m6nN)?Z0CEePug2`}wAMrojF8W{@$)krWTm_~XX7X#`o%U{drR4QvJeR7iF&l_ zG*lTa%(P?~u$gpF(*w}P49jwq#!$-;vAq6BQ0Perbc}EI4De9QVMo>hn1ebVdO<-c zut72dN{!Gb0pcbDIA+DTG?OxE<{MBKO*EAEkY^f=fDr6ypboSCI0pAa#X=I`UqNJ+ z2Kpefn*arkWSB7`kT(ROPZF3ESXDkv7SUP3E+Mv7C`8UJGa;dwieelTvqDN_3OJ8a z5N?2&C8rortaA~3m8K_+tPv>_2L-}F(ymC(B5`!)Ry%X$&Zo;-!@H@|^7Q$~M3k&o zy(TlXGDptR$d#u@GneH`UDWDr7jHKEON#!g*I%%*ri6c&&1K%N48SR$UtcdG z{(u)o?VdhsSxt55&Irv@CAzu{=@sz3Hh8_;ESYG_tafcqrM^y|O1ppN85DPVCk9_$ z?bZ1ErPi{!t9(K3+E^~){ZW)5!7w_8DHc@72u})#_l^)Fi;^cYOwuQc4&e-0=2hT| zGI>N229?(m^zJP#^Fc9 z^&=Y;gec#X2#b+i&rm)@*Lz8K>PYop|B@?|cZ9ZF5snzv`Y)!I#oe#ZT0K3Fp)A`>OT!ythTD zTB$U?i#lx&UnLJdbgfk#7nMgslS?wZVvpm`mw72>B7DXha1Cd{7w=0BD#PXG4Cq|f zw;jLFc{guw{%lsIwKTqKCQ{=i=N^}4&R9da&AH;~Wzoo=pqrz-7y-kQY+6V9uNiDZ z>$k@(cRac2>c1yeK-t;XKBEF@QI6WlHoo_LE|j7zOUv}GwAdlcH&s?f9UV7)1+Qwe zhpUo3(#kExC{LdC3>l}iek~KhNRg;n)+Dq?Yf^nsN1IE%Olr?i6S&86lu?BQ-hCrX zZP-pp*LY2x+-p4GWWXm08$|4gJSAl~cd+{wcp;Z`w04>6XGm>WKXHFz>RUPu)NlBy zsisg^YFZ{l1g5p(4LBB+7055N2n8mQJt@PIK!>P}?iN)N1tA77q7v;@S4|awUNj0z zGq?Z)^}*5p?vl&1NV7;38|RsEvx~BmR&6v`sH{q^6;WcsF{3_hv{<~XN`Kif_!?MP z$OKj?f4$h8t*xT{6_lQ-bmn9!kRb}Y3p&39J*-;!|21AeBeX4bP=l8=>PLK9Zm6TY z)z<``_0$Tu)@z_7eL>SuW2JoQH;JL!yud=Rmsoo(78`Kn~R7 z5{Ud=BeSrYYXZe_CzL3KhwsOdPD-O>?EiHHQA04J3r7ThW`Nx%U_?X&PK9ehC4Z!v zH6f*1$6n38jiVGAM$+Azj1FE-o&vIOC!X}6@aI+S-x1a=re@cQSX>%%bCW~!K z5y8%nMUr87mqC`L=w~5n$Y}UW^nzhZ(3iM`A$_03h80GjJIawDIWpPP?X72bTyhl`#$h9 z`N^cBFJ2PKS0jVG@R>oQEk!_qLbisSbK&3EC=Yq95N$vWjX)fkW_C1PUmONoI@+DY z^TA%$VE7JhT^s=?b1yVn1?87*6W?k97`sU$NDOIDw-W-Fq_77rYTkQKFEH~oP#}_; z!Zm`jJ8q!V+;md+ME99I8iy3P+?=3U8ZMHMONz0hGNZtt4Q5S*cksg@q6N+nGSmqR z5jPWLWwFIfO@WS#21=6(>_#hGQ6i&aqJqE=aLH$Nx!kF2iVJQOO$C?2w6hj%{|l z=ipjT+oKXoY9o%xdrn(3=?q%R$i!crq=mCV0%zlByM=|fso}3{XW*>!;Nz|HV8mJ7 zHBsf#>V(1^W!rQEh|0|Tspg*tfDu#Wi4UL^N}p}H)hC>OsM5}!Vv*B)Waa?C%<_Y& zHsomE8#RW--5ow*`Q*W!Edgf+avZUQAt%Ej**x_(=`@Zh(OuJ}5lGn@8<-7IR3E-R zm*Z<9;KwPjaf5(D$&M6Gx|k8jLh9caISOS)=sI;U%$MR%#t{$fn=|{%(7tkM0^OU` z^1^o6b+sE@2tFE%GK@@PzLw@`BaH8J!G zr7`Z}I6OvBNQ=*zfv(IdQ}VjCiXOG`x=%dymn4kAvU778Q(B+H*iz;u`fO=q6+7yh z$;4qq=%w}QRxMe~I7fFBLM#7ilRw9bRt9{LTu6sMue~IWJ;I~l zBj+}0md~(6wT~{y)u!QH;VE@~yqhLgF=+4U0|iZe?!w|Z*4Hn}B&8b?p9nFuVj2d{ z|4#kq#?HQa2S#59EW+mC3gh`a7`q4+ECOz5w=w;NKIb}tBguug0k{GVb{mKj^FHLE zCcP7c5oYh!6a7hd_lL*>99FAsqn`#;X?6Et3Q6Y*)sGzo2pRJL1q4xIip1uP^Cc`9 zbmuo-gvb+;fEbE+(oj1{M3i-|#~+sj)k_L>)x~V!g(FE+;)x+uNhF0(H4_wY>5zLT zF!WYI_zvX-VN)0KJAuW7(73Qt_`FZY148}=7TyqaFcF!D?F`Kjg|Z7J`5i%lwtnj( z4)yKg;(W-YcDyBY zH&37~BcXi=ZT}R~7g5(dhCB{s_r&G5Euu%Fx7R2Xv>l*Jp{0Hn_(h?&2A(eyDT~dj zA~d|?{epQPP|iHs?Id)~@gP^9h75hXl*%N#BAlb8O8wZI?~~4t8T@Y=4lcB*wTv?+ zLe7MwIFR=gF>I0vIU>sTPQLusdo1N^_Eh=xx3v>k;gE2J5yZc(jqhhAnv?R^dRequ z=ic3xGdq2S)91MlFx4XC+!V!c>R*4BvYM_^A3wX&^>gTcx-^<{*$z@rr*JcB=thKV z=%N4@UF>~b*%tZGcuyV{@*CQtk9Ia>8EIDT3mk1RFezb$ja@LXD>1w!cNh+nqp3u% zjP;`$-{WcRt9Nr~SsB&_9LnwfDs3UiVtJ;J$Jnr__9@t}vsqI>|M9oAw?qW3VjOeLn z&e>;ABum?iS|cj@2|sx~96$G$kZ;|(W^Df4j+ssTq||tdn+@naXLNkss5X|(TpWpV zU)~u(ucSs*x^$=0%WZf*oHTqZ{nYBxiUTq1BLH@N-j%lATqgod;(fV(QV)(_yq&P` z@7$c=>%?kuj)H$ZPHcVH7tp<=Ra~~%J9W-$YA#PwaZlx^SGW-M8~ot%w`!j()}g(sCKam_lwF=f-s z1s1?&OHVYuNj6&0$#w2Ks^-qn8+@W)X-4ah$&;7LQiCNdyq_C=i+5_VN7YNf-+RdC z^m@OZu29Txc>zi8Db7Ap;)^yA^aKdRY*EjSKBZ*`{jbH`*?j!{J=;3zn>U{y;{CDk zaL1DDX#M@Ijc@KtrU-dXejd*KB({71GOgIN=a1JNkb81TZhyt6$G6$<+t$~<|G7`M z(Y9>K%bFDvp0Pw$Fy*SxQ{a(#@9TT|ZbInEH{HJ~&YYC%H`~eGa^RimYqPqjT~o9B zCHmv{9oMPbaa4Fy%~GZIXd8Y0<#uP^EW7e{%C3*qaW5jOExvkcnX10q9`Stfbpdipy;yj^(y61Ct*MP4!e9j6QdUz&(*-~#!ATu5&{A}BSDOW!juCAC5!+Cah3 z%p#UcKRB~06~yGy4_AmbR4`UB1PTV_=a&ElO@U({K_DGz`9L0MBm~5BQHZuNbu(~s zwlK7Cc62m!wy-d9bFwgWG6RlqxH&t!ni*NxDG*iyw8tkkFTErKIAmZ686_ZMm!;~Z z-TspkMc6(Rb18)`V0GCUxiLVmb=w_%-7bzW))tKpvCfVYt|1O0BFaV*vOSXx1jJ&0 zFn8!k#TJGLaWXGzG)PJ*RCKAFH~r~!_2+;072kXRL|E`=zMyA^!f#KNKqajt;bkU| zlr>f6i%b*>^7Hak>{Ml4(jzjNdDUvqWmD(32zGnc;U~Fb6%UDn8O&k-@#9!z`Z$!{X{nNyu1f*S@xML{Fl}E z!O3OraFI{rAG_Cgw__74iaJy#9Dc&#sp6>;xm2g+`l;Lniz{GA$IkV8*ttmf>y8?^5m;9n9vl9M$#jrLu3g zS+HB|%a!JPvlrxZ+{t74yZ+$Z;}7z9cRXif4sGd{eUj9E?ciVg2aXnz%>4hGCWadP zVzv3jb!^Q8Po0OyZJvJk$o4@eMXYR&h3BqQM;5G1U2&$){N&P28RnY7sm1q}=!8~Z zSdw$K;p!5ZtJmr#-&v)+S?%d6KWm>;!L|D{Cb@sT9ha`px#Hh}`lYkEH*rVSB%jAj c+r=e`MI{wQz{G55WM*h;z@@6{>hHz{09O1Lod5s; literal 0 HcmV?d00001 diff --git a/sose2020/num/uebungen/num7.tex b/sose2020/num/uebungen/num7.tex new file mode 100644 index 0000000..009e60c --- /dev/null +++ b/sose2020/num/uebungen/num7.tex @@ -0,0 +1,175 @@ +\documentclass[uebung]{../../../lecture} + +\title{Einführung in die Numerik: Übungsblatt 7} +\author{Leon Burgard, Christian Merten} + +\begin{document} + +\punkte + +\begin{aufgabe}[] + \begin{enumerate}[a)] + \item Mit der Block LU-Zerlegung von $A$ folgt + \begin{align*} + A &= \begin{pmatrix} Id & 0 \\ + A_{21}A_{11}^{-1} & Id \end{pmatrix} + \begin{pmatrix} A_{11} & A_{12} \\ + 0 & S\end{pmatrix} + = \begin{pmatrix} + A_{11} & A_{12} \\ + A_{21} A_{11}A_{11}^{-1} A_{22}A_{11}^{-1}A_{12} + S + \end{pmatrix} + = \begin{pmatrix} + A_{11} & A_{12} \\ + A_{21} & A_{21}A_{11}^{-1}A_{12} + S + \end{pmatrix} + .\end{align*} + Damit folgt + \[ + A_{22} = A_{21}A_{11}^{-1}A_{12} + S \implies S = A_{22} - A_{21}A_{11}^{-1}A_{12} + .\] + \item Sei $A$ hermitesch und positiv definit. Dann ist + \[ + \overline{A}^{T} = \begin{pmatrix} \overline{A_{11}}^{T} & \overline{A_{21}}^{T} \\ + \overline{A_{12}}^{T} & \overline{A_{22}}^{T} + \end{pmatrix} = + \begin{pmatrix} A_{11} & A_{12} \\ A_{21} & A_{22} \end{pmatrix} = A + .\] + Damit folgt $\overline{A_{11}}^{T} = A_{11}$ und $\overline{A_{12}}^{T} = A_{21}$. Dann folgt + \[ + \overline{S}^{T} = \overline{A_{22}}^{T} - \overline{A_{12}}^{T} \overline{A_{11}}^{-T} \overline{A_{21}}^{T} + = A_{22} - A_{21}A_{11}^{-1}A_{12} = S + .\] Also $S$ und $A_{11}$ hermitesch. Da $A$ hermitesch und positiv definit, sind alle + führenden Hauptminoren positiv, d.h. auch alle führenden Hauptminoren von $A_{11}$ sind positiv, + d.h. $A_{11}$ positiv definit. + \end{enumerate} +\end{aufgabe} + +\begin{aufgabe} + Beh.: Der Algorithmus ist wie angegeben durchführbar. + \begin{proof} + Induktionsbehauptung: $\forall 1 \le j < n$: $u_j \neq 0$ und $|u_j| > |b_j|$. + Endliche Induktion über $j < n$. $j = 1$: $u_1 = a_1 \neq 0$. $|u_1| > |b_1|$. + + Sei $j < n$ und Induktionsbehauptung für $j-1$ gezeigt. Dann gilt $u_{j-1} \neq 0$, also + $l_j = \frac{c_j}{u_{j-1}}$ und $u_j = a_j - \frac{c_j}{u_{j-1}}b_{j-1}$. Damit folgt + \begin{salign*} + |u_j| &= \left| a_j - \frac{c_j}{u_{j-1}}b_{j-1} \right| \\ + &\ge \left| |a_j| - \frac{|c_j|}{|u_{j-1}|}|b_{j-1}| \right| \\ + &\ge \Big| |b_j| + \underbrace{|c_j|}_{\neq 0} \Big( 1 - \underbrace{\frac{|b_{j-1|}}{|u_{j-1}|}}_{ \text{I.V.:} < 1} \Big) \Big| \\ + &> |b_j| > 0 + .\end{salign*} + Das zeigt die Induktionsbehauptung. + + Für $j = n$ folgt ganz analog + \begin{salign*} + |u_n| &= \left| a_n - \frac{c_n}{u_{n-1}}b_{n-1} \right| \\ + &\ge \Big| |c_n| \Big(1 - \underbrace{\frac{|b_{n-1}|}{|u_{n-1}|}}_{< 1}\Big) \Big| \\ + &> 0 + .\end{salign*} + \end{proof} + Beh.: Der Algorithmus liefert die angegebene LU-Zerlegung. + \begin{proof} + Es müssen je Zeile nur die $c_j$ eliminiert werden. Das wird mit $l_j = c_j / u_{j-1}$ erreicht. + Da $b_j \neq 0$, wird noch die Diagonale modifiziert um $-l_{j}b_{j-1}$. Die $b_j$ werden + nicht verändert, da die Elemente in $A$ oberhalb der $b_j$ null sind. Damit folgt die angegebene + LU-Zerlegung. + \end{proof} + Beh.: $\text{det}(A) \neq 0$. + \begin{proof} + Es ist $\text{det}(A) = \text{det}(L) \cdot \text{det}(U) = 1 \underbrace{\cdot u_1 \cdots u_n}_{\neq 0} \neq 0$ + \end{proof} +\end{aufgabe} + +\begin{aufgabe} + Sei $A \in \R^{n \times n}$ gegeben durch + \[ + a_{ij} = \begin{cases} + +1 & i=j \lor j=n \\ + -1 & i > j \\ + 0 &\text{sonst} + \end{cases} + .\] + \begin{enumerate}[a)] + \item Es gilt nach VL für $1 \le k < n$: + \[ + l_i^{(k)} = \begin{cases} + 0 & 1 \le i \le k \\ + a_{ik}/a_{kk} & k < i \le n + \end{cases} + .\] + Für $1 \le i < n$ gilt: Wegen $a_{ij} = 0$ für $j > i$, werden die Pivotelemenete $a_{ii} = 1$ + nicht modifiziert. Damit folgt + \[ + l_{ij} = \begin{cases} + 0 & i < j \\ + +1 & i = j \\ + -1 & i> j + \end{cases} + ,\] also $|l_{ij}| \le 1$. Da $l_{ij} = -1$ für $i > j$, gilt für $i > k$: + \[ + a_{in}^{(k)} = a_{in}^{(k-1)} - (-1) \cdot a_{kn}^{(k)} + .\] Damit folgt + \[ + u_{in}^{(k)} = \begin{cases} + u_{in}^{(k-1)} & 1 \le i \le k \\ + u_{in}^{(k-1)} + u_{kn}^{(k)} & k+1 \le i \le n + \end{cases} + = \begin{cases} + u_{in}^{(k-1)} & 1 \le i \le k \\ + 2 u_{in}^{(k-1)} & k+1 \le i \le n + \end{cases} + .\] Insgesamt folgt + \[ + u_{nn} = u_{n n}^{(n-1)} = 2 u_{nn}^{(n-2)} = \ldots = 2^{n-1} u_{nn}^{(1)} = 2^{n-1} + .\] + \item Verwende Spaltenvertauschungen $Q \in \R^{n \times n}$, $j$-te Spalte von $Q$ gegeben als + \[ + Q_j = \begin{cases} + e_n & j = 1 \\ + e_{j-1} & 1 < j \le n + \end{cases} + .\] Dann hat $AQ$ die Form + \[ + (AQ)_{ij} = \begin{cases} + +1 & j = 1 \lor i+1 = j \\ + -1 & j\neq 1 \land j < i+1 \\ + 0 & \text{sonst} + \end{cases} + .\] + Induktion über $n$. Für $n = 2$ gilt + \[ + A = \begin{pmatrix} 1 & 1 \\ -1 & 1 \end{pmatrix} + \implies + AQ = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} + = + \underbrace{\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}}_{=: L} + \underbrace{\begin{pmatrix} 1 & 1 \\ 0 & -2 \end{pmatrix} }_{=: U} + .\] Es gilt also $u_{nn} = -2$, insbes. $|u_{nn}| = 2 = \max \{|1|, |-2|\} $. + + Sei nun $n \in \N$ beliebig und Beh. gezeigt für $n-1$. Dann ist + \[ + AQ = \begin{bmatrix} \tilde{A} & \begin{matrix} 0 \\ \vdots \\ 1 \end{matrix} \\ + \begin{matrix} 1 & -1 & \cdots & -1 \end{matrix} & -1 \end{bmatrix} + .\] Wende Operationen der Gauß-Elimination von $\tilde{A} \in \R^{(n-1)\times (n-1)}$ auf $AQ$ an + Für $1 \le i \le n-2$ gilt $a_{in}= 0$, also bleibt $n$-te Spalte unverändert. Letzte Zeile + zu $0$ eliminiert, bis auf $a_{n(n-1} = -1$. Nach I.V. gilt + jetzt $a'_{(n-1)(n-1)} = -2$. Mit $l = 1$ folgt + \[ + u_{nn} = a'_{nn} = a_{nn} - a_{(n-1)n} = -1 -1 = -2 + .\] Es ist weiter + \[ + u_{ni} = a_{ni} = \begin{cases} + 0 & 1 \le i < n -1 \\ + 1 & i = n-1 \\ + -2 & i = n + \end{cases} + .\] Damit folgt die Behauptung. + \end{enumerate} +\end{aufgabe} + +\begin{aufgabe} + siehe \textit{prog\_iterative\_solvers.cc} und \textit{iterative\_solvers\_plot.png}. +\end{aufgabe} + +\end{document} diff --git a/sose2020/num/uebungen/prog_iterative_solvers.cc b/sose2020/num/uebungen/prog_iterative_solvers.cc new file mode 100644 index 0000000..99c87f1 --- /dev/null +++ b/sose2020/num/uebungen/prog_iterative_solvers.cc @@ -0,0 +1,183 @@ +#include // notwendig zur Ausgabe +#include +#include "hdnum.hh" // hdnum header + +namespace hdnum { + + template + class SparseMatrix { + + struct MatrixEntry { + int i; + int j; + REAL value; + }; + + public: + + void AddEntry (int i, int j, REAL value) { + assert(i >= 0); + assert(j >= 0); + if (value != .0) + entries.push_back(MatrixEntry{.i=i, .j=j, .value=value}); + } + + template + void mv (Vector& y, const Vector& x) { + + zero(y); + + for (MatrixEntry& matrix_entry : entries) { + assert(y.size() > matrix_entry.i); + assert(x.size() > matrix_entry.j); + y[matrix_entry.i] += matrix_entry.value * x[matrix_entry.j]; + } + } + + //private: + std::vector entries; + }; + +} + +// generic iterative updater function +typedef void iterativeUpdater(hdnum::DenseMatrix& A, + hdnum::SparseMatrix& A_s, + int N, + hdnum::Vector& x_tmp, + hdnum::Vector& b, + hdnum::Vector& d, + hdnum::Vector& x); + +// solve iterative based on given method +void solveIterative(hdnum::DenseMatrix& A, + hdnum::SparseMatrix& A_s, + hdnum::Vector & x, + hdnum::Vector& b, + iterativeUpdater update) { + int N = A.rowsize(); + // defekt vektor + hdnum::Vector d(N); + // temporary variable + hdnum::Vector x_tmp(N); + A_s.mv(x_tmp, x); + d = b - x_tmp; + double initialDefekt = d.two_norm(); + while (d.two_norm() > initialDefekt * 10e-4) { + // run one iteration + update(A, A_s, N, x_tmp, b, d, x); + } +} + +// richardson: W = 1/omega I => W^-1 = omega I +inline void richardson(hdnum::DenseMatrix& A, + hdnum::SparseMatrix& A_s, + int N, + hdnum::Vector& x_tmp, + hdnum::Vector& b, + hdnum::Vector& d, + hdnum::Vector& x) { + A_s.mv(x_tmp, x); + d = b - x_tmp; + // x(k+1) = x(k) + omega * d(k) + // hier omega = -0.01 + for (int i=0; i& A, + hdnum::SparseMatrix& A_s, + int N, + hdnum::Vector& x_tmp, + hdnum::Vector& b, + hdnum::Vector& d, + hdnum::Vector& x) { + A_s.mv(x_tmp, x); + d = b - x_tmp; + // jacobi iteration, teile durch Diagonal Elemente + // x(k+1) = x(k) + D^-1 d(k) + for (int i=0; i& A, + hdnum::SparseMatrix& A_s, + int N, + hdnum::Vector& x_tmp, + hdnum::Vector& b, + hdnum::Vector& d, + hdnum::Vector & x) { + A_s.mv(x_tmp, x); + d = b - x_tmp; + x_tmp = d; + // x(k+1) = x(k) + v(k) + // W*v(k) = d(k) + // W untere Dreicksmatrix, loese W*v(k) = d(k) durch Vorwaertseinsetzen + for (int i = 0; i& A, + hdnum::SparseMatrix& A_s, + hdnum::Vector& x, + hdnum::Vector& b, + iterativeUpdater updater) { + int N = A.rowsize(); + hdnum::Vector y(N); + // teste iteration mit gegebenem verfahren + solveIterative(A,A_s,x,b,updater); + // vergleiche mit LU Zerleger + hdnum::linsolve(A,y,b); + std::cout << "Relativer Fehler: " << (y - x).two_norm() / y.two_norm() << std::endl; +} + +int main () { + for(int n=4; n<=9; n++) { + int N = pow(2,n); + + // Testmatrix aufsetzen + hdnum::DenseMatrix A(N,N,.0); + hdnum::SparseMatrix A_s; + for (typename hdnum::DenseMatrix::size_type i=0; i 0) { + A[i][i-1] = 1.0; + A_s.AddEntry(i, i-1, 1.0); + } + if (i + 1 < A.colsize()) { + A[i][i+1] = 1.0; + A_s.AddEntry(i, i+1, 1.0); + } + A[i][i] -= 2.0; + A_s.AddEntry(i, i, -2.0); + } + + // Rechte Seite und Lösungsvektor + hdnum::Vector x(N, 0.0); + hdnum::Vector b(N, 1.0); + + // Lösen Sie nun A*x=b iterativ + + // Pretty-printing fuer Vektoren + x.scientific(false); + x.width(15); + + // testApproximation(A,A_s,x,b,richardson); + + hdnum::Timer myTimer; + solveIterative(A,A_s,x,b,gaussSeidel); + //hdnum::linsolve(A,x,b); + std::cout << N << " " << myTimer.elapsed() << std::endl; + } +}