From 50d1407c97d0fad55aabb071adb4e090f993abd9 Mon Sep 17 00:00:00 2001 From: Mark Pizzolato Date: Mon, 16 Mar 2015 16:06:23 -0700 Subject: [PATCH] DOC: Add paper by Bob Supnik "Simulators: Virtual Machines of the Past and Future" published in ACM Queue 2004 --- doc/simulators_acm_queue_2004.doc | Bin 0 -> 64000 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 doc/simulators_acm_queue_2004.doc diff --git a/doc/simulators_acm_queue_2004.doc b/doc/simulators_acm_queue_2004.doc new file mode 100644 index 0000000000000000000000000000000000000000..3faf5f23824d908c49fd342648ebdcc12b3ede00 GIT binary patch literal 64000 zcmeI536xw{dFNlZc3ZOK-Pk667}-d;TT*MWB^hkVEy2;ec`f{;f1#c9y}6u+afbHP&Swx?p}kjM8AS&f&zfyf^lcgp;|RyO^wF+N z=r8ntoOv&&;PAWt=gGqJKh`69T6#Wf>FH-V<2uOmE4N3{FQgg_?YszlY~a4=PrvPy z`xN7Te1}~|FZcDsb*LBS8R$10!~8lOd!x_M@JMNLs+?<9>y7R4-KBbSDp!t&a`}l; zrPzq8V{vn$7!T(f%{W&n#CxWiQ}yDCTdJe+$W*OTI{=2c?| z#rn~r^*PnZjh4!#=Co=xs$)%c80W^C#d>xSjHVGE%~eW`iDKdO5sewL+K%aHu3k!Y z;!B3f#f4&{G+tpE3~elz*I;r@H@HIaXt7+aO%^N7%TQE@6WReH!rSVcFS1wPt zmJu}MDsizemCrRxRUT>)?uKc>g05MVC*z*Te0F0BJbCZqjt}D-%rTf8s zQl?rf)>%bX$YD2LGeJA`qoqc*zBaD0ILwg>qto%-L+dx)u)*fqtQK<9YGkrl&zEv# zYm)(0r^Y8(y8J{~TwBe%hYmX)4g#mu1<%Xn>M;`sP)i_3Ns9VZC5B>~B}s|aFf*iL z3*5|AibetJ45P@9W<8g0w&v((=IG7MMIxz=7-({tZBc^<`TKK6b2in%=Q0@0c8wN! zGFL%PAZHA_qIpq!3~`i8+>?Z9tc5_sOg+&V@3{WzVaoYxf#t8V%yF$+Z|0DKaV}q% z_=0~}LzYGNN)_hg`9w5W5}6^EVf3AWshI^#QZxqVJXu{g^S-!TI#M*I>5Gp|l$c?; zT0H`VNF@1pFyAAQ+@Eq(FbJMUSyVpp!2i*GGfkm=>^@g3EpxxRRJzFev` zitASFyJcv5JTS0{$^)A>P<7z?jhv5|5w(631tb&;G(oZJM{OFLHjaidu3K?H?26rZ zusWS9_YdV!Q1R`z4)?3YkzFJ4w#}UE1>Mufim>0_O#|2W#kU^Z*S~GUwv<)Ul6DAG zwB`wYC7&8E9Z_1f2_`3ckH{TPbO=8U}QaKlFD}vjj)i1 zSd}Vdj|A~1mCBo`kf_t3Mv?mEM)4T)DaJ3^__7;W5ZO!hW+@N1j#cwW9~+mJx+ZlZ z$rPK(Dl5edA4s|}<#g_`ddZZinYGT$@+3=rh;5Q7205d}Z=%|m9pV8q3}XoN9QIA@ zY>}4J+tf2-g~_z(#%Ky+nqknjteRleos}7bMF-iBR;Q4xE$c{&*(}!Lf$i~LZ!^;R zL2o3vQNx4a3EKcI18ezVPPe$h3{)D==clkhKm?MnGzOZ@B4n~cy_2t=1X<(56D8JX z64hC!YFZnb7vkGMelqNF=^~kBxl*~$8&EYhZgiAFOAseA9KCpK96`iROiP5(Poco- zRx2>RJO~k!({qJ*JXbRVKx0j{STE+Q^}=?U3rK(lRWJ+9o|BP;Bmtr5()>hmlIiA= zfY3SwgJK6^!DuKR&&fq)y(PGY26uXNTSc2O3P5K)k|{JpfAbpM!ZI{I*2{^ ztkrp6JXyl-Fs)o>Ig!aSlFiyN*Ui*M0iH-G9~lSZj3RDtM2jLk3+b+cjev|RjLOiU zhg=j_OisE1(B?J6J83QME{wzIdu4b=hE%i(%&Q{}kA@g~ObzIP1G$XsJz& zf+w6nk!VSlVCkqR*y!=769^e}iC@frz}A%40R6zRe)L#>!ZOkgb#<&biUTrE3891$ zafatCu26T?G?675R7Q}zmQo(cQxEc5!p|C(BZq!Tub;JE&FA4vsYA>fHJ0%QwZK*L zEpSTdppk>|kYc+>bJI2-leF@z8spgguz_meuU7p?X9y%WBWI%0DNWpgrT~EuI7qkE zS3lw;Bkx+ZmY$AGPu!BD@COr1d}l*baM}?wd5A7AzTHDxo`L$}yDFvQ@!bRccW;ix zNU~#`%QtBz zhp~YHHtk%umgC}0rbl9o_X>+SRWsQN=8X`+i6({_(9D@5*Fv>K?Z)l#NSNmCmg~7< z#R1uLiJ_MvJLignt1yQO92dhP<7SPyu!DF~NK90lZfFq_vjvl#wPnt{S;h~Xu&9GD3)q4MsO{9N>AXI*0t%$|xxR-32;XR3iTI67| z-OpMEN--WBzDsL*pG=3GM+gtla>e7tJU+jaL*gyU0N>@2=IvWiSiLxokVoDGUvQ#Y zM${arkO+K zLQ)>FxVhz0zJ$2+3!ey^_(-uRhQs7OqJ_@#u`@^EZx#Y`p`^H%XeM4$$yIPNxm{qc zX(kZD0v8yoIEkDcFVb4}P+RmNt!u4frX-}wnhuasOJ$-L!)C0 z$P`c&#z7DY?dl#oyt?MSEJE8=1M8jvhY+?&d38Ne8lUJdD=G|&iCPlLW!g87>In)f zaZt6`5S+7wp)OaE6Ny%tebkt0V0nUuv3hmVh9X%bv!4;FUp(hh4R;Bm@k^!xehA`2 z6*9f;EQ#X;)VIeIK_8@7#Er%JwGnvPRk*QLT#c!H+L~m2W&Jo8K1J)UxCp*@JYV#N zy=gL8Q}wADi|9rEjmQgg1xBaFvA@PclpS+VtmYY#s9SjoWS~-Z1}1XuV{5% z_AlhH&_TM$D7_ugvLd9JRn6=bj7BU1j6o<{YCvYbEi#4pe=KYVr6%DzB?_rowA_bL zTK3d7I#oX6l($0EGEI$^=s%e8rp;t^y0E`QvD^Z9c&s#zPw0Z5tR;IQVzFvk(zPho zZS6462GJUGHuEj9Aa)ELshO~w@w_|7n zF2E|q{DWX*ZFf3kyj&f{LPmVn;x&U7E4^>BwpPeP3bU@-2}<}S#&E}5()QXRyjRoQ zl^k76=G4A-v#XI~f=F}{# z3T+CrIU1HNYXO10qaDwAVj+Bc^MGZ2co`$li(#>KXA7uigZJY|UmmI~{(4n*12b$P z!B1U17jY^qOlp`G2L#@n*{t6d)Fyzb3AgH^c=;VNt5HSL$%*IT2`R;cYguyH5{XbD zMC$xl#y&Y(MKMAjjpC$y63H{Pcyg__ogslOWHz5rV_fY#Ueq=MPHHT9im_L7mR&9$ z9thEPELg3XptktUXKsJRVH^N=-&urp&ukMNZm1T#D&qD?dqm?wZL zQCC34P`!lGR&1zH^di}dKFL=C1FV|F5vrWBg;H)D02T44U>CC*qNS%hc42?=6a% z9;eqT+U>9%Bh)80KixY)@0#;*MMS(sA4`qO!`jw!qPWlSl#44zd1t`AK%)_+3=eo1NK6W0y8?oST%e7pybJxhoTEYwUu3eRnX2s4aBANylTVgky| zQA)Uy?39S?WZoUC6ThGUv((r9p)c2!iMo#o0BKLy_ zkFYnSY28Yypk1Bs>%}j+*i0&ss4NLMoiJhERxKEsC$xL-_(r)TsYYy|5+~NJ=37B5 z*I@_E)W!{Y`MpHQ*w#iNTr1z0C@H9_;SFrt$_`7w4f9Z2){1N;1_q`>u7dh&5Kgj9 zQ7=~!=jnl=?ZiM+HAo0OAMl%q!^Fg~fPrV=6sAW)NhnK7QjQpIhB%HvqEbw=2G#Gz zP-=opBm}dB=P^+*?}M0PlG!dzXgN=`6`GzxXw=a;n1x}(!~Cr=@;@rt<+nKF#B{^9 zLMS_Fu9h22xils-Vh_kkbYBqiCV~19ydct(y~1W}h!T#0W<6OZ5-sPX7tff=i3Xf^ z($;3IbewzO!F1vg&qyr}NQaiwdgPFvTFY z9Bj!uYAh7NII@7HK)1Ihk{L&!slc-$qC$}_;d#aBwCQ01Bn(tzE_80NwH*gqry?)K z*gX<8BEKJFt~t?2sA`B!&zVskXS7hh6?kU68B-r|7n40SAxV93a3|+NoB;isb?x8 zA2o4B1$H|8$nf?1Y9<1}2zM|yVCtM4d7%&fSB`-1H{GkL=>s61p|7_wCy^E*R?>p) zNkY)&X1#RW3>r;x^Ex(Mv4)lZBEA3@_#xit5n@c-$485#YhcZpDzx4BnRWzSXKp!> z;r70mETmM>1RyiRTEZ>xt`sj_fki@Q1e{cEvMBXYYOwe5h(t5VO>90j$b4cVB2jLW zf5diH1G5pkg*p;A8nAO{h~QcdpC&=_klQ_|Rgs7!Q21%VAW)}U#6Wx1pc&oFU6DYa zG{(Bnk$aek3Y$W>s~(g2VIee%+o{Fy#&Ty#EKxCJPK50?+mS6O?a;fF z%C9;?Ww*_{J@HJiu>;$sY0D8Y%b^Zr+R*n-@64=NA<3wa8Kr`Q!?OF~%7|AG#Z*qt zI`vs;Xo=2Dj z6gVv&2-j40_Lkc(_L-YA#LlzIt zD&*GO!r(2R7W$i+9~4Szo~MUFVO;210tviY%n@~@e9G)(kX3Hq+i`)RoP;jqt>Zip zh)1Md7$jrX{S25#4w#+lbK@lEB`An5H`W?eAbiwrp1nxL5YbO%y1j$2fm6nkiIW&J z>N1-Gbz)Qj6Ray8WuW;v$V+gVhPfMSny*2tVui#=K*YMVulV{6=o+MLNsf#qFggo` zwNtL9kDn)5hG88?r?g9%(3t$AWkWj;#xLmiRqpla!8daMmdt(E@S3$e@vS4o5QA>m zG(hGi$IbAhC}cDs ziIpahw4E@N=Rwa(;MbDkeC)}vpEe1Qlfih*j#;4snX4AtXT`G##9{s9;~@gs)faDA z*`#A_Nmv9;E1q=17Q!*Ktb&_PGqHc?wh)b#EehmKd^E4J9Ti#(4382TP-vk^keKKz}~ zf+;uWVY?kkc?e=GB2MUSb}rGqDdFe_VR|$Xz9xBP2OC>WRp{5EF`hd_F(8|!S}6xE zr9?*3-eLGfiCPK2I421iAS7%Y*suW`8___-0!!C;q(Y3;`Ncd9kJq}euL7lJ9+BL( zXT+vGvPWB7Nic}0W!22ZL_Qg5oj^L1cYselev-h7bP*F_FIaZ6(>bkdlh_J_dqO0B z%^0o4V6**X`*6)V$!`-scxZS3zPnG4<2a2BPs+Yzy{E`4bD1kLMaT$(vLGk(Lk1l6 zyKtn7c}&%mtZ1HxCuH{X$!6;}tDFZ$tIl>pggR}D)oCX!D)Am*G6y;GqDqr2UWaRu z9OdW8`h{wzOuC++67fJ66$hWhen9DD>3&xi%pRg*sZgqFyIUgGC+u7JGe|0LQ#yZZ z07BVKcjO&FoQ!sefFkj4CsUMvfbsl@-&8f4l&fJwqiX|}DTLUIaQe99t= zkent^7$$D8g-}k#%!FeW)TM)J7ZzR_^#VQ-4=2WzF$o%XihQND6i!R1k-2~_@Qx71 zb(F%MsRJQ0Ic?0>1+%m(iHIX_$88+UToo5+oH-uPD#6xpm`l)RtmZd>%GGg(3kL0G zGW;-l?d^8rMmoc*-V`%Qn-s1js(9aHbGeFix5FLaGQ# zQ$>Yqr?O=X!o1?Jq^=X!HyRZ|tn_ACmo$%3bZ^3#FbX73c+r%ysMGYY)V`v~9w|kq z4;^=zEHV9vn|ks_?Nx+g68$bNI54pOhD|0TbZ1D3fs~FnZQHPcKD3eUMVQ~_lgKNx zy7YT~!T&rX|pY}kE$ZkHI$RZc21 z*EXvb89HfiWSSJ2IW;&#=B{cob1eeK0B^HcB*n=elbCvP!Zm32dXhSOvgMr`>Lzpd znGVT@3F0*_4s#vBez|{|xB@n6)^$aw9hC?h?qiAUEhCM|dPLGJdrZ zL<{7_WJX zyE3BJFeJRORI|oC?NfIYnimRbnq4~!P2jfJTWI8Jm@4s`8;mhYn4e`J7V!viy9#Hlt`YsX((!okw9#4XP~7E6L|wcdWIS(O>7 zMc|UXD@krb?~dORosa#_R;J4cK9t$!`R#wQ45aIa2(n~@)@RtUzO(mBSb>f&Xs8O7hl2po@)G1N`<%9|w zl>y_1=@Qp0c?S`j_nX#h0(l8Nn2$#^dGDm#^4SdYTB5bmK|YQzQ_Ckw8OM$D?gJ(1 zj7jaZd=kC+Af948_<3w%gFPEyGA^fStZiN>gB9^0lleGeoN87rE1p^6p%s+v=xVi) zLo$u+db&L=*P13`Om6%A#Qr6XG#x_~m^$P_xwjLuqmH_GR6|al9l(?n7{f zHRrd=_H(T`-}LlMW0O_!NR3T%-XnGv)>x^|EVV#YUKoIQykPhH3{a8Ra^t1(9Hf|c zfmZXzKtFnu@~(5Bv=%MlGw!dEM^AT@R4 zAU7hG7{%9Ox>Tv{mQPTP6-3xRU>e;;H_OH2p$5{-UON?*Fd;$WfrRRU!Rv%8G7#$V zc|3Sq$Q{GG;^B_N{UB)4q`b-2L__#@gw|}jb>ehT=E`C8k_>iJ> zOx~re3W+XuYDx*pz})mX3XZlj-FSPyKvIN44%>}5Otu@x;&!ovB>5C#NQjS$6pN%s z%i|G&n06qy!tGLPYYQLAVrRCuv2ooNmU#-oHDnn_B$rWixf%OX=_ zMeFD&8J<#`ib}NPQ%G2M?eTJ*eH;TzBw293TH3nS;v8_(OTUtWlIL9qKcq2fDk#%+ z;U1aeY4Hd5aSKLNt2(=gSL56(qDmICcg7_pSTFbuMFldmNbwezCZ6U_YELjP1X`_B z=HV)kqe3XvuTRWyX6>hU= zqBZAq_U55mXf|;glTkYwAgj76PBryTXq>jtN`8)Fo)j_hSV9PrB?jj*sM7Y_UIY_q z?2U(GeXJqrNAgY>FpiZ+pFCk$dw7^!!*+-ZC!x}QJd2xPIPcyEl6~g!%rYVC)PseW zlpLcJT?H0tF6q?>Rry4TJr(vkWG?eIp59GTvLP=AC{jT4nkc4|nVf1ru{$#FhB}GW z5)&?7!Ni(VZ0Ep)u7GBqo)qu4!m;?*=sns_ZIZMZmqJT;pW*Fa>2;|9`{Ia_96SPM z_Q5`hdksbGEc*1VxYcHcey2?CqD#lqW?IOpLy#AW?)9J3%DId|Z>AdUNR(h~O196K zk1p+Ld0JE*h7|U6Zf8UBSV=KKWTKKPP&Rt6$KLmVIOaZb>sJXGeh0qe*yTMFEp%uw zkC_Fq_k2uU)CrH)?X^-m2fK&N^AGEVl7)37eW*`EL@T6sQ<_dMGF%VaNmV!wHowsV z3n4|0M;dNI`-%3n^g8VJNqr2+iK1I`RC zKYO=HYcf&X3TbS-^%gj5kho!)H_f!izw>C7*gq=>KH}k0Q^vI18M%S-*O3KMW#MBL z;YH=dFSXP>C)YM_up~B_?uI#MkLZ~bv+zuKy^TkDg&h}Dubhaye3%8LibsRNdc@zg za!GW{xq~FKc>lnGIn z)H4muo2UA^Q-PS|LHJet?v~kc7mH5lD0Cx6sal4mwiyp=B4LYJq@kCigb@f!mo0ZG z9pN-d;6EJYLJ0akOYmx7N0(cZ#mc%B2hq5!n3;Y~3x%{2?k2kyH13mLg02n%0~UZd z4!c)I_-Is9j>lB~h@)4`eDomWw%W>l)_waLhOmz?(Ly?#LMFHPkWuiKErDh+PeKk5 ztUk9zU!c>!PA(ESShP2QO|d{)!LE?p9Un>vK;q?gvk^vI zqB7bW=cdUOe?lB+V*tT`!jmp)nDSR}r ziSg>S(L4Ohp(kBDJu|Sr_`-Pai-va}ynWvtx5ZaaG@G^U>(@ib6YG$an0b6!t5_H> zu4Cn{j(aXTV}Xn9O&g^lI@M=ArB_$mWW4gx;0^ykmPeGNA{Roe&|)CZoi}1WRa^*W z=1Z*Uch6bd7GvA?ks12FIb__8*pu!HN21=D7N6T(a%78rp`0>Bdh|&F2y{5?^^IUM zjOOaw$(&(NdnYu_s^bcIstYdxhe;qe9XT>JZQxTr-M4LgVjElJod+osLfJY>dGSw8 zf7;tG;RObghf&G)HbE#Tl_V7ArX+j30hVOM=!yHRic2Qt(nXLQLqaY4Tn1_*cZ|BX z*y~8JmFi8h*D|ne3z;+wgk4CPlPWi^!xVAqO#h z48XK2Zv@KWcKJ@h5wlt7LmI~zJ6_Bh)4{8+-`uA}hesrL2DV+lf#3@%=sxF{9k!4Y z3!d~=JB}KQi$o>25y#uQb6dE?(vI+z13Vn*EHr{&L(-LwD61kK+_`J_Av!uSn9~m2 z&H`KhyZm;XWy~C^Pb**x9Xek^(j*?(n#$iGtf`qX7C%}x5t;lh0&V1D#k=`Vo%j{4@uR*l2O6-P#x6Q^LpqVp=0ePdwSqEjjf~QavR3mYBCV6REc7iVT4GIY6>&3_ zJ{JPuZueWBrBcBul)Q|j5`hj~m`7tX@2WMbNp|z)Rk)BtnAnZ@JaD~@W{Vq)`Ebg& z;mts$jf58$-Q<*clb)aV`7-zkED5c6s#cO47`7A^W$3W2Bk3W(msJ_U)-T8C0^uP^ zdf>s{E#y7ec*MGH(<~$j2?M7MhCW1Su3m~35`wp7+F8f+W7lur5cWPaS0t5=y~Y-< zWTe9VLFQ{S8~4*9C7%9m__QIi6N}xzlvE!Y3NEuIvrCS>|1uRyj*siyZVhNf4Jk8i!+xiOqj_JlXKlope#oWw}MTX(4;umCKa%9n5v0lyr) z4q`7)pmy8~@b=MBjonZJnhBxjh!1-SsG0?@p z&jtqgJ0ClMy+CRgB}81yn*xY0RISlerXha za#<98`5e{*c=oycRSV!S@JXFRKY@;};r!7RQS@fu2OdXu_25e@0nfQMI(N^4+k$z)@4R3 z-OHav3@ls-1@wp~KM#B#xbnOxdI4}h@Qc8kSGIJ(yE(sgRZABXIsfnl$YWqBf8k~s za1792!TB!m3~=j3lm~tlcs=l5bjSD7s63mC@1`5*eDR&R70Wd6?X#$pX&`fv;qtGf zo6bDxTxX6?GR4#lOuzD>iJq4Of&UTMJtzjx`Qa|Ce}&d0==D!?zVK2S0Imc2fWNs6 z`T+J`9!2|s4_pyN9|T_U>?q0sujNk}y$*O7d*B4{su*1lyyiJP1IDorCV)=@vKKOP zCL``LPtN8dv*h0pCc-cCB-3=~Cz)cIi?4=eb3nfEGd-I+ znGvMN>G-|P`k%`a3W^4<(3)I2;Oz9x9RD>SdtJ8r2Z3ugM$xsvhk#(aKhF7Mo1*AF zz>+P~V7jKWEmjE02>t>l*{^Tz*2%O_^GUS!1^Ud@U z%<)O4*pGaX89~biT%6c|nB#%}uhe>M0{J22c0VzQVny_C(QFfcN36$!Gh0V2(39n{_#xI-Q4;vA{bQo8yztWBc*; zlW8qYjs84k2}D*Bfct89Jynm?WQ-7B8uiX(vUk9!_5JhhQJ`H>Zc;Rr%*S?4I zzXDd@8AZPXyc78RLFZR58^Hwu9=r>B0y4PDU}TOLXVXB2TRUIOaReDNF;nO1G`2fm zWa@Oj=-f}|I&J_ccv*nwKlJDiWd**1qinxm6)g7hU-qBHJy;y78l6y-j96oGlAKk;z`H` zToOkEZ<^@2>ai!*$B#Yv!sk4;bjj7gbKmsVMXP~p9{VYtUw7zpz`)ljvuh6J&RFD$ z|Niv!Gr#|-^WX65=y#&qe*4^BN?!^P7luUIZpSxI^+sEx<qwdcCe*&jqR%ve>ArM7Eov1!t(g$?7j~^?NUfPEU}#DOz}j z`kSr(LRWu5yZ&DgEwcJAXghv3NE!bkSAXHkh)ldNe#_3|vHe~U?cDLLQ@>U2GfLJiqvtTmLn8h zt`Xew{NCC`6rHlF*AV|*O6m_g0nsUbx~W;S;5daOFAVAOZIS zzX-gU&FZ%R?*iTp+{)(VUZ4OJfe(|X^bug`N=6PG1C9gV1)c#y&eE^0VywV>&u1?Z zcmnt|u<$~5NP+8sKHzUIVl2SkOUQQtK0qAngTO1EMZOF0T5@1s2RwWQ`7Xe#t|Z?D zc+InU2869C&O!d$_=o0dNSs2UdG8@V!l}2k=ga;CF$K1D^n1d_DVwz(z#GCg7@VQ4|Ba zfZf1@?D4-EcpLC`;E5Z-Gw?n3n7Ne;R_%!et;DxudPYE0b?g9P^SUto( zCGbw*^LMaM2`oFnJ|*zros1v2c?7x#o?w6E)4+4#kJZ5QfTi$3&j$X{?*YN1I!oV) zPQP;*MS9OrW(Uu+wa)&|Y<-Dyvwd~C(;K(u<;v&|0zkh9T6cOgceqGq+NtH!%Pcsp zFWt%Zr8{TtYqq&d`ef(c>CVE`cw8CX3FB$q3FB$q0loS?(7LlQbBBurKd#K|cV?TH zq-1tp?e8E|q6JCsr1)Q<*fL+n1RQKhhpq z{QM|)mZk91sU4LG_&HOVfS*of(sS=r=A1cxw)69KXEyxEdduRc)1BohTJ2P3@f^zpdhXOtnhyWD%V^Ajch0`A%VyyV zS+!X_x4$!6JFiE8TIarz0(2>Dvw&Zw92PbSzPC63xKN}-2iL_5GbU< z5Z?gQhRWemM}LSP`c+^VeyHLw7v6Kxsf!;_p{ps?2Q-2Ef!6?U0)Ay_6rBVVEx88R z4;%n?uEGlk-inR-4&Zlz$AGV0!5h24uU{KQzXja=yeN7Z@PGR7%7I1wyfq3u06Yvl z0{kc7Pl*gX4t$Im{xPr^6s!PlV+wZxV|elv;5xkO>w$ZLB5>UhGXpLMb5{ee!;^kJ z@G$Tjzz|p(0iJVr6g?m41GWJ2u9rkt{)9jn|J<@D`fK1aX8#L-F!EYp`F_>~*uyCI z1L=6c5?1?kSjav7{+6i1{|3G}OmqiWekV8q-U$2#@NN$qz*C4YEPy=P!4hI~7t!W9 zytrG9Mx!_yAv#zi0$7TU5EmSTzFtb)uu2Nm6cO8^#ReOc%W+n)@XlYN@0mj4`e1Do2eW?&XOmR;gJfLfPcrVb1FGp!!qXsYVCsU5Q*r zE%rD~3k_=PDz;i0yOO~a-Bin}--zyo%hqw-pskF6(S<9hFct4#UUU~-H7g&jW z2i$i@m8H`zuCj9GXN#_WKIG|7nx~gX_w0Op$*%W5^utptXa2V;I(XaSi`TsEV{e%G zx+tmn)mpaP$JgwAxKqvA((@m>{gm}tTT0E^(pPZZ z%Z{$=GwRsqj&qYfcbrSj9p}0}7tA`^Rp%u&SDi=ARp+^y3uhheldF=^KDmmTPp)#K zT{P=xAG1nh#t;%?B=VHJ8jf+TmvKe%5gWu4SUizlcK#L??6YWXj0AHce*J!MXs!>(v zCPW*a9uwMl^oIxbFQSP>u8FtLGK%&@GOvlWr- zh@$*N5{ha+k&dLbbz#!P)`bw|)`cSHc}-;LlB9{HOK4*064%5$Nb9r9k|sX8j3z$2 z%r!9&(t5}8q=|Pdr-^qgpZ7$LuS}XazLF-6ublTp_Fj-QvG)R+*n7deCvw@vNfVb{ zOcR$~JnxA-b!pPXQ5_>a znsD#8B5I_<);bmTKuZxNO<3jjblFQSr-*uA-KnO?(W|h895X7cW1sD*uonm4E8LDX z+Y?_e!GYOEE1L78O=wP|O;lLNKHHNTsaLa(wmpUQ5(b%Vv?44&+Jvw)+SyfDdt#WE zoM}%I^AebyMAbaxOnV}k*F@S=%e*GiNmR{aBJJsCUK43gNb{OVCsB3UL^|8a?MW*o zWIEcc?I|iHWIEc(vkIAxeYU5cl#uCIvpw0QgiOcL&MIU&_Sv3DQbML<&GxjB5;7e} z+Z8g{KZ*9u*hBL$_}f#T^CHYs`IOV3@%vvIM2Kkao4+Vtw`6q zZ{ea#S}k03rB(|UU8&W=MK>nd!o|Ogm}FOKwN|7nwOY8Clhj&HdF@lGTKH*?F`VnD zy~Fgi_Wjb=+OJGsYacRwtv$W;we~*K*VU`SxarOA)Y^&3}()Z^&$8?=e=ReN2 zPVHDgNLX2Ig5?+P>+NC9bgtjk{@5Efe3Yj6fZl}L!E1`A6f<8E-9?(%5uh3!<6qq+ zLoxZeQYx)ih}{dO>GQ>uy!8^reR_KrFIcp2QSX9 zxAYP_Y7@i_df1Zg^qsWZ>6^^S=&|C4UpjB>f4qg1)WtSiUn4o3HrvD0R14vC>;^@z zW-sBDOMm&Y=o?QE*>u~(f4}RY*S_?R9{RXiS|0sZ{{0Vd`d{6u(X8f*)WlV9=J*a0 zPXCZ3(4Ocjt{w#Rd(MLB8|kjy-R{40!@$xdZ(a2M=>5@y4{qE*4oCDXRx9FPUShq6 zbX(S7Za=*Wd-_koYxi5e@!#C3bqbsn?$11)I(31+wZ3i2;C5*FZs@8`0_T+RL=2_o zNFbarYI8iQBvJSJdV_MUWYj&DDk{DRdaZrRXZyP|$J)I<3k>`aag3Zit!58*o_x)J z{MIuECRV-k*Oo@tJ@0*=gCe6}=fU|L_54kMYCZ}`a6JJm1pXRW1bhRKSpO$LGI%MK zL~vJfB*ofZA{2SOfNNw)bPq?_6a|heIMz6x$MIirT*>hvj;lDnf#Zc7PjXcMU!+rB z;Imh1M@szh-&~VFKfOJ^yHsyZ<;w9;Ed{OTQBQ50 z3$*@dd=%@RJ+F?QcCNB_RO|eW=yioEbls`Ga5J#cJ=eI0O8I(Ke?&b#%pZx3x2@X{ z#XGnkO^gr9K(zBGf9qxc?b#pevGd^*uP;3RWBP8ljYUU^WE~}zb?pAS80cc4i-9f% zx)|tUpo@Vn2D%vNVxWtGE(W?7I1>gs`Tz2(d;j8-fAQ<r` zoNP+yfL{g_19%glxPf8?mjZ7E@Am8{yfP$YN0TcuH zV?b>$r17+`ueiX-RIO4v67R`Pmdev48Osk=U{c4`{;05-uFtz-nf1qM$Kx+B5Y1r& zFyA=Ba_VY)iUDZ8hf2+I(Rx;kZa%?JkGa;}t$^z60CcT$&Gp{leY@`6d;7jSZX2jox6AH7T?}+F(8WL(16>SsG0??8 z7Xw`kbTQDyKoFr+i4W_NA1&VZ(hE-d{g=4^1bEbl+yU$a zZUF{?UBGTY&)HT_{^o&lX>J2<2Zn$x9ZLVrbIlF0Bf0R=-=Ki~c?2*vs0;(-u)@zkN;+ojw4({I#|L$*3Dv#k8 zxqQGs2w#=+m-9ZH6ZIzjYaDZF;3gFk@$wsB)pD#rIY~is_viZWc|>S>C>(GwmwH0V z<2zi*@ZG$b-)NglJ1TQI^IyzSai6))U-hoOU;nC}z92Yhsgqj!eNe#|6yg5fOZfVq zE8Fg0KD#h){Ew?4kN-udeVuN8LK-z3NMeP2`DqQCvRv-z89An0u%G1K)*Xx^>ZRJGqcF*i2YP+iWsmWrcX*R*oi1OFCWz4Meb>aECt