diff --git a/diagram_gap.pdf b/diagram_gap.pdf index 6f659f29a4f8558df19c8c696256f554d8c08b0d..0b6917ca59d27333377cc16e70db3c83a2a668c1 100644 GIT binary patch delta 36314 zcmV)0K+eCzh60430+1pEGB7wWlkp@df7M#cZY8%7-RmoQnJh^2{QwLvl*9vgr;K)E zF9I1EBN!#I9l*bz!)Di`A6IuU**L&Rx;(e~)Tttytm+=Od|ce}?!n#p>+#zyehJ-{ z+Lw}S3T=6LefW8S&AVkad~i1QmY3g_0grEN9@pbHm@F9Z^SV5Q7Hulcuj5b4f5ZEQ z{XCtn`><@R-u51HUVd0F`*B$rbFrnz5_Yr<-s3(p7@uv)xe91Pvk|0AO4hlM6+(Ys za2yk?hwPJluu3wB-R@j$Pa^wJ+K&flkCw)>j(e^bcB9ZYbjmM;&2+YZg zP6BHYGg8Y$I-Hq=W5h^;_tC~yL*kp=C!2$0L5=6#g|UOn#32fW66mpK)q>y3EZC4^ zF2W>$qiZH$l*wc0PzUb3QqnH2^&4rVcDe{Z|2uqtIp%9(8! z+?JJN21ZtTLs?XdWCcfWEg5WU z)VQRk8dXujBwA+1fzh*X$_!^pt5T_HU?znDj)Pgu+1oBFtV$V@a$(cKZCN>H;Bh&Z zzc~D`VbyX4Y{eM%`JQw!wo&Y=BH zK`K^-jOtnONyy8TyJ-_UjzGwck^G zAn6bpxrt2y%k89^STl!x0IV}qL^MzKLrU%T_dLIB-)G&XEO9OmfAXiubuLDI`aI-Xmt z(7ri8r|8rwVGfI&WHcm~Xgzu=C^AWuwBRBgTOn=-e=kWIyKl%X3Jn3&E76!^V-9oj zq_f0&#B5V6Oe&(A&CaQJAi$o5-TX|WCaO}4g}?& zui1BHe}?KO_tq2@AzVcgAfYmkIs4mXj&;ec%i`t!-UWEOj=Yz-i=wI`{oU0wz`n7z zV~thvBrJM!L50*xYsw1M0D4nJv;kaGZDR?OILz7AZX;t!%8+y`HXYmTn(FYdaeapS z%g60uE|P|-BgQ_TD^=%eTpxA32@>{ceI`<|f9vE+%qZ}u3){~VI67VzW87(Z8&rOM zLRE#Eyk3I`iD&E2)QJ8wwz(UKoHs!&2i;|DKG$pTsPSa|c^XIO1MB&qj4!;0D&GNz zWm@n0OYk7`Y<-dmi{|p^#jwHpip4eWQS7!Qu6ZMPKF0rfeL5^p)7QZT$;<1obvF7| zfBW*=@`2wN_~kqN{9`T6d(LAPa!+vex{~$W#_iNQigfaV!PwCQHb5#IR^Rj$UuWn- zCO5?Xvbk!TKf4Fc(f+RQ0GzWpc@xU~Zd<|`eSHJqJc{Ene;!V1 zFn!tjA5R%avD9$W)y_A7UX^6CnXHTReLe*jT!r11n9CsS;){}#PqrpdHeSIw`V{`H?Vk+xvfm<+< zZ1v8?1?P%Ko-DsPZNbBCJd(z7GTtzJ(aeQ}Q)rao8LKJC)a@o@vzaD(E=TZgDYn-! zqhm{$uiR4K&ew0gKF-~q=`eW|kAySl5C8tT{=WCWPyP$y!k|l&pd=^}GdVK~FHB`_ zXLM*XAT>ETIFnEa6a+RoG&z&;Br1OgRFmtnHqwNkQbeQ^71(qVy7b z5-Fhw(wowIlP=ObNK>kSC`DAHN|B&6{p zK_v&2Jxm>i#0i3hK+-@JJv}Wj2nYg+3V}c(04^>QI1T~(TMytegJH066jFcsKM*Py z7z9VqsX}lBpdJbd)V_}Zf<=K~32CsTGzbI~0fBD+4Mbt2fvOM>xC2m62&j!h!mt1? z6%^VV19x)95%TB?W%D1C`uh7&sJy1nNO>&M-GZMkoXUG)6(;Fr4>4 zLh#5s<8WwcVPQ{CPa%jKRtSHEagyg10D8i4&Ojp=7KZVFIRMXF2I@oHV1HT@0&oFM zoZ;Bt24j>X&J%)x0SO8O9125X2`=}M4loRmkR52Or3*Ab!;rthy1xMez(1D*1Pg)x z74DDsc_29Qmoo$kMY*9NNN+gO3Frt%z<>tox5LkZ{!5`uQfg>RH z1i-J-AwYE{Lm-6E;h+AnPz)T6!wO;Hi1QwW&%+R|Sqc8!*xZXJdr+sOO9})gX4J{4)@W*rbxK^eVCT&9}GbS__xjph69R&q$EY9#DOq( zAj}KuEPS58#2XF!Wdwhps|h{$`Jho~pd+CTm>=8`M)(2vU?CnbAP#dM=I8UDhJQ)` zFc|0nhvIfMAfA6i||I@cU<+I}m^PpE~}-R}1Ng0-gsu zua|I9f7k5shXg!-HiQ@W&tUo}0(D_Po_{ml3M3AK628FyXTJY(`Tx=UJj(yd^#86% z{XPQm%g*x~@c-B$Zg7P69|VEA_i=}@4NlCRSO3ptb-EL zi9l&Vu$T}??6-d&j#YbG}Rm1OENu--QN`q>EAY~OFPB)-k~SI%d* z$3Y9xRuL)s={I#`+YbQoo|QCneFObdwB2kkq5`!&9xnah48_r^$@H_Tie0QUo65U# zoKx(vo=)duuW?mz-J$2%EN}9DjsB+d;^w;b4W56*PDy9GM8|0GSNs7REqaPxITe$e zzZ~iCDLagVq_IyvVGnE8l?K;*IaB_b%~d-rM8|t_ylZ6c_`XhxmgSq?U>*Uzc)8QE z#jk$#Tx~HPj-kXYe^n*ZE~@b}Wb&^0IR@qRaw4*(c6ma^%|$GwQk`2(zmsnS0W`G71?(7mc5*o$^gDcyhP_7JgL+ zO{{tuNdq~upRRR82FEZ8wM5)3|FqB@ zzQbNd9P2<-qM!Tha66FUbuX%wNEF~v5*UAdxQ;(rCr$_I1JHGNveG-(WXwi8oFw}4 zdZ>uyKMI`vly6Bf2+$UDQvwa07>PDaH1pB-`?T}tF|;hw-KL!nf!|+xqnEg7ph)fP zCwTP}&!fu^=?(jXR^uN>w<^tTH|Iq0j#aaaf4kILA{R&@bo=R-%=K+iCl=Sz_;75l(6&zi2oUj2xjwWmY zJuC<@yxHp33esq6u7k}s2Buh9%SVj&O^!=4hYK~{9^!q}mzJR%YW!#xEBfZ~W7k{( zn`ry^^dI=aW(o+^V2GHlGWo*VRWiD%qu${|@CN_LB<aXVYH6jCORHlFGQRcG< zl6Eio0mt{6wTG4*)+TDZFI>`%`Xl{?`H!d;7a7)o>8Ui+2&qN9#Z)}HW;-V%OY?@= z-c+DN!;OXj83(bve3L@zkK)n-3x^)`x1c(Y`KBgh`0;P9U9^a`mH+S{=zlKYz;w#0WZhmED4ILm`(8gQuMl{3aRqW)XRT^uI;K{z@oY!XU5G8d-@wZ^>|lRLnC{fOl{wlRhNRM?krcTMSZ4S zvGOr;v4gbj+1jZy7bU(7JEzew!_w*+N}i%GGJ}CthL=q_f>qG=E3Xx0_PbPwZo^i& z)h&6V0C~qD2eAi53d4*s7^28;sjV%x+Z7=fX-6FmD9nFn-V!gA zH=xGTulk{;rf@AE*WoAoB-ez>C)0qQNH&s zx6FULvQ*ckR-!mJ$9y-lZ#1e$&JGMkHk~rBPU^CW_@C7F?X@p0|*n`zv%*cGQz!6*Ep&*m$Bs1NUQE_i`9bbIF z=+;8Y58ufK+{FSHWrx)eGr0=AA)@93@_WILzqIM@9xu<9(Cdl-Xo|%7n zX~wS5m#cRLaVu%5t5xMSBKWL#KjVT6iNXM~#u7MiJ)(Qs?zw&XawJhs3z613!w8!# zZ`QrEt#MlzjoKAs+~q=3sQA~{D)Wj_4^chhG<{yWs;@hgQX?B4ob>1yvAs2-0P044 z%XIAZS{6~|Nq#tl%&nQ6$ovGKiYb46Gx9VVd%5dlYfRARLm|uzMHLDAmYU^LL6WkQ z#;-e9R)R_b@omXVk1-Ww)N6C2oQ2AzRJz2%k+EN-o0J)LfD<$CxdSv>2!lUAfzm=$9sQGr)W+f_fHx~ zF?AiMT4}txW{evV@9g!N0#ULu+^o?OJOjZA;_`C6aiWqY9dLW~i|w%Bb3a#q-4Vqv z-^yNI9@LQQwt43KVU5?dGNTzzDP=zvx37q`xxVkEaV8WONst94z2m8*m^Q0V4KE+QI{SQN1Vh<*#Lu^29Im4kzP=f+sLXVHr!stv zy!z=xvpLx=I&^%?l{_zKxL+xkgNEm$wcaArds=Er8v5O-Set*q@{xB2N!5tyH*dY= zShq`T@ZxIGflPSL(}#o5Z!@4lSK~x5I+sMh8o4K?R+ z?iGb=K_S5Wt8*1Bc1c+ainpU~q@t`8brT>aDb_|fs;|`ej>^B7`Cjaq%7hB4jW92T zB%q#~*nghx5MO_+Z0tC06G?2BfA&?!%U!gqaPE~Yu9&SnV>R}z?}+((u5eKPkleCb zoML55qR@tj%^aq-P&$W)O;f%MwlaBVXu5V>rgHB?-}@)Qes1QOtAao4_2!j^@mM>o zyoI~xmIDr7gGoq2RbHSM^Z(h|ieq~;t>4JxsXH7<(_m0+dYt@~JH zG({>x+G-RK9d$KOdb-6^qC16q+c#ho`JdJVao|TEgqel=;_PKZlM<#*T#tm8d}hg4 zM-ovP!?}M~gCD={C0Y1dD5b$g8-X5feYM`(sP|KPEa?z=@{$v39I(zJexo!#y9JaK z`FTS-oaMhN4Msk*jSBvhVCYB)V=PCaF4oW6 z7^i=kBX4(IpX+v*^LnA>tR~kNR2*Jt9dC^Rn#6bdU2gfV_3-FhhR8Hi#jVSQVWerN zYdw~fRVjdX@zDDx-p!^)fv$5Tv4l60`hf_RXRiZ0LW6xGP8Ch#$Y+S{~4P@#i2ODWjm-eT>)i7Tm zQ8LKksR+fsa;)a!nL0ubtA5hFDZ)*bDu|Ax(%JB@im+eU7QG>NUv0~9H8F*PXI)iR zrq-pZd!X@f_M_I)fe4nKEw5qrNU6>#R3qWFzHwh9v{z*OxaB>DPAGJGLGqo-BO8Ae z<=pwGl`49hUGgSos*9#kwJ8hd|<_29Bv;V#0p*j^E7$iFotV-y#S%#M!`@qQCp z$q@Xp!H@m9W#@lThFAJ=cBWe&}!1{o&#CgBMfR#I;w=6uCgvUt)10~V(mV= zAFmQEc#XU^X5v?4NxHo##YcoDol9;}w5Vz_t>t_K^%Fzu{a-XQXct~u2yK7b2rQI# zCuQjEclOqqt~*tik-dAC^ETwzzsq;?S>r6_IPKMK6JbopNfAfohElivT5Df^-O(bV zj0=I^2Bky%v0oBY@2KdD=~y*PZ!RmS-TG;S9NkO0xi;^5YdU8;UeP%B&{vy^_iS6! zij;+%-cKNL)WcLkRhBnkFnNE&x*+4E;Cs^ZAMs_MXI3@d_R+pbAR}r_H{o2-(%YT) zjv`8zVh|J7WAm+Q?6{R9XD7kjOGZoE2RO8cw2Y4wONn;F}JG6!~!gXiywc-LreNk!@L@yxxW%70UTLXVJFyEupZTrg4 z>}gb&aJpeqBh{dkfpFh9V{7dO?7Xw?Z&D206s}a$YrsEj?sWlb1gf*)I3U zoh8tm@TXLc8r)tARq`8Rd}2j4?`=aZAm?Qp{o5^GS+cJuFRhl{9CdjY90Ku$^kUltg|xFw z&^JZWtEKiwkdh&v~Q`FN7r&>r6;#bH3yK`)O&3 zGtXFb51B(H#|z6f`0sTN<|s#3&qj8v$u&{%aSsKWNIsMDe-IXXD|K|Pw*!&%Qi|hR z14m6yTa&Z)QDf1IT-H1umzXpAB|Zi@UtBbc0CY3~MAv@MxvnR_jnkLZkK|;b?%ni~ivU^4{Wt{Rg_u zLJFX|X~B03lg4%`mxvxpy2DJ;3mA%J?F*^UXk1O>%xD$P#N5Cxly&rnn2>=Nr&qk! z7uuhX_AP&!m~zVoouqU$=xx7)YHtKiptkWv=0QJ(2I10ui{nQ2Tq8%5sOZLk)D?gENQuh}-F^PNsgwrsfM-wpEIh?u z3*Q`^_jOGx;ej!63Ny}VKWo>ZYMM)6@7sBi%?i@nLEUmjkC?1-b#E?R5H!l=kuT&M zKBOEi`Pwfc9`4+_veDwJB_w|Tg`MG@{Jn{XymmjIrWhLbHLUU+U)&Q*5NAxPwJ8po z34VV_uQywX3TLAb*Wj~Lcx|MvS8{o-E8z6qkki7WHFT%rMm!@eh6&`d_do0rebpw8LWj0o;evrm82yQZa^U(y&9ta9G!kEFPvDqTVpMN1UI z#Y=pV9>Tbgq34xw(%*N}RyXBPf%T;W9p9mJ*aT=p#9Gpe=WB}?nyTWCR4X5=5UGba zTQ+vkUUuhEt+lRUC}@Lkzd`3)(tG|!MR}Nz;3TSa?D5K}3R49WHEHsb-T=e^%|?Ik zh?PH+5&tz#k1kZQYGK->Q|K(ksdwPPTJ8#jBmB}ARedC8g>PeMw*sGA;k+O8ao;kK zyQqgdtn+Mn{McQnB5Gittz-IaVc7NV;llMkM539O=#EKN>7`vRU3)w;xxF!dtWFjs z9sAC>4e1|z9q#FSM@aA8QPedRW=MZ|2KQ@t{rl0HFprD+K0fPQlY*Af3)zCH{5j2Z zLMTPn$#mUEmBaq3;jClmZ#Z71oaD`m_Z#YSGDj7O#l}!OEM?s#YxINjc~lg@Vs^Yc zB9@eca!kjW-GF*|C`(c%aK5w)JB;A}4zv|QwpqT&{o!X#(^GCm`_?1dN8o==b7{5E z2{D!Q$Spq_hb}>oWV@`zOEuXp)L`$6)_g;8fzd(FdjM_2j^sGwC27P3Ma+>1T_HK)?k zdR_IR4fu4ES)~=p^n7#m6)FD(I>gY_1#3goTmJ3oO2<}V&;x6F?GJjg_mbOV{|7OP zea4f1N+=LCFgFS>Ol59obZ9alHZV1lPY4zRFfuTc@gymKbOlt@-`XxIh=fR&3?N-I zbT>$MN)E#S1H%k4G>9OLgrGDc-Q7qiEh&h!5)x99BF#6(Ip_PId)K;m&04?N@AJlf z-@Tt_voh%#@XFgEZJ{bi1d12L2b2IPYH6v70)Rk4J|IwlfR)t{hJr)?!UU|wPA`&1`2_O(400fHvD-h`}0Z;;a!R!E9 zd;oPM0_s7)s)%&;b%!}PqR`v?YYE_hZ~{Q$;-Wmi(*g1>PmazvqACHVQhy}kLsE*^YHcLy1NP9A_a4CM&Whk8KWy`Xl0UjqZQ z!7k80lkpL-0t_8t9)EBHq&><$H>0XPf-MR=eyJP~$KcK~{GfPtDOK*tq|_!F%8 zCx8d=_iO+lKG46*{muSW2!{Bb42D3EF0NpNFAU)Tu!q5+038)gK9moN2LMLc{R#xb zJ&@>se6SZ71_#@s1Acc72B^sE0l?@1|BmMYafi90Jor3d@LwbH|0;t%Wo3k&BGSbL zia>b~{OV5$<_?9RkKLF5&&@g`klqOYzlJ>wVQ2qq2s=+#ej^0T%@eAo^fv?z5&Q>p zfT94xKrvB4F#!P74FL6lIP(80Z|Lg^{p|#Q{esaG1p2!oT>-~ z4(93d-(EEo7%c>Ogaew)ydWVypwJ(G9Oj_{^MTsw!cY*$Ka}}{8~u_R9EO1EB0XTg z-WGHg5cpp{w7wwD==Z||&C5S7um@UfsNdK4%Z8%m^v^z&5fG%^FWm_UivYmx?qFX6 z^wpy+VSqmfEl@kC&u?Y}`1ue>6gmZfo;eU;k8~&ab$iE%u^)I7&#`%3il;{irjlKbQxmqzP&AL=g@1wN)o_c+dY%y%|>3VBB~zN zrrq(jx;Rsll3v_+XGI^?Vmn~CCVWiIp1tA{|McrKi>MUsbY=~yjx&Np@2a~?{euGw zq&*DpVuIDZLe};lgri86B?su0gz&127jlU&vx~g8)9?A)J|t66)@U6D^ zO2K`(SNC`F4^`WM^i}YlGGc(y3ca+!IRYecoPK+n(a%UAj;VZlu!>-9xP_q~vtWl* zWMPkO*ObZbg?Z`Ym~MxEq|en8X9dwI4%?5e4eh98>jSx{qZBTkKNb(L$~+lY9D;-m z^G3?&YH7{1=8N63jwNs57Z=yX&C+jTyaPY5&#U1*wzCW&zFmH`SfOmxOLx^{Jx=x5 z{xf6NHrKh+Px6Yh=R~ig9^15XI6wE0`^JHvo?xch_^qTNvcrFWvqa{t$K*_Lezths zm!D%Pdh9P)yYj7`-5D!sh+?m}w}$QZ%8=srq~;HW=d5AXc#*IJ6F9|QyChFvzNS=< zt~G#iQko?CepUF$*(;zpEFz${BiRvEYP%3z+gd-ueVti5E?fqchElW4s1JcyBxtSGFl+CJKT;@Qp6Y$+n!2L6W-qh+x zg>J~XL+XU|tHc``xvv)Y;vB31H>32*LPr=6#i`c?(&sQ2ndCptozz3sk}*V$FujEx z>4&(DY_u1DX)j6+5~S|C`OmEOojo}$iVNQ5PmZL&M}dd(3Yqe$vV6l6?%^L+ir}l+S?xabhY78owZL|qfTza$J2*MyZ$C`H`1ZOeD)uMN<;3hWiJnX~1y~w~P=Vly| zkIFT%Cd+f%SVgU%QJ`4ApwO*8Dgy7;)&rSw{q5l$6uu?DttzSYzF0#-J?11s?L}C zGupSNv#4mkHFT?9aZ|oyi7?N7%_ITcKo-x)xbIBePBSxD6bu=PqG@xtjMX-v%m_1r`20>k&WSv(Ef=G(2zAY15w;OI@VxP}g zzDAU@9y0Rei#mK*wvEkE3QTr?S`^*w8XD8sIZXBXQ)d>rcX?05w<$9u8Ny01`}GJ& zyjwydHCdgiq?YZmCtOgpJgL)?^!o}Sy3&J%4~Hj(#=jdAMLl z<%K=R@s{3p(mmoy?RmXbELpVpX)`oLYlkzE<$5W;;$GM4Ai? z$cPHNy+4eeuO%@$U|!y;6+sz>DU7IlKGfq8stR5->q{W;0d7j+jA`Ugg!S&QX<#78 zhOCm{UCncguB#`Hcpj%?mQ(CF7FJSBn zKLp!FP;YW#KH4lbT{?4r$yyoMN;hLAQs%A{d?TeRcysN{!zq?~kMU#w-~{1Dy|=Yu z6E2N*yu`%1+2bfyI{*f|!U@UA-SD}!Ofpd2Q<1%+%2V-S{pydhnLD4n+&u4)2go-~ zxA?X8Yp*L+lM7SOS&VI(3XXs}FV)9U@V{ zaNIucCxRU<-1%btSqc6~>4zq%BP?g4>}h?HfqjYHH%Z^X>Q2&4VWU|yili>%baolT zs=D}-jV_Rs{P@55fPH~t*=GrvQq@BN_=z%-~c zp_;Sq!vQy*124|dEcMWA4Of)Qav(>d5plw;jxn>I=SEh46YpgRxZf72-&e6qq8?-I zsEaOR7~YVO9{A>%#-1Oo)X>{t}{Llcdz!a z%Sd9g@PcH2+3_}F96J4GDB-omNfD>}TRgAV=tk>UnhVogCVUm++bT^wW+}fCbyu&j zMb!qY8Pbuej66}_?SKv)k$j6~%d%I_WayQuv&T_&oa*%N+rcUfM zDTYXOu|qy&Ml>VOvKlrWNh%06!=LjR8eUzC zXOz{?% z-orUJ{~PiEuU?!f^mIm++$VHAWktE+MZ?_+^G?j}mBd#k&FV62OUzLUAqTgq4It^$ z(Z@9R2LpqIm4eq?l#G(w949w5fR2%glDR|*TvnD&dgUycNAT8eCdxRj}|lCkq5Or1jspU?N(-Lm2JF!@^l+-4KU zVj_mU?|O4+x1DK4rT)`+nthF!Li3b={cKpzLJJ2-uE#kP{n$+SnMu`DBtTrgOeiGGxTEI2p zvtzL;LQtYCmaE&jrT2WaU&ZGa83JC~_xj)}Uowms*_&5=1J(zXG4f8xW(Dak8EVW_kgsjJEL}YaqKTqjvbG(+ zU-O$+BI*#qjL833{yueQ>BS>|thW~awXNGqyskR$rQ*h0!@@oXrhU+$zZuYDGa}4i z9T=dz#ZTDsNzym}W!_cKIF!~;MKjfx^~LeVGtIp-hf3|atTzQz7YJNx3Y@}r4eAq? zt&Xy@<0a?2PYTl!>t(feUQJt&HJ+$iQ>fVs|o4Frn1km>kqTF^k^d^jtbAQ-!h>Z0|%FaTpN1bxd2`uN^jXya` z^X7(dTw3>Al|EyXu<;*}Exb|aG`hf>#$(HA#k{q)aC|a(eS21aT(!r|NZ{~{cM}7Y z0x5jbX1A}@cqgAmaqX@Csj!#Ey7D>9_zTl{^Tt_AeT}5sOOnL3y7gi9S(Q4_zU zqm*5z$2DDhMh<3fZJ}$s8}V@l@92~37xzs@$ffK*ZNPNehIeHOOf}*(_XL=GWyGr< zL}f8ZeBQ5+{2FwBD-B?i;7p(_Or%o%4wIf*!3my08lV(BeJ)k%S>K^CN4H0_!z_J? zDJI6vCrEYmrqybOly6(;!%r%kOq%rwm(MC_6md^`zVf#OLPiEBm_@X!s zw)Tlnh-D;vuYa_WO`6sv;r5te?az50+>QNbs!jb))pS^tm2PPeRHs-_6Yuk#?y?%n^kh8QJ<=T?X2wM^ zzmuBIeyQGn;`?%=kIzagmEg=~zUp{VF8&KQ%r?J{*6mGY+On>9kU*iGnl9T z2X6XM|u)@?_V*H6Mh4KPJM4u`T|;6(U9oHdKJa#XocIwE%i(-3wqqc*o2RO)AUE zo;Ha2$7gVT4(pCKC92ITBu{yift-rD+d;mevmk%C#F7> zAntg74Y0}Iyyb*xEci92(ahz5#gnBaTGM8sNe8n?zEtKIDnY<7BJX^oJt#!A+gPGK zLb*@f>I~6wJAK9+9U?|o#Kx&Mx0NWDSpNE10f7sLbg{XRkXuub+oSuQgKI!tYyRi6 zMccA-%$`XtyJ3y(`I2(a>H$@wpJvvxqm!e5m~BNkwBv39?Tp!ACv?lStX!AuW#mWb9pjTYYjV|iKOzZ zUKY|tk&E$EmJ6`RB~tpliUE8IN&^g zmM4XPgje`n3a`pP)X)9x%MEMlP!6^MN6aVQBOqLYX5l5?s0``m z6qtS3gS**GWPt!FJq$Fc$t39$(%J_SR*M(v35e16d-tAsvFAZ z^rU|MC&>T%rP?b1=}DX`3w;s^LXB( z#nq;3CUCoSB`d9R;K}HT?~22Wp-kEF>4Q`AisXByN&ZTpO%%nxtVX5R6`*Fw|2lWN zb;9XOX4>^8MFjJEAy$9IZGWsIhu%_M>K53P&_GoSK)Emm#PXfrPj0eQT*EW(p2KkQ6}q0 z_>-6K-?$Am&t8x3Aad>|5zuXQGqj=w(!Cuhmr%Ec3Zr%Y0KqUF?X8vHhBOK_rMu6p2P8=*|o8f0U*?NMyr&`35i zm;HerzgD|y@ly)aX@yVe+t5AFBBDD2I(ng_V4Cb>Cx}6+9ZPZj8PeQxm-*fPc3@&d zaQAauiS4jGu3bv<245i2c4y%C)a~6{*Ck4pJm}1}uS+Rb$`ZSOS}vvrqV)Y37)ETB z^ki#KiZZZwL>e4dPrK}&CPbaJ)5^K@)_FqBtGkJ#KtX(_RSs*Ba{I40z7;#`sZMB< z8Mp1|op(M18xGovVXkR4SEvWNGPnly-+i;q%}rlG1=}=O?KE&YmlK~#v-s>lek3}d zq8@p^Co@HrE<=ZZ75<3mVhF61kh(Wh(=Zt)=Qo3s;WjDoVdkvnS#sxOinzb=Pv>_6 zHoPZ;b*}v=lYuX0V4st$WLJ2@;@AUS_B&11S@z5f1fvr__7z)hjaN{zh9%WXU)Eob z(L@(?#oq1;T}qx)zi~4tYM4}t8g#3Tjn#hZ(-I&Ut6h_SLPSgG=4_OnbXr37x#;AJ z(JQj4hwcTPSvWBmb%Pxft!)#-R$pVkr`8bH=xV_*u*tZnl066YL!CdXSu%r`m?~$F z__-c6K}C(km8&{UAl~^;W`)R>l`@;QS3IU5Z_;#91;al`4;hvEBwNkkq_YHgXy>>~BUZz%UVawtt9JWS!Lx58``ET$V{rtaXaJl4K;~+(jNxrD1qbdOX^&Zij4P#an0ke3g+EOX%em} z`D!S=zv)}Ig>xXU(n>klsD~;cwM}$Y@Lw0g>?59kZA_gq$J;h{JH@1Ai_sj^ArfQI zr1PKEvsBG9StmI+;j1!qLvX0A>QD%N2p!y$imOPaWU7c&xO+$>VG%W)d5SQ)YHozG zHwXE8ched!>B3zEe{?T<)DyWT3A{*SIrbCc?bJzijoj-r3W)NC(mF(t8U{ z>a->x%g^)Zd@s{}os=i?s-1@TSk5t{_4^w_d7A$Lj6jzUlYeF>5-~J0I0`RJWo~D5 zXfhx;G&C}kPzV$RIW#ghlkp@ge^i^@(k@acQrtbbOVHx(?!^fZtRYx%DOxC6w76@q z0;Nz26qn+~o#MrdLy@2M`_B3PbM9U1-j%i9?0H7^%${d<@-otD>2gZjI9q`goS`sI zAQz7aKvrD`$OGWv;p5`r;l*HN)N_DAz<Z)$5 z#$0O_ACQ6qCjrRd|E+IY6)hQd8J~j!1h) zPj`2_fZUDFteqP&pc)5=9wMDr0OAVX?Gbbn$PXQM9*8sGw=xUw64J8N%bUhaFkE0v`0c-MNeNEti zD#WjX`{TiUb@8}cvqPY#bEkEI9Jxnq^$qdlHu5Zst*%c%!G?4gf6dCz4#3%bdtC8t z0bE~5m)Bt~UfT>Vfm#~Ab%SHVVA}YW2Ub9;XqCL7``zFbq5*~cg9e*@M`I^loE{)D9(WxPpm$$CU*4uK67<;S6vLB`o3( z_2!uIhx%wP0LB0KcHaQ(%bW)8RD3lMnC3TrD_Pus?BgEz>pz%>pY}hPC;oq69*WYP zzratq=FizL0_*q$@WEr-0I?;nK^#c_%@+sw{4X0T=r3#Yg#k7MLfP*s)sR435CL2Z zAn5B819$5$PWJ$t7CeLXXWzdE^x9wVNdkC<`qZYbp<8RP{`Y^Gzl*%Fsn1hmRYTti zi2#+ov5EIN+T()NS++j$XmtTZASY*#cLN@_cSU5NH(-481@NoyuwfuOx^m{L1+Y5} zJ)r*o-n@tI;vpeGTlu^5_)z0R5PPkk0CCWVKkd3dw0uh8o5%O9{zCn&^#Fyv-8221 zAGlxf&{aIUIH`a5@VuqJ^zU;qK;Yg%HH;^vIW?j~IG2N3wL8+v9*%ag;qnZ2Sfve4 zA2S^-URwtIvW7Ji(3*~2@p71F!@4?Y=A3DnWgU;3pHKUiBF>2~r}{r_Xi!{-fUG=5 zv$1e*@u-*LOYib|O3vrv)~{QgZ@55xB7o3W;b8jd#XXL8mH*ykmG(kcFGMfHlb4sW zca@mJ-$%5c7-lv8QI>X>M8;hz@5p5MzoU{NqoIJS7-mmD#(+HT4}qe@{#c}X{3-P- z^X^G(ci!VJm5Q;;9l22fGa0E6fKMzx%j^+(Q&Oc6)1kUr_do8-Z^`O(GW4j!Z6b2I zHF$fom>@Zp=7y?OXNy|6_Jp)QkjABFr2ix;Y3)gx9g3DnD&K98WPz%Vy`f4sESpj^ ztvVRa>Ro-rIqAP@et;PwOilXGmzVcnFM}=@``7elr`B#W>%g)4YTZFG0I5{Kq5C2qR#j8sU=)IX0AQS{*A*ku^;NqhvtUpd@oAsDY%q8D?B=zCURnuxg z*rmgUIOEr;AvsT^e9o7X0&1bAf3A!vPSn+|HnJ=5!kOUi9lO!!j<{IL7k|Ih@)fe& zjQKO2J<15%^~qSewciHK%&!Xzg+{Z_!kPx29aGecrvgSwH%(;Hd>rEM0t7A$X`@^r!lRqm<+w_TC*tdF)HIc^R< zIRgkvrdpG`+n|Vl!zIN-Nf;Jpt07FYYr~s{MYcD^SZOc4B?0MW)ic>wV0Blo2)qde zfQ`v9VG72^I#3EKfcdPJ8nqd@PrBTsqt4?@YG*-&J#w8JdyO_34?0X8BD*cSkcmb@ zQuOk!DE?;WUzv&TlbZB8xa+F?@o=I|hjPPgx!Hmo%rS*SQGyEAiHUx0ZF;{EDQsix zA0p5hF9>=pI73~V$c*|vI=<&J_yDv#A3j@*G6`Bd=ADagKsrk+v>Y7zq>g(|^(15< zG;D1D@-cbvhgv;a5Z^z8YU^rWdn+x=NTPF=%&sr$*1_l;^qfEer|vcRZ3*z-%rFCU z+lGYe1o!mx!_)x$k;aMup5q^ja|EM200*wGMR)Fu7G6ES-YkrE#RpRG>ipf0Z|Q%M zm6D?hg$q1JKPiKN&65En~YSMg`oHjy6f z)rBJ-YL&m_7gTE(9b!Bw!uPp;fz-tlOQq_%KqPHCfVBWvE7yf?9(%D$ov6y< zE|6+m9Fj#!;q7&Kitm6+Rf6e~OjUbzL5;o@B5)sxVa6j0^&P-|ZDP2QoyO ztd`{4S)d3ABKpq>MF|z~GYt1k8>HGRZ(=%?un8s39vl#r>JM&7A9UU%rKh4Y(2b@( zX4C^0fb-!>3;^N}lTs_ux^8)6t$TX?Pso#N4-7pd4KLw{r}E=xjOMrC2ts_ z*j<0k+~4!MYNQWu=(?DC14>wXJ-+QWo4u!$tiC9CWsxA>y2J2_(K&T0fLBa z%eDeu)4eNx$5ia=hbd6vuZkvC3I2DU_uh!=bSuk4KdI=ZjhTtw}$IoF9u$kBqr()^-Kd3V?KBGrl|+e=qeOXaxPVq}~-Ep*Tg zV4TtL+RV*wNgA>F(oK!MI9X0QmqjmROE6POT{PN53Qo?4O5i_rB7t73V_mKcYB|+VK#|tX(cs^eeVEO0up`!^2)o+mmaP(MEDzD!*s;HiaseHxQ ztIZ_nR_SB$f*Ygg5fT}T5TLIzV61N;jIY+IM2;@ zTf^R|$BLwVdOj$$slQ0F%Sz%6^Y4a^Xfz6cjW5s*Y@{vO(-zxEg1(QZs5J}Z9`>4i z42huKI)_1d$58t(+uX(UYJ6pSxW4dFr{%8|`bpmrKJ8K2@*UuUfGn(krS6YI+0cAh z$4j|qjw7=o>!cPat9Qz&bk2{pzon!tm?2|>>IJSUxf@Sw zdR0g07TB))%aqE%W&3t@gWg&KNN&Ua0RJ7dt_2^FEfF5^7jb_~g8;i>bIee%*$swo zE>jKJ6eU_pw&LtHF>~}7b6}q?KltNOUKXmO-P~Ci&k)p@ImD}+_*9Jx7;&c%nTKE$ z0^`*aY}yx*`RnT}Z{04zET@(ERCRh;tUk3%04B2ur!JPojGulgh6sB)#wMJx0pk&< z3jAs!g1H5M2JgJfGhgF0&TYz=`|A2BMg3R)_<_*q%^@fK$P=KY9SB^)Te-JBr&BE6 zA@c^~YVKLnow!~DT>nrA5Qbymtl%x#QrJc|L(t`-b=?ySq3DW_vP?*0$Lw9mBno{` z^!ItbJCH+0;xnxsIVe*Z37xtf;}6s*FUb?cf*M5#NR67~ZI|Qyhp={fW+z7~6340c z4)23uKJ4(L)0B7`vo)7=f)~iXEgxzRsd9(Mo4w`P_NTtfT`JrbaL0DXX`eoZJy*(H z^a@AftA26dxfqZl`^-i7ZPZ#8JtZsl1_y%FJR#94h32sY7qls{pr6Vsj^SN_#E4n* zfyZbs)LifD&IE;A?JyJ=$%$R$h@~1x(fQHy@1(c!aShnW=Y2)_+PBSf$Qmi;=-}J$HR7@NNDPZoWpmzK^F$?7dS9mdOYiL% zQGc2?R8ntZQ75o&C{))5`prxlutl26cZYGU^)wz}qI{h! z2MxydRv3hLKlcyU8LmGhMzo;Q)MCL}SFFb?#!R)~4U5Gs=jq%RrR`vP)34|eFA#)S z-9bS5n&!Ca;A~2>2(l)NIT{H}#P>b$d+9U%5Nc)qg%YO(J4axGUNxP0fd@=#1a4OzYn>S6rr6*fk>?};1PdQFy^*)?# zK~tfG;kxM=WQ>WS3WufQR|ySA4KsE^&s>wrUCR*Ou^> zYb|a?9W|p3_9bcF&l0K*YA3gd5OzZuoYPZAu5kDlVAA?DcW|7hzdaY1!wgkZ{DtgO z%D7-*YHC^dEm6JD4y%s|*y1nTIUo!$s@3WU-t4e0S!ZyF&C*+rmN8?hi0JU~4BQO{ zA@n%;rDS*JvNa{7Tw^r<;;sX z^9q0jP!;>iv8f&fCv+kTTAi|rf1-k1OIaubZ%a&yuhHC@d(bI)t*{Pjnth0yB6G=F zwUX1$JgKIniBfYKvOnPYM4m zH$)~|v7QS{Lf!Vx3>39+!3drKg~}kZ&-SU*#KjsfG-qEhFP`F#o=`7HtmOM;r2!j!a4rl0j_Je%@Z|SQ zTptw@=2Hb*ctFHHm|tt9>w=3?mZ;TW0W!pqRK&7aHfXZONtI2v8t78%EH}!2QYh(|*^6z&kcy+AyFusk-goxr{(omqJbT!dU@y0r)q!I>Z z?jdaO=;49`vO~Hjb`R({ZwE%SUm&KI*&(=V+!RS(fYn)+jXVYi(i(N~(sFsb2gS6FuHQub@OdAokq zE}jv>n+OjeTvL-gRM>+@l|I0xG8oGf@(u$@^Y}q0k}5YEGc++1-CwO*Qr#YhY=7Q^ z)lS!Z`;Pvoyk|BO-y@;V$8wt8Re$H6NSjPujSfw_rd4H`tIqKPe9$nrNa{ZFuIaMBFs+tk#Ank|OuC&D`IHp;e=vYsp4G7W z9-)xe_%*aqtsjU0$`d_Ar#T1E-6W6e`HDzd-q`-Ru{_qu76bGmEpsk;9H~eg3_Qe=jpLd155ku_qQ99G2W^h zhpomks=e?>6 ze7^SeYb>}r@gmV3HK)dHGzvc5Q^Z{EXkKt#AiUIKhSX!3x9MY}vSHG^xc4vZlBKH7lt2qzt0~ih_Zq0*H)W51 zQe<8>ft%n4WDd5_H_x9&FiBqsM-kWhYfSH5AEMi51&ZcQ-+<1eZ|(a}U04IC9GZh9qymvHH9A2om2^ z(HpR5p2smwt|o6t$Ce*tEQ7psF%XlX*I~LK2`qH4yfJd`k@&O=&EH@Cqan(+*%f_v z=nn~%C7}He!kETord9*{i)p~_?Ium9d#8HNOPlOA5h6?O8~S}|mKy7!P4vypv|+~_ zO9f+q*_4Z-wzt^4jq44#Ahv@YFCT?*YBhI* zCf};)SZQNEb?`Qyy@+m*SVxf4QMXa zrOU)~^xe)peY{##kM|xvCGS@1vr-0^b@qiczMx(=tz1?Da(20t;gyST5K)L??@^!$#Ka1W`{fnlk^ z9^oCg$8*1coayARuJa>Iw*S47W?Q*mqF#^R`46s)_9Az2^Wd;a4Ul3oMP~%sN)*&b z0%%XSm`%tO_LA*Gm-OQVi3ydHiOd4P<;m?=7uP@A(j782ajbYR$Zc+01IxLUO}{Ut zoZVL$2X2=#<|ZC;YXSP!AfN%NH1RH3`@p*QWXKRLC2PRRfjpya{Zqc27P;D5yaN}` zOfde++64HNO(*I4ixEsw2Oh4J$?Q+q1I3aS+%^0$O3B226Jw^EByR#pg=PqVIMFr+ zV!Eu8o-5VEYJ^IYf3prtt_ZyCVbf13-nuzXe=oCUP1uNaO%(IA7(UDkY|GI=49l8j z0wrdGD0fB22+MHvBHtg|hnt)}_Fbzt!^kH)1b1r}+ZVk)np_dGdHm@n98Pp~?mo`U zFX7)jI#MY`ND+Swb$PU>OU4LluG+BucP?Zu`0E$uJ+!RFy|;__Z-z^*R4?%cMVwx9-%`ns%DFG9>u>x zgDkqi?|MB%Gi&AOK6>y)k`i7JSxtf3C#QZ~$BP!w4A!>}ijnu$`56WX14VVKlJ%V@ z4W~kbY7CL*Y)N*Ldc+-($GP zD}o=~zzI0)$ynU9dsP%!xjtNZH4&!D&B3W;`45hf;}41}!=~=`&J0R)%`C%z8Z@@k zlF zLwPOAVQ5@!VEr-ZmnW-m)e6hgi=Q2wh2XT>D(Q%KjT#QtWJv68MM`XwO(|(Qh=V{F zIB`FkA<2 z`F=w#keybnJ0b#%rOH!cL!%%$QWihOfS8A!yd2<#cmE4md?*1c|NKjzl;+|-V1(2! zHl~E@|7NS9Edhrr(yAZO7l%)PxLrK9ji%j6-rk37ng0G(+F9bLWA{OBvFHbCA(6~& zxTAy*FSQ)#KfRSx41flfg{k@R$}#``aD^rCN%!A$_1OUUn7oB$^ZKduag(b~V%Giq zvo?yTvZqQnqCHrF9`M8AiEXFfWr}g@%@e!L+@hSSsJ_A;QA!e-5FyBE@$iv0^jPC5 z-w{YYKyqcDr)D>C`ZAIf$tzE6#nx4i7qmsE2Dl4FwKWp@?hB-G|0ma>vB!`IhJ5V* zp1&nZ$g%}onYFUnO12!+O5PysT)DHt2r;)iG^goUt=&b?=#tyRpsWHU40IIK`Hx!{-^jg+iW&Ar0@>U? zxjW67G0ZEUw=`8!F1^oEjx(w4DUrqij{K+OB1yzcr(X{wt5!!kiGfiuiYD0&5m0JL zWb2apHuqq`FQ#~D+vi$CQdF@45`T9-6LScs_Cn6+bq!spqSDhS5PBL4gt`bR(?~;1Aa*9{m)(;Pd1mjaw|$M2 zuGbD#l12?;`vNb&(%T(329)RJ3;fmNen-RZIYdKaMy0z@^~vEs+z|h5=KY<*1u%1a zxv_=&&f;3id9!^fGf$dGW7Df83C<4>ol*htM86X6k4Blzm`Kg2I!-FdwU>)yd)M!S zGT-73OIThhQJ5)AFagL;+%PRUZdw3YDRIi03NT3UKisCLoUKtcz- z72O_VC*^Q=*&;1HTVaT5@o%J$-d0i`sh|0MVfY#{fEjEY!_qL@6F2tF%U?6~Gj{+w z5s|8d7$vE9CK_$5ht3PK{je z8Fv-j3!J;Mi2vO|#0PccLfTia(EcM0sxiw~LO+>vBX!)oJamj7`9eNz<8EJvP%$F) zmXG?Yv+t8DT#WYG<&%?Vys z1^Oq^lr`==8Bsh0{h`iX1hy8t-^$_;)D)SexsxyWU$z8c* z)6H|go*taDxLmcmb9Q}F#PjvFq1UhRUw0Z9Kif{H1o^Nc&+q*wh8jEVulDY^m)Hl{ zpyVVJ;$QtPpUuMDd9pB}a{~pVVRp_P;?7c%Lo9N|Z{v~doit~vI0v$NQNP@Vd4WD_ z>(lZ&rpM}Lf0}~kzXP$kZ@g%hPZXwF5M)9LHIahV4d zXpU)+?FQz3Xb+<2mUj1eF$EILXQ-%AY!&KI|K@C?ameBt$RB*9>kDEhD2N1NnQC#M z!fMsJ3X@_`Fog{+Ixaq{yVY$=g=l_T6$)fY7n4YD(!j69bWLM`RnbCgJiMjp?F3#n zj!!`o3HR>iNJ62CljXT|(btMwe15GCQ9yHU+D!6q%tfxsrkrq`X6-um_?hcxKoDh? z;Gq@c5y;8Z$M%7ivfXk?xh?_(wFpuzH0>Cb3_NDxLWs839dA?5UL2ptLg|xl6AVU642HY zqIvmJX!g^md(IUx;x}O(SV*;l1#?zBhhaT^0Dl6Y{H@pXeUTk8*WM9}qGviBYDk}_YpH-5;fglhqQN@A_U1ZY1g`9eqcO z!`UuAGP(k&(|t82?ZTGss3`u>|k=prF3t}$@rvG-HvoY z7r01f+U+B{>~`5km3U! z?22v(-B*&uvs+2!W)wrS=mHGe!eO2OQKqCR8vZQV&^X^2Z>hr1RWCo#eoz-7Z3A`y zfT{VaF#}sIg`(pFriRrBflsyE%~!*VnC6}O(904^@)^VUcG^2j@2LyPJ+2~v(h)?k z?WcV?4HHj`WLURHC8)A#`z2Gd2b%MBL*1S!orO_qw|C$JlWwE9TFP$SBDfF0*YZNM ziPp3l2%6Cs>Yi*^TN93(T#B*luI#WblpAX-hKLx``jM}vKh(3@K}T+=WLFD@P~1Sp4RXK2@6!lF;BLxW z(^$i04nNm!NGnoM77GbG>T#%0J9|!B8+Sm3S7W%kftQv_^2M)$CguojYG>l?;$&)Q z`@hNF$O@W?lYoKXe*+KC|IJe|5->8ev;E)Q|8bME{l9K<=Ks0LDFGf}Dk|3-Y=4v% zNw57~X8oI8+|wlF`uiDzrsoNA7D-7VrGorjs3{3(B`72)wjs;?ch4@pXFcbB>z;kB zS2vpSK6`JxaxXWSt(_aNGa)Gj6=D@!QIUy3k-;Z{RGwt21q6T)Dac?!BNH7QGX@zU z&vxCA>72_UuwsQKzW@+IBOn+40~;#13>yDalh41100|fY#RtPmD1k$QhW`mz1b`^w zF#)MU&~t$1lf%x75f)e=)BR2Es)N{?zznK+e5LhApN0UEl$M76frp^z5aiu6fFKc= z13rXx9a013CIBL%V8DsI{}zYd>6*oe?urf%Z)(f-|m5bGiNeDq4zIi#{Nth1_l~-0%Dj0Ag9K^eKgVD@@75m0oG+xK@ z&sI%XNJYWUPJskm_MwVjwH*RAdfQz;fj{grQpA(^`&VyZPXh944Fgf$9f_IbD}Y=@ z`WXS-n&`c41}YLb9HfMlWLOaB3>>%DCo3k(-L zl>d(&8PFVrj_QAZ7YzRKTXvX7jf@Bh6cEG+Bwmh!Bl&Q9rNNB)vWDgTgXe(n&x$C` zj|lX3`B=w|O*2IBUpDS__ik65rqHUmwz!P!&in|#nUbQ&2LvEgwDgZ}21Nw=6F>r# zn0Vmd4*;Any7>Q|AMzWu#514@eAKx$d_K8P=>a(UKg9`r`~fG6;)WS8V0S-RXRiSV z0t_#IKKPfu-N%39j{6$F>O_8TW0!f6!gu|4`hb4pb_d{M@4kcjnbuH(R0Hs!tH6!` z|M4M!q&fn0fOqG2n>x&)zv_Q_a;PZ_!g*Xnz+O(@l|wVv76de7uyOw^py7nRYn{G_ za8II~5E}0HIe0(}INoc?&biWCfizcHi%Jc~>)yLEHEt zppmyY((tWe-$wIjSO$pscjvu)?t86+FbXsC9RsJOSM?aAAaKBbtS%?t1`#!BDgEd$ zUA6MtgjfyQ+uFxES0ySV3Ub1(;Tc^YkgM-jxOOXP53&U`QkHy$Ii2oN(miXtC9Zar zJ(W&a^_dK{jJKMRTdHMdoYo$<2W38a?HIl5qh5p37|Q48leD?}s&Q4WP*$c@NR=3x zuqvO$YtLcopFqc{-USsiR72xesg#;KJfLxeHqjGqPT%og#J|3e)>B}*X+TmRKzbB9 zFw_>4>q>Et+0lJ7LX6hcg0o~#WCA-w$v7Lx8poN^QAx;ACY|&2z&Z+zdk{rnB~G5yxd=AK8YL($@XfPKJqoP?E(ac zf*wQ)p&YmE4W`b_p$dEklLn{K#o0QzY*411h0_oUG0)YD4B}8zS*NaA**#z zc3VFEzCyy#!gZ^t>*f>T8KEpV`tJD_YMX=A_=;L$KE{bWGeQ9^Q?ZkEQF~}|fucPj zLIEbPn7Gt_lhV+eUYG3gsY2JRNvBJN@#bLowU=4BAV*|+eF0Z=W4~q#NW$TT7ZHiD zaed&v<=jj=d$cgVAsN7KOQK^-t|1eKCoxBROsSg=yt0tO-@Dx2&|qnxvdUq-?U>nyY2d=0OVIg=a=qf#Kfa%*DS)E zq`r)i$FLzNk$zH%%APRnAX0G!p^iF+vL;p&qPm=%!?e|K;yxUeU+)ZEyJAN{Oji~Fyl6oe)ZA00Vu`aV zplguJcG0x3Dsj*BB5OAyTDQurD1|LcKa>3JK4h2{;qC5STD+OSn+wKg<@>bHc8yqP z)ug$pc4n+3vj=(K2Xb07Bic)Tl79T+>HgL>FrR^CdF37&I<9Es3!nzd9B+Xu=rqsI zNTbdkfMtn=K=qFTFr1!S-R)PvatTp2`oI1QNqeid3XZ1e+e~f~tx@a_NDsPB!hw^c z{A;lr?#cFgH_q9wVq8hVHJcP-tGc{4Jn=6hy1jOS{oO>)tiU#tcm4)Z>+@rUc0v5C z){E?yzU4`M7^pKL^Wlq-TxeFHx~|nqs4>oC*T?B2Qnthe6v8o!ukh;KS_)2FdiB(ehtFJ&)1CRpV>H@LbZLSC2X3im8YWcF+oHm`px5R@FoJp$ zOM&0n&p5MYq+ZbEuA9(P6*phZ`-yr-xAv2?7=iNvRamGMk#o<=!?p;+i^ekiYmx(6 z#K1DWVk3%%wBSDb&n77X6BYDHI!8#u`&h+uePtMcPu?OS&SERad)`G5ej-MMxoBx-3--+62kFKY8^16l=~|6n8DS z6T5pI6{`6(5M>EIVjw=8qE#H4y`STVZ`z1Fo#YeHoL6p+!ReLv(%IGMvagDE`L*{f z*-blOZcLm_MJfDgxP{CG#@*x1I-xk_uXeAE+tOUm0KCaq`&5dz^P%h16Co}c4p?IZ z_BncPD+d`PiPV9(Ci0|{3QUOJcnHmsYGGyd@J54MYG$bVfps4B z%;}mK#9$}RWTUMd8)_+-q@#Nr4kK9jvW&S@#8Dpjg5I_pDd=dH{bg~I3{a~_XxEk4 zjrnk0Qu>@056SF?{uJ8E_SC<#3;oAT(B0zP|m zfyJosJQsz0y8;$EXOU%(?mpe`{k$vMDQd~Yb`*c+ek=u-_UeTbHD&6PxF6_wwSIn$h zR~X)4>Cvw4$0g&|!X}+$0iBYlDcrU@w(NGrNLdkoZ49f68M$>_v7)&e7u9_LSg*Xr zA0?F29y`Tb7#dh{QroGXhk$hS1#9aMw-D-XYJgSO zO-zH#t4uFDJ~bSTxGJ*fT92k#wym0$w6*7UfS}82td$;`#$kHsTfX=+v?ejE@!Msd zP=RU0Nd18vj{Vv@1$e8oEMgvsq9su_v0t}2e=^EAm-k;K{RQJ%pxZ(~Y3x0>UfRVi z%o$Z;*q6&a>r5=dxg~=;_S=I;#=YQ#HhBu+=+WWP_quw``daaKZJRG!jG87a^7#ml zjqJ@-bhloh(ebV?4er`4BU{aLInc3^ZEKaY)ZwAhJe3TM1cMXZ9%N;Pr>De5QA&`) z$~Jpv7&)5Lss%-`NKP{V-}P<_x9viM$RGOJUu1UT@PSnL;B95tou_CTzM5T*FwS&*E05E_5+~tV1e6DeJ3xnJ<)$ zaB%P$s*a<+;Z(f{PwGShx=)zC2DB`Un`5LrAwkZU&{||zp3%JDI+OK#c1685Y|$~y)wK^vF}1EpRgz+5!3`JOV52yfH2Nw)4{Hc}8%`YuW-jybKq?1N+pKH)?>`7Vqnxk%mb7p3#h1_x z{Cjr!&Oo1877oA(a~Qg93={-fbM%f!)~brvOJlF$Tfkt4AvGc!Sx*+`TlIj`2Hx|u?Rkso-|V@rOl$~ z&GI@$6^tPZ(f89bohHOi7dnK3Y(y^WkbbvC(SS(wr0b95K&6I7-;xaic25)g%;o31 zG|4j9s44jAU{$A!2Pdn8w(Hiun@=0Fh42NiPuVbwY~*a$qO=W{`~F;F$v61Lihch) zJj-}GZS^iDsME1MFOM5DN_$@a;Sb?l**4((ehjz9jg??p_4tKg$F1==<~%8WW5;ua zk8Mx=h|DQcGn#Yc0}6~YW>N2&KvwNh*P6A>g-CK^AYZT*&i$w=nTPxP%<}-BVXOm~ zEkr&kX4cnpHyb?4{pfJ&>~z}LTCXh~;s+Yagy~gRZmrnUHle_S!~aF}cKZ1DjW$^R zVOhD5R*m5^cC5sO^m=FwHzuzsqm1uTDKD|VsVhsZSmHw1W*NPM^h4vaBzbrGlGMY! zog$8S;MQyfm*&GQrr($Ic@-a)_wxV zojeO7yuy!SA=XTp_HzA2F;!>b_%jnJxx2E*sjb+Nw{S5Vra$5?<&a|SPMuX5U+0$D zcI+*uI0VPrqm~%j>Cg!At+y4kB5Y12oj3C2h~;`)aM>*j$NQahzHnV*%z7H?83!7i ztCI3Jo!3jJ>SyI@E51n9oP`OXlwat(ScyUNoz#+7s{LEYB3DeQ{CjZTm_k-XOwnRkBJ14Wx6W7 z>%0qAcBO;ZnGEceSZFt5jJ7#6O6S7KwqP6Ndr}d!%()BoPg))fKpd|8uq-x7M& zS{S4n4li^5jYe)bd^zl1#JMcqQ6=2rvxj~=C@3aAdg@U3Gj64gmO%GS9 zwSev#@|O#zh^K{gBo|cCZUx_y*4{M-^qfZH?es#HHj=ViKAL`syYZdOcz{A$`q-74 zGLY%9^EmSA+2L55a+nc7n#vL}7&@iZ2>pIlI#&cd$eua>#O+aL#%4`FsB}a|V_ava zQyRY37YX+QxjHodIjJiCP#4Nkx#!B)OnTY>#7OPAj7H#rHTN00L?2tX&Ci)NgKx3` zH?R#)%^-7}I&47UAkWMCW#XEBGmS4l+%&=F`QT`?I^p+gkeCZtxL#rOaky7KHp~%9 zbJNI@h~x?j&TxQJ@XG;u71;}lT~OhOPcXKqG!nAoK0@s2XvaPYT5Q$y)1UoW{S+G9 zD{|N?>Nc2uafs(w5iEG0bkNKZAXQaVHeIQLQJeV3#q4775|z>DxBEON+*1);`tC?| zfR2SHM{Ne$lY9WM=R_&O8*_wMCSh|KLFSeDEm!PiqfUACh^o%d6qvhwM6R2Xm67~+ zf$V?fP>tx>o@LBzwPYUrxf)0~Xuy_1xe=qoaib};0^HExdOCA2ll-Hbwy7Up>mjt} zy(y^5(sWd30%EU-BeJyycPt~h*-4y~#-u?Y zQ6nu7;G)pYk%>*{YqV}e!5{0wMYyV@pQd;=T0BFBl%9?m9r!t+E26qp9mS`LAu$=& zuI1xSOGN{??8j}bK7sP?7}Ju;lNMa_U8_Di_WlN=)I}XO1^&*}iDr_@Ww~TyUNRg7 z4IN{`6(Xn2C)4!K?-LV928&2~xNYK$bhh>+LLTub`i*C*yY~H~ixfN&b)WFpjwC>J z^n8WZKAC%F!VJwjRjY0vMbZ@vbx5NwiZJA9Qt>Z9eAc>5<@g`DW09|Os5caO<7BH? z1h{F1(QfBkihcM>h$qqJ9YqCnl%Zo<~&kxz>WJ{ARutU1Y|_LF8E zJXUrY!>5;lgLPx+J{I?2mLtWCqAAo~5W*``{^cIw%7#A8CVAF$6PF08b>XUwyP zoh=KX$ZbG1BjCW9uE(Tiengf@#&M_`T~Oob$+r{@X>27TmzdYtwUaRaZB7wby=JZu zZSkQ#y1$VO==jak{xAZAtg_+2+&Vzo)5K98NL=zeEvcs%Gw~}x(7KayTjSJc3zXWb zldD%VxxJWrdr|emww6F>Ci#;iFomxOnEVW2)jVgHV78;{id(tTQoepk+%-$eu5}|B z%`CFl4n-%&kp-!_RU}6;hP`68XIaUKok*?wxmWZ1E|~*Ts6!U|xFz5-;Xu39HD<>n z28S_K+eCrJ%r|ZL>3NW~6hv)lKr2&|r@opad}9R(?nj?}SQ)UBqlUQyuNgzi_T~m? zx0UA=Q8~y>Jm2kBsU&q&CKWza0+S!^I*GuhH5>^eOmferkM^sVEkDae#Up25`ZV!E z0bJ0S#VFY8O?S-7zQhyz$kM9%kuc>euHxkt#w}k$ti9K~TPa`a-oXaU_)(y;rwSi7 zU?xd_DS-*L+g|~XPMK?sq8KI1+Wv<&_w6og^20VA37+knC^xQP1~dCjZI2d5&%g>$9XO z^dk!%LCXrxyemo>Bi(gL>9Yf{u|e66WV;~dx>s|Rc3Ua5uRIs5k0Y_8(0}7?_|++E!D-|Eg|NE zplOlHd=18SN`tEKhPb{LiB1!<<;h`Bm7Htw{I5%CB{z@2x5pRYgz-A~u`$x+br@9^ zydz6sacAX|r(^0z&dXlVJL_?~X*T%<^k*UYH3j&iB=qBK;ygKB=iOXAB3LxR4qcjO zWokRY{+p$~Zb7i+QUE#+{&~FNM};m08#2Mb%%5@YWlJ8oDvVw&>x=&{MMc_s+LiCd zU;WG1S#ReYcG4+8TF;kXXP_;f?H;oph=d2lPl|4Q&1%f1?zD(m;fddF`_Z^FMs{n@ zBvoxUq%*paou$nU1!N_ejIQT;@N&Cvvqy&TP3yOfuZgLVVz+C71c#CF$#7sm`wX}2 zG^DEJnU=fx3PKBC@2)v05t&{VL!ES=kh%$m6wAZ%OmeoI)n6-q6OxX!q{nGtZQ5x` zSp3kf0&-KdCK)>O%GDm4ROAwu+6`coVE~WGT*{JpQY8L`4Pl3kuh)K_d%HdlFE9OE z1>_UV4?b*&OL9_!7YZrk{||;^XZrt8I7TK8*8fpB5XS%3yZ<1Zt&%rKvL`m(Im@h# zHKi}V4jpkcW>}#rd=MkkAp=&$aJpwq+y4_V4bSq%`;M7+#>gSDmNv^?J6}y9r#7Wp zqGS_o7Oh1!357Pq`f{kjMrzA^6U$!Tb$!?GpXa%s`?;R`xqpv^sSk=^AqjklWJ@9t zcLIhFgFzw^iGWCOz*$(31%D6=gHgnbg+V((D8vB_h!05iz@A7X;Vb|dmOL#bU9$SSTV0M7s&9CI$onECvG6Fb@LcfWR;+odWO_ z`d&bR5JE2J02@U(@Fz_|!lD2~41WnQm9S_58VhLN zAs#*f^bp`pwhJKx7QzAkzN&Tv6Yf;8A+}KXX*(N$twcQ5N))vctyBe)rHFtdkpKr~ zV;~CR!U)dplW$Zc8U@>zV2+5tTv7=Vs`LT8%0nx_fudDx5syb_#Xfkm-P{gBEO)wgm`gqQI5NYyTj1MU2%UICuI)+<-ASoTKPC_;e%0Pj5L2|9^+&>4{1bZS7UKt%E%Y zkQ|*IfD4h7{6BKpB7p!xutnEZyDaC6*91Wlh>h#*LD^q^by#-u>+%%u^YY7Ut>q6Q z_geRmRzJCaM{z(8ZjRwZjJz_Q2{A5?*ED%}JZjhAq z3-*&i-G54U5(C;Emp!VT?V2S$=QPslq#>?w6gM;`JLwmncsX(R=g1Rt#nv;AFX(jX zXJLGxo-wRDKI>%=^}(>XFX)5pe3$uwpnU=9vZ6_vcK=n+GmNvxn#;r}f zb+>%F9=pz&iSr&7UfF(fO^tXyP5;Be`PH5B{(k{GtxSn!=+sSX{PTCp@3ZBpO@FKl z-J{&`imCB!AnvL*8Lq8$Ds)9&j>&qtR4zorLwIX@+)pQ~p(FiacWOI2w9_^1%zmJT zkJNwPY#wVV6>YP*?Z(0CEWth}kA|>mm%F9*b2si$w&plDF{_An_mvmb<@rDN{4$W~ zX@6&`7xCH5i|%m6Di7}awD3dEsnX%rZ>%g~pYDj>shmgM>WYNs>a$6QvJB&oeq-D9 z8PU5s8Ghg{G9cx+9<#sLj$2bD?%$mJage%kfD~<#RAVPa`K511d+&L7{xut8XoJtc zo>ACnVrVpE@~`%+n1VUHlC^4x9vUy3xqnfuwh&f!>|K#jzSXzu`^HilBjk8W&J}5$ z@YKuq!P+Hs+Lq1rk=!<)i~gpf7J^#M1k<_M?Q~C-bRcO@!W;K(hDA2mJk18~pM03Y z(L52=W7WM*G2fw)yIQ+4mF|o7lSk@}0qkqflXZLUAHEip3|8e>k zr2k;EdRS`mg>IvXnF%Fl8h>TXZ>u3Mo%(Pqbyw5%`4Su>zQ@q^V>7{q;#*o$32cA8D0cM+Y~w_UH&VWYQk+pA5&l{916PVdI;Y zCz+!!>u=M2i!QfNDYJQ<(1GVGzKtEnj$ z*36ceE9hc%Dw*8C)QQ9?oOjk5OteKP<44qQ|7Ucgzwz$eZW2MV$&H$K7`^vaj;my6 zwCrk?g%=r0UA&JlPyX3kUSV?Cr#^Q5AV*@ zxmxGOt;WJF6PIp`&x-hoUrWEES$}BVII)I<)e)*xln zT;)~L7dAV5YsSw%Q}f(IxRe(Vmv%5_ZRH$#!)sbmGVRU66C`39kFflhUH8U|WHZ(LcF_U(C zST8mpC{$%wAWUg?Wgs#zF*Yw`Wp*hbYj9z7Xme#@Aa-SPb7^mGAT};CE;3|gc9Q{o zDH%8lFGgu{b95jwFfa-)Ol59obZ8(kF)}fe@gyjJtybG^+ei$3*H`edL1E2Rnh{VG z@Fh;uCYx-OP1_iLP@Rb*K(P!-DYAdRq$Jz29q-n=`=HSbhr`1|4kc>f5P}jAfshsi z2N8x~KynEJR1km!6>?BG1|SS*u0TYfrSc>PZBSK!wx}n;nh>N0Yc+C#Ys$wPcw z;eGf3ECzO#-{!zZFbR>@4X|-qP2uB5-1gY*pGybqI+;6<4f93i7F7wB^gMRs%KW96 zxe}?@f=l<1CWHJHCL9GyOW)Ss317*nhgJ%IJWgJbb_=k9{r3GHdWNWJ)Q81OmQCN* z;;qds9YFuGyoi^{%wgnfMX93%3+pB;IT1M0t&+zV=I zDawRe%|nW8JEzptb3|v?MLvsN1rvlEje*^|*9uz4HUj`#&L5Y>{0B_duCbB(naH9@*$1pbSMLekYBUk%IdR!t#uXBi69_JW1sZ!5nQg}@d*W)-VoiLbwW@Z z(^~s_YpyuWHyUjK8>!sbuysfqowYWl!w6qbJ4HozZ{*5ZkuIyeXzt=~$usVJ9^Cf_ z{rAJm%X7hTBTMEb=tg5u*H;fOe^1slbxjh>t6$Ejyut`IhspAjOXp9xv9owD75w!6@}3oXP3TZ-eccMED8T=6~Lw#(aYu;uaC`vtIrE_c!KifwTZH*s%D zZ+$nZDcy63`o)qO#uw^m_dNC`eJI-wZhcd!Hc|L)l+SwDloizpHPX~ky<6gOUz|YH z9AFpeb6V}_u9P+{qAO8Hz43DzCRm>N+-uxg^`ET+s=e&AcbPvp_DAWiUaBlz5QD3w zTl8mDnlC`F4F3hhXB?T6v3e5$HdSxIpI0`RUAX_mYG9WQs3NKP` zZ*(9tH6Sn`QVK6gZf0*FGd3VFAW{l1Nkkx9JUK%!HZnmtMMgO{L_|V0K{zx-Fhw~s zMng9;I5RLtGCm+YIYTfuGC?>+MmaY`L_#$|I5b2sML9A?LpL%wGcZOnK3xhgObTUg zXLM*FF)%bBlkp@dW);gl7Qs*$gyETR3BmO*lGZ+Sc48YjN(vTXOB$QW;r)u|ywi-N zU!jyR!Wi=7BWet-9J{~(d+e~m0bA54vBm^bRG7K!;yd@Li7tHZquJL>bm`kSy223+ eTHl}Y>#aYKfC~DP8-pDSHZ?Ic3MC~)PeuyAvowtW delta 33064 zcmV)5K*_&^paR2&0+1pEF*!LklTME)f7M#aj$Jhn-S=1AB`j<_58Gyl#I8y2LKdhI zL5NNWAo2SgU*8(;@MtM)KuUK%pI7%()p=#R>=(DZTio*M&b{#0gq& zX4zOhT!x&Nx9ej+E-Pa$w)9xSj+VifxQ`6RXIpZv0-Dfl1nH8JbuMIu(BCIKN3VUr zbKdoZnJDe?^YlVEJ6%RXy;~pR21M^|^QnsyMpP(_alpdDS)G+Sg{D3(Z+(oVo`)qA zPk*!#y&lRO-ZqD)jec&}vmqH=e;FF(;rRZM;NalrU26BEYNmFqxlPTbdNE$>b&Mhqr{Il9rQb1Y&-(K3-vXQqEh7!q(5Y*4PY z1rT41S5l0lhiA@@2~=>vT&Y=Xvdwuc8bl)FH8LJk=tN*nUbF@ri(e^bdB9ZYL8jmSahQyQIC!2$)pvH4{VeH^Caf(8r0`yq3YQb-17Hr5d7hw{> z(K8b;%4D*bvp2JIM^P!me=TsMBInGeAgAnyBFWntArmW*f^DVNa0N_e0I@hPwJ#(( zNPyne9+epwoQqYM1elsIz-cgxIeXh_!ci$hirlEsCAm$NqXI*fir3Ax!Xi|UB`oD| z1x#u@Qn92dRhUGFS+HW|R8>J0EOV)PQAGh$6$UsDW-(`PJ5@L;e`QFKGutk?O_iep zLzUia3blwT*m`sEF@pJ-;OLnN7-ce9%-P#c z6^=?7QshR3F3D}G92FQFY$&$Ylw^y=?$#Zelq+EFS^$!BSyT}cz5fC9sl}qquo5QM zgowv;qopzLk4$0Cf39|WEr+BGDQu(Smdv*8_L%;V1e=`?K8PgPkU~zqTmh3BkJMD7 zYATpShncZq^z555!=BQrbZQ!yqArsa?^FjUbcAfj1>aiJW{9%kz@W(#BnJ%!saX{= z>Sx6#Ax|^hEjF>^420~M=@jZpm3wsrQ?OzFTj16{vs3AxnNEpi_z7i4uN0etP3bvzkFe84`H;}Cmc4rx7W zpkEJoVFOwQ@j&Bwu)$=AQEbrE*Y3Qq5I{4J#)d73!yFwM?TMmckm6+`ozJbK(Ef0K zmgsa;!e>}yC!-;`#L=Utf+mxKk|Vf;j-?RO!HY;^fAtNyMWG>p&Pp`q+?d0hJZY6U z9x>Y@7ABR^&BM}5GF_Y_*833W&j2|d4S9*Zde%W$R0`t|fTjayBr(IX<9o`AiV!|a z5MacHc+AHOIf4R4&s0iUMk^o7SdCb}0PC1TCrY;9B^Lv-z?LP7)4)#q;?zy0EyrmX6C1=98X?@=<-#Cv6f34s&( zX7lA0N5i%+9DbPGef=mo??OSe4?34k5Ygjd3L3kOxnjL(HoN4*yskh`3NSMG50l`` z@IRXa=WPGeGXU!vR=R|?s^biXHSu}^enr*Zy6t4I?-S0&kO zCTnrN`{B16HI9&D4gadh_x_GmzGZDB?T6*|9!Z_E{?>~d5b{kfMpz;%l7`;jX<{+$@Ufw1UnCPY!f#NS|xK@C8wC8<*aD@d%ymE>Hk0c z4Ruam4GLv$WOHJNKM=|o7!-&1sX%dfpe_mt z(0YsjfJFdcaVhX!DG&%C3<6314Mbt204h*dxGg|e2%v>R!m#9A$|$r425#?w!|(I= z62N1_3jj+>-WB+r4p4N4Vc<4UBtRF6bAUPHceH^b07fVqI1K0Uj}kmG4mccI3J7#_ za}$4pI%9=U7<)Nh0e~AE=KwH-VPP0om@VMf$N)X4Gwjc3LgZWkhyxt^SHK8mhjW8s zU;w-W0k?r6vG|n7NLv^NfZrWpq^SeYN5hbRfpz`@2mt;Z4gf3!{#Us_*}n?Gk-w9n zHZ~|{G!*FpN7@7I;0PE%Urk2{=Z+HqK#_m8zkpB#7KP7;xchyuyDk$8G*mb;E!1qX{(HKc7`EwSn^-}slYKX8~nL@0RLRB6B6Zy z^!nSfgClM2evM)K7!5Q=!d)K2G*$j!@GkOy`|M#jfEY;Pu84#f0OkUKx!X7Ze{FvN z@j%0V2f@GG_!)e>&?q#(4nGFW2W|($|B!oOp{_6h4)Yl1+jv z{}ohHLb(IH1Vw}ag2G}T02m}H0l0sQU-I_GC{6XNU`xu9pfi4O!2IPN3O<{j&R~Kdrf9(9{5l8Zi0Jk zk<{&E^0xNfMqE_hcd9x+#=CLT7pdLV3U1bGZLcWG&|zSeH2M135Z7qk2U!u@W4x37 z+4))EQq-gHWWBUo+A^)jr-#J5YG^)~ltSX{c%1vfo zT>F__=(?Fk>t(G@r?7u%+x=>uH|eNKZ^vPIXVd&9PeS`$2df0TDDYR$V>TM}482kc zCMS0_!ge|PW!V`{u}WZ~yy?PN`};hrEK0o^#+ z^OEJSKDAse(XMtOgiUuUl4zDy`57{JH+<{@U-WPyGG`8Wg2#VNh0P>V9GW3=1v8RC zO@8-jL_{cE;VEUt*MPNOdavX^IPmfmJ%6#=+N#7oUwk5`6u6PEQA zs2qF*>85#}QU=f)^aZZRJ&S5qT-a;Oj^rJyWEuZu&7Utay z*=rnTt(F`Y))y$t>)(}FP4ebXdIAQn)a{tw;`qiyxLlW+{$>HXvyOVGhSiVd4NA!4 z+O`$mX>^OydtExFA-AvMv;UoRIy1KWLE^RMZ#9)*$A@Ks_C?o7+Q8PWjTu_SP;aYN zhv-7`LMaAjzM9rn3HPH>87ik4 zufmC1-R1i2K4?^*m~ogxR1Z2F(+v9}e1ZI@6wAvD8-TPF>RE)uvgiGoICRxsc6z49 zO_ReJf7`m7b$-&eqAzkG`Bb08qy&~uT_9Mq-9T6_f@t$EToq)p8oEDw7>aTqHbwqe&;C-dD=`{&a!PNxRM!5o+6o-?O8 zb*ki&U{_$y$_*!|&cGAqnd215@IA2Cdw)7+dSp)c(}^s#DKBeC%V4t|Nyz7KIi+6V zI-{H1VeReY{r58^m--79P7b$f=jG)6>85{{Yalrv`%qhkZfRqSQsklR>9EFaa^MbG zc+(miYX>8P$LY6*Yd%3ap}5tl`!52UZr%0Ualr*G*q!*a)2@yr@K%IKTsATsyPxQB zgH|R3TO;h4sBh7{7}!M3)qeGvab{ESf|uNQG%%;6{H3xpYJLSY#8u++96f!*_KSa) z1B0ks1Z~6>3pbU5?+P%3J=<$tL>o}J?Sm1E1%AMpYoUD%jtGF5*NiSt-ubZ;GnJ#z|NAUR!s}Yv{^!qFB~r zIuI=#BN07L-J7qTxo}kEOSiHg4K*mPtRmwn_#!>vUtvIL%n_uFwqARuAbr%SOdttc z=TxIli0F&ckE5b-Ugxyf>`Ecgn|sGUBk>D+t5rK0Sj$H$=A!`Nsi zU|bn@x!C^Ix1&YJwG$u7{3`|Lbsm^JEVlkCdOyo-5cGJ^kwH#%+^Nd1>gN6KcAc2k zx})d4vBt?22kA=y-B82{M1!>tIePAq-UT!6>ACoc4OYB7lM#Um7U6#w@;2uHl$)n6 zud;YH`p@c>aVIh-s81M!6>39-fRcpLy(5~JHip$a6F3W6{fs{XwF!w3AMC{4T^4fK z$UMla+{**yo#Yz4tQdoXm|8Xiv4h+v5JqbqAE4Zjm=o<+#zR>Hw-@^7 zcNxTfhTUe7O8g-3!q}2Q=bn6QZEyb#J>{}hBi(}u`1Ssn#02Hq`U$Pnr5X*y~$p?~B>`p3< zch7qucmkGmE;WA+<6h@*5N#XB&~ANQBWq`R<*YEu$8Z`0p_h!AR&6BAH`TWnoJyMP zh@z^{SVyliUW00ou-_tm7>VP+wTP}+tJl_Ps}Tg*O$3^o3?poo zyqOPEcgHPZ)T-BvaFqGRHez4jDK9ES2B5mdsC(UYRNl2IrbN^|IqTLdV0&*!3ebuC zmSNZ9zAAsL!jlv*h|H;)n#`Dn&qNmwkGzb+Qg(i7jt=~MB7~VEtsr9GRW*AlNK|rG z|8@V`T40gCXG_w`GfWvV)yBdoXTDM~g$^MwBIb)!gA&6&U~=vQx1Tyo*60xUu{g*a zYvoTKx0mRh))dcE$sn3NU&yomU8(9!kjAO`bz^^4Pm)vq;@;_NZT2$f$XSIs%RI$9 zs~_4QHjTB@k_vDd!pNM*Rm_M=quZm=z60OOzK2tg+@Fb8JdL&L58VT3Ic(I!Xa4 z2ycH7Jgk1^cX4i9z{PhW&hqHvZk^KVV*FIBO#jBpy(msJkz=V}d(XOCCoY&DUNi?U z%hM_z&#M194rnpX?;iM$U3<`!=@{(ug8b1NoQCqomF@mx_EaFb%Hj&(bw8OG9M-jT zHI=AD=6N|w>&Ebz_ZuOvWSfdm#1ZIeZWw=0A;Z)YWzrP>t#_;qte+k>oTE7b+&`$H zg;X`1s>N|?8qv-Kyz@8a@XJiQT4CSg4md!&H1xN+pJejyYaLQ1vCsDBue_AqkGv3!3? zjUF=7{GL*P6S^J9Y&czUg0)Mi$<6!t$l1@v35=@bUwuLvI=DK2*{?%&Bh-33Qb4)P zWw(<%&v?pZOv|I`x;FuDFFv0d!cbPOaf?kD+Z$;4ufyYIsc3DW)3b&*aH@9x!0@Z4NZxWE6pZ)}r{G(4i26r3h{bvm(}d7k};)+1xm&uIez( zy(WJ>Fc^?aw@}7nm6*AtAQ^cx1@%ZlCmsq(HaEmke5LYiE5F0c*Kuep9U_0II>NjX z9FKYpvHm>UCbnE&-}bXbIH6VU)mLqI7m?2Vg}0WtLblTM^_chGBc>m?!a%u$va71G z3gt}+LfgU?3z+JBscarL4Y?B7+SI+l+3IoW^23k4AD##KIGbjy3;w9pT~r+M#9Cpk zePXhrKAm-98x-g*N$Dl zcKR%gMd-?1(rU){x0iO6iEq8SaBYih*mpdqA&8bw$v&AGP-GjcUlkK7!b-K8_p(T9 z2$u!7RLLXSYN~ALX_wCl?&Tlu-Gq_mPHza}z)wE{nSs5r)-oZ9@iTvCPN%>XuX&R7 zkpxuwP!3(tvv)m2OJDOP)VXNF(L>E|H+$-Je@Klbo*>WOaM~F8ZL)~nERM@+0wqR# zo>B{*@oSn~a?4eD&h7`zL)4 z7^?l7fn*%866v*pYks4q-9kmSzK81PAk~z`Au@uzIR)@?U4FDXyduJ+*yU>MU_<$< zgi`8B^cVX)y-RK$=JS(}GG?&CF3wx$@>xP3^R??v4y3*I_aT3cq5;$)?b&ah73#g% z9;aR)X?5CM=(1gK@6dEmmF*2I49ho5 zr=5B@zU;vtX*Pe<1S+YOgUoRhmeM$<@j1ct%neaCuEN4PVzr{Syzmg<#*>RdVsnoT7(RrZsK}a}%csq9Z7@w|y(Zt(W#hZpuDZ-8EQGNG9dkRFRRc zcC6^?uRodpq`7h|jHPFLQ8$08SYsce9{*0ys5ioMj#!~S|rd;O!f2_*3LD+%VssH{Y^s#L36e`eMQgQ^WJMSON=NvEvl{(5+!RF+iw-yEO#h%8a z%PfB+^gaR!qprsCDl)u&14-NFdFf|)TZyl~$CZ4ZTUUSIOVbfgOi-T&;at|-<7bza zrA)u9KK3}#X@B{h!V-UJZ9z&TRM#);P0|he+x=BA@6(h$>+;X+ zsT5anI-wFHm7wJQFz?~9jaGej-g%ezE7WRtKG5} z@ziJh$>pQ^k}DyKK7)+UA5koNSWpSbx?4tdyfP+!{j7cdxwt-QsH4)5D#R1!Y5U2!%ou)G~-9SOZi@^<5;(X?8iD(!?rq2ACQY>S|fRwe{} zOQcUxfqT_Mq2(LH=dl1F2}v+vdlCwG@C-M?OyN$ExVz6k$iR2EZd+s6^2k7Dj}h#O z)%R-*gj}kgcA5}Nw!M!%Nz!;)8EAj&WQxAK;^JXAD$~op=uRQKCz#>>c29N062g-Q~WY)(^4F%EsWQuOrwR6c2TL7%3u^D8!s^ZIR2vba`42gf}`H^nF zC9^psEYedhgeM&oDc*t=HagUogZ645mua%MJbn9UXb3Yd zSaeR9L+*~}m#XtWY#+#0imIHCXxor&Am!s8^oQJiCE@!dH0E~7=t55$BJqs`$Mrgn zs_vEs2d&fkf{q;47d(#97uJ6(dZ8r!}zgXZ1>e(p~CfR7|Sg?UF$bQ*=^ zK{d026H8M@R?1fi0`9uNAZd9Fg)-Lp6lgTAs(x;?0tYeGw+dk${Vsnhr0>q@9_Rjr z=Eu{c`wdJvB?I;n+UoR{TcGNj{*$OZ&jQoH?}Gzysa_J(X8xVa$=cP;Z9gX=m)*X+ z#JYq+N?IKP#4%GFJ38^)Ql<|gx|&mC0ZaD9d9^yWa#7)-gxXiqDHTpdCLV1W=}AdE z&t2HsYN_6CQcyZoYt#Wb&7_Cc=q1?jx1J??mp_a19}9q&egTEa!JrIhes}-Z|H<< zwCHP}uvnNw^V)Wkx2BNT;|?o>d%1^`0lZc}UM3qD^wzEO{Jej1C>k%um{@I57&sRc zK(9MrjtXNV6;tQ4l7DBYrdve0(CK$RF=)T^bOYUPH#JX)BswQ(73%?0*_Pxr#(vZ8 z+N3qpA@^u-A*)epujA}gxWg3IFTQ@$baR1xDCR`oZALRmXMMf5EOnAkT5Yal5CYofJF3(EmiU3cUO^5fBshgC9(%TSuFQW_#zb{F>3NSIqMv%ZXXKGD zlOg|gPS;LUl1hH+lzqrN>A8ph@kY)Xlq2lw7Zp7uW{q!q@Sw~yr_A9f@Y9i*KX*Yl zcWC>?>iAC=p|Z&SBeu5L_xYhWx`y&Mdl3mH?jrk;%;KvDTsqdC%p}%Eo?|sKD5;nU zqZXuZ&<%gMoA*5--HFr4>&nc~(sb^3@Y)ZfRiUm|^t`+_xuyioqL#7*Q~0wRX@yV< ztkXpf$}rW)kKBIODVH}gB%FKfkWhKu#mHe*g&_+&DU|FQ^4T#~lGJ<>*vZ5eDv+tu z+2+M-*|2mcWqEO##ocYu>dgGZbo|6?Q65`_Q67Ida#c~jJi5{qR=s^YWdBKzyg;r; z#}i!TtYS%(cbzhb@5(*FtbMOiF*Dcx!7UkZtY6Fkg#?Kf)xvbLdi3aNbza|$!Vy)RX+L z>N|h#!?-OPhYAX#?}17T!9#4!)1f_8%llx)w<%L5)`ENqbJaUdiviUc9CBl({2t{o zqSp}u%d(4I3tRyHizEiK%6qL>BRvdU+$5YBBIPVdTHQsOs20ZRW5KpuWJ zHUK*t8{dBn?Hu_5k{}l=Gk_8cK;8}lc0!?+u(Nk}w6d^-K5z4%C4kP99suOy<6-*4 z9Ux{4cC<1DK>$i1s3q9;c}G)_4M5$_)CvrB|5pe)K}#sqo}ZP~)zy^+Wb4FY=V*T+ zOwR;xwSrm#-h!RLjxJy`!0&e=rL$6u`yC#>T_P0RTGyz;33NtiON5Yq;Bk z|4;&d!_O6Xd)nLC1I(X`0DD`RgP(s;Je@!;U;xz78SL%(zZL(MP=G*ynUyINU;?(V zf}s2p{TT+E|0zE=-_gnqpvU&iJs^PX_vi1G!85(g>>xJo|Cs;LUshEGX+;GU#y>0m zTPH4V=LYa(=41mfvvaWlfWLo9#`C=J{&yHvkkwyl{4ZZQh`Akr@6T+XkLf=dyZl7} zy1#~l9`Ns2%68AJ1q0~*A-O&q7n|wx7x4d^>VLTW-x&To%KwYx|DBMuvyIIkYPvu4 z|A!i6Yh~m9m%%e>ouSVIpk((v29W+zbI>#hql7JEs%1nyHfOYJKF>!G@j+Hg? zL@po8h~j+^$x(mcsk_1+bu;O)Sf;`5)J8}}s7pW!e}OePM&l{IlO&Hn?O9x~&@O$8z7dq1}J;uGV3(|3?q=Rq&^#>;C#5 z>+Rm!MIzlIBo?kf1}RIuu!VX4G}2E9rO+X`Hf^vR&TFPQmqgxs1W=Hmr~irgEfH`n zpN&nI7oih&kmMIvw%19NcX{2ha_hV4U(TU4&;U|yxaUW}qn-^_oY9=q-74gHVN&e)SU0 zg<#NUA^kQTSgK`7kxI0ZZbJ)klxS4sbPd0R+ZFK37HhrVoP>jfX^DI&~+-uWY$?qG%^!K@2T(&B&gRYxbCyv0`KkjkM5Wah8Jq{Uo$92G;C z$EajMnC+^TkROJThnB+7bb9h2#&B1myz$c-?Hp~}pPZ7NB#u7|XD#`GEV} zx1)kHaF^pQRZ{{6!73H6Ru)=bJvQ!r=}tg4_2^?tMyaOA7s)U?H^!s$Yxmu7S& z*OdF^sHXBBw`a>VoQQ3i^z*5b{EdH7mJVClV6=-T_cB4kl>T)m0M0SXp+A+9gHY%S zJ|RQnr;Y;4f&#%_KYcqBzRV8=Pf)0YuDDEQ3kn&j`#c?bm;!BZC%X#UxYnl%ZaGyd zDx16A+p-4cc>EQ;HiG>L@KAsFbuSSTp~B!a4Lh|(f=Q)E$d&vcVG5J8osWM~8G9Fj z$C7hgN_NNuH$&<-hC;ON4z$l>Pki5piZ@)Q#AOz8;*My^)%k1evGro?J z=XVf9jeXaa_^oEDY%^tjiH5ZN;W?GdsS(ivZFV>E9bN|tMYEq3>%?~ZJ{v$S)`&iF zA-ocBw?B zSl;qghK)dl=Rg}O-J7PFcL)$^#5hW%aF}G6Kwi(cGj?&9?Ohu9bQ?z6$8aWMj~^7g z?37TAu&2g9X=5%wlEik%5>{KEb77AmOV9jj6_I(Kt#r}DZTkj*n0e&%~B_6FUPU5|-MIZBG zLA`I@ijXPi$Zx6W=q(mr171PPH|fY;_|g{D43?c1#TR3~Zr6V=3JHw#hTmz0V&eCn zovUS6qG_l;UAP2f-=KhhFvZzF&JhJTez1(cZHRZqJBbO5FlMyzBtp6Zt6fdS7>SzW zb8`^ME~|oE#yki$hj5L)WDVi;=za#0F_dofMq*V)D>3$(*!uBKwuAap3J} zX$j2aG!KQ2qoaReRj9D2WUg2-HS_X*o+1l4=nM|B$P&^QS`np`Ub$6}zShVwxl4|1 z)$)t7p|i25XwR54`B@&hNYSuUI+-*%puhTX1L9Nz;(rYiC>ksP#5ozh zKg@M9i%Nr_d&IUQy)4h$&gY*ZQOxupG>F1HE_Fl=E69H>4RBGGYzM2U$J{BQ}5|FHDaCYNTr?pkMax|Vi! z7)E<;bTfdaEtkzt0q{tOo62g1Y&HAS8QCP0s6zsUx3|kfOtxS$ivt$Lo#j+7+pTeJ z5egJ@E-!!0cx5j(!lK8Sr#{1O;+nu{3V@d6|564M5m=H)4puLsc2lNMkojzU7GUJD z*Uxu#BgE2KlR+_DS|-u0y;6MJP-k3IGaXuQDd%yQ<; z_-lQZ^7c$v;F#%yM}O@YHHzK0%H?b~_&&B|Cx3s;sXjt1ZJ@N<$ghc=Ps;#{N88xQ zIyWu%i@G_?u?$LsHy%C&pNi~VPTSEkNP}ZjE@!%nSscarK2qUA8gwMeC4jeG&{8we zH&?~HFr)94Lngu%zQAUW3*@!!O~l*yN#D{TqRvDppM@2|3aqRam_3$t+#SNkmA}4U zW@vv76YMF>NnG#74#X~ncWNu-6ReYoMw5^-4$|7qwOncG@1n+4iyxLQuv2a6S{uU* z_&`+}(?U7M!O?uB$~Vn-pd0DL7XnLbyk1U*cHlUteZ#MuP;k)aG=9;WP){z3Xddt? z-H=p!F^Gnp(-o`4#shVWYJy$+2)o*KF{pp%K!wlbDQ}Zfr7#Qo$B=d>gEW@GB5R?s zdufDP6>?~Qg1%Z}2eC9m>4KF8-bv(+p)%mo%qUOEI3Pb*om!(txk-U1x)O=;ZOYVv zo?}7UeV@)nH};{91K7K{YKG)hLHN~-PKfI5Im)m!tfo}%!P#TP@wh@j+a!i;1Z{tH zoiMDfn&>cw-0TXJI&b4CDZNdvn4YJLru9DCau|~Fs)}$|hjwBf)bUlL^Mv-D=dHA49}4AO{nDR zhttKeT^f#wsAsJE6e<#hgamoGC%!2Xi}nZIuLnnDTWt6c)D;u^APXneWHTz}G5yQR z;fXXFMM3-TFR&UgY_MN>HTtC0^6uQS^miqFWi%h|^>8nC2_RoJsuuUC_z{1S6@1Pv z;xf^Ugb25H)_gG?()kV+lt;l!IGJyYk~AMeVBtDT@e&2;nrBlQSx3}e-N5H0C<`v7 z{Km#kd}_BW9+^BT!-azFW~V+(I>GYP~N ze}#RupgS*d!&PHKhYIUetnm)T%Q$s6`0xmYKG$#8pdRVL= z9= zKwrpLS&Q!BxP7h(kfLLg`5`deggdY102fu#oA6$Pw(&UgwLqp|i~})bX2aPJYNIFt zjDOb!;2I+OgyIl8-R1DJz)xf&eAELdq0ZPwlBWvn^dSTH!>NC>5212=mQPZe`w^IE zLw7P>M}S?$U(BX9wjBh<()&fmeVx zXX8znmgs|eYQcYsmZdt(oBlrPj*spjE`XA%j!enqr~nz?i%1fK7bRo(Ixu+QL84r~ zaf{1ibVMlE>9NA78Jz+3{gSfQA-S*Dop2p-{oNLlP_|e)gy%-5Dl2nF-hZl?v*{9` zNveD!xILHpjl^a0>g{#mm%#> zqQ93^?H1=|W{GGPugZKSqU44U2S6!qbs_(=!we?Uhg>36lxQgr(QvXmCxzWwn zaDknW>fwLW53y_V4K6w8)qVyGZ&0XaUzTFb(@I#1_;IBO2C5T0kbXNH_|kqN8edM3 zft(5|tMz5ZNfG;C8Wy~3W2X&Ut3-DijpztdU-V|)czP6~<7qu_%;9AN=R#Ux+(av9 zll|~vrHW#+_CDugT(#rJfoDQ4qEuz_kLZ2B!Le%aIPR+XTx zdAbTCu!`Rqr)g7o^YA-&Po@v41ehANtZ`JW>A`}u0D0N=Ap|>8w?rRsK>e? z!ODMtc%(bEud>Ek!&eR=f{J(hD(jEL3o(A?BLNTZ8{V?) zr(Ha_(E9e;vS85;sjqiPejA*%ala=g;EBh}eWi0TB~eq}ZM$1%__b2TnafBf?d5gd zEU@qn1IijPf%>=-Ikma(IQpIADMuXjl$ zFE06`Bj?P>UcN1WUj)R9K`~$LGnd9N;n1%&flBlHn=IEx`1B@UMiuKJ zxrVJd(h=kOO(&AE<)KWMfB0y-Yb3ur9r*pU&gR1`xQ)0M*4X)46pqO2McDy4?$ko) zPHk$B;T$*dFV;-=u{&eXaSm2tA6kEyUgdDuYvZ4-gHoA!9j-*}2nQfC;#WByTUMuv zpg?>qZ|fglw);iz^1?Q~yFa*LY#nKTMR=LA2?=qEN@jyFpnIZM+KA|uc$|eN{=fC$k`%ID^wlS$hQdKI**Qt%VUn_pZX|YXP}3Vk2Uu*0WkfMFr(Sc*q3V;T1a2=}3g7ehYZ=|a^$SlH@-fJ< zdE<@O=~H^n;36GyXwG@`ob)?yNT-{_56|DczO3FXD`zt=2CzjdXrIJUqJ z8^Cp#;9oJbepAp`xqusL`O={mwIIFO$qtRVQ8W%k0bYNGCwiT-+)HgV1a7PJb`zj` z>fz)S@XA;xhOJ$0;(%HAbJ7(1m`V^%*Ce=nb|zfglm zR!(w?XL>M4;Cp|A;e|K=ZM6oD^`wbyJ3fZtRMR+Xn6zmn`wXG6Q6xmvnyjA7;>{hm7^q^PUrx^?a{1az9f z)hn)7MIPq7iaALwcY79SlI14blD;;lO|i2qz&$THCoRw#CROcRlzpJv@$p;QwVrZW zyqtej`JOE&+XJeFuak!-4${ON86yU4L?M~%(NI1%vusN5Fkl)_Qlpef+hY`Di@cai zlQTLh|DMtUZ`6h()Vhcq;B=qdnpg>kQo&v4^;Qy=4fD!ACc+$Z(&E=JnfT-5V)n}@ z*N+^+RY*W@#ds06(V$5t8x{TB{%@R$+T-<yg5JWoVD;@sNmX{9NxMqS7` zITqd8YhNzjLiF8N11Qw)#B)otg+RS7DHZZ*gXTgr#qiL*im99)Hg(w{xd4xv7GE_0 zcS$g>cT|#PW-NtVp7>U>ui1Y=IG;5U0f8PO(LL=K5|kb6%`|AkK2g4%eI(nm zV~uZg;sg2Ouv-}|AB25VkY>@=WZAZDTV1wYUAC<*<15>?-DTUhZQJJby%Q7vM9jmy zopoYIoH#FQ$I4upNu@7Wm_@r-TauVkbwiq(Tt+t%*Bi4{cki@MB!y!2?_ZEDS-gpb zC;J7b1jM%lL91jj&fHZD9`S=7eXiLHucGV2Ezr=bg)L{i#4G;%bz@H^H3QH`=|9zV zIem@2gOV&8H!YrBYKWblZyhyoz+!){>En*v+z}_@h;>T1pNGTku01Gp(oB-_{z>#I zZNx-8@b*_bJ|u`YX(K2`5`byye)#)bWH@92svwL53PhOm6OCxd@_=|2h3+yAHUjV7 zXsoT3gDFYy!^Y+5!tdwXhXb&Zbmae2fKt*@9D-dgJXCdZ>5Cst^heCc^8$rA9*a5s zAC;X=oTvU(GS>cE$$~T7Dkn{Q4Q^eO7OO;U&k8IdKLg*y=(5(RLylwvV=m|<*q)$< zsfkT#_x0LAGWmt7*J4#~`EI!|* zj-&I&Rb|xIeLM-DIXGY*p%{-L@KN^5UQq$Gdw=9;3|~u|gb5y^V(lN=DUjTkj5O6D zj;*;PVO#Yj?Yei6))!8!UvX9rEP*~Od#rTW7~{90z9F_> z_pm5wIOTpTF%j0~RMb>0sFWv$2$i9$|61o7lJeLlR>7dmSOtJfM&PB^_e-B#yiG`3 zPgO#63_y9Q80g!GR^op*PV${_RiovBtSL@8Fxw*O9Ms%^adT0!*#zdH!x&D_haGP{ zJ95l;>#s3lsPqD}2K_4q0pFuU;{v!1zEc_t{G0!s( z&*Faa|Coy=O9ouI&~bbx6g;RF^fW#GD#yUBhVhw9U66NrXF-_?u60IuLeEOEQ7FOV z5uEe2a7=dShibo=TaH;WOL6f`(hug>Vo0g*fOJUl_EE4eL&;mxV@L-R)UYwq^P^x^SiB;5N>pKH#Izm7tfksnQ6e;VU)}c zwCEM*UIVoAe)%B$Q;iTfHL@D%pwx!aQqd3WIpfJ4nyCA(h8d@jYgf)oC76&xi_sA$ z!9K91NFdfzXih$HwQZ8)rvMJKrF%B6Hy~EX9rr%}OrL_9kbVDPQ!32MC_6cq( zgC6V0_CuUw#fN~JO@&O1h;(u$Zfw?X1|*x+_yQCu2)r~Ivu6m+D|Unm!j`*OX8Sc1vPi{II&va&M7$HkP=$YSr~n$oZwICZT)0m z^uD^|#gk5ny@*zpd@JPM)JJ7;bpJQy%4J^nG2Fh{Kl#kE&e zcocJTd5PEDlT*4Go`Cq#){laRCYCKJ)J$O0hfa99$(xa}0KzNISJ+$Nk5=J>49f$? z3eAzg-2Ms5wC@dKTZGWm?56=F4&o5DPJr?VX4x-O>FJY5^J7>D`q4WKs6m$DU`t@H z{Ys%V&h#s9u7>?b*>coPVUlIChSoMA&mHi;Jb(82^RD}A-we{yb{6*wES_g3Us*sjWI#x>n)l{;sm1M@YWo+G0lddr^klXUt!#6!Jc-Ad*0Ww*!pL zr&+_B`EFWo)DxKi2x+FD2I~owIT|Ha&R*moB*N%~0LPg4Nofm_!StTR$-*pCE!F$TP;@ibK6Qeo%hR(6u)vW1!tlftz z^Ig>ibPnlo{Dd)`M_<_>^~PJ?o?LA@(FK1f=YxuIO*L8F(rL8haMow&AOMgx3Ma#m z{8miQ*mn$tP6?8nKtxqo3TIeHWpGWy3nK}(5%YxAd^jM*{Y}jA=y6!?#;!LPfxyI? zsn&PrIcL5cD_X#^7aCcUFWK^o&7fD z5?WNNQ^G8&j0t9Eq)b|hMgUr=21Xs`+jWB3-eF83p4`+Vhpu2?h^DU;o=X#A=8d|P z`Xvis83|)@ULn{rw0ft$3AD>LGlniL)A4)@473uW1iLqd%>?CgcpJv438(H-s0^RZ z-%1OlQN#)MNyq_GTl~hTo!OfOaYf_5Dw4g`!pwBkI-zq;xpMm;UaD5x)90my&_=upyetV56dK`6|emPUOj759Zz*4|aQ4Jombx=I~90?s5*Ll3BL z6ohAnx2aE|L4*bvXH1822_}$JFoQFkws>Q9p^=v1IrpkfQl|+2r5ARoG<==KDp5Cq zOw@@%8b4S^@fWP713*KZTqxIY+(`>Ugju4W<$d}v$yb=!p|a0ZLZCk9hyv~;gn@vn zuI{IOPBOFJaGWZtV+K3`w?gy*l~T-&skWOYo( zg&?_UATefjm&&SrPq%r}QPVHH7pgmG$4@qJ(QZvw%=jQt62SbfWhjEu-BZQg$s7n( zBCa((^e9!9=WqteZM#H<<~cbTTmPte5`aVvl{x!Jx)}t$7e}sFX1yz`|6}T7;SU<4 zAhr4KDHe73`o4qwu1-O~=kZfXfu4^lDC%^589P5DvTS%rgwhplgEtu{>9 zH~Mvj!kzH@0s!cz_y#k=syu?lSGC&MxMa$tU*ed~zeiYqWj{P%;?V4$4*uSGN3Stb6 zDF^mVNlj!GqvdmHIbQ$aBrz%p!Or2=--wO^vFeFXWK_tk+}!`O)5XEW#rbci3j>6m z>3_RNxI?O{T+DOK3stb40iUr0pLGR3B9M>=0r|%fLE{%mCvF#!N-}~d7Zs`kpUs08 zNil+e(41oO<#^q+{q!uqR8=-Lm>;Kmm~X#$xYlz}X8PCVC4kNoRK$qpfeQ%>TKYv) z*O5a(0fC4G`w1c&$;+c+;UIi%C`?*HJP88&;-Joc1k2n7`z)dq(4&TdT;id6`4qT- z$Y6lNWdg~H{004>kf@$Gk(8MOo1OB```Ehd>GGBc9!0!6r zf(R-rqk!}*0885`B4U9>0i6cSO)GLvMj$ca8AJv3=2`3jl6K==#0$5IgM+)ex`F|{ zc2vYgp^3aTK)tvjt`Jy4N{Wb#WuX6ckEq3c{O2Aqm<5Dtj&)w+$2^aG1^?^^!i2yD z2O^foM4bZ#Sq2Hzz|*TC1DSV&AodBq{02(|^xD7;6o+)GfAnqgLjxxADGwn+B+2Q< z)Q=hB0K(P3tLWF=9)q+FNe=`>3c&LP?sGsxNkn`G8Q3-Og4=bwFz{ z3WJ=)k46#h+wCz!`&NT!n6iR`L@&z3Me`R&{yA4bKL!pqc-~Tfo!M(AiQ9(y>7kdv z>hHT-!9vKn?k|B_6;UWlIVXf07W=f%MMZ;00+kMrjPwVZ4FxJg9MpVW0f10+U(fFJ z?buDi`F~$ay7`fs!C4SZB1gQDJWKd@_$P0$w?Bh@c1*1| zgkT|UITlecf8w#|iN0~I5WZyE+Z7?xN;d!!O|u43I7vwISmFTKfNL1woA0C0{6#~4 zMMzLAoc&Ks>+k!_?|EFj5I-CurCNOjELjYsSAFKFQKIU!QYaXasU2b}agiS#b$DPQ zo==p_urw~9%RS&{^5HD@VHD8UK&Fa6e(#?Ytb!U){-VapKxx>Zz%i1D`}&Zy4A4lw zzmDE*{h2q<8Lh=gnxy2`FNS;KjdI#X#pEOE(pQzg2aOltde1}trHWs z&l6hY;`V)0$e+ne)2E^n-BiqME0_P|Pxt|J(PN?Gt_Vvlp}9Dd$r7@YU`+oO8e-mg z-4jvkv#Qf$hm|k1)%h{#us%KChoQ&!{Y)Hi65VmSidJ<`);YaDVwIh$+A{d07qqB`rHG|GKU_f~Q2BT_8K!^a}3ZSH}3I zPOTtgQpyN$joj55u1nPT=2u(YNns;8Upp--MR8L3nd_jK@hn=6($Ralhfcf_Zyr-O zoZpxlo0|q{Qs7SFw#KWS4rPh465V^_Yi*QVMK@5Ug(qO9DNbjc+8COiB5O(u{D#RXAS!g?qciudQzZYsPS>$$ z(8&OpFx}4Wzuv*C4Saz`v_EBrZ0XeCeC_p_TGcRI=nY%^UiNW&x>!Ay=dy8fllJTSWrWqV zlVIoOY*&8ce$M98HO5QURG^5Mua`g%uEqu+jbyE+d0raM(R2=Z(U{AQ>iMU~*@ovs z8l=8GuB`)k->zY+%rL z3Pnt3K0>h%-x}}?V!M}vK9YEhHU4gob3JmxCo7{`kH%MnK!3l%jPmH6~;x(~tJN=2pG<1jqIF zU11$kh$m@Pd^!)4?%d-!SEgbFruzH2J)djlz z-V56bf*NGc9r0DWPBB_`p6C*+JqR)6rD56X8vMO$!kf7~wVJBJ*kix-Z6x|OfWc?V zkhu1A?L6#PN-~oT!?x3*Tv47`GUN0Ky4>T<3`1J2%d1ww#O$`txd_sZ!n7Hpuxx50t+b8LWEtOifK-QQY+Pk?~HFYWc%`}*=*OowTD2n6Z zZ|)~uy}wQP?#xfZb2$AZ>B^x7aqgq|;y-60u8T{$>OS1u*`r5r4eQz&zo)*3*pfwCD)``0aTGxli!3<@ToRr!-n5BMn zf^TsyN870o&d4c~22Lzl&xkH97cK$49%$!$#i578)$LUzqr)rgZ8q}a^vicl-F2v5}cRIaI6he@T|3pLOOfz~3xMVG& z{N)_@Z4#V0%w19LyOQ2kbMdSAubcB?lxScME(l1QkZVj)dlYO&E#5)K^_@|)l^unh z>+_x44C8nw^1EU{RH^Nv?6XU%p(1{kE@V;bETNy%aB*yOf7RcV`l~NCRkT%Z5zsuD zp>3NDmow6R$AKYnhz-14y(Y<@OZS;ytH?F3=5`&c{v8$O4UtN<#o>olP$^8tgnkds z-Uf%>n8ufzkUS_Ydn4>GHCUdoE~8{4dbv|0LLmycBXNs>hgCJ^HJ*&28|@~6tZa^> zJ2P)$_p}j#4yd|ExeHuN+Uc2YAz9PE9}Lgy@``miK<*Q8KN;~Kbmo0YBQa4_fP)sS(nXD20rgG)?Y@5eGzlOGyRWg(W7{j;7HnM z=bk(Co$#~(*CcO9f?bS|EYA*o-_&h~hU5~S&R)(`8X|JTzR0I#f0MSm3C z{fkxAZ@((7oM?=Ovl&`u98)!ia79}Qac8R@(^zl7258$2&gJ(ex?3nI-5+3bUfmY2 z`E!z()2|?bMb4=Yx%0yT))s#S z1@$w+lx}Bb>;eTIIi3u!tqd2Dal{(i1u|(MpBR(w6RIITUDCo9b+4< z3n}3F;^9ZZkF4>L;ykr5Ng%*s!VZDzuZMd8t5oc74jr|V(Odo)i&3#ee1@2}8#+L4)_@;aeW(NN;UW*tysCRm#LOcc2p4qch>Qyb(9t_2||x zGvvozdD|~>f${tCR)^sx!nw^Y`3uTfUI>JvArW+{78DdTZjD|wF`^@M?{jM#x$3C^ zyP`#hTdHz)%BOB5uW(%>?Y1k}0d=Mlq7e9(l@p&kIuS6iG7}qSed5SkFuannc+AdR z0cP|JG(3aktY3bO53stlv^ztsbl_?jC@ds?zJJhh7}L}>3B`M)S3y%VajzZTgB7;A zU+PV#3&Qeiwb81MU@xz{8G?SfP`1wiXpZEOozu?on_lwAuCLk8y^~G#&r?`CV|X7+ z@x+l)!ZO8@61ifO4ZYc;J}~C>d0Gx3*Bgr7#8X_-@arV@Ej)`7+Iq(rSUxAe*=&0y zNw)96i%m*%v~0V#kYKOuF2x!s?0VilN^g?VFx|tELQjl2FG}UsRj9pKP%&Kq;_9Q< zSNPeNt7ZM;)m73l#Y**Ugc)M(Yy2vVnc}{%qr=iYfj?@Kblx+L{cL70`9hMrLrW%p zn=`9)lRxQp%wIr(1fRC5DT^n{DX+cJQ)v7~X1oi5$evRsay?gzKT1F%v6qXmO^BD1id zBO5p274qO_Q6Kk1Gs_!yX*nKf$y(&}U3c{#lJnadFMKiAm9(QL!hr|o{KoEg*J+9d zLKCM`Zsj%Or~FYa6|p8I!d4gc3BpHq>OGDog&lq4oSRC-L5!V8(L1=dWNYJvTmnC2 z6R~LXoB6ASBgIG0Z1!h>wodR3?H0Dv6XGEyF8cI0g=Z;N^r@=}ow1kdKMPXs_1&r5 zo;gLkssUU3^)dYU3E!kPjd~)E_GmhX6SS1h2H}Eq(wJ@-AI-oEm;mfnKKq>nib>1hfJYLh3Qy$GKEXv%xhiFEvcRNz!hEDt4iF6B}XAKH7fg4oUr^@8-F4_iOt(a%osFQA3F z#~O-~|24bYt)b!(w|zbxsXgTt^Fun4!X8;4*J77ZdZg{@cp#^{^?QH#-C;iTOHW6R zT?CVcHnYG}LyqS~>1mq+BIjGGvFv%dZe1p@lkyV~(6)30UZRk*Tn=FFVl%K`Aczjz zt+B~%ybO|7qz0n(n4g9=M2L#gaz!EqHF2YD|s6on3qj|#R#X93mGg$^v2gzrWw>=;7nk|WE# z>Yt?*xFuu8$H}QYeI(5!#bEM9js_r^qcjzeU-D=q=PeuWZ(c_ch*>?EA&aJKC6r8L zQd>b@7&l|4j0TR>{stq~5$kMc)pbWgr)k$uay&A1VNw^e!rVvD*KXmV-*zH}B1X^!dq7AVU@yy|5L4neJhV!_7!+*TTr8`TV0 z*a}_<=fX%=&*{AU^~AEnk5yXi=H&uMsPCiXp;|NR!dNNCrJ1d}sal3X)e{`+GyEg8 z;Xs2YIm6GU#!cLUd5_)H;Ei+~*lFIyquuvB{UNObkfOSk(qrcP~x;X%hM7`K5~ zq2hEHK@k?yTdLYjN*(iUk<*v;tvs#k>^bI(q=r=007(kOqLc6wnrO#ryO`rl8 z-MRvIs?noT;S{jEM=;&j$w?^fIn=fr_2#$AA-9m_E_bwXa1qI(j(x?`bXstSBgpdR zqFU$L^DtYdi*2Ib#wuS*k^+GA$gqe^wYw2%ALutE^#}Xvq2MF@)d39lO+!Y+bQufh zQOkByIT`)wb9(7>B77YTr3RA%wD^0nbT=$){!)d!Hu`xyi=x*hvh$cHj$3F}d?WI& zk4gojEiI>D(lh&KK*^|eW^^gFtHEsnz$hHw-#*>Ir3qcK>XS%lu+DH6e8 znf1_*7@6kVJ4<5I!$0R-U|k~53WoNmJh_^lJ?|e3u^09x=LTKCuO{c(x3!AailPnm*>UqQQ z@^?LwxUD`KaoaPq?a9DB_z&AiarbIOpLnZV?3H^X4pWGnmnNI1ciNVj^Zwt30Yc?o z9*HJj0&F+eHbQ_%Oq^!EjXL~dU*q_#-l!*B{P)U?mupK1l+0El>u09=c;n!i>U>j; znnO^RwewaPG>rfpcF&2s;cK?3u-HlEEn9i|GUY(#sj)fqgYnbxkqs}yyu{@mt`+q? zDKfAei)-tl51HN$H=`z|m24#f5$o%+M84uBmTPor2^@gIkv92tubX+qf-%?9QUP*+ zOl#(&yLpjO4sTV3CTHWpzH2VFHYaf9)%y_Rg5`sxpl*e^K?#+PV(ylArihVp-dfpt~bNCdBp@?C26TJngu|>L? zyUH5C(8`Ax3SzN(h$+?sio1X6xt_Zr+auXE^$UHNfA`YHwP4SJd=ueQ?p-Y4f}WlIQkH;kF<$(=5O;NB9v6%E0VdZMphyMtl*NH(n)ND--f|1!N& zAPu<5bzntOUTI459eZsxB{Y3a*t=|9#`2}zDZasrlbqR=*cFQvtHbMj4pRw}-nj86 za1oMyU0!+zuUcpD@8wyPHAzsGPeqU#lA*_PLS!*`u9Ngk==-B*QlROJgvS2C5uDvQ zG28j1nfCpZ8eY`l{qDP?9ZWP;$`H3GEd!|jn~dn}Y^)0X(c$EU(xOanZ_bgW-_5s; zu81N6XIWJ?QUrZMrPCETrbFHYQ5b~t_}Z+O(YOpsQG^1BVWS>Rua#x-Hra922Ch}* z-f}-ya@;?vEjkIj-r9A ztfazQu0tVrY`o@8MAfrN>LDS zK&Yd6k7qk+i&3y}Qu2C{;IE-czR7@eqLzdh;c9hM%u^SyyHRmt2=H{#o>==+Q|r32 zU?TL8=aq2vZc65C~8*qMm*} zruZm28TsoshyhcXeSR!&JqIN+nxIvru}?tCs)9KIZXI#uID6YPXO+f%Dupt_>0GSD z*d%U^dBAz~@^LNy7=JmEQ3U@E&z_TZIXQt~PmxXG<;#4Ft){l`E~bk+@7c;u)CO>6Jj|&>;`4PF50h z&#J9gEvL6SA73%`K8EMJ8G{J#Pq{Vw10-l&mY;YbK$&>u2M@-^#>MnsuLgD|c9#D# zd$y_`T#GjwQ{9Xr@i2iw!yM0b6AadD!YPIj18IhE;?E@3t`KYWlrq%6G#hR{x@nWh zi%oodE>>RLx^ABIask&Tn2j{~=u{K*NZU zj-Tf_1q}|wJB6T&8ZxRH5ga_^xs`5Iq2qNurcF?G$A`cMG>GHRZ>rUvg9$mU` z1#($<2+%#rUwE?^dw!xSk)H>d9P0$2N$;Qod^$hP3}9{gr=a)x?o>cQq?e4V1XM}< zli
  • O-xqp1VjIc?1wKy#@Zm0H(%|U{Z~uFMXOx@bLR@z}SzW#eo5)Sy>)F!zJn$ zDDf71oIBViQh3Mh20=*s?HQ+C#Oni>CluHGz|jovet%M=d9d*;)yM~}s6Xi(f}rtca6S{=r~aS*c_l+hZAY_2#P7qdU z55Pk5KJ(I2|H*hUjSsgiA$bXciGm3V+K0ljFBnF(dIK11dgwJmw%D{^VRU`-`p%{R z1BtCI%*p9p9RvS`T#?iLs6K;FLjej8zq$!2=NC@#v2&vZ6n7QlaM5&S{Xwx(-(|4| z8EAu^(oJV|qwX|dgw#j~@cJld?Wd!x#y@^Q`}LYSMTp(?`b05l6^b@~Y*ebyj{A+C z%ES7#dh41y_%K<;g5M$x?nl8jUQ$*a9OX#tYW4U_OQkm_P<@2TYcYd(?W5Tw z=`)-r;;|rTc($^@uU7MME`m>$nmLhnnbWZvWa#o%WVU$}C{8yM)>myyD?=`SuFYsf zIJIfHw=U%ln@=HBs(0)@JtGf`0%@1#22z5~qH=)g^D(#;ZSr&-jnhmlc&LL zP~4MPtZ(z7e1xNwpqGECG~>p3+Q^rp;k{OLozffOW{zbbAibuDM2dzFk&rc;mzN9& zJ3|*OA9m;={aVfc71K9+L;@bXxhgSpn=f@cWS*C`h#_BH?6^F23lv_^ok(P+}uUJ_9fDzk1Pjas67{pgW<>I+Z+9Ga= z%aINQxfqLd0LLk=QvCOW@O=J>9BNf$zME((&~oaF`Y^p4V>uTdUvs0@th~lm1k$dE zRg|{EjTmBV;{up3&*3qbbI!b6Mz6#n(wNlp%$HS01RC<_sDqGklOob*WSRZr3oE5HfwbTz zx==yCm|+K^Pp;j8741f3DsyRhmljUy%aF4NIaKy#P!0D)YPM6y8oXkqnf09V)75e^ z#w^NxY`mC)N{|j+DT3|UO1xS6S=s%Vy?$^%V0!t$p1Ow67S^7>C!#}H+5EjVi0>w! zvt?1cT}jB!J{>fAMfcTB{3C*x^Xnr`R-k1J*>J;pK8dxYP(-}@!&>J{+}e@BBQ4Qq zr@joAZfmEC5M$2tQ)e?0U&K5Isfh8rnu4@cikq8m%0SkNO4<3#HWM9KfaN^tvAl9ho}pG{HR+Oc`7&J-oa?<0*!g^irNz;?!+K&GZDA2mt9qM^(rtCg}nmCk*bwkl0@-Z z620%M4+M)Q)s1mMFwcgIT|4z+lRJ8`K*cVw#{t}EqChZX&h>){B%ZpyA&HkGfOij; z74Mb(hi)f;lm$W7f|Q#JD4KhLt^*b6tKoBWh#WJ~1;+K`_#$s<>@}jpx-IQzW5vG zKRqWfbI>8W_+z)({x7@Dg*vK+ncu;*Bju>DoDkJkHSK$-W}SEn^;5{*BPmcv%i$QJ zz%hdch^;F7Ta!Qhql3^4uzgb6RXlXNn`xpcFu+r2Bqvb1&0afT5kg3 zLJHa)9|y6IB0%W2+6-;aK$R&h!a^e|6u~qr9!70}(oSmQoXWR(Ek#KV(*m9U>HYCb zgwMNk*V;#~x=H`93idRrRP(?|zbAA)TbY+EWG2mYOn?>Ngz1hq02J6zcI#ZNhVP}j_(OPy8vtrCa7d)Dk?`&Zukdlx+oX-?kL zjI95Tl)gDJZ1zd`;a ze9dBEb_<}r-ywm9hhEcXf8X;Z5$jtJj^R#s!+f;H1YfCN(!Sh9^YiA`k!OUdZxmdPmr@rP%T>TE z&AUbjmMd*$0V=pMSwTzcF(0)Q5T7^R)?}jLljXW5l*V5(MMI2)F5IbbjO^SB(^EO0FRBvkBArTrtwdw^2n0U9zT2OFqghN(ZCJh z0h;wlhvH5fB+2cgZTU`y@Ca60-MNlN+M%mUfW;;#cN8&Uk3CzFY(}pW64fiuNS*$Gy>ozj&#&?(j2eF39$537>C@_!2In&^MTCB8mz3 z`AmIIR;Vy{rCb|7Y9JY109oaWqqOeJaGMa<6B0?+5lAi)Q1C}u(%vO$ zF@|Jl=%Sa-<;HT>sKygg1=}lvNk*+q-9a(_EB1&U z3&Z!96uu{~cM?iWz++DVfdQO(Eds<%R;sPUKN37u=!N{XoZOcUPV5=95Ie$dn4Vv<=-Xa+TURG$*ahX4B5<~rCobIU4M%fHD!*$M4_iLu_-nrsN00Xf0MZknv)r%1VTSDPHN{G{o-ljz3JOwh6O6$%WgJ?vT>ZIGpbNz*DGL>AgbZinB^?1L#@KIt&MggtZIXJL(>i;1 z@LT>k=fuhqIgJ`O9`O$)HqNm#Wwdm~Bxv}TZhCg5r(m;Dd(#En0P5|xR3{f?u3hTM zBkkw9KbIaGutxYQGj*{*tjq9!JZL&7PUaEiBE7IKJj$lA$2karVFy)c3zC@^7Ec3^ zlc4%w4m>;4MZLc^)A|J}qxVrQp+EKz_^g)tUrN^+<4M%sLE%eF)8qt!VuJ^{2fm|? zJ^6Y18$C_`q z1j6EytK4L0OUM2wl1~qA_Gm9aSidj>{V4}f+axKYF1> zg7PNXRyVU+jCcyMq}dY8L5U9TE2gqrB2{HslePF_Fe#v!yUI%^%I4U8zzXZ@u2?)3 zr5_HX3M>7KqTP8vgEWdY@;iCj!=^QIS_NWAh1T`z0lyxU|DwTyz-TX7c4i^B1iK#C zfrSsGcm^$>0G1vzom!|9xjTUvIXZ+TVqzKwMf+pZZ{TCbH3ho)GGZc~f0ozm6v-?F zFPXsgat@(yn<|RP8Y=Rdq!z zR06-`04r~rc|rapHmK>DdWQ?YjldcK-lLrtKC_dGil&iw;}!aIh(__&C=cn)bT)*v z7bw4P$_Mq%HtW~Nv}x{R>ux?C@9Q{voTRPwjb`T+6B=s18i*u;i;h?zYm80}R@j59 zWE#p^-D&0dk6cc0j(q*7rklS=q5yl^xQ=8LH z0kd?ji+o&H?x)xdo!L{;tTzfb_Z)gl`8t64t{H<1h_FV8C4#iV!Lb{=a4#owdWsUz zbxxe*?*{%=;=XP}Zv88d)v6>{{WS-EoSe#}!nMMqx#IK!K97SwxsklQFp245>cE_dcVT2uEX>SY%$zLjiTL5T|5FHtYv6JcQK_105XoA)ni8=v zF>^2qIT>60EA3p|6Dz~95=X+RvDsl5#Vwtj{}3^AG5sGM0TDAR7x#Zr#$xpiyA5$9 zpB42>CTa zdf-VmN3CtOA>XfHU07L*!Vn>1TJlih)=c0{Izt7^cu!12{Fj9z0Q$xQQ&Zc<| z$6IrThR2qok)-2q#*s)P<$%*7pWltPZCQa|kM57fd;~3G+67c>%)6v{MuUS;jZ$k$ zagtLalTuwcg?}ibk>hjeFUDGJ*4X>;Vz7FsdKxQb%;>QWBG0~zxVubO6wYo3?sKh_ za|mxJD{7Qti7U>&0JE&92Tb2dlfLzjadsj&H6aPyCn2sX=YsF2{J4B}I!63J{0;zsQ5s+9|O>m-5G>IArvbxp1oX|NF(+8&2b0XUQ&ys_{=j4;T(g7<0W-j{37j}42xfKXd}Hm61TZMf<#wlIRE z(2|v)Rcv^EZ--md#vnGH{&6jl&9p(1dKWrRU^yE#qeW_A(_W1tcKgJfB1w+4K@`hX z!E7NqY*F|m&3m!GNt%KLKGeZTnpi|YH?_b<=zA-thf2`>=Qc(pB{6d!4JaQ_f^OXyW z#_6asuikku@dPyDK6Fx~+P{KhWID+NJQ&tox0^^|Wj6nOOUqm^L8OP-}TW1$MA5XiI~b!X1%ixumG+8tk0uVCx4b!qL0V|E?jc20(lp!ca9RTY znqI%mw~3vTyU{36e=%H>{Wq>xrM{_sYu{nho~ZZa>g#oKbMbwt!O%@cSPsZ8uPRV3 z=KQu%02H@psH$Zt++;#$E4Vl8)zV`0BrQDx#|j<1Qa`Nc6bF40-5@dtCzut3S zwr*XDL0&4)Gc;RY67Bz>&xe`M5#DP9*_nww)cTKigDox1_1z6EW!_ovmT*3?wg#D; zDsS@3_5u@`Af_qf_Ck##qAfieVlRX~-MZWiF|ez#+)4W0kepapkt3&-olu=X6|9pJP!7Rt|n^WN@WWFH7DP=1|pUH`Ml*l5f2 zc3zuvx%b{}qrZTOu{EGiZ@`~aqd5ujDe}~2)$&JO`l2Sh-aqDD+!6uiGRu=^)Uv8u ztsU%732RmMvK#qNA+-R1bAy#U6hFiG+lQ3)lC#=-UK1j&z&rgd{ok*LRh=qvx-#cY{`#(gi%>S+jWf(>&J2QKt|K1h^a}011Ba*#H0l diff --git a/diagram_gap.tex b/diagram_gap.tex index d8efc1b1524cfdc2cc9f12dd74501cc814537eb0..a5ecd70cd6c34ae91301a8c628cb58fa980f5db3 100644 --- a/diagram_gap.tex +++ b/diagram_gap.tex @@ -28,6 +28,9 @@ \foreach \x in {1,2,4,7,9} { \draw[fill,red] (\x,0) circle (0.08); } + \foreach \x in {3,5,6,8} { + \draw[fill,blue] (\x-0.06,0-0.06) rectangle +(0.12,0.12); + } \draw[<->] (1,-0.5) -- (9,-0.5); \draw (5,-0.9) node {$\mathcal{D}(C)$}; @@ -37,8 +40,10 @@ \draw[fill,red] (1,-2) circle (0.08); \draw (2,-2) node {slots $C$}; - \draw[fill] (5,-2) circle (0.04); - \draw (6.5,-2) node {non-slots $[n]\setminus C$}; + %\draw[fill] (3,-2) circle (0.04); + %\draw (4.5,-2) node {non-slots $[n]\setminus C$}; + \draw[fill,blue] (7.4-0.06,-2-0.06) rectangle +(0.12,0.12); + \draw (8,-2) node {$C_{><}$}; \end{tikzpicture} \end{document} diff --git a/main.tex b/main.tex index 438013c10aa8c653535eb56011b86d10ec44b2e9..82cc4e04920521810f3d8d73731453a4e9838366 100644 --- a/main.tex +++ b/main.tex @@ -256,7 +256,7 @@ where $C(f)\in\{0,1,1'\}^n$ denotes a configuration with slots on the sites $C$ \begin{center} \includegraphics{diagram_gap.pdf} \end{center} - \caption{\label{fig:diametergap} A configuration $C=\{1,2,4,7,9\}\subseteq[n]$ consisting of 5 slots shown by the red dots. The dotted line at the top depicts the rest of the circle which may be much larger. The diameter of this configuration is $\diam{C}=9$ as shown and the largest gap of $C$ is $\mathrm{gap}(C)=2$. Note that we do not count the rest of the circle as a gap, we only consider gaps \emph{within} the diameter of $C$.} + \caption{\label{fig:diametergap} A configuration $C=\{1,2,4,7,9\}\subseteq[n]$ consisting of 5 slots shown by the red dots. The blue squares denote the set $C_{><}$ which is all elements of $[n]\setminus C$ that lie within the interval spanned by $C$. The dotted line at the top depicts the rest of the circle which may be much larger. The diameter of this configuration is $\diam{C} = |C| + |C_{><}| =9$ as shown. The largest gap of $C$ is $\mathrm{gap}(C)=2$ which is the largest connected component of $C_{><}$. Note that we do not count the rest of the circle as a gap, we only consider gaps \emph{within} the diameter of $C$.} \end{figure} \begin{claim}[Strong cancellation claim] \label{claim:strongcancel} @@ -528,7 +528,7 @@ The intuition of the following lemma is that the far right can only affect the z The proof uses induction on $|I|$. For $|I|=1$ the statement is easy, since every resample sequence that resamples the $0$ vertex must produce at least $I_{\max}$ number of $0$-s during the resamplings. Induction step: For an event $A$ and $k>0$ let us denote by $A_k=A\cap$``Each vertex in $0,1,2,\ldots, k-1$ gets $0$ before termination (either by resampling or initialisation), but not $k$''. Observe that $V^{(0)}=\dot{\bigcup}_{k=1}^{\infty}V^{(0)}_k$. - Let $I_{k}:=I\setminus[k]$, finally let $I_{><}:=\{I_{\min}+1,I_{\max}-1]\}\setminus I$. Suppose we proved the claim up to $|I|-1$, then the induction step can be shown by + Let $I_{k}:=I\setminus[k]$, finally let $I_{><}:=\{I_{\min}+1,I_{\max}-1]\}\setminus I$ as shown in Figure \ref{fig:diametergap}. Suppose we proved the claim up to $|I|-1$, then the induction step can be shown by \begin{align*} P_{I}(V^{(0)}) &=\sum_{k=1}^{\infty}P(V^{(0)}_k)