From 4056f60d1903ff4d376276002aaa7a9357f72739 Mon Sep 17 00:00:00 2001 From: Martin Goik <goik@hdm-stuttgart.de> Date: Fri, 31 Oct 2014 08:44:51 +0100 Subject: [PATCH] Isolation Level Def. --- Sda2/Ref/Fig/accountTransferSum.png | Bin 0 -> 30650 bytes Sda2/sda2.xml | 70 +++++++++++++++++++++++++++- 2 files changed, 68 insertions(+), 2 deletions(-) create mode 100644 Sda2/Ref/Fig/accountTransferSum.png diff --git a/Sda2/Ref/Fig/accountTransferSum.png b/Sda2/Ref/Fig/accountTransferSum.png new file mode 100644 index 0000000000000000000000000000000000000000..d38f3427bbeb8a7e1025f17ff82eef3cbf042276 GIT binary patch literal 30650 zcmagG1yCGOw>8=XPk>;--6gn$L4s>=cL?t8uEE`%0Kql5OM(O$g1ZF>?(To*yZ6?8 zuj<wNr(n9K=X9UbXYalCTDwnAgrdA8>T816005v$ONl81z$<?MfT2Qq1@4)M>466~ zu+AdVsz^vkOB)L7;74>9aZMK$dovgJ&rYU*iiN9-i>Z@w&~Ib_AOobugjGEj4|Cjo zRMqZZ@|=%5r>4Bg$s@=oQ&!;#Dc<KZ<A~{rsbjdCx<5ti7F43X!BEspbG7AEQtA${ z7RSLz(T9spjt_|^NgOq~U-pKc#PM-tn3yF7BnON?h-W~Yp`Gr~oE<;tMYhEAWz7jp z00%S>b|>3e@x>S=;KMgq#H+kw8({r`)MK6S)OYbvkBmHV`qkGdjIAKifRMX@5CyWp zlZYGmvu_yo6y#z89XIggLP*p=h@wpReW13GoW=;ou^_rqm7LrbjN1URhv24u`zF&= z)@ak7vZxM)AnL^yku82J-eG3^)bPqcQlJo>@l7Yqb3F!tu11N>*qP1c`}3)3*p~&u z$+2gqzG%`jc64fk$Ng*;UvJ@e^e_`TGN$vI!~T1%+5Q{3Um?yjG{^v=d;ogQttS>T zs|=mPK!CDHfHN7eT#+t>^f?>DfF3%X<S+nHa)yNqFSjZrk}_<EoL>A@|K<50cB!#M zPQdOIn>E_qmLb(=`4-ux{N8r?hVv93n>NG&?V0BL+;Jc*dR+!z#WQNMJ~Y64jT397 zxOx35S|{9&0~XELcB7k{J3HY5L2$F!G3ky=Lj%*nL?jbsa;MwN866<YMi&WZ$Sg;} z5`k<0zo~jc(78&i8ifLGbv0l02&Fia5d}C5ydou*6==7rjedB;{jm6qp4weGo@G}e zYc&13_130cPl=gCKEanl{1InsN^Ny?-?z#UngxdkAZ-}E*}KvyW9VFUf%4chxABuv ztW;93$a;BRpu6CWZR7Qc@Y=94jMl_8{1Lb?+n@os#17x^IOmx<8Dv8gzxYb3i_b9j z=-;GQOuos!eUFc1zFhLFT<}Q4^v{%7AB57c-E{fD9u^Ub9G@yN{KJ}oJ1t?&gL9Oz zD3EvMvRFC}a&rxXA=1*!5gtziqaH`u^yjLa+=2^pMdYh*W|g*uiWsk=C%Kq{gH#fl z?bt1$5U*Giq=-K8G-kWDv%^Z_&y;Zi1KUO*d!-dCx=4U>HvqfQgRHnn)zbq*r<9`y z?Zo$CGdFNfzwJUb&#ri7Q^ipE@iL~Wc-JM!87U~6d*J6`h@D1OqSG`p^$arFWq`PS z6pyBt76;6=S5IK9li?};E8Z`@Pf~sus7v3l-*+5g=_Q+OJvO-LjPKy;p)q~Y=IYPr z6zJ|kGwgP+;Oz;yr5F!Emk&^^$x(hC4f|C{$oErt^IN=E1G0_=C5g?b(3WwG>vAU* zMU<AoBf2NM(9R}J^iuf><h@-=B&Q~axjeen$GlyrM)4&+ixlsxhEO1i{EOCIQ5xF- z!N}IIZ)D?nHvbjWTNn<qR_%OyEB~gHO<L+uT#jCd4%i7%e%%96gn2Zs!Go1S`kL*$ z9*tf;P&<>#O77PW|MCdu@7?Gz)xDC+AdUG>+_8Oyi2%z&1<A?nYqC`%!AOKJz;D}A zwGW^oAqhvxb+!h=m_yT-_IRJ)HET#0l+IY!F<@+EQ?x6zMs-mrEhsMn6#I1W146`Z z@IrxX^2p>?rx_Ue*$(UF0$8t50$2x-zUdxOtBcRgk*d1;q>U(3BLyvOo;4!za1u60 zkPR(}eU|+!i`{?!r*k6bfdI>S8Yz7Z7N?VZ+swD~wehIqmdZZ2H5Y-FIuY6jb?TsO z6}Z5CSM8G4p&zZuY|)PLbgX^!K&d~zhC!*4*{ftMgykjY!y_tnNwu;cm5;ARzyAGA zBU5^quyi^+0WT3>U(x%WLa|rZYbZVbh}duYjd0Xh(HySB_4K2N?o|O5Z%%1Dl9RrV zftC`sc%qob4@YW-D2XCvXy9v<0Dv|Gg9}a$K%$1jqk}7Tmq~Ch$7CId;2j<2;~C-0 zowTjM6=%CG+BamX^nrs&IzZut9Wodp=H<utqQ8w!SsB+y^_p}Fer}%|u8<FTa;lzs zV2hO6d?e3E#DjhP95{-d{z?^q_UxcJSC{7ewAx|W+@JnD0HIB0g+{m+aUcSrb?T<6 zBd?8Rl?GMHH>=Bp;29d&-bdx#1R*)qA=g$Fhdcju_UQ~}?Z?q)DGjb#R;P*J341FH z<%lc@FIab+<`Dmijdy!*hKxu7XiN)hW;?w~23V`nMP`t{^!Q@=b{?3aBa9vpIu}>} z78Ysk{@0ZYZ)Y$1*BOgaAs*PYCEMl&V)-;Oq#z+t1196h_Xk&A!Q{$JL)d=uZzzVu z5sf4Ls~Aq3!eNkbv;O0_9HGw4BQn-TP|d=zJ(o5UE%l|UM7sS;g2G-Q`aMN>j4h*j zwE-KoY<iRc%=Ku8_2m1aG!8(9$6@U}as8d9Yd+`a(GzBlnhy3nb2$;D+V>-H7Rt(r z@+IUyoAWuzwR5;B`nH@}%PXu+wJ^kCMBd5D%cH$V0(Pnm!^HpcHvcGa$Sp-g?BpCQ zb&@x!-ld}pKrQ5`5SnqC!4D$h!3_+ymtZj-Jwd!sCo*XNValc>xl@F4key9z`P;hm z$5^b+;o3V5A3aTc3{%cs*NxYiW3wa7BfmyRqhlizISU4vKBSLP_xFc}4pNQ_3&XYU z#+!=UqN$Ks)uv-6u!Um6@LVu83rFytq}?NkS9~uoXTD&Hnc*ZQ%`~HiXXq?I7nz(? zh6`*8zbS7ko!V1YQ5ha#co(W9!(!N5`<ClBPc|Bqzw1PXj#?rju#``*jxXcDM61PT zx6~%5)$l?8wB;}@8)$D8cGS9($dR{m!IYMO`DnX$^|Vcdq=DOm3DGdWzaP-Q!(Bis z?21wMhTFWT>84nsbBZI>HFF3=%dg43K1liak@ha53O?rhm<c-^?v^ed$6th`U%O`> z{ND#Dy#X?cJ{QwGM(6e|zlS4t^X7GNe2=Z4l-|*=lu8}U@S*2dtYu%nu70i`Aqpqk zrrBS?<aU7uS2;nkU45u%li5O*17Ts&dXQQFqKaW1>sci_yI!FU1SlfSn^tZY959^@ z$#{9mFzVBgizWUn+PeMzok6<5ua*A={s%9te6HtqKnG8-gaFmeJd^9TcqnZJld84J zj;OErZ!u~K#eno8sk*O=XlbeUUM&f~GKC8t27;bW-IrPiDc|rQUR}m4T6ZpY>&D{M z2EW?u;^O9cYg;QH#u!;API(a>saFR#rtctRF6?tv&g}oZ_BrfF)s*F{H%{_3-OmIA z*zGH`hj-NhgPW;TXZHs+Pv;{s<`srnE!e)k;t^57z4_9SF-F9O`C%#(Sqd|QML+TN zX4I?S%+7IhWFHj=6nDWOEI*%C{b;AM5H1sJuzH?+^`Su}VCDPQ>VkQADq1C4Ys%k` z@)h4k@nBuM;fn!uG!!~?`PQ{5>gRV{rESPx+uDj2HxH~$VN0_@M0!?(y7JlzYQvEV z)hm=#@HR=}bSh@bF?XF>siX_t4t8C5lYXr`@W2TpG0(rQ!hO%ojLbaQ>TKrFtDZ09 zf>D0Su7x0+jG`o+riVe=`Vv;y$eo71?b4p{M`;CFhFqN%5<ak@)Uxyo28kR&I)T#* zpQ`;wFSa-fed55nAx*zy<ZHue%baDpr335$D&l%%gm#LckpUh=vgC73feP1lKVGUL zD?$ZzNCwU1u@k$&IPtfiWb6!98Scn_zcvzPRAA9%TI4CCjOx{2A@&|C3%QkfiosBD zEmtw{VjPhmkkA?vA?;F&Q{pEpMzDvIcTpm~{qXBr<#jw2aWk@4MO5J7WTb4#jJME% z%R*4i@)FHCJWF|Ywz7GH{wBg=0mC1cpx|(e?$1A)ElVgG-6d5;p<TW{oxVNfz6Jv= z3pT!f9<i$vJ;}A5eO|qHVrvb8{svUi6XkpC1BCBqt!p|Lx1HFELn4}f1(BiPv#)2_ zbHCgN*?wZ-NYBY3F@V&x15Kp*cL#*sV!9SEZuAII0!Jq&&~~EoRsXHBCz7=HdkTy{ z7H|OVIm7YH$E{K80zk;IRrqbASq4Gl5q|7WYK)otz?60FFwD-)`14gE0#UE~eHROP zG`a}LMb()8%Emxo(Fdl_)VuIF0^IpHPVMid0~-H6un$mBQa(=T#SQAI=w-#Dm(1*C zqe;q*m4y_+<tRi`Qc~J*XO)LCy>1f8f>*1$+ML_OfnN%~TfbRL;e||?UlLC8=}SpP z@hk2*1f{3CYwi5prRx*}Osw~ywqeBI@zPelS?~O$L;Wo8yl_S-DL>5@k<Puo&uG-+ zYBcEHt=YnSUQYOcci^|!P$+|AjIipVN7VAkZ`o^J#?_I&^PHC&4}LweqV9bC*nlpo zrPA7r!Zj%~Q&gS2!hCI%CrOwR9q6|#qkGSzKOrQZgTh;)BR{l1Nli(v{Rsv;ZA{(& z`}*!L-cw{&&@~FqJO#W;#P`Ktku4oC#6A0r?l~@66s>GTNRM~%GeV$bfb$G4>AZi( zYH@sOM5rs8S@ek29dX1*d8LM6`wnJ=!?5lpb?Y5R0fe{GNn67!YsZ4y1^2%-n8j{M zy1sO5%x%F4Z6>@tDgHq(bYY7at0?FR40h0-Fz7?RvFrPzXF1sn<+!mcUH6@sG$KaZ znJFuF=`G{Q2G--X%0!PbH(Wo&akla8iFZoDkcn0hCYa2dx|Xlhp@r3}l*nsW4IJ6o zUe^}TX;*OzFg134Wj5)R%X-Gu-QTZ}gvYgcW7Wt>^J3@Y4g>V?co@Ch=<`&!5Oq1c zM(nk5Zmq;=9u4?SmxPXmPaXEDVLpeuBFvE@ypD#g&qOt#<(;VSHu49g)(Ec>lhTUj z#Y49o`6MFTy^Y2Dd+p{CN)7}-72SwZEQw9zO2$WlU|TBX6Z%SqGzQ5FT?Q+@uC6ur zhn8&lxIRD#{afYF(%1DrESt;fK2@p9L`>5W5WjJ@f(HW9iPyhRx0#@Ygcr=ybAPF8 zsX!2e@wjI8GkK1~L1?fpn2=~d#c8jfU~ra)XZxtkibsJB3~-IH6zYeMA|+!rbWN!k zKq1B<m{9!BA#ai$L+|gS!{?4n^Ix;V9TM!iMz-2#8IbrmoTyu5@4+65SIp4RP^->O zi=|T#RK-L{BNND}uu9j=-8YlkDAl?`WqRE-h%g$ptHfY>jvTN=!YPW}WWtMq9&8D5 z2Z$+KwRg90PDh%st5QzeRotxIn%k(p#^+GHByJiRLv@^Y=5S;fXI{!j-2LJ}fUd#n zkO^DyT1t*FvP1I^nkcWF^@OY$)=gy}<>Z7{4&n&H)8fVMCvTdnXbJUVWM%hPyZti} z09`k}Dg4WUp)IkeUW)QF&uBOvz_>tP@?G;Au_}vjxsw%zh5I8m+Kq`;-!L;m0N~kF zt@un*QW<fKnLOm;xN?u+Ke!Tlr7MLzr~HaJq~rXLL<M5UxJ3WaIjiC!2^n1Y-f*fK zOuq1it+-Dh*4ltkNK}^`R=R&lh(lM+)HVqLZrMCRAU&XHr15-KZz_+g5+}8n-_P+9 z?yBEhstXGb#0yaV;nJ~Y^2$+XN>5DOa)M~-3~V{oB~K?u4i7uP55^D@roT)nyj0LR zIrMV3v8BffPmj$}1M`vAmpNG9X=CNR|0E?1(4oSv=a<#EyAe1}B|E~l(^&LQIowA1 zceYiRDzPEZYHx)z8y7Eoigq8;?Uyk=`u%vYe%5#|PMeXF^IZ3rv{muynNq>F)X_}A zdv6azVkb6@^nOPvE!pwuDNcWhiwPq03E+1X7pycm+qn7mbKTt}$xi2Vz!q@$(<%7m zTmNx&3*nU&9Glpe7p(?MSQ@$Rul9C3aD~7+&)wLCv*54RqZ$rLmsk!(!2F73>7$po z?bk8AgUHvOR<>f7^jU_ZglDH)N}WlrJ-Vp0P2H`AGt!CJ-w=Vl;V@kPQ`Uf^hgOcY zGI-m$I(G&9DcUKqm6BM$o3rx9r4g6nTd#IE!>ExV!HuVxulKoSCnNaVA<keGWPSe} zn(c5rrMJfUrALp%#~Z0!K~>G)b7-an(r{|fsBNpNs_Lt!XJb<-2zL}E8i`)(8A*op z?5(Y;O7!^d`*+@EEp(BiGxYQ5Bl7aWQ%8Zvy0pkA$x*L~t;_4URuEP1RXQn<k}amH z4~t;qEBqFl9*RcdXWYf+cEc;P)BpH#HO{EBX2_mlh=gWi3j;!tu^$vQWE&8K$|`Ev z^R<(5fq?Dxw|t)tQA*Lj#ZZx}OE{$2EZrw*WeIp#+|aSnkGb3$2Iqeo`ZNW24BtG~ zmMBMz67o|>lAgL;uL|a<tK3YbzC4RjS4m7#U*RVbRz*e45OdU*9xosO>JJyOIn?U- zAxNm^i(BXsnbRYpzLF|uAHDh7qJyeCa=i%=uZ@@d`K?R~dcxDub>BJi!W{8OUwW0` z2l^Kp02n+fdTYgJ>gbC%DW;H5$r)4CO~uY~13MCKc@IZl*ZSWOTBYn%@8??97|OR> z31t-M6StM&aN?nm#4Z1&Oh-3k-PNYoG%z4_QIm1#omDV$<w5nOeai`8*Z4m@Rkqe6 z_Q$n-oqFjsH6`J*ARt)DvGcoZU89BtSmP+fB|U9o?Bq(MnXty}Y}33+^1S6LwcC|# zphMmy;}MU87Y8H4SqmNY0{MapY%V8hITWv0o3S|C<|`|nPd_Msd?-|QR(Z&;`>KTC zUX>HMYIle8F<KB7qqk5DrRzG92m|0})|#9`h^iDL{9{a|QJAq;5FL>gmwi_HP$&6O zS!!3s-=mK@YUP>JdUP8b+u5~o37xc}apB$C6k+<z^7_W1YH*kZOV;B&)?7c#kb2Z0 zcAEFtC4}u5V*g^Iv=xGr_W7z*KuT6g(RY04=F0Z{0OX>Y{ug8;8Wd3x?pXG&^}?q| zEW^l(hA6KF`NI;{47Z(mi2r{1a(jE*cJC#P>B`$FNULGab%qZABtpo3zAV!_D>@qp zzZAM;=EzR5Pl1AIp?rU7H{Vtg9o!9(PjsmyFcMesfdlADA{lgP^h}IB%UZ2nP-3Fz zl7<KN86=yeNfXfD^%ja7vMY)jMNi~f0P9z#X2DXUP5TVy66Sg);|Y}P3<@NI>XW+- zFk+#Pn3ziY`#I>}k}ebbU{LC4fcOI$D-#BSAd>M_#E2hbDs9&XGZ5aM7;LK7LFD9^ zKys!rZ55kWFG7JF8&Yw;m>GJX{~&{8d%580aMpt?mGB$x@-$)fpz^+BryxV22h^#f ziesUHPQCzV=KCOM*Ldd}g)fQ*(B6EWj1l*nWhlx5N2|_#qAx8;TY<`#RxwA-rwqA} za;!8T<#B<o?UiQRB@7?iU<B0D#xAan*RKNh_qgLUMtb3O0v%C#ex0suBlq|{`$#$p zZ@8ld4~X4lIc#TsxY5a3l(K6%e7l(l!;iS;dmUOMlcSr34dXPOzb=NubqKXKf+1?x z_h<Kyf_RR;=s39Bl{kLb@p<0QRnM(h#Z9f*dFnPDG#>c))HiKoyoQmJ`m%#}gAiH% z@p*7fu-q_FEU}PsnSb8bW*D6?MV7!9(dYbyiElr_r7d|ryx`^W=-M=hjiC>3>4jx{ zH4|&DQ)gPTKlOKs-_F{gbjc;$Ye3vy@a{2f<~2rRPQhk`dvexxRvL+Kp<;3J@7;uP zU0g)PCbR1)(iFOgxsTV2zG+wZb2n8-YxmlNT_eA(!so|+0i}a~%}TpUYPzhfHIFW- zbrsEDJFVGu5%uud!*tNdJrTY^_z1<{>_YAJtnGtj%LnV%;5fGGa?O+^Vq!J$=FlO{ z%#>gzVY+k~CQj{9tscGUgumj|^R_$CqMxt!Tch-D%5`x>Q}(%0dQ#y$%P4D$q=csS z3a-7HUq@X>oJNFq_iSXORmu8IkLqIhQG0jzSJWqk18f)o^_%N=ItP)BofCI$<`L)~ zHf~C`tErRn#?8_jn+=lIWX5N=Fnc+Lf@*)vKE78#`+Lhjd<F{;?e!R1w6t0J;=^P7 zgswsi1Ls_Twg>W=9P{ahciR0jCnLP5(X=y54`Sc;W_822N8Ev~fUSi=hTmduqtoD| z)_jdba`l*Et(MVX3-VJ4RV2KhNwTbq9RLo?Dh<>=d%6f+6Fx*@sU+(U6jz!x%a)yd z#4>8;i(rv;yW-M7G|23?QFmUnfjYoH<=WA$HEZ>%J9xlBOm}x(fSbVa>-2XeM_KmP zgR<c#p2mWv4>+L=Mb0NsxSqzBq_J&FM;gL}O6Hh!9QHa%1c2wQU(=6lbV7r>r($FG zoxjrf0+@T%i`UC<%du>`iK@d6@r<)EG8<V#p%Vq7)9s%1?SsMWL;Mc+G-HtohlzCq z6qlL&4}pZtZ}7}3*{m|RQTVyw;TdiYd0kg_TPh!LSi0N>i?2w19b0-|#qW;i;Zv*E zdsO?GO0_@rn>IhZ#mT{8>MQ%3_Bq9fU~HCvP$;Bx0IKMtpyC_IF;J!v8UZ}V3?Xf= z6Sr)*qjcu9gm|<EOHWPBuN|UITzx{eY~aj{rg4=jlqi&wmsf>_@^*fthX^Nj1Si1@ z*QPW5Y<|Y3{%O>d9xWlRr2Rr+i-QuY9mc<D*`O`-d%to2G<-dlIl;+HU<L_!!bsOG z(av3~kd2Y$HK4gk&o?FGb@0o|+>BOKhCSd(N-c(onT3s804-oHWri_Q=nADYbta8y zQN@er{QFnfi|8-OR4W^sN3FaAN2qS$ACMijezkph9Vd^=pC9eOY%S{r1H7k=BVutz za*XiAPoMw*_vs}vW|8P|`H2(eM#i2-Z7t*k3#C4PNvJL}zR>jGfJMu<oRM1&MU%IP zWNmbX4h_mM43d`AlBMNzkO&>v2AUr9+LpFmdrL$cWP-(;cW_?IGzR2s>nK1hWFv+B z>?|;+J&3E?e`lweG%u@oYqtY-FOKhBpx0bEHk?%*XQnK|l`Tj`7&mAtW|$SpO@slY zCO58c;=Qv3({4J~Ct=h;K=BQweaAcWkL_+Ae?Wm6rqk$QufXE~<)P!JO9;eN%n~-% zX<1ZZ+SMkml@6e@a~(}Wuf^b1?88S7t?OBcUH<Tyk5x3PhseBRf?i6%-v9Q?2<LEw z{j875x(un{RU69WeOZLQx!+C1&L^5!Qh(bxDD1$Kr%<=60)J;)!9oH|dNaxT^fil{ z`duITvez^{l9**`25YE;wU$7@*RR8Utr*)kE@~mp&>lk1zpJe58~bQo+0G((4*Sk# zNa%*qN({G;#((M$YCrokpx3vuF@Mxg6ocY@6HC$eC#|h{NoiZQb1qanmz%u8ot83U z42CSe2Q~c+H0bEyhM1rCZD|ck1xuAvlkTGSt1vycC*^&DY3ZzK@A;U{j_16_mfyqt zWDa&rH4bjWlQ2Bi6_xTkzYs_W<pS~;s-{%F#p0KJbi9rKn7H)$Mll!zXj%D-9B$ui zbePRo5v%Ur#jYfC%;h3m^V>aF`PYo0W3Up|%vCvtrMg!1sYD8rvnp}b=wZ@(>MJ5I zV}*f$#QR_adzQB;nrELZ)k{z4oE=hThv?~zWN$tjGp9xT&P5i<cJ%&+k6CD`oL3<+ zA{#%_^>U3%kU*^a&Z47=vkdvI1+TOGQ=C22hqx!OQyxaDprtX_xeubkqcSPi<{A9` z!p79e)iSrrW;MT3HA&(r9P3$6AdR!2+fdDv+E~`^&48wwscB0PQ0sou)gx%N<^a}_ z$c*mOdoipG%=COk|NRB`gKEQNY^E%7WS}Be6$q%_X%Rl7wI-~vvQ7RVqFB&FsI}0G z1>_&FHTkQ`J(X>Jozq1Coc6vFAlNx~VgY~Jw#A2;-5pNkcM+?X>{I|UZay^)?H&G^ z^-1;x|7~nMIP>)}(X(ti5(ov85-dQ=?SH$*v}U)U@z?4hjojI`NcZuo{m#GZWbZ8l zK<25q)?!9U$AgqyJN#oC0BA&Kn&Q;`YmK%MPpZ}$ET@D^uqO%<26=W8HE*V>_10bv zf1}4{b3f}TboghAB|ls(%$Xthzpe2<j1}Z~LyAEWBs3zQiXkGEz9*WjEVB1&(&?)f zf`PEio+ks|ssoby;xt(Topb>(YRi%Kj^x(Pyo@eGYUH}J0N2vCx0+benm~XEiM9FL zW7-N|?93Yi0do0_b1Yh7V7<KB1?x1M;R9@dvX1HzO#wo<Nbi(IT7-l>yH&)Jwx`S5 zxLUQ_M?X{o+wCsm_E`04PECS+>k7h*n_fb6;#rljLEVmnG@1ISPsKy&7Qv-0RjwsA zuj6LVhoAV|-_2?+69p*8+sc=hR4YcDm;GK-qLnr}8uxyiqNR&cN`|SZ%kAu%ql0b1 zh-wle!Lan8qLh;a6Hbw!r<)%Fr`G?KfwtV{pvua?A_~^y=H}|bzPwR%=y$yYqn|zb zCJ~kBdQZlH>4C06<@FUq>OGX?gEIu867bsy@vfIST{e-xVcMd<?fxFlI!L|3vi}2h z2oF(g8-jDlFZA#0>*T?rF4vr#aJV+`a&y-A`!Mqf{?FaGP3g$wJsIg2VYoYSv9W|+ zYQu<(QTt84Eykk;2zd9ag8o-7aU#@STQPg%HmLHCn;d-V_5>ep_ILf>c0I1b?hoOX z-aaN3lF*!%zZ|)u5LAwL-h5L_$`LDhQ`Q}b`w1yPx2`bWU_pHUAx->b-ZaK|WLa{S z4k0J1G}vmHU-b(^;ygAoAVFQXp_%YbSys!PMU%B-w0eBH(a{Q;L2LJuaXgw`+sgXL z$cP=Fo7q-}H+mI2$~C=RxpemY_5(lr&*_U?&y&^7Ggj$>W8#aK?*&6R9uDv=W0aGZ z2gNZ5xG+zcQSPH_8zM{Ag8OaGLap`y&SrLEz%_>@yO{*i)j-BmAk(pd>-RgEB=YFk zHi6vD(Ef}Z4l!Z9yJ|}r%x}}1XUVClzeqA3Ub#~L&su=j4R_-yVB0=paj-4b!~qN< zj!XNBd9xvpOJaq|&Fr7zQathyYxwFEG1?X}>E*lrITWcx2|Mh|p1^=ljFB__@H3J# z+wX-~*rX@hcwp8gCRQAL#=lUyb<({dfZdKg5q!vmiI~IS!*%_6>@aKh()9Zwn>-)4 zmCBOJ@VVZiC}57DuG-<`%Mb2A_CocOb>{L=l~6>+*jI`w*XzO&08}DPDmj2IwE#E2 z`f}b~9P!b>0G&*mg1JD7KwC*u(evjwKPu$W(g_)$H-Z3-yt@zyjcl<%v_0zD+gt`i z1f>8`ESM^!-6;pfEwnz*-Opc9>BDmXUJhAU`RhaD*E_eb8Z=FEqL#Z6OYJQb7#ZcP zT-r3slg$%Nv4+SPBbT>k=((f3XsdL6z9|>ZSiK_r!<*Aod+K3#Y#I_DFR4EDChpxq zgK|qyiIqZQw;_*L?D1E4!?11vlR{}Wgtq}>#tbXp3+*ni>Xe>px(|Q6m8oifzB&ww z)UhX?;h<E;Y$-fUMkmj7?|L2$id=eyC0Ee7zOwUoP9c}Q&7BrYZIpWH`QbT|<r7t* z{$Qx6efN2j(~ev)ujGMCkKW(mBt(BZ8w_b{zeZjAtu-dk&Z+37ngfE04@k2N)fg?P zcsCzyRtS=QQv_3;nsw@A6H+&C&(pG0V;&RFu`qHmz6Eqs&kICp^~MSu#%9vOgPu$p z3w4ZqWT@y;llZ!y9qyPJzcRH^2uLK=KCF$8vgElOaCJHxQAMy@t0_@qc|@I3?hpjF zmR}#2;`zv#OuU8XhQc@WOxaLYY_bJB_+qYULw@p^20l<`qVuHAH&08f^Nz2tywIu6 zz5n+85aPC_DQn~6;?kgAG8JARnW`smF6t{9ydaD8O(c9mp$fOs-h$@<{>RrjMI>#{ zd03zazV@{jGC<I2O;}3&fus|OOh&FQuXvXJgER^ivXD^^^(5UMHBkG&z8it+GFH&Y zF0`(dnWq#Hj~!11#7C6!c$V~vdW$<Q6b2L>H!o{C^_AnoF~ULn5_NP*0G{a<&K6Y6 zQbbip*bsS?7h>^0*wmQm270&Thbgd#0IFkv1aM05okLbF8%k8SW>jLI50})Q_Y}|g z+W55!_J9e^h-|{x!|EGcT&LER36h;3j!o|;W)A7)kpKv@wSE;xCVZy^BRsCj>!Okp z>&DC;^o+&7uC2PJrl!g9^_r|ysS+iFlu;BhanldD-)nzKG=GbPDUwi3Gf`|Yap!s0 zENZ)B*@$k;$|H=Gy-SlgvyqsCHV~+2G>H)`&jJerWLO`%RUEoGqX8kWsYFJoa-<Q0 ztGX6{NPAH^h8H97sbs4wQPp7}greh4wb`JO#JvK7q>?DP<Snir(4dCFLjkbmKc3(# zR1$L3Lp`l!uq_ItYo~S{O6*ioNUW>==&{G*HU7+>YL8&s9qQ>w*-Xy3@0Th_7*5o; zyzWE+)<1hm8drrSOiTU2ytMEy*?3?t{?)03PAwxYoLow#EKK$4o2udq@HGU}wTh9; z;_wOg5!MhE@lCD4^NE&BsNvO>0?hd}N5xb|0G0?cjErSg)L<iBDam;@PKU)NexgbO zd%Hnymf_?lY#~R^X>8JuPURE(I4E>lX&vG_a<_csA<7tZ;G4{^m2saQd=>1Biv0?@ z$Ukf+dQ-#fPTwWn+E+w5uVK90o7N*SJUeA$85fVx#^UUPi)K7@T))0<TP8`Gz{9}* zI$=R2eeS_;*Sus@H*ez>qt1H(-ixMaRI@$CV~7kQLk<!XOHdAc{puUVJ2(+K@?<3J z0Oda#27M4k*Esl>MCj_rKTR{uIeXwrk_>To{1>=y$%=uB<>fU)t^S?aIA=SxRcyl8 zE<tu-@1K6tarCzre)y(}4WFZrl1+xKtH`35wq#oI9lZLv1E@H7+nBCUwZn3O&>-Yj zw*khD9p)|}|6UI6cqbOVPhp`NEuI{#FmG{;cVTA7Laa##>XjOXIQca9XIsLDJC<-V z+?;!E)Ogi2#nYxp{0+EQ#VGgs9^Ogmya&ypDM_`3)#z{#LG6Pz*HQZvqbUNSXL!^f zqc`H{TOIdZ>j%VF)#m-uQv?pH(fhj$ug3m{e$eu$$9-&I7V-@ww}68%a<6m<AL`f! zU*OP$?MIQ}F5kev@G?{Ncs&su8pyFKdiLg}h1dlYrc(^TUkCY0(A|%vBEF}I{?}I1 zH!C#%@ss84lQsewXOhaQZdlehj869kM>osC;LGgEX4CggMMhF`q)8foFI(fN+obvT z{4-RY^PfV<aKHN!&Es!1%KXtWft_X&$)dMU!sgb&isJMfJwpG4!b3UK%5i{m(%+-n z-Ru9{FHy+=*BY>V?%<byd0#LlcM;xG(^3VO46&<@CL?Z$kb^DeyoJNVWfYD_o6@wy ziLk1hapv<1=c&CGcwJkMEDX*1?5vn(eqmosIIk~(z7@1Y`&P38;_#{Jx9zr~x6=of zKr$&w3su-#T*>X{vm~S-7j(+)F@k<!kwxsNFV~Qk-7AWrQ0{#iokFG<{4sQ4-so$D zyWXmnR(=;)LgDyW+RpO(CL1|pK0IOGFZbM9HXPfw)s_4_oh#hY`Yb`&2EkwccG(ND zYf}cfkVT=M8!w$YP6U9?8Te(=w7~#w4=KiURbn$e%*OD-jf5zLK$th+-lz~?m^XE9 zM8_Tnk?_5}`vrasu`qA^eSsW>l%%uYkNZ~Jm^Q2a)QM4yBGFR&TLjJ^GTg~K)QZLq zy&wW*6D2Q<BG|hwBA!LsAl;DfMEYi(S`(=lMaG$IB^KY1CLQIHn=u^hyqyy4iEx_A zF^YnBtF4+YIY;q?<1cK!Rna-N!>g@Sp&wug^M+_W<d@9Ff|DoW(fNqdv6?y%OEv`G zwBO@?IjTK{6r@W>i&tBLB+Trz7n+|!GXX0Rk9Gvt+#N9rImU@3BgS?8CS8dLw^!<C zuY(LWZ`hA|W)9LN8jf0`B^#m+@<8|!1D^2rs+%_5KKO-f7fTRXT98rUCAbEqw9BFm zX;R5GB`=2`G>+;TE-Icdv&f$Kh<JRIuJ6CjV!w5kb|9T+DH^~D^M?O*f<j8C+#omA zXd}LqnXNa@hF!YPhh3e4uxk`ZPUNVI=B*zq#ID5SW38%>6y>JX;Dpz3h2!g&lqJr@ z(N+JQB>f{LQV{6uLwCvg)B13&Lo>J<MWW~~-WdOBiw-C3_hvupm?cQ}y&a1-W00;) z7mGG$kS_LOlxqN4TJk*wQV<!~*EFuq3{p@mcsaN|H{u5p=&Jf~!cYMUP93RK=K)7e z#2{UdR#PIL&1}a3$VLcfy$YHB549KCpVp0VNbxjS*Iny!#*N{E2asU&pys#2@>5`t z!wI9q&ESG>!iv7&c);z|e|G*G`Ty?xuNHnw;hON_q*-Hbe|{o|{YXeiz#t`!d-rc} z5w~4S&Gs(`1~2!`-A`j14!W;q1|iK0Hq2=U@Bem?@#H}Frb=jOX>U%}{C|dHkosO? zEFuJv4Sg%@y1To3dA{jRW74_yf4T8b6S{i$?j1EX_0w6LKYtX21?f{7v+qggja}Pb zv08<?@9jp|hh+!Y{~X@B*&&fzQBl!-zh7~9c=+efpLdMv%Z`J@9<aPfI!!h(0o0#T z#Uvz*Y{7L&y2@QA`!f}$T7J7<!@j&FeO_^2dxwkLoY?yP`}yy$qTAcs(RCa{WFt<W zKYtb$4jeP%W5hL3R#sM2TzBCew|tk9no7d!GIZpINHaS#^9~!ENYGDLDVd{73fkH| zV4{UqEh~)PCvC3<%GqE<a9HE(f51tNe^c4Ts9yQof-{LmE|cGreaB~eIEB2vO1Jg9 z`^jpWp4&oCAZ)wKUSdkh)#N9ZM#13sBQLjug6!<<UN^@p-Tp7~IlOW?yp6@h19_h} z2V%;~%D`D;f-W^$&wUjQyI%u`MaRYEI$NnF_<U=e_tCcvJTZ7&baXWQ8=O-7RAxP1 zlOc3Kv)j+NJT6Y~ndg?UF>%U2HHPrR_2ELj^;|V9BHD7ZeV(=hcoI)fPkem*r-z%9 znF<XruX_~*f$cMoMgN5IV`kkJRz}7V17k}|%eVZe0rz_x<NV+)d~HR=e7Z=l&wA}{ zs2!#PUYA27BZQn5if(S#LkX1NXo!8T<8k9aGlXnDis!l?&O6?oZk%ln4*vWpo6U0u z-jX>eSF0fLe{__|Y6Nn<_RAh0AAkP*332|r_4n`W^z`9k<3SjypN0PyZ_pby;{=aq zD(0rkRIa?9+FTDlKA!&YeYp0$S#hUHLI(Ir;`)t{NdQysEb+QB5p3}~&G+r@C;FXU zSGQ-I=A-FKdU~BMdy}3Qe?bnm;xxhpUVq2S^TWl(MZ4RP7r2_O>>D_VB#$dPzshn= zcc3{VX)N8xZ3o5jIr|PgM#jcZ6G7ncZw?nY=;_P8e|Ngtp8<`6ii#SA%VM`9{;H>< zri<78c$u-f<xd1{u9S>Sd3E(ihxMN4r-vEJXaX(<cJ}ib4TGw(vJ3%lZU9`Gb5&T9 z=Xd`tO@Dv7Y-+jHd1`9v&Fj~xOgh|Vqv`ftcg5!8xwiWJ{~~T<#=SrC9l+{&ZUV3p z#B@KboPdU_2e0Q}w~AlE>rhcqX|`L*Oi$lcxM4KS!tZ*%KLAbNA{j@L#civsW-^>i zKUFN}{ql5!`(BgPezjw&^RUzVhFPcS5XyI=x`sx`ZF4wZ2X_3Isd;&_#-MwCejc>S z^71lhh?bP#h79MI=O>nq(>~F+0@D;v^L5676YCiq=KAg{t|uKAP~$j()WpQe+$gvJ zg^zb)g%dt!{kT?}qWz@Rq}(?1wV!{eSL<r&=n#6?dfy!T-fgGNWP&&Ftp0#!0@qjF zgU0u{-z)jAYsQSd!1iofIs%<FCMt?hz^fs%K&JnEdjz(=%zkGy1FN(W$e*!V%Gh|i zSwjqvB=P)t(gV}8_VVm55`I6imzb4xpuq*S?3Y)7=6g%R@8Nbp%Zg1T6&0%~od||z z5#8|h(bAHCLIEB7!2bSz=8DJSK$Sn}QjndCzhf7lSO668D9~>~XaODSzfBS7yXJZ@ z%f-$8@w5jvk?QUp1ryWJl!72v)|ir#lGUGF0dK%?YbaqOcFGJv%?SYo4?R6SB_$;> zQCVA?z@yr2vP!2JhyK^EU!Y|K+OMX-k3IR#d2MZNa|ZstV9y{j$(JNKSI3rGu>s{* zQ5}25SxvS}+=e{?S@vC?;JHP^(BwXSvc5>1eqI4hh=YSu{!r%(h3ue(1+%HEs!oH> zKg&V_VtQ-Oe#LzyxZ=d2NX^a74a6!$QXf{|dl#;L8*W%3L)k`nTQf!9??pvLhFlCR zEP}9CsL`|KNI~d!c-Qz-eJL9BjEsa_R;uFS{qf|Y1JU?cAY3E$frvL(V?fGtT0R!# zbJ~l@MKCt`?Nb_yLG@}l_+9typD5q^OUvy<RRhn70`Xo_{Fs5B&okuzGbkNZ)dtrC zb>KAaofY}0-&IU_I1o@?UOqZH8XsoG5nL|X*x1Ol%;!2<ubquv;N=vE&$B~pOJ1&_ z@A<8x!{_WzKj_RCv|ZPW)(3Mnf>oR7BE<?I6y9GJ6cjLl7Mri#h+^qVXZ_rFywa|N zA>T;j5Bk=6F$x$@=Zp~2r>+Y1sz2HPjuA!I&~@xz?eu<2%v<zVH8^9b$@YzVDK|$c zn<kggQOWo3-#a?^ArJ@+%|Hz!Q&4k%f4_Ntm(_`7)|7(+V+pCN=6O}~Dna_K_1_B< z5MZ3g1wgmW;kMQG^?mv~mZkG+xk7^lKq8Wj{g;_I_ebz_8m-=un}9)F7}Ro5-A-nB zIFn4T0<15X=Yh*vn24s_%oHW>{^76U4$gZ`5N+=<fUWIq3=wX-WxVvAP+WbUVEYni zH9ZrPKosPuG}iL-=dXg>>%GBX*8(e1HWn5Z2?fXb=pBD0$lTX_KLGr9TS<Yim8xKR z2~7<KXTh3hCt>I1>BRrrw{PGL&DZ#hUE8TTX5+b?W@DM=dA{n2MH@fD)<6KZ@4T7? z!<WQs_bUhoi;IgneD1kCjz%B~0>90^IBpK;c^@?rez401=NpX28t9Gh!%;JcXr$hU zY*$6d$jHV6(RYXS<217A4s&|$tt-bML~McR92o4qByD110@}gtWL3a)I2oL4Vf2AG z(zQa#ID@3Aaj+5SYyRL-V;LN@930MTUA`>ck52mftK)(%KH9ht5N1KAGjJZ`($dl* ziQ5?@_1A5%P?D96_J8!00+YWVh<YqKO_iXvIn1G8ZmEzcg!nz)enBN<U}V%mX_Ely z4{z#y`IL`+_tSNJ-oW6Xf$!A}_@7c93e<X>{Q*5Q^bIaFlk3x%F)JR3&>Jk1UI-#X zAjbf4y3=V}#^1zsx>V^?>U*UhPzG?5!S8tv8h?f#76C;Q#AeVm<Lhs_u4Z-O1g_`7 zZ|16W1|j26C|XI`(Ri5?IANp^CzFl7(EU{u-W<EXqZwdoE@@Z$kuMzF^>{uaRPrzQ zFLuV`qN1!j4gLK5z$qAE>E?Go*7YwS=#m%#BmRyn{+F``YcZ?1S!Cr9yNZeUS*54r zKxpTCtyIvzr+@!O$Hh&{$ss;WY0Bs|s>8;{Zdp0b&d#2mo{l$%IBiLZi;G)XS=rgy zg>{OW)!(HV_`w8#F@zXrYeySdfQ^f*p{6FCn4FQ}sa=>1*#Tj!s<INqae8|Cql~JM zN3Q|F(`-6v)nqs&N+gPRV*ePevM`w{nQBo8rcC&W0q_cZ-bW;p*QkSq$A6>i^UttF zDOA6Wm*y*6x$)Ti<XP}>q2|%iegkD0<ahMnz_yl%ImPsm1^&Ey8K&XU(L_8Bh6m<* z{}2bHI=2E*k&#vxQ4JAfNMMkHFY`$u%B_M@I*^S;Aw{YMfI&xA+VziE|D)#rw&ftP zMheRRFSh;PJO8`IfA9Riwipr*3|DiQ*l^(`Mhjay8YthTQ>Tjb>ip=D^$DcYs%xL% zDrWZG+G8Y)RaLQPB@la$+?H&(h0z<dnPx#YT-udJh89LiLnDEGHsDGIo`(GAhQoh) z-}kocgUnfQYQ7~#?bNsD&Z;9}rm*2&iol{JLX(t`knr*G8A`Pi78cgk)ipEwTf?6= zxCusqkgTk%x;oA*f6%^nod|twiYPNb$khEo28Bk%V_3fcX2Pk-Ndz<^k1?(}6LWL- zQ$}~*9RK^NJP?U~KoA4KeE)FLEy%MpQ79=Hjpw+N<Nl8zXyn$lwRwS59;Bl>^=7Eg zPXAFm(0JNBA14ssf%x3qT#y!OXf%VgjLUj<+2IE&h(kx~xZNP{x>@x;`3vSQ5M4M4 z<iJok{X$XNB}IrXQj2*ytE<UvyVzhcQP9%T0y5CI`0QeGE<8m4;;+tlkoWn@e&IVj zkosN=6CXdKTj!sGiH{1tI+%m)p^W4Ilco>+KDff7k-g;#+s;l)P9FLWlBt~@$52{@ zTpJsk(O<tTU&0Z!Qa{PaEZezDNPL;FusO3dHT_10R6^YuU6+`M88?`el0q%5JjCzn z>Z+!u1}01n4i)r}YohCh$mHbY`J?N~%J(_)xa^{)rrTvIB}PU@iAhPK*9u@}pP8GZ zrTO>z0xDlMwS8esEG$Qt9mw|MB^iUbj-a3UUIBcRfxq*1oBd6SQD+__VpMAt>WnG) zs6eQ=rpE3=E@h=UBS1w()sSoZzl47hq^7(syNXv=AnOO81~4DXY_yyz1_{RX?!;y! zWA*N8=R>hv7GO9SOAONYZV)0s5}ya^iU~>5MoIS<P*Z`(dI<)v|I2d@uWKf+tCgHw z%>RqU%Yd;CzUHd+miYgIpg#)|iho_~P0{l4JqW(sDMX>vn~e>RjEoEo?XGqE*XVan zPEF-`?bF8%P7Sjysr)p6{D0|?2A;*?6vlr<Z^1MTm58Sn3|0`HSvoJ34ZncG?Q(a5 zl7+?ocfRn#!UCma>~g2K`<oTL7KhL3>Zvbe|D`y9#jF0K2OKCVpX;aY_G7}urLA%% zzQ<qndAg0)#Fh8XeX$B3X2tva7p#V*<k4cQ#h}O_Xac7v{x1*U3jMf<2;{V}%`?sS zIB6p@6e~8|4>=6tO7C$-pgDXRRoYyZlSNwfX5d187W<B~0o&%4>t00CWw#|;<H6Xc zP0|;SKR+Y<pD*%2T4*qyD*)=Y$>GKoFeQ?L+69~nP#~1g9e_xFvk^vmywrTse$vH} zAzLUB6B!-tb2X!3ZDj>!R8(N&QA!Y;3{Wv0kv^Y>fr&LOEsaIH!2*oDka*CpcNdkQ zV0pYf11Db=ln<4ax}9FGAjpe~{`k`$^@F%cKzw?5q0_rL(-Y)jGcz;bgywv(*H>4c z1qpkBnfHEK$@#?v78VvrkCU>pbW~LSNj*}(+g|_d|GU(%%GEINbv<5g{YQqd6!;U8 zlU4QfeAjydLEqY}c`8s}>)Xp)lJtK%bXk)f;yX@(&C>mwNJ&dT&dX7w64Gs{r!i<` z?E9JAT`z}=fm<DLn4MWLHZm4?CmA<8wBq&ezSMDMU*GF6yp+To{5kAaM-5z(3Ktpa z)>i4yL2Ae4iHX|vl4&kl@=@<U$Kp|3xiCLJ{x*LUi$OY_86<5#9gNAQ1RcJ~X5l+A zpBu=AV({1s3_z88e~HiQV&M?ooO8I={WA7pt>dU^X}TFC<SbpcparpZ#`9j*gWr}% z?CtIOKP;`KvKTyrY~%|c6eQhGXM?0SyA#GBqb#qK&tNxQY_L4(et8ape*<Re5C2gv zU;gR$rlxDq%68+8PmdSlAoqC8dwDd!Is)a(!}Za_Pb`Ihjzg0qEywS6sA)*#4Q6nV zwXE=g;%MGD?psk&2*1rk)Zt3I`@(lq_f^l5dpA%Ofu81jG4?_2YNgIt612CK)&6Xi z4(#TyXNhr;lp6TmnKsHlj?~2v^Id~3od+@)(3<7NKIgw^31a?&Eceu(9x#mFsCim; zB%v60!|$;}roS^idAb@{6SzKkyY@0yS=a4-2v%IT=4j-73g~Zg!Bmo~N~wiKE6;yA zF1XC;{wwRn2fPnIk~Y5Lx{`CTruFcAa6#Jgm%FB1r#n}0d+`Cc>fYk2VygP#M}Z#y zZRY!%m@L+v?GGPsPjl{6s@ttMx{BY5kg%ETTk1dF2?sxM4nb(Sxvvjux^r1S2fZHw zFJv2J#_l6b%^*pB+Gg=r3Z5+am%<+>-vA$0Jt%>n{r&Lra0GmA?*SrykJ^;Ye<B?? z9iohb^J)MidJUO;U(y^*bEB7gQ&09B92_Stn`jj?_jfya4_G=b<ew5bEhnkOm746= zNRDfdSpKO%FhTsc3Vgb%^|^Bb(mBlKqpEdZ`dCi79+-E0Ry#Zc8NZ_aKg3=~oS70f zzA=~##<pN+Kj?3D*^i6=Xsox(xSV67tm)vdv95W3a_aa*)rPC!_q1y;YnzS-3%ong z_g*S$9<<L~{E~HRad?sULYo2rbR+hj$4h*xcYjuGUIXjAy)eLh=9*yr&DS_VeB8G{ zhsB24&1j49NOxi;skor`)lTbvjREBGwsemLy2zdt!e=xz&CzyS55#&N*FF~8$$=pc zVk;BQ$UlV-(oZ>1;;(f*foMGr)*C=6eK18_HDv^iW1s@jFc3Cj`scvFfO>49)not+ zthTO|jEsz>W!Zww$KWe1@9V>|xdT|0`>TVS>m_?qkX%g`Nn6S2>8*ga>jH}m=jTo( zQ@<b}RR9$A^oajWEG9oW0|aunJ5jiL{gf*JusUrGInXLUxPv7u9Zk(rsQuq;XDBfm zqH$$uX(?C{0vx8~KG=fFswV*E!<x?pSSJcYBhE}s{UYI8SHW`Wd0f9O==XdCeM0<b za6izeQl}x%cAnu#6Y!4I@%~uMzD8+SV7w=*e(uL~mbT#hRCCFFu4BdXCdJFO3<Y4p zfduqCyfjQb<~Ai_f{W}sTS=Ew-kvI76iT(WB?@G{O_^N~K=}@niraH&w-JlSeihA3 zBFsz=K11_Qh<jb`{wqI#I^o~oz~mtKbUF1eNM;?iLn_tM7)^{0>J(>^Koapfwc`Bz zoI_=8eWQ2(>`C7kRMn+Qg$xV~U%)4XKxI%`N+*mCx>Jka)4c<1jeLcaA)O{zX!RE; zWvmR1vaeu&3+!(lu3KqPlL90@r@}E3^<ZAv9!aZsz64c*0a!NymF)V-BZayFP<F9? zmV+3F2xx39t||ELLHisJoD2nplzV#eKLQTu`KU1M{P{|V@gAOvUu=OzRQs-l%Ozq6 zyTyV3-*fOc1^(-I0r0Q4D<@bYJ}3}RLk8%S@qv9E$ba0*!=?83O{WP6pu0!SYtOSf z_D742pVSN*MO6Jq-tO>w5X~-#yekJqAC6xZ?_UT7#UGSdPq1c%Ll0{7z?k6wmE?h& zwff#iT(0`+QqX)Uo@o}44!yI3$TrIR{nOqO(oqH{VBnT0<mrR@-*hAum5}>ijR+)f z^I-OG*^?fs+42dyYJ_xm6X!om0s(<Qir@#|OD5n_!(S0VmBaBax{E8?+ja;j*Aq6! zLs)OS+B4&yWglPMx!#?7e>;`D_F{LK&SrdRO9Ubjz8-&&?r^DZ%(Fw?{jxoV3==c+ zNB8{-1j`x2%Dmy>VbG9UTU+X1%$xf_lBIoH2m*O<KtL@o>n%7Ds8Fm}4mwOUF1rrU za~<%#uJ+-9K+$|1T1Li$T<>EoFqwl3i1rT-KG?5D3m!&k_`dDF{?&w;RnS#Os^5s2 zKNtf5%?eYe-5olk0KhNUeNL4A%uWCR1A{`p3fR$rb^hA*BL~E;?F2jzlU@>g!Fc7y zI9TA(&+XO2RNo5f#}Cbae;1SK#JzIx8d<pE@2-uZ{30t59A!{%@+)zXTmQuhtbPt| zZj9-Z4{4eH_<{<`w_cJBP}u_c_G?{MGWz-?<R&1ij4ZgV?>y~$vvb@x{ki82E;9=M zCYa%{#m~maA$sK%6(AjYw<}Sj+p1hL6@$+qA*ZDGqpwfIKQ|chZBy6sUwmxj!T+gI z*s`sTkvg?J9Jj-)|Dw&i3>y}0y8^4BOdr+UbK_0%{ZDtoFVH<_d77BA>Q0p)U!4;* z^^}P@wpRV2aqs~8@twnUgy7T0eT*k$IH7QnFz<1lW~P43<EEF9X2o&yc_gXo?=s>} z?|ti6W9m&opSnwXe^Nf?I_pej@6n9wnXsDILIc%WnrA;RHV5&T$FWDZzd4m)FsACS zbZqVVuQWIf%<IfuN0!w{rJp1CuvN`aevtvE?PU#-6npvhx9C|_=X0ax2b<gSJq%<( zW6j5z^LaF(e)wOOX+LhW1`{(#N)MM?>p^Mdb~qpTju9*sAfgf!p~)izgoK2!84vhe zFPMYA`>%krY<Kfd3xV{lr?=TW?f<_bQpdq(CNKYg8v6>Mw!UuPP~6?2KwF@=Td@MA zxVt+PcPCh(P`tPmx8m*uD^T2Bf>Q`ial5Dg_r34kd*{x)du9?sCX?A`?{n5(KUphd z`LQCpIywSCegRyD#D-qoHVtDLd~CeDnxpIhIRPLXsQbKu>+T3pV+^qMPyp&@rlee7 zjEjZ|{<9jV8@&LuTWebL`8!-};Xld%YPYvP0>YP4CV!33r43Inz{Yd}`4SLMMluEd z=7T`W05B>5*;`Ux{s+6}CBM@;5Ob<pcGCff6FYDLaP6$R^>69uEP)LD=5wdlEFWx= z80tT>s;pt=j1RVx4X$DEqTup49^wcneQW#X+y0=6!v17a=iO{HAw79vLA@8IkpCr7 zmA(BUXJtz@cGm5Z)%9$mR!iZpf{;&+U2+G$P&q1vimJCws%G+j<qSXHZ#x9&)SMkB z5V9J$*t8=VZzj*h0wJ24?WOS|(erS1)p9}fnB+8&*+q38p!Yf!Lp^~#Dmpqk1Gw|> zPNxC>5V-046O=?q`IWr~<7pG<m4I!%j;xD<-M9--43My2`W-uT|0lNQm)rkgYXs`5 zxj-0X+@F9cj1{>nc{i?IHY@UUvlT0J9xmDo#6*99bpg1aCjd?%fW9m80V@J<RG0RD zgB%mHVLLy-Ndc@4fRa?zFpzqqNVy(Jfkgb`{M-;od0JdEC`fsFC~kQE0<`zfzW?TM zB&J2QMCbnpwgyR4VW0p4fs7J9#i5HUD2$SdZb~#uVGGgA;t|q{&7cHJBYp#DjBs@v z6hah22Eb>rd9Ou@Cx${>z;N&z+<l9Fjrm$cJqgVpcOmf8PAHY63IO1k7#a0hwZz56 z9ULm(O}+)#zt>X0t_46#S6A2Z@s4V3W<*3phbBQly5r%woTr-Da01e>iLJB0SZ({o z<bPp<RIvt039J$S8>>WNyq-w~koC2-Q^xE7tBj!ZR+XR-K=!4jvhf8YBk~k>?jC6^ zH*&HJxvvTnab(~2^^s0=i=WPAqUOD|1mLQ<d3{<PkQG+2VSCSg{fF#X*AdDwtU3X} zCle_^?<!tLSt%D>F6YK{+3Z{|-bLde&;UcGr$@HGeF&6G`>zZSCG3kzgj}}gdvhI! zz2wS&s32l0-HJKOx?GUwTR<#YKHA_lkitPgMUpZwF#p6&Ry@5pF)?8ZC%XLtAg|uY zJQ-O0BagE2pwReqK>CW9fN%NLhxjq;9~Jd~E2+lOIsMhAf9V9e`UCrCX(?mfVpM~( ziWxUqLVP^HC#d{YW#7G{SIh*K0sz2!-hz_b<<k=r%9@%*vo_<KF{=P;^g^+Cdc&!C z)uB8BD;QAW0LDqwb(>ET$X0>m%bBuOF7W2YON9WCBvruQ=*l(AmXCPJq5&|ZO-_l> zv}|9uh#=Ngm=!S0{<ne{;Fd7)@bF?N1Y8{Sj<kn~iT@{7>M5BfWL-onWdT$2QZju# z)0Ug8JS^smVbwqlFG?YQ<X<TnT?%I#&m}2N?(oZ|D+Rzs&Jqhi`3S&94`S3_wu;y= zDJt+jnBh~tS{o*5>hzq`$*Nirv!D0QP$Kjc+jz_OWEP>l;~+**6%MpMe7#m?n{_cH zc-%|@0(mXYH9W66w`<PPxs$p~|AedgWbym{70UT?-}#blRYetWvcSP#>-^MVR@8Z7 zmmhusz`k?GdlNvpLp;&o-Z(GJMw2dIs4?yie(wK4)tsV4@_ec#>ya(iF+EadsqcAB zd^0Tpy&kCsw_mvuUEf1vTb&yA%YRr$DM;h6E>eZ8XshWM=*|BQeul244M?dJfFHDG z6Ye3>bl)-p!(Xvh*D|>@qXb95sS^l%z`=Dw#I8llb3sCc6GKQ$kxP`rI@46IWjt{C zRU7CM9ux;cMSVjvKce0d;5IHlZqAwZo>RW(B2-C4*kE;*YxeQaiFa1%!4>*fPF{Nw z`;yYYoQ3P!Pq#NEDhDUvTKjp2={=KmbX}R-#i*#2$fB+rqR}mbSZuczNozwxXLYxF z+WX&*dy?|Qnjgc!!>%z@<E$JXNHTb0YL*>uTeb$q67Txx>0z<zP6yWsw?xm?ze4D~ zZm^EYXzVmdodZIzn#m6JYO6%YT;)+Kx8h^9OSkpN<L^NSkdxH-g{`2x?0|v6uZaW9 zwKmi}A>rpyJL)#0>*C7vyGJ1AmQfWI56mu4-!8@&nPt%Rhe$CNT3rWtvTw~Lj>#OO zqio8mfPU&F9i917;VC%Skc3W)KI+d|b*G~qWi~i&3&R`OpSjBp*~-1_Fd144H{Xe+ zx*CXjG#~83agSxQjQZZfm7_+VzrW(>dm(z`&;j>;QmgKx(mn0LRpSPtFNE!o!?W)O z3xge;>;o-NsBmy3R897Efo=>6dhm;Ql$M?^xp$5%N<F36qVhI=B7(VCPK^z?a-3e` z9I0i1*2^dG5-nQZf9`jyQ91M_%_MO}$ZvwSZ?9>|W~USV-abiJ1n7D(jz;U3@F3da z7z!qKZo6q_)uzt&ROfATnpfmaHYApMX(?Jbl=k1(46{<S2yiJYK!8;4x*@r@LkQO# zmr@KuiH@lZyYOhe?BJ4z$$y$kbX>c;IQb17vVfb&E{|;Xi+O^c?|_&?Nd+O#%dgR? zrZtfj^zU`#E(O?=p+<*KH-~5YKVq7yb7rnZ<*?@MIcS7ub+1ehqbedzL77ilDPdB? znELo=+M3v@H5VI6*`jmu8o3F0pr5Vx#Yf~#-owH*pzW{T24TXtPIvKM%xMiw&bD_# z4WHGss^V~}O4~gg=a8j3h3M;VemgG8fQ`JbcSOdNc5l|xROM4Yp({Gvdz}j_UHWbu zf-8bAuI-<;g6c;LAO(<=?llgpTlCMbTB*dxt<I|#-ubM<5)<c%ux&(+oct1MJK7Z8 zjULXv8;J-#t55$7&h~GOJAVpOGC~INKX!AyhK@mU_0XN2_G-3KnWpc42)|}vNSK-? z*2Vr7&*`k-<6{N_R0r1f-=u7g2<+E8DUTo_h?9xlVFstgu)SLGRViPJTxum%w$uxD z4bAsBS|8rKxp9N!s&_ux2{zyJFYzLSI=8!`I-rz7Nm_PzpODH$qGre`Jj$yPjn$y_ z5Zx53sp+n+)%SeHM{O2%X>=W+7i1iOv!Xe5yklSWV?Qlu{ZY{Pm;O4>3PDH(ljzfJ zRt#T56t*Qt(3nwM>A7yZPO<-k8h$<%$onc|?@kCR*fNg&`Oi+Wfb076o$)=I^P&2c z&QI6Mw-EuiY2^t(6fp2EfXr?WTe01aA7HM}-cNuJ8T=+D40#LB9!B$DgQn*_AIwH_ z@ar_&ujO%++lz(`da*?xHEeVIx^tRh6&D(XY0=(amA-_h(w@A|*w84bGVq#oCB{0L z+L^URCtl(lmz0X3ur^R)3!my0?FG2{B*HlBSpmIE7P7)Wu;RzHAP$2z(Z+|G@2^2; zeIadze1E9ce#oeY2W7x*3m(x!NT4vDFc!B3Ux{E)A_#N^!mO-vy2%a<JQ_|}776o! z5n+H<8%KoO>|jGFyHrBZ^(uzg4xvh^R5Oo~2w+w~>idXYn<uG)C`Wt8{W(}yn{wj; zfh9?v3t9w1SKFnLW!KEM@F0?<$_pc^^s|L58ScHHnWlHYu8Z_~h@LS)iB@0oVX4n1 z_tA}0Ivukgl8j<mQ}2c!mS?OIk+H4AJw*_8;cZ0{{WK!3s%^Kbt+li6aKBu;2FPm} zx*<9kH6361crS(@8i|NftQ}{;ye$yTbw4O{FT>xEkiglcxA6V${Zq{S?6F*~L&&?v zonOk58BO5j$~V#NY;R@!{8_DdP21#RJqCWjlY;+cU$KXR?;H2^Rbdf(-3phJm2wLX zP*`z%7TA<N-JwIKY4;S)SehJ0U#Q1q?21Y^StfK4edlA=|IPcDGiSORNcI88g};Oo zm%g7*aV7s`Bf$&qY9qZ|%{@<1oT|FGPSA}}5;D;8#^^P12!GRcf&pU1$>G`vwD(1@ zDbz;L3lMREgBEe|+2C5p*bfzi1DANrf&d~o`7SWt=da<o@iTBQ?{tO2o>+VAi4ku7 zX@>u7rd^o097?yh&SwFNdxDYjWMKjIy*$QviVYg75C=foX>scG3$<Ijw5m}LxUQ*q z-Sldcuw&*)<bi#ub6L4l;$Ebyl~!uDO0V^K*2pAPdP*<*RQym+X#X`gX|lGudckdN zEJC@D_3J6B)B0e&Ad4`NZLJ%9V9Z=CI^M*w_sjN}V0fI%ha#`zd8N*A`?J`riXI_m z>hNLX0fP<?knt1l{HoJ(YE#xdIw)s;nZb5o<#D~JQRQ~g`7^Y8?{(%itf2tvtJJ#M zv-o4b&H3tw6+INJ^m$GudBv<y#>l}>4X(|1wf#_r>;4K00;zG~fF-t=r0_Vd!WE2D zaqNhHxPayD{D4ns73rvKsk>`sefH@6(hKg7j&yJG3q78f;(D3>%|2WPjY$N|x?Lr) z2ll9{JPpIOnzV}C3dHEGcQ-@t7j;{vuh9LnOZo2Q6qoz``_|)w1W|+ggN*w>to2Lp zOhb-2SSa}_DVu(sckyFey%gr|3D^(O2=M1EM-AJbAm_q)Cq_<B7#ek3yc6=~%M`q; zrn-TeT)_GTx~X;n(K(fF{qGEqt$z1PAfz2XDRqh_EwpGw8Yc`QfJVm0*J}d}`^EKn zze2&+2DH~j<aFgvJ`4MYwOt`UwF9VW4fF!^e0*BnBYBLlN6VZ0g!lKa7hqrO?Xhp3 z?GJmDq;}1}vs|Oc#zxLKkozA=L9RAV9}df3y~HCVr!1|^YClhyi4+hZmecXd<EY)F zEQ&ubyvo;T^$X>LB~hKUCi?PLm8{@=`xNEUdiD<`Na!i!Z`VyPaZy*xs{4?a5Vi5= z(;HRjfwSqz$*23TTliB;tl?c-YH|Y|2aDkn77P6|2};6C7ck9H7O5DdKWVky?^eua zQ$4VSR;->cQ6-5J2HJyT4NLQi3U)pVLT-M2FN+Axygh0Pkk|$2jtAJcJECGLHsq&= zr!CP6+h9Nu8@3R8e&XH=FCly|t+aJ3)Kh;$%{tj9BAZx~djT7Ne6@+U+Hv0sgy}Y& zy10dqxCI+cn{Zh>0!d<x4s|2m--SHl+97?+%$AXhf1mp59j+2Y=J7VgulB`>{0+oI zBqDzWAC8E3-V`j@7BF#%ii)zb#$fa!1OA?`5v4Wc7SKs941fQX^<t6-!oDs-cr^k^ z4kt+yeUp_gQmaf3m{9}r7mhKKg2Z(95_Hv~=);lnlBT2x^t<Kgj8MiCh55t$U)WS4 zE4dQLoFP8Ff6XjSl{GRPX2gEo0#++s0#;F6W3VxJWbcBS+{mw`%qt7*nU(l}yq(7? zW`OFB;WL2yoh+CYl=m`IS=9&tjbvR=XlHwS=2EV|GN4T3;JiPO!$H`90nSNFOUroB zJiM%&TwPsVZ?A2WT7n_B*1&ouIt@R4(_j;O#%M&IvY`I(2T4i50&)xx5REF1A1M2v zP|;U^k37v-@dLd9pkHaT+rFx_Gzx0<iE)i~L}a8j+9eN`8MDaWBP%_a`m!QhQODYP z9{|?BI<F`J8tUSr?8xv{Fts%JYuUaLG5|#p5mnRx;5B3L)>j7ji&Fsk$EW&txB$BN z!3I2u#ogikr#JugiG|!-h&y&d+>W^H1iFSFA`)p=TF^9UOVKygEYScFCMG6P(axBs zkm~Acz;qZAg77Y*01^UE^mT<(u11F-T{8D;mirFZHM1y@<+_Q#&{DRm&*(~nEFirD zqPvTW3((Dj@(~rV8UXt!Dhf(Tn`qEXN(tri+d2vc_72y>P2xpb3nEn`syqp|_e(63 zD3_6#Ii4)~`GE4_ez?FvO`QWAzzD*_!vO*k=nwSmF8&VBLzd+{UMJ>JNl`xz+V(xc zAsW4i_Y4;@3gO-hXc>+rE?mRG-5+2;1lyZ(rU6JkA|m48RH3Mzo0r!Eu*JCX%79S? zcf?<^ycP8xe7J%p#J~O>^d$1Z(+njLXxsW^RTj=kBLl9|DM)mGyrlng2aK_Y6pldW z4M@W$;bBnPFLZjRyp5w^g86)yC0hJfQKj`Ip*S$f1&~WppNw*B6^9~T>Vq)1f5xlP z)gtBE0JtLS0E!84W2i>rez1QXQUa@SG<bgcXEEkY5A}2owd?Jdv5tz!aY&)HKogu? zjro+v$qdIM{!BGfZ{x+<ms;n2AEU{50v2nH$NgV?m-^>QeOClYA_OR**80iM*d8xN z5PdZ}1q3}7zBD0e(sYRmLAEoj)^sLC5|Irzh=)f;2(%vX!&{3Xk{P^UfLi_1H9=yQ z09$T|YHJtxRwy74I_Z4%{Tgufom^h8am~Hg0GLh4NV?zGJp4|-=V{32fZf6B0$zjT zlhtHPTHFw=*{0f&3WN#2-xIl@Kq<%lWzV^b9qe|CPPml4O#W|byTm|t03QItxxFRs z#QWson!}#)_!t8Gd;3jAWtS^}Le$Y=wusiXA*JX~ajc~wj(;xhSu|cxIs9oT&W=?q z)o6kWi|(77Z+C{|2YRP~NrIPDsF|za$M$bFs_~3JzCEk>dxcjq<sJ&67$m0$Vf*{e zbK~CtEx%R1c%r3rxN0z^*?0Z06XW+<<Km^5cbg@)QN8fd9`2;uH~f(6nI_K5cpqys z%HAL~N!5=a5bIIq^I>Mkx9>|KgvZY<CBrkJ`O7tV_4V}_?+XeG;hv@C+VCa5V5F^9 z4c0$@;o&ofa9TBV&l(0=56sY9aOt_(;OhH}Ty#xZ@i{tFhIZO!D=bsZ$q(M_82<^! z-Yq~#xHE)5KnJl%MUxe>6zvvu3K_eII>VaS77}wGR?f_<WFLV}LR;=H^}BySm3H+W zdSBtEzxl$o{htugl~k|TXQa@wT)Y2{WDR(BthhK`*wSBY>2WvB8P+iBDI5@bacun> z6#u~MFv~td#L^}Z@{&00f{f|u(S*yM&Z+b1%T>Vrd<5>WLs3~Kb$b!yIARp=@CCjV zdF&lQXIG4v2%chz9Ti|V-8snO0BsM_f(JyP0r#0m013l&+|l%g#lE#8SSz2dA|tzN z<uEkq;yIz(^4^W7@!PFMBiQOgXS0t7ci`cV>lmLa)uCmY0?7QAyMwPs=Lee;tV%Kb z&ppW`AW5T9GU20?lI7(u#D}+#>VXx)EkX9KKRO5CI>pA;4h?CY<3Vs3{mH_lOaCxA z+z9yALKGCsroTY+EF<G>V(;T4@eh7V7V_y$?7$ryq7prfCA}Yv5267nv!7=L<qaxe z<~!XLXAj>oYjfpN21aNAs&fesT(PK^<@WL-pPMZW*0E5skcowECrQ^R4aKHk3NTZn zZrB^Aj+i-dtj@uwWDfm8=%DA9{HM@^;$ObR<qu_z`^nEtyH)j!L%)=%;%D0^`&o!g zBgohUEo<r5=HH{ytRBt2L&>gqH1!<!sK^*Vr0G%8z0RKDQmtTmayFhZq;V)aq@VCE z2guu;QDx(^kH*~pANa}hE_qK5Zp47UT`ondm_?stuXT#p%*xJy0Dk>XXRDA<>!<Z} zWsum9lYr#%j}8A13Xd3Q?4TocfZci;j~G-ywOW@XH(e1BD2CPwg?KEi*8tNcStvG# zJ_`YBLPHTp1oz$pP$gfC(CYX?Nd?XBu4qoKFhPN<@4He?Ivtl8Z%zWROACU{?@cXy zAHjW00%f9le7=h(w;W9?Jil9T4eB!z!OC(tfm6c|s2{#-8F7Q+kU=nF;)@nOgP~u| z2%z==WQ;WQ_AeR1)$Th3qR{EHqU5t~=Kchc#d-+Gf%v}=Cdhv<h}5@J(2KEZ;mrhw zHkjlGUvrtoXjpue?Bq)h2MS)yVKvd7Q-24n+~TFMGRh&3C)ly4Zh=47(DTB})?cVS zz6Y>Ms1`u20vftV!)bD2&GU-qNxTQh0TJu+JO7!_JlSvM?8+<IYc#ugPxUs)`@#KH z$Efcjr2|K{<N`-bt3Q~3RL!qz?Y~-u%fSadARyQoIndYZHGKm8ZnQXl3$fjii(Q#D zn{bVUT)p|6zP-MjRAQaT)_?7D_z3S!*O?O+7pDx;=<s$G#evQ|ow0$Q_O5WSbTVwH zDv8*S(mnRL20l9KUKk@7tRrj~ToNY1X>(1Bqik(+1X&sC=)VcU0r&q5myz@D$RSK~ z#VSrIjnv&;Gz_Y29lE+Z>mp46x?zLNB8dVQ4^52*lw#uU<}Mblw}+pRd=IfezcCI2 zoDOElne6aaoY!vvaF%~FQ)wMrfYshMP^{3M>yhm>Rz&LiSwucSR*u~<gGcVfqq+P* z(|D1li>&$>Vd88Edrx@((OYxexed9a^QflC%^g2ves;c>MJE=qiP_(@=V?;T(NcKL ze@B0*M+zC4w{uL{jcz#83zoqpsAUiY>+tvAYY{*+iH`op32Ta1e7$C)YAYI4^7?=Y z$gJSxyf+p_Jpx+1<~(t+%l!yIP60M6J;l36i=4UOH=yv$&(P4Ome-*D&a7MCHUxN_ zm1=ie<0epG@>ACy@y}}MScxl?95+WApHR3yU#qb?Vs+hFiPsM)irSZZR=w#?saPEx z@VWRt8xh!H?vX@0BHRx8<rlSEVNCWrt5ug|7mJjUjo6$vRU|uZU-3gy%#2bbF#!+W zHhTes<y4Wv5;eX5mINCsczv^_E=AkP+|9f?&z^tMgm@24|Kt*wT`A(Mai+IsCTEyE z6+8lm<OllrKO8$Wp;f+D4`j;0c~J_w&xOM?JfB;6=7gHt=0}IKxa%BG)?wsK#C3{k z<Q_T~bCmDz9&puIKX7-l>Sn!j`T?7UrNh6UI`5`5^4lKM=o24%xLWS?c3Lr%yX&~# zUd48>Ay3Mt<h!Bt6A@=Bsb~Bj5JPVEUT+bjFa>0_dc%oI!TfSKhN?2IPN}>T#g5W* zKogc8VliAa1>E+A5uBCOuEV`sQ5&;!qFTPB;`!tuhL!PCsa93pNFDVbQ6j5TL;LJF zGJvO=)VWdrsbOeueD-&ZpAvbd`4aZA*_;L=gDu)aJ^0bzhLUFN-({y65T(YE=tVC! z{Tm-3T=Z`UZ3N5sfs4$4R=P?ZJEG?3q)J^*>k+kgQHAb+bRFKETYGMes=(!bAtTvc z^ZbMHIh%^_h5;!6zzKa_1d=Kk`YI$^Bz#W&q*fz$#Ks_!t*AxE)}`P?>(_!@Odx&M zg{M}dYN%i;EL&&s&SxA@{~TL(fJ%(`caKcL!NEY4!+e8nY3?W`2t>>&1N=sSRxK>u z;xL$ve=mw0csTdBR0-|r06cS)i|!sVZi+Vk)|bD4N!?zQduoAw$~WvaO5V%&C)cz> zVQaPTaS&9@rZnbfBWLDqCrUDX6amqk;Yc3GkeZ*rxx9SDxTKdRy4(0IBO@9nW?`L7 z4UnjRSfvJ-I-r*56E_ml+$>)s(5=AI%8ESt<3Fi4<(PK8C~};RT`TK?66L<c4T`Ue z90-9aQ>+v|C)_p~$kKswFTg3K!<_u?4qseC0w_u_=O(k>=K8^AG7vjhMDqn}5{@fi z)Vs!D#l72qhEAksGSb5JDP@^)g>5SP)-`_3HU;oiLA|!3-LLQE7)C8!S1(@zU_+NC zjw@g+3nF6LlXc<g=Mzl!(^HwmArd{)Pfor%=pM+;dQ;`;5(YmUy$7NV6Nwq-i=?Yb zxNHx;mrTrTxg&Ao#u(~&pA)I!V=<LWcmQqavcmDkIT-+TXx125MBE%*R_lSHRzYZz z9e)AK92A9L+C&V5c|?N}TrzDa_!r0g@4?NdnL9rthMn7sy*i+j?c(A`%PI~LQF3Z( zYFym=BORc}t{4uG`SHDeou89K4PX>T#)$M~%zuLwC#dpFmizSzpf!0Zfr0OM=W$4a zgQKjh{C@Q4%fA6hOXp`b-?>#+Ko~R0pSuSu(5XpFOIuq5t`A=zjG3940jl8-VHm6h zsCYazJVbvl%dnpW%HkntuzD2n1kT7%!-(cL*o)@}WG3q`7MQVa=hzB&kmsp{%xM07 zL-|k-Q5+>=R><zH&G;So7?`>CV#w_8V&*l-5fd&L3T}eU6~>ZXu02=`2eVzDTC}u; zPS(`4w^~3b?tQ8Y1ujw?{e^C<#%OV8a-1`;3>@u=4hyr-U?nP%#VmS6M#W26rU2$` zk8rfea#e#GwtDQBTVR=dkO5rNNk0iiF)811pKuQO>43|YwnvhQ?_zaNw?g9zw&#E* zAhG^850Ck5J}|2fZoemJaw;2y|6<Ndj;l*%wv@9&XQ8{NXeQ)Q=9jmoIrg3)@$k** z0Y!pyB$kZ6-$F<_P6yhSxUb0Q=tGxGOCKIKf0ewwNE408cJu(N`qKoW?~QYT6sI}Z zeh-W1=RL$_XFIOWu9PasAtml*4hb23LJPND;vR$U<0RJ&#O@B35V7Drw3kDUmx0SQ z+%ra~`BQHkoxH&$EGz8fzI~xJA>$*L1*M>&ad;<0h8vWaC2}Q|OS6ARhufGAfa^6z zXTW=vD~>{Zq$jg1B`GP8$?Iuf1x8M>H}bmsw2QbwOoj`6OCx`ORLKMfn!XiP%4AXL z+05XL+BJOluLX@gR(J-BgvC<f%-wpfhzb}%Uj9&nn#pBrJJmYNc^rmG^nW{1>;&3r z)$(<6`}ZwsHt`U4K6>RX{ti_;jzJ1M`GTRt-)59x{fuerkSZX|Z%-cBG&O|*nwpyW zgPd8$MjoF$hXf#yn&b4_q0Cv@E#zndOg;LKn<H5r7Q&Vg;k%F8*c^Ksn%4Kd=?tWu z6j3kFx-%2k$*fD#KaF2JKPd8Q^ETH=fafpKl2u#n>*tZU(|q4ls@w)WXF`q|uG{<t zZLBr(LwbaLS+5LR&%b^Ebpf?arE4}PaWvD(cF?TtJTQ~>eSJN5*z|7Y5eHC9sb%lD z#NqzyVT9<rE<#H7xRBGI#nFrm_|PN`)tgar{Jj&jPf(GyOy579x5JGrd|o^M++G@B z;l;ychQ6nSXE^ExK2^G`{@ORbi%ceJP4bQ)>g(S7u-J#+5bXOrzkPhBCz1|J`)p~D z)f}dm-_QGwCX6Z5)PI2v5Vie8$2H_hTvu1V@3o@4M$s~1(6fFkM27^_<>KZu#N{Yb z^O&tG9ZEXMR+&YKN$q>kk)PF(c<vESJUefHTjaM+nm_!iDLQ%1slQaJ7w%%r|B+7Q z+u2kPZ2%@h1mB9_X|`0>!VKQ*V(Ix+MMa~Lz_Tc-ZKIMFm^aO6w-RsoZsWq^(x};A z86OK|kv65b2UIhO_mMwBdhnTH(CQFHd$tgq!>?g+!e?;}A6}4%vTHu#tUA6Lg5Ij2 z)I6CDTCEUPRyv#-GmcRC*)02Sf-wvHpNC=&^mpsarhYzeS3v`A2e0gxMMP#uZVveF z9TI##mQrm}A#+|wr03EtaS^|-hXJR+`@^>cM;yi9mp;eX2RVQy1Sja4KJSp}e*VIa zN$03B<z-_>Nx_jG^2YWOn+KJ!uM7&!>xUJM+OrN$-pAaJbG`SpvX0*c0g~+GM-{zE z(CyK6;8myNDqs|ut5^;u%QrrcZQbOJiR^^qNBGHGTjhYhUVWr?z7wFgTDiGA2tVK` zlIX~bfP{>U3_lUAUyGa~29oWVReouAr3DggVRc#lbj9}v0iHvwQHcgibiA&j9eNdD zbT)+Zl<i(OAoQo}w^nj7aZ8!GC{D)VV`L^ZO3#<rKljNacP}uhqJW}__`BP=CpdD; zfHzHR=nc?odIn$HjHegtmJB;AUA~=i)(Y-Vpq%fCs;h<p?~%Gx2Z^0jik98)AK-(A zn_?zh^0PZ{i!SM4UMM<ho=~!b>mz^BwUzqPPut1^`ppQbVbOGykSMoLi8l5c(SK)5 zn9=sW%L6Rc07FmATzl+a*w6P_fi$XEB)Pp<d(;@p0H~$llD!&7jg~2yw#mcUFgJ`W zypWyY(YeHJLAjXJ5S$)Azgxc$rB6&D%_lSg0v6yeIw&+l{zkPRnpjWwv?IF%?89bb z4{zf=&H)37pxQ?u`qQu;Wp|Dk{&quIEoK3#Zao{A8<~wDLQN5tC3C4(e6tun6_F+v zC6fE}Xe_|Thg`A2Ene!Cdw`7z^-5`WwUo@BP1w#?MP~WgYds2B=?{T5lIUG_9%?ct zlek{)HJYzRtgy8ivtB<UV=KP=8^IwY_pQ+NZS;Vg%LC~!_ln{#Tep0&VWPw+AXih( z*qdU8Z{Ke!$}eu39Faj!>r)&$3G^7Uj%(5nXT{Hy_{mq6thP$2)6cv0&e)EOxGsRZ zE-AUtVP&D)dfdU<6MWM%K`-J!>3pU?5;%XhTBq?eN7d*k%IkM?iZ*;>a(`v!i9z+! zfUCxlP_Le()8_mxl*y2!mYrWDnb688{P1DDx^mXKo~*~<zEzMdW%5e2^I|14xVpbz zI_*+VrWn_e$5{;(*7Bzh=%-Eoj+s|rEi*+W`ShvQI$~O2D&TZ|`x`)us<15NFr3Il z_L*{^Uv{$VjTB)|eVm_x^Eh5v1n6Wv*;}-?L!*r5&iy1|Ee(0=D`~HYEThoNXbCy? ztg>0K!y{v_svZ+?@$hPa%7sdUwmEg*<n6ufl<>e`NF3cG8POg|OKa+0B2_t2p?!QP zT0%bx9v&7c5@?uNKQ?*WXSLZlLsQctx{Ww)82tSsOpRB%T6zfKwFoNTMlobEMRBo@ z3BdE4VSq@?i~~D9BjDkgUj14oH9O!PiLlpM9>1G^41QeeCIRw`s2X(0dM1|x@aQMq zi>Yxu(pJOV*%3F5q9HWJAR@BDC>x!S_$n{`NAuIxZK@S^r=qcWIY+IjxhCwNVd9Xj zQqSD(wf^|Y)+%PI&{xqQyqlI7Lw!Kn-dISSm{_*|CGV=dZ7+r(l^TUb|8y++tEI$T z`JJk-VI)8}e|S`b>Ry(XoyELv1@fZ!JJlOGoOw`tqr$s?CB5v*dRiOEq!@tzGB-DO zChPKYWj5|99)$lvI09@N3wWUbe_j402?>cbkY)k9-Ql5K{-pH(P1p>;q-G82oO1H= zz^^ojcpRqonda_#NB~uwKrKns$NYN{1Do+y-(wqgP!TUZN(8v92nbexUGqRbR*+~} zw}`J$`1b@VTVD;^1<a(iV=QrMiI&v4r|}MJ-J=AG$=b%oziFTgFT<+S<w$M(jd{tF z2BfuLb+eZe0Lzr}#tZ_&Mr2m4RDRjp5?YkM46Kc2pfHYBJn-t07A0?2!Z;!jbyHWx z=wrV;jtC)q!V}(4o*anz0D>4UJCN_G8%6k_=3$|;3nN8RAGjO>)AoJ#lS>Y2-q;Ve zMHaD}<ao`FqFR(xyEJOQ(HtGx133Yv;8X9%%N5C@6b_t_SakO5l|nj{9%5h>!hMV< zSCYIF!1y62&BKT1o4S|ZYL`TVsr@AV8|WJ^hPmv3%+97#qvFg-3V8Qti2#saZ`{*V zp*J-%+BQIr!=uuv{cshh<Z#?yZC7ZbE!BjpC`MBIse>6LByk{AaJ_XXsotuDVmMj` z;4-%w)Zo+HxMnmsx_jF2)*J|7ozBc#gblq{FbX)Wm-Cvdr1D4rVH6a^oIvfT5vWrb z@7ppR_iF@o^FXhT>^@!rFGT4JWTXS6MM0pT)bk1jN@Tptc;&ujfsf!!Xs=<FF`|K% z&hdSe6Ny145VhwTF;&ZC4M9wQ6lGzNs?s=j<&u@!6BzPh>Gy2z!S@&bs6Bj{<{c{s z6{;yFmQDf&$|p)~vxeu5sGBywt1c4gNLvOGHslV5|1=)tBx(%PrE!Vf)CZAMP?*<h z1fQ}zx}&&$cbOQ|g^33iB1_TK(W6v-XpeDHm$(1MgZFc`NnNjfm?C<9l$zPfp3Z_6 zC7aOrn7cAQNCib62Vzzh#nD#I$=**=Ws^rOp<z-JiIQ57PHh7%`ra=DYfJg{0<|Zs z-P{Upu6;*VZKBe!ze|9JUhF0vM4l7yk<y|JrAO=Md{OfVS%%9159^<lAI}Aqohcme zeLl^Y-y^8_=D}t<hAGRFM`Ee{ereiY4V5qbz7evbN37(hOD_km5gyPkRt#4edu2Rz zco_*uPh-|Prb;pXlHBO&J`mWA>^;e1z#oy8L%`NahMX$Fr?`5vcc1M%U=Q1vVV8=n zETm?5DfC@#_|)M`=fxG?jIa_Wy%{-)EYu#)KPlE#O2&#W4o|7Ee5V!@{tz-SiRo)R z&aRhQ*rJVeN&BMqNY&5JO%A6X7fQ)Ldmyqu`nU(dd_rYxfVB%D2BmiMj_Gh(HKhZC zW9Tf6c~_8g)PvDwP4}%=5Q)^)Fy}Ody0TRc^Zw7P&ueva=ep);2pi~|==~(~(f*c= zT`3&w{gkha+56v+d{&Rvw=s05#m*?eG7dhil!V8^zb2i(i+1CR;Vz>?*<@T|JdB4K zLkOv!?5HAk*sbF}!|HSj@)4Yq?3ZkoG|?NP_x>^iDx1Kxb*Tz84Y5pPsGW#%IYh?7 zv7gE+tR6*vla5F2DPwIoRuMo#ve$gEr7w#L+}o#!5*8~5n6}SHFGen@Ow>#nx=F$k z)1Bo4Ii#`ZjI?j-2*hPkQ5Xsn0~6y^UjzoWBIzdU%Az7QM0MwOLCW#Hj<gkjl^RvO z5%xmF7t{Z`<ZWu5#9vui>f%N5X1c<OV((YEw?#k6-dyEtTdi;IoS)}ThDj1s=P%`O ze$EmbBU!5H?h0L^G{zVY?0>YWs!Ci>f9o<95|_RsXNz4^I)w*Hkk`<moAvI|+(3Hs zrVK}FI3j|HX^i=5y<aLuWCI=V=(yI6lXX=D3oLwhi>R4GdX@FMDAM=ng{^X!pj<yG z{s9*s$yO|+b<UI*HBtwqt{$ietRo<zVOB+92(8vGNK{2*2qh@pDt|YFr&{9BkSKm( zZ|~4>pe|=!r(5RA?0#HZ{+mDHv%J1SN(<UW9pMuFD3>KwKzWRwC5G`kV(p9YhTq9R zhqz4Vv6i0ZythdGgq3d_%j+66$13(etzOrIQL&^gqjdzf@Z!sK(FVI{k@0P`nc-Lq zXYwqZq~ZE$-+WG-Vmtt9o*$`k7$_VyGh3qF7_Mj!%n$WsJfqgO-LDZ=-%Ar~I+APl zmHXI{8zEX&uMvmTLpq|I;o$m76QX2TTeekk<0x=I2>fA*;<D1+2wG~|7~<@7h2}ON zBZFj6ffw;I*2DT7dUt5XQ#zgoLKy?@NRd&=C6Xsi@rO#GHF7>J4T8OmX&0?u|BR3o zy0D~;q~$SIT^S`9j<vjC(Xbd6a_w&!gYZabCN1c))G=_>g;uKCeD6^Or&D&(6ux^) zwyuw6@))5X?N{i-rJ^=2?><s^DN^JRiniuT%g4MM^i7u2JTDoj^uv8<g%CD#2ecVz zR)diOoyXi_n`(=a8$@2ilOW@#bFmhtht@&~Qq6UL<oV3^&;`W91*1#T(IBcdXxV^N zd02}2dU&HXz|MPPZ!|eJ-KTlY>pw&<mC*O^liVFx_P2Rq6g;_`-0h2x%+dVhx8hA| zkY(G7;1Oy>9y;i6oLDr>wLh<7;j<GiN*C1ZHG*9eq!Y*m+QM;eMX)UY>;mzel{=Iy zRk1WCUu9XgUCK0Joh7Z^pyYY5EPo!3Z^_~trvN*y$|<J`6Wb39aE;m5c~@Xhnt(9o z44T!m(T6D>oaqq5UcE_;n?SE7J9MEVO;D8{EF_SZWeDAU2a6w3l`U&t(zmv5GEI@O zY`T+0W$N+WXXw|r>t`&;b#pAXx|1qeZZ~Ej?Q58r&kC@_ni?h?oBdFKr?m>-n6vl} zQ@iG6`hLHSbXhlg(N2#0ceObRphL8{Gz00L4Lxq%{W&js(iM*8Qb0w0+w1cPN>fhr z&C&tLv1FUgUWUL;ccWX1yJj$5M`MhU-cuT>9nuK@XY(lM!O(P9%XqG$z|S&+IqWnD z$T^kO()|UAIKVYlI1xV-3?HW|tsSaq)6waK5#)~br6atB*OF7E2Nt3K^;!Q+Y-kMM z{u0~HqIFShMFjlI`AtC&znT6<lmupY1FMNUc_>F;Yn?l>HfDyil#xEA2<ljBVqp5H z>UWL)uI7;H&Zqe&H1W!cZ&M;$Vh0x5k>H8}7mkBc)5MLh6kH#R6ugGx*tjk<S}qJ! z+>Q+S>!L#&(b$?s^{XpY?!f}cZ|X|Ss@|Aoa!GOy^6#ml!2y%TvGpRJ3l9B_*+B`@ ztP`SH=`R<agPruQ(jS(#omDJ*7&<f|?s0pJ6y~x*_zjs^r4Rd2Sd?O|o)7yKGaSek z0j70C@UAR(7P=y7dijR^0(+Spp{|co_TfaSz1(m531RpZ%||j?ApWq5GEEmGnwjqL zC^%(xxMX?GZVk!?tAw<W16BAHvP~OrCd(t~Ii6@Y@_QdVcV)cD=5%Wo>|>NM9`;?? zlr*z`xs>Y{YS2Q^ayfXJ0Njre<=mhY&N0@k9zFjGF@-`oL|tt(;$4=i0+VYImW?Hb zeyJL9Gw-g>(Y3`~pccMyvGdqf%^2a#d?Ak}fnKdnp5~+3eDDZkgM8S$%hG@-ESuVj z+_z9zD1I5)<cENj!?=)Z5h@$<Rwk2f`H1}syKKP{vWm}-W#1tOZ?Qm`ats2g<}c!+ z7}9YW<9`^|@Zza12_eHmOzx{O?6GRLqF!t2R1TR@rTKtSss2D#F<RZi!QZVO#YN%1 z>KKVyX5ZM7-`Yig#RN{|9yw0l$?3i97$Hq}`Jx#X3cEBqa@|0iyfgzXzN#z|Ybfuu z^gXN`f)xxCn}Ib#Qvhql>Ozxhv=cd;;HX6P<rRCE2>;^7na0Yy7jj3N7HISCAibni z4voMxjlh=Cue-+UcP*W*6#UaJ3i6}OTty3e7^wDk_2xDR!z5N$Us2Ova@k7Nb|C9G zX82^dPku2k{IJ>-u=_`SKBA^(OSs#gZ$g2?<=DOUW7jkG7cQ-0pIJc!;MaFSGLniP JD#eY1{{!|vD763p literal 0 HcmV?d00001 diff --git a/Sda2/sda2.xml b/Sda2/sda2.xml index 9a2d65029..f958acfa1 100644 --- a/Sda2/sda2.xml +++ b/Sda2/sda2.xml @@ -25,8 +25,8 @@ </info> <chapter xml:id="ldap"> - <title><xi:include href="../acronyms.xml" - xpointer="element(glo_LDAP)"/></title> + <title><xi:include href="../acronyms.xml" xpointer="element(glo_LDAP)"/> + and <xi:include href="../acronyms.xml" xpointer="glo_Jdbc"/></title> <section xml:id="ldapIntro"> <title>Getting started with <xi:include href="../acronyms.xml" @@ -643,6 +643,72 @@ tty:x:5: </qandadiv> </qandaset> </section> + + <section xml:id="transactionsInJdbc"> + <title>Transactions in <xi:include href="../acronyms.xml" + xpointer="glo_Jdbc"/></title> + + <para>You may review some remarks on SQL standard isolation level + definitions:</para> + + <itemizedlist> + <listitem> + <para>Javadoc:</para> + + <itemizedlist> + <listitem> + <para><link + xlink:href="http://docs.oracle.com/javase/8/docs/api/java/sql/Connection.html#TRANSACTION_READ_UNCOMMITTED">TRANSACTION_READ_UNCOMMITTED</link></para> + </listitem> + + <listitem> + <para><link + xlink:href="http://docs.oracle.com/javase/8/docs/api/java/sql/Connection.html#TRANSACTION_READ_COMMITTED">TRANSACTION_READ_COMMITTED</link></para> + </listitem> + + <listitem> + <para><link + xlink:href="http://docs.oracle.com/javase/8/docs/api/java/sql/Connection.html#TRANSACTION_REPEATABLE_READ">TRANSACTION_READ_REPEATABLE_READ</link></para> + </listitem> + + <listitem> + <para><link + xlink:href="http://docs.oracle.com/javase/8/docs/api/java/sql/Connection.html#TRANSACTION_SERIALIZABLE">TRANSACTION_READ_SERIALIZABLE</link></para> + </listitem> + </itemizedlist> + </listitem> + + <listitem> + <para><link + xlink:href="http://www.oracle.com/technetwork/issue-archive/2005/05-nov/o65asktom-082389.html">On + Transaction Isolation Levels (Oracle)</link></para> + </listitem> + + <listitem> + <para><link + xlink:href="http://technet.microsoft.com/en-us/library/ms378149(v=sql.110).aspx">Understanding + Isolation Levels (Microsoft)</link></para> + </listitem> + </itemizedlist> + + <qandaset defaultlabel="qanda" xml:id="qandaJdbcIsolation"> + <title>Accounts and balances</title> + + <qandadiv> + <qandaentry> + <question> + <para>Consider the following simple schema of accounts keeping + customer balances:</para> + + <programlisting language="none">CREATE TABLE Account ( + number INT NOT NULL PRIMARY KEY + ,balance INT NOT NULL +)</programlisting> + </question> + </qandaentry> + </qandadiv> + </qandaset> + </section> </chapter> <chapter xml:id="jpa"> -- GitLab