From 5dd3305d13922891643df87f9041910381a4b118 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Mon, 1 Oct 2018 12:12:00 -0700 Subject: [PATCH] removing unnecessary files --- nqueens/inc_solver.cc | 212 ---------------------------- nqueens/inc_solver.h | 46 ------ sudoku-csolver/.BinaryIndex.log.swp | Bin 237568 -> 0 bytes 3 files changed, 258 deletions(-) delete mode 100644 nqueens/inc_solver.cc delete mode 100644 nqueens/inc_solver.h delete mode 100644 sudoku-csolver/.BinaryIndex.log.swp diff --git a/nqueens/inc_solver.cc b/nqueens/inc_solver.cc deleted file mode 100644 index e13f5b0b..00000000 --- a/nqueens/inc_solver.cc +++ /dev/null @@ -1,212 +0,0 @@ -/* Copyright (c) 2015 Regents of the University of California - * - * Author: Brian Demsky - * - * This program is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * version 2 as published by the Free Software Foundation. - */ - -#include "inc_solver.h" -#define SATSOLVER "sat_solver" -#include -#include -#include "common.h" - -IncrementalSolver *allocIncrementalSolver() { - IncrementalSolver *This = (IncrementalSolver *)ourmalloc(sizeof(IncrementalSolver)); - This->buffer = ((int *)ourmalloc(sizeof(int) * IS_BUFFERSIZE)); - This->solution = NULL; - This->solutionsize = 0; - This->offset = 0; - createSolver(This); - return This; -} - -void deleteIncrementalSolver(IncrementalSolver *This) { - killSolver(This); - ourfree(This->buffer); - if (This->solution != NULL) - ourfree(This->solution); - ourfree(This); -} - -void resetSolver(IncrementalSolver *This) { - killSolver(This); - This->offset = 0; - createSolver(This); -} - -void addClauseLiteral(IncrementalSolver *This, int literal) { - This->buffer[This->offset++] = literal; - if (This->offset == IS_BUFFERSIZE) { - flushBufferSolver(This); - } -} - -void addArrayClauseLiteral(IncrementalSolver *This, uint numliterals, int *literals) { - uint index = 0; - while (true) { - uint bufferspace = IS_BUFFERSIZE - This->offset; - uint numtowrite = numliterals - index; - if (bufferspace > numtowrite) { - memcpy(&This->buffer[This->offset], &literals[index], numtowrite * sizeof(int)); - This->offset += numtowrite; - This->buffer[This->offset++] = 0; //have one extra spot always - if (This->offset == IS_BUFFERSIZE) {//Check if full - flushBufferSolver(This); - } - return; - } else { - memcpy(&This->buffer[This->offset], &literals[index], bufferspace * sizeof(int)); - This->offset += bufferspace; - index += bufferspace; - flushBufferSolver(This); - } - } -} - -void finishedClauses(IncrementalSolver *This) { - This->buffer[This->offset++] = 0; - if (This->offset == IS_BUFFERSIZE) { - flushBufferSolver(This); - } -} - -void freeze(IncrementalSolver *This, int variable) { - addClauseLiteral(This, IS_FREEZE); - addClauseLiteral(This, variable); -} - -int solve(IncrementalSolver *This) { - //add an empty clause - startSolve(This); - return getSolution(This); -} - -void startSolve(IncrementalSolver *This) { - addClauseLiteral(This, IS_RUNSOLVER); - flushBufferSolver(This); -} - -int getSolution(IncrementalSolver *This) { - int result = readIntSolver(This); - if (result == IS_SAT) { - int numVars = readIntSolver(This); - if (numVars > This->solutionsize) { - if (This->solution != NULL) - ourfree(This->solution); - This->solution = (int *) ourmalloc((numVars + 1) * sizeof(int)); - This->solution[0] = 0; - } - readSolver(This, &This->solution[1], numVars * sizeof(int)); - This->solutionsize = numVars; - } - return result; -} - -int readIntSolver(IncrementalSolver *This) { - int value; - readSolver(This, &value, 4); - return value; -} - -void readSolver(IncrementalSolver *This, void *tmp, ssize_t size) { - char *result = (char *) tmp; - ssize_t bytestoread = size; - ssize_t bytesread = 0; - do { - ssize_t n = read(This->from_solver_fd, &((char *)result)[bytesread], bytestoread); - if (n == -1) { - model_print("Read failure\n"); - exit(-1); - } - bytestoread -= n; - bytesread += n; - } while (bytestoread != 0); -} - -bool getValueSolver(IncrementalSolver *This, int variable) { - return This->solution[variable]; -} - -void createSolver(IncrementalSolver *This) { - int to_pipe[2]; - int from_pipe[2]; - if (pipe(to_pipe) || pipe(from_pipe)) { - model_print("Error creating pipe.\n"); - exit(-1); - } - if ((This->solver_pid = fork()) == -1) { - model_print("Error forking.\n"); - exit(-1); - } - if (This->solver_pid == 0) { - //Solver process - close(to_pipe[1]); - close(from_pipe[0]); - int fd = open("log_file", O_WRONLY | O_CREAT | O_TRUNC, S_IRWXU); - - if ((dup2(to_pipe[0], 0) == -1) || - (dup2(from_pipe[1], IS_OUT_FD) == -1) || - (dup2(fd, 1) == -1)) { - model_print("Error duplicating pipes\n"); - } - // setsid(); - execlp(SATSOLVER, SATSOLVER, NULL); - model_print("execlp Failed\n"); - close(fd); - } else { - //Our process - This->to_solver_fd = to_pipe[1]; - This->from_solver_fd = from_pipe[0]; - close(to_pipe[0]); - close(from_pipe[1]); - } -} - -void killSolver(IncrementalSolver *This) { - close(This->to_solver_fd); - close(This->from_solver_fd); - //Stop the solver - if (This->solver_pid > 0) { - int status; - kill(This->solver_pid, SIGKILL); - waitpid(This->solver_pid, &status, 0); - } -} - -//DEBUGGING CODE STARTS -bool first = true; -//DEBUGGING CODE ENDS - -void flushBufferSolver(IncrementalSolver *This) { - ssize_t bytestowrite = sizeof(int) * This->offset; - ssize_t byteswritten = 0; -#ifdef CONFIG_DEBUG - for (uint i = 0; i < This->offset; i++) { - if (first) - printf("("); - if (This->buffer[i] == 0) { - printf(")\n"); - first = true; - } else { - if (!first) - printf(" + "); - first = false; - printf("%d", This->buffer[i]); - } - } -#endif - do { - ssize_t n = write(This->to_solver_fd, &((char *)This->buffer)[byteswritten], bytestowrite); - if (n == -1) { - perror("Write failure\n"); - model_print("to_solver_fd=%d\n",This->to_solver_fd); - exit(-1); - } - bytestowrite -= n; - byteswritten += n; - } while (bytestowrite != 0); - This->offset = 0; -} diff --git a/nqueens/inc_solver.h b/nqueens/inc_solver.h deleted file mode 100644 index faf7638e..00000000 --- a/nqueens/inc_solver.h +++ /dev/null @@ -1,46 +0,0 @@ -/* Copyright (c) 2015 Regents of the University of California - * - * Author: Brian Demsky - * - * This program is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * version 2 as published by the Free Software Foundation. - */ - -#ifndef INC_SOLVER_H -#define INC_SOLVER_H -#include -#include -#include -#include -#include -#include -#include "solver_interface.h" - -struct IncrementalSolver { - int *buffer; - int *solution; - int solutionsize; - uint offset; - pid_t solver_pid; - int to_solver_fd; - int from_solver_fd; -}; - -IncrementalSolver *allocIncrementalSolver(); -void deleteIncrementalSolver(IncrementalSolver *This); -void addClauseLiteral(IncrementalSolver *This, int literal); -void addArrayClauseLiteral(IncrementalSolver *This, uint numliterals, int *literals); -void finishedClauses(IncrementalSolver *This); -void freeze(IncrementalSolver *This, int variable); -int solve(IncrementalSolver *This); -void startSolve(IncrementalSolver *This); -int getSolution(IncrementalSolver *This); -bool getValueSolver(IncrementalSolver *This, int variable); -void resetSolver(IncrementalSolver *This); -void createSolver(IncrementalSolver *This); -void killSolver(IncrementalSolver *This); -void flushBufferSolver(IncrementalSolver *This); -int readIntSolver(IncrementalSolver *This); -void readSolver(IncrementalSolver *This, void *buffer, ssize_t size); -#endif diff --git a/sudoku-csolver/.BinaryIndex.log.swp b/sudoku-csolver/.BinaryIndex.log.swp deleted file mode 100644 index 744388b09b28082c3a8d93d39452ab8f414a7f7f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 237568 zcmeGFd9+va|Ns9#OBz(tAahQJLi0R}RMMc*Jn4)Ln&)|*l}d^RrGca(C6R;>nH8nX zQ|3^j68as^_4fL#`^_KU&szNPTkFGG=Y7)U-0pkt$9_zEKabZtwS3zfnk7{$TRD;W z&smAYfd^N1dLZ|*#IiFIi5@9^GSdJ2`~Q!B(ub9)_W$uCe{s1%X#-ORr}Zc|=+FO~ zk=ELU`o%vgS)2n>(jqy?~H-v1`SLrS1+S)T8};{1A7fB zH)u$Dzg|Piqz&rVduXQC>)AJD;D{Ugre_Q<+q+-)|C=-T?`QsNf&Z6VAb+A##R}#B zY=KKJDV|igP@Dgk8{@xg|E~r9Yk~h-;J+65uLb^Vf&W_IzZUqf1^%CFfx-Q&CdOr6 z^=VxB!O~fO$i~0xdk+5nx9VAcsAGOQ|Nd=-tUnAg&&j{1RL%Os1LnE-_pfSZ{oy0? z-2D3}@@I2mI=?*lhrEesVxIXrBuY{oyh5e0Wjvhs^WiSJOV1X3zQy zek^e&zLxXvU|s-!oBDIiGhfa8_0N$?S>Jb>7sQ|W>qSl?anigH{%w`4KUCm`>--Ai z&8gqrya;}Z`b*8v#!GVjZ>kn_5m%vwY{Q3+?W36B{`H6!X7c+GN%^LH~K$oM|`Fg5#gTgroWuIsQ)CuY)c4y{>z_foPV<-W zRJ=M9rt-V+zW8GE7xBS(ZYEUaU$FdW^PPAy`ESgh$2;SV3upa7^`FCg;j7J`#Z&Nt zMPhyj-U%OQ{tVt8f6e@9JPp5`318>;6y6)3ZoVDQz>k_giQj~GD4O*L)!&AdvTY#3C3CEh~kZ@vOo``l~399R4NXnqf__OG9mbs!yo8J^7X?=oMCcf*gF-;L|| zU5aP@pz1HN<8L%yjQ_9w+3+a82-o=NXuc5F`K>d*3)lTA$c9Pv@5I}2eLc+=SpFIF z`FL0I=d$5a{X1~YU&GAj;nT=}VSc-LA2w{NKNlZC{;2sJd=B1+4W06{@sap%=C|Qf z@S$w@l%Iub{yu3w6W8_kVMD0=t@uRhzi&PR*Zh7n8%E`)<7&Ux&8Oj$sNaSSrSenp zVfcRYDR@u3IU7#pC*!)l$IU0<+8>lGomEKriTG*MpJdKo|Lt2!dLmIb^KbupUe4Sz z)#fL56i6hNWPZ)d{OXxImH z>A1|V>X~1M^Cc2%Gr!U@zb?%D+M73#n4S4`edbpp^J{D79)4ivSEYEV>RU8 zTIm1!FK)Q8Ve^_veN%c4%}C1prG?s8~LueA&!@691@7^=>H@|AjJDt5mG|kIPg@Ppw)x z<)4@7mQkZpm4Bs7#p?e;nUsvwf8N9ux}{{K{2LclHKTHkf8nC4W>iZ1=Vj6|s#UH0 zkIPi7P^Eg>KkqjcD^yCaTtn@VXF|M}3YkX|*da)p24Y${ex|L489VucDB)yx0$ zvngMpQq_OqY|2-wmj2J@n~D|Et5o_ox?g&w^8dm`RY)(N{?Er$#R_Q|ssF;As*v(; zOrn`*Q?=^9F*MUESNi8;s$zxIZW;f^m`Y7g{pWLW=GmlH|L1dYW|?Z${*4=+TBY*8 zF&I)SRrogsLu&bqe`7GzNUQO0TvSS0^=|)s_N!2%M#{f&Q7P4`{TtmcrOLms6{uJt zrBde1_0M;rDdoHU8$&bmhW{I9QzPZySf?t~sFd<=49yx9s{R|@FS8F<`sa75e2vuf zf8N9ux@DwSW=gN0@#k-F_ZyUv)O=v(Lr~46@@31HFJGx*)kKSd8JWNDot80ZP}1O@ zeKP)%3YDrhp5dS0|N5y4f1dWAr%*BTr&0zEOc`-Sr%n}WWFGp@Ytc{r z^%I$AoK!vYr&mNP;>v34$dA)F|DnD0;@A5zR0r?>F-_0K||IPd(^ONTO`Twux{`vn2^9h`| z&i}Z%fBt{W{E+2;G562^e>V5e|Bssc=l?&M`{(~h%>DEK!{+|^|BvSW`Tq~*{`vp+ z=KlHrA#?xy|2uR4{Qp~X|NQ?ObN~GRYjgkn|0}!?{mwuC{}S(o`{(~(;Clb(pZ_1k z7m)YQ|3Am)oXLvWoP|9bwPkac;d z(z(7bO2_*@9@qZ0ahd4j@E+t>n2*J~<9W)){1{xnAJ*S|G(MjEOXj2S>G%!hV*Qc0 zp3iohkHF`WZ&W_!hvRy_*>64!*Yjc13Nb$vSNlF@J_J|$Tu?FQ2jjPKeiO|H;kv#8 zm12G%K8yTR^8xrMyinzs?~ki}Z!_I$mE#ydCwInRmc-e||P^kL&sTraymaD)S$mUprj=?_u+{ zxYm#2*ZdX#U%m~l@pZ3xYkXQ(EK&N}m~Vxv|2$%T6RzLCt5PrKTjFD>|Acu9T+ip# zuZ#KSxSr2fn%{_P{N$}4^UZM0k7Lc7TK!MWo8Y}U|0WG${l>V?|1t9$@D%dJ8^(Mi zT>WdJ`So`Eugn|bY1D6heXQRA*ZT38d3{{>_mW02e;uy-d#`ytdwkkAW4;=$-+$d|UKQ8%SK>vTuD=Sd`S)q_%6MPSuPQH6m9K>B{O>id zh^znRZyC?O0kSl3q)SNk6|FJbk&w2jBV9M|=KZhjfA{ZB&{ zG9CX?T>W#W`6YJz8ocOLzBt~S>wCsL37?ObW}~kB#rP!U&5Pj+@auSyulz;$RD8er zg}BDY&7HD-Q27h+e&qL>pKtm4on!tyd_4JW=I7!XKegB>==kU0>K`l2i{eA5Uzm-A z@@L~C@ag77aE+gAU9)~r`NFvRPlkCRygT(@G%tv2eJYzA>z{=)EE2by7r^OuiG${6 z;&kgo?UYzQKhAAW%rno2Yk&5gd0t%Ye*+Dn_Bq3Rn|U5w`;#&>gz~v@o&R$4TsXrf z@r!v*oM|C(BR5j@PsjUYHA`ZZc@A9j|5+Ka{Z7NxKgOC<_HW~W%Y&x!pW`~eiRPc- zEX#=l=AYs$JBf-+q^kc3uJfO3{xPogF((tL@*m;qpS{gL#C3n3HU9ut`xaxPqx$dT z>K~)b-@`Tj_L{$I-i(Pz^$*}QTVkjAeq8HkRT@h9cW})wi_G`oxND3#xfYk%I+ z{B2zG$4>LN@KN-?3N(c3@4&GDVEQGrL=WvbRvF6X>T7Qq4@4(f5J;%lKdj{9|+iCtZuKDTW z@iG6D)gNlU9asO@WBw#gw@=iY5bJL<-)jB@uKBn8#F*cTCujY2;x6;Y@f7@+`D3`w zzx||Ge+#bhwaffbT=&1q#xT(J~x=J!!^G0O^^AtcpK{XGJgPP+DSZP zz6RI+x#o;m|9)KOx5|7quJcRW8uRzz>fc?>@5MEL?=xRz^{<~9>#xLh|5ux@z%)WQbIkMH5%aTg^^Xkm+i=~V?dG$r{yFnw{h7Gt&q3z5 z;+mh{F`t2J|JHOttUuj+v-vb!_wT|xV}7dT7n@JPd2CE%zbob^`@BdfN z|C7jTet*sK6LGCC6&J?iPcUC-J|5Tj`@?)3uJPSrQLH}}*ZjQJd<@>2OFU&h8rS^L zYH_ST3fKK#Z$1(qPW|FbVtxd!@wdo)xaH5fJLZSsYzq_9&4=Q;|2dY%{1Ci7=hxSK zFs}9G1@l38JMxz=i}eTM+MkRzAAqZWd~M#}y!kz`em`9MqespA;<`VVFOT^?xY}>A zd2f7hRxD9;Ma=iYHNI~(zXjL&cf`CWuJ&!cGS=^bYkWRp-W|W0^DD9{=DS(_f#w;w zp8s~6r{ij$I`_uVt9dFuhVv_XU(BcAdj42vo^1JxR>yo-T>J0E<~QS-KeF8) z^Ih<^oL^`2&UhNW$-EOj5r5bL+YJLB`r+v1x4 zzBg}!YyP`#ZLHtgj(?YVD_r}NZ_IDPb^SHh#riFAtB2>tp>J z@d5ak=FRN*?H`Q!rntt(Ci5n^`hT&9V!p8*{|@sTaP2R0Y>4?rxaQX$=GR;Or_CGU z>ObWlj`bVhy1q%~^>K}lAIz`Awf;BQ80*)=*;XgknqP~L&x$3gZHoD8@Co>1=5=wc zZ`B`(`Kxi=pOxlyaLqsGY>xTbcwde`!@L&GV@=|ic}-mN-^52_{Tld0>Yp;Nj?cm; zY>D}5xb_eEAB$cUzn%PK^D4N`@9f88zA`?R{5w{rY*x5a!}d>p>gybP}EFaBiAm&PZNUuIqk*ZNp|d(2;jPa(h5{7TDT z@>I-UfvbNkGcSp2{!4l~=1br@|0U*^2o-}L;S z!}4WckM&Q(dr)DSd3N)hZ^V2yT=%c9c>-7azHNT$_pIL^n8@)vz8UNPfh+&M`S18- z@~OLH{x{2iVSWYp?}X!(in$NcA(&-Fp{&v2dJZ1Yd?ksQC!hcW*NuKmR<^N(@0-`D0J;p(5w zK8p1}#K&^{edZtFK?@8Rknl|PC8F0TH+!2AHN{(aJX zKR%e_kNGs#e+O6l95&yF>-nk8XEDDQ*Zlaj`P;bmPYphg`L}Sj|3>pY_$1E1=E0cX zjcb3f-TX~l`^TDJ#QYn0Kk9EZe;wEUB<#{5oP?Kj8#d0g}RALh^D>YqKo zi}jzyHUE5Iz5`eLq#ug;XDt7{`P2AJu5ZZqG5-{<{+;+C`gY4tHGdMHO#OmC#{4#1 z=fA-G30(dE;=?h&6<7PLG=JRcUwI_vAH&tZA2Hv8Yy4jJQ_Me#>;BF)-)zS}Y5oYV z{mGQ0vHm7p_b12C(Kq7i|8vYAwtT@~Vtxaz@p-rTLwL8WSR&uCn19fGp!s_9{pRa% z&A(S4kM-B$dVXJN{s6B2dC`fOUxTatR+-ygT{xevkR(xY}>L`8~MC=SlNrxXy3fAF=*YT;nfs zD*D}c3g{YIiF$X^DTeK{0>~>zw>Fa{yaRH`tOV>xye)pW`5e3xe#Cq>o{Bd+ zJ=VVs?~HFSpM|%_^X82CnRrJ$&HPqe{d>Fl3|#&DvRtwLbX@zNd(5Zd+W!~L9rIJI z{t|Oe`)}X${6B@f_RmH0#QKxX=bKN$H9iWR5%UvqJs(UlpMdN6`jq*2yeC)CCvU7j z&U~NwSgT(*U(Aoe^?dfA`Dk42b9w%lABF4v$SU)ZxcXn-Gh==Pp2GEYHy@6xf9x_J zhHL*-WXg|K2t4WBJyFW4<@umFwGW-V4|KRK7^e--4_E&NT0d>;4@z?}2N5 z=*j;8X4X+M|9@KGx_@t*cf-4I{-uh>^UJ_>f2W(LGOqIE<`!S|6S@Z-i_AQ0$Ue|9V`{SBuOW;+p?1xHRS);1f8%1?Kgwe$mTf{yJRa zXQ6pLT;n76sxR0t8mSqZ<$|-YkyzAe5`*3uIqcryd~0 z{aMEudAs zvHsas{|WOVxZ1C1jhHWtYknDJUI^Fv`i*%(tKYO{tbZ1+_SZ&}R?MG?tA9;0 z&yQ<;IA)#?pTYPUTszj!Yx&>J&%kGqA6X~n^WYl)Ij@eM8(06HX`Tz8PW?P}W1heM z+c!P`=OnN7_jb#lj;sG1GtXh3dQCk3X}J2wYv$Q;y+5pdZOmuGCvXKXm?!Y@`1SQ- z{?u<-zdxY&6EB+ofouHNye{T{$F)ALGXD+N`dFZT%%3zLZT>5+`R!}-6S&rw>l?)S z$MF=d{~_~ZxaN-n4P*WntKZA~XI#%Gd(4mGnjgwtAM5{wYy8ePKZ0w0IA(qr*ZAw# zDAxZG*ZO?i{0Cg~PwEXZ|2?krd*1vIuJ=178^`>2cKkW!-{P~mKPSw;!PS1#n#B5F z<9dGm&ipG}>r?%vG5;m5@%5bf7r5HDS+kfwi0l0KnSXAceq+pkX2(Bb{;3^*bn}@1 z#PX-Ni2gA?iT0gi{t>R{qe3lX{zF{jd%pPx_yp=FZi@N$@zMAM^Y?JgpTC>Gi>Hw9 z(JIzIfNTDI$$YPu%-_P*zKz<(`g`zX zu79)nZaf7q(k|xT#5F$+F@FQs{&$c0>$v9MQte~?*Kl3m4D(lUJ>Pt8{tB-3xod}5 z|7Bdy&tICqgty`P+jWfjUAXq&>&;)pb^duf#rzAn`d2seo%l44zt{YET=RG5&awV; zxX$lw^Jj6bpOw1A{0>~}-*WS3aP8l6-5m2z^kNJ(bo}Y)AKa5Y{{Jt{Zfb05uX2kjr;o2X(Vg4YVLj4Ne zVt&2l=b5j=wf{P5z82T`Xwf~^f57q^%-7&kIlsI;V*Y+y`m)A+iPg{6H|7`P+P@AoUxaJ_`M&u=Tmzn%{|Qe|L5Nm|uYF z{=I5GAJ_cfctFhGflr`+K5IS?*Zgzcz?i=s*Zgt6`CMH4t9*lEeh#knVVL=BT=Uma z^V{&-IREa0WBpn9Nc^bzOkCIBcSy|NifexT!F&d;@ilm8%umPle&I87PU~;q^!z`K zy!wB?VX^*HT>bB3^C@EUxqKF)G#{gX{d>GarrX{b~B>m>-2}{n=wa5>Md{Rvr`cBXFJH0`uXx z&M)`am>-5~|9`vrP+a~0v~e*%1lRt4uK8eGU@Ffw<=1?dAh;t*>WK zi243_GVM3OydSRhcei<8T<2eYVyxc>*ZIvi?~SK${O`Q6N9jO+bNky~TF6F!0bGV_jh z{EKJCdmvx zujY--Gv>wmH{e=7-ZXE7kDz~5yd&nX$0y_K%p2l*J}x&u<{RLee^;5;$2EVRGQSSj z{Fk;M)~|z6P%TzregYuJ-@Qyc(|cqut_IzbdZr|EhTvT=PfcB{5$a zSNlC&Fc9a(GAj&v)i!%^NO@^~>N||CgJW zw)}DPQn=3lrh8)jt8l$P+H8I$uKrPAdCXsdYkc)KFKP96nwP-UK1nNL{mXIP-;w5* z;p1uFBj%Ul8b1S9#`>4wJ;{G>UK~%x+pUWEBwX{;W9AoIzVN*L9Hn`R$r@F@Gkm z>wC&PKd$Gevg>0$A3l!zyWBi4uIKxUAB_1kaNXb8=6P_+7B7-{LK4zaP!N!L`0! z`$Vk&HLm`-)ch-4{rj-_m$=4v+ikJ_7r4gPZu5h<_FvaM8S|gxx__(9Kf~2NC(S>_ zb$xBN$NHb(nqM9;{}|W$ROG3c{|HzAo?!kVuKD?6^AGS8?qA2JWBvDW_5W?=@0p+X zOw7M)KFs_8uJ+$+z8}~7=juCR{daIZA8t3_hcD#%u6;J<_u^Xr4w%1<-$uUub20xG zuJ=a=&G+EiUk!LZ=6B;-f8I5J6W8Z2jdsTT8{yILB^G|vq=3m2gee29$#kIev z{$k9(V#i-&{xYuXFS;w{U&8hI=Q#6Sxb_bR&0oZ|Kk4*Rtp5V8`Qv5tow)XQ`Sd;WE%;rW zf1Ta2{-gM8{B85ixb9!-o|u0GpHKd<`6gWbW6E1GztQR!dOP~VxbFW7^9{JpzvAAQ zf5?vijQNAO`d_nsF~1(y_3t-dXZh~$#Qa+GBjyj7kJ%sdYjC~a%zYsG{kWb_N0_h1 z^?Z5K{61Xk$E0^-{d;kJewFLJ=&Nv@-$?V7xYoCC%~#->zixa#)?bcm{@HGR53cho z`9aJt!}WZ$*nBCj&lk@9Fy`+zUuM1p*Ym+;AI1D)T>HOq=8N$EjbHPHxc0wwK92S8 z!gc>Qn%{}*^NmWM#QXw$0^@hP`FzV?{b|hKflng8%X}WL{Y#V2V*Yk~2KhJ5=i)lQ z4xh*T9IOAX`D|S6*Y#k`--c`bc*}eiuKwHLi6Ursw|| z-^h&9qUiV$8!bmnoq)$@s8ib{6zC7%qQTQ zAI|?a=Evh&UuKw(!~eJc`Yz_j;(C4+>_e!I_nIIjM2?hi3P3|IeMVLlYs^H+`^V}1y(@!QXQFs}LKsQDmV^Xu5dvHn0@ z>raj&(FfoY=s(lV`{P<4^86I@{c!c)LFRpNUH>oUeQ@oMQ;x>^y>UJNyk_1DSNnAM zIp%M{b$*|j_rz1U{%*g-d=FfoAH8Va9oPQ1)UlZFhO2)rGS9%(K4%<{`E*?8H^e** zSO42*o{DRKT;oKnpJMq3%#(4gzxjTR`L4L$Z*@1n8Q1uG+Pn*{`Jwp9SiiF!f4q4o zJN|p-9dW(CtMpr}-vQV2+br|;xaOzB=IwC3e{A=Atlt*b{_qX+Hn^_8-5)XE8rS)6 zF>i(I{uekE^Ect@zXQ!%;(GtP&%6b$@zXq!{jZUdb(BP+Ij-~DV}2v9{aLAOG2aYV z|Cnap)bd}OH^EaFzYVg-`i*h5?`rcK@MQ9*pBD3taP4n0%&*6_J{&M_i0kv0)Eu#X z16;qK{Em5jT^&WQPHxYnOk^QySU z=Xd5+?D);|#`=|Uy?=hlyb`YY{mOhXUlG^))kWqN?D)sb%i|g!ZS%+a<#5dpTg=Pi z+Mm=oGv>?SeYk&5o0rD*{-<<-m@j4ZSD9ahkEi~XXT|)LxYp+f%&)-pe*64_F<%nb z{5s#f1g`n%xcTL{_75Ej#rl`wy1y@)Uy5sgR;_T%UxI7?Sz%rr*ZfnoNX#eU>VHek zFUGZhJ@@RGFNSM=Txxz1uHXMDQ8eZ+#K&>}R+(RbYkzymIWd1euIHQ8=I7xW|7V{Y z^XKAP{|B3&gKK=hYhDze$obbfFV;UBAB{h4UIbVFtaX0O7shq}*P9o@^?tMH1uNm z8m{qkt9f=@>sOvjVm=$L_PN76fop!se`(C0`ZeqK2lV_f#{3Ul{cped@3`iN`j^G} zzv1d%JIqhwx<3^!kNID5&2O{KPvBbL@|1}A~>a$XtpM{wPrvF3+y^}hq=KjP}&HLr^Ge=uKc{ynb#^{e?IT+e5N zOU3%%;ToR@%)iAoK5Cba`ET&?wC@JB$T0ibJ{{+|iab|^>{}|Wr9}PAC2v4Q`J~00f zPsZz3jP*ajwLiMY{C!;eul$u_{ykjhKfwH5T<3Sd`~a@=t5rGH-*3Le{2g5L&q?!r zcKmi#V*R~Vf2;Z1xb`RKRgL+#aP^OI=6i7M-+ngVjqClu$ZE0vo4ES#Pv&n}esJ}e ze;rr*9x{Io*ZkA0M$Es8Yy3ZC{tB-BUBQ|$|1#c@{@369C0ytCviUCjfBTPGvHpv= z_TQV#U%)j!OV*D0ow(Mwhs>YH)xR#T6Z6mEI{#7T&*Ey|_sn-#{n}T@`p;PXh2~FN z{;27X4P*WxT>HP?<`3e!{{80baXsJFx<1xlhwJ^rTJyEIKHn-yK5FT?fxQ1ix^UyAGguQk6LSNr5|9`j3Z^}k`}i*b#= zkIffZzJ7~Xe<7~@--G6N;p#u7TgLpIxZ3wo^98t`AL`u{^YbnLg83b|?oX>$F+UI2 z{`7$P?YQQbR;^=xF0T1|v-uoc{qKS{F+UrhOaEJBejA>OU)eV1XW@E2m}ySzZ{PI% zKa;%XzaK4sD}Fl_dbf+mpMg)re>b0wYkx4Veauh8b^mj9h&~n9`+@o9Q*e!sQ|6O# z_3zYs>-;O+9P^`aJzp#}A8E(W+coA#;CFETcbgB#=i%j&V}2N}{ofArp}6)pjZ$KM z2(JCbPV>R|c#dB)HRcE5dVYAqd?2p=m6R6q1908nN#^}=txqS-`{A0Od!)zueQ~}2 z-)-Ip*Zpgh5%axqt#4b*d*Rx@)aVxTw^;qn<~{L=wC^R|W4;Hj`SD)!?zlcb&D$g9 zyWw4^pKhLEzQa5n*XMi1ddB)`xIRA|YMzQGbNpA$Q|$PqZ;ADjaXr7xFzcw_P3kNJK}o2I;&62cfhqi_BL;ix8wR=GjC^p zS>IT{Ew1w$W!?r?|2bgZ8rS?+v0tp;3ZKaNEi=Cf*ZP{&KjvHFI=?CAEpW{rpP4tu zwZ1hR5bNKFtNk{bH^bX-{<#Ond{bQgzl(VjT;uCe^TxQ|j}{sf>)(Lu{`WC&gzNe1 zb@S_SjlVL3WBrD>u78qw1N)>j?D~HE?ZCvZqIP+S#)`w%}HSr0Y|Hu)sehpmf z^GWmSxYobnBV)cAuJL)$yeh8o(Q;JGSHU$uK51SV*ZsL_bj(-6_4~Qg%q!yR-zUr~ z;MzZS924u8$MyRk&zqOS_553XY|NL%wLe&HUIy3vl4o4Zm&SE|z0FJET0i!gUxlY~ z|7(tq^{=$!-)(*cuKn35^OE>@>JOd}>zBZ1;z!Ld$JIZ_O^o@=%oCHMUy7^$PB6a& zpUCn5FfWel{m1ypv3?S+=i}3-M8DYTPc|=xYyXsUYRq4RYkc%EztDWY`31P<=j*1$ z`sd^7e=E(;!_|NDPLKI>t^OeMb8xNSd(4aCT7OE-i1p9L)jm_ri{RSd9x^YCtN-=5 zHP$a=$N$Q_Ag=l4x|uP57Oweaxp@J6BK@n-te8I&*ZIvi&yVZcMp0a=Yrsw~B z54Za2?`YkoRmo)e$U6?T~$>z|Hm z|NDt~4qW@Y>u-&>&{$sE7HyqM31Ykc)HPvDw=UN=8=BJ1}DG`^eM5$pef ztNs@A-*JtPv**YBZ}@o5f3*2YT$)yUf49b$(6miTQ)L`p;|TpPM&X9`m2!x<4A&N{2RFX$5!*#aoyh%Yh(U3T=Umz^H*`b-zm5*=3l{6=|6qUU&gh5 zzhV9ouKQPQeXPF=*ZDte{vxjSFaKc7zkuuc_7U@)xW;FxhhqMDT>bZU^XG8gpC8Ph z#nry8HpKcnaJ~O~%KRBz`;T%D$NbZ{`qzB(r_9gV81vh4J^#%ze-hXGlV8lY;cCA| zn_~SZaJA1v=38;KPoYO*{&8IWXN>t{xW>;x^DVggN809C|504)^B3lu@fP&&4v)tC zBew<3?l`VZmizXQx4#MS@aFkg?WeXn^u z)?bHDr+uC>UyJMcq2bn;e*oA1Vu$$}T<-@OJQ4Hv<9fgOg!yV*?N?x1%-@Hr|MxP# z7uWu5ulXum*WdifSbrt1_J7BGg?W|jF~1zw_`1XV9$eRV!h9L7{?X>CSbr(5_g9`!~RRA+GCt!Tc^={?&gj=5NQ-^E z=DDoDebe**ZRBTrbD`L|pUFO!Eo&0*?Q)`FLFK z4{v=X)*px8Mn2E0(Z}MW@jK1O;ClWp^jgf1#k+|N^w|YI+AAxKC zw!?fluJKpnjhG*X>-z39ABt=I6n``3hv1q&Mw<`D_4&#H^FeqT*I#aTtUnOf` z1908n!{+^QwSWITv3@^X?fZ#&UwjPb*Zi%R?}KZ8eAT=+uKD-cw`0B+uFn_mF~0>@ z|2Sse6K~1+wcH!)_rP_3R+@Lm)xM|9yWu*&oA<@~8MyB67V~uTeDB138m|3as(C7| z_S=FSicLd^>?ayXI%aBQ}a%^`cKNcv3^Hf z>)$@}4!HVvi}zx_z2$e9x3he$_hY^-uJvWTc^h2scZz)w^R02s-}B5{;p*SNncsw~ zecOH*>$k+Uer_^vf$RJ)_$cO^<656?Grtj6`~GI$3|If`^Kq=-6xZ|7E9Ombjo%AC ziTTF3=I`F-H{jY|>^Ei>sA%EPwfqApfV*UEK=8u);*Ws2@yy?MM|7u+4x5~T@uKsn*yf&`>-}8%DzZS0f z?=AD1xZ1z;moZ-h*ZypRd3C%w?fa>DHC*Gb!dJ0=Rr8tVRdBWMLG#ME)|c8}$NH6U z&3{YGE8?2J&-y0jE8v=c2Ah}1Q@Q@H%*)|A|Hj|O`eiM@!n_QgO#Rcoi}}*H_E%}< zrEu-vJ~F=w*YicYL$UsqxZV$bV15Oz_uFm1kNJ|g`tN(@C2;k>WTPP$IY|h`h1}GAF+M{*ZZH{=BJKl z{r-TS?`xcj`9E;YzZ=Yd$JM@9Bu@M5O0sc1zu|g6Gu`~8d68@}|0_O;ddtmE;OgI( zW{>&fxb}|^m>)pMT^%J?4+#YTu#e zhjBgM?=$}q*ZNyOXRQB&9sf!5?{UrVC3D66A$$_|XO;PP_(;4&?wJ49^2^P?!PS13 z=85^Q@ov<=&-^P~?U(nAnE%qem-!cX8uec>KZtAoDVsOe{~Xu)G1L4rT=VNe^G|V| z|F!vI{ZFj^3iFRGf71LTJASA9vHpknD6ao8^AGR|c*Qeg{(XEr{)qW|_*lGBftY_6 z*ZA9LegN0{aMf8czaQ87I^FyoT+i2^neW5Z|C$zz_4nfH->;j$ZTUupV*V|B7}x)@ z`5s*7cWvRA-;JyPtu=oWPo{pZA~F94uJ-G0{<VIs$3)lFnb56{^Xvbe<{sKOO_A7X9%c1TJ8{+@eD%s+^0 z{0}r=Z~m6~I$ZN}DUxVxYeT&Ot{rj!{YV*~&t}pxLF@GPf z^G`Fs7gzf}WxmReU#vu|ztZv}%~#;+pYNJ4$2I>{DjDnFgR6hcGhc?M(Z7E&UyAGb zxx*E){@u8qzn?K*f@^+ibY;vh#zWMc~WBogD%|G{>&%@Jb{}bl7r*Z#&F&~WU^OFuWWBoz6_CL>=55)EUvtq57AAoCo z+-u$+*Zh&KcFgy~^?aRX-WS*XdC9yFuKBHGomjs&uJwI{c`sb^?_Tp;aE;GWSI7E2 z@%FU;O!FSN*00aZyW_gP#&u);Zsu#uGjPp+Ij@QNbX?6({%H$xcbK-^P6$CfAi~N{Vurr-v;x}cKm$xW4;rf#`O;{?})2^ zzHQzC*Z!?$gIK>kuK8h!c{^O~|BHEBd_3njxM8f{2G{*LYTnxFkGekQTj5&2PMF_h z`LT^+z9p{p*GfAhPckJ^o=p!0N48Vpm}{<^UEd8WBxi^ z&$r{v>skFD&9B9^K4!Ft^{>ITemren7uWh$p=Hcpjca@@Gp~c|`cIkH#x=hTzA4tP zg=_uYXI>N6{=Rvun6H7We?D$r9ZzQb7H%E$)o?wZ4>GTcw<7{_T``Maz$98|zoVwf-G6FOTc_u}-^~FNdpt-f3PI*Zh9eybP}X*Rp-AUmDl? zzRtXq<+F8&`Kv77$^1%O^Vdf6D{#%PmvoHvOX8Ye?l&)itAAeJDdsQ7C(%EanO}zM z{ub{X^OxetpKba2sj+?$ z^Ofd>aqW*2X)#|2*ZA#hUJ%##deoe5`L}O+{y&R+8b6UYJs!URuKjag^D}YX-@WGf zalIcZpAqZl!!`aMH_wYt;{2+1i}^DwztubsuKjnl?lGSm*ZRA~JQuF}U!q6M=ft(Y z9&dg+-iGr(Xr2St_1Ekf>z{^CBLBE~cFWhgCFZl?+TUz7PvF|0Rqhq@r;cU){($z6 zTg?B!_4!7{-ZB3>uJ>=t&40u7ekezum_Lc@{mUrxU-2~B=dk$+T=Q4!zOnvsJemAP z^JBQKuVBBJ{{`3ik2C)n*Yo`^=0|buFEjeb`aj|0IlnK=kKo$BbsG@#hjI1)x6FUU z_566#z?lC5*YB^rZ2mp2@n39E%pbxvzDAgThiiZLwfVQW_GdQ@j`hF6HGZBl{~Fiz z)gBV_U*X!{Z8rZB*Y)KZ8uMS^`u&?!^MknF|GaGeIo^c(TX|Tl{~4~|e;sH3DX#hH zb@NYfo&OcXWBreDy}y}c{t>SI!(Q_bajj2PN5uLc;M$+gF@GP|`uwH&d$_Kz!N^$u zU0n0aJ?01SF|_Y#qhfwPJ`x{q{tmAB`&aXQxaODUqhtNOxUO%#`P;bG?=!~4{99H( z*?bSK`@7wIx79y)Y^?t#-j3_sf<2QLitp6ge{n;+_7tAl481p-EtzYBKpU1Vn{$lah+f8sWJZ~uIIO& z=G$=X@830l0@wX(HZ9iQifjFQ)ckQ=>vQGlG5;8@_FHAX1=snXHY4UA#WnvAHs6fv z{mF;skKmf0TiqJ#Z^AV`?la$rYkX#(8S@Y0`u&My^9{K6?{AwwglqloJS*0J5ZC$b zG+&RW(Z4RaE#}vmPcdJMYyJ7k`~h6^*R``_{Wa!G%E`#~>c3~si}_`^u79}sQe5lH z>*jakEx7-e-x2FCF&|>S7}xx`(|i%G`RB6vvHn6_?LWo*EzuoG0yel4muGRn0d=5T=BeYu> z^RscSZ~M(}!$*;Cy(s2q;bZVO%xB_y{%X27=5Mw7&zaA_^?u{(B{4r8SO31xd>XF( z`APGsxbA=ByJP(+xccX6^U1izcdn%|KM9{i`*bp&i0k?1L-Pr^=7+Y+V*T;B?(Zw+ z<8VFSHN7Y1$KslQpEMtXtN#~W9`mDdtxp5YN8##U2hB&~dVWk<5$lh@)&8%U5687X zD7!M|hv90!rRGC%?GFmAiuob9=GRH)gYh=p-$UkuaDDz(@7`E{Ag<@HHRc0wt)Gee zV!l7F{@=m8AFlhm!Mrb?#`))29qaeOb^m*t_r^6oUo`K9tN)d~Ki0nm*Zo;$-V@jP z6$Q*Two>@msmR4dyrFB6Rz{`Z{88t{dwKI z1FrMC>Y-S_J+A%HTJv_e-anMz5c6$uo&S9EHh3ECbJ)B!uKU;e;aIa6O-WVBQqh{-^UJv3?U=?fFpI z9kG5X^T*Av!Zkk5d^YB<#P#22_A|c%SNpzeUJ@V0__*o0Sic0W{qt+)m*Ydp-}rpY zUxsV{`@H$3xYn2IJ7fM5T-U$Aytw%<=1I8jU%MA#{flvppJ&XA;hNv-z8Lct;ky3K z<`?2x|E}5<^B3Uie^boQ$JIWcnV*Mi{9f}?tbZ=9`ROV1bIhy19P>r3{wDLYarLkA zuf%*2T<5>WyfCi)>FKY=Jl*PV-}L-nh`idbgXIh28lR7upM|UaioF((UjWzh&)w!{ z;@ZFFe?8{&<2t`|^L%)FuJBp&ymtKa--z|kz}0_en&-haKc4Ys%;&b__chOj>-t_W z&xz~)UbH*bKONWlH_|)@uKn8q^V4wk-%5L8{p`5ruLsSu;d;Mv#al6-z%@VJV}9zF ztlu9{|1SJ?%>RLFewk_hJFfOSYW^Fp>u<6*)<21BeZ9~8SMzN9V*UiK`_skzxcL+2 z$8dfAbj~}m{x7)pccaaJ#&!QcG(U>#{YIVrvHnl^7{ulXTd^IN(1V*T%M?GGlIe~WAWIbi+`uJddBeysnsAk{DYYP5}!x=uQvYz*XLK&KaBZ*XKE{Kt0uG3FoPnm<1@|IqUFK8f`|z%~D`GJhXWqkXe|8uRbr$#}Z?yST>R^X3O| z?Vn407VGcFHNVa>e+Sq5gPfno{62gR=QqoIFFpys;9$(ZjnBrHnZJdrf0q6t=J()p z$v*uKBIQ*D?PpuHS#!Y5oeX@m=wo zn1319{^oA;mvD{G)4q-QU3ePp*US7xT^aBzZ=b;$Mt+$_fX6~ zhwJ^rbLP+Dy8n&7kNF+A`u~3OXK-Er)j!1i)42BUE6kt5H9!1jz8%-~CI1-fKZ$F9 z@wxdnTx^9{K6U$u|L{6o0j-!C+O z5ZC@B_wkrtk86G%ZN3gy|IdCR=GWpgxc+J858(R!hqHc-`8Bxu=R))QajmZxo{ag` zxccWP^ZRhkKcAc5i>v=M{VmpCh3o#mV!jgB{L}XLm|uZweSFh=Ij-}o_(#m&gRB28 zHeZJ8^MeAXVty&E^=py&-MHHK{6vnw?qoLZ=Mr4!H^O`|uKxFl`64@h%WSd!LR|C5 z9`n0!^^fH2F@Gnn|GwdK^9A@su4lk$F+bn(KbaHz+c!P`-$6c&pBSGb)}M!`v)Nn$NNN=jDv~+2&)+Z!`bId={?xu|cj_ekIe_;>R;Up$NV5%_xA_$ zfmVM&k(eKVYkzp$yg#n>?dG#%z8{{>{d>{8FRuGns%Xsj!FByB%zNXy{wvOj`ChoL z|6%i6tbWCFW45F3iW?a92v(UT?-ks~qRV?N^+l&+Reqh^v2ByExYGVELuy?Qxx7_N16^XWrAiEw29mrg-H9u}QZ-(prb;HYJzA3Ku z-(lVaSNmO2BIX;LKWu&juKroQWXw0h_5SsK^XqXvA6|Av%s0ff|6O3-0G~|z7QHg& z>*M@x+v&j5vT%SLmRyyYE z;G?toJJ zF<%Bx=KT7Zm&Voq-Y_qPtNklhj`gp?_5NzU`IVOc!Tbtb{ikJ>SidB$`FE3f30(W< z8dYQda=aJU|FHRGxZclPP%Y*!#r6AzBg`+swZ88$FOF;eXjeVfPr`M5yUj1gHNM-| zi1}ikH@^ti`{njEWBx*1<8Pn&1$al=uTrg;KOa~7-DZ9suKx3_`MG#H^_$g>_0Pd| zejCk;;u`;F)`|JE@yXQhW6ody?VFzei;$nhPaL*;8Ug zo*UQugGSfI`nm9Q?#~wUoVfNs=hu(<({Z)`0`nZW_Lry3Ps7!|LmI^T*>UxsW9Hd# zjqi~SV?Kdve*MY()X!PJKcM~hjn~KgAGpTnX7k^1{qG+YY83Oo;hLW&o1err|K+_Q z=6}W2K6A}a;9CC*HIDh?xY}o-`7vDUN5LjB{|m1EJJ9@RT=U24=0|bezcNi@{hx4M z-^1odaJ@gR*evD`3H@VWBvzR{kNO>_qeX_P4h#z+OJ&mSpPd*`-{2e z-{RvqzZ2%);J4z#Tg3Wb<7(gREu(*htA9)}{}NaG=e;TBzp(sm<_Ga~&aZH*nExD4 z#)p}IhU@d6cg#P<&{v%xP2UeSZh>s^a}!^S!v9 zFI#nt`M0h9^X6~intw}oiupab*1vh?yK%M83G+8`jh_LXWBoVq$+Z7T^Vf0hf5&x+ z`Pc9<6RO?;ToSeX2kkW;MyNNX1*2I=OeYd#r)&A=D&^RkKvj> zigb_pEx7hiBg`MgHU8f=-;8U0Y0x9qe+2(u`>l^!+1LF|Eu{1 zd^~>hEwTPXxW@N~<`3eUzdH4b`SrN=Pdm)l;Tqo;^^Whd9e;=;#xMs|Mr@%z>~Ru<@?9{ za$NhXx#suadj2dhAm*3hy8pMCFU56zXAF$_yK&8*Q_Yv)x_^I|FSh*HL9zZKT;t~# z^M$zD_m;sie;2OtwcGqoT>ZD)keH|0|MpGK{|m@#e>cWH=IzAnL%X}LCzxi!c%umJB$?q_qg6sXm<)dSMGOp{p!+a8+ zO8vv;6LIyQR%2rQ3Aom`ZRX=~-QT3KF+UF1{%@rDSX|E!2hGRen!j3(i}gq2I{)?N zqj2@FBI9FzB(D9_F!K@k4BGEa^Wo+lCdB%~aLs?8nh(YG`wLws#{3Xm^V1>o!MLtJ zWm3!!!qxsSnGeJ@zg3ogRa0WVAFki;S!doCA4|U4)R^ys>-pnR z^WM1Dr@GT(z89|j-&5wdSpK@{G2hdU|EzfrT>IyyGh)6wuIqonyc@314{o|O<}+~p ze$h+j>A2ocwVfIBX}Ips8|JBaI_=+LR?Mg1+MjPWPsY{$g>Q@buDGsmp83s|&oevb zyWraYPB-t2YkZwCC+0ih>i^TsJL1|u9x?BLYyD|FH`Z^D>;7*yZ-;AqR=Yjs+v1wv z?=f$K>-}&3c`@G_*ZMWdycMqX=ZN`DxW<3`J7WEoxSkK5HgADz{!E%5^UZOsKO@X< z#JkY{-ZO88>;6?=5bHO^)xTDmH^HY-|NJ{+zA-)-UtxX&uJL#IT`}JXpG1C>`Sn)6 z%EFj$X!W<6H^9~Z8!n3Z`gZ(X=GWose@zz0d_7$2<0IzR;@W=~T@v%x;5xtA=5=ws zpE>L9n7*g&=X=I{30&{L&E`+ynm=V{#{3iJ zGtGpR)c+{v zAI3F)j+y7dwLT^+i22;O_V)+ObKzQ_pI#XAIdSbjCYe8k>;0K=QOrMRKEON&uKn*d z^X$0Rr`8|G`VZi0|KsNO+x43*j`?i3&c{ER--m1cd2vb1XT{Y&-e5(03$F3G%RDolz!jcc7W0{KjsN$}GveAm{B52A??L_A%VYiYxYqBz=IL;)Pp_?r z`Lwv^@3-dn;0?Hb(Umcu25*XwGEa@`{w|u|ZQgEGtbZ4tNd3Re@5D9!+N_TGJ8;dP zv*xLAy`NjGiTRYc`frDM3S8gE^L-NY$#H#O8fBgg*Z93=C^TO|KW8pf6IKP`AuBU_u%@NzhU{Q=GXDJ=>Ke=#r!o~ z`{RD*S8=`nj+kG;)&I|Ii1jbyI={>?zl7`kd(HeJuJ*6JG1k9;YkaLR{~OouCuuju z{CQmc)6e{zd6Lg#{w%Kk>1qC#8&iuI4;O=-Wy=0D@wKV;Yz^FQG_zxFpjf@^%9Hb0E({hqKr)<1;n{r;W# zL0tRax?jiqk9PfE%n#t2|Fw3+{C-^TzcuFjaP{wfJ7fL_T=zHBd@tUg_RsK5%pjIRa^riWsF72Xd& zXTB2G_9zwA#jzXaF$|4Z}5cvG%l=I5CI z7}xVpGhc-3`(m!6F~1Pk{&=|g0$lBP-TWiGKlj(`mso#3uJb{%U!%{%HNX0q&&Bor zx@A5G*ZgXIEY_cG^?xv*h3oxS<+qrhiEDiBH=ltgYJ41z`RTaE?~mrw@c!hRoQU}k zaqSO(H=kHydFJDB{r;HY&zK*FcjpeLn~%k{KHh&i=EvY#f4i8E#x;I_H6Mj* z|6J`%tUnUh`n$}01m2YU&-ho&5688C>SR6)*Zbv^`A}Tn*WNiB>kq-z|0m4{<62)| zIv4YUaLwO^<^yq!kBsMIegLlXcUSZNxW>;3^M1I_f0h4^_50#lzvi3w!8JefUx@ic zT=Rdvd2d|nORQJ{>-}HppIE;+uJOIeycw?cE&p%KH?{od=1uVajGqcgQvTon zEh+zVV_frdn|UL<{!2+?J^|PIvdz39uKv%HEan^F`h8%a`J1@T4>!!~;{$k}4#{Kv zdgj;7-@vuL^-2-*b#a{!Z=2V_)j$1G#(ZsD?VB`J^w&LaUJD<<^Ci6_=4;|=pMmBz zaIG&%?u_~BxZap`6`z0W&R4T=l{*T zGOqRc&D62}%Xay zMdnZ7+TUl%67$7zweM*2Vz}O~|CkrWwSRi&-dMi~uJ!SZd0~7o?elKdm@kCu?-OsB z7sS;+L+*?D$8o*?Q)i1_!15E!AH$n*fA`%V^N-@1pFPd<SX8wrfUwa_d&xfmj z*O=$U)qgp&$Na;%+JB^Z9()APmpMnw=eGPz^IW*TKR)tc%;&`QePN~fL%7!8ryq*> z2l3I|-xuaNaJ|23db@t+d@-L6*Z3V|o)*{qzUPsczX#X&nP{HI^7-?}d}_P?O7pv|e(6VJ{w};3 zBj9WEJ8_MlLXXA#9k}M#2j;18{r;7wK+LDa_5Ph`o&wkUk^J$PPmXJSZf~9p*ZO?j zJSndAWpKe*KMAh>%Tg%%zZd`a_XAqrXPEzkYy9Od9P_tvonNP$-@-LM9w-v?H*u{G zi_CA}`h7K1(U`w(-q!pYuKm^5=2vme|NO;b{VTZU|5)?O=GVrNBn*W7sf0d&|%%8#aei~wa+B{>) znEw+W!2M4#{{tV7=PVWTr*NIWSDF8g4<%o!bj+W${1)>QxXx#l%EbI}T>bZv`ER)P z_i3Jr`D3`+zm55?xW?xJ^IveC&z^lc)<24Cey%nD86QCVy!cGa|AcG(*=2qNSNp#4 zY|J0VH9n4;AHuc1wkaF)2k~ay-;d@$;#$9-c`oJ;;97rInD58+-w!BLF6Q^)nm-H7 zf57$qDNXs9-;3-0Gr)WguKiVp3NimZuJ`vW^Y3uAZ~lrg|1GZPUv9n|*Zq}#KIV7X z^|zXTgX?@;xl+vU#PxpOV!i`c{}*^6=D)`K(fShsUxU}> z{zsax#`XNao3FyPe|q+{Sbrt1?+@$ESK#_SP_$aiFSqN@GGB)4{;!)a#r6EvtH=6F zaJ}CanlHw+|4UON=0C>u{uyk(2-o_YtY*wFH1BM_0N45djQK~n_J4J2#rpGcjgPhF z^Ki9a=GS9>F0TD)8}m81_IKOOXXAQ*rcm< zQGcrWG+g5|Y2BFr5ZC#(v-wn9?f0ko6kPXT;f+{-GOqP+vN^Z?pMP}zpG02c?~>&w z;u?Q#>&5GTVE&u=1YF~C8S~@t*YLLHV{!G*M)NVa*7qkG z#QLN0>eQcSJ_^_UT{9nv>-|-wVXQv_SNkqEA8wv6A?AnSTK}h*55+Y;k~WI@A-Lve zJ@dhqUt>N9SO2AN9P1CXd{grQxY~cCd4F8;16F{9Ro4pZl$t zZ;xyIcQ;1mp{2g5LtJK@Eep|c#So1cx`uDVXYh2G?xpl1nHm>!1yZKxA0NS^F zo0xB9^|zU~#C3kE*f!={;OgHU=FM^a{#^N;m~Vz_fAqC^Q(XP`e7l%$f~$X~nK#Du z{z=k4<{RM}e{IYYaGjt2GH;0g|KHO8|NqnO-B`Z?KHz_x<)-<|xb~loy2tu2;p)F1%wNR&^Zal0i1`=rzWC4Pm2jPp6MDw{^LS_S zJIyQN`u<(MSIk$ybv{{WULM!{P1QT*%i+Vg{t)x$aIH_76Jx$CuJ1>q&7Z}!K4$9^ z^UvTKKauW#rf_Mk=C(IwmHUH`kiS-NMy8oZdAH&r?HHXIhqqyD=OU(1*`h70Vu$X_uuHVf( zAFlELw|QP%^Yh)|vHruj#`k6OJhFwcx@ecNN63D^Bs86WFs#P$7PzIg_`9qn_~ zJUy=Q*W&$HKOLS({#Wy~cmm#NLd@S|zS%qtuJ=c-4`MzwuKSyAemAc6%Qi9Q?=l~6 zekZQ}Pd6#%@4(f+ZOl{Q+TU+CPl@aIrCgI^{S>&y$7u89xcWcEl$cM3>wM6_JSndA zYo~b-ip>8S7ub z)&9NB|Hd_belkCA*DpCM)<1{q`_y>zv$&q`PxHSlUw(G1f5xsq(fqX4zij>|uKuYq zC)WQ1*Y}lq=BIFtue;{P{O@-CX67exoo_anpTM<#<(n7lAIG~gerK5fhHHPDZGOxj z!*#x!V*ab;Gkp~EzgYf#^P{-d=X(~!{Li@d55vrV!u9B5*lf@^%fZGITn_}*%M z2-o<_vnbX-h}WQfyPN-r*T#37AF%7^{W#X&k8Aw(Gv9~n`}h&_A8>sitF}1S-;3+{ zcAM|Pb^rO6#QgWTeqZcq{vEFU;aT%k?+MFd{u^BLZ?E}I zTeSrPNwarIv-^KH1s-xl+)aIMcdSH}8ValJqLn16|De*9wo z1+Meo%d2AjEx7g%E6g|JYX5wzWBzko?LWzU6R!5TY`ziK`uggcSbqbq@w43gGhF+F zM?Q)9_2zxe*WoppzdxCOitGJVbZxA^7T5WFkohOL=HFlDYjFMk^8BZ<{%Tz7+hp@q zxPG6zWWEyb!ShvG7wfOU^?uo6z8u&3{q*{nUxurF)|oHGb${tUi}@wE`meG1VynNw z{9|0}U#1PQ{vurG>(S;5ah-26ZH)N^cKv?lAK{u`2hHc>nxEx1#rpGb&7Vc)bMXZF z?~c!7eh#kj(ZYN-uKwF>J_}d-l-(Tb&&1WfTg+$RgSfx4TVj4XuJQGi`7~VnljpvO z`426>#eAyepZ+rDxvl^Fqx1h1@>*XuT7ELF?~hMxjrAwtS|8V$PsH_pEcjK-e}E@& zhs(_;;M(73*cS8e<9dI$H6M>_d~G!!XP#?&tUngl`=_V*7+m*v#C$Za^`Z3FvHmDr z>%%DXk+{~+U(HA0O=-Wwk&eG2hRwzrwsP-i+%%_HE4f!8QIynJ3~} zA5WV1#`S!!ei!TavieKRd*WLEQhp!vJ#c*=XlULY*ZREKyc@3eE3hZl?~3dD<9zcj zxcay7-k9%<>-p!Kcfz$lyyJ(M?}%&uwKVU5Yy59De-GFGEdRb(|6N@7*T=j)uJz$p z^LDuA&vW}@{daJ!kL%6b;(C9SJrMJ4aP1#HHE)fp{WAX;^Kav7pN{5l;Tm5*nzzE$ zKE)2k`Ymy-Ph-tn;94K9m^a7!B>CU}>2N64Z-x)RFPk?t?{+xmo8VeM{xxrmYkc=P z67!94-Tz%bMNhE&AoGTJXYN1U&oSQs*ZFLq`J1@<@0@vkT=T#B(OAEp`6}}_tp2^f z#C%;`?~ktLb#RT(1Ln1Hoga$*8tcD~Yy3?#uZ3%VT`;eSYy7l17VFo*wf>zoua0Z~ zQ0KRpuV(dEnZJhX@9UpD9`jZ40rdZ7^H@sk2k|FnwP^9@H(es{yALFx7NHYuD^f0|4ht3i);NJZvG6e{l{PCPvaWD75|F$ zpThP1V}^MdTM{w<*@?DMje7L^94lvJa*S})^ zFs}CPa4pu)gR6h9n&-wfzB*lx`CPcp$5+jB;+j7_Z^ZmVxbE+|`GdIDzaBSZJ_oMv zXTO-!?f>~l=l|^FwSGK#E7pGi*Zz9A`Te-w|9_ZgGk@WBtbZS_{-0}}71#Jp@lVX( zYxSF&XTkOR?iTaRxYn=2|Hk^6aE*_(<{9y!v~bBJss8W(mX!ZF1FreI**rbojQ@PW zq%ofk*ZM!!JT0C`{-XIkxYoD#lEwOIaJ`>zn5V{de;t#@{N1?rr-#h%!nOWaND=dQ z;(Gt>G`|Da^FNa^=2PJspVQ1!;u@bf%~Rm&pSr1H{p7gj=T`G%xYqv{?}+)NxW>;8 z^CY;Q@1;9q{@=g<_xA%@-xr$yW1i}+n7@td_n*e*w{V?5518M?_5Ahjj`eTgTAzM4 zzmDtv%cqX{Yj^_VcbfTCTL<1_P1xcpd}l5g*9?4KTl8 zo;q#J|Bb7C#+aYSwLiRUeh%07`P%7X{j+!f zrFbajzrnSBHa6dBzR7$CuI~fcbH@5#58F#ihI_o3vuV}2{H z^T(U!U*dW{tTF!r*Zj+nC)VGBYyNgL-)!~2H~$>h{CoW2Sbr0)^?8K(MqJN#!F&U* z{dMKMvHoYc_Wujb*W+Co-%0bu{5o9y*UkJ>TA4M_nI@^*=GcX1)g3^L5T2 z^Q&=<@BQYh%!@x7^DA-9ztQF^aNU2($6|gtuKjI)^JTdD?~3_ST;ro^fmnYDuKnvW z^ToLOC;Q_u|1qxl`JwqDT>IOs1!I08uIHO%z5v(nm#GWI{71N+zlr<=VNQ^Le=X z_rAih{#-nP@!QdS4zBjuXFeO(_mS6&#QL*vjlUh{GjToNqeWwW2Cn<-Yd+ob$IPeU znqN;9i}iWz|NNu#|A*xDe4ko=Dz5e~SUlFBg6sRt5cA1)e>co0;aY#YJQ3?p#P$7l zulWa7zxieUSMWT>XF5d^E1{ zUAt7QKMGg-tTG>o>-$HZ(lI{**Z3T5J{;HIFZ^LX3|IS=Efebx#dSWIU_J!zp%MC2 z%n!!ZzCFwb;o5)RHXn#<|C9K1tUmzP{^4iy{ z*Joq>M0_CabIZIpo{0A?8}q$zy`Pdj7rm!>AM+l#_P0sO#e8>M=eGgo-Egh{7tOok zYTwG`WBo3;{`+?e%{$|I{wx(@zLWX;<{j<&St`bS2VDKz!Tdd3=ZhcB-^B;gKV_ef z_1ojR|E=cjaJ_$@uN3p|;9B3dnYYE&{?EM-^KEdo|3vfFxZ3}!`P+DZp0DwXvHn|l zOZ=pHD_rlFS6_F3(Z^L3HWXE=H_p{9P2m3)qfkzo8pbA|8V7)Z-O_+2bed; z^?awz8{s;3+P`J1@Lcga^{zCNz=^%V1ZxYp;} z=5OHo{@kl-tX~(`{il2_dL3Nje~5W)T)$%_3b@)YZ{3(LkE?$Z&C8h|HGdA*{^i*>V*RqX`e&;7vzEVZ{tT}DZS8uo{?oYL z|GUhe!ZrS@*N^!!xW?}$^U~&d-i-NDxc0Y$%uC|Bzbob?aQ*#Z_Xe^4lepHmi{?+@ zTK{V`jQQet6UNUP^J3=N5@Nn6uKw*|UIf?rcgVajuJK*JQLJAGAISY3F)xU#eHu58 z`NwgMuS4bq%u6!TExbDBd`6IZ--`&k(J|C|0OK0=EcrDsz zm-)lE-Y>bE$NG72y}#$0=f?GZ%-JI5bKzPaW}4^3H9nHGjQNMGegktJ>p%bK{Qn?% z?SGD1J_oM(Td7sNes)~@yM^Wt*!^XEE9URVwZ9o>o(CIEU6Z7eC z^e24j+crV(&!n-kl z2d?+`X7g0I*8j)fi}{qe+JB^Z3S8swZ}a4Mf9|hIhgd%uuJQA`c~V^Sqj|@ePl6{> z|2Ol0&;Rf52h_ezI>r1yxPG5IVt(85O*_Z@EnMUKC-a-QzAqWEu zWBw0Z<72YU4N$eUR>*c ziXkz-2iNzB!RFsv{$KO&@PUkvenVsZZ*leSUBja9#x*|rneQ@BK0M~X!8QN-neW8) z{QsEm!1aFWJ0jNq8rS~$rulYU{oi9`%x}ZB{vI{|3fKOq^r)EMitGLJq4}4%ooTbqA| ztNnMFugCR#1;@ww>u`;aIp&|@y1)GI$NXAce;+Z({1aT~&okz0aP?pP39F<|6Jvh4`AG9+xYnmX&6k>2m=x9VO3W|7wSSpl{t>SGzh*uk*ZaNd)L4HWuJJY7d@ip0 zOZH*R&%xC`jm>A{djEfBJ_}Fe`O8d;^=IOmU+c_g;QBt6V|vU}_CNpV{6C$%#_w>; zPs4S7PCX;m{}5OE^)R1`>-~G!d+d_uJ+jarJ-g<*|MTT2tz*Ze53D%Nj<>-XJ{%v-jsF*TnVv(>LZdaP?pAO|gD;yb<@` z+q|09|Hb?@T+d(P^H{$suJv=U`K!3jKUd7F;5y&6-5l$`g6sF$6Xun1&7Zfn#Qe*6 zZ=V04`Ac{=yv`Rf|01sY-(&s)uJ!5VFJrzEuJ`|T^XGA`Po=iTd_`RSzude6uJLon zS2156*ZgZ}UJlp#u-W`MT=!RETdZFe*YE#J&7Z~9etEaY{4==T-yfPkjq7}t^y`>^ z3U99dGcSW{ecxza8rS+-WJj!D3fK5rY+e%A_|3jE=1bsuKa4Yf64&#cHGcxH%kw?| zO{`xW*Z7!bUd-xWGB0ZR%DZCyBIYyA3!7gxFNEvw@2c#M^$X(KAI>m;99R3M{5Iwb z;CeswFnYDV zPt51R_5NyZo*UQu;dAp`xZaOB_Qv`&+kgJi`9CLl&5s_Ie+XCmoHl>ZuHX2Fc>Nr> z-Y=WYv*X%-7Ty>058zr~#+u)cYyMp^&xWgis_c*T@58lz%rno5kE8|j9EkaQalIdw zn`gnbzsU7t%xA{+{JqUH;d;Jf<{5FdPw9iPeg=Fv_y3`JdR*)KqlaQX9j^D|O!Kr> z|DnS%e-Ey|KV4*=#`8yFJ~giKx5)f%T;G>+{}l6g;aZ=DncszOiEIBl)cgiMkorf=uj6X}#>Zp*YqO$DVty3Y&vHr)n&SyK#7vZ}9hf~G;LR{@T!+ZhWg6Ge9N6deO>-h$m&&M@>PMgoewSR7P zXRJRL*ZOeKd=9SlugqOBKO0y7e`r1n*Z%9OIgkCHe{}wzNnYolSMQG3pMk4?=a^5& zwf{|@I_9V0dcO}f{}5OIT{E9*^}D2r^{3$4pI$JZjB9*1zbED=;o5&5HJ@nLua!3D zKftyB{?>c~uKjnVbTR+FU4Om#cwFbJqUmFP9A1qc9%w!m*Z%E*`50W^kBVoA^+)6S zzBbl;lwJQ%^O3m5*Hal|{Smn4#~AbBxV}GLFdv5N{rY^SSbr$4{mTsVA-MYI?#wYi z7}x%>xA`Dk>(^EDfw;~euVsn#2jFV|Ip+PXe)4-`z8|jhaeec?xYm~?=6!I@pA1=J z{X|^zdw_Xw%l~WM3)lR6@4i^SC$9DDjCl|93fW@5JFflrWb~N_y`R!N5c8dIt$%~fJK}mjUNP^0tAAT%kM-ZfHNV%Jzl&@BWz7-u?JeKN zydAFo`P%#)T>G<}561d!E#J$$4X*y%XWkmu{4VxTtp7Hy`7^@&EnNM3#=MnXzhcf< zza_5U=VzL?z%@S7=8E~|xbDA;c{5z?x7WNWuJe1*+_8QWT<@<*=8bXPf4V#|-w4E9tlt3F{in(s{Y_l^-?rxUE&rW)J-j*BFO@IWe*D+*4n%_K8X6?o4<~a!RzFY^=sk!zVU~7OBk&vMui@JN4Jr`xRq+<&FPguKYks`(c+6M9H9o#Hf5qxQUNGh>-Efnj&h!5iV?kpVr1zg`JMwwT#`dN#_{PX4?npectK6#49d<9(Zmtp4R zaqVxeo0r2!@_cQJ#rn_TI^W+iFN>@FdKHiPXK}SpiYKB!gX{e{-27==zmMGcWXwN> zYyB8+UIy3x@``zBT>GQiC1U+jxaR*l^OCr}pFdPG=1Z7QGk+4-{LN7+=AXcIKAmP> z99RD)D;@L2aDCtEY+e-C_k$beMR1*OdXc8*KZt97 z4mZz%>+ci(GS7~yedEUpCK#t9@&|5c3&v{r4}|m}kJX{^xoz=F^+cHcy9ZeC2&9 z=F{T6xc|lG_u$&U6nHu2(^!7Bd1_qkTfB12-);G|=6B(G{t~am{GGVgr?uvH;A;P3 zRboCBuJJX_JSDF6{crOWxW;$$S7ZI;xYnN&=E-oKA782(^GR{7&vVU_;Of5|uf_bo zXaD#216n_)nE!+8{%)J!#`S!Ss>S-ZaP{vm<~MPDpKn$@=5OHoKJknBbzJAux;0|{ z8m{@d#{4R-_IbQ!%wNH^zg}p58E?q^xVKi!U&6IN>1cit*Z4eSegW6>*L*$J{~Oo) zahLgdT>V$1cFdo{-{=0vo1eue;yS-|F#iN^#r1ESufg?wx_Osae>JZC z;YRaScmnmaca8a#xW3=_FkgYcL4L3Ka$Nh@g56^MWw`Edr1?@@&v(Xr39kFE*ge)? zjBEcm$NXbl=c`mbVtx^>@!8XSq18{>Gv*iIy1y3YAK@)%zisC8akYP;Ua|f>T)z(t zFrSO-`F}B=gX{O5^1WkyZtFk)==?vMy!Mw9Ek6ra|6etqi6?S}I*IZ6GjPrSAI+!Z z3FK?^iTP=E{gvh);%dLlePe#A)qlr)3a;_{t@&hJ?NhK{tUt+oxcNj}>*s0n4{)u2 zP5a0C6RiHP=I`SgAI}Yl`SG~=ZJav17m(HuJ32f&Bx$6|9odY8rS@*G$_^| zh3osxZu612zR%Pg9P=Y^ov+rJ54ZZIhQ$0ZT=%!pd?>E-Ri&XZKLl6%EixaB_hEde z9TxM0%tx6I#5I1>50Ci)xc)wQhff9*!Z`h9VYuZ!k=aQ(hsYh=tP z;#&VcGVhIR{{Cy;3xAFKdt+3r-_v}dc@Ml6`5Wflaee=&Iy%_4f(e&D-G# zwEz9%WBqqc`ID~ zU+#mLZ;5ODnq=MrSNr^H-W*r^G@KagH^a3)tv7FqYy9S%6!T5&`kl-h+x7RGH^TM) zEH*jTPr&tkd9-;$tAEqH0j~C`JtfwE)AFB~*T*&fGfj>8dU##NXIt|(aP{vt^SZd^ z$3q{+`gL%%e<$&+|Un%~dPj`^2y z-T!CiFX8%rTVPJizliss|2{B(0dIk4nj7<#EZ@!id0gY?ig`uzI`d-v3b^L)I`i_l z#_xUeW4;{z|K^YRbLQL3%i=nJ=KLtuf7Y(w&HNc$@1O6?pSFDN1+o59xW-=>^D?;Z zZ=ZQ-T=T2&!dSl)uJwDMc}ZORyJO}h@GgvxdW&NHC-KhsUh^k#_3z6c$9!>I`?rtG zi&_4rc~QJ2*RQ)c)-QtV{x_Q!#x?&+FNyg=xaRLC<^`>OnWZuRINpu>TVY-RSNlJ{ zEao4>b$@fsAGPb}SswHG?fO&9AHlW1$+9Bm^WmCbea-XYI-edk=du6ukIw%Olh^mN zGArZt^WbWqh32_&^?#mKF`o<9`*WCiPF(Nj-^?Gv_218Yc6F@(Ag=erQu7?Rp0CiF zn9q)@f2Wy0fb0IVe-iWePWu6Jw`d4sWte?@YKgc|T<&T@E$F)8_yFS)WXZgwIX>qN;m(1_6eC5w# z{WQ4tPjk&v<2pa2-4OG4xWf{wcXB=2PMt zA7ji@;F`Z@&6DF=pI-kw)=!4(_k%CYlj2(cU)UV;NpO8%+GPIkU-5tcz@uAY{vTZZ zKiK>>uKqb{e#`QuzKHd2;`)7Hl=%%@&zJejn7?j5-258ellhloYs_E8H9q>7U%@rL zu9;uPHGbQF73*KZb^j;KFXDZ z{w%Kf`-%Bqxb}xRcf|Y|TUrE`~T;In0QC#z* zv-!`s+UJt_PgcLlcd`BvT z-{P7dv(0x~{j27?@T$zOn)_q@Z*cYhZ1bIV{afZcaLupR4#fIj<66JIG~aIdGC#)r zHeBO-iTPJ}6P_=}!IwNgsp;&(luJv=I`DR@0d(!-KygT<_ z_HeAf3D@r@>&!Re`u_CPk(l3rt9`yS{|wju{E?qxem$<|8*aYN^2g0T#S?hGmwt}* z*INAr=AYo|zobWFehseYYhb<_*Y}~#=Bse6A9;R>^;hEhe%;%A1+MlxVZI#K{lENc ztiR0i^UasyiL_suV==!3*ZFU_`C@!D`P9F~{KuA`V!jC1?+f=IkNJhTzE8|IUw~_T zK6WDJKf?9>a;5ovt6%zL%+JH$<@r7{=l}UX|LFWbmwW>Mi9)}}`g3so{mV%6*|^$2 z>8Y5Xh3oIP6U}GhiCq8gKVp6cuK)heQ1j_{PxANv8S~T3$C-bKYk!yibj(l1HNIPz zPrw``bEy#ry}j?r*dC1YG@>?`+J!j}M~#CYg`N z)qgq9#r!xtf&4=AvAEWsyU)k`7|XXdAB}5$`^J0}uKiWvzhnK8cKylbBXG^XTjs-Y z&ELKkV*O#b_GhUtMjwi+f8Q}5g6sTz!F({T@!#oEtUm}(r2Ug!jy@3Yf%i2ZfNT8z zW8NRv`LpYlSihguKX2X_*ZR=wNH?c`ID=vtrU%za_5k*PolWz_mXw zk}T$%;~L-n%$wo*?{6MAZ;I>hhpH!!^_$?@pKmj7jO%>-Vv3k=glqlz+&sbjsgyC_ z5ZC-#W8MJQ{COl*%)g22`{q3J`gkJ!o#~F4uZL@W7-#+lo@pBv4q+4Zxej`d%| zH9p#ySH-nIIA#8-)vuf;)~|wV{hV$73f_?Z%Xv@CSH{)9z0F_7HGhwqzl3Z4R81S} zzli_8^~3xHT;ro+x|pwoYkbTze;(KPNR~e4E8<$;8k$$YThKo1%**3yzg!t&{c?8w zMDyoxjnALV%i>z!p3E5QKZ|R9pJ4us)xTu^G_LvmN~T!TR-y>xccuW^CxljU#WXz{U@ycbo1i4#@BW8Vz~B4wX(+g zMRCpFb>>BI^?#20V!kl0{_SX92-o>|uX#aS@89RM#rluqI=^i;FMw-*T=o8#e+(Z( z|9xftD6aQo?FV8$Kd$c&-*=vwU7${o6Q4tp6~s{@rMv z2iN&1&x0|a+v*Q8&xPy!`qq`vvHtzI_8)!Bv*9{Fo;AM@*ZH-5?pQyo`Bn3Kajnli^Td1>T>Gmd=9#U2 zm4{!->W^XYJnpW)_d@j;A_%jWms`u^VIkyt;C zUH`OsYJ4*F+vkt@yYct&)Q?8L3)lCT8RmE5y8p)>i}^b&zuY_(uI~>|6^QwixW1om zGEaf)`%=}%V?H^a!1HY}Pljv#&s{L)lbR1OPhx(`{NFS2?*}RuiuM1&_5NFEejC^M zIYZ%?zl9Iu`G%R_#0TT|7K!;AxSoHS`E^|9v!q31{u-|Pd&m5$UH=dBE4bcI?Tf|w zm+=AIf3o7yFIj$&`9;g$_e9KJu>6PSe_OuLlQDnZ@+-~HS-xV4m_KXzug(9$Tk`yG zl#KZ^xb_!Y%unN5-<~KH^MB%6UnZLWfopu;Q99;N;d+0xHUAyg{`9cep=hHF&E3Wn#YW@qZ_v3Z*qxg94ug5d7{?E9^ zfBI*m|77`@=0`05WZ9TMZ27Ou4_W?==VJaKuJ!k{`Hz{##t@<81TY<~b_G z{4Tr~u<-kzno*f4cGbpw)t1M z_Rnv;6zgxr)jzAvzr@x5nO~0iFYw;9Uq|yTxX!t&v5lmZ}auI+V=pY(53o^Y1pFjBEVl zs~77}!gW5LY(5cJ|J_|b=0Cu-em60nfb0DHrTP1Kg2vCAvHo~G5g%bb4%hl}PlK2r zi);Tl%zO;4_PcF98h?Z9*J>E+k1}6sJ`&gWt-BIpegv-fTU+ztxW><4=EHD3U(-gh z{!m=|oBifPaQ%H@oyIXg7;nk*?=~NVYyBzFB<2U=nqTA02jFVobLRc=K3xB$rm=oM zTvzYi&_1)xyWv{D&YO3&`c+%T`dx7CUly2m#&y2BZQcpj{A}GS*6)aGefrb91FrK~ zgSTS-JzU=xe>Hy>*ZivfcFecOwf=o?-VWFPp%(uifzXzDNz_mUdGjEP-e^Iwxtltb* z`~P6x6xaBz*goc);A;Qb=8bXP{|)m-xW;$wcVqno%P%r-i0l1#=X){V0N3-iGJg}- z{`a7Hee+j3#QODcoo_dpzk%!hmZxLP*ER2MUI*8Ie{8RLZCveNwo|PCy7>h2TDZpF zU*$H%+Gd^KF-ce(j%xW;e(t}$N~AEfoy{8e1v4<73l z^HuPkyD@yL-ocd0hLC*5>7Kt?%2-pTjl3^CiamWpT}~LFUim zdVe1^e+Jk6m+lkmKaD3aKBkyIg=>7@G%tg9C7;+g)-R1~d|fv$W%=IyV!kA<_PJ(W z0&mIn>-LZNCvmOso6VoVwZ7#X5c9=xji3JJ#ms*-FN*8@_3Xe{zX-1Won&4Z*Yp2v zUI^FvSbb2eUl8w0`z$bj9M}3(U~tSAz}5e=%pb$GemycI<{!niKFu=cw*K>v&j0zz zYkkN*G}eCvSNrxh&xh;#$075)xb~N?4~z95w)$Jm^WfTF<{TdLxpB46c=KGi=1;m2 zF`pCH{%f%LLzYi6GUgw|wLWz<&w=aj)AyNY$2I<*8x`w6fb09-O!ND3&9AhhV?Gvfj{;+3J~OWO=VJ3rxPJeBY+TG|#MQs6 z%roE#%z%R9V?I6J5+7ln4p;kLHcxBy>%JfB--GM@`l)#uT<6=I6JkC!uJv_*`Q5nY z?{V|HaD6{~;e%NJPF(YAvH2bNVA?0w#F$ToYyYvpJf->LlVU!F)n96!99R34oE-DX zaP`kr^Q5@uXObx~p9EL?);It6^#A^TK-XVy{tvGAf6l3~{%!NV=C^R|UyhsK#C3n= zKaBNn;ClbhG{25(fBVR^n7@W=ek?J+itG8(PLKI3xXwrI%rE1E89%?6U&8hKOv@Ru z{zbd~e)9{KFEumf|F-MTGe3{(_sv4HV*Z@vKQTXxt9{GPj`_dLzcN3A_oscT%!&Ea zxccXN^FMLT|Dtna{txr<=BIGY|EuP|G`9rwYr#|`2k#i-*m^4nBR}9f5)2d!_|KG zE{*vgaE;&b=6i9i?^n(D;JW{M%VPcSalQY(HvbM+`xRau^WWkcf8)(};oUh}VT&7az9 zVty;G{{7DUOI*J%75^mWzreM>m}ymTuZ#H&xc0x}%s<05ezL5O`SrNo|5MG^;rhOJ)BICh{omrVSbr_9@pZ=h6I}c6 zt{Y;04X*Vi`Nrt0ajlQd%va$WzlY3Mnm5}N>#x8ye$JaO$6L}rbw7{!WtQJ;z7*H^ zdTevdFTr*HYt0wq`o33TOU!?a>;1dhd=WmL`+xL{m|uu%{n%hm>_7kL{J((wME(;M zzKr!h!gYQ;Y(5{aLjH-ZF+UHlj`uO2i|hBZz2)Ln#P$1Sg85Xdzs7tDuJ1EU41?ti-ZD69Xs`AEx`+ZF4N!1euSocVBEzb{=fABOAuNsHaF{!m=scaED6!8Lx% zeH-(GE&smxAY9+aFPIOs`mcN!>kq*7{4>n^Tm7Wp$9z9rzwg&G?~CjFzs$T3uKrK6 zC)Q8IHNG30_r}$}tId1iI^Sp98|(MP_4{x;^B(3W&Aa0opY?x;^}FHKSf7@dcg5BJ z|C)Efb-t>xFV^pjYy7PNz1_i&BB=MTjC@8WvC>E`Wm zec!)m-p=wb{}}7PgKPXvGjEIQ{w|ug!L>eDIT-7=#x;KDn!jzH^ia&dg=>7hY2FIg z_xZi%Epgp{`NOe(3%mp4YpQv3{B1n_k(h60^}Cxl#dW^eXWj(wLH$>MiuD`g8h<;? z8{yjDSf*#*ZJYBc>`SM*Lp`|{Wo##?>Cv($F+Vu_)E;!!?phOFn
vGZS&W0{e4fLW3hfMT=##$ye6*psrp;Y*TA)YFEOu< zYksFV9`n`g`t{6TGhb_771#XCaw67$71#Z>H?M+ger+><1=sk@bu!kkjH`dUnZJx{ z{OvJ+3D^2v;`dnpMO^!jmF6#4KHsUBuY_y<&NhD@*ZDB}A2DAM*ZF&lc?DeKE90Lr zUmn-@r+((;@Gh($Nl(Z8bGW`=bTu!FYknRve-_vKq0E_B{~7a9=1*Jwd-VZa)i{kIn|2h7S`68AdWnLK9{iVJT^M!DY|3veGxW?~w^T%=B-&+@B{Q|i9 z?}#~%^`C!q{(p?T){mzy#rlup`hGgjJU_1QPuI;K!L`0OyBzE1!`1&=%=6+Je_5}@ z{KHnijd>otEiJIaJU6cSQR-@}p9|OXk224RYy4j}e+bw7tZ^;Ye-Kyue{7xuSNo;7 z9`o68wSOb?2XO6wcbVUht9^6bi1oAKdcSoxzYo{@Yp;1$Jc0Hvcr(_&*YYFGv*4QF zznf>q_5P}NE7s41>-Uo%%`@V9Kh(G#^BHixf4(2S@@?dEB5oqrzr zH|Fob)&GOd)8JY^PMD|0_5JzvBzOJaohIde@5Z%0{b+udUB6n=n7#r$Pl^JjqhC0zY?-25W0-zUo79qV7fwf@a9{~Oo( zcf1zbEETOr;GWMxaMy^^Aot{$4&F&xb}A)(#QJ0S^e|o$8gP` zmKkFHS6t)kp!qMj#!tzNF@F@-^N%q9+5D9GPq_9k6*9&8M{v!b<>rTRo&U0Dj`>5l z=0~FWL0tQvW9C2N8s9HwiS-ZQYTu>i`*HognDgG4--i!pd@VHp0oVFcB5Ta=wfd{g z_uxaQU-rJ3{~p)xr`yfH!}a@Vm25HpEw1lths<~5THju}KjwGgdcS^T{tceM{onOK z%o3=4)`x-vj2Wakc;J zd1L)mxbE+m`AU2w?fZ7Vm|uab|F4@b$2I=?JreWFaJ|3&G+&BqeQ2CN=9l2Q|8wSx zaXo*RM`QkD%cpoOI*-}=ud;zY%&uLj8UjHLp`-9Ww^Ks43 z8jr{PJbWBau+@AnJ_fH-Fy`mr!|*@MXXCB#4uxWV7OwaAPv$dm?T&3$?~6>PqcjT z;xYdLuKDwk`2_QvPsIHDxZWQV&Bx;!e<`1g`Ej_;hi%Nq;`)B_mH8N4`@j23#QLLg zwQoD~QMlUock_|B`nP_`Sbv21Zu8-|_FvDHiuqx<#`kjbp?G!1Pnyy(KLpqLqk;Kg z%da#agzNp0vP`T$5ZC#oz4-uK{d?TJKd$?G<*8V|AFjXunQ7h^ug3GAH}7NDFZXn; zpNQ-J7nt|P-=co@XJWn=UI!m&-V@jJ{cPR?*ZHCNv$1}6T=Qq9c{jWj*H2qE=DXq= z|DDad;94JdnRmuD{~mrW*6(EA)4U_D@w?x=1Frc~v|OzJ9@P#)^Cez{*EwjgKK~Pk9lic>sOyPuEw zR=C=yzIjVr{ky`vh2>LMiuIdYzL9w|T<5EG=1pUc-)Z>M=RT=VO>sxki>uK6?Gyeh8ochdY-ycO4f=CxSA3a;<_^UPnt)js*F#e8MF zEA>~Izl;yY3s#T$m+=1hYV#LyonK4Wi1`C*Gan1k7YsdP};OgJ$=1=1~ zpB1PR^H1TUc)lg(WpI7}eWq^Am&OyxuQxA+YyEiYjhHWq>-)t-^AeW7W&R|t@AGx* z#rjX+T7OoX7q|ME>&JXCT=&=Byr|XRXI=!?`t!t_v3_A(^LLqfAzb6PSc8}^h^zg_ zo6{}-`A6sf$I0vaNalvIegRzLYnJ(AxZXd75@P;QT>H;O=J|2057`>U{3G~So?yCp zK3wCoXycgAi)(+q)cj$567{n+iTOOZ#?K1#+~ygY#(XaGcIG+Fzcqgd*ZNneS*-sc zuJ`XC^BlPLAIHqIo0n-G>py^N{Tge2Kd$-xhj})uU#Uf`f1lN#W}X$-`hMB`UOa*R ztI;yn&w}gzR+?wVwSP|ED&{lc8lUf(XTa-V=I_Rb(EcBp--YY_R`AuB=znUFl{TsOU=SR%1<3ku9 zZ+49NYgYfH`Bkgmwo}YsvHIuCFXQUJE}dik60Y%i$owL%@lm!*%wI5{ZT`3U9bIGo zJg)YA+x(pQMf0<``mcMpSpP3v1Q``i3ayeIhIDK z=BIFd|E}FL=6}ca{eHjsNnG#$M!jPG1g`HZN6nApYQL(zWBxZ>>+c%#W4QL8SrcRa zS6uV=J@a31?XRwyAH@@C-+p~!{hx8QPx8Lef5J6CN17kOhfqIVznDLa>;5L1AHsEh zd$@nhAH?(e ze-Ezx*$3v|<61w?n}3IE|50;rtp6>p`~SpzH?H}UaY)SX!qvWG%)h~P{>wBp=6B*6 zf3wVY;G^lE+{0r2Yh3elh52?|$d<(Ajtv4#>H{*K0|789-uKsH=I_5Xwdj6B<8}0gUjfwdUxYpk@=AYpjUk%5` z{CZsTW1aarTz~(TeO%0cimU%SnXkq5e3#5W!F7J@GCtN{gX{TDny<#Sf35p|%&)@L z{zuGL;t7oJdJ|%P1+Meudh_MD?l12LF~1Dg{%xZ9Qe6FW$HbUlf@}S2Y|d@}=O3N_ z7n9fe^M&O<#`X8t`6k8dFT&Nnlg$_68vi*a$NU0Z-&g0Ge}rrPW}g!C^YQLH;Vkoc zxaMb$sWCqn*ZF6<`5avD_k175{A^t9*VlX&-jMq{VLlVr`KIEuSbqkt`8UgaI-WrN z6w_mV8m{rt)ciwS&$rclDz5WGt{JiZ6szCMd@`>0<5BZTxZ0=G%vgUSuIKx}`~$0h z)qH~0e{EK*|GxQB^YOUaC++N*ABU@b-ZCGHtN*r{kFo1NIw#g2jca`!Y(C2J$IM6K z8lUCn#`+_0tuJ%ThvTgnU;mm9!!5pQ5Ag=wvdh-Fe=Kl)|V!l7F^=-F#KU~jWZDGv!wfYCl``}ui8Z3(WM7%Za|BHEV zT=V;tk7K?UuKQnX-V<+5{UVEFz6Y-HGr_z&uKT}k-VN9M?!F|}?~3dD$szMDcp~@r z{L+~3jB9_f)w~nlm3)O|G5`OyZtlwxxRD}Zv^N1cS^h=JObm_XtS-~0M7GwLA*Y^FY*ny*nB;BIQ)Wm zUHJd@S6gkq4xH=XO!3-qj$f>8HeX9Vzms@PIM2^H@fvWhKaIBA`d`6AaeT+ctHarU z{~b18P4eT#tHSyI>$!LpIQKVAcG~)t;e5W?C>{)tK>zdXviVAI&i^IiU&6Wm@5H9ctaL2#bG8{&oG zynnSmWb=jK;h10h#S6l@z6Bh%`2yl&#q+~?e|;ey2Sj`#()Q zjreQv)NtPa8=kZEQ^9$CoD)w8AA)b*nE6A&uSQ_&@M)TwhV|+Wg;eULWnmpTapm_KQD(bAIIf%hrDk=k+~N{1KezH_<(t ze<=BJ;t${)pZND}{yv=d*S6yK;5@!l;(x*GV*Cm{u=Vf4`F?nW_@8jjuUq1G;GCc3 zAKLo2;q2dZ@mp}7|0s`a{wAE`(^~unocE7i;@9DvpIIK;`q$tQ7@u+CSK<7AH2D*o z{{znJ|5x!VlF#_m<}br}e_1Sk3C{H?|KB!$5zg_QD}Dja{dcT?Z2ml)>rXrJb8xQj zd&JMe`TUvtnXP{YJ_6%AL;N(H*Kh9UHh&7v`{yw6-{I{4L-CVv&Y$2Hw*Cn?&)+=p z<8byr`%9ZY2Iu~IwfIpu=XcP*Hh)C&)5QgIOq2z@!fFl|Es^V`Cahp`22a|JK=TU&%}3# zSN4nJ`^hNy`R(vp_}??cx54@QxlhHn!r8yzD7O9gK;+x?-{-@%b;JklVj%w>~ zg!B1voA?Ge_XkCy+5CDqk8iH{IyjH-jrdwPkFQE}TYn9l=Vz|?YB=8yy%Jvq=l!i- z3|oICJQU||vG@u&k1zfwHoqLs^WQ>z8JzuJD~^x-=r2D1FGZgHj~CN^{t`IX_vYe@ z;a}ksc8UK6=lYo}maV@C&hy_*d?B3gPi}}WfOGw<9oyEQ59j!v5}ya>`kgC|&CiAN z{0|bJ1Lytyy7+83pI>Xowe@Ggd3pxuro1Y5j_;eMY0_XpK+)44tQa@WlTYnOq^YaJsiEv&Yr^F|~Lvj4s6WRLX z;andEi;shIeq0kDD_%UYtv^QUPZ0kF&hdL9{xh8W<7!E4{n2plU*?IA5|5G8=6`}W z!}x@WkA!povP*mfoc+s?%+??p59j$wlGf(GlltAnyTG}=o)-TW&hamu&es11&i&I-@y>9L zU#0Xm-wDp==egn?B_AV$&3_H&_1#>&1Dx}Jqj-Bb&tLkCwthP}ukXI%ZKeK2@o+fz zC#5sl`fcR%XNk9#`q4And@DG|FI>DOoX=nT#9P2Q|EpxN^~2!Y|C|(W4(Ic4$*eZt z49@+-T=7u&|K1;Dv-zfQKEM4c-b6k>Rd$;Xfph;6A>LR%|ABZT_zUn75; z4~Fyo`&IEuaITNl0&Mi^F+-(-gAxi%I=H;zi-? z-x={D^7#RUZT%oP*T0eCh2h+Py%jG6?}O{BOOUN!5YG1-Ps9trBam-h#OCwEdHvlM z4}^35ZBx|d1K{l6AL9P-Z}Is}irGB=^GAR2`9Gi3KQ8&aaQ=Qn_2RaE9ys5>tQF4< z=lh9IO4xiZIG@iOiRXm#`E!MM4mj`6aZ1|yU%)xP!^N}1xxVZW&j#o7L*7!hepWc& zZ!8hd0_X81DQ)wa#lyujiEk6n2

gqKvJdLGs^Iv}17&h;yMSzA9Xoa5h5 z{Bx;)Rs1tJ`(Lu0t)E8nlf_d@{-t;-cvoBjb;{fNDdD{S4vD9b&o5WO=99y@KbR^0 zDV*1D{E9Z849@-QF!7{t-kj9N*w3w*ECZzrQ>pepTw1 zYHIU;z}df<;#c5YUt)&Z{AD=bPqY!g1n2$ZsQ5)V$3J&7TmJ$)0_SI$_<1<5|9s7D z{v4doS4+ju!r8ws!fgHwobz*#_-QzwFa28B{3$q}Kf=X-hx7bj5kCp%{-ktETmJ-{ z_qX-p$Kl++XKiKk$Kbp_jTApB9=Em4AA$4z$zbura2|i6Ha33<&h>ww_(3@5NBnS` zKL8KK{1_#^AI|ytNPHi>1@iUU+WLFpJii;o_rSS+W^QNmyWzZk7mDwKbN$cL-sX40 z*}pO3J0$-?d^?=qA2jJ;>u-be{(Mw?E1dJM_SZJQ1;_Ko3{_&#tIyl$2e4TCmwQ$a_(c)|1?Eho&)o`vamA|p|SBWnW zUn%uterxk9;Jm*z6UVT8^cSE1mm?p6pSUjhWl}$^i~aniaNZwpiZ6k4|I_L_n_n#X z8{)sgxjwf1-sTsEf#D|Dahx7c$>}B)Q;GCa>#izo# z|A^Du=BL1UemaUzmi!^{NpK#Ye;-?aBAm~kOT{O^dHyo}VDsbQy#MwS9|!0Dgh!24C__GhT`5)nYzcfm`Kb-5^EAf7CUSD;G*!q3p+#hTdkAQQ2br`6AKf`F#3Vyg7UlKELe* zn{Ni62#-F|dZ^^5iZ_Mx{!nO=%{PG$Mg5)PA#m=0s!q1~#_+btpAc^Z=l!|Z6q|1d zZ-)G2@dj}2FJFt-hx7ZVCR1(wdhjsRUn5=@&g(nXG@GvjXaBp3*OvOH#cRQNd_mJ~ z{hIRmlf-Mt=f4pD3eNSh-V9s6x_tg7@oMl;jL+x4+I&?w=TC3(DsVnu$DV2PmErvU z_b2gSIQLiY#4Ex1eBEl6t^XxF0{uTAUJ=gwfADOZuK?%s?-B9xaK1mOF~{c1!Fm5Z zCtgc?8OdK0FAeAZCTyO~mxA;D`#`*;k(HlG>J-~SjOo(azR^Fll$ob$KGYFj@8oY((D@$_(>-wtbRJ{_Fj zzdsRA3+MQTueJHl;k^D2h<^s>`?u`tY(9;6Kk?LXu0I#WQ^7+qKZDlW`YGZ3{f>#^ zDd1c`9*HN1^Zrp~gRTE5oX@|<#FN3fzYpGM^GV_C|2pv`@CG=(l$&fmv3O_kMDPgY z4~Qp(v;V=HZT$pr-XC^}$A@!$$-l+s^ZSv)du{$XoY(&{@n>-EujB2r`G4SC-#d%{4d?Uu4e_UNu8%eL z+xkzW{vz?ma6W&hJz(>X;9Nh3h(Cn$`o1Rq0M7RpH4obQ_u+j0S|@%F&g(DHA)EgT z&hN)Nh~I_t{&Ge9PdLwC@x!+M9e7(@e-p)T!$aZGj@bMyIOkuO_)U0S!!$e9YGW1J3nfxA+w}*M|znZT>R6JC1Lg_$4^6-=GsV ze-X~{TPJ=2&iza7lQw@I&i*eFKL_Xfnd^6(KMQC7W{97Gvw!JM+5BlZug@{!r{G*4 zABg`B=l!G7XQ~dKbzaP%^rKk8l@w4K4;T)d=7i|4Kk{=yHvLh6`u>|_Yd2}=fL^?DBqv9{%kn+r)$M$!TEkN?_Hap3FrA;A^t18H)dG= zzifU6d?vwBjKU={9WQB;Cw#J{I|^yhu1-VxcD$Q*SD+U zL*d-t75m559|Gt3-zYv9&g-Y}Gn*d-k3j!6h!2$dMV{OI066czYsG(rbNq|Gu=)OQ zt{*GK`@wntEArCj`@(tte-n>@*T(T>`q$=vfOGxtD&7aq{r6?@-f-UkYreAed%-#W z2gQ5BIX|ktw)r0LQ1pMMcy~DGZ`3z7-woaz`9|Vh;hcY)#lMGh|CjQut^XaI_y6z3 zyTJK;a7_GL@x1SB{cqsBzDA07hI4&s8RG2)HjJb!WH*nC5H2*zi$cmp`sj|bxQ;e7v6HmlN=l%bvcnLW7Hw8bn^@~e>gLpAG&tHb*HeVFZ`PWCh2%P=DEFJ`p!2B(q!qzVg zZwKEjUPwMadrF%xC_Y%c0G#XV9dUf@M}P78KR@!^|J6ukKR*!8`_EbN063q2LsQ$l zKb-6LN%4Geet%Iojm_tk&z~cn2hRIv?$2yKH=O&2dE&X?p%|g0pWA#+IM;`7#dE;< z{CQOT3pnR@U|L&0JDk_gB=Kx;z8`oko)ymLzmRmceirx-IKG48nc=)Y2B)|AOmOaB zwu@(k^ZrpNgUx3UA1R(5&im6%@pNz=f60utep;zNL;Q0%&);+L&){4iYh|+a)4(}? z%f(Z}Iez&v+k7hVdEzPITwl^=vH28muFt*2lfyZ`&We8u=l-E&R$D(AobLxVh$n?} ze^NY~%_o8L{LK^>s}A6`apMIsI+^UpU{d%n*MG=l&yQfX%;v^ZNKs{5hQWhvVYUq<&zat^W_a z53Y|<;(x<=|4)$L=AX*vj}?Cc=lpsu{#f#z3fTIO;C#PuLi{0o0{UO1pv^ykbNxCY zejm=`uT#k8@4>mgpA`QK-WQ)=v#`zIh4cD5DgGy%^RsG@&EJ9dM*V%_x8V`+@n<4fYlBwxL}%^!tx z{_Pb%BK3<^u=&Gq9^Vr2LvWto+!by9Ae`ejU;F^P7p~8=U)ubBIN#4r65j{s@g=Ba z^Lyc(AN|Gmz&XBe#COAa{yGNR`n%vfzFXou;e5VpT-oM#z}f$!;@jao{&H1pejA+o zuXW;EC7->j&2NFX#rRJV-wfyRe^SlnH^I3+^cLR;=k@zad;^^Kzi!oS{q=C3zsKV1 z;Cw&S?kk&L3+MT{D82^H^Ix-u&0|0obLx(*Rl0~llmvc7fJm} zb!~njocs6n;tSxse$v&m`T1~;?-=oU;)&|p{9HK4XSnzrIL~j?1~xw%&g-|k_$)Z* z&wcTk;-L*~{a@jnzbD0Kz^1YI!nn-G--p{<$A6CeD{=%P zM<8+pB1a%{1R_Tuas>XrAAx4>fuT!mKfiqO+)yO)^W*;MRYE_%e_VU$+MljnckPmE zXI(qt+9B8WxVFu;4X&+rZJBEeU7O?D4A&;PHrBOKt_^i*m@wuC;fqm207{ zHFT}EYt>z=#kjL?Tl;3T|4O79@nvzYZ0#XaIK4L z9bF4|EzGqL*Xp@e!?nt;m3OVAYeB9Bx|Z9uY_4T+EsblRx|YDT*seu)?VXz=FI{`; z+I`pVxOUyOORk-9?SyNGT-)o~4%arhw#Kz(t}S$JwrkT|o8a2dt_^o>plf|y>*?Be zu61-R+_f;*LR_ooS`F7KyH?({60W_Ut9f0E{J+Q%h#Y~)5r`at$PtJffyfbv9D)D$ zBakCUjY~`t*SXLqgnN{snTq{~x|T{eyh}&iDS$fB@gWeSZe{G@!8W zzZZJ{r@!ytfxaK{{Tblz!~DKKy)wRk`+MsBSQM$*?Yuawt4Un%d$d}HeCgf~;X z6Z&6=KO9#~0D;^_J+FcU4Gvq p-%o!qtiGxN|Ba=0kY>xl0dKAfXIM0frh(e$oo{|7D84ITgh -- 2.34.1