From a6e710ad626b4efaed248e36bfdb517519b9daeb Mon Sep 17 00:00:00 2001 From: positr0nium Date: Fri, 16 Feb 2024 13:59:52 +0100 Subject: [PATCH] fixed some mistakes in the changelog and improved the sudoku tutorial --- .../source/general/changelog/0.4.rst | 18 +++++++++--------- .../source/general/tutorial/Sudoku.rst | 15 +++++++++++++++ .../source/general/tutorial/sudoku.png | Bin 0 -> 77928 bytes 3 files changed, 24 insertions(+), 9 deletions(-) create mode 100644 documentation/source/general/tutorial/sudoku.png diff --git a/documentation/source/general/changelog/0.4.rst b/documentation/source/general/changelog/0.4.rst index 6020fa18..cf3cea47 100644 --- a/documentation/source/general/changelog/0.4.rst +++ b/documentation/source/general/changelog/0.4.rst @@ -8,7 +8,7 @@ The latest update of Qrisp is (once again) the biggest (so far)! We integrated a Shor's Algorithm and modular arithmetic --------------------------------------- -With 0.4 we integrated the infrastructure to facility the implementation and compilation of Shor's algorithm. Most notably: +With 0.4 we integrated the infrastructure to facilitate the implementation and compilation of Shor's algorithm. Most notably: * The :ref:`QuantumModulus` quantum type, which allows you to utilize modular arithmetic in your algorithms with a minimal amount of knowledge of the `underlying circuits `_. * Furthermore, we implemented the :meth:`qcla ` introduced by `Wang et al `_. The previously mentioned arithmetic can be adapted to use this adder (or any other adder for that matter!). @@ -26,7 +26,7 @@ As we found out, implementations of Shor's algorithm that are able to return a Q .. image:: 04_shor_plot.svg -This demonstrates how powerful the Qrisp version is compared to other compilers/implementations. The presented values for the are averaged over several choices of $a$ per $N$. T-depth and T-count are computed under the (extremely optimistic) assumption that parametrized phase gates can be executed in unit time and unit cost. Without this assumption the Qrisp implementation brings a speed-up of almost 3 orders of magnitude! +This demonstrates how powerful the Qrisp version is compared to other compilers/implementations. The presented values are averaged over several choices of $a$ per $N$. T-depth and T-count are computed under the (extremely optimistic) assumption that parametrized phase gates can be executed in unit time and unit cost. Without this assumption the Qrisp implementation brings a speed-up of almost 3 orders of magnitude! Compiler upgrades @@ -37,7 +37,7 @@ The :meth:`compile ` function received two importa * Due to another topological ordering step, this function can now reduce the depth in many cases by a significant portion with minimal classical performance overhead. * It is now possible to specify the time each gate takes to optimize the overall run time in a physical execution of the quantum circuit. Read more about this feature :ref:`here `. This especially enables compilation for fault tolerant backends, as they are expected to be bottlenecked by T-gates. -This plot highlights how the Qrisp compiler evolved compared to the last version (and it's competitors). It shows the circuit depth (as acquired with :meth:`depth `) for the QAOA algorithm applied to a MaxCut problem. We benchmarked the code that is available as tutorial. +This plot highlights how the Qrisp compiler evolved compared to the last version (and its competitors). It shows the circuit depth (as acquired with :meth:`depth `) for the QAOA algorithm applied to a MaxCut problem. We benchmarked the code that is available as tutorial. .. image:: 04_compiler_plot.svg @@ -50,25 +50,25 @@ Algorithmic primitives We added the following algorithmic primitives to the Qrisp repertoire: * :meth:`amplitude_amplification ` is an algorithm, which allows you to boost the probability of measuring your desired solution. -* :meth:`QAE ` gives you an estimate of the amplitude of a certain sub-space without having to perform a possibly exponential amount of measurements. +* :meth:`QAE ` gives you an estimate of the probability of measuring your desired solution. * The ``gidney`` and ``jones`` methods for compiling :meth:`mcx ` gates with optimal T-depth in a fault-tolerant setting. * The :meth:`gidney_adder ` as documented `here `_. QUBO optimization ----------------- -QUBO is short for Quadratic Uncostrained Binary Optimization and a problem type, which captures a `large class of optimization problems `_. QUBO instances can now be :ref:`solved within the QAOA module `. +QUBO is short for Quadratic Unconstrained Binary Optimization and a problem type, which captures a `large class of optimization problems `_. QUBO instances can now be :ref:`solved within the QAOA module `. Simulator --------- -The Qrisp simulator received multiple powerfull performance upgrades such as a much faster sparse matrix multiplication algorithm and better statevector factoring. These upgrades facility the simulation of extremely large circuits (in some cases, we observed >200 qubits)! +The Qrisp simulator received multiple powerful performance upgrades such as a much faster sparse matrix multiplication algorithm and better statevector factoring. These upgrades facilitate the simulation of extremely large circuits (in some cases, we observed >200 qubits)! Network interface ----------------- -For remote backend queries, Qrisp now uses the network inteface developed in the `SequenC project `_. This project aims to build a uniform, open-source quantum cloud infrastructure. Note that specific backend vendors like IBMQuantum can still be called via :ref:`VirtualBackends `. +For remote backend queries, Qrisp now uses the network interface developed in the `SequenC project `_. This project aims to build a uniform, open-source quantum cloud infrastructure. Note that specific backend vendors like IBMQuantum can still be called via :ref:`VirtualBackends `. Docker Container ---------------- @@ -90,9 +90,9 @@ Bug-fixes --------- * Fixed a bug that caused false results in some simulations containing a Y-gate. -* Fixed a bug that prevented proper QFT cancelation within the :meth:`compile ` method in some cases. +* Fixed a bug that prevented proper QFT cancellation within the :meth:`compile ` method in some cases. * Fixed a bug that prevented proper verification of correct automatic uncomputation in some cases. * Fixed a bug that caused false determination of the unitary of controlled gates with a non-trivial control state. * Fixed a bug that caused problems during circuit visualisation on some platforms. -* Fixed a bug that caused the simulation progressbar to not vanish after the simulation concluded. +* Fixed a bug that caused the simulation progress bar to not vanish after the simulation concluded. * Fixed a bug that introduced an extra phase in the compilation of dirty-ancillae supported ``balauca`` MCX gates. diff --git a/documentation/source/general/tutorial/Sudoku.rst b/documentation/source/general/tutorial/Sudoku.rst index e600bbd5..424c0efc 100644 --- a/documentation/source/general/tutorial/Sudoku.rst +++ b/documentation/source/general/tutorial/Sudoku.rst @@ -2,6 +2,8 @@ Solving Sudoku using Quantum Backtracking ========================================= .. _sudoku: +This tutorial is the practical hands on-part of `this paper `_. + Sudoku ------ @@ -13,6 +15,16 @@ Sudoku puzzles come in various difficulty levels, ranging from easy to extremely Over the years, Sudoku has evolved into a beloved pastime for enthusiasts of all ages, offering a stimulating mental exercise that promotes concentration, critical thinking, and problem-solving skills. Whether played casually in newspapers, puzzle books, or digital platforms, Sudoku continues to captivate individuals worldwide with its timeless appeal. +In our case, we will be working with 4x4 Sudoku mostly because we want to keep the results still simulable. A 9x9 or even 16x16 implementation would of course however equally well. + +| + +.. image:: ./sudoku.png + :width: 400 + :alt: Sudoku + :align: center + + Backtracking ------------ @@ -105,6 +117,8 @@ for the algorithm to function properly: * Both functions must delete/uncompute all temporarily created QuantumVariables. * ``accept`` and ``reject`` must never return ``True`` on the same node. +More details for the Qrisp interface to quantum backtracking (including visualisation features) kann be found :ref:`here `. + Quantum backtracking for solving a Sudoku puzzle ------------------------------------------------ @@ -741,6 +755,7 @@ Note that, in order to achieve a speed-up in practical scenarios, it is necessar sol = tree.find_solution(precision = 3) print(sol[::-1][1:]) + # Yields [1, 1, 2] With this, we can find the solution for Sudoku problems with up to 3 empty fields with the statevector simulator on our local computer. For instances with more empty fields, we can still find the solution with a matrix product state simulator that can be employd with the ``measurement_kwargs`` keyword. diff --git a/documentation/source/general/tutorial/sudoku.png b/documentation/source/general/tutorial/sudoku.png new file mode 100644 index 0000000000000000000000000000000000000000..e0a84aa923a4236c8eb0e7acab9b9c9989cc140b GIT binary patch literal 77928 zcmeFZ1yq#pzb`r_A_@vBB8`NAbV-YJcb5o=bjQ$&iqcX;BLdPOB@GhNInvz&LpMX- z=f&Uu+`aa>>z;G(S$o}c_C2!}GEBVh6W{p6v;3^2AbI=dqnj`o?6$O&mi32 za{b12@XA;B&SUWFlB0^`3s`lb)Rf-)}&F>wDqzzUzg-&bg(FQtdp6aqp;QJfzA|t<1;Rn3UeE9HFB{I?6SpPoJdJ%K+0_-WJ+}|hB zcWD1Uk-Y)d5j=cp-eX@p`Gwzb_2S7(Y@^E;Pky}rpZqd~^nPSmzE|&(kuh^J!C(Sf z-0||OF5Zk+H(!EjO4)VA^B{N~7nks1FtWf3u4?D{`o;e0i0S#+Y32L= zmz^ZY~j-VB9Ad_zM+{TDK2E^9jG!#`3y_eac-#b%0v z_p{#C)zw|a!deN(F#|KR0(*x4zKS*FP2aco*jb&Q?mkY_EHEgt8ez{;%?JV4?7l_d z>FMc2j|?W}xj~@vMLkDDx+{*$v^9(pS!QbpU6F`3LD#ynau>XS$Bd;s>E#~VejfQOBie#7i8@C6%Mh7ybfssM@y;f z&S*8k`_CO5_gA%1u~?_a2MCpPnYO0S1PkEDVfxo4%v`8&LSqOiKQ#r#^Ugv0 zlou+HpwCGHT48g~<_IQ(AN+S=+nux)(# z7Kx;R!Jb0}SLOar(EA8FMRd5-n>U%eYh#+YWCEEPO-%A}oZ-BVufgZZi7-<>=gXin zQ9zYBD*#gx71LRK&t-i)OV-tFl9A>+4k7ar=vsfT7wiYV({sI7=?joH>Mvk`*XzwU~ICinOCH!UHg z5vCo{%i${q*ssgOnDzMtL2r(^Xh9{=j*>qnn#n1s4bMpS)~82U;ulGT$nh#`0spV+MgW|et2*xn{_d74*xvl5H7C9X4E{`?# zrAjXJ2%kr~tc|t}7aFI-cNSH$)#y>NILfw7pj&@?4DC5yFi7ntIIn0^n6QtxIWp~Y z5Sid899yiyVPXE)+bi81gq`*~lh8CSCIh?9p>>E#_DSG*$+Pg@OCWq)t zu;%{~%znhpt;s!SM7qIcI0rwgIl^rnHr*9zIyE*Ww#w(pW;Pg%1iTryYbuPl| zj_5?C^InYX%a>n0kCrnkL8ZFbn^$h=tc+c)G>{2xU|~Vr`1%t==-~M+P^Mfbg((^Q z8z~8B<$6Krli5H^PBBmc-}!#gS#pcV*26D*-K@t1~%2B?MqmkaYq2buRI2|8>}i|7Z`O;5iRd_WJf#{Jg6#x2D~)h+d@ZGr~J z)p2)8S@1y?h>m~z_Dw?O+!iXXH@(k6%}tfva$Fnb;&ok5U>46-PW?!B1vWh+agpM| zAZmEelPN{7)2pO?s@@;9WcNC9LUA$<78n+^P?@$zO6!!_KsDuG6EPxNJw7^ukVJx_ z{o&d1#_ygU#h&0g;j=^0P;quY?425rWl$yOaCLRY!^0aghK0YwJZly5I%)-#dOku? zs82Ny0Ggl^@a@WZl_C>qBG#9_%;0NaWy>Xrd2GON+oqS2l01>LSRPwTOS4DEOyTU=#41sFA%qM~9foAF11v%@*|S4}tI z>lG*yu#N6E6&HXW3e%o1%k~hlq%HQ6rWvPgR zcKW#S$U!V4s=5z81aueG}z{ z`{1e8^sOtM8GM~_T(SzuLV1P@uMCn*YMXCe>Dr`hAW#&bTp7%ZXd&~EQv^$O*Qy;| z;RBm){&<@>4eVm&{3|lw_`1#vlev~qS8r}|^5ikU39>qp!Rm~6n9gGmMyTF=eSSEU z3*(V(0=?`$6F-~AIJ%h*IIa96hzNk_AYwQ9)Ss)ZdbGcm zlL0CdKvsHHF7gPy{q+gP-+_cffY7-8!v{cgQ{M)q;Bzq8_;+@Mw1>yX9fXFSDY8{aomLuSWg!shok=p1OX(E&!o{p`oG7l<6Eja)*0EhUq44;R&%}?bUmO zx()!U>N`L|I1I`$^$k~}7k%Hv|DiI!ZV`0Kl61N^t@M@P@L~1&GvSFjsr~Xr(|lOC^1mQLnnDW+B!r=?h@Fe0WN7i&MMn6S{Fcw#*>0oE5Hw zaWd3Uw%l?1fWhe-<_xnl9%@OBTl=?F%v-R0jvVtp$5P@U#;qc zNsrl?8OkZIgT&#rEnDW()6+zr*Fk7dWt|Q1FHP68ZI}U^XpZ7GpM0_hQ9#g!d2PR0 z803TcyG{z~Z@K+K`~BEw_TThsJ+<4T80o|VA2=H<-Z5Of{VQ+GEAqR1P79RLkuR0Gr|l)A%GB z#h{)BikA(G$EQFdp{9Ni)`EZvz|tTwBLL)|tf)PK6F={wJ zI}ip;tz)g;)4ef_Qk2@T))Sed$wIGPlvcgjfU^w|PbfbAxz#VvPU8oA|It?S(^(cV!WC5QsZ4M&pE+*u2TA~0D22=vD)1a(hg5fI_zwUyvdUknv*;8&l zO*$gMs1XQIyNuxCzLBBOXSBeIq#M?GS5iaZ5)RgIVZ6f89ppDGtOyDMs>7w!(59&= zLxdRUXe-r5b3nF(mx|6m1SAFZjDdkTUT(4G>NDr^wzE zQ5w+E0CfcSh0rDbXZYOjm=H2S29W)OfStf7OfRkm5i!9B6QGVklmr&W4vpc~+qZ9# z6^>?YVU&J{7)%>uK{b_#h={w*$%qyA*49>Ex)hLN`T#2dkpW2rY`f?IS#Qh&VTJc; zB~Thfy-&6zA+Vfe8H_+6$O7+?kmUZ&31~F0V)&f1$pUvT=&>avT4<#O5pkdaz5i!i zPoOviYEk7qY5Me**$uEpHjVEAf%~_gS#_xbkt2(sDzzL^2>m?;5dN-~6DZf^e-nik zN|Y3hJe}_IcpfE?4mrC^eWJBzN0xw>aNAA-W)sD%uam7=kpFiHFQ($O)LW17;Sejg zn|TKqs17n+7M1Y&Hy9rnCEy;A2=UKeJVXx_uqX;)(xCbc?vtLOQ*7LVt6k-i$6OI( zCg6nbmqx&-XR6ir zSG*3B?zwgHYP7;J1DcGhXu$*6_!FhCz8qqkdwWq3orUV#P=Vo)qp{g_Y*K!g$S6il zH2rLK%AD}|$zwpW0hbZDvAF;6-o1GeoAL4)&xUq@@#n$!Tx^EeYA}oO?0`(7h@^qk z>Tni}aU$H=Xap282Sm-qHYw-naE+9hM?^B|YFxkd5U`3#j}5^Qu-v2>qVXAWEV@7C zARQSh;o@omnGx{in6zQ8fb$ufPAHc zXbtCgwLwkA9LTbr*P8Vt9jSxPVZy=pYmht%7seJ-w;!9hn;Gzci2=wHL+Oznw{Ri( z!SDL*a8Mn2Gh(rbKqb5o#C!_Jftp4l;MU9Aqn0Lh7Y<~vG?2L6886ZvJeCNuGiWfn zPUnp7?^FGP{P6z$CkW+0LPiGfUMB~0=U1SsQFixU&GH8t^k2#N-$PF^3tR%Kn63q|!KR==cW=G~MX@_W zFy>E}-Atb(c@zj_nFw0>dC;q+)hSA(b^dt7C5LU`Pkd|Th$~!@?Z@Y!nnIYhL zFyRU@J6@0d+?_b99YVRC-8UR>0PO)lB%T2xDKLu5|C^-%$qzjKU$T_pNRiMhzXZpA z82LeR7J_O4fSOQBu5$aikB~S@2A{tR6~4cb(~8+aIn%3rmy2y08q!3BA+KR!bpZc_ zTJ+P3%lh1&SMyd+?P*lN!UP->ou0T4emr`=(QJh zffF_IvNNdCIc$GvRXCXH2b9=M@Y(!|2>@1%ID~nZ$I1$vR)>`p#VwS6T4@VD`0VlT zED}gw(tlyW3Z#kUfgHqBkj3c!tW@ZtjaOY2QLM?6A~9j^xjLmX7K6F;U{dziZ%PRQ zacaYj>MvC5|F3AWYoYs|1qQ$xar*QOm{drowG%L)wto{Ew(@UOKenyj z`nYrMhlLjn@Ky2cE6*>3Isl`?DuMDH(FtfKa**eTU@?palv)-HbYXY-4?9r&;SjO0ovOuu z^e7t`A}{Yl0sRq>UC_7!q3}%dJ~F4*%ukR@7Sivz7B;R|;UEr_%!}}a3_K|KFf;z- zX~2S;-PkBFq=CqNmS#Z`6o+8k=@|jQbL=N#h)KBu`^5)(_%Bh&P*Ta!V4^pytpj2J@ay0iBQ;b$X|B^Vh8homV0NrO^kjQMTbF3SM>=Yu4BU zF1E5E$T#WO>icP}+ZMx?%3R?I?mKJu45-I<$N}c|_1E}#i-;P~*2=3CG_1C9<-qRL z$FFc&4u{|=KR= z%=aWuZL5M{GlIwh%=caf*n4Dwp)l$X(dz!8tGVmya7qhR4KNX26_5OD`p{;8(Mg6@ z#8AEfA}KJ8?-+t*0k1!a360`p3H*cx#z!PRjSMiZDQYitj!h-V+DqVfRX~VA!3Dv8 zKyY&Zjx`(jMMl4TFI7^j)Ox~WInD78WMIA?5V`{%k2Q!?l`0qO3g?yRoiE|9GeMAC zhjzyM8tfOt-$i}IV>=mn1q-(o$e0Vjgb4=%gH(hd2pG$zCT<}-0<8Htku{Y@6TrKXI zB-1H*LrLzr`8F4d=hFkjHUvxZQ=Jki2F?7{go6uea~-Ay#XOk$MjKsnB#2p=BmsEB z0^l?JJzB#6-xc42{eYwpU>$q_G19Trm+CA%4@6OwI&ZI$TCXY~mV9ElSQ-INXuW~H zFi7*I1HmE-j1oxw0tALa=%1}IA1%oubA%G>)A*rpf=K^+!{-5;K-LGZj+NOWpp{oS`S9Vxa-mdhZSB9kDC7vYe5*om+`N4GGGGS4 zI9X8a;9kQDmq|fZ0hl*z#)Kmf}KMqw65H0V)gwSjV5KtWe zHaB&2$SQtL29UN5m;wM>0E-Y1vVTpN3Rpp6;G=XjveA*i2yF%R3c4d;WL*ioKpkMW zo!0_PP9H?cKi9wNPfz|Nan3oWpH$AwBQYJxu@v z?Qth3CxNV$f@*CR)9oBHwFg$4S!LK+XQm2U0uL&i|%;#d`Q5f zAbt2S6BQt^-TGK1<;Aru^_=JnorJ?oL6FWFRH46I187-sU9ThPl0A{|wnpG7LcUnH z-->F60`Eq~%MgGmrnW)KWmHmJf`#Aw8^ZTF^jLc&SpBZ-B+!j@mtc1%%%)it!KFK&FiXr%6`uRj%x? z`vbqd4d`&d9J#y0jzvyR4u%fwl&!tJ0h%wN6T~< z4E;in1%@ANy$?X0G|5o1?wQYYNxiBUZ$KjKdLML{3>=QUjz^Z80d4`q!vaZBjs>|h zz>$201x~gI-UqL{Jp=Ri6$c^^veZ%&$XUUh7X4C+z%GH2k%1Av>;vGCfsn-@a;DLL z1zO8rjnHA!r@&11_dMMjVz(M*h0lMHyqL-K40QfiNDh*o*DG(5ISyI4sDZ(r*Kh6Xmpw1m{M<V4^K^NZ0g3C+ z)789K;5!ht6x-TrA@2Z`*mS8kHy)!v7rTE_gzT;QtAKS)OS38Em}xU&pfPK`?ghK2-68PUnK$SpZe>?*VS9W#GY> z)W5q{c`pl?YyTWsfV^U;A_Cqa3l2H#sij>9$h_~rt!jo*01K4ycfkF*AqxO9!YatQ z4_W|T2Kh^k+YPY6bf@Z@gVhnh@?g^qGta4UN;D6w;$z%*L|@*bAUq@ z<$w`&02%`I6oDJS*N8Gpf=htRu?JP_;voyk< ztNl&tYIv5Os=2x#e+E4*`Sm8Jziye@4^c(QaO`m&QLoW8 z)fA;a=AV9xI}{saN~W#Lv~<_-OeEGlcS+o5;CX(^LgX{vgkQaGt&aRtiYu^P{Vn4= znTV`M<_TGT4@x_?ASnQga%q!f&m~WJ z2U=ThPk)Ev0Wu{7uOP2FaivA|{z{buO^f=D9gey#Rdm~04y;0odSHLeWa_L0;-)UNGLrU3u}Iaw|x!bA>L6duS^2D@?oY#K)n}QxGN~MR*==h)M`?*tafEFl1GJ zo%o$Rvf7^H?eX03>4*N-uPdRp?(~zE6={QyB0C$dvSjto(E;i4+sV<&Rm=h++4KaQ zGb|@>X&+`2Ze8k|>Hu1+Y18HmK!~o}6R!D2ON47_2?%c->a5Kif0M@c^rDyhoS5aR z(D}XSP}!LT@%dN-0@Ic#JF|JLX|k)fUu-8IQ86BnhF!tZYpjnz(5Uq&u;W=&1kc2bFuN2`sTgS?st-Xo#y#!OqH+euiOrsg4 z0ZssUEcd3QI-z%qoYs-zl`bpH6NYeg_gy!61E15|%Rn59;Qp4CUNTXGNUR z;27~sNFP@^r`reqMCSES5D7XalGLnIh{4unV^)bqG;7BkWRdf&^s(Xc9j9NT8RcAV z`Diw;-*)*)vv0LGKlU4EK4;MM6^6%)+N?BWdm(|T$Ox^A{HXwM%SFL{U72}Cp-Pt* zN!(6rZm}C-J9f`u!bkdATO56aiEGS`IxOrPO))EF$}qL+hy*g<%fs9jcTGoXfF$iU zUSt>ZWbAfpYN=u5 zwle`pJGniqE4omMG}qgijZ_FIBV!QW%duLf&4$_4HMqz{(-ZrNk09F!dg>^;ba<*reY*KP+gt+22=$(m^@ zx90eftWbDM(HMJFl*F3Tsri(Gj#`(!4^N+bvx<4lOT@Um@Rwvdg~-o~tTX(}Y9I6G z{igMo^|i}azLM}eisu^&QSwJCMo<=LL|C=WPh&~hH(W76kCAswAsT)^cEwpnvZnTR zNna_nTsw=@&TJ*i zBNwUfidxKX^YQUx=Ng!`3+>)M)%u|nZN>lCwa)l=qc_P+7*3T&Ys0l>KHYM$pNZ1a z2ZvH*9X34^YC;(8q2$j5^HmC_Dr=#SvN+|Qhf5>$ZxXUR#hjcr=_+2fD`;34A3s>| zt1zP(kCtF?S)p^86v3gN$>VBWBky@7f1WmU=qYxM7nBAYgzK`NIc;)6$u3c zhN_;7w3TF)jOmUHnqMb2idS1P#L6o=<>Layl7j_W)H^7aF9TzWtwPs`N4hhQ{>h!0adPZp$NtDVZU^0s+;)+6K@gV#K_>WcPSO^q!*doP>r5qg=N z)GH}-8)i+e2%1N8@p6tx|IpL6kWQ2_-!;8wfP#KSXTz`IEOz8wt0Uqf13I-SD7$esu0bRz!IowjY!2-$r`U{`N?@$ zlz_`RG=+`*%%{-}AvMF()0(u$Xwvsiyy(@M0=8YT_v80iN#XjI2;#Bs%i5K+>qDTW z(=CL4_USM+wznp-?AVbnnpn5;h_;~bYKK>jvODW*$i>n6&(#>#;)!IKbTnjbH}d$I z{Hi)#sJTSmh7xUQov#~gn{ji!rQ%RGU2m^9$=Km@uKdvl^TqS9?XpFp zoq7k1lUUt(wb;g^$w&^5!Hxj&9n-V$fuhr$uc5@cHC5! z_pbPk8c*&$_sX{*?9AC-?8>>R23I^K$TcgUEC0$JvXPD^?8&XRy4&$e^(W_u`iI4h zthV!9jbh2_RD*1Ni3ORBte`~S9j+vCj~sR7NglTWtZbc2Lv^tQO^g=nOoENUU+X+_ zwlVqzU4|*4NsmOAG`N0LBP`*bk21+wDrxzd&lKfP%OkS&pZRUGMh_(w7ssI%ryLS= z3!0q@QXDc$rwkT9)ko77WdAV>A9Wc?F-&wL$&kqAn>?D@f0E{&AGFf(iP`B7g}SUy zC>)1NJr(!EGVka4QI_n_iu3N<=G%cqI*)sT^L(llJfeudo)Ko7i4mkl@3$5RBoypu zaQTy|<2uWd#vN3kH^qb&EXyVgt{09(*{-9}3wJI1E1uQnfAw?h_wSO)l1oxP;~ssf zYM?EXeKb+0-l6b&UqS@E6mF|_%)qN2m)Y?ZD?YR?d-zCoZ>awHsr$jZp_)7y_sX;8 z$32Yh*&U^D+wuJ4Ye|pNxGVLA*{)^zOcmtcjM<|wq#RhP5=3{$O)H@WLzO2i=QYeX zv|Qq4BFaM09Om(rx>0q7D4xCU;&gS5g3PJ6{@Y!u;-#L)Sf#UCKW^%biY^@3b?rPI z)I2wBxH)?AB|D*8@A{kvtmR`z2uyu-`mUkIiDXDVLm1iOw_Opo!VvoiO^;6sX7x1s$cvfuD-sV7gv0m zu=ROE|6SSGU7J;vRb%WRJ3glxdw@9y@;%OC_s?#q~B^&T(0KC zej(X3Qze?}4&Rmc$BwgG5B9eTGIe~85CI-LPMLF!mW;NjDYxubUPGC~X9Lq-b=e_N zH#0rE*Ybb37abTfP&6OJy;Y^@|=y2G}Q zQXY(O-IvLp=v6N)$w;wS`L*5Nfzcr!pm1o(Ipf(g9>{VrimGqSJl{{qF0LZAedj5u zjHriDDc3%(2zpp}t{-d7GUr?Dw;}o}+e_*zrO5;PMNXbc_G`Ts{EQ!^*&3`P)&WZ(q_1tA@l9n zdd9V?z^{H5-Tqx_S#n>zhGP7>7y}u!>#B}iM(F3_UFo)tua#XZP$5@ioIYCLj#4UU zn)sSIxv(QSwQh@}B73B!gz17WhD|6QY;VHdPfkF3)JJpO7&`Ru-Kj^a6A=B%Eq@&WcF*MQPcbLyhkq=?{`9v+?eSH;KK;{%2oj|US1 z7d(oey!nh)6)8|OZe7n9BPu?RU}~>Kiq>afe$zWpyaFYOdFJ!Q#zO zhWb_~+t~Pc_EE><{~x%$?%C0OvX)_vi9xCB5{(HQ6BJADDji)Kn*As)m^EQM82)32|E< zFR2>$1l!MJSEQX&4%XEk5@BW9TiJcu%vP|ZA?V=<4!uJx>HfmCh>m#EVH zm!%@)x2U6!u?gM{?W+IYJ$PcEK0xR}P@x*8X4DY2hwiCWSAS3(k$t`&QlF%(er!@R zMyk9txs@$m`y@EAOBM6FE8PLLtr`1==uhgPZ2?{X5Y|L)%MV!TS0Cpn8VR%d#hIB~ zdEXR@&2qmQ#M@I3`jtQ9zdeM?VutT_BU63Rg`8v_5tfc>8G8A3h3Q!-wUdO77~8Cg zIo+IwZd|=4hex+-GZ5QBNAOi`^|gB9$YX{LB{RZ3)hLe9)N0Aj`lU}MS!sMOUJ|CE zMSrC2QmO`c6iw~Cl3jfEPSRQx461QQNeTOr-uKnrQ3tP`-dK9)b2k?z`jaMRk3O&) zAdlA+8bA+;uGftn>*pWebx{hoO*#%C&F@-DGiB0I=dw7De#GfssZ+QTq)a@^Qa@(x zH@8YPP~ZUFFo6w=<5pIGVU9bk$4SHcAHLVJefFNR@x7Mt;{4gu$~{4{%3%Cqs6Xg& zp>^UG4#B(qvu`?t+b%U_eX;bt+jONZUEZ8*gUP1K2T{%3XXC$Y)lo8`O_RJFSn&l6 zJ4c4-PSV6;{>JyczBCp}bMF}B`wtumXsO3t?+MDajvfl`!N-aiRP~Or=A2`*y)w@# za;K=iyZK`uOhrrJ5q!+t^VwHdFK*JqQpT!kSK51AD#WTr8oL#j9Y&weJ)B?Ef23m_ z{1^v5efsgui-G2Y_VQYOW6~PdweTb|daJ1+^yjgaq2cROM?*_@so(Y1Sa=3{_IXq9 z>~>{4EOe)zaAa_Nmpl!r=_fEGujWYeQ96BhLmBV8^|E?LIq|&#%J_W7=Ce%IlIfY~ zxUn|jZtiEJ)7m;URg_2JEyvFqv@9>-9Oa<3U%kK4{5Dsz(|T~JMcvK%V}SFY(7Uv^ zw9hlpx?CNkD}3meJzDZ!MM7k!nN<~Bn$FvymScfJZqeSFzqL#iu!nGU!eAX_f^tiF zi`^cYf@e~zlnIWQ9Isa;x<|KPRa(XqXYYsDrfiF2X4)5*bBY$*^Bgc{8p}b;%IDSv zbhR4mmFsOH>^KC~Y9I2aa_r}tf7>1|YnGn;IOZa*lbDXy;rSZA&Ba*VH7ugOn)&gh zLY}nBNj!0)OhO)Bm%gTahF+M%djk!R zbFy^z!L|&~gyb>Rg%wuS#F|vmD7za3yFqWheZ(eX(ERd3La>B>>Qzs+tAxB}pvGBF z^f@NysM5?!eHg>|W98I}2%XdST7|Uh8dsh=_mIM$#k`wb=Mqe#9`xjH*4 zrpUyb@ve6V;L*p1?6d2fS97>dWu7QH!h?@uYbNCG>z)t&PU)6=lh4jyMi}2d?3Qrz z(|#yl|8i`iTK%W%BkLJ5KhIvA79I&ZGqhJyLjnic3L0Q%= zSFK9bxBe72@)Cbi)j#|XoKG*mCb_j}D=1xI&0LVDekEu5ilN5?b<0iKg|meBS9S7_ z?TzCf4Nxmab{EFiALeRz2;{iq9?PD(il6I~;MYz}rhXJm523Utq9w5cP<| zIZ3B-SCI>@B|K0qx41;w^sM1(%kMh%0(Nuf8jjJ=RKaR>eU1a@iH!c>-sjG*dvv%q zGA^Mp$XF+=?(fxsP8!AIXF>J{tdvW2Tj&q(?uxuCV;Dx8mGVS~I2GX#P+ix36je1E znB9}n*k8Vt+W*yHP0g?9tZyYmu*yPc#x3Y4g?o(B`N}dnZ@ac^s76qpTRnICPc|Hd z*T4JZIQ9K$$Twy`vQBsXpA~41c|tDZ8I{uM1M-0(Tj2sSF5GI{GD(T}sIt>r2gf^Z zAF#3iL`&omkW~a^zL2Q-=R<9Ogh6J!R_H-(y&vZGj5iejL!Jz?E#Lb8hJ>gJhi zG11Mm8usW&Z63ANIw5`z&=f~G{-hIGMLD$9l4ftQVo_VQx(Y0#8fv299JJ}{B;+-5z&X> z^KQ9|>%6sLkR2qX!7AEL6?~M{=ct)8kzteB`-{V(XB3XkxYUz_ygQcN_x-`LK*wo8 zr?POJB(r*2Sl|A`4eiwt*Z$1q!2Wh0M2@h}sm@-m;j{M8uiQ~7XKzqM&ktyJg}EFz z{oNC*b95qmt+Sc(7{-ojmR33*UJp6c1!W0){BKn%ohUjs)g1XlJT;_0mUk=rY$^4K z^i{cTyoXVoMfyrXS5=tBSr=6)&(Za4+`QyeiMk;P^_~cWh2@{D_Agqlh5;ch(2ps? z-M;epBdt)d@7&TGb>Y+z*u%scs)EdGt_ggE-*H21zT&+SP^(?XF6x!TWh z7#r37U7$!qxgbbCPoZMPm9IN<%Aj+BPl}80K}GVhfwgN{#LdYJZ<}SATx)}ce*gGX zwdt!a!bb1r`s*wjHaGfRr-&LqnOn@IA6qkRP)Rpjb!2_ik1yDN!teeT*V)FvRh{#j zquHw3qcb;&oZHz8mOUrcao>8{oj0QS_NQhZCby+1$a^R+3}RObT3YXoj0W29 zUy;$*9Fq_v#OR#US|r4)N^K09-x%AA&7RGhdi=)`jVf1Y#N+?=acD3Rp1O063|gw; zXo;Qb54>x}LLa(m(k#ok2I#UK6 z4zt{`w!EDx+#f-SHnBX5RhaZa8WF^b_f@RSs3~WasA6$mf|j+HPLFVeGip!h)>WSq z{G7m5_4j#`c|g?slBD;6C6`{FgW;F{dEDQ6DfyVuVNe?Axz>J<^SQD1&>qX>1+Q^# ztc>+%qNog4rc4ql9e0BGQS1_*#qk?)!1jGzi$w%Y7Y=>Fsso` zSgDFgF6LY+J+}SBr4P9xy&jO!1o=7Z|8{v%5AN z{WAewyxM&l`uJs~JAJZHEBo1mT#sU(q0$FnW@d(5ADO& z1^kRGb^|HbrnX~P9I-Wzs%Suw-x$R|5{Gh6~?6%MM1T<-Hz(x>Sy=Wd&eb$uapVpJYF%{ zY(7wn9jj|LRdKEzBS7unDV>n%WvySL=tReCxIEPQ+F|Ir`tm7xiJ^9mP}Ub|SB6vd z)4TjmlIQ@PQ=|J)^;Z5tK8%Wi$pe?loCm@lb~x8v4$T@+tyQzFQBzd!L{JVE-(U5< z->-|azIsPYs@H|zE!Dk1PK>TGpM3zMu=cr%O8h5J;d|`2IY-&}l{TZrWoi-MlA|55 zT7Cyo^0&aX`R$r5wBjYV!#W#IZoV5y)o z`lHT{_wQE2y&&t^bRuOu%(?*MFM%I6LN2bkSQOajq~eCx3+VjIg>$4F6XJ9DRty^x z%_^PaJW$>%`9?1qO47eCB|22KV~{~weCMof+9+IxW z+uJp1vX_v5^Pq2VQH>PUbaig|PW~9ghNtxJNiLGy zYx<>SWVet+p_Q;-Sl?0gYJ9opYCtYU+l(s*(ys3s0>+ouhLsVF6#P9+9eC5T9youdAr$~J$iX!E)aC!3a^C7~U}8(h)l zIi5V`x}(F_-jjlH;-dNIKek3M7n|B|LM)vuSlY#dBm)&Id zh6+70-ed%ekTrE-f52gfmj3n5n5PAT7X2xkj@t)gObfxI`BJX%G~{h<0hjPq*Fkv}`T-27c@*P%-48Q! z>eEVL+WfAa%#*V@tIs`)L?vbkCDw;=oqVr_(i!aoFWYZno3XF!sXdb+Ntv& z^pP6EPik1w{Q4}NZq`xAqE3mABSfr{R5Di-w;c~uX1#mj52wB`;qoh| z<^!cC$-{e=jRl7G!PJjK=IT0{XfzXDhYwmulyrn5Cb=4Kd#t}k7QJ?_G1PQ0UZ9S3 zr=T3mED7gP~;jnqe4nTB_>( zXE9|v9lJo$JT^LtA3d|9w}@7EpXnL-;s zTAKG6{Xe zpj|Rs={O#c+f(zj%Q2oQD?DuNkIAeAPuH7ihgjBA-(rO^q*}y2X}cuODT%*EI~eZm z{^<2+E0XPx@$O`%OS~FCuX{XPK~hTY6DPt@@mE_%Z~Hr&4XfVdv7n6#f5nfd$7Hxm z#Ddk8Sa^EZ{ICsyWH4*s?Au=rUZ~xi(DUt9#?qCjV2*i*tuU&+qz6NbS@TEP;`j&P_ux8tx^?4_ z=}#i+7}CijQPX-B7U`LLgw#!{N2ACy%qQ|Y4GYK+CWq;LZy`S2IJ$){*A?kpk4da; z(urXIdvDYX+tJNzCnww^o~+S$_X4k)%T8=PrC%_fs`xyyq$Y0S!#(Gl`wBB$M#N$) z>{fLeTJtAbtifbszOCr!JDhcal9#wNlFxomag8_4yhCR;L%8bZq*5;X3QTn!sYojT%13~7euv0hF+-FoNBRO z3H|!Q>X^Tw_G3Td2T`62Xz8&b;YeGbB&PE-SA$n;m2@0!d6I`Pxa?;K8hz>7N}8&& zb*JPT`cuqfdy4x>a9L?{lwy{2y($Ce8*2FM5vnnytq-Q3)yM(_5MxvD|4rKC&OKO- zpfH{y^j-@}P(Z5f7`-Ow=^U9ox&OpQX#4PZN_Hy1+uctC-_ynaX)L#n(8`dwj)1z3 z1BNg>j#L;Sd@$uyJImc7JyLj_AQZ;Ucl*Q5&-UeT*Q5_=UzLdxt<4YBM~dgd_7s$k z%+huO#r63Ieq7l;e!qaflyG;sy+N8Cl?IN+v>iH0!n34ylTi&Jq*1L5b=u!Uoeg^) z``Z`2Gz=^J*sw4f`)4+HyV=F@=`SNWj^XMww^-!XFg9(;%MtdpP|rI4CN1156Hl}k z=DX^pIb!K&NgqauNm~o%iG1*sdAd8`sSIw5-ULi7=`?G0@G} z(kJBHzn`y2=ItE1`t08E|H0T_MYZ*QU%c?Ir9deKS}1O%NO36c6e#WzC|-(tk>Jt- zE$$K^Xwd`+#hnz21ugCg#R(GJ<<0m1j&aWIxyePw9(&{&*=z5$*E8p5&QNol;jqQ(%$cfhA@ zQ2v_yGd-tjxO?M=15rTv-o0yBWleyRDqRpmsAVU{RQL82ZPaCN+n?ena9tNNQPQig zCjo-Lg3jy8Jb1xB>{7GX!e94(89>mtv3gGOu^cU)N|)$#NnJk&e`#s8kL+pPS(IY+ zYOLf~eb3WUA5PG#)&?94VgOyhF z4iK7Z?BVf%l4#^OZyaGZ#lz z-+MC;-&J~}jX~jAhUHCD6$bY?6&m4~t-rs*)~DzzBC{hwe%WPCAD$8<+?^UVb+fV$ zNF7c{Nt@#j`C47@hyH6J$#Oz$sT&P!^8#4<_nU>nQhqrr+f4V6lqgP{Ot}A}w&oB9 z8pD=k6o%LwC$9SHbPtog9hrS7l@^$jD0^*_ z*ObHG8|*>$mLV3O?_VD@2Pm2WkZhgb89+Y{&_3J>f1Zh(@0yvXSInM@+MT2hXQi&x zN2~w^{>?r_pD6Q$OYm!1lpmI337okKB}VotJ=2B>`+rJ2uA=-m))5z={w$j^u0<^i zcN=e;999yJznA3xoep&I3pggQ56LYV&u=TM*2m*ZTN^Fzm(#vVpGmT}1e|3f&s|qR z;&nCYON_v)m=A7wjx4$EQoi#tJ1m|j?Q9_4{zl*r#JITZU_04n36W#T`hZWc(=u1ADX@)2=e{}(Ia?~U#)FQ+)G)nNL13U zXk~|GSbfRCoOF)8Y+r1oeJu&6wbw~L!ST&~6b{qc>!VApd91Z_=?_xBY0*%BE}2^3 zA130~Q6zQhItWrpwX6tTkCJM87xt`;P1#U0jl|R--QiH@hZCo45L zL?Zg3H2>U3j4Wh7rKfXev6mT1t39D6vj0iGX2NYbQlmizRKlgC4&oGlGv*yt(7nEp z3=lZ_L!sATC~NE&h@%;@dgWTCb?#DS^Lv*(rz}!ZYb^Oddn#i#@_|Wx)-_F-@a zLdz?{VAAXk3)j1UKTe<`54ySc|M%imD{NfIlG;!0 zTsf=h!ltLIQc~3R<`7i8*keuV))c$EnWV5LsS19%SoFY2J`(;B*0W|*@og$f?6Z)> zfc@x_XZ+h|;9_k|MH3FIsQVKnZ0KTm+gr&kuTO+>tdIS6P_bq2I(q6Ow-?F-R5dw= zH`plwxL=l1Kn4#lF~o-#3g@eWv}Xp0?oy_dvhc?O$mj0_)bN^=YhaB$qinZw!OFfx zaih0qQ6y;=0<914Yt)h&PYZ#@6dIZP5^cR1hMe^eAF!?ky6S(i7hu(w+IP#6qXYTy z(ex977Q$Nl6t(JG7Fyy15CEQ-^v%7UB|e{>*t3jyJNdV(d3Ycf8DaolJbfA@YOk zh?Q2XR+7%scG7pEahbhk8K`Z?fZnvEi?r>9AkGEo$MiXq*?f+-xk z9KQtSkfub!)2dM#SU+OOY@yrEa1*WD4YO@Y*S`Nqu}4WxjS!kxT;>ko-}#^?UL91@ zz364@lkb@#a+|~LU)JKC>)CU+Qy$%E7Cp>dRorIo-p-oq{<*I!FNMq3=T1ER38O5x zZ_b`wvVG^O9?R+!us>wJktZbboXNCFZGF@DLrg#L1g9CY6L?XQ1mR9{5N5l99b^ zz2Wj3X)#Z*%J=*%959o;u(FS4j+ znm4B{H#5F!2wGcupUQYQBAe6gqm@BWQ5`Mq8%Qm9;=FUML5zxhZs~~yF2P`)5w<0rX|R5}_*U?3b^IEoapESw-N@dcts3Y_S%j+9`N8U?5M^E~7?qy8w75aRVY2ZwqPg%A5Z> z?WUuTdctW2gXORit{v44OqbNHW4vIq^AiT?0l+$mevIN2?K`B|9auvYqf6Ro8ggS@ zw>!G(2vv_vQ0nmMkfI4h1{`}E8>x^sx|eEL1d<3Ni;@h4iG9rBYu^ztTlLQ!ArfJF z1noxwGMvl(qe)nvz_M*7FRGE-@5bO$;%7d@fb5&iku-u1Xls=_=;2By4}*Sd$H^f7O>0MUAC4QFS>a)Nxp5&U|m5P zdq}AIOW(GArteV0l$-$8heYe61(mm zu6auK4NlV0!6&C_^7L;9!>q=TGU=!`4Zf=#aNp-mXHJ{^xZskeVVPhOE>!%7dCYPw z*x7b)IQY8s8$(K&2@waKu78!cHYw<{i%3Twfx=*tsdK54NEg7H2QpIjbI~aM z`F=b5msGJ|+vu^kl9&IV^_7SV+iePoCo^-bp=~k~jbAJDSrhb+`+e7JL)*{y$9DDO$$`Mh10ksSP!KADwUGwRzjwAcZ! zOLL3ykKpUJCt|bF=C`zPZXPd`vi|B#y|?G` z`tlYPB2HnXSZklUB_TWs6f_$hqvy7)P6(u5T9VR`xs(14f>uln-kS;TlcS* zkJF!$F4oz4Cve-_zUrt?>f;jAezZ{S$s*(WDP`~Cv!3U^n%S%q?f$7R2Eq3-(fyE{ zT{ExR69eLByY{sS`uUrdbe88u_t;qKm~!Q~TzuIprwKi%@!fmu97!gk+h?elBVajj z9kfYLqoy>Q<5#PWq?Ay(iwY@ymOP^W7GY>EO_pnE3!$2Sm-K#1lP*OL{u?3nVyeh3 zVh_m{xVl*2=f5-Am%h{*Fu&UIYpKpYP)kC1$hAK6$Ki>9@8K-zMQNzM2+55>h;J2( z^`tvDU(>KFwn;_|eYA%GeAHnUokKK%|JyGh&&ZHAK1m%Uk8MF`8vEj;+85=R?H=M- zU3f0>K}xqjLCK^TFS3|R!^PrKjBP$*5Pww7xnHteIARY#@z0G z{p!uSZbA6-psLCf8g5{4N6<`bT^x#DdBZCwUAU-Cz3P1JjeBQmT!bZ(nQLn-)&C^U zs*6Va^!4Z=VhXEEEQZ+lB7+qXXQ495yy2qA4I%g!@wS5Mb}1Y16WSXQ(`@C9hOqz@ z0wcnt=I+Kp$`P>21HyFOtTLU`Y?RxWZ87&G9;f2=d#-+Ntxz%vs(QDTP62ml^xyt^ z$v^Ni;}hJ2l%w3mffY?y9p4_cvkE-XRK1b}CyLVDzfwOC;^HR7Y0x+dW{tHQNj2Xb z`_V^SiWuTq^$W$mbXXO%8_u+gOkTofLfNV$6G6=tw=~qt9U1kEl>VW3D2Zy7vRatF zCSdy!^tkw+o3{O3Y;|nb!%B}A z*oY@!v+&9P`ej>9RaHu2KIZk>IUBs~;JX{@O~q_nMgmq$_eVx{5K882+;=!sd$b5D z-W^jm1J%qkCiewfg4En-&Yrk71@8`U%@F#IQ`0=yI-U{NA1b{e7YoTA<;z54SsBn|AgB4G&Rw5>sMz{(^d-Q zkGt2ovDx$jkvUg&)!wuX%1gOdd35K2*}f7Rn5R5 zN|14kwPSE-ZrO)*CTc-NDGPCp#%fF2HAhpdqX*TwC~7Xkis&5V*&WJz)!i7vGy*;a zAxuYmJ1w8fGOK5}`i?aDtKN6x=BB37r}x0_CO%wcnil@Qa@!T4dqqkf?BZZi(>Mwp!tX#I+JLF zqlHA#;9e$&vg?B^<+SC!mzfxhk%sV&q}qt_O}<3Pd5%P|4ah{&{pWR~rSqAejOEsD zJLhwQMfo!nD)E1*S(ZX|EG>X?x(-NQ& znz#x81lNcr@V#ad=Y?)y4D@!+BLu|bn;@~xqQ=T%&d+9B$rl}m_`LuC$apN28!2 zRg6YgK_j#NkY_kekaEENV67;Cz`f&+1{JNmSqq)Umo1mga5KbDye~5xVJv;WSAB4enQzX3CZZbB{6x$GR5_hESON z+6N2W%%zHFMrcX{W_XH&+-GgI)61^L(4V-6QdjoR({0fsq_FEISy-v|d=32CbI-eB9YyXm z%BL{>+YJb?LJeH+raveOUq!W%?CbPL&Ke>|XZ8k& za$b$~^16)@s{iUTc-9>myCl-si6-vvdL?x|ZCprzl zPyXg8vwhc~^LBz8dPQ@*yO6wjgJ~EFI=@R&u3tu6;reh3=_7F|8MHZ$GOIqj+b(altf!;Ebc{yZD?7PDpxqqVvNZgL3$uGK8FPi!( zTrm~qXg#%p9IJ@A-)8_PcG1SM1CHNlpEQW1v$<xp>{ik-_o$!V!FV)1&L+wg zokpOzP79e`(2EoD^w8_FslUwQ7Yqc8#K?+3)AJk0rlnSOaG?KZ!L4^cM)I^as%GRn zM7|VfAJ2L=*qvxK*v~38tT(+x=i2qA=imGOC(L8~=~{s3SD81MvF(vFk-}U1 z#G_E7gx-g=#hFLZTHQ=F2{Y3IyqJ$pM@o+=c%jcWMt@FZZ^h9}y6!xK^yTIQzMmem z`elA!>@tmIdOrYEF+0WUB;B7Ok9{5|i7#J9$opFDF6 z)nx;eHade39fSh1V#}S*Oe+pBK|k?=4_locmh_=6Fz;j{`-PwA?-M2U5QWIuImp5fY*(IzOnSdy~Vi(IUo^5(npi|k(lf`Wm!Y#vX~^k zb);#?%8WzqRI}L)ihcU$r&FAaIXtj0@3h1E0TqV6yphDcz_aJ-%5|{GkLwJO9~E9> zL&Nq216a%6FwEOLcUP|%Y;X8r9_PjQs{H<9L!YzG>yCDR$r=MmuXz%5z-ot;aBR)Q z=`H6CS55RRoECrh%M2`pzN%5U0nHMzB>!8f>Ihn`sXz;WCpFsDJbNRirkrZ0OM{rKCJjQ** zsLc9CV2zqB^Pq_**r7Wj77m$7Y$o1x>C~=x`HonNn_#&V&oJ&e)qWPZ!g35bcC&9_ zX^^-F?vbWibUFXwl-8Eeg@d7_!Vg2u#7P~B;DO7k2Q!*}ahk9<4W`UYo@Kf07!>y9 zPS<_+&h0d1od3v}4^SoRzvjQT8cUev^NF^^t`wlWb*?*I+qb+ai66)YsOiUW&S=Wc zM-Xgs-e>^Et!fv$K6cvo=TBBAq1YGlhW@gWFJHJ)1g0Orb_ay#q(&GyeA`H3 zQolutX*3r$Cb&S4m$k^&Wap%6A!RbA6-zujRr{!lP25T3d;t}{N61x0g&`)+FqE;q zFszB#U<0U@&2ANj@G#!byoNa$j-p)4Kb?epNQa>mgJrB|gV|Pei%a>tI1F;l?sL&5 z%rG2kYknV>tKCxrS(q%Pa=#Sx36?qa!q29KW)fZnH9t-suzdNGSm|!)<0Z#*$X_!c z`>2oP$6PaUy$+MI^1)YYlz#S+%nEXVx*?s0b%!P3kwy0tpmj1jPaE?gzANLLLs+OW zKh^qQbGw3Oa8nlN76!)bqK`~WGdybxg4ylGRP~|s@a;Q`&=g;CYsk*rgFOultMD}d zi@cHsD?O!6i&Zw1Y+|G3@PITu$J`-zBV%+>g-?&Y<-QoC)R(=ueHdQn&;AgAg1CC@ zX%wjs^D}i50l##;I8*!M$*G(jWvOLN>oUk?$~t{MRD!mV%3zjTblson%0lP1;-*zg zU;EgcAPPB~7z#?=+A8V3kpc7>r7^r#Vfu%v4W8>2P_1zd7=~l;CVMEm@RR1W?KUa- z#ik>x2LBU`;h((GJ*Q9?3#daAe5!>iG>K|=EXBbptOj=;x33nsm+u;iN6Z?(t=7OdtnG@0e7wm^oCNiaP zC)2j#fF4)N*|{=%?#etTS(TA^tkUx<*5T1ufdNy-nNjLK@W5}O0TsSe+i(&nZP(28 zfYJSx4q)V!HOi{qF)MajmmWV3KzLy`QSBWanz=$6F8*BC%Fgk3y(&-O zW-PjHs;W|xA@vtgp6c4n(j^apcF+i2=u|S9dwvppu;xBg*g{W;mZ%l!*2+%J;R&W? zP`IC^G-_w0NO+C*XyO5 z&Q}+cTC+yF7M4PpkQ7!^3l58;cN~_lQ#Wq-S>pIx>V2y!kv=MqN6k|Yg|b)!3n%ni zJjFSZI2<$BH(EH}ig0JhZtO~Ia_zQw#1gAJ*T8fh} zrwVM{OB*rw-8`kk*=VRy;gRQoNpmqG$NX73j5~dZJjoB>->*2|;o0J{K>6B;CH57! zrDk5GnMQ4Q?QY}XL3n?h&wlOF)1#zQ<2u#R+me!n$@migNeR8B zpdPCrR<*YMq}Vp2!DG!EmX#QljIfQ8h1B$txnQH>PvUjf4V8=j23qFNN%JekOWs4A z^orz38|746P=t$YjM9dRc&>u(@Bi_fg@`f5TAuliJ`;zV&QxCKk26@1BhpOO3?Mwh zF}7+2&R%ONDyZ=h{aV*)&Uw%6%BAB$PX8ELwg#tHWL$vdlp9y|WNtB7ev^f%^Dsm!*TAQ2r=MP?rsEk+1vD^fwd>)HL&m?7U$8&dQcN0NYWb#ZLA&( zLUdyDuawMlQZW2-i;FGMu#%<3v*)6YWup@v0=j$TX$B$-Y(zAg4O9V9~W(Nf~5K0~o%I)*BEIm>M+wv#=e0`!gaI zWI)wyEE2MMpA5v}M;=A}U-($`+m=ZBXy(1IdkdkHz#no8PRC1LM^8yLs2Nl9+=bGH zM=2%OHGW6WVSfJ~JLWy-*%zz{;XY;UB{r98CCqmKIt?=f+bQ^}mkSs! zF~@I=z!FLS|8Nrq36gyxDn-~pHlK-FMIva3Ly-Oj*w1#DZv$$Ol5*vxcD`rKqPa~j z?t31WGuH$VaS>++o$gB2Ni$)zz^wUFx%*6-SX93XTeCeDG^D!9L`w*qAP@r@@}g>07vku5NcS__{^SFry6Jl+>8J zpcbx|)vGY3Zb)}yJ3cnFQT~VOVt`qAQI@M@qS=l$yJFFH^c3jXcPYA`XppgGYLHR6 z&Wre}pmi&$NwL?$q_%ggvawa7xKWuy9Fd0UvoPkrA~9~a>u{0v)SuYkM1jvyT9Zov0H^F^k zDmc?p5BLmcy^>b3RFago2JJg!UF+bct>9XC8?i`Y9Q5PbBXso|@f{vQW#z;4lrmq1 zuetEG#wwrn+_&nfH49kiWJUM;1|Ea4-^=3ifWKAm$*CNOn+$XuJu<&;BwOyPMy#shxFK|9p#7dOWj>RVEUq=H?rMo(E(F-wh%HUE(gdqc4t(Y;@t2 z#SbZUt2%E)@*huJu8G&~UWOP;`=-RvzccueK*a^u$Ytj8!5wJ9iM73~Xkc+S0sF19 zv)X!1C_Y-cHyZF}Xim(fMVK$WAwxQ_j|CrB zo4wKbO;6`}x%KV%j`-y3xT)G%CRf`_RiOy9{bhz6Q5lz2T}%3b@V zvAtw=JtFJq;w++SS{WZ_;`<>1^N~lLf)Av5lQ1}%6>89tzWy$$OXNP!wYAJbLuc!6ci+Q2STp`CL zEUjdRow-q1cX``8KQlC4|exRWRLRI^dQ}!wh4(;aaxu*QPik9I8uLf0cZVP(gxdDIW zZI)viJpUMTc&c3WKVwVXc$~syYR55q$=X5R1oF}3QWFu$i~voXS0M(aPl05=EM%L5 zb2SA(&fI)Ewr(gG#K6Y7-S-+vK$5rCOk=UQxEDqh4uW2eC)jv+wccRU*YqK#P8M4^ zo0>{#e(Q$I6n$H6pAjo~aYpwBxhLCT#(6<#0E*GjDqw~lYi6j<|0}9fC;QXn!AEuM z{m*7$ZQ!V*Z-^-N?g8-wKv>qrg!QJ6d>RDvdIKr|h*cRA5(E)dDp$Yb*_~j3>;aaW zq{Wc_26q)NPNgIT`-%0MX16b?TZ)FP0&$dzRa7q~^)6Xk{N^k5*;wV|M8&IUR6c#< zvLC$Fhe@U{2uktnTgI({6cT?P%MUrNT3etPLUbv#bD8bu*6(-%bKD@~UyYUoX|9v}OD?DI~g|o_IJ24_pUHr!ki88#}Hs0}V_8=)?2GE;P z=lC=;(>Al2TFw8cgkP8m{zSMO8&r9&ZfKCDMI112EZ>Z#uW_uDRUiJIthN91%vdZm zx)SMO27CLPnNwjDlh&)>H}H2%HU-NpQBz9DXL?|09h|3u%#GCD*zBTNYd>`f7`JW3 zvD|tDHs{Cy4QH9amzP^H?N%1tQn3`EZdkltclAMrD?XWZ`152hNs58uanwKomH{tk z`S5!3L7Ls@pphQeGGp@5+jVSyGwGLi{0ogQLzv(Dz>L`lDY-L3MGn%vx&nUCT7gK0 zGD1NEw^y+?8>I@KJDsvW6=3*#8D~S3gSWjEHjBwaw_%}t@}r0Z+*F%W(eU*@B>0F~ zSq)GqiN(7aH+e$P@5w-$KhM@~OlnPh=-?rk2c;E)d7;qSpog=!0xQe+$H+*=p%tsO z^(IBr^`7`*rw*Krp3*CUtDEYL)JGV#hYOjsM0}D|4>(T>&s#T^ieNR*MGUT`49_E_ z8_(4bU(KG!&2$gMf6cA6%hI(!Xy_m&Nt+B58Ho9QVv9i2drC1$5MR7mZ{IVMQtW$v zXC@PCu9{U%XzQkTZ672`_@vbLR(%VK?1wO{s7Coy5I`Yi8Zw zxY;9oEH6H>Ec?D%c(24oYpOV1+DC(23+*F!AvMj7=64Gfd7K%DNuYU)*DsFhxbJ|GbDZg( z_$`AuBIgT@r&5=o>q;Q*2F5kkj3nUKd@uk>V?H$ys@>~f72J-=`r;aXz1fn&nSXM! zX;hL;tV>(HMT^v0v0Gr+9InAK~^20(UKUUFxR3PWK1Xq_k-Fbb@b9-u0hBw2$5|AI( zFjb(bYiRLT{>;v}gEy{Aw&Nb@nm5ST_8*PmFqX{VRME$GEaElL54iwz)Om&p5bFwVbUPRR3TFP*iVMpB?d4n}oEg&?j0m6E5GE1e6x+ z2J#+W{?FFpoZ5SjQP}N0KA`O*+Xnf@N#>&Kw*~3xo`KNY#)9we(ArklK`=Hk^TL}a zc4Si9Hc<~`reJlp8X<^AqdEX3QRkJOmJO$)O&zIgaoH1c?z>k*P$N6k+8tk51|%f? zR3u5VPOV6`Y=kR(&?8WMr0^^B{GQWV-HYIUOBzt})!Cx!T44&-O!MpSq|7l%5x!Bm^XG3gvBKu&%r-ti1E#r31$NF3=;H3Q`nrVyH{Zyn`@F2sNk%F(XL5HBs~NP;bUnr!u#;lJk)uOJR;YUH`tN&eKnI zCA#9ABKq#}sN#cQNZ3?uNV-AD)`E~Zfy)z$R%;D|N5I&LWIOvy=bElP_c(mDE zd=K1SenswV*1igW8;X(KtsK9<-mEHYjk`68fv3|2#QaS%r_s8=RNp12#YH%}vcvsozhxsn8I?*p*^D~p!rb|d#XLMh9kXAT^?%ju9+61pQ!J}&-S9HrS=rY)!--OOuXSj}+}vGf8}8>7vI1@nX>=Eo$xh1A%(#c^1XsN)1HK9G1BKBt>eZ&#CIr@S$`%i>T}!c z@Rh5H4I?M?(UB9Pc%?IVfW+({;84t&Q+$jGIgzv<{dVDl8U?ppU>UIc{QFcpa*c0X ziAp3qNb!%&?{qHMqK)4qi1?BZri#kXEH^%l&t_P?+ujwB_doQ9olLs^Q__kq*;Nlh zyvy}s&QSBu(&*?@9nzZ>z99PY>%Nd{v6Jn>`#P2FsMTQ5S6EsjrjRT2Mo+woI3}rC z-oUkLCV~IjW5-R%*^LkC26kC#V7*_C@tfe2b5y@wgUJ|(8M_H;vQ6D$R8so$ z%RJIc&?wUR_aK@frHVqzVA~QE?()V^D+_|nwUN%!|T+{!I1ra_4e#b>p$i7 zI!1aIj@|$eme8T49z;L+#5(PaEj`BHG&3lk*>N6LzuDOsNkyZPq`!Wjylz*5F&7i? zI4n*M-c2!RE)~v9dZoq{G~}?JHHJl$aBk?N?70$_?0@<)Gi7V-LueVUL4VBh%>19a ztMAD(#t_E*J=<-H+uikm&4hF7W0>fUcX zbG=!}bvfO3E%F8gZHlhVV0SxQND|{!%ryZ(k;l^_N!n z(vc2|}9(FY zB_qeqonWhn6Xl(BtFSl${o|-g2(tdfg!wiLj|^$~^Q!9kQxtOTP8p}mP#ukA)Vkuz#ov1xtqs6n=X?X z6m3P|dwFBah8rzXSXt>#1NEnS4%^3lvxa8S+g=K_=JXfvh7mQ<-Xx zLISI`3fsS!ipH`?wUvLcJ;dcpX{zDz}3*jpLD{zvU!`lCW>4SIck5}0#jnEO1(yXwYcI-$!OHT-p-OES)2pI z9~q(Sx}k6;H?`=L@ju^35PBt)bXmtf=pPnaV&5M38|nJ``1e-~ zUcRp)YLgp~cbw%5BaU-Y--x*NoZy_Y{b^@WHh$Ydq9^ej50`9x%;5xN8!_7CIR#-0 zZurE9E90j?aO@Z0Z%uM1QO+=5vHrsyXNgTmsfM3BGwI8kk<;L8L#xGQ4@mteAlPBm zoy%djaLwE00xpCB8yX-503_+Eru_e=OAib*HtIcXHYZZ=C61DQ>h~yVFEbA*Lmc)vN}sKfQ?efsdCj z8#v~jyuXM!dO&CG-`q8R=AxGfiSv1oOzd<7Sp3~zw^{lWCgsFP1XRsC`vcduwajim zer^6VSdK9jIax zdA}7<;&CS6+n#`St-JATOWLavg^El#T8YopRpOH!w^j{Rf0EbQ6$*5%VC$>Xb_^rv z44ug6fp)cO?=caD3RXZYs}{lhgdf|IS0PpFKIp0#Bn9 zFN|zh)qESwOkI|{OT=cwnpD7I8BTC3_=h5;>{Gd7Z@@UQD=wMuSG@GqlY!aqv%l`w z2WExsrxOevf~#3tMXE{zij#eP1ceUpM7%##JNlb4(PUQ@F{MW{dnF!ub1FozL^Htl zRC-fwHOw-8+|VB14kzjNphomFu$yWsgEqMew-8Ku*x#pIM4z*)`XeOgl^JRhBq+5r ztlpxp+}Rz6l!i+z2kOd?v6^f@o}m|X6I0I9b;HsQL4DoD#gSZ)qQgLhstqcE0yX-v zwC3AndBXP*lyvQG zOc{P8P2V{JxclnMmJD;{bMPu#GES~#_0tv0b$b+;6|$W!2Cvmi9sk0eGWhE|`cu$# z$~r=jgzd1l1y=X^r2S-fD)pXdnv>jnhfxsWu6_!B|@)lXh`|k|jeB5H2C6xMoD(%yN?xu8J6x~0s zjJ#X7$*BS6rt#Bg)9s9zuaTtG(zj(i^8|1{&iVZFZ9hz9l9%*Q0KZ(;aqWM#6sEf? z#N}G?_1%7|9lxB5t!Boc)QJRO(CfKt^RZf+Y!ba^ujN=mH5kDft57ER zbYA&cp03eTk<8=Zj9teYZroS*9fXfdzqkl9fU9M?mdTv?13&os8S>#0cH-wygx&6w zSJF&9%YA6gcniLH{qE@yDCa}HQ$OL$y^e<-WV(V*SyaZ)x~h20CP`$QlW356&%Y^m zS*r)a4JCokVy6~y4XEje^lLkb59~88Y$BtsxTYl$Y|H)GSr022h2ZTTytNA$GIQnO zv1cc=$|<2ILxJ!w?87674^Nbu?^j=Q{b>%ynAt~SFJ6>&7RueW+#Tv? zgGugt;&f8iCYKR-$ANR9m!$y;QmTOZ3&@j>=~QskP~iig{`i#Er7SK%&P|-Ws50^u zSF-Xyi*4F7l(>Av>InFcCUl0`e~QUPnx^X7RMP#6!?c#vOcLLBsWM3s);E6RL3^PH zt`~0=d#$*B)x)`lBigb*&QM1ZopcoDxL(M7BJ`1(ZW@WB+PHoQgHRKak#5OQO^>`g zd#V9@fxbJW{Q(dm=PmxMi;;|Ta4eAl{8;yUMFVYxk&K=a4lkU%ZOs_Fl$!LExpc*F zp7OkXnMWP@`;69ur>xguk(e0{g(80$-alEqpNFi?Y2jKNSVS*F*WN4sa+ahDzMQH3 zolF&{cygh@LqYz|rC0CN7h65$f^ImQfs~ue7Z*?GYHH{X_1EehEFtylmzs?Z#eVxfQGtn;w(2@P zES->ZL$P!sDRMurW+1sk>%-q;RxyYVonOsKUw)v`XO-MHw~HnH6b*22;=gP9NSBws zXwlpHeD{YdcrS5Bjo-d+Ii%w+6X(oxLD5k~E@0u>eRkI6+dBEN6A{h$avRa%%tagk z_jf|-7k^qVUeuGNnH^0q;*agjL;k)$RvtU9t{PH5uF#rZ&j?<<;eLmCsm@mZ*PdsT z;fAQgnL@RS@5hm@R6i^^_{d8q4r;{5xfh);GO94tjV%(N7ogol%Tf_VrPQrBnW9#v z>GfrWZQ6!AZN+c)Hy0~GIRY7=Jyw;TSSbHk>B)e_lXL-vNeK3>oqZ{l@X*Q4+g3VJA zL65bldRL|%g|?H+q{rRocHfqVV@ghwSI>%>g0FMKA>?%Wb+QDNc>!4Lu9T z#_~^UrTCMGgGmlW_G#A_5}c8Bq`YfWSr^?vo+$e9!ay*X4A@#$R=lRmwj}bNTH(P3N96s>r?TTuU9L-n&U2Gr-xT7{?nUnoL>JS2ilKi?A+ew6WGa$9#|8amqRR*WE!!ODd2 zyVg>qY}n#Or=FfIF9<-`@~w#$o4hUGfxYL z-jcx28{f2FCl!Q=P9W)Z^rfG~Zr$U5krTYk@x#SW_EywgN z9LbG)R`!-&Qpp509|-wSGH}?lj4MYhlNbeS)8;q=rY6iY`6t;mbRp<+h<(IB5BFK! zvz83vfQ*-2g{JQHwG@N8J|srf4)H5C1iJIc%SLBMz?#AlX>|GZGi7|^P6 zWwPaU#`!-%)3nH;&1_{r)Tbt3Wfyy!t>TR{L|4`@P4!r4q#3e_I6jg8hdh z1;sqCdH71CR-ZYHFZ6zu$}E!GWz!*9MZEA?rTYKT_Ksba1Y6f=cb9G3wrv}`j4pNA zc9(72wr!)!_AcAzTjxAy+<$OCpJakt_ z#pO7r9a*KOWSlFo)cq2lvSDki2`w?BPDW+s{Ip%DuM zqjVIt#ip7`DrKys1T{AO!MPi_Rk1)Rjlgn|YSf=F%NCS5Br$@~*ElT;{!=8>d!VKP zg@dREnYe+F$*>63A%ZDTMF=f*g&iC|yv6XOluDvmeccUU_g2bup)?)^eA{R0Y7OsY z1do;rb>~Y&xSqWkR$GD`79U`=?re8v4`AVUK?QE!#259DLyoxIPEb(g8vZPuUKWQ1 z$_}-(%Aj1hN7LwsaOA+8x~AWGw2E7jd`~%GIn*XQIt@Ru7aaps#%`~1yP#Uo=#LxR z$UEb4_@-b@GNoa@j1e^5IEg`X#6F1;Gg9b==89hDdN?0sU%j#*zVy zVpL;4ARFzunLcIgf%~7y+hE#)(0cO_f7a9zML4e)N%!R!hK-lvcnIXs`bTgS3(lEF zdAuB_3@Vc{`=jMzm@hhpI@o!-!hL^>W z?X)y8`W;&ufkxi!J)H)7Zu!j5-6F~pI(&VY!50}0#7Fr^Ww~IZmoZ0;P2u2@v3@dp zzl@CN7aj0?H;kw!YCnv=azi7xCd&{P@Sn~rvSWVFZrovqiByCVYV&It7L+)-#W z98dEyU%WDFl-9LBdCVtxTO*}()fVp321bdYcbqSHH%o&yF*M>Pg9P2yU??VMe&ro z+9Cm*pZ`X!n;^bDZt=f3kWtowJOq!9bO@SMe*8ta>M43gb^mVpy_VVz-aQ`2!rbZt zv*1DtZgYl8teO4sPs{nQ?GsSLn?~xn@MhGJkLK7qD{kzK`=9RH;A*mvCf@`xmiW$q z$>iA^oeM93-u&?QE;lHRI)Y!ttWj&H&w*s0DCOZMNEP5VHqf%-&|vz`Nw~lbu17y* zH`4(%u|YWDvYYCS5!INV3krj)QS2-+Djbr5Wd7SE(&N(7(FP93UlY-*F>z)C-D&Vl0-C=5@>&QC!|6uyv~k4^ zm`N%Y8SxNdQw&)5khtYyCq?!$eVxT3+0ycAVc* zldw~3n}ymgqMk1%IYk>)TI206{N+)@8_~PjW1xB!ZFX@IriSP7do*yn?q!2-gQp8L zz!GEl?G8hk9XUSHI`9uy<1jJJS>lgilX<8W=W9ZE>_qtAcd4(Z3_jtMTg2RL9DPP6 z1r&_&Xrg4Z9~}%z@~f?s`S$nQRc^$Xy{SeSbqZ{7qLKBR!Fej=X9af%NR^dzU_54F z#V9WS!OltVpUAQtFtI~ggS_jA~gjeCe<*sHMS2b#RX zqTwxmDJ4$+BAo8cJf!O}fM{(6&o4`V0^<99@^>Z^PLJlQ7-=#(BB_6<`OykOEw--5 zE4?fnqZKYSJH47(rKbKjGa;OqGUxUFqZ_zmEd5gWQOm(--1{}#J5{mz(JXss)j!Z* zLln<5=b!)+fS~2rG>!HT(CXl>gH1=MN*T_)cu!r{*L)~y%XJgB5mZ&ax52TN{{o3B z0Awj=<3cOYmH zZaB;|MJJ4J=0LEJzeDvDm3;8|6q^pqz9jUJrB2VMC}eu*&dzSRD+*5sILeFsx`LUF zK4_JXW*EW7zn6IB9k}gQxO87GTlv0GqWDvOv!nb-azx{A?FCwYhUXRvJ6_J8gHk(N z%~|4&Q{Z&mtN{*T?eAd%@VWqT*6M_=72@a0D4wT`DeH#=>mP>ixH61O!dqw1>dWky zPqxJd2}yLnsvg>*f4oVaGMpSA$OWbheTM@Wb`-a4#MPI>@1Jadju@I0ZZWG5Fqu1A z75CXoG+NRkTxE9tB3GbWCIX+d6qh<@2|9N*mfEqK_lJk{U*-LsU(5b##{~37J|V@& zOs))CMmLu)BpYoWNTv!_!`C{Sq-D7$s}!=`ODA7B-mhM< zz^(E=%+6hUWcQw=ghcU_pfjetX21E`TaZ<6Tm(hi$1xnJ!8`9{0dXgxyVr-A1ye|$ zEms64Xe28OpC~r%l6<|NK4@}*hxERR#~a?l2sfSiA<%Sqraw(FzIQT=F@$w8J+M1n z2JNcVVaNbkYQno{zRxt%%=01s_q+(T7F+0WL3vt3XL~CbDK9pS;U%86PllbZZM(?V zR@xFrYrawkwzb}0v~J`QwsbfKui;XqwnJa!Lxgryh?5K5S-#16t(;y9PxV|vyWm$Y zrw{)U5n+A5mP7eGkuj23;7Hka4s@C18mF285UhaYiu0fE2-|+NM36oupDNC{gJfC* z9dTPCne~t-Tbu_d;z->;Y2dq+ldw#+a6TXwC+vTSpRZuk1){JT6Rp=Vt!PMap&6sP z)!DMV2O9ZtqPVi!#7Zq^qXxS=3?(rhuRoR-z){^WyV&d<@C_4qer#V)@BH2}ChQ*X z$r6VXgdJI;%SDI55^lB?tqu!X!FsTO;vrWdu6};2h%Q(N@pt&WAbSp6GN)A|&<;$!jgk0rX;PYExBhciJMMm~KYg1#`EDvQcEHV+YyHpm zEfK?b8XVn9pW|>t_Wl$2BR^4BxEitCw*`ITHCbk!gVKx?yk;mpq7IP@uD{&ck+HV{ zSy}^nf{csGYJx*(dzA;t%>$~vv^duX8uVt$OV$8 z-F`_9xXGQMLAWh^W>YAzGaU6MY^=mn{LnS4#hD*q7;P}yPxz_b?(TcVuln}qSkQPI z38WM3NDV*i!tt}0%o|}p>o1ApS1;6JqB*?svfguf+ofXCN*%aGaR&IGLninNAB()T zyfl8j0slUfos>^lu`0?5`Id(lyFKv6EO}F0*&W~>m??mj2wuo^iul+n*Wxv;u^xlF za6MjEwGnQOO_g3M4yg850DlvY*RtE_AV@2_ zOT)@HY}%pc{8bn_0zo5%G2C694kd5w|{I6dw=54JLrdLDVKEK;RyOTaO?uLO{OsDQvf}`uG9h2(lb= zgeKMM{z9%=f$_rL_W5`AS$NrjUN2bho0f$RVN`;Tg`4X>2aW{elr_TI@^ZbTvsZ)t zdj8rOEsp2fdfUCVQcHwfI1XLFXm8`NR%M&MwzIDeN^-SJkH$-6-u*P@S(pz2p1}VoZ@D+AwTv!5-z~uL&ckq~9O9Hk zg$(|f$q^RY*gbX=G)aPX#LM;|9!_|7^8oX4z~(}Ry;YbpQOnJ(qT{;ux`i+8Tk8)r zfg5jjSP6@DCo3~IV8!c(i2)2*_5Sqlsksr9R~veWdPlog*IibEWl8PZHP*(rP9wur zGXHSuEnQGlRIM+#_uwK-pCnIedT8iOhT~BhiY>p6|J#8Zv0HY@({MoYd9LjG5ITr zCf(grbOrpyI;Ja}lys_jf?rUP_*MTRrHtgBh$sQfEm3DVxtef-tvgfXOITn2NQBls2(CG%k#8UMBMU`F84-%$0 z;X#b*^CcmxF6v2SjI=ySO^QS+!)kalZ~xK<4uV*Lc0X-fG{Pazz{{)Sgv?FUR|nslb0ioWfWY6J50^aW#sM+uyhD5Icxv&27fBs{|VI zc%ir+xYytfcE+Kvj^&{QJiNYP6%SSLzdgVM6H5Wkp3Y*ny@Jwb^8byJ`LmY+Z&SKt z%p8r)|Bw7?2dBq-;57f{`hb%ltyxpCvm?kFrE|vX*@ida=1-fV3GAyWk%uLY)HFT1 z9FymVtXJMfU$Skc@baTX*V-nd`w$W6W<>8qN}QY19_wS}E7rD4CD;))e`@<4?`6-z zp*sfXe(2g4U3&8~cm%xO@ZP9hAgI-dKtphDkf)3+-;J<0EzMPI%E=4Fp~qQhlFWF4 z*X=Mty@Upz2dP?4>)&|@cEhoA+nK&9>~vZFa-+j!OnQ)RF$qs3$`kI#bI%`KroURc zMP?d*!;zg1=AT$q=DdI{7$Su?eVpaFw2W!kQ$juw>+PEClWcHyK~(r0ZZ{;elt0T3 zMc+Nenba|s1u)%#=lffnISco1HXX0$BE3%Qgz=Tw?AWi+Wo~qX&U^h9 z254-+-j4XWdn07<>}6NKxoG259+mSu|N7l7;W{ASJ0`oJA!hmJ26z`HAB+Ek_2DS z;t5vv?fOV%F{N_U`g@G{etKV3UqpaMy&4^k^Km-wG4D8Djvo(pV*=RIuBc#NvPcYARBn!+9VCKP1K(^pwAW5W7W8aGnq(pY%^ zd4}P_rYyLcDydk|L@{1IS?tg}gy{AfJ>szSCy?Je?2DLy(CkYfb)^F7^j;(CO`4)N z)C<}pStasJ07sa9!JK_<$?ImqQM!7i_t)ha_15n5;8v>BZWA}=U|OD`oM#|yP7oH$ zpWnmxC#l>f$mDXFp<(88sI)wmGl}OqL+w5w3p*x}TRB6G3_8H2Mzn94`h@tk<_BSj z?aN~pH`d}Q{V0$W5`i%9%fxxZTd-gQQ?b;`UY&_jIx{fqh*2u}mU|3>%BHC%k!dI{O+SVN= zju%#H_e6KE)>@Smn7}%xS^3#H7&M$IgJ@$+N@d1;BTh)hfEC}$3deV=^xPQl#?3qE z=T|<4(-vMAmGdyY4b4ncajyRH=2T4 zo=1`CyVF)=O1e;Z+W5{W7@IPJ{D;3UuMA9=svzrs0*e1i%q{!f!U=O)sX(cUS@WN$g(R3qZuZo} z7D{nLKIeh3i&3LdE9`xGwCXg)3NodBkVujK0lfRF5W1VqXx5%AB70@(RYUNs8O>v` zT)70kLX(S#KezN=IEK1$)G178P5|jBA8$fl!VXN4Y34N=YkUcxW@quI9JrghNWGF( zYwakb9M%so`!*ye9n+74#EqNfhRZW-@?|IriTDP>W#km5{zWHaVg@L`y|QqkPvKzF zBJv&q^z3|cZ=c5YubU9_(12J1B`WMfZ7lbMmOw2i{`e{8WQiGSf{saRdxu?X2d0>< z`-p9p?q(QzVM&@Rq*ab#SDID!Z|HcP_l$T*mzeDBqLQ{;F{Ub!>bos9$A%q|yH7;rW*uCoP_p?IKd zcy9f&StX|7;|8{&k#{$TpnRM~;4vDMkf->zl)-~YZDbc#Zy zz}=5{A}IHFer_wl*q1uT`fb%g^2NO#?S}6`dLGup?VGyU|4bE6jA@npf_!(38X6La->6Xl-F2^G4 zm%?*bFL$$;x!LOUy_!v0HtHi=WW0Hnd;Vg9=gVlb_*Wwh9Vn6>y5P7x=TfOEK5t4u|l*BGlw=;@Wd8|zBD?S&wc8ONmEKP%skJ)j>${u|y zish)3?s_14NV$GbGr8&wRg&Tqz+X2(MLwl_{iNB=ivcS<@33@Yg^pnAPn^`n=rM$) z!^4f24R)`=hGu9AtJi?XvX&@S_JsP}JXszI!5yg)y4MoG*b#P1N@H|Gb)pGB3iidN z@_%FKZh&DLs?7)lroKj|?h2`7mFc}ORP0(`gz=*G6;mc4m-O8=jltGd;ePv?a?k4a z*RPUDN=V-$hI$T2KIb10(KICyTM};jG@`z-eS_tc;YkkS|H!R(Hrqh3lmGQ6*0tJ! zzGe+BQq0C?tmWF-OQ=4S23VNT22t^@5+N~EL+tDyK)B(P2-Sr*&6Fz9B{qzGq5!-? zdk<(rsmCxI0{ zYl9^38$QpvQKFp-;E&POc6Zl*ExQ*J^1K9}PcBxR2oYWJdHV|}zKF)kNyn3G!jkzQ za@FskYsV+VnQq8zvUy@+N8;SDCf+uJWb%ZgxJz{x^909JXx*4C*fS$Cq&jD5_amHZ zT=HVZQHSTqw$lZ1KuG4wxf5x3 z@5A4O*7qGQL((C|IyDm3asd1)6R_S@!R~Agu;KBHTeIyQ=x=K(&DoY$R|0{1TS0An zb-lmDrqlI+IIZ6^AOU9EBg5HORY$>lOQ*ukDBba7-UtX|s3zIjH{o@|2a&1^FI_A} zvPf!R%GSY|gb>x?4}fXOA*9v;+91i)Z~q& zTB!%&T#+Q0E%{PXXu3+I{(dyc=#X`oYYkA^d3Vs=4~BbJ_1^TCxu3OFT=t~8yz?m> zU4rBDeTLt}Y0C`^8b-t)i+cvr=>=|&MD^~iG~7YjbgMDsV4$6aJ9D(;yZ(fIM9=*F zE1>T;s-n|(uqO(Z@E;Dri<6X}F=?${2IY1e#NWR$V#0zK2))g4PnuX6JPk&_ z?^odGLUrrjv$b+34QN$0_1Y|eWjTcXzkWdJ@VJMT*6)36*2u9$U+}-;VE2fs z|N3mdogf!do{N^Ni;RuMpP%*PQ?K=-*p((?704 zPpcG2NrhV1Kgz0DEEa2mq)lY{x3YAog}2N2N#jx955`x5l_@M;49{z8}c9QeHOgFU(VDuk!1oS-{OAh*S#29_~B|vt%pde&- zi#o~j?khWLtS0|eDY7VCtwrpGEWfj_Ll2mzfR`9QHuiNWhzi%9yPd{k5DaF#UL; z3IE)2MwT+a#&EhhLejeu(&aL1rl7m)S|GrHbYH>VL-3S}pAD^yED9C8G{>^k3Yg_{*GnJ$7^R z1CEwTxtS8woG%@R8pXzIcvNq$h;3VihQe_-@v4f$-dMREO^yds9;$!Y5zHNV$TzZ} zmDA)^@PuL(2>wk(W`BNm@xaJmi zroo+~8$jP7)nFkr&l|&1rQm3LRCtl7vXY-{JZ65VA`BRYfPTV)B|-L$3{FCaarh&R zrzQcz!B4RJ5t2}#Q6)2Xnh;cx!{Q(v{zchHWPi`ZAJ${Y%a4yKNhT)jzLX*Jg`gYs z4*aUY-^&J_iw;sbUKi>ri?GEwWjpqKHE$va>i&0&%RM8=x`Cc5@^I)78PGV?$o zxVy)Pc_+rkiv0}nj_ZR* z4Y%{Q%r;n-ZRoZ82>Ul62#hvytRAwx(wlDMr7=!7%a41h-&0egU~BR$7U~HTHW<5@ zVp!A<1EO0j!=`7~*qC^GKBa%Djh$D!MLc4-NwH3YXzLUQLmF~8xG5!$@;%37KX0Y= z6LvR|9{+pL7^AHMCQFUz8i~+rt2t1XHA!wyZoX7wZd~ge^D)ZRE&f(-e*}tEup1s- zX00@yBFJK`U@um9`PnXSPpb9Ed_J;2PG0+sV35?hDG>JaLvrx{)L_gLB$3#kEi+rM z<@w}%LYDfb->YQre%-^o6yxnZ!K10&DH+4$@ZmnBTl?{yyD} zi?ss2$$~Ws=xmF)`{~2kYDtp(FDH^{3!m~#5iiRWUsU701S8LMskJv>a3SvsxM%|Z zD?eTpUb`%r#r|HLP%Xv=iUI~`lpboO)OCdnikltov2+Ta5|6*LO;Eh2(RixAm**Bh zqmEx3DH?8NnVSr={t@@x@Op6DvlfQFB?^b`0^4W?@~ZyE=7Zn#8vvqu;kHw>-%FW`S!Dk2WyXur*6Tt_PVK<9u!UR`1empQ=A z4Henu+vbYXlXQdtK6s4c^+~^_EAlOTX%V0$o}1=5UCv4A1z<(4+llPdtKU@M_di!K zSf)?mDM)qS;Wo9K#6#%4uODI@>u!6|M153CmmIvp_k9_Om=Iw++zY(l9Wl zQs9GaWoN^0Z$;RPaD^nY1XzAGaXSB|=9LKznm!&b|3rP~nLuGLUn3jEx9+X^;s?Dd z$42mgiLlt5EwRxLC)*+kjz_NQ;XgCAJe{aJyr# z?V3ic97P~Wh2xpLAJiD!+Zcl>|5rpvAC>Nm8{3vN4MmJPlXH3b}!bkncxP((#KR5%wdn>Ws)8+SA@t*An z;DJ74Bn$I{nVHD2C0T#_JsQ4lC8aC0+fXCHC5+)6MSvh)#@>m+<1{oUQo-2z#~@0+ z5v}~`1%k)dG9>?9Ou92@NZ>v0#Q{Mcw1HT@bn(v*^2i7A)eY-+M+Ad!jhDSW{8M$= zuC)BY15a+FQE-)<7x2jX>xYGZLX}&A5hyBS@Lw|*ZouNaLEOSVlXwoAT}iDcit$-J z?Z|1&=ATBNw{eg6G{qae!G!jCS8&Y!;^aIosRp?F)5i=7D0zGp;tBrofjHu#jv(Sw z{@k{ZMLpW39Crt_>GS$A4Rf5MCodKR^#GgDAx)KzgBUYU2A-yOpHm!0W~SFW=$Ze?zO_kzg?j_4wPD`94K~pNXZ6 zFO?p}o&jTlGOTs&s++zjJo7CS{Lmb8NH|hYA_Q{{>UEtaDhW>ZzW_<4+bHDO_sb~F zKS@YBMhT4mgX|%aeQfELv!41`uy*k_bbGsI%SrQSM!3{>KT5 z#1*`elvI61aECnlJGGh7uY7Xj#TfyIBMe7C6dz(V;o;l4mw^%|2XlX}npu@%y#MnG z(d&iYc=Bx^6fP z0UUD%O2}wBSwO`>;o}nTHAaG5!Mxsx3lye@8Jfl5u*^c**Y`)1wLg}5l~CW#T#*BM zlATkhqsU3Ut;v>E6~0B*#J&lJ0#by33)nl!qd~AmAdaVf8?`*S9|D2rtS#Wq{7iN*j64rG*0!EM4nlI!9om4@y`MtwKk8EGQ=7?ej zCL}oQfNLm&Fe&xHznBdCR(gDx4*zBPL+w!*o<`=}ERS1r;v*;hGaX07n>sofG{C** z35gBG1YDEZhK;NrojQ18-(Z_dt9`-)m#6!`t__}ZpoRxHJd7DX!7f3;cSid}t_3_n zkm|U6QC2%BAh~>TLl9np8&M^0rVIa=m8C-4!$B-D_LkFBn5-XdHM;M3`KQ?%QB$9b5_fqX-p-$!~_7akah>e7?-Fi>F@E zB9_jFU+hE>l&M1xazZhd5ez;AdiF}pRhYh|+B6#8cwv2tyo6OdNj#e9@-6hgwH6F7 zsH`tUJdo|pH_3Grhy`_^`MuZr)LIkp_$4&myq|axq8A%AqfwmM&32 z?7-_ZI>Gh38sV>K+@Y}uSHz;BGUdS@wZ-YNf)KmgN9~VKha3 zyY$o(pt|Q%p!Byvn@BdY?=w$1P$PIeQHk8M9@Vj&jW}~5UAnZ|ys#e4{CdjCQoivb z4be5nW%@ZDn_DYBb+3lzsw`VG@cSSouL}Wg)rl~S_?J%!KmMa}{tYZ(chFdSPbU57 zi`2wBqRzdkh+-Ay%%9MuFfYXDJ424-WEl1~mb@nb%AJ0pe(LCg`?g6rrDwqid{eP2 zGgD7@RaOAbTxKym9T5Tvji5G0*+K|kh^8Y6D{HpNj{f?Nys<3U_DSypmZn3VAaq+k- z)PD;`f0_!))Xd?-;q=MTLae78hKw$q*=#Lti7JBd72G;~N5iKnQlSUVLi(UGu!~7GjHJ#)(}LTH3#@ClL5=zZ`rnNc^6hfuH=mJ)ub1fOmuxOW z24_N)XhG)-bF=+TK2!((sb)rU6CX-E@vq}2ethE^UI+@ZtMS33?PhRquIZfYW99gF zS`NR?i5~oQ6yMbD3Seoq2>+@!`BfY-*%|VwWmy?5VBeW=Z@dFkk78-IQSV`_Pc|dk zo|I}=UjGwYP)RGCY{X>+k#Cmp@lr2+b|@cM&Cq2xe)Np zT>89cb6>V6*4A@bFd@qC?{X>Krv|BWHNT3a-!Hy>iO-=REvh-(@E5O!CeB(+wDTJV zB$x6t)SrosS;XI;qtf9mC!HoTtMI9>?Ynwp-bR9Qv$XLishp^LXk#dZ^i&Y7Nb;{z zym@z?Yo|z7q^K9xLWcu`1ODI z76{2r#3lVUQVnC!o~V~IKfWbo?)7H++tO%chelmNn^I4|V7n)?$xIQG@7$%U%)joL zHz;77F(E^%K^XAx6^sLnkVaQ0Fd)(5IF4V2~1>-Z( zvgF)mL%kr&KDSmNpvhmdnkKgj?|1NLoyt<*5VfgLvbU-8G9SgBpiXp{Md7(*AQGR0N75 zTXs>e-k+tq3nCuhP=14)Ft8(Xe{%u&7Gpu7F4Bbe!fX6IazEu6xybW*96Q*KJ>-+@ z!I8!V`&!K&FXRod?fhp|78n4ML}@5C$Jz%51;BL<=io@c9ySdPm}yIjwd~uJ zfytO470{+7qtfS~TIOVNz-x>kZd?@eNybs|+1IbQcxjDzMMcj}F#l#vxO#zuhyDq?IoTdB5Uu$q(u~*_Je#m+O+Mis7qgcS5v#z&TbE%SWflL;?cs_!k$F||eP3X!TYHZY zEE`o^bC(>B?C7y);hzhVi&K@AA2?<5Iz;;8D}b5vz$x-CIgv7OTTiF8P}zH`vsbF3 zTM$>3#B(w**{8zYbP&Figi^|;XBN@v+?c#kDhEw%JHj>Y4vaoomWIt!L_;v)!TMItUdBwDN{H}nEE400or7n#A?RldTBJz7o-_TMr;7F1g2Y9P zMdXe`j2BwGXj|SVeZkigoFba1)2LV4m==VNXM|J(vEeflm%!!Iq*>VYCSp?pVFYgB z`D=`daFn*qC(M>_WKdsu)w(9!y-2fkH!`R*VAzAEjXF$X=Fk6T8}V2vG78C0Kf#h? z7%T*%tSUcT&YS%MMmT)|c*#UVW}E(6H~w~0agh9sY{hKSbCc=#U{QNH0)25@V_6Zy zG&y*dcXK}Fw}!*(cFWNlqEK{NVS`?2{u|8UEcp`Is$r?+CUX}Re>@f4#tP7EPLNPO zs~6_Fb!iok3BxuKi28hF5x&+^XY`vMNushL1so=@P)rLDoNSTl;|oo6RsvoJ(%AC# zRhk#rSyL4mO^8N3dXFyqW0GFBDMgEL9*WE-TxM@%^6q)nbop=MOwH}D#*M$fu4*eD z-Mqa=aPd4Xl}cRZvx}-~EBQlqTlyoufLuw8b%}5BL*CkuazIdKBe>j>`>)V%!$6)o zC7vr7g6F6@H!W-5_94`el|*V z`636sa!(Uwrk@0zaW~bjBu)^i{uK;{vNa!eRZ$88)ybP;#_FH^x?OxUYkQ(O%B00w zNRNiXT{XV_`msUR{`No4iH%lK)9J1J6zm#0-|i6b4#);1&h9(SE*?2;$5i?)U$Gmg zSyUIgzs+=*@^X0b0wl$TRT#>_7SbrP$5IhX4+YR;1rM2lm3ZY!1upt?p*_=PlYi%y zq2%(l*N;lANppssN(GS@k3>}qfr9CUWhq|i+(slO=hTI#38U4ZXw!N8CJF*HN-001 z#^eX%(o}F>4S;Ig4!5jXD=o=~QD$OOV#t%Re{a=s`oN$_;eeR zBNa{E#uF29t$`p(I|uT{%Teqnr%%J@c|K$dk7~y2X-hrm)fLZ;r%aZE^L;`^fsau& z1CJF>;HL3$67O>Vp80ii24gl!L{7-f*0_ zPVZ0EF%$FfiHNF&y^mp^lHx)PrL`-5{X=lSk&4OGgODw3XCI#qD;2%MOM_NbbL(j` zJv|O>g@xluHb199N%Zp{J{9z1mO7hLz?uq<%&X!HyamdRtx2zHT*G-7AYfm=5w%x1 zCk18d(LUu13-8&k-snpksTju`D<}X*ndZ4!@7lYemL91dDx8dIBKfN}ZziEN;m9cy{FqB+GZ(^Mt$mY$-up_PX1R{_OsGn; z{2i2Pttr7yeV|IfSJppQdy!Xo7}6Qw>Lf6IVM=`Su5@C5Y89|>{9#9PX42(_Rnt?@ zQa&@9rOIbjge zU6f?N4#Zzfp|FCgZqWQ2JFA?o^M;n2dXUKY3cN`yAhRH&X?cs|n$?L{L0+5UW@a%~ zl^Cq&j~&COe*f~NxmUL+OfQ~_le*9>q>-oZ5Xeb~%xQSkDrSP2to_|zLI|@u2huGE zyUiO_Y}He+sYfH#E_R2l4aqJojOL6RR(!%rgJQZF`$un5L;8lpmqKBE-!(VzYZ z=Y&aqOZl73BF@M1I}MKirxNQqCf9nD7Snya4z;SPkscQ_{5+JGy@b?7@p92tZaw-egb!tlMoT*nZ_|IM z`c&%fB%wzK`Mb7PDV)dJsR@>YcwWExvv7Y${`MbqhRs@3YGdknD^{g8T~BB($;lg~ z=?l6U3s#o~jAYMl5?+(PTwdvyW;)V~7}HabD(*Z}3pYmlHoHS;CGDB^6h-M;2MtH4 z{}{17c6()(=2S4!Ws_(XGrr)@bm5&Vp-PuQEZk>exj3$RA9A=w&J>g?s&m?keU+8y zAG<2;%vH>c!l3icZ=l-eQJpBw3Z7**Z%buPE6dZK}irLV&PN% zB{=uWJvG1h&AJuUzRVm&MtKs)mk-DSHT6@_A=(lQD*AFd>E1_@93GwkTwlzD4IG+BF!16>$$7he1tS+N&St;pq}7*>%?QumhL7cfs#Yh7pTGg zX$@wesv&y-ej$V7HYxaPGj(3@SoQkhqKkR2zG#E;s}j*Ov%88Aw0iKsY^GZl*0~=p zeO}P6SIlL#^VHCW2Xo zA;%n^Sllu$@*vm}2V_XDsWMf~(-JK+nYy12D zbFrI=dA5nNHpf!Mo%tr#fldE9@jif+NHo)sn95&i5Gcm?*Dd7zm7pxQ?=(7=T;Iek z;!%KxU!2T$I;jR>+RSw$Jw?#M5^6d&h$eb+j-^7kp)FY)RST-)uq@;++tsXrE@!C7 zWbUg_|JwLXuH3zLP1^U;B`=t>P=#6eK-VWzgg)Bx`lB*?C&sSif=n0|5>BEUiPsk=)H(Z)ifM(aM&oF}Vjup4-@m@PbGVUJ&sX4_WrKX@4GzyE=Q;yv z@?x%T=s)Ch!u(b`_vjNdR3fa_c0&lT`-NMRkeGB{eS?z6(TNU;<#i|R9);MY1_L}5 z0yl+U^r=oFZKWbl4SZG{cH4kQDHX9K#Lv{(koxhe*1_mS zfzS*7rB)nXC+0&(dT?FtVJYt2_T@lk$SLe>T^@gqNUhl3GB3?*_zviB-~row0%l=t zUBi<1ZpaGMhwtZ4IOsA0=^H;zulpX_Y@fK$-hVuH>Q$s>ZvzNsrP@-2E+;WHTDQ)^ zOs#IG`E~#tcYw`Hj&D^n1w(B`c)3ZC>}d9`k_P^t-OZo0+xL*n-78!PYna@{c+fE4 zD{TMM0g1kj(E50^Q2uu4v#T?eznu(Ut`Nya^CVcd>h7MJo|MCl^IzhOWzoQb&ODzY zGhE#!d=Gsp0Yt7`%WZbb%E^Lr{N_)bSo@ZT?>*iYGSNl(a2aROFZi@hR}X#>%~5I> zKm{=Xjetl6kfK|~Ob-y2z zt&!{Wt>Q=;%QrZz>ASNrQRz<5CY5}qPs7aH`K3`Lfrusqma?n0?qg4--ioTm9vWCE zk=L42*qxp1%314$f?t+|+!PWmbhyZhThO^^QW?r04mi82ur>2zsR$xi{)&=s4eG&+TIccY{FM%i8 zfxCjby_(If_Z(~c#H^WGXQ@xDp zj-p$1CPf$sHt!*kJc}b`=H24No`)~yV;WkRlzl$CBir8ZGqXD^J=IHcu_#NA^gNi~{wDbXwn_5IZ-o*TrkQ^bg0u(jjb!i^~v1H6IyH9BjWGa*lNtWfh zG|kQ_61X%)g((IkqdT@DHRy!A%huYwRAI;h2P~$be)$P~tJBc3$HxucU|DiK{+mdU`3pI1!+L9wvOktEjtEgpBUCY{Z^WgT*t&A0{kz zAFK|3Z*FR)u>)))^WP^p0DL$Q>K+i?+r;)S815BK((5dKZpec~)ezcTk?))hDSC0a=;!z6AWsAnCIK!I zbrCU_mKX*>ym+Q(lmuWn*jS>`p(3x<0*0Ya-TU+T%A@!-ic1W>-4urcS+IEO87Gn$ zx^wAb&}or{Yb)Mmq>ufSE(6vruugb$$En_u3tWJGYC~A24L|stV1X{ZSjc8Uj^Lr* zG7c%Is+2u5l9RW)38Bg_E4Z$cL;PWmY-jEkhqm*X+$M}6V@Mma2fwIigeRQstnEDf zr)7}e@?MF;z_*d%a$`~O_5sSwc?m@|Bs5_g1d4t|g`M8f(P*=u=fdc**D7TF?Qj!K z=VDS?p>!CFztvBAkI$|wNb1IG2oD4h5{AWg`yXI9J?_6fUhqb0&vNrk>xjf&$7{Qj ztzalxP$VyB4-}(VCDUlDY%(em3)O9_=q^g>rS|Uq`%yKpw5)iwG>=d(In|yg{){jX6qbVaK z)~_P`o!5{gPEP{_SN!gf>hi+TQb@FV!YTIW~;)8c$gR=j9Yy*1xqQoj1# zS_DLPZu?!Ht^QEnUn&qBUP|X{ys*8Z40}8 zVcT{qFMZp7ajF2vphF`>KO3F)U7`gP*6*bHlLYQD3`owO?M z5!LWOMFZG}KKAx!oCv2GDD#1P*vY(LipA?Fz*kUAbccfYAaP$s>hICCTG)r{@JLcK zH=gp-_(b)E2u#5Cj3+wSQ7r#8mQ8i$(HbVK*Bb@iZiV4uwB-(+>U{<7Wa6QOoQszU zT_r-_BKS=5IDxcVHUN3qpXiMKAQ3f$~&*dge22M$G__w#2ok8`Tg zx8sBc@3->y*y#0p>e%VC$uga1*+O(s9*~2}D!U>KE{_7nvDOHjSaW|9WcAoZCz6lZ zB}0>m?tk9+F?Ola$na*^K1Ye)oH5t(qU-7HMXtG2FZ!L6;>Y1r#}pznjjL298-k1d zO#;I@cm_z_b*T!@4zvV%BT>?WH&_x3Frr=|)~F$eTkFm&NN4ez%iEmuRP>bP@KU!1 z#((LEd>*mGGi1dY>ShgY&cdU!mnh736Y;Kl4z?a+TB~||_lUurwcEa%D-}~3-ROg- zyn4^fDjhw0GxwQCy=!|voOP!eMfwt}^u`8Nhddf9LcPbIec|G+L{Vlv`68>N64!J0 zx!G=l8T&C9nf6wHlkaGO3h_JCXQs8%Feg?8xE^OBaqVmg{xqHr&NR34;9k-iC|441 z;CL3+v@&?cu2#B^!im!EZjWnVGT0RsnkcC0lVs(25>rQ~_U8C+=lSgDk$RlDQzt(| zx59tK*zum{pC`sgPk1;6Cje7Daq`K^k13nymUv@Gy%!qzE{WxInp`8mJ6l_6^l*4& zzG~bfWogN2vUo3=w?2ME<3&g>OMvp3ofMnN{jN%QWMQ-((HKN@r97{uJN}3tJ7AMv z?}_@QDQr!LVz+i%aRWs~%5|SIHtc3#^a%mG)po$^l9!!sR*o%2KU7>CVMnX6di-kl zdRAf4T5Y-*e$9bXpwj7X!RiK6ai$C8j9bbDz2Nr|)N8UK7b z_mBSK{xzv$jZU_tNt-%@d4TPHQXR7*BBG`yOkn>_2PVj?rjqJIbhc4| zV{C<0`~lLFJ%`$}cv3pfN++?$y)##f{#@guE_$TjABF+A6vDe{{RcZnqo3{3<7v)d zf=;0xj96hqT-7#`ruU zY-tQ}QDfCN2D9q-bo35l@o8oEnaO>u!7O~$>$$Bs*2idQZLs+Tq2gK{`=}2XxXtjF4g4o#71_aF16 zeBxVSw3r-@=}93z?y{)&B@{(N)@NHjdV!vp{d2#OV#CeZj#`+=tSI2-{GIX)>Luo-6t7M z2S?s}9{58`lfzGl8orS4Jc>*}Bu~E90CDGW*r40ObUW`mV{8cJ*AZdOB0k>up}cy} zPXi^Wk59h1KD;}|#xw*i56{A8d3o5Zdx{o)Z-0d^uoK-W5C(dkz8?j4Bo#}bvdyA* z{4D%m9Fw3Hi1X9wN4%{yE86;@ZbKU-|61E3&ZM_!M^Gi&$HkYIW^%t>j&%`}GIZ5?L70 zn@{Z$69~;zv%$j|htyCtkM$M!j7;g2+p%1s>FVy}{#sQ_jr%8AT zgnq8F{HRjTtIXXOEbUfYvJp_0>t{2hI{?7T+?()#a1cl(Y_5aap1o`M990b#9U
6r8p8TQJJBW*!1jZ})tx94xjrmdwx5cJ8##!xrz7=%O2(9{t*z{Z21OQcOKnBu zCUp$f>nvqLQ{lK3Uq&osw|uAJ>R)X3k5vk%*_r6ct>4pEXjeRsy+j~X=N+D|DeH^E zys~N$?wx+M>2duRHwpjF0ZwM_r6+mZ^B5?oF05XE-M>F@I@C*iPxOYB$Oe<039OE4L~lh#FA|SU zXgkC9%M#N#5c&D}qxE|qL(D#2&5z#Td<9-H3EX|C<_u`rZE?w>Wz0nOP9kqBq#~?< zDIH%I2FaV%gbht5#~4z=vTvjc#4f-?QW7#WZ`)6SQg6q-&t+7i{VM=tt=QRFlydhl zq+{HIq7m_#Koz_g^%<~Dpq~80I~&yYvioi$6pd5FwS4JCoOYuPV?-{yZ?-$D!Fig} zxkg!uZ(r_)AQm4=sLPUf8P=u4Ipq9HFaxdHAW(>i6W$|ir2#Fos+x}Ibe!F~!!TTs zjo-Cqy{MrhZ7OY0`a-*d$jCtWBC_A86N-oO?xnjIS{Z#4l{*5Ocat5r`v|nM=nt_r zYi0*Hi_1mO_2(_xhN@2j2PNBC-=;s6EpY67zj5Z)5q(jy(^IXZ_}7Y>WgJu0SATru zSdBI^a)>6RLNs}f7)NZ*H60yfvre7 zGl6U5!9mReR}zFDWmqskQe~xws!LF^GuS%&CgUgmV^W^OcU>--W339tKBP~(U} zFC{Wli`RB%K;fGGHM$PZH2(Z3&cm}?qh&=}h_)MMG zBP;yo`+DdWstL=YyH~tK+qY^zABLJhE#0!BWg&dUoJ@wI{q~=CSRg0oz=cjn!z5Q1Xt=>C5$X{7q1eu&%>UB;b&|GhZ`aB>Ioqyr4ooRPkZsOWtLkkkTz~HXC z;AW^RQ@UOu0M{H9b+cvBD@~murj=1Q03T)H{wDDE_{)p`oi7E_-6yLYIGI1E@`BAa zehI6Hh)OA5m!)LCA~HPzUm)d+7w9wCUXhYL+2ZWhNQfO&^vJPB+$~R4!CNUd&1Ej!}4TxS@>_Pd#!x4r%NDMI3S^KL>7nFI7_FkwWwgv)}GCRadk6=V-m zovrZ7NQIdlv};$wF1y#eaJ62sMy+0=BuUjFTk&bboYbDa8SyIlDOVy+>R5k zsFp)9A@yWqJbrCSB+%05t*Aju(%$Dr1UQ~bHpULd`$dc*p&Ub4$ifyV3EA$cT+`c? z%Zm5RhkX{=QBewCb*@LyZWt!|h&Q|48N60HmS?!09nw|_Z~z9XB_KQ5G4O2IK(Q6U zbD35Gn=a62~{> zlJWAR;p!e=Tk&Mq5Evi0`xzIzra)dKt+6ITqLBSVDf3F9%5W*>vyX7jcl*VA`$LGk zNbd>l{w0(KVY;>oIeJBQ2!b0TiiAU61|u*%{oe0~e_n~hq|CQ`u$S^WqSBa{+>st3 z0eamd6P*_@d}rya zS}jRngbHN(^@}@!&CVPaxQyjneoc{5#V){oPMm z8Hk=W+o9Rg>mSZK&3;FSL&Pox^c|uyQNw1&5~ZYAiFye8So3zotOSgBVyCBTuQSe$ zK>QAhUL|S>0vteHqoOY+(8A(`KJ?3*>6fXpOQONz%wvsF{HD~q964Zrc!nSDZ7a!+ z8qXLk0YG2qZ{fvSR0A>9Wsp7O)>@R*AWv&(a3{eN_D{ELU8*Kx(TRVX6HHH&--*y& zZDQ?~^@eeXG~yFLgKJ;l*70d3WTTPwbayI{;^V`>b}ermQc=TDs?>L5Q$54GyU~o+ zTZTBiaw`FJY1{?ddA)rjpI^cj^FImft^c%Yd`UB!{T zBu_%{Lc`75{}H8BTadHqqC#2*dB0JzilQAXs)?#sF0spq$8k+}Q|pw$3oE705(|fV zhvEyX7A|iY87;DRc0`EYsA!SSj-UYtV8>E-SZnYTHC_c)>}OUk^DD!G_?<-%oeMR) zCLbt@GqsOMT&U0u?g7btn7>2SCC|IiIB91ce{w8Zz$80k(WHXi;_>odv3V8fU*cYf z-BpYVsXhEuffc=6cuYpFBkI$?LxqJij;nW>mBTEI6eA(HOBL`W7M{6~JK^+zsXccU zibwRsHCybI5Y`#TnP$^d5Oz#)-J?n`N`i*;;d3LSP~CUFW*RQ3s>_6UP*6Y4)~ z&8p30s3_rip78zLmr@bsMM<+p2Xc!Q^j%5=F4wfM0O21tmR3dliHQumt?Kl|MV6t& z>YdPe)TIxz4YC#~I-?}?zW}*}J@8x-8(lL*gSp1P+MKVI=wb?1q#;)j{eLbxns2#T zAIDg7#gJWl&pnj8wP@kiey|}Hxlyju^?2ui8}#2FJ^N+Q*0cn^L`0xaC!>+Fo}#12 zVFtlbFzhV!JUn~7A~rczg|G|c&EYIgGo|VqJg%LZS6jb4%UO>`GAMR#rKR^AQP%QD z5BV{WT<>UobEVIUD6pw2)S1eCJ~Ut)(8FG4LG1JnGJ)Y95X8h*?1Jx$UUJ!GvA~<= zliYIC2qx~?XB^rT*?b|yBDUQepy3K&aSFZi7Rdf;Wze~Q@gWFAa@Njqn=al>t#@6UMAi=lXO8%E1jBprk(krg&SYfVpyFme-v^SF%T`7keH-2ziJlb=kE1x%)4_vI?;rVfITDW^3k1|i1 z;n7S>xmGQ?=cglLzac}&)iDPc*B7~crGgsd3EA$_9uns7T~hk&wXg?2`H^@v+w#RD zvur7*KyrJlODbBo#Qm|?@7EXHP&9F%`?f>U?-&jk7_JOME440)elzgA^Ox#niPEkb zIxjrcnj1f2$2Zlf@SoUyLpp3PuOIFO8d6&^%-&lJR{=(|zk6`Hj&&6vXhdDjxvhR2 zu``5E)nlggY6lJT;i}?{E4}kszgN<4tog*8`qd8iB$@5B+FUmEyb`pLczKrlKDWfY zRhQu|dvbxu)&ANnUoz*LmS?Lc zX?*NUN9*mA-d-(_aC2~;lB(9p$W$Zf%JB526(urXuVj5vx8bjXKSC3s+?M=@wFqyG z87E%IBuyEa4FTQVm*U6I4KI%69XmWS2VTnM2~ce3zJO43T~Rz|BlR1Bg{Z6s56SbHlR zkhNGF!+6&=mK#_l7!_?tWBlTiOu2DZ{B7-m>-;!Uqpj!XY>pRA1(D2w*-zY+8@;}SPi@M3`NUy3Bb9@_%5HZ za%tS@f;ozUN9?sckZKp;vW)sLLt&Wfm_)pKWOI2qUlUWzH{HgwI~eaR#Hek~ri{4X z68x3$?i}z_lUk&JfLUfC_H&B$wK&gL*H1#B0Gb{p$w6=^<{eroM`%xMXxN~`;sM~`HK`^z(XtxiwCTf(eFJdFtrTBJuz z9P$JG@T(#r^>bu>dlBT4ZL{K{e`AV3SG3i@DMI0ZZTV#(R#9@F%^6d+z5v_@FHHgD zRfI`!kmPKoIiETFBWPZ~o!+S_GG#8wbEV^x2H7u_tHy6$ayBCiu_*>wUE!+!KtM&a zTvGj^5+XZ%ZGYOz7Ylj$iX9G!JpJHk>Y-syPc_i#PVH)Y$IX`oTy4C)EAj&S*Ly$} zXQwx*R_9s?*I#8gh=vjp>_^Nvw6d$6xon2ubFiSmOur;<0fW!w#o#2l#9cyWng}g^ z5=OfZ%jh}Qz&+?^&r3BKi`{QY_g8(AhRU_{-o5&f^R0ki*@97VPV?|tg+g&9oL+~7 zM-O)4%&8UPO%=QD1dI5#IphX|!!#>g9rV^AJYeYa&?gP|w6(a|VV`gleM;H2$ei${ zkG3bQhCk@_RwHIzVBT>o2*q9uvk<+xF#G$xp>-m2hhq+@QJpnMJMhD4yknZR%ko2l z7_}9C$XNzCy7=6D%+0s?xa#Cyr6pW>Oi1%3s0@;RWpTE+({^yU1mw^Q1b=nIlYI5x zB*6ef@Txid*gA8p=nR1{(>%k=sLGFgP?2oihy)w0owp!{CSO345CScq7Z}9xgZLnG z>ZpcnX}#NdFcc2`-uU$FD29`%5`@6y7xv;Ddt#SmW`QvsL3Da6ewBDTj5?MD;}-}& zT~x{Q267qu$xf*>rmRA%Fio;tMl+$(0jsnj2lQT#m92XzmAi;e_-t*c&*->&+dU-%&F+r4R)=C__zT)f zo?EWT%mKoc2N@CYJlhR*L<9JKWIgL-1h!m~ttr^n&-p6Ax-e?IQr_`>h z1{L1nfQ}(FfcSFuLnKvHVQmr5#Zpx$qDwguS7GM%>wBF1RoM0erJk9!qL2rFyEt9) zvK6Sn&RB?%cMy6kM+A92l^!@f+gYI;+8gUcJS;iGh5ZH!XiiT!kG%d)&H(Z-?s$>u zeyDx(gxO%qkG)*b-TPr4_t!wTTe_(J0&iJX+mlH7=ak#fKx&xP*&qaY`(2H1wIMX? zyf~-~`+?Xl=lPL7-_5I_CAMyrOrtlbKhzQ7m%uLUG4Lx#jK+^MKJtapikY{V_kWEYq7#0C>B5W50dWl0@2FSxa*k zIm#j|Q0uQyDqmxHjFf4{5g@uc!m#6a1BaT`tDijaNIsm$ z4MvgPH_Cl0{@fYEBZe2J$c73;Mb^oxH}rIVP+*`XfyoAX73DcZ*^zS5=vTvShxDxS zhF<&@m;aBbfeHJ^ER-0U#z%+op781_0`F$AcH;d@l=xu_1tjzEnCWDK#iZb@mJfpYC7tXvc^?iyUkUDz(Kf;E0qLO3? z?#2)ILjUn6FrxuTt3Nh+>i9#IjOQ`8YFH3RDVZG3BCotu72}?%^@xdyC0%lWy60#x z7;^7DjpkSUZB|B%r8A_&zqEr3C2n`F%O|)=;S>Et5-Rd_{@tAr%-I@)|Kmg4e1)&z z4@X6+^xzNc46o*EJUmRshwZI%l zZ|C0W{efe@)aP3Ildv;x$Et1t=Z8Zn@UVie;RJ*({Kt|YsrCOP@lh0-3`qRDQ%7IJ z^y`pIRh_rs!i?naN8@UZoY8 zo&^XOKr-wH73)c|KPFtt@vPLEr)aDTvd!T&7(w4T5xW5iSby4E(*~>S2YN773TScv zo(2E!=Y9%E3{Bwpu6XT`((83bgaP!3xXJO2Ex*%rCQ|CRgIluM2E|^U56%X1sQ^W+ zPyaWxBZLO{fBs+02art<|HjE|dJyXjJv1Qlj{Wa*g$7UtLBZ;h&V)Fm zM7SxsbIAQ;_1&mD{#0U=t)*A(2(Bb`$r4ge4EBol7Lo&?dm>-O-nk4Uh#tobxP&Ga z?~JMFR;H@=w2Ij(*UlW%Hs;;Gjpxk@$)mVzalxE*G0C;vVBP(XgVOuE34aPM1&V_o zI3fOKp+Tm+2f9w$;6fZ{T2n3?MSh^zfQgpaF}HHZWs$%?H~8_p+$=}Q_z&5H_u3E| zweVDruJm$INS(3J`-d)TgRV#8%p?3Z2~62A@MmEFv%BHiei6m7ETAJPie zSo#y1$hd+g8*iRUbF#Tl*y&)YrMF1*T(99)$p39D*bul#;1&lDQp^wkvpcr^%fuW+ zV#7pB^V>H@8A%aA6&2X2Qv9KhaB)a@&QOxiG9+&XXof4B5ys_7@%?7vxS;}qtRma8 z(-maY2=|^Sx(52FOj+$Bo2bz8U2~X<#^sM2DmnUBXj$z~$lkOwESHY(o@X5ItcN~^ zFnr=zzuc8Z)(z}dktznu0&hcQ`{ZB@j8sE~Ec$0UO0nlu-@RHov1P4?*{iyJcU%$( zkr0KA;UBVEp8Zv-$_upz-)Nxn6hlBd9LwCDkmt472hw`+2R<-Am48Wds?;C=*llJT zq4GF*sPbAxczfHxi?rB>{A1z>QFZW)8T;eUGB~!3VI}CSigTt z4D{6<0VmXTFdBv+7~+39Yz6{`{D4dcsm<$2Y`e!twZaX;4fQD4>r?_($6s&ja<-=% z0h|HGkc2GSJAh^n{%Xt8<8r-~gS!pmhzBE&A+*u2YZ;$EC~fzvU1A@QGX!>6nuu8BJhet?Gh{=E`h_=;xVVfYO^j;G`u!~^c0aBT zdyr`=^gDa`nhSgj{aJ)k<#sBGA`i2z(Du|mGmy<@+FrasfxM7Tp zwyJ2|Fi%6iFw@p4A?c=WDAQe#JKbErwm|e16M7hl31I@Ki}^i?J=n~8UrQdm>$gtlCQ_0q~ISuZIQj? zbc1~D_Idw{8MeWP@US(Q9)MulYX^A&>eBlTLh|DTin|N9uP*~&dT$&QUz@K>cg(@u z_H!&vpn&lY^*!?<_udfxh^%-LK;(%d4T`+~y}=UDD(OeIPD-Vkg=&1@!voY(4XCM9 z>*%lD@FwAb{BoN~3kkVBl&P3%OdE(%+4}oeykuy+>-NL96TWFL;;$Jws5}t|Raxym zv+#+1wLJ-(-N_0hMq=foE~0Y8^tl9psHyzmJmWaaG?5>Fof~V zY#vwH_Z*BbZXxC!%626z8EawG zGt99aGk7o1x~G&pt&8!^foq{wQzzZR9wm)_xT5Y{=o1x#frg{|K!3Q2`%4$)!R3FI zV+T?y&jCZ@vGZ%4;C)CET7>d+*^z|xp~w{Ym*96mqQs{)kw<3vl>>T?Qg@79b449I@$vXg-WmGgb8+9zu`nt%Uh7!==*AxS1Up8@L14J}}hEhc_^ZH3^TDFH0j zDM>#(ZvTg(u*~>}qS%^g@zfTU=fpYdQB{~OhUD(P5I<8J34o^ZQ(uce+FZU(p} zcfda1EuYqJ?_j-2{u}amTVHaZtv8c*%V!?b^04>1#qr7Lqb~eR2joXUd;Xb7a&g#g z$F3OYvq>JKzNAHzRaf_urlVOiUy;~Cm$DfvdHI>yeTdziU}6IZE*?#~7w=s&wkxdA zA0JwWTDM%-KQ=R3ooxzo-c(;k(Peny($kia?DswD#xN>+S|hvpF-%>YiHWi#Q+>VtqH(;%6{Ml>A-2)}Hbn52yAjf8U$0!ZslLjS zm1r^EU-6>TVYwlT+C*5U{%KT^T5^q_4W&xpm&=^I@voOj-Bnah`LLPevHHj6Oej^T zJN)8pUN5GOG#g(Ojr7bbyP2WJi==Gj?d>$p*QLCzR0c}YSUD-w&a3=)j(i(;)LAA? zF9mUyX|Ixm=XV*P*4NEXR1W#jY*?jZo8B{}#s~Xt;BJGS3na;HfHhZN<)zp?DKJU8RIx|N7U^y@o=$FnLfMtdck~_Ge5vcZ%$Bt3f?`nIomb`o5L@bMmn|hN!8d4`>AS>hjrZA--Frg z>GhGe*0>^z$;aVP+kp6I`0P7>Jk)~u-6Z9qzjYN_jV#q{4#sM=a6a=z;F2LMt5LU^AWhrZ@!91R2-!^Z_I#klKlv{bYX76V9a0v^hX( zdONqI!egw7XyrLv^A_f_gk+~nG7y?v6kTYDW|f^uK#`UlcRNz9btpZ!U3B#2K~=?NAfjfy#~}DxpSm&49~HEk=yMkA#&jJau4w2KtN$DBO3z7^X@|8ha<#Jf*dw1^R^UG|{ zLzMYa{gH~A)4h(dbZ+nVT;q?{9s?od%{Bh8Qn?HvWyPoG zry|{_9aFg+dL-A1J*Wpi998X1n-Djb49oxY)=F7x{ zfzTY?8oya(evnbQFjxW0lw08$LVB{AzzeI-$094<@dc8+`Y}7PRg4_DnNlP+T)I$i z-G*FP96>=&)zJ*1{0Qn>xs+!h)Gb9;xtWDv-1D@pVO;uSHPj2BYlgW@fSB}ZWo_ak#FA#B1<|lAH_&jvhYCi@-C@#f$ zQss(#UD!a>x^PvottOK^4p5ujAlo5rzKyJZS#Fljo(TsyKOKroMZ%X^eP2I~Lz*gg zcH|+V7NSGnkeKHu+gufNQZ-@95Nn~QX+pt8tDFrYw@e;v>Wz(OpPgcF2(z{Mjil|)65g66{=Ac4JuW#-z3_L|InoT*tN*f!cb$g zxXz@x7nAPp=4OfFjUpEStn`EKr^qiwl&}aa5wfU4M3OjEz&Bl2<~lg8!fxnKZXxxu@2V(6HkXo!r|6OKwj5pU|BQtlgcpnD!pwwn?tVXIyc< zzv*ZkN3U^?$WPSF)C2mvDE}!m`Dos(mcCbW&5lgD(00uIPwj+mK3V1SsvmsBZ}?4Q zJ_Jmt)#Ms_s3={Y!uUq3EiO!rVkY`fngd`w z1K_~FR;iv%GFUW6I7^Bznxbj0VBgZ!PXC~ACCn3Dmh1#eRUGQSDlZK|bY`rROkyy{ z8B3cD(#L`NT_R$y!|D$GXI3V<3^jNtN=qEm){&qf{@k|Q zpUu+dAJkSEnxhHD#?r5+3(_^c|7&^+bG%^4NOVZeTaxh*;by44hQgoXYPw59fS1T& z0P+k##E&l36MG!eo^b?}i;~$&(HHivuAQePZGl*exyr}Vv+b1RvMcC;j3?|aol9A@ zz#kOhd8-bB zx^Z@uX|%q@yGYEjuu0FQG#F@KkSmBa5c1vutt{2@noelCeR5Wk-%xzqVX&;dsCHOd zxYwG?CN6_6X2p{x)4Xjed+J8VVjqnp6R(0RTIPJ;W%T5e^2>-5 zMt?1z;mDG)!TEh1dY~GjhlS6a;56+3wBtpZq(GR4Si7zSHML;pmNPxxIS2jOGrqHv zCvT%%$^)X2O_hP}8?fdY?_s@DNRMTwj1V$ilv_m*yWmWQKaYSKCs|IkLyFmn8&WlL zUA5BsOV(smNm>BC{d}%To%~ZUX;UdxDPqD$_)`l;N{)enwlttQ3M%hV#mh07RzF~T zB?Fqp3}|oCt}ucHagy+94*9?CH{3J7=4ZUS35@Fo;`AJPn%I^8abHze&LxQ4^BZTm;j{?*T| zT1(YrRTKDl0k7bZ47_bRhfufHS4Nai*(j`W9v;Zf0F=b7GJ!H)B#hRpVd2GdC&r2o zI@2dtRQ@`=2952_4T_1wBr3;XTa6%;tCY3j{_0&wnQQ9mo)ipw({e7LJGcvdQPIX7 zmtP)q1V)3;m2kP}Drj?WPRv%UCs{_C32^%2x}(8@M@SXoS-arygvtCD)y7<4o3}o! zwaK8{?_Ul#3!=M~>_hb}%}d=;y(>uF$1$QtJrFg)$n?9{2^j76jRBz3Tbl~{oxA>; z9%h`7hr*ITVfhjym%H1y2@bx%+rA&u#q6Om77!na)`69SJ>nEzCKgoJ(|%}6VMim1 z7}ye)J8!!EZJrO*d9}MsL1yj`@8plur?41K1D!mbOhrb*&y&5un7cF;5(@2Z`m8M~ z%Qf#~VlrQRkXi^f2|$1-f^x%Ej9B|!OJTf642TU-C+ODeHqW_wZZ;RR+}3-HHcmiwAu*%JNR9}dusoiT@z8AO>I(LDTeLRD^6=&t*`K!)sz0@tulOg<-~B?8Eyq7!dt4Z2A~ za?Xfk)UXv9IrII=%0g2(l-=Iw^vq0XzZ=TA?lfLl4Em5N9)qr;^Q8h5od?%?=x>^| zc`}M3dm?>slyA}F%=UK2LDmF|xo{$`c#NjbczV<>@qm{%mH05-z7l&PN=gUeFu7XK zpkEopol*Wy@(UeA%p;xiznOkL+rutrknb53Q*BF7ULWoHERr-vt+ZqGSSv~RcnXm1 zEu~n^IF;)^?(meVS}pB#rgQIHidD)`6LJJfzT3Z2%86I;j36(go2$dpCOn9PK zHWIGF0Ywf3;u`UY>#Cto#WvUan>cdg78sHVoa_}ep*As-h@i+k2!AFGRr4)RA|rv@5`CtW{U$qkw6`= z5ZY2udl>uzvxw{#{9uN1vO@n3E)m@aIc7y3Js&=6R)00nWh;YVl2fX63ZOrO{kr>! zA(0R)(K~kX_+To6DX=#DFVX)o6X$mUm_YiyqdKaZ34vCv!R^#`UX_c{N;xn?Gl%Ht z#PhmS`k@7c%fz;@qnpN%8_kYlDdLu@_ zRsa9$PR&(yaY9Es7$c3z5jx`e1T`8lC>zB}EXT|;F-RTN_%jmkzqt{RRhWGMb$U|G zjUF1{xRcoK1u;FltKL)FWkDB`8d70m#=208*-jc#jrPIfkZTNa11~WX_0FeCd=^;j z5S5o9dxuUBPmNLKl$Ks9{vB53eOcj!pD<} z?p!yymaCM4ShAT1cP!%VDm1Y9ZajROI}2*CPNdkjP$y}05ou4xia=gLYms%35_v39 zVE%oJiXqxCFu)-Z@Ksp2;75}XwwD(H<3JbN$_iAldVgVv-FPfSmXmt>enRO=UjvA- za&7X0SADVclK*$T#+|r+$s2lobjjml76=g9EffW#xSJO@HiD@-D2Eu{{dnWW-afN>{8gX+Td@*+-@m{+wQHySxrdWpSm2>VE4i7V0Q~E$^o;MQVsSJ zmT!7^6a_G8hnPTs6DJz$QBP zB2%d*+|usj>t5cR^WClzsK;GL8z^ajo~F%B!G5_hFqxjs!kw<6B`t6{s@oI%#HhPG zkyNEO!m!bH*rM?V7Q)2h_v=qWJb&CmU^32gW0K%moLCBIA+L(ID?r%6kQJ$(T`i!U z3ib|mJL|Xfr76}+sZ8xYA$+JS%ycNXX>O*3b>Mj8^0VZx<+RYJ#OsDv=c5$v22qBp zpksoXB5{-`3Ly0zQ@g6HV=$Y@rr=DCdk;5$&0kAiaQIF<&S8GdT`DJG} zI0T=vtI^HZliQ5T^P_fO(ixesSy1wLyj-)6DU+=na=nWhd>RCOEVpitgh6|(*7q}> z;c#%ZkDRNpBz&sVKNT9@6n(6tCg|VR_+e(4Fc+ch9W5LysyXB~9qa?cNh2?_>VpV@ zfSvkS_p0^KeNpuDzVjfKW5jHj{mNRXmS}IiVIlvg(mf6&4L)xqFoMGCs^#@o=${z`GYeBF|Bb2t%IQ^}RJ*UhW{{Dc};)+a6=&>m=w* ztfNGBvDQUZqh^4@pme!KVn1NYlAb7uDJ?0IJA%sJ2Q za!9-k2Aeu;(bg{%D$AOs8Dw%N%saoxXzjjx2qiI{wtKoJ>tQ7ax48)`c-FIIW7*a= z+ZuoIvlFLV#evvfd{m~QzyR~sMstn9$gHTIW1=Me34F2s!+at z$;SG%2USebgUBn)&epSidzh;pax46Con?lmr0(~Qj>@iX;mojK#rY!z#H{R)KY+QB z)X&*=(uwwpwLA4St*x2S`V))eblx&d(^jfR zQKXIdYeXn?TKs~KNwEH~(;0p8@7Goq9NmlKn(3}DtgT*Ulwlk;7i3~YmtD$bXMba^ zxTt_;S+2~_nasI2<}-3@v}W>UW}d12>D}!01IV?dXx~A%ObKJgpjy{Ol!pE9T~qr0 zOvW9H|k`Rl4{)>eefoBOd{+I zBj?G{p_lf5p69H7lsdfnnD%rpwsa;9hpV-dau>5s)@s1eRp2gp3&+osN3Lcps zs0+)js{=(0R?+MF1;op47e8|US<|{C#CiChpl(#1lJb(yHni$m6?>@k*d#X=7kTmR zy+%(}ng->t8Xa*axv*_d<2c_Wm?wwpY$_L17Q>kq=3ag)zhyylj(6|yG4EpvV`3U( zcAqxH@b;`*j7@npIJYnfa~+%?4ZL*uocPs$>{#D%U2~4%W|mNTBXObvgPW);p~xM55XRZOqu$kiIV}e-8|Z8QVtVLRWS#E#hb_=nS5b zyfvDkO#GzaI=D_98fmeZ!@J&*6&UMyWz*sv&?;y1^x|#(ox-I*-1I+nI^)59|2)`p z1o-_VE|GuWyZmgXzwL8oiayRU&p{gjY$K4f)i%5bdTAY{c73SMrvi#g3-QdwbME~C zdb>^Ex&;CUblY9B+~r|*C!0?a$oboOl{ZmA!zn-WlRrjiJ#pN6-5BfInSta$ulQ%u zZnj5zng_}`1dG<~zV9>*JYv6u>@Z1M87xlFPSmD1L_&tJ!1v3fZi>)DLGFqAxISwh z28PdCS*K;szerNV=r|Io!4uYY^y}?bL-KRT>BrLoH9@s1yfoUZMcXwipGU5Lc$+SS zDTMp~`0ydQWk_RE5cArOyJt^DrmZHSo1zu#c`Gg#qiZ7zH?hNM5Z!f!Og^w8J};~m zA8VtG8>x*$ijxsP(8;^J{${&!M*zcLda2bBU8CNih4(V#-OHDxI>h~b_i8>D&tZ?x zf&XN;8ruTijM9ft#ZM;9n5|eI&84qqx#2wp;9b@;6%}+9Z5$wk?hrLD?l>v@tVt9k z9c~opP26ZiC*mtO1>c1db|3Mr*y`{QT0-qr#vXxzqZf%*yPnrNvE*h;!j{!Q!A&V%-^n|bVHToJkrVidvV|Rrrt&3@6I6}zGC^w9p;LdJ z9pN|`la47@uyixbc=Rq#AVOCZZ7pZ#o|pnVIWU+E_!c1!pFBzM`5I-$%{2*}iqAL- zi}Hakvyeu)R~H8fRkTraS%AccIeVG6UPZ%}1~eY&A8---+XX?4)^(ITIjr&**c+Y6 z{dNAZ!$sja=)iVB0#^EJaGTC6Cqrf#@APPSR_R%BoZb=PAaF%2J-S`%ari9l2`R4C z+I!pMyzxt$;clxO>6R8pmaU-oZCkd1VWn%|E`UPMku2U8mo9x66R{rJ;xp=@v8Lc6P0Z%zQ{fmWid2ZIJU=GRMs{pVO!ikmCF>Wxt~$(S2^H=mp7 z&yRLm6F=SGk3$?ckA6hw4GXmiPh49jl$ILh*9zS!%Qc1QQ<|fZcdir8m^xF#&3 z#}Jz&9*>46!jwR*_5)b%fvO}T#VVRiCWXF^&z%UqXeIL}T zLmxcxNf*nV&S(*hH-kxR=D7)IJ(Wt_SYnaNb@}xHx18@7En{^_tESBHR) zzw}xgWF@{JtlDR236&3w(j;Cz{gn9v&B4%VmhO00vX6I7A%{@|b{5%HR$9d)O&r)e zM#6U8*4pc%*K$38UVVzNoQ*eIn~5o@T6%Li4jvk|?s;CWd#0Jh`JXmO) z)F(DT@SvKF1+y1|Bhye^fk8umxatzw8sd6AsngP=ohCjah6W2dphOdgpt3;}W6l?I zo~R08=p87$%`y5b01~wYrWq&^YO~!$2p0bIK~zqgTeZ8p*!cB`+r+KgCF{PMsb0Hr zr}GD6;@7mLD?y=u#b4yAH?;IJdmg_=%GA&PO?{@TSm8m}3f_VFqE9942<9mQ#Zfwb zst7qApfWqYoKG2xy%@4K6<0^=x6}5{rokzjcY#AqB`*uSnj(jcqjCUqvi5`SVUzXj zhAJBY!_=LbWWsuHy{ZY_wfGhtYpk^~D?TOpt-*Jq8tw;~uxtj3dAV&A?N;oRSK)nY z@(w_s8&AOR=|=2hy@yw#%N1x}Q7dLX;XR$7a?&=Gl6$1Vb6+OIo$mg_7@ApEls^Qp zd!-gr3T zJ8n6Z=2zJwqI2lYv#CE3g>pXgQzZIej)zHs^03xW3A>>Jy0dlaQH`i=XjU(y<|^J^ z%mhWsE}a{vz5Ox-DsY!LG3A-*V_OX#_4%hg0W{YwN;OL9?MWnV+bA9HfWAmw z`#}j~Qwb7+L!S`pZX@+@tc9q#a#?3dY%F7Vrc7R#uwSP}=<+|F#@4i$Khgc!*5=45 zxRpfHVqnlS$x?mzQk|vUZrdBm+Q6~k$aozQn-u=Cx%YhQ303}~B1{~WH%<{1iSSrN zMOn#0q0o^sMtvkBbn@@J2mIAV)vS$zMrzDFZ0zkTQX-=m7f8u|*Vm@8R4RFM^lwF2 z_UHTM`}d?n43Mo|}q4nPf zEIbb-HE-@Oq^t>Mpe}JC9ZDh3AfpQcQv6+lw}Z+WH!DM;Rr$UA!4>VOz9&u14<6;O zExpP+JFQoe@qVY4i6@tZhUF9+Yi3-Xm>cYRSwD8N-z_z`xlaQNNNK?FiOU^?JQJBD z1)y^ouqPNN#K?wAZTf{kYv1=Wr-v(Q@1*LDuL8C+&%z0`s!;yCZv(a2rgh;?Ud6m)tfIb}8O~9(aD-CFCW=!LhSqm? zZfZS0b|2J&Rc{+=4X z-CJC%a|<0R80CQ}z#ev7f(oCfQHi1WDY@06BkldEI7gw!(_KnqBh3{Y@Et=FIw-CZ2i;yC0X8zwRqMm=%TZJrIK;M_q3F6ik(zoQJqs$Ma@fNKs?u!DKJD(;fVm{mSGK z#j`J`tsou-YGB)9MR6-bd7Y}sa_ah$evRM?Wz8mb-m`K%G0J9KWZNP$GmV^~Ra^n? zZHZJ=y&+@z)+D!_)lylZTb4&=N$erP=6Qq{*8Isk>l(J9jlvp7waA=f-)ZJL_dmtR z?(B(W{ZEQ>ZUFi+A0ejv!u}={h^CNZPr_^YP zw?C0@ZeULYGi;#W%LuZC-E|&K{xuF1bv?+Z}czGbA-jqf$nH zzkI3rrRtdkE)~aog1j$lp+=oik(lfZDA-VOfo^kWoxB;g; zS08(M5>7?3sXkBjo#!j_G!;8~DtOs&@4 zIfVC5-SQsy|5#nS)iaAgf8QhD43H;1*`D@`*1#UUnykml?EPd)@QZE;N~Yeh(A%~Q z^{{lC!lRenRv(2XnhP{swaff9|0RVr$uGl9Z%$sIk5%GEZ9@=g#%TdYuc_j5{SlAA zryZN5YJ4k_DCx$haf!)-tq|brdXE}?9(+W9vI(q}xF=}Xhry%$QaG~a@8)Xe-ICR_ zmyo?p{Wx&lP~sr{!P=EUgs;7rKp@sP5X&y_6>P6EKD~dR)wO3O8vEoTr_o9RH?#MY zXZuN*2=uK~|&+gvSC?3&cwA#VbG^)9Gb(!tJuu-xdE;x|LlA z{5x$i9IB2HHMLIx1H+#aPM5R)L9G8Xz(x