From 6a3318c64fe8f7a69142d703988dc080a7a6e431 Mon Sep 17 00:00:00 2001 From: Marcel Schneider Date: Sat, 13 Jan 2018 13:22:40 +0100 Subject: [PATCH] =?UTF-8?q?Stichwortverzeichnis=20f=C3=BCr=20DiMa=20erstel?= =?UTF-8?q?lt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- DiMa/dima.pdf | Bin 50066 -> 53877 bytes DiMa/dima.tex | 50 ++++++++++++++++++++++++------------------ README.md | 56 ++++++++++++++++++++++++----------------------- env/commands.tex | 3 +++ env/packages.tex | 3 +++ 5 files changed, 64 insertions(+), 48 deletions(-) diff --git a/DiMa/dima.pdf b/DiMa/dima.pdf index 7cf209ee7664e55df17897ad53e8539283696753..9dc86d4000cf7115a2265d4182f39aed6a82d0d3 100644 GIT binary patch delta 43766 zcmZU)Q*b6wvo##so@ip*wr$(CGszR%PwZr3+qP|IV%z%P_tbZBPW^YgYG3W{u3l?( zubmVQ{!|2xO0Fa(LC?&<4o7}?d-V#(%AANw4&Y$s5)goMb#pN{wukfDxYC)9JK#X* zd7=IUQzk$E4dX&JN9aS#)LIzs)!6-SN*0Lf=rN6xtM_ zikfbQQP{o~-{0Dh!%7SPd6#Gml=cRl$YjGi%C18x1ukf$!~E510`npSwNHWDA`6=0x9?oDd#(wTY7sdHHHD0}mGSI@EcH)`~R zpt2in4ZRvkxXmhhog=cHg87p0FFdTnVIc$ucOwr<={afavQL4^6AgKxeN03@w)wUH zJPWltHlk(2uaj;YS7%~1MVUw|`Z}d-I0)4cmZ!D-M{N6Mxv9fkxd~lGTNnC@e}LQ< z3d=VR@BZ)xu_Wv&LC#2Tw1PO=1%c+GhR?VtI^ce7Q(J&wYf9k>32od8*@Pi^H?i(T zRw4Ga`i&;;)nrx|lr?w$O$zD=*GMDP3{p??xH(HkLUs|>v5BopATV5vl^ke7sqUc>LRG3gIp@POZua(Q1u)EJ+lv6g+q2OhLc;Yb&(->rM!sEfc^Sy_z5_n# z=i}0>F-UZjh;wQKVMNcLZU1bbA9U`6cEw3Nu?1g*VPcU;#{R3R&rw?bA544Xui?K7 z5XMF1-8ySH+9@{{LwAvlA_hFnPYre^Pwu)y?8IAI2ER#NxAY$Cx?jlY>j6VzxSInI zt!uOeitB;7JOUgy9Eg0I6M?>o#TLm&wWhaJE|W=5LyLsuaRXulEt#Au31`9i8X~fC zCAh_0dl&X~N6bGl$NF0zw$sBw!XUF{IC1Y2GV&6X~H*#7-E#bxlOti)# z+Va*~@I&zTjHhAlaay%FK{ z*wX{>#~AG)8mp-jfB5L~Qk^1_TT!$1?^ z$b(bB&47H7x9|F?D)3NEF7NU8y6;pb=_m=?RZS4+UE^;<7uG4HLbSIf5(P5D{LKF{p(vN2gN}YARk0Qc*m9ev?PjW)RC!V| z$N5S1S}V&9_h1gH@M?#H!LUFn$9XcI_EfXtCPvCvlwIQ;Ij!;3AG;Xk0U?}fZ{(fY zX6KMI@HObueNv56pL|JdP|cwidt2*caBU^){pqq((_Am-J;2{C9HpIKL8NH(B!y7U z;?WE~Wk#}(dyAQOOJ?Fg0@ajg5o%5wf9HQ+TF7(!!y6Ms$*stBGX(*4VKqYsT^9K% zXjdo&m$?u7OIs>KPDU^32>tNUScoNGbHsbxx1@2ifzYRLub8*1aGwo)h1Gp4VI`Yi zsS_(p!3Z@D-2fZC(|Ef36_M@(oPmD~JTbsm1!@+gmVSm5h6;ymRfakf1oTudEJ)L?6e}N9Aff#sBVqG*b&9u%G+s$k0 z=))#8IXhA|Pkz*@MUB;9%-=R)XqW%#SZyK%ly$(jI{@$p-6&@-8cRZzZo~po=2jW@ zf5wkM-@x@EiJD@;H9I=Q9!6N3@L6_-T3B^H6g-xL+^t6|wcb{SaE$yF5W*u#rFhW} z-eFCuf)7DW=&rm_5Ae`UL*77`g<$J!h$MDSn}9Lf(cd5UVZfe*^>&<72GDc%!X0=T z=IQa662Nx=A9uh{!0|PG+JnqmS*I-J!ehT|=^ZT=_M)ZOAhxWbuHS% z+quopmVne6uL8VCiDD*4?0qo~Ym$P+D>x%ho}Y$WFjGH5(n}v$m2_9k;&>KO#|1m# z-KgRZ7}>M@3Y@uv+5ZEY|C}66Y~a{f6H&;CnpO6gB(7*j_bhkqv5JCp{$&Q9yeJ0E@R>)zU z`D#Nq$fa{IlT9_+G)bg7xvU}QrgWoomF1{`KQ>|-m#P$Xj1#%$rVg--&Uk!|K!0co zz($;kx32{nbdG-WV6l741^}5>>toOIIF=^~xi`;yowfX_TjAU1+^jEO&6D@75)tp0 z3OGI3QE~}uQ21upzO1j8g>to-n_2I!g6=4S_~IZswnYi!Oyc|Te4Y15=^{P2st}7m z*9oVWSxBvmnyTQ2PFvw;Ks>>a$y>BSqI zDx!y|AF%V@03JAz#b5YTKmmcOf%G?GF@d9$Zd2Fu+B}hmhVG}*+o(d@!DKutKnFLf zIOl962Q9G7hl}h!X-EuAM$n|qV;P;bP;GPTp)#~PjYQ!h-bdD|&CL~ZMM;Oie{)O${(#^16(VK?j zXG)BG8;ob4Yz&AX50yn8naGii@^=KeWd#Doo9l~l${?~`Lb4YDNyIV(E^IaGDwTBJ zH972`n}m*_H;ExA`h`svBA(LY4Sc`8V9e4CV%c)l*44nt2TpZ?z5wDh$OG|)8ns|Q zF=vi@?6BVZkVD7P0?aA>NziFLIs%~IWySE(GQ~~5&v-K0QQBElkn=8vbq7@VlsE6Q zjkhF9V}EmQj%G06_JlTc9WDxGl5L0JTVNZ;qQYlmZh-)idwEcOL|?kC@-b7}lBEju z#y%&Nsh)?a4U0|A3e8H}TIE|Dwue-(THwUvSt`FFh8H2PDQWrOO%putrbs#BgCQi) z!w_uF0bw)_O1?`pge(%7e~kv8ry!L8H@!``cXqqXQ`nJhFw;Yu)QAE zH5GCDWk0CV4>W%gW;ZVw>n30h_-%)=Hi^rN)`_{;Q`OIvqSbL29|lvG25uPk-q4?{REu^6(g@uzy65$&4)q zDt}B7y+9hk#yX;(feT|aZ^CeRj}CN1?vD+99Xil~lLC`P8ua`oc3isz4N5e);%nBW z;Kv6`G{8(;jYTX`p0Xz_%7$9!#N*6X+jB8Y^&{5VJ^_D~X#!hj@Jvfw%1=wg$itlG zg?aZXKeR%1LHo->hsDJrfF@}5L7?H@f~!jO$yf%k{B|b6+u%{k!RZ3eh-_aNie5j-BpIFAo-Z9Tv~U*0O=u~K zAh0_%3U{CuX(N5)k1fHLHsx*Q^`KBsu1!DZK#P+SP2?xqT8Rsnt^wRyv_PoRYj@n( z6>b8IUm{fY)hpsiDv3M$00XU{(SV2FUmC+YFVae%6^MX%}XgoGvzb zREQTn99s{p2cKL4Xq?;F+x6%3B#uR~p%81$B#FyLJ`|Z7iHuwMTKbD|u{mLy zQ;cObAj1{R@I9uMiu|jC$-Lg}6%qZfuwMVPZLn1|>@EEQJAse9`{~KiyV#pc(4P+_{Umi z9=O+rK%b>4+*fGqSt=VP#>jj#O$S%1IpV){xr)OeV)nU^k<%`iD=G+Jni3%(wH!H7R1|%lAN-nA0SB#+eIgPXH&V*=xBA!os0&< z8rPtvX=4zo4dlxBR^Chc47~%a4D&8TTP6n`u#%T6!9Pb;Ji4=3Yi>M}BglN+H3=ox zYKKZnHj`B3`D*?-yS6~kr1v%TPD$NQ1pa7jl;X~hivGdAaLRj<5NP~nG2JfP`xo=n z_D>j6aO1V~7nv!u##i{*0xPDdntCIqtA#v%fSyM?N z{(XrCzBrmWmg7urTwEg^9=nunCF~2v5p8)c5Aq6E#VQ(p^W0`5)&>=%F^)X+X@R~ujfw=S~lJvYZjk7Hzj9b zR`uT}nQ5d1e0r5Q0tL1t*Ch%#Ve-;53_JpgR;@hu@&Xg4DR?7&MGcf ze~EJM7EuW)It~zME~Z8-%%K8SE4YfG33uN6XZvxtKJ(Dz>h5Pifr@j5c-2~NDqwv|0O>M zH*gav4UB`U(G9s43yhN)ST9cjVEx}=_ET+l2oXZKdcb@DpW4XP6~Rz$5bsDiEyMs7 zX^ndR$y##-*{~xC!TG}{DCoN+UjXK>1gX+bNdU~OJ@-~CZB&ln;g+<~<1Tt&un|!^ zxZeSv!ww(^8LZvy5j~MJa_l2EF|6)OG~nxD`{q5lB4_qB5=f3`lg1C!{}R#?Ku-f2*HyCHqP@&vBM+NNKyRki z)IlcAjeEyub+OJsHVt2*YiP=tQi*u$j2a-DH6M3(YW}H?KdE-^5@5E1s6br5^~%z> zQ{pUEjmaj$t|g3B=&y)-VS;E6_~>SXawmFbHq0TOi+*wI3G#WpKuKa@l7#b1ktOlx<;y{KX*;ESaMGM>1G{c2U=|v7dYgt*5Gq7SMIIb}jd}q)! zWl0QoeD~yxe(ss}+6O*XS6Sz{gY3Kbx07Qs@5vXx-kXnWOl82?S+W$_#8#V)_)Z7? z3xi?f@%RT;?9ctJL&4omBC{-%V9q~B>^sk*yQcKKOa(v}%~u|9@j9Pserj_}=IbE! z?rBnYbhUHLg_So{20K!z8Pvt)+AsmwXyq+lY@ppxsg=X;Il8_6LT~W7*L5k*%^lsC zMtwMuL;!iTZVP~08g>y6%>1*S(_LU98L3x2oBQEZucO~?wl7kx(U~t)prcf<^)$Bq z(9leN{_pb1B}Gr0o^irJTe)UthF)o`k+P04{Z-4Lplqq^XyTF`Q{2UzTiEviZN8yt zw0ydd#2Hpyf?A9RReW1yTW&hvLZz{+eaXZIwmC>gnjfIRFI-)yq1wKrV*}ruG9mL< zOpT|#O3khDRBMC9S>rt$f##setmp6(5jSK`lhYuF%?oIAKiI{J?m2)tPpLWN^~7wg zGF(2~CV zz^7zsnGaZMvDu~pqG}l>Zd<-U?)u^F3R%Wc6GwWIy_sj1d0v7t`$I$*4||hu*ed`h z;qoOp@<@e7!};&bW_QL}Kb5WEwYNDWuI3>N&`rLjR6lsVq7b0T9pJULQ%5RJ<>rWo zEm~I0z`Cg+{5vqY6lwEWlhXEJWKkeV=CE1<0s-qVH3_UKyr~SP+~K1T7IpPl;Al2I zesWQHgL%(zc@}1I%V-hUTztvd1BTstZ^kRwe{dP4M8OSag@s;A(Xv5bbW-Uu$j5Mu zQz2G$inWHm-UwdtyIb$G6NKR%W!19?fadzm7>&o60d5vS z%K&8j;NGOYH!m~^&0nuZZ;|A}WK$>%(xGQb9d{pF6s?os!Z2Q+xpU%Ml!M-Ae6S&G z7v0EHSPteaqxTg+Q+Qw@`tOL*7*j=QQN+FlI<7t&gSY&u*R7GA;((CtAe}Olm;uq( zkqj@S2LZiHe&0`EYe$U`N@&$y5&d36Js|ER1mF05p%Y}g{nni?I53yVAH#C5ymaR0 z?lCRIcjGR59YKwoeNQNriERPZsk7TTnR`VoXXr`Vp8@oqcsCa_KfiE`~Ex-~lu^2OIQ5TN!N zP~+{n49W z%D9)gKD2oj!L0nwox2ax0F1ymi|sydp?1g+w0>}Q4eu?Q36cwin)rg4}2 zqQt*;;}ko^Ve>T!kRaoq8@(pQiWTA85{jvLT9V9%)cHGacD_j4@EixU+}!L%)nnnj zU=N0;!}a?WZAX!|gAeuFb^Dx49xa@s<*8$J+Q@jNL)&mVfM}3$(g~}FAAon4L9($t?JQT8?s&unMZMYh;(Fe2tPc5ylA8q z?)T)@j08GYf4lnHKQ>+3>E}|tvamgN$^67f(Sbz{0sTUmpjgE*JnMi=c9aMv6qx7N zHh(_ZW5obU42r2g7IB7S`$@v{d$eAIW$EGdA4LweqsTq58Vqaab%0JAJt&PEl?Frx z7Ri6jYtF61azM2Dj_mdzQH%2m{6AqtvnVW~+yh(fmaE+}*+GeezAxbq5;iIcK{H-m zy~Ui*XkLl4`^~W@GuKQw_imMu;gjnOaiEN3V7|%@S~j(yEefUOUIIVbg{3}5$$_dL zPClDTH^YhkD&n;q^neyLAn%1fT|wROlrecYU_3I+aG3sM=+)US!DH|u*YwUaDX#vCZ+~bF_QEB7@ zNJEYn5T2xpq*)Zg05A$*E!I8vwO*ydK{sp=Et-q*wz&Ar)Ky8 z?JG#6Kqp84Az*)=-fZqD-_f@pUa~KiOH{2?eQE3=-U?~Ka1h0x#)ahj+Ij0(7L_0h zmZvN8pwx-M0U-0)aGz4udTYrgdtPQv@Dw&s3hy>_Slrpkz~sady0{q*EDeVauPL`S z&36AaU0VD!9u-J$7DKYHv5&NWox$iRFq<8cSilwD&@;EC**agcrOsDfr-X#76tM6Y z;W;G8mpDi#h8|ZvrKRas=}M9T~G!9j?uHJ<3|V`!--*TRuU(r4KizwVG~{&zl)l#PCl~+muOYATA68x`knj zda8w|>luUqtaTOdqU(=Q0vGAhISnblzM;)>6^e^_i;gZm^X0Q&XPnO>xo|Zp0QviPz?}K|tCsB2<$OJotgMET7-1jV zhz}OY=*q|VxE0$BY4G(ql&w0BsT=$As^5>)tNK#@!Whzylzz_%cMMaa?yoy^ltF&H z$cYkDDvlM;SGN%tezW_mTJ0Kwl(CWQW0QWImWd{c&|rv0=0 zW`v`h)|>RzaxafWzv_a5@X6flQ!M_0rDR?(z|1`EJ2L5)=LT2o*=#}I5MIRy|sltkQB0YvFRr_CG6 z>gs8jF{en2qxmmF|CD5RV6Q;(YYm4~H%HBlM=rLktGfXD`yN8W9W|l|O}@H123Lcv zlbN$mgxoSVMvP?V(u(Sdxwzhd5Ws<@tA)cveLRgsmZGI!ux^N(b#Ygj87=H6NBq9k z-$}`9Vd|R7zoOV|OIUcV4gz|A!rtKZzWy*`{Y3s`OkI(lJ^r;YT@yN1xvHZ{g(YR_ zB-E;eHTNs7rlMbmvI_oE;{>hP*4JC<92y`eSNzPxf+{wL#hKqUvjO zZ}xeo_zk%(n5F+;J`b#wM*wD9!vJA;iGj@=cz`wqix9^Ryk!ZkIK73?K4CKi%G zfe5QpX=n$_na1hrDvXKP-ce)~T32rN)qJUbq6mSyzDj)v{YOvaeWdA2H_4Lrk&8PpDo`J3sXk2tJ5Mr$V2^bJ}vc1gT@&P&UaA_nq3N_Neum~iA+ z(duhA82oX#ow8+3lTU?<47P>BWl1*ph4?7<&r6dHzN>Kr{=L0p*LE~XeC{9j@Q}Tt zHP~^H@`a<6D{#={X>|DYyyC{(uJbJRNr1(x6!CZ^>g6axY>~Bu*n1~X8i~$119~f5 z8A*zvLb@i{y9jAfoU?gjwy0Dm$m@|s>loY#qQ6W(%oQz&`-Z1tB+Rv>;XthG9^byv zkNkq-MS&hK4^c@a>zhykB_3XqDK7fMk*>kmq}dAx{O7psXr$3s1a_c@H~|0m003T< z=RUW^bq-d>$?2n&#sty@N$Lr`A&Y5fX%!yMjfHL8G#`a#EG=&40c z>?{z*{N%ri3>~|PRg8!ma4EifqqMbC8h!<@#Io1>e^VLYDGvg0QxyRiDM$@qW?}z7 z!H@?6?9k0|MsGIe33bbj=!S4=32->-+{{1IStIUUKXJrbrH$GWYj{@{o_RLo79y*f z`ZfesHCk#^wHHM&dEx0U`|6nHxgfx&B7`4*_o1SHipBy!ZroSpYnQl^I!|_9c206n z9{6@ooT~Cc0E5nY2CB^tgB=xVt9Iqv^;%iJjX}9pct5n7Q`6K$ zqa2u@r0Crd#;===E*?j$+?Bc1T6R4~CCalVp^t81LG*WDvQ!3Q4CM=dNtd_BIP{s;fVelF&Rw_7EkkTsLLi_iv{FxzP;wLlPE{bf0ro?2Mu2_G+bXL{ zDq;hM9%BEox5Eq^8_T;+d^AfLrOrY|sJk}!jgqyGm9D%gB``%3K_(sZwq`8I`DC1hlq$XIHmXq zfDJRH{O)o=md86s3=f)v)DIW+x6u48cpwW`eftC@awX)&n=cCcE%o$<=qx*N8ycAo z@KXFYfsN{$bmEO=t%dLIY%+X=_tl!8b?P1*zJ-i(%at{uk#gs1vnzNB-$#5KoOcKP zB}a5ETo}eX$#^HWhK}?Ih8ihSi`GHkYU6;S7hYrmG-vmUjH418iw8}Y`rHc6Bh2R} z{Y`+#3}%fI6qqlFW0Z|*z^3+g;UVS*kl@KcBI3KouWbc99m$J5ll96QOaB7Ok2@}W zz`z;HM>uIhA2EqSN;z*2*JTF{P#%agQwT8s8S&|G;Ko%Ifb$ zjS^##&KF_Oi(#H^9zwPqziqtA^4o=J1m&f>ppHZ#lecY4&)|$EzWFla?onX$`TG#; z>;GojXTm2hG;jiv=Wi2giQj$zisld~z6inP-!{P{!E$n(aF7T?bNj4LhEuKl#^}d3 zL~fr{<^s=1*sXrKBZHw{g_WWCKxmfm=;aAGjbo##;StR_P$PJM$ene=c8qTLoecG% z{E_{XG?#K35zC#JQq&Ci-k#?3r^*95orLWpzxt)WWe9;S6BVtiTB=wAf=4s>JOwsK zZf8JW>KHR;DU@=;A7>ihXIEcv^5nvGGfI0`xb5DZe8+&L*k!mKn~NnwJ4^kuT`6&? zP+rj}{>p(iT^d$usI(HYEU~IC3JiV~rO#%^PX}nVYElrhW};R`Rbua$hyM#B>q^Xd+rPXj1icLL&ZK)Nizy^x`mI6H@P{3Jc@y z(wYjS0ELWjGKfHXhCIC<4o!wxS|d3H*>;6l741wr8+rfl4tyF#hS^dMJS*9D3G*Th z8VyA}wM#cHaRMW@Besj8299&>l_ujSoAANJN)|2GU(pV#9!N)2mQQNL_QmubI^PqeK>L)sVz!y60*86FsLN7fC@4co`^US@}vlqK(ew(DvV;7r?a5V z!R_2b&93el)X$`o&kg7LI+X;A26qoit-8i9J2sbMd$T{5wIuaYDXt+9$fr;l>5Yy4 zORRf-mw_Zqni@xemYkIZI0RB6OO+QPY@EB61VlS z0DLPIhyy6s=YQ^Ux{x?$#HYCQ)9;-UVGWp3_ak~7KR>AJ_s~--hcM8h4S`>Mk+LvS<@)@PULnDG z=(V+yaacr5Y7!x&05+&?b^afPZJ<4u?ent6h0T>O`c5d~Q!!o(h(O9FewRe&Zj!9`v-dwP66H znq%U?NRkm1_p*st8ct@iPQHG^fJ@{7=yX#knIHas_3qa*t5|CY>)W;@eh&e+iK(K9 zM7(``uO%&cVt4&}^_%>jW2msstXn+g z?@MF2S3xIfkdWbPyV4!FxG!@g}Ol24*TsABY2qMPsQ|uVwq@eWORrHk!bfx zlq3xz#WDs8OF=;l#gT8!GJ#&oNGnArGd(FSPb)nkrwHvD#j?oS#|I8>$`1}sdh!Vf zlBr7%l4vLiDkv^)j|)l+3@i>Zb+A#ka52dZax{^auyHVfO#uEy$NLkB^(w-Iwk68n>70=PN(I?e1+q zd{x~J+asG!-cDN^f5C4*wKGM%m*11uf(?p4RDbdweSbcaVx@H#N>^VzW-kH9>D=YM z6?_fVf?(IoKU#DTogz&i;Z^&{p}WAI8%D$A4svV1ug96|4Tre*l52^#>*w$1of-GD z6TX=*i&uwt-;I=A&d#3*j~|2d?~gCX$=we-e_CxVG71k5HxD;YCpLw%Tn0|`(>CqK z9>H(_$I1A%>))yPe~up3&HM>9XDoMzo1=Xn$Os9Ej#Cay%BN2DKfjeAKzv%ZS%9E9 z+~8~+T)F8sHMkQKHQL%(dWH8#(9gU99avHP-IU<>-O%!r8+)+j z9i!!D)^pWwxsyi|%~hL~(+{IUGV|>@pTb**QlGeg=f3lK?O~YxN%%en09k{kyvik!Cs9 z#1Ab;b;++j9sF3erIly&y!a#||8{jXqdk$I-7f9^_FnG#cPMoBZ>=x-y2BefT=2#F zZ0Hz~&`c^Z^!Mm&o|)I^UfH;=&Kq9{Cto_P*RU*aqlSD@libTK z1PeNaEN~-3Cn@asv%MI9rVo3#JMiuqn+%>_mi}RSH!ZW|z0ux(L-sNI!T(P_F+iCc z>*d!$flfL9ZF~Us|LeTcPu`5$WWo^N{lfIg7TMP7kzz#wizE;w^eM=A0~t+K4R##! zIQ#Uozmn%+lY>fiusl0Gyj+m=ILp$$^j|CJ%G6$xH`HcDjHZum%kW+FWx-HaogsVa zy^NaQEH;e3)1CiS|ByERex-y}Etn+;uz%QmH70t3(!bK2X8U-Wn*|ESl;rJ79>h;p z+spJ`tqAhEi8G4sW_~PSJx?;N<^>bo?i#q3i<#Sm_~^exCj1$%xmmR9kTpa$>3s=V z`_h{(S?`H1HD%wLDz(4ttd6mN@AUGKt#vr;h%vS8P#1;R+24x;w&`-KS>Q$k7S;-T z@f>@3AfW4KS7-ZK{hoHakm{~9(t6=K>C;Nxy-|kl_o&>9gp4EFQ80|-+=lcZ2B@P# zR0~O|T$_-1cuWluChCzfq^HP<#59W_O8e+kw918WX{Bc)X8ah5B=Vb~<}=08EG3-- zynaPkFcM`ZCZyrC>N6f6OVz~z6p6HG(W*=j$-|mS=7IBP(jp!QtT5~9`4B74NI}gc z{X8O2=w9a_Lzn-qVfjS27z4G(V3=gR;0!ZS6Z#=A3-=18ourkB;TSSQU|@Ho_J`SE z??`IIC`fW6Phkyoh|x2}u$Mwg;3FBlJms;`9)jeox|D-fmu{EHG_Y6<%Hpf~B?-@&!JodTNd)U*|sCIZXyQh|L##`_p9kfjP{eYQ)N&oy$!Tt9~MWe7vCMa;ZgaW|E z^naWc`bpb12TUlTH(wYXmm=yvWU0C^VN2FT*xU43&!G6;*>HB!WA_c-9~(S{*zBo$ zi&Iv|RuuLM;XsYtV#k>=R__(sZSKseOR{=+{S<}!Aa|K}DdRL#TVRv7{nd>JS?ayF z%O9o&g0|A1;CIO`z}US_X#Gh}Cf`l$GdgE#Q?K?vj~)b>dt*I+%MpzeNX;Jo8N!&G zn?|~W-#4Rrb#XpsK86EYsBdmuyA+BC(l23G9xkAhgDzKZZQhiuw zs7nDR^w4vlk7#9LP|gTs4MLb~Fl#baC}RfVK48L$eVxflWC;ae>URpKl}g&p(8CjA zdP*&lLz5hAq~tx{8@cWjy^<>bS^WQJmX9}LdDXP=$iKO=#!gekI9D?(^xv!j!Jx<+ ztJIS~LD~L8u+V|L$y9*nB zIDB=Mmv{r|A;bIT>*@Y&>+pEX74Y%WijR791Q3rDBeD1xAt2@zJ?U-o)@@R0_EO&4 zXiC<42^NF_9dJ7wgvBSnB?%;;q#7D9W8~YE{LF}79V7h15I_ibt0GgPnryWz_VV%p zG-{s(9y-YM&eFXMVCI!l>5$#0)JNSIBZRZpTl*exjEqn(OP^Q?gPM z1C*<^8m#6QAg^yMF>He|i07Hdt##C0l1OxZRl>lk*deKOWtWgwN=LO@%M9;T$-yao z9jx3Oz`$Ebwi%X{W_FfQ&n96~Do`3822i6dpFgU@V^=hy1ud|kV~qg$D?+Jr`2ey76a=N4J0Jd_jJ5I3jm zi15qvi~iTP(ObHrWLy5U1Vxh$SHPj1RZhR8K@$U4N>awJ#@3uBQ~0brt_GI^kSSI^ zQ-ey8E~lnXk-sX<97-OO=TCscm%Q#8yZ1}fc^qz=KF}FO8v;kaL)XoHt(9&E zhJA^AZJ6E2F$DkZ8T=)Wn=VKO5VH{<#M{8(rD0uh<`QnBJeyS|q3=vyp_$L+BczPk z0^-0YtWzlp24(9Z`{kn(c;1f+(FLxa)x0GQ>4bYEbc^xE=W`HN66f}pH^HM_C@w## zKg%^Pcwn+n zkL60P(K+A0VShN7cP+U3$>3XVY)F+yB|r3J!DsoE!fxo{r}8xqQkz1-`<%DubJla- z;XnxeIRrs3RC4;5+v6DM*`&)|NQWC_f=!0-=7-3-2LoXQ=e2&eUtE_H_$%Epu6FO5 zO~1=Y7O9^LR@`+>gc9Q%@b4|Lb0H*izyN8(D&t*nub5|T>|og`r=Kl1iiP_U5tb=8 zb(;@rr$nfS;3qMonCbH0t*R1&f74VYo>$1P9Zj!jD!?YBw$8jdOhC267jnP91xmjL z{`=I-7zsc0+X5#7qHp_aeOLTqZ0%oD4gZsjhqAy>G6>_7h)gUC0HRJncOh#$mplHF ztnGz?;GeMWaI7AowxbJ&e#=&|ZU>IUll065)?=O-iy8(R_P>QB42+y6H>{U(ZZ}_w zSAg~(;mz+QLIX|Ru!;5ah6)#2Lk(@eVTM|k%}rw>2W;G$9HrDTCy0_wE@i<+LYFiCv# z!uK{W0X1Em2-jt^RES~ds@M87@T=MK{msi#8M}UeaIb9~a7favGI=$tmIc4QemX;$ zm+#nD`L|kXaq0s}QCLWLi4)~MfQn6$ZtIs>_JT0`#^`>i1>YuJpp{jE2M15w3zi!C z3}W3I9bzbj^oudun5NGVZpOFLJ}+TtC?w%^j|llZ^(_fR+b2(8eZZ?O%H%N|O_^zc zw>ix0ftg1a;BtM~3)H~dlb!C`chUb*w5NT#HX+ob+*@bY+nbix)?mDz4a^TGKvU;4SFO^(*znu8VQYVF5-}k7+yQ@E$M7 znl^$RbD+o=)m37{q@IGCOWP|{CHP+JUyI%+uYa=|02qOW)}h22-fRw0m9`%cdCi(tUR@rgQFzzkdtAO`?y9?*m`7 z?jMr|4i~;CUJN;ufAEqKqq9@qK6Mi@c{^Lic31nI976AhN#aGvr%&_6qqxJ~YiI0D zgTDSqkivItP)ik7N^AR+1%oB+D;FdBHFlfd|fAGvs#&ba1U5WP3{_ZkcI}`EZ z^$D-RVm4*gHrLM&y!CqodE;h1ixV&2;AC>r?#P4t{{w13mA^3!-s^(#AVRJT7rf%~ z>xan%8k1G`Wk-chVIEU%Y%y1JEv2X|hfUd8sE*@1BX*SUVWaU_)m1yt&+Awy~A=3I~rF+>n;fSx9>Q*O|`~Y8lcm-a2t%uv#6?;dW0vJbdH}e`(SThiFB2 z2wI`|x6}|mmeTo0+p7o&c5A^0q<)uR4ptBlT!rmKqF=`3Ui^#nVYrXJCtKtYE;9!o zksg1|I@waCJ-eS!K3Q?#b&@*l9zni_DdOQR9SlAy_&@_7No@_PD3>>BQ9k!FovTG! z4Ua#;Z%UxULoR8oq+JhnepU+NA3=>TN;D1i=pg$J-Q+|a#Hj5aJ|Dq&u~5>?AXHUE zD)(B*h9Hxd%x3M#FOD8{}Z{%D2H81%bLcJm)S`H?ighuIIYr}-KT%C zxFr<4ai9O511+eF?P@{&2Y7;=Yt=26Ai&W&%{t3VrqGo9Oo6fkI24;|LYx5|AtO?T<+6R>E}I zO(C_1>4`@=ZoTkV`XK6v(w3SF3%Q*Aaq)A_-Z>ctWkNTq<7FMMciSsF_>q6Q=cEPh zGU8r@KDwqC^|+PCYc#OQP_{8QrL7ig z2KPLjVXMuQQUg2z>urg%MmKI7jg$)lN6Sh8LL=XYDHO@!_E&J8)!Vseps2cW0zj9$>Qfc zg`P~37b30I#1)rUphosA-R5T5CjIfomF_l9R@u?i+I3Zq=Z@HzZV!KG5&m%;U1zzx2CKzg{cQC% zzWxhIStTm7$tx|^%sPLrdtInKoLzz!YVa%TdLs{N`SUvlif-jxDQGq}YrU(Bnly3p zz~!cWPp|Ddy_2ggG^0|s#AwPh@p;Q6=3-}F1L?UK2bh2MR14Hgo0SCN4J z>V~NIJ6QgmSWv(W=1OXJP6HRylUNa5=^a)bQ+Z5&;%McuYdwFNS*=`A^*{Hs4cnc% za;_#O*_y%b#&U#bzSf-DrsBJkj~U+7d3PAk>!aimv4+^FZFN^7IJ?ngD`AVw`VtFo z&M(|rB+vOog}B_yCy3Y1gI_t!B~s1R-Kuc`>FcIyMPHKKFN_~xY-UGE6L-jHuF$ha zi>0K5FV>}JMYDgZyv7fC(A}2)+BGft%;TjLkC#@erMh?mmL62gAHo&%?4CUzRh>c& z7q~|ITL%uh+l8!e;LyjAd|L!!nDec>M@10De6{Q9;=|mhr`kSvQx41U%(@UfJ$PPm zi9?UL_83WJp#vegqpX}nE2D|N6{WsX`KFAM$XP}j-#S()k98|z-)6c_x; zCLV9Ydn83g$eb%LemG$K?NP?JXAKQca2KOFh%|un34Cu3FM}LLSndHzWPFVS<&dWMH*jXmU39xD}$bg2mU66muxu=t>!UC=6VeS@>rtV+H5XD8( zjfq>=Z7XqJK z^Ozlx?!ZA7o311(IxiEY znUL9@&%FS``&W+ z*uTF}iL%)wIzJsL5i*t&IaZF`lSJ3FlV0^hw{~Z0`5y(g{*t4;dT^SRuH90Rc_8He z$m9O*J%?DAd(X)l@|ti@Qtm`{MCR2zj|EzWH;IR1+!iq9pcFQu(6l3;UxoWuz(s#a zbBW<_B%7y3>U>_G7lqd(;_<7Y$G@vcSF@MZ(%Bkf82+b`$&$#rR&<1Irw1zQkJs>r zKkFfB;eyrbU$ONRUQ!p~ols-XKF9u%?ys)xs^)(+e~YkPEGV0q%F=Q}6^B>Ac6bUl zNUCcQnF*S;#3g&^oI;eB&l`;)%W{9!%YpK5%GFubY!qFPg|Z9;62&|zLcw?m-XSS5 zlp2fWSo$kr^+O~ zG&bRP30<>szdX7VHF9u`uIomD>;-8H zvS!#hyLvw=VijTAu!tYgjV-8OUm4BnJnn>DjLe%F9jcXNsD7KO$jC+o?2L7h*oR*= zW~lyG6h`YpC@p(}0;$`EM|LL)>`(XMB zf%Ta^oua4}?vv*C{IZ&b-HnjcZnM(d1h23(pYh1&G1mkLc^li@lO z0yQy{Kvz1G%xMyT2~-qU)~*J+t3`rH*-q?oswxRCi3+%l>$nk71W^IExIhCfJ54Xp zfXHG4P1ozDn?}~A*&6{x38H9-NI(dY@klg|OWfi%8Iu@IqOVBtpYvCf%uLRinUnvo z)8|!J)xCAU`_*^vdyj`WIUzhAZ`%8TJAJnY%n8^WBukKgB+g$lFGw1d94}GWANn%W znLh#-f*}xwHOtCkMjSBAiSJO_OW*|bai=~`!^}o z#lwE%tji1pbwGHCJMssFL_ClmkujdbzeQUcDGQhSMM@J@F{-o$p5ESzd}K*!ikPTq z6}71<5))V;ozR)FPD7sbmz9u+97!aMdTPj|E^(48suc!559T93c8qtN<_Ey{`*}3OM zi#CUb?2c?d*HYd)aE$0~>N6fQ2wg`bH5NF@!g$z6_j6W=^uoH{l-?Uw>~{9(V)#%5 zjqEx&fhF0M>`ZnJ8^#91Y3x!M2$w*QE5#;SuTIy2f_x%9>b-sJRGeMUPJ)Y}FARcz z)8V^t;kB!Y8;8l^^^J4qir45^WPO~rvx$KDC??IW=9~$c0O<7jX5ur+PKy+ugo7W_}AwZN0=&TeXD1MJT3||}g7&=17p~u%xA5&&n zNX!9gP}L;Hid~svjfGiYfwFe@=RLcBhGF3__7fwA@gg{7{@-VA4vmdWAmAO8otVv+ zqk~8C_K;)WThZpL{JqU*;s)^VUp#`-Nq@bF{eX4ORuWi1{Qk0mI5N8$7_4IW0cr(> z6}7~t9sQ^9Psc~4`7byu%j-H#8$Y1jOR!8Pm%GX*+}jC5gcE=^~DYKi6Y zAaxk-ziJT9Cb4KZ_j=!8$3SXG9g!*n(Xx6?If-?cn+s1|-SEk(x8}dg@i6W0-Y=nB zD@04l@uW1is&@E{OUx#3w+FKHU{Xdo)rM|8T+~f6KckrCH%YOXs7V_>yd0k~+narp z{lnK@-#zHMY&MbWP%I2iaY{&kOH!!`%$yJtlb?zwzEcT<;VvjFvz=>~N7a+%DWD)t z{7YuZl^GW3V{va9hPl1i9fnhd=;ijutl+IBGucV()Ms;EL8q=)wPp zo_D+*w1M_1OPN2zC8DQ+rz4t(LnRthLY?r^vElBU;-?FHmwT`9^Hvmvbx4VloYM(S zslxrLw?kM5vB!7*-@blw^Chtbz7~1Dvm>7XI-n^c-oDD$m?By~5)WNEckT8-@Ft>u zY?5g0+TbPLzJIxWd+73iNGky+|A}9j-5ndqWgW_fRl$JI_IEw0g0iag&w{Hes@!W% zX$SY!Ul@Ee*nKLe9&A+g%V zglG_+FP4``+fs;~nc)$;#Xiq=Kml}k-t$*Dot+I<5m?YtRXEUp=accKl%praM?hV5 z9g$IeJpB}Y`^sncY?@OEtz^s5&XRiESOf}8q?SIcJt)SU95Rm_E+??!4=RgG%1L$+ zD-fvxi!59SAW~Dq4UZmimulkmm{1hryJHrCt;wF{+uPS#)m+Eb4CPeSSOTu#ccB1y z+C>Iz4E3wPUi89$$X@IVM$HM#Uu*0jVHVnxbB}di7U370MbHomuy21`M6IY)o9|D^ zQA0x)u;I3|K-WP2!#4!|TmQ)C*Ngr35Ul1u8M?wkF8D+)GMs$Z{r;VR9;^|@+QqFa zI!Q7D6uZcx_F(H*^ABJ&C>f0rNuCkXn_0qD)UsR#vCiHdJv$x-xMG zEmt2fIvcO|0h~YV$SfJ1A+n+G>iCj4e3^eGBqP{<51w;Ti5#UmyvoiFtmx8rDzp6YA7PAjrE`vAJ1Uao`L(z9;_Y8 z|3Ta+AH_z0{wq_BxUFlPfYGPp?mRfHhM|WXN834n-)wM}WIjaCmVyz&#$sp+O=skh zZ2Z_gHlDf1ugs(MDL6YtE*L2V`^m9VQ~~y`u)n$fH23Dl({@^H=nC*rBgtIQqcH1# zCi8QQhP-0D*ickrBw^0zRK9-fzF>bg@U{CjeFB<)@#a3DYvK@6g8bJ&0W^J_w<151hBQi+(g#f$5HPC;yqu-GS_VMos=k-9BOdx(9quv96&H{xiAid38}=#4r704yDmewC4BKL012-XP;@_~*fX&um| zh+8idHJl>H8qjE6)?y+-E`T!)e7jih^6uY%b%e`1MU84piaO<>LQ!+Dwx-t7NVvk+ zzy?_hu#?z&1@u7l3g!mCVy23Y#nr^Dj$Ip_!*u|j0BdH2|B=3P94E~^b`{xBY==)4 zCu6t_{igHDU(IH^z)XPTT)9|Tol{v>XFkeRXz@YY=)4Brxo$YU8xq})OeFLZT}VBD zm2D*?!~4tjl;sxcKybzO3YA&WB$T!096Kid%Y~~CUR_?pPOc=<3iY%ZKLQG?NEnJ* zX?3_Bq}v(;@EOaN&xkjNwn@nLeJ3HnFNllq$L_%w{SyC(vDO+DLB(_!by?9+TE6zaV>rHgw zuV|f6%*~Eh%N2GOQJ_7XQ=k=MZEbP;_31e47_n{J{Ff=sdE}+cI&E#5uso}OE;&jp zQEvBI6o2_q8i6@f6ac*j$DDq_>@kknq}Lal2u#y-hM!b(Lf(%*@BQQ!2lzFoPQnH^ ztKGlrO|wG6iv0vX<WYMv7CB&2LC1vjHubecft5k3D;I^jVS`{E(n zCP)RW6BG`%4O}P2C+rvZCH0_x8qTVQlW*y6fqM7BTdQxR-Uz#~`c}}b=Ql8ZE;o&@ z6@9zn^SPzO4a*l-o{Dd+yg1)`MevGfTV8pswcKV)D^DRXXG+UyR!d%PzFl?#KXEyI zj!e5dCX`HwjM2pw2=i4sEsh~>xwMwf6=QD-a`ki#@v-1>$EpP+*1MH|b@AV~ZO3BU z%_Kr+G655gQB;G~Vk0q=b8~XJI$f?g;Pu4k6?A;?@TDC(7+{2Vpqq`?dFSq(OCyfV zV(2AG6Xd+F$ooJOG zIh2=2>$Jp!>VeZk_`{2TzTS&=tqIyhvU}KMz6$b91@b0fqPBnoDJ;{ck8$p;&Mr4*Z%CF%Mj$f-SCiR{I*HQ2C z6!?R!#0G5cuzvt^8=b+-=B71Tt)|s@Y8Wu2lXA3GSCys^=jslB>vD;CY~u{r&Btcz z%mu|pv8@eQ2+Ylf>QoY-#1(R2P;nky?+>UYz1Z5>@H8Kz^2>pt@K@Ur&Q>V_3OqRm z7*aUfuF`_oQW8#L$M~7X!h&MlY&2Aw$RA+ek8B@5!(`N%@#4b5a&Dp#z=t)1rwo<) zX?EdQMyFYL9}Yu*GuI`T!t0_T`bWu^#ODXLHtxjt1Sb1P$%r*t&p(TU^ov?o6CP)7 z9_ql)eO~>nlWZ9=-uXi8Un<%JR%C4@SYFE3)M(sa+IQm+nLP-;>KESx!{tNVC+W9! z;GMlm%c{xpApOP_VpsdN+Ks_oW^$WjWU+mttam?XVb+y1L0NHyML;+^g~(hc0GEk2 zXY0gDyXBPG(J8Gb98cLVQmU{+O1j%TvS!tzvD1-QIU%4nBJ@Rj-{3>id$;AfJ!Rv z;;!tQzzi_#2+XhyGjnEO*!N{X-~uXw`$B?d<&tTZlo^#4nUR*+cP<^i6?%CkCsIIiX>wQLZo>Pe;+jB1>qCB zm+=3_#oLXuUa+?tPmqHM5#d0*NN~hB;%A~yH0Td+TjHzq_FLiWr-%%SjB}bceflgH ze`Q!)L{LCrq}*xx^qEtv-{;Alr^#1(`2;ItRKY=VFNLpsT&akZy9N39DO7&)f2mXDa+RN-JTNjcY`&voWK_U3Wki6ZKVGA9 z3>jFYaQ_HU5hH@--S-w+#b?lO{AEN)Z?*=^d)O`{IeK`10O=~E1edq zQc!#?J0G=?+@MNL^aJfBe=Kw%JHTO&R<yNC4Q&9j!iH zewaD=j^7Nt*sl~5<8}Z)zCk~&kV5$0@S&ae5n5qlKpK)mJS=mJAJ)YaW zn@_`$aA9GyiM4OT7+kA_M|lUxcEY`#;I3OYW!vijSIKTWe};w@f3eh&`{maz-=x2q z)rDSU(NBs>>5WW{Ki5}J`s*|Yy%lTyDz**AB-=a4P@LbhVdYe>wZ@z5mQZ^}8& zLI>%?=GpGtKGY?fzh=oq77dqr=yUdSkcVr@@7v}s zRG?snAu>o!{Q-$Lf9;I$3S!|$B-M&IwM0RFkejxh>$`6uo3BXxtB?6zW+3@v50r6> zjIuX1Ua9~#B*rIX8{-~$ur8iUssdSMH1sB^<>kOsP|7yf9Out44Ud!2CeHqHG~esU zi#qNJs#8fAJfSzjZ>BD!F76&=oSp zAhVK#8nPUiHR%SuCY{~>y5#(B*Mlw$T7{hOKTqTXXQAnE1$^xud>Ibn?2)g=0{PE7 zETV&*aCetjm;{H)^3s4V#h^>pu}h=eL*1D*^V{JRIRDEdZ7t{a`c`wv{=i#R7GG0c zQOsXmc6vS*tS{x1CdqmKsQVh3b$Sy{=`YK|h!ow<}8cGUs%-L*arU?LGO4QP; z!q9u2`_?UZV4m0f5p8k;9VJXM+|gC^I7!hkDP&z zq;LVG;Uu`4n{JeCG)&#Fg!S69)_X4V(f~PxqhvpO9!tC4_gQg-JFyf@@S&|liD?x^ z_frM7W3GVC;r3LLP>3_wH8tl9C;USGjv*+V#W^JZ#y|HC7&OY-27S+?|lm6~+U79Bp5XljRZ* z4`Dw?--g>QaEirj5#waZlSN6X6Cobf|lh z5u>E=mBwvoTnT59hC`L4@5pZu)&7=N9nt}&f9$FN6>v+8LqjJ_y-2+$OvY@<)@G%r z>a|)uJ2(8zNH4}~LOoo-s!TYu#)KLkVLOcwz+S&B;IJs$Yb(NndL^V ze;G}Y)kayumC;dQ;g+b{`YKBuYoCFkX|sO%q1j}C<1E9!6uuL7%lh4``=fhOQ_a_) zfjM{==y{G0C1>din>lE@OMaKXXYK%Kb2WRWvNK`+6VP6e!g2g&G`1LLP!HgR!91*u z5kb+V?ptDbzt=%_D1hIw>~;6?EE@cVf8tYgo7}AiE3IX?{v3W&-G|mP%*T+<`U3o> zTTsFy5)LN6IeGF(Zizm&a>2%UxuW{~=$3V0C> z2XL!MBt*`f5L@xCN7*S zKfGOi`4AUezJE_HlMAv-Iouapv&@%Sd*oFG-Oqhh1x-~Bb!YZogD%&=8O@o1Gt}_K zf>M|yD^IKs+~OO&H<7Il4J`6wX1wXTaKl0W{1lG5uTI_@r|_lMAB@P=vb&OY1#F?0 zf42cX2Zugrzqv2%owbc@f9=+7U^cTR4OGN&n*5ZCD!MGYEWelyIdvEmFyCDL;FG%4 zmf$AtaO){xX0pscpT$wL7i%)K8a17mpIn+-Znm&!AsQr$1K#mrtRgm46V1#7KUSB6 zBV~0QU(t|X#ZZ^jcfo{64ibGsWa}2~be!yb=IvZlYfCL#Y{>)Hf0-^Q0kd$I#H_cL zK3;)~A8`fxT%kS^%5mk}76BRz9CRb^f%?cMwpFn+JBXR>voa)+Gr*suRL}35X4P+b zQQLtd&UXw9G^>)q2@b9yA749v@nZ4TH7rX0vxWBPI$Yl&Du6{|SOeF~I#7{2X^)OQ zX#k^di{bSVd=$CZf65=Bo;;M9f0MQFQoU+6CP^qJiHcKL$eYjl!D2SbS`EI!Iofas z=xh4x5ii(cFCp3EaJOgCC2Ai`w~lBT=2lLyA*r{~XsbV$^U`sN-}fxfPXnGQxB&DA zIBMiZ;YV46szUX&P&HK4;G9Ns5PkcRkj#tTdH^Ti5(`^;e_ygvIKl-em_1J^{I!+B zeIBIK&UNn5>vAuIvJKjX@@BdwVP8;Wc%uK(E35B(aqnF?h!wo7RJ@8G+=Es{A2=-3 z_ZuD5<$bBSXVoRj4|;5s32G9(Vm0_?o;3jD$W7`c>shb|L>9A@ZLK-CqKu|&s^iO5 zEOjv=K2Eixe>k z{GtG0V{6FmYB1M|Zq4Ty-GwF{(On*5p>w{un=%W$srnUNz0dHUh2rrWv{(^ z+*oC_S{@UQNfW+x!16LfVM+oW6CDRwgl8X#5KU4a{W-HS6EK_bs9yh+*}ssN&wr0t zNlA2$e>#zlOVmbN*X=t4>X>6Dpg+dhhdhH+xZ2;-U(qBX3b`<|o{S_1$YxXF9kv0p zSuqm?GNDfWNL7;mJP`wFKZo(-teGmhL>+?05l;;1B}nSpUs!#{YIU2{YI~UT#2l_h zSpTu{V{z}j5l_qVKw8~kD|zH7jWQTwQ?YL8e|sM(gsYN@Gy{lakmGM1*GPteom2X= zxZPUd+XvEp3OH5A3CD~iO#jaz5_MK)YCe-^GM8j?Fr(LAV(hyq{jF11e}?18_jd++ zxCF;>KY!_24ZV6vI8ev9_xcAM03Jrwpyic$>5C zmaau;wBw}lXyo@W59%S;_1y!=%tl()USkoK$B6KB+R!N$Jm4M~ludkuY?0lRu~vcd za59v_Aw54p2X;}OED)>?-^uP!?uzwe{CAh0QE*`=4DTGJTflpbC)i{4$4d_~f2~L3 zeCxQzUBJzs#*>V2n7@n%8Ra#xFl_`MLeA9TNl|!@tOmvyHcYk6e;lJAtJ^^BIj*mq z4A3RdWJ54%>w3U`X8-pu#9EUYexl(_MGJHD z-RZ~%7s3)0AN^}$jOd3BG5i!|$TEQ`zKnh4$Bl3v^rYeDQ&<_eF>VUlz|joNyk^L!LC+yb~?JQ5wQ(Qmk7R>1KUa(dRdQIK#g6Q#B-@9o;Vr z1{A@WKT1i=BeeP6XBM>ul9fV}#i64cI#t4^?uFfyhUnd?k>!ItO)5xBGq5gc+f{+g z*2qKGRUCCi4T)3t;R|p!fBgsE?SikOnb39rf$Y3Gc6@2k>~9!qp&AZ0LYF*lGJGUM zFMEtzu#s(xSH827*{1OH4l9l}>9{4euY3hVXlR1Wy@!wCi<6OoMHA398MT2(2n|jP zV?6h^*6>vaTHdbQxv>BPwgU8kF8HA9evCs$*Osmp%OguvC-oX3e@qsx$lmk1iN+yf z-Lh2yb*Uv~HH8hhH%GA4a&@{M81&p(%Y~YDJmv#uzjbl3@o}81bJVmo^bS16XA~5G zoO1RMNr{MeYVQ7clckob>#J%T&(i3nzS4f_6dJ3-jb2TJ*2LBf$fr-ED~&unUkT6g z4p>7&<*k%^KU7g^f4yFJWZ583tpVv81G`qM2n%L*X->7La+;fIZ5d6Wjib~B;dPrz zY^nGM)t_AYgziC-E;NosXaA_VaUHjIaK7vJ6FyF6Tas#PJ)~CFaR>ZB^m6)j5PsZ~ z-CJ@r@;vit(VZ#|1q!odvv#gRBUoeuOQhAHuqul+<~4vye})=#8x99(vXz6lwp~43 zKG57VZZ+MahQnV3O4blo?>R@|7@N)-pjb-ri2k!$_Ir&+QfV<#YUO}Xn?d#*?*1g# z1PobhYDPkO7_F#QmsVC5VccGg=6h$bb zfEAn6Ah0EnYf>IaJDGA$U8LI=V_UwrC`w6tM(mimVn@rvC^n#EEPGrdiV?(8{#_4D?MLA3#n7#RoWnC-<51O0!r~ zE)Oag=#&?LoUB5=1a}Xbhi)+rkFG>n;Aji=e;7;i=Vfn4Z6aM1UcRp2UKtDb!?8RX zi`yd=7$r4K4VXM#XB&fuzb{dv6p25MY`?Vs;ti`{|N4jRb#Orq9M%oGRW%MDbi3Yb z=x)15NeE#RTqOH;$&JZn?45n*Kl+ruHSfZtSC*`CW+`T|Ph)CHRZU4lld3q%n&LY4 ze}k6qu%g?4W$(mT-A08c7wQqD3p3bK*Q!Ewl6XUgA%)hMK{>Gb!0kKc zRll#`C^^xj<*`lc?fwy~^AF*#-$4oQaOS&Dy1;in zT~wOj24BY$r!GEqlP1A7C2a$qd(moXe_i!^muqWmsbAp~C_jJp0S(FNpWv!(>-y^K zt;a!TRc%RAeQbp?Wx(i)j+0lIFV8M@oU?t&hErhy0F6Vr*o$CAEd$4f!CfyMTIQk(gf7p}n zeS$%;e^t{e*d7)Qj5y-{38#N^4hke1`z-ri$vL~1E}o}7)y~2%p8Td0=$tq-iChf= z8uqZ^HAj-)V#=BTe}LnwOIrXv13Lqvu`_^oDDPcOP4D&Scg9gK3EKut5!jQr3?<4K zIvwcK6IryjPlL7zWfE$!wg6-Sf0}Ot`&jCbRqQOn9w}W1#LmT1;8ViEq`p2$qS>S^ zW{QoOWjP#F37_ZfD?9$FaTHcC1<}HEUQ{kbiUqAO!HS?F5ri=FOxW(DdUL3nPSI<% z$?SMkfD7e8iMH4P%yexFhQul{w}3EavUTnG{EU!74!(?j?SEMzlap<-f4*!4{4CE> zcI+~K8T@Y$Ej-|l^P;j}J;c9;4Ft?n4?GwgwSJS|Gn5C%&{|!pK8;0F`V?r603?P? zeQqY*&<<+)_1qHdqGHWJfZL08aRppXQcg%w0D8G^!$>qs&|({{Q%1vEpw@arD-SGHl> zFXJlL&7Z(X^*V`rmkuBm5r>hQWA*-ozA!A71|T&#SC!aX@LbC7Q2WVlbFEdr)2x~>&e^nAGQ`G6H?5g>1Jd)_L((`iY zY;$>ovEQ_5Gy&w(5v*;>*-c0{1)b6}7Oc~4_jPa`6#!N%xR{7sU!|#7vFoUEn zw4cmQ^5#(8pRMepd&kH;^g*fd`3a@zoFNV9lW1%_B2fSaqlY&jwxkU_aFEC0}6|YCnz)%{}P3#2uw#qf3_jw@41XUYFGaYkA8oe3z<6(2Rmd9upB#2C{4cUc6k_+JUWzVgb|>z>!CpVWdkbe6$ED}Q=*KYO$CV#js* zf2Pa(Qx?qKI+;Zdixi!|gR-sx)G_7NKwr!W9V8rfC%gE_`QVu>29?oYF#?8bnwU3KH;z#qkO1NdH4Y zZ{Pj$W9v}ezx`l^y`i%d!(QA;efV$Re}$l?AZOu)zX>Q>A-vK9-D5-_Rl>|*3$pQop|bw!ncHKrN0NpvEZzkE5H(y#gZ4{&dN45ijr{-4%AYMJn$ z-5u*bmI~vZa0TQ3?;Z3o>Jx-t|0e3zKP-A)VC*K0AqZlD^-qN|9ipoQmlCMV&#jWO zLu@uF?FIw8q5P05Lo19XEPb-GjHbgSc6OG!VpFy`(`3rZ&axXOBn|ID{K5bP4GbuN1Bh8rg%}hdlmuKr0045Z3P6+L zIuijklYur9lRK1883GkW>AIDIiXezWTxAPrkU+vC33(7e5tWmplq!E}=ggUzd*|N& z|Nig)?{_Z`adbp@Jl^Dm0b#2?mAHq5hN_gRk7msbmnGdc<1O1+(NyuZOgbvq*j?b1e=bo;tLV@so_G|1vgj2bWPT?OA z!5D;xOhhIj1o8p$2>E}7hrI0W(>PVEEGSN<)G2fsvpl@KW(TO$85%``Tu06F^78(W zd-_uT9#pV&U6RV6O;S)&WgHdkL4|ry%TxxoS3%8CDXCbQT$&tDsp2V#Y&E6V$~0Ok zL8H>EwQe4iM6S?M29+j>V&58BvP`O##Zh`?oJ>RM|z;2F=3(RwBi4$^vZ^JXp%TPB$q5)`m#S;Qg_UAm5n zS81p?nNF%m)_M#FyiBD@ktQSTHHGEE9r+OPL}np>LKYzY$P#2J5{j%qB*;NCFpTMgrHRL zqf?aAV`z1ztMhEDY;d;iXPf9tJ50A@QFM8`xIGnQr5cLMvk0gZTn)d$;L<;W#p;F) zP36|&FHA(4$<$a(n5wsfYP@+j&{)a6DxgxjE-zeB5NdyLip*S^5a^0+T6i|Bzw=Dl z-meJEFVTFoa35~5fOeAceI(X_wAge4vu4VpfDvE5w)4QLC%fTzasUy$VS`RK-hDeP zwL8$MFj)*;=Kk=3fApHoTL>5?=*ZiuAcD}WRG?J0f*SI`vnn(L=&YTfv7Jy`x|BWm z&;9oxMh1URat{n#=ojC2l=!FMWKWO%vd#Y^V$jFGY@%=MaJIeV`bs3O*u@`x3h;QVxaUeMWVn@HG=Ha37R_*T$eW+LO{F`aQ{L=WAd3ltyzPb(P& z2{AUGX+Zn7+mD{be{A%LEaezsGJ4?R9$OEL?Gd$~%&>!#(ABQCn@(b4gf`N+xM71e zA|s|CQA#u?Dk@dD*CPKp`ZC$h1TtM^Ov!(CmDj5(w-DHUKS_#VWt{80hanJy*uyio z;8bQ2NF;pF>}YVjp`^65lFTw&H}1v%d-2L`5}UoLC9fmRO0?EkN@`6`<;lB>fNOP2 zGkL`N6Q-9z(JVFFY~##y z44T2b7?QS#TMTB6#$eEB%!Za0v$=nT7%)%g*mzLSMzng!GUGg4bQk5?15dHQ{y;W5d|Ejc81v$H4- zWZ)@-Mw>wg$@B`6^g|AA4HCuLAYq6AJ92C9u|qp6gXq*EX z#Qye%6k->;K+U=rS6uIJWDslr-5d_+56@XgL!U^KX z%!J0zDhTh|u&rOXwsmygy;mBOT1*&8TEM^iwx+V`lY+w4BV%`2=(G*ATuj*O;5@npU4( z+gMq*t&D&-pN8;DDoTGUDqIJnVFks-z+<_C-fUrnKo_wYG$keheHsx~6uw!9{}~*$ zkPtv0!E=rnpKs9}pgAcK=rRajAHl$4=ZL(`l%XEy6qk=bX#3yuZKZd(+U29Fz3(-9 zN(zc~`3CA^=7YT*1hl-WVoWvad0KVt>wPWtW_FuNuz>pEZH9k!R+mOQ+jzBfIxCFy zG;zC{(-FrJB|3~oGB$n@TF|<_XLF~MJ;PX?h$j_fFU=qgfw@X!hEox`3flOG(V8|k zP&F6m(DW8yAx|^?e0h1Du^HcATzSDvR_&=fQPSpQLQNaXRE?iFEio5w*@xGgL01KN z8s6nwS~ytTsdYpGjSHu-Cr@M!cM82H%C4pZs^R>a5)(>{b(E-tZvo*r+gSU!_NsbQ zvB_jAF`3JRLTfYo$)0wIuoIfiAz!m~6PqE^A^l~B$xNnulAd{Tido8r zY(1S!I)A!;Jn5@?rMmZ?bI&~`e+H7CjxZRE85_5(->`SxbDK7AmlWrT7cW`3UXfQM zIy`zUC-r1%7GM)80!fjK6rPsiGE+~b6ZbbT^Z$pPMy+NuPqWh>?xcF3M036zL1!Td z!!~(zy*LFfXV0d;O@ZvWqbJU>=ON?L5C$>@nT`<19OQF^Vle*np(}Zke|-LW9$%~w zDKty6va^@1mPj=+k+49)U6P%>^cSP+-*H!EaW~{0E|jR`g(7aAn8)3a#oe66&5@|+ zvm)*@5-~TQUyxTM;7SDCT>frushls9bA>WVsZ_ooiY{Fg z(s=&t&ub;$A!7M2J9{`QX_<|Ysg?ZNala5VE2(paP>6$74n3Gzhc~OB2)NzQHR9Uq zVNuULm6aIXa0%XiaG9Y>VI~qXP>v^BO}HrU79$y7OsILCp0nZcx;Jsq%g)6B{Svji z(I8!v7Uu!|Tr*gqQ<{VOGmT*V(l}u|>$=tz9Ec^j@_QLT?b|W3p#N*g<8Fl^-%kcw z$u=vA5VJ}UK`YJKu01qC#eH9W=)wXbH>LvfEwG`!X`{$cM5-uCQN&4rt^d3}30f2B zQj8!Q%Y;PLb%bs z>LSpT&fybNK;Ja1sy7bzJC8H>D{lCY`iN}43wmy?F7yUy5iwjNV!@55jXlHJen7z1 zYm5Istn_reHZ%T{yN)WLs{Y%m&N*!!Uy)(?T;;%##Nc7@oSA1vuCB$~5JH6pvf|AO z$DbLBuw(4-RaZ>O`0^!p6PEFG{B5L`i#xAKzbrAD>X36Y9nNB5AI~F-Zf@q47Aa{J zjs198T+P7&;XX}}*&6RSl}#DuOY$!FBb!(Gg6&7$3qPGkvQ0MNZ&$zpva&;$yosIo zauDi$FWg4L=>O1!^^Q$%t0|&NP-uYj zOsNairK+x?+dhNxLiauWgQ(pg3$l)-akkaEX#zL9?Twlv$ysfz@7$j|PNo|Z-K_Dk z7-I+0Wodk|4A+5oN0KG7i`Kk53N$ZBZVhHTL4RdnNL{Tv<5$WSo45Xx#8EE#$Jw!M z&0nEl@I;7`zZe?dmZ)2F)Ku7oI@xz)Z_Nn!&tBDfBT1M8>rzwDyX4~>XA_ZkK@whL zEBaJ?xQ$`v=NPYa0|!bjPb2cte>s`Hej7nF&X5jL<_VzWm;3KTnU(>raPT!DN2P%8 z1#1p!dOkJcwv$H&0ZK?j5=m1|%dYq5N9#@#%gL|=5D7lwo;|Hc~;_YEQ#RB*LMn!_+H>v6>EQm;wc+#i)U5* z{D4_hBA=rN`ru*YEHm^n6SF~K4b@q6C@v_D zLO=q$rsacnuZKuw7z0>uCG>Q$ZM%NPx5)>tUxoz#aeWR(Oz3>Y(0?~#>y~lR_@y5Y zt8Tnoh3X%r3tWdP`QWLaDzRGIU_5@%iOW)yEX7%0s&#xWZ@@2iGtvalfOO)k^jUF~ z$N-k&F+8@h=qa4*;wiZ$IYAF!PwC|9`5z9YdEff-VcpH{jbo5wT`xsncaWpl^VgoEd<^T;c(MSeS)>VSfPFiSV|) z#KGTLu?50D^co4=p^3A`7Pp+r|A#f{q5vo?ThOv3MliRq9$v@P1_@|$;22($Pr%il z{pO=F;h4FrThO>avdyhs>(1d6I_=&yd#0!67vE1kl<)yL`c{WU!ARG5c8?;Ib~p+v zPkbNnN-jY>(u;JF7~zFrwp(XY`8_%%+7Si2rWNl5GpBV=B|BweD_?bDU&rmVF@WSV zoUp7zAAfwUeHWKMxeV(=ENVf;3{W(Es2-Bg*XgesS;|RcfXHPTeUfhOxl3Qvr>{X} zBEe$kH0RElE>yB;$qXKm6!_bU+6A(7v0f#dGo|%Q{FL=H8!i;*6^PJU-Ls|a&l<$4 z%+nmc`D2hvPF0Mw`%}#vCS}LnCqUTen$o;3soi;%YBSPh-Kbek{%$o^2x}__cZi0r zl2F?jF{5$~2f5?38;4s5yI%)|3!+8tny&pqN_B-8vtL2c^!lJ0M~DSJ&ag`avnmkGAiexJgVJ36x{w|`_1`N&ya!hr#}Tg6$|H_s~}5kn8cqtc(hM-1&?fj;ofcn z(XEnd{l^~12lKrLPc7@rqb?EKqwZ5sJXf5t+`aCxNLyG~7aZ!xS3*1cC3`90zSnoNj42kM~D#`_&3y-5(>EwhqGdPpN+ZNHU zgWg*(PgtAEr$h##uAq~zUEptNp+YTF`iky3a%{4C^}Ve{z`cHTC4{k7Oo+^@fbL@O z%i%Wn;!QJS3C<8Mdi%SO``+C+7iR4tAJ}j&Y0GHDSt5%n9-b=GWAtVuW3JF$KZ*{T z&d96!a+CA;a3?ByzniD)g7^3g?d~&UW%ZFSC<7PN^;e+WF9Bf7B*gOmE0i6)ht1oI zTR+HoW?mA&0=AsLX_q53iNoa73KV~cagDwEnaAmr+aP3IplOj}_jlO7iU>jCq8`_m zS#kjOrJ&)*U&XQVD~A$s6JxR=zdd9BCK>2Ln#<^g8*p8oewme|!_J+`*p?iw#O!@t zKa#$G=qGF;S_{wN0baeL=o7Gs9vhtMT;YUa2pk8LE43g3uT_TehGn|M8@gG9Zg$@b z$XNs>7S(sX9n|hW+XL8riVuk|@Fmp55*x)skKE7 z9M=Fmc+aH-h6E4qb1+p^ za1vLnLeEG}mnc5l4JvyaNp4kL;mDmBcCKBSu`xP+v`(%+fPeedY&JGAmCR8g1!`wb z^W%ce?^(vrW~TTsUM&30X5!I4XX;mpsqzCh z+Fp1-e<6BfBA)3*hr0`|>^XsPr?KpglC9mgK6^;yWdpTkCCpv}4^S@&|Ms)&J>NaE7&v`l4R1R91;(}#>`~4Y&{@qe zqzL=!U6L%LEdT3!{TSTc@Niggw1(lT?Zn+p7#ura*EB)lm{iM8ozs8y46hv2B!#H| zSLN~kr}7xN{zvSlgPGYDC$_ega`sODWq-N(2RLjV7#PqN{LcR_f#v&ud7VrE7wCVo zf^|{U@eD}MvE`BCj>=FvQM~xsg=Ux|b) zT?p)df{S!0;sIsFxLc<+E0qNLcC$fH(kS>xhf3-u`RxsBa;>LXRM+Z z+u^Zvt8~)lj@HC}S>$q#YgLc)=Q>aEHw-ausSRq>-UVL2+{FC zQ__e5i~snz^vIS|g$i(?Q-$a4TjTpbEke@SvxEVIn-^@QvTzm7tQDVJ8B2Mt$QSu^ z>^c|=RvhIpJiO@2VPy+U90gX|G;EDw#g7T-x z!`!s)HD~00-MH|b%&-x2xuZ%AC19yd!bi;;&8m$!@n_k9T+LrU^;@VRlJ8?J@yv!{G{+uWRI#1EfDQmZQ(8R~g}e&TltBU1-_>2Gq00{<|L zj$D9>uu$f$ta?4NXitBW{(Aj%#~a6iNo2MD%h-L;UUh?pXo@vN4PID$hw9lqxjsLj zP+78TqgSm zp||jzlI;xDE<4NaJ0H#U3Bp4Z8bKDE^1t5-$ys-(msE<{(yMk{9^CiR(6#NYTfY;f z8{KbLCh?H({p!9GsABHYCbwJ93C7jVF4o8l*MKBMq`d45T4cuq1F=`O940E7cix$r zO^BE3Eh@(1^*Slf6pQ|+n1g2Id^uS<$%%?dDUAm<$esn_1=}&g{c8MWkKy%zXc04kE*Z!pq+U-mwOIAv`CfQRjKjRW0mJPtSH_@~6M< zvDzz+F#?>?bb74|J2ajQ5Id=++xij?4mdL9D*_eE$BhlhsqwB=%(TBT-!M@oGRVGQ zKJS`~4scS^i}|2_CH;BFNKaGP%~UV`;llsRT)xBSn=hW_0M^$k4&%yExT!+vW_sP@ z^~_!6!-7Q=c2!JCiC}(sK1phw>l3fU9f_dFJ7xa?FX5g#My8DlLrvEfhI}RwQ&%)R zRi=v1Gh{@m?-agNa&v(uC+WC~oA(0h5*xo`KQk|*SvlCWOW1}>?tNhs%s$O1Moev0 z@4&VbM(0^91jN06nUwn-Jlu;Rwq4T15c|XDDO$R?4p5^gv*ve$)gQdxM{#cc{td*` zjM@M4ucXLwI(fw|LO$N#C5A2}p1z0W%;>u_NFm-$w;%qptjz$eu_@K?ijA^hvR};3 zFCk?SLx6nM%D`@ zl5Doqxd6jKq${i*FX7o4RBK}~#q#G#I^CSpMRuIl-{Tu?zk>TvKhOqB28xc+^W`aPxA=+I@BRpay}s1R(f&je?Mh8aJh$9+pjE#4G4ENK{Ib8b!zgoUcf32Q#JYt#-dG`k#xN zj&&RLJv;1F+9%T$BL4%=8E;y8(AXkFtzC_kDB3J~sB|luh&bMv{t6#}v=3X(;!uaN zv$rV2+cL-dqpczCl1Gun!HGHyAlBqUP?F8o=oEt+ZKA(YPbe2f(S{9uDjZO@%z*{P zyDg1NOTmBf1+#YFMz>NQ&tBk8^n`3hr|QG$E7^I5Fln-+5r3E84YZ&R8L|rXoiP_V z@SVYp^))#ej*$joAshkHZjt`6OHv3v?9}l3OehGxzm-J7{-q8+)q<6FL2B-q0;~#3 zNQ;FCTC4_k<49?fX2yg{{Q9(M1?bKqqXspbk_fsMflsAi3Qo%+x-?*l1X?@psw~yF9fBV> zmWN+6zBgO1#}i#Y5S7P}WX78MrM;NlR>!O|uh|)eiZgVO1I6hBGcKDfuCuEo>WBnd zUd{r7JdC){%oR+D$frSD6fTJ{>oA2GH`rpyQ1XNR+*#>)Ft<7p!>s*EIwS!D9qT_0 z#z{0bSVMFJZx7tmW29%CqXoL%sPjEC(+iqHg(!v61B+)`NvHp2yM&1BAgR0d!OO_NDC;+FegpkaCaUIn`V zs6a-Ow9z~%9VW6P<_x1xH>8`)MpJU1w&lYgWW`B|@R(73?C0b1v%kxcAB8Kb{IZNi z|0o}ys~7}MVxC?V5POq^7nyj4p{WufWqkeK(;X9N=fF{B*CQVKMU_ z!0t@QZzl@$o_6~r8xy|Tr5oi736z-g(V;WeX`zg9r@;ofX|nF_`# z$PL-R)SsZ+fMv^TrP+z;0&hzzDf=nqVSvzQetVKmMith z`JlUt?f_DDNd%X8sitZs#X^*y@D|i`*J=PZPZ|WK7TwFU7-8?{*S8G6v}~9_JLAe} zb#%ba^MdWQi2pt>0b|_{L-QHch*z2Zt(Xij;3K(j(h$oe+&yFM6BXTR?_#^YF?W3q zGyA0}E6j1GBJ)j`sZpD@9OmY?p6ZFcB8H}tyjNx}wPY+&D)T7Iq{0!Z2gj)AdsT*4 zQ|vC}%<0NHD>va^*A63JWP{*_^m8<=Q^(b$dLB_7E1l2wq=pSq9axd5E{T(guWJuT z9Ub|Z)c=aG>V@|h=4~h6N4q0XUWCwjtL=h3jM=v^+qOmLGg-OC=}KR+FClst(6JyN zd;?oOi;99~U9c5Zt4DSg`^SZg9gFE8CO5xkopTMMk+0m#c>&BPVdxdQ2J^s`dRA4M zxN=f|vi?-PGq3+@~g@fOk4f{A<#=S+Do$Vy!$af zt&ix{kEg0y0r_~S(Nr5^k+Ko6@#E&dvOaYiY(a@OF zNS41mBk|9p7`@C$7;M_?+XoVW>` z)!vc7cP?Rm<>@d_xzs*vxu3IPIO|qBK140ro|RuWe8vyyampPFmWl`|&drzXvDEg@ zm+gS@XuWqs<@y^Kqnbu|YGfi5BV<+^=vyV|B*W&)BxWk49PnAW3{S`==-=a4A=bN~ zN;$0ClAJV89qrsSU?D3u;Ip=t5DfiE-(c>Mx=;9I*IfBdP{6Z(;74$78YIJ-i)eSp zTgcLc#@*Fj3lph=a7h|vOp9UPhbvd*=bt@D2kolHEAra2#efWd*lqRax~Ka@{x;wD zH}lWBKq^*lnq`_G&AW7zYLgz5Xo9Sar%|HZNd3asI#4kekS)m2WD`2nSS4pI_M%PH z*0xVYci>@&`#@kX8R>z(NnL9=<*%hHXh0_!CtvsT1MF)r=9gHuXn$d>)xAPJ-_M6S z-?c|xE958N0{;o-zj&AL#}(z?R1J%7fRW;ka~i;)h~~shu^{xI%ipNYa4)tm_#B3+ zwIAgV{7@J(feDewXv2ncW!yVug%4jwsgawS9Ex{(I-@laQ4}=APmw&UNm&XG`TwiI zIh=1QyLmC9POP)aBII&lBqrJ~SK{chq9Zt{Ql#T=y9g5eedhZ|0s5`8h32-W-2G)2O_h)KSx|^l#?bb((X9UoS`^-(Mn}g@ z$WC!G0Ne3@EaueqQvK)!>4+4fV>GK6OPwK_;(Cfb%=;qh-kwlMg5SJ`n$U?t7hzt6 z(@v$X&l5r3_0bydoF={Dq%?}-`iEK{dhV`Hi6%|h*|Q0BM++S_8U-k~Th{9Cnl{DQ zXd%d20g7I!QD)+$i$3{M|AuRi_SX}&TX6CVa6tElql0(rbD{Fq`j8aBUVc9zN*q5n z;`A@+UOd<|QuB4dvXA&8kkJ-jN%YMQeU=$Zx zqFqSkD=;^QnA4(#_NJsgTa9b&RORP}Fl}rYQca7zLkVfGa-zhWm_njmZu(!DD3dFef3|rLfOfZxbi@&r|V%tJGavz*h zFVG;77eR5Fe^6PILXax2eAqC0p!q%#OPZH=dDcm;e8I528xiGl#wB;+zN6U00yvVHW!zElkE^9uMb9CI@_ z1KwAU<0dzCCebR6$Gx9X|y=RH|khtm9Y~Xrxg2r zb*RF3H26M}{>DjVjnzzq9=mSWO$y;$9lCT&p=k*ziuC+W@P40xMRwxI{OYBz`PWpYo+p> zCst4>x@6c>W6@EwqhTPKh|@G&M@$r2GurAAy3>Z56#|I5$%bzn?!Ls zs~|ttA!Aja-&4TxYC5yYxsNq#bR|Ify|)_?o|bwi(m$5kV2)kFN>(&J@c3*R)P;Gz zx5Q@A>ww)*x5#QwD9y+Xm`e4U@cp!+6XHp~RyNL@-ujMll-C{j`oyVUD5G}QMYG&I zYJj+B|CGTV&~lWnW3`?{W^$4SQM(D$!TTILAZd43(r_Bu6k2T=!^(#0 zzR8kixIm~h9bnqXmh|uE(^E0=GL4z4_%enHZ`$>l00~-S_zA5k;Q905&pFxi>^lE4 z701Boeq^h_aelSP-533A2bERAS_C}>QKuc7AJKyn#AOT4q|Gx_D;P z8RR+~{YJfO3prGLfnPD~q77B2Y=M95{FfrO6OcYi_g6j)d(v@>a;Q5z8w5?TN7YFxdEXJFi*}PTh}M)pkk>IVaMUY9BN_k!6Q4>`Y zkMo2`*>B%&o(>a<#JdH%CaY1tJV)NTN=W_a9qf`TUv#3d2WEsF1$Te=BZWR8?k@}W zP%u|_^(?^tmC_3PSv?jRX%0g5DbPwL_*O}boA?87Ti=U9%=ndl$A-~; z9uC5Dv~}OLg?BUH2Iq>Z54XeGqga3yT6$7jz#F1X{1itH?ZZTq_ej>eEqREZes^~~ z?jvdPz@nJcFkB{p)Ca}5?Q6eghy?7>E6;LyW;XTv!L?B6$yT8`RdE~?y@mnTF zGDARJhdp^%K81L@6eRrgOV#^*4kwa06!1bJL68_o3KY!mWERY;s2>Yf{KhTwfYX}d z1C1bSCGHO=J1{TfMuFar!FNz(xv$~SN;d7UZSfIuVCK`+aK^GUepiej7%P;e6!>FFHvyX5tQx$0gr|X6ev(#hJr6yWu^>3%Ab07Ff*yL07hDf?7jWc=nIfPWE}F_`YwvhefI;e=D%ME+ zsd6B? zpn>PN(z1Zp3rn&cgqiG!>nn+IXEeLDlynFJLEMb>f8I+8)Gl-cI(?FHu8;6^q!yrI z7O-~vf-!3-wu}_AM#i^|1%;>G{wVrzSo{!Wi4+E&$oMHoBaZF>An4|#sNpwoq0O1G z7&7qE6B7KW(hvI08*Dj^F0eLlTB*==9a3lTX|`SASNS zVwpwPT(O=wBuRY}>i!b{p( zb8`V+b3QIBK6B3hZdMjHeB9<1{MHt{ydW`=|L+T94lO%BYg7E@#U!%;+gQGHeBq33m8Ee=mPL4Eel2g|i9u|3HD~x*7UHI(%gR;6EuzF^N ziq^ZRjoZL!lkbVB&f&9Ku2vuD;BILQJ_FMhiQmT@&Blx@?!}EnYI+Ehb$}iDp&#xN zLHsf@(kv8!K@Ow#flu54#TmHfe*&n8)A`1V&DNIq)GyUPzgHiA)|^A?@LP3euNfvq}xl9 ztSz{J5Zz0Oax3B6D%0Ui%U2G9>&~;3Ny}R2%HH{tzAgrjRfg&NL{S(i z&JUKHuv(WohOafC#EqiAeKOC%GG8Dv=~CjC#+@83z0uyL4!Yg^hT>MQh7OW^Rm}%` zmp|y28eb-t4O5GyYk36?7YvgZ*lJY-d-~=&bKaXU`|3&Dk-Q5O&>;3hPKmj zepd_+?(3ov(cb{*`Mc@(zY8%K2Ow)xTR-+o<~Hal%tKneJUhSqQWw0bw%`fkmAa)Z z)c{_s-|U<t!{S|_qka2XQOQapMX))T>v#3C~e7nHqh1qg4`MvkJC)hF1&Nq#y6n_?!uO=idQ~Il@I_lpR7F2Hi}!^9hK#51Qa081C=*m;)|RXL4SVyQDVTpAKw7aepQ!0Pul6=!n57 zG?p_IiyEwjv^3Blk|Lmk07L}dq*X1fct#?H_936h4{eIvi~w}Sb5Dy~o1ar3@%tRbC&Z4{E?(CC)*bYA2>LgvA-zFd@jWj&J?s7 z*CIw>+`qkF2Zz42^rKxw4aR(sc46{GKPY;97BU_=r;dAStPP-M;!rsui=Wc@{5LX3 z2f`^U2l%#4<&IhN4rZY;RDe)$onTr21J1Qrn%Ea{Gryra(r)J}ZletG-0>4T50vtv=E}*x9VPU_+q0Pv%VO`~7i^MAriMxe05 znA(~A{|f%k%HGHdhLtS=nH0dx#KrpG;w~MBD~i(dKr_*5DM*%)aHH#nK+_+9V}u}< z9^{=VX0a-f?GNZph#ONkReizws7o}}+)7GHLB@__=n2m}dJ(0?{fQVJFp4psVVJ#1 z1@P19`;lN2q^m%rmeJU0h8XBw9G%@CsApUE{m=t^_-ZnpbrjzfL*?miKd||i5414g z?9^X(ULUbJbUD)uzwTcb7h5M+7dJVwlJ=HMWChaKz!gNg{?K2Xw?Ly?L3T zK<4N+3(s?FUqvm#tnj^NcoxMT4(glfJh$G&@VT4J#yOT##H(ldJ6#Lu%T3?E_vvbAtBz&UppWcGJa!@;}6 zdHwU0l?E$ir*98UIC-Ja0E*OQZSrm#kh5*9YQ!G%=#e}|F(y`hq%tuk^}miRa#uUC z%5MPdvek^1Tuu6ao^!-J0}rr*&*^^{MoK{8zZCN5dUQoCdK));zW)wFH%WbkR^SId z_dv>=*%exUoL!`j&Y&Q=r>ecgOH&5$!%k0LubA(J7FrJ`<4|@0xKKqoW+T{XlFGd# zP&{Q%>93GuxJ^z6IX{9mQfEeHolA}5yuY4)>k3k^c0J5Se-moiSGO*}>nEu_t066Jw`v*@l7ESrYEff0cFndo-o z#jJ~w{L;iIf`BgppcL~K!47}%^1=M%PLWBDgdpG{U_XKcK}k=RBN^A=oVwx&Hd125 zl;A4+=@LC8R;b&{E_>D?WO69yMURn|?kexU$07^7)M-iz?8I{He?9Hn)FxI+X5!`~=1uF>qbR>UhS1|Lm>n9zf1P+1#13+KpC^hy z*n>MZ)u<{}hIcL1V|-tSv--b`0fkp8$TIb7OJUprOok3utADNUD5mJL-HKrOn%?iy zp(Pr0jU}g8`G>s@%awD+#1doqa=@n;Tu%(M+56j6H8DvQc{EFN*J(19@W0wpD>7bZ zAxN(7#3N z|9)7Y?f1YM=5M9}HSqv*wlDOs+}p7rHPiLD=98c^t3iUEs$>Tpa}IE4CP4NtwFd_( zXkmHRoaw>s$LUjR%+M11isq49ov3gq}CY>E#e!$W?xJE;LO*)8K+R$g6ZQB4Z-BPLV{PU}yyv69s zg`R&dSX*m;)l6wlZ~Qpkp?O|fKKYurQc8ZfZWGMrp1S3H<2)geodiVF7U77_P~I-W zT92Jrs>L++Y@!P{xr#>^C^aFlQk6&A7mUw_nD6+e6pCyZ?0je(N`c|pB-Z(oP$0XG(!AIu?#i)Kw{n+Wd;T>f*n6aAE` z!?$PA#N8h!FI&gcXUlu(N}5A9;7=vr)7zy{?#Ay_P&L7{O-51iU?^x$u3hdDh{>Z? z4CQ@V2_w?7;{NC+Eb3^_A?c+efV0q95$w}!_MF8YyFXNVetRwN&7$O&g;E-!?suOF zn`Gw(6t^1kmtvld3^6d0L38EJ0GNbza|cKQ#dj@u`6mY+-16+U{A0YTsmH3z@Prt^ zJJIMsCS(%wCnDjpa5g=u1bQoDN)+86yKTm$sV^T2+iGOt4TN!qOb$FUz}uDGeN;v^ zx`9|dvG6*2&ku1?rsz|JeQb&18mOYGCad;yz;-gT|mX@RUtLX}s| zK?t$DY$(n2D=!ABJ*TyL4VwiH+9;Pn!q;+{{OJK{;5<6S)kUOo#coY>iK{LuRrT+C zB{k4s8^-}SpToxAmOSJ{CQTZ?z^{(;TSuE!nxA{K@=t7qN-JVJg7SDl4@`eJqvkc& zG{p!id7qc{AE3Ro&WEG~bW~vWBwWli5H_~PX3Sa)5Vrq#P!=|(|BWd*8eDOg>~Pl) zG&;fH-GHJzFHjb zNJ&f?8OtEul7G>Le!sinr-1sgh|8tYXU|&5E80w(3;EdB|3SAPyP0XIyB}h>gp;C> z633;zNr!#PCd~~TlAmo!LC?m}<4Vi`nE1Y)FeSzlWv6F@k=F|)CW#^0DFwjb^F%i} zz=TOX9yx+pf8bhX5$}hRUDvBK2C z16*n11uxf_ySCN^)s;To$^T9eP%O+u#Fl>6;f1bS92jQfva)jiWr>~5t|S3vAHgIV zHlu*%Y>$VYsg^C%9*s<=pqd)uWn?qXV-Tx3s~%0}o4yx9EcVN)Sq!#Rfl4R?^3Q`t zP(5xxVZGTbvAKj3b|Q+g%xy6y;35Qv{t6SFm3G8Bi&D^q;z*U;AZs(lhIjC8p3~bNXWp8O~Fs z2`J}wq-G*DN4h%r(6aa0p*l$r>4H!1uup<$xn=C?TCjL?xrbv$XV-roV3fGV?D1NX zc7lt_9&k~yqE~J8YpFvjLxiShQ^O@8OM!v~@cM-}n)VGwR<0f0NiDU*!)8?vbzK)2 z)zeIEsq36<%-MZ4Vxo71&bMi#+IvY0@o+{p^rLfF%40zq(M4<&2)d_k*)FicC8^p# z6=Y`NVjMF&B=?j4~iRB3>D>M`?tOs+OuodD_iIsmQIp z7_PA!!9)1C;A#L5O0&gPWLd(N1xdwhUDol|iAix0;@%w0v*-cqk}FGTA5lJ2 zhjq;*iEGkicg)EJaHiq`p65EIDZX~9n#wIPnEa5KGrLu^<7F@Sp;aghrFb@hxbH=BdERz37cstm*v0dBh090@J6cmaVm<*o4JM~ zz~=O)ps8Vo8uh~Sd_PCukDcvlZkdNEUgGxry2fMRJbw3YlP*ELm-9o=y zTpe*RG^$f@8nlTNu38|M{Yd7OFYRr@|%P>%Om*I&KKeIZ>+A>#tx z$7R97*=W!WxY3L|}y|KHh#RYA0WP5tP|pg!sNrw?pp_!xxJb zK6(8x{-Uiwg9>XByN`sXt>ya-NE)pDLC`;2&9YM9{O&t!!t7wrd;6^A|3p;74a4}q z-60nTAtT|xHj$T?LD|(PNrsUEz|P6?UmC3D>7s0k?@MIsL#P}ghhP}oH9=0j5SZ&I zFba&VsHx>vK-g4LV4cY>-NQdq>2AAV3? zG=-gWkj;?8VQ$vb;t|Vj{%QRE*3i{;v*itV*=E2cCIf`*I&fOztoC-8Y0o58uG9it z#~14Da~aHWzL9a+O34X`5*sf}4Gp<^*(uE~DaA^3bX3%-=Cpr5JVp{tCv$a^>se{6HAkfCCA1ni zdWnsFdjMS;q%&y;h)392WZu#uPOc*ZCs9ZD6Gs^tQYB7~JsK?<#B^SJccR!6D4vcZ zZIXsJ{>E!>>$XL3N<+aHaWZ zXZ3HNZ&Wk(fEdHNv%KA9Hswjx*lzI)h! z;j&9Ao5_nQP&zS{3F^5z9tI|o*SeL4L&o(&h#U7kZ2 zZ`6RnnNVkh1@ypFe_)$r2$iN^W7SL6ti~#e; zCr3E`J^?u^acWApYCK-&_)^_I4-ZLzq3BXL+OgvNkw5+$1dQCEck@e}=0B&Jc1npp zfj?-8tSuBeM58kDbMv^Yf!M|h3%>|C?i-jOc;d-H%i;Viis=IU#=*MmURrmUi1 z9zZ%jTfpK#`58l`RRdac3(W#OGc-X)=3Mbl8WKUP*MNe|Q!~`^ z%ced(d7MXXW;#z-p+w=L&i3)R#ML)j+tJYXz~AsJK?uE|H(`0wu&xT?7yh)nssioG zfiH_e6IgW|3edk0x8b~!)Tqp3Y{L9yMKPxg9Ri)rF3VZaV1!&`)b@NeHR#$`~ASShVD*8R(1ugOmk(^tiWicyJii%M0 zAua?P@w)_Jx_an27Nd@#d6^vELDMrf`$$=^RTgH?dL!B69FiD2f^QtSe(&ZQn1<<8 z4%gIMTQ=)Tt#01o)~^mw;E4qxO*M_%O`27M_==nUSYvroXN}MsU;^m7+U|b2B7{OB z;=Oo;P;W4q>m`j2UU>*Dpo~ZkObJ zqz5-#BWM@u!2TxG`V=jO9W#!gp2vO09xGc&T(-d<{3~U(e_F9g2Y2#_=W>C-(N5Lw zKl@tuCc_y%=}8BG?Y+9VZyMd;CWK%z?$fYXR`m~65p$uFDFnRT3ixf}8{!|PQNb<` zhZ1w~1o?!NG5c%X0Ec!AC^OI-R32exnl~|A_XX7exlUSQ;(|hsTL@E^Xpl_slyVY( z{(_j>*sVDIpiqqB32>zxIi2Gs=gO&PSuAodR$tr^%qw*1X%1~!v4m|os;nEAp5&=f zb|4Q>(hA!@2?M-Cjx4h(w`?qpdHU(v}Rg&>WJrLuL&gv5^aX z60BB$XqM6@%LwJmW!xfZE$emnd-d54JCj_BI==6H3IR+PR!mS+GJq?oZ^q~6vm`^2 z+vVE`2F*qd${~a!o|s)5pJY|hN2#AehE1Z|^*Xl^@C@$QFbw|IRku>=8Zv{OVmtn2 zv$h2pCFipeh2ar$mY1Fg<0pctI#!9Mx{yw_w7xP=EhFt!7h&gv^h+Lu`+oDny{-JC zH&MYvc@cmr8NVej1O!rMNDHl&PiN(J&0h;!rRAfPAt~C(M#u}4tG3f`m`u`U`3r4O z?k|X17RHYdB!<($-oWC(!5rT%?CATiSpWr=nzihe^)iDkq>?5kr;K1!x413oj9+}C^ZSSYn#a8TM-a4pIv0n(((V9Q&W#c! zXo!?@Al0Eyp3oxBJnRo<2n$5%*^7i*XTlzCThR6hyh?)35ChAFN&YVm0pgW;uDV7t z{d9OTF0qtP_Y2)u#KF(%OSs{+2Py*2-*W04`#tDUpj?NuX@)>%?RMtSJlgrw6>ES7 zcv`}c^AWvT2H=9bjRaNIv?Ihyh!BeW4~I*O#Zcu5KEhtUD6^*6aiN&y_Gy*3$C1D- z0gOuSSf#mhD=V)?$Y~T2dRGFTSnFM&p>qd$)xF$bJ#15?CoB+V?-6mNBnb~^JNe}7 zA^KF*wBy5jYiCRN_H~_izfA(qEUW>_Z%u5&9e=NahB3=~2h{WM1pfAt0>~ZO9Jzm+ zh+xj`x2tIX!^f9(eT5Jk#T1LZDpFF?ZXoUJPBlq^usJvG+i)Yl4GsLd1oF`^!+V5i zCQQu*sK&-bSJBFX9Z#QL9=R?9AMKlP;6jGmO|)ET+o_S@3Ma7QreS#rvlE%_X<1ww z+|SWQmmsyvbbRZUd0eSGJ{Es~ltpe8{~rj;mBi1;l4Q<{17MZ6A_$8-zmzbGG*X7v z)K?%WP=bx=3AZ?vgtRlCZk(p8Mw^J~9YtJ_a^_|`$(QIS4CgD)uha$8eFPSB%ktIj zHt&9RJQmemnnuk1A;8ZKgCyz3H;hih?01yWI(aPUBn?>FeqAysW=LnbUtcnmT5c}gA?j$g_IZrrwZL8h#`t?oR*;pZQ zzjQOffcA;dE?AC{B@!oJg*ri&Mys-(Q&^YYZjrz~4mf+BC=@SGJ{O6DC9)Y4^K1h` zFS4~L!(fG{6D1!iM7O}(M@|Z5TquHJjrH62ZG+^OH(pYJzz%zJS8VnL`w) zkkD$=z7{072^v|U|5zHRV9OCKDMEY~JUfqORBnpTx{b|E@zHx(SG*ZAabX=XFV}41 zdH=eF0(?J;h;Pp!Aan>oBiMdx30DcofpR(J*-*eSJ-q~g=*rxfmIU!5s%=Jm8n-t9 zv7$;rSiBqWahaOG=!2Jbil4FlG?Ptd-ryBF-2RC%Sw=cWGOUh>>T}US&}SBg8W8Sh zXrC=dKefykms_|>E+}nrgAxvJUqZb;t{uFb1VHBD`{Iy5K~0*Frsyg%v&dds9rKsD zo{Krfk~j_ufDsQ0S}-koNC}e8!S!S0j#&O(`{gh2fCQHrQ3_X$6b?5ym#@}?zJD(B znR`syJ(tia8H*Dn$G>yP=SL2SmF5VCKd=aGMr2fls7rZ-qZ^vejM!=q2*%1nwP#HY zHLsD)z-%S7eRvhN0(T|DOe(@p(|_i)XO9~eD@x-1%KtejeIop19nTw)Ph9UX!SpvXOPkf!Pk$i$-hk{z<=J`8;kj%= zl9V8i3c|?vpS~W;e|a@sh2K$wjBs0DG_22@2owQsFai6ly9ETO!z(npoY~Rw5E)Q0ybv^HBo@xyJc{V(+%C1YKG&` zJ0W8F*YMpC$x(>OZvc)0I7B3>DI-Uo>UKNZIn=v{kW2XA5-OyQ+GILTN{y2f~08k`dTB;N}@IkZ`#JXrsqdG3c9G zx`$il0-Rl3s;+$Pv{1gr#TfO&~pHefY z4zqu_X1Qj^AH2UIN!oD%hS4dI2+OMK-S0N8!ix#I9ZQmAU+xbhc^4-w(7#CIHO6L< zU`&K^b-J|}ekeE&u!C=VD3r8bHKg2m>8UoTBD!8AMGUfwCK#ylIy{zFWamTiqe7g{ zuiUaG?arA?-SHrz`j1(aC}a>QM0sSrqU6+Tmd_^s*lzi1Tbd{WyqVf73ytidHA@#& z<5krr?5tK7O@j2i%$Ipe`h?imH)N9=<7oe|a_4N#rlof1&{uDt&uv`lGN7f!(8DyTsK1|(u574f*EzWdT{%|^njByOozDPH{$cF;Z6y@+;df93gWR3W~z zWjRNF^EtGW8|V}rmc5a@+@1Sk?@U3eLW^gY;vryG=m^t(bJ6S)11uf_g4K@hzb*}wsOC!PD#13tKR+s^tjFDf;NA!PQ)Zp1(w9v ztiQ*h2sZX??sBtbm!XQ6=0NIeby=^1Dympnmga%cK{PG7vy@kYDK}Tl6p!T!dgSH=rqZ zo~v(Ere6cip3G*7YEjULDPZD^^pM(Rhkve}(Z&rN#7KNIu(Hv(4+5z|Jtte4{nR|l zL9PewJ$UaCaA5iwk)Qmvb)h;iN+XfvO@tuRH+L8pl6%9rCOx_t!OFr6lQp09E+ShX zwh~PNy1{Fi&|ZxCMaR{X*PeuhhT&EQDpID1p;}30H6O%@B#mG@8PKq~j?NA4iTKSS zH`#f*{<9H3<1L}$4W-@jKihv zi_7Oi;^tdXJr*6ABCg^Kf>xnQNP52alZAY^Gb?6NZ(@$jVh+t3+qrbu(*|=Ur&EsI{GKWRz^kW-`TrxY ztpAD%C?^wB5{?)(fPRI#xjZ$s6PKg<>e8vDJ*E0g;Y6N8S8h|ud6JWM@v?9|B>9>T z3>jSXaZVJjGK`S3>{+2E4bi7peup7|6h#C{L`zY!!06+e4IE~;CT85Ik!|mX<*U;z zwGIt>63Vb$f^c|%82YVV;a;6uD;DWJCE;*P` zS{_1)Q34fn7PvXMmAkLr-93Z+*>Ljt4qacT6>ru6??$0f*Z3gA>QrLvQdlRSpiwx% zB@+ngA}lktzRY=y{mA#+N5rVE&a{lKX1YjKHxTQ8bR3krOLscts66K@b;VZ)2>hO~ z$JsxDPh!m2Qby(lY}CLHFkWAK-Q{#4aLkBJaq6Z&J0wWzF=6k8f7^e4Sk~{Ns+r;Q zUn~lNwz%fRia~aW;or0?2&RJQ4qMqCgn2FbqYiD0Kq%wba8g_Zr>X(WFP|E{js5K( z8M(1J|C+i|bct!}`MORE=A2`(`eR@2@!&DSO>-W@ZOVuNQt3PG{RCnM=ccc}%kL4q z5gFxq4_Mk1a&~B(gJw5R9WQD5G{D*>e&MC|54UK%Dl+1K{oO#t$HB!8QEP+iW@Di! zjBvU>U!s$XcN`jOtz;M$5|NmM3oZZ;Y@3}wCcg-<zn;X zI$3n+=vJqMa&@^a-A)$qv|!JmUUyLBrl6FyO`W+ylK16EgOw=x91Zya3W(4v_@DE@ z{vXOtlf;5>bwapzi*9U|yaWb&4j$zHcORHBiI0)>A0ozryn}s&c7I%Igp-i~0h`Qt z68@j}x&DJItpC;C(^crV3T8y=KA|~oD@hiCEeRnE?+i?~OnCU&x?9EqcCJ>EtT08Fl-gf1gsMkf9T*{c*1e2ls5Kp0q3uZI>Pyd3fI^~$zNP= z(mZZFI<%p?{#{CP?&Zvf?vqFrZ8v!!tsa<%j?hcThc>4L)l0<|Ec*T`!6~{r)b$uh zauH-s?J<}B>3AYYXeCh#VY?vtlij7yI}|kJQi*JP>&RlhH4%A($ggf6_@7ApqbUF4 z3LEo(4P?p2Fb%w8C{6m_M$#xKg+!w%H?w|%_Q~SLTSy^;< zvcrEH5KQI?MvQlt2I7jMGbp=N{A8H!!7?z$X2N^x3VOWsUiKNv&P{uoDaT#Z=|os!EK zdp64en29AuM=JKCkKXhAy=9+vxVShB#?7Ahlo1V+wqM8dRI||Cz}vw4R&(c`ZokB9 zKu0?veDnPxV3*oL{+~km_sD>L00CE8B~r>{XB7^zU!QUm^Yegyu^ z>(Rm_@Qtwi+_IpmuRbip!A1c*H@6=L-uqqjX5F5u&0=~G$)%K5;ID+xzBen}6m@)S zx8l4OXpb*0-z+x04x_#~5CClQqJ?hhUfb{w1K!rD8QNvj_YRqz&Dde7af{Dc)+_*u zKn}NmW~NGhsDpQJ?9)UV#|YDwp{d$ zJfT|1?Do@t z31A=P#Fq&ai;KX_1~@5k`bz|q3tWPeB9nMQs1h#l1WCl5!g;}~2*~RR%uViUCO|5I zfQ2OA@7jg(QaPabNiEUtmWjxUg6X6AB%HDoVZBe4!=S;m(abj!2bzO-sTFg}iJUvA zCvYS8C^~}d#h@X#lb-Pf7ZjasjN0qB#rayR-?S1TXk)J!=NUZ8MlqFU;3Ri`asV4A$N%;!y2)FyS&T>_H=Z#1b|ni2ea~W%@hDJA^zTJx zFThagXwWt$`BvLKyDU=bF^Lj+zjL`*@Mr0J(J&XMZC(b~-~X7exRpA3HAGdib)I>f zgWxxoR+EZPJEMv2eQ1x9S-V6j*k5pApz23n7-v2? zFjbp|3HPmCpZu}O+zRT(#qnOuYiYiznXh4Sf4hj^}d%C)4^kfoM1GA^+GZ?GnWp)xQm5UPm4L_oS zV)8G)x7W@l(Avnh^Z9a=^99yj<2+)yZK{hH|LBRu=vDI17r6Exakc-cH|Brqtw|#j z7=)SS-%l?K+kaQw!j@eSAsW!GcV6HmJvORsrR_qx%T?y15r4)NC?P%%%0IADWzWBx zt~*se4vC9^D}i`&peZT7fLJLCAM2vjj3M@06Sz1aOGPp@NezaB=6kqLHW6R1-SYr6 zK3T4)q#L8F48hOq4W89p6Ppp>(v(tEl%r->yy5TU4!R^G%K&}_`J?sQA>~Mg`+76C z=>i|y_|c2Y6x_04PzIAg?0)^k*p~ng&V1RjVUsMlIM2_psL{P)t+gW{Z0^}kyH06q zY~QQgSo$~i;^3~jpoWsFV+UL-xeIL39tf>EhlHCSd=+tL65tP*%113=rkJd7DfX!0WliTE~rO6dFf_K`4|>h zsWKVRQM8y^YAM6;V6<6iS|t+FR9lu=Es~io_L+8)J*=_|zQ9`fup#s|=vr<%3dqB+ zybiVE)rFLN=pr|O^VJhi{mjDFT<=+L=NVF#9iN9Cz>ld&au_5TN<=zaKY&Ng9zL_x z(pe!`soSDp=lpPpay2LoOy7|Dejh9r#Ur7QkDPL701T0LQu;F^ZFJYpXFKiskMf(pGhJec$u&#DBUeO*DE@pASV|`ZmH1SgEx}pg zAIa0@V<<*dlvNxp!B~+!@is?l$yS%FC;~4*SdlbmY)IJ_1y&$YCvV7#DtMQBSTUps zkSR&3FsBHWC{as^14@)Njie3>dE+u)u-fklqYy=Y&8NlL`c-MtVw#8loF$y!RSyY` z&aYb1`igpOFV3u8=2#f$!Ws*g471_JqF+mU0UA;yM(GP&rJ8uMM(cxK z$cEd;RA}Y7qOIELz4UpwH7E0c>cL{?@E%AVml1RcyfbQkM{9Xh1z~nZ5uMI-oPIo6g#%f1e@1(cbr$o%2V@S9=R@niLX%AWbx@~ zE{+@T=wtu9jbSA$xPC(J;#FhBQbxTO^g-8u@$K}na>DhbgXp=L89;YU^s!EH46n6! z#-!12rwRkbiX-E)FV=g$WBJ|YvbIpyW(8qrmA)~o0aQRQJiAcrnA1m+;v)xhkzk7~ z)~iu>EguiG?;xjSMEB$n_<_N9g(rEr1H{w!xvl4iVlq0O3bCoBl zt>SWd08+c-FuDZVj!x|d&09sc=-CZVGX5ksmj0Tt`ZLAARPgCT&%@#}>*NN}@v~jl zGE1OiKQ48?|Fm3E9$igaP1$%`a+IQOdmlN_Fy&NZX|8mng)#f2AEiG;^RDmjNoTLk zZFgJkiXmO{*E=8e3HIYdbf-_|72PZnQfU|e0r2wo2jM;Z;~D%?wL4%K9#C%z3O~YN zfDwG_aV$bRe}K)II~ZL@Kt30*5%5(%+WTv&Y}1yJ7rb=L4_WFR>!04Xu;|Ij$ejko z)q3+_!q~n;aF9N%@GH7UOxhOrma=b4SX{;Q4Iw)&Laeq7IWwiJPO6mggt2)+XP!@B z4*)c-CDq3k_2xGtGBEhwPJd{aNWr?%o*jWQ&DCOlH?E$+K%)#wxWAXBchG@}yB*n{ z4r12qe7t$G3%-c2PrG(if5jlojw=oAl)Li_#zcgiUs~Vl*&;$T_7K0n2D`X|Fg)l~ zsvmD!()#U!ImX_b$9i{4-RUb%i}B5aEI<{(y7{l64NIEy6`5I7fGd~cY#5jwm5hOD zRvqchjJFs*!XhN1_ROuurGZHRXJjgwUL*eNq4YC>t9D-V{kB7yB8`m8fQot7Vi`dx zuV_^T(g~l6B4WFnbp6$r0_@CZR~PGx zH#!v@$`xs%EqZKRi8vVBC9Q`$R9m*poJ1BsPBq9cG0?_jD!%gXX=u|~(-f!6y3`~{ zn8>RrH7uuWXLkQVxgJEX#Guk?HNc{k&0_+Djy0hBnJ0 z>XdTE_9X7Or5I1iJ5#Ek-Tb~S}sJb|LQ=32?NBLS48OJ!r5MVyLRHHpu ztDDAd9qVJaSe13r)=cnK^%2qSTDi9-+f%iqWtN1xxcgfU3!L~+#&rOrOde5&a4tRH zkC2DF3D!BIVPCjZ>RJJsdfEWh{m`=T?RoCXv~wM*3vBNwL6s-==1AE{L8YE|tEZJI zWRiX(w_Y(!7-=S?|Qu>Dr(@H}Asb-=HFiG^?Eip#&V zdu6%lcrEl?VJu0H?>8)YJWEO?`aPcKM*1b>!GqP;9$0>d@Od0oknE=-?$BBVyR%D3 z%!vyj;+r&3P;O^^u*H07hU{ucNIF645hA^DW8JUrXAW(M-4xoVNHvTf1PS;P+-FK9 zblqVJe6~C8!Nmw!+JJa_gF+7jYn-4sXgvi)2_@Z-OVfKXyoo)%QWjTy=@VfrGK|PftYGSU$s;}Zvt2|M zD2~eJztgrfISH{%zY7& ziK5zHb%Usk(h9z(x=EnmaV9=m(+jSOXJWUYjls#HQ$jx3-)C2IOI4{Cb7k=5M_QYR zm|$V{OVcfdS91xP({90D9qucpz>@pvi%erk#wKlwfm-3~k*w$z{^*+5y($oT>>nh# z-|z%;uf+zs@3=S**1S>@~DRu+T{7MN)_fRJ|NJBge`_ZzRB2O0vl3oKlQ z_cM39FO1u78gm=O>dufYZs_?Gi=-*1o>}wC#62bsYUkgcnh#Fi|1{Nh6h8dCoyt3W z21NUdk8vI(n!VSYC_Aezo@$vF)Fd^coO0@} zMf7R+9)J`Kc5dC@6X9;BxPjFkzPpv@uNpNxWz64kjGe4Xchd`a<~8|R82h1}M5w3{ zw_vpMCdulDj^_|2n-pO}mZr<~LBB6SVe#?ggx=`Dl0@_eNSP?L)3q1O8p%?;W98Vg zl;2K@D=?f{+@tJTG%_RnpG>TKF(M6>S{C;n+W`unOg@8_3iFyz#>SJwVI%Eq3+X=TW9SnU7BrkJq}ni0o;CcUF= zKLLo965h(xJ_0$Jkk-zOs!*EuT*qbyCnT^$E3XlDzr3K{q&j}kmXv2C6G?z3INX{G z+3;c+bZKx(Pq28h zN>$%GHHxYZy4FB9h15mefzWL?l=9g0#sYflx;cK_Mwb7U?vv-3oB9>8YhAw-JKii- z^2}WB{&|oo52mALH^X_mEJ0BQX2w3+2&-pDE$en%Uz!@&>FET94ey|l5CD87lz)hO z+>6)e`&&*e7tcg{(Kpb{;45BZ>tJj83HhCCyhY&X{%JC!@4c`6viYiPerK+sW(M>p zPFxQ-1)F!RBrg>n^PtM1^%T6=(DWEUrG<&1i-kZg>%bq`42xMKXW28OWq2yfZMXP% zj!;+)nd)(gcDVujOc)>}SjB$3rJzdab4XIWM;`hasxTO{aYg=W2OTEw44`Arii&&% z@s-j7tDLd($bj?6J6f&b==wqs-^=QAgf-5UbAamtQW(j_ZhRHBqA{$p%bG*H-)>9UDvm7Ml@pe&gf}%f3SAs8C8VL1Z2en!$&Xh`Kg(fW1pMwxZYT zc~A=vBxThWi>uu<4)s5xW+6x{eKc+2($gHJx$tXOJ zpEk(lgc$Z3!bz1cZb7B$uP`OdoqR&Cvnkp2w03CI68x!Zjy|*?!IVX|e-&I*f0g;} zlkoB6o;)Q=XXELd6r@C`xQxiLZ1BD$qNPj>A&z&c%fPFIoFg!_`RT4Y0HUd?t};LyNE@j#@@0>%uK$cE+_x99LHaL-e4 zNzznQcrc93)*wv|Z^#bEf2-o~sFlz)xg%d+wTIQw=~`kK{@1|?lCYX)beL_Wd&}!i zR`CZv>mq64qQx@VzU_6qxF*yyw#t@%p8bICsjTj(B+gxmei8D15M2{4iiN>GrouH_ zlG)c;0)v88Qdxsao8&F#gQ48u20EfBGvT#HbdrZ!tE7|0zYp3ZfBCt{qmQ5S1%I)yxtlqjh?E@mGfBe8qz&&7x}~;y`RPQI$>DP}DaX+7#r5W1$~EO|sbYT)1oUDJuWNh>#QXkffgCT|~dJ~liz!YXpUK>Fq{^aD=eA#-v> z)JKl!Ld=6#|E05bf5YPUk)LbAgwc#E6>@<<)3P_IZu_B@qt$5!8&^_lEpoUg$cxfL z$dYQ~Y?>^T&nkk0u!tYjkF03lTpdcQJZ^`bjLef7nrf9~s(p*Hr>3J^cG{XS?8UDb zG1dM%3PXuGkd}?3KrEGcQ0>-ZXFKXMbE-H()o8Vr*oVhjNY}U2aRTc#Ybr%iPq{vh z=J=#F3A-8~zSU}>xzQfM$zG$7*BIw$@Evn$zuj)JSj#MStHsOf$LeZwNA9gQtJmZI z3y8!V^^=iL69O_gkr5=541W<5kT4KVEKJ*y(ea@6;RFCEnFfZFkxvwpY)%W4>s>ID zDRB~i3se(V`kw&FM5L&Uacjn%nYQ?7RlwK!Twkmxf{1{x`hWnDHz5xQAo4Ik$lL@% z5D0|u4g!i&MA1@_f>0{!k!oEZ^;KWnwXM~*dWR1GbN&T z@)+EKp&XgFoLHla<0mdoWA1Fn4E~CrM)|)-5MItC``9}Ly1Km0{hO5P;%>ij)@3Gw zIv_m64f!2HBJRi!$QaMzU!tvxl!Z%uBc+L|7**Or4==C9-m;`LMNCw*idyL9wP>Dy zeOykh_nxz@WC|)$s*=RSD?R>^aez#bAc;q~V+QgT@(wZ=@kACPi;$Jb8e~1_Wm22@;OPAhAdsl7J|XG)Iogao-tsQk@V3FPwMXVX4DON3o;Lsfs^;ov-45 zArK3WqY>ym;c8)luxY}y3B%4A&chS)C%$mm{D#vT8SuC(6WTHa!+Y;o9hvQqMg3_( zXh4!CGaOv#BA`2Z8Jv)G5XTRMmB!$!g0}b`Xwem$>r0L{rk15^^J%((yj1(K^#p#t zFLWsxiU#WbqzO(C`bVejmWo$@KS}QG>uJ4MM}!)VMs(q|y%o1fcHVi>;w_;eyCd7r zwU~PcjuG8WeMQF%Lf6qqjRj7!Fz)uz?VJ@Ny|At~rT2yvyPZ9{1U?kOB6dBTz>@4L zb{0FA4P%4hbaojGfJ>qKl@cSZSEuVhK|YZl_1->q8qRKDC&4Aq2L{1^8Sq`W=-So9 zO~d5yhQ@jG#A|gdvLQ~}*+js66q9CGbIycJ0Cf6%6Y;5Jr$vg-^;*PEWvBji(X){c zds?kzu>PF91HV`H^=p#d=r2kIbXE!x6u(CvhOY~F3>~54(Btc;k0~=OB<6rLsA>{p z#jZ?=#=nF^gnMRZ|qE=^~DYKax{Aaxk-w|WrH zA+cyU?|R>0$3SXG9g!*n(Xx7tnZ!Cw&4nkfZv1%lTMORhc$oe-ua|IgD@4o4@uW1i zs&@E{OUx#3w+FKHU{Xdo&4vaZF776opHR&5tEAXW)Tj*~UV+b?92%IwhokC8^W|W=e>O$xp=-->HPba2FJo+s?Jiqv}a>3Mfbu|D0KJWrhWM zTilw4VQw#Whv8Hqdb#~ED|l<^EOrt*?b+N{(5dTHtw{qwF0ISb5*w34Vs_$TVGUhL zWPA@8{7?+f2r#Os2pCGm+i4LN!fFK2-E{NVDg4SgKh{Zq&!rf8uwm4>o_D+*w1M`i z%a}jHrJ|<+rz4t(L!}yHLY?r^vElBU;-`yxS9q=T^->gvbx4WQoYM(SslxrLw?kM5 zvHQ1v-@JZu^Chtrz7~1Bvm>7XI-n^g-oDD$7$aIg6c1fGckT8-@MfZZY?5f*y5OZ= zK7YP_d+73iNGk!S{DEJY-5ndiWgW_fRYCtx_jf(1g0iagPlKx}s@!T$X$SY!Ul@Ee z*nKLe9&xD!o_-3y zedW`8HqEJoRCKQGE?3hhpYqMwj^!Bw@HP>-9LpfD7mVztzT_^w^c98)aL;WJK z7riilvKRZDQF8+G(-w7*FbnO;xyL#$kMNDnB4`K&*f+l}qE=L@&G#eZsG*??*l^of zplcxi?i+&swSVNZ>m|N>2v+m&3|(O%7knZY8BV$DcK?ol57r1{?c&xIpClOpid|$; zd$9fzySRT9>%=WU75Ipma7jKosHM~ z04^AIWR{N36xq;sb$rP_V33gV2K1I8JBl2OKs|Sd?2>OSACePvk&!OKs~gNM4e3^e zGBqP{(@?!EFtmx8WoQ*RYA7bEi|RouKAyp-Jp;FwJy<)G|DCu|K8lTh z{70r5aa-3o0i#dH-Fa|&4MPt(j<$3DKH1(1 zUztbiQ*d^wTrg4w_LE~}r~>R=X@7J5Y3|L9r|q=Z(3RlBMv}RpM`70gP2uMh8S+Z- z5<_um5eaifr}6b;_XYd2fsfs<>0{7;j5qfIT@#1MJpM`YEkBEa`%RsJeKeZ!D@B|? ze4m}TaqqtEX#_2}n-ypc##e<0L}ZZk3jubAYoPyVN53Ht?4#ch$bYY-aT)&;HrD*F z8Xm_;*fEa$FBqGDGjyoN$}G0C79(a42NZr!U7{=F3gi-6OY092k$VF(f_1`ze4wLAS_gC~;?@hr4X4Pl z1~giiwS-8J3*amR-!9g>y!&^59pQ>jQKQ?F2c z0X-1Cf=z~BGSfuI;%Z{n#IB3Z;W_|MfHkwie@ovvj+5pdyNYZmw!=G%lQCS5e%<-x zFD4URU?M|bbbTxTsNH24T)|?CKCFJE~K7+%C-`c;r-=% z%5w{KAh=?Ch03I863SY0jvW*K`NGu)uP(1;r&JPYg?ieA9|46`Bn(BZv_3CSr#-AC z5`6i6(ru0Y_{`-iX2zRB+azTBz7v`+Qd%_UGfTC?i^`U*!D8=Ss~1zVKY>&(VWDY# zF0P?zHOcNr)AV$)$zW`MtswM;z)<~x(D(fPL)|#!-F*6r>sTzedg`nImgknt3b)3S zNhhKDB<2slgp)-*NllsML_%w{Nm3#VDc?{rB(_!by?9+bJI+Al>y32bFKC@mY_c7% zmMiQmqCk5%r$8&j+S=mw>(g=8F=E@c1us*Y^T^_d!sMnVm2~5*;hM!b(Lf(%*@BR1|2lzFoPQnJasNKHpO|wG6 ziv0*b;m}@83r2mC_DK>WYMv7CB&2LC1-GDBbecft9=+fXI^jVS`}~s-d>4PNhEs0o zZh?BY!CPx?q}~X-vF29Lt>-r|el9nSuM>T<^0Rqm#0|^mSDuP*t-83tYi01tXj`7S z)@rud(#$CY=1gfh&1%WZ&9}=>;3qDp&y{I+$Appzkukd10%5*Nr^PX3axSfhpnBl+5dQF@kJo?VU2B6jlk6Tg znXiIBqV|Pb8#A$;H{OaI$2-yZat;23vTyvebT*?)_pe{KJolpu1ibsplT%F~LQk?G z=q3Z;Nd;#}QfT`qqypKY88yZP80ovEOtNNj5Z76O}WLv<<%P~r+XFsL{WuJ`-b zlAdhs9C(_KQTb+IDE!5CgtJvjfC5jB0frRLwyUflwv2?6*fD-)QDH#|ZYnZV8p-cr z-w$jbKf_q0GvOtLg=TJ|5x|EvgQpCY`ssGzSVpH?cpnTy6W4zwm%;0zA^Hc&7sO`= z0vmVYdjgWZrDVift;Zk5LHfn5YY6u{lk*3|3|Z5-cwz zFf|(YllI*>L}m|yFZ;ze!LWIV`y~Cg4!pBBX?Zni4$^O0DR#AQt0yzK%Peklj4ZKl zl=W^0EzJ6IC@V3kum}ierx2OT1mH5!=4_obIF zE^quluA4C_laWs!ksBJ541YHQGc=RoT{?d^FfunjJ_>Vma%Ev{3V7PBS_xPaSG%4N zl0n6^WsJ*=&cs%2T~XYswl3gO6?bu0Kz4z!gk6DzB_ufsgneJaI)IAczEDAHTbEj` zt+ZBYt1Y#b*4Em4h92&60$Tn5w*T#Y?vHuEXE-zGJMVeF?|a`fhzMI-LL?H6SiOH{ z&8E$3Cc3U#9}?`ToaQuny^mjHkY~8{mrI3_!YE+R3M?UTB7w0H6k=htEpo9JAGf#d zos0I5l!X6=B%=sIqTEcf65JA=O~<~C{}oS1%^bc z0s|DDN^ixADT-B76stp`@znsuYavR-ZXbWoAYVm@uVSOm7Dc4WCtRiQ3lE75RgIsb z*ytaiQbdP@2P*K-aGxL_PnD0iB2ww?6RwEx_faf!+ptlwG(;Jpa1HSCQL2A@6q6?_ z6e=Gdg?~gu=v+s~h)BOFA>n?GzIcqvF{po#%F%k?XguXuGxc(7*>fxj4HB=Iuw3NeA0NK7Io6H^FBVjAH@%p_(Jvxzyx zTw)%vfLKT@BAf{qVllCVSW15^Bi5k`a)5kxc*L&Oqs#9ktvs1S`5y(u~+`bG5E#zl;`2Y)Rk zmRdK;mQaiAL}r`8Ht{w$#rER0;*+*BZR;d5$y&)-=~!tTX-^_MwOxO%-Ms!7+p-`Xb*esgfEY@sYu_V9%nFSNZlRwv%(#H-3ls$ENh|iD@Qy{O1sh3%t+?W$Oogc*|n?}_abLePzvqnVd%eQU4Vxkys#x& z)U$plPp*gsN8&l8?2&&;^3(L0@l3p4w^z#{pWX-YyF1?rf(8$e&lApncyXrC0?!LKAT zEuRnt)61&wd>-v^;3K&EN{59i7nEPi&qr<`*Q=7_eL!0g3tfN6c5v9eg>CfTRp`#l zadlgvEQ_zKDk-Tt;s^F|M=MX49%fFy>obk>BGFFWg4y$FYT+B-hQI&8iNmMMSgLME zMuXomrs6{3=Ny`SRzBW&kH@y%O{d{-I6uG1#L8MR2G`2rQQiTv9dKU05@4ruP6`~@=%l0$0p4@kUmN4S4y01H1RsTRbkB}($c?38U> z?*j|jbVcG@dCccB1IeGdp`2S_l)t6%RQa(%(OyAY88`ofwQ*cR1;{9&;ck*zS_({g z#cWg6asCWb|2PqCH~Cn38f6PP7v!%=tw z9))X<-*|ugtrMD1&Lx_FE}tm`>E#^Mkfp$^Nj2y-sqD5lBKq0S=PqqySx#L6@jw7e~4UyD_Whw!uko z?w3beo6qg@uH+JZ!ERMaTvcURA%Atr>A7gYlvjU{0~+%EcqoCx>!E!PC+j6aH`H{C z?skizt3b(XBPzm`(GlUn)iIT|mWnzS-L?J0HGCIZ7zN$BMbM>O3^%9AFGjU^D`O(V zLdzoSi}JF}nQVHx2>@V<*U~G)*0}Fv({u)X8m%>J%{d*PK$4X`27Hf%7r{}tgrQyH zp5=e=o*cR%20Eg-EPC`u&cH`fI1kcr0$jySHOe;_Ca+(_dhS`Xdp7fOKRJY>WFLDT zOFKXCT7HB(u^5c=qOC-UZV^WIQ3bYPu7HjqGAcpH#~HjVIqM83{7OE@5EMr8Q62|Z zGsy1M@n{I59*l=J9miYC3b~~uq-E)RbPX8=HNY`=Q%!@oT1Ne;-Kjs`Caaw+5Mo+*6f+gPKUWq zKzm6F$MBob=t7)9-GCPc@USLY1Vxv+Zi(T89tZg$KYsg?H{8auXuzAw&(MEua+eyc zu$JMvb9koOkE~^wk0zb8sZ`_bsZw;(z{RDi>Yu zA+C#D&dX7n6s8G-B{KL@6c2wBc;U6af-~>7xW@}>K-!aZ7H5~5Ei9UkY~-bC)?E0T*DSxa=>+_6H34g+-fj&to4Ie z;tE1sfnHarkA+fPKDLH~dIJYt$@`!#qLFP;?#K*aW_qm%isyd}@MkI2{e0)C_?=ue z?Rdxe_I_2cG7+5M;A-;mweuG*7H(P1qQpNNC_~rbx^__>ED*ygxK7@V3fxE;I`*WB zj=U{~*N5_vIqp36C@xK36-OP14sXYwup{Q-^| zzCrj&Uau-sJ^_QtyxyEw|h*z?MtECUXFhIfw_hQ=+x+avOe zJb;6(BDbl*Y%97|cQCs3cdR?ale5*}3RtqT%M0TuJ(+_Uvr-+Iz>1 z6-I01(P5Z0VO#nmFEQjN?WLomVgZY=fRG4LB=zy1GaEAjvkB|nx~I(kmAriZd&EkL zqO#QSbZopf$~vz445(#}nSlNnCkuK8sc^NgF}|uvKooLeW<2TZ2goK<{#~{nvspPE z_%naOPJKv~lm9F$fwYgq_;J=u6IZ7i9hL~h5{(C<_O5v)cEX4pK807eS+cJ`&V8^7sEN-(F z__qFZp9D_Ta>6kq2~+=bphTUKo}A0%n9P4gnH)^(kx7ibH>JO~yUNe;KJtB?K?WD$ zecaDqdRBw*2kV&5o&$eXh+g+x2N1I1^d4O zG}3XxSTy{5m;?2Y>-_FV$jn4qR;GWk2uq_ySmM=phy{1JM-JuVA0azrKWVg8KkR$g8tHO4$+e3E7_%Ob^iq9yy&=ZDtkJ8QH{e~0lvAW~M2bq?mvEH>@ z!%pDpOJgM?9Of@$Aro>2#*nl$J2Z zW&AdF%eV*ydVzK-M1#&MSY-e1ofUalbC@!pdnSy*4?PG?@(vAraRantq5ax9SJX_J zR-dW^`jR;A;kff?4)UPUrX6S=-lc)8CdumiQ_cE}f;%^UIK#gEb0vQypgrBEt@~y5 znLqk5%p2TTp1DQFs?AYRhncpzfd^H?kgf2PUMEFRKUU45Y zZv)#J7xL~3W~eIM0QZG6T(E{iu`@gn`jIo)-GA; zSDRc^Qk7qidviETEmf!LfkDrmwOpubW3VQ3_E{Sn6Bo-ZbB=$UvYOsb#)7oGJdjn& z9wI3b@ov?HZHDR7#KMU3n(RQENb|#=x%8DnkRAotjf^$(-h9N^4qUaKi|7URdqMB0DPX z$I4GHeM)yDNhg0A!=kf)G_JUgTRS-4`Mko%$!tebtu2StA+_8A9}u;aeglLZ_h9!G z9gR58d{%I`fZo?q}O|)_l*S4#NOZ%I9 z+O5W0)DZY9w(|9%bsn>njxnjM0g9y*kLW+EWzQQOl1hJxmQpMF-Oe%`lwJ5%4TCJ%40$h3FvkPJ&9=gikk2n#!pY=VlE6+O@+0+f+ zQn0J_GJXC0rO)8&7BtHvlT9>%v|J_+m`gdhtIvSw(m+BAyJxlJ;`ZhF?hF#obsD?9 z#Ql&LchGIU)1`o~7-)O@LEq^~ZeA30DuqR*qWvde>$_!-CV87)X z)xf{mpKA;`ka9BVoVq|)9c@>-uOKpn_6XlTefjq0hmmYrslf#341F5VG5v9l?2FTE zG**B4q-tknv4OJk8rVv$0p!ki}P z#FT&50ev=Ct}`Y^(7ikv0OH59ewb#Bk3b94@(a*6a=afo9uywn1fHxm?)ga1rhvG!I>)9UfhYw7`)T>M{1WFUsGE+(^18J-wHK`z0*g4@dK8G;WWS zf27nf*>B=hon15*e_x^oDH4AY(ROM7#T$RDEUNbFAGX!Pc~x+57wA$|Iegf)?0$V$ z>wQW>2pi!7`L~O1Oe|sVR-ga)Gy2w?3lm;lwAz`an1x;q$wd`aMfHuU!boe1>(~#Q zzr&7h|CN2?V{{vo9$c_{fG*TvM_sE3)=A~u%n57g7IOty2Pn-;V1b_Pun|Oya-+kH%zVqs& zQUq7{23DN9xa5tRy>>|{>#^=dtE9D+?_aK|vZH>3lc3`K*&k_0PW=>DZM$W!&D?Sv zq*v4wHP*$Hg(UR{UDkf`3iIXJ#g2cowk=w}60;FSNmPP}ly%`mq5Drbeyx3`d)%<@ zQM&!EdqO$%h(wA>b0)8O702>1gWUs>D?=xKN{APO%A@D8OttEj0x?tP1K)JsCQ0#i6%$=imakZ3v; z=u_iaw5C^swhAQ@YN0j{WB{6P1=TEd$ZB>L;1z`|>o+?Wi-A`W2NQaGCGlpHwvZ__ zrk7-KP$k^SsV+JGnQ;VmFnNDb!c<;VDny6{tuW4tpfVl=F>_2f?xT8hu$oTNYqg2& zSd@ngi!LGE7Zm2aajpjK?Q#3mEQHk(F{S0W3;M_`nN%i^@fNARz^Iz zp}h?F;4ruK{+DE*IU_BH$u_4KnK?LDD2DTTi}6LXE}O~8$go~qD|}IWnlEp~v0uhj zu8Ti`k?L_0_bl#5Dm;G{BQ?vq`V;#6&=?wkBi?O%iRsHHf-Hpu!qN$Zj0< zH0#jj0)0XrXHL!ElNCJ+>4r~))e>z1FlErSEugFq)U6oQDb}%X=cWbbanJ#Sirq{~ z9+P8EFE(=zVe>=OEZK`=&0+G=v+^=H>{xGGE*&?O^ld8cTC;z6IN8dlTp@)j5YjPQ zH^rJ7RU8@y7xB$U+si6OoIG+WtC8v70`LCd3iQRP5p-OVIyISHIrq&+5?w}WP8OYM zF0D8Ag|_ACepC0~F4KoraBu*cEHUXbQgyWM&GDK9*4@or?P0LP?XTGcjxpcpB|NE0 zPb(^J%h!lY!_(g5%Z#UAxSKpfF;&b+|emf zj%Wpg-joW%h5wXf7XV`xU8n^yY_F?S-CwySSq-=0EC$Yy_A0RLi!d50Sz(*?v=&%| z$Yg5J6AK za&B78E@-)?I?LQ`J$r%Ynr@nYxIiz+m%jxTsIiN&iE)kbX98E0LQxE-eh+k9r|*DI zir;0gmb`!6aExib5HYiiD_9TSSVqfSo}R5@1p>!j0++tMMG3;MJr43F|N5<7KC!BB z_E6XcGu{_uyLmK+$bUL*eP+O)3jN#A`!A1UsijX3WTiZ^g9FH~j<+5!D%9#S|M@@` zg;dK!waGF2=(wEtqEt3*A4pKsXaMqs67uISo8N!SIu4?Ew%=Xf_#)VP_VvOSa}R&t zw-O)gXNahc%53YYdwPx_*pg^)vV>aHhP5FUrPTN~gI*8f88iS&q(9$nemD2DA)uc1 z)CH-PRS6{=MYfezH59gOxY-^xruL&N8P8!(NeF0`G@ zOxSHC6rfL_aqx&lei)2jzG-T2IHUEc8V{xtz ziE(&ODYLrooyk9-u#k9yLKE>XQFw~LR5WlaBL3cz@rv5i|6)bYzY>MaU55i7mE8UK z?mFv>(ISt3)0-M0s>&ZHc9Vg)@f!;hGHA zM~Q$CZxzou^77vJXj1lE7J)0iR|2oExN`Nn$93vwwXhpH%c0GRpI_V0-Ymb^ex1JQ z^1-Bev$srSk;4LI$8%8D)`ME6v=ZnGIia0|gYRY*9yuR4ou!-!Bty1I;d(a30Fr+I zO$}I>WCmFV_CGXdkq8Z>(ePz~zNtzhw$hX>QIU~VoKI6Wgk^8uUVLF;++KBr@1cNq z?tS@*RaEyKKUiU}?xG~PPnoBgjr zm-SD%UHDplG2*b-(^sLj1?7M>rWmyebUc{5bSazE=lT2Ig5LTBO084=pT<8?c+mc? z^&Cruao>9dyw#bG#xIox3|<5nljDlCR0XchW%h6VMxy~`TqbK{QTpS zkxvu>Hjxn|lj@rlBQN~F=iSN&e_wuK0D=Yv6u<$*ET}>Z3J^*HE+7B^QLqWXlaWsp z0XUQ4T{@F-oF^FuDvHu|D+Lun@Bwj^7SJGpghvwcAb{eFld+sCf9lSeGc)(jz5oCH z-~Zq5ULNA?jPQ88iHjC~78(@h85$O*R;fRlF+E(KU`Uo}xqpl3N%XrwNYDgAlRO$9 zMN>}nd(LJdkBJgGT^Bk(TgIGwy871={<{dm+vLVQzZee%!uQ#)(SH|C<~llre?SDI z5FRofnSc<;2goDje^(yzvb#^?)Uop5IJru%)Mw0)cze$bRBJM{$^?a;n&Iv3^C9>2 zqXHyUh-__=+NeuXQZiK>6(XU+B-9eMk?mDd)6^;|R<4jG$5ZNfN-AGP8FX^3j!Mv~ z4H}(?gpw+hI?AZlCQ=>O_^1vXS7dLPE!lg^3(?f#;7c7ZbAknAmsd%-P zij(VQ%4D5nDBvY(ZHg=zVXsLn7oNz6h!-*g`4ch^2|yMhi;*y7IU+??A#0FWBpy*B zDTvmIC6B!(e;^Y$8l91CEP*k+?W4wy(l~wMbkJGs9LeYLGx=Sp4=P2E3nBz1f}dQX zTpmN4D_xaqUulOk?Z4PXUpZj91B;@|+QeyMfk5?o|V|%6(bE^87HPe@kTM;)Eb~Y}5R+OZz&`l&6 z9>mCye+iyJLG%6Ndyf+T5S;Apc3idxd_)ZR_@`a;tpm<<6klKAz<#EqAWz()1=;%i z?5sROYWOTyhx-Oz>ien<3gA1f4F!djWO;$PFwZ@54YuCl@UV^{p<;jRhEQfKs?eWNQaDQVx%e)M1 z_<}f(R=04}Pl2<V#>MsPZ4ntU z`H3>3DN$LW#=RE=%rcb9cP5bOYE#Nae|JTlx?&4~-S?NK7+1u(&v_UMF^D}pa|=#p z7Jx*;7u^^Qj@K8LlvI#e7Tbos_>YHM+g*`+LbS0Qk(YOdHt zGV>X}IDAd?Um{};ojTQZ=m>$G@jrGjI-GpW{3ebLSnc5vaHy-MbWdj!QPZ>)e_X)- z1xEp&{`?N+h^td6Tc^)c1UI5TMtAuIt(K=}5-|KV<(eHk+=5g4Q^QRqV_`7*L(jqE z_Nv5if>{?UczM*I-yZvoJ0hsK6XL+Wp~D9KPJ_JzrNK-bw*G|aVNf(n!!}zvGwlOr zFmHyWt>R{*MXNO$wOWg@x!GcAe&uzXPAFrVA$1redo?!ym&5H!sUq3+TjeY{06YI3Ni6znZ$muftnXVKimCA(23|9 zWfOaQq;P^^LF*R3PP>LEe}$fopB>fLu{pGsb`>9#)kZD~Pl<>o_6x9U{iQTz7|T_r zXWj^8g~Q0+hwq@+WH{#5rQXsqP*_SN6z?>Z<4v`7jn8QmU9!V0yULDf=oN6B_%SoC z;q!9Br)KHaFWp<)JMP{qiAgOYj72+4Rk#i8u#i^;wV+Y0%hdtGf4Vjr7;$E{VU9A^ zs@|PWc4V~WeYe2{Yulf5V}sN^Ua62QmNj2aBdYUE+q8HhNH>y`1?zxeXH_LQP(#SO zzBaYvFbqK9Rt`~E+S46I-bs406CM53L)?&AwLUF7b8{ZS-25$+Z^|*{f&DDG}&12tQvz|6=Eeyv>xNl5@(-#~-x*_xZNcGgR%05!K%Nnmr{2 z#X9|h3^8-T-gW|7UsW-t3iUdzzV^+&<~j?z%_LYs-Ox6}e>$s8qh0O18aka7MtX|4 zO~dJk^RN;fMk5(JzYxuDS=YU}!^M$ds!GI@@;5HdAdNveDpQ6_A-WRU`G?W!RyI%# z7wF*hW?&^xGkttTS*@uF-(OU5!9rHS9LC8%os;pSUct6m8ju*I7VkIe8l1 z~L>!F^r?4kaWEOV{y(ijOMF&>Fxz)vHlo;(SRSVw&!ZG&IjxlYOb>A1V77?30mC6O#r~CX+~|Hk12R43q0!Fn=;LF)}_r z3UhRFWnpa!c-qBQd2kcg8DCjmVTd3BM-1JC-3^C<5}zDxNppY=43`OD?xV<-WDD7r ztXsBaUAC^3EL)c?+p=sK8G~)`fk69lK(WSX>{ z{@3@%+nu*>-}imL@Avz@$A5wn6CoChHDgQOjtwhw7j4+MMOwly&CE(&tK=7p3&y|Y zQZuPpBp0JFh{9PEnm`e3>YYUF;W~EyKe!2WHkW;hoA`ViJv0-}{o6Bm76h?uZ;sD> zQ^8X1Z02o}ojZ4Yp^G~YnvejopsCPw2!rN8e}ZTh>$^r*2&DPKwSNL(sZy-eWu;|g zEXkJ2baHWFk&?*D$XNXD`1})MWg4-LUm%fc6cRDPFBK5$(uj>|M6OiBtcr;R(o!N{ zSi~6hgUzD3nW8GR49)BCklSAT(0BgkYX>VX=^}5DExYsX!Nt9dke4-+rDr`#C}$(=Lx1dNi7I#re2g=nb8SM- zguf;YfSxIoJ*cL3Xjo6j*i-<_;rY#^&ERw@Yp@?{v_(=>Wo>J1@(=A>)|QXc2k5(kFWq|1js&PQ`^80 z@6o=`SMSO%sHnhhf&tj=b=B4){%Ti+6Ps^_^-i->hnRe1=p1P_Ssm3*E0*$nA#5%r z%Z$jopX7~!L;!;fFbAV2(rbCEit?q!=zjf$p@HCF`+sln+JHMy8%P=mT)BH5J>DwX zzEw<5)$nn~lb{-m-M*$_frP6-c#lo(`wP!&@zvO!PO}Be-u{tvC%RJ>A3fax5_&G; zmwV6loN|~kD!;6 z5=_kjiwBkXC)5T&dI@6!a-i zJU9cUfu%>WF>njM$7uM|}}I_KV)fmyq+yvmdPIi^NjwHn;%0 z>wjII|40Ly!{oGKbjtGwu)WIZup?D|L(Ad%nAgpC>Vl*77eMmw(bMFv@{K>Ex#hcY zv)pD@BYTdPoOs*~7J4uSw->4aGyX6QBoCh(Nxlp2e8tiR>~1|v!yBA*?61@=#0ASS!O2- z>>dOBD{LwXOuYLA@m54&KAe}8Z2HuCWPqb~uMq!Wv)$Z}gL=BOd zlJWlBj1O`K{upp~)^}hoAMCe~R-?mNVZ(ON0@!JHSnP;7K$0Gpt092JFMq@NopH&1 z6ijBy$lG8#1KnJvE?mEQOT+r*J+S^Pn|d3h^B(3j?+IeE`a)kEiM3yUaH2~s@nVHG zM~MwFdi9ZLOSt!RLH~N1TQu*0s8#JZVJ#J{){~~BL)KwK9wJjLrV|Qxh0YkUPu%25 z5^2-aGh~?bDI0wKijYR9!)V2d4T6R1&`Q0x z=Vi6N4MyN!e=EtKat1*r>~gz;B%_)pt=z0)SS+A3;bk1%YvDiOWYZ^LtA;e#kbRx} zPoJIx3+kARwZEcZ>c!R(HWmM`UE(I_gFPYA?LnFh{wk?OuD4^^^nVacl17IW<7-4k z`_TR7c+cfyPoh_GU$m|ODa4 zd^K*1(P=l^u{DY<8Yx;{S>GtbncR_G%VG&?^{%Xs4ny4(Q|ek9o2+J#11%zrf@Tr&_LBWPK1Wu?hP z&!%V3ShHsT3JYRkTn~`01~1mp)Y;#Q1{z68J1%bt>5ihmW2#;he_c?(tVh$HjwRpt z|2O?)LJfv_FE0dQgS`96ov5rm*ESdhjwJGEG%(p0%o5I`@p{3(D#+GU7HYz&+ z6z-Nb4mK$QJXX+*gwRapm+6!okdg}K$k{I zf;%+sH16)M0YW2<1b4UK4vkym?(XghF2P-bLlWE_g2V97Y-U!ot$OFYMQ!Tbs`p*y zUBCMVIi+jvJ}#hvNVMf(XBx2qHNIg=2O9M@I{9I^sDm!GDUxI||J<$cJ=1HfZ}!D* zgZSCLO?h%0T`_Q0j*a{sKy`HuNOoykBF+;hR@2&AIEt&xG|TMmOyH<>&W=Ig5#T^M zC*D(LQXiKcPlqP=T*oZ{RiL@1%@20cFdcK*tj(Frk$cpdmh3iwEiD%kVsowGQXNzV zJYLbk>`c1{_JA19OlG@w0dp>M-tX8Yhu@RaN zi>OS*mP*FA@KuY+Mo9Mwtdx491JwO_h_t1ErpO0rL@b5>DATY8Y=EgVn6$tIIr3IH z#RxsqF2p+H{xsr*&%!t{0FB68j1I)mI#o%Gfmf=x;4gVBBX6cUwa7VYCr%k zcE`fMT59&A$xL8`;Lq<%Ovmnpr#De1uK5yhNM?p3<|o9FBFJU7x?EXtEx%fp_Q=O7 z3zruIq8Ft~oT^A|tFo+U487M>Okrbp7^U}^IdIF~V?twX? z!)ABW>_SK0qmwcU3rW|&>Z<^4klX3g)W*-9+!lUUq*P<6e45Klp_>}qFPgxiJ z-1j2)k!Moz1Xsi-#lycLeSxZOU%IP!a5$Ar~Wot-lZ+1iWxW>X$dzjP$(0x36A|-KI{Mc*OP5WIZbL!G_^BBZ*-KuId}k z_$x$&4n&>s4B_EobWe3;j_N7P_C5#pZ9+|R>cqNSaleFYl~8tg9OR0VW72%|ln%c?}O_yT(FM?5O-y)@HG-ahU`S5m6 z8J8jEO&t6r%JCOOiH$wu$vW&I;gz;$uYomD!YcYrb+4Gwy%MJ7aJydRh!y48>#hap zsPNndZg4xUXP;YRDIcG=B?@R>)QPikxcvv?)$g7P{iz0cAYAlBu*iixLcC6NZ8*a! zQ6}LIY>Dl!-p?w9k2m`bYawFH8=WbyYm1N)p7DjGLMoFv0wL5SaM|TL`Tm>4vPYt< zKEmwAwPDLb*_5A{y_EIK!z(2|Pfy^qdBNCs=4Sf-AHC8T@9|=9MQyiVXt8bb#weXN zQf=a)4;Ji95~TMy%6;=?FYrFwvwpAaaHV3N$jC(FcZ`-41)U5Hd>`+8_Gj{Ja&91& zx0dKmM{GHxd%+W%o;ajMS0`ic#ZEJOFmz=wV)?zKzFB=~m40p=%3kbsuAjq1AmKR% zhUxJZnrzcOi)q6+dL!q3AyV)*W!rl)3y`6WVXT_~>1(h8Ap+SGa=Gqfg4(HXpxwLp z4aJ^4`?;FO=ZlETL4p@uwW!yqsgGGjS#RIELJkm z02?-C`6g`cc#mc)4GGU+1|Y_1c!F+KC)Q8lr_%Y|s<1xYfNH0XsDwQK9+r#V=Wco# zcb=X~Y!i(0n$$Tm2UUwUp+t;*VR7!xlI9=H%|D8N6n0jAWj&`C((URfZtQF>Zd4Qv zdV?-i$?m?v%(%?@{LiK4zcWYByVOuQc-dsFon2fh1bEn!u)rh`4uStek0y0(UDjG# zU;O>ydUC7;X)pa<1>2V5_}u`*wWqxDJdfgEnkP*oZxRk@59@ktKP4)Ts@t?oHVIhOX+%ar!ca?G-#1)O33oE@M`9ha^j*v$JIiBF3K+*I6R z$b>jmURperJ^c)N&U~X7YNTQECWAglmmrhx-4{kS<^fwvYj4$dy-di>i_V zYl28ILzRet)gF;y3K(rfFP%w9tTd+O-|3CR|3&UNNOXCv`>WpknQ~I-MR|c7@XlyN#LZk}w-EM?enRLzo&t*$(hJ@x>3(D=8G?{;qpJ!$ z?pz;Run)$>-^3foF>F|sqx@+fG&#Uv{=^4tR?rqqD2$TQC*TN8#0+~NV@dvco3wRY z0gN=f(iT|T8ZiBV6n;=!9D!sr(E@e)1J);WdVcm086CvsUX?kK_~aj7#TENe*&qSc z*ht7ReS49-1lr#M*s|%KMZ~vJamh3TKZ>Jr{|#6~3>YbxH!AK$4q%;uZ;^E_jD#U7 zCN3wShyBLR42$#lI3r{1%O3-C5z>?mFW1MzZw2xUAVMJzjE~WWp}B?y<`3jMM;EA3 zz=n5C^)kav$PuR>68@MlH)0PXvV!CjBk*(u8lek`%R9qE;5c|aWt%q#bY%lvfZata zABy;|2~=u>JkpUd(dx=2XH!at`qXT#eVsN5H6-%`;zJZ78z`=E3Wi6Olw0FJVXMT; z0&(C&gAaiZo8c#0l zD_Ac+9HZk-Y7nu}tSl4W&Wb2(zt=l8r?yV{<3qRe-SLxZ0$x7{zoTB@PrFK<7mOvu2aq1qoyhVG{*buaH1aM|sB7spJz_ z;W<-t!c*Y!6R{!TbeSjhDsZIs9-7IE!hqjxo0s439Z*8fIql?4_d&IgfQXW3wEzmS z_SQv4NsV3pg;?*`&;{vP2LMw^ehrWwq)QrjISYY^4wBQl+jfgi?1!&(XRoL{Z|+=) z&47S(%UBsT`%SHyiN@c?Y~p(HlJ;iV;0%rBQZPY11PW06|0Rc`|$}QfB(@ zNg@C{nM~`TymIc+qO3zoAah4XE|LRPM}KS{tKM{DtV4JBa{I}i4{v(NL_a)i!`WIn zWEs-bzVHST$h-wvNu6_-*9+r)Iez3E8pa@p6x{(9XV6(I&W5-9ymKV}t!fu=z+oi_ z9Vc^FY*55=QuY)m0l{M>qUK+t)q!v{g2$MB;yq`ArzEW<#79O@?aaB_&E*rA1BYo` z#`{3lwQFl9yL{}`@MrHcE^`%gkmJXoF$4fi*^T--m2DW=!_^#{XM2Gpe>y`dQ zyPodw6Viqm6Tfk-w%T1^PZx++3dXmyQuEu-UQ5TzH7pY;EE3-ODqkHI5@2e^q9CzuMPQDi9VP|D_=vpbN4*>x?=Ug zX)}0n&s43i?#gS?h3%tN$15z8R1n32(gQa;sGyk`FQ-U@Xpc(*w$@C>!pv(rB)s5$;&G@7nH zpDyG{J(e^KW8cJPn9`)PjXfnhF3jV9yM}H_T~*jQBofo7D?zJvSjm4&D#u}G&c4*A zci*e1FzL{Cd2}rkUcSHxK(?U4=WyGxPONR1v1{i9Z+xb2XEGvm9x^RL#Y5M-C-rvl zeKFhK>SjF?QAtl0dYTuE)Oa^7ftf71tb~fOY=4ne-bVvPYwN7}VQaQ1Nv+?ss!P0` z>=S5e7sOtjnm1)c_rbrl>l)|^;s_J{g>0&3Qc;sBLBA%-c1nuyAxT>M3*fgXoL`L5 z$)E*_)!(%#u@c_Tpg+FxQ>`{B*GzYpmXuV@VTvd#=*sr-eZ2SmiDl1@L#@>jqDSaL zdB@>)!(wA@!Wa?Lc|Jq}F*$|eIRFdMJ)J__+z?Ld7uxE0!nyD4&t%MHg!Tlf9faQf zO?SKHZ5gv3B_k#Skm;8!-zZh|OD;WAv7FQ0CZOxv!~H>-p>p?{n5gI$P)_=YCp*<6 z-F?r6fm9>)F8i&pXyAIKzo!rf9T3U7#M>`(tK`tT%Hskp#;P3*;ArnnMf{Z;V@^XKJiE5oBswvrE)i*+2QhHj>}gadeq!OFZLhYo+iIP--3ca5-6(^iw24 z^tc}^%9m+ zgq&YHp-i+wh7E_W3SUbY!y`($X@Xw`+HWRZa19o>7?UtA$g;^!&*w&RAUh`<-A8PH z$5Rg)C%HAMp`~&k+=W|vh5dyV>_a3rG$QEC;Yg@-<@GsOWVK^7_OXR>3rDXGn_qFT zFw%;~FU>dBjjYB9Yue=2n#Qd~nfvcUs%F}GaF`At!jVfi30}BfQ@5r3POtNqn_29( z>!t^{d}x40x2?K8;~>$9I*x3vmZKya+oFQBG3*B4!qjWsc!rYBv3Q1t8xzM}HO z=weiyg&Vg&vw^5R$O(sqR`>TRQx1nr?kIJwy2=CNwVNe6U*at=BD$U)PM z;Cl!F`?t`)~luUw9g=g%``iARIDz^EjRP0l)FQlfZ7|>R%lCK`x_?+QHwg?cdY; zkUw1_qSIA`mO?(ap3q2?{}IG z2$lU5Wxt3;_+9Y%0JUG0*o0^=qm=D~r-EY9lMEAV(hSyv${zv*NjRi6tfPfZ$l&o( zS-^I6?hfvEA&Ti2{ycva@BajM4>pJE0c31f4kiEogSnPIoo>1lcpaWa?|7xs7u6{ zA|?gF!WrYh%M+0PaHS*xi;)wls;jG8DMD5923ipv72!S~tmyp$OGU>r5(MdgROf<* z!-up|DwrITVCE~WI&)&cF1^gGusgd`7-{v!BJ3j|kA%+oG%`?jG~X6LrZtncHbzJ5 z&XrSx8M`-&(;=s}AmkShAPa9q*2fyX3>?XsVk1|^BvCw+r|cvXD*sdY0!_M5>p|^F zH`MyfkIXq7=xMyd67guE7&3_eS-{mC0RC%f_{4IcUalp5De8W4iQe(Ut76|gS*ajp ztY-Ood-K~jL-L2Sk@w%-eyW!ZXg@?9i8$T4c5W=yHsT*CIaj=7p`$<)ULqjz$KY)Dqdfp{^D+r|0+~rT z6i4u?rekrX9-0#7bEw1i=}p0N1=bu2RHz0^w=fjiAu2bBZ?p$P*x zRFY-|w0NM-LKwiAE4hP8KmqLl(6tv^?#=ImfZaMy{s)c`Soi{0)@oVT9$XjE&d0-- zS%dM7Z^<`Rw~%7Pm#*Tx2hae=dP}6~WH$e5*xQ^@p2*>OSp8($Lbairefd}STSz0_ zd$?Qowdudg{@>(O2`#xYow5R`zFN|cZZS^FUHqQV#ZBkzHd+}+1tvl)7E5CerGRALVwl;H2;i{QF#%g@8ReE??;+w zN7N+T8EQ>#PELMvQ)2->eja`vUUoBnZet669&T=9PF@ZHV^d>M;s3WnpH0o$+Z>sL zhn?-KE(ZlC1*d*epE&Wm=ji_^25DwnltLtM#5dc1bOiMKhqY8A+P5MaRY?+EZ%d^YwtG~}WG@5_ALVnDNj z4FpYLxNb4twWE5{@3oyI)xT_!KKduDVjt>6Ul6KywdqebyrS=TwK&j7HfV({X+1O7 zqz-hec1{Oym$Mk9w{B%WHu!z9eZ9x#bR<~c_KR?Xj?b3B;%Z76MvatL?d&Rk-Ou)C n``L6z?3-}W|1unzJD7blu}LzRLqX+!M^Nm@G&C~GvdI4hvXB^P diff --git a/DiMa/dima.tex b/DiMa/dima.tex index 9c2d03e..091fde3 100644 --- a/DiMa/dima.tex +++ b/DiMa/dima.tex @@ -34,32 +34,39 @@ Jeder ist dazu aufgerufen, sich an der Entwicklung zu beteiligen! Seien $X,Y$ Mengen und die Abbildungen $f: X \rightarrow Y$ eine Bijektion. Dann gibt es eine eindeutige Funktion $g:Y \rightarrow X$ mit $g(y)=x$, wobei $f^{-1}(y) = \{x\}$. - Diese wird Umkehrfunktion oder Inverse von $f$ bezeichnet. + Diese wird \idx{Umkehrfunktion} oder \idx{Inverse} von $f$ bezeichnet. -\section{Kombinatorik} +\section{Zählen und Kombinatorik} \subsection{Schubfachprinzip}\label{kombi:schubfach} - Das Schubfachprinzip besagt, wenn $m$ Objekte in $n$ Kategorien (\emph{Schubfächer}) + Das Schubfachprinzip besagt, wenn $m$ Objekte in $n$ Kategorien (\emph{Schubfächer}\index{Schubfach}) eingeteilt werden, gibt es mindestens eine Kategorie, in der mindestens zwei Objekte eingeteilt sind. - \subsection{Binomialkoeffizient}\label{kombi:binomial} - Der \href{https://de.wikipedia.org/wiki/Binomialkoeffizient}{Binomialkoeffizient} - dient dazu, die möglichen Kombinationen von $k$ Objekten aus insgesamt - $n$ verschiedenen Elementen zu ermitteln. - Dabei ist die Reihenfolge unerheblich und es wird nicht zurückgelegt. - Die Definition ist wie folgt: - \[\binom{n}{k} = \frac{n!}{k! \cdot (n - k)!} \] - - \subsection*{Kombination mit Wiederholung}\label{kombi:mitWiederholung} - Wenn die Reihenfolge egal ist und Wiederholungen erlaubt sind, wird - eine angepasste Version des Binomialkoeffizienten genutzt: - \[ \binom{n+k-1}{k} \] - - \subsection{Wann nehme ich was?}\label{kombi:wannwas} - \begin{tabular}{ll} - \textbf{Reihenfolge egal, ohne Zurücklegen} & \nameref{kombi:binomial}\\ - \textbf{Reihenfolge egal, mit Zurücklegen} & \nameref{kombi:mitWiederholung}\\ - \end{tabular} + \subsection{Zählformen}\label{kombi:counting} + Bei endlichen Mengen gibt $|A|$ die Anzahl der Elemente (\idx{Kardinalität}) an. + + \subsubsection{Summenformel}\label{kombi:summenformel} + Bei endlichen Mengen $A,B$ gilt die \emph{Summenformel}: + \[|A\cup B| = |A|+|B| - |A \cap B| \] + + \subsubsection{Binomialkoeffizient}\label{kombi:binomial} + Der \idx{Binomialkoeffizient} + dient dazu, die möglichen Kombinationen von $k$ Objekten aus insgesamt + $n$ verschiedenen Elementen zu ermitteln. + Dabei ist die Reihenfolge unerheblich und es wird nicht zurückgelegt. + Die Definition ist wie folgt: + \[\binom{n}{k} = \frac{n!}{k! \cdot (n - k)!} \] + + \subsubsection{Kombination mit Wiederholung}\label{kombi:mitWiederholung} + Wenn die Reihenfolge egal ist und Wiederholungen erlaubt sind, wird + eine angepasste Version des Binomialkoeffizienten genutzt: + \[ \binom{n+k-1}{k} \] + + \subsubsection{Wann nehme ich was?}\label{kombi:wannwas} + \begin{tabular}{ll} + \textbf{Reihenfolge egal, ohne Zurücklegen} & \nameref{kombi:binomial}\\ + \textbf{Reihenfolge egal, mit Zurücklegen} & \nameref{kombi:mitWiederholung}\\ + \end{tabular} \section{Graphentheorie} \subsection{Kreis}\label{graph:kreis} @@ -78,6 +85,7 @@ Jeder ist dazu aufgerufen, sich an der Entwicklung zu beteiligen! \subsection{Zusammenhangskomponente}\label{graph:komponente} Ein maximaler, zusammenhängender Teilgraph $G^*$ eines Graphen $G$. +\printindex \vspace*{\fill} % show license on bottom of page \doclicenseThis{} \end{document} diff --git a/README.md b/README.md index 481d647..caa3207 100644 --- a/README.md +++ b/README.md @@ -9,49 +9,51 @@ Diese sind meist unvollständig und nur nach Lust und Laune erstellt, also Obach ## Unvollständige Themen: ### Diskrete Mathematik: - 1. Grundbegriffe - 1.1. Aussagen und Logik + 1. Grundbegriffe + 1.1. Aussagen und Logik 1.2. Mengen und Funktionen - 2. Zählen und Kombinatorik - 2.1 Schubfachprinzip + 2. Zählen und Kombinatorik 2.2 Zählformen - 3. Rekursion - 3.1. Lineare Rekursion - 3.2. Laufzeit von Algorithmen + 3. Rekursion + 3.1. Lineare Rekursion + 3.2. Laufzeit von Algorithmen - 4. Graphen - 4.1. Grundlagen - 4.2. Bäume + 4. Graphen + 4.1. Grundlagen + 4.2. Bäume 4.3. Wurzelbäume und Suchtheorie ### Mathematik für Informatik-Anfänger: - 1. Mengen und Abbildungen - 1.1. Mengenlehre + 1. Mengen und Abbildungen + 1.1. Mengenlehre 1.2. Funktionen/Abbildungen - 2. Sprache und Logik - 2.1. Grundlagen + 2. Sprache und Logik + 2.1. Grundlagen 2.2. Boolesche Funktionen - 3. Zahlen - 3.1. Peano-Axiome - 3.2. Induktion - 3.3. Gruppen - 3.4. Weitere Strukturen - 3.5. Rationale Zahlen + 3. Zahlen + 3.1. Peano-Axiome + 3.2. Induktion + 3.3. Gruppen + 3.4. Weitere Strukturen + 3.5. Rationale Zahlen 3.6. Zahldarstellung 4. Folgen und Grenzwerte - 5. ~~Beschissene~~ Lineare Algebra - 5.1. Vektoren - 5.2. Vektorräume - 5.3. Komplexe Zahlen - 5.4. Lineare, affine und konvexe Abbildungen (Kombinationen) - 5.5. Dualität - 5.6. Matrizen + 5. ~~Beschissene~~ Lineare Algebra + 5.1. Vektoren + 5.2. Vektorräume + 5.3. Komplexe Zahlen + 5.4. Lineare, affine und konvexe Abbildungen (Kombinationen) + 5.5. Dualität + 5.6. Matrizen ## Vollständige Themen: +### Diskrete Mathematik + 2. Zählen und Kombinatorik + 2.1 Schubfachprinzip (In der Vorlesung wurde viele Beispiele genannt, die hier nicht aufgelistet sind) diff --git a/env/commands.tex b/env/commands.tex index 15d1431..5fc0eb3 100644 --- a/env/commands.tex +++ b/env/commands.tex @@ -20,3 +20,6 @@ \begin{pmatrix}\ifx\relax#1\relax\else#1\\\fi#2\\#3\end{pmatrix} } \newcommand{\xyvec}{\colvec{x}{y}} + +% Index command to show the key emphasized +\newcommand{\idx}[1]{{\emph{#1}\index{#1}}} diff --git a/env/packages.tex b/env/packages.tex index deccd58..a4d4d32 100644 --- a/env/packages.tex +++ b/env/packages.tex @@ -8,3 +8,6 @@ \usepackage{stmaryrd} \usepackage{enumerate} \usepackage{tabu} +\usepackage{makeidx} + +\makeindex