diff --git a/1-introduction.typ b/1-introduction.typ index 523e2e9..67bfc5d 100644 --- a/1-introduction.typ +++ b/1-introduction.typ @@ -6,26 +6,36 @@ // talk about the standard unix abstractions -In mainstream operating systems, a +In mainstream operating systems, an omnicient and all-powerful kernel enforces security policy at runtime. // what am i trying to say here. -It acts as the bodyguard, holding all i/o and data protected unless the +It acts as the bodyguard, holding all I/O and data hostage unless the requesting party has the authorization to access some resource. This tight coupling of security policy and access mechanisms works well since any access must be done through the kernel, so why not perform security checks alongside accesses? However, the enforcement of security policy starts getting complicated when we try -to separate the access mechanisms from the kernel. This problem arises -in a certain class of operating systems. +to separate the access mechanisms from the kernel. + +//TODO: explain why this happens? +This problem arises in a certain class of operating systems. == Data-Centric Operating Systems +//TODO: daniel feedback +// I would add a paragraph motivating the data-centric approach +// like why would i want the kernel out of the way? + Data-centric operating systems are defined by two principles @twizzler: + They provide direct, kernel-free, access to data. + They have a notion of pointers that are tied to the data they represent. +// then this paragrapch can focus on why removing the kernel +// from the access path is a security probjem +// maybe worth discussing how the access is tied to the mmu as well. +// Mainstream operating systems fail to classify as data-centric operating systems, as they rely on the kernel for all data access, and use virtualized pointers per process to represent underlying data. The benefit of this "class" @@ -37,9 +47,6 @@ something new must be investigated. == Capability Based Security Systems -// describe capability based security systems -// -// how they are different from earlier thingies Capability-based security systems have a rich history in research, and offer an alternative approach to security, in opposition to the Access Control Lists of prevalent OS's @linux_security. @@ -49,8 +56,15 @@ to @cap-book. This simple approach of having a "token", allows for a separation of the kernel's involvement in the creation and management of security policy. In a well-designed system, as we see in @twizsec and described later, this allows users to completely create and manage security policy while the kernel is left to enforce -it. This paradigm permits kernel-free access of data, while also guaranteeing -security. +it. + +//TODO: how? (via mmu + pagetable mappings programmed via the kernel) (which is still kernel-free for most data accesses) +This paradigm permits kernel-free access of data, while also guaranteeing +security. + +//TODO: maybe add a bit about "unforgeable" tokens, cryptographic operations, why they are needed + + @@ -65,4 +79,6 @@ Code can be found in this #link("https://github.com/twizzler-operating-system/twizzler/issues/268")[Github tracking issue]. +//TODO: list pr's with a short summary of what each one accomplishes? + #load-bib(read("refs.bib")) diff --git a/2-keypair.typ b/2-keypair.typ index 59474ea..5f5c492 100644 --- a/2-keypair.typ +++ b/2-keypair.typ @@ -4,8 +4,12 @@ #mol-chapter("Key Pairs") // what are keypair objects ? +// TODO: fix this fuckin sentence Key pairs in Twizzler are representation of the cryptographic signing -schemes used to create a signed capability, as discussed in 3.1. We design +schemes used to create a signed capability, as discussed in 3.1. + + +We design the keypair objects to be agnostic towards the underlying scheme to allow for multiple schemes, as described in @twizzler. This also helps with backwards compatibilty when adding new, more secure schemes, in the future. The keys @@ -13,6 +17,7 @@ are stored inside of objects, allowing for persistent or volatile storage depending on object specification, and allows for keys themselves to be treated as any other object and have security policy applied to them. This allows for powerful primitives and rich expressiveness for describing secruity +//NOTE: elaborate or point forward to later policy, while also being intuitive enough to construct basic policy easily. @@ -21,8 +26,10 @@ policy, while also being intuitive enough to construct basic policy easily. The `SigningKey` struct is a fixed length byte array with a length field and an enum specifying what algorithm that key should be interpreted as. Currently we use the Elliptic Curve Digital Signature Algorithm (ECDSA) @ecdsa +//TODO: why are we talkin about the simplistic data representation without +// actually explaining the representation. maybe having a diagram would be useful? to sign capabilities and verify them, but the simplistic data representation -allows for any arbitrary alogrithm to be used as long as the key can be +allows for any arbitrary algorithm to be used as long as the key can be represented as bytes. Additionally this specification allows for backward compatibility, allowing @@ -31,20 +38,20 @@ files. An existing drawback for backward compatibility is the maximum size of the buffer we store the key in. Currently we set the maximum size as 256 bytes, meaning if a future cryptographic signing scheme was to be created with a key size larger than 256 bytes, we would have to drop backwards -compatibility. Sure this can be prevented now by setting the maximum size to -something larger, but thats a tradeoff between possible cryptographic schemes +compatibility. While this can be prevented now by setting the maximum size to +something larger, it ends up being tradeoff between possible cryptographic schemes vs the real on-disk cost of larger buffers. == Compartmentalization // how they can be used to sign multiple objects (compartmentalization) -To create an object in twizzler, you specify the id of a verifying key +To create an object in twizzler, you specify the ID of a verifying key object so the kernel knows which key to use to verify any capabilities permitting access to the object. Since keys are represented as objects in twizzler, security policy applies on them as well, creating satisfying solutions in regards to key management. -Suppose for instance we have Alice on Twizzler, and all users on twizzler have +Suppose for instance we have Alice on Twizzler, and all users on Twizzler have a "user-root" keypair that allows for them to create an arbitrary number of objects. Also suppose that access to this user-root keypair is protected by some login program, where only alice can log in. This means that Alice @@ -54,5 +61,7 @@ access the keys required to create new signatures allowing permissions into *her* objects. It forms an elegant solution for key management without the involvement of the kernel. +// nice, we should talk more about this + #load-bib(read("refs.bib")) diff --git a/thesis.pdf b/thesis.pdf index 84c19ddc79db45fedb240d7834aa42819e17d2bf..33c08ae905b957db15a7ab24c343e837f1e4f269 100644 GIT binary patch delta 62380 zcmdnl&9=RdO;9z!#ZA{x&zwuOp`oFHi_37jA{(Q~Cx$NvFryD9wzR;{O@qaU;;pFNTh0Ti@rI{>@%?uUH48X|9 zQ~|^>R4}zLRxmRHBU57qGcYnWFij93k5UN$&4&wLIw&TVRJ(Tb3+A7Lvsal zqsf{q#`WeF3Wf$o77FH;AOuokVW41PpkQKdq+nqPLguCh3Km8nWMpokU||eGAagBD z6f8^?z+z?!7UmEg777*?5HU*y3rhtvLqi2i0}wK^FjKGu*{on}V5VScq+n^RU~FNj zp(w`=e~~Zl64Qbd%<>z3bc6-+RZ)rT>n;R_1&0ccbpL z)1|Sz3rk|f=O@4HH~p_Y^LPI$JMklOIfmcroj3DO&cFIWl1<<6fROq&J?GC^76$)p zr~LU68*lnmSD4Y}%F{(R-HZOFc-h|gqH1!tW!dgkde*Ow+)KXSIbqG3uEv00@o$<> z?Wibz!M;EK`tCN(kg3VuQ*~@EU;nUGei!p@pCkJ=UwUuw`OegRt6%Y#RjSPP%{#X3 z@0W=xk29~-Ur+rt$L*v4?Y-&2LN!vVQ+?*N-{V`moOjuNx!IpMSTw{Em*j76eZTE% z`}{i}Kit{8JGA0m^6~x8Sf59H-=|%dzdK|<*Vj4Tb@CIpIw&b_X4u6R#dMcJb3vt3 z5!)7zj(BEW;h>P86DBOH(_T>N#C2EnnaHkeMwLdD2~3CPc`?`DWsp?hOC zj@4DlMpVAP~&o(Y^X_m4PeakdY>aJ;p)P`#h zRz8@dHg5}`jj7S42P-)g+c!iyoj7>N(brPIUnA&6o(B7llm+LVnj7u-*7JTT{9rPL z`HSQ!#`HrI>^7KPNI!U{-eLYyTTgk#Q;chPpE|^N2>LZPvT;t=iST~0IbrRE^G#ci zSaDxtI-?WeU9vr4?S;EdTV2YzuQA0%C;8qz81*nE@>l5toya9hnX)Dvvz)aiU7M)% z-;10h4aaS7grpcm1_$QInH-*>-%z$lf8D*FUR>!`h4}jbbg(E zu~snBTkpbM0i}2yfi2SPEN|1?;^yz*nwYK;GEZ^-Q%SDb=_hjME!=U=_=(o}&e=BH z5BH@MPTsAb^3JY&=lw_B_iHBpKKp#<{g`KbpP!z*{Gn{w_6j+cAC&-1-oRAzos z?dF$FC-a2NrcSuPxmTLig;i99)zQ^a83wOFOhgZ4j#~7x5YB8O6ZzAKm#6#)bKd1j#c%lDsyjWrFn}2B?xObR+;`jUY@6BU=BxmoRc&LBtU$>i`u1cL(tnMq{ zI9oikJw2c$-{sAW*7a6?b8S+uwXB@HeBUz*dkrOv6XtgcV=D?A3KrzIU@VEF4nu_%9O0-<4kwFPK{jB86VNr)MKf}dHr}@Y{C9}mVbXa z?B93IPHnB<>dTqDRcxM}y8Xp+m(1R{`FGdvpE1Yp-%n08nKi5zxYU%7ZK!tM zaDtn!tnLug;kP|X@fZKa>3{8dQ5rr+f7`9!H|w2$2FrWgQJL?#?xOSyzcj(mvF{t~ zntw0(HuuK%CGWrg_4@t&{rlVh8%maJDLK%=$j)BG{F=R2>dVUJ*@u_E@ws*+u3lP3 zPg+e|>XF%!Cp&kZH?_V0;m=O-w0##oBt7V!tKYh(r0m76h0mtD>dQY)D}H(B_@}9# z-ph(x#z{Ogelz{yEy2a^3nn%y=l7qgcKvnAeKC9gIvL~iGuI5QkIj+$+#eo%tn0X* zY_`<*Z#&vP)*h?w|6g-xOJ|?()X6VA&-?x=slPP!B;RCxpM7>m<@r9I=Ii8>b#mwH zh9$Ut4kHRl^|+5JMf+Flx#76xm%|5@2hk>PQ1&J zRIo&Hg_6nM9gMxrMjIUV?F!=L>PXnNIy2rw=G;zpk6T~t58HjJV#w7x_R5dHeUY1G zystB>$kh5&$x_n*z9(Oj_AA-Uow#V~F%7%RN{`&<3eWz*5~(e+y8EuA$--*6sdJ}H z4PfaB3u3W+8tL{-d`rJk$dhT$Lkuzm{!Kj<^yG-m&wW#B`r{t_4ir7!E!Cf9C}!m( zyRfrCf#Vw6%NYT?d^34kB|5yj&-)~_J#?Poczwm0MQ4}{>YY3rH~M<}eGIJ5u2B$R z+S+(Xb7{aL%@YQyqIpd|C$6Nd3Od=@UYK9B=+cZp4!33NJfn|sKL7craGuD0X72ZC zf{MR3?I=B=S!+ANH_fx`kltB8)8xPlvxRui7VVSYyV>HmM*0R1o2&Dr{68@1uN99p z>$i)U^G@~sJMU`Ml$`n}L8?JEQm=lz6}uQ|{Oh2OU5t{q(W+0DaZIcyEO|7xZog%G zPe0@8r=HRS3G5EXe|`-K^Xp?Qn#t4}ckrS6gtq5G*Chk~2Z!Fzl)S?J;o>{fkhH2Q zt|gOX`D^zipG*zO5ZuoHP~DOBmIT+7OTI5Z~cY)JF?_T-S_J7vx! z6W+q3Gg8k8G(Rg_&&F|<@l`^tqQ`sMyk1 zS7Ml62!(c@dU0ceK|y=ZOE^DbG9I-DZoM4mPj7(v{S|xIjox&bCI2CN=`^*SthXQ^wSLK&V=SBZ}wg_+nFCD>z!Gz?cD0is?#QUIYHu#&87!g z9f3C|))=l+t97qh8=ji6PyUBtx0(K&gRBSdyy0aJmk*tL-6Z?dWd~Ltp(V#pZ4{Pe zf9ZCPA!_bHjs@qlERw$3zONMy$p7)j-C?i9%U3Sk^HU06>^S&6i*M_Oa;t!SJpL}{ zC!djQj{76gx&B%G$|BJ@ObU*ZXBm~=yQHbYQSkq8hV88`w)eYL(%;{2O#Xa2{3&a8 zljl2;tlrk5Z+x?SpJ#Ff?+Eem{Zg1@B6Qs>{c@Jjr^6pk-;nd4?7jEoAw}Db+a@28 zYMiWdQqpGES#%Xrb~Ag>i0bmzjPi+~b1!qV2mTH%_XuKNs=Y zwa{|s`C1mUY#T`vDfXbHiA$EW8b-KOFIlqwnUS+8C=xkVB^p+K;OFK-b#j$p>xiU91@6yoP9FW`5UJ;O*qGohs@9%1@vdPtl zs(6_h?OzM7Wzybic_wFKbKLCpR}Ft(DCT&;G0!1$>MouDqsDB-7VZVJzltZS7ye9` zqJDT{!<&ntT`Cj56fN1B-4t5#hf#i$^Bq%0)%sJP4o*;MiD*+(Zwx}v}{R9`&@Hsb>-!Sg((L^E3D?V z#cr^!lJ$4gzStu_QO2<7Ab-XV*DDrFqSCL0IqP1@$hzue@$zxEXQRo~HySsOE0lZQ zoz41D;51A9&g{uM19nATUz6Kbwc`2}Zua$;mpNTAWZQpkzh20+O)N<(&Qu%>SiGw` zc;f2Ew)aDgGK^;F?ry&H?t#fEwl(jrYQ(KD5)Zt@`|+J(Snl3+vQY`k&mNxn#roAA z<{}d@-USyAbc^eqdU)j9wFi^lifz|vTCt-$6DzOm*V`|=Dsg-L?PXg1M*ef?Y+``yOs-A`V`O4iuE7S_?*5ncDtrshnI?Mo@S zL#5xjR!obzsL7EKKDi)l&(T))56-GDTBFVPPk!9^!u#g#=(GgGc6Y_zC64Jg&M&NQ zoV43_eg1^-$FDcJN~iZe`Jm7_`PKymcd;*We}jJ?S;}(lx{yjxh;>Pbo2=t5<=NSs z98xKnR<3gHk2dXCwa;VY@z2>mIQ`-q&p)`d?Qpb~tykL9U(*cVJe{y;LsUj9w({h|d-a{IcDkPvm~`SfJ|~`ZTz+?>FX#42 zt3-LKm)k8oH~qnNwfps|>*F~0Nu|v@5*@q4S#R&}imi5A|9tuUsMa~FwDeZgie}kaR*KwWFB0`l zj1L57xPEujvR2hz7?9i|lN=`3{OrSJ4QEfjO2<{x?$}=bYx8#IoPCYn{8LR{Np0=D z;Id(DXN-F5J+bL`m7f2;Y<+qYf03ow8--4W(x@N?PxU_rWwYzqlD?eNSBCcD2jgUvSX>^%e(LjfpKSRSQ^Izf752nC29F@A~WmEN?HY%T#~80S(|-L)+7?qEBWtT#v+aU=Rc}t`u4dV#)Vk_{(w*Oiv5|kocWr9*p6($m zoc+V4d&Oh6SO22!H1Zhz;i`YtyYxk<2@|i2$*cyoM~o}v>oSpNfs7^$GlUTHCYV7BuvDrT-8fnX}Avg;h#6#n^Ohz`@4SmM*Rqg~qdN7jy#_o%26cf6jnS zDrv?`i(;Eq3plc`IbNH*c%w(^?stkB0ir*QPcZ&>OI3e$nalIy#iuFahTj7}pWo5? z;p@EfUn(Pi@@QJc2c)*IY4wdtdRud;Dj=-&vbd~+e&I0ZO)tQU9 zohw+6#vLePjeM4r_e;!j-IBSY8>Tcfs9dZM-ko6oM(M7bh;4js&a}myCf3iEf15pD zXx1X;xo%54{n`T5b{HKzGIb{RtEZRpZf#3&uoki{`SEJIxmBcblVVuaOrzbQe0ydj z`6sw1Zv6h)=tR=8<=tN|1^ZrDlBe?F%O9(M`_`x(5_;h+^>D(f3$iiEu4`wi)Gs{L zbFarOGpv4#&8>&ixf9dAESg!{vd@V*RsGPli=UZo_f9*seW}c*MS@{AOuEZ&UO%KV zE3&a~z1B>RSzGH`U#nCcnENE{UC`U5pPzKCd(zc7HKWlpq*``qS=Z0Z73+2EeW!b# zm|*2R_nC1K*OCKi1@{Fn3RN&zc}gv;>h$EFYQJ`WH+y2*rFxG~{~oPR_B8PPu2i_Q zMzYGWEm+0!#Z~>Yy$5Vg9M`Wru~c~e4#uy$8f^48l-Af9o^s=0KFi0pcIiX52%irFTZ1*zjVr?2x2uFT$(@pT;-mKd?grtgx0!{P*E5<6wf)_=dgU8$gO9h@@;!~;RQ)q2`jg9qCyEXqX9+y15A*eu z+34QoHh1QkJx!)dd<_Cm)s%{zWcTKt^8E?3DAPOJm&FY_;ZF`P*m!r*hVLs*lpgH9 zuR43zBu+tr;Iy-+OdUCsJ2g8y`h2)b^1j<0ncKWg_^P_ZmX7(}k>^S?yc-1HEZ!iu zVbNWcr1?Ld$D)Ey@qbHr|A}|${+#@^kU{p! zn4yWG?!M&=OFt&Tp5-(tC-KLj$GtZDZlA6f?leyLy{aPLt@)kz zjotNq{g?hrbp6*9C|q}FiT3mMsn#Yk4teZKd>f1d&82jjl^d-masPQ`TNGP-U23}6 zqNku@XOQ~S$~x4Z5;D;l3%tD?Gkiss6Cuc_&4rBxWFH9ZdslB)G; z%2s;qoNa99rSkONl09Pl+=-L>f6Ejp-&0T87bKdsDQMo7==0yVMBiL+b=vgT95bd) zeP4KY^-7hGe(!%jP@c4@qFJ=p{G)z^@L4{7{RNX=zd3Mxrtvp*r`gXMUVnSx!Dh8m zecR5I6F2nUf2*vz|E;Rt#da(2f}0cEQ;%<7|Nl$>6se})`)!l$p7YHURm@eHxWz$a zM!_uEnCpcb)-lgGoxUuw>p)0-P=#8g>(iP=KO|>fUSv3FMtjKCpp^-34`XutU-3;0 z+|=<@XKlc@_cM$6HW_g-OPB~LYpDlL*PPO)6aBKHZ^OSmt1jK0yQDG$*7MvH z-^PB!TQppq{7Cl4?GY3GF6=Wo{^U9md5 zVa?IiiHC2m&zCrsSXFi){l}^MR~P$FIO0{mE57aDvjdH`bK(|6ygYg8hRUU7u2WpD zUl9!tDPE%Xure^?ud`rOn$Y66Q8#~nFe{&bW5R_CmnNk38N886-j`SQ;nZ6{Nl7W* zmz|e3Prb=HzqT#IZF3Wcj1L*YlkY_@Vhdt@uQz z+LNVMcOR`^Tv~iGEFn#|EJ`dwFny)&YK7Wx$F##{xxSYjlWh&y{VRN?R$rVQlD~Qy z`?=4&w>fT0hJ8GCcSCWE`kULK`{pN#r|i7G;~o35Pd*pLi~gjw_gw9ZfAM zIV;PFBhf)C$s9#3+< z88?eS@2eKSZPITaiJvNvck!&-wehvicIH{ZT1t1WNFEe8|08nJsnx5z%H~8}x2sor zx0|!uLg(jo9g)|aHQ%qi4!;mGt9Hxz3H49Zj)$JNYZJe`|9{=S#vYG=`^x+O*Oh7h zT>JZa<&*7oWeJbjY#pqx=_noD_@rsZ`eV{5{qHB(3wl=jEt`~e_uO7jr4~s$G5&+i z@Af&VG<9FtcH8C7jwk*N-mDAGr#_IEmXVw{<%RqsmNQLL%{k3qSAYCW=3{lO$wZ|xrubv_U_{-YroF$&QbJA#_R60Jk@a%qXR;BbMIr5 z@MU9L5ndjD^Ox)F_}bLM`^C@gi=_FFX51BwjIAgQ2&kwC z2q>+HjV&#eRd=wrdZjUl6hRep9zrpL15P#UlHC>hiWN z9t#Xt@7eCsz9#Z7m%;ikON{qV-nR6e?a9a;0yj5ie6Oy&oXD5l+&WjRH+f8+kHH$Qo9_9yQ09k}t8+4@%Ck;h zU1)mw@A`mO#GpC8OwcJj9G z)OtYZh&)+l%Zs-YM%#|yvyL9u` z$++jN2R=4=e6Tr`Af~&}WY-y)L%%lb%{_PC_WH$jt3@^#drW0H*uuW%f-2XI$aN>f z9fVxe)s`>i4%#I0gQF|A$}FPu%ZlsrAukX9OujO;KJjffXKHU}@Ua5hj0pD9rg@G& z3~6-+3)O1!4eh%+ekV=}xuc$CoyKyE=Y&^VXr)`UeC!OijWYXqxNPS7WER!wMa3zwFwS6_F#Jl|n$Ionbe-iy9}yYHMR z=#%Vo&2~TWzh2s|>i_BTDf0IIZGSm_Y+`<2v+I3w-`5k(QY(CYLys+Y&^Yo;ZA#jN z>YVC1ozD4P7kd@21ypV8VzHX}&GdEe{6ewSN8C+kpLir^AYJptr=j(q&wq=+kgl64 z|D1)M8c$MN>%ywssl=QrY zCm)4gbP7nzIGh#aS+Ptg;iyUdH&>Cf_jXpV{rk6htKk99%^juRqA%_{e(mQQwLmeq z88^lLnb)oMc_8t7-burb-t|J<+YfHP;A8gOeRK9P=fue}nRyrNpV&XtHxBx9tnhMR zUrX)Q_Jdz0FW8t67u{s(=B0Bz$yQ$1Nm0K0r=;_me_uqVPRz(rf0=c`wLtscT(|l* z29=pw4@6|P8QeX3WdF%vi~7X3>l4K}Ht7ElKdGb}YkaoJZ~x!M9jArwPW#KcG^X>0 zsidyk`vrv=Qbo_)#7-7S)>R%`QuyO&et@8s!}^+vzu6{9g6AGDDR}x$bjy$Hzr)&{ z_y7B$U31#*(e=fwDltaPm$xrhS+ZPLx!}NqrS%^^FuJmoy!#Tk!(Ax*)boh0l|Lsh zTW8Di>(a6&Gw(G=+dEce1!S(eXMd|`(v7U|(gxj$_uI|Q&&O?VI{12n{89lU!#NK# zJ54ry6LMTUF?7ZGznjz8O+K1UxSlZU?W64rcN*>3_UBc{scchq{X^+IzhB(i^7wJw z%-vb*=4&oH7ge9Q%K8Zl=bWzz>50agEBLT%$M_fmA zb}73*dcWWK{ORQa57V@B`abi;)Nj=_W}4>w;APLF8-G7oPC0n>SM~M2>Zatr`TWbbFx+D1CZT!Sp@Hu{SXBtCtXQ7^QZ(*Ud8UzkN^tZ2 zgVD2cKF>ePyL{*U2e&mvE56+CumAJ6a86XdxYPy-D@LnzArxF7R!8Q(KqL*?Gs*2m@y-L8_z7!YTMh%T8}^9zxy@t z^ufayPTrYUmGtR_`7{3~94E{3%8k^vx6FJT#_k)>ojfDaUjMIX;Qjdjz0oRDo|?)< zhyOIFc<}tnHrZ2d8mZ^@+^>82>1QwZ&Qp0abN=nA@7=si-==zQ^W?A3_uo3dfU$VR ztr>qCH%ywb;*+6`^|eKhqNaRm{V}oPgs_=X! zsaZjd3ccqmPvwS`a9H$;G_2b$_f^cHK;_N)iJ#9#Nu~Z-EIxJa6yGR5V_t< ze@_Z*`YrU8r8%npi@Xp|RxAI4)&~wLxu4(auRb^Pq1mjYdzvo6PjyW`h*iJm*m&Jk z(kSuQ;gxr+ZV0`8^yZn&L$1#Z{J)-sI`N%%h_1fsd2IeMPvvcEpFK+0tG8t0&B@W> zS-kpvJ^VgjBdV^v)wY}@IL}(-=V|r3)6Ra8_0G6f+*M)3&uJlko2kD2fr3oy->JH$ z?PX$S6IWz?&@I*ba6XFfcFWp@arS+?`^;uvD87FGpWzO(Q%m~GEWQL^IeWd{Y18aC z4;on#x19{QANhTQ>~_(ZM|(SWZJ(Gn^Hf()TgfHc#f;+nb=#RG6GC@n?`RL#ki4tgVCw$J&+yHj%BtRZXWVDB1r?W;&bg_7QN4EdoV7J| zzgjn*nCE=vyuCu0-rn_{ud3!|7{x{(jdhIeTaw5buzT{ei3f!or&z98$)h^YFF18Y zy|KifymFDa)2~X|s0mcWMb|zN)&XlC`(5s8j24liukEpU<4HwY&H2@EW1;2v%;VyK2Am z&&^@ZKeT6!W^Qr${zA)N3I^^EFQ2l#e?9)hKCguO;Nf-U5B`|{!>)co>k_vwPNxf0r%s+V-DOqP0(O_lhGoI$C8DeBFP)md_1*i6(rI^V z5=6^)3djozyk2~$mbKWPVYz_iKKI8DlkdyCZ}~mrqEw%}%m2UoeqFARNHW-|qXCYH9Xabi3BX!AwsyO#fdX$B@= z{}dmTs$TYdJC|)`&XvV285axd|5+ODU#0Dl=5sc@me+yJOX@jJEnckH_UCGY^ot`B9erv7O72he zJ(Z4xgg8_Rwo3)r#)j~TezISCb^039-Zft}827)a`#%5i@m-hAG8tIy!`Lfc#`AWr zzxDs>jvu-6synW^ciR~)tWBT* zZSsjTr$Wxu&*}cXW>wj}yCGr84==PS{?AwEs{YZ{vHNs&*@I*EC(Px$|N2wNgS8Ed z{>+hixG?l#Q_D1sgZ8x#KZ%|^$)vlrbMLX&^B372;`?{sPi5QdD)p!@q1O{;DqSzt z59h3`bajj6$_QQea^1&yiu(*7o}4*>ZD!k-oFaS6n{LX*4?2F{@CLR^Gj`;xcv2DGxy3cnujbZ5POIPZjxWCK%=Km80@i&! z5-01$F8mj_otGvo8aPS)Y@|i~y2ZK4VTq?s*-D-*%4v6!IDcw>U;5#Uvui#C-dM); z&q1w4_5O#4+YWC0{kHG^w9-xYmDis&dLUY{XMtqQNnsOa_gj{wzjn_tc*d=(b8eMJ zlhiSxXh9hnY1v&LD?V_(o4on?{;8XrcemZPFK+oGajVWs(=Gl{iDaN*N#W88fui~k z?yDO;PG=nS+rq%>(9D(lk&SJsU2{*va-B;4&1cl^Xh&9@;(sPl_&<4uRWJLU3ibIb z4n|fzWSqG?-2LN|Pj6KsAFg8h8sEMmG~>XR@4+1hR)`4 zi9gtq*ws#oMNF8u^h{&Tj;{|jkCZKlWA)&Pub?xq$y4{q{)!D-PWQ*F{ubX@ z5!)Z3W7F{azG!xy)SAM6-;Ru;wKsUqu-uvb;`;yTzs~H>zFogM=ke-4sx#ZIOl1}+ zZc^B%Gg6Sie(nX>MG(*D$-%aieW?eBzqyX%gJ4gYSuvp6!; z)%@F>)C=Ajyi?VWWG;QHcu=k??DY9nwO-{_s|(&QFJa&H{84)i=hUbL7mo>a?-LDB z*KFhR-MGwa=~V}w%d!9DXVp&(va$|deezVokB@iDSMEvCT`1=xC~@lPAIDv6--I6( z%NL6UhHE`bnO47~?b4<7o;#v03JP1@QT}kK`C!ntJ=#yCBl#q9{RNg~T{0H?d8F;2 zn8$06J%?3l{f^GNe`&+IKY3rT8W&9c$>_cB$YRSs2j`b0n7#0n&Ak@C$<%IoPW_|P zlcQ!gXY6YEa?5w0^D8Ya5m)8FLEh71ZkDiwGsZ$C0^ezLn==f5eNG+ncKS z1I=88BD@1vUlv``eV}*)&)Vfzew~R4GUoDGx|_A=?c%6}$Cb_<;ins|*q*+8dXOio zZ*7Izxg|o2nYRnR-0Pm5)0k}b_`>Zig{DhxpTC?g>A`O)Q@L=ZMeij|&+SW^o}91{ z=T$Cve%dVWT@O#FQp$$sQ$z21oxHr^*Qd4}+OINaJ5RCk;V!%yCM2xO?&>yalEBT# z9YXrf>?=wVU8bE4nYH=btr;(wE~R{Vvx8>^zhZcx&?$k=_tgiaSElbaZmRR1df%(# zU)85y4Oy1OTHPiMm;N)WM5RT7)*mt&O`f<6wCtH>a-W~Xy@?HZq%R&@9a6 z6%-NR<~@13k(;b3Xx%gVVrX-aAZRgkj-S%x3(e{<4W7o;jAoP11juiGVjRq9Wuahd zZmM8x2}XvN3MK|11QIhbR4@T8m^N21F;Xxw2CFkMQ7|!4urM=LFfpB6XxcD2FpRcK18z!wPgL0d{k>Jk9J^Mkv;Vo| z`RdPeKHlyBem7^~ZRWF+<_FaT-0$1ADDvl~_iE+ktG7u>8y(i3s8-wi&41D6+^d%r zPQA^_esyqZo^Pp~X>9R6@5oCl&Eh%dIZsKp-_pxnckS>^UB8VAP4#LUulDVc({sAF zdrExD?_H+;PL>x_8$8Tkv_IdQ6Qe8`I*E%-0hr6?4rq_Lb zcZvT>&e@HkoSVMfC|p+H|K;JoZ_RrzAJQc8^i`_4m>%?SKgpJE!iu9iH<2nakw#m-BX3 z+}n}1^1fW@J>6(pasMOU3t9?CH<~7`ZV*b*N>Sr7WEEk4>cAPm zHib#I(P#nt0+|fPFAQy_7nnFggFbkESo$FNf%i=Q-$5T%x+{FJY-DWIf2hU!&2vG$ zyTO9}B5w@eM=w&V^0=wmmpg&;ywSJKEKPo$XLzhstxhd4cI20Q{X}ccW`-ue&VNM~ z3lB^%c4j)lW3f?&M<}$&K%=kG@!-!nk_%LiTY6Z`I6S>Y@`1}4Q}2+*X3Lt1Yk2be zANlN9Qt*y7X3~ev59BP`1d=e){V)nR$e)**c(hw`D# z58993=iL5sja&BJFKyb2J&We=zIEYk-pgC(-gC__(2RX=-ha=mo^gUp%sWuBXEL&w zp1{H=!enYPnX%oWzBPg~CZzQGJi+&ORv%o^)0|qyel|AH=&VsVk8bhF+Qg8600Gw2 z<-PW|Pq-j-sQcYtOt2eXL!(`RLj$TYAi`r~mu%Z7%n-@LzTJpa1>) z?9?6W@Adzm+dQwFSA1pFy4cXHt+x`_`TzK0slRjA4%WOcVf$t%+UtL>XRZ#cbJQ&h zmt?TAfBUm;|K96%E9R$V?q4^1hj@rq>3X?S=^pyO{ygUY&3H=Q?RVp;%!z*$rp}F8 zdoj%KGhfW(&(pU1J9NZ*Jh|}l@SNj2_I;UkTH?Clx^tJAoS2yZG|d%fWzXZe^F;iS zxXr1`iTbsIauQG8`#e{e-)k3l(C%LSxrL1P>>ST2?z1~*EUq8(#75ab;Yj7S`%&{7 z66Djx#nYcB$jhhSpD^L9uv(8x@2GrcHBubFVaT zL4ED^yWj2}{3p5cx8v%oNuGWimn^+`d+{?#&95G1S<_5yRd3!qn6!TDV)qOC!>1a2 z+r|(vWkaAt$mFRjEG$>Wg^ImgF4+ZLzyMHvZMDi=oe$Ota3` zob|mo^}KkT&@=AiyU)H1yH*?WeM9zqQ@6r?9@GB;!KgrMOog)B69~?wq&O zR{#5_mtT96SDf=KU-o^$J?rZ9ultstzyAN>lxJVE=l`tLv)kQSyV_ORqvA?i;`h}FX}SA5A3Y^k$6Y_%}gFg^~I|mEdKtm>%-j}`Zp{#*0u?TzTH0Klty)S z!J+Hs@1_RS{zpVZfxyr{c*eBT9k=GSN0x^m3qj;hXbn($!4 z@`4N8Vop5^bh{=#sW-QX+hHCvY4@Gk7uM`njz4y_%3(L>^%!mzvlWw~XK(x4x1$8uCB0P7u^Q<`@)o#xL<|R$krZHT69F3CfAT zI3yT0^R3h2%8e`3kh^-&T=|pF(Zr^Ar|!K?jZRRl$eH<3$!B3S_v3wD+8_B)j;%?<14y1#35d_5;X{rigG>k0WKhvUkM1j;Ty zf738GNkwI*@ZxP}zI8;fF&Q)PWmeUTU*P=OmUY57b+*#>nTHj^B4TAXuHUrk#feh2 zCFjzOmmALGe6w@6a-qn+B8FCzz|)JiTAaS65kK{cyGqY-MhW$sTW3C%{AJ+tqgJM6 zBMavao+n1@A36xE+Y+Cu=XN$z`_{qgk_#`lcuttnUGueAF23c=b>o?BPJEMc(hvU( zs;b|ioE6aeI$-f`HDmQmws#NfBV(*xWEf9BYyZXJS>e8T_whTA51g3m&z$f4`=g|r zob1{c8BCdM48ICi?7R2p;lf25G?lbp?m3YeEBvb9o8z2>;x&sN9I4&EDDr!^jQ7Kn z{S7XK+B1ZOx3yO4e3;8>GA6v?@#F$wr)&j-xRmz zz5n6DIgH0mY|a?Jcrx)u`1waBC$~;hc4a^P`qj6P0JmL^Mz51Uif(yxm1XvynyJZW zpPKh2u6j}$S?*mYIrr-Yfw;H3@9#cjUmEmn*OtggmP4P*7c_h*d2YOd^Tys2o9<5f zp+0Bd3zy4!2F>M1rq$=%zp`}$=M4>pYwXv=^7QURJ&>klMZ=d!uTN80-53S1t;0 z{Y~`tE^$usQ+o45*zuJg%Th-pk+-6!KJQTbKRJNINwtqjCg;MY$su+88vOQ)RzIHp z;?$NEm#!wSoowPRcj$H0jM+jzzfU=_`LkES)-b>6wSjdD@;|Ko_T|ghuk~Nne9IM( zUbR}9=hh;Y+sn=^*NnWnKt1*9ij=AIh55I#O$eRyPNDjDq25iWe_K<%@2Jf_<=4Hd zuAzMXjy=ug`^0`Nj^LZ`bU8FpXniX4+TJgJ9A-au4l%rH`=%}Gu4Co8JE8Sig-3%f z%3jmspQ+1GH0PbN*~5>MOTNz4_dl_sv7S3Y*`x31%RftvuKZ&WjAp(T(i+|&8tPig z#yV@RwuW`WtgtW3ePwExW_gR{M7phBF(q`_zxL37@&#o_UKTQHT-`lejB~>K|Ncwr z9+vRdJK9E{(qA7tYgeOyWyOKhYwWAP?Vf0H|3c)gJOEt&6$+fUx$K7MIe;-`;6wVom_oyEEn zcvYExecpcWM+a~8fi1h^{!LbLv2fTjb&vhlQ=8aZ&ac|LOyW<)+%IjNOOG;1vnX#! zf8zRsY00lg%1wGX%4_~iukZ=p!S2PIqxz|8u1Qi!$c6e%Td(#ivGN^%BD0hf=1|Dw%5mG7-w<$&Hbix zb307R{A3M|(`fs!K=AZQ^<2T>@AiueC@y|aCAALC4zxii<+>Edg}Ye0!BTyYkNaKmz_$Pp}F96nQdN5vqxrggo^Qog*md(-RIu8 z@*H2Q@krr|(AF2z#nt#HUCH$=s`v8hs0mT-FXP)h-c(}HFhh_co`)B5RUY&m?=7zzuqkATt zn~`&%@MMW%kx9<8idF4@snosXyo_V|w*W7tkD9tOY zsEfHkMsniU9sc=OT8s<}cxF34l)rftl|B1}dCdIgvc{U)Ich4I(?&Fkh(7C6- zJfZqjm(_ob$-=z5*o#PQ6fSVx7!v2xv$S;Us?c>mp0 zVAd3o3@)>oEBCc1EM9i3N-T@hUVY&_Ev=6JmbKGPJYmS5#M;Fgx#>g1wYvGIIqpxM z;VP$6oA1@u5NfnI%w^*zue~?dlrNaqx4X+t+e)+kd)<;rDnDj?6@RhwPHMA@d4!yR zjNhHRNB-Vbxi|U8ou)m1?lgVb@$Be!j-ta+@{WBQwq8#qZ4+z_9(8GkhZTp=)l3Ocqd}T$yVcO-?>`8 z$)p*4>b=%}!RNSh#*zb@BE7CjTfaKtC+F0EG2oP`(Eej4JsWmRT2fx$tF%|@RQItH z*Q4J%3(J0=x+jaV`sBk&k0XtYhqd^$L+iwtmT!xDQ8KfuW_Q*nGZ8x z{%boBW~8sDHLFZi&*ju*k2|^j3+h+xDY-4HuGtXJv~0?Yn8v9O)?b+|vGdU%K4a*-wJK-Gj~OEPa1H(l`50l;Hp{Q`FWvi^(8}|nklm7W>af; z-|lGa`yH@&i~f}bAM9&evm-ROTQi=y)^cJ;!3S1H&a=6X&ROkP(a~YnCYk%m(lfTF ze$U*RrOxKfp61OC1)(LAb?Ub$8qV6aMrGOINte51zL^;E#_ndYSiiTvgI)a9L;KIX zpWdf=&oNbAs=~giwfW%Ex<*F9d#9I}zV8lyaOY=j`pLy7wRdij$-c!p$#srLhVT00 z&-xyGIV^Ql`p1cjRd0;GNSit4$bWx+%)~!eNA_-grOAR1nq|fY;>*nwjHDGe?Yq%) zKD)reXJ($lg@sX*rcYj(e=ttvo77$AnNlqeS1dESd{$GMOKLJbXrE)YjL|M0v5#^+pl5f#XLc$#G5h3+=p z4JJn)A2`^v$!LXm->>j>-#*>l^JZ!F=K%djXQs{H_x4RcM~RoaazK50iNx#^Zrg0n zzt*$6I{Dj%vYcgC+q9>g?XVE9woJBvW$k^zyZ>Bs^o(W+FJt!gnof-VdW%*l=H{;~ zx%G|F@SkEZCujQ}JHsO59HBp6OxfAqr?byh*WQ@_HF}4*pVo&3<^x!AC(i>SLs*?_SFlr4WB0ZuwHdEfQHy{+C7?~QnVTCvXMQ@hrx7q7M} zX>+8!S<7vyjdC_G+K;_ovsUFzOv;gWAyNk&i=uWF@L#>rYFVj$E9<@>?@y`LN5ASH zoi}*D`RMi1bWNep8594)v|GD3L+bK5-^*?W_rew}ISo?@WFzosHeYBi1=9BpAGX-0B(UKmD$rHj_Va3wwQgOyn#}?OO>=DjhesDwKFOsrTkg z6UjN*p;~F&xPduoo8*naOM6x%8A?wIzH}*jwqN?ByE|F+_rGIvp0QU^BJKS*EA1C` zn^nW72tD$vuYAXQZ=XroJMHlJgY&i=|GhoX+wQnbGI#C~FX^zdGe>?sR4m!4{nBsC z-yeJTMa+B`u<)%pISKznztv^A62z?EMH{!<&R#~ z@A%F6&!uLl@L$$%3BQ@GB>Y1C?nysY|5@G-Hl4hG>x%oy5;u)yn`P{;-uFIaG3|iR zq=+{g7K&}-6*jPw-2TsHS#kfo3-6`&mmFVl)7tD{RYZi$RiSF3f2`>%4*%Eq`($49 zbR%y^3!blntgAm?yJ+*+RB3ztp5t5Y`@d^;esk;G!(7|Ew8Met!#dvP^{Y2tHr*l9 zK3V!+LV~kSRl=(ms{dBor0v_2yY7=$#acn=0eYv-<2s9|2SD)#8nvKJc#X7REvx)Z$k=q-uNY6&;5qVMPCC0g)B z)I?psQzolyU3G8cmCxte12;rWT-exL>E+f?eq!3&f1Lje_>P6Hv3Osp_R6S+`^MG} zcOE|5^*EgGzk_Vcm)Dnhk6eD+e0%51nckWlo;md<(ub}Y@yi@>OP=;nVT+o)z5a`B zVR?1+-clTv6ZT$TkbP|Go^OhoUY#vR`|o_q;EY!|Y#Ub>?f-A*-{<>(r)N!(6X=-L zxMOP|cV9faYyCMO^$M6ZRYmS4}WodYm)IPMU2=i;9;2rHy+5g-}?2`q&TeYNqGM_Zp+3mRD;KC)&X-v^xWf8YOUva2&oy_sb z{@jtZtxF%Qt?1~fpHvlWKilK4PW07x2md^IuzRjp5{o29z6Afi`jY$QHer9(J-ehF z{OFsr9&gAdFIJri?~7O7)Rfd+a?NmV?N{Y`ffT-qH~d^$K80M&kgTYEJM}HjC%F z6qcse*ga8wI$PUknhJ;LE!p}CDTWo{6TljoPaR_e^G|EC#mGAaH1#S6Z@*@Xwq zmnho0>=freDt5Xqd!?!5x67YC*;_5XzJB%6kq>4x*1X774?{-;CMx`w<@LM7SppN?$5{X}GU zOx8TrotL6!#JFS%Z28Z7*+}r)Pq0B}B-Z%NW3-t3!`}=v zO)=RcKy>m-e+xNdY$vuD!%u9Hj{{FqO!f!>9ocdw;Kt;w!J?aY2L553EE&%?z1NtL zWAo|YI4+b4k;u4pjK-5!#Y1fR6)!nCD_#rhY=|*@HspIF$Rdf!uj3~%noX`ta0g9c zY`&Gy&NP|3nGby0!{)N&ZaGF2zfCr5I>Bf$d3iI)ssuR`Y@RWJduGN2kR7YQXV2tJ ze$^(r`A^F`#_82@j1Zq}YG1@T`FRW9Gz;ymXTYOlH<*ab`mU^XVV$7**=mMtT=tu@KmIetp2P znKvufuG#+N>^r$_S(XKhv+@o!wloQcFslEv?X#U09pwEfMPpTt(AHl+Yu8RY%=!BN z-;=-FgXdUXxBT=a^=t0Yc2>WZiC40+WhVv&Cr+7kp6RXoV*C34A12%UjWGQ5_~q+W zwMRLxhfMsu{A&I4)BhX|(?jaN|32~a^sBe;WRu^>3Rl&5o9>a<-~aUS?9-=j_vEWB z|N6JOsBZ7C|9h&Mt1jGrw6XSXpzfM$(>xxp2))Dkg7b0pBbA+hRM@?bKX(_dIFa(= zqe}kXn(B`?-&L<}GrG(9RIjT2`L=k0bJ0efM~|Fv-FqVYo{jyxKmQxr9RG5zNw{6_ ztvC0>4?|O5p+koHHae02XPn8?TIVKN%^y_<(Js;#M{KWZu^E8)(m$8``6~!hjEpDkvY5JLT1*CSC-EsceMVP zsCmy~c~|zyxpKZd{k3(rE52@Am(Tt9xW&aJ)!Fr8sV4=G880~O((I?Q;Osg3D4A(1 zPTjv&mUPzp7T>lLmFPRU!V>~KED%;wmF`uv1m5eFB$)y5n~eJr_~1(F$he?G7j znbLpae&eolv5Cd0s?RgDwuJfwr0OhrYv|i@VT$*;UboxvH?|#bPRNV=9%(8p{jTth zbCj!fx4Q7N`kcQBUbVrgoqJr_9&^n6^5X9d$C!^tl1^|-ad^z_br5?gG;v4V4UJ1r zSkgl#Pwk1WTBT85Yyz794xU5j}sgta(@WZ3+36ohNNo5@j3x)l6JV*PgCFZFlT$Qht&NTTVfw z>Ea)H9_vqd-M9MY`fA;rUzd1RDA`=vc*v6fdFzohhQ73)Cmvj>Y-1q2^uGF#s| z>H0Rw$j56;rj!fa^Obi>buJGG(Vm{&b<#3qO4}O7X#Sml`FFPFHugPTw&{YW&xVt3 zidmVb6BR$E1eAYLT;{t+rv84@L1E)Lb6O6r;+=9LYF1vZ(o-+(8Js0=ekdPejRH%{My~&*tQoXYp)-V?)$0w=sNSi+p9LU{9F;!d^PKqjLDB>lYXZhXsUme za!Zy^^t{)764p*^c3;`DrYuUHSf*UF8X_iWBQt=I=L8^qSP2A@WmB%|ChO znQ%p?4|Y2|8HzQg45c`1w*lMk*F zom{X`X7Z!?_LF_)gG3DHig1`%TIiXZTR@E5w!mSs;sU4?yOEipo}q>L3X`D$+?=FEc9TynOa%!U&J~%yDua=C^0EbjlPwn8PhPkPtP~_}kjcn9S$(nK zWWFW#lgk&w#3z4PEI0Yd68p)%OHwC4T_HBPV4?Knol6}iD=!7{MJLZ)Dm!`NGP}t? zmZnX9xN?rUC)e9eHdvoNIp7P#zIhuQCUa~^ogDB5 z?)h*N-HA%RAB8$uCLC}RS~*?UUPl})*- z?Q-wB>w6vMxzF3u-t>Q;LCwsweU{g2eteFP`}(G?%%)X`}h5-|5W}h;co{2{hHseUgw{)-!Fgi)J6Bh=Knsu zvbU>^^{R}0W$|C~_xXJL>JPsPe$JcwPiOo7@5|5s`}}aW{hnWM&Da0?@nq#y3oiMW z--Nf6&ySPY+xuGm`Ntox*VkYAPg$);+RZgzU;0fsX`Ws8`%25Ldp}pN3qK-wSAE`^Jwo%#^bNcAZTc11zV*_R zsd?@jAtlOKP}#3m-FI!tfu>#t651;ZK}S{ipYHYL8#OGMAqSD^&vvX?s$~`Wm<&g zABob`dkZ%lUOs(d#7@4?^%E=G3yz)-b$etOZXM9S^@9KFApZFCSEBV-2%I{|rTB5i zjz{4yJ9nSSws(tH{y5{EyRrYB)V^PL-L4!-e$*9zRfx6sdtpz8@y8j9WqHMe9vLo{ zTcLmJ^tyfa`$Bg;EUv7}y_s#li&15keD;*t4vTDR`lh{KL7Q`>F~t-4`IiJ z!p|<=HM@H~&vAuQ3qSAEtjS=ow0IpG)4JFD{|e@U%B`w)*IZ1E7`u;zuGqWS|6_67 zmI`Dt}ro%oVHC+DeV~;ymuLZ1P z2&o^*UBv`<9@YWKEo{G9n;1vlGFXmY*Wme=bIuT+)7H+6k0-8%W=C- z`IV5(Xt8ToZGZFa?LQ(!m$M#tD`MW}^m<11G$FM1cWiT~@x zg19Mq@sU4f^tYb!solb8#xi~XuUiEP3q0yhHhwI7%VD(By}JH+-tG|l_`54)-5wlL-fnuQ{{C9S^!&H= zzuI4CeNyfJvM@D;HKJunLA#Mr7*A>XfnyiK*MB<4a46~O(^ubGl_eBRk1Uop5dIS= znjbnr%ka0%qfTZ%!8I}ZkLsbO@rliHf;UHvvbCg`fFTe z@qf37Zws3~ajEVi>B*}V91Pw)&Jtze5Oa8;^^<|4?R7xp05ta_HMV&+nKhR@26Ld zvU^Qr3)oDn&Y4pz>~Zm!N<8LRj8fS$vJ zP;cG?{fBTa~Ih zv2VB5ga@k@$*qxF%wWYUvg4NwV+ljq6Q}-ni&TwQ9*yR205)TzGaxY|CA*?V2W!x=fZ zi0|EE?Z`3jd-UR80`;HW&Ch*%e&+0Rt^Y2s=VjiX?D%l`^|o~DpX}#+KHU8FXZh)V z``~}j?DMQ`gijehS&DhtvZ$Zy(m^wpIhW?!RyYc7IKQmOz$>dRnRH7 zS+#G{x2KPmzS0g{;qdTd%l7HF^|st@+0XlBj0ub1Y-dMu< zi1}*o`ndQDlaprbd(gkudrz*y&HcI25s%isw^z0}a&#atNet;u3)gh>!$i4-b9g`QxEYvPAkqn*w;`SbN3%_G}D3Yr+B5mx9CNi zYniuBs8zZl6t!|wSfg%Y*j8@FP~L4V+fu4Ix3^5-z0(}sw5z{)O1n{XYNO@`EG8STU@@czG}T-X~(6|trP3x{-mkN zYd%N_G+OmsTu;7W;jUXJZ0lC>aeh!;yesOl!MWt0LAmc5yfhx}suFm3A^Ki-78`Tz z$^NLC4H*t>S)vBKHTMF{)f7}~yzj0od~md9<+aW;zg`3%4;OxV*7CjwqnE5w6Q5ea zld~GjnmA=DSNurXuC^`u&Xre2c`lci)#n^e=hWHG_25Xi*6+L((vFiRN3#|@3EeaC z)pD`N2g25UFA1CT>{GGLSI5=Iq@#1vC5oa$9A~b3{~$qJ&5K=9wKw@oWJ>-tVa75^ zHPH>%PN&Rpx&4t#)S@Ytqrpg0ZDEum`%=AbX7`0W>!i5MCtnQRU>y9;Xx$k%=EqC- zDJRs6FOcSuRJ)m|aqVh$w%~^q*J3VIOi$KLYx8C(W<{?{DC+}ywx1vgA(FG~)zw_!jEmKzScK+xmu~6%9X4at? z5f-kA1{)pXo~J6TpRIB&ODTefbrb7_%tP&m`trSBthyrn?8VGG_9tE^KIif;@h|-* zw&lp?RI7-SM~XJhU)XfQcgBKSO*5WIY70LpeaH68Y0mSFX@`UkA}dss^MtIyM&7-uUk zwurr}Zb{GfiGLTfDNHEHDJ@zo$t{vuCp~k9_XN4*ibJv?jE{Cj9^yWp_sY)r=Zt_o zua=5>m^d=7C_7)VV2;;+C-gt(YtWh;!KF1@SHz6RU(QOl^NGp&Fq_FQ{fbvmtf{+YWcYHro~bpOZf|# zKPOlQO!`!NN^=E^Dxc44y~Pj9TV(n}b@jK%m@@G?hC!5sG)I)Uw?Q@jOqc=ZXe>(hRl3mpF=-uM8 z!+uSu^?%Sa>mEby*Mj%HYF`fiys}R1?8f|*$n`}VL+dqv%$7;yF#3N;Uz2YcW9Q11 zNrH_*o)rhJe!5!jxXLc-YFTrh`H#Zox+AF#ELU%Pr}zhU{5-4cv(@2z#ZKvEK{CPn zYuRmM87}`8S~bJ0d-5N?6)Ty4xiOheZ8^Tl;AQ2hS@|23^IzF5J8*Mdl(DpQ@Ry?H zA2Y(&u9~}M<;wD_^*2^7Km4U&)!)F=Gge+=Sj65n?Rc7fqU7d_Ygax$eCzFoqB9~> zc5Qm%q1v#_C?#6w@XBSaIYO(fXNKyvYu^nk3R83peza}b3}!apcfvDUqKfuMzMo*e zM#UgF@{{4|0xgAXNq)EVw%#{uXZQ3^Wn^0GleXzLR}8Z^+()GF)N_h($?g}o)zZ3lhf)aoHtcJ9gwnKy~O83j`z~%7T!7*r~FvG6=u1g z@Q~4QUc2hI(3qenj$rQ+(O!Q*Ncv zs@3vSm{s=AHB)okX_-Ft^G(f$qZ4L-UQs_$eab?a=66r)EMLWI{3_8Azp%elD0x3_x#nx|Tx9*jNm+wA0+ikhqD1u#k%$*GAN1h_rY^I%-F^G=KtLy+y_ z`q0b8ZPv;2rr)vcTXbdGoXx&E?V(vghs6$j`CY}G;QY*IJHxfFef(SrYgfJJ_^K~r z*|~0tgXDrm+OOg*yswnAgle8B_2y~Uc=gTWYxb*p-L%v<5c zlJA0l7g@$PT$-+H$=rA;e4@Hwz^|#DB(&S8pDS-=jjw^EQ7T{F^6*%L z=1)t*)1!Z`dR6~rnr_X^7>A(mT8fWlU&IL%q&^hfHT`s%%&E9#*ZS>lx~cb1FXV{3 z_%&rU(~)M|C&z=ISr}b9^<#tB%KrQ-h3B_>#Mbmq_t^Hi`}gagFX#Pxzft>@?}aau z8D5#s4g2~fd*5EaC3fb)v2u?#tN;JCZ<*G$d2OdZ+FiWD9pvp>Vp?C)w&q;V<~!vP z!M;DLzjItT@r3u1cBt@K>D)IPrnbzKjSwjJj9j@*i$gQEev?W}`K#^wCSBeTwdgTN zy6KhKF3fD-<{g{!(IpFvC1*G=w14K7t24@EPY#fU2x0gCkxC%Oyty4 zP4`acsF`)=5yJ#~-q4;Oj68>egQcSye7`T(&8pYDuwUPb=e$^Ttit-Hc4($yjB}W$^k$Ezyp4wJoSPNi zNp0JHQZe2{j>q;%ccG=;>!4&KIp=Fj7dW0<+JC!+!%{(h#eC_*0=r%&o-lDbHpw?{ z!4#q279}V6>aXaZzx6I4V!4g#j-qevHWr)1`hHB>>tStlaQPZ}1DX7i${UsnZ(@q{ z^&hv6>g)q*21VsNXLD~qJ88L2h2j>@n?c(p z{MTsJ%(=r+Aic@FuPvyu&*ZRpo9WHK<2{a(FE5;3EHL#>^t~7L_F0>FjJJ8aT@6;~ z+P>23Lr*~4la==toJr@{@T%yyV6ni}@6ENVW2Zfsd+P6$_PJ(S-}SYRxyn8(-yWbK z>+U>z!DpLgyPcZy|9!LJm~q@VcK!b6(|I}UE1w^YTk5ri+5M_*+M@+6VXqDN4t!YG zpMOmD>gqS8&pqa7Z0b4ta%OP-UH0!TbCk9-zwNZxs`hK~q1jdQ3KaO7W3SG5Ua4Z2 z&3ELb_g&p@4l=>zS$sz_L(Q)o&51qMAo}#%gzBmajmI356dxpLPm`H{pwQy(73Z0q zLfJd#_#7y-_!YbN_`?<(v6}wFhL%0${f8OL*T0LH(;oc9(_W^%`BB{7ZB5TYMeEsJ{(y({gc_Btw*r~ElC z>v-^^PE{McC?YqbQ_RZn6e-0VXSBu=b`RRJipWD25 zHoqzqztNm^y!0#gsobm5T?g&NYwH{~>|JvDa_)?!D!V@^)}75PdJ>u3zqn@SW!tvz z&bo`(*=N*W7e70*iu;?2UG{_@7xsmmWs|AnnSRsbft<$gN9??J9{;*v{7A0gj%~`G zEib&LX=glMQhmAm;jZGPPaPLbz5V{u<}VxmxAolXtT{Es`sz)uEgzUS{V+9(-EOkr ztBX&pNL$Y7py&<%H=ew3T=L19^hbso$Cl0E7MwHn?$fkI$JSZY?@TdgJ8+fdOQOMk zn}=+-l(*?_l`C7^8{D_2fKTUwd-1yuPd259IQy;SwG?LxUF>V?$sfA-bcM>Ri58o) zH|z{pFQB$WE~K!?z~!#zrA^n*<+(q(Rkgk>SN!KeiKv*b^Q0FDelWFn;5wu$;q21)`x$$aVLZ2i z+gXOpJ?gXr+Y*e(mtJy8blcrR~zImp=1Xdy6<;)Dv$7-eqHsK^@Tpqrz})oUh-(iw3lAH7MF&c)tr0a z->b<_rkq=-EHAd=(}q;Pmpt0L8j>xlSHHQRyk^2`HAyxl5!>qrW}JCy^no$nvg9XQ zi>ie8S4*L9v*!qOXvwy0`y+GH`O4K*hZ=uH=h`od>=ozSc4GHd9nHdf@pI-ah%f&( zfBu(DnM;@YM)w{&ASp6kvO~)4Q^08@CzWT}tHsRcIR4mhmA6;n`R4zwA&QS(^x55dFxV}r)%D41)o(Hg`@m4t0tL8dxh0cet*I1V$KTT=be)( zl1~Tm`zu;9c4%ZCn=-rV#`=pTlB^mlXTI60=Cdgxcv_WJ29IU-L<>!y{XPwoZ<$!W z<+oV5O*6W$TYhG(jD_ZtfQ$u8?sc#EVxi!emJ&46sBeMcmS`1)O9}Tj@lCAZyXkQ3 zMAN%X#|sR0>^iYFQ|42zaDBAdan{#nwMjvX+cakLh`YC)I@sspd9gjmhSBR)QLwI~ z&{2obg$wL%E!X*CqL#GtP0`|03!1gd($=wf9TL+s*M2B)^?8DjD(}sB?+I55JnzZB z`*T@$NAu+WAV_`Fn32zoW(@NC%gZfO_sWJOpQlaFy2L-drqa&i8E$Xr_508 zFY0F6@UQUGhXbt(>SyuD%Fc9rS;94Cs>kN!BZnMLPN=Bf=C=7<(L$M&G&?t?``p)m z_e}MWH;PIxFjBv#6u;nu?ZoIKUs$vc8`n!aJ>D|^$dS)$59qA!Ebs6$I&X9HfTX`9%apco>rZk_~6TDV_nU4Pj+nCETTTGv+&6&mpNNyIKCgc{!^^%<(3S$ z>SsUWK27lNIw8K@z~}z)zwBOS|Ns1I+B{{-PWzf~3}LTY>YIK%J^fkup8p^9{{J{q@3-Z_i#BTdU)tg; zeM0#Ro9*%7^NI?A<{{e!MWqh2YMOuCV7vW9V8iP7PM&^B3$88Af4IW#qh!mQl-DN8 zE2LDHZ|Spp^0+fLr$SlS&+N5p`KHikqN})U4=-)s^S{7LdrDd56dkUR$?+2P9ovo+ zo>g4yY_99)=c2i3%drq$n?*S($tm@dYjbiEu0{KoUHCOgy1qy9k@McJxgmEZOui8C zqiNejQ|b{ZoKn5{vLNzK#%Bdc8;jKPd-acQ9UJh z)6rq3tjdCU$Bt>dUsQdy;@Aq?|1t$qsV9m9n~mkJ)`fjL^>Bk&_{Q*cFS;9L&$ibv6Z?{dk$fS@(^bIFIF5Ecu;*-&Y@Bb#*K3umW?c<#2a^c!1c5|EK&lz5-t6RG~Zce}a{uqXH z=jUyCwkMzCqKbX>^bbw9>Wv?=@?Oty`s^sXVEeuzmWio{xZTdSh*z{L=uhL5acnVi z<(u#JG$2cDFN677oudV86aOU^vjv`b$;!~XG&J^WX6eh9tO1**-I;cH$KFX7YusKc zFZ{V9I_qD+ba&_Ce*r$1FLO(9Nl2buUUl^{H^=@|OKz5fGx9jkE*Fj5b8}~XYv-Fx zwT6=slSLS>tZ8}jxM;%ldA3ht&+8@ZNK)F(@af(Z_O)+sI;T~YF@D{vm@aPc>9LVo zn4^`(mh==6`NOqZ%u6bL<`rKy??L6i!JbKf4v1nyifMT3vXuX^JZiqezuHt0&-OdV&YZ|{nBrr7zTIK*F`t=n@7a3yi7mMJetn|9 zjibAN+yUwM2ebb)?R~-<^hs8yAopjNvE#7*1vQFk4?qGk0U(XJBt^Uz+Y-i)H0QtvUq29I58FRdAu5GNI zb0s(N-2|)9zlsaz8{TXIo(_45sWZZ6h-{?iIG<}rKfEI&}ca9dy8lQ~RRu7&Eo>sVq@ ztCu{_xY9-UY;kAqoO_m*yLuQutPpu3xo-E}Gs5RAMJhgNJNrg_*|Os89Og$8rY|g5 znzfc`<-sHD{t?d^WV-Yl_X(dmpSD%9XD)3d$Wbn?Ke{7&c0J*V20+Ame; zn6hy`$$Pvfb*qLs8_&r%M-%Eg|0K>oad)BH_QEZHUKp|3THaf@!Z1O@)1iL(%H0Cb zFNyG_22D47UU))+A@pQK=)AP%RZBLOhpvr@oF<}g)695Ps^t+|OS?0?kKBUW>njU1de5pZ-(bp+{$XN~J$G+t>Iup86)q(= zjy+J#iQSaEd(!PmS9=?#1U+@opS54j>)w%oSr2z@F3>e_50<+dB*DEx{D#K1t~K8- z|2D0jd^;~dfxq^W;qpr+l8nad9P}^LSo^o#NpX69a!nEU!5cHH?X3cCeqQ^WpCx2U z;LQK^$Mog**YT~bIllh(^R1~J6~CO%YYVik5_taJHYP?ph|4A3cA>)sdZs&=n$e9$jpRjMk9ZER4|FJEgA ztKcK1pfTyi;p;CSclGqHo;s1k%WT=Alg)cFpBy?EB~;Jl@@U^OCdM`T`!#zlqUJex ztB0S76Xs&svUbvjqJ_6Eh;mF>vhcO6j8k-!w}!ykXkQHhvsw3QP8l5E-0kA3$*)hb7N2alX>Js9d30gf z^z2Z}__nlljq|5ZuW!6HGmVq?kWS+1rbkPT{}JQzE83ZRVRqN5`k-cp%c|_gn?Jkk zP0x7hRH;^c@xrW}zX7`M_U~a;wwV3McCl9cl*B*3E=w;x__1c!-JSo|tJ{2d`|`h^ z{+B5!dz^dETOPY_`}^?uRO#R+yEQ91ZXP@HMZc55(r8C%pU*4B3GSG zJa(?)-9(N$P8xoU#?mnRh(C`{xmxY@0$!iOu>O1JlBS zimc50J8m;dUo^hWxGJ3C{iDvQi3>#QZ=G0kq_X{z;>Mz))^xk`N3|@BPHveaRk_iy zoAW5oVcE{NdvB?1oYxtwmYm8}f0+N00J7k(?LFS;wdp zqE>&uVneK2A@9bnx*m1W3n=g;T+_jRhQgg*Vgt$1Kb zSoMzPRxYEeLyk|ilNUINYFu{S__twI94C|P^B0#|>pN0^F%%tp+kE)~yDgLKYAtnx zt?ny+=~gFCzqjFdwPb70Dfve)X4$1UrWf`64)`4!xOA(;E`Bc76H=Q58W&&P<>O<_ z8~VNfvaM+BynU{pMNWn7G(R}gwum4bTJ>l)6_ z*1N*i-oM*!!^GzL_|>~oFWR_D_f@GDr^SZsJUzqs^|U*krw`s+_W9c0set zPEGiIFEZ1&QjnoWQgQe48Nudpo35sQ>0Y1LAb2P5OzbXciNHl`KCm30J?-`Ccdski zB-Kwox~$F^HnqO4k~jF> zYSLzjmkVYoCoaeeUDuVdKx$g%!}@tg!XCM^b=`Ik{JZLbqR@O3>m4%{R)5PE;rku@ zJzD6@=GE?>ZWXf4!Yhpw%`}jsG;O_N3f7#HqV$Y0iaNPqNe*tamV0rc7bk(f`T2Zc@u{-Kz)R z)(4+Y(%OA?&x%y5+e`IM%}HDE>cAzfT}g3fr_66UvTm$dGmYbLlI2o6PY?6h_ePoA zMT<|K-#9sc{-)E}6D%*@c9nSf*7ut~Z=b;A`H$D^UhEOes<@@(r=^~n%GC)E`-&?X zv;2~RCbq`>k|^=8lx+K_xxChQ?Pd%2XR54+VhtJVS9E@xH?vLuv&qz=SE?j1`lj0@I4$e4H{1*U zx3sU{%Gg2lXnJptS?66on~ipBCi6Pgs`3Qu7|88DAM#u1-PI#gN;WK>8>apDE$20L zv0tlMt_Lqxb!(_ME@Ei)I=7Ey?gBNpTS2-EvobmtZZk39y~3}%aY{AMtBpszOSeg+ zA6xxCV&xfzs#~kFKOU*}R#ez3ePQ1bosCB>{7!hfS*YCfT!2i_yaMA*UhC|FzNt>} z+gS8YHQ>+6pRau8yzTrgwaH+|{h1%1g|zLtdSvd|U*gA|eD|C?_Ohzp*zo_%cS}um z3;%3nu4>wFt|u)$J}1q<`ojLmN88dexuY~UPJQ#SPW$Q3=mh?#M|_WCxC1_S?yma$ zdFLkv9?$+shRlUmR5kjKY$;A(@aKe2TKl|hVUO08tqA45<+JEh(u2n`(;|0Xel5h! z_*hEhqI}7XpX%ZJAN1=_W7T@Tp;&mvhmY11s8Jj2=Sz72B7@L?t)q<7*U%DqV`N(}!B{O3^Lkmkw1tW7q zkij6ehI;0vW|j&@W+r;Z1{N?)hI2(GFTXD{dHMrWWg`;ZhxZ57t4jTJl1^jM^jN2V`Ebj$m-a$GB+nZ z_V~DWzti1!r`=DNuJr1PWMXS-O^{DmkeDdQe@5W&Wj~h9pAX#+-jurX(+cNp<~L?= zRNgst>eQ*-MyqwSAO7F#@js(?&FyX3tNHKW|MT2UF7Cvtm#^G*E-O6v-{!#X*?;%v ze13oa|DXJ?58I^!|9*IQ`Ru>!NX_8Ab$fo+KYeZSPt`@Cblq9xoSrTy43p{BgByo%!qfkoEg_|NN>w!!Ih_-08RFkC$6!x5>W975-wj ztSqej;Ez`gPaf~Ow5qD@%iI@1d9iza*4xX^o9{NsRN~W9lLQy5%TFcs4P)1>-n#ts z`qkO5uH9T$Kl5Z&anx;(E_KIMx6J%Zl@)hC+$ej{hvT0?UFNa#6Wwx`3+~pq_U}W@ z7w&I0HGJ&z1abw-47PSD*$I@Mo|vxQ#g}guC~{lJ|JU<`QuQ6mt$Y)+)t|0xnrfCh zdHtn?-!CujSASE(Cam>=*I-vX|M}gL;^y(QCG3k2ESuQ!W=4JbyZO#J3|F0_&Zrxh z>nbdGsnU?P?2lO&Uy)vftHPD&YuRVq*4y|k-+kf5_K-XJyTa}rf3a=#fnD!|s*08* ziLZ-19=Px1`CYt`cNM}mAK*W!Did(WS+aP6=%ouUPiIZ)pS5En@6XLnX5EJOl`pO} z%4?2&BKK1N^v(PH{qZRVhV^1S55ruXx4E9KR&WlP_pw|tusSLE`b51xMx!}5g>H#^ zJfHZ2dDELYxvSP~b1Kc-cD6cf>r$bu8B+7TpM>`(Zhu%Ltz!CSrj^p)PTBK{!A2!> z8y>Ulj4OyU-TIzFZf47 z$}_~(aN6PIxv8&z8g?t_bVXVIePDA{$@SFCc^kKG^py~63}R(`KTm+QWxsQlLhCx| z%q^*#WfshOyJ%se(&m1?ss|!R0;?SlFZ=qjl9PGP_5_nG^TqqPHFFm!YnchAGlb7+ z_d1aLf91rLD<7mD{P4rYTlk8v+q(0fsgCvko|>_~VL1KB$RoFHhfn47t7lUC)Y6ZK z{mxC1&Xe2t(nzhB_x;iQO|j3XxHn(YTM^O~aieP$L$^+@?!owf0`6blc?9IKe-*jD z(^sZaYw3aor_Fq*Lw{KJi^%S9I-KS5(=iW>Jl!FV44Sq^(4EQ-~9fxbFXk(x;e!&`kdEF zeIAPhi>_3k9EDu>$#=L^vUDpvpiC^y8H~d-7!sJ#qq5@tLJl_NW7c7s%w7N;g4OP zBizJ-V{2NhEIkCTE%ua@4J>r|Rw%Pd;nZT0KE*$_OP;obbw0k`srbI)+V8k#)3`az zuN8OK{)~GyGqP>Pv9kJk@~;iz%b3F+|9kHxX`J<7xx+k_1-E)Psh&T9YsSnPaep~~b3#&bMm!_tjR?so1f zoXcahWxH$8;>VwYte;smZg^yQPi*asyLHF3dJo1s@+^B6*hemV;)#`92%<{9Njqm~PKGy<|&e z;RA=s-z5tkz5K-TWKF=&n#GxiUR1|TzS9x4byId@+2dt`%qPlp1bsFgKk?AJ^`dW8 zhQBmtJqM4-;#`q8oG;aG#NRu(^n0RpuM1PtudG6y-kBWpr5O|s#Z_#&(!aH}Fkj?} zR-&d}kV@r_9~X=kzgy;$Tbk6X(R@mB{YPu=n{A#F_n8{Qv^DIvtb6Ow@$mJE7p7%K zJ2rP7_;0k5S$y6;+u2>KTRB@Q5@XyK7us%JzP#asQ&7F=UY*amB1QF^P8R&1osh0( zXg`U4*gwZq(!~zA%vFy`y6GOWYQfpXk0-}(-(9*dV_nH6k;Qxe z%wTm^vt1LW^z?+=(|X18`<8suFT2mFc*otu(lCY3dG?&j-DMJ*vK*Uv&dWyxk%7f#HP@>UXg| zv!1>+$Sv*$)9%7+GpzrA&KP_@gy!o|W&3NV8 zC;Y{XYu2w1e~(%)IrFi_nY=JD&tHXA2NXKXdB1zM-^hs0UR*Lc*XOh4 zyuy1oJ!>ykt}ea$ip$-xXI8ix(^s3#Z6aqsT)f`&`E^U14)-K$P9CkdXWDA)oQ{Kz zW}GS0x@%*<@^7uIcbr@=wh8Y`?=FiwEq(fi_rEXlhwAp6E#io-Z*AGso42|~=+WWg z!1%b^%f8i?xF7g$X83yc!;jH*CAY86H7hAu!hV0HqL@|t!P1}~0r|WSpK94v*$AAS z+I1q0rT^};mMw`+XZfbAS;uvgtFxy5kh4hAY$@p*M*EA4E?#u`I5X4x z{S}c)=Z^Z1TMegaAK0dFq|dqHSD!iCZjD)Irpj>4(c*p6v16ez`#I~?d|zI9th{!o z@XrGAW0P*}()w8L9&qrZ(&BS33*Niv=B&>3+`<05Ot^Eg(eY_15&zzAzI{1=F^9zL z#9R3p7y1|4W^mO{DSP-VH$~KO(}6sx))i|FZi&nj7v7hbE6Vy`E9OTc|Ie=a9lLqa`lfI)zr&;?=#a`|`@%mZ@S6qeJo=46*rSz0moD*}a+aICM z!s_4AV4Tb1UV5zX+EG&xp@^Ho3>WzfM3X=DaPPk2v!S>D*|{kbH%A!?{cd6TkSU_q z+qB1W*~XiD4)C$F&z0{s`?_<(fw`aDei;hRF8ro`<8;mEMs4qRg>6c#w>CcSc)h;9 zQd-}^YyH*6m-`=QC>%eLn5bN?D}Mf-x_^~_Im_D2*W0e%(%Yx(VeAxeBVh8P4Mje= zzp7$R+jvW{hTAkO6Tkb8BRFTG&E@@;{>th8Umd0@ecJ7M=De+e-Bl&A!?^()u56ZO zdYQLw>$+=U*~O9O-wQL%zwdClVLSJ|VqeV6y835&)sqXK98_oc%$j8RD*m4L?|<8_ zY`S>z{;BGZ%(p5|H?{0DvGD!#VP|&B1K%&adcCdg%qORI3T>)5QM#hz#3QaUksAwk zSf2RDv~OQUwd1usv2M$Q3h&pYOTT%3?LbY&-q$O4Gfrh}F^pcUZM*xlVbQ^PjD3C2 zR_}>AcgnW=P5q0Dlk-k-M$Zm2`+0hQ@=@cmrt8~7r)2uG-@11s?#oN7sE_j`lX^dP zo#B17s3A*IOIBt^o~T1aPE1S7jCsxu58i+9|K$*H;K1?|%Pds6AKd)lC(5_;+_MgK zW-AV!;+0oF_g>j1cImqe*Y9|mL{qrBT?=8bNp8Y(} z@`F=Z+L~g?Pa?^)YL=#7O)mc(`{3i2FRAf&Z$`s-HrhJcPmrLK| z4)~L=cYBxNx({9Zw;Wz?aY>$K$C^H6*W8-hD>n2z7EXS=+im4%R+p}a52u8#aA19& z9#E=s>55vg8dr&kS=|hlH|evClu|zSTuZyM>CYT_W8LcdhSx&HkEg$hSGHz<8k_2w zn^+i_Dwvy_=vkOp8ci0QV>|i6;{-+v*v>~ub2C#t6H7}Y1w$iKJp(gSQ!@o~Q*%8_ zi^&ro&z~Im723%&u`nj4lV@Q9Ql(%4*$X*Y|FJaqtN~^dBTGmhuXl>K|6v23CYvzVERqBGwYr) z6intX-Y~`f{3(9liAJ{>$W_B|dHX)_Skj>&saSHD_3^=$zbo z-BT<3XtlPz&&v%0Cm%n!a&qz|r<-E;Lz`?KygTyh9^b*+E#*4zdBQoj?<~sy9shjm zdNG~rJ>NVed8d4w6p;S5g4yVms%3`R8T%H)yh(C%!*;(5vrK6zZPjw!oWniSw!Ztg zk5Ad{ukJT}7s%{lP}^tV^k(~>y-~ibQ4_yjTy#IAUv`60+2(-7n>5~T;J>_Z!{zpH zLG`(Rdh6#u{;QhS?Xf|~Z(j#X(^O+SryQ23kS7uwX8sYo%&g87Evl5j6#p^o_VZ<% zPyfhh{>D`^aoy7O#eN(Cl6tk@{+0Ljuz&gg zotK|WS3UiGZ1#g%kAK|^_wUL6zxk{F?|1qC(SJXDo*VV|&*A;=`}SYeejKJ>Z-1}$ zYmw~#IZ7A2%=doZn;))kf4BB~Ns!mvDVh57U;SFSetuZ&``54k7VOPmfB){c-&apx zFW+Cuc=@H7N!(2fcGJ6mO`iGWs0+M~6^^>C-Yg&FbWK_G@bleoPtCe29C5(i;az*m zqZ47h>U_1ykB>}zbtJ)K|wJZrabZ`}On6 zU%d7jjJ!fqF5M1IUv8)-d)t3{vezpM>)s-M$76~-y$r7={wi!<)>pBp=J-duxtE$- z?Waz!-`_<ph^hbA?&D4YACgd!uOs~t2VAAZCx7#nJm%gvA@?ZaxD^Hg9Z0-H5mU_kffU}Ad zN9>)5lKb)R)@rU^I%77!=o=oUvI9S&GqRU-t1P#U4-f2it53PVRKnTo(lVFgRaXU+ z<~l@Ov3o8U5O976d!O6^W#fA0d6ltScPw&{3)*yD;Fro}EtW1b`~n%%>A@~`FH>8HD0jKIZnp6-D=c%T4Rud-kD&%b7w|=A^@g zEIWO#KfLK0nW&dh`6njEXH%m48}ZY}J{!e`e-=5C^7_%8n-4h>L>>CQLOdhm8w1u>BL0cmCkHrG)8a%;Neve!5dtjMB1i*&PWv$olzr%B1C;u1mIC z3n{tYV5wyaT+zU!!FTxZ9}QmrnOg>NyWEL4EFmzLF=-Npuq>F!TF{a-*QFqR(YMc891kxspJrs8s`T(9WA@zI z2b#8m_rHQRMP096qhDYVA+Iyy7_*v1zv+BL|WYs15tERfvZ~L;qIFfhkft&1kT&t}X z8XsWe6ghwDlrZD9c~>S1e8}tF@XX9ksbtDEd*?;RhOht)3LWA54e$!PIR(S{`N zGa-@dcjc7Ga5!J!zaGCn^~%N?t7(zP=RU9c|M=_eRzZ8Q&s^KOEsxK*{YjJcPG^N) zT8^pOSS9RtKy&nswXkpyvI{B{B7*5?Z)M|)LjZ@KEVdsr`kXl?@WtGlh3;XV|jRAzpA-sdNFm^nj_!7Km4@&;isqmyXK6<;T9^XWg@UK1<=vs}5$B2cP5Q6ASV? zqN8qB>cxE9=XT*7K85$%*DAaZG)?nST3MFYGc@P_fvazuP?c@t0ljvc^-G6dkJ6Li(PXKC(Cj)Jye!v zR|;CVQBlLU+s^uKz0wc=fb7NUQLmO=*u-Mbs+gajzVPGTO_P^yy8K10Zf?t=w`c#{ zp6)tx&Jj1cHJa9%C{u zjehb>b1iS@#FWU_*Ah1FJnD6>Q^{9@!zote!zaJ>2{Yq%rWyP?Vr1WFJm-2!TY6i} z?PxR8+0F%td`&h!B}|&~Keos@F~kJL&*8s)?QF~W_7(aS%4arij+9G_bb5bFTU>#C zM$ZX%=gHT8qgo;s^fg@vrW3ZBI=8xt)Q|I72B5HvaVlAGQ^&j7Dn%MC9 zO4KqVA0O3?-&M9v>^!2J_b@1A>$($penNLrx>UQj#XkOJX1k}!EO>Sn<5tfjOcl$2 z*Y{;fswCC1_}#K@ip+X%>AL5!sAKx}4sPd+n9|)chjlKLGCDduDfenl>+U(BAo>ctbml76nw9aE=87N%x@ zRP~K!MzP)Y{4;%$&7sQV*9qAnkDWwJb3S>;DNU%j8F6OA+)q`RPkejTwiR-0_;Zuf zWS-B0G=q8Pmx>7@v_w0l1D^9)+&uHU+GOLDM#fClI7Z5KDT zWLqohI2+_>-{jqqmzjFdf@?1i$FH;26(3kGIj_4@Y<~2@yr?3Nw@J&gK3jEqENA1{ zbs%MJ!!zZrzXIm%e|FK!Ej*`w>aTsd*3ONqE*Xcty^wi*`?bf*XNvC+eSUM6H}}%1 zW|2&KY8W|AM2!)pMvS@ciwbJs0;mZyjs<1 z(vt_=A43IM*2-;`k@tASaQ(j1RYqr@XI9rj#jL;Z{*-fhdV_KPls&Hgs~DZ${yAIE z*uF_wtHg5a-oCGi%zT3K>V3v*IYT5a9P^31dRkFH;qyD5`D^W_s86+eteElF_<9A` z-Am_O<=lR<_xu#i@3^xuDTdemg9#Q zubwUrd$C`%#yuc*&5vJQ4*R|+?Mr_<>q2>ov1a|x8h(cO8_(OHJ<5$&=(;7CS@5IE zn_-j5dPm*gE%VhEE5uzCnX9XnlFNAc`_zI}3Kt*xFwD!%e4)Xq|FLCuQ%u*{yxEI# z@-9B;+AOp@N!8iZPOQjUVA}LqWyxZfB^SP~*=Vl#@!mTFhFPDOI?Nn%QW}31o=r;O zN)_nP=NCLs?`dy$Gbeht!Lt8_>KprOR?pR)#8ZA|@tK}2Y6p%h74ZCKaOf;;nl|TC z+&VA>ddg%Rwq>%g8*Nil;3nuMNtf)M7NP?d)`KMQd?#)F8g&~a-C!H&1Yq$2@98+n>wD@Uc6*|>bwI7U!{o4xVJui$^E1LbGiN;`F_rgJYLd= z{_wSH+eKGQcjjr7Uf#RWWZ(Jq3tfNr|DPoncJ#x?c{Mo}Q+O_x_?ll?|68hd+R`P- zuN0NcZ9U%=X};7b6^-&{=G^^SK2={P;J(eckDWw znpWiW$XFj%P}Y1t|3-7cR%=E5w4N_>66ZRkyh&JodGfI*(f)GsMoZ>--HFVrR9L4DEbKiFU$Loo|W&`<*x+SyE?qXgv` zEkQTy_|=P=t4w%s=k_T^(Sw;XH#)bg>t;T_RQR)fdR-y=$+@d# zOVq>mMt}bK_Z#!wnVc5o@oTDt6jV**-z-cl+G1pC&eiL<;RI_|@Em zRr_Ko7uUBUX_3pPLjy`COuONwlek{Q+;mY((x$b`mg;&1)W3UwLRwp@m}mK>bMJo5 z&B)c9B3rsOPUVW2iHn>*t8sJI3i13OTxYqfb8IdeIc~XhB6aN?UxBy(8)6a)mUr$B zxjV%$=H;B-AyS9ATGlJ8@@57xOIp2tRp;hl6k(ZcG3~KabkEfjqKA%c0ZwBB{OEs;cb-i-VkY2qUbJ_c|&JC+cXXK%KZfwbF5A-U&a4#rz^Xk zN1tE9lFyYUKUgz4ECj)EQYpd6KY9K#wdtX3j75y*pv4i4hLZ~oMJ6AZD!^zmT~LD2 zZ2B${MiFsv?;I3ku#>Ya4MA}@{k{mJGPALfA-IcvS0*-JdgsTx`;(HR`%*Noe42fG z5x?yn(F|^p9oK5DM04jJ`d-4e>c`Um`|jkQEAUvSa@>>8F>G3y#hiS;_RXhP-}?Xi zz~7^q=jLR`eEm3m_5Zk!@7UIt9Nw}a>h=SD{tu6@{`{j)v=VOry+ih4Al>`MbsLN@?wi)|d9LA5P|ybZ%G0^L^-FQU<-5MgR!OmK5o>3dZc@xVYT|c4^!v|Care*H z`}yo)2$N$@+Oxt^?UN|X=+pbzH*oKYQ#h&C#`m?6S|d7z6!c{-{sJj12foE7J4vjIU{&sy}{mqg`U1AcBQ_p zx0=Hx`C#{En?ruzr|adWboiYt2`wtTXb{|e?3^ASORTf72T6CU@S{$m>3l|6DT6 zb=p0z)bh(q%a>V}@9^ha%PB`*w*9T0WE>j* z>8F@*+?m+g%>OTcd`=FJO7ip6TWb({wq=9Y^?fc+|CcQLt5n~1YVsPH?p2nhsWS?9 zO$=jQRsCjNt>&}J2g|0P53WzwJME&nPGI+wGgi+fm#SHw^GNe^S!}U=+0!Mzog@EG z&$Z7MUc7xx*|BJa&U!7&vu#@^g)fh{`;aIgw0Rg zD)U&|v*$sNd6RY2JADVO`sS+Rx#t3sY8K8sb8@NJBc78o?Hdn&Nh-)R+;JnqS7h<) zYnqM|oH%*B%bzXLex<*rUQg$7RFR{x*3TcF)5G^hMqTA7yf8UdHgfBY>$7k)!e#xlC-4!p0!4QK382de_&~`uKCr^EnU8KG1#@c8POp!m5pZtIbOfIWnDh znCyH<@uTMJiyW#?GP%RexHHzjpHvc1SYLBZV9Q?j7gO#};O<+-5xX({^Q;Yjimx@N zKS>w*;l1Zp&0X!JTT{18-##&a*PMmEKU}u`VOr;s`ugp2-+68?tRxrK>^*1l;V;jd ztSw$scrTWjMH%e8l@hi$`_@(qQ%}1VS?A)QgCEX6Dcml=C=)Q(q2iYO+WVp1$4v5f zZMr&XiRIlI#`c(}8k#%rn!o5MpZqdp$ye1k>@ySejxXub5=-)bzfhxH`IC>cLv5$1 zU}8&%{|}!Z+U$yZ_fN0lWt6K|-??%9{$Gb8j&1Svyou z%U^hHW3OY}d%yohc(aQRU*QF-^2FR*ZOrdh%jdt?-0#u#CDU!;oH-vH_p?vi_b>15 zqD8Eywq7tYnwFMmcsO9*tcjPo^t5kF*ExZJjG_x$cC45wzcl5B{4Pb^61)1` zj~C8(>FzGOzfE$Qx7s7-DQ#D8$!|KtyXC^yzc&RlH~d@Te_cf7tvw&+qAcH<{V0 z=lrBa(@(CfQLES3mg?AZH}x~ulGrPzVsqHiJ?bN~d^em=o-giD^F)3-Z>Zwm=Mf(j zFU~FQ(pr&s=Fr0ZMRlx(Y6U05U%#FFFW_F`%_Vnr*=GLbHCyf0khbA#$$W0pf^ScF zBRr31PLIFoHScY4tfJIg2f5bT3*xhEIx<@ncL_J{e*I;^Yt5(&-wSUX z`o8^WwD9%6!AvPf4m$G}+Sg{dsS9nI{cf|sOFmPHx0fUegwtO1duw)EwfH}H;7}$q zb%ouYxZ^=u0!u}vpW4k)v4`!V;UAgXEVu8JFJx(A;4{1N`BrEBuDPH8t=gGbYW?=f zy1$>90wCER-!ui=-{B`0RE<)TUd?z+MFt{UlYGR^^P(FYV$NJp8|J@1Ko(YvdIf*mrbVI4*A%epB~P zaRwK>LVK5KH65qh zV+{0`Y@W$}Avl3m=ZWlwGjB9>1wS%A)L3R9WKr*HGOvVd>R}JziPD?=_-z)-G|hkG zx}xs(-J5e3wuPVa5V&@`+b6l}+lSlAOYclHnvmF5$e-LUF$#1I(EWp;_XGZFFHpHx~%WM&)W0AnL8;U$#YM< z+i_pco*l(O^#`8>Wf^O#G}){_CgHEHbpA}!@!KzEr=H2_UKP7yCG%IWiDw#bYYVy_ z(_rD*^h>tG+{nJ@V7Go-{HD%U!7k3*`{!_~2~W$^dn}bx*_!$KNYK@=Pp#4XJoSer zxg?*+bxnR$bTsVOT3N||pEfUTw&RU=-FdJy<x(K+5C_1L=+n*v?6m#zJ@tWW3ndd`B=JvsNU3R)hzvV=kBS^nFlx1;~;RGxC| zR>c0-mkkB^OJ?`1zh!-UpN@`F)1(Va^K&h)W`rNjZ3yg>l%4m~g>z=^{I;^iOLHcd z^W8MRx1{aJPkok?vx4@`Xs$OXefj>!n~3c__owgZ5z}L7v&o$=9_zY!(L?9UDMAic z0tAXKG;VY{#-PN!HP+dP-6^i!FwL%GM)|Q!!)0-vLbDsSjAnE`niBRb*YTHPdDs%3 z^dqdZLhdnmh=p|@Uv;!eXYcb9TmA;+Mk}t#EuHl%JVTl5w*20^OKUAP7Y3fM=W|%c zJl(Iy?7(4u(@+to_puF@Y%yBbZ@dU95xKWUXt&OaeBE=3%U2d~vD3rUco!1~KYtd3yL6c8Qe(C9MyWG9^ zIhXddzdL7eW%B0A9+~T^9@IMZ(5YMLH(Sl)e%;#saBJXBlXixf3KiAK9RHZi3|@AM z?U&&0T`c0r^eAnv?b8?K59g{LnOEoLSp2a|>-6`cIX3Up!+lK83bDwTKXSL#QC?=^ zy}s1QQ=XHHZ=6zZC;Brs=~T3^E4PiC(Yu)mWYo!@`^|BIsef+h7oXNS(`TqLq} z|7QMNH+9{s3FoFv@X+$fN|L*^`_1u>J{*Sex8DBz(0n>^`6`31Jsihoy^LBM_r-Vm zW>H2}w)myW_iQz%-xFn&WbB{*LzK}%$>r_zH^JOeo+c49+=RF?`=pcQOD;Xo<4?G? zTQDL>Y3DTk=|N(Qk?iLWTUvF=MNZ!&#%NM++0&r*%~Fo?0V(w|65k% zm%nY>7ss66M10P@t$gL-Z@pE|H{Gk;`;m!j z4sYMNujcif&%ZMrJsY)e>s9`^Vv9!ywnWVrElc#$zjrL`o}28xtsATU#a`d|@0^l8 z$Go)+W_R|9z5cl7{Aq#i@C7mI*YwPirp(o5%vct6A*Sbb8z*Dl&aK^H+w14N{IIW{ zD=MvbXGZqYiE1L+zE_gImjzWYJPa~F3p%yAxTGjGF_$ZK^4ehb=}sE(xEIB`_+dIY zDI8a21YfAY!E6j$kFoI=Hveoc00LDzS49e&vYGjlk?mO+wNEw zeAQI4=Wt*0WcRd{4s{XL*)z(wnF`i_RgPUXf6wuMd3%hCLVBNQ7GK}EOup1o?`*60 ztgW-GH&3wg$oRALj?t>ag6EGt>b4eoYPazCrODsxXYYQNIO~)1wq3t!gpZWk>{L9M z&rrGj;uF1jHR8Tfv6|~{9GU<3Xvgg9S6O|G4mhf9nob_Y*%GFl$>BIJat9mm-zTN}BA zSKkb)4rc9nIKSfd&2rWrYoDbCua9TmJnwe1K0B$?=24W{|F}1w_8FY5bNgy>vt~<1 z=gU@|!ry$+8eG5hij^)m$i{4qKDhQsp=%1?^lzKz*1zf6HR-n9xs9t&sNIXI2~EmY z(~M5rnR7R3Qo2Uf5}!jx%lG=)?)9#i+)!x{{mQs;gS@9osi-Gg!lJW|zdru&F?`kH z*Ai|!b$V)$I#0s?=mJ+d3x@zgJc%Y z@Y&3AZ%fZ?h3TrgQqLxR_G>%krnQXc`^^`RC0x$zynVT%)bX>e>Jzh+NGI<0Cz=V- zuG=l&MZE64+M#W!xZm^RUZ*|H3M{`F_^vNl)$VvKX3a8}CQP*$B zPW7!<^<$oXNv1G=h0zIbspQQo)I9j7J^gi=wSH>l&Dz@BWg3!3D?A+j&-&HivsZck z_4c>**3k#OC*2OZ6u0q5=^3eSk7jMZ(5AU=LF|Fv$85W291Ca__^M?VJHvx%>5OA) zg3ovbPpSNRKk2pYR)sswte4+?K7XK?`AliFU+|e2UG4gRepW|yR9i0piJe|l`FhT= zr&^Ep1uJE{NIX}K?M}+~-JB8I>8U?G?{{Lo=CjMEeyp3V@oV1m$IqwB&-+!T{yB>C z>5^QF$(J$@JKr{``MT}5;_*BUt-yN`X?rt61r8kg=2+qUjC*(I`NMNvS47@6J+_Xe z_+EQ!(&Rll9@D0>l-3Izx|yf?SN!cE^Xs)mvlo~5R7*$oX#CsBW3a7g{_)lu8HJhK zTvp~4PR;FTT~oU7RA8K%gmB5-to0uaW4D`KZ~owKoM`>P?_a6mz9;n`y}A+>O+B=@ z$ZO8rCmLN{8cSTbFQ?E znKcZH_Z^w?IC9^IIh;#%&si@Nc6>o6`zF~YCF$r zcJH-V!gN=hdv|5giz|$tOgGIBtg>9GWtwc#xG=2tYW-Y`l}a2H55B$5J^pyhYT?_f zjqX0bc~k$C*!6-}s?Tnvm`RQ{!Xp{S15Zrp+|&3__2AlWH~VJGz{_*G z8{!3SH=8|^;hs2u>c_};)>ne2@0x0+l(O~S`Qr{QaqV0gTXp9!de%Q~;yXJzZ0QcA zjpvsCT%GP%5|Qykyxv4#TT}7rp9wbBsfX&%3bE*`a|O;|JRKzAGy4VS58rFj4eDK8 zwFXje1+87CHSz5FH%ncmSj%Cp+!r}#q~S+SmTbrnILOc z;~e~SpUaV3b@Gn?zRqgh*XiJ=eIeY+$?A*1lxP3$7;jFF_wrN|{mxduZ7JX8Z_IHj zR?TO(-cOnT^2-;+T#kxID^)sLY^JarJZHr>Z=<=r6pQ1h!arN4B| zfr2BGT)t|@=$H1eTReIA-VH7;nsDDskR4=t-EI2SuG{~Qda!X)XnB|3bQ9|f8)sF zlX#7_uxlCnG~uwhb;kFMp6>PE)uP=e=6kzq%9*yfw))LqZ>TZaCQK+e?=|uGDcAX@ znA1M+*1objSocrajPuZ*W0Q_warx16>DpxHx#s?CZ?c;X$xqO*dDrcG;Yjx?4?fN| zAqBzDHoDF~Dp#HUWK+7m&S#R;=CHQ)Pa0Oc1sg`47M<+&W6f56zXw(4Ted{a57qYC zD02Aq?TETImq~Nq)vsR}=jOc5OVY#ijLIA)mo4h==ZOBk`s_5f+S9L=Z8^thI?P%+Bu3oY1_Xj7L)s~+x zS?*r7Q{YZN*Oe+eHol_3>$f9&zfa^#Zk{Gn(fOqCgz~gN=LvT{%6GPi*Y`2!Sf^Z@ zZqw){(Eiq2;|y0=Qq0ZJ1N~dmIZSe=g`2!PsNBf0P8^bG#|D8D#m`shj(J-{S896{kG-KypWqRbN}3_DfY?zwGD6QS)cV5<+i>9?!A(=DQwX>-M1`d_)e-IzDzA>ZsPE$4o68eIy> zeRwQZX;)K25PwMhg->r9KP1m7UYAoMp0;E4PWHP-%lEj)Z&tF|ywLn`$~{WQ z=RGaqusXo$S7PLd={oW$*Jt`_zhB)G!qysYt2(>9RqMOz zEkS!{2GNLy8|I-*ch2n%nYq3rB-Z%-+~vjVRx2TdK~+hS}9 zUUsfv30^X+UDmAP z?yvv1|L3R2b93tce44-e^Y%@Ft1ACieZPI(x-|M~*`llaa%&&&nGm*ZUFF}0?|#?n zFMYFgWB&WMPixEnF8EWw@aLPB&u%lxYGoaf3@ z__VQ2CVuwAYT0%7YvzB5RsHPqp5>^@0b7wj7w%-ZpJKFn5_nf6Iq4LO+r013J-$VT zhPUW%yj3nZPjy>%dcfgBf4^Q}X`ZR@z)kSHv3hmfI?hj9CU^_Al-w)+v#?&2^MOrySEGRJp2>X2zB?=3bk6xVV|BEG+q$j&iHB8A z8^#qeohz@b_i6dwvFxZ~Wpka&nF&sR^NO~__y3>02 z&jkzpQ_F-m<$hgr!MyRyi37Ho{JAZesr4Sy_};Ag_*c6`qgMElFZcF{otf_5AAY`G zX!vWH>{>Okf5$9ZjiOeBRXz|skIhU@ve;UKyx}P2{(Yxl|wGqf*m}L3nxPxZ8fRsw8Y_ROkUX$-3i?{WJ`Tg-% zV1Bx-o_WjWrzW2{BM%)ln)cSM;*8zqPs?X?E&p^Q#Ny11_r+`WwBEjCTNVB??6cq8 z^G{Fl{dB%*ks~iO`RQup#l(S!Q=+TA>_cdzYh`>=L3i?+y-utk;?d*1iIu9rV8GP!m}nNh%_#;$#{ z8KkC!KF3dL$SeYXn^dn@D?F+0kOp+U!M%32Y#9|^vbPF~cv zTij@|=HjNM(rLTyh=%lszggLnXe2Ua_D8#8Igvr_4E9`ae&6Kn*Di^XG+_OGAYox= zxV72g#68JM6Q)a^cb2Iyb?83tVk5L;+cFm~_t!>`4C7z@4$F93TdnyuvGTp^>N7Ie zeRW)>SU)ug42;bvy*G=4$Lg`9XMaO@>C71l@%xodlxP1f*Xg|V)1^Op4@f`t*Ev?~4)6+BvtE`Rp-z@Q`VmQKHc<*3?7uSZh3+-iz$MedxuEqKKXS@2noO zb#35Tp|^06?D5QtkuRg8d!kr&uH$g`@GFVPR$I05>K2LU=#4JA+SZ0bx8+yud3GxE zTFBP5R#87qx{KQS9EDGD?oFSbdv~H>{Vv_huR@9oHdG|+kvLP;;5~iWeCJC2HO2Rg z8E1WQIWS-R$Y)*|-*}#r^WV2f{wO{iae@1(^$hzT|8Dcio>pzG`=P=omlFqK*E8`b(yW)J@b<5vZ-a9&NcGhWq`2UU?PyKuE#c@3Q54=)ypQaQ3VA{lo zBJUFfN>T%qbng5Ro-gudlg;g$xn`$b!#tPCNLIwPe4N+Ou-E8c=OvZaq-s<5j$Pl% zxUU%mJ`B6H=!!aveM(xFz;{m3R`%#;FW%jH@j^5>Y0EU5bG{#~b7ZtMc)J(YgdHgM zxY_J#FTTO|%*UBY``y`(?Y3eSKFQx`&)oKX^N|O0W?8&GP;sv`>D21?v*nh`eW|{C z?i+Wf8*UU$Xofsa|*mIslK_4#WI>Q-#(>z*38 zYeJfjz_PD9Kd-k~`780w+e62ea83M@QBi%aS>L{H`U8DN>G}!N6uDM)ZoO5v?9umN zDZ$UJo_BnfFWH_KET4XE-pnhrm4v&^KYS|+bjy=3-*~>mLVZt&;;x@I*=*+fIKDN! zxph3)O|kd4cnf3#V_)wO=_cW^0WXKI*h%*;P5O z^F!{e^q?Ipo?jG*DLvRPKJUl;XWGGw+nD%geik}r^EmtN%|nLSPrsy{-5HeiY~_JT zY1|KYIUKBd_H7m4iCfcC-CmqzkLL;uJi!rGc4+H^Z=7B&Q{pG93e@+QPLZ!mG1|Vf zK1svQKq2OB?WN>tigr^SE=*k>$l-m>I`f_%&)3+!5!>$R?fbGrRMCIRjzrUA_HU+N zSl?5+gHK-l`gEb28tGGtHC8nK%S_$ga?wTIap{3;(|_yE+WS>(bxF#HyXn^^Zu@57 zH)Z)8wLr&zj=XwZY&QJdi^0% zzS%8L#Z(Ous zPK5azBa5!S#oN@^f4OioyJwE5E!Q;z+l(1&U3%oTHXRV0$lNBke+j$CE@`fb51fs! z=pAC06x~|CNB4*1rZf#sP|I(+ryaccHoesYF?VvzgHe>p$ZYz1J4Utor_t5@GTV9o z*V`YxlYG9qyn1t0pNVPLqO!+kWwHl8h;mH$DsQ)EI) zeD;IB^#7-i_fP75Ta#m+yj!Mz^=tmCe_tOp|GvWd-i#8@cQ%cSR?W;a&Yh|p@#~RKTk1=} zH#`cx*C$Tdx8m)pCASvtI&9tWPiq$c`@M6M-_2>tUfxnacZrzVKKb*N3EgRJYSW8b z=L>$2*m2E0X=zjWLj(Qx36If3oU>5Ikn$ZJjuo%KxV*!5G}GdrAL zM#r8H|GmlQ*X$E**7eGv|N4C!G;Je4=;-dLkD2ds{-W1BeMRMOzfPL`jxD;S`Q4)Y z+r1sfZS`|Hdc3no9~^H`VMdR=v`rt8Iy+WHOd^I9ai z&$ew+=bNO)pnS@08Y_3~`8n(7>`y+Gx+HqXFL5P7F?02*J5SVgxCI2=r)d_+XcR}u ztZPzK7WT<}wCu@}sB65B@BBDfURLY znv}+j11Z72#~yd_obtMw!nNsxdF+Dvty?ovHL|V6+}E*4XPw^2@Oeu8^jV+7uJfqH z1{;-YeN@Y4;cQ(I)*~N0W8T})sZCRNh)2X6eXmus|H3yPreK}BUdMbcS_L&SojJ95 z&E*fbBDDKAp1Zp5+C&Mq8&=7&d`E5NE@W(VXP3Jlv72kY;*MS;_JjPX)!X)5+ja58 zyoCDwT&{PyPpvza1Gx24376_aiiP31nWk{Qx=_DQrmV@1@K-RZ9CGPbD^N$dX# zSUgQXo$~x)l)TC1?Aj`w)dShSAz`Z?^E=dA>36{gf4{+4ZePt-ln`7R}E4CBm?3sgK*{ zy4iWZYQO(*{$BA|&RkvgQs9q8u5Ho|m%>#w+ymXC>o2QWI)!e_&|j)Q`Tq^udu;mz zChd0>I>~e(xK27JeNjmMV+M!vuQt{uBEdx$Vt?LxVUif)eYAGbg{{Xn&qlC0*?zj; z(wXTu;m_?17xPAjr@rUDh(!k+|E4IOtMXgHz~XsF`P@%e`-9fxRhh^|{Ehi(|4paX zjfJJXy8qwp^rI~yrW^E^?zndJvs%$=$y3aHKle^N64W-^r(vfy`=0teCoFC}_$JU> z=(z8Uk-G823Ex;IDy?J*lFB_2KSlI*+P5C2pxI}8F7$FE*Qs zaD0<^<|nuJ@t)L`hgn0M4b2se>#O#3?&96PuWNRn=eaLT+j+NrJv7y7k+-U2^c#gI zR`aY_;+~nz%6*$?YonajFKr_j{%-xv^thkAE_#W_&urPSe#xz6+Zg`;%j(%J@%hu= zrqK8Cb?iLY{$C&e=L2Jfy>7@?vARQntJc{amfv$x;Z)fFh&}NfdD#bV#Xf#l zzuaG`b#3DAOSfb%emSK6TKeXVJ73P`WC?5#DejCq9^U72c-x{3fs;Q@O^gW4zNs|n z<5cB`a}M5{=3uhBTzF#3KIz`hW97nvJbecr2weQJPWe;wZ~^N%aps0xu>V zd*!~|lsCnHQ)r0)Zrz;+Dm^SG9MU+dZ93yRXJvc+UhBCE7VfvcomY3iYyACcQM~VW z)z9oqXRYV-N-!ua&JLB4+8Jae^(>_0{|#%e?-ft)wRV1-a@hf9^>~8<^E2RnA^Ys|vigVuf~4*wWwJZ>D%uNi!P=PL+&#lQE;`+=i1! zUy7?9=}}a4E9DMcLlelvWA@!2cx&jCwzO7ak=(|QOqp2t?i3l zyP_ny|KxORo7|u-ugIPjdq1G?OUIh*15fU9oU!W-+PCTOz8t>J$ESpqCSDYnV_@$1 z;jGUV%~0-xD?NR4&Tfh_6q;4Cbq(XJHG!%o{%SA!4c6xFzR32t{{8B5l}C;5gu`x3 z_|&;%OToWnLRFpS!rwk^kqG`G&^r z*ON-!0p7X<5wf37XchdOZOWj*ExzAp`#^PQ* zuk5>qQ`Q}Ng_fUBirdt>ZTNV6htHXFTe@%F5K{}w4xKaq{R)d~Z}&B^9Q09MnJpe! z@3kdf++|hZz;4*ddE|ru;SCPoQ&%hTJDi9i_KqV z7Fd3)?`~%sE_U%G$D_((Ih)yO$b{6VA!qKNzW=%6lVDux|gCsXy(^?3Z52 zuVq|zV)NNK-j}BAG@fb_{A?QM*@^$Q@Wu9X&bS=@gJ1UBO8z5!2VdoGdirF!J?Hx= zYknU%w*SKCJM#6fzRN{f>n8Fu@pbR|rT9VYizkm`XF=1nLl+Kj$ z!AHeO6J~Wyviy|$=VhwHyUfixr}!F0Ox{=Do59n5g=P6x`)!;0d}n+q_S*PzPRZ;a zLK=;SOpdZXy!NdA>NPMXBzy*+0Yd@QtnzQ|}LJyej5peb$aBf##>B4QB*8KKr=b8Cn!Sl0yukD3(E@gpRt(qS2R;wuX9VVbvACMg; zB20!BlNsBkCL6T!)E|wi?!RLq@W0;P_1(nR@7~V6-Zx*+sa4ExX~2?I?JZZ<2FN$G zXb9!19@(D$>Bf=%nMZE!<_g%n{ocn4o6ob`j|;N4|6k8)Ge_vm&Re4S_t%%b@A>!l z@ay{S?egJ!e*E~h{_49naVL@O``60dU3VmL+PazR)?C|WFs<+9pzeV_BW z``N}^xzNuyiZgflCz>DK`ee?tk2YsFYA^BpAUXa^{AKAzcTaixlcL)p&qgi)^Y8V%u${4bK0My zeD>8G{3Zov$G1j*&-uJ+NA0d(-=-BLs7LbN{wVXqBrsr`OcS?S_UhGr?-*B!y^QW` z@9uebqx#1!akop}Z|#@PlRRT9{pj>bHnY2Dcg;!gh!9=M8}>?U;mZDkj`M56gP2b( z*ZO;KbA6@e-6c~RpTEt}d%G&xk8{~yC;!`3LdpBt7cP>qn9mn~+NXzoXU46oEYEr7 zg#11iwrs;()6ma9H5&3W-ULRsp3e~PeBHWXa!Vl3k=%V5!S@~%-xN~NtbNqo=$=*A zzwi)?rLTz1JFgp-1t$;As{ekBCr6V~%Zm8=;VFx& zU+Csl(+sEQDd+Ec$v)9_|JsGm9{sJ@|JM1%6J@vg!5X2Wt5-2B@nBu7vwG^PxmwpQ zubLP1QT1fL)-SguE=}(i$UI%6Eq`ilMcP%X$Ip|g}}`T<8qk@^I?I!5+0;{Ek3zv>^XU;g2J|JBps24C-biJlKDP!ny- zUfZ30uH@rAX#plTg}?uHR&5kIW%yFdZW1rEU1X|B%Dr7??3)S|9vn;A&z7IbvpPyj z?r)T%hnSJV%XTNLwUX<79Io@XmaI#Py2co5FLKFrQ_+O0>NY*5Q|w}-M5O9(w-jFN zG)s6op`?#vnudYvS}ESF6h*z78$7N0^WN$N-!Wxc?dQJlz#qFqi_d2#1{`6qQ&_v* z_JDOjcgnFHA=lF(P4;m-m^4D0(yl3YW{p%KXqN{g!oUj*2 zNE1_B780Ggp;c#@$ZwlfTNuQhtUo+=%kJ&xzg+i$ab{q)$^7`O^CnzfsAa!h{>w() zZ_M)+yqNv$W9;V&iyaQu-%|K~?b%vm_GxNj*we>yGOk)Hr<^-#nYE#qgMPX^?mJgos3uZ(zjpDA`dim*P9Jzy)s!Z@M&Fj_`~kh9ghQ38GDmZJ zV+}Oo@4h^G;frpOeZ8DV%@yFt7fY#e%tYLerSrb)|Ic*^YNU3MqKU z_4~+S{ijBZeI^I@#-5tM`!&$@;nXsd+bUX}%{~vxe+b^c=ED@^tN3tD#8puTvzKCu z3t6R{wmu45{oz;TmFJe8(oa@w5tq+-(ep&;PMO_@>F4*w_F6pRR8@+)CEyY6ndf12 ziZ-kqB>du7cjWTyTU$ilyIk#aG{1E74U_K71wp?b`lRRgOz!m9H8<)( zjo+=u_c9eiwk*@w^uX)X4qrhT&J7A$7d|f!^SHk*DePL5X6*vhv8#_fVU%>uk zcA(&Iqaf|SmtvK|UQJLp`5V-K@S5`d7t!b6pI331}}5c;_rI(O&nA$GZ`98p190p`W83FJkTjY(=FT?WvBo0XEd4K z>CTuBnO2-WCmd9FPrf+S)X31l0JOD`3vGKSOw2JaFTbQ%A==OYyaQ3e(7kLvu4@@Kj;_S*g=`cg#NQi(go=w&HqR@y|&f2VLVGsxzuRUpqJE@OyH7 zpTgi<_45Ao)#~XM&Zjm;i!g2pv(P`+ZS1_#tF3;!md&2fL%+|3zrUCN@6L)k$53B& zskgI^xz@8bgwKBbKKJwSpGu3-(T{QK* zzUAuQ-)CRn_4KNov`e<`>5tXN;+2n=ny%Yjc(><$+5hO$|A(LLu0G(m)z9P-i=4{t zyFFLDUmIUC3)^w6WXXmqfoF*#OT}NVs{eVx{{FY~`xOd~SY?DIURx)uwt=syy!XSp zx3gM5-(4};lRYnfrk}@ptNS6gF12+reD&2bjqa{9+g!Q2tLm>E`f_d40)57dcbiI0 z^=^EAzs=)$TkJ)F@>{R}^2W zaz>_7yE#cb-s6eQ6xoMuMLBOgMY5+jE0|h$2Z@K67~Wj>B*fh-=FLBe6mjM2f42Qr zoqTz3h>wxtnJeqtV#N9Qp2&;)8!>zR*jP5rr$!?}$*z8CL-&gyhnId^g39waH71=o zbSvv(#C@}8m6JG>rY}33>~rkt#@I(wRU$-<8Oz)oE-&)n6}48maB$kvW3Ajwr{^r6 zER~|fr2cPG{eWx&8|NaCpyi^dFPTMGxBl z(b`thyS5gWSH3$tMNn$H$0jb(sLL;QER_E7qGsu`UW48*oK+vL=h>LoA3vA-%KZ5D zowsGKs=a;TYkcdAAU_=>O|Bt}*8xmhP)$5%do=xxHyVBX8jGg&+Mgo;#oJnDZ-L zYES*-Lo>Ez8vO8InO0|MUuR=~Z^D)}-<0Nj)qGtob!UZv=v74{!5?3(Oa6nUZ#}4z zoqh4NsMY_y#>)DVGtBYsi9-763V9I|^!FSt&6e=d4AJeH zboS@P>qGKpTyoA>9X3sK?SrQ#gw`p!Ut~nnDy4Jm z?`39-H^2OGtEA*%zriH6<8t0FU;bsBAepB9^kqkAP(-S)m8|9N`ncDw>e2a=rc9Z_ z*!=q6tY-oqNfIvWSMVs@5^L$xZcKk<$mpXrC)j40%ETM5ukI14xVG2nS(T`kx$=*g zjq_td)vY&AWU%b$c|PY-rt@Eo>%U_*Z#?&TX1kV3k@@L;Mj{0pJJ;JswO!j5upzSc zT}bR44z=c^vFRqtT*oJs-%6=xPZCJe+_o<0xEc@h#{FtaW%{SJRtDO^*jBBExqsxbt9_$f9dpsfW`JvP);l!q^p+o7F^$joQnb=43=;xuCpi^1T#3Hr^zqe(lzz^2GZruQXbcy8(rU49 zNld9=rm*Z|5w=fK!AXp^iq-D(4>j!YU7!7R&Bmw6>)Cf%yxS6R?B^+O)j88IKKyj` z=f|@xU->7C2la#M+UZLI8OZpl>u0mJrryd_w-r8j8&}Q%L>5aPeK_T zr{{+-rpbWM1W?eAh>TJ&GBnUL1K(?4VhlbM5Nzw7Fh;ZKwxNtG7!4;+TxK_2C5$nB za=;hv>C?g(HKuFDGjdI?TB9}nQyAmw>EZE=e3R{-h%uUg8UgBt23YrPpf>`h>qRh{ z^MI~70LdsA8baFw#?ZEaiJ3X1E$}ufKKQnqK>hdS0us%=8`eyIR}$p?nyHm#63^pf zHYr&r7-qKFEHTclc)9)kOTSyY_u5aAO}i!T-!@rwZr$$Rx9g*PJ*ITk2P;jRG--*> zYNM(@RzI>Gp7087)Jl|0?~&err0wSNrrLkM|IL5#@wP(mKHGnmGh!!nY-n*iZO^v6 z{`9j-PM=FHq9J#FSpBHo<8?XYk6>j@Si0rfe)eZed(5{Rm8w)0>&$wc$sFRd$fjH6 zO+k^g?s~T8rw<;=cF^3i+9R~(i}>!&)wcc;C%3-aZ~7}RxU?|k>&M!?bFQ48T@~5n zq^6?GxpGCXbW={h`&S|JaH%4W`7W1zB3z9QY1O+n)%-B1*}t?vO>@4>nt@c#BWv<_t%KX(pJ5;A)(zKqb^A6Y^x^?Zitga4!)1M5j%FBDh zr*r>3z5C-_wQ{Z+56}6{=OtJt@0PpAIxkI@BkYWq4Rgx*L)Q&2b+1{(Us>|Vf2U03 z!Roy`qV~2JUcR?1m@{^FQs|a*I_pc;WQE^bv}*IRuw}2^Hmo^TU+QF9rL=4B#=hXE zi#y+T@4OLMB0ufUoE+K8T@5Tv~!(#fz|OdG3-heTf_8E+qT3fRDO@^EfzEstzRqC zTb!(S&~(G9^vRdBnvO3kVpsUPCeEsRVed1hw=?2m9paSIx93{2eLodH@#V?Lc+QM? z{nB!&nWuPanL<-!8gImE-=CbJ|6YcKCFpZ&!7MN_S>4>bMv=<&gDq4zQ3+@ z&)j_GsF~}2uYY#?MBta-&u_Elt!+yDxIHd=Z?noCri7bE%`=yk->MUtr#yYS8b^o3 z;b1*0&jsC4-{XHC+GM-_%;Z3cC0`5LWfpHax=wNJ;p29?Oh)r3+Shum?708>_$;To z#ozDN#v9as((7Esx8UbbhOY}39S>eBa>YOJ@a(UFNzMi8>)-s`_u~5-ALU#5dp%q| zzg<*28z8!4TOwA@!esdbZV?clN&liZk z4)o2t_5F#HdhWyZY4gs`_qoyhz-%?|DK72X3;t-Nemx|-;~UHMbGu&N++xj^bZwqX zO58n%(=CDJPF!`%rlrL-%_~0B`R}WgpJ~Is!nC)a>z(w23};xZnmM;*^uhjNJ7|SJoIBf|i)(CuMQj*dPmoYB7i?$jAu)q^#8B5(Ps;c>NQQ zSW=Q&l&4^52w%zST2bO2T#{IlssJ%H2&C0HKPSH^xF9hZBnn=~$~Ap+Jflb`Y%E$q zLEp_#!3bswh-;)^ge+^UV2mtlqF@Y@wX;LMe#g+zY`aVXV;b}HohgjsMqqz~oZy#Q zQKDdIWCRKa5Z^7cs2JoIm?`=`i6Fj_;q=qVj0w}DQW?bsLH-B3AFA14dT5Sq+h@gPlU^0DI8lx(s#bm>|A{-``7JBC978cVjGZ-}l z;h_ex+{k#kX*#1GL@B$GnW3Jch57VN8H^g3?uLgiR4d#ln7bj#K|ui)0T!SLke<$( z!6*(IA3<@rXC|YBAUq_X?lzxZl)_^KGdhi@Ua_6 z3>kxC$YT1V97eIp@VJ?p%_sp+`1%kp!c)FJ%qVy=gBoQF4m1|0#NyQH*K!yYC(m8V zGhHBuQCSFKE7UBb>7Ln)av)npr`KdNN==`V!zjjNY%u*sCZimavElS{*^CNc>B&CJ zc|nHoP8Y~!6hkrz;z460aJYb#POr*gl$w4tmr;z#$a1=A4x{|^(>aXd)2HV$icS8# zf_r*G9w>^;r=Klkl$d@jn^Axh<`uK))AJeSr{79u} zs2AW72{XfddSou6{B+qoMkPiQP&7>s$zzn99+%H3&S*BhHIGq&(PZ+*`J$8SR&!7P zpUf1cOGiiQ#mU0!Brs+W%{LrmrYuRAw@^oPN59QGWWa0!Gp4?S+hD z)1MYFN=!E@VidzjgeGu*K^+O_Lxai$t(Y(YCqn7zg@ue_lZ79NPW~{D2U19EDq<8D zGJ$7TNYI;@Out*ms18;MN@A78jMCH3WioOgsf5^UVmv*nh*2A)a{8Wt>dC6x4ZyJAKuMDYtr2$*qMtK=9(@fXET;0Gx6Q$BH zu>|*uwl|b8Dlmx^dW86v_!?J+q*mk_S>_sKCuLWaI8NVI#;A@oqYo133s;tlq%X+|s}tO|zMifuR|?n6aS& zhM1WJsAxkr(7?>x%otsrxuJo%F`9YihL#pa3iTkp25=Xen;Du}pewYnG(Zmp3quPG z$5@yc8>4%~!otYX2+cf810xFqnAr4pRg6aUX6WV{7#f?Qn`K~Rgdt{VWC7a71M&pi z4~E7D80w4+3^3ebXlwxu;qCI%R3&Dg}$1U>334Gb_XF*h-UM>#Yj8C#gZqP-p-cP6Hm zpc_O`eQarFilN!k0;U4NT1} zj4ja%K~rFxTcBszdNXqqj5szoGy?TvQG(0d$Pm<}L=`hL#z>gv zrluI>hqdn7%Wy#0+Xv zLyRnDX=;QSTBar#)wZRni6webZE0#+kCDcyiMGi#@d}UN| YNn%k+MNw)Rm!+Adxh0pXs;j>n0O9n#dH?_b delta 61966 zcmdnq$F{SZO-MDs#ZA{x&zwuOp`oFHi_6ervSPgX#D8KF<1JJTEfowDf?~N86!b&# zL-R6|^HWk4j0{17Ty}O`sd*{+NmG$!k{^Gy6OiP2#4S!40dvlvyFvJDN4EELQP zK*-q4PyvdJOcl(GK*-d>SiuZ}OpO)HOhCxgz(B#w6okypEfmbm6wE9Xz+#pPW|j)( z7N!d31`6heU@>ze1#=?>OG9%7bK}W!EXMT~24HauLj?;%1ru{41q(1TH#JbOFa{wb za|;Cv6A%KKZeglmVWt2UGgq*%fatJPu&@M+SsEx<8Yq|<8Y) zSQ;x>nkX1sSSnbWf{>}9iGr}DnSv$6KudE4OLGMaW8=v`SP~{z8uCqEx0#*U+|qKg zpqX8L=*hg>1_FD3Yu|8g_%dOZ^6$YPvriMv|Caq zKAli}uDj{ktJ|l)rNv!&|Ih93gEv>pzg~FuPp$fn>EzX`Q|I!t$A9&|C%(_(ZCUx6 z%-4H9+nzQ%?Hl@SVM*}Q`OXjhP5*00{^;MdOQgp(!mOmeww7ade(HZovGp4dD5-DL zbo#u>-sqq0ls{i`!>?VH6=qzsN@+E}^3FV?rE)pHgl6SAU#^W5)h$hWpM1Y_!Wxaw z^8)_Nm2W!r@x!+pU;k}b`OP$Vg;raeR^$(#_`~~S@5|jRRrxkow61^d^KBn;BWpLj z7QUHMY;AIOxxA;5TzGwL=#l-G1OHrp_u%FfmighHs>0KkZcl#vvgzge#KjueXj6b?fn1uwr;GGePucQPom2;rp}HtLNCNJ zSWTEOIdpeCk9?vi)=qk`4HT^oXOwU zhF73MD&zWtl|~AWJf9y3zARUv^{PR}r0BwlgO}!>aCDy7rque5%~Hc6alv_~=0-a{ zcHS?Acak*NOU$P*&*NmS<%*MjvAN#ksKflF)}Hcno9&wK@IH00@f3XP*zCg2eND(R zVnf)A^n+24=CEcrn&?J&7i>HtH7|0*w1PuTTN^%4ix6hYW__+(Ydv9xtJWl~g^m~G zf+m*qi72wWuRM_L?k{`A>c!*_M;+%o@b%5J$|zXE?`QEs_`|Jx)i z{^EA#zt6s0lZf=zyKwhR!wGSAmbYzM3-1ObeLEA{VdA{-63UAKPSXPvLJ^@H~B^pSmbdh_y!Z+-F;KcBabTpqXj z>dmE>gHP&fPdWEz6H{uK%JP8nmll3)g$(oD1MRlx&o+#MWOi7fTVS6uS_UbR{2 z>6>>|W~W>}t+w0qMu?LWr^=T+5dqPV01*~Z*T6l(dG|i=p3LxTp3VK=`}&`5_bf}# zv;02i|IhjVB`5Z-UEAxSBDLq3ZPCeBnZfF7%fIt{FXj`pi$1ph2!A`H%>PXtuhW&; zU)0Jw@E?!-|3SvDzSii@wzjI9$J|UxCVY^yYT5Ju-|vQrhvcoe8fI5_)Xtc``|l@TX|r4U+&moho8zCpeI+OG zD$hQ1(%#w?yLaymkBGSNI(S)2YqcLA&&N5B9M^HqeRRD#@P)|3eV(VUt-EQFdG(ZP z{@R-#u07eX!l1hUfIzkRcZ2l&{TEJ}nbqdFn8oeM%D8@dQ-SdQB@(O>n|*}V&3}9B z0AuZDwlB?$f7kx?iJBX>{IXQZE=J~hy>I5*Uu-UktlDc=e89nQ=iEP^1$`_+xEF}} zxb-A{-jy&>{7p_x3#Z#H3DE$4RTgr$GdHSuay9Va;$80TJ(3p7-cFsl-ek|OU#mAJzufq2f1%% z%1XAx-m&YEKYP8rf7+JvEg;=f3&AAJkeG4sn+nP+};EH3r_ioT#-MW zpi?r#%14-uQD6n{1;c|S-IpYI0tF@u&6YdfbKva^$LlMVa;C|F7os2Y_7>GK>|Ji~St5Od$DOP1q{=@q z@ULZ`Y1VERG~<=x`*;4;N0#P3oK&wG^hfK;huu1hiqpRAjjUPXF)bnFY0(~*PZN?k z0_T|#EMe`Qb z&o2ELZn@a?(VDW07T?$0nY_kkwq3{+w=la2-#UEnA6)9OB=}&HlFo^(e-h?+Et!9={b<_UY*q5!m(R!72Bq5~3Gxi;NU{3XP-w{mBf z?+x=eOYU*~Jn%x*_rj7)rS^$#>wQh%OkZ62{xX|E2JeA6_n&|6tFb;?mS8BfTI-zn zTs?h{Yb$qJTsXS=(bS0-6%`+FWvVCHd)=IT&Fp;Fuj|ia8H|fFj$g0PY*%jHtlG{U zY|E;>fm6=#Wj$YtZH9{1^o2*i{L{JXxX!QXNNAt7x{hyz!t_Vo8E-Ww3Qp|^TZ~~bKWJWQg}8sqnGF1`aO2Ldk#9Uz4FRwdvXDn zo~(5>?*-|EL&ck9wq{O9V^Nbg@_w43{xPAs$(yxT&2-|&DF2`J*LQ63Vb^K9X`H}v z#&Xw>s0o2LCst@K(<&{`+Uj0eu#W$Sf%kUZnP*uKG@UuyeqA;=_JT=PQLqE657QF2 z(;Jy(nOC}?#?2h}x(YgNVicR&RbC?wTCeJaceb|+Gg!97z!nNy6pQb&|7scthpq2Gz2O@^CGFm~iji<|?7zj`dka zl8xN|<91jqKJ~qQuF9*a6V4^@OZ6XpB#@qGTCshZMDy$`xfc#7FyCEr+WvTIv`TbH zodBas$JTc&jMpX>6m95`I+O8Rbj#cYFXpg)={=)!a$o+9{v!t>RJO8Kxm*65Tju3e z+3d|TP3FqhOx6oFD=ax4_~#YL<3njW`*(|R_*SA#|H29MC235)eYoitiBxBjr)Q>rv6e-~40K){StF^0(s z{l|oB4u-$3_ulqbIO3w2_I~4_D^G3CNcpaBt!Q4RC?9^$uN_;nCxw%UoB>^oULF`k9AwtyVBtuOX%;qh9LX+;^x0!4;Wn0Qq*H?-8Fls zxZff6g1WOWH7$8gFK#s5IX8gwcTM!RupLu(yskNMOX|vVqZ_ZqmJNfgrZNGVUnZ29U^7OsP{-@8M zeE-H`x$J@lr-Vsl3dhULM{RS}uH#Edn*|2 zlJ?CilI4HA>-UdPuXV3PST<;PT5I2X;`H~&L!mE+-bUX)^)cZ~>zlc6H*cJAIC+9w z&~oD~g&7;3)W;ppp8a&{kG7nb({?Vlv~hW~!0gJ&iL86Q|KG5xWNrM)%hD+_wM_P@ zp!>vkFScbdHL*o@`As}5xL;?@3f+J=<^Q?rT8zUV2JhJO`NX%P?TdEayr;@jt-3;C ziPWrz59S?y?`(U=SLd*^#D%t}!pzSLU#MC|&z*i|sY6lHiu9U&_2HMDX0WWDc0ehj z?nYvKiSwPeEncjL@2%}!{ZZ}5)~mUvxeA(nch382%_rfn@?7JqSMDw=%h=g0ojoQ` zID>b#_}x>mYdLkobJBD^+wcluPX{6F0J%9oTi{YF^*%Yik+n^LaN1JX(3~zV7sU)i%-lv+Ay~emt0Xb(d7G>6HU{ zzP$ph-CqkBq$D3`ZrN4MJ$2?3!RhM_ou(Now>y6RDLG}KM)w|tNbj=qCHDTi)tBWx z3u;#Vx~nSJ)8OVm5v^j0NtfuH9G<%ccuZtt%+e5q%& zk^1YV8gcbzB2y~Yxk+=*c$Q9nJlo_)hOF3X4%JBl;or9_?7vrHbkJwT>FO%s84Ebs6D49qZCbWz1blHZB>Lxv3(|DnGh zMc$?D<5}xqcHI7tz|EW^+8@kvHrJgL$|)AgeY_;RNV#I-)(cu%FQZi6-8#@eE%IeS zX@i=~jFVL#7E75f%b4`?lEd722YilNCI{*+J#+bm!sL}%ZAN@+7Kco+XW_`X)}Pm; zRGR0MHtS;jeSxEA4!sl(lyr^Q%x5$&rq^}Vyu#ax{!^cyRZzr7OU}2{t@ZeF;oa%`aqm;kadQmbAC!_qF8-?5C?lG%ll`q zPOmzv^5e5;+7~w!uZ@dBC)StkkKr*~EPnQl@)uPp9c#%=6XTw|f47lopXRd(qP?3Q z1!jnzJ;yUK_y({DIRl|`F)hK<(-ruz2hBU_9uImxhg#YYmY2x|0HjI_pq~pajHpWef`Jl zACJsj!aiX~$UdRH3Wq%>>6pCZF19t`FZ$@6SM>6U`tgQeF)r`KZ%XZ(CXveB(vW7} zY<8hQcuigJ$D?+suM-R{ELhj2JqUl8;AZnWLBn>FsL*dNR+$OhyVv}D`l*xqdGG9N z#TNhk!vim!Ft^dh*@=5U)qYnY=c?)_z6o0?T!t?qe$GoWveLp^3&@RNb zQ{WVHRC3_w&c`>WGCg1k-xVG6<@LeV9SJ^7PJ_szB zp=q%*G+3nG`OU;7fy>p6)+g|43j0hk3ZLuv=-?%mrF%a*ur_Ar|Bz9-ELvfhQL|m+ zNvu{)@`Fv~Cl;++<}BedHNtq4Z@`g=MO}xK4h#R0jkdkL^YewGO`lYnr+wnqIQ^3^ zSJ0rTR^*y<*p~i^HtDqo9XubT*0BPzRAV{YAg3QdRa%7@B8#p=8wKe z^cVHl$@W$YE}nGq>G|C&)1ErxZ=%km6Z!`ltBQ3uPf8P4nyKs393^;o!`XkJF6$%b9PehV;OYDI-tWxk zm8GZ4&fQChndtv&9h>)QUncJfmcGxI`>HLy@Oabf<#Ajy{kBb-up&rJRXg-u{Z%~y z_6V+b+8$Y7w7AxAt><0m_uF9JlIqEys&sT3*T${;eA3Ov->r7#sp}~!wwl}Lz1Q7t zq_F4aa7`m5Xz6HNSDNUpf6xe~Z~! z_UEw^AM%t0`R5ehoUqON-rKJw_qSEK*lw-oT~Il}IrZ4KykAfHCrGui?=!6ye9rYQ z)lpYv!WIXS83D6oqb?WjSjId%bL%vHmsSXY{{wL<1kyU>w?#0iMN+d>9uUzQRT|c$}Y}sTGW!5E?Hdqnd$nQ zA`kD&86LhVLkuvNu+%sS*= zsW91@&qPuG>^$GRv$yNJ${38xXCC(Yze&Qo)KhZh?oXFqmu0P%;*-v9w5++5yX#K# zy;W7-TTj(5EI%Q3+f6VJhyuI;NB&(w%9ojqn_Sj^Z9wR>HO0ly?m0Z=k7Ri zyKuL+vo-ti===pcBVF!9e_j8x<&V789NRmkZ}OcjkJiUVX;-|HtcDihtZJ z{JZ~Xo$gBMa}oJb7jsr~@a}izDtG$*C9QC}t2F=T~l(PcJ1I_IoX;^6ve#eCaWFmwVD2 z*XFG}m^J-)cBJTh|2K#C?dDumnrO;XCs?n$sOR$O; z&MmXHZ9UT;;byspb?f0@vaj!jx-0!D(Enfs&hsv5 z8z=m$R_@t*RYSnRWSOwl&Acts8@!7rNJ9!yCTHM8f%UPXt9w&QhtX-jT ztF|in^`etI{)g#2+VCWPaljh&Pj@c|@9$c6`OV_yHWqQq`gIlGO!v(A_xC$@=@Qqb zU-EzdelONOk$-o;p2~jS4UKYn7r3`PKC3iIrdzM;r`MjyZx!u-P8Qs%)tVacw&)-4 zBgHc(K2}J`6}=Z#5{zk@R;yOjbNWBajw$lLeAxC~Y<#$o^W#28z5_aO#oYy)|4q-U z`4aj1%vl!iSgi}cg4wm|yR-yCRKjj7l$2+#4C^|xt z#kqcs`@!`f^pb%??XKUa&2;aYy_=dU>uwqJ*6i(d_W|3(O}4k-DlCRliSg~FBi$%{O_Za;bRo`p{!NWQ8u(Kx|$si)^2XZ03Z(bD9)(vN$_pRz^lg5T2LIB&l2=Ji_l zrknQn8`#x8ms*Pg2C!SUr1UK{~ zFy_jY)!n&y=j6QytOq_e6cpH>N)XdsZnEo(&Y@q%dh<`7wYz_DmA3c>V~42>jVztRfX+ zFE6G1jk)Dgq3ZlaJm$9T1g|gwt(oVJNP84E=6TFpu=JADz2<52=Dyi0H|rlumhEK? z)r^k3SJ4lgW)+|D(79#c_3!?N`ir0A_bsmZ(Q5R@`M`A9n(vdF+4nO+o}0t}$sX}ixioce`+QH0sq>b2 zzEEj-bzQIR!$r6Czj*KL-f-GBR`S9YMPrT`oilDW<^FqpvigttJFjR@sk9f-?YH>; zOx<0?R5|tW5vlsfHCjO(YfN%ILXA2%rc9DG=-n&my1D#)Y<}(gf>M!!OFT()&9tq4 z+_0K|PwCSM4ddHK{vUfkfz##X1LIDijUP>u9*X^7lREjRCZp`H%ZdC6%4dCl{l25F zl2bP6JWHO~sYx3iS7qK{;FRKj#_KvGdC8F?-)r0xl|;TwoH5__O#Lfw|6s|^fQqhl zEU^;Xf6bL#GTBjJA&=i-LGH`39_P#prJie_`78Q{Rk57&d3VagY3nT07T(e{lcS1VlVv-E>}IeblDn}8OI)oe)z!Xx{Kk?%;bXk z3l48Nzd= zs`r=tcJZsEy4s#i32&L?gF||^o(Z}9j-hbQ*MjsqgpN)PV-Q(m#! z$s>y^bh%TPS}3z;&mo4Rcj``lUH0_xhYzWYyPx=N*l^=@iSw?jEY&lPE!fl$aQ{ba z@cVTxN_?LCe?CjMjFf)$`EZML#%xa8^2clCnN};;`~33Q{Y_puZ|^tdNq3Xl`PAHQ zX*&OXe($*19lnCDuPR!n#b%|RI(_L?kf&%fTkJ12d+(_;wbFmzVtARbY_-zl?e6Oo zPQOil%w^5X_f)fLX~6c))yLEvz1GOcFI%j*)FFWPt7PP{Maz=s9~Lxtf2L3G(}kUa zwP(4nwOO_As${93EOsg>qTb}0$zi>i73vRMX00nd`s~yxiOv3d!e9AWM*sV>ru*?k z-S!#t_q*$OzC7$1Zhr4n|I3#_d&|7F{!+Dy#B|}9pSA{pVYHIu8!4i z^OgDM`0u~=x;B&fW^2)<-n?@sYWgkai|);Mde}2UX0MLOh2qp};Xh?nI5s7Dt_$O2 zer$aA9*eXWV_J}kjCi5opSxoIh`z5-a>`@(Ixs$Cd|Q{@`sF!IwNk zrNE{_fbU6>tclEZ`SW(u0s{+*|68){ZMha~*~Av>cWC1u!3wx9Ajp;9_k@XO6ZkJVs%xk)ffPdbr7OY(LjCpNB!!hglkU8duWlhfRIi7R9YWE*A zshZh)>!(OO-o-Q1;P1hbJmsAJvZ9hgp5nIFhV~lUz9|gp3zu$vB=Xq%aZ8}}^+Ll9 zp5h_r-<)5kxvfpC?f5VC-D@qLeOfAW(!3Eu2b5f4&=Ah}~7~o$4A= z_U&Td`D(A+sroP5st;9tP!sfee>J6b;uW#kQ&cV-^{ZjIkosz4x8S@D9XC$QeY4oS z`M-ZC;{sKdmfs7e?wE7R>zrr3LgwZByh@&%cQ4$2Q}?gtom2BSZ~MARs5swtL)Y#( zClrO=yjcEfX$1cPMUTGsmn)w9FjupBP?xr4-sAQQ_50T~n#eUu__#gwa4r3vXL#~o z>XNU!raOkeu(J5jFu85^u6gF2v+@_@D6O+xsBQE^=dbbl{<1pz?I$F!9eR{7{p7y- z)0dtfmfm2H9Cf;>c71%O4bK_FA4_Wfmv0p}UO(}Op}N1@v)FYN>Uoc<>fN34@0q&S zueWeEI-9wJVeZZ2UV;Dni_fswEi~R$lJkx&f?+kw{fF*hcYdU;e_)z%@$G@zIp&2@ z>Wi}c{?FTzJiYn&wG*;Fs=b>oJUGU;PAKZK&%Jt|IocM#LXS;cSMB$CW^DVj2Md3w zF7jc2Y;;6tueST6_xoJWpI$yu>>%F_vBxj>m!(%ptYP|ZoY{IY_k-k=16yzX-oCJ- zqPx^I_>tqO1#epv+}v%tx<%$bm@oV}dpA?cu_rRD;{2ynLWP?5|9zgMWy^TUQ!em{ zfaDAo-*xjcrqtiJi}Fboa+F|c`zdDg$C7Dl?dHd``F+aN-%YW<^RM8q?0V@pD$;dq z|M$I_@;cOp@AjIwe`d$|;$OrH#w%tNvCmPQw^`0M^ahs)%LbV{64yK#-yd^xcV8bP zWY@~FP5ESaX64Tb!G}yQG`x8io43IrH1%okg;NQ?-!-L+oIm7TFZF!Qihb8-_X&J2 zuVRa`yPaCVWY;A0;=g{md+Q4hy_#>PO)RVK|IT<6cS-r4w%g4J{oB_6E*`0_{&@O- z&tlID>-rq#RtKgp=~(`a>x{R)cDIt-p{*Z`I+_k{S^gH=zlWls`>Z zky~`?)PgMy&ZR4+>1nhY{hVL_?3MqsS&q-DMB3xa_I^L#`8f8a94iy6otR?9%Xr?- z^*8@r-SIn>u?Kb8+OpqGr-VdWY^l8Q|90;oseLL^pH|%y-SNRZHQkBd!uIOK)Ab7! z%(cBM%)%rlT;Npwu}m*=tCeA(LZ9udO&^b`ub97~>Hl`=&bPbn^@-HpG!0pHqRj5V zRA)cG#=z+;QB#Xo6|bqDP#%(zWVOU$m!j$9H|pA#GgA0uP3Jd$pZVEw?Yeyr7yg@b zMfTOtdZBekvXB1p3~{?rz%|X?_t0ujzFEwF>Ob3@v~j!CX<*=*$)da4e9|k+J~X_ywJA(Z{~Gt+5KzZr0jQ=yPa}C`-6+)tR1tIJ%qn)N&d8^++yKui8=8z0>cFs5`TWZsm|1#Y2x5BGu-+`4zO4D8>b$t{_dER}E zF>u4hN46P;QY~#yzWvSl3OT)9O0?`n^YWZQ9d&4Cnq|T<|kG=7MnSX1Bi=m#G&{ zUU{7<{eo2KO|~GJ^Y!V0S*PSbetMYR@o?T2Pl4*?=Tu$=mYk^n7?3%ge}C9F{rXv7 zj>Y*#Rh;|2pZoD0o{0BSvf|es#BAf8;kiS9;>rK|sSE0-U-%#9aQym@(?;f{MH((n z6>&M9R?a2`N{Sc1@6WRHH7aqg3Qaig+_d+|>RI!n|4upaCG_Dw|4yC~{R8|zm9#AV z7xyYf*Ir)l7Q~S{%gMLZYjvZ>vfW?oKYU55w=#}hebOWON9Wz|E9SW93ii%mGMIAe z=iw63ErMR3g`epxT9q|Sd2zGX|}1?@L2TC7&GB>X`uyYteV%H|ZFBvvHiU z#?v?Ym8dM!ZN;U^|MVt*kQA*=tiF5fQuWm9=MI@ZtJe9+wExt@@Bf!DZ)Wrtidp=x z$lteMr~CH$ib*V+1$@OPep-33x?larL9PnvnCLr_+ZG@FTyZNeVV!9F`e}~~>e_N5 zU%al+X+Nsr?{wsg&1AdqaOTtlcigsl*|_Pwy?W~6v2~uCb}g9n;K70n`E@(1*_ZZS zUiM_-j*ID8-80i{zTOORu;@Cq?&~AH`H9ywE=}$}(X+wmhH!0tN1U6rW^iupTU}k} zbM87KE3FS~oz67-5a&IWl~-4C1vxzU8PR4Im{nV4#`xJL_@iB;S@lY>?^C!BpIAAK zsZ_=**qd2$3s>|4Pixh; z!nTX~tBPiGw%&J%dmrqZ?w>C3(D7G2!~B*M39i(<6vzTZ5Gy|^i6->=d6^t#w$k0;3*m829shE%vSlGl^!Ngd>!pvB~#AI@% zX~Sg4X`;-g76y|A&Ft$>=RGnIx%*jko~!Dvgrw&;!$gHxCPaK$7<6`x;y#0k9m19; zoA%4!e(vPH*zHka&H7rozS{4PYt5ryd~?|RWVwj^mFc5j;QZW&FssJPeJ z)w*tVW8jZ-;4d#IBTutHYLaDa@Oxe-gVmDxnH+I+>rOsyVhmOTKQp<*PiwC zS)cS@^WCv^)|16GQzTRuAI^VrcK(?I_1UsCwbdU>C=xOMBx z^5S>567F3peqZ{(Zgc9ld4KQ!-@5N>?fs~%seAW&tqrq2_qltP;dj<@^Zp0D`%Z}) zKTWTH+W0`>)cKW1AYL+FRAof8ub0`+M2fSOV8K;zn!?@ zQ~Sllj-seH1|g}-!?H_FFV{9-|FQSwYjF`d0XgHEV;s{9-|6ppWp=K1&hFD+7JPWH zpuu4J(Zqw&&E~8v>@B^8k#GFtU0B=Mc3rT%lD~Mq|BU+i>%CnjtdC#ey<`9U(`!__ z#de?J;o~ZwDZJsDzQ&pJN6(%;s(R-9`J?tWHJ^`cOg^l9t)G)G*1k;kuCQ5I@^|0F z}o~^0Am$cn7|J;W;+fNkxRFv#Ez3V}Mc>Ml?`3=2^$sw!cw6?xd{rUdyllqsB zi=Y0yxnq}!dbswtP4V?IZ!Q?$T_|p0qx#h%Rr{3Ew^b=$OG;a-*6&)}9^U_dllPY0 z8ULGVx9wfSd2Q8J?k)EV-rbS=$6Ci&zvlU!c~kcu`{Grtb@AZQ#O==QkLxXtOB_$T zD{*(}z5Fltt{>m*UlCt>f5Sd|%eBIDS{BtM|90Gesc!$P@0Q<7^j@uh_5SLAd4Knf z?@KaRIQwsG@F;Q$f77pCXz=(#=#KjnTRwmJ@VJHh&B~m(34x)1KC&0I{;&Jii5=Vtq)PO05$@o{zjJEeakAe%c?H@3AE6lq-^_cgk{j=ttyDzDE()OKCj%eP==^tfn7u-FP{qCrZ zbkyR=*?V6o)Nq{reeN&Mo`TQCJH!Ldu`O$D+$r*d%R}G%L3E5^%JGiQ36q5OH^=|& zOLIK^ranhMVR7Oy4GEsj{A;v&Gh!blVx!ysG@9YkY z?f-j$`S-1p3vUF+Z;&nPFr1L&*T*~avFKiziZq6j+{$|S3zA>ktTc?C&Q97kOIfk8 zez{&%zHjc!g|Bbcct&aSY{bhWndW}oXftDb7TUK2bPXW)`E6TJLJPP%Lx@-_}E>GcCQ14f}WRUve;1hV`_#%a4zm72eu+66bX$ zT$yv4CEoe@#+hz>bJx5`Vailv_>~z@yZ7tj=A{#ZUBm9x1}-l4&pKksUa;uw%4toL ze;hs)_Hf@Ehle+Xc~3qPGf-F0?fnuZVKMuVu?FjW%e(`@w>HV#$ZnWbzhs-}@oP7y zy_@NI{aC;JpuyKJe@Ctx0E9qow}7p1dySd8=9U zrR5t9d% z|Nd=#?DP9NX4kKpN|!A4+~#}NKX}tB*Zfnf0#9n0m#dpdID}=kFuz&rzB8qJNBDI8 zuQQTX*=TYxGv?cuRa!qU(tV`9k?S9yZurlWbNYBU$}M}&etVAGg07YC68x`lvOlTZ zwD;eUNv~2DsjrC@v}TGXmUM`c};Q?g_w!D?_m~HVv!eqK0Po&@K6;nc&{cR8ZCtpx@^kpEU#?{$= z-7F`||EmXmH+A|vKj8edLT#yOsW}QReA0iEq>s$|S7*X!Uc=$8ou&12s?4gl$;sDr z)PycxT-8^=*>~t<{i?QC&Ov^>bJ~s_*rX6=zF*rm|N4WB*_Y$qShD_pR1sw!WEZwj zzrQu2a31TYg>#NOynFUqezPF=%)IN}^#Ls$zdN@DeNVj-^{L_imUHQ=6dQz>T=&&6 zX1oy~(OR3Ncj&o-=~UTAttWanyqfC?7I zds>?K(d?(WXKY`d1q1u7lcKUsagYA^>No1^v z*0QE+m+7@v?2i*4zB*ue_vW4t&+Bu{{vXe|mtkAJK_~0f;+%i;#Z9furgprzKk4GL zD}7OmTlT6f^esDN_e=QL(>rSpY$d|kLm(8w|moJ`Om(1{Q75n+v$2Do|zJ2J4aI$%@G5>73 zbp1KixVF~?_kMkSxZkw4V&Ny956>Sa6+E8(HGipZW2DWl+{=&M%%)5+n{w2ES^C_y zjay$Fns;2|PLmR!t9)QPqwB;^0iJg+D)BE`(lXn8X$zzMDX)(w^L#ta8%|D{lJtmu zbI!7(%k=Y!buJ8M7 z+7{WV0i2nZGhP2MpQ%3Z>EAC|zJu(uzWmvubF1}G*o$@h+TNAzc>F3}!b4G^>bc3O z{{~gh_gi`^TTZ*X@Zyp1qX)$}+G0DclPl6*{_&i== z(Bg#olBcrH?mDgY{5LjSbg*8#{U5{G3mo?y=60rs7c8IW%Ivtx&H1C^{SULBEKyPZ zxFk?0uQVlT%D$B4sofIXoD(*ss!Jb`dCuE>@SI=`Xg}geiPBIs31@T;pBp z6aD*(4j%Yrx!G~v>9p?K2RT;zAA3GoUH93=`OQh)OBXbVuQN5BSFe0(E@>wLx<>!p7Uk5}(HHRTouJz2s=?Th~;-;z7llbSx8~rjVvtYdXN=v$LU-8Md^>?D3_dWa-vqk!H z*X)aWUw1t(UAQ;I&UI?QzNL9nckuQsEB{mZu>HpjoB5Ys9%wu8=;Q;=Y_Drq+CCrB z|9J49r*wnPy}!a6baPXa6V{wm7JByKw7;*ja#fsdb$#axlaGtd`SfmmH|t?K%Aywi zqI~K5lw;Qq%boDNJ$K?&p|U$MoKIHy#j4s(cjC{{z7roYYgYEdvnQXicsz3MPFi(j z)uN=N8wW1_y87W*x6%=zvmc+5c754oC96Lzf2<=<+|M~D6nxS=P<5k#9@8U5yD90`)~j#$?er3k zm-IJlPG8vd`=0~1pr+=*Wd@UHzUt;T&3e6d`NGBzpXE#fU0aI`Hyjn3ES2KB(Lqw* zTZ~WJ`hC`>#h)e>pKMNf>v#Iu#;~+2T^eC=E6rzr6*IY57=1CrRsCsw9e?N~7Wv}; zEVkQk=d5_asNHmEQOE9RlX}z6a+P%(c4YV`7KSCgo-~_fr{G(DMfZqknMcxF(n4z# zRL^{W(s$QpSz-0-zOeaBDj!q&9(cM0JGm{6J#^O0w36ql@0(op{hH-3_}AJSRk8&C zH0ZU+ne{RF+P{|78SZ{becvtK)PIaDTRMa9<%G<8V)G?d!)d4k&;BQ$Ml1uw?e{Lw^?E*2Ix<-T*9L(jMiOS|vxdX)U+rOLZ)?E&?nal0N*+bnWKmo+#lM)CZqkKwO; zduDC2ZBMZO;5w;nZKk41v;3KcuUiE5=6?vA8M8zC+@#z`)?44mB+L%_H|bb^*&E;E z93O(q?%WM2`nu(Dn$%*@8Pz{|^F%v#m!#V+Nv=J+7tK!j`IzTq;g!^-28^fuwTf;WKeDCdt<8hm zbDIzCH4%(!+#IL=KX02#)aJ{lxEJ)<3xo*@$cVh%9TWArv4Zv7oZHp2Y-a88njD#M z*2aHR$7GJRk-j%>iOy+^SYN?xZ|T=>+g5*8t!u9EzZ)~Yb@rw%tXFSmd-A`}miNrr zpQSSnxpn3+Y8z5Sd%F3d2M?F^O0p6 z{+(A}YdAZ2QgGRl8RY^Ck3KmdSO0NCScbc4PefkJ!t>Hj36Zm||6{&6b?Sv9@|;~ zn{^4;JeVrHgOQzkzfe>7%Zal~x_QN$6IPy-IPv)MoqbPYK07M)C*EJY%;@qQ>2w3f zdafhyqa-$(oSbd-ZRt_Po191T)E;bi{u9P*?KDL^TJ4#0R#aM;^XZc^LAz&vc$6*o z;FJtcqJjF|=O+4p(!AHMTkv+yhkLTyaw8AznZ9mcORbAc{rBiAk}Hk`>Ymiju+F_P zea+Oc9qPf>W@D6}o79%2ee-JDzxdCm z-U8>3I)`+(&1;kF`6B*7`IepSzSyAC@fP0ei*tmk1ov8If8sVW+Rq}lWaBbLt^jU@ z^K-Tri#yg{*ZY^cUGRjdRz#`EM!AxoMia$nAO2+=esjsoaf$1@dX~@sQm<4!$*M9ge5LN@hs;Z_uFR6h$?4|7f{?x1axB8*Z6n)>@6Sp(g zi#af?-{ZNPH(V=U>5lV|pihEEUL+PYT#Dz=m7O=7;eS~y}C$K*}%*|Ri#|LVLEO1=8wvA9LU zvyz;IRdo_R@@jg`XL&nYqq7(Ce*19a`;ro`KlO~uc1~i{sZwEJe){i4*7ZWR{Z}8S znF)Q(S$gB;#|$+K=Wgu+m7kAz*`8%xWDY*A%Nz67^!3rTpQrH6+LAZpoA3{#T~{~f zRbJDPaPE?5mn*;Wv*H+^{^It3eAdR3F7I?$oRc3cKXrrerpebIWC`tTNsNBJae3o> zh8^4=|oN3t=;Hp#c9+sYp7XA8T%@{&r4rm_4){-cZTxUW9k zR*@O4a?GP>{kwOGDtvK8K^bp%^clw9eP8jaPW*sG#3GJM6B1<(YMd~)Nr_GfQt)Zu zysCY^a(>rdp8Jfqrq8L|zV+jcspa)c;+%ecJsI}sq}!p#XL{z;r;4Pfl8Yz^Eipr}F2NyKB_{PncS8 z(|NIa%*6dg)3z1dQ+dBp<^ANsdRwdemqnhWrN=R3T{WBSbkg{9Pwh>gt?~_v9v_x-xezivJ#~smfT4BfrpH{14;)b!Nbh#btAEAoZS}#-Vn)#g zpEVPw$>02_vvpGZC7-4p{>hitw5C2-y`%F@{e-^Y^w~ahb))aTJj(QB!|l6iNg|Q; zobeTse_rl;Z@K1Q?AnuEp5AxZTTP-)u6?jEV&CeMC;U(6Dc|jT|89f4Rck=;1?A-d zF}YqL6<6l$X6^@#i)OLBHYZ3x)-@xL}u z&OevodyBKw*^TKLf0iBFy5mFkrT%-1?o4ks>Q0@%_0TM?-x-xZ^Y31i&d7fmRbJe+ zztZ&P#+`S|)=WAUeD$Nv>}xwaDo?Ghf73TNI{b}V>Ctyq*Oz=a`uG1=qjyU#q~-ig z4w?{nVsZN(5nC($>2}}VhW*^8w)n)PsAOGF-K8cUcKv6wvK2Xl7_>tn! zKHEip@~42EjE0jJZWh^mAn*_4$Hk-^J z53-DV@~8MojHZ)Y6Wk|rH1SRLpT@rVVM068ftwamf(h z{A(7S9N%mqZj8-0CWez4n?V-vO#aY35$qN5$unC*C$F3UKAmMVbL%@sMkBDl*xDC! zqI&1%gw>2jlUpa6Fd9!^r^#r_WMVS;<3wRb^Xc;?8D*y*jc4Saylyl5W{XMlnW0K1 zzn>@ym7lCMNsQUh&~WlW3(4sTVvM}?5#Ifm4FvXm53jiG`;zHQ&aZea zHgrE=5h{3ef3mMsdQSh_7A2MTwZ}jIdM0gek$89i@;%aP9$mS0ZBqOD)$_IQ`4=cj zdG?we6Vfyl?G5@AxZvNV7y0|`{wwnD5AXR?_haL#`$dOLL!bO9{ramW^1k-7o>zIY zmi6`VwKr;0dTLXg_~TdpdjI!nxLwW8JvFl*o_=Dn|G&$*_hI?xR)1f?K37-n)^**h zhca?Ia&%0)q8V)yYy8)!Oy8f9|MG`Ljt&3JFSc?|dnd2gx0`KSnI)Z7nZ9!8i?_#f z%@x;dzTzULtStUjY3la3~qb;iP9 zWHs(O_G{|AcU~nUC>*kRmYGlKk)n`hRmEMAXP54(*x342d14j!li!K+=Y8K`H|=X~ z;vWh1ES^n;LC<9B6Kz6EI#yioWZ80a*TQ3`g+hP+zvZ`}((m@caJ$bzvPJ*AWE{Wx zY=rZgl2%?%Qb$k6AF%G&z>o<_tFfrdCqP>1AbaJyuKo;C32D}T2wg1lx>q} zZ&0c9&YY}$rK9*V86>yJ2i>Cdy4pVsxs#a(xUSts@c zvNeC?EPWp{Gi&FQo`YH!vQ-os)pWKw%;b3T^-iB)`ia|X%`z{p*nND}BHBsqJ$_mxqeAiMb8%+XO)teyM{Mfb^mtZD=YmZO_e}k;?4_Vgnf=+7PqyuT zJ#BZi!mcg5Pi|RdU4K#L_@a4+>Jzl0YBa1`eRGY^oGD+VUA)iJP5G2&OaSxVQ(K4^_p;(` zTC1g3{yS{yCnln7I;-@V-s=2-i>dC1Kdq5y4hKy1A9y>({HR{QjWf`N4gnV)sGL&mvEcvRy1YUbr;GdXwFog$GMEwz7S?{z*09 z`}*}xAG}7a~0=5O`ShUtN-+ef=z95Ytt7Chk0F&a-USj;t9arTVKk7wCW{xQ3n)lARW)MRqQGSSI9W;;wi zJExk>LeJFD)NFF&GLgx>a~viwo?FFXX{2XlWM*Or7EGRNKe>Ef>U0NBMzQI6C5+sY z?KcTdwwz}_*>`@*XtK>>`^iB|QW*`=%oAQ>KUrgGDx=}#z;B|{3yK-JC$C#7IQiug z`^o>n!VedVOs-faH+lb3yUACUWiT3oEso4(PmW%hHu=>Gcz6g*mR{*F*=SYjCp!HDNHBAw;N&G6>?iNsm^yjRdc(>7n^a&` z7Vk7s2}mPBK|$X!FE78OSRvX3ETS;^{H8sVji;$F8JJE!U?Byn$9U@Z#`;clV>Cky<8T2$lyyq|m1c=HU_vIA!iO;~uL z=|JB5>d$t&w6r&GdgXlZ|GpJJg!ak_YRmom@;v3_ez?)S^)t?j43zj}GT=y!GfpD*_E`+ojieZS`OD}H~!wLb$Z zmfTj4xNmD~?>7IsdiuW~uh-XadQ`RbdAk)+^#RT|L^s`U-h4#&+wmC z^Zm=J`Z@K>?B|`EeO~HuLI35wKj!sc{$;)Yc~z^tole1~PhNN42G)qxrfyz*_Lleb z@F-g^*|j{isWNuqD?c5w`>3=;C6 zA*j5uNY?C@&zd!LAugAXc-ee3^nN6nb*(QZCS$LR*~agxVaEca=XOr5cy!p^f6bh- zGuw>9PrOb{OjQe8xA<25nHWWzj~h?<$P|BN{uxnj8#TS`MwQzAD#x|}zBG=`4J=|xrf7_d_@^=}8?)I6U_EiX+$0$^)9_z7Kp8u0~-A&Ga`t|uXk3HNT zy$$`n$Ig20l3w%rpO1eUPyf9A90ykdtNshtsySj0&Ks}W@b|V~!J;dFpRfP%G~GcZ zeD$-htIps175cYG;or@5^;bF9*BsH8-@i5E|FQGy_XYoz6bTNuO^Y;7IP*1hV|m@_ z$y=uX4t~FI?W(qvokwQf+7$MIFD5QBQL?_SDlFbNI;|rAn5BI6Ppvn+*KWr=T4gaS z()8nGMII$ttM{`H`7)nyTw`7+`c3a|nDv8Cue@!-6r?#1C>4qp<;yGHdv4lq_dL^F zT<&3#$9nn;y*)nS$1QcmrU}Z<S|xBikIz;D2Bde zdG|j*_@*njS}}^@PTLMi6PNCNyH>h8Z`tr-o!r@oLaD4R8P-!}f^DT9xk`ST+amrT72;S}^xy?a#0%^LtPF z`zlKxP||3%UNUiC%_?hVv$ltG~}uElp`z=2kPwJ$a@1TC*vw6JqsCB_~T->M?Q3cAD@0#^$&7 zL}xa8!3#z8rz=h}^t4qm2Q;lY;eF*cZ(HWqRdQ!GZjIV8$0sSYpQ=!-60Whot3 zoc-z_&%85t+G74b{&wf-CQrxKoF2vWj;+iueRiI?_iEX#ry=}TSp{}wt!fnFh|jf5 zcdi$4taV=}rPMWLRnv~OQ(yS5`yYD1&?e^9ri4=p^1P;>&Dvv5IbYl}Wu@Ckt~HNW zc&z5gZr)U~eTVRg$l~fOHcBZ{meIB#d{s;(Xep-~24EZ~xEd*L#tId#kRm zdi6A~g1_W1&(``^hQ~Fvr(ZptyL5|Ag2~-i9&21GSR}8P@`kZ*v?&OwRegH;sMqCi zr9j5R$(*_R+hYs1bJj|K_*y6Qq_weXrE=m$e$Q*0*0t>FS{UXD zrCpIQjxs*?nCTM;v-b}uwpn7X`e=eB7#g*0Mh*X^G-rQYEDrmlZq0uSXZ zj(nt8#IVHF=)8d3&kYfr6Tdq(u=Y-wY|#8re&*EI8pc9QzmDlFQk$nR&6{z8uCR22 zj)1g~cHj=pz3V*Ilw2z5tewS`_CZ>C;YYUG3wzQ;Uha#o$a4GLqhMha%Nt_QAM~}n zhw0fg!RM2F4lB?06ufp&L{Ysy{@uOFpPq&-PJ42iqj9s^B_ZYQF}u{G4g?gx6#qI! zCw|>(HL*vT@zZ`zskpIRy~xL9-{S4FcB-y$*k=q6(n_ew!-f_ba1D!)3nsCu$@OwN7XRXp`m zcWvHTbv^V{MMSEra@V@lFRQ|y3BGR-Y>T?+QpPT1<)kXB@o|ms+W5tovl-^@a1iQv6T zbETbDeENA;+v;iPn;t#ir3ZULx7e-P)%CmaKZDJg>)S8z?PI9<25 zUir)ZNm;$e^Y`x$FIiuGNqED$`ni46R@AM1%a?I-FVEE6C1UmauWPl7TuGQ{wCW>w zKY!LjtJ^1R?Lt~vUa4-LIqUI-bICV@Qr|Urc|2^B>Ja!ct#?t^!GL{F){5~zlRe>Z zmTA$VdFEGpIXyV<2bE{B*zoh4`Y*YDoI^IA_0sIk`zJC@Ve?>-^-*}zI(=0WXNyfr z&88^f+q!XCrIO~0Rw$nSP(PFD^jfBlihC({c`KCzii%b@q4S7H7JahEUdzWtt zoPAns^VM6CItu4Yj{bHD@k#w7rmNVsBA`uXT0m5TUJ|F}!4pP- z`N=PjZ|UmUmh$I%fO*z4PVFt{TiKTI%1hWI?6ktIc-Axlam&Ugbr+ol*MCZ! zc-_>xb((>gb5o4$3zLP;iO0)*KdgEpoYdFzUj9Yt`sY0UA^yDI#J(K4c}aFnN{;2t z^A`e6_;xJ##WXWTQd9Uv={vSxPDhI4Cr)U&aGS-#RPm^bX3xxWx42{5-qeX@cfVT6 z=^|7wxsZ>^w9Ak)SKzV8jDsz2Rt0qg3B~1`=sVua@7%0KvwLdliWEiYwwFA=Rc_i|TGedlJ?xv88}w`|O*y$isx*)^6!La3v2J_cm)w*UzERCPeWyEL{0@eUwHo$9T&oQhuZk=&SLj6D@BQ*vwqtZB5&Mf5QApuGL!<%ggk?t?AJ`JukrMRn`CE z-1eIY2JbQOnif>+JFimst(=o?pYjr!X7`*RX+nx)lK7BXVX&GDp4*F8E+<41sud4?aWrp5g zRln2MKmF?7mEYD*GYnq*&-uHsZvWo8Lq<`Hudh4SzIAtE>U2$k($tfEUJSmer&dK& z1-q6;Dqq=VxOxtsdDq&M)lN;zj%54lv9p@&^i|>5`lM{L;eos>lMeW#o=lu}FT~-R zk=z$YZt2J<@sj?jj7(E~ww_ATz9Kb)>qJmU-+@c@-wV$D{A4EVwT#P3DbZInFopZO zTd?ZQ^?hDy-4g_bdGlt!vT-S16%qV4c(LVGnN9UFw_jAh+{I~;9&<8DJ47lh_tOEE z5UFQVZs!JMyjc6R4(nYQeN~cVq82HSzZJn6^ktzqIneWJxGp0z65F3h?WZUHce=DZ*^>S5TIZdOr|VbnNxr_l?)KMb ze>Y8A>FOkuu;=El5{?VJSvHEyW~tUbMhO~{ox2q{H{=!Nb255t=J|hhRi3fUi%)x= zJS$XLT6)s#_K~89rBbFjOg{DN%^A&}&U&eKpzYoVN2WFAU%Mv!cbYUg!>e!!qt-5^ z|E&>=;sjHcYOK3{B&TChUVqB|dMEjp+i$Md+bLfTSQ8^=1yODm70bVz-AnjZGbIqyJ1nAL8-q>Z=NpNu>4WM9?Phju&lC%K;6dG)>m5{`^=2;KW<1MpM&r**n>U}W zsW&aHIIXsC)f|UO-?j7}%YKMcC`f%IxM%vwBAH8Zp=afFZ@8-aPd5~Zvnxqn&2*&M z_Q~<&XBLK=ru|Hm4O(x%bK(ix`%0yPW^p<<&&_|Q|NOJ<-?tmJU-e%6BFy~Cd~Vp= zFWLL{mMyU}502&g_;PZ6ZG5ok5 zk^YBGb6QsCvtGOHH@%$B@ELSmU$Q17T6D&gh4Xc^*WLaa9e*-2!uDceO9JmNwTlgn zXO~}2x49f1YB^m~u{k|ClyT>b4CzJQ>#xrY*j&8H9sEK97YhTI%>~?d{jyj+xD? zk>0lVNLX~_qSG@nE~l(LH>q&?vPWD`f4Z29Kb7L(={%7Vk9bh?Y{qxJt zd$ONuyM1QPS@y4h-Dv5@q?1fiVaL+qcNz3uEB{opRJZE7;+DXt3(7)D+9q$>bmbV|N*z4MPX`9)Z4 z!WZx0)p9boEdskI+b+vm{>n3~WUE)Tb)?SK6^1dv%RH_3dOYQAG-K!7s&G&0+xC-c z@gZ_Pcb{~ZS*i&K8)x(@3I{7FCck`acF@W11N*Dm#gd0s?2YRRB11-&f0nz zmnRIbrl;rf2dq)_=ggb)SCRi*POtL56vIo~d^SwrWSRB&tRlZPdrPmX`Ddnm=U5sK zB>B$Y^zmkj@BWwX65eD?dAl%k^@T5b8yMW=)V3Et+#3053afUDnO^oQvA3O}UHy}# z8S`Srjt2&6ou9bu=b<&R)2>`h-f-&Og}W9VUiEo;??n_!XSUCbR$DBjm2k9rg^Z2v zl!KM4^fmrU%7m8g{NG{M@#<^B<5v?bE0jy+KW(_|_v&Bj$sHa?{yf$d@i=+$irNdC z{+H_}Jed8zN{;2oN1xlT-~UKuJ~V&t=fw3ns=pcoO8aM8cr3hX)5C0#^WyRBk8Ztc z-FGd8j(49)t}m`iTk-qBypG@}bqj0-mv41xo)R7Yn3Mg{g&Uz;EBllS*INpt>y&Q4 z!Cbg%S8%a{U;eH|=N9uzGMg>A9h~t-^;Z(-`cw?xlqn;qWa$g8NNx?UvC!GuL=*{vU&MKlj*;| zTJWZ?a>(O9ymFI3KL26KUoWQbntj

`J2jhR9S;*{KWVUR~7Sb1HN{R)0q@C7F-! zFr&LVv*ovtl`D0=*KhmYU=OUe8U`z#Lm6gG%ru?fk=E%&0g_aHxH`SDQx*1%Jnwqm$uyh*KF@1-|pak zNo4NZ7*eyuCNoYt!vo4Kjp;b+>B)^r$0H?xrW^Qyk_&sz`8ptN0=Xn0RE zesRk4d#Hcg?Qc`3u{WCK?e{jneE8pMqbl`Jnu^<3ZJwU-kUiy7cG|5xO$TYt`BwTS zH>a&MOJ`1*zOet|iAeLKi-Uc5Z%Q1p)UG~px87xLZeh`>xR(sqg)X!o`}3(qx}g8Y zwktI^v{L76dfr-?&}cWSc((d<)x{Fmru>@Ht2n{*+J&`WCYa9Zao;1`Ipgk}yRB7i z0t>1p96fnXAlKUS^d0eNpROpmMN=&l_T2gIxKePNuH@eUnKeeaCJ(%J>@S?KAm+Q# zIYE~?wc>cc`tPba_&dU#B4Pc`HM5NN`I+ z@S)meC1Ktl%oi80*vgXkzpP0mfP{$wlXws~_dbr$GO*IwCoEzop%3DfV@>L)el z2D{t&1UyYVJ?GNPtuI*oT;Jqws_Wn9w5%)TMMpqMaekAyJNJS`!@kz)71tG{@wf4uMzgxxk>j^p00P-{O{t+g}1yu_wTdk{Q75# zb7NWka((8<|8HGwcT~H+kaNe4MtlD+8zvjPYn-s``cwxGx5({%6EdF8b@1p=)!V=C z%4;3d03oG|)1to~bKv=On#YA#dFJX&K}8|nZK0jgNdkG>b}bZCxw-1mH17!^PaI#e z{L|x~qwe*}Rc`y1#Gr|{Z8#>+>Swtgyesc%{n=@gu0A#2GSOuAt0R?*RQBC4x_Vec zC7MA{wYB}umBV$t>n>|JcJH^Cp;!HVal@n)tv=kq6a5=kwWpSBh5_3&)($OibDO+?T)UtWh z=dSL)GwWEr;{A>rn=H=F-2PH|vX!MvWXcW;qmZ&P6|YZ*sSh~=E=`!7#W~4?Z50pe z&x?Xa7cal;NZoX*SEre8-Hn+$g)}&$cidUiqOgkpkc!u=P5Y)Ptb9CikNusW%cBd} zFK*wTuJWea=Tcpra%SZ@<+nELUht&))urB+dwXZ%XC~#%8&}rPY~TH325YR3v7A%# zZ)f$iHOjkswh9R!dHZDPoDUI31rM&Bb1gf2{LJ?E8{P#snXEpu`SOZaN!uD02(cM- zNPBD*I+q}K`?T4^l|pm!BZbZMUO)M@Dt?}>(d=zPY*i;VzMODNcw6|?c}&I+t4fW8 zx6ZVP-et9QY6V}$oC&j|{C?I)%-2okIc8LpW$m!Bq3P$$5BA01-fTPK@TeTq8^8d@${@odR-+$`9XtL$F z{*`&=toZ%=4rm{ZdG~$3oq};CbH+ZKxf|Zr3;#R$`qR6JYnM}ZY%oq&dS3bW*0#+x zJKFhU`zOqfvn(&)dFT6f-V;w}+O4QtyL5K(hUgWiZLD%%R3$C({}>m#l)Fsod6;ss z@rutUoHu1S9go%xGIrbLV%p~X%HnC0neB^NCyirodf#$3pRAq0<}=MiG;h12^zw^M z>z1k+j#s@E@UXO5k0-4l?NoZNHf+=2-#UG;%|HymFF)vkJ-aD4BY z1n0tCt5Ym_UpVYJRaP#OwP%-&TpGV=+@=F9&b_;B9J<9yQeOp|Fn);1f1l6rGqmhv z^6~WR)j}W6EjY5GOz(1Ip5A2EmIne8uAH2fJy|J!W(PA%&&p>$C3+5>PuUCfemswE z=!)aay|?h`bFPrRKi5C6|NJC9x^CXrclZ8(ihIzqX7QEw-6sEfLLT>Djd^_DM`HWb z8Nc4dnf=Iv8qo}v#J+J?&6!f zD8&Ekzle3;m!JO3;eXb?Nc-E$pU0od)R_NYGcohu#rT|4wb&v{wQyEe*0|xg}t|D>=wCsx$&-jSoosf>_`5cDEa?GW97T~GhhGf)QXna@H@S7 z+3)sq-dY??l4(V!jo24WTl8$s?w`j~Z?6vi+<(vL$TNA%=XcK9|I#x1uaI&&`TSpo zX1)8b7c4zC;i2j5dYkKiFF%d?yz+PY(p~i_+v_LX{cF57Wmo;0)16{VuWwds$*ro} zcDw#pmJwUliUv_h=H9oH_3vk2vI$-*^!A^8wddcDaS|C9D>Cl(hD^F$&sS%e{qW5n zLw{X6dHcGZ4GZVnzx+{oKS%iu+v@v=g&U>L_bmUaA?e@pZgYywTJN`<{;zKt&EwEG zc7?^{Q1m_F`gzwjD+s(^c5QEKOwGLA(ME|`u{J5!85@qxL6E?%= z&BANquI!erFQblK-^G7(Rl`~Ci>d4mYL%%kk6p|8crDmVtuolW-pyf>dD4qx93}VH z?J_*XaBSu-L#M?o!ON%KaGGo2CLyy}rTmz}d1uCwcBoKvtLmM z-1hH2X8Vst&erm~dDCI@eH_&%rB{3juDkh+bAIgqdGEI#f96squ<|=Y;ErFM?K$p+ z77r)b?s<7xK;yCHKwkT}hqmULCSnBHdc!?XY6TuM4u@>aK^TTyF7{X0D9VSpDS0gVa{p zRZmu*dSseBXL@}09{nB6S$@6@qL)LsCY|-YSHi}V`styfu|Ztqr^|0QYEGTpF3u`( zBJc^PH+N1z-Je{2Y`UuH%arMkX0Du@1a;h* zkH!>*`G#f{OO`2qatjYV=rM)EFU6;MRdn>LX|A=h-@8m_FZ4wp_HW z_V17QE`$0v@%K)>eQR}m|DWH}-+MkP_ddAGneTmx(==DkZR{Q=_vz-u7``tGZLKZZ zBp?=TbmHx@yr;Ko?xr$}tva&9FQ(08p1iN^ttT@!YSo+ZZFss=XP(@C#?UPpoP;tehs1Mit8ym!>wcPyR8tCuDJf>rN!q5(yQcjds^*&Zf5*fba~SA zI}2KDp8R&38j&WyzF}JEzWk8RkEOx=Y=2HaP&>W%R9~)9^CRnRCs)?o-{|Z2^mJeD ztBVW`l8djHNHWaW=(|m)ey#PkmF}N!Y}9=yboQ>PqDXSV1&pJ+l@3w zCcEddbv#$RzV?Os0kL|?w+l7}r!tC1cYiVb(AswMmxau!ZRv+L?JN>mZ4)%7jLC3$ z%q?@L+Y6&@i_g8e5XzG!DhR*SEZtR>tefnDF z{=(2i<@!}DTVF}(ZF;inp@BzH0cTM#&njKl_nn4jOHYYiT=22|*SQIA9jeq0%Q&xz zpZTov&A<1~0=pOfy`OiG!|!Cp`3q;ncWTxbDjQdv^Zi+x`TWcNxepF(U%r2?-Sd^b zDZ91j^G@Ag{jGhzapbb!2YeT~m`1LfyE*#F)TyplPuwsLK3sqC_RUz&(#T_ew}s~I zV|mhd#IZb3MPD|3x5U|0Nl8D=(D)s{>#F@Lju%x}n#TP)WbrLoL7yk*>tWyc9XGtH z${dA!r}^Lde8x-6#_Q1cS#qb>e(O>FGS6RZqQQ|h#{!Zixf3td-cUEz-X0%vsAO8N z%+9wBK`IY+wD@XX^|*1NK0Qsf*FIS_j4eFkS)HER!FdJ$?(n{;n`YCkcUq=(Vo{mf zT+>rGo4iUQpFR0pynnld#IK3mJl5Rrrxlj5y>3|b?; zfu}sysFcQ5r-U)FZkbxyHX&Kx;g-vS^!Q5!=a+EwE_&rtbnzR5-03wgl?&^q95F7L z#;rO}QSIWzut$=QE=;L>d0Q-8se!NG<=4?&OXnA^&e&q}V%e8XlWV#4Hh5?KC_Z-l z>8199m6w0(USMF$YpG9&KDvLu-utV;w&%nCJnHTLcz>>cam@dxi`G{?k@)f4eoy3= z5}T*rw+DzA-Q+KSv0%k%;n){y=NG06TM5-W?sPbk9+=l;_NyyENi$e5CoJfvklDi7 zZ)}-QFxIRoTXkvC)!J8gg{OXA9ID2&-ndBea`c76%Y0t4#4b&FF0Ybx_vyz2)xS>9 z>JBeW( z>*sGa+ST6;30K~>pnUGC(kjK7b~cloGiK{8xOGf&UWQ}&^ry3{Th2_HYPdymRh8>( zJLeUvPaQjUV{4nwH8UyR#>*kUfAj3VrZw?}gZ$PrF6_G^FV5t6_1Jr=w7y31l(h;I zt()|wsNdMkUOR1RFjw*8fSXHhY`ePu6t9TiLAj#mtgk0c%&2$#E>slGY#loLU9Icx z`Rn?>A6sX-_v9KTZ`n^u%SC70IpDN;zFGXHtEmz_@%I>%EACGCFl~3E;L-nF>K6C6 zWX6}~9G6U)GvSK5f6RKR|9?J7Eqn7(`|YoIyZ!%8yCq%UpID=xm8rA&zN<@W-podw z9kVxGn&h$iWNpftWje1v{jNWf6zt@5b@m+5Kqu4HZ@gVOMK?~ZIQ`<8ardp7h9H+m ze%0!+HlaI&Sxsvy_owz+wn8HxUomM>OsGCzZL^G!o)t-x*6< z&kgbydUN*0tIe*Qp^K{=S@m>wwy*h|wD{_bq7!i~zc*bpYPXG;c;3)rne((SjrTtq zJt=0{c{wn5;zPb2XC^%Lyxo2K>6P}lJI=cG+QE*gt6%;*&}tKTi0^x|0i$&EJ>!gz zuB+7k{5QGzcX#ovy)P%ukNqF~`Sl#R>;(xJ7ri9*e5}%wyYmm#;Lb_Jn4;O5fBAK86Q1-mVD@74@kI zuXbv8iLURH;GA}A=KMM7Su2ts&7N=i_tlIaT`sE26QZ{K^6wEnZpUGA(Kz_RYGunq z*^?r6&3=9^?a8MF6`PL;W?Dasv)w2((_4Gmj%_MTLAx16efqYj8z$VF`E$*Y=(C0& zx9KQm+$rYHT_)n=F}LO^i;u=f^|V`?&%G~JxtCp~%J?khNxh}Xjm3o(N;*7Jx?7Jt zXL%l~Tb0CTb$i)jwL|fbH!z5-5q_9|X=!ME#>*CyEZ;rXd~yTBymC}mJf6Jb+=+K$ ztJrNnwry0FTKe-y^xoH>cYaw=XccnuMPtKPD=)dugRh^lKL~NU!n|tLnyD45Z@%7h z;H-*~{uFN8w6kk^Y?FQCjW{H(@7?=hsbAN0yIsFn>njX(H~ihl^g#E8xNyY@dHxR_ zCjaE;T~u2M+7tpk)91k>iRtgv8P!ycP0jVpj4ez}6-*6G^b9O5%@m9+&Gjsd3{A}x zOf1dxOfAgJCI_xhob2#Wda~hN)5$jXcqA?Lj4jPg6iiGk^-Ro+j7=1b4Gi@xEKE$m zDi7V0napv|M8(L=SkKVH(o(_5+*HrZ+|a~G!N}53&)n3^Qo+c~LeJ3D!eny5`ozgo z@5@ZSd(TYC#6Zv3+|X3P$iz_3(!|t6!N|f;&(Pe!RKdvDM9;+72xNZ31B1y6KhB?Q{0O$dmeG9jhlwJXOKi=}Ks$33CU1VE$)R9j4C2I2&fO>t z+Ec<}Y-V9GxiML#{;X_vzVh~uyX%h5%l(<-x$MU?y#mc!+(KJ4rBwE2&o(>N9@oU8 zQN>ur8Sv%)^xaW!i{w%RVaYw=Ih zb-@y$xy5ropS}Hk^?G@}pi|9P{{0BEz=Z*EsGw z9+U0l?g+B?^qZ`6DRjAQ(%!WP-Y)MyY<=i7yTMYn{fv6@a=*{dmK3*6jCL?EJ{Z1X ziBA2@=XN$rUNEdHO`YyvkQn9cbTw1_j?eFI8@m&GQxs2L+n2z5e9iZ$OhKRNul`QU z+x5+9=D8my1!Oe$X>y*P*b%!cZSv6{tE`@zJ>B9w=UKva)lcj!C)iFt|8n~6 z7SpPvBW9^*buWdr{NQ_gGxumh0rwr{i%VC_Y^a^cl~d0rzW4ygn`s@#%($!hk4T+v zRkyDEWn}-`*Xzl=7q?BnNmVmXJvVz*+0|XecWx}w4B}nCa>cur>ASc$cik%t`nP0@ z$fcbUp&{4(61Kn0k`)TfS!kuiEo?3qG%w_ZSL-BojU|f?<(W%vpJ(`9Y>o8$DkB+* zbcYsAB^$4Ev8Se~*6%K9l4W_R_qy)mhX#&){-!F@^$9wMk0(!EEB-^Tr(ojeRVUfS z%jc+im|oo+7x6ymJx7aHVNH39#)hBPDr{a-52u*UpZKr?7}SJ2@YRb zd1qfc{?3p+=6Zrjmigj+o|>gM1$m_>7&mO6)2ekK`FG}oRWF}BY}OxPq=S2AdFV--^B1msxiNc2z_v`O&d}+BnQJQi4e#>BUJ&H% zI&9h z|3&5!&b-{=S4*vP+(}gq?nTxl=Lz(;D-=(_hvHuRl?B;@ypv0cmN|R2OZW`~3K% zbJxWi#o7-4kJ9jG-Z1gQOJ@NNFO9MlY}fwh%&2(c;%auF+C%ZZWtwcjp>%bRs3_?i z!PRUVO_k>!l>V*8e1}W)w+)BIMbp_u-*f+e-1YxQO@e0kw$VdmRaUgj@4HSvPRvkys&;DFH`U88K<|LJ9L<6t$%(LJ6~BSc8%d|mBQ&oWrsrU%+B1~ad4g2o!hTnce@?G zTK-ldOLg|q_O&OymWgiuS-Nh@tQzhbgR|}q3I}fbZMgWx?2h0ueWUt<9^a*Dz4u?` z@I+2%eiV^o#CY)go$1*}g#^r%=$X(sH5-V4fak^v##yUGjXb! zc6@P)?WC*kJ|FNgYIEQUe7R$R`-bZ*2em8`t`T$%Fn!v)ao4BZReNgs*|XLz`D5VrW1hfi@ve)>IVlB}oQ?nM zQ-#>i+17r|(OUORP2iF7Un{9z?qlpx9}jVBP8ZNV^F8v!Ur+VRf3_bu=ao>W!tb-& z_lxR&gJYZu2NpHDZ+LJ<$@fhDf;qBXCl4+2xp+3nwq)%Dw}UAi*1HzEY%uc+UeBt0 zq0({3+hd25uO2)_>_N}&z2_&zcZQ?BVn|Ap|9`WX3^aA%RXBZE9F8;o`-3+?Vn^E z(cLTT5+mTp@xw;9-NHe2aYXOJU?5cl3{_(_ePaefrQ&u=hsZEa}9>wKHc0FX%0M<=-pxm+@fMhc7CV zANPvf2-o)gxu#AcKPC3bv`x1TENh=*R&E!2VTsKlc8gBq8gpLHdT(=;!(m}3&h1*a zyYKtc3v&ZCTNaB?J9~0R?l;ajcH75Om6=nkFR)B9RxOD-cJ6uRVoO_%mC38jP5maE z;+t3X&UjSL2#(@-a5ge)PUQ6)}BLF+#7X!eW%RypX*d+GO;G@*3#{5 zVl$mP{@=+ivI%b}a_o?8|M12798X!K$y9H5fgK^zHzvMqyCxIyewD?A(}vzlpS3+^ z-zykC<=Smkw)Y%bmT@6RcD{MHS3GKK_Z?e{8TBz8(#hV18J^3Y{&zOD{j1g85Gc9q zZyVcRp+n8f90JAj?xlrIWZ}-aq_OnFC8^yX_RQ!h&0eqh!~Nx<_P8hSfA#wt&&>ML zy33gRd`ITvMXz~8?udlN+cowaI9PX~_d ztL*H!&q3cl$DVP>c^{V5XLt2xM!+wJ`(oBPKVnrC<}kL!6xXjRo;^R`^JdOudB1mm z^`rb6r!ZUXpY7^>wYOF~kV9$9y5iF@wRegyMmZl8m*dN?h+jALLs)s;!q@%Xyg@-9 z4v7`)>V2@{42$319eqxW+SNP?x0#mRj<9)hNN?+-+|P@5I;TF_5Y~6ZIg$NCp@?2z z(;mxX8?PQX@LipK>lTgW_3L-Gx)kma^(x;grP~tqh-F9N^jrBIZ_jkEEijnv`8Jzd zV@Ep2k3GxuXYzDgvoJiVi(PCv)t`wmTYKy7^Qu|=UoLR4>8LAaOb!m5-5eAUb#by! z*wH0Zn&mPwzaH|f4Y$1f;P>L@wVvKZPj_qCh6?kG#RfBabWayPU^^rAm0^9aZ{H%D zCH%(gXD7v-IrxLE-;DiP@yVe1cW-KJUt0TT`S*?DRe|AEwRz#cb~xQ&o%cSt&u8X6 zpNPE^EjK-IXZUPjg>e<{pUC-*T9XNdF;f(Y5 z%GtAWdQK*ods@&B_IC zdN0hawwnH3>-&QMJ$606zlzs#Zgf6piwktx$g+`BA|kKCA!1ETOG^#|2SelD!|UUk z7Bn>K*Bh^_&D3v5J^a&5rf9B6zdExN2T$?JYoGr<2=h?=d+A$YfD%*t>U*!Zd2zm- z5`QCf+p7JquCm${*Y}0xyxx=E_jbacNyd7PJ0qrTI2Y1;`Yq$^+bZ&vMqWo&g}*NT z$8CH6nY`?}2etyIPIq?++@G^C5`uy8V-ka`NBeitNhK;|s zZjcatoFqLverd8$iuh$?v+XMxbS>CgvTSBvvzfUmAZ^KppT>p?vkSW?JXMa07d-uR zx#-Nyo7n;}>t{>X`>l)im1&yll=YISHrIGt?ybgmk^7X6H?3dD#AIZCTJ2;Rziigh zCiABax33)kxsRdBf+wr~RLkVww>1~@gm#pQ-F15R&f?MK>%OAz3?K2m>l3ivKjDJN zjS4H>>AQsw^F4m&Y>@DC^ZOY+OCFVO?kTUi;@s$U^Zl1}*1BIG4)1;(pWQL-`c1!A zKl-noTqpalhWUclN*4n=CxfW3oQvLASXxP3Sx{+Tclhk@XOGW^fAqfn$J(y`ug<^! z{a3HwcM;kbee)Ur>M30r7EAiuKK(rk)O+9G=dXOvX?WtZv(Gbo2G~<&6JX<9Ji&96%aJaQJAaY;0kwXKHL|V60$fXsKsz zX=$NgVq~gkZe(O&s$gblq-SI?*glbz#Veg?|k5~hsh7Va!Z;T>zNuFm?;>U zSm>FVnHiWWn3$OASz4M;Uii^|vcM+3$#d3=PEP$MJK5nAtOLzt0X}y@7rZ5vO98P- z)xs3iX;!cRccf#v?Cd};1s{W9VFEhSf!Wx^d~!pwYW-fB*!(9u-rDXzbTVa=XWF%7 z&uJ+O4?HZmE_QTbMs-G)*o&C%cVgF@&dh5DhKQ7;`e|P1BQ>fXMuRrA(^yI#FrzI(r&{Oo0xX1C_nnLVHX z>d$49=igubxi|m*?9cDtp60)LyS#jV74v1y=h?SsSg@Pk{cDn@uuZsQYwp{*oF^Z& zPnmGm!}b5?k4ueqRk3mZU^(%3f{)D2RUeMnT~YIsS;@EU-5&0;dEd9ExA9cezdxVx z*Zb?f>{l0Vd^7nN{Qt&W$J?LJCw|g3S7H2Oz zdcQDhy;KkxurJDG;s(AoS^gia-9Jw7Os)@pbXTL9>9Si*L|@;Q|2LbqUfOD|xb;D- z(ZaV`kEOP^blxm_5W&CH?9Y0ykFpaC-kf>)`{uT|o1A4cK7aVC=DL5b#w^uMvD^5L z$vP~^|9xCx`ugSnCpPS7h&wF0vRu{hg2?7D4n^w+;xZ;~m$EMj^PSiFS9_?;r|{R5 zRk;)M66zTRSk5S}&6&QLD`U&kIUMdn52nnkXYQ-soYUApb8XPX)@!@+b_ukdP%?eC ztZVj8qnlzmHOnlO6WcwvO#0q^JNLTTy)~uvPYQx&38a`$EL$++%;GvvLFS_^4ZkHH z9=73~^e_0=vAYej(QmeQgy!G8zVm7F{`*DKHcV`pXlKpQs8R6z$ zTjiRMGi-JJ%x6>oTK@i*{`S%j}G5{ZrSe&Q^DCQGPhq#T`BQ^UHJceHrex&CpE8S zydk)A=knQB_9suUZAoslt>@#t>3byKD^GX+nZ=bR+agR-{C`S6(7wPR5Phcbc-O({ zm9uJA=FXfNw5P!_{?gWnvP8F8yi)TGq{ZjuaA$4wbDJjqZkdRWwXpCNJzsCb(~fVp zDX!RLc;tPFPw`9^?!EEy*?T{o5X(KVCo%ETk6cMdyNQW1Cr&p8&)YnE;uM?ug;Q^+ z27lIb{AOd={H3sc69em3CdZWxOe;7KYYV*AohC5#e*EGDCT@*gj{olZ)JGPG1qMCp zR95ZomE6ju>=xCP&&Qk%bs)22UPd*EL?WylU?XW%QF?zll7I^8hKa*Kk2ZA zzl=}{3}-s)x2$6N?7z1DleVnn6x!wTv0l>X=}|tFx6hUe98x|$wVCUcMyo43Psz9H z<0hK>reFVMV*4S{&+*=7u4!*fe^|*iuohUHyXmSFef{cM{wQ7UABtbB+8ff6{xY^S zpLxzFZnSsq;q}bjGcR@8hE4cVezQ_wk79_-XKBCr?3WI&kZ4N&LUBBO+ z-I1MHAJliF=X-L8$@b@h_YW&oPc!KXJy&UzTYBgQ_uT_ zPkU^u&}#4~af#tBvxCQd)aBg1g&xw#=sjKPE4pa&HmmxTI`h)5Y(As$_o89gJh#X@F_{r^k;y*<()-|en->}8bY@)|G3>1)oldIy)5h8ex} z@iCJY<=)S9?eUU3XG8Y6*5_aRZESyRQ^8|y(U8=bx3`b6&FTw|yYtIx$BAsMM!~CQ z@;*81BvOv=e-&PGtDa$n028CU#_6k?o&A3vXnkH`aa_b>{+xfBtCRb77#+KyUMp_+ zYSmWrmk*p9Pv`h(AKa*;@aenb=5MT}I%<=b_s&^YFy-5t3YFV07DNdoovW*N&)nOq z*KMU}cd~(}sUhW?jS<84gd)AoOBQb5Ty*Bm`Kb(iLYEHCsYt9p_EAT&{+VZ_^3m^! zu5L=6=9j%Tev~_EywtgIX3Q49gU{A7a39fc-ZwvkCGddoqolCMF^3kEdtYaLWwWH) zIV^ahtr_&Yqau;8p&?e{-dL zzhy;UyXQl3vVT~;aR%8=8`1FBE z`RC1Q9D!MR4HsVT_PX%iVsGnDgWxHTB`&ChO#j#hzckIKX4?jQZW1 zG$y;`JUQ6*=#_$5H&|jUxYMorO!^oMJt} zsHXhs;)Nxq_ullpsd~3C_<;VRm8`e77S>$wjk3{P`Jwu0>D?`|vy&HmuXhgrqW}B& z`^p8b7r$uR%e}dxVInA%p*Ts|;;}&3X`c8S&R+fhbj*)mkeSZvBQnWUF!)^Rp36C| zFKiB+n%ZuARD4EF%&kkVIt(9m*83=~)ttHT)7JMsQL8jl?%cbw)@(_F=Iqu73;3@r zIpxrrSMX-ysz()KbGFrSY`*owxa&t!eJh96?~`i+SdQzy&sjW^b$u9vfB=`=5#ZXk6a5mtKyQ)fR!EFVDXBU}Q zW~A1~>3mtae$RuT>J6tW_|BA^?z=hl=age22L196_D%ZI`>JF!ca(klVU37b9hqBd zOE}Z&rcE>t44WL$w?g;bw~g0Kel9w|A)~VY^uI&1LcIh#;`kVttory@dZe$v`IJX7 z$hPB?>fhU43QViaXD(dyxad>2ir$gKJ^SWA{S>zM_tyH_s&u9Ed&{2Ze6pxrmttcc zw81&QDf^h*-Y4CP!PDb|&PbR!w|qX7XD_{|GV1=JZF`)SkK0uvGQ;~uqpMh6Hov2NpCvLvu88i z;1zy2Rd~*9?Q`1})c-zRdAE~?@$N}>IZlS@-7%I+E0wEvy%*UQygcS@$&!M?O_?!k zlPs^5I2E)e+*r4PyCC+`w5CFlUqS+3&h9S!z;eko@SUHxp~doPJdb2QJvyN(G?A&E zXVB$Zx<#H*`nxwb->Gp`?#Ug#XY#F+FTJhrWnrif|FTj(=+`wi z*3!v)#UJneHA&&n_HWY^r1m|TwcyC<=c#kf^yI`Vcutd_*nV~`Gt*~r*0w$IN-Caw zc7ppgW-PdxJnb>Fr_6(2x*@U#F6sM{H=juPt+(LX)}Ous6~f-PmZ)E4Fs!K4uaE!c z(mGG|dFYu*PTkhim)bFF@xA!PU0NTz_?Wdw4X3oTk^G_!H$VMt%3QiRnPvAM0gKr# zmbVUy91HYQI$V2{T{^yU&zr9jTza`zmp80PnD8Uwsp{(eNt<_WoKpU0wf$)yiS_?` zO&i1)`KMoaw||O_=ksLKaQ)6V-SLNlbKg3vht=wE@7vVLfA;8Zrbdmd<|PL&&Me^C zRR4{kCF+~tebL1V>t0lx6MMRO*8eZns!JqQtZKX((xYX)ye@g~d9+PoMw0gJZ5ngD zLn<7<9eEjXFr-%ace8!1uUT|0 zpUsVtOnG>_O<+zwhgR$3efw)JXkIhYy#8?Zt?$48o~q#Id+dG9^2RJ%E@Ah2)d?*7 zZip|i49}M~nKk{+hHpAszBH3(Ms)3f{6^mxS&o4*=$|595Y26bJJx;)LG ze&NHO^CJ7MT=-T$KQYiyYw5?@N>N=ahRav4eUG%WaqKuMW>zKmU9Di*r5)cK%Mg8rU%9Ld~Y-Z6`0Dx^hRugzcb`_=?`vXGh|? z!#Fm+n;!PUSwA#j!}Qw=X2h*)TGYJdNLUhQ_0kFcx#Y%EsvP9jwV>b8a72B7Q<+HBe zI#-=$Sj8;)-SFU5)wQRqh3CCAFtn0pGM$#NIpu{{pUI^Sk@t9X0{K2QJY00MWRicV z{GaM>zBv5#=MgeV$_DxM-~OBadj8n||9ZQ+U8`36%gD?@u%Yv_sj$|EOGm+O*ds*S1b-T__|5j!G z*V5=CQ$!_C$Hzs_W=PyNc-i@Jj>#;`Y$@K1m(T9?1(()`D#}(nOqtGE|LdOM-dC0z zW_uZBF3p=6-_Kz?gXf^<3C8caf<@dOFY9i#hTME|;5R$=o1~4__%u2e99)x=kigMevgi?WzJ&Rr zi(CO~85b`~kd}~so6d5@=38!?desfBK4CRykMgxl zjB;KQr)BP+TX535_R>MI)=5{FZrb0uB(u@*AvaTGuAxX*72uo zR$}OrmupMP%;Ws-nWXZ6KiL?%V%nO3l>zOIdMD~5CUrGsx}21pnt19(!NI$IX)-r9 zeJ{bSJiGfu#5H!MvL!*2c;Xl8D@=&=Jm9LdSlH2X z)0O-F&e=WL;YCt5W6bS88B_8X2sle=8D$17 z%Cuk2G|y{ZPJK z3+HLDU0)mAq|hoPG40(M&+sep5&vT%j%|I?los;o;bgrHRhzf05_}}nR{hhSb(Ynn zMHX$lWP+yISyuBX%vmbcsyZ!3;mTK_xszx3Z_$1nf4Qu}d1fBu2>@#mW7a~^*CQ2SNbCC;e{t2Xwn zHZMIC$8_Fda_t?(kD9M9a;QGp)T%w3b<6c~Pb=XS7Iv8&x9%yIoXS7J${yUZt|DnV zFCU}4lE=0`OzT`yU%!3sJJ0QfmE^*jz2~lc{>$?wYlGJm-iu{s5!3zn7-i~p6>Q%2 zUwgmGHF=hK?9D9COL_YmoYxginR4fybjgw37fZA*{Sx}t>|-!JImlI%d*kx&0aFeO zRxVRquO4OBzWa!i`afT_`35<)Z|m1NpKW3~GUqA(i_%&0(`L54cmJ~5QAw=b zB4h6E4Q9E=8NXlcH~(_eUB&g6$>IP%zaIj zEq~;)damCv58(pyFXp^`I(^%u?B6Nj z9d6bWJQCHvOjYAgs+UUa_~!E9y_M~YDjxAKwKCg3{LTG%?ZnrYj*Lc69xQC%vDD6F zacj$)W50D=b~($s?KWY%(<*88B<9p2xreMWGAE`j61v)cJv-9Nb!lg@k(YMi=u=7fC{ z-nnTGgdggEMS5vS-vh54blimF-Td*F$SF zm&zXtFD&nSDCjl8|5?badx~X~_U@0V=A7Ah+*jzx%LvQQU)G%})+zJ3YH)mRXI4V` z^e!Vt_EM%fSyv<`9%1TbHdeC?Pu>x|&AxALS*S^+>#bO|FFGXX zE%)^mWm5Z76he)!_9kyNJgD}r{lp~x!oL%^kF}PVedej+TGPn=L+RH}oSBgI##=dpd_3MDSd-((2W%su=ajqh4N?R^gVwT{a2kGDY0E>D2yyZW+Yb<}FP=4cTuWEJZminYyTKTU}Z23Qr zVf&dA-)dzis`u1#9Y~V9<-L9Pk8F31-mM$!?k`VP`sY}F>c_6Vo8L+wR#MX7jQ#a& z+ETaOT6ruzMQ2`oFi}5sBImcm7HOT-*?Wpl?E9)_s&cMD(c{{bPful9R-UeJKYn~y z>7RW^QnwT-8a&DTz2}A2EK%P1v+LD1Gc4+An$WD)BWlDZAi089dXlBUC#xRA%YjF> znEQ1behr&+gC}I-K_8LjTa4avUpl{Yvr?*ss@{bqpV%BWZJ1>nc2+FqWvu(M+?iR{ z+=;r2E?@Cq*sGCK|D|pEx2H>5*levCcJjqo8Qx;xx4#k+$+5SJ@tH)y%9!NE-WLPw zD|ULl*|gx0sdcB!@>5THe|k+RoMhU&d&&O%tt*67n;H!F32n~*uDj0e+T`?J&igw{ z3x7_oiJp}6_sEWie^vKOtLjd;uION8q`2VeQ^8ZaFS$I4JH@HExqYo+_QhM>4pu%_ zn0O8!W|J^9y?AF8ht$p$hrGLUD|dd6Nj$pAUOc#7aqYsj%{z==`>fg!6cPDbXZMF& z-tm9U_Lyl+eZ-mp8AIK;=-Hd}#8PZuXn?8Yq5p;6$d`U*R=_ffDMW?%pF>2KpUp5fg_dC4fNMsCq zWcOBy8I6f-d@)rYTQe;T5+8){eL1p!{hrsE8)t2s-1+24{@;7w=eY z-CXY!VkXt8w~WjC+7I8Fp64et*6qBor7iB`nOhG`8A={2maX}@?XBRe54GY~izDCf zxmUr+dXCNg`LEgaEuX6!AEoKuzx9fJy`@ZHLe$#xT)PdHisvV5=P%~7zY($b&$`zU z|1&0vvz!lOkj{(m{#tSEd1}W|?SOT{+2YcMr_N1fFbUSp&^uOoxP@W+om;M}Z|A35 z)x4VDG%Ye&?^aai63(Mu!dq|bohu^8*vD?Z1JPCGN}YZ>g^_dmVo`V`Ga7SLB z`{f`v8L$`|8<{~mpEvWAcYeGZe^D+v?)0S0dnwA|W)6HTCl0eU%XEC&a4+FoCVNME z+^6q}_jNXPy_xprWSoTeD?PF9(v5s&-EHmvHOE0;d8pD z~gvM`gwKwQY&YFmtR-+yH2M5zl5?t%!X?- zuHAU{mp}af9{a*`{xP>6PVS$d^e3cdkN&aWd3)9$yI=Kx{jGpCEi~rf4_0RH{5O7s);tK-(<6Y1zvxADQ3r# z$kjWIxmPxK9E(4tyVy$RV~)Y+38%byxZr~Y5tsrsoU`{tkOji=iWnY2q@y`1v-;v&^$ z;+u}VwcQpV@+J0}%Q8mm9a-C(qB|dVosiL!O|!l!T3@QVy>?Er`9$A6TYs!Na?K}b z+nJ)9yN;^p2Ym6E*^=s4J-e!E`Uf?}&k5VEq%$SjPxN@DHHqhd%k1VakN5W)zH0Gn z3AdekJvB(3M}gshxkJ;3+cAglpUv7=w_`5v!x*!r(JK$CR35q6eqO_vsZ&?^oBEDV zisk1zG6i(J8Ma1GFPC8ytv}Yx|FJ)LT};B0QnO2hEi&iKZmt(xoa)s`Tp~RVb_ey+n;}Y)$~l->s0QE%`IYlCqoYG z>v~swXX7>L)q?RwZf%nvRkt>2jI_Zcr_+VcWk*H0x3VrTcz!gFe|C76`>vZ8Ts|u|zI_#ZDB*34sdY%rR-q=z=PioO zD`qUU`ZrNaYt=Dk-=^|9^&b)`tDkai{&3)<+~&P3Z&wD1oM2-xyEj>FQqQjLi`rA7 zbk6v0xFDy>81v{;sF%lwl!$xIl0qyxf4%BI1n|jrOa3Z*`CU9T@yqp@55lhY8%+AD zHTTg%nHQq(0&o93FRUjm@_fO3?*03k)~t?P^Tp>i-_4wjffIhbun|7gbxkeqMcvj& zRf%8r)xZ83{S0~((wiRH8OCyGCueC~4(H~yZ}WpilC)EU7e=dX{iNYFNpba68_B5f zJF!!JRqOqj=U+n`!Ng zV`_%aWChQtusxXc+IFkLgJ#pq?>>tkC}loVn(VjvOpLxZU%kK8Q61Hm&oXh-ODbQ_ zIrdcR(Y;`$Y!`{?OJlo}@_n~t#CCe>hv)xJtk+$3<uA`yb6eTuYYjtw3oSEQrp>*}$W5-KmZ^!T-vOnAMw!!-6^`k!~{Xd$m+0+@v z)qhH}ux!#|4Xs5Jgk+bh20NC|y?wy)Ez^oCL5azIt2?%8rF58mStiKS|D&Tm!OAb% zaZO%{Uhqk;K0C$Cb^h#}df_z(d9!u%P2KpLqxJ`Nx&|=i@9MghwT$EC3>{iYYoc z#pImu<&H0tH^d!Zk`e9syJ7cJZN0|nsr9S>NaRmxKT*CW^z-u!9-aC799H&+&u_du zwV*HazTDQItQDVJx}V*bdNixhV?nA=LfyP=pI7+E?7lalS5tM5@qhE{w}UNozE}Cb_dt(=eYl}uKjPaye{*TQ6W=W z-=wIAlFwRpbKRfo{3b?W=d;%_(+a}p3w0cE_Lqxh&YY8}YA^ZwMy_DKYxBZ$-VEO? z&6ewYdo+QoBwpvuvy%sd*;P1G?lY`@wq(_no{KDPQD0rl>mM!YQh2cNw*Ge6{>$t9 za`I1=#HXd(Ye&Z%UO9b6_T;+`iaggo^Ub)_-o>fvX5Hts%;yO&k3MH!tjRCt8N#M# zcXIrY+-RGTd~Tz_&q&Gn&+jdsw(H8;ErN=xzt-7tDt)pFaaf)EQo`ex^z@R9`CGJ{ zx1A`pyBu%Jx9G6f;r$Eht0H|lHD9#9xv44qFMFCsg=J{Rp*wo7Yi5NOxHsKTy~|j! zYQ+uC#TVyoXim{QvEa@6N-v}3Od_uxzZ-55_Pw=hLDc8l;oGC%$*(T*m2wVzQhJK- zR^s99TSDc$Le}K|6#R03UF6Hz9#8fN)h<t_EqBgAKlVubs+enXlT4iqPKKs5r^`>}J}W3`6}4pDTdoV5 zH+Pva++9_?rS-Y0(1kx0hYZe~@7}3>xqkldZ|W|0v$?m=j);o9{PNJ@xw}QR?L_@c z>m)TFyNhPVmCQGvc~Q3DS&Ys$;g1i(v!YsSpDj!~dUvK;wr%Z>M;0r~OKx$qF#8`^ z{~(Q7;A|O_#YxXHA@#kBR{#DXwPI#Y{T=l_r?l;ncE9qReukI()U2&}{%cao^7C?+ zy;!H#f0ejh%lq~s>qGf;x3_8LVl!v)|6CBZ(7dXDwjF2avBtX=g6>rp7N@w@w>~)c zg>&ZIO(7gV#QGbid0upV;hiMTa(Usg6>l8p-3&hR3*3CKauqS%*{?vZu z1g_0SJ;5f988!4cQR`-y97_LNTfld{T5ZYIUz@4| zyOv2L-apP{qB7~tg!+2l??zHZv8NnXO;md*s<4Q;^7*0<>&@chOf=V@PZa-{u>IUU zl^V^0=UbHSA4)BcKH9r)pYqz^=CAA0uZyiWc(iWjk|#bKZ|}d_80Wh6UVHfCh_f@N zpSu|<+xDP7WWlx1hD8&)cilUmRnt)-A-!eEL2sRY=Xo2JNHsl~_uu8oo`QOrgxiLj z_dW46X|l*kc1jG}AoTduI;Of+ww?tzLO0* z_*yg|RN2{EeYeyx;j8>TId@y?YEIujb8R_O^O3O4-y$csRcJL{c{*d0{CQ{om&`_i zj>0TgUIuIKWSj7QszT|Ni7f&9)-U50u0P|uO!$h~TLZJ)x+Pl2?wpU+vx;0UkzaYk zH*WQ-Ew=+oCryl>Is46H&$g_KC%5Se@9NF@Y`%GxOxl}`;v4QVuZWDD(q=KC{K9de zk6DIIpZNwzQ4uam#=U8zPd_=;o;*ChmNh0Tk?7O%WD-I<^QghWVL;0xamgY-F=V5 zf{tA<%wej`l++MwcqSK?o$>%EwQy`#jeu7 zOQ-LC`8C|MnP+Xyd!C?drvAyo`QKfd@{YHBayt?9YwE!U-LHwZ8l0m0CozBcEC2Q3 zQu8woC%k$~thFzQZ(O)1d}-$fH^)@b5`HHr!fa6-#=#(&|#eyBy9Co{e;Kn zt*z3(T}oIPm&&bJ@U;Hsu`{oK>4& z^_HN!GlOVEgM>vW+nsZJLuTi9q{JG(pPTP=u*dTJ;&SPKiBcczbINWxh$45N@>0O7 zXf2JWe+*(Yp6;m5m^T@+oL73fmKG!bP1=3YiR^t&TC|1IT?DJ8qf3$Ek@z` zP3;MdI+GYY1(tjlc`D#zV42&H@_keN{!MqLMI6}#emwpEy}A1*_XeGPeSLR+{QE1pp|?B3 zesBBQ``Ib#=B{U7+jrN$sn$%@@2#!Q*MGnJHT%t!wf3Ru5$|_%oELh$)p$kX!@BB>rh`5L1&ceL&zx+lf1RZ= z>Vzt%Q`LLRe;4Yf?(O|_I=1j;zM7(2_ItknIdT6>zW)wat7;a!>(J46&y)S}Z^emk z6wT_-T-6m)zJBZYhQvuvCG;&BpYPsduXd=~<+7ULPqx1uGZb5Yy?&ChU;4j!=Ii?W zQ(dJ?mx!swOeyu8a(|_puGnTJD0w``PS&bJmHL@JDZnf^9_ZS zuV%bDk-KE)a;dGUTZ$glGihpUm#<&2R(JVK{}V!b(>CUqA4>i~OsqUR=d6#y3ZJ)LMRgF=2*$Mem#}a=}nDIvKSzgziV4=w$udVKtnUG~_s3!XS zJx9sP{rU$Vsl6+=j8lJlUQSX{{e$=M>CFFs$3&$>+|MmFX~~b(j993!P2}vs$G!D2 z|LY@`&B!^jWpbkw|CKLyzZ5O2?KX{AvV2-m$8xTCDSKJ(i7%oA_k5qZD{H#Jp<7pi zm>5z57v(J7aF9KFl22dVM@ilziM`Ww?;2cwx^6+$o+STNp2-Ur-0Asln09)S70Zvn zg!||7Dq6Ei8}6! ze!oB2^9r9v)t$$xGo&t6Z#s33>;HrqOZ#_Ux@+|Jlg`~MZhRY0G%PbyO5S?m6klD> zoUiYBemr;+x1F*1e*LVlGbdg@eR})!>3BEqixJM+Ik%Vj)SPc<=Z-kla`J`P6wYd~ z52~E|g5TtEFHSy{_|$IK>lSH^Lq-dBwRDxqEO$*`nxAW!CHQ2Ql8mC|#l*EUS1b#= zoRpJ$RA}p(H%B~j>Q{W4rM)~d`0BP-8BZ_koRYL+^VLxQGB0*psk_^Y`fWX{gU=p3 z`Ka+@lEG_6y;!MwzNdRPoU1&~l5t6xu|7`Vym^61t)WW&KH;G<8-*DcT> z^{Rg3k~!{kVt>q>;p0>{d6q)zxw&1T`@a=ggycSst&V;FCipnJ=2^ajB5nVRZyWsC ztIu0)_(y2-Y?;_iNsYVR+CukqI$oHX*twxVIG`qC!|6{s>HBZ$h(~J7EXsH=QSex` zlG3+RKh(V@i*&tZl~sIoOIk1Du*<~g%sT*>#ZM0`^0S^n`z+&eGSyg2L8 z4(7*|*B5H8-sR7} z8&+bPJvlAk4}bGV4syyJ$~oB2MDZw+s59Z&W+tn0n4t%Z4!!%~g;lg=F8t*BLSz*59#}$>zLod4cnf3#ad$>%VeZ%+?w&e6-PyWmo0A&JVe> z(t~!aNWUZyQ+lvpeBO`w&!U4Dw=wb0{48|L=5hAZhldQapM5DiyE7=~*~J5svbaC) zayVS|?At2-6StU=IuI(`mTN+ zj_~T`UuL9soL3bnd0HrPXwp}|S=)u3Ys2-Yt=-Xy@|@`)Un#nAd!W$k50UcCZh11L z1=SO7mS`?kSTg(crLXHIuDQDLx$&u0ccm|!5;t05bV}{A<(tjj;U#Y#?A*j%xV+G| z&@XR}pg-fc>2b!4QuW^s3O~*2kK`<|JsMYc<7iUT`cL;Ktk~S8d-!mkixnzeo26>kcigRfuNc^m>9X^W8SZL&y)W6lDn{@BsyCmS!+HMQEvkq(nw=dT zUHfCpkLOL_S@&GZUE6x`R>l5?2XB*pZ@gIl`_uILaQV834X@hy=ZoK-zDH=)uKMbT zno{#m_kS^2JT6^bx_b7jcb6ai{@Q1_EqRgTzfB+Y<^Ow`P5Zp@PS4Y#n(*-Vt9OTY z=f4Xm-D9{lP3YBvRn=x6znr?&vnlH8vWaVt*EEald_RBw?&qqPzSOO1-lSx{No>_* z?yxsg9(<5nb#T?Tv?y->j~ls6rH)VN72h;%*3J5k=-AMJhquf>Ecl%K|4);y{kF%2 zHPW+w8-#Mi{ujD+%H~un9%KO!meeV+bIzuV;%QRcCS=? zN!vkD{-X3x8vWCj>^wOoRQTX2@pK~{?f!&(hRi)(OTM_iy{3A#@2c!R#xK_c>nrZR zl_`EMa>vIjqF#OLg^#t>^H{cJq-A_6S@(gPNsjsYGnX|XA9Qol)?e$*{%3q;Z}R=_ z;HsPAZD-bK&d~ka|MzsMq+`caHI?Lv;(Qg+(TjJMJxqA~xcyBQyTtb(ZnE|Eg-=E&tO?_IKp$s5cLKx<7~6Co}zE z_m&U;3QNUo-L)(Cwe;M0t$z8<_LF(b?>s)4^8W3Y9XnR7kvXyM@>iSlX5R|>ZNw5C zl=pZ|u)k>&edBU1`&5}ov#k@a$zL}&af*s;KK%Jwx5{Y^rgbY6CL}G_X*;Rc$?@jz z*K}bP^UQY*Pqe}+f-lVq64`pAp1t~s=ZuX3IU3cE6f&6%7Tr9tDq-R3nSZB#F8A5l zRl@E5-$~`rqh~JtuWQ;<8I>NLc%*cEqS4(41(GI`GY|L*Z&y{nx+zcM`LX#m>BqMp zscHGvbz+q|e@=)>6l?1VF^w`^V~4_xF=@p{7ab0 z`{Jp9Yk59>%S3Wc=pJV|6Z|iC)%oaH;}<2qC-1C2GJB1nipruW!#b~|s=|OUuCPaO z2{VoUX&(MAoO@p7!qFnBlQT4<+_eH4A}c4AO2tWMKh?YzDVrtRnb@$__}SA5cOJ9# zhE>lv@K`!~{zGGy?San}e(cLRKka&yxztVJ`ZwVVSL|N$$LdV(-Y?rt*qP-+gQC|J zJ)EJ^duhYWn%No*yB&8|hka>TyqqWaO|LxD-9I@~*VxFsZceINhg}c zwpA~>9lrA%?;|bGBRibEESBdkKRzwUKkZ0SQ40Twx+~}W8*i7EBnmB*=|dJbx^5ZR2*h z6t3#w9_VUae^KqGQ|Pt~{iXhs>u=k}vF{U@wBJqWB+G%|I&q!!MJw->F)_qm{hV_- zz~`i6`P=NpmsQdHe!Ab%ndvp*&+HYh*Bcq0miGPb(p{1KdqT6> zq*@UPwdWn-b3fhe4_cE~Wg<88@0vf;nS@Sqe}gI_N5Oq*iEN|#Q1dFS{N$+Q24Ho3x~GaR(Ne zG>vn=+U6a9)b+SZdR4=1*3(rFJ!CH~Rdcj{qwvIH-Yu56rzW#<-zM7ZQK;&dz9TsO z^7@Q(h02c>xz<$Ucwy1VtkHnBB#>&4&2*9vLo@SdJ}?Oo>`_W5h{Q<4iW ziyMb4BxpPnn%XyCO^Ek&*CI!i$ICm9bVZ#Oo7gj7P3WBDnp{qo&HtZus9d?5;bT%) z>~g_^t=HM*@%FwG{C;BJ_9(D@TIl(&QQ6hCTXM0y?b^(QZz|EQSGUAZ;-1q!g*jMa zX~j~u&wlkz|2p`yw=nd%w60t_;XgF|Jwb_Q8x zEj@j>{_=0n??3K-(VZi{JF~~SeW_4-=aMjk;3aFkq%T}sGj&SWhxiFPY=6v8DrHVH z3-10DZHu%GM67hJbvrql&8ovD`)NIFn(ahpqUeJ|rp z=4ZEG7BVG-+~S?wAh;*A{ozxGKC{?%y~Rs2L#k~emaLe%@xb}Eh}SGOzZfiw&VA(- zb@iW7{B^<}*}|LW7fxCKdV|Jn=0_H9S{zbLm}H;GFx@}HGCOFiz?@f?kL=P}Evh`x zbNMN$2`8mOnKm0c?yt|xt-rn1ETew@E@i>*C36k-v`y((S=xG5UixC)GXKX~4skv_ zm3F@OCT$8XYfUv-ylPJ9{Wd*D>+sy?LP;|s=Ui8fTln zPFv>G{k5r4HhnYyl`MaI#qsI?d-F>&E*y@zHD7l#=NfmFfdA(A1lQc1m;7jR{dqsW z!d2pvgKKSjt?X-;KeF!&R$bq4A@A#l`^DPn8kw)fmL1%i%388$u5k07T=(aB88d&b z55Ma={giL|KamHsE$eT(-AUV5+#7#U?f83PJsJJIZG7b}mtOv z**oz8ciF;E&V4OQ+43wWU%e9(?$nT-!S}u(HhlI<-;lW*lS^a!dW-Km&C^MI-zY5| zS{>`~us&ncfqN&<&bvJ4o082k`<>~9<(CgswCP`V{l5J|+O*EXdhTr5rs9Z|%Nhj4 z&L6Wp`L;}u<>i}?A7}dpU2Ax2`tZAU{LJ@BpM$;ro)S;!ve|uRnu_nt+kT$LseCgo z$h?d$eUajGV2<71`kc+@_llSCgym0CO~3!cvtoJ5-Mdo%>vhf-?_YVpGUM%*7Ez8H z>aRYvABet?E72tMkcGE(VSDENdrwqVqW0)zJILjIRGc(nR@WrUPq8(xjTF9bi4;w3 zci`&cznkUL=De!;@~!!^B95#1{IXm+$OkU(xe}nSBp9ORJ>@E@H!@ZKOu2d zgQsksZ%x0=Q_+&ke-fHC!$c&f8pvdB{t<9iuR5`KrqC4Yh|QfgY)dsyUjDG7?aJ5V z4*V&LN*`VNSro>ftQ~Yy=ip|&hc}--3ssrupSmyo!8?yRS|I`KI+0P=_+u|5-dnpp z|2xlr#tC}or%zWkVYGm?T9G!A$W30bS&YfT0(?He(WvVFJ1#u`>+N0NP27F=_U@ZA z&ln3iIXo25)m>HPvqbgDdsj11gAf0E z8`^`LEW>v{I=lPoyR{eh@Bjbw{-d+)qWX4wer9jo{j^o!=-vF)>)(YvGVs3c6CRcw zEpd9sqgx{7@9V?#uUDV@>H7JGS^uiaH#<%4F5fWwky}w%__Y~}mfp>0dvy8P#@FdD zo^4*Tyl~|&{~sHR4rf^B@1Hm8#-us?r}-uaeEJr7;Kznz_wG;rYUwfQY&v`7=O?Ew z+*oP<@`LNI$?KmjajdhH|6cR(ePz(R%BAtYeYQ2H25x-6a<1`xYdik>laE`iif=^D zV_n6ylKJ@RrhK+&&eVOX^&1bLpV!SUWik8lt+mzLDnsws#?=Hd9mnM!Wyec+>Tmr&L&a-PhHl}elkNUtErex;i}z@Q&)1+eXrKoaosUD`L<&1q4X`?N4`4U@I0hZb|iOS zMsUW5ojIK9nzfI*8{M<&`WGHzvGf(OdFOS*^7*7@)Bo>!C2s^ts2!NLZ0+nk)*#i7 z^@ohs+C;~fz0rPp@@lQ6qwVrlk)fw&cyFJ0{qC3M6N~O&3n=+mx99#h#gb1K-RB3# zt|gmpdZG~LuHvT}>9N1p-RXMnv9BY2UQ6}I zKYo*P4yE`^vgN2MT<7laGpow_>6E*dqSnsY`Y_~b{Y}pKiY1oW%$C|75(l2W-1zHz zh4dHcmCrtL{5d)Iv!Ip8q|SZEJtU@c2x}^AIAT?}f7&ta#Tx=Nds6%~!#TJ=E}44G zKGCjc~|2)RO_8+b%|M-6V)l=;mzsi<&E!Vb~!gYA-wWGZ0yDFaZaxf}SsQVwY zH-hu&j1p1#lWmOk^Vb+j8Rf^$X1-}5P>{SSzInSzTc|E?f8AOI6>iB1Uz`=^Uh4^0 zTkyKw$tv7X_jSWMd9IgIk(MW33CkUm^12@@rEjv0^YJ3#+z(ToFIg%@Eb7zDx|$K7 z%w70!_t}6Sk8YkbIvT6I;Z?~K?lbaAHox|WvALc($nO6-m;asYih5V0{r?s~6uF8wq9A%itYQ?A@*_&`|Rg~nFB^`PUkB&us z2tSx?x+OH=gp)^%k3*WzZ^5M{5AyY%o;H0qzbiCG<;i=_^fWQWWg*d-8(MXiiTt)% zwdH_*OIgEnw`|^H?V0y~^UbUe%r==Hzs=)BcHq?cQXI7f-Hiu?&3`SdthsBmPr~3r zpY6=gwfAP(-Tpc?G3=?eor0^@$|>hcYdn;LGN-@%5t8OEGyj9%#P?s@Bvp+WT`T@( zpL%X+b1;%wwf)`|As5fhGJ);47T6}5pS*DU{obsFzKnnN{O>VzIm_euDRCQsb{ z+3~|`wl8Vj7k%qpF5jxix;c^4aCQIIkH_cLS5=y1Y1Z-xn_XOKwd+gYqR{eyFO~bh zO7_b>{ovQzv+(iDpr(y$8uU_MSTe7F9cZ2^bv5t6_nfy!6sP1S8z;E@?v$2mGO-N4 z5WI^|zalSb?(g#M6~5E>lU6xMCR<8x^U<20ap&Sr{c|mc zBM+(9Z`0O9wp5^%=B-q13JFJvdZ}yh%2^W~^Wfw*jt`4pEZ}aN&oF%+P zA-8(?%}U&gIM-S0|9!f7eYkR8g;Qt8v@(`Up_jBL_55=<)VAkHN7(N7nc9!UW7YMn z;ufyyYvzAfpS)?;j2(@ON~<(| zgc3X>7D)Q&PTZGpG3^2;^Ms4`fpM#*8u_nyTE6S)oW9g)h9@Rpmg$j=`O5kH@DAJ0 zn+mr|Yy9k)A~kE;>x`+kAFE<56gd`2Zd?<5LG@=*$dP?LSG@L@Pw$wjRR5`ESv;3y zj_s$V`@a79=kv&;XeCSclJf?rIN-PdqY)2N}Be?-Tc3qBZTm zr?0U=_@15aLjN}EK9=3@H*d1%)N|T_Lht1q|0=B2mJvT=_3rA+MEM`~nsdItM~oza zSouj=TwIox3I+=KNfX8Sz_W>e+`+SnqSNa=80Dr1hB2BOBWW1TB*Kw-SpQ_R~4=HYO62Tve^@Q==Zts z{QJ58?yRVD4E0r)dOPcwYdvej_1TZ#=YBrke*fRPdv$kCyn1~5`|QW&t1fM;s<>10 z)!@)Hy?l0jnY!jv&sSwXraoRTRo^Rf{pyZ)$4ZU&-Tu4&>f!R) z>*X1&uUcL75UvP#^Db>pT*Q3AZ5t15U8bCRwOOZsvC3YT>wi!G{`YfP{Xf=5}>xshvvWz-d&hyOO7 z*W47zGvW4r=VKc$cpTmxz45A5+EwM4q9x+4F(OZ1{kQq@?Ou5K=3iw!o-zT2!kw-! zGyE%`@87?lv4r0kv) zEUQ_#@ptfq*q)frx8F_o@%tWRc(TPHc)wIptcAsd`WU;@JQ@#=--kOZi5PF8?hAg9Bw~}ed zn+Xo=(bJ^F^*D5j=lNw#=;WC5!~35jUlh~%S4Y!bS(aZnJbq5>X}c>|;ijF!6Fp1r zvDqB|da%MHCof{v{KRw3^Qy1LOkujRt^Uw9UYn0QvWg~_i~qlVDl3=CUPX}I)T#aa zf}bxMcFoGXd(6aU14DtAg30_#Ng7tmUfi%f#&PoGh&I{8W`O1%_* z^I+ZG`ih*s-rHAl`|^v|TW0y*x;Qg!%gWu-j_g0oH;b&_`QfEg`N}m#H|5^@-PF4> z)i=9)rUB#Ix3!YV519>`YtQS)PTixV{zJ&i#^=5Nyln6J3x#R|^jP0@zC7HqB;@lK z*`@I^vOjc=xon%VbcZvGviymlw5g{Y_TJim=Yz-%rrAyPyX_iXzK0y-%ihCvb=qg? z6Cd_2C^h4j%xukB`)aem8JomaOL#2aMC`x3_JiWKy?@_VYaWs6*Zp86(Xi&lJO3jR zYFQbY|J`H~rzvwSKfKxO&rcr1{#<{)XH;0VVBfDPU;RyX1SV>% za!yhDFuOEMfoJFGq(d|G7*{BYs%U+Uwdq(bX@5@%$0g^FKb)n z!bF?Y6}xi!(&fIq>|4obx_J6(QMTM(*l)#-Dan zT-u|Y(AtyxMMfm8QrgGI1=3b-ja%C1E5Vjj@9C2B ziPO8QENWkoQDDOq!JQkbe(fu~+Me&RXwI?v$xSyN#eR5ezCLhvja< zZ~3C^{%YRSgXg3Y8ywbjbvggxWpjBcU!C{0DW_4>IaPU8I@8Wa=g@VhsqinNteqMV$ab2Ia z?v%oPpMp4_rgiHJjCRv`Ll~>speOo2 zTqipHT@a%g*w{xQjMXeAdM3ux6GIs#rk@XHw41&?lrf#re7bxXqbR$nDd@02v&kS$ zi$WO9rniPMu9#jC%IGjXH=Hqz(RBKia7H6Y-ES4axO#e#CnM|}KxRV&@GcHTjGEuj zzz9_3D;OF;RuWB5i)1us0WBe#zSo^ma`L*(9Ly%rhQQk>@8a8L0{dQvUznEaz05^W z#bLtSU7@14J?FT;4f&|J_3@Q+Cg&9AW5mICCX)J^Om~iN*Vj>3 z@jAL+QgF!<70uJDdfx5h`6nl^(?KarRp)U};bXs?8TC3hme>FLVZQ6PmB-@s<@LPJ zma8b~EWG&Y{K2BD^?URsCz~X)igL%Z?eAZI$wai?B~Jdz`Z?FG*M1H>HhZa0tmnO$ z?q`*^47Ah&=ebULTTmps_8gn~>VvJ<8-g;zC$8dnsb3}>UOmrXQuf{Y>@SO#y?S)& z)$3Jir)TY1cQQKQM9N7IC#|f{yc=`YU!Ha3>|{2XL+TfGgu^EGZ18HVSBSUcS-)N2 zTy~K`XT-vJ+t-Mmdu+gL)_E%CZdpg=wGERuee=2ZF*#Cxrj(Y(COI3GnQK=Xu~s}= zCfLyX{i$TewDQFHLb;3h@>Dl5J(^lA`Aquz4EfoOOX}{J8BUK{#L~Tn<*$TU%*&gC zHT!31zHv=xnlrsz)x&M_9C0h>yx98v+Q#R2e2zE7=iGF#J>ezFJ#UF>@>2DJRi#?pK=cyY%231Hb0W;19Bk6N;`M-raC{Pjj>A=1KDprksDY zK6%OX&0Tg+E_T{KElOd1|Mk(=WCr82xl&UDwrYpCK0ouxt9{kCC)FV(*RGuUa);x@ z)gATcmb>}4Y%{-7xU9yY^0$*-naExCNwfRw*Pbl&eV6@7#^OcFwX^2E622=M+_v2L zx9!(DHTMG_Tz$=6E_|;bm)z1)VzSUP^wT7>_EzDP^_y$1oPO|G)Gs^x<~f_WJl3}s z^ZpN=ZJ0 z-BZb9+#Qv&%KyxKJnE-?SQE3JKmYjc zw-vi(^S3|F?KoMsC${@@*&g5hvp<>@iTwTc@f%ZlSmTBt(d#$gbKslDn0)hy`OBr| zx9UXZDvM87+>~%H~+0WBfr>S^0mXVMLnm)cDHTelmESi<3x?a zzb~3gmFm{dzs_?>TDJUq?ZFefRq9t6H5_}+e5I{R&VOrAfVJ!2ynF1OXPc}mQ~STW z?oWR{YjN!hS1qp%%V&Q%lwIJ!EpM6|_~^d%PVU;1*PmXUCjGvya_$W8zw!=mq81nb zWWICq-Vc^jr)=-o7MA>vZ+jENFn^tSa<=sRrayvlv5$1u+rH1*^hL|1cv^_g?S!^- z^+ysWZ#=YWv;M^OPd3ui zCH=y6& zWp@n)Hh)w2{DaLgO08!XbI=FnttOu(zQiQ>e7Vd0W2NMa*5K^<|Cy^McI`Y8c=pW_ z@$CQRGuE6En)KO7>+-M7HK%l=7ta3Aelqm`)yWH{iZB{acKjqh{a!pH52MNS*YS)g zjIq-d!WkvRkq&`1Gz8TOppK@E&Gd)_M&)o&#R1`imY+uWCuOB3mnaw-8iHyMkWfHk zNl9u^o&rQ`5JG=ta;@is;8Dp6l&88=0Fp3%(f)~Vsto2K+ zC{Zvp0{3r0e7DS^Vvzem{sKGJClSn_zAukaX1YZxqwDmx5=Or1xfzTcLWbaDazWZ4 z#u!>mUz*D3&ts-%Y-(bmU;wTzPo^*`DWWR`_0qw{2Nb22DHs}>Pj^mZ3}Um;Gc`0d zo1T-(s38c~0##x${c0McBZsAto{^E6iQ)8Lsf-#<=>C9(f<9Ce+z_b0jNtJC@t2X& z^!#i_>FJBo8AYZ$cruDj&nsaRpS~uIQJl%hVEUUBMv3Vn8H}=%1HOr|8(Qj_SQ=VP zmrZ9>7eWLX#401h>FpVedW`1N3$qx-*bMb74GhetUruLKcg6^9c;G^{qKCc_c-b;2 zT%oQso4!AfQF?lKCZjl`<#b0+Mp1}6<1!c}1mS*$M1qm&^rM-K%8ZtiA1)S|{x6eJ zYWm|0MlmIL`q77~gNF^&6(-XIvKZwVEkPd8n?4t0m+^GFY(|Oci*rHtPJXypaXM!< zBky#HEJiU5U%^u#H0%-f!NMMvCiNk{G6sje1*0L7hvsE5N-&yF@6TbBkc4T2rxmC+ zLr7p)<}eB{8cq)UCOW;Km{EMXXf~s`5Ik2vJ!xz(eSQujXnXF%#Uhg{mhn!%pTo#I z{c1L&xFFm)knk`zoZgqmC^20pmr;Vz5FB`sxr|cN%X1jTkj#Yyma)O~*}04gV0EIC zHCOOVznja*JN*qY@fYnVCki~|i+)9ESsjD{d{L?^FV1$Lt{ zld;M4+xd(NVA1IU1&or@rSloZ710u$G2D?5M;n_=Pb^?mh3J|M(sekWQJm3udSC&g z1SiY^7Sq?~G0IP`%Vy-6E>Q?7Tk;r1C+n@{nJ!bnsKRJI-LZgCV)~>)MoEZ42MQS_ zrf)6)Cyz5ADb6BBndxsq{Boy0#ipx* z2yl6DqmWUY$;4oK9VmfV7c5srU&1Imy`z|s541gE z`UguKxJ`2DWegqp@osT(e(CGMtNQ^(@fXET;0GxbNbH` zMj6lrVB4>iGAb~Mm6!UL7pGNtm|J?9`TL}~hFiG%o2F0asbEycCFfbexPj4R`mYMc zSaw4TD&#jK*-zj7r9ICKHS4j8%-PjK5Nsxj?jmrGc4=u>zP07c(|DGBZLK zvoOZcYhr3=9XqA=;|yjO^l`o z)G%7ro0_4?85kOynxl&u8DTio(8$8V0!^Kvu>poUBLf4_`S>6w!vo0B*uns!w;mCN zh9)MK=pHgMFb36wD4LB7OfW1qGBGqj_oR^l=ng=TR)if!h9;oG9wZ2HOud1Dfsu)^ z35I49Qv>vnF*Y``K#xKr6LWL)v}0sy0?OG4OAHJQjEzlAFwHYJtVfT3V{-!|Q?y_; zHZd?lx5U`Q6jX$wSYlymj;YSv1T+|dqR!aD1Qx~hkYF${FfcK-G>60qBDjn#%}g*H zXlY@Fp3_VW3{Vm%$TkxLBhV>}ASS{N15-4|)EgL>7?@*ZH4_6%BXo;R3_&+Jg3LoW z(8SQ#6g{*|3_%w?qN_6p-E0UFL^#IK($c&hEvQY5j6kh$RE0(+7*S$kWQGyPCPo&p zU`1GBY=DtIOpJ{{S4DvBaDx?KCdQ@)=&9et7<4NoNF9=ojj@D`$#lbdM&WuB%$#dt zVrq_Itcf{Bjx;d^m8NJ`nHm|Q=L-{4v-=EU_@e2n91E zON?}EW@K!R?ie#8Q_#LZkb!WE&CJY9(L=_}yxznNz2G!6$1Io34J<6tbF;aj1xDbEp9v8V^9LZrlHX=H|xS}l#tEirs&WQoyiur$W3QY?)z3ujAX zV^~5*)Mb{&pj&)F9zhB&V>4s)RBdT&fssBejV%o@)R`Dyv=A&!jL>pZy@7$Hi7{rp zo0wqw&IGf$YH4C_h7p1$7MP)BYKW1WEKLnf4QEd?6d;VLdkEGnre TN=@UkG&3_c=TcR5^>+gRMW=W7 diff --git a/thesis.typ b/thesis.typ index 3e59a72..9b9a54a 100644 --- a/thesis.typ +++ b/thesis.typ @@ -23,12 +23,20 @@ degree: "Computer Engineering B.S." ) +// DANIEL feedback +// overall great start, I'd extend the intro a little bit, its a litte sparse +// and could use a few more things, same thing with future work and conclusion. +// +// run a spell check +// +// more feedback throughout, feel free to take or ignore + #mol-abstract[ Traditional operating systems permit data access through the kernel, applying security policy as a part of that pipeline. The Twizzler operating system flips that relationship on its head, focusing on an approach where data - access is a first-class citizen, getting rid of the kernel as a middleman. With - this data-centric approach, it requires us to rethink how security policy + access is a first-class citizen, getting rid of the kernel as a middleman. + This data-centric approach requires us to rethink how security policy interacts with users and the kernel. In this thesis, I present the design and implementation of core security primitives in Twizzler. Then I evaluate the security model with a basic and advanced scenario, as well as microbenchmarks