stp-2.3.3+20220722-bp155.1.7 >  A dkCI%z u ^z'6(=p5Rvܔ52p٬DܲH52ͱg,Կs֍nst`3)&a3 zUk3c*M'>)u_Љ\*h7y} "M#T¶$y` /9)?P3Mh޸H_Qtq-w@h3.B؏8 gh^VϷ /b Hz,Ntǩ-ʍj29z}^w~ ~TyqtT݃csqz9fHUJUA+=g_<QnuC#kyR')q2;К M#+gQ|`tj:ËF?Y>*)G7$TutVlj/+ؤ!;\H%dQnMb4skġWT)c.03ۑJ99659f47c926e9b0ae4a16b906b53010829338eb919e298b79745fd8e1f4d4b3511e8d7b2739021a4cb8d2fd39dfaada6a63fef9dkCI%z =}kmCIu1 MA AW$eJԘ5O..E(]x#er 9'ߥqT M%Z'<- 7%Y9ٮ[y+=Y>xg ( oG2zft~ՋcCk~r|kHX{{Ҁ*pб)<0 궽>:;:6 KhD3tG_c74bgqœ$yܫ4m5¥K4ꊖڸO]@HwbI|qp>P?Pd  1X\dh     <  0@(8 9: FK4GKHHKdIKXKYK\K]K^LbLcM.dMeMfMlMuMvMwOxOyOzPTPdPhPnPCstp2.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.dkBlamb58/CSUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxx86_64YxPv$A큤A큤dkBdkBdkBb}b}dkBb}5199a798d9124d985e3180347f5aed4fe0ad38ef0b64e0e1b5ae28adced0ab26e34eb628ec34f1aeb057f7f63636ba444ed7722c10dae47320f9d086ca37f74f4c89a4b1306ee8f7cdbaf7896a33b7992bef6a6d24a00a8e1b0eb7178fd3ed0e75c02da41b27e164e9114a7d4491aad0e73626e53aed9fbbf12c953bd9bfb5ef1f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a7rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmstpstp(x86-64)@@@@@@@@@@@@@@@@    libboost_program_options.so.1.66.0()(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.14)(64bit)libc.so.6(GLIBC_2.2.5)(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, upstreamlamb58 1684751095 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-stpcpioxz5x86_64-suse-linuxELF 64-bit LSB shared object, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=537187d176506680d37a18cbc9feb00879248b8f, for GNU/Linux 3.2.0, strippedELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=88c60a206480356baa9fafa5197e4ac3f865fd35, for GNU/Linux 3.2.0, strippeddirectoryASCII textASCII text, with very long linesRR RR R RR R RRRRRRRRRR RR R RR R RRRRRRR~TCg<utf-87e762b40b0331a7a82a923ac15a784a7c92d4dc43d5cb728357d4b61d5d527b5? 7zXZ !t/3Ƥ] crv9w@ ]7 I!t%K+\T)郅$]џm )kсyQ"3D)>Xl ]o-l <0%*&3ctmg]2*۩(JH薐Ìb=ef F,s,'T!{S 13ͬs?ú (<OHbi!UU!.I ẻVb<.*$ yC[d)4B`{_0T6š4ޡO+/m B r=ܠL@rBB`=*֘J/w`}X9:;P4p Jdgk'Bu(5(yJS Rt^"(S.^́/ѳ(n/Gi=۟oR!S ciNUq 0͵9pAHW[Q`2#%"X bE bE[P%10%Y4yvmhdE%+eHtF,ŷ(1<G+L1dL2'1&RJJ|oHRj- dq˄nr NB>?jr1a1ؕՄÒ|~{8M\=7g"wvxD*%0Vy.-y#9~6)J~;NbU{{z2r =Q%5*d."B̕D%Wđ!76" 3C0pN-bDZGMG]yK~ gm"ByQe!=+/eOnಞa&?pla wȈ]$w{TY+xt]}l#.-D{01`V*ZwHAbUa:Uixg0g-Ag6.G1cjIsn<D@P(ڻYSPX9d1hoة'u_C=M^s &d t@ `6n9UUs=G8S)@|<hД,Y7V] 4H-ܴ%, e]C΂thS ybJ{S`?1L=>gG>~lQ66J_Bo? ozKbt 6dp1? XNއ3[mF=;@ GX⥵Rv[Wl{$*A;NCFkjG,Wk=ݍԆM9NzfEC-ɍc Z ! xœ }:3C%}غ0`Q0 wQzmd L55Nrs͸C;DVBM8SQ풵WLΙ4/rl]}Xg{: t1 ..>%z"R@lR)l#+8y8&!4d ӝǢւ/k+ %"@`[IT't.xXtu")2uPQ)i_!h=3*|>&$'YӉ[L빦^{HYQS9哺<&n2$cb_S3buo7kDEY$h1j;B i]D+q5LGAe:#g  i.ڑ+]_\sl-X/Xٞ5;D6۝{*c9ӷ1MFZMb`+d >L~;) TkJlL\˜݈c &oBΒ4̦mU[%޳Q. IjHY J6HA"@ʹrUG~7I>_Q+K?V hPm$+yNeH SHWb쥾k@6&Zι-^?hSPnG+I4>bY_{/ӡ##ã8Aj+%'VDH2O}va4g-s5H="!Ip=nRYj2o X%,>\ Ȫmފɸח%=Cs BӞ"OsxCp2ܨf`gJ 0NܨQon܉dњ,,ulω3=os8u?և8`ʵ tB QA^|Wעh^zkЎ^cܐ~K~ -4KEw6z (YృG׸]4R)-axp,7;{ٌp wH`EP~&@;kou82|=v4wi\(GI=٩Ӹtc= bw*gF$[[r!o`:?N\F1'~ x`*Sy>bmCс%"<{D@%2靶jm 0o5LɷP>6䳊C3lM,OuXYXDmwu៊pyO홭pJ;~'6HtL%B+peCb+\S7m3 Qв `HԮ&m{Mk#W6^)Pyżfgsx"މ {*peW{ZYEhlf5z. ZEl߁h>> W?9C&<%hY͕V/"J.|ao㝠W%dp"sAeOZ3QQ豖lXiOFg9/qE T8P@ kR!nEN(3m*jsǓ<`Sɬ/r_Qv&(+?D@i͏̿uvLҵ<]o%h:Mi,(؁825Fm Uc;@0c"huJ7pø#,f=RtPAUiBY 'r~u4\HLu6D3uZzÞ~&@!A{Zqhw+Ak̓,d:iTn:]v'=X㩩z$_QbwVRž)S~6,xk[n%oJyZVEU9G+g޶Q<$hKnnr31tA}ܛ I}K1 ֪^L xFXJ2SRҏZ=vZSS籙K׳\=E4R#Zp }SRz}{rqqK %kֱzp 4Hէ4DŖH#p@ӟ[2V4;G ~hj>*7\w,N#'ry i=ȢGUWn)V ?7 aTjӹTɡl5^1sĘH-y +h[p9#S5tݝj^ɏ@l 1*9?hC2ZcYޤ>D{dBa}lq>r`PV`?nZ.2R|r {M)XKJoh]\ aK:GDB+=Sf仇P_S5.JӚy.)k\\c l}Ѓ`:Ƀb3u:QZOWjQb^6s=Vţ6 DU^f) l, B i~.ޝe?a>FE$3h$+Z|e' :h 8ƾ;kE8*3\"eMͶX}ojDZWQ+o+ D4fNy5 U]:k Yæ]*ϯ;S+ܿua10_K}PgM>I +0@4ERXύ+;0D~`vce4c<=8OŔۮ PuJ~ p3L#'Jp~^1+hP^JK?IA5V50DeElӲOv53XicB`IqPUSYDtx7r#-3@ÓJn=03fL%pdG24X3= zc1c\M|:y*?K8NTtZz [Cyx22=pW| jO_ i{F! á `<̣ $uuἱF:m~.!.L/D09I%)[QRz?o5O*~Ij-2^/[Fh~Zo֋m6 D q߬zgHqqwʪ;/阑!m5"Ia-5<n0ol9(a=s݋dDP#T}DƬ-ՅIxh;>hH'b[(*)ؔ FBO[Q~Y]0..ɮ]E""~f!omW=ctEϚj\S D# hv r#x\$QoX!7}AMS 0ٳ)Dӓi>'XcU>h^!!vPW[fqpRLb s.MΞ9in> ctc\u+\V&~GMd| O㷢k9l"j]0H:#z/^KeUYHC6 t7V%9hzswi@竡<{-O/p}R|MUڽ# j}>[Ysä.-!VYC̦Cȋ$ajX_I~Ofjo=z6' ՋN@'Ey ɹ*uۋ7Տ]/)J->q`gRV9X^ẹeGtqfNcдo.ZS`pEo0*)b*d2jߛ(PLhEH ΒzR#FJ\I& R3݅OVJR@n͜k!JO=p̏~`êǍff(ǍkU,YUPt#FFv7 ٴ/jewGa%_U긟q / #+ioC$늾oe:W5*_0)xWL+߮]SFfay*b~ 'V P}B^:{X4%WG> =%cv;za 1)a&I$5KXA?%TN))ي>FIȞ|$9F8%w)Au\Q}H<~<2CZE*o$IG8A &B2oH@,Mk:oŭ42@;5NIMt5ν;@&wE @}r@iR}q"Owf_F o77o1uP~5aRrLpO/VzH,ca#,Z2z(6D,㹁'rn-\ȩ=ɐϤv Ae=s=5XIarebNHwPYO)v#Pc}Z[rO%2@ŇZpwuHC%YտųMèr/ lL M >_EPTIm?qesDT,"ۺJtX?d:4<ɽxʘpq68P[HíޤFTG_9!7:v}ua6Y;z:7)>] i> ƢUq@Ưk~9m8D 4d<8M ecPV(FB<%pm-ok>զ$E.N`~&$*9ĭ|v.HiQ[Z эAev]k=$th9#/{䩜.񗭚DԦ:mS/ؽM8Gz&τ;sXT$?pJ!x;N&D wzo'p3$uK+F؛:UfT>9`ˮ`JYRnc2ĽzzIRUh%km̝jUw Ȥ hū{ yiouViTe[¡騐fyK ` >|rYn<lxZvl]'1e)'4ٔa* rXoe%{/Rr8\ kgK &g_w7#k:ต& E qD^Ϲ$kH"kz~ҟAz׺Mj-&19qCZh8Dŀ)dtf'#̮q5RMwqdŲWM AΙV]4X0ƙzkO*EXc|6 N4(Z,wlR8c- '4lG"Izp\I"\/x9~_)AJ\"߇;xt(TCd"2WL7&J,x{f%PV3߳kP9b Wċd:>~Ug~Z~4R;FezZkӨn ~q_~9uMxnm;onE?)s޹Bޕ/y+`R)X06ý#4~oBy^U ٺs-xi+pJhʍr21Y+çFV>/pXYȴ)ry/R3Jc`-#[cd%PМLڽֈe*[$}r4hQup=PUY0"Oh^5@nY1= ʱ7/nk (CLpqy,d땚U=vc(612QF)uPON0?|W=Q~mnQ \@kǿPw2BħGL&|72+,vfyCc?yM_+@DnBF\dV1n؊̭TOvA|l.0 G#"_kEqLΤ_ ! 0ɜ^ ,Ի4v-k?݇z6f )yۗibn*T(wꖀ9 (CTJ}ĚcՆy#dTAQj+ݧlyLGJtr *KB`|)'/P8PC lx?6ZN|{8LTDL@j c9gZTDg8b-זDcv0u,Ӟ#v<`Jn>. tڢrt oN%6)&DFhNXFFTn Љs&]룽R:R?P`R,jt>9x=?T'=~>sWT-".y?S$NE@z[.CRLyGq r -W*7əW(.eBu!Foa4XsJOĆ8fP&@!2AݢvXy[Ja[IR՛_mL&8Q;M@̻_*Ok,7X)qENe]wl)L>kA'bF9yDT|"CK,Id q/eHa>MHP̒T'_0s4T2p|M̔_2U NqTUnF@T7FY>-#d/GL5-ӏ @'>FA2(ˉy:8LoXm7 R? ko R%i pzWDŽѬ5%')\LZ \/2+l{z45 iD Q%BFq\ $b^D3O)ec vd^C(#ڝ$G'֗v91 zy ~OϱڝK# 6&ifn0B/h,@ˌ7&}_Ig̶NtWzTdqCiK п݇e)HڞjkC9DԆgd$bF]]]T^ BSR5mejn<3 l`U^PС9pХV uIT 0s:O.1唔4t W(G^&CĢ"Sj@)˸3]}ˮt9Y[ˁ̵H#\t_؍g3Y&2ZEt&xY_/4_MC&xPHs;6(PGç&CRB|ާw}UBS&nn2z l"C8EB'yQqnYX;isQq\ pN ·Mc\Unw)}0Cf U yWC`P,֚^!to,ilX/Q@K 2_epW*f~+TO+%y $(a_OdR(*;Oұe0l*&"ĉWd_%ad^{W¤~JZP8]/{~'HT:lx,Ig0]0R>b[<^Zf5|zž Ilf, JG_bv Ts~B3cqw5VjMdilIz + Ð3Wf@B`3 Ɇ>_|; 5s>;P.D_ifk7I+V+5S@'wd,w*/ViDwQіIw0b R#a!!il_\Y&\fK&b򼫃9\A7#0̇1YjnRTTo>cs0½mbJu[kho8"cƳ[La"zҁh8GbHixtgs2fcsMDӱ!9y*. ny%f!@8&#=g>p e~=BT;{c%@^R!ؘLb[j`_+L`e9ȿ&c*ovgzH G3mNsa3K, .1tQ;3^lSAϮ7t60-0Њ5@ȣr Q 7Gxlq>H]W*Ava:/=iZ` :e͓YGICFB$ܟIVJz7 W"^n}vFZꉌSram C':4Vάrs%@Wg9$|Ń Rz}dU@u)k='Zꍳ!8rf_0vqõj-]u>@ + X*5cG'R:xX d^f wu Y jVm6@)Kz!ߊ{Wc4ͥ_n'FO"Pi6)#H<|;gؖ'r}pցHp E>v@2 bD@n N|Vx=JHs4NlB{)%ԥCd ØnW3_hptg/"T|5ڳg̫68Cs ˌPĽ-F[Q߱eYGN̥k<.o+m/QM5N uӷi(ѭ`x#I-o՗{N mnq_f4C&@ Zeu>l+d Ru L~}KH/QϾ ҁcک:K;IYJ8NZɪ3'h)"FHίJkFO(ݎ,|fHAH8z܆Bl}E 6(_VNϟ!.GUzuBv1Ŧ9E3zfHB殛E| /a2MmE3hyszYtE꠯/;2K|>$ Jj>s?ֿ `%+n0bRss;휶w`[ЂbI)mdnTJ߈h^,j2 )|XH=0^|]cTf>1񘨶˓ @?y04(g1ajCϴ/ydK~4燐?fV`PB)CVD Ѱ#È:O+#Y$[#aqpJ+oZ.__>X$ͻh~f[SG^]V3Rpf㦶'`ELT]\e!ǥqsM#CgyQ@:e }fuƉCPb*zŨD4I;|Bkav\aD(%='PL5Glo%<^)z`I d|ՙF?-3l`O2;q* ܗ1X^9̥U^/=JCj4E=3 8IU4l1ޟDƅ3VL;N|v=? 9{y{$ &6v~V;ݙiY8Kc]wg|P}6Ѥ"+2naH|0JQȩIMGʟoUsM%&l,h"';,(L;3¬D}\ԒTkvEri&: ޖɣc3"'4F{FRqE G)-YL{2H ƛ@&)q-N<K!4'iKD|D'kBRm/+\ `CvK@VW^CRh!KNVA!U/6Kw'9O(VP4XȿJ7 Ͱ[0m0JW ?bù N]!rG,_E_zvܔ c~WȉTNc}={-Ǜn-B < |YVȱjhFn=y>u>`}GKƚLnQ" d! 5%xMzs0N*uDKOhӍ\&!|<$"g#L'$k#58Xu/KND mzDUwٜw= 79]Dy*7*JTR1bK<$$w 7-q{q*s*#w_Z4ydA%+ 겁Z@a y'h5J [!\} W +VLTÅ縥?nl!@T&۞)#_Jlt$zyvN[_ksv&}KԱ[r }ѳ6eP8r3EZѮWy^ q)`DLovBVbR=|nP24 ٩R2NoST&<v|t7B 9̙5QώUlz&qHڝ[LKATQ'@~o=]]pzWc1. %b6#3W t5ѐ3oVV)^|'N,_: .?ಈ*]_3omȊ 4vrw qIɉyd*d#DZܪa]GQ3FS3Ap}#,`~dte55!ƪĴAzLԝ8'ů0a${[֖sGK3j͒` uژ8ɫ|,Bh2P0W8ѐ0D*ciV)_0ҍ:9#9B56)^ <R#;0lɠ<γ@m8*oâ&Q߆13\u]aa[$\U{'S*MVN?Hƈ<ae2̅N-٩21t[G 3Ա([`g)LXEhUE`u}2X+).D.@ (3U|ujވϞL6vQv`dă_C'AZ(MSɉQ `GaEz;O? .dm<e-d..=+O p Ի -ܰ &Yץ[~-Amc8jLѧ^F\]ds~,:vO KhC8%WZ\7U!U RӘ 5] m נVεu3zmV{j-%T^*mu[[5YW e;9z%_ZtIH_ μb4OU$Avs5|@Y-3G˒'0w`3?&ӏa-j3ZÑ8q_erդ6bqek׌*![2>6j[` 3Uo{?n B'PnpT6I1z(K*f_#ŃҔ&@] c;ᚽk^PYkwiD @e>_ʇ*7`/!,a )0z'5~a2:Xo[{Hk?2H~4WX9e;# :H!jM8翈{tZ8nWϤ-Az`j ӯHHDš̏Z_hF,P䟤߹=eǸ͋DŧY,NBL@!|HR]p<~pAr XrG|f|/lc#,uQQ {n^`̶ c0s_TeԾB$}p D׼PWmw)L]}.!f튺-);T׫l#X|'Rر:mUҔlEBg \vJCHB>,A0.C] <ÄDOϡb2?tllW}2%Xw}B]B4 okM&&`W+P>wL}VQu5*9zd³Dʇw؛mw >:Xe}#{F;SN=RQh d[u FNqs .<ŀO Ng%7W_[]O#rQC tMn{@[3XS=nXւi'a[}WO¡aQ&uLo-6F:dy̥r*t6 ?>1Ok텄2t 4y{[isIz ҾD ^lވ+YU%@,2ϵ+wOa^(αR ,/>=At2Z7*¾lƓbUqq">e!2K4LB6@B–ٱ nZSl7i fE NX^h2]fF[N3fN܌? jqcwV2 0EIB|X잛4cwVo و|YJvM^ORWz3&mPUe ӽʖ2Jᄂv.]y?q_2{&F6eYB,*0*zɾviRftVBcI1D[Wm>/'n2HD(ЀwF7\W^Ke,4KE9im^ho"չ`~-eL^S ¹͐2C)9 s J,2\gZJ-haQ\hc]M4 `Q I&{%ߦTUbAtx$L0JmGsޥQV)|0݃/̗S/­T}{"4;S E:y[]*"S"LB=B/l}aj\5 pE%v2x*c,& N$a!V;S=^Prr=Hl=TQPu7pSr:E ?#<. Z/N8J"nDi6sm$h ~q~+c} <6lBUHJhcrm!&خAS"@|_pNKkaOV1\Ii}aq?ͯ`Xodk^u6Y`퓅x(3Cx|iȱx,j-KlڊQ} dr״KY)tkx'B7ӿhJtZW%np=҈3'GYD~,yp'G=eTGP`I Eg4}4[P_<1 4QvOKmvynT@B1&<&kŒb.Wc䯛l][eg%ҘgIsܯ(YZjQ h﷜ήIMݿWj:0)=np&gLJКF:: ,L`Us\?YIW5[%CTՀgԩGC7t>O{98Oءj1V:;p)0VO^I~܅ltE/"㈸,\%?”zn8*z+O^hA\t=֍/qo5?Ņ:yAZQ%#l} 5"BVnܴ;gؐQ/,gϨG䷯h%𔔃a')DF(*`OӴ+e-~e[+b=QI7Bq?$ؒxz^)#KrK 5,S4'*%fAV(0 3*- ?ȶ0[b>Xj?쳬F yk匌Dve[$Z`6ҩpj zz#Xo( lg EJa8 )8{cK2#:z$*~Tz 1| ?!mtBf4dO}u6x~iho:Du0ʓ=0!5hy;geD@"~`*e񢩢<-vZ(vUW#7LlDžLNn& uV(<BQpG)=:ĸ]}ܹUf̧~>I Po\r Ǘ CoXxE,W2/Imrbbu\)< vbYЦB]!dVh&3Āha"Syw=^NUL@*'ON_ݡ`4fg}1˵ҤS:?eD&Hi3grUvI#"k&yVoAǶ r2g_.5LS#R/G[Ff ˞/דLQ<:T:E3*&GI]_8g bJT{4o/R)#q)u)5W_[ :k_yaq)5O\i8L k9'joYc#@\6QxXL[ YCcGCv8BEZNVP}bOQ.Ȁ̡e8M |t[ G0zs]ުmj.d/܅טO~z冥u{*H= ]AKk&EΦAV{OMoDip_߹n!DN qF2]Tɳ^rcz~4 q-qj&NFj#@Ok8ۅDmU e%3yVLnH^ްRxvjveIr"-akRN[qsnIH싾d\hsqϵ:ܗ^+l8x0 GNu"΋S4͵_$q)rV4 BYoεoDd!Vyb]>05 oCΡQ}!Mbد~NnBMuP$Si$4q%߯\TZ0/d;˯EUir|EQw޸C߷d6v~1׾=̇ȲIsq(TU;#pV.$~)}O&DSB(w!,p ŊːjK@QAzM/N. |cG&XZN zًZ&<mӦw~\~(SiKRDoZTR˿9Kb@'EƇoX2jH+qDR>6чՈ|_]P!Ro9 bXBCOc0w7ʞ6P=(8!Vtʄ&l̅pJH[-TCxE"5,S9Az0sR$L0ZԪDJPYr35+͂Ȝ4_"i%e|-14ܿ h>v8^Dɻh4(:`Dz%\(.P<.ǂJ' G ^H7Q唊y2 sk4R ;iuZCg~ OCHɨIJj=>"DG7'֋,MQx'y T↼T'ٳK?tN3D9heEvHo5Vͷo f63¿5]km| []qA2,AXDŽGtkMfr3ؿPwֿ[ !V N*#u !zQ(о@~a,}&w2YVGЬqg% YQ݋AQ \S\=2ӹAyGw1=o!<˞ T@ؽU3l?L*vF{r%es30T25CXfRA]M(9W^;]^$|29O I ! 5!YèS۝L/BEfB4^*Diq3.'aڤXvqL9‚qɗ:1&a`g8!&cNXXd77;|0Y|sO!(L5PZ.܀8ckoNFy}Y<3F?=n A\Ƌˠ(kwQWhEzdz\x4Gp?X RRFt}燻o5W룻[GC7bU$@~XݱQaE)Iw%2~y_xN#vPC8}{Ղ_X_ \}#n79_ƽFf,$Lw"wi=e]).pqaק&?̨U; OU}(j"?4;ӄ=^ªls!NX报gG# shCXm+a)'L'<3ӊ!:_2f p6gB:m@ 5HWKZq e}!>xĬjHs :*!BfSd k`է~^,T- 8NOV¸oꆤ$7B`aט (/foJ`al%*Vr?ſ*@o]Poe;l:ht}_L&t&+{&[s^jCG$c:o"g~cTnsS4M2΃⢬vb"AD6}o%j'ΦkTڂ9T\&Sh%mL#q4)DtN_Xk<MgOd9Ea;8׀lO҇kuA*}Tӿk~U!Mf{;:h[6\Gߺu>h|ۛսCJ=H^R3إ*lD`oƏ")@^ze|3t^5⩕$bH㼇\k.VI!i i<ȁ  '4L@epNa7ĊqF,sIIM|.569v}O5F@YBԜq u׹۳Rr`8v2N,:{]q"cz]*q0N쁆CSrQ HC?$"g8~ӣ !JO(9*Wjј[~MXk)14b9Eć3NQu4_"me5c0KHX:胄( J/KO$Yc%8Z4¶J?EE/H'TdM@֤ڨ}^l9| '{cf#R 7;7lmGK [MdS{tCb[-qi8\@2a5oB>;!ۀ/4 %NI,=°%i[TQo7|KɁ%N!x i- "MM]o/ǟ4뻧x'c:2,ͱo\v= "(GROv}X@^9 ЎG0峲BEpS<\A7y"v93+1>Y.227I;]";ML &d zqVdṅ;/>fH"DjFj+z }J xC#ԫ0ɚ7~f𪣁^lPX߸ s;{doE ]sn)x~ ֎')VvM,oϷ;hW ] |WR9ק"vM; Ȑ{vl|n[[j{U$NMfͽY ;"ΥQRY@ChtAZ'/U"9DJ&-n8&lKz-U\pOU^B/jX^xqD6Iƚ2R"w\"yaogtpw" ~-x'eZ'!F)cŢ!&7Ib*E<wylEcs*QA=Zޕ=).WuZu\5\w&d+sXS8h22C0R\xw+AÄ*"v_DWB?FW\3K2 )9@q9ߋ@6 W>+=@_9Y@<{+>Q=cjͲ [&sv\~{|w|E |!/8ܘ+L*0Ęn6EZs'u(C#ʴRvyR}Ѵc_羍)RaѨB 52C˓z[0[4_]f H2`.H@*Jl5+]7U;rCJ^gD0/cRV ԩ^Ƈ6rjkg!fTS1[1ȌDK"Npz8l,/]bqDi|I m3,?gwZq W-Y6r7E"a5lH?Wb8h \5}Sq q#s$*E#NTQT}tEau+{͉1:x"M A 0\l#C.51 sXՎ3x rC(C\`~?Jɞ,Emo [J }y.9ֆKt h?U}^|%%$UJJ'$)4KQ̸WVGf@;s8zX8"/tuǼD?ϞŴ}iwlFOݣ6(JM$ɆHxI mҰ~0VSѾ߷k"X"$f^/7TVfqB}!QU+TPjl)s7~ KJ/$y &Lk~ m)-b xHK7pX!KK% 0#{+=,ɷJIsWh)=Px6_ta |ti(ڨ?5=8fh;[617fw yEBsT?M^`¼jÌ}Qt5y+w(^4;X0Eav={Rs'Lڻm?? ̩|0- T( J#|Nϻ"̺x04תΒWF{dA3&xIQj]TAEqe@=~ 1[-'':adN]g5^`mG*~:JM΋*Y +y;diţbYAM ޾U."tkll3$(|,_xOPh'VH_&]RM(EfVsb}9^hLY|rЇJtܞכzaqUN>;eoޔ%Ҵw.<*dveSpe]!;3/77oau,"UF%I㬔 sĩjstKNglREaJg椣$ɨ5\_K?Ϙa%Gvoy/6b:8іV#5[ ̊q_=lJ2n~5CO 6DPWY #qP4'XۇmW:Lz844 Їۢ|O"5]b oO!O=lO'HJ/y(\y4Hg8OiiS8K(}]/->-w22pXN>)be7 'Mkz@xE:^'ŅA2 ޝUL B QX&o!`*mMW`VZ+^Brr"F]hOq6G%]%}k7c.Dƾ?$nftV9O PS?v;ICEڀ+{q%ІZLeH)rj`~IKG o%ʢUL[ߵlԍP|VQIJ+fnS`f ̩GO_ǷXZ )k9|4zN~LJ;Ny1t?"'D8w[MGP?WoP03åjA  ߸sU:-NpAi[MsCbu[o1˞rk"(Y:[,Fi+[^!lCpy\;q##?p^>Ovp LJ{z*stgS4vtl߀k7PLRtcw3QZS;c7_\PӄSM1pM0܃g*+ةEXP}JCR5WP:ֽ=9%F*'Ju}EیuSݷNJ݂3ص4qMWB'xXڠzo7Q~ :b^K[̌%f]yܥ`aY ʗ׽)+o@y.kR9 6)}Ο X0^VcrC <,@O=(]{ϵTޡc UHoE#?m^ x<1:%e܊o>glJwa{Y68U2@XzPe@)u&瞓-?gP?nt )lfmDfФ}fX[uic /̺Qŵ`7@'Y48T"P`|&.'_P&gk((w :~ޔ[Ru_\/bX #k% eo5DؘY`qYC`%D(ʅvݛAbR~!\c8ye*O2dֽ~@!BB f@Wn'9[W%^X&:.ȧżtf:+yb2+B*Vۘ)e(k㷥`@!˜y/Ɔ vvs᠅w('R#7%08)HFYy+\[78@>M|YHY}%6_^U%Bh 4(W`S]>drچt3hcGu_t. `|P}X ?J*mAHڊτ-;hQuEcݭjs'F,ii{CܯcTcL6p6`Nz7-2ó{B]ݳ³ڎZqK}ү( BäPp 2n5NlzU/R? <ڇ^3bBTr.VukJq(*طܮ/“|`۸9IbJ`jxwJbw$i Uا1Ǎ23:aNSJɑȧt$[9i:MqT1gow@zܕڴ6BT^+̹YfD#Wıv ė*4H'@nweWIwuvC lYO"0KK3X Z׳[Y gH8f%)YgI.)Z _DcMtG>V˽v 6zrЂ* dOa9w,-HY;?e h2ݾTڪƧVEۘvٛǃ!WP+}&_/Ƴ CĎV.Vx3֮^D* Ζ*B.(A|ԡTM]V3;/gk(>j-#6,?.ZN'17\:ݷ.Kܞ54Bp7Ϫ^%d][G(d(uP_:\0Ukg PMA?z<=9+oa+;ˆqy|vZTzp^V{lb m(( ڍ0_={~c5]$ەG4Cf3"I\f]a;s; LƾkǢ]) o(Xc+yJ`BiwGHAA)%WdHL8+itf)ݙn G?}W[URS9:wS#pXL N"f2L H461@p|Cp  MI۝]QȺwUh"33̜t:vnkb^SK=>Q 'Z6 P=+X䓪2۟Fa9[?-Y017oc)hN$ ^ԏhAfpV`?ntBD6){'fF{DKhK[YuRr}@0|!3.XQB0ƒ,M%`e+6J!ǹ+lmeYCzY#I{N3ãv C(/d g'lZdP5_9ZE\{j'6 7uqng>dVkYsO7e& !XM[se7+ E;Guӱ06̀ 092Ok/mǤo6@pouA4x;US^䵨YCEwFảK>u;2B6-v4][qϞ c)`ï&Q7БFI1D`-m+06iw1TRҮBԎ&^zTFX^\r%q-;l=7õ|}&]~EgU][S]@n@m=?FS/Ԑ ɼj&=y+rޕPӏvO<{g&_QuTՖ*'Yk:.?8c,̖la۬3kzQqڦ$jFK<*Z ] # H6F S#ANI"? \*_1gG9jdO{C E"p.k~RRwo;J:n&S)B{#N>hBҊ[H] ><Ⱥ"t"If~eI|8$8WIA7N O̙&vx5+xEPV.45%۔o`=]UeZRVNSgD9 ]v( ' h89ڭQ?;{?v[2Y r[f}oЩє3mq+nz)K.\yIw {-M (i+o P# qkeNA8ݐl,I )ZL_.YܐO厭Mmx;5t7x<[ڮ7m^Jʐhl u9LjoKpXJؖ) Dݧ=),US>IQ |S ՖFA~^5LE?QE*r~a+ems, }R?jMO$[X/etIH}ZRLbu.L^MZtm3JrBx- ]Q%SYb瑏xbU ̤,K 崋Ju`#4w-#bFxdǭnsoȶ_ë^;mv)Ave%#A$ܚ\u@y+`~ЁS EQ T ӟxGN*Q@]TǢ.tP;Zv(4bck d+a[H*z!rojN&;egQYL@rJ^ ߮<zUS]`~F[z AO$ tjUz Μe>UT_Rӛ`D'jV)AlVБ,iઑ"\0eSw0/ +Wz D9I@L<&V0d@(rb%-EWrdճ~^ Wd0XCt[֔v6EWjoO4IOwkm8\-`G&_PDA[HIm?yi:0V`mNdz%i9L6"6ǩs|?/KqIo*)" Q+k8g$92ϫ*YM>Id>lDmhlJHdp+q=+2 ͟q#%EUA,rz7v+I7>Ըj6Xm㒌vl4wٱ υ2uMqq^O<\$EJ CWa0۱ItĽJ2+me^'MlD+8*YxZɎ.PɞC0/ņ:T5?!g1zN }}տWgzf,/a 5R"zK .Ilb5bTzmG";)x468< E7es)!5>`W_1OdBN c68Z˳`tZD6!xKvdۃ) 7܇yРeXpwL6W(HC3+%e.l1H(}IZIN.PO5)G.% z OtP8gid6EnW\ cX:b(b%0 upI'u03> :I2&5yhAw\'J- "fBةZ&Ǫx%%G5~q: nW* ǽCn/.&PptM~ .C(`bvJš|Hk_j2 A%&.nɡ+\6SHDFj__W]$v*cEJ$}d"UkW+A\y Lm;J@E^ I:DMXִ#MԩmrQPKi?o }.CFpUICE&Kۂ[z`R'OaL@Ri?M8g7Of%+x,p!lW6ɮݽGCӨ%k"{aUcZ%`4ty~W.-x6Bvg$_U IП_Zh(8v/xk'YʷhQW2Q91 B@"5YIB׎;Ц2FF2 ~s޻HR?U"萗,\+hM}AH.4fÚ¤ǖFb&9/:1t-3xPDD4>.LR%]TG5ġ;!ȥlvjRW](y@+ҿ;K5,2#ڷM(*@uSF: F+()Z.@-|eI80TI| 9Q1{<ѽ^رWLnm=3q+ J׃ ^NI8$86BbM| fnC{M|R:za[x^h{d@wLG؀NM+O7ҕuT]iv J>)5*06abk F#ޗxUfH bF_"T=b2IΛQ- ЛhRp 2&ѡuwKSs[y*FBf0q,Ȥ~0$s;- wԕ:sg(`Û4-dؗeLv.RČ~ Ӷd%Ӯcah@7lz%q'Wai R%˺ 2Uj0]bb>m)m?D3oyD3Ͳs]sX{a]Mzc kןEJJ,MZȉZE/W 8W uFS %C.7D<;>[ӱCw׷/LϏcC`K$veŵ !;bYF{]7`ݽꐮ`žUe❺d!(tp0 aʶ6)gt3zn`%@Lu`/Ao00u=d\R=pJDƍGV4'ry) e l Y3A)Ȗ?;-ANP,vQνsgl- c) :nZӗ8Pqf#&T6& >F}4=v| nZWɍjxgv.ox.h e6\#\0ׂt(|sYl03| s&9C/͚jd&k_N i(E = #M:l.'g~ePbG8v4Ic C]H+Q|(Aރ>`_D{Bͼ5 !_xD0ӊei>62D";*kRTg gtyi ί:K3;[ 6]~oJ`տftYiL2F@s;23˗$(H,1!9&0MR~-NSAtE?%eb@ (vgX4.jxHHRbϸI虪t{7I"E 3!uk6- 9%9$=\Amk76eLytko޴T RT\:/ cuZMh`7K:_+Xge߸У] i&\mwC`fz*!Sz%sJNO\r_^9A)5|=-ybeMs Kiaz?l/)T?c2ା(`ab Ng_j ŷ_ҙ(SUX @5G d n#5^$NR3*=OQEgπޅåЧFU5,%Gn Eɪ2ML}e9PB\h,!PDܭ`4,Tևnaԙ̓<:1FRSRGy:+^<<\TzZM^(:AZo2<1$Mt|_(.n0I'V̮tDŠ0?ZX7ڋpn^fҭ^+ 93WqI:Cj6J^}[s5% ׈.xi.ӈ^a"pwt@I8ׁm5̫Nxʍ0`G{-z|ڍ.^`| 9ѽ !$|k7n(hb5y{BbH.sqOs 9c{G3"h1yE UlsՑs, eh=`:Dw 쯗CVʐݕN F/:ށL6Vl?6 =KJ OI , `w_eb_H]g}ΕKuZG[j!+z-z r]Uᛆ)MzN1ϲ2!57pu`{}W$ꠡ5NhR%7g9(1Cq (ؗO! EmBns72fLLM(W Y e-.jU-NY1 {:h68hx =t z3fRH 8p[ I؍40aW87l򹷇SGQ8TP@,HsKwYp*]0^_J~4 +}9/z)b&pj!؊Q-PNBݖ.ǝw%ܛًx?Bր*ﵻ>h?;9zJy3{+6uRYM"󤹱>9Fa oMߒ-՚s-k+:N c ~ֈ.{pʭxUkBt8[#oT0ǜ? 0'R6)*':2A y~/Y&ccxqs-&Ú FUX)onGxr|#׮S4PACjO2լ)s :KVQ 퇴z［$ L4uc"QmL9{Jiy 9P"^qo %u˰X<=GqQd!^s: XkYwZ#f萲H61We]V;UiD9NlzxeNkaQ}U㮨Ș/T礨|n9q%JcnTDnVR+~_ G$ߘ@GM0;77B(%7x^! ?e3^ ܲg9Xiwù~#R+Ru!_ V}jTEhbieR՗] #0pኝN{-Fb^$̈)cDm|k6#]y^а`K3 LLv2AbiӆW/;1Yttl2%щ綡/G'ih ɹH8tSJNibNv/NWcXMGHe Jܘx<6Y'"exovp^uȗb mtN ':b:- g|9#wd>5@EυQ 8Hd1[N\yK/A룞%| ?VkWUWU;̓U'a{(H^5[O]@A|XKOFӜw%}qx9X {ѹ擂` ,=$8ܖLeX^F.(uX8DML0k.߅ jt,~`M7LVv\8!MfjǛ [}bUlG3eftx_ȾAF&(>XSX`M(odcyT-Ĵ< ci-gq|Rddߍa}왋6{)yeL(#&|lڵ^PFAJH$CʰѩOم+U)n?4Y囄 d[kR 3N:FO=M#H)=@m3RԳ#y2c|! d^XZ(m{I=ۣ6j}R0!WLr`0`JC߽l*6L.<1?6 %*#B8Q]>:em#&Fx:,s 0Ԋlb;bf[$({%%zE|p( I8B 4h #&P9WCE{v4kODP"SV*DN^BF{Gܸa4dXu9i Xķؓ>e_d4 J%S9A^M;B99CgZ-4 a W |0qyh3K}Aars "DC_?غb7>Vyhr9sR1ݟsc_yU(nv/V$Z_h.?BTRhݠU2#Q;2LXHbAY~DGD 㞲ot5;t;fQOuFe~Z$jL$*ƺyJkz_\EO`hzېAx`ƕ9l9 [JF?P.'.s`Ca!X K/VoY n Ԁ"tȱ]D_:0ͱ< ARH 0q 0NDyu?&K)ڐjvFnqrRiԋMnY{1li<Ū;Xs4,Pdşnng̞3]6PL֫u$EvJñ+T\=pÞzt?z2xBEX%vfg/@d]90EuN `p[$ &KT:W"<'tcPnm?-LE7.M[ԣ,`zR FF5sP/r̕vQ!N! :VlE6w(V &f]cssq98_yq"{_h}$1Sy~#ʦ\G;H.C.ԟԮ^ @sѩv[ Q)V^2ϻ7ކߺ!6뉓 $<= c8pǦV5Nzln~*869b+'vhBX7^$nU.kjyQ=mEk>${  a~ 􌣬 ^m^̖niql>~(0J~ kmAuyr1kdj$$^XV<)b]˴I 3 WF?0_6ĚD p8ٵ" yJJc:v"%o:4 yScAӵ֯,ڪ B*R O{ A>VвyrZj^׺@t,f /[7X}X5/ ߺ􎎡![= \yj1o{ X8HрT`k^eE0SαkfޝOB߅& 7 tVDFn.;Ϳ33%YDg_Wf@R!Ѓl=JXW\tNNB3ܤ*@@(DrʚBlK#<ZQ}䆌uO /mImV`On[|ܔWEbKwZѻg.Tt]UhB~6:;vk )`p =,|9ܭWlAE`Z 6l$;"ITj t u1[̸ښ_4d /i8 ~SBUHO=Nkd#ZfE=a'{cN v'P19] ;vaA4-+J&SxNU=7as/h! uEZ@'߽jiwT1;|MɬCAybOk~o6M(অRς 0[ Qa}e$ Ewg^ s5Rs{{pww]ξlHe!ݎ)tp 44Cr3DZ F3ɣYʏeR'myf6ISVV%p;N[P{>;`׾_@ÿ73.PX𦫰!IZ"BHhBgCILUެ-q麡yoRYLV4r|+v^gc9ɒ\>nP- Kri%= %IG|-SIE[NJ M.YKJ- mybh|p}aKCL tZ  P7]SO1~ ߢhR cϷ}Aڦ~g͵ˀz䷴5d̔( h)\G|c`- lKe^}so0|WR2B$P$7gd,PO2"š4ase33ȄFVXmle[X*ۚЮB= CkS k4t /MTn+U2a!`6У?]aIŔd!8ǾbL\FżnDVKaԧe{: u0.Eb`'{"{-~>hAςlf5PPWַu`' }EA{nCֱ=d?Ka\ 0['78D!/@,X`y.Qj F8fV}\^4Vi02a5bgy0u*+-G]̊܃.!CaJ;fSr|1]^_ŵV*)Z5mDϘoZc4<; 9hfQk1p}vD& 9.AI!,kP8k;\.ЀՄB9*AחGg`@uD*v1ɡD>сX 6.+څnWbeҁKEDJTY*L SILrOСmS+_cv-1S="]S%" ,ž]dﶀt޹Ÿp0ɕ?M-< %cx\7x-io1K~_o$N@Z^N SՑpG^gIWWHng*PCg {r 7>LƋb[9tupŏҳ L㲈Ԗg9Fq~,b uX@_$AV=e(%NcQ<-9,wU8tܿ:tD:Pmqڸ_? 9^hxִTRP6jқ{iug6cN/|kTbE9!N4,U~uAkWg$@.h˽zj"v7BlԲ h\.]`9wljtG0e2b}@ynVuesYZɝ67GV`{;-a_#.Fڙ͡ ''J}ˆjy*̭jIWPLԦtvTOːo½a 6d{7؍ Qr YZ