From 9ddc1cfd8d92acf187c75c138d1be806bcbdedb8 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Tue, 20 Oct 2020 15:29:36 +0200 Subject: [PATCH] Fehlerbehebung --- zusammenfassung.pdf | Bin 484223 -> 483683 bytes zusammenfassung.tex | 12 ++++-------- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/zusammenfassung.pdf b/zusammenfassung.pdf index 7b04f260a44cb2ac9abe7776aad730838d98cf8d..e61a41bba0faa352a544b1cd7c9313f233bbdd91 100644 GIT binary patch delta 41636 zcmV(>K-j;*pX^LX^)k3WU-C`M9J;f=05B11%& z@DyQ)ac?yBKKe)3*8@iUJR30V-^9zPjI*?el37+=jt2qp%K`C!=S!0g{vG|b=^r}R z9^ufDq_%TS5trNx7)LaeuJhMXewhsdMx}qWTxL}VUZ4=Bp%+k%G^g%Cn528`&7#aE z1GwiK7&NyR72KtGXYB1981)E7Ar6V1LjbEof>JNw5)oQ2@gz0{bVNcwhCU0oBKWQS zsma}q_XEv+lNYOh%K;2McNa~Zy8GIX(`<~H{1Tfa0S?ve533?t0+p+%C|2prU7W64 zK#$DN^2Ds~X@86=;F_}w zH&eVj$KClsTg7Z!X}?kb6uNiU;M>)hDL&7EN3{&XLLa%C=bMq?$1JjRqSWFkVa~>N z^}l_@IKJ>y)miRtIo3&1lw-zuI*n(G>fyL_&!$;rQS~4_i+EMR%yY9S=dKlFu$9(o z827KTWM!BJrQN4VoJJ)WLE#uXa?F2oUB*j)*h1Ly0!(R=fUUu}Fbr!BLqYzO z5ST(W!Wd&wKejs?iYQ2=ehN%SVEo7*JPhyEpv9U<5w=jn4q}BE4LejTu7q>{B&rSX zt%d1SxhNv{xq~spJA62}b;{O&pmhkXq2&NJ>vGYDRC0u|{B@DiHquvVRvPPxIL{{? zvuyEyRHDiAWtQ|IWc1fVD7FMyhhXGf-+d@zy5@5_otZr#g+fZQCk1&6&x4r3-YdA|(jcJd-igNywb?fziBrZXB|^xC2gG5UwwVjnx+ zX2(IDQg_*jHoK)Mw}HjQm5~kj7NEu2CMuNi!s2N*zwB&FN(l|F<&fZB7l&8JcZ&-8JZ2Je)%?Q_ng&92_#*K#3-Q zpdrx-8M@8$G_SJtB$-6{Iy1jDWJrd>jqYAYH^J~|pf$+8FNMK~Vf|df#(g{>wI}5s z4;Z%jy>|Koa28{IJkF=aWrTOcUy3nOTTeGM<;%<_gmCuQ6NR}5e*n%t35zx|p%Dc+ zbyH_J70Yg(_dsMM)JTerYTpAXI98Q^=H^y%8uA>*pWe@jL;V~fEl9^^Zhd}In*3H@ z7Xpn4?_w@r#fp5U2ececyOCxg;q&M(DH=Dp5d;pIdw8}Zn%8gA-S6~&K$R8emdcN-t zaya2i){0TAu3%ggW;M+MmosL`=QLYZ6}~z%I%?z5SU+nZ52b|L7S3xx!*U(5oyYk5 zBB)BG+hUtd9Cr$C5}G|r4v+78I~c{<&XOpN^0ir=<lp=RfD=Utg!DXhp74Ph_Nawb*~nGAr0E*mhGw! z*cs(_7si-=(vxJLg7jeuVpt=hR4t*JG_M0n?w4IN6fq+NwC&q9ll-1cD9^+vVN;@7sfm7_dQ*5-lfNda*!a zINj6p_4Un|4#opIcyUBqf4@IF`szfP0i(oG#|CHD14D_`dSEmqRI9<+)!^5N5k}-N zR*FW?M~h)Bw297!jz{y+yCj`tjBK0S ziF$KhVS)^?#;sLG1W97o*c|&2fN1Hh=3uXXG*QA9?@qCm!e((<{rU}66c@o|y%ZGM zeuOv>wDlg)Hfv-fiwpFI#jyhZxC2{aY;DJDTsf&~m_6&*bWLlWZhMjQtRvbqCi%9| zxv@1NgcQWETJ3j;d!aDmzY)@KqFA4Y)dIQh(WyDj#dQ$9byHpX zZ9%pm5Q$+dgtIlckl6AJ z!;KL-cxhhFqc1Vp2DU=y>Cy$uku)$36LxK2S{Yb2#sD;IopMXfAa*5p2$7Cim|MtAoBGNERI#Eei(lE!SK@v54X5~Gzqgd z;=^GAlSCyqQ6@leZPqVQgux>h4hvo|yOKmus9U&&lCG>?LCB!=uP&u}rR;3Ds&QrpaZzqM7C<}N~pXe%(d&ZMj;WZS5y*zhqdi{A5WsK z2DT6f*rtJ7r3YwdJ%GW|tV~+}$z%8N+0h?I{`YhM`BwT45t60>Ji^K^r$_#U;)Fud zh6Lo)V4e)FkN#0GV1W?szyh-VZ7$>AA2)>v3Qhzi+`WVd1+_DjPl1&G7E1<$G|DLF zJsOGh1 zL+}%#m!IIDnR@FWD8yk23fWIk*j|F7pP#UQT7Ckh2_A)@P>;$_h$ntxAAUj|lAqwc z{Dl1s`~?5=@)PEO{6y&Bk4aFNeu9Gir5TD|hRZyFCulPi`|uNg<^jw|o1ah*#79A=v6DsM_5Yn*4Ji<`Vt9Yd#@6>p2Ka++lIH-A6fN-i)d^K-S& zLoU3)W(jEB-Kl^V2d+_G!!GD5MIU36b4nD_lku)9s!V61kyAwMyODS zJjC0hNZw_O9=W1_J@2Y$wcY*5ZHGyqh31_tv})r7pRU0q?89_mlR0A7%*77m#(9@R z=mxp5-64Yc?#EE*5I1rSZxjo8;O2X*@)*abwrqPf$b6qIT4dCLPOHxGYETP%FONXM zEXd|gyH0txm`1VWgz}aNHq+SX!}c@=S(zA( zd`eSKY3eCWJ*BC`rKt@fT|DKW|A!o8TRG@>e*H!mnWh(`JPqA>>N=S$7aLjWr_qP_ z^gDme^sJqlg3w7pC`4FS3O!9GC}12}pD*CYPSBmxp2X$P^Y!i#=mW}Ma1ox4b`Yq> zFLUGUb{mg>`2p$L1troL^fcDtgt`emrhSBJdF=;RlVli6*r1<$zgs+Bfhtilgst?S z1(@2(Xf&UUU}H1lzmw5->7p3?<7Ao4M=8$7S!m8{bf=g$05w_f>4gVulzjB3A@FdM zCCfs{bd(hjkXMsUrO?12s3nehnodBu6KCvyh(ZLnG{9ynw)!D)O zeCX6yV0n?24o<5xtWe*2E(*Ry*?p|U!)PY_ZI1OQ4;P4z$Hl(Ex_(}xD}I@dR{qn% zhbsSn(nsaH)%;`e$-jnIU5yYk5cyrt{ZEMJe4|^^tszWofHY(exeD2Qh6id+MRV={ z@|Wptaf2oI@#;yJPl7oZge3(7iO;lkGA*6*{V=9<_PY*e7u?5$dRTri;H{gxQeJgR z=I0fKr^u3S{TVPBgOiCUncrpJ9evDyd+kquC-cho-H@ATR+hPC6!77}Pg!UXPFO%d zfaLEB(9hCjQTTa+R=Aolvmeu%l>v6zQNlYT`-=ErzWBtie>R^cDO&haD6kqDGU{(v zFdSxFLIBygi`j&k$&ZnHVFs1I39fbj4%SqB16*ssanR}aj$1N{Zrs8)TXmYEFyn-O z(cu3n+vc^5*LXHGYquvjw*#m%o;MekP-Q+z z7cV-y_#EUYDDC=~uGPqkjYeJ~)A6={%w{j06oxJ8gWaMBYxW0%}=pE-Tyw>*3Iv<-H%KPT;M7-Zs7HE0vEUm8*}tu1$^C41eh<1b(f2B zwB66RdQ~Sw#!NIy7ic-lUH+et!n=Xtbg~(_&gMhTqg8^b$f3GeZ{K)~_LR(jLDvD+ z2!QwAJKX4I?%~zIMmwoA2qtDo;8riIOV|Y)muw*+c*-w&#%x?sxmov zKa$!*oOrU?NoG@(R1P!Q1069kV~KL~NId@a+jx)!X+V?`ySDZungkm_KfeCDL8HlH zf+jD2L4)7(_rLu58`f^#W+|YOB?)my#xtaav{lD6&fBlW> za9)f=E;yZJ6z7~XH}MPe3XG(^kvNx3fe<_7AAX1)4B=QbLq7WdO2p1PaObTXKZf=Cb)&bNwf4c<^HoNqC@JHMh2QDwq5g*-u-e?`_Vb0R5d zf+HTR9Nx&_2_o)Z711%tm7?wBQT@W~6e}1hwCo#8_KnrIRTbN;$Qj0=?jFR^_fh8| zj6aTl^X%i!!@w)T`Rdr#xP2ZvkM*8OMug6}G%8d%0=G{`pUfF)xBd}v6yFzN zu&NHk;8{kbN*F}tQmNCChaGZ|Piq6I-=g#Jycc0fn8K&wM}JCsXvzmgHF4ZI4}gPeo)$c z74sZzL)Q;^8Iz(QJGUb$=ciF8#DIQ(ln!ML7cEe*Xe%rgbdZ=NZ)d&$hfocYN70gy zdxQ!cw{GBvZ0DDJ4ITiRp#J zNe(}nW1o+PU_5CuoNK{hjL!9P=vY#E*#5|Wo2U>5X_t&b3myug_k_>~U2GBIUXaCvIIbS2C)VRd zyr4no$a-9kHginzK)O;TnpRY2aU72erUHgd_&9`bV>5B^Z+Z+Y&>u4gJ!p=APw1qE z?Cw0NLD(6oxsv|MJ&kLD_NabR3#ToNMX@N#;Ow%@hMscqUSVhwy zQcxru$+b?aL6> zt)EKi8w}TRx4~w*cF-}6>4+Es*%`15Xo_mAkFa+_m;nfX@GRYHG3sd=ndgyKhsddt zy;g@O>!$k=Un#?Tu&k^k^{4{hbt`DyK2;QEKvlDpx17)(**7>;6pek4RM=+d?V>mtz!|&Aslpt6Sdz4z>p+SAL z7(H2{7f@DEi3P)BfZLnB3k6mXP`Xn+dZ6a(JBwGPLB67U7tlC_;5qQW7} z7AW`h-Iv3m9B9VWF)2_A_1YfZPx>nlrDT7W)h>H>*%1@?;cU6}=)9=wu<3~@Qfp9C>Jl}8QeJz|*(QfBitgB>T zp=&EO!p)|l-owLxP}{|$R-e{4O1fzaMXwTN0LKU2G<5ZJQ>|MqsJ8UFbvj)Xm#(WC z1xxUK7C0QG@dE^4cAyfj0~?rZOhHN}bHom8(V#k*5B8yO1OBicnK;)Oi)Jx@330?Kk`)>be?#s7>oeXKn%CtIga;%EsxM znR5Z#zM)_-Z--(Tj~EeB@sxj4eUg^zM0#LqOv}AEX^{p{2GrX_84m=~0D)}_dlTH1 zRf`|Fdvak%u<4>&?%bVuRl19JZtSM4E{&}3=C88aMhyw$A;I0lmO&p2EAki)*~@@p zysY`Lb2IvX^TCY|YztTmSla|Q8TW#AE&1V`%Bb_1K~klzz4mrn?&s_52F#78>*e3| zdIec~S(@O5LgtyxSLmpGH9UVRtHe1l|h2db`LM%>0*21I)!IW#CC0e<6vHFx9*0MjUoP*rJv?iz1e2}^xNsl>*k`WJJ&XDo%y0z8)no`2@R3TD9242 z;n-#hxIohz7d*zz%wekx0?3VwVD6cF)ttzB!DaJnS7u^z){2Uz8werXQBrrz3&Urb zO42I=T$l#62g0Ki>uH>(sW3+&{G%*OL1Ec{3R+Z`PA|A0o>ox}mEbN!n|MJmiR_!} zVAwJpwoDSfM1qE8!~N*=b+P|^*U{g8>d-%7htYB@Nps23B9e`6^;kHNGC6jAr>3sh z?s6Y_W{mw_Ca~r2MQx%1NfT{rb0v&ZxLa@Avmf}Qc?$MglqMTU;49{&sJ`C0C*RF~ zJ)05$Z_nIY-ofCibuc@Zfok*4;S^vFtppuO0lH(g4*6h$0rJ5_9cG!#mNo9p0F3ki zjU1ja$W;c<+|_))anR!av>0M8-p-se8Vqp*O-eTxAs=5_JuSS{ON(LUVpG<4J9o=~ z-kH0!c8EngCU#Q*fz{^{pHp8Ga{$RQH%e zX#5xy!g9J6{MYzYN(b<~wD1g2XoC$(1&CgEqu4j@XKuH3LkpR%oG5*T;c_lS;_k{M z%`U&fpcX&73<`H$`++(4wZ%%{zFjnxBP5tJ`+0%mz@*{8%yHm%yTbNl%#yBu?FU!x zRQZp$nf?B14XJu(BV}GKt_>ab$zYTUdwV#}A&HUb;ysjTl>-kiYJ&m0hR{}X`$d?C zx`-JG=C<7MR(hT2<*=^c@)QQbH3_=msbbW;o!%En&;ZJ zcs%TG*UPTHHt-w7?pe?^iW)|SJ4wM)mxvrDnIz*#oSDhOOA)4+=zcwuG*ePNV3HS> z#}me;X7ty6^=-yEOlAn7LtOv(`Bkwgu6O08+E(QTz}MY|RQJSP*-w$og@OS3n}&iJ zboVHniH9}3u?wwjKi8ZA_bMdUMi>p-`KbfQE z<7+mcMv1Qp_-Wq^9ylfb1ELP;b|x}tMza3d-H^CojQU^ytDIPW=E5z5aqmINGg&FYwkL5o&NQZs zv2a5+7)p?hGdFBrxG~M40XCm%n;X@YcTVhTL344xS<)v-!hELqLsdZfSoX;FeMU8o zI}E`P3wkJSaQX)-0VBx(%!>VX(~vM55PkP)ekWLqTtc?a1W*;`za-(&u@~=u`7cOs z*mRTSE+_*vF*BFJ6aguJT3K`4#u0w!uRz|gW$p-b14`wAjz~pOMV2F0r7DsiK<*HP zh{ZBE%$UF4J(vL&gB|Q)OLm-xEnJO8Paj_&vr&)*QSkaKnjF8qK6`P6aTMSPB~gNd z>$@Ok2q#G(MT8>3gX>lBG5kbuwD{rr@575Pt`g@ZOi{w%Nk@Hu{o%bPesM*~n1%=> z2=0mUx>+n~gu}W?s|S5b!gueNKQ2fdZi=FAK2gTXRi2%jXRFkbZ?d#9r>nHK-=U5y zF-D9J(tL^{Y{*=Z6Qoa05qX_kkzcE){8kHkzaTPfRB3Kwb7&V!9F{9{LCnFdOu8%6 zUksLnQ6ys-EJ25VoF#*H&_v-AGcAqEmxLft&o434KNlnk+uMgaT@Vu9KKK;CC6ZJ) zHe-

+R~F^jT`JyNBMjo||VKwaN=~rD}bYaHCWU(3!bGl|1huFT1QcaKdD+^R)yrmX&P!9|!> zd0J|QjU~+To95iUtSpzb?U$*qw)|!1iQUc1vhxV5AC<3K_`+kgxhd4zP;?HiDx-*U zr5bbFTvy9(Ig#rOtIokF4Ik37oVo><0mdldoOE76BqEZ+F+mtxx4?)mmYhf7`ywsV z1&zW=FNq3&5x%a{$NLFK*8@Nn5+M$5)A72@wJef{kD8a^16PJmcdCWdXW%6pb0=-@ z%!#(Mec^4JsluGD(kfGR114_F4XX=S_IXcH*XFF&aVNw6Q^uRXdCbEx|K6PCSfkc8 z9xBy7t8zEOc2*9Wjj?&@L)tuhF+w5^FAiwKqsz8`P*v{&S{@vS?+vc~q@`EjQ8jP_ zT8m7RFJt&F7X$9>%84DoMwBEy?bQM&q4iA4Xr~=*4#vWp1;?Q(a&?nu{k`Y5PSo0SyDTO~`WF;6R}8Q5oe(Y*A2 zKp=?DC7~!5v7--~xQ0yR$dRJR$IP5g)G$ea1Vz!n=$kn%c(P=dNdm^>J;h%Dq+|@q zY_B6iDq~fJ2(xq^Y%yy(&)xAjP0B>@%-Ku}nPX zrSs;EK<|*7zcB}FtS~mlbj3_7h|B|rTSCx;ft~2VBH}2mTEK(U+zhIXS(p|@Ym(xB z78AR)_;Nq`f)jU%3`>*{(JPJc{i0zciR@+jTV6i5U79v{H_kvTyzDZGNg*%I(^t9L zeP-@F<<-g%nJUobb<@=Vn|4c~v&D1kP5L{yZ2hy#v^sN~8zrYj zmuBI~$T!_sm%5@Kin!9}b`JCm?&fiSVjM%U8lUFHdX-*82VbQpA(@e@%bPYZJZ$OM zKaasSpUxoJ;2o9y0nvIVLI9`aJU$Q?9|T93i7y$1UD|nuXCtn0M$#|5)1~GqXw`iZ5%tV3>h~!H~OA`DU0ChNtMvm zR=(*7LzD?K9kGj8>OMl+zMh!b$i+>)DcY`96R-&Ff{n`31;t?nJtS0y{uafZzv!6( zL(EA=U&tju+xJi}+F#)jg~j$U{_#+jyFF)hotD1PC^H;m$K7ki&Jrf{^? zYi_PCb*|0JEVUWf=eg2Y1D3xAHr zF*&KCK2mItypZLDJPmffdw)GA6p2S`n-z*263SWI=e-puxHANQAuIt-;4Riiqw`Ym zamk~|_I%)#V;^PVzjW`qsp@9=*R)p4V_g=<6ydGzj)+3D4+7s`?Z*HLafT(a7(i{Y_Jwn3mR7cd z%~jQGCx~`7Gne*gXm-f_7$O+LR37id`!Zevg{YJ9?1Y+s%{$gRZwhnJUjE6)#ns+B zpZ1)(_}r-CE-i}MDC}-Dh=se}+CvDaujHZLeESvR6&0GCZBlwSW9U(pKReuCVh&*d zHu)-WOpb$N`Q_pG5J1gFv7@%%1A&iU;GP14Cn$ksI0XdzS_SwVVqDy4XnE@P3>Q$8 z+r3Y{?_FkpN8pG+jIdo(uxQ5=AUaR_J%<@@jMxF3Avz)S+oiKO^F?5W9YmSbRz3X*<`c_tLz%8XE_=nwd#9^kqal#0a z+rj87kK2HQ0o3Tgj$OBz7)fX`M`U0FC>$B1L*Y36OO$TPdk9mxmb#hg`zVi(hM)M? zz>o254L{^JF|f1Ey8O3lGgYotnOXB?DpP(;j$ooX6rAe|C1x(D4~QQzR7lfyu3d98H`}?6_){B z0~3=gIy3?{HnU+mM+txPsRpbep}aP z8{1G@^%n`gh)IvN^@@|J47KHgnr#LD{^KyBmpCbHg!)0f+UBwK@LVL6a@l1a1gsU?_XSv$!nkLh&x+FO=X4e>0xs3Wg0Z6g*+Hf|1Dn6};t=Hle_bh;?Cb z!Kmb6AW}jDZ=?BTLujxr*wk3y1RTZ(^5(f1R&7d#wc%J`c=Xe{3TBq;;%$wJvca_Q^((i0J_m;XuN>C?qO0@=?K52_M*Jf593# z4uozZG|VKiV>6W$PsM5`$Ls}GGa6!0d`F{416?U%=74i5YQ8(pg4KZwoME3x92Xma zy%Sp5n(PdkH#MxyFQNTK9QW~X`*;|*O5&h=se`>RR>E2nC zy?gDpzyI;4OMb|T=rIo|tGoU3@#Fi=ix(%cp$rAy_F&=P04jGu0}tN!nGK33WLaa~ z_UF5gclU2T-F(zn<}e&@pYVza%zyWP91E4RH4!8EN8 zz-z=x4(*Yzhc;4Ad~73fe-a+s0h6>Gb@*iB|Mq=QI33!^An}_q6p#}A-(I2bU_ zL^*sg#~ykx)9tJKyAN-6d-o30dwK1)Z+Bn!?%RUB{rA((=Kc3>gY~%G?{4>>kz__& zo9*k}=esZWA9kO|d^f)OZTHtdH$UBdb?-c0#1aRB=UD<4_&r9uf4PSVq`uMVIxLyL zhegX6mh8(w7;6&38v7VR(0K6Fhm}+YrP7C$JOtlqmu2wCZ#`HDaWH*#VTtCcJcC7E z9;6c*{J^o#g`hBt_ZL*idcIfUX&4@mYeSyXTdl)N2S?gLmd7qU71C4XQgkAhA}i%m zV!vE!>_ILO30iX>f0ps=L;5%{^?9ID-~n}EV}{+>XEze#*=JWc42<&VBsMd)C(y&^ zp%8ar5k^kZ1xn|fKJ zIpnru%~{pDN^@3L_iC=eK8AW}i<-s8G)U^i3Z6$CTEs%jf1LC*_MlJ#HggwtR9)<| zi%J|@YM)(!-I8(_7U!fvkBZLKRor(b9cCMOPk*q}qu{Cs6mO}~b4HDwm__Yq;6q+b&g zhiB!voPRR2f7j$}im4Jzi|e>KDVgl#zmA*KUoth=Ln^{ZBIz{tk#8JnP|00(Av*9l z|M0ZcP^zf{nv}F$XdjjB6~P*+)CB*YDxXRe4pX9(l|*6RPm~&aIId+J12y(xL6pel zvcc~>OD(04qvO*e6`D-Z)^vi<8FSOZ*@0K}QLvivOvE(UeV#q_fNONVB9{UlGZ)BI3N3HD^>rJW~;Q8tkgS z2de=Lo4FpH!^RQ@yZ-ON3a9begJsF{RoM)dpa|}SVxf!bbLPntTUkx|hMCLPueCPn zov^8sf9m6Kz#QlE=VEnM%k%;{GfvqrYuPVnuwQ0a8e~wPy0C$1DE|4bQWmdI>TAd* za5X#H+s2wiH49D^Zl@U9)Kqnbw4WH0pG}uF;VN1^nLU%=1Srx<_Qd|*1RCriALa-~ zbYj&H8lJHVU*uAgP!^AM4dd!Kwj^oEv`m=ge~P>z%mrwXr?k+uv`A;rB2ANu;Ba>7 zU;Da_K7FV5wys`EJ8j$-L%8^hN2C8s+_)-DBCUR9q&0L!`o{|OlmZ)CEMB^|B&ox{ z9J1hw>56XwRmuMcQ5WP1p)-O;;zNri@Ower+D$= z4#nNw;iKo=SMUA%jf`YxF5l~!YweK{3KAt%1`!iGBhV*1TPFq4BzfKC>6w&Fl15HEns$sC|)?DX#YZoz-d%!5DykObL+ z9Nv{C03&yRJje;C=57yS0Z;?~0!ns{P7Fps$9FZz*37~dMDy+V7)&wBKD9;E`uycJES^%i+Yyn0fbD*^;z|It)2GRnk zt4gS-0wh%w)s<9f7~g*bt2*1;+d2GCEn=!_>XP&TaS;VI2>?ig9w4c%s`lqo4P^UX zzZpG1LG4}tC(pa#A9r~PH4!y!B?%U$KlcD&0l0u194-E&{jb_6-zx+BtF(7lQwKYn zzY+kb&7GX=d6}48U0oT?oE@DQ?HtS)?XCZ+PtDxI5#Va)U)8aA1a4`ruj$d zqIU0hrf2Qx4Rn9~?-K*sIy-v&TW|jJwvFv<9W5N49RH380+?D@gZ@dv|OZo!p%Mvi=iKL|l#+z|G7FVBuj0Fu#*j!q!C0&c^1w zYDa`W?Gv|n?~{|AgFDmzCbpHWovW?q|DiCour)FL(|dmtXL}}fTZ=EwAZhXcF@F~! z{7YsAasn^|KwkhLH)C_AKMDWh%O5ezAMtx5yglvh>;a}gYe$f`g(>L$g5c>0bO8aJ z9GpSkp8u}+PlUk21u(HNc6z7!`?w(d6rU-vb3U*HKl%W3qGim>o>yxv!wF1xvME$>d`rn2?8w+dq|1|wC6HU;cYN-|M z9BhEr|E05V{AA$$pZPTl}hI|qb62g=C- zU=sNw`U`P!0hr|fg?Io=ivL7B?>gYW5I2Cy=wImF()gc350Jy( zg8%HW(w{B!*Z461tL6W*e*eO%P7ZcfAWaLC_eamanaBg394y>)ncun3@-BaW{o~u` z|42abud)3%Z&6V@H%|t3R#pH5EBE_JvAusU5*8L#F7N;FHU4`O{xx^+-1rCnvxWd5 zkQ>MtVR6pRnD47)N@MVMABp^lQfLYu#^Z8qK`og$sKvC2cKnaxIh&*)p#uMAzjVq1 zJ2@%d&pt{1wnbVLU$LxTf43x7j9;553vU5^pL>6hM4fBGrM`U2^yE`%V%Jt3Bg)$!}u~1$yw8MJnMCgov3}Gw*#nrN* zF|h}5AvajL-0(inBL}kGBV{8?bB2E;mhdq_WnsDyy^3iE4$#K2;tVF*${&$_UuK$% zP;IG)aKUj}-@`bPQ5@Nj-+!b|sZtie%d#xh}{(<@OTpVCRL zi&f;zk`E|+F-jFtrGj%#{+fpuznP0V_^3t&T0s|IQkZ&!EJJqVya)mJplyFh7Xxwv z7^h~h!eMaLO@x%wHD=+6>w+lz;E9_lMUQBEaN>jtafvVkq^VMJ(&(kMSK?tkS}e&2 zw5M_zB5!!jrnAer5c8Af6J5TIZw7RfQtC#UPUFJ!%34~HO{Z(7L%bYSKlVAES7V^5n@O}^^u?xiQ)N>6`mK?o@8u+DSV2+kHJ0`2in)8{1QqgS$3gix{;dZ>A{ z-u79X+vj-QW*bU9w6y~%>acFlqGx+zg5IMu|fw?>3)2_*gtA%xZryEGvTe>O1P+ zw9Ud254HhcmGNVDhk=FE99kK`4g3oP;euVPB^bflz{Cu)Z7nw>eJL7=qjNfYfF)@3w z)3+X!_FME0yFx`MOZtC2GQv)`KL`{X$gE)cbV_sFq>1!R#$Bis zmI9otsKllyapdA$xDl-px6PaX2ZPo)I@!og&U~7`7wQvLu+OL2R(!!))Ah9e$K{E8 zq$DyA15PzGqXF0>6*r>IOqTjr$ z;6L0b&g?M@2XwL@meak?%WTM3E`#kM%?cY1>#+Q^L2n+ z{gr?NMLnW+wuFD(Ud*b|{T4(YlxprcB;^iMX1{c^{l?g)=M=^f2s(vjtT)(WjduJ@ z{*n4BglHbvFvdwsVt?4wlywqt~#m87d=y~QM4p8Tk@IFv< z4RlKg`6t-*EGpt#Z4!8?wP>e#7h?#T@a2)uf~{$Y67_#!6!rWwBF;GDcB16`Wa1dk z)9p`&}oSbIH3%uR9l?^>gA^`exFxxrAmzVf$oZ zz-@0f%@E@7HY7)NQZ(-EbH7;0_b!-s?C`)Qx$J+8y_K_XfVzxbqNfvG5zk$mLCzr~ z;TqcJlALs42M!TlcQ^YQj@!+B*W|N_54`5UfEXj?OPCf6f+Rws8BUpuU#fv!tMOY~ zG~<1nb+-13I*h5sBfpFk7t<^y=$5=TGqVuxm=MZL*V-b(SFzhb3*jCW3CXxFzhk$- zLk@pk^#-y>Ox2!WNG&c8-IWIoq-PMe=O+`?2w_;JC2QhTEkT+M&4W&l;(J&;f>uU1 zF`0bO`uzFN23odJ_+Yjwybr*Gp)kQH(9(qfWshu+OS^$XIfmG&^gQygBE?OFH4oQa z{sOlCnw--}qY<@W{!>sk-KVvbO6WL!cVd5neQ7K?)jp9k)DHqePMn3;$x6I}sFCgS zWoS^792^h=`Y0OA+7C(D5SSQ)D?kCr&lV^3D^+$XM>#RiM%8 zAux~Sv4>kU=?IYeZ*?ux9@;CH}!wV z<$d5)hp`Qmm}QY9l^%Tg^_l)EUv#i{{n+hO`Hxfhnx9Z1ty-Si1=3yd%tA#YH>F;0(8w5 zodg$^f-;1L!cOpm7xC|C&tKps`W7i%e00;E@Ex9;Rw;T<1~^9Ia;hVSG7>I)W-j6V zl!Olh>;A>JVA9oR3b^RM^HltQ$*)8lsJ?;1(QwAZ*>g$f+T9O%agAGKQz3uHLgcP! z$Pp0W5EX`Kleo}kbnOBf@()#5p0mW=+#h1KS+P>CeE!`zXAU!=i`wV1DWg~$9aUz_^p&gb z>!tuK3ym4n46fsK$V_(w!q0D1=fSPnfc)HtlBmF} ziYb(|FfMU80~}kijgXj_y7l4@gdM4_h1UaL0QjpSPd7@ESnkvHfNp2kmnk4h{=0@LD z(k-l0MjIvtM&#G^b#t8V0Kg;#8}@bXE|VV*FjN=g_(>%Pi1D6#1?kk3kDrT=BIA(a zEQVds(sogeVGK)wzPo?A*XSowVU8KZd-j@k5(&Ah9^+WK8>V55FVU4t!%zmMy!@_F zfJT*>9^{`!m#$VB1p3|pTxrM`g-0a$^P_e*ja%cZEE(cU-*FB70Nmb`sZZ@#UDw+n zdLJhymHXz;ZhksR%_F!3t~w0A8&h)!VmtWYBY&x`nX-x72E~5>=~fV!*Y-2AvafXe z!I?=oW>*|#w#xNSO||CZkBl&g2%ienSdE%#?wNSKzNRwsTkapUP4%H3hxKc<@z&sivst1_jjQ%)5KaB? zMU^u<_!m@+TnK-HxNY6K)yrAZq{nfI$cvawnS-PGeifZ-n?7kTpPdsg`Wu`Go7O>spupM$RF^^9NGcU?V`g8ACb5wbkjkr~VU#mk6 zt7Olw_){U&8|vIg;iTM0YLBssfeD+)HI5oS)nL>@(Gq|Bz1zbCS4Z%$;eIk^_13fb zZ-Nm4153h6SltDRd`J{s=KD{mYC#DDpCg-erW&nQZa zqF4{=k-%=@XUSI`ui9KMa=GoMFk1V0dvreBBFa_BSZ#h%nzeu#Zv47~=2tUcsK?`9N=xvGDs3OV3*9oKktcl72 zz#T@Ag`kylXP1}}G#R?dVf7$C)3B0KNbF5v$JFXzITngluIO&hFSDwy!EIB~MSXew zsDpoaAM711QXC6jjku7`Ujl>+0>5UfCo9FANm$!(uYe+&V65+tkU85`e+))(^ymN^ zK;*xTA4Y{uZ7iV7J4$U_o;Wr%ygfA&)fuF`t_n95+*9is1I$?MQ++#ejY>;}y=G&FUlX zC>O8>(dv@vb8vk7P+X@6Mt33hRwuy+0IS zBMv;Lin~OrfeyG4tPh!5oA?NB%mB)Jb>7W>SHA~;HT@tJg9D?fjS=X4t2z60&X4$V zrVR)t0>Rg?mt@((_Dx(YZ^vL9iPpBv5GHnG;Ev(tEfp&56VthImQk2kmXuJ7F3@y; z!;^MXTKV8s*HjJ7M|0jYA?!#*-*W%rm&%f?@2<=YxY}v|Kk#rdZs$L^Q#$=NeR3hl%V_jx)CX}M+7#LB%nKGvdq z`UFXjU1u9&6x8Z2#_SYkgMn>cmUS>%CO=;08geu0?`vwb_1}N`igIwCPsrt2pD16{ zbg5#8OH#0SL`D5(SCSKb%QFgiOs86~N*bULDn^Ki-^nSy#0N`F8@Y%A1R_aC6ITkN*98e z$>fW!!;l^FHHDyp_WKCV3NXW|sU#S^n$WwU(o+?{j*jfp8@`Op%@TmsNmE9xyPjKH ze@j$o_QE73dgArT$E`nqL>_RQ9YV#gn5d7VkiRvU_C!N))XjT;a)ksoVLB7ZOG(<8 z7z9HI?W-J74Ebp_Msmk1(!Ac*qIHOA#3^18T{0-JHPJ1cFjjO;=38oV!Sx)2gHiW? z&NL0}XZ}7u08oPG(;a|zT3Kw&q4D_bq>+Io+|JoaDFFozpFg#K7};Pv^Q)nYxp?Z@ z6g-F+IgrgI{Q*2UiZ_u=k`3Ar)mJT+0N|ovr3A z;oPs=@dF;xX<@y3U|C31aUr(U)jkrttbz9;R@s-(xAv_ntZ<2W^A75{yjNP0uLG`l zsFB6pQ_8Z&`neZ>_%WN5m5G&0*4k)`IlFAO>=%R)ywNw=5GgL71?BgM5qm!v4_*62 z2H|%#<=vNF`uL#f?tlK$3&w+KB0y?izL40&KS|?d*O&RoW>1lJ%(4UY^|dKi40X?H znP}V~*rWIU<>AHxWT(S0TP9O?ZS;d|#e@~4f}pXYR`g?k-kx{_-g2y=_G0Xm3QdCF zL3r-|4F9+SNl9*fCU--wjn=aQk)wkitlN=>N;iuL6{7m`%^wu{J0qOlZEvs@sA$xw z-Z{yo3ANfmWt2XJcW>FWH5WYo(YOui81}7y`7719MquHoylll~w)-w`5)O&LB(<;2vJxwKM$%orZ?kTY+SMM=PF3K_XltdRCG`{m@|3CKXQ^ zQ+Z5z{7e5aG0`7#HD(iXcNAdHK%RbZV^%GEPKu0IR`rkUZ zYZQG4*2?NSHR3T5irVt+a9CGOt;^?&QIxEDDs3A$Ju&g+z5u+>^!P9>x z|HbFWRUWe{SQHZYDLfjw$IE-x@mr~g)qvRKp|QTSHagACwhHskhf~MhiGr|iD!!F} zIczo1QXQquL_kN?qa0Jy zsGUCwf6^2~AvjhICA_GU@LWLKMVsz&7%!1sll)Rvi_URrId1h0R$1t`Fe(}8>2xOm zA`%SucyPFI-APM}1tNG=ZsgvX!gn5jcZ!Qz$Z|KAj^JirXd5q8td(y8D#k-r#(n5= z?-_yd48KGIc9(+f;mSNSJ2J2H>S5Y{ggYGTx$gBC91y5?ULxQ*gg3M6^~>|~=&4X$ zy}t2aUJ|h@!A}iVZ!~tGuNA)Gn37RrSEiFE!}8@=VQI3nDHCDj!GoxJ@|)IwFufUg z-}F|hI|S3&dD4;;twK7Qk*?#&{Jp&7gT9^!cK??K9s|wj*@c|yg0m!OH4J982zjVR z_m6Jwr@aS?`1~DPRX+U!$n}V*sNu8qUvrns44#jHT6nT@Cj@=6jhQoqJJ2H@n<1jb z)Pna3CC+0p;MwSk^E`2NQxW=q84C$c>|2w%aH;beF@z95VM%12bFQ{e+6XK`yDxW_`(s%Zc} zLhogcA5Oy@VZJlbbp~mCeEpa~yS;D%R z_`er68?Z6pcqoch8orhJ)#!OmprvNBuD0>B4S7ynv96}X+UZRb#FJ^i#>qDY*7MAEqa8Q}vX%258p7b2`E zj2j(VEeBu~9)nNq`tP`%a2--IdruTywK!Ri1aHSP`OX{Y>M-A7#~U@42Z%1zm8oU` zJAd+n`D1Zyrf$QetjTY31>QJ2!NE3hE8<{nK0_k@Srfrr1@^uPU$5`3SSxyJ2 zfBGC;8w}l;DlG#yx6nXKQj<69OSEFLOv9 zaNc^q#LP`op>lp=+23DN{+PHQi{!0IY4YX5l(xy83``m}Gjkbom$cbbS)ocJJ)Z@gN_9q^Z-L+FI3Y0mi9M-YR-*25 zJHG5XDZt&y58!Jw$%j}<%}(Q_x6}qT5BTL4M`^!cc$6kR6Qr+yFMiM?G}EVws%rXw z#&^Y|h7c9tccp2)GINRfVF;h>Ha78d`EdMcEby_nWTV;D+TsaeIwGO0NS|6siixsj z*~Y%6kS^{?fZ#-=Gm_{zk?oDH*Gj$(Lb;JyQs~Pr$T9`2%U@lPL=0Hl;Io9=HhTVT zBiPc9*=fP{k`#9&;1&gM-+#?fhN3>Phf@dkRrlhL=1d}G+5pKU)q zC({O1E?<^5PAf{7Oof(oZ#Y_LRbaz%B@QOE{7Uil?M#~L^O?^=_@ID$yqkt2D!(#o zSd$sHc+FLe!5mfC7IBX;l3D9jFH_)=GqWp2j@+z&2~h`RFVeQf{#pBa^tP{sPaRp3*!J7y}bp=0KMEpEtNzn&3Z{Ww|9X>^0N`cy=+hlXN}w(&wGhT(bv znO_k#yu6{DDpJ{G#&Sx@VE&0}B_=TI_#_+>IUY)Q9Thn6mt+q7$D6t4zoXZKFynK?0$O67q~C)T^SG^jNcKssz{ETA?46yGAq~n0NBZ@ zzoFQ&Ritpc&`~&a z{R(!+^BsjiSj~7YCkpL-sKJQ{sIn8I%aB z%hO_l=>;6f7M)i?XEP7*l}u!O)Cz5ejSS%!k!1<^{)Zr#S4zwIN{CXOB5qRE5xSzI z(Wf3Ojt(ht5q?g82v!dC*~Ms@qF=Uk#5kJdQ|s2jqh>L;v$?4uzEJ)(oh2~&s#{dh zu~43e^DmVzTvgaEHj26-y*YO$6GHe1q!@(N3ZzUWXDF5|EdhugRbF06OdjiW6g;;} zW1$tPd5ytO$LvK9$BIG6L@Zw1juCU;iPy3SdfYH|a)^9?(Q8z&lu{ibw1(6Cg_f&v zz#aOU(?n!Nw|ks?g_Q+(9Rug@T`%fCrxhcus0GYVmZ!Rz9YNr*)WN|!0ffa8qMaph zL$4{^D78AOjQ8Cc+}V*x`Qt|+>3=4rizHFk2CfU{F!5AfIcuoed}3th=%%T-RuyQZaLi>k0ppQj9Sn68x*{BrJ$-HVceiqi$7{?*oAS(JV$8B0{J_+pBEonCJP8Fn}G%9EYcWsEhcuX^qyMWYz_;9zU&r{fX$RntVy* z7g8V7+{}4>S?4Frwi^FxJJ;YEdB#QLy79U2DeZ(tG9$UQ)e9VbRwwl*Q%w?F>!E|+ z(mU3>v@ax8g}6TZ303GGFGl5q~aLuG$lyPdv!cxWX8sU+K=&k%ry9Mw%9X zl`wca8%{u#&wUX8AdB_Irku8T=J4q2fs2@=s9NYpMSYDHOEb0Z@P#=my0r>6na%-v zic;{(U~wbjeLOMP78CxLE(vaEq})OycJE2rSBK5V6yguQ(lPl7d2 zfgAEqFe9|DI^ZpEQiTRNuF5uJmDvDY`rBecpN z15chmBn#(hFB4RB+9Ebd7f|{L80X22{}FdT6I10^FBZQfPHC~PB7Gv>Va-v0sfPwT z?sT zw0~g-o%E2i)q{`#Psly1p>9z4~YomL+XGAE8K9afKs{A#vZs`*U2`J>5LzZ7_Yo4XHIHI=>vu-XMlPOs~71)97}(h4g~;ov+)$8j1M1jpyc>|L8)6=+NsDb36du3GZmJ9?ylxNA3oPNa*Sq% zE}X%1eI5LrPkm%~kl!4*gEiT=6A)+Gyxc~(DD{a(S+o68Z(cEOh%Do}+ggQ9g(fpE z50I%Rsjl+W-&gWhiDZT4I|K7b8e)zP#y_22tVdnW+$8)GTsEdHzr*xO6qP}KH>&s` zc$%PSitpIj-a+r#L`G}f0R8XECDFbg$iT&!}RlHs9OILnk< z9~pZg+`@jOr3J5CO5JER`s}9u3B#d&Tn+5Hsr`ISUY*1EaH=qNIVGG&Ph&|oHL*!f zs4LchU$fIp0K&!I^UB$7$Q!T+sX#pABe-7_)DrhFJ{J^!T<1mJSx?urI>+Fba@`ZN z|6v~H6-jRbVgg8KxieRKm~8PSy%IHsUBLkHVVOqKNY&%(Z>Zs;na#F?uQk30%t9EV z;pTI>N%5g?^)ll`YPMQSBW+EW8se%@vOTX~Y7IZRZ#tTrpa4-AzV2<;Pku|`ue!A< z1u~rUVUg-Xl>C!3-glArIu~OydcRYpcQa>eq9g2}dS4T6Er? z(c;I+!_=Ym?wk5ry02+*4}vFC#IV?fe#Hgs(4**olC+D=cX#CZ(0$9EKe7ZfvF#43 z%v@-etnnlQ^U2zL+PeL3j+!ad!>?o7VC=3;d`}SGh}oVng4skSseYB?eS~Sl22hV@x}ONB7j;m?Mgmm4I4=2^s!fs)KhXnNX1^nSBtqiAqrl@a&s(bz zHe5!3>6n*j=i&TW_G1bBV=^42JPfX@h$o_BYBePJ#7qXCMqGC}RTkP&0kv)sQW=l? zJ^AH1f>zloBAlgE1;Rm_h`s{1I_xDG*)u#CiGHvAhb603RmxY>}1ho ztCC8%@0X~17iBgaLaHtJ==Wuw!7$w71GV{y&u<8_Na(U{-3vE1dLl6VQIONX*GNBq zW#ghG@7+?FyGIM-J&&Q>v^m;A;{g(7LJ`%$St#pW$>{VgRwL8eS%FCL zPH`9$x{Z=~2aTz(@HV88g|gHnO&4({oHASbG2XB>#PXzw*!$ShbPNm|b=G$K4^Eb6}V zey|u^V6<@qqTy3c43Hn2Ukls~cKUZcTp1#o@?Gc*t?$ zvTR%ZZ!0<8QxRclvQRSyv}T_2L<&mt${a;9*0khkZsXr5puUMCEPTFnB4 zo=h6pIw5)nQXQ!j*fTHVPCd(i+n6pnE&?XaFRAJ;{&@@shF|AD;%eS~a2oj<$0%$` zpVoO5ye^PIke+{mTQa>dOrk+_i>X!oW)N{{2!kyNuWgO&#!8UU0E2`uyy*}#Vf1_Q zSwf|&3G?)zlkQX2cnYX+5f6U>{H#o=$2=)XP?~>sOF6v|_LE45*7-4icXoM2K3uK? zuO4}PE95QO$sJ^CP81JsPHT@FVFV|#PQkLRL{F6{S=g^}B6U{cwt0#+xOmS5OY|_n ze%p>z$q<8$N?V7&CfI7H6DFb%Z>_C_bzKR9Oz(Z1lD2QV`r7WUWDxl*ST>eg7Q$zV z91h=-!gBP@uyKZ1+mu9q`Gy{t)Hv8V-@CzY8OjVfrgO{fxa70rfeI2W;f*C)4nwg-v(Id7--o8A*d zee_m8cNO!apcV+9sU*PT2Wk5E#3vc>pe;YmX36-@QQgof%{b;<)@@&6g}p=q%)-** z)61!mw_@+m00&NgQwYQEjFQ%4J4BLlS7hbNF9SqYuE~uJid3&Pi!bD744Gde7_vG2 z$X^0o9153iFXtC;{oG$+8++A8KyKtFQ$Iwz7BCN=_Cq^s!Uij~2zE_lTFS>BNhLVt zhOteA0L2q%U3|~-(oUuW=W)<^Ay1J}%)$D_(uj|Ia^4?*LK4^A-mnU=vQ6X$SJN>~ zHwy|Fb_(WqRFwK@>w*qb_k|6QU}ah__ekK2O_uGudK$k|s|)&~OinoTZ8a+1>AP+a z@600mqb8rk`bjx=@PUH2`eY{b_a>HO3V#%>xg{I*4i4$F29t=u@tRcvz%RJ&+PeE2 z18`ymnM5^z(*+bGji8(3`hLFQI^6Tom`)}s@w2QsYi3Nzjp%qCn87gNvg>BhQ;9_! z_;{jR7ObYt3-2ow7`1VdlGU5RGHu`nfH~O;@{BLt?hk&V&6FQ*!?QJ^BEGxp;C1GP zq5$o4sP-K;u`YX=wcDUp15u}%d(eX!>t*llmv6y;3opM8;WF-&->F4~?SEt>4uOOH z^hh>chR=5%d_{XMH+grGYujB`fc^HY9(3SV5^*QEr`){kP%=HAw9nHm%fV{_uJ}!I?orcDlg%cu#K=Bp9KzcEoe1fQXRG^ z(<2Oh&rOQop`gpyN=F*v<@dIadhRj-i`ol+QNOcaAw1W^^m~idFfy+wH9MN>XEXoF z^3SK=WR(pL1y>HkpHNaa)$SUPPR(6XH@15WveNw?tSnLIXV31>4^v5~D+Nj<4yE*0 zOTvGth-lZxGE{g*Teig-v3%Hbpt&==>%9B&k&l__M#GE;;c^SJJsNHZxO?&OnLYJ? z0hWjo7 zCQG?rrs%n7(CX~Th;?XzNjRP`nMPQA0?Z*qwDk`IzfIm46_`PsJ%dRS)idWDq^?x! zo~(u2VR(d^ZG@@J5(F=JYZ3i|fTVnXDJxRtR!yFVTAG8dj0e$Z4`cjvGe2v#6h%n% z@<~HYK!eoBOgJ6yZ5j0!t&u@X{c#+a;u>&Qtz3tDaJ1&{G|Qr#Q*xIG*Kxm4`#TC( z_NEjctZMv47j3V8_>Vr!?1)2ub;<2mzxz@6#+ zvEI^4fSe&U@7ty6G2ER7Qd@-sinoV&$Rl`fV+#mf2Lk}ztdM<<>@=7#&7ZJDtiG)A z^H9fOL?5B<>KT6$rBoU7OBk#mHk49wBTjdBbna6R7i>z4jTs5+AdNMmc^9Qb)Md&w z>H}i&sz~4Ubs~vNgq8&4Fnhv(LdzN37u+U1{To%rgnS=>YiZY^-uQUe#q6RosRWNY zylwG7{_u)!)X!*sx(nrkU5?m_*WdS?W+e70l&<#*38MEk5-0J=g!;xj!ap`K>ufHx zPOiX=1olqAXlI+6B%!dcU=7W5TAuod**B&`Z!ZITrs1VY`0Q)N+Q32lw7g6)Y z#v-bya;m=fS}J6KH!@xd=zinnhlV!_SZQ`>{Nd9Pw(Mjk`*t!Z%w9#z6YEeNUHrnT zmYj;RMWlrudE}!f2Tf>y8b6hZ+c!Lo7iUqm-FQL6{i(rj;`y|xmAr&TPJ&j@($gG61(IsCIUTv$W8)b1C1El<1HsN{Mo`lp!;-e^qo8#4CaUZrA08^9Qt^qA zSr2ic|GuGN4$|FL$g7xP(r1e!E6V{<;y0>%*q_3XPH{N;dOf^<%+FqXW6M?FbZMlR zA-T{fenU?}(T$_f9o|zM2s!o_4HN&E)SZ5|)_qJ0@;#o(W>#^dNVr=@omlb=OmEwE z!5H_CD$p|O?%*HCurN*J!{m{a<*fPoqNxlqYxd9#2O6G(1Y!|>6WEQyp+foz^ALB+ z7#YzqSaV7yPse> zlIIJ8sxpQevzwrsEP}T(Q3~JIUm;|hB0DSVMp`Q#zR$UTkgE;S)IHYzz@fII`INr5 zKH3*7m?hH|GGC@mnrSPh(@PXL%+OkHa-@*ZZ5Q+aVdVE>^XqpS!>k|TkIC&ny?l1cWquBOoiuC*uFZu+U z&aw}3{ir?QNH^;X6~rh7bf=gXnYe4lAjGb;Q=F!MM*QfQN|uRhe(?Lj_f8zJft9(3 z5KSS_^$;F!89h8OvrEpw;k+Rry{dC%N{U2}$A(M|iDGKs*K={gMSC#j zTu(NCo3(znA;^ZwEn>Oe#i=xEtD0@YYCA?bUp{(_i8}iPQh1KrzAjn>Y|djmtG>%& z8rLrMenVd@|3%>+f8l-f|B$GiMcJ_Sm4S$b2$(6;Qzf+Q<)s1csb;ib7|*^g(Pe=e zGF`aDh}btF;@liJ)0=&Wx#Pf>o))|?AdT~XMX!nl5{}t~VX$ttSf12O-d@hGvTth! zf&39BgAh0JD&d)3Em&OOQ8zhYLIwKtXT;9O04VrJViU!krr{obiuG42lsmCbX*8Sc zQ#0Lp&`Q`8xt(}uM<#Wr)nl3I780mkjp$1vvCB4}TC$MZlwrG*-Wa_xZz%!eZCAE` zM_f?c_2SW>U2}FaPHg&3Svhe}M_1QgPINa!19+^cV<7AyoE+r=xr_8Dl!hYD7E8wK znVjP$n}2tZai!X-=9=JzVpkmdr2T#Zw8u3UK2Cgz#z*MHW!6C4hflJ?VwdBx(U+!4 zJ_uzPkQ$I;cE{1f^J6uzV1cRh6)w|%AD#HMM|RwP%{&v3f5Tu2*})N(Za;!TE!Fi@ z3a7|b5Tfxwp~vgtUkUiYR!dn$`qBo$?0|Ub$hnU6ZIY#`yV!F$sqt1F0-467BA~*R zo8e6wCC8m*&aSFKH-7Q%F4RZ*c^n##@#^L~{p^miTv0@$rwvj?WKU|z2x<9$E%I@S z%-1Pa-a+v^sE)Xl4Mn|1fp2eepB%A+;&X!RoiN)JY;`&|hWZvq2y}{_Zw1G27d??C zf{0KTt-awtd&e%>?$EhNfoJV->r*)n5Iob}KpmCB&r_Y&MI^{Zx=Z;u50pmfo6+5= zS1xljX8d?#g!OPQ+a@sc`|&Y<2hG)TuqXcdb+iw@-M^$$n5Fg&dYq-Sxw5bi9W42r z#L}o>beB<|B%sPM>_F5qHV?=6yQiPBse}7ABB#SyC>t+ zub;^1W_3C&pk7&GWKCzz2Mu7@8+(lt)EthHlhd= zwd9wk98&!Hd=zu#(U8_$%&|{b5)^94vBd<|txB=TEAG&ln2vs}AcC<2Cc$?X6c+hA zvtESSSK+=#PVIXhk%VY?O3TP#?%}$9YK_^L5$qWnJTcN-zc(9yaZ0LFkuXhLqhyIT zcMtFS7WK?af6qRMUYq1IG)?pk7#7Lwgt;AZ*A8o@5#A_Csg{xEh%9Eg$I#-e3jL{a z0u%)R>k*Mu=mrJpVQ;1$q;;tWkfjxvm^%7P5F623HHGC=g9=j zy4Z&!0>m$lGt(A-;NYp9Phje%kW7@ZJ#m)TpFrU1FT2AL8~s!X)=z>xd5N{W!-;?H?DA&{rJy`>=R>x#C&3WTg*X zvN`l4p~6&!gl3)Sn@=p%mSS0J*w~U^)Re%sO!jt*)7QX%7=fTf(y7uiIm=mKedPc& zQw$%t&XC#Rsg(W-A4%RhA`)U~wa1_uyT`2ZbLbQ_%Jp_kZYb>`VsvBOcEjjB(*;N2 zBthf%ZA*&POsH{nTdt~Cf|pMYIW|S75ixCQ*If}pjAXo6&n+Xqt=j`y>XiyW^8poL zN1s!Z&TDRebbj5&Xk~~zJy&Bzc8X^#+rCt*#M9i8pW6pt*c#ou5dZEw8G$dWsK3x{ z71Z2v(-~)b@Am1m<)Ds%_Z1h{HTYsJQBm|~lM45t4Y5}9dxT?neTA~XlzN@clg zA#hqkjGpOAoY=8VOs!zZCkx&!l?~F!rwE&1Gi;&lz`u4Ofg8nl7?<6q{azm88;!l* z8xNkvc4hUOoisX;0jL@_ zRpWnuayToTgSB%6*2}}at`vfMVei%?aWPdYDlMm-yaiGw-wY$k&J*{`5W4YQP()M- zOhytF>&g-L`WewS$Uq=(ens{_*(gXh{AHYi8jz{`^txsxOEd{Q&XKB^;QItDSwzjS z!lB%Txa=X*qC#U;$%6WRQ|MQI!q@f1ZYrD`aqw=J|* zhsz)7h0|htSebiP-$zQvE9Nn=_{sWyQ((b`Jl1Vuq4Jb?fJU zAnh~FVuez<)5`DR4-ERwku(UJ8BDqu-Hqi>)2ZsM*qWWqwu2>)nT)^hAx#rj&hH@T z6{4Ol<~@uRol<X4E0`sv`}$$jX}%KaW#P6?B-sMVB#a0uz5U6&%G0 zU-l=S9++zB0?@h&6@H%kz_RQir+{EZhZ^?R)ilVP<%C?_+6ZFRWO!&f9IpaQ1hX9~Ntw^|CcPlKR$WW~1udX4n1GC^x&T**mbrL_oS%g z2w+2L5F62LxTgw!M)@EC(G;sJ<`MjcZafPX5Zi`zi#gy67%=$L9lB(I37&#>7d=Ec zgscVtGMr$0a+y!2K9kUr1WliA)`Ncf@>+|%4FP^C=MUivKgbi=cIJQOOpd6osu!0h z(=p&raI8$#)_?@~vH>d^44fbY0d>S%G)}b&n_6UafzyNn2U}x>ohKy!P9$3aiLmEG zLJ^P82Ifkk=~3W0<{E$5ciK7U%~&pFHwHLrkh6q$*brE;qgSjA{>8A~jX_3qcnC zzkopnFC>CTXm)}z9v_HKP|Q5iUXdC79;IVPxvD0>`frCq7mI%th)y%q&KF61CL>RF zzFq>?+(r|~db)$qS?vZj)rU=7kG|>z?-NZY39?QQ_NXzc@K4~93Jj+Mu|T|RkfY6? zv@~A)Qs7WDgaaSZH;@6X{365Zz-O&K?qO>rKm!e-?c^g~he9{-?A+p##cyjRk|y{) zaLMP)XDlo215kehEg6O;64<{ct-`I>W5kw>8e!vCUqR?__LFUFaE(N4_FjTJX^fL= zPMZB3b5CV!^Mh7Z0hT~{))DcBjn~>Us}}yqJ5rlF^%g1H<{~}8jH;^eU#ZG2D}8fq zu=6EBxYH|KAg;Xm1WAjC#O_H&%iO+&sC6{HDV=%ca@>F527nC?b>@-mfm$Nu@M^^= za>}d}=x$3DKICMylQCD0&uj4Kx-!Ll5sqQybzNGyZD9eBX5_OtC=}x9{LdS<-coZ7 z$w}7*9L}6)6)8osoICc=;ni-UOY3{2v`GhU85#u2t)bmtuj_mn35=d9RmYhyxCg{*%G1zrKtD;f zxSZtCPny~#(pa;mH1q#>Bv*@|2b$WdlYM3-#-oS+c!yNr4e)iGN@<-PtH(xQ3pTB?I?;m$t;KUJliv>!mKM@nm>w7V0 z7w(0fd@ZOy06G*IRF?jf(v4DM?qeI`48iu*Y6IW6-xkbcD#pAm2-ZvA!z2X`wr`4Iag+-yN zPBZU66z%NK*e{uN+a??`a^$flFv4XNF|$=l%v}ep>K+I>rwY-$=(1Ea9K7Vs;D89@ zW@MUo6{-q518v_-_k6sabav7LWX^fcmei$rV)&yE#HfBvEC$cOMpt3djx zWzmCwiR>VCLlc{IoO~`!&{$l|h5n6rb)#r@)@GFB-^|@gU!La(gZ<|Ols0#Cb3=RvxHE;U zlo7+!eThFR{@iS{w{2qr{>+6g#o@(Nxht40SWL#u7Fhuy2or)ERm$U`P zRL{#)=I%fWzwjlvt3mVZNrfYW;7MCEhs=p;-+H=X{Bfj&8_DX5j(K<;ZP9UN1K5)l z^F}6Uyw$`;b#Z@^KLDISvJyEq+xOPsz(dV#k&KLIG6J#eu~U;6HyBQEV@e z;--CG9~sYfCTu;)AXT2^_cWIM(zTC^6b(XFY*tMN*>-VSv)Fs69}X^#puZwBA#Iv) zZlgB%n1IeqTYy|VRPhq`svv5&-q*kk*`^BXx<9Slq>d*=HJalZ;*zkz!FJ}5kTJ8g zNjmuUL^25Fx~UbI^*wg_N8x|cq<4Sd@}&07QI58JC;pV`8RUBD;<>!ztLE%z|LKc` zm!?Pz9?#HmD-lbyM@Pbu^>NnV?TG>T4{OT*3ndipplnS$mTyLduJ|J7ey(g(rVh9k@H$U>-oP zkkx1IGFYk{FVllggA!MX8VLH*NOR0Ab=ov@+OmTqGV&y5O7*RL;Qr&v*HtK_!gfSv zeF^R%0liHGW6hYug~^8IxER;!`{&XF_$= z?h%?|*(u(GQeendn?rk({#DnUl|n=0o+&!1mvF=Z6n|~Ay;I@Wb6jx(|=vwO99VrJ0s3J^coiHKGs}$vdToTnw z?f@NXLz~M>J9w3>x37N4Ex^1y5N37m2zEMQ(sqRMK+F#NP(wfiQe&^(%aL+ly&Lkr8}n0PwMT@f`4Y$B*)+o>7Km!`O?l>g=L3``B$r? z|6AVy{hU5k$?=CULvbiVchMOZ@KGL*5plDr_b1+4^w>RbYqKjMoto5OkfD(k{pRhF zIHfxZ6mR6ZSriSe)XtRXG>p@GomR7|ivW-5gN1%C6fG{Ot_$(voL7lR%6W(HRv}nj z7JvAz{sks#>>u)#$;~<0efNr)8j7SgK&!87a(8o;L%mocE4u;gtv&%Skf#Z(iEu_B zuH6?5&HFVAp~v&>Pan$Q_`jam_W=|*>9_+e8AhX7C>$x(tO*J0v2xzTHqQLGrJCvc ze$65AGq3>KVkDwiPR$C2qna@J1N`kB7JodRe!X^qTMm7Hm5G}N!Wc|>PYvCqB!LGU z@%8kpJ$nSBoA~kQK-FnoaNJCnh)RM;Rnl?)=T;%eac=w7AHA>P7k*(%uQWXW;B|b4 zd8|1gM(V2Q9u;070=nq8KxJwHAin7k+EiI$eJfzcqvM)PW75(f2M{)REI#%ha(@ix z_jrYws`LLw&RYGU3i#}F9m2WQc-r*>*+8zKh<3gQ90A!efF(+ZVBHw*y>jWf^lHr` z33u*&dyuLQltOCnEn5LxQI^hk`jjz>!cWy`lV|cmxi4`UJs?aGdFSO450M=v__B7u zUihcGGWXJ(wUt;D>LP8gtv1<`!+*Ye)Fd3VubzFrbjRAYF7o5tTFNM*-s|YlYE@fg zEof}8@ZCJ58N4kvM+n8DhUG>RRIB=n(ze^YitMpKz1bT&90MagH@|?^-O3}xLi~SV zFLYG5msbST1nHvj03$)HCv^{@&l;IdnX@~83}u0qHfS_4z^h`xu-&L6DSx8(oln@( z`)S}pUTac(P9@Te-bFt5q~M&wFU~`V*A>C_Xoa(Cv^D9-fjqEM>BZ)beejzYf}7$} zKZ)~$(s02sC=s)7fsX# z_%%6EUfn&W;R(wOe9?WBD}Q|@B*Vr+T+qe=HH}v(>Ii+OHi>BXY2gwJyMOUB6Rg~e z53dAKQ@kYf(Oop=}11-ZdvQr86euD5&&C z#1#;zLe<~;f+MgoC)My^)!)`{CMqGhzJ;CAe6+GXE5|$|U0)em4Pm0?&&O?nVQ9E{ z;yv13MBS2AYdG>$r%V6xzN-6A4xrK6ar0>FCVMik#thLMi67HtB+1>70rYq%ULS*@ zq~7RSTF@sZ9kJl-e`fdj`ZwDS=i z8-|s|iu2L1_R=&)@FFD}V4FL~=bo40KowEgMN# zP_x_6k;l{#5G;@r|4u8r^hT0;gdOdrkf)w(;!)s8N9{ga+^vJ*W)kT6M}MBW?NR zz4sncRX+#pz<;8=?7B9&eDE)D%zksP6+6OB^5`n@l~UJc=2Ey05D;JNjlUu%m`LMI z3@(zI?>vAsrh(NoWt28RTOWp!;pofEtsC6EC-$%AxV=u49WTLDzNjYYZJIy@jIuPL z2sW!UW;zrdrkh688U*dUJ57X7pJDrF4^<)lAMe6o^XVq8itS$Mf5ernwzkI9V|>JD zEpnz8_vwlzoewS3RPC((8kUl5K?dbxq8NLl-rvZ7$PgYiWzdxR~qYU zk9-T@hL&f8(vIFhgG$c6c-tf%ugYGf?i80>e1C|r32!P=8J@EDyy?L|pUItj9WJ;> z%qEOo!p`ox&IE&g{E|)=M$4~=dctYcax897x+XOL$3Ko5GG(Ky%hGv{0R<}}IR(T* z(wj+(_R}_uq1c23)X{Qcv>y`fVe_tW!Y)S4bTW!Va>!Po+|rLRIWD&+?O@gGmMs1DWyuEzGUJc%gqw1%-W((Z6BB9nO*&N?s9b6VsS#z3}(LA-2~ z#YZE1ZDxOHv0{X~bsfh2!bPKGAs)s&g0{Ux%hpf~iU9vQ66m38-raDS(Xn`bGpvyE zgKa}V1ww9$R5sy{kQNBbhI^RQpk}vm1d8i%kd0K2$02$WU=8k;-s-~-WUDQgm2f^! z!IqUTdqLg)mqr8mu<5{IB8K>zItff|pM4lb4}gln-XRubI}n7`Yq+W5R--EA#lbY~ z;RXY}pO&berQ15t$U3er`tUZLix*bhk-2EeSygM-AfJV~aU2WDctqXNVy>*mL*U1{Ey8_Cz24rlOevj{mG{6dh!WK2yl$r%}J}*?+tYp7kzGzOM; zA+PrA>Z7ayuKv1|i)BK$waoFN9jfRB3BR43@3C&iaWFNL&j8Q;YVMA2B7@M2ajJws zJeQ;QN80?g?TwD5W&c!CHX=edKj|^<+>ANJ6#mi@L6}L7eZs`v%7un`&Q`M(aqCjCTjwR^$J6%$=h8_@+hq zG$Y)BlS~N|{{k~JGcY6Cwn){ZcHvJ!my^~9ILJ^Ok6fwm*{ojbQSEk+ zSY%AkV2<;P+th?$etvpZf4Ek#B*~|*$H zK`J`O71%HtIqZV7No%U5tw+W60n9w3850-$ml-~a{Tk_?A-A(%13XpWdD8~4-e--9 z0dYY@s2G4zs3#HA)ZCEta-cLFZN$Yw!tsr=rysm@=fH3yi#i4jdr)U{S8ue z;(d%$NRUA~gB7FT1yU9~7J#W9W8Mf+zVe<*WwsjOPpM&h6DRl#p82vyt*e|X4a#?p zt#eXw208pX(!;iG3tR~t%}vaqh4;o)}g>_(D9R#LwFm4mrL3a=( z8-C3StV6kvgS-$QHLUcm2HjS90Od@qw%;R%3xR}_ZGnv%%u4W6wJ;(*AxdXRl@$bM zamrHbgEbQt3q6-Y?1BzRCB6d6jZV{j=mPY}Y36J~-+ zjf&`XOQPlgB?%Jxh+T7tLCSY%ILZ>StHgK8#> z283esXO9vr+k=H>C`S;YbM65yg#x5t);K)h>3~Y%8A{Bau|afOd27t=5n(Apv=EGa z!VU?{9frzQ8Q+LpynQJ;kW4@!LQ}F#IGPhq2SH^wDOc(skrZ|&t2C(;Ht479B)oXI zw~$c^R458aHcNVNN%?{<;`U0V{$cO@*j@U97Iic1{-xN*eB^UKtHvgnl zY0-V$xiVu3Y-kZd3Tihh0I^6HG$yv09LwTPLM|W%6u~Hk!)KUo0i)&9yj~X{F@LMh zHzx+l5v;EIVY%x9VsRZ>5E!uRm{IvnT#m#G@t~+B41wQe6ErZNgw=a-1K7phcX%Vm zHkR3HzOozGZblU_%|eo5fO(*Gx-#loN!5>Tqp3um@q`^)=C2Y{r{L);!x0w+?; z%#NVK`3Zpog0*@SAl1WlUJ@aaUX;Zu1!Mr-p^dP}kAcNA=xk;H@~oZ-&_AZwm#`To zEk?AWbEHICnkzPIi|JSZ2m8myLSB|o0RSWXH)3^gI8sRClw>r+a|39xy>cUHj50qe2*i!z^71c>-W&Bfa`_W6+eXF3Qi2pyeyxOCHD* zt#U2w8BMNfOP|^nfnfp~F5Kh%4ffA>rO$6o}BN-ISv?JNA8CPJKJPmZKhXY-geDXDS{ zmmrsUp;19opG~J%JvK&@HKA4FRhp+E)S`FWv&tCribup;&;nNLk%sq(n1I^xO5N%4 z>u=Ty-Xp5B1Y~xA^LW8HKAe>Y$(Y5FLaOzsvuv$}ciOeI6#L&CIo~~vUVVt2!lOU( zz%C!(86v0V9RC>auobK)Go{|g>fF?3Lz&S6Uv@IWUa1kwBg6Opx4_IFjQ8z>8wR?f zce==3)a=^GY`y#o7Gc?Lhxnk?7=$JEqz}1$B|pn_%gM%nTY-E8aiV55Yph(MX><6l zwjWamCCT;+r|coDSSJQzRGF?*vB=yXZj~(4s^@j(C<=l?(Za}RQa>M1bs%X{ltZSj z@CI8_`2G6md*YV6YqDa42o*6o5XDd^Z0W0wGZ`X0k@redeT;z7;jJKrlTtJN7TPTV zQnE_mnw%A4(2z&0Oxyfdg&fg=E(Yv8eq8jq=;M^zO8%6pQ%5B2>=wa?kbIyB!(1(O z@}b)deYLkTZwVa>s@`Lq?*w08D@rMTd0Vw@yN`Z#;@Mj?AS3*`-z>Zf85~;v*Bx4z z{SP8@C}w)F9tp>*hXnFy4k)Ei<*i4~2#w#49|s5XWojp=Rw%6)CC7i8uUowgj9k87 zT46p2`8o*TcTbMLj2}1J+quH6mbI|0?ctW`mApTUSBUpE<3SioEyLfI&}O{)5RXbw zf&+%7r|?7#E&kl&BDm#uOZV!ZZcNV)@)Tj5Mf3{$i(f{6kpwbH6s_)9Fqng8o1~Zb znl>+T@(W|BMlr`eT%`tXw;^h_5G16R4qFZN$wifs28!{_l*>U6GX?I$BrkW{g1FKT zXiI7rPXEG!fJk_=$#bKXjN*IHv(F}6tt8gUV#%D*Ty1B=7wN2(rN7Be;JS-2l2sM= z2g_(cs=`6a6(Hrj&E|t!+g}|T_wKo8jH3i$80?Xo+$mc?bUWvOl+3lW^Yt^i?Y)5h#jSG#%}I8Y@8+t?I58{9giw?cMd`aSG>>}dQc~Ed;9Q@5NpjD`#j`OAgCLf%$1QY8YBZl$x zPc_u&_liv$!bCQA1!0@8e$ZQ%@LO5rO8ns3pg-{Kaj6a`;Q8t%inzg4ZdX7~MefJ; zx}I`$It8s=5x$&Ckf zP~gM<-UtA#9T~N8|1?ylmHA3ViVT2gdRG9^KD zcbR$iUmTwN(w2+U%Ct8UH;&L?&z<5zghFD`Bt`rl#Qj}_ILD zJ5AOf`v=I`-PP;?aS~kn&dUDv(Sv%c(bD)Zhk80`(NLU=8}%@U9WbBc!*1;8ge!Mh zv>&Ok54-+dz9gsM-5u=uLjJ^Ol?d99CLP@{2BU$=h)GkN%a0`=NOg!YcBiTXE$BukjBY=Pd~z*V`?Yg0 zzkMVB>f2{lPx|L<$mxPctkt%=V*Yhr{(!5|;TcCfA9^JFOn^+OmDPr2cIpwFfAV?7JGejW z>52VK{7p_7>KYs*Jgy0$_+}1;t>94)wVVW+PiLWnCc5pHy}no5e|1K-xPBYZd=>8Q z`xe@sXL#Z(Nz+~b{*qZ_>`n5Q zYXS2*P`5liHi)ew6942wH( z-?(@47a1ljpT)BFFSK)y$z&e;ML@hQ)BT*5L1%tw;q>!rHceC0LeaG6ET*1C#yQe* z9ZyE#b8gk`AFNLKw2Z57krWHOUYv*J7A=X#AWX+`R3W_T%00>HhHvdDyQNyt_nmiZkvi2VZ&7$>WBvE9B1`hR=ovw-=_! zv%GIzJ;u^~pS0`X=5FR;q<*Dt*MC87j~$gXpTXo!dx>*5S4h2AIX7SV9buM&W5wLzwG*tD)zNT>ARY{&!%nBP}kW8n;8l$d%{sVx$^zOkY*U<@yz0CZ};$O zEr}}k&K;W_8v}-YaVgqpYq(#Lm1GeB`T$FU#M?`EvO*0OMt`l-IIYLtR?ZhJbg%Xn z&o(F~NlJp&C@5SFF=fBHph}Ev;tPBl# z0cF2L@D2U2jUryelR#2`CLUHl{{F>~SozMJHdU%ogMSEb{g3>O4HZG)-}82+*R!4Z zG{ZNc;I~5~0(?}_-IH5U#%GD}tl3~o)82<5%|A}Hu|;3Fs}s&YBL z<=C_U{NehEENfBFXeXA#zNe1&`bNsSPbf!P(;*()^NI=acit*D;xD{Tw#58bSduEG zeZN)mhDSX=zY!JtLsBS@m;~WpSiu{ZayKIQJmT0<6vv|pQi0J076|bcV;Jr#scUf? z6!Kq)c>)E!L_A#<`X~Y%Qe3HHSnO<0BmX&5Q$pz*4(SPLVAcA1MM;AwTHcM;sMeERsEXQ^x;*ib zhv9OJPPa=KI~Kr{zoA)39e!ftujDYF1p=s^5Bk{-Y06PzVN>IcF?DkzVRUFwmfGAwr*H40&}3!ug*l2hc&AGiw9rFeeIE$ zUfF9%UNtdGs*VMI`hBsf8YvJ6dgXc}KhUgt+HxQ94|#mfKzvmjEQr2Ldw^_asy0%( z+f$ob(``^U#5M9hfFNs`pVKMb4KO_70`Nzj#=rJrZ)@X9H1nANAjH`5JjS_kUS{fsE_vT#LOZH$*6R#NOfBRGmK$84i%L_o_l=II2^ed?M z_>4&&+oJpY>yO0Wwa0{H3I9F6+Yg#-r$HX=H={l7L(Vlp(WBtK0Wi8h@NUgBa_zvK z+LG|bP!5jh_1_iW^3{We--(vB!TS<_PYRUpVI+UMdG3En?2l|%-*?;h#puSFtx~5F z`ENNNkG$i5F`{ns+|x%&=*Dhi41PCz;A|Dz*s1BGq$pys0kn}!+t;|jxeaO*cyY@K z)+zOKwfHlzn`N#IWCwAuo!JFpeReY;e3X6NZNUK15lN`N?mi80`sYXs4fBaXlHLp{ zL9v(bWkqd*D}?D;0~qxSNuV^s>S3A|QM>HR>-&wNntiO(r7jXfzpaC+mxZJ9a%DYt zAq8#crPg1ipUeCo3vfun?dve>yui?}UnhGksD*Vp)sP8kGe9M8kI~;gaa{ULZUu&C znaMYnM%~7FR|}xC%>5R-%`$(ZJ=&b|X{zpfqwxeQ0SiF^WI67rft3PkT60n ziWt)PY=`LWM`>SWYANbQ6#IYT2R>udDk{``Y*}uTs-QK&G_vl*w2=l_7u$C>N!rb7 z9GQvO@hWG}C4#t4$3C`@P)&~e2D`SLD~#8Tv*R7&9SOuo>_x_uXP(H3+NG)9RbXJ$ z;6@JBu_d%s4GMsBwtwLIKLe2oP~*BJV~!Y=>xvo1)6zf0%daGGv?X9!HlvN71@VSD ztxOTPc4lNMJ0@J&i4HXevex}jJI&5no>HrQS3#(dlmn_f)TSSB#pVz*zd>(YxK06n~AAemY>N4Y(XYkHE zKH+@9tj6twR*cLoTa9(vFixhJopDz)=6W+`Mu#7Nxo>qdK>s5}zEL=3Ghop;d~T=Z z)2$Fw{ws*}JElmEkt|(0T)xU6SR+66SaXFW;kPrN_1a1!r{Z!}KEG0Ph5??;t`SN~ zzME2KLZ;HKapFqksjKX*D_y+CQ=G=zFw{|t9*sty7Co7&3op8X6LeT)+}SP{gF{?eL^=w6sWm z;C2+!hDBr0Msuw5JLP7(ta7YM7AdE3tnyJ1t@Ar9slNb4PP?3yx?FYE+zhdj=_28r>1ut&qYeWM>OW2sMxmY|?AXbT}4a<_EwC39k1oDVL&p z2fwVSi!tXtG{*?Y$iFydt-Qs%( zaDWK!^O)GSR1#Cc{Wc^=lHJ0vGVufE{#`S0Iuln$KgllSuP^8RzgL<8;#rM~6=ctn)?5JV*g z0ShMs7q^%z;nla04v{LPB;UbRK&aor6NmWqVGyw`e5qn*yZ(c3g<%GF0D@q=1B`Jr z81%Rl!4%a^t*uBM4_Kxtmm6p1D@+AQ3YqH}16-|JbP%5~@{kthoLDRB^4hM$B0znq z-iO$n#@YGWM)r|vvZlgrdo3CB1{$UT6zy6H75qILgU%M-PFxj`Jb?EA@#2PzWfg9x@HsoF2a90}q??meFm zbcr^e%n&=~J@YNUUrJ}yo9{7rR?O!~IBd_GV@`yRGWR_oH=;PYR(#KAythNQ1l5rE zLjXq2m)C~oCEfXc_v+}9Jw-0Jo%8d3Hrrd4<|WhS>%Aa{?RMg>`|K#oA?pn4Y(fbv zW<+EyBnB-2p}pqY40~(gSnW1`grXE#CGUyFTr0*xIA8`PG1Ptr;h(ydqac~ZLJO7$ z`E3ZzjGMqqpTcK|a^a2#o-b}5x9MM{c8qXs528H8fA3qVTwhWS0k1sTsn6>~F;2+$ zLi9Zn8bK6gB!VcdljXZm>wV4#=cJOLr_ZUZp^Hy5;!zA&6_HHAP@S=gLRG@-c1&&igt}CQ z5AJ53Iw*DL=~P)SjPd|R;HM?Z;(dJ_ct7Yyz!W%Vn8!k&c*m#I5i_`;Ockh->ESw; z1$u!;yC`o4F9=$1mFm7qpb;~5zT>6u!#See7GFThrvD-Agm&0tDSefcej71hf5bCz zy~2Yw&cs%*{R_N@pE;eWWh7w@!$ABO@%geYV+|`!!uzO+kU34Hog2ExyI!&P{R@$H zAaPJmOQi+*xPx~kKY^n3;6qMzW8xn&P;NRGgLcgNhY&=DDzxhO>N2!H_iFm+B&W`q!TBe}>Y=d`&eB9g!eHo_i_P(; zdU+E%KZGvYYZp?d=wlNlHJ?uE+-tJ;}GO zMw8TkY@`(AM>o@fhH!O9R1GX%&|ex&)`0&OR(FMjvJ7m1RA^k>f@lm3@|p^0{{tUt B_F@14 delta 42212 zcmV)FK)=7^!X5v{9gtIh+cpq}@A(xxLI5^3H z6&r?b4ioQy(>su4wh^QFy3|BV0G^behz zfC}hHG1s|aSSS&MTwoR{-}#%kxX4E#X9^uGmwDYm5Nb?V6okxRBba}XM%X|0*P_ZN zBe;hw3|hF08ZpAi&e+>Ia28O4BN9WvzK;<$n%T+e>7pLnM z&?85Ak=pe=gU$(K4tMAlMo~V3rCleXhvHY^R)D35{KQ+EQ6!byfpbS9`rEA}&K9x1v&yFa`XnwBTU7pPyt?#XO1H*;rT>1oT|E41CJS}}*SuZ$ znUdW(?#>U|YVO)9_l==r=-yw0Zi+KS&>Sa(KA?$Cy+Kdc8X0f9aXAVyVbGE*# z|J)(#;aqkOS)ONAy?ZA`eU3*FX5$TVh}*TSHtG09iiJWi|flP$j31;v z(`{B1!>|;rqoKBR`!q?ixB??6J!4Ofqra}IWC>e;2wPr)DNRzaH5eC$;q74<_$Wpx zOraj(oDkVOwmTb!8Azmg3QR{5^2i?|itg2*!FX@7tn)-d6qBA= zc6e%k+2;8&Plph4_VXc>TY|htF!rwRJ`@RC^EsZ*>-gx~1IES%09v4&VGr~LKFCzr&t*1M))yv!^gmCt_Aqoo_eFvOF5|&+L(qIO1 z>Zi_dDpvhG?}5l@WU!JO)xHN(aIC6-?DehW4CFanJiVWj`}#RbJCF|T-1+>pvc;{w zE&>{x4EHd}PDe%~h`t<76%cp_RjIMk{D;emIPMhO6f}F593J2G_Att|ouzRW7i+URDdH!UG=a}7L!WQ+Zb>h5{E2h^v+q@!hr`>&Os-e{Ed8t7^ zTn*f-;jK*})_=N>8Wbfr4t%#7_%Ahlts3;LVTFH7ImGREN1WGLseiS92x-tZx9nDZ zz|NSsyD-Mhlb$4p6lC^O5GMvxts4n7q(u`@249hv7jp|=Ez4cStzJi*=l-?RdQ=zVHA~ak*38=f5f3Kh+y~Upt)=odaI`cte`>NeECEoUs zoEl>g9sYwxdk@;mQhuCI*4wyRVfDKt|KAgW)_*DJ>PvArfKc*afhj!f)OODAH33)b z`Fz9MDh=7a7C&BL_X(v)<=u8cDaC{;IHzj}DeHd&4YoNRzxW?eQ3i>V@lX@9Cw4IN6fy+NwC&q9jOyM1l?v+vVN;@7sfWzy?7|j1zC^ z#R7@pbWhLM*EeH2x*pNd^CQ~%``y{mS0~Dh7$uH6Hafc+8A`0yBcmyyT8+*wN54dj zFe1mXQZ#xtS&n0&O>{PPJX%cNCDSy!j!!4kWce1}uqau7EazGL^J0EJO=fUO88(lC_h7tc)RS?{z&00{VvZ>7Dxv8(=Eg?1 z*sM$t0m~kLP*0=k@n9>71Z%cNy&H2I&8O4l>Wz>xyG*Z>1?-TJ(euUR?TvpF(PVvv zYQ;1FqgD$Q2#?Ixwttb$R|#r2p$Jo~8rLyexZ#}WYTVb@R2ooP&ve`a2*Y?a#C%bV zkzJEJQE$#mOpqbgxJG3}kR-Oj=CvOIh?d@J4)#ia6D4f%?i5=oY!;W*uisEbaS>eB zOF^OSM~DMKTkipF(;ypJT%b2Bjur679oQ0MYdc=y%1Kqj>}k)YYg+4cJBXa8J<+B$ z$v1`0t*r?mq#%aXYQIA)uLy^AwJl%SO2Ip4jP|2Au~zs|3`7^v7vE>tMGnzW1lxnj z^LNflE3zUbn(Yjf1VUyVp?$kjX;&M9i`+b2Jvn?S``Fzh!qfz9$*fO znS(R61=)f?B!;mN&Khtdp)o*Px?B~pHc7K0{{C$;OQ)-OcDG29At9$_N&J z$140k3_tu}_-O@_TU?riSzD3hFd>{RZVeapRvHZr(& zJ&lYxR3jsY8yUG{Bg1!WWR!ECODhv|Ctzhd>|5-h*6TWG#X?o~c#laCkg%E>9<4Ot zQP3JbuY0`6GCOG11J@GkPG}BQ(!>}M^g77$4dJHM5OIkkwH*Ksl*rbdT?v(ccZ48E}Rwk|gp9r+iE6ADQi5|C4)MKZcN`bWW)1wyz33&{Gnxr~2*+!P`xI1!X^_YxwM zg*wZHQvO>k84S`Yqn!7A$oGzaNLQ9y&!C-1F2>wNcguBlJx$V!F(k(u{|$UbgS#b? znHux*jS+9G1$E!&HVHq%ww?4EvX5GEhR{lTaDz zlQJ3Nk;&MH$=l$$Q#s=xMX!ZP9dRSi9)(J-dAsxiBFWw z16Jw++^y;y3^K@YRH#FL9t`eLPVcfspSbpY)mQs!yZbTT4wFE$&3l_|)x`-uU5j(r zhZDgjbHp|r#||{et3HR&EgEFILj?2PkIT>@Ze#;*6bpIa=6kI27{{l!Y&5 zzD}~YW5J?!N-MtKBTdQ2H1(LK9@ErgnmSyX+MwLUV-EU%$U(M~gN_$hZ-kN4>G>p2 zLwBC!PSVwKBP;zl`4FFe>#we!byHIiIw=T+2P3SS*!&b{{Ke$YjaV%kj ze)Ror@puWUM9CPo(tj3UYAd73BAvj-X2gFdqi?6nV(<^?Dp^dXI3H)BIj_+@#k2va z$$C%EJz%5cqdzx+hnp-}6+&i{tayODnrteC1_nVbam>?ybOOqqa5D|QnH@@`b5udO zYoBZ2G0op{*uW_7o*28@{_}jvIUxai9Hlplq3Ls{tGboqp@N zPowC6#?5ZCRi_yWGfo%{{_jKH|G-|~6)3q~XLqYKzekjFuRg$mT_@8k__z36oNYm@ zNNS+G$}Z#bG+Z$d)`95G=*+QPMw6_%t+d2riiU*b_PDK-D^VrKt#fPJzQFMs&xWRP zdxCR2{t88YF~Ab4%pcOli{36i2RRB#Yiv({BQN?J`POv2S7wO^Fl=r#(yZ_kf zq;EKSsC!3`T>Xj@c=7TCwV`gWy1E9UC9z8G$Ox!={g0My-TY45eTe^p;&v~|&vBJn zclCxjfpgr1tvLp-x4j9vLP+K&ccYTd^l*~exV0j3;_ukzmHwzCgkBotBRe*se;oe^Lk=e4lYn`f! z$^Eb6^yDzJMG*K86YcJa_nc_9NQ;(#=wAOQ!^$}xT$R|X#My6w9hVd~Xh%2puY=Ek zyx0R$I7z`2^m@we$x`$&1`J9L4zt7%%F{n(K_JneLi6-L@rHkElkrd!lO`e+12H%_ zlfe!sf6ZG-RE+@`uE#^c2ocOcdEmAF%r4pbdgb2}DUF(CqUG?qcrGSX}1vuow!dDuecS|Yy= zf1&gu!?}PTI+MlZuv}8I2u3|wWf%sGvDwWCkJG{|+Iy5rq6R;ziW%`7sf4tYKh~PnFj3Vur#7_g;`HeF&gpHU+P_RB0v3YMKOGD z$}drxO2P#|6cChi?WcZoXO_P#zgETeW3h$JP)b2f@NVa`nnr_M0$K<-qhZD?LY98o z@ob#s2zMd%Q%w5=fDHly92f#tKPYX!j(Lu@q3ee{k4aIGox2g0^V6ske_}vCO2@Ls zixwzYv=x>LI!H{CcQapsL#P(Xqi9LUy~G}|fy|ZcR#1X}S`$Ct7kAfDyfLJ=!v{}U zurgM{L+3w>vgjnbT&M7do@1rRQUoeu1%P3$7DnyhD^E(og{6zk#O+ z@RYbXg*$O-mRyx_Rb$lYejC=+`?zDk8JCSxc#b0rcmqW3OL*=&TTmD~*xvE`yO zNXV0TO2!hLii=^;BvZ0DDdj;`N0FQWqjS9+I+v6lf3`pJDk_9Q+9k8l zg2zJWJt6c#7h6QQ7i2LZPOHc1ne})PFK7@tu^yMR%^XuakiJxjrWMs&9LM8=seoY< zJ`drC*i0P!o1Ov-^xMoqC(RM?37yoC-JK^j2sEV0o6}x;k+hD%u9?G zWYkIMWYcC!3p8S5f10*2ihE_iD%u8-f+FEWu614|_bP>9;a(o1Kh!PjGQ~1o?Q6}ygeOfXYlq1%4Dgn^Le8|Rj%;2 zU^tt{aC{nu->U^EL9ib7D7C;tgZgYS@G1ee!Gwuw0Q^AUZ>k2Mj^N;iMv4R};3yf< z02Q#DiFJsu|ec^Q*AC2H8!yDazR2h+p5uFJ;sdvx3Q z(aWbG+zK||kB4|)3+GgH+j$!6Dj8Vl+e)o)v#F@}fABEWnt0Ue^ZG_fH|?P4MWPJg zc+yQnS5G(9`qhGJORrm}(@pW-bycHa3BJz)hodxpfB?)6RKj&&1Cxy@NXcZ5*u)kM zs)PAp9}2hN59^VMBYv4HqRs;67YXXzEA|wk@^7lo(sG?h4@}Kz zc@QTZ(g4bUdIu=ufj}A{ux(*)g0E%O;YaSiT-gz9xv92|d$X=e_wdGz-IvvSBkM2o zud+Hs4GH5R!QI1_Q6CE{@)!;|$be$LtogQce>3|1!Hp-j1*`?EZGxN3dqKCBd^)Ex z>U?IDRH(=BdqB=%jo#K7T5!#5pkIfgTZ$ z1~PCeEe1y$1eS4QoN#CJ+xx068u0Ri^U(5OM&RYY?wSgAu!0nOgdgGM=5Xgag%?i5 ze_?0iU|k#z?uC<$A^x|epXNnI16tm>;4yAy4qIgqKyG9Nb1&Ra&55iR zT(*Dh%1lhII#JPd10jTaO6rbzVfZRjNqR+q3)7(XKzNp7J&Dsa73L^}zm;Vve<&;?S=c5cQAPB9L&yTpxXRqIt7?RD?w*c zfbLnXLq3>bgnTejk69+OWvzQN03$s@Badf@TRd}5>*L-*i~Fa;5O{dKa?WTl#J=!Q zwAq*S*T%gvh<4!~t&(H+5TLF{nm%&Mm^_4F^L@Eb@yUoF|378t3H1~2e-ZJvYVO-H zo*{!P9iQTk$W?%}+s2#R#SJ%s=&K?m%x$TVf)vNjxu8Dis)7y>U9nL5`eEFEuwOe^ z>=PrrbzKDzX^Ez(L4qo=50Y}4+agbDNlR*(Beidu!Zukj!VE zmx<;K>nkYFNnkF=N#Frs3&143IQJ<*OyG+v@oLXY36NcLd369pc7K9-uz`meCzZk+ z7fd>-4tZir2S9R22jaa0&DdCB!&3}Xy@!qEPl>vev-z9DBuDa$e^aL~F(Eovy^RwG zWIb>tMX)Cj~J?yr9!EAsx zh~0~z4HPwu40n=(f2aO%*I^RO;aQoP$-+w!W|ioEJvB5_Qaz%ESC*I)#+GLEr(^Yb z#SMco49_91|NQK_*cUfVxvvgYxd-rduOZ?6uGDzEPHOY|Ux&E=Wf4u1sm{E6KuV;{v+t2sX zx0USJacrL$KzlY>so?m``l}IYLiXs?YVyB%wQe7t)^%}xTgH#tsJTte1{CFW>Usb_ z?-Jkyz5ErT4(V>XT!VMc+g}1M{!$i zS3qc*odJY8e|kS#vjH)5pZ4zpYeUY-A`?JWn7NydvnMYojb}6_S)9??<;^S= zgl5@H$(Y14nO!bt@1qZl#`9k;|JpzJACq3#}t?OEN8?F9>emgbS%Hr59PIC^mfiv)an{9Q~cY`7c{DuIAQpQJ5&D7%o}G5 zCOA=lshTZ7hKa~}>5!4YM`~K2$QO(fmZ;BB(?8}ci?-KyO+IHVy1okuAW=kd>FG?w zGHQ0ae=wum&F#(LUeEEKU9HOsXSy-}3NF-o4l={peWSO__2PcMu%_@^y!+;7%bm0sZrYvFo>lBk!u#mhL~ zEbM+_e%p5t`kgxKkVNk`dizP&`#v__ zI?V`|DL(WrZ$AZ5LXiX>?C~avFSeC`-gGu#7@}$P7Ln~Y!@dTSYJeK7b=Wj|GX=L! zWRE=id{Pgx31?Zi_QjlLkuyy$xD}7lhY-=#JfV@UN_|xp-L+5KCSR>|eQQ0nFcw+k zgQ#Hph+F&8&QQ^?z~CW@L;A=B-Y8<`OT6y(>2VH2k@VYqZOGT_*62MzSQwdq@E(oB z1UV5Y^9bfOB6I?90k9k(oMc3%Juco%a!S*kkd-p1XN1%C= z^+)}n%LYZX+*%vDHYSv)=vBRc+}^e2dgO_dQIB##nCSTq1U%n0y@1!htjX(}ye^&^ zP!*s{Mtg_hJBNYc>)ON!Fi4C}X0_3AP~@2;S=!5shSaM_sE4Fb$|!Kx$Q-piYTwDEk?y1Cfc}v`1COPf)U$D zMh%+qPG~GS%o-(%sgAe5l=Y{rjnjyC!w@8*3mZx>hCIc)&r7|353f9wnP2bm*$?5wv zt`3=<2R*&H1&o-ckgleGkF#R4%OIkIt@1}98S-W0rgMw{Sw6JSQ?M;0GYB?xPh{UA zTJL!X;FOxi2j=60Ob8Y7YdWD#{Lyhtw%@zRQ@nLyvpI9exRmN$$^fy(B`+%D6AnpS zU16QmJXN|^d~&4*&I;W^)zP{t1U<&Ap7IzDRWM8WLG^>gV}8tk4*+3Jc{eIe{^$Gw zOqpkU-tU4{e46t1$78TiBRGY3CJ3SfuKnez(sPHi%AlU6A2o7^hQRlBTsrN zhGarQ3c`qBd{;Do9VuTpl&@*Heo0iHjzRJ`sz~6$(Z< z90rwMmPOTd8|`DSQ9`!w)v@747wn;~FxCNC8yOQY40~a1!|D>_uZ%!9Qr_Y$>AGI# zhU>32I9rx~y6G16J)^N9G7%G&@q><$+C1W@V`Mw;2|5N0(~zIakvFGIj>C(uM==a9 zPPBHHwp}}~CWP?0_n+QYQ*#yH5^s}pGU2SbaEFn~wIN$0bpK}^*^16lc zJKP8IyWFNHEr@b0X+|g#f382oT-2rMMoiGzYh*wL?KimT9`MU??_-xLKMP_CCF!nJ zc$>F>Se?5TL5Z^q11}}^m1tCSKohch<)yE$La)rATIt`I?__M+1t??e6<}zngT4ht zn;bPM2mY);`I(9lr{HY~pc|2C>dV20Gm;8OA$F@yDtlgqNF_w>+QhEf8Pp~R8WbOc z!BhyW8hlYo z>yt?;I;ZqAvGupQE{Ux+=wFg2MI!h<+qQL5J*T8?@r)eg>zY%_A3|) z^LfxvGZM4jo&FehxKx}DT0wR^$Nq@yOy+h9GQh*_P0whG!w|s1&8T7y0$e2JUpbN% z`NlO1OTB4#hc&JZJ{9$Ngr6gXAp~-NZpzi^Hhd`HWst*q0nZ%V+ag$e7g95u5oO!|3VCo?yWLfHHDUt1*AjB%9kvr3UGok1~fiQWF zx}XVo0qA7d$oc-k_!vB$R-pYi@b~l$9!MXOjAXD44?D!S%EG4rP{ZJqyU#YJdcO;rLO}pLPGoQa4H?i#j%bL*?5H<=zi=^- zz=JJJue%fKV>`EB^r&yU^$~u52nivadojVCBJLZVxm0Y{V3o=(_?zyFa2<3L!HC+m z2%iV62J8!v#`tyWTg^yE(r`Ig1}cE8Q3&2=jpMIRO-0@zm@W<1?L^VXlk{ZtNxuYr z(6k5W^NscERicZ3>TRLxm97h?zCsr|49PKUHB|>=gjeRDBSH6JW{tCd4!^{KBxzxK zXNk#5hW*~jih+eI22WSEV4$H;!F&M<0JOzm*<|WO1%<`Q_#Ao?1LRju8Q7QiBn-$6 z7U4$-hrio63iIM9%+t?=`E1e`KEJx7V-kE!f==dLllhl0Uq34NSCGQ6&>>>?e{p&C z9~ApAj|ydOWOH^OT16xVf_jo*012<{kE>pHnyR*>Ms&}5tANk>lG(c8EVS~$+hxOTS6k7?xj{{d~CNX3)!P!qE~L#Da{H!+jJ4k&-kSxt`{Hw?Y|SLhdvMUm785aiIN+f#uc z$)RnK!y+|`0>N&uae(yS_ifqU4yIca)M7!6Unz@hFZs zILg)&@gWxi+L@hX!c(219kYuexma9Gv`OA2QgkMl6b4`@d&aZ4EXh&vE*HFvPho$I zRe~!Rk1_`G0e=c!4h6#%pt?|=O1k{@zJ^n4m@N_U?> ze0aBc{`?#^lrW^!i4_?znJz5kH3+8Cg;g0K*9PmhKi_}2e|Y`z_WjQB*H>QN?)STg zJ9n_~%a{GHulKk6oul!K&GzR0ZttEwbK4st6LtIwyg{0fV|yg*v5kM+qlY#^Cv<2N z1WQT3{YPWUI=ll8r(+ut(r?B<4Y2F*50U{L4ahjf<3Hxu*B;Dt`|{!b{p;P{y~Xri z+_>$V-Iu-lwqS4m{kXGv|GnE_J?{3qyZt9*nbFo}`)c>;{`158-KR0(jbHt?`|F?E zpYFf7w;o?;(ILQdXl{SV64vurLLCtmqtg; zR?-ZxONP?QVzr&fK9FdO;RB5QX`vSP{08qFcMoodd?)>WFby1G|$4fYV~r7da} zt7(wbi4{C&s;z%nEVRs+?OE(mp#j*;UD#1|+GiJ~IJVS2y8^p*pz6U=)FI}0-74-o z6Hi&cxGyahd$qJ`H8m<-+=yD0t*_$j@Ovr|S}PH{Kq6GStGEVxpfb*kNS&z<%NaAs zT|SV>iK!1uaiEiJ^r~f1O}~b4HDwm__X%N}q+b&g=iqp;S`^G%0Dh&^{^KD}pst zsR{l)RX&y|OjDwil|*6RPm~&aJg#LN1Ecm~K@__`x@zz{&r(Y%=kw=cbymyt3OQ4! z?3cCdmkZc0Gb|+;qEB5|;xH8dbXO^h*C+KgWD~fW9qnynO`@6w=L)xT3~g$vIz!rT zjLFZY%bIW%tsc#u$!`Kd!%FsO|8D{f_LvW|f)SnA=!Zy8ScNZgsYxh{$GV1bbsSrg zv}Au;Cd_h0-Vo*rw8&Fh#I>|Y7tkV2lZxPQR<0cCuA@)islBbMm(orf_r(w{{^HT- z{~9;0F-#&I{mMv3>WcJ_73w(!Hndp0bZ<#ghkrR_)g{YScKV}xUfiL$yF0~QK6>WP%$d3O@3*p&o#*xa z+Rjc^C`go48H7#kjX@Ijb}kGojLf_MIe8U(Tc8~aD}xHi+|>r?1Yl)kW@bmApb&Ke z0bMNZ?ZkjCAYK5Miv>W@#N}Q0U4Md^nFoOaAPKSqIlVJY0mhyHd5{ZG&C>zI0-y%| z1(fWaT^Njk&hKoHow=nQh~`~I)ZW3<$nh9Te!G5@G>#EySp=*yE?lt z+B=yuI@tUbpPGfGGr-;6$$uK~esluafc{F1tDWh4I$bP4|1j{UDgZf46Of%V=#P?w z{Xdwt@2PxOdZ)YmE3o%Oxcsqc^AB-=GYIq_ZY+S#f9c98DaiqBftGeIAUmL)$-AHn z(8bjmVDuO5{RuLq`bU5ufT*jJ(;px5|71D+%gsMS7qNdoGd&w`Uw@$ce^(4>=j!bB zx7_^aX`9&FIa@lrIRC>U2w-Mu1Nsxa^Pieo+Wke77gms#5LZ=Wkb7@DI|h0C_w3j) zx_G$!CH=>qu$UY#fSZ{Uz{0~0V192>aXV8{dt2N0sGSl1q)*K9Jx?z7PM%EvyRoh9 z?A`6W{||Fbd zX8$k9{;q8QH#R#bfXM;mWNB~uHw|_GlhfbeyNJub9lX19asQja_Y?5~IsJq1pCwTG zvxfefFXn&OF%VD>h=167cr&oGvH}=bx!+64_P%LYSXjAy|3la0AFJ}O!F+F?f8sxT3IGCmfJ_h; z=j=`RLab67!oK^7=TH2Arr=>bDZ>`jl8J{}%$R7y|0tHbMG6us2y6<-q%5$Plj7C) zOAfRv(xM2#vUy!=PAVV2HdX$#4fK=u!$%eu9)HQvU{nvvlwSz=@spJ1P$nl&yO@0{ zvn9TT2%tW4B+Ap)@esrM>kaKPg;eiH%gQ%s_re*LMocFgbdLp8ymtJBiFR<8w+GC) zXkfSSBJH$MUKsX>42(lp2gZJxfd#ry*5f1=$}5I;WH+5KoypH3j3uC$S`IWO_5d#A zCVwlJ2cG^saxmLHQVy~-XLwQx9}`qIrW?_#sCMuGZ9FT^V3M8uG3obZrn%3m&2B6d1aIPsKd3Xt1-%tl1)u=!#=zn5M3R7>8rN|zf7vbPuwDp;yKu!ST)a+Fh z46eGVkaDKREF5udC}l4^aTBG;F>N%b)(Iuap8Got*ptWGc_|IUXH6CdtGcrn(&4qHh&cj zu%}HcCtnS8_cN1kr6;x_1eA4H=Q*ndXA6^n4)|x8bK>%`D>*7cDA^0$)I3^m2Q02_ zbG#n2^*_9{wSy^Yv2K6I&USwhf=#{DJxifFYNQcNNHUg)KIT^1K0l|o{X7B{UECS_ zv}8{!y20hVWOLR$jG-w_VGBUGTz|qF7$uIFyxV&6;$!iiFt5h2Di7tWYp;9LHjhj? z+yOW;5nx0dT6PYUvnn^PCc=-Bql2H~hzyLXw*-mH%LJjlo~hj_9cUeWQPQr@Xu=X& zb0(=^MuU7Kt?sEjVh^hUpW77q2o-o47u@C9qkHZuAimnZI#lF7Ub zIn~gN2VjqppXZlz4~<`JP=C8O)h#&9lF194dAOZtA%;O&>DN%h-u$*;ct+KJQ#Iu> z42KnYkTvk!x)F=}aF0Npr8%empQHj>>YcZ)oYKEL5!`~mACIkLqt+~nr1@6DBi<;^ z>@$A~>R><4#m?@z#f9^nU08!2(X-j_CLvYsI0%vn=cV%faL^Y4#DBX^^LK(={gsFV zMLnYSdkMR(m{p_eEtEbq-NJcD$`hv4Vd-Y)jj>hFC6Xf;bOy^#R@yk^1Uu z+5yH!wFrc7ZU|j%E3ZPyT5PRs6W)GHCJinxbw+ma305e2o`tXz)VUE4QUwWQcr8><;golW`Az1G!nfxnw^!ZHtW_V zSy(M+OQXpmTNHsjeXS{p%!Ca~V^M@l!$@VZI$N)lve$aOR0*lC2S%A2r+AQdHxr5w z@<-py+rkoZN%hcO40s-5U_%~so^H*h>><7GUg#U-Cam<%WMXp(%|^iX%EEx#-E5g7 z#N%yBj_Rap+>u)R$)-n&(6 z=b)&=m|i^c%UE$S!%CcP$!9Ao8{v)#q10@>H9Be)yMGn55am^#n1buJ_GJe={K#Ez zAZNr(?fHe&^76=2dC*XL24QD@GEt2XhGkl^I$qTZq*>oI=<+DGkHsTsZG01##RqM` zpZ{#AWfy}FW~ajY06ZLu6pR5aT?kNi%XYi989J3=h@MH$BM&Q5+MigO?#Y`oz_`>4= zw`k6F9ebRfGa5%(=5hwF;w-gI#G+=1(y|fABY!s7K5obQh*i(;&<=BM7KqFHz^e{p z7c4%@B1tMe`0`7i{wiN&uxI1ML!#{G8GLm=R5sK}h9=_Ofc(oH4y)`5O|&jnAB~BB<+Arl#;z83Q6oTCZ_|l$Q7I@x zXejK4J@^o>#d`k&H#M+K<>I58_J(iw-m*^Bdosi^7L!vQF_IB?<1=@Q>Z2rl7}y9b zz6F!6`mKPAzLuvF_)C7}^P%b+C<+Z{On;318|hq|=MgWiNwaJ^9Fdp!)nH6_)30F%Qp&o-PhP^)&7NYFS*P&6tY0pm^(9xbP1)#&E!Wpc9di~i6S}CqZd)>nHL)?Jc1$5$wIN#quzxHx z=1?=Z&e!2HUG)edag5Oj?)%Ts`1es$_Kjy5Y-mp1BF}@{vqAaa9!g?@v&*MYG9tOe z;0$r>L^s3Z;%YaF5eeJV-3zY=9D}dNGe1t7M(;PIj6tQ62Cj#giGR@87a+VS#CG}w zFm)=HEYRM}1z0;6yNuWDg2@yxu74v6cha+&=&Z&)WPTB;!kL#nLd8p&2i~dkmmKWu_as z-}utq`YVBfF925>@}(*PXsEn2}%)Kb)Ayr-PXn;Un$eKhYdj-eV(f(csr=SHmjV4=9!> zgnC1r`}isO+atBtSbzDzgl+UXM>U^n7;2$N3I6`=QKGvuc;s*&8MAuJ@A)*r&p`uA zpOmn=3KaQ}C^{_;o>0|769@DsgIG&4BzBO5W5ou$sTYO#3BSN4SnQ39Lc1h=3id@T zw=7_wsasT|833V+Q5jo4a;pp0C{;ek5AAx;qfb4ZaVO8;tA7)2W3jPibP&nhC*s~# z)n8EuW6EoU#-EJBHH9*S0U(#0aH~Kt_qgmGW?M8yE$ z4kOf3(Au@5Q`8um4BhmoYLK64SV<}T%S~bX)aqav7K-&Zk-dNJU*?sagF9v-iw5!r zF^36$*t=S!IF`H`@!=i61PB)de$7@*R*1Tiu(sk}0fjZeSl=%pb9SqN7>r`*v70}Q z1y}XUScMiYZEkV+n+>)SA}*F6@^o!UUv3`W+Mh1e<7=GJcc`Tb5RB4VlPCPEoSQrH zv*p?&UjrEkE>#2pI#&!;@r)yTSYWCqTEslSS4i(RqPB-W@AkYtefv&^Z z_GxEhtatk~Eafqdb3nSC?8d7-Oy4ts6SOZczA86nEji{@XPcMK3II%h-+_lxm)ZiQ zE+a`d$!>Bo(A-W4FN3{$k%UiaFv4*&C8Y}P+}(~Oict(06f<7o+}W-^@{V!=t3Oy@ zGUgFhd?!hP!+>N=cLDLOS+D~ca zgIixy)i)i_`Obv1BN2Vy(}|?jIf&Kfce97@jQGIt8?LB2^wQ<5UUMBoE>CeLTD>Ym z=X=rIcs5(-_^N`3OYaV~1-*t!GQovU7~BL$GfDrjQtzqKc#P}NBm0~SQKs#OD2=Gs z6a{~DxGJ#F1LiaQM=D;3zV%AXqC+!;5()tg8O}o^KoxnU4Aw33cO92u4jo`>VIcwb zLR>O(NbJOv^RbPA%V2dN@(gxgJ;T_Fz8$J*@>s1<9j9?9INswi7CynbwUaGd4Ke%h z*0kieLyoZHD_9TDcYT>4`>Z^I1m{$2i_&c@+VX&W*wS6LH z6o5X4sz^4Xq^2KM2%bbnf{5Y@>znzW#N~Wu)7ttTm!QSYbe7U`%VtRx`*VD(MfvoJl3shR zw!|o?Rh^7Esmz80JG?9#V6;pDyv)_)=G5QU)oAO!_xp=*aGp=d<=LDnUsQLhVn<0* zuz1D9tg$P}iM-_*2R&v|Em$WHPzZk&BYaNS%`Lvf2TRWwm9%X)?HoVE66-L0WYw^x zQ@gqaZq@ZUr+P06gQLl@41vkJ)Sh^woa-dRu%ZkcePcdWL~}_b?^2a61T&Y(7ukRz zJK}2$M+F`968tW}jH0FzXY^@A?}ExqR{%RccF3%E9GROX0IQXzjM;EMx3PaoOHyd^ z!6YSm;`PhNtvf;HvkHJtWFLvYs3d%tpp2RCB663I(R+L{`MK?ohF z98(MhXf;H0Cn(aq-qxVCi)zFxUJ+d~D6losEu1ozcTVP8X>!4JpMZl=_vvSuMf5R$ zA0GfH!Sm@3K)b9gHssQHt+{__e8u|I#@RtB4h0UMKeZTLZ!+_%zLU9l>e>uElo&af z%`Ni*JS>JciA<6W+6dKO?F#|GO~GC>8FEr^j!Wqt_fo;vUb&y08WM=eB=~S1(B+JX zhjdn0ryg7y9#dS1Ep>H(#4c;-yNFfl81dG&U5OPXK5x-ZJ(u@ND;$3^;EsnHUEDRL zENf!$?E*h;i?SlAV#!7uZ83L`&5r$o@H21hO%6n=o4%m@KJkYhM3bRwzvxi>&c?j^ zAD4c9Xu1dbjy+&Jn5F`x4rL2Tjr@}|KK8v?k8BPU87C~eK!1PRGQ|kb?B_+uuiw6uuVmF@J0vzGhDS!4= zPNzcHtdSfYnelz5`zk(%QMJ75xX+ zOKUqc5-?TtYZKinoF=vGsx}cLQBuN#P71s=6lm%mWdVTU=d;wf# zajSww;lUD7vC!QNaZRG4=W&z$!r3L?`~{3~+Vs-dOY ze>4#xFhmDAk@;_)%8DJ69@_LxhF-@#T$$Ycv`fgOrq~}CN)z9WiB(29p{7wgfBYn& zDT+dHq8dSXQ7i7ffVPJ=-RU%5BD*f>SXzV5acMPfod&BcwDt*=jPz`}0{{^XhI=wN zT)2PXqNT+G5wsvKaV@bMJ;5t_l=I==0Io%FI}{SZviUKOIF5n=yLxVf$=wf zi8$;Y1>3`wMOIF9UdPqLbl?bg6xMU?>j^j@Sns?gNS;{o7OPBIe72%cDg47 z)9>@-B`I2kOf+L%=aKn)dC3O@Jz?xV$9f(^&Dhz6+^T}#$0>dr}uJeO@Du5TYNJ#J{p8nJC5q%xU`u93fu#$Mc>u z9~b_W5yvj43?@)D-wijmp$O@!!-JYiIi!Y8HZ&z2J~(<7xB7v5EJCe{2JkcDUgqTC zEYca~I}=?;s74xZz*j2@rg1}peD;6AEw-_%pMkvD6zb@761i+i2g%6dHciAA{snm` zA2Cr_FRhPk7rrLwIpER9vY^R-~T3A}HbeQlk zSc{U}zE6DvHU=DzK(Wrix3;(%J+BV7(rnVzHhH!s&y6qE)f8VpyXnHF0jqz%_^mBw zKD9*4oB|VmxpFQT+f&P-_UYaeq4>nKR`Un%;R2I9W+l8RqhF1{!IdJHGl`Rc)Uksk zOHg1`f=8%A$;)PMXBoh+*!^ve0zMEiyiY}<0WyAeyrs$~bQ-<36WZR$hlw+$`>BRm z(6B2x-!*#pTL(_-qe50%NVb1f4NAphV$XRYy9_il!V9-n;Z$j00(h=2&qaRnwslTh zxp;a%z@sP^1dq{Dn#dRmohX+uXBf=2g;xC`Q;)i6%^Q*i%ueRoDjW|i#LA@TjyH5x zTlq6+SeDhF#?IKlWn&%C?0LK(mL%Z)=EWNOpgH(L&g%HIU4nKw=k0%)pfr4e1_)

lN_S}8HICMdDYuSa-Jut#V096mLfCXA1#I5oxMsUCE`mLm9^<<6jE=}PBkWy)HXUPUWQ3<|DejoQ&vxeQc zB3RDqLvK#lIk11zi9Fa}axW@{+s3q!SwADKwys(;vyhE z58})&cUg)fmIA;^X7~1(mPp-Zks`w(TbgEOzT?IG<3vJsAX1ku6 zWZmD4SbfeqF8s*__N7Sp8RnaGhMwPoPK7$7PFipp9VY~4AF(%;+e*ycw|2)p7X`RG z`2l>5M)`0nso80q%;uWVrh$NO#WC717+yb;p9z05H@+7?=nrtw|zs3F7z z1zc&`tjt_uA`an`-F`{ZFB?uc`vQFIDcNjtx3PRenEsqtT4X@2B*jEoy=?1HT}T)I zBtUQ~+!0OmoW%A<*JCZ;3ZdMkL#EBoPJH)cY;rwvL{sZH8F|FuN?+ zJraNVi~-EJZ*!h8G8-98%Gi8q$T&L8OyFW=Fy25ctTR-1pjAYgL)X5Zh<<9I$kt5e{*sy;vKTB=ZREYl2n-i)GQB(z+f4$&P@u`VE z^!Zv@CVn`=n`J1UGL{QIF&^;0@5MWXUUQt$F_omjwcw*Ol{|Pa=(iIEl@eXUEr})r zRulL11Z9|*6F<;4q6sz?lokS6dV02&1rpRadBHkrE^FQfvrJy44n9mE2rL}(f2Du= z67W`zPtoR_rMQlcnYXwpcm4XC@apI3a&ChMthGcD$vzs24cg`ll_-Y$1!R7C%<%H2 za=LIuqdChNC4+?o)k<7&_Q`1!B*uAhfX**jbb~92Tey=k`LQv{Rd<}@UTbzOZ*F?!BIV7JQNEMT$SG`gi(#@+W`t9;#3uus5s zh4OG{54MMK{w$nN!RN++qWc6Hq){MB2%`dX7ph`t#*hO{-;`J{%2!GR)#YhX!OQ{< zWXq1L(BCr;@D)sCeAEi9Mhy&67}2GP_<=_tm{&@x`3i_1Iz`;1sw01NMaQF0-PRoK zQewjVoDi%W=(CHlG)2GcYKd_)$)`4K!bZ*GZfC!xhx28Cz;7>gN}mdc4;i4JUy== z?CFHP=;1^$^n{4ThueSo^W1mh^=yJ}4@{k0B7gL16)dH6X9%s~j6k8~Djaa9-lhy; zS&^M?7ynPn0=&+_^Y`u-b@~~_NGobV^OI%i9_GgoI4rer@GgK)qKUDt;>PhxH09R{4z?Q{(>bZH zaz7=_)TIrjEUN;+b)aHP3foz>US#+|8;auN1*Z}NLSKB2DvPLI1H(q#P4=7}= z(0aCAU0lwuS~ZTo&CTUAXSm+*{gk4NiP7L8?vt<}y4h?ndX3su5x(Q#{$uF@3qA*p zGt@YhlsAi&>D_-sh$>WTrx(2b@xXZ0z1OwrJ=%odALYE0N!Y?*@1!Y`9Fw#}+3;(F zes@*%Vg-`KA(T-|Vbr9p68harHRM?GlO0JZ=oHDYaLlKaXK_fujTTMvi+6vH5~?Hm z`Sat}U3vKxNZ}k(TJn;ZpCeMy^SnRYajNsSQWh?pegA*BGjj?jgS&|y5Y~zyv#KZ} zzOwN16VOj&Hly%LSOdM&n4fi^dO8AkBU{h@gNq{_LvpJz3u?M_x%i->jd;T8KCz#u z2=~?qS_(vckzQxO4CYl4Mg-_*x}1#*X>9x1xu_rW5RP6G;l9|il5C`c^mS8ymPj_E z3=ttzq1}H~4s_h}{AMJ;9%O;TQ`AZP+PF^ZNiypOS%;s|xA8=DRYkre{0pgR7c zuCzk}v$Z;~%HBP!TApzcxpsUmYDzn?fy`KLef0vzfYn9)$xM?3*JkK&O?tP@|C2+D zGlRx2`t1ag=$5dR&si^XJ0JQND^?wd&nF(_Xxx8cjL@%iXKG0!?_Q(Lib@!KU5zH7 z%H|No5M{9(ZOdqjXO50T4&6j0MbsibDjH}sTbZkMMJ>!()2)}Y$#e|RQ~Ut02op0V zKEM-&Z8qh9=@jRNM*3E0%$C;zRF`9s#(IDT!=LO zB0qmTCA5-vT~fvpWH@?MdW=af^dRe8c5yeMRXVwFE&5|4|GZO)JcEswICxY331)=$ zRR_EoPO7kcGV4UY$!q52onYhY;I?;cGB{53N0~P60v347d3OzK~d1q-oNzt|< z@FmB_60m3!RU7kj6k`U~)eIPoGbiU09zp>QV^zZbYd%30-VzpmT7_8vY2U&wI_VK- zix(jQiar*bq#R*_t1nT-5A}MCEd7!Lmi{&J+j=bqcTMxaXH)C%h@#kGA1o(Czn^~x zWoN^6+`^Re!|v!fDa>AL;y9{OaSivrQf8@`(JeX5gQr`t(;DEf&C6x}768u;>ak>R zKQlheu|L3urPrK{puY*cQYjM!&q0t==l7B#1Q{%Vd`^C!N3B+8OUpT(N)nzcMpG69 z7!yjOk7RAMD2F7KATAS+2##4iu3Udw$>&Y6Br7%xHGb)DI-0TH-;4xvqbpk$#mP;n z60fLF8hu3u-jG3Mf;HL;-T$;`?aQMu@W>dM*PmX*Tres|9FaqeL{^A$Pf_hUw8JS6 z>eu(A2Al@fJj{;hvo;ISmprQ3Ru|@VunlCn;>UhSP+pa@AhoCTfgmX8Jp6xJaDe4W zTJv>~x_q%li~hC;Cmd|o7OQ&18UK{Rj7LVtBWRs2Jkc;a_!lPg7O&hblYsj71>z3l z(V=9D3F?*ed+_As&i`wlu~e!k#*&w=*j{OLt%k^d1@#nGEz*TM{ZN&dUyc7lScN7# z6a>)C!BdPeIeN&2lH>aYrEY(1Wv?Q)BuJWKz*P8SZ#D1v=((Byb;WtcY$lzK& z^|8@mepB!+)@1K)P`p{wax3AYlmv~kX4|FSykh(i+1KkX8x=McnykD$K$f1Qy2?{u zZ^>H)k~Nn949p{GxCJ^G|8!=t9(5UW zeXW`KJh?=BuL3YN+vh~O-HZWDW4*Z|5ucw2W}(JRidF7Yzk2Bv&N6+gi~e%)shRy) zOAB842X%w>=(C5q1cp=HxEk1XW83+nL%x80NCki589%{;qR{5}hw-`4uv#DTjyk%=)j5WM)a&lJ1H^flS0ud& zhzTH_)$ZJnqZCWW%nH;vb_K%^56d)?#;RT+Yf!_-Gh3~PA=Une%t9CSV@=)aG-Ym6j3x123ZQGh56A^SUZlWBjc{FS%1KY%jGx0zf& zi0M5p)UW5f6OT=CwCH@jW5rHVhN&a! zJhu$AbYC;#9|V6-r-)&(3j>M^*r7+!C21F#@9xO+p?jCTe`X72VcQ>8n!C{~+2Dx> z=aaSiwRQ#G95+#@M_tFY!q{J#`kx}a5wksEgs}-vQvE8yL&&OKv^Tmvb^E;F^AV;M z8$dmt<#{TgUer$UB^sdO!*R*SRAriSBtZ{gnf;FRkqCc@1CIia$0BdN`jgQzO8dNc z8xLoH>CYwbk124J@-VpW!rmX8)2krKCuY9#X~cJxQDvhY7f|aKA(irY-jiRRBWRVb zet@%*Dn~eM6*f@dR)@VLBYTDiBQfZaM_jUARi%72I~g4%{Y_&rb}@`WtjfLNNC{2E zh$L&u%UORQ5}nUHYx5e{Z2?`UKK#8MftEEa5UCsM<*{_yVU}B#eJ;9g6B&lWg76rj zNS079#|!!b&}ahW2+|&!yf}V4SbCbP&O$__TBp- zbN6UzvhOwYEn|*$&?He?El&Do)x-m)k5E{3a2CpDPck-ho7LE?W>z3ttV0aOly0+R z9{I){xTDl>fblCvl0)TrNlFpoh70|JT8p8=aIojyUB}{>w4d3?w$o?J7M{7n#OSTFTueE!BgW3qn#BgwPgv?&$fAyIpL1$c?POQ0Q-XyCR1^YZ z_8k-{KrFk1^cBOQDNCZDw5Z5cBxB7;iRCs~Ljm?r0JNh{t}qSaA*`V{}EU74$);KB%bk;6@5m>RoI5W zSAxv^3*3_F&0!J^qFYR@;y1(3mqswylJMF#$R4Z&U+ZCz5Qev$;wFsOCZEMsIvX+1 z4m;>1vd2?Fg^PIj3*f&?mAWmGlLddJ`DeG4GYerQgxj^wPq=f+%JbpAIq~X|C$vD` zqMhDBw&cd}@aDF3dk}u+MAj)-wiEBJ6d{ZJHBO|?O58e6(F&K~ooIy~2{>rol`0ux zuvKYo57Y!(?Qp^TAjDf^CvH<)f*{j#AFrhC-=@C4wI)?A5gi z+23>&n+#L3w2jeOJW$ELLxej4+o3Fy^`mSz68Cf7ZcUor6GUC?b{}^o z^P`{^2%o7W$m=I*=J%v08Sv2U0L>=JgpN_&h$+o@=5MS!{=^FVNd$kGg+GeVE~iG` zihU!3oH)%OjJm#-w4B&~ASrW4R<3XyAhLE(X{cAEdaYi3A^**g74n%OhckfuCD_fW zaOw7Pe(^TI^A)zCM{NY;L2f$rQ>1eN^XTayqN6%;utJMq&n&LFZ0wO#oKtQX+f)cp zJb~89_be~%Vm5Fd51oG({uCX<9A;1~{o#>M&KEH}X~W|Us{kv!;} zl+!N(Qm*ZMps?*;nF)jaiRHM$pGE5)DaJj6Lk6s2B*JjK<`sVc@C&ZH)~>#WAe=9P zOd^_@0*cYb&`t5Z{cpHV_k1*FlgUc_EbFeCU#H|obbJoYVVH2)b-&V6iGDux^G3NW zSk0LKbf8dR+{#HxR%Z^&w22!8=3*zvGrn|tFepKrB|qGXXJ<-9e0SH*>&gv90XpDN z?LBH_UG_0=vqgWc0-{beb)$zd*2&&GEZ>3`UWN?eGVYe$sl`Mdd}JgJhl7=PB%3b9 z=Q|I(qCJqM-Ialu!kG%nf$UUxO7+IxTCiedlakbzaILOLE0`x_`D z>;Zia=Ir{Z21mR-g6VZ667$=ZF70Q!?|1OT6yM2?vLu%I=^xOq*OlAPQ3c-!}^&hsUx%8UCX?jS5DWP`(83tEqtR7Ebzbbo@r z=O)E(SI~cDY@s6!_X&7AKs|SxfJN zG`N2+j)|%fW=$lx$A&*eU+h5>?Wf+uFHEhq_Ew_6^^{xrj%nN_-jQS>x(e`qV*6i$~Awh zNGc|6ddpz=)%eL3-L)N{>+;vD1jdWvhtwAYpV8<3>=nZ#PIc^S0UxlLE0tYSH+7aO z>4((M-Q5d8LBU)0Z7RH=L)QFas1H`*jtKCh8>eq2MEaGshE#7`oz6kQD?C=r>rJ*~ zM}fn<5^mWl34S|xfOB^5c!B~#e+7SWJsjJgK9@SHGe!~?Je7X_esyowk<3YsUb6!?Q#nS4!S6eL9JT$L|s zqjKFu#LC%2!2;#uwoibti?XC%Lifuj7!pj;>r*d!g4)^WV`Gzt;LvgxFw(fU`9`YI zIzNLxnQ>D1U1OT6mxHM4SlX*gYMwgc0)QS>ee|8wv5-|CoA@G&$dAGyS1%6Vx8DA>M%r!TKua;jw zq*|DpRGqBV1Qm;D?R)Y#Lw*(-obz7@gf$iHDj+47C1!u1^pk6r4A0mk zhc9uctn=5t+_U!!It#^3yr^r(s_T-783PRg*NeZ;Yaw*$4rZa7X;=qX3ATRUE1u(5 zcy2wqbhLm~{!9)(W`J%=4cQn}^H;L>y{bScj~ z=5fX?-ZEYrvNB~jp`JZ!t%BTi{o)q8wo8&9GwL)KH6oQ(1j&CaHHjBF*}v9|#tN2- zJyn)`cU=~=aUe9WGZYI8a%J{XIkC?>xxu@d7Cs3vE7mMA7}C`uEm8=a!p9n^y-Vj{ z+fXF+Z;*oa!47qgDZlA3v|{g1>$7@TM7$uG{+2mR9 z|N1Buj~l)#r=WxJ@q!U3voEOpTgpi2lj_wl+1Id#U=d;A5z~_tPk7Fftc)aYT~6L_7m710ew5q5+=c=t!$z%0 znzX!XA0z|As4Jl{j#}k=KGA+#6Ms$(`O<2MB~UbnP3*@Z6aK7!-dKu1xUxsOB2>Dd zi{gTyA(elIE2-_4$mc=^4P%R~AZaDIp-2m~Orzae6X^E>!xPZPv41 zo5=cJ8Y#D1An*3GbYd7bzU<_i58mQpG9hm{^dTl5EgfeTif{Y&4YRUvn#7mU!{Uvr zQRm_C_KwjJ?1xpWK~K-F%iKZXpwjj;P$8}|$&Y{IKswJdWeALCP~R>K-78FITe0nS zKMBfknv*MOl{IBc?9J3p1(g2v0rdEJmhUIE{g_H4|7 z@5?hWI%T$9uL(ZB>p48pr#3VehI(fh1V871!;QSBe*b168v2I4$daV(K&4CcxYwiT zVak89@gL43P+U(E>9UYA7@_b6*dh}${y0vBMwDa(JEFm}&|G(oOhOa6kz(XQiotViBy@oP40 zKNxnt-HmKzYq_QSt$ScbH*>YP3Ud-BInUxQmg-bM4l}8vFn%Z^DY1-F;*m+c*qkMc zt2P@Q`xA&@h$^ryf`N0o>lM_jF!(iL>WJfjdNz_Coz9d z3q;{cO@|`&%zeJ>xmLmdNCmF|yk zr?FL5Ue>rVdXHh|G1|?wFaIl)|v8Lk&!g5#(2+1kA;m@dzLKENn9hUC(CfLQm zzoLitGB#t4;X@ z3vW4GsWxU9`4Ty)+82jpX0p$HNp`Vf6O^WCp;$&C-;o6IXz3f$w>pvGfy|2byOFN1 zW?W5QvsCu0#AB+@OwXuCe;#F(qwm0XSL$27D9rFRp^PJhO0SBU61{)K)FknP$=&bm z({&k#RrrE5b91nm7qNTD)_#mLez70vHdO(~`|Rf2qme5*q{tHKUHUvuHMg)G{0#O6 zGP02&9tX4nlVIvih~*&_dhpjGLR*CLloWdsznru}JUWtyi5-&HEDaGRF!xC`R(JHu z*)P*ETCY!@=Vtzo?{t52z{_|fw-QH1?6^U^*jvS?x3ge}WNv$iQ6nJOgUnQ{*z#NV zfr#9cvErG=ZjGRoN={k$LfJpTvW zRMbk(4u(CgFflnU;*ke|{t&!fu{v!7k{4Lsm8cCYw#kyw9{l6g{Amyz6&Ft!hNb|sN5y$JE`7;Da0gwQr|PMtQPxCnkTohdva zOZedZ)Q}Z45@%b4LV0s>0ZI+L-R{y5*=RK4759_le(B!tV_KloNY#@P28G#bP090} zpf-c;@We6F0-J-HB5uauhMVN zd9Y>1f!CnGvB>+R$tilPcfV(k|EeyJY7h_)9qU!4{rT!z>-$8#n_MX>oQc^A8N!5f zEt-&(7>9pqYBGj_L>wWo;X50dh#MRuPC6frgJ{j2hRYAQmyMYJ82eBdEUP3 z9jXE;KER=?F!ePzV+PFYa{juw=tHr@CA9z{R**#KIZU9-}@WB@Rkx?oN|EJ=h%iZoW<{e z{0M)*Y@_TQ34>#<^*lUIJ*5!}D$A~_>e4Z$;G6}RAWO=(Dtt=R@#fI>3~7w(Pus_J z`2Dln(-5u_eM+u9slR8BbQmERPUlDkhQGWcn+h&Jz zB%FDbP~PD2=Fv)$?E`RXO(za4ge{rQGL!PA91+Ik1x^pZ4O@Hr{{qhyFzOx2f&nzI0--H|QREfJ1d=~OId@LQ(xox?k1c=0 z9U67)6gU|4#@Lv5M_bWR4iR?y79Wq8%rGbWU*C`skd&KCYBHC|({f`DjMk#$(KqV@~u2@b{%oH-k^iFi+X*OfS z!C}3~V71ySrIoX92203%Th9;O?tg#RX+LBE($i@H0hz!104So3e85||{#%>Lu-Q0Z zh;Gmp0RB(qw#a-1uczDXqNJdL&OEd{&<#)*A(CYDeqShalfC0YmuZ!}0uR6ou#i(s z5xA6)#m6Elu?#Aseo-0(J0;XddvQAfS}<=O@3v@`2$()F4(X-8PLhBGy^w#x{NJ|S ziC4HU18xHS#x`rBtE{=L7hsl3+JrW9m};I?)>X{wyY6sXMbYeK(CW>cM;6pAG7srkA$b8Jj|rVTAoLa(AxUYm5iKvfaYcLzz=R2E1#g(*K(b{#Yob`DxV@z zgsRl&3uQzPd0oF#|D;vbO%LSVIVZxWn84a>Qj*iTI0l&Lp2> z5})ypn^i+js^(N0J+`4fzm>Yn9mo#i(2-;WadSikrb-(6Od|AlVa9(nJ|k#p7gs2? ziHkIi76(-1Hd`pa0}0nnn`ibTTsKr7RYbDTz?pp=z5g9nWE?ysIu8B|=6j9T3Km(J zM`M^pIB0v%)$x^-BQD`p*re3C!fcQ^K=)NR8qa1N)u&O@Qx;dV)eG1~`0YQz57NT% zjc2$8_>XOa`>M}AcSwIj+-YVp0eN{~FWGbS#gZbdiXdJhJ{Q8h38BG+WR9q{Vk2vePbCtU`GBnxnqq&WC2>tZ=)-p7M~{R; zuAPe1FEl_|7BD^y?KlPk$=^(RPXA)6-5>D(mqT~w$sACIDxoF0U@&iP2tJXbVudaN z)->-3hN25*tUvR1mUE6p%P-lgE~$KEYCc<)irO5DtbR|SE6^h=ui&FHz5>Etz{d0s z#wft+>YAf$9)y3)dd~`K{hV+0CUfj~r}$bsPm+AA@`A=))dxQ@DvLbB?7<(W5h7k|3=-VfK)~CA-|9nc>qnHV*dxk{5Tc!2 zvCl`-ZVja#Ay4!VxfH321B+dXnA}-UEL^QPQlwNXBumF0h4xmZ7t8dJ26mHT zY#bpH4oQCwJlS@G?(ffoc|pM0S!vbBZ9+|}r3)h}f>f|H@KJ+^5a0$I?Lx*E_PBju z(oaL%W%7HzRk@VggA_)k#mGz_pKN{2Awxe@3Xe%hau(CqJ)9t10N0LgA-24b3^J?%`%BVL&X$SpJuIV zw!z+q8rA`{jDBtHa#{mM&7WDL=K+@OH|D-FV$rX z-SMVzaLYyVtQ5>q&14DDE|Af?yGz(XFxY<<+Y(jFB}zvK+}z6b+-c&LuCb^F@FF2H z>PA?4?UjVT>32+pb{X)!6}D!3h$Xjlv2WmMNNT1~cI)@M28^1|T7O12;h#qhNBnF-G+ZA%LXTdMucWC}tg^ z$NjZ|L8z{rPAI~^rf_Gh%KJwIX?cH&!IZNaq2`m`S=TfEDWm(Pzgs`odO(YTVo!7= zgA|~NM>&)W)2)nkCNB2HwhP!DCvcQqJ!#vI>CzC-Hn#2PtLaRO-Khw~647v*bQQpZ zO$m-55lI6TUlgO#bayywW*lT)DHVVi*&L|vT~cxfs}~93qxwu87Uj^p37&uZ3C?$b zTIOOUR0?H^oS~QkBaIAX_#3Oq;6|?KhG0oIkTO(#;%{}cude{FZ8m+hQ1@eE{hk~t z;iE(lvMO@wg;aDV`;E$l&e*|u=-L&ah+y8^hYME-P(0Opz^UKD-&dN99$LAYtA`hr zUC_&1n|-{m*|j++%L}MJJeS>cbBpC;oox%^KO0(r}=y#(62^ca~9=j;|1!$V+jv6z(7bW#;;}MA%-849Q>7oMmo7Q zV+=xTX$^%X?^;_ly?g`B>}V%#|MWppt<^tEOad{pI-(a9!e3cH&9i^YN3<_(hQ_il z2RV72JNEB$A4BczgP)BgyBep;%x4`J&ix&52W>sc~e@780*@*EOTWu{PhgS7MK z6S4e6xV6$w)z)+3Y9)akOUj*TKKQHWgCJiL&T(&StR;%l3`U%?jO+2VVApNM8Sqf) zl3v-IP?T9;SF$4ruK|BiJ%hM+eyX-YAfo0RNWCkJ`si-Jr2T!B5`(|VLz*{18b)gN zep7P(0DRnS(414der-ty9_vz^Z%R| zw+zjSA#JGRMo^E!F1{v;FIuQv)K8Xd~6RvEuh_ zC&8U%v%4!Z+CP7!L83XMR}#5>-6L*Ho|q6X&WEb$3P3_~xbuXQPF=IubdkL{I4`b` zldt#E2y6*yZQC)_pjfM_xCAINt>j@B_&%&NJ}{J2GnKCD*@X13Wx0^VaGSYNvP{6Y zxVVncV>#sr($Rre)tKmdu@E79@uC+4bjc%mzyro!x+;H^NKpmVFnBd%bJk=su3frR zTFrHnj)P3Fk^c#bjkTV~uXTmdwS`_v0=Ul%;~SIni!ZJ^DB;v1+*@rXDea1rB3pV; zHXU?5nF$Z4i~(2MggnPz&8k49$)#dD2bVp1jRAsqFN7y^m)hnfmFST;cSB1O(MC~o zy6J~k)iQtl)vY_m$qldHj`+Liuow~Xb!%7_kDvQjEqHq`{sFuPz)R~mnfAAhfvf0i zbx&?tnK`jTA|=W}KDZgDB3*YowT%0n%y0nbx_LO(XAAu=c zGj%{@FtFDL#440g=as4xNxI|FUsOyoH*5ub86;}n0XCY76haAeme2Xh&tg5Z z+!y7#IR_~>B@h) z^W#FMgd06l1Vj7}x|lsfA;3!LZuzPf2g*q0iZZ23_9H?IP?sp?Elk}bh{OY60n_WH z?xJFY9suuJC&8y%CLD_}YU=@$SFm;<}_yV|bs&Zak%+P!8QF)fK9D2bp`#www+ zQ#%;p=-V>ibndq`%^a8@ABkGILNtHHTEN+Wjre`JI(OM3_ERQIH6cSK!t`)>*P$PorH;rkYHx)8S2bbl> zFfAV`umk05kiKh>9po!3coP!QObU=uv3nHzSS{b(Fyds>$hM8u^FzT*JbI*DX9Jocjp7^) zaaeYDcK2~7lbIxwJY*&h=VZR~{n-0&hK60n zdT&n#7Iz-*8C`AqNHIIGZ$}|s@yWS?XdN-!ZHPd@=V~q!acH4at})d+tTy|Zi<^b1 zh89)o&K%cN&LM%r>^eJ1-GJ}6tAgcP7^I~`@GXdJUh|lgW#}d=V(}T1(P&3aeY(dk z7oR_Fg|3~Y^rc9seh;zw&d2(tuh8;7akz7Kq`2UvI;cD&8V-K`UQ<1XCS{R`f;&X@ zb}AIGlP2u=XARo4Ej2tafGK4<7Y`?lDICTncDpJxc#X>sJu7Cxsa#!UPAQKUyCFv* zIT?@rX*F)i7$IH4hdsZAK7=@mCD1>I<#EVKzZo)?%Ga4lxpkW~K~Kw;5Qo5Acwv7@ z7?a_vP}4QsN1q7!wraiK`%R)kw?Uz4DF`1R*bC%PsgcQnN?Ceugm7Ff&f*DjHhI4v zCs_Zgx@i{DMLeIr+QHg&|IjA_N@nyaYe4on zGnG7VQE8y)VJnXgg{4h8i1WKC36G~A6DYmj8>K?2^8lH6r#}{q&B4op6;t~7+=vG> z;eNpGo`(}M6u!{QBA2(D-x}y_s}#@;9()(@R@20nZ14EyuIMxg>lXQz7^`>BEFcJu z>{=Pejt+eeb1?to<{)_XfixKm*&Vr3{|dy^i#p#QBwmyh5x`1@R#Ka6^3UJF?T1$9iMkNCd9ns!V(ZSZg3xgI@T`np&6#Q0YKGx=t>1Pi{ z5GN@`wTWkT!yZN$i^LecUmIfn7z|0m>@;&fFbq0O$!FAXb z2v^f#Wb!qDPF>H`C2H|o9@CVi(iZyP(1(mp^Eh(pnn}m1dku+oV9q2WZaJ3Q=8P+$Sy*h~RJwBIEBLu(jxy11Nwu%*dEzs8Pt z2H0)-vzbpNupI&WkdCCE>yh)!EEpWw1 zpixV&9JBIO%wy=Ub!IES_#b)5QYiFcxgo|yVfK$5LhPs{58cyT@9-q{X%zx63iR*# z17eja%*E$0s!(frsAfl6%Q?!bVSjUc2<#$;M8n&1E}d0JE-r}TgxZjoByDtwzAHb* z6mDfZJf#qpej*pR54{BVsxfT#yy%Lh{tCx8f;~}bodKC#WL?ZFI3eTeeDXoOTpXaK){CIZTvPf4JG&2V#{i9uK5>?e%&@I$<3~% z^a0Z|sYi9sB@e@c;G5!f%Ino?s`M**H2f^%3<;RZZ!Env%zK%Qyrt}P%SAIGUUNMj zF?4EHb6F%E6m|U@c)j@2@fp;BvxC9ZkuFi38rQ)nE-Qg&JHkulpwICy+~D*=@P{p% zcUIB1s`Jlz#CrAJr;U)aRMUlO=58wSKo7tL@uNJo!F*#nDSEt;x2E74%MIU~Cp1Gt zL=s3?kSE@BiG)W1zSN~i?x#KrObO+`2dKoITDk(-Dt|a8@FSF7&>p#|LngM#iob4l zSj&cYL)_}zTJ7xd<^w|i3)59<)pa&H6hRmyC-u)dZt3N>9ul&(>oqLcb#LSx`?^bn z_HvYUJ8n72T~t)**MPY_=1bIM@4t~P1t=4lg_Wr(QC(uPcOudkIg^r-Bn`@YS6S9m zs7AAP3;UEka9SkWV#mcZc%>|imjP8eboyMx;b4e$H;>o>s!{~Py#<@I1M5!kBpxOj zgSIw*LL~4Qe1qy24~^?6Fq95*xrklG6mG1ehFW83{L7@}Q6Vg=Vw0OOZhMT7AJ$lfBVC+M1!|70N$%&h%AZY2If zy!4v^7Q3NtbEe7}Uo@4UY`_2Uu`1nw5^|4!#%C{b^mz)txh zwQzw9rl(mMui?KI+AC^DPICvkW4U9NSgq(9Q&7>04qBl)&k}OzT)LlrE^$j__$2Ph z4!>fI+0F|Gwl98)3(-xW#6dri-0{YWed?=DRpnQDr>bGg%&x=j8edgbo)jguYiFS@ zR3#jut8ym+g$997omVb-o+WM7^I8MXQGMx2zu4{E5J-LOuu+P!GAj?e~wffynW%llvU`oQEzJtq>O);H2r`LGYy*Q)lWfPR=2@YK$Cy)NMxkrB_K z+O@{L)IE3ZzL(rkEty4Xz1Tn^%2Hj{%Zm$P7ATYKL-j~>kT}z}hJ~aZIz9@1FdH*& z?{|V6=suaIVkxS5z8OzVb3o*HGcEzMrIkDfCR($;ZN5y^1aU>a8NhwYt5{@sfQkg~ zks-8S5Qm+ivnnNHxv7_qSDq#Vn-eoGuO(rvVMRCLX2R;Mi;U32=B#}LXJY{3i|W=( zLxDXn(3VsZ%HK8#xqw?GjgJ2bBZNd#e8rg(j9pJ^AB-(e`0v|SIJ?#WA=>B#1XWHr z*`r1n&jQ2uYH%dNMQ5=aNBW;q;Fj66*X{wT+ zPXqK&s_ z6L~V)zTkAFP{N~}rpg5JrOOc1|4>A+Pg3RS4akI(;WpYDQxmNBFBgJo`o>Qa1v1>x zeJ45d4Sl{lC^IAzwAlP%zMC!Isz6)bLdFz*dss+XEft1nf<=NrHCQMF9v$Qnnwj_@ zK?6{l=fgDy0L1xq1>x}R`4mSvAq5hcsVop;3C#LXeUxjosclmk{asQzlNwkEiUQJ$ zgfC8Mutz|rB>KG4U?yETTB^Xr^os z9tZW(;`^%@MxSh47jfft zZ!6KLZD9}LrF$0U>uAv+Y#n2CUfrpmq!aCoFo7joK418OGcoI zaSh{)D{+Iw%F|3^-ARfgXV7^IV4@_kp%!mLao>GxTC`za&BqK^1->RqYVgKdKt*#n zi|K-RgL%o+VP$@5$II(l3jGK~v?~W`F;hV#lF9%N7RZAv_cpliIfHwqIMF&nVMIs@ z8FCxsjj=*$_qA;=6HBQKp(f4@|CsYu+NXc{LoA_&dnzR~+=tVUoZm_~a$Hm3iDcGV zpaR%1pnhxsdpT@ zG95jr*2SWcjl1Tn0E^1Z|LtH^g*eklyPiLR($ZzGc$bBYB-8mDe@vx?e8%?qe52k_ zw^QD48Guv}94*Z^-dN1po1d+jh;a(zQV%TJ}jd*&` zF}fk?w(SKr(VIbt)kG7?Tj;q{$YLl_ll~o$S4!h*6zjdg)YtN%num#2vLE)4H6Nlp zCU|>Wkc)9kTPrQv-1jwy{{hm$>-kR{OZkqlruj@SS$vEKZ6yrg>BTQ?RNv6>VS#mf za@*mb(Vrlel;(oF+yxXdmYTaiS=9LnXp0U#s`$Hesal^s_{W5{O6wt$B(yXlyWHCM zUcMnG@q|PyPSL98aiZWN>|N5d=x_BF$I|U8$(ME7mxpnyfDYlr z`QOo!AvEDw>jv2Rbi!1rglvX^1|kYf?enDqX^}kq5fVpmpPRSYh;2_bM{mGjn1Uoh zFp_&r1*$mgC6?W0QF%Q&a@Pmkc)0+wAku!4v^VEqFL+^%ScN!YF9PRp{oG?e;iJRl z!f^&g%oR&6(~zZ*$c^;uT)CnRX@lD>c*FLKMG#9ES;@2-qas5&@sO36EabE%jwm$H zU9mtyU**=2EQ_~kl!Ntt8$dMuh3*c;F)uO2YpYmaEjyM)Di*D)9=w}AlFeM5uHbhI z`M(_RriDl$(E@sAKeV=DQq+wxF2hfo>>2{GG|2bjtd~A$`MD60yGZ)pN+e4h-M>Y$ z)8y>z2U^;sd*=cR3k)Kr;v>MjU`jMl%=pTQU(4tVQrNUW)05VV*lYImSb$GAUJCb(q;cr-Tvj3%bZ0Vl9Z}fHQ6?pEOxaZ)Tu)^CU=oP+O>T?Vo z*;UCC@AlfDrf#F!!NQJf(~HG&A)~IHL7`Uug^^IW9ykKc$*Z-p2DG!j+<45*>j+Zz z<R&|%zpUq3x$&QtnfzsDb+Wqis7^jDjZ_>4Tlonp2aDK&4L*Gw) zS*_@HhD0YQ_T#P??&qG;p7i{a#gS+Pr&KOKo1ju$s+gczTVR+Vh}UvdA*2uF)o`&A zE|e4O0SH&iPd)Is9eUY1RW~cHTKm5)&+p@MfguU<7NkrSV-fG06FtmHfwHTIx-2_M z!(zJ`&7qB1U)4>bsijAlPV^2ufi6tPy0|#8J}>xovT6P_l|HA+p-v-qPus$I_5D&NBWf~!hn(E$?4Vpuc*c2X0~c$hq+0Q)%^qTNkAPr zus}$-F=zXLchgll-4#B`w-li*OfLw@e=nYkK|Xh=^n`~jz|Kp(ptt~>@fEYbAIZ_W z>6VSpXgK=oez7dpmNYzFHh38Ibn4sjk?;Fj_}r$Hm))qRO4)N+)Rd{o^c|HqxMnW= zjtNyHpWT71{)kjnq4P^5h05us#^w7*pdrj3^v}-IC~xvWF2BlX?=-8bY6Y?SxZB8h z+FHC5F~5GaPs_&P@Dq--UBAyhs*18$xA(FxXVwz?l@`uK+P~DySe_kH=E?Wns{{-b zCMS4`?aSLw;HBHf!zZzz$49XoMl*VMcqVUe!tt0p>$Fx#b@&Rh;cApP@X z{l1yjB>w_x_ugw@-jkcBpD4&lsBZDpU((Z1V_DCTy+5$_^xgaJTys>UDRQ*M zO~OGYkdJlaXJj z)GSiTKD@nHW%=}mKN`9caC&SN&e=hovk9*ko@s28R={)Q9+GLFVSlyQmm}=d$#n6( z-n(U}D`MOHC#{1|#Wz^zh(c8)I;rXH624wII_9M^h;c&HLFlf*q5t6qKy2QJ&&K}k zz1b>uy8FejrqZK_{#+)v%0Vb+lPqU*;&1`6$Djw?)$srhH*sy1?lIT-;G=k=XE>|e z^l)m$kJNXI|GFUb{HP7Np6FwD(vIga(qsv^esb>(BeTsCc`?osW49Y2rwX_4D7y9) zfjIddJXxXZzbs9rKCxljI2?Fq^qQeb_)pIjFG zFJ&bf%4M|>>$l=Qj1R4*cc-MrNHbW`J#hQ8qv6)mzhnXv^>Wp2s z0VM|2*x5^M&`2S#Z7p013%{(`wLFnb(0BJUkO#NKM-8Y>Eh}4Bou#vY_r?mgQQwDK zTzg-cqelRrZhDNI@=L;)29zTXs|bxxWqR&m@ofwS={pgFe@x=`<#BLaSimcGR1DBR z+IjYDvR+kr!){xt8O|IdH+^RgD(^>&PpnOyY3vn}p&wvU=&j^D2>p?Tpp3jPa3qjb z_E4|Wd2zY2R;D6e@=#Ax5M*c{(RZMhPdK&aGlK~5^hD*<%vvo1MzB7#;OJLMM#+Rz zygrg`!@85I>yXhu`1t_v^l&$sgcnB!#dF+}e_BbtxZAJ46q_&yvy7Zv?-6SsRC7c0Y+P%qW1EN(Nv!Jo{%diSa7w)YMy5~IbHTz55n zEDy*AZOsi4dEE~oC~5-Fs93C1l^*}X>qqIiaK%<2R_eTMW!){4#YKh=N?9v)9;IV~ zk~Hc zR5%d&^4MAs^8Mu&moM&Jm(Ly=>F{|47k-{g$o<2h1NYn&vZ*C~1;*tTeIHJCGO{4y zotd|Z7`-`#R;QTwDSFdV#+QlP8|n&n@tg0RNG9$2ZgWod4SsICT=6kNA?nQ4W)G-j z^jqmd0&hs*kQf_V{uo~Rn8B8qRXZ_u(9723?bVjJ9`c=#ZCji6O2&IQ;fr`XLccBx&zMHRI~m{Qh|g^ z72ee=b{FKYp>$>~PdIYZU7XQqbPCBNAu{9`Y35S~pPGM`3!nduASLn1@Vz}Xm;!OT z&BctdCTU`Pn@#aF=fbD%C~s?SeM}t1cJO)B!4EBbi8tShIpQ!QE^SQ_i4Q2Xzq0+h zbe}Xa`o!pF`9goi4CJLy(>A#<=cIV^hX3IB8hdyq%>OQ)WV?;L)1HYxcP%n5Zv6O; zndcsg-Ux!pvy9XOMPL5Q&|d zklSc#R4n4!IuUlTR{6PfYXEq|S`Ie6rkTnjGp$S>hmkj6|6KhL&$69$d_F`MLHqm* zJH2qfZ@%gVkw<8x8RJr?=|bX7Qrsf;>tihsjo@D=y~&F{`}ay(ZCtIpRSKdn&Bs^a z_lJUj{00&r+>17UIE{YCg91;-RuKX>%cpwIYMU9&Fc4C z1XuL&bEyJ86x~XBySI8I<=IN6QAz_FNT24ym;DyQRu56AI@D^8ER`kLXSRoXok?rKr zz(DX%tbOf^#b%pn%YvA+#el2HKxkj^!ym!HKUV_rb&>Zh)G$$(Z$~^zR}ZHhhB>sw z-6)=JrfDCa(4KOl{9K8y%+EO=4S9ZjuaIGPz=B2zJM-OCMf3TyVy(3^Yr)6#VYbry zQ_UXQnFQ8%sJP300H2)&H{?Ox%044Mi0Nj%v?_`-sSERSxR@}fK~#{~05R4-mVOvM z4*K{HQZIYWXaFmL7#VQsx0Tj4LD_9aOxGXxYD*48UNA`soBNju(Xt55AoC7_Y0ID& zqo?uR2wiKW{1>C2_cN|1t<#08Rq%xm<2BqEV@2*rmU4LQdA{~NE5FiFo6l6Y6zt2| z^mMFDoFXLBq>O8-QmG38590Ah5r=RpOK7zMUZYy@3f^+!qGfhX`P7q>Qoza$N8-yL zMTV*qlIOIj9I~0$`DLyJF)j^EX>bJlxE0P5xjr{kieJ$zjCDt4Xm!@x_xh7a!SE}S zt3~sPY?Q;hYv#g*0Q}T7P67)odb?DXM-75M$(v;w{7E59e~<@(%{QdYosCf~$FS_F zWAl3FI&~m>g5#jBu4B55U58P#27iYpF!rsU*i>+R?59l@v%OS0kus^vFrX@tP+$I- zl~h3g5YQ7=V7dbOU2)bK<@(Mf(TBjPv%$^)Ir;;P}v$#~!4 z;ciB6HDRJu_S(5FtH7|xIhJ--4Ow&1H+ARY@6>RsX^nu;q0Tl{hba+A>0TyV9#8SR zPxEW;tS+Q4R!k8muYti0h@w{Ll}(5x!?u5qT$I7jI%WWgJ9k5vEF&y9B?Ki0Ot+BN z$V1$*U^CF#WNI8+&msIN-ioD$He{p$i&}Us-j#$c;i!qU34LWH>}W;yea=6^oR_GY z*?c)X$x3N7?pX9cbJDKVZ`pm%@{A%*s&J`C;T)i5Phv>h0BLU6eub^TVTk@eNGxjF zi5gNQGM5k+4<{Edf10m463PG0+Va$q3Xs(WrG*5!IU&-#5CJ|JPC*E_thBU%02eO= zBF)3aC(SEHDf0hrG5jBJ9wiqq*MDpKM9?eqVdECzF3lu7fw(=)b|~^qC3$84oSR>c zw@r!pm7K=wghTjcGSt^J^S5P9J6qqETn^zGZ4fo@9diBS+S>>G+R zYBW#UZ1k)mhd-&aF+ZB@H%1dcpC2(j%k~UD9lop|PY_hvug3|p>L*P{lK(Dj0-KFQ z_)W$cg*6BnkyR5h<@Y$P+IXIHL++K_p>1vae$Gwye>M@}FaNRvM1&)5*d)ySFhvGJ z-mclQMOhAF%SXBnGB?2@MUpakWBxJa=hOwT5S$p z2=t9@SCtU00zGRle+R7*JTSPAlOZxjRzb=2-}@8=iXz6s*c~^g%xNndd>I|+6CV+} z4o_oaWoNABlqxN#$!>LB9kXRAtLY9jU@V#=-n22TsqWxSpEFSo7D7Mx&%x#t@5KIp zuXNPj=r0oiv&`WTiX$XYz&|(Nle_u9d2za4g}g#y9;_z}urF88cPdfDLxr(^q_6kU zp(?!#FlX)`56^Y)%p{fwyrApHyk#8vcit+XG>8S>uSfiPcpLk&h8+5T`0vDf=cBcp zNvaL*?lBFEx^g`K2@@Fkm4CYKn49Z$*#11n_prVIY;+O4_?CXc{Brk&R2w}=@1K$c z5n~`)G6X?0qvtWru>y(DYLWww9EL2vzZx)Ha-BiWl;9DB*N2eUAcaH9R+cMEJpvtP zFl8n3R@U8OFal^KhPUoHg>2>f9D9)fALR;_z7s?^OBYKwcsoaKCe`VXO}yn*ZcQsPxTEE?D&u6x&sEUI)&@viRZ^+tpkc z^vpw8#B35Pn|7KkE4*1=nyD8|hKx&#U0Hg+_!t+ZREnqAHU3PaP~bB-z5&YTsm8T8 zlk6IP?~_z$v)sBXwCD--7~Q?hHf)Mwzn&=Kp?- zYL@+t;4ZVb#QPJ=1!m@5f`-sfL>H_XSQliI7eTlSzdcMkv-^=ax$l2mNKLKvs ALjV8( diff --git a/zusammenfassung.tex b/zusammenfassung.tex index d91d172..2337499 100644 --- a/zusammenfassung.tex +++ b/zusammenfassung.tex @@ -191,7 +191,7 @@ Die Größe der kleinsten möglichen Kantenfärbung ist der chromatische Index $ \begin{align*} \domain &= \{\encoded*{ K_n, c} \mid K_n\, \text{vollständiger Graph auf $n$ Knoten}, c: E \mapsto \naturals,\}\\ \solution(\encoded*{ K_n, c }) &= \{ C \mid C = (v_{i_1}, v_{i_2}, \dots, v_{i_n}, v_{i_i})\,\text{ist ein Hamiltonkreis}\}\\ - f(c_\edges) &= c(v_{i_n}, v_{i_1}) + \sum_{j=1}^{n-1} c(v_{i_j}, v_{i_{j+1}})\\ + f(C) &= c(v_{i_n}, v_{i_1}) + \sum_{j=1}^{n-1} c(v_{i_j}, v_{i_{j+1}})\\ \ziel &= \min \end{align*} @@ -200,7 +200,7 @@ Die Größe der kleinsten möglichen Kantenfärbung ist der chromatische Index $ \domain &= \{\encoded*{ K_n, c} \mid K_n\, \text{vollständiger Graph auf $n$ Knoten}, c: E \mapsto \naturals,\\ &\forall u, v, w \in V: \underbrace{c(u,v) \le c(u,w) + c(w, v)}_\text{Dreiecksungleichung}\}\\ \solution(\encoded*{ K_n, c }) &= \{ C \mid C = (v_{i_1}, v_{i_2}, \dots, v_{i_n}, v_{i_i})\,\text{ist ein Hamiltonkreis}\}\\ - f(c_\edges) &= c(v_{i_n}, v_{i_1}) + \sum_{j=1}^{n-1} c(v_{i_j}, v_{i_{j+1}})\\ + f(C) &= c(v_{i_n}, v_{i_1}) + \sum_{j=1}^{n-1} c(v_{i_j}, v_{i_{j+1}})\\ \ziel &= \min \end{align*} @@ -230,7 +230,7 @@ Eine Boolesche $(n, m)$-Formel $\Phi = C_1 \land \dots \land C_m$ in konjunktive \begin{align*} \domain &= \{\encoded*{ \Phi} \mid \Phi\,\text{eine boolesche $(n,m)$-Formel in KNF}\}\\ \solution(\encoded*{ \Phi }) &= \{ b \mid b: V \mapsto \{\false{}, \true{}\}\}\\ - \wahr(\Phi) &= \abs*{\{j \mid C_j \in \Phi, b(C_j) = \true{}\}}\\ + \wahr(\Phi, b) &= \abs*{\{j \mid C_j \in \Phi, b(C_j) = \true{}\}}\\ \ziel &= \max \end{align*} @@ -265,7 +265,7 @@ Berechnet ein Algorithmus $A$ in Zeit $t(\abs*{I})$ eine Ausgabe $\sigma_I^A \in \subsection{Pseudo-polynomieller Algorithmus} Sei $\Pi$ ein kombinatorisches Optimierungsproblem, sodass in allen Instanzen $I$ alle vorkommenden Zahlen natürliche Zahlen sind. Sei $\maxnr(I)$ die größte in $I$ vorkommende Zahl. Ein Algorithmus wird als pseudo-polynomiell bezeichnet, falls es ein Polynom $\poly(\cdot, \cdot)$ gibt, sodass für alle Instanzen $I$ seine Laufzeit $\poly(\abs*{I}, \maxnr(I))$ ist. -Kann also das Problem so eingeschränkt werden, dass für alle Instanzen $I$ die größte vorkommende Zahl durch ein Polynom begrenzt wird, also $\maxnr(I) \le q(\abs*{I})$ mit Polynom $q$ gilt, so ist auch die Laufzeit des Algorithmus polynomiell in der Eingabegröße. +Kann also das Problem so eingeschränkt werden, dass für alle Instanzen $I$ die größte vorkommende Zahl durch ein Polynom der Eingabelänge begrenzt wird, also $\maxnr(I) \le q(\abs*{I})$ mit Polynom $q$ gilt, so ist auch die Laufzeit des Algorithmus polynomiell in der Eingabegröße. \subsection{Starke NP-Vollständigkeit} Ein NP-vollständiges Entscheidungsproblem $L$ wird als stark NP-vollständig bezeichnet, wenn es ein Polynom $q$ gibt, sodass $L_q = \{x \mid x \in L, \maxnr(x) \le q(\abs*{x})\}$ NP-vollständig ist. Gibt es kein solches Polynom, gilt $L$ als schwach NP-vollständig. @@ -306,10 +306,6 @@ Ein planarer Graph kann so auf einer Kugel dargestellt werden, dass sich keine s \begin{satz} Ein planarer Graph enthält mindestens einen Knoten mit Grad 5 oder weniger. \end{satz} -\begin{proof}[Beweis durch Widerspruch] - Nähme man an, dass einen planaren Graphen mit lediglich Knoten vom Grad 6 oder höher gibt, muss dieser Graph $3\cdot n \le m$ Knoten haben. - Es folgt dann der Widerspruch $3\cdot n \le m \not\le 3\cdot m - 6$. -\end{proof} \section{Absolute Gütegarantie} \subsection{Definition}