From b23809ccd3bd17ef220ad5efe99ba2a352718d36 Mon Sep 17 00:00:00 2001 From: Christoph Daniel Schulze Date: Sun, 30 Nov 2014 02:00:35 +0100 Subject: [PATCH] Integrated all required references and fixed a few mistakes. --- main.pdf | Bin 359162 -> 358753 bytes main.tex | 4 ++-- references.bib | 19 +++++++++++++++++++ 3 files changed, 21 insertions(+), 2 deletions(-) diff --git a/main.pdf b/main.pdf index 514b9529fcaba80753a56b1b1675d622ff788a47..8360853cb18cdb3066992a440693285ecbb00a0b 100644 GIT binary patch delta 38987 zcmV($K;ysq^%ddr6|h<`0yH_7v2+0_f9+b`bKAHPfA?R(M`-1#2ph?aS#s8pol)PH?<0Z{xfEXz(N>2>-dQXsHc?EZGKSS-y}8O?q?p_Au} z)03yK70(=Tn(OTJB4dmZ&17b{Cfc#=bea7+dz-g6^95IW#^=AC{`B-UQ-dLbe-rK$ z(DQxIsG_eveW=QtvMshSiu2i<{EP}w6jyVlW_i;T^_<(;d0FN4O<8Pr^{Q!L3K+@) z{V_|H5usc+0l_Z&6+C?{hP)WUwC;MoEy~C)8kwDW-JpXb zlJ5EWIdqt^(M#k>f(b=5WnG6ie+dep2D4|fDC@fx!X^tD5mCh1?)xGtVXoM$xZ2|5 zOh{SZyuU2`*lZyvBNPZMU~;Ea7`LmJiMcr)ir|cLnOXxSjETV_iupncH!C`LBnWFp zq!EWC;|Mb{y()wj33I&6>$;n*Y+68B8~^rf)NS*@3&IaaIV}CB0W|$re{84Jf{ zn08}vJ&NNYptD8jzF>xM9FK!u6xT)BOp!mfLgSgZ5BidsFAjb7KSvf*u_Z0)N2`y#wP;6Dh=PjE|s0`jU#iCaiQ z)!q%3&p>?I%#!>mB6_cUH2TFr6aoE1Q4DZ1l$i$OK8RnmL@^Xre_l0Vov*+mxS6%v zd2r#YBB(TJC|VQi+&v(MjYRg_tDod;(cVP5ezV?1;&$W#74RnvfDdM|x|@Tt#DXoz zmIuj1aF(|zYC^5d27R65hMe@ht(hp5S+>vC2cYb>1{o>d8o78WUnqWC_cIN%$4C|sriy0Pc! z+=|(@{8;8yvAss^!RAo}y{^itO=-t~PXakGK@@X`g({8^s*&6am3PF-lu#{mQ>ogq zP^FitQSw-9$vd$HO9R0V`lPVMVM_3K9$WGoieU_Rj08l+e1^lYrR8 zjIdfJ_Q??;uxfgHF73nL*o7t5<$4EikHfqD$`1Yz-a*9@=KKSy7|wo{*`wUi{pwl3 zh64+HkbaWke-vZ;4)?9r; zuKwG$-*4j5{(xJ!cWLJTI{wBwmiOtnV|#=KH~>iZh=YF8^Jz+`_v&9emJ`QpZ}#iQ zau4!+-%=9)qp{pXAx=$0IhC>r0rSbn+r-!sZ#l<1e++Sy-}*d5>~jeFDZ>p59`peu zGze43eRQ&5z|<_o7MQAb`)p`38Ns9=LSyRM5-lV0UY0TQu+OO%_0p#>L-RDd8Iw-M zc2%CYp-WSSbZwXB^BK@h|1ZHTniJcnp|6sn(LMSxnQA=>`V4~^`zh_l*{hW60JWH5 z$|mL-f4|3v4iD2kp55jNW?^DzNyp{U5}7##_!uRR`m43^rNI#3;dB+xNFbPUC zmPw=iMU{k5R%o5QU!VN?8_kyR@h7lG;cRy8yRI|j(ZHlt_V(oO6B0I)S`pap4vfcq zJ(}$u<1v=j>QMwNcom}_zJ~iRNu{Lz+!60+e>Ug&`?=r%RQPFk^=iJ*!p>5Hw}MbT zx-;$U;6uL6mm9?Ur%ipwji{w?usH5Q6f@TQd0rH)ztPIyU$%H90DJT7y4>Q6oh|bw zw1|7J3a2}!QNtwjn}o|%AZIo`zzyBw0vre7uDeZ(GQCI|nd@&oKisxeMJN*^-*|_q ze`+^$jnP&U1VMzDm%4p#@i_!X^h81+dtVa!tdbXtw!iJhORR--bXH!*OHKI4;!V_? z&B``t~5;CP$0hZUFs_(eu#k&JGxIDl)e=aW9h%cPU;|m+}I&~Xp713NiNS!<> z38CarT$gzp=07i+%ObMyJ6@xP4Fh9Se+;?I<~X+PL2n)n(vyG|Gz4N1nRi@x0`j@Myv=)l$~7lhw6YBrYMVH%4O1w@U9vUe?t%* zDLpl&aZsYDoqEY}45@$;htpMe*W*Jq7=q;jhzj5Mr$lTK4w50bj3Yy^$KYv9zfFz2 zayS)^mfeS~_O9b2o5Ybrl5ixn*4{oY93Yn9OTva?^`jZ<)=Y29SQ?^W8xjoIWCISS zGX5c@Y6vHc#bXS0d=w~)@vWT@f4;;4Z|!(@+1~&Nc?agNW0ZD8Y`?U`w z4O9B~0aO5!pmVTh_SYOJd0ji0|n{xRhDj6wT#QO99e*5O|!1_^}5e+CJwtV28Q zBuJHnfx$e(bm*9US()#+F6$)Q%K`*ZgCHcM;DY>PIDP!G0#WShE5Cuk-(HwcLc=om z6Z==x*_2G!Ps3RF4lD37!vEzuJVDUA3MgKLow|$_Sacly{IYA>9Cvl}E}&f>=y@EC z*Y%>Tys9NNal3^Vz(}GRe*j!is-$JImzw^dSMMU>uvB;%)JE}HESZAlqaq5$i0U`W zt7JGaC?4{Jn@xBQ-L0hhE_bUPq2j>7&k@#_Nj*oj8y|o3bd?+L3lE>AqqM$^;|K@D z?+a)X$HH*fkKbv3B$(`Zw$FNySkI>|ac)u)^k>jq*yqsrokC#Ye~W}@18^OJ#L639 zz70LRyMbrtZk~j{{=k4Q^==y|@bG_PQ`i)D)-yPOwdJY}jn@G~%RR;2I#Two&{Mid zTJl9C9?d9N2>6Yg-Kr`|e@tOP3W?&OSX!s{`H9AJ$@J`Rm;RiyS$iRPuAntkP*kyG z%y*4;hF|vyh;iwoe{{o|)uBYZU(LfgY`K9$UaE)=wzvLZem-9y2RB8`gG3bo7Zvi` zcm*;&%#*-BpJdr#khqJYsyF`s;I<&Hu`%x zsC2Ez(+!x%=5-!wtb*-TDa7Zyi&asf{h+p`iu@GYz%0Ojjau$DLK6DC!%Cn%bVJ)e z=2im!$~;t&e-&Z$s_55Obu*OPWq2#Yq;~eBmlU9BoqM8JO_O)j17!3dTo+P9=*u!e zbeAP@Nu#7NY%%B+4?fVQl#g3SvIthXirK+sj`M#+uDVjj{QOCHxh`WmaaVV~Cw#cV zF%aXRc6@0tHli9r@-bH0t%_|O)0Ar*?v>mj1!Xr*f4z)SXI+knV-+-Ihtf_=g7^0J z5E4%z;Y58#%j_)%Y?V_%q!~+67}#N)ff@W(0fJp%LOzC{e?gC`B>TD)1HsEYP8V9B#QRgkNg!)v@vvhraZ2AG`n{1O-6EacyYbmZ2Hj zKm$7sKD1Vh$ z+j84D5`Fhq=#i?j7y<-usj1zv9cP^DdSdUUYVAD0A|$a)ks6SUFJHfX0cp{uXRH1i*q9|sd}-iv6K`F~j~V_Y807E<`B$avw0YQ6|n=H-QHjKy*4<(*y5 zW#Vnzv@oo5T2!Se+OAsj+!WQ?pv1JMI{fRkH}i!|VMT5#esiX~-FzXuww(*l;HW4K zztUjVngZ;kXa`=~1%48q9X>vbB0hVIwq%%jU6u2o*z)s&*Af;a&^K$-IDcW?G_+sE z%Tw>j_NQxEd!wDe*}p3+4{}Y|0;FOOQmJBJq!ApCj#W98ebggAOZ)eWPx?9tLt_@_ zw!SHiJ2RoVx(*YyvF#y!??Oh>7jZQHY_|%*3MGJr&(LFFL2#zE?Z+E4eA?PP*6UtQ zfZ?EFXO)G4jgxY~9N+z?Xn#6g7ENI+xSS#5H;)}Zb2IGp`8tf_NiQ`NFG>l76Rfwm z;~npGi$A7peTFQIXR)6pVTzC?fe#@)3nAE@B@s*@E2N*og2kTR7xW`;cvh4v!^7M( zJm|r1boJijSBZ7P(l8J#!C$P)?V{Bai}0qy6uV zdh}5HCm#}`UV|yiLVrxtHQ0V^pV`L58<`uQ)v@3?+SFF(H4g4;+DdsS(ABCfFoC2R zkqx;;xh%l^*^5BQob1+g4MgKDW}#a`;fw>|DM$Lfr&;VUqJYEszevkj0U|4IS{^@k6>2`w zenT%(1|C@IkoD>ter|O&6|fLdEA7q-u9DGnB13mdweL>QA>y?YHbMFU&e!8IB}HJmq0g8VPMu;1rtNMXyQ4~N|7w&iicbcsUVp{NW`KX>Rx9Bs|U9`f*R?lQow zsr29roYj;e`=WiP4%@%*>qIoX?$_84l6Vhw1mL%qsDH}|&5r8dwIs`f9Gd^={2XFx214WzR1p{{l>be$2uiCy;_wT>zCyu*w zkxf;@brMSXsZwLQ%(dM=4zt{+o{V-Y!%WB3KJ*@;nXsnc)_>Myj+<2QLMZ)AN#5x* zx>~oL9e*wQn+`SQwO8WDXw~d$5e0$wMcaaVpTs+^%bY1Y_D)LOH7vfwfVH|S8*Wdr zz;HoHyl)Uu8*Sap6(gRU>FT~T>^l{O9QU#M`2luOuz_@^xssDX zaeu@}!j}Vus91UL=P59KqpSMR3DBu=$g!bIy~PFHa#^_d6d$KqhMU(*e+p=0rRtG8;l>UP#@_p~zH4|$PK4)& zDyLcxexvz0`<-Hd{0f}WO!dqO`}%>=+P)1`I9=28#PhmeDC7 z0yq|oBO15}`4KSf=vz;#H53G6$uRX&oQDei0621euj;a1KcK+1Upu`fUc~580wYGI zfzN_tXoxmgWV@!PuH(7^*AL+q1kVF$a05n?%h9WFnqI&>kplJ_zzKXqg%jqme}5uF z@8Y3iDztS~BjaGF@=>GcC$;v6EV?ke))074Jc|}(AOdIVSnpkR%i1Zl8v}%K$di+e zEt(bxZ}Dn89hCz+Bbsfq_;=-a#5P5XP`T!}C-hH+DIL=9%ud^OJ1`NxMwY^NdzlYX z=k33Qwog(u3GHX{U8!>~nT`a(;6D2D%%hA-C(d_qg_iwIuWbuVRcQK2)pPZYd9RiB?>|9qnvU zGGZcwJ4BZLQusxa7=56=A%L>}s1ckHk0n2Cr7(o38A=j-QsING1iOA)1w}16%y77V;y>lh*KW@BCwD&>X#xf zo<#KSP>jdkRo6U8Eg)>I9}|AKknnM|n|NRNupR1Jtz zADWA2HF_Xi{oNgZ_8pmT-;$=yQ@^ompc&HVqH{jyyE9gVe^KE>_%9yw0)p+m47QrGu=@^-e&25 z>R0Mov6fC?C^KKl5r(j%43oFe+8}sb5kmo;un5PkA>8B~<|0ev7}V3tgFg=h41<{% z{_d4fE<_N|mfM4?AHgh#mvGtfL%4k2k?I!u?-bf*EbHa$;@}Vd^Ee9dhMFW?_~9sU zyM#+kNZud)trjM;1YR@)K`or0V$UVPV909EZ(Df$NV$J_VbGv&GrF+Bj4l@78o0Bt z0FrpCdB{1Tyzd*h7C==D1FzQXF_3Pd8iM4-72|Ji4I+vBAciZeg5E~CyF)r@0r34F za%TMVld&TcgVv6R){X(U){X+Wa{@OplR>T(1u`}>Ff^B;vjHc6Y`SxBuT2&;8ryb$ zv2EM7ZQHhO8z;7H+cr;fVxQ!`GxN=Sb#L8z{@GZ&dhOM_s=KQmG9qyYdskI2M>8fm zCVED0fQq=X91|lWBY=^f1%`}F#M#Wq)ylzM)X3G08=zrk3Q#d~1TZlJm>C(FV8{R> z4vt>VRu-1707?^os(%Lo>b6FvR(4j-0Cfjj2X`wIO8~FCySt#fiyOVO8$bO&MJi@y z09Q*hfVq{e89+oqQAKxA^;O~V+1kn**_i<-MI7uL-CWI_0dfweX3q8i zWd}PW`~RYUjO?szz5ai3{|6!EYV?l|LiQH_D98Apkd=$Lm8Y4hqLu4EQkxsu{v*-9 z;~HlF*%vu8Q!6*S|J0lPqsKoxYU*Hb>-B$@{HKk7FUTM%rlBb$PV>J3_;*^&-o(Mw z%H9H?;`)!4M$V@H3;a8+Xk_)D>G?02|4tKt>HqqFaz?JsR-OPIM*4q^2jjoK|5|$g z7bPt0;ORrh#K{GqV_{|jFtM_+1Grc?{Qh5bP28NF&Fo$OE%-mZ{MY~YAeotYnwh|C zt~r?Sgj#2`h5zywD_N)lr&*XYRHIpA0$!i(`=f(wHDYOMaB_q5po&xI0f#>yWXyN) zdtd5*p_SMu!3^$fdM1`AQg03Ct&F6~!oP0!L#gP!F;f2)OdZ?KL>}x<)V*ug)@HCG z^$crH{#Bi{Qw1Ng1XHYGW!E4$(q7`m@{_#;l^z93w)Qui*%3`G(t>4J@vX7I+uDF%E06$FR3qR$%@yi@)Nx~Cm}c0A=Bi?wYd>`KW7Jd=+O{SFHIff~ zgua?xEm)XAt3G{|eHozjfj9HI0%IPgIAR87&xtH_p2)zr7=ygW829lXJnsO#E)2x>^D zclx^4{^8$K3aSj|V7y6)2hNO3AeZv4vGxm%XOlgV8|YZ(dA=`ev7fm!sv~wNG}suey>@oyO}RJ1{~r@(XC-7|sbQkn0FS{IB_< z2|Kko_E}?P+FZ|I^sn3~K+ZUSHk}gihma){eoB3bCnen35)()&P~YQYr5 zLY(fo(=WAjF-lQF=1}ig@I0?m=bhvJAaAxIY{)HiF>&L#%w}}u`6>tS3Wl^!2BC_M z^Wo-KB;n)DaVA>h7O%=XZxXGUV1kf!Ftv9%L6TRe=9cS~?(#n}pauGWBoq}DPyl3d zZJ4^R&;tG|y((xmvkL_bcrKf_iaG2=!AWbJs2fIwpsR5aqriw(F)UEHV=Yn4R|1zYN1s3R zanVckNo`IBgU5nkcTrIM2nDK-^w~0PTcB&wJ~dn;iG$LTH=t7y1Qrr>zGDDJW-7Ai zqYj4y=C_;clAu2Y`GQzR&2V|YUkWuipN%UpjvXKKYZH1Jd zx0f5Y+tnYv`WnDv9ij7zsCQ0YrdH9-ea51uX?qD47CpVVE^zS{E!Pm2wQwgVH18s8 z6z#67H{12N(l3Z4aBg|d=I^W$rVfw73hxmZ$x1;?q+8WgO*SOTs_-SJ6z7Tml)F(N#Ae zy;U*rJDm(X>5{q#C}Op>@LZyBf-}fIH7neL@DuzxgQv7*^*#p#6ehaAK=!*oO3zsop6W?13Tq)Tur)4WIn{Au+el~ zWhFvTg;?8PgcGru{UJG|hhY{*G!|Ly^a=BZpa$W20ic)W$0@ZXNOX=;Q^5B2h_yui;s);D}U=&BP!KR?oA-1rC7oTbj`3 zn&&?~kzLV4i<5sb5r(fAbXo0TxBRVkh(+pgJH^!mo#!t*x3nO(N6Ft+<>xm-em8r& z$2+|qK$keAM$&pP>3EFfQ6{pdrp9{u(r@lwrU#0dU6_~l*$0<)*b>G6?qF-;W6=gaJv^~f2Droi>E$>Ov&<8Y_1 zWKqCF+lS}mn7o;-5}=zCo*^CtW?ZgJr>@L&{GD@g;B@WHG3juRtqcXOuaiuFD#+s& z;VQ{A$dEV1pk?J1>>0s+kX}k;JlQ*d7NG}=Y0Wli%p4XDoQXn1XQAqBGeM|NwqMxm zgecc&{Aa_=8PpD#(xXRuOI*RA!Xtcbsv|`|D-#U2XB?RV8hZ?<`853qi~<&mCVb{u zO+A@#x^#XS6c_XRWO=61Ts(_^N&^lGMn~gn#Y$(AN9e0N12;CZzuC?M<1etft~Hn$ z{>O^zx9*`Ua>TptbwRb3u|Y>W%Vc=I zOS$vVS@vF$X+$03NgBF81#83HYw_`!B@Z|+J}H`kg)(9XY>+hs*4|Bv3ms!yTI6Q6 zmNN@+jOUnunPRGi(zVS6W?Q(rw6Xja`OWQMMU^fO9R&rSy5P{wPk?jhVD*+x=?oHDsDH>(LcS)w z$Qj%ZxU}TmOlU7y<(N`tpTtLoZLre_P}CJ1dqxKpsP{_ph2saYnn4Tnmn8iXIRvC~ z4O17E?3yF@Q_y#RRh#9wyhMr%`=Ygvt@X5ZcqqT!y1&&dgQ>R%X2!-O+&HTLfYak3 z2o1IfOhu7LeU_g*RL^3u#|f3==rF6s&o%Zr3atkE*A4N;|pNa|w z9eV+W%l@CA3Ig%Z2Nd7bzeSOB0<^}xuL@s7l1Z=qo+9gok$VXwY=6*gp7W>{MlyPO zxm3`zj1L;{^gbbsQGGMSI_!>yVxb-Yor@Hdt~qfj#1v6?f<}0p zPctE9359}tFGfQ0Lr$4A^Ihgsm{qQaB&6TAr9e*{AEy?i8}hF>^W~E0$1{~xE;^k* z@_Fp@NkXTUm%8wpN9`#{W-OGze`{j~3L+N-)XuV?F`|(Pi zjC~YU#;)sNN3+b%5d2pn_05E9%LJR}I>lel1;IA9K4Dt)q}mM#0%86?LxFayVq%-l zp^oDYx)}RsZvCEFyY7^rC{-YWd!(ayG7>>!3eTtGTl6R5h=VPH7f^epeorOaqsSLD?$q#MT@{$QeL616Ym zG{so*Ac3JI<~?)wzj^oJ6DsZmsoiS*h1s5P=eoF+?-X_uO^>gn{7-l%Pzn6hkBm|g z@R;oJ{&4O{Qj^98qw3@A9*Fw^sG3APxN=QR_jbq5cT~Hk1FzkG$AUg}wYQcnNoZ|g z8<3}a-TVHQjn)l_%-jIb1s07J)kt?H^n86Xn0in*&84!(_OXnaS4 z#1VfSDA}1PuwLt%+ieT0DtQ*~h8dK7_>HXOndf_UP|8t5gd%&>L}E5}{vZ5TL5_-y zq(~W5+nd@ug#$tW^stII0jE-d{!`VO5q(RGa*ErpMssq1RP!1sf=-?ivj!i5n(x&J z=iZf!n1NzH#MS7Y(mvMM9OW3a0*yl3HGlHr_QuAFZ+{k5tFp9KmY{IyuQU}mKG7*O zmGd7Piqlc!x-#;6;r`y!KU>O0$rAw&q!zZ2FN{r>p1Q|iom;0+gSw#mu$omo(F6km zJvtQ^)+14W_HNXgEBsuFoD_#A^LE(j4E;akaXX>g5I%_1t++JuAqI#C4D&rPGw<3V zDp!Yl@$czAghM&Q5jImdw}ZpVNBC{Lm>NJVN~k&aQH_L?J!UCoJ9mGa_7^ZfnoS2B zky`IPr(+##I!yX-K3^N1EquP?%($A>8$Wx73hlh{`vXy|IWmpw-o zZT;XuYk>SMt)AGmikg~Ks<=)1BR}+@`WyYdONFz4H7r+-Cylm-(~4b}LT|1vCpqs| zWX!N_s+MjWk3Xq=vg_KyNsO(xMp?C$&jWRTPnW*?So+VkLEG%}a#h|l1xkuge2+w{ zISJZQNs|pNCAYyC@{Q<&B9fX=CqX!ZSkVpevVk}k(Y1# zoY{{im1`bG0}n;Jj@Cr|qRM-Usj2jzpU`RhKs>HOmE#CGWLT`}a-kG&f@H;&WxWfS zPI1-F7h6%=Q=BnQh|#Bo@SS%vh?}f`!OTt}PJo9}30&As`}trT7Fyki*+DFGv$zop z!@WW`ttrE+V7$?9UtIQY4Kb$b%cs6W|BEe)&HmRQP6138OqI;9(KYd%PAJ{J{&xxp zS`?jzm~3bW77&!Q03%RJ<0O7#FrOqV*Jbvtc=4(y?>((D;skJ~$~IW*svHdo zVc&rMVI7BZ$lywR)?(n}k=VaS{U z^gRHbLri(C+SG9Z>b6j z#YLnti59jPZlsVDc4 z0#Tx`95@+OahIRE$k9_%;0KA_R!2ue{I-6hpUywYz4WE%Ro9q^6=$=9!gC`jRK^^{ zf%pBsr6L{?=k&s9&8SxpC02Ql2%>w3 z$Hni1#D8Q;?X(Gm%JrwdgPK=ReC+UT(W<+2Uoo&3b?3%7>M(lZ><>9yy174vZ7vUg^4B;5pH(p4pAcT7>F)(j zSX!W|+Z?wulzQE(|HP8j$)>dN6R*EZbo+|mP18%J29=I%cda3Efvn1vfqd;6Io`43 z8+JDj0zb8wiVH&)%Fs2bh8aTbD8gpLBB>jLjw|oA>pg)51&IJNKdB;UB56Uc%6bH6ZAx?5oWXw~Ojn=}fby6zOJ~0-=jSiG+ct_MXZItN; zJ)$4wn=NgK4P2OGw~usbdb)7@7is?P%>&7&H6YR&!Kc|5LgpFP?1qPj0hZq(% zY5MLSbu89H#hh$Y?q1lLj)u=dJ*rP%L&u$8qnfl39wCpfVuGC!X%%WY+IH+b7J3_O zvq#TruPmMofak5-e)raLsC;!vLP(edx{9gO?KZSUzLs^l;j8y+htrPCIjtf0FV7)t zpKrW>otS>v2Or;I970R}=8)6CAp~&S3(1)0Dv8<9iG#^m$)RP@R-02wggYC4UDxaa zCN%Y%3+i_fM_`DFWe}%+A4f9x%0$egs~PUwM^msq(|?C;_I_8d5!70Xg6EK-2AZDO z>T4_VCct}KxBkj`Q`x?&i$Z)Pf4U^ArtSTIp7Ik3!|L1XR%@BdNhudw$#-X9dLXdF zSB)(Kk-{_z792uuk_4wtrr1EVFi3xwZ`%#6tAnmc&F8?gq`vjAmNm_J9uK+TUKd0* zL*EooEN#*o>$IK8U3e_%_OV`VB`rU(^MP~8Y5-e5)(#|o^kBKT z#+8M6Y}BM57?oHZfURnY)a&`1Un81i^$A_MsQ?2{y1anRyK4QZLSI1Z<|&-$qkb~UF5mhlser5s$vap`Bf-^Qsop6Sf?q=hSfMwR=fMtmoAcM!+XTR>q) z)gMfEwh>$*LDjDU_$N?9?FZLfMKMb^C7lpYaO*;U-Kh;sj#wjQQA0@0gZVaQI%*s> zTWw7pKF4!I%#ym=Vt5^#`8#ueE^orr$9v*6N$K}^ch%u5YjOm7Z|KQW4ZUmbL8CmW zwU(V@!F$afH{3lcarXS&72OjnXD#*%N3GU-6KR9>Bf%VGZHU1kQN1>2Hls$zX>6cj zZXTRgLB%}2wM=>TU<+t-K8z6fM%!ot?e9>r+Kb761@xqY={Q~s%s<3`UkW+%Y-(Pw zO4vc5tp;biZi_7pPP&96!_n)!9%IN9uTuzM2oUKJQGn1NH)enU%&u4q_illn{boAg zwnZ3}J?a73tfoOu2?vwgDL_#ne@j5J3UIji`^UrF3fRSggZGx9{!Y#_%SsWgvJCkt+f{bD@3KN7O`#FSCT4H?Gs^NFNi+a5B!U@e80) z%Kme9$RhpJnYVY$q*gkRpMoPx_bjTH^Qni7M(HhN2j6CfLieO7Rbn7@IWsBjEXf<;3li{&C<>NYND^Ve zJ~?aYly9LO&3<$7vV*OkDr=+xq@0<%H##;Li$8stO38?>LY8+Eu;W5koNCaxB>^jY z%!OPjm)-<_YPmAbL{KaOoI~SHTuJX1sJIz??OnPvN1Tz)zc;o!Z0cW!cUTQyvGLDI zG6)Vh5bjbtYThBJN5r51w9*~TqKa4<+q*#X6kfNeLZ?xKbQ&*8%naHHQ4!Trh&m9q zgVyU8&-^nz-9}m(cL~O(HWibgg3KHJpl8v2``ST&5t_J4RACP$#2aK|D(7Ju>y=-7 zZAyTl27zR_63{I40a8lfQd-xZp`)X-_?~nn~v&QHl@qUe|-8i%-Uwo*dL+06oCR0dL#kMWDc) zrwC+ZUubqau)iLsl^Oq?YwqZ*0`shVZ4=>>CusY6P3*3kL7fU$-zE37gOMJYO8gX!YThe z-Yq5r8l33wLI2@tBa@k_I09m6eS?6eu}5*m19IbQZzq4719%AL!x0*tqvU6MgcY)f zsrYZIGyBhDD#2w!niciAat8Sh#l4wFX|lof1iFAMs*W3sGm5PZDQ7zTsttvWD5IhCGtpShiYPI;q^8q5 zmn3Dhuu*?~rl^I3x}Paxb)+p77`|73Lb=IH@)Tvub;@lkWA)N4UuL*nk?|u!SZtC> zFFAVAK-Cp?ggL(!p;?D7N3S?lF?V8pAFA7EmF0M{mXuQK86lc zES6W)Zi-L%2200!Y0@kU5}wpk#IN)UqrU@7#>9Wg+l_zRw@Ii!IeZ$0NY#QVDPK1P z4GVR$Yn5^ltO;nh(Mv{YWH#S_q>*qYkD}n}$YGe3-8pPK!nh39jWxcxM_^d|gfg~N za%{|X%PqY>O%F5D7V7m)M7>{yej`>{~gE6dhCTze-53S zb1!mIO5*cv=GtlUDm^MwsGV;RD$gMmuNO}-l#kM+e62U7AG+jx@S=Ht{Uu602Jaa0 zyH2dAwm>ls@+TX`)nTO|@&beIXkkhjOdQN-!sNXu+Z@mT_D3b3|Ct%}H9_f;`O=xv zO{kVQMHDZg92FfwwO2-IWmcp1amu$8FS`qyc#n_@JA+j;%2>hAQE~^ZcTk0r43fWw z5z*DdU@0sC?iJfc>U;Qqaw_E4cJ9(lWSad<(oT@4@Rv-h5-?|-vd0<~W|E=8jgKsT z-AIv{0$o&XXqY+Yi*YIHdx*-pfKC+K&1Qfv9RUw6;|df;9+JKU=Q6-!$3^y%{v>tY zy{M$iB0;n|MiY6o*FTD{mVtWam=w4DlL+7Yws#$>Hf5m3+O~mzWkJLrj`{P_$Z9!( zT(CS|BI`&wa?rv}@3@z-Y)rN#zyc5}9B*qi({K*yCC5Q$**X!~L1$xpe1RAv2UtbM zhpJm0hbln!E*ZZdV|5)Dlgr);eOD6F(jQXVC)jcIRjL;cP3ACiXFSuO3{(a;wghHe zk3R~UOJ2&+L(lPlpakJ}IM}gc7CuvmBv{@{Q1#odfv6LVI?U2ht%)i$v}kt2h_t2r z!>1%*P)0p8iea7-Oz5Z1D{?t)q9Q3zb|#9hION$XQM$oG1+_fK0XXtIRhgX2P>i$< zGRK9fA*n)~+v-Y~znumvfNLn@LqOpU%>VyTA7yM%5 z%#M4Dn>p)m9})OUcqUS`nMB|%mZ$ETU@#~0s=ggz1@1%7x2+jbOmn*45!4%zP&>L~ z41==lqd1w9a2raaIa?YGG9((*uAZNT{#iz{?B(Q^MzF=_y(p`z85QRE^fi6kVU!uv z_TJX+Q5HRaTVK_Of{Sl7GA41WwNte&hXAZwbs17eA#$XUxz5cUGqlEyZtKCdcy;mH z4Eyn?aD$3cUn0R(e3Zg8ts9^qhyV?Jl8^-kwRwKj*_XVPkmG&#iv&XFa#YHB0Wq?< z6XN4EO8N2`-l?wK>4}yqU!`$*A)mp1ac&0?mR0nBl|2J|UEf(SPsayQ1z^uH#vyHe zHO=F*h3n6XnHzOkVOyxjynkge^(pSr1b1)~t)gF2LkjrhMc%EYDQH|8?%V9+SWk+y zvAmqt+y6SN-^NF1KxJXfV$)1~mc#zN_KIO1pnY~+{$1%S9%hIZCS^bV|9LiS`Jp_+ zLjEm(3}jzK+1MCTl;s{a(e7Lme}W&fBL4T^N3AR&3!NauP09dcgzI96dfhUVW@9M4 zt_~!+k`VNvtVM{%TUMg$CSDDtC{*zK^nQ#GiwgN8J!j~LMn>@1s824%-txJ0$fWp} z7^ifokn-&X=p>RGZBLB`=XDO<^x|#a!g(Kmsd&N{wm&^;EcJ{hi*-x1^wpNo4#F2% z;$(9B63neY0(w|)(o`Qk1y%uPVPnj>&B8zc?%V*pI*E+!s;jL?gd0|_?3l$xX1)br z^b4b8zrE-AVUUQh{HDI6C?!@x9|o zX_vNR=wg34i>a~BCRB9^H^-%eI*erl4~lc|f3?LGwr$jCRd+5qrgJLWV4wU(#%l@Q z-<=LI(ikwOGVdx|UjO8Xj0v4C71kpG=1h?nhCQ!)kEB$Z;ht1 z@tZ>$$7BK=gXLp%@|V0>w7#Sq{CXn_AIVgmz`_!YmxQ%;9C4;+<1q$4e1H8;t#$*q zf7AjvwC0k_=k7O6w7C7%nmX!<$n2fBVmBEcG-?TI$}H%wbc>ggX>EUEZ&A7)n~({D zAy;2AdNqU;ex8T|34niwC{kFfOR?Th$liRH*=j6aOa z*J`8tKq;YWL6E}=@1i0SLj=DiCe!sie@Asu>a0q@aLkju5rO{vOLsM?3q^l!Ec3J?02Vl)F>M8&&5Dtq za)v9KeocB<&Fc7g=1&JgWb&}uLc}Mg!y%qw+QIHjuo{u-gUVC!NWE<|$~?UIo82{4 zgs)Q^WtAQ6@8v3&`Aw$^S@);?f4A0PoY~3dA9jOof=8P(kQ_%>mABg}v&GhMeQ8Tg z_+>Z#QXli z0WABusTz2glF7P;7gMnvvdyDg{Wif@iG43Hw|C%#>0XEmyJ6Rc(N?vFz`~-RPYq$mtw8ayOcZ zrJ@|Ib}eVh_B-*&GW9=-e}oTSbnim+)dYXvcz}lF(Y*gk5>sdCbf0x1rox1HtEgopzdF~p(acb z(`fiqt=KPml`eU2)0i*w(Wi8m5lkHZ@`T}wqJ%=5`)eH6)pYy=e+15`pLvM*?rUi7 zvFDDS`~C$%Jyrcl?AVRn|3%9vIOvkd-R<&|F#q1*X57KKF?Ja2c=)Yxt%6vc;-s-6 z(F>y~^?S#J-Zq9NoTCidN`qWt#C?9ug(AE~!GS=?i8L%e?*`qWX`qeQlAugik!?>7s8_sTu{_@7W5IpzvjM2@t+%wQlL*;V+xKp# zP@S{Bq;M+3f60IZm_nO68NIZQtPk#MeT<}##?=Lte#f^H{Cb)7FiI}jMdUt9g6Gne zN}{(MjKT2A74cJ#Uc6O7xY6fQI%8y%U@Z=uQD4*4-@EC@k>S+*YS2MBh_D!YfAYxE zedK-clm;fTY~qX4OYaE@%Z;ybh;~*sO4|6I;;;QHe~pFY{9no%L|?g-$iU-^P8av0 z0)$-+kke=$3+B;>Vt%B+`76R?w-KSBTGQit!R&8#BwvGA1cRDq_Ja+{G2v*5-pn1& z)&l%&n-(HJvzqvEAYZI_S?G{Nr^nrF964}kv`FV--~60Fkp*^0ugHBdXvqTyJS2TF z;&BHJe;(u|ss4)Me$7uy_vR7_qij zdYbK{sumHw+F6BnvNH&er@Kxsxz;Gi^&D>S#cQSW3eC)NtX_sz4o=jUY}40+T?1GT zjRdk6D7IC6{soOk661=H)wY3qM1Gyt$gG*zf6ec_017wk96_y1**B?hLAwFC1VButHW84zM^M{7z11ztQewQpidUEhkQ+R2d?VWPA ze_^o-K0fYeV6C4TDc1hGcA+}#UC8I7jOo-p;sa$NQ#lv!L&y89y}E@=w$xQE;%zhc z)AfHkasu2Er`16@>_d9sC1+{tx(20pE!4l$B(j$kJwZc%`RqVHJuaI-pJUGW?0;!z zP%5FPqj`fJRPRp>Ao@0JOTcDftW@*lf1zCX>4Pq$@=Jh%rs(u_pk+@kwbw`ghUf7J zvwdjDGWvbO7(w_cqiRWWZ<~%K=g|2OBEvN9pv1x4TODC8--gt0D{K2mQq{6zq(Pzn zfa1`k*wN`2-Sie@yZZ_{{gu>@T@}i+MPL%0y{Z8zYE16jTR(B*bmK(K@*4SDe`KKI zeCp{;KPHw$$qvkCGQ=++InZr{W}a1XJb#7M(rFGW;ntNG8-}D+`sm8Icq>$GqvY zkiqW~3^&mVly9-Y+7_K$SXE%yY*~m~7c@k~H?|bNaAD(Jv_p+ef#`waf9iI5@j>nn z%awD`xWeT)f{j%UWbBmfU-Z6Cr-yA;nX;@qjdQD0fK)H5uvgxegQPw2yOiU>hto`D z3L=WBlAp19S}>YY8<6zd=R;Jm!ipKS-9~(EVJNY2wV5H)f@4Gr z0GLjRo`RSoVt+_R+sxsoe=Vtm5T2j_Q-@_~md`tEY?f-GElmd>bUjI9-^G9`E{L-5 z+DZ(@^aL;aCKsjo9GbXbB;hh}#_YZm8#?kp%Wp48_ftC1EJ=(-o(JyZ%nv2X&&Rrv zcdxKTZ9+yKQS(C%%R;!&lqRriKLAiinFB-CuiS*s-e?NoHo82wngxldg zS&C>ntVz)+rYE2Ye8YofC2W@i9Q%4*-?Ij_ET6-+{13%fAp=VB+^3b|`?YLUV_0EP zmW|Rw5pk+!di?q98H>t;NY+XHb)ESY@LHn6n&eZeYdK9WHoRDT3M@mJz*sVdNUiG9 zG$gpGFIw{X#qt+*e+n~u&N=ck!0YaziaIoxVK$_4*$a}`6~pf~W16lvuaxS?S-A~Z zAl#0M%VJT#q#_bY8Iq|=ej#siQ_|aN?6dL$?idufL3&J*yU%$u`$)+1=BU-k~%X z(hQQ$$2@tkf8Vwc&xjOhE@L(*oKKCy@%6WqMJ*3H>D_ecv2OiE$!1TiiuF6x*8brkfUAQNaa)&yH%Q?Ex->7|!*%0O zD4fpDi}Q{z^&Z4XXRhStRJ)c7y%q@_!)IdSyoJ9a=X8l0ya~ppo$y{5?%mV-6y(XH zwfqTXaWt2O!@*N2=VWztjqeKbq-?_-XEaD~fArY{8px+xi7BU|KT*mi@f8?(fbdE2 zwT1pZM&MP}V9eMr^?IdfLVi~0>+--&&V?+@Z#GwWlWU#|EtrP4l#3%MC-*ge1fhh$ zZ4h)~z&&2%z4g@`)>hu6Xfgk?*b&U^u#`-|S*LQZ#=rQ zVniOa6e7-XIFc_IJ`2O3%Lc=3~S0E#*#(((YJZ-8MyOl zMaPJn!5;#r$k6EO1>LB9ap4D~9;-uafBcEKxy2Zi?&b1x2Pam$=V>;M*4*w%GcJEz z6xDLTJNC*xmV#~n)?BSWAJaf!Cx#|D$A)((g_7Ptd9Ac2Ql4{iM>B#mLv1CXgBnAB zYgfG3g_RVb(M^emj_tb@H*wfc{+?_sbe+FkV zECn!a9c*y#k<(Qb)#CLSj#9e8B4aI0W=tyo9e;U{SZsC(ZDe^8~Dm#g9l_P4ENs+afz>nEcrdsZwk2li}0pJ%!t zYT%z}M17M(_f>q@M;FT=4&Rroa0RxdvEvr|CTyAF@R0lPgK{Vuj7c#wLD}IEB7$?d z)KbjiAIK+{j+5W~*+0a4p)lwEt9+G7v5bm8U3jkk0A_0I@{IBP-~sUrzkOszUQy09mGc7~x7M$!2DZdyZ^eK#AN* zWYOSxGY^q~&k?qI*Ax6Tf9jS9Y~K3JGAGsIy*wDt4Hrh!YdZUbz6Ef77k}-!a&g|} z^prFfRWCZH#WvA(v<}DQ?X<$so{7!!iv#^YjC%59A#~CUTw(dP;403@0TS&1+!?ee z_b+kJuFnA_>yVgD&m<@EaIi%gua z=`Ec0b;9is+EOcW@fY}LpR7gHYaFVumHs-`scp8Kz;_$6ZQ=Nb?0=GOZh$9x>02#n zZ*Q7-bV+T;GJ#q$NC@$U%&KQuU(Jwp$;BQf>u0(%ZhaXaTYD3EGSv?|AjJtm>W1E~ zn_w^pmtRaMe_;WLJmd;j*n0Q_Zrb=Vsn1}}>J7jX)`NPXXG4?H$J z?N{pJd%R-Q_chtKk|A3WUS6{q`QKuR#^6pYMzhh&e|IL3s2xC1po*X6ZJ=-pYXiRo z?|3XXTX)p={v0tfc7EP^lBc1$H6s}Z=xs)B>KO&JIhlOn_XD9x`iQn?^}LZR5KmIv zK_?PPHF|-g*AI*09(aEDcCFvPxk0yAm-x3{bm6hlCpOE>MC>;0GNqY08qm|`>&0t_ zDJD~Cf1`l#^fqTUQ%$mW+75M5NJ5~VNZ)!gZxoW7O>8%z>=g*Yr{h7&!jU{6JZhs2 zfMpTh{m}{Le^0dsK^-#k`7=?QOG+mjP=HPb)R-8dU(t7PV1w`v=TEUi(2Vl;1w#8mMo1i%pgQ?T&KB?ow@fh zf3{0A@|bLA2nTqeQ95K3Gx3$C=_%WaK;86U8+!c)M7FD=(vG&Tb;>J|jD68_S0vYY ztA~$TmF(k>3xfvuDM217c#LSZ+c?8edu6qy3hxk1Xt(WR0~_W1*bwaWKav+73sxe_ z#-*wXs6#6Oz2!SGI+*;BT$KgcVt?1w z?;GT)jI4u;P?NVbnmSGuz+e)$yNvu@V3#|0MBPLmHTC6xTGS;i)I4tRj*mnmM4*P}u zcg4|{<<Ff6M};_nvlz z!iDMSrYD2%KxR`tqqBzl+@lOv{+|FECgs_m)zEs9HcKNYm4zYl5#@N(3wJ(U@&%>w zArf#_W<=mLl0AJnHi>Kf%055b)gM%nf93+Z(oTEv9a1|<$w{>mZ_rqF+mY&?LK|qe zh&*S@WN~@Zm+6c=$h9zvfB#J>*EL&|5L?kKloU$*QB`C#L9Bhgh%QE@2??W3zVyK9 zP(YuO+;7%p6MjzuNXv$v%Hye?E*w$~flRjhIv}!L2psf!j--?#pScK;PyCuPOFO{A5tE4~qwpJ~C`o+erV+;njN%n^ApN;uL zRc%34dy6FZ&#+{2f5a)O^qN8n|7pAU%CabuXbgX-QhU)^3xF$TO|58!CM1j92;q0U zu6t4x67y}r)KIAcvlCOOo_UHFEA5=Vw1EWzI$#3Tp$mur%R~&c1ezDuk0)qQH{1Ud z44YqQTHT)CK_V`(cy?f&7GoU&`<{B(VV}gGPv?gka2JwSf3SPy%Q}LdhLn1~h-Nk$ zIg6O@IX zt{FOlW}{@Mf2@FK>T(_(c}9}%lgpjoe>yyB^o7r#s{AQuOtfJw&RTcE9t>7{s%&OC z!XG_H8F}^i7o~HzgS6}TaF;LD;ujtBwfid8qTCS(g3|riD@?+X6WLx`0ikGH9xi5= z{58nyHg2FB>#5RD=J(Z}G%P$lw}=Q$hZ5LjUWX~ef4^4sNhfcpu?d6^+y7koHSa-R z;rFlrG;g6Te^t{Icn)X6?>j=j!kEGMH+c9vXs=5FteNTD<GPt+SIW}CJ@#m4=P00@>jgl5E)2QpL4xCi!gs|;s;%o znQ+&UZT9K|tC|y_es-%&E}}G6sl@5#eM0P21kxrO zhgjd)YjdL63*^57#rUq9E5Ph?xfL=0AFuFMS)lnamgW*&x%bXhYCH+a`OGa^eQ(&y zf6ai^riO>&98t+zkkCyu6XrvhC}qjG9?U|kOAGM=vw*%D^0^F4YniAiqYluVU8eiw ziVn{_dnS=XRZC!{l#WZuun0IH%hL z$6r>);2^B|uxl|}Zb`$XlDb=7aaVIt9^rD?r4 zJO3UBXR#{Am!AThkM2UZo98Vd@p6)R8bgZRM5QT~7H-q(G{Tj_i8-VYhBa{Ac}|QL zA5R2#?%SWB!_?s@MCWMv|AgX&CI13=Gud}`x`0xD6{3r|S2u6bxLe{gZnc&S}M zs!U|gw|WRzHfrD5Tm1u*;j@sfJ-g0t1~D1RX>wd*o4OK-wJ&CygLUF4i{KAU zhK4obUk#G5B%I|d^!x%I%r*l&mY_&_@F5aPlI1={sX#t-t$LV_e{)0u+O8-_*&5S@ zi7T5__@r`qV?})15mv;n>&lPHL82j&Z+JV76+>Yj@il>5R~ zhIdXpV^a%IffaH{51<|}*x`+9{2UN}YNAhl!0iDe#^u7FqsQ-OdR-Ioq*5s3BbW&D z0h&s?wYImN6f4U z=w@y~s7$?vD9WAzN7s5d!2Zw_3>~|7M&PQO5Mg#EJJ{?nDe3e=r%vO^lMRGu@1Xwm8e- zb^75ZpoyMAtY3*R0lc99DF*m);2@e5;G;-w8L_bgJ{nkjrtV!vd^TpDrW&rL9#5e( zK<@b3g^B^_NSXYav}B_{2($Cbt8jU`!&RL4w0zlkQ2?YwfB ziF$!o6QAk@f4|{U(1Zb$0a!KHdfQ|Eg??6Szk(WdiVVI6nrhWgVK!!B=T$d%5;G|$ zayx4In$8F-2`(;2gIl_5;H%dqx9|(|9b2b~A;D3;k`wDf)9odaTsyTRD9TWWj9vJM zBeb`+hD9<6t~>pI{7FTAj694|TGHmZT0{#xRo zkD9>Nhfwjecg5<$F`O9)?2}9a#PF*8!LFxIWN!=az63^Dl%fuFRREvSXQ$kz_Y@B6 zcv=Sz`MP%T;ijN7sSbNtkb;q9hm2RdKikJnk6;f$nJU-4r2oXDh z>s@_V4fLL4wL?uvXwn$i;Z@=aH|vtidcT58r*AqPl<^W ze`r*Y)w96T9-{%+p5vJDIX6tq$O_uia@6Q|v#K2bDqU z7UEL8^PZbP_2jdonoOC^Q0a!u=xh*8^Er*|t+oW}HbmXk83-L8TuvvirXpV`&AS%K zE)a7=IByCCqFoxGUS5~8~1nbwd7=nn#!)o4di&$Zsh4Y z;F~;XK-25H1>o}pjSyRuCTddte;lQGf|;<6W$*W^Nq?P{d`e||LE5E7P>9)G0;dxk zItWYJ_?Prsr-^W{lsM`3C$*IL=x=*L-ubjn#og4;|FyHYPiBnpWB|VaNrTqDFf@tY zb8B@rOVI(*h&h-8?4D0hVkYE&M26wb% zL2KmiUM+p0UG3F9OZ{Gml~UHMDd^LFcz;Y{y3~w)FY(lB`Ot8b;#L$VXu2qbx|b_j zFT60OGspza)>M`)X`EH*LhQZz437Aq}&3i`QqJ?Uw_JVYCzLZsDuS@rKR z_w+2;@cGs%sCu;;D)ftz!pM;XxyagqpK@*8_hy(cJd_*T-r5sDC^EvZM{^q6Oi23U zM0iWv6#=0IafsaWA4H1UA;*z|QJyC$#W{g4OT>j6t4%yBe@5dGbbZYKlkvxd<<3)* z#-(GBCRKOTE@BHBy6n-LpQjc2c|3TkRoB@wZ9i>m!7!h%z z8yWQEA|JrPSl(DuEI!8+4xc#sg~sLvs1=nI4RPQ9Yj`e9RX0xy$9td=OsZ%9=q=V4 zuvz3|Yx&7J*5R5{)O|SJI^kRF(bo!sBAws;%CuX?e1E<6J9^S`9wbgCWQ_Umn=f_0 z*KZFP2u!3BZ~s#VDWkDo&@&}{oT`HB7>tZE0{HARV@(>*!@VZlN%$h1?n3OjkkGaQ zMib(Cqs%*AVCGGg#{)-q+Q4>|KTwr50|o$76PXryL&Z@K`A-`YCWCPz|6P=(O0FXSl^@>UA&j*B~ydmX2Jv8mo4 ziv6p7IYa`K)tQFr->;~=LUg~?XP*-ifAauyl)t&+@`WssDj5}sS#reNA(L6@j>cu? zai*vY?k4^X)+JU>F(K=x59NHvf^>VDofXV4VmtKzKWFqine-K*T@+ecXHk43;f~C2 z0iDGvH5bU}W#N&SL5TGTv$8!gLAfK;b~yoNf*=aTXr#PRoGH1`j7h=JBV?9io5+ zb&;jGb{mo6-=4*!rcJqz>iXPIA2*j1EO|lp5%;f^uuYeiSK6nO3#4_xJ}#zEZEeCy zW8bUvfwUz!wX3|Zi>YXJNxB6be?owvhZud65z18Z>${HN&I+i+acp+4lX>xOt#q2k2nnjWtxd6)UZH z)a34}SAiROJcj-1rKE@0U@o2?pjlM@^2 zX)z=n@ByBtt0eMKc%Pv`%A*Nf*tfP)Q**?Cw#}K&sGz^b>_Dg%vkeLxFUfPtah=~S zwsX5kp+tX{Pn@bXN-0>we`?pgp51m2`;E6~={o<+<-*WoOEc~vSC%N9Gl#mE{w)5b zIUw{|u2SS;Mg&uRjKZ}JfA*Ijf{y!`8xS^Q`?Jc7B3Yu1a^>84sSbO`)X1O~Cugfg zv+q)$)747Tl)m6N9BqHBFblF<6yEb!Hw2IS=|T6UsZUbPWS;Lof4sl?GuP^%u;Hoe zF9tl+LS}Kin{&>Xg2?g|)H0UNH4OzPg-L=x91@UXxv;WSwg-hxmV&~YYAxRluH|k) zV@j$0lL_k&YDNLQpcEQz7zihRQe?j>a)m&L&2tm)y23vcET)659Z#}^?OKpjj0&EB!)Eu$+x=VnmqXpMsK>V4HiqEUnWje*$S7_<)+N#gu?X^%5yrjgHeUOOmz_`A= z?1GJ9Q~xTNf3ZHlMgQh@Fr`6YFD}82jc|CTe-n zx?ciQ6JuDB=`WS&0B`~l3|AhTN-xo{174-U##XSCeZraGFXr)5$WT>_;954-f`ouO z;WGo&W?s4UbV{cGJM6k4vTEC16R=!IcjC_6IxQcpe|ol=XCPPR{{!L+n64W6=k=pK zC?v%jRUqQIjz+>o^*l9@04c&WiSE4&_uwBmx z8j2BnSNkM9{@_l=z(VfCAi$nzKF^|qbN=H{));;I$IU2~Vkw?b8j&tiPv2sdy>vWH zIrcy$X}GtTvJ+!J_LsRWx3?{Vigi5pS=9F7e?f!FR{+L_X)?3DRxn5Oc0p3qB3LXK zQh-iCOye*W+mFOQRq7iT7-mO-`x&qv*EIgb3otN)-mH1f8*e+wZ*`<7A~W-zF~jRe>bJd#5&D%QrJn| zg7_ET&4bMQ^&uU$#rO<9&!h9_%+%L|+4lXZt(i*|P=yMrAm#YlwAh4MA?DckSa?7P{{XJAF5H*8~4(RWf7d3ava9 z8GsSm088cXH7h<{sWApD_7uXYf1)Fiov-1!XiKa7{m8I7b^-6M6Z!jD+MVC&>&&M2 zUk*M3M8FZ~t~CLY;@ZD1%m`QhyI0DSGziTbTIg zg?WZN5c&PqWcw9ig;NP~fsL~rT^Z$UKyaJQVGYGMhg*t zN&Ca&?2c!6;9&k{CA)0ZPY<TFMiYlrpAKXf)~kq0QD886^Rm%!J}dt{e{>n>%HFWU$cGa zW6B}(m9SLyb^12GfviwnLUn{Q4bT*+d_R#tt$)^aq=2ehTR$`-Tyr?4m(}5sJp#9JmjZ>?0~!2RPd?kW z)Rm)$Ic)kIvN-WhvP+OlW!<-f@{VZ=C_p1ci&|WZ zEZv}-|CKB4jL=w%S%PH3SAa~=gTlvAodbwMYD+yeYK>H|e<IgB-$UnybWSUEca|yR!$~)Y|)P=SR_lZ0wj<3_-6Q@>L zo9g~AM{s2^e~dp_V`Wf1TBAo2aaC?cvJy<R)@e^xR6gZfXprVko$Nj3L%0|l9ND7-%L*b1m~+>y0c7G3Ajhn5z8@LHXF z?}kA_V=zw_dq7I?*YH%_Mw9*eld9Z{xDsTf7CF0gN-6 zyEoBb*<`>@b?!kx+{#{3JIj!}=9}^j+guo7!iz}4e^j09)FS=KZj(RF#kM}Brz6Eh z(evi$b*%A4hHR}EJQf zt}!9Je;WpQH9e4;%m;|>fF(-NvHs`?N;9mWk}{l`4?TC25u)$3OtzW85hffRS!|E< z(Bw(0ZS(;-WlZ__s1oz|96C2WKk6{_P@d1FzZeWmZSHh}`@jw}{~e zlO!fgm|v_5dL&bbUX(#B{D?RC7ZgsccNU}_f8?zx8&8%LLv7-yBhXkLqLnZUZR#Q@ z$a2OdM0g_F(RWRID*Gx%r)cG@%~`;s5G_0sToMEBIe+wnu@Uy8T2{Fi7ML4cV-PZh z0pUIz25z7CpHlO?t<$o*crPC{pE4n2gNm)a2orWaZb)QIC)2n+qDMFdQSSa`J+DBk ze-=9q*{#S$wo9+EzrSn0q;cjhrW>T;$0LT^qnWO9$f z?$#xZb=E>qeIRM7sK5ljD@^^_HKE$#F9-zgC9&T(3dHZ%LpFcR1iPS1k zDO-J=Drx1C_e`|q*7t#3{37N@1`Pi|f5H^Aof#N{?razx!@r&{0}x?5BgBUh`vfX% zrBSaqn356gV;*(5&b-^sjIJXxPN+u89}1WkHFj*Ug+ok<@aI}@#H1zQfR4|9sY%mS z*c&}Ncd6=57^3ZE=xCma=U@IO%SJFFTf9G!U`HWJHG3VR`?iQHq}zc_yh&YBe+xJf z<1rjfIEmQlat}hXBzqg#aSF^g7j+bVLeokYCs_4HW+I+RQpq}Qx`uFV zanL`%OfU}~X0Q0m|3h@<4#oYyfBe14BXqR)I7TRxRZLNHq7&={7F4Q(8tvIwn8^F; zdD6wsSJSdTR+&MxuA+UKxRO=S7q+#->nf>UxF3;*m4b;cQ;Tf_{{?%jsUXWA>eDd|;>n2>T;sFgkVO5zwicM*bV#Pm?e$OXt&)8U#MgDXb|e^T;7TjP_(KkuBM z_M#+#l~-D@*n*Sc3nOd)Dt~bSF?Hr~^<9b?Dtxc8G6wj_yWXjhU)GUtRong3S42i- zHzbR2&{G2?Xx(T>c~q2_jp;39U_vlC*8#l}=aNaX42Yb~FxAmtOkvUY$|e~({OGE~ z#~wnikl+w3Fbg?_e?ZP0@c2Yc_`_O64qP=e6+}m5c$)~K0un4IYSym*yyM8KzdZ(H zf`yjSApJHN(h+rm&*+ZM!-@~HX`j&!)1mip)q1z;w@eiQyY{rof$}S~KslXbv9R!b zl7#fo9;%wT~fnK6oxC-G$#%=3;2_rG$622op#e<9_4l71KvX+z z%Dp78SFjPS%|(5d;sBna0_I?JC<8+SJ1wA7s+kOfe^RhxE2BL&yOa_2)9fw?^`SB& zT8mzT2g{VOnvWKn1vh0%Fmd~{aZIvcq_6Tl|Ogfz9 z3B8@wIRYx&e1Pk%v-IHSL9iz2-dv84M4tpCCl8+dPjL_13w;Zj1O@jNj|tIHzlT55VM}vo2CpP?!H{g5u)=sc(CL zF?*|b=xo>~0h?iadcF7EMAA9Vla5t2CRUuae`gQ*=`60BKpUh|8G9PgVp@cgYm?{r zA|etH+a-AgSXgLZ<)u_J*)p-+rc~@E4y?rXBPgx_sy>t76swcm!_ZAq#^^8nR2AUlw~d`i?)g*qSB?gRDzWhjugfSnpiPmE?rBI)i9|Y ze~4Bd%~Ke%!IMmdhL}|*i=VbqsyrDmt_%;8HT@)qEp|)_%EI?^x#ddqnyPKY9>Eij zywE?Nv}#-%Po3g`D>r=N$4lyTV;=``4k&lv5tiWjq5>hi*xghCmi?i^7?@tpU^`n) z8UV(%{no9b#iZOP5HR9FG`fhTUoFMWe}B0UN^~Cs`8$RjX@#X{l*zy#?F4}kG@$#f zMZ?r)Fuq-`Z;g105N(QuGP%@m^WRtnb)~Qxi}xj1f93($R|$DZVnS#q*)6tvULj&P zOgSd{b$^}pjNpTbFX^KD>{m4-OS!z4HdM9HmxYdcNW2(T0w3QFj~p`*E;#cRfAo1y zMUe5|7GQOi%dFD?ljzrMWnJ18&bI%K#H8gXn$r}M{RT!Nrhby}iP|l~g~4VF+4~5- znFi`JvMIE{1Scx0#FUH^?%p^l)l2>IMUoi0U^U}ZpO8=X8MNNagdTa<3S2jYc8W1i zQ`Vm}k)nES8IhoBrZ0rX(CWMI4b+ch`qu3O>T0###j{0(noD z^I8Qm0^HM=CtC$C0r!_zTLm-%vuBr$TLl?^)<6l7^*9Rh12?f`5lM}pB5)>Q9Ra4@ zo-v46ggXXh2Bj$+3t>Polp-yK%6U|dF`!nEM7dlg5*<;uC^_H^Fzf70s1UF0z1l5eNfHL+KSL)}zQM0@w`T0TzQ|Dip#YE&NeS@jMPr=y#_{Ts038bp( z%kwXn%kxjwhx)~2wQ830s(#e`K0RxHUOsv7v7%Oc^{YQGn+h77H+%KN#eCJwS6481 z0!MziSHEno7T3$O=89a7s!p2E)5(Lyx9Wp}3ZMPH0gp&d@2C864@O$T5F|e}KbX%K zFyaS_1yECc-0RIu_xI}4>rX4Xem0%|wpTw`EI&6(nn8c8kLsuO!w(uR)JNoh>1Xc)Dx$bt7EIQH6B zVCA#L^7L|Y)>M|ewC-W}^6|ITlhf5?)l`})_Uc1$46>#}a6Ol}*&+BQgpyL$7{a&= zuIN=Mr^?&5+GD`rGTirVS4*J@%fMm%V!1dwZNR{Rtw)Dd{i^x4VxRec5Ik57gc!Xa z3(eX=4O1V?KEMNQTq$Q8_ibAa8QLcgAXZjm4J<}$%573~`>EWuP|l^ycYlVKF?BbK zq~3xnSJ7oCM`vK(2>t;pzD~exQVHrq#5TcZx=SrnKyJYtJmwA15>`CI2YY2G+tMak zh3&P6yQOR#a1sp89>G+9p=EG1GS03cY-3en1!+hKrM0;g$hLJ7G!N{-@(_^$myuO2 z!&(9L7YgWuU^=@WTUe+bqB*c+GO57fXk3#Zu9cpmHB$@ugCoFTk=S3i(^!t7EirWo zMEkh+A;Bt&zW}4h@6ZH&@~voTU&da~p-E9hVT}iww5AIe4T1yEhPFz3P5$quD@7f$ zbNjvw!J}@Y+F?@=8m-D!yHb-qsidRHfJec20mhB^zamI8ngy5vPE2K={KoQaD5M=} z-EG&-w;H7C3vIl(Y~~f2hli%SLC@M z6NIPiu*RYJNAymQtb~Ap%>j#sEE|J5MVWwxsFg-RB8Ugw01kwS6lE-m4RNduI2aBB zFzP8(XpFIFvsHkQlF0odsK8>_N)*+p40{-4?I&m%Q&5-*J%m)n6mnr)p@@2aUQ-+g zMl8#EE~kueSW>)m2o_UrBkw{WT$lOo&(Ja^QJzIo@6393NH)ndBi4`>Qo^-3dc;2x z4zR(a_P9n*uA^PfS}2bZ~C0$0SQp>av;m#uNMa&>JA++0s%<^aVbGo*|Z0j*y&x8UQWfmQ>Ew<3V69 zX{LOjs9Yi}OpR-pMjd+B5(5X(0$nR^;H!*87`HfQfp-sesTDC7Q+C;cy5bxq4Qy*0 z#TCZ2=m;H1%2)0Jc^OQ|$d8eZNL>}_If+s}-+;8A(k z%Cx|P(DBxZ#iH~+Bve!Ih7LDeff#oKxS#Lj48}t+SgU}4>!@!T-O>pF0ba)U45wCR zJw5z*limqRCD3@Zm{}J}`D3K~H8|QYfn}6?REyC&8)fV@B-p6TgZHtQtA?&)wIVz#7f|kk3=O*aV@6cyzPJ*L0@3q^BWqsLq77+(MaAgO^Ixr@R3@Ol+hSd)}6HaZ8Rr7vKC&lg|e<8!Lj?> z-J97RgD+viI&k%5Nl6e>B3%v}_b81Xtb4#LHbtxNBYJ$U!vZF5h>PokN zp)|!hSG;w%TMWv~Z>(+S>uN;f?pi(r+1S)XUs`T?@iNo|A6m(ra2$>3Avxy36P7bdC-EZ9oiycdZu; z$Z(VLqZ^D(&V%V}F4;YrLDY`U4e11s0#xAGMlmVT^DbxUSk2Snvda`56+J(HrC_Hl zMN^W=Va89}3{UMiZB4WzOxS{v&7=uL#M4e7(B06}8q*FHM|R~6JvcS|OoK)w3v>Z3 z&81AI46*3Z@*_d87;c9r4T+vX;JLEGF=!Lz6`fkRKr0 zPP`42)YAz+Q{Dh%I=c> zhP55-XDE-ulxLB&oGoz;KZjR|15(+;1xhJP%1;k1xSb8WjZLLDKYhoItZPT&dQM4s z21^<#PgczO9f3^Y*2MMTOmRCYVc;@tG6h`a$vmqOcW}Kjt53G+snv9U;INvcITUqM z8(dt$=y{9GyHRl$h2auYo_lN-$h!`q1DmPY064=&fHSm`_IhW2qS*l~VU~0~kL5U*!7L?tz%*}_E{LF16 z@t9^l&M>B@0Z9=P`74Ki9KzVQQ99TPeLvemS-~3LSxdKaaO8N5grqVA$Pm->oSWz1 zU?II?Oxgas(Qp}$w1EE*H31i0rjU~pa2<6nbFNOiG)H!5=^dW-;Tb+I2ahv!XzwUh z$M?+~?xJz=(bU_u`BS8GI(+kw#^l~*e8p*WDsK)&Zm023ES33x@#hmRUd*wSf$MoJ zd6!3Y#)^`m$2IbP!GY@eErfyzZ;-gBXwPjdE%=sRBH*&T%Tkng8i?ZDlIJoaajre3 zeML&{y8-Ef7^PZ-sibZ1=Xpk_ZnqM@x78%G}|HBvnagAw@LY7NV$^o zB1V=rYnyoCmMx}#5?M*RyS))Qe9O<%8E3(n>^LZi@bHK4(1aEbfwiP8{g|?bI=kLR zbMQTX8va;|TG1oq+qf^YE5&Yq(yiNBx5K2ay z>HWdnD<|65Sc6A*j!s8J3)*MnJ)7DR-}xCzMH8c&<;U9MqW_;VV-(9KDjmWj?Q@vvJ%O;ES0QrD%Fs zecC6UYpPu_v$Z@_=K2mX&$|od>3tNMgv-X1gX+oL;ULOMb=o`Q!rb96vige02EthbNEUY6UlDlk=;}af=7^ z;`@E$s{4lilmV;&&^7qF`PCV|`0k*~!^!1QGd=&hs^9`A!5jBsQ?ge-T}@`wvxE8h ztihY7tLEZ080lX9w)AjT!vJ3=OMD6VZ}q3;W*1owP7dBZJOx=^ zZZlJ-S~FGoXJlFXb;w&Kc|^vEPW)T5LU(O{%jBV;#MxqAH~+n!%<3t(%|H=Sz> zU#>4_*H`t`^jp39x@?+y^~a+AU$b2FfpWV5b@cT4i(d~As4eDfVykmw?gXc}9Vdo> zq(?#5LiXj`DPX;R{~96|%D2U)VfR_=Aga5OFMMCVzCb$#pm#4H96v*WPTy@^uyS>O zpVlj_aaZX(kwCs5b5mUCwg@#@E*F1%{xtivSbeQOO_tqa#U-{}sJMVxC>Ape7t=ZD zc;1}T(sVVOTz!?W7`0RII(+}=@cA2pWm{bKfQrXIuk?5-YVHD+?WSB-A{KQh^u_gT zHNBkuSuZY|`KRmItO3_vPA{5106RrcypuPtAHR6^_mk5HC)@180|L(ApC39~Wg|@8 zg@LK(4uP$Cj5LX0rSQ+|_kBrr3P~qNN3RZl`TObNgSU8Iyv4@R$Sv5njy6I%n5EzL zm+))_6o0I4>Mv9H_j|*k`n>)M%P%gy3l3aul2PKch}75h|N5xx6v%!(dhzb?C7|;1 zM1`%Wz`6_xn8H7D&UiS#J(|V5J1SQ7q8T}M2gQ5}@*@UU&F{_pJIj<&J4L-m2fsdi z^^B#DTcuaFNFNMr5u9*wvgj=a{!`NLF1X$)u7ACI@yo%>cPx1NzTo(0@!6)oQt$(E zhsX63`b*v8`dNKazo=h=gS@K$UB9m1)bGJnCZDGe{jR201bmHkw zvpp*LpjL3tqQ6RS@{nnKq%a+q(7q<+B5f+^09K<`z;Dd=P}+ ze!#;Wk(?RbU(Ma_sQA?Pq1S{4hodP#umo|h>p%KZ?zBEVdHMM0>3f#aY?sntq<^5V zir}Af%f#H|JC^b>M1vPn(l4m>p)(GWmZEv#C*KAE)TrG~OOB79pD-+2UBXy&34@$QWzY$!@TbR0*1bAn4MOU=MSF$`pY{4!QeMLwt(PD zT);QXQkL5jZEga=+$x`q{X?_XGJnV}idCRREb3)n(w!pU>$h)yIYBRY^>lldrd3{N zX|P_JA5K=pM(l-ihqRUKQamq zmcTaE;7nq)k=u|x^nkY;qU7WG8O$<22UMnCzCiamere}}4!zU`f?zMNfrY4KT$PDM ziZ8RuYRtW0556%|0)H>U7h&5yDJ4R%=vg0l*CoqAQl z(>~yK2`HqU5Y|CWBG&}l>3^l0RgNV^VSTYlOBG!fZQxS9MjgXtKY_#p!Y)b11*=Pd z(IYxbsf-Jq;w$4#r&oLzUF5MJ$37&!VuY2j$UFdb(YIqp50!c@N8kOTuO%H$mscw^ z_R7K1{cKV$5?s8QeqMdOqEDS|^x&IjA3mcQ&Yp*}qbsgwhxDbJK7X0rryo2a8O)yb zaCV=!%^vdZvkx9(3}?3^*%6{{dM&39yH7uO?l7F*kER!sXWPvk{qA%3kMf68k8RG1 zxq}vStKH}BAF~hV9$B2rTjmZwAouV@ygxgBA8#;wPva^GbJsuMZT*Ai;pFzF$({7{ zwENuSlhWbzBdwd%^M5uY)Lw9E*D3mP-_9(Jk12;Ntmh4@yG(PDXvNR4|VH->7PFNZrrwm!Tc^QS(U9fZ~rZhgw z7_u}n?%;dNOBRX?cfr#5;9QObA0(s&C#WXa!* z5~fINTk?0o(s-{tWNBpHUar_)WDDU=!qRxFJLD*T2PENe(cA?~<1OicC9A&^Ddhr} z?t-P^bJpSVHZr6rgHo2s^@cnPKh1iD-)6nW9rgMHt9Wuq!yZpR!=BOd*CZL^ieHGp zZ@KXQ>|T|&RDb{Rh6&8J33U1FW%(vZ)l2-+osu(QdQnfnd z@!Y!O6gG-g%hy5GTHl)E5=CAto8K$l-zreoa{7T?eXna9rKx8LM*W^{-BWMu`5eE~ zSsb+AQ?)(Y)oC-kT8z`P;g%nUri}p%&3)6KtQ^GSWPi5LrXF*q*FfHcV-$S#7PG2N z0En;lqVT2rQ>}4#n`h$DdpzO^6xh(;9xcx9pROj$)xFB`_gLk3eD77>k1EwY`cn9y z+CbYlth7*>hn4PL#oOGEAl&p~x*G7&Yx;4>aCg(gICeOAfXXnejQ8-X7sJ|g4?j3F ztj+iED`DVV`*hV@APAb_m;CnFXd8~0rFw${6rMgci%&G7DOjCNVTcEd+2_@(-;We9 znv%G2IJuh47q4C@z&vGfD>E=KF*P|gH!CnPConK4DGD!5Z)8MabY&nYL^?7sF*GqTGcYhQH90jmx2JRk zGXq08H!(vvGeS2xF)=kpGcq$lI72}Cb0Ge;Shj$3IUoe)C! zn+hSWl;Hsw!(d^pm0{e?+)YdmQlOc+B`ggxV2rs%EP@SSj=2S_0&E1=n7e_0Z30=a z%-nTsGuXnAUA)9_E7%4qK@MyOJ3x(vP^pvd1iM&v3Cw_VU>uwTSHVSa1)O0;6?Ps> zfNAFTU}v$t*k!C5MB?l7yz9Xs@~{-yFm{>IfnIuKF|*a!4Mb* z1wct+-a^9{Z7>2x+28_p6lg0-965dDq){iO;*pn$bRkY!=$_Cnyl+&U)d1C*mc>~M z!jqR8l58i+PX3(tb@J!r&&i*YI#=rSr6^5`kCLO%)PPz*a-8Hi z$#Ih7B*#gPlN={GPI8>&c%y}9d7Y)n!iP0kvxW8dvK9-!AIMtGa!ax{v%;#Z-K?0C zb(pPwmvx%GsFQV>ef%tc>o)uJR@P(oXIj>4si~r@&r*-ZWc`-5Z?XYP-%ZK#mVW(C zHfZS|ikS~trv9sJ*fO{0WChDSeJmTX%yYHEM=kU7{|a3mG}-5Y?gRSfTuVu?xcZ9U zC0s!XS5QK06WWt-Q6%&z;e$x{AQC=_rl+V3i-(4*Dc{rWUNn?A)FCqy6i~ZikF8E@z;EV4c@!9j~%ST^+ zXXGMhxs`VD@_ZqLU{>gbla|?BEMBe`zhp0p_GY;&qX${7#tB66KhGaSq^x zxv#k4PpfTF-&Ezktk>m!xza{u&x==Fsj|FW8k-eOQ`Y6XH`@w6O;)tkRoyhO3#=Bj z#T2XDGbQqF4~A2EBEI}ijnVPUJKxQGQC1OSF$U+D&viGajx+Rl24_x*Zbqb9<`YIS zm8)*Xk2GU~h+`r*-Gs*pG#qn(qQ~NS0)kM?tA3BNs!ye50>!Yr=f^6FVQEBGu5j{V zr9gn1`^5@K%8j9kmwTM@N@-o+yuK)F5TY>IpG&OLpIfE}>m1ZxOudnRmNT_Sh{x340FT{K1|$`x_pHkmXbz)&g6aqDl{se;^l+lR zojo9-N-5ChLyK=ZdsYHaU03Lt=|7X=vdBRnMy4-poW&QGA;&3j7pg65iWx4=xe}Lv-hoI1@Fqx((4X?uqC)=j#L{ zkdf3msuCm}QwENIk<$>~!4@R=fShLiI{}PC%mTC|>yM+XO@pM5-|>zDfuV@P-)%34j1EWvsD;#!gZYn8;pKxv!#3ee43G!T6`~k3IzLTBr>4|X`K8br575`Z}!7;VuF)`#Klc?wMxXv2_Ud)etWM;gcJ$7ATLq! z1iA)&_kXf~gFmM4AYu)Beu5&Fz*6B)a!2=zX9WQV2z-!ylIfHfjska3)hB>oBn1q{ z3kdvi0*34eJQ*xmDbAGt1Y(Z3C-(li9_`}^zaPYZp0os#tkA8+VMT zvUICqM8oBNQ=PT6s;Q_>+tv3%>GNv%N+61+B>M96Ws)t{4cX*MIv+G(s4lpvk3z!7 z6`PcQ+W?Wcak(ZI8Nb4ZrHAVtPj2G`y9hP5qSI<^YAbyE z^3i`DVSSS?#6mmEEQcqgvC7)T>)oSYe&vfb{P_b|qRRc^I!xUy5Jv}_ZWk{e{c{Gw zFSIobLfw(|1}H?6y<O1;*tv z&aSIHzW8iiG&G{7y{UPJFx8th;{x;Zgu6AsXE8s#ja}mkoCcEsgc=u-r{_r{%Y6@j z>dkFiHH-^2@r!qus?Eo4G1_VZAg~Z?QnwoxzX#w1o=PyJ_a$-8Cf#hceVD`U)k^0) zt1e=P6TU=jK`ljAwV`7~b8dAXQ({$MdBchNj)pJx4aBH%fP4N}UhG0I8FmW#g@Z+% z>H>Phtke$@r%ZA}nMtSQqG)OVv#Pm&C?g8LVf&N<2Ii%hZn;^ftg1tk3?`3RL?f}w zl*pS69aMfD=E8dMDgc>3@8)$R>~ zxLWnJk2nomhWr6UkcFFH%De3E1weR5gS)G+e}(vCx*rgO@$0gV%kVmXM|hbTBmkNk zBv4t?I7SkL%4i{(CvAt08Sk3W#9dV<(O#Fph`Pc1J{(+7c#OA?|7?I2hx(E(L-7$a zAJf3P2pfmjs=N(`;wi0#|A7L!9S7glj-J5i!xkW(Q>3mat?KcOPU7c7(-s)j(Yt_j zL!uY-XiC@9Y8ynYxr^a{7G6L{5;pRD{ zW`;m{nM@}}mxco1=8B$UcdNO*%iY?XadqV2moqV3kNO(5-G%%+mD5SQOVc}#C+RFr zx(7Hjd0#@CI2O`DKmN~$Bfnk{bwbiDj!E4f?br12di;#mW z43N%~mV6$8M>8S|0l#r`*lf!x98&~wA#rOcUa2#EZK4TS3Y-1oBAj!sc7X{2D;TBQ z6We%KEKH4dhX3||1&HaDPK_Dqa3mUWB>2^W&SC2-IOL@+&p~(_4(4ae6=HBx#yUt8 z0bsF3e48LZVaIh6_*x?oAQ_Rp#;ZczXweKQjh!pUH;40fU$$lHeyN7}uD6_ckgOYs zPH)k@$=Ru*mrd$oALPr!{XQliL7kf}a^jdJ%?VvT0b9l=sI#c*}UG2+Dj9vH<)By3kKx}BNsUn;xq6)u! z^!G5_-~X$p+l`RN;ax%ZtH}1YDUB}<=bLhi_Jh*aCgM}>30YA89ZI9 zXz<>_9;om{1t%UVTCTSkuvN(w({9R1K9j~0?(q|#>gBMT;#X%wBx|T-w z6%FGb7;t^csQGj5AHe-_3wgALBwWYz*d!qU%l`*T#eyf3!9WzV8$6Oo12r=?lVN)( zf0bBUbKANRe)q4?Td6q~LxA8d(`mc(y}(>M>X2uU1Kqz*{Nj(>gk0?MS# z^rSB$uvpx_-TiijGVwO9TNu_kE2`2IZC98W>O`_r|oz0pqK*1s<-H*!tb0;FO9sZ_Bq(g==6$Euvl5cSB<(tdpLLEi>p zXw2fu)_0|GXC^dPw_&0-wmqi%E@UKq5l7=|yIBZUC;=?|h8_b8f^)5H-`<$R)z;>* zUiWeW3>ys_t1Jv`oRkO5aqQnkf79u*XbNM&^#xPlNN20w52L+aW3|><8W!e?o!%${IFb z8v07eF&xiVBmYJ}i!#reyn8GdRP3`~LxZ$xZtJc$67~qedbcml18%#Jao~L*S=F?r zEOlGdRlnZ%CyScOXXP*C+Yvhbr1_pAAq->ht|)cIN6Zb2oG-q8trpw|HNCBnM z@V-%x9%_H*LxR_9Sjw^xf5UVQYd^Nn*2cgaEjK=^W5Fw2Q(K+a*m$UEE9F(aTa))u zv{Y#E&T_~3Wo{@Kws4E~m}fRMp3Ozr6Yw~syVcrk%iB;X%l=DFIR@`P-4+A7TD1iR zkW?eGA+snK1sFdA50uQwZcf*LH*PTs-4t?XYyc-OxW&%G+N~|xf7WSyXXoY)A!KYr zK0!YE^3WLFN@h=%vv|qsk#A4lFVPKG+@MpA^m|LQ*kMEthy8z$mRkjgthj5r{n%Bg z`9%8-4WtY_u+%Z@)pz{e>1xVh!J}5%ofS+aqvu41=9Fq^PS7FZwG-qnBH<_hH?_aS z3^&;UF}>U&i~KYSf1kEk$Rzdt#)|3iB$+ScgI+jsl+>3%H%{TewyAed>2=7s4g)q- zg{HyoThq9_lL|iw(lM}K=4nW7%cKv7+~~IDcEWUtLf)aM40kU(G$XclW@C@Jc|Ug% z;O12NU<>Tk6d^;=(5Q#)U)XiR8-8xr*bkC;fI0&3*O#cve*kiO*6XQB)T88}K&den z9=L%5?jU4i$t+89IF2I#TlRDaa*SvE=2#A31MUM!o8g58?hDj)C5&FReX8!qKj|lq zyLX;VS;JKlO8Kc$W4g?>9Ug~S?n6&T`;}p)<7^*#k5Eil({JlPD>BDLDp(<&UOlxL2?EyR55ae`nFj;S?>)aP79BlnRw)Brd+&5ucDfdP2;rAi}hx4X;|jgykdLp3Mz(i$rXRkcBtlJFwafS z;_Dw!zU`VRN<)~gFHe5^?dmTym#{ya%!Wi`q&9D-^VWebgAi{-EvvDaSlFE_~^5M zYm?UM<+27*8Vd498Z*t_nx?6F#r0SjUluKw_F!tV+ zfAxLCO$rS7UQ{_%RpcTunv>#$;)?tn*twbV^#qtK9r-$Fe`L?iP08+nfy7iKyz7F2 z;>w+6h2tWQE8{2~o}7LJIc?+|XVn@~ud%c+Rjph?E3^aP$R1MFWxf7^0$1qn^_nse z`i&A8d@>Du=RHt*Zm^u`nm$RqsT(l;fAPW5f?x8aaGJr9=9y*=yVG`s$2^kqdC_e~Cp= z>a6`s(5gvjFUf)#Fhf)HG>E|luf6jh`$5{zoOe95+&eu481|Sl4nw?>txFW7$ZV}+ zVisk@Q0F(NSEpC6ppHa}a=U(hhjUL^OG3r<)0o92E~-^+cN7P@91z{f-WDYzCNf~) zEd3>nqDhP{s6q>%fO^yjP6TBjf6)#KM<_v`xQtPP-T)=&J)s2E+ZZJreTEWlh*NI;BCrrN>X%TBCsF;3 zD)PJNZi zK?*>q4}_~cg_Vzt6nL_Tk9)sPU&0R-5i)#+e=?n(%l^3sb$IN(<TK7^iTeqe?AKEzknp+#1BV- zcRV~FLtiD?_z%o5nI)hZ2>PGXPXh^6HY^yj+VgiU9zRm9b`k0ym-w0$@@$sksrhwHwoUJS@T>+FPRR0bF)PHS_Os(v!oB`?%whr!ACYAtRcXxL|cNaH$XE%QO ze~MJh%mA*IW&m?5TQh)&f})m`yaa$!LS79ZVP@EILj`2SsD;IGqPcu_RE7yOdHaD{UN1}hnHO&5VFLGw4R&I9xsW;E44PaFR}kU>>LTux1s=6?h5@3fe`iG!(?y#+wU^&c&boK621_;*^-$m&1S z^ItOmohAU&|9|u4j9i_qJOMh4^#2+U#(#bPweWs;Q#dUU;p2OWM<}RW&*Rm;$XrPVx8U^R_P~JJXZxyGdE+X zMzg{MygJ=`ql0Yq$I{f`=nCgv6{o-h4u3Y#m~ZcLSAXihh1e+G4DRpbR18ss-U`lZ zDM^)uU)}b*QsG-eg#I;{I<}pOJlIX-oonXCdXOUZ6l-?gd7ZRVIUlkFQ;cCn=Kwg; zPQu#aqrC)`9tBF4_BWi_0ZlE^oMmXywXwkK{yIo_LGT{j4H>q9Wl?3I<59TQy~Q^R ztj4afeSe?Jf=8CLjX3q+W9;MbNUoBI`){O_ax1cF(v2kz?!{TwBXY->TYJC0&)z33 zRVXBTqR2cgFCNakA`lY{8?AgVp_$Db%Ro1UGZU21H9 zdh!XNWi1J^!r+Q5c1gdg{Te3Pq@1l|NaA-}Eq_~b0y)o>k?I$J-5CTSgjM12f_q>z z#Mm^~@)}J&-friqcG9=~nI5RRP3{t4-P%W|m+JN3xAiU+6beg1-PjRjn3cG!$B4T_<4*A`;$P93}*zH=81(aqSZ6b-1$lIzI&Gw;Y10!U$eRqS=2U;segl z!mJAM;*TdZ7Va>tvt#&jbJ?JD@CKG5FMn#osUe--=<8bghAt-*R2j^{coPx#oEaBD z&g5NV?B^Q(j(10_p<|in`aZA3eB?~2{;@-$u^XYg5CHT}QCsjO(t1Y+I(X@G)PVhT z#wbyE)fI>6G+YGQff16CpF#sibB6C!qg)E`)lk1B;DdGMuFoC21^)6nla0fD@E>zVa#Oj_nRjQ?lQHl~Whj_<;=XxDG zZyojpdb15;LvEmpi5tgeG@&ccRylx|Go*Gf2$i>=3^lzV2_LSHGSM10dsWk^uqc7vB^ETW@(e9#py-klR?UYCY7e_t2`UhE^ zP_px|_Qaq~UQ(*s_D>qnrGR_49vZ<5SZ4T`dH0@TwL}?`6Hc$?JAX5k*hX+C*3px5 zU=AvieC@fr#a#_Vpv4TX00%a-??x6AiHW3DCYjY)-I~N$vc_U`hWe{eF1WXlfNPw* zpatpJn{5oAYofi3rgy5qyE~}RaUv7z!3f!v%}c_zIv+(}7?SF?cL7aj z-9Fl{JRljEE#H=4-hVWBoWLbtzV5a{Tg=G5hhu^j)Xsw9N;}rM=?ck38bGzRb9RJR7JyYbujRxN$Mh?h}G7@bBV$U zP9gi$EO86MkMZja9MhK8`|J@=s2FJ1C?SJ!MjmH-90oX7^I{Zvn`4Ef3M$vVa77IZYU~PU9j>Tm31!t4)hgulX zSY)=*$Ilvq8iWDo43o(sw4jP`nNJYmjCdEtvUgX&I;?pvIh2CLx==Ht*~+__Oxxbv zcB~QYxA=XYRm}jL`*XPC%56Lw|bTHTK)IrBtqqqQBRLLYCrLZSuY?VKh;a4 zN;;2pSU%n@AMwLZ=uiX1dl|qg!B<1IbytFSY$*QeX{dM9#w#{%`Q!24 z!3z#WqJNTB!?Re<5uq59fk7Cgo@<2*><{;AVN9EAmjC!jc1aH{R{q&U7`}YKWx1Q( z@=|Rdi`3(Kf~yfa*H3n4VNPs^lE1Uc(R)D&ZZpG?2gd}Q*xDn6ii&1v^Upf(b=mXH z$6+(GQ2|g8@KXU^^mDazBtybAE;+g|5j=VUn}3(W-#0EK3bvW@(2)Wz{QWp*&8Isgss51?X1mi@3eXVUBaLmNz2~2;~|nqsmP9+ z8td_MpSgRf9w=s3L2l|tvo(4`NA9ms`-jFS+tMSNMk1{kqPtg%uWMHKPH{oS%kN5P`NumHgUuMV52hI>Q1+M#b7N?adhg*Fmi+mp1UOXqqr1dNnf8Fe`bn!qi z<1%GBb!Dc*@9fh(rweb6afdr>Whiicoqr@!K_0hoS4pM;hTI7TEi11e&v5p=v=SoY z@t%IPa6MQ|YqoJ?=Fl+U3=|qV3sq;EF+zQ^-GUw`M7ajzn>90MP&;5sk8bG=aRq~N zkFb@A_GJCc3^3g8QDh2e>=B%%#+?a^ICOZ#|FJN_DYcMnX_a)bF-F;W&@HgFy>7H*=?mTpsJ?CT^k^6X(hVG9++Aw!o ze0*j}{m%1`ie_LTjM)BbWWNJyZzsit4zVpQaxz=<7V<{b87+%7$Sgx)L4Rm3OqWzC zzzsduJH5VNIlRF-P6h9Vg}Tf5y|ATn*-G;|$z327IE^pUq41f1(45W5`K)mEdoHzq z)6CB^)`OjH(h~TUTLX~j_Ou_LxigdzDV|klLql5oh7VTO-KoQ^0xoqiOzmyrx~(&c z1k61e#LtMjrc!Mu2=v2$`+rNEjEd*}nIQ$6=DDuqin#?j9o&#g1jBHJ;em{~fhQ(31p02z6QIWel z%a$Sn4Y-I8@Q;@{OMhSSaucjXx7==ZsdA=YDk>Os?D-fjyEi}O1mYj}D84CQg%NZD zw8lLz3ZH|Li7$PgBC7=vJMkoJH|RD`xm0t1(z|=ORM0bx_kQE)eLxta`lgGu+Z_zX zNYAnT)Z>l~IQ*wIe#EEw0kA!i9HKDCQC+Y zJf@i#V)$8--+z|r0)wrf%Tlb2jKwJBS2e^|j|ekX!{F;~<*Emd)Y^|FLUe=X>Y(k} zMa1~tfI61lwll^oJO3DXv%QiULP+~v zJ%%_!pm(1%mWud5N@2oNiG?^!fB8E5_}MLnJcAm5eSb9>;P53fAhV%9q03OeExG0C zm}x?Xa1VEL)=BjmXwRv0k%H1SB`gG+BI=IO2#@k<#wRbJP;l==OGv)UDU)Wr$$SX2 z%5{?j_t`e*>xtvz)Pi(Deu*=mEr`B9QCa1n)A=Ev#5^6vcUXC;3$J+89)n~ganR1p zTNT|?Xn%H%{gPk4!;@h@TQFxR87&T}S8RPdT*{TPkEBZ9b{%MMlGz%B|4g918gp$P zWAj|4`0|_+Y-Q^erbSPzU4tMH=D!&Xuv-=rTXzm|9Cgse*!}C)=b5?fP6>)q1tPdZ zI*cbH5jZk>J)W9UUNQPZ%`M}yrV_qodvi~B-u+!*j*OsGken*ik+&gnL0R%+Abx7+|5{cJL z1%D&l3uO^zOFqQFFtCNQnq4aui9q^~nKWA+2~+wB@p+iqp=AeVfqRs#sBcpysIRwJ zI`>Pq`5q$lPGK_YS@>QWTpG}#r|0%X#$gA`M>1%AkufN>_6el$Y#P2rUjmLe*gSYX zwO7jbM3OyZC8~;9&FbI7!g!D$ zC&W!g*E214lbSFB{a?d0!{Ej`&4*nXPio&n70H5O@MiY|LD@G6jcf+&Q!zNHkI77F z!q_ERn!LkR0!#NS;Qa{R%`oa^mo6T0W_PHmGO3cazgB8{Fevl?S; z)cOjtJmF4saVy>^?8X`&UP$>L@s6P4`KccmrNZGc+2j1++>xZljSYs?N7+3Pcl}W{ ziFk138XNEI4xMkQwoUtAx_=G@ed=njEt?b3TEW&Jk9Wv12YZ+4y~RcssHI4ziuO72 zPZbU{EQXLr%$_2qtpr+VK-ojr&i&zQNt4kXo85=sput?PHU!Ozp(wlW);|vF@cr7_ z<09V-jh7-=uD0PBe4(YoACynErvgE)f?FD^-R<;WHeGe^ok`&E7=L|ze`-T5m@ulT zZuJ>qDINfZj&WMmRr@kPBxvO`=g}N|Yf;enjsyvR{BWRTry{|6tgo&&Ev%~KS-gKw zq3pu1WhPBM-LZpG4jUpA+M6a2v$6C4;J*lRl&2>~$e`L@)!r)X5dxrxRJ;i|mGbo; zt5%HYo12xB-6|W*$$wGJYorJ|c#6$_`v}y0FNZt#ETu>H7yUw9j_NMyWsS*Jjz-JZ zD6n1eBQI)eXej^oV^Os#O>JQb43qv$RdM4Joj_AL`LUrm9yYEkCBGBy>p8yJP%caw z^S>vxu!VePY&`SSJp}96IEEU~1>J?!tm26x=ojeLDL=LT6Mt#%MydI_d_1L6|xE8gGk+iOCuj_fVjsn+Z{dirX8$uzP}UqmgYk^m^~D3GjVl2Fr<8d z-^z=r0mPz&ntd19KserQmR!1Zd*ie_hXK-L+V6Nnjwrv$TF|Jg8op>WZ zc&~bi{?@6&*|!{;Bgd0UTf=F^u1ldeQ#b2* zZRK-M-GAMw?>>_Db79ar{j^w>`$U0~EELx*(PB=5wou$?LrckRFoJv~dasD&`Ky-l zL;QuP_J_nTk?kPTP*Qno+1I#UA!iyUabC52kGC;S}ZFcB7}@Xv^MmTfn&S@@j8RSbu_n9zHvZ>F|7Rgc~~TBXGC;7&>Fm|5Ku@9*4Z`Zhy zI?BvZ11{O(J$>b7I91}8|+sM`N9x_g*{v=Zwa}bl`o~Wke8ef>_ zh!ArJZzN!K#>T{W5c0V8*NknSqn;{B50sv0FIanzkx#$w!_h*synhRAcU}Q}w)Yi# zc@V*KsUD=k|-_jA*eIi)!x{ zbGz_~L>7LO<#)4Jifzfl>wjnDG#8sAZ{4niYp(_f{nFZ#j!tFpM`x63LiDlKeiCJQ z$?{lS_Nz`f$zwKNn7|bmg7V?G86VrA3KANADV%O`)ec>=*nX8Bzp0swBJvt1w{Avw z*%Fo+#9#tq{IPk?Ikj>dF-UbrR&&Il5ZQB{h|r;^SPfYTs?Yk$z!xB}pK{Y#L= z!I?H}BToYE`g}`7Ji<@tg;SeQ&moGfavu;xclHm9-Uf(oWJ>I`353e@C%yxlmQZ}{ zhgH&v*-_kl)hwUw?|#FUsIUr@g-CDMr(Ju_!yBKB2|Iu#or$7Vcj~@iV9)E$jBwOp zbjRB7bGUSIe+b*0?SJL1a0EQ5V7xsdyhPF82^_IBLsPdpZl){sxL4oAkk!d1xAGIO zzDacXir-GsOQr;t{MqbWLF58imMaDM+%|H&Wyd${Y8n83Y&I1ahAfbwYg7$2gxXSs z&4NWzHwGP5-f7c&1Pcrl0cL(wMbOBrF_?>~r-&rV4Q z36lUnfZrJZj0>V4W_w0~xtR*?G^XAm||)_-1)Oh4^|4sS8`p(QUlhe3GDDyV+ui}FpYu)2ay{k!Ksrd)(|ZW z(%$4-w?pdcpvzP8IPff~uRW|~O|zdygHO3v1(D6r*985gDdh9zC4C9E)scrXMK4<#G zDmVO|VkJtlkx^n!7NTQ2O&!W(N{VWB}#_elpu^|*Y!c1@Au6rjU;BY*qs zDpY;6J5H07eusBk9loL_TcGEPo;=0SyXFow(vwG64($B0VAs5cIL!Ex@zSOb6Vy5QDN?-9L-fG|(x2Z+tTuC^Gn~ z7$h?vhl{^&G}JAhP5la3^AWRh%U%@lnE{v@{4}y_AgR(t?{#_VH6zyL z-0N5$t(08f3r1_9@ZCuYSRQ=B3`@m7tD$p9-15?v(i9g06hVWLeJ873^6L_^at}U3 zqGC?5x|g~}pD3Nvg#l6TJAaXk(Ln^6h}y$yWvd@z3FTX?!bi33?BGW8Ca$C-cn*>) z0zGk|ebk57M2au61fMjl(&H^LEH11sDs2ZWIQ()2V;43@o|h zM(#{~N1V0Ukq(=})Bb`z+eXhH%i_hsh{p2Et9v zc%Zw+Tcyf+lCDiOoqtrjm7Z*0KU7IJU;aF$rcXN%i+fjMB_j7pR4@BO4;hWpTgVQ+ z)eMF1QBkVcKhyUFTR%nCNCQYY zBWGuLWFQ8A@+^gt5nY8W_sW0Eg{~;YpkYG-R`!q!xk4_j5r5QjX_SeeNCY^W#+$f; z-Yr0JJ?O%_WNU^vJ&k{7WP8ZeuMTg&8oqq(pO<6+9Iz+csdmt`MNp53Kl@>&JDf=s zzBICPismW2YEgwwqXy|TT9}X#xE8D;s-+OQCu|3;*C(EFGdbBxS`vE(#-=tA9j}7S z8+ET|(RKaOPJa=SuuN2L4<^JLXk#kpVH)F=S9@VffT0F~WVqztB=inaLf}$T)H)Ww zEpJMe3t7O%4K!k9Rwfa20hEE-ATpxhuw9<~j1(c<4;a$%J^mW8&9ZSr@)$`QlZPfm zQ1ICFX@I7r$8Xz|%;45ObY*INbl6Z3-+SJZ$Cph%y?<_mP*BV^krtfuq_DK7o?6bJ z^N=XPhk2{(#?i$mV@yj5Y&U@J=i`94ZTBKj;LcS9GO{l)yYAmzjn&GC`_3_UbXI|R zQogVW_eu1FpzdXSFj?Ytqx2H{y(2OIrZ{`);*GXGl3B9?o-Pf`0rG<|qy*xES04w- zx#jfW$bX4SW^rRVS!}YmOU}ge?0zEdo9eIq$03#AA|cI^`b-&ve7oY# z)PpqHz-m05e}A+u9aSWSv3(K)21lUrvbrL?e-Up^Dm!hu~+6fru|mI@5t zOMfBUML;0l3 znrC^h+nT}S(qDxn&&FtI>|74%*1Xv*&ezW5iHG{|VfkhUK*ZD_yX>cL@eNM2=oK-c zuY8RFT|ZEfhrlbQeMLE8aVZ$!Co}9bNV{rIO7eZTnu^Z;)?}H9WeYt{mBq`{#eY&8 zK4vvJ@j~Z5P-Nvec}AJ1v&MHJNE=5Butpis_0()(^S8Ml{P7L^w<_UNh`%H;T;b$$v{~JjiO=Ok54C$eSb6o6}7Cv@1Q|P zsbM7A3@Dx?IE80LVA0b^Z9iQ-5p)`kswEeStBh6tRg|&iB7dlrTd|S^ z$&>lm;euo8d19hVa|ZKyO4M6cqU@vEsjeqIcSau<8;K)v)_giDkVG0X44Gg;IaHm2)jM}~S6X_o_ zT%Nl)wHMX48YmTRA`&}H4~FP{IE+uE%VmT^=uM`Vs%94c30+v?xw3TP?DwD{{nNcO zahU)4i7KdK=k@p8%}5t_@S{`7B-(T{6?;#R?%ATA5rRyqGTuBAyni}$>f1$b%;7d; z=NyJK0HaqP;xnne5A__7zGp2%FN868v42X)%wDS*jj3ip6z{CG^nS1RJmoPDIW+^RE;v^%!2_mvgNxD`^?=v zr$;~)SiLM-Fvat!Or0IZTSTBaB)Y-mE2iTsm+}*0##_X+uYahu4VxELLI!>1IBoZ) z=6P)PE8N&GDtweFDeMD_#=C~^KmHA-!Xx~iq`i>6SgAs>i)C@*|5;u>dY|~*3>Rrg zz%iSYE^o%3n!FLW75QN%548C+=3BqMAB9LbtIrNvl07)Ca^W^Tp$?hzHVa(PV)3PQ zoG9+ea{Z7y@_&B`J;lNIbE+;GOxG*l*N!YIMk^DS;bRvUlcCwdB-~(6yXxo)ai+Zg zQI#9Q+^<|1rF)vPN0T&q`Qcd0k{~10NvP-{e20b01UdC;)9~QZ#$Mr0pE400`VP}M zu@j3LGp_Y^qJ*Q`U7(#N<$cmQrYovDc-1aWEFiK*O@A?(9KUF1!*^>wvAJWV`AejF zXpRdaablDmV|AC40_JPO+n4MMVMUA`UJlooK0QpxCx8wX&A;cix0n8&)-W0xG5tr< zoa#>1UV3k_#u$~{>N^JYw`zKL2ikND^n5qzLl!~eQ3Rx;Tf zL2vXO*njpxha+X}HVFsh_xxXo5UfWWAU~sl&2kgw6(@Awuf^CXEV|6@X9?eLeo{K- z6ULdD1bf-$7ztFn<*JUS78K+3;$Qb-&FxkzCXqL^Ql?70ff zbdyWAU4*Xe*!)#XvpQ10`M%FAN-eg0r7`A{bx>Xy2!VesQ&fEdGozwe5BKY!Kn#tg z2jvr%Z4eTn-OjD&rZE|V$cJYj?4f76JF0Yi_3pUK=s^KeY!iYuWk%l@Fc?d?O3Z&>AcF34h3pLi3gPro9_)3itVJ*+ zeCoDF=N>+!G?Q|eI}$d=^FWynns}WHu6Nj>vV(pcyzMQ zS>vG9daO%vx6Kih@RiK88H`R69NMm+^jF>wWi`8kOWI#z)(q;t{LZY6@q*xI?mm@q zHf(piP6{q?FhZ(aufR0VRj|KuKo05lHkF@v@D=Ys&M~Hj=TjilsrNAox_2 z5_2ay{t0610U8{)X_iGF9eMbGX7`}hhvt9$%3}C>$Bk6}4R(5br-jV~B6x2Tlm=HU z@cNxxDtRe|*5!HqbQ`!u)eS|p^svbAO0Zc%o}w!j zzrL{oP#;Fm2dJc?q)`<^jrIyygr~;)p`BcoILHcefTzZ}LxVf1lI_*^TT8qpj=9SG zi#X9BLM=OE04T)rZFS(cQyZHSL|uR77m^MOkg5-SkDTTDovWgJU^idL{c9d;Z6D{u z59@h&`v%OPfVr2Iy0S7YBCYBu>o3k{XT&W7q^|XSi(V)DcZrCbfmJ+?Eu$h?swJ)L z?Cn!U2VYDoy8WOM^9!PtwKQMD{Y5?qWFwIu<|9+fJW1kl?)>31tH)L^4i|qP2&#p8 zGW#M9)=jS!8j;(8oS43&LrQ>&Agct`(6LaN)L%M=#9eA)ww$6=FbXuhs%QS3gz1AP z;J+jvFlpU_v*3hI&;BarKpTo%9|KvJ%sFfN5eD7MkdM|6y;b7!;bm)RE-iY|=#dZS z#z3hQZR&0Oi1{a;VSPFXpx%G`C$A{xANHuE-XDGWPmLG9kvKUI8-&ElM2yJdd($^{l3odcjMqc8ia%fJ#!=JeSr!j<0dHH!vh&eUUc0DrJ#_ z?^rm7?3D<}F)t%iV6qp#~T2JuYy?LdGwO-o~H zR;!fQDYbs0A)~J&3~GO4(ykGRyQ&O&r&#@mq?YULO!N`*KZ`Q_Zu}$$UItNkG;&6@ zS0KBGnUB9fW=_RywL`BrDh(dND?S*HN8+Ek_}hpQQq88DDRXWNv^LD5Z#{yu$aT?( zT7A@o-(`pBa1FBa>6%ZSwS#ppkxR2?*)P2J$U4VVC?urP7*~IGD4j_t9iXN_Y1JLH z^XxEsqQhU23+XN%k~BQ>4ky&d*XJnpImHLZFD%Guxpu(8`yxVuZNgWkPoZt^V|g96 z{>nh-NkXvMR6LA-_Dm`rsx>1u70h@%A+BIWPAJ=dhk|IlqRY!ADQXaoJAvA0p4gt2 z=Z(?YR2{H<@zj5Jxp}m%Ah@2xgirQ}1cT;PiiP1umE=tH{q`YMU`bm?owjT}LY5L6 zZPy!~Nd&cQ80B09L57#b2fEC{WBGXHLN~;Dg`?z)><%IEEMY|-B;Ly8@34vTFFmCI zf}v1?K$;%e4+j2bDhGZW>KiCf^fZy>vKncAm%FK#E24kzz71TbJE^^QHG;><+q%p* z?YQcckJfg>R~hv9`_!}z=CDtZ0a|P4B&4u`Ifj#fBQe)BTqFiI?%keA*ri7ucKG=R zM}3oEtp|Pm770J{4+Q0OJwz_GD`K-Q-8P>lv?tt{IpGiEFax%0Bp)sc9YCjSSYhP4 zc5mVxx#53fm>7FUzWI@FnCSJA&)#dYS6RBgzEbs^Pq%n5WEx1rE$Q0BAV2>qyOMkR zg4nK2J4b^_Ea6Gr++z^v{=%aB{Zj}{+jJhO6hGorrjq!HooWV%&+>CHJQ~!_1;pW@ zpVG(QP4pcrApg?_*IV!K$1)zT5489^Zx6JnM6`cV#=};@!MDSoTf-#!Eizl~Fd{nW ztl=Rg&chRn`N>LuF5L8+HX%@00YW?QTP}nw#jXSmKI1A=hWxL8*9gZkx{*VGZ^Vl& zoJX3c(L*Xee<9A9N8r;?Ec2(Hid7E&^e0^p7(egllyrNM2LU@a$g2BGTCoU0)NdM5 z51xOAq5T!onFMK|;Ur2<+$wYB4wUsC1}B`L;9nVX=P28s@g8fUaYEE{i~2J1P!zCR z4t3O+mgvzS0J2*!iZsXN@pvi&S#E2otO=CYE*%0mB0lCMk=#9d2V)gSF7woeSbX&YCPgY=%v4J&az?- zu1tAs{wz4i1WPCh&`DtZQURf;(q+v+{j97?kpx#f9)Lh7jjw+M zqv!C@cNC?kH9FFtz3wwK^~lrMBr!JyHg~krCZ^&+lX2YYy1OO$zAKx;*H7?KRA3)# z&-Zgml^$#orkm>Z>@Df7-w}Sjn}rzY0trvu6(oqbBy&+tP~m8ltfUfvRUt!ZnmBU_ zs`c*hp{=Aerpma}HE*|w4&qFBd8yLhT%wj?JFQ(m?&V~Wow|?kWx-*{QWNAroot{DO!VW|eZhB;f=Mi-uM}5C{ZU!F{}@|o zw{n3(idKLInL6kQRMX@a0>(V68cF2g1dCjTV%0d#?w)2)oJr`LLY*RVEMQHkip^HS}j05pggp@U<(h29;RLXc7eUthzg>f$CC6p28373Cbj~qW*+94xv zgE~vD7{3)=fDY?&QrKU*d&bRYNeA>`3w&7J)LY?%=S-_hd#U@Ybr2_v44uj$4VT%C z%(wX$$|n?Bx{v!XR=dStyo^Yg59p@tq!wl1rRTNG5~$24a)#b@jqYdIUEx|`H3Mk} z4C1Dp=0Y-2tgCWec7uOboVEjXrl0)8Ws1GfkVm2)w`OWUS2Yz?k$QS3FrO>v*Irg7 zvWa8S4MB5r6Rh>%9*3D5@-zgxMY&%Io) z2~EwX_+1DIaQM`ASO6CCIvT=;kLY z?UG`Lv}F;X?aEj(N)pAv7h7VLlDT8}k}2e2EOyqhhvP$>7~G#TlWSlj^=Z#8?*vYf zL>5mVb0Xy2@AXKvybe4=Q}{goq+L<}qMu;G|FV@VA1Mx`cnDHOiSVp<#U}o!G@24X z!0W@92PuC~BR?{y;fgZq&9Zcpp1$i9fX}W_Ks8PqEyIX&D$>+u@-HD(?AVeQauTv+ z?%uP&?&43TM8=b{qLZVY?~l^aD>b7$F*MMXO_D!TA$eB8eiGw^p)hm^9SqgygcJ({ zVXdNIL`r1ZS-`y5>Slg-^^dikc$YdVW4p1^1W$hk9`sz|WbO$Ppe&`Pd?DB`xw+yC zx&W0x`^|F%*O|8SFo#u^0K#A%;KLPWJxU5;3YsiIxn!8gLLj&kDLJ0TNWVV#$NB~; zxf^fpL#~FQw(lUfHwAEx=aA})x^sbb)5v0fi{S%QbeWUzLr<^`Y$+T{%`@{Gl@`PG8#rSEskbf_*E=?5?KqT{hE%$pRqRgH?aX zy=WZVIbQ>M(cdH5H?RbDnBiBNU`0y6u_&1#-34g~-dIp^+6*p{nexUJUut4m>-=#t zRB(fYPVEG((SlrgdLEsl4`|Cgnki~2*LMrle@oJ^wX6A0cp5<6pyRYZ7dU_3OJybX zZMtFup2^u@pj;eU3cKiYvxiD7C6RwcbHjmGWuHuqNM}L-bKh>iI+< zzDWm8d9v#Hf1mY@MG`R|>6P+n>f+iPCsk)|sW+pMUx6q_=26q}clr@5uAn1+)q`X^ zxA5}{KZz}$@ZgdPH@}Sp!+0{&y8{urp!D0pHG#ovPS{(1MUKt`s-lY`-Ee=;rVPI9 z`+OBcJhTlz3i*Q90Q@@rE~V+$S0a&jv2DvReJLc+$tH<90+tI0B|RuEvb@)`lf-p! zjou#Laz~^gD-lu>U)@2p>urOfUB;+Mvi{@PiaP4`C@IZvY9REu*Rq9Irsg@aG~TDx zm&^S}HB-0#%Dj<*ur=A3GMax=X$l0cna|ZWS;;h$BI6?;han}Eo6-YRTT6O(D^?3zJ}H}a zvhQeoQTxqInFj1w25j|{8l~B7o5DHbhoT>~o$r-tbExG;L|cGj`h1G2m}!KjKWXwe z%u*`TMbtMc*aiBW1gn3E-q|`T6rdW8)lhQ$2MR%bLZ=E!Qd&G6c1Xw*DAGIhct5lb%}lL)^G- z=791CEyzFRR^opNwWF#qaDu1F-GeYg0%hB+!0X-n5jX~?cEz5e3Ofz=0Ai;+`z z@*x_TRb#p~A%Dogx`e}kFy~-Z74ow&uGo$<4Np`+H0v9}XF+S)&okI>wyyPy_n~`Y6@AlrnYJ zQ=pn<=+2AW+8wmFx;tTcb#x4ZkD#kia1kbw#jsD zb6bCn6A@dUI0K>iyQZyp6)LTW((5ydqKWs$N3-s6qK-s+CXv8?|N7e_8VssL%Uaim zd2f+vvMImRf5*_nUk0bPl`Bea=nbpEM$p5QbZ)2L+8hEG;fJHp!+3%*b4 zNN_=qBjp|Np?J?y>}gA`D7;W}D}8OqxpjXugzdjE*{G~LnFX82?i7-iYz!nh&i&pf z`3-MdrNU#BN}i^q3PK|`OweYc=LVjcT`fyzhMh(1l%n6H;#+svaZcrLDC&kM_<14b z*h0K^N*n(MnvlO8^ppyJ2l4O<}(y>kNSn^Hd-|GE`h_??Zt7$;cIQIP?;qI6!@=} zU82zyE?*Q^op;IhJ?T?OTVa-84zCq^Uyw4{i6coxd9-5-KfE!@yj;nYBa9O9A-!!4 zf5}qM15*8R##>#+64T)z;=#tbjH!Qu#Q9kz*;gu;1q!b^-(!v4*Y}#N@U>R*Sk|2X zPXG`n@7Syz@O)!!i5hqs33;BpKNT8`T%D;lCUe)3PUzJ{ycc`IPiKXhrNU z@f0PZP>;L8KG=~FiBlt3l^-n?ACsT`T%*;uE#yWEJpimUc~f)xg;+GML}q`7dpmo+ zD4av6JZpv6VLy=#d&R(wUt+C93Bc4*wrOH%I6yv3q%%AOYh$jKIXs-fx;Kgzke@XV zr)KbvkYG&S=YNztFOLjYMx^@&d?G3TN8{?21Q+?2M?^$FLwA9pAb2th@>iE$+olw; z(Jc}#&UO6zKme0xKQ(x9Pt<=d4U6?%=FgF0ohq&WNl)nGl?=W>-c#Pz>pBwgj?q7D z|EGyp4=1Y9&l=4&ECM&2cES9l)@O9^#(xm;I^KbsZWcndb?E9}g2*5pqEV#&ThmO&BLG) ztc`*Ue{|kI<8}!FH_T~_KIv|(j{y_vKMIqF2WrcnMnCkD^is_^=QtOP!Lneet~xjl zYcoFZ@MPRpOj0)};iZ4t8AFb9y;}lG{F}a9?1a=|weNZ`Y_|FmTq<_i9xR^sJn$0g zUwRtmW$%%WkDX;%2Plj^gfSl3fkxVg0&GqtB6brMB5Z5-M5bweY=ujbFQh8a4zdf9 z1s)865?+PRF|6DWnc5UJ%{Xm+*R;dk=MAx;k5!lG( zOnf1HbQR|N`BAX&ml970s)yXj+2Os~nf)Ja}Kg$Rr*KIz`fh4=gq>*{mK6 z1&8K^r^v-8V(iUBYX|@*g_bUjYdQb?pyE3C3g8EZ1sDv?R9j$C(b6pC*mwVcC%|X7 zz~!s-o^w*_^-A3T3{hz4xwq@`jLnWb>Q^%4yU zzAg+I0ioJbZB0A!bTt{-7RA=`@MGW}S}7HJnCzs#2-|p6E1(s$96#-fPQ3)Df+G$VL!l}qDC9hHifsp0Hdru zy33IFGarBVn9Ut!R(J9fiA1z-h4Y%1MZ_3SKQnF;M`l?10($NIo1aVbO8YFyA1fZ+ zHsgyW(Ci*3I4Hoi%_UJe*E;SnFrg6v7tzb_39C8$7uk;9JS}#s60CPo(H*&4pM-rp zca#^Ccm_X3EKIC*BJg~}6-F&0!LkZrliEpc_Sk#r2l%{~(z&qO{aX9?ur8Z(DO|4WrGUMzlBH;m5eO)|mJwUvf_)A8oEA3UoFUiOjuwUN%~(>A;WE&^VN=o>LBSUr zZ2^B=`vPcU@@d-B`NiCnvdJyR0O(C~iYZoIvWhlihI})xL?>sK%eD$xwjLGH_Xr~? zIDWdjfX|M-IpAlh@uR~$ygtx#;-}4Eh{^(bzuX2Ad%}x#ruD71G7gd_k(@Gckk4_gzG( zAh%drGJdo*Tz#p_&7x&fj}$lye)P*e@dQzNF(~EqGwt^liz9y-rN4wJqmSfN*Imj_FW)dqN8n`kH)7seqy=$( zn9$1C;AXHig2{LL6DK)Axi8fOtDTUr?Z^Gx;i}}OMPVEFS5wg}1#h)<_}?gmeqUMC zJ;aHQkzY>=!L-HwyKp=dG*da|A(7n&Cj(!a{*0t&L9%!|a9s=puxzOc7(#yw0SDM| zWxOU-;76Bb-G4#pmdV(E*dK&Y+u1lpY_s&1!o38L4&!&E{8<`sBK}+?S-u!DOpG+Q zc9=l>tuDx_BZ!N2erS+dljwY9eSt5@(!TJ9g!>RiL z@kQ4?s2d|@iwY^#LHucMn4Fui+Ik;WMySjO)-_g?pRZO%`*xJh%@@V$L9j;Gi_f%Y zCU|x}>0xfIyplX-Cc*C@4v>U{#tF0;3)oL+_NNVsP-%Sh2+NtE4tsx2eGz;SC>BV@ zt4@{45kJnfSq3pLo<&%Y+=MMQ^nC5uv5^~8(_`|a~R6E7?xil1wILoF;nKS0)NaOoU*QdJ$S=bORG zRzoXEXnEOm^>l_PdqjUQ%f(cL)jUSHAxYoiT_u|C+ zQYRm2GVk7-Z6C!|<6WT;(0;9mj(s;GxAcq+i~zJbK`nX)YEGU0f@n+(K$`5EWg1~9>xdmw>DMUchbMi?KdDW$SxH%df%kNnLVnNbI zJ4OG(mMHOvgVvdVBHO%~mnhx@Kb+jbVbCNGbq z6heE#6*LZS`L6Sl2#hI?`mYln>Kx{BUapP@Lo58fp&=Q7<7k{FOOins}UYOkq0 z1y)Zc34H>Dk3sT|x?7LU1^u`v0dmsi7_+2-t|KX8J+?lUkDZ=ZZV3D;pc0}wb3G@@ zdZW6s_`-ixG=s|@0PJPOJLD=!QddL>3Ol*v?;Maim?S*Is(`gm)fO8zbx96_0;0fN zD8PdLIQp;Sp|5kJX>xCEjc&mF%s)v@Z~cY3q1_{DM?+SKc3y2~QTTPcCb0+?qkhk# z#KtM)Vi>}HA{u<1Hq9#O%;aHm*`>3euHG#J43K|pSSPIlzKtiNFePDuf|~Q-5lAKI z0LPoN-^ijLqypQ>4_y)Y%SBdq=4X6#$is3H@vjTW!@Q(luKImKlHu3TYfSh*2#_D_ zo}y1nE5iDblbS2OX;wd96o%T;?F+zGWDp!Q-0Mc%z()qryNEo2^mGM1s});=*=s#E zdX9g8c7`@T$8XGA(Z2pSIS07v%7x^qX`PK>eSw${D%^|thBuL1v-oAFv7=A7l)~W~>2>4l1_Cx*sZVp(K1zWpOxj7j8N%U?|(r`+jVd=kvvq zc8vyS-A3;8c=Uo=)}k6(VFx4dp3MGyNBUtUyy|j@gwF`~A=CNWn(2^XMIa+qae#k| zPeWdWx5q-M)bIiEx*^O#&T0Srz}4i&ov=O?Tpn24kaf9l^R6o^g5{)QK`yIlQlypT z1@U4@92>u>NKo^&TjI)XV2#lG{6Atv=$HjKQoJD68S707ES`Wgn#Dji1d5 zjV>YyY-yb7r%Nj7xlDG;*ar(A9CCjj**YRsY6Nh4Gz{~Vh~VxvJcf>1t3tNmiFLHh zdoC-5krLFR_uCMNvj`1X#rIGe^7l|*u`8m@S*7^UaE20@1H1QV*97}g6ckcfww(mK z50O_LtaEY{yn=LGekchsnWc#HSJAstD$NSD5B-O$;a#d4t2lK)=6{EY=`epG-6B>W zFebCgKf#TF#C5crwTg=uu9haS)xKz7J~qbAVAO=PPw&jrxL}Gy_?JM@oR8*p2A8zt z%kRPqO`;0amt*rgUa$25i#t1-SBj&7YBEdJ$za`Om-42Dmq%pv`JDd0D&O%y)%#w` zdvOT5mr>fd*V!swUabKfLREjv5r>3a*B;@FFA09)Rt+XPCM_rA0@rL{z!r9^wj`?I z;xS`*5@&{&tnen?j#?)|ieW<}Y(upYtE9yO7#dJTU9EM5P3>8+GU#4T_n!NJ1F1nh z!>^|5BL9Kckn4XE5gP6a{PszyiXp+s%>h4d6{SUHMAF0jP!_+?zYl-jag(e#vk5!L zFkNFvs+63^T+S^?11k&$%qbYD&>nsoIC z*X5zL)~rx5DIEL`D{2{9&=lg@n&i0T^Nn}zMWfY5h}^X7knrj`PhH#Tm_lfc1V>-` z!!^xMjc=x^ehWm9OV_(RM8^?4|~65hB0f@U<1(|oQly~=+Uw+embuKDHih%Q17 z*=uqn_y*)1v3c69FK~*QoP{$Wxu!~U2F`eN6sAp}e<;^z_}pOkJ4d4Cym7ym!~!!C83!g}GYVbIh+# zc*?|f)UTloX?V8bHJAk$1;M8O{h-6)MI;p^d}GHEQ^dgDV^*_?DWK}8rQjwiYG!2F zxeDZZw7uOiZ7ghVtt{>1%@m@4G^>sYTdwF^=#C#hSTC^!k_6N?wwzD>bPe4wdv?0AU;> z;jerG=~jQXv6BoO!D1h#gv70C`C(c|!?SvrSl@=IcwB=hBU~J)05o&#Olj!W$N6xB z$Izg~7HmXP?evSgN{No(b!q6%_ z;_vm_ICc8j6YqFy{?Tf`G0w!96}4iFnoUkCbnUwY@xv>4ObAGoM>eK3}bKm zvD0%yvRaq3ncI9Qxz35Yf~hXXHfc}+db@U27at)4@OQyJ%rJbW$-dTTD={+?Tw;&I z&yJ`xLI7Or|G5s~;LN8hXL1FN{3hDEaML`w-4>n9_3mFN=LhU0%Q77wYDivU0oV&8 z)Qf*9f@gV$EcpZkRYsM}q{8^>X-&Zg)jiG+B4YqSPH4_MJTlB!f4#xnYc%>T&8q!bJw}S^V==xx8X7%1)4N z@O;|6RELg}7UfS^tFxKmk+GK9Dl`E}bXI@527Yhw0rC*~h#D`=6p^eS6H(h<-K9#0`oPCpp%9eq9CThlqeRM+bk8 zm!=GYUF|cy#B37tNc3>9m=n zdJjo671E~HCEx|dqwxAm4U^+%0B?WLgJv6VB6ID)z7LVx^O@fd#od?76p1ShVrCkW zI-VL57v}&N+ZMk~Wb|02iwH%9-)?*9)*rplBFxxo6mTasz>lQx`D`l6od8&t25Iy~ z2>=C{qoe{lC@^f0y)IZz-1-*jvOm^9;d!|8tNwq-%Xs4b zN!F5fqzs7>81x|kwS8PtkLd}F&(N`_Hz>by!|*05rhOkB z#HBQ0Huup!Ru|4AvzqY#suOtB>M%w~Z8HO{j(flHn3vyCbIo3&hvIREpP-3qK{AA$ z>;b(!WpB}u!JziBQ(~8Yd1!x6a2LgDvOz{2tk+`4Np_emj9*~QA9K_uY@{5bwq(LT z4b0W++!6yJ&}p0Uu+VvQxzEKtThhe~V6yiyOFa{AfdmmMuth@O*DR5U1;LEX0^1VH zmwl$YP>ZLxmPS9(np0g!zaL3sY1f&MZ~L8q=2m%zi8ExE=Y$zC_kDl9Ft)C$V9Npu z4)+Jn&jA9G5`s>5B5fO!I05QzTR!Axb6LLq_XHV|kTKDFKl!(M@lb2g%r$}2f$Fc(WLcNiOZV=RXmS;pn5dWzBRH40 zH(CFu$7WZff9>48dNzLwq>BBRsJvps4aMCihD8@WIobKe!U`HJo?ay#E(e^4fXt$> zv~3x}p5fDFZ+cFoyrC10X~`nal%lvQmTqwp93)HvKPHR4XhgSCh7!R|H-X%eu@mk( zD?zs?;g0@<6I2sN{VR;JG*Nn3hsr=acxt%3HuwhIvd&y|qM`Av&u`PDV{%8pSDuYxUMhUf%2JbpFl~u<}vs|8UB5 z2}B4Z1ol6qxFmm}%`UB#f6iBaB#d>4jvx!tC_U)O#)jSHcJW?FM$TN&AE`xS<0tLm zWz6^ijEtjT)cfPd`=dInY`Cw|=*9=WceD-@gA#f`_!@J+&+Lxp92)A}=N-yq#>0oA zo$aF+oEI~1CUH+#D2ZnFf0&0*$5zY1hDTCtxvQL%I03zEJJn8MRR8KQT6ut=Hl0YP6Adg2uHRN4HueN{(J!=_(3L|+h9DN- z6Jps2MD%}*ESE_$7i7v={!M38p9*m2$!c8|ol1#?NvQ+GK3WeSH9i6zQ~Zb;uZ~8q z#4E_g%@(K~MaG=-l#Z2^wvm-Kex~P`*wfF~ zlF`w~VpR9$Gy?AXh!RVvE|Ur@o6sjMnN9QJ?LE_N6xFy#t*syo?R7`d`*sai6{ zpZoyEK=hsyL!g7^ge-hq71(~ zl2d94Q}JIR1el>vnzlnCYA9o^=efP@XPa@E%B=5G9(;zWJW&3&=}XHlwhL4&GP`$&6&PmIR3I;mxi zF)(>Kh#fTbD^HATgR|UP&y(LC$f9fe?f-v)I*{eo3Wg9t8>M6z*v&HzMhOeIr!asu z3C0QKj*@KOz%w*P2$Ds}evTwB6i6eH!`;Llt|ZcN;j0qX5Q+$^6Mr(LKi85W2Z7ZB zz$;~X8O~`q3Dj$f1_Th8*w4Mk5#>S*l2j$`g5hSc-5yQanRfZFICk~FtQp1 zF`ytS$qDq}aNZ{>-m}>O4hDI*MoOE%B{Qf5Jx?Ns@Gs)oEDJzkO<=02A>4&V{ejRm z9}+XEmv0+%@KG4T^b^}|O5cBcHEk%O+>XM7SncVIsWofdo6SUzvn;&TORJq1?rz}} zY8s}(GZwTdW&iRXi{Lx7|BzYk*Wou0u<`>Nxuv)ze^En(3(R;TUaK5i0<@S4!n@um zbbxnkE(85M&P#Pb3(v>4R}u;gFX zNv#Xqf^#~UkTUIk#7>ISq+?y27`NAg-DDVjtY~qF(&jIm2mXJgMU03Fq(0bDJe)7` zVY8Rn3?*U}e&Hz>h%b9$<8}Syut_UZ{W| zF+R>j`6|YsXs$#S;}r(OLylq4HEBjeN3dsNB+(WQ(r?@lT~K8L0NU@^Ca3E+n!0wg zVUY}l`-7vA=8b=No8kjJ!J|FN<&C#2$h~ao?@fRO-JuLWR74@?#3XiXDhoiWI9Faw zf%y%`i-J2tDD7nfDU6yXXbQt%EE!GJqJLbZz}4J34Idv1(qz+osO_Q%gRKsZI_tW5 z9lrug+*Z+|@jgPMEBT>>7vFUU-|A|zNieu+d@XVYg-L(nL&c)NP8JvVsojglZ=@AC+niVsHWhNc1 z(vUS_VWdhj<9W)b_BM~#54cN|6fQWxKNi$okSu@b@BK(fa4qD)9D|VFTJ6zz0ZJdn zMw;-tg`)VORc(D3Tc58Wr9vbC3OgX|lrDbnP|%d%OQJ8|I9|p3p_UBbvA4Wa9AUO! z@@JwjG8Y5?#%Bx|D-)LvsQXOSP+IoJ?%cw+YoKXFid}9uX07<|YqB@PlvN z-RWghq)|hOM900+hl3lgeq)m#ELQ4yOpm{Z2)BC?DXG&VB{E^h?@T z-^zDVUdK&pq;3wXC*nJjGLjjW^um;D`>59A7#DvwUzjg{M8QJW?%luVso}+RyG3xzt!_Rs`?=dP#o0xX z(*v~n-5xaK*xU0^Gu$|nbY$8X!mj{l@u)DJsNjdW%aA+SS=z-NCheWEzp4EqB>WN$ zvLuKy*ME_M5>NFnyjByh ztNTH?j8dm|mKsxPw8o;lzy>YzaIpv-!$ifS%IR2u%VR#=Bcy+YmD&UydYKaE{g&PR zith#D;{Uq04m0)5B;f4-J1XgoB4d!=kVpYDhXGa~dDAerF@{^3`(hl1YkigRarqhl zY#d(~B|jl@5M12j{f&_k_gVkEQyx$)-&c7ui)VLYqf`t%MyI&~c1(k?=dMBxd#JbT zr_z!x)v1HRsRn;_asRJ({TeFsE@@c3bNEh&KVYh*SI;!i;!sz3ckd+E6={mY7Fu~^ zFlqJZIp)zJy_lC%0D~7Q^O+anqjoD?>&+G&4KV4ya5T+MT@#PNv@Z3G+mrvL{3`EH zrI=5@&NT*)o_zH|$T;f3`U=uVt{yZ*Qq97i$DKEUJAZ$R)~0{lkr~3G1_@EbGB@LI z5hXg`+fkHsX_`5WL(N~gvJ3_u3cPD4Y^Bme0IZX#mT+BM$vB?ru;Q(&0vVy4e0m*W zDjw5C2=Vl#uH^fI*U-pcw?CDyCVAmgLZQ(!KcKLHmyAW;tJW&$&}^-K1o^n|4FsA_`^bU$ ztx{HRP4KUA&j(5hpo2QW2`NYrS(eWhi?uBO+f)LrZF?7k#`%~F*V*`vnnF%;Oth0; zU3QZuk;QebE8lY&?F5BMz&cVcvrYJG!Box(wWQVp79?SbMY4`pi4cTr^q$cPKz^2T zaZrENdZr5{(;17L%W^fwzx9T0SXI?-Insmio$B4Sn;MgZSMrLD+}=71IzKrk_=$#s zSC1r+t@5qQshcO8W5U@@bc+37TY(|UBB#){JAB}z77hEw4h`}u3i^%I1wRVd7%y&^ z)Ok=p#P(%G=NtIu0LTvHVgJJE^R8}?^ab?d8q?IX(`%`muMP9$HmfTLEwMm zN74}h3HF01fb;o06N+kW40k8u({#(flMbKmrZUTBS$bm6Hot}}J**e~**apH@gm~hGnR_d$dpaW} zJ5RpdMhNPICX{8-7EK8J>|*YI_w#?8BpBB7z_D%5%CrdnjTy4zru2!v$4YqBF@>ud z9{YZ&3<;OmnE={1-!8sTD>N+(chZA@$;YE(7SOqp26LTL`sZ_~_Y_BY@V<|q%5423n%u=L6QkU>p1wjD^ zmoixeD+2jImtR>0G6Fo%my=lqF98pi!&wD1e{*0I^l%XXHyV0)9M5Rz;SJ1WH0mwj zC>qf-EhBN z=TSMJL4Z(a1+XDJ8JWd)8AJpiq2PR~5U=c$IY9HuQH3fYCdrx#wV5-p%gR3<}r) zI$+aACs0;EEHfag5px(5ZU9$+78sSWSO+s602ELF;{}`mKLaiBmL)Nu;4FwrfTFix zV-MbeZ3Af802Y8S%0sAU9M|HNhOz(ge~*9u6G&CnR~KKdmKUF@5B1COdOcartNPL8 z_v!iM)sqJwD{6I6pZ$3?si48dQ|H1;(B>LS&_?8)yd@Z zbo^lPt@@y#!e>7+pwr~^DCLg_Fwzo+Ao;2J;e5V;5kF8YfST&#L1$*Ve^8%Ze}7uj z_4Dccw}bk@V)=Qpq#5+b`f2^Fe)vJdh5Cp*ov*78;8`PdjS&1O0gxGQ<^?nwJqmzg zh;ft+a&lM!3iWAKKUthDK=kTwProb{YnW~_(&`=pP&j!6!-2CRclFzM?*VZ&3K|S9 zsu9RBzn;xL?ry8Otqr39Mt7^m-UVPj+<&sMF(V5mf2+pMn~?^)yj^3J0K0g*#x{mg zPPgRQIyds*Rkv%b%_ziMHa4Jl>%NDEQ6q(3szw@oO}4GT%4dt^>DBmrQd#cOxQF4( z$KTdZPS@l0q|#JzP#=L~kTo5F>$$|ujx>dmQq~y4xD2l7RVk;++osxMz~D06_kT@S zSQOZ|&?4)X%fIMN)6Um8Jo_d@!&&(+y#FDMvvd23Hsz)(Ph%UjJ=sd zlcIB2>W-~hCtsnVYRyXi_%hm7&048f!BqS|3o5E`w@R{K(uJ*lLn$$&?} zcmc+Z_`f1ZGnxgM0ZvS1pZwPHZ73ufY13`r&bJ!6{I~m#oV$Cc)3sZd*j)uue^qoe zen2aa*a&Y!umo?k9om)F@gN$f@QOSaWP~M2a#N#fCW61RM+p0T}fZDm2DewAm^^NJ-@W5maC?Y$b~7RE9ka zvi1|Sj43G0gdRewVhU+Gu24ihf3GQy10$AYJ(p8PI4mjNIRuL-w~==t5N^tR_h)Ds zlPJ$3sdr{GJ0zQAnh|SA3n}4R96jP62?yBVQF~mc9Hs*qSECH}2Ii5`ptQ=QC~AV% z4g-J}nRRW zZ>}w=%Td>lUn3O|vJ&9@`d2&J4b@-T)xOPQA_1SYlV%rv;%gM-UlFM%s! z)6lr2b<5T`TDjUb1#YgVHMzjV%421V_T0wd)>Y?5ec}#_!{ySJxfqxS^NvS&Qqls) z0Qv$SLC+9NDo038fAxTta7!xZ>hK^imo!s8P*g4v7N*8EOrs8+Yl(q_Xo0R3xA0X) zB8(fHv%tH9y3~r8iz&NoL0xfy~Tb0mJ z2&o!YURCxA-*bEBeTa&r!`%jlo{r7mI7kO0+V_5#J#xT_XfYwv zzL_?D(JRt}DffnDpD4W329BxRs2OUB`*%#@)!>KY<6h43l^7kbGvqailjK~gjiA_s zr)f*Fm8DdgDGe|03HG)zw(DmGT=1y8Yh_yCLFjnv#9~o;9}=o5cteL9u0V{t0o>2G zat7le7;IF)e|6NijBe=!fB-M!dxldhvzZ=#yh(2br4nd7TFk5qrTj5c{u&(Zm%uX0 zJ*vg%o$=8KWgB$FkrXXL5i=WVQ>Yk=%VI1}fvK#O#q?IP5qJS{m@Q;JODT1U&T5)t zAYvu($w#6RrnnYUaNc%6jq%vlq-GPv*C_%TqC_?!&}Hj^{6m@?sD#@NS&GCp->1{uLa~Ls2caGpkIgu@{gvKC zc|1wmS)yZOAth?s2zf{8Dkb%v6d!4^q?R_d`oaS^*c_Nh+dnZHjm#sISxhbmn!1^V zTN2Hgf2>B-FtV-GT;f`Zj;GUG)F{*Tx*)r$m3VM%u^!e7>#$%~Ml6;?xvb@dIMDVe z(;1qhvjj}-T|$Xk{k6O?$40rH#07&P-i#UH&A3Y18G&3?qAM|$v@@3+K_D$@qO7#& zd4om|n;zPd7B3}QHm(Dns3+qqP?nStm$(=7e+AYZzoBtkp~DwJZTk<~{DhFlS42h!~o( zp_2=*8%(IyL`~tHR$n^b;hL<-!MLYr&(vl-k8-qQfn0x6k7q%6hJcHc%)2;W=wx`F zQ)3dFTN2f(P1%T26C7@k9ktn4Te=OUe7kacV5@&AVd#Fk#i*hoaqTqu2Jh*J2!!F?6s4WXVP+RNb9d+nkdhJ$n7Zb~Q`vIFZRybddykzYWSsR6e`$lh zOx~NEwX{=sgo@8J@hFJ`ec%&JIzNwLvnvUdf4b~SYkZx<>sZduu?|mtX|I<(C*8=U z*R-V4@l*(Om(Sbj92@%EfEWbt8ZYRP{wC!|HyGQT2h-VHvU@axs2!af(g`31sKBv} zVp5{#UCz?6ny15Mmnk|bdVWg5e@!b7h5N&?d?& zI<;_tRyvA!^x&mztRm@>w_Dnim1tU>cpE6GrxSjryaC8`V#^lEnu*O;e}tY+$R4-} z)rE3zZqH>|&*ex*q-9JRpJ~~8$h(^jYctxh}*NnvVoRabkmNZhHteDL^0-3_CiJQTh;&xKPz-8KG3b@LX zc~&Ft;5ubipKQ}nt7*Yue>F*SDC(v*xVVDR^A?$Rqv9?K!zHFX_s}emcO60tHdC_& zaE6TlXJ{qu^v?W5vjtefEa_$**?WU@^GozFg48Q;>=+i;5aq|MvZf=oqGt^@Y~hC6 zHMk0NB^8d+89|~fD7$Hyn-4AdncG0(AQdC>eTOBkva+sGi?KD46gDiF=Cn+{V&^ zZ|NlhF3Y+EdzBq~yL^kS>T(szsPe+VqazZm?inCAyM!=4pCw zP?i+mD@jGOEs`CJ!fSk+lpltaD=9BxWNEXujTdg&U@DQ7f3&^Z8KK3u{5+j;7M#hB zgOUjMfA|hfXz&nNOUlv@DQl>;>s>Sl-|?sZkF}^3Jwm>X`!c&y?B*vOyMV9h%@FAn zH;s*ltjUzauvBQKgLbB#--`*MWVD&yAIzO{qJ51ucy#CJbVRhEeKy{+sVVWDpP@7! z9`@7dl6p^1f59TZ@TAK@ULa?3boA!w&7oAn9JfrgZ?T5+=|^GZ4!$87<=m`PEJriaz1dE&XD+7&a~$U|kWZxQpnyHK9qN1;i$Y)m=0 zZm{Hflj!V%_Ln}=@=Z0F-We%Cd)+^D7Oz# zPoKSb`RgG9wZoiEY;^_SfM0Gdv zh40JP6=<&j^zPMzARf^R<7>Te|n`g?kasN63F*sZi)-t4xz@&<>HUepJtyH z>#y~v@v>d4xWtwV6_+pz#bSoxaykbc&nFkOG_7Xi)mI6NQF{fiqxX-FUc4b#cEx26 zsCfMIN{^?a<}Og#ZOUaOVp01-UtZ7F)2rE^_2OzW|8zZ@O~AF6)5}R0fW0E#Psy9t zk6%9j`^o8plU;V<0Rd+e{z;*&vJs~4LeJE5i@?r2Mw&#hQur73`>rH=g`|_GPtT5i z`TOb7gSU8Iyu-%P$Sv5njy6I%n5Ex#mtboJ6o0&))L*9X@AnCZ>Wlg-EWfz)E;w*C zNk)m&B2r)1|LdZ%S0MZK>C1OVuK<--Co1ej1=eLqz!d(GbH>B@-O()O{ZX;16V1r6 zTPWsJkRLHvO@5!uzq3pkwO7=8bolGTv*#>*+$p`XMfzZ1i{ONdlSS_^@Sl=?f5G)$ zaewXI%U=#(y<@@C_XWp4i_bRwm4Y9VJ3OwR&|m5v*U#&d`epqJ9OSJ2cm2A4Q@;mS z8GoKa^jl3=1bFT39K`Mv(5=W}|mn0of+=zrwjZwdU}kqG~IAHdhRJq-9~n13z!ha2f0 z)DKA!M@1FC6lJ`qe+7m7Yon5XZ+dJ~&hD(V`t?m|56?`zHvsHN5Ba$_vyQ{m~9~GavKJ}W=;P5mB z2$mr3b^S+I%DvXBC$AnqefFNEG=ICLG#EMPDbXSt0a$bwmZuOjPbn-8 z++p5z00BeSHq2hD%8Lgte*NVgfnZd0yFhRyF5nwyDa-AOHaCG_Zk6B0?tdX#V;N)@ z#VXJu7WJ|#>0S}=_1ibUoS+w+J=>kNX_Yrw8?2w^hm#kvF}ooK;#$=eX|M2g{PxY^ z={puF?G`CE`IwH~@by=SbPUV<8?xWlvB7@HYP+KD6~j)C-oJVOh(z5Tsk3jAAJ|`K zYyMhEx1~Hy!qcQX+w;$ECV$grp&~)~kBox7C9uT9|8gcV*w}5!9y-9=Em89E{2XSP zUjQo8FJGYh9KXEtL5EHj13|Ep;=n>wGO)_TBE^?kWi{qvmCZ8i*_K2BqMSf67)AJI z&q|3AF7PBa%EnSsRHQ7A@+ZoqI2)vFj^M3=-DG7|@U&03U4jZ}DSw1{P@Bj_!InDd zXq970Sy+E;;!u;@Gh_0hLw1`nM&E=b=6qpv9)O_!@R8h_AP1yT|bTxd#^K@{YN~ z56Im=G4IZf-_PsK-qE-U!rb)_cw6^ix<9$SX>un$J?%gD@P8z=Km9=KCUv~c2(=fS znstl5?6)^d!(+@oOZmp&=cC}r-33R(qs1OaTHl_dco!TE&;0rv4XnmQ!4a%Yf+c$w zEDcY>`Ya7YSJ=f;x)YX$$18o7ZeB)Vbr&q%i75@wHu@|Lj63+w@{)z(!doWN%y#x+vwlU}?A|@3Z7@MhR1-jV<}RU}?B_?z1#7Z!cGD zFS3PjCt+#0_3d+%zXOtRxM=QzrQsH}$CB0GiIj4IOLxIi|2b@bc^eo~ltC%WfYXV(9 zi&?(IdD9rF=@V4xVz+ep^?E&no#d(jQx$_nT&hNgJf7QhoWe%2YWO;=8tdC|T%yR! z<>dEDcee`EwVZ}vSKsN{L}}_-f>F1p+w|01d%nQ$coqlk_Eb&JW_8-mt`_5TY`Ecv zp=n|OLw|GMbSEnZ^EjF9vZ;rh=?#!K;TQ#9oyDwb5&+_>xhQ<;?o=Dx-S(My^bU`B zA_X?|w?~Wf`={&ia(%CI{JmEBo!@(v_k&7xkG>?{t2WR!_A4z^=6 zY%~oA%u>C<0SZr_CW}urqA6INPhp4$i`nP(+3!ykFq)FMaWr0y=ZmwK3NTMu+;}>f z&Y=_Pg5TpS^=He)pOfWDLX2ad=Z2epQ)2u7H?^0U3T19&b98cLVQmU!Ze(v_Y6>zm zIhS2>1%?PRIWjRdGc+-m>v9Df2r@Y`F*P$ZF}DtL1v3LfH83_eFgP_sMMgz8ML0A> zI7Bi*H#jgsMl~=rGBh|dJ|H|bFg7MnyM8I5b2!L^44)I50s*H83&gG*qF6o7z2~c)nKQwUD!ozH^v*qJzy`W z2m8Q&Z~!!bMsN@u0-d1FLV1}^+60WlRqbaPU>8#)0d(&DLzV$LQ@Os0LgKZ<0QvPj*}cGIZkq%nMf6DS^ zA4g@~W^3PN1xro*mi1Wb$*Qc^(y6<$K1<(wDeJfNn||4VrN8#d1})PtFB`JVogcDc z%dBK&Ma#UXmW^0u_5TW89yHlYK=%QCbFQT%SbS9AcL`Te!WERz+JyEbToegCO86iW oK8S?RASt)_;OF|<$IIa#wQiM|mpFL^9t$`!Ha7|-B}Gq03SQkfZ2$lO diff --git a/main.tex b/main.tex index 0852036..956f6ab 100644 --- a/main.tex +++ b/main.tex @@ -373,7 +373,7 @@ analog zu \autoref{def:kaffeekassentransition}. für \(k,l \in \naturals_{\leq n}\). \end{defi} -\begin{satz}[Bilanzierender Kaffeekassenexplikationssatz] +\begin{satz}[Expliziter Kaffeekassenbilanzierungssatz] Sei \(n \in \naturals\), \(K\) ein \(n\)-Kaffee\-kränzchen und \( \kappa \) eine explizite \(K\)-Kaffeekasse. Dann existiert eine entsprechende @@ -562,6 +562,6 @@ darüber Köpfe zu zerbrechen. %% References \bibliographystyle{plain} -\bibliography{references,pub-rts,rts-arbeiten} +\bibliography{references} \end{document} diff --git a/references.bib b/references.bib index dc6f477..33ccc39 100644 --- a/references.bib +++ b/references.bib @@ -1,3 +1,14 @@ +@Article{BoldtTvH07, + author = {Marian Boldt and Claus Traulsen and Reinhard von Hanxleden}, + title = {Worst Case Reaction Time Analysis of Concurrent Reactive Programs}, + pages = {65--79}, + year = 2008, + volume = 203, + number = 4, + journal = {Electronic Notes in Theoretical Computer Science}, + month = jun +} + @incollection{ FasanoTP00, author={Fasano, Antonio and Talamucci, F. and Petracco, M.}, title={The Espresso Coffee Problem}, @@ -16,6 +27,14 @@ publisher={Praeger Publishers} } +@Misc{Heinold10, + author = {Mirko Heinold}, + title = {{S}ynchronous {J}ava}, + note = {Bachelor thesis, Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science}, + year = {2010}, + month = sep, +} + @misc{rfc2324, author="Masinter, L.\ ", title="{Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0)}",