From 4ca2b859473e0a88723463eac2821cfbd3249c43 Mon Sep 17 00:00:00 2001 From: Albert Magyar Date: Mon, 30 Sep 2019 16:19:17 -0700 Subject: [PATCH] Define read-write collison for independently clocked mem ports (#1188) * Define read-write collison for independently clocked mem ports * Included definition of initiating write/read operation --- spec/spec.pdf | Bin 269406 -> 270198 bytes spec/spec.tex | 9 +++++++++ 2 files changed, 9 insertions(+) diff --git a/spec/spec.pdf b/spec/spec.pdf index db755eef71c5cc0809c956c0839724f953004e6e..a5e99700a5edefdb565641becd69e98c5edf90f5 100644 GIT binary patch delta 52947 zcmV)aK&rpqxDfWf5U{ue12`}slktoxf0#{k+cpq}@A?%yf-@zG?~hw!$MHCIrWr@m z9?~8d3XxdRluA))?O)#oLDH5e+fp01a;KvMpc!f3#e;VjAW1ZhNOV3T4~!?{(YJ4? ziWtF4F&T|NM^q53Riuc-mYHZgi9Vta%Q#^Qxh(&gP?4o|z9{2_6NWx7sxYZ%e=bbk zTwGnn+M@Ag_YZYoL`=v2UUN2T#LT?&;7yK zf*&`>z%pDc2C7`!<2)aqX}==a7t6$^i2+=LjxvHSU_@mMR;}GMT*S0zXaYln95{H` z8z?{O3&{`_dm0rPe^O#CrPCsmbLPR!dq{Ui8`QVe$JqoQ^vk{PHCAH>TTQjJ zernoUI^T6d-e)HtU}p*c7m4iJq+NXYU%OAJ{yy0Sd0 zg^hpb#wj+UdzWK4Ju@9lwn;>tjpjxrB^qI;d#a1KR_p- z4wJ49DFHN-ajYqS-I~vH+Bg))@B9@$nggzWTRLvq(4mvIyMb;G*&aN`HJ$;R+D^OK zzkVeoOh8V+rU{r!?8uCz_t95R?>!kfu>+jTzhY2Lx zpfi~|ckX!EA0Xe2!sH(SNf?w#mi7l2G533xs~g`fXOV7y8IEpm`y9EG8~xxWNaOn; zmQRJ?!u?x4i}Ip+1MrXs`rjrWde@WQj~1I9Z2qC7TlysfvFQV(O_VU&1?_}X6LF%R_z5F+5dl>?P# z{8WD)kGsr&w0)oRB$B`2ZW&E=%S8S6ppbDlDpsbghveK1sDQ55A5Z{Z=(5uvm;FJ! z)oO#0*8wCRA#4Kx8vw>Yzs^93L^oakxKDoeDRqN+l!npnAP^HTYxMC5-V8B%EQ|q> zJUDjb*gdG46c;L0446AEgECr3Dj2$@HN%Jyi478e({6XPqd?!IRBZF79+dO}fJ%O8 z6xy9A=xqQI@v1X%#GIiG!Y5@b=SCo6v0Kqo+MUddJ`Kid_5LxBvpgwh3yUiwr&cQ6 zXZ4`oY-A+!r&_E*UM9g@8~c=o1ok^F5ZXu}v?65-WCN`a-FZXN2%o&DB3MgBV55l2 zU#V?>O5656&+eDD>k{BRC;wnY`0ZQ$x9Ci$L#!NoZl?P@G`tv@-t* zr4XZ(>&3EERz6r^3-6LL4&VFgAo7OM67{IT_ch7wh))RrcaQpPm!CKkUFD0JL3bO) zNm0rO+uo5;=askD!;8j}^9{F=Nl#X>cQTcKj@}|jptxLg2(V;U(AspOETtTp+ssxYc3TxBh${HE%NJAJd`qO0G(AGP5?)+-~- zmPs00@8#^QUFyLap)J_ZO(AyeY1ftIqTDKQ9FnOC^fKyiTeN{dz7<0EW3-SlMosbn z#N}pMsAaYef!a$LR#`(Z)ziKz;K)sX#3m@ixo#FSQ1fg`l0llxS9Q=Lqt;D*i`U}u zDe7wE-#lrOc<@Fzzt(u3Q4dDAGkU?G4G^-slD?$V$eikJiHNyZ(JWY{NJ(~|+tuXP z4?5aeOlwz2Wj5P=qRr;@X8VY}{zSLU`XJQ1%_uF(APu9M0x-S!Y!5fj_8`)K+{R_L ztSL~z?nP(E5p16PK&%N4`y5I~y9i2ioGg8Bp6GbZ-kSjJc5w=~%#|Tt2RK9JidMX| zFB+G*N|Vyq4s9v994-f)#xs2yfBo+=kBXu;WhRhN7vm$2;#qYR|0OMwI9;oDWWI@r zYf9FHvW~mRrXP&3>h$>;O8Sdnp*&ld{7r7K`J?03tHkyI46~CtInvO{vCVnwfjZ%U zTtps+Nn^Q?eW+^0BBhcC&xl2Edg9tB-Yo;@Ywee95D<@oMqjqoe7}YP@}Lk77anI= z)7^Hivh)7|s7?w1lQB0Fljsu{0XCEIj46{T6d8Z7y~ujOjBM)+V-Mq|`S%q_m?YRS zc=3s8cLfN}3wn6JB?x8!f?s;C$GulqNC1R<$ruLXsX2vyz$oAnn=u5&5xDV2tNs8B zPfhe+5Yb7P>1EO%5X`;lGR;qfm(7(Oxw;+>`vLaG@9mBEVKUo_9I{I2(Q-21nO%!fgMs_zH_pP~Rv7QLG<5JcwYI{BJ5_^O_7_E~u#{r@~rCWbu+z}gX{?3&|#Ze6zC9H$Uo;cLVA&>CZ zP zDwb@mSO^+<2zi%FV~BZ_3*-3C#wioHkQc_f?$#s{oztTu&>)NEW2zSh&DVaO5LkaS zzq|AxEfRwoA5QRzW_B_@6dvI7>Wbj|X~X~tpD_sr*pSMHa%je}OUNr?1Qo;tD~RP+ zdx#;Ed6DWP>Mwtk!?<_f|6#&M&hRgyXxDG5O`Fpn!s;n%=^}-Xt8kK~;UsHWo2b_o#d1wLjgxnu$@`g{tTYT%@&5$-}rtdvFQz^WlFg%cC8* z!nJMpUB=eAPx2@Jso5gK-7dh7f#wRQ(Oge6*ArFKMoFfGvU5J`2tc?7XsBoNzDWq& z<57MwYB)mpQ1nnG)N;8;c zagpk5zEGLP!Sg0oK7ZS(NgaQNZ0T6(S)v*>1_WnkI&W_0{hOMFnQG!Gs3aXPx>$Qk z!cuyzvs@8w^;(tcu~@}wp_1lCBKVm^;Uh2vC59wS@2s*ENP;aAaj24DfjsAu>If)u zk8TWAw3(Evya&1PmuwyWCo8F1fK}svVw_3h97@%hNJA4`cKQ@by5oO7cxx5Gs8W$a z7v6p=dZgOm*sUJ5oc}qOM^5HZjv(XG)?ZZ^)fa5ZS*N7up;|7Z9TzKWI(3v1}PPL7Mb$@RfuzYfTR`oSx4F2E@E9LZf{IYG76Ze zB-`7904hl zZyOJPRjeWj2nK8mN&+N+VC#@X&_R|Lfe>Ri(5?XI-{-v^DzMhpcEcC~3y?G0U0q$Q zk5`Wz8!eS&qbISBaU^X$)lyOw#VE5Vo~n3Khp-yB%LnDuq=V0b zN+x`kMl$8?+LH0fRqm zcTQTWT{*!GBk;*aa)AMGM{?+j3Cw0gP8D~$Q%1Gq(V=0j$u|?itUhQK+z(`XUB?+j=S7a6YAqNwM}{V)M)}&Ed~Z*^QRj%%JJ%hrJxbxEry=x^7-=Zi0<|DQk({F@SzforiT-i zE}X%O%J6MD=!K)5D&A2|Pfcm({v;2931ipk)0kZekS?+|`x zT${l-soQ@Udttl-lC3p8J$rUKzxwZgZqoVd+uOT`)A{?4KRj%o|N8#+->368cOQPd z`S7|RbjzFbpU;0efBRat52y2YH}4+OYv`33Ox9}-xV1{lMt9HZhO53#&z`08_v!qn zyH|JV{5<{P{^Jk#xb^+rZIe@tI}b;92jHEAUa><%O5=G07cFKu5Jy`nB+`G9g+>BjDZoUyhuiB+}A}H=+bI-q-KRK7535IGIGbhE_QuK(b}_rG1)}T4Ji|8 zG9&9g=_+-BNz5|Kw!%}fR4mIGMQzU{^{TGoH5;6g6)+z$A}8zNpJ*>MT(R zaa5e?P4j4%gc~gmDzw0XWfTSva1|5;Hqc_Zj03B+LYEc@9yl&PqjE~`xpm*yWkJG| zkPJkk+Oq=F2;y8z?5nbWAfN!ZGSRAX1mY4$ybs&g#TV#eD8~TH+K}%EU8-ZL+P*Gv z{a6At%YX;a1!ZP~N0LjCL$MT}2lw;z+5p{3`YxUS{*QmAOG*V&E$e|&`svLV zFP5@h91-vlJ$5m$dXC2zzqq@7*i?Ukvc|S%yX^&Gtd{wKU5H+P1mdpq%MW+&zQ2K0 z()s1{7wP=!=I4j>=5s^8eEYAP)A?Hnzqx(5Ppnh8o#wp1`}pDA&HV=Jx3B(o^W*!s z-`xG2wgm_P(KZwoefjnS?!}Ymt=rn&E}WsEttIrceT-iCeEWt2JU9BqzM zo=tf+<=K>HQ=UzKd3DOGQ(m3&>XcWfygKF8DX&g>b;_$#o=-B>$EHX@JDEjE^(U1<5k8x0+1t176 z3y@BrT7lVNAVtEe{YenCAW!;0-6(AW*+!Sx#ySHCwt+vBS3|)2 zJ_hou#?mL_D4IO1kC7Enl2s_1$858t@pHsDgNm4SkULQ{exvT&W&tRxqvb-TsQV?T z3cy+I`?@TDNH(>Xtq}(J$Zb$JawfX3ODxbOI=~pfs-Q`)ELC)YrP?6}ZYvxZpd}mWyN<4pR4%&H(e`cA7pMZ8bT*<|&|?YlRu(_tGh@Lz zp*S*@V45sKaveIAV+CrgsF*e&n2qQ_!lQ8tu+ve0eHK(HLxChkY)F8Ppt2#kAI!vK zMP)EjOdH2z8|`Hc+0Xo-LUn;csN=y+9AKRSh;E_4$$C(s1v%MJ$A!&lLHR*GG?H`m zK&_Ipz&dKVk;q0uEFH^bB(~)k0xU}+jHMj@<7i(tIvHN!dQ_nWA*KMu9lfH$lgo&W z@D>|?M>SdyW6G+|ZHH=^TZ&4iZrD+c76h3B91rwXR*@FD^V;G`%=1X21yM$a_St3y z_ecVW@KBqzVqXGL)eP{o!(7}8AYZ3;K$#UA6X<(m>#^$A*r*{P9_X>e){x#EO_sLH zo}QApJDPs3+eu88K-h6|hn8(RQ9KZ{i9X4H62uCU8C@jmIX$H-32=72dQAL|@q3Bim_%tzA~Yru8j}c(Nrc8ER@=P3O=7i8Vzo_w zVzo_TwM}_#%4<_zoATO}*QdNb<@G7APkDXH>r-Bz^7@q5r@TJpjVW(Td6Tv0L5|Bf z<&7zC#8nC2>24%=@#adDBa$LEJiG613yLeLUE`){5n|~SDEm!pov)XlQC16g}4(1mcY#CGnW zA*#K1RJ8+H`>HL^|2bya;s}kZAi|ydxAjP6U4S;+{DMx=?L^e%m7B^>?@281ThgV% zQ;}%ed4|V1_Fc-St)X&xj;L*in#6fBasU#>zAn0g%2me9)WxA2AoJK)WdYcKs04sY z)DB<>PeD=2b)Pk8OBikdK%R`GS$N2?q50cC7}Ayy+{Ax8o(S_ao+2f$yRXR#dYg!J zJD%9{c0?4&UG|SBwiWSAnzU5i4p=oF$3{(bJ+MM6=w!5bK4NP(orj!-l!D1V3iDikiXT$4#aC6d2XK*XiEqRlA_9kg3)>C49X$VwF3^b zf}r3DhAx(jTosSG!b0%i1Iny8-ilIa@D+pG@^HLW?&=*VN3tOCQi-7#l3irmw)X=i zKvuBWD1~guNKg=V8zAq9Ba0L(&ix|a@%I_P+kNAZHAg)X*loqZUnD$#w3GHczcaBMxjSE@E zv-Fp-&e7)>b8K_`bp3@~b17FP%RU|ULtnsyqFPGkFW7>=c-Z-c&I*(l{K-Qf+pj=$ z^rKAKmA6(uDZ}49)XVnM7;=;<`{lOk{{Z2*aL5W}Ze(+Ga%EwYIyVZl@+I=Y0Wy~_ z904nT%~?y2+_(|G&#w@Ci5hS-e297&K>%;CUU=aIiFYjX(IEwWfF7K>j!$d=I|lF@fp-&|k)_KnISr9@$^j;?Q^DMfCRC@nP5 zRCK+MKEyxVZMHg#%U$(Rs$}Pes%bzrXtS`s(K^1&YZ?O?u?HNK_u}PFEj(lF=RpzmKFa zMIPOI)>CAF#U=*Yb@ap4U#{eQcSf)7&MJ}Fly+wYP|aqml(zBv((UiNYQWuOHvaQ} z#;CaMh8{J%w3UpuS__qCB_Tlx`*!x@1l-*7F_RM(6S84ceGzBH;`2 z<#G9n76*L`QKUNcYYVGQv{ji%w59d`0b599e81V|d3=IjSi-mWzFpGrEBI&=|G3#^ zGJflS8~;1NVp7Jx+iX)AE98>#@9Fb@(w`3MYZjLG;JU>50*H!e$Jk|AElKjog&3$n3`|r{?zWvwQy#vFc!Ey z7Y6#WM%$oM_w=n>H1IvFrO>cNjvH!d?2*Nl0{2oni0$@naI1?;k)?ru>*boHT!2b} z!|nIoni!pkROZi@1KO`hQCb+8Oj7(-U9(>kXOu|Nk#|>rT2;#knWPuCWuxxe2Apd+ zd(S{)Q?dakDx{E^=F{WIMCdbCF8l(zK`3f#t=HDm`(t~qxjjK2I%n_+P(eXo#mwM# zySCe-^Z7Ie=(RHS=*3ZgN@q#2@a2b^c(mZRS@WjZycvXP2aiHH&*0F;V|^UKi71j4 z2+x!{R)=H2uT2Afd2_4yErcFV?*8lHn+YqkX$P+V^dFG(Z@9ri&U4)WEcS>SKn#Ua z2y|Z@_G9hTcn13T0+RV=^lmsb2iC*_RzP|F$WhY#1xaZ%U~0pqTtzwdd}as!2B8H9DJy z+=b4zJ)_($n*gb>XX_5wF2K?D6%^%VPeVhP`FUfL*wtt59=$W*1WcSranlMkFdFtZ z{c5Z;g-}x*d(0VsbS4UO8SN;hL8cWl*GrUC5MMMzSbx;IDB@FjYP&B)tSLx@O9u{D zJq@8bhLVXx%fw@am4oLSST2k8`^02=fWVf(>649NWV9x5pByGRUVU(%xGG1sb~U06 z$F5{x_2qzdQvYhzoQ{F#+N6hFKEAlj4D%2P>5ootn zQ?6=fp+ZPUzZG<(DlZ^R6ib`xyXc3ztW7` zBuhBf;}VV*;7Tq@=GCYlukZ2H2?%}Iz?RdpF~Vqjfq`?^_&Ak^OJ6a%-$unuDgQpz z(YY_`kjfK(@)7n(r0elaTJKKG<_p^})eRSX9j0?1j-W%^=+{u&l|P@$ekk{Jj8N@c zTP$mh*L{CJk-B*r)`FI!&#pb8_#3$P!jkBouBH(#Qjqn+k~A8u<)xO?0BczeR@m)_ zwkuf(7ZTfrj-&G-lrl9MFUhp8B$}4!0d3H{Z9CF`#z%av0w4V3XOTL2EI&; z_jxPP$R4B_SLnb$mM}FcizALl+?vs6CJXk`=@@|Fa(CMShi_37PbX9m5zhcyKBf^{ zLwukEM=sQx<=yyqgoVT+c6WDOd)HNvGS-pdI6KzB(d?$o7_FVaf6LXM8|watt`2T+ z{(o|Rb@tv9blgm>=jxQE+GtioFBeR*z25NPb>KD z8qi^sfes7|bf9tJeTl-!LJ&o6hmzkJ_qb;UI-B?6osFkJWnA`LI^J+bU+~Vo;9~N# zac_cKVdEk0ks5Gs*lF?Waqs6of_o@5i~RY2DLI>G`do%v&0M*8c!e(2f`%dl+J^9+ z8d2zECBn|_lP&A-+3|#Mj!1mky1rBK6DV#HE5&9tA+aiNFc#yhi`L-d00bY=pnZ4l zSf}1oOx)hmm!*2BV81`_aKlIH?b^Do@GTne4mvUZkq8BTR3>pdT%rokvdA9_aA=Ny zapVQ{y=%bN%{d>YEq2Md1(o%CGRj9Q?9T7kD!F9lNT4W=A_L!NlnwKOmfh-gy0F43^~AL^ z6?s+!9(sE+>@yf)n!R5o<3AsALj{R{p3K&*7S1Yxdx^A9zaoH3O%GwS_3<%JCh_Zr zD2NdZz`IZ@gl8KoQnQ*;?dK}NUf8Y6Z6RxQlo2eis{Ah5sX-o7kY6U$rzm zd%(y-cw&>kAR_-4mrp_1XZ15>VqTEfzn#?=tJec>N^P^Lg0%b=qb-*H9b{JyfpC(| zo&qfJjJeZS%^E7=esJBu<7r4k{FXDZmqt|%(jahb@O6B#9yFRetgS-V*E)=z@$ZM# zzYmqvLc-DgioXw6{uG6~ztEY%XGoK2GLVs%tN#o930FFk(C;S#GBA@cbt-?Q7)_6( z$o1a8!bdC(EL8;*jFQVrJF8yJM9Qoudzjq=4dpfp1_#R1Yeo6*d0$}crlVcu0>yi; zs^0ep@#c9GZ+?9Ee)sU*2W2-(MMawG&2A6NILgyxlNB0ZYO||1UxS}d+fduURn4!l zN~+Q~eYXvb&VqeE;KBy};23}M;qmk5ZLWjeM@D=syXSNH4A`Q`i{KxKbHg~F5Jx(S zx4-RvdiY`Y@UI62jKv#u2YI#Buxyg+s)4p ze}9PofOM&fY?`rjr=i~hqu-j^)gUME=eH{8dD-}p7v(tiq=l*}{X~Drdg%urZNo&X z;BUQmh*6-A(#v6oMvid5SM9lW@>TW6tfU6{Ey4s0L!Ky>1Jo19L zsueXO^q=@3WdmkbHmE1msR>Hi(YI~G4uzjje6Yu@FSOqYM(9z)Btp0*LobXCvzO;V z+10F>lD}Vu#yf@(c@E?t=VAxTiYt^Aa6-o7=HOw3ycKqo9b$j6+F`VHtbf?j%Z%om9L;F3y%TADB_ixCN5Kp23$*gao1Sv=lu$Hs!+S$3B zZKtzsAjGrc?;Lw^Q4%Y5>?GEF3qr>7C@ac0i0hGOK744)(}|oHDenA-V3Um+i4Jt2 zM8^RirbKCUH#vXf<+_ddBD2!1dm&pBgTxDUkzAbuJOaZG{jW#^PBW|!6(HLqBTgmC zPCNGuDfv^ZL7VUVlF%GcSNdb=IYp2<5F!S0W3;4E13i0dif0)U(;mktI*li#1a+4Fyi>F+)my-eaDgHe&P;_+z& zNj=?$O6fHCWeYNk3)?jK0!IzJ1dLf=zITUmYcyp2o&)K=RKP7-M=D!t3N7EZyqJ{~ z1Lu1|;!6id6cUo(g`wn-5bINV01%0ajt2~RCqN2tct42?;u=nIf<2T%*LMP1>Mv$D zV@kJXYYu-RRCINzTKDd*Zm*{LJHt>0Sg}nKnIxNSlSCPQh;5Wu=CK=n*;QOU-cq)e zIpOUVjOr+9U1XNM-WQKs~*aGx%pdQ|n=4XFW(<})`} zyRfHVLTb7@&+?eMaM3zWel33Vw zvvhxxpMQi_5NL|1$aF@cYY^SUhMIuFh`(0Qr9#g~&w-u@fqb@rd%1v{%+1#@hnU-K zLt9{JwmF6+SRr`-1|!ICuHashKokil$G9DyH9gPtZ0YG<-Kb3P2~Y{9iGtULwkNdR z&~`)H6Rf`0X8)U?I2DE_2j7Od4ZxB)$&-I$@ZO4dm7J8XLa(di&P(n-GQuo7`UZg!amVzih))2Y-bRlX7Wa zV>T2&`+p2)i{edJK|5G`dwjDHV-#V)-wL`nBkQN+mKhSkdZe|db-937v_?;$J|uqx ztL^dQ&-u|(n(6&28g&-Mmg6chBFD#OoW_eRNcH>GlQ0X}D2C9`24+49NlwYo?L!-L zZsim(*CLq%@<3w_&jg5lf+nIB98CfjX`dj`rz#14DCdR;D3*m3KB;R-rT;|0t0ME} z^l+0Awc$#yO$^+hKme&WJki8+rN@7D$@ExUT`TyeV<0g?8$>KzPvg`A%_SZ|ovdP> zU2t)u2Bs>j_l8XMEG0upgXGNIBtiUD5>QSCd1H52En!dzA;~3wtbT_R_034P@N{g(?#rv2 z`VX4+dHP*W8U#N~zX3eXO&6I@R{M=OjX<7>;eYSj=7cc=`Q$yQ;>%;_-|_d;d;Iv% zYDv~bqzZLYld)^Jk}Oh z{R*IyFM^aG1)_xXw&~JQZs(q&>DmUG?i6$UinJz=;v~5eQ;hdl)>-%j%7?v67clrq zN?5c+*M8SOGkinld2!W6}592)KBj`{LHS2o786yRy-L~&Y1a|3q&-YY4 zvyDA4Iyb_aE_^%3&KA~|Crk~MwDF^B_xNK7dKCvM!?_O$IIe+Vkc`kd|Dm#$5{n?| z+aHGh{Ct>@i+ggp2ktt%o;-=QIw6QVW57<6vJ{b=i^v$=6v5S>pDNZ+5AC1%`ML7b zQx`>~p(5wd@LH*=M%~~3U;luRt&^ztNdhu6lc8ZKf2~+si(EGhexG0A$M(g?l59(Y zC6Ei-7Fq~N9?~v($Ym&@VW;c`(tqDiC!yKRoTl2O%PdFMeCM+)$&x+ZxU}L;N*{Q1 z{NpnUNepKpi?J5w7+YbDu@@nXsTG+R6P4b^&WXViW3YLA-^=K&m}wanV=HqAp0nt* z;v87Uf0K$2#ghxQ77BsTb?4k6cxYe}Nnl_TS!lEnb7%~LhQ?twK_d;q1gTJ=j#apT zc{NSI4BK`tU=HIP3#HXM0rQm5fO%?Yz^q}UfLSLrc!3Pd_6}wnp#ihE(16)Hm^+v~ z+z5|yTj?D_II_>e6rO~YOySCI;o4Y#D=hfle=%V3&~V`{p%Dnyc0PLH5wBxn9`X7B z;fzqgeLN!;V~tU0Fsa6pp=FJ5z$0w288iq?m&kKu zRTq!IB75-%4brxo?;LOT5oW+^eQ01H%+(Bs05jY%g~ApGMYju<>Ce^w2#h3$1>!ROcS-o4n}yZ1$~I9Emb=fKvg zYLjcRPy6qw9wq)`s6R+}XKOmo(zNk5}j zRg}Bi;M2qTRXI5+%PGRuv1`}YPEiyFYEKLRTpnK>UO(Mmm9w%ueso%vXZ!b8f8`&J zXMg><#}_Yu-|v=(;M<>HU7|jDyuMqW>@N@37q9o1Ysp$wzwF<-gul=YQ;$2ZxI{`-_#jy;y!+ zep()$(K-lYUSk!g$Te!{z;4l~f39v7jb)I<<^k;f>XN5r`Qh;FP~g$;F0Wt32d}?9 zoYzsM()Zz-Pd<;<^vUPVSD!0pX!AHvZi7DtXm)_TXTh_g93{chYfqcOTt~|?<2go> zdBD%Zlgz_rojuE}QTH?lMm??@m24Y3TW#10IdI3`^(0niB}oRmGq$c~f0>CZbC$Wa z$}`CqN3EIKQCa}rEiqeCXaUeObi;HGu-q|NN34ofn#NuAjUvQnMd2=Z_wXfpM= zBb#S(Q<0-@Wy6j1MDEL78^&^q_SKocseAO}?$PhoJ#H+nA1#jly)yT$DmSGnt|&P$ z%J^2r*u*v@oX;G13~cNyf4HO8#^Eysj=kzbvS6>QmIP0&!dd2l#yT|#?t%u$Nw5%N zl4VAH87<4a)|VvnT3gSza^~%lZO$&FWcSFq%nRP*Y&CNYLb-B2}D< zv&?hUW?ANeqa0_MJJq=C<-m-6LL*l`)s(Z-M`-d~SjV zRUI=47MRnr%#6EZPcjdLdh^_{1;+Jt`^dZvp4BAjI>A|$JZXkt|Ix54m~rjqZ|d%! zC2st?oFZsYt%HyKx>E8^4onf_nshGnTr2N9vw5 zLvS3w*&+T0U2QCQmthY96ag`pV2S}012!}>lc8ZKf87|%j@&lvK3`!JD4+o{t{#?b z2StIV=mrS_w9QU?NpkRvy|xjrz40TP{C)Y5J&&D5lOpJ$7m1=siliu#whYQZ2G3W| zwyPhmR2(Q3rq=3Udjp^h6B`9C)qqpMHV@v2>$~+v$D-KRZ>5U%*;se&dSkQ`H(ifF zEXJx}f6Ud3*RR)!7TZ_6@hWS}DJx+&O_Nmog?mLmED~g>L%DvpeYyH|yZW$FpqLEQ zL60N}Bb5aE+tr(QGRR@`WgtV7Cc!^X${J5I)VIhnHRM#!(B1Gn&d2QQem~V?2u_qzJj?dT^M0)pQM5TJj2eQWQRI!v zdSq2b-1LQq=x`N@a;<=^=s{mbR9T+`?jD6Md^5GT5HJ}}{nWN~Tk^sy=8wW)Al}Lg zf4Q4_44p)DgU5hr7qrcb-Bgw!^$7>XZW?`9fnF8*5f?l=(RO~fFFs5_Q1|FxMC{On z&rEd|k;+G;6T^jQ4oNE&ht{TEHOs2~3`|OUH!w6`bb=R+DAWU#7@~==J5fyD^G&VGjs76d`Xf6H()uebqV@o6KYiY!f>y0x)A(az9Ef3*H zgJBj2V@Km1i+(Gu#3W_WBoNZjh~|SYp76O9ot4qpEa&P7_d!xbqoxtWDGnnUN=R|6 zgpZ<-92}B^!xIP0^Mk74Oc*B-e_dx}A{O(i9!5$O7%0{}eMHh}hTbR_h1Nk_M<#SS zSyHs|Df()if@}KQY#b?;V=I2|AubK1%P&veCc$hq3&G_b3gIV>%ky*&C`#ur`*aQv zOJneah9&`wi5z?o7S0*88lDf&S@AR5Z#f7;CzfcQI} z%O(Be3e*1~_wzZJZ4l~^nyrS!z}9l|vRpoJBjY8U0g3wP7@{eLk*Q$2 zErtQpj!k{`w|bFp#C#5?en9w?n=^XJ`<9(_LD%!X2T> z*$xF4jBIMU8z&(RDRJW&`f@s0OM=OW0Rqt)!*2`G$CYfMx^ycX>~s{QoE={YFEXB% zT88_zCp@ZUu$mtqv^89q0QaDrrP#nI(Rv>44&nzk#fwe6SQNaVe|*93uHp<=(L?#T z_7-S2SL3qprZ%7Z8Mxig+!OuJD`g^66q-^YOD$GHfOCRtg2y9xp;6JlsiWVhxZ~>p zsnU`P#-R#8_=3jP*XD0}-0n+`gAkDJRQw%&3ZP&ZYZ_Y`M;dR?kLDknhS()^?~Y=? z(UA_X2u9T0QYXUje-Vv_GK}2Ditku`>^ZOsELR2cD+<1Xg74E3e8}`Y1svkEnFa06 zC8U~SMWX~5_cWrV3f?5b8I53)ax7V*U=*2i_=JRet4ze`mUZIlvC=R6pMGSlyYi9ioGp%&Te<=x8oc_82Qt^_PlO?t*cR?itV8b4%LG`n492ha>JK& zz*pD?&79Z?c~1UxobG(o^y7&oF*v<}zyaVMzqv0N!I)$Bp2qOSKRilm27^T)UgSYI5e?;6h@z){x_ZTr$7p2Ze(+Ga%Ev{mun9J3YV+{0Tux^lQDHEf4x{+ zZ`(E$e)q2s1{9NkiRDeVU>LAs&5$A}w#MB{(+63mWnmKK>e3|tzUPpXZ6#ijWJn(@ zQiq4+cMd;(q)ffiqu!s3H_OHAbC!6Fkt~Y1x7Y6fHcGe_GBjK70sL?k_KG!)30^F)yJt%hJsM2isKF??<47 z6B>M8zFWLqF1{=n0HYo|;7C&aooOe99wmpKRuRbh4Sjzq2v~GU+J<|c9i)ZZQ zBp!NLtLlr~NsjfO!RXJvzXFsnE*-q+IV*6@gw&5-g!k&kqOL25L8}+02Z9?O4Q?5v z%+FUp02BTm4eL#AR`g%Tk2>$SFRc)W@25ut{G%OLwIkn`u^oQIf2#icXmnS0gU`_c zDDJU@a0c5KLCJ_n$WJMhUC?MaAjHyt8o0l>Xz z^}52VUJi?A@q_hi5Ji4oSL^AlDRo|B{*U?|-3y(JcVK9ozQ_Kqs~Q;jYj9Bbc5*bA z%bpwP~!e>u^%zS^HulG(IR-AWgtwy(K$(X9@(Dsz*7bn19-3W|vaa@C_cwOTgO zaRwDzwmY*@h(4h%>up~h%>m{WvK+l{s`aoXK^Vo-Uz)QRjEA$>E)}_clA4-rqyWgl$ zI>DK_e{3Xg~2+1kW-82dE5**BK+1VGjWm0W+7e76B9jG&z%TtSNuBSWA!FHW0r1R|vh70xCtM zM3Gt)1roGdY_OMRonDe0w6@kOK$aXy&g<8A9+WIO+HQA|USx7+$QjP#8`6=t^CIuh z)vNXD#icZ!lwqc|^451Sj6$muFU=Itq_^IB@5If)50nwbrhFgCWRv%0Q~N=zQgPR` zI548WFPMLFdG+RvZ%@RoQoVf^%O+ zUZ7McQ^R^*f^@1xH77WzC4n`p=bx@`%X-Ia+v3m`0osj*f|HWOIi!PC7*ZC67~%P7a9j2qRa#7PVDFd@ zM&y6>mL+o+-sXTzIxeu?`c!-_xBY!c%B2al&gK@ZhitlQs;WU_K99z<`L^5?ozvGk z!R~nAByC#o!38DMkO*E7hYE5zP@p2RtU`t}nHQIOUIz&b4X{Y~b}77&OA+Lf6S?q% zB-Y~6w^DFXq!TYqy?I;KdHa>e#5(Tr>tcV|cHx=vN{5jgtj}1RdW!YUkF>raGdDel z^cg2`{*Rw>g8LtNg8Sl2z6C7XKY9eP7;qw;8-8`iRgWcQ5|`32rns0wH z0Ld-RoB-<`aU}Euz+JHhb9_tHbUEgl>p0iPq$5T+HR>O4~<(&@vUf^p!m`k zHTf1v#{>Q<+6Cua5-^}Jm>~>EVaR}iYr%k;5o4NE|9#!eMtuSmr2rfNSSt*VQfLW= z63MhTk`_aW5*SJp;7}rE9w2{!%q`OgP+|>*(@Q>r04V?^q@t>+YBh<`f{$HTj)YFB z!^kmW+C_{q1?lALbby~Uom{Sf*dFW6a2rd-mhUk211smnf)w_4I=d*HnftPG?Q5!w z?^y1(MlL>f?#gw#E5Z-v&?DC`1qgk1{ZfF|#TW4FfapjV5M42%Bguadq7!9?;p)7} zxLt<`!BS2RP;s6gz*~lK0M^i^@;e|0IJ}~7O<%M}YVj*fv@nRPk@$@!4qY{4dq&v4 zgz6)bKNH)ZXOPbD%4JEJrPcyp&3)m2QkiJ#FcJ5b=sCT`8u@R%#a=wH)BL%HehqaB z*_p&)s_gJyi`{$e=AnPr+T)M0n{r=5*8%uTB!e#;^z<4->LhhLK$QeiBWKR|gu_J- zEMX=+;E*#`A5O-X8cufZO;;~rDm|lge0CKA!lb?6l;2%6;NQu+3uf+V)Rn!vh%)&W z>WqK}#zQ;MkRbg0((!lCFC7opxg|v6V>$528E9k_jE}y_V;5W>l~20e8A09h``eun zL86wgcWGwlsBp7f5gAp4#oFR)mDHB%!n(S^c|gpBsEWovvLLeMf>``ZM7>jRCQR2h z8r$Z?wr$(CCboIUwr$&XCN?IvZFA4_e!J>F>!UvC>RPKWtriuBxi&ba0z}Y$&KEV( zs**ofLz^7fIXW^ofi(YscKmqf{8#VM|Bvk9VE;d|rvz)#ZbSUGwvNyV8eDXWzr)lH zehv*`6U22>e*w?Jk_`1y}wQjO6nDwHNAYzC!Y7j;6pj*U+_1MfoPB9r}HxizvaFgq(N8yt7K)iZ!=N%S#x#< z5AsXp5iVtD^Gs;L6k`WhSuk&t%-;_$C8iJ)4D-wcI*TD z;N73=zJ7Jtxwy}iQSxF+=~_zz z_}*~X?}p3}0xwxx1>pkMGh8^u3FEzV3tbukAK-hNOhQg$mBDZu#nuQ4#?bfaZWXHhAM2d4Jp^>EZe*I}s$>B5%p^a&sy6?R7 zV&;y_igce<479%0wN)-`POOl!f%*RJl2{onRRSGOR?>J^=A`ifzdk#n@uWQ2{=x%g zv%S_jom+6x_+qPcx6ij8zQl@-%UYvKtb*yHdMyJ5aoZ@H_~yXBtY;WemAI7v&Ysv_23kZ5~M%&o38Tz`@Jb12MsF3u>G8{L}d)rXU@E z&U@*gb-VOLSM_UGg)ji3}499BfT)KNrR=Y=*Sf=UNuzvpKJ*Q|%C zAd%I!z23I6asX3B7^H+h>){${kH^~?xf064SP>MjaC`?2JaViv!3Js2ahs)hP!PETG&Xz$VA%)dx|Cw3 zDHX+JJx7gDr6DqjmTJ23CO>yj#V`z|Oikt2o&}-fM7n~K)P|(z-1D0lLNu6&Mgru_ z>(#i2$@~2dOtm6@9VgJ*DY(5^m7?q71Kt2G>X~@r0B|k~)D%s{kAWKpQ5O$#Utml9 zm|!W4if^s4Cp(BbJ?Lj7V1(!`$&JyxRA3BtiYi51zkPi-(gJh@Kui0(wtnnwFp%6e zB0hefjaBa)O^VuC zecG)UpOWuRllynvR~XcSiPuSU+0)$k>A-veEy$Az`ciQjFsO_)0F#m6f=wD$VaKjkOsd3TDhMx^nVw3oaYeBz1CyF8#&SZoTvOWk*F`)<-S2bdTwwG!4QO`k8 zYa-egbJOl?#iZj8raeeUs1iNu7?%`bDE2!HEn9`(g2ODZ;zR31eoC$kAOdmbKQ5FymMr8CRK@;6Y$F zmwGM-$lq3q+2J}Q@mr%W%~sIWcYLtUGHG~@g69`-3y$nS0L{!;&&vk{E(p4Sfn3Fn z;=kOqr@q$ALw>W!ktci(Wb+eRGnPR28bau?-Vgj%G(R1emcnJNZsypOfBv8D>XU4d zO3^6f6ZlF|#w_;m5&f9Wh8GxDSQ$Iw=&WAEV(ggMlpj+U-57{;RCVe!%9HPq`gd7P zoBFY9lO=$-98VqkuWII`!hYFabc}KpSkuyT_|4IAvLN?=fQLQFG4~(dVf`Pw zwDte+4&S)opL;T8?dCKPxq2}#i~YyOwV>r=FZi*Ak;Eokw6B{S$fL6CVoGJS9z{}f z&LN_(9SLdjNm24Ta)D{`ojz55CFx|(+N3o;)e=gltafFQJn7$2hvdE=oYTz;Lq1RX z)I4?XY8$dFMS5O4cJ=#<-vAGCc+R5 zCoi54v-<~|d!s@_V`ilfPqdKwO3CAk@#z{_48l*cgu!I7d(p~^KmO8o@JknmSBGs8 zywUXTQdH7q_~7Qn^|g|^wZV|k;4AVh2BkXGAC~HrN#BgqPD$TTdVmgjjoSoE5fwaH z#GR(UO&AwarQP-9=8$z7dVN-@c(scfMX842Pr{X?ix42oypK2-QfY}A8fny9!L=u~ z&)=fW7M4lJ8?F|m?IaBKI}aEI$6Mq+x=)nv!C8X)##o5R>KAhj6$8)RdJi*ga?NWE zyOwGz^OQc3tcJ2^u7KP$tjKzH`kPi*SSbAECi^>UqR@|uK)hXym(1pUM5rNh)`$M- z+fOK>Q5&wgYl6yL>l0_RdhdynCP*7wp76!?cKO58*uP5e$gsKHyt!^3waam?Qj!JZ1%Q9^B-U#@;BZuLrT^=oz?N}~?<_c;eQU>8{MTJ+Jb#h@~Go*~$qBWe{+LMD>(=SQU(<;E63CdAmWd6QW#Q2r4loy)%GVJE z{aHb15A4?zvcPdzZoBfawt7mDgYOKb(U9p;+#jljLv&qzyFkxP^E(u3;W7EeY;Tq5(T9(leTt9@|0Y6&$nB&rpBfIkohi&=Z?F6z(>4Z z&M&*aD+ipopqP0I=D18G?^UGpet~K;kD3JM(c~WUWIjAGIxG00RjmyVHBn+teBoEE%|m6afMeDksybk6F!mp%;t!D+vl_=4F!6V0=#6QV z$zw{Y4*O&tG#Q-H!#F$yN4R>H1RV8#UJSfbz8<~$LlT}a+Ndyu4b^A12A_=p%YL2Q zdJv`XhqJ_5npLP7DV2!3I&*k+^F(d2na}1>A1FmiGwbDw3})pLZLb+fI)ZLsG)BPms1_OpQyJ z*0g<#Cm%-nm5;@WD_4NhP=5rpYC%R8IQTdckViEIh@raw!B%OPVML_z5rG#gDZYQM z3J`eV#KTFQ*s%YpZu)`yisF0MaPI%6_W?Zlt_jO-F-B)eydpNx^A8-@NdOJe&`_h! zJb=Qv7HAAeSMHg)d&G#d1%3!^;pJ<%ffc-sv0)o2ogHxC+f23|n1Lw`6QrN{=xBU) z0>cLilY)>O#AI?CCH?_lU3dOx`!8Y(uRNZ*fm&r@n&+uC0@`NZvRZ>P>@}V;UZ5ca z67UATbn|^w2u;MJvfkCZdbVh0CVBU+yAe6r!l4jql2<= z{WnE~24KG-j?{ahar+x4Jl)qZ4Q?HTN)ZxaK?J`Aa}-j&&;}UIGAh~j>tn`*Dgxzb z)y_J<98v$q#O*k1?dZ}6Wk8KEP$4L9H0Y&l0bE(!60gdTH>fr|aTSbRjgcbgj?sP)Qri!$JO20WdLRUCKT-z_by-2F0eUMUl z0F+y{rBF<>J*#TgeIE*)1lCpNEpP`!fWO2lwL#F)O}VMV0Sdobh(e8Jz5@6-HfkTQgqU@$Tz{ZnIFnBNHd z z)_rBvWzMV_=);*LF!IBW>tBO97KeFJe5~*WGJauaR0g%4?Rg!y*YmNS;~?2PM*DV> z3_>b&I|E?43m+Fg88^_jyLX?iYO>bCRGqJebpVLZ4`774NgJl*J)gk?fG5{9f#z@h z2UUd0wyNq|28F-#bMJ|lzxPo4n(TJ3GCgd|Un8X8w+okgN}Ah}-FQo$gaT+OY%nMI zuG&l4U$_xw!WjIa?73EaQ5*7i-!@;aIgvQ))PL>51|o`#|8kf;OSi|+Cpp=aX{wj{ znnsG-iB=ko{<&X!30z;702F0;B0la8kk;V}zHtL5&q5o18o=ax)&RYE@fD-_7sY}~RSxP#JQB^3p(Y?$^7JEfDV1V9RCf|@aU->}n8gP}YHJ09=`uHLfm@x_C;G zGE%Cjn@kdkB>JtIhv)DMRx)y9m{5$M?`uQbV*sV3GL!IXh)&R<6+iIpy&v`+l z3tnZ==$zU5BN+2<21Rz(W49jfyQ&NwVmKF}^ViMG1C{s9d$sB0gvnsF9y!;#+5|NtClwH!{ zjTTXwqAsdx!cypgqC34ij>5200`ud792o~YI~@i#VcG`^FfHU_bbc+eaR#)aL8l=j z@60ew7%%$mqmYHfMUcSTz?XQ#?N_%#QBN%&dCzdo4%0Q8UI}_4QfOxgHKi{SEQE3 zIUdp}MYl!&!*0rM!#H~jdu9k7BZuq=&=RL|%4dv3R$cB5HZCY%_!n%OVZZWf zU;zuI0Zu(lRlQ;L=|bcLQqnLmI=k856c_!hxxW(S{=%I2)Z$UXxG&IYQUxG;fOtzI zR4m@g7IV>#8rfO@CM_UOX>&X+rq|XW090VBakva)u~ey z?Jk&!K+wCzZQK@zs{`*juyS>|N zE+4{m(O@9na`pXGpc?f#5i~|6b7SJT_2DV(?a}m;UPn9Shm0(^*ff3Xsp_OpVo670>RBhU#0%n*9tH$Km&m1_CZka z?BM&te>|()w9&`g-S_73@qGL3M_ywufbaM7a2}QwcjW35e#V)-BRKz;uH9sYzKQ?A zM{d1Nw=BJo?fm(I)3%_+(C=?R4BonbYpG@P-w1ZuLb-E1tuDC=?h>;m4TVurNDa*- zQIlphRbL!FtJzFCQ&$Iez~(~y#I+PF&tEC6HBKTc*}tSXBK>SprC8W8GpB!l)*mio z4?Q;%ICW;PCBJ>J*bESIuO+v!^d^F1FQuB}vril7SfezCx@8NCMv<=YGG#A*^VtS@ z$0V_&IFIhO)VzIeRSCU2vhB{exUu;#^Kj(F&Bslj&^2=*s45hF0IK<$Qq!$kjHH@J zE(t7e|JaH)Su7#Ia7CoDD_LqW`i)M#kMYlYYl(QciIQHB9{l09icdN{<$KB%A42)| zb1!Pzm}ajPd4^vhDk_6B*yu!Ht8L%>VXz3U8sT9M!ysVW2H|RMRUiMY{+!L}*wpB` z8%UBVDnS+7Y|~v~4LGRYLPN&0Tq9=N{>k9}*)IiDp3c@j*p0fzCh~U8bnzc)a)}GL zRofKQu++|GieB`S7(G0<#k8WDIHJOLhRlg6djClMv0HkABQ-?$~iAF&7QWav~@P|*tH(S0&rPY967mSx$Rz6+Gt4LsuZB4>QsW8+5U<^T?3W$qzmsqT?2Y-CI|#^@9Dh`T_ZH?>9dNvS@_e{U*{s-}+e zML^JvbU1?nIj8CxddFPZ?V!P`)UP(yr^5nUIa$+sLQbM{32T#FA)J}Vsa~Z^*o)mF zo#I&rxWqIIuLl@OZ~fMsi6Nw5yonI?@=B{YE?^|{PZ#HDh6A|uuPPzpE7prJO8McP zh@&9Su^yfTg({Li(mPD6@484bxQRc@-SgM`x7GJ^2Md*cv4j~W>M(Xdsid+@bhI1E zpj?8QKxy8>ZhljN6?KmG-symZGSj&~=@mwtNKTqQ#z@9U1SB9bDetgMzkk7gowPxO z%U%rFhS~|GK?24+th6c)uwfx5w7sF?!<*fprBdU;qL(nlwQXYm0;Am%vCY50SZ2+w zju;8bhl9PC0Uz=JMQ#AIx&w{%2>}g@0Cm%V4D$hB0*Ci;EVMHwAEcO4u~5bIX*F*Z z@<(~Dv||P(`ilW0&N>m5-$uBiEOY@q9LuS(nT%beQ39yoQZ$C|3t=8&6D(Pdi)$w> zS4IL9vHX9Hb#*~-i-8{+rq*6_)2}}Ws}!mBkz)`|S4LTN9cu$4(B`?Gh*V~m&P3`@ zbQN{tE|AeaO*~btKkYOeR!o>_K?1rwx}?V|6#4T-Q_dAYbu*PaRKche&JAG@zF0;E zE3DN$F#(wbDpYJyiy~f%gRNu0d0;lNX1HaUPxT6cI7D{45=52hgbY>G=N5wFRvW)C zub_D%$Xn*!3s_Txw;uJz6@dotg>=lI#GKPA5^<^^Te-*R)y*uh!s+2^{Pj;~G^QI@ zdbJv~Q*8I^%(04%27u;l58K@g=iYU_DaT%G7XeL9`qfoJ63GGk3vh<~J~vl?i@54p z4(>Lc%KBQpmVC0FD3c{A!dnErB3;}MBWeH+Arm*1ia#MllN4-+0#qqCZ9#c$9@{^< zYp8fuD@oxl+_Yukc37y5JHd<)ACIqtf>bV7se}Cj#f%=%vhvTE&YzWGev&hLZIWO2 zFo4D(@Xe{K-_Z5DY`V1PMqu>I;LE5+#Rys@!?*%2dpHcGDoBe_(+9l)9NIT# zNBVl2utv;cI{8ZeW0khX6lNi-TI{P?LW${5i$vxWz(jd2u)B8Wg_X4u^Uf|rq9!Q1 z!pD%E(vz+C3cb*wbS7<$0xt!4gFBCvAb_+_bPv$X0Zc+*5qXO-oy5;ylT6ht#w`u& zzeB~DyQPF@v#gfI8{}f_`ge~!GfH7;Ve^?jG%+WKUB=eIp@Q|ofrHk#c%PC9mc`IV zkwO^528Cg=%ObvWEC`7NWI#4*PX!t7$>d&S^P;)!`<4$Y`Y2{c$rK*=JpCTV9{_Wc zNgl70sM*^f@Ri5`YsW=7!zQgylyiW?q2uL-pU+sxjz`M5KGG`zn8zC!Wdg+}9~?F$ z$Dlf->t_w9gT>xPT%I0mM`3||qtUC}quKZRhrV^g?-KU(9p@mDnIOQj19`q+GvZs* z?_CDUJw9~x-!saVVvi!7zE^obhM>kD4*wAds31&i|C2zIg6wG0-f4kh0g|A|GRi)d z^B5LUrIPXa|M9-#Le|c&ZF+_H?hL$|IM zRFU-a=rKQr}nZ28RTEG|a>?0S1G4AH#0~b38l~ z=$o(lRB5}Uqpiz#P#N|5H)bQ&Nn58liJL^YSjvonZt3lr@5}~|u6&EWSe%_dAJjRA ztSiC?t}NmyyAkTyII9B}fpzMMFryF>VF>ax^0g{SI!2-K7^YR8t*$?s0{gCNi8$x_@h9B}%i=aIY_4`hL zD~XlLPrDc|$9LUE|9&Kys&{0O9nNTTITDF?kcnZE!jY!?;~B+`P!7s=a)>h#?0IAK z>2IQGv=xaS`N^pOP!sn9;Ubfaz&zXcNl15@x_to?U?2G0A=4D#8u(0rzD7awW9Uqq zONIs4$AX!r@VKkAS#Q)2b2C}}8(b<&s=FX-wFEXJUFnir%v{79SIIiPhhrGf&97?P zQMEbbw&M|Ul3P!T9_WM*4gkJT7Je-tc}_HP^tNz!mPfD!pypX)Qnc;0Jt@EVt%im) zZsV^rx*~S!Ov5l&;3Dk zRjIXZgQD*b!_v(T2AEKnyqQw1-*UwuKj_@a~Sc@=pC~o zkBp|`!T|-fg_o%UxNb(u`>$e~OVI@f9IYP0%?3U5T;}QEX>k5>sCIBUp)~Up*B?qH z%`<`nJirZ;MVeFQ7H|sZFlFk>1<-=cGjsh}Z46=)%)y^Q`!y}yE(*(EL#RqEl4&!_wF3ce)P|i>BWCfEHcUd_+kt(AU*~PuD zGQn@=yoR8`WE#)cdS;qeVUkiN+$G1w(eX+Ka8S(EbTCYW|8RL?-4fRNkg_%s#h8uk zMVFCn8nTHdf;{dY2ix;Tf=Y^kKR)*ZUt&S-9^m!20gGV2Y-KfOzs$i4r_I6t<5Wk| zI-xI8bizuDfW50`9UoflDen%T9cNwIA!V{`TdYnQSu7!P$T`ip`3KHCpGk{dfceM( zlpMg;{1Ws?df41^CT?4MUMn=N-O$IzDEDF2`PDtc%QaiyQ(Utlr16y4K9~v*JsA$Y zpej+-W1}36g+ls;E)8+Y*9Qe)=SBYS?YpAg#+VXnd$!? zwGJ_1Kr1u!{`M&F9kR@Zwy5lvHaZ7s`^NJ6(wM;6x6P(8rzcI6 zsp>LkP_}xsaf=R^xS$o7+y<-G2?^8r~>W8!R&a*RuML%}hJZG$ndBTFz>C6Tn7@36?J=Q0G@1QcNgMkTCcRbHI z6vbhe`S$`q5LG!D9It=05-)!w2;zi`0IyEu{(%`~pL;y_9Ia!{)c%FqyZ+*$l(Vxn zKcM=C)&>7-IG{`%oM}dp|2hu`=l>+f8qMjXEOxZMkGfsT**`ESAVQ^l%^Af>vZa=& z3Jg*R)iJi@Sa|(iSwFouBE|!gc8!br!H=YTd_A*yP(i*(5CB>~1BTo_b#_JR-;UKm zPY9g_vL>jc84#H;%Nx5%uO8a9&FI6WpLoh3?6VFRq;-o79qwSICpdR$R_t?Z4Nj1C(10%zjb_mOsv5Fc%IbFq8?0eUdG&Tu;m?IQl&OSNr0l5W@m5h~95<-gy zL{Rv#8rA{3Sljc$`wd@Ex~5eM7){C;7Mc)qA5B+p^-Hx-mBEx#Al=A>BDh1hEXuSF z;6N^`bUW2zw7asmsiZcIDO@8(M_*|(cfIf-w6X9qT_63Ud*4pwqvr?^OBIBBnfWgi z%IM58=4nxBOF>ZxQ6*`0+n6G4hVc)?M6usRe-TTnv0C=10Z<+OgfxZm)S}+8|3Uz6ZEZ1MY0}^_w6;AwSVD#N+ z1hG(>XM+@eVkHm9K6PMgf@`?Rd@pu|boYUyAdbQ$i|#s4yfcK7ljU;bs6g%UvZL**~qP4~@nQ zfN$;vq+VubXfft?X*8*->?%@asxffs(fzts-oVY3Ny!8*BFk<_!~rFl@m3SR#i{<< zGL#FDF5#wA#mku|b^&g_q#9N7Ow^5`2NUCIo@ZN7?{k}%Q?q?Rbe?01IkhFg7z!aUL=;#|R$WN8(OuFFinX1F#(+;?gf3twz;+K!I(K#j3g zu*o${!$&{MA^|j)R1gE8Jg+aLcH?8|Eo7bg8UrLu^galqp{vs{fP+G!2MEp59TF+m zKx}CPbtT~my^5nQ`)BtF+yYs(5~oXhTBzi#8Lyk5$Q>of&HmlC#am5z+Pde`lgNk` z{wgO{?*ABy_$3wWgTvFUfhi$ps+O zheu>gilv!ZSSxY&a-Q>mK#&h$_Gp(Pc66q^qp~EH4l$eD;&~h~8C+bw148;h1qug) z1iC9QMkUdQpG$L-2aGc|a7_oEFZPW%2nk&ulWDDK>JG@v{UVuk+UhZf?y>Fi+-I30yP`!lDLs_j>qH&QN7 zvN!b4&0j{!;|X$+kax$N+x8B+xgI=g1NeKp>v+}_#T~vNTucx0dgi8hHwf8A^%CoqLHGnPkQvAlH%6H53r_hoXc}q;-(!YSiAIrhX#UF40I0$y;{}05t zl8mrW!I(HX8Iv5lr~p}$PXBUVp)X!A^c4{y`+i!bi=|1jUQvJD5=;v;lZ&uroLnL< z__^q65mn&v>wJeJa$T z%p|o%uzFGTr&;YumX@mRg$UZb1_B!h-7-GE+kJKLB|eL!^r7=}*_7>3;eTcY6dU&;LS2653c z9AtcJQI|^O`3CXOL-!hSQ{IuY$OwjmVE^cWb+%2FS(ql1KKS^0NB@SJg5hO%7>Dl7 z9L16AdTK;=SPsVkTJSI!yn|c)9FL@MOSnrKqx!h{?zIF&3E$ z3Hk+ivezeZP*{z~6&914G@zOxq4WG@_BQCgOPvJno|i7q0Y=Ur$(7$|s@A7>0}z^r z6AzN777sG|ZvuoMo(4xX18Q(B)Ziq>1M{tMmsU&2G6+?A1m~gR9|zaz7(#BXF5WrgOW}@(pqYU9ricaDwj~y32fWc16=#R6E;USEj z)ZVc3q!t5adr4o|bEfhg7CsEBIs=zO&*SbOmUy8yBO+qLzngtNMy7ZrNl*32*U9>L zaGEH(-trs%%Kz0Ux*o;J^o6x zrakFFq-NZlkK+YVa$!***NX!xy;_oaSj!NKh#L%?rxpx6I%P*x=UaZ(ZH4j#!fi`WwH#;u3XN&45iA`C=TKoh7;hWu_Q@! zBYEKR*ds|2fQX0_5Jw|O5`aF7ZC<0h8@-LO9w|jQ1bMB4^3N(m3K)PZB$KW4E}cy? zAVJR%R#Vp0v@EyciF-0~Wnox$oRi$^4-y{|!edR8>}std+Ja|Q*1WaVFeF02p)%#- z1?6N#2(T$@g}o{a0PNioy?b33?S<7q~-HnMJ9!Y_2+CXVx&a29mv47ocwLD6mju&tUQx(@^cZ3=rl&OW6HN?fC8=F^~wi6pgCF^;3v#5 zuxB%}@O$;tGHULIX(d>R|G1$z+F=Ia*9(?WpknQ4w4l3uHPe7Ni#ApX2?FnJ(BD6U zuWWugCy*a1t>fN>HJnDwDAkR@1H0VyfQ{PctnO?f+KVkNescstQ8b?!bmUUlA6Sro zP1qa0VUc8OV%4RL&11x2KEprJ>C2aAlsV}2wxH#d|iq- zgeUC#C95&_K%x&ZAeKoN3FDclsEeNPp7FuBf3Q4at`fG3%Axa&MHo~i;NTCoQI_Pu zHF!yXAo7{8y(H33LzV*EWyE3mPWSAuTk-Q)uCW%W<9G97J>=RrIm8UQYH`C0HFj;Q zZNme>S{<8a+K%-R0HaKDQE^6ZD%s0e;zty1#IEpUVl3>-0c`}(Mq@E3PXd`0vCI-{ zYIy{$Qj(^VOejHvXxs+p7RQ-cKmnn7IXu}bXeFebW@iOX2{N^Vk23gG1AHZDo-f_~ z6LWXnM&2MqCi)R`n6U3f9~JHc2GPH($w^BJfYG~|FKOAkVznX4C<*5@I1F_R955UW;dw9hG2z)F9j(1fte32l={3_)Y3 zGN7^FlcQaD_09-PYdra+XDRg;ECr*q!p2$yJZFx%2;%<)WHa3s&|A$^%-lj+`6x_c zje)$tTg@ggMBE9EVev~^8Dc8y5kM???CPUwjuup->S?mewq7uKrw1lleM0#%tK3%O zv!ma%ABQfaxl1J`5L%Xqz#1-6%K-zgoYgzAbmaKn&Es z|Hi}0HPBuTK=<`VSDlhDsBiFAJzOmT>u8oEMEbgJ`RhX>~BcoEk!tQ&RP2>ThAB=#sK5N1)dJvfr371{ndy=T23hfG^JIb zZka=ilCXs#-%c)uOAtp75d)!(_oPvn%lWBSkcH;r{dsL6%+@yj4hE5|(N-SHoA!k3 z{$klt-$MdZ(94a|lkaxcqmpF`$R|9gfnXN`4bnHZY}NI0{K7$=Lbp|4Z{Tr(ya;0_ zd1A*5)to5Ylyr_LDa&>u!3Y26)RA;Iq}Y}m?MLKTz<;gaSWvnhYWO~TE!&oaCC-W6 zkMIu>$60$i#KE3|-^=GSc_j`Z)Xg+92z6mhHq3m`c%4(A=Cd;aVc}Y4rJhJ(9j$5W z$pcKJlKhDdurdrfD2!T{+`XGT#ah+1T76jMa^v#D#Rt_<6zkvSdR`R+xELD2d4SqZ z?V7v-BhRDIgH$Ki!{rRxH8N;yHXQMtd?z}r_ZZ@)4}dz>{gOdExh0nG%(9EMZ*Vjm zq+?%??p+^|6h8pRI?%KAAu2NIZ^QP50|?~KBO4v&_Xj+BQrt z*r)}4b|~xl4WV1YIalczh=VqPkz>=6OTsK`X^=rUCXUC?%-Hxvfa}NlmOMK)->%h= zqNnDofC#Z*38b_#e$HDl`$;<0gMXppOx|7Sjnwf z4U0897czcPXhx7j;5Kk=Ldix8Ytw|$d?*|b7yNqc#iEhL zc63E$iB{MoQZg;6i4bo;nbhu>w@bs|@_&ZGrA$$)A}j-S_Spwgizgt2A#)zI6}0hm zsVq4#Nn2{^EtqTRn@s`i23qHT=pUCh9E^&U@MUkS)EH4&Crn)y#kP7clK0>ab0bya ztzF$CfykdR!Ju3XK=;5GO#`sm&F_Y#uIl&nrJUhMU~6gz2-RHS%dE_-`o&S(20Z3R zmi*z9DgrQ<%OGrA$|}DLvo?@cvAo^yj5XJIeP;k3q5+tAd0y^Xn1qG+G6$We;L209Gyz&jNZ~f~D&liD1BADjt^y65-KJeiQq3pHIkQE2*;D;TV|=L@ojND`!r6Q7yo zZ_+(W6vUK+EYT0p9Cd-Q&uWKIhMIidfkSY40ArL={tdFHq5Teh6qhoPqREY-$?Hg@UKH zGJ>*E_MgUkl+hlmw3I#p@}8!0@AybfBicc>0f*I{*EMZ$aH+^ zNlt)0M)yTsuXG)*k8XTXnQ8t-@Of6|t!kt&?w!8r>n8Tszc~tLZYPUQx+glna`SHb z-BOQDufI1Ld4RKy-kvV1-aZey9(Fh;i?)V0u7*h&7}9Ri2vSGQUHRJu?CVkRJ~o+x zja+7We!5*PEQuyYhL$UV;@bq9u@GU~iDIz1sn? z|Mpy-S9=`b?u`6i=Z@3~L)tP?YVqqTC${bFEMM==y|n)#0Pk60j*7i$^BSgd`v~;4 z2c6Avo_90N`1g@*^g~s8ts@2_Nvvn&pCDq;tscNQ=Jdh0PX*Q^?#F0U=9dgy?Nwk` zmBColuTy@4uX>%B(aUt6J=;eBTP{G&rRD(uSA!omDvlP@xW+j_clj}Fnb%sZE$ey*DeG$A<&k zWy*m)_8o;;{r@BE9iuC4g0|7vwr$(?WMbR4o$T25Ol;e>Z9AFR_Q~_U=R52BcYf?z zwbriH-Fx5NeOFgkT^HkQ>zH%$24ntukilKMDL-2MOg>wWETV3d*}Z&i!Ip6ejxjlm zzncrtHwcMSVRKr74=`HVq0&$N4>LR4|6=}X|4!QAK=~nJ+NJ-yjstc*!u-p&Injw6 z*V@fl$|;^bvu+$`oYrzV<>QSF%AaJg#XpE1C;080q8sAPS-I7N+TpgQ!=CWE`zyON z5XmGscj$ms$EXmTu`rKGB66f;zh&v|{u5NS!l~mOAGLcc(>?6$D?qW$O91aOL<^85 zm}+have3lh5* zsPi$4q1M7+b{~I4v3%Bv9nv zwvIq0g#Z4Tr^U*JDR&%a7R1s)(S`HiunEHPiT#+=?tNd4p7h??&AZ`PiI8eWVucZg zJ>1=$U8z^d+3hdMD1-N6vSsDasD0lXAoj6HymWSi-F;F9Nh83Z9E}%)hycEMn@0=& zSJap0z)X<(6#i`{V*goB0>~sVXlWz+?X;4XPtV@GYC$}#DT9pBJw$U5#euNTSJ!8k zuhmCjHOOC{6EKgInD{Nsq@v8CVo^nipm%jyc_@~vd1Pu(&X)wk|G>PbJjo=TfoNOR zn6Iuic2T}a22TF~|AC2Cu?3vNcmZ*fnL$`U#79RkH2Q9T-pEq?^Is{vpL|zuA8Uat z)p06JjyCMkkdcy6lX8f#z*MsFP@?>E zbD?8roSxM$WD%*i+Lmo%j^Qyf4dt7e#jOC!OS%f}7WvDKf|<5fSr~u~tnG}#i)sVr zR-6uXp<`1JmsP9Kh}4UMqt=^v-|=bqZW)-xz01$Laf5m>=|4`6HzPe#YZB~EooRU+ z%hFuP(YIhF=fB-Ie*G0ETz*;ZU9pMN1}d77q-?8pwd!s6u=|r`S@aQW`tX?aTMM~Q zSp%*N-oyRZnl&ali34EI+{e{vSny(cJ0XT}&11FYtkJt{oYH-zJ-06;?Jhj?R^ysq zfr^toEGvk4)xrbG$4u*{${bc;H4$lLsgcAPOdmso@r7j7GmsI| z2gwKdL#Hoo2$=Du`aqxI#mNH|O#g5yCXg{qQ1}M^jg|N%^&K#qrUQ0*8)zUADjl=< zGR>!b<0ziM!~)g*Sh_m_asj3v%uD~`LNS2-Phbqqkw!V{C(k^!|TQ;SsEwm6u(dVq&OJB<<1g?EyjZukX?7S1nd{%#;#IiBR&a0gsSSP95w?cvAEaa)Q?ia8FlSJvu! z8CvJ|IYR%pJpB6Rsjt=MG}k$TLc;%=r}g|qBXdzy1T~+yYiQecyN-fV#?aN`He6yE z0&Ng}GWQuHI&CDN*28j>MArO7C4pzPGN1dzhMmn4 zNw&iL(Fo{9Q(*jq_X3B?MWagj(fqeTI`--JZ=~ZVK>;T&5br`1Hn+kGx-Lfk4fX>E ziBi032ZS(u^nq%)2dKL+1~KZ}nv0+>C$BxICIbe@fV@U4_!Y#eWt=!BYr z`L4A1f%*?{hDe*C!OW!rVuW-~40bN|CZ>{Go+LobbhHoe1}9NUUtFMeUAEt}7am+G zSlhP?d$MjQo&Po9vd+(1_UcczL4l!7WQR-I7sm(MBg-zw zqV++nB4Y?gw%20szbZ?VMgT|z%w zJ%QdqwZUaent!=kGSej(=zF~-tJ_<+x-CHRc@7#=Ak&*wocK21;nVT?VraL6Md$MZ zm$|!(hZ+((KH==v-3Wg1OeqE}2aF{WT1nFP8k%q=;kP0Hk0=vHGy}%7>bfXJsUvN zXD{9`0 zW^ODL7EqQW6ggd|7#(<`FqKLF$=cGEecHo1h=Q4Jyxrz9>p$MWgkIF+C7KWl3}|3T z;+?x8UDn3oM!CJF^Md6GV7eE+@^*l}xd3}x;Ww4GEwO=DFw}s~-?GsT>WMt|=IliL z-mJNhcg=Gv2M@B6wyPTwy0ZYhL&luG9k46*2URKgPbXpleKRT0ekdibGi=9Fd*8D0 zBdcp^Rji9n=uunHqIJ7zQ*eM6t|-_;v@hvci*I@NFp`G|F_hp@&7Frs^Cuw6f79K; z<0TJU=VD@N?A`pgiaR?~u_}SQV7!wtZk3D_f+vOpzJmDs(8%+U^3Zm+3J$F#<`sdCx?HpW)KlLK9)mY6xuNUDMVU;=&S}OO? ziM34Kf^YZ^b2gm+x7;Hw-3J&xO-K93BVl3tftC305?eFwfCFV@=Uw?^PGVSRd&HOn zlLG64d2397OtaUrVhh5?lcb}B_5HNPV=SM1LM^J-NWYjovK)|5o_J>NJKw*^3$x|D`#Gx^lM%jf1B0l4JYCIzT6w>xF)#z zY9-ypVi+AmtU{)2_t@O}yu)QsbGRJ=AvJTkJ!`*$fzbVNNIL1SuD?9PHVTXziSU>i z7UrM>ljHqdV32wAe>{?lFVA}yu%6^}-_1%u&T;f)|LKk)%x-1n=WbPxV#$tuD6*Q( ztUYN$V)<>yk4rL&#cl%D{^OFsaBQXPQ0XgR9B_~Rsuy!S^X zBvg|;;%w#d%~V~@S;BloR6QF76o)Q~@8?cCrSyB?jKLb~6}i7gavS0=ndjku_sD?z zIZ-f64)5AnpSm9|&e;PfR5(Y{2Cn{KVV&E-gt((UQ}2u0qH~xM7)8ta)_!c!2Dl%@}ZnS*fD4i<+xy%WVL_{qelHq>N|H%X2j)sRjsVdYAr z3aRB^k>Ct_ge>v#*p1X_P}cKH)eHcO5u3@}sahd}nu^bb_p?>TokIfzPw)|rz>PaK zFQOfmQ74K7|MQ3oyVnwYE>BK4Z z07R{Bk(I>1g>1J46$_vhfq|>)B?wy^R;dZ{`_Y2R6+ylnFu19330|5Kk#l~)AQta7X zDjWp=dZlT192$|I$b*;rTIgxL6|t|AY#lkY1=$HG=*Ga{b@SLWXwI_Obw$Dy)q{DWRrMr0Zgc` z+Q_U?-OM+q*RkIc!^v>SSwqMa@SRpJXQNod!8L8jo&+$*XxI`A?@rJx5h8Hgmj}Kl zGt_;jgM(-{W+_f2CMdyqcYEo3eQv za*C{(y!0e8_HL#BOt=zqT)5q>AuM1=tbDRiel&(wkrvCToqD`1LX}S7+S@3(ysLvN z2F4P;U#cIi*Bcr>W{Lk3&@WkJ(7eGbS8^A?W(Ixbt57eJP!toM*Q^8H_Ne$KxCU6>PAn22X z>OLI7gaTro^8`!KGQthvNK_;Fu!gBb12dUy4C)yFrx`b}(4!k-BaM+TL%0bN{PKy| z2dw{^sboNv3}vPZqf{nXbn3#a|%weeRDCztH`p1L0aWMc&w|54UOvx8|!0&oW5tmuj$* z^7`##(Je!&aBAslswi0zDzTrRz<#E-y?Y&@unE3S$CB7fvs@FZx;t10^Wa0TJ=d=8c8XIr=w~sP02$Z$NK^*$e)s**D4pD+EPTBg!HK zY@wxA4P&iWE8-%iGDTFdR*eKeYYi}+L(Cb!zm3~a`!kT#TE%jE2>(vw{DShVs`qd- zK0JOa@IZ;K?qp;JQg=hQK@+jh)HNwTbZ~qiq$RfkmqCL%h0CETrylFFq)1R)aoX>= zqAB_E<~I(vZ#bh#BG7qk(@up6vnhysTSSr)y<_;a)O%H5xBX0p;lW6i6AaK%wqYX{ z9FmCMp5uVnS4UA-j9q2_BQ7A}p#3EcW*#5ngg|Yjv}QPqk|sdL7 z7mQq3Ym=0!VtA0jzwBn6Wz9PrHQ`1Ki%;-u$62uRtQyww5z6nH56gAskNvQL7pMq0 zYX>c_>Q~iIOgo?dgo6tD<*$;*AQ(_mbbZ)zy2is_orGsoc53BuOtc7KCmLSnY~s9M zqxqig35XX4_jUy(=Dy7A)XOrCytxT&y#Fp;x_{ZcK8-|In5=Ep8F_7c0|2Yr?ab!2Ewj$T|Ku2s5QQW{1a#)HS1ildiK`86u8?1m_Wu2n21gD!_&8bHf4^ zjrCUucK5?q&k;>~{z2oS4&=l@zV3age_g`{xdctgphB1)i4rE}6Z88Qyv~g_dJl$% z5|LFAqyMO|mTNwkt%t7i=r}C|pL*?n4zvdG%ngDNd`MP`Qt4UcARteeKBx|C+bKRf_ zw^$67I^z9IA@t+X_{=qKgBUaCSU7x%>4dz2NmrpC%3AJRK*8ZOFn*CM!b#~mcWwd4 zN&x-YvR4oSA|@3AcinGh;3ZNJM3a0N{8ZsTBeQfSGvce!i>@h$uJL;|3PTH;I@-hv zOHF;&-0ovYf1T5!T}CDB^aD&9;P9c;7!J4Hjc8kQX*$c}!HGGqRG?EA!A08@)dTRc z+|gBqT+yk(07=y#1RMd81qDkFbeXw$wB^s@>3ZK^kmIC7FzRWA%!cPBX*mL2n*3f5 z^lW4qgCcC<(~J3OV?=+sy#k{1me`irBL5XD+F##!IC~+-#`e3wRY`5qZ!lY}pPO|E zc?lVHYY}s4erpTid8+Dn(R3xeg6x+Zn`b;Tu3+ww0c2)!@WW1j;&kFK`L9cYfSTL= z%bfG22Q;-xdB*9kV^_n9)1fyXXU``;-|owx&o%pVM8X|`H6H{@yOO-HlwtealS}MY z{M8iw=V14(nrx{mZzKCo`~2(3XF49(5edF<3Hu1>OHa6%RCH+kT|-Hv>h%}{UcSI& z43!Hwz?(L5rl@&2viT{IR=Jp<_Q)(3pOKQ^3G!qI^5CA22bk**0*lZNzHnBBaHL6r zMF=_hIT6l)2%6^!`zR~B)Q)0MXDNiIBK&k7GpiW>pb=YCRgCl#ftGzvEh3{IYY7n} zA9%?~NeQkL@7naHojhS%3)r()x2=@9rYz$R+m!CZV-2DFx0b9thdJT0xvs7k>nGnQ z3qOBew*%~svHds-tHkZ*EWGdP;tvLnK+^7|Qh@j7=R1pxpsk)Q$o~Dn>rsa@6JRq_ z0?%5oz2RyEBZ$jZ-?j`7_1~VM_6vcnaI+!SNKwUL@*w0VRVz$icX*lWb}FstxGQTj z;I-2tbx*tjZbpuhy?_6xDbV^?>Vq#iQKvSD_Mfm6Ai&s%Tg@MNJX#a$3FMa7UF4B1 z(3R3N^I6?B2>BiJ_7oKUgS?KnPwFD7DaJyyrgeY%#w2Hv-#p(8INV{lNLK_w7QZmi zyiEsU04BC3 zMF$ivCdB-*A07v6DfT|VKz`LQ8;;a?^Si34pccCl!6Q^&@aO%KLe9tfo!urQ!WCfI z?L8-D;5}!F95S8$)rBW+8tqg2hRDkveKP-9t&h%2AAK_LN5SK= zIzIu-0#()%D~7C=C2|;D)U3h+Bc`HFrzRf&OfUezPfMr)Mhl}Y2LAbgw9poVZgVBw zMANje?tmHq1N@dFxw5!kL};Iwm=+rI$HOuEchsi+*Uhkg)mjZpfU@CB(W*&HvP@{3 z{U-8)WTX)p5Ctv>;>p8?iqBOkjB@3SE?ZESI-ws-I6=@=QL-qYJ@{qjS?8?b&jInI8v)?`6Kz zr1SdC`MG8gXe_Oh7`zUmba z4e7cwjDJJWB5bN`>He z>jFyb8j$m4&Owp7e!NiMjT0Z|f~Ivg(Q6JbBBrO-9zt^5x>@IMGZT~Ql9qu{d*i}O zL##YKJHtZ+xahnoXI2d!vSp@rX1e?t2)a{@+QW^IX(l>I$Ug6qQVI1z&I$!Yrh?lNfDalN=wNmIE$#Dph4)*UIx; znqFIR27}?*DO=%&z>@0}C8Q>Cfhm3*1iBjO8fAZerH&$ONL1~Xr`_qH`LY=}E#TBS zN<$rpSdpKSww`jTfU{5*E`d2Tbq=d?BK5YIRX?v0`hcs;YkyZ#X$b1w0*G<}ZF(~A zVNAV|hPGa$5Up*qpVk_*&y=LF1CuLZz@TG?5P3LOh3Qk^&w2^Es)=}yJOT+<SUiK5md`DVV$PEIE>AZdW7W%JL;lyPj z&%pq79p$1AN)>wr5;?DIYr%*o+8-8G;z%fi4eatDm9n-NHv1Ff4er?lQJK@RXj;M@ z+=edIFh84XP=W3dR-Eb&6F?oRtt}1v#w|B+JBWB*1M>~HxQ#)Jli+RZtiQE}CblO5 z7K{7B+|d`#oQP}l8vNEAWcjqaZ$NL7ZK*9CexHUW9iPrTTWI>*TYr^s90h)7o z2aUE^L1XHQR`~|n2_CelZT`Toh?otJBwowrsACq$YrZp!azD~yUR4!~*B~=|~`Xku)A3(MFh>{l8zMycsu~Rst zgz^Pb&U?>Ui`AoRMK>U(wcz}5D|~LcNe_}?BQ)@+v;c<~ae{)0QwD!dwil_uu0%)Npj(e1N#>CEr{B&! zOE(7chggBZKsSx`JKvw;#|*w$2l}J1ZBS9ZV((cx2Ef0hnu#?Xf(?FLeWQOvYo}3Z zfS&J%ZS5)xBc89$(oBWTgOX5ppVBKV#&47%?)`yZzV40z=3&IBN1wMVl2eEGnC&uq zg`rrJTXX3?op|z;nC>+K@)?n+RXI!Mj}vd5 ze#&v@@&H$5Ky}Yzl9!hLvijqSmmcGpsjn{JopA2fMI^H+MKbbS{#RIxpUd-7RM@dm zBR11|zs1xy-j{QLHoNz_{tORV(IdmUA;I`+{8sgB{w=b6| zYVuU})%5k)u1QDPKnvkC_pz+A z6g74Yc6v9_X?b?kV+M9*|JZZ3bN(aG0Y7I(u=8DS1?{b{zeJn0l!V4J|G{YH_!)W6+c`&DyGN-361kb-|K3-6xNQL_ zO5*BHzqTlU95IRvJ%skrF|%G=%oe6!_`5lmRX3ua2fc0{+C8LzSjOr!S$@5{?bdWz z>Sji>v@|J#9J7T}kM4DbshX7oY7Y1>immNGZX3rFEj9WUzh%w<)z<|T=M!;LKFqH^ zOSaS>-zMuHoypso;tx-2Hfug_T&94)ClQO6a@;iGwb(RN<{!|2g*D^MueEU4r(x8U*s-V>6OJ+SpJPi-{a0w8A?A z3v1klpg|bQuPU`>6BZV>5&!m_2mG2SaHARC!m7 zQ%>wMzJIvbYM$jpa*n6cova0m2GAGG>Q)_jaHNiU3uI6AOID)v^me!eBUHmEtpO_a z0)UUFkp=Jl(}3L(Vi@;fh?aj}Pubh*dDqT2f|nm3-v=A}OM*{F%yxhaPltjxhNz9| z8Ue+kp7g1VK3gx9J&|X`aac}dL*kOpd-@-o^7Ja%rSo<8x1E)NAM{m~G#*g}V z&e}LNgL^;M-vNzfK%-tT>DeI5cs0HMY&VNR$Q4;AF$jQEleff1njY%eb})25ELEN% zv?^!blm&XRKl_9{WM$0<(j$$e#YG95p2~{!(#2ru9K=4mVlTjpKvE%0WTGq%5Vtl@k>E=2q>`Jj7@mv;jeOR6G^fa9iLxK)Qs_$pr%V z8p!By{V`x=f_lrHQ97|wdPyYqa3}XRg=xvH$wkCHCS{7eYkMdzqELHMvx+Z+v*)&E z{jE(^tz@>UxkFuWpyK$&bu)I!tcmAe)6&O4d-e^Mx41#kZ)?LVZI2Nfsfe@fO zb$GA5#Lutv%eCpxX<34F$u#w;i~BV9V0>Ok|D8B7@~Aru&<~HUNG#P3_aV)I5v&vo zgHkTtfe{RzwZ9sOdZ+M2A_YV#{o>@EY#w?1HJVn6V^J^~HsFXPELlOq2^KmL&QufU zZ}btGk{PxP3zlNNl9~z&mMN1eb`VRtb`mVMjtPVbw$2e~VfG>zqtvf5Xr%ajB5AML za+EX4Il?1|W3Jcuej-?m_;Dab^HDD}a%*LWTupSH1n?Q@2N9aGQ77UcTs)1#{D0as z;|S1TYB&x1;(#O7;o7?@Fsh`s)Fh|HeFcc5NPm{}5ZxoHhItB?e~BCP)Yq!iiUEIp z$m08C)#Un-hcQC55Ym$si3x?B$P}TS6T?R%{+PC-g;O;Y3Xu6{B!|&m{Bj*Ff}lo- z>P=p+Ra^e*rD!c=iA?+jgX-rL-!4^=To2_0tAu`pW)Dz8Gey?3BGDAWfED|NJl;}I za-iWa#b0;QCa3HC&uP|9Ak<@EG)e?70Jj@0Dnf4isE9lbmbAX2FN{0pp~5~omia{_+W@ywu&X(OO2(YcvS zS!YnEp}^#BQ@U)k$e_*88Jk#Ylh?i~*c0&FECEdWZaNXdKaU;!@JSt{zFV}$5j@|H z@i*c>d)dXc;awg5oL($4CL9Qp(qO%-@t@BK`By@m#vcy}tk(XKBu(rQ(EQh(_2HKY z_tDvA8vS!ox(>l}k+XjDW}1zY=Vscp@0!z0==;8-KF@RKQ8xVZ&_Oou|7sVGfSD}s zbtm~y@2A$1X@1)_$^m}wP37Zkf!(i6S%QtlHHnGlRoqwwBfJ(O0fXOt>{u zrqP&u2OsEK=aPo7|i`t@Bd>u!FjB6Y%^oE=X5~$XlUHRP5bxC#>`%iDXz=YHptq(*knZ} z&HDVW#fnX>kxUxv`HRKy3UZ#n3S90(UrCVHSG$m`wN5O(H9*JitcH1hcc2SSTe*({ zJ?>0rw?suZi=}M9IOoK9gQvqK8`jP|NEoF{M>hz?y{$F2O-E<5&20N0iwS0&&6Nr3 zOWX9?#qC6vemQO#3vS@-!&=DQMFXU_dd^%UiK{Hs@h1nvFTJKk)!f#M7zyw@mELNQ zJB~EPzM&9Za6qsvLjkncUxO7gb-@*54xR?*W6lFP#f3Zd3cep=j_gPjd-N&Yq)y(f z-r02iU%9_QlE`+^VYA#;v)BwYdZYnpuZZ;yS<(7Kt88%$$VM}hLXWsS--*hRg( znM!Fymt^4*frr14I=~zgiM&(?8H6{bX5k3OXpmw+904^#oEKv?8On0*>&4Fx`7C zkV-zEjg>P>@}=Ix)xAHMEV%t^MdXXS!r^I)1kbax_{p828$!AH0G)0j|0DKhrt& zw`p6y{+Y3&PSI*!e@XzJTo?HCtUTiaK7|b>lL5>NHV9%^ren1mAwfHKrpz;**&A*R zO~JUo9Xn4vp*$K0uC6W`j;#p&{WkmlIB#suy>z|ZmoU~`@9pe-JiOQJeBFPYo_~rz z4KXwO+^@W!rwJCN37LPY6LpUQs||-o?==9|Kv{r|NG*>l4l#n9UQTTIYCUmZrD1Qp zLIS$Oz3QR@2*Ncu=Ctw{P7OT4h-{k+0xt8B*Vl4|==4e==Y>Lfp3AFMlQhS%&4 zhP<4iQ!&xr79)vsOs!&&465t#O1U%C!~}}?&|CXb4X!kE;KAI|SA!TWzcj}_vCOP4 z1z4pZB$S3iS16P=|H*1cyw|}+1}urJMN}lHt)u0S7GrmaEEgA655o=C9Pzq}FuS9nbe-O(ReHM~!xx+wIm--wwF}NYo zD?rBT5Y)g4t`VjP#nClzo2ioG+?xo|S+}Z^Kewb6p$QmoFZsBxz_J8mGp5^FbYrz= z+SN2wKpZ@%$H{E2HOF0MlnAPx0A+p`)c+F#PiuJwbp$AbL|4}Tju)?o>#Ri`X!R!) z_PPI7ME9m(l|?Xjo>gEc$0$pczBo-fuax9*%KD@#+cmXF&zjGdoV)pbg)qp1F;sD`3bRbU3U zp~Pb~1q)DrE$x!gNhy#<*I6=t77)0saBGZq+;gi4YR(W#i=^fL+q;$eZ%&z{Jywrp zHZyj6)p=Ty&|uMt`wgt1*&Z93Z{5uTjd(q7j$+O+8km6oT51X$@s5woIr_3yC022s zxC>3^NYstAdYrf-FAab7&&IlOvfJeP-tW_q3s3;v1XuBBZwj7s!ibyuQHbLN4@T)f zwS_tf;hBzicG``ncxqP;J3%GvaJ8-JB7EdVySN378w?0b^5!c?XNC(y-X!Y-c-(d2 zVR#4Ls9f~h^=g09je?ZKUB8NSyrQc)18sjPJv6qmr)Bd99U~fd;)3YLP`|Fa1%auuB=6t%66DS)d?2Ap`jc--zIgi7n$5YLJ|Ev_pHF zQu#g$<2Vkkjg8*P>C97O+~{?axX=g=FA+rJjaX)nYXaNJNrEQ}Z?Ai&?*y6eVFFni zM$VUw`io#^_KBSv~;ed;P&JiL6WvH+LISbjpiOuN!(OY=jMIaQh2>%$ahPWRWjyWscD#%&N{uW32rQ#16pk z?SQaG#_#odX6O4Rr{+%G^SR~tpKZFgxA1%ICHke&2JU)^?X`t|F~6h1kvs9-$@&sm ze!h+xvoSh2-B@|A1JJB~s+ltELzicP|($7$Os75 zz^{j0tiPw2!6!RQ6eMgX*{r{VuO0!1Kn^wLkpA9XTtLGoOTaw-7)bd5^^EX%ANJW2 z_;a#6MLeKj30EK_oGD--3lC%eSu9}UH}|FpC|MMoeK-oBVo({Nrw9$W060h?C^0-B z;&^PNzv?3AQ_0%V*&bKKUaZ_eB1}`s3#x^@mm0JeGITmLt|Z+C4Gi~HgC+nN%r(1W zsXZeeGgqKsFE0$J#|s31kEuPNX!TlxWZDcg`Q{kbc{4fm>SSYbNT8e)d?25Tb^TW6 z7}Xz5troBJztJjCL>c%he^+xL=jHjXdmugE z?FCZ669P(aEA?^^i$mJ#NC$IKkj5;{SUwMY1xy$o|hzT5ZG8%$Z*3mw;E6aILV}mW>LQ?2Lzif3;E5{LJXN>2 zt7OXCou`k046Gg(AbMTIm8{M4BV1S(D_qv z42x0zcS6k$FI+8JVG&_5U?Nfrm4~SiO^M>f1FneirHFjx7-N=jjX<{|Idg&j5U>Q$ zAqp!+rlAdzc-9F~DMeYvAR41Jh@d55ii0u3LkeLfVnT=!dnyVcC1QdN5|zX&zB6$k z6I=ac-0}i3F;}gEf@GYn6Ja-bLDd_E5FrJtr0l|~sppkT*jo@2PCXJpTUI}hO5Jxt z0;=|b4OIEmh*Y=Z&j^R9D8S`Rxe5Z5kRgFcy=_*3{-yJC*Z?_Kt{+EJ#;+MkV2a$C z-J)h0#}5A|Mh^nac~Fuevn?xzQc40XVFOZ1Qp+CqF_Q=BeC*3zQdDc#x_-EDnhP6% z5Bry0IQ(^1&y0@Bta!XqOUl>GM^6Cthf|z1aZMtfLiIt!)uh}&`)5$P7>mX9FRBD@ z#Z~A3NwMGCo#maJVcp}(OUV~-5F)YJM|t)?ZG?57o@o9U6qsWs(a)K6(B&yKpIHYQ zW``G#2%}yOA8a+Uw2;R#Fyn?y>c!P3bjY82^1BbRh*S zwf~k5F~PN()wBV=KfJYS&k*p*vkTB$7amZMBuS~R^+00;)a^-AC4@a+4jpYD?u`5d z%?-Q^5C?}3LMplzASUjVMltk^U6fvLA7{p-!b6Y9tB4m!#Gpz1pwCLvcFv<#OHG@N zAW2QdQ{{hpEB`PZvM3nWSBv7H*)uJ&C{WT@i{PMnH2s|zBkj9nq1f7;RVXV1bw8NO zy)k=2|FbRG{Hj+BW}tP&6+fw$Zc!|)QWF)qA6OL&E(Hju`L^wp3a8OiaL|mKs>&1$ zYB$rYP~E1cki?+aiy!ekUR$9e=kw^O4YARbnohXJz}T-j=@#^BH|wmF-lY0&t(V>` zLzQd)&nCfEW}4OzC0~ANI-wyH4{Oeu%{ND{J!*xPH__c?t72sh=Joz?YxOgi&xS}t zJ|ac{(66X*D0h?uq=z%(o$y3}c~ObW{~1|G8vT@`=H)Uk1OFD!N|Kw&-E3J}YKnN4 zmt|G>bo(gxI+zO&`ENP31{bT;7&OQ-vGO1`k||-Hge#&Tsan5^H1&e?)LP{RugCIW z+oCFU^31THc!wu1QbTRJbJ>vyKk!05JwObJmaJ~0An4hT1S#fpolBMUTFBJEpU?O= z2$Qg#q6Qy}c6PKxmCrscR~3~XzD3qyL1n{TI()Y50=QY4WM{@63L=yIW3j zGL*}uipegz5Tm)8S9J)W(npPynk6*qqAS_G%fMhG!irsf^E#muSp}n^vyAjZccr&PjqE_haB7HN|YkT`Z^E z0EF$0|IqHeme1KDEp8p+8&V*GN`hisAWy|YgWyOA=!uQeM7J=V9w=nHI&s7sRgjNu zTE_G0vk2k2kVI`}E=8YzlJ}nUu}XiAy$`}hv$hjPgznS%Dft}3Qw~B zdU>)(S~7Pp$#5vv8JfkEu8uB=bCq3g;0QHZRil&QepYI2v8e$wZ}v87D1wE1*7Z<> z3=X=)1Gn9 zS5f=dEuuFgpWgXOo>EFO^|X{^0$+S z;3J-5-yEr;@@l3%iKN=SHZDB}>ezflpeUPJWtQXyAn8M(P(PxzpH9xF;m}s3EH`SP zR}3#-wK>Wzjigso4VNC=mzhx}NwwIEKhIOz{w2muZgjdG9?}i>Gvx<`aS~36vPPYL za!dkI)3HLND$>*aoKmxHU#2vl^Jn6wFE*?c@ij6-l%_jZ-P1_SZ3;xw-z+Oh%<{FR z9J4V2bGEtR6aHm&l59egG5iIRW3m2*Y$>8B8k|Y%$F) zOQ)2h7aXHPCP6_+=UEtYq@|*w5T;?BxQN<6JmGrrNox zEl=+=bZ=6~NJv1c)>PQzGqXGb__n|2ub|Ue8ktm8tIWPr(zNr6)H2Po6qtS+ZxHvB z@jA-u_gnNJeD}+^Cg`^FJgdE(eMK9W=bi@m z(DH+mK5$YaXjpBHO(}6~gIO8@;$#q%x9knOS(~Ai=-xVfU#1?<&VH>17+o+^=(?|t z;606B9y$u2LMczh6?&O3ICKrHK5yu?hH)+3aoyOR9x+$(+I0y~pnt#S@_PjUY#o%P zdp>Vw7;^xhN6$K0zn}0$x$pKQ4mKk4;@%eN(_XxiCZ8oX-L(&{Vt9)mi!rZbc*`Ft zAnjtHx~Z@ET5lWp%F_E}Z@eKgS-r|n0$L$p;(GUUqSXX?lTyo^Jg=&g*N zz1Jglz*Hl0?pW34>tZ*2B-drSl$jguf3Hwd3^==x>JqmPDq;Zd<%iss<%rScqp0wH zqiCvBuQ6dAt1Wmbt*_a#u+ZXnFEHJi@>W1$abLI8&G2@@*${w7ba$ zXwA3-(OdBV{WjD?YL)afmZ`oc&U-Vo`9YC8D|d}+%1QhSNmeN{CTg(2hs!5q$>Gz5Qoij6yosb=(*$-WMKn zUYcw?--wIWTAu@0LyZoN*tqE%pviA!N>~BC7$Y?g zw@^u#nOKj^n~QKs=$YvUype|cR%1b1fyG326W8BMOVg%LKBx$z`*A*BD-r5M2xFh< zqolQvZsd)3unNDG2ac@yo~L$duSygqMD^bMx8(FX!ue;8<*;~nem}iUn{?GKU$dx9 zehv3F`I%09eGo6e-kHaIf|nN!x9jCWSy$93h&6RxU<+Tq;@^Ae+t)1HN1VgnZ12F= zWgh?1z83v>z3*u@tv07O(jUDv+Gbexbj)^r4k3On(f@u8>jAu83F>EmKkEuS9(@CO zR-I}7FA&@}6qpz`HKT%)y@{)_sS}lhiJ6M220b$a8xsQyQ<@1h7%3w+E7MQ4Jqrsr zJrgG-6B8vh45O^QiI|~_DG`+z4+|4BH`D)ZlGY3jrb5laL`3z|5|NChn<>$MHq=Dc z4u&ok&ZdS$Zl+GomiBf;91N@s%q^@iV4t8$+^ifTTr3>i93moI65=e}B24VeqU^$) zoE$6?ENpBn0z`cOzb3l>UuHTh8^{0B(2=kGDkam_8@c7;w4YLK`B&b`-u?I3vz0wg z^PX?BlG_S|-!A(hKQAG5o9#?Q92zswjWlw~`ZR_@9*x)n+?HJm2{SUP*mVyG0jo7$ zt#E4Q+qRo?hLM$&bpKt@bLQ1t5p5`rBGM>dO1#eH!#uymB0rt=T_e>%q*>!>6i^G9 zRL@=?7V2zJZBum-u*a9qxIx!p-wK2=E|9Rrssk2f+F{}jpVpgvQF;-(r=&r_OWtAI zil;UzH(`fe9jsc&~Ou+SUMon@Y`Eq)`c-qUNCpHFnk#L%D6K8Y`$- zMN5@qsG%s@(x9f+H5Ek^F+@d#nxiEINs3Oljp-p#Q(oNH`|f>fz4cpXt#7aM?X~v# z&e~`HbJpIn0dc@QrWs?AVCY)rSHO5VqduYLc%;=8E5Ph4_4q2v!bedqP)-tfgKQcv z-61bYK%V7iz22^#{rv~o|@8rOc-q@I+x(|*eQ$nNB7`DKd{g*CYw-Rhj#|jRn>Km(KGWi zp*pEN&1$VjQl_Mcq1Ql#b#zUkko)V-xND#${p5`oj2OQfH$+korW{RL;VbAX=)WU7 z)Om_|9pqDp51|-RtOy5|Y?;m=QJWQF^b1l$~h@S%oHXxK_S8r7NMvu;P?~=wPyC7mb!S$8`GrXaky{G-;#MJOO>xm zi_=RNgT{cnQ!E@{j!3Zl8!P5jP+~G?qxeI@N-83AJbJxn%=0cx=Pf%uhbT}^oW0vb zRZh`}#`1Yi&STbjvQKz4P?dyV1piciNmX-Hbo49Foy1|*&!jn)?VsAlWTS*duLMWf zG$KGvR1t6S{%8GPWOI$@FH?jZ6t!0-=P+5A<^)gw2wPCRREs5(nOT)-c`z4X%*#;T zsG1W!0*8Cay$T|nJF%+mTrUR@Oy(2Sos&|W$BQ`srSPmws1K$ok^-U#aB6~6pHj1% zpnL$1OOPV z?z+Pb&UPAzGWRc+jAov{SY*)bfp(KiShaOTE{KbH6IjGWN}A-UgYM~1tX<(jMXJ0!z|>NTUimLSd@7GZm8 zW<=ZS&5Ik8=Wv$9l$xGmR>k^f7gjljtHxG2YRlSvV&(Br&5<|P`N*x(;bZo!GE-;` zP%l?=@%4XXo=1i{RrC9P_fgBZLA1T=x6vOlt9W&A%rhxe3w@>Pes85au2pz%d1J|J zrKxma%6W|!S5!jK|OKdw^_6j<39O>vQ*2?TYmc7vgDa-nY^m zS(D}JJPp!+8WZ(J)R(mY1<8eMw7yWUbnlhvb5B%ut=SrLwN!Fm<$Cr1GitF0>RgRj z=aRQu{;6^DMR#7ny0?PuawXEEH0)-wUTK)N_~_|+uB5=EK*ZN>RKUeQ&H7RsbhqFO zVcI))w!VzdE}`_km*fEapFh;nN!08i(XYE6VZ0I4gzaAz68`on;gbTBKhbu13Xmzo zhZ8t%D(Kan*LwPV;sJ@;MUGogfJ0Dv0bU^|rRhH(>i@>jbhmineegrG;3i6MSFpvm zfNufW{{;NA@hhfHKIrm4I83K+U&uR19W=AHuVzWw7qcQ8e{5(_qu7!#Q%KmK)xwFd2x_Qy(Oz-YJRANH*QE%EQC3BAmHa z7ud#K=h(KV&a92MPPc#kc`bdmnq|}dxENLh_G!4< zGgLTsFC!V)ISo0a91Cn4Fqw?IGu7tjSz6AWQG?-w;RhT;hFT{wLTE(zG#t~0e$Ui! z?nLN0zuEp)sg(*1^J}Iox))dPZ=G=dKppvq$K#e|IxG|Ltu)Vj>AO&QZ8f2Pbe?J908ZaiAFd$s1hUqwKo>1p(| z$z4{}p`~GF-n+c++!bg1YmRJeb!(+vU#b#XnUDE~SWY7iiTtOZ zCAObrNjN-*v)i@3G2V?GoOYw8QP2*<4ym1zRly#|7D z{Y8K#NfUg7*FP37N`io=xu@88cccE#nj4lQh{!SW{MW) zoEu)+%dq&vmn}7X!A$A8iJ9F-4n3WbU2h;hBKy$u-5;4zGkUX>Z+n7uQpF_92;Vk? zbW#J-BXm>chOZH}`vWi~vizMwcpfX1j`^ z1hQtXrk^O~V0$#WNYFl4nxLn&J&B(651fIv37ko6*(8sKnESWi=5ZG;AzbUeTc;3J z;p@UV2orbW%d1kS3X5ys>F9&Zk^p~BNV|vw)>--(1;=LPl0cVqH^1jMQ*M;58oDGS zfa+1I#(3Fk1pN_!pf{#MJy8AdlGUF;kK{ogB&y$is!db})eo(e+#=atSW#_3-kbis zyNugz5Rk#;aZ201sIC69w`SiZhN1K=jc9V|X}>?TehW!YD}886l}%48dB|RG4nrBO zft-@ej@t&ZSaT!2qm?^Ga)ZCqn%cvt6{E7-UPcD_XYK(kB5YmjWopUT?z&eo9;qD_ znK9Vs>E*^Xd}w37^pl@XR4CoEm>vKhx-h3_fE$^75p%O?Zm z3?aNq>l0kadi{-8!lg6vLf21hI#}yI&3ia}Z!L#D5Kh(|tnw_?ZpfKL_?N=%o>vTx zdiwm;l#h-pg5|EATG_Xx?FetJm-8mC4z%PsIBNgEd%f-R@Wd=ORQ*6lN`DgO>`BbO zf+W#;Cs!R7OZvMMb fpu3My2+Hj?D(p7WQ|JU7t^+?Q1cRNoz995(OT*pP delta 52199 zcmY(qV~{R9*EBk|ZQHhO+twc2*VwkT$DY|^+qP}nIQRQ}zfM)El3IUKS(RGd>GXQ( zLE33Us&4}WR*Tou2_&No@Qcv?9_;7g>uHJtDVT@?*#M0L0aYpfsY!t-hFx zf{bcN#K~Hw#15sO2)cDgpjF4r-|Ir6=xQFtu_<$yo}83J<@sFz#*Y^V7c?svv5bSS zlTA6bixtrT++GNJc#sU(;Vz7_3@QS0JriT?Id5Fn*oBS>*51ruWF`ObLGMf-R#KRm z&sn|;cfq)#5bRq|5%!iY_7*+#cf=WU+Am;*g2bwmol4p*H(RU$`$l^>cRmsuDh?U( z*4VC$;{2em>=AfCEQ5U|nyv55Wj5qjAquYXEl)~N&DRN0I?6CJr~x$UnhgF`mqCg( zzwG4Rs`N%*miqNafGP|vy>7l|{j<;WK9dBDDr`aK$jDgQymyDeazAcq4{QcjAx8*) z9AZ?A%>H1W5^;S%FGZ4_e2$2MQ|F<=89V^65zLQI@C=pb&q1l5Caj>k&H<0%{2_kg;%&h2^-$uNT=BU?n`URDI&m!F zr>SHQdq?D$rMb=nX$rlHQgTdYyYoh3q9hiId!`f-D}3URg0!15C(%=8%*LMv>SZhtcGjpX#1W#fMXD zxx3-0r?{Q@(E^ph`dS!BT`#DTF3P{{S}j)G*l$vky-Y8yDS6cAJhF3tAaGB+10;^s z5?vn*_S)wuWqTcz(S)DM5UF)`L$HwNE7v@qyD~P142<-eA2QYJYZL7Qf{|2wE9TB_8DQYng(Nz*)J*@jwcbfNZF22aP)wI5X?O; z8qQ_|DO>@ae(%|EcyfmIfEH3xiO*bB@qrVR4H<)s|C!62&gJ#!Ac#x2l`wul3?PG> zAd?Lzjmh|ApInZ-O^cQ?#8w2@JA~u4|HJh=q>wuNBueuL-5dDU-Hv`J@&>s}fDALV zAcR=`*WU`90t$*yJ=)(cN#rrGymtfZc=B)p3F)cjcshDgMhiKauM~9rzL1IVg9Bum z>#szRO}WFdDO(ZVaLXjaC+2I%c%Km-Mhb=O2uKA@weZyh5X5&*HTeMmN77_~{%w}5 zOIp_F-C&WC?eevZ7W^a^&LWVG9Y-->&yvBN&o*DeAzn>8rU$N|A<~d#pn6~+%#eA z8Zvaa?S(93v4|mv$aa8zua#n8k7UK#u_8a!IVe!-*8)|OVNrnxu-H)c%n<5#xj7-7lGNE)s{4u<%wq-eHvQA>ZZ_FY3$L_ z9*T%A^A<6Fn>#-RXWm29f#3DN0-MK_apIcqCKhws5>6^9EQ2kiEEnAm2;QFaI?g@& z9L&e#6t4;=3-bV7Fle;&XoNs}g56dZAl&1^Hb#Z+J*2C%yY|G{QCroKX}e`dh}kL4 z{Dh+BFERc6Y1C8_2w9(P;3W?W`Ff>RaLP(>PQSTKH6oYGxnj*|Iz~)ko>pQGbhEPA zCIr=blH77{8N%cFShGUq@?@1fTV2{-@qLytPIwMp?pMHmJ5?Dplyz@dCBdSYlN5Ql zn0n1PKs{X9e819$`I>WCa?6L)N8A1R@lY8P!K{;Iz&5wI;aP8HW}}3l26-b8z6Q5J zSF!V&4)a(c_%K68zF<`uuv!Wa_E3S;(JM)tY08F%D5Pg!63U}-iBzsNP+y4?)SmYu z4=M?PoDC?DJN;On61uLUmWHrq$zPU;p3=Ge!EhKlR9#w~>h+r^yWi8{5^V9zQ%00% zj)-X2oF`dJk&<@L-`qZGRpjZ=mc!MQGUwRr{X2a!ZSfhA zyDuh)ZdVY;k=#TT%oc-#)Aw{x#lO|F5iI4Bod#I%C=>?&Owa8`?&o1LmUrYkQsUWA zSIW9JJNJ1MJN@Hs3(~YZO}*8i5$2h_7n4f6aktQ8rE^j#Cu7RnTyo^xhS!Wc`(*$1 z+7?NZ>GMq^HT44@)t6>6#6@PAC)F4mL{1U z4IALlIp*Cj)Z!M_5bm`2^$9~Jf^vn^^)}Sh2?BNs&fm3*0_FnLuNb_#*k46U1|-sB z1{Zujl_Mf(gytAIjRmrZwdI-o>=+VSM)Hj*#s=fkEfY=})Xu4EJ{)=X5ZXwpxq5id z)VK50-F+`0ce?3leH^K3WQUHkep0B=6#Q8uo35-~+kH-SI zaY!L!xK)`GYB&}0?~$oij;tmT-an2*L|2P}GV55rEDb^?@%55_<&#dhM3%~)@&H&K zLlm36u;j|pTS5}hm&A<@csNH1lAe~%MHFR=TDJ?$zmfbT7)wI~V|N>DiO_+DTlIO_ z=r?^)>ea=j&&JtD-nr$BRn^uRNPze#a$Z`DAPEAIo#P2C6XfFovi5&Y6JQKSp^^3- z?2%%(PiIhUV@2;7=Ox0AURq>e7=Y$p@RN!RNtb^+!(}A$hWQzk~d=^Y=^*(1@W6Hr&8s@xmhnfb4RV@A&@J&{VE=H zAh$xzd|{O25$aH@>`_AtYNTwsP9Z&XZ>F%iGNyJhNTs&XtyGV%)3N2HvvZY+S>{s- zoxe(9e6Wqe#}RtLL$8>%7EsBz5lFkW=DurglIx?!cds~zfqmlv><`DL$t92Boz|IG zp4BYFLY~t7s4WRJ054?9ZwMzZvd7RX56${Rszj2uklo3qcQF=}nGsUaspAwgLn~gC zdx%#AX|08iVn9n4^b#jtgFV&QHs;!+Rk?MrCyrW`(R;mQh9KJG45)tMQ?J1R4f@BL z%h~$)BR)N-*L;trmXwF7U(HKyOx?ZWRS4DU{g>uhs}{9c&Dw_)`Ae?o4jC&5Mij@w zLql7Jte+pnsXWOjknc3<0*cBx-abaXE4EU7Cs^-IwgurgIdzG?uj8H&+cJqKT*ZT; zaSkj!S0FU$rwwsO8z9b9sb0Jk+G;pKP{G0FUL{F-3Ya-gO!i749cycPwnQJ92G@07 zp+5I2Pn)zVJD$i=!13xX@UztF%r7T&S@r%zQNEHj)ZUU~pXJ=h{3 zvL61fIP^8fY^YUjL#JNB^*68b!Tq}8AyEEaW5m+B_#&|GE`!HrFmNx_ zCr3x!1SY2fEl}_)i*b|2zJ3IhZv+z2+eXw2h(GjDF&0cO*Mn?v1hl*+EKg_AY($rM zz!%8)&v@8F40-enYo1=Y?bf*s5@1c@;rg6D3HOJsE5Kn-o(WlAVVa4Q*)e^2Db%yN zq$iM5Hdn{tqym>u8m5m+xqEy3@xrsSk^5`dga%ol{7TF^rTt$}s8#3ZalPEovX2Ob7R9n4|l3$Yi; zHC47>BPOxW%_kaE0FhT1stOm4rhb8@0pYZyx`%B8?vCXd#OrV* zib)9gs`vZ3?A!$8&+Kk@|DKp{FcBka>}1txR@>j!LODEIB`P)$NEJQ;;OaEEOgjds$S)@BL#4&l&H1x+yzHr*Yyt4tM?e6#U6# zU`8)-wr(e?-Sz)^KV3EK)|zl{=(G$~K+xaP+ItI*&fnhlUn>waHIL=%+r3RD z<{xGp9^0*H=}Tn(ooSeHny6AW$bGm-(JbrYIc}x~)X96TlEmB%PSnv*$=kD?iOc2hPD?8XVyGhQECzuuJmfUw?c0sQqUoCDA?S6px#=Z6#9wi=CY=ZLcj%3W$a6!-y`R; z*AthoCl(E^uz8(SZ>?)l(<~*zjSra{a>7onDn%rAn(T5*&2#OnZxU~xp=>V+Lk8I! z&62I`-Er6&a=QgOqv;c#lqF#(HL6QxkGlRVeq?>)%8e5L!*wtHV)faft(4Myb`~%n ziqOfWF6{Ku%=O5f2Hp=Sjcs%rpb~IKG!dPm?T8=7G`bHofr||plQ?P;NFYQ2>+$#d z6i1kam#!#kXI}8M0+p=_hij{2GD4$oPwK_xPaX=1*M0KajsaIHNDj;rM|Y#5K8@kMO4_SX}DVO9|ZCQZ>u0)&%O z8RnZC^@Uylo>`b=Dl%M6^|_|76nCb1O;peVg!Itnf)3fNARK9+FReuY)GA09X(BNfO7<(YlA1=)Hj-V*_8wN+7Bd6J&i`&DLsJZIORJ#EsK;mDP1A(}RQUc%KO@TCYT3{;{Q3n1Hmvw@_ zBLXQe0fr}GDUfvaUmU$(*s#9(2kHECq6eG@uPD6&kt+FO<%%Rrl*kv!P|woUFJ6B6 zLpJ{#fd5SoA1SM4T>{6?)DCi9rW3fTI~flnDV(KU%*V0+FBDD9SlTtd;X*lTp7UTb z0ozN{&pSQc>INJlrN&J%?pI~`I&CNHOx~>9ZlhzS`{hyW#|SA05H5E0+}~q>TG5${ zcOhTB6iDjb83m!EgKWnhh%BMN z1=YS5TI#Wxd<4X4a|nw3rMYvwjLm!jN&{aGQ}0wOJ9FRCZ5$Cl9$h8FSff8z*|&#c zyWScy#T#WfUR+gb-;!Et)t5Kf!ojA3_9Kk0EpSd1U~RyvFEoquqk@f!9RYwO=n~<; z4BCkj4h$rSYRjJ(xtm+0K{PknGT1i>Nx*CBMl_9 zt$wEBQkmMQPrX87tvg^Q+Lu-mbd5Ec&~+LWGdsOy-h?7~x{N+;kIZ^%^Pzd_H}BY@SzD_=b)U1l5sf%t~8$oaBJLxFk@+uC&ab zZ0roiAM0JGE#0-x{<~4MV;uN%8U2e1rR5QlRZ6LmeP!#?iD=47Uvw1bU9ol}QE1fK zFDDisRtXE%;6^aa25=Dy{EdUnt2_jn6fYRf(-P^5KTg@Zv2Fd(>ESU#HhCbDc0Vea z-Y`9Xa^`a7^5yy+s&~lvP%EA0w{aET6M!q;oHDh$%WV_ETGUomwbr|{SSoVp&yi)n=8Fv z|38IpT6;VGs0AL7-#g&&48&O}@a;qeLMG1Gwx?2@F8}E`9_)UV%RFQ1U^{DvDE#x9 zKyuw+**$)O)8vOOizc496pvPtI8U53pPtQV&jIi+S&*VmR-NL(aFjadAk8Xz_sSXlP&7<{(iaUSiGOc#qm7M9$Y6h zVw?TP_d^+%sxK&=AOhR|y?;_Qy=%`QXpcrkLFzV7IvJv_-6UwY^G);@1fn;pn8^!+ zA8bX{EMQn0^qS|x{V_f^N7wSH(oG?9iQFs~Rfv5vS7l?^LDrDZbvayR7|X94&B?DfJfNtF6~l zJS@DccND2GurXkbdaXv|Y-;tL-v>r}7=Fz#d4T#gfKsR*;x0YNxc^uFYui12;?3>N zZr~OuS{nP;yi?Y!Ize_MfBsZ_jc@~yanr~9^fD>`WS?Hj(F6L?tkkAVh2`l zt}?tWhfTOKxMndN;2KN|0aFjALrP4VL|DH9iKAM zN@EfO=?8Iy0J&A=_2dcg(`i7?T%pjhvEh9O?1Qg_qd8}~mQw{~bo{o}$)0REs9)hG zdC0cMWX$+!D^*n!>2v}?Mf?Gnhc@RB@|{@#_vQ&$LAAKXv^#M0tr)v3X!i*WNc8lO zdP_n5O~ki6yg;GZV_tT%2@&*%D|}4I za?u!6I7OCNwHu7IaF(k*0`@FUL|OMVs3mZRaMNY_8uqEsB`gC79qmbd3eLaRp%WyS z5zjQhfHFD20I%e5>LePVgEu2B;i87!Klg(jwxd_!l(n^bzN9|UP zFpAvEfPFtXQggtG>Ale&t{Cn>lOxB7@%HmgNOUR)6&#v#8V2ln70DEU2UCJ{*0Xk1 zHUJFPX-kf`=c*k7TJRUg)2POuB#ryYZD1~Z1k7)*U5F5Z>yi|3i+2YDMA)Q{5zDLL z0a;k9!byvBU2RqDecxG1#cT8PCtGx#Nj=FhMd?_W`MuC)cDqhJ`KkjKjsxBj6Jqlw z#@XWvq&R4LhOjG`uP=Yz|*^ ze5la;pkZKw_zs>feHeoGo{3+`gkttSY7xWfod^ld6z}u@{DyeQ~)_j<$CQJQ? zb01FypdH5v$$3$DZDrVItlw_*TLVOCCI(Ob{SJ>=Rj(Q_w&+-)q`Dwhu&plNUYQ#V zL!5b_F_%_J7tWT*=!XJBaM`xk;0``4h5sE_U3dnJ^OkVhQU%Se7^>X67|WZjGxOXQ zQU>0Z^v~TOHthZb*dsS!E*|3QO^ZVU>$;Z7@g^&wtnq#!U2(rvomq7PV0dvxhvp`A z480EKL$&~T_N1tJrL=$zz2;g*)bzzCI3>mx4xc((RoYAy%$xM5g58iPf61LpPdzyG z0|+E`XtUIU(<|ot`H0-NI$np8GxPb$lj;={U8Yi6yFO_o=%|2p9dl_Lw-RpDni1P#&KvS%qA=;*-0ztl_I zaf$!}S=(GwdUTMNk^oC@238B(ks@WZV`t8@(|+i8%rSP2`xUBAR9SKha0)40-_9Pw@Nv%p|Ms zn}0qc!_VDJMg(t`9kwj)o8c^3ANFV?JEAf483(U*XHo{1j~CL>+ElT zo=61lme|=}dKd@ULG6dNnsL0pnNdVQ;=RJ?ltkCF}u z`59kme?^7b>0NE^P8?L^N3guQKNwl%=_Hbs?c03K)J{#5s?ei?#KhR%&SM#aQ=EA(6-5wve5wkmY zZ{e6qL0$GqCkNKdguS{xztkal*S@&tj8iQ8QStd9knyAspibQG&To1>K6E<9ASe+2 za^=dVXUvgP%ch5nRIiMziSe_2E3uW_CKjew&i8L@%oPLT<}HFG6!3Lb7VN8mbBV;m zc_LNRk=M~HD`+5k53kE?w6NXwz%LOgQtSINmpXte2I%n- zk}_><|p77k80xZw_Kug~!*KR3oOziFqTj8gO^p)P{VPrv= z(=%IoJE8OlPyXdum=?TElzB@(fN~YX$E14JK8TkK@gKRgFl%27f6x#NPZpyQBS&W{ zvS3Tu+ZU4uLI8+QD63aS83*}1eFVWdl$eJxLMcFQjJz#L9X%F57K+)XD+tjU*hl2f zE7$rjM^*DAI@A#h_`(2fxd$hfusse7t z3>wNMc)fXTJ!XJYAZPM1yEN!_Z|l-BW9UpAtG+eoM*jR6m1PnQvA?VAUFh)u#$W-D z{y!C`RU^Lbjf1x%&EliyK_WYBqrq@EaSU+ZbHNQ!v`hK2O+p?c!mzZ5!x1z@#xPFI z9jSKu*?>WFr>EJE$AKt5n;hiPYWlCr+@Y`FkC!=Bu5BBnk%CMsg3-^)8NjF4$PPS6H6XhY95e+ zB*v0s+UD1=jVamQl88NL7qTXY>RWl1{(ze->#`shmemhtO(uL0#uQl;NS|s4Srmzr zjn9vghoiGom$k^HN0n3yp32g$Bv+Zt)OsjC5Z(=AC1Q63?tQ1;I`mSDb@$zGl8AMB zn+Kedx;Lo}U87fP^J#-LS9{@04GzGf8!zs=AqOmU;X@{Yy)q^RIIBS6m*<4iL5w3E z=zX=I_2en^mUGUG*sDI%41QFA^@}%{_b7SKw8B|p3OAwiowN2{kql~35|6Pmf1R4@ z=g!#?6?cKEe?82>y>{*N3=aQd{%f2TP0rTVfjI9owY?DIi9{eYNb$h%%mp|hB2gby z^SITlNpVKp-uW}%Rr6qGHPJO34M-~s?t2w|(Pis8foq7c)OFfsw7Y04v%4+7sRtSR z3vW=ty5SijB*(X6u4unuu|)VFGbro<`F>T>bS$YE^%pqbJ*G_|fCFvD%_)?5dUFKt z5SAgSzrYnKx!cj0FQ=Na-vM0cLhIl$cKSq%R2?IFGA@ilgletl{)2$bk4)k{7SboY zMP1@EC0E`Rx6^qgA?rsN0_$`ljd`|fqRBMwQ5mdjTx0crJ@^*0@wU07%=AZ#HfMg{ zp7EvdTLCM+qmXOOftE;dEzITj7$X?##m|ms8%}@>j=G!iBZ9VD5r9{cZG$3Gv_yXD zYW9QFh*vS4_q7b z8H61Mad=T0tDl=#Ohf648d7=l7}@pSk*$W(i`6r~tS%w!Bh z_)*uW=jK}+hyci30RV_&ed()7%8Kgsunadl43|L*%G4RXhkKtOWX$@CZ1@=jcs`9K zdN=NqU#a`_bW34Jid}>}u{mj!qDn&O6fk-NarI|3fO>oOD{WJs)Q|t|en2pA6XDZA zh(%+m@85YLD+~>gh(JJOo+db8B1>L#C(5bHPj!i^So&?t3;-Jv*shOq^v*O({(~dy zbyB*DK|*Zh9ObYnL$bR@B)p==GpyA6np=L^;n|+9wKjHM)E;>Jo55FyCi(1eg;aPQ zx7Ee(TZEDm{SY@23L`jRf=lz2MdLeH6scLXLrgKjp^p`sk@L$|xYC0srsg684|lkf zS)g*&rqh@1T1pk0)E|G+{|dEe3Jn|fn`CSXB@E`6MH7XkS3M~ZM^}xWiotFBW;`JW zBKi-YQIq%IIe?k}-}}2pOZN}HB%J@QA#?oo=4G+M=Vv zJ@^7(S225TjeApVw6;Mz_GQz7ElDD)0bPMyJFyrYahTBm56Qi;ESv8Z>c4o&gBw#> z5iC{d1ttm^oeQ%eqkHDHsog)7|9$rGFYg~F>Y(%KUf7YDjlT8zi{NY4QgG4Mz)H#kTL?(k5M77`IC zTYr;{fe)&h<`ev-^ugeRI!3@P!{lWm^4yH9go69ZJ@ZJb)TThAuZ9uXq;&B)uzQv+ zEc*WFbea;eDN4XKvFC$`P>vea?*9O%e;^d?pChs+OlC~26De1U+w$;aooJrh_SGlt z6u)2B^%4W}WeFnaZD-+OcXs^V90mA&UgYbsPUD{910~11B{Mh2f`g{$*lE9Tz+SIv zqXOFxsD+uN2{6nVQv5o@`q=1vaEAN*j!1+BRsXa<733>du}o}>-rd{#WXHuV_{KO= zyI()7Ge?PtU*7`mOr}4%xdi4^EHUFU)+y>y~zl@u%+2ljzxQcE5YChT&6u z)|8ffO2qzr&?PjZMXEOQl)pq;Y=73^PV{6`uxE9Gr_lXtG0bZJ9+xVg+_=?^_LYx% zl_b@e>W+i+5<_TQ>BE|om?s(4r#86xq+|lPSS2%M$G3u}SR^oDSY#crySbrC^SVVL z`qSo7gZCC(mJ6nB*;kRxPKevZNyl=Xqa_lmh=qeIW}|HF`{l*MdeGrH7f{<7!#QH! zv94t^^OyKtdwtG~w-0v?TpgUAZd0{aEA^7MoWvsol}A=-Mrc}y_N#~cnoUe4`=bCl zm*KNWYp<2+kwNq>gu;%O+FTQQ^IE!yLF#ir+)x-Iaz#_+jLl-1=^rR&1{cxbnS#sd zMs3*gyc5wDEJZzi`mDN3m@yUym`g|*VU$*mipsZK=#rVb)8=BCv~kXO<{A_J>(PPO zpCLBYz8}4uBflPRH>P#IFE48k>z@E%$W6$-Uz+@?J(>1Z3^3R!YGsR&ZRP*cSZKh{ zSsm!)r!UA-7pzNw;+nfxErY=(TK`)fN0s4peM0H>T8Faw+a4DEb;{XhDD9IrowBeJ}o+Z#0`2*jYK&O>{hYXAc!pxbz4-1S6 z%Ff1~%$z|3(5+jPK=PlhtEVBhE4JvwtXq{(FHw0WLMoy!_5&us8>MWxb3*8G+}rhF zxFka;EKXTW?~d`X=xM*YBBR+5qw(hRY0CL_Eb%LDp2}gJf51tTDP@RDngWuSoOFAV z>FUa5jKMTl?$+R8c<9++e+*@hY};vWyDQpFlWX?|JRA)3v75Zd2=Yy4PbWC+{Yfjy ze1q*xwQEf;C{DEbv3PfVxpaQ9F9ptsdIFZrn$Rj!c4GB;mJt8*_Qs~NU}5blDd|80 zE2(E|tS`xE37A@Ha9a`MN#jr`UE!whmR;kaY|dqD;!x0={-<@dk==DW$-eif@U^2c zy=5~G@PK+)(x=hEB6T~^UP9?c+C=+if$6`dhheTb^V)p>ccKdLXU1@FeI+EZg0` z0=@k)^4Abv9jt(7t%lSA)d_)I8Fi{}se|&l22YWYE;ddeV0a|@YIXe|5v+KBSlP6z(Ux8iOe`7d=gME$^AOlO+@OjA~)^j zE$G1vRx+VU)n;a*uWXA#?k?1QLT+QvIoNNMB=7E;5Iv*QV<5$V(1%zyLymmPYyF7i z69?nqoX68=0J%^J0~rn>?hHLP*X;U3pk&6Gv$tajRkEN(f#XV0;^@>_>(6%x>fFwrt)WVp4&?*sMN@4LWe;~h}|gZX%Xf!-=UDU zx*hO_Au2q+Azg`rKeVR!l9TU-`#lgZg353eWAno3aYPOE9Y> zQ#~e|IQ){vP1ibK%&>Q}HN|*@n_zH*)?(NDx~nFm6E>iM7ou}DC?xs{OVuDBC5Lv` z`*FulIq=h0NrsHP0Aa4>RHJA{@z`XMIwXn2lYG{Tt;4K4cM9{;wQCXX%ey`s{<@NN zdx+9WCs^b07jPH#w9^9A%g*vSbU~ciajC>^QGyd3uX-uldpzTOY~9OwwGiTJASL?m zS)c|vYd&u#`{NKOjs1F4WyWpeB)#rN>%+nWYx>?1J_!>K{RF`6_>OPWwhSiUEZbCc z^Rf-702W|e2)~lH9HmixLv!cGBBz!1$lA6YaT`moDbqY1z2O0opwYbb2i3@O-0rt* z;r%_f&ah1H_ywT(RVnkrq9=+OTjPvGo{0Ofx&HM$mh}q7fkD_ad_yg~UrJd2F4h;`-D=^98Fa$2a4Dt-!@JXtKdr8|zq1{bnty3zxh1F|I^-dl>KtZ`R}N-id#E zZN2W6TaNZkoGt+}Dy2~>o>oMv67rVl{n?1UA%n=Z7hc(z{H|?!a)m!Wx24vvcDL^9 z=aRK7ZI1;K zstZqs;pX4Z0M_D}&TFyFbwR%-mbt(;z+>5LW^bchnl$pEU5dB0-s)T*10Yuy`Pa0;4p7PG$@E zSPJR*`q8dsSh4MRRg-j9^cy?bE*v4DB;AHM-G|GwZMV1c;J*kLo#Kj!72R@{tTLK~ z&;S8~8qRs#hYKu964KJjU6$HP=W<D^;9; zpKDQ+te;FB4PR0eg}w`Wds-LvTG`Sm zc?Xml;VA(g?joc{Q$lm7OaiMTb&fgbG|(Hv+v%sLAiLy_$^U*?{Kcm)m01vRa%6oa*ufm~Ln%f+k*hC>* z9}y>7tWGq5@b(VNB%qnMOQKrLs=MfBFKCNEpO%!;)6T38n!wqkzO3(73F)BR4B5rc zZCw*6@50hnvgl+j{Q-q8?i4lGsOqk)*YVIHP^W z63ZRZ{SDX?<-hvF+kifCnx4i(mxvA3h+P5^*=-IF`RPPm<o^!x?RjT6gaKeV$&(UR$A9xst&Q^v&^X1|O6H?aWHnHc5$Z zVkkJ6d^wAQnYW}1>Ao&ghWP7K%&kFiF2m^2yX;mt87;2?3zOv{VuW@tU22x>b?D`&EoIp(H}z^2275Iz8fC^_)~Wp_%X-UK_XM@t=SE zQJ&=*O%IfLP{Mm5HYpzU%#Bf-!;uov(cYe#=S#G zv`c+UM~TSa0=+%b~k!ZHBc4|(U=T2V3>h2q%ZQssb1MS%LtiXhyn`Y zE*-x*P7-x(I>mI>_{Iv@%NNZt&1S>Z;|XTkI$&SdX3!qcBnU4`?@<|e_8Gu>lq~*D zo#b&Cfx%~=Sv$iqkHQ7WqeVk)zWJR+ED6=gKL6KKryqC`(^s;X} z+jhR}{qZYWS6Y5bIYR))9p95q-C8Q|?Jp2O^mOM^H&0B(?SpSF9DGPd-zPMmg zbTOAv+3}*tg7!TJzMf*Rg~1vq8RbEt*Ot33h7Ekn?KR5~|Hpci^O5dd>Xzq@#fsOy z$5nFG^a4QtN;Pp@TAMR)=&#QtMty%P4auCb2%Kj|qe9@k>v)m#<8x9~kYyLkef@2+ zG5McC-#zbTXUJ=ey7$e0Yn4M!yW92I#~a+BxS-QFuRYp9c=t!@i9wcpS&3u!TsWfl z3j^^*a3PqV3@$-`HN4Kl_+BuH^=%qVYWI$?{mz3fDoA94;21kq+f$>YYv-Fae{3W5 z|B-Z7?*Aj{XuzDw!fw=nX3WXBO^&;pIwWsu_#qhSdtz|$K#Xe)Trlt~Hy>%|xec8< zAZ=$d?(CyWUPPG|JiA2sO;~QcB-TMMRf$e1iC%ht1I9cvs%asc&Kgfa@)juTZ z)_oOL-LX3n*@Mm{-BcXMx)oCtx09s?wJ6s^`imrc;s8UYlZy|)^QC#^@CUj>*Tm&E z^KQTW{}}pfR0}TknAWKCyZyKG{iXN4f1wZ)c11FtH4bj7ME3W=G%vQD@uNA}A(`x7 zNS=;(6fP5a5J&WFx*x4EfM>3Rjr37#WP6@aM%A?;p_%=9BBWC64`pMJs) zjY|`m`143xZ;WB7z}v*&DR&?(s9ltKm_Mm*GsGUt9$R2&9_vZ_pP<}@w%fm2?VQ8A7)BJ$hoveL=^4?#V&bM+0{6F9sJxhBQY( zK-Or2M=zpbh0e7aekeFSwIM{PaBZ>IM0(E00Il4K+0fu=5OjZ2-t?NLE8o^I+0QYQ zM?q(@%J;HFL4a6-38w$jr=Q0Z(NZ)4diwLOYvJd5U?g%n?PW+(-EJl>Y-mABd~50 z#~>V1!=tsQ>T~RbB7`QD$!+y=-tr$oaQF-Di068uEerxd2H`Pr5yXH0%$!9$q|8IJ zj_-doj)7GMhwjnvLe{rEA+BXB9wulV0+uQg#*&#+MR>YO8%mLnl{LPAU}^bI)T#Z8 z#m8#XTzn+j{TQm^Gry$Uw|`^wAt!1sxA z*Y6Rb{YG>}0K`Jw?G?2AHKYW%0hBo8+?Yfc#Rhu(HJy(^mB;DZxtO$nPd9lX^?!@I zJ2T@WVn|4a*A7}_)>95h;GF_5(d}>sY=V9#1IF?eY`=GuAZy4qR`Uv-GkEjH5ser& z(th=lCK1r4Zale^CgVpvJMe1}^E0Tgg_3(&fs{Hi&Q_ z?g!COMwp$^h@U}XP4Qw+s|VZO_m@8BB-F`UI_NbXOlZ;;@+l`UD`rhQ68VRUt&^$F z4ZA6ZA#B-2jM?7p3pBAF^3kA}ubltc=nV}3`t+>mb%HGWrpmYR!vy7CdB^tvsYg4H zBqEg5h~w4g@ZtQ+;nq;FK{2vfcQb7hGYmU~=vhPYCh&uBDKehfA|DfeF&wSxd8XPT z#b^MAi7!tLi8YGd!uff%T#o#^tF=iQEp=+FVCv_FLqCJ%;iPwk`PL^t)+B9b3-=x1 z%yj*;rQGwO_KLUZmpO?N4@!Jx)3|T<1S1~Cb$~M> zqv5e<>xC0qxmdP(8g!k-Oa6yy+9;4fdrt!6%yTiMr18d6wm;;ukzpg8yw5EV)_M!c zCOeOwmHAzOY3J>>OKD{jrRcBqV3@wDI(*(+-rR0db5&&fKHKWpT_3V?$QS^K3<4`4 zLerla3_sG1vZ09w!zpT{vn2FUO;RveP06nvR3mYrA{5rMKL_Zk9DE0QjW zbpu1ws z&g3dA+>}^nFhk7PAPw068)^- zz_rOk#CfS2nHIX%GYw80(xdVtkFg2tcxb4Ke5=yR1WR>Yic z<|JL~Wgg{658Qh%S}x{xbdct)nhT|W(Qq@zQhs$)L(waj2@Xc9$>%M1CM&1&XdJJ9 zX)ZqPp=~+kXmyHdt2%MKk=_gd4%MeZa;c*OM+Ihq@O1eT%fMPVF}WYm0-eFt?(i^Z z88P|$J&0(&6mI5^yfxV(Ko*(~13>xOR`w-F<@{#hFe&e+svEzXnd zgeOK{i}WER;!z@4FplQWuYhzpKq6d3)ry$)Df$Lv0aON1)|mPnz1#Y|GA zw&QUp_6SA36Mi4Z%ri@5_zt^Izn#mwRO;0+4rFqj%(5c%YB2N)a5#SLbABEJsM~_# z{sOARKW115UAE_~A^P`nDLu-C$UDq1FxJX|5C9Ey9t32=>b3}qoR59k`+h6fLz`** zYjph$-h>gip{ z%LrC(D?d$}XT=-@K)ipi#}BRA5oz_VSgA$j_U{Jr2Sx969KH$?U|Yo~dwI=}-UIkG{_+fvIpnFTERi8w|P4@O-&taSeCDJ)f7n56c0dK@o~n1sWU9-r`<7ATT# z|=AYS&YTkDAUvMKsDTa@G+P=o3H!IWyCiJl)|R7s?nrTo%r=@@UdWQ z(6zf$i$qH?LqL}@29d%0AKnR>IbWEg4_Jd*&8gf%kBEaU~P=|!1W0jCjck(h9Z?9{?;Ex>^bN|@^qKW%9w^rM(#Jegw`s~OMySm5A zK~Fs+*5jBhadV_cL?kcM?VUydm_#S+;u15j_$<^3Vd9XZ8WG$W?4y2K4BQl(X{zYK zPVx^v0OyNVU&OXSBj}yEfeiD`it>65zA;87{G&AJUzjp@Q>kpQh<%UnO}H-=D`z)4 z!eW~MZ-=A?pF1+dG>mOXA4?w{-z)7<^Il)=r!GYMkpkl!My1RJ z(g>8&K@|i>jB10d4V|)?LWxtvf50xB%bhfgJyH~YJnth3XfQgfUB_{Se|iQ~azvWu z6^~Iag^4WQHQv8xwU=@K4^s_en)ZPV3bsIuHMK(__3XVa;TwRt%6$;+V~Io+4e+iALFmgJN! zgE=m3?#iHTbtJ0i0D5?NGR?*5^cr?u6>HpwaEgAc;yz+>%CF1qphWSC*P;ETi$Wv$YuU$tNMt1_X^>dL~ zfL~6NffbV&A8^-GUb;oblwY2 z#*k9GRY01Jt=eL9PGe5vDd%;U^2D;F>IGi(_vXOpH6V2o|Bp6Hi^)|lZwzy|IptlD zZSo(dc%+oo>m%MN7T{9mC=KGy>(egpbZIbTDv6Nsbu6ePan442p{YZF-Eo9ac^&Txtr|XeO8xwWY41IfLf=yPt@x?)(7}EFVs8kobhlQ9+~k4sn0y2dc=mXCVV6Tx z;j2oOE5C;$+) z)ZorzlZ{otG21dw1B?V){{E;31}3(!X9dnxqdrUV#aYu$7j|>mbjVZIzgs48H#rFP z8#rN%no+1fQ=ED#bAze>w&n08_<$$abCdV0!xdA&sborbK@tF@=wnm19-snnvkpPa zMvXG-V0~E`y3wRwEECf|GR0|0(FsIfqI)bUzI<3b8RQzJFp6V7UF!^!!9~9zpS^8S z{*xpE=KOD!$Cm8ofez=7oVTr;a}VNi94LJeUXfOg7IFG-l;`kpuyw47=TTA!@p z77N(HM(`a?#h51OvrE8?9EtxpJ}^MIJ*C*6>)0k7*k-g3i3twZO&qo03}A>`5S18~ zN=Kb@z|*ZmZ21gmq$8Z-cgmMob5cwB3`h)>s{nVS)Bf$80r2$p^IVfB$JLwd7gO7= ztjE=GWpKUF*O|b4JO(3}NPn&gyY>bkc)Rlf_j-^ubI!9Zlf;PMZ!fXO4cET#@7Fn5 zKJ1E}B!DD{(w<_@g>CQf5i}m;&MEDe)38K@+Zstuuqr6ga8!)55GF(_NponbIBSia zD%bFv7Aoqk0N5r8?J=2FN8{=fG5C=!+0xbh*rua=I`u+tl~s-@K8pS1V-cjwg|9<#@%)>JIZX;x zw&|W89ygSh&cZrH-S*R_p#kI9CBT>tIl?g?s7A ziZ@hJ7V@yTw0p}e$tG%1B1_0L2`-Qnsax?OkE^{6i_}JaY7@#Ujx1U^p}q zdmzQCR9ng7Xm(6UN#j;ETsJj?;{qa2e;$lQ+dd7*d}!Z}^achF{qQh^X`iPO4#p5{ zN(7Pi)-Igzc^n4TcgtfCmURcJB46vI^%6q^1o$cihkChnt)@WO`53JOpTw$2fZ9@H z0NGTdg0G4mr2GuAqZ)COvVfLVn$O7M74C^6wY#2n1dcGz+O5vtnD0b>VT;cUXFu2J zGtkS_5~MGt6SUn@9+H&8@CrAQiY1B8Ork;DVY%}@VQA6dP6)3WiK01;uO#5spjvynZ!sVjGL@(6n?w=CP`i$=Js>xj3F zNR8Tq3AggB5eoKav5w*b{8H^g90r5A*gJldebGXTw1}Y!Z{%f3$@{HH{F8E{XI=fm zmc^?~uMPDJo+Iw|_YtNFDKh=EbBg41w;mmPDkqd?+X>hAp`*9I@_@%PMg7Z#sqfWN z_tTtF!q1VAPdZ`{ysf8aFq};S3CM)9LYqbb<1PAb@_>Cw5UIFj!uvp(@S!Izfn#mI zL75XHOVwmyatjerb+_-QZ=idEO!oiMvdn2Wd!STlc;vwFAV0`Vogo#VN@K!K=NH`8 zjQS}o8;U*(FliLWO|@XW+1&DIza)fMKraIdq~v#ZnA0q04i7com|1o8@eT1^e4?Fw zj5KW*J43;3^8PtKV<$!BLz|g6asT9?b7h2PD`PmO+DKjtiJTkO0||?9Xe1}5JMFl2 zeu*tLOhUb%LqJQT9-G%-@R?I~&>m5xm~$}P-KV}y7&8Irf*2T?Vd zGjwn8Jc>iKc)9`>D@=e!>6#PQ{IUp$n}r8w1ru|2f39%%T_JPE`HZ56SP3=CR%l4W zD5s)^;5c&fDDZJvjg3n*9auDsGg2wGanVFly7n9gJ)Jd|Lp14nu+5!sZGIB6O*&IL z7VBet#_Tn_s-$58zFhz%e}%1iSc)#Aw#o5MvYbR@y}wkjaq^U zTUi{;6M3DUs~LKWqR=K924B^>B+XUQ`DvVyqo=pCIs?P_7m6t<)h@Xk_9ErmN1(L& z&BHw`R45j}*AMvmMGxZbiE(?U`}NU5y?XrXrxlA$EFSiHr<=|~*!0wxM zlEChYUzAm^`s#@hkm4$r#oG(EWCKFV_h{7E#CjU1NCq##aP73j1Pu zWDV)r=yE|MXSD(K4?`m%H&}- zcj`018`F%FDUUFPclt+s2F5>oyUrf>L_>NWFwV-wBp2An zGjfyFNxF})eoIF1i~hoJY?+O;Yg!}W=v$q(w8F48kXg1CYdJ|!qbHJiCey+LFG>`> z$8&9D!)ZU*P(g{Y7+HxSTd#b2pwR@Ur}~?@No$+));zlf|I1#!(6JeRZPH!GWgixx zgAx-pExRK8t77|SJ4=qmgzmrs9e*cds#%hBi+A2%maIzoO?k53lAZTB-WJ;&P<`)o zT0_(%e*dbexfh*?w0DqV(^6|_yyDD%YP5T(thU^mOwrQ%mCr1&$@dMuRwwQKe@Ezc zCiX^FFwD#>Y(z{%_C{&Pu)qkQtiL$_GoKXuziX4T^lV6VK2l_uKW?YRI{dr{YH8XO zfr|DvJCO{o%$40&H>=3_d01x+nV7MIoV{Os3?RZ)&*- zOIZFc1FO^(`mV_j&}Dw{xx}fOnzAq?K|IxXiXq4MyJ>u_Q**Dk{;D1>eFac@y&aQn zl+6uRFl45=lAoOZR;ktW56P>jOhZ%`E*06MD8 zlra2*jYVj+&#U^t?>rsk)RD$e=r3nIw=pFZTSBb1brKucFO6lSsf^PE{o_^ae6;*& zp?J275yuS6C)7NaA&erMt`q+o?|5FC6D3ok1*gKo$(E?*A8wU+y$!&FeF#Q2>_nWT zVj127Q-mr@1O9I+v%+dPUT$R&TJcD(uCu~n3!1}rIC069>vG+{*9D9V=~5Rwdk=<$ z5#(D8pW{+9;dV3KPhRrVYze$h*O}HIX##WWD4r_K(Oh-rXuxs{eoQIV``}IY^6lDT zw!%qs*@6+7ynH#4_5d&^vzeY=GKJ@3rNiqr+<>D>yeMGIU9H<7&4cF`3+aK88g_^j zW}6DiL0#O6j$4@VSSuHKB8~qNC!z*Dq^GJHKj$C6)XdLt8k9hmvTo49g1s`1w{FLl zioeQV_IFri@>*H-e$xyzUwnJ0Vo(TSO{_d*d*IAxiO%~h6Cdzbbxr)uOI#`v7Xoh! zB2pU^qDh{02A?3zw$S{jQ$sx{G#yV`i+}gtVfE>JNe^8%K<6-Lx@zV2CLl)7UKSp1ZQMe%NbOI-sc?H zk?!3HXgnyG5Eai5LVXdmZoKRiSQFq>$#Vx{Lt1pp?8cF~czwlI$!(t^1-%s=S&@w~^T&{dAz8o(vX z;4q`ON8K#Q4DxCjPWc1UaXO@B&kR(HqQqoyt^ji%gXG+0F?5GRa2-;!Rge?Md_XoF z+aYFx;YMGF8O~`z5oEKxN4W=XW~rZDj(qjo%+!6Gr=RBiWRKH5?|zI;ji$ii7Gh}& zQHa%Dug$#$=3ct3FWM>LE7B(Sr2h6%*+v{lPKZ3{J0bYnH4HZoiP@{`px`jy6|HD% zAmET;SQSsyE69YoOdF~n{&~H-1F1yi!Mi^4;mdSW8h)2U`xn)`t@#$ZVk?$|=u_YI zyu$7OrIFb=|5Hl@W>503q)pRd0)_!lfg(?oQi0nBG+P9MK}S;9F=pa*Vys}~rQpkK zZ+*N^!ckA$NoUFhJpexlE2DAUPX)2&P8PZj7M?WZVm4goK;uI9IT@QYwgyt0|Cv+F zkkLS$D+p)UZ|U$PvAs|`;$e8OT1(yV%Axu*tiHkb+h)@)OW*Tpe=5_H;$R3s`@O$Z zuSb|_?U8w+N$?$Uz1htry(`PY59smWdUs`hXF>&vmM9oWFqMs>)6$(`*uF3GPh%vV zR>=`-X?)~XsvWWbzo+rydG{TbuTo|~$)L_gsA3J&O!7KcN}WL^E{f16tZ3d;y|U}D zN1AVQ_DGf-6Sey6%k2fJIyeV#rLW~aL~V$4WJbNra_qIa89E&Sw0T{l29_ClFG-!tGM#ig z`fE6dT49(w>9l)_9aFT08ihnSgC$bYNniU}jPLRj!H)v!;;~hmvL^s^-H+jhV_Wn! z?y4R=>&xsQ`UznM`CFkoG56iSKzC%Su_jy98*pF|!PKJ~H}?6Ow_3V1GA{7Tz_XF? z(pC1@xkm8lpW^#aiO8aKg`X&tpi7)l={WS{2_;WvrATsF`lu)>uWsl^WJfja8V+LH zu^xj>EX~^G(v*!Z_#^;qHaQl>RN}@rEU6I}w>Q7>={$8fzE-?vOVQ)(e;uNw%W;b3 z$*XQdhb$OJ_L=>OIG~X3&tI2o+vdGBR3b5!&L$Tq+u2E#8@>5KiWeWG+_(}JQN31A^yf(D7GXbmknzM%Yu~tQTI+z`CKb(jDRbN8J$1vM4n} zi-{U6xF-?W>}T>dCWwPj`rxS~ZLAIi3<_iQXEhd9e_I~w=Re%pt7nvAIb|k^IJ+mu|00Wg_vMmGHgi8deqk3{F%Ok;ULTx@AQP2+N!3=asau0=M4(w{3W+-7IO|O$& z#wis+beAgfF?Wl=3xVlY??7`f(~}L31BQ9*FL>-Yn-zj`fEw^(PN7%t!Q5bE)`-yg zs24(@5h8*2ub#K77DA=UEk*WHoMM{Zt zV5z9|S|4MMjfp^j$B_hgYR{|7-9uR5Qx%9P-aq3}lG&|nw$?9adL8?7AW!cm@_wPN zc8F&nlL`Z#A;j6BWH`Gv!<4TE^1;@P{hv7F+(E3Ny5A`Ku2O4#f=c^AwzGyqnAnJ2 zP=|H{IfUeSSpDsg@4Kud-RnSUa)i43sMqRr`#`roO<`S7*coWYEv)@>P9%vY_JzJO zpPs|bM-L&445)8r>u=(MWWZ;VBR|_=H&Pq3yaNG|8-X$sWWAI_-3~)oQ(g1{$dnE} zk_e5?`<^3%!yydMj;Kfczkf3w7)!XI(&zby@s0kAm@h;d2iJk;bo7cu&5ihq_UBcL zR+finu+jJ8ZMe1c$Q_zhoAoSPU+~W9*JZ%-t6mBS;uTzJ>sD{e6MJ;Q-zL>X)X6@V zVn_pEryl1Tw>DGOls-TY*%6}IJC#Ix+@Jy#m!i&tqGzYt1M>;6%;83kha-Ia24eR* z9jjA{N+6xK-QQ^+<>Ru({-oTH%K!5P1EMw@^SNn0izafJpKU%uidB(3>m7oCrur?f z=&kf*QH*WTkq@7>qijpiBR&5b2 z5gVZc3bEjWnMg-B|SMR&Rn=m5Zvt)o?n4JLhD ziWyv{&cbItLexoTBh7k2+uxI1Vo{Fd3;IOKH-DRi7P?@ouFKv9qqFg$hzo0%g4~H)`nzUCBhWYH?S0J5Ej>nf<`&P9%375C5@#bH;f{f`a zTUf3s&s3Vs#l9SdvjE&%Dzoq(ByGQU>^JwvZ4C0;`fEtok5GPXk8rfNb$$WIw8_@+q4uxFtJ6$Uu-rDhbiH~@Enu5mnp zcm9@*tZ+>_WKJQa?@-vtFpHuiXusCU5+0(GOlZIxa1nAYaJJfs=230A4+(tnzcHu# zWKF`3<+OrWsPe78K*fYf4eUyZu38x5u5%tpikz%2qpNog;%VC$o9CXSp7a;G`{T;3 z2@tNwXhqGzeFt1zqHYSc^&2lp(L-M+8D%*aq_E~KZU++ntFF<#IV#`Z5#uuSp-Svi z3)K~lI}rVsaDYdd&JuUz1*tf<`Vjz)%XYIJf^sARo<@WJu^Q&CwF&{0K? zn4YsCiJX?e=Df$oEWwcHV8xkR%wU{SN2C=M(C->;%mGl~HthqQvyFyVvB2_xk@cim zxa#h{4=uGRvX%v#BKv7OsHgxHGrsZ~d0AF7{B`VCan+F*Z22Qpdc2Z6JiK=Md^pVo zmfEWE#YRyeM7k+1n}Ecgc6Y+rdP}V~$1Y6{?-OPT^UXZg>Bs7|_ZZL)FK42-wG7N) z^NUJiHUQYEpkpmquEc^c8*Kv8DL@Ft$n!D1eZYHS?~$>G3bYQoUW7Df3dY^3**h z<%cTs5n@Mvy8F}XGQZG4pizha?L2>vfon>>CD8N8*=w%qZ|AX@6y@7QC$CS{O)4~v zeJpkux(=u{2bDi|YeuXD3ar!ZKo}T$)f3xt>$1H<=F7zcaF6xQ%FP-B8${6r{)q~d zO91U?oX>sBABt+#-xS?2-IQPggM*qb--|syWOT)7Gxw&9RFH#<*d@iF?T0;mLy^@& zYrgJ8=EHOD6o)sz`keRf@HD^!4pL5sLuPQw;on?|>9Y>03U)mYg}gZKrq37_@&|C{ z^a^C%+#uFa(_o$oZu;nF%~)C7mI?VW^Br!L$A#LQbnKGlcJ9L!V)S5(HNNd#3E*q z#wr|$Lq?_$MuG=AhC?MX2Z~8KF$9eI7vgi%4t0d_HB#*5e6R*99=fAJt6Mq}m!r%= zW!cg_#>6pN^!U2d5ZE0M1?h|O0*n(K*b}~xj|j$R%RN3GsY=t3^$*Er?hh73z$|mN z^GGx>c1=kl9m2DO^+XX7e7g<23PvawE;IQH#>*){oJ8s-JVYG^_aCHGziM62M8TnL zZoh7v(D#34vc9EIM?8YepM^B1`|J9L0rkXVidrK3>#JrAr8UXfR*okv-q1xa__%md#$!hci5qp|3Pdia7%r#JCA>C& z7?Id$)mHvoQcNUVClk8IKU^d^DWv=V`*N4@LU0rg#I85X90yUN8*h z5h1&Nn#~I(NwQv1DQ*cS`5KLd*t&Sq(MkNih@$=!VlX6PHgsAAGv7hHkesJ^azJtL#^ay{q+_;TZ zN}fA53CbRB$Y}vPo{w)^9pxowAGWW38$(a|8oa%w!xl+j#sU*}zUaWDkv9(uA5(`b zuZQQs{>)kN=7d_Lzg?VK{`kBECz1QSQ1pdkXY=CAZ;`?MM$YQHa6;ESF)fKkE%jIM!6~nFX>X$1VR)sZs{uhg?wa@5LH%+|(3DCXwIBK54$DeB zL{xmvWSBGY2PaV?=FUbI7W2~f;XjPx!PSj;kZ-k#R!N)MRt7L~Uso}KITExt;W6M9 z7qvIxGbaPYWg``kII~HrlA|1DVX-2G#FaG7LPT*O7}&tsbrJ63hA7S@WrUFT5==tG z!5~)RKdAv!9BXdl7GA3@kJQXW{ROAWG)T&FuRWDFBw=-gd6GO2wp`LE5<8Nk)N42b zWC>2$Zr^qc2qA=_aH80ig-*-P-{9uEr_{h$Fd!O|)q=rSz=lyK5`Y zm-#0mA_lb;ow%zEl07Uw7-g8?CTuTe1Ep$JC{sxSW6RbRyQekGTu@hR5mg$Klb+Cj z5_AsYb}TTEWD04>57aA?I7`a{q?a-*p^battP81r-(KFWbpq{tFGkS@0hStm$u?T8 z;70(#EwT6}*HU>F+lCjrkuR0%=tOcidXqPgd@_<*{3!!q*3PzyU;X{2eca{Qt_$e! z(!<+*;%w`b8C|%Hk_H@DKBn9-*wRrbZn|*#sia0K#q1QJH3@ypAnYJj$ZB_O;x>uf zn|hTAP#6_B<=U+Zq{t?|F^j6+%i*W0qy+%;m~cII60haa^pEN#sQ9^f^ajXcsM9Ad zbXRG^$!b9NN$8GN8OXJ28OX?AUrcelG|oy!=iqA2{t2@QmK)#h4VRE*5bClQrhf{9 z4zANN@KjcLAanR-tH9f7H9$11xUlJ>BGS$VC_w1bx&#nJ5V`ZP&JTAyI>k!|ZzBNL zhyJ#}JR6;~!M;DUG%(!`5J_35B8-YE_+3An?3aP_gk*Gm?7lz|+pe1!JB7@bfg>c) z{l{NTl!m3o+m_Yf1gsOPeOgUX@;I7U1jZ~}=np%&9Zu!W%rV5RkjSip-^!-q9Vi3m zi^xF#$oCd4kHQ?N>qXWd-x|(R+S|um0}QF*-fJk~t8WA`07q?< zk&f)Avo96oF~1wj=BMeaP2X_NIq){C6>Du(7NCv-&U!IOihe$T{UZXi9}zf-gL#Hw z!#{RsA&YDq4xgPuI*Nl40ti@f_^WrLq11TIvYMO%SRu4e87QPiM2dB_6+kTI!2OcpyKJ zm@Ee4kC-4GiZkoG1VQge6yk!aTo)6A+XPP)ZI~#;Q#Oo^UdRCWc%<<~N~A(#3LN2v z`O@?4AxyYGFU~S3oZ8{mpCl%`n4X=PNElR@!xJI!%3!60H<=vwi`uKswPgB!dp@Ir^&u$^w=6CVk(O?xOx|~w&S0?kxd_AwuB-GJz@ORdUp`0He=YXb zKEz{ccM#jYD*&|kU+T6t!qAx#huS~7@U|JA<=j~ck+f@*PN4kslQ-6j@otC&At-jo zQ?z?>TKr7~dG%p6oWSKVt(ojvLfVjcTAXdvZPJSS-g4^RLRmP``Mv4|Fka`SKGKdl z{L+a(Kx4L$=~IW=SAQ9T{+7H4_qZIv6Eza8#a`J%ss&9aeBXom04sAz;Syc(CAtDwII8Tv=)=de4`DgYEunt?_dQ zP7~|V5uj`=;?}SZ;hr-)oYsWd(Gle>kF!^SaU|S&#iKL@6;vZ9!L01j^#lvApYfwz zhW>x;lK7)tRE1w1Nyi1BA`J5@5`RA0`(S)kMG?bBgER!oY%$Fq-{0WpibQ5?y}u~s zXY2|``aC~g?YRv6>rOI)aN#gfg+>87S8SU zsoglJVv`@S)W;`P437cof{;^=4!V-4#p+O1E(fYEO*5GrWDnut+t}*d+v^&n>a5)6<}$4hm1_ zXW`Y^^bH3f>O;N>0_WO!*xr|RuDXJ;2(kiTICfW0KxPh0TAk{4#;@Bcb>@FO}IN1 zF2QZ6`8^G_bfVIyrbvCHSSP9WSOfSUhW+0tbc?4qAoCU2{-Q}GW8+AiJ<<{7w|YX$)yk0#HD)15vRZ?i*J zBt9+ijFDbmcsfIunJ&>OGpzZ93?Y}3P4iW|Do@FDZ8HMW$tga01ZU-m28p(a0PzB` zIZ{>>?r@4Jszs`H>0|6;hGemVP1jU9((xF8@J!6WW<}eh1#_OKSxh^wuE5{W^0q_2 zfqw^|S0woO#Yb3S`Av#x+|Av@mtG6XxC6i9wQ_PVce*$AiWVAq0d85TNtYv055M-t zasf8C1Lr%En_*zR-zK25%vvopNJ4z7{_ zdO~yOtdh91Q*R%i7vbHve(aAVZKu-Mm3idl1wPg>1=?cPvqbICZ~7@rUS>zwVuh=& z!EK5c+5Ma7{AY@Y&4HFx43{@XFptV0~=V8{^AwimS%B>FJ)XqPP zbh9H{I0LCns{_-NX`3eJxB8CVf!j`KqW9zF(XCwz)S_AapUY;l(RO~DFA;!rtjNRL{c^7kH>mdKJILTGFA+W4({ag9F~Jdf2u+M9`f;UFe%<~HPryYF$2~? z0RwVhu!cEWOtd9mG{aG>qagr(Dzds|U2$dBM553NE2bh-(H%8*c+Aj_2Uj9JQ=H*1 z{UwO!xvYifm(#^wc8Bl3O<$j> z>8Z&!Vywt-XIVG}Dnm{Yv4+&wV!Md8>vPwu$TLv4-5<`lDBsvUs}pd8P5V2Ef7$lc zM6ze8QKD@I{fGlcu47t9oz@IK2G=rm2}eVsAywH+A+j1(oz_pXe22LR_?YmzI%JXmddjP-fiWTJOItbp(oH%2 zPws}^uV)}le0 zKNcf<1Tq9CV>M?36DGrQ83O1%iWIr^6&h(te|EWj_3QyR{Y6Wqn>(KF-+KdtcMrE+ z_8z$@QM%3kYA2O4-$AyoW*sep(3CEB?+1wP-#(r1J|n%%8MQ%#%P3F)qXyp8Hp^1ohbXvaPI17rXvo(+1he?4!D(=m@gAYZ3=mK?)*B+z2po{BcB zd`hcVvXC!T7S0a9c;D8|qp1rJK94=u%%g>P4G;4d&~$>KUqNk;Unk%I36sG}!6K#D zNuuLO6nK5IP?#k+49!CY59;UUFN|mTvh)^c@h>Ie4E|PJnWeXdf79Kv#c;XZwUK4 zQ@*VY`Jt%m_qhgxwqd3&KU||4REex(oI>e{Iv6~rU{K9Zliy~;#XK*K)J%OAIbZnS zb!>pY+Q(CrsC1t(H2-SU-gDbr)+|k6ysd#r`{Zk9@@5vFZUN+(c38PwChDLZKgp=a!T*D5@|lEiIT;kD>WuMP3qmFs9cv{IJQEcXpiCh=>1j~i zZn(e^!$Ng5peJ2)RqWZIGf<_X1ey2nhM6&>0KZ!- z`;(E2$*0KbU)qy~@|=!B&|*{%J=-DO$@PO;j>=lnrQyZL>k2MUaKi>#22zO%pr^HO zbbrrSzIk<37WOuy123s=vRrE&sb>IdY$uP2yy=LjPIEm}1 zyZToXR*{6D1i?1Zdx1p|%|uI%zzJdZ3@|i{_c{>>G`Q0Z=fvJlgTk?(BL#<0bcVxH z*UumsWwVc7`OSmANK^Q=x?n&K1C_rdpRqe5wkEZ~Q|UR26vZB{D);cT7(bV0$T`ceu$O z$0@%$DP)UhZzatUcy%G)J#c5s8~N_|QT^pko1W0!vk86ouA2D#A5> zG450jyh0MRc4BN~d7QM}_dxpyY?P>kxwOVdpqJJz(3r}^fnlxSe5TQnOJD)Nft-2mm*^0> zLH`AU2oQXSz-T~|WXJAD_=kw&tUVs$fKS5jt&81?!3edo4Rpgv8Bq1Ho!H;x3zQe3 z{W7CiQJ~l<6KNxAcMC^h@S)SIf0fi524b)6ahwCL8oKtsu>~lxfUu?ExbeDy=pqRI zTEha?QV{FihJFbDXUoC_(H?M~(FOSc{5gB51*Sr62+l36YYNz})&Ddr69Wk;4X8jg zmk^N}Hk=4C3>%#EMtC>u2o5Y-vgBs+eNXQ4qT*W{c3{~yD;Ude$y`0@g{Qz_(6=@U z9?y#oDAE=42?b0b&*IXw%n=T^`SAS98Mj@8ZKGq{tM81T_;ph&W_q>C-Z2A?l3AFC zk{{g#xWe>MfVg_p-B$nmUKTtY*N={iF*y`u}?c2J?e?MF1dd|&@q+ZF9&8*Wic_dfai@ucCiK$ZHpS__Q3G`2mwiZFb!QKSk^MX?X@4U8MQ5YffqoqGNjx_c zAHfzA$i2EnnWZX0QH(ZU@m>+7kepVnQG>8);-iENiJ%^^yF}G+cSC zC3YV^wZW2;(`>eo5Tx+$9#gNk1!-w-V>=x2;5|ix)m>*S24UYU+jp5yU$0@H;fhHY z#}QFo$tkE&9YrH6ZHZaXQ8_hne~cFm2qO8spGTtuSU0KJgFcdrAudt=G)-i~r$5DY zXh8JTMI#8oX#Zcnb15QI>x5g51PrG=2weDbd*->?dn;Vhi$#SiD)&FKuouz5gsW@f z0t3@fW!`ShhBLLw+2$wolUA$L=yQ`>!_z;i?xJ%@bYS|g?L!?ZMWnZ-*=s=74&#bE zAj{Ak?xlB{;{)4GTrh>|Ec&v)9(jAKAMgj`dU)nTwqF3Qn6hF42lptR zk7V;B3XCa2bCVvlou&Ery8X#XS77>p%4raP*9BO9sZkMy(AnMk1kOs7{mnw52N(L)`F2G;VJ+KDavo0{RZD zwCb5VR7ro2EE{&FFayumHa`1$m;nt7%Gj|!_gm*H&J*T{HT@Cl6I*WsPB9JBn!nz2 z1=I;*PoR<=gim?|d;rfoVI2ZjSSW?y@5y0JqAc2#IoE!l*%)!0uf9SN4$Utb@V*RS zp;Xj2e%hNmKhD^B18S#1B2;;1gK{)h@xTR~<2|^s&Q$lt6nJL#_`th}CqURse5#u} zbj2GGJM&w$L@J-pxEi{!^Ov!Cgz3L5M;RmvsH1j9s8DC4mwYa|)c zREp(xrZvLU8Pf?XTB&qnPZM@>*^ZJ6^{~gV6BfFkbXl&mxJiztvmMO<+achte**M4 zHfp2fno4o;NUGP8q^dhZ0N`UXbkS#i_v?d0M6S=qRE9&C8jE|z32G{Qzw*!2`Q3}5 z_dm%~Zo)BqLSNk-udYHv$BJHA@4(H5NBaG_w9!CE#1H`{N zy?hO@&3ra=QC4gWW6!~^<3-&<&0zTL%#tg6l{pkZ-SpjL{vQ8MqRI)kr%$ILFmr2t_GPP5^&)F0*iWMX#)%g>SE7utZ z!d&i`HFQ9aSS%|Gq91XbnK3ET$wnl~@{x%;AD>`uU8zQB=_MUbzZ-cRB_LecmLasU z1Y0{>h`9IWTCe7+Q!Y>`ud0DEkns{h>X--9nvN^tH&rS;(F>${KJZ zup@Hgom=g(9lC5*dHgeRK|a4j9H~OrFV=J{pb63o_%4pAYF#J5=jd<~oLS&+ILB># zKRLLd@#@ri_2Tc@NyFFPm)=DQM`qz07D0nZW-KB%pEo8VrR_s8WL}rcn2^k%EU5rC zctyGn<5IB>_j+uX0~A`9Uz{74%!^|3!@Y2l&HsJ?^4Bf%pBA0YIZj-HCUBHn6PjKW zeOF~Uap{X3e&cuu7gE_1I&L5(q$GhTas3PAR&y^qvO$EB&rBW<3TB@I!L~Vih|O%m zOvhoT8l6NgL;rJ{a74|6UN0c>&2P-js+P)paIimRSJ$Fp7eIF9&zW}8;BESxVh(Q< z?H}6^=E$J`GrJN_&AD+t_@~e7d16g41vm71l{}_8Bk27>o-D9e5^mwTj-&CbX@PAh z7ps`K>eh8nTd^EV8yA!bym|@E^(TOS`u3)7`6`LV%$-@W&6#J3xng!xf?mL zj0h1<9nzPPDuJn>kQculYGQYDQiRLU@4t1omJImz0BrjD!jABM(6utPas)nFqTI<( z$nA>s2zjjvKo;8^;$h9IN=6z<;I0niO>$(b+@l22eeRlIA_=&%>2-!Y*cS_I* zJENws@XjJ_?pn@?!ie;89`w2Iv0;|HH6zEf`l?ZXBU7!|t{jcA)18D|QxW+k54P@J znl7m(aVv%qN5oW`5g=8R%x8~wk*(L7pK3&S0BEKVc0xjZ%lbCYmmI^?lSJ3go-~jv zhk(*2Au=c2Lp%GaX=E5qCGe|8s!!nv+eu4{4E#Z4>Cfh9;)t@|H?P_6wc+5TngU`ls6&Qn=es` zP~xNpiM~_9{UT!HJ~5p+fBy5Q?6m0OoA`IL#S0knUY{C@{`HB$5w}F5#b1C+1Nv$r ziv~ykc+#VrM+akzGQ-PY_+&j?qxjsz1hf`zhmgT9)^A*+cQ|+P0@twv-ki*6f`Div zTt1*hU)Ul#x2y6ix+>D=pcdj3&Hp^|P69G%w9v6{cX~9b9SRa@8xqB_8#v}A;Xfrw z;9hmCNTdCW6DMBdixP1&NwKX=??AA}5@iY#r*$DLO?}}n#mq?aH8YbAAPO620Z=0G zHElAi&L{ur=%=6xj#)|gOHmSybx_tM5uQgUjr9T6Br$$=XSi2?>@gx5@I%LLqW8{^ z356U#CId>|hjnhAu?Vqajx2d}JdHcu-lF40WuHx?19IT;5X58e3`F8JZ`%lb4Hy6e zRw%`fR?5%MK0T9!9xqPY&sZfD;`>sC6clbursl`Hz%=J=WMs!7d1j-(xfX>5zB+hr zRE^{wI})sgirX##-{2_*F&pV=KVbkt7#aVMGhLQU@;WEt$h9vtft;OURjcbHe?zLO zH37@T715Y_V&8xwxVdqLteL=Pi~jKN@M^I9YQqUY##QE1WI9PLiL6K7KSx2oXNb8E z(`s6ZxhH%AmTDTg;8)Y0X}2u@pVs&VtVApS)~^&J_g2m-k0Dp_NXcuDlD`S3dqf^| z0EeBeO<6RlV}i|KglOZ(Ce1#T>Qwn}_L)0p1Fca+p|ywmkI%#OpN(^{U=yvNcz?=J zO!cuX_q$t{G}^trcTy46%ELAHEppU$NAW%H|Ssdn2Y<;rKcx_hTWAfF*&?pz~T&$s($<9fZF%>2O8R{rnZI}!XEe*kN}eo3AdrEri3J*FU=e+Qq6VwrSPNCIm!4lyb;0ICCKr7|OoX;fS~ zS-X^A6D$ePA&abWzZi=y5;L8nwAn}>la~>fLS9GS7xqYuLnKgJr}S@yja|4fre!Xf z66}n0C@#{Ohg^x6Q<+S9D{zc%!^J5Rxf5% z5b`(U0;&_{G*T!QVD9v;0~k#sE88c2_{cfAgJ!94zv5tpZ0#VI&N@b(q~?@I2=e;P5!tA|CSf{y6C<$<{%usW^VS zj1}Ob(3PB30N(rzB~!j|Hd6^lO;`eu@MhnW<2uUu?oL~&_`N#JxRASsJxPJ^p#(Ez zTf_AfJb2?RFRtzSxRj(iaz=MFNIjFHsB0VB5J5b3HzM79fvVgq7gbX1vVdihmU14~v;`k)sx%0m8CApT6=fQiG2WK~9Xq171<5 z=kYU#T9}ELPE|IH#@$PBB$#vTF&S47;-+}wwg*V!lduQmv8u;mZH>d>NB5i{C3#60 zac(J9j-1TeUIsRU@Yud-J-cC6m07cyh ztnm+81q*v)ZzlZLH$I&&RC`m@3DgoXN{{EA`6&;*rm}!UUWDh36c>)~EtdFLx0HYf zrNi{VXUldN-mi}8*Q1da2OzX{vW_GSqe#h41`sbln8Mm2{i+O!+lMJa4a~jo&MBgk zv=JJG@ja2Jo_8=2H1B_N{w&83>t9zM0gdQz2+tdgDWEnA4Y?~Wur{hBXfU>f9JRK3 z7Ey<_g63gfwUK#7ts?qmGAa`KM-FJ^-;8P%(GKw_GyH3zg1BFe@el^WUrb`H`vjQh zL%^BkH_!a!qKihJ=#MI)zkXCniT|U@C?gM>Tv5GvqQVl15~7NGm3>168&nMf>FUf4h-M4UXaHc` z*6w&9cxrFZCv}S&g5gdEzaIwCN6epNujzpo#gXmCM<<|%ngF7TiwuOY%s2bqs8sdeug}K zk_adqwd|zQmqpmDY#6Wrt5fO(fSGnX^k9mz#vYZJ9{7b)SX6TI(!*VT&x(=v)6vYM zwRh*1ZWRZ{ab6}I)u%5TpFzF@!_0Q|jK|t~&%52{*Fd(!hQc1}9*o%XqPl)9;UR1# zFl{;LPh4N@ypV-X8l;(lhqGq^AjvsFb2(g;oQ}UAFSn0$maBPWZ)xIl05)pqIZSQV zk!A5Ys8`G1R#E4&~lPe}k)w)HLQ^lmz=8++eXHT+;5sc?1r}6_E0hX*$lD%(T_Z%)2 zsiCFo4~~s%!t19sG9EtO$=x_9c{3bvr!wjb(G#s0eqZO|QwEi%b59qaZ&j5twWax` z27g9M|0-@}|&%mK2{R@VQ~mAeIVoVS#uVVN%^ZLxV--BfD2y$u8?* z`aFzBax*0d=5X>xsOa=#XnN*0#Z5Z!vWwDQ`6DMP#cpx`j+N0FGHg?qWXd){o&#xr zEEa)a`)GEDxhtkkYHfE>Uf1lMHsz?3S0ULrTW&*{?P#uXfDH9F|GEP!UD|N4<)#RU zOoz(kmIBATAiUf=jkQp!zlzF}3IdJ(FC0D6AgE81bC1OpZ+7xAoohG}LEh}w@qiveRT&6KKcZB#uAI0mpP*F2GehX=lm35J! zZVt{EA@&q2E+;hmX2V3CB^zp^Qk~_bmnN&rB=cEf4C>R0l8D=#&RBo=sn#on}eAMJ}F`eZ?<4Q=o>3Ve?y zpR4<}0*$?uKtcr_OmStkXZ7=1pvpjBI8GZ;EYe+!^n~aaje3>)xf{Ys!^*>Q%VF`3 z#JfWPCte$D5fYfT#9W*4tS$Ofp%YtarPc$36Gq%qx*`(@YPe)M@XrO(Dp?M?&6yln zMct~n4{8VusQ-=T#O-tws(xW)_{T~t6^S9Fr#c6?d5ST~a49Ah!jd~dy(%TnG_7?q zP4EF;Uo|8w97G(_O_(JD_m{L-J7y`BenHc195F0Vmf$it=c;J>FRX{%pcLA0a@VkI zD*2c}crNrOEHeCi)HZZt+e1PSZhB)vLR;Pr7D+)S0HI~!0li~fNN#GZ2$R{`appzK zuL+iBc4URpBt9bpZss_5c#s9e1l-bT(hG9!J={yg=o8ntV(n4ayr3!WDyTzOm^xij zx$1$ah+NBh;#bGJEf0#v;4{9xM639os|Daa!NM1R~Slr9b%Jb8QfiZ!v`uz1{ zUSc|UK#99~3Z*DQ$rFk2yP!3s^&5W*cie72Xn8dO@GfY1EZ(alqeDNA&I6;hj3;E& z6ll2$uF@TM3iq3mE95=AJL-L3XBR$^7rvz3JygfNpf!rb8ZNe4Q?o?o)2-1W`AH&k z`0#HgBhyWY>xH$YhPSJZ3jTka#inaiCCbH30B0nw$}#W~ui_cz11`uk7&@<-S+VJ| zfBjM*LukKhW{w)8HKrQ84VEkr^MZ@P5eM}I5={ft+CS_9NLv~ED!cYkRT@U@9#Ibe#?Ch`Qv$?LL7hT(B+gpGZa*lHd#1$>o09N@D5{?}vmzMP<`{ z$bMjQV6v_h(sqRYZ4B`Ntj@^40M;R-#f*6(OzBq5I3(#*;3v^nZZoS?2}W-?Vb4VbdgKY zpxKuQdD2=+izTDE3Z7mCN%EXYO5R6H#u!V);YGQ~xTfc-j@hB|1B7vr0S#sB(t!~T zgwzmGHlvE9R_du|D0C`SzePSE2YwlllpK-v(^~5Z4n+@FPvYA8{N@Ue>e*^}(SeZC z2K|QwsqZA0dY7-*B^1ed>Q(bex?Y>|Q6EN09AIZr2CrOl#6I6y5N~%ZC;`t@Lcvnw z>+3N2q>lGi--YnB|#7q*1sf{M-s0x zNpw|VixfMrt#4Cqukzc46t+1Mo`Q_MaG+ke)rsU@+vI@j)?9B^}#tTHcFs3_A@ zK(UQEP+dxQGT~iU1v+fGIgm!EW+y%tFR*0zTrJ$prhywFIvG9_{d9?nLJhZ$xKp z;A2Xw7hI&+|S-`Zi|gHk_FVAj|5? zIK_H^Y{D@sPBUYv!!3j-)mkF?tHC)8!z{;Z#2viYtt+m-A-$NcvxAGD(1X{0p=Etn z5{$&b}X4v*JM_&a>i;*Jg_omZwowW?JJ0vY6`6L2)K+pq(Z` z^pE)}p*R-)pRD$QsL4!0*2}P?2TWaLa8ULH)TK(l$nny;DUkqAH^TmHf4)vZBvNbK zr+@yu_eksC8bHzM40YGMS5HfLliyY`U5lnvm8F@eEyDJ#P;fOlt|O)t6y=cmEJR%> zGQyq|w4KRbfR6izk5cMuf2u~he?Rc34Q`mIaN?NVldtz#>`MU7B|q}U=U0Ry`t{?x z-^|2|w&)E?Y!KXgMb+iKY1XpC9cO=Y3V}BQ>}|%C5TLOwL!q1A!o|z>+158Q6T_mE zLI3OXYr)5%xiIqd<-X8a*eO0Ad;7Ma-K6tF2K6`sf#Pv%2s{rjOg80t#DIV;dB)&` zIW!sDn9)PRy6ir+W6agO}AV8FJJjinwaYe3BJLw3opcnj$f<4dj1l_ z`Td(5AD~8HN$&ISm$Jf{m7kWulEJxGS6TX_+vg=fbY$U|)3Q1~RgC}{9{bzemIecU zUi6%KuO&lK8v@JFjpzt1v%U4im^WW*V)C=IaT@8w#og!o7B z;C|b){PTQ@hi4s?Z{ChPjADN(O+C4qEN}IhGQg)c!0sq{t@Lf>ZROm&K4-E9b5!hJ z$3=~Sya%Otg5my8dHQ!2Qd`f`cLkvKC$0J3nzX=?95G4ozdstA@Nj@SEsYOPXlV~g zXWm0dXn9ZQ4lYBk3cePyb0e@0avaF>jp0+6nVtc>MP5pEOfl7L(P@859SyQtPB-oY z*4(ml_=o?zd*tVQzhv2ZbDa=VWCJ_sZuXP91pr!F`w<@FK{xj7KI1;Py4&>GA3eu> z4vg7LR=YFw^ohNEv*bz-UadP=d-UT=S6N@OU41Op?eZCRy8R32n99HZcE{J$FbJ^U z4;|jCwU*p`CtKa$D|@@3&uv&Vn%$oQ4pM%t!xZdQ+Ur7?@#xDB24vgHTEsiOO=r;IRS{+pskaL8~~b@qF?IqkT&FrBaT5NX~xJd=k9UCIG-S_-M$8!!Up- z3~BFSomgUgG~1u;+~)b^m&ai;Uj3N@uOXW~WIS?eNtg;6&t3w^)o1Yb@;mq-RmaP# z`cxWw`?%d8P`HjPg$yDHr`*KC+01(1@bNYX?VjoTZo0q!j(3RG_+Cv1jI`As_r;!d z(Asx&zlo-P8M8Y;w4N%39`_;C&gAzP9mA>OBkYVtmk=H6yxS{m2_+d1)<`GVW4f!p zdOe<&UMyHwgE@(v%`jzF1ZKr|gAX#o@fplL7;S~2y zp^T=1>|uh>-$L7}&e6T53Rizz@sh!gMZq#m?{e z2(Y9)2LWUx6v@Z2l?h7)f3H~(~+&fH=ldr!ku)Jx<*$p3xo_|Z=|)3 z5MF(c=E6Zq>B7Nj&($JcCaj|emDDfH1XEL?qF#2m4iuxUn6PACA2dRi&CuFM3~ z5HIT5zvg<~darTBq!T#394JZAe^L}gPBYv^Q$~;`(&TRd5>m{5Qrc+G)^^YWdLV-5 z#nKcVEy?yo^?WCD^*U^H?}JC_m*5fxa~)*8@2K7*R8*d^b|Z}x`^xMOPU#<={il=iw75_ZhcC? zdj2$Q7dX4(v2@uxcC_EDn>k+e!aF@%C*obkEfs(Qcvic@Qbq{r8r^Q9%)vW}t)Mz* z|BlvnSdtY-#PF~_;XQ0$>(fz(>1n>h+tfa<>*RU0Onzi_i8UHK%=%nD=7#HTGPq0` z`KJ%)9y7MC7@2PYwbHoj9{=jNid?c*n!LITx#Tta++MQrKm9s*1i;`dqyE3nMCsa0 zAkgW*Z$UYLS^ozT>Zd7JN!yCFHB)<1a@}9AO06bk2un_m2t`i12F`$ggiPOQG0<_4 zke^Te_#jEPv}FFLL%Sm0MVk9eo(gYIQW1gtbwXm2@cR~sQXTseM0i2|iik$8nK(!nfxl@j*sB02AsTF&X8Q9311438-L`4ndT$2+v?6(}O*$vvA8aA{J|Y0D8ZFJnd?di94TxEjHq z+7b{;ky4kcnp(@^!dE0!=?(=KwMZmsbCTWC&En^%C}yXON@XY9_dRwN7E#_f56!O~ zrwXPt12&LlS{s$CY>F3)^O_HeTEvt5tEomdo_BV--&Zz1?<*7H8jil4-mfJ7{s8^& z2>AJZUT$lDbbi0R?X=Kt{MgNR$AqT6hroxSZ)hpQZgs7#FWCr&;&W0ylrU$=_`^moHLKs^3ay$M0fDrB(VLmdL%d)*K}=0$M0 zpQkZ`TX@&iMiB#~&)QUbZRev|9m3pw=++9n&r6#n=G9$HhJ5YJOv5xcil5k(kaQ+=!|$W;!AN{MW?B z%CpbRy+i)?;~q)8!1q@;=NtMwDk={h=bW<`mr0=pqdT$k)|7l0)I)@1ZbV9JH!PC9 zzMiKMy8ihD6oY3!%zyOuSh^Ni9^gh8LqC9SUEH$|MgOE9#wofBN&hAUqy0vB)7T*d zgLf~Kz7w%^6=x4z!LtB{A%yPf|7K0MpYEPs%UkR(85TI37`AspXWi18TJM~w4v%4>sp_UU>e;l zbb;yU^$nxNUg(Y~)Nu3g){B_rpZIKWXY)+QY^)hF|H`YK1`f|K zTLaDJUIpu}bz%2DrTX!A0%05&?Ga16qySmlx$dVb7^oxWJSm1{FuZ2DNDMi8&1RS;*f z!;;HQZraH0?akno{;dLnLbi(rgXg|_$!e(BBMm@>F{6EIe>cnyk(b}3%dpIFPL9tl zZ!@9B{?ogWV_ZsjMF|xabfSdF4Q^CO=&2SWFSM$t2!}rhU`B)mHJTB`xR9!?RFT(M zZx3wCm?B=?qRVJT?5F=rzt||x1Jgxw1sSw4|2KfA(d*4Iz)+-u&X(JR>s7QZ}0 z)Is=<%>(HiVEMC6%FB9d$a~)UfIQwesnN6pL;=KhE5bM3o{NcIskh%7ty6hXqf z$H?jBi0|tif8QemM|P$q|Csj<$6H73`O&S?gb&;WfB~B4cT5I(BT>JkOwblJ?t{Bb zwAal2VoP*2_@-o3k=Tq}Z}y|2hea-5(U0@}0hq;;olD`Z&*QOzf&NZB0C2x>-Q)j0 z^Ilr}jG={Lw|_fja9wNgg=!Gzy9~hUkG3`B)i#CAh4a)Bq~p|1($+@nk(72Y*uGL( zJ#I4q9BocRz7U_u6;05l-HU9R5jFQ(8Z~DuMrq4htI^3=&y>w5`5XTRiq#4LLJcm* zH)i=a2R6lu4i=P%J0flgoL$~F)+a;oC}jUvuC_=*86~@IQ`Tg&SS(hs5L+C#5qoxq zriT~u)hkgRf6nl-9I3uA%t=&jfaHAU`gz6yaQ)o6^R=*!vS5u4f9KVtJ)gY0FiSRe zTQ6Sb6#KhVgQ7uLVR^i9+&-d1EXm*qYeU*u#fJji8X<>REd{iO_Gliz>YQlh$*@{{ zDb1tlusowHL6K*N6It*w<$x8I4J4;40vmWbsYo2CR#zD`Y2pv|ltWenU8xF_Vh-+l z{pea*Sreo@*Ld&2MuAuFc<*{$l_Y=nlE3PttM=ZfRj3KiP4y;Y6HDIxZ#?daDAv{@ z3$159b?Dx{P&BF4JS|V|#+#z0F9f283%dXP08d|i19bue>IKmzneB$=Vh)3U zK<#IL$5*VfWLi11W(S8=P}P@dL}u~-jq@%hS(%GZg2q3zEI$xJ7=uGNz%1D}!sk-! zWKEZ{!csU_I4?7z7v!cr_V$u|ZOU7(Pj7yuN-?Ue=?2vS=_M9)G+O)I6r@PPiouwl; zk`k1q@#vzOR!y#QMyu;zOdO%EH(i2;ltLe$Eb9pq%!(qT(ZPkWT$eM}d>aa0O?Uv_ zmaC=|W}+fcnME#=sw1{#; za_Kd;t&R&jZ?Bk>BG}!ofTmpXL6K0F%qyuXI;!~s68N_VdXi)Wc@z zE9y+W$yE@NKmlJ5tl3(g{CEK=cmxtmdRtc4SIb z0tG6-PXrg{^9CZ+7Xb;lU9W=tH%@*DxzUeh#qkGPLpqZRsMq2M2#BEP3Bz8N*#;f--sbL5WUW5;P!094KKHHb6{L1v&tp&;jZnO~G9lB8Q~hHjI6O%nqa= z_^wX`Pw5dhP}O++oIQH>zve_PogUB~4Z#8-Qs+@U)6$UuDXL`x2UMJilVkui zvhj%QJvgOahZ%7z@{u;Pnp%JYc9!C|t*g|kawy^89aYKQL@ccQDd@_9?q~?AXbeZn{5=`4TnSK`_pi+0=jbisqtY^+t zA}l-jX_UuRD85q!bSWh^wD6k)J zSNxYyfh=`7il+V#%Z4JIkjagX4N$K`?1%V@6#|fJE`~dd;L54}VCwlp;8fnMXs$o! z>hj?uK&QES?7Y=lXMqwpVAb=r324x~iLT&v&(=MJdf+T|1q4yOwzJ|gN1t46gKGp9 zi1G2w3fPd_L!?HZ6~xXx1UvY!WCf&mQKl9=pj;rH0SI*TycE2O5`n>+nyp{bOeEq< z?}rUNPrXEc07%H?uc#!jGD$Ir71Dgb1Jo%%kbVC6VP30?h`da_2m)<1A_3S`9E!U{ zG&e}Im=YaI%-To$ZZGDk3ULTk3`t1#$J9ik`U5D7DWRc+qk;l351Y&u`E#b?5ZQKb z*6@HZGxRTj1LffCX0e*Zp}YrRgb1O^sroRgYJ`_!wr7O_O|w3(k}zEo@lB&Xv(x}2 zAaychaOHn+x?a?n{79N!)>vr_{z6h){mj(|s_UIE)T z7i~QF9qoQ_Ywwx4ktF5=0VI6%=x{(}8528flir+7&cn{T4Og3k6Yl{SI6lBeuo6+LjhO3k4K|pC50-yFHZx`WuK6SP|G3 zdEkGxA2HIAsXeO+xjUde9^T`T&EM(K9I=xJbYRh%1+%$ zm3@)+KjE+!8(3C{AeWvVtY`^Oq76CldFSNvN3Br{7JlLlQ8!cJbosq`vaL4?uh@t} zf0hD}C?4{~Q)U6!Ov2w@nXNz%`A>93PyY?Svd~h6DJQMVZ612QEuNKRwZpdp6$Uwm zXzs`P93Jj_;$zFkf(0rq=ew*Dl}6fPFiA3H&|)Mj;Q7c0ASB}K$BoWT>`N;u8n;S~ zT8cd^LedKcW*@eG{lEw7kS?&(sr9u_Xu#-yOqOgebKkIK94_^uakFCi_@`5EgXam` zRSKPmr(2dwQ;Gfm;~LW{_fUen%{JA52~~i6bXtD^V#4`_80O$1vRrFb^JRW{e(yR6 z$5!9m|CeZt))!s)F48g}A!R52U(QB{U#kHIEViBG*k9V0SdD43zUxkBdH{_7d8*4# zY=@wn#<^=;=jq`svrI29w)Ht~iiREc!<b z3o#N?fw+6b7IezY-it54(Xy$Cjjs0#UhEI}YUvLIet;jo$RF@A8H`MH()_UmE1~tR z^30!(;G-LEZ6B?Sgu~Edt539va8!KXz!q$>E;lUBSz^F|J zsyF%Qiv8mPGzkDQlA*JXglmpH;>7Fv5ovA&{dKhOV5yoMhnGLOXiPj{r3+>c_P$+1 zPThR%-aF6e?I>NKnN3xVe&Vt`IX%>$tL zRwd!xpcB=7jGxA|;MWg0Ecl}M1-S29m#n$#UXn}B))@N07Fb#~u*lON!n7_k%I%2A zGEA&D0D^M~z#ZfnX4V^mzy4(2rIW)%tHoDD&bYhWI?BVufcIzeR9qV`xycCbk^ofW^98s71T z{x^1}7Q9w;OqV_*y)*Ktzo59}`P5V_Q+@$L)k9~GFk-!@c49odtusETzIb_Lzfb`x z0{^Atc;rS=0?F{nj6?ZS;ZhmQ9G_HbvIFXV{EO#R4My;~nKYvwG?QvSLQK==A^kXJ%NRCwR zkH6oHb8&e5T80_9`L$z5){Ojd#?1#|wlsfuo0@c!8qJ%w>oNX0SKFVz62DsO(<|+@ zr?EGaacmO$v9)T_3k_I(ID`Q7-#)WD-R8A z`%>?r%_Jx4@$){pH>Z5X@MRMKz5#SkRm@J0s0HIOY5-i1)KhY=i=A=a1yAbzwL)I3 zJH&v=2br5tt0{orGtWdD}Hw9?bp?k*a;19)1@|hKDfDIaGLblza0+MU3amS z+Wyw*6Ixz(apyk^a(bnrAMQ)+go2+h3_<@fr=#WTlk$a5DWy-={nj90)kL=avM!!R zqjpmsKU`BH!`h#8i6@%$0p4!Mz-JGCUvnpw9#jG7(U7y)hrjFJ)au_W%lckg0{A<= zr~gFBTBE+-KXXY0RDVTztv>uiRd{@IT4f0;+iAKb>1VIlQO4JGx%RaItx@ zMBWgyXnoS=V|nk9w^%|3vXO|i7F1$TEll74R+gkJ9>UZmstcZjLfIbl14Fh=TxbiP zS8s!^%;rx%1Qctn9uX{>N<)j(=#c1e>#bug_sZ0Myhn}!nd`*b8QjRgnBNW8v@idy z%>A2*5vWIT;yH{Stc4+eS%^oNJn%g(N~glL8|<~V+Rv;pn0@?zL7K+u@PD5V(jbN( zenB51ae{OpWxax1mQ($D<(@IQ=csz8T5LFxA*kCpwZW)A9@_k6a_lpMis&S>Gc_x1@PYgKA{=h!$1WlFmj_#@Az_e|>(r^hW2@0d)PT zhr*JfpziIkKa>C6OzXnO!g(&_fN=1{I1_$f)q#)uSK#w)M&RRf!sGk(?xW}WuAJc; zGV1e;GaU{VOoNEf(a6Nc$ij?@LDAX4)Xl`qnbOhJT-8jIj)|U?k)DYw-47Owgn^Tp zor#N)m6er_k(Gjxk%9`ELC(Qc)X3G0kW!SJneiv{|I3m-1N(#Mz{EvJ`BM_1td+YN z;SUcd6`_se&sV;SnGvD8nX`+PgFPWTJqtZ!t1KMYC#W(zrw|8|D3dS?rw}_cvpAR7 z&jT@55iSvCb`fz=HX(jO-v3_~z5mC5orRU1>wkMyWNT7YxEp#Sx7@9@m*-wB=iYf1 z1~d1zt;b$%`1up|K7B|=nxqkOh?1tEL0}bf=n+tPAV{J@#gC+@qNjZjk%izOkygOU z>_SmMM8)G_C8Q6&cgC|#i_Lpf^{4PYn@ zVhtmJFushG>O?-~98ecC8#4sB98IH_-n>%Vgp@u z3N51UeU1XS33e&D9K2904RQ@GVd1-V7a)aEMZE79;O;*PML*mS7ZAu@R;I8aR@t=&tv<@5=sI| zd?}YKF~4p_(I1h$^ZHrVWY+Kpv^?qGMbWJddS%vh*60T`ZnW7G#I!mCZ#TU47AN2b zS{29kxh15!f}a~Qf;V6xZ-iR((f@G*YE}#J6rQN)eYPMJY!fptE<>VcQvZVes{oT`AFLx?q> zHRyqtplnkjGI_ek)HJO2_RE(B1^5F9M1#Og_i$Q!AQ@OKJC8A8OJ6^TpTW$0bqUKvLttP(MAK{ zLkq^X^;2Ju6~%LZP?ik-kWV1|$0O1r@n=})hlk7slyV2>r^R@g>vU7`KfQ2020uY9 zlHBD-$V1Q4s{KQdx-`-X{MQK-%p586owh%fW=`r-8sGqa-gC*+rkOhZd2b6rntwb! z>^20M?v?U@%t`S%VqRe7?ypgfVvdz>=!^Yr$$@nYgUVaW_x6rFBQRe^2p1#9Q6K7L zICvc*dY`c-h>Q_dRiIjV#>XY+hjRo=7i>B#nw%HDeTngBlINB-r4jaWpZ6*djuDD& z7+oD&3!u+^6`02e<06c&4&$lMpA!hu2m-#(h!aF&4-+>W#SvM)&x#WiV;8qdekf_? zfF>t28gb{2SvRoK5$??q&%Rf#4ZL*^elyg^kpRC}#1kxj?-%d?)z+PdL%r{D0Jk>D zOe9;GjB-ZV*AZi>aGH~BS!V3lP(-#I#Tm=5nk-qyQ6k~c(U4;q<&t9^F=QQEmSixL z!5AilEOSTBy|;6p`@Ej#_kDl<{QmKMKL7ka&nL!5Lzp@xSa%<@e4Iu;y)1cPnU~hI zXE5XWn_{l259BP8?vQwbN1OalGfGQX}g^C*O0SsPU;<$vAyYwsZ$%m zxL~uSwlXHh4oh0s=XkUaR$QE46jaWqMVHIYJ26*Fv~b!*)taXd;{*W0UAWbffaA!j zRg-=>dd}?*C|FTqU9v4g)e46pKYT7Vv55R|$3=94@z)(M2#VOTH)f~9Q=&@s$adie zDwd({bg%cv17i*88S5Z&ROoy1R`r>m1@~`rQ~UGx9EbWTCwBi zLktBMc2?9Tz?y;qv}lrv?k2^K^J2~vKFnSFmn9DB4l3S4rJh2aeiFi%;{J}9QY#|; zMsC{$Do>*X*W>pu)Oaf;zIkVP!vd%%tVvBEaZI5xGYKJKo$(Gink8D3HG=CMZ;8dTT0i=iJ*OLx=r%8#<5gpR_qCW+ zU=ED;a<#yp)jq4m*8B(X-}qhn#pkG4hOZ&OS;kBcG6IcpZ~W?W$;ay__?1_7q2;nm zRQ}@S-N^DUEOh~8)~;uH4@*7fS~(O=Hg^;(#zIPB#0sz{O5z~pM|7LGi^*KDE=m{2 zrbE@q1p94vr!?!nTe-{^vhj!r0GgERBA?U)qbAQl@zcS4-=3S#6f`^T^0K&E0o@vq z@0sL2H)Gehk+Zb>BdWC65qVn7$T1pdt7+G?T$p+8KrKPbT}!wsd`Id_(9M^*L^_qD zYCLRA;v8bKz6OzhE8|EqXTD-5c1zFk)K(d@EBOaohWE+;JM5o{w(RMpHeNlF8y$B^ zY4;N_Cf3^3+lz~rId_-3L0eB|P*VUQhr9T4-OM0fv9lvvvNQUO1>jq+V* zp+WOJG_dxg4H&V7*jjU_J}{q$22~_tsF(C6pk0CO@t0_8O|Qg4tt51txJUH&${_H z>n|}_p06##q$2zyT0TdcyPQj0w;fWoqHqk8u>Pbu7UMhd^96SEJMMMKEW*rRCJ1}d z0x{+*Ahzy9gFSY2UNv?=jv_7f1Hc~J*Ef*!lkZ%{w9OA;+qd@&atVa)ean6hLl6-Y z$?KoTu6$Ee*(1JmaB)u;tB1*|X6oERni!ZENc4>kKWs*h~ z4i_T1jw|OaI<$gfCSEJ%M2Mq`boi>Fl8WQMr9vLS#Lh8^tKC3SQsXLo(rOc=r$n&e< z{3TPWMvW0Sv~dH{01C;^ZSK>k(c^|NZb0fPc}hn;tya5v017~UkukQM8*b2JUvDc% zBq@MhOsir^lL-5UdzZAJiC~nvjBAl?^hInC@N_hnat$VJAvk zUGAtpxzPXkeF!l&s>sDf4WCuCP6bY&hOR1Oh^qz>UeZT(xvRC!8@E)nb}DVd8eMby zVUfo(8v>3Q0B;%T0p@cN9C7RGFCO=)CI+nRckYd6#H3G7p`EMMojbuihYMCm0m?IP z+pohD38=XKmaet%P(4e-Y^fB&^9SnnNhs7nORg#b)z;sV(jcBfD5MPzg@>M6yB#f? zVpTxPnn*zv+Aa;KyN4mycIiRWeVKz>wdxJ`0GND-qq7mWvuEKryNT=tygypkV6V%Y zHIAocC$|QL;_@eCA-8*c@&{x}#~B|luB6YnKBuMZ%w|8z?6L4E&>qN~>k9QoYUlh< ziP(PC;8a!GQG92nq&Z`hiu)sT#v*d4n7ZxVQ&HyYjnK|10=fsi{j@7H-&+I}=-Oo! z?U$Q!U3b#25Ak=S$W;GPW)CjUX+V1+#5hP!Z)M|o&kdioXAjy2^^7*-#EgSr=tdZL*{|D!j~KBi5$?S4(_aPs_YfTZqxHo@{{qWKo}d5# diff --git a/spec/spec.tex b/spec/spec.tex index 12d86e353bd..a335709d96e 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -829,6 +829,15 @@ \subsubsection{Read Under Write Behaviour} If the read-under-write flag is set to \verb|undefined|, then the value held by the read port after the appropriate read latency is undefined. + +For the purpose of defining such collisions, an ``active write port'' is a write port or a readwrite port that is used to initiate a write operation on a given clock edge, where \verb|en| is set and, for a readwriter, \verb|wmode| is set. +An ``active read port'' is a read port or a readwrite port that is used to initiate a read operation on a given clock edge, where \verb|en| is set and, for a readwriter, \verb|wmode| is not set. +Each operation is defined to be ``active'' for the number of cycles set by its corresponding latency, starting from the cycle where its inputs were provided to its associated port. +Note that this excludes combinational reads, which are simply modeled as combinationally selecting from stored values + +For memories with independently clocked ports, a collision between a read operation and a write operation with independent clocks is defined to occur when the address of an active write port and the address of an active read port are the same for overlapping clock periods, or when any portion of a read operation overlaps part of a write operation with a matching addresses. +In such cases, the data that is read out of the read port is undefined. + \subsubsection{Write Under Write Behaviour} In all cases, if a memory location is written to by more than one port on the same cycle, the stored value is undefined.