stp-2.3.1+20171008-lp151.2.4 >  A \/=„E{Чn :Z{R$ܲƺ|p9O%ږ 1x1PX3B8D]0,fQ0pe}v^$܀ O3)8C"ʨUDd6+VlÝU) In*7$j%H-J_?jn_ZOHYS-SiI=CY@pa+~H~dOQ=iq?]H~/or]GWS8afe5db96c5c80396f6bd1ef4dac2a74af257de93585bb2279e593698edfddfead1779872d2b3ff244cdf07bdd11db223fc962bb5h\/=„{t<%jp>:?:d  1X\dh{    ( D  $@P"(O8X9: F5rG5H5I5X5Y5\6]6 ^6]b6c7Fd7e7f7l7u7v7w9x9y9!z:<:L:P:V:Cstp2.3.1+20171008lp151.2.4Constraint 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.\build79/openSUSE Leap 15.1openSUSEMIThttps://bugs.opensuse.orgProductivity/Scientific/Otherhttps://github.com/stp/stp/wikilinuxx86_64 $zA큤\\\\YڏYڏYڏ89d3b8e13ae7a60700d37a5b39f4af7a0ad8f5e099865c5c3b1988276466647ea5e7f7595c4a91620ed7c416e1cc631b65230248de9725e4976f0bed96f55695726b2bda2b363014b03a78123d1399c336a93f71bf8e876e45a3fb12066768a31f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a71ec2ef478221305f3d1956bf680b897dafa323511a300cedfbc4e87a05913e93stp-2.1.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-lp151.2.4.src.rpmstpstp(x86-64)@@@@@@@@@@@@@@@@@    ld-linux-x86-64.so.2()(64bit)ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)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(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.1()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.14.1Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@SM@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.com- 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, upstream- initial commitbuild79 15528108922.3.1+20171008-lp151.2.42.3.1+20171008-lp151.2.4stpstp-2.1.2stp_simplestpAUTHORSLICENSEREADME.markdown/usr/bin//usr/share/doc/packages//usr/share/doc/packages/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:Leap:15.1/standard/52b4c9c1dc2cc41a9954539049dad831-stpcpioxz5x86_64-suse-linuxELF 64-bit LSB executable, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/l, for GNU/Linux 3.2.0, BuildID[sha1]=4b271931836f483fedce74f16cc36ee0f6dcd9f8, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/l, for GNU/Linux 3.2.0, BuildID[sha1]=edd1838902de8e853f66293dce656b61bcec4ae2, strippeddirectoryASCII textASCII text, with very long linesRRRRRR RR R RR RRR RRRRRRRRR RR R RR RR RRR*x92H~bO_utf-8143c69752447c044534a289f1574226906f9f3df75f8deda763c5a6c30208255? 7zXZ !t/r] cr$x#fse\QKjBZ'wq Z_rQfzъZ"ˁO qN/TnwNL伉xZr($Y(;̩7iתJE0 :5Vl]vUS,l<F0)|̎aYe0G$w pߏZ(*:#ekH ~n1VFm.%0 }̚Gh?8WA& ю=Jv$~!HmėߐC쀩E+mNԣ ks,m6~ a۩RisG-)A.5Ո Z+C/YFIpCvU2;w\! .l0-_|@M1CP]B ̻R Be-aRF˭Uk:V6S {qd"<6B,g(+0eMyR][\b@) ]꽃p]j,g>uk^m^,> Ci5Ix $X4ЭR S)>U^$J=7!ђ /X^o+t8^ {UA2H)!ecnK`$mIZ%<9*)ii챋q$wXb ]IPLې3b1sYt8rP 4%1h ήӚIxda'Й?)GĨ b3afh}enaBDLiRK䆘7=SLKn 6?g85Z)vỤU$2I4CZ _ijUfI,$:(r6 Zfb,Hisl qǾp/fGS.a<[=Y{lkKګOܽu?T\X=B,mӑ c,e6kjSYTus~)NlXy:)̇CQsivb͞7.㧉7cftq}jl{ŪG xV$8!KD{vM%z-fC>Fa8lq#4b(}%RmMf[mCÚI]7p㭭8Ü4nu"XĦinm^y ϒ~̫In!bF>SJSPr7oUy|3󔚖TaTWV$ !ʐ1' B8E g%ulILM/9be@rD5W s=7;L:籃2Ӝ$0]>Lu-J4 2Ƚ0K96^f4!M_;yB rcզ >"PѦ*&>b:T+rKdY,r ѹlu/dw0RW(Fe!;uzmdׇ#WGΥ\kp0Ȏ%PMRffYh~s24 _Mmw0pw@H5uFQ-6YGґ1 ]+<5ТYfBm!;:1ym,^JT.!74]VӏӎhB4ch,#d,>H.i/L!1/܇('=.*:#;|f^6,N g>%j*XsKZ秌n J܁sAs&{(,+Bw *uFgooz,k78A0zcx܀ܘ,`ݟ&T{-!Mi8ȔHVbERs >d-zw4Xl}@%2&ߒqUG=8šDw/-@Xk@GrGA=Pz_ռ +ה ObTqҮsowi6L5k;p/f>5N ybN=CG|C˲Q!Y!~6Qsi0yr=6+mgȌ_ҐJ B3[)No|{gK-o+\2Uo~[ $Er4n1juOвkB2ϔL}_3,]>|L=s@4|1 [ 7}K-0/grK_HLj?D=߱" [!?Tk,EQ&7ҝ~$8Xhw vUz6NGj>tdA - ֕T߰j`Y3RnIݷ@`cr)[yV9XW-(tB6ԛ-Rj (e]'ߔ궷՚}O iVJm._ R[㰆 oӂmG~gMG)){Hb!svRӘ7=ӱ*k!"+#d3;,Y4WuU:Ƿ>Ɗ㦶/` yY3Q:')C!!Az 3}_6ʢ!vH}WL/H2yUA>`l{Fю1j7~&XqEJu[u@Zڏ=R}rפɻAWܡvlYa]pU׳bjpB§$ [w Ϯ3Uԕ{i_ HgD#^vW~˫pK6m ID͢|V|m)/nAu{&8CE΄a0+AR"p~LiqQ PR _m?D bd^7) WV%&F~y0hwdv)1 ]@*pӯ,Cz$!ztr,#Ahz/y|:AZlH’0ڞ' &p@}#JMrU)/NpEcq8w rsI|~:nU""%Wj4C63Nio%yBtkqYP9i5T 9|'أ/@UyEm/3Pw_lVHFna2EoUHx0GŴ`jf[QL ڝ達wE׿' {c}w8<5aSx8gzoweǛs1jԳQrSQVˆ|sxAnosgL/C Hr@Z\gO1MbEUYaj]PlwL}L>KJ;DF{9)w&z,quӿ(S.ak݌$#,%[^/β}aN&_&=䯗7ERe*9f|L%CX@[fip!5 WZJn;c , |'C\I_tXA_o49# =Ԁ6^,F@~lߋ!gUaܠo"BZQfyhp-h}բĔ}h~b :kY~FD]b߮Lj@<ܒ05HshOYs'NCr9Ô*ENܾY[QT1"[m|ł:%6QMH[AFc+;Es.F(!Lrp<'H! X/2w9XyXr!ㆄmw,̨aK ,˩F>\%rlC,5_WCm3_aٻ+y|g$`NX3|bx^$SDbMB)6{PJL+S7cOv2Df1:U{xGSx]1Wʐ|Wk(B-9n8T H4^A[.r^jW5 y Ty9٪>S(*DL(q|OHOL /sۉ?>wQέ1RsH) XGM&H[zRS6, էef~ GיNjy^}1D&8Bj9 [!)M76!ʧ,=ѝ,euDweI/dZ7AAO¥&g_AM74sYpttՠb\<R;v}$'7*Evǹ Ԭ6i'ܲ~+DC ГKskclr[f%HubŰfT1RDLX)qS9aڡkޛ1d\;B !vJwznxĘs32lb姲/w/&DڋfAM B%(Pq(E/uf 5,p4f1A̦O&+pWH!'3Y+Y>T/|PP2|X?:B{píiϸREb[Kɇ2MhnAT.10yEn.~ɱDu Vchg*[ 9x?[q˂xNXRo{UCNc0i!C"$MeA|k ll?ф 5{Nؖ$F!RrlwC#t"+6,KOiۿR݅`ܢe;,uqu7^ #l S\FB yr Ѹ6 i~Xm'yRqpD_v /T5h;Qj1u!Fz񜧑Ԏ 8CQzx@*1Rt!6:eV;:QdU%R?SKUيGq3xJ #.0=^:04nHmMXOd5CmqwؘIiQ=C=ОG{] 0OTDMo jD$evsf71Ԫ1~ѳ0I$GZBdgaSZ?g^7X i uHvk~ j&w'j;'n1b$ g(䥈a5N\&*P rggM.RD +E.DFd5J]I{*|UpT('%TۂoUt r㉳4C: 2ȵFW$kE% CI@%՞qvX-Pi0QBevTN:*58=;/n[6URF=Bk.C(s ~P~?|1ZL 7;A\)Y4>8}#t~+n {jk UkdGo("dyW&)>ӟYl0{8)ٗ7k;82C H ׸v۵s[#ZhtO$҇*[- L0O(|w)\Mvx-LQqMg] R !A`]+TH|Q@DxM~P~K&뚙\R/n(Mߙ=7;|4?z۵ӳY+_Ԧf"Rnu%2@&Ջ!Tn/UC\a OZ""B^1lVGJffFJԘ#w.4Zul_Dy9og2&m$EQrBzt%=\&u5 Y^kJc<=G oN?2!QA$z/H [ƚ/W-`D\>&?LGٕG]V]O:GyGJkU-G{Ul7ls3;8'$(g` MG(̷Y(>aꁝ4bΘ1Aa1:Ω3Rb(޴OЬUUŅlA,޲Ӹ@DZ-Pv4@41Zooe l4]ڻe`<\#m4l` ෌i%mmbz|W.x(3ɳ;CjhgW9O`=TUKcPG8-%fjq 7/'ą^~ 7@QcFP!:z"{!@ ak~xH2ky׮*pNz0䲆m,~c{}m6eL,HS.K)Cym *3͆m"E糬V!O!ی|zI,j4&lZ%ZOT@੹bMMdDYh\яQD봷H5Yp:)P,fA4/_AbZzdL[`KӂiZ*5Q.:K]UNn!nNؑH]Um`OA:nDCN-1z"Q:?NpK88!Su]޶xUl7%qzi49>[oӗYüR3ӨT"PJIʊB1֭yz9LIs.LmP?E6s @!,+%#w5>Bi]lrW_r΢\aA91ɦ`NRPqyE n/aU6-+?_R>_-j9aP@wRT/~ٗݯV "hZFX׉ /.]xw'%s04K<求Mh(3F @&%\;5--gEQ_ ?F+RD;ZyJ<0V%" FuM $NGPۏQ-Lǫ48de{Mut;jo?J rtQt-h SN"Tj5OsrY /F ȿQۍhʉ4Mߐ&,jv<8hoRRՖ: Sh@҄f;z + a٫Dl r"6ba^j8dC^ $K7}4L%e#x-~K61ʈFJ髓=F![X8g2ٻ3q.dԂ+xV<ᆁ.a\٣g'kR$˖[G!?B_U?\!2WYbK1")y8]e1+>RȂi&"xt+?0nnOQŢ41c |%h0 3ub%Bx0]BrCMb̭ѧ~60Y=0EǛ] ?2;!r ۴aH> kʏz؊'| ICIJZ5P#R`wX4|n%Wz lK݈PmMڽTLu8-|Y/B$&UVVlAnt#[e;l0yȳ.lqn/w*e͈mI+no_>rթ,U )?Em`b+|1 }`OmzZ Ʌ@&s{[NI_ze"ӭX{3E{s[7q+?/u#9 d=] f6j~pEJ`_z?.<ǣP'-ET囌jxle\&fj X>ttr8b*Br;=EqtH3~"c]lA;V],~Moȧ{O=5J^H-jn2M-@Ow`.I Z{Q\De@Dot(Ou;=]l9כ4ťV?_a.h q߸8 I+گ>Uرk{g{fsW#S\AVG`{=Ž3Sfԧ yßEGo&uLI8?w,NxN# z],qԋ:P7O6LYFW ? P.LUx,x]f5I0)(e"2*4_>L1K> m;7AW?tbUL-ueZcvw; F?[ZMXy=qC[+l)4VK(:͆eUSbst\-l͉idw|ܾok6' _/\}:bAѳ 8֫ Gt@1fl3z6˔0.і-:^8$?Lk*zVֹb5> 9aX[Sr]X. Y9?ף-^K漞In~[JitXU:qr(vѵM#(YGkHs%Oj1amum'\CxRC|RoG&&&/eAE@3 ^ QKxX%@3V#cx?$Msj@PUpI)3_3z>oXc;Q>gAp2#0v%띫bzLyL ؟L ';Wt%zLЩ=6/?؆z9gxGVB+=D̂z;&ba4#8(0Ă!bvm&8#gٝ$!g%l̀xGeH:jtJ%k>.ﱦrdl+!j7UXD>1B5,\}t=jJ:QZ~`<3e1wawlD?9N:`,p *{ϓlx ;~ qI؟"1f}}?>=kDUC)X-& 2^{ ޕJ~TA';N C Ժ9% ee߱M~3I% .6F3Vy46g*\(#lQsk!sB]๭2y FL_ z^ju㺬'iIU7˺hzIC搯T)L!°I.ĘCq~[ȕR(S84aێS;](2 W-A%x~]$C;7WT(^ٽP݅kwX.wŁ%ohT=|?%a N7rȤ6?-=NCIѬ)gkVtqWxq1zF%ɅD&F}@T o$o*L҅.D*z:߽jr1VU!? 6L/[ڄX(KqbX<5i6(~DnR ].&NA}fEd\Ь'U\ :zqFD|%"Y;O&@p2zmHJVu.h-+ư~ګBUqf\W)/GĎY:&!m3~-U+3^w]$5bHhзHV_7m^9&CyMGx\REF>]OpWA 0̨>,Dsq|\?9qv®g0BJտYʲns<oM OxBa}spKenF4=+  -S5 Y,r4܎ Ry}]Y+QKtlj aehVGVW%yU#gEӗ쌚>DZBғhVb1jP >=ta`,BH.I=18`,nNâ:D99o hT9"[VtmI@ІFuS5w=cYoOJhz ~˾GMnF[P "5$t!zF7"Wu$ Ej<𜈉/A`h9Np8V2t2C2a5ɬ TD_!ʂ51[2 bХ%ӂ⢰}AI@&jQ*tc2,w'*P PWr9\OdԲEr^dJsE-&7-Bc_V"Mݟ"Dnk(~U |SM+LmːW-tЕ-h:Rfy/-ܙ%5p_7z -7 R ]Ç'TfP[ 7wN-PX8CywS(@;}>}r 6v8ιA$@&}Y̚|oD(^8`?G5dowm=/gZtd]eβl8E?:s >^kxVZLU/&iw+-B[Z@U Sآq,`ܠǎԑX~/ tLd ~1Q kE]қ Yk?PHW"\ )$+]IWo.$-q|NQGҞDrW]})I{2 ~^y@aK$" A~hY1]hTY r*UfI\3ib,7kV1]LФ0V$-ki5Ѡ:@ u̼t !&Y1,$ l_~ GDu`ycǥ_>Ɗȏn ɗaX136_7S :LXY \J\J$K[C#4ɡ&׋\Q'`|jG:e@Jl`lPG^]JG*6m |XV!vA;lWH163=lIGF+-SyjĖ(o Gc ATbWO橏g{_F0mӶ.='_zc mp҅ ?5G/mO2;V|HxsHcb*9QFPlhAЮ:JMo>~M6H~o{:E[TRk1NWSXuz9^‚1])2gOTv}6'v?gr.%$u}N9AI*y^6.ANExšN8 Ɓ߈d.dPp)F,;;֡4aLmvr{t˳s~@Sѧ`tK?a&8vErcB#-wT"7'V88zD4R%E2?{Mp`z (v0,⥈/R U l)``nGD>* ¢Q]89g'4 ?w'(9#tmDtCA'slFg63]!MdjSNcGP"m@9Ƞ]%A+H">6FބQR2G}"cjpL>׬72*%_$j*țg%sF ٬Oo0qъ!͊ {U u{TC TV_noFh„aJp~#DvY`j:8L|V_&@lվS] du]Mu %L_W.裊+dH`R3<+4gK w$`lR wCdΛ}M'̋D!ZDϋ.hy'@#?.{bohb.y !-<\H1R.3B?>+S&(cI]Z.72;09uo g=akVQ$k-I"/lw?Lt<eerS?zEu ñ\IT1KFz{(&JoN?ў[tD+tY kf, L 5xzY#;PWmQޔ&4(bttfqP;=3~?$ζBC4뎆6[{%Ly.W˶Eo4_%քiN3N9 欰SRn|Ňx<nRkU񧫑V˃7UzO]Ik[_t:#tQD}j}߂?!kzg䐉Gm&-&nZ}o,r']Y&BJ=6CU Nd(ZS-)lܾ$r,3ر^>1xIS&}vIOͳDaP׋8dnn(3>ܨ$fHWҳ!zW%׹0&M^Љ0Ha _$J~s ? 0㧖``{12X*>US665ţL&g([Lq3g&9MnK wwhPvZ+Jȓ(Gߗsx֣tXCӵt&h9~?SL)Or B.I("4zKuݗH.©?5ڰYfF75$vf黇!hn%7LFChov2ː\}4+H_&ÑʌM? 68g΀l|7 a :\7ZP5:̽2a=]PpkW(gÈ 0I%uǜhBqjJt35FUKp‡X'ڣSn{Vl>% KD}%M㇅k FmXD'45 Q*4}>Dy8xxE*YŻʼwgW28x7bx 5U} K}f ]S4UNحG~`]Nܰh$B% (krAv8'ƕtt{eQING4՘`zP3P'-9HD·T&7'}ﰺH*e}ėo+HM)E4_n3Wx֔JFb0~$ڮл)`O9Q#Q Hܥ)nRBnc@' mCyvm[Mz4 *5I3w7oщ-/NPs|pM<ǘʼ1e!@&][m/=- FJ8Jk!m8_S#+, #ޭVeׇﶉO4/øY$"&I2KIsUz%6ϋc(…E.ɵ~S$SS Uq& 'PwEfBRf&iuKq[gI9EϨ&ork艇HVpҖ |AviMKPb]Pt X Wn:lL( C{ *uK[{,a_*QNlٶM{ r mm؃Vo|]Uq !.JpifTW31{9YA.dρN/8 Ff Ѓ#f2 4Mr|Lc9ASwpԑ4@n3TU%bs!uiZBRo>xT1dWob[!H{G C}H6;abHK <>+[0_zn7~;>coPZaNQ؝ ?`S.8E-7|{uKuN/lM*rg܎D#K @{3p $BP0gV ++Z[r ꮪXǪūqnl5g=C)Luć T~qgh>a5~15{vzF_`Mw]ڸ-mKC 6u'Qd q@b ̓F4q6-~/գ <3Z!uB{P .$c}s"#jipc3q&GYg i̖9>=:huqV2g* PH!0):aO{)IRͭbpdJ!znu8}vqF \R=-TA7f̵'n4!V~R o|i끟EHWl4NPb\r9Qy0^ r%YysMGջ5KLjK7DYϳitF@448zgsP0γ9>gN{3Dh"zˆe8*_p{O~(x+^?tr۔!0BEh[GV+BX~ x1e4%&(CހA:lf"v3?h/MkуOMD=y-Cj2nV)tLzސs1bgW?A˄h M.Lb觙 N#ϞSV3k+"4|}s7[PEK.U?D?<|R&Łw:D D_A 2-IVemg8p@CvE0*d$[wͱ2tgq^㜺- E, u;s4[7'sFߨLŮ>,0]JSnj4̓0`[7j\@^哱.Hv 'o*ܿo:A2Ζ{A O|-\$5A K+J#H9]BRAD 0ΙAFʭxld^i>nRq VHwj,jHx67'}--7xZ$|Ϥ-!@K᙭:AGs_a>j04f90 `8%_Ci '|"U#4WgcfKPs! #FHF;l`tQvj 0pt).ZhRA&)ffxCQ],f+yj Qz.ahJrl +'ߏydb\S`2; *mJ4UEpbǩ42l.Y`=tJ ntu 776 Vl9hX'Υրn'͘@rԘT= WOD $\mÚ5Eo|^0x|3 +2շL"w>d@qw9PxVizBGK>8UwN4VW~jd?[* 0Yto>Xl2;GgfT/PD\f"HC/K¸^JtceՉU,)7d"bA= ͽO]9t;hh vekؚjBoWXfT!7.7+i:kͯa;j9'ME'^ůc-%{Ix[7X+wx͏<'}cq͜=ONNK H>#%or~gQQ'ɓǴU ѩN);l_VNu2.2;`i윱jUnuyݥ~`Mu"P7[qfY^Ld6SՐËo4uk[G! )Tk,6]lT*:e $[zǽ&ѫ*u}x_ڍ2ۯ-qi3 #`xaZvַ3W#fE~j;_wfERlI"xGE՛|xVr+0Cāx`IO۵r~ز ??̑?uq )bdMKA5s"}J JīqG}Dj-nJR gZYoBT{)o?1rc~&&.&,f"lۼX7R0͎䁳Z7K%1ih݃;] RdR܅_KBڛaA8܎y-an]vK6,{zk;`Xa5ʍveBս >қgOW}\ qhAMNͽ /֓U0RWjMN_(\ h@ˆ+}fl D\N*;gq؋DW]Ah?n'^[Z1;™@C SN弲Z[ MI}8X_b %i(i[0sd.[vxP:Iv\?$q͂҈EZ3GaFp.Y蕭Ծnj=u!2.Ga{[myu xWh ag{ /m20P :BRA#dnw7W NJ˒ҊR32ZmU41lqWzdਸ)~joV0u{=čz~e{J=l( l՞K.MMwcv4eq'Zy}V' NiOލ.z[&Db')bݚoFt|L?_uf,:gkeQ:EL[ >72 :ai?2T؍p{I KjAbS*mqMЀ+]yqG r|ڃ9N,39lnʊJ \Tr}cCX SLx|y/PIC |y"ss?9rI97-#XY;~1l٣兩+%Xn: +9-͹N!7~Vh⟆#s7 ٙqPѿ4JUcԭ|xQ0?:5>- ?8M3ץDJKl r<(;DݫFwna:w\?Ū[!/⃷A,Aj&ŚR'F }f8c3Mv7Ȓ顠.P-h}WݤnȹHY:t .tƉtNH'T{榟>'* k0fQd` s┰z-V$_-"en' dJ82"% 6~Lt N'(]$a=:^.Dv`eu KX Dy g¼A!=x99fs>&$aӽY}{plˆ~F?6ar9#L\1*k8*$ 1ճά-5:[T0 0bƀ.Q)MY$[}S*v5 A pX<B$ůTz\MٳZ5"6Rz) h6ZY"gdZ1JxRIʺMI0KtHT ZZcY\gR Z_JiBt1y V=%5F-JH^hc♈{,tƘ S&$^L$VS+WuaG3ݩ-2)^UjhReCC_Y{DZA,3i5}.4 Oqw<=AP6L f.H }ԽTadbSIӆl(%wRyB\%[LBL-imA07s7ۚ8doOjߚ1,I8H̚ZMa2I`m(Vu7&vry X3 +w٪u,6g-)8 ,kB^3펕Q%v2S#o'ۼI/ۇ?{65;o>7)B Eg "7N? _ɝ Q ltGX)௕nYO2ޕU:kNt0FS- [iYxPEIm}ڛX!,!VIшB )'=<&Y@E^ײdtz /=QN8l/,nXW4 Uw^O;:AB""9ucPߢ>Z@;Kw)it)K=GBozkC&?̓fYlt ]f clj@/f:ּeX.pҨ5K|놁ֿANJ*XfA#qB| { +r1'u{w!C|Kf1`SD:b,%sLbʨ N͗x M[sħ0kx+ Tq^7%siħkFxGdցj#g D7V"b,>kSʛr䛖iQg$(F NYitr)o+Di5JRЇC{)MIjTԿ-@/F.K} T&ȱa⋨1Vy ŰﱘfX.CW>vH-u:ɾ{0ObOvs>zm:HhGoI>>PψDrA{>Z +DFXrr0N%>b |TLNi r + ADGZ$77A2>W.0Wr6oڻ$d;Mgb8o$ s3Z425ΙY }+(eOdͶ2,hv~ NOg=:3ei(f&B/ydwȩ݁ToI=ץIZZUI|kq#`ǃ0c&#&Sb^gcK{^_lSךز6t$/Wɀڊ䆎d$:o3}rBK"e2f2_[ 2%T݀9PQhNcD'qMb@"]&t =j>Jͬouι%WbQ0_"(ɖZ ~dZQzU}2S<}اԂk[<@ <3-Pdzh[|Vpͺ .^ 6)a Jfe-cm[A0UV˦g`b} Z̽ yP ++%bj0gq{|鰔eʺ"D(|&:Z# C򡪏`0,.zG Z@^1y+2 }'_.@e'+]WО #Dlr_yu6)#˰Eԟ U%.E-K c-hqd\u{IQyjOKr^{++a9?ܯFLEe*@+>IQ م࢜E@3?]MO~l@k+k߳Sbwfy@Gxu&s*A݋;82lM*L#ENGh+seGP@o iQN.E28~gks‡H A]gK +;syR[B\ S=Bkྉ[G XvYXG3&|:Ȭ>~ܔ1 Yp,Fbq%DJ t8I옜-E/?{htS`xa>X Q-h#>]GfyPU o7] =#Ǣ%$#goƽ|FGMN2;iǖ:姒h$: [ae*SO0Qo xll) fFJ9 uۑniˡX*?RJYWך3-8n|=*Pu29{pȆ"l* F^Apmgh0;Α=٫O,]1jR]qXS-Y!M) <;usm25|G- #V1\6<Ġ+ J'G]، X}VI?Xa!&uhxǺ<NժR217/h D(3WL7A+5RH3PP%ܲ>';$g7JmЯ~}}hz~ \ոXL(a Mo4[*Wg!1lA cFM(+K,/.+Y. 3ס7UG3mr=<̛grzZ]yQlYSyt\N7Zp[+E]lxAKve&)yµ!Z֭jaî㤋2RԻػG &LS|wn$3> #rC*)(ND%:kOMKOL$x&[u@w{/ w&6fvoR¡r&sgI8L+<ǽ̂p0poj,m,sךq?U)?}վ6avOȭv]XNc:Йh7Q3+hXbYxg_e iløRJ Wpq{(iK{Ua!븕yr:?- 8[gMWGEB,97_HA_Ep̽qd[ִ&8ּRya Y)ʐ_X /@ e2ş9Q$ crd@6wQ3., H8jdʊú)!EX /X;Jv_ P-@#M`CGmRc*7S@`n0_(On, ThJQ᩺􎿼%НelciTQⱒ|%3 eK.Phy/:,JPNxBJ:e%QƒN={}-ЄIB\x^[qU:kf'0u[~Cf;FӬ%K AN ]7XzIp5 SB?-)mj\$?͜2-nKcYt\͉S1ZKl'Vf}*Cb]]Lɋ𼼔oDGĿm b@!oY=fL}p 645&&MW!@|1.~n ZrҨ؊^mՍ̳Cκ޷gy!6-EÐcZ@= Ӥ=+}^ R1lM*HYjH7-2ky,qt[iH"'v?5u\kBLLzR)"4Bfє5l4I(\^c}8uQЅ `38ʻ Rt l 9?˫<~+)&=poYڊDVStϭ+ucLhS/,/b"Q>/jɾ8مK]fƛ|qM|϶}t7rZ:v[ 0TǿZ, 5izD2 hftΞ QSMzfWmҺvhs#ɜȊ&ȠLO{jh U;d+'KSǑ||kiƚ9Sd&H_& a>ᠨ;N6~ˑ:j؇iCXEZȰ!eǼ 2DHlp`%ٝk#gpz;:SZX#+e&{zgm] A+yIabkBMt . Og#ᛯ@3- b2 4،QqynVuT0DwDl`0-3qmWf6Xq ŁӌhԫվiPE)wjnL9ӠjM " 9=,ks`6<^.9KE^i5с,6Ħ7<@фTntrQr9ሲiC;uMvj vi_2=J1砑Kx`m$`͚C]r[;p{ vv<,}Xq[w2۷DCAr0RԧguD^n?)U[-1 5Y존^3h:RMtT]uVV@\ ?P0-s\Hh L~HxP_u{2ZbjBDL8x}RʽoV+7**nm5|co~aslDFRUP+E(ollc<´͓΢X(m89'37a|A sz&Sς(BPʔ'r3x;^^Y3bϙ'>|ݕbsQZ2ɀcHWiJq::QtnmzfQ/>sa;' ŽrYZwų.= scK GMq0~g Y[K]dӫ5B}q0)VÞ0hlG}/RB| "4V464Rd{㥪%5Ո D8i *L `^HZ|vȥYG~DlrSTUVv[P!U{j4k 10_]UCO+rrbmYǼ*up<4Z_\-A!4eBlGP$4g yCԎ |Ȓ4i J:Rk+1NP21 pž{dgt&[ ]x |+ѡ9ڑIgvA}Cme_z@٧wۖ0~ru.|*ح1,>w5(U2uO3tp/ЈÃ[)^D,ڒ0*8c͏ҀBìڷ^vN%R >A0R `E[*W|wLQM|&-:N')]*{Vp9;u$DT3?D2z Mս-vS!JI. Fȡ<'5K@UZSДJ:fg/ӭֺFHtIES-fv>7vE>ḭi;[ljx0j?ec9[[b) 4-=|[%5 K#fOSkpNWJs1wb.q~jEvv5~Þ $S╌} 2xQ,^,LORf{~a:lS0Sǂw߱)=DBb'ro ?`[SkqհS~5&7|M:]E S߬A4йi++Z@;ׄ@t֞*VAbփ)lZ/?\hfʸ`42#Vʭ ye'(Ky<A,N 0G|5 ߖ-Jވb84ܔ+15Z܃ԅn si`0OZŔk<Թݥ\][  \9 Sx;K.fC #-Tdt6e%k_NXC=)u7$*y-w5A-> 8jwX)5h&0pj7l jpTuU,5L,?%=$޽gW9 L+=37ODG zUW $4~BźT {E~1!Wpi$i}Sj[ S* ugX6% 㟨S;c%4Kn +_RVk%e5ឬvl3MgeGTEX-OBj~,0SD:l,_웒As(_1/ .> !ގ=/jEU_6Gx*D '.5g%_Sv* K_/%Kv=2 fos.RӿW߾3# #Xx|εkH߉͉Me o(mQ4u*]@5K娩:eO -.bt=c;D]ĀEi°V#+C_CVD\Wn!fyI '@PaJtX;|W KX't+zrtޞpeIS)|[=N ,N+ 5+&?(-&ɟ7œWճ8䮃mo+BȃBU L¼p5@W!Bתn{KC>ۍKd^{MIxv:s2zKf,Vp)03bN7&] RVo?np+:} 7pQ'\sc}B )y]CVK5rZr3}څKۨP~VT:B>:㛠 %3 >ho.v1X甌bZӪ_5zvٹ\<Ѷ5Ho"nXl yfT_c[@rp :ޠXtO]KlpqI v?xfGAiUaI۫*3OGy)Y@ ͩRuEkY vL 55;3{a>o,1GM!UXkѹiK7 V%"0CB\#bD|[J4fjqK :/jLInWT0(=BRTð`Thώх@/: -oh]?Uy_p? oPM>2cݶ?tcڷsoo1R*2+X,aSjpQvWT";XrDuUT1 ot@) =mmm X#kf@yrIuF _AX橵`1{?~CF`Wtm$}$T?!WCޱupG+E/=h* ~vT|Cga7|s~L~T,?)Tu}B Ktc[hXs@1v Ë|ys $yL[K]i%7k2[ޛ%A$t~-jlyG?d o}i]zT%sJ J_Oe7kFI=Ѷ+hTə$YrQ%dB9E}ѐLX4kv~et7` ɅYc2zY=䙚u],QVP\={1 ʰȹ$F-3CnbL"geD<1 %F̻7•}^sу=jfڎ 3 hL4N#`!F4hRlB[,z^dzq~ŋU0quw4d?XIKe2Sp-?cwRwՑt3$'#iu;ګ <3|Bٌzw'5p ` >Aŋ},ҹ7䌟aWyϟ)&̒Ŕm"3fd$:2pfMKSE\RlsMk:nH؞{C͚`0RKcBK VIj@Z32Sߛ紥ZNn81p(ilvB5D(R[Y \dJ `f]] D^A7s3x8F ,u9uكf(-!%n Qm|bRC*/x|&zk_MZxX1_fFOTbJ,V;MES?@X8It\@cd reS؃FM~FE9AIB(zBJɤKCF_ \pDC,6(+:8ΘL4z[y+ \9Tr9E4,l'_Z'T\xx/bO;*?"}d0,J_e=jOrרnTPu =T1K1#uLi`mUйBϿEe) (ku1Ze8jpY"I[xʽ%\WK]Ik^GŸWbiPZ9O"F.d!"hB7gNSq@v=i 1%Y*8To+V{miX|A0`kM>D +R9ϕ'J9%c7&L!6_esCfK`qEOrEtIKZ)Fʚ;l 3saȍtڔLN_Gv\Sl'w, _Zn:vө\p8V;"db5oOh1~чA!`?C-mG?!1AAI(3Ov:0]/)tr)[Gq]$`_/+FZ"3dO谑n; C;">⫸ h[W7܂9#F gَD{p_ח51׭ N5;[1xUjka[)lEyuh؄jD> ^7,5uUXYZ eow(a).%JFޭ ڲٖ.Dk5ARCu )KܯkfΊ13u'ZA+XԚ̧2rh !߉Fψ#.͉ 4 쟗xݬyR>xOdʭh9!ζ?B"mܝRaDsՃǃW0VZ:6*'|-:.f>bTNM%c,\-t F=VZ F?BӄEft?J/r~额5.!sVPԼ J}4ڠpiBJ%7;C-A=9 " Ϊ(4wÛ|GƹӦm:v1#6_(FCHd;xnSo&:Nw_|tYۄ}< >ĂV~Ay!qyl"nl!Kq06>AbCE.6YfH$@Aa~^A7B ,lNty%_#Ot;TSo" 5ūzZDZ[ŨY6a+1G+ E`'9CYsAɓ?/&!GgоA1"MOh=+^74) b,YnM#ᑎ%|1kCCVs2!5@^_0=$nã \d^ gَ'ldBl{UQ#npWQM>SsDp8Lp=a] aF`aݦjϺѷXlڜ0F\@ԺHCtg ɇ2ώ-3r 5÷tlzg/$qO&~GaDie `r&L"thPs3" /)?QLR2eYxfX.7ryvḶxFړ,ko@3~bg/.q)_`P6TGbU~S}I83Kf Xn9 o_ <91lil;=z#R#{>Cq^1z2Cʮ P(""N캓D"Nl4 ,p)K!(ho0Da~1i4 Yjۺtw;֒撥ծ=P|9#N[tijf LYj4TŁ~@@. Ex\GL>AzWaBԡd#[=Z@jATkCã){4.y20a x+*JH?=6kwL݆c Uf VĈ ?vi51؝ NەR3xMB:\3 5U|^8c+(c@Tۂn#)lA=>fhQMy\ J\|K$^I|dDéً&b?lOSYA\\׳Bޝp9Ǒ" dk[P3Ŷݫ^317#r)Rs;fq9eaR~J5z}+Y {E""d/u1Xh…ZXYXEk->db uĭ!m>`>Z<PiAGlwd=Z;a/Ѭc7CM$F6|4NJcymIJ hvԭ)]z]Ot l]BLgFh>'O rpeq P&ګl'a 9ں錸of1(W %uӠZ<͝?2lŝ.**270ϓ "E_O7f) GA+E|{kP)tv B99+:q 4qes 0MI gʧk4jd7ٜ dM7'7o`a1+ i9y VW.\6zx u3_d)";*jͳD(Ŵ;!2bK+h25((2)wȉ[=:A#CorgzuC~}|Nǧ+v#BekgvylQQxݔ=@ v8~B_ j]O[гͰ= ĂΔH@㉰׽:/uU?qYt7 !wrUv[³YO%i=ίJ˜Ў<6Q D#Z}04uy xTNPqy@R- qTG]J1C/9J8 G(ig0*\G:XY  S" YZ