From a140bf2e38f76c352fbf7c7f2a754c6bba6dc4f2 Mon Sep 17 00:00:00 2001 From: kazu Date: Mon, 11 Jul 2016 12:18:00 +0200 Subject: [PATCH] current TeX --- competition/tex/chapters/barometer.tex | 29 +++++++++++++++--- competition/tex/chapters/components.tex | 33 +++++++++++++++++++++ competition/tex/chapters/graph.tex | 34 ++++++++++++++++++---- competition/tex/chapters/introduction.tex | 14 ++++----- competition/tex/chapters/stepturn.tex | 14 +++++---- competition/tex/chapters/wifi.tex | 22 ++++++++------ competition/tex/gfx/editor1.png | Bin 0 -> 79272 bytes competition/tex/make.sh | 11 ++++--- 8 files changed, 121 insertions(+), 36 deletions(-) create mode 100644 competition/tex/chapters/components.tex create mode 100755 competition/tex/gfx/editor1.png diff --git a/competition/tex/chapters/barometer.tex b/competition/tex/chapters/barometer.tex index b54938e..05c92e2 100644 --- a/competition/tex/chapters/barometer.tex +++ b/competition/tex/chapters/barometer.tex @@ -1,6 +1,27 @@ \subsection{Barometer} - used if available - relative positioning (z) - relative to the first few measurements - also used to determine uncertainty + If available, the Smartphone's barometer is used to infer the likelyness of the current $z$-location% + % + As ambient pressure readings are highly influenced by environmental conditions + like the weather, time-of-day and others \cite{Muralidharan14-BPS}, + we use relative pressure instead of absolute ones.% + % + Due to noisy sensors, more than one reading is used to estimate this relative base. + The usual setup time of a navigation-system (route calculation, etc.) + is used to average all barometer readings during this timeframe. + This average $\overline{\mObsPressure}$ serves as relative base. + Furthermore, we estimate the sensor's uncertainty $\sigma_\text{baro}$ for later use within the evaluation step.% + % + During each transition from $\mStateVec_{t-1}$ to $\mStateVec_t$, we need a corresponding, relative + pressure prediction $\mStatePressure$ which is adjusted whenever a $z$-change happens within the transition. + % + % \begin{equation} + % \mState_{t}^{\mStatePressure} = \mState_{t-1}^{\mStatePressure} + \Delta z \cdot b + % ,\enskip + % \Delta z = \mState_{t-1}^{z} - \mState_{t}^z + % ,\enskip + % b \in \R + % \enspace . + % \label{eq:baroTransition} + % \end{equation} + diff --git a/competition/tex/chapters/components.tex b/competition/tex/chapters/components.tex new file mode 100644 index 0000000..a24a0af --- /dev/null +++ b/competition/tex/chapters/components.tex @@ -0,0 +1,33 @@ +\section{Component Description} + + Our indoor localisation solely uses the sensors provided by almost each commodity smartphone. + The readings of all those sensors are fused using recursive density estimation, directly on the phone: + + \commentByFrank{state beschreiben: x, y, z, heading. oder machst du das schon weiter oben? dann kann vermutlicha uch die formel hier weg} + + \begin{equation} + \arraycolsep=1.2pt + \begin{array}{ll} + &p(\mStateVec_{t} \mid \mObsVec_{1:t}) \propto\\ + &\underbrace{p(\mObsVec_{t} \mid \mStateVec_{t})}_{\text{evaluation}} + \int \underbrace{p(\mStateVec_{t} \mid \mStateVec_{t-1}, \mObsVec_{t-1})}_{\text{transition}} + \underbrace{p(\mStateVec_{t-1} \mid \mObsVec_{1:t-1})d\vec{q}_{t-1}}_{\text{recursion}} \enspace, + \end{array} + \label{eq:recursiveDensity} + \end{equation} + + \docWIFI{} and (if available) \docIBeacon{}s serve as absolute positioning component. If the smartphone provides + a barometer, its measurements are used as an additional, relative verification for the current $z$-component + of the pedestrian's location. + + The transition in \refeq{eq:recursiveDensity} is carried out using random walks on a graph, which is built offline, and uses + the building's floorplan. During the localisation process, the smartphone's IMU (accelerometer, gyroscope) is used to constrain the random walk + in both, distance and heading. + + The recursive density estimation is implemented using a particle-filter. + + \input{chapters/barometer.tex} + \input{chapters/wifi.tex} + \input{chapters/stepturn.tex} + \input{chapters/graph.tex} + diff --git a/competition/tex/chapters/graph.tex b/competition/tex/chapters/graph.tex index 995e970..6dae1b7 100644 --- a/competition/tex/chapters/graph.tex +++ b/competition/tex/chapters/graph.tex @@ -1,7 +1,31 @@ \subsection{Transition} - a graph based on the building's floorplan - uses prior knowledge (floorplan + desired destination [if known]) - uses random-walks to perform the transition - uses imo (acc,gyro) for the random-walk (distance/direction) - calculated offline + To enhance the quality of the proposal distribution, the transition step is + based on a \SI{20}{\centimeter}-gridded graph $G = (V,E)$ + with vertices $v_i \in V$ and undirected edges $e_{i,j} \in E$ + derived from the buildings floorplan. This ensures that only valid + movements can be sampled from the previous state.% + + \todo{wenn platz dann bild?} + + The graph is built once and offline using the floorplan created by our editor. + Besides realistic stairwells, additional semantic information (e.g. doors) + can be included. Hereafter, the built graph is transmitted to the smartphone + and is used during the online phase. + + If the pedestrian's destination is know beforehand, this information can + be included as prior knowledge into the transition step. A shortest-path + calculation imposes additional constraints to the transition by favouring + movements that approach the desired destination (pedestrian sticking to the shortest path) + over movements that depart from the destination. + + To ensure that the calculated shortest path is realistic (resembled human walking paths) + each node within the graph contains a weight, denoting the likelyhood for being visited + by the pedestrian. Using this approach, nodes near to walls receive a lower likelyhood. + During the path-calculation this importance is used to artificially increase/decrease the + weight $\delta(\mEdgeAB)$ between two nodes. This ensures that the resulting path is + farther away from obstacles and looks much more realistic + + \todo{wenn platz dann bild?} + + diff --git a/competition/tex/chapters/introduction.tex b/competition/tex/chapters/introduction.tex index b8c6942..124f278 100644 --- a/competition/tex/chapters/introduction.tex +++ b/competition/tex/chapters/introduction.tex @@ -5,7 +5,11 @@ \item aus welchen arbeiten fuegt sich das system zusammen? \item grober ueberblick ueber die einzelnen komponenten und sensoren \item modulare uebersicht ueber das gesamte system. (denis bild + smoothing und prior) - \item particle filter mit formeluebersicht und was fusioniert wird + \item particle filter mit formeluebersicht und was fusioniert wird + \begin{figure}[h!] + \centering% + \includegraphics[trim=99 0 0 0, clip, width=8.2cm]{editor1.png}% + \end{figure} \end{itemize} \cite{ebner-15} @@ -19,13 +23,9 @@ System setup is very easily and no fingerprinting is required. \end{itemize} -\section{Component Description} -Zu jeder Componente eine kurze Beschreibung welche die Grundfunktionen und den Wert innerhalb des Systems deutlich hervorhebt. Details werden dann referenziert. - \input{chapters/barometer.tex} - \input{chapters/wifi.tex} - \input{chapters/stepturn.tex} - \input{chapters/graph.tex} +\input{chapters/components.tex} + \begin{itemize} \item Fixed-lag smoother diff --git a/competition/tex/chapters/stepturn.tex b/competition/tex/chapters/stepturn.tex index 74e4711..42220dc 100644 --- a/competition/tex/chapters/stepturn.tex +++ b/competition/tex/chapters/stepturn.tex @@ -1,7 +1,11 @@ \subsection{Step- and Turn-Detection} - used for the transition step - uses the smartphone's imu (acc, gyro) - simple step detection using magnitudes - simple turn detection by integrating over the gyro - feeds the transition + The smartphone's IMU is used to track the number of steps the pedestrian has made + (accelerometer) as well as the relative heading change (gyroscope) since the last transition + \cite{ebner-15}.% + % + To avoid potential sample impoverishment, which is induced when using the state transition as proposal distribution, + we use both values directly within the transition step to constrain the to-be-walked distance and direction for the + random walk. + + diff --git a/competition/tex/chapters/wifi.tex b/competition/tex/chapters/wifi.tex index 7523037..a736e02 100644 --- a/competition/tex/chapters/wifi.tex +++ b/competition/tex/chapters/wifi.tex @@ -1,14 +1,18 @@ \subsection{\docWIFI} - absolute positioning using wifi (x,y,z) - no fingerprinting - uses signal-strength prediction model - position of access points must be known beforehand - only 2 parameters for all APs - only vague position estimation + the smartphone's \docWIFI{} component provides an absolute location estimation $(x,y,z)^T$ by + measuring the signal-strengths of nearby transmitters (\docAP{}) and comparing them with the signal-strengths + that should be measurable. The latter are determined using a signal-strength prediction model. + Thus, no fingerprinting is required. Solely the positions of the \docAP{}s must be known beforehand.% + % + Prediction uses the wall-attenuation-factor model \cite{ebner-15} + which needs just three parameters: + the senders transmission power, the attenuation based on the distance from the sender, and the attenuation by floors/ceilings. + To reduce the setup-time, the same values can be used for all transmitters at the expense of a worse location estimation / higher + uncertainties. \subsection{\docIBeacon{}s} - optional - same as wifi - but only one param: as txp is broadcasted + If the building is equipped with \docIBeacon{}s, those may additionally be used as absolute location source. + Like \docWIFI{}, measurements are compared with a model prediction based on the known transmitter position. + The transmission power of the \docIBeacon{} is transmitted by the beacon itself and does not need any estimation beforehand. diff --git a/competition/tex/gfx/editor1.png b/competition/tex/gfx/editor1.png new file mode 100755 index 0000000000000000000000000000000000000000..cc56ca86ada24e1be2393f7873b5bb2605acc611 GIT binary patch literal 79272 zcmcG$cQl;uyDx0?PL!w#iRgqdS|mmnJ$g4p52B`EbRoJhh~9heL39zlMkk2g8Fd)r zJifo*e%C(xyl0SN&o;*R2gnF~5+@r3h{!ig;!w^X4fo!#r&uNjJ#y=>}=NMP)}1e*6doB1gp?*u}Ls^ySL!yT1%empx4A z6{e_o>aBI(vl3`tZsKIw_thwI^kwv|z67RKvs2;?9uv$NKAgFDTzRS1&2^arxnfz1 zV^=RW#`1js`Nkf4J;zbjwSqXFlA|i+T%W1OJmIgeN{?oU)w`;RRWDJ7{p}_YG8-Z{ zn21N0ZpzGTH(Ix@S3j05&%Sv0NhNJ}^;fjuQV5gJWmd>TdL5$nVYRM5152K2QXb+} z`TaV*dYRpnpIM1d-MU41k_IT&0uhBz&G~(W&nZ7#zD*eYSwOI*7^sUG_`+7Hf#Ct( ziT64CraS-W4u|i{rpw#u+cV$D@#pSzOKF=%n&A7 zt8>PywTKmXx$?znp>BYZ1WOg7x4uXSh8m#e?yiD{WaF<+^>^! z+_dG&%O-_ByyNelyJZbr+Ru`{nlo{$&bYAB?R_DOeEll@#mYtuTTCNKL-{pF*(%=X z6tvEa6%y_awh<84^TUPkh^ zB!9A{{iQ_Gyn**&LFvPOb%0Uy+t4$oik}CUmxl^P!u^Sv62qb6PdarKz)b5XfX73FU zHH{@Esg)znC6!SeNdm8*GHtqzRxyT~4!aXP;+A|!>_BeiAv-A>Q;{ELD&fampwc|4 z-@{ZwXlCC(IY9QQn=Qh=sofwhn?Ur0osmT|!NN+geMH01t}Wd6>U2Ba9K=7JVgJm7 zWMO&2a;AhaJ|URsd&lsxn2Gcs-uPo}dFZ)Z5{a%H-;$uFr`OK!B8}olJ=DZG$+(?% z1-74vC^MsR5#s}UJ^cD_#jAt_||7iFJ&Zqp>IVN#K$ zM!%c;Y(c29{3Fik34T(D$i=icAy$TI2p=cyozFWlH4pK}5@vRPFLR5?1?kp63I*N; zmk*~2n3uj`j;d@*C+nY&nW~2{L!F6xxMJ>?uGq+Sev|sOLFa(e>*J{_2A<0DuDNdo zhfAHYI7G#+b!g(awkx$#T9&Yoo!+Y-HrI;4s~=v$-aLE+-^{ezPK_F0cKjRM?uO}s zcxYu&g8QQ35F1!h3+jhljp1T#fNq3xip3LZ$;Nmle{zq&+2wJ1nBV6?7B{9T|Q6=?5Hu+a{a|S1qiP5P- zPGi_QUGF9svp_N(Dr29rO4P&rtV1iTqf8|-sq<4|dCikdpYzylnRz>PTLYUG-id)- zG6{Jt?yqXkp9l8g>3Xe)rtjm`9%^JaP5SULHKc7%x1rw)eK5wv6?$lxLdJIZi2kX0 ze`AOiJ-fu1O&sK?9jk}r*3t1&hA;6`-bo8AYA1*(lc11ZKBbtp2&?ejy7;?Bf|lmu zF9ysWyJFO?9F0BX_A+ZN}bQxT(iukU)HF&>y9xXnz`VtVjj-ZmnZCLz}Qe}d5 zX%b3g*~Fp#B1s!Wf9`kXv5WnU#DKXVSxO3yENZr;FPvk_qqFVD&B=8NjJ{w{k0(V-7Tx_y!%4r2F*Bp>A#MRZJtb&b4y88?zwo{9C_LtF;*365FFP!jfOn zObUh4YLe77JVsLg2F=Ad+T!LASyM)A-s-IuDGF_cACQjr8ZgGN{ z+h{%qGvah=yE*U8GnL|)9}`OB*c2s_;K*?HzB zZz=s;u-0KYefG2{YXJkxn<}`6&=bk1V>Cp6uh^vUO}&fSNC3nm`W38NMLA|0yCGf6 z7Nf(|xD75m^oae76HsyWxN(hNN=qjlF#1IywY3-pDp`APlE_}Qf5W#Sq(7gKRp>N* zJJ+5ROV?P89fyj}=W+Q`2H{5=#UCHLhH&ovOqLb@c z#+h35!*uaqWhHz~5jB}SyW=XG`g8ma)a2q~*ZJ-dZ{n_P2nK(fa*qvEv@)7>_LESS zt|WTZ?P`p@FL%3%I-|3t;2{Kce4niHz%}X!A}hocEiJ8P1mi#bxaytth4V50-mCg$=QvDI^S{k*m0CT z-z}o~5_!rfz)CMn5>Ue6j{q9f<_|k9Yb^4FJ-vGZtYE&@y-KlfoMm~l^*5{%te#3j zSPf@!ja8X`!4#|Y!&2NF$U!Q)j)AE0zU(Im5+CXo*y|6+WGB5&*A{&$)WX4UX}2E0 z0?5c|2iPB@vht$z^SeJ41M8wcosSzAt=7Udg(qiYGg=H4GwM^PK4?QVx(ZoX;TjDj zaYYOX@vA=EOrnRe7~_=L4{uu~ntVX6Cu)s%t1QxP)h!(1jjX_}OU?sL(ZHPhyXC5h zDbAId+bt>$ECXX=o023aZG_g%j0AoTlp`}p0?Xs3cqvT4#W*l_#C;=bC6HnHC!f!= z$?}lD3v@PMU2C)aoLW+oxU%PhN?rRRE~VUM6`ro!d5IL@Y>}xEKbOPS>jT%*GJS~F zpmpSr1xc^cav>ZO)QOOs#jo28qReepK99byEDBUS9WyVw437AI97&%?t{u&)^lnvr z|4V2Iy4@+M@cDC+9wMO1F$)Wti35$un~&u}3i5|DW#hy?&(NCU}aVi;_wzLJ*lA zVNTcXM`tS0Qr8NHs8j`yjKVLmNc>;z436q|n0;~|T#TwVhYrlZ#==dzRVrG}4GW@s zn3=bpP)1uhkIB(I+BNO+;ma7~tZ3TdN>vE%v((Yex;fjV=T|+)kTFXr(s2FstDcTu z|7AhDiRwp7d>Sb1*}a_He)8|C@v-^AxBG4)3VclL(5vx8uEH#uN&u(s^v+Cd`& zAAL4IN?gy5pwFFd&kyO3N^vBKTKDH$BcF0{7NLjQkRo4i2W}B zgv|@AP7&V|5iL37((T3V4fJ-`Hw{s7Q`dH`H?rJzeTZ&uL+GKyST6^Bk$ktG+m2|+ z(c{o7xqtQD`DXrUl=$~z`2qF<9s3geAX#wN`a)eA$5(}MjyU~WM@jV~O z?!ZK_-N({rqZ!U5=_rvDNW@sv_SYk!|7(X4Sti`*7QhI`wxs@Q-q0 z#VaE&`kUGwQASQJ@w2m5+G*REaG}qm5(SdxBuu@V_iW=$BXekK`r-R-Tzk?64<}h| zr(A~`OAsV%9(}>bwv`KvDgwpO+cRj}LDQ}TYK5%r_U5p_7!&*%dR+&-?p2ULWRZE} z5B2{ue7KV@S}$6dZnhMjogLoZwD~UiLDB0_dEC+V=B1m1kF6(ZZLYY7 zpMHt|L7z9=j`Q7&^O1hqHCnn7gq#S%As23tixbH03FNv4qI{<6%GZXT+{jF$y>0Owg|<8K7+X)leMnbyiAOuM`2 zzOKC#KQYP%|FyCP~k zB4V@Yg&%rOH}?+q&SN8I=W!)j*s-2i!Y!@WY@9p>jL83>Hbip38iI0IxweoqEr?av zdGhp+4R&0Pn8KSa4D8|&?*q4_3b%|@`+hE4*DemCl*>;tTcQ$NS;()UsoOJE7VE#* zllKHd%5<)EDm6>Zk`m&vbgJIVsEz)FK(%V0r4ljc&$!N-X$dEgpCSe_q`vZHQ+a$E z@x8&0$fXD7A!t^kI{xR(3oJpaR(x(?`-MmeA9=968gnR;XXWA7CI>b)m6z~d& z(w@l0C`REnU6M-%m2SsE2*=zMa*M)D(bjvQ(N~SXEAbp0F`QZ|w_ef2yAjume9K(~ z&wi!gzd3S5a41#+|0&_OI(B6G+Cq!^9sf|j12G6xdaL>@Q!vjPCu@)uBSJHs(ke{e z;OBUwku+aMlBV>B3tTR|eq3APRsD*rL`cL*;q}`*Z|q+CVY|?sGX`7AnFs3GMQ=i* zRXo;uzh=1vV&7k1PlTceZ6xCM!Xm;{!eQa1_5`)b3136v`%(q&|I-ZN$pXqbPc> zJV(6#$XK5rd~8cWq#eT8lV-(-+b?YLZLRIB!V>gsofsv3&abB1(g%ruoYz&bDtk?q zn67h!U4cdO09E5;6@p$}Ix|`N35z5iu(X^z#>VEd%o=?5NSVd`QX%}G3w&v*W+zUG=W*Pb;6P&Y%~ zfbqVNR2Q02V&GmvfRNN>%lRhk3<)OAx?xD8B+{NYCxdoWl20Q1;)P4@Zq0gTDceQs zukS0-uWL4ls9f%&Vy5>%-|YWngEnwd?K~7`$6|@xM_*zJM|A35XNU96QrU3x&%7^B zVnY@Va7`Hxxiw6V(sbzArhgU9x!p%T{3}-0sjg*VH8U={SL6J~f2ZG#s~&-qw9Dam z{d0asZ^pA6l;x+=7ts#|C1E97^B&8Z6JWIrD=cF)5$ZZh6QrM&+IX+AFg;3pJRv}B z6o8~-rK7d#(?f4Kp{fLpiShrMjU*i68LALf{oU^*);IX)YO0|XIpie& zX~5`@bXWopZ)mc?+^*@x^J=grcqtqBfAkT_L{Z(~}c5e-oFp!44~8(+S3WTn@h12 zim%m#1gyMn&k)M|TZAaa^A;Fl~B5sPBQdUntd3 z5-9ueWIag8OdOen4%hAlFzO3MD93P?3SZXl*aY|mle_@yRzCCW5&0~%`TNl_OD)jn z`5{dt)$+8Mf|%m6gNJ?>gEE)ezrv5lDnCN_6hYUDsN(ser9>LtSv!Y#>*F zH1~4p_fqz_jqtEpxwceBX#G)9;lx>}h^}bFW6z8Mz2dDWHvztH}_v4Xi zDv}+F89MmIAFql|-Bg?m!4WR5#FiMvcAbFmr%m{*O#SMqq97*N%`Q|S5W{gx1N0zq zPtOHlGF>ZC%}1R?RTb;<71syN(G=3#T?Qv&40p&a=Q?r1qq8W(LLi9p$)0YaB%gRE zJ5R4HwfY`uOc&^DmtI@Y8SIVM)u~;65pfcQ&pcBm8?foxl_XgDWhLJ4P+^wb!B?Y1 z=B35-17*MEgFN@@4_UR;$lk9klq?quZe;X}3_7Z%Yh9qA&#`uzV~k^6vZ)Qyg1c|J8w;Su=~U7b%tmI$s>9A3Q*sj3XBrhBRpz+_n)(^2 zH*J}(rl#XCNwVO}_HiZ7%>2Nx!*_Sc(6W}|X6*2`}tyH$~&55Cd-!_fap9CCr->ZqS>kVQ!=UfGPr{c;8 zv+Y#5?X^^g95g-nCUEBY*Ahu}TP@xK0-8 zZ>IlI;JGA8E0oDt_($Wh8?oRbxD@L{Q|GWo*6HVCb^e}VEeN{m*kJd*0uiKzwWpbI!uPx;-|R-as*}X+mThlcX@4mTF9cZM&1$rqdY0gnira zPhQLFgTrq>Sfk75kwVqpI3NyvjyQ>Luzwq8&wNm zJLa*03{?Df^<+Qq76LqZM z%$)R`G~Q5RMH1G^w&r3o!*9QEd=W_Tw}G{ zL2oFZyp?E>&EZ3x2dA5bGO_A82HPJNgz5!*mx9d|`u0N0(1|D^{l1W%(b$@NW%Mh` zUXOsMS&2;iO`J3w7wr`MyOgzzE>S96z9E=fn$I7n)=;T_%SO5{^?wYEuPrl~y3MCe z&2uZ3C+ZG)(AktZxVk`tbrQvT1lyJ18ygtm+mV26K)I_4*`nxrsx)Qzpm49cv}_#G z+R5)>bC+TQTv#^bi zX=_ILwmyqVcS9BuF3+}U1g5C|AveGchAaO5a}+EBcN%*&+&c&h- zA9;1YQQzZ%CS3aH^-wcKm?(3(vh|!P8)$ZjyvFeqQB#`NK$%Oh`gU&XZ{me~3eytR zREE9ZLMt4fo-uP-fh7pgCRkhPb%hsM__boFhT!4Vgp_sBur-$64VycTrh~hL;9Uwp zV`1@sqjKElHAK`vpJRPndz)+Z$IlGIu#!Js?FgMj;8ysMj4JL(?9F0j= zuT+a;O0DKmYSQJZ>xASOOye94IlaT>)$-XmeD4oY?YDF-$+7G{)=2pwosw(o+>Wvt zOV9+53-AN`>_iZpk|E3ObH5BVjq@cUz{M6rx);>19O7%_)>$J_nEg)Q(t-r6f|0y)P*UCE1zz zFtIC_#K7Ap^lhIHHBUl15jcUQbV2Yx)}6?>VN8DPlaZ~O$=QE?zwZlS@aICq_ooy( zK3FZVM;;m3p(>E}Pq@ioow1)EBhNYK7+X-@VY+``4|7_?bC)o{-}!lm)nglOZo*;V zYY}li01_%x?3dF*lGP10cG!p2#XJG;tgJgLRjY?fPgjKFf-||3!Zs~KOMo{Dsg;hP za%C%4XFO8yJyp=Y7xh5AzHc%82pg<@Z~3+Sxw3jqZSf7OEhriDe)?%H`%fPo{YD!= z)0L2$2P#`^u#x%i4N%UKTJU||*n8B(L>hI;MgoNhhOKp?zH2H~%PUZi;3z;spSIf9 zs*i1KtsiRDQiQmw(Ulk*EM_hg*b*vd)_JP&wV_-on3wEWm;ct!zhlT#u#lz%E&=~8 zJ-3ZnXG2iD7u(if;G+Noi|tA!di)1?P5_ph{qvYk1K?LWB_|X5>ms8AG_k<<>-|rC z#x^5+Xlwx3nyjSjsRFu<)lE{3>SI*@TzCo8QJ1>+j+W{-;_psBV+wks`^c_ zOB{#xW3&`a0?iNR6k^q6?|~4RRN9*VrvUUMGy|Wm;$6VDxl-5~Daj2S;={*GzX3C- zykS>QTJ>r}PoqD>F*oSLhx3wGzZuKT4cbR~bS4g}y9>0BJc_KhyCP$lXwQL(a7h@1 z(*e0AI3k1#m%xN{0DOJVBoXy;kkwZS#6NK!aE|cD?roHP+PFsX8P{1;;=!c0zYBrL zpHDgTl2D~n!c5pG=F0|)`PQw!s}y}4(g&ZvYv7=0X(AsvxEgHhKeeK+tv>|uRz42; zqM9v8K~d|mgyEW9mcOsg*LGE4KOn&IvLZY2u(YKD{_kNgHkr?=e^OvC^Umv`Hu6)Q z`dF$svp}dHP&7lh-}ncLtJl|Z-~&>WVp<15rT4B_uicy(e^>@7u22A*%pl*EM}}^_ zY-?R){OyWFyVnN-Gl*4lX@~AL>%&jWpop5dSMk;24807A@wP{kOfNm*;{*xOCuO3| zl~CC6Py2j=rcV4hlmNbp@GZt~C127@y@AbkykBzdZmST*Z^dShchfp}KFWHi$GfzH z@()L)rjrBWVG8CAS^|a1<4IzkBD53c1_Rr*`+Sbys%Zca`RqXlUBn4!F(u29(KUr% zitqMLmuYo8%`4)LFhUNdJ&@BU7J}W5eTmhAQPQVVQD9mKm^U=Pw_ zIHejj${RP5RZoth!{@_{6O;>qjuLJ3G1gZ|!$73iEI)2>p?+z(gpbB<*QmDr?J5_U zYSMTmtqypd5$^!ENVEO|%Ey#Tv<~>4@eNmZ<^}+9#VIf>Wy z5##8BGT_V=3|iR~`QhYOFnXtFI$mcclEDJ2H<(^ylBe2z+kYy`kF@zsodA$lvX`gi zpwnZA9S0wR@*fB#9Kh~KXNZYMpCV@4;qII#hx+)X^gXP-RJsf>!?e2atqeKa6DiAn zq0PBaeaBnD9SpU8p$yZ6OWD}f

PyMYDX%9rP}yr3o-tYe33{0A+P&oD%^^s~z2k z-f@+&-oaO$gM+boLt5bFjPkrE?1B*c0)V0V)eerMh+`5WZ|mEWd`&V@c$wAtxW$og zXF@mQGEkOF+N!TxiAGyf2wj5*9%9%h=$QFS(HV-vpNalL^Ul2q`!K-U0P_HW{TbeU zUzsv;(z$K_{qfqQ^hv` zh)8j2O?s5sa`c(6TU3Nk3EODXEdMIAYp#GX#YX?HQC|Eei9|c9lcv>g{ye!W%AYd# z8qnm*qU;qegK&^Ie4jc(DcNnCw)0bjgTpvVBVu6u9)Ipw z-N)@;Y-0iecBg!rUE~NA(C@Q({l;}O?c?KGONSd27vcJ8bqctB@^Zi z@2wy9pUv~~)5TW$!78z4^CGusM^Kf<^wT3uohB!T$x8PFAd=vTOx2x+(^K$p)p$A#$J+ZjZ-xR$iJc?x;tSM$+KV=~WeK$tTx=RNd-qgoh zx15zZvF>6%G3smRhlhg)63yWio`7z5l040fwG@`*baRPOQ=ZteXEkl=#apyVt!I2Z zp4bYXM;Dir1Gb$^yUf+rSPqSe`@K%V^y7%2C@TS;ZYfo21VN5;Qw=MJ>bF{%cm|A@ z&EbwRsRRPFTPaa7SyGaUYjiXoeP{}P%sqTs9J+`hoXp5^-)^%ph3zrhn-|G#`J=jF41dMNu*@3UrS6xd}W=BACHnMnwxG zfr1g~TrU~zp-FpIqSAPls<}~pR%mDvcvfK~dwHeE6_@2dJh+tYZA;f?`a{mk_n1u5 z`!8k2>wMId(~Yhe`5zI~uKE+-JKK+&!g;?QD^o8d#$@FQ9VOETIZT;@TMh!%tbIQ!X; zwYPZ&@y}w{b%EyC8JB+gBv#r=m@B*xFgj(1$9}Re(&fG167X>zp;^j4_Wf)6IRdH3 zkYZC=7v6Rj^5{jXX}2Fdqvg$#8NV(_Rp%Pm`Z1gy$)?_ClN)b=v<&P#Iv2BkxT+g( zr{!&0(S;ASOf)Ch^k*-Jnf?r=n7?B$)6fuefouv{E{KuYeA_*C!p%5D`BLb4{0O;WR!@Z667FU_wWmho^Jl_ z%*@VKIxk~?Hevi2$jB^(t|B z=a$KxV_p*fg&Bk_bl+t%r|YKeR970vBm=np_g*Lg+x?_~<=8;F*PM&o2qEa2&!~7#El{@i$Jmo_l*0h?I-93VXJ4<%BSaV_1}-^B z6=NFacp#rW(GKL7ge3K=3$J$c%9*;>5Weqv1&SJf>xL8Thw+b&e$jHs3Ski|$+um0bn;>drB|V- z%RnY&98=SC_>wy!?hgSL#8qlD{@ZKM8?*n#?_2B0H09K z2Un~k+akwlx`xSN{p9kiN_yc-h3_%kaqNyWR za`}gbPdmo_IYDkipM^5)2tu$<9PHMUad(l#JG)7+OFL)|zgOD!^J4p9&SOw1QEia- z!&Cj&PT8im;Z&ZzDm&-2Zjh6~!QhN} ze(5LV{YZHDLJ46C&!g*gHUR>&2~gIMj0+Fok5c;Zo=AQ=g>2InlyD4AR-m z)9SoQuh{0yK)?$I4?!eXAdKNFk_Z=oXgBA%X|UP6xe1j2M-m@eH^40OY1h%U{SOk< z(vVe#R|Unk0+E2uls$U%KX3+=4QG# z^^vAN33aC*0>I|L=S@(EKei{UDVmmju{13$V$65$z@cGY{xgdB!jSj64l0N4GkwU-DhovwA2&Z9@W&T#iafHn!+u*4^w@UBeW~tAf z1=C3$JpmJE_&^#179+%GLEGAnaLZA%x5Zpc;S|5MJ&J90VBRIc0^S?x_=1kpvS{fI-0Vxz_jvvve0ZrfIq-ks z=FdGtx!U|qTVsBxkICjUnZ3YLO)lR0+bjBF*i>u?es0kDnw_5@`qBy7RIk z6d+d`)!>V^BAKMP2jU+h1av-&Ib>T@7YgrTiq%9(#&WEPwLYY@Oyzs($zhm8v(tOK5NIb&wdSY|<@EsybUS3|BjWZ-35!-ehVC zi*|%*u^kk0GA)-_={kaKg8F3>CU5CoMK|{d@kp;?qgs1es`HuT_w@uLHa>p_{pvRC zYRh(Z>OW9wi&ZSXmqXF_F*Vn}nLt)n zRgI|(gPR_#e>dTKROx)*oSmH`XZoA69<5Xglr(6tPXoX_hyWuXel1VtG4#;SF06jM z)!r~xxe=Aa@Yud-91UbRtmXa?8STq#&6&x@_9a*k#HU%pAq)#N6TJ0V!N+tGewhHEfVIBY$eyFH!!zmB@haGF9Z@ULX^S zIdtxN>DEW(rlsxT0^I?*#JfFWLdy*Jo<^g`An0GWmxt)Zwrh1l)CB0(p&bGV^gX_d zN1+mL5!bDU*XYT%D?MkQWjr4Yuom)G8Av}W7hFVZ*ob-v0E)6kw0+(1x zcuk6(!PWEYinz8vQBhI9P{0@ka;1W^qgYQ7?Dm^|Qnr^ebT0+pQqL6*+g0A8(hzI#bYl^tpFx1ydh%ym}DR~x*Q zW?IzGbLI&-;{B^RlS$d{Nflw>DpNB~iJ4#y6mRyzL6g-i^u>{GKyJ26G`eYFF-FHs z^?HVehxlB$w+3#QKEt6bM_isRdRCKM2_BqYbh8%~g zzrOihAc3>r-~+^D;Ws2;I9`jl0mXgY+;-gvWMWRRd=4*s4#{vc8v*a8 zybbNyZ}BVY&c6~_be|ZqL0gG^z!&vFT{;38iZ_=c2X{`RINkyv8yBdhWqShV@zTd7 z?>iHhySM2Fz{(jnU&!{Xe=Aj{o~&dL;h!RMFXPm2D<%He{<4zV1hqIs#kg>?v*UNN z%4>*@Fh>vRReS?9C62_l!$sQOdFRs7cHP!h&q&u?opLFs8CLZ_hC-uOjI~JIjsoVR zwM^sfktu$)%J>Z3hjPb1c6kjMlC%N2dNM;`o;-x%ynXBj%W&2;CD>}zszq?_VuEV) z)BAoYpeZDBN62-Ur)k)Y&h^NchMGz+==&ti=txam0Rdk~iS8dgwr1|C@g&B{noFaP zyU$kiGW0n*Kw4nUXB5>JB)9HYz=gVqt@6H_$UpDC<(O}4umrkTTfZ5!IX6#3Bi&H!FLf_c3v!Y_4FTr(H>V`1!Hqu zhv2@lT+oISl4y6mTWHtkt8DK6yh8dNuRc4xtvM+m(96{1K_#o)>iu@zM&3E2+;H`Y zwFx%@am|1iKiDBZlbUk~zmZ(Kb)Up@(xb`}T|-$Vbc7O(T@{n(t~tRtgKq$=p%zj( z`t{|?=Bj>5&RU6`1uGLhcAsK%B1(}ObYxt$N->=56lM*0UVR; zgRiXr{G;;LIy)Wjw07bfDWJvfuVZ~%_ny2Id9J+mXUc6SqNl%e$<(w{cZB`hQHeUw zT{Y7K=tknGPu(Y$YCmZNwxNIv13Y2rlTdY7fHBER%b~YZY>fcq&Na8U#)W-7zizv| zwhFWM!G$Fz0I8SMMc|Cg6PsQ(8^554wFsX5bgu)c)?4)TVatW-{o_uef7PZ=CQo8c z*xQ*%2HIU5XKVPB`AxOJ!oRx7M-eS&=aG^Utoj1mMv}?ehF3Hh`FSODGcFc@=NH_5 zzaqBe&JR|2IHKHGV_AN9>@VtTb6*@9i8vmFbWywQu25B$iTZval{bEs<=2|Afh} z1T!$5bUzSZryY7L`b+yd^?3qk@@}ke%W)WYd8Wh2#puX3w&EB)ECo2dA`FC;Oihr5 z{BP`s-{ZS`z)(%?ArO>#F?u`F=EW)q0F+j&Pw3R;m;v40u7HgJ#1$KXjR^6$jNK-^T-MTyX%27nS&gS??*u#yo(=A&&^K6X_U=u{O+PV79*Qw9Mph&<92*%&>>~03h3JRt_3;Zw8G*G)M@JKB+6*dH z-M?gltrwJ^HU=@oX!U>YRdFnPOevKqo=*=GUBT*-_Bj4Yqm|cOwgRL(eM?712d2%N z+N%!PIDqtPEF>1EY*4$k3>cU1u`n&~2aMOzrqE<|^u4Q)#>}Y%6}~b4RoU)r%a~>o z;<{A@qJQTI&UA#9ZtgY;uA64g>GNQK+!wLn{Gd1;nI%AOm4`krz~2$0NhH0MWM{G% zb(Y`y+%7;j(nCeMoBGth(#|cOLT0MVJ zb8GpiY5-lD`adi(GMj&yqhd>xLMV_%y$$^-0%Y6hKur20ff$q$0v4h$_Q9{cTmY`adt z&ByUt_)|kU+xf zrN#xIx&A8(V-L^nM+OZ-cfh>-e@uT;ECu56G2nzZ(5 zYkV~G+*-I=Tn)gZhg-L>k=b#mQj`?fd9C*z=F>04tP?gyT;SIv&A`oRkpxVsvw?nR zyag3V|t-CP#NqR+_wkv)wQS|KLh$q&%fQF^S~*qwZ6C~Z`X}#uS43RggwH0^1w>m z|2Gz=+bVaWK8<E&q(1EfK&s(GJU;6_MxckZ@h}SY#hf8j#N7*8onx z_08U3p(543X2=-@{vYNyP$MkNZvmgv@V|*iKn4sw#if$@f!*|vPaejVG&o2_0&}=5 zz(L&KZ`v*AUdr}|4J0+#PEt9d6+~3V-ieh!nm`L!Ph}e!mH*wAGwoG7uB@!SV;%UH z0oM1s{N?3zJv}_2R23wDKe?;e|Gld4KdC`L%7Ge)7k|z3hFwa5HERK((YsZ8z^JzG zW188?bt+NYn8$t2xtA9UG6sMOWND1A^cna6#_a*J3IF?@5u5FzYpra710 zj&@TQ63BxI0W-pX)zHSwE#~U?IQ}}XA;(Iqf9`$X(&gz&81-|x(;jp~Nm@I=~ z)DTMtLi8VaYs~;>*PGhc3iF$&jb3J$b=s6E6ai2tBU|X-8x&|@M$(DL|3c{NOnz@< z+;2+X@cFKHKW*LU$y>1#ce@1~xWOMHW#gc$$ zWTX4%d$q`Q$=*~(A?};L@bY;5F0z#lJfL89{!v1+y9*af|>UizJrZ|-$dn+Snw&=|JryYC`t@n)t&zrBtJQg zcM5I5pG0OK5?Z7jI%g6~C*A;3uH{oCxDFTZ2e_EK*#PYwHYNLScn7pK0+SxHf4ViB zoZHG~X6R-}Mr|qPIuP`1-;^!K=+hmD^7xeUJ(H6u$h8=-hNQEB(;R?hxx9;8y{>z$ zBT@a(`s?efAR}opa#%4f)2`qs7nF_FJgeXN7_V33b^1}_=s-qk8arOr3YpdE;BSr6 z;jw`Nf^T-)Vwhf%Hd{um-$|I5=ZT^`Qew0Osw5E~ulF0G&p>$wJU>qJ_~c$ILcyXr zn+Y5xz}PT+q}4PzIRnO14U%5f^+!-JSC$fD5((>M2{x7aY0`0|WN$lD+=COERcZrt zaDw&dbkfbT-|y}0J(5YF23k<&sR||s8;Spgear8A_O2j-A4mv-s&PpY0G$Qv|4eXO zvED3kfBNb0b5;&HuFR){5$XSf1UN6_ur6Lc&7okpPJbF~f>9)53sJF&4rp%|t7fgp5kgzF42d$_Oj(xMaT_B~7c2WG=$Ho1Oq(;# zval`^ujMVW7e^RY|D4}(H#m$qzX9Wb(>e9VBnr;g30WXrckDN8O1RYr>&qSeZ6#XV zQvR>>*AU~?|}XO=jU8V(b3EM1ccWEQi#h=mkA#z^P>U@XnYv}SO& z97xvj()+69E*ak=bQ9io8D8Ogv+H|R;Cr?2bA z)?$diD{VJUw?^>4klT^l6Q)alCT3nYh8L%!G7B63NKOs6=Sw}EYb837_OsQIXE39* z-hL_)>4@-i@^-7wY}&d~yW?VYIi62JAMg$6b*AhqpW~M8L(-Z0f!`E})$k-yd->Om zheNXcdor*eFswbG@z*t=#d%M)v@w0U50@Ne?f(zO{onPCmvRG+h50RVO_yL^lcDw~ z1{oVoF!l$Jcw-zCz?DuJ%{lcc+xhs`%VzrdewiTsb+m#_R2hOhOOguzl1;MuO7`hZ z^eFkv_VZd-u=*AjS1nxCSYfpU9&Qnn0EV>x(pA|K8kym{%dm7L=;U)U0-St1M306@ zpwJh-M-L7!<1=n%Gp>^|Jcw8?&hC!I$MGwXG01FMu)aaX!AKX@B=5J-AqA;eP?g{6%^kjN{Z+f z%9}e^U`~Xjw*`G|Nv?ntsQboi{}0aIGOVh1?c$}oOG@cZ>5>lV?w0Np1Q8Y?DlIHP zkWT585a|#W4N`*A4T5xgo~8T0-~GO4pD*X5US8mw^T~0K@w@lbJ+9I$1Lvzg-zZrI zY_MD_Nn9++g&d;KfGA<>Dm*XP^5e7;{lPPY&4ZQ$$@G)on!mTD)Kku&#S#jInZLU% zFR%?Q0t&M{#gECKfqNp%ZNwZdg2q3;0j>!NZ^zcFowAR_31;lGFE|X2yl|w81b8Ae zMTL0a_t;}#7PS|1cUosp87ZOs#Nf$}s-MwG%iC+46KV76nMRqF@h_CBM2ljaJlE_= zE8Inlj$hu5|Gvd`NtPL@`D2QuwZKQCcoIQcXG7KE)6C zUfyP`SIs1*yls5@AuSCA>9X?~xdz+sA|h{MeDR}^Y3|d;pH>A=S=eD#cLcxuueVkS!Dcrm;hRmimbAl}wuWT3l#6HmV=>PMm{L8F zy(OCozz5d1rN{97q8E%F}l7q|~=jFeB7rIsO#*X~fj-iJW~$S$DBCJyNR8 zNlt?`K8>?zgB*fHN9N6*aL6h@e#X@|)w@xSW*fMuYVQC2TI!vHb+)NNKpA_A zuhoUpBZK?mRUg&@FB4rp?FSY}LHo18FXRFd(H0mev2;0tMV>~RzL*i2$Yn9vl`ZZr zGKjcEc)!fBnMXRU&1^sQbWsZ=S46fF3Ny=c*wM%Eb8m@4@Gmg6kaPreD(m{5|2Tf| z@*HGqL-s)u8b1rMgem|OxN`<#_I0zbNSJ6J55<<$GiTf|DSU*_-kyDCAWe4phGt$btLWdcr3$i9rnY#Pjn!=d5t9F{ zvP=OgxiBph%MJLd87vpvndJJ@-I<~}cPSkuQdq*6=EIEwNNtOnDJUU(_OIuJ0xv~N z|GOLh^ud#LwQ$V#Pqjc;1}+{D<$K5?7YuikvnzU|NuJfjkK4*BauhB;y;3NyU3`kS z=o$Rr@;v1CxpFT8%au>|HFfcO@dCBMBYNC-DY!ge-RZbmY&tUie<-8br}P!ms?-X= zzykepH6yywaow9U_g`}ka0qr&lmB0$^50S~us8q9lx#z%Ky}xs{O&=}p$zwQ_V3Ha zwx3TuF1D1Ug0J`eCBP&I?jp|eJz6uTxt?VKS%z$8o7HY^H8WK5kgeQT6ONfh47x5JOa#{iu} z@LRDXxDfd0{ZH)}xPeWz6BmEqo%=i{eB2L`bbXSiC7Nk@FK%#_e)oCYpgE<{(ybmQ zW`K)iGi9Mv7*H&uB7bDduJZrb5Fb(cO-sou)dEJNaMg%=ORV@BxNR3Wg4{5uUdS3W z0mW=!fcw)H{r_KG;8IgUfnkweE)npDoGNGhKd;_5w0t3`|5NR#4x9VgH^a6gK~`JW zgP_fp_KRMgt54B7t3gZ5T&t@*e7YA^cV)kKii3BG321NTq^=!!nwG*?9$_-vleiqv zyaSG|X`Y~E?3i`6&fa^LH*jP@r}~3O9ZmW$kQ@59PkZx2$`6eM=9n@k0N0_hj`Aar z05Ak*e&YU+RgarkkLv~xxr@q!D{hS^C?`RFc~}5|&=$_V4(dTeo08|vhfcDJm;_5X zm%AaiRW{i>j3gC$!v%C4PSKS+y ztUOfTP9GRheYb#MebK`rd0HfVi}M?V=6^_Erj6c=q#3(I%51IhaYD@ZUIlNxdOV&5 z+#CrJwREy&z9eX*CbrF2q_=;0YWDfo6?U7)RAwT~d$$P(BMuALS}) z`U}DxicHk$w(N$>(gY+3(+Jb74|2hbSdXAdbg7G7;0!-Lomo80 zI{zHcxgRI~lR7XaXQmrpYRF;X_ny@CDBO<>Y_gq;J6G$LcXksWO(R3@^)GHk44noZ zANsQ%B{7AW{ve4ZTt+xW7=7xxx=0J$7XGo%G_?L%qCkp*{;%rN{#p3j%|%i5of-1l z7o{lsK=~~Bg~##zvj}|Kgeq}#6>HZ03EC48i4zviLuEs2tZxTuXva{Su}lOjWA3Xe ze(48!MHd}Mj&+gEr|r+E^t#*9&LA}w;7rSvJ9zP*n%Utq*N^zWt1E*~*K0s(fLMMm z%W14v_~8>@54lpaOt8E0C{s};pOc2DAU|TVDw+ZND%f1U0@d4+f#@#!_e%RSK(LFw z*}PlG9{dawR5%_xJjZUz$rio&gm6z_9i$krQzG6XujnVFnYba>Mic#iB#;`iCJzz4 zXXM=fS#(joQ*RUZR*>uqT(<+(5W?mo+XJB8j=Ew*o*HH7WQWZojoWv41oo;pP~0sI zQoNv$TG?22=}^vun|SZ7`kKh&2^AM0``E>pa23D{AC)e#9U7Pau6z7nF-(d~M}S*R z6-xiC zUEEcBTJ$DTvK;>!B|%Vug03)y?QL(yqV!Z!=OQjRgMDY>#+e}{tJeL$T5OnuN7;*u zS5HsNct&qvw*~(#vU6FJkcaq+S();vKq`1ZRmep~>~sWdv*rNNAWea&%U4n4PQihM zBBg_UndW5Cb-8WUbY+M1YSV8aMi>LWjsA@%Nh$qzD^$w^Zw?1awTr1_1-68iy>l_$ zOsBkD{M~LzL|b)j#m6OfDz*>K^pp)l$za5b77symWZ$ z>V~WVLjS)cc+zA*!0;#(>zjq(1(xWs-n^y=h99BGT$`Jm0VJj)i}jWb*Wl8*6le$- z-Zz+B)oYq;kgENq#VwK;yt$w24~&rPZ}GlzyLAkxA&cuE6?y2>I>@D5F_mx52VP~| zP-V)5YwE%a%@>~12>LT5*6L9KuQ%(lDuXc#f5Wy0+gKa3CQom82U`JwjICU>m^R}Q z%^kuU2e0T)v5={RF4(otq`{BJr~GzJmDP~UBbsbBN~*3`V=5;{h8lZE%bJRzjNCsU zAj9+APn&zx0y!X~s)tDGK(EO;^WIh<<~Wt#fO1e{-k`|VN|GN{O7h*!azluZPZ%(a zjGA2Rc_7!dDYzilNglzuh9wf&+jey!+&;zD=f*z`7Aa{kc4Nh5gn1`3Mt$RUMD4V$ zO={^oqB*Uz(cSPQESnMKd87<~^Ue%cA)99AbHrFNwSQh{asS-lwdzq)v`aU$j`_Eo zi_|@@CK!)yvkt71w#+02r#`Dh()6(|PM zfzQFD?RiCx&D0&R>}!WZJi&2ZOT}-2{oOWL7^&+BfvVJSG^p7fOEMgXNSSf+#`I;q zb;m=J2vppAp_YBhId2jT%8+lhgDOCj=-wE~&45|;6b)+1fcBo?tNOYneldJ5Tj=_& zxD4k%WVm!^8N})V(kF}g^>8j6UZK>|Udp^PO<3Rl?&}6_YreS#sePYP*WkWSV>{ZY zj*f2E?WYUsV}tFN8}I32l9Bvy#>f>-H@DWi=S0q9J*r=0K_15q^E(=(6Po&HsP5?s zpuS+OdTrq#@X`1UzpM(EE`79UduS<3csmuSpZ=%7cGl?V@`D(q^(Hx+?U-yI1SFou zyEp7WfP{FOCYZ&8>VkA3!fRlV)47=>tR6SG8mfFBc;t!%a}JCnZfgg*O}9hfR-w@x zrrM%^DT$*FCxBZKnz)D%FQ+nn0{jR5Ejl9(Vj*;2KNc-S3^ zs93HT7wVOajPzkAMnwhv+erzc_vr!`V5o$MmP#j)MW|!iz=2|1%}7(pXM{_Qqa{Mf z0zrN6c2hk&UKs>Xpt&PJ{>OxT}Qx&Z}7j3c;cq%OHO^j6#N9v1*EKSe2#kSP0K;sd-2D7UDAsuu{v-CA<<<8 zoRAJj>EY6y5yS@^wkw8ZQvU>kfHA?V)A|P3JLIM1l-`#%0Sa6F=ZWC(QO>4ocpMLk zLeTt(hl^E2CMF&jx3Ib#oZ)_@*4OM6evSH|gl*{pt{vv$%osG6pomMqabj|W{vo#@ zIjxjBMxS=l8&`@!=SRrzTMVzFsLomY%Ox9$?|{SrPsy32F<9rWeN{;FVxu6`#Xt;# zRh)r5n0ZjQH(*|Mxrm(eOSQ*t$tgCvCP*IM`ho(FdSv>Sx zd8!&Y++L|-7}2<^2P}So4QH&|?}u{X%42&?zr~VKGmqoYi9QCus^p_k29+ZMpoLSm zE<$XgI<^r~rRB^CHRR=kLL_$t-f4W&$gni}YtEdgiPwmwP{*bZzd~`H?!7zO#;^v- z3veEJ28B?*A7il1PV&=TPb`RdV+iHsUN4eEt%$eOY9OPXBH*uU=B;Z|{bnI@Xw+TOiM6 zW`NL~aZ0`KqheW_5x4y4+s4$(5rlAq#7)OPae&4jfgBHH@n~jI3!I&1%iyp%+Wm}H zh2tyzc2bv^RIq8K^1}Dukaaa&!t0bYdNtN<}Tq)y;Uxy#ER8l1voOulu|JYupoE>F=(2*P;v#zWw znv#CQstJ<%>p?z-4>xVht~;a)*|)m(OT4!`Fhrq+UN1#YA_$M`9Dh~pCI6FM-v~nU z<}B3^m1|Ly{LUndK=&LJ(s3DLh&lJwf@RBMUCGPf)pSp3v(%ybRyCyB2YqmR0QJ?lILl9onYAQS+0xg8+A-J6 zftf~=7Tlw3!g%8qfnodag%ER*E@FOZw^xdHo$@|F>x@M6*(iWI1{3_jR6VzXY#%+{ z(JK`gZo~zDYg!X&mUZuU1fA7%#CH)R9j2vJi$JHlSdEk7SM8KGA8{Q;h;_A#oTK^( z34z6^hgaUkGYcrevB4Xa1LX- zRt-8`*MIKEM#)erGgj39uV+fjgLzoJiC-rlwE-aCpb?#VB5w7xT7*w~tO`CNQt1w{ z(sLXj(O((qJ)zf|A@#=gq(e{)@FhOO`2Kksedz=?45!mx%%92iM?Yqr+y6ipZZ0&& zr8nLK{RdNpqZo~GZ>v$Uwr7Gvc%NUKGYLsdU}ht{H{My^NcL&bEV!Y869@n{zdvYO zW^sEdK9Twf4BI;`9RXq)#rOvl1cHKDtpF)uSatO0>+n>4t9v{ir1*rLr;kFu4Y1Dt`%)xg;kmDCD z!;E(EO(5Yq&dV6W2E}qBxIKlPsMXdU6tf`3eHbn*0@^>Q+^&DATi-UL^_$~2H?a8p z`*M(K%dCT{Uf$9LM_FspQ)=K!KJ$}Ld+O#oWkoDU;3sSpNerX(SO1Q7m+XZ14W!lz z`mXu4aR&+N{(TSnsAyIEKgLw4BJI=Z7TTiB!hI-6u*yHypOtS4gU!g zygQ~S%dlr_QA7u$<(Md`22>K?fH=r7<>Auk7cT1vuPSOg0DR~Ttktdj`C|_YDHsq& zHy$F^$5$^4BC=eXU6?coC?Hd{Aj?RqwhKyuIrhZuH<=q864ASP=5?G*Bhyph@mZ>z zgiAJ(IhW3P$LB0EMWMs;6D)O)=hsxK;r?8qqjIKscoB1$qag}idVt;kqm!seQ;{gt15yEWNdt*Ff@!sVjHe{rG!)1VEc-&*??U+nA zVrhrITz}_7gFsf;^L%TX9^scq83u%s(mwQk2UiyVll7z63LyuaU1@WP?A`> zXBp7%$#2rb9I6=g5Zia$x`UJPzot3_!vj5qs&TvlI#K`nSV}zF06wr(to%h~)^|il zfWQHTJ2^CO@TZPILde(XFK(P45aC#cF@VufyMW9k6U+0fI81LXfsa(+^3P*((v^^} z6+hZ{k}x*z91u23%CDC+eC>g?J1Qt0EK%s#Oe1d}l?7P@qA84BhQf!MSCwk_c0`2Q zE&@tEDtS+W$^7=ssJ`B#xd>Od-}gVHv>W9jM^}-o*K=3v_XYkn0x3ou$lZa-=FdEQ zZeKbCKo4zKM*tfWmGa7Kk6}x(Bv*h_9w_8%hL^aUzgSWRna~nPjiZW~<2&B)BXn`= z)IakEmhPi+uC&4out^xoi8_@&c{8e3CrsZ2ABlWCXJ@wm@fi!PeOF3~)+TSkH+bUM zd1XfTH^Fl`rdxl6qw)7@J~NBYye8obtGcgp8A;`yV1sg!^i(?lFn9qi!1u*03#8l_ zhQXGWd7ZKRfI3(kqEPJneO*B76vaiYvq{~vqsJ~d8tsn`kt{_~IrxWF0pk(>G%A4; zL8UYo()aydb0UjP@3nK(#*3Xu15Xmc1|+5280iw0^ezh2(H{oaZAhH^lT4GjLw2Q* z7XvlaA9zNCo=XMjS{dm2j?Nf;`UQ$@Ozv9t@~AVfKNMXTRY)f2aZVt;N7zq8T3m?p8gwG;_o&>LU_hZ5UBrijK?PDdl1 z*^~1eAs-+=H2ZM-yhT*}t(`S^KO%_I(3su8-omCqX#TF}*$`1_mK82TpIg|E9t8(h2Amx% z@=6X)tC3MwLbTJ@+}H30o~ey$&_!X+==x%);Wz>^VDzgE!1;{&S1F|Xv&*bSMBC&$ zlYF&v7_^i2=H{KVi4@mJ@khPIDaTm4>arPqfDfgEa~GiFw1{nYH~e*A{_4J3KI4 zhllT$mMRf!YxG64`xjP7lm+=edzHIunHBP<`fUm8hL1XF#fRU8|B)}<-^nZUW>6ww z>mh{=X~UjdqQ)?Od-9@^V3DLDYxfWler)h|{%1p&=g+j#VBWxF;Pb4-$jAX5DHx2B z4Y()uQ@Q%tH^dBLDCc&6WHSg;~d^+vA zfx5;i$x)UV2Qg@{Br>}yHo`TY@Hq16dYZ=`%l#beelu$Atr#JeEY>DP`Ki(&BKN|kD`YTbW%){M4{yjG_=E_7Ynlo|HMdnMq{@$O8GUv(;o!iO5W+Ft3%P8Y%T z$IG<0S#om3tCYVsV)_5h>6zd>am}#_k)&Q?+ed&QR7t4)(fJEt2vPA)mfc{@LU4A5 z5wX!(X#%6rU`!k|_F>u!t{Ce^{a|s^3!BZ@JM%VNvo1%oy^;}P1a*T5b(|eF!i*+& z+9b*mx#jdq&2hj7N#3NGo_P7@f(^rV<us;}abaQ!j%XJ+!f0+-f?G5AC@I$C z1mo_Qxk>z?WJw=b3(*pTjdf0oZG#9l#)&$X)xul@*P52+Ol?9O%NY^F#%)j#uT5CF zu;GL5pcsXM#+LzKRBd=a)m=-4xzym#ZVw^zjWl*xk$>vANbrPT%V&!%J-Uz|;|`nb zM;G*4O@>(jEB*xlRnba*5SC?r3O0{Y99N>W-~?P{Q787dGVn}=pmdu%qc83ADfp0c z_(8^kO>Oc3bw-RB4)K{-i}Z?4IVWN$V)(*BD3n!b_g)rZ*XJcp?%&t;T(^E0le%G; zQcVJGI}TmQ+D0L+9ap{anuw>6pMMFD6uR0OQbq9XtvOITJN8rzk%-(+0CCARDnZ z^2k|L;Gk4cq_$lmI?%@IyoYbA$5n=yCa2kPdvy}nli1fV;z4P!+|3-YpifZjuZ1e1 z?FlnbXv-jJf270@XAi*~=nj)7T6%D{jBsS~Kx!v611x&-pFe@H2`SPv_dOX$2p!&? zLh%%)8AJP)ycJaDmNmGDhA{@3RD>DBp5KJbw#@QGL+F)iQxWi(T1Vx)v`^M~KRar) z{I4T$qn6Nvai35~s6N_ZY>bMDY7vrAHU~IL{hh5pNZg=g3C*wn)RIw;0JBG>_Wd-2 zt_H7_6O2b}*)v*4eP~oY%07tvD-RPac3gUjxPqb)6ECqz&A<~Wau*AG7Upq~CNu)D zq0Usc+7jAO(FrX51cJi^E2+1qNe{KWaR_dp@i?zaZBfb*PZO4N3U*jiwmJd6p4I6I zh9Ja%n#wiC%9r!v4GnVz5L7hxT!=;Pn}^veEfn#nvr@#_#QcZ@+8Og%=Tg6YZ9TYt zhv`GuVi-7ov6b*~vk;>@7Gm3C`YfS2z0xjJQL1o43CB~?_aH=|{1PT-M7{-9?4l^E zvcj;V2u=M~roL0MB}@nbZtD^+cBRmbc051yVc{l(-RKA%rySSO?q`BNy;Z`5r>M#{ z4t4rh-A^bn*r5|~pRE1;c?d!AMO6ryhgOZt=eZcGO6t5euWH$@0#8bePUHPd1HoC* zz!TO&{Z~zY%ol=*Y&Dwx5-eGj9?6!O<#Gryv_3rjGD+I?@uLLQ2cL7aU*^9MP(33= zpoU~6I`?IU7ww4ZS2Jj@H@|L_pd4Rf3_>}>L7Iwuaf>o0fKB}Y@S3e1k~mh2TMt>x zKjcxXxy!D_I&L}Uk7Bvo+xPh1@Y!Mvkw0R2{4A|XrQef4f{&nyx~Xg~!7r38 zJFc$*>mAfLEkn13!79zsX6`0lhC(|o3;MnQTOP;7+$$Wv4~FzDLXHNnd^w}o2+NQI zo6I#w+XUT@h^ZxZq9@zbVonp2NnoT^QQ75ECYR9?XgJW>&%2c^tZwX5N-6h^d$rkv z-%ph0z>-TRa#3yFh&X`+=4HV^d~K(cYySqHHpe%;A7@jFOz&mQRIEs!$rD61#q&Da zz%syrTP`mW{BX31q3%HbZM@m|iE*r*z%Q)d2cM5M40HG6rTwmC#XFc)`EqrLH>VKL zdS7{~I}w!=s$;ZSn1tc2Vp=QZ82X`pN9FTl{l4Z1XQEl-)MlmDb5u4xnKbCgM`0Y& zc7Lk1uF0%QtdBsECi8YmcSoOIjaY8BM-GV&5r5;1?G64QB~$BHp4>oq$EnMq#yYrE1d( zw9+ZSTBxJpmt*;thyx}G#6RU6MsWu1EZT6)cdGylMF>Ovn5q=6{%jp|W&me7fpP3u zCCva1=1qZo*6KpQrCFh#dVbPDc|BE4E&!sFoUNwm3tXL7)%**AwcSrE*tS-(t33Xw z#*ZF~_PIi}(-HaJzrS5G@X;i`I?|iG9}e}tklt>{&)CC6&qG;|As~2c216$MP;j!V zdcbxe623%$7^o7d%9A<%Fe0G3^z2P-;PW@+Jjr5XOVI_WthWJEOynF3)3mHK-cSKi zw&P^!Fo&$=jXO21BNl60W4B(4bZQMcjtA!mYn)!9E5pKzOYm3QNvHfcvElC>d1v58bYRBONN*1TxHh{3uT8&C72Zfl~bH_DAaAI)259_q2fMe zEbC}!#KEE^Rz|;Z6AVZ6)cVn+{Ck6%Sz7#8*x9}@rJChYbxqcj;yn~CE`+d9D>sPY zQH2#C8 z);TpkQ6uG4fReym5M--P<`I{)B$L&kb3#(S#p97XMb^{==hK~H*gytn13=8)uqKa( z(L&a+#*qb|t@Bs8b_J+l{Gy=H^nK&pAConI z3^ydtAp~hsPV-jcvwcKndFyp0nnAF}%KM@WNmQw-evflZTsPU7IVd@1q-lK2d<3~0 zzo}`;O&^~+EU|kx3Za`^!@$|yveQlhpQW`Fk|d}@JgeQxMyaW!Xj{aJ2qQ>={NfCC zZ23B<8Kqdo>&51c(3yr7%*gss2qz&s;fYV12b;OPUFuVg81g6 zu78yg1IliRn9`JucMx)UDR&eso{7Kk7pb-N`wpBO!61e9s{3?4&K3dJfzhUvll0C~#f)t(x(iAORY{KpwulIjzP|xmB3|)eBVg&)R-vn$FJ#5$)v;Z?(WS8+X zLdnfHeRa5tlkg>=SvT3|t>`B^anEP(EY{Tma9AP3&BoQ)Gor+69|r5cEg_#4q2l=i zl9?-IN~jE{Dq27lL=wg%GRfFxs?Dtx@K#g?^7~zSx%U9h){5=q&VWqw1WkrAIR%EX z?shbDv_jHASp{+G2>^N9#X?i@VqRw+3MT6FBGv5WK|?@y(MEPBiC z*wrL6NQR_pzQzEx&3Spkeo$7a)Em^T_jY`~>WpRU2n8r;@Oqv9Ty{bxp`Fm7Z7MT` zf=3b`QwB%X=h~aekB-b~{!~-dEd9V7Gd^W#xi2~MNW*el5&T_@wrOUbV725P&deX} z>=-n-dCnDTe}?-$e%P9HR`2Ee7}bSg`R$o7x%QfT?=#0>N6ZA;L1q6kT6_;pyxOS_ zcCsT^G~bi8v8Zyz9A(L@>1X;D0eOHp63B(|-ii`e5Qf_p;cb@X$zT)t?14i+j+wVE z$_cF`gROjWaGC(lf!M=`+)xJFq>e7sASc}(+PfQaFbW%#Y zC1cXqL8c^T?k+6p;q@2jaMj_?popyK7$>YAQhTURiKzUQ{NY_k$i(6K0Ko@)KNu~8 zisI@xws9R1H@L=gseU+GO-}mAz|Hnd;Pbt&JtX(pehG~u^e3VC4&3F;yISF5v9zIN zj=P~G%eCV|n^6v@`H8;3K2KZtaAvk>r{|`Q7PDRULz%{~-xKh<6F*)UE2C(lg5DIq zc)x5WFJn7qNH_>fcr>FrM%yo270}nZlPIRaJKaN|=`6kdLz>ru$Yw1KC;_h8-f=Uv2F z%QyDr-dcVY`uXLkg8elIp6j$d0G*Su1qA~* zx|#exS_{j6YxJP49+vbav=sBuAEQ}b|6rll>scM3UMOF*U;F_np#rH!2 z%_kVdAye9;`$i7CuquX&lQ)%!suF5!njh)~xgWBy6sY^f3*=Kno>4l2IrK?D8($^-r z{I2K@r(Efg-UoJQ(7Jc*iS^c_Fm@py^l>IR=$XFB#t)C{{7Ak*k^)M)RirG3<9V)% zxF<@sK6thuR?-~l?R(sAgbXV*7Q9%xpUY1%p6Dz}uMZXNBO<6RfoV%8XHQSGcI0cf z-aAbAi7-c``(SFqzFV^OrpQ9$oxb#R8dG|p8LH&H?+NU}G0e1@67>gwLn2yw#y-$* zM~c+PGU=ZeIg#oAJS^Aynw6x0EeMBEAiIJwwGJ2_LO zn~F51`IO?>@124zA!~@d+&8ig=f=L6kR>>UnaYwaaS{Tak4PSPXxWn`MhXB>Yz zF7-LdQfQK}Zr{O0#XjvUv8U|%D7f@eP8TkkR+GPn+D6^B<~ea-hD8wvQo4`*KXt_4 z7xYHy&V5KCbQy`Jo03l2Z-yvYaQ`by#y}-XPNugav>_!u^!kIy7o-l1>+lKxBw7s> zIW05{N7yY16B1J&i)xIdHJw>_&G5AzVt~zgj1kYa9-T>ynOjP;6YuXHqo9m*Zt=4cnl3|Hxzd22Hy+JNpQ^R3yoXzF(>G zn-U=4$d}S8IpGy;j1LMhuyRm83OoV8M{o0?7@0Wd3$X5q!~HOee)Dd8s&P|WgjzaJ z%t8~J+&(Cf8*BADqvYa!QAhotQa3d3U%IZH36Vjh&OyfYrcFvD{R~=qQ0=mwXqC@E z-tYrg6f8X4(;U=$<1}VtODBCvBN!&c{N5vqLtP)2!;PKBFDv?+{kZCdlv1c>y(%d< zkf&W#hKN(&idj{90WcJTs1NT;K`PgJZ#19vM6~i6nv5zoN^#d&eA0`;i+`H2AG_0XEI2Q563jFIK)TpG>5uNMr{s z{K`<0y(27%OQ;puz11J6@FoZ}W0M(q9ad_H@69b<+Em|!!mK-l(AJaS0 zi3dh$HNHQP7-dV*?`I~y@7>Q^;p`vCwP*&khe~&0E;&K&kcY!g-9$v^* zlj#y8jm&U>vq3h*)dz#rY#Lh&Xj@6HnDP4sFLb79RNr!?FLKZsh1E2pi3E#jCiWL| zOFc`@u4dDhonGn@p%(C_*ZKjji5&N#GfF5qcCP__1o8plZC)GV zp?%#viQt=Odr*xL85h74p=DJiuqQ1b*?JSBtx#nLPbz(%m5}4f*4(t#QODe}bMjXa z#z6{15oVMnD0114g!Zwnw<*NiPdbo~0ODK+$}EbXl5~>KcZixw-^$hSYg6s47D1zK z8X7zF@Hd>I350!|%cyvW?--P(m|=8v6&<7A!CAfzDTOw+tJ!VWu-G`#lr`Bmit>CkOE{Qx|%bkEm- zpERyLD1aE@YiRicJj!!O`h<5sMqy^*V}qK=j8O94-I*N& z>YLmtklWW_eqx8i_Pty2D24yGBFk~%M=TQ`Ss#xN9>@*_1C~fAis&K@cdVz8UceK+ zOg&nkoEIzp1TB4*hI&Pd z+{|pRlp?~nZHWAti^j)sZy!xa53dnY(U2Sxtn%?!cJ<(vEkt6~5Ss`{hdTyU_RFM& zN^|GSv&HL3Tbd5)Ya!PoOQqL~y}(E>jJf^n^(J!3F^Z3@XU!pj>W-B$Mn+L4A?;&_ z$r+@TamWK;wQHYqmGyfXb>LCjCZ{;UYJ4M$jtr&I{QDrR80*8l@ps1cxn3m9`b#FZ zX|mDMqA~$WjAlRS?N)6pF%IYa;xC3!~6Snq)uwW9I|u7 zoyXPJzepK?dGIr>yPD$Gdq_3PFBoXYVLv*_UU8EZ>Rszmqey{EeXfSg_i;PY34v0& z+Hlpf@crr%eg&X(Fr|5lGK4Ro#9HHp@vDEt659}|=63VOoWTgy$;C1cOE?Id#u=yT zgS&=(Bqr;EqWd0Ec&@XBdkdIuUAVWeq5AeMLkImx2Z@01J%R_JqQum5lSL zVp#iWKDC;_!>!ir?VMcpNn?(A`E7mo2ec~akUL~Y0VYnrR5Ppz*I^G|p&N>C!hs2o zY)C}{GYCDuF8TGLCaiKj_7}nEqp(A=Kt(}qaO_%PeK@k!#a=O@ch`5oPrM*7b7U3& zK%Z++o}X}~^veULp!dFgwHbu&E%W9j-Xw^kL8iwUIV!sIlJ9P&-c4Mfkbh0{q}CR> zzrNtohNjrRl48#M_iX<_KSC5Ywi=78&!>6#EtmXbAE=fhetn5om=)>TXan=Nw7arvZ+%d4W4V@M1Ykm->*%O2 zEip;ItV?NA`;K8+7iA=-u=7ZxvHSf6y2~kz(<-Nz{DHs)d`nYCO#2u|3 zma2qx&}NE~iBx`LX2l%pz$es9BWh6k?r}<4$#me^$EZr5;CP!>WEg?DwNC8*gt1R` zmU2~JSOu};R|C?{zP>ktzM%4Wxk=b1D?%Es!N|jkIHa!;#G5REW!rd;N2c1)!r(CP zu>s=77`i*PKG?m?xyMIx$m^Vk3vnqE(A;Dd)l|~i0)kZ&jj5SRn9L0i3(^NMU2U;u zTdCg$@889fj_JAgV?H71;kZaxMRT0B{DVRBIUVGAzCGH*f$>xEMD_&=q4-uEx{4ia zFWczdP1skWwcR0uo{MGx(+9veDLVdq?;3=3wWJRzAyXchcK3um-_tCC3=TG~=LxLh zhoT2L=w$+bd-rq&ZrsD;?|`|njBk|uCEE0Hu6fAqX^@4?#$&B658u#%R(#!#f;B|Y z271gzs;`D3{eGDUXB#C1GAi)h>&tz33tq+{M0LcXR)jwN5ky?t*|!jal=5-vmJQWz zpLftRw{AKFdk_^UdWoiZ<}8`e{Zk<)9|nHYFS;yRz-P@c7GB909I8cUZTxny9{oMj z1(8Kn?c+ns^iLyBJRvii=>X4!ey^`rp<}=|H_DrLPOP|PLk=0kZy``ax!}G_0`Pw`($~dcP`{K(L0yNf#U2zA}y&hkHXaG80 zZzL<%6iKY$ARnBkWt^&YGmuS|u zF<|hBcb5f#V}sbvooP7Fy^sb3*YCCFXLMDf$eq@|RxJW<-^RpEU|CJ4xxcijU<|+i ztI*i*7J~g4_K|4!a_qCSA!uLH$}_!}QJIed22fD(CS_AO2g5<6u`)1B_lrN8X}%h? z&|jR+)~yk5`{~A{xx(8VJim2B4U#>PW*Q9=rKU2xEk8rSC>#5q9ZzliG37;p{?G4c zA7^`uosOKE+^9kO1~u#9SIrjJ87OJFnW~a}NqHz^->#L@k(h4!$S{r5h`a@Sa8AA- zv0Z9aF132tma@ho#|ZZWO0*SG$aKF&z8}Tz8(UP%Gb*+r_fE*PgMh65`jWCNgICITgQ&V9=?7 z<|&Ay&7L;f8xL}QSDZmZ2EQD~X1a2hu5t1U*K9AbfOv|adB9`DA@hhwTPx@PY-zp^ z6zrBXUE_X#cqE}fp?8eb$F%R(2LsGslq5Ir&8XkIo&rJ6uk^IM^(G3s@-iH54Z zJPQ^>ztN^#8>st?=m_C`AZCeVeNy_!x9u>_NG=kYNU;p2|JZ2MzZ+UFw|VSTx|Tyx zNRjh2bJF6ja`fqg%_$vP6OsXEys9eu?_QEH&-hpd2)tiEl;$ zIlYJC?@vN+wFZ_|Rgo|Jj|NF%4YEDmOvZX&@i#lqLjWis;1E{rnlmG*J?~uCvwY;m zmu-+)aztt6w@&tugku1#5%%eq-Ust890gufKjRjYy(`uxcRp?2=e4`8AcFL1N4Zvk z)~|_;6Jd2r&*{W|o!Qcz|3Ho}@yWFP>Lm2pBt)b4=Y?2vG7i_IwV(L`c8df$c)xV1 zgPYoRwQ0e~p3{p|o?tS{{Ckxi1&vSEoF(NY*D5u;>%EoM&>0%?!2fWN&5ge|_t=ee zpF|xyjGf=j_3apx4HMh^>rjo0q-RlzsZ{!xHl{}F`3vLY+<>VE+%)|>Grq$FZ0y;Cnha>)NhDL&&I!~E2_=#Dlcj5B$mdJQA*?jt# z&e!dog`{cvK#Du{iYO|0i;phzCRfced9E@eTT}m#hS#OCc*F)ZbxmbbE1%Q4)ME$# z`^}lMQDR%7st0kOB&F!*m?`kkTsVmsO25aU!xxpR#xgD2s@41o8|{Q{M#h`Tww~V+ z!9urWNmp%NpqZ=>7BF%O>DRd2+3rh-3h5KB8l;uv8)fFFW;0W-3dxK3wpA2;$8g!} zriBiy9c-;pnrkG7ms}57opMKW?dHr{26sgTn|*1Vu5!p`B4_v&)QBC zxx9>SnhfvWnLn564f~7i`EoQ_moDVj^9oJoXj-a)L>B{sJs1b}JLDGWW1;$Q()Xk) zF3W;*TAw1edPBdRDcqwOl_T5dZVg(hl_h2e7aoK$2qc0p`$M)$B_gH!7qcq7hCiqf@J9La8eIbz=5O=Ak%F7eC@@w_Wmks76Q_3@VPmI$Ci)`6*&3*|q!57vuUyGPJ zNcvswa<>40hQ@c_qB?O@U^zn~ATiB-LF^c<2KV3vf@Ln?*u~kiziv+YxRYW~nfLc3 zu<_wj;R|eweX2t1g($EqD*)$ds8TW?JgGIiy-G%XMGRG7?fK09Cq4fy24Gp>EU@{UqXaD;7^jYi|5gI6c+l;X1$+xMD& za(@|`R9cAIBxWu8J0AU+8pKAWnbw+o_-PaOU#HD&lLiIbm!MT;Vo3=PhZ_P4k|mCac^?jI;^c!}rW6Kh@XK zCceje?Vcm_@ka|T37uzt`G078%djffb^V(zK}u-}kxpp@2`OoiZjc&u3esKDE#2KM z4We`-5`uJ>Gy{qE9?rSeUV9#UAN&91{lGltRCF?)=dSC#&+B)Re3IPD*jW_=SnW^s za`5nxgXmnDg^Wewgq;qDm>NGZr73Z1WUTnbO+Zd*`Uxy1YdOa@zCtT}aug9;5Qmul z#}m1md}_`NdfY%Y9Oz02g$ts_R#3*rH)7X`>N(}YaV+pWDHgO1kD10Ss#UzJjuY*4 zF$qogle={h)|~~N!5|@Vo;!MHR&;ZE&Z6xxU~$f)3X8~C^5FiDxIQYY`ar$Yp!GgS z;4`-(P@vCy7B2Jd;TetkomR;i&Bh?J?=^aFBmADqix=1LlY~?B!mvDiV;Q)yM0Bnb zO*&826f7q_u*n9SS<6O8$sS;@5z)uv0rIE@)GMoVtC;p!wV&6N$j^5&y~C1jy?!+~ z&z#~ZM2k{3G{gF}^5_E-w5#!1L-n#dr1}?wgL#aO3F>c)ZuHmw^vr_B!a0V&qA`!! zQ~x91F@{_Fb0zfEi7~%Kcii9{wI72+f6%iW{8#Qn_wxHvTVJLp_!PPwG!D?*>01wCMVf?b5eklvs#|HE(G zWSnAhaPg69Rhff6BCCHAC(G7;26}MCve5+qO9t75YaHhz?gns^JcSp1*bDeWtKeoG zPar}T-({S4KU>OIkcLJPoMFTNfNuH z#pSfvYexm-ps}=H<2KoLa8VroavtagQIcXZ;tWeOs+NyVP8@Beu*eKdwbXd7+`c}x zJ5bFai2>I#xEcWz6ob%TAR?d#Z5bBfcA9m6vjtez!j33hFrLqN=iSV`HvG+P=lx~u z#0?Bn27~6@cVXYaZCqw_cV27U?;6|<`9NWT1lc!R_cvK8cL6@XuhCzSV|7Ga~w>qpZ|z#|epT>w-TpDT(x)FD_J(bDhsB`a&uz@Hw= z)uRnzs&AerrJd2RQSX?>KS_*VDi-|&8qpW&PMMR`aRkmJLYe*WB44GvVn~1S?!$LT zpxS{+mcTezH+-$*Y3%h&Fs?SkcN?^>@x^`iXKNJlKQg)Wx;I;Q~A%xK{ng-J!#L91XfK36$SOb%1qT?U|)&qudE zk6@hKd+-2IPhEX3U47Pgz1KJq?|OW$usd&mbl&Q8p6ft_yifoyq(}(#UwGfFQQXh= z30=g3DB(PiBV2VmUv+!!i|x6LNO7}_3PT4Ofaty>fq=^nz*BV_^YDJx1$#ksJHPd=CxH%Z!j zY`E}!*J?(S6&V`ei3E~aF>y`z=^$7l3VmW*N036%;XDir*2L|G@QgTz${eIZCj@(4V4etY|`qRB!E{Rqn zIIVd?fGPrf`1{|Tb{{V0#=Mh24%r9{sL$(j$~zI0f}90_KK*0;ldmUm`Uiw=R7!+0iXxwj{5_a_2NPz3-pd{f`ld3&&F4x{x;LX(=>g6j9pQJzU~ z$^syezEqM~?uFgmNGFv9ENnbXqkUHmMo}6d27uzv(O6d#6t~JM^n=o%|IiPd9*}23^R*V16u9{fcwdAoD4iDtx(iuo>IEcjaREJO=IRgD_RqNT@hpTaklektfQ0miEWDeZ z9Gqfp8dg7>r?dQNJ3cSxuzj;ok)81gBC2Fs7|DW{$^pQx;i>#CBdDX_9QU$vL%oKC z7cPouMpLmz?1DaPWZ~&LPe|lLmVbI2(MV9UP;0b;)na(^1hBkQ4V)2dQERzQSn#-~ zxDEcOnH>_G5~tw`2KlkMvGK8GvAIyaB7oVRjDxYGwMZDigB0Qdll{t9OZ#VTN?D@a z#7*v$ZlpL1+vM;hoK|WWi57_kaTtkzSZdYyO)e+wANU`0+fNd!o(Z4oDEvA}?)1DP zz`{AG1hJY+=gp(a|9b^3ci~jJ>~KL)fhhrHHAJtM$zEIksp+q0Py6Jrz}M`5*Cyc% z^H)pA)l{3pf)gTaovv@2scTh!6y*+e3~Xp>`Sq-N{0byN%G?{Yg7Yad64v!DM33R; zFEC^Jgys4rWK-?O^6xsxGFVMV2{TS_%H<|L9fBsHWu|%#VJ4OOr6(een}iuq(fWc% zU<$7fgQ8NjUfO$8hsz+p9neo{={&aJmcYDB$sGZ|vcY0^%tDf))v?V5KJ@5Fbk1W2 zkWTM1t)>y11m;_n`&VM-0*GM|sUr|=X_D-A94ddxZnuu^R6=#eO8RwavkJ+R4V*a) zWK`-CvxmNW8qvk$PivTo6NFrN&T=lH#*Gg!7!|D30szij2X<^h`0A%z| zwU79LBiiv=tvgEsF+NM8%*;Y?5)L1*H1=|l3L&S=z~|x#n3SL&ONR?|C$gk!%}?so zuWXI;2!{fkIe1Fz<^V_!o{4kgE5{ z(77S~i`pY-=F!|2ceGZK!xu%%&))%&&)r{+Scyd-H)o!&$gs#0CNNlMsh~YI(3K;1 z+_Lzp3n z9$*6t8RA8g{uY<3wfLdJDBbWSMQT9650U`1nbZV{hb=wedgn9^ zA^I-2PHuvJU<{@LL%nmK2fbE+Yogqspe2jG=u?I`!px-n+IV0m1q@ zN0E4XR!A*Z|4oO(`cPr5t2F2Y@*-0`Nq%A|C|Iz&NF@B-6Z45Ky9{VJ>A+ZHhr|#Q81;>31U7M5i3ZMbDd*l3Zon)P7f*F1 zo5AJ-9U2&;ziowd%_6M-YknucJI|-3va1!04IlQ_tC$V@VO$0wUCP>kCaC;__Vw2scxG<>;_`VVIq>G8h*%E#fEQH zH%4f!L@wMmL?0?NoT{k-nzwyPpR)girRmOk?%#UDBt>fZQ{OfTCLg^n3MoX@fyuby zMBylxDS6)5cTg5O29jp&yKPB4kSes43qQ%RlnceT*oe+cDN88;Q9q{8Jp^B7n-e|r zpSd>PT83AxkUR1DbqNysIxq{g!S9+`&{~>V0Per}1deB{nfFB=04RG;SXd)ZgDnD# zYbRAw&ouk@8~lshOXC&%GgRY2BW;Nk`)3Xh9^RsBE7-(Euu>UiEs?5qq4LE??E+Bu ze-mJ_u6P|6o?4B6y?mu5?F|T!?=jvu`n_qe&KvT+Lm21ZRAK3E?Hz9B2!{IUO#~@L%sX&^icN{l+F;R6$pR^p!~1nvx8-&d zuSaR2TKf5F;1M=Ko|(JB{tThTfdOHEczvCBI1Fg(0&-E~QWAX#v5a=YM=PB$$W^vd z8(d_66SU3q4qkv#>Ps?#(Oxr3v$fN0DQa|G6NLGx5&UrMT153-6)KTSi>3|r(uYI; zrGH;Ke0_wqi^tdHTZF3;=jI1h+x~M1@VAZN<4HPGbSb_zWsW-s$(H9z1>(ISR0WJ0v?Zk%%{yb=RaB8&wZtQlJDQ5fzs+$eV1FgZVZmb&z;F{+Tw3 zw6@o2H_Y>D8hYTnt_VgnAk%CwM2}wn`uJj|yvqN^vWg1`eFCep;eSwy!>WR#KXVg5 z4m+dwf*N-ylm*`L1^EjfDNd{wz^$wMb0-*XH!&}(U=?-zeFXlWCDnI>5rNeQ1K^;U zmHW5ASZ3heppmM6_!B18!JsQA>r_pO6A{=zzroe{r+(9SB?l}04_L)*iZt9{=^FBe z|4oOIgYlLXCusYp**fQ$NR= z&e&;1=kIw@+ z)`!u)JOY+$@X7pjZ%@kFC+i(A4@22l{v@!{VK;k$hDmzk&WKsOf0V<*z2+^TDuB3B zSqiidwqC(112NQj@S3mOUlBW+A-%-_jho<8h*o+-r}Ztgn>}1%s|t)*5+AZ4B*FRr z%X7%eC8ijhWutCH>fd?4ee-05Ya6g1hZUgF$0^`)5o=yAbY7wA1eR`+*7c7W@@LG+ z$NW#j?UGMnf-gU>9$`PJs^V^ob$K~rSnrny>=7i{NBuuOiEf{I25nNNm)L)9o1*!P z65|+t9~m^jA7GE&kjh&b3N?}c$4$gPe_TpJ$bYD*{~E&K5PaRxOW1$S?2!$FK-CbU`|h8|4gaJ%S0Q zjvAE<3;!It|MfS=4U3l&rG=c@exU8$H0`zIz5=57J}+I>M-){589$Ap zY@L^uKf%0$e5h?-CssDPoo=K46G;m=F@LQ?0Dk`=F%x$0NLL4V<2S#6hpyLiC}0Ur z&cHcw#gbB3r}4qvBy3#(O&+2)Ye1qgzGraCe@p^|^WL=skSro@M)(Hi5OD+B(nka= z0+Jj3-_O0T&vwT5HGy8Afh^LcgH(w^evh}A9gZL;heg{N?2zb$*~r^77fXfqz!)p? z@qVfzzFZ5RmdJF6Yz)e_tot|G0B}2jz5dB#Cp1Dtwe#-0s?{DAN%2q^Bzn?OA(|K` z=x(5`o1i^285nroZ`-m%TlZY_l_ZMfE0q3T@B2%iEK5fYJdWBL7w7%joXc-_Rr z?3q!&iLvRci@nafz5KVn>6l71h}4|abYhfrO!&31!uikl87G+-`_@NTM}RN6XLQuC z{~_$Z#w#m0*208^brWA}%(i_~HV-IVpjB1-MFE=^1I%3wP2Um>c})E3ZW@+V zhb5QZ3UjdREWpdvlvnaqlyf7{kSC>0#p$1vJl%%lAQ7;{cs>3QA?b&Tiks(@{bBstgsy##+rXZAu^6-kc$}g&_Q{1qIqaZgx)xe!$ zqiDiW!h5N+<%=1L$8-8kjFV@KlA_v!VJubAjet*)&?=fPqGX3v}oH%Ud3UhnR0=aCeeC zFx%f7*R*KggH>qN@rv45c2cqhq}ag%C7x=CQOb&CBR#X(Xyp=VLFxbDeK6yF&_i*@ zF8u?R6D#A`Fu=rR)C+Q_#DJvnQ#5yzslH7DKi|rixxzF20#qXt5#V3I&U8W$seACa z>iySfEK0q+8^Efrq$-ZacsIk34Ae4}$SzwGrxVr2U95oGas(Fy0UotDM_&7Vz6P8? zTl+26Ib8dC#>+PW z`J5Y^5O&+St9X@HZsGCdR`C6wBR_A)9aAgXaHX!J0A5m95Y2w5L1SEZJt11H=ges&y{c2^xq)gF=uhU_11gx#eZR<3EH^u;<`5WP=*(u9$@F!HBOP5|0{+`;n30q1& zz~e9NG~T^VJRno{1 z<_;5f5i{5h5(4>*T^D_;*P~@b4JwyvID8YI6p*O@eBG@8ZSU0(8pVQLBu(i5br6}9 zOD3>_`F)>rOdT+gG!EKK{Co<`JbD@|%RJ0jNxc1J?H5#vm>lXo_dTn9?I#}q2E`*X z5&q-5LY)=O7&?NaYHA@av^cwk3yr7781TQwYu7+WP#5dC=TmJg-G+fW0^-yo+4*sj z4M6z9lSfZA@n56dNI(AYhqu*sfuC-g-ba@oW zVFuH(xkXHOz=;bj%5oFof+2MxJK~l@NcN9VXpp)C_7T-?$NZWhd?B!YLs{ zsN~ui?pGg1v!Dya=|Ivsz*`MkwBp*sJ42j#<=gZ>T7gN zX0@Wm)&~!{MlBH3z^h1e0J&&w?xaO=@bP?x`~yOGV_a*MHiq)A%!i;r+4sui!)@M!13f!GW{`a`uAx4vC)1o>b-| z;zOj^(y-T$jTn2z)*3(Poz6Y8N1D!u*z|V`rTtL;#%Aii6PN&3a<`|zcs z-!2s&8d`#g5all?+d}G6YPtX5?c6&#?xFm`^yKlE8>keXG5oC1_?k!C zUkg-IEsb5VSth>zeed>ofR$sG;r?F~*NJyWmnZL>UoO#m06wjkDY#!fAtNKmV#p@6 z#Bm3V56^P06`Z}xKGrKoBn~TWOOlxH?-@9{wSIXm53qS0!!?rl#RUzeCav>ZkI4N< zQy)TuHb3RYaKg;sf$aOmzVK!IK4|x4aLeIwed^=H=$md$WFC1|@w831;6nE!zn&K} z3YI68kJbj0uF|XS(}g@+#{)Nh*mW-2(>BMY!e*3H?j`x03N*g?=7Yu`kKT4hUZjrZ zcrdLziEXwH@_e~8|KRgv)w8;7B8H|HCgv?1%e}lf-`Nyw#!l;_)jV&5ZS*?vM-ubSHWQ zrs;l}1>&FD&7u&nd5=?aCsMb*{HfSr27rPa;&rhm#cyrCe`?Ssm3r8v7|mEH#^0B$ zRp}O)SWLXGe_#ItUUGQdCu)vylHYsKdb7xRIgks^l&l64Lz*5=e5GRsZbvP3Sfwx+ zY+($moc@N@qv-$7rIRe|(7Ck(JJf+-!~dv3)NK#{u6hBig3#PS$|RfnV&>Fhgrp%Q zHyQg6UC^|rzJ|J^9!+P=;tHYkcy|) z8qLq*8fXVrY;k$|E;RUQxRdWEELnN(86Yrr+os&0i6h$EOK!4W{rM!Y+7c|B(`}%x z9Dii$F~FJo`MS(a%99FQV6(u3RMSXcWY(^ev?&DJ@gIKG96JyUL8M2(8u! zv*6e?qyi4~qii}e_gE~3vwbr7!EbNxW}i@G(b#3|m_TVst%3IJE34lSGNfoVBjqGQ zbkI7Pb?(V4CvD}rvk@==I)kz5f*D$_-bdXVnK<8k3VCW z#!CCE$>94pSg)$ByhSuyM!7YeZr@@J`ErfsB`>WMKlS7=9u(UOFW`o~UaJqialFf$ zPCi|Qs`{_kmZBYKI^of#m+nZ@thQ^Tw=(^l#-tvWlf#(bFcLQDMUB4L71}TK@M)U; z1Z;Tm{?z#wA-!VDmZSC{$QbeScKZ>tDo=HsV*JOO5r4oUPOIKg&Yi#b6Ei(I=>;jt z3&(~Zj^3Ts6$6JY;Lsb9W1yOP;F#^0ZSC939(7JKN=yNNm+GYbnfpna`S^RZ5N`z! zD7+EF*bd%X3O*IC16F^1CZ9ST=XOU#a6av#e@OzHKR}`znQ0IPcHz{3iC#c&_xxeg zr0o8WVeXj===tNusxyfZ~?Ap0`okXukMPq1$*@mvbs^2U#LautwzF z2LI#MH6~b8vyw=miKM5kv%U=k_{|bd%E!Rgis*_My{oCUiTZ1f6T|8%Faxi!X7K~M z&)O76(sv*qWc1lhNYmY%hWp_&(>-o>%*Py&{={U^`L z^Eb_BfLSu!RcciA6!%NLwrWl9j0BZd%blfgbUTu8-t9dGjmX3d{xAjP{aFkoahkvSesJDW%+L9=l zQbqHnxHn`l!D_T5$2Yo5xk3A@p*JGGz>6Xv%NS~sjH24V7PD(T;Bl{537B>LRMF4B zi0oq_|92&*haeDe0;kYISbmp2^8=7dc-w`DO)pkx z{R{CaB8!pgoCu+Tf9niPF#Z~{d|2RI3+Zh%U2qzE$sV>v0zUD~G%#_KEgwsN*rYP8 zIF@S076LF8Y2 z?z_?~G2&SLehc%U!=9lRpFf?HK5oBBv+E$wiZF>$AJc7Rn^&!1JdGagq~E@DkO0Mlgz z8%-808Ni@Tk}vmc22(k6N^Fa*0(LZBD1^*1Hc5Dd!!Af#EJba_TG`X58Ql-o+ypc} zE>~Z*NDZJKf6~5d+a-%9Ccdbd41A&y*Bx~=juy0D(YeGbPwB*Mr+2BW-G`kmDoM}6 zRUMZl!FF%ft)5&hP1MlVo5d=W7s5QR2MPt#phmMo0r`nvFh6N$@g9_=J@q|=s80r~ zbraQPLB{2v*8d>yMaor9)|9?CT*aO)*iIS)D?AFt35oX;?yuw~W^wfFMq969+AU`S zepI`AxT`ZPcJsGHiVR;~UvskA3ynf5n1fIXb}%cvsW>Rg(zT(EbjF@RRMZ4%XM#XNI3J0`E&uHMI!leXdVMwK6;(djOb?vbKxRB2{%E{u92JbQssCZSm=^2i722JyS?-nK77{?)1MqYj#$NU>qbDkx#m$-!Rm^#kox z>}9?69^Y6g1I2`kz_}<}R6YAQ3DDeVnCGf;!!cb3g$-2dk2@b2id8p*vhD1owVzVC zlDu&;RmbhbqIF@ZKR(dnPTX2-ZNb&a+!6gLA3crZ;oyZS{M-+Amt`qdbKGq?i$*eA z{|Y0vzRzY?4>ObpS2zf~=&-+{59(*jNzP=urhNakCTLOrDvVE8GBbpj6Kg4y#uhDZ zDu`;KeM5!aw+cJrv40=Y18Y?*gp2_ZQ}&rG+I{CI?fOE7wPz$ubrMf4Ml;ZaEv+;%iC(E#4`N&O&$LR zPFg(IC=^okW;9#!atx2cLB?mJhYjnXl~PW5mEN0 z;60vYf>wfbl^gp`0f%pjzLUMGaUjRA8yloW6|`8S#0n7i4HD0Vs}Jyu9AQy%=IGoD z$n~GHD}XbZ?>%|JLMA)2+yyqLAmGf9(Zx%7F_REK^Lk3TD)e^U1%rmy0<;uG)* z#;-h2vNaq${5WaNDw-Z!Mg9f84A-|Q$1B5eI9I%pkt@@0GO!$nPh3Ev4!v;kdH9e1 zi+2h2z2@oP6ua>2jVSU7DJ9Z=Yays;*WL8k2-6CV3tYW09w4_T5GuBpTYBqfc|~s{ zAsK`JDk!1Q0uuiNjo+F z4x8%=vUxmA6ElTj%`%0n{n-5oKB`m>MGaAgI539Wa?RIsbCva#%ArUMB@TT*POUQM zlCvnHC^5~9U8$4EcmEBr!}$H|#{Naj@mWR)M)uLn(((P5NT7R;vaqm!QqzG2n&F(C z3mhur1diI`CrR_$+&{TyvM-03`$l9k@ws!0L@KSd2W+{&4KpKh!Br&5&UnE3$(O3_ zuDI0aBtENr!>?9ZXoEq~fv-h2GkQbM4Wwb~oR>DVx+s-8yzym>6@NcJm01|jDHt**g_Oi*?vW4lszVu~#566`@qPk8%6rm?b>=mJ>ApJts9caC4sHQ{% zsjQMSiNJaB67`sU%EAzA#ZvFqMjG{Tz(AzAdm{+*Ymz8xNWE0+s(C^mO~#rqJ5fuM z8hLJNuWD5L;?R=olobbHVmwv39dLyF1^jl{wW1lxxYbkG)Pzi49PhSMr9UdLl9^&R ze8NY$?YO=5C}Mxw6Ar(_NR+7IfiEIXoQqDyXWGF@?=&`DmD~(Hso9+exjPS=JHU#4e7TkE=pOr;r8SsDYP|R zBQ#4mlBg7tmkwx>Z9reE_C@r?6!E!LwMP~+f|wsse3XQEGJt`9qKlLf`m z3cU5B+Kw7AnjMK4tkzhGs5iLAF4d5hbl@i%nx2>^dx0`ifD~XAKG7&m>otcMGKA`Y z-v7l1sS!z@anYMgnp&uH2Ez7#YTf~pdecvH)NG=Ik*7)@PDxft-Ab~lTXAY4S^7t$_ z5S_jDeBmIKEqxSRG2j%>7ht$PBxA12R$WvuKE(`xP6+AY?Az{<)xV8Ie%il}|5Unb zF~%2pm1NAVXc+a*m#TXCleynWRF=`-;_~r{HbN1Jju5#x!`Q^vB5A1~JhEKgwqZGs z>m|{X_MM3MP>fCC(t+vI>dRt8@NS#kaubUm)BrL4xeO-j+&a=OTtVj+)y^joD{o1pmA=R@L)*hmk|c3Vmf&|*Lc2LfsiBf{H=we zo(%P9Y?FLAQ$xuFY48k>RCk90h7Ek~`| z=*OM}oB4h;zafM1l!Cp!TkwHyRp`rGJ35)gH1-@r=GBgKvDh|g!SD;XDaodDuB)VK z=>ywB>7}Ey6V);FB0YYL@l4d+vDotR(2ke5I0d&fUGN{{+RmeGUq84>H7x%&KE$>{ zr}0#bbvh~m5wFqn?6L*Y@j%Dl#WKLs1p3Yp)$#u<&)3a0NM;R7l9H~G zp`1lTOSN+mf?UXUhRYqb9{sYKEgpXr%{8Q&zZp%gGPA$H7-4!hyFuJMV_k=BAX4_- z`+Ol1p{Bv_rCzT5m$75Un2b0LM(K7})<2a{i_;PBo{3J3fYd7aUat{TxW7&#G|1?vid;wTB6C}8+4dp!81kub)`T|+7jpU}BQnHLq_m&^T>;4@ z3K`ekx5eHW63Ja+lO7lhf&^5z%vu}cn%!Mbx{DaNb+*Dq&QA7~RDwJ)uYWV0wSchr zZ|0`B5p6Wf!G2?I(Lp>(nYTbTa=0RheAz9zLd29$mS)cPprgvO03OM3k8FPjwprpS zC0g{U*3Iz8Z*;-&(q|NGn(@rG*XpWx1Xn(QcQ+uhErrQ z4E%!jho9CS?z6k5mHGx}@h;f+0E0Xc?$WkD9J+6{|YAHBZ z^by<%s<`w8RP<9{${E-|(phF6eNN((i7t0UxTp-*CmWGsOH@Bd55=&?zLm|xgQ+K0 z{pExvFaCrrb~zUsT4$~>UttW#LTeN5#?Rh(I+L#jrcSa(aPW-52@74R*go^&E0jk{ z(t)o_;DEnV$~Ag~;MfBd?Y=_R#;Npx1qie;i~{)`yO_$ zg#N}+_)d3)NbDMk_Y>jz;^^i~6t~YZ-#--Xkdq}_d$vnOA-nC5nRJCyYRH#__^>A^ zctjIN{W+^q6pawgga_zgDh^hr%+p%sM7{{N-NTbS>Au7~5J`}Arqw9pF7RaTx^4s#D9Qr8n2$x-; zW*?Q01F_8aR7*R&37oXhybHxgvxt=JN^l~Ljy=?#b4B%QPW(=O6+~dYYU~cZgQK^; z4UJ(~L(@qO79ag%dba0Q8k;M0p8WE#9$9T@RA+gA38pZUtz)NK+b zDrD2=!^<;leI@$x?Wh4lAk4OFu1~I3X2VgOsS;rPs|w^#K)NQID|V`(s`-R`P%brt_fr@j0HyD_9xqw9}cE6 zvcW412G;mF^(qpfp1atqN?9PgAM`oB-6PS;Sm2b*EUfa}U=kAeK5GDW1G|aQsT74Q z4E#^RPl0eUluWkyoi&rp!jx?#bM$K~He0V%m|?7neIl;%?ZB%lS(| ztv1FSqRnf4H`3mL#I)9A>|atGvAFJhVT#S4Pz0w?W2R(Rq!r!c2sBmVgw>&-?~sXw z?l|{RqXLKVz_>NCrN6b|pgmBpVZGL(GhzyBHRU2DU0h+BXNF;lDbvq0&nnz2htXf5 z#m5~6DmSkK6yV>+!(Ma>zeT=!YeTCrbPDzcUB0f?&(KnM@7oYVB(U0x=%2>OE+uj< zG8o)5h_RY~>l*BX&dr6SM|CaNaaG0+VjT^a*7$9dcfZjbyj6iE-g6saxAX&t73}hm zAhUh)9rxu)nT8GG^dqeG1q2XwG>-Jy1GRqzqtW>6bJ<)WFgFvXj|I?S`&?oC&ZHMj zyiug)w?Nxgo7d1<0ycO0$HKb_oYs#Gzc@fmg0V$L-w-1AbR_u0oiRcUE4&huREZ%c zYYqi5FUNz|Pgx}p-IheiZt!c>132zjxza(BNzkK_PF+)c(^tug4Oy8} zaFK6?x|%d33Co)0`3kB+K6B9V^9VT#zRO;JtZVmkX*Q zYW6#xW>()T^XY}AW=WorAx#X~W*?dKqOfqlcrW7gO3#Pb8pyb^%Ue5?Zg`+A??K?G ze1Z~77sFC{GzuY_r%!ucSMp?HXv!{O!aF{MzuERXc_uN%BtM}MrAD{94Od{`==QN> zo>%M(#h+)RYu}CRf{KSmjZn|wixFR@OXZP`HL#@z+W+9bPq5n4qT_pEJ(Nx)fVr}g zu1<#7#-hE=Q{YG^SCCRq!ew!OAKC;?;>Tby8<;+>KRnY7aLUR>@5kV`4SZla0Ixc| zj^%(Bs7yUkAN$`1($&4)(c)VcfzrBz#>nSX;)BvSuOBfy^ApDv*QLy*$9M{#FOJ?U z@>hSU)`awz2g*3bjLQ8a*Ce7JDEzJ0Fn{8j=^9-zoBy1N(|$tJk(u>lkRX zNE5ypOFi0m)fm&_Hk;mUNVUC#_A^FntyMfPv;1DHW_7S=<(i3nQkd^vfp0w`!ub8e zNyiGfal8a8savemkHOeVwW>Q6?er-6?2`@8=Bv;}rQpo)kV3lt0;K(x{ecs0m0T{C zoonf4actIHX`isDGpUu(O+v;B>%?p3$dT7d@hIjwR`+qT>{gSi5vA{m&5HJpHdFgYjtt>Hrw*f>N;EW)S9?DxS4xu z^srornYLX=c;_jqTM!|;skShRol0io?#gG1iMEpo6%M`9Z>}@S1Nq7rmN>r#>9DvN zn@vbeaRMFj>~1H`b>`HXNl@J})s45bDD4JCurWca14@r{6Em0P>Re9}xidqxmHzrd zqhr3+blH6ZK@l}Zu_wO)tI%8CN3++h2t?j5HbF?|r}rYa?_OJIPoBp+hLP)v$KT;S z+2NP^@Vq>+!FFS=f``&W9A8E+S$q6C(wmB~Ld2zI+wH6A_eXUnp^~f&53iy=S7n#x zKht*SLu^8x3!o->+y1_l&bE?dQ6h1NK_=Uw$1leMJBl)Z#Jv(9{q}gAGDMJ4l2|xpqsNF;ELMf>C)*un^SjDtL*h7515{HBj`_y+wBW@bK<|-pvzE~ zA-cB71J}AKp`e1ANUc|5hixMEZkuePew@myV0|RyXDVa@TetmPBk6GJTXph@aVHg%l1W#&XpR=P^HRA} zrNyL|e7OwFZ0uYba!Lh9uiJ&tm)UoTDM{ofTQ%9l)>xj1hL(`{+*DGaD39s12j!CD z+Dwz71kZ>>z#a!yF={3)n>R;s+y1@*_v6&3^QCb`b>?H46^jPYZ%v+}FO)5GUdnjg zh_&m9pQ?P%l{rSxcRt+5AMl@Pib~8?!zR27E$mxgLvzd7dWB*!S#B=Gc67%VXG#A~ zH)({6F`+H~{hlkAUg7LtBPU7z?~yalRXj19IP^2YzD9S7m#C{)_BV>*Oj~~mm1>l8 z#r1K0{(lXfgq(JS9uG9`?5(dtfD_Fj^N%NH+s0^Ov{?R*Y0S0(evXmPsPw6fH96F+^8?*FlM`wfb#YSsGJWo|Ln@Y{>mi$r7-#i}oh zn`)7dK@>n+*A=%JB|dpL=6Rbl5>;&g1nnm!W#m!t+*SN*PX_XdoAN#%xDT|j)_sJA zg0uLy`DCN-2Y)o$Go5S{8$)7cd@prgwe#?H~7Cq{+&ES;!OE9Fg zEvs!CASs$`a0+(%13Q9Nu>qNA?ru+5djF@9MT~6tyYExRdb*di`+g+{2WW0z z$B4-sj3zL<>b89A&968Ao?kAQdwi%XT_C_1O0=XL%*_?cQn25RThY{_@WS6;sWkHq z?iuNAZTE4|o+)HrRx0L9pM$7`i-h65n1=9? zCiW$lyhPq3Q4?e8&JRZ7R(+oucpNl<<>K;i@r{g_U4gR3q7sVfivw?7T4opFbBwL{ z;w__w|jor9F|tU>z0j*O;ewnV`?j-K{pFjn5{Bics-HMwsrS02 z=(vJ!Fb{0W9+BY`w9!v1QlyO=%BBQu9!6spz8nuooDJyAV@E0Y!bqGQ@$+SFJny!s zzDX+alZlTMPdJLMyn5pIDY3>BiXp|HgBC%edhufR;lF_l92L#8vrM~(VGJ4z7 zjR>-T7&S7BGTKC=WyiNt1-ZASr|)tj{KdRHE#6D+x-Iy`B+Cy}J&7NW|M`OOyP{pj zkf%74Lu`ceYImLZ*Ph%aL@F5Sa*6Y2DtI^M1lKEe+Mc-oKlT8_` zQhdX?SyYavR~@;g{`7^r)#!r{MO&Qv%i9UuNW|{d2$vD=Oh4w~HzOpJ*_-jxWj?Ic z#(fW2&sDAzYCpQoRl*lOZ%@zHkG8IGlP|%F^{WeR-F>>+mT$Q`Nbg80wcHr4=u$9UCc-&o+1!6Akdvax!(n>Z(iS|tC z;(;mW4>zRT?6IRkb(;SsH){*PLD6=GX_+H%TV}^1p;-1Y+&cj^gzkU| zY2&n7@7tUi&Vwo^O#d0{jS}U$L|KuNrcE-mz!#G3ny<(72gmFCZh6Th`Jo33%_><2 zyYKW^e@*46w!c9ymP<5F8n5E6+Ue>JK%KIXK6pMS__*cUQ7->$^{nr3Z{-=rzUh-b zknmH#^+QCZXHift7%w>G3Qu^IJZYQ|1(8hNMr}>1k>fFy&y<;{Q?evklR%pc$h43n^iH`-blZhs=u7XUj7rtZo`?39aUT`bR;$%~1nFUt=**8~ zUR@sIR=6Wc0R%BqIO0nw`U|uKNOeh$^!WW7&xTb#$D1n$R$R)Y2=@ds-T#lcH;;$9 zZQsZ3OSUX!$x?}Ik!6yyrpT6^$d)Arg%HM030blZ3S%2v$P%(EOZGjL?CXr|GiVro z*K|M6bKjq5f1c0h_xk?VD_-V3*ZaE8>paf$IF9pb(@foVw{ZD;IQ>JmQ5y|XsoaLS zNa2DD9}4yJ9mXbQLl2@T_;$hYulH?BP0nvXI>B4fH2dRI9Ir>LhUcl5=O~0CtVZ3Z zpoIxf+YuUUX7VUC?GHVCS11;lGxu-axKDLnB;-lsT+?^@(CY8HvGEi4i+4;;r>}${ za&r~ZcBkZS;4Qybgz~0w?5;D$tC7MS%?SS(TXj1(C?)YTDv`3>|KJI|-l$Hjv8!M? ztvYfN;$O>Ho1#XGgtLCTbg#MrcmvEby7HepYX^ituD#gZ=RHmDb^#*SYJw33nPTe z;HC0Rnene=&_E>^xvEdLGXm>Vr7LW_n0wT&74TxYglP)RlWPRHKDxz)SErcU_BwCah6t%qjJdkb+A5zw z4O57f*Fh-wzD^jrybkA*rP;c~#`d&*Q=vTfd%f4jhsoBSSL-h{COa$Ysi}$r-Xuv40VaUv>1sO{lw&$&13yZv^;!@%@Wrw zYkqU1fwPC?YY@2q6>ilVDBM~-whV&gmb`Dy$TlpC`MiohD1vlR8?zQ#<+#eoqgTwR642C#yp7TT~bkvRzcTqo0cR2WYoYV!i z4L?q%N?G1eV=%xKLaiB#`HOi*ik25H*_lQvk!jidin2`}Hxtg~dL4bRQss~umAW$* zzX zt#0giF8oV(7e93Ajja4!e9NoE_?wHUb?Lem%5=7jNRF6|Y?wu}Cw0=QT9yFy9hsG` z{o5Bmj+}o>*;S@~CIHE2ioIbiH=_3aV|V*x5hadSd?Hncfii)#sAdYnx3HMH>o%Yg zGbGuLFe~9M%hY|tQUWXRd-H)t4=y2KclkJ!*VM=|1UkeVWrsA}Fi4W0=oS@ANdedu zGD5(v5`%D8WpZCuhKpF422`t<$o8U*iaS^BS%hyDb1(6lMw(k( z7AKXXa6;~gyp*;>h|Pvc@b5@9GCt`;j;4A2rND4CbIn+V$XeR$ebcYvOCe{WVEe%E zg|K&MfTsI_zPF`N!#;7HGU!EW`BbM^lt(Or>0~T}w9O#AI$*5qP+w}0655nQtEC~` zoi#-~qM}ZMZa~rlJ~jc-k*_v3)6&)DRbx-I^$BYU)W1X)lq$`QYzwp2~NW!7tiA@8thea z&u7Gl#z`()+^IW|UKEFwKzSa1NII$~7J7ekMxUNUh_8QcfBsRyk!-BPdP9sI=4SIb zV#1TsboYogo0U-5V!Yp*?cu{73NTtH(IpXue;>G#q$}7{_JX;SH!B zvdMm)MQ+hixRM4vu?rco4t!MWXG)A>YXr6L{dY@P-1(|c|Hm*6+C8Fo$fV_S!f9-L z0eWJ@qM5;)*g&r=GuGkE+0VSQGbHo%`(8sHZ|*0{EasA!wO$HQEyWq)Mbif0+c>`m zC*6@|uay%L9B{n4NmmXvHLB3h+CU0P*6N=#hTg)lx2q2oJ^vY=Yz=4C>{X0yO+(4j zENHQ>Xw+s!b;)YEJT&3O+adYO@~bL^zKiwQy+Db`M*g&wMGC@TH|Fnm3$m zzeS|EpW#L!GfhL_GhS_188YlJUTXh$!%7Xl?$@p}ij{tq|0NGA$up#Wc@29I#Hz@L z#r*_o^g}s&P+e(f&e$Z2XykPb*)pcmvjDz|W@y#SBVq?m1@DC-g=5|{QBM{dmZ$AV zy)ELH(~D7=|kVqT39~Xu=c2!BE){CHyI4vmu|;IveL|pG*ABDfy4r z5Oz=!5&O^12vIrxy%!AdI-6+hXudrcnkVqk%|6Do&_X47Ca(DCFxCP0l6EED8to2= zrK%lmzHP`C_R@G??{8M{zX;QhC(4|xPyVB0vSC@RG58+C(5BZd5L}~H7Gui1D)W%@ znn!rWw!W}Kr1rq2nIG93leG;thXn;g#^c>ai`i~60SMz%?xB!gH{q{Bozrjbdpy$6 z&cwN0(ow$0BW@>>oq0yVLc0VO=F*sf+P_#rT6bNfWmk&gHtiP(OpZ~#BzXO#XJ3E% zb;GhH`jFW)k9U-p%cHhtT0;qVU>h|1C$66mKq$~*Lj=p829)^pSut>4o#~AH;v}MR zMf;hk&uKPpV||OV%i5JczE)D^trXW)LxtHBl`@`eXUogw)+NS$mTHgPF<5C8=X7Z< z8pys!RGlxbXx(D*eoDQ&Tb5kPw2=)($`wjvYtR9oc^*GLk0mYfi9|qo9J=-I7B?m4 zH$pzp^roE+&=SfUU1cr%%z3MF=KLVgoZ9L{PRWrN7asx8BKtT({F;yMfacbDFJ!3U zEjl{wO!-S2Y&Rh73O?JpQVrpc{jyF$hAYL@KCTT~Z63z(D3pFm+9H*^-xa+!QR5y# zdjL`jM+imq`A=u*`AT4WRAe`md(CwuPD7f1RP@Af%XOb`k$0OT%d2~8O!75~g}qe% zd$>_!23NXLtpEPzeQtr01+JX8LexFCS-pe?DiejAFb<;+Y55~X*H*q%*u7|se3=ak zxrcDDVR=2)Q{_5pRknaovD@Iz+7HTjED?}zu2ZJ^wy8noBj+%CviKE^7wTbR;49ee zBx>l$4cve{hAct`Zg*o*YUkS=sZ2GbT8-|}da`LvJKt0*OY3_josTW*MIX5GZiZkJ ze2UgcKHd{mt=g9nlIOcWxdRZHdXm#{X#On~#5jLfwp~;dOQ<@((v-OQe%Su-NAi9r zaSMe+u=vjYWgE4hib!oF3KfjrKK3j$syjbxL1E^4piXl z3GYcW(%QOoXS$+z6k&T1uNNmgPYFA(-^ECGhICH*8)Gg-UY)^t|BV+V({&@ypJZsi zEU(4C--1Z;B@a6BuzaKAI`^VMsH^xctrn~SO~l6@?)H$4)SAsW5n1m} zlmCHto96WmV*Xb|>2bQeVKBLn?u-{kjTEbfol@WWTOl|vdy0dF&t`PD7$h~= zH@c-F{DVVoRc+_h@WErL_WWhp8@3I0qYMwhk&*IHUwQ4`j&U+eb&9ckeI#I zu02O)g)lYd`-|X}q*uQ8-Pw|gDL#DGzP=&PE?85$UbkxS5g{AR4OL&YiNs>Av=3A< z;im6-j;=ub)M0n*zw|41l2BL7lrYe94uz}P(mSdjr63JLU~+OUC#G^$dtYMDKfkmf zB>ujo!RXdVNbYh1*KO#SyK7c%#ADTm_(6TwOLA-960J?=wU-2Qh@z?Pwn#YMRn0(- zuA&0%GGMu;jT}vmBtrAAkoII)7)*~TcAUXlWjryT%BZ%bg4!CFhjIQv!n^RihB!id?u-#uMteG*cZS zH}oaNvI8C>6Ce8N*yL_aQYK>PKlxvxigB=UIHh?ogM6)|oqnyoVppk^bkr1{K8(@K zQac9nK3f;lY*ZiJ=&H|m%Oa*`^r8)-><)3I(A^%5+TV4^3XAeh-bsDp-^M+{p>UcxdbYqoYXn)< zBzp=AvjuSATK1663mK$D6BMSRQ>I1zg*`2 zGD+0ayM+&)!OS=f#2xa|)VyWjj9$uB9W^O%`>|Zr)9fem+WT%(QgiMJ4fbrNM)d5{ z36nq=G3x1J!9Bko)q^$=Jn{3}yyGfiOB% z+L@ZfKl$uNMHO1j5PM-QHcbclkg?6jbXY(2L9yMHn_7pXim$JT-H)!B7J<6n^#R>` zx(W~sThY06s=0zrX1-2jCb_YGM(I5e0+NybL~br)x@DP1=2FXk zg9;->zlsvqwl%7^_bvRcWovb)mOVEgVWz?q?G2rr<4w~Q=-!Vzh>?)GbfH9agip8v z7X)xg?RLrg>n87O?_m`KFFbhg6m~a_XVqN)hD8RH$Lk3F&0W`3HCah8^yhN;66_ON zK=&2nQs>Wyi2(;O!F( zytFL=-E+^{kKn%z?5vh7Ta4YmZhoZ|GGQYK9RuK%a_L% zmieza5vGYT^vVNAsAk~hzF*FBP;M``YT^=jFj1)6h_Y1V)4$Yp9E5-J=AwI#aO)Bu|nGdPUVL@e`~QimL>Inee!XS@734-`yai)_sQJvwLco*^76xUoN*z5!Glt-##Ld9WIvrm~OU&kpZLo)#vhQ5%!AiW^DGvCq<%a(jprgE_h4}QN)ann zA`*;zz;n_e<%ytiY5v92G}0n#GT?5>+c$BAETZbLN*NFC=VA|t=BA2rEEN22+HB>e zokF|4lV_s;01;NJ>QH?%12PgFIiqb2X3^n2UVQH7?Hh;i_Upd@ZRq)NmYrgZOf)_ZQ}{3z}| znE(};glQ&N(C{ab!IAF}=%H=h~=4 zA@5CrKm**}q_?Jlk$k^)z;*&|XX^VFFx)p~wIc4bJO)8&zg?^&V64~zOBuLHS!6pi z;M4D3bvtN>{rwYQ>qanlZlyu@0vXaTzh|(!X(4(fSXkd_vkwb!2-0;A=TFr4Y{04e z2kt&MdWQuRb!Qy?{Vj{-KaGe)8Nh@?`Lznkus9TthvOC?Mi{GJyx7Aj>;2Ls!9wL4 z$|h~@ATwmVA%uk2aG`sjPY(V~0wb!!JIupU{FF*-q<=2QR<-!YdknS>_Nd7IB1Y5K zk~}~&X>?_bSY3|yG?8XMg9Ul4T~H7_xY2j-(R5S#$4qX_g#cv2)~!ZvrI8Tmm}G*i zktwy@`V>4TF~4-kl6BKg-(oe@`i{u=jpImoSZiepeAY%Nj7t zI(4*L!#oR){M<=?I(YN0Q!}#agFFngl6lybc?ewnD-;^9`{Se*d5&gznt+p@KHX(w zH1(kPS@|oAphIg=n8qfRbP%*DY5Ja92}*1`&Oqwit>2(U^9GCcFTvqtPemD|rR}5D z;=8c{CjyGLcKwWa;~YH*mX@BEqR zf_(#u5;j2&vckvIaubvkui8OyeJ=}q{hh-1;4iMoP}B?(QJ3~GRp}{XG--C1`d*gEnQD9p3Fdx0%Wf_G;)3wKi z@-#|cXjZy_>qnAp%`!ax#2fqaZMcan<^*3}l*Nz|9bc=b4FBM~HN?8sCh_fH zx}8Lmt1`wd17{(t)t2bo-0CjnxY95mza&(6U;N~WdBVh*=L(0j;C|UC?`#TO8JxW+ zI~xHvf70F>`l9O)_~^L-1!y3)*wRj2x8i9KRpt>UpD?099y6$H%M2$>eLq5F9!2=S z`b4;o#hMQvH-KA7|H{K}md6#104?JI(N4lv{)Crg>A zzHIq)4(KW?+*sq1Vd42gZ=mchY8M;FCWH+#mfQG-{gg!Rl8`}JWUyA2|7l53fFw-* z)=q75kCQY*+hEajjf`Yaau@PVm%gCjd%;39 zm5nR4r&!;0$EReY4#~EGM>}4Gv|$Qcdd8(;YYEtDV8M~mlY@090?`2u5c2DR`m=Op zMqu{?Ytu`Z1uPT)!~S?}`e>~NOc^1}4{1O$1&@T8wu0d(xZI0!)U40~j%y&S*-@?c z^vHzO>5`O@C8q7VJ=f2DPV;(PQR@l5YDti>V+&B6ekH^&^G(1}RCKOQ4Q4J9ZbiRT{;!!p>2%)II^%YJSmSC%g8!XRvCY>ilquiN9ik ze50VYJ190xN!zeApg!F)$$dwW2Qo*N$;{>0Y+ z88K4P1ks5=HTFS(miZkXr-pOM+Xj$C)*XgxfH2nT;nA8lE0NKmIN)dy-7|W!P`(E- zYiki2ri@xM#uA^%SW1s3#w6SDbXLUr{|KCR9|#0qrWw~a4);N*%FR@Z*1n^F)mOk) z*EDJ^zXele4nXpBAzy0hC*m-AdOsRWjtLmN2^Robb4Z|a!fo(l2W1%E&UxNCYO ziQbNhdy%5fC+dW=ETg={*7dz%X8}6Q8?>dMwmvDN?xP-!P8GMbP6SEI`;7TC49qJg z%jkyat&;|hz*~%yPY!$SbMaI~-na^ zTj7SE{nmEi{^o3HU1x>1-yAa`1c3WCcL~QGZ7(~|PDp4zotpM;pgSajM+2YD1g_#&@56V0*nbJT`%q4w*1qCru=RlUv1>(iEjlh}%y$5rUDp}Ps$fs{|$%7>=&YSf#c^R1C`{HQ?*pd_9WCmC2sV+o z;w7+`L87R1<_UJq{#XoK5`Oj}=S77(P_oP)OqZkM$HGDSI6yhVBn=%?J`~?1x|E`) z3E(+<&NqtFot^zPRRn?!hlCT%Litux`6J z_h^h1AD5EKh`tXEc;lr-?c;;=|Gvxn4Yc?0QPz15W6Fy*r%tSY`Y#v-MFZE#$2*O` z@Ss*?8L?YRHHfOakOYxN{O2~+KOnb1d>^N6sb|o#Y0Cc#2nRl07&}28D~}WCe20lK zLC=R~>zc~4TmH=h{DO|Yc=;J}9ks>)`Rs=?nklgkAnp}g+?E9$%9G!vP5(l$06!6Y z;?vqji(z|{+Fz+Sl^ERg^h|e3?+8Za3*?oaJ^)oMR2DydSG2bN%%=G3Z~TA!fogBI zLBC{rIz}&Q5a)3gi8erUi{?7_o;Y zSt3VREQtj#mA)tc|9w>{(_Ob0y4{G&!K<3m#W4}Ld$(4ahb z;}31?-}d$IeRW(N(G4OZNR--5C4;};V^7;&{~`TIgx(Ps5RGv%sFZ3qJ{G)mN0sF* zX7?U5&)1Rf6{gmdC!+bf_)&-X z5XW@v1vw#dgt0V#{Uwq{^oU5&Ve)NukL%tG4ivBmU~&DeN}-Vd9l%;|pElK8TL-{w zN@(zzrIaqJxks14vW_+qRP;D5*;sdK!il;Y)Nxe`Gc1EScQIW z0=+WhG3+!?&ZE#>e}s)$H#e{N=&GDv7m0WknmAZ*48C<}yTiglJZ}x|``n^Ln{uIN zqM%y_$a^=-H1O0SI{p`3Uc?&D$7``K7wRf^lTy-O{lG?Mr7Q;*eqnp%bJ2L!esFS& zaP;xrm*~owq@W7^fQy!{!8>V8>Z|$k+FK9iDSvMZ6{YG5ML6{{Ae!a1vk* zo?pf$!qT!n$qSk#pvQ`9-0&Zm6K(N=?S)I)_jAho-6e+JQcD2-8D9OgCBFbyN`1pt zv`d?70_gtA0gw0#$RCru>No(CBu+fG0iA2J^Ye?ZGxqvau7>CsL&xe>Z-=QME?!lt zel%IM#6&bz<@*8mt9ScosF=q;kv9!+`fpg6c3pk)gRL)gKOTbOYnd^5OXPj>b>7v} zD{-@V8BE@KiLZML>+Qg6mO;lqzXJ@mA&JTUFIwcb_ zs2C!92~`dlUx{Dhb(1lG4I7`uxH2z0rk6izpkINPCBn}fGgA=t( z=0V)%bvrg930j3vcE3mpnp-9WI22+rP}ST&^vv?9Az+3lu7K0?HpBjDmiExq(;ofN zfnNN|E>dIm(N#-c4ui6Xn;+X=AF|Mm@>G+WKQ8m8(t??R4nheGLHeAYOP$B*`{h^p zH{eGsB|FR5iq1EHUBG$Ol}PDHKkM2+cF$RDCG{+g5(_J(?q3_!CDpk*O*W~*=~`UT z@F#@9z;*46I|0F%v}DB24cJU-H`U4qG3H~E<#*`H)#pK2pKtH_+ZcY)3kanYtpmkh z)PiLoHXyF#SHh8Y5@AfgL*#-L%V3kn`(9^kSRy3?7JjkeD9O!{fc*@uA+ZRUuGLxYPlt#w~nHrf;`;Ctoc^(TQ?68$QrI znNfH?^drR}dzS#9kNuJMXlj-4k5US!sggfSQ2)V|_s^aJXL6C@StZ9J;I4xxEqF!@ zKErFuiU=o@)xQ4 zKUAmpv*ofMPEIp>FJ=dasK(#`ClJz#ls z25i1H`Cq4i)339CIxjX*MbmKhGfjww%D>MB^<0J~{7LuOGCbj;<@YzOAnkQh`bF}S zl~4aF)ASqS9=iIx@HtLSk_4CeBu#&EFZ*0V#nT4Dd%7#O5@q{hMfiXAFD||PM=MhZ z+4x-aU$0D6`gJe8d9hJf#XHWU?h(Z(o{1gJQ|t!J%Ky=3>3{YI@$`SOa}nG)OD7~V z-#Cy)JfytcBDppX1Q~zsGeW@|{ks|X|L(YO(qKFtHuvXai))^GF6P9_ccY>?ri-6` z+x~yB0@v%BhtxRnC(=5pj?DUaJ+)51TTB&_$Q@Gua|Frg{0n>a^p^{NMVtmSzTAJ4 zBP#!%;c6nQVlNYpkV0Z`Cky3}YOxwz(Kblg%@)!|LnWs}aPhCkIY34tdk|}2VT2l$ z{N!O4&o3ap17eF%CGC1h(@~thx|zGqZ7gJT)qfRuNxu>>&MyQozX5ogo2F#e*%DLjl2Sl?m;oJTsggtE;RkYdCNlbs_55U={J)499Lq zjS;!+Blzq`|JRRpoYMuMTqgEtL%|Dxny^m*~fio_OStUJD*pWuQ4Dg>K#AAAB@df zd^<f6LvyNW{S+(x|M{( zsAWf->MY$zpLGwnTOj;-3Xu5f?wHfRq@Nzb{7PV$Os2r_54TuBWPTIAxTlS0W|63oMnq~%|ZnFcx|$8LQy zr?FqDn~o3`Ets}VkH!w=I~1@JRi6C_*n{OyEfh48X)h~IiT9!iayn`=b+zLDRAOU& z(Db^g(y9jC3)3;DaR|;VQhY_q#volnU(Uo>u1)eH2M92_%|JRjF%9&wZR=+YodO`*q})CdR15pvbaMLcV+9@fq7-gw=wQ z889s~JD)S5#Ho6+F4u5_`y4wlF)6-rZ%X4mkeh8MsIOI-|yl-FL5P|N19u*St3ocXV41bqeK~%~UuuTlKc@`iLEX1i}Y2 zb)*0XOy>kn*@W40bal*~JrPudTgHm=8K(C;q!X2Txs$$Z$0%j?>G#RRlFrk)c$4y_ zDNd93C=M{*7R&1f$~8l6`>XYcA$=phoF`;i8X+2&k-7P{yB45_S*&vX3Z!I9;?w#t4p5T`gS1>P0pqovfYx5#PvXw; zD&r3OgOTU%ua6zm_S22*4q^D(Ww!()xriKtF*}hk5Eu`negfaMbSH#hStF5N;~J>w zatm|Wd{wmcJpJoKZK!*ky}wOwC)arIr#G|GiiZByqFKctW%a-E4c20$D9kQ5=9d@u zCzMKC@C$Y_cqr=o5n5If^#NdU^vS;N^MO$Lxrkv~>ILgv4uujmF~}u8kxJdNGTbr= z{uX%&u9c(qye*KF0i}9lI$OhyxRGS|Pq<&ECsyh{o1(uJ#u^&`F zoET=mI2E5#Y1>sS%{TQkKA2)5K4~AS{t?9ZkBiy=eJcIC0_@)_DE}`23!r-a*D^xDu=;yC zl`j95tOg?MbNe%p?LhWxh$gk4B|6?9k0kNPI zKFrR)TN(fR)$o6dUMsOS%D0`s)>7!d-o~$A7vj-AG9rbC zZrtJQJ*(oVAFx+Hjjb8T3uK0eF@cO+1%fd7m^b!%>KY9$P3(#kpPUz26vkm?<7>~{ z{S#@$I|&6@ZM5!xY9;z7dq0l7P5GiRrmWV0*%sHm?R1@gnbLp6*t+5ut1N<3nwU&8 z$2P&*VR(e^#VrDa36Nf#g)8cRqcl){iU~ixQaQMjv;d_(F1Z5q0%a6(qf)!9GU_mN zr4tg;r2A2=JR^N$`#7_#6noq0kuJL>;{LZhv-cSpcSXLxty&&k76dZQ)?XDwN}sf6 zaml;Ezeg`%&th3*lErP@$1>0N#@YW=g{bF(`tf!ce{v*3`V<|@9+g=IPvM^N-mx!jeKuX1Dl`R*EiVS2#@@U1HdSkc}S`g zIul9`xbH46%U`cBF_3_UwZN;RO`6U}>4yRbMG|ec92zy;Be~-tYIcOHd#A%D&oGb+ z?UuAl{6D#03`bA<5$7aA_I@n@mPt6cd-NoB3-p*gPiPSmyjCuKidK}`*)Y#lx)Ht1 ze2260QS=VcfxlhV;EE>DuuNCuiVdeR`K3W|>Mo04PNpRvo$vg)k{>u&*lw&=Y~kBx zMRc?u85iU%^#$l3TkLQrij51CJ2Z%l#m7WroF}utPvLk<{6|n z5dQ0i`;Dn}s@7}6BKh=l1-TWqL(PlxFThQXBp)dP>A`a9Gj6Yqp14WM7D$7Wx|jw| z1cqdD8eWZkA=!bMd~Y;LWTv5APhXflTK;+8EdyN$+;6)SaxyAnWVH&%M|RR=u|j#W zt}}|J%=+xp`|KrVv4|?7iq+@DR~7}QkmR3#F+cn>PN)d=+4_-bjSS~bx1Ie1i3-Q7 z8Z&78^-+6kIG|iJ*ZE$@;D*>m0GU1oP z0^l7LG-^(7i?v2(PbD(wF5ISHUtufs4$t1@C^M7ID<~9k9%Oj6QrIxy_~1-mp_u-OYWRg$kwRa%1n5k~$er1|=!#`suxMwPjltIbR090@VUA zR;HVdurAwIh@xNZ2z_d3Ub!U(1H8|6KFJ;*6VdITE=Nl)0b8trTb+T2otC&^IF83_ zg)g;|gKh(mhZK(H6##!U^Ke7~KXQCHaIEQHZ4(x!ezHdsvAm8+W_7W=f*0k0C&bD^ zq}Jp^!lfR7v@ciNrMq|IYh`CXnvFd3dzx0G1WSo=QI;_nx z$tt3=C8^aC)@UphNZSkt2&ynI+}(M)@+yXcux)D~?AtgqGDPka*5l1VDp#xv5!F}D z#fcD1rRX^5`D_+$J=(0k@*<>+SG%1Frlk>`5$C9X!z>|pkcH29~R$&Dt|dVO=Z7Br84lfd&PQ1;a%9i?caR znC@^7LQ}zP$Ym*6hb;K+$du*sTW(Uhk(j=Jz@EBxtE+#w2(HI>AWt#DPPW6l$;3$t zx3h8WIv7-DaNC|Jw|UN8)nK!59;p}6lXf(|szd{-7#p%aX&5T2L+yB9ub3b5M56^6 z>^poaYMIY6R%J@n%Dk4@9QhXX$dvK`)ach8)-SVZL|?jhO`ZaWlqJW%s-2SiFgZdn zT{3h@Nd|mX6nbsa4n41*Jht<_9$p;S0W5f-UNJr0$Z!ZBbI0f&8JbtrFCd9y1DJ_ zzPZ<==T|#8YH!O^tafk8SNh>Mk7N9v&Cd2A*zT-gaI)~*$r^FfH*CTDe1pXq<1XeO zhAn#&+PxC9pckQ@h4uNr`AWDgvhLI-Y~9u>=3a?y>y6T3(AcqQbW;D+1M2UmkBAS6 z{)dnvDb`S+mbV9y*m{@{U;6w_6WK`iMYbNz;;BL*|LUZF)6U~>^6}a9_zQjy8$Ru>tHVF`utm-ACvXRfMBKJHT82#+aEnGzPqt;{BQ`Ej~{;rp5-;u z0rjFXj~g+0VvRU-@u_ar8n7+pK-(8}L1Dk!xal!qf^*Bk3`7&Zua9INNhLA48q_T& z-wQy&0|dEm^zmv^V~Rk}f%q@1DQ~wh^#53$KXfO4{vUKF0^_)cW-@%&hZN|&7vgxm zzHbeIIp#>OhIw;ftG)^-pkL{;)Eujoh8<$&1a>QXqg&wxAs%GtO=ksSJ(_@kp0=Eom_MC|Hbzc=N{tr{ULs= zhX#`3tFIgJYa55n$9pdhcDcS(p&lRkZni#e-h6gE==N}L-8~?IdVVipWA6xEcBBpm zdPF7kiy&sQ=F(Jy1To{9ie#{3}$_ejv!< z8h|4(usgYUPnfQ-8?OgFwF+YiBk<%=VDy0>{e46NkC)pA(#kLz8&Llp@a~X&)b#Vg4};5yB}OC} zYz&kSh`cHuyVanBk8U?yRrV}+p7*o-&*n`4@xT9b>>L2LQGbVL_n(wSn%QCnB0!D{86z!1>b*hI^?FZCV(0no&wdb-9HF0Lj&u>B6v#?2fyVT5=PR{#YOP z4jlFZQCi04(~CMEl8i0DM5U(qsixg`W&Z8L7FpF8PCP-<26*?=@@^r_v)K|UJeVml zM=DI+IN(hP47ti2sk9OSQ50kL8R$0xU9RgWAIE{la`3C5VqxrEy;i}|pnOT@p?2(- zd;O-lq>RF_jlu5oxW}V2XYXuwi4u**<6&2GmL zV`KwjKvg^-PG1-+G$H*P!}w-duf_80J5ya14Jb_hRyPG1UU5<+^SQt{?*?DbWa*J#p{hds@QJzQSjXDu0X zh83nqO(J!0=L9KUU-J}_v-#TbvZPu-5ET^#y#I7Un8j##`KTyL1W5A)P^@0)!PS>D z;ruSAZ=DRM*4R9{_8iM`mbaZBDo6deD+mxu)nbX9SA=_joyCbq!4j%Zev#Xkn?+yd zfu9`S)!OLS{YF`!i~o7-NgM@1;X6Ydo_#5(NDx7&jC`?N7C;r+L+TWgFLCjZ5(K@6 z4&e7*!u7Qvo9My7JNPTQ#HBhvrFh;Lh1CeBr#5m|qKBTMm zWKepI5%9wqFh%3}4nc~6%ZRqKB=D`Odt%BX{g*v0mDq5fxH4@A6Zv zrD%p-cl+#Ff+m7ttEel)xHmAT@+Oo=hi>ubVRZkgCFtqKS7@<1zCNpW02566RhyxM-a$6^+1^*o0RJ_lw_dZ;xM*3v0V>eq?1FWGO!jPro@8l! zr(`XBN?&h4SO8u(q?qvGHrM5ssfuM9lg8CY@`lt>D)3g`8qF&}G^2Ww+V)`hN*)H7 z&AaG zbm@~?*4t$RzsmqzqF4yx8W@lj?3W{L_lO7EtXIO9+#qXbl&0*UV?fdI5p{cn|HY&9 zTmML3Gf5*yQHZ`5i~1n;^1)y5WJv!RIrWFlTRv5gCJdlDaujrxW`36C`*5|%%;e84 z92#D%2VL8wKMY`H!EIerp{k$Cr>W}M~1kpH|A|A%#|)TCRA1U8_Rl!a#X1`COE_m&?6be z{76G>%DWvRR(x^s22W0ZNZuvpD9XsWgymobSjO(1&oz}mb$VhA(*%ZZj<8$LuW>Fw z5uNRhZD%E_)$gwKOR!tkp2J<$_7}_Gvd%yOX(!>H?`k7F8!$pKrGg|0k%R(t3z zjJ+Za(?p`R)edBkjvcG2166|Bf|Xm9XPvr7JXbY*zSXNH?h>zvT^kKPyV0*7D2PWe zd%J%uiZ5XneTa2qRpqQ#6i=lxN8T=D@~e2@X!|zp)b~;m)Y?timx^UIP7U7rXe1@W zZs5}@iaAhjQz_arEQ;9bHDFqOUpNJ)Qc?eUAjGC^qZw@x3p8K_JgRpHqR7l23MAa+ zO^>yY%@AHs_fw7fwf`cBMA@{zP0y=hs9o|47<~Uhwy(lvTE3%a2b-)HaupQVu2AZt zwVe*TWXbcwL|OYdBlk8pqY4tzu5KR58(uK|>ptiPjL8V1mdl71vNS zE<;nds#cg#)v9UqXe5;*)l@5?iAxNQTSR#drBRo0Ej?uhqgBeNFdh}>tY9u5=G$2x z*7L0OVePfQtatDC{r&$-#Adr?KW3fO=G6vE_3fj(=w8pyq+*Om^iG_*z9nh@HwddhVv!4M;D6y*Xud}c6#eZa9olQ&|Rb(QeWFqB1mELx1 zhA*OCqa6bk7ELZQB!ktLPW)MX`vP1|jj9h7AGNemYO9om9M(sMZ#;(o*3S|DEmG4~ z0I!}afxACew^ObtMxEcnX|k^rYUw!qM$)Kt&pDQPV+lp`UO1xuTC6D z&VLNMm^Y~Psy14uJKQ+r5Jo!*IGj{WXU(JnDNmJ3=5IyC+^bs&c&v?i%&GVRW=x26 z0=DKoS{_?VV3~e-oP9(>2$_X-tSvynjp^5;7?(VOc~N87_gTOy9i5|*e>+$nlAXV5 zJ#Vuxy@n%XY$=;wr&6od$XLDD=eT40X)BB%OzBt@sLze^Zd!T|^n~n`67lRC&3EJ} z-KUJEl#w_g!+2!iAoZ3`-fF=*>Xzrm$@(pMBRGvs`}=K8BTJ)ZO)eMYq)zU62<0dY zukTIQW3_?8xrHr}fzt5#l1VRro}vKV@X@yknVM{Wy|N-a7CH8b`Z*BXxd=WqcedP5 zKPI{eoIuiT-43RW9^gE#G_0HP5%n1sXZg!nUt5^=_jo`5S|OPBf;4+f7p-w`|~x( zZH~&_x5(eBIa}PcdTB7tM0+)CygWd5#=GdXMXoqNbO2EmV7K2pdVD%b%2__0mKd!R z;dxNw1k9+%y85Q=dJytEiCPR602ZN*pSTBd zaI|YU*Vv?`ymVafWbW52p!4JUei11H1(d2rNlm-LX$D+ZLGY*RG8UY^dC7{}RE%-w zrIS>Dx!gG&sTF5Q$JDBzDeIs1QT@J}wn~^$5gxmcxJg|h-ouJgoEBpSfo@ai-1(X> z_;0g*;3x`8>$dN8AV!KwT#O0!-Zfyat#~rD5>+Jwmf{ipbatwv;^-F|&{DuMfd|eq zm(XEa34A4aUW~GsZRK9edH3eS5*Z^J0+Kz+0!C`Da#Ht4=xiEg+l~B+lX3b3$Qh=H z2nWDOd2%3d!|*W{yV?YtPEp`WJc*swyV3Y>*=O9eMu8aFyU1-c^e|7M&2WBlHw^69 zwU--oS7LRO%1lTzvd%QvqJfSBD@OAPsy60MH#*%@?VVrAo4w5*k4l*#xKiD_B9#J~ z`MAActuV8x;$0Om2h(Ip4rjR+_-$M;>k$J=0`?7jD8++u)Q0$836bGBZdR{;n-&Cs zm@-5}kcB^I&w>kY?XW1N4R{gFb&(WM9;clieXovQJ?x-J=4(?Hp2nkrp`4MsESb$0 zy8ZiURK;Epr4==IWuR0gfmPZTj~bP?pcIWljzJH;!2{cyRU;K!W0uemC_?mceBY8j zs(((NXr^Q%57j;I;2PL5nue(?=6-QSvh5R%A8tE$k$h8A-9xylbo_lu`kz!Maar>EUP%inHCF03=9 z2}`ZqTygcS$Q`3q!_5Y{vczFRM(-T24b^|Z?IrFR*L%Y=ZO-LWy$0(H|a@^(=|Zr4@L|kYI4+>|0u%AL*MJ8c@TWQN5}g^&RzM1Q_ki$*%qY zfB!mViJU&pBWD7!{9(Q`;fePI@)cMK!OsVyojKX%MOT3St#X*=Ku-k={p)H3=)n#` zz%%NfM#x6na|TjT-r0Xs%zM Kb*gX(x$!?;AxH`U literal 0 HcmV?d00001 diff --git a/competition/tex/make.sh b/competition/tex/make.sh index 8a43477..523c4bf 100644 --- a/competition/tex/make.sh +++ b/competition/tex/make.sh @@ -1,12 +1,11 @@ PATH=$PATH:/mnt/data/texlive/bin/x86_64-linux/ -latex bare_conf.tex +pdflatex bare_conf.tex bibtex bare_conf -latex bare_conf.tex -latex bare_conf.tex +pdflatex bare_conf.tex +pdflatex bare_conf.tex -dvips bare_conf.dvi - -ps2pdf14 bare_conf.ps +#dvips bare_conf.dvi +#ps2pdf14 bare_conf.ps atril bare_conf.pdf&