stp-devel-2.3.3+20220722-bp155.1.7 >  A dkLъI%z |\zhuɲRz\7{T0y[xO2 {1:-MJQTxaKa "pݝ;FQ͕wCץ.8OkOC GdFJBY/BQ;BKt0I\xш2hK~q;B̊e4c0(V&/:Zv'1~-R6Ld g,/,sYMT è@8d}F𾸢EBC%ԙFc VHfQ)z:NO m"3Es1 =sWK!s lmV<;SvO>H.k,K<^!XfTxJ;^& E\Ύݏ4*>UEWMS.)uhXf75Vڷ'5Mq ̫F6, 1 {O2F̚'&~Pn-kowz.jې8qt^P&YB68d051228cd54ab68b456c245b70bf0264fb166dcebea1213a5beff8b053a2e55a69a5d4c6cd2897c2e006d46782652a49a3249cXdkLъI%z X&^J.i{I' X5y x@,ݔ 8,cPw lz0~8k2RGB8ly*v&Zus3uQ:G>91]@'yEh=ۻJC%y2zI7 t}/ sp$'$fB鐪%VŒ1u 88,&^~@FR/<6dK&.~7Ỻ2NZnPsECrhz \NU9lODIA%jݻ7C6P+5$Evaa1QKZ^2,\!|;=ttvBJ:rZjH -մn4[^꿫eW#.0Ru嫣Y]z=] ~i OU`D]>W ~-E3+Lr +J _x`iHK2_=U_>Էmw>p>M?Md  % 9\`lp    :  T        % f (89`:vFIGI HIH II| XIYI\I ]J ^JbKCcKdLQeLVfLYlL[uLl vLwL xM yMPzMTMdMhMnMCstp-devel2.3.3+20220722bp155.1.7Devel files for stpDevelopmnet files for stp library.dkLs390zl26SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxs390xN+n 7h A큤AA큤A큤dkLzb}dkLzdkLzdkKdkKdkKdkKdkLzdkLzdkLzdkLzdkLz67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3eee7545af8347d478fa8d7cb409b3fc6fab4524a21432010b18a3d15d8d82a36ee21a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719ca79af08b47dd31877cd4aeffd5fcdae815bc631a00884fed38a27dd8158be451e466d3d81db2abae993d4b978539a72dca94ff44a2a4421b35e5a41eec26bdd4bcae0a930b682ff7f83df72324ede88efe5514cbb92b788b188d431df811d0b6ada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmcmake(STP)stp-develstp-devel(s390-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, upstreams390zl26 1684753558 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-stpcpioxz5s390x-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textPc~C[Bb1utf-8bace513c93097422d5d5949765242aee6acf36a3dc6ce5e203b179a40eec70e1? 7zXZ !t/1K] crt:bLL ؝. ܻTA{ ځ#I3&A˃Bpᔃ?wu 'smrYT= sfO,"PԫChit =P`}YSƶťqK8y}2l*ou;k6ý4ZU>lu^?o vL#nY~a,kcJW 5 ɱfBS;~Y'%G.<sf&Om]Y}/8 {rv}MGh/!xp9 7Tx U/_DP+nX`ڡVD+OerVˉ S!Dy8˩ υp3cJ;j uG$wZ=r>WBn-YjjB^<`)ylzcm~+l|xަ Z戕T@׷rS)FKuPF#(9'é:[@הJx`}a⦾W&aH(?- ڛ [/SY8'(9U8Nm3GCb#wOCNi N%h>hIC{_yO? "-VZށm^ gmuqwV'WMjlӨ}Wˆ“4@BX [BSP1< gUM 4X+Y {,GUhqJ! Rk:0c/Vϸ!XHv[ZTBJ_' 6)[wICG;-[f,a!۶ԇ٢v(3s0=rxhER}ʷuT-Z4 b"[.=흆 $ç5(&0NбtZ#4yD6[g8~9 %L [ &wzEEMlPi\]|Sn!7//c.iJ&-yI\J:7+}apqz'~K+oT˹H]a 0A b쾈HrBՅF,?rcR=nC78^Aj6Gd/EL`BC#9% f\"pS#KUVtEf.lE4MQe׆HN#B]39IߨB*U޷uO+rG3{42A8j%r[J#i,x*ߑ^ N=tʑi,o͵t=j.,@].#V*#`,6|wG O;ـF'ЄYv{NyGTbK{399?&h/W A&1TJX1XP2|.č~\i?ua&rgB$;0& ?rvKAK(< 6CD{cڨQ[~Qi)e80Nvy^["]_5$M{;@Uʳ= S?4½Y_UuEijT3Q US;'y&Oc 玌3խ= Gl|I"3{c7{RQ%OXď⪌ϬD8vV.!FI2C=&]"o<Μ}'l+7ςu30h!RX]@p8&6NW‰IJ=lxxBV&b{GO;*G=p"ܽ|0H*ET?!,7 NM*KsY* Z?E#V]])gnX Q ފ`=94%1 Va %L$P ]G΅" yXdLeƇ4D?]Sօx/j1W5[Yq LshYmowM(v.t?)o'oiF R b^fs\e(4`RU+:L62Wϙ6v\kW&&瀆tȾkwonQz[4yM[OokfŔ#5KyȣٚÚhʇ/Fc (N#Jf#=Xq=ח=?'OD?KteӓumUr&EՏ5>٪qgylgԽҡ_W/=kc&qkg-1 /9'5HK|ven4CݩT+@yk-n^>,3gOa{O4_f5B 9Y`#+t-ٖYL % qUkݔkq\`tOVͅ&1(L2w4S !(4ekw9<ٻ_ mw* CL7XiUb.JWzӒ( Y" ~wƋPd!~+ɁlPLp3TLNʝmMRb~HR@,4p~rL$DG h;}d)BDGrST GҼx/i#F QlV4GrBIQλaRuˆyk|MzCg@$h<ڣ=ߓ+^5{ x*ksF>j(_DxSB̌='!,z1ᬑ8[uR?S_>|P5cJe^K@eq8Q&|fx`})3](Glmb)\2IPm^.<+KX-ms4V>g͘B{ZL1ɽR jVf #6|OrGnusHՎtC5fY:{`sڅZӺS,vyUCĺ0k;0)bvNąFh=c7Yb!c,T1Q Aݝ《cx2ObI.L $ؼPԇv WsܹMHM#T3Q<1ʭ\IP,R*NUKbfa)(Udl 1՞#{=*]ThIe)CcZd$2~sNϖ#[bId@=tDzx 3C~fĀ:ThؐT3DSYEZcs(XU7(0|F)Xۖ5&[ B5FNT+<M(HǦ}x-8H[;J8˚8CndxxƝ )@4XU$23A"M̽`VhӅ}hܐy=RݽW而yFo6l?Jvzzzw5Lѷى\ߘ B!3 7/*m9y!aݬdBS{^o8|d; N60En '-E.I컀e)#5 ~ed;5cιy59UJLD ؕ3c),x'պ &t.34KywSwn{rű*wYjd\/5_x\-Loq j 2 XМhXYS1G*d[ [q1=(G{뫵!7[5ۦGFCt9hv]O["`&`O;@JFq+`}('m_!Lt 6.pٮ OKue:<7%yW=ň'Ԃ@z0̽i ;:HI+=ڟgbzXNQel7_Y?Ny>DeUI4 h"(_N~a@Ety ;!]-z WφRHb$,b9GzoX:>4-ldʮm]E(ڄlo|[G7F4P7!Ҡ5 ?bb#=s;] M0$etjkVM^Yh+; {L]!48>)̛v(r5/';B$,zTT6!qXsXh#z8t% xuH#C 2X`erGe V`:7VFedj\2瀐y'`x`(|VQ6r"u+*M 7#R0=0V,CQk|RA5pÀXaY{~i@9)ICZӴFvd-0f^"ٕ5O{b?j& ؇P>s5m/w5Ie,P,ρ0"%IB"ߢbNdB1=^6#&FF[XtƲSQK\nY8f5:w,L''&CΧ$')#:]|0W8x=-+r,\_*a1# |?-n~'`%j oX*-BHYU^P KYzLdG z͇tn I$#JF$qQA\,B'UTv&I}xℴDo'#"|pyl*L6^vEkߐ(W;2 IiF`s0ގZbe%6YȧT<8$*ؤ%b>I7PЄέd8_m"Rq.jHA=ϗ ;جt L*eL2g4xp|E:7hSIQ9j )r^J`oC͵@_HsxǚfB1`߹Eaf{VsZPo[;,$sMP"g˛Eϧz+) X OB|AN Y2g6R/ wQ4Ca5u7.䖩J';/4^bǶde&!ҫH9u_ SFiR]=f2Y9Y ^VewFYۊӫGz/6AS=%WDE *NjMzƆG0P> rq\>A?(jisn,jv説Y>Eݞ%5c1m}ʗ32:W04"uM?2;%9'x̓ai7c(ƨ3UZ>U-|zOl2OEo exy;IS'hDH׷ămIIt݉eLr},ֿ) nV' ќ e2gzC84,:E?W kc^ PDA3w1h6I9@{0}/N. Yt't4NE/:Eej|љ]'24p)V8 {ɶ8YKt3f1Q:)P[E j1Hsm3^3G)k{x&}n1wZ %U Sw9v-2-唗nid9;y_JP+_w oL]x٨aRiF+ ] IFlY̎ ?/6a֥pSQzjkuZ >t}l`R KBv/ǵ@qҼbJ[~ QצQ1iX',CX?0t1n\U&G2*`V{ .h FBƚbTh]y^Vtc&V t Cwm5\Gk1*kbpdogFY+G#v!#MMh!T8 kTlAud\H C\~]*bWclʻCv OmetL<։cwпy,:rx#*oAIO}QD FaB!+he#yeoniH_.N^Jj&Q&!r:vIFqWz9781PQkD?q\Fe蟣1!K9}vw=s0G]sF$XH0Wәx}Cq֫?/~tķfy—q7 ErhacCf A=d^XK90ûL$ 5UfCXN%vm;}=-+$ɖJRcȡ95ZK  z\L@t0H.rv zRx9f t1Y8nBKRV7z,H­[ yw_5|fNX  _ ,GWMS׀?!yEvMu 4k鈾>\,[=Y$sەe^-6u5}T94I,~u`e1SUWТi)jTdKAlrmt/u=N{ܧʤjc`,S#fP+~kvv`n?Z{-g)(/+ވgirv=Ijߑ'e9/I|` AUr!ezcl gmb pl\vZ(Hb׶jC2k\74lCDyu|SaroTd֭e]O=rфs_HЩ^`!-*.UfnjP;gmyr1=zEq7^aNKH\)# oz:gUZZ4i6_G>+H17 ͻTwuIzlL[3EoM7`‰?דf2B)73 >ۣ"iK Nc oT$"Z@$s.u]D'+@]ܳ'&űR; KB TZ`Jͧ9(8ʽ5i|-M]r4ɕZ0_j]q*y;(N]`e >䒨5ְ,;wq>E}L H/͊4V-;cWuoL$+`t.֊Pr nX?}ê:m4@725ZXVW 2 jCv;MJQ4sUH `E%5Y$z:A> ;b撿I:P[qw&<#0f̀Fېt '7a]{U&+VAwkYxwGd .RMhF'tÄ|Ooznn1Sykitr"1( u{w3Ѽp/l3j q-0uڎ&T Ȼi411@ 4P#@%gux]}jC^Y˓"vjTXU- 9 ݶl8(̊?ogɒ3F`)ƐhCycU(;XnVMDsNrrw$Y&fT\ɗ:IĭNJ#O޿Ϝ̿ʎ[w΍(3E۲lx{>lV5K>RMF7OϫOLV ~fa_' !S[p[*V%WQ9og+FNeKPwnes*_CYPy0?~9r8f>K1&^2Gٟ8c1Hfx| ZaXr.Ձ nBF>V<~ -231m֚b9?LϷdi>8A<)śvAGK]x_|%iJz=-!c#0f>2f ?J32-D <eP*h6$JjBRs mY!:@ LsFXu&[f|ԝ̍r\qbtUaEA> xxf/;w'ߐt7`늩F .L_NA% a?@$+rܯE+2'VWO.Ktt',mwiҌ<>d;*NT._