From b37b75fcdfb0773d444d0ff31f98775adcbefda5 Mon Sep 17 00:00:00 2001
From: navid <navid>
Date: Wed, 26 Nov 2008 19:42:56 +0000
Subject: [PATCH] *** empty log message ***

---
 .../TransactionalIO/dist/TransactionalIO.jar  | Bin 152858 -> 152620 bytes
 .../benchmarks/MainforLocks.java              |   7 +-
 .../TransactionalIO/benchmarks/benchmark.java |   5 +-
 .../benchmarks/lockthread1.java               |   2 +-
 .../core/ExtendedTransaction.java             |  80 ++-
 .../core/TransactionalFile.java               | 469 +++++++++---------
 6 files changed, 265 insertions(+), 298 deletions(-)

diff --git a/Robust/Transactions/TransactionalIO/dist/TransactionalIO.jar b/Robust/Transactions/TransactionalIO/dist/TransactionalIO.jar
index ee602652716c101db6cc1c1948166b66351270ef..51b9a453168352a66d6fd3bb841a2966e8fbd830 100644
GIT binary patch
delta 18693
zcma)k2Ygh;+Wz~_+0EJAoP@MZSVAC3Xh|TU7$Edw=p77*lmr5VPG|zcf>aAAEV2TM
zN{c8K2rNMq(W_vuT*U%n=i2q!ugLejb9R&9<@^4BemZB)oT=};^_kghd(gfA0e8&c
zeul$C^6%IUi#EnIH6FiV(SdgTQ(`)fUDV#uqftS8G*NtDV@fCg%^s>ly-n)lqP{Nb
z=OIP?Jv4v@dT0<0Hfe~5Tr^aYVQ!QR_s|Hs)~Wlh)xE15H48m7l14?-bu?O9UvJVF
zlg4^z9F6x-5f!^>0!@@$iAj@8n#>f{v2<qXyv|HU)4=|Q?JI7sy@LZIi)#lK#SRE;
zsgq=+Qr*DAb-E>{(iD?QEt*PoO`2xWbea+1)U2FTnrYE2s%z0~nqyL#MRRGMMe}Ka
zNeeByffkvx*rFwLqeV;6SN#381Ldii^_E%Wr{yNCu;?aQY0@f-R?`}b*3vqrdVwXe
z^@44Oa7<uknJaKOC$pko-6<+D2?UaVikL7lq-nv~XE?b@JrqXal_-hoBeitiN$J!8
zZ*IDZ8cO8~qy7Q*s}rO`l&~t5%P)OUPMQ4^DJewWN=iORDV!Ce+U4Z^@4^EZmiQna
zrbPXGk$fnTkw2&QNNZzMAJxJX6DbX|Xh2!ih}u#!>Osx1UoB}gT}_k8-yS6Dgw=PW
zTj?4KQXkrdy?c~~&@t@jDH=s@(HQy=+w>Kc(63a=22E!d&EOcC$q6)zQ)o8Vr8(Sy
z%D6Gj<t&=Vxip`zrUjf&3%Lv3z&&XZ_o2l+ke2W;x{*iHQXWIgxY$pAo=huvI^Dzz
zXeF<rRlJT?^Cnuu`|&(Tw_%OzI7Bz|Ddb<ITlgiql|P^jLR+pwb@^6mLK#?HDp|aj
z8sm*Ak?*CZSgoS^9H30B-a%Qsma>s^Qd?dEDr8}o{5^OUwLsRSK|FzSkaN*!E~H%K
z++fOnAXOH5u&yrD3b|-ZxHYv#&cZaBP#ff8D9EWGXBNfMF0Ms+$kn1pL8-RL#etH)
zQaj}0LC>$SJz10hs(wiMl;y|%e2AA0C``h~Q`8YTFB%-fwq#K<I(d{jBbNdi6;Kzf
zsWvE-NnNqxI-pBDwyrxds3N%@!fSk%dSWw?K?`BfUe$shyLo>5XO`_PUxs@4Klpkt
z<qY;7z;S`)_eWO@YIrZlA1YeZ{^)DL4I^t4$^V&wmJRC#W{q`MG;VYzx#$-R^(&vI
z-}p27oxh<!_%Hg8ilRSN3SCt7=`WQ_msC3@)rVOPVWo=MP*d5VmatQ;<S4b7O?5ZB
z)WhsnhuNb}a*TR`qt%OSsrR{7#kh_?M#ZE;C0)Gu_9JuLL~{aTdvx>%JrJF4Zt!w<
zNqTsY^mJpP1s>`}z2$2kN&0%IUzM^NK!ZGxhQX3RXVs>mwvwVj=cU>(Nua#?(Fp13
zTFF6i^`nu|VEyY%(OtD|-POQWUg&*16}hRHCP)q%tXD*XRdne&g8fY>*Mfv+SlFP(
z7EPhtu&$bB(sYYv$mf|f>oOf>(tL{+gmsifi)o2PH_}pzmXTjREVpO{Ez;V_qE)oo
zqBS%}wA)&f)>(8jq=ITsEm}~NQyK`>NpONU={Bw2Miw+mU2oC`i*BboOxkGCCJI=z
zneMb`3*|y>Hmi8LU=0Vp8#=Y(<=(e)!v-LsFb&Bfkdmwespz>T5Gtl-fyI3@I5Ti>
z-_#CS_>xWr(nJVXb37&20xiK{$VppinFEPJOLWr>Vh1C{^#ecmUBRmY3;Puh@wr0e
zE2orvcOs>RsBR^t9i)2fbBCyY`K37r$r++_TM;&>{tWF{Ulidf`WJmI+L+yJ;i<r~
z&HGRD{|o#0H8k3{)EATK4^bM(ZW@9*gP^?zb3JG{ng47^wF&WS2?<xIodEf61L?m7
zl)oBfQM4YU&O^?GSY89EZU-&lWCvuq9ahzdK7}l|lW`%;9U#I6^`@sYAi<r<fuZ7c
zhnNG`4-<(Y$wJbu6&(iL*d>17(nan6)9t(8KXnkv|5pdO8`rKlf7{mvw+p;-M=sL8
z?&yrP)5a#jq+%XaON@`$Rl?9ss9oUr#%$fqy^pTjbGi+Y{NF-%6Zn35VxaM+TK;4Y
zG;O+z8+iCCZs>+S&M>)=2P<hTFHKBt3WLt+^3qI_Op~)b(5kv5TS}Un+`>a~c1ezu
z<Vw=g4c*;Ja;+t4BgxesB)Vmuhud;Hk00;tP0lyDgNHkECl7b#E^hA1-6YrD<Q~#X
zPY*TZ#?tnhXc&b8NqWg^Z|Ss;hx>9rN#KpRcz}!UmH7`e8DgHx5c7HrF^^-oCUFeu
zj$=r-#UtE&t)C&;i+Q9p92L#i@#tv2p2tWs*5q*>9?wNmceERw6nkL0Cb(%DL&7I>
ziH9fgWJ#t(!?sN@xfFuW>C)j;Nv1{fbm?_E4>NfNJSCnf$t(}g<~fop!}@c1u4L!Q
zEa!W80WXx#H^|HvNwQdyC6e6e;ibGx62J7m+yleALMARQ7sKV6#y3f_QeKBkFRLV3
zEejrH@){4X<#i_C?BQGZR+Dd&PA0CGbc4ya%OvhFS$SZ>H_B=^$(Ml4XtT+8$_lrb
z41K$hw@Be#CU2D*+k`yZg&ubc)$fsHhiuxtCf{fB{U+}W3|wEQV*lp)?&zrE>9ZzG
zo6D3rI#~2JH>-Hzo*By6O?v|E@2eZV%i`U<NA%d*!1((b`FHbP3j%j5Q@qw=^XHXL
z&lz4;QZk@uw$@!11!yf(T=my$OD4>l1s`vV=rSm@%bNBsnma`|4boi}ZIk3~BwSAS
zS#+-?TcvEfB<twr7?U5ccppD#(N5Y0&DkyWA&d9(!zMps@uU2h$p<X>TNM@`;=_UO
zx@5JpV0`bhIEG^_dXk>7-~?ekN9l2k?x7tfAF;TSp0fBT657p=TYQY4U}_y0vd9}e
zKTy@{EyYh-e4J711V3%@GyD&WpXKK)KFLp;e9GeI`2~w!rdKR}kzX?TWs6_oS51D+
z;@4%!H~3AaI)N42>oha@EsIa{KP`TnT^8KHJr=)1Us-&H-!=I?i{IyS7JtYe2R81^
zjeZ}k=^6Tm$)5y<j7<!@9^(vl?!mSE7Jn)of5xAi{Ds9A_+J)($>`>5$$i7$TKpY<
zZ}JZo|0pH@mgFaC^0VZAkp=xqr%e9M;@|lXi~qxaTJ!>8VHf!?i!WhHP+CYBRh8l=
zVO55g70sMmG+|!ptiZ#s)@!H?OF5J?vY*q7W=_uOGjm?a<dQN|MOn&Ju3*=xTrW`n
z?xZ#rl<#L2^!gsASj`-|e)mQ5N-X789!o_l%c8>+vS>d&Y^fN2GVtB5jHp;?(KIlm
zNmHk#YH>=y-zBS_MU^0&ijyRsQ?R`%!Qyx%Dv|CB6qR`^cJJQo2o&#I!AZeeT|6+x
zy|AowUP*uOx~aSsT^`)w2>ft5G0Hh%dPz}P;Fm{E`&Yn5+yq;wgxjI8SvXFse=xj$
zzYP{f$~T0cu+{o~WB7fOeku_G-45KYpJ09c1e5D0cv?Tf?|8DXH^G!C;eGu9oQY?5
zkpTUEzwWp(D`9(-FhM|(?hPz`>`s5Vt{aDR0Q~3XFo`*Eaa+Q~wt>;>2y-_W266~>
zrJ*pj!{}NXjzD1qe4cAzFbm<mjHH!xJw1RP>?mjz?V|_7<2)qeAYXv_i5>G~9wA?5
z)?uo10B?%Q+u;$beT#7zz6iq?>#maR>fx@$3<^EraLNYj$-i)*Q;AGI0quw;p_j?<
z!%N}WOw~PfhE0!y#eW3Obrfo3RP~iXkI@12A!P@tLXVU|hd?IjDMR=O0R+>LFqx(u
zOwW>$Y*RcNBh9I?+*(!31zYKvg$@qWWUZseorhlM!~0l(&}|{i_#zN@agFw^s@g-Z
zNPCQwgQv{TnR$qkA43L|LTX2xOKUWCRy96GPlOxiqjq3jMV%(qO;*%s5?9p(8cmu6
zUZ`kLqweY});&&7>ALZUl55nxxklaUshpsvb=`r7QZyZGx~&IIH|YBI-bRJzA<Gh$
zl@&u<Nz1=cAnETE*m%WZpS?ok8HXt0@2&5=V(aIs=vR~Y(fj{K{H<4Pd=mbtP;$uO
znk&8sE8g+HtXQO6R{Z=GCVhw!|32sYuQ)7J?thWXe~424-g?g!Tfb;;DHhm5Pld=)
zNm+kyyRSxDM-}V5bfvc0(zaPmR(<%2jbZC#+JW0cby`;QXoaq8^M<>MH{A3p)S6K0
zHF{mQdN0(Zm$b6w{s?GX3CTQ)fckOWgB__PSM`ugZ$J?;>c!KW$VsH~7M<38^*%CR
zb7*7e9irpt=V^q3&mdxW7V7UgDA7}hEuM$UdjUw+i@JZ&D@~!X{t3M-apuITktWjH
z^bY!!vNKw*cz}$(OYcDgv_WiSw_t){meHY!p|-OTa1d?Egrp~gs9k>qJnfHCKGT5g
zqtt=n!c5ByQL}^O-AhG*DV5p&mR0Xfe9oiPk?920%a8I!9ipxw>V}SLh4XoZ<z$p!
z+7xcEhn&WKM>R)xhkhi`)eXuff;Npomt0V$6K2{SYw3g4jKNAuv4%NV#WKu%1^Le+
zI{gr$d>#huV@;CYSVJiY_W>G2p^G7Omd=4hoq$n%2r@a)RXf!GNE2*Rm|$)w^pDX8
zkQ{(hpWv%(4J^G)9NLI?QOH@@2dVpBiUnnQgs5lW!K0SH`B5r>*LjFyn};Z`u*RZn
zrF#K0`WIM4LdNeXoxVp{`h%Wp8_b~==Jq*#q0LTK)%Io41+<av%c3uV(<ro!57%S#
zq?J2_WH3dEWg%5oG3fEP*dI6XNt&E*R_)4SUsQPKW=l@*Pp5pB&s9lN^4+L5Mnd5>
zC&-oW@p&TKogeLs4mZoI>MC2xbO)vRme1|8LNql$Ces(=^GJUD37Qsi)AYjfODD@O
z-4?j-39o-f*sx+5=Mcpb{Q|E36{Pqbw(t)CX#YX%rKl+)+cq3Uo!F$|!1~6)yPD1(
zV0_WQ@_<5cENuYJwS^PuFelMz_R@!(%nnY0J6wm8IF+-x9=GHA+=m<RP=uRfxiR}o
zxe20)ro4umaS&DZpztBi<-^>PpW;^Vf3N1}(CjU4&+l<Qf65*BTZD>#a3{Eno#CZ*
zQK{Tb<#2b^fqST)+*6I<0yUC*snOg=m2f{bg9oTNJV@{71)ydH*vW6eNwESp3Kp;)
zTMX0*TVH`F{xml8d*nP=$3tL)^@wn?;b;AbTnrBdT%#Lfy=}n4{|3{I15PL`90gkR
z)r@PZ4q%6$=x4H2Pq4)=V3ipDgT{ik=g6fPuF!9wafw^i!W90%Y&<Fz67V1JH4t}I
z7Ur`gHJ1L=%D<`V3;w?dK5L^oYyOACsH?TaIQcF3Zz3^K{2mnGUvvo^&0tR3#aMrQ
z3C|3;pQ_tw)(M)OZyI@SuiIxH-$}_nm*l+eRw0@*e3cuR^My>G%jXEupb!oAxsFSA
z*dZ!ALURMfPxbWAE5G!5HPaMBjtKy+lZR70K->%-ML9egTzEZo1EAZB$I@UP4*<0Y
zU~n;T+X=LZOXwb+L=WQm7*C-Wxs+bvsq{MV%yT@0F7QmiiL*Es;cGnG&eLLei+6$@
zzx87m+*C#*8Bih?xsJL6#W^4tEe3Gt{m6kGwfCbJl!lPSfNQ$hCKYxdg`H46CMKQ`
zCbJWej1U(A2B>B$mvfrqK~fOXjEFP2kD!u(TfG7gpYTP`7rncHsr=Fxfiowr@>f%)
zh3q5GLomJoo!&sHyoeg`Vo+!)W%Dw+n*G#;ms1a30p+w(b7v-)DHQ{Xwo$-?9P~Ma
zO+4XV;fcCXDhq;%lK=-#7zT9{>cnES+`zi0Z{ZsQiO)3WDS>X!G^ke!rD2NN7!R$u
zhq_~H@iJA^M~IdNmOs<nzcfTQmS5UY{?`}PlivWOk9ZBac^!cBTWm<3Z^NY5V{12H
z!gl~Q+el+LfY5(4u<$#9=WhXid=~(vtq9t;K|b!GZM=gX;``_j@1kS8n@$0ae}f;O
zv%HVK<Ok{Byx&h3`4KkxF;3(I>_bFd4*_)pXn<yX1RCLS&f#O4I{P6=b152v`XIJ@
z47Gsr`3T!M1ac#`#6T@W%aRE-WY>!UL*!}ki^le5LsfkQPC85dwQzc<2^TpvuQ(94
z{2Jzvj*x#XOz`q=usa0GH%CjX3pTz)4-6lGbHm%><|Yy2#Ay-ZBtU>{P+-inb*nvF
zhTp(X=>^%|OLVvo!jx-qoZi}ayCpWh2bLrZ5Dn{PCbWQ6tHER1Rpw{V;XnQ#9hwOs
ziOl7ZXOs0@ba22Yb+gEER5%dRdQUSJz)Cw1i>eufVK(-_FGB2Jsxfd4A07H%;xC2`
zNRe^Trpi(Fiy{7-<H)aGaVE9d7jAvoOk%4!)t<?ln8{mLo{4}#dM0%uGYLHNTvByZ
z!f#)3<Wzg)z{Tfk_~=lsPJaJ?8Al>;SusGL@SI!AJ67(5g<kUaDW3xl{NWXcPK!8v
z)D`4sxRMkLlHvGo`Cf85_8ZkcnU00|V=%xcuu`AZ=q@(QRSK9kGz8bj`6a<783?}@
z)2gmM{s7SBSxESKJU^=V<>a0Qv4@v0YQO&7PaZ$ni|Aypz_=dCf%Jmpz&|h4@&gat
z$ptO|uiTsaxG91AO43h~{*nwZ87ILmL0w%uSW1SNf=yanATPi`0lU`X5hh=20(Rw*
zJj%mBT-}1WN^Y!&$MJZnTO_$+$xU$cL@sghB)^9z^As1CngXuY=V|hFx^xI+HGyZE
zz*X^_EhTe2Tqdw;g21ZVBd{uRHwbdM$P`euIWKYZjl5KnWs(3?Z7!f{f`F>^`6ds1
z9YCp_fTH5VYJ9E_3>De6lB|<;;Xr&l-(vEuQth^AUe6mOx!vSDJTQJ6B>~yG0Y*i#
z*+YeVrzBe>0hC(EcS&EsQ4@HZ%wfAEz)=$fM@<kMb-Tt<aYEte`=w~7n|JYU$?cJ3
zugT@o&jT`peUf`nl7}SOFBKk^kstBEFL~4h4SPT~@1T6GkQN0Vfi68Xl|!<WBa&3Q
z`6xdwUyqsmga_n*(gQrw|CC1nNsj=M^8T#Uea_^Q;sX}QP^YBf^HKqH$*{{_F!@Cp
z{3Yq{Wm)ViGND&xA6}ECyzWNX8`9UC(#KmSpY{mEFBAKx<N$)-Bvt*p_-zTF@XrC2
z|CPz_M8nEpC<_xp?`NdrcO`jGUf-AG0}r3&b8^1(q0Iighd+|a3H-6_<|mT-RO)?Z
z^5-&#FPxXc|2zV7N@rgRpJB9$e|@!_W2~7)^GX+#%+~l`#pG`Wav%_FUvc=`r&;mT
z;Ph^s7O4DwK%!@E>EaR~(IrI_5lPOQF?-^?K=coz1Dj`fYw<KFg<@Q7C@YyefBL+@
zj32sN(YnLp`I9D<lm#CC;em?cA3GRkl%VA$6Dzj={5Bhv^sb=ffjfS6wSIv1S#VAF
zTfnxEJVN`KEc>i)R!%|b^b%l}{Jq6L@Q(nLYk-=-wjRTEiBzD$mB48!E%3%SX@PdX
z4MwzB4(JsyD;(cLrgB&c08QYY-`XZr(&rZZtAjRlDrgt5@Z=N=co*=~GxV;hqAdjw
z)#8ryejxVuQJpSYstzGZm87mpv$!E=SgM|?Z>e<UvQz^}uA=uX)liZQNg81s)flVX
z{d;K(yywY#TlvyXa_v<si#tdzUwZ9;gxk{vi@S41pu->O-o`k(Qe7?8jpJ<y9zlmU
zF#C@Tf2Hbf0YiAhQiu;Mb&Vtis+YyEE|%)8`dF&3>SwC{mKvZ2T56CQY^fn?sHuio
zYPcF<scTiCrAEs1N2%*gHO5k7)i_Hfsqt4rq%BpXicK}aQWI5)scKKM)MQm^s;QQm
zM(<i`x^y%{)fd>k6j+d@W}-I)Iqoaq)z>PV3s<Vy7D5>8W~C~#)Lb>sQuDD+wLoaG
zP}Q;oONh+nvV#(JgIZ*%#T+jPch@EAMoTSK%Pi$r%PqA+_TeVk!j+a<rB+*Njp|~l
zwd!V5-C_YtdCgL{g643^Fy-6$M?u6>EVW*mY_QbrvORYw93ejlZUGb?7$22VvFFdn
z%_H|Y_!dXq_{k;ndY4R}s1JU^hd*Yw?t_L7zout!u$#XP?#bgWM>=}AMEQ5Z*6o68
zVI$5kT5uc6A@B-jZ6BU)83j)k-q%mCzkWgj^b_ojrxJG6Pw+CHX$TYqq$NDTw7O;`
zARq<=M0^+#eiX_+4Azd}KmEs$EyLX%!bz@!GBIcixYn%zI<!Wp(*{>(Is*CV4Cq^K
ze{{uBYXQ!Gduh0P1kQL1sV~5df$$aw0Rb5bFK8G%kP!&auEk;sF~O0T%xIYS>wy}L
z0hTfr5n(aj1(tVqM3n>_9v#Qvm=kcb6L?DQX#h>)One9w?-{JIF;?&_KqqkzZ9wty
z;A^qmMXw-&a>oJXPQZLJXli5xyeDCR=QX&}xN3mLz^q=>12m?WaK0oyXJbgsK1_s#
z6KrxJii(oRi83;?(zA~Ha0-9b5o)wQKPpiGsl-b1Cjoq7UsQ;a)qdS!3<#Kk4u!P#
z#O9!+44}w7x(Z;oEIk6h%fw_iGO8w)Q8lrQs)=QUCnojebi#>oUI%a|I~u&VH+v__
zST_E>ME4(Yacz1s;H$U73#xKU;bJwg*{8a(|B8)I1M$L8;!8KFuDkMzb#09A@nCu!
zC+AmJUVFvL(5B&8m4fWD1!<TSBDKcB*>T)ZZ*8*PxZAJ^w?kIeBg)(WcD+OQCjmt?
zq9mcB@Jd>kiVQgJeY<Bk>`vK0u2o4*`e&UY7o5|k4<oK<hD_!*a%W}Yjzw0uAo~P0
zACMiQ76&P3kDp@fZ0=rq5incJ5Vgug#nwVPU{uIny^U&BzvUHXqd{A{pj{F2?Mp(G
zAAZ-b-SH9|q7G==5!u=y%05XmYP_AGPWUfGo%5Z30WiA=$T>iAT^YjBO`yyWb<f^Q
z@sjDWmE6841IVAeUDH6PAu1>eQLoENdZVOI`K3p*QMa$m@?j9nX3|OILw+;1U<(4x
zAZ~MQgY0i7e?0&TnGog9bRUF%7esvz#Cfj<br(T9t$`j|4-wxE{c`}8^ceKdDTw<S
zXq|Hap1-G~&_Ry_emKDb9!EI;6t0MTfG{))J@`@cWk~e_z{nrcdD(3MYnpHU2pJ^g
z{TN%B3E=Y+z@G~F&j1)`Wrn5>%^t<r+=0zckvp?~i25A>>KWPH=2DUsE|A^LcL>6R
z{l%un`Wy$TKX$boz>r;<vzMZ!bO1{IK8Fy?=Rg<vc03~-oiEq}bdUpF=Yq7xK#{~k
zLVZvh^&yqnkhQje)w)A$2Eb5_06j*7(~C5;joV~sNl<|iU01B-oKZSfFV;X0d9qln
zAM5-Az^h)Zxevo(ryNVL+5uU|I~#e9Y*{n7XW)KpX=KgWnxn%7dd*IsQ?CT-tA#L-
za5p8&Gj|Wxi|2s7G{ol&^EjHeMxmbu?4eX28rNWId8xtGZBVy{5a2DZFwEk}SF^Y)
z6R(4^57FQ-*Poyv2WjYD$Rj=s(?hg1GqaOT+<O{+ghp__yX9p)_-ee_LXz(;r?|}Q
zET8iTU7P3dI`#*jNaBpFZuv1rUaXN<OKwkf&X4oOg~e#F<ht5o6z_|Nyac1YJl>DS
z<?2x*FWwvPjonFi`(nKD00_tCC-@SMKjF$xH1d+XNyrO;m?$}K626ZczA8xoL|>xM
z(hUm24X=R!maNOFDg^|E_wZ|PL8N+D()h^d692kND)Ks3|F0E_*5x@?#bc-mf^2)C
zKZ^6?aXoU>5t@*nVB{rw6MgZRTz_A@HxUynsHBN`N#Pd^H8IcYP0CC5CVRcRr~zi5
zTuCK*-(uy(uix?tS0!VJbE^`O9t5!`+54DR7+!sdM(xz9WAZ_ovX{Eza~+{Xh)Pe;
zRQwmBY59r1#1Ksn(Totyl<X{Y1pbJL<S~lS?4S@)ci7Fy^Lz0xX(#1exkvOcySi6&
z;6(?o1E9k4%bqf@Hm_d&L@d~g)%OlRLGrxh|1QIRreyk3B9*+!NBlH5ueLA6$cmK7
z4xzP>3H#!$Js#wjLAPNlSp2-b)Uzf{{(t8!3xB10-kPO^27Z$Bt^bpj^EK7p49g;T
z1=>6x3=c)3bvW<Dl>>tMbZCeW2niHOEHq^jv`2lQ@r{7{w*und4hVl2VEcu@>c;^n
zoCuW9KONBgD&X#$fEn%pAiReiQ~|AB2_X1oAhK^j4W9v)_z5)g=YZ^f0#1$N0*N?q
z;8BO0;J71`>v9`T<IXtp=*H>X6G2cv&fpO^;V43lDLC~g1ID=sHE-lB_Hzrq8Cd6?
zoa^VixfS1w<~uo$%MlqI!SToA+zCe_UHD~$Ja2Ok;5I$^3%&-IZVLDkUxV8*2xV~O
zQHrCGS==8!{{Y;r9jG?&Ahn$bs|R?9s^FpO1P@a$A^!%xy~Ee3Pk4;_gU1?iJl;s<
zBBKfWi;b2%#%RlvjBY&H=*LrxA}%%NAit2O8GfE++`@B=9b9G{;<?62o@bong~n$n
z|B9CwKl6<a#Y-Kvd6}ar@-29|Bad%#^x&0_QM}4A5&5aS)^P*hA{G!Bc_W+-bk-Iy
zp1-72KlW!ICGmN9&vLYuz+d3D%-1k0iToN&?>G1w59hLxu9vK~!#sQ|Ez|=zxcd${
zuUZ3GSn4GjakxeCJ$5<KD5B(Wt|z>C`RX-xz<2)<xn$!IZd&{sW26}VlVFjbP*~fz
z3C^>w=%^iO>=*?POLqto{{^=B1(R9HKLbAgjS|%7yb0Wc$%tW!*fiw+K-aKoj)mH$
z;poCKPkXTjc^q?a?jw$ND@PyO&N-=zqazsbB3yzq#x5M_ybP!9bK_1N?ED7Iu8A>R
zphn<+nFj7tBNxqWj9xei`2~PTXQLBN-kdmb>SpA#pt7;t6WeLRJ*mb0j9l$l0BL3y
z4iVsxKxk?K78gXjAtcWqwT+^WQ3mwMf~Uf^HDXv79)QeWZdlWvq#N=bMxN8_OxsCb
zpTq0S@;X~r(xPFjoDlJ^!Y#z|io@Z=d&CghhU+Ayi}sF``{4xIACA!C{HSuWBDx)>
z`WST^<#QaP!cp2r+KJ=%>Y^hwQeKv1iut=y>~5q#@%xq*hD~Z%W%#5CbVkGi!}dlh
zE%9#y;A&gmWw5-`(Dsj_#Usc$9D(4)`I(6W8{&;*V%uxs1SFAzxT3!e7xC`_#<YXd
z`F{M&U?;W2iAP(05Z3k~+&g}dhVsKy%#Y#h=l}({g6>8j`T~a##Uq3|hZB!)_(}Q`
z0`CBFRg3=tt@11mO;2i{aT3&7K3r1aOecJQ1K#9s5;t+f2*)A!rRKOq=qGU*6{Zyv
z=D4=>H8j{);J9LVq2fk5aUX1LxR-N&IJcVPpyC8?V+r5bKFyGjxfjYj_!5AlwLCLK
zE40&|T;uHo-6Z=~=NR1tCR&*vrN6<wx3?l)Ot6^_wOvW8@?2h1&Lh39UDU%D<#kv3
z#Tc(XB@P+hs6;kk4K637hu`th=iDRyzW#iW*2;H%c=<%NTbc()l=x-v{wp|mdyO*r
zb!x|NQfHhL^y1Ulfq&xU_HF!L<sF<`oxx8@PUC1&Zd>@}f*5Y(g06BP6NQ^>y)>;M
zAUFt)_^AO+SBbL%np_gE1*#&`0R4mGLDx*&)3tl)3@1(w98L7rAICA`zACX9Ah3vF
zC)5U6xotbR=WUZ{-3+)nlFbII+OJN|kMcV5Ot0y6?xOCXs_lEU6MN}3gZt}qs$aVo
zVEI}24DSFK@ues22C$HzHt4;Rn%FJ0r!!6O53V0XJQcKZq1Bm)ZB}{kO6{587&y<>
zT=HI*ZFF7RC<+zqxxf_&7Nv8V|MK4CT)C>Z>IGbN`6Q|*FkjF5tk+d#&;h2%uX}Jh
z&L2a#J_V}t1-0S}5U4MyAAbc*`)evf*<}6^cbNS@;XLwZu=FqZCC*PcZvG8M{7-s-
zFXE*CFM1j$@F$g`7gQ9zrA#`fT=cba;}<Kq1Fdj$h>HbYg^(LpK3gE)26sIrSd-rc
zlu?#u1{aPT?VRY%wh^{K4&vs=o}!SGA%oxx6pEA?n0>Z3RSv8n4F^&pziC`Y+mk4;
zX|lE*CJ?XNH75y&*oR=?5STX2Av6M-t!-N;c46!Zx+UMlQ9islSB+!+V3(^n+7E|Z
zpXmEs$xeyq#0fXDj>C)7ae0=l0<(@+Q(0eaQYqL`{8kJoZnCON4OAMnz_Sg0%2S}y
zX{c(TiE%v)h7ambw2(-~hzJS5=dx}ba7&>brAkghTsb-)p)HmJf;C7Bj$E-R(3ak$
zWO!p@>0Pi+bvV@)4TQo5bPkcLc{ccLO<}c^>+?V0#-?hbCuIkdE<KfIXn~Hzg%Bxq
z!6TC^p^{63TpJhyz@`iloYN3Id+Sjs0a~TNtQV?B(2$kN#03rf<O<I;)m)DxH^)?X
z`O;~<s^!<?bf{x7&<*&i@Cq(FzpP!|yFLG0a;la#*c7?$7|}9O8U>Zk0HTLG+k%0G
zknN04RVu)OEFlnD?}!v3RIR&}YN0|^;1ZGN>f!DE#>Fz+B=HO0o(Q<z3wXW0>PQWt
zl5$iRYOA_etr&w=t+QQN0V>MlM(`~ZCJ7kco}@D#iVl}U)DL=+H4OehG2U)mq!^hm
z>J7k-ZQlJ8aP7%yho)*xHNta3gFG(L4p(obsPao^(P~4!+vg6~Ei^hwzN-#or8We@
z7q#coN4V`^MjD-#_SeY!H6a?kmFhY==@(rbqU-Y=rd>TRxUms8@uOBjxOTzjyMZ{_
zEepc+Axh%*z(j?GQ0JskTaOmCWDmlvILY=7i(X!WBhOn-WB=aM=6ist$mD8_h#1)J
z9;0d*PmHwszq=3D>K*Q{_vY<1w5m+zVoy6s%5=X;_6);|D`^`WuI<;eM)kaS2cky%
zd+)YZIZcT49Vy(rg9cTV)f^*2n(!FmCCV6fwt9$2L0b!hdA(a{g5R6GmBuDpLPnuP
ziZ9VXNa~G)^3s#nL=8^?o8e3G#(8mARpd)bjt#$!_r^;>lrJSjw~OakI4aqbY=QAY
zbVvEcJ>?e{$lbcm)vQDb&BL4oA9N!w%6%ynHZ`w=uM>u94$@|E6ststGXVpV!j*N^
z3xPmys;m0YRjNN_sR4Ag8c03WU>c}~&=5783e^ZIQrFT1RY+xO6s=U((Hb>|w&0rA
zU1}VatMT-xnn(wgzl08}NjUGBOvls|I<87#w5HOtY8stV)9FPugI-ZH=?yi9K2v2d
zTyya=%6S}zbD>nVfSaj>oTF~QjkrY!@$gF@{M2%$x{(*DrMy-x<6G1U-hrs)pjyRG
zsMY+kTEl16T0XDV@i*#bg`XkcqP*%>RbSnva@2a&Rc*j2+3h$XyHgdaEvi@rafWpl
zYHd~9)i$*g=|Od`I;`$fmFj-=6iQxDyVM!AN1auB)kmsaeXsUuJ#r3ar5M-3nm{q9
zV6DVW5#M-VnJ;oP<m7bH{|5*Q=MC3}er36J8Ar$YCs<E}e)KesHk%`tK+obfU<-7U
zh^s|kaSn1xxKDNg7jyRGitj7<)k;g`l0obq+zRH$#1@R@)&K_F*qC`?)D=o9qSTPn
z0IMJS`5m{>S}k6k=c}R74eaed*?<voV25AhJPprg;n%8d@ztfC0-_+0ts8m}r+Ky>
z<k7HmE-33g;UH!}SW)BA09Sb73U>}?VUNWhcBCPc3g%?OmAf-UTe3wsriTc5_+=7M
zy`Gs>)dHF55CsKeY*1Awj@ey;BW^{JpzGz7ge#{t3Vh~M@;k|KfH?w~TL5=g<Z0vI
z1t2l0hsotvkH8Cfl<KI*a8vsLwN?kIo2sDx>JW{>`#5zJlzjpw^J%(SJwtb>e^3DV
zZOHFd&+5&V+rHgk2qa>TqU><sEob?AA~Z+Nj#XT6)WmcuTvWLgzVe`bpm{U=I$WG(
z#376m-!N6>{7RgT_f)4aT?aby9QJb8hY2B3hWsW%$Xr)Q8~iSdTl&L3aZM`1tL-Ee
zt14>(>XvOnv~64D3<EEn#kz#?(-g^Rv$I`p?1t#>@=KrDeW2#1OxUT&4%FQS6W^&W
zJS}jRJ_^&P4C)m4?0NVWfX&s5KrmjRboDCStv9H>dXsvox8QD_2BF`e67>$vQ)g(k
zdY3k-_h^UufF4k1>5w`{N7aY)ggOtO_7i$ZeM)bt&**LSIh|1#^d^Yk+AF*Xeizu(
zhCfW4Pavc~bm+p#MpG>prVzDiXWk3r77CdCE7$}DF@0U{k%92)6)hkRO2?UoL^e(w
zmhRV^g|j!tX}!H!0M`uducUxBvCyn~gK&s&m%M{LtCT4u8g8EY2JYOq;JojkD8APV
zu)U&`s(Gb^&j?s99fU_2kJ*V=R5yw45inM~A$v30g<m_=$01M8F#YvGn!^2E^)p4Q
zU*P%t3P%6E#&C7R!#O}XITIBptP^*Z;ez8^aEkw4pa(dyx)=U|Q|-rC@)9ZAA$PS<
z=0JgCr&MrM``K5CN>CS3`WKwaOXS1Evka!@h5@h6LHS0Mo{0VPgpO6~?g#*|D<&X+
zv7nnD=U?J;;R=LJ0+##BARsq^*H^>i0+<5Em8+_9ddAVnbk)w%KyYY}t@LYioQCv7
z{ywy8jpsFzw*?2e?sCE*rEpLn7`-AD@Z%8?t;=iZb2Yn29~x4cyZ}_vXDe}4UvR*3
zt-RPrERvHG89eQA!-t6pmlfm{N<H}>@lW%RKQhN6yGS3y*bRiMGUb>{=DcpTo#`EZ
zFIjhx1lTG6>&I%&>kHl^fQ4Qop6VHi)YM3#9K%a(jAZI))TS|pkCqvAXpfObj~eyp
zh*959&l~CVj&T+JW@NB38gWCTDK|E<^wvov(iFg6IO>753%m5lX%mBE@&s)!6atbS
zRY$*R*h~56G%DzRnICI)0f|CB2k~G}JQV=n(RGo*jXwOIbi29^H~OC86L1yW{1Kk(
z)~2`QBk3*G)&v88+9miz57kcoxXY1Wd#G8)<$vBKIJXxrrM!Jr@S|R;YyJQFV-FZ5
z@^ANw-NCNC;Q;jPB$d+wPj*TSzR+7)>6iU+1}Nt2NE1AFuP}Sq)tC2(4=(DX;sSjJ
z#95IVyH`BZKRBeXY8Wi*qgtvZh4#zy@-l3+{Zg+lUS1t9FT+)zNrCt?DS`B<3BlL<
zs;kxbX;tsJ{ZuZm4i@!OL)8(#F1{FR1!gUe3ZCnyGF6Y8b=h|}#|CryW7_}qGyBM-
z^t9XHFD781^S7mE5AMe*$q>|wNE%)Cqk3IxC%acn+o&7iC-%V${Z+2I^`w4(;#6F)
ze5gte77kE#)WR2}FgUw4#|5_yK&_Q;>RNI8t>AZf=XJsKfpE6I{XiFQIGYl@XCUT3
z?7VJ=9}DNEUw&Kj?<CK-pj*x!93LDxNaY%Bayi&?kZKYfcaUR)Cs4#H_`@JI$oQ=b
z2O3~v@@wDVl))<3@me4J9grUeb86txopHfaQq-}3xG1=EAjb!r3_)4OK)bA&R7nnQ
z8=~qsJ{p3u6~j2&F8c#zM#69ozA=XD%CB>Sy@p~kKa32QoV_bvsFG`(yk3{I3C0dn
znZ}kP4&GnPt%5V;?W0K?d>X$L37qfZ44xc@+My}BBrljV9N!O@a`41dt{c2T-tYtH
o;JpRP8$9t2M@#1k!4AV!T=0wGDpsw0FZk<ll@|3>cL~}52dJFr@Bjb+

delta 18790
zcmaic31Cdu{{Q!T?j(0+az(b8m_$fWOA^EuL=bDNkysk4mLT?}*4k=HW7mbN25nJW
z-m|oo5LAn{N;jp;dsTf@_r0a9?&bga-aAR~^WI<U+;h)8>-T)u&pBhyKU^DkxvJ#$
z)EsV-KkEx;udY&G3lz@Y*Q!@+mGHGQTTjSMe;_Z6D9>CS+t$C*P4U!Sryfq~>7-t6
zQq<c`In>8Zxs<0<UpG0apCtWVC>h|UJ1IZJ>bq*kEEj4HbkiWZD~txy-8v0%Qxpx=
zX_!vK-Bds$+%%F#xu}pvOKyx#V|5zG6q-41^0*o8IPgI)&NR<ViZXM%hLvuswvf#^
z;k8xGUgm{H3Fe0IhUW6P7_B-bm|NmHc&pQRohBGGkrH&8WYA=q!c^CsIym0U>J*l0
zP<6V;psAE#&@`H^(+q=V(kz4SrP(^oF=#H$(`mjz_t64#%g$<RhD2+AbiF&iwmCXJ
zIsSfw7SbY}9x$kg7VEUcpry3Tpyjl}Jm08Rpl2?Jnb+QTnll?GmxfgztD-$1p8Qe7
z7&`%J4KwRQZ@ro*3&k5zG$kT6tb7P1Q7yc=s5aG+x}`7G*vI~;;}lg!(M9oGeEmPg
zl-w(tJZ0oPM6o4QjZ@0VS4^J&TeuIS5|{7+im{%rQ5;HS<j<)!(pZdIjjEClbEuB;
zL`uP^EvY_rqEzZbY1pymG=}`GXgXz*pR#Brb*2DyqixiSp2lt;q5gD=2GTopH+@LM
z=^GkFztULNXaYNFB3GeF97U5k7W)9wa}rJEx-^YbXga6S3~oU)IfG_#d%Bl9(`@ce
zb2x|QazC2K18F`Fq5F7*pBC^Kx}PV~LY_s7xQHI$WmLp#Xff}>vxHV+jZ3+Vmhma%
zU!&#xI<4UU(1Su-j-%?llIqbNR2REp@J{6GgSyeYnHo^C(1cB_J(V1k!b_<kav{``
z=TRf%LdoBWr%+>Lb?U<-L6%f7`(VzeCdj#H4ELm_$honm_S6iyF!FOVkS-MjUdi>S
z1#(p=!10uhTsUpxsvvVJNdGh_)e5-?Q1Vx7N-9Nyp5IUga#5h_ht!5r$76p!#7ia$
zWAO15wMEW@21lqJa$a=uG_^-A7BuRLZAu1PEJNA>D~<zQBB>+xltC5AbrxRZ3)BU5
zk)dp)in@tT2%PS!;><ClBShK)5!ouXv~KNX95{P7JKWzSjsJ3BHKKvl0ufp4H52n<
zN<Xi2&Rg&kI{um8rK|iI{leeTuY8SuQ=#;`ilskPP5M)%(O;?+{jIvwHI+x#)d(gv
zo>|Rfr5<2St!0OLoI})J4pj$OS0~x6US+3xja}*kHcD$|{upZMrkoFdShveXw9Bl~
zDbxR$8-mi&1)1q2NoO~bE-ox9+YKh|E?;{{($fuoE!SE(l<THE(OY?<xALgJt*xlf
zC8-7l){E|xBwu=h^6Eu{B&pC~E=bK#X_z8POs4`jjgTR3(ql3K(PTP}$67}>F_S*3
zSz4oW6ZY4qCI;l}4g;H0&!7p^M5l=cO`^#<O)=;m`8<`T84$V|I?Xg_7Tv4UY=h>|
zT!ZG(e4XwyXaV^Rx}O#rv`Ey^94azsv8b*kwA7$wwA`Q-qTXiFN}X025QT@J3Hwhg
zFn8{Zf?jhrmKi)ukC>}Rw5_pPr!@wdv{t7_4O&M5gVxgqgEmr=8}w)C=&noH+!_~O
z`fc`Au3Zb170w}94N{T?Ar)O$ACkqCY&v?>;S{q$kN7sJ_>xE((r8FnBRnOCS)iWe
zq^-0}gIJ*@y6FtrgOTD|roYERUTSjB5&id*&*v<oxMGUUa6xUAQNkgrQ346}xymT9
z`1<4$3Mr!`TOrn}{0uFbC<^fueM>)xQf32E7>|+^bAQhX{%@%#%DdAQ>cJZI;!w(A
zgYr<P4@XcgC(!^17-4(Dpa)_g@y*co3Z%3-<l6;e&w+F|!;~Kc&08X;Lp-}dx?4kA
zgs={oZjFWAL0>?oTcd3<eGHLq3zBrB6ZIj<?a6_mBCQTZLTd%-#E@vAY6nX~+jLWL
zrI&gQZ67(PaCYlER`+Oh$w4H4TbNgBMX!0NW?)lK6<WG<)f*bOGkcFuL%LvmJEYH#
zzaMG438_}o=lU-=@<wwa`P)dEnu&9(`5TR#STKG1YuBDViZPq07&jDef|F~wxh5yN
zpqi6(uI0vpYRgL<o$r9@=LC7FD@i?_>${<3t&#>(lB{!zn<DIzR4HjFNh23jd1J|?
zNzz1;rfxq{t7$VgH|G{^yr%2iQs-7~Zp|5PZo`=_Zp-Z?*Iwr=>7@f?oNG(nj$yD7
zog{%Sn9I-wbGfUVv$>ljPzX+jAG1m3-&1EeGieO9P=j-1g79b}{0!v~!FjTTzAo;^
z{iPr11Sj7a#`!!jj0f>uk_^`QZZ{8MXaa)=y3olmH>}uj7X-e*%_DfEn@4e>B%{M%
z>W1q)#!cCrARUgCWLy}JmtMznuFezO)SD+_{k?gTn<w)WdA~;{I8}1fWR}z2JcDP-
z*IDx6UP)$4GDniRZl1^UCAm*}U*Luv_RGYvE+^;8yzZA|p}givFN-93K-PPwn~Qj{
z&P)7mUdqdKUM^j%kYuIKt7HZb>U7-=bN-Ml^<nw)h)id-&TC|OrjTK+&W{QaO!=}-
z=YUjOFT~g&B;P2>W3pq9>->byn{?g`Pp{vMf*CWXGa20{PcCh|HrZAB@Dmf1wvD!%
ze{ZfHzQy1td8=r*B}|Ft<@P=^Ym3Xdjknp3SKbz{^C5cJpf$9_eB=R7-lMeE(q&AM
z;|pdLG@dzQ+{DJ+3Z{?kT>$6LQf?bW!##$Cx6@{WHc7Hx$~H;@pHAl;a1^-MpeJc7
zRAe>tyDbgk|6%Yyd6&++4c^0hb$-g=r}-I!_i>5Y<jIE3O3@FyIn1Ev=!n5S+HTMx
zI&9G6gyrrx;HDfkV2_U)@Bt1Qe25R5tDkJubsIlx@DYB_;O7|?j`4AWU*H!Feu<Cj
ze8S+D`J_Rw(;Eh#;#YKj)!^6ob)E5kS_XQP&oITAZ%y);TlR*e>U`GVxA<*?-{BC0
zKEpI%oxj%kUk3l1-_!Y=!SC~b48FjZ%*a2}!p@@;dVyZl`6F{-*JyLgR<HkK>G%`=
zROinO{+z!s_)GrE;IAe34S#F!cl^E1KNx&jO0G!qqcr(RazD$0uF^@Je=+!1{>|Xu
z`459$A*|_7{>$LM>1zXC0+Q>f3cdfVuGmmYX~A7H*JoF8>dIlL5EW`BjjR!Pa{$M*
zH0Trh)PQ#0&J=F#?!<!0V;XmyGo#Q@x^f!IrQ8PXrvnD<raguV<7b&_nvwP5!+T8`
zIl)i{sG+KWw|IL)Eu3S_Cfggv9+bkW9E06c5eA1NQIWLSyz;)M^x^Gm9p>tB$!6_;
zF65{{l9O|)xbB@cZbqSWsH^CbU7H*sAtNUi7MKg)^_qvDdfR_LH2p#tH6>gNMasfc
zmJ&y(V7;%TRo3&t;1e8dy+0CsUu`{=FtybVw%K}uxveMI*m{C%ttU7dPZkCySP&)L
zZG8aiSx@k|_1t20T$hz_w$%iJhK4)LcF#QO--(ira7T%T!5eNuF7y=+!xjhgbq6d|
zGF+V&@N}}^==Vg>b|;NS5I2U#;=k!M4sOYKdH`WpF?z6Lnj-oK{WCbuE*S^;u9%<r
z4esQF<V#LDKymx<rf6p?Ji;v}VJe27hvDa2U3u;5!LHEIq9+_H*<@?-EB3W5l*vb-
z9l<9G$21~9{aT=(Or{+ya|G=6UU~{SaartXN$zQS27O3wAC*`m)uB?5NqVXyyo7Lo
zsVqpQ)RM#$8A&2xLalIE{L1B4tynI2%9`1|CH*Y2##!T<=yg4Ohz(Q&8&eM>H^G>d
z?VDD#hvJa-7^5+sGQW`I{p5WH8BhwT9X}qpp>aq><7eS~*o`w#yMwfjNG_uWCFI#j
zx}%sJ+MZiFI($P%5fvRlkx579iqfP}m4hC=ZQbYTXmHRQXPkWNj9<K=apjDU(Q#{_
zs{3Ota@piP3DTdk>f0<38l0G{UN~C_1I2ZlVPkF`_VwEi`_gS1`}b4St*y`8w)Ke$
zGT*r3uv<y{&TSjNOecf$ZihV*W(rM?KR{voGAee)Cc=9l!nyxK1kn#dgj4o9%%KOo
z7Wr)ExOCfrp@wfmu-IFd{ON5Qzgn@$jjVx*9ET|7#<oL*+rGM?v7>^UUb|i6)EgU1
z+wX4M7UoZ8ZRVE6HL2vppRBqzbGRy)!$qf|{)8@X(iyAOV`cTSrIoE8egj2+hXntD
zF#1oc2Rk(JR`lSdvrw3fdXe-NauS-njUZfR;5s<dqH$g5CxRk%a|i<NP=E(cYR)d|
z$YInS(L;aWA0s*3>R<FveQ36Kp}!^G991#WDEb%u8~sYzdzSuj(_Pr__n|48BOJ0@
zFu_R6=oqmVsZfL$M4Qa`7vg|kRY>+Ev%#TMe_LP3Vaj9(RE><#if`3?q5CPTj5<Jz
zR1N0S^MjvvP>8mt`1-Np>q~Adaa3}04$K*G47u0?<Rq5ray2-eanu&DMn`}<-8q5!
zaSa;A{+a;r1nH><;HD8knI-^Zn$d$mdmiC*+Q_Zxac*N#r5lzp4A9F5pg<_rI)wg1
z7eJ-9z?Lq8QVv99odJGavS_v`NHZ5bN*}>q0>S|z^)bH6?!Ymy>Ej2Hl%>2|rj}60
zofMAXuTvRy&MBraJKH6vf-Er&4^vkJock%fVHu_8JNDe58EYYSBVI^4FQO=31~6q6
z)!|1dnb%S?UPmqX32PnAF~6#q_h*3Cw078;mKEFE5&_?rn3$A(MPFlPaliqsiYWcY
zHWCn`Ob{Rfs(ozfr-$ERzc2JKwPBcv8#Y(UtZi+Zq5JehG$zA|WeoA@Wz_sQIWt@m
z1Ghd*8B7^&pF7w=Gs#)a#%6^1oW8I!8kb=t`wX8;^23kQ_%fQ18NZQ2i}C;USBtMN
zPBycii}6nkT4l`rB4#g`k()1q5SJ*1Kcaa43USwEst?DnIsXh!xC)m44IJ=0pua!B
z0Dl6~`wQ;=HGmJ-X`Kq81K`|ul};ZjCm<geR}rsEMR2N$=2j|(yQ^y4SNV9TN?`vu
zRfA`#n!H3MazNGQ9Vpzb>hl5BfRCv(eo-~!msJaXN2T)@swMxVTJayMwQ{Nq6{Fgy
z8Y)vIs}8D}>Z&@cY}F0_^;Er84*ttixoWV=S0mLRHAc;`cJU&hw6562Z^2vPf;)DH
zDq4k&J-}}I9-`@lFn$A=pagV?f$MP@Uky$LaB>B?D%=++j@20JZ4RdX5nMP7kfAVj
zC}`2cVr5+=1LysTex@+h3|P`t@CW>6psl~4o({_O2e$Vc4R$IgT&3SJ8<&cK1NH|v
z9e{`$8)U8+)gRhR^nZPo1&R0z%+*{qw<H2Gq*5#y3gLGkFCs%?6aEf*CFw`!)t&@4
za+Fb@GP*PP%q?8@oHN5IZ<CMHlng!aOcHzf9`l={)g4n0(lj&dSZDwA;_GKCSz`p2
zKxzqvsHGICR#F|ciW;kjC{sO59n>R~tyWX6T1SJ`dYYy-&@#1=)+iWn^#tw0^BJ{+
zUQ>JNw0erpY8qYC9Q36YLceM{hie8$YE`Y>nG1*VQ6M(o`9W(J@cV&ujjlt1EQ9_b
zI8p#*0WGsd^~Q+lY^rAiotMRH09)4D1Oatpp|<}mIu!7<?FfcISqljff1nRrsaynK
zYc}E7Q7);}{4^>FkTpP*Mj5s5l@b&+FEW;-&FGza7|=EqU;o0cGs~QNyp~@yZyC+1
zq+L32VbY?=sl`yF=B0QomXdIqQAbOl6s;yT(-J9DOQNn?E$X4wrQTXS>aW$e=#dQO
zipQRcDpBAQ2Ym)RByPlj;F6rw+gdv8phQfB*lLGa^@Vjj%iQ@wLmp$k`$AHUu}~Gd
z&kaQYUAcogLPOwX98?9A!+bOP#fJX*m~-*<O~u!~sGRvj0{&?!<kA{awAPraYiU$Z
zYeFrwrkHUv%s8F$v^F$E%cL<{dz!9g(HyM<EzmmBLah_6)Vk0^S`XT&^`zZe4(-?S
z=!n*rPHFw=EiIoeXanhM?JoLB8|<gQwIQr)!#P?jV4pUEYiJ`mNgKrtv@x8j&E>}0
zJc}fIV63N87{IoFf*XcVBN*gM*yTJJ6frRx2%}j7rE_$!UKL1Ux+Q~Q5RO!s?@M5`
z3jlmYLfur43qmYbav<>eHON4j5Pe&s_S0;;Ls;jjme@MsixpY}i+7L~+zS`iE4NuN
zltG&%SOIuxhk5xWPv(7<#I@W$Z2`G8zqKygy$K6;MVPq(Zk25fzoCN#w|1}y9X#;=
z>7XhgN0~u~6W)5_A6b5*X2(qBhf=`+jw8tm;LHUlVp~XEdzvfYI;^~5lp9=h2-h-e
zn$b{~GD`ayH+ZMoLsqL>NAa*%>Z1Qjw-_N}_^qp3gK^E<j|)Aq)*3g~9v6L8_~%VT
z2ygK?wRN|hNi};W=9XDEge2NVjQiMs8CRlo*%lx_!8J6KcZ?qbOFi$_C2T?%w)wV0
z$CW#Klm(GyMBEgPiF->3o@dBSK8h7DYg@6`+sM#%+|XTkkYN;DG^l7eX+?O(K?D}z
zr1OC+AD;(0`2k$Ii+Fxmy8Pshq;Nr%3u@QWv%3*xcQb2t@|w9Dz2?|2tNMZQZRgHT
z?&9XIob7@m&`px=lJt<o##EhxsRAXDl0Lcsss?wKmpq+u>Qa^a>D*rjsLFS8zMBW~
zAQ#`ogC%Dps#15DV5`F=SKwlRsZJgRY_gC?J9&&Q_-RcZCtt@)hX7Bbc%lyE6fcwA
zJVlVxC_zr20CLLHd4}YGoKELiy5Od%Jln-{c&;S#B$+Q|z)hnBH?1kSX(rz<3DDA1
z0Hr8<0EMYsB*|h~(h})&sm{x!+VU`7!7C+MrSpSs%HoG40Zy6)oD|7wH|6shNkGMX
zUMmT((o|k2g9c;{>m>nD8YMt!lmMkqSU@R`)ftd=l%F@dcnd!%AGgY&on=AWblxtV
z?U0h4k}H<vACml2s_v3xx6EOWz_EMX{1iVeJNS%L+2_Uyaj6@)@P1j(0ZGbSe2@=G
ze}{E`R^ZzsZhnsa&%603A9M3@enH+}lxi<YgA+Qx?1t?H=w6jiN^(kSfkILIiW?p?
zK1A`WI=?0}cwKsaL)Ly;X7#2l>WmAoXQkF#(&5{Zdq?MY-8kRHGE4YhZt@q&J{IvT
zY4C5!ZIf#6>GUli%`gNQ7|_7n(Ea<;^La@=kk|i6askdOe<;+vBn$b-%^yqUsxo9v
z{zUrvRO)@E^XD>&FG8*d|F{MFbSug#9sA94Ht$>KDs_F=iAxuM{{kCf78W>S=IGId
z)65!Is`2>1f-Fuj3orK$<w=nK3Fga}2UiK52(++p6g-Dfh4+|wA2l`SUvY=HrWF>9
z3Ot^LL$VWBW`%*&6gsVN`pk(lN?ZNdRx4d_^<CBu(>X!HTYYcv4}95x7T#?LkYxb5
zLh=kf1@PPgL&r^N+;!Z<LW2&Y9zfY24Io9ufI3qhf^FfBL_7fD!~Bz6S1{v$%ke<B
zTd=DEl&j3fTWPns;J21hhv_o|FxdVeq<WAJ0SEU+83<C(=_(9Js;Xk(^!~j0^KXMX
z{%NQ<LJ}`Yb(LUnEv{|A1+QtSM8Rc~B&kK`4OLr`I+EOhAyi#DXQ+CrDzN()bKCE^
zjqo8|KD3l7tt8i4H8l`5B9|fEw?V>)s|?QK+Gf%piJm%KTUS|z>cBv6VH*wAQFSt(
z+*NBNR;xN2fC0`Ls*CDsAPhj#O?5Xoma7>I%Vek?s;8lPsouKEF;pLwYal%6Yp8yz
zzpe%t>Q0q!sDWybq3)993|2#RHOx@MRe^yxV}!XnJ0{scBr!@?g@zif#^`FSp~fkI
z!xIfPN!B-68cvZ0_n1}xY?}Ki7DJz_sYqlU>Fm4>o;^_E6!@^3Zm1culZVwzL(Rep
z)xAOhok7sqs;VLQftk0(6RGB?xdzVEBMi78uLNQ54mRvPU)^V@1<G%z`_)22Et1`M
zKsK_-P>a<PLoHS94Yf?I(A7!<9y~z*1g>GI2l+=J<f&db^r-x>0f!#DvRbV%Xb%|W
z%KNFM^Z$BQH>;*~IGFC>6%MD~p<|!E{kwEF8*lbH_4<Q5cJJPxd*DA#{{CQ?n@6e%
zwrO<3s)0AfFqNArVQjp+q-Q+Y0&C?7Hn-lv>DE(VT4@LFw4PvHJmcZhgG;R%hv`|g
zJ96+N1C;eYhq7t7<3iK{ZgOLc&;qb+YrqE?2wvJC9`8(b;X*g0Y-)<**bLlS>Vg|E
zeW@Ru>0HW3ZXB@gsmLt=II|p)#ya?yn`tOkFbonn9O5$)r#_?T1W@s_K*cZ8czPZq
z0vgCfvnU{6$1pg-Z#)jjQvQ4h9PTAdQ*tMeQ<%hI5?D|}9$P3&2y74M_Jd^wHgq)^
zD8UrurvjRuRz3pWV=%z07EDsNVt~5z8cvO5fVu$BPNP%Fy$R|%P<jUQlmRYPW$!2%
zz{U*cSe=%8W%gVd7}(oV8MP`rDflBvwj)*9c)@KOzk|3Ljm62d_QD=$(QWJ6VA!n#
zRl9YdCAV!1)fAlNI4n_?n}As&kh#OY5D--s_#uMhtx0$-Vy#4Y@DM!NRlwvQ1dBXu
z^(zi{7=j5QsgN%rNKytWcitX>-$HvG+!=X@>h|K^DW^!#n0k9t%BVgv4K|W1B^iKB
za<CxfIHmSZEu)6;;Tr9rDt5N<PI?U}RazM}k%~=)sAbd)+2$LmYUNvt{8ThZw+mVp
zAm6GGU{CPfdhLi8grgZ~+XmTcWt4J~Cf)FMoHFr$8MXCiga|~~PVlAPl55XcU{*$`
zFBJG->Q0K3Over6@`Y-^&g89gl9iTGmx40tdQ(X@O1c$ae>xR)yUQ&1f@BKPK#+kr
zq;lx77VNbSgbn~t@oz-&W0Z&>JrzQfMOz?va;Izugli{+XBW<Xb|ZFp3j47SF#mpt
z`T^`r8TR8KcHj_#w8IGWpG8=H1mPacFl0%@O>ov%A<`cpW(!3ReuQ$TAy1_MRW3r#
zfW300Ke(L^L{XOzmci&Ej`|o7qCy_J+1_G29Tt-mVvBPco+4Lr%`)n-k24&A3d=XS
zp%f+u3uKcs9D<)<o3XdyK1T`l#O4;0H(1(eC;7vqxEG3j4xyRPfi7Cx(ScB{9cV;Q
z01hn02^p>eDGrCcMnYn%LlkQPh;9tEpMjXR3s^oEY&j519*RYe!ZL*r0uMw&f61yu
z?G#pMg+lU+GGG)JSj*RthZ(XL?M%jyKy)0Nu;|_?N84%Xj#ODX7^(Lj?5?%$4USpC
zthHjWleG?9y=f?1R6^kJXn8i?L1FUjwUhFEAwfp>qis{GbO*)z(D(+<mX{k?yBVt9
zAPIPDkssvqWW400?x#LMW<O53C6u=lVu%lYtxj9&$*EpFp@jM!r2Z%k%0&|hhOhD!
zOAx`xa1~SB5y~8NkOpM9%0COHdS`y1nTPA7WMx#*(!;g%s#4fCBf=LE6rx<o1%)Wm
z7YS(zEb{R1YD3c<#p)d`J<=2D3ExVO`>J>%o0ieAz#ks2=^x&|C<a$Lzw|}>46D3L
z@Ox)SS>dvjic$bFcn`j23qF&5hziO-7cM(QBRr19|Mh#pvUEpLBt{zPbE6V;#K?@u
zBUH~`X_S^8?TPk99^Fd4e371L%&*HK8kHUse8~<R^Rmy6O$hfzd2s6#dZ$Hxkr(}4
zEQ&^2BJ^&GzoYGqX_1c}wRDfi<HNPpL0f4TzKtoNu{)_PYQ&)zTwfgr+}VbnGh%!(
zWi+vjCINMn>=e|;a8=6lE%F`d{%E_Cdv?;Dp6Cr^cs!2b>E2?}J)U&0mLBVg^?0{Z
z<J%8_wo@wy!R%u(@3WZZ5t@eWo_?&zgMz;Hq=ga%=qC&W@CY@^Xht&51jACw3uFgm
zL+tO_<;8`|%4lY~*W>VbhhyV$Ma>&+-P}DyF*tZ-pBJ}wt&yInSWM>|3H3i_@4spK
zGTYPTbHA~N<lC>mvhgfy{I^j}Ohr)kz&udltv!xCsg}hOS-*D=vG#;^QTqsvh9WVU
zd=g#<S^DHtn7+@T%|C};`U1Yk*SJ6YEtL6p@SlEwXLT8v+t0Z6eHA+CS19z~;5YpV
zBl{PvhdtdaXe!k9A;4tML-U@1`aT07>H;99pMcE$#W8@!yc`D~J%OunJ@6kl;dopL
ztIjQP6RjO5ayLX6{kb*|<~qOy?%;`B7lD60p2o>MpHp}lr}D$xh}Uo$KgvycBRAt+
z=wUA|l9g}<ZrQZsSGhgz$RJYW4*VH+<R9_;jXSGM?xODIcDSe7O-;g~#4PsrPz$-I
zdWd_e$GErJ$vLW&`>3PHpWq(qHSVv@@Bmy^y;EJ}f$AH+OI_u`S{UE0d3lIdi-&5d
zJX~wcqqNpMT5HE+v}_)y_2dcK0G_B#;7Qs%<QMWiS`kmxR`Eb>4bRk`;Mv+9o}<0z
z=egQNzEAsz=V_nteC;Ye{>k?{LU^GgiWfQR^8=1n$hYIgj;_4a(T|ro#_@8;4CLqX
zD#t>8(D5)o;#k9vI@aUl3MPVg!bn_(ZTu1kQ!efgvm;hB630C8*wEcL<ar0K?l;)j
zDE6NRX!ITIP&B^?bNxL&N2<+qhgDIcgLLdWnyANc^Yb!t9vrIVS@oi|FtE@SnClp=
zGlu&KU%lD{@&?Ota9L9Ni`9C<KexWBk6`wHmR_{?z-d=$w;xSDftxEHnOA!hEG11m
zj{4=@IGmV*)x<FlhR+(#(H*xdtTHtTvF9&f#Yi<v`M{1}Q4}_6AF$h}5C)_=Mq7q5
zgjzcW;hg19_zowuH^Hu_G5lY^2mLmY;<VX7iLc@OCqbKu(}!!oV(Ve|2wfZ8L@Qw2
zYQ{-Wb8RS24tC=hsiig;-2N0`hIW9q#Rb7BpJP+GHFj(QXfHmx!?Dpa#tPRn0+x@i
zk=wDBL(vPob-%=WkV81eswMzx!Io1X#i1K1><HC?5}SQ2Xt2wz^_+dsGPbp*UlX3E
zxfu>EJ;W1|u$4SMhbJV(6VmJu&Ffbb0&Vh5u&$VM@nJ&nUhYMTdGu4}NlFy!c*_UM
zJV^61aCB&tn@-sOBa}7B=Qu+7gDf*_Cyt|w3l7pidATpy7jlpmh#@KOPCUvx^Mh79
zsF!@w1d0hp-fvlX*!S{U_rV?ojk_PlT^iahSD3gNjSkTL#S~tt&K6dBSF_;G6F)(?
zfQVh$3Xa}}gTI|P-2EqTpk0*6dvTP%4_BW{aFkk#(_y$Tem+2V^CA3(;V^)v=V%=t
zrI+{^y~QukIX*#OKso-xuh2E<6c@h%1$G*`>I`(%S?H#>pp)LQ+_KS7n$6)~3HOH3
z3Y^Kfz>A^a({I=fNps+r6vu<SxDGcS?XTy^-#N&P*!FVXLGBxiccO6?FMh1TIy^S-
zK&yhyz*kV-f{5789cQBqM~GxX!!JUV@_-d2cyD++PDQetaD<A$REsl0t#A81g!=<R
z`$X{#^hB79L$oB&z6N{!OE*w$U#Q1rxdzL8Av*}Mg7sQL%gbm*elbM^3uK#C<QKWX
zanDumh;<Cc=OHa0P!iNnGESLW@g)Q(AK}LA$JCcU!8z)u_#w$>_-Vygv<hWw_}d^s
zfy>qa9mBaQ=-3mHgwPi9fw04lUL_~wkx0(8$S9Ga84QFacLK&I1ln+1u$Oi;0H$a+
zWIvmFaTIcpJ;91>GU5a?1o0tpu3Q=L3q>R%NKZW~L`e_fj8H9I_c+p>9;YW{8$AXZ
z+73_)vCkf-MX3pPyfrcC_<*`oP|tFFf_ZU#bh|D5o<1I3{2nL#9(by{$C>WJ5N^+C
zx5u@W>fPKkT1}M=vwMff;|9skVOHf{Ly;2&qf|P)WqaxeX=S>zq2xVI+Z}M?N&qSZ
zClIKa2%q)lPGuj@mG_9rxI8XdZ!K#sHb307%30RVU+_5XdnFR<Yy=`fd>IDl3S6Y0
zaFOO`AURiYzvLI(FZm5T@CWXe{Dlqq8$95@P9v0}iONA!ah+f;PRJK17cEx^EL9j4
zBfl57JD*YEa4xRWQ58imsAzf<=jZ2@7uODA>0?!mzJ(3=RmI^KC-Ll2K90xD0{p0q
z8>vLjR7sqTd~X1i5=gB_Fm`XyY`Offf+-e*x#7`dSk}q~-)FOBW}L8m_E$OXt80~s
zqRuU6MC5{u$hnZz*CDa;Rbn&^6v(!0r~`Cp!(K~4RO42bDGLQnTEJMPJq4b80a5Xr
zL7oJNY4aqShFGFK02(#DWe7HM*l}7FC{D5?4cV$MeNJzPgrO2$Xemb#H(01bimhf-
zj#h4qb+<`100X2@RfQiJsYaBf8dD=Yo2w?&RW+r)xV|71x*O8wgU?VdcLU0oi%pY7
zvLBTOSgRDl8(_H^)&aU@K^+j=K9*R@C7Q05!=b~hx3~NaC*e4a<ARIq4?0OS>ui_`
zwp@{4sY9&8NWjIqYHdwQ;$PIWrqTd8WW|#a9pJ=y*fk+Na@C<V5dR9;DMJLltHlZa
z2M^-{2NfwHS>*^8{-!d?t=dv7o(ZbGHBurvP{HL(r!^{;UxRBxx#I|c6FEt`$Jd(<
zHLF$jZqL6Xu2FQVYjs<G;jvtY+2^X#8IW~ru20uyT*VK(S)1ehE%M97u(C^g4{_O6
zWfL%OidNm>mi4BZDu-&TKDeckOD$EuibW8$s+fAKAfqaHRpKK77=fQ{jf=y~NN}Ot
z`naOC#WuiC@LO;b9EBV)`Yspjyakf9%?K%X3!LSUlUh;<IUTo9C#Ptt<{RYp(FO4B
zBXX0;j;vL_)>iU%Y%R5M^T`*w<N8Oqry%#9tVZwp>Y;<qQqZ}K25+G1j<(i|^ox?a
z0m)d^TLh}y!S(zo>JqHnW$ojD!0d)yg4H1%;w=Hcuw}^3Nu!o-OM1NS!e!|ZlFbfE
zQ+kvm-BV0MZ|!OA6V#);*Ya<L{$TeQRYVls2gm>4-3M!B2m8xj`xsCTyQMXaY<t=<
zQfBoVW6v<yd11@&U~PYS_4G(by0^TGmPRp+EbqI#aP21QQ&A@CEgz$tG{G@!I(LyV
z>}=%_<pnJb4Ce7{ppkx$cLNRe8bU@PbgVC0^TleO2<Rhg@)l8pQ;;}2))V20l8-Uo
z@Zj5U4{+BJzEEFm8LbwFGk=iR?KQx6WwfUF?;XW|&ypXCwXI|&ifS0-B!3y1`Nh}2
zmI`Yd9->E6f*?`}trHigLV`G%dVtIGAwdHXISiue>Mp9KhER$cN-fkd>Z}SVM~$F7
zRY>^?SK-wd8mY$Oo)fOYs|mD3O~$piDYRbQ1KTu}o>nudMEPgo9^AcjNX@1rh?0(~
zxiC`m=!BY2r__D847C84q5SlgT121WkmfH{gr7w&<_NU}hH5D{P|LWnTFIT%DnywN
z@+d^5lhwmKM?Jzz)oNaWpHps9>$pS(_&K$n-%uO)g4)QJ5V?M*HYxV2&B~*;sG90Y
z)mUv+S!x@Oz_#ON+%DXR+pR{ZJ&2d~suk)f^_Y4ZHJ(u=YQH*w{|>1#bxa*puOfF&
zJ*zILBkCjdoVu)zT6zR`=s=HLz5}{87HcK0ix|p{D|COuB%Vg(a)|wZaD8OM0p0$}
z4PeM3=qP?Nl8js=pxi6)Yj-2mJHg*`D!PfLQ~1S6L*!!UHJrpYf;#fhX$0(zk@JGs
zoj47FtBx%g%1sbqxv()aEGrW#N~&C`A!k`%KlbwnZfa?@NOg&uK}l=a+ke40T!Y!D
zg;2h^g%zjZm#8i9)v1mF*pT4O1wELKNX$~^Tnd|u8=~}jP|5X%;{#mfVLXz`s3jc3
zcEK!6thk1b1Vmtg-3>TCCs0P~Q$;x7q9G3#P2#Y#s2>(=Be;{mPGz(~N`j@fvEC@4
z+hZsa7^j$829D#mEdHAdV=@4LR@U<A$M#`$!|>aQbqEXOc^GqF2ee(Dhhd)NX#@8|
zv3sOm#L8cS{Xao*>Sb!6PEs><3b*=Rp<e1$8ie;@>I_X%XKAK-o0j_3d$dZOBU8N(
zwtp9F|1Vtedk<`Xj>=GW82RJKzoyPx%+eRc>i|O{!FnjrBO3<@fy-qF`T*<UK9n24
z*MrfH6M>i5Rk=yK&vMf>U=Ca1rgyPIWtJ<q_Wrzr{gFuEylNZVp&UoL!=~B|o0KlU
ztdI?>E}ImHPT?jns71Q99};EDx0IvskOjaj--znsC2zF9HY=mYH&V-r7wd*@5FC#6
z=|Kbb1g=&>=WHsz{#ixMwQ_V&zLC`tSg5wu;f8@ntpk+N@T^E(0LNa0<MAO?QMi1o
zKA}YQDSWXnsI~eMH!Qz`FZMO|;tMKN-_Z>9JuOy0;FjfO+61Qmhx&>3tDiystMr`u
zg-)v9>2>u7y{-PFf2+UfoVsRhhy1oRJGdQwCm7z|4;{xZA>0Z96n;91+rA=Ux)8Nu
zXU+#P4281@aZGU~p3Yi(q~Yx1v?Xc|O2l!E1XUsU_3s`lsKPlQ<5)lF8RbI=#Vd>j
zZNj0WtqsD#h>%#gyh1I5JK)=C8tJ$yS`}ACy;`WX0NZ7Xt(aG=b?PZD6Rs%)M;VUU
z$tcxhXmgg`b2%pjUo&d%t)#zoN~pPTQ7eqXGy``Xt56(nq>A5b4_7@noCB1z&s7-i
zduDLBb(pFQmkD4cO4I|6<(>qdArH77A!^SpWt-%BmpD`o)N*W<8jec0+`5piMdJ!u
z4Dd1!`7|#sipEky%}1>?{7MU#M`dc_lVZ>cN@U7!W-%rCcMaMjfDm^MmnZB=^2^v+
zP?THP&YVonpK_8LRK5m}NMKOqW~&?=au_nUTb2V3#$n;F4RHq43HhyP*A&mrlDCBi
zxeju!Bc<@8AUIwBSB2~X?0+}A5l|f*CMC$re!AZ}QHrSef@7sS<;6Z&lAN4F;c1T>
zJV%YXsh~x^)RVsmlq$ZoEU-(gv!{k-e(6EDE;$9|GUsKB?M!y?y>J;0a)CS*U;D9=
zGp%1q;IeMGR)=b9cTlQUkJ52rx2@KII%;qyv{aga>$0n~rc|o6py#!8dRc2p|JHEP
z1;}uy)`larOz0o2JwU{c)@Dj5lMYN$&{+*v?jtQrgir&vDX1Kgvja;fcc?f6mw#?V
z{)A|yv`yy7mP)Zt-_rqTbVQkgA29?^TnprbxRiZ2t_2?Fqi%RGE?kg0s+KQpn#Kp4
zrl}248veDIz?&UaEBW_g4!Sz2Dca5dVoYFhS2a<2YX=ItsRa4=BWfqgzbI4rFGt9^
zWaXdj3qP%6SG^}2mwbxaS}$gwC#wYhm93(zwiW;41N3-mWmDR|FuRjoJ*!h>U}ZNI
z5$J-S#;Z2HrL@2LIbWW&1LwP`ChCpB_DfoKykr+xFJ_ejJ@8<6{6gTx(dLu)#s<!I
z$K{~+Cs_Hk9;&0db}#bv0+01TowWOrPcSe0jlgAje{Q+dGiNOiPtEPgDn=7jjp+aU
zCjX`x?_FgzI{r|c{6;@2QEK1xGyI!sUs`R|PMZ=P_@k#vQ@@?G-us-2FyA~G8o1C;
z8G*uHxMKC`tJa6aCn5rSdZFUww}bDY=9%w913)s;)YbQ_GW<N)JpNv2pj!{ntFSld
zHTXhcVQ<`SI)2HjaCT#jKtzs;s(JH0&|7K0I?y3U4bo~g;Xqy*w+WofQOVlnR%|9I
zues&A9_ZIgMFpDoQ8l#Bv#ioUZbz;fnA=CCY0vjyH0SE(JzFCJ?@LK?Z@VP$aBq$b
zw9Z9QR3ED-E%0F<Om$DLiqp>Y4c2<9FKVHoH(=zcI0s+`GOw(Qw|*iV7}lRd1H<xE
zvg5-+Oo1kMb86slo=S7<#}Cu2YS-`PYJtSQs8NLbc4p)!DS;0Q(8w=EXU15yQUd4t
zqRn>vQ$%P}*E}=C6=>5BgxoehFsYx))_!=K1N*utPvDJy_^HX%4+5_KDj{@lCqV%I
E9}b%V5dZ)H

diff --git a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/MainforLocks.java b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/MainforLocks.java
index e74f4978..1ff5da75 100644
--- a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/MainforLocks.java
+++ b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/MainforLocks.java
@@ -8,6 +8,7 @@ package TransactionalIO.benchmarks;
 
 import TransactionalIO.core.TransactionalFile;
 import java.io.FileNotFoundException;
+import java.io.IOException;
 import java.io.RandomAccessFile;
 import java.util.logging.Level;
 import java.util.logging.Logger;
@@ -130,11 +131,11 @@ public class MainforLocks {
             System.out.println((endttime - starttime) / 1000000);
              int index =97;
             for (int j = 0; j < 26; j++) {
-                ((TransactionalFile)(benchmark.m.get(String.valueOf((char) (index+j))))).close();
+                ((RandomAccessFile)(benchmark.m.get(String.valueOf((char) (index+j))))).close();
             }
-        } catch (InterruptedException ex) {
+        } catch (IOException ex) {
             Logger.getLogger(MainforLocks.class.getName()).log(Level.SEVERE, null, ex);
-        } catch (FileNotFoundException ex) {
+        } catch (InterruptedException ex) {
             Logger.getLogger(MainforLocks.class.getName()).log(Level.SEVERE, null, ex);
         }
         
diff --git a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/benchmark.java b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/benchmark.java
index 1e848a4a..c08091c1 100644
--- a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/benchmark.java
+++ b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/benchmark.java
@@ -236,9 +236,12 @@ public class benchmark {
             int index = 97;
             for (int i = 0; i < 26; i++) {
            
-                m.put(String.valueOf((char) (index+i)), new TransactionalFile("/scratch/TransactionalIO/PureIOBenchmarkFiles/"
+            m.put(String.valueOf((char) (index+i)), new TransactionalFile("/scratch/TransactionalIO/PureIOBenchmarkFiles/"
 + String.valueOf((char) (index+i)) + ".text", "rw"));
                 count++;
+            /*   m.put(String.valueOf((char) (index+i)), new RandomAccessFile("/scratch/TransactionalIO/PureIOBenchmarkFiles/"
++ String.valueOf((char) (index+i)) + ".text", "rw"));
+                count++;*/
             }
             count = 0;
             m2 = Collections.synchronizedMap(hotwords);
diff --git a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/lockthread1.java b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/lockthread1.java
index 9d5ca4dc..787f576f 100644
--- a/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/lockthread1.java
+++ b/Robust/Transactions/TransactionalIO/src/TransactionalIO/benchmarks/lockthread1.java
@@ -69,7 +69,7 @@ public class lockthread1 extends Thread{
                 byte[] towrite = new byte[String.valueOf(holder, 0, i).length()];
                 towrite = String.valueOf(holder, 0, i).getBytes();
                 try {
-                    ((TransactionalFile) (benchmark.m.get(String.valueOf(holder,0,i).toLowerCase().substring(0, 1)))).file.write(towrite);
+                    ((RandomAccessFile) (benchmark.m.get(String.valueOf(holder,0,i).toLowerCase().substring(0, 1)))).write(towrite);
                 } catch (IOException ex) {
                     Logger.getLogger(thread1.class.getName()).log(Level.SEVERE, null, ex);
                 }
diff --git a/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/ExtendedTransaction.java b/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/ExtendedTransaction.java
index 9a9ce7b6..916298e5 100644
--- a/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/ExtendedTransaction.java
+++ b/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/ExtendedTransaction.java
@@ -71,7 +71,7 @@ public class ExtendedTransaction implements TransactionStatu {
     public HashMap merge_for_writes_done;
     private HashMap writeBuffer;
     private ContentionManager contentionmanager;
-    private /*volatile*/ Status status;
+    private volatile Status status;
     private int id;
 
     public ExtendedTransaction() {
@@ -114,14 +114,11 @@ public class ExtendedTransaction implements TransactionStatu {
 
     public void abort() {
         synchronized (this) {
-
             this.status = Status.ABORTED;
             if (this.memorystate != null && !(this.memorystate).isAborted()) {
                 this.memorystate.abortThisSystem();
             }
-
         }
-
     }
 
     public Status getStatus() {
@@ -209,33 +206,21 @@ public class ExtendedTransaction implements TransactionStatu {
 
         TreeMap hm = getSortedFileAccessMap(AccessedFiles);
         Iterator iter = hm.keySet().iterator();
-
+        
         while (iter.hasNext() && (this.getStatus() == Status.ACTIVE)) {
             INode key = (INode) iter.next();
-
             Vector vec = (Vector) AccessedFiles.get(key);
             Collections.sort(vec);
             Iterator it = vec.iterator();
-            while (it.hasNext()) {
+            while (it.hasNext() && this.getStatus() == Status.ACTIVE) {
                 TransactionalFile value = (TransactionalFile) it.next();
-                while (this.getStatus() == Status.ACTIVE) {
-                    value.offsetlock.lock();
-
-                    heldoffsetlocks.add(value.offsetlock);
-                    break;
-
-                }
-                if (this.getStatus() != Status.ACTIVE) {
-
-
-                    return false;
-                }
+                value.offsetlock.lock();
+                heldoffsetlocks.add(value.offsetlock);
+                break;
             }
-
         }
-        if (this.getStatus() != Status.ACTIVE) {
-
 
+        if (this.getStatus() != Status.ACTIVE) {
             return false;
         }
         return true;
@@ -250,13 +235,11 @@ public class ExtendedTransaction implements TransactionStatu {
 
             lock = block.getLock().writeLock();
         }
-
-        while (this.getStatus() == Status.ACTIVE) {
-            lock.lock();
-            heldblocklocks.add(lock);
-            return true;
-        }
-        return false;
+        
+        lock.lock();
+        heldblocklocks.add(lock);
+        return true;
+       
     }
 
     public void prepareCommit() {
@@ -324,24 +307,24 @@ public class ExtendedTransaction implements TransactionStatu {
             }
 
         }
-
+        
+        
         Iterator it = this.getAccessedBlocks().keySet().iterator();
-        while (it.hasNext() && (this.getStatus() == Status.ACTIVE)) {
-            INode inode = (INode) it.next();
-            GlobalINodeState inodestate = TransactionalFileWrapperFactory.getTateransactionalFileINodeState(inode);
-            TreeMap vec2 = (TreeMap) this.getAccessedBlocks().get(inode);
-            Iterator iter2 = vec2.keySet().iterator();
-            while (iter2.hasNext()) {
-                Integer num = (Integer) iter2.next();
-
-                BlockDataStructure blockobj = inodestate.getBlockDataStructure(num);
-
-                ok = this.lockBlock(blockobj, (BlockAccessModesEnum) vec2.get(num));
-                if (ok == false) {
-                    break;
+        BlockDataStructure[] blocks = new BlockDataStructure[100];
+        if (this.getStatus() == Status.ACTIVE)
+            while (it.hasNext() /*&& (this.getStatus() == Status.ACTIVE)*/) {
+                INode inode = (INode) it.next();
+                GlobalINodeState inodestate = TransactionalFileWrapperFactory.getTateransactionalFileINodeState(inode);
+                TreeMap vec2 = (TreeMap) this.getAccessedBlocks().get(inode);
+                Iterator iter2 = vec2.keySet().iterator();
+            
+                while (iter2.hasNext() && this.getStatus() == Status.ACTIVE) {
+                    Integer num = (Integer) iter2.next();    
+                    BlockDataStructure blockobj = inodestate.getBlockDataStructure(num);
+                    this.lockBlock(blockobj, (BlockAccessModesEnum) vec2.get(num));
+                    
                 }
             }
-        }
 
         if (this.getStatus() != Status.ACTIVE) {
 
@@ -393,14 +376,14 @@ public class ExtendedTransaction implements TransactionStatu {
             Lock lock = (Lock) it.next();
             lock.unlock();
         }
-        heldblocklocks.clear();
+   //     heldblocklocks.clear();
 
         it = heldoffsetlocks.iterator();
         while (it.hasNext()) {
             ReentrantLock lock = (ReentrantLock) it.next();
             lock.unlock();
         }
-        heldoffsetlocks.clear();
+    //    heldoffsetlocks.clear();
     }
 
     public void abortAllReaders() {
@@ -440,8 +423,8 @@ public class ExtendedTransaction implements TransactionStatu {
 
                 Integer num = (Integer) it2.next();
                 if (vec2.get(num) != BlockAccessModesEnum.READ) {
-                    BlockDataStructure blockobj = (BlockDataStructure) inodestate.getBlockDataStructure(num);//lockmap.get(num);
-
+                    BlockDataStructure blockobj = (BlockDataStructure) inodestate.getBlockDataStructure(num);
+                    //lockmap.get(num);
                     Iterator it4 = blockobj.getReaders().iterator(); // from here for visible readers strategy
 
                     while (it4.hasNext()) {
@@ -452,7 +435,6 @@ public class ExtendedTransaction implements TransactionStatu {
                         }
                     }
                     blockobj.getReaders().clear();
-
                 }
             }
 
diff --git a/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/TransactionalFile.java b/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/TransactionalFile.java
index 2e460d66..b0723a73 100644
--- a/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/TransactionalFile.java
+++ b/Robust/Transactions/TransactionalIO/src/TransactionalIO/core/TransactionalFile.java
@@ -34,6 +34,7 @@ import java.util.logging.Logger;
 public class TransactionalFile implements Comparable {
 
     private native int nativepread(byte buff[], long offset, int size, FileDescriptor fd);
+
     private native int nativepwrite(byte buff[], long offset, int size, FileDescriptor fd);
     
 
@@ -106,7 +107,8 @@ public class TransactionalFile implements Comparable {
         }
 
     }
-      public int invokeNativepwrite(byte buff[], long offset, int size, RandomAccessFile file) {
+
+    public int invokeNativepwrite(byte buff[], long offset, int size, RandomAccessFile file) {
         try {
             return nativepwrite(buff, offset, buff.length, file.getFD());
         } catch (IOException ex) {
@@ -144,7 +146,6 @@ public class TransactionalFile implements Comparable {
     public long getFilePointer() {
 
         ExtendedTransaction me = Wrapper.getTransaction();
-        TransactionLocalFileAttributes tmp = null;
 
         if (me == null) {
             return non_Transactional_getFilePointer();
@@ -154,7 +155,7 @@ public class TransactionalFile implements Comparable {
             me.addFile(this, 0);
         }
 
-        tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
+        TransactionLocalFileAttributes tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
         if ((tmp.getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_1) || (tmp.getOffsetdependency() == OffsetDependency.NO_ACCESS)) {
             tmp.setOffsetdependency(OffsetDependency.READ_DEPENDENCY);
 
@@ -163,14 +164,13 @@ public class TransactionalFile implements Comparable {
 
             if (!(this.committedoffset.getOffsetReaders().contains(me))) {
                 this.committedoffset.getOffsetReaders().add(me);
-
             }
 
             tmp.setLocaloffset(tmp.getLocaloffset() + this.committedoffset.getOffsetnumber() - tmp.getCopylocaloffset());
             target = this.committedoffset.getOffsetnumber() - tmp.getCopylocaloffset();
 
-
             offsetlock.unlock();
+
             Iterator it;
 
             if ((me.getWriteBuffer().get(inode)) != null) {
@@ -200,21 +200,22 @@ public class TransactionalFile implements Comparable {
         if (me == null) {
             non_Transactional_Seek(offset);
             return;
-        } else {
-            TransactionLocalFileAttributes tmp = null;
-            if (!(me.getGlobaltoLocalMappings().containsKey(this))) {
-                me.addFile(this, offset);
-            }
-            tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
+        }
 
-            if (tmp.getOffsetdependency() == OffsetDependency.NO_ACCESS) {
-                tmp.setOffsetdependency(OffsetDependency.NO_DEPENDENCY);
-            } else if (tmp.getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_1) {
-                tmp.setOffsetdependency(OffsetDependency.WRITE_DEPENDENCY_2);
-            }
-            tmp.setUnknown_inital_offset_for_write(false);
-            tmp.setLocaloffset(offset);
+        if (!(me.getGlobaltoLocalMappings().containsKey(this))) {
+            me.addFile(this, offset);
         }
+
+        TransactionLocalFileAttributes tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
+
+        if (tmp.getOffsetdependency() == OffsetDependency.NO_ACCESS) {
+            tmp.setOffsetdependency(OffsetDependency.NO_DEPENDENCY);
+        } else if (tmp.getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_1) {
+            tmp.setOffsetdependency(OffsetDependency.WRITE_DEPENDENCY_2);
+        }
+        tmp.setUnknown_inital_offset_for_write(false);
+        tmp.setLocaloffset(offset);
+
     }
 
     public int read(byte[] b) {
@@ -227,186 +228,170 @@ public class TransactionalFile implements Comparable {
 
             return non_Transactional_Read(b);
         }
+
         if (!(me.getGlobaltoLocalMappings().containsKey(this))) {
             me.addFile(this, 0);
         }
-        
-        if (me.getGlobaltoLocalMappings().containsKey(this)) {
 
-            TransactionLocalFileAttributes tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
-            tmp.setUnknown_inital_offset_for_write(false);
+        // if (me.getGlobaltoLocalMappings().containsKey(this)) {
 
-            OffsetDependency dep = tmp.getOffsetdependency();
-            if ((dep == OffsetDependency.WRITE_DEPENDENCY_1) ||
-                    (dep == OffsetDependency.NO_ACCESS) ||
-                    (dep == OffsetDependency.WRITE_DEPENDENCY_2)) {
-                tmp.setOffsetdependency(OffsetDependency.READ_DEPENDENCY);
-                lockOffset(me);
+        TransactionLocalFileAttributes tmp = (TransactionLocalFileAttributes) me.getGlobaltoLocalMappings().get(this);
+        tmp.setUnknown_inital_offset_for_write(false);
 
-                if (dep != OffsetDependency.WRITE_DEPENDENCY_2) {
-                    tmp.setLocaloffset(tmp.getLocaloffset() + this.committedoffset.getOffsetnumber() - tmp.getCopylocaloffset());
-                }
+        OffsetDependency dep = tmp.getOffsetdependency();
+        if ((dep == OffsetDependency.WRITE_DEPENDENCY_1) ||
+                (dep == OffsetDependency.NO_ACCESS) ||
+                (dep == OffsetDependency.WRITE_DEPENDENCY_2)) {
+            tmp.setOffsetdependency(OffsetDependency.READ_DEPENDENCY);
+            lockOffset(me);
 
-                if (!(this.committedoffset.getOffsetReaders().contains(me))) {
-                    this.committedoffset.getOffsetReaders().add(me);
+            if (dep != OffsetDependency.WRITE_DEPENDENCY_2) {
+                tmp.setLocaloffset(tmp.getLocaloffset() + this.committedoffset.getOffsetnumber() - tmp.getCopylocaloffset());
+            }
 
-                }
+            if (!(this.committedoffset.getOffsetReaders().contains(me))) {
+                this.committedoffset.getOffsetReaders().add(me);
 
-                offsetlock.unlock();
             }
 
+            offsetlock.unlock();
+        }
 
+        if (me.getWriteBuffer().get(inode) != null) {
             makeWritestDependent(me);
+        }
+        if ((Boolean) me.merge_for_writes_done.get(inode) == Boolean.FALSE) {
+            mergeWrittenData(me);
+        }
 
+        long loffset = tmp.getLocaloffset();
+        markAccessedBlocks(me, loffset, size, BlockAccessModesEnum.READ);
 
-            if ((Boolean) me.merge_for_writes_done.get(inode) == Boolean.FALSE) {
-                mergeWrittenData(me);
-            }
 
-            long loffset = tmp.getLocaloffset();
-            markAccessedBlocks(me, loffset, size, BlockAccessModesEnum.READ);
+        Vector writebuffer = null;
+        if ((me.getWriteBuffer().get(this.inode)) != null) {
+            writebuffer = (Vector) (me.getWriteBuffer().get(this.inode));
 
+        } else {
+            result = readFromFile(me, b, tmp);
+            return result;
+        //writebuffer = new Vector();
+        //me.getWriteBuffer().put(this.inode, writebuffer);
 
-            Vector writebuffer;
-            if ((me.getWriteBuffer().get(this.inode)) != null) {
-                writebuffer = (Vector) (me.getWriteBuffer().get(this.inode));
-            } else {
-                writebuffer = new Vector();
-                me.getWriteBuffer().put(this.inode, writebuffer);
-            }
-            Range readrange = new Range(loffset, loffset + size);
-            Range writerange = null;
-            Range[] intersectedrange = new Range[writebuffer.size()];
-            WriteOperations[] markedwriteop = new WriteOperations[writebuffer.size()];
+        }
+        Range readrange = new Range(loffset, loffset + size);
+        Range writerange = null;
+        Range[] intersectedrange = new Range[writebuffer.size()];
+        WriteOperations[] markedwriteop = new WriteOperations[writebuffer.size()];
 
-            int counter = 0;
-            boolean in_local_buffer = false;
+        int counter = 0;
+        boolean in_local_buffer = false;
 
 
-            Iterator it = writebuffer.iterator();
-            while (it.hasNext()) {
+        Iterator it = writebuffer.iterator();
+        while (it.hasNext()) {
 
-                WriteOperations wrp = (WriteOperations) it.next();
-                writerange = wrp.getRange();
-                if (writerange.includes(readrange)) {
-                    markedwriteop[counter] = wrp;
-                    in_local_buffer = true;
-                    break;
-                }
+            WriteOperations wrp = (WriteOperations) it.next();
+            writerange = wrp.getRange();
+            if (writerange.includes(readrange)) {
+                markedwriteop[counter] = wrp;
+                in_local_buffer = true;
+                break;
+            }
 
-                if (writerange.hasIntersection(readrange)) {
-                    intersectedrange[counter] = readrange.intersection(writerange);
-                    markedwriteop[counter] = wrp;
+            if (writerange.hasIntersection(readrange)) {
+                intersectedrange[counter] = readrange.intersection(writerange);
+                markedwriteop[counter] = wrp;
 
-                    counter++;
-                }
+                counter++;
             }
+        }
 
-            if (in_local_buffer) { // the read one from local buffer
+        if (in_local_buffer) { // the read one from local buffer
 
-                result = readFromBuffer(b, tmp, markedwriteop[counter], writerange);
-                return result;
-                
-            } else {
+            result = readFromBuffer(b, tmp, markedwriteop[counter], writerange);
+            return result;
 
-                if (counter == 0) { // all the read straight from file
+        } else {
 
-                    result = readFromFile(me, b, tmp);
-                } else {    // some parts from file others from buffer
+            if (counter == 0) { // all the read straight from file
 
-                    for (int i = 0; i < counter; i++) {
-                        Byte[] data = markedwriteop[i].getData();
-                        byte[] copydata = new byte[data.length];
-                        for (int j = 0; j < data.length; j++) {
-                            copydata[j] = data[j].byteValue();
-                        }
-                        System.arraycopy(copydata, (int) (intersectedrange[i].getStart() - markedwriteop[i].getRange().getStart()), b, (int) (intersectedrange[i].getStart() - readrange.getStart()), (int) (Math.min(intersectedrange[i].getEnd(), readrange.getEnd()) - intersectedrange[i].getStart()));
-                        result += Math.min(intersectedrange[i].getEnd(), readrange.getEnd()) - intersectedrange[i].getStart();
-                    }
+                result = readFromFile(me, b, tmp);
+            } else {    // some parts from file others from buffer
 
-                    Range[] non_intersected_ranges = readrange.minus(intersectedrange, counter);
-                    Vector occupiedblocks = new Vector();
-                    for (int i = 0; i < non_intersected_ranges.length; i++) {
-                        int st = FileBlockManager.getCurrentFragmentIndexofTheFile(non_intersected_ranges[i].getStart());
-                        int en = FileBlockManager.getCurrentFragmentIndexofTheFile(non_intersected_ranges[i].getEnd());
-                        for (int j = st; j <= en; j++) {
-                            if (!(occupiedblocks.contains(Integer.valueOf(j)))) {
-                                occupiedblocks.add(Integer.valueOf(j));
-                            }
-                        }
+                for (int i = 0; i < counter; i++) {
+                    Byte[] data = markedwriteop[i].getData();
+                    byte[] copydata = new byte[data.length];
+                    for (int j = 0; j < data.length; j++) {
+                        copydata[j] = data[j].byteValue();
                     }
+                    System.arraycopy(copydata, (int) (intersectedrange[i].getStart() - markedwriteop[i].getRange().getStart()), b, (int) (intersectedrange[i].getStart() - readrange.getStart()), (int) (Math.min(intersectedrange[i].getEnd(), readrange.getEnd()) - intersectedrange[i].getStart()));
+                    result += Math.min(intersectedrange[i].getEnd(), readrange.getEnd()) - intersectedrange[i].getStart();
+                }
 
-                  //  lockOffset(me);
-                    
-                    me.getHeldoffsetlocks().add(offsetlock);
-                    boolean locked = false;
-                    BlockDataStructure block;
-                    for (int k = 0; k < occupiedblocks.size(); k++) {   // locking the block locks
-
-                        while (me.getStatus() == Status.ACTIVE) {
-                            block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));//(BlockDataStructure) tmp.adapter.lockmap.get(Integer.valueOf(k)));
-
-                            block.getLock().readLock().lock();
-                            if (!(block.getReaders().contains(me))) {
-                                block.getReaders().add(me);
-                            }
-                            locked = true;
-                            //me.getHeldblocklocks().add(block.getLock().readLock());
-                            break;
-                        }
-                        if (me.getStatus() == Status.ABORTED) {
-                            int m;
-                            if (locked) {
-                                m = k + 1;
-                            } else {
-                                m = k;
-                            }
-                            for (int i = 0; i < m; i++) {
-                                block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));
-                                me.getHeldblocklocks().add(block.getLock().readLock());
-                            }
-
-                            locked = false;
-                            throw new AbortedException();
+                Range[] non_intersected_ranges = readrange.minus(intersectedrange, counter);
+                Vector occupiedblocks = new Vector();
+                for (int i = 0; i < non_intersected_ranges.length; i++) {
+                    int st = FileBlockManager.getCurrentFragmentIndexofTheFile(non_intersected_ranges[i].getStart());
+                    int en = FileBlockManager.getCurrentFragmentIndexofTheFile(non_intersected_ranges[i].getEnd());
+                    for (int j = st; j <= en; j++) {
+                        if (!(occupiedblocks.contains(Integer.valueOf(j)))) {
+                            occupiedblocks.add(Integer.valueOf(j));
                         }
                     }
+                }
 
-                    for (int i = 0; i < non_intersected_ranges.length; i++) {
-                     //   try {
-                            int sizetoread = (int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart());
-                            byte[] tmpdt =  new byte[(int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart())];
-                            int tmpsize = invokeNativepread(tmpdt, non_intersected_ranges[i].getStart(), sizetoread);
-                            System.arraycopy(tmpdt, 0, b, (int) (non_intersected_ranges[i].getStart() - readrange.getStart()), sizetoread);
-                            //file.seek(non_intersected_ranges[i].getStart());
-                            //int tmpsize = file.read(b, (int) (non_intersected_ranges[i].getStart() - readrange.getStart()), (int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart()));
-                            result += tmpsize;
-                      //  } catch (IOException ex) {
-                        //    Logger.getLogger(TransactionalFile.class.getName()).log(Level.SEVERE, null, ex);
-                       // }
-                    }
+                //  lockOffset(me);
+
+                me.getHeldoffsetlocks().add(offsetlock);
+                BlockDataStructure block;
+                int k;
+                for (k = 0; k < occupiedblocks.size() && me.getStatus() == Status.ACTIVE; k++) {   // locking the block locks
+                        block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));//(BlockDataStructure) tmp.adapter.lockmap.get(Integer.valueOf(k)));
 
-                    if (me.getStatus() == Status.ABORTED) {
-                        for (int k = 0; k < occupiedblocks.size(); k++) {
+                        block.getLock().readLock().lock();
+                        if (!(block.getReaders().contains(me))) {
+                            block.getReaders().add(me);
+                        }
+
+               }
+               if (k<occupiedblocks.size()){ 
+                    for (int i = 0; i <k; i++) {
                             block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));
                             me.getHeldblocklocks().add(block.getLock().readLock());
-                        }
-                        throw new AbortedException();
-                    }
-                    for (int k = 0; k < occupiedblocks.size(); k++) {
-                        block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));//(BlockDataStructure) tmp.adapter.lockmap.get(Integer.valueOf(k)));
+                    }    
+                    throw new AbortedException();
+               }
+                
+
+                for (int i = 0; i < non_intersected_ranges.length; i++) {
+
+                    int sizetoread = (int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart());
+                    byte[] tmpdt = new byte[(int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart())];
+                    int tmpsize = invokeNativepread(tmpdt, non_intersected_ranges[i].getStart(), sizetoread);
+                    System.arraycopy(tmpdt, 0, b, (int) (non_intersected_ranges[i].getStart() - readrange.getStart()), sizetoread);
+                    //file.seek(non_intersected_ranges[i].getStart());
+                    //int tmpsize = file.read(b, (int) (non_intersected_ranges[i].getStart() - readrange.getStart()), (int) (non_intersected_ranges[i].getEnd() - non_intersected_ranges[i].getStart()));
+                    result += tmpsize;
 
-                        block.getLock().readLock().unlock();
-                    }
-                   // offsetlock.unlock();
-                    tmp.setLocaloffset(tmp.getLocaloffset() + result);
                 }
 
-                return result;
+                if (me.getStatus() == Status.ABORTED) {
+                    for (k = 0; k < occupiedblocks.size(); k++) {
+                        block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));
+                        me.getHeldblocklocks().add(block.getLock().readLock());
+                    }
+                    throw new AbortedException();
+                }
+                for (k = 0; k < occupiedblocks.size(); k++) {
+                    block = this.inodestate.getBlockDataStructure((Integer) (occupiedblocks.get(k)));
+                    block.getLock().readLock().unlock();
+                }
+                // offsetlock.unlock();
+                tmp.setLocaloffset(tmp.getLocaloffset() + result);
             }
 
-        } else {           // add to the readers list 
-         //   me.addFile(this, 0);
-            return read(b);
+            return result;
         }
 
     }
@@ -429,42 +414,42 @@ public class TransactionalFile implements Comparable {
             return;
         }
 
-        if (me.getGlobaltoLocalMappings().containsKey(this)) // 
-        {
+        if (!(me.getGlobaltoLocalMappings().containsKey(this))) {
+            me.addFile(this, 0);
+        }
 
+        //  if (me.getGlobaltoLocalMappings().containsKey(this)) // 
+        //   {
 
-            Byte[] by = new Byte[size];
-            for (int i = 0; i < size; i++) {
-                by[i] = Byte.valueOf(data[i]);
-            }
-            TransactionLocalFileAttributes tmp = ((TransactionLocalFileAttributes) (me.getGlobaltoLocalMappings().get(this)));
 
-            Vector dummy;
-            if (((Vector) (me.getWriteBuffer().get(this.inode))) != null) {
-                dummy = new Vector((Vector) (me.getWriteBuffer().get(this.inode)));
-            } else {
-                dummy = new Vector();
-            }
-            dummy.add(new WriteOperations(by, new Range(tmp.getLocaloffset(), tmp.getLocaloffset() + by.length), tmp.isUnknown_inital_offset_for_write(), this, tmp));
-            me.getWriteBuffer().put(this.inode, dummy);
+        Byte[] by = new Byte[size];
+        for (int i = 0; i < size; i++) {
+            by[i] = Byte.valueOf(data[i]);
+        }
+        TransactionLocalFileAttributes tmp = ((TransactionLocalFileAttributes) (me.getGlobaltoLocalMappings().get(this)));
 
-            long loffset = tmp.getLocaloffset();
+        Vector dummy;
+        if (((Vector) (me.getWriteBuffer().get(this.inode))) != null) {
+            dummy = new Vector((Vector) (me.getWriteBuffer().get(this.inode)));
+        } else {
+            dummy = new Vector();
+        }
+        dummy.add(new WriteOperations(by, new Range(tmp.getLocaloffset(), tmp.getLocaloffset() + by.length), tmp.isUnknown_inital_offset_for_write(), this, tmp));
+        me.getWriteBuffer().put(this.inode, dummy);
 
+        long loffset = tmp.getLocaloffset();
 
-            tmp.setLocaloffset(tmp.getLocaloffset() + by.length);
 
-            me.merge_for_writes_done.put(inode, Boolean.FALSE);
+        tmp.setLocaloffset(tmp.getLocaloffset() + by.length);
 
-            if (!(tmp.isUnknown_inital_offset_for_write())) {
-                markAccessedBlocks(me, loffset, size, BlockAccessModesEnum.WRITE);
+        me.merge_for_writes_done.put(inode, Boolean.FALSE);
 
-            }
-            if (tmp.getOffsetdependency() == OffsetDependency.NO_ACCESS) {
-                tmp.offsetdependency = OffsetDependency.WRITE_DEPENDENCY_1;
-            }
-        } else {
-            me.addFile(this, 0);
-            write(data);
+        if (!(tmp.isUnknown_inital_offset_for_write())) {
+            markAccessedBlocks(me, loffset, size, BlockAccessModesEnum.WRITE);
+
+        }
+        if (tmp.getOffsetdependency() == OffsetDependency.NO_ACCESS) {
+            tmp.offsetdependency = OffsetDependency.WRITE_DEPENDENCY_1;
         }
     }
 
@@ -481,59 +466,55 @@ public class TransactionalFile implements Comparable {
         int startblock = FileBlockManager.getCurrentFragmentIndexofTheFile(loffset);
         int targetblock = FileBlockManager.getTargetFragmentIndexofTheFile(loffset, size);
         for (int i = startblock; i <= targetblock; i++) {
-            if (map.containsKey(Integer.valueOf(i))) {
-                if (map.get(Integer.valueOf(i)) != mode) {
-                    map.put(Integer.valueOf(i), BlockAccessModesEnum.READ_WRITE);
-                }
-            } else {
-                map.put(Integer.valueOf(i), mode);
+            if (map.get(Integer.valueOf(i)) == null) {
+                  map.put(Integer.valueOf(i), mode);
+            } else if (map.get(Integer.valueOf(i)) != mode) {
+                  map.put(Integer.valueOf(i), BlockAccessModesEnum.READ_WRITE);
             }
         }
     }
 
     private int readFromFile(ExtendedTransaction me, byte[] readdata, TransactionLocalFileAttributes tmp) {
-
-        int st = FileBlockManager.getCurrentFragmentIndexofTheFile(tmp.getLocaloffset());
-        int end = FileBlockManager.getTargetFragmentIndexofTheFile(tmp.getLocaloffset(), readdata.length);
+//Inline these method calls for performance...
+//int st = FileBlockManager.getCurrentFragmentIndexofTheFile(tmp.getLocaloffset());//(int) ((tmp.getLocaloffset() / Defaults.FILEFRAGMENTSIZE));//
+//int end = FileBlockManager.getTargetFragmentIndexofTheFile(tmp.getLocaloffset(), readdata.length);//(int) (((tmp.getLocaloffset() + readdata.length) / Defaults.FILEFRAGMENTSIZE));
+        int st = (int) ((tmp.getLocaloffset() / Defaults.FILEFRAGMENTSIZE));
+        int end =(int) (((tmp.getLocaloffset() + readdata.length) / Defaults.FILEFRAGMENTSIZE));
 
         BlockDataStructure block = null;
-        boolean locked = false;
-        for (int k = st; k <= end; k++) {
-            while (me.getStatus() == Status.ACTIVE) {
-
-                block = this.inodestate.getBlockDataStructure(Integer.valueOf(k));
+        int k;
 
-                block.getLock().readLock().lock();
+        for (k = st; k <= end && me.getStatus() == Status.ACTIVE; k++) {
+            block = this.inodestate.getBlockDataStructure(Integer.valueOf(k));
 
-                if (!(block.getReaders().contains(me))) {
-                    block.getReaders().add(me);
-                }
-                locked = true;
-                break;
+            block.getLock().readLock().lock();
+            if (!(block.getReaders().contains(me))) {
+                block.getReaders().add(me);
             }
-            if (me.getStatus() == Status.ABORTED) {
-                int m;
-                if (locked) {
-                    m = k + 1;
-                } else {
-                    m = k;
-                }
-                for (int i = st; i < m; i++) {
-                    block = this.inodestate.getBlockDataStructure(Integer.valueOf(k));
-                    me.getHeldblocklocks().add(block.getLock().readLock());
-                }
-                locked = false;
-                throw new AbortedException();
+        }
+
+        //Optimization here...not actually needed...may be worth checking
+        //whether this improves performance
+        if (k<=end) {
+            //We aborted here if k is less than or equal to end
+            for (int i = st; i < k; i++) {
+                block = this.inodestate.getBlockDataStructure(Integer.valueOf(k));
+                me.getHeldblocklocks().add(block.getLock().readLock());
             }
+            throw new AbortedException();
         }
 
+        //Do the read
         int size = -1;
         size = invokeNativepread(readdata, tmp.getLocaloffset(), readdata.length);
         tmp.setLocaloffset(tmp.getLocaloffset() + size);
-
+        
+        //Handle EOF
         if (size == 0) {
             size = -1;
         }
+
+        //Needed to make sure that transaction only sees consistent data
         if (me.getStatus() == Status.ABORTED) {
             for (int i = st; i <= end; i++) {
                 block = this.inodestate.getBlockDataStructure(Integer.valueOf(i));
@@ -541,13 +522,13 @@ public class TransactionalFile implements Comparable {
             }
             throw new AbortedException();
         }
-        for (int k = st; k <= end; k++) {
+
+        //unlock the locks
+        for (k = st; k <= end; k++) {
             block = this.inodestate.getBlockDataStructure(Integer.valueOf(k));
             block.getLock().readLock().unlock();
         }
         return size;
-
-
     }
 
     private int readFromBuffer(byte[] readdata, TransactionLocalFileAttributes tmp, WriteOperations wrp, Range writerange) {
@@ -581,11 +562,10 @@ public class TransactionalFile implements Comparable {
 
     public void lockOffset(ExtendedTransaction me) {
         boolean locked = false;
-        while (me.getStatus() == Status.ACTIVE) {                        //locking the offset
+        if (me.getStatus() == Status.ACTIVE) {                        //locking the offset
 
             offsetlock.lock();
             locked = true;
-            break;
         }
 
         if (me.getStatus() != Status.ACTIVE) {
@@ -720,7 +700,7 @@ public class TransactionalFile implements Comparable {
             committedoffset.setOffsetnumber(committedoffset.getOffsetnumber() + data.length);
 
         //} catch (IOException ex) {
-          //  Logger.getLogger(TransactionalFile.class.getName()).log(Level.SEVERE, null, ex);
+        //  Logger.getLogger(TransactionalFile.class.getName()).log(Level.SEVERE, null, ex);
         } finally {
             unlockLocks(heldlocks);
             offsetlock.unlock();
@@ -798,34 +778,35 @@ public class TransactionalFile implements Comparable {
 
     public void makeWritestDependent(ExtendedTransaction me) {// make the writes absolute and dependent on ofset value
 
+
+
         Iterator it;
-        if (me.getWriteBuffer().get(inode) != null) {
-            it = ((Vector) (me.getWriteBuffer().get(inode))).iterator();
-            while (it.hasNext()) {
-
-                WriteOperations wrp = (WriteOperations) it.next();
-                if (wrp.isUnknownoffset()) {
-                    wrp.setUnknownoffset(false);
-                    wrp.getOwnertransactionalFile().lockOffset(me);
-
-                    wrp.getRange().setStart(wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset() + wrp.getRange().getStart());
-                    wrp.getRange().setEnd(wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset() + wrp.getRange().getEnd());
-                    if ((wrp.getBelongingto().getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_1) ||
-                            (wrp.getBelongingto().offsetdependency == OffsetDependency.NO_ACCESS) ||
-                            (wrp.getBelongingto().getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_2)) {
-                        wrp.getBelongingto().setOffsetdependency(OffsetDependency.READ_DEPENDENCY);
-                        wrp.getBelongingto().setUnknown_inital_offset_for_write(false);
-                        if (!(wrp.getOwnertransactionalFile().committedoffset.getOffsetReaders().contains(me))) {
-                            wrp.getOwnertransactionalFile().committedoffset.getOffsetReaders().add(me);
-                        }
-                        wrp.getBelongingto().setLocaloffset(wrp.getBelongingto().getLocaloffset() + wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset());
-                    }
-                    wrp.getOwnertransactionalFile().offsetlock.unlock();
-                    markAccessedBlocks(me, (int) wrp.getRange().getStart(), (int) (wrp.getRange().getEnd() - wrp.getRange().getStart()), BlockAccessModesEnum.WRITE);
+        it = ((Vector) (me.getWriteBuffer().get(inode))).iterator();
+        while (it.hasNext()) {
 
+            WriteOperations wrp = (WriteOperations) it.next();
+            if (wrp.isUnknownoffset()) {
+                wrp.setUnknownoffset(false);
+                wrp.getOwnertransactionalFile().lockOffset(me);
+
+                wrp.getRange().setStart(wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset() + wrp.getRange().getStart());
+                wrp.getRange().setEnd(wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset() + wrp.getRange().getEnd());
+                if ((wrp.getBelongingto().getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_1) ||
+                        (wrp.getBelongingto().offsetdependency == OffsetDependency.NO_ACCESS) ||
+                        (wrp.getBelongingto().getOffsetdependency() == OffsetDependency.WRITE_DEPENDENCY_2)) {
+                    wrp.getBelongingto().setOffsetdependency(OffsetDependency.READ_DEPENDENCY);
+                    wrp.getBelongingto().setUnknown_inital_offset_for_write(false);
+                    if (!(wrp.getOwnertransactionalFile().committedoffset.getOffsetReaders().contains(me))) {
+                        wrp.getOwnertransactionalFile().committedoffset.getOffsetReaders().add(me);
+                    }
+                    wrp.getBelongingto().setLocaloffset(wrp.getBelongingto().getLocaloffset() + wrp.getOwnertransactionalFile().committedoffset.getOffsetnumber() - wrp.getBelongingto().getCopylocaloffset());
                 }
+                wrp.getOwnertransactionalFile().offsetlock.unlock();
+                markAccessedBlocks(me, (int) wrp.getRange().getStart(), (int) (wrp.getRange().getEnd() - wrp.getRange().getStart()), BlockAccessModesEnum.WRITE);
+
             }
         }
+    //  }
 
     }
 }
-- 
2.34.1