stp-2.3.3+20220722-bp155.1.7 >  A dkAI%z &paTi6C1@ /Š{1bY|Ì0e{CjAK֓Zk{^sXԈ5X^\xȚ O1'桑FquS, CX[=fw*oD܈X2e0:q)ʦBw$Ggd&)oa@ܷw:ȖeZjPjTjvBs2eǻ#PLU }l>E=7Qgq]4^ c LoЧҬ_`L ݠn8513[ dWꌻ#iAٳ8D' bofatCWJ#Ufߎ7"ދM՗7%vsB</tm:Tm N 06xMiP0=,J6v62241iOecNnm)K5l+wF"1Y^L6\ sPOYCքy;LPfszOG1nd؂8XÜ3ETC|?w_Ǥt XۇgR"=`xX#\@}[U,0gR/VO+=RPb"2Vy1G"p-V"B',Z"}׊"G.##Ί`U@` <΁(a;Hke qgx 3$?JqKPjpZĘ\3 T͸ݐrԸԡ*u>3q4JjXmۢP}=׊ψ|>AB8>p>P?Pd  1X\hl   $ @  4H(/889: FKLGKdHKIKXKYK\K]K^L3bLcMJdMeMfMlMuMvMwOxOyOzPxPPPPCstp2.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.dkAobs-arm-10=SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxaarch64v$A큤A큤dkAdkAdkAb}b}dkAb}cf43ac19a66c6b8868c850de4b130ba8f7ecf5678b073b8229b16d57e19869bdf8c165b5867488d312e91810fc668136272a8c566711bfabdecd59fef18df81c4c89a4b1306ee8f7cdbaf7896a33b7992bef6a6d24a00a8e1b0eb7178fd3ed0e75c02da41b27e164e9114a7d4491aad0e73626e53aed9fbbf12c953bd9bfb5ef1f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a7rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmstpstp(aarch-64)@@@@@@@@@@@@@@@@    ld-linux-aarch64.so.1()(64bit)ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)libboost_program_options.so.1.66.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(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, upstreamobs-arm-10 1684750763 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-stpcpioxz5aarch64-suse-linuxELF 64-bit LSB shared object, ARM aarch64, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=b4780820170bc2602a2ce10f19070283854d1015, for GNU/Linux 3.7.0, strippedELF 64-bit LSB shared object, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=30a8798fd3b2c3049bb328533afd688f98d287e8, for GNU/Linux 3.7.0, strippeddirectoryASCII textASCII text, with very long linesRRRR RR R RR R RRRRRRRRRR RR R RR R RRRRR1T>') .nutf-893364d127c7123c57e2d30de489aa9964410c42cb2969b22acebd6c78be64922? 7zXZ !t/B7] crv9w񠷾:{rcz :4KX{HHvhO_ꞈT]d0zs[ &H+Ak@›n~m(Ubg^{ j5kphW Ϋ>εzH`o1@(&phxD-UOf\YZ`7`\ؤ/1XWD&SHCjIЯ/#ʲy99pkpvSe2)W.g̮@LĈķKUqU[TTғK v"/|>0.4퓆c9LsW=X91Co?,MàA2oC1M!ȟ lAhC6`0uÝ_+6Nydѐa}_H6YD{njFKGR ʅ4 0]z<N#H /5Kdz~oU ezj8S@1 uRD6x3#?sޛX<_pMŎ(0eFOHKWP,)K4!"xhطg2?"dyEI_# $]c;6Kt$"x }!\j: q"{õw WY5RK%\*h>@ 7Oi9%I0/&זHn_„w~4ubr+h I`g xSZ|'$3J ) Dx*x4%Ҫ̢[J%$GF]h{?xyIOVUaĚ-_o8bЗH$n9^>~` Tac1= W:ROrCn/̪pרŷEu独q$0Car|Ḙq{+r:U==F/Au`'p Ntg.(+.BhSL'L*/ )Њ> erl7sAdT FtHܒQH﫡a0Q AL.s .#&&\T,/(cX>J)Ji,!s=ǧCR:%QpA/kJ6槰C"5;JY䦒9{(@hsөNU ./u>1Yx?"'wbBmoP7. 6Bv=> ni)W <jUv[?ICCDC{CƼsVҕyQ>wu9[dHpyMbJV79y+C?{;İb"f7t^y&b, r#cXK1# QP}2v1tC혻FGȢ{9?#!Q5rn !"72b~p }'˿d4wM2MS 4WqQ$jF=;L˯@EÚ8`@ $V:2 d$JݨѫfEuөNHRl];8*q( tk?WI\&8hJgU~ҥqFjAU?-b&bbCEzX V$> .[{b5⁺J2txokIΒ}1 'D1 _u${2O\ZR|$ZBrD͟5{nynDT.ü$ogBj#'W;׵}*.Z②LͺW 3.U6kL+v0&=.k@Ю恢vSt8|IAՠ"f4QzG qČFFK| 萼Uqd[*t |x4Ph`jGy;T~mߑ{G3PCN!ְVXYvJ,[=Ө. ʻFY2[I?B r[* -%}ޡ/L4RELa @7_$5G>xbe.tj!/uvlc8XXj;Bl,1@rJP#Y}[PGF=l_uDIo'$ :*t} xl1$I(o_lـ5Ɣnw}Rmt,9IR_t>Owaq2 #}T)UC 3JX妹( "//PChN[όvKa7}jbDL"ҡ3ϣ&@՞F)-T3rsB(l6&qi /8v{l=9DNDazle5;ݴ14yҿ';ԫ߼v 63M`BD>dAöuY=})ΚniC;3ۧ_ab$)ftɋS?uVHsRyRA%"V17{ٌT$ gSMx CVTFi72VȒ}=2Yqzfzx Dg,*ۅO0\q^D1a{5߻#1PC! Cr=GU=3g& _z7@4ѣBD-7Vͳy(sD)DUTz0Zu i",Cko>驋}+ 8=b_j_e*eCIhN?Ty Qp3F $P#F~X7OL ,:ƿX9X)({7uMxTϹ|N{ )cA 8PgnWWf=T{\gAyI-ޒ'5ُ&S#g}tTn%' N~xARϢӼ=) m9;8`ps ЍW^E, eOrl{][q*w0wbIOl_f[F]kP4T2ȧ gX&pOG:ޓ.3aAu ^א?*kp^? ňz-S+~56q G"`~g9Pa]t-";!ٳ%UF΢'Z uI x~g۰/_Q:{R&1sv'fzM0I.?dG`JhuF&xE.GIt$m^-nX~PB//*`|MUn ܪXbaҪ+pbpRh_!I4=- \aq2(5OdVyHz3v*?te4Q:7?90޿ԥ܂ -&O[kP#M E8<ĥzx O5,%/b™qJ0|cL:XuDSNMjqeA:-wVrv)]!hܝCNv { ) ,~;/.FB-(;wįLBdP_s .{s uS-޵rJm4:-o[\_`fWa4i禍.'Z/`}3%٠O_ oKß-;p7++7CJwvܢ{KU ONbE UR4vFbSh!񅔼$bPUc׷?+n/H)VP]R?&@ ±I-y(0w۔+" :}S$N$P$oX_oC>U%| K3ذ!-R⎢qL_+żV(m$ChEZC_w{t zon`ܤshd-PrD"S=:ь}0* ,nF "{paJ5ڕ6EcUc{,zcVhUguԝFM;.mՇN`<&}Eyz*xݰ5À&t΋'_Kc8o:=#";1 hcL"j-)zq>˅[hUC6gg}@&aRP8'yT< kSOߣ#^P'T3:4t߿by=Ldjg}ʁ)j4  T%jJN !UCu3/葂?yr602՚TiP |pg`Ws6n 1jĠ V3<=쵑t$ e2=tgoŗpq/^LcAйaZ|])27KWixmD)= n(6S-*dB&ȸ"bDT="R-Pա4:l]af虧bv!_ZxTt?}"mդd6&=G35?־ 1Ji/58k]I<1/kמ?(^= vר&8++? Ic. Y x}=^Ȇ1XpCK&SϾ_#q]uV ZQKy2qOX 'f7'/:3}(l3@Ѣ`?k`y#APUxeQasp=WOŷP& lxɿ rG& |2íyvЛV 6C*M2K;_)@Dp[1?iۖ<^FÜx+;;AzVE*ox2ɤ <8 ["B* Ō0-:s6bd͘H [~&S](B%d/ {: Wm.}Rm&>]w+0 }^SLh}M&% wF=۹xu`YEJL7[֞ETřCp$^@6\Kʉ59P{_y&H$='eBM3!O~۵?IDrSN9dט@XgmC VV&;w4yȰ?SQYvwC)ﰅvX||Ӳd}ymAn[?mwX b.cEUTm6ha`30AcUH=9gC~q3 @j" zEL#ej%⁔R`5щ$k@~/Kijp@Ļ;̖PY9 5Zݩz1Kr/ &Dp"C+1_Ubk 4JGJ {ͿB5(v1KY3ݡdo(@LXݍ;>WƊH-= Z;wpTۃ!_a.%  5/惓\*\W'@{jZSւ?dmT,-BZźw!4>z:d_C=3݋x;p cclRfYYW&#gS&OfmDҿ wtܱV*-E=,)nfin\wl r!p4O6Ƭc!Czc]yZ*33XAE&zaN$skl?qX 0PXA8y3ldAR]2&f+a- TP<՘u-;pd"YK>o|s5O\m\,g+XL` 49dh( Jk1^ # 0~;t~5Ǘ  %{Neb*eBR!l+U%й*N)´v@apJ;a>l2uDSD rTp < .d@ -ғɄIn#@Tk Ώzgñu`.}sSǕd ~g \/m/VpTw,z-"pW k[%D+ķ| {C&r/##ɠJ?U ~4KY4(5U(rf-@u= OiC/C&]/(U;V$=]D *pZZk{')N(#$-\ r~lئ0 c)_\M9Z 5__ !~r/_h/0ϭ#l=9ќt^pD1k@)}n{LXW͞ፊt~~::@IT(|$a+v-gQM[ݗq.ARJ fH/#T5BHecCI+-KE}jk(l!;"zr_p!j515znt>LA+6z4>i0oQ/|MlG3D:>$GKCb`E 쪄J<_>^4>e$2Ϥص~-)gKb(SpEDZ$Emrw.'MV0a#6 sug3 $Iog(hJ7^ƧmeNps*>R(|o+!%Q'nz#eG$iG)IbZe]ޝ2{Jv1:@hUp|d-/Ie|nkJt6kekVY@aXT^s°_>k+,EˬW~F뀾l>M$E`&XNTF 6ڊx^{^zqMzmIêނi9:@x%j64o-b ċ ]n|Ғ QY P= <rkʭc˝kH!I-fCIwF KB-O]L6f),.pL5-`:UͣYTsz0!ݙFX'**gjz3o-\ XzdS{QC$I%Xs/ ӛIpedҕD#95?X,B7Q|z>Xu+\2O<k[{K_~=^2^IE3*?۝ hoŲYWS|h2g}›3ugAF0G]3i$`4g=kngYŘAI^#v9٨,ƬwSbD'cS8oL9I Yd KTl{3(&hg^_6=lIȾ62g(r֏XȞQhs\B)h^Bf=PwG8#עg1L!)Hn<+/Y"SP(jr1K2 )1RiLKL"x3 O}7) *8a<>Գn ^k Θć~4-wB MY%ɽz͢ScG%0h,&13`}m&;L J(VUH}/s}3JA/znqCxkYBBp1,!u#v |"#2X 1lpBԢ/k󐉽Á@N >SyvloK˩_O:*nB"^{7 =7BlH_N3뭙1fxQERha2ccWB6ϐ{ۋO̴.s`f8D_,܀4FX(Ч)ׄwlN|Ԣkz=ov7ŚUJQ7EI!9/+&=S{f_%vkҲ]~wܖ}yj0Se r~#%!;  <uTv |*C`DA^bmkF;wVڬh^HΣ?D 0teqἰ_[ٷaȪ|$ KEtE%l\uf\ PqeaUжKb`C ­Ѷ F 9z g/؉҃R]C3ޅ` 1͵xƱ^nW"gIc? eCfPJ .qVbKP8yC:^:‹YU.n&%{|<-e۾qS2Ӕ)PA 0,&-ud^:<8b*Ha<.mYϠpya( Q㗝n&hIX܃$g)XPs;9;݃ IpwpLk{?!YG{CъV7M*ob!uZq5,&Gq~w&61D赨^"BvX!u9^a|Bm4xN,Қ$ܝsqz(:[]%WG|\CwLQ?K9)E'ETA-Hȁ'Kylo:+0KUӳAGS @pCq=vݠrE*C@y60cVMܔ0a.V}zdx.yN<= *q|}lO<(&UOEeretviDPxˋJHБE?KQ߂QXEP2\~Ml:jܒVcHIGE)=Zծbr2);rXz W)B`vELW|,q@ڿ͋U#/^ tDdzG DRgh_WSnE_λaSd*C& 3[m„R6/]JM 9\=Z' wm5ž-.~^L< OGw(md%[6'mE>Qb$!܁lqCE{Vj.r¯CtUZd[y[#n4̄Qxk/(~LʹOVNC4>֪n{ I`xw^b<'(~ѬĦ%n U@THak'nfbϨPGXmy(]ga2}FzuJa5\7g$IF󓔼) Kj1'X.PR!QPJj9w#-&[^}l͓]MC>KY9+Zy[ۿ9Yk?Cv 8OS Rx1 c\\)gq+H+u-,_(ք_+ڏ0JMnW{ѯ/i: XvȈo,${gK^.sP.nWda8JO+tj:K 1|d !iQj5<[+O9z %Q3S t1hAVț_\thm&7=ta{C9!${֒'KGVR-mPj*AF.ȎԿaf5`:ڡGD%tgF*_h:]Ѩd &*w ΂]w֤1^/FQ ^"\Ќw@(:שV&\LrSet$uٌK{zp99h|uKXHG c1zѐԸp+~ =ҐpU/Klwa'$dpaU5hF˳Yϖ))S+@V&e$w H9pTfД>{B ,"`o8($+e?&u~n_EӫsIh:? (읒 g|Hw9!7LA0dk#|mZ=7ohnhÁF@?GVdQe*|pАVTD!.՞ʴ9@N~SӋA]1>LnSsxͻiT띷Ƚ2H-#Ch؋q٤yEnӨ kT5UC@,Ro։pڸ. a~ɵR̭c4K* (v=x0 snşP J5Uzr3 $י_h-t,{`N`c3Zv V,[Eh^7Ž/.mEjL?v\UlV 9<M5 wr0];qYGrs5@J2S)Đ])WsZm4$gщ[vq)fg2Ec8 aӞ<# M7: ']L$pnꗘK:0#i4vTr٭&!jcX4( .KgDz%J`Ԕ1.OmJ`ԬKo_E/H2+^?pZ9ϑh@!{6 Xds0eF$"غT͜qG6V}:txSi')T1qr+;=:y 9&ukF_'B&d6%r;\1).{ V "G t{ҤCw/&swT֪u Pi{@h%tiZ'H\VՙέOOkZrC"V#YmH>7$_W_~UGVm})WHTկP~{Y&>euMq_{ йp"XZm{Ɛ:֩ VΚx^d|pTH %\񳹄sD/ @ 0 89Z@ gN zICgg*y|4n&3=J p2V5^,^Go^{^_ϤshE`d!bhW\OY#p\3qt bX{* .aMYD%+})]_"#ʼ6BDBcA+;ߌ!z/'4b5-3Mf5[B 32FrI5a7Z*I֍\]sֲ7<$ΡG]u91?¿ȔX1JDf0Qc͉9i Xe^(H(@!ak*Cg}Sa3wd؋M\2dR:I+pU}Ldv^/": '{ <*7xL%oC2)hnVf۾%!Ј#"wԃ-A7EC:EGEoV13긹dCOrL4195.i3jO`ׇk~!BCC*3w=q c3X RsqZqsϹ7uWOd렻8rVgi;\-FdH^c/_>'-j6.1cKɏ"~WڻX**^,O+>6%`_v28RD4D lC1آ#Z$>icOPUǗPꟽn|Bo]I-+U iq3X1H3ݗg?d31MڣX<)׵Qt]Nx[@8BW%m]%X54ZZh(%*<Qh2^z\i[4&C(gy)Z| Fnn/bZR{PX D)%5cO n>_=[6/+PjZ ^u鎍 [PC0GM [TF`!;DqѣCđ0+72䡴[o\'לM/t$Q-.o{kWI(]XWXgri`,,pKPQ,Qn <JE6~g"/Sy6 ^B&J]Cܿ6(-zWF]+벭B bg56j:^sMfBm1طEOx8*B S_(ss昆sNˢ $0IؽcEh6.ZyP&%M}Yxj=:ľ&zt[">u7̐jmE4A8>H$8Qᯩ]魡x\NScL RVaI*Ը0I<,X'DS^sm;i:ƃ7O""%\7 >7*Afаf6y[4ev1I#7-r ldKPާ@#ecTxO Zo~|5RK a(Nmօ*4f[W̩iTW;L!_Gh:#ܷ* LKL+[`aԫpʤxmpZa}G VBazX&ڹR%@N3=$f@4Gڋj^3RDQ ;fCi_c1Rf:6i?}e%8:M|Y{}(rS #0t[Ů]{UlEi"@[ozo W=y.  4K=b{t. XF߻~5~`ޜI38CGw=> &%i7$Gށh%W8'M3_bرW.oiG".jZ՜oCg>ܖ!NL镥?zBm@!uJf$ 8[{m7,҈}FZ"akxtyIb6X֙Rb=㪘#iw 2|w춀e̬Sm+/'~a'Y a ;0 /fQ!yn?U \/+Y|ɌM{fۗ g|0Jǀt 2$ fsWl1Yz=Y=7"mntx>)POϙj95Y~ƐNTPJ 8pCucK ]@l|J3I0Iؒ)`Ad%YCY@|9Wܕ?y=SQTڳLczu6BJb)J9P@ D*,dFb97U-YvHǘ(mz+YZgeDDײҋ,itaM~1UiCFS#WtH~ȳK.V9Erw nkOEnakW m/;y|6.+% [t΋1N`n&| )IWsr=28)5U?GQ/b5 #?K0IPE(=4Aj>+߾dM{Y냃e֯ ;Aɻ*; MiȾ.U䟬?NAòi HH2c ߣt0/ϥU ppTV'U_:] ~4IzSC%UڲC_Lob %0iޣc;lގb[1JƲv.(ۆqNpwKtp<*yzcNfŲx`iU!בgYf$\Whpn)GUi+ۘxԎl?OCbJx#4saTTJ7f}j{oN0J%g¾~$xFXs T.};N}jgG55A̴u?k@;e~i E3@{%:4[ `{> mS6EŎ6=Z; ;(D٣޹l4dO!dA0D˘=F1aDuȪ.F\W'#fRX <"n|qH Fr&Wؒ!C5`RɅPf6~,R]_Ǫd`V 9 1qZ,q^{9 ]glaMxݷM\r1t^ԦRO^Dtv4&[(Pa%@!/Fsa3QhsCkJF EK!t[Gx\:[9W;),bK0A_Mq{kt b8S!.ӠE ȸ=6/, wi dMH_SPpG<)`hf<ҧ<2l`z 20X+1B<,H[sK춼`@\˯M]`u7 ;lbr<++rMޒϓ[AYn H%&79@Jg kB]0]G<+cוyxb2> g'.!9r$ǸlL[{>lm Ӌ`.!*I H `5-w_SQ֏~<+1Nb, Ft 77 by*H^sgni1g=s vI0}Ԭ9\қ=ƯZVfNMDbA>< G M\ Ll#ZB }gdibFg*i\^˂Ӽ'ΠГH/7/b@U&⏅AD PZ Gae.?y$D.n<Ϣ*O]25)T%|LBb 0r`:,KS `Kd}]Jr^U+n(6@u'1Y(?ò{c=v!~,_ ):q"}-Jbd7\*c¹1Cl^AL%hH;1.|J?I~AXQߗ+&!Y0eYvsR'8'v" mUm>5[Lx .S8)Pmߌɀ5t|/~*۩p] &SewVqAeɐ} S̡4식WR{xM MEZ D\szI )8 -1##58S0IΩ0 ֓=CTV9n.G Cl L]N17`'< +cm@%!(E?ɛ(GEJrQnr5rړW@_aH`#.NQ/I.ь# 49>LGdgfjL_uZL#ny79KQn$zN3t}Qo߈O&+$=r # &٪Nނ+lY͕N]SIW'윃C$P䤴9)]Zu]3*ڌuE&-.{z1 rXoz;S<&퍥l63{nS?f7{Ij5n.hOU)?VG*#ǰp )/t5PVUr$ȃʧYΑ(Z(}o 70ROb?ٴLW/pWNNAX֩n$4B!>V6YeY)談_s-7!k^,Sl ni|o RKQ-?ZlF_vNPﺤLb!J߭P9:e@'uHecgAn o.gf27k5â0v`&vO${MċRTWtHРC1[v/NϺ <{Z }jp ̭cM RHlhyQrd6?3MG j݁5׋$S_2VN.>ш1HlKsX<롤x2jPe_V TLҽ _ZA3ēgNh)N{Xg46V]^e!@͔_BUqKRW":}0&v%?= //E>~ / }(2I,B$.Wfa/>wʧͪloNI up-c6Ff[N))?hR3$uն!/ _Amk#"5/_ѨLF4Q4-n @9;U :bWQ >dɲBok xljb)!%6Q?$ܩ1[//+I7}wY\ Y[i ~#ɘMuDfSpc%~PQkwc${Zkxcl<."DKǙ>rcAS6Lĩ漍/7ȃu'6}6GK^m잔]DL 3w jL0DvT,ŵZ%j"yZXT`KgzRS8X5ZQ{•h%&C]P4fum.n.jCY{fBE"%ˎ'C]`&1o|ÎzC>D?LxFH>GČX]9 !;='>mj Efa%,#?ͨ԰A2E⺪wqx!84dMH@blq,M mwz-SbNJ O#Bs0os6ư6סk=Sf%9UѨCzhK 'uY0unTy5R=0M\3[(ODҤ&›שȒY6TƧ۩ \Hq)"Dk1 -5C9rt7=2z[wb}FYw^mT}]tZj]PK4b9 p--Gl ~6HwXχ~!h blj.$sS!n48)eb?h O8:I?Z z#ѿ}(*ZEyWgg~nt̶G@#yq3t=@ Πo/ Zl}z$xsї@=q6Ӯq|[In!wbZ!v!qmAB.}{j|=f!pO`X+uq-ɜ"%9>btn0?бND)aqsȺy J˱ }$* ~%Q ޤ j/r>5]h?ޗfTfZS̎xұ7ԎP(Xz[y/؀jm y4flMabsG!i RŝNwL/B[]t$m+N=1xkS~8:|$kbY\Gڕ_B7w;{V'+P+AmyUQXOJL1j!#,m&ӥ:څ ,aL=l̼{nNs貥w t mWKoebDh@{%rJA|KEjQRB<~!r5`Z|N%trԼij+ipgf1k&(6kI`8"7=13׍qd(B¢XӺq2009aMޜ+¾1df=_m3 qgQOO]|<1M|Xa&K|XRT65FXԞ[oNd]]9(G"n?LPBA8ىfF8}e"O:@8MI6C[JrZ1}+> Y3qyuӚW[SXw}YKf]V f*LѼ|[ޕz؀o[U%s^BudCfӝ2QZ@p؂C-a;|pf:CaP!zlD0sڹgWq}DybTDx}4\l]xJY:u>N*ƺYn ԀIHpQ|5ȐJ'3F2ոKn& <?gsJBp'pWUKru`^=,OѝǔV?߶p4]2]Grwbv6&/BJq}-\+m" ISI>ZQ-jILD#l z(V7a8IYc"Csx`3<k'k&B!x"%p $eɽo/QUJɦpnx0VN{'@, ygW₨@;pa+y51ȇR-oR/►SL #qqL'!H .+] d3;$yy Y.{|ƛrUTd>nC[djvIOٍiBřFw%׺ENbT$ M1堽32me͌0e»W*0Ym t{C K8p1{ܲ왶XkY,UJCnK+'zM!wzo 3u-ܲq'FY.+0ڇ yU 31F⡧AL9C Gr.8Z/UtI:r"D% .lr+V濃EÂnxJpi@>OgI^ sTHUEskQWJ}]B+ >.3Rp|qۯkhܙc[Lܯ\-zy7_kXk^húK!wmtC փ;'*掐cHZG$n5 #DǪ $M|]b. >~F(J>!@Cl%؄ADZaӠwOԇsѮC/Pkw6 e4^c) xHWM7UT`d FL|GH7U 2L–Ͻ*3/I)qD ƈ +݉UYQ{8m篼|m%V { V{r$3c.q#/'^*JC%tzkܭ_7׀D'=6׍UCCJ=jR}ģ7@BKnO^e'IWU) 9'6v&Pn>O\bwg !H%Tg״aoߔs8q/eYgW)Hfvbナho\\ei󾛖u qG,|d3O8u$?ŰୣqNڣ뙹 Ÿ΃[E'v|n |ȀYMM׹s>Hx$C@Ja+nCbMPum [P`U7)dCRs,!xzRx{ oᙸ$Z3Rs"QɒoY߲T]&/$:IɑyG }!|=5QJbzp5|{)K+2ˑqN/JCظYfȎ1I X.% &(K7ˉp9NBPO︌ސm6tI%vP?t6Ywێ{MF2odSf"9WeܠnBn&Mv^K ebL7uuZ:ɡTڭЫ_4X KN0k4HjC~J#/  A&Rv:-!xb޽4|2#uڱ*t @kLyfOf甅g76BmN,ߐXzEUբ?܉7@oIWjjZ ҋCL=)Sin'r o"PLΑnxݸiqtBо֨_)vKF'B*\o,rZ}Y^<ƔRwE&|aL^z/q(Zv 4E\`"m7+0|j|UFw uYcĩ;3ДP $ϛ Lx6|뿼%Oth8xN,wqӉ8ml,zL n =ELNv|^9gJ;i"U˞`:6;Z.ݬ8UsoYhqE8#)&dCk'|3_V od/IRťbIAeīNĦ6dgg&OD~-qܚG arC){@sQ9YnӔ}ܫH}M2YYu6 7͐2kqېNDĭ8zUəϒIҁ,|e/Yп9par&őߠ E |=<Eb{c]ܡو@2hd [5 C=x!i'l`e{Wd8$9\]5f kƂz X OD`sckčܩD QLQ|nj ĺA/#Bp6 }(}>& u1h5$?L؝Myw*{1왭qr&S "KMLB@>'݇_Vj$4퉆!fZ"%ȰN;A@_2CJѝ4kDU 4įmY,NZ*C4-?_O@8/j{(p|lTA͡qA׉o?|>t|E j5of|CӓVgAi(- !Fa -AP6RЁsXp_0> T  8g HT~`LoU=djqH*XpSWmb0aMڠ,9ݺ`JeÆb66̾OZSvXm|RntEToWJiGFr_gڨ$4^$U`{\'e(Zsi=,)d>wU9^զ)c{.D<u+T5nɄ=Tuvyq? RACUK{ˑs Po__}Ʃ09jU#1e\uXEx6 6,PexJ/wJkJ'[}~PWT0\i4;iD\xَ{ /uTfi'dTF˅A*o:jե^ D:.YmP%J:Vo]]*EȄ>bg#AsL" 1g\t +9ںt Mc?53r*<3 'HK-MX4ț h\ƽntfZ#zVboSY"ƩiC8e!/~D|YUU d+!v CSa ۷IMq0x cUWMU:X=Q,A0ZԪBlY(O8ʜJvDLN1+U|7G=?a*p7Џ<I!A ŲAĘ1\M8RejXusO#oLX2r`G$}]E# tP- y$UDT MYoUl.nJ8J)kp52Ô춀4Z{𭷥8}b6ΜL9>\k|@أFuzu ߩL'{žR(E>THB#M # J1 o {6 p/,(zOMBv~O8co-bc%NuJDV)K,5XDh(TI2\&#Q7=&ߌ h™X>Ő+߳~~=p;jpfݦ2/yB"$D?!U:əPA˲Y3_v4n1e|ǖj-M d5q%2hpSfPS &-Q|~9!뿤EtuyP][\89Sꥼ, D85[B6B! 9Uz @5³Ij-sqrֻ([xEǞMlWXv/:3%m3>ѓuΉxZT XJe#ճW ɯ ?IP9^DfCvPW%t7(EbL_E30J7o_ {GЬʴ*c~CjN@BxК:& WK$Drv3+8]|q|Ndjg>G)PUdyig{ќ8#zĞ,R>BK|qpFgx}K֧{G"XB5λe۞(96>'`5|Ea0 mҸt2S N/a}ٛ,\ԫ8؏G>3Du_܃Hj D6 /LY.m< (dc`s=`pYS^@Fu%Wkּ)"r*ϡ !dʃȔiXKsKgwbS6U\f 6 ZP5RF}>^~[2,z_#+qER^w}΋ıpTQ`IBR.I)鈧 L^5-G$".UC`ЬeϮ&v* Ҧ7:; e@i(0$oЂp3@QKؽbhKVNZj@ydˈ}"V)B}4j~jwyE ?::xǷޝxti-$ޟ<qG0a- /y?5#m,'~?U 6*P123̧Om>?^ƞivhqyH':j]1ۈ,:zhy ^DE~΢P>IL3[,HQlXq<<]K|j+bΦ1@O-n)! er$&_ɫb?hi9&馮W݉E 1zh(Lġ)A@{T NnWj)q c'<~eM1zi| @VšQIlMHu0h=T>bGsO$3|LSئz*C #H猘²5gA](%UĉЖRd˿k\z޴ GqW['7Zp֞WZ?kQfU|jE,c22N:*T*6Ӱ:2!Jsg47q WZk*|11_d !A.y5i nPo3\a*r).yJ[LjW^nXQ_9mjWCk!N€I`<,X"cBsjy2u\K >6l>>\. TŨZ9DY%C&:OJMC3jOhn̓DN ކSDֈ]ߕں\|$ؾ09Ţi70fܟc:-h@cM ׈>1;;9f 9k፨8!0S&B7jiD-^`>B>4F][r=;Sbd x 1|0|垰rvŪiQs5Q K#=e$hIJ 0NÊ݈U% x=ɗѢc.%ԋT-Q6?!BmոbD7#͎׍ (y>VU ೮R"oP0C 4k} GAW=<;HWoiֹ}4%,?:@MUY;ZYBzz\M-~(~uP}K'1OTF_K)8TƿDP\Llfk#x8j7Ni cr4] ҙs:;fw@nw[}j'W;/Ii<#/8diN20Zf qEX׸VA섾YyΓ`sm74DW qvFl`y^DY6ʀI"[WnXE}A4=!TX|~8]M 3Z,筆AFkMItKl|"<g/qpQuלb~5Cڧ/Yն5F8j]_瓑,˗¥@q ():Gμc;ܳHmH1ۆG燀 / $'Z .R'"Na.$߈8.|ZN_R)BmN$ӦE<4 5Rrq^v;a'4ju u[NosO[.ftܾγ!*[Yt*VaH0c2~%Q Y?֏xkI#/z6cW11'~f-XH6$^'vz\ zst9\HBvy>,x=mOOoj bvYxo~jNs2M ^F.%b|1v7>w7g ?_g`-,p! ]LPcAz0X P rgŁX{(}8XF1J>{ATS,4Z-g;VՅ)m!;D FPܥF )/m: }w5oB*,:Z{y[(姞rXy{-Mw_ᚥg5e1pND^åAHq~Gt.'# kUZ@LH((p&>xcp #Q6dFpx5sa˄:]&YBV]q%rmɐTkjܪuopKӬsuhN[GP8Al͗"5\pnIPzn"I'3c9'/E9; ^BT|WJq=%pmjigښc5 xHVV;b3Gu?qBGvN/. vkKq!=3qh* lrxl콷 ߳& )cEAf ,F[IuºGN:Z.ǹ>py|E6\/tc +FT$ϴb!E" ]U2WTԻTaQXV}wp1-?iRkkTXh__ g!t9Vk5wdy+RS!.zߚJ]˰\lW,mI6}o"Hԥ%^HpK=46i#!V: ! Kֹ9a'vH~n=+vluE@ vk6qB%mTa>2[3<%[ =<5wjEpr3)eCw&>\<,^BIc$p3S4]mpl/S<+d-_!gLlQO5&*k3 %X&gX;b9/wSE 26M#&ￜo#k/%Z9=W1 uQQNrfւ8,ĎfG`VҺQVRMr`zDEtUhCjD8"c1;3{8C YU5qp`,L7w*,;/ukEn'硥58^24U*\]swZ{VT ׉iv i)#eh<=ern᝜JΣ39(+un*6m Zf@r1 y_--;Oa5 tEbܪ29_cҥY%_ޓ3m42wk'#ԁΓ`lBDͧPwY?lޟU_f)n(| gE s̲l]/`_D`(}9RJ@ íINH+7Ϥt glZo2ܳ4S֩H+/(d@j~^3v~Š2bž8gԄoNH^ DT=ΗG/!gh;Z:< 30S}Ｉ*nAB8;.~P'͠u6\ dTae|5#݃l> 6%;hpv' ,UV0h:m.p#n0ۜ_v=ݵ @QIJ'-Ќ|"&kf?s++JIc}.;>PՋG)E09+[0iFp1Vo0G#Aꥢ殚< ߺ)zB)`ϧ*7x`;"ػ8ds?qafN5?MHg<1>U tk]S[᱉ĺ{6=5%y8aەXc3Z@YIKv kDjέ0mecLSE۪7+mcHl"f^>]0/Bg5^SO)XB$g请I_݊W Zբ6͒HcO}STqxyh %Z_Vr>0cWrrƧClX8BN4&vKCmHgB%73 /;?FC4.w*`[KfU!wj̗W$nܿ2:d=v`N<ߠ3cDtmOKO|f2#HjB,d񷤫Nt~ko@W!ń;|]Tڻڵ(X@@wCpRݜWVq覒Q,b%^k !qf,OcqAy9j*\%cmZxR}D-Bڋ Ӥ%aW3U/-j>n|-u)6Qˇde&ӝAPeމDYxr% {o"a袑 h}6\ s4w,弭ixA= 2ȦO{]]/a,'(4+~JK_(=G\qO Hb:?C$35kw./w -2+ں' }rFSWJ= &lrzuWMsk{#؍2߱4Srر܁I1Sqr`JTz4 dVst3Ndd¥<Ӽ`="/ޞm<9ywte O&sj:U8qV#o$k"?GI!sQWjd sgUch(W"\ Ժ9_];F4ߙloÀďw t ģgMC>CEI]H"I-c8ݓ"Dzb=lW8l@r*uxd8O+3QGGi:^ru QqzWE~1kKXw#FԀB:B[^*XZsÀn) 5eĄN=6I9&dMk!t'D1,W1nPblI^]? <~(¿Ikvz8T.Pɯz:7:M4_%f|؏JUN}a&9SEK P2nIe:{NK؞'x>4=]-[ 7\`zohBX7_k|=!;oB{vUViGHO;9MЙ, 2!/%N$Qsy{4[P+l3km`bޏ`@|[4SSqHËA:"/W5ŌĵtP"e&@I3#-$8FЋ7ĸ䕝W]5k(7Fiot/t *Rf3~sg ZoV M2v7$ZM՘)#4<;9S}!b&W(͝dž"ћޣ5wlZZv|1H_䁹0)"=ɋ1-H =P8F8RF ='@eu}oD喖b/ˢ{}``5 Xik7F\qA~D۬y}]-1T6b0Dg"v࿢l&?O.Eg`d`oQB@]W9 ҵKj$+⾺Jc3MY[{.k^_'Yʍ盏λb_< ئ`/%:`!N*^-+^m) oi ݝ{i;asgohx1owUf(VI.ofs`L8DkLC}* GoŸ w[Mi6驜96'ԃ]% ibTk8u[IE< ڢMR.j%}\A!.Btj-ӧXջp+c 5J:?d-bo̷/  jū"+Ju8;Lwῂ﯆r{3P eɾ3u'>&U@F_/Qw6B-~4B˚IfsDYDhEk(i*㑷㕗(Q7P2xR5BuIg]NhJ 7A5k:ħHXvK,`:8T;k=="&X9e_FSwU@h4` g}tGY\R$XE=Xm~ I'u: ? 避W5(2FI(+PnC`r%]HvQQ0J% X_:T{n%:2W5 k¼k4!钓`"tRʽkGlWW`5/? JoPU~9LVuZG #tR[՜H2DiBOA:6mjF;?.e 9fN f)h6Syq fI;FEx^Vz aNfמs+j2Cb#cնr^C84?*E> /|O|ic& h6,PG( +N^J](TY}Uڛ+c T}b>@!H&24аDNk: v$^Ԓ/lxtU"q%h9`|^3ѦpL%YXأX6EBynWI+.kiM#!7z5 8kYVIu6b=0IŅ UqL!!Vՙ_X;חAwj@p7Xv)žםF|bfϬP+[ouMQg1RMgN Oal6 TېkĬm k R,= ;:{0#Uw x#_!:.d'gI!PPޡ5hqOf]EC<]:~%:\dᤫK٫&EA݊y:JiqL`AL6LRǝ0<nOeC 2ʡndԤZO;}u{6}tG(!y)\/Ll1D22AV>JwHPbc3Ifv^~ ײWZqyK-y) Ҿ\%£ג>*1 !Zߒ;?ӝ87yБaSA~#b/ZpևE9KMZK zm :(N/=Jd\_AE'@䓜ZDq6B5SN_F%iV h-`LiX1g6D:^ѐ5G-Lw\Њjh!QUrC;V+OXpX(4.wMGY`ifKt~Jyԉۯs{Q͹IPRx_,;6J MD9|SJ=u*<ũSdƗ0nNVP{kGE I 7u۷-g;%gjsqS֙Fț:c s~)4EAM@? Vd)! qMp nFr3|m+5z[6h^*1f0L~EWBRMxzWq 6{Kء[.KFl\ҟUWfifMۑ|~ "n1n=fy-ۤ/aۍw$[JLH?@$ZH>ep=|! ozs f+Ƹ\,vA-Q .ja/3'voOC qS 796|JAaYz`uFf)@=_HOnG9c仧 :7fm'Et+(9Ű >5]?!zp[cbfWdund*ymK ͷm,^-+^3ZE27OS!.h@v+Tb8WY8FEϬ,z)k뎃pIJ[UlD\ti4p yV :gASy2/mnnLW)mQ+s?e5{8W'9rZI`uYf4oiChǽu YC QQ(s(#ePLmyEUઍ뱳 J_5̖,7!d:s8#bV+oҖ~qfXٕ}312VG͔&}F]dn؀CoΞ=t+f)k fO~߀|7` QwB^v}A$Ez]xMU8|Lջy,Ayh|-l/E9;M6)HP⑐2rpm5>'[r^6s' KiBVBJ$sӓ`6#rFsDǽͯak˜LXqTi[Q;ƍsQ z;<<ʵ)RX,B4 1ظ+x}IX\>Ir;o  ;OKP+ewǤ+_I{rQ[ q= ,q dD7sFE}6>YaqSY hU4a&Rnq,$ #윳]L#-NQvR6gltXX+0pD2K^0r*D/z{xga Ucl:а]Uh*Bl ș4)X|ԀV`"_+xURh g# 5waR0@z[}-7ķCU(m+CX,Kxwd4ˑ6M|8B j{Db2H?'(7ItxLU4'/z!yU , :3yPv;c!k1L*=V8:avBJ[Y{>#C$Γڇ3@zwR>C-"1Z ##dv:_ ؗ8I-΂?Rqr5!l >hAȲp"a6,`M(ȥ ec g-<"\E݇T$N4MѨ$I:!opD_N2 6%͊ͫbd AVwN=vK~4b6oS “&\˹b wd ea3=!ӵmeLQٓM[Xd; 퐟2$F?Ϩқc# o |? %hPы]@EL"<0oAF W @ȸEc*B0H6B3U ._8T4D쟣w"T4%EzF$HhQnu? ƃD-b~!IL^n|(֏-퓸CPxMGƏGmݻTPVpF*C`w=uJPtDzS)2HZ?Y CEDw?'=O>`G'#=b}r=RJ?FXk赛D[ tf c7q\CX;~ydWSaOf**5V Ĕyӟ"G*HT%^ř"boš)e$j-; .4h9tb7v6f1U-./k4ooH q=l[\+FbB[=UuR4ɂ<{ZFtcCw94rirPZ7j/'DK3Xz/]5 Qx,vaEx)@Trr.^~d]}ڜ?[tϳRc-+.UX*E?+ YZ