From d61fb34eac6ac8f85db3c9000de6b6095721855e Mon Sep 17 00:00:00 2001 From: jsh77 Date: Mon, 16 May 2022 16:57:16 +0000 Subject: [PATCH] Update on Overleaf. --- CUni3.pdf | Bin 60270 -> 0 bytes abstract.tex | 11 --- declaration.tex | 32 ------- dissertation.tex | 211 +++++++++++++++++++++++++++++++------------ logo-dcst-colour.pdf | Bin 0 -> 68825 bytes makefile | 37 ++++++++ titlepage.tex | 56 ------------ 7 files changed, 190 insertions(+), 157 deletions(-) delete mode 100644 CUni3.pdf delete mode 100644 abstract.tex delete mode 100644 declaration.tex create mode 100644 logo-dcst-colour.pdf create mode 100644 makefile delete mode 100644 titlepage.tex diff --git a/CUni3.pdf b/CUni3.pdf deleted file mode 100644 index aa66239458ddeaad5a1055958f1e498cd77eb86d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 60270 zcmV(-K-|A2P((&8F)lR3i*^_?rugSmAZ(E{@<_XlfEAO&;Ne^{qtY{J-+_uKYyOD|M@fWXFa`q zl{P+4OJ9Hg&;dGQNGZ{iUDM z_DJgciS}2G&+2oJC(K3dU+vRJ+qd`qC$;@!ZQt;I@|1BKskKk)`?H_I*~UoH!@Sq* zSzdFV@7W``iG7P{Pvuui<@4-`%=wf1YF}%82L9c*HO9bfpS`Sf z-s|_Dx$n4fjp^NE{d@*i30FrQU-jXap4G#zn)Arte|p<@Sm(9k{$060fBw&(v{y9e zy7e#oI==hwpEUQ+m9LEZ9Rm|P^$Pb$S+#kjY9al+7IwN^%}`#uZB^tPwlDyw6?Bq#z^k{`t^H6 zcZiYajPS8a^Bl!UY0syvc}+&yE3*07`+nDhBYARqFn3t3*T`OuSOxE=_DGrI{$`I{ zzrIJH6|Otn>zT{=JOy+>&G{PHtEQ}3ui4n|w&a&0^ftly&kLWeKprL8GDw}YQ-aStIYk+T0MmdxRxcB>wo?C-X8zitM)(N|GRHb zn=$72?|FoGj^img$G_&Ger9XG=4$_P*JF<{n&Uz8p*%jOW{hq-`&=e=aJ(5 zj#aKt-D^PK{H~LKpNhM5uiW;`>q)T&Q(nK;;I&SFtzwI27Y;tJh5aDUjZ zvktD=e!cRMa7`cUUi-Man(9A0Mo;kXbL*849Jkk8#Ou30cd1-G=l@qL>z$u%IraTs z4?M>Au{wLv<@@s*8C)OFY>Q$o6LQ09&3j^(Y=^BSuthL3A6P|uf_aC{<{K9(<-OK9 zM|+L&o+`fsYmkZuZ(_v)0^en-+r zYw(P0i)cQLztnIL!e)U%uy;Ej{@K60-`T#`hSN(UDP!5Z*WdubyV@F|;_YLk4=Rg9 z+lM1ipg(`kGvRys)D!5L_DJczJHETLhLsK`9dmh&>`BFOdVOl2YzfEU`_20{`s9!A zH-QzO>eF>IxNxsfY{0lV*r|KX)_Fa^9`R$xL#A!z_C56+!4}1t=qmb z$SB`(#m<8adwTX?X%ZRqP)t~)dPz%r@oib{zRvq-SXh~!7zrI7cx!dhReM6e!t471VMf1;GhW-ffaA4!k#i(*S7@JbpbqaW>?B+XXX@;<@I&6cxPO>a%H2M3 z`&CzLwK2c`RVUwD&1{pu@l78Uv+d=g?Z*#oQLn(?*?a8H_|-lm~WVx7@K- zUk!jOXsDfs-`|?suL;8M!jOL_u|r*OK4PNxHHpjMybRoYANjm6j_kF>1@Wo-nC|;I zxs)DG&ey=n3=Mbo{I;&s)3l@Z1Z=V9rY#5O?Gm98c)dpo_1Bg&H6pgtexv&r7PXD# z{fWI=xi!y*+jlkdQ!b6s;jPqrU++0e+Jdq79KpbLLu)HBu*Ht|#P3+^mkdSp{pTHlgM|y`UKhI6 z{mS8<&3q|{cHUhmh<5a9r<1v#Bxz4Q_HbwwwQH`vU&bhSx{qj-yIGW ztpm93b^izaFszlywNm%bQN!-_BonX>Ygp|4+P~^hM1(tkubw(%HNlD9KU853EiHMR zZTl;x&x1!sF~4*?xRV4+69YZ=_CDX9p%L2$&u7wJ#R!gr{c|7a&U++rSs}0iEdm!C zu52rMQE6s6aC>(YZ6Ay%Ci7mizhgkFwu~4^^->GO4j30ALEVeAE{01 zFs+O&b;)|A-)igNDzDcg?vY0ZYs>;i zFtum#zatgz0k_fym-gg6!MlSF#?(V6?|WIE?elu}2yHHmV8d*A>N9f4*7iebhn@|z zcUr+leK*j)#>*fU-~N^kYx=CueJi84el6jcmUo%&+fNMlovpARa6jL@UG|>_!ll>9 z{)Kjb=GniL#`V2paW>wc9z)vt+}-F5U0n~bN6sbMJ^KeIelbS2++fdf_vA~=bWXqj z+#^XJ;914Zvt9hrbRxW)XWv()5AeR7C*Dryy1+}|7T&uDFZhVDc{sx5ca}|-SAH$6 zWLxiDex9>yi9WHPV)yJ3Il;8g_CkR>^t^V;{#Nfvp8|WJg;R)Q0`oL8`l`i?eS3M36@WTM`r4-< zQzXYo-*;XWU)YO%FFQO5ELIrl2;l8!?Xs}LNXKm8Sz)7(%4j8hLD=X^(Mzt3W29?j z9U~nwgR@?Km~TW^UnAXb;9jwc(cY`tAG%ilzOU7;-LdbTF9E^Ot({hcNf7wlYhbN# z{3Diy7t5WGXxDz#Th89H`0q!SaqQ1MB7fE!czFqXe?vRU=6^K+4Z35Ub6t%v&d+PB z1LE|7c;bSi{gRP1)dx5wPoyH=FD*1ZF`~52Jt8kWMsQ<2;tTNfkyN)jZ3+eZB|%A5 zY7aaFoYQ-xe}tH(($3ulG03w8P5HQc4RSoXj-xy_NRLezVHvYp=a;AG_k$`p~wD^`lLB zEiarM^Q=G(#QChFX|L{itzn#vecY=Y2h{5CKG-sHO=q9%dy;z5M*2Q4?b>Vq>_-?M zKx%MlpDhYdLC*Kb;Mt~h?@{`S^V}XrmQK|75%)E865d(ZBM);3)!(X=#F<4p%=bLU zz}aLTNLXTf)+#ot_ZZ$?6Jq3g*{$d$S4N3)tJJS&k6p6&SaUS?-DBrV&nn%{v?6rx z2%s$GUAJ|~|O$m?!z#P}P>&HGEuvdZ0 zY3=&^^vd762~Tw7N^@Qxh!NZbzrcH%r%|zzdndR`ePdH$)9*W~)vFVh^1fr`0w!NJ zK2T^1^UTNVuL{B7$Y)3fay#4c`;P_`s;5I)Y3=YtS2nWA7`FV)sZ??+F<_?2jT})d zt;R`Z*bUnX-y)R{t1HuquV-=UHgw8Vx@EcQzxjr0k&b^)m|FCvt_@Q4+}9?G+k7|L zuf53aNe@7Y5LkhKIl_$(g)kKzQ=AtL-qL|Q6z4{aVc!gn*gOq=Nu z-T}gdm%}1awI2laT;wzYF z-{-`$lmwc}B|nit<+BdO&!kfPu!;83x;~U(CC9hGCxuJTOwwMV9Zs*8RT1h89_qtr z0I(-%%ByAIyJ&&QAz#1bL>Cn!Whmk$jLQ41a1nW@MaS?xvi+f2&IqQYIuw;X>5d)r z?$^j?g&R)f293Kt&G$(AC|Jl3VL(0yc8^{Q@Uut8IEC&*)HjwXgcoP5gaZF%8S;x6J-)HYr zp#ZB5&DD^mn6A{SNgM3LV+w z>770)UOQ%#Da(15fj*EO`R7+7VMhx%=`g`e_ZBNjA5doeEH;1XtF?OP(S6ibUmwNl zthSJR9OK?q1BcM7wYEqjKD5>)TWgKN*KldA^QA{eAxrv8X#vIKv;mbCUWip+_A7^J z@@lPk)>lUXZ93Dhk@AWBfbkEC#virSpHBo|sg&BJ(Qv7)Hh5;fR}3IvLupw$D(lFc zTYmP{SImL_n%cIkeyp&%j$F9)-n3;CvNU7e?b!SZBlvtJix)K;(gP z6jsdQwT2w?I|{4UPeetnusqS1!a`cqCZsi1&-Mq8#zN-L;U#J;Wd6#vX$zI_y{)U( zTqvw9_ouxI>mTJrg*6rLx*U-`5}*d#M@R>(UpCb2JTosl3&7;@%Mk&VcmDGB_xA`9 zQ!U9YIgSW686BQuE@I^Q(*B9|TU!Dh|)V~L^Z0y$+nU5BBxFTbD z5y;gThD#q;WORRn|L#*KT#+LmSL7O@D}pa*<#k1d-N$!+hn+0DA|q^8yCVCJ8K8Py z5hP2><%&T4K;efg0=cH!7vad|i)@+EhVVtElMsXiB_u$uVB~F?dM;}(r|m!%{=Kp$;`kQf?$zaYsFM<4-HZCN*kxB6a@^i&Swp80#S^TvrKJ_$HsCPpz6 z9`B#)dU zw{?xsoGA?Maz0_YoS!%|zHeg{jX-PRHU*ZhO8peMwbxtS5606M1x9##`_btGA`Gz%CRyh08Ib~LI}&hx`*qiur`r1mhv%zJUpfjXdmou?%X zv-tUG{yN$Tne&b824L2|)eH=X1Ot~3e^k$?T7982uJx8gzW9hiVn zJU{^8&fg_E;40-;@$B=E?==+9e3a-py8!ub{6grRDP!a4olDkBIs?`_=L@V=28s-B zwX<(Y`zkKzdZti2F?+At!7F@zDVgn~;P|{pobn=gxWdsQ9IWN)egU5yn5&S#+h;Wp8ZujaCfnRLhYb9WBhuhNjogG z&X!?4QR|%lK3WGO^;J5Ax4ug%5x&}QrQ@l+mm!?V@@uL3Q`d4%3S3`H{$URE-WCr- z1eex9t;$ocy@fR2yYU|SZTHSZk=A^b&X$MwGN&XS|5ZAK-_BR*0G``kof8lH>Kr^Q z@4-3;4)rr%o%4@^q0(uM*2_Y0mtG4-n4!gUO-@JaG>;ZwV^xJ+Lu(i_rXra(`FKm^ zo*sD!Ryx&SgJ&e- zJwTPxx}FiRR6vH8aDW&Y+yyZLd8_y>ZWWb7!~-HW^Zn-?AP^TKfnN^+Xa2$KJyn(c z4&$B@D(mXNn`I>l9s@f9N0Wb`DP{uaj4_m^#O+WW+mYdmVXf#B9LX&C{la|S>kBes z2_b)<8Nb(LrMVjGRwMkB*S_8g4$6D`=(XHiEOY1IyD(FU+&fkGd+%o5&mQqn{f|6Z(SrVL?4afCFNBOX6#WkIK++DTE_GGEz~m3MhLLFiAcO779Sa2q)nY zQ7&4e*ev9s-7dQwG4rhkSU*KOexDPuAUJJUjF#=U?9=aFM6&Jgg*K>FT95ZLXwBgC z>QmxV&sz0u3@m4Y^6BMlgBFD;^fUabV!7){p^xq@Q5k7$29?Y0!5MsQEkFOY{roid z7X7`Ae=f)4+S<0~ug`52iNNdi-J|i8#9`T4krD32b&ql{uE(%}eC=$EJo%jr{7|_j z%kIZDn?u-{nC`(6mG^DfJBj!8eV*oer}j=R#bECw3MaxnLDC#$qv4)htI_UB^${5E z30AZ4+;mT3t=qLAT;JJAtRbip=#g#0=um&UVm@_t6H2Vw+i-eOmb z_ZnfPR`@2EPgv9O3!ZKHC5qJLn+%j@Yr3f2-U0q%57*uSKHPGQz?WB-l>0$53Zn95^W7t~`r|{g@k`YRrg5)z#NCSEp<(Zb{C({G7?E`kfcN{EK?Efq z6%O7d7rl{dgbB*)8(5ige&ftHO#DZ00LE~b_&kMCrePBwHj{q??;lqHeAe?Z=^5yb z6-HS{!fWD#u83hioA|Lx!dMUaHSzD2B@;hZ-)rK>3Vu!edkmP6Q4{bP7(a&2o7h^Q4#wCOBiY!#y9pn)bHLDkh4l3aOK{Fr3m!T zv<0}ObXt7L0I!tcDtyxazLX5rAGg#dPyar6qB<_on@B*9&L1ex#p=VzL9yJDd-_{6|9r;*D?E2zD%j^1WVB%mKz4wQdiSN%*tnzpwG?KvoG4+tt znwMN<6zc1xlsPdD% zmi3kp35wmIx3st$-VMb>&AsQU7Mk~^y&9N~v2%-Ha%X23LEW#tUr1UZ{o+IvFBl5E z|D(e0yvn84oL4!Ya$Y6A)M=ILSDjWl_ockbxotZ>m%@?bb3J<)-|zI;vAL$up36JS zc3iF(VaMgt7^5sVB~a900g=c^(JKOfC4a^P zaBv{T1TfOHW$6D)wE*@9vdN?9J89LVI&d~`rv@=;$kUWkSd*{j7{XCdbu9ZdnG1(O zYr6=S<`~Ly9nCS6nK_!n?#iV(;uTyAR!+{frv0I7*(a-ocWWfQfuc$?JPJ}0*iQ5o z?E}U3`qq0z>?(lFBTRz!k^3$m>E5Br-@JR6`I~o#%Z0jiK=N^KyTl2cW4FZoy_Ss= zILG!;0_T`UXR?m*jy~L)cgUg!(vVpJ9IcdAEL7~ z081RaV!Z}wC`~scK5YTV(>y_WM`vbz?IjmkKKO#<_)_^h9U`D6QP95VQ4yFw-`%Im zd5jR-+0C;wMXzNPo&sfxZR-K=?r9?U+TX0o6|ZmF;KwD|CfH#nX`5OKz+B z6EQ+|*(x{(F;s9{o!hx4d5;jgI;#T&kEcgyWB5kIiBA!te)BO{Dv5+(Rq_Sq65cBr zMdYI9RhZBGw$F+Y=R}*C!`6_~*Q#)umgSgHQC!POuF<{ZDz`~-!5_Z`=NE7U%^`|+ z)!IL-T-UTLn;1ID|6AoyR{vc_JL<2H6S%g9;zzN4G=e~F>_EMCYKLnVSFU^Pbmoxp zaJHtYpwGif6X@}geZ~mAu?I$^A>A`5S`7e;J8R*rULEvjn7 z2rU0<4m%d?$qNJ86bo3+1`4)-{%qMCKkqe}2T%BRx<-7Ul~G8@UNtc#t(cFI?ltxh zqF_(>n0$LxH7By>Sq5^AG(vr^4=Mj}e{tbbxqci8qng>^ zjr1LzC>eV?@wHCsNTbNY6G2I)BakQ)IRD<+sGjd;9t$Iba`Nxg4wq&mD5Ns%trz2zM1614h-sY z98ARY;4Zt^A?RITw}aNs4D2Dl87LN`b+JQ>Tm4-#kVU20!-gGMH4X1FlLvCIL{~vw zt2GIWf34_8g$!Qx8X+G4J-UZ5&+p!PT=Woo&(#;#?v(9L4KVaLrAi|dWp!^A^Gz!8 z^q{8$h)7rgx9!4=9Mz#^S&2Ctk)2RqgF6e@L6D7*MtISjKlCVbvKZ-GbRo1}^8u@q zfCL;$#5}6r+Tu3}cvSol7fh89n_CKUx5?d?NPLzQ&TOW*!U$_{K+J~2Y|AW`o1F(K zc!F3yV|jl^a^e2DB589@tHC569(OTKi=9|8ixF-+P}M9}mkE8OjVnW+lHl!O3$XJ58*k=Vc-fg-sDRf%=K^OEmuP8etL> zUqD5z65aPFTHF+a&zhLJp%Ox zK6h4cGGsLIt0H+qfQV5+U~ilE+LverscV^(CO0AMxDIRuaEP6=fC9{^X%XpYm&1fN zK}#IWshMw%NIS^lDjzbSyj$1#gWWlzBIW8mOo(T2Ea=9Pa3NR zaS?sBZ)zw8llja)xNY%q4=J<#Tv|XwsXx3sd8+lpa!`acxFCj%1=KLomVrh2kdjgd zZ!_a9iW*t%7#B3Dby%|ihK5)fWa0JMS{5r7Riu1vBhh{a+awt?EOW6C5_(;sU52h7 zLQprGsfCD}xx|$i#zC-9LdL6&1uXHKjFWO6;_t+;@C(^Ugn2J2Fgf!5H-AU4 zBobMIRXPnX#s~sU^D!}8lP5PHbNIs|6iwt3xR# zd4X8VoV(f_9K#XKvl>Zd7NX!?(x|Db3mviWftA=-AW%<^B+Fz7&x$T+q=y=-qT%a? zIKTS-@S4}oa}c#Ix^F#6N2v0W$-*vT>$swOsaBa_u+ZskR?&-)n7Qc5x*PRubw#w) zJJOc-j7I<{tol;uWtj4M^tf>t3p9j%Y*2ASGvPFy3$lMyGCx67`MJWFaGuWqeid&C z9OwiT!&~CM6tfPUry&t@bjva--w{CJT6I&5mKaTJ-E+x%#pOeYH|TqW4BI(DlxIaG zT}z)`RK7@MKBWI)ydWz;3$;H7%tkfSrF8ks+HNRtUk>l^eh$s|ig$GPQ*Ev`2azm{UL|klQQU5FGu70DcPB zg||e47&v745>qINYXqtl3zkP5PKZUQq*&<@Stl?*b2xo$@eZS4?3HJ=|^s-?(=Ji zSQ1G$YFw!IPK;_-EG;=R39uRUJVq)vpjxCT$=u+@W2RW^)2!)a`Kd!5>|{DSq=nh? z<0cthJY{64*G+WsjMZgoaFT$09RmAaeNRd+>4N?E)deM_2+5?tFN%kRX#n=V<`G!X zRWMaq3Jan*OmQ@bIlcP>Z83@gt<6>k&Cu`aGx#V+#N$aS+7#<0QM}p`G|^WehcP22 zj-(K=n~C}wpCrS(S{*>APj$3fJ|l>sCZgElzI>SH)_?DA*iegp!tjs;Z>5%coa!f!I< zVRqO$gB~)D33$KMDr71N|Chv03J2mOWD_3EV-_p6xoZ9I(^qu?bU>TvR^$T6}AEV*@NA z0kP3LNY{voHs@GoCbhfd)NZ8KnG8_`NTNQtjNUif@o3~H1eqn*j598La?j>QFO^tqyfVzXmNq1UrI*MmJ zKUb#KDq8ihI)Q6-=!_)VGW!MKzKET$=CaIAS)J=3t{84`(uFKWUQ*hSRGix6G_{AI zBQ@L38^Th*@^n`JjQC`!Nlg>krVRiO`P7!Ur+wJ@@7-$zMTP(YRX66r$)vWhB}N{a z-NdAtM23*E5GTzcen3sFMz^LaVL6U&Hk5aysT)N^J%-jmiDfq;oKTWYqPXI5H=fZ= zMdmJWGckho&7NP6p%~1DWxrztG|4WfavDTx9VuS^jzztnq7&Q_C(IOq!C2%^=_msDUJA z{6v~<;m$<4ncP7G2(RLtqWYo$(na*Bb~V7iDhyW@Ah5wI3`kn*#kK8-ND^?9h5WkZ zh$zO0>At*BAu~tm4hsN!AQ0?vr`S8_8m$ik#+#{x!X zMcWOG${&}(bm`&}g#@<63%lIaUvi`eW5jXs?jH%}k}fq+%@zXxEtxk&brNnR{QwjU zS;vnoC!9SOJz@xk^+kCM(0kmE1BCX|52Y57U5K^f17X1~{z4j^7PmxdXN3+lP#>AP zP%kVIJaYS}D)=4gX01cf;4*SY$kca4SDy_fzScxT)4x);h%L8+p z#yPeiFCMS;@y0s}1|#frokU}KkI16Ik8t16uqj{BFeFE&|;DO9TC1je&nb2}yFy)wWvjaA~^*t?Bo;4gTBFn0>ckNNY z2eJb?kEgdPIo2LU0ZSE%3{($P$MBaJ;AImD8N_EDe-pEy{_~8^b-gbfLnJW)h999!e8Nd2$Rg!XwO|SD zipUt1C*E^Yy)kj80DEO!FU>^yHoDbxKk;s{4c+svko+wvw5C;QeGR`Hiw`o3&>e5& zFDerHxLYq`r;J?_?a_1uAc>C<1)IcIC7R&6@@%bH7=V|-`k^vR&-acr6Z3%P zR&`*N3a>js0iZaeFChc)#a!h(GIYi8QqO`_c72hoq4o7PB82kF46W$IPg1$BEZRuL zcQhjSc%N=E4cIgoVup&MAx{F)$&Hv~Nvg&LIXT?Lqk`oX`w^yQT31KrLNpRPr}#&* zsrkfM3z-S`Cw-!av!<6cQSG`wE#8ZnouUsC@vJpcvhkHf4?Tis5y48vrdKYx`V$&4 zeG#aF4G^D7J0WPUugT88RBgFqoqyBhsy zrruf%tfG)ZiKK3m8}}}BfI#k*{G;YOuz#vcT_0s*sK6i1;$X^u$Y7u9-US^Ct5M95!s&+0tgTF0 zk3^am-@ry=UBTPJND}u=wRv6C?rav7N+|6FsETxhWTxn>Kb)9a3VP!6P^Pc^@Wf}r zO(U5=WPAYvlCVnf&Z%As$jzck zOY+8u9%Q2|Y=D}yrIxVP$wU?|euAnq^f(yJijR4LrY|W!?0?1DfQQ`iQ9)iu)hnlvs>S02^2;3^4C_uv9FXK@ zgmejP6(3swk;k_L8=MJ6yz?Ws!wMZEDyz`E316w7@I)VI6@HX$`v|2X>-X}CGB!$& zsc@~E^DVJKFj$M#dC3At-6J>*<9!%vCmmD~d+&{5bFq%bx*iksvG zM`5KaQXc3i(r#DfvUAW~cYOgfd7x-ln!2(9ES4KXY1Lff)4!mmAIu|-aiOD_I;!oU zqYwksY}SvWdBz@C77=y#Cv=4(H~h)eFL^LYtWT&>y_>QPF%K}yVLEMY*aMJaOwpNW z&d8{r05dU3>YCgaAjSA=E7ui8Ks3mh>Y?_vFF=aun3B(Ls6l|L1L9Xj0G3@B^UBTn z(Rak_86aA30A@{w>}ms|@BtOi2XZ&UsacJ)Io(2XI~ISqs}ID9gzi=?M<|DBBJBN+)@&hh-{@}CzKrKXycrVPl7gUZdFQx6UbBLcnp zjKZW<$;@*$gIL^q>X`Zk)7u3y)0&M0Jo>d!gEXb8(a&ufo~p)n z@4gT|2@k*y96g-}pgBkQhnmc(mrsg=2<6yDG|`4)&vku*$^Rp(FOB=yd4!7;A^W1v zBZ5XhIvx*xiA#^5RqIlxxdWY)9o~EKON5ad7pp6lCb^3~1*=6Es=zOCr~ApGK#q!@ z_$01r=G`S~Bk5T3-_%Zdp0Jdt?bQN=wNYBo_Q!vhIlh zzjHhvIr!C7G9;aQ3Aopr$8So^6ReB-rpFwrCy@8I~&qP{xV(|BLSnyK5IaC%dvUAtC7j2XkoFLdp{ek40CAS=QBlCkbLdTYBjq9G$D+QE@Enn&d zHDb%@fUD~7g7&%xYz`e8P@{~wk%@X<`I{|*1Nf{fRF@#AQKBrE zP(Y2)+=hRt;zL2ZVCr*1jS8FLgdCk{V{IO&(c@KG9hi9Rkk{^(JB1H?utqsr%U2T) zJZ3I%mIktFR3zgQS+{dtA#{?s-fmeb5H@(r?SdO|q-un9kWY5$O_yW(*pxLKN%zU% z2TTQZl~WyJaX%}&QZE`Q`u4tPq(?|#qLCgq>Fcs1sR=Gw1g&SJJ4%7stU~KDHW4k2 zj|cP^+U3mynJNwyU)YV8?5;#-q`60uI)uHQ>|E-2p^>WQ23Z4M(cSvYSfj@r87~^? zStpdD9`4G#GPHt4n~GH0K_g*t$}kQz5|?v((MXVW(A!^5_WlnV3C$-*eep`%lA|0n z61y+D^h63eyEz}wNKg;Cp8{>Z+as^ol`(=7gnh$2iAEbiO{f^MoKLtZ-MQj%s4vTE zPvY=<@krSD3ST^;fk@(j;MjK&vhpT4X z*)Vm-&*F-Rl5{!eP!^7fFuu>$Swpv(^vQI zKiDN~K;a>YU835U3W2HXaL9pO!pI^qPhgk0^pkQkYGC$oA0jiO#^E6k=cL{dlAl9l zqJ+h!6yY^o$Rz+HMmfl(B?wsnm-fAl@e8=L1nRtiOKb4j04^=j`VzPVsO3^4&I`G; zvFPG1}oMwpz3RpcI>%wrIPpowWrDIXxy5=98}V(djcd2>iHF~4)kRn@WA2vZeH zD)Atdq{Ch$(^_J}(g1Ez87^_$oOwDqEq3J_^CZ`~)5teCxerScmsgUPn8X%Bpi`C! zkV)64&H|9fxL{0D6rw`oIS>2`nam#d^0u5tAZ*Wwy{n}82fBvlAmC$M@dwESDmUg> zml};GKhk3^fTSRwkxuwPp>>6g%dksQQ*NM!7@#?_+Slq6kBNqOpeB=nJ}&VF=n%$f zAf52s^db?}?`r!u4zdYa9PVJ?oOtv+XMo0J6U^zkL@`u;voEkx!hv#nN2XynIY*8w znO`~1vw$gSgczBlPB^lJgY2XK8kstyb3Mqjr9+dfgu*20II2$OLA|H0jjuYx5Rr{s zF;7!ujpV$-@%F5PH{x+v>jg-n9i8fRg(}nok;Kl1mUS?l0fqhbNRLq!a5*#r;55NO z$<{prJ=jK6^;TQ~QeyYRd|{U2q(7J?_z;At9?TM(cGq@cma^dd7ibA1fpp}$D#Dji zK|FG8xFZj0iOx>ZtDx5SAPH!U{3J(=Mox%H^}6LJrZb zblpVL7O|{ILf}ukb4*X~h6+i}H&TdRBC%*f9@Fp0!XiXuGG9QUT$So5YG6XQL=tV` z5Ql4^IpDL+O+3#?poA0!71e66+pqW3McuDTyazYpt4gyRlUewm=Kbd~vno=(L*z9NIk$=|23Lh{bI6}ExD4}R1{-T7kYUmD3D3kEWC?V(QR=-d}G{p%( zH`5NX?lkh8;hH{>4oV1CsSu`dg?LiQW5*Cw$R&bPXTJsdq<|YUhw(R4e4oLBC453cFHMV7l@TWm>&hLxQot;oyyI;ke}@S z;{o|$uy4E&AHoF;2@>Ro{Dh@lS4`%?xauXcZO%dbU__gjRLu~_h43Lxg2q!Ievl+4 zEIO`OYFJpD!$sm*=F_o{mKeLjsKbFyuu~D*?3H`8kv}6slkgh=Un~KsD5iK0)DP~8 zh9H#n>@*&IP!=OG{jL0GzZ6cql?!~0X6vl{bo{u}+<6psnyd(qB2NeBX$=_N#YcV*G49Dn{T(9`+d=WC%6m5T?DwH$eL$ zvw(mINtP;MZR~}2WS9C0lgAPF*dtZXB6EaV(j=wIhYRjsHXu-p91^4bW{|EYjbX@1 zkbRRH?U8OSeFjYdgbIEbj1gS6P=<|FOO(7lYF+?)l3j)$dDFFcg+Ag!f@~tZM;+>`Yb<~Mtf{pa zBM8#Cu@d3=TQ#unV>2TYxtvJ5fP^~M!}4lI%{rcQ3Dpte{(xxA&)<_;fuaCCK*GO< z9XoHC=cCn7GT6lYg`)jVmKkC{#pp-srNznz*E^yiDW)uBVvk9abgmd8?!cNMV703} z5LE@rlTUYfVh*+P3Rat=M-w7KA%p)<6l7dB^xUV2yeJ;F`dr86tT0L9zXrj+$h zh{<4&0iJ^AJTmTJ8W7D9qzXw=HN~MYv$PZuaC^1EWD+_MM;G27o`(EQS*$d(i?v`S z&!A<_HkpZH1bk6A9;PVFj>x1Yr#42anpg34?H3124hvx=F?*1in(@k2)XfnVF?7!= zs^!^_!HR+-Cl!8);mIS^Yxo8%@v%g>v9fUeV98KtLo6dq4bqnEeEX>0gh6*q;S|~& zqP3lPaHOX#X}CxolA++wNYRqznK z9lMZ~1q=!qeatqJ

`m6%RE$rX~%!cr`o)8V$K4=wJBq!@U~G_qBgz4AlUJOeP}S z*14c*j+(nTis`j*A!|#Itl91gCk~%^!a|UT2uiWLoQeb^tj7a50*h>Td9qQ~WOrDi z!MkgONC?C_LZnjh6F$Ij2;t1Ymcgowd165dOSmyl&F+RXOWX9`C~^jFF=D)kzGG!Y19aAL5LNEC`H9Y{2-i<;d{a z7QTeIgk;|&;(~$bkV%F*g;#p)|HlYUD(=@MPKniYMg~a}_!>KH-tJXBUEAD6Gcd{>hRd?1N>ja3d(5!@)VXuXkiLI+M)!)vez|-35bO-wEA?=En({d^-HDbA<}4@e<*XAjXAFF>2V=Esn4zy^ctryw(-ikDXL*CT?Q>c-S7Dl%UgZ{vtf`m2bOaM{8nDDhz-Q&Zlo zng?^a^0HR>`paZIfTqn?O5GG?j1#s6T6JF;Id^E1#sWYr?c78LM6 z3ld~jr`CO9%RdIor}hv=2wIwM{0ug10uelC=SD>zf{v zP-a(yGa5ncom?Ii&=Ce=11o{GC@YDhm57l}*o`Al$!$zbLj&2sXFE12tBpEIS@4Q- z7tQgJ7r_rAsEQFD?Mo_}Ei1_H!R41u>@tb@3rzx1mN`6eKogLN-a#0=*l9)*g`ebDHZHNcmg+buS}ZmFA{zzoQU&-`TUY)@FdeS6c_xa zn%$i8l}C_Q={@n%}iCbQYfnC{y;q5TTu!$l~vS8gB0Xy1{l zymNEFu&7%}aYTt5Hl9?9s60kMsU#a}5;@2ahs$BkfEu$9&w?$Vi{UReh;wpRI;25~ z>Opz|c!I7#8a11mv}=!A78i=*q8h;|PtBH}=x{F^9&BuMDUm4~ybFN`cvyiX4vMPG zWBs5bkOGl$1usQXb;Nk&-Z7jugTmyUyDyn&zD1wyn8_QtM885z3Jd z+|>dO%Bp6$z#((ebhf@%SO@7y!q%YG(WVpC(2+cXP>VPj+SQ(Dsy1bHkJN*(_SM9m zZ1)GII+H3;J%H-Y6qsxnC<;uIFSEVh{$w3qElpYT>VOhD-RXR`dYsc$3>`wLp=mAen1ccd__+(oUzrrx58 zv08|2k9t5J)$Z*Xe7NeC)i1gD96cjhWjsCJeddOOhf7}2WL7+rv{0cbRfOy)_i855 z`xm3!>{T+1-Upslxk4denERlCsm>dZx?x)sO$htA#@}^d;NzWn%#hV~Pb?uC(eZ>Y zpjn;Ovnjk8JcO!6Mp(VbRGU#nEszBzI`V0IaYj&Sm>DPQ)UepggE0_>;X+oL1A)94 zSveL2=HvA4fGrT2GEvW9eei>r2RsJD4|?u?L?y~-3B=#kR+=g|-*SzPk7q>CFZdbs zH(GbsouLjdmX*9?JE?Pp`Tax{7&*_^l4Cy_K0{XT*i_u{)Qx>Yt}~wcjHrZGon1O@ zlT~z+?BA+G;7f^aCbX-l!xK9=$}&&(4C(*vgT)PL9?{&eL%bIVdp^?VFYwuzs|lHX zRAeT{6`@9nS7We}eoB38QcWisqGkLKSXoGt!WQvJ^JIq{T@DH)JX_mYCd*3EgJ=XX z7AP+of2Ce>b{mLydt{~cXnmn5BB7IFSYl3whTA?_ka#2 z4=P0*3P@A&3@XiSN*MW~rT4HOj5Moda=S3Lbgr0+^3$B@j!@FN3`d6fShzT*uVTy- zEq98ViWw~dab|4=nGRt*DzD8~4H&a@2@~8|t>BKF)Xx#?Fh-I(4&n29=l|GIv^qb-#aYf-F%CF3~{DQLHktlW{aqClD3?oKMycq3j{3>yjcjaRHsq=+%C@c^jqa~~knpHo9MB#61DE9Khx#>#ZE_HAhf=GRh3bS};q^c!B zjF2tN;F>d%+~EPKy>a^QK(}XRu9G?#MG*}ey(D*HR97K&(-}OdNZF%TNK^?ToZK2e z9Kj7EEiF=DEq&C!RJTne2F6CiHx~|*CZbaYi$SLj;e%)OAHfFiaf`6SnU+!S8fFlo zGRAa+9=IK2M935)(1F8w7*=X6CTYz@y@+%SS%9-=To;IB1z#!Z_fErkh-4Ah3*m}9 zs;a{}gFQn{SXkTK_~)Vqkinu5H~I4?I1h#*dl*2>mw|b8j}Y)@1f@PXyxHr)W&Wi6 zXZnB&`$rTAmC=9IZ$I1&Bf5ulIVT~1vlJUP`MIKrdI~Q{jciDojC-U#_{~~xY#hYI z)zdJ`ES}Ms0WQOS?KlEh7aMYxQK7Hkh^JU@w6=S%P#{XUPxTC8 zV7*1Em~0(|DM#(E-ek;Hcdh7Zh#ImMH_;B~ios>>xHaRX4Bg@t@$w2V7&DPUY zb-kQ5z;`};-E+u+1kj!J^IXO(0-p4InR9e)Gvx#2ixHINt6AQXCbE}G{*-Z{1%ruT z48;t8I6{2jFu$={Fe6X1q;p$0HS)=T{k_kFfp&8_i{i0>Yr2Q*W2 z>!~KzM5L-+nT22g^p0Kp?4Tkvl?WB|Ttz0GCSnTp#Lx|}_`s_Ug8^9fP}upV2?&ic z4S*J$_{=PYVbiEbb^41imF{jm-{cD5SJ*ZEAuS2i4M{}szKR%oS`g}?8ez60s~|@0 zl!&|e;Q;J_7OfeI=tr7?P^kVVYpg+u->lui6Jj}$@B(>{#%z?D(`E76;Jqc)Uu1H* zwdg*O)jqd576+Nh;}nN}W_*k^GEnK6_;sYWSUZ!&+7hxWzRGnY@-snsVq(rrgPs=8Bm9` z`xwAyJ3;mM3VABUrcYobK;qB<%pnhVo2Y8u8tK??G7-t)NMe_%;`&LCJIP+M=k^*A zKZUrla2QFo74DXh^&1QdoGW-p(TAzLr(s`H=OrTfNoX6Mmk3*n6qLLpMLpe!1lEaM zhNCP9C{k;wL=4DLs1()YVe7iwnnioG091$aidAupYlK-L$O!cy!baYxqIw)6qgt#5 z1kILDE>!_`$ZE9{az7^9J0e2{_xLd3uYPG-4=ign%~au`vD_v_>KQt4C3k@<;z&X) zfd!_EhEAZ0q@7Vlk01)IUFhD{4vaPGTuIC)%K|xN;Cdf-FGPGY5edUHf+feoY{o%k zV(OuC`fTFZ;lzHF`;wpU32qcj_J}Tm>L|jE$90c_;Xw$dk?YV1bh?}bGuiT_OPu<}uk*lb}Y{BR^0#mI#Z zvV+EurcRxs!gluSgqlv> zoB~x<7bNvvDk2%*^jJRdhGJ|3aFGb8zFXuTEG9qK-6%+zLsgoz`EGOzerLm zm-k`9g)L{B3Va=kn#Q|imk`1n<*^;|3`FiVqE>Pu97imH{4)%Ht7CBu(t;v9l)AtX zz?Z(3F`JNGU=t-b=8y=SwK*gn72z5F=x*%!DDe^UH#tI9x-M9>C0Cev zt|VGjezy0lZYm-O09tfK-x-J^2NDaGsB)8;<2U6R@+(V=j?%0pe5?`T1wMsH_BO z?E}PP<~B znosmE%w0kG4{>cMaU_bZBj-m+$9Ev9U;C2DjPw|f9WQc(m0c#b)L|j19~(cxs6Uuc ztivRWJndD3z%|IZ-d_3pPmt$e zq{^#yRa7D$rnpVmVXrokU>*5z2A+}eF^vo%I;cwrMFHxx2{q%`tX<=}qWcq_T9+;klYIw!l*F3G++3!0!lG5M#gQ^4 zfvY;(X;k5jV%^ch47o>f?HOsj8_1lzQjMt+#|0L;gThJ0{n#GMOk(Wp0h^INYRIbg z*C#jv|JEdSOyz@f0F}UK%!Y)i^a@Ri0D0H8H}0~bjalPjP^m=Y;*IIut;nS>xG zH4w>W2&YBb1X$!jU^XW3e`q?hd!H3E(~)?kb5FA#`;uplPiUl(ZW&!Ym!_AToJJ)j zqPBIKH4!@Dje&Fm)B7l|{YxC5(t>!0BiJxg9)IL>$#Z}R0nsBlpq%*;F31;TdH9h4 zK9Ak9c@CgT5qE4RgwKKtrRFGN79WvP&a(9}AKV=5f(u<+w9rZEXj+_* z`7+lcyU$TB4iAYJl#mxkZ}@t#L8o}(iZ`fvF0zx(ZHNsBu6)S{@e;26iyy*>rq&)v zmW@Ub4O@H)Ax6mJ6K)Z6%FTpo2nFb|7%DBU3kFz7Ih|r~X;)DRLuu?#TEv2c)8a^S z-FPTpf2SdUv`dj|pH{$)ioHXC(o$D(v%-1801$ekf$qB&;SKQ)oI2=;A{}_W-=elQ zFPbPQeFJgyL+_iFxox`d0828oD3VxVmSqQQc(iHRERn(lJYy+tnM#Nb28?n4ovCRm zWW^iUD-lR8(UVoywDB>L$T6zom;?Z|bg{}189Pl4TD3QVL|bwSQV)*2=hY8sV;FRA zN=}N`MF1|RE34vVfK(`s5ppx`;~fz#0XeP>0$}XIOwh@cw+3Dmvva{FpzYyBapW9C zK{0}zNM7!$@6Xw73Y=QVL5AFwd!(JkzPM`CorFdf5AqP8M?MkqA6S^l^pRbNco=Ss zwmKgQ!_K7stnxF+sHus9KuAqgmB@@jJzGWs`q5&KE2jRNgdbDi?RcZH?#Z+%!i@UV z1nC72h9nb`q!~~IS=`P_XmROe5i~GNUo^qP?T@9j4;N63G@;wsLwgxsXGTo@eVk?i zkN1PG7%D>}R(XknI0fQb=Pa^#S&LObgC@6vux|4-r&s|7pwTmm3c-;m2PU7GIl;nkyuj)prioHO_&0y*X z$qw08jy|Cgw@yKSoGzTb+U<%BDVe_B58i3@XrVMd1=Ls)c{E8sEPu1X2UllY0lYxg zC!BewrDjC8vVZJ)1kCAF`jLp48jPq4B!{f@U!U&C1=&)yjc_*V7&oFLtc>ya zJBmtOoFk_7-&h~;!2H*L@3;Fu|G~fe7yt7oef{VAfB%>g1KBsM<-bDJC2f47$R5|t zG!d4)vIwSy!{b6AXM(z~`Adat`ynw0O*|x2d-*jogs1}n3{#J+u%b*GuPuWd`KWAQ zBqQ$UPhjcDE>&EqG}Pi~s2*0WQ*yY0kI344_M?zhkDV&~af{I!?+nD(O>q?yeEo0< zgvcAb{^&9cX7gY4B4jy-K|R83dDR4P-n)pMIfwm~#co1M^K->I^f;=TT)9O zjevYb9T3!8Wf{Cp3N!+t5rq_eSTc*?swxN~9oRgL`@j}PWZM(1kB6ILt;ab$M_bY0 zidY>4bZbAv7?6eCo5O&RHC;mpD2=XY0@^4vy0rdoS&fX}5n@HjEdndj<(Y_M6Wg;Q z=O0+ttU6RYXLeJ!<;Pq>y)}&7P}{lTK-@B}mCUJ2=nv^=bzoy)vacg+b&5UJSENTy zG=4I#Ba^&UeH>%J@dfNV6au5m->L@_40gR@&^Q`ZkUCXc%6%DAB|woFauC&77A##% z&F>ZJ%Bh(1D;Kw{V`j1QH;0vW5wCJ$N&oKwhI<|nG6xebTM&|}HJEXkenkDvxgx1{ z2@lrC0n@URH5CrtJe%_-byZug)@K*$$0Bf~iRSz+#kPA{sKB&0ALJV8(&Gc${N%va@FzPS=C6jO~GwQu0Jk6LCc9z4jy@3t?++xuoh&;48BL54;}FpXt3X30u?=_d zx#Dpr`&@Z+-?B{qcSIf^zJavaTdsmFswsRf?#UyvLh*h=_fK=qLB`U#WmtXugh$9X zHj}{c5Zm=o&nF&%MQW6x#>EXTz)P@syzJxvQHeLOamCWU#&XE)Hh;;>DU~zA&Lm`8 zag)@ca*m?3aL7c?7nKqEiWx0;)ffkWMbaAp9`U%RDPfYJY#clvoMaclVr5}J*Hc!Y zk{xwhKeBc^$%4-nR2=vM;o^&VDW6l~A%;q_cTeHW$&2luWFHLq(QMZ#jsO zU``irtmUZDU~A@L$Y@g*9rU&YT2>_iA**hUS-j$R*a%QyQ8r}a%3YFC#04QG;KthX zV@9+mWSqaZd>GO^!blRbxPuFADY^LwB@r?|z+B?FA_=?<8TRebOoydD2wKSgTM2B> z>h?VX3ClypA`f7Zb9g2++s!=iO5}+$*NZo~r^~yTX}0!!U9mpeKwW;>k;f^Ih>>N? z=QJ_vW5;QHM1vjOp~uI3$gHYHRZkILvKaHaS+TQwkkS_^^Vbz*#6_sDTw-#y42|N{ z4|~51ZFXybCtiP#D2z|r(Tbp(QHb+4L_AOMtGlyzaSgU5YVy&uO&b$6^8_H3>?8JB z;W6;SxkT98UUdX&&Mm&`sM&e>tH+FX-I;b_&<}B4mv+gIi$u-{5|@>A0HfX+<@$p;Tta6ZH=5FqX1Z#e~ImpHkthXLFtZYdY)8tcDsjs12NWq?Xd-qvCc>mvk(R-+ zP+kB5GUoc1;-94Q_Z6fPx@6Vyy(7wsB00^LsP=xqCZnf}b>{Ypc;zfTcX=yhICIs6 zv0PN5P>Ssd*gM%dAMAiau3v~cgd~d92QMc6K2-fu*la3&kv<)&8d!|(4{&1GJ0cNH zOWTW&fN3{pFrCK7Rpf-pvEOuooeF@vCReqHb;Zk8hJy4|YaE%&!QbjDa;!Mu?hj`c zZ;H>=$|p7xUJd9#Ne%v#z~0g=vB>KQwm%nC_mF>-dO@0+{N=)9l6gpnv&&?g!GVx5 zW8~PNLP)Nr$F9-b5~_*(JXRb;AZDYk{Z&fMRiD{_%;uL9Erps3leoURXizInrPG!Wp$I@rJf_;cMM46hC>tirZ-k!82&!32>kz66#_ z*b>nihf0tP4)|TD7nB9+8yejS(j~5WWKp~oIs?AK)Qj%FbBl$<7WYWk6^b8_XN_N= z9eIpkjIgN-di!#U&q!6>b~9Nrjr+nP6(W4utwPHBu@_|8qn|&)B^QP=&pkaHsQ`Eq zPT$)e0f3;I!j~PtP{?xJ`uR~cXLVH=@3ruRo^r7TqkiS#YVWF|uci+w0WBm-ihaXrXtPbRzGQNm@nMmj1={oD;YqlEL z&tGI4xCBZ*5UFzrj@D<|7l9LxmSv?oUn9I%)Ks-b_z#N^)`dBZUN;&%l=v?_5AQ7b z^szswk+X$z{WYSVI_U2+-N1sjQj#ehGC7F+JHF!aabfHN9#JbXs0P@;`q33QuF3w! z?cwGpGyYx;fhk=S(&vhZrxv?^S*E z=2Dw2$He|NY~9q&P!y8SfOBL~WM%rql^lHZ*P0-H*)+3AuAA`E$3iqY{^5716|?dg zSvhokL{KvM6)Y@P8?)h3C)Q#j^XSB#nayBZs3`yRc%80fYc+@prZyWB^z__C-pY2< z=(=PUmFTNZx;vHh;88^dsJhPPK$z*vna(E&6>3of%s4hx4<58{Kwf=st5jEGwcdA~$lG<*S@ya|2H8pXC?HV>?&PQX$xA6l! zObKEb+UQ#HU6{A(&>pEVCO5taAS_c^&_X#^SYh(9o-6dyyW8GZht>&1>WosPU^PHk z^OdKwPQiW$paad@8l|-(g{JSWwI0rgyaS3EP_tIEn_w!`A2l=`bSJP7mRt_vlfcQhT+M5lcBV4_9zn%7;clpsXC#C!aApnK zQs_-DU1fVLJ7x?JBqVCCV>#I9-w{>+f)#^ND+GEU#X>Zfl4(HerN39G{u)HyDIF91 z^k$Ce2vJqEz@kY^CineYJ3r_nOgAA@RK&mD84(d|M5Ko&nmM9tdUM+k!Kcz!c+*5< zp!ocf1*N@50Jv%W~_)oEOHmA9;Y|BkSLpEQe%JA)Ri z@Dt2{hfJ?O`ugz#mrg>)h0)C-v*}M)NQf>8e^e131*%a2DGyz>uuD-o(jcnP`~Yo6 zupBK_dW^@qW~q>Tq=>;Kla`GfabI6?g~x%718j()g;q&y98 zp5~aGwj)<(?zOe53@fJYAN7`nKgeoNnkyo@c%P|G*Px(lJ5_j9fAHmm8@XmkcasnG zjPvl18_AMD-Z@%A?%H#}LD7Vj1pt@4oc+(@wgx**j_;uP*;HidktXD*`a!=VGD$?T zAVZYp3y+9rAP0~ytKg^wpv&{m0J`2-dPTi3cE!CeAcn7*k@8Vt6@Ri1ryr522pe0O zS(1aZ2d%)OOJ+NXIe(*U0mns*k6wQk56)j$BTqAWY;m4~AP z_Xx4H%aL0YoCUD_{jSlI<%+%x5td@J2qPvItt5^pf8vp} z-sBo#Kt~P(@f~UEUY{btofS-RmsjCBL}O-`n1%7|qM+D-=|5h1y5Ra65cQ!V*xBqL z_z7jVC8J_ZG2C-S6}XSUf}x%#*`Ej=GoSEm--8RpJhp`U%0)54ko7`j$NCEM;_@c7 zAuX#OKrcN;u+V_Eq&K_N=p2yH0C@yUWI(e??w*6oW~p~a9_E%4mB`oI_<^Nb>I;x< zZUfJV#>sB03crVE&m~LU-6I6c<2NVqZ=qr~Kkbc*O2Q3f0c$3NZk^ zSnN63YMVg7ra337+4%$3I1y!lv>FXy;QyQREppwbm@I3GNAHaMzVi4)Rn%Ozexj>s=xN(@yuEG5FK7A0(IId@O29R@!5fbMP#zzeFlt(M0<1Nf>HICiAhz`1>jqPL3vZ1=>-NZsxom>yT6tu2OrZM-+ZJ%(s=HLYAa|n=dqfoAO7J}M2#j=^X28TSN%?zrVG)C8lMjcS(bf@vi8y2^wz7@* z>Dov?Q(T=2_8vbGj9Uufi|Tj?EljdrwYs!i>3uWE;E`cAnRi5t3S+!k0rHg%Vf8~+ z*H4AkeZ_Q0#(9KjjhjtqLN5ELJ(Mkh@E-wXP560maA~uMSaYn%0Cc-S({ynjnC=1? zUpfCDcW;hmSq@~0>9LAfK@#(@0!mcKCHUd#7Cc($5_Jgq3<0E9&JG{F8tf?uWodvFcF?_IR6GLdoSVqt zazUW;Sr0^SFb}hYkTC>vvqC`vjjU82PO|<(H2d|@FaWxa|9|kvf)Wy}2^RT4y1xHj z6*;D}1SMfLu(D%H2Awiv5X?8_zOyy)QE#BHwz;Y=@!)}O z4hO_HI$ZYWl&MXkYnMLaGhKPuhtC2xx5SwCC**hXiitb zif2Tw75!8SDC&N>iF7+4RnQaWDEc!;8q%+j3~ zl(y-FH1c&V>ckYOcho3zEWSe%6cDr8^s%iOremeQu`!db3H&-66$!a=!r;ab!}hyf zf?i3zZZ!Pr1o9cd(%w|uh=7>F&)r_snPX$=rZzjMw${uNyFwSf_K}-V;9dnWyo)1| zT^_`H)9O&!j7SV}-Ybceb*zHp5Nrb>H!(f&7uGDMrq2lRGTu0U|GkZ4YbOanQq&cm zjz8>nIjMzyiU<&&L!qHtOwe}}6FBpV@%(x?-XX#U9!Aa#nc0y_$%q!FspbVfV^1(D zx&n_LkuDkg^fyVVmbZS4iY4mZA{?AoR2A&2fu9Mu4+@#nBY5Wncojq!KW>m+$jN7@ zDd$v!(?+58E~fb=C5AAavN!}ef*o^YAG@N3lapAv-I>|@5dg+NkqNkU%!^>T86S0nQW^hAK0aPT*QoiH4Za*z2_R>lJ~+Y?OC6TE8E zdPWNu#k@`kQH(9*X;=KKp$~Nnvzp_QS1?%EL84$}Pb>z;6h>J}7f^`~8c9%k%*|bo zT!ZH3(Qvog$!HKV#2iMwb{S)T#qwN z#V84~Xy(*Vh>C$d!CO?JJt4r?=aKy(YkOLV&Iz*a;O_>kiRO3GE?u2u#LtqI*|C|p z%J+7%$fif2or?&K;K~YeKtq4wft$cJXxJRM3Hk(w+`%Pz1H zz{#vf^aIxC@587Ma3;(69eR8ty232X@($5M1A|u1qZZaD9i)LH!Re5m7Mo@SZ%}iH ztYVbYHWZz{JcuQ!umi`SSWlT_DVVXXSgAbuo*aqqiU3ztwpEdrZb@QbNstsm?HWT~J*LuakuR02j6j*GX&;12_lA^@i@A_b<4I>xTE$?6z=zr@_u|gcLroHJ=vkA7z$%NI$Z{_m8GJ zlOwKR#XcX8wg$t3*8z`7QqEY0ZvW<;LqZp6!%HSJk6fKruV^3%` zD?`{5+{uY%BJa8UIE&qKaU-~LG^2xT&P>i+6!~Y#&Ap|17tU06hgN&0elFKLng1_j zldv4k77F3yY>Qej(g9+1swaMn?cV4LLK}5LWxzgsi?*@+2m)Z?c4=2pmYy(8G)fpK z{4r>@2r6y^0k`pr`4Q)_xk9u4iI_{g7S9!1ge@pP5<$9*!6Nj7x`lH_OzJ) z1V9W7XIdlct$JffaJ;rQ{S(`ew5;^@efFG``70MW$#TCs-iJi1hT~@8=?C)D;T?oWb zo(4jD4eST3Jk15}#_|RGP?b>`plsdM=Zr_0+UR0G(9~VRdXQr^Id!Ud3Dzciu^))a z+SYBs6SC@M7;@`=gn)hk%I$EKJ)#YT@ST!je+Me=g?@lW>7D`o0H9+c(;cJ-@(A^M zG=NKHbbUMh$gDya=>fDtN(&H_gNcT^;{GtxNa>S3QPAtvCdz?wC@yThEvoNIGzapn z<@#nGU^UHpEWSW>uHx2LEY--q2h9Os)=XtNXb#0Sx=Okb0Jg@#GKBV(1OI%Tk%A$o zE9k62PPVwk88}5$N|h{#1kk3{koJnXOgoL2-VaTe?uUZlb#dJhmLKITBL6$w0RM<)x@#6yt@oI#rEte2K1l%UoWCjNk zqNr-;_l1OD7dH(wCR$coS_XW;kSISOA;dQIG#K6!MDz|>$OZukfw9WGs3fFl@_r!z zZ^#ECgZstJU|5yLcUvqOElFHmrK)27Vmv^jiJtr#q6r|#16|@tM(SODni56{@-Pi0 z?(88td0Li7=72mvLlkgmOgR}7LK@EXHSej{c;Of2fqY~}s}RZqakh<+A(RJRrH%*X z;cA5PAQrQIFdQJaG9Hu%;*z)gqlLb)P#(BS#Rc_pBE-2M4_xZp3D^I1SISucJU~OhhM^8_syu;Ae-P_05B`H* zNDDVZYY+*tCcp>0|C|^8p|C`{Jn#=jihuIrS~;hF9=jT|t*UtlHD30SHC||UJuUQ# zLiBoNPp#18#?t|S;B)trvxwKKJ{e-&##{CW{Q+MA!;Vl4)t$_GdaRjK zpGk?Z0()Sm*Y?0cKr`z6(E_uAPzpGbxg(GQq9eWPY?X_vjp=9tBI0TkBVzAP!#!+@ zarQKeZks;8MvEoCK@o8U!)QFYb=N>ZLtKmT&yA6F%0c!@Gc6D#SO-eP#pRrJ=0)no zYWX4icn})oek}#&lzdaQ!L?yKydCbrVQe%Vcp(!f1?83|UZty|s(aOeTnVa3+rJ-; zGkT!l)IWd{r`PKp%NiI5P=f0Nk4M{CT^xJO5O*5wIzJik-iYBBVS-C;ZfRV_SP<@o7ah^w?Q3m{460k9L*&jHfW}J|PEhEm~b12x<&CSljxcQ7KDd zil&et2!K|z%u>rX7wQ895w_L^f`FMa3>nzXBI;>#fFMX{yUPOv0SzH=@lA1nDY^nT z;^LvFC7B6n8lK%X)}aw8A_!E3-Y6h#^552VW z&riTGO!3A%@)wzAG-#rQAmlMkm602AM7)nCrh1VlgBUkkj6A}t3802jinBhO%yRgr zy8TvsjjD-UqHdX*)t(jx5H!and4bD3xDEaVuMxNn&=BV0AUC`kf}ocs@0NfWAhv#? z9Q^t7cv^Ih$bfEO2d4QzHFb3XdVh1)~vKKE<<5r@1}Yx*K-B&3T|3w1)J6Zg@pc*U(IQLPb5LuqA`4CU$<18Sj>aF-xbX&YX!vjEt;ee&6zaZnnHz41)SASv2( z9f<7wM8tq zFqxZ4&n`# z9&XS&)zymPl`7vZ(**djmWHrp*|dHCXdsdbkJGwLmSH@GAU(Ty4D@Zx9C!>6g`*&H zafLYTzsO5^xDWZgg@nvwWXezGX=%{|Q>!tJd%cKK-24R&egkRHmy#EP{;N3w0t5Jp zJvF!I){=gopCa08UU${>1aJcn4^tdT2-Y6&4B_D)QGKo-NYmuMZuy^6_rjx==hMMq zzzN5EKspaLC&mZ`8b=}yfgPyO#XMZliCcJmkt=nQm_nI$f*nxN5{-CyJC7<7TI&?E#fwvskJ=hLR zCfUmU;z9`g6z2k|;@&dS*{Z{8QVdN$gwdEX*TfBlXpz%Nh3$aFLoeL5N}5y1&{0Qj zJC6R-U*^C&M1G3l9hhHEU*mE_%CB|c9TNrrA+a2_J3tLw_MAhiR88Sk1X9D_S*graMIMsLRxptMh@E)Ze+;ddD1*`%z^`a^iGea_g zh{VDnuShL;G|YI+&J4&p<(yj_U!%C1Ei+CF$7n zeo8?xG@acq7DMC{Tr7srIMk5rhp6Hh0bM)Yy@%BU8oG$X6mJ%sj?2UGi7(o6_XP$8uz)3z@e~=hR7(N~(hP~yN2qcER?A1O<3<$@Yv4>+f zC8f(bOh$B?aPF+=tE34>TRv6gX=L&C@Ga+ya)1wGR09T@(ok}O*lj{gJ91>Mf_{$V z3_mz$+Vb_=ku?^=`Jxs|m8Cz3eDWSW*PWB>4nK$o(DZo`4>;AO-)n|n^SYk3E9L&(d-Dz8TFf#f9D<#{M?*j}+gCNI$l2T%T8 z2Cu;n@HKwIBLoTGX<>)Mc9wL~g7?59FkM6%n#M_F*L-U1FlpMpSz*~He zj$D)oVh#7l$iHc?DCF~_@B?N0fmTz;WF-V%a0G6cVn)`ggYB`%JmRO%$_hK!2>hO{ zKMjVHo?Vl0zExl&z$vBL#K1;?M!AAjCqZnjCSv3&QIdQP2OEKY|E&B(xv~w*vivlq zoE~s+z9@-T_K_SqTr9%&AtcF> zCHP&zC&-h+I=2?t~SA!rgwXBs>H;op^z(G>c!^Jm9_ElYcgV<#*zCqfD z$2Zo(7ta7PZS#w704uqar$uuCRdm$G5{+)#gqMKG+5VZ1~wCyzA54#$sy@Y=bE6 zzu*Q%%oU0PEY&T_O+Bhrp}@%z!dqy`PeY z*)O=k7nAFAep~EQB%nHeXS^RU1C~j_^LoGxSoj1WgRI)SY`A1qmt8rEN3MngXWF$m zyuMB+W*#JiDAc$}23$ex!EX*v(8V&HhH~T{^;AbQP8ZYEpSM5w%j-`bvOg}80ecA6 z{S>1L2bw*^I|g3(RQz>AlVxy>sOBnOlX&D0ECWVe02aIFTR*P#V%e7zTJ7g@27nTj^%~|Pz&Faq%pIWa!WSAZL zMRtDWR09Sc!hiR3r{?aBdWxyRBM1W~hh-P3vkSW>lOYU>*zkT|2m>Ywt^;Af%NwId z5g}JV9S8#&2Hu~uACOCrAq?nY_3o?_g7ft*gaJBL__fQm?S(reAq>_l8Y=TDf~0^J z`A7#&S9??-7~q!L5d*>CjI)DafaezKPEkm-xh9VZ5;uu9WXFVhds;N@iJ}qzyEoWF zGe$uG7+@{0j+nc;d&XD_00XYxdH!fK?Xw+`*EZJ=%?bB)FQe178a8>pQlRWyeIGn6W|L>J8O?3!oQx~Vwlm4%UTHCfJsl}`~1W8n1K|Gp3jcrRvzL<7KC zFM(6=fb`e*BPfKqaY+P~fsp_tX6*XtW2}inNXEIf8+1ba#c)}56&o7x7}Ix@gMW;i zkw7z+VhSoT+f#-yjzJO#%LwV{s7*-h&npkJ_&_$V8^L3aZ2lAd!Wv=;LPjtyc-=@} zpX!kf%ACrN7I=zbB9Z`Q#>Z45d{zz*9xAbnn2fsMBi#au%koWDVW~{U0g= zfyQ|FNmOdkAc{d?hw(#Gg@FMX9|1NXu7bzFrbQg6OIG_a6Ngz3K|hN(F$kVtD=y_iTCt3l!y9}Su4VoVexpa$H^N7`Ekxe8jM!sN;gyWR!inm+^=BHm^1A`N67LCTmwVu8>QGGQcz-cawmTSJP`IeE7%3P9M0xB!WT^gJ zon>Vhi%z{G^avIca7LO~oG@P5aWaSHAYy5GMCIljg%WZ%%akA?a!*K)Rge7jYa40l zv@m2ffB)Gnw{fs|1A*{QEuVNo;zuWuHsK9K`7QTT$m((8#Yc;*+MEm|^v?n8%FAK# zqbb?~@JrmPXiCQr%4HfYfu9qo&q#djn%eN9WF%af@f&AS$ZbxKbC{ISh%&qhkKgoe z(!g-dr}BX-4p{9AhqM%vO@@&+UQL-=!(gyL#!AVHt}B}c0c*o)QR!RL6~sl(=Trvf z*I@&|lV&|uV$M-UF4$+N>?z#8T$L7yb;$qw={{gs%&Xa^Xw0Y%+&^Wd3|~!V$cIiu zd~4+8LT1Gy=BacBx=41(0JncCFb}c!#{Cu$M@$!|&D!@wbKHjgNzq*cvh?a+RUI48In# zP#5_a(V_}Q5HjpmtVsw~<=O%evkGMsno00VLZLy#!@Y8k_Ms?3ek79~o)P;ea;o$e z)w5?cAqAofF}GJ21~9wy(;ZjNj>)|muB2V~nULXO2A~a2fg$U?w+8`R6!C-L9`FdS zBos70HNO;qGH6Xy<)R0xNj3@MkwvODytf|P^d|G5C@I$UP@HjJ(z?ZfS zJnR^`X)@7>!~)frDDjGA#_|xFYW@&f7Ce}X=3^F$W9tsE#Q9oSPEcf<*P3Rt*kBw=8)Y#nR{lRu8X)(x*01JF`8HV&{A}yQDkO_|Z$np|g zjX2ttS-c^`Q-N(7`jCYZI!Hd?7N+;(7549Cma%Lq7;c2VMRo)NWzcvXXmHR41{5t2 zoD4tT?kr?*W7D-p?D~a|-}&G&&-v|0V~|vC5wh($Y*^7E%ZtZh+#YcYrTQp(I-4d9 z!A_i9ZG7l`AiFJ@Pn-RYbZpz%TLS}`QrI_=pfmU-)(T1$e*3;3<0vy_yxSDQ$q09? z`)KgOUB_p>m!A{ocF3A4TG8W3pcyK&V0yBcdd4(8kaW_as=Ch$+Z#mW^W=)SdVpGu!{*qEe=UpfY(<>GLlW%&cLWD02tttO(lXJRI#?u^BsC2F5*S zUskHY6l6|_1e|O#{iFfb9yijgNM6v^!|+ozGCU4kQ(zbmoJ~tV)1xn+DJ>IjRVK%6 zq3s~c@`ht-Xnu)Mdqn$8hXy`F5%{e zY^pzjhVXXqI3N&!g~g@8DvxPL{sQTBm*Fi9e5P6v1W17jT3w;pqHVEeX1*H;A-Sh# z5pINtxH^wBM^PAZXQ?pEyh46=GUC$qv3%L9Pm3uUkz9m>*QOYAv%}3KZY11nCMA)H z8wvHBog#qsgOooQTkts~5iNwwFDEN4TIA>my(S%fSPhJy#h%d#4mCQTf4jM_dA|5e zfNr3D$g+RXxpd(aWyFHIkycz0YztP-lNAFrYQJ0%czR7Us)x9M+17Q&rn7Xo(>HULskjt!w3llK`y>% zQEKuqDKfT`A@)fhl6t&Gwxh@=RD3%0DJqpR*IgOqmf0Ii=it*q>rPRo*9gZD$P}`X zu5s*xqH+Y7Y%R0)m6{nn*c}vt1DdOsH5kmWPI(Ca?0c^)C&H`2!J`wUtH=kS9ii)} zCz})n1A5NQEeg-g)e(8F_bsZRJ2eUs*TG)S9m>2XJclLvY)K{*vZz1V87yaqf$6Y4 zPBiR|B3r4+Bpm{}%EGQ7Q1sH_LEKjeS#m|e~lrGc)SXJJ6L}SiOy?FBc_&RRk|<{0bSD+utIQ{le--Z?&{98CI9`)kknAX zj%9Yl)=%)oFp>7WGJA)p+owhLI_5y=kxwNnRw2=&#epNh!Er`0etV3WuEHN`xC^^N z=KI$fnqB5Fm(bf8{g7KQ9-E&y3)lVoQHaK;hj#=qlg&Vj%$&Xz=O>yw#vZl_G|1YJ5Y^k<+qHv@ zWTPv`sc#z|ubcJ&w-`LTutH?}sl-pTL|bvc4$Tm(YF!a@mWZ4a?1J2Q7O_lI#@*r; zQ)vA><7Sd+6Se&wK;Z>MX!!HKt=oswm5PGdNNb^+pMc0PNnMN~PJ(cMO64-+xQ}Ot z{8K*<8E)HGgo8QuOpX!zsNF3xC9_24h(Pgvdg?2fD);Jn9!3hNG9$qPKkS_1`3B(2RRp-Y4!L}8Eot4f4_ba1SOTDsY5h=af-b1bgIDB zbfHq3@qh~r^2)=#-@-Hpj-NavD&AP7+-I-G_aGk@-^=%u&!!to75Ac*6fLS34T7m~5OT{jj?3o< zO2chevWm{)&pO>qH%?cu-qdsx+;%lBYPfCT8fwd7Nx)$6Xo!J= z%>(wvXP<5nm?|=RUs+y&s}VX$Q>kDkRuCjP@g(Z{@(b(lamWW*)c8&0qAGJH7foAx zfyxk4El)vOU9?DMX#J~a~%!NIB203_24E7EJQr_yF&ChjVR~#*~rYuZHV97AG84=@tIW?f4vPxHz;YQJgJ%so{SkagfJH zPl_Et)^-oRW)cT2ZDHTo%*b%Gv?IYoNA4)+2Xu$_Lgwzr&NwZqP7o+dz#M<%q4ds2 z!&Qx&4Z^WgwqiGvPJ}t-rr=$>;)v&|%-DY9Die*rkS2+BwVT0YZaoDyBnPGGAkYBD zQw7TowtXB)=h8|FD+O!r+&Z`E_)Mantqoq8zzjQM0QD~4{K_$KaA3d|9`P0WcMAK9 zfq)}V@m5{}o@J759!zldLE(siTd#ujgiKDFj06x7YW+H8?=riCwe{ za419_LeLGNiF^rCDXe|?PPQ`;cnskp4G2#-?Qk5!zuOdjNEN|u88Xezir=0VW)_RL zf@ur=Hf@g%9+(udHVjjgf<=MJCLuc!M#pDs7`+avA_V0yXneFGrersl5yO7G4^y*0 zeTVV{41-73h&iWE58t!{t-XpkPYcK39@IM8BZSSKt77T5wc9 zSD=mf+`}jQZT2Zr-e{5a^2|iyIrU4;5~53R`9PLoiu03#|gGwiJ~|uH*)td&cx$ zZVeJ+xmTlTs|C)!N7AeT!JY|%TI1Q!5ca(lD!sM8F2A(J1?AJ;7a z28Yvw5Hnd!-`|&Ddd^TT4g5qaiGY)VAjfl;b8Q?0NRA2L7IM%el>x7C(%pMx_eCnDjC4F}x`Xmbh%&?MoO^|XDe0)cO`lHsufc_PJL8Y8o+FRge~+f? z#js4`WZ&D7Nrk91+@h!wJQBo_nq1Fh8zhZYu5X!^*iv2#xoFzW*!-Lhn1+r8^{@0! z(y)429zL@E5nExW8w^H-$pf*lW5_RUlfy?AlACg#g8YnzoKqISDOjA)#zeFfH$56t zy?$rFD)E5BjmN23!^kA(kT~^t4qruE zFk+FoG?*}HdzBa+%S2~Si)~U`20@!PK+-xXm7-~L1zQ1)&8{O8Do%>BLnJ!_q5Ki7 zPjhK7f0IeniHKQlf=8nV?{cU+F%T@D{05OHxJ>YT|4x4u(gtCm$4t96C2io!hhS6| zHu91cO3M~jGzNFb`~}U-(_(3EPUQEF!`fKboNrHJz)o<8ZQN1%Sd`=UC&L@jx@HW?_(Q#$s~U&e=51BDwneqi zP@~oEZNro0Fq=E+W_bWajTF~|<}<=l{`--qwgujKMU(O zJectGk*I}PONVgxmcloX@OF446zX8=W$A?F>;7>`B- zi%#RpMs%K$6ThRlE0Rl3q6q@W!|5-q=<;JB=Ys{ISB}!`&`iTI+UJ^89fPmJA(~Yu z{rSaqSP7@m-!z8S=dIJ^I0OpM0beQ&`B$6$Gz_TmnvXKnftiz@xBe8b+-~c1%*)Am2+- zAiy{+KBWq*%qiF9cnX2eh@oR)m} z6go(&jP+b#{*T3UkbTHs+4Q9O;gN|y#4=v=dq zNLS}04=0?r$RNxrf@wu=KV{f3{-!gaWyRk#H%}K1dkaNx6?z$$re}y7&ZjTeSXAxNKHf2&3xy*v8qz} z+@cCwoNI!1Q-mmqM`xdhC^U+X0oWLg@45Znz}(~sBA7flFdVR z-2rL0V|6#g(RMysHTlJnYw$81O<|?uc2)q&4uG4UJfSRq;id`?-xf-!sDi<`50wo^ zUSm{L6_0#FqmhHqT?e+BCk*)!xDK?)XOSxe)dCDURiWb4YNH&JlU#gPmN9xYBC)Lz z&9CBE`TOJHgJQg5Q`}u9!5@xjdPKYlHst`&x11^R1htt_T{LMp5qFc-9McMi9&8h= zxrI-n`rwB282Wm%tk%}#3g3>I5`|Tce%J9Kml7+~X|Z(9kHW5|L^FEOxAQxBeBDms z=}AWbaAx;cYT|=^H1zkQ^quci75Zr&tEg&GD#gBaFO1zap}Pa2LIUNr$_><)PUQ5F)8Zh`}*_`qnnS{f$QR7!G+xG4G>M{Ao7m_r{XmnZuCt0vOcIT#IhoC}9*-BAmPof4;W zCD0HWdSt~v8XZPlGKY^5ArmN==bT4V;4KGiGx`>>MaI(q`r15v(gRuP?Jk^g0g}Fo zoHJtdMtWvclUcJEAzj_%@u($6%^IOVr)Z?$htoGF1iXU9T_Ev=C!Do3UqePEO_b&z z4S7J}DrgLER-X@rQw1;suEl80kSviI`H0iPq`;OlU4s_JNh4KFRC!G^0E zMflc<Hw3feqiEX1jEd*o65P)U)g$O(?0FFtXquBC9@Hx0c5>e#J*}RNb!-Haw+3un6 zF&_azVxPtIP~0?^QYA@tI~XhA67$H*AYGyHP=<^oz3q(eG6k;|vYx8BEIL|X`rrx# zUW4m}SuDeNTE@{wUJC&+u=XPQeI9bsoDW%G5lHyGErgp68bE;_E#*+33T%L2sDz0O zOhq1Q)zS3*$R+U7AB}MN1&%{>hiQ!ccEm5ja3F?8jcA&tfC6|4aqLVHHim|rvFlX( zYAPrt$PmLrxb6(M9n2;saFL`&U}LkMf)PP)@28|Bz_)QcNg^8qI73z`5Wn|O9y#Pd z4GTHIrb5$X?GBY>G=>e#+x%F#egURwCBYP+nio#dTz4q423nj0dSWz*p2; zYMlPhK>=GtrgD>BIFBz;orDozhajC*ovtT9P0iQ%U+ ziEcdq-@|S5XgDX9Y6rQI~9q?RIe^0 zH>Cs2o#i^^tPww4n!ZghqGM4FXzEF5)7wCM3C}oV{E)k6>eUd2Xo~n64>7e}(FK4S z<>ni3G*zV}XcFq2mAv-z8Kk*;jyM{kpxWDxU$w=TO#MVL_g#1_wUM{ zE#?LhKpansLRLZymyb}zJz*jkRgVkYPF2-CARozRLk0IQq_LnHFlhQlbVCnf)FI^b z&}dok;XLS}`g6gM{Lzox1dKGg?oME_L9hT-w;McA6zOp;{eCpntj^-FWxt9mhfWoV zx?%EJ*SJE=o~&Xk5LE8&CP(rYy$F!50}EDw zV^#jL?ll8i`N z%Bc_6FSsmq5!;g*#>EG6fe8#AvS3Sh@+GUdEw=j{nW0T!-7JS_LAkJ%&~q9r6@aL6 z=7(s2&?SIb7I26UOrdu7_zy)gqW0DX)&ypTZ^_6}yWnPGn7S=Q%*-oH4^`LFyThv{ zdN=vRQ~^K^B03yS>y^LA*22ej1A`W_o?+HU&Ox&pnpljxM}W~+0{!!1;b0Wf3s>ZC z`2HoLCe>UL344j54Y3h1qlA3W%#X(W&WPE&M4WJUFmY|i$&<~YJ)Z^)XMvVH$pa!vTQ2>aDk5yDVOlc(hmu*GMU*th6MsrdN*JC1K zG0oq>0?Q|meQOq2hHrGxN4##x?&th1uAm@4LML-1@qsLViH2^Br^Pt1N<8bC_x1U5 zL`EOSE+_E$QZalt?zxR@6OlIU+1b24kQw~4@p$AJ^gV`3k0R{vUjetC%}Oav?W$QP zs5449SmkMq*&?Pl7NC#w+{;DmWQXm>N>UXZWUdL8zYZblZ7~eLRCGW%at;z_nBgw< zc9b5PsbcVY$Uv!a7zWIMidYIglzo=Vk=4%%+_*($U>qNiQ?_bxX3#VREvgD&?TjI% z%RUAE#XQ!x;2#>+{@w=cfnowF^CaJjW@zeGG>QiYa`0-IsFW1&931^$Vq=~h1Y`oK zVml*r1!)2MKgz}J0oh;WYr8Eb2PiH{hY|w|`3>}f!!Id#%u@uZjWtAw6ACLYAMs0+ zezebT1Jx00h6Sfzj5_^-D{c`-wrHzWl})@0X{GaGe$kh>YGB7-{cfUt-pnf%| z#qnA^l~SBETJeVo)Zokyz=6QoRp!` zE2697LvOX<23>sueNq$*KT|Fvqj<=pjWo;}E{3_q#!-yo#)*LJ{HG)gieyN(#Jo=u zk^7=VHpg+uC~ZXKePn;EM93<48ckcso5$mb!{d7k zuPSNLZrZ45OfaiNG>ZhVS!a+mX-MK4Ljcyh#)we1D60LM`To7R!d>cDHsbNo*mA^; zrp_G1cx_?o=WsAJVd=1T5?{6{iBNex{gG3gN}3oGn9@`PFzu@{?x>WeI9(;z*8<9y zg#fsZ=qM2M)A@?dwsa}v9x!ilDXRBx{_W!^>IYj3p=LEvy(IWN;+0a?W zY8^sY+Na!iv>Aq--AUNqr!Vx5%>Y| z3}j5|u-KJeVjdrU$Q*Rg@dFPmq@u+z!OBzWc~S8R5!51}yT15?wk`k!WPw}=5C$^c zc$U9Nn!{b;v=D;`C)N-FQFCRx5AO!7$)tyzqF47pTSl?6_d@<6<2QHlXpzJ9w9NK& zT~WeddNnlVVPI~Tw^#9h3#Q_%@vxne%G*gjQiOw!rI3^`#R-({?CT{9LGU)9v$>gh z>&W@Mc&4X-xtUs~h-YTs(hdz@zO}&MFG`ps5}`P79t}6Fk`J2R_LC@iwZ&Q2R{Cwh za(b@eOTA2o73|6x#}3uF2P3yAhzSf^MByzf=WN5sMr66UYTY2S?x~0}{t-<@@o4BB zDejUo%yz!CU|H6blEoP+C7aKDPH0O1Y6v8)TE+T3GBM34lvBt@68 zf|2LX84_|jA5)s`3|Ne2tY7f$h`>nvW@L8L9-C%BNEZ7FlUQqkYD!M^B;M-f(r9oZ zGQndij|kV0{XLiB{9tB;^*xuLB8ks)E*0N=1)oz?qkNO-j)e)^LEkhCw9VX(c*-cM z)^o!pfCv}Et4Rn6i&Ynyq*Ji&MB1xgYyvE;q9j}~YQe}{RhdyB$HNjDD73|Sr6FT= z(4P3VSi-GkM$jWiY&tYWSuP~t>nztVaRru-=g0;r0^M6ary_HeUy3f*r>tnhpu5)U{lP5x?0XmqgcxUHTV+Ypo&YF;t$!yHO#w#j380STGw$*yDcV% z50Q7duAjo7WkVU7&Yt6_pX&kLD0Cq3uOks9uD=320?*LuDGmOng5z#0 z8?|7zVZy0Yi&+$89}slG@Y?PX;egS9@9!dP0BnZ zRKws}_W6tN8ZAWGN_pnv)wvlp^y}%SOI+mDVa7DXYz+(8G#p$oVc%~3eaCs8wlf^- z$hm1Eks?SlPxQ;MzLLMhIduQt(@EiB{7CpN{B~Zwy3)_$>oFXZt9z`PY^opmi>!R#HyA!}VUiBt*UDxb9VirCIkUJR7rmk!)S&sh*fAiP!mPfV$Pg?&g2p^v4mqZQlT=O8M7b*G@9Wpm zm zXX1XOfm4)Z_cK+O>AR>8N(6;wmg650rtN&w?$Rnd1{#5fnLrK0 z3I`61aaHq)FZreo7gyI|oFr58)0lOL(_l}SSrsOX4z_w^M+bZR(E`Ts z%<*v-Uu(MDSV0!n*;Wc^}S8j}4&hU*PGfLZh!u|ZVIVz)ja)v~H=j$Cv_N9Uk1l*ISdG#lPc zxyRF3=E3!eOf=_%s+0<6YZf*#P*8c+E{bq4_7I|CF>u$s4Tz!P+OCMz%yv#8P57qB zq!Au5f*x?7PrDo-W6Pa}En_Ta%_GYU`%Hk_0G1$87+&tr< z>)>r9x+B*>mOGm1k=&!s;t6tw5> zr|fC^w(-bDCfLfWZ{e9H^rK3XbL!Sab#ilmGDieV8%ZqZx@ZrVaB~3pX;EFR%<@-& z1LyY~CQ{tzc+ATInMad6bJQV8SzL__ zSPwcCmzBj)k?b6)q^5~lDXgF_c47JLk<&3etXW$JW2~QK40MHd#NWdotMzioE2+_K z5xUmO~W4ZBjob>9bdEU z8>U=pj?Xl{!=FdPRL5^B4sx{CucOIaHTaXRa3g*SId9R*40%XWb(W`*7(9U(dZPRJ z%3flQX6OI~W}G3SBD#x`^R*Bz_C30CzK|$_PngC(fqGnj$Rd;b`gJr_nMshDYUAyV zS7d5>RQDDG*uE`ToL)`zjL~i+Wq}j$TkUaBJLIfahO4T*=)BisGmRxV>&Y^JK@@EZ zw0T^@Npv{ABRG;wrc~vf#5GvRkG)?pW&o(w<}7ym`@4DHVCTi>Hqnn?b*Qv}r2xW$W=>Tey7>h;28np!w8Opu21~JrNA@&$qOdm#;U@HDv0$z~@53c++O|dJl zNY_6aOxn+58_m@(^Cf!%kh-OIKvV2l!PBPI8oRiM1 zoM#|$US`d4eypwBLJe=n0xwWWng)qz%2t9eXsYZ>^K?03?XDIoqhr2j*Dq9MRh0>N z!F0Fa$D$@>LR=bmzRSF${Eysi_|1b1Z_rzV>najG z7>-iZNm--L%tB-<-Sk>~4=%1I%VIz;zvNl82WGu3Fn*^fgqTAVa#`_<(4bb!BVNU1 zQ79>T>D2z5*$xS;2;cU|Na$`=-^`gem;)&@$Y|q zE?Iqrxgb%m{YTrZaK6JP!Sn+<2#sPdDi>^!wo)e`fTG+UAsKY>t%88h&rlUG0*}XQW`97%ZRGz1O{8TkpCWeI}^nkL=j83qmnN+ zX|woiT|{&|7iJOwD3ztKgIlv}Gg>-!mSADW7+$J=r<0AD5OW9##oHIdua>n0VGoSY@T%0m?zXMR`;&)FMO8nV^jFpWN+1~+|@+Ptf@kq*0`Nn0dU>WNo$^y|>S%j%`sl3-$ zHde~fRG%4LW_o}fhDVKM#dxqDo)&$^xFX2q-yaX-?Em<`bNcv6UPsgIiiC{K>XkJRu0}z<&rR_Bcr&>8 zh#ievlwpv!-jy*_5hv*6NMw#iEh;1IW|s+BG!a zVmJf*CY=rOU+^aQ8o~NfojVMVtwvXjo@Uf4c0G@suLd)`nRt$arx8pq#bD8iE=Y8q z77R)93gF1;n%A`!r>XzlYv{>tUv`BBm@&bOy<1tmW9l5Dch`~(M%ZTzGigYk#*S0{ z>yh*R=a7w9qX;7=9ES^vv8JcwXZY1Dx^xXYK7Jz92?<1D;8x=gA}x7b(X6IV16Q2l z_c%p0)7REqg8#|ns}-gzXDrIo`GK-hRRhJWqN1+lN8T>KIU1PQAZHrF(W>YGgNfDR zyD_nme=#izzwsc067u-?Ib#^pynqINbf!Po>|T;QZ?BO$N23%^Mxv=8daJIf`u@AC zxp~3To18xwsDJ2sMC#vNUW>`)wY>h+h*SWw-bSTE;hwz9E1iuT+)6?%CUeJxU`C>S zrgwrc3<7Skv%a#hWs50 zu*4wqEA=0;15XYo-o=#x$E0V$?WECWAp|!jJ9)LFix(9aP4CN3TnVugqQas(Td^Z5 zN?B!L0z;{eIwLa6VazD8W4(n#X_{q{#S>k70->Rbtf%v$NPWXE{H?x}`iz@dVS)uwV{5h$u=Cf!co=;orEZQuBoX?v5*NC9)W$ZloIB*pGb12|Y z6{qtkV1ANJc|#D^@){4h@EM#TPT@c#~s+H9^yt zC}P)SkO00fy84^KQ}?k0WSLCq98H6(LN_5(QxS2WK}dRfdIgsJkKA~$Db2ZlebSJ4bt#Zu6*ERu5) z@hj^Mu122uHa&3R-<-t%6*-w@!tt6*z%91Pttxxi0Kxo*+*i)bM^e+Y&1+cbp{ZaO zT4q73xE=YSEbEjZPI9*hKzZ(BpqoVCsAG_)=iJ)vQ8QI;~!IlGyxQ_5|Rl4M)L@{M24U0-%}*lAdkNv1?_q_ zP=SL1C|xHiYm4xUw@%b{2RZFsm(g5SFUY%B(^a%tRY4m28H)#o0xQcVmw-gM1+>WZ zFD}mS#&p;UiJ|wJ02Y`8K$AjQe6|l%N7e-8bpNbvSw_q&N0!>v2)`&P>emDccCN?l z)W@2QPG-l)T&$#{V8d(KQPyZjk^6&rn`XAg^>9=uo^v^-14-L&z`IfCABwv#&jCS@GI|yX$i`w{VR)}CRCKSA@+5Fa7iSUrY4xGcGM3EH5a-90_)h=?Bmu%+I%L$x|_n+e^ zM%5K;-2pobiD0t?B zSHId#Y5D8M3bMc=zyH-gTKJV!efx}y-&#*A4*hidjEii!eHK+;r_bbD@yi>lf@fZI z;+{Wc<)C=ozMUG2#O+j`r1==?RIbW!2B_1xhO~A&l?mWHS^MuwwS5OvQ`^=q9gHBL zNEZSq9g>iQ-h1yL2uKYifRrQXukzN0y6PbA@S*2~iwm(wi>QF}%ZxOF^J-V^c6IkRJT#$}#x%l+mm_2>!8Eg(O_n%A_*Vv<}_#`M5=c#q(UPF;%j=*ncYiptEIQhDapNt!dh3G?!tK&r z^;q_vp7S$iH`0RFKT|wBCTibIRul3fY*v?i^~>_$_TKrB>&DK?T`G~)SBT(oP5S=L zDo#UxHRzh0!RX_;qJAaCM$89koqQ^)Z?Vrf=DeOg+1e$seylz!EwxCjeT-FZF|dFt;-@`%mjC|8PY&JBX80|7E*G_qG70xO$aR(ccv5OqTt3w+bASJSeY5+)Q^Osi zUwrz~!Ts#-Lt*(--yof#F~kRNh}ArkoGZ=7N)e{Fc%xHN>bI2+?DrO6SD`f9n8|7b zX+7UXRpv*?>Vt(uYSTy)%d>99L)-?Y_3!IdUl!*Dm%s(@nkIW6&xCfIR&CmpW>?a% z<;nY2wOKtyl-{drKB%%^+&oy%jz5^cJVn@FZr;y7;Ks3}UpcY8GXPF`Jt$Y~RJIxX zgfD;on1Q^nEzbwRCEtlawoC8}q9(+Ak;sr`Uqo1ZU0dMu{N;$S{i+?WrNIN2rn&o0 z1#FX-VdX0D`pke1>f`rOHw9w~{+@erbV3JnjDz9en`%243l}~DfGf~ zQj}9E!vmSk(NQAJE2?puJeR6{sHm=Gev?F6`)P!7&2Tu^C$UK>+wj0Qf;0MLeeT%x*o zw^n5{-yhy&>R~6g9gq3H(fU}cy%WmpIh|kIHif%aEB}<+czIys@gbD6B z_CwgIr}VpNU)S#nFJ5(xCF;szOQZ)+Oc^fLdNT|^(a%45n#V=nJ?D|zb4p?Fgo5Nx z$TI`O#BMHO>)_du+RH2c)P^+dO?MeJi2H$vvV>$!yOED^(hA|{ZdW`>VX_Flpr47a zOGys-A&7XAk{nGz(^w+sfWBpWPJQHC!Bu7EiFA`52#PMI{#xN*KEX^& z+Z9gvY=m<#{Fbh(Ecw`Mgj>r%iT>DqjFXMN}rp~WzxCXX?=>50}? zzTl4iQNFL|C}5K~_97*4yV-|knC)c3{Bu7Jl$Y!99R~U~>h}R{^SXlETfVnm&Dv6j zZeOI-!;qsH)43=ccjn!*2sM|9NsYAe`sDUx^E7PN-}CMs>)#v&GbKA3KLJ@*pmi25 zpROD@7IZ;HA(~d$0Tru3E?dyG9eVoSW8eonZG5>3EpWE>28=4oXrJR>D^~NgHZq6Q zl+}XNs8~`;@0AosyyGccs( zHpuNwCYUOdFOD%g{c>1{G`?B$oYPrh91G%0H3lCyhIX8O6}Q*SG|T|s-p zpdvn>vokO{uPcQsT(jrgyust@$AdScLv}jYAGpSe$sjZpFlLmiw3$UIsn_18(3Gx! zM8|Rjv?Q<;+67Wk4@{&}qz5u-AY(6D__DKhuBH zRp-Sw#sxC2lxmyHOKe8>m!(Dva&*|%u@@@Qo4%6ip?!GU-8}MD=GDM^GiU}A<8%IE zybRCSugeQT=FmBxm*gH$M^CHAauUvBd@n$1ef_|8N%ywH5IH^C#b0)H3qSRrtF!0| zCGb1+#G=gA+8QXcuwyt%)n`k5&Zbdw@>(WgJH^Mw+5>LBJv|M69q{a%HoyHbx@&2t z&6L=kqKXHm=E=q#wfIi&CcX-I;D(Li@4`TY`IAnQC$GD)EDU(m%{)v$_8Aj#eV}1! zQ(TxRXLyj4o?FIuT=~8I4BW^>`pMc_XO{!-3DT(@Lik2cvuPsnHe@3T9 z#$i?L*ZQa@*0bM)J#ae_HP`o*hiNM-E1hA_?XCFKqSC2gKG?iqDWl%*TJPOKw{iLS zH41n+#m?vmw}QgP_rA^G=&z87m{k6zvCYw~;4b7$aJSuZNP<8^C>{x$Sn)sC_JOj% z#(;7>&tOZwR_PU8zR|)RugR)lai3^i{U^=T^i(69B}hf?*+H$Dk#9T0Pd}5X!bwGA zDoEQO+sYj9MQ^9ZS&}ejC_EC@aq)-2COJf;C0kboAL=?)tCU)B#z&Q`&raWvyklZ| zTD=45Q;l_=+@U@(QaK-o?S_|#UDyo|09bR$Tjs#wEk|!?xpjT7u+(qM1 z;2vRJP5&BeX_IKXByP=vZHjn58#nHodM8TULnKHVp6q%$S|@%=eu@$79p{6KByF>07RGU9_k_rQA#bvH_NCXet>oDrEO@&{-Kd3X zuA!x4MEZE2J&tnCt<|_^FsLzSC3@+sja@x|p|u_G>yTlb+ZEk~_4!}WjfR~_qvoB; zL6R}xmk2uJ;UU56(YJ?V)Oham(+`Yd80Fgu-m)LnYHJr1Ln7>$loazlSXu)L5>6#7 zve468_!46Ka#du7ea}kz5^{92V;gGpR$uZcEsE=)d<-0vIEIkg^EJD`R}9|E#oLNG z-vW0vI5;4xYG2X*roP%}$yPyQ!SdpXfg)}76N8gF3$7Elp3ueH0jAKmMI+1-{d;1OL5)KL zJYfpI5c)$iUPU2{DX|&$vtM0VIV6;Cw^|u%KH6x1WL`=j^dU2vf-l^; zvu8Wi_pz?iKAmGNl>T(Sh0_gkk41Fj>{2EEOIBdRy@E}{{(kp-H}`1X(mBZ%|Go;7 z%bXD#Of)06a)Rr>LNAbz&l>jUk}U6j6_sI(_`H9ne2@?<|E)DvHpfLXlY+a;jmhBZ z$s(%lwR40xR+Tm(TGv(q#HRBe9^!Iue^IL{bg~)uf=BoYV-lqLymx_WzYb`Bp zBq)f95GpI5_hY|)<4Mdm^T$s81@ zL>3g4lE0dzUc`*8X(cex@Gv+F!`grcXK7OwWn9?o>e0Z5jVE-Rc2w)NXNN{N{`f3-`_ z2=iPl%l4xcd`alN{;?qVV3!wh=R)fm)EZjxh?a8zuVC2JUgs5;+mcgEMy0v@vO<@x zfiIv)v%cCrV#O9QOKQ*tcFz(1pgbw;F&!c7mM-x06vIrhN?$k!*{zqysN%9sYGz5= zo4)hSJd${$;eA{bOLoiPW7no@0WckM}-?*Ds zmgGI|(^3U3yt-S^4aaaizNKaXTMlwfa^?TBZ_#y@guQFnN1;fdh+KQos?-sai0e~`72!_73scb3@hbcQM15`;|*9o zt>T3R$>q|kbobg4>3fJ>$1v)$!qpE_QQmY*vEeaPF(6llmA9K9-rA~ej z-5!mClwHc*F76Zf`KLkkt6FQJh_ivcN(k{nD)a2R za3?(9(+3m7Nl8zeE6eWH7YFmX3g}*_{_FeAv4Bqk+Y8B?&R=-)sUDJRpU+g z0-R4|uqeLQg2r{f7G_qAQwjgAk!8x1B^U-^LH z-3}x(eza?4DgvD$u5l?Z6R+i%S9{j0f6x@1tvTqqDsnkVwRVsXbDx2xySt=3_l0&P zoBkX>`1y>)F4{OGXg9e&jq)ndMX0P(?jX4fA)j=8YEz6|nLo_aS1kS3cHr7j?gw;M zs$0gC0vETr=AF%XW}>mMd_J=>#lj}p!T>RnrgM!}I$?djUge$7#CM$0wEeW&o!Hei zq<|%JpLUG|r-4Alx8hh#L^Yv`@b+QbO?eNJAeRxs-822x$~C>BvL*P*B!6f zSA>U=WJ}uz`xJb(E)*WCydZ89Ql-y#z0}CUgtmZhf@Ec$8T>BfzF$YSX4nOim#E<_ z*T-5tEtI3hHm4e>s)m+u2kY!T)w_2nqMdDSR$1bio~$eQkbFtJIPA>u&5zMatx+Oz zmXsN}xSY{9keY-9((2l9ej$ojWr}@}6q*lQ-8#5_wK|)5!VUZ~ z#pgl5Zd4$%r9;#l-}%Z-{f&@WeRa#yb+=Cj!~r@wtIw$#$QHeT zvVIEj^#-cG@9h#>VF)+6tz6Sb4+5y@QxUe^8eC@^Ly07j0`s+0w2_TO9Hss%;uBxw zybKl1+&B9E$&1*F(TtD7&Nl+Zpf_hel_^JBZY#%4Xu~dFtixzSbfQqkhNh@$^Y!;_ z#W+_7Pll_Aj%8+vIPYMaK3;emOBNKG@4_O?nLF%LX(qtMmd3CdB)`c`w`IjOxTlql zu^15_`J&^}Fq3(pUv5Z0yZWx%_-Wowvp|u%F`O?#Fz*V41$k#L9M3QeKUU3L?i3(9 zdulk-jcwb)hD!Nii_1k}wvI5?Z~S8lX08=%R3x4kEo84iwO?A}G0}MXzX- zC6ZetFrZ73A7YM5z3#Ktts6&re ze&TeB@p=Vixv^@gtA5Nt1Ef%mOwjdL>vHXQ1Y^=Sm`Fe7%x=_WtDelrsd^)AvczBB)sszYVVICv9FqTm&T9XZ6T^|&=*B8JFr{n?z^tt_Gf=9dbpxS8TBc>8x})yZ3jF zmAJ1*IE#uF4w7`&T#4hXwtCN&e}0$ea#)S}0znRnAUM#?@|Vd$yP%@is0S9>DFtB< zvjoa&?l5P_oSY}qP?jXPM9l@#=H7|*2t|xWO0P;71g2|poM1$@O&^oV;UAifICXKx zRL4-qrI$zS?wS3*DRsBkUlFPf?P>G-!eM=36l_#OuXR3~S*X!dioCtuVtb#gfyI^T zqMGAxK2;t8|as_I*m}S-Kn3PU_{o0}UeYHx><-;3q^oHnpy1&OH z-Z^O~N;d9vH#&lz`OL;@!Fjlp32|Vc;<_O4v|g#Cv!ppO+bBX?9z+y+SW=He2KY_} zP7Sp<_`Q^*xtC<`LTQb9$1m%}JMQoMJY9-##rA1qbPrR|)!*TX}QpW{KD!;_-221O;3Vj>Bp*33{oy^c60`Jv?@CTn8vNcRb z9y`!04VqjL@quNW;=Zop`I_sjo9J8!$aE<6rqzzmF^@^qZiV=RtGK>_Y&^btt20sK ziq);zy5beGtL;L^DQ;(x++W-l1w$LHS+F;fozFFOYHCf9gf)#V70pVEEpRI2yBW3TcM_j}S~LD6`kK4l!`G55vea(4 z#lEjIwF@DbXr8X2vzyKl$z&b*uBiBUzhoxQmD|<=@QxVmZxnKL4{wgDUuT&4ekItH z=gGu;_xGC4**AL8OSklcbD)YBCU=i5XO+$HLsTyFi@pkcX?JUNRK|B2G%U8sb(v1k zl?wcYPCC=By6$o^)j67y53FzRI^BFjvKFr5w2gcJ-lEwp=_IKlu}{`2D)IeLRNa{9 z)h1pJ()svHOEXDV?hW?QZGVxsKsOz%&n}OLZ<;FBCMk&8(OuJs25VQmu^AcxmrXm+ zuu*<{n3h6Sol|hrS~#sEv32L`r#94!O^n*wUX?)cvcz!i^z*2`cBS+1>r~g$o#OI5 zp7#e@R;G~MzD5wg7&SkwRdeuW#xSGT%A)V#ps*aiJu6`w$24tuQmmR`8QuUF`kI#^ za!PW0Kig8#K0L#hCqE?+VU2R7jefvE`$3mVyMn#Pt@lS~Nfka04R>3KYHM)cU1*$4 zXl$on?-o)TN1>NCvP@p=qZNr;o)X0GQwlE{l)7*e%-X11gQt7)*Yu_4!b228ae_?h z@kRWnb42O}C3IXq_gyG;C|Eqa&UAIpx)(=>Ob=Oldp`S}+n4SaaKDx8^};|UYV>~I zV4Cty5b?%fz6d#X6XyW#-+0Kn{z!R1xiP;zXI@4=*S;U@vl7TLNL{jNUV2sg1WP}$ zd5*y{VoNiC+ObIDQb|?uwxwZr<0Xke_09&p#);Il#r~P?Vb-4P^F4cgt9^{m@+`nJ zPI5|O4rX*?onQFYU_4L5H>#-5JCUHPH=HSFRVjXK)~1auJ??Eu2JX}%<*^q5Bf3G- zARAKOUaP>6!G>>JHA~NNOf}!Y+YTQxw9xGYJ4U;ehHot|c8V!;37ebJ>iuq0GQcM* z;lv+2?GPXPh%CQBjtgS~EtI!otGF^#J7)x0$Qx9C>8$XcIUb&BOdCQ?cG6|OHi`$Kf!n7oxl3C$exY(gWz|0Fjk9>8zhrF^X zu$vfSh-Tv{A~eShe#ie9JTYggjZO6p$lB*j(&>^=TO;PobPH|QEMYbFiH%|xriU4G z(W=EaXhBl--_%YGBn`&s!`3=H-_>a;h@5)>n;R$Vx}+d-J70!CN!ql(ei20JZSaV< zQg>1gjIyUD&uKfu)xc4<#fle{4w`1JciwCEO?Zd?a*OdnGXgUx? zQKID9v15DF=hUX1WUb*On2$H6V~aI_2Gcgtt0!97CU>n|b;^7H{$x<0fMnCt6~)D! z-uN;t*7@3}X(ovMx3VT?v5w7^oI8?m^*hIE&laUJFS7tntPcCi7aOlcH_3aG_=QC375!C;WZ_bMQCOQA|LtePw^zvP!3q45 z!YjI=jd5&V^`ak0H2o)^PCHmVw}>9RpUihz$k>3@5YtpOmy2MV?Oz}5>!5fvZ!Z;cX7w9j6Xlb6!S<_p13vGV-j7#-uTuez_SFEyJ-`f4I-`9uom?F&Mu zs$gn`u2JT7B>md9RRk00@E-l1Q;%92Lk4>C@(x14$w?N5K|P++YjrE!U0Q- zvEI&RD7+2CSX~ofRP*-q#+vy!I-|g_L#+U}MgU&R4DW~sC{jlhMa4rtFFYU-2S)xP z{e*g`;t;C5JopF}_y`vc4AH~5;J`MZL)4}qJ1`)@4?qM10n&ahh5fno=Snq4yrZYL z+bEeZeWBpKn z>V*Bay?@yi1Oa$m9X)Y>Vg6;t|AY_*mH8(&n8cw${si}Xfc(uIN8msZGnL;^9{Te? z?8wOYca*>45{M&H8PK6sO(CW*I0$y+s=s*lFP<@lAwj@{$A7RQK(M2L09L_3M;1C1 z00qGg4GRpVKu00>7fFX({E1H! zz9#P>Lx60+C7(+`I)ei)d3xbw0~7>~mdFC*Lo!4Fe8htHP!O;(Fb3njy*)iJc(8=H zj5tgT1{VdpVjVA`2;Nu^Fic!h01%0Fag{Yy*Ze6E_)kFqjmP`QLLdYJL7V^=_r|(G zU@|f?5U2!1LP8AS5W@v};T;3Syl{Mgz9S$Qt3Q`{;lz(Hi935=f?%v5FmWj4mm+mw zJ6Md*VZ4D46+1e4`{5M?{QNL3vQ7vW8JHtnM$FO4SxO8BL&=CifkO-^;Vw`|lq3=k zh5l0K^B0(Z(+5ld3gLhqfRQXvs$Kk?QCI~5En|JK7TO!QE&oVA7%&G?0P=JD|1DI2 zZ~na%0EhlGgFL_^YvApIaSc=ll2B0s3InzYY**SGhLlB0%1TIxKw+{_s66C1PQdxV zQZ?Wt2juSm#nQiU{$;5*)*J{4MU}%i1M7Ht`T+s!i1)?{ni~j#k>bcd)E=$<$tn*y zbktu=^xrm`qmO~X|7^BPmk#6lkWW_K+u83Da2nN7|9^>^|F)xDoc{#u9bfhnLU4@}}Qcu$n#Q39%X;{OnI2i4lC?G&Od)SIsPgZg8!~o2muY;p;dvxb(nmD>avHK3zdRN!;nbHqofr8 z$`il_B=`Tq@iV&w|B-~YKo;5_r6C|k#Sf1L^3wK~&wvTrBd^&C0kh_Zu>(y085RKb z&&DYLi*f}4y{ruAuz>z?fF+SgI1=m%{)2{;f+2yH#^3oQ zWe~s90EWXB<#)b+BTwS+wEA~GDQP6o3H?Ts_%}2-9B2uDA%?kD6AMy6!xgEH^T%07Xvb2h^e6x_vG}7PK*~tLB|+!TX&7mO{twQDEk6JN diff --git a/abstract.tex b/abstract.tex deleted file mode 100644 index f35cc65..0000000 --- a/abstract.tex +++ /dev/null @@ -1,11 +0,0 @@ -\newpage -{\Huge \bf Abstract} -\vspace{24pt} - - -Write a summary of the whole thing. Make -sure it fits in one page. - - -\newpage -\vspace*{\fill} diff --git a/declaration.tex b/declaration.tex deleted file mode 100644 index 83a02cd..0000000 --- a/declaration.tex +++ /dev/null @@ -1,32 +0,0 @@ -\newpage -{\Huge \bf Declaration} - -\vspace{24pt} - -I, \authorname of \authorcollege, being a candidate for Computer -Science Tripos, Part III, hereby declare that this report and the -work described in it are my own work, unaided except as may be -specified below, and that the report does not contain material that -has already been used to any substantial extent for a comparable -purpose. - -\vspace{24pt} -Total word count: \wordcount - -\vspace{60pt} -\textbf{Signed}: - -\vspace{12pt} -\textbf{Date}: \today - - -\vfill - -This dissertation is copyright \copyright 2022 \authorname. -\\ -All trademarks used in this dissertation are hereby acknowledged. - - - -\newpage -\vspace*{\fill} diff --git a/dissertation.tex b/dissertation.tex index d43ee96..22b510f 100644 --- a/dissertation.tex +++ b/dissertation.tex @@ -1,75 +1,168 @@ -%% -%% ACS project dissertation template. -%% -%% Currently designed for printing two-sided, but if you prefer to -%% print single-sided just remove ",twoside,openright" from the -%% \documentclass[] line below. -%% -%% -%% SMH, May 2010. +% Suggested LaTeX style template for Masters project report submitted at the +% Department of Computer Science and Technology +% +% Markus Kuhn, May 2022 +% (borrowing elements from an earlier template by Steven Hand) +\documentclass[12pt,a4paper,twoside]{report} +% append option ",openright" after "twoside" if you prefer each chapter +% to start on a recto (odd-numbered) page in a double-sided printout -\documentclass[a4paper,12pt,twoside,openright]{report} +\usepackage[pdfborder={0 0 0}]{hyperref} % turns references into hyperlinks +\usepackage[vmargin=20mm,hmargin=25mm]{geometry} % adjust page margins +\usepackage{graphicx} % allows inclusion of PDF, PNG and JPG images +\usepackage{parskip} % separate paragraphs with vertical space + % instead of indenting their first line +\usepackage{setspace} % for \onehalfspacing +\usepackage{refcount} % for counting pages +\usepackage{upquote} % for correct quotation marks in verbatim text - -%% -%% EDIT THE BELOW TO CUSTOMIZE -%% - -\def\authorname{Jake Hillion\xspace} -\def\authorcollege{Queens' College\xspace} -\def\authoremail{Jake.Hillion@cl.cam.ac.uk} -\def\dissertationtitle{Void Processes: minimising privilege by default} -\def\wordcount{5} - -\usepackage{courier} -\usepackage{dirtytalk} %quotations -\usepackage{epsfig} -\usepackage{graphicx} -\usepackage{listings} -\usepackage{multirow} -\usepackage[square,numbers]{natbib} -\usepackage{parskip} -\usepackage{setspace} -\usepackage{tabularx} -\usepackage[hidelinks]{hyperref} -\usepackage{verbatim} -\usepackage{xspace} +\usepackage{courier} % better listings font +\usepackage{dirtytalk} % quotations +\usepackage[square,numbers]{natbib} % citations +\usepackage{listings} % code listings +\usepackage{multirow} % multi-row cells in tables % TODO: remove me \usepackage{todonotes} \setuptodonotes{inline} -\setcounter{tocdepth}{1} % stop toc at sections +\newif\ifsubmission % Boolean flag for distinguishing submitted/final version + +% Change the following lines to your own project title, name, college, course +\title{Void Processes: Minimising privilege by default} +\author{Jake Hillion} +\date{June 2022} +\newcommand{\candidatenumber}{2373A} +\newcommand{\college}{Queens' College} +\newcommand{\course}{Computer Science Tripos, Part III} +%\newcommand{\course}{Master of Philosophy in Advanced Computer Science} + +% Select which version this is: +% For the (anonymous) submission (without your name or acknowledgements) +% uncomment the following line (or let the makefile do this for you) +%\submissiontrue +% For the final version (with your name) leave the above commented. -%% START OF DOCUMENT \begin{document} -%TC:ignore -%% FRONTMATTER (TITLE PAGE, DECLARATION, ABSTRACT, ETC) -\pagestyle{empty} -\singlespacing -\input{titlepage} +\begin{sffamily} % use a sans-serif font for the pro-forma cover sheet + +\begin{titlepage} +\makeatletter + +% University logo with shield hanging in left margin +\hspace*{-14mm}\includegraphics[width=65mm]{logo-dcst-colour} + +\ifsubmission + +% submission proforma cover page for blind marking +\begin{Large} +\vspace{20mm} +Research project report title page + +\vspace{35mm} +Candidate \candidatenumber + +\vspace{42mm} +\textsl{``\@title''} + +\end{Large} + +\else + +% regular cover page +\begin{center} +\Huge +\vspace{\fill} + +\@title +\vspace{\fill} + +\@author +\vspace{10mm} + +\Large +\college +\vspace{\fill} + +\@date +\vspace{\fill} + +\end{center} + +\fi + +\vspace{\fill} +\begin{center} +Submitted in partial fulfillment of the requirements for the\\ +\course +\end{center} + +\makeatother +\end{titlepage} + +\newpage + +Total page count: \pageref{lastpage} + +% calculate number of pages from +% \label{firstcontentpage} to \label{lastcontentpage} inclusive +\makeatletter +\@tempcnta=\getpagerefnumber{lastcontentpage}\relax% +\advance\@tempcnta by -\getpagerefnumber{firstcontentpage}% +\advance\@tempcnta by 1% +\xdef\contentpages{\the\@tempcnta}% +\makeatother + +Main chapters (excluding front-matter, references and appendix): +\contentpages~pages +(pp~\pageref{firstcontentpage}--\pageref{lastcontentpage}) + +Main chapters word count: 467 + +Methodology used to generate that word count: + +[For example: + +\begin{quote} +\begin{verbatim} +$ make wordcount +gs -q -dSAFER -sDEVICE=txtwrite -o - \ + -dFirstPage=6 -dLastPage=11 report-submission.pdf | \ +egrep '[A-Za-z]{3}' | wc -w +467 +\end{verbatim} +\end{quote} + +] + +\end{sffamily} + \onehalfspacing -\input{declaration} -\singlespacing -\input{abstract} -\pagenumbering{roman} -\setcounter{page}{0} -\pagestyle{plain} +\chapter*{Abstract} + +Write a summary of the whole thing. Make sure it fits on one page. + +\ifsubmission\else +% not included in submission for blind marking: + +\chapter*{Acknowledgements} + +This project would not have been possible without the wonderful +support of \ldots [optional] + +\fi +\cleardoublepage % preserve page numbers after missing acknowledgements + +\setcounter{tocdepth}{1} % only show up to sections in the table of contents \tableofcontents - %\listoffigures %\listoftables -\onehalfspacing -\setstretch{1.2} - -%TC:endignore -%% START OF MAIN TEXT - \chapter{Introduction} +\label{firstcontentpage} % start page count here \label{chap:introduction} \pagenumbering{arabic} @@ -664,11 +757,13 @@ Dynamic linking works correctly under the shim, however, it currently requires a In Section \ref{sec:filling-net} a system was presented for dynamically requesting statically specified network sockets. This system of requests back to the shim could be extended to more dynamic behaviour for software that requires it. Some software, particularly that which interfaces with the user, is not able to statically specify their requirements before starting. By specifying instead a range of requests which are legal then making them dynamically, Void Processes would be able to support more software. - -\appendix -\singlespacing +\label{lastcontentpage} % end page count here \bibliographystyle{PhDbiblio-url} -\bibliography{references} +\bibliography{references} +\appendix + + +\label{lastpage} \end{document} diff --git a/logo-dcst-colour.pdf b/logo-dcst-colour.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ab25f8d547fa6cab97a3dc04b29e84347a500202 GIT binary patch literal 68825 zcmV)nK%KuOP((&8F)lRWQXnm4 zPESxlRZ~SEEo4GLR6|H0Eo4J)ZE#_9X<}(?X>@r^Wp-t3JuxmdAT4u5MOH~eMLlq2 zW_NOFbY&ndb5C`2aCLM>X>4UZKOik+P((&kMO0KtPDfKCFK}{YaB^jHb095bO<{Ob zbz*a6bWme-JuxsaAT4B5bz*a6bVhG(baOp)a&=`OEo4P)Vr67OY-~nvZgg`!baHiN zAT4A;b#!l1Z**aFWl&*fWpg7hPH%2yAT0_tATS_rVrmLJJTFXTZfA68AT}T{AW|4?5av(28Y+-a|L}g=dWMw`+3UhRFWnpa!c$}2ITdpNLk{$RTqu3)j<$RN4=)cm3 z1`tq5fX)@5E|mUnQll zy#G{Z{(7GJ`D>3nUoG`d?e%N5@hQ*zdUE;Hy1we1n=W6Y%}*`uYnA%>{VT8a)ytld z^Vi&W&HL`7>>2yoDUDB_{RV^MK51vzf6AW*M9j=srwhYhezVYzW?^B-@pFLue2XI zrSf|H7>O%=|60%2lUnz^+GiF#RPwWw&;Dtt`*rWrj`a1+{Z#Qjt$sZNzwrCkeZ^7p zYemZbY(2NTWc{o6n(mVBzn7I>i=O6J9^-zN)V}sD%K2=YeilB0-|Y9_-WBh^xuLC< z^5^{@b*(3F{t$QUr|A1VaP7a&s>aCo8EN~zPw!sm{iDAP+~53d;D5Y6#l2aoUvu{H zninJY+VQKukGy{Mw-MZrTOqGG%l?l#*IN7EHJ{qo=YRf6`(vlNKjGdDIW0U*TVGfg zJUp0lUw5k+@dgH|9?DUGjdOrj~ zmd1;uoIYuDHaI^pwINxw>-i(*sHgy zqwini>uFfdzYW|s{pTat+yh*Ijk9-c%cS?RZF;V+sa>Gkdf+}sDV0(STsFS?*k3yD z&6etiFTdqm!JgYs_75*dIwN;^CYQ%E@TEOtUvuln-?{q-Mw!&v>lkK7yn`I-Oi z@9gror;LFYxBQ)>{{AL^eA~Z%{qgnjc%$=V*+&-SXxkED_~e;$v&;TQPlBv}D7k{v01I{k;$jPNd4N<>W?{ilDLjXwzO_}GjiP$YSRUG+Kao7`hDCjs4?x?ugGW5 z`+(dJx<`_hXP<-E=9sas^M8IpA;9^$UmhoFJXT$eI|dULj?g=!;-qVFg@62l($V)Z ze{Qj5Bp%w&@DDBr7W_OUmS=O`eTkpT^?NUHZhLHOKC6{%yO*#h9a#9F9iJh$u?52B z<9#R&uHcr_ko7;O;FfV2k8G7<->FJ+qln(72+wqA@_pnT$6TrOMtVat4T;-Yx^IR%^I^5GsR&+7|r zx<2`S;kmpi4j-I( z?77Q`dpRoJEFN=#@m_E7bG5jFkgs*Tw{nJ_-`~rFXWYlENqUa&dAMV>mW?N&tIIHhRrFC?; zukXdfw|ULkOO=1@V2t#1d4JPW(nH_1+x)%k*R#1ztg)qhD!6TMAME1V?>TXv>#*Op zH>hvMj7|4iUpsh9?|sj5?y<${=&y(P2VQnbocl2sycG4m#vcoYMclIJ;lX*F?;IRBp^2?Glg-ABLjE$7o06+ zFyaK;(6SMq#e-c=gku7lTFlsV?@zv*xTSaM_axbZl`ewIi2ItWl&jKUf%IMc8h+J2}bd}w@C6pT~5R`VN=}41nZ^OYy4a= z9mnQ}dmQiW{D;yvp%d31ilKMKodc_&mG@yXB)^Ur=8L`-aa#wo{y0st1<6s{Wbxe7 zWWRBmFU2q(>?~q=LV(4Iyrt~>I4N)}T#-?FY@lVs&u@F3_KIGS9lWjzc z;cJf9(ARmb;g&wV-Zd;+=zu}JhMNsG`@NPB1AKU`Ajm<1=oKtmmKMJayt4Rm^+^((9{cYLTaYAN z&3kpGTz6Y%qvd!WYYRMF5i^Ru{FxzlU|eG_&_37T!-|{i6NmmNJ;Xn_8qogFQ-WUo z^%g%@iz~P_yu1b9YXzmx-PPH9gr@sl!0OewQ|QQfFCZqTd*^+P=b87(3QmgG@@?ZC z2SvQu))Qg6zLsx~(4!EG6AyKl54t2&$}>apf!Ff2hnqcavMq9W0`KxwiNo`dRDSd8 zC4Mf|n*mE-bQoO*EQqquWgMRxTjfdl#eqNPfCb|^mj&TQ#%U8Q2sbkHy#u$_cZA^(4YP~O?uhqL29ql^Hx`5J8!GxE3fx+d!qAfk3p&xoE&aPi*WYU4bDIn(xtnBbxQMj3!Dy?GoDj8|PWSLos6 zgUbT}8i*CV$ZT-W?O!%YY3vgG;*n1fS|&aKe1H&k`$^}PHwXnW%CKpOg5SRult?&I zx1Nf3L8J%%yDlqiO?^<4dp`IOr%_D6QWeR%G%q>y`uhiGq%vr|ggGHkfbS3i(`)Ys z=n!SAky#q!bnUYxdt*dvOzM4L_;#p0eQ!FzH(q~#=wAiBA28bsh?91LOSj0BcbsQ0 z43j-ld!1(l01?JahSdExEqB@(fvXyCwXZ-2+)P1FFcWA9_Wg@&Fc$Y4ZVHaaV{9z} z`tP#S4*^VEp*ak&4_d_0xssJ3NH|=!?u}TY?lH-(`&$viwpW9!VCI;T@Dk`eQr5$7 z1945C`hHl*+Cxg6lRVc*Wwaa@V5kVshOPIQ$CvzC~v?*ez=6xn}j^hAP_Hdh05 zMX&qP*C}>=E_uOTTz%G6ju$G)mh$ zG7wDN7a+p{@v&bVQ4WTvO!Ju*c{FC=lwSG;PLKs_tBGzz5&==lP!ibxAyc;YXa@Mf zOl;~mVh@=rL;SsZS1d{8Hw`Y~FKR`c1p#5Y5OEDk!hLa>fvb8e;DPrC#MYRQ$3R4F zF|a6s3VCd6%UVml>C~HkV?=COcvS6~ig^rp#y_)~2M4u=eF1s=)f0j_T75nq*}N{K~b0a;sYw zn&Q8I4amo=Q)EvVg#P#lN#iqyKi`(CaP99Ozzk24w0Jh$n?VUk+D5FRWD+zye(-&7 zOV&Xj!Z$_=aK0FUwy^1kEYNlS?x!REG3b4bZKUJuJ~I+5>MU8iKMD>G2Jw!($Kk?j zA|#j@86<)$-egZ)RP@iA@sRVIaYo30oGG1jdiX&R9>Wj1BX0xN6S%5}B)cQYK~Ims zNa8oc{jvFnzu0;3*1hC9HsFFMm(fK)8ZfRP_xuJO^NutlNpM0VP6mPW==*^C_=6lP z@gT@+u`?bSQ!g4|5dOd;S?>TAfVu?t6|{Q@-RB-N`xgu7oXRtR5R@e?Ul_QLkV~L5 zwTQixm^ZYSmVVH96ygNnHuN*kMs<_RREfEn!Ula~Bn^)c1Gb+|kJky5dDDn3@fse{ zj@$Iaxr$>0D>Lt@BC$`*9F!RdgATV63^!R&0H<^uRC68rHv;FAtR6E41g*{<`U94C zC{8X0M&SYE9%Uf6V>3M5l6dvT&ElsL%`GWDj2Tk_U%VEU{nE>r?=yn)Z9mnfwGckw z=$A}Vsw;83BSg_!1fAe15!&Ecv_I6P3r`HaheqUc#ukQF3QK{Y=Atk(Y>B~hd01|D zc*3g%1w|%C@Y_vKI!WLMD?e!<5_t`eWX87kT^RlY4L9DPHJJ`gL6P}f9^p1$^0gIu zY$VWNXibXc{gsK+#|Yn`hzsy0Pzf(R2>#i>c#XiL--!^E2XMhvR)j$SErHjYkp38f zr9lWrhET+M;+WVpcO9LEx&ELb>v@ecQuPZ+5|Dh%3b6)tp~j14#r0vFDSp{uN{*v1 zbOQyTqTrB^4YCH!{JoiZ z7lYDBM*$QE@NBXC+q_KN1EJ>Hld`?`NRn__GFHG$OM8$Wk|#9OII`e_pcVsML*@)= z3&2hgR?}q=hH|h+3O*!85M>51M}neLFRURVXKbhnPM{ztv}tM&k(qhgRGh0gHIIy} z=Wto{kbM8Dgkwm7uZ;hM2EnY4Pl1%GGC3y0%Vk*+8d7tBH05`(?|su!&WOh@En z#&8TDl8dO}d!UJnN{iz_UWZabrzk|*Aw@-2i)bdT6xwDnW2+JlB6bP`Kg*`Nbg3O<*AmETn%W}6{e@pwKIwgdl zPWYzQYv=@!WgjHGjiDNO0-|$ON(-EoX3z4_AF@#bP$uwv>p(|U`m(x^ZXJ)e$orISh*IJtxOAia zMCSKMrvkre>LCR}99uy~JrWTr=WhrAV!g>ENzDpZ3tJj8iTnlQWBNe4w~;lci5RRl}(6yHUO^oSAxO2 z&!tRb3+O-?Y*-ouBLK3aTffskmaPxrTNFA0<3Q&3+Fu@EJOu?SwTNtI3ch!a-A%A{ z@JzA$WJ@_J(U%Tq#~p#6e^Afhdsex-_Z8_y#6C&OT0_Ej!rl}9C)>{CZp`Hz0|=Qy zC|)|72kyv2s}gSpEdZDUyirN!v#jg`y%|?`i=#?BhB?>ZoYJH-2TcjhnRqjy6YoeD_$Qe!3bO{dYWO7733W|s_mC^ZlqK&M%+&9B zdVy|~WHng=A31{&uK50H&>!9-J>HG_BWPln9?R@HoCa5*XW==U_6W}o>WAPSA4oii zvD*I^FDmr+~xnPb{9RyI6D#U2?g(CfT@y!|o%GNkL!tIn% zEh{L15#jUYmFh#`LmUJ&cSoGvEh|ib5oVVaxmG|kR<~D(XR+!13ls}@+Iz-g@Nx|1 z0EX2*6czi8{0gxelCOZ&uF9|IOnW}2XLnvCZB^-3aG&N%>vm?Yq6{;u6R=83(hp$7 zhMa{Li?RbL7qsoLo{67QRv|_v-|A6bBYY!GpH?QTaQ3}N)E7Js3!S2S(n6nNxkWce ze7ZyhhBm%eIxGq%7(aRqW?2-K5C9D+*^7YSLDQWb zK?fs%{E5jb^vMRz2xU7Y9)UlH6aalh=K;!~lm+*PxLE;47*pKolWzspoiaRYsS$+= z+6$N8Gk7XfazMX*=;6RKdC|bl6vvPLO8wek0>sa`L@#hb651?gq^$3>-%((LNk)_!l>pR3vDngy07r$(0*2(dBo4Vhaa96l?LYkYfB&vD4AcV&ZA=>-X8x-AOCgBa)CNWW&^^yfVRSD*}5&;}M58ZKLt+^Bn=L=bpq{U3&36(KQ5i zSUk*hjaubL3)Ek+L$7dWXoSe5#WhRST3$h0|zh- z3%GpuwN|!im@CzsP0Klk1VQTL2*lF)k(v9FnBuhz%7-6;nH=iN*mEb-fGG*DTeqgJJJk{5cUGqu2 z1q%i(y#_+#J%bLinzW5xv;m{fPTWm(2Zaem@MDBkh>fHQe^9ZwK> z6*kS8q0l*BZ5GnZm4L5fHm`qj?f|ru6&@^93D~yaawclf1f?ZG=RLzn8PJg2Z(4T1 zdjuK~VxYQ5r%QNsb5;!$1awjQ#A|V)!J^ugI07FxK!j9oH@)q|OXe@86}$(gwA;*# z09BY{9M@m8)68Do{)d=x9=b68wZdb8GB`B;R~Y8C*<-QtHIZ~QBhbS%oT?ZsHkFop zQ6x{CgQ>Qb}i^3!025AhxI!o2K%& zxV2+OQ9%M;Vf>`6{GE|RBXkyfMw<8;5j7dS$*z%Ez4fb1{26h6#gu>0Qnc>K)SFj@ zc|k*XocA)#rz!+yy0%EI73TH^yfd&99lu5St-M-%n-!2@^^!6e|#t12)%7>c;c~#Fav|`z+()E@x#`C1`=ze@8(lRVDLc>I=G&;=$enhs6f~(xdAH)sf2^GN@5q9)XL}73bz6IP9U+ zgrZvlo%0baT7J&L({35G(+x?E_*M^$2vM7kdB7I|jHMi-(z{o9a=PH10&wb@%-3MZ zc96n1c#%T_DF&qJuJAP>7|{s-ln>vu;GXo3+!^wx;|hB@k3eEUlI(Yo71*icLk*-9 z?SkA>-C_Ww8%T>~)2FF{Vuy9(m6Elp`f9U-?VFG zST~NCl{9dEvh^kgeG*h0<)&jm70dM0LyN0ra>tBGO-q97(#aihy^pU!}UpDfa(bND8&~+ zSr*zXF(ceTX}CbE9gGQ4R0V4a{KR-{u!BORiXgHu@9=4w!(UumL=**oQD8~_okrV| zNp;m02;y)rx)WCa9>KT46(Z6JJE%6l#$mPEV`S2+RE;zNJZlm1CMPx=&?!K1ia|1T z_Mv9Xj8>g^tjN{Yp?@RNRVjvJ#x$c883$02^pFuw#0Zb0ti1%aDur>j>Wz)%i0r|~ z_9$K}Wfj$T<>wZxr=6Iu5EpRMQFF+Fz}O#M@$i^YgTE`U*{TH;BD@N*MKFrqdDJ_y zVOw0gsQDMB35?WT?+nMCWu&!cR0f0be6eGNF4dOXGNjmBFJzlz9XVhih=5Ur&O_zZ zYt;Awt=2MeK^8BH6hF`*x$}m}#!in-a)%fp5xhfv07O zLuF=i6VM5W2*UuujxkNfkcoI_2Gh02QC117KPh z17kJI58CMxA$)NXkEDpKAP}-Y$XD{{A$5jkU01C+K{dFZGLKy;yGJaml-2cr&pE*^8 zO-Mu`yg8B%FR6qh;GA%|&=|Kq%_C7_Ydq%27Qj=43Gc%x;uN5x=4Va`b7If^nhG9Ik=OsA!orh;&M6|!#tMWW9A8RA<88iP(~BzX?)YpAcY4tx6t&@A3DC!sh_*7`k0=)K?3TAx1)? z%Wrc>lo?PTGfz{13SMVP@8N(9)?2U>&&Y@+6+zxm%P+oII|(L%C2NA`kwxV~t1|sK zQYq~1)UMGe1H8)ufL7pZ0ClU=5piTTYV<2A`ylp1g&ljRM4YTDYo0NLhx)m|%|jT% zd9cpEX} zG1QXKWNM3B4u^NKvgr=cv5ut&kP}-WXrg3|(f3HDoWkl-w@FG*uW`VqZs+z{$0X+; zWl&e$Dft$UOoCI8bt!`$MrqxVhYpky<&KfWgyuLWZ7@?cSC$7OlvDapPEJ0VoRA+y z=h_GWMt+=k!Ni>8)DqRPC_KS(>ctP5yq?R?I9mIZ6>DbE?Vuy=M`Q|d712!)0LqL|7fHeu%ZVLq9w8{!-Ojq z=U6WG;Hk2JkjC9m?@ZcJ(8MP@h1@fmtO1r0LD{)OXCKwYj(m(@7ku-k%6w9>caA78 z3?BFTW1tfZgUhNsj!b=aNND;-s`3EI$~wzK7B4ajrfIkUi`_N2#Y4|?JsEP3p><3( zbGjOf3B!l+XgOHs`p`&Ik^u97yaPBeqKE@95&=I3cj_@~av|dxvFa3gQ0@GBllFnsICf~$7YTobh&{=y?g^>SLI zNJ(ZLM~Ug*N-a<8&WKavF<2_ZE3&O_5wl;0v|L}WTCx#~@qW~lQSq4F5!eRAbI3j_LYHD7SyL?k>k zY-ON11^Y!S@8ymtv#AHJJyq8`bo?vDf!QP9CuURwU{h7J(fVg<20b#w>Sq$z+1Xu5 zxOZ3|@?m#_9Y#2=4l;*Dr{Ka*@}my-uH(vW#cxE?S&ASV`lcwk&NG^==|sKc)EMB` zqdq>IlgZWZ3^EgyWY_vQ92Bnh5q@xwpaY7W^Fpk>X=yljWC{NrUZyNO>^L!mZ0Ikm zw-A{lK1D4i#Yg0@xOB028Lkr&`99wmk)4_erRSSKNe>v)2+zuaHJvx}2>qd%!hVJ| z9?^h<{CDX%pIiobL=xIEBck;AP3KVg$Yfm6^-ss}SNUal7dtrA>`X|t-C z#)#YF{w9MW1*8<8au5NP+A`JE8F5{96JY0vOpE|qFOKHYP(gR+B6Fm003TUVdEHf2 z^1dCVlg7Fnr;m|koIB(P>&NAY^EDMrnE|BdIf%d|fRXV55|2e9peUEqsdwhGd1uB{ z6-rzZIhc>TuFMFfuz`W=DrO=24ArA5K7<%$51!GC3I2)FbwdJsP=)LMi|V=n`Wk^k zuMDqA4_^*{3v4$+^zyu3*G3&IPiL6Gg|Zor0VTr3#G!9mhr=CFu1$^P4RBN8=jXr3xyj28?>`4gw>g>}XFuAzy(kYgvU${A~ zxJYuYDxrvopq8qiCSid=s>~3L5Chcf^dggMznqaQaB^0~AP6}Y0&jL6nWhmVr7dR6 zICvLPKV=#6nhb0YsZg>$4FB}!P*vs#JXh9C4exx*T%>bx3p z#Tn>j8dyLX0BR^><6haMX>tNS|yOp4<_7|6~ zWCQ-fBaK+^oYhSRbVHNn2n#o*7UyED%=x?Ap;=mT4%lUGj197Uiz)`>rnbgS1*;gO z-`u12FhNQDNNe-oyG@0x^xZez^wO^p?8+RtwybJm*&VQYR>e~^Pct|n3+9vDS%x`z zE+8X15EOT$>r7t84PfiBV!3nwP1C`qg(}_X{v5Rw97iSm%gy zB1%{ln^#p0N@m1mRX9gUquD)iqB=!!>gOrlJ3bOH@&IvQ;M)W&dA1xW*pO`-ijJWOjx0jETRMQ z^YbOhVeBc#Oi}FAOV%?o1F?Qb60NoONakmsPt=K% zt{x!Mpaoo2R-R`ho6U|g%oI_bsFik#!p`Kb_4AaNgf$P3g7N~@FhJ#O^P!aktI&sM zSnuN%A0|??h-9d!;xyin)$Q2nYes*}DU=3_bT$PDaJNf$Cu+S%u=P>svqzQo{WSNA z5g6i6n>_VM`Iv{T#+NcFR0{Rf^F&5Sgc$e(Y~x4uJLzkA(Mkw811z=2ORDgg64Yi> zNsplUOsdHjGkR=n0gtDn)_0rEDEqyf@HB@*OUyh&onh6!oyt|3Gpc2aW^x5}mosDC z;>P=mbA{*sWa3$BVV^r6=aIt2ilC_b{RltQSiboODM#sh1R5zXnUuNtup#8B$mZ=4 zC0&=&G{_<@Cn*;UdW1xJB>oK=K5?15cjTmRE4$`VgN+%`|0f`OGrW$#MHBY}wvth! z)RP$q8@R^De9<9*?#STDax#w|bwIgywW=^*g-yZ1^AsgbQTbWrKT|St7Mq*4C=maZ zTU7q}r0j?pr?zRz1?ottI3_xyo==KKdLeAW<^Fwy8lCcVw2To(%j3`z+*-?xCZK|% zz%yHkgfgP)&q*S9_mBoWpilkt!@1Y<2`OXMfX0S}P ztSDJgkFoIpu~ecIuw`^@kDveq8>Sg(l5vh z+~W@@?*T&MVKt%Rc4$KYKEOISjz+Y@79U?dd8DgwxDfl__=xJ0>5fgx0Eyiz4t(rAgp=5m9O+xs3^);%O zrJs|1Dj__|+?&1_=QATKBbBEx<9hE8f^W3WHFO64#e^P)l4r6PgRL*Z<4uhM5#ach z=Zw&e60MtW1Qm{I1DoK9QVj@Sy~uXbX=0=k*`M5MfvAPsGh`~*w?0*W8Y}cw1!z$;@1X#DKk(6|^1QgJ#Pg|i zLpYYNpWi`->Oep3v9rWUIkmSyg&d>$O?+$u|47}>Ir5JN`@gG4ub!yTH=ypJ~h11UC@Yniud`iN`A&~asLC5 zegX&g$LGQ)Y=QoEmBGJ$5d+$XN2=CeppGhVfJTJrms1I!UA~j4wsHZ&sKJxf)!6{9 zX@oG#Ur<>hT$yAwzRX9 z8?c2dsVL;u0;+6UT_7lHVn#dp9BTRIr1azW!;V#TIOjMmJJ^~~g+UIVUuR&dxZb*p zDP7ObQ_~V|;lq=9b@KP_C;Q_=fB&CZ8zMv5jXmsvJPDG`9%x`()eOXifon7ex%7&xvl!uN*PIH3^{D-(RMuAkf1x3& zdqB2`)GET>tX~EF64W*DZhwBM@Bi%CnwL;0x65B%(@p)H5R#3Kh%SGi6@gP4T3*Ze zl<4wTfV6E!L7{i=!~Q#;=;2pTJcqHb=<-({Rj;};ob2o_f1sH>db<1-$L(*IKa2!Mm`A?Uo&rsl zT?6a(`722-Q^DOnAZ2AgzJ+MEtL)i7$S%?ZtTr#e&MAY5^|(c+M4}9ZH%RU% zVQT`vo0s+n9zkXLcF{_EI?)Mur26gJmzRsPx+@=O)=fKo`!bx_v%O~cgLGB& zJ2WaHJn;*SR2JI+O^*g_^43W&e_=sm^Hd3t;DJ2ZTFzKOG2=x5}If* z_@F9s>_)-*ThQM1ZTeTfo_UE_?j`r#0|U_8v0PU?$mqLwN7Q$ZGWn6qu#kh?fAaL* z!xIR#9DVolil$Ub>BqMr3>ekN3g1yJs3LxVMPOfL;Li}9kms2+oRn;*&qOQ6Ik~ zSMJUb22h0}@Y>O-rx{maJ;IIpxG-I7%j^*FY$~7Ist+UT{&Q!nA{yt+rJDm%V8)~K!EO06`^}A4TfW@M?zbynX1Z=;k3Hh@ z`gG@3^-Ig$-@8ZuwA}3~Ju~`ObjX1#HN!Rbv{!RGj3CewUHL$hkNqMUrK8t)zgU-J z^v+=0#7}hP%iZ-LqbpzTKCw>^zTAW-evhb4XN=@#Ts>9^sD~z3#p}VFx|g~uUseyP z({vBCTH{4qzFaNwV@B1%9Ibs0Jp^ykFOEAITtXAzf=08{_0R1Hg%MyA*rx}4)a1*; z3gg#Z4X31E@tqW2^8>3VR;OY|+UYsMfb$ifu3Aic6!-G^Un-`iHll+!ufpZ6=5=P@itH{6| zQ35ZnSt3897Tz=dt{5+#Dz*HYq1vRhL%@w)-jmycP93vXQ$C&qDB49)FBNL)M^FPj<|?NE$WonZ?Is>R-{07Mq^!?UrJ1*no$Q1_5`ZD<6SAA+kQD2*hj&D=0m#yDj88Xr2yJ zeHh-f)W;a$=H$f~4_IpEf+Y|T>~zP&D^6iCsF$VT3fU4`*?H$dgP)%J*X%5hrP4JS z@Z6j}w>4g71z`clRHBI-YygQM!|G%ajqfr**5z|M<7J|{@88ks;yDNaY+~IYg3H+W zIm?D(+ockYG2&4!S?wIYBSN}{oQSS>5DdbRA8mwS>-L(FjyDgCf=5;YXEeskf{H8i zioobezXhKnrx#tmyltmkai=jJN2)L_i^*c|k;G<2^AUO_@vp(#r~O0V9$Sv@Opo{x7(#uIq6OHsJ zELuIqs4v}KTYs|Tb+pnW-!~OBqYLDb2?u~R+g2XBg;+cz0$79Q2P$GuT(KJLtY&)o zQA^5brk5W(dEHD8w3>`X9e{jlT1S&Bj8HvOGrb&LQ4pRXEvx9}_2fsQDLU$9JI#ow zh0p3mn>S;m*$N`qMrDNsM3o(V3;5tcG=5GhKBlpNEE6^o;$1^x`uD#j5r$rS8$ad_yEWjO9hSmoXA}3 zs+(gzVd_uUzo6B?C`zd1(;!9cj26^MC6LI@FS@(m=pEt7^|*qVJ3Hkl^?7>i<}_A{Vv7QeQI==T_0kIu5DqCC>MjJ`MQpNCfmTqVoFe<)eY+PMs>zgHtM{ z@)j-_St_0`+{+z-S4n5(6o4OPgR>hzMY}wyqbgLbYH?%(e8eW;?4i2={ALu6U^U?r z`9vc;o|5kL6CiQrIo}yXd`71{JRe!+bjrIU;t4H8QUzycD3<2klfsTefgg^j1~Sic zmh@F`3n~Z*51(dwM*}#`^s-q zSYYCjsn3l0r9PpO0@;}^w;^68Org1rU!{+V8w-9*Z1=i+&uFGWw^%+c^1f-RQgs;W zv`D8<)sj;WKt6{XpempV^Op%r(CFzks$Ws78Kw(;bzH6hHRTqI6D{m85-qr>@HW)~ zxlchGCP-XD9ar8H7^!6kJJD2MPERk4P_-CJS%ujT^^9E5%cd)aY1`U`MxnRxwp408O=vviM>w zp}B7|1n{Ci^R}wkw%>hF(aRLb!97O1gp6}t>Ph= z%?iA(oqy>-o!pVkxDYWAQ>aAc)=xfiyFd$h&Z8Y2-jMc*o6V8m^5=G=L+nwXHYVuG zEaVC=?UZeLyV2#T*d%KjGO(Cbyw$zt@~|`VbfZJ8Nirp7bl3cSB*%h2-RSO!>TKZ( zR6?4qlPSml?MBCNCR6RI?lE2JrU?_2r_YtsjV>?ulX5pYMC~VyCJ7QOl{yKJ!%ZxC zA{-HVBBxLSWguVraXkEtz?j`41}p(7dh-7tA2hc@01RkYD`$qX*x8T{_WU0Zpnuws z4iC(L>S;(<9)kdJ7`7y+j*sCalt0y$RHwcz3{p_Ei$mWxppiib8*+&YSYgZ`#jHqEQ) z0emA0KNnt`ORGEUA-$NTye1fhv)H)rtlXOJs#ol>ir#Z#G}V5K-gCu`IAR2Jasxa| z+$0BFYS~MrQeNLOX^4L5)ZRQ9d zqRY%}<_b|4GX}7W*`y49K6pdfT1^Q|4tyFTbcf69t@%sEQ(ZMqRSvSJ?04b7%E_(62jR@7|~^pfQ@MQHs=r8UcEEY6(*VvuVp7{ zPj|-6{lG}rjOk2R$-Nq~a8q4P4Qz9us^3%(4tz6d0JonUq^Bxll_LeZC9r2C_nLNe z;?U)BBG?_t=JdtA-HUomgi!5v?us8&W=&C9?hRO*RX!hR5^1?z9McFX_X(ZOKF2fT zeeN#@QuI|4#tB3wgpi{H%sTpd;!w&N0O}cnM4A_yd zjAjL-zLHeUpMxlXg5xKmrN7j26o)$1nH84B@mMW=Ho}W1CosNS<;1^a%q5l2`;j5t zcP>D8w=*4{kY2qr)c>s39d(E75DvB5PG--$(^6F+3U5&8X{9?`Kz2%hR|{ zh&h>0&`SvJDyoL?P``2)#?!bivz@n+E^NLIxB7Bpx;$i{M0EtvbTFUBbQqEU_s$^t zzS+zAqKh#|cZ41+T;WlXCkQ6qgY5^R`VXE8|HXz!L^a4vqL&(ej2A79>yAwMC{)Jo z6K&@}KkeO^j!zL~IXHu%QCyOC{7_xFms=a2hAu4}xKctdmeNmHq2bVOOm_xQcARg~ z3BFU`IcUGI4^CgYOq}oib91Gv=8tPP@M-Fmm)lsMwscT_r3|k)pO&(c_=4EiKbq1} zEgffoW~=jOn&nwh*EtI>dU@=9fIN&U=&T2X_HOP*-K=yLdAOQ^!HeAkSr?(g$yBGBsvdNLTUhUs_fvnaC>&ZVx#+Md>joaDb zEo+hdaaDYYY(4912CHyH3pnZ`_1)A0hhH?8PzyMIza@_aiT#}~_6W^-8!VMad37<8o$?wD;IdH7w<#9}iqy)%dTJJN=>JCB-RjTj{|0ThohDsa zM<&0!w_7GYy?t)?Hz3EF`%H00XY`w|ghRi1BcA4Ofc>djSk$FaiOp#CMwsKP8Jv8^ zR83CvH-e^E?k`fAa&xOgj{pG`y`=df)dAAe>n&Fw_bw+Zr@NZoyL?ua;_pUn@Z0li zomOt}?XyManIRTQ_U$o^YQ9RXxt=8+iU4?)A6G>|e4OeAkEf9vLKqYur;!_j8t>9* z#mYpM-~3JcAzvet;EN^oA`8%W?{Q!2k+UVMn-ge8;Ie$Mpw%}oD#jDaRXBi4gOo9| z1k0)f#N5tr7+|t+v5uXoeyfoi<-2p#qR|_cMzz$Aoo6)Jol$H{JaUUd4}8?=a2Vru zM_{LbF79AQjnR>v(+Ms+W$m_t;|EsYkgixk0HVzs800a}MNnq=mgxj#YL7;6lQfO$ z(+DoR3_I6~Rhkynv1s!Knk;u3!4d1%?g(+YtgX4^o@3c{-NRhflADPS`O;hdiau^Q z`a!E%;7KQFUR*aY2itU7-R_7WxxA{2^if3x7_;TiZR$o)@>s7Kof@Hgx=}c}3!E_zZJZ#1 zx&tZPqz^!N4Pr+_oXOZFd)ysTfgc{hF~Lr0zFA%`I=NN&dqiQNM=^n-FNa%@3_l=) zI@4iwqD(C|N>yOK1rR1Y=2`tS)jVas(7JAo!Z6%;bxO(2+(9BPZ(TvTE1l_mf9$4Y9z(T zmI2BPi=1|EIXWJ;C>X6}X)2ho^syNzaep^{e7w}@07t~IH4DvH{>3ox-=Cr#lv2dk zT0blnBheG?j>s8Lu=T6I8#y8!QcOqdEGD>-Iimy-6l}*ft8tdQ3VZRl(s88 zce=&l)Mv;BaRy*{k+<#!NgSCbjP^`PUnPGQb+FG>JOj~Ji%RYN*L+3ip-k^Fg-|sYggNCGT_fb+J zv%8qyM$O&`Reu!M#XSj7f%CIlP8_-(oVimh+}iN_H6k|-KrgB{DZLkTebK)OlcBM9 zW}tMt_7GU4*rC!d(5ZS+l@|+Iug|t?0QXQgjJ9mR|A>YBcQsC6DVP4DUA6^3h!Jo6 zV!vHewgN8L=jU`~6F$FF^w5C@pe_r8sx|aM51AI8D5~JZj4W@NT2Lw3D_XR@07$1r z8%G{Jlv=di5o6bj4PiH61Fh;$<0KX+(spNbKe$@7osV}~v>k*}yZEmupTlX&GZ{Xu`cfxZ3H;cJFOmV+!I-6Cbb-xDnBRHgVR|Iwz6Th6dSVzH}q`e@SznpIw|@`38Y*}%i% zy~Fw;8UU&8$W2Fk(CjAG{WUaFRb3xjx~h8!^I5`dI$he%Ql2htd@m(9Q6fW@bc4)k z9t3?7!_SCPx3D{yh2e-3pxCNEaGJEa^9*}&0alQj%g*^8iAwP;TZbPoq1kom04!A| zd3C*Br}^KOY+0cYrcfZOI_J~(f!Sm^`--O}8=^?AG3Sxr$lH3`I|t-oD z3$ZNAE-(PTfSbUyT;3x~C9!!87cDN9h>_1(j?82>_L(tGh@N>&#f?x-e>NVgUC&`Z zZIOhIyfV;C_;L3&?&DcLw?7+pGCxSnsOlWRcS{m@kL#tXKO0e@Q&n7voUYQ7nE^w` zPSC|QR_;iZwS=HlX9{Q=^GL{B1d}6KID%qu>K!59RJM9xKQ{V`iclCU%2j8D)!q}L z(7_W5)%x6qZ3L*(M!#4Y`q8ppsTc6vmO%Ad7ngB1lunTh}4_z&EU91wMbX@ve@86Z`Qod$nEjzPiM4mPe;nR1G-j0zz(RVF7WkQ|R zsC4)BiN0%2wTwSz=c`(=XiAB@r|}x| zwAn#p*!iO#gE%RPY;{5Ppk+4mL!B9_YQ-z0`hzx_?lq#MSD6LTc!$*aBY3s>29k=J08l}X}m^D{z>DBYJ`Xv*~ji8mEvXrA-#7Qt5}$ z#*M)sfoWuVWdAUoHV*er~nLQ`@cqj)g+8k#nV)dRyd+{O4uF< z^?c9BDgxn_Y=Ts)_)-Mc>nRnMjecvco+TN=fMM3#v6t^3I90X;%d)WDP38nD{{1_Ylc(&OUlN4s&apK#vd`FNUJ<>2#^fdl6!BOX$9di ziSB`9;A_y0X)2RpHCr^B&}3`S$$3`x69lb2N8H)zn}#Rgt~wJwc_H!<&TzWoGS3o+tu{Favmh}B(PAlfbLpRrAI0LQ~kmRsptpEu7q}DY-|7M1^ zoRGH}TT>(*!hux{x_sTmhg5P{sGQ0?G+)MRhDxZ>(aE&%phr}`c#Y6Of3Co$HoS$a z{5obDr5D_94TTkyAZ#2&a`^wWPheV)h5@7`yutMCXa znwtu}M54J<&y&F!XNGZ{(fllV)4!UZDUaqhKkEtyMr$)dZ0hIL{4D89y=O!zVzETf z2hMv&x(W^@f$jp{3%aW0bo4&!M`vJdlw_pi>3!zXkgwinKFx0LvtXm!`wU+UK}h%) zxZSexzd}e{x<~l`H6ov`tq+7MSwqGc&C|*ZBiT69Z1xrqbxHbBE-I7E4q3Fon?la2 zf&qJE3G4XGAG8B8?5fw^!PGz0qi?FCs?2(upGm&kZ%9Q&#kW`%biJw>-BxBzJ*>g_YGp=A@#dW@aqy=%Twcxu1v#1nRo@ z0){${Yi3YZ9y)rNosrYa?2be)vpb^F39M>4@+Uf#!TzQ9_w+KuNS{9@(DZXFvpo8# zy&P7#GoMZ?v+R<)YGo#P_j1&L=|IB{O4Gjugnv(%U(soVIECRtneJQ$vs}PI_4OFU zjH`Z=t9c%}$78-mh#G&0F(R8}l2Inn(G!fwVNJbn1{1kV7FzK1{4Sh06zqz=Wdzz6 zF)tm<{GP2a8icOF67*v8-L7hwYh<%+AX58_T(}m`nQ;oZ94g39EA_uX}p?yNd zHMvI4uo8KCmMJ%RNdu3qXB}ND(-reI?d^=y^EHDIm*g@n!-ZVZ0q~4^YTX-(VOe%t zn9*Zd%ICH)%NCRj%d+C;Qa$Ezies)HYZU`hkmwXG`X2H&vc%|(+yDpO9Tv%!V+?~S zW&YAfDTtBT{h}%~)YN;CH5%lLJB!<*Sf9%nx9U3Uc1^gh#w+aGl=2td$_Sr)bt@yz z$=1TrbFOTN=vMZoRodZ>sOmQy<3l9XgLBij ztG$PpkmWoE4Q1tjw-Id4{wcvK|R#kVl=b4 zkgqQ?Z-i-iME%MHFH~5YnO>-&n{WRz$0=SN&G1oEb1e7~9bHNzj*#Qzb`ZA5;qQ`_ zz1sU(6u~}p4Zy~0q>3|CIlg+2#uhjs?`{@9-O3KPoo;1#QauKHW(xGU`h`;%i5v9q z1Ma&s6j8?&6fXSnLHLbk|*jRxjGnoiozE?6T(( z$fjp}fO1=+MJ*ElbuO1s{J*Hz7jS&Bo|tkbJo0qKJC!%NOCw;M>5-0v1qa3Xr}cG8CvO} zq**S*EwjEEW@fe;K-|^veC6=*n+4FbMKg1T*@w!^&}mesS4q|FFMZ7I>KYvv6W1Oi z;3_51_up2Z)*O&of!ghiE>uC8q9Yd(YSFHXFs&M`y?zslL9eO*I?vh>k}~h&>SQji zb9k4gxD1Q)rg6Ql??X^?G2Wn^aCdQy$To~KeZ016Jj@p&3!H)|RjkD}Xlglt)DoxP za@*Bvvp+dc$ZEtH-y|#Zff|cOgL~XTjSt7D$GQnV3O`kEW&TAaZ0Wd3FH!)<-@oq2 z1u)X<&0Id=c^DTzE!2p%feu;oPq=bT0@qX_UCK#=i!yKF*{g63y3(z^neJiz&HBjylH3?8=zR$X_3jK=wDnQv7tlTF3IgS(Bx9>S(!KXh zlcL`kp&-Tp3~CP~#E^JR)I)la0x#l{iXGG^ib7%p3tgRE%^CaTssO`1x<=>U!_|a0F7e^G|Q~4IF>jAiR*~Ms`SW=jS;kQCdVRUZZjPE zZh-qs@2;{204>}S#VwFn+N(`61fF|!HSiAlH`-HoVt8UkRa5Z7)-0qO>uU9oQv^?8 zXZ48X!@7g+%IDb2iux1e)2@9^w**+_3RKY;Zsa?azuqNxb@47b~RXU$n4@?L+N2|aGA=d2yzMC zjQJi=t}uSiPwE1n%e|o?#8ly8xr=puWJbb3g23|>jxNlNLMey-{cF&*kk80atvOtB&l_FMo689B2GExf3qy(`(11MH zhU!WWy3-QbT=G`snk#4EC6KM5M^HxVa2H?DDinr_D9{VaP{mKk0zH#b+It8ZFVyc} zefR_7_DoE~S804~2Kl=>+6TRV(Y*a)28wk;#>N%gkC*Ss!>!}+Dmp!do;o8lIr(*e z@+PKWo_ajz$(ZOws#We`wGj7eO{=O!&DE&{kd2Uo3j+irH1M<8%0;y8&&-tE^K@XXr7Si;9u;znp7p>(gtSU0pa|a)V22v zl<>yAIADs^9E!kL>SbP81|#F8`RzbMhlNue-!y1GQ^D6hGrD?~(*&;f=CCIHE4znysMNA+nATw%`nm?+KnWWM`R zGA1Xa5dFFzwq2i^phij4a?TaESScO!3?~8{LC~A2u`}|bzPwY7bKoIF7HH7>2T;!P zYX;)rRWz{*Rc~Ep;7pbKo+KVnsW+A*y|Nd2{8mgBS?ldK~YlJ2nTx0lH9w0WFr>|T; zHBPY=)p;sizLg^oF!el@PFMKRB%$K8MXjiw?+DzZJUN%jwq3eK$Lcep+(cygLbC)1 z!85^x_AVVk)x>`8b6fQY<;3#DP*o5ue z2*d{oA91Bwd1-!fs>5dnQI3T)Q%${>YRY!rfKe%ylF%YZ?*e;OSC>VM6(>kN)n*&h z#Pgleyx{@+W!Jc^HP1BZp9|;ln`-DenOwtUN96HR^JEH8o`X!;GLS-!$Dn}P> zR#U`#W#ucwM;}f4^-4o@(p&#)mVgyag-0r+%>IBSz>W%-#zC%d@?jKWI6vJ034x(HV~;5A0T5((2OPw!|Hg?YkBC&e&eh+&raV&C!!Pf{EMwc>MoAj^!3tLIGsl^4nWUvD&`*ZB4 zDqidseRhe~hE!{+Rh1C)g{))QVtnu&Sq+ zOeZB|3s)U#uF!@J)1i=Sn-&ej7^7y}B!uF=#0uHn)gpPxcUXtg(i;6RnY8Q#V7jyz zks=N^WYHHpW+N!6y70efd8cZW0)2}YAMTY`WOtCJ%7;9F=3g*-sLGJUa;u45JmYe# zh~0SjOr8O+i5Eto9qgOJ_qH3U%Y6b?R+-~qt1Ng#x0x{_4Hei;$zfJN3@=?(8R$z^ zI+wQ%e@2qx@ym*Alq_KEDZKD)(kCE-kqQ}Pa?Vc-RHgs+=?fyLym!I~ zU7FG9=ZfF_x2+u!WHXjw2g-*ODo|Ps{mW2vM62BTf>qv zjS!lY$}_{cQX-B*t$aj7uU40w@P}2x zR!B*nAU-4GdZzm@p81Zbm;vLdkIpT{9#vx=s)^75cakYm&m#=NWeTN; ztnx@~DI)!k@d!7=N>m74Qc-WjbE}i?Q&#z&%^C{z1zoDW zJZA)EauRz}2hOVDnI1Jb3;OrpFd_dGNdzuq1g6Vv{1?N)3>)-F62S!-4(_6qm4GNX zjsZLX7Oc3k%B9t!OG1PrBNmEcx={HNsSu7UCK95u3WHy5XrbxyL!Fb^e$XMNVnj6u z1Hi(#Q6CD#)1z{O-a;$i8G{6y3b?h`$HZw8PxVb%r#MkI$|cd?#E9BVloAX! z1HPUly97Tgr^BknTVdahH?97hAq^2rtVEY63#A-&D|igx5cu3dBWgEk!5*qQIrcT6 z*VN7f*o06Lbb_w^&@YHX%t#M^jq~;ZB4)Iy!1Ma@3}h$4Iq@_@z#*u7Cbb@Q-aji3 zj$6sw7@+K5F1~RZtda|&C3TD^$fYJ_!H~z z=@?f`4Db4;%ZL?2yK<&G6b>&^&PjfruI1<^ry;NXypE z0WH9L&}huVP`oN=URLJ~N~zWlEq?FxB6~*iky8Z0zH~%W@5m%d8rl*4XjP7y;G|lc zOQ~ao8bMVzPVSf__Xe&+Jq4?K63vNns+z$jbi@bx61_H$aQP0@k%9-Vbf8HE_P6$Y2n zAj9K;0SWW{(oxJ|EyuL043}?QLY_%~R$LNxF1`piP59|+bB$WIyaoH!NJd8)M2PVi zVS`4m-R6W9Zu%O)767mqEogGo6Fh~z-BkPrDMIuGnEnlYw1qp)GqN1s%EdyW5>4jz zg4-+_%}x2R0lxta?fp$BL1oT}vVi6Yx4U|5%&-qzcqGtLQ*L&Z;h4wOk1XIHq|Si% z2ri9gN!;2_8<{h{m}tE?ogV)$Wp9#f$BrwD_B9HPKo+bSWq*wA!a&G-KA=k@3g-eDWPSY_3R*VV~?L*C-4BJPtju2$lNPsTYB$2EsBV6IF@;y4teL! zcQlI_^g;Jj_c^4P$ck<*?|g8=$~9qQy#I;_QWv5aJ3IRV!^#NbzA`Xon+cl7X98tc z<0+Jl8z^LI9@(t89b~u(OR4Ug1mqWS=c4~suW8*uMj~8VSpvg(5ASs0DcK_T^r>)X zSivD{<76ZtT0E+56+V#T3VQ5!A=r{$l*YFQute@oeUTmBe#?R=%2zMVG7z%62HBB| zCw6Ll=nfbpLoG{-37zS^#+yG(Bt>LJ=OcNGnq0Ceb{mGNC^~S6z%@)bt~~9s@#qA& ztU#;^ik`m)Q~Ue3^nX3o?tW2HV5?^At;tzRoC~&P5Kc2##NyzK&xpl>*ig8y@XY9> zZP&MDf+iILv1YOwkX@4?nzJ{(Mj|%4S26s_k&h*9d&jDeu z40+PJQ(e8exT{>IX_SB>MA@bh&_8RK<3kHvb#|Gc}lE;#<07(#XiB*ea;TIFqE2(ePnG10wz-cLFdFU8>&r!Of&l5+O=&oR;R9Aj1@HhNZ^o3Z!3316zqPrze z!|YERtsZv@)o64N5#AX>44IrQ)3_(g3{WZZd0Gf=(v)yH!{R^pSc0iF6Pm7g3lmIU zvH~ebvs~iR2EWE3o=Nj9&Mi|=cTBj-bUcRX6|N_M)JLhxInQoV*Y~KlWegkA3Bkuw zy`oxHuu!p`Y{5WGHwA1J5WaWOf^ZCJRQ2Ff9ucPls(|M+8N>=0iP1Epp4JfCI(4EZ z^7N7w^*kC?cp9;^bd%BMb4&-Fg!9qqlTh~RG1E;jp6?Q89oEkA0c)|Yo)QCiL?bt< zoi8J{^%)o?m&f{oMwkh1EciqTLSpUK?*3)hbMSX#8m1xw7^$3eQ^BnnP^%fiu1TJT zdbiNIak|_~%0*oJPzXsS%nK6*gs?QG<fz?in86Xq6 zSC8DBL~?7i%cnx+wUwXOjrhQp?G6dV!Ds=2lXr`JiNgp4(Enuj#A!T`4w37pIB34;WoX>8q(55qp(!p%Wb+A@tAS&XMe8Qnb2S3!q{{}xq5)RlAZ~WXfAhvOVFb74u{&#RkA=F#S3O{#z0R+622}? zocZW|>>kbayGA@ay`Ayj9-*n|6SPdkk)!>K0rD?ubn2s#8+bc-&<^G+&)m#~-|2h+ zq$!*~^pFMwY6h_ntVkRJ7dUgn*icy6d~^G zoE2G@C@_IFGPg(AsWmFeA@7Gk6c8n_D3Hx9Go&B6N0LrzWP_jV}89-zmS zLbDhG>7MwK0|Ur>seXyC^P3YS_{2thYjA{w*F3U?S+guVB6t>X9OdIba;L(V4aKt+N1gK#&dm-tW<<=&M2xKtGcAo?-^Ek?s*{g+;c6<^%;?!yMC`c-X z!`dquLpZXwB0MS&hHm+YsLYSVzN_n!m3qt9vS#pv+-1K+iq(j`(@f!nJ)|N%6^1zLBERho%55+~5v70_5s0@Q?_EzZ1!l-v6?j+? zlK#=G{`!#~qG!0&^wCULeEKYvuac~2cRt?!pNKQ&F&fVLhkh$x!4&?*_$SLcns6P6 z7S(AXj|;96wpH{DjFIphR!k8>{`50v$<@*#-7uo}Gl0F(f_}Sp-YcRi$&Lc+Sm~tO zWsFZYn9miKf%EgBIutyo2V@pV0$Yld#ye!yvB`l!xgGI4#t*zCa|uoIAwHzX&h$#go4h2W3{u zcxvahGKVUxGhjtICZfgms!){kfnWgbtb9xY$GNIw9>Mmc+3pHdx4f0>o0`deU_J3n z0vfLv=Ot=$&Tu&u`bKAL6UaXS<=i}}V;V1)g5>Jc=@+QBBKhV1SOc>%S%KLeT$<=J zg1OiMA7#>W=XS|Qv1|wtp>zzK1BrR9Lha!g>5*;?2tYZ~tMcY-Qx+8p5%xpV+b}S{)zR5Dsx@4zOk7Qnpj9 z@m&#i$)JT3_Kqy>d{bUngR!&2y9`8*?xB_2^5+*33yK!&jC%M9Nf_Fd`>6N8CMg;d zxJnpb zmPLRc0v%PlG4Q+14uB&+ojOW|IX@c6Q zM8Rz*KeoLBF+CJhZ(C)mKr2j~+!oOnd1Bg;iJ}lIMzmPA>b84pnfhq2V5r!#cgZn; z*hm-Rb;f zb$WtXA*zQ0cPW|y4e{6K`({FUzzJkrR%gnC4xiiyr^OOw0BhpC4q}8o%UR7mp8O#E zB5%7={ApYAd5Wll7=64ISR7tw$wJ1KdM+9vbUb;GgnTCR`-I&mWa-W$PS7PL*5YB7 zFVPvY17D3bW7=V}b%Wf!Ugz14_cCYICZp$W0SbrOD4F#=#p;nIEGZ@hB|V$iG4KUAz@w^PetMb2QZnAv?o?U zV2}Bpk0|)JkG$mP07xulnfaQwj|Tx3CqbJVhyQ2oSWDpoEX2kQ*v`j{>U455z#WUp zG#~|pK1#kIBb?SJl0LoyxX9#|t=CZKRbx&+ z_A|pP$)S!?5eV&fMTxK`;xU85<$$|a@(wkZRa`;Q<4Ox__yDP11})6DS0{0d_;U!- z#w8331I*eFwqt>cCd<@ZyV(hhEXG0ksfWa8t8&|si&5jLf#3P&no@C*zjqXpgr}!f zM2UZx$K0Kz3EQBid%LJ!Lds8+dcQRA4B?st(#Ta?GxI%5KQ$eWnTD=1Evf0|L$=9^ zxB)70bz2dDj+xdo@SnhXpn>9<&ceB6*+Mkkx=MC| zv7BIAUY|!tpnWq<-G!d`(mHSeb)njP-F_o5=XUnBx&^L(_QHz5q6@dhDYb9<{c8AG zyH46iUY_{3hOGGkQGinnzld+svy4IblU?EpHH(Zrs(6bPMA-oRY-*S|74oz3l`T+Sh5%Ggt zC1_1vvK1J;B$ks~ez=$)jmoMv?`qwZ3tNlBa&y(9tn)uE zS*55L`$!EjR73t~ehdUW9GI_}OCKvmRSm@+*l2+2kW-Ly05p!K6M9HemuUtC9y7hf zwJ6b!_=J9uEp+^BJpxUh2LXrbLBxT(isDBBnx<+cZQD6uncq{+{%G--)`$`dWRIhk0(xMCbaMYofc$pWKXX0GoQ(u5lK80Q60r86-0==N(rT97a>@1WV|FW z5maVWR|IT`d2jWZ2W~a$~$b;@wA~4@OR&#KYI|V6qzJ{IGDLU z;;4Zrc6G*lQ8CFLfSVE^k{&cdkLsNDu%yIB)&m6oghAW`dhlok1w4pA*WgH74z*h* z%<&N!np?z2bK=)XR<+<496l?ORt?k<#g0&bm&f}}re$?2UVO$M;kzMbd+I9!Lm?BEjfGHz-%UmUR%<6Rr*6YvBf^(`GAl zzQ`tCQ|1vy2kp~>n?YWo314{K!%=|dqL4f|zyxosdpCUih*u|RMV5iGs_U8aV_-DLNynreexqtX;YQFdb`L$ID@=Or7^khPaH@qvxcts~jQi zfzo=z(a{5?wMBp2T+8MA2LNF}p1;ONf6cPfmMX9Pp__u_NJKC(>rf}aRU@a+jJd(o z^uFc?QtfO4;z5J6WZ^YG(aCE& zo!Qol={4Va`+r?JsjmPK%IWq8tA);frhQ=K+Xu5(Ag};T;IQ{{#WJ7Uc0w%B9gGp5 z7V-jt^1V`48qv5ASz1pL&@#+gO~l{RziFDvb!h{~A(qaWc<>pPMc=mLrmeQE$q$(! zj5un{0CVSpK2@?=)me0O<}ZTwWkz&_S%S=LaSQt@c-SW9@yN;|2&@9`s^z24Ae#{z z#@9bS3+N3JqCJ(-_Xp@a#a;}XBwkO(j8YX4_pZ?bP`YJUAjHBj_zDAH^P+^`Dc#B% zR1wl4++}U21APF^I$AI5Yev;|#ODRWYTTiwLu^xZNb<2~xEX=ZrJ+Jlve4(eCnB_f z=?9Nde%kriF$s7o%ds2bKAGK;L`D#|^Fst)!WR@CQr3YKGkk=m>N~QE6)=cy@L2}? zgFp-8aT}}r?Gy2{#c^e*T34vT&oM?3Xx-P6jNX#CY-}Sqzr|!-^&UKA25wzyKVCGt6^H zQ!}c6pS3CAwV5;m19tyROwN#7WAvCX;pV_sRDQ2p1Y_w?k)gkb#P9z`UV`6*0gkZA zA3TpoLqG_44(j^2Pxb1VDaC})6r&i2cE%$=&bUeqb94L85r#k3BCG>(a_^B|hqsG^ z8%balZDLzs#eh6s#1tcyx7u z9fFqO2HMOd>)ULf9o2dN+hT*;^>nI;EB>(Zqf*O+GO0Y*E2M(rjG{w$47h>@;Dpmc zHSS5GTU4C!edNA)RJITC9r{p;YF51>r=bk*Eow>7bC6}1U$Hoz76M4{n(rklGZ;TO z8dm3H7QA9CEW!;W-W0mS1;P+i>Wb5_m{X@JNa_d?@pQfhTXYiz;Z?;KtWp+V z?3~x(BJF#XfiNFlX8B7aBBj)T=R|JT)Cf|D8k&5cM`bFjDaH}$GUM<22+R4XVk%@E z23;6;t5_0bowh59r=}5Ns=xf2ON99(ENuA>LE~7>Z!2pTviV+_LobFBc}MKJdlfaU z3bQh#7ZtU~FP)jh=7wt2m_o40=^ftPTrk1M!xGs={4t~=-l`u;J{iI(1Pd6)^M-QrM+o(S)<0+{{_;;0g{U&wI6~szrpr zGKz<*8idY%s?Vn*r>S)G+^W06YFUpeMJup9c{e|rS0%<7c^hZoET=j@;X6i^ z;8&4b7C@Y;q7&fMsFw^`%ubbnDveD#@uxhMkl`JHOeVkQNr$#9*3&|!5U+_f;gXkP zKB*~OO(4^)z>H?z0^T!XO{*Si2?qW|jTlx~ZgOtmFj`3~HIpd4uKp{)az!OdO_6t6 zkfTNm1{`Z^iN>x3?Q31~y+DJn&m!ip=-Rn{yU2OS8sD@MqQw^GH}9Epje@$D28#p> ztq;|N0REmchH>zwB3QfydC-+@hlgN-NKp)wRndWc&cHdlVhbC@a(^z_%|QBY95l33 zisJ_uRRZw|amj+_Q}peyI$18emy}fwn|*dCjjB!?HL+L3wJI81dP{;-cI3g;=N>j3?^RC%~4q? zlrb5s-@UT>sPbl(lOv++Fbg8NI_66sR$JX=RmJENb)H!Bw!c^1r>K-08r8*ZF6)G` z-j%b4!f7g8`55uFOooDjzI5X;6_-VWC+px1l|OG{b80+YB7Ce(naFKU*)-lKH>lYVDu2yX&d}uyX z)e;PJ9Y-mG$HdaHa&Q&+8rA>2+*WN~sP`xDMg>Xzmc~Ow6!EF4#b0kIsQ_{%1TdUy zwXohH9%AwbTh-;Jh=YzieZ)%5dU&}ZFB&F8t*Rlfid-D@Kq0>x)~=x(8dST-rU8Dl zE#5xtZKPBmA?jNf|9z@1bF;~_RZ!4Xs!3}&o&L;mJdXzBoJNsRbu1V?gzfX1(e)Rs z5#+tcajnY_j0ZY$w=4f>l>A&>jMue-FgsOaCc;Y4bYq*?T{!PKMWkF}t{9z)$3?f-FBOvMTAjO! zZ?n)0K{Q7eG5OInm;YXAB#bVZW?pGoepkh;3H>h`4&;Oa-Od=_tPZ>YVDXTTk6V0$#Xp}Tmcs#>|Rj@*gb`_!fN0z-Tu&SjaDqd9q zl+N6%W&EN#5D_iPuRziAh=Y~!?ceV4aMnaw zEi7F^t$ARUSBJA5BbOyy-Y^ors9=plAX}%F%H$KpbmkC0GA?1VTH7JGhTMv@LAD zRZlNb#gJ@{$h!rs0bjr-g?cT>gg8~1insU|Y|jqq;ALo(40*twfUnIg-mS<7)&r(5 zXNxV0b;RLeQhw|prq?EX0G1Me;rz1N6f?x?%PXX;qk@bvX*MHPxCghwD#~CkF{7od z1%j#b+2S$t^+V$c(_Lv+@6~z2Hgl0GTSK;lA!TmRgilu&+K#;o!+iRKO_>ZuI659A zvFqT2l_TRC!`0WKMV!iY)~-P!SKhR~Of6W&R#=OmJ4{WUl10}Qb=+zxriC2>e-?9= z)+yL)%G>m|m6XE82s^#mqf>aZbL>&tbFhjXna5MDQBtV8Agg4J;E6fdfs2wg^}MEq zRmGT^OtSL29eMc77G!R!H>G8epS+9ELYi$ixLAt0S{bLKS+2I>-sc=f_l-12;Q181 zm50wqg+j?v@C?dT;nvp+i)y}rH;t>S4jhbRVG>{R@G=q_C9HG3o#GRKr-Q3`T`B+O z*9fH5BwsGSPc_o&(RwG+KhjbkvAaCk(M(>P-^2V7@T1nEuzj#pXi(6v1*hERsG%b} z3TmaS(gpf~G*vEGZ){O6D_94UZzC7!6(zgz>VgNUXeQ-C5q8rh#-g4IxXbb-mlFG{ zYafQJC6+c@wopu_vxKl#2`=%c_*Jd4*<22SrVEiiOXgFE%~f>bOvC~xI;~W5S`Qti zv4HZXBjCRw2Ws+Y7(wGAtkQ7BSCG%7s}5&8CTlp!HOi&GC!cSMHI@}C00CWk3%q0# z@(lN*&#Xn3BoDXde`5<^Zn3-qI{ZpzEyNz&c+k-NHNyl>ZB;BCT`WhmL?1mf{;f@n z_y?B<&CGIJYN2?bV9-Y{u}7z-ay;WHSRV<;7M;+d+a#sw5d*a@=+; z%H%KFa(3|~xu4j7;SIw?+L5o(wI6S}3vfbXBz8wiBs8QMxmw_%P?Mb}G}n{aHC*1E zDK)&Q&j4M%-Id!^Co`{}8!i#EI_I)CSk(LazCa2Uv8ftnKLjgwjjJ!7yWz3ycDz)D zozIvU^0V|6BY)(Wk?WwlcUjm8BF!g>b_2}!{C(&xm(P3(59@X^HHX8oE9d|4p?j&X zq*0kIrovVNTr?HroUm-T@b4c-6J$#8yLK}bsUzS&Ya5{spxu$1%iyGDy!LRY zVgpeoORpwqP#_5T@?FRRcs?t+E4?hO_sE^KsQe3QiZVRL@^Y##uZY5HF2>gpxiV^! zTOy3Xpc1$janGexM94O%TsN$HE;AUpL<0)L(GgKHcsls#0yIr*JQbMBE}194w`y#+ z^zOqKh9E??7_5rZ?9dFcxwcCxG?)-vu9-g4`ADKN4MsA=oK#IwH&EPT2=&gBBiyf5 z_8k2HDMz+nYNl9Q5zXmdR)zykA)ybHZV`W#tCM_iaN)d72KU$bLcww7kmD$`(z4fyH{_&HOZ&CGyumLw*M*ibE!`>JoW>d&CY9GJY}i;j_ik zGYz@bk>So&GJIVP)fT2w=NMmjGTU985X%Nb9C0L`%?skLi7#q^yV8OtBY!YxUFsO(YHZOn%OF5=|NQ^e7 z6Q-!R-+TYP{W8lqMnH;B7#~(3FAgi*aw&+RQcDbmzWqKqAQGvg1RXo9$|Izi-oU4< z5%qBJPAU{8PbUEdT`Lb`Oh|2=Gv(jL(CpI!&g)9N6kr6Ex!fu?q52(-F=nN}0cQX| z=0){5^7Hzgcq ze+a)|+~JKa4tR{J)L_KXr6JfDE_YbcyE`vQ)+%JVJD$jy*`6z`8lz|Aie_%2BddOu zx;!+rTDPmc!3zXSd;2)|EVD4xZFB2Ud;sz=!4D(aDGKy^DY~0SxpFgRIP6;l2D6OU^F1O<&2_ zZVAY#Gv(ie=+FSj7RUd^B-9u#PjH9T?F_D>tOd$OAaL)#p0fdh@9)gdE)@s80=9}_w0uNu) z@)K7;>N`Cn0Awi+!nb8tNV7Sb+9TiyQ;OmGcy&tYxm~_$$OC*gl+mbEy1&iH5b|#V z6@^NT7R-)?NVrglovYUGAD3e4&%+`yGb|sYENGEX5gLhk(&cO+bh1n4Xi7OUJ#P(9 zL9b7-T~va6f^lS-tUUN+i{XM-M(DkoVt6T$kmB2Llj%Nby$V&4ijzx<{FYhxkxM5n ziNF<3jp#uF3$Es)gsA0SS$_Vzw-=hg-$XmPQWG%5q2uLvyv9Y5t2YgiDL5JO8>==H zE~^BZ>j{~x)>ps~w}|IigQ~}t5}Kw>h`23BUb$^@G-YsP4-=_J3n9zt4%z}}s=im6 z_OOSBx{`=r81qB0cesDB6v+Gu#0BePEGig)U#?I)90p#7(Tx_I0ZZwI)a+O+I2Em_ ztcKgKYaZEQ-b)kfNzwU{{@vwh_Q<^1WstB_N58&lh|I!@g<}dn^5Q*}CR8F1-yp>J zyD9nT+3cds@we0c>OBOtY))qy|$j9{RP*!iAl<{Oq0b?;l#S-mAs__1Jq) zJh-9BS=fmd?<;RTlK>xm5qk3xM89N3)SzLGsOW;fsHk?|W0rmWh?RA!$lezpYq~rX z!{4t!b6vdVTtQTiios18UsG(&O)jO_K(dTIG_J)=vo_pAVL2VyUXM%jK00d@Gjem? z+i?snu`=#v4`BJ3pKB=z=3o3=Go z`*zGA{m9SI6N80=C-=o{AuKerj{qo0IYUjC-$z8=nz5jvF;;LX?Ix-tR*?n$JQXX`htrGMF6*o6BXlz< ziNgg$@Ng;S77z;6cB7}lRe)%vR3CC*2Ly~#jlW~Jhuho6WSkCL#yyv+4daIFG&q7x zf5O0;>XW1l=i#dyjA(&cI<6AM7)O7d2op#aB%W?jW{9@NxNH+`Lhdew)MPRs!xN5# zY_ZI10n+D0G98n;&tE|xigl=V2c$sOLgE}R&6e?tMlZ-|A^K8Mkahv~bj5TacO$`T zI=#F0eX?(2^z_I1J%i`~$c(gD{w*-8slC~v3Br@H@Mf2Ec3rdCV#^#dF&Frp@cJ~N zLuh8}U@U4J*8gF2C;YUPCz&HRv#LQui?T&NByZAGx z$`&rk%KKn64uiHw$}W3ia#wnVisc{&_ywyW`puPzOEjm?$YUG*ylb9?E3;9H7{U~o zz)9iJS=cB+rR-)KX@;*ttarp6dy^BWN2TT{zd$T*n|`itEbegCWoU@a^);GtvLVkz z)`sS7LhI6+>D`#u?ZORa-sK=v;RWC66FCPJ?=To**2j<$fe_IkK{_pT z??uCzPt#}o`2LP9KwkA*tYHWwcv{SJ1%x+JE;*)B!@qKi2M8ZHmf<~NPW z;|aFjf!k2Z+mOy-H^oS2TV6C*=V8Fw*sh9DO-;bt$eT92J_Fta!ydNA@{3}pNjXa7 z9Zmn`XsH+w2T!cHh0MwWQs2LV`hgB~M06@mzA8!mw8U?Y_n5AQBaYpSB+nIt5YgtA z3a$aJc0;f4CEH`3V<2PjLum%rd1W|=1#Zr21(UdJtSZPZLtGIJ#o=`t5cK?u6VX44 zhb>y!mkFydFL}~(*p($*bX>6au&cBJ4|7HK8lkF7VGLSp<;a?2D(xFBgw2fO;3e9t z9pLpWZ_7)VPm}gQk6?WD;t+Bp^i0=~#tuSkic=T>aa(#@&GJ#z%N>CZOlXqPgewRL z5%NiB3XOc=Uzf%Q*KRnY@iUMgA5CKcD!<%&sw7{zDqDld+()MSe2Jk3a@3Nt(cX+6 z^$AT$DYU7VK)aCz71gF{GpcW$e4(X~=Q7VBb{C!lds>QIS<#&}j5-CYb8vxwPLIJr zL392G0TVCf2;|zY3=I!~%Xv>-NUv#BJkoDgO@6@?tN;AzYmtof3Lzka5ndH$%2^t{&6%S$RHYcYf%!frlF!|g>OCy%*W8QCSDdM zs8##Yb|4p<(i!g-^1cy!aKtxUA(sYyBy1Z)xhz9sMU(*V34c?`=^APLsWI5B37*%d z=oJZnD=X#SOy(G7*i(z{p77q-6c;AXhhnr%jFZ?spZA;#y3RSY&xzZM%@-)EWwsJH z*_y*E*u8m7IP&x}9nH`WXjJxQFxo2sM~ky&;JUJbVvhX%a021eZri45$LQk0t1SW% zvJCl7Slli9OxErejsqjT=ILji^pY>(mA$3^v3X?&z^{gesD~1mBk;p`N#Q0!rkjBqiB(y zn>nhl4rN5zJK`wcg@ zO@6kfD`=Qx!aEXChK4(L!@50~?I)N0Y`p>KOrOt`vx;SA9g|$IbD>_(lVr3UUT!M^BILXaDq>{1p`Ji?(^x9 zaGx5l9Ict+LQGBEL)x3N7r*^pEtoUTQYgasVUKM!;p-n-X;wo}%OLua@Of>?$%I!K^#KX?}LIr52%LX?PmV-y3d{cgO+J zm9QD*cD|?)jgh>ZHA*}drpw%-;oqszGE6TY(`n`7Oz3t^o(O=ox#4nYgh)bFr{8x+ z!D|b~_3lG9lE-+$5v>gIX;tSJCahSNQ!gqmMGIy*fRuZEmla;B-9~(k%AL0+K1XPR zJDAs5qPBXSDE^8)gm@E@%ctm**XUP+t%Cw~6*|K0$T={YaO71LuGg`YfiOH*l?y7K zb2!_4ly8Y;!xOL$rJ@am&>$0}G9SkwM)Go0TS(Eupmei=C+|&7C={q}T+xcav?)hD zzv5QFhz?52ze$BtT;WSCmf#nx07j8(TNcfN<~3>g5|PT|x1#IrlG~%VIGX7@1oVc7 z?P+|`j0~@7k5@IGAGPb6;wL;`ro4mT;?ne>A*u@Lkj-bx5(!zqh$5zH5ko-RB#Dj8 zk?+qpx9wBeUu3Nz2uV=fy6i8k2{T*O!~4;>Xc_chwyAZ3A?RTKf;va#A{CdWR~k?> z#>blQcS8Y~5L=LUhvLyJMhzO)fn0)Wy_s@rKBpDbNx88A{162wA9GciZmE|PX;&z| zmYSvSxm@MyH6_N<^2Z`XBN>FIt10bb5-!Xh{zfM1Qph>TbfkHYiStE}gviyh>cw_B z-=`??Ym4iyyOI}y6U?=htR8RuY9Lmfs9JVp`c&1P?vv+XPa05H)x;hvYxty77Y*Po zZ5by=XL7BS{bEvkQxW|`Eg>hRU<8RHopwC5{IdRCt~!J)&c3`$9|pFKQ>r#MVJ zkP0VckFdYYS~h~Lt^^En$UnwY)MF3$BZ38{7o;4pxufyB4-p%2dw=%Ht0_ruHw>>j zd*Lt(I%WkufcD=Nqy17=xKB&1vX7OWtZRt>DN|cRQ&kZiS5aZeqWI8o1j*aXZ>Gl3 zM^)3ACOTMU6Jtgr4X!)87{&(V_sGA=gQS({w9uhg{778#hwkdQ)vQXntx16}JtK=& zAZdoPvzbXfZIKoc^j320w3L4{%|rZG(ZZgPVvo6rsMv#VkgQcxGYWe!gf=PWieqYQ zOIe%ISl=2D*M-N1g_5!y82W)UQ%Bk9)S=S6bC{B=JgzidT_%UdI^#UvuAbPHCC60! z{o`nc6SuZ-DPV5IQEi$L=sln8;dVrpb#5*SL-1rsdbuMT4|r*albiZaIkd|jHM&e0JFRAaiN_otmlBScmC;1MmXVsB(YE(I4m8JHrC zuK2O55bB6osA5;FaV#&flL~Vf50@<-J_=;L)niVWbS88&SME&zV>X;fUN{W9YZPpK zg@|~EtZNi=uBpW~$7DBU(-r~CPGhj|HBy2xk%4TbX%*cLbeEPLO&G(0~wT|oc^8xSigUAl8yR<3|u<$L*LhCQhK=j*&v zW5X=#z(jhQs|EHnyonA_vc=lU#1xz)S;(&a^2wAd2}<0)J5zGO73b9nA&W;9N9B%? z*BI<^N&*(?cbjPdA}mi5G!u6;eJWg2F7A*^EV8LF(NYtSKWn`>$PfAW5%i2A03qMe zRINC9SdQGE_(f>2JT?VR+Zy&7$e(FZ?Ky$31|&~KP9Xgh3MKLmt}EA7uVtyGuG}Y` z&nPU8e9L@hIT)LWSy-=t_1Hw_!AcHY+4Ld@eDbLt)9%@{fiG**+Tty$V2dQc)BXqt z;Uj`O_>t*QGyxuuu2qgkQRuzl!@Mjw5IlpQM9GuNpZRlXDi6`3IEn;zvAN$G#t=%^ zNn^fxJty1r8Rc}~XBH=hSQUyL40DOyC&XzZHWgjzv&F^$2<6G4BszG)bW6CcUx(na z1CjV))QsR9dB;gKHRfq{E)C=Be2F0>qGjDwMLBP59cJ$HYPA@uO%q066nz2v*81c%h~NzhadU zFI)h8FYyp$N+ZUBxMCI71oC5F&d5i4zqOD@hQ1uK&`dj+lB}|fM9&(_g=E4uQ7HN08WMD6jJ zwK=e><4(xhehHhnS`bMWZp!wgYxJqX4$CQAXE(34gRVa{E2F~IJUf8*{B45vFO5Q%U3qL{W~5%lSrQ~$yQu=q@`il*S7^S+ zvD?)`lPm=s82|MjO(I&QKKrtQ5^JiPKjgYU)?2xuR8Ht?2do5 z$u_al(mQINbr$Ly*TRz}y|E}nkn;7K@C47T7El%tdNSjpyuL-Wc*W6gGRP`Ye?|&- zuvam5;fUmy!sELnL8QKPwT6pob?o7B7Iw<=`~UuNYe?mWYmy4lng7vWPgdrrc9}m0 z9v1V@AxVC=Lpu0mN$KL;&&O#HfJba4+S|w^;gv)!!H#LZrUz7GhQ$B+SegTZV=Nh3 ze^LRTE|C&1_j#P56-8~oOk*A?6GNw&Y@p4EhwS!E4Ae?!>Ivjd-BG+vF08Q+HJB-B zw?Ght+E|X`kd8m;yF)sL4(W6cRxv>25uMdzb-=d6;(Ir6Xb0*3BdhTbvl^RY&W!gj zb4FrVO)|$sWs~B7h*ys%0eLu?cDGq#31K0gM@JyCh7A3}fUG5VLU$S%0vI%6pCK3Q zGU)Fa(Ov6MEi_aAG*dBfBfsRhM`#oWR66N6^bX6Zw@-R5eVjWj9)=tr<(>ZBcmL~h zc?pM{+7ACHY+jYBXTW+8eBsF2lq=Gl6UrsuT=hKlIYkJuN-Bg!Z+Q$9g!RZi)Lj}n zGU;W}zQoRtX!=Zq6p6$IEp)hjR^_15H{_f+94luyWrX8aj)u-_!$w*!-YAo0F(}NU zh0$`sMFmWQxgtHV1HmxERj>@;?uLLmHOOW3G(UM-n@aNj`lcb5M^o+!z74%D%V76u zx7z>wNaF6vy43i7DjUdG-^p{P6LL7DLN&RI+mVtM)Zft$@>A?+g1<0w!~?6#}8+Xs_BOje$2^Gny#-O?E;n=J5fG|NBcyrY zN#)WyS4=L0zdke9&6svW4v;?@Lg3a=G8mZk%FoB39LMrKzrMz05yB1Cn0JqF4^J`W)g7Gm4)A<>_)Ic zh_canucK+{Nx3s%_xs1uIQHJmWHS_@=K4#sG|Rtqp$)S|f6}z&?)KNv`0or)pSN-0 zJbY{oqZTX^s!(Q^c4vW6t>06bKrxK=3Q@y|T@Zh_zYXgSjwRiBBS?&EQIJ9P&dnaz zXA=3zaeri6nyIn-r<=ez$Q%$Hcn-OPg8`fhX?b@8gTHBbs`Ib(=Ht3*RdK#5M(q$E zCkFg4H{Vj7zxImq{LhbqWIAlM)_fgJlJS;q;){Q3fWwt$*?j${=KPAWviCn}&aZ%& zM5p~jGltHP_?6Hz-!*v0F_bw2jXv;j$@H>yxEsv&`G`d&8YTYzJnhTR8h=N?<}>jI zvJm@6oE#=`$4`4ee?Fh^dIrFc>dT)Xv%NU(99J~Ce&%NJOuKH` zl^}K9Qq|S@lJIdAgq!x(B|lq!ahNCM&o!K^k}aGK%qx64uC#gI(Zl7s<6i^l>#uqK zKCHCKU3WFc0$YtP6YnJmkE7DB=O)_wj(= zU*Y>KZ_NbBVYI6!P=UyOCyqmuj^O;)Wom;4}ZsX z1ehRNwpAW$E50s8=Lh?`e)CU_fAk;ExpMlAemps$DGo`crip90bX7$fP3)0y56}bA zqP9!vit3yea2fIfm<%EM4rp%$-BMpi23g!CDu#ip1Cu-KWW)VApe*BhI@;eYp78yA ztT(&?=VBtzpaEJJ8g4Ln#|pQJB8spVIQ>RsMM5LLiy-ZVG-nhsmP>p6fnEh(X-mOI z=|Xy+e%@SLZds1M|M?NKv&(Jw=P2^qSP`EFwMy_5(edUCy*>?M4C8Lm>G#fW6Y}{u zsnJt>T^fI%ltmN3du+M6V1UzSWgnE_{d~?cPm6djA*51Vu7mkMbgbc1T>~{W*%_gU z-q@-Um+!g-M7(-qi)7%m=v)@FH$pzWk(wB*sc>hc?9sZLU4$NsDC|?$Jz6&ta8Cny z$#Sqd%zX`3Bym0O8LV4GZ8=!QjeCt%Q<~>kU9WwL9<1Luq` zjezVHn*9$~fpKZRj>epqU*}i<)a0-3Yl~FszP2>iwYMU!_m%#siC<}8ky-sb_jbj~ z^W331PZ_`Zr{;d{)a7&Mwez`ClTVqy`lseR_kZ62M-da)1WPuZBS$kd8B`d#FO#a9s}j?kv~`1gvDipSJ@f^mB?C(^Jz}ENKJmc zP{bpGTfWUpe!dOc&n1@1nq-TmbmQ~!j>bKivU@t^{1!~KNd@N0xIW(B^A9WJz)wE! zgjYwD`_IuJ*Nkbua1$~(Va))NX_l1#_2X!G^i6S+j_HWS*A%0~EH(waE~Rhk+ExMmokXB{wU*tNF!IYaYxX*AP5nyGAnqnX{d zva7Nj4IV{BTvLNRZh!tY&1>9g!c$xBxjid$4YNU2TKgFtN2AekWWkw_JWVi!OTr=w z&0JzdJF=)IuV19b*G$>>OgSIh*+BW+NW!Z3@;nX8$QA&QqQxTcJjF4!>xW`6p0DnG zZ72_OUk?C@uwG0pnbu&v^+tASmg3VGSu}xSgdweM*K3ge&yS5`5Y~mQ#Qi@%HV(kN zQzJa~>&HfcTfFfSgVr9`2KDxz+u`JpfB)EB8IGa(x-^=YAI(;3{D0Equdt?!b!$*D zp_g;-C3wx;!j|qSJmy?+KHpW~lVR%3&ouyKeQ(WL;&hn+5)$n(}~col6F+WJ{wOq7#ZKSL)~2F#Y+E0F8aFzvC?+;|IV~UkzYS z>mgAkgAf$(HhH26vALY6`IeJldd-8f1^iVezBsg?XUBl|DhR6yiS*9iY)DOmCt|Vdi3e^!sAb_ zPajSD^?Ymb>5dft^&=JBg+tO7ol?Hm19a&1Ru2m*Tr%8`-+mApU(jOQEyVM@pUxbUOw0StgV-*o1Psj9_wns2R}RQ z(P-B@vR0BK$G#bzm($^|3G;8P1r>ZKpYHG~{^w|3QH2yBe~QdbPKm;F;E${-^cadP z2&!SV@CyK}uy_ofy;JTA5aJisEP?O}oF3>7(|ntsr} z0G2N0p_-leg*8B-!C%YX!@4OKw|e)}6D%c0mq%sgl~3D0yunbF zn#uDz_<98b*9XR8o$QX05C?K8W~ujj}kw4jRh|7`2n}ImlKgoA=2`rQL#&E zu&w{3X$pT49a*@GGTjRhUI;T;=0`1D7NbRsys3yBPTkxNw@GJj3t|?9Q?bp#{@9Uc9>*%ic7jECy)_C%3B~48Xl8|Ezg&bB}bYEzq zdoTGOl^Ce24|_#oq#ljU$&~dNM~+un#wLem^}mlX%dFMeqAFYz-Ia0<*3g{6ni_wW zxMqB|xa;}!@m!~cp8Sl~qv7aD(Sz&AG5m0omq7+;=35mq2r&-e@q?q$B~#WNj~EXP z4RFSx!5#KB<364F5T=!H^%!j${StBx*U+5dnwsc;T{2IZzUOsP^;4Y|e!6qQPK{5y zDQg%VIR>BmE)>zVNB%xCxvVlf=v4;OABx!dBI^RKSOg$Prow#W8im$?fBhF)0M;f( z`bl5C(gc8}c$D5};)fhMTMSrWZX04^H5g{ zK6S|FJ^L#zha)fMj~sbNV2^#*QuA%j(H4hQ%uovX1OHetNqRQv<|&B(zuy#Kg-XT8 zq-q@QRX)~~kwnsD`&qNZ^-&N&VU(#b>*jL@9vVWXd5`3os|DhWg)%qT?~l!+IiM@Z z)Ho|jMbhT!j)H_=q+D&!vXGDE9GWI}jn5U-p;ca(0^AZyAV-nYQdmBklS-tIrIO`A zgJVd8Aw4)N7!OqaiH}?fkSt6ddpX(!ema`R)`4Z#4V#xdB65m+CQw_)B;moMrTlN7 z3btsE1xUzG{kNvg$RSS+(j@5=K-jb9%s?!8u4`r?_`I(_!y{wqUq4b-LVAcXZ9~kL z!o|v&>E%Ir-*(HL%jEe*YJAC%q8@M$edEvMg@~1Z&$w00apFvtRiEB@BMUh!6IFm@9 z8j7y!1#vxoo!Rn^A)jZuTJWhu{@0JA5j$$iP1&?Z9&{x0nu`il1NfTxeSFvJ8~eGg z7JTxM|MlZ&JWf*fI7)fDx>xjHXrg~F`PpJNaax$Fb5fBInhaa1>VAY=T z@L*pmok7BnG27x$O{Vc~&8uq=Mg)&e(ee&bba;iJF^U2-UtJN=O8nJlxBD3Aq6sRb z=B+6c_TA}ivF0l^h{V_|4b2n*V<9u+ad8$FhWK_iMxlpR?iOGiypQv#(eXOOIDMy_ z=W{TM?sFn4T4-;X+vEL<(8M(@$1OuVPfdEj>!}-q0N07W^(p6Yv|yIAqgeaMYnd-7 zGN8D{W%5B1crUOZ4|eLIeUVfzt3#uFnDui%;w$73-wSQ#Xm z_&LG5QUzO+W~?1HOK2vG9uxqI+co?K*;nolIV$Qm-Yt-;e-FRZXe@*nLnY-LOaP$H z%Mq_)2V;jI`JK$FQ9Kaj+(EdIO`o4T>5|1oF4)1w!di* zQn#ES7p~10$c-2-`?m+RE&w>VK0%i9C=71pn>dJy8ZRoiP zVA9`T4+xDi?+2r1U9a<*3$wf$xsws?KdBjrI0F8R`)xvI8}Ewmr+%Q5o?5OIML|1?-0L?Gqrmke0F(3936%1_Wd&gqHdD)=Fhk0-qV zrLax|KjCl~`0sZRP?W?8oTLbx|G6}a;HQ*1N&6*doEDncB#4&;JH$>I2X^p0tg8jq zEjz<`Qnu`PDV-tIz>gMiRcp4&q{lTQ$Q^e*Ve)vctHqSX5#jx#vD-K0Auwsm(;U9= znWXqd5ho7}f=x=rk7jae4IjTZ3;Hqs!&uF3G^Zeof%l^++`7!!ODByXIW({~IWSYk ziy^Q6wD>xjDxPvYN8$Q&DUgG(QbTtgwpbUBri^*wIMcMEx%59fb=pm+i~iHfS|{W%&O z9h#WkNV73b5mAMxAiR~VoFx6^QBIY0y7}J6qbjo4RXQ`Xs?8;`^YL|c;xLdzRDY(7bplGTkj<|RpU56K%I;( z9v3+IcTuHaoDT5`|NUbxC6Kbk=R@q}@?y9~!=kZS?|7%?1%>W2QvUZ3XvoO=Rs#*+ zLKF5V_NzRz(CpWw(Vy7>r|*7ryo{rNu_2mb9x$(?!%(pHSx5e+ri1kfHF}xB7ZTUuE(jub0J=S-6r|byXhEKU! zdHCBal}5=s#Sw4ykai5(|$lv=z9=+mR*p5mL-? zetVZwz9)e z`cYqbKL@|E6DC^so8Bf8%+{faMMkFzX>f4a2; zAdpPPv82J|C3Y^CTVO6bHSM;+kYdd^GKS~HU2BxWm%P>)MUwDHH;m4|bOh?*2ckpt~L@l#f3;))}Qb)I>1p8D@Dwzd-VatQSmXb$9qOb0XD4&@d zLr7BO+?~En7Sq85q;ghMl}t3Aid@LgH(TNIM)%+zNi#(~(t0&AIrZgdJ*d~v`4dfJ zj)?r?(x371@< zY2JnB`&EoD-bET>ErG>cRaHG;g#KS+NK#9=nGb~Jo)5prt`Lyw9f|y^fyVJ9fXen1 z7!YH4ZuH;3MaN7L&^)T#c@WmS3jB);q8;D9XjN&)LB0Lq1EXwjMNUit5l*axs6%Ek zb~U?Iwy5I*2_!{?9YuTbLBZ7dQHh4C=(?bbe*3CY9yo`A@W-V( zi#)#8&i!JE^xPU3C#r{;bq+`zSW*Ip=%@j|yWF@J!wd9*GNZJ~lHzz_2kPl6lxS ze%4m#WE08g@Gzbjhqu z7V2NU0^M+M4xjl{r;2{l@72=&Blj=@T#5#FHVV|pQDhh*$~KXaeZXTG>d$sWXgj{* zSjFICp)aG$-Kvh$*d$X<4NBjp3JBrVXeQG=s)mA@pHtZ6kd_JH5SRyWW zHWJZ&-6_eEUMTpFFFI0gSMn6|Q@}oH7)C!tgHLx4+v#)S-$2<0nc!ds`GA^)6l{_qd#94a8#U@x6)9lHYd|wrC42R-rMVY3W-tSjEgr~wF4@rN zL~uduc<{@n=Dy=F(HrKFl*BY3-}8tvu2zy(y53#pY+WZErl~u~4^%9Co)!?qv(Lzy zsJ}uvYpSE9qC;7uMKZQ&txH3#$g_oacX{B=)mNOu^ShpJbC-bXYfR?~GkB3P=&nQJ z1M@JDY#bzlqthdCzLdVkC?~g`W$l%g515`#(?kU&Sa>PhCvR2v-Z6tEaw;B8v3x)_ z*(4>@S^aBd8l+#l`~x`8+UVCiqV>bBkc-}e_iHiWN+yJ0$y)mu0T>B?vJRn832F7# zo`b8C;Hy9z>D!yy#4PX=>6s?+O)%}4)!XN-O&~8WjUe}%6YGg5e3Gsh-yrzn3vgfw z(Pmlp;uG_HwRQi+4jh^6R4XN&bl_IpGQOC#TiEFdP+nx)+z(|#uiLx$C1%>`B-#BY zgZs*s+&$3Kd~KTK3*~r8XLzbgGR~9~LogTJ)A@RPy)#1=n4A5}I$Lu4g0Zk)v6m6m4FwDMFVVQrX=J_V^^=Ga_u@rum>>(q^3uzf?nymYIVSj zO-4j)O4!kCqo}*qY~>aV5w8~arH81vuDhjGf;f9OMieb(nUQ^a16c(DS?-|b*+EkP zy9DQZ@DY#_w@j9Mawj+D2W^VqQzknLkq&}6z!!q}(J1D?;b}U6f&kLz$=Ofi=Km>2 zh&j)qHqFha6iUya^MS6=rQ<+qWl6%7@C?~g zEskytmaI33d2l=|a=JoUCdRo!wHSsmC5&wIf$x2bc!c4Og}igwf%f~it+$}Pcz77E zo#xN>q7&V}gxadB#4Jjxs!~>KIHJGwBFbQy;$^RQ6d(4!f6#P%<}DdJhBMQ(R*~Xa zY0auD2rsw1T@59{z`QdABbgsPUVu?siz3tAZ_j>fQ!IXFZt}GUve}z7E1*i6cBLGdB1e8IJaA+l*f1C6ru(vZ- zg(nBavMBaa-=d?9zK1@x_u=Uigh2$UFrp16t(9)C_pi;$&nFvv#&Qoii}+j%KlJHT%B2gic&vAi z5bQUkU@;TcK?CJq1CZORz1Rt%#Ef8C)oARIp#>7dX6mE zoCo1BhA7#b*^MM$CoCBBbiIU$7dPHX*u}VhXLBhUfe&wEBTyaN98*u%6=Q>=|B$yh zHq{lYR&(xGqk2?DUz#9APUrRit#;)*M*?ixU5%ptNey@MCY#-6=GXof0BUb*1-2HD zJ?`t}@K8NxlmsaImaLW~RLQPD z#4^wEDdI)z|0x`sr_=R=VaD=!ukTs=a6#~Z7=35@sH5%4yxk5{i$t^_H?%d8BiHJS z%1M%!yc-QUkGuyLtk#5j9zHu7?MT{n;Rf;6R^5a`=(HLl*DHMdupU&x86vG6^^6$j zehiJr>MdiAuN?7Ow90k2!RA|KAv37aSvw%9zM`oewFc3*gF#_q`{HxZCgMgVTq*w1 z9RG#yE#p($VC+WwEm(Q+dpZ)Qfv=&%lIS22vEL(Wv@BUwpN{NXcg-@j9;;z0u~xOu zHEwBIKAUHS&5t}S3PI~v-S5|?vM45?!T-T ziRv9Aperi#$j4IO7N9{y%%bc7;-`o=5sv zzL-!XvN~tE8;_HQ2}IY=E!%SUrONspiS;gSZF4|56(u-N*MU(wbP%PTS28RY6axltknqv6|!~@e$o%KE>B~*RQ zVZ_e|YWNOAWCcTrySF1?KE^)UG+A)*zZFouu3d&oU(rG1@x6=XiT zV0X%&o>HO9TeD}c6{r$qLX`e$G$@6BqJD;3uf0>QAY>ra<=0oe{-zpTzofJ{+Iyu{ zvSmPHcB#kF*q55qC#7`^=p#8--QmpB@LXVNiuf9|UY2PLcshifThnql=;1y(v!+|q z;$1mgM~}`{kgrDjX8%dUr_5{UUZ~6BDlna!aX(I9N`#2;RnMeb4fk=`<9mqF8_7(E z_$fwWIlg{b^>PU%N@AG~@5+v5z;oeJ)55xvweMPlEov)$owrcxqxIYL41k+S;jCND^u6(3<-lHO8jysq>0wPUR69)LTS=aOuH z9UI7FqhEFWcQS~;V?3{~*HBfFJ`grx+4V$#9GWn()%jO8j+X&fxynqig~h>j|DqDF z_P=sZw)l)yeb!M<-a*(hYO9Fo_q=>p=jMZM%g0Q~lvBGEi{NTsS1{OM}voxtgU zCPujSg?3ioqYS#dYHaRL*xGYSvM((yqQGxXxmxALl?J`9e_DM3ff43g;NyLN+5;H& z=yAhtKh37DBm!0*vqN?buz~O-%DD~_dK7mKm)|}M%G~H$MTbrmmA;nsgBb=;1CE&{ zArTiKvAt!&3*pvgxqTb^U+%BFV98;g<8<~Q?|;KW+YAET$u+|UAgF-XS7pU={}$V! z5Qh_aK@T*LbVlDSoHvHSQrI7Md*ztMbq8zstvxyHh9JgfOh=a9TxH$7UE;xCc|AY0 z5oK`RvS9POhnLQ+uKIK%Dy{aFq3^i)#-Pctd(42BeQc{>xC8s)uqx|Q%<5r03)*fc zlODpZ%YU(H`rEPju@YjFIU}Z{jVqSFM{vRjGYq^&p_-_i>VYBou;|YqYMDLf#)Ct% zZ51H;;RJgCNzaA6M(p_)_Mf!N+7^`YM)^B=n79!7QYj|%?X5qNwR zl*^0Vr6bMqk@^vLnvajQdVrJfsPY$FftW*?rr(Y|iBKQlx6%Z9YP7+ars;z!c{yP3PFuxgkx@99Z^waNpUR zecR3E!UnLvay9i%>erYw`CKN)7EeXin}_)rS~@Z}o{OQP3)WRt+da?A8|E(SQJcFG zi>t+v^$iKSDmAw+>-z7_4|iN=@8h>^FRiH%IECcn;}(GH7hO!f5ry)TBj{2n3?WU zMGB{4bLMAK2I-tpwei`foNYqm-0apKi}mK^fuuC?wdZHLwMvL_@x4dG@Zl4_uy7PQ zb$GcSIXBvc1g9w?EKciosw(jeaEz&vIl#JvIV9`;^`7W_%I#RReO4dSPPKc zyfHs))byQx4C#?PMB3o21UnriA0F`e-Py9=IrH`z`q1we0Aa_PF436N zZen#TmUi4PZ^WWpR@z2qGH~|muPIE~EPp*&AHG#eFr5B+uk%muo$iVxQi^*2o6#a+ zO%=P35SEQi(6(Pbi%!LPllQ^mNl76hlM$vbUj6Q@3pMa|X0b|!CKOEf4bQz3R5=Fm zt)!Pv#;e`DFz|(sg(q3)I)7Lq^HY~ zcI@GkFfzQaG1bl-lIs5$6p`nC)*gm3gWmiCuffjIdYR<}Z}WDbtrfj6Hgwo^KH_q+ ziODBA#p38+B3!NijxmRXff9iV+pNz|5Zt4r$LTZlkB4#{u}@dbZx@%g`pl*i7WRr= zSrmNmZb=je^)8sU4@cu2vU|p-+V)6Y>?|KoT-doaxMrD8$4_w5*dBRAON8)_ZE5Y< zg>}huxlIgKGxuRBZHLw)M_rK6d1G%;PFB!Ye+LtJ^vi;CxnZrdeu)5l(L6{EC-S7Pvo2ui+=TEBiw^q^=rRDXJ&BCm?0;sdY zPTxOz{QaAC>hU*$J}4$+El-K^PNUb&q2%W+lecbGJM(Byh6~RppNpR{&l&LfrD6iH z3-fEFhVlvFZlO!EYVf03g^$;VA+|UNzXzioZf*H^Uql`%?fdEOSVHQD!$STj{N?3O zj%wq-XUB1@U|IYrV!-KFJ8DiX0^wI^zGvKT2nbMZmwQJwSg67n_NB)0ZZXvXW1^_H z%BB>l_V9@9We{;LhP*&>xRa6~|dnFBDbVthAJ z{DY4CUf`^v7l<1FLoiX~>_q!VUl%RaWA`|UlXf4qK|7$a&?a__9-zUDd*4R0yv)1( zo8&{MtN{FC0#wOO=&pBD~(9Q$zJ0>JNzvNs2voyM_ zeQn{0E6J`jhLeZ8gw&;ju7LM*#!nR<`nz1fEOebD<>d8`nDvya!YWV~8%>7Geo?Y} zSWWa;jdm1?oz*>e`Nf?fjC{|G0B(wPMmjMG#e+6+c$o!f0a!D>TK-4jt~U=s}!fTg|8@{GF&)rIHuv*q+YUylONsx1-PL;a_+(PV9fm7KQUGuiPT;GIo%h4;6C zcauPv-s;emzm{LMAy=>V5;jS+x9*^oua2J~52sz*(~n~SE; z9)B2ZKeV+~HyytpHyQ%u3b&&VCQw<9KdRx^IinBOE?4-S@U<^+RIl@0?_y15o?zO3 zv9ijo$E)dv9<%~?$qs=F6_)o6pUQ`7i5MR7$Kg6pt{Hwu)j6Y2)~SFPrwQY9JqSL( zyzgrp%|sH$`15dMCfBVJf_JAElXtP(@blNzRm91MbY|xP09NL&cuwp?C89KreI(O@ z^6MZ8AJ(rlqST6Gc?V-`E`qmx4p|RTD`b2j`0Q?Ed?i6c!?K{Tzowq$zvA;o>QHaK z;hId3u_2tdNWyzD-^E(e9p%XBi*fHFmWt9IO{}dln0bSmW)x&RK->L3@msjCyS{1m zk-$_LU!_6;QN04Em0HPkJ9x<&20)&Dhd~mkqyQ%rH{Iq+3!Od^XyoTEK}dWd`fHAP zq|jsd8l4yF$$ehcTIN)Fm<()jiG-=qT-GuVF)SRvw*g{Unt3ED3T|T7Q80H_Cm^&X zff|}m5iqTkudo6%(r|7gn5gi`D~}-Ov62Rr3tp1H?QWP2NwkLZT5Vc zAGJ*K7^_4S>OO%9gJ2k$DEIQQ?kN02oJe-aRkMfL$CbRO;xogeuE$EEm~b*l07nv;Vn-wsqVAPi8F3lu1)9 z*c7Z0ljJc>HA90bD%T~vHiJ>CDhf)fFI1hM;Xwv}y@ysvst*+vk9sE?u0bsVsc-PE z_|OxG>oL6yd&8_>{x~ex8;RVdY`%Q^w?mHjCg(+ySv1EL)Mj*s&x#)nn!0<6qxR|R zJ9bB(LJ9D&eF;^Xo%nh=DQm*~?ITdP{qXs;N1xko$L^M8tRdzDwo?JMj7EC;a_IjJ z6IGgqz85dF-spoUJXZ{xx=_coG0GwfmB*hNCTBDyY{E6z#M)_=i?6z^yN2xK_ljzF zoifHqcG3j~DLIE_(P1EuBU5^MNkfCVT|T;@O%h!+VBSsa4bza2u~I>^mO&kT_MXXo zamqg@$pj}|l#U+-W1H&p5;MIJp^>C4%N5FF?uj3DVcjR)FODQx`%iAkj4U1<2yu7u z8=~q+fi;NJlfnK^?gh|*HMxxP0O0p3)>LepwKvUu01{vQ=@*Un$ zR+T1wMn)>L+)Th_S{$kK27$2V*Ik6x8>x@Q>AOdgrKN1MlswkVi6UjF7D1f{A7p<; z&IY>eBokkk4Oa=6B9@*&g{q-29$B&dIZv{7o6;fm^O{IU<@r5cPD@Tt7mM!Up;Sqg zjFJ~=M$QW`PZLiESq3`k^P+Mg?P5WPL~b%*;+pwdeHL!aFvGdMK`*z);P0J#ybR95 z&8UHngez~@I>26j#XvC~q)ZJiO8we$QxmE{IboW+lLP8Xvk3J4-)_>QS&bmF1JXd4 z#`#_2@MnsJ&hO;rk6w+Nf&83fHc9cv&5%DF{J{N@pI;oL@Qp|HUbEuh& zbaCMHr95H%`$D;djx~kL%&Dm-dSAu;$`q^OZ!W1b_~NXF+%RB-FG;?HA{rfRa|90` zrwv=Q3nO6UX^MKH@l)KUFbmt+eOC~Y^NtHc&fz;Xpq)C@XXAu&kyftJFD}&K?oaF} zD?S~Z+dTK>2Rp`z@+}CKTHwGf$_>)yvp)@(joXEmEGil|4j(P5w&?ae)CnpRQ7BZD z=q<5twULe5u4ofnFyVF=K&biTkuyR#(Nz~wVM-1*;ER~UM_hN{nZ}(#mPd80o9!qC zrtx3YwH?O#>-CtQpht_2NOq9Pbma?JALZl6_ORXqr*VmSwd;5)qlQoEHyX>b-3s7; z&|Ltfj9{hNjG=iR=>vbERWScSsbCryK_Ak{8liShiT!{I|9jvE9Q;hT+`ayA)qVk} z-&$Q+UKiG2lD&0v4|TMsS8MXlRyyfg0rr4^g28F{;O_Q2NTW zh-M2{Ne@wh9{&{{^*=xzanBxjy{Kq`b3#*(x~7x#A%JL&P#lRMaS#UP-B%-N;@HTa z1@9;Rm-wth-0*72j%CZ&(297WWZBOvlZ7RN)~1tSzJ*|egio06eG!PwF;RC!OlZGV zKxYddDCx5&ygK%JUIHfL6u@7dtnHA9x}=i~I8pG@ zWr+UNWQJ!#=tF5N-d@q~jL#kBzAKer!|V53Y!>kL|T>kysEG*n6A`?q=;r-HK6W5izTb#$kTqz!WOQm9m0F;# z!d-rJO>aL!k{vtY=V~p*D?usDzIqZVKgDuBgwhZ0U&&4Wb2IpK<>EKiGD*iGbD9#l z(zu8)+_?A_2PpTb3n1jfyP=wtX9#d<7G!YFhF=MJ({%F^;(kws-J@mm>(vCPOv~|I zX)j!hbYHKZ3*DQ#Ae(t3kp|N8bQALN#e;Zmty-gwJ>$1a64&u&t^ z@=QZ^@|KLQ(CQ=T&>McLdxeyG?!KroR4h4}3v)o9gJ7STWmBphHpB$YWHvu|6c%lUbndSm}gRr+JymDtQ#ra_Rw zdeBa{?4-;rZcJOR(VG;#eE0;~m0h6Cj)!zEg30BtM=nvW1~$V~K1>_eh7)5}h&NXw z`y$P%mRJ+G3}58qP&<9O1pEbZ6X;i82_GH|NSff*A=~&7Gb<0?&&g{+x|C8oPmnDp zV_@B%VUh<*CC{W5={pVT@SHcxZc5M-69SMC8V%NibPeyz8573Ryu%pdsktaxK;;T< znUf#vh!UU`fpA9W8t!=~yEQyGLQbk(Wp(-TZ&04(jlw{B({H7p@SI{ZRm&);cS!g9 z3fmMEY`RpQ>Wr4?es^&sk;>X{R3S722XGfFEcd3j%S-xO|HWb>(?wo(7&l{VOZekF)%KJRD&!=0{2}0gb^*Qh@M$igT zLzBW<=bIIu5yT1|xOMlT%t+M`2gxp8w-TR?MBPU;q8Dk^NOZd22V~8UQ#3Kj(Do1% zJX#CEqHoP`M(Wmk+KtBr&XT=` zfBSOLEF(CWg$gALWp9Yo@JOZ` ztk|Z<@u`1MP?jyq8g(4eDT8|FCC@#MU*cb-`NM-9Ooy9zB+9(TGavK@3lSog&0pY2 z#C0tb6I6nuXO3>#ytqyjp)_7dBmNKR5~(b}F`hViLsho8cqP*JMh*4&luy!Skp&pg zCz+IYi*c*xgj%zNbsSaGlnMp65MZkkcT`njYkJshu;ri+!()Hv`{=PzflQalt~d@- zwU61lW;Qd6Gbz)}(Lpia`)}a}MAI`p}YKWnyNDeh6r1RkiPs)L(lFv86gk8>^2^Ox6qd^e#N}p5jX_(sn5W$ zC;J{?OaK7Z#;{`J{7gf}#W-I$QJWfvB;DZ(!t?p~jjHscGclf9fjrhwC_x6k44{s( zM%UTAY~v~ZLgi`j8>fOIlG~3WkwHhpUhgi8=~{bd1D{yCp!8?eTYXktv2Xcy&X;v@ zZj6~KBMzDh6gII-rP)Hwk0^{^YdU?7LkEO<^I`TSdvFL|L#gWIC^+F9t~3Q zY4AfBE?rdpoqkhMcw7~pZ#NXAW{F&%r#9nd4|9oCD=%w^YW~Nd0F^~#i86qzT@Abq?49) zB7_g9qEB;Y31}ygzMld^{Xz}X7$5|T5`%Kg-D4gk5fIn~ud^;NgRze@t4%@)thUmM z_p$SmxQ3#*5hK-^g542N3T?Z$iA}@n8utfHW50IAr=o**hVmd)0XPFu2%I5Zd9v%L zhiM`01HO!QEwmLIF`ozw5&O$9Ma$RON?rX`(7!73+IQwNyTxI~sGk!*ILC2sm&&xg z4Or>HXUxL1=(Z~NO;7^zl*^6zn_;mwm9Sh0y=4UkM$oYnYS+v{9(I z&W{<0I7g!=Mt*%ibXq+Wy?P{8CZXEQFVLVXCHbBBgKC+Tvi?^2_F}twxCAvFs;zIO z?h?uN_csKT?}oFKy6&&+4;bjH7DX+81i(2zBm_(t;}JT}DszfJ=TGl59KySPmVXX8 zcZ+tHwE@;1mJlYv!OTOdvkLkHl6{|sQv2~tSpD{R;7$H!*~cfZTu&17^txiu_DymX zXHd|s6%;uJ-Dvo1a`VIux_ z@a6YA;zcz}9;LWSsHiAngUFz|sPn-M$&^7dL!xj$Nfbmj?RkNJGEM~}i1#vAdXg!f zCXmFMo+#@3q*bI?_cdxs#Y3EAIk(T0K*`RpOUR@Yn(mPU9EK5rXExPFYMw%r7RD;A z)bWFezD7@Bu(-@hrS5qbS54>R-vB4#Jdd~6b5+?vN20v5<;H7Jrh$8_ak@y8W zh1Jvs!pcqfzZ3W?WQH5fyyq_t>i<9ql?UW|7e=e;xcY2sy-={yxCwHC%JwIb`lSu*hoP<26cQ zy^>+3P#KY-7}b&ETRhTzILKXRu?b7p7tr;6?}gVXaGb#QkHKs5F9g!ZXS%oLWWDS8Y zz7?axvq#t-F><~FFN_rIKD_~qbAOq=)$yI}tjzw5onlE(!{P3r>?U^-XIWgib;Lv` zJS>Ml51%ZdICaDn&EA8?Nur9q?k!C}r@%pMfAHDJR-{xPC^}j?StVgRV_-|L^w7|qqSL13k`l?OfgWKbE zMyseD-Bkq@1AO*d<19u6pN869W%X-iwz$b*kpJjF2wK!;(BlCi*s;;$2|fduTsoDf z{1O{yicN?OpXK?)_o3g5f9;Zuh8l2(*r(m#dK~3A9s_BZvOL*Z68Z2KU3?V;xt?s9ke+TqFH>p&=mx`IZ;gJSD0Dlt~(fqd-*W?YR@#wZ`K3ah=zc{e{lg8Ujd$?Oi_L2p9F6T2Y$e(AX$w_xv1y5>(9G@ty+?hs=N3yW*5l zY&d{engtu91hU8Hz~4O@pS70-!13_cOVsapfaqt0xkJmfZiK&=S^4}meok5nrq*v$ z0ZN$QiYOm8H(1(jL$73($sZU*(0XGtU)#6VRi{~54rc=$RM*fZx}Eu@Z@j zO%t<+?fj05 zE$2C;1_Eo4VI0$uFwI647 zYiN6d#wG`0vsM?OZnhtGOEz?>C>{iw4)+T9f3Z_rZ!uGq2xW;>e-`Sa&x@#|xat)( z!;wvo(WO6hUN+3s(*u~dt60Q{>YbwDT4PkBw5X^oF!`}+%dRf-NB#trbH-DWaFufn z)V;vNmd+^Z`FSB~7F29gvBK6D3wz>3d;Vto5ZTI1;0tADAK8PB(8t_0cCi z#f}+02#{Qz%{(Q#&slWKAbmzN&hy)?9$#Az!11HMcum_>X6XEP4_Hcp1moGX3w$q; zvC|v^_N!g$cL6=TXn}_rIb{sDqh?LwR_ee1$s=Hr!F@IyyhJh^h{weO)$7k*>2jaX zK4sKJywUNxn7mYD4a`7}Vw!@sg1rHKD(lt!1@BM(f9i&8n|N9(%l(BMJ-=~M&QB*%^G;$)ZXB@$JD$%Lni)-dfIU5<4)0iC)vpKU5TtA1R9Q03$%?zaASpWQxr%Ma z`MUyFsTM`tTA?5+`Vd`c4j+&@!=X0SMRph>`+|ypPERF$C`sj>(g)(v*;Nl!$MKCG zGMu$6?B_K8ddX^u^{j?RY)vL;SGQ~%C^`gd@IB%gt2oz zij$%-92MN7W)WPR@UwUH>o53&jsC1l!rFX@DY0HBsqPNuZG1^|^gF%{8~SgXw`@n< z7N2j)ja@Z+nd0r4I7X@ei=626wXQW|DD8!8x#}wf^Nt~^HY$`&bOFEU#8ftV8FD$f z5fz0*il;E3?pwNM;g+2^1R&+rpYl1(LczAQn{%Th=0;3+m$IH1*9-f}63T)h`53!7 z;QhkiJhErTxf0gvncgP$;P9|+#Um{!BVT9O6|yna@5#x~e2)XcVTXrCjn;|I5}9B1 zcHN|BCb}i-SFaK$+IWw(jr7|SF>aHH$Fe63x>*HB%`s_DXV4=~D}lTLjBa1%$GD?} z_6yKXEyLoW)YjE?3`i=6GGOV$ev3{NktrZ?LlAshoJr2MMRV=7JdJ!|N zN=TnABQJa?97XjSw_~7#1}m5JjLk}rp$~5F$-EC(&GY%*@EX0|w}+JaoEt;v ztBP*!3qpAl{V-mJSxG{=lASPpa4n%FXH4BRw8T-u;xo-8k#G|XQ55);a*--^KwyL+ z%Au;laoCA`*}AV3__uD+yW!K;OOf?ih{^Qpd+mq-I%AFslo61>RqM9KlzqVN*|VQx zltOW2SvgLr06E(;NcpcR67f(QPDsR@eL?`0T%Z_#EFG@!bJ6U5l4$}XTi6}p=Z4%g z9OtVAyF6@xG71SiJrwPINv{DiK zs3#!O09uG*fcci!L-z4VC3Y}JF)1qRq}x~aQQmRUCotQzSlSWAKUob{?~x`{^2R9h z)F#e3mV(u;V}-zvmv3m^E^F0h#Waf{;H*tS7Lf>`19!-~IU9v{=%YC0P(xv+dAcr6 zseoDD+pZ*8DU8W0f9_;<2}vVA9V#B&;WgI;Z?cplN zFBIRsW6GbG$~hj&TiO$px+q2w+y}M0m%30@m8WDcgjyu>WG|R5x*410unSesG-o@f z7Tj}f+J>pTdpAO+rUr71`&^(R#Q&2^DN!X&E&e?s?=mm!NB?^fd?obCb zv>

{{=Ti9rF@+jSA)ljT?el^3dMy6>Tw!Dz*qVtp^2vEOg`{LFP{{@L<1!Ai(oX zPAR@I(RZxZE=Yp+}HKkyh|mu4^ig~eM}Z|em_30sRlF&W!}c=d={A!A}%Yg&Y_SW9d7{8!0!lHqaA zC*aV_US3k%o9p3e9C4nb>;*dd#XTRJG%6Pn!V$VL@a7?WP&7_tCZ59=NS(VbhAW@x z%@)s0K5$=z)z4?i5A>Rx7>JmSmcu&Gv-;bc7dJbkBb^=BQhsc-M#*^bRtQEH7ux$f zi!K+tglVL{fvb!~2IIb+IiAt#iLJ4~6uD3y6r|) zRjbGpr-p~hcKtX{c<_Vuu>(>6YsYc;3#qOOB*JA#ZF$fz52Ia$t+6YX;x}S%;V6s4 zImLnwl(dh(RbI-foVOj!w>di_$hymMy&H!FVlE=!d|-?NRXZJ1ayVD8t&bn~pX@35 zC=9zFQl5uhXE<<>dy2(lr=>GLpK8nn?q={OcYFqfik5~XYwm^7u~*MZkb2z)B*FSM z^gBk1k}RnjCmNQ4ll6PzNkR361oFipEi~OXtX{zRQ@D&t@6g}@mYWx?e}A49T-`z} zc-o1_8b*{9+@mnRt$ubmRr-$lwOIekMG6wolz3d*8jr{*-5~=pe6tX%wl%AV-Rn5* zlQzPr&F5|jy9p$e7l5=_blT~nct9VU_8ZULvTx+kYTFl91pKv4hNG8fQ!n!wWTl;o zL#0%_x)n4aO8Q^p{{Kncas zPzNo!b+%4g<7+&#;qq$CkN9;FuRk{PUw4AYDCv`G@#%H#@J#p3*usvXwuPZ62e*n_ zahqAHc8`l7i)}r!JKftSZ*}8ktVH1Ez}7~+9<`NjW9Rt`G;K2v1rU(I+l{60j3^xW zG?+y~qWfVH#gC`$XxziMe_kBiPcysmp(C&H^C%&kWZ=1B75C*bx%QX^>DF!_Y5V*G zDlqu49o|2V1?D4`JWDbcA$bG#1@bL#Hb2)5VEV6r-5DD94Zko=Y=6>qo1*0)F4hKc z&wT%>$pt+-i+D(U4rHX+V-A-CXC5D5_}SiOK(I=uCNV5O_PFvu0~EEFT#T! z6Z&~@Bi9TxkWYYn$P&S3EfZg`$5w_9vMr25H?1Tq9BUh75vcndA3*GHo0~4pW71oy zzQ`AbhkC>5Ed30`9~8i{DKSb+#p;a-j<=t|5i7*)+lA+7C4Y`D5`cjUx_T}>Nd^Y0 zfNNnG8{VkX)lfgC*+?iv&xDvoY>^}(|73_6qDIz$tilTk8aX9!UjALB5JhXYne>TL+*W|_K z*1RE1zAzP~OgjV@kF?$LW(JHs_I)*_ky^po6zLs_lG}K^K+T)&$`x!-utR%Gz6^u{ zH8o&P>}i9U%}v9%fII!n0GhMie`!TBJ-}*FiYdOgXm(yXDbQHQ3FMp?bEx_8%R4iv zgT~~8QG|mfa8w^R$~r`plh~mEHU@9m7IT1dw5-*=`yk2B$zff zDswHc(54?xHZLABk|2ME;YT3`ZjfOw$12cw2OszVBgK|D#nAYs_#$-UUDi8j2Esy_ zUBR?%j>bW@8#SIjePA)a9wh7#^$p42AqqNArUoxDj1${JVHx+A@JZ8n%|v!2KIC9Q z@`~A>Z-7)^C2=s%=6BG6o!yE|p4|;9NLqa6X44tPC}+ad>KLEdjS{y@%`3{3^DLj{ z6LE8*=DS}|N-&$+`wJ?viI1vIk(hQdbRJp!-HdbkCU-hxu-VKKiRWqeHtCk%HwER* zcz^hmq}xGRAZyEvS&CBa*k=T2LhBoD<7 zsC{lYPxn{<&P|G3`Lm;ek;#(=J~}ksK%t=aJ71CZWjbE(+?nC=Vyujf z-Zy9)1MfPqOiT`7J0IoKf?or}L~i_Z{r^FzP&Nqy>`a|qoB&3)&_BQIjjf>B2^k6h z=gP*)$o79g*8hUMybP+I4gdy4BXa1nnn2D2(kb_YV`e)1uVCO=} z@`EWuGbjU`?OmNr0M0+Aica<>DgYN921QZvpNS&&Hug>`4n`&bLZ<%&_?a!{;Ub~p zV&w9Ju>B9h&;Or!b}m02oeBRh^k1s~3GpAQyu5_}LyPc#csUa?$XJ>>6Y4M^M zKOS6v7%@Trc>Av@)BiR7uce5Qi;<1J`Tue8U-ohU7bDZ35kjW_{4L7=F9#g|UkCpW zb7%$yMY*3?3@So|E>5lhe*XW43KVi|0ang z$V3`NdCEEZT?*o`03?TRg4RH9gBwk76a6!8C9xfFRb;jJKuYCY$g+Ew-0m-Bnq+@+ z?{WiWv}6L!*>jxq)xZAuQ$=yuSAVu9WReZpBL3keXLm23?}L|R;DqX>r}Qp;sCcGr z{7j2tE?8b5Rs{VI!|Cn#gEZK z^*y03Aw7I#3CRc7A$%DG`!B8y%Z6*3--9H))<6mk-Edw)t@$F&XRYb%0_j#;zt}=o z{yXy?mdR?+^xnkz*<|wX)U8%h+tSV*r9ruZ&U-WZKgxOUWQV~%;H=DfRVHD88D}!K z0`g5E;xKTdG++53azD#>98_%_gE&>M2QNh|IP50U!zz%%N%Jkj9s8w*@`|M}j3fW*z4YIEoe@B_1)T%5 zfcJgLQ_wp-?|0B^Glow~UtP;qd-9QKeA()*(K^>OE@1qTR6+-nRoEK2vV@66O=_D) zRlO=9Dwsi)zhQANli!-17Gs^)*+mVP=I88YGg-E?UEx;NgHkNOxXS9qe$?6IEK*=3 z>?pFOZXaY@mSLd?ZTD=;F<|774@&C2E+z2wJ>0Xp9hfnW_B#6U9sycljySd>Cm5FF zoY>jKJl!)pkfg)&Y~sMsa=pFj?cDr0yE^1uYS&#ocdZ$BNphOF=u%-_TI%W zFe`Tuo~9{GxG=g*5xz;H6iJ1_M13{|#w7gciYu3=E+(G4ucr3^ literal 0 HcmV?d00001 diff --git a/makefile b/makefile new file mode 100644 index 0000000..2e80719 --- /dev/null +++ b/makefile @@ -0,0 +1,37 @@ +# requires GNU make +SHELL=/bin/bash + +.DELETE_ON_ERROR: + +%.pdf %.aux %.idx: %.tex + pdflatex -halt-on-error -file-line-error $< + while grep 'Rerun to get ' $*.log ; do pdflatex -halt-on-error $< ; done +%.ind: %.idx + makeindex $* +%.bbl: %.aux + bibtex $* +%.pdftex %.pdftex_t: %.fig + fig2dev -L pdftex_t -p $*.pdftex $< $*.pdftex_t + fig2dev -L pdftex $< $*.pdftex + +all: report.pdf report-submission.pdf + +report-submission.tex: report.tex + sed -e 's/^%\(\\submissiontrue\)/\1/' $< >$@ + +report.pdf: logo-dcst-colour.pdf + +# extract number of first and last page of the main chapters from the AUX file +WORDCOUNT_FILE=report-submission +FIRSTPAGE?=$(shell sed -ne 's/^\\newlabel{firstcontentpage}{{[0-9]*}{\([0-9]*\)}.*/\1/p' $(WORDCOUNT_FILE).aux) +LASTPAGE ?=$(shell sed -ne 's/^\\newlabel{lastcontentpage}{{[0-9]*}{\([0-9]*\)}.*/\1/p' $(WORDCOUNT_FILE).aux) + +# requires ghostscript +wordcount: $(WORDCOUNT_FILE).pdf + gs -q -dSAFER -sDEVICE=txtwrite -o - \ + -dFirstPage=$(FIRSTPAGE) -dLastPage=$(LASTPAGE) $< | \ + egrep '[A-Za-z]{3}' | wc -w + +clean: + rm -f *.log *.aux *.toc *.bbl *.ind *.lot *.lof *.out *~ + rm -f report-submission.tex diff --git a/titlepage.tex b/titlepage.tex deleted file mode 100644 index 04476aa..0000000 --- a/titlepage.tex +++ /dev/null @@ -1,56 +0,0 @@ -% title page information -\begin{titlepage} - -\begin{center} -\noindent -\huge -\dissertationtitle \\ -\vspace*{\stretch{1}} -\end{center} - -\begin{center} -\noindent -\huge -\authorname \\ -\Large -\authorcollege \\[24pt] -%\begin{figure} -\includegraphics{CUni3.pdf} -%\end{figure} -\end{center} - -\vspace{24pt} - -\begin{center} -\noindent -\large -{\it A dissertation submitted to the University of Cambridge \\ -in partial fulfilment of the requirements for Part III of the -Computer Science Tripos.} -\vspace*{\stretch{1}} -\end{center} - -\begin{center} -\noindent -University of Cambridge \\ -Computer Laboratory \\ -William Gates Building \\ -15 JJ Thomson Avenue \\ -Cambridge CB3 0FD \\ -{\sc United Kingdom} \\ -\end{center} - -\begin{center} -\noindent -Email: \authoremail \\ -\end{center} - -\begin{center} -\noindent -\today -\end{center} - -\end{titlepage} - -\newpage -\vspace*{\fill}