stp-devel-2.3.3+20220722-bp155.1.7 >  A dkCI%z X@pEIs;P0ϸ 4:*^ =S ͂lRf`,(6PvMQ9%:jU +r82+MOkYti%U)Xb2Y6{bڞD-T g"c gx/Y֤"eYi,%I, =1FR o C.$Yu?M.@J`tCV. 9JN' \);s˯,m:q=:l#&A(35|n4xq njS0豺&Ql`0j(k?"ht~xN8|]_F#Kr1x,"K8xB)0oϐzvZbJ?%%C*oy:q&Z5~9(+R^yrN{8DViqQ4Ն3f4c396159e3be315e28f91a013369df6cd3fc821c98c920ea3a406bc1178bc3120b3b99614b8a6562920751ab769059d3eb0604XdkCI%z 84,ƴލ!txO ci\޲ΆbB<~?oDDO\'e|`ߎ bYqLBJ`Q.~pōE!3)h5O݃pK -XW Ef"neޜ0\acVyKKfr|U`pz0pK7S♠'kdI~nM9TZ1S(\uHgy }?C?"T0VsAeH>Xz%e |`vVX}s?-Lusqoah\T İfz>|e|Ag2&`e!o,Nmp<턾vU$S.=+G+~ 0|}z<<6Q$;|pI>uI0=$lѲ?ODx0{e+#+]ߞ< }~>X@?ROz}GP\g>p>M?Md  % 9\`hl    :  T        % f (89`:vFIGI HIH II| XIYI\I ]J ^JbKCcKdLQeLVfLYlL[uLp vLwL xM yMTzMXMhMlMrMCstp-devel2.3.3+20220722bp155.1.7Devel files for stpDevelopmnet files for stp library.dkBlamb58SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxx86_64N+n 7h A큤AA큤A큤dkBb}dkBdkBdkBdkBdkBdkBdkBdkBdkBdkBdkB67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3eee7545af8347d478fa8d7cb409b3fc6fab4524a21432010b18a3d15d8d82a36ee21a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719ca79af08b47dd31877cd4aeffd5fcdae815bc631a00884fed38a27dd8158be451e466d3d81db2abae993d4b978539a72dca94ff44a2a4421b35e5a41eec26bdd4bcae0a930b682ff7f83df72324ede88efe5514cbb92b788b188d431df811d0b6ada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmcmake(STP)stp-develstp-devel(x86-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, upstreamlamb58 1684751095 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-stpcpioxz5x86_64-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textP~TCg<utf-838e50099b09241fa374dbcbc97de481e907734cab296be8ae89d1362561cf6a1? 7zXZ !t/1H] crt:bLL ؝-D TM?E _5z bW9WsnMu> aK:b2oNʛ@yq<ޭ`뇉MT 7 4Z())YRoaZ-1؟@vc=RX'gurOΒrٌF;M.~@HZɁ9 d~'4ih%+mH:oKx9 @@ $.П-EGfpO=]{)Ǥ2Niw` C8p`Lp$ٟ9 $=ee? wG}EaL9s[R 0ATf'Ո8HKw&T FN>\ʔ5 [(=]"֜/C+Ibt* x1wɈ$o`V,(3qW|pj4)M1ƚ z?=㡻=K9!8 (s8IіqA=(H*ܿ~lHŤg7;Tnvt|%+.$']4sJ0g2t6<7UؠeS=ڧxk`37&[`F΅Vn8<ևx5-6Z>WI$japu-u3a^52BgȈ '#VIp51KVg z?oU3t xXW1=l9/"=BJڶGDY̊Br_g_gk[ eݣ8m x'Itc_v\26pNb%v^P\WcyӰ+ d:] T01Fn҇d\qO6RZ2'F+hۓ^$/=L9tɻȈV\_PU\$-~y:rhPj\ 3Cx-eޕZs@֦y]5+D2b4;@d6ܬhaCq#:I9.fJp5jFύO#y);4/hsT7kȤڔzah?'a{o` 64/ ř$ԓ"kP}B@dTPkK\هô1u*%XB,\7X, R 6Ϥ$fRD?9I5>t;0L+O :*"H))KeQti J_Eј@58,Hid+i`(5: $uǽ]Q;$r*͇2 s\ms JUqin5 ! vR?C)9u.~pݪl㘄QKpvL$1Uى!Pc<\~@YWU&bݪ%Ǫ#<?qHk784R)_`aue0Qay>JUL"{8(lI#GUYÿPo-yT~;lh!_[c{ " +WSBEҋ&7ϡ ZPtxcZ^t#me soblMyrjW 9*5ir"&xQFitz4_i[7Ge-r^_'Jkbw%6(9$4ډ9`-*vp*:s _L vV5maUT[d֊: /̐ȻX$05)>5LmvTޠ~K^#18Jc<-[6{wv8'Jq>㋕oLn%0'7{awV65tۂJ^Yd`t} ZȠd`5t;˙qg@ϕ+ E}؟YJ R|՛- ~,wT4N) ZK P!Fc"u}ZdR#=DHA2#Gm';luX䎌[ӱMr82oM30sADoLܰ&j0-y>]8 % a￝*5uh Z׉d- nj 7h4;KIO&uԸ2IX|j2v&GҒg_SU$RpЬu] c%)[ I7TpGP] !/Yxʶ40x=s>~h9Wm"غ;;Pr$g*^¤ *k}Nw/ {rapJ:#pgtvY̞ZZg繋twEVqZWd0.+҇0s%]Eޱyu3zƹ]>esȗP\ܿ3܁]yEG؀TPii-"vDw.F+a& gIٴ +Nge:Z6a 2~Sxrlko_pL%T`ha[ aڐh/M f>:dܩs7:Oݽkڂ֝[1-Ğw\`Ch|a+DLԊ&\y \:ҞFr ^n,3+$L 9o`R['ąuhX1xN }=$σ^s\FEC܊|{2A\-)nJ_ D<{!_2G\KMW7撇dzx9a@YbQNbbXx"XB8bk-A YXa$#nOu1]zpYAoECM‹R):>c`Cs?`lJc'D' 1}0vn+y7ݴk b>L+$jWe zߪi2n 0d'v|8Ͱ'm[p?Y׀r6f3+E"dY'z&揇,v־9l<---LcjWd؋vRT[ޣϭtl|ӕwE*Ra?vF6g:Me؆+JR(,?oc6奒_)-mkX+$E~j26GL^ hɀ{qDdD1dB@"-tc<6SLp0bN1ɺi]*oa'/'qb.pR l}lM]h I{ӳ4rnkpp@nAFƪI?c`ycXhOֺݼ* _^6D) A@e9M3.K *D oG,%9`ljN.079d:'pB*+Nâ|Q#Txz]o@ Ғ\bRoԁi~Wf `D%%.P1C*okPnWZd"aIԖ6\lZ]$")p;M|zW$9 ybܳӺ;y](e4v¦M?O6ܱ"a;D?SCf~|*P}@_D{"\o/BģOaZ;lnbPO/I"lKC(uOdE6iK#4σ#ZkHvw)l\ rˬI\AM6(ga1ﶔfjq◿ɟV[LMAvP/J1|Ӥ~*8,̌eӯNTo%PO4P\J( *+N`~Jim4"^Y1_<RSFjߖ<]@ (fiT0oX}؜6hڑ$Mʎ1STAǎ0fou\2&;K)xP=mC^M iG@yDmgKxcٝwix:>iK,ڇM#O?6K7pMTwV1});wOrDVwβp譓 J?i g ypw- AJ;`y0>lj-UMVv^[P n叫\|NůɃSB{G&%ގUZNjӶѓv+u+V#3<~Q 1iU?Cgw_a5s"Sщ ߬6\N_R!J_mG+))HvKH [[|\{uH:(Q^#Y{expg} *-kw#:۲fٛ$*_U+`KQ[&Y8|ŵG4RL# em0R袼f;5`ȨAcSý4 >, P\3-sw^\!k*N:UR]t H_ܾ71ਈ.Lԭ`2r6JC\CeaC1}x{BH`|'] ''mA8","Ak #j0ۨmMp*>ɵ0* D'VŞʁ U]3$Ut&I2jj!kO[[۱nBޣɺ/ M#<(0xMplx5J](|`&wFU|emM<wS Fy~j+~i`_uFCV-j;s*;4R7'set(."xJSgçB/畘ƍ5H=UUt%_~|p:g,qPL(M1U6\(ȵ8g`D5xX3 Q"u(T=NgɨRx7Hl͸"m0lq uR'u!D2"Fddn Lv!ZT >aXU7zQ`WBU# 0 u *I \װÆ*@S8cfVtAY1|xLp㝇TS[cHg&j߀ . ] ^4Cô7r;unBe/'jTJel ЋO_\ 6̃+ r6p/J/^GyGi_BF}N&_lLn8nax,f ~:2(@WFQQI|NT/e:fO,+ )jRԔj $ 4Z$9j@JĢ&eZ|>cWtQj;R,g%S(Bue, r 4+7r6CIgTۍ,dcs<f-ػ (A<GTOljޗGoA56qkI,"kZ;=j3|ת-Dħ2WY -Ww;!P+dDΰK2柚SMkky)t 2O*cGCe{2H@ܪԿ ZPj7Vbܾoe/˪*O%=8ך?T`( q qX'DA aUPqp_o㌤9~c2zaZ~=j#j.)>(U9& TMU2o%!aAlpAPul{qZ*ĩݓ*fܸ7jd)_<W2g{BDbjlV@"L99NfbQq-)Ԗ9GCC}JCl%h])tZ|JKa Yu|Hjs8?b7# )[L^D4WLْ?.PDg<"k\ͺ)Vs-Rɋa3 s³84\) Bis:WE6w1ȥSO.:6lb1/j>*'ݼ^C!.|m ~:k"Gvu,Z!M=3QpZu_`!SoVс-lКoU!o| Q;4M2_OB,ں9@;X$o mvUvܴT/i ?z0T%=A2I!gihыeC%}9+ :-~>tGu>эt&~ ~.sV⤵c LY$8zftTdůf }]rHf\\ ^fQ~`2Uj  l/؝sH nۤӂ {Αb1ƃnjH(nUvf6/Okm6XOK˝ gm|8F/@;PN\ Fjd ^^'{^%z:TE&ϑ!94{{'^a"$L(eT,vU,Q`ArtIy ?fߴ X&&itgΏg˴B4))xuhUCڀz\hpQLk`ߺq̢G*Gla^!0kgeSŲUWq*vi̦ ߂ȀA;DD> `P.] ;Q#z֞6&UlᣅE2{DM+EJb[/FZ_~E5'1rllKAp=/hW:GCSy x Gl$)LU|n~b ` /#UԒQ\# Y0g&KZ/6KCFMc0R_͍jIҷa & ̕eiTl- ,ܸZ)pJ}T  Jy:tV.%_4׏P?yԽa K 3]%ԍ ,4֞P}05&5j 0׋0ne]7c Ƙ,hЭ8hCWJkEv3%M?6"쵺۵9Z0 OoBQ,*5ۼïr6dԂ7Ueg+@TBA}yv,+FW#wBz^&X9< 5czQi_Y1z/JUe=6krezO"0>r{T ~ 6+S]@l{ke{6z4YʝRdO6@r;\dbu*Dh ڵsSny6 IIE'~u Ϧ}Ϙ%"T=JERBgҫ!$L=j5!q 1;cj'c)zc/:!r7[Ʒqv1.N :FJI⭰Eki@#*r.<6h`m<2T i8t\ThU #iCU"tz2&_8ߎ{VO@莪MLyZm'[[9i%zye@Gy6Nocߦ y񈱘-^( n*:eed{+!F ?BsߣЄp5Ѣ-`w $1\=I LPL lh?9smȍKq_G#5RX~Oa[ dͩ7.i #c^cii;1oZ$aO= C,nyϒfDdކ}9#oR+AmlK˔LjƆJg=N3nV?|LC} +pu:{y&UK__r%_EAm0(zvGg@tX" *7?7ёf؂H{D"]<ӄȄ yXVyEa*zs<>^'|A@TP ̹Wze7SaY{Z>碢g$9DEIetC,:nA.*sM}mYV{< M8V>sx,t"`J(9j^|O%Q+q a~Z I 26 mOkH#ڵYwxR48Gx=&'"wvH2Y$$oJ&W |-R%_["yIp).ɔX6Ŀh?}o\{wٚ4bD ^e ֽڇSC/;˻˜(G9uG^Hx5-ñgcsY͘/o)jo>ݳuyGYpEa/dpbq"@¨V}ioTDSGH3N|`D4J5ӈfOeRݐ@e/]OzsFh+9kE"==i+ A]f6ۜp0B-؋VѺ5;:I^t?6 nC5/ji|FՈqAmӯ3& :͔r3*o/ՅӸWߌ7y[h}iAMCI1fSsH0~rZo vW\im衺vGa{WN~$tkaLzG"6 \ d<2-Aa #\Iϔ90^h'Le-^2QzTj:#*^*r(9TXU覬( tt7f4%fZnϝݴ-`SŘvbcu 5ӕi3KSm#AY}F`!Is( lihBGev`1 ;~&^8,9,iӍ#s?W]MNe>l8=#!8s}İDF\&)g9K 2 *dgE XNÄQoڞu H| U1 @smP ۊ4@gB_ rf lfk:p“Ќ&e@їbH'g:#`D h?8{RZkϭy^-pK9\s~Uc hS[D8Ve{AK_f8Bs%&J=@?#ӾhܖI)>g/e8P{e69pN$NVR*{3kWΓ/_E Ph[Vf$wЎCO@YJ0F]PR@LTY/f`4aԹ=@m8) %*oPy+{_یlD*{Jܵ%0b_O*a]qTl*(H&Nּ}8|è`quLqƈi6gX\)OABYME[>^2 i-LLF0G5H&jм%h>oi/]>e&-ox;xҹ2現7҆ZuuЊ?=8=T.Y!k/,/V WTr3CZ?>$cI@DMK"3:MB 4 )f# =&bԫu^iH+ogM,3/DxMm? U+LJ+A 1R*vsBB:ؾUBezKH P!4*u:Gx&9PHu B꥘+JxgXkHyHX{q@*wxe ػw_ Ǐ0?ÏbA6BZ19zbM_?1w[gJ-g@~ /M_ciRȐ_ӸK#̊% ":fK% 8;cC @4:NƶpZC8(ׅLP!nb YZ