From 0f8ad2a0a82d658c515196e11d4e2be048f051ac Mon Sep 17 00:00:00 2001 From: jude Date: Fri, 14 Apr 2023 10:55:20 +0100 Subject: [PATCH] ... --- static/js/modules/crypto/paillier.js | 4 ++++ static/js/modules/interface/proofs.js | 23 +++++++++++++++++++--- whitepaper/Dissertation.pdf | Bin 387808 -> 389804 bytes whitepaper/Dissertation.tex | 27 +++++++++++++++++++++++--- 4 files changed, 48 insertions(+), 6 deletions(-) diff --git a/static/js/modules/crypto/paillier.js b/static/js/modules/crypto/paillier.js index 6e7f401..f6b9b54 100644 --- a/static/js/modules/crypto/paillier.js +++ b/static/js/modules/crypto/paillier.js @@ -70,6 +70,10 @@ class Ciphertext { return "0x" + this.cipherText.toString(16); } + toJSON() { + return "0x" + this.cipherText.toString(16); + } + prove() { return new ValueProofSessionProver(this); } diff --git a/static/js/modules/interface/proofs.js b/static/js/modules/interface/proofs.js index bf6df4e..6a616de 100644 --- a/static/js/modules/interface/proofs.js +++ b/static/js/modules/interface/proofs.js @@ -23,12 +23,14 @@ function cryptoShuffle(l) { window.cryptoShuffle = cryptoShuffle; +const ROUNDS = 24; + function proveRegions(regions) { // Construct prover coins let coins = []; let regionNames = Object.keys(regions); - for (let x = 0; x < 40; x++) { + for (let x = 0; x < ROUNDS; x++) { let psi = cryptoShuffle(structuredClone(regionNames)).join(""); let newRegions = structuredClone(regions); // rearrange keys @@ -36,7 +38,7 @@ function proveRegions(regions) { let c = regions[psi[index]].clone(); // re-blind c.update(c.pubKey.encrypt(0n)); - newRegions[regionNames[index]] = c.toString(); + newRegions[regionNames[index]] = c; } coins.push(newRegions); } @@ -44,10 +46,25 @@ function proveRegions(regions) { // Construct verifier coins let hasher = new jsSHA("SHA3-256", "TEXT"); hasher.update(JSON.stringify(coins)); + let hash = hasher.getHash("UINT8ARRAY"); - console.log(hasher.getHash("UINT8ARRAY")); + let verifierCoins = []; + for (let i = 0; i < ROUNDS / 8; i++) { + let v = hash[i]; + for (let j = 0; j < 8; j++) { + verifierCoins.push(v & 1); + v >>= 1; + } + } // Construct prover proofs + for (let coin of verifierCoins) { + if (coin === 1) { + // Reveal bijection and proof for zero + } else { + // Reveal proof for plaintext + } + } } window.proveRegions = proveRegions; diff --git a/whitepaper/Dissertation.pdf b/whitepaper/Dissertation.pdf index a74d4ed9af2923ea9a3e9918dab755eeb91fa17a..941cf311245373a9a96082eb5007e6a9b812002b 100644 GIT binary patch delta 67761 zcmZshLzE`awxrXxZQHhO+qV6uZQFLGZQHhORI>WM_j+{?x@UV3d!5;dZ^w#*Rm|E` zOcZh@F$sER26h?ua;Xw3|8!_Wwo_j5b7P-N(kbGc0DjB}YJpix6vr86n?n1|qy|2oTr zCVL5&4*E)?m0)X%sq(dm!AglnDH-H2=RyhBx`NH)2Mi%eqyb1!uBzC@M3|S;r8W-L z%vA>I)TF(LA5?gTO3TFt$uHrQL4F51mi}s{Q(dse5AhkN;}#dq^GLA0a67QV`_J)! zpys;Bw+#2Ig2g+Z@xL(h2*d511rM1H`TM0G?K_)b2Uo;viB*(N){^LnMuiE8!i$Km zKw%Z{*o0sq3jn@72p~ev3D{vOsGUp&bfyAh-xSFji|9ZJI+*Z@#H85ZAi{!e;j)mj zy<@=`V&`MVk@U0XBOaYTVzFX01I4xAjS|rhD<`m?NOB`UvXao!vGvmS3KR5Mq6{Vy zPEdLi@h9nHNhDRM5cx*I2VMeXp;NJ!$j~{lLyW8V{{o~^R}?;Ph^z&KN@aBBNls*x zp~IxoiyAB<%o!V(=zeU%`t$YsS&zTcGq+!_{VoC!q-wd|ONF0@tO`oQ_>bJC;C#>i062IP?4F#Y|9$5*g z%KE=7j&s&HUH51Fnjhr-EfY8d*4{=qF@?u@E^gKHKhHqZ*r3=3A1KltMJn8f5@yG3 z>q|v^SHzLr+?us9t2;BQ&L*b=VCys$J6C)08zYSg_{=+S zyqMK{m~{@{o8}%|bTSz_V)dZASVuobl^OT2605b{P?=QOTld#E;d0_W(I`3b@DN)AMtfS+iXoG$*pYF9DPF z0Z*~y(bqX%nfM(9*&OB`b~K;r`zLyD>;~%jWtu+~(E5fF%6^J@jl69EA<6y(_tEv> zt&WG49;GK7v|edCNPXOu@f^;Rbw`UW`D{J5qF>Z({Fj!G8?^{oa_Tnt?^N;TN+1j- zpMJ8A$!pHL4v4Uv%F(}2(Ni5ab^r+@#9G9+FY{PA{>#`c=Fz#MY!A*o?^lb@KWqg% z=VUY!hS0i;Gn#unUHfMb_v?tRvPqUqw`$Lt(5?VHq1POFc}nLbRy#-CSIhErv^l7i4Uik?;b^hFzspI)xZ>`sty>`lxySI+z zXo}7TjC$QHXoSKd~+ObPeBfp(Pk* zi0*czp;oW`_g(P*dmW|(-zRa@LO`$&h4jH_uQop2TpiV!`lrhdcsBT9dYcmSwz;Iu z&UUB^Qu`520hRDdl{iu`xF1gWZ;9*ru8{Ym&#IcFyX>Cm@o`0|7eLpr#mv?d5=tXZ zsPTw{2n`V<1_Ec_)AD_#kUjxrxpl$bOdh^ItgU?Qb^0m5oAU@`NH0B7|q3~ei zON|(d)b&mf-pWY@*2G&OPjpAC%^J80(oC#XTld_3v;N$@cc;aBHTT~%bw8f*da^lX zN*c=Y*hzGbG!NP*edwTA7WojdI}By$d)dFVtUdpEZ_yV(brM&I5q0IfHR zR4;f9=7yv5)sPl_I&N$DuB7?NugzqxiMVPvux>3_-)2UHlgNx##U-xxAMkl@dO3`_ zgPE(Fi@CA=e@%`iHZUwq8H3QksLew72XG)Ptp8=L&FnPma4EzzsLh0&c(A}6&3qyN zSYWQ^9(iZj|1H+8hEKWkLTmoDctHLyWeKo1Qc7JqYBO3?7W{v&4y0ou{g3#n+#C*s znYCHDIU637g^492aSogUk&A=v|5!B(Ge^pzJT+icXV($86B)2>I5_?mM#9Z{f&_&i zb;qy{xyFj#xQ!q7DMX6ZWIMb+bm0M ztOFcDE{v3dr(BSb=NyP3f1!3v(93%$M^Q%U^f~EF1IJ65Nyf-e%(X##B)oYxEyu_= z-Ns9IcY|eU-4F&0il?lwNXLpB-wbXjq5m@$2JRtah&LHq)yCiaLD7`kpoon!At^lc z2(Gc5P(;Unf#BjUS}m7!pZ1&4&DUu}3a8PeTi@R^ALm`^!iq?^H8MCw+)A2|j$bf}b zRifq|*{OA>Nl>yIt2mjlYg4T_bjc#AQ{-BfNCRO`f-K=Mo$*M^a4mAF;?;F1j{-{A zw@bK)GnEI9WNJ7s8WKe)**i_T$)xJd9+Do^lrQ$N8nP*%QQ?`g)ts%Ez(WJ2TcPb3 zljV*4kohEY2C$eWEz;j8hrl2!Xb^mYSY}khoiz zeyNR>Zj^S|JaH(mYjiv1*hmgo=>bNOQ!M8xmJ4>aBfG)gx8(ml&I1mQ8WRrW|4w&b zUwfty25?Da$h<1;A!(o7pdS)~DmX-(=)@^{1>ow&*X4+NBj?-t`M z+5H0vFK<|@`4De*b{rg4WZZp`fA&7^+q;}~EWk0nH)RFho|bRk*#QCDQl(g4pS`_u z;CFP;U9bjx>biDj_G|VMgyHYE8ClX{Z)|QH z7nbG7G2ZPtZoL{}PXALVX9Q?mPh0HfqwUN8WBGCaB*jSFjg?4A z2n@^}m8C26*@Jl0;O`AhADudiYH2tKB#iltK-eX)#xWw7W*cF!Hh^=|YU zWZVwasq>H3eU}ugNc}Oapq)?ujO-&zOJeE=6(BilD(a)_P|5HWk6agxOoKYp*=sk2 z+UVhlR??329qifYpaIO#Z#oy849MF$qm&!)#t_kzZfpxJ- zWhAPi`SY#s%ma4?blu1DSKNA8jQGH}0CEw(6Fz*u=K(Zv`Trj0{&C%nwcuLc z^ng^;Z<4Z#LtKLnK~8~Y&p8Optz}FwSc&NcN@ApnRMPQXp`tYpfU1d8LGe{r9`E?+HE?Jigf(bPpLwtn zNHUoiDm95s<^yJ&28#;UVz|GAD3M-A$;KjyXJ|k(8iSml`x6~4Q-O-Cb z0O_a!{RTgfxPEpH7}MhWiKTw3E7wVktL_zbgd;##h?od1^1C`b^3ZVGi@mM z3G2?GHRUQZky_c0s*OUWB%33zRP$+VXJt$`8OJ@#;bIoZ8;`jZ)7Cr(&l&1D* zX7$p60f3ZnR%~+q&AAUreow&f(R%-QHL%=!5RoUXxv|%s|A$RNe4qrzcKAgiw6NRo zm$(|d_{m~oA*xtcm=Ps~`;ZbQrUKgi4+}srs8z#k?F-0Su$3RvIvS5izQ{GvLXkbp zw=jY7m4NAf5qc>{hEHl-YDUZ~k>T{fbwRib3czzVUSr&aK2c>bzi1(~k?!5-Lzj zhTZsU$*XfopZFshx^;^0Y@)hq$Y~Px1m^4w0_C>4M1yYSTM-Y%$RADIJv+C6z=q}t z1?bLT^$u5a7I`(&9WZ{j{>VrXNBKVe{HT z)cKejK2VRXC1FQ`bKCW?!hB0ZTJd*Wtu0}N6vG@FB6w4e}=nm`$S;~&Ph~avU2_STYhv_ ztzDOci&*)>LNdm5Qv5cFF%+8mX7Bt3oJ^!7#Z9T-!WhtZ>KZJduVJH&T`DSps}*sH zQbJNL%p<`gs|R@rWlfWI_!Eh=3pGTrd;gU0XqhrFiS{3eL2JI4^n}OYB4Q%?FH+*; z`@g`#%8}9tObxizmUTQCL+-oQgu{Ru7__;#JL6SA=oVhnq728R#Re|k1r=|Tn0aEh zNTH33`+iq*S63xtZ=$zU6lNH<5Uj4beq3G0`?Kjda+cG)o?&U&3q2wsBN#){+S#)y zwh)ifD&4f8*yQD^?NHB$?I>sv;7j4PDe+euM+jBJ0R@m-V4qC&*i5vg$HDaPsf}e@ z9|??rKP_XO-LvIoMi-}2Chs}1Dx8_HI^J?eeb}B8fvxT$TeKlAOQJg;Lax>E**Nr% zpo6C|mI5wZd$y+?LaT#Yw|W(4q90c*e+VxK9w*#4)2x*LPSpAJlOOrqMc>r*lw3AV zL-!%;VhNxUp}mXnh5!1_PWk-D;9Vh?bpWW1#}mQ|w&JC6N4^<9!r@OE_Gk6(_VdK1 zvD#S-Q{k}IsoD&rQj}-S{j&9U@v_IsPzhYYpL1h0EvIf#t>d1 zw#sQNfVLL{mzymdS+}- z4GYK#6VIg|IanTK!~>W z>v=POh*znHPy)*O>VrelyP#e9*>-W`Eu*i($c25LSb{vi z8H*p&Ly?N#DH!?N$RPeFv@3gLT16~=JdIyW_)AHMYm*eh`=a?V>d)oXTa{SA2E$Zo z0SrRo{XqQ39!ThbmG#r$KlF)|s0UJXy3-yT-bUKLnxii1D>UUx@x4~ae(eD1IDBsY z?D};!kn*tgkeb+0q20J;WXqKJb1Sv_^bOck9PF8`CS?#UJl7323q;_Ur1z*B5Ax%L zl}{oPXHQ+_%#=;#pshk0{MpXg&U(knDp;WxU5-j)#DnSfoMpz#ZB!ijCHyG-Yu!Jf>Z4j-{ zNeSsyn;XA+L(HHFN>g{bPeiL67KrE`7tXkU0aEV)nDv47H&hSd40Jq3m=g0)=!!Xy zIfbm2WHR2Di{>h-HZAwIWokToaJ{6Rqqp95jmEkEPfRFnGB)2bcNRcXd4?;FJ|msa z$WvAMsMSZP^}db6OknW>zDR}>4+w<5t;E<&#$d?YYW#3*NV$I}uoK%ueR|ep0$-}( zc-dDg=1Zh*j)KGxB8E$OFqwI%+n2>uP0Iv;N6Y}%dwT4zu9*u&Tn!?5u|s=g5<4fF zfE44w31!vt8IPkxE(B2F=P44CL8U0`YB9?6a@>}bRL)^S4ajx*#(N^jWWylVb!6=l zpgK(AVpVcf_Ds*A(u6i|>!}^!74D)v&SHRy@90t^5_-({qWHG_p|2vmoi zKE0v$yoYjY42sT$igGnE9H`@X2_Y)eCJaS#DAtmTrK8xCo~2$1?sOX7nKjEBnaTqZ z0V?$cJ$p1KvA!}luW~@qj#j$%bz%-&dW80xu}D`N*azRA*>|a;;E2X6o+MUWlrKA$ z;-2@8@J@H3YDX2q~C^K6YIqc$Ogx^U@|TL&qV^CxaTZAqAU<5_LVn3Qz_bOx&g~(iV^i6Mt z+97xo%`>}H@jU3m+0LEhMP%LJUw8u^ZPecgZ4~yLW{V!U=cIQon^4Gv_C??0Ds5`f z(H8hyRO7&92F34L!K1O^;dStxh}!jFeCl0&!OIV*td;g%(eG<6brtQW(HREbN#*Uz zJ=~6#69IK{(X^;D9hWv73sE=(Vo?Pac=T|&^vLux)zCpO)%4`Lb6Z=?4E_x>bjyOkpVDuk0;B_mQ-gYmm= zBw&{k)B`^Tl19!uhSR&lPgq94Rr5X!J5cB6otmY6=AY_GOj%^~FQtmv-UoRwhC@?7 zxAYn{H6{)l52tBEL7g!7k^g|kiez@KplI^zF>J{Cu&Vc8KV?ce(mMNZ7c&36qP0?- zdc)_hjMM@1zt_{h&e7P;`TU9oqZ`czGSHBv4j1mK38yIzYnC|G<_XG~`~{=Ij}*5P}O5E(^*=Ajjn3TF~@mUePG= zxLy@pOl)6GFFx>8~rn;u@v)U(R*E!=R!0+{ExaK}UDkV?FInCVX{h?+0 zfSdNEzEVz4?c?sS@rzw$^mlhyu>pmkP1U)W#w#?b8{|u~n*>06L^JDwXnFC^sp;!W zjdIa#bN`y8=?&<~FM^Us$UeO?{~&UU_alX32K z03sr5!YTJzNTE&4V37N^dmX+q1ybNBP?9`OP7?`o_M1!7v7O+Y zgBihUNlI1Zr!k-$17m11ykUCdP4bF01>|WWpk_+ZU3E5R;sfab)*b|Bj-77^V9)ya zz2jO&zi#qQ6P!Q;vUvCyoWRuFGWO-mlz(yS)W+D7g9dQc!AcHObjjWt#|X8$74tDB z4`JD^(k_>F`-1wJp70nZ2oT`1_kR~n3J=d2QTNuTXKe0}+Q0*76Lhx?QhSZFSMJOa zq26uGwt55`F{rCK=hwW3&h@oU7DK$d;%tTQE4TjTm5qp@i<=M7ZZ}g8lZ`H4qKk7) zt6%30FbAYq*B{HBUJJu}Md@PVS-M60j{Uo_h%mw@nQ`iKdo$%VZC5l&qFJHIESt0b zlx%@NFQvh`^&VJ1U(+5`#zQfrbH9WJJ&2-1C7@_QadGjaa>6-I>Mnq^B#tPn>1_X* zkXY7z`d!On)5={`e_8WrLl#u^LNHwTGdWoEAO`?-)*AKUCqmjcvb?}Y_?*Vnq*i^{ zwPP>*cSVD4goNe6b)lPx`=GeX66|DG&Vr>{I|ib1z#UwtX6+QOO^^}o|0q>WkQ>v< zY67%SHok%q|5qy^g4d_2^YPDZgsZOS(k6lt^iJ7zuC!m~x1`TTzTG6H?$cztOOv6% zAR7QeaT7{}R4w_22m?K82-!Qg)WY(Jjh;F^&yheFB4PDT;AZ@*rxiYLT;kY3PjS<_ zOQ(%y+DY60`sFTe@|a}W}W? zo;FjEXqkwBoC8B16Tlb zYPF?M!FX4}-0ioC*tVj`YT#TN#AOh36faC{PA#F(SGGvJukk7L6)7Njfmp5KZIGJl zwiZN9Q6^rYH1d7iS<9?o-*158OUm&9#Ln99erwE850AQJ{blia!B&cxDAbt}mc&J= z`qI)}g-pR&74M++Ta4ibJoQqmz7zm+LKDb!DhHA@{W|`&=)rC)F8RvW-10XcB1v1a zANVtFS&s4TxXPfM8)_+=Y(W$Hmu-;@KKvNMUF@uWlgvvDr}rLu-#5PyH3w`;PTq(K z0zO3r_K3HR1e?`Z ze$o5I*=%Jj#X(|flKLJCm<2#!+6=vrBQa$)d`y>_C&txF$f-di=!je>rnWJmgDs~s zON#|dBZ(As8ryS9VPYRrKx&|F*y&DdtmJm_@b*wv#JoE4nWUR~Mb_tz8Z$Hr4bs+# z-tM@cT>HpNt@>2!ASytW1Ij9s>)iS65)Zpigo1h5k`m_Iaus0xWcoS_2Eo;pq z5_hP{vRgmQC@ddaK?aiY0YPhH<4=DH@lkJ3P!3FdvO4f2oi>-{tfK6Ck~t`fd7@s2 z-+T%Gfn>KwLQ|H&C&qw>z}l1^fb`y;np7uhSJl;1BjC5QBDU z;>FN2`(jvn)J8D>_Fn*N&vpZdD(WO$#)o?ux&1&_nvSRP)^KkD%wM}=4%J@KKg9lc zbpsKqvBpd@WTTV|6Ck>U?@@VaP4u9D7Cp(kI)Y5(5~69Im13_TMcuf5p@7lpCio36 zLZ-cCTbQ*5?-6w`?A)^?1i5Fh2y}h&1oGbHQU-9lb@5m?lIsE0T-2*RhWphGrz13R zu+0P~!G41QLAbyZT+bG^pTa{ zIS}O3I|p5FdBISb-PS7&4(gcHI-xtIyr;@V;dAQJoX*!}S z;cg0!$p-cxFn0O;HUUs-_pExvqoB)D^pjAP@X`{7JQct_m5sN}b9g|0=%I*GL6z*b z;AVEJ*bEq+GE0~%(i(HMZ-skwXNuQ8CtteQr(4yw^HwRNC}Zxx=G++g5=wENwB{e~ z3^8zRZOS*BL!m#(&#To2*`h>gI7i#AyY67?I37{Tcc`YGUxZ(;T?Q~vx^)#NU9Fqx zLwdOQVTXWXDlOUTDGfZ9gJB#`_*@ataDHtG+bA~*lBUV!B@1GMnu~%V^*A$-pbH3+ z;IkWxr{a*$zk!)dGRay!m1VN<#=~5b`ueCjj3qM-)qbAlS;EEOUol~$J;pM2lm)vm zlb?KgYa=n3kh*;krqu3gLBV+e;)ACYi9vwVV^6vxl(_IqtY!Tm*7u4e+v38biW9lGa~r%y|Pp5KniMsv&Ps zIE^Td_k=m$!`qp%jxt@Zq%0k#r@jgdF~whqxV{CL63zpZ%*1-2muD8R^c_OLpm^_& z<2~T2mM4f^Zjv`N+!o$3X*(&u&f#cj#q!(Re>CU>4v1hT=J3w&3udPyD^#h<~!A%2Rom{64c{H~ce~UVzCzaj-A|amA z{2iN#Y3mIP9-ge`n%;PkS2>*_(&dBFoc{PtA)+XXlVl149u7}SV#oH7<2z=rr_o;$ ztsY%!BEmGvc5`mmTZ`wbg5(PkmKsP&S{=>IK&X?)pshmFXZ)+-oE$i0eH*`>QuuMNHuF8&Nye&ki%aXVvk~Un9=#1}T7}_+MNxD4 zg7ao{DQ!2=9tqa*6`7kN-c{(w%KrQ?sle-fUSSa-nICFv#l6(HvjYsfvnnm^ zc2ecqPR1#xGVKFCB>sk3SD_SFHRNsxVmRgJa9$*{M@1nj?(wy)pU}{nDh)=D1U;21 z;LZ&;I%D~f$KmK91QbMHtp*0)4EB6KyXpH5%6BAcHrv!5=;Uz%r zJ+%9-a>OC}~AmG;PjB*<4t!sPtstz&Q zhF^S=Wa0drvyxY1-2b>4k5C+h@KUy8SP;IesUX#7Lb6yv5vfdUJ0EyqL4kl*M`){M?%`ZG}-(wBU9j;)zY2PQlk;!E{r#MIUGHUSn3ZTMD)Qt5!C zVUTYC6IyC2Bj$rb|8dkdvtx0P_;tdJ&%dvFWi-bu`*LsDu=k=|)S*Oxj5+lHhBc$< zB-)Qb_ZS36?1pz#W31F%;V7CG$~Yf=ZqIfcP6wt31>I)+=BG{SfIZfqIWrfgrXq-_SaTG)tEaTcm%srnXqF- z6#-<=yI!bND9Yb~EgEoRw=S7uvC_+{wjkSrRra04GGWtMrq{MVw>noq^)59fAC2kO zKru|S!S!XQ=e@$!iVg|s2UkjBNyVGpOwfim!Uu)-Ysw31sPVWIaist#;bbag8px^0 z^wzB%_2XBc5)pJc(bc=iD&aaIpEclEYEoobahM)~@5@q9XOwU05G~Mgrqaon9Kn&H zt>1UUc1^;D?=oeYK@uldFc9iO&iI}w-PR)M9 z4zcs73Dchia^g>2>REuN9#k&XtXTDvI!?GqIT}bq*DHh?O@$ARRCm$mGS4l>)&v=f zG7f(n5sS3A8^r`*rkhJTVGnY7yX^w;{dm1;1j&{KKvFV7BZ7Ta{B03^SN|E0BqI~4 z@CquT_vV080bmtlnUHCmBCSh0k3pJbNg7O^BT67!PfwQ#)B~sttr|mU@+1RH(9DI= zWL|}CzB5BD|A1zgMd`?BZFDIRK&4g~!I3MIJ=yks25oq;?ZY~(>R6Q(Ow?IZ9UPGM z(uk(GJ8_UqfWT|VI^r!jUx4ZXQ(qFNSmXW{(M3(WtmL=5#51XbjlzK8Z% zl(KdOrGFy%I07^h+8k%KW{bA^Y!4dxCGqhh%{J8B;YuPvs@@;aj8d(A1Z?EMRwbHGhfLaC!LasjU4cPV73JhM`u0^*u}V0!m^$Pf_p zdmsVZf8ktRF(%;rzV-+(SS}Cd;6`}idxl!E$Ey#1#^Qa)HYcJPhu&k+yKS?3XZMer z#g$|jWksRpImq2y=-{C2$u}X| z8+TLJEy?ka|;mw5Pd4j3ZmB0viGu|+KooK=>nuzeOzFurMp3GOFsU?=TZ zK_0rjFTpTOmwY`p?EL|BYzwG{l~2V@^_q(rIuQ;}!gEpESt|C6F1vaR8gKkb=c_&x zc_49Px)AI+(9B_$=wrp9S?1XwU@&EZU@Eb*zo90@mf+I>C_7ZAv?C~cr(>q|2Vil- zaRa&p{ZzW`6N3jUA@&H-Uw&#>SBZlJ3j^?Da^AOcl?N{itP3&1DtfbjQK}2As=VbkKg0 z?YrDne_gJizY{?g+1*!)O|Fjh0zh>Xb+7ipQ3-7kQ*yd{E3dEA0tOeGryTFIWY9{M zgCDiox=rAjHDOXv{qzatX~oB<>Asw!Ce8B}Vx4XaN;9tAStlxNHY_Yh_&0D99}>=T zBBZwLgf{3Ux+_}K#%~N!y19kI>cqf{wqaaOdp!iftD326RBE|(p+%K|4EXk6KY1{I z+QqU&qc(n+g0phopz40h?)f(r>;D>-@N>U93!mo9`P0ffM%-SR51mjXkl-6jLm2)# zGCC$btl_3SU2Ou}eL@1>yZipqnPzHet`phs?u0$33S<5UP#lioCkGO37R3+xYzF;W7hl!OAd1<09Rs9 z6qB?;^i8DBSpC2+X1* z250sghX~SAB~fdIXAzh&7uQqNnkRhncXy5i9Vl1M)sh=FI`vu*-BB-bM+ahy{RPx& zZcq!0!6;#zukmhc5O4|hk>&k@ps?n_x{;*8^&HUh>Imm z$_{csBd#61_Css2Q&rSedq^i|E;X`rf!p?Q0c4bw%s)aL1i*5FnJ(EBWYq9x97LWp z43aLWd7PgkcwYn#w7fEgn((6*tE$)lEq$6hoa0MZ`@4v-O383Mo|s|j{=}zR!iV~h zYni+034gxjEj;g+wjgY)$W?wVSc`AQRn#D!`oY$q^H1QY;YsqAtqZNN^}z$-6=hGd z3PbvAk^hi<3~>2yO~i<>5Dn*KK!|ikzQ!Qg6aTE<5Op`Auy!rf8%*E%dL*Rx$F}N2d0)rG< zVAh6FTHdZc^W-cv@{CzRCh#ZZBNFft6r!eTsDn{%3+VN#u*)%aL$#OdTB%V+@yrUYZ*{7>&w*%^cype>)U(}CRkrOEb& z!p>BJUUk32A(dO(90ANH9LOc$q?7AVPyUBghG4#55xquAnje*j>7bk{Kn>ln*Js5n z;+dHD`*pa0K=AvUc^*Ne)LwgP`1rXf)I)n(bQi;VS0iHl?tvWn_VN0-0ufvB>%&x? zKrHD@{PcVW)BBnduzRk)r4~$~Ud6Wun`Ay&@G6}!u1EG<>T~So85-n%ME7kmIa!&{ z1F?%8#=DE-UQiZ>7U4^+3atBeO2~*~G0EawQBs={L(ozZe_e`y1DV&nFQf6`akOZ2 zQ)w*W^IG;PgHPH0@_l#d#h61j(_!F?x|UBrn>~C-$(#QIa4(1al5<4o_tH4aEhWIrxh$<2X?Xc6$7m zj;(!qhYt4-o8|H`43d7{aF>ilUHR?2w4m}jYDy-1zF_P7cfm-8E3(pR`qgQdNit6E zIjo@2`DbYc5IC~&OedGV?j`z_5W!mq3MEpJ^G*E#NP|#8Ny0LyknHh3CY1&&Gfr?G zOp%u_2cxA8ut0Vk9zDlJq#p#r7!Ppp}1iH%65soE;X6 zqPXS&$&epH_<7mrtvhy$;@^RNbDH!YK+U0E1FR5?-a&x_bqf~6(HK$zkK zCa|bR_wPt*P!m`ZNMdE%%!)}bI_@hl9h-r0M9Z7B`IM}Q@2v6k18;|0*Mt@b+exajc14UAjga zCG#{hV=1?w^C*$mY56tu{J!5@%fS7fdviE*yB!^LvCRtIKn^-G?qI?qc)H4tC=?Ww zb~Rka_*+~haY{0KDEj1N0?Sp*7^OmVY@y)P{ziWJr%~SJ3|OBsq>TA`eS{&FBYY2l zVog+Ss9d&fQyiYlx_dt->Usf7$1FiruRW4Q2gfK;6Y5vT4Fik)t zj0TA^_NBg>zbY2|S}l4B`aM8X5q;@Q>$10`4Gm3NVi4#ukBL;&uSgF?HLc zDL`QhI z5=6@yUJ5la!8f6ucnHJq*sY#nZ5Hg|UK=PkX*-9OfK(qye;-6{2DkAbkfQwOQ;I?E zVLG8=QpjwGiIJxwi6FCY`veBi>Y+s0dn19M$sX+2TXLQOOCpIHBaA;Z&;+ZCn9XNT zZYfh4iJhMBxWY0Vuj>jnh6Y22z~>99B;nmsIMWWgp1S#0tsWJBFIM57CGaW+25H8V z69%7d99ch37Ev!6$w$~~fk2R`ho7P$rg}~=ubi&#h)7ZK@@x0d@u&oVWFeK`3fyX2 z+4mJ#G#8((6=VPzVrTSqxVss^Qyde#q@NWHw?PmKt$KWh-w>;W*k7nb$jJD@oXv?3 zPO9C2hmTKuh_UZup!XA?vZTB&-YGlsOS5r!7)3JgNcYu2d|f=T)P#O=&;~M4OZ9Ig zoU!IpDH6hHI`wIK3e+17nt9i?@84p^}-n&dMq;Cq$p*8tvtO8p$=s?k_yd%GTq6E^;R6-a~V}M>fVr zXvJ|{NwxDE8u{1P?kyYY>c0$HrN`KIEw+0Wfm8VQLi7mjL4MtYJ5$Ak%rh?T>d91M ze)4*VI7y8@N3uP736u~(V_#UI*|8wPqCnr;k*CVP`^XTQ+*B8Lo? z8 z^&6)riUIb~VH(?7UKIGmzvLSDuXLF7ngX6ynpf=;}E^O5gTDW4-q;=O_Qui|P4?$ubeFA%Aq3TAhPwcJbukj*!n&|u#)?^v(S zLx+NYjo0^T(lI@9zuwHfIr~XqDrZQ!9kPaeI!2(be%v+nAp>bm%1sukvg6`xTJ1zwB>iuGrFb|itmU5hG|gs?6SGKMb% z6s%4<`L7++9bSvSXRU()gIZYyk)7GIdH_zv!R`No=yTqeY6^slG2o_u-@(F~ri7_Ge}7 z_l=n@?*9}mfV2fnz6V&bFkv}uOqXpr_)4dI_b0xq&e4gAv=sdl+69erZBFQG!`7*m z3#WU#v=LVb&?fl>yMnCv>CaiU!5n!(%l_~H=zBF=?Nh#amSKl$O5y{EZ9*!3AiH>) z@*N*FS@^Ex@iA1&%`3SQzXS7wLM9-8Zfu!bKV0r#IOYb42@+VMbPhvA;y|OUggHi2 zB%#l+A{i@xm53X%vmw0&X!r@47cQ?E)neK=Bk^dPAO@x-fx)gdQN9B9JQ19Snl?P0Zc_Xh=4q{^Q1J!FpX*N3GBImO#zkuLO zaklMj;%p%5#hdrr7S?lR&vx4m@1|p-O-c?03gd}OSt+Dg(!cm{kILVm+JAqhk0btp zsQfTRWYj?eQ-QE@rYMV01JbZ3laJe81q_Qw)mMuL(alcHC?8Y(UAXh629H6rL&-Wi zC-f}Je_jJ{sZ{8>Pi0}fMtr@#f;GCA6>bFr{@#5IbM8~xV2T@OnLplrbW9uNU3yha zv#pr-`PO^(gZuEkYHpWY+s$fm zR?iNR$pR<1ZEZS>0T@h;%0z=q>1jZvOuLrt6q-O=tuVkj*l9-ZN{q;Eb01g)PRm&v ze3Ycq!TUFDP{`IF9k0LDO)9wh4R{nRG6#f|Cw9&^8DxgZW~07B8Ua#EO!F`pA`#3^ z$kgb5EqVBGT6B}o2P`iYgDpF+=3(P2L`>#8pwJX6 z(M+I_AAgS!apn{*COEs#C`@}rjR}%-EQSDpVuxU zYJdRLJ5vD)U|QEUtCWqvbK14(Gp4<~%eN2{EsJ!E3D<-$t%NeP)>r5goHZ%W4 z2QPOFu$jRyL3CnT8aObp(0E%VBx~Dwl=q_?g#wi|3dRo$G!rfa+go!T(2H7J-CMbw zT1hNk5^K(-lo3hMQvm~AxY3f72K(-N zU#FBncU&K&A6rEsnWjOsFo$jur;Ao&|EmiEpk$1zT^M|LkHs@3xO7tfnwL;WVs?HF ze(!z6iM7fhb*W@o;}D^Ji|L?CvK0os)|-h64!_7V2X^M-ynuD<>HpX=%|fq^St7Ho zAE9evk|p2$J4Dt+Fz6PSN($w}v^>&83gp_0U-6)iW05fbL`K*0zt}p5=s>%m-Ns4B zb~?6gCmlN-+qU(_wrwXJcWm3X-LZMUi}jE0>!#UYX*YPLjiegVLC zhjOrYSBEag5J^SzG0G(b!~@`oq_CDYxguR&#I^zq;G1u+nniF6Xx?e$j&S*rvuVLk zN_j|JFa<0GpZ+`+R$TsSZh~NpQ=79Htt$#flo*XW#?Ah&fO5|ugHJGyUqzhQpf> zt8SJGSpFn4lXCgF1e9Pw--Nc5ka=P0Nw>QE3Q;wQ!N>qbmE9moNk!3UH%R!Z6IDn` z-MIjY__chsbrR=jl<&)moG91pm;mO3TXy<^5ab%v-Ysrnwa z&ImkzJ_3g?HI!6gDRhYXAtm%dtX&pHm)^GNnWsUq0IxM{<#FJZ2tCqPwC#+J+J#?Z zt)Mbn3u%xF&(m1daSR+E8mRMkYjQSMi6JIglsEcFJu=}@D}ZGhyMuzuKV1wG)~Gla zmXj^y!&{#-hJltE&*~RYS(

^fX!zpM_F|KC6d1-b)g4!^?D%r1fkr&Ozs@u_2@h@mZSa?c|LCO6~NCB z(k}G=ZeGc=AgC^uO$3!vA`+~fu)D_$TytE-X%W*+MQ`HlG0vU^1Gy;Hep{q;3dPR* z#hI!3;s(7&LP2Ym>eNP-&4htKc`=#;8M;e25PdEdA4 zdX}=Vxcgynr1e8gPEC4|PUYSW^ZEC*OIGOJ-s!!Es{Y>;B_ex}6{pMLtQG&|7o2*> zKiX*LaVtf7l}npxLcL=13;ce{lGisovsBCb${&+;W|zEzQ6TCy zj|7jXD$j`Tdi45^h~2d*FWr{jQW4>mV&~!g{#z-11mBU{L}8ErASn)nyT5xi%vJ8U zRa4-*{6)!m)Vd$z;>W36UNqq`bs6zD&5SH9yM8POikV`Y577|VI|)*OYenz8^~uTj zm``vss{lyL#6gFBz(@&Ij!;n2wYRUn6G9^77IcLBMD!%4Qm6!}#u$E_yfG0l~OHnKGnp z4F5MjcZM?oU=9jQR9r0sj2|%WtI`@1^lrDb?)=Ma<{JtJm>fH zP0zRA*A3-_i9vI;28sA0Q$4I*hwu?{H#DC}XV6coEl0Xiif%HLfA3xacgnG4rBe31ATGj&2>? z;5z;cONf2N{bp~*Q82-rjC6Z--Oj*afYdaPs{AmmYl|k$o)^l5+W6gQsoBJ! zv0KJl0rRr}FHSIdtD4$+o@P9#Ba#)UN8u6p-?>Hx6wh>zILj~;&yqPE>Cu3wiCl1OziiZ;Smb~ASx7?M zAVhWa&_HNZBa`}1V0uv#T}LeoBU1_;THV76(=SR@r)I^pYxgUN6|IF=CF8N70>K^b zOLL=?l&H9`xN5)~) zNZu&$7UeI{Lbcj8nqTKUZ<+CO%NvxjHyb&WIxrxSxF zvJt?gGY35gF^-+E5(`gZ6fD!>*!`0PfY1eG1)h|G=+7X1;$4Q*aTCsxpzD7RPy6&i zFM)tSYx=}-&a_S2)$}#>o81aSEMDrZ4j1j_yoC98B3W5lvA#Ks6^KXr+Uxcrk#y#O z`px(-^=x1JHi_}eD*?RvDt8#)orr~;-{?TxP-S(quZ`kcFZwD|Ov83cnr@37u#=m| zIBplg)$R#Xu=aZOdwR<|o25eR7@6c}Fa!?h6gY1Me4F?&xabhLsBg|GejodxZ%t-N zMVA!AUVhBq;iG;Ao6CN}C%@=Hlb>%%0b!s;Hxg!FqlXX&*qt0sVe%=@;`8FgeH})B zUrJqUPOdh?SwW!$h#Eg{Sf*{rfQO)-v{I{A#8cfm2Scj^WgjGj1QxcN4u)}9!{M*x zw=bv31rD-Z z*r+72CVfQcwVuU$^zo{| z@$z>!<@0T;FJ|sAt!HGGhoSky&BWcnj=;{ zkh1k}-3io0Io)+tpO;^<2-=D{Bhw;B@!XBIwRkr7plWxabN$N+xLVD=4bMmmmo;a6 zldeVdp_O&)Ra##8uh{jlKP4YkwOCvnSZ1GgW_r;eV!gp8@mpD& z@AF#77!#e#Y=dJDtdCjJ7y0TcJg+LvC>5=ujVmuxXHF2Ri7Wb$m6~ir?7{kaF0F&? zdPvQUagjp1CjGZ&?V`~yk&K`1B0QMr8!Sn`$Fd;X*Z8s~7@ltDIk^Hm7{eh zUA@ZRRbE?^4HaC6pDyVTnW9ougzZsc-Q4e%Rva&b`~&&Ei;i9FOCCnOAu@<#*f&bW zQxPyWxaqgQk!VXF0C1n>z!2}&fG-Dj9J$@hXf16(v6P$hqEtH-F%1rr&*ndG0yRCS z@EDq^4mtAhk=wPtmjiPE*-F}N%`k=jwVWbzKvkqy{h4u|LA0<=ZClTSIEXo0;s;A} z#z#3G>Sy(&&)$)a%Tuzx$MlnONp~52Jr0cp;-V`<>0^zJV9fRjfBejW*w3rIqO5TT z(@G2=xoS0uj|9Gqh4+V10;&2VAwsu(Wp|B)|7Xt)h2EbF@yz@{$)_tR;=%sAJ?lP^ zL9nrZ4q+Rm9JV7$yJH$7XxY!bw}7MLWx}8tG@Y(X;&QK7M$qdSF zOb#7(mvUq~^Z^tB#+}MU519!{$~4bwddaD zW|zll>E`}~?kp-jxBhD@qy5nptbS(r+iB@dr^o>*BW^o9yPT9{NjXZaM$%Em2P1Gf zA9iiS_jur?KcQDeF`4Mrx6kiptNJmr=jJc@*nrq&H(@*F$+gb)cr&}3dVYs}O0y5J zw-F*8@b{s7mY)H8*TJy(aF*pf*ff-L&`k4K^twk{{mkyGG^xSh_hJ$O_5Dthkatg! zi+8>B#y`g2hn1f};Fqhukpv4TjTl>$YJJ0SC$ZgwEa`P0(C6GL^%h(u+toiM4{!Ya zHf|VLDNWWk`BFCR^{LL?+Le{k{2vGePQ6$-Og+p0KF3qPByhhOx!-yF6Cr^QrCVsI zdc8|JGM&ABO$mBA<3auZCc6I(ZlSjzp@W{lfU^BR3<5A%h5bjc+Ozy3wQEWo zIA*(%iZ&F`tMb960P70+T&Bt{>8yeBO>`>kEmSobXE>)wg9q6DsZzx(WwJ6pJgSu# zd1D~vwW@l#;z=w$QEa^7k3I!32)#hmB2+0IR2m|v3ROvHES71w!SHEv;YAc$#x}*4 zIn|R@l5&GdjiidXIb;^vtuN~m1H&{qSX#xzg-6cx(EAj2U`9)YRrn7Zwq6k-jBWiK zeRfsS$qeO!{iNjs==Afr?Eh8(;UJz>LK>$LGBRw-c7NOvvtYNB^j(%rjEU5FpZQd& z&2p5oF4U%BO)QNqUD_ayQNKPnK6-Vxvx!~{el~nPnec1R#H@slJsjOR+2#szE~Gs; zh0CAmiJblfdi)Lw-arP<-5okX(AzvA27)@aH|I1$EA%lDJy@YYOSYa0`+~DT8%4sl z4Tu-6)h8O0Ue~h&-|h7>&n{jWt(|G3R=&G3oi$JHf24Z1x~b$zt* zWa-nYSuX4xUt>1bruL+(Oe6Nxfi~+8ZLDt_G_Sz|qUp1qS+e>%dJN3_6(p3JBu?k9 z8mtM8`W@BHTnk@GXJaER)?MEh`*$Z}4^>C!TRtWDFPsa43O!kVF?grD2%Z81MoU5l z4& z`!Ld8Jl`K#ef9Csa>Tq6H3YW@(6xDN>?-gAFimpMNOv%Z@29~eVa-gzN?zP)F~eH8YRD=1B&=^EB6Zq}h>UM~Qq|i2z7ey2pTIh> zG}3|<)o4o?VY*PN5_I4zpuGiKZ``rLH1>yzAF*3I0H+;kfJ9)4tmHDixR^4t*hQGB z>w1Mt=cv5?Hwip=gb%2($R-^VJlQoE6EG<9edqZ11!qh@c>g$UCFSrK86*$Qs4ibx^gG-V(PPcykIUwr^?IpFKs5{XF zq9YSN66F;xgUDM9!Z`B~m~PvL2zll|^y^rCsLS~6d;sxPval0_{|f&@C5QEh;6(P$ zI-9k$;a|3;q{qT;F*W`IHKZmSAM%FMX-YZ5g}E6tFHQF+5G~ji{lH>*+3yBqX}eD# zxQjY_lKJcO=+}H9gpM<-I24P5cK8`!AlVI4Zqx+!f_tDi|^jVr9&}RnzeIjol<- z;#Qr_a;L;D8w{Q{rN~A|u`hv!pN;SCjYubrOT3|@q@|7tD3VCU20vD<9j{Bw1q1Vy zpC$6CFfbtwj(+zya~?XxbJ`@3A5mPF3=}Vie7Y2XUFp2oUVdONcV>MaJy0+6VM=W; zin(Cs`^BAdoRL9X7=79l;!#dOgAX$Ydfaxf*eQrb>ktY@hGoyi%Q4)%{%XHh3Ju7PJ!jqD9aXJZf7wcQ8TQO_5TOOJ$Q3-?2BpCc_#Hm`UIS43wdC1sb zAg<;*N%ey_gc_ZTXglNxR^a0pe+JcMB* zQHK%wXBUe$H#wTV;Y>9d{Sl(8Xlp>32t`F3Cl{-`ZmzpaZPzq#s!G7QMODiS+I7Wo z0gs8a@cI~RheJD)%he46JB57z-YZZbj%Z{1FSbx9aR?5_6agok zvm$W|%mxf28hoO1>dw^F)kMVJD}!{xKYz`j2SxV5%f1#{gCqB;fSj_XW##OkH?3KG z!5iV<==152 z7()G3e=VR|u5t;-#n=*vYxc4vEvZ^>GEww3*&OO0JZFTJKfs@|nE$i3Q*lO8S~kXt zyTB1YFI#%uwPRFO=a6rV9iE@T7iRI(K}v&LHeWF%r!g6K_^9uP>7W8V{;R8aij12$ zs_9;r77HcjiuyvUM`@e?he{?R$)IH*5A)*n(KT>nOukk5w@(gcz1}t604E5yd^yRY zfL7>s0c<3ng_Ry~rsaM=<5zT&{Ac(waF=+QHgcXD~FFbO>Ih{K}g+o*4_A!cpCuNAJzdFsD52i;nw1Zz)T>j@im zRyaUPQR-~-#z-QL#i6{ul-uE&cD%-T3{;1$#aiAm!;*Z3TVZmf6wQxd918g+f-&)# z3zVLhX2}4=F}d5O2@#?xr2xb_jfbq5;(TaqF#|(vN~RTDJBjeWm8xR}5^B+i&w39R z=>@Xsq(2Mr<22dfAD$ff&!nYgaLd>Yh`@pTA&ZaUSiB25Vdp@WV0k~zQTDP*Zs8)= z;Gexs!i$G5$Dq2T2L_A1p{sqO9<~z2hV#AEl-3arC5`#uhez!CKVl8jaj{dfoRUTr z;4?@h3pqwL1qaIHu`QBT2E!TGm})3sHIqVT*?Ju(PrcKBd;4!kz9GB(#E^-M)yD?v zN<60`3g6V`^T(nqs5pNVGzq0SjxUMl3^Kq}u7*yPr8AtFbn~coWQhOZGJ695&ZxWx7FOXScv!IfY zeOi-Vc%Y&lh7#WriId7anop02!HodKNHbE~;=r>GpeLHR{rsdzuA-PNj-7CED)cnP zk3;ON>hJ@1{!*9*)~s0J5aEFmS%bhhbxcA}B+QB}X1kB$y}FN{m*AqwTHACZ2}{)y zDkFCDHXjY}60$uwc)pBzTzP}OcFV()J5mvzp<8tgQ2QBShc#3PKQ!dIbF%;ire&w_ zDVxM4HuNZ6v3NPS#5)nh=0<@t z;GDgV&~~}OMb68sIIc-4ORE-snw&!0swBAf>&$({6`wh#@N3% zNJlLt8QOW*|4?#~?dd;21M>i3+}H!#xa1MySwRC)x}ocUa%-B z=g06QRx|l8N}f=Cdbehs+s@d$t+861#z~Ptg#*LRHj{KLR;Ol1#{s~kOW^*u9(T>F zZ2hn?5Kx@6MpAa1S&J#0pBKlVDzLXxnSp=i+E9=_9BML5IeloN@wYX{I{ai3f5fEfvU=$v*6et z;-z5}gJQH)OM>?BrYTMR_w)}2O(slhef+P0rWllhI*kYg3=@Tu{eL{~EJWOFY;0+_ z7vLBWOzfQONzCw+Kui;)D&9IOL$tP|yNDwa!;o$y?+~$&Gz@Z}sH1yXD<o!pEmvD%Uea^njd1Z9`d{x*-c03#4? zR{}i&5aiJr1c*Ds|6GOvd&sl;OqfZaFvn1Cp^=|h!iZ1}K%k(}o!X5=ZaXV_{y8G( z%^kQ$$e>5akiQTJAu`n)VIiw5JdynoXftHFGq`F_0TCx11-ChtJ@)E0=$FSN@CBw} zy9&}-SlFKp1cRGo3o+HjV4&yQLArx*^XFO^LxP_2Z1@X1TmvNr81DW9x`Q4beEj@v zf3i1Qa}1w=M4N071*T2Vd~hf5K0cvl|D8ZkTs8T8!4yYhX3z)xUOQmFecH`IffgI) z21cltgQ$GNIGA@469Sy?C*tgHPsCXlP~mSf!SAHrA1@bnAf20?K-oL(n>z{9L!1FE z9-cWR7Hv5vwiQwxxTp|_+|bFU10xq@FRayjmIWl>=Mf&~$(0f|qG0iU^k z@Y)6#@&&Uyd-fzCzq%Qw89+KDP>6s!g40{*iIu5wa0vf_P2sQZ?|&~XAwv^zb&wmq zpvy$wOz0PRmvKy^R|@a-uS|7VyO1}IPadGXJ9$0d8T_$ne^}A?KaoD;zV4`~#?HsA zoIfgF?DMLt8?k!RqVz#}hbTwkkTFm|Vc-BT(68_5LQ}}ED%f4Y0vbhLbN|!4A%X3A z0QTvn>bn~F2Zgu0)5exf7={U9@M%6Q7Z50vHNv?4eIoTudiZVM3z)z5Ouc+#7M~&p zeC(Nh4t#$*YI6q=Zv!Yl&6f$jxW3P)t!2-Syyf^9aMn=*G{yCC- zI|Tg1I@yt+5wgv;1?;i&@{xOCp&IXo!2}Rd^YV#$)1DnMY=!lJNhbd=ymNQ}9+YqV z9(t8~pw7=-6{fccuGzieE#?a}9JmAXs5VsNh|M2anMM3Un*QeeGMD*w3kUP~4`lSS z-mU-K@Trb~eqd~$HTH|IdN(fmKISuP1{b`V+5y=i-MvJ7uPu&4fB$9?2jPqVW+9|? zc%#(9?gjVl>;OLgGu0n_v{2uSx_vRW^cwdu#3>Lx=sQ7re2aY3tL@e!16bi58-is& zz&tjEe#R*r?u7S}-nF&^8*v%Ch)lD3wN{@rgRQHU)>BKHzubLz zb+j2x^?n~q1dz)zXQu7?K)3!z)+{NHauYA`wxvmSCVTB_MDIsNkW2GQv%n=5BsEn+ z*>(Lqu{1+8iqb|^ z4PT|e^@{SY%))^I7v8NOjj^+BqDr&>qXL>|iR`}&iz2QsW&I>Mp!+3DLBQJn@nzGC z8k<^n)H0s&2W4r7uPM^}?=eiD2^mfUG@Lxi4$78nWlv)0Y5{Lto|U=*R%f$PYGyT9 zr=KQ9De0>*h({)6EN>=k0h>v`mk=0JSohqlIpwEJZh|PpT9p(}B2M*oZ2gL6KzV4T zf>6AJW5K1gNC{ko0H#1F=AHx`&IXSeze9#tn=O|?Gh3gS);2lx73F}^E?$QXfwDf< zQwO;?Kbs|MRnsfgC3A}T1BWmI5g#YRqBEbg_;iknD+#HL-@!pN zp-s$b!=KVkIj|`#vBdP0RrxtRnipf?A({i*E0i{Cf1z_kfn1H11W|praN0*&LKCYh zI58&}X{MApw0(Q61d?WoEvXa%yNIz`v|lzAzlL`jL$Px3)SmMcx_Q6t)FvU(PimT0 zQicYW{fkjE4lOAJz6G?g86`~_*4c!77}ZLb`(n?Z_xy@nd9Sm|KimpCCUW9iG}od~97FcGSE1%8f8 zN38Vr@ioE(g+PD!YS#9nbd|Gq{=jaay^wz^+B&7c%t6G*!-hj5lXu^q`e@%-(GE(T zok)3wSV|xPn6bVbLEcP##QlYQ(n0XrlPYlqBGF_Lz+dKS8rODdSO~j;@@%q4?*PZc zxf1_OWfw6uFtewIYcn6>=9%I1t(GWz&YJa^#H-FpA^sT{OYbA@Q_cSLUnlyb872hf zsD}Y17scQ5H*va8X^8OY$`zb|QBFISh#aI?zq;UD2I`IE*nN|Q%?pE=G$1{1loh6 zK5*q7?p3bnl7T9%e+3YJltrxU&sb-yc2s+?7~L| z$QCamWGA|XTYC4#Z`&o0kU5vilJEYCYi1=mMln#A;8rqXlHpk~a}y7OQCeryIT9X@ z@-0kvjPhH`m50vI;a0>7Xg|-8&janR|1#T6K<7V{%YK{RuoUnnnF_+N+h^($-b26J zz?`W_2H~i1J5=V5jtO)Dw>C1ow;j0zIwNJ4%e#$g)@B@2_mj)Lcar~eY?xBc zAk6+cPvcvaUA93d*o{pQJqBx54mQJY2v*cLxTCja111%UOIX()W_w20LtQLind@<) zoA!8eTRru!OKX8|L1q>qQXVfWMspKtyI%<19 zQ4Uh!my&TL=?9{Q@ZLGuZuoKi7_~tqcT?F_q>TA~Foj}5WXW!rItmqcM;RhNaM^jy z<0-DX*3O)@y&LKKbhbMr`}oKVBE`%T%J?#r2^bE0DGP?|DFqXAJ1j0&&0t&ap)K1V zf$^4bsFMUY4Fn|$uJjc9&!>j~(ebeb+SdfVPEFxF!2(`>n5*pB+w?oY+biI6M>MhdF`QmFD1c$IlO0QkYyA6`vGq z>Y_%X2@%`BwCDb{iR~qZS)3XHKEg9PG1AGBU7Um1yU%A~XlRMWde6y#@fPMV@g#rs zw1yS|?$-HN-)y2(B&vdT@NvIN#7-{7&6nm1+J89K_^yPlqqLN)e4GEyqxV(`q2do zlr=TcBE&hf!^Wj-;>tKE5m%X28kexQ-$>%^U_G7KqKXHrjxAQwuRxH@|HsN06qjX{ zJnT7}Y}qY~CNj_kOHOOfQ+N9v>i=~ySsAc1{8Pa+f!B+Mx~O>wc+HJeD*BQYNzYtU zgu)u7QNJ~4@dd71Tkinpfzryd?}oy^MPT?z;Nobo9XE(IFB3@V>;BOIw8U5noB z(tbE4Tk?{*t@1Grq+Ib{IqH^?w7k*PFnSIxH`3t{JuLII{TerpAJsSj53?G+k*A-F zM|K81Pbn|`9whjKp?mYg7LNk5N+UQ)W9FIy+-#tioA@)_sEc*zp=|^{7Bp4TADjz2 z1bK;m+Nr%W0PG7fFu&NXg>BT~^LjW4!i72$NS%UX5CLA-~TcuTpy>@lb904yb~uYl6{V zPvinI>&TC~2CUTIcN?^RYOS6$7<_=gk7?1DCSx=90@@pl{AXQykj^YUHrl#bfBHiG#pEGF@Vp8eany136U#JM5P@y}Ks%5#R5oml`_ErH^~D%KMG8hM>9 z;8SDpU8lLmDl%T!wFR{PwfOnNZ?`FCI3yZglH~`{uNMRKQfbNfVhWo(ov(`Dj_V;? z-LUrDe-}4pUO*<&!?BU9tEF?54Zm1;aQi(P6(9afUJ;{+^?;Eu6otHmb;vnLX?bBe z?GiIl5wb0_n8}^-ALsQ-<{Y4B0*g=l1;izUM#-wSgJgDRWjwOJlZmZ!)tngR83Q-* zow_v{4#W*wvLn4{8?U1muB?e(9PQQ_!Dh2rZsXPY{>g-7OGZHovAlp>G<{1V^PQGP zYruq)Nd!tsv(}a|_$S;HmU7Q9lUYmOD$**u$ghW>CwRq;if}CIT!@YWVZ~)dV58&( z{)F4SozN81P@-bmr4pWbg26sF1OA;qK_+0n^p`qdI( zI{!EC4;hZ~-9FSP-b9;ACP%)OF#Q$5f#D)JsIO5P)@}fLIVd?`# z8$H51)GH|!{UQA2SB^{Xe!Bge;fGprZ$ho;LzCOa7%6ml&Rje9WGGoT0Ht~l!)`%~ ziNuxCniXU^#fMXiU|SdH@Z_O_33=a@B!*kzQOA2c2hZbXHNlWNz79Pd80dVvHihv? zeTH3J_qY7%U<0ge_Nu!_y37UF(S|pyek@*jLE0XH@nJ>JQ*81cd!ocF%E^6^kaH=j zj1Z{)a-(c3W8-=(UWDFjekxgh*P2cX%?nbNa!s|~49U`QjOD4-=Mk>!FKT?bKT}tr z5;Ght(5F7=O%HoXy$T|EKnRRZj^Us>;(U9ny=EK9>$=mY9M1X3f&K zB_aCk&Mcp`$1!yE@=tJTHgLLC3AuAVntf0!V?=UXJ0Pimm=|!K5{#9oB=dW|*0>{J z-OZPeKuSG*PVkHh;OI6#2{?6a`Fz<|K^GK=%2EhUgt&{+rRkE5e(8G}XQsC{lFAXM zD76unP>yXk7TwzXUZ&f8YOD6ft1>@6MP}ViN~Gc4er|JbcN7xb2j{LeJjqqA`(=}# z*%azxcB#HUN$B=BsKc6**yqBP{Bze+qu_?kiVMvZB|-fGcqkUCaG0zgeP2G9?R^WM zBM}}^&l|kza6aPK%~j*~_SB*ba?*}@?Ne4CX&Sq& zHw_h4L)oN8*!$%Vy$uxyi}Mfd-5i=)$dy-mXXr35@`Ej%+L5?DcU%z*c=g(4e*3oq zcRis?+mRR#^xom)_)&*cdDszr_-N`3A}n_0!>eXd`wC7qI>oyA;to@+HVrC^sTv_* zu-&RJmVuMy{D%oyHNGB#p?K(5GUpi-jQF(m+sp#h!J{8HR71#A z@Sze;=8#~;=c7NZ?n=t&%v$Zc$mXu2+*i2^pRJ4X9EZC=Yw58sbw~G@1diU<$oE>a z!I`8Bs4MDDaxft`?xIBdra;t}#9SKHI?r15FQ-~SuWma+l=N{2-&>NiQOJ+ig-pJw z^eeA6h|?~=sPOpOcfByk#_NdrEP2?crIg@}bK*|;dy7&y>wu51#E*q`2H_kSA7Oad zFbh^!Cu5DFFQZlWbYJ;vFBCORFI!Dn`)tMr;4$+>LR6k$%0sT%ZA^4QMpC-pDYnphdMG+(7oF|YZeGY%W=t3`rF$!D zq5rvTPX+XTEotr|8T)%5MR|?lR5`EAgRkqv^B-As9?gkurBXPP;{C&($Ael9;F>c=5;WC0bb&5wGT)(Erg4ud`k$kgW}L^P7h-sr zQ%&0KL7G03_FN$qcyYUyQI5-e>C%?Kt8Fy67?z%Ja{WW}`PXP!{`1efW+4MJjaV_UB_=h@wYh9_eHfUkJ`;Z(q} z$Ft|jQ0ViynRcHSyJB}Hj+jWVnQAEYs^*BH5cNqIXk{HVAttb*6nDj zcH;Qv59wn4w!nT9jt@j0z=VFj`T-wXM%@vhYCAY#OPm6=F+NwD#F$2%dEk+fdJj-} zi`(NJxDuSR%TBAt5Vw;%A+(+j7yf=6W9L9`jWmQLjf(UNu$i57G4u63JWn9yDeh$F zbvbE!=H__Brn{!gV*m?e3L{8z!hbbsAb(D;5S_$ZMx=7_DJ8!IUgru6=%~x4YO0sMfk2MTF(1hU%p3; z!owe@o+?R#9gQ(`&~MARu*Sv^e}y$HapFzkc1;WXB9r+^kF7bW(x3&iuD0b+ypRWR z+=~(h88S8S9se=6AG-0u>=q|Ex#Hhr{rqx!O_S} zE1tVeTb#;&(*w8XI;&~86(_XDfyF{tm`EX`;Ys>H8&2DExc;2hxwn1=O6n{2i2emR z8cVc%{U>aqj!eO#?@V4@?UYs$>c{PQ6T`yS5I1Z`abLNP-|nA#49oF<)J~?g73;BW zt_bePYxm~7JCk12_q1kz$dnjxsqD35Y2}n-%EHzuBzk4WCOv0`@n~qC_0Jp?x}Y1A z!vdNB1>$G6M4!Tgiv#%1d)M;<3A#%|&M)|1k5yvqI3oc?TIS&*W~dPt3=jwJZHu?r z+U8K$eH(L*mcgfRK^3M5dbs5p5YNmm$V1Zy%?qmm4)%as^xskRy&5H@dy16PKQ6WfY0XwM{o4GO$pR+0Lut$nj&RtiMJ8cObf(XTVH z5~+AKq>PLG_UcI~7v`Qr=XJ|Hx_|}O)e#Hm4^wNbLcd?B<{`Hq{iOLuF)#_HBwH8)@1>R&A#Orx?r z`_D^1ZXuZ83vhv}+9k=|SeEbH?d6(zJ+WPSsqzw)fgUxb?uS##G|WMPhZ^W*ngat< zd~qN)_qI;06?x}(y(M3%2$p|Kl@B7|a@;#CKh{) zvM5EZu`BiPS5pfYE*hMj$u51rXokapEA&4iJtAunhDMHyLEUo?b-qX=_>>o%!SqUt zc`?ll_de$JK$_Q|>+4>0r^8(2ur<|(X(+Vy$UD&Bw$`JZ6zzXW@&$e_CJuHU>|3`+dBL1&-`e^Wq`!097s&%^1~ zcV>aQP*|U;FdZP#l8w;q9xuTIP-i+7J444FwfS{>qZu8v!-Xj(+`q&3Zx)%0`X$Jo zJxB+|Ma7UL33<=Ke@d+y3nr1p6VfZgcwYQCRv_$3Y&I6VbZBVb$NUW^PVHw(!>=8u zJ+)FOCx!wpUU?I!p=U6!>+!K`HSQUk9v3>m;Q;z*pi`A3FaJZ#K!Q&W0B+s>01Fbj z6of6+d*Qexf2?Vp;Wz_-vAi2vjveaiF^Q1;jL1Nb_)dGvU^BytwN|Nr`||D23wIL2 zCCHroGw+N!y>W18G4U}TNhp9tdCWC49?>FUH65^*(Ufa1z^6@A&8joqA6gJnc9v`} z;J7R2x!>mshERlgk7s}e5VpIU)SOjcpAdj5t1uAgx<=2T2V|mp?m9y^?+B{zWMtC& z-q2?9-|(bIlAcP+jLkB#3-I^P`K3*p(tM~e&1i6uaF}#A%xk^gEit!THFT|ZbVC{n5jm#?v#>AKehy^+~F zmD_e{XfCk_uxj=ERKWGM?!Bcs{Ar>HPZZ0YhlTMK7Va&RVysHLaW<4;9_oH$no2mVyX zz>PS_Y9H3h^5ulRJrE~2fz{YEk_>}!I*W1`VphT4O{~0%QIhbh&K0BOgz1+T+vz*1 z*m$1n0fv~>Iq>1g=$BF+C~kc<6%V3L3RV-HT`yJ~x9S?;jdhbGm}LDjtM3n#Xd>0C z^urLPLP3O-X)$G*GK_T>=_Jb8;B$ga@p$0$a7wp(iGIaC zmVr6GQtD&d8CDanB0KT*MU~)r3GZ$@Svw~eUILB83=R5d)H2z~;ycqbXlzP7u|Y#a zFwutC`o}#0b+`FPfI)czIw-l2`N4Fj`VV&N9NWUC&?TW>sMLry}$!q~?HT z5wd@OnbXC=(a$DYOPl(TcP%dezwZz(q#7s8zjv$wX$?$F^fiKru;}EboP$|4aMHFs zC6(XfEy;v}qUwu5(AxAysQTLdkNm;>r_+b*@}|}v8k$c?hq;-oxK3-doO#8D^~czA zaNOKKHgMjN?kzZy^LXj!XeC7o1CJm*jM^`Rc|QM)>|C8;;snV=_NNpQ+GuSPcG}|_ zmDOng6?O1%mmaW8Gc431jkXV)#)p%W2?faChr9+P%D3bFRMuxYF~NsN)=CTY<`>+) zZVU_0fjM7VY{b$Uy^;y^whI@%A$aP#XQBe<$e(h2kX?=;vVa+e6|0#Gp7B-z+-9FT zfgU4KOSV1N?v)fHr(dqo{2;Pmy>}>>nanj%d!kkjocS+%VdTj<4d3wWfi-&3^=oL8 zlr6=cIAp>INtLh@%(Hk7)q1QIBYE%WHw3u-4y&ppz(0Ujjs`Ebx@9GQ_AC80mWujt z)-G<{^j{FBq-w>F$e!QK+Pi2)G^-fmMm?mN8bV3s!G2s$b*by=9q1UCm0P;v94(aq zMpZi!p3d-09I7zK%pIIOy=K@AP-~Bao-*%suUYIM_hYQ%N>=8DM4Q0cL0KjAe*s58 zxW9HbY%}mD5B=ViRXa%+>4GZbI&TRB=;u4L9>Z++N?j3OVsU}U9k&NP@ropBhgABx zTV4|~>Ik(e1C*?`-a*cTThnulS1eK@)*->tr)eTvIl04*M* z>m$M4pT+T_V^Mk+W9TL%aLr`sV1Dx2^@!QTLIH z0e?VW;Zrk4eL3(`B~c?ki7j?v$>J{*NmR*lj9b%sUhVHc5KN=%ISpJ;S~%i-?b3B; zhuyp1ZD#;9?h)TJbl5pG2AVQO9S+^7bZy-?e(7`;OD%_ftOQ-|OK9|(>5GKcD&`4f zXzlzob0^#4nca_N;kqLgn(8bc2N_CHw^ywdnfN)p{`@d); zYA;lZ6iTjR?V<*m{lv9K2r2Vj4X!S$&v0|X^y1nMt{&sHc_zlO-}V;#QQZskXDG!& zseLtcjBwb5G%$b^K}S%MB;F10Lota~rp1<&vj_(P#*Qh%cbaYz?k4|U!LMWi%71FB z+P`=#JTfp9>WA~ofTI?3oTZj4#Vr#)hF?FM;UktxRFsp4ff0|WgUkYQgzn!wHP~3t zEb?Ws*EyEnbTt#Dm%}|b6we!5^FxB_p1`{=Y`cZeX)t0O#-2G@6Pola1>!(yX5yKZ zoL~<|U4$i1^D=)_RwXtoQIZ=sLVv7zEhpTXeUHs;$zCPwmUJ15=T;61BP22>WjDS- z6oOr^wFY@n?RNW%hL{bizMdpqp_ud^wL8jQ-)ad=vRl_R**UH{7~7aU`bC^Efi=5u zv*2xvR8dw%sy)|*c@}n7G7VX4ah))JH!Akl%lydug}Xv8AI^Xpi{q%^=YQ;cNS9GH zgj+S>^u5~L3!|ZZUJ>}OC{;RvlnGQx8%2A$WH;PS+(_iq_)KfTq#jFUp-5Y-mX#3?lKu$GU938_1>6@L<{a9XR8!S&TH z<0taq)+dI%d{&rOU;4T@0$@+r!fsL8H2YqCOl1Yfrj!3tFnwti(QbUHd5K}9h{E-& zj16n>#@2kK?_M}&V`$WgP%PY{5%sOD&6j445<5R`ZDh}TmkqsxMuCL;?Y4>M6>M)j zD2{q0I!cgxuYi-{^nU~PrGc`uETvU+jL0-)>>nrGu0+B(5d|)Y3$E0;ZL8=9gG(4c ze*E$(P;56+8jM{dP4i9#O#~KvMD%5u4i8DLo!3A;vkIM`|OI~56i1Bubi3{e&LsF^nZYlyh{GDuX45-+uy(SVH79$K))>nd*iZ zqV!2X@xxC!;YfkI%=^TvcS&mGMvEFdTQ9uP-$+1X_l(HSJg+z>g<9|UXjQe)z@`e* z7$Y_v&dI|z`=pUm{ROca`pLd=^3okmXX^95Cfs=)v1f;0fhqzNW)X)U(ZZA~{8b~y zwo%^(UhCpw+kf!yroa1T665+zf7i5zxLWY|xeKO+9cD(`JUCDR*{C0&g zy-V!4erUzu4z}5;16tsvAf7z)A+~PLe6i_^=<^^w$R(*KB?GPOw8L}PSvxj9x%CF7?xP^Ld|yF;UH_@+zMy3t6;oi%sOgP@k;J%^fKbO z6Ac8E{{ywzPrsMZF#;*K&h-IP8<#m$0u{G55dyCumlJUU6}S2^0zM*_t9b$yw@p+6 z#T=K;%K{a*CvgIW2$v!r10lD~c>)4bm-$-*A-C|$0y0vUrHca=mk(S647Wrc1GGJt z%IgCcw+~zcl`og(Ap{}?GBh+fHU+Eu$I#;P^uShM!3S(}VV+`-;O)zi_8 ziH?b$ksF{Qt}MsI%*Y5}q-TL8BNG9d8M#|nCxw#3tIlIyWUHR$%S)^iS z25_-71DIRcngK)<6t$$}B>`kry#mSle-vsR4%z!Tc5Hkll*a76kRE5M9f8KxA^;|kePfB#>Uk)4&T=l?J6{~)AXjQ-I<$ll@~M zT*K@?=OSljYUOJ8pY>+{=<&~qnmX9qdj6j+|0(0&8#2hMDk{iJ()_Oh{+$-HH*qkv zvbO-JxcsA~5zzF1fq$nJjjaCDJ^v;1-);ghfBj!y&d3F5>pW|A(%LD-dXA@A7ZK|EcA_{=XZ^%*?~g1a@uN z!GtHoI;}aZ!cVMdwi1G7cG^&lW|;|eWvcsH2ia=S($wJK66a18C*K_&e4;I%$N{|a0k+s;HD{5ta1C1ZUpNRfJy zH7ob5R@$kI4_SgK#<0A-4+3dBVRhlbUV=)G0wq)X3*Ky>rUq%&GPLl@Sm0%E4JFbV^*-el$NLdY;1s7}tonFkP(`*$f5zKn zbioepk|mbHOt_n%m`_>WB^f9zM(W1J`0NsFz*qI`6&yo0!hfw_M z9WwQ>za@58A`hln3BcAi7y(XWoUSbWx7N?!3*P|mMV{6EjNoiFzB-%s`2Gy+ zf-OT4Q#;%>i5OfXbYnAy+m+`Oe`pK!q9JMUvBVX+=kDou$_@4M6uaEOFZ`=Rm(low z!GC^Q^isHEtZ}O*<#8R0F$eXJk8`bTYUbBa6!gxyWqE=hN+^|8ysQHim&s2)8>(Qd zBy}R|M4wz5$L@^#p`2~`K9U=oHOL~BzdYpJKhQtjr$DH1Kc~*DcvJ)0f2&2Rux|+Y zPr-P3M9}q?R??a3C)z?2*_y0+CrF+aXbcGI>j55QHW9azOep>yQR17a3VHtgu3$V# zQ9ZN3ilzq4zL75x>mfXG^bCfInzleMm!2<9=`U$c|I!reI+b_#pQkBH=XC2wh|lm{ zk$Vrj{#e=`aMb#UG}c9Ue{qo#a6THvJ7cZbM#XJh7WHuOQ&L1`d%b9`n|>za(8h;D zK_TPTn_t#!GLTQt;Vhd4*&NhqEbPCWjeW>*(C|gbNWZgQae!f{ZYth|A@TP37v^lq zeS5oFW!^QmdFEUpCU_;60aHNhB*Squ3DHB?_4>qoQ2BtKyu5RYfBsb!#9O^VJP;m; z%OBC^!_%AEo4jwT9*5~4xLHxi@-bblXf)l=e?=9i$;an zb5&+3bSFuUZgd}=ejUeDX%K1hJ6LE>RXjDJS*$R++GT}I{pLdZsYiUcx*4DOOZ*X? z3wW0T`X`@9qSEOHe-4&_zpZX((^cODMzYFh9@vq zv%ePa2NT_F~5+ z8JpT`!np&Wf3mo4Pm zz7c9k$n{>b)F+Pjyv(eT&a8q@cLw>06JPh2PIe*5tW8cuiWuZ5w~T9lue$#h^_2L; zqk7elJRxTIb`fkKpbW6H#4z@(eP z5cC+G#kV1^XR~v9JJb73hzkBH5o(?#`3Kix>NEOqI%3XOmI;>#(KHG!Nfpx3?IoIj z1Xr**Czi24*0zo5LA5Iblq{z((73^0J{2L(b_`?K2Iof}RWOp5Rx1xxcj(-XI@~@* ztnDHXf7|(9J)5w3iLZbb%9v1hu9$wIh%(P{(CZwsEfo~ImQx4rp>hj`O?T+KhQm1G ztdspa-{Qb2N9x(xmojucciB(L2!RYOz%ON=f_-Il6@DYx>Y5`#{zc(#I}?`}1}(SE zRizJC*jgx3Te<-^RZKrX4!-LSMCgLEn2LUHe_-0X4$Mf9X|gE(&%6f{enxMc=oPXf ze}@)xOy!wfl5CHN$c_C8C{pnpfMH18(Mz#3f#Z`4WUZoQ%PS_L zACzQD9r-X@4ISY>J{Gs{H`C1}1$JH$^>-&l!y*#?(53b(ctW>I<~MWVhtAX9T`(Lm zX~OkknuN+qmt$LzY5&%kNsSf!us=YhAJ9Y_UrwJY|cNHPk-WN}KkD-Z2Wr zh{61@S7oAjFiho|&!w};>G0Ly$UXv~e{H-84T_e<)!EX>;cDza!v_Cu%6j8L@_c@S z7_8-1RsU-`kL+vMZa(2H`Q%?%f8pF%GyvXBlF&*o6yctelB*C>;>i`vAEvFV=42x! z1y*R?TYYD4tx#zY5mYBH0>+EPl|&Z##`d_fh|F=!J*e;Bc`_i~5&?(xFvz_3@Ee{5e^00p%OBLs z8K>a$N=#3HSpTVongOS8iN_90i#)((Sc*;nP69nFH`WMrt)uiVGesekc^oFgv(XZt z0&lk}PW`n&JN|&kG-;)^(}u=Q3y+gxc320ya2t)?EM3JsV>940q1-$e%0BvQgicCE z(NU(00ti$WFbnf0SFJqBe_O}|gvhW43G5jBIYZw;`%$4S`>=_#hd;MJqK~{PD5A%c zthKz`tW$)*l1_I}Lz>K2^S8z(l5NPnvR|1km8Iy#1_H0Jy6oGAc-Wgg8lxt@*{5bD z6_x2|b6o`|$T;FJwk-dfJv1XyfpMutc$RAsn0`eD))D1ZJ%PO;$*$M7AaN*iS1gGR#U<>j(XwMno@4r+4S@tgB`iDAlv6xhTdF)9T`{+wgOJ&vLY$eGf=NGi zLh?c09l=4h(CESX9YyX`cP~SEmIYtxG|FM@^w8H*Eb7q^3eILf=Mc9ue(|3=X4~89 zh|nQZv;_I6f2bI;pnxUI?6K2PJT50Wbz(O zeJPe|1XliGfg?5S=Ajglaatzt43mbv{xt~49}nlFMF8?qXw$RIjQ3Gg4bRDBluA1A2*M0A() zj)0AzCq7Hw9qS`j4@z}qRswF4R?LU%ukNxW%){{HN`ohFs1Z0nS8H9NzT7}ls$Upln$*4&P>(nA%P|yN z;pvvQ?eYq1R;um-tb4~4Ul(Q4UygApP*kRlp;^iGjt@FQb+4$^Xnv>$3-dk!7>yTA zf2?uiWxkEV%Tgnno*RkjIj?WZ5(&c}iL2;A&{lye?xa$pt8YVnmoGlOVY*FN&P>9zioJw1IDvx8a+Wje?8#9=E)Q4Xk~Rhsd45y%c6a142;cuQ&u-x z61mf#tc4%RtXq6XgnaEBg?X$QT)W9SocK#bPW+xT;PL9LJsh^5u1hQ;3%t)N36S+Q zCt8i!lUIM>^@k1Hi=Wd^AFs5GMA1jsUf%YJnZ!CYCdFI@2{$&jKfB(AufAzre>IB& zxXTp4otlRqYtAaqg`D@S^-?e!yJMxd=|{X%bgLq)Vjtr=38ut0UxXf_k27*iivY^J z%qS4LEmGh7IwR|Di)@kIwys#I;>z9nYvtz*qLk@{K{wx^?BmMDg z&Al|#1I~6$QUkXUG7ejcyIEthf0U!q@-*^om;K1@K>|#8Y~?;q41}l_<^gZQ-lMi5 z*}tQ-{ku)0Vi~x*0RtxAo?!##1`j0`eWv*_3nldlOhaDyaxhW4)t~iSYYnt?1~ELJ%Q~hl&>c zEbY;)VwV??+OAlXxXxROTa_Jv7C7~g-2eMAuM86Ou9u?1=*v5>MDOn{e+GF0_?jW1 zsV`3?q&0CBDD{~HauxHf7UOlKnZ4=B5y942%Vygd+U#1mhBB%zC65HD7!aB)oiKykVU{r zPm#*8JgJOFjy14;Q~xNPU+$m->v$hQe`HYO2mMW@)?IW9yw%vKVkiuV#)z9ZaHkwL z=efz+l7Hk}Vb*XL%;7<^EMIj_6q*ey7$SfLTYWmmq&&HIe-y=Oh&c2xN6jb7rL}oz zzOzBk5^_s`1f7oIo#kiZO|>k83taHL0O%nW{NmAhJebl0<%+6Bw0kPpvrOp>{%}Nt zM+IV#AMHUDYldI8a{~EO`!DprDI>)VcM#34)qdbD#C=Gf&uh|%w6lvJ^8T_O!)v2$ ztBo$5wH#Dbf9G6$E!t$A!;uUuQYcwUv&UYis&t<%_b&VU7jTJu9gu3h%uSv&h^LUhg4_Vo7#!+rgxrU5B1@7Pmw;cr*Ye|I#|K0#sd@orY-J4i~p1>wSm zGsB%(NoSE*UF=nA1K%Sjqe)+s%wkBfQx>%`|JcWu4pYv)qN{mc{Zja#X)8w3M<;3T z5AIWsXWLW|TjhA80QU#fQ*o_u7|iy8IeFH%?P|-#o2`~PpLVsIy<#)_gc08%81uHm zps1hCf8!8@7zQSJ**ENrAR3GmRjV%s2))wU6OK-$KMzhR)no`e_qA+Rp*pJZK|MVU z8MY)9KG6v8pl>5U>G_}!Eg7THgqmh0j`eCw*bKkNF1ON@dIax3SZXX zg$jD8Pz=YuEX-aSPwR%)z~{t2k|E<|N`C3L5fag6vuR?SnNh`?HVZyqvlpR}&EU$biyexnm0S zmg*n+JyJfc?7ZiQ<5-PndNlt{SPdaQ#0C~%=j9N6eZtcVP+pblIY_qk9iwiYze27q ze|02{{h$zgP0&;#9s>`x^?z5SqGNN#1=gsE5^ic1E?@7C>6DWv^zQ13Zg`M*t6BLo4?9&;J8k^q;QpueW z1t(kWY;-}^AJm**oTa~0{!P0y82OYVz%?vNoin!N)Nv0?MiE_Vgq^h7{bY^-gRxi}a!UC*imu3BPlf%ZD4(nrJ_s8tG-t>^ zx0H!%dxC4Z^@1koJqQtqb%C{&LS9J9$QPq1H_7+N9KRBO1AKDfmL?~MXQzIKjEcYQ zkzl>vT^D?(IwFL_>gouB;&n+%@yLL=j z^%7RWPX$Fd&-G@W=?8YxAFCu;HOfmNph&ryHkq^%=bx5`Bd>Dxy4$18WJgRm?aKlh zXF&om%YT+dO*1a;_XOx7Qfw@)o3b$Y(yU%L>v)*b+-^(bY5w8n!=p*5fBj)(J#`8v z101~Dx`V6l;%rw^4qU5Tf!nVoQaP_mY=G(!!9R_o!Pap8> zdrbEpmt6BY<+?^^qnpp-3O`xHD>)6}9LC~@z1l^cKmSOEe^aORZM|obeWFducHWus zukzU^ghm^D%czK-$EoTwfBJDVl`q&>8zMgUK`)T+qX>B^+n;JjVE61RElWR91C+gT z^fLLn@+Q65GIxM>(44~bDX{}JND_rKrP-^EQN;7)atw3xJQm^@@Gxt`cAT9AEgavT zuLdX6(1}{D5z`De`b~ff7(nnLvR89jyhb5_!HoZNk7P{mcYZr5f0o_YB&bh?!rMfj zpsZj|D5y2)a$~y1Ua`#o<>wX2rWRt6vyv=+2D8xP)-Op-$)2ncBN%fI0TjM#uL+|W zxg{*PqQq9m?6BHK$*EH2lB1z5^pV}Jj%S@po9kZVw$?qe;2U%5R!Mbdu0vHe5sgE> zs>~Mtco1&zq2mh|e+hI2cTfLA3Z1I);leL^*_H)=GL=zQd)@bY5Iw+0@^|=`ArqR3 zmaZx!_Nuo~HtG(pEwf48t#%weRlaQT_&&rH|k zH|`~4*F9JfBe(N(&6EhiSf?+;4GOaOI38<_b~UYPfgt7l?eVaER}1|wk3;64({O`@ z_SF*K5grza62z&pYJ~UQY=2hL=-ZkkY##2lx4ILY_3`}zFf`f9-of!4a0PB-L*-amXKGH?V6gh=<-QP5w+;Lfw_Al-ej}I6yu>DHECx zHG+UBO(X9@H)(F(80{?CoGCVF+KV8%Upv^%;?UNt?#Q(Pmv)|=4zcEEJv`Xwgx>7P zV-gnr5zc~*4sZJgFMrHis}?n+Bf?)Y8g?{~BJ1fje?%t2kT$ij8wt%-{CC$iR5~Bs z(_%HyN+30_?LZW6!{(VRSFT&l7M9I5nkVy)vA&y4ns8m@GXIz+c}Nvzn1tu#}XlS={SfD%YA!ccgv~j#IO+v z-rhlV#BqBd`T{oahZ<~X77_kf4V)iRuNK5O!`W8U%uU$oQtiwbvQ2z zF3n^>W=49XJ$|dJ-K78{oUKtRYOa1)g*zEI?SujHcpQ)i*!=bIB$IbV?nU33uHm$s zuMkdIOSJ>Zh0^vR){@D&T1{T1CdhOd`}defT;R*!qNPpTJi)eJX|TCP7?H-X{p#-B zf51xQgLR;B#eRWoa&`!@4z!b8)`%c_yJBl^=&;SVDigi9%QmhbT2-5Y6yfafb0{n0 zdvMfORjOlkpw`o2twDO@+dJ@i`RC8pblpbOApTTievd#|~B`o=47-PU5AroWGGo@a4FoS&A@OmRxzv$xzoBeka!e;ZP< zWz>0-vMx!jAOlj-PY?s^N&eF(=F$CE&!iC@68blv#HYbF8%f!9%MqF;HmFecLqx~=}IB-V{<>t2wYw=Re=E&IIS&}w@I98bBXMm>^6D$!v`w}ePAqDj|W zXQ52?_$%GXWyEQ!Dov>;ij_z3fA=@kZ{PI{E?D7&1JmM<`gV?k0^EUZ6`|qd-Xmih zz^r*aKlPBL!tc{1FKE&Y(RZ7c?s}=CDCv$*#OzrO^`j5b5_(B|UZ-IG(qz|+d>2S@Eq*S)>lQS4)t|! zM%eGJcQw%(c;r7+)YbdNO$0+n6BOY940ZILl;AtoI(P-&(zGjCnigOBP(3>69iQ9JZyebYdcfB5;mDGj?JVM!Fg zACV{^)0%e{GH8BNGyAOjE-Qx5L<=D2g+RxyW&Yq|5O3~C{y{nh4?Wa$<;u(trcV@9 z=NuoZz1wx!y&#X!2m5nKJOr0$col4R67R&apE!rmU2H;-XNqz|_+Nh>_`|7K680}u z@_A*ZK6oVhB07FSe<}KHU0%YRkp;tXD8>qXEeNIbzUkbRZZdXt^Ro2_jhWk0^l4I= zxFN-3Qx|h_h#{a?h;w1&E$R8m3O6B-QtzX_LvPFZZ&dU9In0vBc^v6rB1-i}P!upg za?vgLterr539R2Bi_ggR@w7GM$*+89F?=Fe)aQe}EC|xZe|vy13R9^m*MCHF2;%4> zszick_B%Qm{T7uFCNUTQOT{ue9&=p9tX;a44=`k%w!e#|h-W>THN+S~1t&-p zvUIywk@HS1I;WeGBHOFac6cg?Dy=PQkL==DFf(3#xOfXx9UF+a%;7Kj3594;*Juhx zpx1Z!I?BQff0EAqEXp+Hj2ER$6hJ-o9j39UX0JstP;7`*_Lg@#QdNKlrS5t2I9R;eh?z5PrNi9;@ zuR7iNkSRRq7Q&M=D2Rk{b>XMw!CUAQ|No9JF5LnEf1%AdE0RLjvgrGw#-`*R3(j7DS>xy1nawc0pXaK9`uSVY9yJ)}Iri8@BwpXh0Z9jTPW9IG9w-Z;h z9UtX^ZkJw|)bA^jY8z(7nPofvwqstD@JSuhIUjv1pEFFZS6#1cx%d>m zIwlZzAq@OjNm+$~brJ^G*S%^*ZpUnKQAh(+f9Jn~%;A@-b*k1{$4}EPOn1BBw5tnG z3t?7lCB35UfRa%!G4p?>4X0U=_~ejqC@eq3W}H6gz@(qZCoZ13p9PX3*7`_IcoN(8 znYMFn8lj%n?#zR5$`53-VbKb3B-=D7R#Ah6PoO?dFQmHXSSfjXuEU|6%9{D`~U1dSD%)SwGqg!C8 zP}yihu2PSsCCh!9s-{;V1Y-3rK&T{4Na{Olh-z(OZw8%yK##S+xf*h*?|`pS;q$j2 z-aG#E#mZY~l{IZ54cX9ADJjIjdI1B4f1NzvFWD4^B&dQii)hC{%)z?Ab_*K)b+xg? z?-X%$>w9v>faPOuT3kjX0Eg{;B9&IY)MHV=W5k8vz$;$=cnQDuWE&le>T%d z);(&yzeKcD)(dQ(Ukl;U;)28@t6OTIhE~D(R1&dQa;um@vK^lv5o8M{&UR^LbAI;RiS8xg$lp(1!zRY?DB!%~5*5TfH~ljPum9NI=u4Mm3oxn`Om~9!K29no zT^qv$BoY_r7CWP#1|pRF#wVuu1tYA1w}dP`CF^}o)(e#{kr7jc%#D+j9!Y#f9 z!}=??;=^gd%%lgvfbSP+X=JOF>E9MNtM&!pd#}2-Y(`RAmuE@6YXmu zL;KWp>$*SvV)y4}SgUzhJjoc|)xnERM3TsG7H_G%*1RjfBjp z`z@bOqoPZ69G5qYqDOBTX!6AqQubsBQk#FY?trHiZTflgA_5(oe~KxA3hIjSL1)-+ z;ve3Tc0Z(1=epmKv&1==kp`|LpbvB(z6}VcAV4rwk`y%_`NlRIsb|o$WaleuL2a`7+ zI%vz*p#?@rZRWF#0*GTpQ$kNtG}@3uKux`iBxJmj6wmLoLTNwbm+L*yNi{_bjx$fY z&c$0kGcLtSe{6j%d-7(-Z+W+$#oRs?2{c5zA%9Iq8$d!62i71gbM@3Hq10GSl)7Gp zT-Y}xh6It*$(EP(^01!WAiI7+lS^?dzy5#^?7Ic8jP@<6?vy-PxoaOHw^QpUQv{B@f%a&`w+=5si`C6nu0=9ub}Rsr(Y=d$e~sjt zPBPq$;wl*Di|D%#<)oBl^LzZwIQP_&U3tA;4!hUKT(wmAVR8E6&u;1K&w!56gZl z!c1c=QoMH+UkB(}SIS!eu}HY&qP;HLmp~%#e-I~4iW+yK5@d-m9x>8i-mZoc%y@0( z_2`iXa)n)$@?9LGZ0A^*=(X$v{s$0k&)|S2j>vZ(+fO%vFn3F4EhvU^=+?@rB*!FP!t*%t0sF9u zfB3awAWK~wvZ>Uu?jXGo$Q((&3!+-Do`_R{Zg*bACiWzLv!8%UJa;z~CP3UWxQtF; zQ{KcR+TtYqG5qB-%X4ZN*@|SMTyy1Z!ZWFK3TV0?)sy{OztPj&_0!@;+s6!9VP z$|#c4Mg@0NDq7KlfVM}h%M-at9H-2F3*SW^33CFwWMh;sp}mACNo~!|DfdoU1POd` zD=_`{XEE^soWLt=)+Dg1wDst(e^mJH$p^mZARnoM$);z%HHLJRT(vy#9Op;vw5F(N z@YTTv^u5nx6Nf2BZRQU>pG`Y~ip}bbqmN+SlbubYuM)0NLg+##iP)IbFa}Piv?wF+ z4~M#7^Thi%3abb)o-`ZMtsf0X7O}gU-59h$(DX}Vo6##sB@9~nD4N-Me>h1BUJMSl zX@xDp34WY&{?waQs)||!rH}YU8bqB(cPy@|9&I^c_Ab**1Pj;`X3Ugg%&WGK7ihPO zh5$H@ylzdJ-^-%!-9#4-886TU1Dnzi5gJ-&UB4vciivoI?#|RG*p8o}i~VJMS~OuW zM=Qp*RoU%M>AGT0l=T0gf32@yhtmk@GW(jfr;!@^~rmhC(6;eFe2zA72Mdj4+S>;}C-Cf`EdR-@&``^6oKxT#%M z59vKHi$yQUQCO1i79baAQ z#1*qzX{$`tr-?^QfAUjpbJi|kV@?hd1*f$zrOiM$x zbn@H1;>67`Lp|R?FEC{s)Kf?v9R>jQ)0%1qX= zg$j8orRSM3C>1u~@8P;}TQ`}3$}mR+k3K{&Mq@H|K^%2=Mw zur!C>N5f?8WNIa60jwBfs;}DhQFFZDOM-5 zMk-|}`P)}bmYhX?W_%%4S)IiOD8qq{J9ud;KUhr_L{^|;!#i1sqiY4fC65m?FFIK{ z2)cJIe-qPc&z>{bMv1;G{H|L^qc@2ZkiGl!XuY_#Ji=(sc0Yd8bswzzSJfvwPpOrv z+WGV=+lqY`8s!)yDBVRmE}x|ENZP{BFg?swEU}Ag4d5h4g^ub@uJS8Gt)>_EDBG;y zTd9~L-(-w5JB=JoUZ~5BmH${Qa%Apyi1q_0PBdczL|}E}W0xcf7}YlF82Y6ZW&WwhG!?)exV<}B#LESShkvd4Yx-j^@UyMR* zlxZ^e^nh&KTb0D&=cTpJY##8jTpMr^xw7Fu7KAh1ce*#CUz|Sgd zPN?BP$wKh+}SXUm)Le2~rHD{yeZ7=``ez>7i8 zq@Q72~L(lHF zs<*ZBRv9F>6L^deLSLOEe`wE@?cWw@sJN9h%6xO3@b2HNfw*K`%ogaR`{~AgMr?i2 zW6wWG-lElg*|xzDYdGY1n$r=!{!-<+%cQeewh1A{YReTY@Q&9>HtS>>rR67aA6QtG zg`i5#gd6aVu4^r#!O_Oj1dY(1oA%B?LDt8o4vG2c^(3iQxzj31*W0iiYBrfvEha3&EzWSbB}1)DEbtI zI-_L$NKhV^Vde1|e3=Xl9QgptZ9jGtN)*CH7}vvk$z+~F@#bR#{^2%mts%)OE}x!Y=C2nW(c&4X16mh#= zov8T?GPv7dmEYmD&xmyNBOXH)BuE6e3n*`e$Ic0T#2*<~Ai2-mS&-hOV;rfXog;Dm zg#A*Uak$Ux>U#P$KTZCkk3Gh=tLMN1cG?l zAdnFBqZt&V)v#A1AS;GwnSD1szdx0t^v@kS*AfzE7Twi>V5iOQ6hJJ#Dp<%RUQf!F z4_R4n5ELEXx)LKOoq{KhMmp;PvfXZ*9i)Q-D+Zts$uOPg;DR=qI%|*QT~8p z1LW)?DLC~TZ3Rpl6q;PHXJ)6HZV;b5g0ooiODEE@Ua}SL{qJBNvS)L;#Nv<$%S|!h zSUs{Gzngpby0_%tBKd+CRrigsU$^QD)Dp*Aw56wcu-zN>sdYG+M9qZd(r0ZG5@2)e zf8oU1e)HK@+z{(i@?DJOR3<$HPK{FR4fl%D5W3^<2IT{6z#KJWGotDVDM%TYB1jpU z%e-I3ZrgyyON8pV9s&h@IN@bEJc!UG(WJ7hh8ENzKUPK34=^hQzJ4!rg>sDho3O~K z(1?G~!DeO?76If@$kin~b~t~zhr>4Xe+T%0@}jx9FcQ8tG&s3cOSwJVBY?Q8CT!js zm!`}jyjM7Ik@5K?SI)ur_z^$T(ZqkwY?H94hYFEqPe7r;m=(nd75mqY!K+#Gf+^%z zZp~-7sdi7zYD|#|+fCDZg^M`yOwm1OqI;6-1)4j&6HSQ5i>a&^S$*k*EhCA2k_mq)TSoG5|TMhU!3UXU-f3DUyP4Fuo zv-nmQ=r}xgB_CEE$d|gpZ@VZsVQM^M0i%;Vi!E5UhYE*M?sN4`4jDLa4`zRVHSZ}j zt9b5NH~0bcR`ERMdVD8N;u}p1!YI;G!aQA5bY{&GjcwbuZCexDp4j?gPn>-5#L2|= z#I|kQ=AHlLzU|%BRp<2TUhACh>Z+0%KM1;1Shufa@P+MX`stk=Q-rUgwY~-BV~NUK z7Jay2lsN3OteDeA>j-F6N{KjHkY5qA47@-07JqxzQfKBj(tX}UUDnX^e@o+guV@jZ0KS*rMM0_^`yyGr9_A} ztPcvV$!$7D=E3O4`Ag3?Dz@)g%wL;q4RATJeLNTu(vqan(!y%(_)MH;||tB3^D zm4HlQfs`SjUzE4;nUVP2JoxCVl~)y0?mo%eL?tK@ynxpXADd;o<{>zH< zo0?x!dw=i+)xxh6SO*umRZRo^_#94+!yv~8T08AEsu3RKqj;Zhz? z2MC}{XaP0C(s3{m;Sh1TXG)PRoyhcF45Ash$G?zn73Vhd@ou48w@v>XIWl!r=F7^n z1D3b#S*Sj6b;ybCeHP-w?tz=0%wvY%VdK(Re+lSNJ2>_noW?HlCGJZljex#(9F`06 zK{H^GawT_Bt(_MA%tNMFnJ5>&k?teglkicWOMpSeS=kQuMKk;>AucBiE$mDTyzAPLDC? zR;a_3ZtH}TPLk1ACK`$~^G)v`G8FpCwj|W;^6Z#B+J8mPQ&Tp_lrSHV+tevWKFLg_ z2my8wWJaf4I5oN0L@k6(WnTU}Ah{x;)oF((f2ceh4Q&IvzbKo1C1ibkbw#k*>>8bk z3I|ih=6uouiIj7y=a&by%14PgPZkxK>QL=%G`J6uC+>5n7jmSIt2nHCLmv5R(eDk} z{G;GcumrtL-0fc=YX~w*WK;R4M}}lWRRPDU-I=EtY+7cO7{C7RcE;jgv8&IMXl|b{ zLct%kvzaf8`wW({N}KSYh6D)Jq*H0-iq+ZYE;ik&N-%uu<`A& z{l&q*W&vv&s1ouF-q@X|06JW1w*ZDwG~?xc9{)D8zIC?zy74igfNNsm+j(syC=z~N z(pOoz@RCfyizG0vOUI6l!OQ8nkZhlKZUH^kA+JfS*GKfr1VoeqUAJxA*L`SQS~wot zQ9r|faw|PC)I|86Cf9kn?emo{I?+WR0P=+FKrr_TP_E!lx=w}x&lw9m8+7K3|#G0RLZ9eI16 zA;`?mH`b&H)~J{`WJ$JLm5L5_N(<&OlahUTtcxCoTU znoa#zx`B~tHIb64TGb1#daL8s$|JXT4;g`dxWBnXqs$XW-qn*c0ppuYlmUw*eze|P z4&ubvv~zu*K616f&fT1bfU&clYA^Hy?zpr}t#t=vqSp5vR9Buqnt-pm0%~4ANMiib zznZcZ!==Ki1OjS^@^k0By#D^9={z%-ZF4RWq_`IBx8V|o!(u;J`oSs0JLGhk5KJ_G zZx@9vt}n$FJiz1Ww#U_)vhat%yA-SU4E{T1zmj}^(D_8%NxdOD9rUj|QOhx#`x9?Y zW>`hYj+t=rua-3nZySJ;GmMU4sD5SHsTwa)qhFl01dcv(t0sFQ|JCkux4SBC{%X=a zjYrZc9Q&cLMc5a#1MJUkrQ3#eVRdg0ddv4@;`+~hp-VU>_|k*k421>gb~_EQ)&Yg` zN%pznaFa8uI3g_l4Ci&V8sSKbPEXCh@~&t}#r>{!rFIj1qmh6C*?g_!Tt{!Te>?C2 zLP40UsWmQ-wWHtC{q-h@?I~Z-pmv6~2<_oVqZghWWA`*G1E%Z&3=$zCz0Rjdly2!A zk34^bx{Ea$l+;{uZbCr)=mg=&ku9uvfU$A(r!DKT@l7xrL?ssCzeas%WJLd9O9HRV zoa0oboZKpwXYT=;azZ;=))n1ioQiX7O~a+GONN0Mf3uMD(AuG5<<@uR|Z){>NHl1bSvb@I<1#=4)7PKu20HhZ^< z?tKVj3lzT%Xd4y_3VJnSInRXRZZo0jZRrLCn7_SJY$d7?N3@*VrS>QbTuQ~v-h`w4 znsebu@wYl^W^qPZB_zNQRn$CQh;pmWK5jg2&`1CiosYkEhq_Opz$TC(c#Eu3U6RLq z2<<*YMd2GWgH=}~&SLT2?G%4QtIlI#NjlG@(~*{@bU{cC{FsAzDIldEU+VqJBByve zW{ph(Lzy=JV1wtd)cy5Ju21t?3>9uY`pH6!Fj5bI#!g~QoFh?)K2DEkHOE1!lGT0E z2nYn^xZz+5F2yOT>~{5#qVx zu5ZF=vYou`g^1PCTk}Pz4-}boC5| z>H;=6u{bsN6-?;E@Grmn=f(4uReDnUFa8d|{A^oOw^tYwBmYITB%wQ-vaA{7Zt7&$ zfg%sAu08XTQgL&f7kK7;BUNLSv?{dI&4wOWOZof2$Qq~aXZdu)wh-%{1Dc^{79uET zl{ATbKa+#R08{b=1S%m`B--5p-W(HES9!*r_j#(*W1-U@Ct^l$%JRV#$Y;NvuQw=w zU+5&bBxP|c{^7J>&o1mwHh2MrTkcYt2n87MQa?8vQy{5^)gIRIE`W3a3rZ^j&x%(YSGJh`5(wI67%Q+l<2k zRrzkqTmtGnE&X}mQ*YY6qP>p*Eu;%0pb z`IsKlz$q_3YhTuaHO;QwXbCkB1s~vDa6-9;wu)x@$2n^i6hv$?M5pKO{5D46gt;R4!69itiz^C1G7Ks1=JZU9OlV%}4spWv<-PE0 zMPCBUK>`vuaUE3*da#+Jbc#;wh2!jI z|9!r}&7)d^q0tbNtcKm2*Ey6&@*%$Y2-J;Rgs2-j#N~UUbH5u9bq6lQTP-KGkhos=~)epoQofK3}PgSOXC8udejwc=6E61Q`A^M7} zuk%dC2m0jmzwp@2Fr`BLd!6khX;~fertV9kF#=_zP8J<~Nx?x+c=?S_-;yRRqX7ZM zPQa9UGkfQdKxcqm3DMC07n8!pslGNpo)l7rlj`aQM$e8w7j8jQ?R8?ZXDfn`s_-8X zMkqAiAHBM9@*NtN^M~qzte0z;`-d;kGubB?dUFQ(7|dW(7{0&pjP6r|503qx<{tu9 zVbx$q`sX5dk!R%XqQ_@f*r1NsXu#F73Jx$s=x!qfMFs%YOm=^R>{`Hx-q9Gj5xs9c zGxbzQi&Pbq;+#pVFDghr$Raym6X_nKrE)`pQ$)IL7Aod=oZh>CgB{qxu%9L;cpqU- z9S0w3;&BL__Gk^4UBd7Wo$r4L2>2lv6e7cg0%ZLgM48S{ubk1kq&hKZ@3GE3Fnu|G z8>WMlnfn0*Kny`-?>7Oh z`{Q{_Xv%R#j}$Z|+fCxlA9~UqfU1T@DmV=I;Z7H3kqORCh)Vq0EGV z$pEyUu1vkkz;JB-d9o1o;kp&8u-x6sHJPTCTv~KxED90B{y~xv6^w4+rR_}w8}@`_ ziY_3--STtzmS>83t4j}pKCv=sFs8!Tu7p{}71@QONI7n^17@7FAnXtbnX+9a2uc*s zy*WzFvhbO0AS%VDC`n>Zo9yMspVify{Nh5wua2iLl-;Wm%U9$*5dmESJ{Js$f32RO z^_YX*k(`|MxD835(LA^?|F8lF?y)pw0sx@#NNV0w%rZZkyRP|Wy1T)dU7jep_#@TgXOF+S@ro9iO?;jk;@*XOg6HSu_4>($7I$4r$5dT0LWx5? z>+qf%sT&!o)&uBDEgBB8@ z65?X4f9HXLggxE*4boK8c2a`H9R32>|J)zwKi`ze=l#t>w-Yjm+ah7Web&K{EllE- zt&EkdU#3HK>~C5FmRc){3$7?H0sf~w=SYT*AyN$#HlCa-*I{W`OKBl1adwvf=z${{ zM2x#!*t||_=}*4!&GEF%_N*5)&~gbx94WQ(O@58tFQZ>dTaoeBGE@hMlVUnX6cfNO{@MJkz;py zdys&9bKW_q{PyZ#bWEIMEPFlFPv@Y_9Kql9-R$^ng z|KpWedhom$Bs`zUjWsHovojlDvG^3{KZ*1K?>dZz-)5A(?s_eC zT4*kUM-XvdDJD9VXGf)}VwE>jeb+^MiKKF`KFKzw)R444FT+z7$FQcX7}x!175YnO z2t09(qG808>i&tVK6Jfjwa70Sf7MNeH$AxpADNU}L%IN1rV<(7fJO~ap1d;Cv&G>v zwVaxBx!6keFPPTr?;y825O1LRvDm9w*(iPS&0NPRl@Yy!D5_5fyv0XFQ3;grE!qcb z=H*MRRxi~f75?S3B~b_)$!{M_R`N9&=+NkgHmdaNZv zNu9+r=mR$E4sn1Q;L(0o9)gQZCyGgxUHb)^AayB*e-YSgYNQG9KGgk*ZLI)S+Wa-M z9KjzFy;QblP@*x6+W8urq0lk}BQtj~1i-05W6{tMSwJjDW}9=oa0xdzL_za=<8K)D zsHqaq5XQihm1{I_RW6{pztH!uPXpoXd@qG>$?|Qno`&((2AHK0Pe+l9>E6U$4XfpQA8<@2$ zZ7^zW#<)FHySjV+;0Y3YLruzyx$i1B!I*ZEHu>Sij_m-*tl+47Rr$~-;U1d1XQO!L z$5P+XW_MRe^|}6CR_}znQScW7gFe&jjvG52@ZAhK4eK;r#5g~ICZiJ5&Ra(jE{Xw; z2zf)?M4se0{#%yRm8~9It)%*9P~CL5HtRs2))KRSmjKxk#MPW2)wHbOw0OK-{%>Y8 zGf`OOQGEnp*8%+6npEgp-TxgaX^;^o1i|;m>V?$@;LTc|hY-%OkUv@`NfT`j!0=G<#5&!}wW+(ukP>i5y1b2DdM zp?{?MVICFHIU$X7%&h*2yVymY(q&G(&zqzfPf{w-L2+Rp5p;Sq+9w}u2BEy zMzGE$CF}=7J2sj#Ga!Yd`;_p^qDXw5t52B?3q^L{1|>!Bl>B!&y87EHANj(;eOJJ` zxe7F3Egxb-@#NSs=|kSFjpuFdywCX-jqVnSVaaR&JYhe>Y(ZhQex#N5J@x9(N(yYb z3A^xRlJL-UNcC}DMDV&{a0oG|`MlaFx4~0NnPE*e%o&;CwDXT~cRPkzKtz3OdT3Qi zlkddSAFQ=*U|)G6OEBp|Gj2^^WqeH=@d_tk5WaP|R|$D(C_;O`CH$j{$lhmfVtMx@ zGRX_Lc(z;n9Q;j)Ae8l#WC_Y*_w2;BZ)=To++m6bih2#cY8g6=f80;Vmi^|TnY03z zWb#H4ewhjgOHqB&uW13#Lz;xc!raK)$N$r!C&D*(qbR54Z5E@`ECd(mF9Yh4#TN}w zb)knF+aUV;rZTBR-a->{Tzq0JsNhtNQSoXSKmvk*MO3u67^-H29lY#iQ#NOrUHKM@)G=k4(U$d@=rz7&$F` zT{XfnR8Sp0Vn+7|7w#8yso^&=D~moKsC7I$rtL1G`RmhTtnVR@9g9_3Q!UkMVi$FS zy@UX#4&l{Jb!54*Ob(Iq$92ma`LbPJb*@TQh44+ zF7&}DFC7yF{M2D``pc}zGbb~5*e6oVF^TFv3Il_HC#8-)8*_Fj4<=l7edn(26&Yf#Lpn&vF&b!Id@vAu3bZC2_7*azthsPpgdBL&6!Zm@K3WeRIhE- z+c6v6iYqrY61%;k$&Ay>R%$M6V#Md>i^{E=vL_l157DF0L)oprWewXdZqk64W5VDu&?j z0b$i7YrRkg@g^x`3w6vOC-peXL1j3I$LDttl~q&=k5Wq`9rpyya`P1|74Sq+%nDHF z9T4_)pG0_Ts9))TWbttUxgaVntXw@k>ju-Ky95Xa#BG2{Z)S#})3_Wq$E)&GV-?-A zK$x;$GV_II?E!BH@z~$&!5qFW$NB~>C(urH!XJq)IBq=p_DU$CHn!`1U>=`zY54a! zJbDL;?Lelz-O8DOp)3XMML>o{`)^j?(Ob50Lxj*ymbYC%%BEA}1sV8WbW9MhXCrI3 zJ4d|)fB)ODzz;|h!W0`-TgRNA=gIK6H?Ir-Whvr{O_vK=e)kcji*z zA_rw!)Dx2Eopep}Tz`+o8P`{>nUmNO*|w?xBMr8Z%CtTUCdK~3_`N>iABytFzhKQ)I zvue^6OlJOxd5QtE@By9gvSHdG-~RBsFCzv-R`V@bE{7MT5uNw3=>kI>VKn zBiAJa%W>#ZXrVqaPgF++9KUNSZw;N5qpD#!WsEzZ?#eG|SCX(BlOGNx1DHabMSmPS z^M>NLX+^@f|3?aqL8gxyaQJ7-pjjI(zs6ten-%e->!5s^DH|c?k2oTJ2&n4he>uE9Y{OgiMbamqHL`W z6c5FquhB3<5Y4jGvuFLjTslqaLIg91YlATCl5Of$vKTDBx@(o3tRplxs$12*(Sj;< z6ED~1JI5&ML}XzlTll&(dnUvKc<}bfcR4@qoyU-Mb4lpdC9H4|-I;Tu%d@oVnfqj3F;4C6gK$?gFsBYL zRM^BaX^2e6Z$uBTrS(s~-3I>-^QIAKSa_BCaDE*%l;Q&Yn&4=+9JTEcypsA=Sqz9k zdW(cfpm`cF&96(t{Es2&Tjzaa&e>tGUd=q0gnJds4+zQIdt_u}hrR~13ZyK+dEr~y zSF`aY%>ZperuV5gL*hyaT6%k(Ea<}zr^kC-zCZG|tspX%K)Ysx95dWYJSHBdOudh~ zfFjMG+O&nMKICn943I8fe*G6or{xRt_%g^zG4JiLzdBAwEmMR$uxtBZb@yVZs1=2q%Ip3Q-6p>Sw zifOFzt(;}iN}i@=wEzU5+BQW0(tqicedyThZO>Kc1P$y&qLwWZZt~U> zX7zt}SljL}u_738Mdhy%&PBnCGteH6Y44BeD*~bW>QRP4FAL%bhC${4g*N?`3kg2A zVY^)-A}u;^N(e38&(p6~Ava>8cBVszZRTvlvoZLh)KU9qRJ@_P!#M(_p7OMYG7P`Y&sI>;7(xizCpz0 z`sWN#b=&3<^BGd{SsW7NxWyOw0tpEYptlBxTE{c-yy%SvAlMxCLJyBU|2FodB2&h( z&r)gaA20hn`K3IxT~44mxum``NnQXHj`$${wr4dB+Tj8j*y0DoLF^-LG%UzW$^MN~ zt!S@RlZ+oB+}e4z2}AU8hH)1e2+&PK*s@*^6=Gqi*QZ82j={B5NpaSjOMn9>_I=D1 zC=bKV384QZ9c6QK3foeR){8Kz?EHd}!5qnhb8>cwHI4cK=>Ou-sj)=2Z!_?@>*o1IMcks)SQ*(=Nf^8CwApE!2q+41`5yvR-vjM)fY#>;z81D(aDELwn4P~#`2{!R3Ov_}d+2t#p(4cdo>6HFMR^#;wb zsEh0|&vnsTKCHIDd&GO&>_vCf-L)vmI95fYVY(h{f~hNG%%Z_uB&hIJjcd#Ir9OD` zEdE&kna>LXtPvp&Y)Vn5ujP(4IY7{ZniN!~CLU>46Lu2Xm+hxar{Q|Yn<+pZ|2+>@{C6eiucob|s~~}Y=Y+m@!g=aRoay57 zIPohukj|&zc+sPT#v^{lwGYCFViO|P0f0-^- zS`Y`Dxwsk3v0vA5;BBQlt8aD&IHO-$=k1&oN2;fs_Yn3_;{9o$YHd`?SPZMM>rf-G zk@Y)!`U7M`JrwbR@B{aFa)-ukycG-iX+Oh_%$zlEN*WKvRFJ}&1hc=nDatta3 zkX(4c{E>C004a!la9x^edldXj#_S?Wt&04NA#tm&J$5E~E_H(U(lKv2?<@tuE|m;R zByAcK>KXCrY^o9miLOx*gQRr1M&?WypSDv|_=7)P$MWicNcH6S+^Bt6i@FQD&yk7QFIm9G}Bwd6g?-{v~VY z_YihfTv*G7)s0wt458=%1Qu=|yPg5SN78OSy?~89W5G#c;b5EUma28qrc0Xd@K+91 z-Qw%SRgQ~l!Z9%8K*F+ud9Z}~7MMlvy_$3a*gBRYecnRT|5EO0NXC0eeUzgsFn28- zc$#B}qa5>lt|p3EC++-`_0gUZQSSOAhb-67@>dl(h~=mG?Gvl zK@K^HecH!q$x!=A4_*dAvy6I&00&34yCuQ$Dn@;{J=4Y}%tOO4&`g5qax*caQi#Mc zUO`2y1EbL;4z8lsN=4RtbR;geV>P8Wqs4PvAwq8tU-b9 zlQ&3*&{bb9;(PR13Ks`XRN@J^2RWqW0B6%WE7oGnnp+^w(A9umW~4OzvyD=|vJMV#$OlNXvI&g* z6_d%)lXj3rgkt%XHQ)sUzUf+Q1(C(`EZOElo7_WjIJ~l}9cM+00^w|=eY<955edo?T5bygy}>O~ znKPGnJ~k193rY3%>6`<|MlC7ce_L5Rj`s3iC)aeck{NpKW3}oAIC%T12@a z6VgXAN&)T<|oJNH;pVh7#jSUhtc z#OCsw_AqCRpdf<19v8tG>>HQYam&Eifw6VJh;!J#Dx{k4@|ZCdPo%J}3n#VYHfH6) z-L9ex40U~rmZ}19kX_Kiq4AM4PvyYDn^5UOO`P^77z1)|;b7yuQGIYIARBX*9Uf#v zk#gfyoB#bg(kpa*3!F$BAM8qB3FMPk5RgeB=nb&S+AwCouxboNMesb zRV&fgf>tTH2|KYZqhD*TL=_mFNGT)qwUO*gdAT^(JF^2$?KW}pfnqOOq~|s>>rGAJ z+=w4{PRGY%J%psvR6|9}_D{wyjasSmAC{r&&xE#ZRX;R8K!+I#r}WeLg>B#jU_T?I|#hba&^Yp3Yj?WW^FE*eUdGcOeU$Yq52`JBpG|HlQegGNXnC`|GT zof*C5JwwZTyh2E&+&xDWI}BfY@^VHhzJ3>zA_>qq%{oSr5?RCEuMjt5eea~;BL?=rG1 z1i57ViT)M9fNyb9hDgB#PK86F15sWfAX@M(Aoh}hSh0}k zE&q7;FCcZ&Ke!hT$p8k_OZ^8)qadHafbr@7AYClvBN(th>!0pF*wAtq4=Dx)O#l6l zJETHNwFD+Xu7d%87XIt{kCT7{QA;5){u4E{XktlX?gI5=5YlTCJM0eX5r2wKnrjCD7?pcFu$ z`DukKO%Pn`u{%3>o?ahI^{O&v_5aFetFMX`%2&LfS6F(6{g6$Au|m(`eK|*)R3K|$ zFj0U#sSTyA$m>UU!1RzHYaOIbg@MF3w?s4HRq6##_LF8ylSvPu)-Gj7Buw`p1BArM zVxY53=of^B(N3XRu)z~1(oh>?&&*ADDijnS&VY7RI`OO34zLKo%i!dH@J7|)!N4VJ zQ&G6-n}&e~CsAsGcdJDY@a^cVFgTB-I8ixkT971%$2IUHP?+dI>G3d_;x|__M>hD^X>b1D-YpV_DE>Jxd^gL@*;FiZU!XMES#WJ&=kO# z;d}{vM`BQB(BYooU)ZwqsoURaf8(_uoBfUg{`8S_V4=L!h$ zw!TQWo>FHA<&bXI16&#rZ4?jW8*ubGEE}GK9GxB2RRmr5Dk#nh!RsEph!3(_hQKN7 zm?FPzxD6=~yz!vQ#krb+!d^$6LFlG6G7na)h04m=qV!-O%fRtaan~X(%ABbG ze(}&{us0$OcNRD|iGP|~@51_;yIZcl+ zXsVVq1f^e8wp)y`<#-M(#?wOFGiJolp68aU#+(#!OuVQD^dS~sP~*P941aav?t^k# zD;lqp{1%T)1+Z;7gDTr}db+w%>4Ig9LqlJ>@4ruZ-%De&(%ok^1ZetPTe7+RS%d?k zKi3IxDESRHNN8u4Asa%r?_P2?(#M|r4DjhI+wDCzLctMT8^L|1@m}{oGUOk<7YkEQ z8S{+SzKIIrKq+TWu~?&*`P(x7(2)1F;e6b8KEsa;1+Z0;p8Z=7Lk!aLF@HXDxJGvL z_$VEUkG7&eB3pi5N{k>vF+d0q*0*CV$s7Om-l5A6ZIM<|pT+LvQb?zcZsndi+Ts>) z$>plLV@ydZ_sP@bRZwAt_;2nRGAaAY9F|U!&-OSGQ`rn?Gg2^~q|R*=|FAINmJv@E zh%6KW(x$HPAf1sRk;YJD&p~a#u7bo{VOLszUOb$#h4Vo1IaILkZK5tY#{?My>EdSW zaj<{AXwsi1TM43#Gtun2F851zxLZt2Fr5~eRD>(^D$mC6b^6maWJp|oA9J(lC7V&@VHP4gn0RKdw zM`~pt6XXM3?ghjixBIAJRjBUqqy-H{X$r_=d|Gsz^+KXPqD?{*eDFv~=$L{fs;BY; z3LhJ#a1=`W%F2nSlQ0&Z88tJzF1T767t8V(wn_| z^7OI_$aT>)HL|p~vuC%`4k&VOltE7K{H+fgqeJfGbqTMMVfFp0V_r$l!_O4}DI_@9 zbMm1@mr{TXG1a)A(4=s+Fox$t?SRG21G%%CHV9=|d%kAd%IoX#B!vL40N|d0LO{^6 z(@3l}>iP{x`r-gd*QG0RY0i+}OqP_mYtFFGlw6#mizw%vKvYb9s^gPuSOh%Pc+=yP z6)xgFoiydjD)ROLZZY1E@)-e2B;Ty~awdc}l;&)@bc=r^G3OLF47=qD6(PUYYj2bw zKTE#V(#UlQTWj6q?#)5u`aVBCYqK{#GHPZo$Ge_=ZX(wguI2BQ zRz%-iLvA5ZxU!t)h6!U5}ERpa`P5B{X`2L;d~R0ju2-s!-V?Cv0q) z7aftN4|z0A0kRF^K0j$1Xg@saE+2b$ALUWL?lz6jTt};?{SajE3vF*fV@d}>6f(d; z6o`n@VwlY@h^geS5xozwd1aBo*?A!R3tj{=j_$KIsG--m=mAH@4-Lbo?Oy2tipQ^; z<^~K$DM&PWBr&gS-H-%UgKqWqWUU$~{sA9nJBR%7I|-kG^gMooQkvr^+HOiMD; zHl6nGT!ZXxUaAB{V!Bmriw*?gqlRya5onML*g&5|L-2G6i&%r%`hLgY1qrJPk&nC0 z$BG8@e*sGoz~g;w_fv>bm&V{6gK{=V_=Cer*BI;h|JIo(41V6etIqoa)0dLN_?`Ms}1~KbkNgw6fk^t1Y)AqlVu3Zx9a@}7k0Y3Vb_v^?% z&SuEi4s=Abm#7T3czyqNpMRTnY`FV-IQuKS5hK*UG{Mw5eP9KPevXgyv0ft;?J6>M z+CW)DFpHiRUC@C+#86LD*IbLup(71y@*Xd)SImdB5FzE_@>~oJ)OxZitQ>PqU|I!mVL{b^q$2H>Fe^$&1}!Euc_>b3`rigW zda4RuP92Ajr>8}GD)vo43E}TvYv^F#&0o)=ea5wy<6M_f_V>88RTnZ}%P<%1x67Gy z!v;&0Hcl0D{@zMDq#9LE8-Cv%fz);5{Q>-9N7~uzjpgha9)|OqdVQ8* z7nij}Lz6$QUP)FwQH1-GU+VN!gUdaI`L#*jW$|ZDf}Z=qGIYyU<;grGyC;< z$L|B?6yd79;sAL{E{5z~uJzWY?j|E4$&Ac=P@PO6b>$3R(p=krFNjNqqmQWv!yG`> zrUHeG0w+c0)Bm*c7JBl7ye)XRVIrMUi0Efcl0=2$5@z?4I+m&+Xm6gX8pV`^WB_i` z{`)NWUzVq!Hl>AB%H0-NayvO5Pxav*#^puGq4!@YL!n5VQ}5OC!Q27?+V9c?5X-B- zD_ycr14L$TjK2wgG-f^2YF96v2%G@)sFP=)<(3C8-vUx$=&g4b_a+H;x+SylW!efa z8if?C8_d=&oUragg7OYVMwz5-edBa%PSz3HxWr$?nk`{it4PjFWE`he&KG@RNQb(D zR3;KG+02`*${y!BCKFCb7C>m~NteyUJ$wT)nG@D8+z@mJv8qhH)PaO8g8YChTKe>1K^`kG_F1j%7TvriOn|m!Tyd2P(expov)TFNIdrT;{2RVgxN38^o zQ-{7>o#$Wy3(P`wkxgt~sq_Itq*tCsvyE*Sg&wdPlA)CAq2tsPAy+Y>TtLF>L~)O( zZtvB9ibauEpIws{!@iBU2Ws|xhv;n5&r(}QE}d_+Ol;$d7}dWMl-pa*u#%I05;0Y+ z{%0iP>a*dWhIgpF(;qUXM=E_G(#J+&SUc!(q3I96MB?0x^r;z z&yDQU`qgC1DQeGGIHv0uX+O+b@M-zC3+90&twF}EpxEt97W}U{M3UWy9D-Kk+neS4 z+b>!xr*<)lY*Vv7_dLR>p>6!v?t%XKsoJ1$^0nYD;h^rf!fuT09+AhEDHU-mn6c!j znIMk@aHEU4ZO1vlQ2|))#P;{jFC1hEm?Esi<@j^jjU}yK>m*|^Yql?Fr?05E+Qlib zs~r~nyI%H>hm`hIuU_hD;H%Y#q)vaNbxZT3!{UlTHFAeuE}F-<4>$fgA(_8V8bIfL z`}T2Wj82zy*uy$((?2_OulE|uj3yF_nkufJGb_~Bn0*J(MZYG!)H69ZB2mTo&pF~QGo$&t zwE!x&qi)lpO&K9Z=>50}uNAL&QAM2Ds8bW%%B)daoVHV$wo?<1{j;&}O32Zev&()0 zKXYleEZY{qBwJ_^g~w68M!m#0n#pIQ>$*g3uSrk(!z>G*&)A=D#Fo(9K0U<_W@}o# z7}QD%hBGDck)~gx-N`f*DdvP{S-b>nC2q&gEXGq1%8~xx#pO9JsI|u(d;0WCm@z7; z)u%vv`q)XBA*!L3ClPzP$Vr$1s_>Nu5q&E)L9jYN94VI|$}+7+yhx>4q$2WwyTc+m z3OAaakzv(*IbKj}qRBg&eU8y0%m7`u_M?dYu>vnxT`cJpz24aYtu%>)`Bc|{&avVu za^3bSkmEd?H>{XB4S>i#seb6c<@#Y`!n3!B`ejB&Bc4VMCXKWCb1s?FRI^fVSo3_V#k&wT3c^c4try0>t&?Du zr(h2?gq)A4j%O}mW;fEVK{H3U>Mr(^c&GwH0ti|JiVnuh20Yn@41(rhW#MFDVFfzv zKob0)B>#)|!(n5CW0taUadjhMH<#)ibO1-FjV*~Zv@tc1{#Bj<&oC+BtxdNXy@2*lG zU8LHJ9-0|uWi*Q%u04l|{@zd^v^2VWdI=s^9E;hYg05V;IP*Bn@j@R|pIi{WXsad^ zSCSKaH~{SeqR_fB3MICG2!#|kur>{5(0M;{CU~-_Pyz?;Dy}zteRXls-W!CvTs!`mC1B9I^|axCG5Cyyhi&9F~#<6f=4pJaxIicQCbOUBMIVre&4 zD5o@Ab7|_4G!YC_#Br9-@vsf5fIUoNGNIZDtlEjGm8)z>OT?9!8DmpG^97VWSG4b^ z%*EH#NE*JBcL2bQ=!X52PxM`KvA});y8i+WFic>v4!_N|F@#BiUtS!KE1JtHo?!3C z0j+4r*TNfHqJ=+(Zk-U~-Qu$<8SqrdIPoF^R1mh3k@7N9ql(>p!50bT)Q7 zDpwrfk)iiD9KP!rT_AALw>Td?e|y>)VQGNM5q5CvG?kCnTpuj+-bIc!y_VdeyyAxr zjoWJ{9pJc+@lLjEE{Hnb2<(-dx&#&OI3??eAb-MPgH5Z&hhe~W)L~E;q(i_g1Ntbv zC9IVQs8-^~W^^r6!1R(T5>ZMIArO=%`Y{FJ`WFa(40MoB;<(3>Hwz-;TtDn~5r=8p zcyu0UA# zU9$=PudpkNW;0=+2$k4sDQbzOS`?8LQEM!*FV)1_pzYW)6Vy^`#ULG}+d*}SR_v{% zQ@d&Hrf5|q27IKP4qhs|gwXOML%>#Nrxg_A zhd0HJn?_WQoXfs$4bNGb)imW?hHT|7Hb}aaErOEn2Opm&J~oXU4_oTIxNOwFp3u#M zk=+e*HTf=dmx7-~Hs^TR(+1uoc+lVm)EBurH=Flr>gzW$I6;Xz&bjljk^PJr2iZD% zl@m{9`$fkK z+wmtsqDJRoTfcUyk}-7ghfj4UZs}l%KsKp1`{}O^)9#9k9a&c^>E{l&Y6l*Fp$=iDr4$<2#@u-Ri54SZbzy*oi}MM!OiO-^bYl=K$+fK7Wl8+uYdiT3C;9Q zdhQ%@dAbwbEY7KzNs=_*pGv6v0b8!4v^|Bb)*HkWj`Dx~WjBFC$=0!tfiF&8*gh0$ z+Yi`!2R{to@4|vDg5W8W{v?>j>UPi`t^4!Ugy`#o67-P%jvuWX>^*nkofa8k??Zme zo4CY(gAV;bk1KSFiXn->FN7rqsbP#UB5*G?KcpI34S6JbL`1|KiAXhsnuiG7Av`$Z zh@t*vHfnyRRyYG30*gi%SleLGC)GkChHs)dy1`Fkxm;M5@6pf9V{qA-2-W{KDcvn{L}&~dbv&-DpHY>RjEu!jSj7NepHW-2lGx4 z4W2oyrC!Tvk{c~zGoCPNgvCR%S(;%=I2k~?0RjXw)5h+47E^>Mp`g&dut}USK*rQ` z=^>OT;s6qGMF>+sz z@EB~6cg{q1Ikj++`GlIsZVs0hL*x;dEawBk_%+Q>)nDwt7kD^*yWe9zjH}`5>7)m`CPnllq@* z6-8%bf+7Jc7n8ejbxS|78zZ9s@R>vh&z5w=h(cncj&@JqXUn}h7W?bN#4{E>wXRkq zlQu~`zN%Eu0$BDkpVLZKVU$lu5%oD9zAWXfb=x(gmDL?c|5zR=?cjA9QmmW#=TOK7 zUp_Wm=x0_xT{oii{e6^e=pEXulo>(_*>t|;?YLk3j+3i{Zj?z>>1&*GSV)c2qb@~F8+R^36#_8#(90=KFqJGKL*?{u z*Hi4|mpc6s;JghyQ_$Bkofe@oJ~(K}qJVe|(0hTCr<;6tW&@^Mp~`&Gmh$&@W#wCy zOkh7!hy!OQqcrhP?1A`G3b_hj%$OT7w`R6mrt}WmFzu38!D0{D{>&0A@l;>z=%rHX zg}{mGeG-Y}T4ntzH*3X?@<#BXU~;eqhy84S=I9Qz6N3eP5HK%1&lw1OGbz6nUw*C! z7@AL&4&bwO4{rKoG3^y@_`Rx9q`ty}Kn%Oal_C;@n?Je}Dcj!?hz9vT@A?vJxMOYA zl^>$YI0Uxemu?rLcz#lpBe8@VZbmJueEZd`nP}jb@*PTq<#!M~*yLRcb0RyK)~-ry z^t+T?SSg`fU_`91jyzN)*4JP+Y#(oyRc0*EW&Bs1Tc+r1j%R1t*^u9-?c+CS8O^FL zExr%dJ~n22(~^F{aod^M%20YOW8O|*ds`1_H=G@akZDhJj+omsOg9PHboz}ZJ2cEL z?3g3>UJlW__CJ`{*057BerIoq7eGlcZ$(_`?L%nrD?IO4Q*zCK2; zKE~c##zv!15|f~3W?+Y-m|GfNgJb4oX+R4HO&chHL~p7AwSoJuqC*&lMPh+tlmpnA zyI2r2b8;~yHGonBr?oBZH%G9(Y7Lo*HldTVeL(}kv@e>GX)>|PEV70?j4Vd5NTUM9 z0B;;r^RZY{S#(__Z5E62?8@-WlzEfpe8`)F`O4y}^0erUH-*LR3Rc`Imz}TO!XXPF@ zF)|nf;)HOs*CkFlN7v#TzUfNaWe00jjxS%`PXFE=i7w6W`ely=PN429UyRO35j6Q= zW(i-=4(5`J`o2t3vya(R`cBoKsb>}haNHKb+ZKu9{(W$h9TA-Lw2VmTH4^jFtok1%`9-f}#;7$fCx zo!;8QIruJ~d{`X)D@OG;GSefZ7}tLQULyrFlOKy_UYztcyf&0jHGFVJP<#qb%uGAX zF2dT{3n@BF+%<%iHN0z{2fGSnj#i${dGZ`y6$=zcC0-Mp(XlN5GhSLBk(!M|Xsg=P zOl-5vXb%BC_yemjwv4;w3%N0tAa+S=zgLRTGn+l|Q6KmxI)ibrtB}{VVo$riLY5g?PdQx?Gvy z@muDQ_D=ABvD+$(Y;~M2UD#|X5s5bDdZVU=-aUCZE;r>$DcfQ{6oVUOB;VaIc6s!% zZfzT?mNLv1aD9z5vdREQWiCxX)^yynuJkP(Q>bf0T-|X~)$N`Oxgi_pEiX5VmW~pypE-Fn_e7xxJ;LGCHeQ9{g=9of-Wu< zrqM;)oEh3%mhSOuW2_=r^L#ni=&GAF>5&~8Vb@*s-)Th$eMJ)mOL?Wh%d0n~W-9uz zF1raV$&;xlHJ975qdoitui{vF3~=T!TW?>Rxuvw_O6!%MiQ0ou(YzjgeTGbRI{U+4 z-^%BqnfOl zp^&kz-(A#~5mgO~^E3%mnoJ)iuNm_?%gXeZ*{j{drYF$3rm2_E#ZPD6dBgyYf8Oz^ z8T0Bk-$T3kb_xmtsnVY5UT)2g&!25q zcLlQ;cV{Oguiv}1U$BO>->lzs-*7k`E~0%ZQKJ__*j%QN6?BHX={#Uu;tegTh@awP z$~kT`3oAOO3oSJ^Ys)vQeqqU-UD-lXfDOjbJnN^#PdSJR)d&Ln3qR4RGD_okA6 zrBz!e;*d`oUUC%x?X~?RiQWy4rf)(8Y}V=yRB)Wff$V8Mw`jgfZ=u;}6WEU-qtb>B z@`kxK`{}B+4jTj~YTE`JvP$P(b@w%A^k7N9nmLTxe)IVfu@yR;z;r1xR#m;}KrlW_ z6Fje7@UHjmdol07~;a|wo+JToCZ~!|~XBQ`cvF-m=_9j+v zEKEtDZ|F^O1bYZz%-l^3v=<1V>}mVppy*9>oOtk{EdSNIA~x`#Z2#4p@&@q#eWYE9 z_}_jDYkrTK^lXOFgyi{y{NF3$hz!Ie#0d1JsZ?x~|0#bi1t5SiaX0BVWg>zzb91G| zE?AqgXp!%&E4vapB95{^OqQM|Z-OQ|lZ;*!no8y3i z6W1_lX~h_GO8B_F&1y-!simtStMf(1>Uf~Kao`f{&CsvB3M|Uh`>Ry>dtewve+qS1 zV-)fqie79qGdJpRdJfb;xk6IRuw?=)m1d!S;_pQL;)8Gm?D2#EQW_v7Y*IQt#c-b# zzI4#Q7u%tx7O2yn9qQhMBO2LC1su0Y%P_MsI?HA-Qw7HW(R$dpbYva+_nP0Z7QZN# zUI%p|(||ZEUqm#d^v(?@qEn)-FMzb>AG>eI{ z6h1vLK8KMB%~5bIFdZt=2m*sxI<%SBEUCI*q`4TDgAuY`YYiyPUer%Qv;Jl>JHeEo zWyIbp6TEE6v0tA|+pK$^_iJqi3f+QTLrYKnEFX?;38{&ea-A~%_g;`uOUN2!fBZ(D z(TtgM!(USQCxn*NCAmBKkxH9Bl@-`SzmhfML|cSDlR)x;ex{CJmGW!qi=2n`zboV$ zs~SMzDG{}pE&GAP>Sh_;9?TivM?0u)*jspfrZJL_5RDz!lDA-Gy zTTL;}i$trMm(y>j>puIhNZ($q+YB7Pv2PiG-;H0#KD?U@`0R#qrRJB*D?J|jrRFxZ zy@NRel`x}j?x3m#jko^G06is&cZ+^?E9c$D2}9C(*6{SZ8>`_Kn`6=2g?&`i@zwHsl(%_iKh0aX zk}}$x%I=|E6Jn}Rb3E_sV9Z$DRQz z>qOzv?;V(SUbjf(2r9jkW#eoklhn4DlI=_445sKHlyJpLqr`|;lG}C8c-dwhM)tYr z)1m*0tl74z20yzxxtu32Uj&mB%=c}iool=--9)8D0Qp?7U~E~tnud2KZg0o=qx-p% z3QcJa+Gp!Ti&?qTG{uj@M(U6#jIW-z*DlIcaRHQF62@PJSQg9>ZI1T#S}D%1GgHJ$ z68Ulia8vp81d@`@ud>s@58L+}jh_nud5=uWyfByf>qPi?2C8&6!lv6=;_lAjIquXh zZp(|EvGhZTlpSBPJ0)Ql(Ei{k9x~rr@;w|Lq$dEgkNtAAK+r&YsX+|)N$ecyEgSnsEP?YPRxWHDj^y-xd|dMLn$vLFOfY-Z zPK3*D=9m0a(tZl0@rnBpHuwEG%=u}!838upU9NS5Nmd;QQw;F?5|h0KW_tx|_~g>p z)uu)vjwyWkeC%6s6V2kfqe+WNRhMhFpV;!@=H5pdI;KH^-p2 zxd(9}V%shX=cb!3oA&aC)m}LEYH44Or9wrk_z$*D9IPW?qnW8ikRN~(MdTBuH36@u zkFUHs&Y`Qswy7cP%HDD3VsbbAI(UnPJD{sM2K`C%8M@`X{4okpjJiCwTIVdDLZ0yAPnQyb z%!G1`!0qNkI#BZQmj2{BKXoYCAOWuZDaKi6R1YDvR_j_ybg!VemC?j)aXCiGf|Fl| zXrc@;=gLdy^`Z;6JJpk{){Z*HY#~f+Gf=9mca1kSKI){NrGN^9tBlyhCR3H7K&=>> z!lMZ_;iemz{&Z>)n)u>$s*R>nL^>c-@vF}74^O}au*i6|)?Fs}Je(X?83KP4S|DJy zks%gplAQxjcSbe6xg^*cw>W~qHv=z1SIN{6SEhU`rRJnbw?*ocl6Wl3@vvhtZogRi zLQSJc`JxK;`xm5FS#RA!S=m5x52R#FT zV5^F&(dY+X=Ax_N=tQp`F9-hRQ=XW`#CKyJX0PA z`OVRVJ1{28OC(6|@@!uiN!kd_%gv}KEMel$&-+8C-XSc5K7yV<02kHCwpewDkhzC2 zSn(BRR!YMfRg7tQR3OiCiBV4BYuM99mPpyTk-B}I@)3%UEsvJb4+c>Iqx0u`y?MCn z?fM?^NG?3fB9lTBcEli8FY}n72v;_1Ws`?wFQb{s@v4f z6P+5wM!MhOKFdg% zDGwxQCLFTZ#LD(p)C|E$Ey!rpW=9*Ow>fe<(wJJcIQ z2sMu&^j^-WyGf*hd!@DEdgW+f?A0+NMx)?f zv)}blYS?q&3Y{WwHgNu?4#sxk%mf`O=(?)07HU5^71;UmN&nVV73dlBSGs8`4(;b^IqH6{Ylc}pTA0N!^}Hyk zLhuH#0m%hLu1tgA>CsHYm<>7z!8de+WPQ3y}Eiv>Wb2!o)=LU z`RaM8@em}DUui%q zEQ8}MA3zzGyA+C}#u^Lg5QYpi=3&3b9zDQz0Ǥ~_|)ZZoxc-Zpj@=)wjhc6P(* z?Z`wewxn|%{#LQzbD(- zfO@_GHU%YYG3q!GIl|Zb6bCSv1<39l8c@~MGXUE6I}z0Bp)i57xISs69UfO_>cK5N zNj{va5x8n(M7#A6DDyTO+i`qyX8f@WsmWil&IFRucX}M1UJnA7@&bc+0*?;Lm)|ry3lK=0_#ldvZ~a~N8U|p( zmBDNs#UmYN02v-NsN7~S?@^fDP-zdK=JlBGjYmawSgfS`jO_sQf%4OQmjFkov`_t| zpkb)6eO2p~;^|Db1gwohqptqIh!AA+Q_)RDf?}gf29kUtl)mhaJQ0reMklbjw zbIha9b<1~e`-Q-nmk@PUpO9>O5Yzs%0qL2^N$g@3VkpV7LI+(oXhfu~Y}7LQRJvDJ zg?PA{G%jLgAJX|JvtuBhi=PYwxGs+^;<(MMq=aHs z%M0IYyS#rzE}u%QQHB^(mpfr15K>To;#E2pBqd5F4iHz&Hh?&u>$>m6xXxaLCtD%9C1x_PTTr)raK~Hb@}2YhSXaO{WroVKqm)dj*7lKx@#VWjBB3(dV!{&E>3q)c)^^3zc501HMJ31LuO33vEE5vxoXRb{PsLhd#FBbM<7IhRP73yG zPsn>+BZEY|6m@+~hSoojKnign&-*V;Xi1LLT$2i7y(Ka#16(U}VFq#!u|#qvucyqV zpKPieI++dvD80Mv6Ethbs=0FN1Oy4!L7^SA%O;$fK{XPg+5uO;Sfxw7kWQ_jo-}@XFa7S_P8sG!s+qG`)veNo)c&Z zCutosX%C~kahj6?g%O3E0;4Swp|a24jemJ8-V5PT96RcCJV|GOymWJ~PW!TR%C<~u zxcFDOLa$979*Ni=1JRNah9JUU^y$G!&1NBEAu``+4Z+MOJF>g2Vug5T=)DuNlU%u9 zy>@RXu`jtx#qMcEhH1r@`Z#n-EC&+&`KqgGD!af_kheByhfv_sKNpMU_3OGtHa{ew z6@Lt#>7K=kLU~B71odA=F!s>srBL@oQs$5)kj||_;zNxXfSR5p#*tU1G04dWMgwPc z{Sm()0Yl(yb7_0wuxmeD_*E&ItlLByTD=EGYq?R!AJ_JO_L2KyLdfSxn*Yha!sPOI zm79+4_GPQ{iY{hZKh`+X%~BFwoddL=F1WV8QyxB~rNu~XHG=oO-JjnV_JPg_D3?sT z{Vs<7?*uk4K;so`T@e5v-#mo(=^Sa9ZuuD%>i%ric=x#Zozm0i9qg-X~I z^bb|B1?FI`pEgRPrMz$aILFcG(0W(wY$zO&q}>GueuW=l-&X5wPtWT3{0s|tMTr`6 z#PO@2Q9JP$rBxo1Oluoh3M+CKSqn3{A>$Cw-zCGl^}EG8v-Z6#rXG?$*;i><$ROOS zUPBEq#+#Q$VZu3mPVDBj)`A9GYvdS)EK_E{0u9`!gKoqwMJRe-vDJ}8U3K@-QZP5s zX%@+z>$5@!;5B&&X@~#qeVc4{`+?H2q?k8&oVw_$N}4$tw+D}1hyS+R4G?_SscHgC zX*1YAJRw#%T5hd!W1$*YaDN1mRLmG*U4~~w_40FzRf`O7A$Na;#41{%etfNBtyL$l z1m0!tz)trO)xP3w7X@}re3tKZlHDG|N1P-?%HMbsyc8c8RCsSn0k7!x_IeTwUGb$R zK|#nY$y}LSVur#uEQ1$@h5PX=)6V##G}}9Z2AaQ#(mS+S#qTy&+)i`klCXM-_qmp7 z!$i_nx%J*zjXb|_zAfZBc^(I`D?nH{1;;OhKBCm%yj)^5!gBX_VEp0$#cyV zJi3UNoie?^PR|D-WDC*y{|D5uC7@z}v$C`Q56boE{4dHqqgA?v%KC#yot(%6+OA}* zay%08y9FG`qleguScrBqKHpu6@KC779TjLawaIt3&%WO;PfW80DK|eqFGj;O1wWI` z@kkbAtUEkCHY_|=LbfncWTGZ)2%oc%BdA-6h<17>JT@q0t7yX{(>n$lI;EC^x6ZGYUhg?^(_)H6{7Z-5u?ALlJ~r4pA((VQES{N{pCTxkB#k!UHR6;G zq0&uywrZKD6cwdK%1%ACp`%tnXQH@6=N+CY5v=zQDUs{# zqtQv7IH22*x0TL`ti1d4O%w^XICFgArSePT=$?tqnINMB!;)s4>st+Y+u9)&D-V>i zzeZ8SM4O?ST>f0ubkp;udTU(%b>-Wz^E+FB?rP|H`*tL4(Pq8vB0+QP%pB(&Da4)O zoqL`(HOG{b?pk02_x;2nFtY~4G?<8s1ST9UC4r%lbQ)g#FM=YM@Z5MS*b5r$uec;) z_%Grs(+W#^)6}J}+|g*DtDx(&4|~yhSx0G5E90ihKuSQ5`3>dXl;lbri09o`h=G=; zPp^5Gu9jn!HDtw>F15RO=H|66eASd&v;AB?*9B9 zLS2P3bfm?z8#%DBhbq^-nfO48k^QUME^>&*E>cyn^-~N9AL0=>*`TM5Ij){uLF=4o zZO1dW@nx}@*+QD+m8-4eGixl_*Cpo%d4*S&VQ}@Y!Jrhkg*p*ju{4i(fQVAZR5M8Z zN=ef6CQ&}n{Aj!^cdq9YQpY~&Iin3cNZEp^Ju77S#)5QXy2bTZ5l9()>Vt(hk&8gk z!1O?p)v5u7?Cmp<(eq~v@{7wY1pwz9bU1@ZSg{G$nF{xLwz$$k^Md@?)z(BHyvtYP zc`)xsu(l}X&GRp?|Lle-QBJ+07DAdsTLrD)Ws%DTn`_4X$npDX?j|MvFZmZ!nL$L# zqc;g+Imd`GcF@XTYcSpi#(963Gt+J6k*AJCvjtRM0rDLX>#AI?w3N4nk!>d{bTp$b zApMm*Ht~>mIV?I_nwO5zQlIC5j3*d*N!j?OC%)B8zkOLpw_1!Vy}KN z5~=|;%bBZ38WcrfvPrhQapMe3B=6p_8?x>ObiEHqOwdms#pf9|>$=z)(}Ze~5l+80 zvttT>&!7T3%B;ERqh%>gTW?3QA{va~L6o{6q&YmSLZobylPz(%KS(3N{OiJ$YyV3g z;ulXNq*vaWHm~d=;U!b@+5se%HF$zry8m#wACnmLQ5=f$K;YKD2%b5J`_PtSB^m^{Xg=%k!P&o=veakUYQ1g)t3Wn1?)X4#ekb?$_{G7dc!?o z5EdQ*8+pMo9EBxqXXGl7k~`8dUD9eF5#gm1hn0E)UUHp{4(^ue8C+tMg>751y7Mrh z3fod4afCrlN4NAoEu2=Ox9OZI(Ve-{Hai@kg=dDNoL3Myg_sN*oc2+)#2S_^QtvEy z3=VVd?K~7Q#eQuO(89uHrU;y)1~1O_dZg6laF)gZp=vyGC_QZt;dC@rzjmWeH!oG^8o@|8nZLbyaWW_F`78D`QH-&y6Spkt3UJ0x=1}Uq4F+I0uIZlY<)a#4)5V@uqe>~efTafOpAmQ=3D3gF`s z&#UN!tDka}ywYNb!I^p*(aA@x`~?N)St+mD!*VlPO#)OuJ1S5Nv3qLs(1}?md=9Fr zAEO6Ixj^27%*c|ngd<%X!kcuSIS-L?bfvZXI}C7+>*}NHG6qdSEBo;|Pf-JBRpLLh z9-;|i(KcyJ+j31b#`{fu2^Fk&hP#58^Zqn2x~L_D<^=YHPDXJ-mBxLMA&_GsPBNeD zGl6NU*&29~1}D!d`1gNT+d)4^V}<+i?+9T+Qj+^djML0hO%&!QtEE3(!!KMCIXe3; zLw;Y7qlGv_r_-@i+z{n_{M7}HhP0RHdn9G(Fx~kTVu>l<1dWiDXxTkOwu^BjYf{or z&`MyT-}LPz=E9EhdRI*uA*(;Y7VPT{=z5?Pp?Pp%m-Zga^}8NrW*vtpK%(aW?S4BP zZu3QpnW^2NPx3iO96z!%oM5MDA1{n~s5@PPVdx5SVg$__ME>O_a^(iPVvsX`I&fI~ zaKOt?AF*P4HW6lwtA#&}^li(KKd|*xhUr&FU^Xb}eO%+A{VoVNNnai@^5Cf(<4|q~ zkbAm=NW$E!pY*W7xH+=^Vi*xxIJgw2twKl|g|Z)5cJ%YPcaT;>-chVq0;2&!eda#)h+CMash-;2#Vx*i^lG+Az|}lFstt7i&X(i+!0x#(LlMo7i9nnlg*?o$Oz!HlC`&x+j}pohr?C=p#FCqdTo zTLQrs)u-Z)3bereQj*|bz5Atxy0w6RlFdLJPm#e9znxW2lh}w}f^|?m%!?}=Vibx! zo?5Zc?F}zJ2ie&%4`uoeQvnjm5i#e>LMl_YD$+*#9u|6S5pqOv^bb$a(|wUuzxz97 z2z1VYp|CO|!gcWu*$dibof;f`>e*F`Lv|dFXHn`x_M!8?f-Xo^70^s`!cwR};%)~N z@h0(uK^ZO^E^EwP5o7&}hfj7`@0G{77;#ee(3{vqwJ5_+(}He!p|CEhHtbTu7d81i zv3W6;BNU*J58~kg7DyHfY5WXxNqALELWxMc8{HiCz>IkJMiwqBG8DyUFW1A8Y!p2i z14l!RV@=v+bqqi2e7OnVaxR57NFqMz+E0A#ShWk0e$Ho~l8!8gf$5&dmvII1u7X-6 z3;p!4NnOX8z)+M3jFoRd-0x4lvVl}^&HExndKTb!ug5nBYM5{y6HFZ(E=-Z0=JYmp z44xsQ7$osEJV~|hbEIMGR8NZ`LAA}1{fJ(ifOCX;dzm8Q%y{VY;XKr{6L#a=m_yhd6^I@o4-%4YZLlX^s1BL2qO1 zaA&}NaLw=jk%8o@x7s;4Dsl4{P}dCKKQT-!@2aHS&Cdmx#ReiP7ecG#^csCwp)KHzU+cssZ_md~+6SRAJS z(w&6$L#YdtXQUQ9*@WyA6ri+F?b4Virvx5u)`3~5w@w{17Sd@v6~<&!Z+RaJgvgc&qU zyCRN=VS_=;A3Fk;*2R zivpu_a;A>wH$A|Pmo8TgB<$}-9;rm`wEL)`NqBNIJD-@cCVz&{G~C#j4vo(%(?xKy zxv&c|U&hEEt+Ai)xBX=x2-~1I&;P?xvHv$I0M5bnUsn~QJ(+mein%?jS>9b(NuJ5* zZ<1PT%9mtX*~xM(L)(gNftDCwAcZOA*7YOs0-31NmQxMk@39@_Jj?H&IBl6^haH9YK=S1OI>>l(AYy2%$aQ+jE`yJzzPPvz+9zg}RgdVp0apHbCL z#~Fv6esyot_QA(kxZk;L9yVsTSnk$G&RvVT{7N6Ub-b|=b=|6s8#6Z$U3=@1j`!N; zy4%Xt?R)(GZ^>;Xt4yPm$UE0+kA6_B8(_zNXaTgs|FI2k`zWLy?0xVw?5@a6gJQM6 z0&6p~%r=L_bG_n6sw^bhI&ZqlypW$wLe#tVvZ+HeC>|1zt=nSBjfp-7faj*BCJc7u zZG?6SL>!)pBI-*l7SJF1xnOqEPQxYxtMmN6NSPW-J^28ix@Q9m~=KWfsS(*(H_4 z5TM_c?Gv;kd7%Z;+TuUKMMF>Om>HKXu9NFqqD(PKHq7GK($y_{x1fj(E4QP5jA8u} zCG&GcL9#M;>Bkyi_@9{yem(43GKJr-X25KN5fZyu3%1`v+do`zhcAf(#@Uo|ir#;LDQ+LSN9ZHpJSh^D1T1_1cpk^bVZa)ewAjh8j zm|-2AO#W^H^~mL8@oqO-_A?y41N@>K{C+y#2hC0&(feAOPeMWoYI^#D?kpJ&=eAR0MoP<0 zAP#+Kdu(S!7)N^mB>nlU#`axys_g5{EOJF#fOZ`;49|xs;~y)zGEX-O4ba3~z4~e? ztbHs58T5BhHs?NBRbkU{KUJk!m%YGh)rwn5+a_FTUL|7vm#f1*a}$UYG37q%k0!5_C7Gvqf# zYvZ%ot)~kL_a|Kh92>fbec&tWTw6l&y^~vZQitO7IAR~4JOhSzG2u-=m3W64H_b%j zT6k}om{XNGQvybVMhST$7beL+_d~@aRYa(jP_ZC}qOhxgO@$Mau%8_5NR?q))EVFZ ze9knVvqv$A8O5mqeZRgvS%RuMJc_&n&jQ?JpeJDj%(Vv<+oh~uf`9}a;-o+i*6f~e zSu{4UL-Sl6ypn?2V3&E+vqaHHWKN%;I~Ar+^xC!A3MYB?uw?0cax{Nqe!7c}F@+LR zM^>yVl-Rkk&7i+bjBrXxp_sLZVAAV`wO( zf)jo$_b5Kr;0*ETkU;FY&x4UBQ{Y=DA&B~7=A7rFD!;xY<>=|}yw9WUrl>{g48T9DVv4lK7R^JbJEu^&6A% zS2a65u9B|c#5W1NOOfIUm0SYobMy8%r2K0xbw9UWF z2jgTi8WQ58RFZFl8`gj^YGzz%5z2r~r=HE>ly`+CvM|g$Fpor^I@iFb+JEYdtJ+4dCxyu?m5KIMdAj(n={p6_Ot1X- zmke3BG2rHH2U`RBY~`89DTIVntOz8!k1R)%hNcQ5Tn^PR$UlHTa3hybWZ2qT0)kwm zT4i1n0XPX60XceAnI~ri79<29-3JQ+{#+Z!3lB~k^`6#*#`nDT*i!sfNil$|zuR8s zZ4W(c3i`UqX$wXOL^rjbOD*?~TnVj;`cFWtW!AXH*J)gjn~Jh?c+8@<5KuVEELmfn z5BGJ6i3FrF@l3=WzVVS(_Uz=bDVO^f6Kfx*4bPE7JkXIdO-c9JaLQ8LCMJLzj z16sH}=zdbhbLpCUf(;~Z^Np%2{{)x&xqY!Y1mT5_hmsy}B^1LU#^55R?fG3yM^Jy| z7v}x#>C~wQ*DT6yHb|hWgIvC70of4cQu!6=op01&!r_N3ToJmNZid(Ydm8Z{#y>nY z=0h_`7Js=#LvbZiaCx`w7k*>rLC|G{BVdZ8> zJbVzqnwX;hECocmy9)}+phiN$%ykzk7l5*BP>kiZ(⪼c-@qp5|(;tCKwDcb^&Ea zgD9%RKt|=AcXzT!cicj)hc%jO&u1UOz@OYedt`;$A3v{u&~M~#6PLT*VB|2W4Rq;t znq_U6^vOZqAO##VSbcysCZs!!_L_0+^Ely-F92S&*ZAv8{`IEaf;mzb(9YWOcb*;( zWDJkAW*8GcycmV zFGjXp!`i_b@!u<29@#y&`lF4cXo%pbjWXWgE#6cPv4SPuesW^SU< z+7)+JPO0WcFrrHDAoz|1wmy;KEHB0%fhFUGjVe#>0qs+!^6sQaa&+>j#qT^-LUEIBW)D<2a@WUHU9sFtlY#*#Q!%C%g6V>aa2|& zcJBXd1!#cUvd&xolkb?K&!&x#jVG4UQ0S6g0caxC##B1h`{swH;|}>)z^WKr*C`ft zfd-OYm#X|HPLdD$_;G3G){fse_~9m!b9fnp!UQ!@wZhS!)FKR~OmgGwjx;5zfcj4!4`DfF8RcnJJLQ}AFq*yi zmweK3FDj8ok{f`hbLvD`JFr|N(&>kAOzq-EyYQ4UH-oKVMxp;q`m@f2Q~eC6+MWpv zfl#-q5pH$VQKn0sMf7gJ*kTy0dAp$1#|u5JI$EQM?lC5jX40Re@pw{ZSyD9=77?Q0 z>(x%=A1vMCRK{ISG+UY^TJ6}9IV~ySO{{-yy9#}7!4}9}0{*d_sdd3h3f%MD$Ah~WMkS77a<#oqVYEps zpm^GklT75Rlbb3E$H8Es&x*uZGHfga!EIPCHkdUQ)M~FpsvKXWtcy4qWoA;zkH}D% zy*4RLC`I^jcgk1hM6AhsaxRv}sZNC^UjVBH`1ie?TPd)CKJ)hR*&03ovJ zpX+D0)kMeI6e_1iAu@zoTpr+BgC<{5E_1@T_l2gJn9B@yN1jf(WdUL+`sqQ49uk4s z|6*480vt%@`tc_xxO=5;EO^B+fm<_HuxS2Y)DQ{5QBa6z{mU~qhRLIhw1wEmyjbc( zg*N>RkPR?qH0Du-nDzpz5vT~C|7JSHl>?J6zLZ6JJLRQPG*qr$d`l*;78o{IgXYmF zpX{&imaN|!^uD~YHlRpch&Rcd{$M-*WxAfx8ckx=pS(;+I+dPmYU-UL2I`vcbM937 zQ;={QXKy6foS-@fn}L(Yf+Kg2CAcQ0stNv+wAirEoP?d!GfE~;|Cm8Ix zpUnC(?ta}rZR8H8offCj*O@|k5eMHdEC|*Db<|)V7o0XqO%)4J`!I!5>yY`!LsgkK z9lirWa~`|%Fwhm%nz=AI15CN*LAd_>dzJUrhpYyd+owO9djk2FDu}N%1%0-f_e4I$ zh{2L11qdKfRbQFXrS<1c0E~}5!@NDbmG`rJyJk)=K42v|LbKCGLUP4vxAY)ZniU_N#$bT8IOklND&Qme0GqEjQCV(6&esn9 zQF|2q4A%SQ86cxdO4+wxwq{= zpOZ~H$9DSY3i2b`0R1Zzd7nzvAcd4@mF&i4zQWgW85sTyt6zn>)*GhfSxqRmtVY6j zgpa}bGnyIIb)PZIwBI3t#4+GsAtPkGC4gbmAz19X{$(Ua_s?^9Ah0(sKUJ~B92X8O zF)vxI0(O4e&i@$|r2ezQx!yS<#N7$9;3&25;Tj776@V1Z2U7AETY0wKm$BTA~XCk3|>*muG~`)XG{U)i#&L!$PnS@@^a+-6L)8 zti8m__TCHNfWpXF%D!|5;hrhjQLgL+0O zqzL!B_Gi#C^l+Djlej{W1iGB7+MU>HI4{^+uGGdG0}1)%K(6Xe8^kRTy}6?W(F~@9 zun2b^L$}iEix{VkqU>ts{nB#YUGG8m5h*dnb{f~1VS@v|RE(ZfRDH6AfFs_;clRzL z^bwgP#0U&><8T-lI${K;2+H1BXiwie3cAj?uI}EU`X`p%`R2SPV4+uirf`9Xu;0jL z@KUJFz_1I3Y1Ys|1n!VgdL|GxyC;!DM(qsCg#jtnJOkqEJDfbe8ed64)bpWt|Bk9O z{0hVJocDdI3rjaREX1Zb`wY*n{fbmWh~?hneXcipw$9A|>vBr3ukM`s!E<=pblxrd@i#8O*LuCbsoIkjEW28SRRvuMe zBL!3iDD5J-J_#hZ@6Hm7CxfaourfY~ zmPjk-j2g};!sJAkq7#STGo*fH+C)?^B0o7e+lmL9L5s-9h&o_hNN3sG+vt?#6uXsR zJO|+l3O?SgQg&?Ugh|?*qrzFgCGy&hrwOE?? z%TY?XVc2di=dYM69wokm7ogT1NJzrm+*z`QanBPMSt{pD5s@;dHU_GR7VAi6Zg>Mc z^Fm2~nWVoJ(eF&Ke`;qwQ+hFf`CCnH+_jFLA->c8F2{;XeOl3zKfC9tN$8IUw$ak< z+o^pFMx=-+($q$5xTLKEZ)f;Ebacs}q+cg$54wcGl>Ju=8Rm+9=oY~Mm@H3AUX}oD zCI1m>Hcr7I$Cn8&kJHG6cs9C#AQTYWwR|=TxG91(@>z7s!k-6Ko$7o!!9wLOKW<_x zwKfk}drj?K)^fT{*$L=tIG?Eo93$GRl&VvbnU_Ad0cJbSWyaduQyxv+SVFrWILMoO zay&*?nxIloTu&#QE)T|l{wiaRPOHqIMW0xDK6`dY8;TI%ATNEOg%eXxO;P+wheR$m zfu=Ib#jcdkY7nb-PR-PfY>exBYjYC5mPNCyc2MY`rQoR`T{h*Fn36AWOE*P;6bDI0 z{Bj>Elxb_=UJkOXL8v-)XhnMOHK@pu4OCPF#UAw1zr2@{Sj zpE#X`Hy-*gxLQ@4?L$=199Sx%EHXfLoO@K~&`{Y;`Ew+&T+bBv)e;oT%j8O} zUvII>*D=Mo`NG7pA3uPLv%J3u=9^elXH}P^R@1K;QLy{OXPlFw?3m~o4-KBEs!?C{ z8YpG@rhAfP&OTNViTslYSl10j@1ewA+KnzBB1*x_B@YAk7_p&BJ4pEW@qX9ITDP-R z{pY}2gGZ$$9WcraL9SuqX-PdSm-Cxo-fOG=f?nr!nEMgCN4J^S(kdeIt;aydR{u>G~~4xoh%m^;L$@Y`3_3mF*gQp^FR{ zZ1ej0A%a1^{f77ZmZnX*ex(BAW=$iBgQNwzYRD#KaiR3i*6mSi#zc6)47gS$syWGd zS|fLP#|!^yh8#mRq5OB-R$|AL>!cu6;|DZsn@*Dbn^dO=%+3|?rSV7vSdxk5W*eY^ znv?t!;{ecR(Q>C-=25vfm5_N$i1I z*0nuu20st4cWz@8s;mZP&KWLYr_b@sm)Uk-cYfvEvdE(>6y3qMQ0A4_$zg4-b3I+xS3#;1dSYg?UDjy^ovnmKw&;S%JPK|hRisGAn zD?qN*Y$tUd$jF;9&N>{onR=v5sb|$L^}J5&nz*kB{41v=;v!HT9t?xtijU#Dc{rHHU) zam5D^G;NOGX}5Nom+=}{@w`@;f8Xx`(KKn(WLV@|Z?^f7CDIwboeq0>GF}hwC|RaX z&&CA`Ky{+70ildd_^9ynyXlgTNE;voFB;Xz(VK~*FAJtf0>6GvZKT_60a1%ol(Yp_ z@;u+jlQqz1-I>t_oYQhGetAAU>(Kt%vOUQ2;P8>MxZ-u=l~zn@P}{{scmMSPdc0|6)lH8VGpu>mNT zwG9DIe>56N9i~|-M)!}SRF0BVgpojRKKdG5mJe0gENrn}j%6Nf$A8^_*llqBUPU7z z!aR;8EsnzsjY%Rx>eKSC;;(}hqbSU?7)`7j3l@rR~rWlLBt_q$ke}j*H@{Kj7-{8*6K9eCj6DrC ze_mLLfr>H`npDK2Twh;vYr0*n$2h8K%gxH&Q}maNLm`t6>l-o06<_{e+~>6XJM{9{+y|^D7dUPD>RcR4zBRjEc_O! zxLmKxdcpk%XC`iUrZVegQycCU{Ij-AM?gq}SyQp-v9a7}o9bz|Rf&h6;NDH!!sEyV3H>TE2!74AZ3^dkFED)1%#W+W<%(iHys2zR>3t)kjzSQj3nrI z(%SM1H;*j~x@F;q$O;PJY*wqX>&W9s>J|gvSo7dk8p{J!Y5W$>;)(hb8K8<4? z6qQp)zvOy*x6?UUB|W^}U5%Y4f9zj-4-tndf*qqQR4Grai>_?yqM`tj1Bmq_RMmN4 z>Y4jtIeDUv5Ga;jaE}It8@uJcb4Y4jtk+fPmb#7o@<+eD-L3&v3@+Ru2>F=ncD^5{ zDsX$wmUa2RjX8~<=exwPew-x-mpK~-lr)L)J}S)RE+j?K5uVa87is_}e|-$6A)a(9 zLmB%Aze2!W(3QzFvc^2Jr>|d~h+B%{!gha^0QZQ}o@gT^u(o%9hp*t3jZ>h5b-hK#@bfzuuCQ|sdE|xAn*5N5AB$C4 zZTr}u^nod`VH#zw2Zs7O(K&)^$opJ1OH+H3T*5&cYmLi=UD()#KkWS&iOD?lCj$=yM&Xal z{E^8C#xZzp%#ENi!IXI49!u@@f__>zW?MAG}z zPckSXm4dgDYr7L$=0B8pXatFA*4d^eXD0a*y>QbZ^@J}HhyF~Nix6@5@K6`NorLVeNXP=ar-PhjaTv%H}S&G=;4>;le0CELKO!~ z2Y2?)Vs8eLQn+58->jogn->7zE1SIvc%=~wwFf+LXc@=BfBTZMB()r>B?4bRG+iRJ zSO@VqxTOr-kj_7OmLoKnMR^xeR+fjh4q6mpXpwDA_2|g24nEsr)&ZXtuLbwnc&Jjh z-?E(hpjsl&>zT(*uVe2JYH&M=ScfaS+qLBa$fPjqu)lVCkVX&GVlp++I-%6L=c&4b7 zWFF71{F5m2JSha}fde`%C0kcg6}c?RGj4Mb$Ka(O{9{an9Wl*e1D3ySR`|2be`p5y z7Fo$Bdg)6s8mUZSYi9B2xp3@hofrfunWmxaxsb88v8{^%l6c+Bth-H7RohAH$b~CG zC8$V?e~PSYoabQhu|Q_vF+}{Xv!#RerZba=qBV0DY6N2&tG|T&dqve(O*2i0R#zTT zPp@Jkfm|O)`I(ZKa~*y!{O?U+3wr4-JsatgCf-Ndv)AabgpVjWIO&3jCHn}GTEb0}psD{5v?;5yi8q-0!JehQ) z2DR0mU>-S)du(V`QRC2e9E(vWd?(%Wo#a*D(N2p)-x1NPxj@P!Oi~ZSPcGo+!A(=m ztpVBr{^c1Rse>tvCE!889$m!6EH|cn#=zi(-{6mOF^B&&?wbT04%$3DRrgScLEf9Z<=&S)h0Wo$F~Q8y&|S(*95%em<6DZlWX?WIb6Pg`O$RL~r# z>s(ChUD1g2BYa-Iyny=g(Qv7co6!{kt=D>+1w!pN;?Js`a@> z;T|#{y%9N4M?|Wn7KvPu;->g21g$|8vbX!phw+6Yfv2D-LE`&@{ouP<>lJ_DYfF-c ziP(KVbWhITx!#p+YwWH-ci$>)fBC|<3zY(E=~1D3Trj}l!br)XWz-4F3~z|dvdo9x zf0eG%-TX}_Wx=YbCp%K+ziEN?en;u{VwJYrU#iGe`v(WuvHKJ|rq5?9x=*ZvjTg=x zeTii-Vfhc#bEaa^a7w*dJ&?%Z0sXe&U1mX&|_5GWF07!=$1PWztWOHcc^bfv4f1OZy{lTLELHFeoVTys}Q7JOGr#x-=_`HJp>Uy>uQ zHw|}u6e7k68Au@#JAWTR7$cA*9tbARg^2Hbbqz@Bd`p-)qI+vVBy}M;cNAmkLM)g( z)-I&LUabq6Enq2B@{B=4Bg29p*AyjkH4Q9e_Czls9lIwy%E2GSgqtGd4jpO*3*@_D zK##d%%Rn%oI7cJ{;TVZ6l}PO{UIBtfWXdN9Q(8R2DmzKKTz}A{f(cWBM7_@3Np%ze zkmkT|_CUyZ&Rud`1tv}&Q+T#S!MY)z6l*yOkYf^vEn+AVCnkO3M*^;k`;0SJ0T$fA}A ztAN}a4JyJQnl8V>lAWX3K%l@fAHv>UhN5DH=*_+x_kUC6U=4O1BokBf;@sRE*j#e- z^5xOwo9=`g&2?|O$v^)2FDwVkOMQmrUw^u~Iz9UG%g5+^tG)QJLf1{co?Xr6$2Vu^ zQ^-Ndzdu_nrt@n^M{oc1%i`PP#o1!od2KkFyq;Yzx|c7z$!qS%I?%mtG^I4$ct?%8 z;SQD&Ab;59BdEm3yF1vDYr|dPfXgvp{=VMz!Vbi~9`0aav~%8IA(QXtv-9KWqB{Zi z-@NW7Z>PU3x;t6C{qN0`%et5zVY%0f>Gk3k)~eGSP2NmzXP@Th(_3{o+Vr>S`^&Sh zX1{bNoG-Q12PmS7?`u27Y-e)}0S}Um{MGgK41Xh@sQV*Jbbod=?&<#QYO-46O#2^A zjz7Iy=>1(Z|P3y;3zDcav{tZ)Y8h;*0ak#kBwN@@#SY;q2q(`~}5#5N5=I8JKErt@kO>!}X3k zv48e8rN?=B{oVJ+!G*&y;suN#eB>%U`~X}j)aU6pq!-s7=j5kb$mFnm6d0Lc+ckJ8 zpMB3Tk|2>RPiSX;cKv?#@rN(uhZp;BLz5eEQ$ru2mXLf;$1bg>#boJSevp;Lhv{rS z{n)!+`ZVT)o+ZeNXF*8r8}|5y2U@4Y4uA4+xZCK2B7zg#Mh8dTd!K(BkGA5&5}wq! z>5SH$)`}N|OAkKWJxa_$9`J(Cb!bsG99j%}I<#oKGv7L-<7%Z(iS|(Y#O%WRp2LYTXhCpTx8S67$QIdaZ+^MC2x z)#ds69*J?qR#S?IzVg{@buGlM*xhPi9>?3&SiEYxu%|FA;<+X%dBY?{_BF{em}DKU zwif2}b{%4^gy9+wYPu48=4`3to_TIa1qQ44M#34iEw?Rek(1knZAIC7LeFvG{TFT!F%kgtTtneq;9 zUD70=#LKh{TuX?Di-w3-tj&<0^+nTbT$z$%_rpMcT|C?~Z9*WHs^u@18By!So+WWa zM6Kcfqc_x&J*zQ~l&)gCp-Ajmn0R>YSRUu;_QP!cZ!lC2nN=dfBWo_qp?{D|`P4U5 zbCoI76T9ul57TvbENQhE$_O>6L4TuSXzXQIJoQRW@I>x#fPyD&<_GCl6r`0fAa>JT7Gs`uy+~7ZR+DexK z{6Q;Q=^(nENz^tvFRY&YXMZ!xl~i?<#6H`m+NMpFeQhcq(x#BcAPD)pTvN+3IJK?0 z<}wIHsi{U(PrORlu&>oamJC1c;sYhl8eKx(;9cEH7Xy58`FsZPcp)>+|DGy^#(wI# zW|ZTG8D;+*Ga3mpht-Xb=*2_V-(Y7wTMA`U3Te;Hl;w%d^w{q4BY%$^`oc6a_BCY9 zPIyi!8Jnn(Y}k*w9Vf3|zSIdOug(|9a3{x;zrXp8zb`&47B{zloJ=k*7au;o>(6H& zCtsgkU0$4lZt~OZ@tbRJJB-m?kHa-%|2|Sg-_sNPl#LTe8c*;$~Eu}P%l!q z(|N3W%>(bb(e>Ry9vt)PwqHG#K19u2Hhp37`+9+)MlM5*T+*IiA@)ehGrRzEXhE80 z?`k}n_i_ru0nhUK;*mOHJB#9&N_wP@Q48V}1iUhyg6CHDVt;aR9^2$*KD(LSo?ZRn z-Q~sQ_2T)QLW_KN7g|G++-OYL4rDx_5d5r+a`Tk6C|Lr}g*W!tI$40pg{@?{Cb+@0 zosP%Q54r4hIw(_0-bx2|0ynt>9g?f+{B}B*djC*Tw?-#|oH1;lR~**sx63c`%rI@| z50ypFcd`d`d4GIQUF5JH?;dpB zqr{Mb@c5AI7WgJm!8knMHiH5cf+G`pV=za;fS}o6zY$CrZtWEV%gR$5T5{rg4d))$ zntGMSdJXN!`|{9I3vr_v(;JOoQ4KJ5d;=I(o|(W5R|r8$q7W3~t_3c(VIT5P2Q@cD z#pe~?5P$1NaA}D;ZMaYTZlSj@!x!rzQN=v)M9j}@YY0f5FX2^y4);`2gL=I3LOmlX z>1tHV3610U>^Wfk@F;;Laaa^cuKdtB&?jDEKrrkSxTthQE3L15p?1l`E^B= zOLj#PW#PSAGA9;itKorzrnzwWCp2F~h?4|$@_%K-@9=l{1mw1AZP+GEQ)4qHK^TJ? zsNzW!s>#+&H&B7sPDb>G7aeJg7a<(R9KnHR{8ZLQ+Xsdbv{}Y*JUcfp-2)v+HlDH3 znO;P;MD@OjF2N{cLHLIRqqfs+WyNcuJ2Dy@*+v*<@fvD$jl(QPsj!XvDoh))H9T#| zZGTv`jNqsxwDtC}WCj|!*H@Aad0Gn+OId2rY(t?v%_dc&R69{h^+_rTgc&AIv>kq@ zlzB{sx#)7U1^_9Zc3J31b5utMw^;Q1i=^(O!`%q6R+TC_^vH_)^zcQ$ zbQxg69Pt2fJZ9A}VC`c(=}JmV8mBd2Ab$g(#c2FS#f^2ApgBPqLMNoDYfe>jf=25I z7QnPY)a3Zeh2Oz34n_@Zh#h=GuI-34Od6Q=WQ7PXp`5($T3W1uZcp|q#-m7a2zvw3$tnu&|A?x#19SCmlPepFn?f6 z^O_Sy-CIe6CNrj@+$4m0M!7M+W0{*S__i<{O4qbwBn6DIh36SvP-u8^ZUfr|LK#lG z{JL&C465Ma*5!QnEhFOld(9*U_#i0@c%#hfJr!2nhX(biA!*v8&?t1Nng$JU#H7tu znx;odeQZ##TexGAX1O$G`bLdJqJNQ0VYYE#bB&*Tg2o4@St#pb44S!|MnRS!p$bFx53DTD>Gq4;a*{({ZCyBjl?{_^iNGgh+LCA7_qAo6LT#ijoA)-<(&mf}q z4C+5B&mh<-cF?HNyV}CWW^l6d9P6y32NlSXeEefT7Q@{qMMKvw#b1ETK8xt zDvFQW4Yv~3#{#O^v2vEvBuZ?}*-LB`CS_#bmh#59+HN2`*i!P}{D_ZENvs0S!)5t$n4ES)2vIiW-RA{q| zAwRf_%a%wdQ0#yhSq$|TwA|BZ(!45~)LOVZE$FizBwlNV!-AU`mn=!DrpG+*@B?1G zDh9$US#3$uFs=7ii|UO*mbZRI4u)I%SYpEwiDwwG%GF!O9P{YeAPKf9cGx-><@bu_^M<-zLm%$VQ69OG0oWS>GMB-I0Tj0Z zO98(-m;NpR7Pr=h0h1q>>q-F@w|}MqCMlP{h5;53H!(R1FHB`_XLM*XAUQEGmvL1D z6$LRcGBPxiF$^bvjkN_-lxr6@Od}!PIdsF&A>E*KDF`ya00YAS!_XmJ0@B@}NOyyP zq)3C5(jg(zDabdTbKY~#`~Lr0-?yH%=6UwD``*{ShmA?sfKS23*$S-c3`6h<@&ly+ zN?Q7YLI5C8m>&of!ewJKgdm{czhGQ8V=&we;tZ4emw^(091KDrF=Y?}X{Y5318BNK z0fNE+K`|*oaVa1WAOr+T{>RW6E(K5qc|dFcTKoV_XBgNGmrcpp#TyQ>vqvD){O1$E zY0U)?l#~?b{lgug-~@(4tU)k<76@Svc0y*f20;M^&ejkx!u!8Ma7x=F5H3;z0-m0p z{2(VcerLFUoh%nGz!QS72k3*{z;F++4d8df0Bw*H_|MMxaoGTd_7Jx}aRX;tgeM3N z1|R__#2O59LwdNwY`|~;GC9CN;|V~=1q}Ps_{pCJynw&X1|Y~U_;3B>gJ5}2YG-XP>>bU;E&2d096G& z00`OOU+uYB!yzsRH-0w=^mmH_zr!F;Sp{aJ1t2O>2Sxxyfk2?RqzC})3IKaq+Y9^- zZ|LoR0{%lO_!~xc;P30=>;kYwHUajB*n*KSTwgbk2N-~WyMz6G|E>6M30F`MU<0v6 z0Ia}v5E$-1(UCCN_D>l(d^p4lUWY`TryM?uQ#S$71I|60z-Er9*6sR{Vcoz(){K-``FSF3>lA@@K5W(WO$ z`xqf^st_-*jV=UXZT}}({=|)bFBud91M51wL4MyV06sw=@PBm3&9Zhx-W+a7M*g7! zBNyktQ>wtMoo#+^n2@L#00f7Fym5g@A_<9#0(=FLt7rrE`h&v&0e+Y>0_g%kw&xG9 zb%x{qo~Rg-H4r-|&~Nk)KvEDOUA&@3^{}Lqt0?>bn$b3%!c#8uBV91mD zM~_@C0q4I(5u~;Aztkeg@?4M?9_+uG6A}Ci{qNR9kcGHF-QE7lCJGR61A8EUFT}qQ zq$k224*pj^$P5V2e^r1i-vWYcUv~a7i$#rJg8)bt-vbhGZixyf{*?IH_4F~ z;mrBPG)dn0J)>p<53c|BSm8ImrmI46*PnfsDh!3(x~W;IO{wV7&q+pqCfR)zcTzPe z=X~G2S%HtFeWvIfU2{qngzj+qY-#IX!FNwA*xAOVIH{=w(8)Aj#jLccCpwidC1Q!> z9DUVX@zOXEZ?$sc)k%ch>p;cpMfLF{w|Z{!>V0;wImzpua!2Uflc&@(!g@s`=uz|P z*$E*Leo*E*Ua?{OUENF>|cxGZpEv zyTJ`5J36z@avtc~9(A*EqP9RyVQXv*mf5LkOUYBl;QJ+Kaej(XPi%Ap9l9HX7 z-zwawi#Pbfyl!hBk1MNsr@h}3_bRe~Z-cDNsO(;$x-wrPo46Q%M;-fh+;uZr#M-Dk zh1$fLl=3o3#F}Pg+%L}X!c&vV52vH=PY=zD_<+*yo%kn*(*<#& zv=)*Ly=1?nN*=dyWBUD2#SIR<_w9`WEJg&D&8qOOQ0M-1?LecH?Q{TIqC z;&|G-d+>5MEUE*4LXH3N5w*AJN8NKo3&utv8inkA?fh4lZw!J#2F5k0{;vn6-gYmS zflh6J_I-1{FJDSKVSN_zJQ&GKy$L4|vlAT%Ko3qGIz+*}4xyu!R13Bbj0qS&IGy2= z7B-lqdKhNYRgR|Fi!w|3gu#{j)p-{iZP9ZThOV0g|@OsQBzDVQ8vF?UxNXx z!^`yWM{y#B&ve#L{v3l>Nm^%&T;X4&KQ_nw@VL{Rwhv^H7Sv$Td9mfTRNUS-q{tlK zo!v3LR{8jU^LB0Qic^APhFUq}%y(0iUQ=05!9T2NT_A6VALI9A5bmalfBhh*m(EU+ zC4$yx+Bd_M_N$nOCdx^#kAqZFY;9gc9IFr{vBjaBjW)^5_!L-lJlv9b&9gUdvt+Kg zn@TqIP;M~Mt_0-Wbg1yQZqj12xy%yl^|>TPrYQe^E+mB~B<8&)rdKt-R8P_N*YU$= z{`%j>?FP3b1F9!>5xY>M8*(3}GINdyxZF=UZd=BcE5G>97n7WYDragv16}f%?fAqn z$E*OK9q_?obbpb~g>3KghGuR|y+R&W?pS(xgjpXBR(l0mCcRNqugo2$_hBrR=sCGd z@==R_exA`~%Lys_Ah4tD9cg?pM=IZHR%x9CY04x*<6gmwd!&eUjp?f$qdq#7dY}Oc zUHK#Z9%GaPqt(Fga!k;-v04iilR|c+Iy+zZ$-)f##FMCQnmosoUUJE`qQ6mku#%r@ zY(*w+vF@0aTY9efsKWXou6B1a_vyohST(wT?zhFO3w~LNGrbIvM#cBmqg5+~I|Lu! zL1$jBC5cVhXNqB(;Rr3PG*0BjGccO2dKjH$u0uO?{n)sS2U`f7j@stRbLdG(WY{}E zxZf%$&NSnC-O@u}&=-x=C1zlH$Gu#j@$=OWE{qlHYsei=Q%rj;?x1l=gB?T}5jd28 zE|f-dR}UhKx-DVDzfYGJ7r~RiM65aH*Ku;PFcF7=7v= zUMKfzgjj7>m{^%!DlOQe>2+hlbY46+d#lK?%RGGDEB1Cx6pYT0|JuTyFw0T?*xsZE^*Czl>?yn&+q3EO)(ICbxmnZ_N z5N!ke2{R`4N=(vtx~+cJmwulwo!HQ14LipjYt|m@!rjAap2=&$qMO~vOf1=d zBT)+*E}dkNm4q$8U;oyFXcnNP3KL=ZIPppe-vqnYbe*mB?wi- ze>F11TK)|5xkjBFM7RC@UlR@zSwKj{N8>>0I%O?gDD>(lTU*|m?a zT{I{w*=jf$o}PK63~!733pPliLdzAZA1_t~qB4rTA%2jWYM#_X#FKfmS_@4$dm%=C z%8^RFKOy|p(vjN`zlpP|)I7JBP)t;Rp3kg@Q>F5|f+mx&n-nIPTcL1&?`zQrKBnof zvLO|>2JOihrv~eZvSWV!FW0j85g#I_PqJn8x+2(HX;TNis?dvf)VJV?Eh=t{W)sRk&@jbGt3s0mDhp#M8%|D z5q_pj7X5_pJyk$+wzX3~J~l&~?z3Y>L}&%9sGF; z$9`N>VK5`JzC+fcghbLKZ#v$an--fx!wJzcT_t6s&2pF)T$KD|nsytc@0H)n6n1OF z)Txh$nw<4AGP9BUI3FvhYg2MNpVFYJU)hG#alV%((TcU^#`t(JyvzcTD&lW13Qky7 z*N%kusaI;e;nit>#unpPeM7xAP7E!qXAIB64ZRQ7*4d+4Wbp!_;0)^+<~}gq;%nz@ zX3}hIHhu5?bOopL9g}&r&)iq}IsT@=(ra>j(Ss_)3~*^*v)0V-_vx>CEn@@Ew8toQrVhug+~3kq+a*(`B}a!ci2Img;q zMiv$-Xx->qg~o*Q!HN?icB>H>iRLVgZ=wdEcI+Rg!SB*433pPhL~TeXxph=dBUP%{&c3!kQ%GfOYd64{b*9}-5R1Xhl2h~H`5D2K*w~S4ZP0x&8-c7;s$Thl>CV~&wNut zXSC86LZ8-i7_l$LE>QowQB~LD;}|+#_Rm3!yR?io&uIoKI zLv1{N>OTF|d)z|rLP-fE9|e%1j6Dt0Bq2_CEN=QlnHf}+a%Q`&A^46?ZpH!8%kfb{ zN`Ny)BUh~;ZxI^{Ww=o+dJuy;BK@Is2v0#>Df|L(mF<-~?-2A!CbHpWb-QHOmQSz7 zdnSyx15I#Zu$p$)Q*9T8s8kUwBR6xaM|KH+s0^`uPo%!ZTndm^ELM%Ukb>q@9}r4y zObB{i4?}lo zupzzFUWS7fSxYzgu!j(hA;L>5UZcwbxAUyhjMYZjaL;s>=o){j*P*X@H8=_4r^EkE zMbgvC0IkifUlH3Uer+~$sDY_5Q^@WJt$6m9Oza)e>X%U~Y-@NrW9!M61QQxTf|m-+ zE3l`9BgcY`sO=(Qu!Nw;^gTLCd=%P$3Z-i@l9YC$G6yCWUZW$Nm|j5*efNvGDlZvo zdKM89ltlj8d1td4amvG?$%*MvUFDf?7`vE);;BBOEn@~UoBN|SsgiZ|cPA{U7?KJN zIq5^Bao&D_3xgff*AmEw zb$b|)O5@ZU;Bb_jo%lf2gU)yWz!>%TXr7-4`#Hz6!i#~pGt=PcJknVDsK{BrZ4ya# z?Cj2df@NE{IN@4Tpk7A+teFpg@I*99k7VmWz$_ZAla9(PDL7C^-yK{+c`Li6);Es# z#s}r5+CleIHLruox1eMS{lzMG@dnq2-`lSooS?Yj(V4<|Okara*0{p+cBWxkQvXKpq9-?_LOfZsq{gBaruI)WGCMwkE z*4g9DU34A~aXqshn~zK%>pLS9RCnoSa!oOPwX}=jhOZ+L9!|@f^^|Pq*S+m|^;2Z# z6*9U?{-L*DUkH62oN>H6CnIIwA3(#~eFUym6Q4`Oe4~+i71IgSv+WUROSr&^{>eza za+sA1W-?g!6N*bxop=;~I~xxp4-}RdRq{n&R*9}{Ma#nf z#ys5SiK2T8r)T<5KRe*FnkF~l;mmu3SfC%-j*{1abJrV)c1+-7d2RXhn0>PJOWW$c z&86!Qq2-$550F`Sf%qh5I2&CdsaN#msK^`fR|gWGnh!z)Ya@n#3Pl|QK1==T%u)7q zVJ?5KJlljFg;FEY>0uUI?TmixfXbUeY1b&eZC2@Ee;8Mm#rWy zr*aX;uTPYxNPxP3g1HrxhG{)+VaM;pOWi1oLsMGNV)Y<U!ui*c*Qcq1 z!N!Ge@gWg%n}xxeind|-)H(a~`ft&&A-} zDg8qlF_$QRshzpdGqM8JP^Zsda?9zJIdlUP){Lx=U{GGXEEd!pD=X!WovZ08ePWi; z+!yP{ZEbfhKOf-aXzTG#Nn&YukTf*>;X_G77gPDy7Q`VV1L!58`4DlJ=5nE?lwiFl z<@Mrq#V*|sn<;GMzj5iC_uSjdEt)xnxyZ46_bN(%1M*^cZp%6Q)SqNEe|?~_?yjw< zPRQ{cwf-oMvftRGj68q%mdCZ{*r=G2c5v~O}B;g$Udw~ zcg(2mGsX{fh5qD9l z$S-<-QbO`ZQ?V6zenEVmr5|uz(;FeDyVITf+O~N0g3F#*}Sl|Mn?Z8`N$XJ&2=01n5CyCWbEJGabdDtkIeWdE8$+{>Q>>zeSy1R9M?XAn@%=*cm<&%o|1RQ1;}kDP z;M)(nT#Kg@CAo0!Y2q~zlQ5S#)_goVBVT&Hn5K7=!HQ9|r+~bea2nUe{ER|ekfqLl zh@b05lubHj!SdRe@GcGdbZ;B$+Md9v-;|dAO*5Zm4DD()e(58zZLJ%>{=8nhfRn(> zX8`vyvs&m0r*p@`J=RQ+9Zd#Qh48y)QgchsY$#7)%uAOuo5lL4P_oy`Pu&^G3Uk%) zS{bZ_w9vqn54WPY!E-I)HIx*jI@C=nfmb&zoS7T?^-a11GkjJ}w4x2Z$<)Lrp`XHNQI}{!rW~`bvwro( zJ^;_e^6td;eZFE;D4JExnRjduuzG&Ju~X-vv2?lp5v>^yy+Ds-ndCGFRk?P5X7BW; zqL|>=8Md1^N$cmj_{?gY%**)w>t)w>=Z)cO-!VUS_mHJb z5ux~mVbI0orSUK)Z3fb|kS(@sgH_(6R9~0xDuo-2E-C2+w#G8opZ4`pszr}zlk?VTGnnPy=2-r?NICcOv>02NA0F^UD-J(EG2PxMOZ0+>e@(GZ@jUX zisPMTBJ3^j_`KybkEh9$P|Gb{RV!dnhc@&9O-5@((*G&F*%y7`wHpN?9_@7v1wCn?Op#m_&?o-wv`B%k9{(DPZ|633)OB_|w@CNRAz;qxm!*EiOJ zi{aR?5V98tWiqjNIujf-Y~dL%2~96LFgd-*x*tT2Q>$RHDoXNXdsov<@H;d$Srd3TPL$w~oJq4x3{mj!ZA?+;+2 z?duNc>m^wGG_HzrEPjIv_Kp%<>bT~Vo_K5KyB-mSOwlGv!VcN`NRCM(EjopSFGGTp zlF@wgqh>wCFWQZN9J8uu)0Hw3Vuyju2ES+MdLoQN+e*^prr`1UAC%6UTQ|yK?z(iC z4_?k1W!a*9dbd4|QKfE=%BrvdeY~B=NYK!Jp;s-;H>O0xnN5bSs`FT1nZG4Xv(*T~1ogFVuakrrPd+$0Q|xKF{K=3=>IMhQ_(>f@GJH zXbe6Hzuwm4tV#-=xHzs!w=+A%;FdKWQpyXwalW8Px;aKK>wf-t!@{bHKZx?lqm3Wt z-86Zn(;!)lvpSlarh_um#51y<&u_wjZ<{$MlAK`*S~7icAvk7?QLo)aXvik{=q1-QhNnn%*i{ z!?HO`8L>3!9FVr`4%I$#FT|I4AZ-0T0Ket!`h&cGqWW>z`EJJUbIq28H(ZEULIjN# zPP^E!P<_9}_XCJpQIs$qIa8GdtLN4J`LzbKl2qZXq*-y_ncuJPIJS3Zx%dPk(87{p zr!~rZ+%ed$OI|HK@VlM()b(B?oXWwU|7JUT^CPKk5W3_TA3ery?!oxn>(IADxeDVo z%`%hKa2~_X=CUJ-VK{?Q&&)q%m`@WE~sPc(04Sp5J;N<=pkq{>2Kk zc8ej<(~GCFH@g<@*_>{$&O}SCt|JisC~Frwrc6B|w`f{8>^d|q2Vp*mF|Csl z=0;ZuTi@I1KnyvmO4jifsl>-m8QaA4oX6=e$MT(Wd*glbr>Z(lt@xx@{#>bQJ2Opx zRI|9im|r*=OKo88lEa!x^a~ufA79BKmYg5>av~m4?22N^YM~{}eD)PnrIW55?U)5c zZuCAv)7@2P`o~p}L-}&Kr4L~~)Qqvg#PdVtXkr-7QJd2#I>jw{z3wdsI5ke(%y`d& zR#3;CpiDG8CIGv<>cdV0J~$A3xOm-v)*35UPIc-@<@x;WBxiOywNKx7(+QH>u%>Ni69DJ_QmI@~B37fvBGmGW+osav4A4)&g?%~KaCk@)rE!`L~A?LjaJNMQ676BGGF~| zvZa@JFm3I#jP6n65t_re(oQ)o9K$)gHV5A71sr)LnBe0nn!v~cd{GUePL9yRg--L+ zynvbced1?vQWfaylOf}^JF;7UrYh7FrB^vgJBOl#m-)s#JufnTIM$T8$$okHGe1YmCxs$8yzU3+ zu%h>_>5V_tDT`%e?BuQ@cT<`k#(lDocoZ=}-}*D|@=n3L9FOH>M1c-}dP{4W-b|uH zDUFKm=FK6mb{ofQGQCgc#&wmQ_`yi3OS6Uf8-&lTN!)m}qv-C_C^Jale)$$?t@+ca z`QmOhNLBj8dbrUwv=n7*N4H0Oc=m9|$t$rXUz8Guz*I4>T(VtFJoV?~&%T4>WE^SyPnI1D{ zUmCS%-a_`c)Xx&d`+CB2JF@ayc&Hmih@`2AU943zgak>2mg@41H8XDlFPXok;22kM z#T=|Yu5Ft~@VdH04>KG@<$ucgRZOw9QbEY&d2+#jQ~D&dc98mf0ilJle#`c-UkX}iK}z5AP zeG9KNsS&|nGEuek&Lb>PE=Ie#lKXz_0{YCFnNl_^x+5{(yjg!S{~&Ev3!41u5NjQr~4lB@p-1r^LBI34Yf(tJyG6 zY|ZEI4YvVgqhU4=b~Uu7WW}L}EtcW*x2qFE=#nDY<&QOgs_AHW?CehXJRi9}ny59x z{Fp})QN+gIkHZfJ|>dOl5g=AR(@4mV_QbQh7%v*Y^2Qu#8C88=Pf ziJShDVklR6f5UflrN(G3-nWYE38Vca;ZJ+48Vkll z!;BU$0mFB=*`zaxQ-vd+8<`E-v}L(}sO$NgNAn=LWO2k?exUqPZfSD6Kg9{#ot{mxWx3!_ zwPD?V2Fo0YV@r(bk~feSm|d+c)`uwl=>W-nMv;eNIukP8aZay@bt|P|os0B{Z8vl!hE!}Ro0#_}J~j1!DnV(v94Hj~PonKz5z2*=$2QKnqmpI`wd}?6vIJje z4ib#J+%2%j>;Xw<-Nk-xnlw4%80lXge&(L&;KP4#{lRg)Kf^%og~~xr;l!RP$pS%t zr22Hagw0FQru?|RX^i3RlZ2GFarO`C#q{ZfS4nc~b!jNn3iJxL%h5Ma4+{d=#-a%Y zXC|1s-u0^RR9=%|zrFpGoZvAoDowPimB)2(5|7%(Xf$W%_&A?^WD_SP$MWf`{Hf+7 ziXW@JW3_X(C9Jm%tty!Cd~g5HG@T=VA9|8}$A($*;=fFx8eOF;JfjI#TA~hk&LyX* z(68woqG_?Nw#N4}p=y1`8?E}_SMYwmN6xL)4#Lo3cda~|g>vhsAXIMh>smPsn;$?# zU(2eIr#edy!m*ESX$NfW#=OcJ=D(ph(pmJD`spl_e4+4#;X&)%zP43M_$`ZnDcn@T%7TR!?R6HM8bjxUnF$$qY&@1@yCl47T8k>hKdem^yo%u^ zl=|vvT4C5Zxyl5Y4=QeB0YKKIXbch)g}sMY;Rl9% zLLXb=Q@j+kxP>3M!F=Tvv7{K#b*1N*!I$C{Ra&v%Iz-V}qB`@dHGQO-SYPbrt;5Lq z!pBLorxT3jLL4kIQo_*c`)P-Uf4}0ns3^SeOA@QhHYW{4jk@ezJa$d~iN*C*t_`!V zzQ;PCQHkG|h5t=5_gG{VTj7IO6P;xrzrU{omW7_=W2oB%%;)w(KlqkW+k~z7CDUIn zy$X~Ny3MV86RP!uKAcEhaCK zLNe$m*)#@(YkQf#CDkEwC(SR_MwlX~H*!oB>a9ixYxB~f-ksP-Bz zuS=W5ai<1C1XUFS7+aaYB-7&{aD{<3#J;BES055q(^It=m0WQWPgc6V38xHxmUk6; zwAeO`VXF5`p;ttORxmKqf01h9`Ce2bvoa2dP;ab~+ZzX@zMyd2;Q{c!eFd0oG4iAN>pp|JC%`&75@O&PH? zh4S&hdJ!BY$5}otGPT8M{#O7_FlY=4>`mllG#ver9{Vh^bkJ2&eC6HC&YVpaIW9i|pEAR`lbs-fX=kpO9-aX0;h*q5J(FRM9*uL9o{&p5)Fp%CTpH zLJ~yOndA7p?OEX3J|}LxxNJ#k;x|W)*x?owh@Wws_-UROUb0QlBQk;lqH}{|FRxfj zMJzO$x_jIs#N($8-V| zm+Bz{4Y#Dv0y0vUV0{81xA!3fwLO=D&jKR1&R+wHFPGIJ0~eQXj{^(@GdVFdmyo6b z6a_LgG&wYrF$^bvYIXlw=v17#IKybj&cMq{2?7hAx)& zb|Qu@rd$AZQxkx)sRMwK3Gfeu5rz~XZ13RdWNB{U0-!K|ru>%^pk`xeVrgsX1W>cL zv3IjHwgB+Bxw#3rIlIz1x$@Edlca2F3UIM71(;ddm;!|56*MK~!~qoIa;gAvQ#(^9 zLmPmCtC5YRF+j%B*woJ1loDWO?*y><_X1#SZ)alpKb)ND{zbsf&D6=|A7W-s_O<|7 zQ58Wkc{vq-fT%FNiZH;?&IBMM@lU#)i!;|hXj5Y++yAMK2H^5v%f|4(meGH$|3;lW z{%z60Ffsy6ER9_NMyBSLb};n+qno6inLU8*-)<9EhyR5BA>{lIKLEu)8d3sGOwIm5 zyV}^u8QPixD1_~89b8>ZodB}-CZY!)Wp)&_TTxY|LE~gM@{VQY&`$( zmj9ITuMO!{H03meB&q*90RIY$+8NuMSlXEblwJPO($LA|zm9)}6$~x^Jw5*+^Pgz~ zF#f-PwXC6wlcfhhn}P0s#)IL1uK!rN{|_Z3Wbffk%gDhBpk-!a05G!rbK_)T^8H_Q zja{9bOzm9$CHOzJ{Ac~IK{7SyM0ZzeX3Gle_;I~h$BuDgu$TJo#X+^=@) zU9sS;K3wk_Oby%CSPtwa;?5;weeJgb)g((+?s=`0V;L{9IAgRyc}G7u(sumn!lRuy zr7k&2rq(x{={|K0(yT>D;k6O}>)skjSboqh+zlzVzC~e0pu=I9<^wB58|ThqJMFE1 z(IV>pe(aX81MITFi~r zs*85ALo!atN!;?6N2=yTINSYKg)9d-Vc|rS`wDa#xB>lzAe6qDOKTd`=J%&vGIbc-T@wS6cYjM^w&N$Q~1 z)}~Q95w#m%AMaI;#qONod^N5*o95)<9ORNULjhAO%r%J^Og&^{Gn&hl`^?FI2J%&1 zLjQA#Gi1-*)9;K6^7T1pxq(k8p;L#!=#t)lep=*8sB^q=t0v`X9g86cwaLf1Rwgy` zdpHtm=fa{q-VY^&(lSoQo|4lTp4XZ($TCTd$STn%m)fBx<6$^wTdx1tt@Rp2k@5jI z85bz}m-`eDCGOYMxh1zsKu5KIa256~A>SDY54SM7?$Sy+WBuRukVMvI%f7$Ao)@U~ z3F_+s9;DXccaw}L{vMHHo2l}7{(P<=+)0tWvrZMw4Ve9--@;bIcw*=o^c6MjfnF}X z-yBlkQXKxJDOP`!KiuKZQkE`g*N+ij;JPFB9(Vn*v^-#`^bo17itu88BgA2S)Qfk< z+prCb+d0kaVd17EiA?wU&|EkDj3=Osj)s2+Pgre!Td_(*Jiml7Zx&>;Q>8JpB{&=T zkl~==3zL%kWWC`yg`&DCdlv@B+2LQBu_pKL?P`{J*VyElaRwXXm0Sf(IawtcOrVL2 z9Ko#DC*}jo1@z|SU62odtSTek=?>umaf4rhMwyLFb5!{LS-Ej0Z_&a=K=!cn!k26% zWjxfh*ypkDN`hN-x+gpBKm&W(o0_|9l%Ks&VUk35lwj{c_t75Ec1V>1k|Mi@f$~(r zQx%-W3Z<=Gme15{DYTnGSKdOBR=TboT?DIraI{nCh&Kz*i=5{_^^+RAN zqjc_}Mae5LD}}6z?vLVFaB(>-8DWJZDCxEr-bICa~FoXV~|A_zC z?-YIZPK2@L-JwJ@CxtVfOR|TMkvv28ES*$@-cyDmD z->rQX7`Lx>393t+kWtV4KEZD-30eNQqklP(l`jzov-eZYro#>xkiM@d3%cnc@@&0& zQZtYDvgU8jWn1Q4vMQ|M5CjhYh(*QB>A+=Z?x+dl3V_Ui;=DUeN~86l3hfhcp5w@x z^8|p~sCnvb?tv1`6tytly?TbTk6@gecEGKcHXM9xY&HyIODGW4f@Rv(P zh_xBV7_r6y&7%xL^3rVMrtArs+fjqvCy%jN4Z zKKcDNhipR$$)@SpiF>5fiecRo@}X`&fjH}E_rbe3c*dT3e*UclRnJuhFA>h4p$SM( z@+sI?LRaQ9l&P*c7T{YH>ajI;iKf?d+gw%rbcLyfB(b3#bW_3f1LWYl?tq6ZIEyOl z^#!JXeP~0E{x(S#!H3U#H0ERQ#)(=XJ@&V6HN#Yz+5MI65gxIz{}+;6HB(Ts(fblI zB@Y{L0c*7r@aB;OGy9uAxk0)^)6PG*GOZnI8e-i@W%^G~GY`TCE9ci8SG~vC`Lh#S zH+2Je)TO7Oxul}#S6Sbon~3`}Q$$2lK^U}u7nln=>lv6|Mom$qx`o_=Pjt`DBG-8*xRB-BnysDRmIX1bnpNHB3f^NJh11rPeDQ4Z+ls3ub6gS z4KChL^3?lkh=pn}sxxBTx3rf|O)Xn$FO0~GG@L*0q=#3FNEUY5>y4ja912qI`bL9) zqTtzY(ANPY5ISR5qG|jmr7#S&|3|iVW6Lj+Yg)RW)l26Z-{!k zlOmzv@lCX;1M;3wZ4&t{9QYygH20VE$BY`V{g}ofGE(K(mZVyB>NBY^0-v@$8YV*{ z<&LW~p_{R(T>ZazMS8uS_fVi?x8*v28?m;_)7jOg;niz(Upgy3B39d;x-Pw|2{`LV zb7ZV4cAU+3Nrk3tkg|q5=Gth|zR^3!AQ>>29`~w@6%I!zUGq7$H#zLT8ywh10d#MT zw;{iyWN@{&)N?o+JJGPgewwr1xsg0y-ob}zxm45+Oy-e&4LZ#JdP_X}7gjibHx>LZ4=(ZK4B`vb(ouD^mXri3wCbzAH?xwjHio%=p`D$ny3G;f3nhy5kg|>c<8YYPZtw=nkw*|_d*1o`kDM?F4-#h*X~aA0)5;<;`w7>O zo`2Wrpj2x(EY{-?)81np95bGOU?Y}4u$MDV!Pm8@E3wF3dTY*;GA(2VaN?VsTwXG%|2l?!X zHg@4Q8k=dlvRTGvz*l^^SrDXM)b}W@q_l#AbT_$^lN!His5hBPeG=f-!3x5bL{}%3}k<^9SSRSfHOE2wzpu)CypMr_q5as+)XMz)FtI`gIt14p5v)+g;Mpv$|h!55`!LY3PEYdWwNeNDVUpt zAy~dRSRYLSpwB|<-eo4d&!TEL4o1V&UnOt(t>;i#OUvm6EG44qt`Z1(AGSZN>OEWF50KOzs#Mv@-$v6365&<$pqwoh&Ch2`UqH>yBz3Q<;vGy-!1Xz z?9@A;wFYO_i#abiM{CFwafxd+S2J*R5elZbt5u214VEIJFE)l1{pp&}QqcS8PsStj-E5Ss!? zY2px)m0a)es4e*C4YeB04^@9*-X{Q~@v@nJC3d3Bw^3+Wa#X`}BQZVa?OjPce&jQ8 z75z7qWuUSW23J>Z1>igRSJFlPQd5QA+I$6=OL7ApxdA6 z8)iip{Ui=bwzPLv)TidIvyXZ29sKUF?AmZwC5H2nZ-a+FSz^|28xG}=;XI03SHMqy z*J*I`^ci)mvbvtcD07{8(JnO_+Iqe@s|PKK%&{qJ0W_Iqi}#q2w}ZVfk0pb1H(8ql ze~HME&vOPWPK~9P-R8@6iCK7o=S4XlqQ2%-voU+}x(QBi#Gs@2CH?H_TGLPjeU$a} zeV>?7v{QXj)K!3RV`KZP`$OpZhsITZqbPu@Odia!W#p;myz)ZOdCy8W1+%dyMrxaG z)H_9|D%>*WDYlDXN_6v8@GvkA_wi`4S(F^PCGZciySwP?Q^F8BIs+kIjvNa$F;ZZ(NZ`w8Mi4ndUkM$v!Ynn-Ab{`t$SVxLy#q^h5AOIf$O^#L3(gZX!(WOiqsp zw#HjG+t1Nv*TN*`ria*n_gr_{55Q}Fquz)BrMt{l&k%y?p70~s*!kJL_Z2OeC<`~2M` zjT$%PZz8$wqEq0l%1Rkcu1_>h+{}(UWxqMkMcSSWnsbd=!&NYc2gSU6-SxN7bVS|& z0VK%s%Q-sb*}b!WC{|tAzLzO-K2bKU-9zJp6>64{OC0F;**M;LekR^j>oOSsCHE_U z4t&8c4xQVBF+EVWs9IR7w}LIpgjT0-?5cyqi7$2FQtyW%Ld;+X z(ey?Y6mKE+Q{rM?gIc(QP3(v#!D<|@ou<7us&v+3NI{K%WAUwMlVuJ^BCtrlWGT%K zd!4ezq%A>g`^!sa^c2?=ZAkd*Sa$_?8KOa6$}ym5 z;Gx-n@>zj?=_%}c`2}y&4S1#tmvzYN9A)cjI1Y0O-M!Aieyl4yZfE8s;vNYY@L&S% znIH7Sn3Xl{<2Wy;?#I>y1U}KDbXx3~IC)DB4A+g8Pb)d^Ip8={dLTvm$6ewv~U2&ai zR7D6kH42w+cE`2L$>RHVbwxHjetD}{2wtJBu(vFa|GK!@%AnC!Z063PX*_Zv?93%7}!OsdhHJBpvwOl3$#qw^RN@vosX(oWsvK zB0`ljzU0{X;FOFaveXDOX}SBw6bpiq{BeIKlGuu*COM#-B*>wO>eR7W9rDnMGVgE> z0)61(%lZ+rl}<1FT9ST}2}6L{`l%v+V+^mtp0m5sry`XbfHAJ~oHZkpd?+G)K|h1B zSQ~ss@im67z*bL*{jDIEtQs~16C*fhz&E#)iEDF;Yq9l;Cg42;9*A{`wUt6vNW#Dy ztspze`@|Ht5_jwL?7}5QMh3@5^#TzYch@VP^mjBt_b%``LM)I)cooMhQ3Cy9U} z>1NVw+(w*#Rvw1D%Gu{`hc=TP{?~C|2GBSQ6o6R{Uluvdu(;nFpo2)hvAAx+Oz%s* zdefrqVM2YkErqAi#Knt8ol*;bYG^fe1}p6}biZ{ETi?a*52ET-L(TIVew%|RP>h*r zq@_v0Swo3!ovrTbXKBT|gL5|m;!c-7=-2<0?mZ!~=5@w-gU(7jpT!w=x`tPB7R)h% z#Rqe}i#mVtnGE-?M&sM|z$o)fla%eeGvi<7vrhn@Fb`rR7Vtc+Cj8t7aabQ7= zLI8~!*Ytp7MCW&LHz}Hb-PkOkM~TAIOc$>tZ$~JgIplI{vc*=h%=hi*6~U?+Y@V}{ zEOrjP(CaoJK}ErqtR5{8eF5$ybl*`EN zGL<&hv&Lnmb8OB#?%1Q8>dy2BRmoT+7Wuj|Tj=vqsKJMpH%vHx&=t%*y@>=WRsGY2 zPvojS3+{9(qpbF(zitRUz(=Ak?Aw45%~(@M1p<53TQD1S2UlX=?A@=%(Mao^G7&#C z9!}h$Df^QFpDGTESH&k1x4_H@Jen8Cy3XO>XCJ6D>~ghY0_PoEQ4a{b;7pas%b@Gn zG}!qAhp~)GDsEwapQ!z4W8v}(QPWKKG9qBwD?j4I(n4{Os(8eMy{xb@?M z)>covvmU-*AV!;A_`+E{GZf*qf5cqcBfH!&b_1LG zf>_9d;v{_166&sWrQ}92{UP$jX_?@Bh#@$5X&PBKx^YX(##mR$=1j4E^Ika7!`k6) z7Q2>4b!VsgaS`Iq*EgZn4yx_Exh(eTUZ9dOeiTcGrW4}?uCb|)a*OL#Vqd$wq zI5$l_8Xm;}*oeD}Miu1D08$|R8W89pww7KbeG|`r37qKN#|5$i22C{o_#=*;+ck~r zzn1th#~dztu6pEOo~yT)Rg2{YvN8vt6LsgC|kW$#7ynJ3U@Ma z+7Scj=_DWzu$l1qES+~v=0(?)uI{*-FCRuxOSuEViPHWl+M3C+T1{4^D!_OZb8x~f z#{cba-r6o^7H?CpIMmWAgh*}Baee=xZz=qL$uiiuVz)p#IXjH_2e^w&#*iRtyJBl^ z_^92tDigi9+a`7ZN=1vF1mXPXYd9<8XK2h*@{SDTxmy36|uaS0%@mL?yUKaCFo>{s8|515Ru;&&$vKnI}Bx*l(9`cZTL z{DW8CwynuBP4^JjGSBRY#%b+e9lN#g{sez|%&@uNY58YJjBZ~|OPoYfPMcnmH)nUT zrmiTsSNcW-%MMsiO(Cb(jM%dqPoJ-qYHaiesXeFK?;-Tv5lqGvbQ`@@39MV!w!Po7-a0@=G;H$% z!>b(`u-xSu>h(zGsYFM?J>tSah{oM>U4_!w6K}MqSK()=D%7Q(D3%^UKR=Lvb-wEv zoG?Q1hbG0J^&RYo1-OIT%7P;&eaA-DfLXJ8KB{2}`MR?uFDQ}?kq_(Eo_fjSNU6>* z#Ozshwc}5b5;`5%$$1+t6bB2pYsdWnr7+0IZ;$+rU%X)C=3OvfvMDF)JdQzprOB=t zC&~A{-cj0Vo<mHm`nsT?@lTl94BPEo> zGhr6>yyEYtg)W_D;R(%2I}~(C1!J~!*|-h9fkHa`EGb@}Cfhz|PP6TQe+{1MY6qL1 zwZJUN?>=;*Kt4nQ5@H}Hl!-!jdThp%dcZ)V;RqH)wt8RnWf}rN$pr*zDyukKfQOwH zReMrEJU(qowO+GIeHVZb<3hX>4ul&Cm|>52_npcpTf@DqQnd+2)}KVbvFCZt?R*CB=y=mql){5jMW%f@#5tggt(pC@$s#Sj<`lr zNXKcU^is_;JI6grU6%azWokOG=tw%w#KpfSa{F2 zE)yyP!#Z16JHE#Lg0tz-k}}8{|Iz`TX1m`X(D0Twi67=aJ0iekTcdfu52{_smCi=l z?5;>ZLT^P&>2kq7)SGH27p9S3^&cv$-49>Q+*aBb>A4hthp$oMh5kkagtvJ2#5b>Z zH%i_fh+Q)pU$P9out^h3qqTXWYuCD#@M}j`=J7qypC%#y-d{%!bmK`G>9MJRC6v>G zL76CRcSXKGs_yO-W*@^S?Sl{gq>ABHw(~lxcV@520@ubrLz$Cp_(-9mEXkd0~&WMd&7Yh-1C@oKWzG zD5ekcx2$7$C2FttBABK$FtU54i{*o0Y2DqjmQv2oh`_wI&TlF}q9rb{6)Icw$8E5P z^#ol-- zG`+q@8|QZ3$bDJHH5v*0WuWbgvH*ohMZQdT{Zq|z2a>ztiIwSi2aRY4C-CoOV@j<( zVa2;?0wFpet~_wvXTsfiqf}W=5PVSJBTS1$@YPN zmW;TwGBP|`9V$WzIZmi^Zgex3F6wvcp}r6aZd9Tbp@qt1x6NF$usq!-7JtcKmc{PlF3HB3t3f4M-K;HaEAi@F5(ZzP);oM#m&tOyar0t=}@mH z@8CS??M`daQH8?jtU(gSZ-QV(Bk%>Qvn6=1Y~0@lqc0U-yQk5;hM`_%#psWJyxgV> zv}ys2VGTv-D>Ej>Z)F#Xh*!8{6cJnS3+u&6RPb)2<2jIXHr#e$@Fy07Fy26)NdB}z zjPrWhFe=(h6$_e*L2*P*B0gqN!ov;3%KW}3JvwQ5cRKGS#-WSZR}&MPF!lbiY~{|^ z9PHD39R2*K^&7}ZZEuEp4JUSg_OTUIAM${qyL7WkXdj`{E2KIqmST&CYjrQ`pHn{c zayj3dHVHE?xziv#cTZeyCg#Fl>_eayMQd=85UScy)q>Zk$pJ_JyPXkxU+3|tzYw1& zf_gxSu{~YioeUuXCyzRT<=Hp8-%FjR_OF5|lj6T(-wS4V#_L|;VkxhG2xwY%y$8Bz zB>8&UP!m%W!D|O&ceyl_;YB%O&2MWJt({J(ZYJ*yrk&D=fAFYJgl3xpFD1Df96KCR zxcY5DV#9Qrz-CDS4X}&f$`PIIw(Fg{g&|Cx1m0An6}Fdtm^kk9okR%qbxA zyL+l26KV-gdPglSfSpgjU|!p303T0HfRud@*#>P?n1^Z-9FtmqE^g6k)En4Q(S@;5 zGDAiDXnL>CC~*Z}Y|CMIfKKLO9DFi7-eDhoP16H|b%wwbR+<|rqU%fsAP zCw#ZV+43MPg5F|(L`NeG`Z)lR`s>FIhvuv;`4;HltuC60Kr( z!2GS83^491wU^q>*}brkl_dK>q4E0Oy6}zP=HPg(^g}B9`-*7+Sm@x{T2;VGL|BS9 z|D7fl2xe5OM60I6c<`NdSeqYGGm5HecXZz0f4+HAbJ&=Fk;K<>C(-G{YY1U8nN$){ zZ{xp^YUeS z$p#VrM3#Mjet8ZKRB+(c1>BD(cA?FHpnx>ypIlXgfahYnq3cTT?|?B5`YF$VJ!<4& zV*0ZJnjK~9125zh?Fd~xBjDBQcK|4GJ3-;2Y{qz-7z8XY-f&9PU$rH2+|NHk(k5wQb-9S)+ z7o8%P8~_41(-{s@l8dt;gqc}Mb5Z@vE+c+*zF}hAmH@n^VmG7UT=|j^ZSYb*dlI4a z{1p@NE;4h?KU<(MYNhl>-PCzG9HS;hC4clw+ErdY##2^33n#9zRFKfz9&v(0Rh61t z_?rfQb4vK9#D`Sgz>%iqd|Q;%k)DsxCf3Bw&&8l*}C=bG7*TMU@gACuSj zDZ~Yb{c`&vL-t((=-Nb^QkZ{CZ|-8R#X-8Sq4HN`qAAE^3^?a zF#dRznjE?g*oct`e>4l$Pw(;aW)>xUjtK%uMF2mPaLc@qeD}_?7N+FE%)10s!B_58Td9GIr=MwG%YqT#_K$trBVQ+2!xX%LvpN@_kJ8m*_KL{N^P zCt*V294G{?b);Yq+HUTOfoToq%r>Mzjj|gBT+SkGV$HtKSVPIG0E@$s6H{P+#T((L z4-YaC6K@F^s7Clh$pnS+TSo;1T~^tLTioW`jDUs-q*uckU5E``?Jubap@4pJDY8e; zl&GVD9pXymoE)z*cf0Jzz283DwUp7WXxugaV^a4GVj2@6Ds1qPE)d%fkPUM^6ScYf zG_7|atMrwR)#yevt}BL~P(7i4CZrECx=DwI$(dP8duwo>*g)Q{QEvBZmB96=l)9ft zj^Pst@?fd_o77XZD@v#Ac?&P8wk~K zb0_?(q7Za$Gk@RtwlMZN`b1xYfMNMTO$kSGnVs_L@P$YAgyC@d8xp;LF&9MchV>%< zxP^*m@NXsD zyMAL!^FPrsDm_-?DH&6wyiB?ZL|SsQ-{qQz{&WmBTps$_VmF7_YhB8kw^ELzhbGyZ zu>xJxvB8DR^(<94T++mUHul&GKquiNXXEibC1ix9iG}_pBPQT*UMc}Qs)S4}9Y7$y znJwC9sH0@oH7;ZBs(Jl!>xWZ?8uV5DYk8CFgb><>9{-2mUPE6y+V`k;11o;}pvDR@Rgd~o zSrA7E$d@{jPUpq=sZb;{pRQkY4Rn>%!UXl4rGfNWfWkXu2&?YfB)kG$x#e?)`?Rv(N-I2F$C|P|&&> z`OA-V+x@wJ7{WH|*W|`1@Npu8SA4xKj)z%Fw&0R(G5UmrEl`P^^^sBW#Uz&s4t_5E z$_LHEF9OhdRU|eE{oPh>a)gZK8@9nyO#y|vl?0br2C>v1 zZWqh%2n66gC5~5^JL90!EWFI>WJk+a{9Ix*551&+NEG^{OT7g0<|)M}$Ka1M=0%hS zF8APCYvva-nZ#_{k8ZU2Us+EYT}?~#_NhO>Qlxgq8~Fx1_HIu_J0iCo%sC9nw5*1|~v7wq@LDp^jeKiitu6jL#G+ltKyKT$Tu$=ov`n}@e>iy)| zn9i|(zJxwJP9&7tKpdM$Me?p|b7(Z~Cn^Fe4-Rrg5TNDIpx?q6wT4cg-x>h!Qnu8& zuhrQ#Bf+$#PX5b(_|+7FL@l9P90rX9X&!pfN=OU!7&vGNCu6;(@dF3upp;J$oYlh{ z-~ax4>g{1Rhlm^#Lm;?p4JpYK;Jr3h9Im>5wO)7O+mIi%DRED5jTH67v~L~l1{WPe zDWm3@VN4+Fu*upoVT0b4q=krOKeH2JJ`}=B!wd8#9olqhEwDxkxIBMwbx{r2(V*7sYQ8+60wvVH%0i{a}mD-s@iS zfMI6cSuC9Q7I%?Llbob-@gvDv+Em1uQSqx_CGn}r0R2usV_ZxGNVMBRrgDj@>Fvqp zjB?2tFI;>I1+-e2)|SzqTRbcGul5Un>AC#b`M6t1pIk7fB9Pe=Gayd8hoEtFCSeaR zBR3if% zWXHLes4>xxOT{f}QcP`?B3bnO$4$$fm%$4ioX#OAJw=3obd+qDKRtxdN>@mK>B4g9 zYOTZ*rt{GAZv=@iDKG}RKJu21nQxOQMW(KfH=0EBtThN~SQnNV1uje3Lg(O$i&$Yy z%?E|b!M9{&`Vo5|SPk8NSPYWVfAXpxnH0^d0L&z(oWOs@bGVtKpcW_!F&IRA#4}A% z+wz=Ju>Jh+&H_Nv2nyQ#(9~Xk4#r?BSS4kB6=K|=s8>hve4&cwo-5#mL2CE>?8>>% zmoBL9%9yOOnb4IaFy%|cOFDg((W5KfY^%Fxzhe=ZwCy{vEk%0TA=y8xD0=Ah&<#1< z8HUkSdB;S91&z{ha<|(@`#Q>Y0?-`irVNKN(eR=r4iSP>_`<$(gpC4!gI9pJ!}%+F z9y=*CJSClq^{v@aH504L1jjzAy4y0Zc;DJ9$L(gj zYpGRl@x35+Y_v7Uz!D38{-A!qqWa@7h|n9=(vOp_qb4A0_X`j5yMd00JJ~c?*tji=W>W_Ki5wo+t#8M z;Jt^I;qq%>$zp|{9|cj?=JwEw(e<-#?#5a?v<~5Z!s!POODbk-P&2hp2>rO%etqa+ z?vjD(p0-xx)|;1qZ2KAbsQKWI(l(T9Lf`D$U5;N#MbPN()O~T2sV0_?zo95+Q-+FO z%NxpVEP1a8AMf^v#P*n=sDRqifQE#}|L);akHJpd*bUD|=UW_~XW_pE1(~up_|fVg zXI>Q2hMU8%9TOD~cN$V=W>%#sKRn=4>9S@6>x2$Qu0uqB2S>b&M1uAYjK`pDyrH^4 zRce|4;BVMVXeuBhTK@>ANBjAwJ9JN|6pUKeN}38nWS*MyU+VL35`-lJ#|5Idj}0|Q zuHrIAWX|zevN+l$et{;znq`HmtchLy|-Ap8OL^YWY92{*FxT86-b3u<}}tqKy8=F{3PRlWlD%O zYCP6o-M7T^uvYaS1>$n{pfi)|+Oh6AA@r;{oIHuDgSbDRV|NoqvJLM|^%8ZA*!;N$ z_dQm|Gxqgh)|`yG@C>O!N*|euIBOyKWmzVFNZzb}rlc2Hd-u!8)Rz=Wmm*{~b?GRP z3dutgG#Vcvx9mej1P`wVAsQ|LLsfBwao{1k7$duRSDH07MtCd- zm?077RX|_KpGYEmHm!VHtUwIJ1=>1ZIA4~$Riv)d&km&XKzOi||QeAb%nmWQ{;gYRAql{uw zyzO1kvtBMm#QB+i@{9ed)H~rK{S4;tpahW<$8;0MVOwvMH>r{`ZGbChm*!kwU7~E1)K&BQ#eGP;e;|t^CSPAff(?s_X#s3 zw9vl&ico{T*hBhFH)hoas{Q>c8*5Bv1jwA$f%~C4x71%M!6Ceq+Ww^oYFhS1xe!Z# zVhY@~$5umNe3*j2kjRES#o5bK6ju{gz0s`X{=A-{`_i-{h7H1Ium#>Ze*w z9wjh1>^0#F@78a?aEEG?38<~-CIXFrmWD>?Jhhybdy_E;ROW}-h+N^5d=Gocdu!+(c=UOV)kPQ>v=l78{@XY{TaJv0g#$-*OBsNH5Y z+-qagPuuDs1?YDaUtMo6GtyIzT}D{5J7|dP3)Y%`=b65Tm^!o}*vx=J?m_C6Qq;># zi|l32w9?PTQbf52Fo6XiEZCp|WbAH->Y9$X%n91{yumEuT;m(tEqY_2y%6Jnq}(?a z{>&Z)2QLeBSnYf!^CJFzFd7bGf~i+9x+vY!ic)GRfeUlpO~>8(&6HEAK(r%E1S#`a zCKkTd(GdVHg-~b|8=_}v7Z0PuQQw@+wTb=aNkgSQyPR{}PE_OsJWTIzWQzz~$vLjI z06`D62o(z|l3stDF10e7M|s_UsY9jwmu6%^k`RMSwce6MBgv?yv^h%o{xVo+nYcFC zF#CB!mF90EaUE4z1ND6%6{RrqW$@yYJctB_^OP|w_{Cdoe@AzcIxj@CZkiFho#M@( zufpPMdhJ!yzReI${4ni+zT6rl_XA;hxVf~8Who??A4aUqUQSW~fop?*z?L~qEQa(j zal`p{Q5o32(?n(QIy3b~6oZxr00uR-#$Kl@i%Z5Bj4GiJTLO$?*{Qyy5vHKAAL{9h z8)>Q0m{5kPm(;HIX3w8Xt)hzyIR^7m!qB*EhS~hp!;kV)#x<_Tuh1`H*qw)ej3^(! zv#AVRBz%0W4ZiK5)n8YC4+D{6=fOOUOd*4q7gn4>i)5sMdK0lWv%k*l=EMRm*7DDc zC*4B>l^@7O#W(vv0Q1EDM$#p|Ta9zn9R&y~^3cB7+OP@^g!y}3Z|^;%>-MW^q~QIy z*|f>7>6WJQ>OC{7TnH^B*qkW|>^hYB3XLskC0d#P$?%$zO5Klt?vu@Lz&T{?ZG#r>P_}U`QoVz-9$_UMlRNpu5#*Q^Y90(#m<)a24Mly? zz^%)#2yHl~Zk=$UJ9KW`tz8hc@KsZ8i-XB3 z0>ld;ae-gr1I~k$^GHKOdrt*Ne8pC=J1HSBD57mx@ab@~>SB68sruS9Rn!Yjs z?$%+49auKhvn|Iqx~rK~NZ4nO({s@`R0A9gI1t951z6FTcvT{F1aQmnJ^7iZU96|Zr@YS}P8li#)ZGJs-Rwuh$-+1%Vb zj+M1#-C!M#y){@|ioIs+w>qU>p6;DF!kw%it0xOzBHpu`hV7>*rIc?c!7&3R%N+0J`Qu(kF%_W+y zEt_{34Htd_O+d9yY}Qt=*vt5HJO&0;O(L3z8}q~<{-#@Sj8P7u^%q9({v8?wW064D zrM#Dae=cwo{H38mezvlg>hlRVY@uw9GSoRo6^A=L6C-=lp=M4kVP^8iRWr@bQb*2# z7n|`6R(R<;l2{7^SVQA-(cKGZIDq8Rg?(dmCSA~NY}>}fwryj=iH(V!Jh81OoY=N) zdt%$R?!4=}>s$BV{kQ8>*Y5MDdv#Zx+NFyODS}JRrKPZ^4jKq9E1B z7f|h2n{3mP36xYEnG1ew*8PGU zB!Z}JtEQ-c$*g>GYIY2lz#$f>Dy3j>WPo+=+WS!{3)L+Uv}dzk!cW%JAB)j7l_qza z--P%s#Rh+rfmM_KU|w7MIiN==u{;aej^{JVcOTAxaW-dw9+5~X=&yw&%1<^grq88B zr2 z+_=MZE+jTa&=tssw#0YInP*?F2EiC(el-ojGYwMVpqdKC1aR@&o%B<}f|`YB7I(eS2JaK0)(`>)Y${N8&;O$FQWyX!6?WGrN z*55u-%P4$QWG0Nnj9ZsSBEjE$co@CF`s#=Yqj9?{nKqRjeQcaLdE_hJ1whdwk?3?k zr^S{niSj8QNX{~Gq+?JsIoW18F)5ElPIy6`m(YXUdDV2{RQe!+xkL|Hx&-D)y}bG& zem7Z?YL;+Fu^WZphrA0sQh^#7R(Cl6Qz{z)-#%i5jYr0W2$e9F?0T(SKfC>n^;4*99%BXI_n1|utW(lMKFY>}0TJys0Wdttnen2bQRQnl z{laXLA_q*+=BDqKGm>al%#2-YrWS`QYSPMSEWzfb{`gBy33G5>1$i&oDB&rLxv^c7 ztXk5V+mYCQj|KCA)BHD$e$}P2T#)J0X;hD~t!*a9?F!592~8SE8*%2&9G`@SK$m19 zCZ;1wPeonkcJ&h>9Duf2<{4V6G#*~BU@+zzQzJ$Uub2^z!1%RPGR=nC*4gll4o>{B zV+0(aw>#rg^l865A%J*0`o*UI;N}DStF$Y)7KR2rvA12ju)sfQ7^WEj07LvkI{5dD*V$nG7Vk#q}GkS4qD7;DDE0Wf=tSWnmX0r5Ijq zAg+BVF{Q$+(ghZD@lwh$uwzDLLb&MG5K!)q;BVedGQYIhGf#Dk$sVD(b#t1DTu z5M1djMa9x$0NmEaq#dL%sYm{t_I<2@W(^8Np@?jcc-zfw`>fzY|MBJQvyAXuI3n|I zTT(i9CJsI!JF{2w}OMgor4P5mQP@89F1b76WP^?%nb^L5=?~#);E|7W5 zr18%qOCr;?qkNWo8KA#ni!UZzu;qz>fBde*OR!pDT2<6dA^_|)nNe(MRS5~GJKYBw z^;5r|rmpz+qswCOI?Q|4htPW2GVvjjl_9NK*EkII?`7&X!fIQ04^{AyLF`cKM|^_s z_!z-80a`%1y{nUsYui_xn26y*WAaO%hr&$4OnWKQl0AZr@98e_vcSCfXu!P{6F$+& z>>h?V=a89$-qdD=8R!0bu)7a_+x45lGV!3Xn^_()W7bx+UlG*7>u@^??jVT6e(7RY zmyrqo*p(AxpA=_`eR|a`L1ryK%+baoZdnD{0hB;YWA|;SUK{Jai&9!nrEYjc>RuHqTe_46>27`VhzLRI{I^h?OToh&! z&N6T(l2q1GBu;k2TZ%Zmg+#xI2Foxn7$~(L?PKlrY?kO4%J3%em!;GaTF+s6Qqszg zle(&mT_G&?;U0dz@QyYd%vTh9uK-=k1P}*ZhgoAhgjvBYxUxZI29)?L_r%hRIeeAP zvFEAHa*oOtG)Em`2?eKoU3zlo^R)i&)<4nB8vMNrJ}zuws^H)Ll0u2(&}EW$g~tLA>zQhzDg8Ujuw z)V9r2o^=w);t zS8F{=eZY5o{2g~~$OxT?GD^x$0B!G@)N0Ihv-U3b>?!!Ww-${lz({uwhxAj<^ED)- z=J6zPKga*?8%1+Rdt59c0WE`yV6h-^QEn4^N=Cv7&QxM?u^^JE&Jx}`CLSi<)hQF+ z{6RWvqk$w*M7x;3mu~qMgu=1g_nrS8g6odr+Kza_dsRZrYGLk`I2o8UATMA=O79lk z_93xYSZ8Q6DhBT73o&xj#fQW=fm__gt^;d^(T?r;@oYDbC3~~k^MYfy$?d6bE%VQ^ zQR&wbSt7h?79O_vQUo>zds;qBOu>{JTW6pU%<%1tE@w)th&8d(hGe808oPM%y)Th` zrvWqox@FQ~9&E*9&RH-X;KEX=jc$>tnN8$*)Tk*aV|Fc=zE5GI4`ogUVT_;do=UA( z1})r0CUdI-x=YqJ;MOZeJkYBzTr2Y0G_e$4}>;ofa`qoF@{ z9Xd^!c`F_!0n&*{@5Jk;YFlXZi>#a?gC$v`Q~f~Z{Nb}sNu@{<;1+aeh5Jmtvdo-V ziOzTIcS0e7YWHT*NWc<(?!Zl|job_B%0i`g=S1DxIlB9KvG&F^ED*xV!(OI5)Pud= zgM0F&!2mrakrO-;XdM;C(McN|T<8t^+s9c=pz)(tSS27&)WGkgUBqQ(QnV+H)QXCE zWDpb?^`v&K@kD+duuTHt_ug?dFWQPfb1I0q-yOgm1y~`!%~|HR;_?6c@847e zVqiVi!;dn!ZcrlOX<(XM1up~N8bW&hg(QnH;xa)Y#N}()&lQa}tlI2n+8~r}E>_Dg zl55*rzF<@HE|+04b-~?zBu&`YWMq5yFgwnfua3S6{|~Hiz|!^iuHZ(->dhp9P2wvx!H1blY#WDAlR? z+eBKvVe!#HSP-paA2mJOd;201(!d)!k)c9AVYR3O9lm<=s2<%=a~B6Fd$<14x2{g3 zh*+czj7G6N0Q|&rtf^&YT)EU;2H!B6AQpKSTdRE_}@JIA<_-Yh>YIe%l@ zH@Wtfe#24mIMC)}Y#lI=0@c=qf4BM%=dGu32)b!kzBJw4W^;`pyj@UfT@ZS@N#nV# zB+}l_aqeL-eUF2d0F?ro9y0SPYVa5WxKjQG!8iMI0M71afBS}aq;O|cR+-Y~L}(3c zus$n%1P_$t;($*PH1Loi74>SFKj>!FO;L+NJqZUTr;iBXQl3U6*VSTUXrS*rBE zXfQPdQ2UJ`N{pGJ49~T!!K@RqASJ>w5oCe3uG=&OK{Q?D*Zzq) zk@&QA1Y~{tM;&xEmb(s*Jt`|eXj?PO*Md!t;j$=WMcmZY9@`~SJzzaQ+hfYz;nC%h7yuwA=uAl<)!6 zk`C6=kO=W>KW@zvSnFuAoH2B+pxx)CFJUXi07=FNu~oh-xK^{J(3%m{H!*}ag(xvq zUj}&$R^;HL(Z!IMiF=e4TL{o*vPH|PGODJ(<>Sj+{>^0i@nI7$J3s%HK<`ne#V@-+ zc-%)AuvP0<su*ao1TKOWR

Rz`$~4Us1*Q+#6n7RmH~x=qsW)KJhyD%-!zmRhoL;a2oW6w2rIfKUD#jzW_$V zwd-Li`s9OezwhA$;Zkvlb8JhJh4w7Ij>DFNzq2F)&R&V6j1bbdQhGNBzxFw?&wb?Y z$NR>o%R7oyHiaGFFm3K3LS}cUn~cL@-Oz__ek(6#`zWqQuwPf-i9-+cdkUI69O*aM|SP3=a{nk;1;+%exi!~RBXkWR`?7~Oemrm`4cdyr`v16I~!igA=$IdR9-Tk z;~tQh{A?-(AF!{`SUg8wLaLdG>_wYY|9;3s>`QuT_6~HYOh=sp?M#^VwgxQKE`C%7 z*HSx?7>Dd(i?CJ-2k$>Ql(O#5NE@QvM+f(#WN@ceiT%3gQtWIQG?n2_B$MvVIoH5gye;y`RH0%QcuHe;scvnRC(Fbno7hF7&eQ3WTI z2FTRVI@a-~*cRK$_89sn^8jIp?Oa-mAWt6vrqG|)YkDX6OK$z9P-!kY2F@L3mpLF3 z;(nq0KgV$Hps4vjEJvYeE>V*hv(PhGfn7;u@2v@E8<=6hQ?pL6*NXkR-&E?`-vR9Y zPL8f#m2UcZF6phfESnr@={m?|3n!~Gl&&z)+bMl1xTo|$9LA;GC6ui@Ig|eUhV|CCL7emBr2ni(bm8fI)es!H!=MG!eOXO_H8G&Cq7}C$PKXEgXtVNw(wbbpApu^{@YzsL-rab3flhKSsyZYu0Cm$he!OINZjOZHz}n4yf?(N_}=73Uv=~ zIAu5GNq8qsz{vSAm&q+KR%CS}8`TRAV+HRCNyN0PErwx8PS(*PfIs(gYC=w0BCHiH z(V+j@X$;)^5uKFhGvDM{N^a^r8P#sL7^M46hQ9%o9$4%lL)pO^>v zc{O*_fap3L`JR&NiuKEmYBksJ#vWo8Q4eKSskvv`+2P*C_B?pd{05D1-^RHo{F4|h zPVVK2b&SN~zNf7a;$!prKoM^D-g%KMq+Wt-BhR`5K3=RVEsm|QB-~Nun>>{{IATK? z4)dy`HV3dxU)VX*RffBN2|5?ndv=W@qMj7K7V@^Y_=7&zNZ;{~Um6x12@bu$17@<1 zbE{ynxR=_GaDyt(=p#0Btn7QRo@RsGG_`!DuxlQdx;VzX0u6N4jaiQZ50if?`xMc3V5pk>r9GKqBqwF-!F@ud8yDM=Y4X;gNH~xt|_4G=+ z!7?|g4tX#dMZb4EyC9TaLBNed{(5rYo765FS`8zgZ5~cltraM`#IV4r?okEQKos`T zJ_z8~_>%ZVQhQ&I-Lo;u`Y8LsWIE`u5#=iF9#Z&od4g!hXKg=YitKSbx&7)mlvSZ&rzZeTcswIr;^YcSUvuuWwDQqdu|A&zEhHq= zEOsf|*%LabV8cOaPy4w&&7NPCx&yBiXl=(oR)*N}pz;H9_XfvxWxXb@4+!8jH$mCf z7TdVP{~hWLez*msqmNBMQJb1pn2DsJn5cK8f9G3Jf^hi_Q8g?aLs!jV$4c0an;8P6 zU@Lvz+*1;3>6XjQ-HY$iN4!xZi7q=$%$U#YTr90z?c@ea^VjM*V|(JS*z-{Yo^6bhzs&nHgE;2mgk-MlHoua?(w2F2$ka~= zcM{dtQ_H23D5`(hQ`w|_DXv;aP4)nuhS{P|`0&B~dbRR%)?&wXwd)BsGAb5~qaLR6 zRBk}Ll*gESt!kX;ZY8#^_{d&t8$zg+bafT(MKYuHOgh1MxgfxVqoR^1x%kGMqZmEs zo=clwxjc%8e!x}!Q!j3|#jwIglUhlU4`xj)O7!1AhDHsH!M-0<45BZap(y|~QcZdV z@Hn^t!5C{4RA2i~It^t~wHyX=j#oolU@WS8cbyw*r}$~ZP+ZH7!QaIcmm3M2XsrP} zZNhZOf)K})VLiO>)rEyCQ6?B^N7)u$`;y3&jUcX@#2^b*wr`^D_Y|MHr_s18RejdP*GOg^>Q%afibP!>@O>b0*7MW7x`P zjuU4njteq_aYRA1Z9D247rFW&A(BUFgCC48MFVxSQgS$+C`w#nwI|NnZ)9#~LzpD+ z+1ucLqfK#MsMI;|6DGBiwCp!h)skRLd8?Uip*lLIL4CyA)nl$0%o6}u8$iG17B|&+ z?~?rWAvZ-?V?=0B3#f7@Cb@1;E&q&%2z4QEYfQCPSQdA@g4x15~)}~YH`PNEzx}8 zAkRv75YmPevN|1}yq@#Ac$i(DWX16#h@ggfxDSr7j3*E+xGn>~84=sk~Mcg@|qPmg%~T{@|XNG?FG1*bc63 zOniDw;RHYf_DV>z1447T)g@+*|7_2HDF3~o7qJUKmhG5#qpFAe;IK2?fy5@fbxR%k zUI8N>o`Wwg1hhag%OlKZ;gk0o9Tk2>DC(S*1yhb-I0NS={xOLFYpLyRKpWd z_DJhWds}35EJk|Mf@88Taj0R+H z4E_RGA;6jXVSxXu&P{KD?&Ee9i<*7;5#T^`6A(<<%D<9oIRkP z2?4}@P0#4PQli6GK_)J?Kem6eqDs*XDod(>K&&lN|FOD3!dxrAlyd=%UkCrfH(BJ@ z+MhQPpzcijrSLv1_FIYTE7Dn;y3P7W6Q|?|+CqhlQAQamN;t=Ktm}q6=RU6y=}pSd zats-(7>**dK`_jX$@pM+?HqgESg~J2gf@Wi#`yjNu!p2Qg@Hgjj(k67QGJ?$XHC1nq=Fae5i7fEgkS&g(=Wz=GOPPB&z|Cxa_GF&h zYYRu3lhVRM1+&*(!i30Z&6w2&Io%`+qUO3M`L3XH#mR2wOzr8-3$P6ObL zpAhn_6y^NoE~$+EM^?04CHCiQHz9PJMm=BNIij2X>Fa-@&Lz?k<*925Yv2<}Rpjf2|($HO(1_zaCu!6t36HyL)PuV_qA z_SiB$IFj_GsRcjT!#mZsOrWL`Qs(+MS=@$bBDey7T{escg>UeVCtM+%f`o9*dpL== z5SxE@Cgc<;{8De#Uo%Rmz1NpdZoB8dP~gOmUY=BCwW9q+TX%74{z+iU3C#eYe%u+Z z3EfM_{)O! z(JD9|OYZ>>ETHb1KZEz_mI-7}SlxDlV327Km0rB~2pmwvEQ61yv=qMcXS(KDY0o;# ztF^oXy}DDb&v138)7vp1aT|~@r)G*WR7D1lK@~*PE}8XqRB{zlVIw)$EV4GNdW|a2;JsU7N4;tM%dYkI zx^}D|46g778jqiK{}YgoR*qg!^jSL=8u%s7lOF3%0EI!ZQKfRKjss8J5n&al?@3+$ zLz=W{WFU&BR05mKa$pR*fTgMiyGK~~YAiew6&l7YTKA@eDymuWi7%uD`b{8wb;`-l zBFTw0FAFA44zJc!VB^jbb4oX#a^52bOpbzdIL<7ljzA7V7YT5?bM^`i2e82=8MvRR zBns2yDwG9IG|okg83aFc4%K;bk9$wMndX9Mb>}f%OuAEawDt2BqCd~!nMTXB_*cpv zQyYTt%gBjhf0Fvod&Lc`$QT@*?Z3ZI;SIGuL=BHIf?6fG^to3PVl!~!8{K+9F&m&| zKWL^W!=Gwor2<&0QWhint`kgt6Dn7BUO|Jo?i6;L-X}RSJ^VN( zm?uYUo+68eu&2e~qN1aeMi3?yVW0(4N?uXM?JzlWDOx3cm~UHCumy2|!pS9y zWCH#sztYzp{{yqud!(--QriQoS0kkbw)~mdsDHV8Y$J9i=#RV)wI~Y7U)aQ+)M8|J z-hZj`ZF%pCc@|Zyce$$uT(L>CAinfm~uJUu+Z79-8KkCP;6-Vd#?1&xym z@=zz5MMuovj@;If2tGzYSR?^1UF9R>1tt_#W{ZO&NB->gh2Z5fwP50myryKYQsLGd zVgw?4EHCPH_E3p(fqRZenHL6sV3xf7)-D#Nt{uM9#L#e<#~ClAY}|B<4T?A}*K(HU z1W*7=Uzu2!;0q#Nm^I0>z*tp{^P#|32=5|NbLS9k>t8(Q#WIfC{B2=jLn9=zQ!e-6 zkDvJhN4rgM^7d(S?b1tLFi-mjB6lvs$`YI78=9`>yt>_Uo5N$Q`vj*n=*+!24S$Ac z^+S`oO;Z`$F@I&2^JbIunS&3RP@6B4f2{y;zOfTP*Y$Zso)pI%Q0NtsxSty8BYx(Y zQK3q%Ah`M*{cBeo5l=opk_SxE2IBTkJ@)bFJ#0mGf$}@)6CeHAAZ#g>>b*m~-Hi4x z2JU!csQ3?(Ncge0ZCL-N$*{wqwSNDx^~U^|>Nt44TxAT{4b(=x#Mgpz z*a(z0vi3}w{PQXNqe*W`+4c$P60cAz=jNl}?vMVuNm8z9jhSu%4qHlFE=o8f#gN<3^NPXNION6ja8z3hpt)(-bn(m~k_@x7X4*eku zRAUGpLLiU$_7&)$Ru!}O&KI6P;MMj9$4N3Y1uN?`d<)A6{HA|X#f%z7(WgP{XZVN zPRI=~U{me?>uLEHBL)uCZiK}8k3*tGdH_-e9QfS=Y2NZY3@Hc>Ea-s5YWe4i1qVv^ zKw`FBO+osB1F!o3-5)Rq$qA0k#sSA9Z)R`dVoAcz#>$mc2l@lhrF*JGFoO2o4H)u? zHh}OoP{n|?g<0{3H4H-6R)R-hX7b+I9ICrt?kT_G@lw1-qpm-_yew!x`)M)b??9Uu z;XsuTI8dUHmWsy9xVv~GuA1s##NZ;{&yh5%0_z?qGC~n3ljRhFA}r0C3L~~D%?e6^ zV{5@(UKfB~7!nF-6UT$<;Es3bCP#xT%qu`E`V5yzE^xqdk1!7ebEcomm`K1No5Pwx zqh*l?VKG7@XQvNk8Ya1yq)x?64y4x9Mi~;78W4rztEyw)Z5?*Zb}(F08Ia668+3#s z7oLDcv=Ig=QMQ*vFQJqVD4ga_WrmL;tnICo#|Z(<1Al zi=g6#hjAo8AfIw=(57h~T95oWE{qd(xiKtR4-I2N^e6p25L(SAK}!f)jk1hqjN?=U z(BS?$CX0b(%!1p==8m<3RO5U(45nEH2q;6vhy6*Mee1%rz`R=GrgID{5*FD*syKu} zwb+o^!7c(|V_1k_y%@Ew8P4qBt&no7LWZ!B1_PnIkthcV;Sj=i$M~7ALTaF@ zl95}h+J}{_VGT)VfwbTl}sp7!)rVrbKxK(E~k-g68X=4<; ztRvy5AlQGv>0kEP3`u=Qt~bCahS<1fXj8Q6HXCW@!T?JyyIUH(gm1j=f{VULw~Fa5`*|%4cl?& zs2`&hc0Q2d;j0Bs1wpo<~wIS2NE0QV;%|vUZE#Aw{`=og7)6^oXqnF=+-mvX!f3ie~RB;l6QzcAHgJR@t2w!%|cOPP~u(J+*@t2a+>7+!>0!pBwW{QXu~={ z616q##h+Dt-b?t*-+Kq;3dDBfuN$6rAR$R?KxRx)K%CwXY6izX9C`PW zY<`dgdEG@n9y3b-OXrY=7IueNfa8W{0|y+-UzMoXjDo8ed{tAcjR6Kzgm`cjS{LOH z2>Lar?kEAmb&O@64wT~$59D#d~jOZ6A7aIYj8EXly+wlX9M3Yl=?<;I8k{>he z`CVo`0^zDN!34@Mc$EjIGJ=H7-2U{)mZjiGUz~|v5+oH0vPK=74)I^%+h{6)wfbtD zMG!{bweD;RR11_?u4QKid3%P}p)x-ZEU71BajVH_J)?3dt~pPkXlSon`uUKFe$FT_{Fw!U1BijO_haUcdD?|MD1Ajc0cA*v?MO7!WtVX4B!vtg9z=l#$qKnPdK z=xAx_yrOG?*nsF-p9Ky*>GqQ~!D#5}>O=1C9Sb;ydE8BFWvASrU7PfgOar}kI_w7J)Cr5Zs8^*<9O$jqPQKDA$dT%4cY=ABDrDyl~q!4 z0DZ^(tFS@FtEGMVY5)ky81$P7OzIt1Ij|guHnw4IMyQ5*ckb)714y!aOS->_Cc4@& zg!$NlU%5^T+LTlmycQ`f8JbiVtt*eEYQ02vNW?=Tbr77D$mXQTIO@$xwR{k|FC1V(N2Q<8YB-GUN~Q8NiUqBOowl^J+?0Aq6b;?PvPCJ34$k?Mw!h@YR_>x)9hSZbS2~BX1(DLMp@In7j5J zPz8RvwYz&c>_9evo5v;gAwKcRm|x_YTB2DgoECL=)e|cZ(A@!w7@N1mFYY&!q8h|d z-Yb`}J6Gr(|9%mco#MqhTq!(yv2?$Z>*uXw`(8ipptewaKCu6Z@3?T5y*g5Yzlnj( zPnc3=rFOQQh({fQzvK4QNi=)o$xc`rAX6ASo8ft-)1N#aT~&zZ^Zi_3MGZ}0+caTn zti^8q1|T0eXd?rhNR$*XnpMO%wgKN0S3HsPCU2tHx3ja?WRY`S`ReV6I+qKltnaEc z4U8Y=sF#;pUxzj*Ums$>`<=&9XWXMjc$v%5h-*Fm9Gm1{fEs?hw59=IL;VDPc@Rs> z{gw`TU}g>xn zy3ojYB$?-Qd~-N`co;Ww+%e)C3PxrxbK{M4=)LE0K&{I4F{t76ge6%QV~HB|qN^Vp z1GYT0b=3!`h$5bOcCWedw2m7Si$OMv4_$8#dI$emH?gd7bfUvpV{BDud(;k8hWZrU ziZ{7yrVri{p?Sc^5Zk9&xp3m|cr-($08N~>pG&^BPTvXO_wn`d$H__fHky90Vx57L zFoSqh4ku6{^9U?IQ7Vn<=ARzdl^*?n1htpEX3B>UC|mOE)-DiOS68~Ppw2#|yw zaHyw)ZW##lUh}t777A8_36Ht3JUV@`MTo>b9UA! zn-pE{k-M6I%fvr}tdN5|M(cs4fsW&JR2qeCLzKl%O9s3=hD~r$OA!$w{p{|p7e74t z;d2QXcomA6uI6HHBpEciI{elFIuzje-0mJ&V?P4iHi$cz$82GJ`hpoROeu`EACs%e zGjcb#nhf5S@vn`jV^G{=sz<|6MzK~eh(Jym9BXo@l3Wh2{gPhkdq6d}v_rZ!l&+~# zY80XN4L6PWq7HV3az;x^UTM3!{sb$gA(#XBroaqRK(U|46%DR$o~Brr4#!r_sxP;y}}4G5+IrHEv(%if9PWWIjn?9Nu)Pwzz>vg;t(B6UT?)>;^)!~zGSnx zdPi_LmQYco@#5l0X{qSDCd1qha>1rOMT`84XeQ$VTPM%EC!o7`_~(!?r96*+T#FFt z?W3KG=Unts???^hOV<5$g8G~4I5$9vyeiX3>I!B?J`j(0J_wN9suFuMqc+YyH;R~z zo7eD!PPl6L+l{R!gdSGf+}+(lEF|-i^)3?y~FJfZw(3^-v)r!OH+Yg zcsUddSW`c#BNgpolrq6~Akn~pA#r>KguV{Sm#Vy}1ne=RIvw${Dl$56jlN)WHuA;S zsn=o89tro@l}GxX{JX2z)X&dr5Z$yUay4w{XhXxA zR#h?^)BvsPrX^;x^~13dD=Kzw4{R50x2;WM@pvvC<>aCAnWPOoVljXcpn~7z+s6v0 z&=W356VVKZ)}Cz;NpcNCfAhD(92U^tnQ>jIBSWuQtf ziYz_jE?OpnwS0?}*-k!{6??rvskd;fpQ zcNPZ;pO6oa9B1_nV3O^Ua#FoOV|=j*W#Z!sf+NrH4IHt9@kYS(U?+t4a(y}JzaT7~ z%;J_`BP852sVnjU#ViR05x=qQ7-@F~s2J~+GSOA^5xRYK6n6Z&Cu69_2Ea3-zoSsU z83_J;JL3X2+Ko78p!r_j7+vIUo#c4+3v)h+lLsY}uTz)oHP`hkncO<6Hybyyp>w-8 zc`T?;fhpeuK+Y=uX)m4pOwE4X+s=Igxifc6B&t7MaR^35_D8~2W6g+PH{2^=WlcNe%aJJ3HyG?y-!xX%gc)YVG zaGS9vx)y+DnFf+Dy-B#nzo_%!?XgN^(HY~bD&Nsc&~;G zIOm;i6Lc@IWLT?|z<4esI*mEm>|1R@Doit3wpupMo9QfE4aRKKK%|bdApqKLo-vDL zCKv4x45gqJwWj&Dud2NTOWX??PBn^9XU4W|cFl0q5_~VshJqirUeSUb6!`9|DT}ay zf7PNSPHd@1@P2r#6hv&A12L)8D!VR6EW@&|?Hv{s1zIhO%p;h5_%J!1lor3SL+}VW zmXtLbFM*1}-*L4Gjm_x1QUH5skXj)&{0wev+CL^~dPHpQy?j*hXt#zTgJhfbbkSN% zpWOa{7k>Z9dyn27VIM(|Aqj+<0noo=%CKtCvRugfBO2{5aV?;!1`dGMG0juXuNdwP zOBnUS)C#)~qfQp7b||fc{lnX6*I`~ryMlLzwA0t0F1_Z%Q{hsfsXr< z_18!>+2^aP`b>n6qX)1j)wSdns_EGyPLx)+@0*7#HPfiflaFPks0-v=lBe#<`BgN4 z_9xg3@HW38dvgH&h(5#{7ADu^c7}L(!4@=W%V=MJIjMvuIx5qXGf1C)_{sb$e)?;I z<_#7eNjIr!*wH2m8hG=~dAE@C-zZLWFm7&O@)2YJG#d*$8y6cVkl+}S;C~IFW5{+K z7H&8uNh>F37ZMf@_W#YM@Gt{O;~;4PF`8qs3&JQ}$8>Mf@i-mN_Ezj@#`XwNT8hk~ zL?sadgN~+r(jNjEcF;U-JiF>uI@=Z1zmjk1&BmRmT0v>j=6_JK$p)xT!Xl}%T@y+V zv`Vw|vQ`HNhnQ?w>Uj)jW6~X}QmNLYJH@NRIk*MF9x~8Vps#sr{h+dqgr5oq42)0r z_KSI1q~GXO+yDMK_Ff6c@cu-`)Zx%DR&Mv#Hn&qxOc1(NsBR0RzIrpnf!mGCQ~wjC z48=yA&FNJ;m?MdoutFAwuD;xsWINq#eNi7YL|x@tY~6@Qh*hWs1!`4%@TOIkXuSNw zGIu|GWNC9V>!$`b;>+68$_Ekvkc+ikprg?tVEW2bN;M_zJ378ujez*PMI5Wt!73GR z(jQjrhveCUsL{rhu*2Os_LSNF_9g0TKpw}^#>w;q%KGiU2(=eYDWj;O*2lixTw1Ux zdf3qH*7l&~0I~-5R=?HLxmycl#zi-a%z99tNSLM%=zX$E9D$kA?nQV92$9F80+Z0V z6CISNQ{Yn6nDJ8F@&_d+Xe6R^X-i5+xQDwZ{0Wa#k`7j^T(`P2F?8*Uc@HubQ%2p7 zV10^o2haZ=cgy+r!3gZ>DJ+O3wPso6$$hwZtnV+txDyaa=+DG~I-Dd-ksrwq z6QMau!{vz+B#M?YOTw-Jz>qJ(n2>{ zE)`j)R{*hxl|!AqwM~$c9vPs7uu8OKEtJ_k?QV9rR~XbUwjfgn$cS*D(t1wH2g};G z#=wsGHnEVl)p1g>?~#eH2?eCK8?=)xDwHZ>hcFLF2>t~}GaAy1i%V>B7U-7Snt5c7 ztM8E*silUYLj4BmVc^=SlKD~Y^D+o)k-O9fQlh_ie(3W`e-Q((4xbQz^7`d?moYY3 zkuD4Pn6AI+@R8GG~J z|19qRYl)NS^7Dv^iinDEv9hx;vI&y>|1Z%;{NJ|) z3oG;gwb-(5Y=H$FMf#G)`v zPJMfh4q%#oQ{%OtLCSS4*2&Dw%T;@HL&rq{5h7*eYU$ zb2})xInMlS5`8G0S2+bgHIg-!d8FBhW!086}IQAV$I@OIE;oW>XmO?hQj=*R_SoXtsR zAhG$6xmMb|ohFv&vry8mH+Ruz61w^MDja2##q`0}+S2P~w-2P3U9|56@o~irD>1!l zQ#JUNVE7>C;TaR2u~I}?4a(MkZ-8^*dKQDj!*)C2A<#;XAYr`SE(k}S@OHjl0DlEv z)S5DX$I^54rtG!jN8ys$;oMBnrrr7+AMN_t^}JOzK&%lV7cbVGHGB}}TgGGrrGDyQ zI3u~Skij^Jt)u#!a%}9jp5K63wamCE1D0ec`wvZLZH0wH{yoxMG(sqXstGfX;ST!f z?d5+tlLH@pbf9Bx)C40&&$CV%;BsN@ft0~uh#87GTg|9@sh_ULMme&t%$T_O=7`wq zr(A9%A%5%A@3@fXUngZ52$W~g^m;vX3KJ#b*-$$e#S5%iU&jSlg0C_L1)JQ5C+t5; zV6w>`XpTxKXSK6a&)HA4KqQo*N~v<{ZeCepq~P7H=dIopBihTaz*=D#0Ra=8_>(%{ zrtJxMkx?R)(wI*-QUX6f+f?jKu}h&ia*@=vUpy6ssv)6;!7U*aa&eVO9C0l{t8%yc zlT^AYs>%2!dLC9*kZx3L8*VP(?J5=Hb;+Ls?cry(|AM&8NjHrMHss6ghlZai;7^YC z`~~s)*%k3cK;28!@OJD~4iH%?2Vn0)ErQO$NhMo?%_kU+S z3tSv;!y@+1la?)#&nbT#r?P!ZmzCz*LW?Z!yAf9WdNrU90# zn!@Knp?_o<-M%~3p@V97x+_>oiP{GX?P^oDRVejlsUaBpCwe!b^ve}6SgPjSMi*p> zXQp|k;qv}1Gv98R*aFp!U+y>m>2XXn;mpb{J+gy(XaOrh%5De(lWF68G(O8d+~kdD zs8BtvKO(Db{F2V?atQl}sL~5Ejg+h{oSD6;vx}3Nk==jjx3M*xvx||Fi-(h$IUE}| QCmTBl93`cMk|f;!0mB{LMgRZ+ diff --git a/whitepaper/Dissertation.tex b/whitepaper/Dissertation.tex index 36655b6..458d847 100644 --- a/whitepaper/Dissertation.tex +++ b/whitepaper/Dissertation.tex @@ -530,11 +530,17 @@ On the other hand, \hyperref[protocol1]{Protocol~\ref*{protocol1}} requires mult This could be overcome by reducing the number of rounds, which comes at the cost of increasing the probability of cheating. In a protocol designed to only facilitate a single game session, this may be acceptable to the parties involved. For example, reducing the number of rounds to 19 will increase the chance of cheating to $\left(\frac{1}{2}\right)^{-19} \approx 1.9 \times 10^{-6}$, but the size would reduce considerably to $\sim$770kB. -This is all in an ideal situation without compression or signatures: in the implementation presented, the serialisation of a ciphertext is larger than this, since it serialises to a string of the hexadecimal representation and includes a digital signature for authenticity. Compression shouldn't be expected to make a considerable difference, as the ciphertexts should appear approximately random. +This is all in an ideal situation without compression or signatures: in the implementation presented, the serialisation of a ciphertext is larger than this, since it serialises to a string of the hexadecimal representation and includes a digital signature for authenticity. -The size of the proof of zero communication is, in total, $3290 + 1744 + 2243$ characters, i.e $\sim$7.3kB. This is about 2-3 times larger than the ideal size. A solution to this is to use a more compact format, for example msgpack \cite{msgpack} (which also has native support for binary literals). +The size of the proof of zero communication is, in total, $3290 + 1744 + 2243$ characters, i.e $\sim$7.3kB. This is about 2-3 times larger than the ideal size. I discuss some solutions to this. -This only considers the network footprint. The other consideration is the memory footprint. The proof of zero requires auxiliary memory beyond the new values communicated. In particular, it must clone the ciphertext being proven, in order to prevent mutating the original ciphertext when multiplying by $g^{-m}$. +\textbf{Compression.} One solution is to use string compression. String compression can reduce the size considerably, as despite the ciphertexts being random, the hex digits only account for a small amount of the UTF-8 character space. LZ-String, a popular JavaScript string compression library, can reduce the size of a single hex-encoded ciphertext to about 35\% of its original size. The consideration + +\textbf{Message format.} Another solution is to use a more compact message format, for example msgpack \cite{msgpack} (which also has native support for binary literals). + +\textbf{Smaller key size.} The size of ciphertexts depends directly on the size of the key. Using a smaller key will reduce the size of the ciphertexts linearly. + +This only considers the network footprint. The other consideration is the memory footprint. The proof of zero requires auxiliary memory beyond the new values communicated. In particular, it must clone the ciphertext being proven, in order to prevent mutating the original ciphertext when multiplying by $g^{-m}$. %todo \subsubsection{Time complexity} @@ -588,6 +594,21 @@ The other proofs do not translate so trivially to this structure however. In fac \textbf{Optimising language.} An optimising language may be able to reduce the time taken to encrypt. On the browser, this could involve using WASM as a way to execute compiled code within the browser, although WASM does not always outperform JavaScript. +\subsection{Complexity results} + +All measurements taken on Brave 1.50.114 (Chromium 112.0.5615.49) 64-bit, using a Ryzen 5 3600 CPU. + +\begin{center} + \begin{tabular}{|c|c|c|} + \hline + Modulus size & Na\"ive encrypt & Jacobi encrypt \\\hline + $n = 1024$ & cell5 & 4ms \\ + $n = 2048$ & cell8 & 22ms \\ + $n = 4096$ & cell8 & 128ms \\ + \hline + \end{tabular} +\end{center} + \subsection{Quantum resistance} The security of Paillier relies upon the difficulty of factoring large numbers \cite{paillier1999public}. Therefore, it is vulnerable to the same quantum threat as RSA is, which is described by \cite{shor_1997}. Alternative homomorphic encryption schemes are available, which are widely believed to be quantum-resistant, as they are based on lattice methods (e.g, \cite{fhe}).