From 1069dc9700915389037c2d3be446b22a9b6d49a4 Mon Sep 17 00:00:00 2001 From: William Jacobs Date: Sat, 30 May 2020 10:36:45 -0400 Subject: [PATCH] Increased minimum Java version and updated documentation This increases the minimum Java version to 7.0, because Maven doesn't like Java 6.0, and it makes assorted improvements to the documentation. --- .classpath | 4 +--- .settings/org.eclipse.jdt.core.prefs | 6 +++--- README.md | 6 +++++- optimization_ideas.txt | 4 ++-- pom.xml | 6 +++--- .../btrekkie/connectivity/ConnGraph.java | 4 ++-- .../btrekkie/connectivity/ConnVertex.java | 5 +---- target/dynamic-connectivity-0.1.3.jar | Bin 16943 -> 0 bytes ...nectivity-0.2.0-jar-with-dependencies.jar} | Bin 36152 -> 36161 bytes target/dynamic-connectivity-0.2.0.jar | Bin 0 -> 16947 bytes 10 files changed, 17 insertions(+), 18 deletions(-) delete mode 100644 target/dynamic-connectivity-0.1.3.jar rename target/{dynamic-connectivity-0.1.3-jar-with-dependencies.jar => dynamic-connectivity-0.2.0-jar-with-dependencies.jar} (56%) create mode 100644 target/dynamic-connectivity-0.2.0.jar diff --git a/.classpath b/.classpath index e912f9f2b..e43402fa4 100644 --- a/.classpath +++ b/.classpath @@ -13,18 +13,16 @@ - - - + diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index 552c39646..782ba92b7 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,9 @@ eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.compliance=1.7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate org.eclipse.jdt.core.compiler.debug.localVariable=generate org.eclipse.jdt.core.compiler.debug.sourceFile=generate @@ -11,4 +11,4 @@ org.eclipse.jdt.core.compiler.problem.assertIdentifier=error org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning org.eclipse.jdt.core.compiler.release=disabled -org.eclipse.jdt.core.compiler.source=1.6 +org.eclipse.jdt.core.compiler.source=1.7 diff --git a/README.md b/README.md index e6bd52389..cf506d951 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ Javadoc documentation. the amount of gold the player can access, or the strongest monster that can reach him. Retrieving the combined augmentation for a connected component takes O(log N) time with high probability. -* Compatible with Java 6.0 and above. +* Compatible with Java 7.0 and above. # Limitations * `ConnGraph` does not directly support augmenting edges. However, this can be @@ -49,3 +49,7 @@ graph.connected(vertex1, vertex3); // Returns true graph.removeEdge(vertex1, vertex2); graph.connected(vertex1, vertex3); // Returns false ``` + +# Documentation +See for API +documentation. diff --git a/optimization_ideas.txt b/optimization_ideas.txt index af60f3573..75bb73110 100644 --- a/optimization_ideas.txt +++ b/optimization_ideas.txt @@ -110,5 +110,5 @@ Thoughts concerning optimization: cluster replacement edges so that they are close to each other in the Euler tour, then random iteration should tend to locate a replacement edge faster than in-order iteration. (If we know from a previously mentioned optimization - that there is probably no replacement edge, the we shouldn't bother to iterate - over the edges in random order.) + that there is probably no replacement edge, then we shouldn't bother to + iterate over the edges in random order.) diff --git a/pom.xml b/pom.xml index 8c90f5273..75d78e64b 100644 --- a/pom.xml +++ b/pom.xml @@ -2,7 +2,7 @@ 4.0.0 com.github.btrekkie.connectivity dynamic-connectivity - 0.1.3 + 0.2.0 dynamic-connectivity Data structure for dynamic connectivity in undirected graphs @@ -27,8 +27,8 @@ maven-compiler-plugin 3.8.0 - 1.6 - 1.6 + 1.7 + 1.7 diff --git a/src/main/java/com/github/btrekkie/connectivity/ConnGraph.java b/src/main/java/com/github/btrekkie/connectivity/ConnGraph.java index d9225011e..5b9aa2ea1 100644 --- a/src/main/java/com/github/btrekkie/connectivity/ConnGraph.java +++ b/src/main/java/com/github/btrekkie/connectivity/ConnGraph.java @@ -61,7 +61,7 @@ import java.util.Map; * vertices' first and last visits. Instead, we have each vertex store a reference to an arbitrary visit to that vertex. * We also maintain edge objects for each of the edges in the Euler tours. Each such edge stores a pointer to the two * visits that precede the traversal of the edge in the Euler tour. These do not change when we perform a reroot. The - * remove edge operation then requires a pointer to the edge object, rather than a pointer to the vertices. Given the + * remove edge operation then requires a pointer to the edge object, rather than pointers to the vertices. Given the * edge object, we can splice out the range of nodes between the two visits that precede the edge. * * Rather than explicitly giving each edge a level number, the level numbers are implicit through links from each level @@ -898,7 +898,7 @@ public class ConnGraph { /** * Returns whether the specified vertices are connected - whether there is a path between them. Returns true if - * vertex1 == vertex2. This method takes O(lg N) time with high probability. + * vertex1 == vertex2. This method takes O(log N) time with high probability. */ public boolean connected(ConnVertex vertex1, ConnVertex vertex2) { if (vertex1 == vertex2) { diff --git a/src/main/java/com/github/btrekkie/connectivity/ConnVertex.java b/src/main/java/com/github/btrekkie/connectivity/ConnVertex.java index f32860958..41d30c836 100644 --- a/src/main/java/com/github/btrekkie/connectivity/ConnVertex.java +++ b/src/main/java/com/github/btrekkie/connectivity/ConnVertex.java @@ -4,10 +4,7 @@ import java.util.Random; /** A vertex in a ConnGraph. See the comments for ConnGraph. */ public class ConnVertex { - /** - * The thread-local random number generator we use by default to set the "hash" field. We could use - * ThreadLocalRandom instead, but ThreadLocalRandom isn't available in Java 6.0 and below. - */ + /** The thread-local random number generator we use by default to set the "hash" field. */ private static final ThreadLocal random = new ThreadLocal() { @Override protected Random initialValue() { diff --git a/target/dynamic-connectivity-0.1.3.jar b/target/dynamic-connectivity-0.1.3.jar deleted file mode 100644 index cf2ff3a839315282b61eb2acb68df503a457b8d6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 16943 zcmb_^1yo&GvUUiP;O_43?(XjH?(UM{4uOliySux)yAy&FG&ua^^>k;Zr{}$X|9X3^ zbMJw>t7_M+E#E2XLrxMH1mfM#_GsWB^ItdrcmaQVmljsyrxuqHp_Thbw~y~0-nx~4 zK^C)p`#A9JLi*=!()=>wBEpJFG}0nh(qp4ilGHTQ(2~>?6JwLL3UqUfTYC;v5)(sI zlGFkpKYYzoi9@06B64d^lVEg|a7w2rM~baM09*mW+?&(F6%ZvA6ubPQKtqSoiy=Bf zjf>qO20TPO3gD>8TXe{m@ieKfp>`snBHWtYn&16Cz<2LXTI~PD50JM38roX_;ljW7 zfc!@fQ*$RXXM_Ky<4<3Is`^Jq11AS#OG|U(|3(7;KS&tb+SnKyI+?qeJGuWM{_(%Y z-YKXrknkq9_;xY=9dUkVQ)^=zCw(V#TN@ffD}6^t&KuiB9xyO4LNFN@FcJ~4^{-D_ z&(~wI5i>;3d9gWjCnsY{&tIR~+UCB-j@69CN_Y>>T(8Zw#rDOHJ#o2!p@@L_mi5&L zJ*V}xIeEY4QDt$6fVpImizmAmM?j%q@Epu6BoU+}2}D3?b>HU;4;R}cv-3HE#FWni z7n>Lw=^5#nyaN)+qEtg);-dm{!5i-D0{SCFzqwg%Td-gN^zPl@`*-hX|Bjo2Z(o_P zk*V=-F2*ZJ%l7cWd22!-gYZASK#B51AlpD(2%HODXPNI*Q>WI*X(*!l@s0x1Uu?mi zi=vxaUPv^Jc`~lwnwYe1@@DG3(_mxGqMuu{Gw=|ADU3QC3W*-{OSM4*S&KIy`I@?% zpT~OM1eBi5RAbt3xaw=l!$!!_t2gFGbl)~SbyUf8EbWcM9XLA_CVcwIJv_TB5m%Wr zsFe96&Tnjn7Cv*DC~|&gPeTIvyxEH6NF^50go6O?GNHS)qI3BnETuoowHIg-KQNsu zY{^(m*-`}s>d`$fM*f5j78pIqKo{i6hr@oT&&8{y%7NF(db5Tw`!cU+G~3O1h+Ba$ zaT8pbk}9!NsS^>|L3%os?qe}HeSt<_ldn|-yVXFFY}J=76+b3e38Y4H&mfdX_4}$OMk##Qq?B_ikI_-8;I!8!k}?eLJ(?;?=GR?xi$8|C)KbF-8PPgnREBK_wz5 zM#4y?FW=JLo!s5BV;dFj7%QV`lW@Cqz|cdX(4N2MWt1fx3vCj zrLw#{jIYD-%(E86K=R3Z^Y$^&-Ie=x&2jRQ_m*3S=ic8G2x&%<#tg*Pyvf4OolHZ% z(c-+sjHt=QnvAW9NlP1>Dl%vxFb5M%_S;CESXMy~sQ;H{k}4XyCI&fep1U4pOE)-t zL!FDfKt>Z;b$a)QzF6~qkQ9Egee?QhK4&NStQwl4tFSh;Z)u^DDpV91jahEPVZ*32 zRO(r>TQGj;MU<5gDx$#Ca!o08Za+R5Ss2U&OoQCE=n-LP@#cCsCrueQ>{QcWlwfg@ z%Jr@nUkUEb`0&kp!s{o5p?4{6HJV$l!rhxmHL~<>S({W|59nQ5rP? ztDFe752`vJNHO|RyP22X*vE{}@c;|41V(re{<`f+7{t(_iRvIIDubjYyA={ABVnoc zn$H^adv7GxwUn{?50;oHDDoTT7%;`J@Fg$_bIRoqA}Am#%9jx8wY~YiBf`F7Vn;5y z@Z}%p5xh)E;PT~(Hd_JwZVJ{o~;Zu1{mGwQz(^@|58h}T4pPze~da96WQn_rtcS~C--Yg{Xt z8!!PI^=i)M@8+MuEt-%vVZOcOv$lz>(n!FBE?v&gnTu(eF=N{qa6cajMS`ojG9gvV z#ElFn8J*{u-4_MUx4d_PY-JQ;eK1p$e;F5k3wx^ z+AayU!9%cO$-an*jJlb*d+5k6k3#jDfpv`8nZiG|AR*A*$eArgQ&UwDG3p!u8x)wS zi5vyuj)Qv;AD9S(8HMELF}xam`68A+QrQb7J(C!<6H#z$i3wAIH1rLaN8H6-ZraA%&>1h;c{s{LgwI_^ zAgihbM?BNI>xf*t`0a88;zX$5t(VPcx2K}vg$o9OZYGE&$AeL`rx#0J89e8+5f zd+7+ZSE$YERf(x;(Pw4gF=}mNRM4s_U=|ks{lH;Y^Y8ag^ ziIuLcyFeqNONLHnYM_&uo-mX#`tZBsP1l0oWrVKp*c-4Z#USoG6^6F&q@^+YerycC z+_2uk*-ICw?^kA?hMsZB41K)#j8^|y+k}XemRCHRw02_T;Usak3Kp8?WS`n;&UWX~ zE#wPAm_!|<=tu4q`4s&|#&ps1B*^HR!?X>{9eXbPhLOT<$UWzSE|D#9MC77awu`vX z)iMP@sGx(yAp~it@9=a8HIKCcFw001ZW0@nAp;vn?X{u**Ds&UcGS5BXLmOSI4URl zFg0g02BWp_}6C@YiE%^nRh0Q)$5C8jn@DSw^JD_7U_f zKYzkR?Ci5tct{UjyuhFg#o(OhiMrDxF}Oc0j2I>HMy8y}_J&*W*3iwL@|muL-=eUH8`kP>9}F zh6~URqxgOM{4_!P8muRgvn#^t&1lzh5ZQIJ(qb3PQf1u<_XpSRQzh2>O4KKxLdM{s{^1ItI{f+pOUokwN;J@ zyvr5A*wL*Jhy+>)47UoTT*G{rbr_N~+@BF%KimJ2Ow~GXt|h}Ru^OkZDk=Qd{IHKW z9r!7I*E2ah2=0M+Y6J>QWY2dbH0F}y0y6X%Z%5C0;Yn}L;*&9(R7 z+P8x4^P}C>l@&IFX)#0}D1$5!)Fh^`Fe+YD=ztPSQ&8442X92lhow=g0(yfIL-4&< z-fHPs91PnXRf?GzA;iu`34nB4q-&m%mBJ^E#T8%b#_Uszz#Z~?kl>X`0n~90z;S9H zJ6wy#tx_#u`|ijV;P@#OX}0IS0e)d_UWG_2R?nejD9;@Mb_TtOxFyfjca5E0SR!01 zMcNTfOcF+)+@^6p`>4jf8^Z;QKVQijUIa|U*y)7M^|8Kc?GUN`OEBYs7GL)=1{7?BF2%3 z5cop-o%9pi&>vc~1QA}XYz5srP_ET$4-8A^t~-Iwhm*D?Yz-f~S)R0-VXklG94}|O zFy$=dVIGp8ILXzR93PRCt}Dz85R6nnuM9F&uWM%Cr$=y^Iz*FdxRi!EPHQ_|aFWa% zu()&2bn~U#u$mWwz?z=dwD1vA2DUN{o0^m#f8M9r9;x|3&4P4j=8xDJZ$sob+(Y?Y z&5eDHC)r-5NyA1uwxv(lJ9uAxP1e>nAiZ-_b3ihFV1Yd_g{q$jJ3qer9q@#WKFpqS zcBJ?hfbo$W7B)IE%vsfMzed|X;78v2pw%2 zABmI|3>by5aaa$5oDye%05}NO2N{zcolI=ZM3r_7JGQuBp?CH$rhS(#v!S(HTe<@h zmlcTQTC&n5tue&5yGrcX=xZCo@r?JnsyL*3R5x6Sk1g4puO^PxD2k*$CZ4I&y`E_7 zlBxD8h#v06;NBTZvlHJosnDK0DPMK^167NgF zqEEg)jP#?%>deS}4bbP6&>kc^zC9*@$Ye^*AD&E)UlpBrpgiT*jS;2Showu2)d4)S z;CH1?ymq@%8l5l?Ye;45;x()uZIZ-gRa61G~wH zTQ(7g+=ZS9f(lR-K%Mkplo?k;4;mK1ps_pftp_;Cz z1n4|sW$xHJte~z6bV&6YsCqdf*UW$TLK-b~#h+FlC*G1OPYHpHyBtS^Fz6v^0o&CN z(L|FC=N;eOHZ*dM5WZ`Q=Bt{#uB!*{6Kd?nEq+fEWqV`bS;}J^vaEmmUf!8qSOIY+d+V=-b zo|)Z{ENO9*mioyiqns1S1`5Wo8quYauPE`Bx_fmw4yU6}c{LthiJsVBD7ROezt$lW z_Pf6)r?L9h$zuX5>iR)(X_%%)?{@!MTggSSUm zu_6W5*C288gPuK|xa_-$`h&jvv+_B`wb0=79w#3N-b1>m-tMF1BaVW##fPNIX^muK zRsgQG`I2_Py4cN;RhaCN;T;|IEY+?DcMM^6Tf=EX`>Z8w1ZnvX&(QG`egSddmmS;g zUZeXs5iBwWE|C~P+~L$V$+&I2`nRdkF!+03#eLWSF@_FKG6l>FO>z~(mFY}nT(a{^rhxY8T zt=}NVQV!W5s#US8LPPDMw{<>_DCHVG3AFrxzYBn^1$FN0j!D}Pr&n@SAvLMJLa^E^ z9}Z7`?Nq!6e)xkO-br|d6U#)lR@&$uWD)Lw+@~OE;Ho$<1JJ$fxJ!5fTEidj=VD-w z*`YVZ1nn4kZS%92gnR8+p$EO0-bYW}vx%W*g^FymQ}jSGVN{-9u`;39&akzO?(*b` z-zAakf=Cm{@#N1ijbt6hNi!C+7S`|EB_xUxGsS_?(WRC$nX_9mmim^9uP4`L7SpvM zb=IzLL9`W6b?HHRD64-4E?ti77}-s0!YqvgZCWbN2+q8+h4AUK_yKt)sjT5fUsDs+ zi^o_PDHy+PP}G%+3zVAmfu^{Iat~}ze6Z%!7)ulfQ?3#5V5jFQ?g6<4SCIA;4a;2J zT8bwWr1nVOt$2mk}87)B$4}asC{bM(9DvBr#j3>L9Mk{ zkHIk;RFh-m+SR7IaRZmseyjHWlLnC5RV$NYPJ;%&WN7+Y%cSM{F)Lz5&HgbJ#@a;s z+89QYAFB2yh09|F?vN=LmiPD8?=Ou)Xmg<3PDGl_6%p?1*zTE9+elcMT;lLk59Wsl z=V$JBEyNS_B=?DzV!v!DsmM(+x5bxJb$cXi)l+pJtNE>}`7PFh*cyP_h|;h7H9JwF z%))>iau(&RE`@ZCf_Z&tn5rOx*TP2ao)<@O=|S7!&^3ArZiRWj%{7n`G051lu0x}) z`&+f3Hap=y%s!(D!PaoD2AkL6G8O|tqCe6W23H5+=&Sx9liZ=V$_EyYEsB=R;Son5 zxBDSGX@Bc@mBh*s*Y6^UvbrluZZ*1W9X{Gq(QhP=n<(5qum5&mulBHQU5Kk4uRvGa zM0K)aUSnpW&NW_Rrmz0=+1NhG_(CwDzm_U|Ukyc64TaZ0{psyjhzb3WRN*QK{gUai z{kWVB?W}wI<%-td6U(Y9t54fsaIL;uizuqxO)8UtSf6v*dGN3pUWNs zpnCRg`&483?bI3^KP0AeHnC0NL|4b`h+i}*l?GgL<1FHLBO^+1RS@LjO*r!#&ae`TocLMk$Hf+oz=a7du9zj z?%am+p3r~Dbc=im+?+;ri|*({y^iN7@&GgQ0;%@jnNh~l5|6LgjU5oZC4T9#liC0L zpbFCx>kFk9@&KNQg_VTLNc5D}K5T+SFP2tO)1w3Nu3!s!z;fnTPa0$7+@2%)5gTGi zX?J6Hy?LH(no9;j)&LAx`1m`Tp^>x=zO}6OI8@$w6($5mG34tghtRTT40%1fg7H=& zjclME8pTWTL!}L@W$x-v_N}FpG}cW$@->U-%Nd-+(;JtF@F;1yWmw2*;$ZUjB@N zid!0_J1oI0s;ya0TY%l1aexbpRKxAY3j5IFL#ea}b=ZZphc#?Bu}F?({OdUb4m3UX zBL;rvZhfY~;>Tz@Ao-9&h`TsOnAxrTbu%+YXiu69GN;__TjEXps?8jDVjq*)MS*?G zG;6kNQFU}Pp_uJNDgOH;VBv}0rM5Wy#@b|&t71+n!Nfd;j5Jyg?g|r(#m_h;UEfaX zMPv<{zANv>`>`8>CT5~0_sB+fQ%TX|2)8~dP<|G?!dJu$sIBilsD#$9M<0vD2C?4FA5uAD_n*j_*bR444Xmn?r*TKei)#4-BE5Y%h$Z#g z?2NvtCBj*w5t5TOn-x5P$KmMnn-5Io0H?IAR@WZ}OKDH|a6OLur`hg!Jvx|1IgDei zk;LDzMbgro+rR7@I$is1I?OB>R_Io^#>QUr8_=$3q3j5Y&40@-Wyw6X1zOz{K>14G zR!@vpLfsF#!Voc^Kw7+c*CaPkdhO@dDooKnwG@1li(o9PqLsI6A=nlVX*gW>BVjMj zjFB_FxfOJN+G|%wMuNCm#xR&sGkF)$}>TlkH>DRI-#4cu&QFjq!$*CYEz>)?2)k&;Gw)>#9CBEvS*rN7ZBV^1X*ux z6~i3ea9Up>m*hd>$s8Q$P8=Gk+^{Tu&UX_Lt?XW^xDB{=Gj1K+Rt0E0Mfhp%pmaT^ zS)O{bf-S|{CP0eZU6Z7Yx_^425I9mW7glYJ488kN-=5x7#5ZJ}&0Jun|D&5ZsaQKmvQFbix4e>>vs!7np??dOX5GzFwsjYdHR0JT zi+*MUdi3QTX?>}^S}Pc>ndU`~O7vpg@%aa9%#Fp0!Oc3%^JW)98H?57{B?l>7fNHx z&3vDgQzr3M@%|NTCdE}@$GY#+0@ke5yAEot0Gh>xDU#E(fS8$YZde;-Pb~Hrog&($ zW@LE=j|d0vF)GKVx{xNg%8lGGboP+sX?$I>SV?;)mqj>GmbLA)X6C^wXsp+Whi#~a zqLdqj8X^lmMS{00Om0gxipr{@CN4iy4!yEy^q?0ixIAO)Xq>O?m+g)Ipj+dds!pI) z)OeXqN?@g+F3dNwyd#uQetw+RF1CyrRTzx}lXp6+#%Q3|b5MtA)WcnK2%P=QAvvl& z0_u3@Q~QRH&l6OkRp6!=K#frf(L(F#IMcm1=OGiWnU^q6Sn`tj;M)iDX<mDQvh`lZaF?Q5+YvtH&5oj;TpfL(`yk6xo0 zt;?76xHO{}XmZ0fRvWj{A8al!F{}<4B;<~j*mBl-(5e_3Sa-_SR9}&wS&8?8u+#)^ z&*12rKC+3HlG5>Uetv%{?o#uCUcoc0TZT}yoFrl~W5B5#6xD)Pugeilvfi{x;St|I zgRp2mV{mUJ8tnpg@1u*v9+L{p zGOK}J;!(^$}UFyZUndKFCaY zLK)Q{*`Vry3DzL{T2Fxwly+^a13(h$1#5IeRiP_tR@x;kLpci$&?dmL`NXBZt>0@5c+V_51Eh3lU!B13^IZ z<0)EIm2q~$p~)TWlnhT)TGXCEL8(a*dtHM@ZmBoBlzYSTxPqKlWTkq%PW$d=Tc%i}b9z{Edz6_0ghrW;zwYXEEExXPz2 z0v4q3Z(3CnEaN@Tk}a5aW6x^3Aj?mrzKT1vop*UyBQ~vOytzO4$o>QM8O8)R1YErBw zPFwcdv*um=PEq1}b-xMBVhdOWklsbQu8>=2#5(xnufS#E0*j>R3;eu^vR7P2NA3ru z`?;BC#(`Jeg^%<~xB>bPa8fhD1_eA&jyKzC714ZwK0FrJkX7=yfz(fJ>bQ}s*Y-=r z(SthP?{TI`4LW(i-%y#oP-c+s0pocA52EdH?RfL|O z1H#C3qI`!BJ@QfF44F5m^c1N=bw`-Vkuj4h>Z4FzeyGQz}kDx(D>>yyc+|w*<5YHur>K#tiF>Dc3Y` zoVYwqzMW5X`q9$&{F-K~Y-cTpUF!mJ9eQZotYBpWi0}i4j2H>yrY{SQ!_t^&PLM|8 zxyNkM@$*u~b2kSW?pW(=$!t+j4X21nB?#gB<1E+lO3durOIVM}WZ0y0oboT6FxuLr zMxI={`0H$;G1X&V?{|l`bxB*hSvG2~oIFknJ!%D);T*}_lK1xHcw(@_dfn;-d1of< z$wD?o$*bZ;FfMX(vPkEY+ePLpO)*%z@;3vlo=x1YPY?1pAu2lv4V234&5dKFgTXA}f7}bE42tY{s8dFPPj*SLo=?~ogJKq#M@nLoxr=cP24|9)0=M3Z0VgDts5D=-2JI_ zRm;vN%FsIAoLs*lZ*cH?1Re%y_i?Z^TXE};h2~Uv z?N{$p0;Fho2H$h^6h3iz9PkQ6y}W-oDEHbCRhOf!$5tP{iaETs3?4m0bhuFw#Ho6a1PxD1lG^pd!Yl9_s0FX{-A_x1^wyKkw;_O1o(c(tQrFr9TaH|8saUT0^O9| zC&}$K+*b^XhG%A_*68xDz@Yc)?jxwGA}lizI73Vx1gk^h4;UrE?F}Tl#mmFjQW^L| zbq&w^kd7E;$+SQ2d#vs!^tF5+f_wpk9_`Y8gZ#&PL;NDK&~b$wAFF6+G|_AkJo!Ke zzbb+rQzn6V*?8mj@+oczd{mJTx4N1Xk^DjS0w~mh$;`+2FHefsPz=Yst z5-t8*K)-AbL%7=B(L?4bw>BhJNh(}XuYmS43_v_ZA_s?J3WRiKH`ed=aMf&htZ3kH z$E<-xG=!UlZxxR8wJdB4T<(ija^53`n=93;!7$5}jh5U#0qBNG>5wrTIU5Lly1eB% zP7MXX6469x(8ooeT3xfK8Ake?V?1x~@1q&M8^8pnpC9VQBE)rsrcFTS0fFKjiRf0d zgc4pN>*IKvvP>dd7KTJNbQ6Qz1E5WtXo21XW?Uu_-O-WNX3PWI#D)kyy~9J_Ba7Wu zlY(F)5ATBMfk`8hjnI0Bn7+xe?h1T!q)E5d5&|9YqF_RqA~VE~WJQ^FGNjiwqRI^v z;h|=v$^L9l9*+)8W|SrkPxvJ+dSRtxA@v*C9!b!<*-+R3SFSH4%bRji`5g^}>4MzI zJC2u2(MlPIv9EBVk4OcY!Hs5}ddyZmu0{Ob6^_geGq=rgL7%cp1*}n2RzH`q+*6DP z-X$V)@3rDS_ChFRQO$e5PliaaJ|of9$*VtZyQI6!)Vp z#;I$ur!A${nS-aQBwwp)l#J1%0>Ih1Z0PZWNu`tFqA^fq7ul>M&{L2fyIZ|{B2A%#&@Ac4iu%ZM!=MW>01!YM z%K;(P=*|PkOIBK;af3KG;RU!s(2Zk=oz+v>0&hQ=2Zirk6;`yTZ@9LQyCf`PMVOH>Z)c?pspHX*>yor(Xbfxx68oTw=xq3WFhe79Dt@3Q?GAfnpX#+;Rxn_? zvtP1skIAC?x%IMS(fOETPQhTwkpnPW&%a0{&)D(OiNS>R3JRt)*b%*j}nX@QNg#MarDI6P(c*L|R`ET^soIw$l^zD(X-?+RP&XE=J zX@@65a3VzqhM(e=5@>Y&9J+iWUb*cp_`LjpFM;yVWP6xkNI?6pmm0_OOs2YDfqvBx z{jACpoQdR$d@K1He=GU=Ta|4;OTJW$9h{8ai0J=O_9eF}LC6oso!%$KAc9zVY>kSG z)Rq<5A>tKE^D!5a!q@vGnMwRO?}Lel(5r+l64KKDuJ#C~8&-N&2(MaOTKQTGqq(1eIualiQ4(130NFAP4 zGqvaK>W4~r83Hjq!xPV_P}NA8sFBPIFBwvoXP)5*r*YK|4FFTPA|Y)7s5$N8c(Q)H ze11Z^k4^XD+sI#JQFRyC{SHiG8+^B$c^B{Mv-^3f80gcD?vRcllo^|>qU z>PpS-fM7ZE`q7`kY2!}?eI;IcO3-hS9RYs#j{fgfi2WAb-%I+mWij}XxO*2zYTgsv z%`c$j$44I(cn97Y%mfA0i8B-Nz>I>3B(58wM?A}VA10Dm&s;b2mK>%7^(*PD1+O>X zPO#sm0iLgJ2Wj6`+UwyDOr7_{aDK61J8b4g4!v?D*P?}bzfJCrKQDS45>^os*HrgK zZz%Hu^6Y^Nt?9d`sZ%&U@Bcxu}q)D&eI2YGshWTZn%GTm#9-}&#aTF zwd<5lKE87vgZg357Rq%YawO#7I06i9Xtz>F$8mY@Mm0bNm|%N0rMEhiE3T2M7b*t0 zagZLQ`3eGzOSDoBNv{x>XDz>W8r;+Z#T{6u>IZeWmnGADRA~b3%!kRfE%u4Lc|a}G z(cfils60R6q;O0rldt1XWtAt=P8mslfAQXvapowZPMWOUZ21cd3LrkzDpTV;Cr;L>WP1tNxf+jJF1xa6SB`I*R+at?eWZ9N65bnKj4GZ4=El)p^x?6~idWGhFBQgA!Euty) z%-ELr#IvzK7{{Sm2*zB>)5D7Oz#?c&Vw+@VMm%d3JrtS`t5F@mz#1W5a%P8qYB(vL z%@v;^@y-biav+$K!JjkRF1hx%a?r;bCuhC#~T;T0_E2}PgD-r+SMMK8c==b_v zWobE0WuzAxcQ`TK&wV*~NO1MU;({ZU`5*yu0%n3$0Rju`(+mO%N}fPs+Bo9H5?*qRBs!OisfY=~HGT z0-Ll)(~hhZQk1YVB$l?%5N1BxMfpH4)}2hw+uN+?To_3|XIK#Uv*3kV&y8P%awX)W z?ZvH|?TwVuav{F|xc<&IX(k#a(A}@hkZ!l8XTLbYi<>N#@Dh4#4q<1 zvO&RxrStVdGiH3eVB=_b&&rZ%5%?2)xjCZDf~wb=@YJQD0fY=Xz3ww|ewGwP#*v>( z`p~r|3p`SwXxQYhLD5xooOs(92HXb*nDK}Gx9$c_2YedaC!n=FUts<690M%4(l2% zatp$~L9CB9My7Jd+Jm#f4qCk}^mh0P-)75jt&jU*53y{Ev1|t)iK_>rL-2hkUZ}1) zU8g>9Ct)CO6}bqT(pCpskIIwO{oSqy1h2dbPY=ygh%rV^sKq^yZHz2}p|#*MuaZo8 zGSc|iN5I-670mG=N5yx{or$$PgS(c?Ke0BpLU@YQ-%copw-buxe|19r3j~V!uQN*c zdn{?_6<&a=;ILqiyapUXm>*e=+-I$+^7Q_VzUpZY>>*QmeED-AFC>E#wJ+(J$g22N7empE{Q-#TKpA*O%w1E)>iSR~* zOQ>=BO#9h=U(1bE!&nBT=W}HvjG!|;?M+FrUO+|Tb&;d7WO-AHCPOS!PHoU39Ts>^ zS#wyY8!-AIXSXQS{;TFS*Yx zVe2-@m%3=u`|H#OaMA|^K0jNH@t1Hs{pkQ>_cTC=dJERZTd@8XRQ)YR;x;C>e?V2q z_is=&H^DsNKH2+LO@#U*H+e^hydJ2!Ky>YKp5n2URjmSV=?8d-2cYMog9!{V*@e;c zN9Qy4+cO`ZcJFsZdaO|&dwqAI%QEJkyBe%c!-GGNQw=IguxY^L`&4uEEbiP(t-IUz zp{bnRf6=5-`R zH5<*?;W!8Nf6^`=H?fdA7rbozMsirR5ZcJJHA!OT<~w6ujAc)J!q=h=<|1;ukQduB zVb^y1>V3-zRUNd5EG`ryt`Dvrbg_}4GupY@po*-#=H6MC?| zjd$lEpmukWytip}%Cj1EY+Bv!V7icHD0qyW@MP0GzLuPYkF`cP4M8+F$t%n!B!q9x zBb4ZrkJCXA#9_P~A{mOt6W<_E(9f8TeJkKYT8ASLu+8QgkhsTgUZsa1L>m1-7^fq6 zz_CnaVAMGD?PEhEmrE6Y@(xIZbP4`7RCD$cOf~1`@95;;Ic%_REAbBwo3*}+vCSXL z_TM}Iq_zC1^BdWV<~Onz&F^F{n!luO{kt~d{|{|O?l$_?=7!XNY2xF%NKFSB_w)H- zfwyVf4EFAw)c=(UyEix8tgYgerK4Bz;M#9h)tWJP#!E^Fjs)i=^Vb_zB$O*bWYfg0 zs_upcJ874qP;10n+UcWN#|$^nYGq2PKc-@@ilj`|M%J&#&Ln*2N7%5h2Fh`g{`BHj z5N#y$t=6}h3nOhQxYrj8h5Nfc5A8wbexWW;^&Y!~VKdTJEfkG3EDw1%HN}0D!7}y0 zv=VUAE!WPj`aS-rS}BE@k3UNX-|~0*6g^)h%e@v`WpX7+i#p6k0?JbTMnOCQ@xw=7 z&pJ|($+0i}_5IAK3&Hc^mngy+v4jF!-v`4S6~2JxK8k&w48jb)*7Q~Mg~w=}D!!y_ zU$h# zZ?B=5sg9H579}p?%x-<`2@Ly&9I=fCZOppHclf-1fq{nI6Q@AAk%WXfJ(E?2nYr-6 z9K{^y=7P?qymu4`d zhw_*2syi#3QrCb@ec*?V(ES+gFS6U5VI+5%&-5eaK*sz$3>+1^)}zkQE=xFzudbtx zbFRVD=6T6MGU(UkSJF7eh)yXJJtb>7&{raI^kK8*$+ObvI@r6J=}8FZ)easyNYTXV zR@X^P{FNAIZ34r+j)z;2O1c=d$E}|hD$rS%RqpmHo2saxR7<{Q)RhCwzK5ZsyDD+T z?re{r&=D$q$Oqj81m7sT%dg$etnxfnj&%OM5I!9y&O_ZEqR+sru~VkJVG@!dg!IpqGpb*-iwzOjE0?<*gq!EzgF? z_~`}L^dXR!nH0APLDN3$KTO=B!tS1eYadq>?eS7^w?4NkGzcl#J9urp9Fv3E8jNT|7;rncLo3TEeZbz4S(7Se^>X{RN3D(=J^Kv z9d-Xsoc%T4zb2{vGGO_(2mh7F|1w^|f1#}Yv+}>9RQ^(q@fOIxrTm`=mjA5%uad35 zwCj-lP3`}hdi}G3Kj-^?8Q`M$Um5rfQvF%|pHn`+)F)B>4fTJK0Q$3qKc_K%SsKzijNk`-+5Znp*IQO1=-+$g4 zRYe$BE)o5dr)p0V8-+ zF9<3#Zc+{c3!rXRvRjg^Ls0|H%J^NZO-;{i}qaL9zb(LJUd>^RJePgTQfN zsCVylq2ImZhDdO+Kqi<`fgQ^I;ut{=*%}8-`HRR!maY(E3Ol^Z}ucIfGeWLsiJ(2Fg`tWTGoelJ4>cT~r7MgCM zq$k`x!wuEaxa!_YR93baoAZp%CjYTK;=8}>yW9ROk@9BWS%?|E5KzrXaaSBiWPYeD z&dZ>+ll-I!ok>#~^t7_0XkU2k&cV=0`*FNIn`28!KQ5b zYdObby1S#R=PO)8LOm-o>be@|-LpFS)eO29qYM?p3%#1cNBuncplu)eqiD^T>+>#F zlJHUrvEASatt~Oa5@6_kDD@79R3%I50s`vbflPYuF}28cVWa{s7d^)UbmhQ#AW8I1 zSVW_#Zo>$xN@-NNyezuq&<})j^(FI)th>33L4ix|EaDKYEC<48V8;o~Zd#0A_|tex zgdpQIhIgCTcA{Xb@XUZ#pm&5fG%HS#`i z59i11SrXisYX!fevDa1PDT&^&k{HcOaeA5dSBc*@$SCOvBsAIiLE&sF7q?P`{#^NJfq1&?4YH9C}3nfiI-PY zSdAsB}ss^XdLoIT}Xr`U1WwJ|hTGg0ps%?}R1oIa~j4UHCA zKKM-YySztVpo%Z$7c0;u9D9jRFiDz z(ZR##MU~RDW&3krt%$Eqo#BLtndQv zL(_S(JbHv?V!QBxr==`C$Aj0`QzAZ=i}(Oog(7$uz11Uc6%Go z{UO5PIF#WyVx4#tS&{pLh!3&34Zinzkn7xlDW9(ak9X&6J@D+GaJlRWp3F1RR3y2Q zJ1Xexk4~OC%lyqVJ@w-V*V3#v?vxJItG;FcM~@4Y40)u?FGwP07a!cYO9z(H=W!18 zRCh(4-7r8nIe9l+IVjpbYxGjz)2fJ10#FaDzsbOc&!}s6Newsa!3$Jc+IU)V36QF| zE@OdG4PRsHtm8uK^+suU7g`Dl^l8tgODz^onpJXZ-pwYtTVcTmxB^zyg&AmaFD7Jx z%ZSn(0MCoP!UlgA=F(Cgi=5ttpOLEj8VfyesB9y)(!`kCEU#qewRusDU9KOAj`q9> zTPup~LHhb=`@BUd>QQByo0_y`C6v*1ZU+1;?1eGu{>f4%$!0PlTiwjXn1F?Zq=hDg z(+3R&N+y4!9kp&w5?6Ii1tT7Ur-WMIJrIX?43d-T2Fu z{&)2HSdP3#H!ZoV4^|rbL42-qUnb#HO1*2%K^YHxR#U zC>4-wzfCX{J-p%ZYkPvvG{9Bl6A0C3^youz0QzB0exLrzdlB$z3yS$r1Xh1>NSBZiE+)g*G4a_ z=qGe?Gh`pP%A)gt!LJc=z~fzROqt8vu*Aygs6IoHGNe0vVI^korwH&UC+U_(vOe;2 z^G0Uz{EDB^CGIbMB%B_mhk zM`#Ib$u3*wHR+PBl$HdlHO0tKAyw$r_l6|H{eeQRUc%o9*PaYYfTW(C`QL^LLxPwc zi|z37oP}91&pkS?5%~>DgkNxP%4e0g#!E(+KAw|wVo0K+^-3hnve#kRpnQCxJiZ~? zEcj(^Bs`{uhv;;=bBxNXlb~_Up zZV|***z5~N9Cbw$ebjJXAvmpY7*zyTY#fGTb^!gNICilZ=`zf?$|2y^cyVI*@Tbrx zDMvaCvkHFWtrNNLXpZAcUyp7}8c0+awrvGco<{AFOk&iGz6T%;5Hz6&j~6_z=X(k|hb%K~0bboR>3Q@~yTT;IMd4o7#^0#Ea>= zUP`r3oY(&y@4hq&n9T7#)pN7^Sf9=$D?ZUa*;Y13o{Nf$;fy$Hg_cz9DX!=ync!_% z%ks(x!!leQB)-3nO*8zEU3ip+f$1N!k8e5dLch^nz(1tk!8tVMfoMdPEgO4Ey9(Xg z))0xsvc%AQgEj=eh~Xc;q3Q@;nZy6*lwIU0Fs8kI7cIZNxgZp<)R1~8A}9;U7*smq zUydCZfWZI}WE2CAJI}wlbdYrHW%)I3bo#_LZgH{}JoC(oY`FqCOu3fm0r%6`WIIv= zcUrASI^Hk(NYn#a36h2?lIpXLCt#8LO@YHakG(D6*FUfqShDcus4RRLD^!(3T*Ka) z^i$KN4d1`rgRA$zn&hXfxGg{8G zoWK=y!(Xk0oOJGc9y};;wT8fIE|=+)n^T{xh9ISpfee*l)SBVMU+sA}rGnOx%fv8Q zUZ6tuL>vAuptv;@Yyn3-`frq%q<~B)saZ)ZhVVd>r=3a1oydz6Au@SZTQCgSSj7?m z+s!evJpqUS?@gfKAfo3RDO=)AO(@9TfSq2Wt10Xv zahZ$@VKdZi63_oe3d;pl)iK7ciH9#LbmcL-IQ=uSFi?V2jP%Q^SB|?qSmySGy>Q%d z(87pYQ@~fbAiPWCFk-A4X0}r0q} zi-H1%I;6SeRjg=JD0NjRT4|V_?m+Xgml>IZ839^N(&%`qBfm#r4C2t9tKJM6sR+PR z$_HOqn58k|IAjfZGlE#)D08go)QOUmQ2oS#60K~6N|ThivRWTEmKm|8Y7e)`Izka9 zH3m8-vnDeBCJh&=! z@TVe(hm!@)FDx6F9{$t48k*R>e=(KV-47wPV>Eg<0hS3yiRm*VK`mnX;#I>2e|1OU zV#jQ>sdI-`W!xlc+M~M^C=^s8rka~QVgGACWNm}Utd*IMNV{24x{}JPbk=ns?)pb6 zHp2(Y!%5`^Q86MUt@P@kvgrhPh2^W`6-sY}Y6m?e79JyDFnqG2diRU+u`yA2!3?-? zLQ2Ssj{~(|uXzmQ*bbAt+E$a9E>JrPP6`WEu3?QaF*V1D)~&WrRc>aSmg^(y*XDc)u$cf1WZY}{3~Q`L8O2u)htmeZ;`vU1LFIMIZs0kEK4kDR!2e{QQQ zqb1pldN=Les`{Dp925_KxN^{UY?u)2Lxi709(WCn{@>c>hrwT$Chk*7B=2S zl63aLEWxq>2?Tgo8Cr^8Uf`%YR|N)BN)%;21x(M7Tz?t!mmKkyz5)A`>*UiDzidA) z>pc%(pr<}&%#ZUFd{eWClzV=Vo&2v)An}H7;S~=bl#RZbdPH?Ks0$15G2>&PW~tV|$n$&( z6wY1Li3)5fA(!HE1}nM;`9W*L<38N57p^>@BH1tlGD z>R1^&U{FB70UFa8f4_TuKx9k^Y#&o?UqoDTCW?K(3&mj%)ioifY#f{{sbZa*db`S2 zZbnXIxH4^URIxR1e~CdsgOh5DACKYRQq0}&Y$KTPg9D$;YF?mwd0^L9(lJ#9gg^Fk zCM50~gqBg2#%+fI`?FptEq26S${a3G84CtdjA;S=vE3_nWo zXJ(+;H@2EH;S*VOeBH4>!MhBP)~6eNQv6c#Gj?RM#=m+i=R=!L4UGQSJ`)T zKzV~=?xiwHXQ6|Wj6p3_kqJc`zE}dhCQymg_z`5!*Ah-)Qc&Y4;hRNMdeRE)<-~-^ zo-dg4rRt3&#bSI3zti7-{S}Ln%AJ(uJShYUNL?^ zJF}nt!+D9|Fe{enD}@I*l&+!572Rkkt=AzRCNWI_8%qe=8}GknVOlvlD7YHFD?t(OWn?wG_adnMhztKlIJ^%quCO`#V9+YM9-?=<=DkEH4jKNSeE z78HU-L!L4gbS^C7TR#s1m3R&DbMazj1mttd10_yQR7-g6M+c0E_qtQ{Qdz4kf|D;e zYk%$0Y6uvw3WBtio&We0+G2e=rye`FP=-+=ibNGPMbdAbOLj@dSH?rIq3n}HxL2!N zldJR+*=Ds6i8SNDKcAnAQWQjZ5E{Pc#7CpJQ7lL$M2#JTNyVlD?tAUvV=YSz^q$l_ z_Kq#Sj=8pnU;9tp?^AwIWuR}I0D!g^hd;Nrx(yU1(Y_E2h{v(A+u`8q1+x+%YAsJ8 zJM-^9(Wc!rrmrel3}_Bxjr{?dXH$!CZw}OJmXt=(2D_xvX8RJK%T=zFyn5EP!WcM9 ztuG=EYFr_`Z_Nh-S+l%om-(VRK6tkNs8=Biv)=8mP) z&J5DB;ClnCbqWO>wpo)j^yJY}YNL>Zqzk$hH+Y~%cY>{f>x8bqYjb7k?uL!~c9iWY z?>Qmb>f#F3fS1|1@5qoj1}OyxrA`bVxyrc`nwFF#0j+Etyh~5BOX@At(TZ_c)x}5| z*kw2-7PpKl5}lX5D%-E`z7*a;e(K4q$4?7%H>yfgv`R@3WCmhwxZIAlQWUl~r?-+? z1H+E~z~@c@yPFC4)}(csUg_uou^*v{VOL`mH_Yc2J<((jT6@v1_qE#{x?&;OGF`{W zRro5tEWMEB%cT{cS>DcG>E&jzGuw}~@_cgu=A#13$)!brc2{XhoOFs2aZ7@gdDmyj zYav3vsXa24mQ!u)!=kRE9UrBVS*I)i5>SZXcjq~vG7{O;4=b+_1#M&>yX5H!{bi_W zqrOzDGXqEZxmkF+V5aYK2gzWa&BhD&_8`vP8rRm1ENZW)n5XyC&F%S{n}|Zdp3kxA zjB&Ld$UJ({@`4IXASn2p?|md=)sn=J4|L-Tg{b|* zZOefzQBePOVlqMz7lGq8^z8(DJkTGr_dBQ~IGm zJT41KQ*yT1>H;_r4@qyNz*lYlK!lQ7xWi_J_VZR9a+YfHA>GZ>hvfc@h6T1SJQnIn z+xG+j`a1#yj$)+dvqQrKH^ggv@}bDmS8L|H;3=DHO-Olutb zN{yZM3CSkRg9=&Z z0f^s#0piJ5tc}Ac+QcAF9eJ|B8gUIm=o3zSnPz3nV=HN=i8~waF8u-onmZG{}_6U@)Dkv6$pWhS?3^#jVif#uA zzxK-B3NTHIxnaJ72OpAsUU12`IW}*X151W6C9;zzJRS1gMnA6NJ8A)~ajX&=v_@GN zm%onLN$;ke$eUr>@jM`BoloNt8Tb50SuZTi~se$tN~*5sgyuxWvbq% zHwWJG`MudPS;JoE15x84BJIQ_snhcfjz+mA{|FjnZU#KwO)qts>o6O2{oSClyd4`| z2z>m46Fg@|5&>G|TJ!=cb=2Q-m=w2ijyuzet<5!bA$BF5EUx0@FAQIp>6hsZ-TG6? zO8PmiI|Y<4lM$%spWS0+uY$so;a>)~LL)}67~=RsC)mE?1 z$ohYB5Y5t0#*y{!+RAu9w4CguOa1XWh}ai*vA`auvYjbyat6S{lsvnEq#~RkOM966 zk_v?&Myqmbp>v1luHk)oyFM;XXM?2iUBR_CpQAxqEuL*f{k+7{rv7G(2*3FZxVsvoQH_7LL(@e!cd8g!k<7y)2$@l?Y8&|zR0m-j#LMK`Z&I- zSZv`dYBszn0~&Auc}$97pX#IW&?#I675S0}(buH#AJ)N}3Q~Yjqc8hv{u* zwgd%RdNfm0ULCtR_a$p>7z0QrmyMW)nJ+`IO;<0jF94|bsTc32s_7kqb~ABM>ac(t zpEd)EYomb(y4c|s&P(LtDgH)!Rm+9Br4?y}gtanp1Y`f8YKW{DG_M4@p}LjM7}^*l z-fDfEKVF!(z?p7l5PZmR%j78*ZoJ09Ki9OD5r~CkeV#s%XJvfv3PANXheCKJMj7aD zaBke)o&%<7=P;o=L+*Z$Brqp?cRvg~6Ug)?D$z3&J@A3*Hl{PNkHIZP1x3~YfjnDkfIFJZJ`Lj-@cKIPfbK?^-!iB+?f88Kxkq?s{hX0!^)qrY6;`Vg8Uew)r^57sj<$3lIjO=)Mb0wkhjS+}YbV00C!71R=uP=EMMUxx=AE}rx;XKBoB!wKpu zY0c|+>0qOn(IQdS82{@2G_a9F<4ym%vREf$sj0e~-b(AdEbRV~fujqP{OQh&?Q%%O4MKL@Dz%aJ1BC0OLYZh&d<}upG7>pILkHfD`fenR=ge^MIxI^=R}>gf0U`_$ za)(Gt2!Hlq_a94@wrpu_pk3>>NpNmtOJ=i45dWYA9jOqAyI2r(_q!cWXDFSU!*@sc z-H1k`*+pyk7?PQ#|GL--ulj{YC-y6ti8B z1x2wPF?p%pqRu=Znj;LBR`a(fGa3!k#3lSvd;xFgOhMh&lX%j=5PrkB#by=YXJ@mP zdk_eKOwyYt@*7!!yK&wr^)kgSmn`>Yai?tWdXn7>;UrcLbq{xWRJ#@VU<#lEe%59tR;cx@h@n6%uBAf0hHS9e~#=fx`<*6U5?=*W3ekSjDmD*Ed zq;X<2xp~?l+HF==y_xiR!d%lhd!If$x<+B&vf>lzPv_`P3v!;lM~#Dc0i@!~xHQ=l zs|8&1(n2Zp8D;F8mFDKy0bCriKSQPUX`%IXQXKSFD!in+mq?c#R!@LR_PPgOX4@|} z3O>Xc!j`aSV4LQSCr&c%i`%%;m3xqlozBrO0e7&7<<#d+rSd{Zbbt-0XGzasls#rp}z=S(DJKU-$# z6$e6ePDG<0gOsxkSKNVyk8U`te5tU2$&J6^BzGN@h-S#-szV$wZ@_h{dWZ?mV+fg5 zjExhVPX^M$9>~J3&e3KW>;kD z6L#X(wza^V9Wv|YCChF>YS+(>G-w%JDFyU)uW1IFWQWtW9xKdUGjj~m{Kf%jWqwX6 zbCd5k^(LR!I}ij$uNF@HNDk49{amlkA3(;G&<;&U{0!}-kk;qBJu=bAO0mW+qps{e ztMrIXFVYt}7h5Qe!0q?h!eJggvoq(n?_D;6z}CRy-ToBGewIKxfbr6e$i(o+?#uA- z(GgtFeo5`HVUOWCHO(<-z__J@c_1dSYEnwaNpyV+x~&HYW*(8guvcW)G>ArNu_CBu zQBm)?bSsS2IflFRj?wflY()PlOEZ>N(=Io>81Bo2Ka^~D#xl+@Ywa!Q;e%3D{5aH| zlcM0BJM`YBO`)=u4t;h0P7g-@x0JTj6wB&a%MMz7PbMCofSfaXXi@0xYfz4gf`t22 zT~3c+X?eadlm5tqP*g zjH1u>O0#{ZAP07hF4T0})>BY%#mq^Aw!tvGmq45C&qk^BPa)kK=xe-R>Wvb5?D&3ooXO-Yv_TZRz)EM@V@qEZf48jLCAUGM zTZL?aWoy{RVG3qq^Ecz}j~ts?y0z{x5ouPCMMeah=+;s&a#OG&6AA z#+ij73^{)KqZiy?#u$nWq0hu!l*99z<2;$0x_-2mRAU<&t+gvAf7eYUt#*!bBnJE; z!uBuC>(6vf$g5*zZGP5C{NvOT#-&_(`XuxP*z%)wT5ml4%&gs~z=Fl3tmUPggT+Nt zUs-W<=|VQ8>gm3?OMRI#y)=yht>|dOg2&O~+g=libFXOoK5{vfS6W(E3d+I7Z|gU| zd7Gu4sOCd~74jIfG6$A}nYZBc>0?j)B28w)#Aq2G1`KfHAWTmM zE*j8UXthd1jc?GN^ewjhn=mBKh)hJ-`R@|_ph;CwA?Yhe0=6HUJ3@~+w~0oTsyx^yMuqN z`JIGTkCblAoP$gb#BTv(6yI9!ymW1*4Q9TnVCN#WI)B@iw{Hut&o~|}i z^2Dc>d71HkgKN=th~~Rh2)_Pm<_KiZdzJL3d}DyRxd>-iCZzL?ndD?8S*LzRR}oA{ zpD>amXa(cU#%6&s;DjspK-7Ci_PGFS9^$R}s0g{=`W9F&e;hdsWLAJwva!>A7WS2T z`yqPCG^oY~*Yx&hp86tL31WD?*(c2NpR~4AOQQ(7kgz%x&KgiKYyN@X$inrE&a|x9 z_i^MykjlM9g(zbG4Mj!?`k+z}!NEy?qak?+^6$WfBYe|hQDlP$zh+UQ&&RtB8srJx zPq4xTDg(hmSb1}Fz}-kuw4NE8AAlg*%_W;{qaa?<8MXnNC&L%T9z>I$*RJX&N=7#{ zDaCBXfxpce7uZVGo{+N&R7%W)a3>eWZR^NNq@V0NKeCl`c86BoVARep&%g(a%&yYL~)>c!8tx&7)U9E6LD!95nPhH ztBTQ+pl-?($GsyhEum6T?H^ZVGR^J$NwEiM^=b0r2)I70*n?{vBs)jEOWi{tq|B-} zoEevN=jQJ2MCU;{!O9$w!T!66uPCl1imoDoh`@F1wQk4mO55d!-T6Tmc^Ok$6;6H~ zCHMRijLN(h60mMAFo^E?S}3vfToM@MGpE=W;uefBwB;Ibsw3of{(Z~*#Cpxy=HUw7 z;A@@kHqfceK=W#<2=WpXvG-H6l~`ax7e9ZP|Krwo5DHNuWgpqjJp4pFDp~bNL z2fidZTvhnFdOK`)x_r^`#ZKh@u>-WoG-W@xA_~RAJb#;c&Xf1*1&V`ihuIB*B*iy$ zD>@{mCYRI)u6`YxCAfMe9&DpsX7mL2e;EL_qv7Sxo78?In@*0Nn zyso(aAsjbSreR<_oM)KIquyv{#bagyR%^IFAUfR0;ECT*2^v`L`Ei7Gmp^)2fjn(r=>?4P$Gk#%t z^)4=2o*~$*xxS6}B}-KWoWlvE2v{GM{m*Lugxo*EpI;|@ndTGl{gPTT+u^q9;S^`h z>`^6i-^%Upk^^yYQoa(}E9qkUMTCRg^AqTqCTf``YMv%)ohI5V{=1nv?P`~KfB5at zl2H+cCGA&PfFM;)l_j5*+ZCM06^%#VaZzwA*yF_j`EZk;E*E<$sJzjV-;_Yvl7se_ zS&3=E_G?;ShuAC6g5$G8g*UmuC<5|T^HmC4U94jXp-7_L&BwMR$PJGsdVmw)t2(e5 za-1nFm1yVmJdJ`2Z0W6y4No3jrg1~Bb1;F;CBx99mLx)oK7YH5Q8iP6(fh{uriThYz=+BekjdRS}yz? zh0QiOnv=mC((n3*dO zksvsQ5Y)It5Z#~_={3Y|Xczl!aY$~%G$$b-7R9xP1Nk|2)^~ycL{4lmYaiRMI7Iyt z4oTV~*0^lrKqDubzeKlyS0>;ZWe-oXn<#W10#6(o3a+z+ARTI1LhY(EaslC0NBFZTWj-*F*S2ca@=dCZ0Z^gJu*nh6eLn!2dI~cX zf}CUpBm5Z$4)+?#D~0E2{!qlK{o^x+y9sXfc z{>oDph~&*r7`lXo(r6@t^SRoJkqeeZV6twA?o>gkDr`1%dnAQh%8QbML3GZOTzco*Auv@*%G#%2x2)=T1Cy0ilaRTw$S{vg^cU%q z>OB9^h%}q7*wpy3BwFC114CX*k!FykKPdGRP1#bphPQv4pUL`gBe!ZLpV)ox1n;W9 z5mu!}wB}X%*%)sJ&AOM)x@f|Bz0!!8Rpl5b2@Cobel_5xENSn9F|CFz8uz$#l-_%j6 z*-a#G|0-q(;M?Dx8D}fB$>ZFMFjV_6u+lr^iT0J-d05_pj(CA|kJnob-Gc9y<8G#7 zD0h$NZjODIl?Z6Dp@BSk2mZr>Ic2;b= z-|sb7B+@^;6Gi6WO{1JE;0~~s@%c6JD>w)k2+cnnOehduhpi0Iv1e-o7%*{U%9#n8 zVIazmXD)a&lRry}gf$W&mkv4*!i6toOt&9jf8#kn<&Y<|4}PHJMC;FN1y-HIfwtwB z4Sc!Vn@Y6}CnGqMxr@3&k3WzgHPv)Qiv^^`-qik}3Wxk*@lUytb)Ng~i<}yHQ}q2u zqY!S$fqpoY)Vh8!g1x=JaOW$PMFMK6BB5N+V4|2X5hsp+iwUluBayCbb|*7oq=ay* zU6AuLB?mg`FZ7ON`8-^dHFXH4)NNkfQ6zEZf}kRsUlubMW`_Cch_f*gOFDMPM7tra zDOz8F%7Qd51<;~Sxf<6lktDCgIJoQMxk*1_7Bi);Ut^lBysPsm*KxwRYV8@SxqH^@7@p+OK-Km z0%vUOJZ-(q-{NPWpmAXS9f9+|1#$i%_~(rrh|m20ho|@lo&yRp8-@2q1w;G)2>m-) zXvMnLW@c$XtTNlayrR9HUukYS*{0I3~wuF?U z{1AI`C zXL`El?wP9IG|-kbPU!Lf2PLvwhaH*{x2f#HyQZf6bJ`G{~tjBga_$wPPee3P|~N((&x?sROG+_ zGJ?SYWkQglc<$_%_#q)7Nq}2$$^T$0?TZ$TK)!q#2L1Ad;eW75KynCVfHpK5xZvwM ztT=xZnjQ3&(51+2j^%DGU3#5@mNG_wz&IGw)i%PVIF`Bfl~l_wZ2{dl>xo9>ztdL=3pg%YKr(Y#>&%;u*Zj@-IZ3$t z4Sso$K6Q*vpH#D+%KGB-0fOg7B1F#to{_md$porAA?0jm2?4)m8IZDPNTU~K_qC+Z zE?aHLPt@X3%(#gWuakPqtGZX7Bhm(Q-1|YMh=MbDBbH4iRISy}VP8B8;uOyq5x}rQ zjP$`@{kR=R2HbqwYMcaIY`5x2a<2@nXil;->5Sh> zp_q!a23q`WqPT2^QsirXZmR{bB1oY&Q+bD=zo4BGP%h!XoGmb*b9xlVhmb^=9-&rK zZT|F4m*M6tlG>LK0WPaBvB5{CVoQ+tVYg?zf&On#e*5ynz)3E60zdwqGsV`p` z|EI6bfv1RR0MuD!dJAxS%N8pKPf9JtW~<9G3(^)hTT0FrRvleD+UStQ;5-~i`Gc_r ziJYQ7h`^t%@r+l3WffS(i`FZ1%C@&QVETsFb#Rpl|02&&1DhY;!u!PMj5bXx_OO#LiKoR4r(%HTzZ zk#0L)0ixi>PA#-YAu(CxZMp3*_*qHI{kPw3A^!A7ll*GZ8 zzjy(a)XMn7K~1Rnpte9rwRiWfuopWuDS)?c0wCS*+N$ag*Sd2u2G`mVIJRywcqJZ? z2vU@&jTWUAG;ZaoVVAM6K7F!oA-}pSM0(7C#-PPr*M#)*_MtOvQweCFUYcIG-q+m}ISI#tTZFOaom`fl+2p~9H8!ZOh6QAHHF*q3>C!P=|>;Te9v>vjx z2c7-5z(rY0Rs00G4n}R$;gH6yiy^V$bgDd^A|x*eP*k@Facpw?x4h;9EbkPRTGCjC z92*nd+=}p5;&P!G3Bo!<#S-=b3V{L?*l!Q{%BgRu*gGk;aTmXLV$}rJO_c5578sRbTjNS%P_Z~sQWj*|}Rvrdn zJze;?)>!cJzS9=Q0-&4>p3r~@WGRpPQv|6S~ZyR)K@2`@JiP+kj+SgKrhpoQMCX(x_B{DtHvzLaOb96usF4~OwN}j%GWpC;83un!>6*fuqe&Xm@8QP z1U(67>Y*O9!Z&sujW|`}PymN6#o?X185wN;-Xc~A=LmQ{*7-{G0m`1IuD>-7{QVPPv8%~DJh!(w#9ci(fTKN^H5{w^s93yPQFtYQ1i6le zD@$vOl%y?-i&n^1d7wc{(P3glae-+0K0iQnqJtHiK-pWE2tgA#lOuGVF(0InC)kLi z)&G-0L9L09cOqWtZWUmV8s~mE{9wQ0 zc+K?HwUsUGsWceQdvZVB*Iz%TqW763tl0DX7=nQA|6sm?=rTz>bS%secC5pF70Y{|=q&V(OVffkQ&V1~4`ORf z7zUc!r~Ac=x>IMY!bjtAn5NCEB10Ts3j z?{utoA&5NV1$ue#rH!tIuuxWH0@>evWlm@wnTA)_i~!^~RgrQqV)+@QlgeF$uCA0y zIE^N|RdCmvV-->u3rqr%9;s^XPQX&!YMV?!8j9wRb_G_b9(QC@XOChKaySu4f*SBj zEz41kQ5cHIKo%s!+`tz~b=!jZwk(I_TKs{Ul*k9m;{mcvu-D8z@6^Z;#AmYUF<3~k zegCoWIKVac6-@Xk;jV$};;X^F6~L5Jr{9zB@WlxUu>>_ivqb(Pa-MgqkT z)+k2|BZW00f>rqT7;67RpjI{>AKQLcoqBdw1f{!K z3MktV?Ovc_qXghyTJ@)E&ONsZ-lcj14_%!S0$@yV15eWjxDea49#raqJC7&!KxaTY z>RjJb6Vl@Rf*Pq#yn$2ONP#CZ!Yoz^SzCd*|2h|!s8pm(nyfRXgfzS%m0j~f?n#|z zFSZ-5V4<{m#boj0yxhJt%8?N;38tOAzI-~P(II)Hw4wlVY;hnclX!Z=>LTrjiK9S0 z;2gH)eQ`1$<;9r6(2;^I&O23-hKjIof&AU#*e+P|IDx2;ja)a3r$EJW7Fla-B%@3g zI?|)9#v|Uo#$?_Uw8Tn;B;Yh4F^N+~HHOB|NtIRq%cjE1=v@UV)$n1)rbbEL&(&PQ zC>egJi)OF=)t?IME90y1^#Ve-fIzuJz@}yt&Uqe<<_AgwxfroOT)^2NnH|%yRa*$j z&FXf@lM~H)qwdhCZ2pD|#6l!RN7DA_sfYDhy9Lh1cHZeqwi|2SVgb%EIl7BNo!RLL zdHIIY>=5x-72N7DbM1z9?o(zIuenn!g_c`+xbuvz%M}m#>=C;s-)!&qOgj!sKruLi z`DI<(cQTsbcGgjIv&z#Shx9vRb@z1asK*w8DBX#6q|T##G=DTaxYqeo9o1U2>}2EH z21I>B4>i~2?d^jyySKE5q!Wi0xq{PZ2TAb?6MMgaP1+g4@2loUOa26!o+v=lg=Bu? z7hY3e(b_2EUc(=Qse)GhI$p744$x$3bF?2fncL^ffUV9%?&{F`Myjf0#3F)+&v6Xm zk~|9n#7Dk8%9`rxX60lft#)AEwI_fKe{_U5AGmg#3$Nea)*q6(u0o;Gk(VuNk0Z0+ zQ{lqHTHh2+WO>q8$EVn*z2i-OY0KsLFmtv=SEleY^G=`X_r~OsPIpv80eE?qLiuK? z%uOC_(PF-O(|qU+2Dx9}{vk}(ma%58Uy<*$JP&zi-wBq{I1O_U{2FB64E4vP&z-W5 zuVR$lkgBkBkd>*ZfXw8H)}G`USM=F1qnXv(faN+H<+&|yE3gpq%#dnh6!pH&=EB5t z9XQ~V)EOc_vGYp^h1Hx+5D=NlL{t--e55)Z(2E^oFo3I1gWCl*yBKhzNw)s5S{|FU zfM85(@8&aVD5G(Lv6;qHI&$e9MULtn6__#;v~urUHOv|G6p3Iwpaft+pHduu)T)sg z-sSWRluoV!ARccP>M*LY?3pZ?9B7%0q2vt~OHWm_Zg?_ttZR9C3g`%=HS0&m7ZVJ#|Ch0Ld@h)Pqm*i9W{u&d9r*-!yD>>2ul@x9JhnmNs*eEfMn--=XCE zE()(7R}T`%J4qZmyb>mhZ!FN}nek3e@8lbKYgXpfIp2)N1>l>^x2^WZrin zt1AR4Evu=_K{H2N)`h?qN3r`&uezM&a+I7$@zK@a_sZh@gx?$@MJO4Q&@gTe9+ee>~&nVA(MC>KzpJ!|S*}bqFSxK|D z#;F#Qyfc_4Y5+?_o%nLuZ}dcK{r!eKr}OdGf;umsWN*BmG&^gpzZ=j<20cNk=xq+V z`OOf--M=a?kJ9%jMbX$CF0~uTfz|nj)>tEGIO+OCFFS*y96ZJ}`Fcf^DpTYB4w1Ax z>f6^#$bFn_JQ{eqsGL_`4-d`kbMb=~IA)CL?>$L9;RY0~FFmJJ&uFEZasUZzEthqJ zHYDy&Y$D`Oj2{{4=4ki4_~J-%JDSd$I_Inrq9`iwy~8KY1cfBQ-goVL`%Rt_#BeE@ zdBx&{2}aX9q!V@sPhoQ>?oZiV^(GjsD(BDuw)sb;|Xb4~=gdd)Ec5J6KrFl_UF(c($LMV>yp< z7{jL2U8$*l$=9|JUz}#0i5yOGD9{ba*@iLyd)KUEgvTefrkIYxQ7Kg8<2ycoVf}QX z7g6N11L0X@mJ9o2u1?1IK1>P0kOCk?7OW-#5?}})*aLNU@B_Zs< zB4A&byDZx8zyUYx%L*Dh{lqDOkrOVq!$sW(!-`#fdBeeqZa>S}F}}xNAo-X=z6UN# ztiWG5%Q}{GoFL0m%2C{S=#Z2wPR5!5$;g;q&T7eJ%~I}PDY=napIyq>f!bZau?^i( z1fcCPfbmk*`~gG3QXDOu zxMNh(lTQGWp7WKyw2o#Ua$j<|?%Wht93Mxa8RclV?$Yerb(sej}zo!e+YeoTluJogdIqxAm?e$99Zlvu!)d*PA2w18Iw>N^a6KC28Xmz1MpMwWK z<|)ZrTMp|UhxGZ{G+jlCq=Sdiy8w_xcI(63<<>WO4Q+{%U)?P+Z?dxq*2lj(cTY?^ z(+-|N3SVu4gpIOnW3vG+%q-{J+bn6(rh2W7Hk2ci0+ozLCFYwbNSWmvI5yxgHUe$h zFj`#*p6A{$MG)$E)7lv&NnF>+zEqj(&%e@;#4-{E4Gp2eN}@diUi4`oePGaa-+ucj%_i4ZlV%nX$$Sy zs%4#pnI`Wkm`M6w@o=q``XH$U_ZuaSe0`{7}`j+q(SM-_(1}m zrcRFi!%Ah_Kgks})wSn<&UXTvKel4ZYL8Q@l#m6^3H1Cy0xZvzR|I`8uL&s|VF#`cx~YBtSYXKWMb7`{E+wq*?XUZ+~JRB zb@;Y;e^`UCXQ*Uc+!PEJ($|d6Q8QE~iHxecK0W9!McZgY*0ZMuve;vnj@+>?c+ev% zdz*V3tqYtpymH9$Mv!2lr++YwO=RteY~^()U<)p5aG=w zPm$CRKgADAfRy3_FQn|u8GnXt>2XR7*7P^IShM?ypAA;dD9>_cA2J!%~h_ErRQ>htQTFxm8_R7LNA$Eo^|5KB{M!8 z6W$9pQTASAw$akJSVj=Vuwv-P1Qz(Y?ZOQU3l=zU`YcM9{GA7~EuxyOJR~wdv$-Xq zL+cD%&RcO!EDMpion#rorxY;J$^PYz1fu5pRI!^<9$Mk#0;Q}B1~0xUGwh`w_+>o@ zXN_V2d83v;s(Xn6T*eT|*%+yP^0B?NGEDfQ?XOBSKZI|HlyQRU8+(tc;S3wGe#K*l z^sYKY&4?Lfxba6cDy9^o8D_C#(=^nES?ty5;l#?Wg6mYu4$!TdoXr+(>)BFwRm=7R zS6#@CJ(E&)mh;2G11C97cO+ht|}oGWcQ>#dZ9F(Z2rN zWYUHm4kia0$%wX?Bvcfw7Dca63HXMBmP6BdU}+s|wT;K2GP;v~ye|`h8TPwAFHYt$ zP7}E6B>LFvg<| z_euK+7A!oOt?dvCGd_EIa#Ccia>k)7+J*Crz|b?xmkR%accOBl!=y7et*elwEg6_d zTv859LB(FL5B^DtLP9Qc^-29qr8PBx39CUwB8FX^@~BtVYLJ)erU^$$4f(!#nnO@% zJ1I<~rA-`LY}0vTl|qUaxi?#AuqRn~v})6eoqDs zdl$XuCBypMn*(w=(LM=A?D3X7ZQK*^N-cDvWGSlN9v%L8-`JViQo*_6A_WbofS3{0 zo)|*ib=C*#ZbA>%BFpwg%l2g}vM{{wWlJg54Uulpy6;s~v2fKWuQU#9!_{uMTh6uZ z!M7#3m}580Zo-PaexztDchqQyWU$b_%2SJ7YB;_8YKybER5iTSfOFaEMj~gmHd?qL zROCiuYQ0tHw|dShxh6TdipL62UK4e0_%kD9%R#s2q|pwfUs{|dKfefyn?3Nr-K=}pU;(@KVkE%%T@0P!35c098eA zyG}N0M>`Uu+APu(T?B}R>QtKAk!co}SI0O*<70pmI$$mJ+Pt!iSk_goQh2&dMO~(GK-xU!q0WXW$93Mw<#S~b zc(bmc`^V*P6QvR{#iz??WP-yi~rT7gPeW~wKcn`5)J$wXtZr!Fyv07<8 zpLcp2b&->O1ld{Ke#CMP_1u1;2HCEt2g_6wgLQV;)LX8iG3M{%epOLxU~j(?QE7f#FeInBY0;Oy&Z51F}$^=QjK{JdMhcr>?-%w zty6QQ@eq8rGO2=gm~vSC$P9OwYrU_?4_3Fn-3cfS`;I%lsjk!$Gbihok)@i02<#Bz z445E$S3_-uHqxjLkoH6%l*dn<{OaiD-y!+a&J+0k5Dk?yR|r6CmQD6&;+EFrXv3ju z6VH$Dt1-X@!R)9re)p!r!zZioJ5g!8ynhnxy)E&4!6UD*n@j_B2vYRuI?dBWF`nVT zV|g+1hhi`|L}4OzySgg=ZX_I)lY@%!nOd91D+B}`1xmkr$k+qjR2@~ezO;R;y5C)9l4(i(Z|Hyl4MZLfJvNED+DF*{w2nqum@L^2Bg#9U=@-=OB7g( zf&$6%H@qe%o=4?}`Pmny!8g6dFH9-~L59zWGP9vZMf|YNcRLzYvEPIJ_^obXY7_~A z>0UcD38L3-9hXaEhxL3x@uw+_y7{3#i5kFBBs)a^h~=_~AI1K({<4Z6hu{cfm&KR< zy-+`>`p%QHl%a_J8F_3bS+UEH3GF0#meLnOcA7$|wkyKy#FSMXVV2mJO*b!DIaND9aOfgEN&g2Da%OC8Z2G@^FIvHc^F*YiAkv zMU@hdVxC9wod;f5m%_xGSD$EuGd!;L*YBsjksW=C_FneQ`WqLovtqA$;T1$@N{`h2 zeFgqFyoi2}24R8ONk_`CEpe)vL^15Eyu2KWdDTv_g=%wbj-JA;Ae%Qck6Xa`QQ;PJ zbr;ETv}3$}6dpx##on(Wi5E_;)+Qhqk{L#luuO{I3eJq!>Hx~TI2z>=)#dA!y)5F;fwrAhMcVC{_ z@^E3#&y#3iM0?pNqdFiU4bJyJkx~0CuW2aj68Sur+=D2sO_Dx?KpOu zmOrQW*%-4*AV%>S<%|ZtrrHD9xurwLUMU^dycTQgH*{M+e*#)Vq#ZyxJN8$7?RSn} zMSmRAd%H?wg`nZd0dbQpfN&QuaA=GSPXko@}D~|#rZT#;J!|b6d3Nm}V z`b*E;2cT{n2i$P8NJ}@cfY`>MvX+K+UzMy?6;k(xW5A$(T6f+re)PQf1U@{8Zyu)O z@@`7a9<6i!X>Af?N#at?f6>D3{y{<9rI>dWz@TaZwZ)>f?H+3wE~808T<3 zcFk!p<1)fh)M27LFe))lI{>72)(Jkat(xB0RN7-Je}h3hX?l)fsEe`BM&XaJdJ(UU zNIqkig?2WP>z4vnMsH=Zh(;Qk-VR}$u`N;=?w|T>o+b@-{GUVofx}*%vH`<_r~4y< zV)1YZ#a-WO=;^gF?UB8|Lk#~`hB&23f%LKSCFuXIyeafeP5Rt8A=-sw+sxP`jj$uI z@+i|bF|quw`BucVVhK;O*4foZ>8$`*ACai05Upxd!h9bEqMV~r zLBX;H!?<#p8uog*Yd5`AHF105)FGf4BhDeUi$?of7k31&48*Fq?vo+TmmAb!Tja~f zO7ENj^}}WKD49=OjYI&~5B#U;;XnjZ`Y0`?gxGVNTXqfOXunJBx1Ga7Oye&@IABZ* zBmKA}1kM0Bh9oS0a9Dw{s9p_gSkYz50q)NSmsM=r%9zxSadMb%2%=>RGuU^?g4Zmn zH#WM~f^BGr%oy3Pe{|$ebg9Q$N(e&q@na|x7)4a731wyBtp3s3aeWtCB2*i*N zH7oiwr7=-72l|YQF_W$dZGNyAKOGBw?hi+*L@WRprAdY?63Nem*u~Yd#qv*Lz^wS4cKh@+)D&~tDM=I zW*=G;LI64CLbm8?Ydk!3%>5X7@m4 z;Xu;TRHU!<*VlLAJ5~A4-@@bdxSoxSMJEdi;4?xo!6FxjOmpnmQFzte7AuE?zq(qEHIi zRK!?p4EZHa+bFCww3ps?AAiO3Q3Ru*8=F24J+l_@{D5e4xDZThre7rkl=%^G#n?bV z6r&kdvSAiduMkPZ{*YG%BRipmjYk!(qjZS!_&X%1`FZ`a>8FN)HzA+7s zBHumE(yrkiH!fpS?n(>(l+%;w9(jl1`Y*8tyg%5@+hBWYK1OE-#%+-L*v)$dwLrKN zcqg3plF-`pXH4%Sojtj0Y;VgHM~r9y(?uba7#kYS!<>vUT_Pr0LyE2(y^+08@&H^3 zquqBuobaf;s(Xx-y-}~+bAyiSDrOu{u4{I_U-B3M9{ub&jDD6l)9|iU>OC46hW{?8K*Weq)2Z@Q?ji;Ud9cnhR|els zD-k7QTJeDCmM0{tnyE9IVwbG>bp+> z*fmH2rhFeOJUPU`?Q-)(f!TEL2gv{R`uXdnB|IC=8~y2dHSy_r^}k+PgaCy#DH1_M zzRUp`W-*lNQ(FuI)Q+6!E-{~Q`fvF#)c(F_sjQNx1z*j)L_VbSQBhyN2uM}f^;0|Q zpBa{w$={W7t1?u_PJMB^8W;9Aq>*~=D3@VC@U&3!^eiQfMXoe8nNMWq=nzeAl8Nrn zTe(s&N@+z@4;U75fAVBV%mbj1#)V;xc}vmMPbuhV+p{ESNs2#H=4thR8-u<3Zs{5S zAe@>N$(RHSj9Ec1t$P5`VCG9?y4=;VnEfyWFBX z_f2e&pFIubjsVIWU(~X87VH^@OZgasu)ZOY&8pGX$(U)7FNiK1(^Y0);EQJP){hK< zQM;p}ZUgCf91{3*?%#jBVm`%Z`h4FkTw+)E6x#a(Ms6SaxR?Ey=0s6rU0CeTC1yT9>m&WQq zi60jh(F+q}Pl|klAB|>1f*K^*NcrK%!Nrm{Ot7Nf%@hNAs zl~1_cKnSVvlo%QK85;^)F;O#r?Sm!ZI)Yfe*v85O{n95CWB38WPF-zdQoEb;C3K(} z))X67^s8h6rV}1km^)BWUWB6K5coSlad|&(zR_|u%y@8!9DuL6Y(z*uO} zPD;dr*5Sux8hX~IiPvyzv~2?3nL%&z*<0z;rLTY~ZRrsoe&sRotK z>;}1dhi=)_(?{1|u=kFf;k;L3Cn8SHV_8t20;U~%k_Up%&3c#{=c4V z$XhVXEXRbYl7#rZ1BrK@jMaVzN)C+IV4f%gj=jUP#WsBz$%ut5snCT0ddxbo9}Jvh zO^d#RZLjw!y=`PB{UQtg(b$12R z(ae|gjF?FM>MUt z3G}xbxE4n<&D)l@<#r7-DnPIkGX^Eqt=e*DO)!l}lJS(&Xpg3P1hgk%Rs6m-cVV+e z^_h^OuPrTt8=Pjg1kmHkicH&c!SC|92h9x4Okyl0EP7@mdK8{gA`pnr zC8{8sjfk70A_S;a8g(x42csAt6XPs#s;77t3mq+pTrhXnPbWc7E*W{3}XlJ^EQBI6AFb#&l&DqvMksblLp^; zsWp~m>&JP&D*-(7I$3^T)P-+`vmdmzA$qNDU(;}FI?#Mz#{1h}GXQq=@IXpQLh0K+=w=@o}P{LsFoJdRy2Xn)70Mmjca?=^O( z2Aybx1q)d;xWg+c-MKnCh>hZ7LajC-ykir-_&skl@?g;o?X=8P6O8T(XF?cqHD7es zdLB8z>(XNHNCxDkIcPMcAPE@*)15(TW-e`1*SjXxgdWb(yqzI40uhbC9E3@#O|1*C zk|HsNyGwv$RVH4EZjp_Xl%Wo;M`+lhTJE9G9Bj}S!p|HM`tfG-OR$Xl_5XX3aCsXc z#{k=4_yM}opr4#BKglxbDb@EuLyYblA5~YFq5*`aP;C8af%2)1O}&yp`Bx<9XOOp& zqe*ND`Ni?f7uO4}hYLTyPTwyj1{^Wp`u+FdDzfI^dYWv`BSXJZ(GDw1acaRA`qgsx zE$u$ZYACploD$7)dnu zjru25xlR(4##@YM?Q&m21itE4PMBFKTnb+|ACMoHEQU9;ZcmY0c=*rSmf|{+oqcc9 zg>(};T`Y)in{?=S`0#z;fvpW$LX#AUlQe|V3_05Lqln=ZHf#G$1vr_@ll=Wt@`oW? zFed;#syV3-_h6#802!mVhaA+d-KD^0+_`0Kr;GJUp1J5He$ty$`}9_N4k_Li`8*88 z(yXAkkc0%Oy?{ijTQNZoSs0(?dW3u=mQZq&SjjMJCjQfN4Rr&NSjaw?cS!09uXT+H zngn(HD@lT$@DcY4t&vId$icU!XkND(!Bmu8@F>|bqFdP3+-3M$o~^&{d*Dncdi@;x zwlw(PfEi$O0Ly0qHO*Sq|faCZZQ9q5Wk!Q zy#sLx{(l7O|BDd(_=mhr1j7EOqK!aI@N+>X5MVAG2@p33_S;|Uzp*wzq!3i_0)L0U z8aAL_2rS`W&A%dR{#)*sF9rVUp#Ky>AB_F&f5Sh3GyfC;3I2};HWcTdBL1~R{8tfD zl>Y!Hg7E(V{#}^BebUV_urFVj{sp9@{s&kYg8NT%|8i3xW6OpTEh-R3MT}Phf;%{eTp0uK>RRDP&$s!TuPur7$Zm) zFgMH&1QUoDZUq{q^iOs{I4fwa>ZeEr{80T0gpQyFEmHfmB?Dfnp#tqcPv15EIqiwy z0`=1VMohf z_OIRcH&Z#RUw<9=dZGMtH-Lb&xQMWVA}v7V0x&WxB}qd&2`5QIIW{t0Cr>}kw6<+e zEipDgElDE?39*&09FIoTN$lF3F2Up=;g~^Lff8Gb6n7C9=GL4ZE{`lJuh8ii1r|Dp zSpxkv)TqP_y3gI%JqUq@qD7lx;e!VCCG18d?5Er|%{RY~@68*g#{7So2I%Yf3~a3a zn89Cr!2F|!iJ7CRlm7qG@#j>3Lj9wozN5X7g@u{X|6)P#A1n-PtgVd<9L=1~9Nqpf zhy0(hkL-93bH9D_M)lpBH_U&>T-eFd$X?OL$zIsd#E90wQqRF5L9SW4habVqA}s(T zu4g$Zo)IF9LjnN~S_uVOmRMp*Z6S@lajTr@ObrDQ2@Jnel)xCBd{2z&!uWEhJ!2ty z{EN$*BzE#1-Mzqtk???s@J<-Ru_A@8c6vz#Jc$~F^MylnsB!!{!jots?Vw)StXr5> z$w%h%AO28?m=Z7y=;!I{mZv^ldaOGt9d+oi&eXZd7Fja^(*Z~=XeFQ7VD&6!RLX~J zqA|)f1X-mNap#K}k}Ix@-vtHvv&5q;+RKWB=CC4A;G@-jB7XdkbG0mhc0V{U9$4y= zni$cW{^OLNm7oJT_10uKlanWv*lLO_)s&n}5N=y2MGqG>LmV6%1-CR)*VMb>B5YLJ zCDeV_5$YyT9lVjErJ5X1o;&xO$jB67n4WZY_DjV558o3fP{2mM~$xVI~o^O4Hkxm*7E%*nu@KlPz{`d16 zl3IEMtuSRMp6U5QTvnXEhJ^Q3%Sosxk8hvJ&&KMDi|M3wf6S#jjJG$pc6(54FTJ`Ba+m$Pt3EP6C#1iM9wh%t^|1Ei4%4i5L~0HT0KB3QxIAtE(&kh zw+3+{KdWDydOda8%W=k>itVeEYJvIS(|ka(nHcUCbU$1l%t<+p;M~Z!{+Y9ZdjhEB z$sgIpC4J6}Bs#TM&eO2UKpr$yb3|2n5nrm&m8N0dk?6=jWx=P2LYAWVq$3C)n;EW@ z>)QX$^gc^bjEiBMF=idRgti;U;oCih^RbP|rJV5v^tR6y%G%^{4A_uuF}tL;(|O1d zj#|GIAIW@PQlau!fu~Don51YNlC&(ZAUc`TE1_;W>9fP=ch7leNZe-H)ig;JH;7r~ zPZ4yit%5hHsN6X@7k_LQzXh4#0Zv^1HOT$1L8kk=LH?)JCJ&J5eqC)afzW6IkI%58 zyb-9}6hN3RtkMC?l z6;LsQf{taJL<8~$rYh*y;zHM2jy>?c2qA`_0!|bdU7eet19KQz4HR4ekW| z26zFUv&MU{NvUvzNf6QAC>Wu|4|FH=@wXd!mi@Lhei@3N)qaqyF#x92X|>8pl<=|w zj}^a*J9K->xDvMM*&dYHG`8gG(UW__5pZ5hg9%o(fb7{%X|{gbA5aBus)6suHvT!cu!z@ws72|IXo#OO9xcx*aOvb1H&C zt+1a3Ik76x-A_HN0EJCH-%U2BNqhmBF;u7d&eyz-rC<8OGOFE$(#V#-20Cy9wb!Ed zBvu?gSh3`3&^A6%| zt^=I@6DpHA#=U+DoQxn-Y;!T0`QE{OOQE}dilcfY=3=7p^0m~ieCgNZ!TlU5O%@^j zQ=H(*nOl420^n@YHZHfx1qRaxbut;{Zzf~x zjgY`SYyk`M+!Q1krz4_skirZA$J4ExYIhszf&vzU^sec{5ZP^o=?*Yhx&c#RY{Ye% zXS|b&%uvc!+mBd#Th5pb#d+rb>gsUYthw>>p@oVoill}4gkhC-8tgRmIpIm}u|hhr zdLlfl?bLaQfa&O%=~{@RTLlS1DtE07xpqbzTX{tZEf$RX=!zR36xN}*^aQ(ijH_3J zr>Bk$Es0`SaC`lqFn7g$W{}7XJ~K@e@5zl$pguW&95yFhua20r^<|D73rax$4qp|)kXd7=BzFG6NI~6;%~q^!6ilYTxkAssDOrIvoQM%U zbjL($(DYMaxS4ui8T+Ug6XOwBt+5evPajqCde#DRa!(s30l14&Y0MdTHcU#Q%H-@di^a&=n$ncRhtHx^;_~5Gj&q;*2Bp@ z8`5LT$JEK8+fTg`Z2aZQHH){~$gGj7<<9F#kXJa;vEKy~(=4A&o}iDw4WiE;iP~;C zILs#mRym;NFKk5BS~mtZw!B_dJ0M z^)TY+i2_6k*)f~^c_b66TpXHQ)#u4ExYMb4oJ$wB99-uZF?jMcq?1_+r@Rs;qrwN) zuooDjINIgwPRm`Oyr1Cl^`KqsN^(y;dcOvX?Qb$8ikxKxd@dOe?bhTegt|uOmZEmP z4-On;#9dX0Rfm44TTZE3PP7qLKjXZyGm8k6>Os2m$XxU0nCO7hSbz*5MihwDS?TM1 zi``B$#j4IRt7WTw_f7y=u+@}$Q8>RfzCN00Q8L7jOZMHudrh4F9#1Y?C+<$n#e0o> zT*sEI&b}O9FKWv?Gjud-ZW_cBhn5RSc8z@QN7T!rN$J($`~j+uCpaw#g79!%0@0K7 zl}IKqA0G+#FR@k%zZf9T#q_4RW^vQat*?F?4smyXi%2+%OsH$DdQU4Xr&#bY2&wo^ZvsmjdRd99+j?4Y6c%x(L;{nt$~KP{;$`t=N3c|F4z{>~Zp8%YtjHn#Z( zO_3jzekXw7HA?75p4LQ#hngE_%B|Oi5J_AdN*>yunG=|p(+|r7$~O$cFbRY|&5M}H zgE|Y)F17Hu(w-UV-#z5|BxFg3pjXVUy?P+_9nNxi_UqnNel?B^#kwg+{QaOgluo#u z)^`smAVw{`=KxJoS(K9zpDcRM2)(5qyQx%$Ggeb~$Jx6V56c7s+C^Lj-2vwALEpqm zr!M@GSj(ZP4bD?A|3@vJ%rV8hwcstA(W3l3cfmF)FJ4B0QJ8pZiR};zJ%}kQrfSX# z59)+zGFVZrmsOW9y$EG)RxyGo&CEM7CLuqL8j(~D2LOrOyZ*E^se*5ti7^ttiRsR| zmYD$=4BnF_G{N4pBHAt$5N%^;_IyXXDG2q6W%!=pxYE9_PNtI@_1QeuR5V?jiHM2f z7&~;H6j$y(GWRkT<2C<9S;f6UDb9C3zrTn`)clZ^vzLf~=pMd}Za8d1zTBS8-Y4J8 z*f-<=sYR3~8gWFr@UE+|Is|E!qV5u|4}1o}J!o0hGH`wh{a>Sdnkhk<_!`x@*XwW5 zPyr_sD)+zbb!9Wh3l0u$050tePAUTaed|&4>2f4CVv6`FKQ?#z=x9Xo zY3s4AZF(zqq;@1$!mEGka(TKf78pD7$n6Y{CIaqT4y^t7ln!ij^m@ss&gK*Wch05| zPjM@WfJMXN-J6aS zpBmix!yvHp?VpHPAOL{^?lpmjK>lVD|6<#}C-JcLw^yzmmxMegzQ_zu{<)EvAFm!w zKczTLEL#jwtUe5Ae-sgGhO1#us&q%j+NKUg3`~s{)RYmFpR_y(_b|nh@pIGkr3>;(girK0Au%JiO+Q224gW`z;3+7_bUWpE4$!@%YOlm(*%6sR3ZJ zOh0US|K}e~nU@8e#vyaqAgNCNIrN`R*xURg7h#Y&EY-+63D0l=DQ|@)1(7I%Jaz6j zMlCl&PUE@o#A!_fLGXr(X937|mMKlq5a7-j5*9pat|6lN&cx(}`t6f1d~J=s-+fY6 zY^`&{ykMg3I(2V1p zGJa}%VJeIg#2vZZVY;x&(P%+h(K1E)VO~?1MK9Dr8RUwkuv!HaPDnDlpc!nslf;q< zfV#bfTi@je3rp{=Yce?U$))KYX0JN(Lt02>RX-ht;K?u3Z6XDCm`f^6H!w3)M_xi! z!g1fiBj;F1|@p)_2)$SO`1PFg8l0fO1!vmx+Z$_W?kaV8~VSq zLH^7wQF}dG)8A67T?5Kfac1Tv>t%i6>Ze=DDd1I zTNb_3qnCkcU_MkH)DNdFG3F+3k*fpxoMFpe11)An4p-^ypjL(5;Gr^*$riEC)s0>! z$uDh*kh(FseD{3t+9)Q5m+acjGD^BnN4Cu~oE(}exEc7Rv~XiEm8CFBiHI%sKKetC z6Cyhk9Hff4VNpbTZg=63eOtC_6L7dZ07oGgbZ%~%n&5rkMd+1aY>vH@q1q!WLR?Jw z0}Dd9!T};hTo5lcyK$D}?;5V`sXx@B-v zFUZgFThZ9Ki&T6^rgqSKvtAxxJ!&8xSnAh%DCy6_NCV~;kd_p5XkYdY+rDQe0o&dU zBB6OOY%>~^3Pg(P3nfMcWYWxe^)h=|bIwfjWSFjXvr1tj+EGVU3waipzMjjoDm@|CpHGy9<{n5f6FG2*oDUOlq8Od!N8aR zKk0JXa2;KJlrYsY^91QS%5kwSjP9$8o|pk}ovALx>iE2MdVI^PAkCUhSuthwx1;78O9GDx!Z`hM7YZW5nEk=fc@I$nS@qr02f@I!zv=ORMpcfU2 zq&WbW&^06FXd3*HsH+yWjB){1S&=EH>%z|{E+4JPJtovm5Qqqspz={z3Py?=R3mzr zRjz<%cp1Z&gs`(90C83D(_Q#S8amb*oFw|*RL(*V0SItg5mJI5PJyA7wh|P&gfP-< z5{Qnz8SWzbkLmpN-9YpBi`b(Bw=_2<<1GhIM|H&TwUc;sUA^G=8+Ly)@gJZ3`K#Nx z=N(+MgW6hf2p#aDlmqAN^u)+Ak~srHLg|Affnh_wvv&MLTqMT3boO<+bZj+v-_?)_ zYg|**uqw-8r>DWghll*@gc>|UPO=DK7&l=@ijjr5Z1RdIjL2@qdyO^syHNuknKBJG zC>3iSsg1BHi7Q#{;2LWQl_BOtIe1YVV*@P!nn@q)WEU&h?1a(_&6@{-qooC;NSZ~n z?Y+Q?vqZt!{4m{5@XQU2o^JGvS_$72ISRA(8EqTu2Nr8$l$%?Ru}B#ck+S$27-h%i zjZ{q@{m%JwO^{D{kXw5Ag*?&tt*3d?y=s!1K7_DM zRP3p$i-go)QrRgbEYwG9RHa=9fzrzaQ;#K~D$~u3cocGel2kCt;CTXpiyS3TH6Q)W z+3JG`bh67W1zb}}3Jw~&7!g6zzGaWO5_N^(B2hjDU8}F(v5|U*&gEZnAy;j(C?l~r zmwMrxbx8rwzbO!{mpW@Y&uibp9h*6zBrj3?r8d^pn01vpxS@&90`LG^kTFD<2gtGykW?38_9mP zTKn|+=!gMXN3t+AC4CG~QAV3EhD<7*8ySdMx*cli1q()okdhyIIyyrT#2yPcN7<)$ zrP}&%bi{q}0^jPi>1NNcmxCf`R+Oi-n}_WoSm1x5dbWVyRO+9UqzY-RB)iNO&QhJ) z13tXM`a~T5Ly^4!7mLe!h`FSU7<$Yp)(SSE(3;dqh8cB8;EKM4Y};0ImxZ{ER#%bh zQNwf@mcThty!|7tyv3meCepNoH?Qw~^0dmSK~%$+UMW^h^bE8J5f1V6B2R&X1KE65 z^Fg2%_Evj>S^{mUfp_dFW5tgxQUwm}1x|luY3mo498;uEC&WWLr_vx&SRt^yx=`v3 zQ?WL&=+bBqCWPIB5I1s_i((~CJnOUuJRy1v=qKN%LM1sNZn^qz7}4PfE+w-QFkvHx zKoXFNww*T6k>&(|T?gfNT|+a^L$*yp7w%&>+k_uvDadO^0RHPU{a+dy?0~s3q>mUt z{zzJSGZa)cZ(1x!rMWR^YxeDX(!|S}qy;GhpkhDL(2I|L8Zi&^3b0BszaW&<+a`fD z%@zAZtYkj_*|D+#M8jHWX$HDi;T-CHLslSdsuSrPTd2ba$A%vz#$-KbGpnS#&#V-M zffrUp6tAcpEQa z+CEieh>~6RYj#+9ZkZtiS$-er=trAv6Oj_=s?V}&@|6o7g!+i-Mt2B6$p zkRK@=uZ3M7ZKU7&Meu?P(`{@EPp1Az8F@Fib#KE(Du2@I+&$mlm-D;zlr$9H*qV`( zuY@wRi&^aWi2B^yajotIqhk$A@~KI1GH-(oc`lE9&s|cOG1{R< ze|w|++#UvXvbMh}K>H=!|OiJ}E;=12^$W?3PmBD}$*#HmKIIC`X z359SoeJOFtfpfJLkxP!S%N}+cv)NALEk3eKC*ckVNx1nQ`Ib0}Bcp}o!Sg1v&^u}m zxUAHklt5C`F?ByQCIdlTe7ec9Y%qTooURa#ugdJ65cw5gyLA#xCk-n2G-ddGsw+pg zu|3Jv({ybt2J$iMHy8l&YYYg6JgBtja^%Z5_!=pjkSjmE=~%uw(3Z}*;uWRg`61=i4xwXi_7Uvu#GZf@1nH3oX71oc+l z?ob+*!GDm!OWE;f*Pw`VWXn@Vq2#Tl5GRhhN}R^~6pm`EB}i~j>F*Ykuug*3KTiLy zim|n$lkgE~_|!f2TnlIQp!ZtYYY3sCilKxodj3;nW8%nGs%+$aRJWY%r!btageD;1 zZt24Bqw5gUxcj^vFW8>|np^j1`=g3i?j<%<_U`GTOWHT=uH`;_QqleuhLRxiN_rXs zRAZFYte>zUW!C zK|Voxw^U(GKHSe;qE{SLqkMLV&w;(Su`Z9O`0ETSS96~E{fGi-u_KNaS$2aT7tk%0 zj8TlDtCa?6DCfQonF((%Cf$h}UER{&aDGtf{^BrbMkNw<0V=OKKjPyxf*1AUePMN+ z)~5mtmHDwMm#%bh!-w~Jb9mKTEw@-TyO5+KXSh}mmnaHFitGb$aZ?k4!|mikXBifg zp%>pZN{X70;kg3$A5pxg^l*axXP9Q3q?)U)7BJ%`4*?DTOnIx4rUfmvZnh_ z_0$X1`mWpwMFrigmaIIA=I}6N)Q@kF(iZ#!V!$^6l)GPURu1Wn~VsWPofIg_ykJ+9Q1!nOA-zd_I zM1nFtNgByC(!Q|;z&h){ zg?PY*0rpf|*KDp&B`T*=!CS{&KMj0V_qFFSbGB=}JgsA}s|AU7M5}|N6(FVAM%D_t z*weq|5XTivIxVR*j7JkYuSMQu<%lV$nYpgTK?rJUdbx^9`A$1BOJ)4U&Md9>h&6n{ zJ$%6m%J|E|$gB&{5{wC3-*}F`&LU+&!niRkrNY>l&cK++WaOx7V???x1#p4Jyg7G% zu>`s`h@kTk+jSw*_FEzGxtZO$8LJz>+VqHAh;_0oF1oDXqJJiqx+`%^vYLdTtE4|RPOATn13DgP@X*o*21_+k_)86h?xODB{p3tyn~h>#kr;4m=0Ia;cmV`GY~WW)^9*Q{HxX-$c`u6|7((z2T^ixP znerLSgP<{9>qx^J!0~if9?2yF4dx{vVu|JOlRkRI63ee0Wo2&u*xg~UaU>5vPNZ(^ zkCvZLtXo1$3e*Z8%;lvGcQ5Nn4Aioyx$Iez=4+uW(3Q7Sn{W7LI5|@5nrbxJU3>d> zc!Pd;BbYkeL=A1chB~U6+8bDV%P_n_Mjei>idI1#p2SHK&gX3DVKX$YQM9;1r>3W4 zu;lT?H@~tJQCNPORVE87wo9(%3F%{eDYwBFaC1k&(29tEf2~LN#gmxk{mc}(sSh7_ zDdAboJe9zua8$%2Rp*O>a3A5_9MNrXCx70=<}?iade#&fX2AGrNENaFTD9fwds;3R zTf1x?JOiTMxDC4!WvFcr?n)s)D$;mYO<@s%^g}=3>!Za>LG39$6trf;0>60)3RnOS zMX=Z|loZ6v7U=d}fz+xgsmVLr%5@x+OVRwvG#tnm7_U7U41OB}jP@S8{qba}6MgXZ zV7E)&;1hUR0KPtxSAhF{vd}eIQzUP1#wF&DqK*xMdz<%jK0O5Y={=WxXIM`#9eH%8 zcwV7&dsI%cSFjVekopk41!e3_v6Ncq_4fd)uGHT*Dakm69@|) zHoMBuH;}q4xR}|JiYd0P$A-czkN%wG6jFObs9^4pKh#O5l_|e3zftGd`vt%GS!hd+ zlEjKq=kk67YqL&T_Hxwa9&u6O_Ie6f>I`z-F9#lnGGK(0ux2WZjJ6&!d#v{3fDmYBXm*0<=t|HZqQ~UOSQR)n$G&8{7hTIZ5klBQm*RKM z01=iRT;oO|WNpF}xuf8s8bm8zz|Em^>8?4-T=|wq(RXygA~F+byIR&q1?JEPP0L5e z7?_3Uua>OO9p-#jp!_CyN2rh$(!|1lQU|-+oGF=v1=hb|9V0KYll|Be#UhVhlB%2A zidosz0CBQUubmYytsbgLJuO6|esI13(AB=E=&6$yMAon`F?B)B&`a`!0#Hi%5?^R1 z-lOY`|4nU&Gi)JeWG&WLE#ga+Ji7-TRdmxkGVF(UP7;aTuImFMHM9ha^dj=o_LEX~ z$mBfTep3-S!Vt`EUkoh1!KbvOKe=9~L2#@B@2eW@=#g=h9Ij6)WDQ)pv~@fz$)Sr{G2Zw z8GY|f8YN09$lw>gU8{kJKM5%djnOO|*Kfd8b)=x7afn&d`{nvwJ$t3gNC?=ERi<}v z7Bp52n0BI2(JdPm#a?kYKwXu#4O+|U0fxqz*CF9u#L>*Z%@bPSSuI&;<v+ zPP%x$RSK9cm^}0hpjT*xO)_mb^3N-tIH*?E=m&S=Xf!>n5nB4hvnaA$WYx`U#e}zgCS$I$S?vs` zJ<+%!T!B|*Hn$GH$l6w=72RRRw&rjwl0MxSC)pY(b*wxz`&II(e#tDhF)plu%e1gD ze8+S(FL2RXy>GkPnM|v)A_uVe9g3)6^o+et?ape0**mgDc~Vxa_nKq^j9EJ+$Co1A zO?~i`xowCdSM%L5zm0TIR$Zhcb#3cfQ+^q;rq*JUWbAj<&$wmQp_bTy7c6A=g3O*2 z>*&l%TH3k?mCr9$^#M%M1xNQ>ZS`vn<7&f6$9hdJ*#1>e7;fv!|l* zrS~^^t@3k(Nd<`%aJhTS1}v5aom;gy)?K_!+t5XCoe~pU<6(AApNwA_@;XfwR{4i) zBj_P&X$B+CLK>-q5imDM;KPXEH!&r06u=SR3%=(oE0B#QzIdPw1pe0W+@YtRP*y#Sj+F;n( zV4|b0#;7r}ms&JMY1P^IO1r!dxagf_Xt1lWybv1%WoZcCQ^3ETj9$`3=}& z+>s%?e*QIze}+huIsl`JCvsmMhIZP!^V2SUqWQRP!L<-LkEm=JPxNpDKEo}?(Auu> za&ddW@#64pJLr)#E))pE z9xB_~K=(AzIPb$mb$lt&W;g=di%YFOOn-mmURP@|4wbJ#qox)m7gaSe${yv=6bN|2 zXfbx#CQZV4K14VnkM;JL2i!+PB*Y6@+4XB zXfThKJ{F6gxdk01n<~K)VZ}A8oTtffb%&g($dEkeK|?`HP$@ZAm2v~ovE{eciu>j( z9BXc2pw*>GgHB)*PBgyy=UGz$lw__%x~V#=H9h+g4|(qG7z`rynuTsUgIIJ&%+py64&xtS7v1-SSf!@R_ski9zBrGX#`?TM`r*7 zv_ciT#p*i7`;v|HEzVi-PBQLhwbQdmd_Sb0S|YB5j-KQTx2w?W-fJ5wXgpy zl%K)NhYYIH`-FIMNNP$nI|!i~7f>m~Snlslo3-OMFnuwhGA_#ZeHePzU*^W3m>06= zk{~%BzE{c%W9Oi!Mibu``pI*84_!Bp7h2=it&SJ#%l>Ay0)BM+Jt%j!4A9#PDRYW! zGlUneW5Q$&;6=JJYqGB8#mYND2Q<0Ye3a~f)H%GcmDiEdx+ICuqs#Mr(x;rJE0DW~ zPR*9d*Y`plogOx=#LE}HH*fh!SH#%vS9*z1@ojDb+>6F)mTI4~J&Kj{*1S?Ue;P)fCL;1$l8FBF?TRbj&oxuCDrw}f zAb8lc)wd+2(58>Y%MV`$L_wR}<|axQvL&e4jZI^v-$NUS6`8Y3r7TMsDn6X#xnOUx zW3YljW2ycFBEo!D(rc9=LY>D%fI&L}ZXMc+nrz z(;@BbZ`Ee9yMH+^b7dS{ORyt*$~Zin<4MSc5`1PF?46&nDT~k%Ew4)z$-E&fEFe={ z<{nw9GtO-NNwNcK;ePaVZ)sAp16A8gbP9WuxC4VrnpUkpB{JsP&feaN%zMLg*=Eh`WTzFskSehhC99H<`P(dr%r_?}pUNpuFS3UV zuFnN0f<9g@QXZ5pxT>b73gY}uP8*k%=W%7N;SDbXFQuGY94Z3Spwy>x? zD}46|ASpCS;o)j<4qt%dlb+)@{4O<5e*dd}dQBgkyi2lq6&ziiGvXavx8{|6R*o@! zrmusjj=^5!RHo?P3wiNVObmRjlL4!nto~jK_<<-m5}-Wm+;6Lm{PHNl%qieIZ4F%c*?Cyt?%U@8wU8&f{JTp`!(EKh`%d~f+=4_ zQ$Jb7JvfQdOAXnK?9Ra) z&Pg1)_jA1?0v#STpm$f;$uf|~yozcJ*>y3b4H-y(=;iBXuRkYtH}gHSOj|x!6g%T< z3_?Jk*PX}HRYq9mWAc19yZqP~6L-m?2=8G9_$pr)x1Yi-^x4enVH|yjd4f^r=pu08 zJfo-S-4z@NS@e~A8fdit>~M^K1Ti+bj2EJ=mS!XU3i0(P=%~RW=vftdxZCA>-XPz? zwm^jP#KnGc?0xIb(Y^s@0apl(Nv+GhO7;Tv_O^X8h$2c;wMGAQ&3{zd)8crVqL!P%zyk^;u$?(NAF&gyA@s}3% ztg8F4p4M3Id&b8Z`rbsaf$NvX1apY+?qF$CGkHQ{c*kS<*UVysRm+7q_0emZMRd;e zi7o4>AnKYz z>dSkZN$)Q6`PYZb{`Z=@=9UE~4is=N{3?Nq)a8wD)vV5yQen>MsN9EK_^yLd^ZC_E zA3zyVsh5@kU)#hi=4_mR3^-};{ohU5H_-O4nG`*<6na8Avt#?1ppkSYzB^jkh0Kt)}eLWgrqgboU7skLWDxFbQJ6tWK?u#10`lF$fCzZXkt zd3~@;lpnwN>BkkVJQ{Gcq;xcHYA7VYAqD$Gs%*Z$`Wt%QkB$z zo>9pVBMua@z3Z~R;Cq==Mglw*+RRG3MGPips%w9jyLWkuarnT9-GzX&wh>z>5ism= zELetF{badNIT2KBX%g;$jx6i}-0IoevDUqgJD=gMs5PcQ5 z!1=B|N4T%d*8SoJWZ2WVTddA<@CIyG4A&FQeHmLU*HiSHv{(kqlE@L}l&n9BQu@>> z87NH|TGKUwD*?2j*s^-dpB`C}Fom^_>FE38t^}95T(`B1SkLXZtlX2cXhF|{toZdF zr&zOb*|X(I*__u25*Q2Cy){2ZpTZ(X=Oo?7Q)s13y|S{{t5Nw!Y!Woj11RxOplFzJyL}1|knubVS@8MGcMC zSJ3TGPZ%#A8`Ga|K_Rw4#27LI%y6WjL-uQI(!@uz{a---wT7sIqH;#2h$MkJB=1tq* zZ`BolCck~d3(dfqNH~?v>|re8@?+$Ox0jFSJNABWOpc&RWNCnkIb9<_gNh+VOpj9! z0aA20W!j+*|3Q!^pau)Npw|KuENC`)ylMZUljY=yK^)WE`<9Rqt|z6T^aRX*U3^Z% zmAR?5Kv{D%m@$?)x7Ba|0}fPed21M-M`FZf#Trpi+zX9+{H3V%)OT0tgpkYJ?`t(& zsJ=VuL2reY)V(3h&E2_Mo{0>iVGATN#k_hy^KoM_qPW-Vpt@ONsfwnxP-BJ&a5tEF zSw9dmz~laaZ;lnuM1@(5LlnBotlSI1PMPMEq;pH94g{H?zTac42|*H$*w9g~POJ@6 zmmo60jf@A>%M&g{HVMRtOHuZ2x;UmcMc4<2YB(Kw{9oS5-;xjp546f14H4)3u>dN-X_;Jp)HG7tjJNf_OdV3LR>_N(r2RL*G90k1l+S>goB0sh?oS0$saOZ^`?T!!Il^Q za%EBL41Vna_0hDT8vp#m_moK(CPTZ;tst0SJvZgH7($srM1oUzpuHD<5@cF0 zv(^f)K+>y844v-F8Lyt^hKce+hZTjQalEND(C*-{Yt)E!3^=1N%YweoKit3~uJt5J zn5(S9;7s)jO3kGX{g}hQiW^*pg+N9Oz^1jvB(Ql>x;cubq0dVh76kW3r9FlyBqmMx zQ3^mo#Zd83Ai5sfi&Q~(dy`bQ_k2u$RG!uSk>-lI0C8@{*!6N0J+lHyjxC25;xp} ztPs?*IDG}ZS4bQUn};}ZqAZ9@gItYU0YWGHQ9iHyq-nMilWnoF^Xg0TJX#QylD*90 z7}frdFiZ>=Mef+%^U))EDo2<=knq8$8zncnl$0WeTU)!nCTQsE zrSN~5sJ8Ytwy#1vGb0D3p&ICJdW28wJTi!TmQ98Js(XbY{&8PBNjMJW++$qfwvLYv zu6u4=RFEi(<1J0EqY{9Q@Y6hLxSiMZ*F|>hi^F$jJg)Q!LrHZ~Yi%G*No`)%W?^nl zOotvYw5B;mdiD(AvWk`Eqq=h5dect;fbF*H?FGK9BApcoC`#Rg#hVbTC;OF}v zTgor9f3K$f+4*P7_a%FM{ln~^w6(tw{;FpEsdxRYA-s7K=zqQaP5t_7sDD<-{?xzz z)_z*-zux|n$n}47^-~Y~Tl;B<^m;JZ{|?+AC-g5p->(7xdkyF>4~VaI>i=%a|1w~qzbHcg?BLJ(!(R@rU!(cA z9Q^0e|5+{f3%ua<==iVTe|$c_v~zzR{-32MzdW?Orq+M;@Mj^)pW*+kefR~R4EHzS z|Eh%evx7gY4t_cCdH**Y{EF{y^zP5_e=a=#1;2#wH{t)O4E@jOf2O3r(D7OR2Kpc2 z{bz#u%g0~o%ugouTSIvB@-p(ug8$f{e&