From 78e301f1a6a27515ab02429dc311ef4bf2a139ee Mon Sep 17 00:00:00 2001 From: Marco Miozzo Date: Wed, 11 Jul 2012 13:01:37 +0200 Subject: [PATCH] Update LENA documentation with Ctrl and Ref signaling part --- src/lte/doc/Makefile | 4 +- .../source/figures/lte-phy-interference.pdf | Bin 25328 -> 26019 bytes .../source/figures/lte-phy-interference.png | Bin 59310 -> 59528 bytes .../source/figures/lte-subframe-structure.dia | Bin 0 -> 2049 bytes src/lte/doc/source/lte-design.rst | 107 +++++++++--------- src/lte/doc/source/lte-references.rst | 9 ++ src/lte/doc/source/lte-testing.rst | 10 +- src/lte/doc/source/lte-user.rst | 10 ++ 8 files changed, 84 insertions(+), 56 deletions(-) create mode 100644 src/lte/doc/source/figures/lte-subframe-structure.dia diff --git a/src/lte/doc/Makefile b/src/lte/doc/Makefile index 981e22123..8d4397e7d 100644 --- a/src/lte/doc/Makefile +++ b/src/lte/doc/Makefile @@ -21,7 +21,8 @@ IMAGES_DIA = \ $(FIGURES)/lte-enb-architecture.dia \ $(FIGURES)/lte-epc-e2e-data-protocol-stack.dia \ $(FIGURES)/lte-interference-test-scenario.dia \ - $(FIGURES)/lte-ue-architecture.dia + $(FIGURES)/lte-ue-architecture.dia \ + $(FIGURES)/lte-subframe-structure.dia # specify eps figures from which .png and .pdf figures need to be built @@ -69,6 +70,7 @@ $(FIGURES)/lte-rlc-data-txon-ul.pdf_width = 10cm $(FIGURES)/lte-rlc-data-retx-ul.pdf_width = 10cm $(FIGURES)/lte-phy-interference.pdf_width = 12cm $(FIGURES)/auvmobility-classes.pdf_width = 10cm +$(FIGURES)/lte-subframe-structure.pdf_width = 2in IMAGES_SEQDIAG = \ diff --git a/src/lte/doc/source/figures/lte-phy-interference.pdf b/src/lte/doc/source/figures/lte-phy-interference.pdf index d714ef585e577968d3ccac7fd76e5095afcef53d..8bdf764824fcbcdbcff80dfd8817712b2e090d64 100644 GIT binary patch delta 808 zcmaiyO=uHA6vw-XQJJmSK(rcr7=(zD!p_WQ_Jf8%K6W9t*pfylw!v(}w8q-3Y*rf- zDTTHaPYrWWK~PXcJPGMR1odJ;=*64$=0UuOsCe-rxJe2&>A|_Y_kQo=Kl7L$o5G_l zVf}(J9Ox@QTfe_`{vA6Q`Vh!2g+BG+_l=E>=RLpbcdu?feYs?w2;WOD*SELxUvGX1 zM_+ud22LjZEAGR`L+8RhLu;pQ)gLgwA``w}cvb%$G;*wJUvo;V3gdAgO^i-oW+k`f zXXj<8Lj-dmk&wn5yEM*RI0>b(j0p=K1JVeq%(|DLCf5g7_%YDSj~3tdPo2)Q2{=-| z&LBZZmojX+Y*nWC_u>Hei6K5HtRBXwHCIZd?3y={zY!uCAek6q+)kJziXbLC>foPz zQ(ellnk!}Jtyz|8n{?Y`8&Ti413rxSaq!cJF&D)-f$#;<6lDHdObD^YA8~D;7p(T( z7AOw}3m&qAhx}e(2hTK~gvhX<@Q)X5WUZUYM3(okn5yhyREu@9n5H&$7kA$Z zQQX{Vr!dv@?q))<)-6IPk#{lIvC3DN1LAQgjhAmQh&3SPY}OUCVK64x0glQba%`VvL&L EF96%se*gdg delta 549 zcmaJ;ze~el5amlN!be+>Ag<@&AP(P;d`VL%1)CVH4oWKsmV*6}il8mT48_G&oRkA6 zLBv6D5Ts7-PA>ixZh~_`FfAQ41#fxx-o1Am+}#`bdLr-Xk2fj7J2PG6f?0XPL8PL}v7JV&Ju2i==^`PDEs&FZRWp+#m{D4M9x2 zYOG^Aq2sp}px<037T!0#SsVDUpaXQ&NTq~ z*r${w;yzQVVfOUzRii2(0wG;q-wMtbGMUW{`s8y+gf(Qa3QJfG03Wh;Rf`ZZ(6~0P~ zG8iX7nGp#>fJ7~zQU*l`5FjW*fH21}BqX`}4cO|}_WS$)_rKSteZ-J=I_JE5uf5jV z=ZD>P+vd(*JR3ofxjVLh}$L zdcbcN?`*iWe&LS;y>{e{wY!z_UZ#AKf31J>+5LM}RCczWTXZF=@Vx%^%J?~V-D>Zj z&6cRl)Z1R!^uQs^q{PH(s~qZJR4x$q(qG=C*`~U@Ho5jm z)xE+RvzlJI<3|UMx-?8S|J@b8`tlUdXfDzT|qn{ z;nZIb#@vH*b9QxoBfMvof?m>o*VG|X$M+f4%kkYG-)r;o)Xh|N((QM4`AI_0yR_3V z7Vucp1GA!@HeabRvbd14Jl0bgpoT%aI)tnPjlSsC=ns-#&R438QK=uC-h4V;0y68b zoWtYsR`=44ak$T2SC zA-_fw==&78bd0v}G1F8YY*~7B=U09!uRP;2Na}nTKh>wSbc@DoO^kAdu0}-=nJjwS+k4!cUb8Z)>|k+674BkCvG{2C^l@@4 z)62t;XiZFkr{%9##T05Eb!~o3t9Or3X|qeo@V2P3Tl)>-L}{W8 zA`Bv!HLi8{{dDf{5wUa|GJ>9meqYtjkCBp?Ri)Cec9g^|po=Oc*6CHkNXstLf%>jdQUP!DVL^X74&&J}u{03h)-o9B&MJhUbYEE@ zcl}}337+!lzLP`SPvM<2ONRX>D{}U&w3&ccu;s>dkfkxJveLQAX;qSeIk&|9lJZ>L z1*Cz1fQy0xu69KK5`HPgm&wbjz+>cD6|MQ%HU_kA5%YTX^f0ZMNi5m2GGS?!eUY=D zEN4`2-P^^VjRbVed%sX%u}<|vpl3* z7DT?<%8{9l6&kv@4bJAi*zbHw>UbRuX!kAH?H3lb4dp~lo#ST@xn$9CUSd%rp`dNg z1Ml9pQvGuYf{U4I#@taR34h<_dJW0@m;OAzH2%#ouIT{tvM@$aAYJ2U(YU2YWZz_) zA-`q8zR>P@nHbPb!M%NIGNh#|HvEODJLrh*VpL$uJA~`7wEwWmp(C$rxr%T38?8lDEmFerC^4LZz%P}WmMaEdgBD)Ps6O!zX zYhZt)OcFXIvy^kT9pmjeGFmcRKnbyUm&0bx!-aAqD@kiBU%vBiX}Hg0dQ%3@V0;>S zvnse_m}U~0DVQKF;gdR=MQtP4&r$jr?00arS+mn_vzsp7UKZ>91G=NPR)JQxZpPk1;uuzrZNab3jNt5V5; z;QJwYg_oo@p2vu$@FM56%CjoR^6AV;R?eVIMnE>Tz%%EOXr*+GD@fn`=E=hywS?NB zkZwb}$k3A_J)_XbSN$fDr+#WVtPxb$TJfrrB0u;>dnrS@$5VY!pQdpj&T)e3&yj{c z6*iByy^|}mD=Z###I3)oJfWT`PnKibax|qWqc^vxN7nb7NP3SFl5lTnu91C`n0v-S zuPMemBVV2H;~KJTg6&&Ze6u0H{T*dz6_4Y|8(n-Jq*I+iQvwgp5E9Oa#vsLiE4 zr6RT?Msm(L_1rvkWf-<`8T}IP*Z5BcCF848_ZIJroOvG>sKMY_O$y5=f#DxF#?kY{ zy(?|o_QanscwVnK)t6gAkrIAAX?3cK*BK!89FrSK%-)V-Bvx~8>>ZmZ>1IeIKDq`< zIzvPg`SUlpx#OE`DE8M}krT9e*E&zSspZrh9FiXTUX{oWAI8jR$-Y^ddO=)_VDs^; z9KV_P1i{X>vF4O@sxXhy8`&uQByM;ojtRdzo{Z7?8pW;b%^8M>?zu9i(&?1V$^cv0 zq-{^RL3_vbGS|+^xrAa^A~GPnn}XPQ&i)cbu>TzAt~M(7)Kt3sF+TWJY-opQ?p&&U){8>YQax-f#2!p>nEF(H)fVh*r*@yUQd1V3TJxv&q(Khh-UMHl8bu! zp$+9%IQs3%XJ9B%S4v2Zhp z+f`jSP&82FX}~}5>Ir&KPqeI`B`siCjBe6>DOL-$y%%L<0Ep)z;Fq3L;-a*)!!%dP z^6r_5=hEe$0_>`10j}(&-F+oL^Gg0B`ZGbQy-&{hQG+dx-B8|`91F)Z7iGmwL8$0& zZ>PUFb}D}wha7Jr<9`mYvkB?QUJ_lQU7`CVHRt$XpMxz4&xwNXHL)5X>nEh_e?>0I zNK3<0b{EHeuX$F?+96G+iEyF4@?|306~!Hlzmi+@%D)m3_DQo>8zBO>%>fs4(-pYy zg>jV+V3%EAU5R>jXe2P#<)XFv%`8Egf1%Gl402MWwC?Wp7w~lAM$d88EWT+r1#t(g zRdQ_#td#YJ6ZbjQ-%3jp{8B5EZCfUl0>%YQ?JN&ZmGS=lXWAZ^l=(_7Jmtnzj$7NL z5T3*A+Riq+)H;qdf#nrH5sIZhAi4R4A{x*0j@HO};Ia!Fa7bF3YZi8hhoy+$jn(zM z6CGL~VzKy=K|;#4!Evod%Y)@R0Hy=n&6Y*l14<_;?%+wPtX^)?OKVhA04~{vVNUbk z!icAME$SE^AL;As>%X$nzI2d_h4T>b_+8pjWq0L>x}L^}N_$z9HgD+}4f^BWOJ}4? zwZ>JU>#w=*g!{yeKhi8cGxGM?*wLd${VF}x{ZKW>`jxpnC!~yb{s;Hs{CC~9ghyPkc~yU1X0SmA>(7VQr;aIEI5pbNUny? zH7q}Q&OJG9x7_re{5}9Fs5D%c5DBVz!@=$-R2~|r!s$jEb_pk%4(93@##L60);ub^ z0q+A%EH@j~!Tzf%q_(oYWvntUFRuWem5&a5uL_YNM!L0?Ek_#%&x>j3WA?Jt;fYz> z&~-;pg)8%J%PQ~5cjelXF;}W0CQ1$Xi8j?{r|{ZES?TbMFwDnH5_TQQYibgE)r*@R zkhmD>n?16OhY9(C)k^}}VNg5EdyZSpu-9+BDleWmdx9QUkJH@xzW(~7rm?#z!zI5l zXIlr$Pu$Rph;iucE%Lbh?d>L5AY9f2GwVAu{z7YYEMiA+U)!zCnWt1N)^f?1H^ag^ z{)h)hbjwe^)K#1*t4#i=7KABe9qN^*yiv}{SKW{r+bj#6d{W%FpUbFs9Z70v8xMC^ z%~_bvk(D0^86x|__4{h7QUk#(5I@1M#0{dFSsYaA)AvT3l|$+ z6>Ijgh-D3O6F6f@{zA*QLCsF{e@zTvVtIvfWK&l#=B1EdV+fFd*^^swQq@d$bJ;s_ zII(}SdZIejPAWf(&KyB8XFBL=q3uTh8Mjw1_;C(fyfAb_lRHK0t(J8`+ejgmV{cY% zf6ptvEVp9lht4XYH)f_AZ(M8 zWjQ_SZnMl}iQnG_zN737pA47J%_W-LTBnJzIHuM*=h-2{mu_ z(YHLSu~Mx8h)bKf0ym~*Dc5=~`z&^{#b#*IW|idV?vK70ai5No40?t`N8aEa_Qbw( z*ED)Sj}-H=@9%&nYPq{Vn_eEaN&^Dw~JRz6bkL0ZG?;SlYa8P@s{sV z1Qi*Yh}kv^!anuI($kfGO#YDDNs(2WJk^hJUHqOTdS4+&KG}{#kNkkKTJ2tE+?rc~ zRNVUaGkm|1{ac7^6P21;B^Wz7Icb-`8SEIJNHWRhRSXL)NFJ={4t`K`F%?r$lkINK zM(^l@6HifLcK&nM1q2Sp(fMA(r&|qiHFa-9MFi^g)G`5?HEC%d#Su^^Lar~$=150` zYvShpJ4H5|!^m8G!{vSTHuXR(pOv{YubLITCzjsVL{FZ?PyxYwNVV;I80!$!XT;9^ z2rodSvwFUfZJQ`e48V?R>0Vkukds$nX%G`vl*$CQG#NdfKGyL@H2z?+7^9tCk=n_Z zJ`A?PuEh=dTRlfE+AmRGY7si5^y^n5O_&GD`WXx0x__ejsumMhzR~08i(h#!-!J^0 z=^%%1g=#D#!e5An>u+Y>+k#b1n7e(MlRB@+tw2lo7h0~`-tUL8Rwr>ict`WTNMSAY zEH0%~he$`=vI#s!h}5PiyP|k7w?c<$GbY-ND-dyxb7hi#JO@vpJM=aPJjpD{(uO_# zX=C^}nC$UjbN2X`CQt6Cr4>;Mcp8Vqm69x;hTDLfT!;Q9mtob0*A*JPc2*yxUe}zz zc%XT(lwU{27iD7M9@`Bvlmc&I4{zI9XUsY9>%rXZ2^`VueJoO4YWJ}wjbBZ4X@1%- z^?c{N9c?|rC7badtVWsx6J((nAJTxtK++n>syaEaM9|ei;>t<54obFjc3Rq)`J;vb zmfu+PkCzQ#)H>>v$~`Ex`JaVmM&hH&KJTB+x=h*-+oa($(EKc4*IFcLVaV|Z8nY^y zqj{BCH;(h5Hm4CH_pvD4M$P`;V5NmswC}mFDAZh#zB?Rdr#cZnpBB>`I#NwoPJ&Jt0y=^ z#}jO{f8e=i3v4*`%^NqK7VnfPsI`?M_wqgBWCww*2h?rNU*;y2hx-Krd3V0Z9n|4}Z< z&#l6nYg~qxw3=3Pbp^HLih;E3vsGVg(M^}(e#J+Rbgzn8T8Y>EMakyxo=+i5MSJgx|1mR}*$5k!gDTN`8-J#~9 zCnk&n#nr}M9--A%O0oFSs7uQlYhmGreb?B26M(d@NkXz_rd+nrvzV$m>n>c!E*i-| zq=o|=x$FsVpqMoI!rq2M?$EN<_UuDXaoH#^{kC$KEKW{IGBPJVOpokCBv-|Rbg4jG zW0t-L*3c(kAgjNrHd|`mN-lJ_^Sns1y?4pTz&RC)hzt2z8oKEuM@&5qK{gkv5>*OH ztM^nFn!m;7HTCVc_1fc9U!0Z}V(WF?!4;@YjB@w6*GA2jv+sx_TMu5uS5LI7e9Mk` zAA}4O;AYbY;!YhyPCzAbD@(8+&jEPv-at;WR@Y086*9lMDXPRp@4$qTZllAl751}U zmU39Q2XF*JjLEJ5Bi-m4N$m~79DROhiEd-~Wu19BE^B;Gh4$Y-zdw5=vgC%Shahd< zX2yrmvL$dJW?fq_BP{P5KHoVsXg{7XNMaV3q_S^Q(!cs?*`I7IXSui;>jlCsxp9KB`#~q zN!(GT&94154-9p!(7?J`T{-7bF9$b!(A+7@Cd_8w42;$tulP#9|NGZ0x?M$(Ih#fm z(vU4k^hGgLu@_OTq%E(>$C6$%%`uX>3_ws`WI0u=oj6;h>9$mSJxuRC zVNNhHq<;1$O{MDwp(U=eQ*0=s@V|5AMj~O3x84tDsfGN08-vtq;UOl7o%2et$5|&- zdoeHwN-kR%(gm#gW<#lfHA#?5!aO4)r;hsy>9CUS&9zZc(ODp}*FSjiqg>1KQC`Ow zsYFE*IL(vKf0sD=l0Ufs5&|sB16pCZR|sfshR4&H_xDQE?AUau zl#)>OX~vI6ffc$cOQ#7u$cF!8A#28SGs(Qox$iS@TvZfI+g~bUVajDXOwVYg%Uh>u zax~h)cmGx=%fyZ%$c;m0{Le9G5_CFpBjLQ8|3a~v{feA4h%8*q&yeZ=f>M$!p9VxF zY}?!1%t}#A#>5PSo%*>Hg4)N*-0ZzhP6}l3t4=+xOtBE+AYUUx-&?(nC(=)s7NX8jnCnIt|;K+#g_J)aK7|mEf zj5aJCf8*C+NT<{7F(bo_8Jo=b;WC%`o_&ng(OL;FRTdK3TTyM6ipRkrH{6xig)Q?a z4V|devK|);vT5s+>}X>Xe7f8`LMx@N=N79f*mA&H{Q#Dps%3pFzRR5Lx@M7ngjR16 z`e~ti3Vu%X7@kN8%cGWRo@#iKODf>D@Vm&&fx5`8f&yLvNmzuBmgfR@KEdE-;|6xy z{Qa`JhEmVtpmJeBKX@*QP-x>zB5MEr)mNJXWsZ#nr45WBLFs4! zA$krZg-SyW#3IA~Y)cUH#j#hSR4rMpQlN7})a${7_=h1fJs$%iFDQWG(|C#_ZQ*qI z*F`qyYn-k5WJ(Y;OaSg{)P zoomr}*uYT|WD^LIG*%UZ{E&e!?Z-*0D%><*k7m~7lWaT16CxwsB095;Dh%m6bKPd7 zRuJ5Jej^J(f-_)EPd%Qtp~qxbQ{GWll3gl`+d?Iie+Ida^{$35eDE345@;3?q}N#5 zA34)9VcX`GPnBCuE{%9*af77zF`-@oX5`HntoKOacgpOrSY27HY*Gmc>z}-ZAS>^B z#ryJ)*d&-TGD*yg7&4U@`9`(AZ6 zLPW&NeM}OTwX~M3?q1-dgsd|LOm za$3|GrEN$R_BG}4fV$xUdt?epE+ux6QMpOEj@Z#}!}9UQN)29@@vk<9JO&~=Jx-Pm z;wJm6xfK|x@hQCNJiSw(dOND$oa4Ra>f#wl`$D)S;%3G!N{dnbuvKNJ|6)%cM_bax zlZEE_aMlcKs310NMIS4y>h|U=@@0_c$WO6ABIH3+Wh^-;x$?I_G8L1!UquAf={nj+ZOvNXaLiS zv$~(GR|?#H0{Bf%cy_69b!NW}vI@oOM|E z28Hnob4I(B`6I}&3*fjD;X`wfu$wTJ$nIDj&p#^2%Ky2?W9u_Wl{=?W<%gGr%YWnv zS!H`M*J4zs-DT2vDQYQ-+F5=-WEfE4pX+nr%mE~R}3^+KqXR(TT5hnK(@~$w2f->bUX{F(yqf$lb{QvnBQ3$$8u*)g5p);!U~0W+hCK^1|_RN z&qZAi7Jr97m%-7iqo@%|uuq#c9-rnu&Pohea83!)xMCQLu+Mm)5i5%X7`c@(lnznW zc^p<@-RU7GC#N`vB5WpaC0GU?Ink)X5e9c~Hq)dv5Q^|8sc`|NagKOSE2ZC?GfQ_h z{Uk6GaVXO2dne)$hy3%3M59D>@dYj&woqK)itZ|^as*VG*|F3O$h zf}v&_p5sAg?Nb#%-b=-{<=^&}j&cW>y0Mw|*)88*4K&9d$;^~^q^>Rx1{)PJ5C@`A za80^%c4_GFn=(IZ_16i0r4y(ykOJ6T%lct)@lK=iTKee(0gW_MSrEr%>|!$f5*i-r z+V-2%w7HkZyVYX=@U8&Bt9z-cIwMl!j>*_s$WuC?bs-gQx{L?l&_`tSh`RUKewB=|g(!?0r?P z!_Arf2nnl0$FBVjNq2@nB`N#A%5kaR!IQFg^!}q9r~LlpYZgTl#9c%rl z@XR30S;KG1p2ZkbQVOe3oc);_UDlW_1uY8CS@w=HCK+VOuYe{XWRMcH+IF4UsW0+A zyVlwJht7JFs5dI?AJFK!ZjS3wyQNormp_(nzX;@r4U?{|Yr14g z=u&XFLx{hshMRrw>lrdQ0GqWzRyR`#R&G zd7yXfqEt9zPG=smpuVEM&OK@D_>!)#qT`mK&O(S+(ffE`Zr#u_JIYdVSR;bU7bW`s z2-P2d%cy*y(KF0*kNoieI1eHJKdzOtz|(S63kg$O4zESnM(cGK*6{m+HUlqSxes#& zhQ!MZYBwm8OcEv*%z{?|jhAX6;&(kDRe+(BuZ?J+VXaZ1sC&@Q)|Ov&mg}Bbg|Jo7 zFS}8O%d}|$z$I^c9y!w$^yrhWEE<(<^myf`o_!hN-`snpsAwTNpfw!VcY|&;Q#Kij zWep#`54l7-0`*cZ)EP^-%q(WERe7+dq$|#e8<|fLig+2(RpO?M>?-jbH|6y4+jL(K zvW=4y9@UNmm*_RNNtKb*sc2Q7?o4P~bgt@1-h*`JkzAL)mPII8JkUzz5{{BE<)euO z{2l1OOI_BC`VL}JH1AVI=>%yfkZt5{7DY0e*XiE` z3b9KPP(2`=2YwoXk36ttd|mjHw0)H@R>B4+|kDzd+9HE(>gS@E1lfGM4woZL7f zc)YFZdH{GqPAlxS?-&j?S$wH$S6znMfz~uPG!L${Q`13mIHtT%q4t$$Z>vCZVp)y4 z5b34q>#|*+>}z#{M+JK!$jqT2GXoKR%AB&qdOKLToSfFC*7b0o9r8C?d?^bogw9U+ zE&^4-lkBCQ4|ZdxBEyLoh)!O%UPeiFpn%Wm%bR`AxuA{~!+Nm5T>2JRx8F=`);S8SJ1}xZBj&e@=aPVZHc~a>- zy@(pDq>nos9Eu9=4#z=!EIVZ`rNZxYqbvNNQg8)5Og|=Ni!%EMG;Ocjl%ADo0?|xx zy3M$%6DTgA!j@U9(l|5>a^=4lk?+_$r2CPEq$L zkdY1`BVa*+I@f4N=rq|xHgFQb$53C;SfdS)BWC~+HFiV+>6QRABh~?HTnoCvr8==x zsB(Eej94t9L5z$uB**}~!#k3N!_jN}9yr1~mr3w2h%;q4JCQxlaLA^N3LQTmo)3pX zap9U0bgxrA*m9r(nSZXo)e!2Sz~3nkk{&1^-!Y54 z0WegPplV_CxAhlf+7l(~82n-@`{Ufe!O^mVxj|>->nJg3Xzn!xOOZ4cbt%&+lKujk z3_^1sA40RCOxzFlR6q?WV7BQ6WRwO#FnxKSxyGEwa9O+9G9EHI-kY8+>lI|PWY2Od zlrXCzgY;bD9D38zj)Uz8{2)Me3EZQwP8PExjSfX>4Dd!}0VqSL0n9AYeM{MXXD*<6Y2l;4;YI zW&qPqAXr{5f-5P-s|%uagZU%z(CP}EwXvF0bVSReiHQm0@&_opjC+{Ki2s6Td!`X=7khj$~{ zdhO?kU|=fIIz~`rUar$ybRB4le-x*u2{wpCdi>&2tTPB&V3p7CiZ|!G1APR+^u@7v zfdFv*tM#FNwZ0z(i3F<~%>&8=zUcF57~cMD-&ppX1@NePh)US&=jrXouQ|kX6pB!J zBV+|Io1xkbw4-?b2ICBOS5KxC_R5NO>Q{MQtjzyni!#D~hVnm~GtD1}y<(yuD%*Mu zgK2{$mhfbw1#+mH(y)la8n+dQu(Y%;{bUfWUf9!K4VUfyRmVcW-u*SSYD__yb(^K9 zo(^Tr$pC&g_N6HHsg|`)bOn!}=m-Y;%+DIKib}=#tmd3v8Cpc2_z|GvI$}Ee>k1w2 zq+MKq2Sj;1NBg62O%p#-LD*J`nA-7|iE@sPXWRH#xeUk}1<%J8 z*B<{uy%II-94~0;EV+029J=U}Aj;3qSzGH$4(Tsh3!(2U`oW5BW#q;}l);LTsOPJC z!sn=aakep(x~Re7r+|I(h2Np#!=Etk&a)_ zgi9Ro-UD>S?bzN^5JCqp_R^;Wo%()uvySg02`lg`l_iLB_u~>o z`TJ=Hz9W80dskPL?h8E|KqCQ0`a+eT(3*2e`vErf`D6elk; zqz-d{H<0=ix|@J&Z(k}nzCcLE&p5z2;GzYJ5|X%d+hE5&fYbE^id4kGnT>90SLqxw zP=#6+4`0S}AnYxID61QN6yjkT4ni6r*?7}kdAbqgbl;8WN@UM^sZ{=`bfPPPh4zD7 z$I)c{xfRNiclh%m^@|z3ZM|Rsg{T7|`Sy$MUYx8#J}wUxc2z}bSwq`LR@!kh2;z2N z=LD6u-na_H>oV7sKn8W{+&({I=2bvG_BiGbEfKkBVFBq9nESe(Qz!d!+1T`$;~OU9 zp_c`<{Rx2{t}^4m^GXn(_1B6iV0%nJKS%wi;2hnc`bjAIyMo8=)u3QkM{jcTSFNhVTero<+Ay%?6~+P4UWVP|l&wzT*`G6Swjk zWTr-Qns@px{k4Lk>!v_EgF6(OF)DOyfVhXdd1mHpRL<~n9(+ znA>XUzXDDaO-D3zfZ%;^ih$Z|t|vMSaDPcEU!2jy{{{$|i9 z0||fjGXr3gCLpEM8CSvN<^elmHRC>yWw71O>0)l)yqU>=sLDz@>rRDy>b@56b5WL~ zy56rkT;TAa>clZf+_#CI7mc8rxhpum4=9W@iC}%QakP;E=d$W7bcP{FhBJC=dsDX< z?BkH76Od_1-~+^j!SH;nWptu9X)PQwwC}9bWh2H!k^#S1LoWh^4{LS75Buf~nwR?~ z?i-W83y0v)etQ->Yzuc9Tfd3>Gq#2*8@*@FUtnvPd?>GWU;G_g!<9+O>u$K@HLX!V z;3=d!-7bi7ryA8aTiw#X_=frl>w<_4}t4@e;5Go zm4lus>*Hs_NUjV0dsaFz5fo4qMgtp}`X`io!=u4duTfjj?YB^^uDPuAtH=g0<>dsd$zYm5Z8zfq@NB<%5NO)%Hw5 zk)Q^%UbLn>m?9DFtH*P){UouOnPZ}>V^*V}zI2!B_VO7rSJD8D;>IC!IH|Gbj-SBr zKeVSldwZq(NjA{o5VX_Me0lw*D%WHqr2^9@zepNz<*C6Lr0AfyisJ9aKYh%k^KBw7 zFh`ja<|(nh5eEwDD=7Ol58pJVzX{OLU5(-%MLq^US|&*MQLLUC+E{B4ybK4-lMKXy z@{W_**6PBE$zx}Gk1S{S60~35{J{DqcoM`ViG`G${K7$IUl3PnQc>uakq})#k{3uX zYKF`OPkGao5c(S<=4ytM4|O4v-|cJ2u`5Hym>pjVaPcqvQ$R z+x{-CFeiItt}>&dO6 zsLR>e{jVZ1g1YtwPI0f{Ad|Y`H?up!UK^W)Dv8gMy3&o08w>}zHC+_b0>3jE*th0y z`MHCE;E>ZQIPV`6k~HA|<6@t=f4+Fd73&aylh8~oOH)T;g%QK^W1>i>yf<(Hj z&Nxmwnx3A%(9^OzP9{^2NhoN|m(^tvk8?$smtJJf?JwI7OCkfQl&5conOWTYeN8u` z3;c}a6h7|P)9ODvG#8Fr!GndWE9q#ws)%qHJNfoEO~BZvyT8}~lertx+t78#{Z~u9 z;@wht0~D099_{W zHYZ$pb_Xbp*HAa!*72OD=S~OP!P#reFWz*)Ijo6&-;1O0I*NMh(+vs5!NUnhYpzRy z=92kB_6ELteewffgr+ncrAHMWN5)N3Ki557NKmE4iG~DX9&MbPR1l35dvzE2F17B4 zO8|+a-EeN*Mrh+d;R^jo?LGYrv`)3+G`d&d+Yd-|V+wb}XzZHs5Oag z(f??cW5Xpj&4)`oJs4~{V|^e#sCF?CZ6kUC^_e~ta-~ZzeanaSiRU<_4`j;@E&g)l zT7Gdrzom}(??DOp_wan986!84zQ6R%xuCweZRl+QV>mOFAYWZ9cvUp-(Y(UJva+%( zpyTs}6NjL22Z+)7s)GZV&04@N4Rw3TRW4-FXNJ`BTYXHHfIH;{beQ~7dAOB9f~D=+ z%A(8Er_qRww(~Ng+6-qP8?DBBEm$v`v8qIkbKz#Y(f0n|9=vrlWO!5y2{MNj*gRSbcDwU_ga{C*SZ1h%ocWeh*c?58Gl zw3s$jRd5+{F10+ec&3w6f1fHdo6KAkwe@uOMs~(TnWsqK;_&NSMYkgAcFcK##$Pa% zDYOxg!Y71$Ajck;m2Iu#9RW4j^8!KQb76hL*($t6VS~+GDxEvZTCKq)hj6HYO`q=V zUoys!VqV_NC-p@JcD1IkTE*btLfQ|Eznq)%1QpoE zrUWIm?+yJiJcR8zP4I$cAut$HQ=Fkk@pu)q_fajt326!y9*|{CeypM*Tch&uMdAUQ zoGR{stK7@k^aXT*->K`(+P0&(a#XW_QXEs(5ri-B&b)7f@#7toNvdhzi`rKuKL{8G zF|hp!(4IPpAK2d2aO=MSm*I9~CgN>(_<$JLg(T{k1pEQ69{v*KDq9F9CmxGc)`7j9 zaw=w7k>-}q5G2(azOPcNb^tu!c5}M@zGzfNh{xco;Eej$4%6@)QBFFJ9?&fvDQv)04b^Hpsvi&EM@E`(~?2zkBW-Y z2CWIQo=Vqj(DY4>w_AlxAzm6PF z*b0`YO`oBJ;a#e@~xM)1^ohm}yJ;;kImOy$8{f!N=8aT16L=$;ToEb$eTsYqN1WQ|5``NF5+$~ovR zC`RSb28v3cB50;8AaT`*Uir8>UAPf51#?N2W)EdK3d~h4-j-@>Yum@C6eia2uK=Ub ztijqh<#mTaUHSNhCPI7&9Iu*`hD)d_7fyu2n8kPc?}wgE5asrb4W{DW)4?aooYWe( zJgWCEbk{5uS7$$9Xrdg_N^~2eC#U|DtaTG?n4cf`!yotG@z#ME3!U%Hdp@KJQOyPk zjz*LC1z>KFmgSJd6)(#B1P$5!KW&q=%C@>Gh&WY&|0iSnUtIRTI5T9RzuLWN;R?VO z>!z^9fAF+}aQ3@F;=Sby`6HJ;5H|wDa%1O*rFMAApI8PMgelTj;imh&)E<9;?v?cK zN?!3e`t{%Umdcw66B+$7m(x>Z4;5ut$4kigoA-dV48=RY=-i$XBB8ohIO{ls<$wZ3 zm{+i_N~wkJZQ@8qtOFFaU|thoI!##ZzHaYK${Uvz>G-l(5)Vt*J%Up}^6;BaK*E@S z;E=%()DFxsR20SyhR_b3EYiv-a9Q*6wECjQl2#MJwsz)Vdpbw$8>Z~#8ID%ZP32U4 zhr4DAtO#+iL=Zs)x0LbZqWfw*)HJG23@BRL{`JYl+o~r#?8XYSDbY%Zr7pZd#8gnh#481H;2HQl zB4`;=zyTe}0R4$O3cwx=3!F$IiJL-dB_t%-ODCw@BNeY0T-c_fCDHd`8!6vg{5DmG zZ?mgJ6g2GWr7I{TU2J!|2HLa>C z1^Y2PyzZIr|Cd~P1`l;d`@p4_u+5<*AM{B1!j6{m`O9%_q1Z9uZ5J$V)sza01RI-J zT-P0m>aFOLI9?98VmOE(K_K3OrO$Czklo=#n|k|vX{}urr4F;}uLzu zh#yeRb$y6B)q~>f3=y4~5YUFME5u#U5j25RW&)uv&hdtNc1&9iEO4N7gj?XZ4c$!Q zA+}5>TV=x*@NT09?xE{{%NOV;Z@rj%$>@UY6<0$YJG%Z!fm!EJZKd?{ab`v&VY=6h z@dwZr`S~CxDUsWt~T*k|DH%JA8dNMfp;?fiA8Lr{S*KfWYZ4HP<~aK zWc9MeVR(1<;wkl5@SE~rY|+r_tZaR7G@^DRq)d=%>)Ni1Tu^K& zh*rKfA3Dr)zFnzf^Gm>}#d63+3Z0PsBkJ?}s|^TI$M$r0*`MS=SY-b&5pLG=ucoTq zLES6h+JHZQDI)$qz1GyOF-S0i4z|k|svw4=nI{MqVFR>~3^aBi?E?odVp%|f8@f@@ zUij44J$0$z{8F*}GKqk!gH|epm<o@bOxzfyNWm3S~*V=~Li8%yvBTHO~T4a0B z^7bf?D(R=oL2i^xfZQ0xqDr8LxU%#9J;CW*bLa{=?r7WpwK{X&6VwxG7k?XENNylE zI@3g`8~tr#N0?^p6Q))MsG(r?1Jw?8hl$X79Bg?VhBsYi48r5>7stS~c3P_;v#1`e zecqs0&Dj&goQP&qB>qYG(gQUX=IKz`uY&TT;N$ zGOE-FHWkU+XID(oc2+nm7!aF|sDCwnP~A7-md1OB+rZoZYpHSCyj%T$Ej6N)D1_qT zzm^(zJJmzWcnRJh?sj4TC^qRaeUJy~(G?x2ArLANw;4o^<8p~qa87l~5%?$fo?J|j z3*=++ag4k}-pC+b3Ak)j?hae-O!XE6tyl?dPvsBYEf#!<-o}Sk^Ar1)xk` z;*Dfgqc&`B!fXX^Dk~&(_;wn-f!Pq)~ab`Sw^_(Ea|N zP(*ak+ZTS-nA?C6><3>6cI{tS7g1Ig1XiSd&*{75BB%#o^Ng_l!l;VR`5Cj$eKY1_$T-|nXg0Qy-(TX{XZ=vlQXP}@XAaUR+%A#q^SQ`S z4lH5zK0@el883r?g~)?_+d;apO>e30?$(XpoW9Gx#~bVl*#A+@qPYzQX{yNx2suTS zfeK3sCn9Vxh6;qJs}OFWOBe#yTyQMd(8~_~OR-ND6d>LPPEH~Z_NR|A;E!8=Od5*O zAO+f!+I+dx0fA>-Ap$qSY5TmhbBfiU8rZW?4MJav#?FJ?w7mfmWbl z9;m0&TqoL{i&aHCGvzC2#*4{%#dAub7Xto6t0{xHds%`k&BxGS0PL!irMJ{%hQC#W z`62O}tP{Pp^D;$3fnLjzE!df?H!S1f}2~+&cpCIai7)7dMY4sDF)7$KC*0io1#5{w zQ^q9*G;cgS?Af~Ux8??;K!T?d(jJJ~WZkB^kYH#lD=SYyrq9e)YEUDBd?5PLxTi^{5^vOaGE!v~|EH{2tf3(55^eTgtRF!4!PeNXcBO=t#5l zRU~v&1Ra5`x>zBjeNBE)8xEQjprxx$hsaPWoUkO#L<;cpUU!KJT!!DA^MUw+kV9pp z8gIhW2bqFCn^a=k`57Tfi0*X&QaTaQv;H-@Y}v@oSuF4np&zZfuGRbCog+ySZW#JK z-f{T{)s8ryFJ9hPOD=&9)Y5x7YW--x(t>e?V1WX_m6@84M`ySRM$fySTZ`y?g?<)Z zi@A1cgSwk$aYOY7{kZ5}0PhR%fA7cL5mbqP{J&D)d^-Hk>YEG8e-DHT;2QzEV+2&I zCGY#op4{om#VcXkS$6_|HQ#;N{pcp2(KR1?#o=Aie01up5-My$;QC42?w#N?=4@_^ zFdse)hCZJR*j55+7eSF7>Ir;4fxp!-oAtgd(vK>8^KAuZ-pNnH(Eg*p?Za&!R-Aq0 zL#mL%ll~WdxF-%O@}Av4>%*O@R%(C!r+v7{rY&funt9lB_S-E=ji6QL>2v_BL7VDM zgJ=g^ORD5NXr_BbCl)6PtHZakYp1tu(24kGoMGZZG`HEjvJbcHmJIy8)R(vlU4k|X z|3c~m3S2P;RY_0M7$isDaDAjldedc0J|Wm=X;tjBn-M7^e3=ub|KFa{Ci#$wQ+ovKm;FsaN5>^<~vJ)lGw8VBh>t zY#g%coA<4=|JCLa|DGt(Xa4_rt&CrFqOAa1D50o?cuDJ`UZt62Sqz%q>cJEbdN;b$ zw}SB~{RWx{7N8kx%XKW}^huEVZC=8z7K-l4QSqd(hDJd@i!$n}XI1FVMurgd%TwtM zwb1`-T2K`o@5yS#7*i^Javq-^t zBKW-ed$VBE7K;M#L!*95-Y923H!}Bs*l}mR zS58j#4dfD^_#^YJ)zLPkYdf>Vbx`+!jST1p!4{W--hHqp**~D}tUl5I3roBrGAw;N zIT;%7;0jd|^q(n9GOW|8hPP?Ks#O|J3Sq$uD!GO=BW^UtdkkiH1VdgaR6K znii$i#0-Bjtc@(qr<+Z{?CLi^@!7+=G&vFB_ys^^PGxEB-@n)8WN8>1{_;WlHDlv$rayI)HFXBYKgVOZ zMSO!62QHVQQLvdow-nHj@wQorDvnK4IfTqe5R?n<<=rk+OUoF)q}aWOMw{G|Bp7>1mEcsJYu zPfW#f{a$}CIdiy$^Wsl!EAliP>P4Qhpb#q1_gNKO;70mGG}RXe$Cu5F%A66l$8s&V zt`B^O@96izr$RXoQ;xrRhaqiF7y8MXB8gW9Fe8?f%NgpmO#a43md#3GMiweP*B4kc z(Jzrlnmqiu;>IZ$SP`*ZpjNh$PK8Dn(QDuv;?%<=ZUzR`P)y;s*n=x6<%-Xmh|kI) zf?#SLa&*;~2BqI`aMW7$6du{(d^6av>NiITegE>PdwE(Yj|hOsWZX~Ud$GkyBN5soPnOGN zBHgmI-AzC{K^UWE`BRs47?0OpUOy$zBI+kW(sPdRBwQ2x{EV+(yY^r{C~lOYgL3>{ zpO=rL?`&+`WgKaOV#TaDDShDH%JBTk%FS+WZs$WVt5LVRYCWNIG`v(aAUTCx$ky+~ zM9>D85jX*wFWQCy&WmtCxa%;x`&XVUf!Gm;pRL?~hZ`{tFDNM3f?FIb*>VKy??E z#1xuSAuhQO32%_9NEpQ48S{4dp$|8%*d6Y6BT<@zm^Y8gj0Fn{E`6OOgV_Bx6Vk$D zTl~Qt(AE7s;y!2Yv9KIO4mxd-ukrGn;lLrw<^(kCd=D%qM3m^MCE;%12u< zeeRX-U9jeuOwSr^3WBJUoNeDMoQe$5Lxnf%xVmaZnc4<^js3+k7KkWMoK2QF48vy+1e<5vuWxRNn6-+fu_8wN#G+3 zs%=S-?ktcq!R~v80@^E7f}8$xUtYgZ`BNvS^@qVnZu5}Wl}qE$VnA~bDXF#mH&&yr z>=p58??6atbb`ui(M4hE4L`Z0+$2sYo_PLhQO9N=bbELiuZ{w}sE3-Ybq6U zIFrNu3_L-r-4&i!d}GYA%3pVK8$r{^n2_W@>22FqAO<>XDNz zo_5~ZG4RU-hYSa;gu=?(-M!Tw!=s2LW8>fl3+J-3LN{NiVxxjXwEd?zUXpK~O^2W3 zDm+iKMcd%iUI5PrLh(j(l7lIc5e(08u=&vAo~4O570cmp`r?7x#*Kl$1wR6w1c@9@ zB;U-}XB{FpCe^`@+^C^TSfuRJ(pOr&X24g`XglUF+J;ZX95$^n`QA@MM+35q8v7ne zC~pR{%~WLuhV~h2o3>|w%M#NdOrhNj5d1CR^!e&0hHhv#ELZ+#7^dQjE|#hSLB!ik z!;^5YerSK8DW`=Ovo4jcaj5W~N*aO}va7Ri!sx10JYyw8iM{fQ*iLIOZCFgYcZuUy z>4)c#TR_-32}>EC`#r8`$HfU8()%x2NHC3tA_yqAP44gt`V%>lnl(gOul0Ie&pG}- zlaVlSq|>~aLMMuQ(LqMkvPA=)#xK(?wZ&iZ>`wOxw5ogD@@)f2p<0uaG(^iZdQ*n> zA87mWmqfH`IBVnv@?-klO*#j^UnCQ#kOau>?8bX*fcL1%keo<8^o zj82bt>R_unWviEzGSAvAC8?^y_zT{?JKXc>v@ufw&`{Sbkqjz~=Hbu>&Jjn_We=fY z0b}aQllzQ8)UqYHPqxhLss^au&V7j5Wft6|v|kaD+b=zBsXlEVV>DC=?j}!*9zlEp zqrvC)Cw_8Hnos+i(Bx8k)Pd4=5-6AMLA~9Qon84RvlVhD$NH4I%vO!(hib#N4=pmj zR2vp2xA%1{%(M4p7TOdIT8(mVS5x!|nownh>RshVYu&JAOS==m0fi}e#%Ytu5Mi68 z2gy!P}$rM_eBoF^zaFyZx`iGBlP2+!s(ooKq@#tt)beWG;5$d&;w@$oSx%qL+ z*bOmtv4DIm%oDesv`4rB{(vb>##h?sQ1?VfhhTbB3%?o?pD?wCzriIpl=+s2_1BJP zD5##-_Wk#+GBp3SK?&L?5vROY&|DL#eq1kGOT<{@2;WXSm}LCtWns$1^N$Z_JtwhM zioY|0FcuLqaVWb56NP;M3ts?R`LtJozdF2WuCUhY3_Tj|I>gQqIv1$2=O8|FNsLC- z3>O+$Q^P$hXS5}Fp%($p@#fzCgsaT!nZ^)JvB1Y)o@;<9n)#3J#A_NNT!h~#u$+ul zju%ciB9*zpZoqjWo>IN_A4ptDVNg8`nY84e!5Ki=S4N-i8aa|9{T%ZpwlZ=PZ`OUm zk0Dk4Bdf!IvHkgy&!pdfbj*8vO6yP2(D*{P3lDPr*jK&S{H^tgoOP>fEQ=bwP3HRU z-#)ZaBM%5eOlVc%$vv3Fkr6#_(lhS<$aYI&}v=Y>$LL04GmEm-{2sD z!AK75goamrNOXQjF6}vpI$V@B#cqA9g)e}8V}zR87+4`cKb=Jd!E%gmqh>VNbCrJP zGKOmA-{f9*ebgdxRhW|>>!m(#+}{$~fGm+|Y;5vO16`Bn7-hY>W~c+|>*l~IhQmz< zcz^B{2EJkCP{-S`mJgoUN;pfbz{X5j?bR~bhFS=9lB=^?JDxH#kF3iz0ilr^{p!|InU zTb7GDmY6NLgRX?CY8I4-#>Fs+yTTe~s3d)pl{S!V1zQ*Wu$)}r<=MJipOtW>5vKg- z{9}~924OjVCv)tHE!Qe@x5R<$mc^qcBQ;R7{sVd8gF2`sxFBcak%S$UrqzcfZs1WnMyk%(se?k918chHI#Tgj}eBYSFseEomqMS*P9Pg+3Y$ zFJ5K?#o?K*K+?cJiJ`+oP&@)KVptUTuw%YBdpFJ*RK z#Nfs7-|m&T#E92SbgXS1UH5AuuWc*7lvXO*aG*)w`}nd>s?1%GBr+ZgQv{z}gHjK9 zRYt9Zk#A~LZ5m{hSyb!I$r5`Dd}5RGxYy(0pdeYfsMNUWx%PKUpNCR`h1EWh{!y9l zzQnr5k@FdTEqhFt4=%OJa_TcxD)K1hj!ZJVDl;(7a;^2sP}`lW)|ZP7X`*%w`S23= zvRc0W`CX$`Q=R#SCiVB@nNOR40Da z1L74_(XfiWGm0?s(PTj+Ept=RhC=<>QWfp>*47qMeQXFCIkh7t+kO0%kwrdRzXd8^ z5b4Tqcj|v@heVdtR8p1n=WEW+`q^^hA!}1JGn_V;S~yrP*3XI| zuoNbp|1~vaecf!o(114YYdHb3-6ocd>A0~f->d1hUR|REV$u~*pRye=usM44=#EG& z+ok#E@El|em)Sc-Wr(-94ll9Ki;+oE>&geLY`vH!KK{U7qM3Z?6-R4BSb4cyL~YiN z`tp|bzIPMz%CoGpYP~qVCByzMb(dK!9%b_4=qQu(){$qNHp(YN&huJVWItgv{)R-ivwRk1%J4V(q1Tg)YV~09rSe5E)WiOQ zgw;MSJ$!GVq@`bZ|r#N&Cu4ZMa_2ex`i1iW(5 zLB{pXO<1iHf%l!iT<5nltAYAWI1jFMv-a_cdW4VlYTu33-Ji)GhpibtwU;@vMUvjO z@XpiCzPvtovjHF~YdQf3ugI2zj#xHi^e=ERI01Nllt*7Y9XTXX-4ehrN# z*<|2Nlp+zf9>&@@Gc$M&YXs+12Km;*eEN0DjyO?jq@Vbe6De^7NwM=hxi$LdAB&W? z7pC8S;}vS9kLE_h7{9GzUO0Uf$oC2(Y~XJ(JW51=Gd)wmSoG5wD_SO<5Z| zR`8TBjz2CLrw-_wGTiMgovY$}TfF&*cX~M-CA_d3$|AzZ3Y$@yqUxdCqDI*^Cog-zRs%)uuN!DhWNqu^y0>& zxd?r{r+D=Bi-v5hy*ki~dBA4pl_&y#ktZeow9UlpPPVm-Ksg&d-t0yQv=81OGNi?QPpF+kU3G!*Ol>LGZ!1 zCtxFKc@$~%%f%({4K66Xc?MhfRA>99XvjXRI0^h2%&umQil09&3D7p<*V_&hCy8Gg zSJ8n{Z2fG5pf}e&e%06VLeNnS{upKP7;z-3FjT1jimVT+{>1vA z1%Hh{Scg8&^jH0pZ(C3lHI(6opeJ9~xQa%QFv~XWDkLt#zEb6FhBp(>pSS2@f3h}5 z>&37^@T4mb@~B(PV~C&snY=iACUUxy#E-G~D?ETh0Thm;6EC_yv>e{|s|5w26{gCu zYJGp#n&kXCFIBqbi7L@oR(VP!{;UhSJi|zW(1eMs*(fYW_J*KsaP1;#+XP)A zowi9G4sQt4$O4CBpkL}_<4;ds_$hh1R{bQxQ*LqxPubFp$w(HarA8;TUVM;J-|l`& zp3&eC>AYCQof}XiXem=JEGS#O^J+4~~v0}^~ zi!X21ivTtDy6}hyKMB!x+sUQy;V&z3>)=d`XF_yGPtq|7-5%t|ol(D5bjiCq20~WQ!1J!=%9vGvcAcyP|x_rnN{IYTR1xK{RYu z3_oU{^vlVHRm!wSE zRBZ0nny^^U7TWkw^~&=B9O zjSyvKr-&!jj$m6^TW9EGyDSf>Bs&4ugn+NMVvzyY?D5*C!%WdfOY&E2*!mXNp)^ke zPC5HbICSSoc5RCsK!3X~db3MHahh6=*c!}{jB!P$%n-oLen+hBz0tMZu3Um5Cxs&r z$|e7nb~V33JEXemi_$J{Ie24aebASsT>}T<=5#SnZ_&F<(0l9lzAvn426K~!-AeNU zOcjmR#adwh9t4_&)mLf;QtY!J2(gu3Nm%|Rfn{jGcs;m{{0@?nx5c`V&f7a_3BO6)P z=q{1`N{QpaQ51$}#$%IUOH%uB$uv#qh#(}r__xOe0@e!b&2(kYipQpf;acFw5sh_UnuTRRpehg zu1xt|uu*O&f>CXMb!&9sRd%^hWEa=;vKV}4pRB57<-WMursis|m*wiL`?F@=n#oP* zO|_AYaupV6g&7X6eP7%Pe0d?@(vf0LtJmEJuS~PrHMBJ;-tldF)u@_EEXPAn5?bIm zV;!@V0=ui!<@yo;t_#$Fv=%$=E!W*s!s#iLu$eP_T=_dA z?ZQQq_gvMP>a!v)HlQwlh@H;^U~Fn+8BNFiuG|6B)sD93LEMvyo(+6vA7i-cJa9^{ zmDvdP@Tx>88U(HNYg?0tx0bj|OdVN&JY!a07j^_0VH5B3uhCl=ha*OKPECqAqc!bi zd$21jcju0;f%N#yBH#N>nv1Ww>O9ws_Pbc?a=qgv|7p^2ewpY z4BXrIwxXWzd^7>w8Dn=^DHdG$7EQ-P@2xcmO0W+y>0x5M(str=eLhke(w~Oi%j7cm zxeXV~r}+pL4-`o=oc6N9{w0-8?MY@7V=$wj=TOwX`0cOka(Bl)Mqpmkxv$7Ro!-f3 zibq1>E#M#kA^Zu^|J1l12F(t8_$D6QxMuJj7!EF(5KHTSRzd%xQ0N3h{}bxgVp%+s zN=-}iSp%?GCz~wryR3tc^<1!vU*unjkc!N*CK2WE-#6^Udp^#$7}rA+!NDpFSU;>C+JreLDKC>v|| ze0AgPOBd_JiMAb7qZTe8KUC42%@BRX0~O!zA>p*c+~C6agYyA(!}93-Dp3C1h9Lg? zljy3tRJA^IZYGZYS_w9Str+lP3E#2J2B^8JK{T=A4-vkO^Sh#oA=?prO6>2StW~~l zNnxxYGt4Xkz7LD$JVYEg@xk-ArCrDS#mmZYCuxI<#%vmv#(T^whtFRe@%d}rT>~k= zFpy`kF>P1k+NDV_580qEG8?7RgMF5CFt)#tCf2GR{QFNgv6SWnk}ORJ^M}}a_rg@% zvA2zHrDgFfm{3xOkCSse-CjX^`&kliKd;2+<4z5W_$Jc+Z!&-*Ll@h>-1o1Z!}PZf zdumxy1DgX)U2@2?eBEOuGqJ1a@Mm@v?OTN5r(#zTRCVv~DzY5|OM>2;x<~r141&*u z>gs71{HLom{x6aqr8mf6i%Ab4#TZq7dSxD+IY(oQ>i{_H4DS3O{%1M;(j6LSt{6zf z61Mvk>Yw399!`~K(Fv9P+{MM^5n8v63C;r{$XrgOG~PtJSV_i&KUH>aE4r3X*79T_ z6lkpr)Q^MUcs%xJkQdJ(QhlxoYVNNqeS5^hSHE}$Ba*Q*uwf0 z3?iD)NjEfm#IU2En;QORE(u6vNm|My7=orP81d$D<44CI0bt!RI_o%apweYB` zk0jfQ+MWimuxVEUIb*r3G;F4mOqPtfAH>`$}2mA^y{(X6UY%;!kFjV2}ix=wY z0OhFoYXUZiyNijEuMwLvxyH@2Dn?f}7}M73%Lg;pga8wYQJ)9L6qt+0iDR);W7E_% zpok3jcN01gXLU^jbU(aPejSZjHXyorz=O`y^<@IjN*sMNZOT{cES=!?l{Ee!zQ9-% z;ert)%-{awf225R@^5FhqP50SAi|=9(GdP%HFK4MQ{sSS7z>GmNlhh)i(m)C=C$B- zma@m1fK|YoHcmZp-wenZR6EFuCdW2EX;v!2fnY+cTZS$(9J_&tZ$d4t{K+B#%;yOB zKwIQfJe9?jLAys&snJ65#u;I!@YICb__d?I-_3WMkF82DCIhhh9R`Z9TmzivFq#sE z&Rq*jm4###3$Nl*Oj2?1ij^Uikl(a}c*1wHB7TN`?Umd(i*I@;Va7CX+R6ZAG z?H-6SfD$hRpM>m3dhZy;+e!2$&dv1tizksWHp)+c=)rLRzQHg|LgVD(I2?-X!}y6N zmAL)rj%6E=@(>(#*!+ameQf!QM@gDu_P$tMDw+_hw+Y`rl0KpO8NfLi{OGa{v4@1E zyH57}{O_;^!-8IeF@O0bJP3d^Z7f+3??8ogrSYdD6z_M1jexLUtl#h#4!$;6Qgm$d zZs3LZ{jhUMQTN1yTR1U;s!+UTu%E#uPn)hKMSoyP(eLz4Lv*Z6J_aBcXc?wYx8j3xGP4GK9dk6VPLLsW$xjCWBUIGQ)!Mf@UoM zP_v4lRCN2%Ei6|;yZC7`hYRz|!!qUh8bLpK*5|`AKawZgP?NXYBjRyV?J0?6Ou;FM zBnnF}7>LUZ6h1PTQzo-SRXJf?d94#mVg@cpy{sK71n`%mFY8zeV<#LugDpkEw_A!1 z2Uj^!9&P_kSf&;(?ghT&|3+A*F%KU$sD5h}ZNpYkivX?uC7VaCUP3j8#WvZdSjqz;>n#aJ)>A3dpW$Kt9DPJTZEQ?_HYfgb(|ecG8OQ zAld%;32H~6{(;Ln!@iK#f$vFwq&L+c0`*^n&y=`=I1+Yd{7`fAV{j+*SH}nj-ap_% zk2R=REGnQJ-cOf zDo6a<8=Eey=uHvf(=mO60=^Q z>p^Nw4`Bw`eMdrg=WO%+D2Je1@r&W6JYDH6q=){Wr*H7SZawas0sTBG=l!@$6a8?v@$2oJiHt@xA9O})-s->bcGN$@P#UMhuWY9j zbi?5@uPD(`5KfK_(2sz$=1)V9^fr0?^u8ql_do3f@#a0joLpF-B5&%5*E=A z`~i2~aO^R{f4}t~%Fc<{oiIo^cLd{7f&5Vob1?)K5|XhL#dqZR`Vqu3tT3s)t>YIv zkVPtfSK(dDClGgP{qYn|+=#wYP)19MJLJPnu&o^-`R&ZL1gCc1bDYa}lL-b!2(G+js3Z=}lFOAkMM$@$WUd=J z|KWZ6DttVk)gvAU1r^UGZ4Tl(I`Jk5R|NEmIh21YVBtVQmn*Ys z=!s6hX#wSK&TqMcEhS*mftduUdn#uVHY-5}g0epfaUGj`fHGK)P+HCH`DiM*YKrkP z(<%`Xo|7Qfp;U(CC6y!mTf=UAwoAg=*b9ibnMD@nZf+!loLVNItr%fs(&E7$)3dlAir|(9YEyJpu?+;)sB^S@+R=C zefA|x?Z$=ph>eGhK}5VH`k&JAgid+(S7rjw0K&fl=5sM;#)lw$qaF`_6m28>>lvZ- zv|+Y=<8`R%0g<^alb|=8&>vv#WyLq4CH2f^)$M$98_)@6T#6y4VVw+#ve^pLFn(ot z7zl^iZ>IXkpV(U2kg>5QGs&-`ngOj56^Xsas>K#7J2dBQ<>%7 z+&-xONP|K)6Rqpo`uSYjWZmoWGzSy#k?nWxz19jR#?1*rd?0-Q`{7zpT?ul3?;Xdu z^I@}fZjCKl%bNFM+$lscn%Ec^as(G?s~IfEx0c>3V0(4!(Vx24&2Oo^i%0D_E1Ix) zI8EIACt}^gYHf)-VN_#<5wLCidK*p=1Q*0?`=)+RpvAkqK{Mqry!L$4{0a|H#mbLY zeJ+Ukcx+8y6-sZyVrxIo1zf{xz_=Q3_tBUD2cLD#wDsvnY(H{xWCTx6$9vQ}5~70h z{W&0ohe(=AIEZ(;h-&mD5JDcMaV5NIe57}%#`DtwIHS3rKO@ZQ^PYqXA9N0(UAso^ z?=q0yT7xa*Rtb{OH&jaBGCLKl^9Q~uT7N_kYX8AzMVquzDRUv>!z*xtG3*?2E@bnQ zmSoWyudnUWjQy^xYB8-hITxS_`wD@q$@rMbI9$BpWQ0XzpFE8?OG-%ktaDtzjhr7E77Em!?k4trM^WyT$5`bM6+q zl~_Gr*|+!eH%E+aXr*$GlM6E(;x0F0tXa*g>#j_i zl`^TJc);z}M*X1n;|XwM!h`p;O*?E3(~@0kKlQ{e;NP~wiyo6F*NAGPJH(Hx#gAQU zqJK`Uoq?A&Z0l)Tv-yfLos8*S4J%b7EtC)}!=<4!p>{t1_#Jf;a7wML%-#8F z%+ro4gVw$$jmI7@9#>I3{czBleizrOW=^i|ST2Y%Y~{E@-m>ysUt^l(*9x{Ti|EQD zw_JH*1FCo`cs^3aNWCQH;ZDY0CPUy>noHq2xA3J5ml|VG3C(Z7sXM5ZK7fpyB>#Y3zLP=s?mvqg{Tvu~ieK$&A5BBIn7WEV1 zvFUPr^R&mq)vo&#T~OXo=nK~`>Hq1ApiAPDf+Yr$>Xkv)u@7-xrSEk;J*W8jf3`pu!V&_M&Z& z3E2gnF830cjPiXgYFORT=kCh*^uasJ>m_5`lAow@Ib4~5TjJ%@QRy^~@8+g*8rwab zi0rcGhO)D8tY3guUgL<>V%UCppSOU93PbrtSnxAL7)!SNj700q(+3d4qa0cNUf4&1 zD3*|C0PQUH14NHM2vR-r1Au=pP>g%7>;))_e)T|X`LQZ2u-OKd7>HS$*M$6bSqFeQ z5GS-6#P!RUcKzy{yU&X$c)j2bfAX{06q$yjjU&`}f-b?`IGyK`>uVN2CsG|n-+xHW ze!J>TR)z@QJ~yjmzFcG?ZO$)8g%A$g{QV7nPwW<5tnXEL$@|yJ7UQL4KfpKSBLDJh zf1aUK1Sx~=$qN@$x^1SH1We2(9b;|`N<+>hT%y!|_?U$`lDD-g=}_27A#>}7u;IC25~M!^xEt`c zD+Lbbie&-5#@S?9z-;=~XUHu*ZHU2fZBr4Lqv#+{0>ORdka*HDz(#m$V_hWK@x%N5 zXIUTWR)Oxm65O9V8<*oX_Z$+VPhOZHNSd6&SuD&FWi!zBKorb=_~?Gvz+XP*t!0k# zl)p`2&wGC|Y(0Y8CXG<&Nf5JP|uHUub$+sc7QM5G6xv%_b}Y3zsa!$d((MMl1R z^#}9nfAal$FWqUxhF=lQWe;h zD@{d5#Uc5Y;we>ztG!8sVUekkh`BK^KudY_Q*i*Hv3_Ryj~0uZ$ug)Hqn^9ARDw~p zUC{bxz1+)h=XefFgJ>Dj8pvt9Rd{vXoi41-EIzNm=~5KW@Kj5H)*&J)56cqY8+ub zJ-k-bld5Z`aXg|RGOpD0HSNeb9|R*x-w|M1okTLY+B|Ttge-Gq6;)ruE<#j($xr$? zUg_(%CWN2P-6510$ivd&)Q+=~n~jr#_@KefknoLq8gXY0?fhWqdr8yUAW$(eg1>T} z@7EoQ{EWCt>jJK}o66ngaaNdG54!8e0;8v?%__3(<(VNAJE-zMgDB5Gl5S0T3YdTa zvqNa3=(g2W-GasI}Q) zWQ=C{G!}IGKS0t;#@e|Vd-Ys{wVkE6-cBLa-6#8|ZNB(C4?D}@uQ1{KjLf1-$@sqm zZt!AJ%p?~wCGZHEn6)wYdQr6|yd#kl%?IDPjLfuX8+1glsblQDsN9479Aq>AO{Hk-rbIY1cA3uO>ACsL46)E-8WX4?x%s?i@J7>FGkXNUo?__s&P%Wfru)} z*U`CoMyN?^I@cu^Be`^r2TS}aii=*=z)6tQ@2T{1R`81Q{+HH>24xFB{PGQ^>#$Zd^Y2&VSBd{c*w&gKBpxBv?&tgl@|8>syjeSkKn z-2Ra{<;QWnE3Trkget47hZ1{vw-fqA;KvV~9YT+kDR$ny7ByPGg^NeA`6(Bhf6OSI zIg>j3>>twwX(1=ka2Xotqe4cPq8RVFuM1=Q+f)tzY3t~cd)BAUicUg$${)9)h^t-H{IVh+}2DnhIYP805QKaZzV6 zK7|mWeCJBi2M5{C+1eId^<1jPRC~y4*Un4y%{4Qs&!~oXPM9Q_+lP&%!uYhvqOAI) zda|?H_vLP|jI}i{JhM;zd&4wMue<8Zrf{|8YZCHyyYIJ>K1X&cA@w)h7Cy{O5(yk! zR#@?gEUR-romIdL6r6?X7(EN0qj;Kdeni3Q)QNx2s26a`QiN@__4WN?lboC)w^)vM z6G)SdcJLchBScBAwc=?tv;F?kE;4QH>0Kk+2)diu!%=cqe8Ohk^Oc7s8%X>Vf4NG= zj9c+ckIDPeCb3@!-7|=i?B(P%F?-Jo3o13VVb%Cnmk!aX_0F{lO0C`PB$41aPfgIj z7Cj}SZ&_m&gH^y{?cTixX%(a7<PA>ng7@EzJwuS(nU)^Q(%CJv6@UP_8(= zS{dkka@zysz`i%?*125sUGFq!%6nw#2Q5 zX?H!RwNX;sVkp}0W!Ep;_^o+ zGNny#zal+2;e!St%3^8K3Whrxxk&RgbRbv5${~qWq(+~R$}$@|{Z4D`+oPFIHeS+S(atm`dpZQ11z8oWlP zv`Z_)uBRfEoA;Mj6wxK=;gWxnARRtMVo=48Of+x{DpzBgFA29xSZxRfHYP?uWnspK zb5Ni6(p1mfmWNIi@R#NZR?=gwU-963VH2|XI)G1W^MW*bh)3=vq;?w=g@SXiMZ!2OpsUQui*RfptQO-Kuv!q{{bGp!G&%+get5K@+Kjdz~6AqT923D~aN1-J5 zU0vciVAdiIk*yI3P={nozcMKBKh1!y_>2BP4}ALx2DEcCeSWtZyD^|gE*`nxmbaY# z$W-$<>f56ZJ=i|2<6xN49ZK=J+ujzR|KppI9;S3U&@gy9Om7#tiJeeiVFu%?0hHd* zi8nN+@;m((=C<|vsJS3tX9Xu2ZGcwS^?Y$p^ieLQY{#sZe~yq$W00L0oSk>8<^MSs zOaWz5RG>ey&wEYhyuii>rdWSP--~%F^Ym=5DQZ4~Wh%H^OQTlGS*W*gUo5oX?m;y? z?(Y1cfoB=Ryk{RdKd={q8c(q&m-{s3)MF6U_QUS-xsxz=Ov=fsUZ^>mw}t+DMI6bn z1EZ&IG&V~)H5bH2zg`do9pR1|-Gk3EWe_*kl-Dgk>YBvjNs>`Gwm&mb*a<3_AsImDgz(ovQ9NYb?2-B0AXkY8Qc6nrzMo(|(5>~u*Dqe>R; zQT-EBP}zRFmN%!COY0&b@W8Ie3qU^- z%TAsd53*6}fSa6K@vs2z&5MF8mlsmcmCG2|h%6PF!mfG6fO=D6*F0qYLqM-^F{AxP zhoNDNE{8oD{K~LWDhzJT9OBlz?@vM+-_iISRu2x)uX+H3-OlB1K94iiZU zCdGG%70?wEOK#80q;W7eKjAtBRK4*B3vgp#p!A39GN{x>{$T|d3fQa>7!@O)LZzaX zL3d>x(WCYd%?zn0Um9d72fD&F^I&zxJ~Sb!}A?H{_vifNFgVub8xCR=U5!P&tLe0?GGdZys8k zgdl&sn>P>E(u7oQR@pEOYiWG%6dhtp+wx32*$c7h8?QW~Fz4ZTGwzVXPrhkEf!4Fm z#wlE_Gn@9lpcb37H(rxCKe%U^`XxPH-q1_+SNdxHd^=&HJ$ESHFDfZ)f_Q?7wT!@4 zJkz3?k1=&hww9}8YRpFHP{iH7+QalLK5#)^quiG?D*1hg{D_en3>On%FV|%og6Yus zdA$XDTpiqbj9RZ#hxd0OJS4qz3&${i!1Nyw6rpcfL~^jhNv^jRar<9!C#qtC=Ox(5 zKyATy1F-QeNelaNjvseOL}N)+Op~lP;zks^_Ru`|nUkS&zM_TbY?9v##qV^VWX?}G zYNYRGo8C2Gyx6^xoQBzJ@wiOSm)d%R$Q68gHw_^tP`o|9xe>MjuT2U`5!&X6b#uqFi**0xNqPh# z(!52pht*|gm21F{fFbW99PY%Dl$^MrkrM$T5pD-n^T3il(hI7MD3XYIlanU#u*{v{ z0_>5rfkKUI39Z{WC#dOR5we;8-BO2>V@nJAERpLP7e+Pr^#03lqmdDpZAZRD?62Na zIJ%biH1StQkx0tec`C4WV9FkFOXb^LZSucE3jxy5#dagg$6A)(3tq8F!~ORE3Ew2+ zne?Z#@QjT^>iQ`rvwuiu_C0q#kavWHYdpHOb13Iv#O6bz9LqDT0qqnDBgy>b`ReO3 zg<664`|Ex2se5CWdXT*ZMB<~ z2TrtQ10T1&&ig*G=*m29s={9v*f?7ceyOIo(5_D`>3>Ce(N#k^zW~m4-=O~3+UcLb zxtwe0khsu+;9L@)%769`=;{ZSe3@f_<{VPN@P0?0dFvQpQje*H9BC>$g_9?FaH+mm zh-;nq-qLn|%1qHn{KA~Vs_|xF;?H;UmZpjF%}k^@_wL=pdS-K#`cSf-+1fTIC3LlQ zeg0s^tVQI`Ln!#aRk9PL#EGfZALPz|g}4m7-raSv%;u@@`9e39q&z!aU0s+YIApA! z5(O&W<&l1|YQJ4)DSxlw?0+s2k?+xJ> zMpT2x4K?(S-`t1wE;w*uP`q zVoLV2z75Cz>Z|rD-J*M)4+?h@!mVfVGp zpwSH&qrX}2ZVAm;pr~t0%dZ($cWmvY86?$Ao^B%#t`-(ZjNB(Db$+-}GHlQ+kV$q5Rxc1@}p$$}SL>1pGA(UkdRus$u zOdT+ofU6Fe#2^r=^!fX84Sr*`lEEE+5al+?{6!bB6w>!E_-%`0O>jb-dXJIZNh(ha z-J22w)lYmJ;h7}>3o1{VD$6jbGL%GY=kE+-W!9Qhx7OC0G;t&*V>HAM_#Tl>C9Pht zyWxu%O``jaq|7h{TET@3EqREW3Nwxyj6|L7b$Vj zi0UL0eszjg*>qWWQ;U#sQ*s^I^lyUzK~j#1sH#y~>sQ{|h|yY(K&mmr$%(<;&Ehg6 z<=Qih8PNFSgQWALDN6#eMqzoxvM9!?A^Ckaq&92cvLFBEwE4^+tMjhw=I*i_QW#}i z?#ogW?cXLkW#S)pqc|fdHSSDJhN~eUmq+%!Hn7S~Be^CsZ=Dh2xa<+&_X=R={D{c* zTKK+zCZRvfcq5!4={-U4^nsQ6`k?E9wMo^bQPDM1BppU2t<}XI?G?V&a`k|hhZ3!7 zTaIifu=95?9BI7@AN)KOZ89_(aWki1ykb~1&(lT;q%^nsI6?DbhD6I&3P%M$+tj_k z`G$lQbPum@wYfOwfRPfIE^KuEorsKQ$r5adC9D@YQ)pZre~zeYCH}x zLu>8C>}{?CYF6$pU|iWslTiIrKEoGc4zzDG@_adj0GM?91GmdS>yc89QW+Bm(MfoyfyK*yEnt zd2Kh^?^=JRnxB8VQ+-Th&AdcVKC491TF8(xYMj6$+y#K<;CS}g7dha1vDINu^)aKy zuN?Z){8y{K-dQmol%)mPQIrx@LTEEIfVYdUkMaQm47b6NIjGKHxbrH(oBgW2W!LU} zjK(Vtpe_@uX_u^5?(2MC5gvrzV4pz3I=kU#N-OZ&BRFk;^&PF0AA9R zKtHleijG=hTyn>HZci5wQ=W={-6t+Gwgw63hJ^pB-OZ3bray|lzOwGN3N3W3h>4l> zbeMB+8sVNg$F=*^RWGdAs$gD4z{>#ghqmC&fyt92uLkdIqmRUUh?(llz41Y{eUrA8 zyQ=(6Z0vA`vu69Mw`w!)|EcUqW5y6%Mhm^RfZpQXlI)uMPSmOxs?1f<_9vcSgfN$d zh08#>E~=$o$lsRid;i|OpHkbUAC_5PL6k^_^k#6pS6~)j2#^kc_C)~cLwegDz~Jrt zM_KDaX3Lgf^OA;L*a`=`z#OmbaC2Q9V5_>X^J0mvb-BS%*W5eC)li6FBT{z~Xh``@jZcD_)2?CQ6_&?6#< zh^O&9c&%GJO4N@B7$q`GBP=?43RtmEKtoY%wlj|09MpsEvZ=!sAL60_xPis0VzTv8dN%BJ65A>Gmrk5w(F5Wh}xmcC^%-&4@!1wgs3S7Zm zB*@X~Df-Nlo!7lIki_=8YE zUWkqcGPefX>|j%CDMiMIhEyjex>)sQid*7I%5g4%q?w_%J*Wl-O~g-!9~0!mN}^x& zTbI^I4z&7Gh41WdWmp6hC&x}scUaF($$;>*N!I!aDQlVMfWyIb4k~&5WlGkoG@l;> zD~P7ro|U58YX>dg(mb(fz>S_Zw-leh^`~j~&^hRGJKij{;x}=G2ZL9v0|`v0RIAkcEv3Jw}!X>%CO%)OL6@Vg@vbGY3tsw)LPK6qZylB+JBHu~;%>r7PG#NxJ4cT35!tx{r1zTH#t7Zr|u*7~yIC5Ja3Z{{j3*q)w* zCtYI?dXzgFw>XEM(v=sb85^Jy?{9lc(X1}`{=szX5aQlR6YKF0teY4FsRdQB)#vZ2 z3l@*cqUlcWg~%=v1n$qtmy46*Z0l@Acz|7puf z2YB$x!3*S_B^)41eV#hHd2@Q)GvggF)-CetT*R(66!-5bpX>r>wmRuPNnox19}J_&*zlAwMLEv-yk1qr zIx4+Y6xmc~c#+r&Kg(;9^5=}e{_74B`I7)nqnBtjyf!c}IdV)&)ZQQ-qSiMEl_J{pu=d7%LRi?0@Se~D%AC`wto?; z)bq!~omwYyEZ){w-JUH73B9A}d6W+busPLD8#^abcOG;hTD-Zn{jL_8TYG5r*Q3YT z?12M!DUnegDs~roMMUS4=D=V6?5{C8r<}ySw=8D+zGD#nes4!li1=)GPMPk=L~~(6 zW)X8t$XJk#`TGYpDvDXl*HKQxcu`R5yrbJiUDoNGGtqp9ZiOhMtf227&w@HBQbTXS zMDm~SPNIve_KttHSWVA1kkH5!AZFkqdKfji+kA$;i(T1loTXtOPWB;W+W3P?%eh z0{HkUKP8?s>RR?3s8KChhHyMcAgkGE^1PuknTXLW?`x$qK@*S=BdFzNGanqp1Hf!* zY#*4V5{Y}?MdxdnMstn`SD;QTAd7?UYy$dMC0d$aQe-pu&LJsGq>31JX$dUJ#)2>3 z3o#4b4pp(`ANE2>-3$M3TM5i^SR|*|rxZw&RNNA$W;CGfM}suA8{mdp4xYa*WHT%W z(QXr#KvaH=UksdHPAmyAH)rJYQ_FNgl_d@^SXeOPn5}Ocmb-jY z*@HKb*p7G`fOQB$Ev(qwh;dAzb^+`Rfs!=A*1HKnEo^+uHm{lCOTns+l*GSz;Bmmh zvQ3~!ZJg8dYoAVM5ymFt$nq!L{t;}ycDpha9=0819LMqpG&_}{HW?TH)kZ-1tq)3c zEPQgn3cxOA2u{nvGJvRz*u>O-seJ(L54{!MESo9KAPu{_22QQjuS4g~00|&EdZKIY zeE6&hxiTS+H+}oR*T)7H?|AQ&>hkyL0$;WjqLXqQ{0w6&cd5ecjn<2$VcK567aPyvfC5=A`=$^NYE=fNxPST@ejFv(W5p4H8%pFU1kJAdtK@9o{UY@qGz zIk$ICe;>gdPB=Ma=C*SQ1N(NRWj_ne?*BA<;byy{t>jN%-^Sxh>hyLKu64~_=gx8D zmqyeMhdM^O-&SIaoc`mJY4phQh!f-o!Eo`6pxmkr(Ag|0<_g8R+A}E+%0yQXpTM{}1ebl)P|DWE;^UmU zhTS_NXiKDce`?>EF;Kl8izOZvv=S2qp6AOy@SonMBHe(KjE6;dDg z#e91$KRA7=CuPn6$8zJzy7Rebx*}n~LLD$lBWZ!v5lF!FMswh)0&`qnG|_ehdH zZ}EvY3M4J1aA__uAwbzqk|DWMduiNHa+^*vOtgCLJwb7w;J@fF$9LYuxsV_?*&FgV z=4$rF@DR5^|55}jt6}rY!R@QtxI5i!^deK0we8MBuu;PKdHat=KA zRMn;h&(go&+pGstFijdR3*mw{@J9Ek>}1L0no|$*B{vLPYno zy^VJ&A_oe@B{1R85mvDV9L7Kut2R5<&Ik(K~H&jAprVsx?B zUJJ8S&7#9nBn3VO32ZG2XZujE2MKH`0-+$62$`_rs?t}NFY=WbqT5PmW@EgpQnpXJ)rTYS0B-Gs>4^-NQC<-TH-SxN z-`j#&R-D!LF>Z2x*>(Ad$CJ^ymBGMpE@6RrccGkG0{|bsi&t^usOVBkZInz6*3tr& z`muxsU9KbF##mmLD~UmY#~vT9Fn{>hNS-bd?>PTUYjg9@{rvPZ&6l7>0@T;leMf7h zauB3FZoxpx`*H~P&5yw5SpzREV*haxRo$M-?5X)=KLI&7QjWGEx*zoDtL(r-P_{q`Q z$nJ;~L6wgLbpOf$kv?StKN&&03w2Ks<5ir%+VcnJEQc%qT!djGVvLmor*)@Wy$sxQgfTko^ z&=tLboMjm+v|Mjkie=q(%~JhqvS82uTfBMCuJ>dh6SjZQs+j%}{qHj8%;|AnN^OyO zoyufQF9wGwx$WpMCtOgqyuN=j(6$RNO!PJHP^#-G2o1K7jI~eSbno7L-}X2Q>|=aW zBCo6o~K_k4(n z0=&>g$f+-@yx|pQu@N&m91KPu@O~cjQUR8Z5+wNhW;U~aI1@>2hid0$n%W0G$ueD= z>6CAsZ8L%Kqcc9D6Dn8O)C^!S`1cPX2oWg-nEuA!UC47mkOCdDJa?w1`jc<6^?R_w q*#_2cwm1{){bpOU-*NWj+kEVCeAh(jdTkC`W9z0Jq0$X8IsXL_Ni638 literal 59310 zcmdSB3p|wR`#=6rNu}8BKnG;ElidofNMVZI4hlsMVUX$MFo?!^%v8!2rO#$l4h>t# zX%I%nVJ4NStV4;xBqS!rF~(uW%>1v1YHQp5eD?eOeSW{!>+kid&^*s`Ki7TV*Y&>M z*ZaCJ>^Ivrf9|rm2!hPtv-?L21ewW1klB5*GVq)DE4m#B!X@naamT@c_+F7|)VKDb zs-ZW1zd3W{Zo1b5{q{9#z4T0tW1W|lHUI9{7I7$_ES1uFMzJm;a9&+bjDbdC>zNp7 z@pDxrhX;<;Pw~v02!y&cTzyGGxv~S6iBZiBwo-|Y?KVEhAEB$@q z$45ek{TJY>_0UluN_S56N}=B{eZMB7-)NqY);s5C39-O>$T>NluI6|?C9O??@o4dZithSUy?-N;W;+sEd z;7NR+Oa0~ZN55esoFiu1#=aE2njT8hfsYr#9kw;ZI>nv(>!Bn(T;?42`-QF-`knE| z`88>uT^OwH9*X~)C;I*3PR4Iq8ynN*TODXEDbens{E|j8NfE2x5TqW_AXH_WZe^mz z_`*gqxiXDwe1DsG>G&LdB=`L#)7Ovw(jzha(^&CWELW-;an_Yu;<+Jmd~@?@b4=SN z^R__a8zlJgRn9ykJsrwmxc+GB$Tvyird=XTm0|oEzC>H-9s5F3*ZaWLLSmjLpX&OS z&oKW=s!>fx^^^wEx$Nmxq2UXR0Y6*3H$_}edh&uH(6}M6k*xkcO&qa+*+6+yTy}ii zr+OP@#5h!Iza%VCJVvY;Oe67~HhsLvBuk<&cRrJ5(BxaqYaNRc2yS6|P1fywHECGU zNGfeoz?Gz3P%BlqBYB-BxinBuI`BeLG1kLa*F)+E<~uFoGloh98Ya*94C+0^Lo`R# zNcQ;g<1JdO2ScU7W1cH;ziU-^@;7@0t0|R7kOjxDf{{O3{LmggBkdltKCCshB~C*o zdToVL*YL!;w3BVaXbG-U9y?Oi{$y|DD=*XVqFCOXT>FC;o}soF~u298ar&xOGzP$&%7 z*kjMMt4dsB4^;;`viaYHDOi}`9YtMAHMZXp?jWHU(r|BH2#f|5v8BEk;c%N+tlMD&rtUR-UtLJsQ)wRfBfmrNYI8Y|+ z7lP#!;SU$ju~rMq(UGS|X!#N6s+7BKn0rTD6!EF)ny&C98y^`+H8>&7v<>~@;WUz% zOA`0gXV?r}t30~UNY=`#0L&oNd#0Xz-M88}pge=5^T$F5d;EG(5_d5~dZdryh{(3% zq+ekscy!0eows<;PH4Nw9%~?AfA#e=mOVRh&zWDd6*lt6*SPz9D4g4Hq9d1O=3^?hp;;We=AM`g#%3})F#JZ??zupSDw0VCBPeVM3= zj=@60S@ac|?@M7g8t&CcE?TdK-bAT|b%-;1T+VIVs| zH|peLr3Fjtu&mbOPX3Kl&oXRG2Fb+QPL%yUe~to7OQ^G+1BXT+*=-Q`55JMmu+tk= zqFfhn&%a+M5)qByz`uWhwDpupZC7aV%Td%H# z%0I6iP!0buFN_x2f^00-iPKQL^$0`wN^BYYbja|SoUr2E3Z3GoFEGj96^M=370>Y4 z-=9Z*W4WS3-E$y$>2qRxV97%|DP61dw(!S8j^)E9qJ`y$Eve`4+!oSZiCK4wsSC?f z4_66lJngUe?tYwyFHOg?no9bKHC`&iNrid%*6_>ShPYP+cy`C#fuUyqrJX@@2KE@H zTJ&?bN;S?a;3+=eXg<_>Rk)(VS6p~Lrn_vj;5ujGrAD=U;Edq)8YlOyrt{{H5_bssuo|B1=Xr5zj?0ckaBlVl4jyEk zjyd5JzA%U5E51AwvOXN?{qZH2v9s7t*T1i@PY@TQ{CokuZ#+CC?1u;5Z*ieE%AVUA z1RBXi$*)aT*_^Fzel4$(B%L9@5BE~JFNslAl{8*dg0X6inttJef`M`2&E+K_QGqHe z1cJcFx&8)G{Xu3c-s!*e7loJ5f~!>5M6K2@WtFj;{r3&*IiLLYr$MK5@tlG_(+0sy zA$~(_aaY$svlp8`z%eT2jr00$JFYm7bGqbd*j3!qccqdYRlpmMl0<;868LwHoU#UJL1IQTPnS)q5c?tKFK)9)8I%XM=X5mtSHItX83P1f{e5*(d!>B}C6+`bsAk1I9zGlN_R( zE3vuGw`G*bnrYsyR&zGBtTc7YC~=I`Gj{xDDnb#wWZw8!ES)QqB!uK^hK{dr-ElPuarDA6wRETkO_j$fpkoiDP|bHF-pK=|EsjZcN`5 z#C>>Z+sNiXSy-}!Ae+8{W!p4rEDhxQg@Wt?3YM)*94PN%_rjKrn0cdanMd)^HV$Z|~87$HVPv z*-zw~23G4A_WOElCeqR68=oCjGf~#%TZWmjuF6+*xv8*v4ioRndzd2%W5E>`H} znHTzX^6`{?G-!(<#LI^^EFNmq=d06}E=z-K18`f{y_e#jncz1J+<0Cz>^+6TW2S14~dGWjqKjetFjBRx){n0+4**oRQ3VEyD+q?V*mGTJJh zq(~+xl5vW-n-V%0B^i$*3CtxU=9qDSB;4#*43cE@-Me=YO&)$UhmCRZzAc0nQgi@s_mQ7vv2oW%yIDgcrcK#N?5#PgL zGDv`5>m~csB<6P{i_z}^`eur~7A+<7)sIK!0&<*2KXECCv`v3dy|j~k>)G3&A_pC{ zu>Dr`cX{;hxbf%TJ#^AliPDHNIA3$P{#8?QbTgf*2%k$QWyYo4&^67w!wWiOWmO!M zG`{L9RcSsc4#0H}Y5av`SC2$zY6OF6lBgFFd=Dd2;AG>1G!&A%lyEjyR`yo)zq!UX zozSM=+_xs?>XSDv0Ah?}lc>B$K1CkZ8puh$wC0_g&$>?u#ErOdInOTL>{7&ml8`_| zffHQd!#C2*NOwD6Rd2fY1VeIQm*mt7iOkeP+om4+`S(r-MXeS;!T^xbZvM5kk`V1> zSkpCEBj5pLq<6ZeKTrVP(D1xVisT)E!(CMv?XyD}vdz_E`K(K7;c9y%~bmov7_GAutDCx5VLCi4X;E0%_aDJE-aD_}F7w zDpA?h)zupvON01SFQG^5u~5KP*!4?piD#`0(|oK*F7#>@3*ensSew6$QzQedy861E~=Qdyh z*t`1)k{9)R2(j={xlEO5} zU4X$Sr5f#)J3GzH8wzkJ#M_@69D0I*WyKwyXmZI_(uk?78m+niD3LVDB27vFq8VPT z3aqWHe>s+smzNg-e}-X_LSa4Fmm(wcq*Q`?&5cAP6V%X7GvQ@1N$B%6&cMr3_Decn zNKzV8=^9Utl}{ez`c|uPSJ0{Ruxu+lry=5zi*{Vqn!Ki74^h6G$fKFohY`L0Nt}6) zQs7r@@7o60yuPA4$Y7SadP}UNWa7+VG`Aj8^V5f|{YP48mL$fczTV0-8XxJ{4xS?U zMLnT(#igBjPmcIJ!%P%Y_v&#M8Ob^#W=;+p-YT*Ur33iibBt3y@pSNRy+9}=!3a>b{`edk? zY2EtE;D*+Fg)&B6a`+c8(TY-hiTc!a2OzI!Os|29U`*W?B)tz=Gv+$SQPw(UY?j5t zFmC9^fG2(iP2uAYZD47V_>7Z90*%Pe%nzJ{lg$yNfx~YbRS#4@@A$^QsYH@IsShqK zS^rh>9f`SyjihtGgyKjQSHcn~br8iEi%3Cmr(J1$Rik#PM*1%*Bc`ic#}r;l6rPHg zMu)T-drOSh36Jl8N0h%Wl27WT?07O}FmntOc9$gc`3Kht#fo2%mER#=YhJBh{L`K> zzJjqZ@Qy@eLeCCYYOXOB4cI&<8a%8GRp}uye(C3_ogW?EFA@HF%1K@;pAs%;&Au%R z`uUeom7iuhhp+42(R%P5k$dYG_ry2C>RqeZ+n1d@QaibUcKVLyl{Lfp0VOxD zQMj%{0R|f|HFd9tg6u+XratQ6=TGWaCZpKn^U)RHGi26X`xHRj5NL4rWJ(>oyzvuK zZYq}_)W1zZNAU^qw|Hani@$t34WIcrUvu@j@lgh0inkuJNZ1QwP9llpg(wOA`GADm z#TDHR&^Oe;48%O@7z&&SWUN<-s;R6gcF@>_bPUT#vlgh9Ah~-)z&H*@{|ykzlWDvV zP))dKIJRtegT6rDB@$abaYxNRGIyR@SaHR_EPCivPM|U$z#0=L%M9=#VErpQeZ1Nr zP-aC@S{8?nNSSyU>~1Q=6NQ#x+x;(fqUS%{Xv4*mY0f8sIeL)~DJeV0SE9w-|nd#|04QI2lEtt3+dsLAu zQVT5$!|0>2XWV9$jPr$~EDpPru-k@B?dZK5I7w{rT%Du5<#7BB(Esb zA7ij8U+>5UYSrckD!Q*l?ujkOCE>5Q#rk}aDBeu(@j2Gl4%18xN(vv{mWHv`+fZD7 zj)t!jq;BsQj4+6GBmJ@Eg_XvJOW)NhK1mJIY9Yj9$0n|9r?yJeD`vxUQ!5rdJ{|CT z?C!A^e?v-Ym3M|~tS5ZKANE&1ZZMOV9Bnw~?t(e~qu4SP1V1mLA6Am!XtAePEB<9c zqlk8LV4j$U_2SHyUO}&+2^oPc#-lC%q{0>!RyEA~PR${Se{Po|tg6ayk&Yb=52&W$ z`yw19iyrft&Oab}M-Gp%Jd10VIfr|42%=Oawi>&bXQ@>k7nYgsr`~GKoV9`jsBv*v8vF;+Fo#(y^}u;#N27;Mam`3g7BE2Q=YQ5aPUHzP2wYkf{jXoUtibhJQxvWXG2$^o#anWF+0DEey;^*RwNRH&@wL7MFR*qe zV*PWx@0L?^o=;JHg%T&)VmZ!%Y6e-xe0Mdal7pNS!*ukOeC9A^Jc$Xn;(ZB^4FSNI znz+J_E=f-hG;zIYVHc)gq$>UPO#ABQ$wj;Q^2LvoisOgxt13wu|Ms3$WOzvDNN3WW zo+n8$J3Bi$bn0;e)@ie;uN9jxS1l~sqFQy~xdv59$tvPt!6nov+Y#&Y_vRuCf=X&? zY8b8BRh{6y28_>!ZnzykTovS8v(;q_(-s9^{5p65n05Gv1O-m~HS1 zB|UGU2#$u2Q!q3WnyB;L)i&6;1I*BgI5YekI=hI@9Om3wbIDe1BtRk-jm1=UZsD%5 zFaetSn3YwPg-Kqt1<Ci)gDXG%3X^LeW0q7uH-Rb#3N9UUFZ++w@j3@PSIA|9O>j*`^ZyYzc)S76S& zC5Clt>tCxH7GDy&tZ_%wn1{~t8t(8jfYiV-x6tqavF!R<%_V0nlf;K3j42B>fBX;> zE4%J%7&{P{D@MYFK1B|a2aJJ`J?<<8#M=ZN^Y(UlPyYc-1BYfxWbKvglDN^>w=U1y zm54r6fxP$#M|H?POZ1E(W=X2p$5(u-uZVj6{hCrrl((rDm6s_ouiPP-e1+@1Y#_5` z$wwEwkevG~23-{JvPw%nmbq{m37Sxk0-q;$7Ku!l975S_SmWNZOfcY=#h#hY$o|Cm zyfI`E@S$iC>jkMve;objC$aKlg>Bvb$lPtCN^Q0u81k6^b-iuf{_3V+ClsMx(09oDA>#Qlls>2zF_)aBI`cf{&b2!!F$fXrC8 z9gNfU8-?ekbJKSPtBg|9uE(A!e960XXm}n%#(hPWdRcdBD>jn?NviJYy>;3xF1Z1x zki4aDJcM5LNjqw2xR$l6g3|YQ`_8n~<7z)t0MHY#LQ08gP!cK<0JCuSf)-7yLIEdt z>)9Q9`TI8?(44tf5|48T=T#QWxexxuR9cg~tLH)XvlB1Q4Z14YV%fSa_7LnH%JB13 z3`^#;4_0SXb)OSW;Dw%^_8119fyFiHB%id2X{O;`LOgR&1==P7k!w?_uBk~CEqcu3 z@$3&*h8UUyV{lddN@eFe>$mmc&Uj7=SOGSytlI5p&vOUD&+Boh4EI+4b~n-Fu`Tr^ z(r)e{Qs^)}uDzMop?X(B%*LEDFY;vjW=kDIE$cWJeJ{S{%C%SbD3bB z^3kS(>yy|7C;y@W!|*Uu;pMX zjXB+A!g+;Y0oLH`S?}$2g}2#sc$HK=HPPMoyN<4WX6n5@W7fMyPVs=4wLo(IwYp)} zBC}ujCrpFk%9I)K+6`=khxa38g*#PtZo>N!`8+Z|qAfL=j;~YIok11zx&#iKQN2^x ztm0~~<&`wTL%&NWTdyx@k*F2gJdcaxI@R=HAuFjC-k}^K+Cs){+LjcC=|?ULRuWiscSNf8A$uV~y@ z3NhOc3kKH^yZq8lY_*=pw)?e*_Fj2E@? @Mm=lP)ZHd-EIS))A!!2+?f^VcR<+ zf|VXRamp`SO22>mwTBdJ6W`~K&wJ0(+HA` zEkB{JMXoYG?Z8_Rp~vmHg8Thgp00ZGPgYjL>FHhS$q;0}GLj|Arp%K=$d;>+8RUfx zvz<7ZbOwae#=i@v1=iz_6yC(ki}MdEEt~d`un@h^Kp4rooUQ!&J7nA2G10`t#8_NP z(TXS*mw2Kfd)77Ie)ddG@L51aU!#Lx*^r7Ebtg@SR8bjetiMGSi4j%);B;XI=7!9ZJ@%%& zf(3FvS)g3$lnmtuft|vNMpjA5Vy8klTAwcc_dA zLv`XV0aJ7$*H*i-^R6d{)PY#V~ zYxf{B$b(Y@Iq7)L3;z&)65EZ|0pSxtSP%oqhdE1J@C8ePV7HzmnrgjY11rM@wGexv z!RUSjY1;$FCoeD8F!6pn+nA{^RT+kuJsX_*6g|ycd+H2qiB(|0wk7R=jE%oVW*~{{ z0Q)uK$hfHr-2XnxAs2t~9aXvR^2KA}@t+0Q{n1J||6VO-F2wp2@qY?%Fj)Bdt5}Kr z^h7UMe&73WHrxh4;7f5#{S-@Z^r@a|r=O(>mQB#;QN6EKfs;RN^iXLVZ{>mS_)a?V z`sg!04SevUTjT zAxNhJXmV!9nWaW#WMnMD$)S!ABDb1Foi)aQKCEri!}_x52Wp!C*9+H5+N`M0HQIi%Uv8 zTq5z2S|fEURfB&I{c18*2?DqWx`g{jI)T4iUOvD^=Bd35b0R7>y5#QWG>E~{pvFk4 zDqslO+==sZUUhvlP8@6Kigo7cWCuSk^T&?qZF?S2!pfX8dXRU4j|MZ1IN163>ik=Y zV>H*;jOgdTF(9NQS78Kfwz&Bvt!R`j7^U(I^{iz%m`5ks+7Q$c* zzsIIpuXXPInJ$Q?9Qx>mP9zb(Cdxo2;LcFMOStWeaO~A5w~KKx-X~9LUDWDQD6dkl z2v~T1PC3$+kNOPrkl`v_OrUVIuayC%1YM}m6as~B4BiexN@VUOt@Gj+964E);G6B7 z_=^E=C&2vJh6mYk*^)usZP}`%!CSS2mMvkm5FyRf!Zv2kI_ws$_Oq5>!;aq$0uhI9 zVwuC77p(Z<9ckeB{**Un0Q%d4ML%TL+?BeWnmzohFLi-lg@;b?RSUa=R-3ca-ELaM zrbaJO3#$!xrZbVYQ&YCt1DRh{y6}7DWn?TQJz2aUYc?Ns(gbX(g3)gE&PlBU?&q8k zZ#slABtH6)%gKxm_wajjnG1p#!H`*rQd~Czg&wFH%XdHB886&?fArN#WDs&!uzVn| zPE}aI@TpFNyzSLM8R&tcpb}Eeq2Z0jxAbWxzsR0NbI4kK&4#o7qCA=z%OK3QkvdiR z`AoDxChGLjtJVvTettJS9jZ=w(a+Z>AMA|hSSiAKID?Kz&Qwk{b$bPsx4>>juShuN z1uQ&R9Lu%=2nwpD6dv8JUQ|!ncXlRuA-Z0i_v@r=S6M_xwM`eaHbNAR-?wH!G2+oZ zJjW2(o6&J&^zoBQy@AO=S*5Mu+0ejpwl-U`*wD|dCCoXzH#jhGA|00XM2I1HnOjwZ z?u3Ht!sQBKQp`R73YA7Qe-vpyhL^2AmNyh)s0#Gdu_A|tDcMhQy;wA|3xeI$68!C6 z53+6DJ=kHq`!=l;zcyS(qxeEJU2#6quWVg_j}u(ZHXO05@(X!!vORgoHRVG9X70z& z%ca@PD}@zwuPgMTNMBIm;cY zZfYe%>Kc<}I11pu&d1NM;haLbhtBYtuK`1?1j8?Q2j#9x$k%ROt=2%4Hp1-Zux*@( ze1De84E;hSoZ}QyARk9ROcS)rlg8QT|5zAm*MeWTR3{KmEM>`phWs^eLgo=)nY!Zf2<5haYBQ^z6Du<0;_-vpTi{ zAGzfE+RLitgL)4^k=4GN$ z4n{N-MVhRmh7 z7sHs0z(vhaSr;CqW(&hhPj>^!oQ`RptXkMmfPUP*HEfZqzDf-MOW2V7m6`U04A=l| z54*vJqXK?5Npu{1q=jW$lB%AHT2(@AJ@5(bFS$PCSRzpZv5~6nAf+Fj&IJN6-^ANKbG?c|a zNH692-=9}&PWs(ls*xX{Uv}Lrb--A*Jwl^w+)rP{iGa0%TKP~wh#nM-O;hW}I)=uf z+RZCKGAYuo%OK-gH|0t4dYVB{P)Vn9P3s(>7%h)w*Q~P7w{w6*{3CGc{ z;x{!lO&r-Y(E@*JwX3YK?BVF=n<^STLw!~w-gZ;IxI_u}ST8%frXF$_Ypc!fu_@Jh zHgK;(lCaQ8V@X7}PtgjdEd*>GR2*kJt0(Iu=ifZ^Zis#y@B6E-84;n;j@cIX2zuCJw+HFMy`U&h-HV2Y zm08jmD{vmeyRg-P6JR$7;`m^Duv!@Z$M3_VlyQY-8KNkykbosx71djJN1IG%EX+2K z^%p6|vVA@B6eS~B$cGwbnJ$rm9lWd#sSh{iC)Mv%xHeVT^=#_Ans)gNxBwJ-AZKYC zYV8PteWe=_%@wHoy!h=~Y4Tl^CQ}Mal`WWwLp1mO@%!;{a|FJoAounIP+1#eF8ZFE ziSj=haq3qfj;^Xxk|G=L!JuT>XPWB7bpV0Eqpa8)c|c^j9s-a%nAZF2n?6+d`*a9Z8E`p_RY9{k2OW*!o-@%bMEM&1kJ*O{24 zP0@EQkv$X_z)~neC*RuA73hP65Wb?*%D;?U%L=P0Mi*NUWxN^sB` zmkkyKB(5+#?~FA`%ScZLkOw(CD7itJ?Xl^G!&oY~X-FJ~Q(PO)=6Kd;p%A3)2)O4h zOmNOT47hOBvdMRqUQysiQwP5LJ)1z4O%8 zQV{LLfZqmF27(hWFv~HVe5$o`Ugr#e^5DS6fR{HkRo?(k{dFVmG|^hE{@D0t7={h1 z_69!&k=P#`44^XEFg&?=sW3;7b=9Eom@Z{O|==A2|P{k5NG{P!bLdHh1 zI#7*|m@ye6c}HTDl!U;{X49z|7AAe*xgl~4z(a-LtU=k%w?i7tPixQr<*Gk>8Bude zhd-4!I44?T?eQkAhuC}wTNzJ|yi4NIw^k_i&~E~!+f!Y1QHusX9OOv}P(o@&eL4JC zPcQ)ghKua$T5AJzMH&QX=Jtn5#?^sDA~kgG8x+XaX%ni8p#GAcz69*!Qsi(MMBEjP zSw?p&VN8Z9Q5ayrtgPxi7L!}{o$igwo(J&65(S6tPcz!wZdk;!2?>x7S2Q*d4D2_? zfHYo5kE?|H-O6eMjIN$QEa(x_P1LJ!k(CAJXJ!JnfgF!~+KzC7U$;^*qmmx|{PmPz ztdKELRA^>D<6!D#oh$J)zIh}M6En!UCg)Hd4(vDNKU5@(E zIQ4(Q%&SDTLZne8XJsvIpwi0(1&rpL9`V<(pS>@_RBJkCFu!9daV8JM_&S1{$FgHS z^Vb+j8|;<~DE*kIv*b~YT9{wGKoxbw+Vhr6*+y!4g_IJ2VVEZEat!mEWy^g~F1dL_ zamc3n1A{=Iromp@E=8MVm$5OslsyX}tAXjaC(Xn{LDvZ4#*BB1lCC*}2TKA5Y5VD} z;lQnEZNjG-b#7BM$|pPzxE#4yaMa%AnQ$w_zYf%mv)p1+KJkZt$-DsH(H5rP2_8}& zXrV=0nWzu^%)cYxF*D(A8jZfxx})jvdS6Eco{tp5 zteYB+i8|qvI5Aa=L1DosR1sRASn*7YJ$d&P#IWRARHFHByPf_)amV8;oc^c++$Z20 zl=wwa^`EOeD7xN)g-s0f&F{y4*zp~FdeCJK^Ijo4+sR1s=Z$!otsI?OPW?eY>3#gTVC4VSUgswg>W*NVY(D8ZEhYos+t1s^f> zP?gac=!s|uayG4dX?MiC$l+BpK#iZVaCuYU%q5v0Tcz4_lm>SN9> zLd`;MiGjHr>catT`v;SLAYS2TIEi{{S|Mv?0rAm72@&=ck^~*9lJQiGu&GAe^ZNDc zh)$oT7lcyVglizhR8RI>9M%$cc*i)rv$s!3kgC7nkw)kc;OR~c$?L`r^6aPWIN1hZ zrvQJ`sWBjkGLk(ENE+ZOfwU}&1z1+wEB2UyEYG^d4TT@%g|}x!o)rn$3^9n(-nCb1 zFeXP)=PICa>Re2a8lC9i&N8C;%w@Kf%>z%~<8wX&3o^`FFfR zD?jSVkDyewB6xjH&3Ct(PJ4U3HJuByd4KVx z0s~g3%|=5E&U9whc3OEC>{GAe(Shwzzb@Zk}mf?JoT3=HmH zCWEqIsiEKL0=2L!7W5lmFEx^d!9sC}FV)x_d$=#1m*FJLn4i(Fp$5)^=?Y%*Y~kEY zpUB)QRe~P(Cw&V>Lzm0+!_plx@r?<^Rj!!P22aoL~Q z~ep;~juqvTr6VxukCgqCXF zir@rl>Qo(_Tw{(@T!nnre*Kc*8BtI=<_{N_M;UJK&YG<*q-A-LE-JjGp46|$_ZE}l z3WF&)gOROKkTk}P;Y1-MA(ow7Yy{pA34ok?SDiVABlkduulA&D`w9EUcQ=Ft{*2%8 zj4Kz_znrGLm4-VN-dBv7`ut6ZNV9JMg)bI@Du1CZwEb-i6JecU>Ui!NeRB;_h?G`m>DbbU)?eF;yJ{JU@=kH9VW)?jiK#)>3%6sYg7)a{)-x zaN9RnR1)U;{11sFtmlp$8#OfIlyJ*G6b#hE6abnmyR_5a?6iIgU*UxPby}aG_zVRr z9O&_BE)gHQcj|4#5LIEYR#?)cT$ues2BW|0o`1{e@t(`U|6(;)#5%#7v(}=5t!+%R zsvy}#<%h9*gj-YnS}N3Vfx8RYg0ZosH3DMj&qSf&k@PePx(^47WZws9sy`X9?5^xQ ze$h+a$IXS3GS_SVrW-=u;td~(&6T$ryb;f3z!l^1lTuIfpgq)G;W-U&=QJM5F6RnU zx?47%^NI-%+a4}sZl2pFF6-!}*Z6N3l{nmI8{^}o(N^)AJ+qa@`~d#9#7pZfyX4s* zHSe(hc!4J;6_XN83w`~XitBBrEnRdDN^{Limb4t7pTn<&POCD`J@;H8zT=hRB)<3+ zO@8KLxVm0kEebMmoltT!XuhU93NlK7?Nm8JoO^`SqkI<;gSL)3 zP`s3^KeBMvKwh7rJ6V~IXY(m84&e?1RP#qKm$WIrQ@kcTBmsjrT0A8Z_!YwbGt(70wSqHW-=N@z=nD4fw0C>lSj zdXCDgfa*j=fbU$jQ-?RmTHXQ+rGkazs%dFadfc-X89>=z(xL(710gG+8J4y+8c?P` zRPoPh6A%_65Vgs;FahZB$$Dqy^>W;HAsnuYp!J!JbdRC_tOxHF32dl2o-cd z^&bl64B&2AdfY1(AjaPeO)1wbVw0oOK@s004b$89BTS@PM0>}g$Bl%R9qv9&aCO13^V?6QQgRI-?>sA=Gdw)3t5tCn-UZN# z2-+t=1u)y$m7rgz@&WY3hl;WXb1ivmW^OyuT3K0X1HhA5y%w$)m)Fl*J;Wu=d2kDWe-FC=Anj4N0k-;2e)V)x7Psq7~r7f zY=~a)MadcX+PRCq)W3nHzASA6sRUnNpv2gm#Ff%Le2nvW6NUT z1du4eqg&31>&A2*;AuTh3Hn}tJFi8hU%Y!04dOT$X2xqZb6#w051<}Y(V_6PI$vaYl9=t7(aE)r5J|KSOJ!1&V& zwrce&tb7$|{Jc6EmSi)S=Ptow&EnXtaxn|$|Lk{;40`UW{(HoPLn4AMtCUB>So*)b zy5cwp(YcN@!15&rrCq1b&_FBVZ8!gj$6nH32+H}wNd@63@$tdBn4H}hAT54GWW42} zL{a82fF@5-j>mbvMP645yd=cB^#ieX{GdFqByUx=@Gw3^8GsS z6=d#OWJY2@YUA8i^8(`U+7;NkwWddBLO~Ti>|G8esH~N}N$zK|wv8yA*#u7g9QX^F zMEUY#c}>I=l4q$y4sc1eC=<0E*wKcS9tOQVj2by@I32WIk3c!rM0KefkUD5;M z!uS%a!xOk&!`|3^Yg)Ppz+5-;hyNUpQ4JYL{2JT;Cox$2AI4z0`|6>Cv!)>j2^BtS zt^^Hv|Mi~n3x6Grd9XNnY;;o;r+n<8qdf9AsdMVgevp^Cg*3SyIEV+uTR$At8S&o^{a!`%%0^81w}8H$V!krtiAd~2q$BJ zI8C1UyeA;VKpH5VDa(rlPVKnV22)wT$7L}wG1*|D*y&?5fEls2i6~-7?EpZuwmel8 z@E#Dd@&Y0zuBrl5arw6EV>^8gLBk{{eXNCJb*ey%zCjn`z1Qh8dK25+iX5o3orqi; zyKU!T;gYYSvc$u5f7^N*zGqvRpw@jeXXpUyTufIjb+^(t9~Ih~9vq|0tOlcO{^0l2 zY;~|h>Ta+@n1Z2Yt>=&b42ry6_oh;#7T1vHg>@m@?JRcJVoIyPp&Q{{$gG436A%0F{`m8sIQ< zag()`m7mR)+C^bm?k3Wf>GrUd<17j`2JJJ5(Dy0IKndFrT8{IdIguV29H`Gb@J zvNq3F0tij3$CNk?PQVXqRm9Z^XjQ{ChwZ&j?M^)PdoEs_=~Lb98+lx|hd%22o2}#8 zbtrWKOi0@u3sl_aT55dEAY|)Ko4TZygBpiD;xHL%eh{f@t(Gf)#JjYN1+) z!%POl1G29k>EKLk%K`Jl_Tdf26$PQ<>$rswHCLFyK3D+`ZCWi~YkoGQS4;TQAjKu5 z<|sR#g^M~q3`>B90zQAiJ0Mi&w~x7#&nbA8XP3=`V|Z@k-ANl_D)SvS)^#;ILB>)h zW9yaI(Q^fHL-W#LHbIv?*z6xnarfYH3tPK;9qOPa^dG{>j0Vb;ZC|vl6EgYM-1p@ zplo+iHYq~uRXpq}+j-?L)*a(AmH8mY1-3z7GJ~`<4LEY^9v%vMr?9$eRs$(6X zyL*3%6o-~Yr|!)V3A>{{NKk$}Suf?c-@CwJBl~Q2+3@#S%Eqw2*Y1PAn6)prWx8>6 z_{vViw*^PjZ$V~Z7L6|Yq~_1_)M;ttI!BDvbLp}7!VcMT(1L724f8(dByZk&U+Hdq z9z$wM)qy&7YY2+dGLZM$4>T%F1;M!=JF=z)g@2v5{-;nn_g}uFx+uqc^lzlv|JR>o zdqGPjSQcUafa=be%hUiwMu7$I#X!HG=cXGVT$zoGDdI*1rn%4>h7!uimicH7qYt%K zy>5_>wWCUp;J>K)1;_vc;GCf<9t*o71RBnQii*#~8bseqm*eyLX1w}mQVnw5^v(ZXs!_#!IC|K#CNTKs3tHc+ zKBy%PjEav5R`P5Zf_e%R{lrlWVSh1ZVwB@08DU|>L*}H>Jc_9P(W6I-(8Z9(3(DQP z0eB)ylfLg{i|0Hz13aQxtT`NgL;F9h`fWK0E|^>zD&jdwnm{i$h)TJGdvlqFM4Q8o z1?RKqh4g5P>C;zG`2>_;x=#gtWwaYk#{k7ZYF+muIGYa6v0$6l{SJbTOu`v{yUk@S zyLGCF*%dUJJcfQ1?c{uryn)bf*65*g2cdTZf+`lY4+#=42}d$2*#dmqT`KRWD#{*5 z*kn5rw`|+C4NjQ>F6wt3W6k@D#@_5jN0rbz3~VEB4I3MqVD`Wn#YBquI$Ju22hs;E z(9Zc|*}y%(570*WtA!hSa^9(}MD!RIRMr80A3hs8_qHn(=YK=-n_P9edj{0Kc=Vf) zU!XAsXf>9SF{CGe&!6boXjOm+orgB0LPfL~m2rTY1N3*$921$_GWo^?bZ7u+L9DD* zamClsiIM@SD5MSz+NKGP1R-5f-IqO=k z6n5~=%tT9>px*uY-FNrwQlh)2G}J$9(If&V2~RR68Hal7e=6~z!}v_Nmbo<_oL@x! zQLIFCYO9FGqo>O=K^XaYGcahT2_f%;rsg`)smFu4^D^f{vF&+P^kW4hI5lVhRM>F9 zVuPH!4c1B2?1Z-^kf054+Sw`HwsQUz7l{|&snpXjM$hD_R45Pn?bipa%enTc^M5_@tUh(RBR_)jVktBm*`06z&;%h;sro=^pp^AH}OQlS7Du~e!RfmZ{kS$ zEs#>4-+?;eMEtybYpi2%_B=!`9Cg00W$8%b6#FOBUc28N5@{gO%&e*dkBc7EzE|+C zyLe?D^7LEL=f^}%3F&T!n;k`^wCk6MzuNaNm&gRdm36-YqMfY*j`|Cpu4);qnE0@8 z>IDBKOB!)B1l|L_K5MQ)(+w1pxBV1ECD5B`d~@fEzxrBBP~kAzW%ALf|G~eZ>>1)1 z#4^ID0}Dl0&@lz$x@L%_eUFnN&xzdFM5Gcjp5)oP=>sJxj<}NgCgy~FYBIg zC3y!bD$zWlRk4v9@`5Bl^An?c?khA7XKFn0&8maITlb#)TI7hE$}La_()h8H)oWE; zN;l*vw_0sI&u=FNtLQ5}XaH!r(HS1|08&fp1BDnX4F zSDBIC++1Jp|C91E1n+mCFV5{=R)-sh?@x%&a`I>Qc@$s5huOoC5~$X9%Gc#nq(QDl z{GNHEhU==mjJRnQbeg@ITPje<#B&Z>LH9fsZJ&Rh<=tINKEdJ3&$%fe>ZGnwd48iH zw5g2K@Q6Qh)2)S?8cQvX+RO+@E73Xd!S8|ddUIq`x6!>)nMNI+va=8lGB7NrXY}_> zHtX+H4N=}i#gFzCX9f3ed=&{sm`b9&*lcz;bu$wZCLj?P%zxn56i*v(MA^TsM~1}3 zqrejc20WPcKI;j0$aan0H49scm3mHfjo=u%p5zQUnzZHX{ravE^sY*qV68EC{O9h~ zAn0Cgl6$Cf_v7ghgcd$ftlZ?VQyS1;Ix{$(|1b!eN6AxNZ!0pLW~{Fmf1*0cS+dya z(+1Ybro}QqXIY$Yn@;1j+`NL)YT7k>{{n4XaaLnCaPk85 zgN4|$`Oq8k$|i*j7d zM2~%^_17U#4RKgV z{RTqPe?K>g?Hj+-QNFjMZr@bN3ANGRrzlgUw5g6c5&g9%^%SZRSP4Z31p@M#iu2*{}<0O!hk+>N5`|?!2X!wWAUl~Hz#&P9UCdt!HQSaG~ zsVs#m2{oj&2K~^aZCV%_`k6FQ1y@o)9Ii_L$BOd*oTe0ux48>7Y5!$);#yOlDw0zV z+QbM{n@E~aghWq&{{mIx91y&NQW?&rgcAdyUA|)|K@kpcx@0ZPlxO%vJ~Nt_?geD-_;*@F{V)YbMyQDTZ&Q?M zV(4#k6F31>(J5pI6_LY{TPErSATB^pX@sud0Z3FpRmpajvc=4LuDu)CasUNxGRNx+ z>QkcO?DZPRQlUVk3NrNfZ9}a8PJYtvB^mW%IIdq(2elr+P)fMMxlhoR%!vSfG1@x> zeUngw`C-;wOxecWX7yOg^SQ?FyT-rBRA8JSX+$*;)p`|5AVP-|0njspK&JqN+ptoH zPv6y*QsjkD%0isIt(EPd*YQ!$-HlVS20D)p?Uw(u>?BM5UwT|PcvOIR;Hz@{>iPBA zqWbezV=*W@g90-04!c>_dKHabQS|uXchGKi@BicO-Q!}+`~UH)gxIJh#8O)85K%cq zXtKJo>(n}=9I7F5s6^>NO*4oVt?Z&&rCC;@bfltaCaqdhSz*#t6G=4HluT1iHNWTk znsTg^~Nw#dRy7?y>h6%B(znu6r=ax=Wj$mzWkM0+)v5fs?q+uYMn2Tk}d1F_M=!yA_ z2K}|UuKgpW=2eNW9mSkM!l(9vdp)U5;51Oi>Q-NG>ytwf zyeqR=F%lrskLOKPsleYL5A6=WT~+v;Ww0)ysg62-5~?F@4g*nh7m56{G8c z11JjPqtE4;#>Z6=Zl^iP$W*zL=Ir5uz1SS-nDijJW$4r;j$hlLw?8(oLB;1p{>ZV_ z*Ja!ZX4S8Y8>$((K6mTTz;t%j&dPzYTD%GT(#*VsslLJ2Yz?8?FY{x_3Jodh>i+5Z z)NETltvK$%SB>|@Pi)kAn%7Jvk`<+^1fCZaFyhBt5hTIt!kqvFK+67^I~|DHSX9}w zFG_#fVy+<^JXk86o>o`lCX`M$5_;aXJgU$VZkNT&J-Nb5;x?yCFpz=4z>p&c*c-BX zm|Oewi~fP|g~_m_aJ$Fp1f9xX=c~?6$+#Jr|Hn2#tDPu;E1EW9=Vfti{G=-xIi8_* zD;RR2`7{5r=tbM1*iVnosB+&uWj^7sm10Q8SzvahXVI1G zn(n?b@45s_x9P+Yc9FQ+7gj{lCP*5e`|0g_$%jlNqcy=q{@0G+hCIFXe61S~q&E!@ zqR9_zdj9+A<|THegS`m8KXuseEBfIoygu&yoaFo^)q*wZsZ;uW6P!DjzBX?S;3Qd< zV(W_AzQoIyr)1%rQw>i+xpSJ*uuvSzlK6@;WS?moD=$#Rgc2c!DB zKMa|i(TG2mN~JOsJh8lt*m6Y&4`ZqXl9|~ZS$geR3K@)nH5JwWP8tk%yx?8`@|sw2 zC=l1j*dN<&pDsxq0p36Nl&GWL+s(qSrJ<&{k_5jQ0n{Z!&21A`PYT@}TXfD_f{=im@K8X@v8 zoj99?UEU={H?mL1CnWHu5Bnuk=a>1RNLj0_Jx>!(-e9w8)9O;heize$gnUF99p&$v z1+xSHoh(+zE%Ncn8{lS1U88xazn=5B<|C5=8(ymBJ8HIrz`QvNqeM1s%#$vHD>A7 zB-;l^Zk@#`^c1E(T+?#$X70=2^K;1QH44Fz;GN-svu%)nRJ^!tYw$l9dhsu=?ii?f z_#81%!*Gl{%hPU%z$*6Q(eN`Q)8d7HB`XEqC^Ag*j!EjcE}$MQZEO#GNP7s!T+Wy0T8a&TMvzg;b=dRsAuEJUxXqB`MgXgz*P0j-pjkh=z}v^QFNA zOsOk+x$EoZtFg^I;^>vYRn%ul%Hz4*#bbQk*dBi2m7?qHaG4^?oRJE9cU~Umde}^3 zCAo}{sd19Jw4+t8^ZBDz!W3r9B%Ni7zWP@%Fo5xSO$V=Kh~g=?Jd-7db!N6jyZpp* zxCOLrPb4wI;gKin^zt<>ohCzW=FVY?Uf-^Azvhj!q%F;U~N_q7kGpx#HcS@z6CDZ5mB-z%+iD1!~R;L-S z$apPP{Bc@^Vlvg3evsQt$|*iN|4*-}!zRKaAN~bOt9u$2E*sx4x!-__p4T!nmxA=` z5f4KFpNpjAWMbS*>-AKP8UIXO0_hQ^Be&5003d+Z{V8HjAl?JtPWOpw;_L*MBtK3i z#)_;4PtsTNkBp)w{C$S4J#ES5OX58yzb|%zG>I7eL%OsMnTM<$5)LL}*Q1Ueb!Mo8 zR^W|HhW!E#gm&1Ccdl>LLuIKk|bF3rb)KIywSA)ke?R zuH?^L|3Niz-|+OMi-UIly8IMGtI#B)gF>E%2sJ)72BCYqY9h036b`3hUmyM*_bop` zF*OmjJbsTiSaX`uhv%pI9kpYddjSev!*05hOVL45AhQWaA3KfrJhs94T3_DwbY1|H zgen;AIfhU2)5t10ao>H~X!l>21F0#=r(<*l_@Ir4+IJ=;GM=r`yq=ztcYqFWKWcH3 zmegCtTKUvIGFmHgsu_j%T&1|X|J!c)xg$63j9@2y3U*ki8mGSOkK;Lxqeqda%^33zq`*1*W{~q{P>PTY z=z=lJna+#c$e@FlKxBu_6 zqlyrnN-WW%C@Vr8&!yj7j&6$uBHhrmBUJZj)e2fY3p6pM{ zE+pv%KC|oFBrvCoo7NM7{!t-T8LSn?#-yj*fXYYc7?hUk7QdP)PfT@VbcRclR$GKi zQ&zLrFJcaY!&Cl|?H6NWu!sZe-$udjZ{3V(1ne_bN&`u$&+iXM#C)szzFAI}SC>4r zyKHOdwH-67R9D${o;dV!U3PI~Q}b-V8aIUSEGn<-$bbF)BUrh_S^$FX&|||1n*FLS zP1N}kRxXv?&f3iu^4KFsju^q4c7;H?!4q-?3?xddwY&x%>`9t~u?t`INzDD<&333A z$+)S9S3q|v__sOQ zf5nf-qy*|!7IySuv~w#BA?v?OO=p;4N}zM$6H-%v>u`j5ibn3%ch&1|=?F1eFGTuA z;FOS|7d>f@j6M-!lH=8Md;)MA+I4f}r^KexZ$#I3H}SqiV~Vphh#XS<^}g{TFlMn6 zKuESBsE(8dO@UBwl>WQ0bjEJ8&D?;cUDY(1*3F4~gFDkU%bs*=VXeo(jP8A&@QY}R z8kn?Iti)Z%e9s(U?TT+b3amdPF{K%(JyPG1mZ zvjY5Zj;hNW5Sp?C^Mf`EvLLaoLQz<*Xqxd`o%hXZ zv$5amEcRm9ZP9LCXr8Wm#qrX#qr=>rd!F#@dFh|>HI?>;%@Z%Rmk-$?x*4WAe@%3d ziD2lJ#u>?b)^M)8kgJb>9e1gH#m06sXYD`#+W715mtyX2nEbR!MfLZM#{0$|iGKX6 zsQt9wf-WNMh1IG6Giq0anwT!B3}!Bd)U$na@?G}%yX{<4BL+FPKf40y12UANsGw82 zpu5jyq*M!1lMUsmt{wV8KOQz|ZsQwUKet%n)M*ty1ZS4wEbE%m)9P`Gn!iNTnDV)) z8&fR^WlSd_d_14Lp3XFap}q4quW@q5K3gQMs*#uLWrbnJ)LOXlcg5o0TP@SqZ%!??%E)e1fH(%xP}WGf^IN$7N2Y-$4P%URpWXo zmYj5C!vl?Lpf_v_8p}tiyZ!wC!hnxz_yJAR%Uef=u&+u?JndxJve<_;t4`TlTl02j zxC+Z9#`Za-|94w!HCNFF_klvV8VYzm(wc`3{)!G6Tb8Y9(cba!;X?u3={Bu46~|3H zjCC-c;*qs1oxyZxH#WD#re0bZY|&X~Wzq3^I_Ca!=Dlhdhh+VYhB;#>@e*Wo>jEX)wAr{Ynp=u#-t33WNKdIm`qXpKDmi& zFhvoKJ1S^lkjb-%>2i;Li$)61j)RTFNxW2m*5R{TAmD%u?=s;iHH(kcf&c=SG0{qE z&lTFY+(&S3IH;OMI1B>t#V`{f$`RTlkmGn1k691v}h|Cia8rEa*pHU<3Bqs7*FM+aA#{O>uw=rxa zc57}-b}x8t@qU!V^Eu0kdT98#zplbfP@#Vj0~ci^=5LHT(ME9J(K%Z>r>v#}Yu9&x zN6_J%^XDw5LZglx{AZ3;&-e2~_o06j%9%Kf@*ZzLC4FIcpP!S6)^iG4i!FU7D~Bl* z|HXy>(IJhkUev5M%S&Nm&ck8pe*RoB&us`|ku5s127?K*Uq(eekg<3&liG8VV~t1KKx#fm=s8K;Qatvly?Ta-!?_Lgmzd@|4Awtg~bNlx4<4c-P z>c=OZ9oMGc-giB_A!$U2ORu@!b>D24?5VeVxPZH1mQP0P9`Ui5cvkh}&GL3{>x{Z# zdGWa-xCcj8-(%Y-vT;FG=wSNs8=U*$%5aPDCOfvJEQAU3nz;Ljq27I-nYbRDlX3Hk zU9f0Kd+jWLhm%Fkm1$U|)8i})t8^@yygW&Ov}9?xuzMnJj3m-ck6vt1|u*M zMK^6laNK1T=k%$3vP)-fSjPD1X7gNq$JP_u67nS$PP4-;nxe0Yi-Ya9r5pW#3y_mL zlB)a@2CWWmt2mG`7uH{vM)|oM^At3CPrQ8HZR?Y0Mz!T|#l5{nmWt~R_x1IPDaX+q zr#o~>wE50m#nz^qOVAvL>%M6#*`DSKBR%SZMGICfp4Qb+?84Rt8dyZZm?ZRO5XT_F!8Le&& zW-ul&GtbgZ=Z4Xz#VVKzvP!&&ll44GYS{kwFuI=SS1U_%H?^Qn6R zSeMpctb6`S7@XqP=Uh|}epd+#v8CnsQU?W?|HmQ0vQX(n(1swkMdSNo_iOE8Roq#U zA#nYtg22JjIh`Kw-D`dLdWbnnOG~i&-VhniS%kwa%^Yg4u2Rqf-; z7D)DNth;bS*8I@`t?{HBorA84BeeYLU31)ghdw=%7C5Fw?sCvU!s`@U)U*8B>m+kU zGEen0!6um^nDrN{-@LnwL~zh>=WiC=&oy5(!s1?P9g;0vl;H1Ej=zRHBDEoHND!3M zjCs^bB7xlbw;38O?43cnj2U;>df`^Ek1<_P&sw?Hq?bvKy`IMTJMFl*lx4Sy&W=|H zE1W|;r8Jca`?Bprs*(-!!ee5#-$`Dqq*B?PeMI>gj#MfeGMj+rg>Jq-&{O8axk*Z`0zZvz;Xw(>Ibrp?>j?pTg z2oYqz8~hSaqonKQ(FW)M_$o%YXH# ze`L+X8$_t%4V+A_uT>o?&$PJEyBNJxQ>FyeRfD`&PNv~@NJz-%mtuJb^C!b|h%*ou z&U|O*KF_|V7a!oO1e;vy$KY)_b-q4*yE^}Vn_mbNkW_>gUU{aaBB3FExtIk7WD<}L z2Oy)D*Tg*stpkObG<$q*lB93iSW6ZkgWWz4*Ug#rBr zIat0(v9D`cU5%o@!Uq?*c5UAzuM+herZ7!@yaG)IeVr5=8=jm!)p-AkL5{Vc_RJXk z_MMQ$XrUujNod{5#7OyGAfqsy-lYE^cOj>dh#`=2-}F!vKAf^qVeWG;h*t@FC#PR; z!SB$YeUuofus?Jh*~HX8jC2}wWAtHD_wkePS|2r9Xw?>DU(Sau5gz(+yN5#^2)Bff zKlf)2lDuEsY=A<{JMIO?{p#(y^7N=E)sLFCus<>-c0G*WDTdf3%D(ZUv}(`dJy72@ zME#(&Kz*mbe7@XkK8Qq zsQnhANGeks7tVsK*RQYBSTs_U$?~1RUmdq-#+O!`7~= zWj$O%^ZO=dAh_E#TicY`w5G6*>bK0?xGtmAvo_a1y&!WWP;KQI_y-to5zCx^C%Ja| z1i~?Her%uGaxK?lSH-R$n*4F~809;Zs3^~resF9|&G-AbES3A2n~r3FU@T~joEvp= zN9|SJr$q~&tTaC$o6~hGMK9@zPh4E9Vp<&E33(Sb3JR?qEcFu4^zmPKQIyiYb5_N$ z%>ZnKZC!Tm z#3`gTN4Q)S_g81gOe@oFXf)mv%BJx}8oY9Lhk#uwZ)p*V4rEF&dDV0D;~mgyOZ+(W5OD~XRIZuyyK&rgi zAnH64O@nuX4}GP@_m$?0X6cOuakM;BO9vtEv9=wasD6hwa&$BDUYK z`-asDjHZ^7apL@Kww*pWGPsDi5R6XH@ScGK0ETUm@eU5sw&Y4WdU6gECK7o`lfSzU^?oII-d7=}{+hITGvMt~N5dyMIJB{T)`KQt{eoSXr{<&unc0IZ}VT@1p@QaV~DV-Xru=5d3 z%Oa3z=}=(I(nrd1B@OIthMdP?S**95B)?|rH=}62++b-^U3U=kC-$gZFnpd%G^Y>FKN~#we7-2iOgM^ z#^yYq@j1;56}@cb{J3Em0#943U%5ycc7AKKy(5lx_P zybkQ3sM_-=W@sUhr@G`+g{BM}VAfhQxy}xr4=jtV&qxg_ORjfl=KzW9z>UGr0`mw2 za1wwg|6OQaeNRoHpChwvp6EOKx$RN2Ua)=vm_XG_G5fsU_ld>}Et zYtOVD>W75Sp<_&`7(+A`xExCsUL0BvufeVI(9ZmF2cbOGm+e|Fk$3L*IFKkmK0r2c zQ0c=tip-`mS#h0Kt-&v@^300_;?^T7oQR-|7_P3kmGL~u!QCYzQn82uhY|yF-;S*^ z=xuJb+r@FRVM<4YCbKwA?f&xll+IW>nxJ@rxn2J{G1Ol&=y4)xJ-Yp$bZ>N36)C^Z-+=?DX4w>y8P1S{ps>hc%v)368 zRxr4QBySvFz6}eLgG@Ap%vmE_N`*n9=H-7`x@j(HkUjn{*)iz*pd>->Ll-C0vsa2g zu69jZmqT=!RiNP?DV+{`yJ`5>@y99nw-Zx85-u5*XolZ5`wNiRhRBt%F*N z2kCTK5RBcbp6RvPhK*@TB4U2^rqz@3lCLW#!B{145EUUBz3nvOr;-bO{QlJZxWftN zPiJC{+#a$|4H*@#9W1i|CrhKmh^Bi3YYWDzQIV7AFUHNIwep@EEqhz01s)DV3^v?% zy&iko4Z4}JDcB(D%n;j*`q3c*`P5szIRnW>%G`CZDmbtg6aGa!@Y2Zgo#kt_ZzYdA zylLUq-T;~o%fp_DOvw>X zsUUH6uWl{Q1(%6Li$j!0gB@J}n}gmrWJ%EjJ3&9}jpG(3FIZ|{uv-$ifL{z;h_pXU z?Sq{TPwb)|$+c>aIVOPOhlJ~tvL-(q{=tC`;=o(8XYU;euJ~bCu5wIBTHJLb<1@Xa zD!^`B=zN_|wU1q!cU(Sd9}h(5ME^dyJ9+5D+UY-9`pp@EQ_G;~zTj>sZ6coaTQpj; z-(6)(NpZ-Q6q9$cwc29P*P^c%FgX7P9)#k@{_ zbeim?VKdMTCIM(`6DI|#QnOWYJc;yrF*-z?S88$A3ZFN&ex0lCu=2f|*016NIPTG{ zjVSh?*MU)5XM~|{XQsrhj;!9{v68kau0l)EDQt4|?Q|(jsB0bKrM9XujVH_$hhWZ1 zQeth|+{9UhUr`ZcF-XH+dVrOw*2H|MYUzLcTd?hMJBJH#Nud&nWW%2xY!=- zqN(2XdXY}*$^M;l8@ZBx|6f`?>6F=Ho?0nV%rSlO^Kog;LU=?P%7UCsN+I!q9?UR)E$ zh{`NDkcL#AJL=DCvoybwI$Ik2wD0b2Ny9YQxf?ypje0TR%-gmPR8cG#AM z(OHP_?be-^anq+y_imQ#8_Trq3E8B%KplDfqKtM!(%}04Q&?_d!rW`dnw*UXL$H#48p8 zuyd1VCID(YNEt>wh&plV?6_6H;+8LrJ+XX>A$w(GPl_%V_!l(t^s_U@Cr%>5n6!}p zJdZf?DFCipfU|7PTgXig8y`YSdCvYy-(}1iv+J=s87XnW7C8-1mi?vU%Q_Y|z6-bt zDp<7wgpC)EcrAYsBY=t7tEj<_ch@?&o!0D1mGif%$EEHgv{i$s?Ya7ThMwAf$^wAW zNwM4eDE*GO04jYlwx*cw*yLbL76VfApXk#RjUd{w==RsURQOlAHtuv)>X%kc5b(Qc z5{j*t)yR6UjYGlO8~1YTN1<%-!uRnvdP+qkI2(a(WmC*Gq|p7ue2)Na{Nt~~Sm|V{ zwRIW6-QMFTP}K4Jo~NCeV&#xJoz^U4v7OmLjgLC(++F3lDQvk^6sad{+U)D^TF6Trm3WxfQPymirakW; zggzZd-k^PDyX}F0)F5s6UiWK#C6gUsLR3>18xN0aNv77^7laidla5Vf50`tCpC0RJ z=Uv@-ertWH#q4~ojUDYxg=`k)0o8>1>_GO-81b-4mnVM`sMpz9Q&S^Ob&X9n43|Cv zEdgkPr&cpV<0~>rT6*HS8|B^7n5(B~j^_Heg<~5UV_AR6+(bmuA@lw@xe1D8u$*KSU-`u+Y>}LyMr+|uTSc?*2Yb0 z5EYMT5EJtdOC14ygPAZs;8=S6gd=CSAoe{(G>t^OhJg!$x68_X{fLLlwiB8Z|3{SY zegPPx%v*R7D+}|nW6gVY;7Uvt0CAO(=zCC$%s<6QANmyJB4m@&!*CJ~VS|nU<~~bp zpkLQ67j6amvVu;#1~rX5y{7q8b1L-Xph7fSbml5r*!B(%7Q}f$BL6n(0YdZ*TSI$@ ztqEH=CT35@*BlTRChmXstW5ByCSu^5na>Y#v8lwRCZq~=V>pSx68YpDojb`;Y)>gP z8)A|JE=3v{>wrUIh5v&tG93g97@-6u2|MB9(#3!~M7E-R9HDWYpeTimWV2Z{2HpaF z6u|<>L}=El7Ansoou9!o8$)PJU2T5H4VcY~Ln82`?u zoeg5LX(yw7Dc55=d|V9k#9B9<;Ny~UIBBi0t;NW~2lvQGgi)P~apzmi0`A2vQqU_K zLe@_pD;wex(h7QGPD!Nmqf7%< z;1l|I78*!N;k_v6pSQ%j4~k-v14hm4B1DAs#n2dk-iz)Zq>zCpJiPkxm87{(o)k)h z8Q8^r=J&uYT&s^V`rT<3P2^j} zYMLUiy)%IeXmcwJu4}z)&P%O!DE`{^mZ)>PJbo=ujTH-7K}n*%S@p9KIVr19 z=#_4KHd+h!9_pwp`pOeu@(yAEBN$btPQ)hLncy` zfzj3=!vx&{CaQ?Lm(o(l9Y*aJw?9#~-c}2c6BRL>Tb_Hvzr8V+*YPr%+xZ-ecC1ch zXJ}ml-EQ8pU7(7=)JZ?!CxH~qEZ&GzaND5O!nDmv>rq1NL*y4sP=DyD(_0Rstxib2 zc&!N6_9J`^cZ8maF-};N{pjIZ@Z%;NK6^1{8$3$NJJS@+qE3-p`SsnpbAPZCoSe7p z3c@#@>QLx(InCNS4*V_C@mU8OCgkc&yHkCx%;roVN2j-hMk*-SYxnMJKNvvpa@MTb zwqla_*tS{iYe>~h!Za#RvudEvUg~@x2@gs9Ce=0x?xEs^HQ7KMTyRSrp3ApZR zmqOI~sF5+!zY7?GB?>jk`3V>}*1Z*6gX0hiadQyxA_}Y7=okp5Z;Ox-c4teNaa zqZ(d=&$aB3$-#&wCwBb$J{!rLAtq*W^*TTa>{cU1m7aMYmIH#c>KOWdaSdy4s$Xkj7ynQglIS4`F{|w=`Fp+d%hrGQw)sdbyB(lcDO^%M+J2k<-zR} z1vRdCOoNPvW~jz_o)nx8CTKXu;GElJiTVeDxr^e;+|@s>d<}c=X?_CvgnJ1DaoeIl=qG;wKQ_6~~ zgZH+{hkN&Q@`(6kj(Qz!v?!2ZSEhBT^Q9}D(tt)H$@=_-xMJ~MX+F%e6Gq}@7{$->HD#~OqVQ!qCBQuEd7evpg zZ~N=7x=n!@&90(y>BS?OU;CNQw@r~$m)HO%fRr6P$`9#hWlI`*XD~WUqFyiKruqon zZ?d?g#8Unmg@&X_M?Juv^k0Gxrymc}s`(IA7(_=3`FdJgD_z2)i$T^s#Ky z8Rt|w;rPB?H^Z)vm(7LCZlc`gnzqt%`@jf^WA2_8X55nHOK}iBK>K#wB!U@g2i(Vu zSF8SK>Epx)ejcr@xu`ICcS)UfNL*%F!L6^Z>)c{s0$pY8X7@kpDyx6tR3Q5dvhk*XwC}a#{PA2C#ZZ3Ft`3MqU2q@ z*N%M3*BKHyLIc@&$|j|Ru4yqh4~eDWH8KJc=2yDZ}E5x zVTdh0;qv@|9;yZ_#=8ZJlTK*1S z@c$ifT=Avgc$i`S_1`&H`k&k4Z)wm+GPu(-mvkR z2k$xGC~3T0fJ~SRaDuZ_IA}xNm9O_;$Ii~n(a05AdGA)obwNp*`f4omoGKIFeXNWAjy=E~ueeIS8XAz0 z)vb+Nr8j6cNLdH949Uo}quH^4zssiIlx*An6~&)4NlQgJ^v2>GK-M={a#N^tUMFP< z7?z`L3(Wcne|qQ{TE`dPtE8x~!6=9Ln}^O#jEOwYb|U0*kK>>CoDTNe?h_@L%K_X9QkR zg6#IG5x)i22p>*evZq#;xyQe8rHjf$VR z%$fJF59SH$w=QW5yx73I{*|D$W%0U9;SFA@h05drA-D7DZWr)cY&eOmU(>~Bt=R}a z^#rS28VOrjP6jdx!cn%nuyA$GRkv2cbv9l~2E|M7H>hY>YBgUp&oUjcr~mgu>53c8 zo2&XwaDB4|tp^msgb)N5EoO7G_9x~iI=8?ZWx~rlFe=gyn*+#>xWp+jq!~b=Ry_19 z1O0w#fL&ATb&>yFnAfN6meVb@4J6n`(s zfF_HK)`$v8f9f}T_Etp%Ml!t_`Vp#KH#YqRmA^~flGcj_2@15WwFLbL@Xpg+u@IoP zSJ@)N1liWZn$%bXNhm@vchu~M+isG7QL5`{kN((b3v?Pe3SI* zmuN^r=Hz5bG;34{*Xz0jrW4!lBwznM-zgOHSC(i9aFz9!H3lf1t~tvduTkCo6NP5G z)i9?R7Bc4CLZegXFJ{Dlqndby!QB+x4ZYmFrLKD_b)<$mq1=;Mv(LP zB~iUAjZkB5y*(f_j~^*a5!6-%C1Jb=F6?*jTnzswX!h}wSkIBFb)`1CC8IbOZ<|@Yy5>#W-1F7mYLDJK1tf(~6@O=LbclDPwL&v`4Px>) zR$<|cDh>IF^~U5$6<0oJ3(3Ti8vgyli_oHGO2$eTywq{jyIE;CZ|3XLV6%gP?zId% z%^wSmDhxp4C3%+n>VOetl}nh(nJfrNk9RuUm$8P;O)Qj}D6GD@$<2DcQ?pf(!zw%u zx|dw{j(&A{`_O2gi9dyG5~bFi^LNr&+{oMAxu1N-`kfdcK}65XymswJlN@6gbVtkf zMdT)nLwWgf-O26g;@w9#`D$1)y=r%=G_;Vfz2VTRSnCpvtW)QIgdzZY-d8?8v8mNx zk!e*SwEr#5`B1sjrlNRx+WrVuuqahxHr-7$Ju=^;?yD1C(8v~cBsr!_+Ns5a1V;7W z1?I_w*M#e=ju+gmm+Ugh#93(C&-@sYvG)O{aFNVwVwEs$*E^`3wyTX6~y!^eXp>uRMTvo01@LR~gBJRwH zxm&-doy9QS(iXw2Ip#RgRgFo&LQ41cy&Zmd+=>DZ!K)lr|9+`CI@Jv8_6X*nOnVZ`*}rDT3TW2#X=83VcRvw z(uZlaD<}NLhz=H5DzBxUq_AEp-8Y0|Bzcn%Gj*Br@jSwIu0fe?wXppGORmd)(V^!n zKNAVQo6n1}KOB9yE#*{cp~ilL&gq40T9k17X(*Eep$!>({!9uE#*N>^@m0YglT{t* zs%?fzc5h=)m@QvRXTBc3Z*qmUK}Sy{uDRf~V5ynZQpf9OFt8##ic_+RuXS=w>0!=T zxM+fJh#cD7Tg8v&IQJn7Ut;Q)zw8-wh@5HDPcpdJKQ+2zQ;}m86vsc7S5+M19hVDzSgG83>M1u{{Zlz|H9(58~Eq0=LA6hfE zU3KYca!xA#Gj)ka>{I99tNr=?+gSK^KTY2v7$ylPvd$`P*ebY8Vh`WLu8LRzo>fPt ztW7Gmz-EOEXk_|6DND{hasS>|xV8r5iCL$fdL*w?SP>2{n(Qwja#d_ZH-g?|)Rz*u zA`Iyd{= zqkbD!+CzCygw1#|#Mq0}C(4wx_|X}?e*G!qLF2P@rU+nHK$@dDEj`~14c~TF%w#1# zLs5Q1-mHJ~c(gZpdAck=AErpw+=F*PJK2zy)F;{)AF(GAj&ontj<9tiaQ|UeteatzLC!gm?9ic7n2Nysf8Z$uzB|sI9h8v^P08U^LQ7$U{Tmq}7%u z0ZTyQ-|{4o$4gIdBYSiW^PFx#O|T2BmJtCrG|8$L9ThG-JgBw*8`z0Ij?^O@b6D$y z@(84o3EasBCOf5@E{wk`zMtqRUBz8q11KpbW(_FIX`t8H8e)S9uru&Cy@2vymL`VB z0tjJ{ZRF1%U93e+cILP80T`+r_Y@82N$LC>ed`smhwN0q=CB>}oqs`_g7)HCBKHM< z@AmE6>uW_lt@w%UCT?m>H{#r7ICuz41a?(syf_>r(G$yU1X6%aK41$>0-Xyqt-AS? zso~x$8Uto*C08Hk>(w@{*q)pUg9HHoWUeQYZ3;30d;{a@NRLUN_`-+*PCJue&cp=> zrW9hX14acyh+PulaQgy%yjaTd%^UDSZ5Wye=3iUeDaJWR63mgd}+d!gPV@!w`Kab z_`~%QoO&JAMB zHN=mgu#zN9f`&7I$-k(KeRpRj-hrftS5zG#)S5dk@72tJ#NW46HNK-)wkGCH>H#V-zJXyH&@7{}Gp3DzZ zK6~36>jc68z|2GI`ys~jl=DI$PM9#O2OeAlQzD5pm>HDh(V?WXat>*^tE?EU-173q z3}*B(5^#K3_{b|>UtBa4ETQo881Z~ZPM#6`?LHAu3D!?pl}0zW@2T}riTE5C4@ihK z5DSo*f82A40nqbW=XyGUekSBRX=}7 zbJQMx^OS1HOFsjLDNj#%4;9Xj-2<#o58+6s!f`xA55K6~V_5gngk9yC67B=36^Ykf zNrRv?A2(kRj!>LY^54v}jy`0&{82q*hsJn59{F+F0G|Q8wc22$vYkL_^aJk6I^q6SVTNNAJb^z+OsR7LWI*u0Y8&X@% zsRrZr;6YuT2$svj3gtBx`;pCwxxF0Z=T2V3Nb>)5)N|WdjDDD>ZEQA7lzG+L2ZwLbECDT=?eKVsW7P3qc zyY*L(8r>K-f$;*pXB&Nq7^JGJ)Y$O{jzJr;jnukh%=I=zRkQO)##=1U@9blj^S^<7 z&jCS&+7V2+a9Ru^WOU((rY;!nssUoGZQ%O^Ry}t zaq<2cm14|onvxAep;#b3Idlv^vAjSsAZ2Mw&+Za`%R6F3d3jY;72zJhSl3-WAMlA; z^_j87r>)c*9?<32(&Bd~S`y!X*X{54jXwTSlfOi_KXwthCyaH!RJTt`doq)exaxid z{31tOQ@?j=z_zN14{L#L`G`+TVZ}a*ykxfY&7I_9iCo2u;Wn)xiCfG-7p8#y% zv%KdZlN?61Uqe`G_HUNKWqy$vs-eL{^D--^7xGwgj}h*fb?hRR!bzTUO;XG%>@ZU} z>G{^?77SU+B^L;1)*H!Rb|R|R&Wi__fhB|dhY$PNh2f;`?sZ!HWWMk4jGGB~4WXic zcAcH9F5`y8O!r8G^B(#>s`d2u_lNzqovVm9)E^ToM#EO2DQf!FAuM%$IKdn~>!av+ zZU)kO%)YtBBXsLxrw+^1tLMdT*xH0w4$c^V`d~-K_;9alZW@85Y=Ot{yhOLp1(^xEX%e*$}%c#lYPds%L`sE7Ay@iDo~`d3#ACl42y`SVP6 zApGwcW2jQkyVWH!kJ{LqLfzaQcjI@CxIEw&Bj|`0hbS(pP=43p@zuMx<)C7xp2ewk zF$qh;2QlTPHc=j-Mk(5j$F{{;N<_1(b61WY(RR5$_O~`Tyyy)KsOx*dyu8AOn! zX_f1I-9(;%!6b5qD_0R;DVZs<9Hz?DRemq~0cK5oO?^`@yhO>v9A3a2px(p5ve_>3 zrrvCesFE5-)*W7cbCTW)=`NA`eY;@M^z-?L`IfouCaHxMrA~XUH{gz}^~Ctm7UbhI z!FqextV@CG#(N7o0w+28X>ix{YYua~>bAQ&vr>1BNcPfXF1AJXpzEa4m#|!i&uhk@ zr5O8%pa0Q&T9)1(PQPCoV2&c(o6A~~@7;5%Y}yTxz`{jvt$&|=skvSbJ(^jLGhTPH zFelBe^NpALhp@OMSH+^*W9-nn%0PjCn5KUF0`=4hmr5dygeUC+b<@OQxqU@Gz=HT2 zw{Gu4?YP=q8Ep0F^Ngu}^I&fO8+_B?GN`$aIXw@o_x;(UOxowLUeR=MQoY4Sg}%bn zyQfdausU|_wN!~nBi2;z>S>pjrdjM{aqWo-RvLJ(!=+Hry5G^%;==l-ox$H1CREas zIevecwa=0)ZU6fGzPFw z_Hn0)RXY-Jl5h0X#w8oL(4cHh|2_?2-2X285F-?1OH}?4s&+#NHjL^8wsn+N_;t2|$v<5Seu!&tq7 zvhG>j{iA8Gql8erX2(B~zhkA8)JR_iT0oCKRe`ndw;Bo_rP$QX!Okv!Ly%cOgZ~ke zOwGG$>xnRC%%X%o6h~;E>DMZ+F61imE^jXEylQKR;6XbII&Imf_mMG#<-m3p&Ya9a zA=Q&H7@f`DfWl`6+{@Jwx#u6fe#+<%1?**BFRV%(R&ieu?<78UgU7s86K{-W<5&hfPW<^r)`4yo>_ zh)ZAM0x@efqXQ|E(mAqz=(F#4nT)Mz)o>TUt##$cK)rd{0@_T7WYlu zzYpSv>H8DTyqe$|0WZt}q><>~5vzs9X23_VV%5vWJmPR*JSJoArPHQ!6Y?7-Y;V?f z#Fv7f^1oB6U6qPwikTeXKo%&Ip$IIr@qpP3GS;AscaP7?AubpgE}m*|Zl|C8Z=*=^ z+L)GhLy1%v#cTg8YX$rdx`3gAQAKt=6aV+)k^{6ZC&MSY?58cU|^h zJZAym$9~py_M5LsgDM?a8c*I%JJB7)(|VZu_W-zq0 zz`#}tQvMBMNDF)1>F_~M!$xd@GR9sN{BM0{N0A`|F39ztAm!uoAQFkSMN^w1Jire@ z%J#*~1oB|TRLFnnzPAeYJvlnFTvz1Ka~CS&+$Tg-w-TG+te{x%-#uoZy(FkCq^-aH zAF%H?s&&QVFCU2te7bVgbi+UmNen-o(Bp473>Z3B9RjZcvuJ%v_+sdzxY*2tgkh3>UQw$%&-dpAt(D?h3oVD@B}DQ-y4mp|5=@+e2-DxrDp=4H)V~RtQoryD!?tEz%P^Wv0Ufe%@1uKqwVAn-m$r$h<0M6&d^@5x(PWsYEmTI2tzeZ&o;T!A%^|rXKN#}9L(rfc4t7BY z$RD4u)Wd6Zoe2FLpIUutHr8t3XZmXTI>z=@Nxkv!(NDV#zh7$Jh7CF?B&s4hUa7w4 zFc78+ERTTT9P^K5Q4L$jRhU?n0bLaBXt{zh_1PnS21M6q64{ca z^?LizgK@EG@KSgif3c??3erJeAdTw1G=vNbXfn%Z)lgb0Io#spG?aGtrx zgTy>g)B%lc4`l8$QgQ++=KQZc2FB9$jq$htdyfG=O=h7Y68~4h_dA-Z4zt(a{ttq$ z8bRAg^iaYyTf}|i)(_oyIWxh^U>dfJDw^5#^2~n&ryR*VjSk?WOx_8`Worif?lH-| zV5>Ucbk9LgaZCaX+lGKRG1s_@oH5^Ngl(0MW2oq*M}ceCB8Vwi1YvipIL?*T{`Gv# zh6d&9CO;&LJ>lcZ^*E{@FvG8G#&@~zU{lQGM??037fk&*g;uXJ&^x(p-+p*RpkLyH zWevBAyQf|JAL{yEd1P(x%^1wYA_+WW;I}VS&(kdJ9Zz+?eJ~(MrHc?i<5#D6B#6EV zN%;e4XVfOMJe`Sq)y_i?s1)H){Bu*6RJH})b|<&e`>PP>klFCpOJUE3-H58)TxyQd zMZ-m4!i9Vy@X>(H*ykp`{x8S&TKp^F9lfbM-x3S3TLBK3wTqgoAY2Oj_FXob?8d*a z(fC8oYYw4p#<~gRpC!nBvi5y@1SAMwx}_6ru0|0Mv8#fw=rPwg=dO|usH}>k$r5G| z;HunTeoI^#NafPsoy_fsiNJFBD$?`X`qyNKO%q(vgD2*M2^@mW!Gxh-mu7wQ{Xb_f z;J558zmMOWHYAqot`K-y`0>`nZU292JNs~^_dbsQh$1Sbi&Z;H4-Q55+@z)lMb4>_ zGIwYtYMnG=%QT6wI+gB7r_z&$9^m0-_P&!`+VN-*T)Z7>yMeOjApq=eaVs`fzpRajqBj4noYC6eiVa{ zhOT61Mhw1wA(a~3hRHfjK7RG~HLcOmC1bawDWytrj;f>aTl!XoYrTfXVLko-OIYR@ zXM#)mX8r$T6obbv5SN$SgZ2pc{;k36g(f`YxLgG-EDF2ePhJRPkD-Xf-gH)Cgs9#S zm4{x|fE@*mY5=2b;df}t+3?(X&IwjnSXiKDVT3k_nD))VqF_!vO3mS72MI3#c?Et` zQvf35ieU`Ht4NSGJYq+K)uj127VN7{n>H6qwM2*HWqxkcOK`AkItvwA29gEbl2(rZ zWHh|5b*h4IcC5Q7I-NXL*nRZNc2&T?IF;^7-uWP3V%?PrA|S`P#n2gtesCocm1LHi{ z^v<9PZeu_#Qos4z$Oz^S zRRp6vGtcRts|YZ{a31|b$a@uma5%p|k6&d92o&_iJtK~8a3hQzCCQDDVOFS(AqEb2 zyhoZlgjLy(tCV1e9Euwz|Dky8aq6c8OnC8g^vb(Xd<%w8m1yiXjRp~Df`1DT%;=fH z_z^oz0Z!RbeKg94m+23&w6GJdsFU`QQ0$#J`&qS{6Hh|2>SCX)9@gO03G&^J!BXXb@Dk6`Pd>)f)jk6DDUm zb!Hu}Q`01EF`DL>*rzd?r!lcDF`5ZWwX*?u8`8#hgQ`0z>x8X*vw340pujnR;001W zs+TIA^Pt=--)L&Tj=$F*b%+26qZ9?g)_3)kNo_05(pB}}G>U_Hz&^HP>qh`DtnUFU z!t@~EU2a((%eAfsaTY)V5hA8bR#5H@6at47*b7aDcZS#k)Jx@@=4vPW{29Ot3!iZ{ zNLFMY>{t3YGpPvBTvxApBTko|ImF{^BWEyUSRcFOXKjMU@I*q{gLgG(<5X9^r@q4> ze`3WIPbl7h4~T#t0nfJukisx)0v~0K_2mDBfjWo*Jg{T2MkDXtT6tV-DC`@2v70u> z>Yfyv$$)dnW4#+?L<=DXB{h0w#e%PZC~iii&9dQmHhyh20W^ zuS_LR2kKgzB)o2KaZ5a0E(P%>1!@JiYSU)S^{IQ4zKE~hWG9Yo(IH^IS7<@>HCAu9 zNmL%YtcAg>47CQ70g0IEkr_g_sl>%m#N|+;sg{H*>%)snd4gUyt4hRz!!Il=oPuGw zhq1Ak!DOl-Pau;OcG~;`ZJrHu8=e5jR>ZFQo%}+vGNzv5W?K<@Y=^?Hp|q!{H(yj# zN1T~~$s-N^c&pBUeB!2wHV(7)Nx8Ezo$Pp)Oh%`JIC2$K=FgQA9*HOkw)v^DtR$8t zw6GHb)#M~U#?W$>>wZ2|jk@T=T9!AkMARCJ)RkU7v$u2=((Dt6= zmHk8h>hdv|aL!~Q7I1Ol#JkX7*fw2t0ugN-55)r#EZDS;Spv1@EpxOCF_Yj#Z&ULe zbZVkSRJye`y|hH&Aqo1K4(!$C(W=Cyv0%S+o5j%*lJxx`=^WnquW_DkI5?fsbO-?g z3cWkaY0R=S9j|t&_>^2t&V@I1$(uCdPA62-=C~RQ;Rf@y-#lyZTB_EVzV0v{Fj_S= zIymWzievNQZ4=k4rajAgMB&AHSATS{Y>5L0i{!!LYLTO%eAk-RmSVd zTNP+5*}zo&0C8VrvRDazZGowI}Qqy@+6nUSRUTbl?bKvpz1jes7gLsR&W?iS06MQu}XT|8ag2PKw zq#t0g*!61l0J|~RK?!}obD8zD2Fe0%Qq07FW{JF)U$>&Tw6JhrA?Q;DqVk_~jBmj= z;?T`GHf<%U-_msR;$Rhr!(tA_(@C_RB8F2U)x&B6EPrWuaaVCmuPaD*1)?}U=D<8~ zV*;!T?B;mw#_{f6n_Xa785d9IDJ9`iOA|pmcZ6KkzQ-|SGo4tmW2zdhT!b>gpR4d_ZH_yJz=-Nd!>i1aM$X2V{&g$)shp++n#Va4D$tE`jW)U zZ|de3ez5ZLCx(pofmQ8GT5EpDhzg;jT~_C$Q4kCT0uyS2P1pYUTs+B2NgJX=e5k-F z`AkGA8U2pN6q&=l`u^fjwSrL)<&a4Ib&M~Gw#F)rRa==Vv*qq_w@T}joUj<#r?WXW zPfNc0dr7i3aKy~H{gG}v&{3i&5uEMB!oznq64pi61jbI-maLv~8#Al)+PdDaS_|_v z&2v%3&X4Dsx#zgXZ;2GuWtSfkr~_XU{jhHF3selxw!5iC+`jXM>2e z`L1k+bR0ZoHymtd&R>4)sz*n$V0!DTQw8~sM)d}HqZ6ulzr|Y!O9e}Ieu1w!;5=A&Nu))#X1>69Bk7i{n5L2 z!rVi4W#}QblZ6o7e&JoBFQvkzEPT)s_u<-W-mcMYuo%5tiz!zxK~tsxcug1~2fqJ= fPd@Ok+*OS`Wf!DTrp#E1HgK)0$Ld_?fP?=5nD(G^ diff --git a/src/lte/doc/source/figures/lte-subframe-structure.dia b/src/lte/doc/source/figures/lte-subframe-structure.dia new file mode 100644 index 0000000000000000000000000000000000000000..6fe433c78685feead55f67a5771fbd79e2600db8 GIT binary patch literal 2049 zcmV+c2>$mUiwFP!000021MOYgZreBzea}}2F0j}ITw1(|WK*ZWrYKsVix!*oIgo9| z(N>lWNxArCzkNwcu5VJ}NTO10WuR^1jOUQl;o)$GW!}DfSOnIc7bkucjt3Cf1Ir7i z(aaC$B8|fN*{jc9ntJi8tXcV+8-GQOEd@#!ZanwHLo7KyK{gl&P%PBTft+F+F}xm^ z=fh3fg$vq+i`#|sldEMEr?Km&hmeyf3OqN=P}BIMjh<-# zwHqYIbRc{C$BcXK?48H{?D5IFV^QMe-k+s6R}Y4UEAzfG*q)c5U<9hmH`y#-rC z1n$a^w`s)pwU-r{N+#o=L~&|t4Lik6eZo~@;X04jD~P7SOZ&!69<`)t5e7U)I5fQnq+eQz8%A5DCZ-j zM)`}k=_{D{|L_;p*I*={F$Ki52xEnUr3gc+R9Lc#6KYn6Yxe9Y^2&t;ZnKN`M6N_+ zT$jj_R;&dkE0_(Hr4YBk-94z@vlY^b@`X|7nRPS+R+cNxfu&f zIyR~ZnW~|9BI~thQ?`KVGQp1BURB}i`G-&EA5VUB7t7O=ukX*#KbBM&9!blU<#?ko zErM3>Ti5Qw4_2~;ZkPiI1=h!YB81siaC_eJV~?$YsC zN>)MI%~d{9)Uxe*KyKjA!-ZG;I6bLJ`A{B-QkaQ+-W0jhP1>I%o2KAqL$MNZVzrk? z2$-aTlnkTGV}_!3#&TDIfp9b?>xMwRzvwl|ye1Vgu@|KdiW0A%bVfq~klBPY8gk$$ zIYNNS)ldM^4K?~E)yUG(lJ)glA1$?@Oow#rWvPR*Bx=V>j>;qnvw5owgv(V>N|W5f zK?#UEp-dNlU-VjJJW49yV6R3$vl^8oHenOTOLSfv3B!4GAvhi)qN?RgXEtpcDPV^Z zY(Axa*vI0`W@cA4%iBm=^H4M0IK6V?IJz&V8$z|6Uj<$`f2{Up16m*CiTYY)49Npi zWAwwdxe?kx)E=K^!W;x0CBw+FHLu>+X`tsrZUskeOOrjw9R6n&DSgo1sd zqKnDW+UI={$l@Eba+ISWrAGPJq8FoHj7s>|Yf%@qh}X|qiA*I7r>um^SvrKN3sUq( z3iB?MZ}7UB+!vG07n2K^*sD?(RjK|dU%4vM7IZ1c$(0EbKxlWg3Bq2S+7hP{LiY01 z!Adi-yK|utVQh$Wotf!7G;D+wuAs<#ov)yeC0A)wueiTll^MNEX$HaWTtegsq1Xqp zVCqIKjw#K^M@^HjxR1qlx>^LFu&Yjqm*e0Il?M@O;6fL>1q$*Z26TM~mS&#$OI++@ zXs6Avj2dajDTmsk9ByFERi#>N_!3MBLlA)yhhRdX);%Z}VFDoI(EOTP(8prgbC@Fy zW!tLWY}D7I`+9Vj>(R(AT|J*ZnSbRed-&q&Z zynPL-wKQ)b75gM_2WwEsY2v0CtjIu+>APms|EK_53X_l#7SjamgfivA)az0kH_jY# fu@|Nn6{hTa{p*mYf(u0S8)IUr3wQI literal 0 HcmV?d00001 diff --git a/src/lte/doc/source/lte-design.rst b/src/lte/doc/source/lte-design.rst index 76957525c..cca9bd700 100644 --- a/src/lte/doc/source/lte-design.rst +++ b/src/lte/doc/source/lte-design.rst @@ -294,7 +294,7 @@ end-to-end flow of data packets. .. figure:: figures/epc-data-flow-dl.* :align: center - Data flow in the dowlink between the internet and the UE + Data flow in the downlink between the internet and the UE To begin with, we consider the case of the downlink, which is depicted in Figure :ref:`fig-epc-data-flow-dl`. @@ -532,7 +532,7 @@ Transmission Bandwidth Configuration in use. For certain bandwidth values not all the RBs are usable, since the group size is not a common divisor of the group. This is for instance the case -when the bandwith is equal to 25 RBs, which results in a RBG size of 2 RBs, and +when the bandwidth is equal to 25 RBs, which results in a RBG size of 2 RBs, and therefore 1 RB will result not addressable. In uplink the format of the DCIs is different, since only adjacent RBs can be used because of the SC-FDMA modulation. As a consequence, all @@ -1094,6 +1094,41 @@ The physical layer model provided in this LTE simulator is based on the one described in [Piro2011]_, with the following modifications. The model now includes the inter cell intereference calculation and the simulation of uplink traffic, including both packet transmission and CQI generation. +.. only:: latex + + .. raw:: latex + + \clearpage + +Subframe Structure +^^^^^^^^^^^^^^^^^^ + +The subframe is divided into control and data part as described in Figure :ref:`fig-lte-subframe-structure`. + +.. _fig-lte-subframe-structure: + +.. figure:: figures/lte-subframe-structure.* + :width: 50px + + Lte subframe division. + + +Considering the granularity of the simulator based on RB, the control and the reference signaling have to be consequently modeled considering this constraint. According to the standard [TS36.211]_, the downlink control frame starts at the beginning of each subframe and lasts up to three symbols across the whole system bandwidth, where the actual duration is provided by the Physical Control Format Indicator Channel (PCFICH). The information on the allocation are then mapped in the remaining resource up to the duration defined by the PCFICH, in the so called Physical Downlink Control Channel (PDCCH). A PDCCH transports a single message called Downlink Control Information (DCI) coming from the MAC layer, where the scheduler indicates the resource allocation for a specific user. +The PCFICH and PDCCH are modeled with the transmission of the control frame of a fixed duration of 3/14 of milliseconds spanning in the whole available bandwidth, since the scheduler does not estimate the size of the control region. This implies that a single transmission block models the entire control frame with a fixed power (i.e., the one used for the PDSCH) across all the available RBs. According to this feature, this transmission represents also a valuable support for the Reference Signal (RS). This allows of having every TTI an evaluation of the interference scenario since all the eNB are transmitting (simultaneously) the control frame over the respective available bandwidths. We note that, the model does not include the power boosting since it does not reflect any improvement in the implemented model of the channel estimation. + + +The Sounding Reference Signal (SRS) is modeled similar to the downlink control frame. The SRS is periodically placed in the last symbol of the subframe in the whole system bandwidth. The RRC module already includes an algorithm for dynamically assigning the periodicity as function of the actual number of UEs attached to a eNB according to the UE-specific procedure (see Section 8.2 of [TS36.213]_). + + +.. only:: latex + + .. raw:: latex + + \clearpage + + + + MAC to Channel delay ^^^^^^^^^^^^^^^^^^^^ @@ -1148,10 +1183,10 @@ discussed in [Ofcom2.6GHz]_. -PHY Error Model ---------------- +Data PHY Error Model +-------------------- -The simulator includes an error model of the data plane (i.e., PDSCH) according to the standard link-to-system mapping (LSM) techniques. The choice is aligned with the standard system simulation methodology of OFDMA radio transmission technology. Thanks to LSM we are able to maintain a good level of accuracy and at the same time limiting the computational complexity increase. It is based on the mapping of single link layer performance obtained by means of link level simulators to system (in our case network) simulators. In particular link the layer simulator is used for generating the performance of a single link from a PHY layer perspective, usually in terms of code block error rate (BLER), under specific static conditions. LSM allows the usage of these parameters in more complex scenarios, typical of system/network simulators, where we have more links, interference and "colored" channel propagation phenomena (e.g., frequency selective fading). +The simulator includes an error model of the data plane (i.e., PDSCH and PUSCH) according to the standard link-to-system mapping (LSM) techniques. The choice is aligned with the standard system simulation methodology of OFDMA radio transmission technology. Thanks to LSM we are able to maintain a good level of accuracy and at the same time limiting the computational complexity increase. It is based on the mapping of single link layer performance obtained by means of link level simulators to system (in our case network) simulators. In particular link the layer simulator is used for generating the performance of a single link from a PHY layer perspective, usually in terms of code block error rate (BLER), under specific static conditions. LSM allows the usage of these parameters in more complex scenarios, typical of system/network simulators, where we have more links, interference and "colored" channel propagation phenomena (e.g., frequency selective fading). To do this the Vienna LTE Simulator [Vienna]_ has been used for what concerns the extraction of link layer performance and the Mutual Information Based Effective SINR (MIESM) as LSM mapping function using part of the work recently published by the Signet Group of University of Padua [PaduaPEM]_. @@ -1288,8 +1323,20 @@ The model implemented uses the curves for the LSM of the recently LTE PHY Error The model can be disabled for working with a zero-losses channel by setting the ``PemEnabled`` attribute of the ``LteSpectrumPhy`` class (by default is active). This can be done according to the standard ns3 attribute system procedure, that is:: - Config::SetDefault ("ns3::LteSpectrumPhy::PemEnabled", BooleanValue (false)); + Config::SetDefault ("ns3::LteSpectrumPhy::DataErrorModelEnabled", BooleanValue (false)); +Control Channels PHY Error Model +-------------------------------- + +The simulator includes the error model for downlink control channels (PCFICH and PDCCH), while in uplink it is assumed and ideal error-free channel. The model is based on the MIESM approach presented before for considering the effects of the frequency selective channel since most of the control channels span the whole available bandwidth. + + +PCFICH + PDCCH Error Model +^^^^^^^^^^^^^^^^^^^^^^^^^^ + +The model adopted for the error distribution of these channels is based on an evaluation study carried out in the RAN4 of 3GPP, where different vendors investigated the demodulation performance of the PCFICH jointly with PDCCH. This is due to the fact that the PCFICH is the channel in charge of communicating to the UEs the actual dimension of the PDCCH (which spans between 1 and 3 symbols); therefore the correct decodification of the DCIs depends on the correct interpretation of both ones. In 3GPP this problem have been evaluated for improving the cell-edge performance _[FujitsuWhitePaper], where the interference among neighboring cells can be relatively high due to signal degradation. A similar problem has been notices in femto-cell scenario and, more in general, in HetNet scenarios the bottleneck has been detected mainly as the PCFICH channel _[Bharucha2011], where in case of many eNBs are deployed in the same service area, this channel may collide in frequency, making impossible the correct detection of the PDCCH channel, too. + +In the simulator, the SINR perceived during the reception has been estimated according to the MIESM model presented above in order to evaluate the error distribution of PCFICH and PDCCH. In detail, the SINR samples of all the RBs are included in the evaluation of the MI associated to the control frame and, according to this values, the effective SINR (eSINR) is obtained by inverting the MI evaluation process. It has to be noted that, in case of MIMO transmission, both PCFICH and the PDCCH use always the transmit diversity mode as defined by the standard. According to the eSINR perceived the decodification error probability can be estimated as function of the results presented in _[R4-081920]. In case an error occur, the DCIs discarded and therefore the UE will be not able to receive the correspondent Tbs, therefore resulting lost. MIMO Model @@ -1308,54 +1355,6 @@ According to the considerations above, a model more flexible can be obtained con Therefore the PHY layer implements the MIMO model as the gain perceived by the receiver when using a MIMO scheme respect to the one obtained using SISO one. We note that, these gains referred to a case where there is no correlation between the antennas in MIMO scheme; therefore do not model degradation due to paths correlation. -.. only:: latex - - .. raw:: latex - - \clearpage - -Reference and Control Signaling -------------------------------- - -Considering the granularity of the simulator based on RB, the control and the reference signaling have to be consequently modeled considering this constraint. On this matter, the simulator splits the transmission of the data frame respect to the control one. According to the standard [TS36.211]_, the control frame starts at the beginning of each subframe and lasts up to three symbols. The actual duration is provided by the Physical Control Format Indicator Channel (PCFICH) by means of three different codewords of 32 bits in order to make it enough robust. These 32 bits are mapped to 16 resource elements (RE), a subcarrier per 1 symbol, using QPSK modulation. The information on the allocation are then mapped in the remaining resource up to the duration defined by the PCFICH, in the so called Physical Downlink Control Channel (PDCCH). A PDCCH transports a single message called Downlink Control Information (DCI) coming from the MAC layer, where the scheduler indicates the resource allocation for a specific user. Each PDCCH is transmitted in a Control Channel Element (CCE), which is defined as group of nine sets of four REs. -According to the channel conditions the CCEs allocated can be 1, 2, 4 or 8, which correspond respectively to PDCCH format 0, 1, 2 and 3. Each PDCCH carries one of the possible 10 DCI formats configurations, modeling uplink and downlink assignment messages. - - - -PCFICH & PDDCH -^^^^^^^^^^^^^^ - -The PDCCH is modeled with the transmission of the control frame of a fixed duration of 3/14 of milliseconds spanning in the whole available bandwidth. This implies that a single block transmission models the entire control frame with a fixed power (i.e., the one used for the PDSCH) across all the available RBs. The SINR perceived during the reception of this channel has been estimated according to the MIESM model presented above in order to evaluate the error distribution of PCFICH and PDCCH. In detail, the SINR samples of all the RBs are included in the evaluation of the MI associated to the control frame and, according to this values, the effective SINR is obtained by inverting the MI evaluation process. - -The PCFICH error distribution is modeled considering the link level simulation curves of the performance of the PCFICH in AWGN channel presented in [Milos2012]_, by means of look-up tables according to the transmission mode used (e.g., SISO or MIMO) and the SINR evaluated as described before. - -While for what concern the PDCCH, the correct reception of all the PDCCHs is modeled with a configurable power threshold on the perceived SINR, where the default value is taken from Section 10.3.3 of [Sesia2009]_ where the performance of the convolutional turbo codes of PDCCH (i.e., with state tailbiting) are presented. This implies that all the DCIs can be correctly decoded only in case of the perceived SINR is above the threshold. In doing this, we are assuming that the DCIs are randomly placed in the control frame and therefore always interfere with the ones of other BSs. According to [Sesia2009]_, the number of bits of the DCIs are at most of 62 bits. Therefore, the default value is taken for a given PDCCH fixed dimension of 62 bits and a considering a rate of :math:`1/3`, which corresponds to 2.4 dB. According to this model, the control frame does not have any limitation in the PDCCHs that can be transmitted. Finally, It has to be noted that, in case of MIMO transmission, the PDCCH uses always the transmit diversity mode according to the standard. - - -Reference Signal -^^^^^^^^^^^^^^^^ - -The Reference Signal (RS) is modeled according to the SINR perceived during the reception of the control frame. This allows of having every TTI an evaluation of the interference scenario since all the eNB are transmitting (simultaneously) the control frame over the respective available bandwidths. We note that, the model does not include the power boosting since it does not reflect any improvement in the implemented model of the channel estimation. - - -PUCCH -^^^^^ - -The PUCCH is modeled with an error free channel. - - -Sounding Reference Signal (SRS) -^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - -The SRS is modeled similar to the downlink control frame. The SRS is periodically placed in the last symbol of the subframe; therefore when a SRS signal has to be sent, the data frame will last on the 13th symbol in order to leave space for the SRS, which will be sent in the whole system bandwidth. The SINR can be evaluated according to MIESM model as done for RS. For what concern the periodicity, it can be defined as an integer multiple of TTIs; however we remark that the standard allows the following values: 2, 5, 10, 20, 40, 80, 160 or 320 TTIs. - - -.. only:: latex - - .. raw:: latex - - \clearpage - ----------------------- Channel and Propagation diff --git a/src/lte/doc/source/lte-references.rst b/src/lte/doc/source/lte-references.rst index 6884ee9a1..2a5da9c95 100644 --- a/src/lte/doc/source/lte-references.rst +++ b/src/lte/doc/source/lte-references.rst @@ -72,4 +72,13 @@ .. [Milos2012] J. Milos, "Performace Analysis Of PCFICH LTE Control Channel", Proceedings of the 19th Conference STUDENT EEICT 2012, Brno, CZ, 2012. +.. [FujitsuWhitePaper] "Enhancing LTE Cell-Edge Performance via PDCCH ICIC". + + +.. [Bharucha2011] Z. Bharucha, G. Auer, T. Abe, N. Miki, "Femto-to-Macro Control Channel Interference Mitigation via Cell ID Manipulation in LTE," Vehicular Technology Conference (VTC Fall), 2011 IEEE , vol., no., pp.1-6, 5-8 Sept. 2011 + +.. [R4-081920] 3GPP R4-081920 `LTE PDCCH/PCFICH Demodulation Performance Results with Implementation Margin + `_ + + diff --git a/src/lte/doc/source/lte-testing.rst b/src/lte/doc/source/lte-testing.rst index 3285aeb62..77efd9d6b 100644 --- a/src/lte/doc/source/lte-testing.rst +++ b/src/lte/doc/source/lte-testing.rst @@ -368,7 +368,7 @@ Physical Error Model -------------------- -The test suite ``lte-phy-error-model`` generates nine test cases with single eNB and a various number of UEs, all having the same Radio Bearer specification. Each test is designed for evaluating the error rate perceived by a specific TB size in order to verify that it corresponds to the expected values according to the BLER generated for CB size analog to the TB size. This means that, for instance, the test will check that the performance of a TB of :math:`N` bits is analogous to the one of a a CB size of :math:`N` bits by collecting the performance of a user which has been forced the generation of a such TB size according to the distance to eNB. In order to significantly test the BER at MAC level, we modified the Adaptive Modulation and Coding (AMC) module, the ``LteAmc`` class, for making it less robust to channel conditions by adding a configurable BER parameter (called ``Ber`` in the ns3 attribute system) which enable the selection of the desired BER at MAC level when choosing the MCS to be used. In detail, the AMC module has been forced to select the AMC considering a BER of 0.01 (instead of the standard value equal to 0.00005). We note that, these values do not reflect actual BER since they come from an analytical bound which do not consider all the transmission chain aspects; therefore the resulted BER might be different. +The test suite ``lte-phy-error-model`` generates different test cases for evaluating both data and control error models. For what concern the data, the test consists of nine test cases with single eNB and a various number of UEs, all having the same Radio Bearer specification. Each test is designed for evaluating the error rate perceived by a specific TB size in order to verify that it corresponds to the expected values according to the BLER generated for CB size analog to the TB size. This means that, for instance, the test will check that the performance of a TB of :math:`N` bits is analogous to the one of a a CB size of :math:`N` bits by collecting the performance of a user which has been forced the generation of a such TB size according to the distance to eNB. In order to significantly test the BER at MAC level, we modified the Adaptive Modulation and Coding (AMC) module, the ``LteAmc`` class, for making it less robust to channel conditions by adding a configurable BER parameter (called ``Ber`` in the ns3 attribute system) which enable the selection of the desired BER at MAC level when choosing the MCS to be used. In detail, the AMC module has been forced to select the AMC considering a BER of 0.01 (instead of the standard value equal to 0.00005). We note that, these values do not reflect actual BER since they come from an analytical bound which do not consider all the transmission chain aspects; therefore the resulted BER might be different. The parameters of the nine test cases are reported in the following: @@ -405,6 +405,14 @@ The parameters of the nine test cases are reported in the following: The test verifies that in each case the expected number of packets received correct corresponds to a Bernoulli distribution with a confidence interval of 95%, where the probability of success in each trail is :math:`1-BER` and :math:`n` is the total number of packet sent. +The error model of PCFICH-PDDCH channels consists of 4 test cases with a single UE and several eNBs, where the UE is connected to only one eNB in order to have the remaining acting as interfering ones. The errors on data are disabled in order to verify only the ones due to erroneous decodification of PCFICH-PDCCH. The test verifies that the error on the data received respects the decodification error probability of the PCFICH-PDCCH with a tolerance of 0.1 due to the errors that might be produced in quantizing the MI and the error curve. As before, the system has been forced on working in a less conservative fashion in the AMC module for appreciating the results in border situations. The parameters of the 4 tests cases are reported in the following: + + #. 2 eNBs placed 1078 meters far from the UE, which implies a SINR of -2.00 dB and a TB of 217 bits, that in turns produce a BER of 0.007. + #. 3 eNBs placed 1078 meters far from the UE, which implies a SINR of -4.00 dB and a TB of 217 bits, that in turns produce a BER of 0.045. + #. 4 eNBs placed 1078 meters far from the UE, which implies a SINR of -6.00 dB and a TB of 133 bits, that in turns produce a BER of 0.206. + #. 5 eNBs placed 1078 meters far from the UE, which implies a SINR of -7.00 dB and a TB of 81 bits, that in turns produce a BER of 0.343. + + MIMO Model ---------- diff --git a/src/lte/doc/source/lte-user.rst b/src/lte/doc/source/lte-user.rst index 6365e4eb1..066fab5f3 100644 --- a/src/lte/doc/source/lte-user.rst +++ b/src/lte/doc/source/lte-user.rst @@ -438,6 +438,16 @@ This positions the node on the scenario. Note that, in this example, node 0 will This command will go through the lists of all nodes and of all buildings, determine for each user if it is indoor or outdoor, and if indoor it will also determine the building in which the user is located and the corresponding floor and number inside the building. +PHY Error Model +--------------- + +The Physical error model consists of the data error model and the downlink control error model, both of them active by default. It is possible to deactivate them with the ns3 attribute system, in detail:: + + Config::SetDefault ("ns3::LteSpectrumPhy::CtrlErrorModelEnabled", BooleanValue (false)); + Config::SetDefault ("ns3::LteSpectrumPhy::DataErrorModelEnabled", BooleanValue (false)); + + + MIMO Model ----------