From 2842318bc75c59ebd6b1f7a0a13049688d6a25ad Mon Sep 17 00:00:00 2001 From: Vijay Chidambaram Date: Wed, 27 Jan 2021 15:09:46 -0600 Subject: [PATCH] Initial commit. --- Makefile | 5 ++ jsys.bib | 21 +++++ jsys.pdf | Bin 0 -> 61064 bytes jsys.sty | 174 ++++++++++++++++++++++++++++++++++++ jsys.tex | 267 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 467 insertions(+) create mode 100644 Makefile create mode 100644 jsys.bib create mode 100644 jsys.pdf create mode 100644 jsys.sty create mode 100644 jsys.tex diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7327baf --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ +all: jsys.tex + pdflatex jsys.tex + +clean: + rm -rf *.aux *.log *.out *~* diff --git a/jsys.bib b/jsys.bib new file mode 100644 index 0000000..76b1e88 --- /dev/null +++ b/jsys.bib @@ -0,0 +1,21 @@ +%% LaTeX2e file `jsys.bib' +%% generated by the `filecontents' environment +%% from source `jsys' on 2021/01/27. +%% +%------------------------------------------------------------------------------- +@Book{arpachiDusseau18:osbook, + author = {Arpaci-Dusseau, Remzi H. and Arpaci-Dusseau Andrea C.}, + title = {Operating Systems: Three Easy Pieces}, + publisher = {Arpaci-Dusseau Books, LLC}, + year = 2015, + edition = {1.00}, + note = {\url{http://pages.cs.wisc.edu/~remzi/OSTEP/}} +} +@InProceedings{waldspurger02, + author = {Waldspurger, Carl A.}, + title = {Memory resource management in {VMware ESX} server}, + booktitle = {USENIX Symposium on Operating System Design and + Implementation (OSDI)}, + year = 2002, + pages = {181--194}, + note = {\url{https://www.usenix.org/legacy/event/osdi02/tech/waldspurger/waldspurger.pdf}}} diff --git a/jsys.pdf b/jsys.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a6dce22f10d45c362b83339fc45869ebccd751f3 GIT binary patch literal 61064 zcma&NLy#`evaS1|G4Xf2!`6BXxrEJL ziNx3ggydn4x>B*AVuvo*_Z=9zIxmUtwejDaR%R>*w}=tL2Tgz!(l!K#+dALwME(TG;v#+$1+nc=Y`7ETHcHc}#o!0ipb|usw>=><`Kz_ z`?5tIyzE_H@duon=3Jx2zcWM$6#2LmgM?zArB_?tTlDhO#0A|d=i?M;>QJ5q0tN`O z(*6Gsqv0W?_3`nL%)!-70=z!4UlM7$?VyikGDANLX^G5DHQxR$KU`(+?mX<~8x3;x z;{kWZ7W8dl!1C0(YZI^NXJ#njvFX*zAhwVZ#fj*>ga{c5*kt8mg_XMK3I%38%$$bBd%^d^ZMhFiHb3%rTZX3~AIL*3TNML>-Ap@~dn69%~an|kK^^l-0 z6qq3^1Qt=y0DVe`KenU|K|Dxv*{daC@NwIGIfvpSXK5e61|>2BsH-fz#YYl`CotI=nl(XB?DrSVkZmts zq-de3FT9%iz$?w*G(F#~J*2^To}4~seNlS>Oi6}521JSQt{>Sz@ob>~k;-J;D_d$T z^HTMuIqoyVdz}s=NNa^KO~w57YvQ>lx-j;_l4h5pFENwwI@Fl+b-qiRi7NkO^`f5A zZP-e6nKfk!;&tNt3zi{}e(-YNJ^rbrb&u)N2mGr6v}<*VUj>X%3V03p_PwCnfI7ZFksD&S4mxT+0`%lbwkL6ASN*(tuv(j?=VoxNhVWw=3 znKNog5fM6=i76^Ec!+_+MAeGgp`h_cK%Eix_~!d1GjrVC@*7;#&+`)=u=693mD4ay z)a=*J4sFz%zIShE1GK7)LiV5~>YtrM{C2j81gDu}?6lcu;e8FV?M}g~p)fAix>;W_ zMQFPY943Zoow;*F)oLItv{yp_nDUx*BDrtnnMxkr@bSf`J#Pnop$cEmar|!J7i1}S z+bHra5=WpbUc_pQLr?b6tNpdVBX3My;^Hba1n_`TXdPM<&e50+ZjEhJE#^q|*S zm!f$)1v&wLANH}6bm7S8Od9>q(`D$U*ZO5=ht^VogMRqV1S>Me3yaipasDmiQkNKd z;2vDpp?v4Hrc}5)rNsiUdY1z)qS%3bz`D2Ae6W!2+3U!F1oU1iDzipFc#Q_ zfW}QbXS+24KCpr_10Mx#_OCslUFgW|oNQ?T7S}*%4%^#-!ja=vo4E|aI9@6&hQ-0y z8@2=J#7C|cfUN2^o<9kpzm znMDY9Pl)sg%pa!{Aa)xi-t;Stdq@jsB%R|(-TVDGBYaYxM+samDKy`}-G3;vPycSb z_GFM9k8E!qQ=UW^Zjyki(fV3tMpDzGZ#lr2wYcybK16mYqw~#WZjdL5k=C~%x znG+xo4K|wfT}DcG;bIkkPPQF9cTli0K>#6JBt$Rk{b-0nVIZ&F6sZ&9-`XNHQN%zB zA@q^&g=ry0bOjuP{E2B``{FG!U&TG;j9g$x!pivzy+dG0w@+q z;JUtEk0b1QzH#tmBagTIM+8M^mB$a^o}u4LXYIlI{h;u;EwgXKiq6LS{5!BAsTGN& z)#TCP)Xe#ouVqwrJ`6*I+D{55nUCc5yY!H|py|~hAifIFY6)MAfPRdCpk7C!dIAuf zABWAc{kz=|fBM>0bi;P(G4=O{8ln5;`$2P75LH>43!GJiS$+``Q~C8gAesWr;ounM zAarTMumP&KdpxtO2dim=?{idCiClq$epG#=739)@O&Hs*12Ir)*_$RrZbT4d{aQ}F4B{d?nc zb$|8Gv`!yj1s1t3!r2!_gc<&%X~>-W+*)d$dxa zuX#iJk@298eej9VHZP4|QQn8ykkx(a1x3o^rv4dFARHe%b;i$OE@$xRcdij1TqBPT znbXl^LLDm_(N#Ya)I5i@uj(>534k5F5i~se2^(7(0nx8^5Wq+;i$TuVc?^a?kuQ-T z$BzfP9N4sC29wPQo8wJ_a29+M1n0NAlkJm8hQchubmS6ePNlT5-Che;-d6=>P`!;i z@j&s=*IkjXz|%yPR#0-UOZc_|!?7LQP$e7`Bf>L!zPrh`5WG{n!6I18 z`?h8(yMn2?qOHLbD$(AZfoy$+Q?8R!k9%}QRnMVdnI*{1UVb7G0D#{0mCVB!p`y-n9e(qZUslE%l)Xl2z<9|OveT4em`1QjrP+eX!n(QaxNhIN zFs|n76g_lt@W^?uqcSzsjShsfuGFZ<57(pyl_FxiFNQJrGxppPD|Z$b7;)z@yT zY=`u%3{COAc0f~kE)Z=EJljpq$Rnu$>n`{BjkpM;i!Do{<^ClRH69{THcrAcAGxPo ze^yeyq(PqMZ?gfzI&%C<1Kfc4fJ9qkWWK1vzjuWM3={t_E6RFRrD;N8g?N)PWSuWTSU zWKu+G5t*}{r;m`-ZREPWww`{HI|pdr8a!#76wK2<>xP*!VeDA7kQthK1I?6w+hWJC zJR9ZRlcAFV92E?5qbLl}%>u#Wd1RymgQ$1rTguKOp=ko%MrpxYmD|1Ka`|X`n-qQn zpdfWW_t{ukhFM(LBk+}>T}ng@H`FIPA(921Qyi{HloebTKpoJE)UNVfCv)%wP16K} zYzfb4)ti2v@~lHAHI634w!)VxDd`NLyVa#l^OP{)E!mFO!To>c&WB4kfq zN>4!nCTx>xyx0tP3A8N2L&oy2od{V)BZ^=aM9ua(nm_vncXZJXx+!sL`k{Q)Q&w?k z$tAv#@ybiMA0#pEnY5efq^ErxC}k~cEb;r4mV z{Im9`TL-UogISFZl!AM?tvw*6k8U1GKTH9@%-u}5IQUP0p*eJD&Sb~d^T-*79h&=) zh-?@8kCll2jLxZN|H=(R9zNF|VTSu%R01nb`vJ+zEq_6q*c$(Tc>JH}|3Pae*8j=a zj2z6Y|69fmQPXPLYKQZEt()IkWFCW+i0FKx0WYW`y`NRM!?qTM#dfc zeg=b@Z+pw;b*D)T1b72@{fRb6iQcac&z=u=oD@jV>Ks$ZuWSmNisKW{Dx_C!{&9WU zn9nq8Q_`-V4VAV%T8{y(*%tp|1R>;&4zVob(v8we$qv2W;!U3h=5Yc0d=uVL`6>p@_#^1DuPYI@2*gRpqM^_#+4Y0 zJuWd-t+U@jl}nfm%vbrCVPEl2QK6w(m2KYPT}TaVE1#MyGC7*2gPK!_@whiu72ItXg+JN9Ed_O_NMuTyLxq;1|M5rpy}K z-S;x5*lW|eGlS3IXr_S3gFjzdgqLwM_nXdbKHkUC1Q~x#2TfHBzlM2V!0}|}(8jIt z@)#WJfS(YoqGy^Zq~iBuU-`t?nyxENob-Us2Yv2a-w4r1t%g^CnC~f@eF=T}UlFvj<3Rl}-UEn9J*1nWPr=MqIa_R@2C&ooW%o-|g#fABp z#xIeew95mcri~=osFaQ`UNC5w==yM7+jVjj`SYl{ec@ShC+}vLEwNojSl#08L**RZy|?ELtvr z^TjlC?4Ybx%V-4jAeKTx9zkcuiTDCn_rM#l)t!G_&@HX5_&4wa8W@#v1 zU;&Nt8Tx#sY>s&9+Lv2e03Qy%Rt=N zguwYI3&B(-K*68@WG#7SOS#bz5SX|ASjK?xvtH38d9SEuuBYese83c(T9Po&Gm78Lz&-d?V+ViYuARrx`~kW zR~xt@W=X9P3U?LnGmNt_v0shUo&uKBp1w+c;Pdo~;iK@cYw6B=gN?5~>T>aN+i=3E zds`<_ER9*8&(D2Z9B)SBA(Pq>5~7}%9ayD5`)KV59FEArK^8eUbB_H9P5mVbFTMeX zw*VvRtCrNC!`UbA2*XNNdTNi^SSVYJ+*W>RcgM%yzp(i(k14JO(sx0ajgv@H8c?0< z1L5c5ko4|@)Ce7PlBy7pJ~^I{giCKeswJ55EF|9bXOA2*X;Mo?k}n4ZlD-H9NO)-Z z2wN-ITN-YjIQi6z$_$K9mWgNK{l;B+q6FA`E|p9i);Y|CWdmn9&%DFf>3aoUC(21I zEMQ{v5FGk;@NVxbL4WwiP73E8f-#526LQHFMUuMqHUWVFYg*jv+4ZUg6YDnixMne9 zi=RW_x8XX;8dPyIQ^iEZj zF*pJelv<#+pbe{E{MD#mpu;J5l>aHc%xwQddKn2Anb|r2yX$~T*Az`#U1Gycx-1UoxBM4Z$8{R~0V^8`7Iq%j1zz>DG(lsb#h z$dY0H{*WIry}f7IuV25Kdu^sQJf9tRSG8vywLDF1Tu}jxeTBq>K-HoCMQNWnEwt5|^z)e8lSJO&VixyK+t zkO)A?NJ;2GNq|TI3o7{oC+sc`qpECf@ep$(Nm_aL(zo1JWk2 z^^Y$u=GeQl_b{+z%l?658&zQi}lwf0C~RH?(-Ev?Kgo)XBUk3;fz8;PHydj!1813 z%On1Y6%KPB#2vr`IJ@{al*04x;llpHR6k<)Bix%g0R({seJ5-(WGKMvDcJ8+ zD3Ck5-EWVI{Hx|iC6B-W*>l$$=m)=s7JDE1`P&o7 ze-In5XT;&z36nWk5XU``N#)02j`GuIBdd?fk4iyFMn(k+-~;ye;hzocgHC_z4D#dh z%UWOt{pcdz210!Lv(HZf8vQf)Dz@nr07QWxXP^J;_xGn`5Ca*QLr{RiA7mX0dhFND zwHXuk-71FH51|~PA3D4=4-xQo^;pMc#WIA0WS@T5chDE7EKi;Ke&(9uCdewpEcc%A3*{t&C8zzYCKel0P2`CS_T1`4#5 zZzunkhW3k}A&`rQXP)t03h2DvyV}bH5Ax|J_!{8^75}?^V&Xn#l0($P{#(YFz0y*f zPBQglu7EoB#q4K>yKVh^Atvb>%gRD52Zv5YRCWq{?g39f=7ZNe0jDuBPr+|c{$fXg z`-lPW!{u`XYU(IF&nXkm7qdaYBgtk=(%LlGdMM4B*A~x0EYmK38D8{#+GUUu&-!&R zw6z`ZQ$|ECvf0yO$eM86jOwdN^G-||)SNugp-C$a3s1V>bQ1YQqPmIPCLW7M!}XAI z$1DO;mk1%kot6EREOdLxhiCI*%^yBHar#=F&9H8Jn(mE4Qfwg;;c!~zHCZ~Wdll}$ zo9&@Y4NQGLQfdgi&*Dt`yPPACoT8_GsZYl`cEAgd((ukL;bei4mqSBhokItc^ylkM zTVfh8ddv&VsMnb)0TI8{kc4e+c+t>a?Gd|ug!1;$jjw4kkPXeZW$UxWxQ*fxtOp!{E(LFRceEYdR@L@!;W&NCaV_tQ`IYNK`=w#wZiz@Upg5(+7 z4bH1~r&Yr7o&z0qv}u9v+;iVrt#qs+q%#lHW>>0nSG6%4o)bM!i&Fl>0LxfP_vg(3 zh~&p>aIL1Pvp~q9SVCGye5~PNX_}(6@L)(V!BA4T@?z^}I z7{BOr2O=S5qe2n(G~q>@45AHsvEZ9ZVD!9iBc-xCJe~gmti|YF@Prk;0@{s61CK=v zsZG108z1kT$s7N!?i@im>p4VcKNXZp(%Y>G!M~rP{E*&tEjj(qu_zi?cbg zc4*OZZwojIT8-O-K^U|9z-gjEcS01Fj!rL#X}ACk1`lw=IZ2i)gBY23g=e!X$+mHs zM7Q}y`y0vcf(uaenJx!SgE2REf-E%251nN=jkx+nLHpy9Ptb`Y8nn~^tD@J>aFK` zguA0zGS96JBE4Qb4QDC?r{=bA1X>?KBKQ%fH}~2O<;)oVtDs-cy+?Jb`LK6rG>D-p zUP^C~|Lef@y}1NF!~w3S@I)ddEs^TnF%Hw4ZPFN^mXxB-w=jUk=%OHCOB>ESijR7Z z&%?@4EYFZM@EJ^qE$Mt!3T(`G3y-h4Yo7hiaiu3wu7(upa6BFRrP|??jnHqNrME;~ z3cd5CY}4Az$@^#3MlZp}rHvBRV3j1%$ht0;oXPnwaDtVP z7k&yi#mjYy?amLO*r2@5Ms8{^bHJNW1pAb$&uF^(mv}_N0Nd7CDqBTf&Ru)hUlip# zTI)0pN7Yx~%hEGDD>8TLXhQKl1pVJc#6KntU7uL@Cn1iS4|`C z^Wzpvpn--+O@GhqCLOa?XByC;Bj_#~K zP_yg2#pNK{=>hdrD&Mw7^E2@`k>Q(p3b7t!!M^Dx26VT zGrn$Tqj^27#lp3xosnIKq_0l`FrwAjz3dF?84Smu-1P%*4n-qDu+uDi6>#U*ik_q`4fy;T-dpvr zgt(n)a7Ku()09JlSSzf2D8$~aU7%~GvMp`txey-cyc}b-g|1J*7a0%zoo znd{$=999&!zzA)-QbdJYDhWkwm+5I z$Dh|BI(u6hStH@%EpD5bwz+>?V%-!oDUzKWYMv;Y5QC}PYO<5~*ztXyAkp+76|YBl zZs+OXWB%ug8JKXkUtzrMKQ>%_nj{!3RdW&W!r2igWzf}+%bVRGr3+Ee*^#CP>B;J( zPxV(U6ro;NkS-JM?I64|QzuLGO+<_=zz3#^5{E2XvCrxZTG@C+M zpN{RXUAI|XF8>(K>BGiW-ddV%Fe<~RgP@gbqz}-lVpp*mS}Q%QRz9qNbJlI$+$TzU zsDncSWqM&RFuFm6I_#1WeS4p`DFqWHcRvM>8|oq*g=0-6R*cI#qOwY`7y`tHf?8#t zzP6Ds>QZ96nVx}d`_L^0uTar*qs>5JdTqHFXvqc4^_3@`KaUfA=^oXyE~8QUB+rUl z0p;y&izT{m)Oy}Z+7gJK&tLQppiyPdW>-BQ}DZ6UPxRQ7#k2|dpFZEve>U2>Zuw#AW?V)!v zOY~ld45pYJA7eyhcLyF^f=^~T>~FtPF=f8~d<-+}4BGdSXi7r+ME<*-A z+&%0KKpK^Sg5pVm{6ltK6DXw^W{Zp*#vk!OP*>2E$%~7yO;LXlOp2oImKSwtAXRWX zh5%+<8}FY?uY{*^b}es^0ft;2;x7^IeAvdlYhuaC)%t?W)OXj4_=tAFu(vN`YwO?7>G zm|Xgx*i$JhIV}FkpN9YipYG&bD)n+6{Qx&K#l&vG&T&UhRVVUwKQw-d&o3zd^5lM0 zbB&(~=G>S8`M6Kq2J`D1Y`yI)G^aXVzM|+@8fjSMcYa(S%WGt2vLm8jYE5$!=cE90 z1ZwSa_%Mnh-)KWeMaeaOLkiU7K=*j!WZKF-@^Pm%>3dwI!v8Q;Gr$)SG5t>bwJEJ` z@W~*5m`(9ydvA@tGpWrbFYv*-wUzKN>*K%ZMeAi!b|HeXgt{Yu zyD_&jBDu?gs32qCBz<6{C)?&zES-8G8(z#6WrJawVKBD1CNrzpgY!IE)UuV~D4hO% zVpOM7jXkknMuhID8RGjdiV9+&(K8LH?Jw?raP-4ZTsbaH$FVvFse5alGh9qZ>Sv@j z(W((W<1R>`oDmC~CnSnW_u3X+O;ixn--{%QSDd`}s#1CQv?tyNc#UG6DIzreA{MPJ z$5Nq_+|Q22j?PAny}hcEVP0?nO_(}M30+E~EHjGi=xkq%2`<0OSy<+3pH#~?PHONi zgPLr``R^yyr3+^8q-8N3OC{v>Rz6cS38l^huj9}=dq4CJ3-ULoH;Jif*R!MG_8e<< zfe|tCa;#U!JimkEf=&-(Bx^?)-@wFzycj1Qq~WAGMAxE|S^NzD?3NY0;<_3PosZq4 z&GHr_y?=GZyn0jJJjVyS5?bWK z2aZblqLN~ZxNwpDOofXG%bfJ9Dfp(%T~0=8_IXEN<1Hq$WVDC1c_)@#lav;nRaIND zd&`KjZ|40`MIEkhf*#LF;dr7=vmnMnZ4m)weoSbMMLvbMiv+(=^nSWBA_W&oWzUv+ zGW2ljdKPhFqW@G~q_tcFMkY=IRJ1S7+~vhQKdf^^Ey&fhC)ka(Q!~FL92mMV^bksJ zOex!Vsbvo>#94dYTTLql&Iyt?n|~yY=KEH-tmnr^9jUTX!x4TlvoznkVBu0mP?-OE zyrO9DRg~GFf>U2xHr5GxfkPx0+RtLl!K}1kz-D9PU9oDm7+S$^-HJj`AK_-nzt>0$ z-CFM?WK4)hb-{O-xZ!_SRa3E)jchnHy#&nA&7Z@=J5byz&JX?5Uv%LyP!mu1rW{m~ z(k7t~H*R|vwz6saq!IVp*ydAnGZhi`#JCO6II#0jt1pQUsMawTW`M*gBA$ zrgSr$q!~v6gI#4QIe}4^jw}KKcGHSi{!~9JUCp8&R5UK5G4$K+kwCKX#>Kuys*Xy0 zOsR=E-hgzFAHDRn7Fv(EEK_?brw?{u(|buP)yv!Uba!o#XBf^$3GBd7HIJVpj1@#O z%Jr)Jl(6F3(fgYdX_jdFaBR9`5#Q@+mz}$Cw8H7={jKuu5aivax=uZS%Bsq!6!15H z8y)@>^Ulj=D8rtB_Uc}GCHY!+9OHO)QXm~caLUuBH_>GIQ&ajkh<`unOMiJ+Jf7mh zAz|Y~Tm;09)j~qbW#-CC^kE%b$=LiQsv{C;uSRajr=pz<%we){?GjJ+s+7Zrq_D_3 zLP73`1Nag-tJCNKugp)rZd*Hk+^e(V?Dg;Xfy|n?F;EPEC^w%-oh{txv zE}YX+7NwvsUK-;@lmzjWyWsRKHbDjB*_cdFZuDf=tQ$YOK+6YLko6cwxUK{wBO;C% z?-KkZ;IzFMy+7jl-x*Q@_Ax@^EwhCfmxzJdlO4vZvNci?_3%liav6{*=gpkP21GN+ zHEatAA9~LY$Afajv`h>kH1`Q)??qBPYI_E?SIY_iSqbPNoZ`)C3i%&o+L%*+iCm3l z%yF5)oY`CRN*jrZ*Zf8FMEhu&=P>~gVYrumYhSn zcuc8^C&)@KTBhWWgc!Q+7|+b7 z;0h{RECpi7svlnqb+QSB#Z>H~=rFTR8swkPIq0g*$PJz*I>tx$N1_8Jj!pC)Ga#ud zJ1)(<3ZzVoE$jeR8b@bML&cn5fdhoplbAW`XTZ~-QcRQJw_w5L?bIiiam!xU0_|9o z2#jx)KBFMB@h#$cLC7)Qn5;I7F*D^MTSgGGCT?4J;WCTD`t1)j(wx|jS$qUiB!gIM zg$LFZU4K$(_q^|FUMcGa@Kh<$hFmM?J1y%mZ+HIV)D=NTn=I%eMP%R@w7j!C&s;1Z zNa*tjyZB3O=BT`kF@Unr#~)S3a;K}{ZNO}V_Z0o!Oy%NkFz9A@NtXIuS$35EX>kmF ziD633chkwm2D4rHG&pjzriblgmZ7}LM#~{a6mhdEW{yMi)D>dO*Mw%zWUadOH`b#iHe zA!G6}ppJG#3Po&ndGZXtTg&c=xCTSNg%_W5q+5<{m`0Z>$+^m$`Qm7?HzM%Zo|DpD zOGt92QPi{AH3;u+1ggSk%b<}^74@OAm$|(*?}$}rYM#b>DhjZ7cbOz{HMs(5{{Rv) z)bp6FrON5si$d9Cy{=zyX|krVP!=m1`RS_tjRgH8(b(oQbJ7`C#C}qnXw~M8#{2qf z&8*Wk`1vhapeE#rc%0`zb5wOqpbKPla4%ua*IOfx^n6Q!8@Jbh=+&|0Zr1ent@VVmb@_Bw8!Qn$>4g>Hvuk^I zz$k|Oa+Kpi%_&1x=eGT4uX}RNAg3<)gaaq@-@jRV}o`=KK)hw<3oOKX0|{NB;z!G)AM#y*MMx0H%Q)>$kC=R%o8=F z;XrE*8$-FWtKA!0pZUN-QA5WPl#?CIFC5)`{@SQvnI-3<@LsuUJ6`_jYfD-6&{pX2 z#mwM?U9T+h?(zK7#|{I~lH2LOSV_ZKtF}i^BOOnEdpCI-kyN6wXv~_c*UPheqJ$cP zU{zZ=QVMfAsTVhDT7#syMGS`Z?B1%I*~|_oB}wv)Wu2PJWRO|%G2U_20%K6&+VMP9 z@Hjkq6PSZoX`48iE^ACo6Iw9R+HJZC;XC~d3Gk*}ighzv(8de6p}^IC4lKwZ#y_%2 zG0Zis%b~XTKEd2x+aeEpVW{pCYVM-%bq@XAL5;?#nq|KeJ4G8PVcf9UgxGUcOa(Wn zPyMQ6*`ISUCiggFCTdK{(;h)q1@+RVsaLjzAMJ&U7wQ#-Sg`|&@L4==HD%}+Y!B+~ z8=WJvN`*6SC9X=srn2<1E8kRA890_=jl`DeNv0{6Qk=aVJ@md}ru=Ds=1Q0(I-Ku@ z(2!%`9{)COZlorb%N)#dDAV}5OGred`uJ?dsqHn_bb&IN#lHMgIG+O_B6^g*;!%1N z_1JyvJuz#nNdrcO1UnCf?4qSuE^d(7j>dJDB2i&Qd{t}wo%`qqFm2|u_`ld@9RD}l zjE#}wzwQ_l0VfA1+kdnFzir0Iz|O?}zdRnPaWhfZ)@r2%g}k*buy>QPhq}cgPzM4- zRpeJ_?+W3!cSAtm4(bxR-v@Pr1Nt}4+17QpcGt`I`rOx38qHZ+{eB}NS5rGeXK|np zp6KG=zuv*w9t^0|_hQB{LxTus>LMGT1iPm>7Aq=C3k~#Vs0TTwMFd9%?gr5S>;_H) zadQK1+3j}o7eI<}ad`6esjdF_ONc$W2?Fg-3+B&s)ys%xxga0pj;>A|A*2x(0V-hv58CXaK?ykoT%@dVFLD zT*KA}0u$DsVfEtx^us%HqDJt6=NzTN`XD(4adT;}^IYciFX3ky%$z9Jk-*(!D}Pj9 z>~a~b2(IO<&F-79_VwSb|I?S-f8-^7&T|ZNntu>s9l-nfZ|nIQruhLd^-V>%^GBR7 z%<06aUl?#0W(>oZda&yN`FJ!$O9Kc;SKm;N(I2H8zZ0l8yA2Rr+#Bwnf39y+mw7n- z3}*2;q!3u_b57Du>rU3x44^TObNLkfG`N6mZNDj6ZJgf%Coq9uD#WF{3pk{mj zbq@dyf2w(QC4Bu^JfQSfCyn#RN#+Nk`HgRJ|5x1W_c!zNj_1QJ?d|uK_m``=Iw~iJ zYW~Lq@T1G%e+G91kO%+TV07g_|22VchS>7>LV*9ZeS?2upZJA{1%`dohLs3kaT03h zX#YVE%rP0bC4g~ZnBK)_&dYkjaFONo>2RxTtp06P+A!HRnA0Vz`-KTm`u2d;-^7cZ!}+DAMuUj* z!~5x%kl<_w>0ZyHC+0$^BjDfPcw}X7oBKt4qyKa3m!sm(K(UT{|HJ7;SG)E#m#^(d zH8AqMmbTDGIL<$fOYw)^99mxuB;_Fm@z5wIyn8MtMDPJodo~`J5zeFf6r$8sU{osEXi9mY~dm(e(153qiN6Y0@ej99X-P3%dv_ zb5sO@o^njfqky8UZThFV*5e1%nLSp$_jH1lG1!K~#om489U=_&!K;luxDqsdVIA|znAHv(cAiUC3CT&3n6WwEC!e=D?J6j7EFc+5a>2_jG6&q{@Fo^cOG zp|PKPzP@e{9F)&xa;TmveYG-mR=8O?!&;uDY-_GZcUSC{H>|#+XN+c;N>2a$QJcNlhdvsu^pZB@glNK+R0i6 zs9wmSDOuKOoTk0TB(aA>1+2~~*zKTOpe}~PUUKxLPlev&PbS(F_moBfs+U;9V5Rp= zC{`u-zn4?De;6#nZ2*7Bwu0|RV{1`JA5dWXq`eX)C1e|=MBla+whtFp^^ERB=txp| zL-hNcQm%2Pg+E9~Q`tlbhB}dr8e1f@1z^tnO2cQj78{2|uIVm+6!cvuYppEJKv;ck zI-tHURU^W45LEu46G4GLosKyg5!S_-k@n>d*NJCJD$wNq{5jAd_!RG0_|I~ATZg5* z>6UH~^M=BA{u_s#N9py7Wkx@Ny>9?GE1TEa7h`6RUBYdw!eg3S&zV;`9xa(4~ zu>x@^p2czdp++~C2IKFY!1^U=<*r#vwho5;^OW{G#mA>Au@+Oo6GL&L(#6VB&Z-QQ z1mxbkg#8l1mVAIx!AHBPEJ9>wBCho%OiKc0W+qUs_!2)7c~$(Pd_u+s1JR9ai}K^y zp~!ZZp2xHd9gE7v0XFnx^Q1-h)X=3t)Ro~d@Omu} zCC8Qb6f-^YiP=`G7@wTsmOVR!p}VR_7q!F6Xg8Elg15Fe*i<@4??$Yom9D?celnRs z@}+UFjCfQ@ib0<$>%o0aRq@qgf6aE)=#cjMe{QyHK4~5EFM{#hfdU_;^a+cDP1wCGuesb}i6_VeThx}Cn3jDgXPa`%=_5!5X&aiimxdy(vuXx|6DA8>VI#P(` z-i(W93g%<>*>W=`3);c?E#|NCOpS#1F`E`pL$c`uV;L>S%k*s=yst@mJp6)F7YaUr zB$L;PfT|RNbfjX^kK;gyxH^iy;2KYoJPe@Wo+`S?CR2fh=HYkjWPBz@u<4#%SP~uW zb{5Z6S!Ua~ z&>8bXy37xMQr0|XPO*ILf*e1JMq%1-T^?|9-VCj?N-;W1hYU@2A7U~aL2-8@0tYM7 z5|fGpEaVCT9d+VBS`@^*YR;d4G0oTzds$IeRyRwwJ}juZ#@ur5{Jw}#m(rF;*lTo~ zIXnwz^d3oD>75I%@t*T3#r^7#_gf*tx{IPy=&%);jvt6En&*hUOA~yD6o1Rp- zP!d>M%ug!NaRtxN6VxU85lEG-cJX*8T@2ijy5zsB%va93n!)sQ4_;InWr^&JJ4)y` zC^9KFHH2g{M|BT39FsYIDlZkbV9%ac@gWrJMRBN28cNwjvD%2`;tV~kiH1fkch*>;+k z>2qB;;oX#CH97<`v}8G*nR4jjgv1F0HPYL&5~Wr$J{2S7&7M0+9*H3RjC^mxExZHo zmMcC}e?~<2)Q_JfH<+&R{;>W|XVVaA{hSg|%>w^Pyg3xedNs>ns}aSPw6K6YQ)!M= z=@6bGz(1>7gakGh3b6#+1pd{t?m*0^ePs4?=lif_RZ7e4zMJ@vNoYkqVtX{3%y&uf zsl?-y{M<93`jmbqH9;ycMcyWALAg&!(DlGBg@p{ht4l`t(*}W}0$6xnn3@Pr>7wTQo6C@tEKO(&X>M!j@@HN)sDX7Y(WiV1N!Dkb8{P+5_Ls_Qye+lfgoqcs`uN% z+$FAqv&R-%vXAlM@?*^&L;N*d5UXip?ZnG6nZkv?OF(OgT#eY7SuRYvr6;qgAAIqX zIC@OLr)jAmSiQfN!#gia54f4u1FnO+H=0cL^I;ZMHq`i`9r>?J8&KJ*fC$}jaN$yT z5JwgEfJhTTDZL{*JB;e1gEo}cP63R@mnH2+w+bmuUyKmts#B`aLo4$qdMdc0sjYe(6dv`kYPe%K&Dk6>VlzTw%h7 z-K5S)9N(pF(+7ho-bf=!%TbJ|nmR#Y1h+>3Z%JKK<#S0yteWQRk#ke3 z3eJJ+hu0(%h)%sV?^<lU7~cntK}*(t4Bm<8!;`8~eVNVf6h z-ke04qm0I!!GC~$B|&`1a9!rZsDn;Vr@rbRTO%C~Reo=Z#IlqQ?!U2Lp5+BYd z7a~y~?kQXAR8{MJttCwnp0x4f!K_dG{WWR5!K}>XrKRp36kb6Bj!24o&boo=2y%L( z$8A23!aE<6Xy8WBU#jI(E&2I>IQ9p(c@d(&J?>yAwHq62pfs28H$ATs&C={91l0rO_THmp}uHyWV)Wz+Z_wS%ZmlPE44^1UwLQlI)#kM(2)^%s~W~ZpYQ16p6mvW6QxnQXy z+4P47I%;-_TJ_=BFatL0#fkN;iw;ggW=1vP)lx@##e!)R5)sL!Z_yLsyB;z+#IHyNgXlC zh2)nslrtw^hVjpY_7n~QYZt+M#5Ghq)e!C73T)l>=>{QMl%OU3Yx;%dLYknb_}KBQ0eBSzrS z%^)~fe<*O+V$4)x%!}bYyvw~*0YPt-)1eJ$b|^#i_JRBEDe5y1bC$`nR(dN$8|l`3 z-0rD=4eh^4eVCa;$Wd4&7Fg<|mMZj-fF&Fk8DeKM za$e{Dwu5;v(RxE-;8^mCtfc62#p8smR$p&CCwlup1(hJWoecpYr$I6i>(;r@5Bf=+ zXpxiqFu@i@BG#Fa-rEC7R*)eEi~A>fNdnwMI?`+;rNhs){i+mUj<{cg6O#`PvI)ge zHfl`mUPpXs3q>e%F%xH2wK`4|`bvfFchA~yvHnSEG&}Z_jywZ|{#O!KNX%ZNctcp8 z{O0Ai7FWCzsBW-Uy*j{HbB?K?c#u&9Zey#_xl5?kTnsZFuG{`jwMK@vyLmLjdF7!@ z{JiX;)eDv@z=x4~O;2w*Bd5(aZ4m}tLrHs>!@8wX_z_#(iOo}AiE~v`F=+>7t>k`u z4v#_au^`j%U85nFe#Q+t*Kb3hUzAu}$r`?^nSZChqgw)^9tO}-VJn6J(`*QuDqfMKV`ExtOTizg1& zp++b!*NB$vYaaJKD7~V*S*Ey1(pnsMk$Qr2|G|m#fP&R*fyk z8)~I7J7+~VD@&I9ZWYs`{V-~Yr}n^3y}E22PfzOx-$^P-Gi?M_1Vf(sjFM#;F{&64 z?)eb~GDmo)^ukd{84#i~ZE16R#vL?~X;{KF_mmC^(!=7rGM1HAD~M(2M#*MvlWAUV zMAq&6ee`fnT|W%IVw3%_UQq^$H}?uY!7rwc8qd@3mxr%@&oDEAb!8H zi9qSFO>K=pkqVibt^T%XTyAb@>cD&Pt^D8GSy}zGRQ05CHks)S_mxiYuf?He$W^0% zwLWyUWbldz0^S#68_|&vS<$PN$hXpMjx+k1TT9q=zR?b$$z0vR1=whTna0~jZ9$#{ z(LY^!YPKB>C}&lvA2F-1W{&CworB#Zd9K8#R8L64eRDqnOkN;q)5jNXKvwiVmFjvg)7%u{Oq}R z=I$-=#_K~nj_3~}uaSDPe@KMtC!u}ojkuky8OLe21~%5ubxSBEL`e3!n|4Y}n|upM zKJ>PVIE8CU#VTmz97f{W9yz+SsnOCtOIK0xCTCxqD&wnfMQgE=vx%J#!!nzr&$F3C zL?^H;=MrHvXt&w3$Ev0T)#s6ZZ(Kqp{1UrVKj5@Gqw(GwHS5nh!tz3wZA?|LDx=T9 zjlpXs!2_C%d+4X0_<`0bq6!zp0=$d&@|HG{blgxgLNYmwsEKCOBV~?oH%k|ycBqnK zblbr0lEloxHDC~_%xE`Vbgm;+{MV|K29{MqLnza5C&KtV-eMJs@~eze6DqycCYr2o zGzuDe-Ch&e!r)ZQ;rCF#4Cj%$p--{wi*hbvAUdAiM=luxH1@}>=VKhT^~BWJza_>M zCo%lU&J!|WYrfwY$Yr7gZJ5UWp9i$-3V2B!)lebs{*2RJd)hd%Fn085iK*96kL!HH zR2gL3Z;LMkiJxyv;oJUtJ@Pd^lLjlIZX+a!2)P{zTd!lm)d@3bK9{ZrX z#Hc+*!8(*OgDc+Da~*yIW82iQbu+_+@Z(AYh|D<4gHUa z?@Mj;AI-T4d}QP0!YddITr5fmQ6*v9P!FP(sR6`owd)e70tY0PItM(-uf(WVOJc}> zDsvBE`qq;Q?$Np@cV9lXi-#!Q?NiPud^rD(@GN(0#(tz`f-YkUv~tf;LMR?tg2BAL zO>Jn|KTMhphB+Y<$X$J2SEAokM=c&@dAmy2%HnFJ%h=#JNTy2nwhJhM^k^Y;WQ@eA zVDBhuFK!BoIw%0!lv1KQh`DywdaQ=>)CoTZfr-2EjuZ6`dVwbxP@f*B-Ev;zxaj#J zpQ%?ys*c6y5(K*Hp%l|%BkrIOUIgg_MqEm+M?xgMeyrw8?MiXmYOF@~RS;t-0?%WJ z^y`Ty9eEmQnW1My_PX<1Pkx}ygPt_R7_;n{qo;dEBzxCmekGfn;vbaxXC`#8C~+w+ zE>16ogeTaeOyqJI>P-z%ozHCQ8kO&F2*EnZ{~lpCd=9&EpA%sh-qgZw^w_lZ(u-GP zJQmh#qWEkfP|6zT4sxfT+bp*3v8}wKykLne4ZjQ7GM)zPTCM~_QwyCien@(l{A34N zB6-3ME-iD%SfMR6l^pc48apvG1%1N$3UwSVZWX|Wk+u9i>4a^+pNbvt44_0QN#H)vM5pBAor$)~A>5aIj zQjkGs3g=YnI}?6vgP6+ff;@$Kr1!cX1d%o1C{wQwXm)FFDFf;qQeVnSQXI=HTNgLh zz$J3zcE*t$OFXD1e>@dwJA$a4q1J7o&qZ)VvbyP5TppJ<;s89AzkL#3oOo8jI(gQ{ z1iBfb)J`_4Aebij14Y6<<+o28#r1VAQzMG9#W>}GT1HqOfO0of%CmP1rC_V@)2(Qx zJYisWSVOw@Q57h|Sllv*tIom8p5FDb(#il>XSiS36<_yY-8OYKNTf*N_RjN8Z=gy7auIQorCvY_|OH z)+Qb#Us{(XCO8G{U0zKIIkaG=qkit^`f!bgPF9lD3|up}3{)j!zsiafc;)=gX^=!*0nz5G4A$u@JFlH%MbZ=t zEp6YbPrn29AVG&s`!E7cX71sDTTeC9t2)Gr*~B%!X;~tQq3IIl7yCPd`ne*$!bH>V zYVmb{f@-Vu6ZC8{iL}^c)xo{fzk3}@T|iFVx& zOV-$DiZVV&Y7)SEWl;)sB>-S~_b+IdKG?)k!FL2Te!elqgzPx-;i*)pZz5TH%H{VO ziMv%7M6!0PdW5a)2+)u<$WE7IhB6n|KtYFdbE9t~S>?`*^!;Kzg~F^Eg_Xtv5SEWu zrU*T`^}?hcCYLw@5-M;!aK^4)o`M5UcCt2fkwqNgjRH!m zZ?q{Sjs8eR7)Go&6T61iLgjkn)i?I+ff=zIjHCRUtzgJ>0uy|RWJ96z4Y-%=y2uc)cwS1~7nF|8fl(LH6 zLb(qm1MmoM2?3`OT)3X)bz0sQK1MbWDk3-A#$f)!qdPvaIGcW}20Jkng%y+JQwn#Q zHMSVB4fnjPHJRoc&*tK`e+W*Bb6$+1MQ6f}(n3&?`XrMvGT>#vP5#4p4RIESTad?^ zep08so!rt;cvVskbbbW>k&^;$1VibC6J>XGrgRkei81z9bwU!WY(vP#5cQXSznemz zpw=rzk5cdS$QDh6f@9OuXx;?joaN*4b~lXwl!UJh&md-o1DH3;fLLwwJx!@UTpDne zh9rbZhhf-Xgqb_*ut{qQ*Q0V;OqwTRtso{RbkGN(G|y&ew!2vc#x9@H|Co zB4xizRf2)4t!Dkja(%2HVnq%Gl)6QHsb@LPsYpJRX(gVe&F=miHuxJHOh^EJbxE>L8po#24%O5 zw$?pNs$|y~8?hsii-!U+Lq^>Cn{rb+L$rY8-IBCeW}6Q!e@JZjyu&^+ux3 zxCZ=O0}1v$b`Kejok)}9LKLK0%3}_<{BF?x?j28^SGHFC?o|hYzB8Zu*7~BuD2xdX4{nVDUf$`@kK4rTP316Y?5dXOYpxscY;Nyo zeq)t(o9{6wkcul9G5dhlB-GVl3?nEiV`{*_$K>SQ0+Tv<)DqiiP?}~(0vzYEwWYZ~ z>KOWRt^wacTO>K!IhU?)`;|WSywX6Z+BG&rM#%2S8@GIs7ZGg+s) zX_&K5@0Jb=Dr?8t2 zx@MAxfP>@pudPyBbETO-6SF%fRre|ra&423TC?7YxbfY%uN>IvOtB1JNDA_HhRP`~ zyN?axS5;{GHQVSfQ9_=n^=C{E{KawqFXZGPzI$ty~G;OyUgIM7WC6+5R zlKD~40cq{4b2mMi6D)08Svfwms;F>H$0aos^JiUlQWfKJ+K}4#=t9DdK>&3VhxMYi zm3w9_8F}CPx_9^3Sa27x_K9(6CJw`%@_l|(7oI5mVia8dUFSdBSn#nk*w^zO&kN@KE+|ZtrcMz1<(W5Il zyqys^M^0g$SN_oq1Smb#SM+nGTQLzHFbQ}kr;C0E(E9tj&LU5csWuLDPTO$i0ABMH zFH%jddm$XB5_HE#SX2J6RX0cPp~Zn0wDQeZ5cFGFDSZjKNGIOC(lRFR9QJJ2%6AQe zCc3w&IC8bJ%$1p3&;Hh>5hX?kPcV*NDV!SEdmJYmr`-eTXMG_8eR~i&@$PD2xm|Wsg&T5z%y`Cn5amQ$mEEqy#iV%Ua`{!OuvBvgvhzEBSOSg(eQP=4=&b5!W zQ*$uOZC7TTgT1||7L_`=kdBx6$A=H;A9|8qouq^51I1R2P4%p%uvSw$IZ_v&evYW4 z8Qhj%&2A62GRB#vfUX9HV>r&**;5!<@{94>UX7NcFX!*=b3D3Ozg}Wn?#9}uz5S(v z8iKkDE4RlcI(MA7EP!t}8eTbIK(kZe=Pc0kTazNg7n#!LlG5@ej&I2eJAc_lZiFa~ z&t1voXvScVWF=twwszhvVAx;N_vV&cLTkzWTY_ zZ-9j2#IDDsnVVC}K(ZY7GNUE>5!v*TVgq(6L5Yozv1A$$;Ce{Yrw zz{lA39CE`Fq~r?$zWx4PQxS4ghhIpGuu!Pz;T7G`%U1AApAdHpv5HBim2YW^c%aaY zZ0#k+x;LIA9fysO5niD9NtDF0#qw;9;K8{oLc+dH4bMovfUxwP$@XYX&QCUe+!waQ z$-<828G6_y*&43iUqnI-YICR-435kt#q> z20fKPh`Ehs?4jxw+x&bDrL)WNh??)PTmOfF6xF_8Aiv2m=IquVl_1==b--TdVL^yu zG$#7&VDpTsBl9(n$s;9Xa+S?SI)sY?`~ z&Yurx8St7Qs+>G0^DCr=XG}jEi9{7n_WY^p&Q@@4d1CIO`-7GN12w78KqL&6DVLr@ z$_&<`i-S$!7}y+$5(h!fWDQ`Vw%aYJ1Z8Wgk70UcX`)fPD~9ccH%cj94I#uwEagEo zr)80t4{0@NcpbrZ!sEYStN-$NQ-D`z$^%mfq9D;jUQUhpfV zFPa^!gOkHbD4Jiw_S&{uuIDPWe=DVo1Y^=Wz2icgDjr3=Y!ws1=YGM3l^byyvGIS> z$0<^l=eP--&PB?bd+4`xv>IK&<_&Q*w`y!U0R~$nPq`uRB|b+0kmB`|)z(Se~&WuL}ksscIng$+jk9 zvCaO(+<=@KpK*@3FNpo2*tsM;HDfR3#+!_LMy|(YxoP!M6DJtHh$~%+tuhbF!`fYDt-&jBS@R0j)!fW@rg$T!Ga+-5^(b1eZH!MHr1>!}5p z?C^7PcKr9CKx^!I^|ieC&*+6zk7PqygJ*4rIL{XsI>TQN3#tNps^zNe8k$uXaegy|vadR;? zWhE@V>2!d!Y-QRjB?+g+d#)|C!xB%2xLp~&n}WBxG$eG@*%bPl-`bF#0Sf*7Qrb^% zelGZ(8-Rz%cktbBKU~At<|PqkkEgS(vDA!`exADE6_{(oNiJtXzrmbn)DL>@GJJA~ zVZI(z3h<@yFY;5lrjZ!33qVQL%WF*kX@2hgW8AnMvN zj1bB5R_=W|N2CY54DFs2RMSxwy7dR|+Lq)B&8z=htmPK0F|kW2HHRh;iBp7dim{Y@ z*!!$PC{iXfdKavzv9M(!YF6T5QRX%4PAM2ygv%z-a%0lD1xipeaj?XT zw=Vw4JE=Lj`e@w!a3ocLZl1#vbet2{S`=AJIK!`KAmaW2jN!6yN9=+SSchw{!D{7bHZ zPnG-7-jv^mH-6N5+hEg{EA`1Ite0O$Dsgr4X(GZZ-fR?7Jxgot;Ny@ zN3Hiqiej2a0&#D8%AcQ?=meM{AgC`&#sr~&m&L>&*P59$iI{&xgW55TP% z_-i?n@&bDmMBNXwe+kkI&{G1)OY1M^*O3k=Cx8wfUv;&`4sZ-r|KC*#?w$bv0`teA zz22euBf2+j1NxI4p8)+vJGejf0#*X<64IvC7LY^e*HU4n%<#JpUQZYNt-OKqbOP>I zwM$6Vhi>cB{M>p2dpZqC55Um@M93#UuG2gf@FyK#nb@7as(HmuPl7(T!?LX<5Wn(c z(g$k?sF~5Gxe2JPwPUbb_me%#^8xzRdNY-id)4(b3;K)wq=zF2r=H)9L=6dgswo9M zu4!c*M+~{C(@Ah^1_I_-|1)TFcKVdhp0i*!@^)%nc`K?1?29NJq`=h?lD{=|=)29Y(ZTnWs;~BoTA;HI~*)ujUGx-Zc zJf;GE1ktPvAV6aSpl1GR^Z2n@b8QCcTo1wtu;?yXcdAVfSG3L8ZjybSeEiaQNZ=cVh!dps6coxBXj$YEpmVhx;3t5dR;T?bhIM z{{W=X-o~+WyNihjpzoUd`}b%^5bKwlGDAQ|An!k*wRer<=k|x+=a(D(3o5p`0A&5K zwrMUjjYGS~cGCyr*FpQA^STT2`}Nr8@{@Pg=Y|LI45FD&^9P^>0lHOcQYw6T@6;zN zf%)ur;{StosJvOOqP(vMeET8|y@yoJ;!_K2V3UdTy>#1RfBoE8)!)wkh&q>B%MR+E zD}N|FGOy;}BDXa$){H)GsvVi?TZnz*!&ui0`IeBTV|I5I+!^XH!3=bvOr8e4IKmsm zpW+q3Pxq38+*v1TDZKqfH%&%y-8p!KyjeW-#oalua9}6gqjvApH7vvFFwP=m`rbP+ zhN4HHTS~_sgXXvI*Y(6HXc5=R>7%TkYAjoCeLMcIwNlsYdCC}DzjD>+r{kZNliN*x zb~Um&3hjZt8d1rusuzbA{T0j_7e~7Q)CxwPpaR^V7WeO!j|?*iowf5HoJnY0PFM|` zZa`IKZ4BSwC$-!#A__F8c19t&+xIy+qFnCrMWMf^lOA4*nZi?a4~71l>>grszDRjL zX14EWS;>??B8*dTieV3wK{53s#zpC@D0`qJS6_WIj$jE-K#Kfx8aDCikVU=6I>aHn z5M%^Qk!Qn-)@k57@rYY;$Q*V@APp;X7uZC;O@j%~c)Ia9xyO zaP?8#Jjv6@UP}7x_}{p`1Q0bRu&nJyUa_bIb-($g+)*^pY84LvurJ9qiILfeYA|NN zDc^U1OE=DW9>M0|!E$qV({eL$qsMCRTO(|AJh_Rj$~^q_ad(hPjX)g$d&0DBBH@Yz zghR#C^tD)0B{Y(S>hVP{u2ovR`<9t5ze8qLDHXOKd-g3r@oqIl4YMjz&z;huJEY8E z6V~A_0VmxNv+>c(JIhzb+MSrAZcUJjpwL6BliPn^$V7w~t5dih$x1_;W;Z9=Ao}h; z164IXpb-ckHfqOmRPW-yaJ|Sy(#~+<^Vsh4qkp}ldnC<&vr+ZBEJnzqF8O;^CdgD+ zNLJ%LoKa1NFbp5ZD&2x-C|fM235$+PA5?ojEPt|-M3c^atAo(Khiw#oGTiCX4M$K0 zx)GOxCWHmp>+tyRz>Kb*=5J~5O zped&@5)zS^i~d@x09+WI(|)s$VMD0?+G z5~Q@aKreZn@@0*_x^t8RyZ3W?##a5Ynf-OvH&!lXjBr$e4mAF~O^vGo@zZdtiN=hA z{|xKUwDC(vbtfmx^_puaoFJv*zAU&*8cF0>21yu$eU!AL&ok--Q@h{Y361r%io$eT zFLi)6HbtASZ0!9f6iFD)+MCI=ORZGcCwO$jodnG$nfg>HDtU7jNgr!o zk#lxcmg8-$eMT7gH-4asFKayiTuBR^q}7~Ydct>x&t>Dm-xtJf7YLlU9vuSV)gklm z9RRsg%ny2ib13iaGi>_KKov2a>_G)%3ZI?1YCb=jyxKY+oWq5l~|0o)C73WDBsVg7Unp7wQly1sm=))47QP7 zR&`j@SS>fogr@5}2j3mBUTw;gVp|F5x6tCxME-iEWkuqfR@V^MI+bkw&Qxm(H8fnYNq6B&8(NZorO!V!4B?6tKey-HJzTA4 zuA5W7^eguTl{E}z4^zVG;?Q(TJYhYi-zbhR+kBqFhjxapDZL=RsLkNYiq|kh&*Yr&9i2X1!M1X3xv@6TWFMSS zuP5=)8M41m9DF6)o*IHR+6*wdN5B47^zsh{FoWt^!J$=CX%{*hf|@{`^~xsFP`W$MwkbaWTV6BmZg8KEeH&RWniYX8#nD>-Cg&>+^CO1|5b zTyq48GcSaf-Jff;8XS%$Uwt>VV?XwzXvCk(0Lu(ZT0V0h+iWe9O6~2I%Tm) znQ#owUwGkrY}6f^c$gsv=@AUaR2cKJK;Sh80!Y6l${!ysf-CHl z<3#}3p4q0LJiJiJHLxM+%`LU-IszNvXURy2VKqrl(-0D-I4-)ljvL|78lrl#XJ9Kw zvhIfWlO7XAI_tUBp()B2zq9LrfI?z6#oOXz^8^>$!GUPTY5}%F^QYu;7-CQRUlJE< z<($s0TfX&9WU}~F&~8MdpDFg>&wc7zkb_kwN}66?3iULl<~kjzy*?ThC8*1_ zA2K}}2NPlv?e1qK(pNH?Vbp>C@AJ)}dQ%f#J}s|>3gIe#pq%C`Jg&x}A57fs zbt%B6S`daW#Z+`j(zZQLN-NlL6$@_PT65^j7*_$Keg?VKZa2CHrbE?H*T#!))Fl?i<=8CFAC!5s~ZgM6Q zP7QGBq<78=4o`sXHa$smXv&9kJu0WLN$6 zcHewwnGHPZgOuI1^1PO|z>3zZPr{c3EX~6)B)ocG_ZsnUV;^hfm~hOrDYLp_ivVh6 zx|S~Bf$xa8(5;23qRa1U$v%l+M-~`AJO2^i^Ds7()N!am>ik}lY`fW10&~BDg zjpW{|57v~`E*HomE^0rc?+){~t<$MlsaT`owSpD>P7B=Qw6`VomUt?7vnfp}F4#^U1t-Rt}=tk?XoIR?Mm@uFU1&8_x)uymOb7v};eQbu@*F8=`42H@3 zDr`jNf1`g2enUx*XATiOR8JVr9*cP1J3TMp5jD?0pW&qW-FKrG6YhF#w4RG+tVR+4 zv2uh_Jon!+`2b!%?6xJ~^H4ZlXjsQSp!D{nYI!^n?}?7+USxaH)nf{=qz*YlNDyD&)$J1`}-?9R$*5Y7gX9cqV4CM_(QE? ztp}qy$;Ci3;TA9zECXizbe%md-=6S96#59qiM<&wSXaVTWJ-uA3l!zq_mxOx#qT5| zs9qK%kyJF_y?S18o7`dBz@m>m(Gtku2vW+BuwV#k4duIjMB`$oqwOegb3^B}56zuz z!VGg+)46(=*r{K_KsH}EeL!1RxhZk#&>OD`LA_Lp$CexwYP(4IVU%!k1Y`*Fp^79j*qMdGF_Wd9dF4v!G`AmOHSYy>ME@iT33iUf) z-{JdkpQva5RFGM6;E3vTa(gzMK$?2Rj+L}7kTzH&@MYs#=l;td>YmI%@%7}nf1g_h?IR7XWDnt%V6tlh|r3R8Xphe95VC(XH6g)TQLlJGHNt&$@lQ$f6jzLw4^O%as=r;CF=D}8PMLLJdx1P}WD zMY}Yw1004*QP1rCfkmzd;oPjPErQ_T8ZM;-GCr2xcyBOoQ-iYLbvQ8ySlgCxy*Y}R z`=!nEW%HP`hi`2%K>Fwu<`$o%E`GbtA$>i`!}J@DJ;@^LI?40cX}gIrDhR~tHoACFVLB7a$W#GMLW`+T=MhQX1-TRP$9bjPh^oL>kPt_JsYrl1?QlBm-Hp_X~)U?VMA=xK7cB z?r?wjaG!;VI60>ijXA{gW1+i>X{nmQp!&ZQ6OD&n1#WvA@K}@OpQd-S=F$vwq7Hwd zl|+J6y8o~Ux>1P35vZf>_sV4ezpu&gIDe$=?9dyna-A94$Gm=(;V8_R@fM2`MyM~M z1ypH;PQf83?5QH6G-YyfJqMU&z12u~MhxM68UfuuC4)RV8Etew%rx28uC8wTV?wf8 zu|72Uz6o+`RetNRAswNj&hld$9hjr3ht5WeS}KHtR<=xfF7AtxDdh3nQgWs5ah4U; z2yU^bn0q0xybU!-z|$@WN*^$jHb%mb0ETto`?9 zFlCVwWr7J4AXMfY2V|9OlMNblN0GLd?4GB|>c_CTVVt%dwI}`Y*o+tUMx^c`&ak!j z!ADU1qYYBG?3)x+x?c~nPj~(_h=&yUtP+;V^hpun_M5JcG2uL`r#cX#D2f?;bYOSR z#6D;qt0VRz;w6F#yOTVi1a_G`C*pb}H_l^{^(8*PsSJ}G?40oQG|m-9l?L1>g&Vw1U6z<1a>S_lTNPrz1@>A; zb{Vi&Iqmb@08)Fns(i2IM6b~hC!9{cDb=Ps;zEuYrVnrWdiv}jT-L50JWOmqOOT#* zvM_?4y4vbVy)c#?N&Ow`EyF(R%#P#U^K$1~LH^SX>MI^Nr;8X|PEPM_M<8r_G=1Ei z<(vk6xHpt`+IAx1EFUrvJPveDv}vEvG*Z@PSX~LHma-R^2J~ay>yuZx`lph`9u;94 ze9&b|Rn-Csgaz?un_)qO%^E)2jg#W_7kCZXBl62R0elri1->7@glY5JkE*{ID|&oh3Ik zM^EB4tov4j*NJ0B8ODShymtE{#)!rz?e*>YcnfljA_rAB{aVm_l(QV%e!lkHfwOTx zS95~k6)ibH*Mul^;=gS;2a&0KYT(oTX@FIf z&#iNtek|O4*tTl9P!17R_M7!xf^5EA+mzkKh9F1XPp>U_?DxTfYdkgCaU8Ei=}@6j zSeytGfRoG?z2QQi9wavs?@n|90mLT|a(suD^P!S9C2{n)H|=NIRqsl8ocn_{3>%>2 z$dp71sZmy4?Rtnyb<(e#nK$X#7OBd-BFL-eicKw~Y2?$QNcVzhO1(HF48$Q)6r)Uo zzad$I3f1xjCFDe7^WYS3lq8Fun|&t^1{-}jxb5+Tv6YY&SXqL0>ShgK6oHgQgP?$+ zTvR$wsz_%54pX90~4DjH&|W0>$SKYCF-H$&+# zKCyA^SI`F*5R^$C(4u{i6oI0r3ArFcZ_YC)-}DV_DZ2> zqb#qrvvBB`kLax(63Y=L=igXT^7_dfo{Su&3aEag^Q>71h4s)&u&nh&4QvqV4XG>oDV)CHQN+Qi7UOY+ePAdg0i@L7u)Z1gfie^Gj^W|4?E#}~ri zk|ukZ6a*K*=zuwyFh4q!z!Y%K!$l5Z6)W~W`tY; zz6B_0O$pc~RVA%R&n&&BQ{Qhpy2G)uz-D(}xGWo`Ry`1=F9=DFa5_ZnQBZ=8F^~X@ z^0mR8=Hf_O#^q?pPvC;6xa7{!8J{5)qkWDnzD{k<3Gcu8GL3CG0dE^I0^LiCaSIjDD2tj_ z>!p4t?j*dCh&Xhmv3I(fL*E9{dMX7rNE(lE&=^-^DMXd$tHXOhwldk=d8F2jJx^3q z_R7C=tH&uq%lW47+Do=A4VLej>cVN_l)>l?+uGLPuV>Ul{%qpSaP!QcwEr7B6*mn! zx9$CtyoMoxS1CQ43_Mwa8Qf_4B||(&7EI{hg^Mh-dc|Xp82fcsAV^ z=O_KpZ%kt2c_}Q294bG@ho$$($JG#gP%(8W7L)YS`5}p=oC&6xDD@2;@Ikz^^tCRC zBVG!c@v=aXF7vP%W^MQ`xoCuN*o$g4_b>Y~#-*MmD)-Y?M!O^Pl*U$=Oat6uD1ter zU`pahwc5v)*?d{BnUvZ5)hYNZS*^Dshy78#gkPnzst62W973jgkk-s-auJ;G5eAY( z5znD7w8Tk9?%l$f%L7|#bR)Yo?m3>iXt>puf9pMIAVV^3m6qfWQk?(VYIK>)g7X5r z*VR2qfNFQsET~X!sdgiEU2af2agrCsT|_#(y7dC9c@Z>&-}slIBo6@*5VMF3Q6=sm z{yq@4>p`X|c<1Jsxu$?J7{78$e)zZ6OrNv|}1!jG5mBC|1D{`8;dwny`%>kz0~F zns~U}ol;fhG#vVB3P8(u`yj2;I#KTXwcIY4Zv&M6>qJRsuf6un&@<9&j!e05+$Ay$ z4{i+|l3^XU7N-ZwRBdUWNnztfRqd+?>GJEuFw%>$HV=y&UXM*jms(lPq&6n_cyrE5 z7Wratuf};6K;n<$V)~N0BHld-{o^8TVe?}~lHmMAV#v2bRlfp**jP53Y&k`}oHNkC zVga(zz8?u!PMV#3C~iK|=xnZfYh9wnM*Z#(U4XaU%QyDM<@^eNyY zGB$wY@=)PUGY4BYXUjo~ml-@k7Mb-h%_^ zZ%CDIMd?j9$JO}hsNF(P_$oUph-pxLfJ1T43l1Jbnw`&*vr^Ng-QnL1%-@~vhBz+G z9J8k8wkK=lRzJ)fllbs=W@bl634b0z7`_e5M4mG?yG}F|Ek#*qxCP2Liln(C3ggjA z)Uu4vmFyED;*cxKrN~KT8InBUH=i(FK^t7^AkQZnNK8~Zk8#gff>H_KZinSFzLrV7 z%8g>CaIZ9vR4x|MP|pxjJ~H=rcgolV63DI*X+M#fpz<3qF^$?M-Hv;2P$#~N7c9i` zc3ekCP@m4LALlA7>;VVctR88d>u;)+d3p@xGQ4~~HK8diFSzw<({FM++d%7S(u|&~ zGMel1pFeYd?h+bP3>Uueqf5{2k0awOa?w@EY4AuIaAxndG)x}Zhkp&fdJ+}uS-c{Ihq}K z^X2*PbECs#C3o`mYVMv~gsfnZXj;N!3|G~(VkC|3U0;~mXJlrI?!Yk`{?9{g{m2_- zrasfEsNXRk-yx$zQ)`j>zDPMpZPJ&-eIT%Wp)dMu9QKiu(7tc-LwQxE8~L-Gt)K?> zv1A&p35=-6f8nLRjvGtQi`LO!&u7=K>RFudrcen1NX@Je+q53zO|4M}B|@w}m23*V zWXiHh`hKF!lBPrd*{vknPuJ|pBl)R!okN%|x$!nbgUKrZe+VE{QPIjb=Kj;Cu0d^v%;ki>66aY_# zcWC9T?dFm0%=Kv!#BipdQrRqYpSO2T>AD7J^$mfBBK2p4MdNN1H*Cw7`;IQs6S{fc zk*x*;SL^;)2kwPP*Su4m5v=eHPlcOxy583AUa_WQ} zLC8l;JEt*9*FzhYWF*pCaXVyptl!7s0OTC}RewHKSrroEf~gvqG|2O05W3#HiJ$9_ z1FMR2;@p%C<_tCza-ZcSy5%5%>yjSFXf)v(yTKsG*>AVVy8Fo#d+*^Vpyv=nPL?}1 z1Am^rn93Q~Do+yEFSXvn}KaTmXVqyBEY3z`}^o?bUx*FAjI|d)R ze_5d}^xC|acvySab_b3Tuw8?fC>lxmD{P~oe3$+%QADLtiDM1n0wKbH$Rpo*nYCrI ziWPEAu9u}fIok*`j+tG&BR5}hqf;3`s0xPx05|_Lm+v1FyPfz4jM)N>Gj@hJ=LiI- zcegVOeEQ0M^XF_pZ#Jy`z{h zN~Af$jqm2>0^Z$f&on{R=-XB!f%02xsWy5}z?Qf*=`ktMON_mNW)k;?Xd*1qbuZo* zTdfp~IYR5(VZ1LD*p8t&JsLA~s#t4Z>TqhEV#7U+6T2vJ2<@p%&U6W7A-*vbO1W7E zlJ;=n{0@h*BE;QO!5y5Lw35+y=_(mJ=JUZM022uJr9_~}vR z%U+s>t3_Jd9!>DL23HBNtXP_cLzO65Jr0{RH+j)<)c1JT)yCE9^&vEO;VnHaDieux zW5B87fRL`$8vQkK!J4>BXUj=!KRCEbtXl*|y9=#bX22UtPa_xdVm>(nzMz|Rxq;Q% zocvOZVD$UJT9%6{$>KN6h1ps*6^fG3yIrk;LSb9o`v4B4JN=n?gZ_VPol}!2Kz9Jw zwr$(CZQHhO8+UEnw(r`uZF@JjDygq3mHdZ!m^ss@yQzoACa3TGNl~SMx zthS0YM~^qv4rQ>cyRKuLpH*4I@kpgO6l~Q^mfktiv%Ivgk;Y_PA-r!+p`s?G#Bq#$ zfnkM4LNuA=%HCp-_B3h6bX}5s3Mb2eAep9RqR=l?s?Q*G_rf#dnRx5;et6=gY~>;j za}Xn36p|wo;@7#M=KJBng7*}lu=A-Q>qvGYFgm%KypwL0c;eC@^8_ZX`BPKTYTO%D zQqDx9?FDcXxy*#KAqH~D>zncvIqA|H5c})$&ZnAFyPuNRup;nn&70<=ZXPjT_AFkx ztYGHu>7|Sna=@3H(3O9g&wG?1vyonZ&@hD* zBD|@sF+9heDN*>2(V=AT&T~mLU$4)G3W0GaN|^M^t=#|Out|)`Cc(8VGIiZ35$>p)~XvT<65iULC!yS z1)O8aA`FNDx4f)~RZk1Jbd%})o4rw2wRakldrWu?y_p2`v{dh(<+%}5-hb;8yF@Kf zIJf2-SX(U`yUHXb1P?0EP%TUdqsa}Bs;9-11bVkJ-eo*(mW2z?(La{u?ne%vdo0WO zvfsTtgtD_^^k!V1kG z6$zS1NB!u?WMm!OC4@sOxLqXExT^b^>cS2t+LnP`d*+4*VTpV4XY016K zp>))(4&U=k77{8f*xQ^CATYhyW8sQCQ@Rpy@gDFe2PdUQJN2&LnC{l6!<7yK@W03? z)Z5sz8sZ>vimTC3pR+O0JXVYBLKB0xG<2-eG%|Qwh+zq3@JU9u+mU&zp{y^R)^j#) zkq$(gI(Zs}2Wt)^aJpp)=m@KqQ_UMpmNmX0g~eDu>ELIIPe9CSNDR7dcyYGo8f$?f1753WCd&S{0)2Y zsMaRB$N3D@ApJFAY@9~yiEzC#)-Nvp<~km2WZ*5IzfIuwPHTywQ{WF9t>a5Ric+?%daw8+w~~tV zd5Vwws1r2zy1@fnMeS{^O8NN;Tv$HV#UyUk(U@M{bY`Zp^iqw!Ta578?L#yJw3RlO zZPGjo(>|)w-s{uUDmXR9zid9-O@4%K>~}{*?r6f#_9Q09FwS?W~;X zQgGPyw3&Ea7Y9NVtM2e31dmF{p?i#F((OKhe=a9jPd&l+<-m_iZL5V9N!wPY9`+pO zFGKST;*D8-tN3c=5Y5~F;R=9Zx(*VT2O>04>=_uy=T^+vS_=iQb*TT6n2Z%tu z_nRt(`Y{nD{yX}r5vCVsSQtUHj0PwW{iPR5AY%z0cQo$LoG-mBYxtj10*&ix4zvgG z%X-om8cp|Jx`8i`LeNSqvHQuB5qC|xi#?Mgg&MP>Q5UlAG)>RCbb|roBvM;gzg_xd z9VfJ;5s@tNk5oDxJ@6dQf|5{QRy<-E$>}hWO~bo^z9@S431oCXjMKW$g8^vRj)YIP zVOyOHTd(@3f!a&=b<-sjFH(pft!Y7q?|r>QLqm+l;^5kFoVmn$vZ=$QwLW8bQ+`ma zIYaqQ7JF?(>K_+NaZF1BPH%qB0qbzfk^aWpa3F-2=mo;`Mlw0EBg$bFr`sac zm`FT5$Pd)5b?tV!-TTi2#y|oIkn$=Bd;jX|&tACAg^N&WqU`K_(B>L${E5RU{WIerR!mNy1ry0Vyp1%yzJDQL}F@X&+lM`ykgwCQG6}tY731s>PT}M zEwiF%Gov@xGiziA#4g{yp021)iUg3A)p5&BPpXtJB$pVbb0PTWLtDKbR5TTPaW1q1 z%TB1UQbhmI6Pl~%*$#0dDepgI6pe2$QRl<;ybQ^4>?ik23ty!EH-i;>qteH@iq(@_ z`N(sU!!gIya+?-*>j~CYfmJ&PG*RpxVXO4=j%n_gpIicTn-dE}OGIQ#+(7V*Kq&B! zA2epmG+(w9!gEJMU0c@k7?(}%h<4`hom!2^t2wQj%0WF@dfulikWSMY=;yAReCvxk9>6t6!6XQu@3Vgibz zl@fRcG6u#JwKrHeKHZ}NPADL(e=J5s@?moQnXy0@*KH+!@t@)M#Qv|bnT6^9W$Ky# z(=+|Y)Uz=${s*!DU&>~72G;+MkwejoS=zXmIuX!|*%-Q*ikKSPo0vlJ@j?Ah(A;CA zy2IGT)V7TbXVcAXq++erc5}VqT15eMQ*ESGwZV4N?P2+`*Z1RzL;p4J=FvF5;U?1h zAoEqnI9B#YRxwm=Y-wjrW@~3AG%hkX5t{(Mnbplzt+g$s?KG)GnXSnI^ed%lATc?b zBLlMo;QCr5R%fam5X-C-K#>_4fSEZUGCCSM4u`<#cJCadx!wg(p@Py{VR3Hmr|bwH zIiTUx-{QxM3z+r_0L34FYs%&d_aEq`^CR@7&s~|G0jNVW4R9iW%^VOBRG9jw8zewV zNDr34(9HbA!~|Hug|!th6Tl>p%*<`ZYze^Gn>=8;4;}#7n_GF0zl3w~cLd1^38dlvrKWD_>OaR(}sfodf zsfE$m?Faf1{WI_8%RDFGx5SGW92|Sr-*fYK^1}ZFz{QcRiLor)*ysm)aroHY209-X zXNbRv$kf~p-oWUqZEI`bMm@x11jIx$mENjOI12QvSpi}r2bpm^k1r8 zpZZODweP`P0SOIxUZM1TmuAf$lj;W-1YK1=yszUs-sh_oHs4pP>=aI(z=m6vi;Owg=EAd=^`8R&oKlkYeIwn0Qvge$? zsOZ4R#Qej3nfZ7 zu#n4_S7y&&2uJEd75Wjl@~Z1wd8n;p0(Q4b_zat@gI}8$T@IJ;rKArZ=G9xf1^>hMMvcy-yfXuC<9{K!;Zm zJfZU#+#rFMi{L$@cxlAIEuSSIe;Fk^SCIsVpH~Sk2Id>{syFazd$epkE|Bz;aqvZ& z>pS)A!1ByR-~Ive{o?PwPD8?awPI*y{>e?~Z|j+q%nL$K?93mx0U?unQjpG3igpVe z;zK`7G${OO9gJCdX&x%35~>>g%?1kB)~Q}Ez0uhmtDJ@@RM-%Hn+T0R5~Q>yn_nWT zWk`Q;(r4%3VwqD^%#TDQl^2xa_p%NQYDSO=&=19<5UL?DD5bX$X`&YF-S0_*_Ah}d zRAjH~rn!`hKZn3U%A$?9Tz*||$0jK#%1u!}zG)s1KU6#Zuxc5kp~KU776D4P+YDA3 zz05+9Gz(Z6yO3M8bWI)OaZXa(VN@Q4*#a}V7puU%=gjIR`8l`AnX6Y~Xd@hC2kb8? z>Ici*!^N0?o ze_`<=4>Yo#MmgtND&wq{?+`StB^}j5!_tP&QbDvL5e_J^uP$^D95;4p znl~19wzJ=c6M+}DeUo}Z6K*v-*`^dtFkSLmd?9`5v|yYvzyAE_u%4IBlvrc^VLv!S ztDUW5EArkJZRUj27? zU?$nWXXl0R4eRlO&M|dff&)-0cK2{9XuP@A??RhA3l5I$VKFMe4GZ0#Gsv_vEH-SK zjBwe0Bm$U0v`O9iqpUsv_a~PC{F!RD+YQRf&?EwxVBb^6H)N+f{_5w+6e6*r_v&QMKn8Oq<&jfED6 zd!1??-I!`Vz0h@lDVID>K%(e)zrZ zjtn2Aam!VDdk!}y4b{A2l$k$_PfYzE*^{=N?B=p2IK7D+*Y`TpQ`+z~8G&8&TNQi0 z#%T0$-lVhA>O3%{4G5k_7vHtdL3gO;r(9ofdVZMm`QN87Rq~Y%q?}ZR`4ejHE6IjQ z5rvyLT0x(Mjv3l6I>J1FAXyv26! z?#~>Ehfiu%k}fM_1%cKu5B=ffgJ4yBw3T+QjwmTo#ar%Yo8~tbQCn;ItA4#;%CW*b zT;%;+4-$JH=^1gl3Rc?}wMW`Uhs?XhPW(U|*J|fZY9guLk^1?sr+!$gw zbX%6Nxlty&SkDPLx(+;jK_^P1-&Gb?8$2?TeMwUhIW4 zAx$(aV?Q7KVAXg%eXILNGo^CFxzps=7ebGOMmaP)+7NG?={X0ngUMS(cG9=rqx|ux z_bu&&Nfs)9Lle9wa+Qba(;Ogplhbx#85agWRc=}|#H&{jxDMOA z{WuNnOSc<*m-Zhwrb-7roGy=qNxvcArUChzH!He`D~^(!F4~lIyWYY`)aA=BltFT( zO0ubeMH#43*m-XOvv7@0K(`^5r@S3=7*Cj`^OD+ z90aV-(pKcYtP!o}aou=HL9ayQRp_Eg@KNr6Caw-K14riLrYqi96;XQ_^$B;h0T_%w zURlcP$#syd9vElbhTSPVj65uABKIE5=h3lDimWuN&jw>Dj_@8v|dHhahS$< z)xuMI76hbPCItpBu&O!dNVC$8#+Uy6Fw*kJ4&2E#P-$Iib*1cDQ95x=nphZ;I|N7? zRYX}ZQhUJ6(65DCLdD2PLB-J~h~GTW}5aNy`v&dvp@K zh`_gaX6y(~MKl;2JXw*u`N*1@e94bwF#yV$J#ym{(d6^X*?yt1{VfZm zE!0O79{v#!c#`PYd?Qa5x+4_&lY2F5k3hp~(_Kuq<_D%3aDzN*_NJQ2sK>X^(k$cX z`cRoNP|`cdrMR}KVb{Kb?vVP5&AnZt=j0>9`)8wGNVsxfkY%c#$1zsu;YnmitGLrO zKve6U8oyJuXyb&9ZF2wR252Q<0~*rXV*ha7bD;_wY<%IHX+RqWB=@$ZB0jQ|L$R!#L6RWfTO{FYdacE;dzg(o)Yrk z2MqU{Z3x4z7dkx*f3IdKy0)2%Vv}*j?|bCR$W4;oS>_C+O!H??g3L|3Wm2APW?UNN zLW=N4+BqmoV`qmSK^>9DuA>R{EFEQ3F`}rMkS2j&I807b+fl@~Qbc?(^ zPiPCG8#X*QA1AFICNEf`)Z2GCmA$C`>>Gfj^a?>f(tE{=h@PsN3QxeW0d!^&_2$Nu?6%Ox}22v4AU+E^pn{zpq6Tz4Drvn|3@=a-s8 zX>K*!v74Vlo0kgD%Y};3dmTZKjDIuhlO~N4JIGt>IZ@_|YzXpn>(^3Ur<{sxm{Tl| z0*Xm&XRN}3?tN~Xmc&)M>e!=_%+a9TXPX9Id+No>9OX+zCJsx`U zpLP$)wBb(RcT>9}sdzR;81o4-OXzD{>Bd-mSs_Hf3cuhjc$OLcZ~a7d4VJBy-KqfzrL%x8^E|!tA%}Ld-C5)XJlK66eBDw?s%(o4x=?t(ZjL`)lZ4mV47QaFQgk1r5xXs5S;SoGWFAn}o1 zgD^}7#KV9$yd?oAPL-4H@7pmrjAQqRK3WUcA4}QVF$BIjgQ|=pCUX+*&y9qGB>aSV*MhsUkDl1?jxuz+1YXLG@(q zj~tbSq_r`lnA;@wIsucJWPn1#gKe5V>nTA{IccmRxeJ5(XUSf+_0PA@ms~9Xru=q7 zn-ANn%;uFJhkYvD4RVfi>5#bGd*Hpesek0VFK!&FIKudt^_(Z}F|z1R;_>)qtq7Dv z-mCcjklF`(;F)XDDbcB8)-Z$x@-OBNBLNn&D^LmAbYp1ezVgf%S|!-CALUW8Z*F{h%rlfI z$HqL74@auNtW_jmJLNSi%ow}Qd+HIiPR3FTx|)Hl%W`?u`^lbz1EJN?CWQ^B6DOoE1WI&eij zQ<2M=VM*(>8Q&dISxGfeb;E($C6w)D4X(3&Cj9Ok1zk+vKY3}cua%ynVCo&^2={-lbRKs_C$M0jF<}q zzP_Z|p8}wZkHGMmOHDzy)BL zs7e{O@3|ODyQ#nEdyu<+EJ}T_%o4By6B31$y}B9Qdl4!>^`dHDu0w-6ioqEAIN-b2iYxf8nOWZ-KM3HGFs!JI8 zvPR>ke8M&si9yX zABQXpVSh7h?hjINKXDAb;onVxYJnz_*)<|jc{8 zk8w;1d$m%dLO;m%iW=Hct2pxFzz*`Llj3u zMoFfKD8`CcNGek|JW}&~MikAz%WypE+1L}X6v@Mo2v(!}i$u9`HWy(lcX&=&Ot_?u zCy0SIh87ClLUldr$^rMY4<#JgGsm#I+J?+xgx}oa9~lj|9FL} z=NrnA5}UnUJpzluh1u~}pCQFtWNt&%#Fk{C(&4jAWr z;YX1r^N{knG{=-wpk*lX5p z`l^WI1k0#{`5G3tV^uDgb{w-rh*x>ehRy_;a3pILDds5mk~n;D${U?z4=yBO1jE71 zi-OW+-|ndOxSJlk-Ywd~Sdnx6R=J>8^!P-35M&FR?9Kj7gBMRUlQ0=pDOx3||7c>f zv-aTm?Aiss{f69xifM8_a%^){Q%IrL2T3l&K58hQl{!UTU9VXM_1Nhw`^U6HpQh5m zA9U^QoeH=ex+#BG{NHrL;mcW$=4hPw!sub+na?%ay?t~L-m9jF9=$;UN4!qln@{H@ z>!9|cyr+4mo9_7#J~Km!_-iWq)pnJj_~^haYF@1UgG#FbxqLGP}+amgID%S zG!Nx*8#z8_k?kf6@n~$cpr^K%lEi5q6Mo|P)K3sgqax;v4>J4kS@+~zL8!47G5|Qs z$4M22h#c)&^^FyeP`l`vqgEu0UNOV<64Xy*)Irg_Jn##~Px6DaQB=*(;llW7vt9E- zNP1RY6gUa$YCZvainh@Jzw7|Cff|*u$=TJzBv~^(H)_Lx4m<4~X(E=9D}7yR=A&6p zuXHr|&eIcy;f?z|LxX$?^jEASY7|;Ym!}0mF^TX;ir@vpPP1OQQ5k9FzJO%*j7yu$yF8vD*4G zM-S>n_P;eec1m!TyZCb7Fb9M#3QSeFPunN|>NPAo_Zp?rHRCm#Y;TUUxc}u(=-Mo5 zEF&~kKOq4MokCXqgeZM_ojZK8dQYc>gp?@dKOk`*jZhq73$lO#mHul`89ts4^Bn4m z&!eK@4pqfUrDuvVAw6SZab#C17MjIUi%g>{YgE$DJ@^=*Nr5`)hiHAP6O!uaU@qhA znRFd426H(4rjn2|SR2`k-D!BO67`shBS|jO2qWh!EA%)%i+bUFX7Mf-6zqN|9kC&3 zG}WC*eIshyZR84W)-;_B%GNW*YMj%0k%c|{jD;2~y__Y27Mjs5rthQbz8%<=4)^lT zMrqcYUvzyQ_6`$atp(UDA_Bjk8!w+$jyAxM=A14FPgLgx%UTJJo~M%5_|8>G)|M zq~8wz{$0s$D}_iXlm#1iJ|yo9I+ee@9Y#X%r7@4*TuD)dTznzH&W){jW24v7K$5%T z@vPj)N+Bf4xqNQa@$w0bGm0`eW~)qZ;<`WP?}48snErIPES-u!0-e|<%Qk>SMJ+Kt&f*1j^ChU_zov%bg{y`k>S~yEB9bKe8c>E|ME3$miJM zD$bP?A&1*O%{Eb2%MFd4Z$O?!!OM;r82-g|hbD-%{*-=kd9BYC|M(kBPAo!-XqGKf zSXasu$+0E~_j~>g9j<`O76c3F=ftlGtX8Hi*^T~Qgb~Yfd2^aTigcZIzm%dE#@3q{K2^I?t>8p+{n20Ww2^m zcXxfHe&3_6NeW&~RbM5qZs4gYbq0=t@5UwiYHMvtgl8W5RG7J07Z%R+giXM+^)^j` z#F@mXo3P0p~=)3n(tnTxl zc@uu^i^M3`gBnP^;QmwaEypM1nhxPHg!>V~pN7SN?0Y4t=Nd}l2NFv!@{-cyV2?NV zF#x07+Nr)2JL|sS34R-1igqOyt`ZA&TFmTC(K>QUpjeTrXvHZ@L#wUWEOW;|ln~YH z%IyTvVbj7;`Zp>mm49uVc-2Ayy}>{Ek7g92vSO##UN=JsUji$!4if)!m{$-6XB}IM z#jPP;UjzSzgA#;$ZhK_HcO=5Bja~k4GChcijB&=E^Sv83nu*v?DARA}uX|dKO*jS1 zgM!*WAnQtqn0a1q$;PgxS4wB!_s>>q*{k#Ez(TtK0(e>=;V3H{hx8&J>TvwmXY-Hj9XI7DY~+_Ra?_+dma}281M8$NaQ%UKs9mhq9-Ur}n4(r7qo{ zqO5+)aqXFWntA$t%N&i7b>J~34gWB2$7zm4&mY|#3n9!t*Qz-Y%v@<&1AM1Q**LTn zibwS1f9f68Jt)IOyG-nmUHe2T2mQzTcsL5iay+ z>wiIxqjP~Mb?!d&`G)+oI|?P{6NQ2C?tKWyPcKh&c^brXsRJI+16!qECBwdoX_nUQ zHs0GZ{oNi-NB>L(DI2d2sNz3O*ZlA1eF%L;v~y&=zh`Js*8%z#o&>=>6jiFmKQc2U zF4fFkU=?dMalJ270YVagzhybqm8Ytg5flA3Cyw6@S8*UM)0l0&${OMF zVE?pYL1*stRV)9sa#<}#l5Ky2Rh+rY&xvy{C}x_bvLhr@$31+}|9DX)%c`X~~8 zMxLl!iW7Z~vX!PEibXy$WDTy+WnYdk;06*K*dzxxH1u#*q50Zg4d9bekG}9~(LL(> zmo?gNRuy~7k#_SRviEd|V*?xGRD!q{TsI=jd?UkkFZrZIBUmAf6`k^dd}|N*;RW-q%U;aV)6u7tpDV#`+42(hM&} zckb}xio!Z4O?rYo927YHb+0nZsgrl8KLZ--`-r$fcSiipqj8s?J;$QN7ZIZG)Um(W z^L|Le`YAy@DPz*i8wD@OL)cp#V6xC_whJ?{uWx78?)@=*2$4K21!k$wLeZ?tdXXoB z5{FwZGQ_!8#&mF$ADjDXV$v9+G&RPbePtWHfB4vo=#W{&qjRcIKS#Xnvp{hBKzQ&U zA$F&&S~p}AjO((pRGsfBz?ilgk|*j4_$Y1D?Lxk(quyHUS2$-P0m{L~bxD}^U1d<0 zpH<7_L)fCMVTCwVnLGB8Er_Cc_BmcYKn{w`|A!H8k5ZSzY&2lVqsA@ZwDQJV{0`Jm z4-4viF?XkkvRy2bAxsF;RWW;VFF|unE%}kgBFX7mCx0EgtuhLR5D06>zS%NBX0ENd zKM@vz3QK9;gHei1KV{YR`wmX4nu&!~0ZpIp?#a97tog+>4R-$4Imp2rYxMChh&LKw zGpo}K9H^hs>NfTEwFxk!=DS%p;|0_MG!jlVnX-X2y`r{a7~~(sos2c?7vP$x6G{D! z$O?7CLMJvGjU%4~Pix!Jp)45E&13wpNhN=(oxmlsw4Lj{BIkAmGZ>@2&Jf<^s}xEE z34)@ZyKhf*4wC(DCq&u?$M#M@n($Tr$tvn7yh;rwEb=ysq)TC9;mc zQ*CjP7qhre%`Wo6PO4~(%4ii859NJYv;J++`qG7dmTrFHn2stUg}6Zt zdvQn^$bWj@-b>j`=q_`EdPw4*y{0wQfZca2C__kiv=F`^5mrFXMy*B^Oo(L3$T28I zBunUD*_GFreLQ!1cpsKYv>r zVW6$DDnDP~B@ih%=ZqIP0G~0)!?usANe%Gee1wz$e&a?xw^^zo98+yKq3DrwD{5q2 zXGWvmFPz9D%_c-Zp(^w01}AXA!MxRDZ_!Ecw{^hIr7$3Y^XB1wxRmd5I=EgBxDu;) z;c{*C=+uGSU1y`#qTnf~q}lzDfYzCn2k zY{_f)PX&2t3wRaEDMW)=o?MsO8viMDIQdfDT;+}Z65hhMi2ru`)I}5&<@f{}D6EOU zsv@*3iCb7)sm_K#r*Td2gmE*vVXe>z)&NF%bHn)r!$xixCdU~%cO3t5jKK73sl)I zq1iAVH@-2%&*U-a>NAN$wTj-1z-YHwm3R&NQPDTL;X)ADLm3h9%~Tb?Ikt~$7p2vX ze4cXrOtsVkFe?LyLS+Yg@)(?#g9a^^NN0}7K+wl_)gkZfJhRt_g0qU#-@i}Brfqf! zKe%<($Ii?3WQIlSCuhW=1&KEX>GObB@PQihmHBLQU0^h zS`c%1+U09&gfn5RplS>myy2;Rv*U!_2`O!#6=Wx~a9!4LTDSkQrqt@rsEnsK%g*S@*!u z#`ojf#AT!3C9DLfxGro}#oOgDq|paH>8UY7bv>hWTo0 zF4ZUTQJM|`W}JM~uo6HxW&tP@n$Do;5gr!Qf_Mc*3&dy78pEeQnH$>f%V z&MnirFIOl!wqQ1yRvg?u{1DuY+GH^!HV9C_)k@&g9ma$Jfr%{l)|M&GcQ|RuY^R58 z`osujVM1H)I@ahRd%nrse|y(&7YO0Wf~+o`w<54Xgah~XF`e`qXqm+(bYfbX$~wU| zEch!1UBW;BcOs_mdia08Lmr3Uo?P(*R4g_*n#CKsC0i9DnilBMjawnY+^PAz7Ju&nTOITQ_-Tcpl;n2+c@-*B8h^w!|FJ+qRDHLCBUZ# zZ6(J60pUox=yhg5ngUZMBFkU-nNQh$9+?(5*e&rthC7<_GdEo?cAZhOf?y(<_BWB= z#*chjGwP%!rq#m52$?h9K9y=_oX#}nl5{&H+@j@eqrK#tXhq0e0kL=pzF;7SXzuf! zv?bxfon?nomyz(+JvS>|Y3)rVU<63%H|n-Pvcdr>V^F6!uy$glQsph;(*bKSv!9q4 zt!9)pfUDHvh<0rt_!$}JDV_%IYa8PfKMYHT3{bk9N;~u^`-a$<>AUmAGD=l zUB8r>qrQO!F4_G`>9ww#NY3BY-Blo;WbESS1CYufV-7g7H7oVd^cc2p{1%BXi{H4` zWMfBIzJk-mY5)ikZ2uwh0owpLdBk%CqyeII#yom)vmkRzuQ))Sc}f|y9LOr(SX=Y0 zqpdji;wM~yW&91OMWbOzQg=5TzZCNMU8*hH zy(wByr`DOEv^)e)Vf#W@)0yucBG>e~^31e9g`zSbl`*(=14cE~@XWz=Hgw7fq9@Eq zA(qu&fGPg63QS}oacExc!Ku5k3cxY@HODG=9&(=fN zazGfW>*fpQC?48IhnYKB>9}4*tqae2wLF|L>9QrtqsDQ0;%}i^B3!A7Iq&+|>ByAQ zHq^U%E_|+)t1K`9F|PTw{&aP%&64jFkQ#Zb4E_m$KIT0>^A!Z&LMmnvGJRjDQKCTM zA&eKPefUDS-^ybBi5WwpW}HHj+*l5g_(=_Wc2YL<7+&Iq4G2P(M!b!VtjELmcCN*w z=Ee~gZTsjD&sYh^e0*{?&rxt#t-FI&A+Y5X%cd{%4?ZQO%A0_!bx^baM*R!Ty7*J9 z#3wcbEhspVw*XF9E&xg2BP&MKmF~{-u6OkH@5=p5z(WR;>meE*QGpT7aGE2op&~uK z7cgziTzJNuMB*(AtBvB@GEvZmFRG13!6`ZofckPm=61wi<$&&3S&G$WIjhKmS_GbAriO7xFznA<8*m>-nl}*HOYd3TC#`ADOiWM->e77N zVNQB<*j}R#DZbHBbRT4<$T0EU5D6wsAdUlvdEJ2cmmuwDaxthM%spGF|BRE_CAr|p zqd_e!MR;tQKumi*r>#g>1iuKcIpj%cQWI-bm6?x?nU_gd+Ga`)!BZ~98)=}_=C0m7 zg5Mm1_$aCSS*r|9%K8} zhZoFe%@JByw%0_>O&)!!Tax|vsAPdaf9ayUI2uKS(xgrz@pXm`E7%ijrbmIC z9!ktpFMB*gQQ!WOw3?@ZX2v}4oVwcesIk@7$wXL9(rVS-zJ|SsSwZ%=k&RS2A(6q! z1HO7Kj(nHWTBW2LXKN3$liuZt!K)f&Xq1_ve3~_`c2z)P247)a@MRl>dIBgpAkH?x}h;ba&5pwx*;ktQa|0#_6yQZ1djElxYDm5$h5Oo zeBAl3Wm|LMr>^bX8oKKQ=pcT?0vu2Z3xmO+E)Q_}gIJQ(K-!;c^h6Usg!AQk7#i-} z9Jq8fGTsfMJt0Zadhj4W0Qxq!#8{?Co{$&ofzAaH#=up=VXXDc1D! zH*2k23N(1Z`7v`ce&n*yReVP@7s&yOwm2?EQ0zZXH@dqQJnJ&5JJc~H)-Hak5Re=c z)#^7#AQzmHO6^*N^&A1g4hUyi$cYpJL}-U@i1spf9K7U|s!9SM44h>! zA)ov|kqy^+53W3Qf9EBMd@bz63&4|RJu?2%p^(h; zy5#QT(;8@1Q0+d7=LX8;pwnsCzw;vub()}S0-+ytGw~f5sL-j#y!Shand61LkcN7G zIb`46zQeQ!k>pGdjlzQyf^XWa?Myj?xI}-v0k~9`#LUQ|J2+eJUEL&R>f7>Xh802N z$1dWF6Bm%Xgd4;10AG3RtcJM&r}6L^A|t3mxnXHb__vYAUES%Y5_FXDREg8t(tx{^ zIQ$8vQI-~qr`QY*i*xMiW{KgU_r6kdS9`?r@FCV9GY#{l5=36~ewgYwmm+Xtf;vUT zCgyq`0b(RrLq?mhDwOb6EL>c`r{(GL8*tRh9TZbUNj3O_v5POKNyk4|eW$6LC4z4K z#^P(}0h=V7?t2PKGc5lp5II9hZ5hYnJas?Z-+qi+SRxnLW1SF9$8jRhS@TOHP5vE; zW&byvNC=(~iEuxfdRHlbT;7I47Wx+){diL%2xwdIh1hR(j*$JM$(mjalw)i4i2W&F zRTvFOP9fMR&XJpCPMTn>U$NUSus`+e(ieisr4>>{tcEG+&MN@~UU&Y0E-@{}bk^n& z@1y5lQHlY^ppVMe5|&FzFiv+D!WKKx28ovFD&5{Ev2nBVL?mFn07r)_yJpMg zd~WXn1!gt{M);N28f8d%5w5Jxy$xicJCQgL4@4orm6k)bDN$Z;D-u-B%2|TGT8*3Pe7+pC;-Ij$5_YrwSCt||=@I@!#Ogs>@ zrM#`avGAB3(NX85^)N&-Dn@6&(+4GVeMurG!;20>_{27`ARozvKV_i)&gez4M8_v* zXEM!77^~!$h*MN75Xz2!J40j<^eX}l`*Sv8{Ikg0UJVJ4SEhKFr$FsoT#~70#V-Q5 zHjhCrd4S0kZ?5`Uu>kI+_LXi{sgGBI?RpMo);Ei; z$WMaMOrR@czzFhFA0^}&vKEM37x+hpxQWrCah4UY?QicwpD(}1&dXx}o8r>pm@GJG zvWAb@vWd`9zSX2Cy-V2|V1G4Ug&xztB0TSI3^A8rej+5;FTyyOIZrq?L+FNG1MBf! zUrdb1IeCTqNK{pJb61vSWkE1(0w|KL=p*-_!UV6E>4l6m+Z1x1sz14sH*qq;7b&i- zn>7`HT5%CvZJ3(q)iCIwB~dFN*F$c_9vlG#lJ3;7vS25|>^*OT`NPn{7%#65@BO96 z0D#&o0-6@865a0$)g7=Hc2P_geUdSSHCP!Q8wJhnco2+jJMc2+j6JtlcOv4tZu)oX?zvg(hQ&YZ%9Il-=30Gl#li$_gyL3u zB6OHb>jQRJrVNs@WsBkkl;3E2-a}Ed&<|_k7ta2Cvkfu2W~nIh;NA;a%LAL0#S!1> zfAK8mvzgu$htjoZWY+m|vsxvrbTHdRy zo7%dci%|k6b^Uefi8I_;gMb3mNNq&3on0z(hT4Pnm38r-%4jN0h&6a4RWkHIt7|q^ z2=NijE2>y_wK?H5qosdMROwYY`#qo;zDAOKb`OmZ~&w#t0g` z_R>o6&D$`^BMmjKS~Et7I37_){wtPjoiqO#na;<}{9lcoWl$Z_vbKW^7!powuEtjpPlTN^T{ncWSi zCe+!kM5K4(p011SDi0sgNY{FxLiu&<7@lpno{IWEy#XrGK#DMIk-zz!2W>j_cwVzd+C$UBu7E0 z;N@_C@?eVQw}

X-S=itnv2YG?3Ihkh`VIEwnCG82e5!m4t!%A_XA*!kA%5gj9|5 zD%59Xv<{5|TM~+gpITmSB6DOa$S|P<8wiMl(CDKL59kkvU(%KsLy2fK7c(oU1`<7_ zw6@q#MEOJv+1ku+{_*%yl^Z;<(@kG+!2sM*t!3hbyVz~8rjmYs<%1?%EbKBCT|$bF zl*dwQ%UjhTLXKXOc1Ym=i+7vTIW-E#Ry7%2>ulWEvzP_|uuih1_)3Xy>_1R?iEcevm(*1y=?6&m5(FH=UE6 zE5`G)3ev0!jW2zN)@g6|B@*v$YX-bE`bYcHb1UxWNWE&7q+xmS;c2^ZulNX!Vve2S z;q1)Bc=LHQNW0iHynH>BBt(Cs}P#L zDS=AJTw^LF6Eo<3eVx4Se#Cbd;l{Lyeq2Ej|J~YNVyrEVOhB`qnnbxT0w3?hFPHB!kAU)*c@bfO2r>^b9?51YaGW@Lo(QPU7AvZxGEah4O zsS@WWrKHx>^ENFk2rArlQ z@qFkUc_Z!GvW_EpnG!qFUkg{Yzv;)8WO^C~<3jFt0=|>HXyrM0U(1oALC>7{Tp`&7 zf(_?N6?`6b5Y+;BH_ezq5L%+LYVh5lxsF~q5w=5B`tge$9aLW}l|v^%e$i2JVF}B3 zgqYnyx6jCbbG)Z&JVV_%6*jW&7)E#F)R#)O#mO?W5gC3KgEp@2e}pps{1de5o8-e+ zn&i&^G60u!iBdAvTQP$GG{&Kirg4gwFLbMD4=LE9=LnwFq}pWuS}G!IA6zMWF;rlF zQ-F>dCtKUd@SP*;3M>7{`w?W9;3_rD0<&-q`l9FQ-o_c{Zo-5 z+Y%P&6Le5?+Q0`6ax8(1+x)dfh3BB2nyDi|x*!iDKeu=*0t?T)JzvV&`!+HOy_GR+ z{|@_GfNqbf6wBZ_BM&Fbgcw3FUBE7AQIBinIx-I1YEZwiG)z6s9G|w?xZ><=0lDm* znq{Apr^#mtn**|X#=e~NhI8zR7y>&t9U0DzSZs2Iv!5+cg57$Yj70nRI+EiOwk5?j z;8*XYxa+(SZcTf+W}|z9Pv-U&-zM|h7RMJloKqFpOryUSqPI>nb}r7pU^+U6h`M3J ze8Vu*R6EE+$GE%lwRPhPC}M-2voeWxQ&|Fk?kM`E7WyGpwkR0 zFBzf0qy9Lb@bZ>>F1NQ0*Q)qqpwb{?+tfmkW;V*?DC}IpvfR>qd83pWpp8R)pOU*e z!uYYXJ4t%Hz3=i#Gu2)`$?qE@dFjVl0kTUMDjBr<50~DkeK$@c*Ss6D&wD-D%^)SJ z?~6RdXTKFqXVTZM_9g|XO%eBSZ*FhOXk>JmHfQ~xR8UhhjMXH+%dVk%>WTrcSO?=3ggay<6^KjO#q& zf+4wjxtLZ}&Eh6wSa9+h&3S%|k^>>?{=kAR1DN!8HDb(MJpPb zhFR~+(;72vN5t+Ys!$A$ISONOA(AHgRB!spz~yap|B7JA_;hVXSNI%+W`v78_>>dgwNq>+>>7k!R#xNU`s5;e%ycUIb|rXmFlw4dG*(>N|6v}s z_TnpqCxl>}me*T1V?vRwI?PdGe<=G^!qo@0Hw(908sE6>a4^DO>Ayed5as(o)*+hc zpi=a#^279<0HTVzFoo#u+`So3xpT&~KGk;!Z73eZ;>*qbm{FZGSvsThAy_CDH$JVo z6{g>Y;d8m^E`kY`G~=OOeFC{X*@`ZlZy5GTx60qtyiw7MP!-CimfC00P`kF;mt1$0J};gPFeA&JOo#z%JuKkY^j~r$=j6TBUbaescfmpo0>LVjv4g+mq@$Bp zrmTW3OGlu_wQp%lda1Q|4)2jGQC_SPA$l ziyx^$OfWj>z?Mo&j8FZM8jH|+D&Q&lrTv}wxIqfSM?)jeEtWF%$$JS?1OpB&PEf&n z)EXa_c6W|Bj7|DmKy@qYu3L3%s&lW0PN|@nD9rK4Qbh)D5H((0lay`}A2U^#5158U zKn7B-$2AY%$^1u~Ei#)!{G}P?lj12b^t|s^roJJEf?k$n!;)zP25(LV8*iS!uKsWG z>R7(Vi1vsvoLg{4EsgCxp*2aRhO~o51vwT!uTFpF7DaaQZ|snqlAv^Ft~R1&W>N|! z>Qy}HN)KX!S50C`0@CL^@DfX9%&kxURmBfkSWNS3@>s7~{5-Z@F#7`V(V_+g|#h(p2 zPC!D}p=S7|s96>Tgev6doUhCSwvFOtd)2?eVsQLhECvTR0<%2O-on+A4Zy*{_CJt} zf2Cq@vT?Hgx6mZuKT|Pkv@F!s)>}(GprJ*dQ&AQN3%E<7G_qp-FkHYjbDYDq)_H$cwf`5kLXb^FRA z*OLb?0D~|bFz{(DsTngW3{6q?IW)minua7sWapE>G-&|F6cnroIu89}}^5`&IB7|4+?`>t=5n2%|v19(V@k5h!NHp{{;BEOtiipvsV~I|GxF=5;*6Pm-q6N{g(Uh4F8cs@a3K2WmmnRE? ztaVQSfuhl8h-fO>HyeU@x_6h?-x&QyZ!DjOhWR#BHt<-pN}W|x`x>t*wkOwGuD*u_)L)}AY>w8NrPmw!|7U-3G zpyS>MPQtS$Y^ONn&gTtDGK*M0NMlBo235-0;3r;hAN{49O}CLw=t=Y>WOAVA;-WvB zg8wDQ(OrpLsOaHlE0k+MJsE|B5*+2h-@oL|O;JlNOfA>RU<3a*A;aFQla|Q!EC@Jk z#}qlT;GZAju3l$D1GU7XbK}9CeG}(DgREt5?*vAT)j*CmIaj8 zDCW)S`L|+Y>^e=Zm{6&Lx4b6PHiGxmaGG$aOl{q*RAT16*F1-unzCDBykAlq9t8uN z@a3~JCu>1`W~_$U+2Ip7b8(u?_*@QsXw-2neni~I;F|60!e$VYCn5V6n{iypzpd(y znU?-JI-qb9@!kBoN9VEp`_cIm>#S=isql6)l@;(`+~KI|fdNRB+Xlo+r@Jp?alK?p z2T^0pNAS6ZSF{y$%Qkno)j~t2Oo=}-g$pIAeSEkdtksG$pD}s;pV=UWxuHL0)k>d` z*fe8`HYcY$qse)~BmM-MXS2~^4J18~)dm?>8E~2PEP za1+=7LYY=8^8g=`_^AfuL+kN#eh*J_H4AR{0KtF$n&5>YaMUZWE2U<54p=VnDPEMw z2uks95TSb{%-5VNKK>k6(E9CqA)xl0JJchjl(FzMcgl!5ILCHIax)YpGH)~5sdv=F zk6O$237YzT4Lkfa`YZER>kny!LIo)nZy_gt7eebewUw1G9;(8-SVz#ivTc#P{P35A z_TO|-^nJNWd!5xH4HzP4Un8dk=$q6>FAOLBNjo@%1bj#t?}2IiCKyEQ{h7D&|9gdagIifj3mNipaIsf@m@@%ErNs3}xA z`j@3edFBy0u^i*+LyUzdmK3ljrI5s}g`HR6;JVVS&0^?@Z}~Ia6Br@_gvA9muZU+( z?N0-?yysVEj+c&qwb*@EJ?e&XnVj#jvMJG(N>OMrU?%ehUDWtg=Pb5_v8B&}ST^HG zw0$TS@iExnDR|VJCH*c&^^yW58#_eflVI9nQ1k~<*pdb9IQ>#j7a@9N+Go4yorLWx z9>K2+nN5N(3}2~ic~67)(<%-td&{pTX6jvubvvAD=bG7!bIe2N(#|xDb*Ld?x)scsg5H`cZNU{vaKdxv&IolxXVnojg@)wsc( zO`od}NCGzeT>^WioTm2#9|P?P8l*j(0cFCJC-_G+M!qX9r$I#*%3N=*Qn5)L>^LjE$^8xYgqxWej-qIfFZHSj%S@o4|KetzuHh$)V*rk zf`6U)j$VVNdq0nE@Eg(QFGdjlJonl7;E4FC+~i(u=;yLYwLLCC%|^pvYg768fJchh ze_Zv~qH2+tbsWa1_9d#sTCkpbToWH*j`DzP&r}t|$ua6nNNnM15(ef-j%-es?A6{lSTDpyc5h14%DvhGTY$DCpLt z=DPZw_G32w=0Nh!b@;wQ`NKuq;KBf1U5RC^zrr`OwlPGKY(uKJSoIh&7~kbmX)+m!;=($Mp(C~DD?Z5!T>!nJL>Ou9OR%or0o+$}%SrN{!Y9}RJ z_>OlHJvg7wlP4_l0|HqkBp!(pb(iRv*}rg)%+hLCJmqdP)d})Q6uZ#X>8t2@E0CVs zQU!2f522?A9*;#oR^9hEVUec1qV)kMMoyaB)ad(I(*u@_n7`jmm0M^qp*MQsyzV+% zfmTv2zkKl-*!cMs(oc<|aBj-W5LQgdciX8N!Q5!ax;0Q;FJQM-D7N$ z3`*bKZWNTGHrBxs48kSxpjxF1#ot3Nq1WcPNS(dR%hhHrnfMvfDLk8%Yu`kx8u8~+ zuFUN5*GTl-{HXV2Wrf?Kua3V|O>d?kzq&~Y>Ezi&JAZT6;5oCDFrcu1u%%Asw6(L0GYZ_qj8RK|`g^ZWG4UmPl ztZ&3OuwpBnMLK4(@vt>xS^RpexUcFkB0I7c)LuGU1@)flwVM9vTJ;DoLw|@gb#|`h z_)y;bJzrUBdc1g}8Sm^Y&}LPE7xn>ah#D%s}H26IadFR0Ro;V~1(3kIy%ww~7) z6>-Bg3XaV7X=Az`Wiv4_nlu+wpJ9I*9~kwV$ycgRdl6jeHBtc+)eb5jk3{`k6ZE+X z&QhUxK45$}O=v=ulC|sP((ji6Fvbe$=KVz-zO_nG1=AvBlxsA_DjPsKyc7(&*STt? zhGlMnetoBV{HcgoD8_7z(Y!L}kXnwe^bEstK3msOpdsk~_xNrcu#a=O{C6}P(R9~_ z>7pknQGRDoePp!hyzH2tk%o}x!ne1h{^)D3fHQpvP9g8CETxuklKsUQRrR08nUh^a z>lqL3C%E!BQ^y+zg0a-`b$9(<>c(h7R=-SEt-@R)Ce$5f#K0ybleQC(N#phh%GrXWUcuYqjVt;dh4 z)i4#i3?%#O>dMqDKS}>Z0TWRl!t@YNC;A8RiUdl%@c z3Ac&TZZy=IMA9y6&m~8;J7xud7{9J&NJ~L4t^62>1n1521#q_1qYUP+xDp3!q-Zeb zec_J6ATynFtHOm6H#ZFtq7M^VS<$pC$CURi$sz>R-bkC|77~7geaI#3eq19GSkEUC zJzt@Wf4nfU$?W}VTFpj zz;(D9Sa1tMZ6lw#57ppAOkW}P;}$Cf4qjQQ7AV3)`o#ykF7K3ouD+bh@vk?!ojWFe zYq)UZcDC4BjF?*`aNDvI+dk{2V(V;kk8f~^QFXd`nDZqpBH&6UGNq%rTLmPMslJ}m4J3I|lD@GkVnhRS3lJGO~uO zV?|F%C&Co6pg1{UE>iCLqZQ>g%CcJe%uKA)x?aBOm{<1NUYSZESM?1y1DC?WMWzp@ zaf;GFSx)Cvjofk-Qls!!WUL|2RTnO9Ouh;932@e3rkYPW)ozk{5oMn}}nWN-zJVzU>%W|xgK_o1t? zC)#>zBqtfdrIjp*dp-EaHu5Z08(iK<2+3~jU8t-7ud;a!;@veYnIp@1tCUd`aXmr23H)6Z{|E~ z;DBF!FDVJ2KZtK{mhD7Yrib0_Pm9luH-AKvCA*(Ga;Gryi8D+FE}~3bN!K2mn%&BT z2)JgRn)_(zV>c_$P!$kgLmWww`9z+K%ZYSLu=;O7 z<$5I_2s%D?J6yVuEKrC_#}U`&*S|D{9aezEHtv>3j88NxvvgkaR1Gy9=bZ#O66A{u z8?_A?u&OSF&IFcL;=OxYoAc5f17#LZ+^opXar=uXGA{YDH+0K;)W&xwurY%XiX`K3 z!i&0`FG&xaa2k>1TO+?>Gvh`Di{o(QSTluS5?@ysEVw}Ajy7K=VxO5{+ys0-Bz+dD z76vz1xooG6KWwtuC{>>k&e$M;)i+0;QdBjXr;LBO&vxwZf>mVX$n%TC)w%A{kAHM{ zx+6bbUI1q7zDg3H_Q~C`_{LkPBy2gZT;0pj`0DY~JbgpYp4?22bTH8@D6RzREU|aO z%8#uPnMJsRZStVp(*A6Atzx@HJ-+c-I53v>4-W$i!!Vl^4J1-5kLly5_i+^R7O=XA zLWAwQeQo^o9Dn=!+#*PU=iX2=_4WeVHQQ8+Vc~qdcoZ3sQS0?ze?7bJxHS2cz->FYd)_+NTin_U4IylqNGOJs;+5$iJYHlXhKvUO` zmY6fp*!AO@ys5NWoHL7H&dW9jiZ_QhZ!R) z69)?uD>p5(9MH?d!P(4(h8E$UPqK2b7ym#918Btg*jU(DSyrbxTslJ zs6Xr!9L)ZciMq3~qa)DlgF|d=>jFezR#unLW|DNXwKXxexBuW1)2Lfoxd1-4e~yO% zpb2z#`RE$J&cw>W%E`;d#mUIV#P$Ej`C$Wnz^n-1VEac(*xAJuz|QhNL}dUg zFDv{1HDP?NZRfDgh4yw~=tP=@%r(NT0vQJ3Rgq*Tvo>Ov$?zF=)trd2bzjCg?PB>d z*1KVUSdks;g`+u&_QuoqqC-k55<%cf)S0Cp_;~}$7>i5P8^RGr75*22*)It0{3{F+ z8shK2@&&gLMd;y){-R0sdqPsajkH1*aeO9)jP!toq!58db4DQ#Q4R%AhKSB59cSEr zqGTFgFev1&y&^F#M?<^IMjk#G#Hf&g;F;!TA3b)#wt%AXIZA{iwYL!cTa`!nXJ zjPU9NF?rOCN3&Ptl1-p0013rvxgUH8`HDAB-fxJYa7{wKL@+T=@)ni0hwg1haE@1cHvH?~^Dcn7PwwbT3<%b*4b~E0&y08?RQ`0)JLSGZpL( z|9ZEbg}e@5hXzmR0aN!PN#-Nfa2WxBqq*#9QX^P=H8fMgPYpJO81wEd;bH? z7Q$#|MAh$Yk)qGafC+1%zD<*YtG& zVWA??s+g&CQAs(ZXeZ-3*~c`H^Y4H3TCZsj6u%{-+zZK3Q$$ycaK?r83$2V5YEC_) ze$t!0NL{r>;zs6jHxnMi^l|d7*PD2Zx0TizU$*p`q1KE{;{daY$~>C%gS-}|)u84A zCS;?G0Ljk|No^l%u}AZ3?R~h{Zp-ZhF9{!_aqmnZUf!P%aoOnWd*wEKjMq3vNw|<~MR4iljit)6mNqkdYm?Sai}c^g43}a?^~D zuHVFsI<1HEF;420g(zpHzJDSAwzFNDV4EZOT+Td*Zz5x@s#WscB;WHl5)ab2vLKH7 zIiK5|Z<^$6R>POgrEYhe6jCl7*VU>?(bx6ijZuS^8Fr^-y!GtnM(tF*-K@38Dr^T} zVXNbyO&0@y^QAq_g*!@BV`!H(?*M+$j-8E7!K9bjtqcxxGzUHXiC1%eLRD2<8ud15 zE~vI69O~9GHJFYOWrGAfHq%Y|eDR8|!Or45ox75MDHi}GXil%ME#vH>;Q}-3`%VFfUV-*bWj#zDaN}F(KG8@d zT@D#}31jT;vs(=hXF;HNaNL>N&?(+s#$3@~|2A70AG_yElfUoydbjpp-d3hZZVPMG zLSzP&icdT*kWRA}M>lKoAf}B3@>h}V=cH8z-NqRan5iNe@_}b(EFuY_S6+j_iVpj+(F;;#dF})wrZ4pi zbfL--utMpxmsWC?s@pgjhlba2>QcC-@oST+vL3g>$!HwvCf&An#x#l!bQ^VSpX;HTf6z-k$PVzC&>Jdl3`cNFG3q*vuCs?+0bpCHo4?))6V+9B9=5TiORv zpN6mu%hLlN>(T_`zQ(>fE~hAKip9>+`m@4(%~3b!Hwg|tyw3j`ZR!xaC=;MAuG1iO zRBE;&NV#_qxtZ1F**f_x?rJiZis_JH?ZG5YQDM{1o?6|!*Tp5s*~y)NdDp~rv-JSe zcLvW3g+F(5w{ksH^P5N4J_+$ds(zId__tApg7*0V*9@U8RZV4#T1HNRol_v4h~C}w z`i^mks*FVsTgD8$^+b53>?cr8N&BV$^m&&CYaHg}OIL}){iezMndJK?B`#?De-kDB zt8T(Szw_FvKyw6U8GAFJCqRz{z{#$Uz^rEF4g6>!FlzzySOFhe3LocG9UNQ%oGc%4 zg6coa%^d*$9diBSKpdbaz|GFaEiNu0F2TXV&Lt`){*_ydQ%szjg^fpyhg(vVLkRGn zO+I@0XPFwn%Et50*y8_CjV7L&Kps>^l2GXrNuRJlx+VH-TMz 10/97 to +% separate the .sty file from the LaTeX source template, so that +% people can more easily include the .sty file into an existing +% document. Also changed to more closely follow the style guidelines +% as represented by the Word sample file. +% +% - Note that since 2010, USENIX does not require endnotes. If you +% want foot of page notes, don't include the endnotes package in the +% usepackage command, below. +% - This version uses the latex2e styles, not the very ancient 2.09 +% stuff. +% +% - Updated July 2018: Text block size changed from 6.5" to 7" +% +% - Updated Dec 2018 for ATC'19: +% +% * Revised text to pass HotCRP's auto-formatting check, with +% hotcrp.settings.submission_form.body_font_size=10pt, and +% hotcrp.settings.submission_form.line_height=12pt +% +% * Switched from \endnote-s to \footnote-s to match Usenix's policy. +% +% * \section* => \begin{abstract} ... \end{abstract} +% +% * Make template self-contained in terms of bibtex entires, to allow +% this file to be compiled. (And changing refs style to 'plain'.) +% +% * Make template self-contained in terms of figures, to +% allow this file to be compiled. +% +% * Added packages for hyperref, embedding fonts, and improving +% appearance. +% +% * Removed outdated text. +% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\documentclass[letterpaper,twocolumn,10pt]{article} +\usepackage{jsys} + +% to be able to draw some self-contained figs +\usepackage{tikz} +\usepackage{amsmath} + +% inlined bib file +\usepackage{filecontents} + +%------------------------------------------------------------------------------- +\begin{filecontents}{\jobname.bib} +%------------------------------------------------------------------------------- +@Book{arpachiDusseau18:osbook, + author = {Arpaci-Dusseau, Remzi H. and Arpaci-Dusseau Andrea C.}, + title = {Operating Systems: Three Easy Pieces}, + publisher = {Arpaci-Dusseau Books, LLC}, + year = 2015, + edition = {1.00}, + note = {\url{http://pages.cs.wisc.edu/~remzi/OSTEP/}} +} +@InProceedings{waldspurger02, + author = {Waldspurger, Carl A.}, + title = {Memory resource management in {VMware ESX} server}, + booktitle = {USENIX Symposium on Operating System Design and + Implementation (OSDI)}, + year = 2002, + pages = {181--194}, + note = {\url{https://www.usenix.org/legacy/event/osdi02/tech/waldspurger/waldspurger.pdf}}} +\end{filecontents} + +%------------------------------------------------------------------------------- +\begin{document} +%------------------------------------------------------------------------------- + +%don't want date printed +\date{} + +% make title bold and 14 pt font (Latex default is non-bold, 16 pt) +\title{Template for Journal of Systems Research} + +%for single author (just remove % characters) +\author{ +{\rm Your N.\ Here}\\ +Your Institution +\and +{\rm Second Name}\\ +Second Institution +% copy the following lines to add more authors +% \and +% {\rm Name}\\ +%Name Institution +} % end author + +\maketitle + +%------------------------------------------------------------------------------- +\begin{abstract} +%------------------------------------------------------------------------------- +Your abstract text goes here. Just a few facts. Whet our appetites. +Not more than 200 words, if possible, and preferably closer to 150. +\end{abstract} + + +%------------------------------------------------------------------------------- +\section{Introduction} +%------------------------------------------------------------------------------- + +A paragraph of text goes here. Lots of text. Plenty of interesting +text. Text text text text text text text text text text text text text +text text text text text text text text text text text text text text +text text text text text text text text text text text text text text +text text text text text text text. +More fascinating text. Features galore, plethora of promises. + +%------------------------------------------------------------------------------- +\section{Footnotes, Verbatim, and Citations} +%------------------------------------------------------------------------------- + +Footnotes should be places after punctuation characters, without any +spaces between said characters and footnotes, like so.% +\footnote{Remember that USENIX format stopped using endnotes and is + now using regular footnotes.} And some embedded literal code may +look as follows. + +\begin{verbatim} +int main(int argc, char *argv[]) +{ + return 0; +} +\end{verbatim} + +Now we're going to cite somebody. Watch for the cite tag. Here it +comes. Arpachi-Dusseau and Arpachi-Dusseau co-authored an excellent OS +book, which is also really funny~\cite{arpachiDusseau18:osbook}, and +Waldspurger got into the SIGOPS hall-of-fame due to his seminal paper +about resource management in the ESX hypervisor~\cite{waldspurger02}. + +The tilde character (\~{}) in the tex source means a non-breaking +space. This way, your reference will always be attached to the word +that preceded it, instead of going to the next line. + +And the 'cite' package sorts your citations by their numerical order +of the corresponding references at the end of the paper, ridding you +from the need to notice that, e.g, ``Waldspurger'' appears after +``Arpachi-Dusseau'' when sorting references +alphabetically~\cite{waldspurger02,arpachiDusseau18:osbook}. + +It'd be nice and thoughtful of you to include a suitable link in each +and every bibtex entry that you use in your submission, to allow +reviewers (and other readers) to easily get to the cited work, as is +done in all entries found in the References section of this document. + +Now we're going take a look at Section~\ref{sec:figs}, but not before +observing that refs to sections and citations and such are colored and +clickable in the PDF because of the packages we've included. + +%------------------------------------------------------------------------------- +\section{Floating Figures and Lists} +\label{sec:figs} +%------------------------------------------------------------------------------- + + +%--------------------------- +\begin{figure} +\begin{center} +\begin{tikzpicture} + \draw[thin,gray!40] (-2,-2) grid (2,2); + \draw[<->] (-2,0)--(2,0) node[right]{$x$}; + \draw[<->] (0,-2)--(0,2) node[above]{$y$}; + \draw[line width=2pt,blue,-stealth](0,0)--(1,1) + node[anchor=south west]{$\boldsymbol{u}$}; + \draw[line width=2pt,red,-stealth](0,0)--(-1,-1) + node[anchor=north east]{$\boldsymbol{-u}$}; +\end{tikzpicture} +\end{center} +\caption{\label{fig:vectors} Text size inside figure should be as big as + caption's text. Text size inside figure should be as big as + caption's text. Text size inside figure should be as big as + caption's text. Text size inside figure should be as big as + caption's text. Text size inside figure should be as big as + caption's text. } +\end{figure} +%% %--------------------------- + + +Here's a typical reference to a floating figure: +Figure~\ref{fig:vectors}. Floats should usually be placed where latex +wants then. Figure\ref{fig:vectors} is centered, and has a caption +that instructs you to make sure that the size of the text within the +figures that you use is as big as (or bigger than) the size of the +text in the caption of the figures. Please do. Really. + +In our case, we've explicitly drawn the figure inlined in latex, to +allow this tex file to cleanly compile. But usually, your figures will +reside in some file.pdf, and you'd include them in your document +with, say, \textbackslash{}includegraphics. + +Lists are sometimes quite handy. If you want to itemize things, feel +free: + +\begin{description} + +\item[fread] a function that reads from a \texttt{stream} into the + array \texttt{ptr} at most \texttt{nobj} objects of size + \texttt{size}, returning returns the number of objects read. + +\item[Fred] a person's name, e.g., there once was a dude named Fred + who separated usenix.sty from this file to allow for easy + inclusion. +\end{description} + +\noindent +The noindent at the start of this paragraph in its tex version makes +it clear that it's a continuation of the preceding paragraph, as +opposed to a new paragraph in its own right. + + +\subsection{LaTeX-ing Your TeX File} +%----------------------------------- + +People often use \texttt{pdflatex} these days for creating pdf-s from +tex files via the shell. And \texttt{bibtex}, of course. Works for us. + +%------------------------------------------------------------------------------- +\section*{Acknowledgments} +%------------------------------------------------------------------------------- + +The USENIX latex style is old and very tired, which is why +there's no \textbackslash{}acks command for you to use when +acknowledging. Sorry. + +%------------------------------------------------------------------------------- +\section*{Availability} +%------------------------------------------------------------------------------- + +USENIX program committees give extra points to submissions that are +backed by artifacts that are publicly available. If you made your code +or data available, it's worth mentioning this fact in a dedicated +section. + +%------------------------------------------------------------------------------- +\bibliographystyle{plain} +\bibliography{\jobname} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\end{document} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +%% LocalWords: endnotes includegraphics fread ptr nobj noindent +%% LocalWords: pdflatex acks