stp-devel-2.3.3+20220722-bp155.1.7 >  A dk@I%z WK?N>v%Hn(A' 7c C2t9O /9a w̃~NӐ<+9B^ _VvP'?󭄏wwְVҌ]NrWWzFό񭊣o+ssū<.ڟ ClV5hyaLQb< 8ķOd9#/gf^x`Vn—x,l^%pzu72:PzRXc+}Z'TkIh͹7=OzslNnȅ(ywMc%7S[=QFĆ%c$Nro b"reAw·/x+D;"jv́=>P91wZ<*._0;4Ă夻kZ{ 7e}Ӥ+&%mWĠ!Q4!] ^'F%Uqa*e~:VaD^ *eeb702b81ed412cc15a7dff80ce4ebe737fcf91801957acdde5c4a17ec4895ca55ebb6612b281074a6b7e473b3cea018118b2ecdldk@I%z o2*N^ r4BQ){wtTT}0? ߀*MwcME5LŘud0pe۽6(cMr+V $Wj#|^߸1x{5>os}" sa2X˴$` Pc6/_(,-h־mlQGY1SX9~k5Rd]L? '2)֦wJwL/xc_M/r: ‰Ͱz{(d}Wݮl8?4_Npӕ4SlMW.6Q]-}>p>M?Md  % 9\`pt  (  B  \        - n (89h:~FIGI$ HIX II XIYI\I ]J ^JbKScKdLaeLffLilLkuL vLwL xM0 yMdzMhMxM|MMCstp-devel2.3.3+20220722bp155.1.7Devel files for stpDevelopmnet files for stp library.dk@obs-power9-13SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxppc64leN+n 7h A큤AA큤A큤dk@b}dk@dk@dk@dk@dk@dk@dk@dk@dk@dk@dk@67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3eee7545af8347d478fa8d7cb409b3fc6fab4524a21432010b18a3d15d8d82a36ee21a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719ca79af08b47dd31877cd4aeffd5fcdae815bc631a00884fed38a27dd8158be451e466d3d81db2abae993d4b978539a72dca94ff44a2a4421b35e5a41eec26bdd4bcae0a930b682ff7f83df72324ede88efe5514cbb92b788b188d431df811d0b6ada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmcmake(STP)stp-develstp-devel(ppc-64)    libboost_program_options-devellibstp2_3minisat-develrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)stp2.3.3+202207223.0.4-14.6.0-14.0-15.2-12.3.3+202207224.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-power9-13 1684750557 2.3.32.3.3+20220722-bp155.1.72.3.3+20220722-bp155.1.7stpc_interface.hcmakeSTPSTPConfig.cmakeSTPConfigVersion.cmakeSTPTargets-relwithdebinfo.cmakeSTPTargets.cmakelibstp.soexampleCMakeLists.txtREADME.mdexample.c/usr/include//usr/include/stp//usr/lib64//usr/lib64/cmake//usr/lib64/cmake/STP//usr/share/doc/packages/stp//usr/share/doc/packages/stp/example/-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-stpcpioxz5ppc64le-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textPݍ E50i̐utf-8ba23d62f9d60e21a10b7719e28a2bf98edf396b41cf455ad77defc540283df70? 7zXZ !t/1I] crt:bLL ؝-R`BRq'C4 {Q5d!ֺ|ICҌW$iDTƱw[  9,/}_Xcb]$Z1ǁ9g޿cNVn%/$'|uۓB 8ʎG=(g/8 T]^䊺 _۩5}3[{UFyḋڹ;`B(c*P]*l)'{%hUvXV"W> OBnp,xnSn2W4hX75aQ0̮e&mP1JҐ&ޅm~zqQ'3ރۈ4sW<6AĽC G7mBׄX]%GiVfkXR^.Sau>_n#>%%-=!Q۽27S!"švg@BU-VTP~Φ>K|`&Zݛ2 &[j<6Q$7EeW47u}W6;E{~={ U7\vZͣY>88ϰwF*(wnߵP1g9Eۤ[OAQp9NJBFK# qH1OeGPxgVmcHXɆl #JTՔ_ ߝq:>`+-l# 4*lGTAhkSg6 Ǎ; I]j\"k?rJ'=2YEQn9Lc2{tN!yA@l@g. {Z$r0uͻ^ =#~vh7uR'z4OxL-!kMxpZ >m8-O-Qn ;oEg%/6a9.8ZA=F8 T>hg]kNn_ iMNъx>*`d(N먓v'y1G xު͒e씭lK cdKڞey2x@(|.;z?uf4v_2bc xI'Đoe1;]0E9n?pGpOlѰ @F@9q☿3)IʰSbT,5⏆UųVze YiIne-ma&hD{={lŬ2ttdU }K ,[n1FLҶZ3RM;wo2mr̬s>?KAXTC91mŏs)S'O% ۔`F0zъ`|Tɘ6 0jg#s?E-z ,-QpL٠=cFx;1F^xhW$%u=D~+Œ.nj)=_㓋KH"& >1XK?͔.˫qp >^ YBh;i_@.iɷOuh26}_BgjHH9n[ɍfQNN 2=>KԖAoQS dФp^Xgqe-TS0 ;H6.asG+_J * =-CV:z#ɻ Xuy %VkGO +<,tq7=ޣud¤J# J-]Hk`ccr!s3RqoVˍA[3z@E Hڰ^&?OJ[^ʂ+-͊vM9P]/ٙ}p }(>=+K!I;}gol$K/ы6AAkVsm6Et_ ˴0 $z RX*.cȎ(ugtk8d7-0p4e"FŨvޔm~Ή~$.0eOfjn?֨_7;И4 0zHDKw ~oSY_ai8Br*FOe i\ʹ(k>=nғasJVኙa_Ҷ܅M[m `xW`㙠*4.n/ˣg0i-ͮ9/3 ~JC![wM=S~ET ,`蟸Ly0ZId>L_^[!VN2_k߼:X-N"k4xIxQf*ܝK"吘>7ScWZ7U9cX [WJk]Վƻ$ zFӞ|z2b\& "հTM蕊pXwD^ q'~  ffۜtܹ0\gFKY{ޖ }4SɭL ?r&we`ze!q&.ތh5ǁVehhڔ/[.v!7R6}C=<-0C6i=B:Ӓb;Re*sn҆ Z}铖*\A(H\ .zʖb򻡠~-T;ɦG̿[L2RpP Խsq?­ ws= |5emC+5 X vs9fb)T-o~+1ӢR6h .cSF🾎#,ݪA$Ii]5AzFvr>ztVmE"f*QEu֪OR׋(1g+&nɡY~=Y޳by ؐ̽pftG4YhN-0/Bi.r1L| h( 62*fSK`ƅSPyHu `Dq  Q<D|[Pk7jn/9(m%e7չ7SPYrB;ѥG6BwMzl&*!w1ٕ#J9 ݖf^"r wF4{t?!GRG;`wYTP@{uL1VFĬt sr_xaR3=ٚ;i nj` ~(\&|G-VY̶T;Z_mLZlrpb79OC{{B àat rII3k6ӧAMDRDހzkeP޿ ¬[DCuqqtб*!Q-7!"s548oR"fܥN.f'ZyoPs^[@KcIZ}6lO/OU. ނqXg30kno\A͋̕VWI+a1Oր4RKSw*$!t]^)Ǣ>W& O-{*_GpuTK48^U8۷;? 5ݽ6֣5F}½Q㼠 iT%22ELRDI rc; -_59r@5#Y,4/eDsfDeh?A2dٴ$/z=J,,ZDZjRfbIg[|f렐/H}LMXk 3R}{J1Sf!MUN? 'Xk|V(/ķ-$.N0n@J OpWB,( AqgEKY2<>/U噲K_iOֱHv=r^E(hzK>v13xUʹ4و Uq\V#կƛOi? ?[Xf69ɓcSJL\͹_߂kQwӸ V@k"OgH(!cOo3Ls5f61 1鐨0ZH%uflq Gӊ% ;"7 +8#ǡ5Ud)b| Ϛv̻2RW RʈdVܱ18_X&jMjV\d.Bܤ0v]*PO= ^߇ό~, b]+CfY.vZ]6?# MQ֯cQbEG.kS\FDm @<\EsE6|!6R);ű*M(ɄI,IepD/ +/TwKn2@F/Y ɯfJxAnVBd{.K0T#^WNğn}㆑ݞm=gYc2؏I[hD<n<.PIwbPj)8F? EX -t:ЀhRC;\c1&VK2x>C+~AIl1- Q[&s{(GԨh#715rdb.#*ĩ;6x{^Z.m;]Mz x]F/ϖݗ94M.ݣI.$Ǯ43Okq,~mŮ T޷WgK>wɈn7VJP!@c|;\v,23B@v!wG*1agXqhJ(P|ImIT+ǹE6|g(P"{&{+}+>܄=kRE i>pKe-ՊMfǵӳR?g(0]E"Pm4,}䗞4FMX_H&tQ=$9ׄn PdUdW/ D:rgBĆIOMѐY EW$Hp. R&vt c cԃa6 Y<5˺qdD:L:Ҭҧf%Lw{ %3keS1y(y/(gb,Wpd2Uqcۭr/Gw) 23q#/2r }@dğ0 9=j>?TcAd:E:Olbo^f]/A!#Kl:a Y_M;QU-Oa:`1!4("s!z@P˷CU2U/9~hԠ{]F}0/0(X@bP _0|7of9A<ȇ֎܊6*X]*$uln`X G`omf^A_؂h,~h [ٛpEvƖ|ozG3ګJRTQVBLB.e^TSjf7[d6?4>?|".;ǃ<'=aiH"q L`93`𲵳e3(ZZTϣcH$)C5%l : VTrÓʁ} 7y`?jʁ+ ^J4_e0n,Ar n)g/2D I;._>^Y Lq;Cѓwr|9E%4D$hApJ0ka;#y<^ y4dRLH(MyMpo2X2[if879uج\2W#?+2bʋiq8j[MC?ikc4ncf}s}q`Ux-s($QIԀjFÓ1KD4ZŘ>@^0@n=m %>cU#~ x-XW~ F7ס~kV#\je*֮kIȡxIr"0C( $?Tt4_`⌋rD?[|;m''P&A6+>; )]7L]2G'x}ZzZUZשg[΀ |ĤnZu2OYS T+t|Pm_fy bF qKur˅|ec=~ϭDĒ.\M +) !%x>6mR 4M^i[5Y(@l )S ׈5nIEd\2>}@P;^+n*Xտ0Kwl44n\QKb7yNwH4 B2@`H Hٞ2Qʅ0cliX[$}֥E$SO!O4Iv B$R`Ώ:(ѫS{d0FV$Yax;۔ϡᨺKla<}#ɬ`syV/H-Xf&8So3<;Ngt<,:ת\Du2[^\G3&%&f+O7!.8U P\4"-3=b\=O(m8!Cیkn½ŮVizE A;qm#G A?gi޼k7Yɉj}wx"(#Al}dQ #jMr:6]m|@lYkUPvm4]FoC:W+!Y^ʚBؽW[?NB&۴%&!*/s3UMlJ1]=P ^RFdȼU RZTEk|:$td#SPJt+m^V`$.[j{lbgي>Ki9ncppQ= ^ZWXRZ8ۤ[GtociclPAQ?5++L]{~ k#F4g]oAW*Yx +m:k$~Y';UDP9WWF=4/Sͯ} c9Jjh3Qܜ T6qImz,98ޤ}C&h/1%7]ax\59aaf+N=ILf ^ b$SQR+߫e'e&q. rij[`M "rJ̙b$]OfR)2!מs;-jӌf Dbz/w'| )~oE?\d @_3h? #Z]%vT4~Ăe"ar3`nd#!PGtgj1'9Mb6|vkis7wa@ B{;kՎ?4n}y\,*7HId #HDy!T %xXw%T;n3 U>}!ŕw9-])1[$SjX mTo]Ou^e|̘zhΧLg"NƷoG;c=աMlni>,J6|q@,JwV3O̜ʉjZ K} 5o>ikRIuF{d'[|*^f0<} ՠ~u ;Mi9L;9[a| tmxa/Wm~ K 5@8&^>ixYp3WnI؈Dƙ;!w=X|ؙ20 SG̗c EEV5J Ŗw#WO}L{]XA1qY*\7Ҍ?_sږ_`PT^%c|H`-<,}K&m z O-gܷvY xɠe]R4@F?5vm%aL0I L*=)ZILҾgu 3C'j,P $ghbsMtaxVH&SvQyoxB1. |D4Hr >bs= YZ