stp-2.3.1+20171008-lp150.1.11 >  A Z븋/=„AM<O}TOW!HER/e]wJW5?3yתkIz-B}5;П-DK]:>M^iGRr"@>蓟s -1 ) x ,*b]ҕWz4 A6i6>40 ax9_IZmq^X8|fϢ_X;k*5=N7+.cJ@^HXȵZ05ad64c8f56b07ce1bf49bf50d57d771621841d77de7aa6505e756c1e50b400e83abd114fe4114af82684b46b625f31e2cec6769촉Z븋/=„ߒ/'0ٲ$nVNTQ3E:^(fyɉOyz~|{DwQ0'F,tCĞPYtn ^>DJHS_DB'/ԗtJVodoj4%ireA\v`$@::{%DNx1}}pTu&F nP8ha(ߦ=mXn$ G7]7=(1jm*-E쥳V}SP<)j?>p>:?:d  2X\dh{    ( D  $@P"(O8X9: F5rG5H5I5X5Y5\6]6^6Yb6c7Bd7e7f7l7u7v7w9x9y9!z:\:l:p:v:Cstp2.3.1+20171008lp150.1.11Constraint 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.Zlamb627openSUSE Leap 15.0openSUSEMIThttps://bugs.opensuse.orgProductivity/Scientific/Otherhttps://github.com/stp/stp/wikilinuxx86_64 $zA큤ZȾZZZYڏYڏYڏ992ce2f9960c38c5798480e584a27fde664cce5366d3f8c7dfce201e8f2f8ded23e42bd0a2eaca0d3e425a709b2c14ed0139568d57f0add5d999f6e989a05690726b2bda2b363014b03a78123d1399c336a93f71bf8e876e45a3fb12066768a31f780f7e77ce2a8ba5542449ec5d191ba85bf62c98251b005f308e57420286a71ec2ef478221305f3d1956bf680b897dafa323511a300cedfbc4e87a05913e93stp-2.1.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.1+20171008-lp150.1.11.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 commitlamb62 15233046482.3.1+20171008-lp150.1.112.3.1+20171008-lp150.1.11stpstp-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.0/standard/ea5dee906934eed21766124f52fd057a-stpcpioxz5x86_64-suse-linuxELF 64-bit LSB executable, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=ab2be4ac1519d4ab2048969f5498ae4e7b3e6002, strippedELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 3.2.0, BuildID[sha1]=19ec2f9f5daba95c2478311a2a6b110d9ed1964f, strippeddirectoryASCII textASCII text, with very long linesRRRRRR RR R RR RRR RRRRRRRRR RR R RR RR RRR =nMFbutf-8a6ea248a5bb4a5cb5c922f5a1ac71868eca9b748d8593dd3b2e85b59842a5c22? 7zXZ !t/] cr$x#F;7kyVϗ 2_ˈ8DK`}I=zh9L6?T"9 v<Ȥ j䧐hpTHVc3><GzJF(Ҡ|3w~1;{_/p7i-RVEb4urg;G7*+jHd``P]HhU&%}{i4gH`snSs2J'A,MOUY=*Mԃ hezT"2NH#&B6WaE6zT]uݓ7^OZl`'. 1]XmXΨJA=̋T8¬у̿X ,ddz~01of۞/hg]>3DG`CyIs &k)gDTIQH(BKh"ـv#+ش4m) Ar%Ag> ոL$6 u9/xo1Ƙ0} sC΢}F'eS`5]GvM>/-sLFgldy(*OYGDn6;h۽^r#`|1;M֮3kzH0r)7*%5roafN utBq s0YB?:K';mXh4vVB"ivע&ZofAsh՗9eraj:  }B 22 "(*OiQXg!i`[l^7‡8Hzsj;-!yXf`tPw8 ujkk݃ie%1ba|ghi 1l`8'R5o\=R-w. XnyqMӁiڞnve{Eo+t~1KdKoMB0'^>U]qda41i›.Yi֐#DZ3 7 Ĥ6X6C(-Vmv) ڪzT jS3+1Kx*u^qCrX58͒D C"rx: {H5unQ5k0ϟk:P1'Tq+>U/4$eCe[9yÁnlu28Y/delf&?&Zh",“lT,my\蛉XIe6b^WGj%d --> TĽT5G  @Wf04`0_~fmhay9. p<@IK4Ϣ*Dg3#xJvuP 8(mH"4ygQd:$d76}'a䍦>6rn*;/ n^^|ũd9y-SWtVM%V9QX;0|Gh\i[3\!-Ʊ5BWE'cNy y4{ڛ?5^qF\#dgV<ЪwiEs0X4fބ+9OP&{7,7_l/I7Ӏ&nyƧytoQ]!{&Z7hAjCVG6;ETt Xo`L_b|{stxU3WQK"_'Ub[OAMeNz(|m +B~\j#A X9 D1'I@9mk3@׶oq[=hd[+TC`CVTW_ 4={{$dI^菥KPjj\xn ʧA~od PmZǧ#1 ؞v\UziZieI/n1{"!,Y]z{9^Z#p ' &"Vql^nkx(ti{brnHMIeVRkDW Ec L2+i>Li*lǴwoޛW+Cr&%3Ch"|.BKKwҠdNB#8gFZ 繰}{S([Uw]?_>SL†2Kz\[s : <({*o- 7̾ UC`/]40^n}I c|4YTڨox%5̭v3AŬ >V]v%\"OY&Fsz(b,׷SihՎ` YP:k$;%(%5Joje(4O|:@v5JdB)+(VkߟJ_" y(ƎR5i6^In*X,%"`v %Ix,D']B_B7Op99Btl!w~DRAa/{ıȐeILƧU|!?u6 %ee+-Wb-ު,]j;3.f*]Sv`s'Jj$tmFUע yPDWG66Ŀmu '#**P wL?NujEt"\P@g)Y'gGtx_|ئAf9 IG e/,0D Ei;41 ZDt<϶`kU|[HC_NV"@A 84Z[Sxd{WaVJ ^&F8E= nNf'| gE;}Rlr%ۛ6vrRGs~drW=/^有W~ # Ԑ.`ĉZXe)ufa+zX!㮂#Z &/O2>6]N^Eb%#Wl3Z]ɋ/8۠EGp4(XgU&3;ms<*|L ~JsCWhHoϦE4.P`{($Adk*mY"@RR<H"9G%AW}]%'?T9CsT.Ehm)ޏAޘCw |gxŃO>{ 5IF~uJ|=8;ߗ6Nm y 0>tHcޭb&OɹFY8]6ZײK^E1"6ЛLAijbWqPd}*?}v71|(qgJ`bXhj52ެJi {|_Sù}ʮZPM_;u61JY5ykxԗN-w҃PUqb+5xk IlO5Y & ~jpY6_lG,UycQdE㞥!XVq?F^R4Od*xWV?27%LK./h~bUj׭s֍)D]tќѧOa^PNVGI$_}.f ʬribR14+Tl Duu 7n6t3iߍAg0A+4?FME)vNh3Jn+JLcfZ3;.nGJI\Ճ*Q%oAϗI2LҘѱpG]/qZݻ^r@^n#*<cї8VYU)FEh?* U7F +eׇ:{iܢ❿Ea 5U՘| w-${Ǩ !F)afB n}M>$3.raڨs} MiJdWeIUw2^.ӳ<>Ƅ;ܵcKaeyKͱ`ltMDP G!<2.VOOS?%uY{ʾ=k8…._Hp?xA)`+ P5vbtYIl|]s&H?w؞R~Fx,w ^!!|7-HBlULj8B"{Vޒc/?;ѩ*[{&XPNP"_~7xU( 5 9 .w|,+.:>5$h(ljӻ -pQ^p+;CZ<ȭҀq~?Bu,W2sd25cO\sy l0R0B';Ǧfi ʅ`~&u{Q3 6q30a7gOmʩ[c)oehdȵpAN=zW㙚{]J}HHV@QQ:uy^"tx|3Wf7c}x B+Vc->n~)qª8×or&y#u;WTVvDeFch6>< $^Q9Xnp(rj>j`QƷLY,~AL8؝G*B^ |Vjle`xﵞyݜyCuGeO}yz{~&MjB?Է3 (P8Pt Kr^K$4"^&tÓ-tkDY' vZ,=w]DPz}LQ,kWн" kVSa壧֭:lGq*6Yȣ8#`s6>I*:-[^yyxw*zq[ _~^, 10|,1Hkp0눆-?>K qFl4o&0Ds`ǝhhכ=iioqi'IC€-`Mp[;Xbtb+MmAꠌϜ"MKmd7W,!I\V}O+TF`! "쎙wr$`IiG]ibSsO3AD3~QȦ.CΑTC̆=c"-Yy=l\@@g5Q&zޅvHf}m m7B9鐨SkJKYɄ;Imy?f 9ˈ2;0-4ݬ- uigR &Vh3V~.NdQG;_Kړe#+DI.6u/Q#CFZtQ q-%b LP2K+lefKkA׼x^&WƓJЈJta_t2Z ȘຐKaA^3'Fm(A1 >bB|PjYR.O=Ϧ1` ܏h}PTV\7` g6n!|XOKt -ldXWdLY2-W%Y_<դgoT$F˒ AT,H &fLwfjݡFGuhY9lR-ݒ^k*?~>AgH*QLmөju"omq  ؾu n "ཋu; W^@HҞr_ CdW-cS9/E3yt}>j^, |Shv E&Fճo 2*x]mtSO z,xuyo"n)ddG.IK9pJ/ LIMPNծtåּC'Z i2>4a r>RJ:9bM8"^f94z(^rܠ*Š9dO-n2O: )tSէG/(͢,v\Aw0g[7|c:W2?9%}Řk‡l sJ/ QWn%30kaקR^PA줳Q#,vnV 1s`dGѺXӸ9y"x"jXhX{WBHy+m{&6"eV3"gy#p/~G5<~Я諾_a|,BE&~J?CZ\ԚavH8 Ku }\AcQ^>=^*@wNmT^QRJM'ӴVS)t-8Xb2Nh% ٱ kSVK)Z(Nh))F/L9O:XU\YS׾/n}/vRH9 PD Ub#/K0b!!JKJENIwC=dZm#+r}<tN#W {( %Ž'VRG$nuT :\Cw=^-i4hI-kl^'Z]UCoLS_]*uj_Kw7,sm4RvTšhͻlTdӼh$.Rޘfw`eUX4*S0~5-u -DP^~+ ü (,3Υgc3peU mv>է"-?8~qUt]Dg`g5֪{Bݨo2aV>74I0Pʧ`pQt0$^ĿTp#lQ/!bV1+'`36_J8X]kpKfc5 vsFv@0pY"X-8vkeΫ;sʂlh Yr1sYh,s[ C̭ѾX< mtx06-RPVuk0KF#>hqϤCA@X$ȦRPL81A3s!p>9Á8eߪ²\{ЬKl.p\ݖٍ K=&R|տWzz\oP;d΋| ]]LQ SšeL8cf82*9Z=`6LolhsaWd0)*P}H$D+?|YoCvHNV87n1aiŋ<2@^_FrlFѷu#ХQ& lj4P~ںSVn󻔩I9zļٿj,'|vܖ)Q&XqBC9/+ %FIR db%Y%R z rޱbV X;)$wig6#pVSDrViCܮa= #[h% R3Rh*:=:>c6e~MCSUo_=0x"Ti9" Q|c, xǏbڹL_0,f,wȟ~alB&*'(ŵRD^nLKv VHgxg^gi$q "EX_Ohו;,-L$v9tDoa*"6E^ ܰEsbڌȎ8[yWx/> D6xND;^lkS*O0-ɣ\Txi)Xr{Pґdž?oS%WA_&M&~б -rRWD&/=7 bjTHf{P4\N"vzoNNrS:&lڻU#83 c*-+?w+. H" wrڢ#cl4oRF ;Wľ)B>$UWX]3l]-FN{aTiUk8_`?<%XRSIP2)w'K ؄6%<?Mf}MCsZ2;C9hO* Mh%?>u@^OS/ 8CcaYی lED6Z}"_!~M &Л%^0T [n6ar߀y:`8+*"8Ԕ?!F Y}G^yiMàOկ>?IJCJ8'SD vC&W-J 4'=G;Zҧv[El毟E9.ʜw~5rRVeО^@B6-;b aYRNBm>Ү7qrQ=nA ߌ+@kkfkz.1"[ڀ 2b FѧbGj༞fU1"^ViDJf)87 ogZD8qBs-WK:x&R=E0Ohﵰ#wpPi&唬`%܁b8}Q?~绂ܻ)"eКj@)`UOh稒!bg%nwz)V瓧IKn 5F5җ_tD =7M7Yz&;bCWVY2/N4#[Qqg;],?ԦTm>ݬs=!%))*كp'ܥ6o5hM<~U7].F9y^2`WΣPTwZ.#wAavLm&`lyI;IR͈9tE tñVWQ`bp="oW R Co8 I i$ wj@Ѵl6VPK ]mcPCQLiQh`Û$(fpHⰥۋ tiȿ!/CBŠfR^4A{ju#?ZJN[m# e_Kz))oC*UFㅣќbe";?ieʦ|}ʇB K%FaхvPEze݆`)4~?)V-?̬"^εcqLF?OMeyCLDz z̊S~i SwR;XО~مU/zTG2㤇6ȀO>ޮoTB?Z ૾qQ{fDKaĎIЕr7sاz;!n8OSʱTK& ҳf3HmCiܼR˗w^V3WktR*qM^omN6QI%G/:Y:ZTfP<#WtH(Hʅ-D=7׀=cN VZ@lce#STJyBV.STAuy:uz#öL JJBe"ĽF+ KACG6*c41Dixthߪ I=APᇻ~Ouslg&qJ 5"SKTFḑ $/eWI4 oHX ஢O%3V7u}\EC9O7u/ЊlpIӑn؎wˍ`"RܿV+%,?Jdᰲ=+Z-䬑]rGXQ:c 9Zё0ñiغP;klErY9>k:ieFu Pa!aXD'f5`JaYٛRh=b_ Y@>=paT XK9z~_i8PNHaKh&(M4@gp'ɼ ܟt~ Ju~W 3dF߭^zI‡H3 |N\H$i3WZȚSDj ߙ*iIɏ` w(6?NCZ[02jMT晸>?,njb@y!}r*9JF u>ѓC# [+OxSbԍ}NbY]ܳ\ף):һ51 K%`eȳ(:f1ۏB$VtIJjEo/:T(Z{EP5O`a[2/'j7}MoX2*1P@ѩ۽+Ry=xKufiHWW↘cd% ~P [F]p^DݓW&ޜWwS^)}i )Jz˓8rXh;bZaAM̵080_ptlGO h7],Lٵ' ȣw/kqh}RG^!7tC^} /r3Ə7WnPڅU5+9q釂L>fl^N};F+QQjBVw*bE^矴J=Xrт#[6*q0@$bb(6{OU;FzoOXߐZ==r%[u*퇑WM_[te&MWD޴74kMWNǸ5SV:!D%ˬSFΠFY/6hz?/ fCO\iB\t۔|rDkz`_hS+S^ v4O5FY:*#ﶂmL|˼Rv;U#g͟bD+q΍qj@ztmʀkq֊R:)z8q\yص\!\"--ι5KBs:"8]濌?_R\0Cm7;LM_ p[BF#_Jmug ̤UʡQDB{u0'N gj>-,  r({ 񆛂z6˲QsRty#$48+wcc>ybFZa.uVDeZ +|7_u̶]+3A N+sE7בͷ#%B*q(b[%"ʢbE𣏕,O0yH*Z*nq-F6s;OI2UfYn:1.06BzT*4ʭTaS۝S}~2iBGbXʟFGf.?OIRuOo7?OX-Ca1=31Qeڻf,;g@s&lBv ̶b*4 ,>%A_I/{[X+9]{_F|UYnyC6\(XOe:\iN7K2YT$FTOܾS06("n< kQrԇ cm3%~Tg[p5\B?yPt13[sowKYY&HQ3GB6Ʃ+b~?g@*1O ]F %4[#Dd+;.^q/>LhFLr+")̶_G9 ($*q&0'~4D ut'v!%`%,]هZ7J%u-l` "IH.@){WX6G.2К$*o|տ%']#u>̡CRB 3T+<3=~; ;yDrv=Jf8ХvS_WL},8}ԛZvJ(ސ dWK$~ U~e`:&BR(V"IW0d!8H/}*vA[M>Hdi UWY%O}.0ȀwwG-E Xi9xC$0hcZy96)$]h~g󓊮i%*g Rni9JKǹ^ q f/6Be;}66ɨ(֕,E\se%HpꖕUR=h5:΄e&N~ U,X' b۝Y ?ƫN5\{l:tY'%q׷6{1Hz}ֵg Rݱ5Y$r= =g"5h\)#Ydo Z8a§a]݆`Nr"WRݯ<:Ne|;ug: FeG;BEIsRvMYcY|r,4gUGi; p,%8w!7ij4h[ ;dCa 6OްE8 g_"o )b#&/0 Ίј[ͽzms=/fQ!zN C%oval K_'HZo^\U[;(Sܵۧ lb&*5ʦ غs{?Lؽ}|*;:"جdE^ j?;5%G v(ŘaSe ͥK76uM޵ɺQ`""޿-y5lx@~Ri[$~TnUtNż. "T84{ݔ5n_ hN%ᖰJyz'ToHL9+1j봌GS;,jb'VDLF @![&`>hËi<1Bꇲz.M)T@q؞Xa.o!Yf7YBGw<*TfZ'UDdC`GPx1 >, M{ekLF$Ql.ƒVԓg=n;HPTe.߮k:t!b/ L !p |} 5 /l񣯎=xZ" cr& gT#$*;хl.8>lF0YAp6gиNRF lTw~nA~&_QDM5eֳN%% fT`RLF-h >y5kxJO]$cd/qxVhQ[%=kOΜ`{YfrAY'wLS gLW=خ&MGL_ e1Kډ~E<'dy^XXCAa1]eB0!zc6>0#gr)^Zb_ƃt^.gGݚsͦ2 KrdK":Yz P4AJ"ƂH}tϡw}ʸYM S6υ5nNչ4zۭ+rYuc o?.qPåof\ vnude&h&j79ʲYp&M |Mim"% `D9i9UxhVS27s15m>x"ӀƆgO]xXW[&IIO3+soyGX.c̋lbB!AM8|¯#GD5"m{V[&G;;]f=8S0C[Ak"[%İ *XE\*aΆ>1[Ɨ0QKА'` GaGYؾnnr ɾN%'[ن#]tγٹ*…(f}r Y*U*px QR1yEp#oBs 6"n)ʣFbu8J/#P.-eAXwfU_)W "cJ_jrQEjKlGoy?vᏥ$ ,iS+~/g|ue.lyu8顲HaAڷ`5K [O53{yAf 4n$|?+4J ;A AdL:</E{hBoa@H Oq8* \u/"fCpn`P _M9W \Olɾu(4maqOӨ{*p,'"`-( YcK)׺r(R3D0y,ޙ.3.qY(a5 4@01oߺUv;S9T^Iw@'^=X5KA sMeܘew-XGVOυ'CKWtJcG,2D{:i+;ƸP h?4r 0>t/>B; 4J{L7v9iKLW.U CW1OyC.=8fr]seޡp1 CnحR;I3%`#KbV~Pk3] /rz#hȀ6AM=||'UMVQ>vb x,w+%?n* zV%o`ycs""nݿ!<m4yM^Y 'l9Xb!%-ʙJ),e֣)i{,⾚\+nBq5N)&aɮ}-@H[e{Db*376Ben911k;¾ˉCwm+\J"lkE~گsF2s],ȠR\ӕ~*R]K6 beL?`Dj0EMA /[L6sH=}8JsA|Q'GGTF^\AU+ \QM7Y: =eu貃(N=)cY[11YN w hx\<\ѪܙZl3n|NUJv̸Ƴߗ[w?DK/L5#ģ=ԩ(X/7M>^iA" ZhnDI0*Ŀz?_O=g֣'d۹e88۞w&xir髑xy~\h*7~Uѷxp*z4Eũuk(4_qiky-Zhha"0rB-8: }Dvsn 06Q:H@s8|I Ȏ%P‹=c˛_PP]b{PxCͻw |L\dG a7  D+* .xy42<=?=YV5jMהVn:GѻR[E}gd70OO۷w<.vqW';!}1qN>x̼RφK$cNvl\>}WۮPI S<[b{G N$:/dt"9{o_W+ڏx_D7N{2ߥ&:X1O|/=8y^N7>3/ t_X;쉔X &j\=R9*T}V1&FWFǂU I∳қ9}S(dtVmaLVfŮ#qvҬYp%Ϙ21*G'&P1y s3uq5vcm]47٧:AZZqb_˖A=99Ąy K@.W,:˸Mb%0Mr8qƺ6T4O(*~); <O:Ċy_נ,(3:\gX<ӱC^8l0HyX?q6dr7 \碓ئAnbs"l~Q7QzhGh}0,Q-E{t,mU}7") ȇIPq! ńlvx_Lb Ew^Y 5!+ Nb9͍I?zEr@ЦQpaw$]kœTiD1tD#yJGñĨf' uCD!% h+5;a;\@!EU-Hl0j fG Mo0Lt}vmQBi@z6{@u:k+d  {8:**S˺WW86_ZD0T 1]vEޒM0TD (?#d[y,Îx2֬A) K !8`btW&X+m~oq~'!~ Zg< },QT-aI|1"t)*V'V盻MYEi;A2F2dHnA طISAP̘iHC;1N02؂$&4MD(]ᢂSyeZMv 0Jq>$l}H a!S'yq9I-G.뷻XjܨU4!P%gNBL5U-Xoh_wj YOۨ~7?p!ъ/K4W=G+fd!b9MLj02vms&c5;FP oFθzwx?ݎ{=%&+Bdb:Ӈ^O%7Jgx ]X9ftYZn$VEbBLvE`[IJi-w2/9P< ˭+o{ZޭO*< R` סNpw3[t$p3.&UFn.p HM%vBYiXXڟev 5_b RzbE覅ཷQ )S za!Lyn4;jC6O/i0-3"S-c0&;^co9Mv \ܨ _<}Eжwӭ1 }F,/BLvNe8>8XlVGe|~w(!@tGm@eƂwv>٤VcӬ4ėאu[P(07+peZr/pS8.&MRA=RD3NCQunjy;^vdt/K(|C=w=)Rz6QϜɄ #0厡oY7D]^bˊ)ɱ8RfNoq7(*ΐ/sa7Yt+DXӒqK6E]~2O&&SP:nTn4ZჂ$nF8qMj4x[zhr>-n5s ?tSqעQXySmA.ӋQg *+B,*P脚hԆp2trcA^xiy.{_'J.1r{sSdbt{Q]4)][tnF*Q+ޞ`̎ ) sWFcH:.Gg5~4`5$Px߷&Z}҆^ǸGH?BgL5CLRvL$*jKVbİTIT `< moOƻ'h C3t.XceP{y-n񫄍!{=abQxsC ṴsY+H.` x,N S\tS)#w팑Zjf{PCl56bV4+Ky] s9%Ag?1p2 9ޅ^)eM(}p}r9 IqUenا2&s%'}vЉ.f㱳"-P !pbJK k+uQ 'g0 &;yGE5Uf㹛GYÙϡҢU1}_Dev>ډ2hWn!xs S9̿I̩| ^ nN;Al}Q,~OvY-Rl{'ppsǎYb m.SQ0w.%`;85!X)A ߔ $ة$>J5ƃF#c Al~H V(`KjnG7Ug U"CRNliQ '^[ yeN':b~QԴD@FFG[(57eFmvȴvseI>ڀ5NƑcRXuaG= +jscyߔ{>>,*KlEC6yOz&ɴp_pI_Eet{uq!/^XG>u~9 3Ggz/@t ^|Vj:n9OH|*nbF &(|MF4 a.d8M$2 #m'id@\ح,A('M(UH}`WyHN6@sRT4 P%f^ v͵^,\DŽQ9 oWIrnG(z<,U{^\=W@+QL"PD]8[iPDP +UD\ +df)_x='[145T"튱Rh)Amp 09/M(qKVWQ~|Ř/K{58d1F(wZqne+'Hr=Dl'06F4‰t'3MGOu?5rY7`t8:dQ& eO0Z?*SdIǼFiBޮy<>9ڹ$vV x+|Y F ޵}C,:e(xQ`ss~ 靓d9w;Fn:)VrD;**%\6S#Tp~Ҵ&-WEɇRy~w4#BC\q; Iƀ坃%=%O6j]ZeAY)pJ0տcp7i 7~gjJ]+[62Fꅲuؿva0 lg?gO;Hg BH/L>KT1OE^}Bs7ȧ#hF3kO9oirKSf,#Y;sQ` %8THb7*Hȃ0̔jG'n/Ƀjl\{rL#!3 J$߿xQA65@F{~'R'y'Q\ j3x5щjۙ!5ʃ]׸zGnJ>9/gw@GlvUeRhH-yu0 ߒz3ٿUJp;lBߦGlC1b'g|)gQdI%M]bgRby&@PrXޗ)//-[u>[ 6)27Y-_WԶ`S&\f w#):RU[x3$3Q"GX=wz{Ou3\{pI%_a ujܛB!VggR9Y~)؉w%IA8H }&HkC)$6P&aE:û`'V49Kw.bv1ᶸd_ dL/iTZ  >fZ,h$NpG. 4o0qvkR\NɆ6H޶ako$@N}H{^Q;^IqG}$I ݑL;2oݿ:oAyUkMݞ.v*kQ,x쉡SpVWߕN$slZ=`1(|7T&kw=@nc=4H r +5P!l O`Pl ^ҷH|"4p@h)%V5y-&qb"5! VбFH'2~ iRk6Z;u_)(:_@p̌_bm^yTy?|` MEV!:}ђ ދк9 %.Ց#M-Hnu )Iu3fY f| QrGD(O] UNT^hnnEO҅xͱieOb$SF0b`՛|X@yy+R'mN =)נ]X DF'DhZ{\.5f`bfCe.PZ"^QJ͢==sHAB :tsk8E.,VM0x*뢆ė@;e;p=8)pNEٷEUv_+ZG3׀u#SQ[ *fio9ZW 7E{\i 0,[2\ Vq:/P;ȾzlЍNY8@Id'/Е C{$A)fS™Ꙏ3.x~Hu({T60G t_? BreF|)'soղT-,,ӠߚaȸoǬ 3nl&@&RSxP\i2HSQC7dm!\A9{ﺰt\|6sPD"7u]s0n6d6\"nANjӳ.wnYu)ۤ/0G@p<܀ !k%b§ d́$B{ЭoCGa%j6Gbn6[ZY%]!%{_&]W3b=r &Jaz|>/oUܪ3#C{ەaG鑘J@[]#gr&G21W~ nƝOZ"e4L{-Bn{yIWN1c*x~fL0xX0cu_O6_ =ۺ|@%{~3>O-LcFK~\\@rWQ@ʗwY9JeoɺD@R^=*G7Գt"/<Na`(%8* T/X ]ћ goezf( NV]ȣ=֡)%vzXϵd*psه|77aN.&Rj/>W3{)Ȗ+)kmvLB[/]}w7S庩s1 O`bM9Cu*&kسR¾T*` (/yَ}ePgV/K_OꌾU&dh/C;V؋ȡv~a?$:1jIk2Xw5hB?ƒM+Ĭ U)R^K 鱎 Hh^>Jq>q7DP,ɵMK.AT@-ҭX)סud)MT$l.| V{*j9(늪U ۗ~#J:1K;F4BREtު|;мPY2E3^ 2|1BSQn!6^䎗W,(4%IVw ʹI(Fs}GZԅ̃|lR6PHvg?a/*2mC ׷&3lw6S TZhVb'SRѺQpfp+%Nˮ N~ &Wnbd[ٗMY jhp2ڌj`:'<s0"U9|W'#QQqC!t7lp28k !rncӺhKhVnPCwֱazd|׶oHtnmñAtUҕw{seƅro) Z{M$~#ꠅ3Y V<LDme7T-{2+PII^R!J$|~Ѧ1_tT3l+=Y}0Te˟W=8 >g;n$Jr¥_M@yqr ێ3Ŝ>WS$J Mq\o_ :z#:oG͕QѓE Z{Ƭt<gsdxYW9ʈ;֯ki0x`Q!ˎrP["J{PAm|rpl-V灓K JNλ6Jm`p}E^H)cOM iWelB^\q?oP-)ɋF\_^V[ ."4~i#e)\tlb ?BI,6];+ևo6R`ڔ[ɴʍ1`G l n.X5֨xbHf"9+3mB )$^[AkĤвvj?n!#e `4Z RoUS/3r!9M̤2j6 fO[ *TtZUJ,FZP̈~B%6mki>vN18-q!\ҵZ POeh|qH#;!)$?{ܪgo+buA:Nykm }XH?z80#ŔA1 l>e_VQ>$1\>`}if7]$pguR]$Y5"4SFEjߘlKH͏t/lӃ9jn5bY c{$I]0%Y._!rP;F#G޺;UxhgHVǞszS&8]tIFN*s.B4紃7*fsq{ 8FYD"Did%; \Q&}.Mmև8~!Z86*#o Śղy_ơ=9{Y$tjھv4e'~HYɦiݜ=sK_׭vEC0N^5DcUx[V'#]tB5anL撉l&!ffX!A9_BOlJpCk<:"ϋ?DE3`Lv^?P.M(T1(pk{>#u{3N:*:XIGIS7cEWtQeJ|*ֲ?T^.ʄ`l? ']EYǨlڡ%Rq j:`>>ybK Zv17_l80FI=#{zxWշ#p.}~W$2vFW3u)}v?{DOլqFJ7h p@g$h~ϭr}%{c ^YPo{FiP#5}'HyCWe(+H*s*'Y#-[2@ouÅ~0kta餞 W7g3)!8FcZ'~fKn+~'3w>u[}W۪zQ ۤPcRK䯴8oxe.WW ;aD2_øYbYGKFRZZ9 0ӼOy-F&(̔W)2Y0+&ʡ3Ě'8rX%yAYj׍3 ̶E)\odf #ʯ5maZ:Iq4w8$2b;u+)# ֎$Wyf;զqXIUPTx;CPyhJr ;Pd`:J*C8†j,y؛-JHBsQG ST')8;㓛faO TL]n6p,1e$Sw!,Ƹ᣾QO$~yYP/s"P`ppuV:veKNWN]ʯ,L/ Q}1:k,) b.tD.$obwb7o7R{RN}e!1rd:NZuVD1~w HnX*C qis}Yۇ\xI \zRUJ$lE4  WQY~OOr}Yޑ.e:??1M r sBϬLXtDʄ2X  `UMĬU`}^tQTkg%D$%d$7Fղ^LDPP6XpiFzŐÉF^:x2:0K9Cm[[7j:~2J}BkBq[5rEhVx*?^ęyteWҜtW*bQv:x*y 2$198kiD7Q)!BTC?@ZioG Ͼ`XyY2`ҌrÓ^O;ÌS(3Q 6kn&⬽I7Ih!]KFZ&!Өvu|k7ZJy,~RaMkPAr_BSSwQf1F%?i)>erͻ0>[i-iV:L:Aq7*ˈD^kդdءf(d"&Ыc0!ވ9mZۙɩ&{$˱ Gf8U@ahǃONjy_2@WQmx/DVF~"eTUc-p_~6R5\NLeOծ{\WܚyIK(׸G+"2Rk K8j^KjPQ+x! &<#̝թt+˪@pPRZ(l8EIT_5;#i 76ZgHbt=mWS`L 8q2p3fHqmz)L^'?o8#B9&%[?轢6#<є23 mY m4 =!!p_I>悂u9ꂊčA($eH{U.A-MwP}S.d()qM d8>4t6㈙Ez ß+]Kt]P:ʫ7y Ȧ q? K앻õ#.rMI:0OvOUQ^)y`(AvL@p]Wjo]qB#~= g/XN]Uc1ﭮ@fz )ƃtm\O(PqW<8Ri/ y'WOcKjYx3&W ӏ >kp>v7+'ޒ}㞤0 ˒Yd5ɫ(<` ;[% Ƞ}S :paT4h!{A\] Q6RwyZ 3e(SK" (;e KZ?rSG CctB r[, u[ w>d/T$ٰj[n]QZ^ƯI[eV1& +`͚fH,^i2%yW*)nڗTR9\p b/$= nE ,x?Mўl2@ B{fU.߁EpTV\Ѳ3c.TtiQvZ#%q8#:[%Vse_ vn>ݭ )B8(0\wus/e5*zc 0>f\%mMST/RxW_&2WTu @/Bf7ت| sYREѨO] 9.֟rN:0G^:%۬"ȫDPfw1M#&3ߍg=Wniٞծ^2saXZ{Pa}$gz bW.3lw402O&5j~թ]*jzDŽAXx8s\lp pK>-@JAF*£CN?-Z0_ I㣋 l')s0dxIĕ"tuznx}gA\{#}0d}[\n=G!FՒ Ʒogq"Xu;,7F-݀7%wɅuu{R dk%'81hxa ?zUl51QH-9-n4 I4h /+xC (XV@߅j{۫. {W,u#b&&5^H1 <(BeĖzt@s@mqg猄P3 GK?)'041"qLu9 d%#XaPLMAF_LSuʩU3IB:OvmttB߄ug+xhsݼ}o/;2@,к)%FPX3T|2=/t4*v]Pps b۸9$?%-tpY_3=Tkn 6b죿-7 rBprDP5X,])Wfg7)B:ԤzrX`oB6z#(rL~^;#r"ɺ'H`S l̳HT )8BgAۚJ$f#a!4/PGzzbֲ-+//`uE̟aJt 7./.&Kg%KDzؾ gCAb̾'qU'>o^Pdߞ1ld2R# jDTB }d,_?rz%f {Y kJ}5z> ( 0G"=ГX=UOU_ VEsshА?\w\ҋP]%(EQ"Y 1uNi@1)ԡ͈uhG[4FU!O鑷ɉ_MuDp\"&DR#[G¤BЀe Pf)mz*Yp m99>ص*"OOruЖ) +χToOzSm+kGEms?}(/vtl^X_ȱZ7TZD]nn> RgNWΏNxx*)=41i|!` ޮ1>v(6a +w'/^0_}&))mkf52TW, A+m54{EHYI;ۣ W:ZP3?IrjX .A ^³ZWfFo~zc,fu`8H7T4D UG.6>FÎ11Y^A 9ǬA 6UOpls<-s[Bm3ίZMx&Kཪ o,אW)Ud@s\-{(+p[&R>4 ;`] Y.lƔqo,NQ5L_B{ʮ.Uy8Ͱv*^MlZl >Bg[9{w"#;^_魗`G>I>^8OT&\DV nm.9S&g5Y9Rݶ F@5' !'fP}*M{'p[ޙ܊+q;A k@ZrBݟύeFPxg*$S&gJ&\蘔^LL*%&*/22I-| )ؑ xD_=S"-iՖ!NQVɻHM=le07U*^cdq#|EPK+dhoҋ+OB dr;؀0:mAnz'kbQ7S0׭2h-_w cuG dzKq\7LyS 2qR@AX1.hvdx̮pԮr7VNXE^Y'@ ZV{ъ"̵L=31pYmP msEf *H$H1`B~ H^Sm׺-4}fT  m0>1"w?Qp* {JV!(I T%i6#&D4rg~)&(,Am-R`m)}$=ܷ>%b\PXϼ ݁OEm6DѮ掟 n$u8x,fkT%Ț ڄI<$=wAM"r<5z'E֘c`"Jх여J(8c*ſGo3EٗvHB~*1%y 4zӧKkh٠V`/Ęku6(+chzТ5 $~B{.ŢzQ׍,Bbp頀Mߋu3K7RHFݰ+( X$NOϟ9E!m}֕ڏxIFg:[4 E.ht=IfL"F> TK@-עY.;zmEcd !iiOsVHn1|G(zGi̡ ?I#MeZ!o93.9Ɠw5Űl?BSLk&9AF; ̜ _o)`fn}Cb$MA9z;Jʚxj4Sdrlګ{vbx&XWU˫xՃ3'Rs%rF ̳5-l2\M'~6''PA%D,0)whB&S(!V# uEأ@6"/(~>{hqJY@*n-YʸO;4lZ2k]_8 V5SAK/ٶ3vp7<%5R{SyrmEһ2sb]nq5cwUU@PJ`YZ-XosFZQHۿL?I%1t9XQb֛T{4>(վ==\j}43C0I!shC{2%0A6pj8h[hHonzꤧq޼FCT*Šu@Cg,gV#T#5L4|t˧Pl-}Ă"O4M+Fz|34y9YENRYƴWM>~,d]jm]Ųsnwdv<3j -q[ u&"jF(Ʀ.y\N!D9 2uh铊w#=ޒVy|Z!5uazT3Js nu՘j YuSU8p M\Z{$?y0|'PZZqXfw{  NV CCkƁUϹH3f6m@=M2>۩"K>!ŀuV 3KIM10v^Rg;@ ֞d$l([C;K* <~0rRyƹaCX^P|>^gPyFݓm"!fFvf'MKϾ,(B}VaPA:j%#l7qzӿi爺qo^ k 511n ^F10p&Y,Fpid$x0+&.*|x`8\s햹Qgާ􂫑J%װyz/|SqV3ܟ=@,[0U%{w7x oA-?( JJܖ©|nW.!ܘ_F{=2:K QΧ/h;d[SqFE6r]mקY U52 ܓ˟_Wſe~ekSdV޴K<-:څ^B)7AhWN 톬zm"Kgމx j!q:}Ø{Rf;!6]oK%9JiLV~ۙXpz%}~I9 tvd+:۱5g7dl)s2H` 6W3YN=16>Mt%>:H/(?vP?Kg͇Zq7U@ ')8oC(G#ĝWqۊxVlO0;g{9!`Ɗ~$vXasڡM1{ 4}CpU[b;F^~ɜ#5( 7'W K8+Ѽh Oɏ f" Љ-95 {KEU7ա}TAo%1=ll懖|b0+_ X,u8?9~-n0䑖U;f^r12"a9ʖ{QMLPT6)r]Ǭ-!YAYf4M=wSeQ/l".-7~m!kN{-1PDwzY_Ӓ>KҒ}k.'=<50_Qwa?B 2}Hw;9􇝍GEc81X6&q/=FZ>hZr2DmE=K]NM^ju/UH~}uj\flJ`.%~9f-l[FWA" |! _Ź@n!K5&+9GFghhyG0jPnಽ?fB0P-ǃEwƐk}ŻHC׳c!RX5Vysje}ظYߔv"{FN!(Ǻ_NMĊ024KX+=D)v;f$CF:zmE\+]ZA퍱u_ #M ~Qݬ QZiW`$QX imlRe~5QbMo$߄R|%+W oj YZ