z3-4.4.0-1.fc22$>H~JGHW,B>9 ? d   >  )HNTd l t  H L\p(8 90: GHIXY\]^bHd e !f $l &t <u Lv \w `x py  Cz34.4.01.fc22Satisfiability Modulo Theories (SMT) solverZ3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.UgKjbuildhw-05.phx2.fedoraproject.orgTFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/Z3Prover/z3linuxi686nA큤UgKVUgK^U@nU@ndc8324966e8903ce1a2caa57834fa40b5dcd3ed5977e5309f43ddebfabacefb4273ffff37bfb85cec8a233ef9e06b804148d9fb9363182c1674ae3591632be9953c7935477e9cde98aa10f959f812a98eef0a286e5f3794d65ec875fb79e7572rootrootrootrootrootrootrootrootz3-4.4.0-1.fc22.src.rpmz3z3(x86-32)@@@@@@@@@@@@@@@@    @libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.17)libc.so.6(GLIBC_2.4)libgcc_s.so.1libgcc_s.so.1(GCC_3.0)libgomp.so.1libgomp.so.1(GOMP_1.0)libpthread.so.0libpthread.so.0(GLIBC_2.0)libstdc++.so.6libstdc++.so.6(CXXABI_1.3)libstdc++.so.6(GLIBCXX_3.4)libstdc++.so.6(GLIBCXX_3.4.9)libz3.so.0rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)rtld(GNU_HASH)z3-libs(x86-32)3.0.4-14.6.0-14.0-15.2-14.4.0-1.fc224.12.0.1UeU7@U:UJerry James - 4.4.0-1Jerry James - 4.3.2-3.20150329git.29606b5Jerry James - 4.3.2-2.20150329git.29606b5Jerry James - 4.3.2-1.20150327git.ac21ffe- New upstream version- Fix issues found on review (bz 1206826)- Update to latest git HEAD - Include examples in -doc- Initial RPM4.4.0-1.fc224.4.0-1.fc22z3z3READMERELEASE_NOTES/usr/bin//usr/share/doc//usr/share/doc/z3/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 2.6.32, BuildID[sha1]=6de895c1bba95a6142ae5b3ccfb7b4c7739e061b, strippeddirectoryASCII textUTF-8 Unicode text, with very long linesRRRRRR RRR R RR RRR RR?p7zXZ !PH6, w]"k%I&A:ke7 .k )A~cjXHу$̨"%B<~ǸLHίp@=m'E+gvPYd@o$z*Od18ߙfS!a] -b(-jjS@1V%"k1>幛L3cTTTkLk|#{L5ROie;JcqKpegөaa^B`Z!Ūa hnd=^Vwx_c-f-j$> [Djq5W`Tu4P#y̞?HԘ :c!-F _)NJup W7˜OpkO/j.H8zUjӺz#d>5w̷47fK\Z2/ 5'F5-5q_dLmyKӱnWȖDoМqLċMR!(ZnvN eQՈy80K*y׺YȒ:[YhY|\4S8l|=;:F@-\ F;DŽ{*d33ci{k>.2& = S.x\);+!ZaI^ %#5 q1:kc.f L=y@ 텏g~~,` Q ߼dhd3,q#88 5xϑJo˘}s )!c&UkKVoNhr C`L ;wb-AFOWK|%};GE'| 8Ko,￸`3rӑE0ta:ms<~Uc.(hH.~ԧ6 i}?>QAwDtQ2c+3j"@H:)vk5_ш&#a=wȬ$ɀzfE[zCxephAŚd\<Ƀ% e 25"H#HD0@ԥ ӺgMH&,l4ثv][y6R4iaT2b@l6`F_8r0޹=o`=,pE)sHu#<)4jB5w'GZ+7;*%<4$x<ޜYŧ]%klҪ5,l=5#QrV(ls/SqXA*`_p+GO!I|dseB|ZpCVr-3x::ܨJ4;%ڽgJ>̼>(Ahi.ElG{9 nWk9`ʨꬉ{xi ͨI2eBݏP~OXd\Fíw#Ħt6e\ժ3{uJ>5LjgGG{ϮJD$dJ[ QEux?11#{𥇁<$*|i,NAP7Ԋ<ۃޗ}37НRF8Emw(K6&;֣␦-fL >mOnDJEwu*zam$MzC:6՞TYwח=ox fCU;b(e%R 0Q[NfO\z`f?.,Dy)U>OsxFjCi0x/E 5!&}X@X(T"t?Ed{ N ]):EǰfT*d .yN64$s iiN>)RK E -1`ЉO.%ˏBBXP)С4n987G͑S!ⵯB24ah:R6 d~+ZAD\XZ ] JtC[1]D[Jzi l=&|P _{D/Wg՞ܻp2nr_b',j[DP fYw]m^xD,)-rRACK[Gcց.Erdd0mnZ C20c{I#̈2aȬ=UM8y|ᬞVVFߔMZĺCRAKi#K;ǖ YQ!᣷=0xI p@i?3X=)6PdQk_*PT^ ः~k,"aj;bڅd~ynbWz~<]Qz,`#t]x=hDžVSB޸CS E A, rӍyǴڊj_0u-98o`'6, Z"<`6*8n\2i?d¡! ல4 q.= y/]JW"7AWs#xŘ>dE8_&8 o2<7GUTpҲKUQ՞8aGlοZM" :.UFQr-c[^qgV>N1ճ|G<D I^#[b>1B2 DEepIZyD>7+tKC_=qŊ'@tʎ&]|@VV"b冰cKiލRk6R0dVUGnlJKvZ utaZh w` -힜?'n&[W8Ofɞn7wMq *0ks^ЯRĻ>`A\[:a!KH0^,dK۫b5LҎ:FQUph0t=8-M,dZ AS*Td Cb_a{` !vA0?'}8/K.!vCHЯЮF~QOǭn39PqT լɃ"yv5UGuB>Gu3!7@%/9ۂV89nhIM\jZ1[/ajw=f© MlwW .Xv!xsyaDQߔzn<<8^/^ 3!u@]'iCd_-öoby)&W~ӆ8:֠eq7Ar^=﫫'FPSUq|a*ᦲXvBƤv(Y_wL{gKRjX51pwbȧu7`nmư;$(ͿKr` -GI_C,E_D\?t҆l]"TQny]JaaAݛ, *xۚDY"Ҹ5D)@:@G*<$ruTu[l S1Iw6{޵2?FJKIh+w}m0$TP >c8y3Dw,W{:JVB2N|K}z1I O_G`CId)܃9$zPf,%Ħ#u%Q}MƟki@NJM%vzbQF ?wɺwbe>"U w>+ x7S?S1$~. `$D(OoUVFqs ɣ\a;j_8ktu.ǠVfb8$teF:RU:b?n 1{7"DdF}8!^TudJ8ͪS+rnsT1/#[\E]0z!8j6e/p&|GAUNItOYXԀ^c~*DZ5rHngBwGl?.Z|G (RAߋtzĪz^m,6-+Mx}LU |~VWXL1m3?# 95lN@:0&(\D pQsG s,9^Fޠl^*ߐR 6  tgkDB9NrEKx0Et{lKrpM?06؞ ,Qn6#Kɔ&ZNFnE%GSuwNA9U#:gȯ<'phڜs*wV/h_uӉ~Otvv6@6?}YB6 B~b_jҭ>+**o??3"[].;@; k-6= Zrc:{_=jl '6|Q6d!DIԸOcJZQf-9=FMẀ%O{tRc8S5xX>{T,mRLd~d;^fȆ*uj43@3~ Nj+ fMTէj+x㇚4p/΢PW@)Y^P{r Cц#X.LrUJZЍdhn9j^U0!|[6t|0+\=Qk=x>d ^ RQwa @I ?]Bp:3As?1_x02/x}Ƭ? ߝ$] > [>Jf|LH&bce%MH z$bqLi+' f u?J|:$#8wrCfFj!7kf("Iu!8w ˯|p(]#gWLe'E$rvFGIi;(dX=I#ݖqX[_e1M <gq` Ct+4%c+i;_[|}" Wat֤0 %3Mp+$S4st!D FVU]C'N-YгA)2hzq4MZ_zEr>x]tY~ O-lOJ}9=0C"j!d l9D(z"|xx_+ rVXQFͽ*J-R׬LaO㽛dBHG!ZyX`+Wƾq +J4[|ZBYDe"{8K9Bfo!w)XcƩ5NQ2<Ճ= :LЏak[_,a`iP,w1eJ! $mE9-lp%>КbjžGkظ]FDo62 ,[_K隵`0R / yi.=]&^'cV糂/6NE($hx"p2VnO3.kh4y[QeLxZ)E8َMDde.;<pvb:恐ԭKnW/UVKrtnSZFѻ͗<{)Rt$Qn?;{ܾ+cGN1J S)ݐL\E;%E/9rWsg@)ŋg[ B>'=Lt$_bUJʯAS˻<uv2rY %3ռcTdƄ'=\UYfO; 3v"}t8 !..ɴs_'dt#;UHpɕ.-2;_ԌKML ;s@˳H3Zw1x<2)pS-لoLn_iuoߥ<@kRGK3N3n;Tp״_kFD$dk98 Ԗ0:BWz}8:hiKUz&l8fz)"iۘ.ݧ6k aNR sȺgag;X]bV|ڿ!5ǢW 32w q'w&}ǃ[/ݍ{ydq׌=J} (v;rAGߔQPgB/6bY=ʈ/A qӡuL ug.9wr19AnUH%[XWq,j/?Pk 3b>Fo3`ʋdK [oGRs|HHMLƫ{3"֔rӼa{Bqϐ3&jlq9(+QK/)(K\M# 1v`|!մb8܉UhLnT 이֬w?:1`QaβrD0\ b#2~ެߕ/ULQWsG1FXgaxAF#fű(d|KsgMU=ꗺ6'xS~-2rFe@ƀABDK.mn 5&=!/?O RROG"p67u#^=L`P(Mxwls\5`;@3X}gģ'/FzKe]b_~ozU'SUVTɛeD"I xt|`@a5J=24"oamgYcUʞƖvڌϖ3-C |-1J>mx,OJ =|p d~KEx9nP [Py*V/"x8 nt5YL6.b\^ ,Kd8>IRqm 7 MHpA6|:v l2ԗ`'UScELl>:N&GMN$Obwgo,L&@U-J9{hλ$>EڗyNBAH."& %ozaXJ] c6{1Y5 kd~oyrjd 4zdrf&s៤nňPBEd0ۛEtQNM[R*:,?8u@M-`~[M>.%!EPE^]c_ăKUt{98a @ o5H4kz ’bgA+ڜQJq,Mo&ҽĊ)ƉӒMXdMO8Ȏ1`¬]dQ ahX}:Vv=q_bO~aGYMBٳM5AnqCU=!5o֮=U@ )0NIzA9{TG#:H{Ӷȋ5U.#tqp#'-Vr,>m[EŞuGQkR3&au[]֞ft܁Čr/WWEZGm6S*w#M̆D;XڒT޿,ʀt״ \MsĪ iên<D/T)` 8r,\Ӟa=TQZ^*.\5/@9:hȻbg9y'0"%* 0eXГ1\<a(:}W'+P)#ң~:OЎxOjyy񒺿jjU1K@- !KgG{%͓äp͓)8M),/C!{E.6{RiMT0䠤# 7j5;CsWϔs`Q##LUר .LR%=1-?"j)u@'3Dw;ӋIQ&=^wyr|%o diap ;ysʁ@UN1ju՛¯3vJ 7;g0(mhl3vkktCPhMe5X<"u&GOkQz.9nQ)щH͂>O*̏eSD2_sۣ{/<}2X84C_Ç5Hn"_%LJi#=Efր7iZdXl$h hю/5v xX`B#|}tC 3Kr["g{Mš{~{4{"b "{i/ta9*s][@b^!( T[r)륏E;(J ̝vRԝ] tEmvCpׇs{,lRXg\yF8Mp'A⩩3|GT<Ɯ Gp/ aXƚkۙqRd *"0w.}cx$\;[ƒxcg3rv=HB=x1[qP$LYv nUGB}0K!a@WiZ-AeS\^_9_7L >877ڬ{AbfJJ>vHpf260Fiu(?Z4*SpѦ8 '/NXCsU}ۭf<,qB:‘n; TrIqkvos4+EQqh{P48xn4*mmYҨ\.x9k({D%VyX!`ؖ8(#RhV@@V8_zE{UycOR4CVD7W?4lR8ޚ8dleI0j:įMo`T?O5U[X]7gK!/zBcIB(p uۦG9^~Al U,3%}oʞI,[$B:m\Zn}Dl > 5Yo=&&iOEYs}A],f9!<{9E({tDTPL' 8 )g[NfEjur6Ж<#Ň qlnJNN^*rO:1٘Q'Y[1!U IzbKX`9DBYd2Rk% 󱕇_1 X @"Y|쒮 c! 3t]p9 bi뒂l4S}P7W䅚KZ;ºYȡ07G o' \y7?࣌]lxM?`dhwٻBEo'cI=|5Ec|ԤUeFA,Rf4žtں~&==4Iף(aBfB\TGvR˹6Tn}`X Gg2zܪԽky|!3QmNYg:ֶ୸F?Zd kjaX`'2YW}r:FǬ̶Yٰe?B&Уa6!&q̳f&2$'Еj?o,J-+:7du+ȸ#:&u#MKKpLHņSٿ,S;ej}Y*# HnhD:睵]wcM>_U ;$6#q_\&yYRsX%MRѫNFa%txD a>tjKX]ȼs&,4Bj:K+/N >AS0v;=SwW˳hA ʼn_ 1xkA0qqxq5\ƑBy4'@ ɖ=.78EM=k:~@Ul݌Q'@6׉v#g=0KNcoO +uK"L2$.| U[Qaɺԫ]Jo^S" v  9$fX`_& EF*jEyaE jD"CB@`̀cv\w'NBVҽU(m>7AY0 %“ ŋIb݌ϮiqDfkJ5og 2.h7|U#E5t2XqĖ$Rmāny(x:Uzȷ)0Uh/p p9yx&vtthCjZ C_vɶm՛%.dIwC:4@˜/(W(B葱X/Zڕ" V4KrSR<1^*y&k fDlD\^ Uqq}O y#XY9҂Qڣ}\@8Rosj@r7Gw Y>JQ<%/6x1mt4d&yPJX&,Jey cc;$ؕv `d5Gt, C dVzN-wt2 k.fGgr:8=>O_j(#ؕWZo!b8lhֽTϡ/mnOu'/NmAvw3t[Aɻiwg 8.?WJpY(zGN :_Vզ1^S"A=·U6bw_EKZywػߒfihҤo(*!N[>JvɿT-kNZE]I} t0feY@Na貿ηh]p|2}[!OD)]䀿d+F E(qڔe·ΈhrMM|YW:g37ά!=8ˆpl>\Nx?A8Ts?-I SzoQ!4JlyߩG$_AM{v/gΕgy.٪fXT6`gۓVΒ+4X%:!1B(9w1 Bnгjqa;Y4RHYJ#.ΛYYşIוclk$2de?-ssJynL2̈dE 8NznzA^;T.p1 (J+x,7=߹ѐ#GSf\#0m`VsŇ}љ_-Yo ϧcU34֓< +$156٣mBu\DdLPOYQ?l X5~p)*Na$ Ke7D!;46~r>yJSŸmJ_\ˑDRFd09n` N?t 9lVݽ vXýd:O{=}zFϷ f9f )qs85. 7`d1 :UsB^hUUS4l1]y5 X'GvфxHF}1\Ta\kb(r= rI~W{J%;zX{x%JXy]R$-U%@51fn-@?gspQi;F q܄۷DUM {jĕZpR9j%_2ln|%ܐ`Sb;HȴuL1e@94fedrhEe#k̬b%͜K񥃛&.[?NͣM~}7IEb5 QR?:xUMp-IFQ_#vLsBl'ʍ%/M})~S^nY8eq1+t$~=Y{)!>)i}`!e+]= ə/,Kv .ݢt&J0 q~\1Wowx)R?`݉1b QbœVK+uS v?Sb%vA/V3EIhiÒヲ؞Szb,`{wx='^DߐWq(S0ۖiK) ޼A K M,|w'խaN\/ܾ͐!v,gFJԸ s-{ /78=«-JsC"OO-l>ò墪1Fi8pL_4sSWምqS¸i+ 0o) hlLy'v7O X NHx1Kc>!Y\٦Ql K)>w3Qh]ů-]*l@'[MP*85⊷JaM)Z&&go,+6S+3jc]^ -@%3b(Kw+{ͧTPܛp7vk9?E]U㩤Ly)O颁b~Ω`Sfۮ\ auzh9rǶP|FWX%E4DhZ1U0p/DUG4)V #Yj)ó𤣡J\b[: MERZN4#:T&K֐&vC@͢].z"y7 s>)i ·ń-xF_:x-\3yJ|,d@iz_KY ~c`jR"VKZrN%NXFwT\E}Fjya!2 k16ū {㊥=}h,VEt1s\p4aS':S7*5ރ؆ eJ7G?pٱe-R췳41,)v"qd+VfPoi"aA7XI b=xԬRk M0ͤI&:BӍ|B)#WWVߨ'iTWQ\o v2_6 ]ےbwl܀1bP?':L JЏS؄uαw2Qn%{$G8 ]%ln4~^aFf@?T|4Id0`ј?1G VV!jsU|KC.>YuU=\,bgfA U$TД⾚S `)g|,bu͛ wؚ@aN-/s9H`,jU@h.zV؂-Ki[z|#?_  ch&鸚SJ~L* |`㦛wwtQWMW1Љn;H20\~:b&` X$Efdam,-x I'!+^^q*6ʸ=yJqæg\h4{KzZW3j2_-c|>ٛ?٤`E^f;Ĕ-wBCף|SSM"F0}3M{Yb2y9ua0l5. 2^4 *\whh;щ3ZGڶBf(joW+$E;n8"WSrstu^νx3?QwPlqEM ټ *Tضإ6lJ߮pD^S.7:<<@!P2gNT>w Q  jzpE~t)`BMJo|tH7jP"W١bN霶x˟='̨mNfNr_Z M8G$8ݼT m.i 8\mjaZ:=R3&; >D?Ŕ/+bAX}m]5.+o.z);L1Rdl& oP`V2 $W[Mfu|.RjCaXJF~Pۘ ȹFC'E@/Pc3=MdY{5B񥾍+v|*U RX5@ t GQ䂌#W &_.)}8pjt]2'=Tϟ۰äA 5j ȾhĹk`z' Õ־ayS M0KT?* x33 @N%%\2#8a'S۫jЀ55$x4oΌ 3N~ OKpI3,u:5RnA:XW_l6O F HV̏.Mt99[~}Sׅ#˛N2#U!bбZIj+nj>!D+g2O0֬rq`+: X|/ 7{zH< gn3М}?Pc SnBbzuioX n,43e6ũ,wm5¹JXSy0tr3[f(FND=0HM@ȫP)*Jx0::Z{1>X8tS`⤍[&*_.\Q eH#:P:Mа?u! :ssΓG 0GVMu,nz^Q1.N=MqOgN&&m5.㔋'QϢQ(Pp5"L~8?+ޮNil(*wtWrצsm=J{ C,jImM۸M}{oޥqoj̖,܉f4#q3PY6߾Z @/UgF H'7;n%`58b'? ץkۺ9E ϑ"h OvC>5FRnl"L7F0~DUw;lXHm~eI`.l{ha1;~͉bSJ.ʑ.'x}K^Q̨֡R E Μ` b w!=ҮEܖdd![n43=ӲpuNjBGg񈮇mc^YAW@=VYq*9Cbgt#6d@E:!@$(pDR2S:*8VW4=%D^4&W I)X}Q v ;2yޮNąvpUs_7~d@j]J"Vkk߈{cV7e i(.<{Zrԑ1d7WJƍf/1jwnM (C a:ʭK~Qq5h'[+P5\Nz ,!>T35˱M:ӘhB~NRGT)%^feܮStwq]?ZF&BJ3Wˡ8LKu" /!3訁F#k mYw5gE˖uMCY/Xzu sմ39Q++^ Zv&ƜV8-K`Wp?#CZAǔ깬?t ,8P/+%yPcΊbD{[H)ҙ 86s!!-*UEٯ!Pyl9FgW+pXђÉz+jK;w:"[>+\3_GIO+;s`&;!КVVq0 ^8/^d}hoєrf X>T2Ys͵ݻ7α%D0W*\8)(U5H ;O%M\BD,,@6[mUҡq1:<ʘB_JVC<{5|T4}ZQ TL0#qD!7uݏjEo6IxYx>[Fai#-t&K?Nݺ/MU^eZaL;&1v>w,@XRJUKD]GJ52\5n)X`KE2@ZHG&& ЫQ@p[&:cQOˢu\nC2Ư.3J" ]:^zp]H.-qpÊT{mHKPz`"=J==v>.ݥ<r+}Ԁ5RWChV#qƊt>$LbKJ^aI&L,H?9 g]*eq)Ryjz<ix/ȧ*;l qBJܵDȫcSu"hbpX?a H9ˊM]v)\&a -o<~z"%~W8=`\ 0飏cmuhEYu ;ɏ=)wQ_oNgHބcy_+B0Brn_ z8!\dqXg sp5~{֮F}_ 6e|'2N)xK%7`q!?BOp3d:?ՌhK=DpNت:O6"H8@gK&g22J"/؇_bQSqGS3fաff#*Tчb'>P vʗꂶG?AknVB\9v&OwF^ֹ]?/U:j#hQ~+>׷gy:swest*1+dUoSZ g%V׮C]E1ܱ!Hy@:j} U1[ʭbHLتV׆HBtS" ;zDaf-G%bx˽ݥo:x۠&=L@Vqy~ؗ J`]B $iiMk( (NlJhSg?XS?4Drgl[#5[IC/v==+U)zmXy0hS *}X@y-edb8rD$U$g^,ƁW~HNsr[q a9 'v4U f`!2Ux3 U9!{S,I9*k};kiY`ra=VL+^ <ӆ1~6J'oNF(D]PŭI-;aॕaPTw|6ڡ;1 0o8-j4BYVgmb>+o_BXgڭ1&A#`B Kl5񤂆 .NY]hnTЊ2 b,G 4|f McK)gWtJGrA,G1}c>qo`EցV# 3_*[ϗq!t_bhV[zg%| 4Zոj unDR2)jSv PIZQ2tL*։4|x寋} ƈb+\JIsA+m%LgjMzJ0LmD[dd O,q?g |*G7m;!<ٗśn9HC-\l(A?[]cKGaK'`jO{4#ጡ/\ԃ+SGi }mj ^%]QN&w_C(0N^b$l#`([5%m1A/7$ZxؗC~Y>_sW%+{SB0dzBmXg 5o:2 Tix XsvM"ujSK7@2<@b>p'D|/4at#AӁƍ4zځ2mqȞa2ؗ@Ș7AY n!Ϊ|!8L~T󞹮G--,|>˃f>c++R}d_c'񩰸ėu-Ve#0НiamJ ^]8C\}2EhJ. ]%v.Z=J3{.#1@..SGM'kzP-\x"TTEc 9~r1O@6ی즽aۧhFf?1J\Tisk}864:F]G:gہ[pc$,ՌjtT'?P MLD8 *J>-L W`: W;HY{r~"M 5[Cǎ"fmFǑ`P A? *c3wyR*\ˑͪHG\RZżˁ $y֒ Њdj*)n;Q4GKԽjhtr7DK{.sL!`o:=S{x .52l'`嘦;bT7n]-A i\[焄9+(FpEOq$P" LTzj6ynGgna7k 7!>?d soďdQb]Ȓ(ޗlT|gYЋ En@|:9wcfm:ErVv8 }ٍ ĜuQV5b)M23ںO)V Ɇ@+ gRОNl C Bh8޸?eto2R袸'Fy aFwk?QLQ,5)F8 ADM4e8kzɦE#G_wMU=~A@QIj 䞕gӵ5٬o|uCdJLҹorbR 0P䢡gM 2 Xdzm>xv7p 8P`U%,Xԁ2= @gn%~5x ŋDÇ 1)n"6Ĭ|jj)}tY˘Oބ!0oU@Ѭ]t{Pe=er tZ]#ιP#L7B2ԙ|XI7/WGuDhrj - Mn1_&Y$D3a,yߏl%q2}q VI.o5Ei0q9Bvo^:'/޾{U8}_H`/pgSy4+L-MSvcEI'T͸PQ6m(8X-=sV n(ӸK$q'NKma$[1UA v@|tM𒦏Q+,W3k2uiMzU'7C*XfwI.>"(B9T쯓3IT^&3u}D:|F&83aO[?k!o }v ~SK (/FX#:yʜ">#x~>I!~Sq(tݕ/.Rbp5hP$،8N#9eWuv.NƊNWd#M\#eƍNE3B1~(F*"ċt_iC{ל&hu!{\!)|v* ;Q8PV*ӆ9L^R|*CyhYq[b5zvk45ٿJdpbmR!Vf"'uE58n*Xئ'_`l.w`%}-jC`3 Ν/Hm>>49A7cتkPIf~iC2~Z-;‹ [xNh?TW#oTュou/cF{8:4ݻi#?|c>6™ * It"&Ge ?d7zuk=Dt$k((qJJ<.75R_^tUNK_zlz]ZXc67aDeւ\B 79ˢҰN42` !M/gFmuڇ'v ֖3[&_A /_c@~RW"avo3n*=ޯ˻|+E=U3x`_էW+"YaO\F جCC oM§dt]c )x ƨTB!Eݯfs8e{%ECGg #Td=kglRjۖp$]}{#t]LZ.f9o?ݱtNW+-2[PFEo[XVPSKPw;TWT@[6 a߼3IߐTEA+b?ocA$r/2i6V_J.?.iVvfyiBl(NrCKPyR1$CдEş+}*_~진a M_EI!j&k4!8np*cmT)G7|cks҅`SE&lV]V,r ,ɵ9[ /I}4ŔWJút/s~NbzXSw4BK֠^ 2$Zldpw|tf5~;'`Y +vr`pORm8v0&~'Ԛ*=(suRʬpQ{eb;t.t +s|'՛=㵛 k7Bg-b\&J |?RhyU SS5*_ǐM jw?!xҲYk. *4)#ʴ`<\iqBۯc( J TZ4LB؜)S~uחǭ^q:S^MX@QV T8yuC֛B=5U_@_@g+Zdf+hpoME|d::@r7a= +]F{f i}2C*'HN;m,,z-wz U{i IԖN7H"Qj^:tF%l+>%Vl@*-gdGnmX-sϋo󲰦$'UɜsL%2쓦|~^ &%{K# 9mK7hh'u}sآ#D1/ S sRӴD\ۈ,*Q8*35sAFВɞwWOe$;狹F|gwJ ޮ:߮Z1cVI֚YSƮ;GN& [S;NK ?ѴtSwd^h϶t4"lUr42 yk>4@+~3XGm"Y\LhFgo?Z,eY6ʈvZ-k!DŦkεR9t 6vr G5k'=" ji1i $m"ic1#ggL / 7g8(/[ۅm%.M}ZQYc"UCָHC]2/ &-gN)h!oASCb6&K,Hz';I Q֫[v%~T KAzz1VH&ެeF ޸\U!L3 tT!J9稷`V3E6yZCipj#"i>cY{\JC\_rW0k% r /XeJo+' y J88 }7u,'{qe||I AQ%G(]7켳Ǥ( Lj %b:g<^/,QV#ؕ2N2>z% ,jn)0mn{8'S)8rE@\9/B+!$QC\Ϯ,6y<@ Ao,"-:4ɂKq35|V67qGιOawE%f|gNn ?$ԿVO u%N΁l0_n妐8_ *׫!5*Dj;}3Z/0j# sؙ{jrb:X)C䑬uښUNH F)u!Ip0Pzj^[&3Xʳ'tM2%ސ)|!E]Iu74/m|kt*Du4OoʌPaHDUdI/w/}s ִ38ԟG6ھ1{s>Zt7)oyH^Ypl62T1K)} csCCt!n; O@1BoPPvZPd:3+Bm C ib*^R6SKnd<=Ev*T 3h HSƽQs%duiQǺ-ﺁ3zB$֖ɱMܕFHΦ>eT@xnk  kkx=eڪ!=N#~kFHE Jʬ6mǥ,Ȁ3~ B_MqK`9-ߙ.v 1Zt1/ O\N?7ڼ=sPP]fʾ8k5z]Z=z;kiogZ}&"H3"TS׿J_S+lj$r N9@4T2S6袦8e'H_h.3e)LObD94. 'Wr*eGUj25#&cE/9Uh$;;5Պ ,ڂ8ZmIuuMoڍ$! biWh*2_zBH*3[, XϏLnW9C* [^UAsCU=Lh>cmJ8'Kr*0t=|:*;h/o/yʬ"HNc},#!oEL6-00!R'3+vx;}y$0VևFK ϕ?b4̴K+?\]M2^w,YAȫ u|i#\Dߔo\}-RXm=ZNܫ*Vȅ,I?O؉Ldp8O3Wd&,9NMw^d۰,BЁ_ 2sJ^R&ڛX,B¯$$Ü/ׇp65̌mD_廴ظC[ipZu.aOdv!H[/<v51,L×H}tyM-^G R4LzcmfQV3V%6dh f#-A4foXn=E\Z6P!!mGjv;/Mu7_#5QkQXSC/W2oz#-1UUY׆/ҵ2 !4,~39tG~eDt^o*{’\AA(@w+{"wD)'hi.ANVvxkA|P| e/g]eu=7 0./QgחW\)BڍBO1pm2b_O0zÒf҇FNKMfN bY¦ԿeC !$B AoA(#ZB !+G*'WbS{ v#,a_Ͼ`a`)#sUe㾿QԥqmupՂnM&7wKOhͥL@OZ,Z~]d(`@M@"܋ڡӣD@NF`MM|H,~w~gd۷.ȀzE)5ԮC(ֈ xƒł%ٱ=OO,Oq}kƙeӵ!1wh8-ۖǯ$]v6S_8Lx5joj:FL;wj!}&d"ȉCΧرui8g6,(:)D6 8pW{KԠTD|IWgF |ݓ#6&ύ|zuEk1Wo偝'ex+F]ǺS!s1]ЋH\ԧ2(G.rb\@(wghV 4 ̕QX0:B5{=zMPΒ…W?El-%^Y(wH$:]!ǝX-l5QNJyGN#9?@QZX2L/DJtѵH{oky\\ł2gϵ ?2FQP ў&$!:IPvj6^_uYW4B8]ni'pܞSo}2oҴaX ]|`S[\x9Nm܄+ <hť_2u(v Kr!L< "r CeBn\|>EDSb)r< ;Kq+]ך_ߩز&CTx EA* m gA5;| x{OIch&*JƖ'A%06Cj^x \ F0IHra")|o/nG:ls;zbWm"'L{hDd912XfR(i=#r◺UO-m,WC28), j&&22{^&e0DK{=7"y^r~}g)65mb7]=Clr$O@v"Wt6LjG&.G,3pLJ&̸?|6qe~qȻ~ų~\TdCi >bїj8*yipi< 0ȫ9x󅓥 :ܿ޷75?)y3b8x. xDS/*썷ׅS3kM 6sDRZ~snZѢdƾ͉л`A ?Zyu5#66G/L?yd'+i.Ynv$hX[,԰MekcF񹈘/q(+3BlQtI}d37hDVbke18]R?c:d*t6pS04sM+DM-(!v `Y\Z Gn)tJM_v-yq0?gBB;w%}ǮWD FK~z8<i9߆JX{+ִ?f3nr%yaigf G3-i w#gx 5"f4,BI콨@RWƆ ؠNRU'<!LZOѻj}ZT dG|U|0{$/Kr}5b1~R=̺l+`kOzmѢ%G; ƪL . caX.tXл `bp0]5+4/W=۳JpPEF+.'<я-9RHŏUБCqۈPO@0Siwn ha1.ن}:h:eoc6 rrjKNP^\.H Vp*Oe˥ /mơV'|6$8/1D۸KFk"a`q#*CE$+(̀WT{n%N0/'W-fz@ǓpyP6 ;MPc?n#-ڟ2"zAq\j;x0KCqMQzm˱8jo[>?Xa@dx |_bJ6kb[H`5G&h5IK-RϹnm2DtTjy:2K\aC8,a>%Pof}ѠVb0 Dž9d$/?]2kW:=ZݜG >A^;b c[: ɖҌ.2;k Òw^x 8V|@ah0P4H9lv#ͲY2Q#zꯊ2r߀;,*gAQӮ}P mqpQ~%8NOe {^R8TNuPoE@p:x䁙Tͮ[2 V`4=l6̶ؒ45AqϿ7}Y[-:fGSn&A"1t#wTd :]{B:JS-0O)qD3NYOky=不10 ޠúj Ζ<('ȽH̷#φ3̨ .FXtxF}PfiIfV%ɚ@Ȭ)I{,fq oxE' UGn] 7L?2*`g}vG$K "\-8F~Aּ-)(F㨱,&Ap>  Ĕn•kWؘ킶M4[jdy"޵uY0-F>ec`{)z )G~b;#\&t.*G+ 1B˸k:u0ICT_HkLy{քnQ; :HQEEtՊ (m},,rJa=+'S _t|EVG dppK]~J XuN;ͼEJ"qbz5سhՉ4ӫr]>1YBf% X%DAjsg #4oJ6EBMGT[8hQe#gm`sotK?\TLp;j=EL32Bƀ5H*jQUbQ9C(/]2gBgð uwk*8;F@`t+^,0\6VHmf|@xq{W;Vj4~<y?&6s;8_ҐA;0S 萑z(4J I½>P /-E:+ )Ҥ+3G tr5?Um:G&#q]~•]oWHAgP'.UkcSp)FyvM}i Y>$l8|GFdÖxQN+-b&R6Sy?ӱyIE6cvݒr'?pL3+nmlVP