stp-devel-2.3.3+20210104-bp154.1.16 >  A bxr!M@eeeF'F4q^,4@z.\a* MamaI|2LڬS5y[n4H9Z!'I= Aa[V<i> x $pHHۉeaoX h{;ãk=3NF&Wn! ̥NМU HVs&XXJNrOcpLx_##*d<2;Uk,R,B RF}ƾ]ڛ@1S=6#}Ctp>C?Bd  & :`dpt  (  B  \        - n (89X:F>7G>L H> I> X>Y>\? ]?@ ^?b@cA(dAeAfAlAuA vAwB( xB\ yBzBBBBBCstp-devel2.3.3+20210104bp154.1.16Devel files for stpDevelopmnet files for stp library.bxTcloud119SUSE Linux Enterprise 15 SP4openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxx86_64N+n 7h A큤AA큤A큤bxF_hbxFbxFbxbxbxbxbxFbxFbxFbxFbxF713406c91fce36e7e61e2165480cf22b02e0af6c7af4aed5ada6f474ba8f0937e7545af8347d478fa8d7cb409b3fc6fab4524a21432010b18a3d15d8d82a36ee21a0242ed821ac8e048333f99f3701813cef7d8583d22a78b07678018448719ca79af08b47dd31877cd4aeffd5fcdae815bc631a00884fed38a27dd8158be451e466d3d81db2abae993d4b978539a72dca94ff44a2a4421b35e5a41eec26bdd4bcae0a930b682ff7f83df72324ede88efe5514cbb92b788b188d431df811d0b6ada79f51845d3bb9d16c0b695abca8dfc23d22783158f001bebc36d5370347e130c7c9531dcb8b2003aa82e0d8404e4919cc85114c233a066cba2773bc78cb22libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.3+20210104-bp154.1.16.src.rpmcmake(STP)stp-develstp-devel(x86-64)    libboost_program_options-devellibstp2_3minisat-develrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)stp2.3.3+202101043.0.4-14.6.0-14.0-15.2-12.3.3+202101044.14.3`/@__^2@^^]A\q5Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@jslaby@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- 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, upstreamcloud119 1652088660 2.3.32.3.3+20210104-bp154.1.162.3.3+20210104-bp154.1.16stpc_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-SP4/standard/98fa34a568a861ab607b76c6bf325539-stpcpioxz5x86_64-suse-linuxdirectoryC source, ASCII textASCII textC source, UTF-8 Unicode textP&k _W}3utf-854b43e6b5c74234c06d822524fe66fe7ecb14b99079ea5f8a5604abb8eb34d1e? 7zXZ !t/ 1H] crt:bLL >WAN0Yt&f2@E>3=GJB.Wd B q$GM|!LnI3oL3ٺe"(+:@)3Xr'4h)$%5qKs7 !~~"@{5EϜى"*AEQ2[j^'5@陸b_bed"5t;=۝ حdc2ޫ?PWÄBĶts3bNT|ތc + c! /=_Fr/wUweEk yXE6ei67٬:) yyfAV0c Yu6/*U?v E5F^^n9+ ai7#?)/+Yf‡69S;'@S4^2ɴeBV wzqp4 ͎?M1sS,};D-;Ȓķ~203"t-xl&^ƒy|,C-_2Ń05ȑbussWR j pgeXLWo-x K38d'͇ptNԺRlACP ^ʅCh>//J7.g/](87pOռfp8^%ѽ'@d9K3sg~YGc)qT.t{ ɢV9 ə ;U}˾:ƿ@݅IG5˂S/ z2'P#֫4NXP{=ͧX-4*:?e;@IM_1?U nܢM`ibWE)({/L<.mW;y3 eWfS[8;FAxZ%ҢvUxDtRUwJ4gnﻧN VQFJ46cbU_؇"Jb NZZk~>35[g]53MM sNôQ62]SJ&f3Y"o$ 3 io m1nGZ\|*줘h"gڔ:٠ڴ!@=:KA+>C]"g"( / ?#,{]~ wOYW >`hxF!Q}[S%U1GM ?9e0PddQAAW'w&ANX "^-,ve\ E ^0 ;SYq5k jb 븨7ULpY춣OuTm C%Ug1̘Yp jT;9g@zHWt9GWԨxp1%mO;-hաħ AjYY7)S` "I]_ JZP@kaU!lkb]0ړT+q0VdˤN>uENAYyH% /wm019 Foؑn9=i/Q0=ʂPdQ.:3dvLd4-P™%(wV=SK -¦U@'yP }e(IR5ح)=J0T6'Ƽ>-ߙ'WDNUd Cf`Ժ.a;:cZC("Ҭ{S9dm JݼH^ /L<)ɘ/ v`}`hiRi?;Mmp[y>8VW3I#TP, elKw61blCLRzY^^ [ʻ^ ݖP@(wU؄Z-aAna6te ¦g$h6q 1_dN'SgDg[zrzSbK,yχ"ϳ֬?.a@NLP8iW6bBy[I0u)">ەliYJۓ4U &@$֮kKi%R-3} 1H]G-H'rsJ[ojd~+Vil,UXK A(C9o".9\AT4LfOG,I5{{Oɬ`"rDrKG_me*8J~  9r8NWv5@^; 6dO#ZSZ=UGuo? vhW]|k,@n`ɟHфj$cUX¤bN YwŐs@}1-Ze]_G&G+ v:ڇD^¤?>]$KEm# xdÿ ٕYA)lP*id9k KuB~9ޏXgK7Y0$1̧AaGüQ0l "})6HL {j1QdD1_ C+Uxd]M͘.|J(*q2&3B XKkZNC!zO];M@-Uaej3Q{WcgEl^J#bs /r|-L 5 [Zh2s1W4ܢ ?i9@N tٖUZC4F7~<ۈ@(ho\LowH7JКQG]E9-(-os򘓆~ Um":OT~ c*,9$0O_ĉ2#Wf # fzKz jpZ\T]m27V^J&首aZUo57p+c[@=&b' DLM`ō\cK'ZrQME A'.1f#?mF2|sgȆ}2CUY=0^Ҟx=G9ЊF=c,u/;6Z*BQJͪÙ]JYF'A? z.ES7[gHQcg =;V%)*S)``n]i et98K2D(jע//hզWuN qz~tLݦPeyKRƃv< HEXWm-\D8N9"z p!Bݏ!4${/tye]3- 9k_to»<-ŎI^KZť,x QXEٚ?9Z<2h)\8Ɍ%}{>b{q9*/C@f!懽U1--*H!Fuw9z~Aq׻OޜtVp'6/)"{iw.?+&l}ImiK:^I!0/{\rd1zޠf+r;vєX`_u:E{nCHJkeBč#dwΚE!w#.276zOWXj-sзxe#$#ccK3f VOP=oߣTC>!f)q6)=XV.,9S`jD,Ljfuw=}}\ͧl0Z%3(.`d&1Sld49lNS~_xz!@zvM]Ӹf88pZKI-X''&o+G׸xn v:Ck1ei+ Jflhz|F3ASƮؙz2,DvGB݄Y!IΒŬPAO?kخF5HՖNWÜ;J*T@@kf8xX+Ei!i5"m}DıiDĕaDwwT@.&ylN O1qϰ>zס>in>,2Bԡ6Ƞ(iB6oQƷ]mwGZ:) ^ق@fye4hңySl#\ & {9pK{d@e4 ^mVɺ  k/zDܓUmfʐR+xHY\T(O3͟u0X@G-dĭq,(gj#X{QV[C%03&;8\4uZ9~lHua@ooW5/MSCj#I +wNߩuυLVX#>؃lvtbnAiS!p]9|Vqo\m_<\k]k82 kbɋOC$q";Sá[)ܹiI$)DH|& շ5sMM32"jǽ }.1U G56\f;*(+{+nO33nhCn~.CR:HYpj&.sK,6}R҉0!ϜsW"N+)<1߀ )cYZm^aSRSW /e-ڎVEź4@Uöbk۲Au woKc ƍ ( 帴.lN.AR!ͤ#?S:od%#nj?_ {*0N,b_ \CV$PҠ)/TTme@v)OQu=U':6[ZLHk:T9&t-%wV[;4}n#\ _4JˮJSnB?Y/P6fߪ21:^ 6&uG϶ӝf;DK 7;{m%mK?E@i 7 E'ʂbqHXƒ\p&)YsfqcdBkOvpA rc!|/uNy ~uCxk2H\aiӜyЋHS71+ǝ"LTJ'C0g~wvh 4)-my X A'4^<9:,!)6!DZh>ԗ[# 0ֿGSBtx#[og^Xo`U:^vOxǬ&86tɬbG@pJMt(c>0Ŷ1nq^:9/ie{/bvFxS"p+r"8,%㞲>K@Xek/BNoSA%F <;OLÆ٪l"SH8GK:\TzTt@%?`S,q>!hqzl`sX-ԐOݏZ9^򵆆L*Ӊ JqOmQ0Խ~~+VqBN,&?G"2Rφ0Uwp׮7XxCGR A v'=91L4 ;9P|T׆a*zBw][=v ,m,o>Z~?ID" B?|԰zZ滗-H?Jn_ t6iJ|1ۖSX] Z;(D?;cAp]g) O.l=% miJ|͡r``ђGE0r}G]ay[˃D.$/B݀P 4\u?󡒑f:dXs,˔skNktT#X{LSן<6y7" <̖ ߵH|2)g5F]TַW'[M3TY)7b3aC; VE_H?\j-PS&3~:ܠh \#*d_W]Wh;ZWŘ}SW>XPe C1g,xTG )8y#!I9ZqL9#[Yi=+8 C %vYFZ_&l_Dcl]]fEAӄrߗne ,հƎS0};}=(i:q4p/5X ԠUF _B.%6_>;T.u8n; Zo',yRB#<1t"݃IIJ`p@b={sE ARH0ȓفuXyحXæ!]vT@n!p\䫼Rщ>'(Z{ؿpc_- p%s1M7Q%7G%*)pJyfLNmG5h' W27@ĒyYۥҶPFtʣ]k2p HP'"L%ܽg35-f4:`CnJVL&:hXv0e.vW:S__RʹG9^nm3/NŊrl!>gtz/"9D70G aH蔇u^((BmSú'2CviB+MC M:orfmnB:b bkr kᯜNUVL(_6ǙhKh1Mߜ \w6zB/lAj*,RC,9A9:C ""vlS6v?LrȂO }Su•(8+쌅s)S&~~]jV겴ܠ|bGAͅqոUmpص^٬qs2݃_H@|~ߍY!oJviE }*** QcX(w3م"b6J_"]k4,paKGx^&PhM(aX̝UEjr{6 r&[u&t-,~j<[lxZېNʇNΎr?B(wܣ൓ěeG8(tdB 4pZzSM6o+4s1 !'0PD҄SL G؟:TyVʴKC jZAmaƶZ욮9AW\s9v?;}B mEYYh"d" /֎f!obFkabn0T@_ +*jvʓќb^0L)v 4ˡ\vP`]$uWDEi|)=|j{I\x0vM&lH`l#Nr SJɽ_l`X8lMU?)TpnMk"\Y7K]g`yp ^o'r-- J~+lCsRy*Y',s< '\!oBh~ÐO̊ {A3_A5tU h;aFHqCȉ9Щ!P 9#uJIJO1Jc-xYWZK 56O]~ pȅp9 C*1 kt-i9t>W}δJ26AIwU9/qA7Q?$6|fȍ4 ؈n꼣phӚ>h5D( 4K]ɽj XDŽc&ƣ/ ̇]ߓ4=Jqgs!=:'H3Rpc2ԷB "#/ 9p 9؏ڥnvM'YA/Lqo4FS ~^>D/c,Ֆk?>:x㬄4P>2keYX6q$ZQh_V1e{P]nWm"[wRzؑMg.R~LukJ~/Ag K->Xӗ*6I/s E[,TƼ+>`ö/NBL,84KXRM37( җ}]^óT<|6]]ɹ =Ƹ\Q#-U''\v-_ ,0zew ELj4[8E]Ț00/zlmo-h bv{a~&,M.%fgpUUW@0SK:4i]b"^̾- 6 mqs/h|ո=[mbB;+jbjg)\ CUn[kJnv&! ǖ2HIw2\E"~ʾ~?n~ag:g}tتU$fJOҴֈ6$Um<1MHX }æB w_KO #( ] $F̸qaF C15pz>orx7A*=V^v) C1>Hckyq<"u/ȗaGqdhNȾ\G]^ ~D$}I(YqYGկn(?4k M1aB!Ƒ;b ](Y xHť?t&P f2PL۵H`O-A(MD,~&yW,rEqO~y7w2KlIj&qs٫e|vo9Uы\ |6dnFc R7R|0F˧qZWmRN=Ȝя/(<巫$AIl]&Nږ_'\YV= xBxojRm`'I‘)Jvo+/ L͵a*!( +sY)#7̖dghnqԇmIGJ,4w{xc0RKѡz5ٖL?6`b?`nxڭdUOUNo!qJԌLgwb]9= 'kz "|h)X;GpУ=}!9뽮-O|UJ{vL]-݃9K]Enb:c YZ