From d6c98249128f9014a2af30593636238b3cfa9955 Mon Sep 17 00:00:00 2001 From: Tom Zuidberg Date: Sun, 26 Apr 2026 23:03:16 +0200 Subject: [PATCH] small update and restructure before deadline. not yet uploaded! --- paper.pdf | Bin 93121 -> 91770 bytes paper.tex | 45 ++++++++++++++++++++++++--------------------- references.bib | 42 ++++++++++++++++++++++++++++-------------- 3 files changed, 52 insertions(+), 35 deletions(-) diff --git a/paper.pdf b/paper.pdf index e760ac535e791240cd6e7d7582afce5531b3e6fd..aed09ff273415c1e5013c146c75c32fdb68d706c 100644 GIT binary patch delta 53210 zcmV)8K*qnp*9H2_1t%p?L`E$!E;kA#(A34)3N|tzFd%PYY6?6&3NK7$ZfA68ATl>I zIFkVgD1V(;u}Hz%*&xxQ<8fps&tg4l`SBXT1rQIT~s zvu^DV#doFrMi-eLjlC$g%Q?5rdY0DGS7l4R(tnjO6x=R!A;TNJX!5i!H>0ty?1#~h zn@h`6iKCL(8hbHsROos;a+Qr-ZfM_E$i~vSE=uPHPLL!x!HGn;o003mj1_P5zsAh& z^kzZpyP@O3sm8AFgv=a-VKPZ@@Z{p=Hz zynnP5>=|2IVqJkCKCvh(x27lm7X7)t)pTlukP*Gp3&<=g9YtvB3B=Fmc$ zJZA<|)SGhFWHNA9mbp%4nPVH$loQwf%*aLx%%dD%lvFRZfq9|w!C`Ve z0$2HcKh`q~nspoT22Y3p7<56%TuyDtn z7R{JarT`Qi%X5Ckw~_Wh0(9QOKm`Y{4XaiT?zDdC%QaVy7lqc?pEwG9m6imzalv@@ zhaE2<6?yS^;@Pk~{NB*-HEPWMLVxsI`u$43Z#o_qmO+|%u8y{c!$giB$Z0&;`h0ln zFTJHc(eDNQp3z2ED2yWcTp3^~zrjE|?V5f+63?{VC9)EPt+_Q8bpV|CvB-4s$2w09 zdfFtk&)fTlAL#kz27Pf7umP}lyG(1QTE5Obfo8|xDW>WS>N=qSNK=_&0e=>Z75f4b z>}n$y(H`9G)jHjPE9+cFX~~{tGvc4v(+sK_LCL3~#c`3R_TwqMVFS_G~aE*<$OiNhdfHey2XWhf^++zyfhJX&n#Bk35 z$9V^JqyIkUIkH%q=dGvAC{aN-X)_q0(?jQ|(v?uP*)4x0tKZ7%wSThiu=<4}Qbd7! zm?RYF0<_TnHFIQiDQt2UB)c0;rsTeqo2rX8JY3R(;{lV-D4>Cg89IQd(|gSng#A(m zv#e~;pNL^8<1E0eWnMSJfHF$wyq%KP1Di9W4~Vo(F**Sp-DzELSGPKM&-o1c6=f|j zzAh_+_rGNUV8{*SF@G>fR{}aw*5iFSxMqLD#J-sLJTEhJ#QSme)5czzKR~F6Vkor- zrshtL(>U5~TDWo9y%a&w34G0B+# z5FLmBJumaT+~S5|xZ{A+3~jxC!d<9%UiX3M{;YZo3uYS7YJX)40<7oMU$!xXy$&g} zhYAuuC>LfBKrJA}2kt^*D(C23GWvebt2&SipFPm5g5)anh=7 zk6g?B^!ul_x{|F1XATPKi(v12DeWi8G`$2f4zHI_x}N>t;l;0>66@w@ zPMC0<*qfpHMfGqd`((xvKv|r$^*exu!78hDHY8ej34h^aU5^6^9=Xz>mVc2^XvNGOf&?boav`5Q&4(o^8_YT}rr%{fOz< zeSG6^bOmmob4E2j-ekMflEJ}MfEYI84;0T&A}*$|LpuvcGB-)>FjiO0wZ-eSn-)V* zXcN13A%9Wwv04!KBTqI0LehUE2M{Fk_Yed?BI9044{;KS2Q6(3Eht^fa>c;*TFjZ% z|3vfyM5wA}#c&&`7GNSJ5FYi?xJb1+pn2TP^_B@(qp5Xu%3q}BA^Z}w*)Gc#csSIS znXUw^vb4oD%8rnlr4QADU!OPggpRvo6 z;pJT~yj+hCW5JtV;Wypen++2mm?d`Q)%4c=aUkkAOal9|$qjocSEjLVPqQW5&TV>k zDu3T5XYcJeJ~HmP9%K2%(vPUr@YLShV+q_`fv{bu`)97 z*+9a;j{{!23nW3_B>KC%obrh01&-?m);Q_CeR+{<|B@CJQ)k?K)K#5pDKrUf-jv|D z>sr_-HG#H!zQm6L6x6<;;5Q*PK+kLb{D0OfTtt8w-u8%6V@zP8Pzp`xTEVja5|0R! zJi3nk*ab;eP#)2HMJmj4kkGE`O_SBlrX9F5Wv#PiQRd}BcKCnUYzlq~>^aA+eR?39 z8@~=C_q*p!!q_|I3+pLQ?dMSBPAZDKX}8{^9)*YX6Z>qFX1YjE`Rigs)jd$}L4TEm zuK{GU#cU&n4jtF`_6$7<*qn-9se6_t?1q&-OMPcH?Jle!Sol+8glP)daFJqB?5o)R zQt)_NNHCy2UZF^JzaRb3E}2a4k~wq5b8__cP{qAXHAqu_$ck-lk{t{RDayrNhQzO$se@SwAOQaj-NoGT5bx6W3$>pcyV`c zg+72y_g09Ul9SK?Riw~nI?o#{DANshuubT}9bETyn$;(RDV|O9IEm^dS=Z%5J2ovdqw5D|Fa_iv^EA`Xsyjq&R}JJ<1AqU=gr1Xt zA9``@OalL@|6_uK|9{#Iq41R@AdZShvu&qwh}NAZ!Op(%p?!mZW_R`t2JI`?Z6eo= zNxmIGd`_Y2%BiGY=OQCiYuXW$Z3&gPWVB77T!)-TxjU4I^kHS$g8BtQ#eGT<=ahS{QV4-eek>{a8X37P zmqj~J{7yI~BmClnEM~>T88_GELT@T($Tr=zMpSHL7Jt#7wa`Ks!9_xfR7o9=Ll}bT z4W+?Q>3&&jSr<^v6p+-5t@iD4`DjQY9fuvt?Ue3118Gj1e|nx1gg&%t;>4=^7pOl0 zF7IDcCg2p4(Fqe3I3O?}Z(?c+JUj|7Ol59obZ8(nGM8XK0VUq zn_KC@1VbW19N{47-#1=Z!cz6nOJ*|j=8ea1jKKq#-=mD6XcjKLQMz+pU9AztP}bib;)%rEgpbD+ z+F8pf>)K(L=7grhp!Kd@h)()Oy6b&JphjQ$`*@mRkc3%+iMiCz9udQX%cRL=2F@_Y z_ex;*2u?hl4Lc+me7Zw~LExqQkNyE=F?>eWkmFfyR_bD(`u2a6MPW<_`$Urz(%y0& zUyE!~Mr31!xqsudO6%&RlZn{t*3LhvV{4o_t)2O~-4PSr>8e=`iu89=lv~xPoo99m z`(#n}^2&|8JMwYRh{V@}GC%0$Td|2>CjZ0nb*apg+ZWQ)xj3}ae& zPPOQ-&pz2l3ML#N3%Svda^4HbK|m-A(~P?T>7ej6AN>FZ5fwI<8chKuv-Syg9G65> z0TZ)-Cc+$-Sy=%SvlCx+8v-#flZkpF1UWP~IhSq?0Tu%@F*cKdLnnW&c4btY(UL9h z7F?(R--2=4B#kL1qGops;*nz=uEt?yLT*|n>7 zomx#rrlQUyYVK$Xl5%taGqEwV@&S~r?M>ZW)qxHQOk$39=72XN7ZMefxC;mfwsv%o z0D?h$0Bw*tKmue2U}t{^u<`QpB2fXv9i6;ftSzm;09s8oZ8`=9#(!G=gaAyv{?qez z)79G20YLrs;SREMbg~CIfZrhg*B8}6AOP431hBBS0|CU9Rdi*Qqye2)x-X9RCt>a&df%uz&Nt zfvGsUf?dsAtewDsx2!4>QvcuywgQ6x_6T4 zXPtomRz1+k$oX?SRDcXHaAvEF1xBtpBi^ zyE*-*&mH9Qw?VXjW`^#K1kl{k!Oja{4zfUEQE~*or38P_{_j*~{`ZOeZ;<%kBJjUO z-v67p|Eke{d&K|O_x!KWQf_v3NR|aM1uHY_KaAF{Qr4aza}{f_nH9hSX!q8mzjjRrbC8RjwFBr) z%fD>|FtLAeas7)=!^+ys*5Oanxq1J(Kn~{r%KS~9zr0!0#U-TGwHf|(oBoYbc~c#% z;pOy3>_6&IbTt33!ygPWF-K3pM|wW90zwa`JxqAM*VLV*BS=5eRm% z_5|p^70t@_xAgz`{qtn_FEEl0W{&26=0qI~bTEH^8?FB`{BfJPxwyP3`uDZJmHeOQ zze5fJd4kN47G@pI_ycWH(o?||cv*cT68c>oY|wo{P6gE(dAWXNj_sdQLf3eUO`ghw zm}|!PUK+h-4xFC1{%&*H960!AbWBMBR#oncJ+4LtFZMiE=@Do#dp-Oz^eo zVNd0t*n2`Ic1N_-)G3ojCU|Q4XpnPyXaAy@dB){vs68Q!%!DqH0R%NNdUimXR+@jC zN9Isez7}@1tYYezj|>oh(mDSMt|u8S>F(iFX(=S;mR9edmVl#A83WK4#rCPqh*T~k zN~TZy$GE#q5>Kv6W=~q8uyN=2Iv#UBn8N}(3jOXi#^n#do*CGK^+QPeq)KB@$Q4uL z__4!Y3sP=f20r^ZX2FG9AAcA*hW*w>8Nhg{`e;QF4p4L3)#kOb7I+~IH>oWb z9t17HHkatP+B4rOC}YD=WK{|+25SGPGL;!J$eX%Lswm>OE`rfVTB52EyoG<*M-D)z zW%cR1d1cAVwh6aCjBHY<_{F^luPa>KIneY@c7a%oMT$@?b4;Xu5C)GO(sCi|AtCm@ zxEq6%LbvUv?*gY+#~_4b2(D<@OAr_!?dD|mD%$(Bo{M;(hZW+nIG@1pif`NL3;hV! z1d7(@fZdGsyk1F>e?jD{o(q4#L1PJ$95f-C{J~a8;DGZv1|QM~nk|&D9e%cpfbHqN zfmpQ-cCuv4v^X?%BR&f?;QexCbV|suZ#3Up+al-4gjo289j{`iai(K(k$QF+Li+;A$Vmrj)=ud32RVvW#JCU_dE_91Pz!BbXm5Y6Yp{?ao2|rn zYbUp@Y9$)$ZeD>_{BA7MK*4wi;Q8j$&n0PbVg40-b5MPvfR=k?O=vd0)twvu^+9Xb zC&nx<26n4oweM=n4P~IbgYv0#nVBUUI&I>}fnpTh46V<~i3oMeAnQ95$_hJHDj)@>2%VXO9<>kEgO?YH-mag)8dB)&CHoO{ty z87u#E@av~+Y8m`&|5_?U9WolsN?US6CrRQegLqeGW89h~m_Hx4CV_&WD?*LF=??E2 z?o{%YnvC{dK+UHra^L4$d5PryFkgnTV$x_f64Gs5az5^vcaeW_mkxYmcc-TXIWY7w zwH)N()rH{40 z@I36)Bdf;hmE(Vx8*R}_NZ+Ip(r2Z|wP(tM@z0wp38N}q*7uf|$58cz%HwL6%#gmB zwHpbInu%IP;D*5VaVwZQJ06o}zF(BDUwl3(AShmZ)tK=_u%jvT*$1vIPme9Nu6dpH z4oNXGIks-piMw8)CRSo`!K{txFBc5!rYlN;fDM4HVRnDqL-m{Q3etR?3gQWm6Q?39 za2{3Am`5TVj`SR`mEax`0OJl{GKp!#2(V2_4x4+mK)b!aNkY-(7Npb zKJ0a0u+T8AjzJ4M@avCkW=k6Kh?w%um&QdSUxyB~m*3ZSu#x3YZ_EWBZ7bHO01SrJ6|2Y7CV0uQR_8&EAP{C zb$?u3-4ZTwYF*Chp+GWnj>-_2{XpaAxAm7HHL>r&T=$e9co-6G=|-` zNMabv)BJNE&gi`FH;_7xR~bf!`-JZ*m_ z>S73Lrm7Ewe)C8vnqDAN6wp9O`#ded2pe+;YMN~I>9K9P?L!}Dz8+CBEv!x-F#S-+ zrDv)>o$!ELQ19;fo^$dj9prU?PnD^-1W0){Oq#?bCJcHmmmUf+vw*h)AOvJ)mY3-j zg_ChGEF9Ls9aX8@nl{$)@Nt`3Ws`;jBS0rqB%iJKVzz?y@g18UOV_9-qQKLi-e9PftV6t zkcIcvew($@CAtdnQ4jfY=a*sH&j1zQlE`P@w?=d=qO zA@}oBtV$hIZEysBgKA(_ZTKaBQEbpmL=u(YV3H3BX)&!w0Uyuf*0z$vkAg9bUcQ|T zQjQ+jL%&C9!xnc|wS0zq@}*1n@a(1mPOe zky);I(#sVAOFcDDYj?OXeZh^(AYS5G_6Yu7;gf~qRV4cGfD?^xVNUjks@p2TaPr+9 z81!p5w28nWRU2x(IQD&mom6T6{DJq?nUj*!oYSIvW(MujiLMcl+6zAg){A7CJasDq0EH{9u9AMc*S~0o z;bqKaMhL>8Kb}D2!6h~1-0q{u1>9jwZzTqK7zC1!UG|WGBNop~x$=ylf;JXDyk4Gh z4`4zfcj}X;$#z^5q>wJ`9d29d;r<3{TbeYCBp+PEzLP?bZ(o0k!h$EgT+sY3rG8zD<2yDg#LFJ; z`c&UPlP@|tI@U(8n!_o|kEEA!lD_)Pq?thi_WYfk6AEQ^X|Keubkw+vlCUyU^}X`r zT;xPX`GiKcW$Ax6cT}K0QA|1vnen>^MmHg(JmhAI#MUx_phieqSGUehW${=wffLEhp}U898ufxQglVoPcW*?TkvFt5IS`kdLzom%j4;!&d4zE0sG#Z z{|U;#&rW}B&)ky?3KDf*Y#7vq%0WYs9d_>&D8|eP=3iq(b*m;*a1OM*&cd^)^}B4y zAFbNf32r>JI9(HO;1Q8&g0};sK3(QVP?;3P6pNLePYl3BYj(9aCCuIQ`%)$YEi=42 z8xvPax00; z`KwkU?qXO`BFbc~+eht!YuOOHUK+X32JXmd*G9xd35$McM#rfYn-##}_lMZ;s6L8~ z{3V)@Hfx|nENNa5BGmBF0`T1r0fYR9%(#E~+(_rFuQDp%(C}utAj@I)2&KQjt~@tE zE-#-#Qf*2ZO34;a&m{R!u<_0CmdJ9z_P(deo-w@t_RVK$PEH&&zMgMOwZ2Ut_0kmT zm_m=LQ&LroY_B$0AbBOyhR4^4)(rPjMp!K}lcktgpLr(&zErvX1n#zhi3~s3A9R0_ z!$U8z9k&Vk$=2DrJf=#{nO91E>P{@h@zY8ATF@8{xVck^&Ud4?Pahj*B{(M3yK`if zaeRs9=d2j^emJwxfm=7Fd^rw|0G2|*82DpZp5#ot;;D|~g?^xfVL#0qL1%7qjo{Pd z>ncX$6&Fa$dERb-MR0miB+PeN53PS4!vuEe`rJOYZmK-mtE=8f6W*PgRk}cuuL$5+ zb&rN&J<+Q@fA7-H6|IePlcBMyf1l9GTGd~}B)9IfX!_O>|bjtsGIbiRHRzV1p2BaD+>%2fmx-!?j&h?A-Vysr$iHnnPU((Aj@~dLV`c zp}NDk({1YE)IVZfGe4c6&P6*eeJ6Fa(!QZ#MRqoN)t+8lx(WC}pLZ(g-CAFq| zYcaxh`+C9C7}sLq*X?27@*95!7h6SlYjXbZ7m7P_iRxK)R0$wrGTFfB`O@YB&e_dT zV$U!^j)E5=&eAq?dA8n~!^JW*>Bz(U$hC!VPS2rH^9k}dJ=q~H%!!*IsETQ69!8`` z;o)s8zcFz+cpY#l*lUlO5E3KIdh2=Ww^x*M9NDTJ|4dU)q$~a0^)Xb2d+GA~Z-$2#UKC z}3k60nceIp;pFBF6b)ywQ=eu?)g^Yc1YIhB9mV`WEjxa9zU6J}KRFL5%();`*n1208=`R!H%nI#cDWs<_9 z#`A-9=Ba*MVp{k6FU=MQx;6|+8!2(j)%VR<_ltc$DPfnv9M(CL+`Q)3uhCp|!O*(h z1jvUCi1P^c2Mop(E>z5fcGFI9gd{r1=g|BCzcj;UYO}J@;X;4Pvfl$q=)V~tRcQp5 zI77;vA3=*nPkG-^I_6tDOL~nsauOU>MGt%UGz(zU!+{m08ra-1N?W;ve!YG_5 z09m?+T3x2O{-$i=Zh2fw0Al;6N&#i~Pj#JZ zEpupL`GPOap*^O--qRXXD;c?A%_eL2_6fUrSi#5cSWo2|qK7V@*z#OHI?zM4bS%

UJws!LlLKJqt4l$x!1z-*i@mg=4*nf(*fHC=Q10^ZY(6Jju*l-wg=_PBu`O_u%j?> zpc2*a73j$^{&@lAWDeF{E5NjhHeE*~mSxfNfKP$=-92Cleb9et7^GLdHiyVtYSTuD zERNss93rOFi2YcsQqjX-vvMn!A{-ee2+^jgHAH_zbwTHgVVtGKY^{DB_mzC|`KEs^ zzH6jShJ!9wQjPS!=_=;24l!p7oVh0ULz}2hWNaXobRoE?zwu+L0Z7TOUWncd;w{FBQt zc{t6MS!TS@L{6^~Tzy<2;XnUnv}>MRW>SCo!~5)r0&;i$WVZD@fVfPNg2dbx-hPeCiT;jnhS{l&C>2&1f znTE$_A1(rTo};|o?hw=Vv08Szgxl5WSJv~l0I6=kEtNhatg$F(pV?ahy64V$b3T7= zNwFBUs>)LaJ_^kD<^gQ-}hU_ zmT#FLRCZ*($!bT;$ZiKk`0}K@qzuj(+vj*^jG@_JyeH*&;Vj8~MbAsKN6m+d5>Jc5 zCwMIGg60^m>o5q**qE^oiySm_iYtGmk-?nT62n1kB*HvRc*4=--%L6C-aDQ8J8Ms@ zsnhzGQq%e~5z#qIEhl_Q5=gplx+U|zMM&FVi=%qRw|cA^EeEf+;^k~<5+}BpQK>Ed zx*#R_HHuxbC-P@7;O8R~y-=2_VO;v~?e2YOr9SN$tlS(#d2cU1x_84%Rxk;nlc7xO z_O5c$01ddD3Ui+4xB9OhpX`5-+7ZHAnvBiQgh+ahs|#4Ta+9<-6W2Q)y?DkWuhB|D z$;@@g>nwNZgGO9X?+u(~T>@*eCMt6;8}{jLMCDzWCJ{=yPhnH5R@T*%`WbzsTw4x_ zA#Hu697GvH5Q^pJKOSy_iGt1MgKR3}Lq+@Uj>#fXgs6p7UMK@wU}b-r37``@h96yE zmQ00EsU>@nQqOc&oW6HDMsA^lZ-*F+V%W{gcZu}4zR4ld;R;3Hn0QIzFN)kR1cc9^ z)kE)Rp>Vi*xq4e&JaU(Uma4E-7?U`PmZZJ0 zt2N6m!ygEhryXVs6LEi{VL$X4(yV-WR*b;15I7ac!Zl&9 z2@`@`pnRXQu#+xPbR7KRQSZcbNK#Koa-$~;Cd&KtIlXJ!R?}k?6O0@GzJP0#+O>4k z9K-Aps|uYIn3VC1opMjNcyd=HCMI6uj^rOHbD!OB^_f)Fw2FTOe8MNlq(!1*Nrfm$ zrWmOC)yPH8rixvR3LIXV5!R&JA?4f36{3%zn!!+dsD;p%ncm||cm2#u&OXj{-LY+7 zJ4R|0r1I?7E*@JAUS=U}K8FL(P^!{TRN9`@B8NggQ!9U)C<>%cz{n0Wyw&TvE9Q{;5ptNg~+MGN*1vsm&r5Nd% zE^m1{GPsy!Y@lp6fjhiNeeSnx!eTiVho0D-fRSc?s71gjZbim>XFRPesm?O`lR%z} zvScf;tZ?Ol-o-V+`FXVC{96=M(C`?%ssK3^f3kYUNWXuOJ}b)x3MgVtgUH-lUvll7 zC(7HCs29P`Pjk(~1MYb?j~ueP0$rkX)O`zv??JP#I1@i{jk^i7g41q|i0mF!(Y|Vk zB(w4}U$7H?fQwmvlKZ_yX9rBb-l>Q=VA_yRPVw7>XquAGw2{@Ob)G!M?_Nu=m}X*& zhQ|bvssevraou;zECwH)wp7I7r%BgSEj)aI2Xi;ye4K?+qzVIVEA^L&XK;`1uX77Z z$xEhpI=$~zVnWV0aE~ZnGsACCr-nYRN26VH?>UlmU=v- zD`XoSXs-v-ahR^QA{)jQB>JO^F=VmDxorAz63>4OKm`y!vs)OFtykmc{0vo6Dzt4r z$(7G!%l;&^P0N7iHHrZV<}8a9*stWICpLLp3*HO%7r zNWmcl3)zWZdQIwj{Ci(%fb?480!5BPYD5?By*=etcyESio5y|hvrV6N%i7C>)M7JU zlM{dARm7tPIxK&EHx3@Id{tipdu=5#bD(gy_M=?Ukj8fH*g{XGL+)a9^lTCT{eC%< zlKyoN)6N*(hC5uDou@qCfh}b(H^&h~@%K;*Zyo-WT4M-k%iwqEiMdHeTw_MGrxn8P z^_hCPQB7`LOXnXpGYGHgHQ-fsoiZjas}+B5L@oO`b)y8(wqw@(#x4kCIX*?WNGnJ5GQvN=~q&G!Y|yp$^lUmd&dFPV@Sx`13Od2nBr@~Dn%!T)XtF#(_Ils*&-*`zRI5npb4L<3&tFG|dr z(e-elI|EnhK2kiR^a9w%-}mSSXqr3Z^2dOAc}t=Zr$4Vbp{ZW^@*1yD>1ARWe&QCZ z#AAtJx;dUG)Dj3WF>yPVH3~TGzn6crl~{RlAA9@1aNeH$TUP44Y&AnZeNf|k1 zrfk>M%RwmZ1`=(?Zy*~Va-Kgpv64)Lo(mfCBWt6dmj%|1z$212_k=cI`q za>xBq)1^?m%nn+kuf>n^b_a${S$rWB0a+N?>AHS(<2nt+LKm&fy+5azM4};g7V=xo zZc#RwurAlVtd)S5M$Lzawe}U&$j816H3X=c?Y`c|xMwZOW26M3K=ar9bnNB{#B5Ji z5%Cx@nw^}>OHl@Mf@w$yB~E{0T=S7rWGRSz>ab6A+#0$9}LSW#PXxR&&dGZz&y6hOK za(#TwatD2KMRVM{rVFZ{CPJDcxrd#-V?WDyQp#hDr0Sj`CPY3d^96rFx8dQ~eiIg#>xn0{X8X>fL{%f9w2o(`fiW;8Q4GyCUHFK@FcNR_?i!P_Je00fJ!2uC&6| z)s50)9LE+uKw|#7_sEl;hvpgKFn-o^korSs;LhtlsY|AVHpqY~2+KN5e)=N!Vh{nV zcYb>}f+UPQ-#_ws$X?zXcX3@tb(qx>#cGeKa(3fg3Kr%L);oX8b8+Rl*;pOnuG%;R zLndezD4)!)K{M`~%;VOpJ z|06@so7BD{MD(y3cyanZgRf*laCnKBkHyz5s_+3_h_5; zsW7J};N#P=EH`PA6|eN{AY8I-EXYcbm8vu*BTqoBEEf3~8{EBE0tiu(OYnZ6$JTksp|f zICxce41{Xah&f+qDiFQgVZCO1cPUMYAh&<2(7GixqjzZqp4jf06dQz)9;}{}VN@w< zptF%+8=FEr@?0#8&9n|l=XSA0InU4iI$1bBbJscCxq~Ny+7lO~(6|<#HrMy_Ia+A1 zy`m=Vuqi;<>a=Y8!jR|_^^os7w|04AsE^lb8%7TGHeO}Y|ABG)t7y0l-&CGY$lTKe~M=ke2au_j^5#&B-rG{aBx z`U}mU*HBxXT4o~OWG~$93avTrD)i&ISws`OQ)un`>!Pg*NA}o_9~^jqIm_*0I5;+` zyat2(L+?oMRX7>Vtxyd|6y?$^+Gl@I-G~4hFXCnCbX+?Q_yu3awH|)>_^0-TVh?aZ zdRj0K2mKEFrfJ~R27N)Er0ZX==h=l6(c!KDde=VH##ybRnzUm>sS_xr$;fIIHIwMk z*k9pib<{1l^&WBk0>8MSe~R-Ra@R5abJlo$!C3q_w9zQkO(K64E=j`V zdTN!j{gMmk1&HVR3g=P7JT4*wKl3SnBA#fYvf%wJ8OE~vbN$Ht#W7#(?NLNUA=N$Q z^LdMDZ*NF46x2_#ev(WY*02Z@Whs#L^SYC>m9?&o*emNIQ@vZY6>M%6?8Sly+Z0Z? ztR|qS%Jz8yhZ(_{>WS`gb{>Df*)9h9SfX{+C?hmgSvh#cx1?4b@oH67F$3bbKGPC^ z1C+2*MV!2$UA_Ov{(WEEWgAS`PRX!WPGl8E+(od*X=0vp!>tlz!U)W*_^SLvgwaM~zb+ltyTS-MW7@To#50jyQzN z`&z{g4KiNDt3{3b-7md84cW5=I zPH18qCTC`*3>L(%%f?4N>)%rRijqM?4O}eQBP33>yH!r4vh{L5jZiKs*>|*13{3mF z+s^C7!p&z|R0W;x4qtyU=nVfGOR%B3qt?Wm8l{J(TTr=s^730=ol-^lLmv2DAvVv_ zI-b*sMn9&SHjMxonajC?z)HJwsNDC3n*}cf%pNLi*;Pj3d!fvqdN44F6sIQnvnBPL zb8ATBuJ%m07|uepxa7v&f_*yW79k>1-OYg_GPj<^zFA!@b`*azLnhh?z8J0uB{)nF z(q|HpNarj(iNg;|lKxKcS1k!?N0;DVaPP=$WROvQ7hOg(=%^b@5U;JP)Kdy8z78?d z18x!Z4l?Yn;r)oPfqIR`zz{#x6i!fF{rkAPzJIuz#`wSa^7N;3xoM_70v-Ru+~n0P4ROG<0)6g2=+Ks%t5u?;}k)x^fi6d-S93bbhFb+nHJYQ<^j5Uw-W4!xZT7kBc7Q0Ccjoa(4dv4zO|tSU4Hmx%};ci#@=~&eX=$>>mPu z?dJCX5^`{|{~KZZ*Y_7p+1}a3+0@C(!3FR)tFpM{fADm%GH^AQfZ={*M zsp~%_{p||yGbaws=^B4P{?)+Dsfd8d>V+RKt&wqE@{~Pr`Ias+k18vM1;aFJz<}`Kr zo7=+54vy)cQIWATw+FB=|A*bo)!{#VZa}Ah8$|uj%+UNLVQgk^XX6Pl1Am&sF)7-+ z{7ng<{=ZY1@&BF3{|_Yoe+U(#rI^-9L@z_zxG*&g{Q) z|0~hI%$XE4#WX~v>HhaS_1`$Oi0e&=hWU$=;MN#5z4I!=)ZOZ)8eb zcc702d?eJNtVzANFre1H*FQaCho{Quy)Klod7AgL!*lV>;p0G-_He8Z%Z92q6?j!Z z;7dl+Ux>O%`IC$8Fn@^2pbRnNT=R$b^@991gbpY3x5M2j6;*@McPPT?pKMMr*H1J7 zWNw84803!*NPebijd7S=D9s>f^+jjrlu0K~k5ohBqa(w;H<0}Y_;k5(uoQg8*nTNz zB*`wGMo#xlrk{|nZXEH?CJ9VkniU-xURN=VWER^#=HNTwaDS7yTWV_cVzFIps)AXH zcKuXDv-#9>e|t8?)YOwAiaJ*Sk6ZZLPR_Yz4!i(8u=KkAY#Y{{Tbk`zLfz}noK}J~ zdXZ*=@AS^m++Bl&!|TG@u(L%{4}_^loV1$AZ_$QneM-c5TIEYYp3O|g$Z2&Q6!#z9 zg$4~Uj^yjanSaw0YK=3nU_JP4kSYTf<63nfu9@HHXA?;)DGcNH5SiRbN>jctt+&-P zgWrr_YPvR&WRHalNA^OL9dt!YKgZ`~SuXuWKad?+r9=JaKSqcP~opqz@y)~xN+ zFHr>DHXhn$75w6xt|MA%bY#xV0c|j07*|AVCnqdVP=AU<5bTg6oZjOikEG#HqYwf2 zvBkIX{DYP`uSnc+_bXW|G=+^_sOht5r~^lJ9@sYR#uv2=5-x#{2CZi|KJ2U1F{{fEn+`@CUpm~ zFb^t4_u#Zh<`j~sx1_MXf~Z&uC(5YaLi=w%KF^< zz<-b#D8D8HYaXfD&A*PsiO4`f z^QX{QBTu2?y(Ut=0Ju=+-Z=#S5_3LQFc^^R;R#*Pl}Ux!xXu2Bjam zLuC~3A`elr_~zR^qb*puz-I~ZbQAkv2D)E2hHL?kkLq7ufc+NaZ*ODpy*wN;-zsP? zR>GvCWpcKTh-y)!*==VS{ZiWz=-bt>LVo~a7n`QMwIG58&+%Ko3Q9}gxcZ7=`sikB zA0$(sZ5nS%IqPIp#zN*X!W+)q?z9%Vy9QxGfC*ZN05;xHD2^eFOZ?e#&jukQxWWT& z(zUg?jpha3*))ZOzn)w2?i=>gMh%=ROQph00$K3F&YFpKr}t91~_}14_#|D$?$GkJ@P_!r(xYI;|%)T9=Hl zYxOvZj+ZExh0=bDe9D>Z*C)|SsT7qi;GOzdIzL`K-MwiHBWPb1SVCwEPq&~x za2do)GR4J_YtFGY$$+R*bHX!yk|Gf@l_WGMdN`7@uuAzB)+_xBVF~~Tg6E03XF95- z8pDF-W&iN(Y(*?A*uX(h4sva(N(t1^51cmcga39L2lhscx;zxZaW%O6Y#0hkqInW} zahh#NBgLgkT57$+kbn1GdBK#+I4`Wu)IG?4nDKYPgQ}8PS1IV4V_OBwGl5FeezOHY z&K+)5hX)5y?wsv@X}|0v(&B|ib8i5E`F>&8nGN2+h{png)?5iJH1;Bw4p!Al*C29{ zsH7J>bHJQivO%X?05j`F04G4$zYYYc=U5J-L&^PeARI1vSFpi2!)AZ0nvkJ`SQs{{ z->qSa0wscG(CBj>p;2NG!S$HU;OFjO5_E6T+e@JTCDZQ2gAZ0Mk#%OJz=c@;#}n>4 z5e%$Sbd)fcin&5N+|z;t!ZmhCHq$D#QBc+C(Dyu(%y6unluH8NbC?bVkGen!Doq)= zFDXFiKITj*#D6z?)joe&%@6mENGF*zY%&4I5K`#=O^Ap@xlVH<^ z9(5eb7`t(WvX_}W7U$ZgMSVXw?KrDzS3SV(F1HBOcvNfhyzzgTBKjj&_@p_t_qCXP z52f%#4|l7eTzZ=%p;x`O0+)B^0)yhdk;LN8eBF6K!PBH|kdnhh71LPNN-oNXBfr(y zebcXe^}irb=p|QCs5eKb+;y+p@+H}EF>WeU3eP)W_P1DAqg0%y$BKS4O5eVytn(I_ z(XZlmK&CoyLYjZPsCa|I0L@OD7z!S)LB%KX8P{YdLCiU^(z~j2*l$EQ?kD&x(fJMG zcjy)O0&Y-LA5lHQs}^q$o4 zRTNUbP2F_3V92qx=@33zmSK@jOS%zIKVe%58`|4+g&}``8L-82qP0?F&kF!NddDq^JjRuzVq*PXWxvI-0(0Banj7B7_U2i+G zwG-_Zvci8K3%F=|riq{NK^LS8>++5jS3S8-~pZF2_hY!ebgZ2J`ck*m7oNDmf%f9FXg&*s4p>p)H*0@2AZdB zHk*GtE6xYZYbVTcX_%+cHPQS(jfi4rYtm0oDo^Qpp(O67-Al0ElcXTk=|eC@yNK5* z*Y_i*f2Rl&oj77EnpzU1;T{}F)rJ^-Bh4cPac?>tR;Q(&qML!SULCjkRRWRndRFCz3i_9 zk$l7iKVo>i&@nDM-7^1~YS~ypQ?N}4;e919yk}F-c_igeBBR1R)npVv)!qc#lDv1I%pFR4zj>3kFDbjgl^Z;%q$>CWM;5*(k z+Bod0VApli*F=uNs+^))L+EqVx6UskKx^5^X$)4yAdSju`%(c*>#OVJvTkrKhL3K3KT8_Mzh;wD1g+k9yw))8H&sjo{4 zCK!e9ZSvKUyl2#}yQl=Q2&e4j9Ve?Ui$}+eOM9}LLJ@VL%$Dq}rfx;YbiUfX{w;!LVX|MR=G)sWz47*)CpRjc-oJ#M1Y$_-n}n|bE? zKiRNJn$h9#Q8H~yzP16Bd!1Fs+Q(a;Q~OU~Lp%vl8+7_^SsndW5oIZyOfD9~a^)Sj zB->H@M}1Y!;>QJ6G^LIq=8G%i9+pN2`ipsm)RqDW0_UG!4ZR6g5cVwJ zr}ZvF_Q^GqrZIhjElGCxd&dN;Zm-V$-7}~0Gh`IN>6&6KUx})u*~P8)Ur9nPhha15 z+N6)<6g6*y3bp_;4W`A^QC63BTNGTrG^vbgdLk%Kx!_}=TaO&I(D)mJl;#T4orz0{ zA03jq6jX&@(C1rGyO@6+<2cOTso!aX&g#yMq^Vk9a@c@RU%x`xoXH3w;clW;1=&If+&AZ`#1|5T%=xdoIk-qH^>o^B;EI~Ek1OK_4(RPaByF0`^AnXBTn zl0Bag_%_GScrk9jx_;o^BW9K8`|M@qW_*SCSN>8XfT%)X`7U$*MVu;!?ff~NV0NvE z%qZUTY`|_xF0B16XyihUDMA&&_L2jEU-TA&cF;*xZYY0~M8(J5|FA*cmCfho%51__ z#1&4x93PqQy~!+SJM{GDPj2{a@89bZD2Ym}S&bxszhhI1-zrc2OxUep&3RKEg( zC(e-AX?uSlz?**up>IR@&9dk8ZbytDe-=iz^Y|xlCQ557;w8n)snFg>_YK2Nw|&7^ zN*Md0d`-tr7IaT9+uQMX`4-|mcE7V&3Nmn08Mal}^YB|x^LPUQF1OUL zydF|K3i}HWocF?uF(6wR%G_=1eiGJH!%xGPcyWJ};Bibo$4*l{W`Me{WmSSk8f^P# zessL?}Ib^Q3ET%?OmV{KeBRd(NLV&$fJu=Sh^9*%SqIdp?d zc9MUhSAMY(kHJO>$9AJ`bjkt8x4TPu1Sg^?zW!H8V zAE+suO36fxhd7Y;`vsnUsomwGdm1R1~TvWIOmDXBVRGn&J4IKHJHvr1MVfv>fUx zwkPQ!jt9XF^CxpJe?J0gHa1;}-?4lwk2I^&U;MiNlY) zo^Ok~B<5sxh9d(ZJ<>XeD-;{aq~w3kFj-9cS(FUYisBU3R6x0bOIXE`L#S?~BKaYo z4l6whmQs$ozI$Ex+a+;|Yx479`(6H*{^;39!uS zyxcrNk37XZnF5C_dK77jFKZC0Lx^3WO2&*>^4)qUfphoKpJcLA%2p^prelA3VFVDC zDOIMca;fa|{CDM2ytJAt)RVR%HezmPDfby}RkMPzuL^hQI(XrTqThK2jxV|*v4)1T z>!R>!#|_%b5C4GPeNUtd%d#8A?awK#>^buy&SJK zRlOXbE(JBG-3?@`ZUC3mOwNnHYn6)?YIvN3&eNsAdb7UDVd25uFlDZGQAo3&aINoV zt`rn*Uqdd_aUPgpq*5T%i5`^o%r^BIv&FoTmxFoFtP@2Tlp-D}8bQy|I$g@K zja#+}W)Ly1lN=!|nrMnG$H^ebcNs?SUN%enNQYfi&<>h(Kh59wdN@t;+ulhbVc#@! z_Ddj~5ALB6WkrZnhme0QEf9h%QXlS1Jj2AZ=Q7d6qH$N1Dy;@?y^U;P|FSl*FQhhg z9$r8})UxC7fJm&CojMB<+|wc4;4K%+jWb6Efw4rX|WACrF^SgF7AyR=h-Z&Rr| z#R$m;uV^XYgx48PQgmA0>?4S^vcgl%XiPxO*M5*JG9L!dQu2`Yq&;uz&TN3ZY0RIT zplawPMM8I@XceV8_0gjATP;gLgX(*Ye_cpA|JmzWn0%TREv8OKVzeNX+Y~zfPtmIm zeO&2WV`4Osk-dNR939MlSh^!=i*MD=L&^O=d+4Rv3mYqRaJ8;}HxzBBUk30EUboo} z(5b7{{-}Eq4)Z*GhjewyKJvPEFtM>9JqsjvqNn@Oo`i8y3)_~_0NX~nqFl1IdVy_R zswr2M=rH*KR!MPiNcFDxkY|(^w15Q%O$Cw^XaWG5kidW0+uvNMgY#h>WxiXMZw4V} z2)0!fpxUQnAZy^bDU zuBD%tG7fcUg4XV5b@R-re8-iX=^eY%FwQROWcpAisMI6Z{;>p!zU4m~sE8D4#P?zo zw9il;3X^|Io_>{eM*^2{0$S`cuW?mq}Y6TdTq{_ zPxhT=-XYdLMejB^pLzXD;eItmhe61#-y0re9C_l3+t3No<(<>jL)nW&jZ8 zTy)tjEyTg;a*;{LJ{|zAwWPAYe>37wdotQ0JP=6blWTdA zR)K;@!ag%{1~BDy)F@{&VphuEe6e`Tm;rbhV6_iL5?YoSuU6L0?nepbPS13M56xq3 zXJCIYQRXK|41u=Rt*`xnMI{n8i)FMg_fmR-O;CR`T1jY{>G5d<$*{b*_I%Qp4~R$h zYiDg`;j$biaPzU8pSq!MyG^QV1kO&gPEda00Gkh0YNdZYB%n$C{(!Ji)AMZ=(#G#EJtT(p(|h;o zxsnQ$CbJecO15~#Q#O^#uHcg;QCyAN zC}U1aC0#0)HD54SR&>;4^}-mIf2Zj$sfP|cXhYotTD}_x?z!p-@1IY^`sROVPiSC_ z6wmtNfY#rkK5y-agNqVw3$o%jFx6{{!VEwC$#u#!3*l9nCB{QfUjY&yxPo>M&ocPV zNcJ2^?}}5_zJu#;lG5TYOQpRc`VWD@;*H`XAEsT_JMX0yM$+=Z2!C*oO}zCq<3!8s zg7b8rqrv?g;>!kZ*V!rKSKNQY8oR44W9RPgW5c+mi`=}@?|7nN8g-8+yYRuWbisgL zxnR!~g!UStnaAC|WHY|--+jj%AP)#G@{DtJZrHEHeO^8e_DvyRmFRW*3d6Rr&!UTU`zBaY{;ERmp#58y(!~i^KSY zTD+TUf(6CwPvX1NKudbUx_QGjl)l|*qeIl60?&LHyFz3E8r}RQ_7UG33f`L<(v&9;D&lydBBJy#%pmYiD2jDF-=l@hTf-@hiY! zScP&YUUF!IN_;!bSoD7`S~6C!nV!feqmd)oolYI1x<4SAS#PGSQ|%D#Ra|b^~JC$?A;90LoZJyq8Ns%UnC^>W42LN^_PsjU0p$EG%FK< z{>Hbgd(t9jL{8wc0t-O*Byq9t(;|nhR-ze7DwCm2m-HY2T&Or40d=29W4)d~&T5c+ zG%8_H@ zO^LUoCtZlA;&+Y2k2)yP;{!vxeW@tRjp%>)mjoZ2Nv@NCmuzt{gNP1tulP6jjc{*l z7lj@}OYH)F%b0%@L}0}PCmIQ=-25=NnSxPY z+YhgJz|MXpK+MpODGVGqRQn1p>IO2J##8z3a9ew``RsYgy2*`yj|t5I6^S2Ri@AJT zswSbPyY|Bm;S355ROM6POr_Fa_{lmeXwDXi)#MJfMlKigF_v12Q~5rgvb$Jhi-k87 zM&dFciJpIpdZLtQ`f6ucLkboCv3px*N~JD=6B!7luRmPqMa#`o#YSl6nXiO(O3-W; zh4&@j(~wl}5UfwlpbfPpWKUFwG1X=?-tIW%c=GVe{b!GpMK*;!W(J$p=K>C=%ybDz z0W5J^kdazdwB~%wKoHMo3L#^N_p=>K>9Z$DDV2XBIvc03c8BO&;mACwgR!FvqEIcGJB2;Pdh<4yssyBPRA;VCmR9nLE+ zWJb@;rcUiC0~)=7=!AIFHjn^W{nuAl$O_9&q~Ql_E8i)a>8+5`F%VYulOJ#>H0;pM zAC-T#+?{72nCP&l>qh0-YUR7n;u)4j(1sZl%I-Qr@GQC%ZaiC;V=`mc!{MW?U3hwV z25k4r1xK)cf*FZxrtxfd{$CN@ATVN1iQVjmgC;~vPRk}-F-Luahm)?7mvJ@sgGo7Q zwhFiOPaO5sRt~w8x4ifmh)(al>F*GJ*gt=ZpYQ!H`-3KT?-`x5%tEF3M3knA7yFU_ zn0NXs{O3oi8iA-Df;YIF0|R4rKd@qHzAVmv6 z)WYENmg%ixm9ISA=8w>q+E51s-5Ihbj@}EYUk-mt z)uLfKy(se6Gg7mfY_GPkpUgubuG}_psPQ}piu0%O(c0^L98e>OLT+}`R<(fY5&dsQ z;Pnbn;L7q4DQNNce8n1DcT+3km(tcmzPHpBry` zsPCPn$zHitlu5q~TVoxmDU4tcz8`;ZQAL&$$@+FYkG@l{#5FBmL6??uuy4S-qflxofGAcZg?joQ3 zEmKbI7beau2!>S&KA&*M1ZvteRl8_VJog=zzc-=BAEw0#?I!X{JW1Ob@DzU@6Y}vW zJ1VwxHVCELsf5dL*^3VdB-nPp zlF(t`K$P5Mm)ygThu=eITG06tN@2D&r}1=vbn?%?Gsj zZVROqU0DmWN)4~m8y0*#3xj`pF>zKf^VCT_-1#+7DqeSa>UY?ALRCn4vKQ!3ho>H8d4V_An+maTp|G-c`ty7Ds&{6EDJJ!qR|%~?2s+j*|tf5Nm{z}?oP$Q?9Yh1aJsklC#VTN+TmmWd>dS-_mfGk-LmUn9ZC-W7dwigXi! zf-KhJfV4XM*=D;yk)nIw?Dtb>L{rP0?4H6vnCllLU%g1@4(o9LXXcOJSgMs#)7qR_ z<%aKZ(hUlScn9OV{P}-~Q_|-7#g7=6sd`1=Sn+_@(x{#8(1DG>bGW`7;nV)nxXo8j zsK-N|tBcx)>_X#U4YHKfs9^kw2M3=)#|^wTlAroEV8h1gW>@%pc(8VGr)A_tEC^F% zB=uT^uH!QjI@ONyzr!2?Y9U;IqbVtL7?l}Pav|et2L~~TKgoX}rdmD~N0@9K-67pI z4jzl{%&bM0g+DVyZ(u3>BK5y?mAWJ>-B(rX@nZTqOci}Gy&@?7F#sX;RzFx&U|_iP zxeYYx-27=@Rb?F=Ot{jQ!51fz246*^&iS-M(?;I?2U3k(@tUrsGnDet8xoPTD?+iR zql}8Ji)zYu&?$ey^huoQY>PtPHE0fMqmY>9*o0xO?SnGP(7gsGt$m)9v|V1_b6|Oh zkmzCi<%GP^eXBz{w*a~Hjqg@eyxtk5>YCgT-?k)HL_5H{P|Kxr3*{EErL1hW4NWg2 zLi8E(2YBbc45yiz8p3%7HEfpq&kVuLu2Ho;5?oq5yeEHL5fd^5>dPdK?=p$KwHqS< zaa{3=T$u)0`|WaM6e-adL`j&WG&0Kg$dbuG=e->y<0G+|)nD?7lM5%{ES_;KrdG3Y z$ZcTLC4Ed{HfAq3YglyCJ~%{=&|zv_h!w)vH3FEJ6%`UTF{eI^FjJtOML`7!=8N0k zfo;~}mvDdYbtYJjISR9{H7!HE9+3tzQ|Obl8>*zca5h0U);bDa{zG!>DmFF@wGUPt zbvs?$Bgn&oWya^9<{Et~iE}v?JUBaU3Of*nR8f^XYw~S7qt@50DZnzWst113J3WqB z5@99pP&nL7bTL#!|7uLCy(=HFWE6P~8W#TImx+J5z;vO{z3z}?@YdK$_tb@Qz-r=!^Kb|LUU3zvJ)9(A-yb4Q;}RpeP!jy`Z+%y7~O0qLZ-tJcHANOJ;cJkD8X_9vCYM zy6n$lNCx4~o5D7?E)fD;U&@N;wx*4?TONN{{Vo{x?Gy$rNUdl>6my4ZF^-ZE{l&mL z?&dYqDAKn1iZ<$|TxBE-p@SRp2P&3kL#9x3N$Z8nma1P(mDIoPh0r?7$$$XrHdDqy zt)-pTb8F2u#eK}`Z#BA(`(rDB`$ABTKcoB#2m#Abl|$3bgpp)u=j>P}t~#YVNM#cI)&~ zxAPybSfi()b_I)n=no-V-iqbNlv{shz5tDZLiJtXyB7@P?)H=NJVD{Ftni$7JWJFK zh?t_$50ctMZ(Ur+m;#d|MeLtQo~$Ks%*R9HT^ml#5Dd(}<=ib`CX)Nf_xsq@l1Z=X z2lUn$#Yp>9Ls9)X3lBw%^Vz?c_>7bTX*~%$k-rb$laPA#LMv6^c7Axky5E0do-N|8 zn;+SEbIBUyiW8`E-3ja0=rk;f5;fJ`8@+!b*F5|HrY~!Ljm$=f7xfiT3^+aebl=Bs z=Wz?yB)crU7945Y*1jmGefp*ukd3hS-8-93v0P1u`#qLFX5=c(7f*uWg<1(;5)EPY zn>S#$w$_)gPs@L0I#?zsBaVN1te@KL{n{#Vc-*ZUmzcE=Ko&j;Y5zPEH6Tgo)vw2{ zDC`$M5d4=Bt$r-VnccM}DEj_Avmt zhS~kbxb16+zuS#QQ9*W=BgM>ByCjsRl-|Sha6TMON3`;OkDNBsl>~o;;1Zm!3pj^K zr6~9%OleFL5frUTAUuA_7scJc%*~D~($rjl$T9nXw*$dt% z4&g#MAgKEG23Lui)euW7^T^!If*MeZ4q|z@xB@zIBNV>NJGX{7be0A6sYz82Bt2`4 zkBPKIHeh1spQ^Y{CmF;Gf4sCB;eMN*Od>7};R(a~J!xn*!6$#_)uP0)D;gra==xsk zn+!XP2Iohd_M=gPRRZE)PWu`2II^`K8W%Bi4WcmW!D&ihuYa%9?XiSGC)da_R8HVB z9+`36g+*Oz-xtk{jr+GpQBUWqCDJ~=O@ga1VI z=AbywEMZ3F*=uoj6PwQUesM9bnWF^RyL4|S?s(KN#hHHuLg5ZFx|SSV*=FLc+4rZ% zn%db{&OUvEG!>~tsKY8(MvFYBoV~Fh3Z^xjhC#@CW$(Un`ZYQ6Gds^I2UZScF)TtE zOs`eUC0E7O=)-k09@jWym)2pG3!O%(kH_Do-uSpom3%M+Tg3@X))_WQxjY+=o|FX< zqL?c|-t&K^$4mZnNcq{D^;IGm63umyx4BB+9Ae#k+T)hXEOH7DAEx#2C}@CScJUq# zXg8Vi?xjO_ZIgG(iCihm*xY|_pp^mL&-#2RuaJLzdbKh=_L|YshiiyiZYh@RRkhaA zrX_MA!ELGTKB$k^@4~TdIFb+29KA_;U@)#M82>Tm7Xopgkb<6{AS?l&@otZ$M8f&1 zonjmiAW_K99$d|gR;IFWRCV47L=Y!r4xV~)xa^mm^HGjw(VQA=2gx--MF~)iiCGgM{T_NATvnC7+h%4kWvJwI-eJHK+z56y zwvLpHcsfYniwy;^xI5$4XcxA~|3Ev!%Y?~`! zv;cY83*}GLCJXhvQtP52-Wjc-+T_QMHx>h-0#0SXxAIXsFl_a`FQLZyFaElcr| zT58tbbCOCUbs=_#pNjjD6em)-mhQPaEmhG3P#K)|S8ZJO|+rI22a+BzCxY!3+q1k6ZGQ4h3i4yJI`-)q08voGcEEb9`s4WdXklUUkvVh7qz!j6f4>fCogi%@9O)c+OL0~lT`7!_0^8C zo4?c9lXvcIUN6O#I+ZIHPqUIhJNu(w4;6P{m@#NCWDy z-L!&F4IALPd2Z8X?~PG6>^XnIXi_}NRPj7C2$>WIaVg1+{6K+AC+)66y(TFLij%!` z@Fu5%f&M3H4yhp_W{u7bv6ya$%LU>k{%NXD)RZ5D$jC3Hvsj{}h%ptHch*vT4|l6{ zWzQvqCsdX+PvWSUTZ})sG+!DsG6N8-3Xt#*E0P29yG$V1qHUho80vplVUwLmAumt} zCWV>OTEX4qzoEEkgRW&j3Os1W$~QOVG7J(7jdUt z9_i*FOi4O3=aD6#f z)Q~i*fP4>%Sqd#(|E-ocy^xE?S?c*_B(3zLlq5kq5smlfMnYqVFv!&p*;$US>Ij}* zk)0vq-VNNbYo3W2cI;M z+C^uRlo>lP^yusVl#ghPVh&{W6H4iM(Ds8ENL#@ z02ZVhpQHmV3 zYT5w={Uv|Dnfmq!HI#KnRO0H-HM=uM>BbCqwm5Qh?84M@=W4{j#?0x}P`cXmwb87; zyiyEPU3if8UPG##fo1*}lBP?eX5e`;rnO)>Np0uD?C8mGw5!{1al{8p$^pIH!!6o) zq|tB83LANubM%Nu`gwPmO%7f0b-GF>RV5ysoeLA?A-Q<27q_aN?ymGiL-y~>9l zOyy~-5LqV`0;DH)omjb(7aQeQZer@uMp|?eS6MQ{jYNbLVPd768%8e!@Xc8ny1>Ni zeLH_}9#&lKc5ZgsG!}73vE>NpS~2kCO? zetE2LQuE{D+A>!#%hldLJmta;OpHQP-O9H(UML$(^%Phe)!dcaZ+>BfgMTBdirMN9 z?A+X)NpOt?`=p?m8t!6b`t{KY&Bff2K+}J=iq5*FiG!rBJ0D7T^Irq{i!F( zXfjwnF~+8wIJ$Z4*le4=@$o4yN(tY;W2-T3R!|2;ik|@;%-iL$A>)}ftUtBAB&QEkJ?V5UKjXSy;7;tQC+JXMG#f2epmL&s4qS?Q!Svj~91Ko9KixETDJcAuwi zShYr|F5AFDb4=;hPI@$MGZf|nrz(j}4#T8c#>sS7@mhtPJ%m%$W0}_dRqN^p$<&O` zM%6JDv*&STc{lBx#?p&l?Da=qipPKCpg6I*7RZ1)?NgJT@j>Pn7#C{)5$5S(W_$0S zk@fgxUxT6i@RlW7UBij2iP==}F6p0Mws)^Wc%IkU__@JK;68!2Bf^3i+^-bYi_j1Q z5ea(xe0--6T9Ku6!q$&48>*14_A$|GcwgaW(}8fK>1tu| z+!UVgoHCT5;Dnw;aEOi_a^(1BACY_aFBz>}^NWm6qe?aQNz;xP*@%DFqU}s{8jVty z5kyUwV?U%hMU#he{V9Jl{Cd`FWMRe?T*uRQr_6UE_b7ho&2*VjDK{RbnyS$<3Q$sG z93cIf1n!z21F=n->M@7iSzP-L=fRQVAw|Ug4}p+zRv_fN!EGA@H`QnJ7+I|Ez%uXr z)CKb5vZ05tVIkz9%Hx0NN`eh-tfxabk(|+%X!cHdxRS|27>+S9F$3;RN4ps43_51xWg_|tVLZ8Wf5?AEL36HU48Kp~a!SU% zkF(!QC^Gf{C@PGzJY;qrWy8uF$)7wnXpK}#fBXzrn079WF=*D-dE`yT&aoJ`m`%kj zMqz&7FzUbQ4A;Jw8lzdwHyZuW6Ko*+0IVx8J*RV^Lj zOvT)J^`dR`8zTe4<*_U9A~J5V5;8H_j+; z_@ztKjZ-6}#f%W_Z@lnK!rY3)rZ>+FB8$&%6J#Vmr*9B38cVTMs|T<1dj=pB{nA{Z zlCA~V=bL|{Ik2EnUFoPoTOC#tODur-=}oFDMg4(c*Y~mrjp?5m>ho68MvWE4IQ~*Czh5XqavqC_ zTG$)Joxh>lvc^bP)%`ZUvyV?E(3!ERuTB*fUMkCT2Z9#X(-KQCA*gMD$>yEBkIjxw z5615U#jl+|4Eo2C^YrxhSd(!{nHzZ9EuEO*RuPkzA3sQIPZOrcNS*zxyGd~KL)EXA z7J+|v3%8>_soEz$n1dl}!)GYQKnvzeB18Rb7vy)=1dQglXTEkj;(Tz__G^hUkSB4o zCBpYbsi{BelCOMVirBoHDJx`pF`EOW`*`b#z}IKv^qYpGJ|WFbs3l73Qob;nxf~#7 z%*Wvsf(9x+`0XW3hv|=xjp&(|kmbjAgaOMNrmi&;QBER(rv_cwEbIrw&5V_TlMT9%7n<&%f7jGb4ZLah;6UvYnB zdjcbV#uCs3NmXVVZ_Vv)nV^M(>Z969RulE#%zTFU2>~A^ybEu)h4c6b(2}>r)nEgE zby)X2%szwCXX3nzh>Ph(6(&?FP;r7LV3<&!5+q7kG|2w=J!}Wb*=zGVu^QH=X9S6r z>R2Be@<$;OGHkDOM-qIPhT}SWoSVBmq>qr5ve}W`p^xe> z?pQe7;ff6c3Xpgvh(K9Cqp*G2Y)Dmuz83#OnpuYiAV;jeP|U^fG^UgqRd)NpHHMgqXp2l09b?mn;fFaHZ%nzx~K=f8iEYcX+biv3J3WgV& z2$8)XT16LE+JK*RU+^h;jX41454w49lh9Q1QuzIslmVLMYd_Bh>1u%-&B@kDyyuly z*bA{#slnrKUhSZI_{9_0in)I;>%<@fhnGbA`M8Hj9BxlI(+ZAtr{lJye<&Qdh`r%Y z1R}Seed5FHAPUy-#XWi+AL1sUoc-V9JviNTrsr*)zqOM-XXrjiW9@LjC&glQN3$WR z*k_^v_3l`_mu6Bv1WtYukm#=Ep^vqQE8%vV>r{JC&DBYaaV6ace{X-WCh-ogk3?4z zL=ZIWyEhH!?qmUNsKAbo-|SpFTbVRv-MhSU2*_$$*VNp;?6E9z#rw=&#}>#ZqR~r* zwHM*!>lG|nAx^N;CYc=YaxVu^Kb23?n#(QKQ5mgpQ!EcD1xtqG41xw(v`3OEbHEEs zhuv}OYuA?1}Si@tH}7Byv_DCIxi&R@oQSqR}!#5OiZ!ru?aS$;B z_}F2Z&i4x<>5E&or_dM(qcHMye8|nl>>Dc^j~T|1G5u|b_FR|!Du0;=q>J!;uDE}v zD-}&qIFobZBM_-+k(*_hl1r|i8Q=!#)P;WUt0qlZ3`^!Z-lsDm zVBW3WN5Sg8@rSdjiT%b7T73dfhbISOCsS(h{{??W6}jqtx7qoCrLu$frU0beomgxI z+&!O}ot*OWYaSTSwF*)PR+3-&uxr+~;S8oYGpi(8)!DE)PTqoE!#5+xrA#76r9Hu% z>5w!+XH^R?O{!q6%$`~;)X3vQk>_Tli=iD{L^Zc*TMyW?NfGG|3NHvLh}Wvi8I*%; z{FQ%@v|ot`FS9!ylv|~)CX1g>vm_M-n_r>Ut!8+AM|3f)DjP?Zi1oxi2|Yoqsl_(F zYl)Y{xBf0WTH3X(-G^lS;czWtOY}8nE%|}avbLMwlN`sQ;F@9jSuHZX5dC_&8qjT; zEkz1-TI8GR#Vq;D;N&unIINVEpyp zpK{qm+lAtp@5R!0FDjm2=E)wy08>i!M`^RkKO)I^WwDp3gpNX2N3c`oG+Zzb;L#F7 z{Ny@XdGZK4uhU2L{-F`QR05*8dy1!nCieV)4&kk`PNV3Fb!ZwFMvGii;8}n4PTw+1 zb*M&GnHL_YJdIfI-uaa9dm3AF^43g9`OKATj#s~#W^9T4ohCa! zGZC9fEj;o$WWRb`7WRW&eM_opOQR~IATd{|$Di&6>Sv*D)*~Rk@%-khQa}_POQ+Zd zD4O(u4qS`t)A_?2c32dHVl=_fuP(PlT7=#Y(t67-t=2Q zYsSoDiaB@374D222SdSOfIujur4#o6dM?br>H$b7KCQmfU*nrPWjr;-H?^Zxa;0S| zxaYeyOM<(!^LejgQtlWR$zc((XXCZArpm1WcvH6jDPoQ}w8_!5YEoi_`@rq-Nt`&n zV9=lIijnNMtd-$u^znZJ)otW7pt>`&H_F&kDwE1J)EuHL#9AeLsC89HG$^LG`DH-J zR{iT#&Se}n*Ypkxs^_j{go&3FMUg*$l9sSr#cu_ZfuJW&?%HU4b2$p`m}~mtk(8ySQ#PmyN6R zFz+5_WShG zT)oJ%A(J+^%iAqbw5~U+HAW4Sgx_@CR1r13H%7w3M*t(-tan`}FOjEI^A#pBK*us!L+n11vdiSG#NodbzqGqv7Zc; ztocAqU-F+9jQD?=ftvfVE%k=bim5YDlG9OUy^hX0kEl>BLb#Z6g=8f4(%zq8yi!MZ zf3K=b$ITKVdhPuwf}arI=+8KiNQ-@Q>Fi_`j-PC_jkyq1#5YI-KDZI+AN_WmV-k%Imv=5m_Wmjz$`F0%#>CYuqNM zlk?lu`Uq{prlZcF1aBGn$K5o5lWfwbJTy&he+ARb%JtS=E z5%;}Nj<`LNtJ0c?lIb=T(Gl4Eg6O;vRmFaH#$5&1-4+o|(!RwFAO-i;**SHckl;a@ zHsq=Vy8`t}(|!zuKw~yE_^^WcdVI|pFADS&=*bOyBzJ}Q+jD(;o7!}CNHda}%+G&5t zLY2Q2`N-?6YVwd~m2!^OXivmjg<~rR!87pRTmYJ^pvSoeMesG}znr@|*Tc*AuWkmM z=__fQ9Wrydl}X084hhbgh<95^R{0_WEd7F4pQVCEmgC*fOMC&EuQKfHIB*m}tg@v{ zx>sIYw3z}VsyExw)<9I{$*RR={*-^3Fz}C>{ICxB#0TJ~6FVjF489tyKD5d2Svd~LK=JJ0Czx$zoQjHla{aID7A5l@K7aSc+)W!abH?*o7nMIjIUe(vzn~l zM3{5ax$r1vv!F$9^pR8aYQ1Q-?nBm-7#VKzL1jyU&yY?{%~{M0MCfwI1V6(Gw{Ymf z7ybEMULNA@_q_=6e-v3k@Bl&?j1H22w}=r&7n>T6A+qK?R9|@wKhGW3YJ>d<6N4Q~ zD<-fnCRmHh+=SxQXwt;m?(k6kjpc(k&1}qtWQ>VC&22ogl&Io466^|_&?CV`8XTm5 znq{eRC8&|yK@k0zow6gX?37CVrlx9!k^DOvE-0!N;6TFm9)=?Vm=@+(_k^K;%#wH5 z&s%<)e!i@ptLT}npZMwevIsjOZMZ3TQvjk)zmZr}WDp|dxEWaiAVb@nL@M8!dJayl z7%iY8qtFFPbqa6v6v51if#}kJrjwjQ?D!4|3~)^gHXw-lry`ztqZRI+EG644e{vdmG*_My z@x4^1)?=aiYh*8nsf#hT%zFOk>~g+OB*iENv=sU0Usr%#71PWt*~5>2-qNhyfv=vQ z%6R-(Y4OQfoRjoP;n3o`GDtnA48(s#-kA|(7OKwYbFLz_WzX^zD9@RcTF&F+MLXAo zn2fd-;a@>sIlWL_S4d&*e4X}EyVkEX_h4^Y&vK1$BOpV6^7QWDVp@W7Bo}1W=^Jp9 zXxbi>*)9<-Zj~LUrKK2ul3|sG8E}H|w@S}&L1QJ4(0lexo@&7xH2!b1P7{HunAdas zbtVKeMXAQ-@20fO^z$fTkJtSF&Dp_uQo_`Jf*8%Z$YU0?vrp5OWv_8cHZ98RuPDvF z7&%E(jtaAQw8o*`L(HG-pJ@JyO30HJ`5jmCy5O0%(YBXYS`zRyk zAp$Y!xdyoV_E5Nt&%U1yH?LL#Byee$N&8t&V8%V-#+(yN$-K&1&h-Ppc_Kxwq=a2Xlgj$gfxu#MsxgU3q*x=OL2{ z$qC(GvPsu4vdOSe;YiDrSEx6!7^d*_`)>GWjd%__I>%=2zcHPZ7wJ3t$x0nFbwiu` zu-I?E^P7OT^gQe*r*$9PcN~~PZ75)|z|_gfXu+Ds05F(2+_e?TkLs$x|{`cXoNF*DohT+ydQER6-a z${4c&DE}9l=wH%%c?{oa)vMS9yu(gu?Qx>E)v&_6^ZeJbWNUS};c9!0Qy1a453E7a zg~!H7AEfkun`-*JKc+}AP^12Qe1R_(n@`l!8wci(8ku^1PD10I+xzB6MSRGreb^3= zh6Lqu!4<jvHnle)s2xW9-H5@)67Fp40>XK zA2pExTH1Ni1zJb6U+93YhSuEzZCeA8nwM7DmrchS6qDB0*OYVMJ1Jb?;C~?##Q5b_Si_ruAmmf4bXZFXRRH&RyDrXQHzp>{MuB{6?eXejd zai|x6;-_;JQFC04kn*e3$PN03F2xRmhc#ssU1fRvN_q@0Hejn={I*oI#2ovV@ z1xnrR|6eP>Hd>CZTLOb2mfvD+n?g&By*c}}p@mwwIZq21BRo}Z`+^6?CR}%h~43oIAQoLh*uEAAAj4~x^ zsgL{{uYM&b=X~LCDI5;3RSRcnF{An-?2F79cDnkUp+<=*pb3{kah=Y-@}LG?OTPHVqT5n>aD|Hjgh zg#>IcYWKL@PSk`G2;$7xS!VA}ijbt>kL6^G7r^Z>8}1knI}Z^k-O3`)%JaJq(cslf+biq8Gh-4@uj~wT2gx+FZOp8;{7(R~xZljjp?N(&L7_ z=>XQK%@8L}FF`$IX8@XqN|DC=Xr= z`^?_!i;y&_r6#WD{A@|arE+EPS@#dPQOc#R(d|JGBx1!S*cpCKz%nAX*AymQSXI}XN8>Jl^|h%@ zskRNR1;Se~&FJ{W>e8X!{TRE=#VqO1H*}&^$8Yn^R$_17h*&9Et$N>9a{+YksR?2{LZA(D`3~zZ8lOtE74jPK+*m z2q6xT-c_TjP;tJH4N;G|`8~I|r~ahu%{O_WRo+|3VHM_xi=NGTf?aOFsg1Vdc`Ni- zr-=r0@i|M;Qx&jjNwuITb}i69_b*2YfD2j$0vLMc%X7Tw(FY{W?6pwJyUJ<1(85eK zMhX=hppM&cACf?Sb-sqgBvY5O2wa|L`cCNSA5@#B@;c=Lc@0?*R0*$zcA;h80Ytf` zUL|G(ct?dOb}9y~?j21XI0lm*O!8K!!;Ygz7??{3}gV~GMC@@MRvI|y7fC8 z$F^mZizE{qMd#zXuGYGZCEITCd7Ywz24#_8aqJM|NOk}SIWU#>o(D-Kz*-Cj+$`mL zAJdXTR17A6NJ6O+D!$xO9YaqW3vM3Z9t)_fqaEiNm;d9Tx9t*`%D`=fJQ&VD$T6)| zOaW;w>2MZEh90R{JGc0pnj&+~#mL7G=^T}s1T38znh@hlN1=o{%rZN7dnIb^vE!B9 zUI^gqM4@9Dwza8Akk3mr`%<@;4QlZcAYu`$s}s+E$Dj`hy=a=&Bc+^V-^5#qP_IK} z;Wp>iLBnrSH4n3CiaC$G6fij!;7rx!@S`cskpS7$lgiCNHes3BA?GVver0Om;I8yI zu3!*np%|mA8_BuKekemx`S}OKLn{Wt%d*Rnw2#dQ6#N4rNn!lm8%s<#wh9?ajN%|) zG#l`LcJ@Sd<}bf6`<+s~VgP4mOD1BD@HYHXaQuBQvW$pQJ;w{wV1G;wLhz@qnI5F7 zit|YXT36IQua-&Z?nLN^T=&e|%tW<`UnZp!_4+-0c16#F04EI;MU=~o5=eG>Yl3ku zLy!3XIbM*_kFKlkJtUHyMI)Tv)5c}E}47pamF}QWU3lWVwR5PKxs#? z8xtEdD?dO>T}Rc--rmd-)?fhj`-2D2-qFbc z2zGm?_#X#q0D%BE8z8_6WDf*LsHp16Da!z8Wt6o5GC(lU<-G}2cXNA?1wavG0R+1O z=>S%aE&%&~EC3dcU`xAVlc_qoy181ofSlX_?^#tP zrTfO`Q(Zc<&mj1@xY2HycGZ5Gn;0E+``zx0@5Px6^a&@vd z^Lo$yPUhqS`nwEwR}k3xUllL{T!7YQE|&H{SJ!u%ckaKY^RGSu|EYU3CntNazoQ-h z_WF++KyI!;dn;x{Hum?N7H;pktwCT!mcO=&9N5Ycz{dIyyQRC+KQRxW%ijZ{{cF$A zy%%9-=?J#>0$2jA5LuKR-GAOw0%-qdDl`AziTr;c@&Ady|0nYP@5KFgjsDXi{@VRkvakdHHGHmrKtQnNznA|m)8ECjNQL`TWd z@;?@Tv51R1dIG$e*mzh0OdPCS@5k=_;PG*?`TjQ<|0ZJl*ILQU%?0EMFkoe7Wn}}r z|Nry%ua(ii(MW+U9DgnU+A$h#W?;+rP4*v#zhDb@7ngT!|33HcP5*QK_jU&YJ%JX8 zOAC$`0wK1k8EI}cxH*Gkk_NrqY|w+DP9=4kh4}$hj$Qt#VVisvrq9)(%=HueuPt8l z$4)Q1^7MN{-8l9%UCF@nJR)BTx}JQDHR?7VhP@yb;}Vp#6Mvm3?~6Ib4H$iHR_(p5 zF*SAL;%7MGi8c-w_>13k0Tdqj0Us&volyNOQfgzd+tKSGFl!2qPpA_Pf8W#e5C0q- z=(>XK*(GGijzypnFvImrIwnhW^D=e0t+RNAee~dQolQvFIeLzy48+Fgn{=K@D71mMOv~v%z`7 zNjhpMqt})Gr*(G&&y8y8c#%S748L4z5pBt6$lZnj)h1eqx;ADkFD6{GbB$(uZ0(Tq zRPGO9!+&ccWMR0~$uleF1W`e%<7hH5Yxp(p4Vqu}{FT2iW`|=TJJVN8t^l9gzuybe zYfltLg0nz-rX3jbX*jMlyWd13W`5Vb@_zR&pg z`5!%QQnvhd;eGT|r1wDAPP?az)S`)jsCD$5F{AKKpBz zL}3d8{+_nEG$gU1aP@<=aQZ>D0SggU*b%7v=XZ9srnLlwF-lCxGhFeXV_J=iBFQJZ z@=Y?twEjc{Y+vDqun1!(eMY7)^lDE4LVBe%`4b|jZFgU_zHYy4S7RS->Ca>WH`)(8 zZhx;f2b-F$A@d%4i+2&P0nTI!{BzQcYDCSK6V$?V#p+8Kt<9o~WDiZh_smaFxA4~V zCHH$)bg0bca@geHVlcHk1!+EFEi*_y%ro)kv){N&mRFW8m)i5YfC#KxJ4wBE$x{-) z=+ndsDwA1(Bx5V%moHjk|F}UO522Qo;D2t+0p9=NscXpdTO$pe;X3$+Pm3eDD${Ko8}qM}Y9htEYQ@{3iF))@~s+_AID)l*5fT@vC3+mg|j-EAmS?7Yyl zL~2F9jss!#lL;-ZQPqx*E}~rxo_}Ppo3^Et(DY)F?gRK8Goe^&?E3? zQMN~!#E~65VE$elYm2f<_yA?I2Oqhzx2fGWGneIvNon_4O;l~a*L9#q5|#}2X zwP%qu6{CBuRzswI+v1?oj5v^x@TmIDBfmAbTffR@cXatsu#}?P#D5J*R8+|AWB6JB zB(klmV2!r*@uDx4g9c?z9TKUada{ONK9BJ`ao3@~AaJL<1F@sA2pZ&5WX$-r_QB~$a9hcSLyZH}QCH?IxHt|7;TUbg z4f_54&#ER=6Xv3*oqt}HoO}GI^*_r@(fR%tD(xKcMFH3vMPH%rk5}+3j;ySGgtl?l zn^PZE?~Ywg9FtguI*G}tI>N(vaF|sp?lGO8Q+NvqZC2gbo;^gU2II;X#Zw$Jzj2k! z>)^NS7%Rh(ETy6?WubPruKIr#2{t?&=7Af@!MqCf`Hsr1;Bl832Nc(SghANxr7uVkyYM?s$ z=EiOVDx(+%@@k8k?dP34a05b~S8C_?bmf(bkgyU@pJ~LlbZ(#4s56G|wMd$&Tr^_C z0n}Pfg=APm!izKwUEK&z-w6HamsN`&L&&JOk#1HoB!829HjNJ$#Jhca3q{KN>=<^S z@zrfQ<&ZNwQQDh?Hf>9#$S;0<9>-!4y{dG_CyRO?pEAB@bb2Z!Pjt99m-B88f4X(K%zlDLaYtwOZ}%!?0B&AtW9& z$LY9%$bXS2e&y9X@1MR_u>E{FR-|QISAlS-6=7eZ|Ed{7(nv0T`o8lUM6FQ6Lr;6U z`wX2AnVv620*ZuN%fWZG0< zW`FMh>999`n>jHV=n?9J0%`J~cVTdeaTS?&m(QsV&{7^s@_B&ZvhsdTr+#wsTT%y4 zY04Y~IZ1o!>Br<)Pl1JtFHrVl2(bw){p>GY()Ec+>Iq!qQPXX+VQiM4PaBS``gd=R z7{^t);Q8R7HsdZ`?GBGQ2iv1U^m@D}Er0e_zFF_+7U+Hu6(M9JL&PyPxjXHt;1EXCZX{%s(&IcyRWtBHuz-rDfX^afv<)GgfDK6KZj`Rl@en! zW-Zy=L}5>kmiqdvM%$L;(~cW? z47 zTk3?UZc#?Avs%G$PYa7!NHLhDaT&EhhTOU|p6f(C>VF0P)8VXI5DLE{ zt;glJW6e(za0%Dl9u?+19B6fl{&JK&-gS20%MFLFsmU3wat|M~Y?{uIWGof9LP#%^ z{1)NvYbZM4*?bifL|CUn=Nau)4D*NEwj4q_RUXnb@1{l(>@WIsOpmS;;0+s;NBa2{ zHBjn~;VzP0QrUPHv40XotSy`)hMDPHKab4UYM1FJ6Ot4hI}=?bT;TGR6W<^9V!7U_n5*l7@C&bAOYJLqfNf&SBY=*n?a_ z!wU>;KBk)3hK~s1 zj0Y$_*6Q-SV1ERdn_W6-zg@XOd$!nq>q1R~jIPrEqV=I_mGvO4b6q81Z&GzvAuAaF zBQcsIV}&HX_Ao|J_Ht@sBo8gZb<(}>_|@6x>oTk-#(i_K0d&TyzBGpOt2l#|_S<~H z_Gga{M8Tu)VJqXA#oV6D0KqxqN{dARGYf@Us8orT&3_p5oOQ@8%}bQ2nP5&SWfw+H zSQ)*yiNC}!%|x#MY7EN z;~znrpG{C!XZd)8Gp4o*zEgxj(dk*P#Hx>bH{{3bq6d0fYRjq0bR9am*kaNm7rIwi zky1r!hJVTR-|!#N3Bz_k4&C~wU5v4`K_4+!Tqi^nzn2dv7oCkw{wnqRIXx0bFfFkj zB14@|{&29VrSswbI;UZ_UH++IDj$WikQ#2#ockCE-C)|Eg{ir`|1`}BgMT=S)-G{F zAjF2;s!|3vG3$L=T+OSaSD-^&o*eG z-C5&UF`q9&lna_k8s6g_O0L#w~qCPH;B z2Suf{K9m6w^a-85KF1rQMhmt!br$|ka~$n0K1?aB?cOYT4?(l1nM_NU_Do_)5_CAix^YbS<*dN3T3Al*&y~L@KgG*BBX*-MFrXV$uBO$ zom6oZDD!8L7IvSY<${Kz!p@LmisjMbEgP>{{V)3NFc<8Pet)Ix ziT**UkjD!K7_%t9c@b~gNa~ieRP>bED+eLOHu;)iTaO}R`1SEl(!8akFiPzS)cn89 z4B{icX0Ww~)A?d$aNEWLU{5E!nU|m?W`rTYqqIzN^0ZpcrDpevIrZCI!G+w8np!St zmisz}4_z3M>FZoIje^15Gqh?}c7O3mr;WpN!tgU!-+6H`C1Gq9%yMQ*m_wMeFgv_# zYlE77_NDFuA&9J?@t^>H3+m_0HvT1ex(6k{sL2!X9Q65Ex_Z~ELRH4Ww`_Z7 z%|inYD_hQnAg7G^?k?`=V>5$$^3i7|q6_lySR6hc+b?{@>j(Y?v=+K>zIQN|A}&(mFtW<=p}{8%QYm|0u*apLdwzPhXLnTK#>3Z z;Snx@j+TT1e#rE5O?>eZ<9{T95=7hg0f#!zAREV|i*dXKe)E3vD#ec#SoEgUqVmR* zD+zGuP+)JG!|m{C*Pm^ZN{ZOR_BO_gX(KWSCh>Q1c6x#mj|c42EkDn6NhYCc$z>}~ z`xc;7gnj2>)W3~ybkJp36k7QsRJA`J2BHM^-{I#=?5w zgm5rhI2bFCXZ0=c+6?PSnnU(y``v<1aj8a<_lzLcx?#Oa`Vk1<>$UQkg=sP|*Hd}F zi@LA;8;I^im^bwWMyQzL6Wei#!^9=py z1P49(uhk0B*QQter;6v~fQ6sW9v?FJ5izC=0&x6wglOYeaDH?dEXxSm6xgJN8wf-6xHT*sbW4(6%(M&}5QfJ$F z&DbJUuCC02GfOWXYZv;pT~QC74&9zsJYPlD;|dA(%273MFd~&`xf?PI;-*xd#D#Dm zQ@x+{M66oFseg)SuvEOy4GlT6LS?kTPD(yqrw+j|j_XC`d3_+bhc->-i;hO;-xA=8 z#w#aQqGS1_f+25rr$|QwF7IQTc2IILvM#4TsoXT*-8v4n%bBG+jTY^{Q;sRo)HQ`H z?lX-PRo_=r9aA#QMt;1_;cO0Wt@z>!4(!I#vGtJ>Yk#4kLT?w<`Rx$8ry$k!yayfU zP|as>XU;sLxo03tq92M5>_cDpwJdM7T;ciHSuq&25QaTmHNZ?5@^(?Awc}x-ES+Dn zE02q|#%NUA-+CvnzseUD6;fo=>rAuN2bBXUY@_BGB~Us{vB%RCCX8&O7Dy8VrF{N9 zcCVOn6MydJup5cEaVOqVTG+baJ0hakm*9cX=(Ds^k}q?aI6Jyb5Ti7vDgE;&3JN>} zJsL6YJ(7#xTk(R>-mZMP=G?Yk+GZFkCC_Y&MUI{;oKYOQBWAw9WH($HW>)jxbU|Fc zz0SWn|ELm@9LA-Z+#e~T+G$ZnfQdR6VZ$1% z8qPYyX&wZ7_O&fGc5Gyz$pcZu@k0jF8h=p}m^mN)gGe54HtsCg3}$e>SbkV4pJ&Gu z^#k3{Kc_K_!}*Z=__v%2_rALiAlTDCbgv zwH>Uzx2*m%@!Yv}AmAa|Hb2zdsl~kn9&90yX+{R26voK52|M+~H9c@LY8az8*MDf{ z;Nt;<0lTTU7lgOSRasJ~(T_Q6+_AN{B*31rUIKgR%;N>KvpYvPtVtVB$lOIC#Xc-# zX@JT)x@(*%(nb4xzqGrvf0EQ8OqeZolH@w-S`lP8Ps#*cnvtO`_zKTnvgYKv3|^Yk zb!YozB7{7z<^BTq8y=Z8o|F{%>3^t#b~qs;lpG2&oKVu^3H#>LrCgUwBMhYyKq3(Z zdl8*hzsweI)nT?kHPRAJ{W;)Mj&)lSOqOtEj7FaIdRG|S%ap^5UVG1M0dLbzciFJ$ zbOeONhzxpBjl(Xp!dYmjmW#GCP75TwvDfC)-ABcTvIcO|re?xbH_g7LOn*aE(skF? z*Szl|LSeKCh#NHcIABHX&=s<3?n9`<=HGp1HxHuU$dNT(qfLD^WcIIvgZSHQMyo)4 zQ>c>`A|XSz*SF^JVw3KUG?yabpI9U4rEb*CPoaOO;Xm*_DIv)?$5s$C5tys!)**oM zo~%eW&>FioMmk$XQXr#XKYs;;5k~zz{Lf7kHlBF`+kZB6LO-Z+Y*a^) zNBht7C;X8B-JJZsy~of>8oMA#2I0Z@wL!13&YXDr$`3X&#WoI04AZ3%R>?N=M~1=@ zppX9jP}bntYxVT(J>%2U2ZFCHy4TKZl%H8`v*h>Rjuy3P>gr%*lQeZ@xRP`= z=?SAXthj{fVUv+_et%S%c#!DeUt`Noe;zn=6F?;kGhBs1+Q>MXQ={h$QdWHkZ7fch zd((4zX&ODRf=c~YmIOv}=n;(Q}g{)+o$fjsiqWT6eD34u|#H8wyn z=%d5wzVB2Q4ZE>DFhMrP^n+OcGneN5BYGcjK5DfTkEZNLU4LWWx9VS-0k9W-u}=GD zGh>2^cdASui7PaXVQrp0hzW38`Ud!an1AKAT8Av*QcxYKV7s=^>7e6o$dSlt! zsX%vFv#|~$v7^tVRzG06&7=$z0kqPFcuKL-?aq zVQQWzt1QZA>l+Ndgj{sOd5C#z?Aqu2(&ZjRz23h1a(^M;qP6^?&+Qt%1SWn#s9gET zh)Zytd}ZEiFMtO4?d1diRk12@*Cen?>|Tjb4RUuYq(%z$zy{Y-9na|y*-kPpa=)Em zZ$(z;D)CyVcE^)yMZ65r=3LwV;x^T&k%qXd+gi8e?U;7CnPXCCuta2w$$XTVBhVjr z7}2fx-haxpgt$bp9O<&Cz6#F23}=h$mvc(lJ`;ho9#+>{63xt zbSDc8AGFfaxwQXAqki2X2*kHb!>gyC1q=WF_J4<5A6_~)lI2(CADC|Y3bGCwE02kA z!RhnQ_Z6%{9_@_Nq7%^dpQO=s8J}4X^Wr$KxRQ~rC zn#b5%#j>IQ_0Y7D%wDKs1wy&S3I#vi#I3q6G=B1@k-fvSnRV! z)||(B**y3gkI}g2w^k(QOq!ssN=%V8h<~>fFEPnWP7a$gT%^-O|9R}UYbrdD9bZz4 zi50$3@uEHZ2&+8vl3EJNxU7!bi@u;gDwqq7~Jls~sbE?r-c`@!B;(v)E z*=qbg)Dc6IM(~%WsLXKd9irYm@`auafy9NMaCglyq^8%FKXr;7NL`~^dUCVb-tz+#7>~X7@hsyc}f3yD{2qJ(j?pC zVn5F)yZKX5-8pLO;U18}v)sN^1rchxEgntAGrZ?Az#dX1k}xTnEd%Y3a6M(G*jdsP z)*x)}kcrp)pmFqL0u?`WS%SryFH>)ug^F-CNXbE4?yHEzGqB+4=&Lw(JAb31V(Yrq zz-2$73tYsQ8IR36&~P;LiQ$*lTY4tWFEz!&vIQ~RQDlVX!o~RC+Q)U0w2{6rvvWBn zY&8_GrWoc+N`6Q6U#ORt*lzFSQQAjr`QIweos^q)ebcHYe6Z`aMi0g2TR_SeD;LeYd5Qi3un4!>HLSh_ShyvyOd&-j+>I0n>FSnR~Y{v_D z*yp$QJ!%=YE?~y|S5jtF`gq{M0_T_}qh$Z~PJVYPaO9@fu*Y@G#?qnL3uU>_z)0Gmon=6;(1N z#bjZNbn1h|>w2=fUcsrZ%L4!9@Ba8aLLq<6@I z{VXQp-mxUuPV~x|egKii+MQ*GvNI zem#y_`P3TZ0DpAx4zL!oD-FM-ZKp40t0c47ln3Q+yoT1MR#IRyQa`Iq&(!B}f7XXf zQJXWVcYP7OPD?V6*8GLg4zJGca1?<%5^shXF!~`^M-95UQ@Ot=HU*`QjiMs^PeFn)mpF$O_s9_8=M);$w{7zTRTYp>2P-@Eu#4DSuFC$`OV%?Xh3u5*u(lo!L|Q zN|x?;PFpoSbnOohI?vL0E4VCC;f#BVancJ8V?o9~#-lcdu~_t@%0iCqUUH95 zOZMQCZk?(Au}+{)0^MXsyC*>&@^5Iu!!vVD4l$_>-UMIQ`A}mVt30l#5L4Qw@g(;p z{i^7zJQ4cE0ghun+IT+Q~D(6<6CI38Ha4yo%2@%XSt08(@l6iy?5XQu%gi}{}08943 zKL;_VFXz7WbIvKuaUQC+9Gy$rTet&oRaw8rt8(~tFnS(~FUWO0IC#x3N z_A)T0=!z+m4_(G3*eDl#KvU!g^>@&{o$R2*Rjo<(~8Vcn$V)cL2=39%c0&cDzY z`+v(k`M4YDWr@6UV*jF89F7j;A{^*~uCkv0);E$(NS_JZ$eJxIudAq{#YW)%k_!dJ z(O?7KEA49>M0DYr{o)NQ3K9#As9O3ZRPL(!5|6T04gM5xiBhcHR@jYL0dcdPpZ1E_ zm}u7VbMopnXQ*DH!Rs)1MxN_|9(|ommVcIo_lghYE&pQ>#}C-A0?>VwxlJZNUzORm z+k?c0y70`i67|FqZ2eODe9bz;KE_uqwFo_+$lE$^%o+#9;F(#Pq?UiKCy0Uj!lt?R zDb6!^gOtsl7##0TCNx_tE)7hlno}+dP#VI0tC7Sr!cLRL=Ulssu@Q03RFDt*+<)+v zY!yMIB?Yd;nW=putkxeM91YWp(`T)^7mFDp!k;_r=hryUg8*AhEAU^(`!-&DJK~M1 zOcjaevooJRCj5d#6Z@2a1a8EpPszdsrP=Z1vnhwme{5YD^p9>$PFg+Yqga6Ow@HGg(2&STK5 zt?3Q-4Hc|gCW~dpoi5OMe9CH+B}}YskxwgH5QSiz6?a`&?Sa0bj;`riN0Z*f4aMkec7wt`m zIci#J*;gyg?h>PI89BDVN$Bjnb<^8kl>? z&1`$vn=Kwy0KPw;C!Vt7SYuubiWgw6L{=b|!;}%{VuMvV2C6r6&PE&q_IDT3U+M;S zkdWf7uc~Qxpfld&F+~MKB+3E^GFI%rW%AdZZ0Ej;QW*XD4oRLKH{@uDLNR5&t!MWw zbF{Fqp}n{Hp1mZ@cYi!#+WgN*ilG_lZ<^iHQB;vbWh4#_v0sx|%r9__VNu)}9Mp)3 z=3!ic!%Y#t<&DDqF^iFgJ+F$&&nJIgo5qt1qtLs4e5Q0qi{Tv?{{$ydqqS-}=jtWg zfvv`Yr5z|}p}W=l8X=!x{iiIvIa8S~krgyzxvQ{l46yQ!fq%!C(sjFPFV@RLd2u$x zqc`eIUs3vUryMY3W7NOlW08Yve9~oLc2Qg{(F??k?C!9bR(CSlTCH9@BmZ#cWVu!9 z=~t{^j^nOI>Co(?5a@t6K2uCC?05q2Ozz>6^i^D?*8ex56D*BHB@XTjDIie+DNAg87o5W!RLhc^>^Dom2)#y^T*a#pW8$o+&I;sGpOnHX9=b% z_A={JQim9ODK&j5`fVpLLWYx5eujbO8nvTzDvR5L?m>sr(?R-ky(dt`EA9eib80nE zry#to4xCNiv~@=#BY2a`8cUwAn73APdeme}Qer{MGJn_WR5x@s8IIe+PG6KVnj4d4 zg%haLau+EYp5FhnnQshxr;d}Q^8C&5#uc%VoF`sPU3R*5T+7g_fzR&yRE#1;_|9J7 zFthJM^+nGWqCH-61UHAYCjuId@YACK+F0ZoQNI$w{a&709HYd8B51jI#4 zX_S955`UNnkuX=yl@;B87BEk3V1$aHvM}mhgE6~b)!tr26Gb~9P~atcxe@9)Q38uY z)Cc_p2fwV|x3V@X(sopKSU%l1pqbOv&jGw7iBXp@r)y8|;bqPnjbtlH#?n$Fu)6Wb zVK5n85>%d<3%8GYzi+KYTE|0aC>m$3Gh#}tE`Jg2uH7Dgqk>l8f7U%dz4;JXW}p&u za2&44F}+_R5^c|Sw1kCEq$S`}yK)q~$eYo}`xaJ|6uW8=Oa{~JM>EImyZXiXR93M^ z?|YGhzf4hFOfkkEfgCvxc*H6nH`jI;?VM*`^|~w7KV!oaAmm!ga35Ixoex8o-nLrV zlYe+(ZC@GMrm-q3T5^=x$jO1^<%moHXs13h0E^^BesIDR!IsM(E@ha=1EF#;;WfM& zo%Iv$m~Ui(JWEipx_{_ZDwZ*AXequ_$@47u8GTKu?@&v0+9@v+Lv4tx=EwZnOoYI@ zg*L<~!C&vIN->krVi_1?Lc+cNKu}RYKYz5OMNKv6*Pv0AB$tqS!stC59TtYK*{68( zwd^L+Mg+5ISh*zNszX`?O>AKn%S0^b3PmN#O$u>|$Jxyh4w!#1mn2BY=`@VocR9Ko z?x1p~-h$`jN)k`MS5{I-FsG;4S+?q?WYPouF#2TU*;su`n_{XZlv0w$X(=%H#<{ZES-T?-lwv7ST#?WKH z4e@Fy`^0fTvJhI`rxt02?M9)iR)6LXve{o>p!!B#JfvlQRBppKJPpq(WPWsv>xL_g9r`*ifD$BHtY{9z~gVIqEbH$Dx zGD?FPu~D1vYGOa*abvNd5jW=#hzC7DWcj3GcE9t6$Mv$r)WZxtCXQf)Q-3xRMvKqa zddR3QdJAnO_g|djSLnXFPQvLB1iRk(ei}Gin*M`^ZrcM0{DqG38>bvPU?@~u&Cwrb z`VauNs?XL$@j^$e3Pg+7P8~!hc%&RBNOK?TBdNSTo6g>Ia_5tb-xcMYl@cw8*KFxDNHU>4)V0#Kl5YKZPng3Fe z#`h};WKP6p<;o&8pTs@T>N27NxtR4K^NG-^%!*%`(Ey_NxFNm90;wh-vHg#ErLw>q z8QNo!x%bcAM40~3>Bp3}uw?d^#2N;{_BC7a8#a_4YQk4HP7WhT_kUQ6@(FoCiC=%Md1sAabpm?FL;BQ3Mo2&uK!5Q0JVY`^`J_Ny1RQFR#eFfAUY?`>F{0277w5K;V-pnkkbwsI*w>V3 zM>Mc6y*@^VQJJd5?|*a>jLqIL&$Zu9_h0)jidQdM>Az(w$nORtn{(;N- z-X!a_T(j**cG}R4SL{(azi3=~gdDV5B4J4GRWgbXErM}8Cb|k%z~IDSDq}p!s0OXc zwx<)6NG}!IXL9NhK6k9f^sEA1BPDNgD^5=uQ9T<0n_pJv`5RLI4@1!3q6%ehWOH12Hi-w@_9A z2?GN$F*vtdSpi@ImR$iH8!<323NJ=!a&vSbH#sv3FHB`_XLM*FGcz?glK}`Qf5lqc za@#l(eb-muab{ByuEeD(HC3@4XL9%2@nj|$KgbeoYa>gJNayzTdm1DmQdc{h-7T90 zK{OhtPj>?#DZ>QwObZs66p~5Bq(-5cQW=w$DJz(COiRg>VA`ON%%DvfW~}JpDzkF)hu&>27Q?acB^_B;20PJ15^fKh$tsehf&TbMui6k zG<%pP$q4k3=W3;e;^)E!UiW% zdX$jUkaNU~bv*|aMmT2CZj56N3|V2BLqFosLyyDw9&!#9kD)z4fjR9hYzL8Wg`xuJ zP{3~N?hOrUN-mz6z?Zxx7=xMxW~ z3J~T5-7(CG=tE#Ng2Ki#f9Ek6k?$qwhP7V9F0ktzp;7?ivL2io1Y*iM00GsAo1nof zoEd0zM*x5l)&-AnfYU<&WGQJBik*!7C4kOQFd-~@MiVyhs!0YOVmhM>sHZp<2Kp5V zXJ}F+oMD8h(4t9_u%o^t>_9fj`XGCc9x;Bx_|w_j8RG}+mm(jQf8*J-FMnmf{nq>C zZ|y7&_qPz@8J(tdD(N(*(~M3dI^EJ~m|DlFb^7bZLDcFXgf z4X$8}aDb8mLs9{SP3cjBAU#@Q5)vb1gh)!aGH^%;j2zt^N{9mmBwo%x-cRp2@5kq! zd(QoG&$;(G&kf%~OGVwaM5=w9`YBI7loe@nZa@LEihKQI2IjNnsa(I}gY3T(72YZ=&R#0+hcga+{FpVm%7RgUsDDwUZq@o@ zGq0Y~@BJA^WY_8o#~1Cm)xLeC_!m!g^lKr<8+m2+zJ!LRp=#!M|47~B3e#Eb;KLLt zcO);tyP4C%pX;4OcB?C#Z$;LcmG7savOV^2ObGq?Y(t&Sy%MCHpcMO(04_*Lst9)I&m6g;1f3nN zyosIxV^uitx`i z+?c?u*}E3Vsjsm7@~3~lZ_v2WBXZCnG56x|mV^!P(AG$ahwvzSnszQX% z&yNzqNPhzc&iw&DxMF8~2j~7=+)mxWsGIk(xmkRM<=NeAQeRYK*0%OS_dC1Cuw03XRB6pUZB9Tez-8 zAYTvbY}Ugsq71juV+KF>y)rO3jXzH>)7Mas(K?N@-`XpkvEPSeyW*Xz2UtDOQ+fD$ zAodE0E0@FI&de?I^?()&cNMoHenNYWe2t;y_v_4Sd9`*t?WG=p`VvrllvrAv7i)ac zIlay<`FPjJE^d9;rdaFfX`AO79=GwSURr2~XcM8}Re@R1AZbdfg5WbObfY%&YTDi^ z+t(zR5yswP=;F2bN4*LBhDp20MnNL3gI@Xo!MB&|8X&>BqZN7FQ}xLTjZsz-PR}w* z?^Y&l*@mAxC&|zA@=Nj+EKxWv#Tly8Mm*F^pZcU2upH%iHvXy`)|!hi!-YYj&%VF6 zPofJ(0TyjgkEGfMQp}X~$lS_Qr?H1v1cr=kJ#_8Hj&TzGYuRGr?7kmHJ zj+jlsju$QXuEtHIg;ai+#(@@`XxC{I3=5!!CZ_&^M}@8Nniq>HdgGf%BOA$>AmisR zuTblh z=y^Xs!`_wQ(#5?wZYdBd7L|E)fIb~Aw&njL64D)<`Tz}b?&E*v=A}ui$OUoTdEe2{ z(G~}{hbz0`Txq_@rp9~2SVzLIqRs5wcH3n%lpjg7K)Fqk-y}erPw1(xv8Segpl0_v zhtVisf~8ky^9j!EDh{EZ-#^Z{1zp+S?2KO3LsNDxm{*rLv2H0M!P}jDhzMJiL z_IzuZI6VArX}@Qwc5Q5J>-pl$Krv~Qv3zH#OjjN78{E%t>_dsaBZ&`fQ(6I6jZ?^e z$iLUF{usNl^_<#yLZ&9XVz!7a>vM@tAnz`JC5>BE&*0?Or9&cjRRCC9uoErOA)TYR zQ&DL8g201Y93$3dH6^~3Kl@0fIlX;B9Ji%I;~eNf;v}tkUgIbw^Jm>r;wgD{r+Ggx zlO`yz^Ue~lv=}PFAJAF0KU|ky?AO(CbSv{G7P(v{4*zxF1z*VAf5&n0?=J`9YU2@f zvF?cH6gMNBfK-_kxlBBEKRwV&?^!(hb@qcLahlll2NM^!&YoV`owre0C|kZ>#h&`0 zu5&8-Hj>_(?Zx)~-?ZxajYA)n!tOGSkcBAAz^`fToxz<9VN?j`NAIaPYbT%RBOk@q zuj7dvi)GqYxE0I&M<*rP^-aw4Wiy+ZTgNAJySV-70W_2g-wu0-{LJr|H8ps9X_3Qh zBHL56@6&WkQ>I$89;4zmWWWM)^S^haPxoz1lE1HTcE@1&8pUrDmK zGGg<(eA3u#qDHWdP}i+P!Jv2^TOpo_gwjek`@ySN4z03Jk*Y|4CZ(oA|BK8PA=S^o zd{Q>q^0p^Qc^T#lIzc@sRWsa|;qwSISqk&WIX`08e`e1RoTtk+aA zeRIsRJhJ#)u5vV4hxKvWGyHK1gY>M?fY}Ev{IT$vZe(MUuWSo9uUdOK$lhnane_S~ zux-^}!NasaW224zJxTsU{r*@KUQY~e0Dz=M3YQgobH(x_KOhq^Gj5|Milya{#dZbXF8E0~`wKCHgBUWCVBV zqtb`=vKz1Jy_&55rvvmAk`vY*%D`C%P@fi{44#xmtGD~(7-L4H5JvWMW5$TX6IZx% zPjXNp8?iEG)aV|&!+wy+TPs)BT`&miaY)1#n}(86{I!cCIwjNMAo#tcgY z4TNrfm|Tg23%nr||HSHiY1=O@ELz;gjPU6QZ!KT@gLQlxIqyWC5U#f`a2=*OgcTPK z)myzPP;)I4C>$h$Pk2NK!GQlj>!1iilQ~_GC>#m{LtwHJV5kTfEFuN~>AF~{VqRJU zMOEdYU??0c4gDV%g6$K!RC)*$LZEv}$HO7}|1?cT`rj-~8Z1Y^DA9@G{0+OETfi)h zs}jF2COtUn(!Qr@+^|=OM6of7)C=Bh6@?ca{+ULf*9s(>5HrS8YaF{SvSi`uu0u?i zf?YqJ4;KBxt$gF+N5NJ_GPervH5d84Bijc33r*_o8PiSXrjw9R!Cs#beUryB@ii19 zAud6!5^6?864d4j>!zy#?&%|mr+1_(7mR)wbOOXa-tT0U#y@T1F+0}u zc{*_@=RSD+yG9-!{B~X3&^-E5ORk`#;%UX$4bSoxZ3Rtm zBJVAw8`?{TE4=H1_B7ikY^S7R?ETd)VBLY8s53csw&eV&g_-I1DVpU@Jm*n_Z`5gJ zm32_&B~e}8g{`-rKoV}dA|#`ee0?b{Yjfl2O?u@o=2c20OFp0fln8Q!dV4xS91Q#v z05Y`qu?9k5XC(X)&>RAU0U>8b0~eQMT&jRUKJKMgr1H!jAgLMYMDmTLC z-5*{7-duTiJ*6!oC+A{B&drsJni%WT+29fa=7;X%2_O1e_T=8Vrb$KG7NwV6Au~dA zTxcQY3-`y6f)!#Icc{igS2D|u?DOInPQYBaIA@Te(fzCV7W$!J#`Zb>#)piHu8hcn z*TAV@0dC+wvMhn>DS=p=U9e3`sDxdRNlLJ`U5MveAZjhxc`e9dEu=hZe{*&B>!o+( zb5??kR965DeAyk$yjl*pEIt$H@4}iq#}YHgnT%n`DW^-13zCW;!#9+lw5?XeZWaAw z=_F)yO|SN?c$k2>SQ6otxv#j3kh#6_qi-Wk4hW|o$}+z&Hmt`m=~hn7qwcsPcrNa0 zYNgOwOKl4|?==b$7i_^~V%= z|0*~YxuTdjJu?F*4EfyB@EQyo6A=@UgRwOXA0G^(teL%qt0fULH!BlSBC|0ipc!k@ zc~kP{rgqONs)8lm?~a>u^Ux!~ElEpey&RtxGQ(O+uS7CN(thOg8I~;rQL2fOU9G)L z7--vr!ym&X2k&GntG@8r+4JRwACW`?Y{vN-EFxF(W{B@a1%r1o+2z)ciV!QYn#P6w zQ7o%%Ib-E->jX|zs9+oW7xCW0r4xD|LPKSVE$1$-?TugM?VP z*t%z$%jI8G*o{k!Z4v%y89w3{k(^Tyq0Vs%D}&)^%Fx%&#d6_>VEUuy8EoCe;R0d= zH`E}T^goZk-F%;i(Lu0jgZMd2g7PMm#sQ3pW8!AHdn64MJ6dFx$!o_5MsPhL-P4sg<@$(=YijpC5?hKE@<$1=)pO}M1NBQ zzLjZ#$;|%j(CZyvB$6MX`h*C_%$OSFgd2v zWPqbPw-9JwbK{+K?Ia0xU1LfTGn>HczoRF{qzaR`vT z#~QdLLyyAo<`u`@$;lyomy;+iwpKorz}VoXeI&lu!9LjJ3DbH^Xw2BK-QxFd(YW?p z_^-zIZ)3k&F9L*70Ff-8i?=CN78>mE#(fotqP>unvVXmBgBfTc_^TF{7P@aC85Ub@ zM%DaYw^gUd5p4Pbh0%3KR?Fq1`IEC(4G9=8!Fhwjs?DH=xfa%)7wV`IM-fufCON<YE8w~aU9wI>#=N357)Gl)$qd(?at>Gf+AN5bg{%Lio(MS)=T%f^9#^hu zHTs_7#V3~?Aes$Ko~EQujB_2ZrL!(^fUY8obqGXLrFGH6wBT+g zR#i8H!$3nFuxUCQNpvQjOn&0Iobg6FII7s zGOily9rgZVxqcxC-RCrWmu<>JR37(K>QQT9t8RD;3+gVxpiK?ecn>~hR-`D0=X(qG zm8a(SkPwK|%bTS9n5t?%?0hXmbsYH7Ol!B#MgIU$ z&>P!VL3UAxLQGuP^Kbk{K1&cJ8^HwWHxh?WsDYJWd{`|avFw^2CthGRn6CwEptU<~ zTJ1dFu*@`qBlX+87=L$d_9wTFwOBsYDC$`P@&vQtL~x(q&wspp z+2|Z!ch3r=)|n{v+@@1m)B7e()0l7Mbv!}PzfS0tTxhMGPm2;3X#TQh%-CP+f>xVY zK}7p`?GJp7e#9u5iEcvMcp+nD?Z&-%6x=bMneJR?cs=rIj&{D>-Uf5+c2RT>|rl!!7oGL-9)$ z{qqLCHBmD^eR8v_=e(<{roS0D5Lib5)V|_#PLo-k?P#Zfqt&qt{-cTy_-rSmbHf2D zGv{w{Q>oZkp`Sz3$H|!{yJ{2WbFC&S*wShasfY+JhMNCA#QpbnRsAySOAIagx$vr- z(vjLxVQ?XCcS)RmO$dDIs)=(5n|}EDM)^Y|mXzgQzS6CMCG#yR;UzJ#8)c;cXbl;u zN;+R#zjNyz?TA*qz433yJdRw*ikdrB7TRFJoq$9J4+V1?`Q_>gFr{J0az!KSQ;gr+ z+f>&nA(l-bM=LQbyLN0(BOL11l2CdC!BEUvv(z{07tYcYax&hhlK1!Fm#=?|;=&I# zp)ou;04QV~nP%B?k>DbLjC%tCd?xZ>F}VEqR=cdHRVjgchRP>#XA{QeXZ0Yl`TjkK zi}(kf?@`^D+o{+!QjjXw$RRzbbE?!FmVY+ZxJ2@W1mT9D zpjS?-HHVZ6b8^xWq&-Tz!3um1w?HhU4mnAw}UxH_8|+5J!SKiiv~{eQ1myWBT}1CMQ8JGlY$Q|0vY% zx)cYFf)rK&m?&aE!2B&@Ky8o%f#i;Du+E#diTlT3=79Op#72wbmuM34(epw{t8(*7 zzj{mO%;1qK?U94Vudo^C+*uza)%I`qKz2|Fq)@q-`G-Wi2B@- zv@@A(w{R!|JBkPgR>xRu0-AtpRxYQzyj^1X{YfBXh@8X+!4GdXK=>XlOK8^YL!C0` z=TdX2@R>wYs{)%m(KVgPeD@en@t>8H%g_wRyTqh*V5{0Ye%x;$ znr?K#|E(-1Ya<+d7#;{Gdt);7A|53t=l@cgnTVN{llA|eZ!AO{OspJ<%k6N%{7B0GKUIZ86ui z#I{>{{)qcb8t!Es3kEPaBp-<8kbi*1z{te@gbV{KY5*<48Y6zG?Tl@Le*k!)KEMkp z?_S-6+kkB6MTNeNS`?oM|JCBIfx-w8Z|DE?{PNz-q9a3r)ddJE0@;+|!^uD8URYvT ze_F)!_>fJ(8Z!8=5I_;#UB2G7j#_%I6Ya_G{O14m802My7DQAa+~!97;;SeMc>w#o z3y}Z`KqLRBZ@6E01T4tcFF;Ei5$wIR9rJU110LnT))LKQnxnc?-+g5o(rw}bi^gpGliDof5vSQC0S zFcLns9}Mz>8^T()NN|5ijms5QsSr?~(;fJkN11zHzvh=_0gm;5^QRwTzADvQuDNA?Tn{za?{cGJySVbAsHR z-nzNW;iJlf%%fo5C-52Mtf;k_ zTxu>mSe4|Fjb!i;ujtoLNaf5l0QUe1P z>=rEq?O~v;H|8^Ci+vM;pj!2J16%eLGhP!chuLf_#}#)6f8Fj(aayM(%Ar@0cuAo* zc6Zl1Gk<@v6a>dtnp&@}nAMc+ilcmG#*l)6D=tL+-7v5GC6zj;;>Kse*)pDi*fBjTtzR{~NM$V08RzgOc$V z?kCI&pc`b;U(1Z+5KTvdTt*~`Gpba@W0_Nk5#BTT7-SGVs{EOO}P+a zkr9dKqwS-cI;wfISaC>>xdb0Pbu#~PrRq_wi)yT0djCDANXfR)&@I$j7S9c_E6Vgcnf+ z?2d~#Z8dfTYHWIaZ~XiyYk7QxyBl+k(qFD(#^liMN>mdI2L^~el$reNV!W)Gad#tU z$GgKwXdvY!J~b~K3~+0-xEipY_9E~E^N|=i(S6b}tk3y_tYaCuV!EZPmYA2Ex=leg z(4cvlxLbgpp9W%DOOEwqUH+K!_~+{yFdko{5PUop7p}id1SGtY;brG=V*9CeO(>p` zT_jvB#JumR(6+Bvw}sx`y8z9U%^FWuwJJNp#ZKPt=yrCUq1o-6$F{UO`^68n;RJoA z2fu*7XrM>uV{y+x19I!BuN{*C2zNZKy2D^ZCz@$>zHq64m4#JA>YL5-d%5UTu?hvQ zrzom>pwiPwqfKqH_}url*a{v|;4?J_tI6n_X?0Q_lHlS-(~a<1LOu{lNGn)a=&PG~ z`m3^%6;+8bZq1XGp-2AK4kP`*U=I*W6*J*D4bz1PVICJyKp`pY8aa~y+<(Gtw>dD} zCI1;}O2JoWtr|7Z{;2LhvK?*V)~`zrpjhc;OyA*Eo+vewD@x7OC9g#FEM1B_BZ%qy zbvhh5CMzPuZ;QQEb1=+YpmvgE z+eNAj9L{T_!7|ObPfptb62MivtFEG=s_ziBuVxEAc?w-Gt#g z;bND9C5mu3Z!C*^oVp2de(R>HNNxN1R1Q_5dMNmfY!TwrD?Ek))*jPh1mBh#1fdb}9!W<7k^}>T;H(97JeD+@rebljB9Q0mD5@{qAQpC-tt>XuYHQ*IboeZL zpP!f#oivMp9UNm>hUb=1scajt;IRI`vQAMDS zMwf8k@NjDqzfuxf0iywZHru&ls|EVI+%A5+)z@GzW&#{9DxCuMFy~xDZMI(TH3)%^ zHm41Md+C;fgSzEB%YyBxqOnd3OC8cRs~2?C3|+)W>Sdpqu=^KEuwIt1$%Xvmf}V1#gL_` zphEYFAhQYNGWz&){)Tj7DR*5z#8r2<>?-ToGH!n%(C$)8dl5SsBFo@}x4hw1*op|) zoQ%*&BWu8y)qxtVjTKjXCx-0_8VpOicl8MHWozB0M*Fi^l~{?Zp^2CcA-Dwr7#xam z^;9qr-e}2^o|;ns=KA2PhIvC>Icq!I_+fe$ckDJiTJ{swDYX%0G*kT(ZS5r4VO`%?E2cA8Ghv+l?lr7ZYFqFMTlNmLR0v(%xo3>#*$0Qdrd1^9=%y)=>e=<}X zqt~y53f^roYVzQT?*jew&(-$m)2lNwNnLg21zE^fZ%&bnQnxAOoFZ(go|_8bq!;ll z=6d253P-PuO%`@xvzv~=)w(d??Ipv7n;4e$nxQ4Atp95$;je_W>A*nV6LD|1ZQ`b# zm>l1pFs;B$7Nx}(%-B)o2$zy`lJ0D{d=dUsEgpFzr+M9su|Z*yDo!$et_Qa)^w`-o z7-SMWVvkNPoc&JNlWaGC0on=Z%4f(=RO&(nYJ3O##|7N@aU9QDZ^kLnC4wVspx8X7 zx@3zIp;iDZ?rv8z3vC3N{XN61;#7(tr8VPHk<7e+Fe)|N1fHTCgIiKzXPiJ!&s$=a zO}tHejSt(OaboK=pvId5tbb1SE8orz*((B4zD%b_s9u8DoWgk3*`Wat94f*jLx7%U ztB)#)kf;P(8`qi-2XsI2^SZa@-XCCL%IiMES`S(%X|9Fy4eI<0^L4dM+ndAWyzPkY zDaS=2Estv1WPiZNjBtbYI0;uS&Uws=F5p34qDLm-%V%6`=*~73`Mt@0d0$vS>=HBE z_L*8BihMi3IT#z(?B)h+osttXTc@okzlx;^;%94g<>qbVk|A5AuJ-h7*0V*bFrACAN zL#*u^E<%Rs#M@>?85VpXxJ|34UznPb2Ii{)F*s4&Q-!b@fm#Gyav$o%nZztOPoe*P zKX772?N~0U>ENj7rs5rq^(05XxEnCJ`kQ;(-`Y*S+fLsjDWT7<_aM48QCuk@8p1hG z*%6db5!e*AQ{Ql0Q>@zt8zq4PH{j8BIHem~-3C*dI-l|k6?9+w85MNW=TAd1EYuI4 zaFIxV<%=L8a@_%#GuwURNu9%v-jp>e&IRH8Lm%j~zIhy^;j5<4*S(mZ1u?Z+aWjp1a?b!ZLm6O@qQ`dM03{!Qe=c?jSUIZL z%iWBu+Sa-hXymukAy+Xbr3|QV#0Md;fq*+vz_HOX2KZ%OAH*KoB|LTdyg;N*CERn_Am1)Y~Lm6PpUPUGe}rgK8(d^Y|&GMM{fGN0-xBeX~2RuGtYqF0auE6^6+RCBu$+$8?8@`8*WG zb)21D-Pd6k`u|c{ZDtd5T1K4D2^i{4MkgiGETI6nb{Xb9-Gk$^XcM*?-ZNd;m!;40wah$5npG;} zIOD7B_<4F}aE3*X>~RIN$Fk=(tX4^kJKjFlqCc(<{%GjwiCQ$X7s{Zxm$fg3c&P^o ze%#@Gisd{A*^jr$d;uj)=H~E%7vBpWD;Z!hv_Bj9=CsE<81q={rn6-mm}vEI;9S5T z=^r!n=-s~LH~BoyL*ibB04nJP9Qed0bt}IVNNVXJV9=!<^(z8I1`V{M=|0&63X6>= z)BwEXA^q1x7gWIk5l$O}FMz96bjaz3+VRa7}zh_}{FGi`YA5;zC%BW7G zjNIHsuFj2|tH%Mtn@-PgR#QWcr3A3UvLbxAJZhQ1@t-F!JCp=<7_Vndo?aeBqOLsU zaD4&l@ZAwQ$TNQVSu%*m^UV-Ty8C-JK<6R+lht%sRY!u}QOMl8J|>geEyIX`d5~oI zBJKUvWY{7utN&Iw@6t_|I#Gppz0ZjVFQ8iDdH}h8^Jjndo`amSWhAhNtQGKl$L5KU z8Vu)=2=6Jsxid^%K@hvAPkhfASekrVXOmv_dKAVML>p=O*=JE;Tw3E@j?Tz1#$C0Gq#4g1FgzA*`d!{1 zwqT$!R~_*F$QEf&qDos{;Y;f&8DQk8ihfJ<#n*ewy0tZVZ--d7Vh8NXPVXe1>Z^@N z3(9cUFXXo2p|IZPfXI*YRH|d+xxTxKNi#Y!$5g7S>Z~^CBy7IaL?sk@g0P?Zxt{#d ze&VWm)VRq_tYP9k&RoJ0S^0`zot+{~L@dVtnmdiAi!sUs@4aECmPj_sZpF(aWo1i; z3&gDsz7%lBjz;}F;Rjfl;2$Fu=;j@l!af_2WSpp+oxs;y0ordd|VqSkHl17TyUt-xO1pRRT&}WMTZS6RAS%^Cfhh&!3$*h6~cSMVg zM@2>2bNfzb5TS}Ku{Rt)s3W=Qw2wF|yDnWOY?>js`QmM^L;8x% zsOqoc#bo}z^FdLJ+?g8$|KSVgK`pP_Nw?*oyw=m%Y{E~MrOx!R69j|eo8wzQYX3#I zG*Br#t((8-{0SybYLkMr$@GEdL%KZ_`mt+PbVZ57FmJ9y;7Tm! z7m0MJj6T@Fz{_8o^x)ddyO)K=3GWU8*$l>hAHu0e%sn#;Ok{$6LuD(Ye^2EpJf)?J zF(N3(9(Wj5XR~ZRYvw=F9C-6B*OsMnn>I~iW!IAkqyaGDyS<{x)oU?OV77A3hG~rg zd#FGuRz*>AX={n=>4KFe8W!0u0_6^1*~N=mSXD~@X%Fq9R)EY%-cNuIZ75V7Or#ab>q~LueDsn#$m@vVI7_2WK#Y(u2*q$*V&ayf2+jZ zhl9hpumPMK!B^=CEEm+zKnj4_jZP1O7E7F_2t!HE1T7@>wA|!gLxCWBNrRWTLt()&)?Z5$SjABnyF%I1#`Dl;DfC#m=QqXT*DbsN-v6{G(IU*`))}QOaQDNPd%?dt7US zymlNPY}%8nZewp5!$>=94zhkPSDVv6ZOOZHGNsyj#`^)#&t>~7XM=l- z&E5Q;p+y+{X^JWu<(Ni`Fv6xSw)49!$TfKy_dW#g4M=p|b7wU zYe##8{8B=TR8i(XQ+3aiWCbDblzfWt#kK;~nB?6}};Ao=Z0DGf*;m=}Wzg=6h zNnm{(NS&3b?f$?ig?xR5o7yLP+SuNj zZ-4DAFgE3J%6XY^9zAHY!k)(c-Dk#3Fg=R&J$%;fAAHkuLLQTh&VTRN&L2JVhi5*_ zYC{my5mwErx~1;MdZT}P>=Y#WE)`08UY{V-Of;3Yd(G;EfroH=V>Qtn4Kkk3UK z+p-A#KvV61e}OFXeDeNddPx5duH|gB5)Z=#=1P1pA_3!K;o$!Na2+=jH}n7CIx2v= zo9fbaONp>{2ex#FC{Jk84H8nQk^etpi?etPBxgskpgG+TK0ihJZ5^A!#|=2*#AManHaS zA^5OD>a{eF^oWVTmd2HUgZ;xnqlo}3K;TeVL_|P)n5d|O=D=gT+}`aXcGpNi9H4rn zf92(C09t-wKvi8o`<`vkVH-RkIeb2CqK5J_2uKn`phLg!1q5IqLTkc69Ew^K#HMUBD%s%{wvK;oHRJzXG+@JdiL1i%}F&_0lkMm*_3J|q++&=NA7OXH8+Ucdd} zQ&@as<)UctV9+hF>?U-qe~@1O3{;<}x*d3NuLsGMQ21{9{v0G{-}njf!Upu!OJ|W_ z4`do7BM6vVFenm|!qBa*IugL29qk4V)RX_n56ISM;PZTg_AG$HDb91Qh z-raviSG(Kq8rlB8O8jH%*eB1YEsMEj0B3)aJ)|^vM2_A*QF*2V;#T@4uV;kehC*XCVYle^3Jj4XbAb_=lp2yTf@Na{C_w;vXfeQ8C7@MaD);1sVHa9a1@#BK1bp<&@ZwKigOe36)%<^Xvlq}s@5J# z=#omkB)@8QY@9dW|H>tsbf4m4M>ms0H{|{~939%p`1bf2UoFkL6z*btxL0Udkzzn2wF3?~L_r277oLk?d@lR-XnyYX&WJ$Usv(0; z8=|pKaalJy@S5qWw|hJzllF|s+D#{*0i)ed($8dsmp#3@f; zzp3~j<$@USb_J zO&tj{0JGW_W)nLD3bqd7)7%?2VUOt20zyiYJCqeC##}hnrJDkkp<@voFc*wTrz@oy z?Fk{ZUm8@jlRIu9wvPG~UgPjF=J=)S25NhQIHV6PRNE4v`lh&tAK7{J_25pyDxOF` zH6dY1`1NasnzIe-<8)(jv<%sbt3Y3+f(PR%AUK8sASpHANJiveV0ix}Hf#oqS|r(SoG_&Gp*5C(0JxUW|nhp$2=v}!jfIfX#uDM4uU zUMyRJ$rAR{Jk&HEaH^{p1r|eHDDvSQu4G@FES;-0^Y%yCGasx8X&TKtwpjZD&kB|j z5bhr{+j@DG!%6vQRx~KD8szm}Hs&sintrg76FNF;Zsp%4t=jiQyuP8&<_v7QxgK2^ zyf%68SHz1V@uababV1&vaW&8vE96^WIgiMU)8ejM_jKC%rSST6sFuHHmQ1pb`by_p zsg@asXuc%ytg=3*6qefBJ#MJ7BuMfe;3WnFJ&;SNc36o5T?>>DBrB~ zu&cW=f5uiAmt3WV9#&d2WU&W6Kdm8F+I909hhbp-!@$M_5{-5ZL=lh3UPD-Rot0~K z^V}U8n-??ga?3oi0#l~QeMBoB!%g$pT;SKHY^Lpl_PU`4PnpEBH4+ZDtn-EjAg=Cr zsAbw(qA{*j37BpDm*{}ii#)lVDEI~M=zXHWR!YZ6S}$Y-UoMx#<{DRlFk4jD=~&3M zZEyW}IB|D?R)_oj@FtVq4io8aNe~5%7-y_^ImsoC6knd*c>W@h;@pz1Z3a6yM;kUA z*J|z(CJ{ptrF5q7CuDLX4ZunkCZk=3gkf{Pt99*hlrgjrANdE5 z+B8!KfbjjwPypNyQNK+ABx^v{1+Dyl)E~XhQ#`%jmM=sG^8VsJExdRj7N^O zUusz7qF}bFEK0}leL*qS2Wn#3S&g|0^zI%7g`$9|LTX-O5^c@{ct4A3=yoa?avk}d zi6*1=l_I2@qBt18wH_3imN>wvXkASvTJ_G^UB#-2=DP$3BwHu~o*xTC=UmFwYZ??%R6GjiV`oVax zuKqlS)k}IQzy0k6DD^b_wF5`)9rAO!&nBDnkGYbOK7w#lC2w-TEBdSs*yKFv*^Ha$ ze`{{Ui}6p=Sg*ELs)Gm+EgX2;`E->cQLQ`p~F$=P2B!R-$nC2@!<8= zU&~Xei~X=*CAs?CDLKOy=UZhM#1lXwO1j@@3EgvMa=n_4R3t@JG8gr9b7=fy{UIUsmE=U^fS2FkbpVM`lxfcNm$d}IwDWr=5}F1r zyTAh@gE3}%@~TEc4<71LQtCpM>>2Fm5aR`?-QPn2GPXUnO{8eeSVK8_Q&m25M~_3M zD@!mnF$Sa(dAP20k}PicqBWJPXh+|oey$mOdhm7yy0JiK;;d}$s7F`EC zUX8fupw0`!Ay5}ltLX4hnx_`o_FMKf2vmqZ7-yvaiTHqPL-gZ)~rN0{)g3N3UhT&C!BA9>n~Ps+lM%BbBtes@LOUAvBB)|Ccz4> zzC^NlcR{bnz?6L55@OTBU}ES04BAX>9xyOcXxeyn_7+ttMNPOTf6y#o;&6SCLy1y#NMNM*WzLl7d0V_}c9R?3`XU~X zzt5$83dBF-1zw#viAmxO$`hDApK7Ocy5BiawOVl2aNc@6A8c;2R+TgWWuO7nA%%H3 zl%>?U_pd)lxl<-}H7n$BG)qi49_6;bBvAfL;N`8+wbeWEM39`_I+;H+j!mFd^VKFr znr^*Ch&x_{3Zg8OK0b^;as|*g=9W(cc=Efdots3W4t`HiabEZ~(Tch!%xi21ILOcJ z8(pwVBtzCm-I}~GeqQ>KjN1Voq2$Kw0;jc;Q1>0;W6Yz-Qeo9__~a&nfWTqp9Ebg5 z7L{83WYKMsfhQzYbA45vql-GK9_e+L^I!)enuin-8<9rx4-vG7GH=6jLtOOpf@`KC zcL;w`&WS}vtk}(bey=vE&0xN-PG&l;T^b09NOdMV0*`6QpI@sPHNXWpdLGt)5SeHk*K@g zNlmXv-X1{|6^sW68+QFxBM^%n!clALf!6)|LeD(ta zrpKi)x#wm7;><`t(pvzzi(B_XB}>eNb69i)22Sl#CZ~HoX41Aa$#B&Y=0Tm!HP&(g zkK`_8uwWgJk&p$P7#sl60iv<%dpz)yAIDj;wwBpHd3OVskW#FZCyTw z7Al&qb{yc%0UwKvaeQ~g%U1>S=J=`x{y#jsL)~{2cXkoZHvcF*l%*BpE?v4f|1II5 z2drVNWg%>hUQ+|C*&n8Me#gWrDa8XrId$f37(P|{c)>$xzu{-kkldyVj=4ffGt;7` zRIRTe1Y_g$9$Ajl!}5{%?%^Jh5p34H#&miQyEy4mLYRm976$(jG+737+Tk$yG>?X7zBK_W@4nx*&n@Iry>3Dx<&xy(UFx+lHGGJAk zCxa)t^ZXKtYQ2^Cn&63f=hxau$=EigEHW!WjWEZt93fF@1Nw^ODD zbQrYR3FYJp3YlxEv1oXy^D(C%O%5>%P^&-4B6TOmlDjN?vCvPu+iR;4uykcv%r^d_!Embby$G`eL|~w| zcP|4jE2QNWjRn70n!k^d@- zE@TV3UklveA40ZSip@QjVsb^M6(voN8YvdAmh1RCpDtSh##48fpmv;|k{s>3Uq@JS z2y_aba61jissxcku{x&uygZ62dM3r+W(5JG4#Z7jxxDd#auh3Q+jxY#HsYcF3_DB>bOcy_R0-b3+>IdehY%SDSX!VG1E8hV!ww%cwaC zy-}LFm9xs}-}#lEcuG!{TBYJ_ig)CceZllE%LUp#u!-+%&r8_lu^b5+U$UUF8^(a< zF3{E##h5yMwFt3{87#L`H#jK<_*=TEcrv^byQrq+RhtVLf0vx9x@;c)UGKTgc_<%AdH(ta z!%@zokBH958@j>R5d9NeopkUyv}^ZkqL5~@Lj8^GPJ7?HERK3Y0di0fcns9Xm3P5t z#vNQk^^5Cx0+N<=p8yL&QvjVZii$_b{mn|eON3Zl&?^gOmrFq#JfVaatZLXSH+Imb12%Bp&>ju zWKCx19roI2rR3*XFBya?x>2tS1~;hP)pY*gwJ7i`)R8(TbSeZ^3$r6<)IOj|GqZ>l zD4b0fshFq&sVdJ+thk&GxsSU{d$`-BZI#g&_Af`O=pm_{R;d z$R^X4ix}4bkR^m2dds57Om7Ppmt3jf!CUJ<&l6K&c-{};V4UuF{QWb15c)(&)w&{2 zWRJqJ*3bqJP11)JbE?5>a9Qw)k;*E$+{O)rjnG^$6F!jMScEQ|u+I*EDk`(C&-l!f zjM;Jj33)YBO4|`=s9|}TamBP-Qtq%@wH9xPouecU3f73ST#owwGZuTp$dawZhjC|d zgbfkj|8jZ`FP~QiK?P87{O7*_!n=N1p$m>dEWq zgYPXs@V*Xsd9Ngjmtd$E`Pn9jB`L_1m5UAJW+#v*q0e9g9o^a?X89p`X9qruLj~0g z1?fX3e&Ot}hdk>$k4RW$wuZg%XXq)LCT0E`9J^BYBvescccPpLL*_gpAq|l?Xh9)VB#V1 zWazCAe)ZP67K{SoO=Cmf9_fAIer1O(8#ko zSkxIaqr{Q6s_YZrA$PTmG<6#6BQnAgA37v#es(P~s5z~FTnbt*m4tb+Ni{6kjk8v< z^}Te}Bq!?kx=o0NRlb$8=&Da_J}Mr)Z-;5fB!wi!+?WBT%s{zMxF z#wL|Gzgg65>HVv)+V%c@k)r`T%K!N*a-Qx+qO%SSp;I{;C^DPqnQ}LU4}n>hurJN* z9;nj29YGV4%}h5^9-TG1NvUQ{H;YK& z*pe}R)vVye>hoekldb#d6Pdz3$$$Jc{8SYV8zWInP9wR3(}!m`9v9Cu?EtUaB1CXzVR#!1clJBjR1s@@&!B|L5(*n{iSZ47;F|C z?n_zzIE$9^^JA;p)gxgS#VI>y(^+Y_1zq#PsOTdFGkANAus9OhY;49a5P!>9*6PK3 z{3MKms%Z3z*l3F#hGNd}!JU%^ml^tfGLSJw_Dige!{A4odz?ne%txMT?^USM0#B+~ zL$k#uEpT+H{V8?V9bA7L~9m~F-KODZ47?HqG7|qck38=^P z4xbrFRaPgyM<1a^*z_5}WW$9OZ}t&KP4dOMr;2SL}%gV2_5uwCaTV`*6%8Z!sXR z9V)wIeKEh5J8S`{pno(QKnoYPL&#`<8h*vGCj=snSe?N; zrYP`4j*Rhgv%Xo|Z(lrqA+%jQdcd6VqdHVmucdM=jN!+L71Y)G3!bcvze=FZC4b82EAc>2lD`UHgW@`2pWq%g&9KQQZ7elgHFI|y@ zgWgkmWGOLvywVVAYi?p0ex8pFlX4I%E>2wvn)a7@0lJ-$mcU}p>uFdojyrp<>xCw5 zcVA!5@TH$neN|S|uJ_eXO#*!I#<&FNf6TBb1vKXQRsLm$LE= z8<+LD({D*}t%O$1t5b`B+hBPk@xs$yg>9s&W|$^r}{X6sUF+SAVSPg;C&@FE-j+G8v9!|S1tUmLtyHRYt`k-@3yEV@I1;$<3T#7vfzOAJtz}S>H zlUhRM{C^o;$a<*okEE3sxk4SEt1Tvwqg6}!L@2knR0Aj)Q_Lm^En?yrFHDYdQk%W( zQWF_5=Hssfn5$W%50r(@nNUo8?g@ydy>4F$y-2h!v-WrSQ6^(U4+73ag_6p76vTeUb{Y5Q#I!9wDG<2|IdR3Sqd6j#k*v0KSmvoD|p#s1yue0)@KTxLdv{mT_3-t3TQe8#vOjSzbOF{ z$$xKY)$ipgVZgILsq`uRp!-oTxMx9{#O>GI%o8P$h~T98JeUAq)5KQ5(V9p%KT`~uZ#jiN+qjh>+G;D9YMdp^Q6Fn`al z2?#BymU~!GvkglJ<|=@iLQSd7!S*;kD^#L*(h4lIMzA|uCHW=GC>q}i$ydM|FLKH=Efb}F-<$t7;DE~Xwb zPu4Y0OQ{wmjkEc%g5v5Lw<#Vt1%H^N6}mA`?{`*k*d1@mCB*ABMg>>-gnYhqkw(37 zd?bBZ66O5Cb+3#$jIt=`)K+5Xljpjhf=F)M^}!$aXRM^ zV(-49ptq=#vOCc=bwmnYY=6WOF0L4h=6Xcr`70t6y-9BF@#@G+0qZ@lo$;dXHudGM zZ*MWj&6XKQa?r$3Ne4yAOP{Mpi&;b!At5JZ-h3@FvXzYVx~?^3-h1X<6j;sEt8P3O zZM;h0L_;KLov}D@73LEfMQ(#C%=(UR4+E*7SjF0aM1__;l#Fi`r)!5HPEx)+p6h6 z<;)rTU#-d*h6-hFWOHH^+L;=gI1p0)#h{|0 zq5Ut*KOuzruK(fryVKs(*ou(+?}HP-!rI0XVCC=^;{SQ00suhhU;-dCGPM8@3d+c; ziA#$TQi@6|5sCt=0Csv7gtCtM7N!P-lBNa#D|-MHp^>#6p~b%~2o0>Q3{C$j&7S@* zmViBfp&p^V4Zy(k?>2yo0l?-T7cHR;z|PXt-u~}1p{YHgv7Mfk!`~h_SQDCB8CW

;V==^w3Pq ze{&i*{LO7_Y6Z>k&!~u78CerDG5(v~(9z~Ud`I5mpP8ZhOG3}k+RDO}&=6pM z1kE6A?eI4xA?5#@%JlzpBL5Fa{68Y_|A@T*f8zdkjsCYo{QrBN|2wpZqlJaEo+aR4 zn+X5ojvdye!TCd8hs>PWG?%4vMZef2sX@DN@#k|GD@F<@axE7eaSB zCN?%gI%W=*zekRliSXA?7SI1n#(x1Z{nuJb&%w^rg;3*f*^Es8D*oR;|FzP8`fo78 zRtDCF|4fU5gPxV)-vRqi!#{2VM?1T}y8i3T|1J7I*8duH0Kf%c0KK|oZNL>^mXe<8 zP=k>@G$EwX*TeKq9J0)c2SGn#-bs&Ai6z5l~>*ATs=Ya(E;Ybg< z1x0rf;3^l_lZ2`_4{4LUot@@?(2qg87%uf(CBprBL2?^ZosCiXaCbsZUc2Z69B- zj7ty0EAfmd!NFD6?xEh`3+&B_HReS>mZ3wXv^CZ3Dzc8mc-zD1$4)SR^f=a*f?QB7%{2PZ zDMfWe=ZMZc?OI4%(shD=w5c(Lx@jnoE}UjCxjy4j)oLKeG-cYEIN~xgotQm124|w8 z#BVgSZN)VIcfHrjj!k%pWB$CMy#QHTjc#r;>fc6pPIX<>ZkF&KWS9AKS`z%>sI(;D zb_FDBW>$)qh`df4kIgeuUNQC8A&r&l;%7#L&5%K;SNLluCrr@ zko}nHq#d}tZ16;lg9E2SnAG6TPF&N(Ys`6yuDUx&Gh$(XUDCvf=0Kc*nG}vcMKz{) zBl>GsX6Nn)-u;XK$=yCB3r7iATBv=~@l~Ut9g6iblk8FUoOGD_DpIz+osKY0qfnJj z?sa%JI65*a8_k{R;}gJ_8SdEire5;4CUMSt^!G2K4CByYIDXL(Nz1oBd&W*M9SLD8 zk63b2h2Fq_?B=%_{t?X|mM7q4-=Ewo!63bkRqCHSom#n;*gj^eaPdcbo~F$uS`)JE z>n$P3;97w@6uLgIlAwi)@1C90YP@9&TqdB;w^5IV!28uB2*xltNZuv681H`G))w04 zCBa}hrha=-!uqX^<1^Lx6pI24PCJ7rmuj{E&yL!E6zsASo#1p#yz)>*A`a8)h6 ziYvOQquZ^0pfoL(DeMW^^ph!i%tQ$YqCc#R`sBO}J-!BKJw-056(6bhLQ!n(4u}>m zqRy~mML_;|Mg9!0<4wx#%;WBhU7f#OBb633#Sr0y27q6ht&{hwV2;A5#p_pWXGuVO z_pVZZn-M!4cMz?05;`Xt$!+bRP@TZ_%(hK%=f2cGUljD$V*vu#T#7w{HMAvPPoh*5 zrR_iZ$bkue)y);D;M9>aRGFO{ zyg=V{hsJ^RE<=8th0uMH-HY7dfbY+aPO=!k9T3^eyf|ObILK;&-+P8OpOsa$C5uRZ z2vd($9Alr_;g#!+y*srXWWhFL_evkKjcKdfD>@pxDVs$sG`&fZXsTdvVL-$4`Si+d z$5S$`@k#62T8eVXzI9f&g&uuh(M+ zeS`cPiSuka>;)ypXuKKzyHA;$wSQ@?u!1cgk-$fO}Y6 z#tiMwlZ0>jOhN!1G}HP5Y5d%F7{8_BF>`Dci@y5K;)menGw-kBY5dvUu^)baBc#R+ znJy11hGN#+N5L|F-#KxqQzp~z!bb<9KR(=+BHMD(ANC`sLL-FF;-&6F@n94GK%~zl z+Xu8-1{gz{D6EI3ypHdPG8p1M89_UZQXQJ7SfOWM_vEi6M~l0IXf>RY8c<=AjVW6Q zE;`F#=2jw>VtO#I;)&`+c0e8Q@(Q#Gs+fV;Ct5mp;83_PqC^3S{_H z=rl;A3USv14OdCI2G9*rV59!%G7H)%2I@S0bP($UTN*e1U=W_yv)6im5j@_4>5h8v zf_mPy8+B_mkzux$tuMFmN3Am;L`igR47b-L5E@*wWu$it{!t8uG5SSX6c62x8Vo(K z=8XC_rXKsbQ9<~-GP2Evhm&xQDQBaJXhg52l#z89(yd)|_tx6Ncm^lA^{j|G(fIWj zRNx8+<=1t9%p6R9RZc2@5Y1Jzu#y4VwBg7CT_DUncDNV`yqH0fRk}5z%;xu=tkXMK zX}5vOHOPl_vmrMrrdq7loUEcX@vAd*OAbI-^cJ1;>x;4HL~D#p5sn0c4y>r z80|E%s^a1O2bLvHT7rrTO9>SrM5i#Xy#y9IQTH8zG%j{*g5x1>#w437gXzj{u&%`d zH%Ct|gmRr`a&RUJPQkqMQWH@R}*X{-g z9Nd*R7;W<1<;hO*naGoT9w$A=>?X`{A&Zkk;$Ylgn4=envo!L^CcaVq-+8#w)eVr( zw5?Ue^|spEVY;OtNBiV+D6z(r469rBM+ab2VPd907UNleD71}60#=@qh+1_jc;p7| zWhb1NJ2P+XI4D>sa|y zUty^eOzFt<3!INvvi!>N4H~0nFJQ^9(k3cDNffByK9nI-Xiug$@1qjhHAE1$h&AjU zK$FpI)CK4FZ<8OWZ|jT#o1O4Ol=8$@J|skJ6oT7zQqt< zCqGE$SJ>`?^s<na-qDEyAS_c0X*9Hd`SZSe1o(+-cB>R1bW*o`{ER4KI5CeSGUndnsj3j?e zg_8yBm?9If>V78gZVQ#kmT9ER#Kd>1%=b?-Mw5!u7FEdh$X zdF}{*WwFj~#3kBBYG%H(pSo&AvUcxw$(9IekVd-GTpzX({1=%=2g8V1vdaScVd`RN zX>Ab@TM(Ka4xWw#3ws9yW=5A2T4QK4u%iMW9Xs&d4^co8>+V&_%gRLAJ;6Wu!wYsR zHwr;VSB*6oykvCi@4^~D2OJwD9s?#Ze5fsdliZeYSZB9K52L;6Unb4Tv>~>Z!{pPy z4>QkS0Eyd9lXdh2DU#&EiD<-MPXo;!Q8$t%~n`BTEgd^XX+I%njGKnE8~L!%e0me3DV<945aRNb2NuXX~=

^vFvy2?=vS=`ddx^&jH+S5#mXzhp7_dQQ6bUUDh+X|=uh4%O z)A<*yo(ta1o-$*g_v;F5Rs}6_@z7KYDl{asYy=a3=D*d*9c3a?KW32)se)r_skk;wHS^)7tcT!TOaCt$D zyf#})kdvU~q~I}gsR__2LhEFK9Nt8){ZKm-PQ;i53e&e2!Yn8OX_5bsBYZ(olhY`l zY#!qd+Z+p3fEr=)PDC>6OW8Gi>h)uaV$%6FC?4=RFIVN~=ZudN3^s_|gKVsSsylu( zVcV7-aYk_7#dKtFdG}^MUPU^CtS*TId3|IR9UIKk6L12Ndp?)OohU4ry&NliLY4|@(Cs-f1|bEgrYDdi0% z+BC6IihJ#MZ_#kTA5oO#b*JNh8JF64<`&CqIc-;v<-V;$DQEO^uojDcoY~H43#7Fs zFkH6|4_c{HIY#TM^OSXO93-+eUp6~ghWirH40(F}F}F6I`>1h`3@NS@PkR@RG1oT% z7;-+q`XJ2xrQZ2VyTxxtUvkG!Pkr4TFV*Lbx8N%*QfLYb$+(lDA)SPO+#7pq8k*Eh zAU|fW37FEFab6ONdwbK>9bW(-05PDNJDH&2VQjA-v zI;Oym>okC(B;HwqQ1qk8Xh1&fsc|2oFniej;@b~I29zs| zAdmiN(fN)b>mlIkPybXxQH4bcfBPZCSiGlHOo($L*R$?LnZ{>-OQP%h;~e$Y2;de? zW=N+Gza~efpaddmcCU)VlCxm);y1o~sgabCf3dEA5NP^PxY?v!b#8CK4%h%74I3n^IxC``Q`WU1xOIMl*<{Ev&@hj0au>QDIu2MMpuSfGQCEM7$=ivtEmyXO4 z+pl&xw>@ott{4<=snjLMQH87OG`{^FDuPo+9@7U!0TF%}m#Gn)x@V8^Ao2w(y?cto zL5`VJ8=UiMRATE)b=aYSmm}LYRmW&P;_s9JZli?92;J($82-7Sdc8*)*UJi)fR}E4 z>J?mdX{;dHIBE09C*U{Jkg@_zSj{a_)iJ4`(z(!uKX z90M7DfUw@&PKr4YgspuIC1cXZi8W zr;~cBdtwA46;j>Hb8T1!5EmC1W!V_?-Qtlt6qswwf{i)#zGkPX_-FEARl>3v!F zVu;WybP{|~$(kf|H&wWDHO^wE-mtDms94N@pN?w(_D_|~oUAPLus5kEFGzlP(%8XU z5!~RKGS(^=WkD=Q=6wKraM>l2Q?lR`A$})-7`D$I`V-Q(YQd80J%)8Hz6C3$D7Kys zJqYJHOSUL+E`pdMz3>^AJKFLN$sw_7UJ826?A_8-3*r#t5tT-npy~R`&@`d#$kEGz9p~{4wv2D3wRdQHbbB=ufE$81U0fKNvE(L6bZdQ z?+Ja$x8{dD5}6P+?KC_UqRhbsyJD<~b-}q6{vkQ!l4fpC5I8hx3&jh^xX(NOa&i!Q z3(np2wx$`dLaEMQl23Pj|U= zN3E%9`YSNLwRj#@Kz)McI?=Gbfh^FXJt(1jo(gi=N|$??I2OM$LwBf}Q5cjh*-z*h zQjToXEbPdMR&J$&9Om~NKHRKYaK7h*O6aCN6zYQQYcW{xi+J%mSrtpa$DV0@ckG&< z++~4Dg&p~EPw7lA(Ol%LP+`-5&@?(|+owzZ?98V2_e6=m9BzyvDHG`isTM5fKv2l; zkKSUst8x!9f%4_8rdUJ~-vZkIuJfJO|K-i_?Pu*Fw10ifr^Lq0+Q>77i1O;%|OWC)3iU&Y3)g|bwfeO?Hz2NGMXsUyePmpZ`gB8ifa3t|ogTDux zac1WO=@z|X@hX?GA;M9fRwuDjS?#Lr5S-FKv}@u1&PnWPLoW)%V|tX<1u3SL=IW;h z(jn?5X)N$kHW8}=_hR6G(a;@!IV<(YqhSZP9i+WPzYWzO4|qS=iMUjv_1qKg@hWiD z>1DM2{-IFgoiyq4b$`=i@4gZwWlTBWN5`sl9l0lSa06-tS4c70bT}-wj92md7^c7) z9$pG*h(MA7E-cy5aCK`$K@}c)nTOM=I1pzpbfRwB-u9l~qJy%33*Pt__Nk&+?>~d5iC}%H&jnG zxzwv6dAfGYL9POXi&b){DK6C1_AU@bjfN6)R*2GZJoglLvuM{*|C`dC^XZK$Fs*@q zwf+F`$sc)ku3c`OQL)eVCglv)(c6RKEzS;sskV-@p%zvEZvZq|355Hve6H>;BW6IOqezPH0Nk z>DXa^H;2Aof5=$zXV#ALoDI_e%}8jF0aw+>{E{vItr@F}P(oNE=(x=8z;huNTv%3Z z*i+DaHuxTHjE2Lns{<4J>D8n7335`p*k~|nVzx*T1I$e6NFic0E#`Gi6M~wq-&nr5 z4;l3%n>p61s@41K;MYn_Jt=F!V!{D^&#abzHe68l4}1=1-{pOwlX0}R{0y&z?yk35 zl@|&AVrmE%S5avoxK<9+jH4~;pCXqc6O|i-+r2pKc*0M>=` z8;)Ro67kkFGAO@%=~$!Ak~+;_m}xt$Js-O~gyvin*i<0kCr6dz(pe`I#)>m%7Beq@ ze*mDVLWZ>3bhw0@!c3DLR`IBZi39Kv4$KhlbJeR#NaD}hz77L_ZR$lok%(?mt#&k# z>^=8HBZQKPnbI-2K>si}wau1NGo{o|Uu;B*4fSi)`|=B-mkCbF^v|CP$N`{xPXVbw z=txKP%vCmG@sG#y{u)v104vk^F66X-q-I=CDtF&hhK`h`YJRKAP7~7TWi}}^9?0#O zjKIK5(AR`A2C7V%Uy0r1E&x}U*NG$Ef9a}ci>xaaDHtfZtHBz3fyhl(i;jgvBOR$- z&@_H}ROd^ggM;tvGD(-BiIG4LulPvHh?bQX8jvS*?(A&~pl9zqjbG#VR=Y=k$GkIS z;sxBQl3rNZB&wLMyQ@A|Iwvd?a6-`tlH9iTHK`p>gT}jn@92Z_Uyk%Ze{_-w6-iCl z1vli_sxt$*z`UD+7(Sn^s(<6U8zpFY;R$y64NAtv=^baIDM45>5xa~d17R_z51Yi= zRVbh${kbi}5P-7Qd!OhSEE!;0S#HPfBNKT4k4nb{JXwerAa=uz9$bteT5F z@tRyODAn_6T~qlOKPbC@3!)O4tMCqawcMLn+lQmb@CskyWeZz;sdazKi+mNQvcdPW z0%~du6 z#>1Bt`dd)-HTOM#!-kRMV#Y~_dKS`)4B#CCbf!ZklkSHfrB0%`NJKt)7x~Ri8h$Qi z%vL8z-FbXeM@1n1apR-G)Y6f~kfOE|E@|InQN{y|fn~nfVF_oMZ7$zN#!Fw`$LXpj#$YWV=wY()*g8TO#_MmK z$2kOkm4p3zdqn|S+HuaL`4Yf^USEUNBg+7p*jY3BF1zYx3sByW5gph7j~(44VtSuh z4PK9X2nRdzWl7{=LKLv?=s=_gSj-+k;vQuo6KE! zPxaIKd*s`z{I7;0&_o@~R%G`0t!cFEIkg08Ye=H`Iq957&cHxnC0Na?QqY^rPaBqh z^pV2&Ybdw+jWbyF(w*MElC-dlNjKEppEsM(B1?8WOjPi|ePgRTzw_0?X*Au2kZA9H zW}P<8hXCP?Y7MtsoM|9Q2p(|2+*5&cst0F!(3sCqv9m75kQ*(#*39Fnq&EoDAhhSc zB;eVrFBfJlE*kG7DiA*KOhL z23WVmfd}|s_$!55kXFI1M5gt0iGeMl5Zy#Oq0-d9_UO?J@av?apf}|0>*{NN_j&OW zE#oqi8c*oA2$S!3C2PeQ0${}Dvpy^FEVCY7))-E_nQU0wvnoI}@2YO^nvF``qzmH9!(n2`{lfW>8*ZNjyY zrY@H70IIN%U8v0tZV?PTGfF3a#UL4?j1Urx+>g=0I5zqa{Dlt-ZUO@JZ5n z>}f~Bg<&C+9hHqVV~K%Au+n4-Q)+2^Iew#8@eD?qx>%Tf zyau8AzyZkR7=c5G^b}F-C+Vl7Pjhw|ocuro^3_H*NLYgo^GPk!*Em|kc16c0!AgnA z+UAMXqz;;N?A-1)r9@Fy0N>FGS)zFu$O)oc9_pcZ`WpJ?b}hbt&wJ!Yu61Kz>M_h8 zs1fpc$|vXx3cSiy@QO-O_4X&TTI2Kwxt@Y^2d>vYy?55ET3drB=|zRY7L?$`8tWxp z9HqN~>KC1>-yHPksGv*PQskIbYtjRG`}JFBa*6qu!{FRaQV5!isN(=cBLr}9X@o)! zWk$44pot3WO-+G+`%}dEE#!{*%76!%u|8P-azgW5K?a29pFXT`D3xTNhHzad5MU8t z_cE*IoGB4_WNtoi+H`s=2x7rKGSX)}N2J#usV6xwoB$Q2?^v#gJRWy_Qp`$^LH{Q^ zT&IBDuG0%1ZV4#{Z<4-8l|vcvn4VJ;jRA8mobaIbH(IBEC&T>bi^iDS*TZOKJDPWW z$9yjaR1cJp(~gVa;1BJkV|quHb{_!hhy7Y3Ej={w5*a+T=`mYWj9XvqDGMb8Rv<5o)pwTWAk=y9Xc1v66Ms6E$uQ(9Y}MZgo}$gY#|y&0d_~KJl3_fDyQd!{OP>l2{w}Le z)Gc%`;{w;TMT!b#nQ+GS3GKxMJ#XhnAvYF16}o?8WdYEDi!rWx>TCP62hl{ zxZ$2d=I#sU(#yV3w@)A*UUJZWJGx%<^>8NLuiiS*_9M2Ad)-yx3vUb`2cAbs-cajZ zIQ83XR#wdoZ~2xH72X!ME3ydUm^9hW%kIVa{aiJULH9(_l z4?t^L)hC2;mnj?4R)$xy*5#9*lRBDz1%Vb?yE@&o%3S$F@egp!|5{B|XZ^FBDwB4FajgzhBx1)`uh(&%UP5v~~x zlyiJzTZd!N9%Y@mGW{jy5mLFB!vH5Fsx^WXdsIcXmMuEUT|&G)m=GmsV0UzXL*W_p zgGIMk-3#Id8RVm7z=xRc-M*7H)rqr~X)LhKA;Y8A#BKW>#=qD zho+ZkI$P%7zw?o^*=uhZ>n$%6uls$4)rcyadYI#e4u?UL!V?&JT*5%T75mFrPJrTj z`Hn(94P_!fWGcgOyyfWXVUg#5k|<+%5;YDdIM)376TZs!JLT(=E2EbFlZvgk5x(ko z7c>CQcl8+}IezK0dvgQ7v?|HC7WIdJk#Re&{CB=Eyu_@LWC0p_ct;_5-t~4;&RW>d zc;cnr53JQVANTnurSJ40chiKuR!7`h$vkJso%vpHf(g)3@F29V8#QZxnQ4oInM_U| z&4{-n2{s157Yn`)9>iqPomkv=Ib*CWt&U-f3npU>)Vmj99SV^g+(*P`3AxKV29FV{ zQjHj6OHXk7eeZjr)Eat~MA?{rmQ1b=XMoo5@CSI*xh$m&ei?O`6{9f$ zo>EtkCWbtq$8|rKoKj?ezJi6e!0zSu6B3oMfhnWT0n+h#v+yO9RB01`uAC()JeE;B zyuha|&t<-QxdhoHQt0KdIr7Vp@laP(k_>`obTri?=|8Jq0-{7NX^!d-O_P1-+TzwX zh8X0LXZP9QiijMGU^;K) zOz=glOa_j_$@obH?Zz8E=aNx&?Kj8lF1wr&qw)?&Uk#Vo>#B>dT-Uw@y72FA@=L*c z<{=xkc=!j#^+A=LCEI&3+f8PPtl#@=&n*IKHsgVIRP0YFF$_1sC&s-4=sSw-T3t%Kbu) zr)mXX?)L<=TPNI7jF#x6nFjsrM(Qm~4bwy^Z0=S#=y9}vp-=xv6E#mI&#bV{&zEFF zVm?n1p&f|>qLFjkB>aUKy;BpNgVV+-qbJV18MJPFm_jbBKya8~*7j<-ypT`e;ELJR zLOM;)qCKiQcjoCnyDo+*jz};fc|ynuFV0pvW+5l~d51EWX>^Ukmq)iV&Z7~Q1U`w7 zEjmZE#wN~xDGavVaDXREU#q`$eHuP4z4QDA_6m|iTUT8A;>~$SvJPY>eLqiCYq)T6_L2m)ceBqvxkY_Z-}xA!dz;#1w(h6;@(Y(E>4u z#+6Kegabn(&gWbyg)`rL6jKVX>?P!3C;A{WD@p&EO3J3zec({eqSb?DRq9EH3Xv{e zU%jnY@&2$Px6aV|H_<=S?(-1yr?5XJMFmAoCa_p}(B!n$m8(*y(o^+M5I zK%qsnAS$G7hkTI0!>v9_;IA^lO@X@gK3UX%vXuFmV#up^-@L(F#WbF>1Zpj@q^vR4 zE?wP}L~h{96POY^*hgF{qFVK(h)TNv>qc;Yl#}#aoK%I+&4uhAI!(#qY_I9_pSgdO z@g1(Plj-yT5t}SsKQE!$ajp}|)-S%)QzZ}^Kuh*FlJbx+UND-1S3~r?Z3zd7pv%X9 zmF7BnGJbtvyC&g=p#_i|${Hg>;g^J@w^d2-O(y6sM)u9e(ojSz?!3nPi@a(PZxcv|negZKb*Z>Jrzv zS7ti_BJT7cSl>tx2>-O(*GD9*ws)}Ijdwk3PQK}E=v~4kt0lUw(quYK5ffp5Sp6%f zv1j(ZcsYst)N68w3%er1>GvAMH3MaeFEYQ5&s|IX1i(axnEg?}gj!-{YRy_FD$JXh zG#J=0?q)9%)4*OV80*{@gQ>p!_iDL4gf(M)!lQ;DL|^6EZ&vi${0KSLJ#VOzDMvAVS4mdLpNJLxhN%%m zAPA4$C{KVNv~CFWZa{D1j0Qy4gq^KGQO=V+3C#|eT{$IY<4>gKsU4z!E<=y?-O5a% z5=f)Z z(&4Lg4AKMeJ+KKLp^ct@ww(7I9qa=se!!t_`b0pKc?aGW#1|k_hEuqn)a~S0ILI%D z*5GKJzwR(l^y`%fo>?y>SLsd*xZ5%LuC3w-YDTXzV8x250x3?VI}B7FM`NY5V+yvn zG)IDmq?df+okr>{+)(vpH=P^AgyMiwA|FR|a1ZD?mZB)hMoQ&> zsHmMTE))es(KIK+VHnv1 zkA643&F}7Ldagl#SWBH#ng;7dp2k=>wRVk)tw$f{aBE&8DgUCYiEczqT8HlRQhlOr z5`a1lwD{1X)?dTq5-_i8T>E_ow@c%==R;#`7%+OHQJ(Y)siaE{vEpTEbydGp19T%( zZ+Ochq?3MrKQ@@2Lk(LDV7ROmjLnJU{RvKxX!aXipkMNTB#P?DaF80r=o_hal8iPi z<)}`Pg@{I4GH>q3;xY3Zh^sq?HT}eZAnoWxHG4sfNGII@O4pq}-u2L~2(NC3DBi^w zl49vA3)%4}r>jnlsnc&`>b&gKQ+I5ZT`(dj=uZu|i3U{1iW*c}95#s`>ecfBQkw7g zpV7HMMJ0-VXCr>ySbI3basq;Yn7OlDk+oU*dKJ=Dn41C2>9d zmQt+MGTz}iCS3@xjB^2P6v(sgVXvS!&-px(i!eiB_lwl&kDekwU#%#AQ?QumstSD^ zynTCUBxysiB&TN|-^Z}>zxBCMG$t9IC|_<-0sqK`(7&pFh)J7je4~0qIymob zE}Aob2Xx!2xi(|L62M9o6lJnH;gjo|Z3X6G#bwcX$nVg(mrlznX1css*{NsO5DAv5 ziPwde)`WCs^*5;^P+~0coFXja>`el6Wy9Q;qTx)E-jaK_SU2eg#CE+QuYk9Hefh8V z=9r6rZ)m4we=11ME&brjP=W8${ek@xNt)?*A+{=RfV_Z>PSBhpy84D>3c}A+inu?d zy-0+~z@!4qJ;7kfM1_IBu8X9*VoWVT}u*6!De*I3h;}}l&~XzZI~g#{=76Frm{+*yer;BUj!@3rA1lU zOs2zekQ*;ZEl?!U{j?yhQMJcPe9SUnT2wspi|bY0$f@6;>c4gm#b^~F#IG%Y3B3?2 zlX%wPLrj?gUUFZ?k*<1gGdpWNMG{GY&mfHR0!jjBVu^a5l0f3`Q*qK11Ace9iCn#Z zq!GXnI@mX;Yd-&lfeu4DBMz;4YV97l&S zAHiQRwKPIc-!Kd-u^*%L@Sh03a%w`IsY&8Gx#>6!J62)c&Sg0PG~=);`}%Yfa5FRi7TnP-9Nrv zC1mVPB0)U@r{xshq7T1$!onmE)}gN`s?{j#H<*&{!Pqz)+@{tZFcf#?ZB$Kv8<>lI z{!cBlha+c3{;O4ctQ?@sd;niSpuZ%*3VpEDV%_OjTqwhudJuBki^5&U&?w`+7Fr_F z5*hb$aGAHegD23)CgXQ<7+nnRy057O_JH|;+95=pa#ma%>V4a)E`S7YWw=c&IB$t? z1&Utx=E#!y-8#y_qC@is0VrSNNseJ4fAq32P7#=~I3{|Z)}nVG2GWksN&aV;576=x zwucnt9>zK^a#R5KVcwgL92a+hqQe8sw&5jcWnQD&J>iSC`A$hwE}D|Te+9j? ze@SY)u!ut2h=Tj%v%?P^L^{jO9i{IX@*spjVAsean5%;jmMzcqj{$r>`b1^wNbo#4 zR$0vu%=`55DT)ner;l>vv~#`=XB4BFZ7d6PHKpGxYKemCNKw@%vPq!IB%F* zW|X}!qzz1Pld%r24@s`vqTWYde^$S#2^GMTqbzrS9o7lW&qBAQ9UOv=7{b@hCJ*R%i6{lg_$#-f_i_i#Zs8xU{LWZ1DvdCF2!}`LD)3R}Ig{uPh zq(C1}HnRtDCrpdU$rSk_GusgZV;^Y3uUVcP4%tA9C3_Go82iM3&`;6re`FwawBC&E z4&FYG1!B<)6@WA8u^2v7k36*oY4cT%C$VER{r(;M7Ba7eC_vr-hOYiBBb1Hm=v$xDL6+kJ#Io94>vrc-z%848Mz>P8^;_ zg9?+5CeSAKF&xdT0uEmgf6GT*Ic*iTSsczvzW8}SK!K+B!6~pnxIq*^P_{tHUo=Vi z<^p%p(R>4CgBlhH5u9ioIK$)?Lad}sla#lig7|8V7+md}#s`rFWeU-`15?a=heFnl z96anog~Vixtni{7;j4N_8t1i+KbK?Hh)%`&v{FlFjXwcFf4Jy$x6{7O8> zA4m^8KC}gywQrl3S`5j(D>bC4<_P-KCS-|%KY#q*J0wnx>%Wo}c;JRNhwVEc6MF2R$O^HsmrN#9>O@*ch&rfbah6|2tGAZ3 z?U*t7VMDYJ*W`aWzoY&T0(QD&Wt~&R%+s(aX7TY>-^j2#E6L<9E(`-ZR>sQHWjgEVIQX7X zQ`(w<*;R!6`l25crgHhoe|YO=7{ZC+!LA4GxHaM%uAJrS`+4*LJg`3chql#!y1@EC zebsVse@Dxm^lgI%BjDO_>>9YVn0v-4nlubyhDn3823I#F!))K8*o`Ar2kK7=x3gl+ z4?^_|13g*RsMjSUbEue)yu<$B1?0*HYw;ez78_5P z5+eCq5@@`FbBE<8MZ?stcEDTA#2rU|R3eI??n)=??)^|ue~shuajJV08*NKHt|bDS z@t{`+k(dYIBtH4(121d-H)?Zs)$kOj2zBwJ$;1WY!x0O*AgI9YiDDmX+gF3ue>kv% zLqekXBdsAh0rV5dA2Z$FjJ@+eJXf+yt(uQ{x2t47*We+Y-T+j(_m>3tsX8Q3A!P{A z6mwVm=^tS0a@0+`*5%L!F+V{*s6K}Qm-5y9bv6jtjvnOjNrl56&AV0h&O%iB>1h+w z`ANR-My(Xabm9o5j`iUOXHBT^f7qflunmA7*GYCNDcpv=OhMkLrA)EjOId!ld$c;f z`p$Gcto?OVJI#Lk-?H$xsytv!WqcMtK66YVID+^Q&Ys96`w8ew=ZWBpvSmq91hfL5 z_LKD)8|+d}gD1hc*Vs+29;YXEttPW$&tFnV@=wT*RX2{$e)VE+`x%evfBMN>u+6Y8 zgRnwtSHTvp2|{c!7W%Q)ZEbSnc+LQN`XbLnBmVe@lyc5e5zRC@ON3mK)_thC_^2V$ z_i|=$waB^)`Np@W6cI{4!J98M-?1k&@%R<2(B}AN1_CJ`l50S~vJrK6MUS|fC^T-T=CSj zoD(=)Cv~$_GVSRzVsg9ebvp%biR#vAiB4>t2!PRu$IAk2J`7e^0icczEFR{Xm(%x$ zFa%dI-NxlcL@3buG4y)It|Bc-ZK$~Aaf5Pd11(OVH^QMN0UO0)b zGZPqe97|rHjg2=ia6~nkeaDvKB8*++JFpYvEh~T7Ok@AK;DX4sJ3@J-1tK4nGYrd7 zd*cZl?2E&eJK515RlTiYW1q)~l&onZXIG|6c0;5V@1HEkVrEP(g^>00C{LOgD_iF_ zXhlp1Gf7UbiM;GOGpEMGh$c#@txgtewq$HiAOBPFC3Z^*#u%+ zM8hnX)IFaJ{4YBe>pdxyMyULv0sFX;)!k=$B4?##`i4&QF<tUmR6;s~%0OkR= z@sROE20+ffQzmc~(&Rr*TixX-B0t%^A>;YWa=D#b<|Tn$pr!e| z!W*T@Qa1q0PcH=#0$@)!d#_NyS*1dw1$DX!Pv`Ug>|eg|ZEg{r#w9soc}nz>00!lD ze=iF!dI&8&VO1}KC^OYMlj2x=Txt{43lHSuBz}4`tecr2bBUGnkK|2^4vske@w&^U z|DXsJLu)0XmiQCSbMvrg$YhbyjQG=s*pSZj5yT>D>;J6&_qTB_8zZkrOcu{^dFp-@ zh@lSO_6u9>0mxYSTggb@%uIQwVYC>Cf7H(mt1>ua2}`DvZ`;zgo8ZwBOG6Xa=hx5z zyevnDgDcQ-Xh<>lZ^*XgRfIX&aFm8l!orMBnvKcmG&^8XA}lMnUWH##uJco-Omt~} zd8PFBU)-4F{HJ}Qs-N~{ci~69jrL=`38Mo3Tuj%b!PJ@+AKrLM5pQ+mu#{QBe```Z zo*OLNS9u@ek9}|QSLp9R|Kx&_At3oOCV@Lgv=o=w*G3GT!L2#-|fkmBIiV zLeWW*9Po`t=k7b0!; z3F6$wRkGm%U`qK}mTPkfh#2m}5nm{SWfm9Sg?_AjG3Iv2o1GIGrKi4xjp1?4aM-RX zu_D|sQ*J?RyCmBlisdoHc!w#>t}F&2dj&>^w{9&?7Qc3~ezs`fC;;?9e}QQ$Svib% z&^(o-{`E3~u%h^SP{HYyw1(hR`y)@*b#68hk((JKqf>8zYo9nZ9xmKq zXYMy)zk6++{g{j0fvTEfTcH8h(ITJKO*9II*Noj ztc1|;5Rhe+i0Ky&adYMUf6I-1ucWy)nMcQZ?Zxh8OdN4uuGC@5f>N6* zCP7J4!dC=S%;PcKm__l#xu5i253(+7h*uu3cLTmJNB!SKyF6)ae`-*^2x7S7{<@w9 z*$Hk7QjEbN&e2*+Mih|lOu z`WA7lOthsV@}18tf5JuCr@TiLELkfcAH|^^#@^Mp#Ke#6qhl6@yD_!yGIweWGqDZh zPBW|?T=A2B=+&+>v4z1L(faF{5G_$~KFi}&8Z=<4&3kn{o}iI)rBF8q9+BdmYHEB; zf{K3}sxuBSNAr6BH_6bj2DT!O>TTe^+4*4bV`{7&=b{u@GHO zh3?1o296y2o`{>i2CRInq z&!_{D5|bYH1vn{57M;6MIQ`F3VJ zjo5;Dd39S65ytjj;V4Un)}ycmvs@y!O^!c&&=WZVwuD3kg_Jsh@jyOtnWZevDv%V( zKc7$to+46`E1;tz9@z zt9wH#eeSh0y^z`e7>VLB$?W zkB9N%7VLl(bNcV~6s_>F22olj933jt;6I}!z~8585oAbVY~I}Lus;Q;_%fm3Y^Pk8 zUGE$`=zPyX=t*|&&24!1WF;18&KZ02vyEUVe>*B4{FH9C@6S0j)?Yxh{WlIzN2z1K zQNJa;{)W5p$;-GZ)x{H!N`Z#SB4lvkkBximXce^U*xQWn55G#zbr6hqQ2E>SCr}pKP@SUE+HCOd~=2zf|q!EWLo3#s*b^ zdW>bhG&yZMcu$H3uqEE85J&g4ccY!Gdv?%ZXy}CM!*Fpil)8@6yj$Fnv?mLCIpFwy zdes&7^&50$+p9jE4|o~C_nBLh_am3?j{#kz$v^ zHUgdYzs^aR;IbZXd)o;Itga6!^3AS+nv!=Bd%K8iVE3?~M``J89u|;NO9)l{Ze6rdoF}Blx}|Nfz_xgG7cAss_&) zLw(8-5+zhKV_u<O}tOF==tO zi#X`jpUXC7Svi%jT_pfK;?Cf5>!!cyHSj^~2?< z_*Io@p&}^gUYVLlOA(_-8=tTahtr%WLELmw3?uMv_u2=Z7kYj3`{+m)1m{M97s3y- zR|ziwc0gzQRW-O7)d_}pX9{I*WOHy|cB+`VXnySuwP6ev)f0KtL;cel1caWC$!rMOFR_u}sEAA6tg z%$e)V{F<2`$@M-69@=wFJ%G&3IKF~<^U<68GwU-1HjJD&yP$EkOVt;IDss!AON~I z40=XJrhiHPG69%+{8RJh=?t>82hhAdxB_j#4t79$$Q#7}*ijP*1VF5S01J>U5Fn|l zrYo-^3!sx#(E`Wj z+!m3TAb_{1YEm-)$P;2^0{JVpGw4kX09(9SnuE<; z{wnEj-5boC7GeUjcLqR!?vTG?nF0akAZG`ETN97B*l%DCPN2WjaB&9NTmCBpCV&&r z(!|N!7U=B!2J?pfS9ktZC*VI-Z{px!>+!cY_;0KK$N>a#2HIM%AhUD4#WaJw#kK_5 zBeVWBD)ROgU;sPYKjh{v4*%4-0-gSD5ZzxhL;se9i8sTx@MsOzePvI|2TA#{iT7e_b*l zv;SglVh6JI`0pJ4-BJhmk1RESmM*p?PXDg{2fVnwk39viBiDh6=U*p-e}j>>Hv^mhH8Glh5EFaz zw;}rv!Cz`K7bmATZvWo|GOfc9wIV}ZJMUd6^TS~vHgB`Xn z#G$bEV_uGb1-RWWIs6ZQsqs@~2ut0lz{^jMnFELCEd_?{few6I+V(`?Nj8ZOC4FZO z)(XupUdHV}R>MNHltY~_UZ>N4N^9@*c-XYJ*MF;P7#2LilaBu4bV5A6rT3?F&GE;j zx^Y1FHA||A#%sZ>gTk)LJvgL^+q=D??HTOv>uo=W>)aw{%#22&7BnI7O*kNrhjv{NNkONY&!g|qpkdO z^wUh2h+$C?ofTA;y*UgLOo1eoN%!fr(2Y~ATwMYEBfv`UrBc%ANw-llVgHEd#Dzfg zKM`#4Ml`$(7zJtVFh~JVvOit7!mG!j!Qx)&I$gO+h_rnXNTPIcCb}rV@JIgASQ<|k zD)-@fiusRC?yGyApbIL0%%6U{4N3fKHyy3*J|fnoT}~*Q^O8Lduvem2bNJagzQ2L` zcDylWsG-;xo1fnPPZ3P^Cvj0|HWHAKblXp*d@eHr2i1|GbZiOu)KY#U#GpNz7iFIT+BR;*nn?)iIz|Lb^Gl<{Gs}J>%{lqtHj`nshx5|AEib6 z4XOt0$_v2=P#F1tjM%a6bx(kjM&*Ng$T2m)MW(n8g?K~PR1_RvpSO%)DU!Ndsn1G+ z6TT1X=r89`Z(NB(`b~umeM}(H|68kJPBiiGlR~2`DV-k)5qlW?01k2VnD@}cscy|7 zKv=hkHfK~6{nvGvR@lb#MkU_%~&whM#L=xehk5EhThd0QG?^ATkxG|WMhJl$Tc zRG%CcbV;gI4VI$h={CF@1KocXuV&#iUagpILKAp@99&?2@G(x@BpsL5`dq+iScI0{ zEA()C%|tmh>xQ~gZxwT$b%iT3xk;TUUWq5{BWIN9Qg;@*UVxU>-GJZvyDNh1GN(Wl zWtC}f%>^%`L?fAO!znJN?^hz`qKg$(l8pz3mS~Mw*a-05P9m|{1-kmd{^?g|{YP26 z#tmtIWenYDlpEq)y-~y{fgu&x+_5hPui_kdWH?Z<`d2Hptg2~E*e{dX{QE^(s+0wk zPbvJ1zOC22wv4bh%~dmH%2fUl;@dsO;SbC4g^pAkvBR|Om|Lek1kcr^1i_pPBCnZo znhN$%rnjVrZdyrVOj;w1>7w%LL&KDUxWB77?yDa4e(bj0o#CI@O+lWz1 z+kdowO-^Tkv8il4)y33zx}1Bfq~OR29%p2%uk#T(-SPMlOqrbv(MSW*QgI2kh`vN= zj#?OABdLnvu4i2@ntMc#k=bWLBi)GLh|;H+L>%@lap=1yycnsDPW#|rtx)OJosZgo z4Bzd9C^HZm4L30wB2-Upw^Y{W5v&nEx=1!S-EZ1+T@(zW82 zS7Cj6t8SU!X8-IicOmIhBM&r5ejbm1_h(PN!>C{Fxhr(d52xM9oU~}u8qg@Ym19+$ zGuce#r0sipLcq(=KJGm=7+)D94rx*?ps)T3vUptHYGo(T^~3df)m(;+ej&>TO-1G@mW+$ zZ?GMolK66ot(GC|Pp+cWeK93-5=r3n@7#qmI)pzr4OQUD7LqX*GSE9(mVgIi%^Tj? z_$R&rK^Cr*e&M}@cT1O<-A0>#*4JZxc^4Lhpe1Jj@HnMlW=Uwk?H%^2!Kdapt_{eB zZ5kVK$w?#(Z*vz~m&Wf$9$MwT%!^snS2|~HVWYsz)4M1C*_2O2%|036r*EG4S+8!EKonO|Jdb+`kuE}bXv4aatK|uBvO7(~3Ly8`M!hL%aIF#ha zcM`hTSHahfY3T@DLoK%)j1^X2pPg^9)IqfjO${CT)CS)eDJspXHl8-G?dy@UJ(AnX zQ&pBqgTo8my(f@=rSf<;e>r9>uR-~k%uOpk=ue~NkVlR)ATmc=-`;`r_?_67VNtE% zA()(+2jy}ZODe(pkKrzVqeO>KSDt7|w+-VaETM)~n>=cI8(K@F@E_|UX^PW%&k-C} zv5V3}>Fb?BgwEk%Bd0&)G=7w^yRh zBw!^+9I?}?m>ko39WoQRUMkgJ5e6+9h@s!ZavqK7i|&gNmYvUk2rYi7z?J1S0tq7= zi-+~!!_z-b_tqC2Y!i&^)8A~b`6BtsPTG4`-Lw9gsvzrn&bS@(WugI3llC`hJBl_y&l_vBN3G->XCXNmEpyb0X4<5pBsmXOaYp2Ncye2;1nf9_2F>y>uTGq=!6(Vi{ z4LuCT7<;}O^5v1!TM`tbxvoHDN-4+eB{3~0q)$o_AY!0wY6{JKYg9n zmBZoejT|@WUN(ldU%v|el3k=JxI67Mz26>SK!^wHMJVRB<*M82%XUSw|7i!_<$M-n zth!;+I!DsY72^PW5`Xvg9;lPcwZzWf}YQvKxL zbGyh_q=imW(EF|)p4ojG15ltMV7%bF4;AEGJlVluwz2g=BtZuKZX6O|hTe@G<5ZD< z?-q$;fUlrKsDgCcSW|`(s~1s9E%E>qp&x1UIyvo?Tr!WWm)av|6l6`R4;G`KeG8K^ z78-Jrt?BzMkx4ND9!^0QYqas#c`*y}JM9VB@_@L&;zKe3(d;$7liB>QvI<2CW4o(6 z-#)=PrF}JNJ|rUAU8-750yLTF8m=LKy>khcYej}!kz)8@rqFs^r;i1P@ZEcmrbrfP zb*N2ebWKkAy>q#Y*fX3xrbmS`&w{gQUw>9mV8Re#d4RyS#@_PY>`StPoe{=_$mb{{ zD)Nd$AF4gh+on3qyW{TMy7)`~v@Uemtwr8NztVAdQ;cDu1`#c1MN1LQHPyU-i}A3X zJA2r&{9YvZ`JP4s208r9QJ39h5}Pvs{Xp!+6Y5&^*GOdwin@dX0dzL+^f@SE^L`nF6ZaU?Q4ifts)u=hpeJ+_&X)URtI%kH%&+qiZ&hZJ5 zET1#SaCxjNjc(2{DD$ps2&_HM6G=X<1$6S)GwT$l>hab#3U9o2asc!1&c+9uUx2eU zYOcyDp)L#of{ylV{2Ai)lH!)8bvD;_crH4B6><7YEIk>T z-t!<$GZ(E(KcvexJZ`WmQ)hS|mtj7edy~l?4xur-cffC=qC99+i*~qgw6u&v205Lx_zE3{LAMDmUWGgLST_9$3QS)KZ7k_ zZHomv1E7O9+x`gca6{mK020F0Z~bHOC9SnpH;XL(vcrI3Nv+YrpzxiDiML8->^yFk z@!>XsKh1NYf8q~YlqQeq&)bSqadZn{^4N;H>0<|eU6U9TM@$uV=TJ+`Ya4ho#_D|{ ziBKxtNyUqs0XAf#L|6LbwJ9!_$IjM%E-scuH(Zoe&Q&UDoWu=(%SF}GpzA1^9L8SN z46p3cex1wk55_6BWddKfBH_Q1#NCKDd&?#)2aHiZGgJc(oSF1zozNKk(t``JGYHZ?-jxFdJ@r5**uFZx8dXQq58qE*ZGM=D*@}9? zen-Qby2+y%kYoZN6go9U=aGLccXX?tj4)6Dlh`Gj!zgV0 zoe4m$U#_gUPw4XgPyC&32I1UcQ%K9A zt*2>O^zBIL$0;i=2Np{?7c9r2Nf}n`=lfdwWl{m7!tbC9tAW?F#GedqY}1_bwM5tD_;bx8L=cFcFX$4;;H+mSg?`dZ zlZ@&AH1{V{lVH}=7##D*=eK@2cwrwXB=4HG{(*{VMO>VOhID>lq@NYRc4cX??`jW77y2CC%KZNXK8$f0Ao zRnZQRvOQuv9%s8ILtC^ElgM^{JgN@f$nX6TS`wdJjavcbli%U?pQBX6J{Nwm4tUJ6 z{H=_CCt=5_#B!rK&>i~NPx?eip?<{pA%P%U$dsBCCd-disIq^>*`}%|ERo6?9w7a! zvaBhfqtCHZoF5$zuS3Q4A;y=Bd_M(GrzNlD_?xxizM!bdF|2ix1P}O zuf-FaLVHMQ`}49iWedM86&A1YXt#mpjq#4cJvYJ_|}NqeQt zYc=iEpWBY`k!-BKRO3FV6ncJEZgXzhr-Zwo_i`=H-=SYCaQ=ksD~u6Oe9p?m-XGn6 z27Kvg$|$>w;%K_SJ$#lEyoS(6mLT`2xj$Qtk15o?;xD^--|$N8Y+o6N9n6Nncen$^ zrBc`rEVCa=`HzP(8Sf5bg?OeE_}!n`;jz^#_Dn|TgO|=LqNG+=yor-WUZDvN{qTiE zl|PB4+1IlMve*FoU9n+Nda_T`L2L4VTA7}RPZ7feGcr8kh;Abl>MD0;eOEl+Bl32FNfTj6jF@lE&P@`s&WsHfBQ;)oM4LKKwRHodcdY9!s6 z899_qVGL>2`%gtC3ZbD=0u1o_g&DJiW?bC?8;vr;314R7EAM)OQgA_-^wOh z_Q5!Q#r46#hSu7Ws0Xz&p~mxnP-ySCK^5MuRp9AZVon${0;#+-^S|%lH6eF#PxvSJ z`N?1iaUiaqovFm{X#t-lPJ%cKv=R6RX};SySKCM7p}S?RWHbt#WaH!QuHMp=jPmRe zVW4k^t?_NuFZ+Ay*3Ff*Xr697rN?#Z{=sNSM8SKnDuyhYeNrU8eXJ~h!rrnyEGj-l z@)HV`N%}&a2UX#|YJCQlj*meIdb8H8AoNR~+uqA>yd#CFZHFosJqsj0RV>;13U3iu z)_&r384_v?N1z6dcVpWZGYy4%XsI%P6czf{U7yJCKNsIyH5>9Z_mkhSTQAr`E+g_o~G)@Ob*S|g!bi*2hi zymepfDu1$edc=6@ICGrCWm&<8Sl@vuYlAkEu*WG-0*$rVx?!V#l2#KD6GbgKgt<)z z?Omyxv+COK59)XJv`-$(kKI$J(hr2`8Ym)RUE0}w?{5BlK>UikFjeOBbssrE5QPDr zMq;m0w8uZjGE@l8sAw``G9b|Ul8u#XsoL*QgovK4BI`&h1Xcq=1ob>H?d^WvFw6$m zQ#4f*EADd4n2*PQeH1t>f@&AqrK8hy?Kcwc&Z^FJzKFdXic;WR?;KIbkk+%*(hFy^ zq@xu$XLhE1`l-xAN-_7uHhX#~T8OsjQOE+uJ$+Qjbl#6`SC=ZwXF+xQ*cwKC74kudQ|oA+C$7jHhOr$asyFw{q=6?GX_(_ZNmSFKaD+iYd8`Sw4wV%gbgZBv z=3{wO$q;CbNBE3_!TUpKhhW(=PF*l=?pfEo_ugaTo}un@a`9Ck&scqmi4#Ny);mNk zGID0_P`ZLkX8f~T@Tj;K?y+ItNcz_-Aam<~H8MHAv|$u(hiHrbdH*}Hh#y4Z4VTGh zX1B0MZO)b4ar!Qd@HyIJ#d^nibd>F41Y+NE!qg9MDcbSONikY?*bKZv1VTRV>u{V8 zBMs-SNuglbe-H)W;~x+DrH9w4akUPl-Id+oyPFn=O=woUTBzv+eX0|!qvUFJ+IPKw zk8vm$9ZC2?)~m=Le}K#I!$QLHD}G8Kc&~8CZYnp%fBFG=->H;dnQ~?VCic*@^>-#eAYQ4V z%HO(>g9`gF6(WM}7ceK)(bkNl!Pa?yuZ|k*8#pb~IZyP+Rr)BS5+S*QT@^9XX1-MY zD@=W~VNczPb*cVCvT7j33k+gH*n>!A$TEbD1R%rThX~zys#J=w9ajUhq}m5hEIeI{ zfiZxG$K{EnYN}8k4oYhsoO(ez-bz)J4JkN(tjLHAOgS@u{$xDtoB*;oD0;bn>KY5W z;jeIH&dYAkDqO!UVNCW z=PF=I^a}VWG=~`r4u3y(*>Ja$!w#Q*RQ-i$%beLQK)JV++s~%86R0(R{t(Nz+qYHy z{gINLu)=P9DfO?-^Aek)3q1;dGVm&^1lmdM%C<}#84*`J8 zrcbahl`c$~fk<(FYD~Hx0k`qR(`D06T8={RMpW(CEyXx>&v9|!d!QkO1p8@Q`YQiypusJLrgjDjN&2grYzQ+IKv(d5c?4O zHRx7T#LUN|Ax0W=4KF^G8r{O`jE>|g%JG5Ox&Wf9Xke}lY)UT8pL{QnQNmA}*7&5{ zpNNP1Id#4#d(gpu{Le)D*Be3WQ$A@EvN>}dv+p_FUm}$R9Zj2a2cHHPKbDOhzXr)k zY15x4w&MqxR^ZaE@9vSTb}s#B;DTKOq@jlj9OJ9!8__Fb3EHr0+Ay`k9I|zK(0;cC zSB=c;!Y2U~ww7-TlAWUD^f$(8D}%|ZukGFSnG&qF9g6mUb(KEw&y9V&J6w1!MDn`Y zZ-sY43VC%1dRUYPw2BghKe|OecMGBDG+`6X+iC+$1(RJ^h-`wQfhg6zX=dLnJypBF z8L0#p0UT`_RMTJ8iXt*5m6fmOok8Cm)l#&mU_hsc7rw~~YduJr_?SiKWi4ng+N+lt z;LRQ0dnWULvZl)CI#ael`1rIyTP{to&ve(gb4j;3E%;*F{d@YtTJebO z-qNw72^I9OroT{1l{zHxg4y%Qecb2`whvrcgTqOfsK+j@;NAB5V`}O`t;E-$OBxX0 z+WCvUknzPZ8g=&E_q-QM%+F4W<@+fMRMV=DZ{-AkVnp=^@^1>c4#F4w(ONE+-*DA9 zN>z_J+iFMZ@UG+stFQ3z`6MSj(^y-{rtETvR((CCy%KnNtyVFEVPq#SFC3QQR1wGu zo>7AKk#Jql-K%05{{Z)#;qC^=+L2d_ClXH71TVzn;2LRoTNAq3uuO=PrE!IqoE}Yy z<}-GGODu0#`jB6{gmF~lGk%0OuyPI98F=1?PPX2ZI5rOSa#=Z;*@RdfN4u%>h3>7&h((&bv z&}<`qvY0QHY}TloL+Ld$CaLT=qRx^?<2kY|DtEw+EiKU6W=VfJK;vjcAmw8FQ98MQ z>#%s~x+F~+#)eNVCB`inj;iJy#OIx=vmhxdDJS4i`;*%%rt?C9=eBQzjb{MS*I^LF zEJps9V!D?ogRYewB}2oOq8EP2yTIr_pATx!N4@z>4{HHuE+tVhr*KexX!Z*{*ubTC zM3qJBb8vKuA(FkvKL}0nM4?j%O0epG6&!T44gHxvGgLLlBxBsWSJY^Hh*hT;X=%wY z!aO^$5JEKQTZZWax9-qpH2;c{UPVsoXMGAUs(zA~i39sc_h_=Hy{ zC_p(Oy6fEo25eP@J{2>J30jnTGx~}?FWJ7l%`anwR33(p0zZ=L7Ws&JbEKhvT1Dap z;|FhyYouR4bVXNDjX+;w$)wRL1P6Yq5Pg3$(Uy+D8Wc!N6o<&%$Fq~XGBR$CMmfm; zqU_!SL3A@~rDt%7mvv6%NQ5$evS0VLS$(V~pAc0TT}K?GE^4+ytNNWpPueZsk<___ zuYg@*MW(REoK=HGzXUU{bcP6jUfpRNj;W(P;$qq1@Cg|&&c_RJW8M#b)J7TCOr$hK zr?@s7P3G8jDXdMd;Na886;iBRxo|LcN%4!*pLajZC6W$Y0PVc2G9u@A&DSgPYjAtU zL%s`G4S9;0X*WRGDN$a5 zcljf?Z}es`^>r026?OPkivOVU7Wh!pY@N(kWx-sBtmAP9Ed;K^cBlm1m$$LoTACtw zbc2P@1hORd(U3qC{JA`TJF9*dgO2^Mquy>!<_rhF$>yYZyY(2WMoZo?lPLy&oh>48 zCDIFu`y>JTj9t8|Gu5)U@y~IeQ&eOAq{(|Y87A|2tQ6ncRPnN|h;CWh>5!wzvB|#s zI{6m#2UvsV1j&q1@@|Q7bS7;U);U%DbmnEKP4^Hy3}#7Z4M8OfpQMC8T^`K%&w4K8!AfE&6@GCkhio)!qlkq+=9?r<~MUfiGcuo1k8 z_cckW!eD{9k*JP;+3oGIYBmD?_2bUy&yz8Gio2>cihJ!&9!f$x_0{vJ1BR&qW%=?8x>JV0{0l{Bv=j+-DFpn7xa60^*s z0F`S}S)_!?u=Q~WcK9YJ%-%R93wFF0=Xj24KHFR^zK}^z_F0xWSCZ9M2xHTeW5t?(Y;Vs`_ zS86Ctd-P&I9>KojOPSsL0Szo0zmItPy&a9)Eev2bVb?45Z^q&4}PUtlQBojl5 zj|gxyem>&wL%6F-$0i7Z56iD-tt$8mEZ==tjA?->Ta7G_-XUD^hfcq%Hi<@yWNMpU zcW}w77X;Heq0$CPJ9MJB#lY9mYnT?`$v>e-egE!%_tP`8CwJ-NSEw-RK2&8lh*4j^ zLXtXSW6W4KVD>kxrsiGg^Tz>B<&SL*bgl}t{l#nhz8;2uUPr@w;90p03b;j0^3$S5 zi%x&Y3g!%(&Lzv1| zQ+ORd+o`;_T2zsIcP&R6-+1O;sKkyq?9{yA9ZN}aVB>$Ang@&NvVowea}fUy#Xncv zGXV1X1g!-plN`jG66lSsx3wdWGVHV~8E4vCjSky_o*X+xntl$v^-<-n=f?}D>crrr z-{*?Y6zQCq2vQf%_7@Xf*LS9Kx)}vlbkY^dSGpe}B#{*6B z?I#rXV;2ZR#nwji`&Xb0z6iSiV-i&s3WIv1+`w{jU@`4xa|w_SIY_p77zrXHxwg~t zAn|LPL#_lG0fMEUD$sbpvwNknssMS{oOv)=ubz8K!qB)@B*PJRacW#4W`H5B9_X0c zh4s|s+JwZPWz7x4j;Ei$2q9~F=sHQWxUsL&xhR?tIhwjVVEA4Bh1fZ&_11xn>t0Ac zK4Ezsb!or3f_PE;^ODBNb!{(9=8MWl+Iq7ZWlkG|ZUAw9vMri;rbdD{D8$p~yZkj7 zsa!bO3;7o0JD*ZpXQtUoKRoJW+*^0$u5%y1|Icr<#_)s3RO)P!o3TjN<2rHD8Kwsm z#oS%lL?T4wUFQ%Y8t5M;2+@(zu%%ptWCR369Z^nJQH}jdR7{o)B9GXlgJZdSier~q z@5pIp0YAa*W!k=V)oJ>^v8oVCuIiunpib~tWq8%7xEt5}d_9tgJ3*kX8jy^SU&@V# zx8qdeK3TZs5z%y=i@X_FEksXJ+=R25Nb~Uyfi&v zrrwi|Vcjhmz7}iDtqY5zmrYFVElEK!YDb53%T8Ep9TVT0O|+kx%(vgdj=bR^!Fn)a zY<#rO3hgo8Xt9nyx2EQR_83I#a(pq>-8uMc89Yi~M_f&XdE_CnwN41)+8g#nUI?@#BkKRnL9u!mR- zz+23Be(Nng*(@$!>u^8~hg&A%GHvt~+>KF8!F!A{GE*3~T%2`d6u|CY*4>>I#{YwN zprd4X*KIa(pX4c(^J;u*Q|7ea3xB}ZJ!J#wB|}#9S9&}|Bk(k~ato+!xN0A|JaIhk ztgXLlAH6&gJzv7jT`4(Tk!M|S1{?#hxvMuLmo!}Giio+Z({nx|^pT0qs_I0wz- z_8ehsI`he`&>BKn7aRP=-f=O3BOR+XXm61(cEEFmWjuLi|4=ITd!G zyc{n>5IdWUBv?$<)z3cwDkUj%ovV&s&H*k^2{=LmngK`g15Fll25dw0;W*Qo(pGAt z^C`NN1Y1sz=vLeQh0`~55CIV$RX22AZBYg`sjZ3F-~7<09JG;*6MrW4O1lAO9x zY4%*|oD02K0Luf51G`Z2hDZsyk@*t@q+Bi*~UT8zQA#2=_L=ta45xjk4bCu_rP z$u7uFVabSDIAs%G9Y?%+(lu813yjKoik}cCsYKGiLvl^2WMFoJJO1>ELW|phZ!=eH zybS0{c{wJbHvX}f#fqVu-AvB}9w5j_b@vW?8dAUqU|zMmA9)PJKg0{SwLL~~s>_Yw zQd)?!2sBYFG)&P^^0vf6HDrsR7LHS@F5w$4y)&$s2Sp7}0!7kkW^D141PQ$w(!cOB zDOOCLv>w@Udvsa9ou=R2)eKV8QwgPGP$Ye;# ze^F5b6+Ek7?&3gqW4M^UB!C#{Zx`#;Dbu$0M%-1JCp*a=xfu4cV)w<%i)Tk>@=)JhHl5Hhiqr8)rk?q*zd;hvhj!2Egg;|#3- z@4i;CjYGWygan`ab?^l@R6X&208G^)y<{j`L?`1=YZfisi$}}mU54OE>Lli zP5(&Tg z)PEH8zS)%^Z7$x;Y21XKE2x|Y%lFte5*_UugK_uhnz!Yh}>x&r}e69q1|;=rB+lngD3Vq zN?07t^oye}$eF~Fz}>6JW9WF2$TRtFzN+k*>Q|@f>KX4Z#j9jDh!NER*L0NgE$1<} z=xo(bO$X_oM+e+&*kOC_&w{@KP3^n`ksHW@>f6TFMm}aiAMUS5F}|c%+If4{iKYxp zu9+gQ)GaXD&ezPl(dp?ozSYYNw6vp{m!8y#Ng_Ln!go*V4@wtvD=hM=4sNW)Z(4jW zzT7}zLO!ulKS0MG#Tej%-UA;bT*P*g@cn1Pf>`TYDN|D}8}PA=C*PRb=r8Ux6@7i9 zU)4`CJokp)z({%}??d9INv1=pY>6E8ls?DIj=fI&OIqH1|67_|cuOPn%nloKMbSKi zQRvK*p?>!{Q~Bv{0%~pVmHX)eZSk9|zWT|OveDcVH#rvuP26hha;$)~S3>J$t%SV4 zt|G|^~_7c7d>5JbHU=X=Vx|m=w z=j;CnHzJToH4cO{pjKP)JW?gn!nHSz_S6@eq`M8eD063@^M4Wgl4XnSotI0yV`#P4 zkJ^AxzcRur?}@pYe((pJNj1C~%5&LkMJ1X^8HY?lbW5Gv1`3osnq!HGL}nZNsqF|V zNe{Rw%)c1iV2#d6!n7Y8-2UJ~_Bh5$KFusFi>C)c_4wt4ABxv(j$UoLf|N`dcGy;$ zC;%m%&lsgiWiN;-uWX-ls+4+pZ&grC50N=Z4+-zpSIH_n`MM9p7an~w>q)+gtgTb6 zLRYfWq8uthbxi$^TJ{TPgE**MYJG4rgRNydLc~?>0nBS`7HEj&2CIu>W;j-bVN=TWTsB-dKv*jb9W4mpk>>;X*{#g@WcHh1eG}fXI@yPMS@WNzR`k(6d zOQG(>?@cMfrVaqC2}ZJ-g;t$JD7xrDmAK z4o{8O185}SBq+8yn(CfQ%V5K~Vw%_efA+E%7Yg3sja;Fe+j8rQ&50W{=gg~t4dCw% zBWLGH(zP_UBWGaCKL!Thxc_z5tITA#WM#jIWdVvUg3=aO`xbLoPkU^Uu5&I$sFmH? z6NNjkzXJV9y3bnE&D0ktE_QXz=a*+j)Xo0M#pOAa<(XCh4PP8nfkgSw&itR>olh1T zKW1=9ExUTo-F&_Z*p0h2m#yp()B=o#%U1=Z!oM#l%KtswZv+6z*H&+PnioEob{~Pg zxq9tN-bp5T;t->Tm99_1sz(i{YU4FrS4WUl#=vwNN5}BVseHgVai2W~&%*}QR05n=E(!UmXQabY zoovo5+9ZT4r^ZCWSugNhn9yAtARYaw}VSxM7dA2my(#~C&xuv+De#`J^cNA&s@nr+N|^aX4GWB!JFF z4@sP%5|umld@~~`;hZ)LFr&t!Us^{<;T7Wi+F?m=#fC;JNmQv~Q z;<8|inZ0*Edy9&^2Tx$tgX>)V;(K&Bq1e$;k;_I_@y0no>3mAPr@(=w(=jtU-Bg)P z#hA(v+|2z4^&uf4PF#g9U*+3C1t6NCp7l7lLF+gQH@Zkv8$JpF#iDdizgq>0Ox8S) zyB!XcKEjLAny;UXM^+FE) zyqf&=d(Py+vSi~aZp99e8yYID5Y(giqEp3xLl+>}tOqmvm6yPDa9UG$19O4>FBuEw zkTTne0o2I_YWB(`R9GuUriKU=d5&SLH5qa~5k32Yk#8)yABj{IIYzAJaAXX`F~|_^K*fY>n#O z{EKOMj`e&Diu%1}5&|)657e`~2ar>e_qW)mp5G{WBpf)R9{5aR<`31n*jA)x%+S}$ zz0t6r&Q_tV5za%Rs-3Iagmvmp|t;&J|; zkKT;oNY1}$5~^~)we|$G77yD*z7)o2hnE-Y zR3+!n8zA)Z(Jl=dY<`pztVNi?iCMQ#gy{y8jKz}L2@4&sB%q^MIRBRd&r8%DL;FwY z4Oa8?V8Xeefo72|qiK7}xiKb9j7!VL>fY+-_FHHmU_p@H=7=QV^$aVB{e4Ml6XvvI z^l_T<*&0uQV^=WEoDV;7aq0zT=n@q9L(b@bHxA%1ng7u_Fhb{;Ie=~fFj;G`n4xQ^ zBNPsk1&f(NE#XiJDEwM9@b(V47NxEi8Gyw!yqvtRJ?a1Ul%bY#DhL&XvXb~CC26>d zl&myNLRDN`5~d;}F8fGXQUxZh0R8_%AlDoH_r*wDN;YR12@(W&CpE-L^k^fNcWCL9 z~;JY_+_vT9@5$g+ALaP!A{A5im0KQMkt%H|^Jr0q#N6W!TSd`J&% zq(J=U>zk4{jrIO?(Ha#)=Ixk8yC^we#OptzA2UA}KYc^lUrf3Kaj^PO=(I>0v|sqdapKo#F5Cl@uQU diff --git a/paper.tex b/paper.tex index 3ca1235..ba201d6 100644 --- a/paper.tex +++ b/paper.tex @@ -15,7 +15,7 @@ %pdfauthor=, colorlinks=true, linkcolor=purple, urlcolor=blue, citecolor=cyan, anchorcolor=black % make links/references 'clickable' without ugly frames - ]{hyperref} + ]{hyperref} \usepackage{cleveref} % smart references to figures, equations etc. % some packages which may be useful when drafting, but should be removed before submission @@ -69,49 +69,52 @@ \end{abstract} -\section{Introduction}00 - - - -\subsection{Notation} +\section{Introduction} \section{Boolean networks} +Explain Boolean network and what an update scheme is using the synchronous/parallel scheme. +\subsection{Notation} +Define clear notation used throughout the paper \section{Update Schemes} -Explain different update schemes: -\begin{itemize} - \item Synchronous scheme - all nodes update at the same time - \item Sequential - close to synchronous. the nodes update in a specific order and take into account the updated input node if that node had been updated before/is positioned earlier in the sequence - \item block sequential - mix of synchronous and sequential. predefined blocks update sequentiall, inside a block the update follows the synchronous scheme - \item asynchronous deterministic - one node is updated per tick following a specific sequence - \item asynchronous generalized - same as asynchronous deterministic with the slight change that within the sequence nodes may appear multiple times. - -\end{itemize} +Explain different update schemes including characteristics for behavior especially chaotic behavior. +\subsection{Synchronous scheme} +all nodes update at the same time +\subsection{Sequential scheme} +close to synchronous. the nodes update in a specific order and take into account the updated input node if that node had been updated before/is positioned earlier in the sequence +\subsection{Block-sequential scheme} +mix of synchronous and sequential. predefined blocks update sequential, inside a block the update follows the synchronous scheme +\subsection{Asynchronous deterministic} +one node is updated per tick following a specific sequence +\subsection{Asynchronous generalized} +same as asynchronous deterministic with the slight change that within the sequence nodes may appear multiple times. \section{Relevance for Gene Regulatory Networks} Tie the update schemes and their different outcomes or behavior to GRN. -\section{Conclusion} +Emphasizing the drawbacks of asynchronous models when applied to GRN e.g. it takes way to long to update a GRN using asynchronous deterministic for it to have an effect; assuming that one update takes a few minutes, when the whole process can take days to complete.\cite{schwab2020concepts} +\section{Conclusion} +References: \cite{schwab2020concepts}\cite{aracena2009robustness}\cite{bornholdt2008boolean}\cite{goles2010block}\cite{helikar2011boolean} \begin{figure*} % The starred version uses both columns; unstarred only one column \centering - % \includegraphics[width=5in]{edge_vs_hyperedge.png} + % \includegraphics[width=5in]{edge_vs_hyperedge.png} % TIP: Ensure the original image file has approximately the right dimensions % (if using matplotlib, specify correct figure size) so that the image is not rescaled too brutally. \caption{Boolean example. % NB: The '~' inserts a non-breaking space, ensuring 'Ref.' is never separated from its number Simple boolean network example; a graph of the network and most likely a table as well for the updated states $x(t) \rightarrow x(t+1)$ } - + \end{figure*} \begin{figure*} % The starred version uses both columns; unstarred only one column @@ -120,18 +123,18 @@ Tie the update schemes and their different outcomes or behavior to GRN. \caption{ graph of all possible states for a boolean network using a synchronous update scheme } - + \end{figure*} \begin{figure*} % The starred version uses both columns; unstarred only one column \centering - % \includegraphics[width=5in]{edge_vs_hyperedge.png} + % \includegraphics[width=5in]{edge_vs_hyperedge.png} % TIP: Ensure the original image file has approximately the right dimensions % (if using matplotlib, specify correct figure size) so that the image is not rescaled too brutally. \caption{ example graph of boolean network showcasing grouping of specific nodes. } - + \end{figure*} diff --git a/references.bib b/references.bib index 214aa8f..7c31b4a 100644 --- a/references.bib +++ b/references.bib @@ -19,18 +19,32 @@ publisher={Episciences. org} } +@article{helikar2011boolean, + title={Boolean modeling of biochemical networks}, + author={Helikar, Tomas and Kochi, Naomi and Konvalina, John and A Rogers, Jim}, + journal={The Open Bioinformatics Journal}, + volume={5}, + number={1}, + year={2011} +} -@article{ARACENA20091, - title = {On the robustness of update schedules in Boolean networks}, - journal = {Biosystems}, - volume = {97}, - number = {1}, - pages = {1-8}, - year = {2009}, - issn = {0303-2647}, - doi = {https://doi.org/10.1016/j.biosystems.2009.03.006}, - url = {https://www.sciencedirect.com/science/article/pii/S0303264709000471}, - author = {J. Aracena and E. Goles and A. Moreira and L. Salinas}, - keywords = {Boolean network, Update schedule, Robustness, Attractor, Dynamical cycle}, - abstract = {Deterministic Boolean networks have been used as models of gene regulation and other biological networks. One key element in these models is the update schedule, which indicates the order in which states are to be updated. We study the robustness of the dynamical behavior of a Boolean network with respect to different update schedules (synchronous, block-sequential, sequential), which can provide modelers with a better understanding of the consequences of changes in this aspect of the model. For a given Boolean network, we define equivalence classes of update schedules with the same dynamical behavior, introducing a labeled graph which helps to understand the dependence of the dynamics with respect to the update, and to identify interactions whose timing may be crucial for the presence of a particular attractor of the system. Several other results on the robustness of update schedules and of dynamical cycles with respect to update schedules are presented. Finally, we prove that our equivalence classes generalize those found in sequential dynamical systems.} -} \ No newline at end of file +@article{schwab2020concepts, + title={Concepts in Boolean network modeling: What do they all mean?}, + author={Schwab, Julian D and K{\"u}hlwein, Silke D and Ikonomi, Nensi and K{\"u}hl, Michael and Kestler, Hans A}, + journal={Computational and structural biotechnology journal}, + volume={18}, + pages={571--582}, + year={2020}, + publisher={Elsevier} +} + +@article{bornholdt2008boolean, + title={Boolean network models of cellular regulation: prospects and limitations}, + author={Bornholdt, Stefan}, + journal={Journal of the Royal Society interface}, + volume={5}, + number={suppl\_1}, + pages={S85--S94}, + year={2008}, + publisher={The Royal Society} +}