From bf32a8acf779127b49b1aa1e041e779d5d96d3bc Mon Sep 17 00:00:00 2001 From: Paul Wortman Date: Mon, 11 May 2015 20:01:58 -0400 Subject: [PATCH] Update of Tracing Paper - Addition of buffer sizes seen image - Slight additions to Tracing Paper body Signed-off-by: Paul Wortman --- Images/totalBufSeen.png | Bin 0 -> 28428 bytes TracingPaper.tex | 8 +++++++- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 Images/totalBufSeen.png diff --git a/Images/totalBufSeen.png b/Images/totalBufSeen.png new file mode 100644 index 0000000000000000000000000000000000000000..82622dffb7c83d9b075cd59d39ce892cf4d0eecb GIT binary patch literal 28428 zcmbUK1z1*F*98pQtyriif&nOfC~2^j5R?W95$RA$8tge4;@ef5>o%I1p}QD~C?7Ke+5=`UKeXOY

VTjf3 z2bc6bUagkB!&3B6JS2Cg@=5n~w{09}e)*2s@UZ)EwerQ+tS96nP0BWIUMUExx^5ELJ`}HNm4_9-JVcQRKsuVC2iG{lI0nVCY0oTJNjk z_2l)vc?q;11U)!fohNjQ{UYwH-xYcK@jfP%H{mKtCegV5RF};G>3~-+PCSe>Z!1or zq{O=p(`bH*vtZbN(z$fERo!#u*mRlRjFEr_#|dNH?CCQ;++`G^lUHg+rUomd#igXa zbSE{&golTlKifgx&6kVMEWnLi)ys9;+gY0wt8Uv7QrOLUKJoJpFO3+@4|nvlovHRV zPGs-8eA+$Ls@GBK^%A^u6}tk3#M|MKd8%ucT8DAzwM#h#2 z7h2I6M%mEz$fy{Zsqvwbb1Hb>qNb0Xn))RH!tTL_F)0i!)AnQix9dbMHwblCC!CTN z>bqrFO40;1kk%Gi#&u$gAF~Dy@@Cxwt6s9M~-s)E{Shkn$J>OfMVVBfeaWx5LH_>B`Y6Z)NUprhj8MViK*K zaPq{1t!1UpkKHWh*UsPS&u4l=mzf;kHvYh|q`O;FUSW5~TYWFTu^G^zWRg4WKG+uM z)afq4cJ8e~SaZLDMVBF5FPPvCgD(-j2>pJ&gSd@Um* zGgzhJ)bafxy8;%xGC^1RtzOx_c0V42&!zENIfDZwqG_fnWa0W(l>{cdu^%(z!OEMT zbr0Tm;z79B69$#|i?^@#HaOIbnBeLi9UbD*(pA{v8`E~#L3Cn{SsD+wvw!K$nu*ze z%0;ihlhudcT*vc>nEN54ukV6jo8KPCW{!*V)>}Nu_h1fte|v3|PLYr8ct@CJOYY;K zW@irDp-M%{En8l;x9fSZsi_qC@>ZqW3>*!x!ozibiT2I+Vvjv~drbuXOa0+_{wU2v zUk+`Qa)QnS7Z-)c`%YN=@K7}P{_(!|M3PB;lSd}conHRM@zp$frH8S-1!k&Pyra`USJK-5a(2q( zH|-qLux`3tK{HaV8>me)QhPZ|yE+RSQg2qk%5?6up4r57yf3c2D6Y_Yeh zUTRmpVZblfP%`ON#i*&g(L3k4u0&+w)pYO7v~-5;Q2D#-OXY(OFP{4KfkNQwPo-9l zANd{?*t~@Fk(aI_<>BXEzFwy(;l(DOcD4KSD`hU2fgzJx>YGI4+E5(Z<-145yJDks zO9E1dzMSW|l)F*vK-NC965)}9JUsHm_q4`~1WG^J#rp-vkJiHFAzSJ}L8s3y_1Krx z-pq*`Ca3*6OGIbnTxo>mVCPe~obqsQZIU#c*SQFpkU=b7{;z_2O9)>2RkY(aWCO;n6?w$ zN%Fy`HyPKwVU)Pj7GNhu+zpNWufK!XW<2_o>QgPx40TqXv9+~rP1MS9@s5;_+8J1) zt5f*w@ekp<6tsu1{;j{7KD2Q%!GvBj9>|In9&34$-8SGI=rql*H?fpL=z_gS;Mmki zBUh3Kvtlu~emPxx^2<}MKHon*^z}7KWi&qzw-O;6=5qi3eGaFYsSzrtX+;eO?fxGH zx;REDM!F*M1Fc18%3ho(dVcIKXVPvF`>#(~&wqJyxp7*fu`&GIe%TOlkD$hfk2peM zTA}bgM{1cAWBj7cTUX$25jL)7YvJS@cUDH}u2{eG67Hxv%gL#9`qr&wvT+xVBsfeA z7aBWF_T7bdcJ8Q4F>g)$`0;r2z*ylaT8FKJ(<^DL-?bEYl}wH{yL#6;j{Vp!n|wvH zBF(DTNJAn)r>Ia~QO%>fSvV`1NTN*eD8H zQNYeCU}@#w=#>RI5VzR%CAviHDpv3`!bK@u#LYw!stl`QFjpZD@R%r*)vCvYB){34VCnMv1Iug zzrHqCT2b}eYba$JGaV8MU(r+sG9SPAK$qsh3GY@6IPL~BIBpwTQisxUOh{R)+>8K zoYUZN?PX?RVYN-0HmPLVr`U^Vc)D^X8dgcgW=*GxjJNL>9{#H34#2>`$jZt(;FPwn zR?Fkz$wxc2;Y$p#FMVV7p{C8*t#EO?B7r3=8ks@`eQ-`(?$&)cG27YI)2(lh8N$I; zPy1iVaoOGael0ti76~lNo=o%Hr#aq>BRwj{Q76wXrQ|EmvA(Uvg1v=xSEq)md;uqXm#^LS ztmdtu@8sBk?^^cs(!rnA74R6edk0!m1SQ0 zjM<&PDi?nCh?tmI|HM@4V7UZWlIURRG26aR+i$uM>|i-LY6_pjJn)#EUc&S9fk68g zFkl^;B=a^YF&TUNbd$91Lx_>maK7a;Q;jnbI7|d7aAwhF;WZ(lp`Fj~(v-t1k$~Ya zT&-)1|K7rVxvgbAU5<4e{Br(s1U$tN(TUH2jqzHi$OGB7dg~50yNViodw1R7%Pa59 z>G7^YK~3Y@#7bu>uFr1`71vYqoh{ExJ0lw=C69x5v$!@!O;F9eh=)9eB_M4EpsVd* z*{QcC^#W)71$b(mT6GOegO0cd12p;%KSPYl-SHBKL#Ns+-gstuD)r~<0*gE5v;M8^kimK?&f|#dRj;)R zil>((2rKv>15Dt8XJ~zVie`0+C_VkB)0}Y2ZG2S4w-Etsb}wcNQWPwU@^7zHZ+l(q zH<_7;+bQhb=P=rISEu^5b}Ql~xj?AhNY9a+Ogv2J;pyWl>H3Yap3M*meipDok+8;56bL75)OR`ZOgPZzHbXn@e}a?poLwu?2wNqpbm4 zx-K|*h#MTr!*7kM%W*s_fKr3HX`LqH$#42w^1N#s;E1+RQRxFzn`~oK)!W9dZZtmB zrAzF$!G55KYo>`xYkaud5ay~3utVi4=s20oPhxaeVB_QQu!?$Rn5PGhdzSL+OJc2w zXRSQ1_SEU)^;A3ta-Qarfg<(9G|Ya8!!#lyB0}XNWI}-?bt)s}Tj8*E#s@n>;cCcp zAfD@Fj$mIXY#O{Y9IMG2@hcY5k`90R60Z$2$W*wI?iBe8Dh4_X&!UR2UzOxz)zzd$ zr`}ZceY=i`WB1<;Xlm$wA}tazIB3DDntT>c{w#paQ2R^Q&JZv4@?DqHpA+}({?x}O za`Dm??blb*l(v_>tbB1|Enu&BMVNFIPnGJ+0AV|wfCSvRyOd+>l-ygxDh2H0P0tuM z`N*fl=W20fQp}W8c5zAu2q`~){5W-_!7kyaV10?}!-r2w+6pGe0Az7*Uf;ieClUG6 zr%xRK8C5_DuLOINk0Blwy|y10t+#3OcMpag`S&GDuxH5OQr@wC)5Z00be2EAp5x%) z7)NLyg6rzSeYywVTuIRhRPP?VnO;1%ZQ!=5l#tf>>_Az7mNysvULschwn{w;7OGwhU zz9+E6>xbV!TZtD3!$6zvr42)qp-84=#`=HA;+P$qc3vkND*4!=-=)x7)$|kPgZuaM z?5ApNq;)&WL$FnAY_;puCV-Skc3-F^Xwe=7Pu>m-%B#DIl#}=!IRCwh6H#&z?(nq{ zpd21iah?28;6?Hk&JkUES7td4_Zz82@kUM;*q!~xsg&}bJwKKqb*pZ$#xQoCPqWw6 z@2N{c_eT|hh_%ioZCq+;S9t)&{<@qoF%7pGdOpdd zdU~KZ=BJP@5{4Ra?&Te^)2IK+ni@V| zYU(sKw&3*Omyo^O`RlCO~`z%AI7v3^?@)da?8PgVR*8l!jq^yJf4UDqUjZqd;TN`z9owsD8& z#;cQ#Syh|9EwO#OW%imUlCE*BlUOB)469FIiR$71eWELOG*@dLU}Gzu|M}#i|GD_l zuiiX{o^!9NuudY|+J8|BBL_#>+)FUuq5rDgTIj8Q>e||Wf$jGCCB^?I?RqP23oUK$ z+(-Vf`TYjz?Mc6%1bg}K>aeM$TK^X(SghsyFps%iB?vNQ{tfK?=}aSBGxvtcnp1J< z%)csbjFR%l{2L=n^dGu-?@u~9x`p12SWX|i|K0LgY>x+dXtG$>K6^*A<*KkH*RSF5 zdbqp4`1*B+n%RBOYwBUx$isJJoirYjW4ys_f1UF0t?eI-v-ozcYIeWBGD%ZNXyw@Y zFEaTWr+IVk#%OY|IDjNe?FjWHdU0Z7rmZE1I$3RLXH8{;U zsF~%_y9dLub|LSr?265bfiW-%2-Gw`7L%Yb&P)t(5Sev=`PAt5xd*6f# z@y8c0rn@X{xrgP91QPgyD`5Fn8qXjzp!c7Y+CsL}&k$QWH8G+H;HHvj6am03E#b*h zc5l=E!N!?sMMYK9+sK%jEsy(YA?;Y;q`ft+Rltpd)cx{-Li81us|%G01r!E`K5f@H z=;T;Z74(k(3y}9*>wAB3GmzH(){?+p%XPQzV_$9O_>$%^fBJ8MqnpE#1pYpy|Mgw) zdkt)k8}JnGPU8Exf|k4|87_;qmy(cC1*fBQDQo35$uT)$2hZO<}zsohzP3%NbFNH+XqZfh_}u#?TWy&C+gv)ccgb?=N;yZ$Jx(<06Ch9P8J`<$GJC={Xmnkm-XCrE-F#S^tnqy&gj|#pWkrk zA21<_vKKJB{PE)-^)--a4GZkUO zDJe_78)IVWVIj^vQX|W;lq9m^XU@o@Ht=I$jD!Zg&*A6huEwoTaa;3YCzP8uJ@2Vc zv)jGAO-V(?XYQ?vXuZG8nu0J9X;l5%07eR0@X4R!y~*3cXVwJRaR_BaPUC}hU_lB!!EZzS$R$al$=8XYH6Vup)Rand&qMWDag7B zzVFwvesVxs0l8NtEZ-zF8!X~&JV;M}!m8fV3pC1=Y%S4=SJ8A? z!#zV10%HbWV*If71GVN6RHM)ngXjhSkw zckMc4w5mn~#T9xwx@E=)9Zwp270t}dN{7LjgH+bd`;ubbHZUw8RpjRt+bpMgm$UIn zRqXzyRi-lVj+9k5S_f?{CI9rS1zBliN-0|Ca@mlc)uvhsZ2W#G02x0j$>GCT(^ z_xsa--Seu41(c@-av~q#KW12iHC`U`I+(2FGFjC)Uxz+k!mc#4+ z0ygisot_QW&Fd){WsZ}Ctm>S{a!wX_vso!y zi9E@bwZs>L%w6aXh1BZ)KvE+a|GbN)-;7sIR< zS|@J~tvd_d#kq6yY<_`tk~(_y#zOA~i{C%TuV(8OR*RNfB1MFF!5>*wDE@0b8N;>a zcji}{$mqk%ev*<|T=1%2UCvSi*l@bn9}wiUW7y^PhKw{RKfdQl4Ym^HdGrT+(+8xe zw6;=FMSx^MY4T)>|12OWX3U}eAOYg+;Wk#znGvoMp_ji)wF;>Gmghd+Z_cxaESmM- zeQ~5FFCQUu!u<^hbewuC+wb=e$faF176vsB5x^M}-H$dp;GyQ896lOPIF%s8CvkUA zc8!=D%hyJNTy_sesiq4=SxNmZzTR~^{+fHpsd7HZfaK?~?35#guFL6tcTnXLpgef? zaCx5K8SVV1c|&e|SrxUnZ`ndGhN?q;U6OU*MKz=dDPBDq zasB@ObHO+@g#^e4!e9-7CWv&L8iy|yYs~~Kj6z``W#>k+6zSirmE41Yq;IRzOh$wS z2y`7LKi;^3+DVu31D~IN_R1hcr5UJU|VqeKEH`jOi~BA^0*$p@t!=F%}yG zE>z5&Kz-m;eX!sJNCr4fkEv4FGT2+?v7vY~Z*4OZh;#yRpdA!z73d6YDQ`J~EkSAh zICvUZp(fFokf}^eOyZ!gD^T(U(1P;%JhiVzDBxipwG?OX>`_q-`y6~%x}>ztnGRRl)8`DOYt zswNe)A`~}6YNvIvswrlqE_1YJ0!2ajw+8a3+I+e7-OJ0%3Gv1MXo&=Z%RHoNt<(uV z?xgdM=ZE*WrM$aIN7z!3;x9}xh7?YHu{Vwe=)sGm*qQCJJBr`Dm84qoAi)Cc`^AKj**tjg zz|0~OjQ?(7TRCtnmDd(8r4vJ?QU21UU>e6!O;+XC$4Mcz;#uy8*<9mKx0_dXO#kJJ z7lR;FnfdvZQHT5dfRcF-RZan#r*sjd3J{C}#&YA!^{H>^^g%|2IrNr?7}Jk=_;h+% z^jF4d9z#T9Zcj#0Le4Quv|s}KcXZy911pW!E?WX7R#~J%@KUZD3x!!N4mRR1sd~O~ zs7p2#KYe;tjc1>IWJ^m+P&W$n4_sYK+@m2KP+eK|x8;@H|9r9eE&yXhN{T;Zr-?EQ z$xw+I&7Rmks^*`MV+iGbed$U$>=Vm`<7D3{4;Ez^V&}tS#4M`R?aq*LH}0M*X$Hhp zBq&4}h>dW6?*1dagardR=6i_IM^yAACDUnCKh0<qs20y z{)Q$8O77N;pfDT`K<83ig%Y1wIW#pl5=%hlyMGQkvNUYdujJm=WGbNQQM~BuM>!r3r8U+gEGyM7PtnI{G)qNY)vWB2z zHuFS1bA|CtM_3^D#gD539+4pYZjDPX3#lTSw-%nma+BJUJSwtKD3qccET3wj55Yp= zBR_JnD^mQK338eCHbk*SZVgpYL$I4C2&dAMIWeo`0&Q=#|3LBn=K;dk(_Q~V@HsaN zB1B!kA9A3{6IuLRZl)Q##dmSJP@12KzHN)~fB7Uc3th7IWML97HxgylB@^CkI8l96 zTvE3EkGHlRDB`Wmu(KkE2_8@u7PV_u&Gk;!Mf47@?Vz4z=VvieN`=Whefo6kAknSu z;y0yPi2uXxgOP}UgJ)8T3)*F~h@OFA0slmf=J3zz=9AkFyK|ejO3rf$6cR*yh%F(i zo8-r{Le2L#nwQfsNInY^ogO__8KtO*cmzKd!ID!LAS|f(o_N`7iilHWWf7Lb;Ft7J zr>RLX*DZBKMaHm+Y{)xiJXexsmjaQxp$f2mtmd`$L-IiPU0p}!B96YeWyz1i9@ftC z#{VWtE_Xt3?mEG5R}$r;C+m3w;A(fNn0iRNT2VgezGiBO^}-=={EoN$?piz;Xg;Opi8G0Hn~jWFlgBKwPQo zySgoS4Y+c?_P4-~)oX ziFA@wL7}J=ta{%xxph8Q>fBuUYsI=9K{)qO@aIGbM;C#dq$bNLi`X_Ym4j8srgv!- zkGT?yyTA{$gOf=_mMD!I6#MblBm_mHn|bxrsmWnIs zk|He5VA|v5ZgfN4wN>*lR?!#&M|I{qXPLO!~U@PPIlWb(yem#X%!$W*7_7|k2 zrH#G#=|Kd{WwK}mw3$%-$oaJwRX7;)f*eTt*UTA}N$tmUj8dc zAUC9^Bw+geR)F>Q)oM^1dY33IF{?$43|-uu!Ih9O;OpFm(xL#TW}_ zilDycoO%1Nr^Ez}4XGMIf|%y9@`AFg#2;5lfA@hLeTdFdA0vc7HG2ov39V%mDeSVU zyg7^GDxYXn&GJy74qC_m@i?Q!<-#L%F9}kBbWag-N7T{|)Z2DNd&f%o3#2^W()Jh- zeEymjmjkEOQ_ zlU(@@7f){cipZ5oj`VG;DwmW?_uk|TZRK2$Hj6c%Gwm;OQK2;z7aNfRJD+%~RfWo+U?-4LOr6}2(S-6n;HmTA_pU!<*tn=;U z=xjNPXj5<$oQ5gA872-7`SqK>&>-F965hvgJzaWy!%ChQhAbSly zyfW3&kX0jd(m99gJXwM(4-tC_8=<_u7vi&WAgpMpbk*Veu2R21@zxe)=*n~(bEInG z1XP)q2#3K$4N*vb@bICzy%bqtzFmlxtZJ#;1O^$~T->`88RQC+(YRRS>B z9jGgOfqsv&|5UNdD^ig_`ry zJ(w5e8)Go<_)!gTU+FNkbl8Bsdgnn-0ol1f0kd;}fq_XxL_{JHCLEYlwQ1F|SII82 zrn~ch^2BPKS`pJcQ*z;h<>{+~kIz?epd`#3^TAWZY(Ri>TFtMv>hZH@2eTU4k=I~H zBXR0G8?&4|2Nu~pD!J7cxrP97XzoI>&P<$~oaT1Fxh|Er;$`n|b19SHaf!Kapymsb78yGZoe?BPWJ|uOUV;54 zn>JfO)_)I2{~iMZUDNo30w5bEl|+W`fHDa5Eo5Mc}saV9iST_>gdPFb&t|AW!zn=URV zO%HIjdLQp?!eLcu9Y*O%A4THSu9!5l|IPX7#7Hjqy}6kP;z?=;Fiy0ca;V|g70+Up zfZVbr6z+1s^Yti!?c}=>)RQ&ixPrdL$4O)__0|7TmHm#nVE?7L9VbWKCbC^=V*w@n zEf0n{^S6m^W)rAivM;yxzoiGnbCTjAeBQ3J8vUjDXa~plSI4v!ZO8d1&hg#VDfa7_ zzbg7b3Skb@=b)V(f>s*WC+FdpPqStRv2frLhZ=`dF4X*8vl!$X58^IlQ-hGt-KyiY z>QP0I?tXQQc!z6MI0p4;R#lLqa$EnpK(LHEp+N{T-f}=nZltH)T$rwy9aXw{iMiu! zmho1nXya+*UN$g&(%3{WPpolmFNp5a`wKYf;mxfYg$URvfy$ z^E{wYlLl^YUA1iMu3b@{tg=v}JF{gf)nrVxh|E&F|K>NdDgcyE;g7WSKqUJhmG)I8 z3$VustBFI1I1mgG)MU`qwK(@^%?_gA0*5s-luTGPRE~9buW3tK0CTvk!(dL|aSqiB)-PJxbw`N8@^=R&wxWU~0t|WVK4~CQKg7dq|vz7eLn)Un#FfAFu zh?Vm0a!?^d^HyAWw))djy>4!U&j;tCV?3+J!E;9uHLnV;-6OUj5GzCpM87J=Um;dK z8j@DMhIAW)y5#r=+u0p!n$ghVAGLRe@i$K6t#f-(BJz-I1XTjHl`n2-E?b*OBQB`< zei>0uL$d2dhpb!-5~IDYLu2+SUbBWNgu@mAlnzGIl}-$xjC@1*3B{YUZpw?AeRt-i zyv>LK1!UD3d3Y-4o+fxXsJYNhaE^q#*oT7(}Q*ck+Y_C83G@ z73wxyG#eEQe1=;E#C(q96fl(HHWGKyG~s` zbjX&M8*8Lpjb1@P^9sz+kAt~*;6VVmF7!spBW9XeZ1}o&@A@4f zcA1tyE}AtLaN2 zpor`j+UP2X$3V1I%bJ-^o1UJyELIM7+H&+)lUuJ^BB?HJp#JrLRu_x=tLqQ%*+Ytr ztE-OPSyzUl#f?Pc{};7I-FYGqFq1&M_(QNC0p{o})#ayftKys9p>9%}Y8l0r(&ElV zV-CKk3+jr($wvEiXmi|?-p3*Ibf8RxCqqu;a zq0e4PV0U22fxwbB%XK-SQbPhq8n$oW-Zl^UxHe58&Z6&4Ls`o=Ap4Zdbn1mnGS)dvL8u+8N-t!pduWGrufMfA>B7qhUer zm4PBiXU*Fv$kce?n!ROBx;{srR|J|ciCOV+Y$2TnfvPYHSfc^5+)fZqrI}!rI>8Vj zz>_=wMw#=We72`J%i|zKrjU_4eR)oP^Ue^QB5V*T!(T0#a8(fy|IR{*mX?Lw4M`*k zdPdgHGSOh$#Y&n{dCi)H4uQ&?y9Cstx}>O)+LPKvd{m)pGf`IWgu05z+oIJo1gegG zpXAiaUN`TZP%=S_zKumGh%|qrlPjD~ANc}l9E6G}HYz5SiM)67LgW{Ef+3 z0e3=y9yM^P^1AK$D4-~q=RmEMNWGMhGic5WN7t1>_3IGQN=quBaO#zCrS-Y@2Tr4! zHJ9G&LwnQ{UT%<jdh(V5mE9Z&xoRT_K0}1VJ2;=1=9hYXS6Ct@3T}zI_wCLFk1+ z{n%9D`Sh9W?JHulL{3O}ehinS(r?UsGLb$_vt_N2Uj|}pf{N?ye}NrZxICBBT)1f@ z{PZdqcpzoYzL}suAREK^Ss0?`LLPWg)2F^Aq>UUDRc=|_APQ_zXqz%94Z0qaIo?@V zh3q>7cvB#W>$?!wLSSu(BVCsC1fT*(!V+7?pbS!SPQ5I4t=miY+yy~8cdzrl7+8l9 z{~wbzZJUAaE%Z$Xo=+*hSNRL~@qSlS)88uydG0jhNZMKg){D>H9~0na zdOe|R0kIx+>>V#Rw;(u0!krKV4bl3|;e?$u#a|HW=do}?vwn^cXlQTlI!SYl(wybQ ze>Bg;g_E%fDDLzAYidF)Xz0<0(!k^r*^O&)P1Z`pFOV4sL@-M17QK*3EbQNm7Se0u zw4yRJ1kBZmrZUoTF9!iekRoL5)OVF&jWD?|m>@F>&#*cfi1`Q6R0tt%HsAEQ+@-Lm zdF!;@dIxwDs*$!!Jn2La1%+AaK(U}aic3?#Z?`8cdm2R|tpu`nU>d|APU1b90+3V><(H+nS%Eai^nu#09l6^7t!SYj&Mqu0TwsVMT#~xSr1y)H zCZ!zB6&t9-$%Fu4cv&=j&*nQI|7WSy1*&FGm>ZRe>qM116smDj;p7*Q27DwV1fUM> zA}KxEt`QMdz@#1ax@yF~03@3p{lMPQ5(RYzf|o+6DYDLpNk=Eo5ilKs1p_OvXW$2A zxD=d6XVy`1(iMD5L?Vc%G5#9YM5{{^cI(!yAXexUfU+<(V?#~AvuEL>qoXX<0#-dg z$1I(9wG~-@{PaoLba&Wyfv44m>RB%9RCC0jH&Rf&d+8Kyisf!(e@Wj3j5_v1!rI*U zDaB#;{|Ve$It{GJU zN*|O`9=+1BHBLOSVt1c@! zm-6(%>BBKi#dg#8Ry%tyI>!0a+pAYM`V~j7V?tX}+hT8x24TCI?#ts9fz!dHzaBTC z-K@HvfW|kbJVIZC#AELyUF}w>M5>-YoOJQi8nvs{+6FK!kM7?BoKx?%TU%o`L%!Pj zUQi+9kPGvmTuACoi?^Gi0gRE2O$v^7wiGBQ7Yxd*13kxQ6%;&COkdh?;C&S|C+It7 zPbxS}xnEK6ag={C+Msnf=q(ZbC} z8-L{!`@V5@wq|$BlPTlfEO`6+Jzc>QbaF}8RzWRi>YOt81ZFidLS<2M2Y!V|@NjcG z+oT9w2@m&H^TP@REs?K0AIvD#jxTF^q}qKv=ITC0yT_~>pAD!e=a-bkUa5s!I6{7UdT}0}7T7uRUW>e{UQ~{E4${u_(V~gqoTlb; zGV+3C_)eoAXm6;|vK>Jw@oL(#Ws6g4?vrO7-gkb_Uu~Ax?~(=roQM3}T(Z@O9w9(6 z@_d15+%Gvv(|+S*E3b*yb*7VKd9djjx!YDbYZazQUmUP5o-q>6F|`0QBu;6`cKh~i zqEt;XS*{Yl@5KH4!~ zUf1^Q`Om?;gP$K@W-jR7ym8s=&g0%58eM-^%CfhmrL{FxZOM&m|2afEeCTgcvl)^j z^1lzEx4=hX@#cP1_5+=~9ZAfG<(b&n=IxmaM^lx-)@|FEFukKbl~V81gRS&*r|pKH z8ktY%Q6J#$#6w(>?U;Cb35e);ec1)-Lq=E1#%;`vV+u_Sego93vLHXpv*-?@glRmRQA)BEyxr2ax<6 z$7b$FWpgl0nslouDTSlRZ`rL9G&%WyKO`H=^|(*@v&HJsO`D6#5dwKIB|y!t`z=`N zb2nG4Cr-=r0l^;040Jvrq)Z03yMjm}Kpc0G0WGeg)8W7^28diHUL=$Kwt4I3A{i5t z7{Z`}Pl$qMo@lY&kffY}flRnD@w)r4uxn`U&OdY0^E7~5+k}OI;Ur;fP*zt9Uu8l( zLoNNDRsZz_tMBXN1wsNI5f^tB#UFt-)fgdNFVvKiBo1$MBM$bT1>N$xs2q3$@b!&C#V$pSPKK5(1A9@`7}~+Z`ds$hfVrL#mvI;w5m(~+_}dkqu`~vK}H3} z1Ks3x4G|JA>+1lwwvNuY^VaR#3-BW-4@H`7Y;2%oKATcQib3P1lD@6QrhfdQey+`u z)OYg(cyMv6Nf4LVEt=h0uYsl}B~7JCFsi8@d;NIrz8ZTxWCiI~R#!Z$LhV zIXkbbw;w1X!>3AyaYV+a_!Tab)n6uYnww16dfLpVl5QQ3=>R_yicG2fg>1@0^2rNS zBagmNCIg#lXFba`SGTdk&1dr)<*heP|Mw6)S3a8C)bstfd;KS-5@QQPz?o|q_&K@s zWYDZZFA^o*5A<;N)zzz({OM^nn!$U2U+CvxN}A{XoNWv)hml!gymeO+^N|QBP?G05 zG-e-qEw)KrX+O76DUak+yKo!VxRlFgE&Q z_{W#=*2@KXFw0tu{U~q9ps!sb?6c)S@V!+XRau^q-@hz%G1s)jCw>hcoKiV*)2K%?|Jn<4u&ktx0OZZC49zg7DhF1^5*)fTb2oOl=_y0QeTYiu+rp;Y91OmVB-!IO!=;j?;90R{FvarY@ zk4v>+gd%}4b<#|~x53?5m!{}*1ih=bH)U^Ei&%sTPlVQ~4hSwa&Ub|5e(04)sva&7 z(p$A=&6=m~?%%KSzgr&BdUf&Na< zu35Ww?q!{|Bu5=o!r%tcj@DToayUvMe`F;dADNBM5H?nBfv&hr$j4f>%vYq?MlDXUxD=BE?0Dj6V zDmE}nCRB&T0WDc!!AK+-HG8E3`57{%rkw8R2^5ISwHdtY!)dS`p&-fS00#7)~Wu?XLZb(sE&GvcL`~3-q$k`6GH%p+4eef{DT|CqM zi6A4F`E`af0>ZuE^nclDTnDXh&{|04E)^?9xoum1*H9#&fo{+L7x#bOBx2GihXYJs zV0i+%;)2A7-7-}wIdQtUvDV9{@zfj^|2MUn!{NAs+u*l0rCoL#xK_<4BvX&_&P zt5*|g?0&|Z)vjH;)&nz0c3oyE6`g+kLgj7n)PzK0v?Z&O4{POD3S7Zmmo!tyPNiS_tps0q^ z%tRx-7}|+SQ4r^GnzqMeuhH~j)8`}cAt`HiPkYX6`onFn_Vz6oFL&E}>9t2g&g~eMy%vMeAIwbTfg!&zmT~<&H=&jw_n?)4qQlyFS)cdpZOQ+gs7a{HFf=|rCIH9@b0?HLTXrQwzBA_!#BXv)qc$Z<2Ps|E?Qu=(qQfTaItZXNRx(!XxpD<#yIW zF1^bqWbFxaN&#dvbKQxvWzlA4i6-^~2Nqgl;*k%_ta4`SOC2uK{1T`6 zVWEW$R9@qR$wPB77LHcOQPZ8IybFL+#o}>@t*!q9Mfv2I{Dj}{j}`{96R`djL{vjy zxtRq7R6tQy!1Xe}EisSYI@H5j?`RhiuoWPHnneAE&qc(iva>FhVw zt6ugbjqH#Kd7c*rpXW&jo^Nl^lTPuMnrEhCXQo0z#DK*c zB;ZNiEBa_`j@Klds!3!G+6)tWr8r)2X^&ruE%_fq?jIjs_T zUh%<0^ECH_+9Y-h^{k~UgJUz@O_Kla7JsjC@W;*vnG;ef@ke*^#ZBtJe?FUg45vP; zMkmE58=5`O@Puq1;qsiOV;{BgWDR~!*RLoRi5>jD9%@0MHm^tSbgb&Cjx0Pw>Ebsv z0-1O`oI<*f#k4iYI$5UOIQ*Mz16$%gq94|nw74l}NQVpt>Fq2-WS3H2y*IZkzHXnby47Wts7NCx7jr(RxRD1ks`q+egsmWLT}sdXiT z?PbS^U<2qsxV^pop#n2ZptuBg{Z_kR8wLS==$5&*wsl8yPqZ9HAHMRvoT-eyjWTHb z&K(MP{CHOAhs@fHDb;2+A76IAi&=t-imDS`f<&r-CY&hL^79J{DlpYG2qIYjlfvllaVi^8_l-)5$_w_5*kcqlYwq?SXqCT8h^-0_uDnE;)!W|dT1j++h@!(kVEgu ziBqSdP|ozhJi}UTWqs&2h~ftWfmJ?z{1^`EnJ7utOx5{42fzerOuBdencW9HLUpfW z7$ofwtQ|xJfygW&=f|kb`(^{AHHh@pkVy#O63_uL)O442yuJ-%X^7Sump{nJC9uu`ZWM2^&$CF=FwEmYzdKBV$hj0%9<y1CD~5Zp%8Xysbk+N8_8VE02Iy(2fOyQ}(+7Y@e|F9iPLB@cRXX5*7{GDKMJW_b_E=>x`<_aCZV0f}3c8#ZFJiT81j{UI z67Yx$4H~Xwaux$We>EA!IXij_asqA?s5l`5v(#2s`1WG8uTBTb{9G>0&(MuG>Kqmp z=8K5o3lE+u=k1SifXXI6F%W?0))`n?qm6!|1A`an_Yi762X_&%NCYMrlX-#FN?>H} zKX|}NA@u7S)?3O?59>V!rCfgYbiY^D4s0l@Df!tbsA^&@wM~+nRs;q@yqiIGN_v{s zVeqjjb&e2brf6$H1IA0^nj?e(r6QtE;Qzg0_RoavhW!S3;>%c*>Mo*&u8ne#9@Hcq z36G3EYIs2&3rnb`m=YuUcVjZpYo8z zA)RO5-uhtNi@;CkXG4o{8G3(7RDzftpI_U!`A`vQVbCJdtr$l51+q>M0OW?`v#~;0 z%Z2WTzp{6jL(RHn_ikhO5LFX(l%)!xR6IXCMW(4z=Wqnt_unr`hu9P=VDGrg0|QB6 zGs-4`sA6;Cf{^Jo?2zqWQD#aFVO5KnIfk>EAlWO(41~>@QirK-83h}p@jB`W`gb{T zidrElOQM1gkxn?C*hG&L!ROLEaHqv9ms^O;Gv#y90$8)pPI&!V65B0lYRXZ4=P}O5 zn6al(Q5@uwp`h)54BJ54`lM;cus>Ef`GCQkVGQ%TjmTN2W4qLQbuM;e45s{SrwMM=1F%JD)<;{o?0OBW-PMF?ZCW zUtoO=p;#fUAe2z4n0X{`ga>#_8mFKIA}xxDAcR6BJ$JZ)b~qukwBw87RKC7q0i8TP zwf^I59N*6ecTUvCdWb(eG3cV&y2DW2=WlORe)i{>V# zHHnniH<%00P%5f6B}h9tIfBRy#&f7~;#)Mlp~%`HIx`?DA11ZCyFN`3&9AJ28CtMG z81lyIJKp75Kg(X;EwMg%@(x`GI*HirigLNrh0yDY81R&or5ZBqx_Gn39zo;0S9s!Q z0+}jb&G>9{^&PHVT+XhpUd?=MLz9OOuJzT4z^Nt59molOaAjiltQZ+6U4O8^mY<(r zTZ4=`EJ-B00n7~V%Q|9?Usn*t2o_O7z=39vy=|JPdGHSbNISy)|8v5%PMABTl)%LF z5ruW@!@6OBWI`@x`Ul7yJ$kgd3Nthfd_(FSA@3cCx%HQ;rj`*{ZGRUmWcQ}xGfP|m>NV=7Ibwa|~4L383eFu!I19U=Z* zKjPklB$0G<%tUb2u2#f1dAYe{@ShHp6=WI$@wx|4rC_z9WYKaS!}$2i&3rD(8MbdZ z?nr((hmM;FwX{TjWGyA5Xt9T{ZUyhhlkH}l9NunVo&D9j3ED?V*yC7L*0lT~1>25a z2&VFrM;GsrA7~I0siv1WKVaf>!@SwTq&FP@qQJ%O#Lx{P>R4Yr>P^le8w)91mS`dZ9Rt;bNbd|eYf z+WmX?{sNZaz~k_cS=}j}kx`O>t%dM{_N^GqoAJ*TU4{DZVYzfLKS6%7^LC(yxL-`>KB|12YT?r_skcpKQXxQJf zeS6Ls{Y{77N6u!7HW?Yij3(IOLCvnHkn0%wfCFU^jWB*QADq+Iy%Z=R&spqrQ*a-6>)U0}fMH&orL zG0L{CR|H+N2ITSJT+g8BO@-oVN}B&J+5Xx$@Lc9lS^MVZp00p)?uoCj-Qrjm2NLUn z919*jF&^cEQ@4SB?+gysnd8TAVWh-kAUnwvUj9ov9U(^5MmLotR3?&85=){3Pf|xm zCuLW%yKy@PoINhddagS?0>D?$TK%jE@yw76yvKN7N#KVLWCLT+Q7WB$cNUU!OcaQH@PRLiGMenvD?FPqq2lHf=0an~NPNH@FEVw5!AcBnGCUfYQG&Evz-E-tT zXQB9vCGEOIrUjEBLL+W$q%avGQk@V+)K^!y!-y~x^yvSuv$Kz>vJAsGO13$0xEyO! zpjLcmFasSdI&6NVFX`b!z=?!~BP5U^3?YS1!+mT% zsFcv*>wsiOc7Ow%e)m~__E-M_?|U}R``*uU-`D+I*LB;@{n3Sv!J+8p?CAyUZn2h? zWp{sQL1&!{k4WX8SVvdFZ>hNKLLt^=$|AQCxE+dUlT{FRle zyhakc@6PP6Ihp9Gj=Vd0Q|OFfvp6gPLe6%1IiT!y6}Ji9V}Mb#@*d||zCp{JT0Afg zjFKmH^r-hL7WJvt!49Z~c|$Ug#O?TI$U`;d+AjU9dD34I@y(yla|8Fbzbl-v<^ zVi5~S2M5iR5rp8FyIT;GM1$f{WfqeG5!4AyZGJRd13Su@THOw9<)V*e7F;pa8oCe(<%CqB4U4^zerwc|?bRmaM+byJ$=ep)2X8NGW>CYI zE7W)GGn5gO(K<7d4lrj7JSzMC9muZR8G7OTL%`| zEq~wkhFBIAbTh)VlHoDOPhs+rXtGiKuIwI8AVAe;LoUFnH-i0=2KmAq7=8P<$<#Lg zU|++N0|^%OmMtRijgE-0$>O2nAZifn@+mwkMqn;(PfQ#LHVcdtISg^rOXf;gcPHcN zdJpRD9nG`F;S;n5GhH?V8Kvi!%0XwNI~tA7$xD{Q!gN11;FaT@kKWzN$?~mC<9LvGGS=j9Z(Jcwy|xkLKXvvYDpyS^6t` zj=&2Sa2^S4T{)yjv>UO0!Z4yPJRBT3jyOxTAPnNcLd<@oO zxXtNuZSi>_QWLk^ktlQ{8djpX2BfQ$DIF?Rf{6X0cua{=!B`W!&8I@o5?L*3`6_BO zZ*B^m`|GgEG9DoNie9fzG8L{FzCFoB8Ftlqv7x_)7&X$t5wGYMQ1#zJ>+YnQKBt=t zFwe{46Ad<1k~F?Bx2Q;aBphMTo0R!BpAS-ep-XTS1*#Oul$n)G0vc;xFgACCN*q4l zhqqx8ky96YD=Yw8