stp-2.3.3+20220722-bp155.1.7 >  A dkLЊI%z @q0{[b\{*$xЂ62*W~Rc/F[X~vl> U;^5}g=ؕXt3xMo$S}K;]H7=?KFvK^tI84q։ K6P ~]lOªs|6D Z Nd֠g>΃+jAZz)}.Om-}-RO5.;О^922'&'s6 +`3FHT8y\3d[UWSQHۚ􀃦b ԢLfe(LdL- c`prP>=HsTV3FN7EQ  ϴ  /˨g4R@:ž9 bac4defc2c9916e526d8fb66e011038a32331e0337888cb4d147ba5948424436e4a574df4d762a0cc1891544fbaed921ebd27436exdkLЊI%z =ֻLēl~h0B-{fOJI2sX/y~S¶ g;D ȣ~eUqUr3iQ~ձ$#OT,Lvޔ=-η7e(@  ʾX~p~88~@)PP%P&$!C|}>b5ϪVvPGDǦ w J.H{j*}'n\ ӚGUKQϭG0 dɨB ($[->vxpE3vb [2G~B4W|Gˈ(.θ$jN쩊ω4y|cTTk;HI֘ dϹp>P?Pxd  1X\hl     <  0D(89t: FKGK(HKDIK`XKhYKp\K]K^KbLecMdMseMxfM{lM}uMvMwOlxOyOzPP(P,P2PtCstp2.3.3+20220722bp155.1.7Constraint SolverSTP is an efficient decision procedure for the validity (or satisfiability) of formulas from a quantifier-free many-sorted theory of fixed-width bitvectors and (non-extensional) one-dimensional arrays. The functions in STP's input language include concatenation, extraction, left/right shift, sign-extension, unary minus, addition, multiplication, (signed) modulo/division, bitwise Boolean operations, if-then-else terms, and array reads and writes. The predicates in the language include equality and (signed) comparators between bitvector terms.dkLs390zl26}SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxs390xv$A큤A큤dkLdkLdkLb}b}dkLb}6a51eab5ff2e88d8dbbf7338fc552cdff0f8c088a35d26a8beffacb057b1820a276cc4202567915dd64ddce1b86cb4b977880994a6a1b3be1edc3bb528b791cf4c89a4b1306ee8f7cdbaf7896a33b7992bef6a6d24a00a8e1b0eb7178fd3ed0e75c02da41b27e164e9114a7d4491aad0e73626e53aed9fbbf12c953bd9bfb5ef1f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a7rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmstpstp(s390-64)@@@@@@@@@@@@@@@    libboost_program_options.so.1.66.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.2)(64bit)libc.so.6(GLIBC_2.4)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(CXXABI_1.3.9)(64bit)libstdc++.so.6(GLIBCXX_3.4)(64bit)libstdc++.so.6(GLIBCXX_3.4.11)(64bit)libstdc++.so.6(GLIBCXX_3.4.18)(64bit)libstdc++.so.6(GLIBCXX_3.4.21)(64bit)libstdc++.so.6(GLIBCXX_3.4.9)(64bit)libstp.so.2.3()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.14.3b(b@b{@b1@`/@__^2@^^]A\q5Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@Jiri Slaby Jiri Slaby jslaby@suse.czjslaby@suse.czjslaby@suse.czjslaby@suse.czJiri Slaby jslaby@suse.comMartin Pluskal Ondřej Súkup jslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- add CMakeLists-use-absolute-libdir-in-rpath-handling.patch- fix rpath (don't use relative lib64) - switch python to noarch - Update to version 2.3.3+20220722: * Added reviewer's suggestions * Fixed the broken link on SMT-LIBv2 documentation. * Fix cli to disable new simplifications with --disablesimplifications * enable sharing-aware rewrites by default. * Extra simplification rule. * re-enabling removal of BVOR to evaluate how important it is. * some more simplification rules. * Improved simplifications * Faster/better Always true identification * First attempt at sharing aware rewrites. * Create 100000... * Nicer implementation of Always true. * Remove the unnecessary use of a SCARY iterator that may break on older compilers * Cleanup memory leaks. Nicer signed comparison on unsigned interval. * Nicer domain analyis. * extra test case for strength reduction. * Strength reduction now iterates through. This should make it idempotent and deterministic. * Make the new PropagateEqualities deterministic * Find non-overlapping extracts of variables and replace them with fresh variables. * Changes to how domain information about bit-vector nodes is stored. * and some more.- Update to version 2.3.3+20220507: * Don't save a pointer to node factor in case it gets updated later * Improved pure literal removal and unit test * Simplify less than one to equal to zero. * handle more cases and better testing of simplifying node factory * refactor. Clean up initialisation of STP in a tool. * Make initialising STP slightly easier. * remove some more default functions. * refactor. Remove substitition map out of simplifier class. * Remove a flag that wasn't read. * Remove a dead path and the associated flag. * Refactor. Use node factory rather than STPMgr. * Remove simplifier from substitution map. * Make more things private in Simplifier * refactor. Moving some code out of simplify * deleting some default generated constructors- Update to version 2.3.3+20220314: * doc: fix typo * stop aig rewriting if the number of and nodes doesn't reduce. * Add command line option to control whether size reducing simplifications fixed point. * refactor. Order the user flags. * remove unreachable option * Enable the setting of more options via the command-line arguments. * fixes 421 * Trial assigning to flags at definition time. * remove unused includes * Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled. * Fix. Nodes that are complements shouldn't evaluate as being equal. * and much more- Update to version 2.3.3+20210104: * Creating an API to get the value/index size from a 'Type'- Update to version 2.3.3+20201027: * Ensuring that we do not create double frames when creating a new frame; closes #385 * Fix build for minisat, using stp/minisat * First look for installed MiniSat, then the built one * Fixing warnings by GitHub static code analysis * Allow finding minisat through CONFIG first * Create codeql-analysis.yml * Ensuring documentation consistency with the use of semicolon vs. period * Correcting double backticks in README * Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide * Importing the latest 'GetGitRevisionDescription' CMake modules from rpavlik/cmake-modules * Ensuring that all CMake targets are correct to support no-op builds * Updating code to use C++11 autos for readability * and much more - switch to obs_scm- fix build on 12sp5 -- define Python_ADDITIONAL_VERSIONS to 3- Update to version 2.3.3+20200113: * Fixing tests so build doesn't break * Removing slow running tests * Better support for python in build * less bad model printing for arrays. * Change reference to Minisat repo * extra little one. * Removing tests that take 1 minute to execute- Python3 bindings subpackage should be named correctly - More modern cmake macros- build python3 bindings + patch py3.patch - drop dependecy on python devel .. not needed- Update to version 2.3.3+20190713: * fix #330. * Partial fix for #330. * Hack to get a smtlib benchmark parsing. * Decimal output is incredibly slow for ~30,000 bits. * Timeout tests are way too slow, removing * fix. wasn't printing success like it should on some smtlib commands. * -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value). * don't output a model if it was unsat. * fix boolean model output.- Update to version 2.3.2+20190222: * Don't cache data in case of error * Reordering riss library, maybe that will fix the issue * Trying to fix appveyor * Let's see the output of RISS being built * No need for rdynamic hackery * It's best to name the library target "stp" not "libstp" * Fixing using _ROOT variables * Adding compiler options * Fixing the mess that staticcompile was causing * Fixing version-number based issue with the Docker image * Removing gcc extension of C++, not needed * Let's fix up Appveyor for static build - Note that the build is fixed with bison 3.3.2. - remove 0001-CMake-fix-dirs-again.patch, in upstream now- Update to version 2.3.1+20171008: * Reducing scope of upper&lower * Using $() instead of `` * Removing unused code * Removing unused code * Adding docker file -- not working yet * Fixing install and library location RPATH * Updating README, fixing Docker * Fixing static build * Removed unused global variable * Provide thread-safety (if C++11) * Removing tests are too long and hold up development (>10s runtime each) * Cleaning up lexer * Cleanup of smt2.lex * We can use straight-up "thread_local" here * Trying to fix the thread-local storage for C * Mark two more global variables as thread_local * Updating READMEs * No need for this parameter in AppVeyor * No need for INSTALL, it's been incorporated into the README * Updating README * Fixing indentation and some restructuring of README * Better naming of header * Removing DLL_EXPORT on variables that break the build * Using the ctest framework for testing * Actually checking things in tests, reducing their outputs * Making the interface's (vc) more explicit * Removing trailing space * Tabs to spaces conversion * Trailing spaces removed * Minimal cleanup of the lexer * Fixing std::endl -> endl; * Commenting out unused parameter * Fix indentation * Cleaner lexer * Highlighting where GlobalParserInterface is being used * Fixing the assert * No need to undefine this, it should work without * Some cleanup of bison&flex usage * Fixing moving of header file * No need for linenum * Removing helpstring * Removing unneeded files * Removing one more static variable * Reflowing code as per agreed clang-format * Further cleanup * Removing unused code * Cleanup of tests mostly * Making the visibility=hidden work * Don't care about coveralls fail * Fixing AppVeyor build * Fixing the coverage script * Removing comments from CMakeLists * Fixing ARM compile issue as in new libabc * Adding SUSE build files * Fixing fuzz-testing to use python2 * Simplifying the Docker usage * Fixing the Docker example - add 0001-CMake-fix-dirs-again.patch- Update to version 2.2+20170815: * Removing broken link * PEP8 + print function in fuzzer * More correct printf * Fixing double-declaration * Fixing memory leak * NULL-ing ptr sent to DELETE is now automatic and more meaningful * Deleting buckets after they have been used * This will fatal error anyway, so just use the pattern and return false * added support for MSVC attributes * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds * fixed unistd.h dependencies for Windows builds * added missing include directive * refactored gettimeofday() for Win32 * Adding appveyor file * Adding missing appveyor file * Fixing paths * Adding zlib for minisat to appveyor * Using minisat that's been fixed to build in VS * Better comments in the AppVeyor filBetter comments in the AppVeyor filee * Temporarily disable boost * Install for appveyor minisat * Fixing "libs" to "lib" for minisat * Debugging MiniSat finding in AppVeyor * Debugging Windows build * Debugging Windows build * Debugging Windows build * Installing CygWin * Use 64b CygWin * Trying a different way of installing CygWin * Fixing CygWin * Fixing local package dir * Fixing CygWin site location * Adding CygWin prefix path * Fixing some warnings * Fixing one more signed vs unsigned issue * Suppress warning messages from msbuild * Moving implementation of destructor * No warnings from msbuild * We need ZLIB in STP thanks to MiniSat * Warnings cannot be suppressed in msbuild * Trying to fix Boost in AppVeyor * Removing unused cygwin install command * Fixing yml for AppVeyor * Removing a warning * Fixing signedness and unreachable code warnings * Removing useless comments * Removing dead code * Removing more dead code * Fixing unused parameter warning * Trying to make symbol-hiding work * Trying to remove too much warnings * change semantics of division / remainder by zero * fix bvsmod-by-zero for negative first operand. * Adding constants.h that was missing * Removing unused include * Revert "Removing unused include" * Fix simplifications rules made incorrect by change in semantics of division-by-zero. * Work-around another division by zero semantics defect. * documented the entire old C API interface header with doxygen comments * Try to get clang/static build passing on travis ci. * Try to move from precise to trusty on travis ci. Precise ends support soon. * Revert "Try to move from precise to trusty on travis ci. Precise ends support soon." * test that static binary is really staitc. * Fix leak introduced in #f452c0e * Trying again to upgrade to trusty. * fixed DLL_PUBLIC-related linkage errors * Trying to fix static clang build * Renaming clang static build * Renaming build type in Travis * Trying to fix shared/static library building * Updating static binary check * moved DLL_PUBLIC definition, added __declspec(dllimport) definition * Trying to fix AppVeyor * Trying to fix Appveyor -- wrong staticcompile check fix * Importing Felix Kutzner's fixes. Thanks a lot! * added declarations for ..._scan_string functions * Fixing boost library include, thanks to Felix Kutzner * Some obvious fix for MSVC compile * enabled shared library building with MSVC * fixed DLL export warning for isatty * no -static for MSVC linker * Testing more of clang * made the Python binding build scripts usable with MSBuild * re-enabled DLL building with MSVC * Adding an empty global to compiler clang * No need for CPP11 build check, Trusty has CPP11 compiler * added DLL_PUBLIC markers to the C interface * Fixing Travis build instructions * made the query-file-tests usable with MSBuild * Fixing the environment for clang builds * Fixing LIT issue * Final fixes to static compilation * added DLL copying for tests * forcing gtest to use the right C/C++ runtime * added python to AppVeyor (for tests) * Just use CryptoMiniSat from GIT, it's more stable for static compilation * Better visibility into executable files generated * deactivated boost in AppVeyor (not supported yet) * adjusted lit tool path * Fixing cryptominisat GIT link * Fixing clang build issue * Adding build SHA1 * Don't specify makefile type * Trying to fix KLEE build * Fixing static binary check * Adding clang static build script * Fixing tests for static builds * All builds should run "make check" * Debugging fuzzing * Fixing Windows build * Adding clang build files * Fixing static compilation of tests * Fixing local build scripts * Fixing python test generation * Fixing cryptominisat selection in fuzzer * Debugging fuzzing issue in Travis * Fixing directory of build for static CMS * Building all combinations for gcc&clang * KLEE doesn't want to build, so let's not build it * Don't build COVERAGE using clang, it doesn't work * fixed #253: DLL_IMPORT in c_interfaces leaks API and breaks installation of STP * Leave an empty line before "exclude" in TravisCI * Specify OS for Travis * Making python build again both for Windows and Linux * removed unnecesary include of in c_interface.h and moved it into implementation * reverted the python interface build scripts * enabled tests in AppVeyor * added the not tool (test dependency) to AppVeyor * repaired the installed version of library_path.py * removed node typedef in c interface * fixed bug introduced in replacing all the things * replaced 'stdX.h' headers with C++-style headers * enabled building with boost in AppVeyor * improved AppVeyor build time * Playing around a bit with build flags * Don't display test output of LIT, it's too much * Adding some comments to AppVeyor * Removing unused variables * Adding EOL to files * Using $() instead of `` * Removing unused code&variables, reducing scope * Removing unsued code in TravisCI * Adding badges * Fixing badges * Adding coverity badge * Fixing potential memory leak * Code cleanup * Revert "Fixing potential memory leak" * Fixing Linux build * using a single output binary directory on Windows * removed the pre-check target * fixed the python binding installation configuration * installing stp.dll in bin/ on Windows * parse license directive in smt2 format. * fixed output directory setup (thanks @delcypher) * made python binding paths more platform independent * cleaned up a fixme comment * disabled test execution on AppVeyor * Adding explanation to option --output-CNF * No need to build CMS's python interface. This will fix TravisCI * cmake: fix ENABLE_PYTHON_INTERFACE option * Some improvements in CMakeLists.txt - Enable RPATH on MacOS X: the STP dynamic library can thus be found more reliably by applications using it - Do not search for Cryptominisat, if NOCRYPTOMINISAT is set to ON - Added configuration option to disable Python interface (ENABLE_PYTHON, default ON) * [CMake] Fix #192 * Fixing cmake in TravisCI * Using auto type * Don't print cmake build&install to Travis * Use ccache * Don't cache in AppVeyor * Making cmake with 2 cores in Travis * No need for the cmake config in TravisCI * We only need the python interpreter for the tests * circumvent Xcode bug with CMake's TARGET_OBJECTS * Using a cleaner way to set C++11 and C99 standards- require only boost-program-options in tumbleweed- create libstp2_1 for library as required by policy- require minisat-devel and boost-devel in -devel- package also stp_simple, needed for cmake find_package - Update to version 2.2+20161105: * Improve performance by creating fewer strings. * GitSHA1: really disable timestamp when requested * ASTNode rvalue reference assignment and copy constructor. * simplifier: use abort() after assert(false) * bug fix. * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. * Might fix the issue described in #235. Missing dependencies. * oops. fix build.- update to 20161028 - remove simplifier-use-abort-instead-of-assert-false.patch - remove GitSHA1-really-disable-timestamp-when-requested.patch- update to 20161005 - switch to ninja and %cmake macros - disable timestamps - add simplifier-use-abort-instead-of-assert-false.patch - add GitSHA1-really-disable-timestamp-when-requested.patch- update to 20151122- update to 20151030 - package AUTHORS and LICENSE- update to 20150904 * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch- remove: fix-no-return-in-nonvoid.patch - add: AST-simplify-FatalError-and-mark-as-noreturn.patch- update to 20150828 * drop one hunk from fix-no-return-in-nonvoid.patch- update to 20150418 * remove: fix-install-paths.patch * remove: no-build-timestamps.patch- update to 20150415 * drop one hunk from fix-no-return-in-nonvoid.patch- add no-build-timestamps.patch- update to 20140928 * many fixes * remove-broken-functions.patch: remove, upstreams390zl26 1684753558 2.3.3+20220722-bp155.1.72.3.3+20220722-bp155.1.7stpstp_simplestpAUTHORSREADME.markdownstpLICENSE/usr/bin//usr/share/doc/packages//usr/share/doc/packages/stp//usr/share/licenses//usr/share/licenses/stp/-fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection -gobs://build.opensuse.org/openSUSE:Backports:SLE-15-SP5/standard/b07bdf457f51f6e51fbab633f40d71dd-stpcpioxz5s390x-suse-linuxELF 64-bit MSB shared object, IBM S/390, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld64.so.1, BuildID[sha1]=1354fd4a452b8b8d76c56a7433969574ab9a08d2, for GNU/Linux 3.2.0, strippedELF 64-bit MSB shared object, IBM S/390, version 1 (SYSV), dynamically linked, interpreter /lib/ld64.so.1, BuildID[sha1]=76721d599063b888e411017ead1cc6a2ff71667f, for GNU/Linux 3.2.0, strippeddirectoryASCII textASCII text, with very long linesRRRR R RR RR R RRRRRRRRR R RR RR R RRRRc~C[Bb1utf-81f80f66820617bed8c7be58764fdcaaa799d34721cda69141dcc8d201706a97e? 7zXZ !t/7] crv9wcBV}1sMdq u#QJj`)T05ؘ^.?͚#[a5Gdgpe%V- z]LOpѹ;e'# K& ۬x2.;w3?C9 nHRSsRk=4@Ick'MQ@9cξ+Nger /'-h`v>HJ&(|;'W6RUz[ G9G vzyL;dc8Fkv)a0ɚ80o>lCʕF)C IF_!iMx,e#mNIo!AZds2[{.1*7.o:. W4},pO6~K9~/v#5?A_:Qҡ G<ѲY(m^OgI$'wرM6wl,7Ml}MWzW HgؔtgIЂ+MXB\gZ[4Sj"K9hOHeܼj _ԃيZ2T^4Y$"8Ym!@Fz nwV VId'17Ǎh-9d~ rʃYOUa,Qg`RJqj#L- zl<1Ho @9wG@]~'1:n6'ItxF݀ VYi &"P2V/ݯ8 X|gb~veavSڔ A*-W8Z)g9]'$Jc*= } C N p V`Ή M~OQ.a< eAFcaCO!X#he # ͷ EW5=p<"R;`%szAV/5&Fֺ7Wo"ZUk*9'`~q0}V^NjVaKw$ yV$<Tkj{H!qzU8!i7yojPEouz~`-\0@(3Vj~ltu wlq3}" #?kОq(@ BlcD >%; Mه3O?C.zH>IУC|Ez` $NPXz"? 7ٌY)W-#(5l?qR}`dC:Fy'řJ &<%ir0AAs*&eW;Ƙ;]Bn.MJ< l e 뵸m1ǚU`:?߮x I))@x&{8i ;O@.RXFzաXG.f( 5x|Ky-@5 ~ [Wh%iΟP4</0O :rޛ-:3{•YQ3GFԕhoW WȐd7DiOg -*"-wV[Qj5T[Z8lY1q&j@kJ˜ ͫymj2xngV?s 3U`/u?b94R ;-7t}m½Gǭyz?iyWƻuH:%=$7 4 "d]:xv C0_7E:Lty^ sYYK}Yr3~sf;캆7/3ɵߵ.mu w *ׇ(i4*f" u5~ڟ'{KVdkHӒӟ5rzi`_#+FߧC[TIHL(ӂ+7 ETJ1ΰ=QyjjZQ(FkWQŬn3ze94|kzK|tG VtFH',ҥX+.jDMJiCr M<#me^c~Ģ6v5??Lв}VӆФV(\SX<^U'Τ;?? q N؈]xN+ ,?2XMuyeZ!j\Mu[V~2! v|GQF@qaaS"CN mX:aHH!Lz<{'Εl9$~aQV9JK[oM4_nkOb=k^x^Q6NJF 'cmb,rNτwT \)t u:^0Qa'7.֚_XR$}ܾuJ! `S)<ϊxAڝ:Iˤpгz}"pB!-yv'/ݬ,${jQ,~M@,DV^v<<<  =FNe{R'D&L zX"GW3mK) lxAR\jļK7:2_:^! *$/Sȧj ׯFC#V4N3B\a?`T:ߪID-;nTvK8w畸Y Vֻb^^udhj! s!_9P2Ws\AVWGחBH>IcZםR&i:٫S2%GY,bV49W0#CȰN[@S\iϲud#9m9*b6b-نbm+>V7!3cАLO{A%8cR ڍ'hp7=}$~VޥO&3?y!Oz6潰)TEPp]y-uO5YExW{6u̡ث(hzsHpL&P; ˧z'HT7,|YQ/,w(&WS\`,5}lՒ#!}K i> ?>ɂ$x*⵵>۩xPO@DмBĦ9ts4'zEi~: M\DyI31 c\;I0@!Iǣgӿ%'?ٳze=ј+W8/pU14(NA |[hT4c<ՏRܦҦ@`[8졔EshN0U:՜hm'nn%_1 s1oj.+TQkNX{s$_`I"Vu؆P |&%_ QmJ+H8Arh.Z[WF,wNDS늅cG/4|5Y9Q).4SL΍LK`CUKf `Tb\-gm=v;IK ; EM@C߿eB vvRrZ}&ON$ه`8HA$ݱ̬b#]-m| ~ IԪR'Po!6Eϛ_K~:%1bqv e"dE/k %϶mօ(CвTs; TmfuטUϿ:HO!sTpp1>4sYMۥC gi${κECDꬉFʦv;ɇQSFt:<_riB9dh&~oR>)7VKf;莽%w}ށ63MP(}3 ~*ٸ/ 2*KFrId ~;7Q{n|p7`p qCyr|,X>O܀} m]<PjTw%Yf977n.N9*0e-{~AŜtabsCh;W`'iQOxcij!L3}&c}^qasAQ݉ʘzF]tާB`9h l>kҜFXb9RSCn)|F.";I l  ~tTiK-j2,+I.ˈxofC4D "sЧ{>puWFv8}etT^P]o?BtJLEYoۭJ[.DS;[ I9X&=ϥP ^t#hXͮvYTWD>zJG56xCv+,]}Gbtud~#ӽ^Ɉ Oĥ nJ D VƖ !Q0S_`u;GT4lD8xZc@4M{^fܛӞ#-~ OUJaQ^e[[v`.jxS3!<,% [c9Ɖ_-P5h~ްwٟ^A~RNw@wG )BU7wyEv@ϡٔLvFSken}$=rb QtH/s%gO^V&ț)۠h\A"}VHLpi8:j(4bqcfsM{ xTCKhY A{F9 Χp[]\@G;pX$CWGHr`w sr6E~,v,.K~fwrHX0yTƄhOvəE9{K 0?Bl3~ \b}7$X#2*Eʘ于$2q}dK g?LCi* mܤД؎o@m2L:O!;Ay01 4ݷ̏/\5_d,EarC泞SД>g퓢yXYIk̻v,^j讃fmy/F'$xj;oDa)JI!Yi{A^e5hV \(1Fټ%~&YsW/ j%F۶ҕ {FR#U #@ O& <*=;~ I(J5LRiy#u]Xcv>s$Yռa l\3ͰMZŴ*n촉 eo 86P `Rr"AHCǔ9Prgy]_Ro.;u"cm@2ƃ DuI,J"!frM%FZ&Biqq UN}0~N3HO:}hYuMD[6EgZ1FBBjRu%8Ρ Pgϗ:⽞rjp[io=i=X5XTdcDI :^`ŏG#Jv9SLSh;jA Bg]Я75IB8(c)'VqNO6g-ť@aV["i*NI[#<^%Ca|!%vz*>ő>A5qO!GlEn*RӍɏS {gP~qmZn5+B<.Wm'Ԩ'O;Û$9SQwTM[8qgB~>`.k }TePbxU @GcJ):!eNbFƃ+eGoRXF KtrQ NjڿL)m%:X.8&/OIS>Th/<)2VC@HQ@ˈ L9ЙJ;!lSA C{{#VevͥiB<.:p}kW[O;p[$Ң4"6}Wh|ڡ*' hm:x؟srmIz%2e y mjW]@Y=?_) y(i TM0ў>'ŠP_̕$@|EaFT;G97j9)nY peIo\P;Ag&9Pʵ$'MtUNOArʸk[ʵ{R(Pݐ--tgdfJe&4OfYk~ G_k!N|[zj(;Fm 9<~ܤ~@o]z}a?KVo.eppMG*#f(-WmSȗcNHIr6z9ϰm7s̜G-}ݯ}LbiwP›f1 ɪGYV[~*焍y٤ߚP }iى岠Y^525ֲD%+FYSraK^i3LC{ۊ{ZͥU0sސ4FfvV<~Ӕ.x.sS-) I YgMx^/Րd:Zg]j}UӇoֿ^r0zf9+ 5v y %UL/XE*5}cNWbUe y' W yKO4TɯnqH+O?~ào*.:<@w;a6! Y{kR%ڤ|bV,,{"~d-^@Д>Q5/ڠF-.IW%b65}ZI4F193JcVV"!yo}QXgBGs$f0u3 D@:w{K Yº;gǯ˷w'|V jǔcW.㪆xi*6FLK0KiϼsE7~Q2eq#G9 soL#JA o@9ۘB>Y};'D3 _%ed !e4R g~<ԉ֦_^R!vMsHGH,E%4 4~ev1gY2!Wj<%sM(1_k|S6W+ZGBooZIÒIyC.7>K uS?ynt?eTBWXB}qlI(8=* ɇGy/FǒEa!Rhu<-#%m'WΪ݄4pbvjtuEaQa80] tRg쑻5WQʘ9DEX%uK3 [~DJ˂{5{Nsњ[RPל?FQ^TErWJ{~-籑e9#= ̧h(V⠠a/ ع?B_?HMaowձ||U4:eT"VU 1HwoLbzbESS397Fa@sPQ 6nH?yt{:&A D-*®2ww?$Ef)s_H4`J5;8>"S59gZ竻>i ?f%uߓYyyY2k0gr6'/ I_6QDn_0c&mY'UlV 3^oL CtW!茸-9ȭj9WKUNјj>.uܝ6!1rLLdo虬eiهŁk=NtpBZNyj>+l{.Kpw 64V`{m䕭ݢ^Y.kɏrwV,Cl(y}?+ 93PXVl$4%S8/€@Y4󀿞@q{kYS *fbf\0f:Q -A. BeL-SΣ=WSstf!Ğ$i;~%3T"qDPR •(_=&vhK3 _Fyk^ Cgz}&{ yL^7&7nsni⬅pI2 )F<PRmxV#ί w?Ib'J܊D"yfb~g㮓 =}nϜL"ڒQ>!u3 LfHB6S8v e 2Vw0 +,rRc-y +j~)r J"UtL,:O"MUD~0 vJI Y0_L4`1[ wTMLTs7!8- gr\>HOW{ojan"f2 *.FR x?6:;Ҋ+\mle@v3wc:RY|UKѾ/ֆ!&D۸Ԡ@H_9BNo/*%Cx +c .(h0J \x7b.m݂ 8(H0 EdSs)[qơHI=)?V ;Ǣ)#TY++ˇeXOΓ[47_l6yjl|m mnX92$ 2qyr9I@pLKa=nz*d9P#R<_ ƥk4W>!aY'xJg%J^(Y R*y!PNՙHNcw-5}:]r/ioh'yfP swY;BtF1_5`F vw5D~)?ħ44P.mJ\FAד Jd̨1ލ^j/&5/sD%z' V*_P,oThdE kh@#d>"^JTqH^@ #bG&<9|^vpYB4 QǀF|[|K0҅)l52AExx]"}Q"wgyբpIPi*7ˀuԆ5p{6JY:g_WJᡸo&XKɄ#9UtCNo2R& UWa^bxӡ?hzۅf,:dg$^ :L֚֝z[')ȸBE&E+GSG"yâ)͂=rmiWz5[g9Z~ z>س&r;P6 dX&_d Y2˄Oƻ ?{scVv5QfBVWhOgZ ꖤUd.~g0CO-&u܍GF6G !41=(>4w|.ZZo =D,1p ^uݰlOB>C!>N^P|Unfksی`Ȓz<OYw!K=+Lwd?M%o%u5݇V&MK[!pm+JlE|~Rg/T:BWWJRo}Z`;X{'Mԉ%oEgreJF[Ļ[C`;1e^J+0`h&J4uZ ]%Їvx_s |&q%NfP`/?7wAff1zc}jvjx$F&xk,ϪY/@"- AS> X!iPSYDQ`U_gEQ; u''j@{_'J3s>T g#P^;+6 "1ؑHΰxqu"H^6U1 #Ǎ/4C?S7h8q5t2Vi~ns?Jf.Ġ+hM.*=)@(N$h,FtCxM?'+=蓀:\p%Y|F$Ơ ?JF;qIԷ1#uhl?ORaS]|I0o'*B^0){_߽ʅ\N.ۉk=nB*LYPRv]"W6'Vױ!#[yS?@QDvtC4daƯ.9Yds򔃢[grX_Kd݋fY$M@zEk5r~U!Lם};.9sDДR\-J*i;&(F ½˧}~ooOE׈jRk,Ė˥t"R+WMb|q މP:3.ioos5G[rNv~j ,\n SQRf4& sevE*hdVQ?@ :[w-75eV_ *C=˾0JUZMnLH8#20( 1 .*̪+,c(t]O"{l} rYxc(Ѳ\uWDAvfY VcpV1҅a^ZK`?ޞ:`[Toi2րN N皐*#x h3&(X.lЂKczX]">9j0R8bލ>+wc_sZo d!j3 |on[dn|`Yq@']d#^ܨ9?Zr\wMG)l ނL?(} e2⋖_6* {pu%s@҈[ڒq{'BksszŢKI˺qRr$d&*l/f) ڸ94ͶzG1l!*ANQNҤ ȞEŴ?Lyh;Ձ*rX:Ӽ:85@b^$vd"ڒ_`đ tj;>~2F={ *oD$a"{J%8i^[`v(+ l~BC kێ:GBk`MkvƼ8+؀s7܂E.XmWB, C@=2ʹ,f^il P^\/w|ttk2{v]v hХ#㺫k;rFPo`%T!IqBZ|[^|*O~Ȧg=q Ɖc8VCQhaɡNEmF4iÕ[r0h씔Z_DK`+De#g/50{@؋QDF5#:`[y՗`8lfR+TX9eVu㟖Wu߹gnOP%ЧvwuGm>="d"~(?<!^!{\mЂ:0$XZ;&Rr||1O¯=X ݐ= 3S=3ect`R~Jr%AkKӋ ;3wupoLO_J1{WQC~m.9S ;|xnUT9˷o_%&uE+bZOGQ }Q_WL9M>H;b)>= x. FA?Ar*Qk f웝P h* +I<097t{om[J{-W Ѹ: ȡvE(Y[t7Z=ʭ",Uc?'#%_sˣCk%ILc}Oo&seNTP!S JYB"G~ MLVovsd̬QZysjoLӍn;E'ҴTX#hط3  4Wp`ˆSVddnƷWI*r@m `>gp΂8"`yex: лhv@P[&đ`WxIc*>;Hz7yAW5"سEX&6]\ a^Htp"h>xDha9*:BcMAZrtZ6A 1* _}Yee0G14~R\8!>[{$qOq{5B`exP0RV,ѓiņ.BB6q ~ou?b'{[DLnU,.kŦZN&ЅI qe אC# ڤkD"ɬ4UVeaJlM j14x--JBUo\,3ܓ!beND>C_yc|A!TSo6Uw(2z]b1"Ll2V 2‡`.ʚ1iBCeڳrn#u%0/A1Te {@2=vHs`̤.:t\NͲgEXDm {X1QW g,Ta~OGjG0`iA^qn0EH@ }?"+BF\0Gi0=6lUc+]14ֱ3(tc"kj4:ŝ4bj(Q.8M,?b^܅Ƌמ r'(rb9IH(28ѬK[{P#EZWXy[RmE^7Cګ4^CW{ZeDH,$i#1 O߂+fLR i'|N\An5@pFѤpNXO_ʕJ gS,خ+NFX G@9(D셟8v/\>{ G m9{Y|O@huCe?`_RR&dD:"|jWlxKvJ6ԝp`h+w-m#?7Y80pzꧏ0=iݯ2D2:K&Y"5kg_R,0`B.y:0G@4/XM0]"Ph h8y%Ε^?+# mؐr5#2M;:)ѭѷL׃p}{0,cbY5_ek2پ:1Yd?Ky4(glUMf[TV¢|R-5qKNϼp D⬬J`3G"`_o4NRga$<\btqzmu)BD~^cPi,bpv鼐 4f[x]yp+ "&FU*W?o5,M1Yu}NΨ_ɼoC1nP+~]S%w`άI(GYv\ԓlϔ`~\/'N>qX}S~׍D`a6k^ rZkg*n>F a\ގq@z]O7cNK_ iXJ 8+KțvAH8! _*Ѳ6:œgS+@~)G.;S6SP2ͷqtJ:r\[|b)ug~ָgtof#łaNR[Yt }uۇ= Sҡh$m?]|, {mF* [Ȃ+I'+).n>^|SMbAR~y`&nܺ+a3G3mM`: .0&<> 0}hf݄D}k]>[wyMtG4 oA B4_wٗ"@|ċEk&$SV@9$%Ǖmߏ7߁K5vj"(2:UK1ۻ|=Ⴤ6'sO1n lB8 ҌEQ_16%NsوQ5jashRtNޞ8Y1 {ƻ4>]x@}$3yɐu HKyWa'AƑdh^"IzT^ ggq7xBצ.YMu F(ymX/t5)I-3&BQ( jrQ\k&pf!(߬[٣XB T f½ʷTI|]̾Htmzw'cQ}L^v?Em{ !ܸ{e4Qo["*ʙFf@I/fkg.Hc%kܛ$&)󲲳[{?Fdوjzu%=#[`rWcvWH6X!` rbg۪."p'GFOMBc vl!(<|Zc.!8vQ*4d `KW~- .0FkmGZ&Ʒ < [W!X2@vB|G nǕb&/ O<ٳׁ)kǣ]DrNG`.zJP0Jå*%WK{NN~1 +ɝ1*NٮؿHTyF0Gd܋dV{$^5tf |w&λe05"P>4- mds1 eIt4@ZS}b'm(#RҁԦ >`OIΪ,;.}.,>AeQdmuO@/dnW^{wj2G!WTqDtsՒ-E_ N$a xdK<"TytZX\PIڨOQJ޻.r3ԊА/mOi-=[x[ $~(H"ߘmSOca{Fz %7`$CYuJăo t+(]0(ZA0^;U)W%MG~;rT/ 5!ɧdqͽTR<Vc۷^uH!9-oހc|_  -TgWJg|<)./蚣B߄catIJ9B45_mDa2}d=/`ۜfFJkzpOR/<_` 3m`6aW a^~F*0hX Dz]MMbXJ 4Nsx؜݃!Sko4k0b[+AT98ND+H(`ZuoL&Օc% ͢_-%>>dj]WC"W"۽PE[]QѳMUFsaw52JehτQ)h7~`mmB ho6%Eʋ%ᶁZܣ,nZL9"~Cq2$"At&r;ۆQΘ^+F r;9&]S: qr?YQ%݇ZK +_2X]m.wJBs90Sw&+&8B.9wSWI؜ifatx_'_9X^YcLfp0߼nv0"zd=IB}z?Q|g=Ʀ_AT$Aҭ^F^,@@|^*`%/3iK>ůqkVŎT51\8<,^AduII$fZSf≹@QcAK>]^cf pU%™»%N 0ޟ# : 2TtIM]I꾚Gz*wnMjlNbWB7nLqcdڧ{47R8F$0T*\sozfvc(utøx!,0*X G #v<T?˔[G +H,#]Kh"cOgI^/O T$ujz|]@lO/Xw3 L AU}}PnGK8.SY+XPQ7ޓT< 9A\D _2if)~`SEK GU3.[*a[cwNyU2CCqʱU$-=v2,H.TgB*wU0JAR&wR8>m*%[!)~{s]+>z2"K#kWH]mؿHmj&#)DX dMSÄC x2;_jҊV^Mі-%7Lu4Ut z^哥(Yֳ5$$hdKm+ʐ\ŝĎ[ ?ftdBVtߊ􆟥S!.C Bvn헛@V~e,ύ32BE(дF39gKN%>s.sQ+/3Qv@_6Nr"^ʢ FcA0zפ%8Z Z}2e] I@EJh*:m)fQG襃HNkyqڇ%!cGB[潗`g@buܺ"0_X ̒wоb$20 ( T>W[^+2e܉/Ham_\#[iƢA6:(J2_8y?F[@Beh`XʬU6-`5#Хea qۣrX7M! c]$22% ,F_ ܜtThoԴr|2?B$I#H8l<85AuRt&Dk%;\*+ɀ"e9JA,_aJC!|{(J@뫢c\o{.ޮ4YeX+h&Y3Ú qR'":yLׁ( 9˙{A KqwA쯋aAy3Œ_BLS8S.z7x!9[qpgHr ͠_wʷU:֎= b s`ALZWmX$yA{IvΊ:oOԟG$>hiAP+"XDϘj]fJUki qS-tSDm- @ZQΝ}aZd͏R&eP DQ4[](yٵ{ɸWSPުm;O·' lL~R@=N-BUՄ5E]Kו ~8ߵu6V,Su}.끦ӰvZ8Ƙ 9-q,(0Q}oӚAʑf &"&ղMve܆uE pqdi )0A^%E%(Fcy]wE3VՃu"+8n?Fkz7tLaHhh,[8xCHGWL>q4P*V~V.9>' K#]˘Iq%Xr@{ӲkQN?o#˹kqGV))PoYanx!㮆#ۄ'l AL8i\ ,[ۃ؄,8}bܱ0]-F>c{ Mٖ`z-XMJ^׻,5֤ sk"` Mv2@'KɰNw@Oi%D}ls5%oY·q-43./[.ϋ[;NGE[:xnþ{%(nJǩIN5~41e?h!?=${ 5zi(NǬ'"e&[}Ƀcbv7cl$+ Q!JebYehS~+P,3n.@"=͝=♁W̯ϗHjةΥ'֢6(ausZ%._Pmv./&" +V28=1|/>-'p*<@b!/QȗirT%%?hm[b(Dt|<')A\"T۟O =E<RT3i@H|ii8Νv'rC'\Sd{A psgL 8VcSϗg"3)TxcN,jcT3 m2yS YĻo!Q(pUs\dr[Ti\N ]˥kㄲ$X*-GJ~j]K+Jlj3UVA]el :.?d].kUpәG|9'{21Y :lvI,@1!;=n+Yihy;!G)[VTd٘z!#s݊59qT|!X3K2]oKfoev(l8Uq8##D-qHg {syZu+ :FohZWͬo}Kp X \eG #H;#C$?(1rj0='_,9?yY'լy v=Z%JЬ |+v 5nJEXU%o-Ƒ\O_HfE7=8LFM9|ve!RK6bZFcH?تxԗ񑥢Fs OaH$LPz?*AWy&&:H(Ej1v%SnS}'l[5_T2=MAQ:_(_H Nj2"orSƺ\Y=j&a_4`'#v:gg&UWcQ}~C~gc UM:Tm=<4CB.qccUTNyt}D@V(h1W>^(M)ǽ2Dti}j vfTg+xH>˅[3b2r24H"ݸU=ҩ]n[C#ƱcN?+]STIs&X~Dk3aan YqB*cV%ˑ/b1CW$7+DЎswU KuڼjL6Ոk}=} L5gf`?Mh~}4kC}:Sƪ}Ā#( 5H9'*8?đ B[ v64O5{ eI_'[R "*մ1yHM"D>DUazTmu %[tsCtQŖSQnwu.60>泙"<^@GHEZ'^d!E;`թ-< 4ӔWԕ 1+ {ՇEԍ="" zA42:p˷KOo+_1cANҪW!?t ?:x%d;sK0\qeC3P}{rd\Q6k4/>0 r$7nڧ{',iIuDyJ">3Gdv\r,Ktyl$mUJGuCr}Ey2t~DZa#dH625)"%YM rJߖ A궐mEJ3^A$*N% C8SkJpw!Okh3)ҽRN:֪I0nWRi!]V )סܛS`Ggz0fZ{cu TY}"er2Y)W<}WRHX.SCs*͒i fTцT O;_\m`ytBv0C{aX!(̔v_Uc\&~}A͂ث#,yX D\(s&pws꣢|bp)}Qa5:g9%|{N7#(i* ,M΢# l l?wZCbQ&>#RO%0HƝ<}R$g|鸢 E, 94o|%n#$ȸUݧjlD{ml`@6/IQ|q4[Dοe/hYk J9Xb T2d>AYLJX!^n#28kp.NK֮y.`4 =ϯpja(,m/TArۋl|}=N)F򤽳AMJb=̇}\f¨k5ibo;ݞSeeQbF@kY]~L-IJ>ẙKޡ݊40!{^sF*;ƯhıNE/A[ #ڎ%'xr^yK$$+qv [ߟ۵Dם!YM0%dd % ܑ0]Hcƪ& .X% '^sdYNKǒ$ztG(̟KmygCDJ찒3&N|n_fGLG0n#+ǀ|ض-d+'=9v|&Ӏ\´p"`WW2] _`M~`nX8a)l.5]ΛכUdbHݐ qs0`,f@*RWmr*Mu gdp{2M.N,+ڧU+֪Q{6%=O{`WNԻĔ+wk3^a9CJqЃ?Qj^w#S7Iwc-Z:L2@>0~}f>#agӅa3#E+oWlnԬ=Nw+Q o6k:-J{# ٬UaW(DDgy\nYVfBw[ʦժl#dsƷF@[Pk;L\}RO rDnWe;T4iZЌ Զ%e:.,P"=6b8=L5x>(.0q;Kop/GvyRRn~ 20nDžޫSۮrv 9{B=-ʌ4/ NS?X05ٺTG_QEwY^شed$˕T! 1qBe#}KB@BS K3 ̊m! )vw0r(c)v◄Y\~MRt`K Ri *Gv3^w7Vc8hɡK-rַV2["ep=}4 ft ] ވUė(W"2#RxOo4Z_lH5Sa"Q|ّp~%©|+7$dK>I.evvq&4g4B䀶(QRP: }xA³ߚjK=iv=c"Voup~3y,#@`?qtqw p ZlV7ۇxgNJq}aYOϝC){̐ϓt)WӭHÊBPnOz+|{w$hy{d{8"sݷ( uZ r,a8|-;?[~ޑvB5kL%y{~\ G;>A96j-zo2P@x]x94D'{~RQu/zIe6>/?guŃ {:BZc $ kf%7KR|׊/!}scQ/qY(0c굿~#I<Jg0*p{ٽzi^=]2MU ':q(Ksd.77$QrA}4# 1VҡE=\>#.ߝ27j25i,(s-Pk5QW0j)LJ' ?yq"1?EK_j?PG%D|1Ht3(fV51]Op"EC6(JP,AGWS a bp*tdn|{9㢟r sDoE^YlN P[gjdH,><"7C_r T/'UblѤ |.:3dJ ̆>,d ~|j-6$ϵvvAc#J(zϽcLnY^t&Za3H)9^+*`\/I5I;`Da/u1ra|kE郌wQis!-[5hP[!ĭ2ҸCpe+Vt<(U"u1 E,d <([[jܖ؆NAPb|1840\%+xm}6)!Ү;(S-dWh`lSs :2}t;} 5oU3bKAuHjvĹ0nH |L}O= yz9#M7 7Z`FbO2_#v5Xzy~ KuԊYd)<'dClNLB"kP _b;(93.7h6!Ps-M<f ?-~Ӂ' C4e =!.iT1-:th:f[(o9Kqa=;}U#:ߧ% ?Q4YP;%oD>,kt?)He+~æJڅVgqϜ:TڡO翃wfH°D~>wYΕ:.# 6u szxc e WCCP+;wI( -F&cs0WsY.*<'D؁䴯$!'WWGꆝW|F9/AӶ/[ZM+ȏ6z-yz@pm;a90;{]&N*u u*R$(:ҠFޛ Xg1ħN7H#j ct[Tm#z;A>kBC R$_v)$[?hHF hr5Aaz+DPpͬR""Z&|"Z=Eڈ2ǀtCJ@Pb([cd[=/=UKF".3Tȹr:&Vkr#uIu,|hەIXi+v&̯m(H,%m[GQfY[Wd5(ۋ+CPU>&|>;W 6ʐ-;݌źCOMֈ\.PLvF\f#rAob|HJ,Bhc ⚪(F) ^U`fdhwkU6-Sf#'5BFa@`ZYzxPeM)-l&z.qEgI+5ԷG6+Y~ LJ 8)G$A6|K^${%DK#fJQ7q=D m5~2j'0<xH秢rŶ-_TwV6=Tl~a\]- M" C ZJq9nMjB(w^ͼ(73ھ'M.X^x> z3(>M5J F;"VR,r4uq;wn%=UkU6jC`kпSkը' uXW̒P Lt@ҞHd}뇪`GSՏ&bb[}D<8H>b.dREs@)rϺS n}e:МЃZRf .`K*4淶(;{IUyC'ܴUOӈJBt6Et\FE& V4';R;{a(4#LBo+>g0934 fwvF|^fwc:B ;+f9KɜLݿRao-Fـ#߷ wm,/4W[ %ɩCؑ?7XH\Smb*1PҝP-;r]:Ry]5rC\!깗Fb`LSb)xLV\'h:1! eNa@z`ш^md%Zz( v ; {/z !-sǻ _2]]-p3{݊De=:BH"cer^{7zeMzrr4$>3\/Y+,$H7Qⳝ"V؏bǮ <> VȀI$'N3w>/x~:m~仈Qs^tl3Pp`J\EUU?ta0Hbh:~ixMӜMw õlNC]wEx++<:k+SxM\39\]bhHrԜ5~ xB-he#d[!E klkc umr 8!RnT3TK/`X~@7iSE>H^c=%g%&{קpK?VacUp^0x{(X2:d1Oӷ?wEZkCvX~{] q]WUuBv#Tus! gpEV}6|?{gYAetugR.CٔLw̟- ТF |nHySi`t\ڢ3rOZ(SSovvM~" w";(xЙ;&Rԟ'c :F  k5:6=0 L^8`Pk5 t!7]^!"8nI?l:Œ45]r^hKCt %t{Es&i55FHG/Ox%mh%_ HA9:A!L?#gڶlNU/zU zu\8j&C2Pz@3ua+s*&k#笈h릯A\hKc: IT&Z,3eZWe~Bt݊`K+L-xX1پ/ w$(Z yyh:.>7s2oɿ,,LzD_ڜ><?At&ЦF|{"_m7:(jodfϊ(FibR1揓h*N?-~<=:К&Џ,V?kp.JS;J!̀qdloY;޹j\6t Na]|çێwSA3PY3L"@ mfZ%;[ FJY 0Fq Ϸv+WDΙ6J[nKӖK1ݹZ~k=Lmz`I朧W+0ro ˆ[8Tn,6TW*4i)&7bI7}+ypSPj'`_3HaG F`^LiktSCl@ts/h<?tty]gwpdH{ QV=z_#yr_͊&_&+_'%Qq[ Z7 K1NZ|'Z,ݘDЮo1kGkVi<3%_Á0˻fX- njaTRߝEƑJ0guR3P^ _!H )^iJ#5+ޒWJršs')`JJUL6}_# ^ni(8ޢQ>5 :ٛgf!ͤ\pR4xrZ 2dAP БLK<XT@wI[{ REOBHdUOKw[EAZ4T[+!M{]`8_em;ez?\W=(zjy|MM4[힧mB40}(tQ%Hd_! ]X\^&o =FDl8!&O$e]@ f>' @ؽC3*7N鸌#ntTgeݟhI&zxI2l%h`*=YdLm/Yo/K<-VF\MTk3@# _7(wt#/~;vk}v&V5~67gQ xWJȡjas$s]2]jBx BQ.I>09Xw$Cl6אQmvh>UK9R>n%$-.Qt?ڔfǾS(̞}HdSb.8h/ Յ8Ն2j7jXk5qBڿ/Ύ':v#Z4עnͩ|D˸*Yهp̃Yk6%?e p`,  {uf#@J*DP}qFqg-@ sm)!WV`A!1!-[#Iх3 $gkU U qE%''Q߸K:( u(g{Ń5-21|x0@7<A~~Hw>tVG9F=Ǹmݑ-~}VQd^Fxsk-*乮@5Y(Ҷ̓Ur`6=_xԘ@2kgh1+Z Gtmӥ"3yuY8p9rp25ϡg,+=I'?գg1UVK@HYecWåjXq _CsyWwG?u[sݖcR6ˎT%VDPBNF s|uȄ۔nO|*Eم9N/9O%,S|}geǾe&.BIfug XS!X%jjI[mG=n>5S/n{זM %_(@DaJÂfX\ǩ )-MIrӓ" 챁[XwV/3\gw6=+iݛڇ~ͭ\ӔkIۉ0bޘ6H.ko=ɬJ<2fN룡,qIB ztzsz!U:ϙ#Gb2{^o sZI֩J<^\d jsC3 ߳z4Oһ{\) bJtE C7׹:?lu(F^icecr3Į4r%M}g~Bā}a $NxmÜ&*η .puNJ@"uؘ`GUjdllZcl;;Z5/.脭T[p;U b2OK3~c!  deݡxM ;q1)@(hg\xpZ~r?NINQ{Rc0/U~tG@W*?K'Z\d.p53[:|ܫlj!eΥYrn_GØ]&zB"vKwcZWB2|QQev͵b!(:9ubcwˢpg-(J\sw닱|6GB'*Y1 ,}wł׵%~apEaܢ7v-􅂼b7Vqԑ6SK>[\-;a 9iC`8m`ck  e'x ϖ<0h#CPI , ЪnIy"Pĵ1B ,Dz)z|Sl(wg:Gp!<{*1!]Pll)YQy8B|+0-`.Br(6&ȔHm޾WUx^n[ @7B-voF 3 DiIhMΫMYr$*9I&Hp-ԍе5vU K Vv2:}uԗ4].z!6zduh->8j'+7~yR:R`,sx q0WTnpLdWCgS Fر!BTge/LF n;E&M-@Kqw 7 VpM=SN^UrbL1om D<)V/2SXO+PQ{?nIj-_&UՖYt;ABM kX %v!( r>`צltvԗ&٘n=dTze03~퀣h8yf[5qgZf5 A'uR:+5_R^DOV_&`w$L4O;D!;7/ E@&_ W*^z|%"&6F`fPQ[Biĉ ɣr?H- ΢wk&o ćx(ۥRׁ}⠿p^氒d\+Mo6e62Oh"gB[~,Dř%B58x^AE1[]76V$odM*^qi_c2F߁qLwk3&\_ɠw{ z3Et%J>P7䖱;T|t:,ֱ"Z?۠l ( \!.'nжV+*#&2@GL%pyV K$ۖ0sxO\?%͆}[=mQpu ZJo ZU#Up(n%+98*q<L hcRC٨+IG~,WKltsJ+WydFYH< u/{R®d8Нi(օ<8xDÚuؠ`ӗ(1 $ZGK>4ȭ-ɘk?}9|c0\- pW'j}JgFTzs_v>P(2q Ë/V קX)sm|WXރ ꉍы )Ad(fLz˟H+6i>Ax%e!ͯ|-( 5ՙNBnUOV{)CJ,͢pϣi? ۃ-Xs g5:?^?ڦN .'>L  &AY/R] mm?P]n9[|6&Au6 ou2| ;8MKpZC }m] h9{ea#iq#aαOd,c`24~4WQb[y[В}]]Zjg޹ Ŗ<ʯ[ uQ/-R+ FZڟgh u<{(ъ6dw>,a8 L eҢl$*P,="L {QHx̼v I'69P{sLA`lU6*61s,_y Z'ĉ Q*\ŀɠZ@@n#cC Q KY: uhh])]᤯[I'$ˎ:mQh>ךY3=D ͢@:$-.z|ae YRPlM` S'Ԁ0."{GzѷpQkPpbцa,SVyG #:>*(zȧ:hHG)Ȱ6!f_vBBbpTyCG-,@ҭQǠ \޹E[ž튽+ڪ.j3x1J2ŵf-Yy-Kwlm$eL d|wE*g"Nɱi#O+VuYtaaV{e:2HN\\vqbHR0aI/I8" YI_L®A̯""q[P7O52A%pDfldfN&L/*dPhs-`rP"UxN9$3+ 8Hm/.Jy_o+܊}kEZX `hHoګc\  " 5;aicdȉKp=8| zbpyрɑ; W2t >j+/ ٫;ړm,d7Q ZfLDMߨpY$ G{)_|jn8cyΐk"9"wo(v;7s=q~G'4H} xXN^hTAC|߳? yR-r]/9xN7 CtZX+7?^#͸舓$Oc 19i*J cn z.( s?\ŰJ OM%vӂMR!;?v sC1mdϑw FC1J:DlRWf/uMxU{!TwqWHT9s(~v1_m2"gy΂8-)gD2Gkm"XQ+]2uұnqw idDyk fXk$Cl}0U' xO*|Q "3 j| _|@?KA+Tи4IĝTԂDGL@OYܬBtHB?gC˅1'a2h22%-GR'Lۃak \,iTsC'{d;Q+-qCXVsܸK/}9ಹآٶ;o1,{4|; Ns7 ڠpS #_,)76eDmz_kIM x+N^Z|a>H"zВ(.mYi؁_czk; F7gM촱9ZTݴLasNʰEviMWWPkvfQ"z>nq-?73^/xp̣ cU 9jX0:v#QS."wQR(83[ƾ0ف׫=F,V9ڌ ;; G:?AU,&4K' ign5fL-/?3 sNG,?tz?`% vr/y?sa`'H´މr!F*9\<~uGHS}6#[JS-,=7|)V[093ٙOriT(#SmLAҡo rmCQ>25Sbl)_a{N\Ab-Mk.Bee/"~x&: ӡe8LvfF.c(N/W1HhUym0,'i jð> [\⿙SP~1Z-f[U"EBħID$+Lm|C z_\qO7I찕*uG_Fٙ'gSFQ05/<(y{J iM#c4^vt4ˎ=-pkʦ#{ygOZ׵g0U&%δc$B&.P")3b:,߾>UWlr[+:Ry)pPOD#Cht)*Z_E)w;J)hAC3L?LNLsE16s1=hյ4bq(Ϋ4@ Pĺܘ؁i]Fw@R m٦z @zįF-sEmQ3z|ӃQU0LB}f4c XFە:q DߺkwӳLlé-Υ_Yk|pnEu uߝVB=FyMl0:!)re9oCb~V×m }Wn5f%XːmD%{f*Q8JR %Ti`cOx? N*%XM6)ׅuQaZNӪe!SyaG5"fJ46kv7XT2͙z⿍+xo5x:qJ f(ڗpAv=f՗8|`hE{`Qfzp%<'g}]jC_S 5Qn<٣ _3~m.u@E#{im4)!Jx0Rz| B6aOU5Uh"R~\M'u΀g"Sώ=$J"n8\1̩'nwk`aԀRqt##A"p ?Ly"WiV2es]|BQ8 ?r@]@lex|O$ D?22wEϏk_5%Vff[:DJ~@J/'@"8ז)0.0_`A.N6RIp,Rxb,2J.uPwc!4ߜ:_eb̆҇,R @e|W1Қ$C%Yn]^O  Ia @2%Z(oj)@}VcH1Z*,b",h:!9]EϮT: ryX޾_TSi~JOBwX ?#2rI''+tEXD-XdY.N-+Nidk < )*:oޝVu<fܹ~#\y]uD7VShU1ƕtzP/6m0 }ɾ6Mw؋՗bGq܊lg ]a/A5T^==Td@'mՆ1 ҟl0}"ˌ&G>ãdHYjN 3K酫-D4AAAzh{Af`#C#Dˉa_1 0O ;w2(kUb[q/pW^sW?yHۖCUmüFT.{oF#?Ǜ%RFG`(-Q2߱uVEVCsƓKAHkS)د,Vn]!%[|+2֒2@| ŕ=ּixMˡFL LCr@A'5.9e5ar\E:̭[G1P4e;97TN,-lc&8Nߕhyw]5\P re+t0;'1>GSi NAT& 1Rctpa\r%Cs Axe&AT&(?vz/7` 7*$%33~L`EKXY>Hżn^nmeG/t)ftp;J׬2BbsWo>?IwD8,lPAcbc**~9J&Q.Ph:V[*2}Q= k\^w(/sXD\McQG~{mB0(lȋt.0moڀ>%N*5g tx4}K!51hirJ-`LK{Wi;8/W 7s3Q,a %bloХ Rc("-=ڛNJJLb5