From 823af05adc830acedf1c9d1d774f775687783b63 Mon Sep 17 00:00:00 2001 From: Eric Brewer Date: Fri, 25 Mar 2005 22:57:53 +0000 Subject: [PATCH] updated arraylist --- doc/paper2/LHT2.pdf | Bin 13389 -> 13707 bytes doc/paper2/LLADD.tex | 82 ++++++++++++++++++------------------------- 2 files changed, 35 insertions(+), 47 deletions(-) diff --git a/doc/paper2/LHT2.pdf b/doc/paper2/LHT2.pdf index 97e8e57248517d8e965d0710cb6d12b2de14622d..a9e31971a3555b333a91a8beea0eb593dc298f89 100644 GIT binary patch delta 5285 zcma)AbzGEP(?&wNK^hk6-d#3nK?DTpk`R^#=`L9i1tmmSx)DS=1*J<$I+hfWP>>D@ z$(P6P`M&RcAOCspzvjN~IWu#gbN%Mb%z$0wc^00+SUASl#SMuyzl*~-PjfgDpQNFVDibORKd$%lpmfPXyzXL6F?0uTg( zfd9b2aL6AR6!E7X?AqBs?18}u=pPsY{yzqD8dE|M8JR+Rwx?;6lw(%N5ZU7C!2+#S-3K|a0JGUfev$k3%K)^{ibd!{wHBFR`MPT zc}+6i!PX9**W3lI+07~jZ+q@G_ul7KaqbNZRU_4YNHBj#R~!s15DiJSxB8J075fC^M39eSeXU4^Y0fE;}XfbFKGPI{|-z!=WRpXGs36b(f&Fq%< z8Hv0}Y%+&j@c>D@D}XR4D`+Z3Elw{_O%RJMEA!qz|E9M1ja9p6U!vvwVP?xk&*D~N zd_Two$2k_bLURy!bym;%ET0I|nG9GdIt=x6TJ2d55OSmO7v>*jehCxUJY)W`;G%s| z->;C(Sl5xfKc8@Wy;ihZsZM7}leun$cS`FHVHuf9KZW9-$ew{Mv zTU5!c8r4=U5yV1E-hC73jL&|4*ePrC>%`^P?ge^v_Hhr#N)K;&52tk2)tCBtkajpxv^;ejggpZE-D_8=Fkuf706)u>8&41_ zd$mylrD}-NBb1mq?3;EXD2A`w-U86k@ZD?l?0eo10byD` zU~w=yCXgX?(_~C_c?Zu1xd8e0Nw+*F*KA zw{}&kVy6yevwtjG88!-*@s1$dfFrGO2}?nhK-P}rY{Zd&+a|?q`ir@oLs==;3du$N z3dtQr&;k9{5+oLnA#2(@h>mP;-ALel+6uAJjojJd`u$vJU-R4`9(>hw;MBl&j2!XG zraY0UR;ZM!QDWo}wKn|)%0YGL_Fg5qtYN`WtUhHx6?<2Bjj2B&ZA|9fnSW_n;P*9*7;%0$ln+NnIIsk5*IP(mRx?WQc zb?U1twF&@FU+rd>_+xVp9D)3JnzYx3G@|jwr2?<&66u$V_O;G3kEcN+XiXMBjFE-iw-G1n9I)nu7 zpl-$~nsyM`LE^!+Y|t=@G^#crslsY#Y;dFRaE*oIs09wnlDmrSPMFc>7BV(}j;fEWqhZ|07(|ZllcCssCVv^ovchG-ag5hZpyprtb;D~$i^@7<|+FAoQNKfAU zxLZh*8gGh{u=6VpiPFAOy?b+jVz@je z7o2tc5qit_k>FMiJqLdF;B&YI|e21DVOK@Lmh)Xl|A{JNh{QQh7dHj}-m-F)? z6jxi%#G77l(?et^aGa>bZ=+i#aSBK+*$nWd^J|090xWvC!fdlr3xfS zYocB8p%8&TvzNSZN!Sa~eRW+|xcZ8lwwQr7^KVC@O)!hPYCP4)6?8qXF8xj8l_BhmzKtXDE)p7hVwi6)OtJ)J#yncZdgT;M(9xb84QPjHiNoMj?mC|g|3#+f45cyaov}_?Ox`A?$K_sB6m0wUs5TE9EDKO+S1CbK^xjYAorfn2*+R zi0)Sur_aY*XLgPp|AqV%i2V(1kdrF2C*W9r7#(n>FK_Kjuf7+5rJb-VN;mv zfm%k?S(U-i&QO7_;3Tex?*!B8=YVP;EaFelSZ7bP=fcFo8y`hz6H*?R`<=#2STdx=d@`5PXSicfm`KFZ2i&gzJDc{ki)yE z-z@n^L4ynXUy_ia<8@WtSvkq(h6LUZ%Hz=#pfX5LNCc8F(aX=fkIR)E>`oO-jvVe^ z_;PTAaB$KYOi1!fD!F}|E}EwqZe3_s&=DoqP2f`FwVg#S9ltZ<;1Jt!**y3S8um5@YeOy!2 z)^3@d4^0=Cww8BT)VX-lWIn#>gn9h%VN3J&wj00x{)7f>fV%(8H8&1Kq^Z@GH>b|? zj3~^%n%pK^@FPDdhU1|lfV@muC;&j{zGlbQaG4^k>1Egf@<`NRnPT~D zD17P&|HbeTnr}Ub+nh$4!z(+_s8EEpJE{gH$@gRJ{?J>dmTjD{UH>C;X6v~ivyT5c_!^239UWhvF% z=6`iZqK|UUhpv*#55ljk98Q(Y;rWhebbaX|uqN(YMo8j^fn{}fL|@R$4|1O&H*y|! zgoP}n$+dvaY0YsSUuk{2K4~6Ys5l07lM}7i_v*UBXj~QY-M*8cd_RBiB3^ND!EBYygpA#{SwJZoV18(U4eWKMkTt*cVxO1yhO-+!aI7Y*M;3} z@`cqnYXzP1(+}mQ2k>#-GLc@dyY$<(ZL#taW4vIL{#aSB$%5WaZAF);^rO1jIdM2;`mWE8=;f2<-&n->A>b{a9Q8LdkOU9%8Tk> zk-}W+&Rnv_jeCAk*7v2=bU!WUTdY3zF`2IXP*j1x)u0lzLr)5BjLfomqM6(fCH*~n z#E4Gl%hL>{#qCQTv}q8mdOxe>5xLBx*EwsehkFK;T+@^pDO<!MN0lgYHNnb5;D}4=ekI5~fbj03;7&*=nhRo6WyT4PVKBo@ z#An63ck`Z&YtMBOklhh0vK3}eX6iM28zBIdHm_eFFiX$v5;pyzxXwNFR|1CEfz0lT zv2S&0XK1h8Unaqwj}2Vrd;zU*uyZDUi?`~?9MO0AqP~gxlfk_FoOJ+v;U9b4ZgS9n zX`nOdOih)j^meIfJ0kvZ>z4fcSZW`WXwhwUrvfS+VRLEq%SML#&tzbv#h-m89P zhE^DRHt)Sf;ZHWve^nYMZ0gy@yfY3ii*vNGUw6NSReMC(j3O1C6)D)%X{FYa3OgtlLed;Ps%LCL`od&p+DiTPK@zF9 z0@Ev2JKnHq8M0?IUmKhHYx|lvYo>GQx%H+6;}Wr`FWa~0H`2*Oax2)%jp;-K*h>42 z+RJh9a18x4Ij#?m79&qjg9in||LwA00TL-5Jbb=P>}mCk%CR7K?{aLBFQH`p)hYXp zosgWejr!m^-TK!?OuiRqc*1Y1z=^Z5k)Omv#OXCl-d0+Q*##y=^ez!m53u*;?Jn0S z<~Go+Y-q7R4`mv1eO*LB7Qp-1wGqC%^5`DWO=4?JouG;uB_=9*1=rT4R74BOa;)e^ z&6C07)`ZDCGo78D><3NF7l>To!lJ6-y&Jc1@xd?y>8vC4?`32QpG3+EJiZEuV}wCL^LJN;VLlBs&m zj?%r((`;{j#_)qnaUP$!@?(}zl*k9IZ*PM_&z#oQR}PrnluPrg<7D%-HwYpR`Mv5YwWs9J|sFx%(5nCSpLfD1?;q2C>cgDm_*7ztu$}d3S8vI7Qnsk90e@8&?9gsfqP5x4 z@n5xHu=<_bpkgJcme(7B!){&S*+M1UcGVvzrwo?Q>mkcfXw)PO*cxcGIM&5X-}0YO;* E1!u-z5&!@I delta 4986 zcma)AWmr|+wx&T+K)N=uMRIo$n+64?K?xByjWmczZIBMBO-Q3iNva4a4VxB_P>>I$ zq#Fd3ki&PL?>_fjxj)YOHP=}0cxQ|;$DHepy+7cPC<%d~F(4fP2BZeSz)>)eHUI)L z1VCU=C=7HRUpeV=%90GL_hlIfX#6clY)CC(7{*Mj+za7J%VC0`b7z%m884d%Z|HQ%3s0$q< z;Be@lI0WX8LEk=~G#UxNK!`@85Pv$OF^CJRfI0X66NiC~Vp z0MG~BaJ6#-oU{JjR5g>cMnW+*I0ym^#UN4V%WjPVBazm2wkR|l3WY#WSUDsZZHt1~ z*waj>C$@Gx0^HCIQHtNmXa@%Uy44;NKArB2?x_K!8qM&jB8169HEG90=z>YeNvcWc zB?*S)YZP#pH2BSR3T`rTI2>`#E`Sd(?2o?!p>JH0@C@tlbMAh0S1C$@<&@l^MwW%e z-;(hJ>m!;G(RnLjOy2X|`mXT1fW~y+CXKikEyw!^b1c5lw;@uMp+wDK^b-kShJQ+Nj;J1B&FT0Tf@WpU`)zS-@s$uARIdfJ7zYf z>TEi43N<~TkH@OObjH@c*=U8VKTL48GdQ~uoY4wO^s3VnEl-?aerlv>R-JCSdp1h) z7|UYmr4jI=by2O=mrl}zBN!j6Eu0Ko|9XI<&@FciPIfV*UH(1t>L^)}mD|YIgXy`X z4TYSqK&|^1q%Cnkq@>GK47+lhNqUL)#eI`6?;B2ObZDZ?=Y1FsKoV=WeGeD@+Q5t) zZ}|VL8E|gr@{}zTd?QVk_sPi8X!3w0r@ACTFGXD^iwSc)q~2E$s`{6=+u|Kgk#WiCOK;+R#4Yyp>bW%Q)sA& zD}7TTy(A{xkmmZxbl&)UyI%fVwW#2cBhFY|YMYx=bcRS}6TJPM{C?Uzdb?&YxP?BO zo#Gasm15m~R_lghcff|F2tOYM)BeD3p_2g;^_M`EZahJ*lLXPycSgk-Mo?tFHb?HT z`&Ln$kE&|B&2jrDt9{;cLv(72zOxE3)QOcZZA%8K zM=+IiwzykvY@T7m<#KWHnB`3D>;$oU6W;S4;nejtI)6{kZ%#H>YP;{O-24>_!&W%8 zU*iy|6290Gdi+j|Eh}M}y}ee9Ij*6U&HtpnD!lAcCD0*z&lN0IFK>d+^U9$($iKc( zn%^YL{^?CK13`s3GRPsKp@Z>CBw%1?4errpM)b0*yoQ-%GN#)m=Y0JZ^Vrz+M_ol7k^`SA{1oeldaAo0k4pGvFxJ#Sx zIq&4e6`vqeshV^*P`HRz2>j!MvWIBhgGofaJ>EvG$G)WD2NWwDUZtN}Wg=@tXB@cj zD$Dn*SbsLObaiKI3mQMp@6!C;RsK$w(fClFNvX?@Yj?S6-&o$=SNf~4ur(}>=;p)E zx5tr1Nf#kk%wu2#HKaNC?i8!#PExRdQyz@HKa&{Fu&6CRAobo}`@L?GX&dfwxM`+~ z7v8yiscY`!gcMU-wHtTCbSQk083^ziANqj66_o$jcp5X&S{Sv_V(Zn6SREC989o1i zPSpZEQ!8VJR_@bQppfm|J-m{Lu<%ju3bcsGzP+ruQ&_}2amc!z+a^!U>X5g<;>qFg+6?!-KT$~`GgsJ8DNm7pgEa!w{$;16g$E{ zp;rwW?_w^sH*+n`POuKztT+nfJ)`6#arPECVxT=g!o9pbZLM7X=P-v5iWr#5;1~kw zB_X_QS_hbB-HUeIZ21O_p!YMwwc|QEa-Ve(w^1}J7DkV5su*!xyVW-lB#>jef^$!^ z+y1r8E)bz%@_K`bshY$ra{(n)Zf2wQYi4^0HjZ^?JNsBgfRG;e6y%!^n5I{kQ2(aR-V`@)cDI zi8}Y$cGr!$$t5Vpxykta@v(Hk+_+6YqWs-Hxk(1HtJ-puD+Vmbn&n@AR>`KutgQFb zyw%bVWHeZa8f6=Q8vhmca9-M>rD4xxhAd6!Lva>@g<=h?&Y=GJzEZ64K7)`fWG--91UOV~jOqoL_W(2d$Bv{V^@L;K2mFwgSS2oJcyzg%dH>GzcsoZyVsE zmSJ>y)q#yX{ESA6J;C}vJhA%uRvmYuz0xJE!KS*NCOGyKLR;t^Qj~{yW6HlF96m1gHkbSaOzjz8< zf(EY&f~a~9b>>g&husbyElvDBF9B_uJW~H}Dx5H}kfQ#b36SK!!1U{g68T9<;d=bJdx~}V~xAxaX)pO?P1NIeUz=!p?lra=d1K z)S1sUV9lEk$M^kE098vVahdV=)J;oH#`02*3A9JnN7kKMlfqPkmYpBdMLDw;8xsuv zbJ)KWhR=ky&D~STLuwdZ4;UZ2Z@jG?p_o58mSD{`)y0p+2&2f%Ca*_1b~3iPD^*Km zkLSsNS2f5RX-9k>H&^~{Zyi4xKT??HH~uD2m{xt4e+#b<@iV#$F2Cj|b0+$1Hh9RL zcc#b0(xWbRuCQZ_#%3@I$Eugvv|f0kDkn40dNyJjB>K*|kE366r*Vek&B$=(FSbzU zol%z@H2AjpWI;${D@XA{Lx^yjR-jQ$5z7`0V238EKJ^So; zRr78Rwa2qN`St*#l1E}(xfC`pNXwuGb(W*F(=;g4>t}pTTPD9{Buvz|&!9xvs<<;l z-4PnyShAa5>ir((d4T@J~+eDYQ2?TQtfFHIn(S(ht%OV#&7Dh1Iux8O&j# zKcxZkbOA?M9j%-*Hy%eOkt0(Uno0&bPAvCp<9!$hGn&Q5cHbTWEA*B)j4P9wNU;tF zt+Uf3G8BUyQItdLHP6!|GMB0C?0Y*xY_EFlP~G1s<ePm3NYMWgl{tm@-7Fs zq}?3sv3PN$-0Psu;iw+S&Xc>f%k?w*F?wa=gC~q*9-O1K^Q^kUduLQsT(_TuX%Q!2 zdeqZ^1!G>MZqDWZL2t6lxVuvo><#aTnCH;9ymu&oe_=1tc;oo&9q&MT^P@29 zpTJ+C9^5G2h=vn#j*JM=c{SftR!frQ79P3(yXOhcS2)NK;J+^c0DOv88c>i%b*U-F zoK%C94P{ucd8#9OxksnzOW-x-%P;7GqgpZsb!%G!qz|c3bC2#g3}{VWT>xnjGmwLI zYNN^2?jzdzfmX%xOpDe`8oTOtmK8QnRGI2n$8YtU?0UHG?cH3PiJ6qqq;U><-#H&6 zv<~2ATnzPeNSy5S_s7%PkL5>Va@F$`3xq~FkU9hYw)f^VhR1qE2x-*R4^BN}J7PQ^ z6?A8m94&5=?XkO2eIUq9Js%W^su?6Y=cnPRJ@k-^m${`|rQ3?>%3V@sMn|s|*>^6R zLIQ6YhFQhGAE^JT5npg8Fs5z5tx7VGes_DYFJxYS&?BxO5{f^L72vlec3Lt-hmdhY z9P2;I)$5N&su)z??owxC4-{;8l7bre70a5WR`{!BR)69aB#Ja{67_fm;AC-^BN&)g{O`y#8F5z|cp7D}|nD6xL*^|kq;?`rN z$zLs;il-{Qe)fmAeCl0oTp9K>&8eF6Kb(PyzU7UnY=tyzupafi zaXtOW>-NMa;+EPz-j&9WX zC)uMKirMqo%ugUnJC0h&x3($%idxrANvf+1%tz83_*d{2e|+v(YyZr^^&9DrC;+7E zIQ(~`kigXyjiQI;m%3C9UTI*TH3{cMSKVXEo;}>*9XG{{4j*7Rr*AB%OR_jy= zYaX(j9t7cZCR=1e{$|3C{sC4y@u5SOXyy{Lr@t?ONq}-!=-xzd5|~6FFk1w~ z4sIm{#lWFba9cD+3J12sNx>ji2s>*G4u*uF2=dpG{yX6AH4j?2ArvA5N68?d1Q#*E ze_jzXU<~1@nDBpo?G%&$?^v&jYlt8)2pq}=Y$t`ZvcgEgaVWGD`dp8a!dO|`VQ@GY z28y&JB#B@BuNdF_C9Zc#3J!(9Q3$9M7%d70i;96%&M(2