From be927657e156912fc530a4bd2bcdd2ac3c547168 Mon Sep 17 00:00:00 2001 From: Paul Wortman Date: Wed, 8 Apr 2015 16:16:20 -0400 Subject: [PATCH] Update to Tracing Paper - Additions to results and assumption sections --- TracingPaper.aux | 10 ++++----- TracingPaper.log | 47 +++++++++++++++++++++++----------------- TracingPaper.pdf | Bin 113682 -> 116205 bytes TracingPaper.synctex.gz | Bin 109271 -> 117235 bytes TracingPaper.tex | 29 +++++++++++++++++++++++-- 5 files changed, 59 insertions(+), 27 deletions(-) diff --git a/TracingPaper.aux b/TracingPaper.aux index fea08f0..9ca320f 100644 --- a/TracingPaper.aux +++ b/TracingPaper.aux @@ -81,17 +81,17 @@ \citation{RuemmlerWilkes1993} \citation{Bolosky2007} \citation{EllardLedlie2003} -\bibcite{Leung2008}{1} -\bibcite{Ellard2003}{2} -\bibcite{EllardLedlie2003}{3} \@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Locating Performance Bottlenecks}{6}} \newlabel{Locating Performance Bottlenecks}{{3.3}{6}} \@writefile{toc}{\contentsline {section}{\numberline {4}Intuition Confirm/Change}{6}} \newlabel{Intuition Confirm/Change}{{4}{6}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Characterizations of Different Packet Types}{6}} -\newlabel{Characterizations of Different Packet Types}{{4.1}{6}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Characterizations of Different Behaviors}{6}} +\newlabel{Characterizations of Different Behaviors}{{4.1}{6}} \@writefile{toc}{\contentsline {section}{\numberline {5}Conclusion}{6}} \newlabel{Conclusion}{{5}{6}} +\bibcite{Leung2008}{1} +\bibcite{Ellard2003}{2} +\bibcite{EllardLedlie2003}{3} \bibcite{Anderson2004}{4} \bibcite{Orosz2013}{5} \bibcite{Dabir2008}{6} diff --git a/TracingPaper.log b/TracingPaper.log index 44050f6..2630a1e 100644 --- a/TracingPaper.log +++ b/TracingPaper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-2.5-1.40.14 (MiKTeX 2.9 64-bit) (preloaded format=pdflatex 2014.12.22) 8 APR 2015 10:04 +This is pdfTeX, Version 3.1415926-2.5-1.40.14 (MiKTeX 2.9 64-bit) (preloaded format=pdflatex 2014.12.22) 8 APR 2015 15:11 entering extended mode **C:/Users/Wortman/Documents/UConn/TracingPaper/TracingPaper.tex (C:/Users/Wortman/Documents/UConn/TracingPaper/TracingPaper.tex @@ -190,60 +190,67 @@ File: omsptm.fd LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 213. [5] -Underfull \hbox (badness 1077) in paragraph at lines 241--242 -\OT1/ptm/m/n/10 not only pull out in-for-ma-tion per-ta-nent to the +Underfull \hbox (badness 1221) in paragraph at lines 242--243 +\OT1/ptm/m/n/10 SMB's in-ter-nal man-age-ment would tackle [] [6] -Underfull \hbox (badness 10000) in paragraph at lines 283--284 +Underfull \hbox (badness 1077) in paragraph at lines 265--266 +\OT1/ptm/m/n/10 not only pull out in-for-ma-tion per-ta-nent to the + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 307--308 []\OT1/ptm/m/it/10 Common In-ter-net File Sys-tem (CIFS) Pro- [] -Underfull \hbox (badness 10000) in paragraph at lines 283--284 +Underfull \hbox (badness 10000) in paragraph at lines 307--308 \OT1/ptm/m/it/10 to-col\OT1/ptm/m/n/10 , urlhttp://msdn.microsoft.com/en- [] -Underfull \hbox (badness 10000) in paragraph at lines 285--286 +Underfull \hbox (badness 10000) in paragraph at lines 309--310 []\OT1/ptm/m/it/10 Server Mes-sage Block (SMB) Pro-to- [] -Underfull \hbox (badness 10000) in paragraph at lines 285--286 +Underfull \hbox (badness 10000) in paragraph at lines 309--310 \OT1/ptm/m/it/10 col\OT1/ptm/m/n/10 , urlhttp://msdn.microsoft.com/en- [] -Underfull \hbox (badness 10000) in paragraph at lines 300--302 +Underfull \hbox (badness 10000) in paragraph at lines 324--326 []\OT1/ptm/m/it/10 PF[]RING User Guide\OT1/ptm/m/n/10 , url- [] -Overfull \hbox (61.33023pt too wide) in paragraph at lines 300--302 +Overfull \hbox (61.33023pt too wide) in paragraph at lines 324--326 \OT1/ptm/m/n/10 https://svn.ntop.org/svn/ntop/trunk/PF[]RING/doc/UsersGuide.pdf [] -[7] (C:\Users\Wortman\Documents\UConn\TracingPaper\TracingPaper.aux) ) +[7] [8 + +] (C:\Users\Wortman\Documents\UConn\TracingPaper\TracingPaper.aux) ) Here is how much of TeX's memory you used: 1472 strings out of 493705 - 19767 string characters out of 3144563 + 19764 string characters out of 3144563 82796 words of memory out of 3000000 4799 multiletter control sequences out of 15000+200000 20443 words of font info for 42 fonts, out of 3000000 for 9000 1025 hyphenation exceptions out of 8191 34i,8n,21p,2172b,437s stack positions out of 5000i,500n,10000p,200000b,50000s -{C:/Progr -am Files/MiKTeX 2.9/fonts/enc/dvips/fontname/8r.enc} -Output written on TracingPaper.pdf (7 pages, 113682 bytes). +{C:/Program + Files/MiKTeX 2.9/fonts/enc/dvips/fontname/8r.enc} +Output written on TracingPaper.pdf (8 pages, 116205 bytes). PDF statistics: - 51 PDF objects out of 1000 (max. 8388607) + 54 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/TracingPaper.pdf b/TracingPaper.pdf index 7c60d487f98b3f407fccd80c0d99cdcca4010568..b3954f02066e292d60e5d1dd2bb1d1b1a18469b6 100644 GIT binary patch delta 11529 zcmZ{KbzD?k*EU0Ucj$n04$LqN9nuKW-O}A4HA5)fASod&(kb07r6?WJ-AD;9-p~8I z-}Bt}@7w>JbJo7r+SiJ+&i>8p#4GfJD2%FK`Y3!L-lVEfR(PAfQqn>LQTwgV{?MlO zL99HY(iNY3BsNKzO^tm?6Tg9g65lF}Jj?=9{dD_Bu?bMHR#y*0N5uvrfg~-^9*9)= zw8Q5jM8&xw)3M?-bD&2#&nc2|skgc5^}_NUDP8mGrE#HTSqUkWv|R#fAyWdSctaL2mJ z_Xa0A4~<=ur`s3l1}lxe;N#dX?=?r_$xw--v3xvb7#x4orL1Oq3#L7N(57v0Ltp;N zn3M0x65pEntI{o^#*hqJ_gFgo%OH-YoC3koXI&Qd6TX+_QWSO$5j&~!d58}4bQ(X}&Z#C(2=&HK@ zGgtQ~KHN;fO@Qn$er@dbP_wa$!HI%Swx&@MjdIuNNaB-imJC6OSYhNsb!LX>SK$#R zhj=pbh*|k%EK7(AjLC_%{^_PLNP{Cte@UcRF`iAskaSu?lTyKa|*19M@c>`ZTYBUTk*jVQ(`$2^11!pOCjgJM@ zlV$g@EiE(aS;6L?MABMbIkPIfn4cCy%K>fB9jb2JiR^o{<<1P$Z z+k!LL+uPy+d_ZVb&FNMXuBZ zWwY=jdo|&k4`(JflHv=@ybcR3%JN%qN+H6wF|)H#2@HINtX+ZUHyqEl0=ceRpGoio zsRq{9{X7j#5XXJuI)RJ`CNqT~BQp=j@c5CX*L;>Yrf5QPyzi2Za| zJ0c_a(C*vUq8`g#++NK%xgut3i~)=33)VLG1HZ1kmN$aOE2bB2WK^r_rrHUV(V^@d z&3N@ifnhx)rl#-5C8fx7$rE3?jHCoo-;C*n-Nfjkksl>|3w|4`^{lQ;99`gdcRUbI zIfkHbQsj_t==&gEHul6r!8ShER$IAmO0)47eSnEDCi}0*5^U&E=d7MKt?32&r=z9X z0fO%h3!REM3vh9f`$0}ZD*JIlRK14n!XH{vZ2bf+ue)Pjv`*8Lc$(slZewhHc`LRI zeU=tl{HzgMYBPGEDDR9U?fv3MPBK+hxSrPryCjJ~!6bmJ8+V~>7u|Zp!0?k|I)Oc9 zLC3@1&@~(9yb3*z%%{-Ly&bIpncf=sMegmPeHeMi8?*~N9=X@OrUdDF<5_L~<#3^A zaG9NR#e3=m^07*Ekn2JhsO9Nyk?eC&mS{eTaCmo@ap+f}%(jlydxI1MxbCoD+rYtrJ#}UzRqe=x$jd91Ew0&#Uwc3J!qzPb{D4zgF!Q70U2a%|V{nNC=_C zixpEIutTqJFB>YM$GZs@m(%Z1-jcwTk6bgB#*7q~6N;b&WfS_Q!K0wd2P$c5C=JzVXP!~SDWb+TM>$LvAtLIiE2PY}YV@aP#vix{2 zpQO0(%qlNv-{R9NWhgc49CeLd(2kiLy6Z>lqd63y;N;S0Cnm&L?QGW}i?;-fKj*<&^|>+iG&w6GnR(nbX`d3^}q<-*^0Y58YMJ0X~|t(=cI9huGCwk z&%C69<)g9$)``{*$pDoR*lf>|HE`^`p3QHM_|Ht03Rvu5bp@L^|a&1s8iR30Eg-b0YU& z%TZx#Wd z8uvH`UeIt7xscn__P4JR5(JFbx219u$}xDo3@ZI}^wg|ehOC~j!G3X-xwS?bOT8^g zLgg=j^t&RDbFzC#6xQKADKu=G!+4(z0bb}ZMH8$p!}BG zNohK?&Z+){dEE)Go-fhg6>Pjqos#;n3YgKbt%0iveCAHYiSkIoyaM!_-BWaT#?@96 z6(f%v?V+GwD6kcik?!$h5!^?<$vaj4yx47iZk74Yys4RfJ$q?9;7mCK2fGJ1Q7D&+ zZ{qg7;0LSR*S#Oh28Jr}_H2A;nfR-qf^$ZUewBy1pChf#&`Ji&&mt$r`B4LR@Kzn>mox-mVZwM|Gp-O2rR*lP{BR&xkDW!OYF?~>#EY-5LSIVo!c0t7hTp|Y*52I4?tOr4R8`&fD$wZr6Hzb7YHny=xKmQBwjpJGAB4i> zgPp<``g#?^SMSv&CQ^^kH*wgwx=bb(T&>W1sFAx5J8KZr0X;4$R_uJwbVH1ZvFFwM z-{>x@7hscGua~i6MozQkoV;=C%&iGZ z)5BO@`20>}eTox%jt@m^gRx?ZVa(SjN0l8?4>;xDpaz!PeC-$^GPT=PDRBhwa_mew zjW&B@%-7dM04ZkfY3mg3Abpn1npUak@y@zs$r28cTU^w;9^M0ty&fW$g)Jpa;;bM1 zUPG0e^W>R~_q4dk#jG6u9sCoW{@{t^LT?rc=q&Tl+14t7lzrBh3F^vR{{9v7?JN&7 z48eB!`Kgxh=&CT;o&J?s6C^CS2F$-6GgLxVyMi9m4p}lS*%A{u?hrYcZ%FES1R-e# zQAnbc5fc}pn(=Tudf4xc)L}=0X)3A6s^*&3kf{+Ubpt5^B*`R*q-gj%h#h~#Vf1)b z@g6?8`-AS4^G^~diN&+$Ssi1z3Qi7{k9$Ux_uo5i($~^Wf9}fVq>RAe-@4o&9oLwt zGs%rVO5CrwLpb`)@cZ+Q%>&G^P2T>1C@__Vl3K?l=)W>yw>8||ivw!|N3j->PJu|x z6gR2eL9G+w`;tB8fzAO`!FXxbxcX0=1@wlM#Bki*3My063pfUJO$7UMxV-UH`tKH` zw-|lb+w{(KZwA`~kCUU|=NB@NTZJ9#$mL|Sh#xfRifkCXdjO~erKmok4?eH)JnxY= zs(8m)9wJz&_k$@Vw)s+WX%TJK6hrW6SRUP`4s8)*_X&w?v|D$3Do4)bGB#dgbNHuB z>KeRGglB;1uuIT5#jaOIEttu^ZHYT1S_J#xQ48U9VfFtxEp>hw!WnZyt-om|<7g#WJW zl3vZQmo2G|`}>2bvx8K)Qdnqcw1gJn#!c_1OTq#+M=B9xJQlu_*FD3Ft3QZG{5TxE zo)lEOrPE5O#4YW^Cx$g}pk8<1rRKt_igBM!T!?Wt2#AWRD6F2}B|9AXY_NY`vnmXo z=!jot*NGj}R_~)iotepPA4wql2!SEr+`BA zXH8F;^*C2(Z;b;TzT{=a&qoxZ@I62Q1M?ga79C81`NcL7aH(&xuWoQ zY4NR;7G4>_m}4)ENZSJQ_J5Ec{nR^?7P)GO?>!?Ecs8LX6_-s`^k&e!MLJM1JA?jc zb$UMj)KhfxxK~(VP3x4#MBZ?LZz3c-c4R5Td%;>wz+C3Gj8r$AS@hMU#yGirnwVSOLf-=*3tmooeSq+m1Z{BVAlALsM$ne}1 zsw_8FAw?m-OesvylF9p3hmZ2o@#QiR zHi1MV9YmwzepI^qOEVFc7M~kem3j$Kq3%gv(zq2xm`{a;*ZHyQO+`$q+J;%d6CPcU z$XX#oC0W`s&Z9=r2Oibgh0k0(XPaO0Vk0wq+T8iNj)5H@B|cZJ$iro%EiBTfVwZ;h zlF~K4mnMViRrpxdZj92zC_DI`>u8eSDjUAj3)9nr4@-SFq)HoJTu1R{nk zOvB!Pv^U3(HP)?EbL==W^{bwwOnz?lE3WWka_8?gYF$J?uzwv5)eYAf+V671hi9w^ z_axoMNE=RiO-YE7SC0?$>ni^kReyFc$%>Vftf|{fP_rvlp6D}Tc;_U3J+FxbKPKL6 zX+6g`$vFk@;s!LIDD7_pW6G+tSW%M8G^{9JX%qvpEiQP^6WNymIUwkVnacJU)L< zITr&Ry)M>M&U`gasQ#0x5ktbKGqYx>zVrp$X4(%!9(TjrKiJNO>_ zqSV@d2^>t9Ax58tD6an1|B*-nG{)Jy_U+_xi!jDa3|S<-2#zm6=XuqFASKszQD+qC zmPYkIPhOCH@fO_dTcW>Goq)%O&J2qwpWGC)?tVMw#r*gc`%HLU;9H3otb5po_GVVm zh>Eagw0wtMr0NNIS%0zlDrh@|0jZ0$Uk*s+(}as{w3z>uF1`(9El-$%E&7V_9G9!{ zTG!ilxQ>m}{m3*~@cDo%?Ux=HO?p_g5r_aR|3Kx->=0^k$WPg79(0`Q=Q3E)TbgUcw5cvirS>=0~0VE(& z^|=))wy6`ymyaCvV|ThUj?6RuvcwLSUUP&lezRNIa9%_IJ6CLm6Q$3{r1EO4-w<}i zUKR-4(RerH!EVl`?(})siT^LMM#CLg|75Y-r~8|Gx*D7 zP|nW>xcxUowt50#vhB7O*mrwW2$tG}WQI)rshJe#_Kw-G&Vdx&<`sDiEpPwR*-yUF zBGSqpBo~0!;th!_p%5 zceI++oHV@Jm)i$=R;m$$mo|Ii$G*h(2_ef@-xYjq4&W!yFO zS|Rbh976JrcwfvOt)DQp_S!wU=ENzK#$qM)&U$!MHUia(@~%IvMOsfj;_DQdl$@EO zivW0i6aKZY6AKT<6oe z_~}9f@x%NrTPP0JawBf2rX@XkB#{`7YuxsuBpi3Jj^ zYVj?#rcUpfmI&rEUmiUKk*pYZslcZpvx`D+%E|n2gYE4C^Y!OC`^O;Q?M>{8conwS z$7VK;T-d>*p=Z53EP{u{rO#hj5S?k)rSx9>9Be7I&r@Qj3G8>>U&IdS$B;QM|8#2t ze;$~1ZQH+)E^Ze3w&xH;KcN+rF#F0|KNw1B9hk=C&TZ1ON*I4DyDjIJN&=sGjjKwa z#5ry*KAz7u(xn*98J4x(d%6<6fxa$+CTm@W>IG>hK~QF&P{U|>TwoV#S$g;b*0lYD zQ?4`8x#e8`s_~YI*%Al&oF_#-OB?P?B`zGha%o2&Wao&$)n*rH)rFs*B3ERI8e9AH zENPh>6b`ds*R8SLDkMXf+~L2t5qYwjy(2O2&#&((r4>vpSQJ17KfVNUDo z#rxRJ-0k1NMK8}6^*rVsE+65tv6mmiJsI+g>H&DI%4ct3kG5Q;p(r@wYITNwK~UF} zFTpgpBm6C^f#M!8z!58Wgq`jxt2lP+$MfYRnZssrNvR>Jqk7Tm1DL_Xn7rn693{n1 zK@*971Gq}0rM zNuNAm9IZc;PZC-sqU8_&L}QISmI4e;o(!E;*b>}r?AqjK^t!NVoW;TXNiLbA{1lUx z*aZ~W=|=IJDOxt4)BG;laf;F1HQQ&|e)_lKxJIvg?jlv8^XLlasrxbMGOTjj=50CF zkLlG(4^*6CU4PqHPJCHI3&D`3b?Gsjxg8X8Pqc=k~Si3!ZJ@;csO}#~vNb?!Gq$fNAb@_VDrGQkHJH zq?31-=!Az(y-RCr3ifXHnp%us4DpRKX3JK18E0p9#!-?EM?C_B7U|}T1iofAq+ej0 z)EGxZ@g410iJ&Zd!A)%0^~X^pl^X|ic=sxNxl|Q$9Kzczj2XmNUL|{!-?YCgultZs z6~uEm!~08*cx>FUGUTP@-gGWX`VovRQN?cl`|Je8v3jNvbbX%n)Y`Z;JtiT$A*Lwkt7wMavu~yQN z#A&s_9sR*6vAMNts+A=)_GPbHu%v>TIj z0g92ovQ`AA51h+dXBsL2V#(srI1X+Ca~zf~#;m5rV+0$mr+(oU*E5QCAN%BVh%xyF zs|J>#Qsv;Lku#8A`CwBq>5`(M-M6nrwKlp)*~5Gsnbs|6+l3lQXl2dNLb2%>JaGLX zNcJZ4gxZzu2FJ95%{UPhN<N~gwC#gA z$Me@ol8C!#Q7ZHimP6AVD))HMX;JP#_(WOhD*R}VuoJ3WFvjD;7QLdjEpz4CsH7U6 zdL(@cN#}!%bR^_>ZR7sfy0e%a@u8^{>o4Ow*E7*%*=x>N43u8NP%H7{e7i)EBmXo7 z+ToDl)iPfuJ7XV1a|2jzx(wCfo;9dxjTfl~c|>vG~M$HuhfO5~rAIo{(6(ZeK;F z{ES+9QC2nEN-05t7VB7=y}xl$EQ~YT3m+d-W;_eAeBN`#S%GRZmgXGTTAR<)=8iD; zN?IljUPE+)F?Jhyohoj?c+B9jF>irWukDyXqTsa05B2xf@3hL;I9lqWtnj;V zjB*M06Ll1tk zwWT)9cY8fzym=g-tE>Idf(iinxo5zGNO)rr=tjl?il{8hLu)x47Ms4bRRdvRxtwZ$IDc{|O=lM~M(6<5=xG3MQ540^@BS>gWQ zoT3^O$+{Q}d+iPGu7Fi+EU-@7levMi!k${(a{~MXDIW~Mod zADg<}y*GRB^Jrbqo`Rao#FAjXxoEr)ARk{+DuVrpMepplB z3|oAHw8@Y3nODa-i?7&t9?$C~au1h`{&c8rHdsGlpb+_~(5_ofVKPIJ0LPOW5){Tg zO%|PAlx;&b>sM;PCLa1U6%@a3Y@p6w%e?w+*BOWfAG=rEyIc*M-n*ek6gH@N9(#IL zhs!XYxe;L#rKnF$QXELg`gCd#_P=4oa80OLi>Zk@l=maSq}P?^$Z-tl*jdgq7*tkq zBXK3dl8;Y%cwW;{5yLD1$FLl&t0^$K?78Vfqll%kUaj|*OtU}}#!(;Im0i;rd&gr` z*;w}z9xP)v+en_Inl>hSZ=(;JD(ZgoMSC`EZs9h!7%#{@pJ99;ce$&dFKk9*EVk0$ zXUT#*`zUrtbNWYlm!d*RVIDkMe$oEsDpe`)jZt4*+8Huwu;I}SLp~oJk(!S*XAUo! z<@_a4e&T)`wmE)zB>l83)o(=oi{VinWKNa0a3>P^%MUL)@(S%O$^6;R$T6ts=}b#9$d)Qa@QuC^!j7BfJz z2TnD&RPR;xVk4zK?}4DmwMpi6>4ApP&fza0smKr#tzV4+8u9Ups_xD)rb^c*^Qu7q zI?PpVBGO-`RWF_;Sdm~V+H8D*Ks-ElX~bDkX$yC}#~AXc&`aoVya$)*iI8;fkr9O$ zD>5yTB4=3vy{lVP!nS!bAxunksNL3C@8He0cG3jw+^yGY^L2|TMZbwH5)T|-0b+jc zBtts8m`r(weshMk7wVCdRcD2G>#@nKnXR(H9}CBZ->NGMnNyu4kurcGs>?5=ZU6V!)AI zYzz&wp3i;c_Y2#`M<1tWNcsGV=8k25kIO;^`$syd)N+IU;`LE=o5(8+@z2=)j6(sY5B}|o~%tMn} zvOF3oAg`%TJOplYD#jl^l2)1SXl$Rt` zE4i!K`)ba$eS(0K}3ptYL_&tqn>15&V;bv*(i2djGu{UCa zd6P^aK+?Z@r8+i`x~03br`sz_cOV#)q^8f5ROm~D{CN9-PoA^_!AY9+2cmM#j*3n-Q01&9H444G~V6_qOPsjklT4=B^GBN~I>mHgxo76Obm%8r&0453L zRbfLwk6l?ETTBd?S_J@*)?$80X9R##R~-NxNniTsupxiC_P^#==^y9&2F?Tl{C~|i zt^)vC0Ak3$0srd)1lp*C0?2*>5cms~O2z;fC5HYT1ZzBF030Z!k~9E_lYn{Djku10 zF#s{_Z#aHXwFUoZ(>;NKuz7TBEj(-*4fy_21cG`0=o|e>(f@kP&-Yj)WU0&b04xA3 z72E)ze{@!>0RSZVUjzREg`|cz0JK>7d3nKLE)awT1Y%*s=23RGkT&zM1hPsCJs!K{ z2SGqE-oGHJXpI2t$2d7Q0(3ON0^r9`{TVi zivN=F2?+2%2Jk;+kL>yR{*D8KVFHgO^`AHp7%TvNOvQi8_#nK0yo5hW|BosdEcmA$ z{}cEaXb|M@^uZ7i_-|xDkDi16DTDI;EtDWIKQHJ%LiuNX(4$ZQ_76{>VCdg+1A>5| zu*Z7-Gyab>1T4t+9|r%L}M4blzLNOupNN=hS=0+N!_jWm+d-67re;{UnN``+vQ z@SZPoX8+b&d+oK)oKJHQg&Kc_QgNw+1mT6zCB%)gz-x5mV%DXiTW&QctV$6YDw#v_ zJ_5re>kPL8=6GrcrU8P&g?YWQ3NMN4y}t9_{^IJ3p?_Jdmf8LGf(d1fx}8oW-V6RX zId`bwq`Du;K5X|Jm-qI{oHnHK=f3^#z4WEPpgsG;)h?t@HLl}AIY62NBcT~x=7Gf| z#Mka^b?_Zae^ox7GS!~t#ze-#{!hQ{;H{5)3Leg+l8p=spi}YjnY1(_6<~w3oa)7k z`sgh-vG-qh|`0}AKnP#2)b52w7o?tC@ zi0~a&&t$vo03&Uf8ul_3HSPs@$OuWIi?q@5Pg9$^da?mjv(*>d^JpEe2gnm!xd*Ry zIxIhKnxfjew_V1q8&?NiELu7=ubeZ0*~K&{M~j5#$B4$mJGM+zsZ-^Hj-56|QwM@h zlHp3>txkt#-7L^7#{)$LX*RLueqe${xs$=NVUoN9NEc@5OyKNmK+-_^q5}uE|jjKeUC8Gk2vG7bNFm^ z$(~fVq8Dsw9QWp$2V-YB(@hur=zF-ms~{Dod2zCwvR?GiNOV0J2Wd^R5ysEaX-EaE zuj}%CB$d3{9bRJ}mHTp0a6+rN5iy-J8Zl>rV7?;jdDCZYh$=P7<8r!eyt6e`1RiuK zpnOLb4P_8wBHR#N;Elq=UcRRkhCg!8v>Z2`w13k9;umjbLaTHqUHyQi^)^E~eEg&Y zs`2`rPP6<5Uu1UD(vH!rDQraiOXgGU567-F&bIBWaQt9;O$L&zUREX=%^->hNe#1f zS=-aD&Zv%M@S-RaNtOx$*LU$1!E+1V>41%NS7PlZZ+uL0{`b21VVeV+@N7eJ0*%nB z4&`Q6w(!V%29e?(gPq8qK>G2LuNQLa;|sQZw-j_;sia*VxTlI4sF>~aQ}s-Hy51L8 zGqX6vcsi>OH!BZ>S}ta>nSQE$9XVSD8j^CN@aY9cTGRE?=#)Z47b8~64BYhDrgzd{ z^cd-huc3okF#{TlBR%{6aCNI3S$f5B3+0Hf%5g}jB;l3P#r@|&lPyitFu>=jpYOa| z_pFXowW=e=O7mkCQ>8$w5!04mUVq}%#|9~P%hU{o9|C#WP|(xGx!A@qlTzP37zxkh zY8!UVk8+Y=$iT^DmbTZ_ZCFN9e1P}-W0#x4i8YwtF;)o&`qbV zbeSzVlKwHf7+$DtYuiogq#gfspMO`F(TkA&l$Jr0-N)73l5> zE2QM?v{Wi2Ol6{Z372^0KflEHOT#Q|7nORK+Xfz*6LV<|zIfQ!CoCivlYZfP)<3C} zvv3YNex^+3&9yxtby34?mGqoO>1~>P18$b}f#)my2A+kHhNND}UtjpNB@Fa5-4Z1^ z*s(6R7tScMvUyjfQZN%nZqk_F*{f+1K5h@o0)8A4-)@;cpulw;#l5Z(r0hp*tBT~< zMC%+WZlq~<_YmZ8B40GS=V-9BNvg|L)fhVo12|)CorQwlrez39I|nuQ?DLQ5yk+f1 zc?S{@_Y%SCT$cWUC+`BoKE`BIpNrDiNdMTm9(id;C4)G?S{;2e>PSihhzmt0o^ehZ)PRVbp(tmY2*uNil_*yJ}Flx5pdxVaScx)3WSmj@#~Tyu(F;{4!dz?Nw+Mc4mHalYgPT<2-r7e!r9_knS)bQv zvjR@Q;Y{o+%{Dds+#J%SWZP3@Q5GpZB<|f}QS-tj`)2%COIklG$T|XTAxui;VJ6s4 zLWa3%+?qd(xzQm^-p!cSQwjyBf;BVZ;#_YRmXKkH_>ujG`c4KH{ysc;nKD>J#EZrij&6WXMW;;yF zPaIxfG{FXZU~pA?5jHeH@nwAG2fs#RGzJ$-+&VtR#!B%U`VSfQZ$&*cBiSTFz^C7r zgR~eG(gTAWc)VdD{Au!~u?q0)8kajx?1LS|-Ot&yz~&J(kIzL~)KKEr0(RC!aBdl7 ziT4%zP8X~D5z7R(bRc{N@VKA<9C4E34TQQ=T1 z<9(Dfqz$BVN}Y39MP1QGac5%63+?)}YTjl9KhZORGzL?xYb8a+h6PWrYOUM+Zi}B* znxwi1dcBZOyuzCJz7QQ8zfs7p4>wI>dk(y{iAFuFA}wNYdylGSRUKSdthH*;Sv@wl zBKK;?$PnL`g$%qYHN{dHul31vb8lyy!C4IBD+^eCW4_V`6*W_HSEj_=Q&pewQ?duy za0HGM>MY{6Ns$#Ej$fN4abHvl(p5jARbLqJ!~#fixE-qsgBnMYNY=di1X1MpE*EBZdxN!-A_nzNwFuxVwKuR<3mUZ z#$VvV1Xs;qzbiG>|L*C`O6#jIV~fJbq;GVDpanxFG)K3hX6J`Ev(jga4rh!PwrlPT z`B+9#u(x1eE@E)Rb9sGigEush!Q8Y&R26KQ3juVd9dD;7sTzMIGt#!)htT-*Ca%6) zrH_2BC)o30dld(J@i-+8J;S^@2dQJ-jOC3I^ND{DS+jd>DjNX>v)qBQ%!Cw*5W8!- zzxJu`Sm7uDJzFUJ1tD&18rskme#m>;n#OQV`HW5`6*{X>c__s*2z-drqaG{KeTuZU zl$&LXanG|-V#*n@GfgC>d1I45`}vVl0`~k(1@$v=o%fDC)+JE2&%g}CW%_ry@WKJI zGEoFlS|6w|$H`^qeKAC( zGgPl-Re2D@i5pQ@(Ety0sr|SYPTl?>-FJE&K9h=~byGVPwp50*g5%wob_I9FIL1*r zq*ivv_mRWhOfa8b?FtLs5~H~B=OT^+$Zr;!f1p1rz*lUt)lL3p55*L)FxL*AO3q}V zkd#^$P-?0t@`}(bpxQ=F$l5HS*&NNHIU(&sJ!CAEyx|f?#DK@K_o6rY``-}*Y@IBR z8fEx%E8fqW?>X;xaqczRBIOzx-52!Vkzz!D5;PFz zV^5&r=h=}7MWD!Z78@d#1+@;fs&!#SXo=cyFs%F_W7GeAJU&Z#bH)koH*NZQM-4!6?XTPp@?OuaEpT@+UiMw{=TC zSDBq#anA}z)yvG_NzWFX6h_tQV$&m$@O9xDk^UW~vFQEjJ`Y6;!3!qNNs5mABZc)U zk0gA*LPvtnj572&{8?#Sko2FaR6euT(v1+GIndI9M8QKMRYhFgso1YHBVShru^lZw zekUG|Bmymr4!6dEE_ zwf(X*o2b4c4P{}}?_|zAY_V|aUe?#DGa!pEO76fp6$IC_3-0=@DB-iTp~ffT#m5ZR zyP=!kPLrd%dbZeh0XGG{e17}qS*@P45f^6d`makqw!Xrg<05#Tsb#M z8uYeBY5qg|(L+;~&e)8v4VSxYA6Az|?4z{&(&=ub1&&Wrhz_4KD{YK_+s}jnhvp5L z)?o5m@l0Z3)h!(M-2HA=afXMNVFdosijS!9tzCeUkm_N?_a&>7kX~B%!rSTUQuh)= zbG_W)+M3rr(sFyEfogt4uL$1EH4O&j;ol}MLS9eGA7B1>BjrgH;&fTWIY&%qR{LnL;Lz{pi1)4= zepI$5k^r2(KgiV3q$UT{6+ZOrz;)dD$IfHqsNkpM-WMnj{H{8Yoj_9d7{=3N&HXX< zH`x*DmMt8OJtscTaa!KZRhEmc!7)q%W74dgm*JHMR~t%YKn1s3!DH`-h!t}8Mhp8a zd)81hrA{z1iRFp@M-e&p)`FpL@-#~PW{-IR8OlHKwT0}dJ?-2i@ylZ};9|$pia4WA z>nl}^$@!L##fd+;n_%zwjn|Z}iVuIc-q8BQ%-ttMyt_h#fcX+ei&^1118#FLf`wbQ z>b&8I7tefh+$%ZU=conjdL0K&^iUjOc#ecXr|h~n zg~+F$DbFPcXVNE+bg1?rlgwr_5srj8r;>h1+8g~m{CTnNn8|36Pg6T*{8-|sH?^RM zb!tK*)mCpK^(zl+t|2Y_oL}LrJ$6n)WlbkvsbcYJ?!>xFoHzE^vZJ0Y$iKzf!UI@A zb~^1jxU(fzFzK%U-gncdtX|0;ydiI~oZTo8gqu0Zy!uTBGjF25&| zyhymrohlW;V#|0?kG6TbaEiFkQ|e|DUj|N+k0oyAQ)dw80?zJZL%BYPou0ic>LJAa zBD9XoBesRmh1Gw}RxjxJ-aOG8!fC)r$FW$E_=vX@OgXkW#KSg*u=oi z*5cO=qf?Gx!4YEiZHCug(P2{L;X;8G3TO<$%l5$@bO=#+`|Z@}RdbTwx*jan=8X(8 zJ1oz7A3^>Im|40I2{hi1jLTHF-Q^5tR-D!yozkbWniLzH;#;b5$xGj6(5P;bdY0?V z?b!9mBQ8t7!e!H1J;dlX8d)I2QTj`lF(r83IgMh%X!SqMD$R2D_)FtuYUn45YHGn- z!tR|%{)XWV;pq-a4Pv9R3}vRp?Qd%Z7&x|(*BtR;rZX+}WD=D&P0z-z84agNM_5ZI z>H5DSvAg@{BalvKA%XySx^{RN-wp=>3zMO<$>iI}a2wnyQAl?g=k8J63W^7(!9ZxQ z<#pyKbuV3-im4A}?|l(J&1za)yXji=_4|}d>)o+*5$ntk{l<1_|CUjFo0s+FobMZi zjW@*0l1g3uMfFJXFOc#OunMg$z$TTs{HvP9ENhGg(l=WZVZ?e~!u{>8Dml*bW&#$-a*o@%XbbDLx369sy@yfjc~U6< z0sCI3t^_*p0MTZT;o2@X&}WZtNOd#_>qC-^D*U~@ppsV0bFoXjO8)_Rl^bDT@_s)U z21R+d2CYykDWB6fcz#ZzjyKk`>{*QIz^QA-jw-M@ViM3;oUYnM^85%#KHGkDD%!1v zzCV*5-@U+VlAD&2JcaN=A>v+Z?%SkWva=A38Fz7{o@|NAq0A-qO5h`9eZVjN>lja~ zR(K%FYpKvyWv{D}*nz?4CtCv=yq9XQLB~Zkt&HU!U=4QCm_dj{@2Rz2(8Bn0uTl zglA{$ekB&yw$oL}w@1X+WN}O@P$a*Pp>U+4{R6ZmZ2_?D-PO!ScZbjX`(_RY2jTs! z6ZK3S8KSftN~G)9Mwn}y-B;_&0hb1jU#X1>8hC8}q57{L)GV;If6iylOl&|Eeq*XP zDb`&0hAV~?_b(Vi#T|IVO$`Mzu={>QSKsPvuaYOWccSI!qrr$7Hb>h~ya6%=R`A6u zObAAI)pud$omWcp;RO^VKk<*zlBNB4rOwu_npd;yo6B9gs&vprh-e;DJ+5xM3B|SU zr1(Lhz1}O!DVa7Exy0DA?Pqr;g8-9->YY~x%#t_(%h7FN6;{a5CV*(Dk*~@$u_^n~ zOKE{~vcdOM_g4i#LIn~7%QF#5&RxN13)8 zGh+icTHBNU09(yF&gZMiFWN`>5}XX;S|M% zK?SU)Iv6^l2n{w<== zhpO{7cDbNs3#@vm2j*2>Ha;A}zL%jt9z&3uD@3{y=EY-*$RhHk4L$R-TZ4Z}Pgh3^ z)XBf8H<9$>-pim-YwwdSULKuJ zxi8_sX+h*EreO*Zc#i>l4^X>!53MGlq}LX+b7tXnf0n|Xxty2W|rD0HM;ePCl@Or<#K+3PBR zgsMVC{vE@J`}g9uYkhi)S&Z=hvxLfXL)|m%w(F#HkcYgaBT`ePI!hvT2ta{k85WfX zG$2EG4C%LYg^ylYZ)aHWowM`eZ6_*4Hq0UWNo#lFgkl!Qgmma-%e+<#vZV;~o;x;||v)s|2um=X2?8 zXPucvTUp@fks?gs-E*8Y^6H$hJo`xEU(3_Skid^l!oS5=Sjbs8ZlEK1Plh8mu43it|UM1fVwEH{X3<)dc`;u58E zv-7>TN)!BC7P@b%g+65@<_(zg2SHp9a>c7l2BP+^pMC>2qMh-B5}ON@h}-%bGe#U$ zLlr(HF&1Y``+FQ2k^K7~Z1!!On=FFP@d4AKlPzddOE?r(1!@{JQ=*rB^KmX&LGo9^t8@5sJ4(K5=*U^Z^}8}E8tXR*0Rahr3>&c1I8&0iv0yWSM*&t zxVzle$j{#kfJQAs66@*Ff|nx$4Tw3C+%!}1v4`ys^Rlrkk1CkG90kl`s;7*fZ&2gw z6HcQqCVvVSV-x5P@7%ngv$4kwyhP)~(!=jB%Wua}AJE=o@SIYJU-kCD=A+V43Jmv0 z(uKPlI1O-3Yp3;d@x&i`{cMxi22XKU08NMO)p}%H)fMcl1eC4}S#4V6RK2{f3xBt_ zuXZb4&Q4A_3DlK~#JVx=e@SskP<#E5`EhuE)WDhiG3pmxWdu*2V6Rqor)dc=XTWV! zQlPtVC*_fQ9)ot)na#fc*UyS`HX9y9g?qTQawndmw88YGgRZ;ZRD$AFw>FnT?Wvc% zNeaXJMW+{T279ul#01F{gK>O7*E+Jmn(icI#{eFm4(2p848#3#Q=PRRRwo3Ak4m); z(VuEHK2GTh^ymIC)1JDg$#}3*-?+qH3NU$3QDQW9WXMR)xP)P5XX@lT%mn}@WCd#gz*U#Q*Z_109gxoctu=;j6@DliAb~CvDM2s{0|2d(4x0f0xU1+R zN)P}%3G@-HifA0e2u8U#^9LNB8{sGnHxdDa&1l)h4c`(Eo8MtA!1P1axZSgNIl<&WAKyKLIt{@<8*dJH$C-(o24upVU+<#kz zfI+-}#Q}tXdHy_{|JfJo6HB{g8=`Z>pz}BARvhQ z-zNE=8u)3Fzj0tN=&w|t#sKsDlUA~7H-HQd#^8EmZ|_3K{nX>>1;Qm`XKqjTXBGc^ zk)YER6qf?>L7}`nd=QuvSd5nk2$AHI1agZ)B|ze0Kpt*ky8k~!pH5g9!`a2y$;HFT U%pBv%1QZ6vU}ly?RFcB@Kl+-5Bme*a diff --git a/TracingPaper.synctex.gz b/TracingPaper.synctex.gz index d37d2f2beff4072c66d0b1da212ff29e9e43defa..b695e80fe9de701e3b0e0e25f8538fd1c012e94d 100644 GIT binary patch delta 36728 zcmX_{RX|i-+lH0ylx~KS21y0!k`kmlMVbMmVT*Ll(A~|@AYDT@2$Ir`ba(u`-@$*j z_t~@8T2I{9y7%lf%6S~>k6*6~J^+rjwhQ5T*4G=HHSYCqvU;A!n-bK2y(?HM)%sM> zd_9iqf?z&Zr5%4JZIN!!-P*^EP0D>WIY-iOhEAe+WZ>}7+K?VnwsMAxsP|R+*@EHE zrTMV}dsNq5k$>1lMdT7iRh<5yzR8tH-8b!QodX8lCAet+Cq%;r$_N$>Y*j$b4E@Oz zJ~bB8fIOqZd+tqP;ank1gh`2l!FGl`$5#0*)f%zr9vc^HH0De6`}%4th|q8^*s|Ck zzW?StqLr7f;3gd3!l{Zthf z-+m@dkz8<{PVKRvFOVjVkqG!2M57h;G35C(Y*Wt6A}5=7EA%1sLMk`#ZV)zo8`%el z2UOH&ve=@F8$=#?;qPmpFmf7g9_%k2)YA4#4d5uhiWu6RI);VPR!Pc<2}g02B;(wp zl9X=C1rMIL7GsdvJ{K<~0$j}W>LEvXfdzRny4B(SocL)!Hr=(d1<;bRHLHobM$|L5 z5?Jox?|zU-YZxJR%9Na7J~Y+4N;oL?oeE>*N@Vh%f~u#a#K8`dE;(=RSj5(C$a=!B z?KQ(YF|GnJW$P8i>^oW|B=qHETjI6ZuFz9?FRh49RiWrq-Pu@zzlR(-tLGDw{^E9@ zoC{UEj&V&dS8W7KXaI}JEXibq6;8jcUl+<(`2bFo^es!cL_A#A4-MagdIxPFSpY=; zP&95JxEpmS_Y1C+`-l2X6<78M!Q_dJf6&1$Lv;HTi><~6_y$1*p@BDL1fFV6qnf^_ z8E>TUZ06rxVs4Qj8bRR8AZAx3ZcGpXFPC-JUfr|wpXBJ_0@`N={^VSkw4&8W$~R~# z>U_#AoebpPYQ12Nw7>*>5I%XP}YQ5kq_7yWlWlU3^ z0Od}N2ccg{E{aW;u3Z29u2?^a{QaHplJKx&mmp_49ag2pd^%UxsImu3 z<%p>?Js*64oMC31BDukNn5D1ABVxV%={3I&#B7ZSfEYODzNvBba`fljaEClN=7wUp zB3M$aGP`6sbW7bf5!g-COR%TC$+I_bWh6Fm|E`Jug(u&sGbOh=);cq<-?bs&$IJ|4mlo|5z|5>5zxQh& zv>YY?@APDBIw7C%bVjEc*_(bDouP&5U;Bw+RWRSmk(61|d3_Uyo}IbC>S-*8{bH+) zF9|Fln3TQwMZxVlDHBN4BU_)%=1=R?Ews^ zWJ4VgRpuVw4ynuhOM}N}!`8>XFTOFd*z{{XGZ}v+d_Oe3V!<$~@5{UVUgW^U3O$S# zq1Ub73c=x)bwgbfdnzyjXV_-fXu`AoeOV;ddZ%o|kQkOJLb!bw+QsHIls6Vu3sGII zVU$L=j$SoY9B5~}WRpuFkd}PebHFn(c(m<@Xun)kl&i`CobPk}X(l^f1G%M2ANF4a z-L&voxG0XoLRzqFJB8Son_krtndS8OxSv+8vlQT*qx zcsUx8`lrc`1Kx3aN?hOW+P-oRGi0+nTZ9VO*2GP@PWjLgrw*A@Qdji`ed~xv0oeVU z5R;0$S#@9mxS3U1sFdCcXgM7JHx6ML{%>xb2a9@3FiL1 zV*BU6*VdPbsa;GwN0F&`h_Y!~XGa!i?Gvv|_&N$pZma-ptW}r^0#wqpfMOF!*gi2h zpjcH4s-0xfFSX!XzRlb&MwbFT^N)QD5L@-bJ_CFQRw|!2uRa(4;3X!g&jL}LcWjD1 zt7TyI0}m??(C6rqyXSb|flDIs1U3KL*Cb;al;^mbET9AVt`f)_>EKMytix!E=H5F$ z*Z}n0pl61}WEO6~O~cUBDWugCeqIJyB|2N?lrwXck>j;TJ#qROZXs)mKW!f~*sW?%`KE`* zg!;4`)JamvzBH)E#Wod|P8l@Dc}sLVX?}mwOLL9s#?-*%3YOdueT>KuT*<=Rn6g{1 zXcpTciJc5uZ82N)QB?J`Z0~*N^zNToMMB6|R3ly0-`BMxzBqrBPU%f3mH{iHHm6=f z{!saJBdzOqKqwrAmoi;;5XRQ{*@1gvc}O!a_|!z`CM{H6Oo<#D6CJp*wNKx{$CmpZ z$5$Hd+*PG$kTm$-%`^#ZotnMnAO!HgRr$)xZfzJPFS49r0Hedkq~0OdB7AZYOgOPn zr|XIf4hv)Yvswo&T(?~-`q?q(dHz^@({_@2$lMDBAogqQZEuY25Gad?2?Z#I4PY@< z=|%xI#I}6#nDSmxMd+A(L|MCr)!&Sa?(%A(o;-^B=kM-2i<`nU8a=JfGlm)6PVT%Z zue7+QhqYMn>}@nxPOFzbh0?4rIWF~DYJT01m@@n6<%h^2LzndHVD!>mO;T;e0alW% zBWmackZVVUMg#`)=T;o-@!P#k_*rtyYzZPz6`U!_z15q{i5Au|}-`jg-WSe}q=#?`B`l7?aim((8dtZM&FmygW zpZT~Da+^x{$*TQ6CKjG{+-Q4maTiRcEekIPTpFLc^k?9k4dJ3odY`=X`V#z=i>4_e zr6W591p50@;!Kk;d5q)VobnhC53nx5dz?lMm<{uzh2L&$6q(iu>CWz9&v08b6V-g5 zJ!x-;Z%6;;zI^1<=v%vlCS3_@r{`Jyv$WCvy8J77b!J0rB_^;e)DkA{adU#PiUrF6 zW_8s9Ea*VXs}%9|KV240d-kK)R|QXHA)pj6e>j>NN3U}LaxQO#>^B|xKs9th9oIMV zD6)S)7wKOm|8?n#*QqKP>mkG_9IRRVHITWvs79T{LjeD#vo&gbD)<(5P$Ja8$Nlr` zw5>KjZ&JKXV3t?O{L2#iTDmsSaGkgSOvtdbg6o+oC+qf(7`a_=;Aq&n|wihI=^(-yq z9hZf8AmQq;EFi_d4R4@sj%!RHs-;Ui25EckZMP&dnQ5dLG4hG2Gzyl~9z2Hv80GVp zK6x}^lQY+>gy4768b4|Jok~%X)_ryQ1gNd|}!GifQInqb{byzLaA_0R zk9?ZeUAit5{b*wLx4f!^@&ykZ?R-h*#W_tY$6t^|Qx47o+D683i5P%kt?DY-Nx|5X zc9T-=mIGVauZqa~DRQt=Eed~$2l>0JSU*Y|p$TF~(pYRdKiOq9ykl=g4|WRL%fzXQ z+!N{_A+ECVp~l)`cxa*<&h<$1N++b*d<0mTs4FVgT3KD zCDOAxcDlQs7zk%H!C!!sZo@vPS}xHMkGFo;6h4w|g-kNJ@4;N4l@>|L)#ENkUXu$*DrO_qO>EWRO9DIyo%hWQ(c z-Se8|Q*@|atADrHrm6M`4xc{lEhz=!fx7v+3@m~;v=DspPyvAVlYArfAD6Rq6$cMVUC%3f(fb#pAvQ1p_EX}R_ss@@xgeLyU&125;8cqbENnIYr7K-iWhDBI<)vY1ZZFP#;ig$ciiRQgwBCU4D?U;VDfmAip znM(gxYJL{9vw;Q8|4mW*u9!XS5AIgC zj;H*?fLRe%_~YSVj>fA(;Ls== ztTk{nU(w~*`=1zxpw)K>fgibt3BQE_aTSiI_VCbz^t-QwloDo1HW5vvJa3uoN_>(! z4@cb15Tg=QH2)CLp=H3nLgO>%ev#?yAm!$#xgL1QeSI6X!4mTgvElAPp7fucd$wgR z_3RU^#T%~g%H5A>tIdTXeaxMo}5u8Ilj0|(X5Z6r|FV}#f7 z_G)Q_%8=WmRDFMkAa=U6ghb4Yy|Q_r4yVKx{$y>C0|jfkDtr1(^kxG zF0GALLc|b?2SF!qu9JL$kED(WV`6IVi~XNyL79wrInZdQ;OP7!m-lE%eYw*WE)`?JB0Ud?`9Me>U!{VRe0iqnWlv(oL5+C?)Ikphw7sPb6bMA?JD z6_Ww&Qy2y*wSI?s-#-7J;DV6WUJcF7F)+ddGlEI zvUSTZ^~r`t4|ikoJY=7L)Tb8(ZL)=Us*=cem)}7>3!mY3OLBP z@DTo)Bj9y_EDS5(c`+c z6}xtC$$GF*`F>~XRa;@2PhfYU3&-#CtI-y=Xtc?*24sT!i$OKSusIDJ`;C%L-FWGB z0KM|wW4r~)sek63xNcr=qqVkLkBzf|F_{`{pDc@AF%;?cDv`E6a87rAh+9?4ftQ_X z`XxX%E~dt3F!WXwJEiy9THei4BvkXv&w6{H_x%jNZ8YjIX5t{z_dr{gsng&*+kJK+Y>3VAnpe>Y`AO9pu= zFb{&Ff_Dz3sIPRNWPdtQIZOY|B|w)?IN2Pv00zY zEw#Bib={1esR0crSg^3T33XlnD!rvB%HDB#ts7%u&o6Y0;7_(*-ehKygx{!u*){6A zY4Hb7vge{fv`1QmQZ)(-A6n&g=)5S8zyrgUThB%QDmTg#XZ#_AO>Vs;GXLL;bn;`8 zeA==i1M_%QiS2mJc$9*zD^LKNF0}&luEbmS29MgC<@H|tU*@&=OI*0qj4g3NL?R8j zKil{}Y;@qFM@FP&Cnl-(taYm#?|lz<89E=3gn!NiRnFz?XRqR8!;mo z`&L;Sj?|TpM%fXdFb$2o9iynXf1UZ)MJwNw!&!LWu`X&;X-#e6fiqai2Y$t;oUWL7 z|E>dnF-gfeb?u~jBMit|lQ*GV&sq|SMW0A=eKlkxskP7c*{iyLo&9rSXJFnRl&kc` z4e^Q%B5L+%=C71VD>e+b{Kxp%pZ%PD7>?mHvL{%G>2#6~aL*~bX79IW5qS-PdBNuh zphwczawsHHPDIA%{DZvQiX>^Q-oNCq()&`1{ZE^1b@;4w?0Eq@^>^I7^%n*X+&ssP zs0&pkYmj{QQJ)JpTs=}qj}$d#DANFS6scT2j8;#p?Te;; zch;(Wlk6}LK|u(zIHAS!gv&>?{wOb#%voM1_QU4HwbP$v_}Le)*m*ZrA6yY@`fww@ zAlh=-Iaa_6n#q9|9G~HkPkjsSXIWtCN*!NUoV6Tt`j~oL_X{82)YrHH8v5%tayR%N zk0JAVAe-Arf3C08?eYPdo9t$eU`xLm)jV#jppa3@`O_X#$Q%m;7=xIUvOWG01MBp> zN3P+=uq>~iE`%YHPWCp+9EOz9;M;ZnV>L5s;Y06ka1c;gN-rc=c73$&TznT0$zWEt z#krB{SjVD|oJHBjNcsIs8R?|YGvA7v+3TZqMbs@4$}fu#?O$bmC>Fnpoyi=P;!CPA z70urs7%X1U@>6F1u5HMHj(GL4Wo( zjxDLEw^L8R0U=`9q06sa{}jQ3w}vtahl@AXN|iD4<_GG0{wDk8AEz`mt@$S69C$e` z|4=5Wv_S;R^{v=T7|t^rO5#k+;wlu$c~TI| z8;<+uFErBZ)8AVp_oZDxsdHaKtJ( z62KY|N+u zF~OS+-w8D}J^KmK<>8#zd5gvOYgDmMt4)NQ;a& z>+T_(?+mmIqbZ)pxobT&Mr40qS*O9DTwx@V>=T(Y(eWc0=wXjWxbH*1_p3ZGk5=@h z@$am5pK|B)JUyA7c3-Z_FNARsGASlS-fLk4kbPPsm*vf;k4Q(vEVU={UQUR?+v)D3 zzkcMoEmP@0YU;{3XW8Us44lunZvd(toDRjn)el0js|cQ2ui2_RKT`e$euu869NQ;@x?jC0E(@oW=fR+Gx;W>efR5gs z>meB=Vbh)Kg2jA#%rsvc#`pq0vu+LbJ!?{lckgdInU(xzR{u&VSSl(_ZX}Uf_mEP@ zmC)fqCRvJninDI;HptT`vmIy^E)&dzauwLwul*SNPAj=-m^pLs8 zF7+D8HA4WGTm0xA<2q&Cn8bRa`guc0s#i;5S+YCd$web7b&2;w9=aox-Pr1_)g+rXH3*dJ1+2IMN|%Ev6ndwGI`zo%y?xcMgjv|>i;G{w%KmGOqjl~h4YnN zUldD^O+FhMPi9~8yA5`k-<_guHT#F zxAmz-fWn!(g+JT2%!~@qL@eEa6fc`F^lef7`N`3C-}uVft>y*qpBh$!Ug;_2kfxW7 ziny?A)6Nb&PAKBKR6*nIf7R>0i)5IveEV7Mv#)P;{E-U zPziLWA+2rB9_%P#!7Krh#*X_}cB0|ct*7{oY5X@k7PCH8)#`TFC(zg0jfqFPZW)Oa)|tE#p=4U&#F&Cw}hF5`*-?2#~}IRgHd;93_d^aOT&@% z=+dn}J|pHuLLI=u4;T6-yu{?r7)|T6@2%$hC`?|Hp}nWUq8haXxiD6qzU?Hth9v^Y z(tI2q{_1|Jw_IEV7*fQQHvT#;OSf#?aZwLQ@tSS@fY|GO`4#XhxB1tBeuqTrENy=q zHESUxp^3B$-oT#R{6lQ>pCR~ml0}{1+D=r^T4VfeFOPng+AwA%7;tKgS+^*+D!eB) z)>8>FGc7%qd0N}{_BBo{!1Y+Fv;i+;m*(}>Fa$RG$51fweB-QIwmjd*!g8cJ>o79W zX+rV>0L-jlK?MI{EHMHONWXDf&aYZAh&%<<_q$-!M7M-#E#)ab-iWd^Jq~h>HAVJ8 z9!2$xqxgKQ74HPO34?v;>mvaM0{lco?zPYJcXhH|0^jpMH2RXVTRGTfimuBU%R)0V zVMsRq=d8CV2C0?)sZP`c8B?-i_OO}lfBHUv@|-_A9D4kPOu;(l&)0E>-s7e42erw7 zCm|zf(C)e8YCY?`e&Iv}2C2xYEHzxm^X4kKY1nDTr-2sxxZ=|jl@y#X2~Rjt948@_ z!ynZkQwoP8{lJaDbI!dKjcD`QaRqZb8X59UUD)^@{M>_4jNZRuM1BOESqx^mU!((( zz7dWY(R3kQW5>_JMWU^kHLPN8d^tVc?q;{AG&pO6?Ck8>N;P-|R_d4L0 ziM7$Na!u-*yO*Hz6F{y$H<7+ApFsuKYT=yaU?F{@`} z7D4WX)axAXMs&uk^x)da6vXJf$ryr*MeeUW0(HcsI$eq_GopRnr3i*qbL4@6F?+5ZG00J56Sg4({1;U*Af`g&UM0AW_Puk9?a z=_}}c;LNwrtl~$G8wZL>-Fz9Ejs)G(IiPT1a%L21+RQT|mH~C@i}IeyX6Uxak3WDb zOH-M$>MA{6>*$MoaS7C!D1>qIf&)tX;wz5!rDeP$KbKvXENE zFd(!}%``3UNuZCjtf{c;^N5fw`^=3#QtS**HmJBHM4o2*(+%#?&KwoIPA8U*oh4Jt zeMs4mc;ie95bRt`)~_*iWj>hM9zF;N8bdwm~Y=v(Mp72hNx{)pyn84E00eCJR_k|x`4|yWAEJ#bDz$ZMZ|)#<=I??|0%TT zuxTPR-D9LjDD*s9C^cc)C6n~kGL+J>*C~!_9AH_W(=`e24GM80Pww!1LCzrpYq;f1 zxCkL)h1dz7tB&B+S`Tku%tW$~;O^rlP2CqEoCn$Xod66-&x$EH=n8lA&YnV(WxM|x z*$wnnk0A5VhkdX&X-sa|U8y>vhAm*+%OKkZu8uxx>8pBJ6Cv(5MF$>eQGBq}uC=EG zV22*l-X-H7s+GxU(tJ%aAP&*f4J97^aMxSbqOJ!Hn^mb!KQP zu5?!$(CK_9i>PFsPu7M|yAhV~WcfEVRf-pPxLRI22C~zq*4Mh>4_nhglU2g@mlY+Uylq9A4`96b(37V5Xe5WnKFZicRL{<4Q1KeY zc6~zkCFM2l3mUNsp|WWwjDbpXHm7PK@I)F%U05EI^|?(^xMe8%8jrf;eAys<52L1Z zB136#pzSdxc{hjPc^E|V2f!w6#JQRXCy>X5;+F{%%sHoJK7G>q`$AM4M;hDM-oi(vwt>dr z@E7|K7|ZwRaW0f_aMesJNYh98Sw!B>8W2<*U#Dq2wOyg;kV20+1dIc8x?*nbr7$*f zXx;v8j_j}LJe_tpUVym?`vMRfn%`xCZ!Rc3n=DFFWENb(X64SK8{5J?+)W{qqKbtwP^;SQn|s3mkf0Y$P-nH zjF(L2(f|#VG>%AnW`r`}-E`@(E$K%9;Rr9-nC)wv%i|;B_*3swchbH7->Is`&rnGMN?U z!?Dpp-=B(@_1UU8MsD!9o2hn>U(ddNZFh-|ThrBjBOJEv4T=lBF7(p93!8N*F}g@j zVpZ#Qf--7OVfVr0G;|n|?=`b*c@HFm;~fre`jP(>@!$)~uoI4|eC3#ruBT`zc~4&0 z{_Lv`lTEJ$)Bz1vU31;Y_FipwR3CcF2UP*HjtkP6%0Om~u|YWfyWOuvreWOWA%8dJ zOoY9={<@peGn#xd8F8G2*>BuDC1`g zdcZT&x^|dTu;PAeluvuq+2}o6H9*}oMZr$sQ-%ZrWWpDfzMlK;g;&V>itXbqtG0=` zvaBaxs8-V!-Tq=`5{ozvD_OPIeL2HuHFn>2u2-^-_49ShuaR&{vP!0ilL?@CMx4@* zVwOW!3T`3ko*H5}c1AX0LpxHQKM7Wk?!TYCPtZlW6`lJ`iMHaWAK1Ye*zv*L)^zsP zdnT+2_}$9cxHaSIzRF{?(`>l?44QYmXFYrI&TdqCmjWE=cFe<7s^43LSJ4h7bkJh8 zk=@0eIKHIIydgG>MYfe*`@~j+n2V3zMv2!JOFcl}Gsnfwh%%w0m}Q?8YNQ9=`VCoD zKOUH8OmoZ6~?(p!J*T%>Vi>VcLts->~`r8Fts7(69s^w30PWh5Hhrb=Pu3}cb2$<;C zvE28%uRnxOSB4P&)Cf8X#M{U?7)y+vzX_dhLhBIw^h}ETBr?_+J__X44F$QFf<#LsBIX*AhC;;3RJeUzm9HXZRYcCjrE|AeZDw8Ucl#QeKCKw5wo^XK}gR%YP2huH2|_Gfl1kkLgu zaILu!aB}}n=?YD+yXQ3Z=-rqq@-|+?fs3U8qdzgl#cns6=k$H!6rU73m!B%)>0Gl*&RHU^Cf&#Fceg`e!|W__vBmC$1FG z=SPmL0qdy6m9w&jn(!rWY_MvVdhaQ{2jNGGsPg-f79<*P7pyFj!pokRXjkc3 z5AcQWYtK^x#d`7F=ArE!)^NM07Pb)bu+`XwHdzEV2<0J0=*FX!yI%#EAzXD@AoBv0 zUa14gzo$yE9?yM+*?I`@Q*I2@`K^*J2-+{p$WrG=FZaJ9bU^Afl+h(Gc~Og6ntVg% ze;;)m{gjHdRI9SFyYGV%a%!Y0qbOu+k)YYlc%3IZ6dTO8%HF|W1I{*}j(k5@b^SnJpGx!g zr~@vO{S=d-kKc1=3o@^*2sdG}ws`fd)oX9DfMNn#1>Am7%7D=Vl5hf5_U>$8U5gl^ zn$s|B26NhmBH~cNxx6OW2l-9ed^*fX5vy;_G&G93-?9#~P&iBX)i=};|8w8^g>I$q zeJA;K(OsY}mwB#wYrjJxY2Bba7vBBB{kqtH^bBQ)&p^s85!ArCSW4c-jC7O(>muF1 zhOrI;%m!8Bt?7gIUWjgI4-kVrjDaNwzh8HVk+`L7LGm`H(-C5`V#qv(xkYAZv^1F$Lu%pDH4&5!<;!1Uh%IfW;>>>q*1~)z_n*G4o)^+O z)m(9O9D4kG%vFo4ippa$e2Hmcpc#lF*gyju9DWG-L>f+G-h8Ia{2O_2q^g!2-ZSRN z49PGCZ-$A56QKVgqTxT{hp-`TS7CCaIWyGGi0dvmP9#r!`DC- zTjE2IW`(~@{ZKw;#(IIvCKaT#yl$cCPHZnZHs==cIqG2^+zOHdyh{X>& z-gTKi`KrRtHEW~_RA+-NPuncEw9w+c@)nC&2M;M7ldibHj4he?0;d1$3XkZ#L9son za*w7^{u(70*}Ba>)(E|1W6c zfeiaI;aCTkU`kDV%1Tm$`~7S=C*Fd4qLEyzS>?KHEBd|_^gyqaQT`S`5pcx6fYmeD z1ReNi?Js`upHJ;?^N6k=dX9VYh>645x|A7vDYPRIl!`aYv+Vyh#9Mmi!wV8$%q?`gyVgt_dG^x3jW;QW*t=Q>cmfMD z<4$ISoSFvS-iOO1EynI6+|d^u{C~Wt^Ce3i!~m!88O5fu9+F!idsQ5_OeYa{PTiL` zDc-#odg9d@n~HVfTH28G6}X}KWh;rj)|-jukCVtYlAyxN0n0KphM&quw1}1ced}(- znT*vC2H9})&F^AHfvKPnJd2oS=XiW-S=gu1n3JNw-+Yvag9EiktJv`z9OG#maw=k; zM1Z4^%J^hjq%EmUHq!y)Bfq4+h00Ujpq3hCwSz88`&NT2e@cejii)hA+3+2I?^7&4 zgWaln-GEIzM?aWX%$Yk&nBZ^4G@_F`a?0QhC=GO6xnO} z{N4lA&8%vnFCtZ1H!qzr)DM?LDzyNSJe~|JnBTSt@PZyZ=0H9X%fY(dnp6Kp85Z%O<}yQOt(e@r_Z8XD89=uz zO-GE;w9oO|Wp?gJob2_SZXtH7C|aNw59L2Fqc2B6XEnaDqUOcqs3bZx>Apeg%oWDquQEa0p9-N5V0jTWyoUBQ^}ql6$XZ~Tbj zalVB|8LURU-XmJ#%|sJ(e?i`6Fkq(f4PiX$?|?z6#cqwt7Ao5`E{JWVit$bK2Rh33 zO7RKu$#nhfet+5*XdJEJx;g3FKo>hM2=QqPH!mB*{bLJe*b8ld75>*M`6nU6KK2?> zO4#~;ED*cXZZv&T+?wK|PbGA`COq>033Mv8)ov#S7xjm1<-p^c#mbBTJMn7;Y_Fy3 zdMVGgW6^lsz`A4pz^1m0|K{ZL_6E`V{Ntbc4$8Cl%U5&PW4x8V$Nqx?ga1o4rE3O5 zp2I}rX1~}uKXgJhwD*y|MfknL6?}Dwxv}VzRCppZ-oI?}w;@l+^auVahEbc&a^ z+Ydmmb#!^^xzgbe4WDt0UWGnc)Nc{%$R12PBNH$72vd24tp~>tod)wz_D0kH`MKVB zDWy~&2xPvlH{dR;%)KCAN-pC6?B$$q(EQ5s?0W)>Xfw8u!eVD;z-afn`>xe`k0l?2ADQpB* z{y}at`9G|mQ#q$iLEmVZ-{jb?R#ZpCMw$np8+6Qs24ryfequUnS?9B9@tW98$AE6wrQ))JdJcolhkFFy zYfQ^#16F9fx)4ki5TX`IL&>M$D*o_j4pp*5S;p$msU7I!cXZq55^vO}gQZG^aH(QG zC~F$1Y@@OnPK%`SQWmkc3BO#V?*pXPIggK?gHt?j8Qp#wZ)FY1Mb;`OZ$q*6!9Oo# zeP(F;x%ora-?`TltI0%c0Ro+T;Ce|nbd|_s++ivIc|@ojod{mf^(M5iLM(o^@aUym zDSes6E0k$L0}RnfzRWs;H2zoo|4v;lOc`1l6&}4L(0A3tr_0|^XbI3FU)vW*V(-u* z%aiQ&H=MEgv!2Jr2>q%HPi#9YBnUG*U$_rB{!zU&i@g(LAVmXBTTPz%w`6th)E>IM zsqjoDE9Oa*x%jk3rF&q^)0ly*vT>ue!3X(HkqEX!(-+gw1YXKkx(;Dj-VwF1)CZA? zxj(FJ+g0oW6_~hPnU3VcMKUI$QH=Va0m;Rzz?G~a_YZ}|buFpw4iZHOwJFeV6c%_) zxYIQ2J{b|?zf^fKheo>Nj#TSHy0Q`@vuS;A7Pz{k@q9V!n$bImgDw05k@fOdXu2F0 z--IP8)^KGh0m}Z4`&sxCXd!Qjb!*3$-7koT6nDS|?L$By?O&v^`P)vk^R4|53`5rr zq5N6#qe&r&CIp_-k>0g|u}b9W02#PRQwDDSY%x13>lF>D({GJ~o z))0OlClJeFo83=JK8P_c?)RR=&b?PFAHCrbeq_ENOK<^YtAnVq~Wr|%T`!W5ZSV929 zSnikyfLLf<^X(3Tu|kBt(6K^vPp0eG`XwW?GCBHLBe*_x2ZQ=jzE!R#*Uv=wZ>9-S zf*keJaf3m}jFy>yL-7-tuR|cQwJ-&~X{nCPp~Xa8V|u#k$kiXIVWc zVwT)B=tKZwyv0sO%9W4B9&w7V=yyLG;)x|ocO5|)AS_a^fJ=YWs-dz`Q{Up(tf#a@ zcjMV&lbgrMaZfZqWw;JUMerP@X=_JI;MSeiC$k}a+gHJR67Dc(MLzHs|KTx-u4)rt z)`THkt+l^#fXn|_8@ed_p;kCIVDKFgVnCmh+$Yznjb?8l1S#s?f?Tt1F ziqGfV%TZjLq@Fj^m33Ye@9|fT!ytJ|Omr!~o=NY$lvYHhWaK(tq#}VVg!9>iFEjZF zEc>-mPR6@28n5&FFgQO=w#k@sm>MABm4j0LPBoVWC%0ou)O#eX7;DRf29Zx{dKekJ ziTp5%ul;$f4O_x4mO#F(tQ3ai<@TtjNqD(c*z05`8VE)zLeB^*m_^JlJXfTb$P=gZO9bLOHcNh}wN9k#%WN{*daDsG)U`tH66=rhu#;F0cLx zl&zg?-jFlLZGh7w<%t26)5jX1eajfJ*u4SW`_*736fsIuikOZXvG{8I=kume-{3&d z3`c(t6^2XXdgHEzv)iej`6o_7ZC{?JeaV{^i_F=h3VFW>WeYc|) z$Xn<>?eTjaFlHU4e34?KZU;Wj_D>dGqjOF!)%>LRHpu6%(+Kp3~KNv6(syU7MD0#2<*$C`t<72rSIP* z5`zevLvsVUVl36yVt`n_Zz1NN9b)OVCzNl(KDUP4q}#AP-Zn~k1Y&@j0XhUZZk9)- zx1Fi~c5OHas*T{GM$=8*X=Zd%wc~Zdm0Xi=T@Kv&of~#(?k}>&!MWUQYhCvG<pn*xVj1`fM;mf;wDx~2eN%X3ZQE>|iH(VE+qR8~ZBL99O>Ar8WMbR4ZBH<< zo$S2dzfbz0Pr6sH=c>Bz>Z)2-X8y?ob5jNZV!@PBor>%rkeS`u`o#d`;E)Ay!5l{T)2cQc*_PI!I_k{)V_aC z>T5%0D0^|SKFI^h#Qu05h;P-~<2oIDDHkzg-b?4kHiPB?8(j@q=vPK;m?8s7?$*20 zRpl`r_#ttYB3CIwDoWZKfw_hU{FE0(j)XAo5v zqmD`Z!D%k%vx>UC521*$8wAiq_2VPeu9)Pglzs>ez{qV@;2VdNEt1^T}&g(D9!?+W$(Or62Ys7o?f!qG`qO4KXrngK1KKq(6IP zJ_MgyFP8yNkj{^oD|pi`a~La5zOaK}yra;n-Jts;G$(CV;7(^^t%yY5R-Q7VKZ#Lf5UUPhCO$yW}7 znOU6bbEjg|#1F9G<7}Ho^msaex7&(7ng z%pR!2`p_{RKT!EjDP&Tuctgws>YNvV+I!weROtcW~+(vm|~-@Eo9Dj@230t(yI zB|_)1QX=bmq{S@YEb(7syO~lr1`d)Co)wo-*J7C7X$I>iekimJT}sVR*jILCD(Gli zimy{wt8A>6FC{Ch_0@wVL2uRs6sDhe1B}$oI1IL>@(AUU(;P18TwXdBZ=wwtBKtiZ zBmg(Tr?|u}pi#U4u1IP?9VSSd7)t?pO|+13TYjy5*0vdfGv4CJ+LPfMBaw8}35UY) z6-=8Fh`oQB3z@<#Q?tXp5-8pJ4ptChOIKVbWY zyWzkr)tydtTzEz5&k|;oE7mQ*Mwd3${tbszF{V0Mk}}l~DLbcL7J!O9Hc|5QAKsxZ zRPv%QwjUT=hl9t08`a+V<~)}HCJ@6-OFNi1M3q?aDH?qMKNR$l4DrnB!NqNtqQq5O zzNtY@E9=?xV_fUnlrD6LorSC2FS+(QN#F@w>8$^1OynIb1{;Aiz6uOLoo;ibw_cG9 z_P96wE$xj=6JJ$jN0yBD5C?gao82J}Hxg2TFGupFGu9h_;IZp$xy(fz&9Ql)gYHHfZ1{_sFQ6 z^JjNX{#l9i8se5zx!xWqkZY`@NZ$37E6OTL0w0dq&HPzy$L_5AmSpblM5Z{sOCe*b zP5i3@)GNDh(L1^h-}buK!{%-UgI%^~&`XXxM2V@pjhyU4P^76Z9v|)~P^UbF#^y^T zaNQ^-{kX-SV-3HxV2!qD0GJX6Kb=~+jQ zomxcMs`M%4R4ooWSvF$C=C)p_4<$q}o}JDW+7%yb^felsTRt0WGknadNSmu*1t(j- zpI+PmkQ*h;oMyPV(bZVpYgp{?1`(#l$dY&uFoIKk@b@d&>17;g>UhNbn0KMKppt%T zmr=0RHhk$_#(dx=WF*Hri9h9x>5`pcT*7LIKvXe?aopSt891b9ZZQaYGa$T?so0XP z;xQfzTRamx^6b86e4Yjz8FD_afpNi){&wIkM+WEmNp93W4hG3(N_q3MiY5 zo9eb2?vF)fHQ&+aeqFQa>G?L@>+)+eQ|VId?GEMeJHYGRavbg$rKd5S%*WRjIxi7^ zu*F7n;CK&}kUWMWc#$roE5ONok`1F6J<$y{`0CGGzHNv{9#Uv_6(H9a zdzrX7!a9S|-eyEsw%QjW+F(1+ph7l>f9Z2`$~&!hb;hGOs3@~2thGe|$>;^sd~u{!;=xKGvaLs0V>SJd za1+Ei5mJq9PseM?V5FM1{MwWSkE2_{$$xjijl{x z6=IJ%2AL4W(n?TB{ba3K!143q)FQ~ku(Ru{M8&uUOQcSelrNr4E-16+A=rMU`wf^# z0#ipdKw9N+ol}2tXHN>I&C2Vm72SE|)8Qr#Qr;aKzCoWpaXv>)^Co)0ZcUXxff zg=LxbX)>u>!i95ZLwXW04F=jKbG*2xmz>8 zetSj!e)+$2J{?c`0C2~=GY17&L^+(?x7M}WzSRGW_$jBKbJU=a1Z=w{N9**m(}`)9 zN0CF49KgF5FwSJ(vD&j=koRc8ammxXxG;*%vla0ZNacgHSu3NhhKK68Q>_R8(yg0@ z>Hx4B?>L&O^;$0L+! zyvJ!j%!AI@S5pK3;tp8O^gh21-<-sIx~{JMW)`ov_ussON}Rwewd$Y+pJ3TvLr)D- znPbO-E2t0y35w`7xI-*CFTMv`!|a|m(#`i)9%W?(szAs(D01id-?T~BGu)x-=fzlN zHVlyTl5PXFPvumrx4CaKQ1<+yGkQ(p)B~SDlM!_iE+R_`sgbYb(o7^(VZ(*?=SnQ~ z0%}Sze>rT5qZ%Mghx@sY|G+1ZHTX!k=4|XC$DvF3*vNsIE-O-2&GHvwitcC6P4ehpwMQW7c1UnAOzQ*1k0_RooZ z&E_#Q5xwz1$7Hso-&b;wy@UBXXQKR`{G5L6Z`%_e4ko|t9u;OIF|4R^>CP}m{_k22 zb}fPihGzpq;QhbWX*~z*+2P+?_Q_99Blnl6^r2ni%=~kb^si}P^VE%b7O+Rbr)a!D zDfTXdZGrVT?!h}~WoP0LtG1>9tRJM&wNRMOC}@^fB(RK1k{m7w6%bl3%Q@37g(6VA z^C9e$IDKl1n(Do%F+3CH(;xeGt`urm)T7;lsf#CNgyR#YL63nthj84QFgLY^HeI${ z+_-L)(gue1*{k;~H@etbltiv`DtDEAc&p6ov;f{R?NhLQuI;tYs^0igK!GiIQfD_3 z`xXSb9OP~(UEGQ%bxL`O*?>%=yy+*S?|C(Q!d~&KeVbQDH0(7IY&f*_m}ZQu@0Xqt zjY9fD*-0a3VUJ-j-dvHzH?d~xVz1E;dRyK$)D^vg-w4~)=H{g>Gd>R23`xCr#6Sv z2uF|Sq$4=PB)gC}S2I;_7#-SGA}MKv!vG25!DmG-L&>8%4w0p1%|+fDE&F^_bqL{L*R%a23xEJK z3~9`7pei`dQ}7m;G6q^bFvK|w1ID%bowT7sY8qa&)oX$a+9K_eBu@xA4CMknF%0^1 zceCOi9!sa=rS^>KEe1EC2^zW0iNO0eNWPr~#v?l7T8o{Mp`Yo%h6rDC#cZtBJub^1|&2Q7rI}_mnUnq$!|CJGc7~qyjXOS*&_SyZi!CRC11uj zWfvGv^0Jr2LsU-4@@pNRRRR`))=O<$Fi!qg5RT!g^(@Ft8ZD_L90cAfU;u4?J94wh z3N3TXe#Mi4H?n?jbm3f&Uh`RsnK~nlF7AwcQR*hGq`cx_8uM(wT)#Dj6)#*Cee*Xd zbw+Cwv(Q#x+~dIyM6^?!ERVzZgx0>nLk zM%it}p+LDVF^kN>$5kO9Dp*F_)>Lt)N!eiZa3Vb_M4e@;N%EY9_LpxQj|$gMa5P`S zu11Fy0lA-KJF-X{9GIqhe_JMyAq1j`)X^?&zWwsDNh9R`=~dH%(mWCR^~V#-u5Paz zOtU7tAWkK2>X4^QlN~ae>O{CGF3Xa4n|taCZ#J%ef9(|$hWb1naOzQ+QWZ@aCgR2R z;Z#H3V26OM?EOui}JM+k8;IXeOqI zADx0mb)J{6@G0LRgJgTtQcsWbDQ&k=3qy?BjmAadHr;3r+lS+#bnPtzEd;`vTJz!Z z>4~=>Ec7q-iDp0m@6&zsT`)2z=v`@eM?URIoEG4Hq*ao;0TepB_H`a_RB%9bDU(X8 zy>pFF9x4*P%lUnA;As^94?H+sFzLyoKJM&(!F%UlhjgC)d+0~L<;&|Co71Exm3;!7 z|H1~$q~yAng69OGq!gRi^dBqgF;O*#ypM>wUvfhCGSQd+Rj<;UfrtfRU%%2Q+0Y~^ zgta0uxJ?^7DD1cqE6qK8nQL>0%asCp1cOVZ<_R3R{(EQvu9EHdmrXFqfypZI%_h1N z-l3v=sDwvnynO@fB!m;GcYA*pwwi^@9{q5uQoprY-8+^jvPqQBysQg6Zg49tf2ffM z@~=>I-YhVdcWq;->u&>LnM;8eDlrYA`Z61u7=*#W_f@%JXg2WXSz}dL=aq#K!zl;H z5h`>Zohp&>+lRo&VEe2ILA^k!JiwLXa>OS^Bt(d6A68^{gbz*Ty7^^jDjvlDho3?t z+y!Td|AnT7xT!Ys->&gA)5J}iMm)2l4Cy_iZ`^?IR-{hg1Oo&;I|MWB23O5o-(r%Z z+h!k1_Z7Qc?4u9tF=00HAC2eX>k(P>&zVWAVM7?oBD3>w`p=fpiUYmU@~2^^?axVx zOwx(_cUrY@{y2R}pqeyCoW)0s&$wdc#x9~pz5UKm?VOScUX@J!EaVR*^ZYf^RAp3gp}A>JvLjYcCux_xx*|V~ znAAQX;C^@d9+_oF_>4mC(0mISBj|SE;d}T=PR|ln+z4{rWrI*4y3>_wdHj;b_p zsUekns-mV-!<@E2j^JI3jC66wkvP9XK92t*>8nBH6&XO)6yfw|NjjhkrDZW;wU3C! z6Js4TK$EAm3O?UZF09rH*_h5m@rPJHdBvgp)B8#9yG;cFQeP)z{f{<3wuVU)2 z!P7opimelW>?+CaYsT=xBfG)mB>?>H&N-@Wut;}r9UY3h=Sz9uqzcQa=4;sU&+;A)(&%?D=c%Hypc2Y99pA&aAOlA!FBot@``Mfb%w(Na%24N)M8$A4P|tq9l6^4!S`4wr0ti%)@2bwFYpS|v(lk`xX90J>kPg>D8^^YM z7>ZlpNLiftcLdS^D1RSwlHbqRSDD5dwuO=GB>!buu`IuvRpnHNC2ERk@G@~vsqy?K z@W*U6%xH-5L968Qf_yYaZ>ySC#@N>yr$6!B{}8ft8yb zPHy8@vR`HVLFz8`2}xY=B0iUSdh|C$U|-AeDPju@PID9+$iy;C7S@_n7 zxe~saMNJX;uS286O1vWV@UvrhtRoo@tFZp5P9KK<+OR%q<{!xxSeuVs1@~5x11X&Y z`?jYkI`{Tcl&Q=)8G;}YPVKKia>p*Tm3QpGpNRVC#W6yD>09)Hwv`O{g|NXt?4e5& zMtBvlD0<}p=-be^cO&=PZzoEIA0dCQamV=Z=5m_#S234$7b)ts&{KC+>+a8J40{UUVB?5`a+ z-r=zI!#d^mc>Qg%G2&Cy6}fb4$(Q+38zg9vs_K6XaCz$qT?}NW4_s5~T-#V~#*l(b`k0##xCbnbi*&!<0(aE_YN$YzWWZ+o(Sk4q?*`t2jzFzK_%C z`0%L>%3}y?JE+G;ZQWaQU(A+pS@&)K3HTuyaw>Q^HFgBalX%qpG$-KvVYn&Bu}|FF zB$N0PAn43B^e~Q-c}6Igg&EZ98CULC>SL12adAD)AdQIujk xDYy_C7@>9QRySg zK+h*1U%UMGb$3mlRnIRaH;U`uQ=VsP30aaQVKV#l4xA zbJ%%|(4r>uU&PZU9}yz?LwFfS(~iz*d#@fqOivTgl#7hU){F%eDf_!d&>}t}W(kub zbZ4Bf@-KsLT0WfOx}+@F!7C!RZA1|-@h|o_to4Gg*YL}I*(b~m4a(W*t&YEGQsg;E zEX7oUz`bS+c1p(~lhCSs_+AR<%wuR9io>gtNx0d;eEXu7hhKIAq=xf)vPWfY>k8mi z-`#?~w`kbC)Y8P$ww%J##f2%$_0Nh@TK?@;Lo&kT)p_cHUZ8u~zu9nO`$+e@3t{52 zF(YZwSu1LN!uIW8Omc=HPFsdtNl}bNbX7=UNWrfoYY*#J?hIwFSl;cl7JH%iEvLn@ zfPg)HH^E70W}l-G4+e;E&b z08h=MB^Nt)#o)IPjiw>-+n46M7JQ;5BBc5H zX~8+hKn^GQAm(x=>es2y$wYnkwHH|W->J_`sB3~R+b}g5@lsV;DmKONw3DHW?4;&y zcv#K=>&{FNe_qni%2+Gl2=qMY((tIAG0S6P`hLNm2oV#$K{nY>BY>IJ}>rc z%6SV_3<=M*^@U?BtgS%GY2(l_?0i1t(9YFyH<;vt=Mg;qAOY@(IB13wkO#!FZBAajNcQIgaL1yAw?RXnT~N(cI-o{R!aXNa`MagUq! z7IcRpN&>VG8xAk+$mZ;lTsJ{%h}#RQoWON<6%IkN9*H=2<_Nz4y}%e{^OiN~qeAOo zF1q}wqQE$U$wh%?h0@R&e=}zn8L6a!pr+z-&J4$;O&t?b$oyP~ny4eQ9 zPK%oz-?BIZK8_+qM?8z3OBO-Qmm}`uzrhhBGBRZD)3#HSVFmRfwf-q1U4`%&=iWX2 zER^@?Wo?(GYX@5>k_g5!7{-tFG$*d6ZO8FBp? z4?f?x*J$aVEp!}}3C9!{pKAdJPmV%*4tt>Y8(ssBj2<%Huu3SqXW2MlHT?Va(+QyV zCpvW;(pweWObxl?_=m}Dj^qLq*Z$Rpzbq~Lm#Fb?j9>oJO>l16#b(Y5S(ml4PnPi7 zJ|^~ZJG`C(tOb88*4=P1iO^!NG2B1kW)nrbBJE~>5i8t@y$5=ED(w~ys#UVT@SFBkdSdu5#AU2l4zthu~<$gilQk)Rj#gZdl4Ba3n4 z>Wwh; z4D`#we3+zIgm48!VB9NT$Aq2?>22NYykVrvi7S;NH~maX$L@Cl;OP0i`qo|B zf+l=J!?(Npev~KDqL`+cY{}Gun~R`X(Aw)l0FkaKh2X#AAI6ddNN03PZT~aHMhU4D ze94l6u>+OF4nIZ|dVU_^xQ1GSOxou8vq8_qMiOqdQ^h=1)mhtRor_JLKC;`4GaTT; z2a+gPW^!O)eNd@9(6-zYRb7pwnLD9J$}k0{AmY-CHFXYeB-S6L9ZG z;=yX^pKQ_u7ih&yM<^+=h{&d9>Ac)wC+BlZyE0Mlf}O@jdK5M-2o1SV(|){S*4 z9ks1|?OfYhDJu^<6LOv=-Y^-FXqC(SDcWa9HlDjZZ2H{_Ky*NINBUomE7d-Jrp7fl zr|ZpJ`|x8C-&|1iK0V~lr0sW;5u!ugVwjCI9z=MG-lofSs0~${tDH7O$gW8TzdzJ? z%0Sz8Y`qJK;)WoMmReQOrr@8&pSfRWF)s{iFkahBrEB{d|K~-()BAH5#FlY1zuR>^ zgQ_tHH2?+xKOd)KQ=JJeKz~)7gqk&p>ugjyGay?$2~Ph#eDs|A(_Oulw*AQi96?i_ zWtQDProV0@6(HVl!flovEURxApo!99(KU!a`#Ef+33~d9TY7eIe3d$%E(#d2;Gt2X zWZ)Z3e1k4rb*&>KTC%&VO#;DE?h@zUtX`WK#9<3#)p+aF7lH!ym zGWJZoeq&L$$*p)xhpueq7?~y!S|9YYO_$|G9`JFv_uuh~IHpON;kv7TpIY5<>||Bp zWIixM=;Uxmp#CB!c0fRKy`|1-F{+6m;q{-*hxb7utZ#C*y4tgu^me{5H~u&2`ktMAnxix4#MobCqt=31$X*NHqZ_&db{SUfq)s#s+{q2vu!; zRcElNajX_!x85nhs`bZf&G2{N7$kU?#PmOurI^??q7aWEdxR3N%YTVp*9pYhecBc+ zE4S~ZtSsxulsal%^hMu26WzY5dH!1Ejb{S#N!Lotbd8;7V@l9R%Ls<6t*oTuruQz1z_xP|$&A(T=;U5Cr(qt|H@c zBgzR4@H!rWYPT7Sj!F1UpO&e6VQ4v|zHh$@DjYl-bz&Nu6(hVSuj{#6#<}PP`kesU z)kKq~;DU!Dp1mlXbMI-beLWGqqSPBFo~Rpn2IAtaHT3AC;|rKf8S2jA6j@-n!-*85 zvn-Tz`#=&Ns6?!N+ljl?@+RpYD}$vn11>e&`>Q4-f zF`;1f=XTAVrn*B3zl#Xne%21gx;4;qb~DOq`Wigk{DUj=U7r_5YYiWIg}b>m0vy_qF^PN_l%&)u*=Oe>Wh4wk zY%C^Splx?plnIxFWEq(|#;@BSvA;^W%_R?Jf}-H*j9cwu>iXXWj)G(U@Xl5uC~4$r z5LQYgB@p%~P;J?Z#~T2g&<1pQC@)j%Ip;3r*j3%@1k_)d8E-I8`25(W6u}H0c{v;_ zyv$;U>ms&J_~wv%-z9n*9rBFcJ;hx3%cdpd`*!jE8Q#4i6KPAZbV^g-T6M@}81?HC znZu~JnTQ2xn_T}5yvQLJxSOQeKbNo^c=!S+Uhp++=H)*2y7+(*xRiSJ+EvRD`0Wm+V#Hb!*l~24lE{^}j^4dqv0O8SvhX z{_!vG4NQ*rI*0Hv=VthqT*U2IwC2P1Ue0Qbv3J~{74Z4M^^l1@>goIWzS}<}akpM+ ztrI2i>ykLU2mqiJ9(8s^_%={}Xu!OsZ%e+m(fjH8+P2>Rt~p(Ge|=vcy?r$}x&(gs z(mgK!BQ-V7-w)!UeRjoo{Cdg>xjaFkc)Gf@c~_;Y{kAA-doOFlwVhstqJ@&^Lo39pk9Yf%g)!9NEl{u6?a7Gfm4b7iZFQwry!A zp)GH9e$Wmdhvt89+46-knrEh<3Rz+&m%;c6cA=%kiCp%#Ml#om_(|FOgE@htm%3b0 z9OT$J^ew+nJ$==8Xl(xSL}0WR3{hL_Eux3!ui*8U@{<# zVVYV9VKu2*Ii)jU!aW^pw9fu1OgR-st8(0Z)sV*z?7edwFMZNI;np-8;^Z=*A(Hyo zYcxN3s7Cp(nLZ`Q%!|F>-ZN_q{Y7d{5ugYur31=kdR~jiaN3l<+@JS0I>n2j8*CM! z-M5_ozqq#Giq{|5>>+|XtFuZkzs+ACjY=pEU?lO1a}^9@2gCUv$HJ>GFOYJiSRR`_ z;#BHVv#8&gm~O<5%UB-G=*!C7#!b61`|52dg97^2~rLR>-ld9Os&vL{dOj3fbizo4c(X0|0M#J_i zqdg=&<1j}XjOn-VAITy9Fr9=o6@N|Hj+p0`rOs3)!voe|gu&df=$JyK4*4O^bPy8K zL=NO;gj5__R;t*?n50|zt#z$|9W#xGQDlJ!`{UxWFw$J_hL=k*^zG`}@1ZzJ4jfO= z@3av!W<9CXJ045e+H$LQHp;U;0ayu`bwqdYW7aU0Da!uLpBG&5K4uV}I!(kv(PRDJhRh@qdNuKY$o5fD$1Xc! zs(?;h!@h%!d44vASmGOF+M}CJubKdL3dB>Pasq95nyG?l9Hw!rRwHc25Ga@e$m_q{ zK9kVBS~P@Sn#F~*C>u~h-KxK#;&6$*%k4nqX0C}IG7qyyIc0M=3J!8of5HmH2`#FX@z%Aj>I(2%)KWrjf@ zsy$r4nNy@|DvF|ED-8p>hy`KdMglZD$++s3Sns+i6|Gk*J3MRx5JPr==K4J zZ_vt)In|eGwne)FlMDdsog)crb<)OzZayf$6tj&?v&Fcp2ZVr&-~Nf0kK6u_ikGac zCT$>3eT}STG}aoyhks2Apyw%zseiKUE|V@9d^|J{bnA; z%^PP`o1rWjisS@@Kb}vZhOXl~L4D5bg>JB{UTHx6d6J?i5`^I6vn;^L?i3bnh)A)- zS=w&oy7nd|)PcY2LgKP&Vi`?TFdOwCuXhj&7E77PcPzE|lG_-^lR2q}NF5zDLt9b> zxXTD#IGlf*YaffhXx6gApTO9C=N^PFvXc{I!}zjgV5>8Gc=dQV4#(tALyU;DK9Pxx z7)uh3&`q@cMg`UpN8CXrmTr>E_R!goyyqu4g>2ZMk6{$Vx56a3*>$ zGK0{25MR(`Eu3Mu_bRv)7Mzznx|g{FQqzkNnu3s2n~pxYj9Y?DciE~3jzJh?Gc&1M z$X)TzUBTrhSb;P=C$T0Civda#Cd%Q{d<-hB^Ja}+%(V0R`D7>SnbZ-h z_e#A>Q!z*Y(hj?rOz1_$=)nZW)RamV&Er%^oa1`2m@Os`bhyknjZqxcXvSQY4`w>v5%u#8+tw0rgmI#0AL zc0h%-bz)l@EvpKH(vx^?$nLu z0Z1$?y2T45c2)2y%xw%D4E)TN8a;}Y3J@*Yhtu=HvnBzyG9sklsxDcqz^YwNUXlab za#P~}uYjJz0i*-^$seSI6DBJ|0+fipBkb>`MnD?GLH3Wp{NH0yYxqi+jvdA5CpnnA z_OQCuX?%X3gXj^ehUYo>M&)Lzez;$6BN{^F!X5|MLhB>-)PHkV?WOOdmknM&1w6B& z{oqTPdoPr#r$`?;Zj;?lN8Hy?4#$qf<^nlj(a)>^wY1FA-U5;1Db0j~c1<*)_-h1SMPR^%$V8Od z>B^F(SPUv`d|QEF&d+ z%wdl=&)#tdG9d4L6#GWYJ0xKvc*cyr;?8RVZ|xWS-+TDZ+*&-1m>g+^ z<$}_z-5IfwH|dHMiHaMRxIpoq7`4Gsm?8Nj){twNjmKu8vf_qX!Hbv^0nyL~<`@c- zp@PU{kQ60P5o)`Vo%zW_OVP>V8_d8NDZ+0}FqLy*mp!^!v*i+;?|7;pXpItuvU1wE zNC_$a9c{2zFwo*Z$Bh-a_D}~Khy#7)+w0MjdbWPkntOWIzq90rjN3TL!HsuSc6?Zd zkQ`u6EnCkti8c2r(o&6x1H(1i?}Xr)oNlTFSOP57JTU=wI*uT|8?!>V-B4FvAcs9} z<|Wwmr*UxQJ@J5;IBq_f{}YGn@c>D`dLe-J#}_TO z!xSPMVw({tZ%5Dvzil_@=86Mmus?oci$41oZrUg1fDH1FSm%Sp-h;=TO8ckYG7Rm& zSw@G*BThfhwaX)70rx|Uu2_=#bAc$O^wG#s=CB%ct#%NJgBWuj70dxLC>0{j+m3ec zm~a`|Fs4@nkgEzE-{E1|SMeZr>fxts_TwzzLAOR*R7x22Gi*ST_0?e1Z3b4oD4^Gy z(Ok6*LsKtN*QZxfM5f&GW=Rbo&|(myv2TiVR3UcX1~q(^fv|l$C)Ys4CtZhXvDelH zVK8q&cRAS)TgAhh9~GbEoMVc)2N@esJupPWS>*^GnHR87LE4R^j|_eaKlt`0kO)yRT>BjNrB7?n(DNaO)nS*PsP+*IgZXnzS zZCr7eAo5$$08$%huWGF8FI8TTe|aVTAL^+{t+&-UzNKttEpze(%RRlrandb#tZeX_ zd#hI1f2#usCACN-k|2*Sk-#g*C1iuquV@+|N+$OdFc5x8E#?Je)y}B13mGsS1uhE_ zV~u3;(AXP)w_`|yDv_Nz^ujyt7gGgY5XH!J)$!D20XW@AQA#4~u^Mk6kKI=c&`6Az z0|(^;J|gCCBET=Im+nj*;@dvupC`x0o4#o8t;C-o)a{G*vNZLZFgCyzY9LDfKkfZ% zrv(28vNS_CBxuDk7cuBT&APO-NwKINCvY+`QK8veq+!~`hG6{nT@oq?Bb*H&o5I!s zcp*fKt3c!==X6bJUE4K=Wc=iTK3!NI%dSTD)V>&hxva4bbcD(4jT?oU$)z^pGfPam zAhLjFg7{{9t28jD33+CR&e<8Qe_i-B&DbtI662ltB-P0hhc;*+P4KLtQ~5OiEK%&+ zRMpuu6~5{Xiij8_0}u8XjzfrC-MG+zDo7L^by7%+Xi(a3qyM&<1fDX73IkR*w_gGS zF;Z_1+~87=&?3oWZ}y9xtVMR37tx88Rem#)6RqP(oHKBNWQb^AvLpAVLrvL3l4alp zU`wqb)7q2&Fbet}_`RZX&^nsi*c_Y9Uw4^ULJvbe>EU@Q@e}klaRj3K8rjUTQj72#Xd> zAeJqXfzI8aJ8%-3G39oUCzhsvfkHtpdk^XWhK;n}VqkVX5`i6oA$?4s_lu8@p-Jz) z2b(+Zi;UhVBbuQQ1%FQ1Ql~R-)}IVj9YIWeeLoNZwJlFvA%{CLU$W}h zJDfOh+T;p^ZfQ(}GXOy{L;>eV_QT%FAJVv!K^;#$S*Sl&-3N>p8YxRO)l_#Yz(YQE8qa_didEo?|JVD=wW^Y?Tp7UF190<4RCAmLPgN z=E$yE?Ay4g@OL8-EEeB?xN&ekOwk6i8~II_>4!d?2X;be%MFsU%z< zf=c6;%pqQ6r0b2l=ft!8+>nxulHso&8&BnfIwL8l!&!te?AQ+fv`rerpO~=60-ZQU z(NII2&27Bje5tCu+>G96kj&+a|Fni;gZQxSVc2ONx_p;fNlk%@YpI7}`S1}|_9Q7PF=Nm`mHfPC1FZrCat^>2d7LW{h1?L6ID9jNv#G*Zxhx_DuhW9I+U6v}zVoP9 zh|{GLt{G1C&TGKPLjr&t)h_5X4Rh<9!lfEY~f zSDk0j9X3Bu&EF7?x(KT~P)u*bPZHpZWyQ>E4>9;Qms&5Nji(3>;2Vu$23!O!)I(q$ zy`9D4GuLfT$P-eNfgU^NH2&6>2iqWN>qTemLiNa5mP;IJ*7rMOlOb`=Sa({?j_Pp6 zYddNE_hf0@M=dOata%JRy4DThz*gS1h{^Xrt+;__p&}HtHN&8#u(OAvm4av~bAO0% z8Iv3*%iP!F%CeGx&f8)oQMuuQg?`DzUW8L+zYhA?LHj#GRb^MBu0tVF^to?{y}Lo= z6sB})AZ=c{R7&c*#=o>}L0Z#WS!@irT+J|oVP%*oZG=9Y(R6iZ{l7EV0K#Pb!_o;~ zAu2)&(*1h$foK9WOjRwW$<#yR9W}F?;UJY#%+p4R*fU*;507@PDc5`%E4-Kj{|mzA zvV5qAm_#cD3LD zyfgX7A1hMYzl8bL5G8H$T7$IuWPc%T^^=Qk6PoUYyRvrf4&IY8Swd;w!%^dc-784B zUaV+#UJaGokW*-AkjoBy$%{%PatsP*8l1=1sGme?TOWb9_aB;j0rb8T1Jd`-Bx)(p z=%ggrZ|M4J_dpeBoOjQuqIz_-?$_aTtG9s`3ZQf?nZA&8e$Mu~Hp$v1Jbft36 z_58X24t+LR9f-eEuO-J!?vEZ9J8)8_;%o@3SH{9NLq8SycC}^QD<>S>kL-#}hpBd} z4Y!xV6Wh(%J9z4ZSf%!k>$pkD5Qs)~7qD6ZV){$Q9IzTbv4$Z_yD;UufZn~gj&3Qm z@>#@jG8h{4S+@Kmc|YDRvyc4`V@B`%KX&Pbwi#So(DX%)e3a{OOU@C%o_!uD{l?m( zf=NgRDZsDD@ghJO3^!aaKA)gnz@A52X!T3lcKml|8kq*n!OlJKZ~Ss#;2 z{3(o~S5%1%n2x3hDx=(djzo0P@9$u^Dzw#jZZvgl(i~Ng)|sf2u+4P8pc6)QQCDiDasKH0 z9jP$Eldlk8iv6HBkCZsZSf*|~_BplaXU1g1VgZQv zdFdK0=M%$5YIfCW+m0oza^V~bwl;<^GUb*Z1rVz`X*8w|5l7nuKY4?kDgEmKeef1E z^s=h4MBE+!nUV-&WcT=oc-NMvSnO$J?q=sCt(?pZBwVWWTx>v{!y!$&Y!4VxB31%+gT{aqymB*#m4&BBWKHlw3>l zCfI@4lgx@rf$X~LHjzZGKdfK@5=JqOF?2c+tqMNbuP3OUP2QBRqVq!1Kb^fxmoP~u2i`~;@+||_+eV|Cy{aGQ;TbG|Xc)x}du$^9 z-!zfPY*BvH32HKN(z9=SZX$K>dJXE!36iZuXCBawc~pt)ke*5y0$T{MQY&CM;OAml zi|VWS6VD;^iuraM-7sCNvdr~(7OF*qRB`|!cHON3;^)(kw{>BIx|hx)kjivYJg5Pan(X?_1qJrhm>T)9pwYt{U?^f zTnO{a8b7v?#{-Vlqvfq$mpBwKi7XAj7QG(jw+4`X_5eCCcyX}Y923|%R4V^`4BYvK z()LnG4WUBiFXeb+K{C@aqh9OQZB-E0q@<^2yR8CYE7Mw=1mKAwJ zhY8_a&VM$Z-Cu6zcE5+S2;#9-Hg1g+e{7p6Mri^-lWoD=zX2P`u5xY{ckSe@2d6SE zU}F?=aNph@cx&^0t8kd-+0u!Qu6CR=$EWl834?s1?rf9yjg=8ELC>T8$*ByA_Ht9g zptgSXm*YCxhL;GIMs0k&1YZ-yVi-DAK4M)rl>RXdThr(B_Qw_E0gYnam?)8(}leqzeL_k0#| z1RZCon;XApB_@W3{_oKdJwN#Z!@?TF);MAq(nqH^W_Z&EZ@zkpMz~fl)LV%usG?lt zoA!})G&FHnmeJvK+Efr637cisKp70WhipG^!tG3Fh~((oJgt?|cr6k!*}lLkwh@b=o?_QmiHT zvi%K(d7G)z2=^wT=b2ACXmv>6KykuJU3WbxCZ2Cy5{G5&ac0|GGJ*UCq;6N~UO@u+ z4aLM=iGRbk?)WtsgjhKaq5hc0%Ib>LRV--e;$2tnLX~rPRH>_iCLDfz*G2ud4+XSv zTf;25SS~pzG0UmQ-AN2wZ^5b`WSOupc>SEZZXAx4&oPxlRxtIPX1ur!Ce6YwZw~3u zG!`5W#Wfu z!d~3VRpqU}(#y-|j^;vOdy;xwLZ)G-%JV(^MNcnJ6X#&8)=&O|1@7_u?fSK&@p}vV zlz*A$M6#}Sx$D(eANLqeJnr#VfBd?A{3M3k=y-26 zwivEIew-|PbP13h<4m1UR02~`kH>HAaR#-^D2=-r_F^9biu@tCi6wMZc&1fV;0!1I zr|Lj*7X%LXO41PXAXEcmoe-m*GSE9e*neh0J%l6*(h6iNLQ*!V4xv9%LLJm~2a{sr z`RElE*Q1a*Qd23{BmK=R_W@kk$Z6ZkcJ-X_(M}bJ4BDL$yd4@FvHjA8di$H2k%w96 zqDg7Nfy0}w`2#Jw{hXx~6{46o*@FoJ;k^6cM<2rLI&kerKU>G)(1*ofab> z#y(;?nSuSz#Hq!lphMD+=#PR(2!H2{{s9(@2LW^v5gmCfMemDiE(Z(D@_{cesMQt18hCUV$y9lYp*i`rs5^h zM~$TXt$444B4Bc_GS$#YxP3^>vh^f}mkRvIJ5pXFCcjaS50wZ?)p^lMe) z4N`D(QL8nLxV7V=e)URF0Q*;8!7!A*^6C?kb%C6(74MbPCkP5`^*ke)Y1Pk>pAcR7 zc-~#8Acb6==HOE-^Mf$R9)E$f(n6mFQ7sNzE5I2~-)z|cIEv?jGQqlPE`FXt+6_-%kLKFsHdQaWEJ6y7+c(pv(2=eR3e5_sD)c zf89TSHb2;Cd2hA03Bq{(INJH>GJPFyAaCt?bU50&HdqX0R8=hYF`W`CxSkF7zlr%S zM%{#?&@C%DOP>by%76A$AD?7pQdB936&YX5u|{NcHeNRt1%IG}(!U%WQ6Q#0ni7JI zDH<&p!1fJZkAo>#Xb#}ykfx-}>5eu)!HUwxMvwq7Ys082AYnLz2i6) z6y*B@fJL;Wo%uH`f=K9?iWQ~;s95@T8Wvb2axTcGE=^%!t1tX9Uv-l*K5_m6%j1!J?yLZ73 z;Ouuo<4FK%@1yg&DzL5R9FJAu$OH2kOO26?#}bp$NI_3TPSL3moQ;diSa)$jN{u7r zmB4txvMLE|-+z2W%DC+!POz!J_(TDIMnBX__bTw=aQ6S9CGb7=W*SXA3%kD%BY$aB zL#vn>FCI&1NsHC%zU-+sib?Q%iVc52R?TRXJ_;3*!?E;LVd^~z`~`Unz`P?h;`9(! zXB7~r$1=|9sseo?*~qGpC1t*?rJ+vH}1h{DD5 z5kL3mulwiEqVSED_f~6QdqZ$K3&`L%n)2@5MatS zVFCpj$s--T)JM9Cr-wpe9)k3FR3t4`g5ak})t)RtJd&A0Tnc(#xQ<7`5O9`j^BbtE zaeugPt^ovfc2gC#Z$NV9SrszTU8k&>p)z9CFDv}L;n)+X#R|oIcNWcQZok3UDL6b{ z3QAyh9m~g1kX^YxABL!S&KG5ME8d@HEVyBTr$29X^Q8=?oNDTkVXwbwf-Al09E7^e zn}ocHE%jNXl`w9x7sE(P0u7wnHeF0iLVu%0LVRyD07CWbtggx-=>>+|z3rA_Xc}Vm zZ?;&v3nkqIO^=G<0VU%spcc$HAzl2j#u1^&-!R^=)F^@NtFPp+!EHv3d07pwn4?)Y zieGgsyVO(9dRJ{%qS+AaumQBEk>Z=DeR0*rw|%iL*Pr*kSU&H)=y?9RfBvj5-hXI$ zZ?(3*cszd`?R<2Z-WLz#tv%0?Nxi2<=-E;iqmI=v8;>vnOCHD~r}SBD^*0)(MPVF* z7U?oKhR_G)Z9H2-LpPczYe8hNblIN;ODfbY=-+^JNjd5Er7zKA{-CRhIIot=S{2oO z-TeyKnW2!7vr6Ca>q`Zm49yjgLw|Zz%m7vzs`w2Tx9f!`98U;$Qvsm=^kD<^Z$wok zf$<5ipO3|6nSXjViHc|B@4iT!xcGRUEMK#d&kKl`U763DP1xtAw>zt)<~J=F4#5@U zw|7d6UXiWY2{AL8z?9Zlvvlc}E+kXg)wt|5i z!)B`mBhCZarN-c0PuLu;Yaw6?(!U{loEnN70K{x-Rmvlz4HDRTgtOq4eL5Aun@5JQ zJd2O#m?A{|ycl{JvFPW~VbZ0ZR~pA_SoC~su8?r>U+RYsAcJ9bO28UYhlP420d6n; z#-#-PPVA;?i7UV2Qu*6u?0;<7-gxx=^ZBulhXTFb!)$lX>*k-H`Uy@K-wkA&a{c)j z$i(w81oh{y`{z#vvYnRqR%;)~`t!%p&PSIaPXhnmMBdtST=30{MGg!UwTo4Q?08O@ zP@~T!Ytt;fDNY$9>!DwkBERihMN`n?ij+xO&<2nK#*>BUd=PtTQ-3^&=+MndjUI;) zj5}%!F2}H#Is|cvoS9?}f(bkq-e^-2*m%n3$0ei&1>w@6RWfzr(QZsB80qTSl<|p3 zK?%%WYx#NtvfkzA;}~|fV`84VR=n2%{>Kp9ss^3O@Ez*Canx0cRqO$}bP~Ic$R?-c z_^d>X;VeksSYSqzCVx15uB4EwwuF4j@YLa?kp?^L0dE8|7y-&r5Z^gYFet&mug@-m zH2v%$61I~v%^0m0cvI|g>N_G+flv$pd3B7xThtEOF^-%3E{n#&t`fD4V|E(>WP=k5 zb_3u#O_r_V=V9<|tN6tyrJw}%&Px9W7ui>wwH*lW#d{r~_kW9NK4)G=JAM>cmnzc< zHL>=*IAr5<>NyxDVlBEJ9yv=rR%Cf7V~QW45sPoxWUbLtP1c7+V?f_E1wpE1HZ~%u zGnki^#%MiX=vi&dX=;qPzh*ZY6GHTAHIQj|E5U1kzQ`Qv=2!78mgVQlcA7pR1SPO_ zmWbbTzqhL5v48L(x4v+dOS7_gU?!z#R)Ym zno9v184+e$4e%Nbno9x>_p;HQ$~qkKkEXPdpl<|+__PF0R+No|_r~8OhKG^MVwp#& z3ZP8MW+RcnJF=6&mSWvVM6jvuen$e~y?T4>j5J}iS%24o6KpAN8j(ywBCZL%U5+rF ztvgi2MT-^yZt!stG%U+O%SF()3&K*O0UPPKrHJE?KD~TC;by(QIJERT%|grT34d~L zQWw5e`Cp>cyaajO0Bt6z%dex#Ep=EcH^xy!@lQ{OhOR{`m62xewod`2MfI z|NQy)?`;45*Uw*m`SH{D|MKfkfBf?Er!T*M|JQGS{q*VkfBXF7Pk;aP@h?CA_Vef4 zAOHO0AMY>U6!-F%Uw{Ad<1hd5pFe+i`S#a8K7IKBVyu^MTw>&(e*fw7-+%k^$1fjV N{s&Ub+dtTK2LRrqfWZI& delta 28702 zcmV*6Ky$zIlLyz;27t5yr8|G;va8!_>-m1(;`G*(QWE#eew8TgeWcZ^){;u~?&Tlf z;4(1GnbOHtvNJJ%MsVg%!qbnB-8b>_av4^ zV*T5Jf%LA7-5aoyTghr*v^=#aSD;wzBw3xnImgNenyNV_QK;-zQG9=Lb}?Xb<;YtD zb0wMi{TpO*&M_nnYz7J|@&#BkuV{+;22S@29vC}EPC;_p#-2IiEa%&m;SOvG1VX(7 zaTPiIfSlin{c`>I7AnddRL0|GuPo69 zdhI! z&lO12Tb_O?U~bt*w-%SHn1ZRF52BW8OS?utw@8rloPzFEULm&V=rrW0l{4L&}ZV0(=BHMpWuRpFj2(KV^{v=Gr zbG&2M1nFA*i6=p=99^a=2A@d&Y3op-f6tOmPkPD{3SvGdi1HyV>bzK<-&D_}HFxjY ze_v{UKBYXDKzSi_1PR`lYX;$KV8nPNJ*&pxC+tYgytfhp+HEx<;qy_#fk13Za;A5} z?+;=0;P`G*KgfTi--S>Wo-Tgnw6sO`q~C`|qP`c!AWC4b--K{Hk23^h43iNN{=;Xk zYxKhQ!)st9(P?!XunwTi67u0$0~6WNNg#b`QP!x!UOzxaRJB2S0H!gvs5g^+H`nlO}P zZ)zuuDd(j>t|eRe_6aEUWs1U*8TCisi;YC8s>z68TiK7k$K|r=PX`VHM~Aj*LLlAG zsVSmS;0pC_%B>pbxc5}RL@q5<@gk!vX|?9t!VE+nFP6rQKE3z(DEQE0@0m_7^#|S=M!P?j;T?+)XYx*WbHLFchrhw zUlwn|4^`ZOJK?OO?S1t3@ras^KCe4_{YiM@!YM-Y8kEiXAPlW8mN>+-Y2MtpMR{co zBNCwkde$JZe%`=1m0LzJmc?5X^Y{m3r#Xs+mpFfNy@`^@(rK**%8Xw*^1q29Do_cO zt$?4*efu{o%FmTx@%kIYvI*YnkMkz^gzN6!l*d$b!QGl-^Ic5QAIH0@mU-&(ah@m} zNepTwif_-zv*t+5cEaV}L>UwC&T;7Q&T%K4l{*mE?-huMv|grJJv9zh6+5$qUhnm% za*Kc7kaQaP-Y-BKA|4j%7CIgKUvVUb6An6x!_vnxBbuLdm}`xM9ro0piWi6%;uc2HtTRr)ep~3%Bp?QA@^9edn%C$pO4pQd zF>7NBM5PGH@aX6uV{#-YPis?Rx=mG1IT54g0Oa7v+&_+orOo8qff+xDcZ+77z=?mk z+KiC>8*sv|t0+SirEeTl!qyabuI;AqA|vTt7zjV1(w z2qfJdp9#3ctBgZcci>LA=&-DY<`tdi(c#U=AReqYqyAzD6HsgtTA(L8f0UL~oprne zhbrcmXLi*s8^0MC5VJp17&~mOa+^J0BiJ1i-mMf?7()QY~w9iAZ{(noQxZ^ z2C_CKy94JqByDeK8u|YCcD7TT?oKbOeq8%`6UE~pVWQU@$q!i%z2Zp>U!%Qp^ofx8 z{s5F}I6B>cQ@=LgPB<$bzEI&5gokUbbq6M!9|p`*f6l7-+?2^^>W}RB3H*OMS|C$N zUAOkex8-~XMuStJ*?@BmCCPQP{s5Hkjn-aU%pxYZuvf)dQ-(GkwULOehp&q5pr!XYL8Fn27x%Pq!bvy zc^DwS#!8r$0dt_)I4=7sUku**ilc03i7%o###*FT>s3bC*~@oS4P?;sRR1PQmc1u| zJryvM9w^^itTAzgs)4oOxm0dI9#+eiF{qFCvS}iqk>bd?6v3G%$H0H_^|Cu6S$Wc; zc;aSo7JCx~|0&YFD^Z5x?HqSP)5w3fvrlIaxUWY3?+^JY{U^7FG6kfzkg)x1*_i(= z|NK`rG93T$f8#&?OQ!1olm789L8kl-QZ%#5uMdO&N!`!C-va&je^BS&7fx%dVuU6V zMtz=r{7>u7Q9kP;gIIt0|54pv@82T&iiP~cS-l+sNK_KO@k?NS7x$RdBF$}xONaJ`q4LfE`s9I`LGUsrWnhSSwFYGW}RgJy2CS7Fk0^NldL!t1V{>9F!@^xYC znoZnQ^L>6HshtSEE5^-JyUQ!{EuMjsNfmP~Et>6kW!*tfvCMr2(`@5Kz&5=9&b(^k zipTFDB5_(--Oqm@0vpJ1Fgr?CUBS6@gNgQLt{Qh34~Ct+iHP*gq}gFE;17Rojq^OB z;cVR`pOr{Cq1Xkk%VZt9unPoncbZ+a&A&jElbH-ldT&M~ZtqSm&5(u#kMkXt1O9V2 zm9S(|A;QxR6BA9Q!D}CN#ovYR3jSheRryizYvMKAPl|u<4co$Adnmrx1UOC&CTuo_ zxs*L&IqeS0QLIsyE+FYOo+b=XSA3#(`Ly%0(jS$5%!^r=njhH@`kk9dg`0O&Wyh1~Z~+yPU&?-S0~Jy`$ZvT8k<)fk$HdH*Horh6 znPoO7>B;+3+kDLlrBUU!r6jPb9CvLSRNpY;$_RhBbq?2Gc*`o7{8qk(+n17_mT{$E z-D&j(BN3z19~*t)%t^6}iI^{&6n>enWn`tQU}CsNu9GfO$ea}M@!MfJ8Cloz4OTE@ zsur?TQ}DjN!1|EbVO#lWsI;KxV`RMTtEtzqKQd@|wX`w)u&Jks3* z)YX_o=d!kMyu|LyQ4EMPuR^qR6LwJH6_+U&5MksAR=R;mRLMi`Gl(-S^119Nj#=tdx3Xe3L{;8$rH87@#WWG4O7$wC`EkO%NgaP> z|3_5lon6E?dijy2zGs<;i)tnl{Mfr&Gq@DTL+7yn!7=ax>vr=lMc3;WJFCi1`fg>t zFz);8LMS|`9>|^jRG;RIOlRb->*d3uCKKes9!uqM3~zHZ2BlT7ENgNk0pO6Tgfuq} zA`qXXV5N$^N+!ZHOeP-3ON$*wpl*Mx=Qk`aDjb_f@{W@wiJh{!wP%}m7dgOoAo0Ij zKG_RUHjf;EY~2ijql9cU;ge-1YJxCo-jGU$}y(P%MDf|k5v7wH3Ea!mh|l69oQzpi>95PHVMs0p%};4y}lfk?2dUpL`p&J1|(Xdnq1LcR*0 zWG5<vtcFW6Lf%hpQ6=^RFS z&z55E0<>)daR7=E1fmvCVDk@I>(6s-z`r42r|Fe zwMz#<_9np^O^D50I5d?E-g@QsD^Mz$<1|o~a-80;A4hHsLhmb4L>+x_2jPcuD?-=d zmkd@Dj>;`te_n$A;Bg>7Fmb;}^|^mcyiA>JWN)?13MrB|P{Tw8c~N(R<@QS4C|J&g z^NtNR$AnCUu2co9j+cKOJ8T&fvR7$&VK*E{BDMWU7a*P>TwxF3(D@|GO4Z+uDV|Nf zemD`Q6SCA+6Fk#{CJ6ubXiEvl6Aeym zZeJxM1o1S-p`km+op4lL-~6F}+)2v%?`iz0K2%rC1zE`_oA-YezN}}l$o_AKaj(KX z{2MktDYx*j8kVuF$)A00t%R1hUcpK#3D1*DYn2>-LAS z2p8c~!1W<(AWwg+eX>^>`2z2w24-B`ScWex7B3caIs5=a@pq0p;W#3K;pynlmyhmfvzQ^F}HtDWfR$aCKWL7Cf?gCFrp9n z&|*w3yKrw&W`|nVUi>|Ex*dAmzA@oIn3D$PwtsQg7D-&^P1M~j`zYHokne<{x_eVQ z;jGie5wq|=o#mhEW0o%jn_k&u{1fI0x9sIgR4|!#X>EhmIm^qooK0nib)6=KgiETt z%7ojd)vbRSkgspZ0&Fi9k!7bUoFl0V7s&sFRH|1c@E0 zE#{)fr0B4r@>K@6QRT!2YAfB=ObLV_G+Q%sq}0HsO~EQB5GmZGW7pdd9@Q?!aCVXm|7Bo<% z2giR6>`nOG+)0ZTrL^=5hp!qMxHq*Ej;bjdLVS=PPYemp=|=TlE-Op(H5=vK!tlOb zp$+zUrMszuVr{jM?+^bN!$!VB6N1?4e);ree#DvGT$_K2hDf*vjxtf#ip{!nBzK=v92bj0W(Mw+ z6i2Rm2??bMWN@xV6AGp#BV?C>`_~fV^{a*w?!cXJ)J_q!$lm-X?Zh98mF1~ECQjp- zWF{N@FXOmzk%d1HgK&ps62};~!KN7;h;%%;jo;p-`vTE+PVkE6=n=-Gt0+FV#0#1uxdBshnq%Vj zEH5&)2bGIAhwKpuIQT<@y9zu{B~H% zpX$>X7R!lk>sFp*k&&rJm6L|1G|hj0%E!(wvbS5raUAtb)#WyAZ>Fv7vV#h$oSwAH z*Ui(4f+y&$8Oysc{9<>UHDcg!gZ~Cj?**RJ`i1c%;QZtFj{8^%WW>`1BJ>dwP7#9i zbPNaKLR+-T^{Y6fCbPT(@<=%?9Cx4$0>k?#4Xj>ls=Yf_*Aan+LyIJZ!oPp-){i-P z;$|Fxnb+L)+G2^sYS)Too2PufYSujL-n)B_o|U83gyXO(gi)(M?j^Yj;U?#)K88>8 zZLO+YmQ9WYW_cezF!yF{R))-S<|pHq(Y3(}hsPX%oMF|FU9>1zl}-)(h!si#ULSr(wpHjy~}^tBBq1_I(E;P9%o62Wf_~ju#3WJCK31*$H=405U(6X zuWLK7Q9$DU+Ij`%fG0uKK!TtozX9E{^-HO}UQ^#N^l<066OIa6WvvPB$E(I}KR?yy zVMnSY=9z5p?wVUW(wGDd%ec|TE37nsOsinHM>VzYFozeyJe!u^IOTsyo{C5wN~_Ar z{FU0IytPBt(-r{qBA+EhI?2HlknARok#v^O68|GHMem|SpLlMkIY#-9^X@82BC2mb z0A-CJQ0^6&#r{vrH%>(}J`&Sd6C!SoRTGAy?K13ylLm?vPNaV%KKwvgOi}J0ZZa0G zL`v1bcAakW71+mw0`7$4V393`;qm78gN19Zmgw`TKD9m(41Tg9e$Vt;$(6jtNx?W} zCqC#KHl~uwDT6B$*2{Cjzgd-ALbh=@y|;sTZEFrU`3Q$i=W3wk?VB}MAQ7bHZw(~& z>B?~j60s>AzKwsU24_(Mi6`vd$8+8#fIGIH0?HaK#!b13B36^(`bvqCO^x_uX@V!n zx77r(CB)8(T84faa+6``=nmWoXXV8Nw?FPNpVN?DeV&FylUfrG8%MsOd0AM=UX>NB z$oP|`@CF0bvaN5hN&x<3Z!j?th-$5IJl_%%&~3muN6CN8Qam}aJ8-BP9&{wS-w7>- z?x90k$d`KW5!tAVr4q8{NG>npR%n7OeCz~NQ?lmB*5TTV7XKQVd^M1i;_UQqz|4l< z9=^JWae{A+;y88m%yFvX2HXip9d(=_#veCqk9Sh9zIZ2DPUr_4=Yn@*@F#ZrWM=NL zUd~%r6IFk?%!ZbG^SzlIxU{HSGxK=bb4jb&5#+=(6gGA^!q+gH`3t9@^|^qoNV2vn zoHdTX4F2}HVqm8hxM>%Jn`zI92c;iMTnQDj7T;VfotSxRE$wR4b0eMRUxK zJI6?V?dYx?iKo(%rtd(p^&=7TFF#9*i&35aImdsq##@U+b9dlQII6S{*fRg=7Oz*I zTRh)_c1$*+`)N^KvO8&5!gI@Su(xJ=RJ6l-dG`3EtMbCz@?2DTF-#b~SB_-(av^IV`+c)~(hel-i7UD*2mu7`Kwu=;pb0pv zn8SaMVPnfSbNvx5<{g336vs@U{CemPLAQ8TH;(x25zk5iiAO*ltt*g#qs41chOX}% zcfxTH5S!50pC2tg^ZHYL&g(?r%L|)Q#ax@(T*xM&V4}>N;=Ezg7T~EpXGJ@#crIt{ zt+ke%$t|t*axrB50-Mt`aV}Zz&-_|&UowBm?F^fb9Z&oeM*;&8|Ln$*Oo%px15ox7 zvRYq((u>t6qk*yv1{|Fxu*P7P1G$PnF<8^;m zvuMt+Tx8gUqF`ifsWIJPV%~8NHep@E4M|ywD(5&Q5Ug--M=TVABIjE}JVgpbwNM<1 zhujvBogjNOVjStFoM>6LW@~C1{sc#g*=vrTC_O9yJ3;mzHO7N*+^9R|`CSH%rA^&s zSYD770+b$rNoE|JpKd_b_-1kLz+8V5+nXzJsO}Ej31^)yq#pTk$0*w-!kYK$L)T@_ zFxIQ`oJxy`Fv`d6BO*;cExKV?rt3hQ@Qoewv1ngYzBfC9oe_EH&2BlWBl|(H3dbvR z-e2A15F3RgPEG@z!I!dLfzE%P`0QW6Wg{8CG)EG~5TpFYF=T?y>ptOmfHQyV$IYFh zH_gJ|n<6-e&-d=)awyw_j3i>r=`Q1#Z+B6q3a%WjCLDEBtQgXK|1{rLVgb(TLkHy- zY*Sn>A2TDq4Q8@$`6B1l2%#v0+1Q~o(R|L-Hh$J{Hq8lEXXv?UTGx0J$P1`|B#o?j zmt=|2;RzR+G_a+v!V*4z0$G20ONfUSgUfa869vrWbF{JpBX3GWxQZ&8KUar8`XsZf%A@)xo*^$!*Z?f$ zeO1p~9wk*jRk8eRQuPV-Px_g?KA9ef!@Sq8xcF4B>Q~PO*Q@&6$d!NOHNcwY;c-CV zA#dY>;K(e*tgy3kJXbVEBe({^pGqNo#1IY|5r~L}(X=B14otad1P@H`k=2A+Npz@L ziT!Gc@1zigr|f3=k(5FWrLly7w>`S0s?hb#O?@kPtGK9hCyA}%-M#uPchaHq=R@4b zk=`xkPyN*56O~#1)e(O!=M(C-Au6X$xvCb}-*}SQDS~Zp8GqOd%QDYYXij0G%$8|cN`Y(vley@GiW?lL79c5_qD1YjAZ64)c9f4bmPt{G*?@o|D zgi3w$Jc(j^keb)F0!x zmw$DHOr50tn3Uh2^7&a^95S3l=Q>MOp?~)>M1t5-_3eM*QCdhCKeC6DDuuH*gnO!g zMDTy{yAtPNupxZylQ2riDT;N2KceCoadCgb)En zy-YseUfu_mYzhhNH`!NGHjIHn1XaG}#m|DDD$cDb|U_ABu}o3a`Gf0Z9rUqEI~QUSrq7% z^XI+A(1Po^mag{HE6{n@Q}^+OaLWt7vCG~?k@&_=whoo(F$z|AGVO1$ zLNZSIu3ZYT*5Q*rSG=ZDRYKxM<%3@k_E;kXl zYnNS%{yo}4k<#@CVgG{ZseztkbFp55VmN=KmREZR2BNh4a0Nz^FJ-SkUgmbPv1yK& z;XEw9apYYBvD6fhyLis`ufR&c#i~Ualei-E0rYCBXu@%1iA^Ny)VIfsOxA=XKs}%8 z{d0&-Ok}vp#*v?3j4dKxEv<|}Qf&*Bv9l{;GLd%o&2G#-B%fq~+1XVThN*fl&)k1; z2h~h1OpNv>wU|IMvtqn${KSN)h3AlpAk$EL6~4D*Io?h&U7K=Z(Rk}LN7e{z``6TqY6lO$HpHf<1h0B0{Xy{l~ec^-G6uzY|_pVo(_k6w^1f@pKWT zd~)JwAYLNrJ76C+`!|e1@ZwlB;XHpju;IS4ALt(oBsxP6Ygedl9~b~4+?t>ZPl5Gh;( zpQJ@MHR4c+UrlK(o1KhvydtpWZ5tg$h$R1unvmK#tJT6KVrRH=6)v+0^#@(Zj<^SE^0y91zKp0cz529~ zOC%l5WRp@@Y-E}5dEGc*eI1VuBT%u!2*%^{!mgl%Ox7E$uv}xQzhHJQ^SnsbFj;wU z>bkYYQ3qlB6pjah(kU+>PSiu{^j}z!t4Hnrn9rJ>7vj;i$l}<1F!e z|Dv|Z`^4t$)yGnc9m>9@mv>E+Z4&o)lf7tW8r#y`*N7b!i8|nJu);73X_KODuLwJk z6hE9XWS3EI3|UEtN}zv%xG!>udjmQgjrlcqp!`ou>H7xG>4xmJ(wF)hWV2k`VBZOm zG_Z{Jy{Smbg=nra66w*eKiZgmiFzIE9hhwk5~+dJI6`~efGvY$w)z`}D()P2!bwL1 zhI0MhU#Ly8VlR-|_NhK5SwaM*l?{(P#*!i1N!~IjSZ-eZc7uP7Pm*m}CNA25bsc3J zQ>rePnJLLszn528zwnvco3FCnNZH?{#>@&h-0b{#GS(b!c82&s6P5kSkv(P0j=OVY z+OolFj=@(P)F($L23%eD_ie(~K!yNu#&4n!gQKO@-9;f8YRf9RbCgM%H?_B4%aU9+ zq(iS1(rT1@uXKL}RluEa)LeXon}{ge@qu_>yd zvL6s*PXCz0H}l4EDCQ2_31^Khpe8{Q++-3Z7E#`n}~G7pf%CAL5-C-4vBYXWQyiItDs&H&n$?kRq z%AoT+y;pxgE)g?x_yFRbHm5<~;$BA$^p)7E_S#|#DaRVH14RsCtXzR4?_?XQfU#|O z@0~+#=v?$~!N!KTPFJ98aw;#|6_8|*#74LR$(|Fk(u#2gtO)&#R};pFS!F1ia2!ew zzvAyRYPC}=QDVOHsXiuo=h|uMC?BU-^^?7Nuup%CoiUVnXB!VN*+lS2`~}O)(J-Cn z6|CTnV%@DZ`SeKqVFimNH?26g#s_44xOW`M2%6{dr9B)KW#-y@iy;$oYg8ahx=pBl`J5Kfqp%f*@dPRQ{+N%NuB-?#kbhtPL2kO>-F4$AA(08Gp{nhJ&(YEs?3XWCi1KUHg_7Y+iri z6D;M>8c8?Oy*1gQg;?u^jh(a9icysl{82WXNwp*E1IY-(O+F47$;YCBMRoIVFC~td4&R9DW*cRfZ{)>ENlpX%tMmbsC171a(xnCk(y*!@*EXvNfX1pK{xANgJgV=;ka z>Xc=lTOP#`Z-{30Tto>ix_Q(<_~Gqw6NNYm1T;}V!bTQ%Z!z&Od0{*Wff#?NQ4=yT zMwn(4p%~r}YC>UE$W9AK{A=$0Z(lWZcn9u;vvOy#p}$YywOsb}>T_?L+q06%Cfel+ zknE!5&K|Ha33EVc6gv_xBxHE88+RIbFp-LChgD*f6@QZg_cI(~cPVVkiL?^tZH@^% zQM)k2ME*gW8JmIln4rT5EWBDe@7}F+cop4#Y|r5 zZ(1A%%&r-8=&T%zCLG5U=L5n2xJkxmmDBF0`W#b+_{o!v^JclKC*glA*^+jc%-@Cx zw-*>)(e@V|HV#UO?BEr^g)Qc!wq{-B-Md9T_aOpts+-?`$RAh4+(zPksUwFHSGIf^+!6s{t znScd3UO7rPI#O#ZUMIqrm`(trM~x4Aj?ky=LHjb8clG$RoE z(vTl=lnFs`4?|6efr1$ zzR}yMm1Fe%(@ZX6^t3yjjmxhaefHX9_OJh+%FoX+DnIuxKg@qYj$;r=>%2)22UN4Y2Jr7en`SgS2=^MzgTH4rjuXBRL!O;YU8d|792?6^x} z2Hjx^?MvwfBlj?SuU(4r$po+1l@J4IkuU733_@$Ff>jREa=E}b=FPl_+hF+l@yP!M zBQ6G~13Qc;l`MaO7nma;K~&%Dd9Ul8>Umk&xe31YJRX1j~D5(#c~`<_v+)<5M|*l?qt(a`AmhD{Yw;8>ad}inaCGbu_JFQH|!U7 zQG_Jg&<^8l2ZQqh<7kJMK|4%rzm~l32CJ#%?%RbY02_aKiFS51@`lA+*m<#)$hfw{ zWWO0@LGf>xotl{|r;!RKKZoboyTcq2WM*rgcO^x`yo?@M`))##cLAT~9Y!8L?!+&! zXvk++_O2Ql_+nR7`B^iG0sP}dxu~T~JF-E3s*iG+31mu2qkPPzmTU`gvPY}xItBA; z>dg+#B-(!yDz>o;9y`O|*pW5X)~H|+|FRTrFc}>!NYf6J9bx9${s!Y3-fEZ#F1mb$ z$=*D1>aoL$sF3V)-mp0iO2YSCcL^c1F$<3M5jolar8*D2-j*r~# zx_>%)Xvu2C80pn#Ini2W3f{|`W2-Bpe9ZJ2v);~Ti>%;&jvEf*WLWL6U}_Zs-Y~bC zE@Bb-w-jxGkX==+s+=Q-kaYbln?7>1?aj-kxXO|`ns;d$^NIo(E{&ZQa>-( zA&Y;aR_+R3Qcy0|0^U!1IgZV4cET*jpDXL;WyUvLa-2FXVas@2y>^(FWhC)(?DP{Q zRuY~kLr2A+%|o?c?20Nss=U;Y{`%=;z~P0KrMsW% zqg%314ht!f{g93WMpB; z_0}30VMsu*!$gzi$Gr-P3qZEx)29Ze7BNP#t1>ls*;1a_$z*KXPIP0})&uOfjh#%= z(MZvyFZd)we2bl(%cY1(sMxh99p2rf^Pl4-#ZHWyP^TIVcFnk%Km5+FYvvBy%8!2< zOM;W~ zNWr^$hgm%4a=l359Zwt<;fHRKUC@7Nb|mW}y4ppG!1mKR#jekis{GNdS2IPGA9colM1F3JG{?dPrQ+x(u;x#a-;IAGPd6h0 zr4@nW^y;+mp4e;AUWNDUC0jD+9Z2#EUf5rO(G)Rn4?tPu@j1N#Ly+z)hi~W#sW|S0 zi>ek`fquLkc47}^T-bX3xi(k%CCPT*83nSFu8VU>MCwq$U}Y2=Gl8ON&QH@Uwzs%h z17jw=aJ>Q(0c!JPJT=Z?Wf_0XQRYdH6XKiWR4ig8a-^kzVy9<9(%eLmsmfM!Xi?16 z(y}$4fu10{HW&2`p0_M55&Oo`+aR-1&9`rmg%=auYoHSg*pb)%B8ph2L`~N~nQ>bH z=^Ie&5PW9!H}ol26NbjFO%+WztFmSP`r}nFlWR#NLVxPdSy#4-tT=yzk^Jz{%!!G; zWJ@5~fphW<91m)a#BAj;@QtHvfIa&K1&le%;=YSgr$!Q_p9NqC67!v1^#IB+vS~3l zJr_Ae18d6dO86qGCuC44xdDe3(rO^fzf0lTqU^E~G2!;^_CYp71ny8A z(KuJjmE%yO9k>(D`bB^I>iFZesN->4A!XfDf9e;3zfiovNYt11G>}LPJRrRRmbH;62?JIBncPg}1X z30~I{a_<}q=S#tALQP_vCryxjk*pogXo78#sFD&+wo@{vE^U8oJ&)$&F`+riEbTeJ zP#g)~fcNg@bG?i)i))Dj_A7`RaOm(3+zDsp_U)(rai7!hqGQ^5iwG5t|C?u=62rs2R zuQELHVQ4k`H&m&&z%smSay;J?`~iPh$!VA-kOaPqEgCY9KjJ1z z8xB&_qyvE*1}7O~iSlJ`X{r=w=CUIC#Pd@P#Iu9AbgPVhwU;sM*N>Y6jF7Ykj)lnR z{>~A1QDUbkV3o~Ma?mI z?qkYT#-V?zJ8&mlbhtPk4g9FXJXy!2eCkiLgc!BSO-53ExF<2Q2NPRT>JFS{Z!v`= z(L2W$e}L)m#c|O{9D1zN969o|@gQR&6pOpdNIGuYbbJGnd)F&bmYF+!ya<&jyrJjD zZs*8p7Y~$g9AzVx+qI4Ya{MbhqFb+^c%jA5-GP5RNi;rQTNInYS~dgQH}L4Ay}wcf z!kXrsHDPMpCc{oRtD=m>=+cinFlJ4B?|S`dL~s!j7e>yI!)nf&vVgSg<2%r&AX`Jb zNI=Nf_1v|Ho#`|%a%qzM23$^FWxK?=@Bj`~Wh2T-+fI;qJvR$!Zz}U3fsE9bk1H*D zMbv*ll8Uz-`sL$faxc{#dZmiFYnQLyK2Amp$u1_DdVh|}MIHwi~>SB@M9au=*P zI+^$*8n<(l@q~lL?c;FT4|VzYslz;fEeDRWLRQg+tBgaHci>Jq>$qqdPG>((w}q6U zVbq^G&OMBY3!}>I$9lFKh?=Q^oWF+^NLqi8 z3h$=PYe~ULh5hyp^aT21R9t}A&g8XMz?LJ++<{`H^ISp$lT2tlQn>+H!D2oDn_2De zz>=_8tOmA~CG4Wk9YDpsobBljtl59qb{%kTk>{8dw~if%i%!KW{08JPCr@qPKX6+> z2*G*a=w)|HJc=7f#t4xoHIOl4{1w>7h}9oI$H)aZhQbcq370V`$ zPGZCY;pk~FlBpoB3k(m;XG6=LGz9`ID~?|JDJ@NXIGSahsJXN;v;kw5{ege6S5cB9 zc39BBMBGUmt}V75X7u_SGTE`6)da=>A+c3c(x)vT(oIG&pgAp79A#_S@~CJ60T$by zLJ>rViOiq~I8C=Ru1z?S(#ir5r*KX-lCODOCL0$wV4fZo$FIuEfyzsiyz1!6v1r0s zd6`jU*YWcN?|8>C>VKX+WX^xc+Ydbnk6fHD7GiHJ0)7Ny=xSCi_fO3SMBz1IJs>KP zDyv2WmLpd79YHPyQX(jXY;R1v-QE$>aKM*IAu`t?%qlyfw5uSiS&1qUk6a_T^a$b5 zB?Pl;mf(hv6{$G8cDwr3`wxqYwb*j~orvI@K8jS#eCeu~&qynw{|LLikIzdWKw&z0KdfO^mE!_li^Qoo)_1 zM137M!M)D^YQb!u0eN5|{rGkN>aT(0bjGZ>-l8M?T3J5N=Qu9IDrO2VJd6fLT*bm7 zs?4XZ>q^Cbi58zp1x$bBZsq`E1(rI1)ylq%t=tZ*#4(ET)}m)OR*G(s_z9(5lb>7k zOd6!dR6rMaoNliz2H8NSQ;R{CtoluhV>s-IGDP&v&U z^(UcVBOVB3>0(Q$2(rOU96t;~{~1G+Nr}{&L#C2!8DA<3uxHiWIGXkbl%25Vm`L(h z?3H8UyoL<4J1}!?fks_`yyV8?Tmx|cE&d8D!QpSU0 zK>-PeS8#t8xrpKk-^gop1+>k{X}kRBkb_oLPjGJ<+q6H&x{AXAK&dL-Hg9nZSQk%X3@Mbd-dQIclJ6TR1tq0?DCA za4`jBrzrp3fOA&lMw?^4_s6#hx@I0YDgq3ej&4nHZXjcRZ^}(oGctLnqJgA4;b!m( zENr;QCh*lPzhY zJ7IsA1f?`ff3{FfvU6pZd5Tkg4J1}wTk zqNF1WC!94-CL(`p{P$Zi`+2R&M@H;n#(5-lN%N`}D3j<=*N09?dR$v|i`6M>{Z?d$iM6e=QU4vq$Ts-XhKg zIA)C&dAsvC$Tr)6;J_G_9XJS)Y*7aSd8aG0*iMk$U~VSbE<@rh1T&+{ATwdEiy2Z~ zOQNWNgnJ|^>Kj-FP$tXB13CpH?Ph<*KDhuZo+>WsZ>aJY$-8y}q1i=Mf@;e1sE1&Z zm!>??s7RxtIC5RX-H9T|94l7Dp(!%|gmP~xSVu@q&2fy*o#RfJQ}8-)6E8CA_xm{a zc^HrPZLdFd&|+wt$%xIvbEo*xL9Q~q1_naCl^r;@do9xt)9VftRjkcCy0m{tv`hm3 zD4-a&yfL~0iPFK#=>Z(7C<`NRrWK)j;feBZ1X=AX%Yc%B3oYN4ne$hZW`X^z<|wMx zB33H`M+!dae)5C^B)jG1bBQO8C7^-*?)3&7inRlG!bRi6O7!mgJ(AQ9WS3;=d+Lv$ zkx+$PUrk2AuH#?qI{EMgI23y*ZqF>JI|0(V1Vn6UMCRTxxUJXhGKFw9K0PIQ*zDj&0TyJt%uqZMsYmcOKQ0 z^tf+ddTA;L`#H|pfut30bJz_iJ(xn(K$+j#llU9364c3C4Xixfs%ZnR3pl5sx>rQU zGshZ=Bk#;)A8`G6ZvKBs0CE7fu!7egNK`pDj~4~x9T~A+Za|r8TAX_gOeCGXx7ZGP z(eeG`hbr$Jcfwi6W#>%-zMpj5+ZOR?)E|bcC&QFk2=go}H49lG0!NS5Y6MS)NCl_} zDTG*=!#Y6?(twiWM+Q|_I#6WRDtHER&?UwkTEw@f0*rcF|mB+<-Di ziZu{}0{WKUyVQRx(BmP3F}MTAF5&_lyNC|#gfUKbjyqvaBFhlM+cJq&_U$C%S@w8= z0JOaRIOeW0G;JfnuZyTHZvNYP11&!dbssWL)>Xq3_$hoy8Tj*PqjrjBgwZ6(Qh{8Wu!fGlL8@B6Mm* zsW?JtMC6H}&l(X+ZP88@L4F(4l7{cBa4(f*QXzl19%_C^JK_`ZA_k3+<%Td_8o?8M zF3c1nRN0c|rLTT}dUyU*{nzk0d)Kz0-GF&QDuz)Op!*2PV^&JAL)nz;#=0ka~+ex8TlUwCLJ< zrvZN?q?xHz1Nm)8wlaSZ38*A*5d&|#_SzPzFn05TKucx3=PA(7)D2F)>XdW-FN5haJx@|P-L&Q9!sbOjQQ z!iJ)Oyc(gaZ$LU#rXK}Fc?$7vEFnk z148B)u2K{tv)}_v8VSdcZ1CzNhpT7HR;4rog)5`wkQFaVOFCK)B zAV&!C{S+dFP)QM?5QUrsOe8y^)Y9HJDuh@`nN%4&p*!=fYAF?|#0&_dmGzdCr}=bLPyM zFygSM|3Z^aTd$WIZB6@|_R3<>YrTEs=TIIkCwk?0KePcZ7}-{)g%0AY*!K@NT3M{N zSIf_=rp!{-`tsv`ZBRvPqd%bfkJM3Al|8w6^`8h9PO#S^8jydoH1AW$=m`HQ^)xvF zoqhuzQdkPM?J8OTTg=RR{6A$G*N$fn$nmKpX}er3&TV~b+oKt2%8YLT=pj!` z53GM8R@VwvFZ|&|(|xkE2|Fa$A#qPdl_N24W*FLEcfU1L=8HJJUO08H8_IV4uP*t7 zyY0Ti0UMX(L}k*nQZsqsb1lAWCefAelQEP~@>05-;r-VO3Q@H`*6#(N#3YN~?OCPZkj|$!P$8Ojvl{Vf0^!vh-cn z!HE(rIS;chWfpWeLV`xWuoJ*zJ=tv)4KE?Osc_1%(07!_I&3Sl=mPUMYhsNc9BRyv zj~Y^RcXceg4Bta$pIOI|Z~jS`D2to0mju%<)l!{}&c|Mv@w_ zMQ!Ah^|vsH?-IbLS`h8!uR5V$g(nR360K_d_6&moZO{J}2TfvEQ2T5kf#IN#{~X}DfuC1U;xItFr#m=|09a?59G>!dbLz~ zv9Qt~p%c|xoQIk4n=E0NrpT>ujmHhjx33=J21=cQ7o=t|&MeLj%J-m8l}ozvcZB4q zr1RUvM5)#NkLpC~(6Yi>?^Ikjoy}tPV4yuh~m{ZGv425HWS8fvcN$P!WmH*`9Vxh>1do{k$aRmfJubVH_ zXxQVTWj$`QJ6j^lEqB{Mek!CVP18wnOoq3z<)2L;)dJxpBKvLr`~d@%OpH9LCvJ=38%0HR9jpM#`~KTzkwd#I^s+1V{;+iPXr%(9`;NsC z0Kub7r|*2rj%Nq{ns7D}j?W~57G zGJ40FgwMWvDJAXk6V3B$V~#tt9FzLq=Vu{X)cV^i-c2&v*$wIYH5B6 z(N_9Gz>L^iIvUk;;#=kIMGz+33&w|-ZB z1Msnc8p(zqRIL8X2te>x_oV3}K>L2}utVOQH>rs=rBsmO(^*SE+aHY;(fWpJeQx4^ zl`=_NF+H7q4{J>iJ>RvO0_&6j7BQW>IE3lsQ4((Y@V(lylLa?_# z9fuPc(|Q#n9v;Wk`GGS(-&<=pk2#mn9Fb>a-fnDKFjx_bMG25?yARGDU78X~wm90#N%H_j*&G-r=rFp7nS52JvJ7r| zeb8{a+sT~6Al5fs=^Y-vQH6I;OWaf0UbVa!+=_k`!;{|u5mCKGNZwq`9^6a1cxd^yy&@(MrPN(c*tF0DQHNom?miQR<{!| z&?74_U=eJ@zIxEYCT2G?DFo=xJUQ95z+_$1oO^qzjK#7XAI-_`KUNsOwrb$iG{Nrn zf`;8H`k&to)|dCS^F6-CGcB8zT*X|)wQz=E$ z*DOR5TD}Yx!Ap?R47c8DFU^^YqQ`eLHMC-Y>HBT3=OEIz51u7{6=DMc{Ck<1*NFyO z9sGtGZHfGO)vK{RMQudh7Ih?VpNRoBBdn|3tO^&MB=32$rYErA*FwiIC%*=Lwt zF&QAmGHOer1<&kp71E!^hMmxl{%&>sWyV`Mf315`knUE-#iwjs(^K9lx2Dw{%6vKn z{GoU2!5l&^x@~z<*Q>V*Zt37o2j8cP+u2O`f2OOxILpEXLQF(sDD=yY5>to@T3&PC zt+adMD8|&Ef9a_Um<^f{{5w>|fw4Uo^z{qj_R5%XkAV0)eL4#-rbU^e!s}^VXDkIv zZ#;Y>c^W9f$~9-X4C2feMOmqx5YK6Ohr zFi;2CKeI5{U&}6~#*Z)b-g}b}#sf<*2n;;|dVOZh)z>xI)=sq7i*HwSu3D&f`Lc> zHG|)ao2qLD>Q|x3N`;hFJpG1aPf3C_WWK%F26?xak?Egma`ibGT=vd5FrYMWbwpe_ z4cUg&Dn-k~`OiQ)YSDKFV|4#;QvOP~%8FvOmrncIp;$Jqec7j$5R=I1SN;17Xg=Y7 zG}wpIdzwY6*S9FEu0F6Ckd6!W^X;&`hd2`_LQD=JE@xoG`xVoOXVTe{k=`-9E+Ux(q)h+DuS^qm+dg=DYphrn9y7Ol6dX|&cyHx z##!!NN1BZq6x0b|p%AU%rL)=J$y$i1ONN84s=`Ws@NQz1?7*GYJ_|#g6H}d^?r# z=Jcs6*9H!QZ|S}>gZw*Hpn=qTNI4_or6XHlwp1*gnpRB6)MbuOmWUYx=uR_xvNoq~ zI5}p^$8#6iQxho9IB|3|C?Q`Kk@4V9FZlIeGdmEyb7v#toqsBAQgeruzSs<&QEnce z+(N0N;VKef7cUlHmw=6Uk&3%m-4r=`{X1%XaE9)5{CanPigB&Yc_Dmz5she6RU4*C<6<3EL zbJiT)Pa$b(KuTTT>{&`74x*yf_4bP|w62gb99L#QRQU6UD(|Y4q7hu`D6`bP#fT^9 zICmPIUalAiF40qB?m=Q~zI9ALzW&_W&l>7E9ixU!Ttp9cYHNG$x9?nUzXDb^O%5Eg z4jf$ePuVVXCgSScD}+_7QVQF`7L6JQRenTX(>0yH7tsCg1M0yh{t`E@z*z%|pue`n zCT%+e+*w-3&Amy(Q+6q3VRCV{qrT@XyF;W13%Sf&2&2i6x!Ms=`mn@1alsolJ%Zme zE&jI@x33H1O0~@S)&@Jw_~YH~DxE6)REK(LOp=8uu`nJ_?I{;Mk}Bd77&U$-uiJyd z;&kkT-Ef{}rdg(eIV6<)#GFg>H?MyDuiF5$fU;_gO5VFGQ&CBu|_TrtWa<{mDkID7;G13qiJr;nzeYncl;b_P zG2e4dBiyv1iIk)r^kx6*1*=NU2#mUb)A{_CdJqNpqxDpC;IUs{KrN5Kqi%)YV}r+| z;ec`7tEdN{&cwIgr0@Sii>YR|osoAv*PWRK@=1r;zJVjHsCMe)DL^>{p^$x-OvQGZ%LSn=@h9aSqu^PPEv z84;*)9SRi5%(DCA!up?}t#hLxt-e}UMsiLHfrs(c8dvEC93>kS$&{%orn%%Scj2{O zsODr=)4%!2HrMOI(3$*_=aaU4P3(k+9px8QbjM{1-mSsEY5|UCRxV#wCLsI#tQ2Cl zGlwrIT>6#I0}TqMY>WeD)&R$TI+$4Lrs6<8o{ec>C zly7%jB@i+>dn(FlNPM1I-*+c9PToq`3x!aJp{h=C-|dm>>Fa&|l+_4UmNT0O%q7!SbHe zClX^m(O~o0Et-dEO^zkfudkOp+TT}z4WY5p4qL9L=$^w#TWS)D-E>R?%0@`YGsY@kF@$!zi{&n zCUO++0o@B?A5H9ZLZ#i~$@jcI$cwgkULak(HPZ@@u41-Rx=n{Qd#m-V)(Cz*E%%w8 zh3?l?u@D(<0hrOc#_fkuJQ1^8xeWp*;rFQqCnyCCIJE9SgPYB+mtF(t;Pj|kfbR*Y5Nu&|LKj7GzO_mt{?-0&p>Y}Ud`yc_ixUuaf!ppbD^GZoJ=CPh z(}xjujd3P9{O;<39E=>8tl}L55I(wgyFTJ;9~k|%#E(1kMXraA9Q^W8g(=KA|9MKc zfNDM|bD7)ncUa4ExO&)j_ru5xt;tO8V->)5-z;t2UqnMem8cu*h9>_Ck=KIS&pBJH zxIQpX%(Kr}RQ5qz6mSr2{Ca8_m@VdP_$pj?7hRGGFakfHWM%wo1g8YB42XfvRV&QT z>5|viuiaj_&zV>up8Dvt*58vDKTx4Hzi*!{_%akofW%G~hP|4%9nONt8eu#1qSthb zj2c?3H(gygN0i~*5y>j2b_w4Mi5&V6r2TGpTx}JOV{tklYmrg!n#z7it z@=Pd~Y=Qw2k1wp;=B9qb#NN?#B+Kn1(x_H&x{L@L*L40xh`~A&dYDdbI%9DlMpO4B z%Gj=GnthssrZoy9ulDd9kdPljB?s>rh1HCs=+qlOjgaV7kA9G&AZij#fB9!l#a$IU zp~)=Y?V@m+4z?#<_J;DOF+l(UHVTywpJd1yX zyF2e4$PU6ibk%xijQapKT(qr4OTefPS%q+WM~ph;w5+-tzDbaMteRj`S6If;>}Vk8 zPyye9T4%qIJ1eIXvN-JC7{0EAbDJ)NS&+m)50xJ8%8`tJl%GMr)8{WZlna0Jv8=pl zlK?1H(9itwhWSgatR#Lct6!U$Q0_`k6spgB`YMzbbsYKnA8TeZ^)p>ni_emGRzRzxM0H5=!^T15ka?t@roOpuc9Y-0mu%Uo7%L`~09 zU|+lLX!}Qg2h*Ya-io)+t%4}iFw)F|qQN4{Qb9EEpJmdCFgA?@NV6~VaJ~4h3bJUv z!wok2ZmE?lX(S}%JrI9mgXe_javqq=EiaII5MWTCTK^^KT9A*1J0)&gL2 zGQ2z5&IgX0Jwpf|0Uth|>2L1}!R!U^Lz=wGYl=iW4r0{2{~aog_xY~?Lc zoQ*BUju57F-DipKrk4yr)iiZcuB-}-KENURd+%Ext$@Q2y?j`SIgSJMdu$wUhnUGh z|5stwHW6lusnu+~KLwirbc6;zM^w~wYMl3CsD^Re_C4Qgf()7W=&GKxnUve(+8Kxb ztixn9-DFChSet+EynK|CHt2-kn?Jp-W2dLCk~V4cKTUkKyJhoG0~zdRiC9yOICHk& zc(Xh{+flU0{W`5akQao$Pdzvy6p9^Aw{YFW`!bh|b-G%Bwi5Ui&~k~id9UfNk5bG! zE_0HI<%?j|`sfG8R1m}HK_r@NOG|AzE35tUJzo(LmC^Y?n+x{{uU)o_O1xViOyglv zL8~UY@ok{*AnimX$*=*mG1>h2O4hS6d9MFQ{bRVHd~nln0VHMvEn-g@}%op%=|1j^8kvvEhLDd7-I&wm&G=m=J%8`31X~NxKD( zxoFpx=%107}bfa)J-jhkCDnV;VS4OGO0iF^6&fEf*{zI?77R5wNJ(|&s zu?n(^U^O*}e)WgHP3RMHAc&_L7pla2{Cg!oe((JHA!qm+Aom@EiTYUIc;{nnyWob^ zu%GX)D@UdKBD&0c76{!uQ?S|o48hgc#Q?OJi4?2tz7az-;BniWEWc`>(97je?f%NN zYoAko_+^5H{#~Y>jQlyl;8A%B7AsxRcFwTUSgDkzxzePZwhC!=^MB4_pTi~sFB7DR|5M&y1Yw;eToB zH6QHx7jkF^ZOW5)xt_xGT`B^6)ks_^H7o;BOH=yp`u>+!+rav$EZjuU@DjHF3vmP}C6R*z)QhE4L44WH>yTfl(yDt;eu<{)E1k zD3tlImXsGiEyMV9tO<)o2y8e5*Ws2%y_%bW>BPKGT&^Jy?zZ^uc=4MuFH=ThE)t}m zGZYK`QbE&G)3Tu5?B)1+uTZ5a&J|n}6fWp{!L>(<1?v;e0!_)7DYCV^J5lwlL)pra zfR!_qAgBsIf#WY5UlKq}&*T)9u3jVl`EP3s>yrT_o%=T<%(F_~w-^%RYPwfaI5 z5~s=lD2W`e_28&I9ZQz^1U_^BCx4*=LqWwVFAnnVv-3Jyu9#@G@?b0y99yq+{#!EKLYZ2s)hGfJVeAKbuAPEQ5^dFO6YAYQ-0A){&{9Ud(Y#eXw|O z@Y4ikf)*9nzW=ok`JI$ihO$K~?LR6qFO75$$|)IePS9D2xf4V`hcQ#0l8ye00RirL z<1{TaW!^DVZ!=&H!lzkMnm2f%W6Frpk+BUChY?(IAd-lHLsB&6!#)&1O4Dc<-w&Pd zbPtiLK}@}uDZr!o`Aq~tqDSQ6aZ<#%taIm6%|a9&c2hcPg#`LhKG}xD zt3tsdfQ;jRgKlS!+!T?rFw4K+-`W@p=#_HDfAEziNoPCyYw;%W_QnOgz~({ca=4sa zkB>zKxCWeW4GP-dIw2ncIC8v$QswRE;(MA#ue)_8DIBpl3~h`WU=(uZy`l`zwX~lt z$-WX!i<;1aZj9Dh7D-o}Z_^B-tRQ1*o;isU?}O>t*;jwAG?&Hb1+ErjZJx){$u#d^ zqF)E8uPk&189AQ5&RvIEzI??kT_^4!60(ZX>e2El=%NrP3HS*xo=?erZM9^jCA3P3 zTYl%hqcN%2&38ElVtx3Sc%ab%>^*z1R4d6no+9`5GI;Ek#{vuQ>uF}tt{^^cLvm7T z(mOa7XsaON{Jr|$d>Qh7E3ZJCY;(vqhvoZE1)z$XF;!2N@7*Jx^!T9*23o4W1O`gq z{qtw}HYcnLJk?e#Rtf^CxtD-4=kmW#G&ff@*`G|)v0_+RNbhjf z+UFPDW|wOlRWRzqg;2JDzH)Deurb3Gr${HTN4f61CYfy^pHd~ndBLB}vw!k}MA9d0 z{IWZFa=s9*1<1->`fOfXk^{~51Ynl%q2?2Of?Q$TUN-_@SGctZN~V_3Gu0857|Dm7 zN;ANi2k$$Vx|KU~JwVH(vm1wK$M}XPcg8)=O&AL^^-UMwJiFiB(U&-bg$&@y=6fpG zFv5o4x?Hhjrqp8zeuFh^+R{Oh$?)>tLGcmGG6g8MQc*vt&d)M3GEQQWSJ<7RfOm}I zcog%DIzNz4d3}n8_h{Y`=dn529O1Sf%nEQ#4hhl}J_VYEd($#)nU1Pk->ru;s}O;X z4Z3a-NsKho4YCU+P1^V_uglon__=d~7N@#YaFb^>xFHs%Xuw#$!;l{x8NT?MdaPQH z>JeHPMuFc_GDh}qVK9xsL?13|=Irxxk+eqHPMP=SA4+O&Rgyix_@J~K6z~3l5D?EY zWz2OaosO)VPV$J1<~$%^!i&BK>G2gXZ5~M7o?y{cX}6O6ti+iS#;6D83TKWb44ftZ z!lVU+hnY)Qw^~)K4}^Iq2ud~WMn_I`aQe*5B~L`ktL z`?64Cjhh)cNRpF*NSlI?O>%TApXP;u z+@}UT{P#y82Qtff11ICB@J*kWLB0+?#w2*>!y|+0_R=r%90*E=<|}Eo@bma5=N@|M zmeM|R$@pQRX-roszhEUYdcx)ctE3J-<0fn!K_d8S(b(zl*2580Y@FdU9bnLwMDp@L zT))(ok2X1Lz7tWx3*{p9_sN!Q`-dC?K7>No%#88-GS2{GI(L~?>WoMXwKd%yPwZ=( zmo1sr?^YtqVi&kLM5skBc%OEf&QW19?yD`TozcU2siWL5iHB~be|+k~IamA0C#Bo@ zH2(&bdDem7KX@vke}?Cj>!9qAjMMl<@0}rg_%2aW87pDgIUNR>%9KunbaF6rdngoD z(peQIYuS}`JLSnu0mU{gD3GYAnrlzxzaAFN;O4DT`@rehZ!XTClLLr*_6_eIp5)AyR+RX|i+e`O$z^JgG zc=t|jo|D~1?Tg%_h(3VnFr41P?Dh5Q+2$hq%{}1EL?%n@W)39!WhqD(`W93m5vzMEz`v9EW3(}pral734cOyL^^TYC?1TizCz)fbT&EINVskg*nH`P)Ra_g_PS+7!>loL<99LGM5#j&DcL8euOjH6 zZ%X~>Bp58WVrc{XO8w(xp0%=FSTglDK&(mA0epYT*?ExFR7s#_mWl%DZ)QXafG3H+ zuJY|1kddGty#v6szi3Fo{8?rGnp*AqQ%|{Z#&@8?(KhnmsqeTVC_7nXX*4Q{Wt8oU zD`ZuYtn~b(W+s29{mT+`}#|C!?1#K$0cKEEbau;So4 zuM-GEbC2(`^Mu!UQh7c_l>Ui(fT3`JAa9|T&W>~u0H5sE|Eo zaD=qN`qFb9pW*di56G`DylkEzVV>D$;ds+(tLSw~S4@i{%&eAOQlR9aI~XS6W;z|5grW}3a8F-v(Fo7I4Gh;8bR?4lqVArE+`Lgjf@WN*p?qsb$x`pj)Uif{1T(OH zz&S&rlJZb(yJmd(QaZU4*Zzsdkel&dd}asI9&9nA2wPgTgDoM7Nk<<^21$H*{W*?L;gxIUJitr^Mq2(K+1e0zSd^Q=8uN^-KMy1z)f+)i+z0!?7QCtF|!9Egy2( z=5#e=9rl7KUY&&`rCGmVi4qmd4m*&%*Ln%qCDcS^*;d-n!sMX7J<*H-U<7a6xBp`X zWsNnJa-WmHk+`XoHY0PKSevQN4ytgg%(U-Ahu3qG(()mQc26R*)G?{j`hVp>_9pmR zw0;cm!BQqwA@t(Q`Pll3r9@$SoDIQj3(TRyh9Oz5@bjwl#XI6C?^c|nTEB{)Y*ov} zj!c1H)TpLTLVQp{=LqHi&~be@pw?-9soAH`t>SAut^_+@yWd*iFAJ$QPRd>oeqTl_ zK!c)eUlkB;$STrGZ%pc-lRevi zcjgjvI`!BK?;FEDxTm`@F&ttqL$gTFnN<(){c+?^-%RXCFB~JqF`(sjqVS&1D;j;F-hAVZWquGBq<%=~au$_?b zQ|TmcBBVtp<7EMrAW;%v7RaF9!OgC%`I<|j< z;nwC&)MucL1U7gQ`B~lcsO3ji1-d@oyr9IWNsUWl?rA2@Hje#LkAN*$=_FmMuQE$@+qnDBMcSzs>!-mppxjr+Bwx}L}bS6Y@q6j>w2 zR74&U1t%TAja}L^9G$3(Ue;*g>{uN`Lw*#6>JA}%bo7v=C?$$WmSr?7XI=FqDkk)g z>C12VPf@yZC};W;e@DzepxEJmCP;=9ICUaVc59ePA+*wo7l~JeLItt4O5F6ZN?^yg zZC?9zKjeb(XU@jNC}V}kKLi@4WD^S%;}#jb!WmM)G8PJ*4Ps^x{dO2ahh!SFOQed= z&=tRVM;{_Xy%Z;Wn5G+ceS2c1h9>iOQo#~s5fn~lrX{nVKhI(`&Xmo{?88_}T61O$ zFd|04l~jnxN{*2d1D+Ki57KY8P3Po!Dg+YBigyx#)`ESSMd6|*&2BiCmJb|EnRU~? zIpqfcMmOAsOLU^fZf2y1OENBRmQ)ElL!7+UPalCML?)6i9yg}RfzCHB>j7T^47n{^ zHY(09CLY0_pcgk`BhY>1*4o|;^aboHbQvg2i5t0fS@Ci+KXQ8iGBINZop&%7bHIX;{KKlN`tqi&*)*3Dm|!2Lgt-&lhH diff --git a/TracingPaper.tex b/TracingPaper.tex index 71f0906..3066d36 100644 --- a/TracingPaper.tex +++ b/TracingPaper.tex @@ -225,9 +225,34 @@ When examinging the data produced from this research, one has to look for a limi \section{Intuition Confirm/Change} \label{Intuition Confirm/Change} +In order ot interpret the data being analyzed and dissected, the first step was to understand how to pair the byte throughput and IO event frequency into an understanding of the system. This was achieved by including examination of the data relative to the surrounding behavior. Pairing the information in this manner shows not only the bytes \& IO behavior but preliminary understanding of how much throughput is being generated by each IO event; giving an outline of client behvaior on the system.\\ -\subsection{Characterizations of Different Packet Types} -\label{Characterizations of Different Packet Types} +Expectation would dicatate that there will be spikes of activity the week leading up the beginning of the semester, the first few days after the semester starts, and during any moments of maintenance that make use of the network; valleys/low points of activity right before (2 days leading up to) the beginning of the semester, holidays (9/1 - labor day), and general progression of less traffic as the semester progresses. Spikes would be expected to be moments either when new files are being added onto the system (mainly writes), or when a large number of users are attempting to access files (mainly reads). Ditches would most likely show periods of low to no activity, although both the IO \& Bytes graphs should be examined to confirm inactivity rather than something else. + +\subsection{Characterizations of Different Behaviors} +\label{Characterizations of Different Behaviors} +Different bahvioral situations (seen using pairing of bytes and IO graphs/behavior) are imaged as follows: +\textit{Assumptions:} +\begin{itemize} +\item Bytes - Amount of data being passed +\item IOs - Number of interactions occurring on network +\end{itemize} +\textit{Combinations:} +\begin{itemize} +\item Large number of IO \& Small number of Bytes: + \begin{itemize} + \item Small number of bytes being pushed over the network \textbf{but} there are a large number of IO events being processed. If bottlenecks are seen they will most likely be due to management (software?) attempting to deal with the large volume of client interactions. Race conditions and concerns about "age of request" could be an issue, but ideally OpLocks and SMB's internal management would tackle these issues. + \end{itemize} +\item Small number of IO \& Large number of Bytes: + \begin{itemize} + \item Few clients interacting \textbf{but} large number of bytes being pushed across the network. If bottlenecks are seen they will most likely be due to physical limitations of the system; wires, switches, etc. + \end{itemize} +\item Similar number of IO \& number of Bytes: + \begin{itemize} + \item Both high - High user traffic and throughput. System is taxed in both aspects; bottlenecks could come from management of clients or from physical limitations of network hardware (e.g. wires). + \item Both low - Low user traffic and throughput. System is at relaxed state; no bottlenecks should be seen. + \end{itemize} +\end{itemize} \section{Conclusion} \label{Conclusion}