z3-4.4.0-1.fc22$>,R{]`sau >9 ? d   > !-LR\l t |  P Tdx$(Q8\9l:\GHIXY\,]<^Wbd Oe Tf Wl Yt xu v w x y  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.UgQarm04-builder03.arm.fedoraproject.orgk@Fedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://github.com/Z3Prover/z3linuxarmv7hlnA큤UgQcUgQwU@nU@nd3425ff248286633c70f5e9a0512c3bd3365fa0b9a59afca2a331add078ad212273ffff37bfb85cec8a233ef9e06b804148d9fb9363182c1674ae3591632be9953c7935477e9cde98aa10f959f812a98eef0a286e5f3794d65ec875fb79e7572rootrootrootrootrootrootrootrootz3-4.4.0-1.fc22.src.rpmz3z3(armv7hl-32)@@@@@@@@@@@@@@@@@    @ld-linux-armhf.so.3ld-linux-armhf.so.3(GLIBC_2.4)libc.so.6libc.so.6(GLIBC_2.17)libc.so.6(GLIBC_2.4)libgcc_s.so.1libgcc_s.so.1(GCC_3.5)libgomp.so.1libgomp.so.1(GOMP_1.0)libpthread.so.0libpthread.so.0(GLIBC_2.4)libstdc++.so.6libstdc++.so.6(CXXABI_1.3)libstdc++.so.6(CXXABI_ARM_1.3.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(armv7hl-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 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabiELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-armhf.so.3, for GNU/Linux 2.6.32, BuildID[sha1]=dbda5f2352a896f5ad70c2447fa0291b377b2a0f, strippeddirectoryASCII textUTF-8 Unicode text, with very long linesRR RRRR RR RRRR RRR RRR?p7zXZ !PH6]"k%I&A:ke7 .k )A~cjXHу$̨"%B<~)S4F6 %uCjfL D6Pɇ<YRj{+ӟn%z\TWVs@}'?DDOC+߭FUl81$"3P?}@RtµvfW}SoX^rP1:`?8jfA|Uo=Q- Xl0U=/HUQye8:EeL!%~fT}/GD*[WgHHΔɄ?$rܗʪ=gGHEg, uͶr%6E Թ_A`8n%<ݿ0rEÖۊ+Ci Es͘@Kt _a`3׏HSqO)h2Aoȍ$MpL #^sufLNbvWFu=#M) ~D0r]X2(*$vA0@}N^P.|<*LkyTl (4HwHU P#q%5qDb) ]Wgpu+b:Iev}~e+d/h)[ӆdԼWld.->Dtv)ǜ^<]va31oWb`)[Dh'WYu{Pr֍z oώ!%+}oz@jMa\Y %Gy1(Frw,[vSnݠJwFgvV5e[W+R|; ӣwF1+JNuQL{mCI~';~B3P6^ 't>$<+EW-"{)Nj[?o& 2AB;TO-CSB@zc42^ϳrz 7-vqpYIE0j(>wnm~eiޟq5gxfVN('͜ax%6jПCH$ŗd,j %`#(lZcP8r8F ]vN:.`™XaJ9.@6x<]u3wH_ %RXR ২3 B9Jwϥ폂Ҹ!3KNEnncyx^EAO"{:.-"Aa{fdk/u:`v z/{B3: `"6]6Ƹ ků#17=ttR.jfb}λ 5+'*閮ѳP$})0!Hn3ol/6` VoD9'|*n/QTa.l-_+.f4_ZRe!O%e\bG+ϧ˫_pdI^ķ8y)t^W;b z8.=Qu8.4=#puDlͪ*VM< d||GΑ>?~L|?;Q9˒B^ 6++^7 g7N+| 8y+"uNExBEBcߋU),DȅiϹ9'V80."v;7l7]'|H2鏖͈<Daô)yL&CrF(v7GPjΜp/Z/L<\MLW&V+WMLw3HbM^W"z)N fJ/ϑ=sNsã$>Eq wNs0L8 YQ +1ȭ2h=wLmP%@U"l  i97J ~7/miap&{^`t|νmq<J!s^umu8,RɷSUG3 ӪL].T<~KmIt^M%)"zRUNF-GQ7OG%:,_B0mN>H3b;tYyӪoVyyYc/.Ѥ7{~JaA.Quۅ睳\P ɴI};X#5T΀|*Y+{.VZ̏KtiItGPf fpkII>BN=ZT6,VV2} m%+$@*`myӔl7h'r:/uPBX&-z]mGIuo} ԯA IaC KgH5+vF OOזYyn[6{< C&R$`v4wGIOAco%rqδ1 UpCP\IMg=r(j'B!uX9arEFUZFwr<klnliU}d(yȦ^b3оy/a}&{;^EgL,h_LZf49ȠbJhU8}(?[LѝȘŻ]oY3 x\GG.uf!?BV bݞǰƫM栖F.bd9s}O2KnBa,"MLS%c^DkrZG V?EDՀ;Chq.MF"*-hK_aRVrO[[%0 ]lW]Iʝs=+rv )-]چ%ZMֲjOH; @}֚b HUϘ6;6k}6u ֿ&w;p>U$df*!{6ӻH"ؕ,Y07Y ~,\*=N8Ic&jUw !zK S%M! 2JPꏜOl1 XPA:ZXRۆSz^qrџΚ!y4啩w;\E-5xR,q~!^m.YuM*Bס$wW{i2TtQ5]ۇ[m gn*sc 6ӕc-R{ g+dCU"++ش$Y1g>sizMUZI 1|KT܌?}mړIc`^h.3I=Gݨz` )>&۹*fRr/ڶemZ93F7R?W HdK qK~΀;WuV@vgx>z~.g$f|7%naZ.c\gk Zuqep/DJ;5[P G1I#U(+f3{Ί"L|vkHڒtT'Ago~Z-6@>u|f+Oε;Ӣ jaOj(Ip;.~<dȨ_EV7ƳW6x?7q߬ D!Gsa1B1C9l,!46H!݊mGU;DFt0* xt#K̟_^uu_ &_4=>R@=z\n jSCL8:&@`?;p4刾OPdH+_STJ(n5\ϝ\H#ȏOWeï۸s4#~Q$*`9zGBۛ(pnRi"<kvTgw;.m1KU6[kټFY^ß )j~ʦ ThB\8W aZHzW(Z^$x_&ik.KG}D$"y"`nrɉP&&p@%|sJYo ͐fyjťˡKz#^|1OyMBi /MaF^ uD/RHq>2^4S<@B;`}QNmBc$Xk33C hתō) lRV/đLםOE݆(tSPER.M|-y,?6d&Ud*۱M'AHاX/\yZF)mqa.5EY?jtpLcU0V:|݋HI5$o|j-(bwWZd1wY#8{Lw=1z Y[v2jzE?o UCK SB)kd˝1VMB,'ڮ(=8<կpr1d Ru6;.uWA.&dEU)Osy>F;iR^W_Qຸ%pµ[0;"+jUs_"NKRyo1sݵplAcen9kSҋm`)Baf$ЍGi {7kEdS8@1q@נrψ'ɇgpb[/e6`7ɶH ,oi28p-|}*}.\;..?&_t ]Pj5ugRE ڃgb HBzw)VV  y ybOΓIQh־:v\23 4@8PU [J}fuAٖ7B%4  ;ZjTQd+f>ԈQ+7%?`[bWx]FbӾn}dml6tmG/8 ][O{Dظ^P-uv'p#$Y$YzO]] ciLtІ=Y0 w7cHƈnv!U䴹@юX` 1_PdP1"=sIzÂ3iL8,>PX=Jv`R0 `+ϖTkЇz ֍?oHt 6LxKШkH5B1txPUr뾰YPIdz Cg]UĊ~V@|:g^/dXcد'*%G 5T`ѯ1'ܶ,7%)ÄA#BQOו"\a8nZ(`"0_(l.;@QXiRĀt ܎C!djș@EuScId9* BVq9 Y9yP+ȇ2O*f5݂Mxzen2vn>ߖ>: Af;'i!%}/}k Z4P"|{31EʅatwT0,k qm w7 SW̝,t_xS2K bei ka=e|wTx>e#V9!HU18hl㦃Ĵ3Փ3-~34 >b`ycGHˆInGFt[꽕ATnJkI %|7L.cRK&_ Z!ŕU=J&9<ѐ\4yqA'Lli II!䌣f!Yp|B?HP(C(Vy\K+ 0dz3\9$gP;-yՀzU8dd  pN1 c +6dX;GP.hm\MTÀbutl;XJhnצECh +UbWxꋩ5d~̭D޹M:}T.af=Bdͮ$rOU0c0w큄K&t*vbՏh^l"\)j$W/ѳ{Q(PLLLsud9볛o @\`^"LmР}l0:]$2|<`h_T"vl%fZD ":eLUaysG/&]IX5\Ph&9.0tZüm}@v8vG 8G)*rxKd򿹂4MXᣚTݬC\7r.'۹qn_DIaj-$(.;w4d!UaLG]G$8$ 8oǃqH`^9EWԓo ѭi@1QN] ˊOԚՉ3ME)8:Jq‡Ps5ӆGɼ?VyNJK$ `$ˀSp.F^HuP4&0x{`6J<,ahfaka /6Z1- ɗa- K! OPʕ935?mի3fvq,_d0KXFڝ;@!ˍP@qtoh3K/:9hs vLgjk'WL0;$g45bG4ඥUj0AR_ Lg8/XӈbW=e8{| > KW㴿ޥKAQNUp쥉.բ/#>yq|Zp4-BEt?Iٚh[1 rPѨu&ER(`$)9, >8;'R3f( Wޒòcf36ؠ>cyP;:E3wOWr#.pbG7]$CvUj$wxDtzEt$B3`8CBkcfܩ.3*zRݗ^;(V"Y͠8΂AD Kp@0R/ n/ࣣH8(Hٓ\x%M_9%9"! Ⱦyi>T[m?+TW$O|'ę;Y]DM3cc2p R7k 6hʉ2\(_2]+wȅAfMvtaYRŧ$qUob ]8QD07ķIS/l-VR(kYSyU3/ewИR=F#d|Y!boY(0d+p2g'uaW,sE^ Nq+ KF? Oq?BYzMwkM 0s7u>d qjVb8_ 6fԆ*{ǕGTbddzKZi!(_Vcfcfo EEZ(0J [d@h@+4%߄so*zN*0J;}mj9 &ܠ4[IF}eM8%)[uc8 [B uQdнာ_C dv> WacbBҊJfc[*+ abHRf9MH BO$M@h(k̴9hpw1S'z8Y46z2$HZ/V/&/EMҷFHD*^zrt.g:ʓz^YhW"P;ij> Yȼ°Iw;C"Tm\~J;jNB\՗v:5hFيI@RbFg% $g_t4sތ|1U(Bl+ 4'F~CWJ`%9߁:R #˕_0b9L Xɱں=~, k=Wb0}6["}C9~s\u\ן>w{>RM4?4l`DZe~J"n"Ru[6e|ƥ(Ԙ1g.d,֑$kj'bgTq%pɘԪ3ڠ+4\<(V l+ P` v5ߙ-q7H5T| Ϋ}Wra2eE&6`*p_j&Bp8n$|.%c):A1.p'u`9@Pw d%f ᫐EUweO$T̷yq{@l7wO-\xŕa( ?wg=?%nti>8% ~ ~jxaf)hV CѸAiv,cP:_T7:n׹}kƮ'._Bid}a$+U*«DKucpա+}*'_Y& 3!@os WH瀯fd'%7,߈@U\h2S6"(~%&H's:^aӯ4WܬkY׶-HdySݠDTLKG&$5zD )Tk5O%7J! >Ss; ,Zwi,b⍾`lEFB:{NpZ}2sxr:)aR/9Fe!d,j&ug ء$ΉE;T'>bRfyͽf=Gz|gb}1p bz!O~{>ġdšKXȃx萜]5d'躈{٤haFa[9*8_Wr;)X_ SM]k%r}1qlүy4cRLPvxW~Bܑd/-H嫿 7t(a+M@7!EG =謞]OJjZJasbq6@}_&FJYoR`~9g D/+$C(SUȾ}:.W f8qI !MDS?ky} >ϧRZ0SL#2dc!0 OL`P%v@X($b'1#?Y5MTNJX]goHN.sIoYD4vTqoͣjܹA\DnsY~mD Iw$I -$ҷԨ!e!5GXY9 ~ ;&ϱp:^#EXa^$y|6g${U@گlqКJ_> э= #>=bv×|V[i8x|%qUhqW *ځ ?&W<+62rKȻRi#w J}Rl@9fި=_v&^EPx|u6 c&ՑSa7"uMb@PŏZ&}۪pe+*Z㱵#@͋Ό8I_ϔ#nT|7M1  [1mYyҶ!hHXpRdXs\ IKq6r5Sɢ/&@:?X|ңrQ r>ǻF2!QuӬ~@}.*(פe? qX 5SC_`F15p l5S3j')<ֲS&펭EDX%"VdLn^6% ]l[%k(mD ykrl&U!B~6-\K6ms =ʚ2܎;܊|uY64n7 srG vڧ/p";PP!Zxox( `F,E/QG}'g{bgUQ֞>AL)qFWNP~)|8euP׼ &i9en:SȓDtONl%yu ~&KPK1R}&2YhT*:#1'}'R#_ё3ZdHJ99*9 gʎW*"%56>p2[2A oǯ3tFrb@|7Yx%R{v_Lh͢8A#iZrLPTס{lx5q:)jJXgJd~k3\QJǚGfEol|4\ 3b)2/^Oy4ټz.WsR$W;c+tHs,+gSQOwd]cf6MwxYwr{i\؉RkgYv<=vHEЬИ!uo0}kɆNRjJo  0c). аGL"HPnȇӰr6(Ō,zP3Ffn5nҗ>ۑyĘs$/ic}]0sC!*@JݷdZG܅`c?Hmfsj8-Y2E~YIn"2ΕQU΄o<˻-g'bwyLdtglO/qizx7>?4+G==@z t =x]ѩV: Ll&G A>涩ZJ4*}/y=rfJ3a5EsĂ^ {v݃d}J~Y$Ox!V#'1|nL~[Ә`67d:d [UT:Oj{tH,Oq 3;E`]9!s]%$ɪ6FdKE<&r H2Wt-&?1ZA"eyZ1jk~ޥ#z_/@k)ޔ0'{%T{Zi d 86եn-[K6"!~tX"^4^u@7?jf̚+9JAsl{뎥Zvl, aM-3DR<.()%-_KV|TjgEoa܍JJNR@'f!s=ϋ#n@o )N`x1[{HaEP^B:Z5 Wƥod3< 4et A}`1W$wBf e N߳T:4' [@]U% X5'b$Av0(Cp^'H\N)b5#/^;zevjYjNNNKo]bt2) Dc kj܍~(UxE)S}伌DC6xU@"TEd#K4ͦ)r=Gă^$(A7gʂ#{1@O핢fwPt5s|d+jI5ox6atd?7UC$c=,s㨩VSS);(V3Y<~{YiU;QeVxT7PdC,wp\$-۔* j̽[Zb; ^05TL.*s(-ƃ)oTq7p}מckJGEfPlx4XNmfa*#gZ 01`@Ȗnzi>~f{,6Y yL}blw, JMCH2rUDS>ez-1dɇ%o <fc{(K6A1ɓ+O(_j=ztXg<kf97[cG&.'TPӶR1cԭ.Anmod;T)Xۄ^_ڌuxq3.Wiсȝ99vqr#/#sMh5|qeZ+~-`veO&Ψr )._LCQ wR7o]CzoO)Uh,k[7 &ѧqtܬvDЗE&!2ȝ)QbwRz1Q~#"!BCF vޣ]mS%bqtm^;=?SlIa"ZW[Le"Xaly{PeIf^52A+X; th=s Zv ϔFg$E)?ˉ Mo0?ƿx,nӔ1z}xj-MB6pG<|W\`([U=biy=uQ=S}b1;(ZŽZbXF}fKWʹE5 *s5>gYS.: Ş>{sVUB (׮MLuZs;8SMt Y3ɭtivE~Ĵ ()3x)ԛ$MH9NT6qu; d{AUŀq[u"ޭ m]}v~]SO\Ah sY_sa)XQo U3a&Don626hFNOW+QM \,G\ l@鈰1#;˜?_hۈZ~ 9oeF+w8&6g1etEStt..pw҅#tk3>mI>|ɪi|+ՙ"Xz}fj)e@"=1;w/g:tjݍ+uJ]6q "K;W&_C Rpފ/#/~Q/]8@2e`P #֨&I~p<ͬ0}/=%T8gr 5kܬ%:쵵Z'Yi9c/;1BīQK=q}y39@&e&c?tRXa4 H"Am{틚V/;R*υ#af;ܻE0q >@zJJDdN`ӳ7UւOH9+탊<2pvN-UGEs_A2ōBw7ڃ]PpCu?]A\kV+Zc(A {|Z:x92_KLaK3ܑ. 99r ;S ҳl~ Fw'\X|*jG[]!(VG C?  +Pn.u zzDӑʖ5{-xrús6,[>N5ԩtnVH&UJxk1jKo²/-P9ZEx*-wK.CT)zɝFvJ`q5#OI~6(*iG>b|$Nݒ ņi̹g{' o\& B.EA6F++jNBg/8.7 %[VP"K,1=W''ǖ=-UVQ@vk~x^m6qN1]ٵ5}ԪnS!)@;JwPRX'tJCUC5^NBykn8d.$< !WhJY(Hн"/}ZB攛:}$OwW@|j2Vӂ#  YUC[ҧ%M ΖEт7#a)w8h\fMW.;OgH?4M N[JHt@TAȶE1mķx"k Kg*w"ςbR0պ3 TtS4f~ 32#u9;@RctuV)w^e$dkOƢVt9!ydhW^9>޴8^JJe"2Eqq$6l~cP*i?-@D6%V{3{"E)|>GhO˜Z}\)iYƹmY7 e1IRH`~7rUҥ*4=RϨc![3wosٻSn^"׶np}^%dcDJ8C 1ļ4sÍմGuڱ=WA^> Dtm4B>H92{(1`tKGh;M|BR#p8Phs~JcwQW۱8q4WK ?P,MwDBfDŎàڶ19&fff:{3C"1k9 7 R8>^cAt)֘.IY=lS9h6u\N@(bSH̙O|t r\.  y'QaQ)`?&KꟖ. ke 65ϻ02 ݶ$PoN*} ͑z&V2Nt.cڣ"}43 Q`d5$M܎F2S(BbrրH&¯$H7:Af `W<[AXqV'c],R"68$N 'wSiKa/D:1CL=d.Hqe f/LlnQ>a"oң-5Z't7vf@,), 5m0Q}Ė)Ɣፘ7sjg" m<1*]?;l)D 9<bz8ϑǍViU wr;/.G+bP,feاOEI 9$(qRN!Cp?qȒcj)ucBw]AIpe ]%LG_uQOV`GudIb=3 jzG⿟p}i~\k7EtoGwm`rؔ(ai4^M8۴awvĖ *؉LP{YV-I~C5~Ă>97j" ,?K9[=q/K4rj @G%2ܖ8-O_B{,'cGvI_m0Qk:+'AtwqwZJ4R9r=Ӛȅw7-! >&"FKD- c FXFVו~U.3锘 0.>꿞/.v]?P Bl(P@h2cO@FbZ6afW3sGˊ0ǟqP(q3%5s4L.$jt1o786@+-ka=_)C)YDwHtmfͺd8ݵ^fo,79A|"'&EEYA6\|wuHX g FZbx +X8(B4بb]>=K5q w$\-}n\H,ɔxqэKKx Q(j)<qs=&bJ44&$sժSc!:V^Z.rcTF B?ĵ+$ fa0N-yfBg9ϱ#q"J>*NmWi{(Ss¢Ϸ&@V3gYcX#/qcoKSQG3RHR }uKÞԐn{$~LaB0ݯ)O)"S )1+DռED,^IHS5+G0읃~v.mߐ˾65g\ GϣK~ ;B*ކ=Qe0@&h2>$nkO~-J{Lb3q&ΤToQb?ȡѡ f~#jO%P g]1B "Ƭ[H+W2Z^Og~]CKbk%1$3p$ :7ORLέN]vaoHʗAn(oքT~?ؤ..E僐8 R# |6' 06<6Gۑ""X$uonY>ȳ-Aϭ )QBE>pd~^W7ٱdQ9:X I05Rh NDrkR۞'iZ2%"kublTSt_nOیn=T֣";:kMVL'\}uA0GmU5JfNqw@M}z*j\ku M%&ӍUx gD5B*a\PEL- X]uMy e+ >/*€> uᾇYvLUI:TƘQbl'H7>t_J*MqSOYME MamWQwz\23$"z~Q K|ϮOdc NHW[F]s W4zr[ rPܿ-4~ii}OWw7yb^ n󍾴y 7ح&-[kT"fZ+-aS>pkVe_u$My"Y mQ=5W>˶A`Όox_5ht !lwFLH)(~s9A i"xo?4H,>6+o8@#7`#9_ YS C-ɅƠ<0߷=(J6VUQDaJTug R0,$Yf*~M;Gb1wC7D NAhQK% M9ɯ{DW;Mp%3;uw4B J? z{od~ic<t@{x)z %(`f`8'B3{ Zy'TU,~1|!:rW؁ѵ`SĦ)-+/ϔLvcd7{qf`iPN^K$ɴZʻwZB{bVN 3u}4ehp(~ ^5Cte* KtUf-F8Սfe(;oKUoӽzsHd{ -NAd YgyWqHL2S`g* 0s§pߥg/@VS?A<˟xq2yŹOܡqz(QzY2~dZ99>P @O^k?/%`(hM} } a'N8>%"KUT,(x>#򢞠mB!w vꝶعL;2K &\?2yj$3Gg4]W..0U>ѓM`rb 1L1܌!irH($O"[P]Vxv54,~Jw^$u)HtHA!eJ1j ^lC!۫|hhʹ0#!HMU[;@ɖ<%xԧ{|9Mqud&@u^ |`t)R6Oz#btImQIcϴx\x/c(/Dogz^uVUAbu!"o=[N>Ъƺgc@Н5jX33Vu}/z{2 9iMHG-|MVS7RPǵ[;@\PcM9G)4!d`rӬ4A';2 OIfFqe9;H^j;2RsFE86Wĕ"ב tߧ 6'/Ƴ:vD9Ex_s)3YYZuE܃ gԙ y PqՐVcѬ!m@PŐt,G[vLLՄ֌wǘ b8}sieRdR 9pd,TuA#A Ydh i^jsV;֔&6v* .ۗ8^6'%Epv1_d: 4i3A{ Q]D>ܖ \Xd܄ /c+뮅,fJz(HLIB$n{ ì48Yɹ<:$2k[Kփ7Hʴ`KK|iGHtۜiq ^^?ݾ )uoOSuq)} GOHuAC IogjCCK&i j7wы׻nGa>`[J|ZQ@”g/X' .dG'+txu]WyxyIܪMiv#!P4vEɤ8\%v+3^en[P`g  c9M赕nJ p06 \Vlx'`ܫZ z]eH$W%WreJ0n Vq&~&BK Ņ9ty']noe8eo^V"!7`}LzSyj1ibw<>Q `DL O1jڃ# <`Vjw-.ra5tUƾ3ѝjz>N#$hz(TxcJ>IL(3k"P\ fCZ~[$NS2KQ&Te3|wBB?)cMu4gYv =\qHwakee יEۏkbʜOzZk3uäx8ej| CV-+1RxSM}3/\'B;!}uů~dtA4Leo nlPv؍ oe XP46`7_x*.ˋԈԵJz3 :֐V-椯:Svh{D~ /_z@)ޒ y` fk ff}fQ%|zJu.3C:`{tNl148Փ: t9=]YOV~G>iݯ~&a?1 QpM1t(|:^vZ66 XP1?1-/>)>l _iX4.]1SL$E:|GIOͮs6-ƣ\y3\ymd^i&!!KߪrkY *I0ʬA3dYAK_07Gw~=Bl)Kt7%#9Tr J,l~c0^kjZ;4DGf~wspy'3t詠~dMqe̱GLRODJS Kc PA@k]MxG 17L!%rH;Ͱo@nǩZ{!y4@aZ)eaT MjyZADGjJ\(}ʇH"* ?,nOd BF.>eJa A>sJƋɲ8%\@ԋ-6*fHg < {+mHFaw״ZwBk(YQ@}XC=i3~ dVf+xk}=m" KVIw@AvVBs_\5M"+L^W+&"cXf^R'E{McLJCf*ַ,uƣ>+ /-ᖄF>=<C'C씧y S}mDYڵ7h,~`])Db5^.\-rPgWEmV7`W/ph<-շi(X!JÓrKyD>Fw*n93q΅| vr7$Zthɏ;Gbe8>XȌmOF­o;.e:Wm˨)osD"Z9\M5:&?Lj̥[, 쬃 =훲-Zbo)_#zt#,T.n/n 9˕G:-,}j6v- Wβ-m6W.@m!^mN0.Ěu+%ZBg0^LU"7{(dz>t)y0Ug;4S猖5(gu>Spn$EQ:Kox8DiR҃:51M (>)oYLuԁƃ7J%0\Zc7]"'ITox$h&;ke' V@lC\FR,w5ҫܑ5 %3ߋpxZCz}VhI䕺(`h0'Xi*Tpc^b@{ @|c3DiMZ6 @^1=j/@g2OL11bm(~A`A;'=sC}ɈG[tR1¼C nEs\s9rlqՑ lpE&`JF;>c1Jǟɩp0) f̫Me8̛]f\<`Q'(Y{D\:6`| ]N\˄;0':/?)˴YikGY"Hd09;^hB\;G@W#,%g&j6~F?lu*sVE&^{t`vKz̰0ĺ9v((VwT=QeI^=d0䔵g5a,H%廷lc%Kרk}'r`cHx)2ΌY蚀z&HW0Ú#ɒiu~6WNvwۓ.7̏!23ⲱsqwNȯRCM8M2G RcO,z{]Zu%?ۅwez\a=6>qf)Ԗ\ۮfy E1#F$&^JHt?f-hBX4_!K&zv]t`oȝkld'NiWʑx<"E+tN}Ά@KKLm3A6GVWd' )^_gNy>U1GR7#NɭR'%و4(nf*r3>:l1"#h5r|:zo֨'A*,pNEWRt514Aph ^^kUif[60׌5pTek7&,79Ɂ Zv^Z4)ticU RN"^cb O]qvѼ( d&&Ofsso T\J-3|ފ pm?+:Le+y)_qu 4̷N88 #b밟Q_ ZK؄6VN D{D@Ɛ? Ի75-:QҽxZÕh@S^NZkϛ+|v ;w]_DshQ%!$8K Shi4P}J;ՏdrW}>[4]QLku]T^bl5`e蹦gm͞O#l5CUD] bƕb]Y }*9ݫ=藘2%E\LcRsQCv&_= US>KsU[R%'ReU.q(k$SFj.)#qBwξZaH)`5ҫlΨ*.ҌK=B3M@0nʰpݫKTdu9\w$`!3^iY !ɥ5bՊ`xݹD Q36~o%.ʖ툋􎁅ð,*fi%xѵ؝=c qIs JiXWs!5g:Uz.i.TI5׺)z8&BjYViwnb|΅+EN'ܨs3zyj{tmzcnise&U%jgLkbރ+ѻ)$3dUBu#:$nk$[ٛ#}|yfww'mxYF^Քj"Y<}VK*H~ΏE}M{5rKb]3nuG]mTlbݝ SKXX ĤkxEXO;wFsv }r^ i66:d*xyV_h@ 4;T˙?v8>ژ<<@9UP](A# ~4eC*> C.՘Aqn;pxJcB̀rS O8P"cZ S.:{O\)c5ugӬ jƢq0NȨA.D#場$VqOBT~a(׉=e js},L $%Ԃ”|9)fM=`IO-+zqTg Oޭ/Tw"puqŪ+PV;YfU->/3(~΄ڠxeC;SL&:^P>Lgy;G"^*3f@),_ JfLq"p߲WF~m% mrq0ה'e$ ɬ2V5 $|^('09zK$eH~PWH QЇ!:ݍFr?7qMω$'ln1тC&P %z)Ch7稝0ք0n~vr4᥵. `ä8ђ%r6vӪ(hJ NQ'vΌP. l)|6jAA1+ }|deE<.\sgWkԎZu at 0@0G .:6r ,[Qnj_*^ἥfm4UP< KﶂkrEW;ܞEqx&j`_E2.e@Iʛ,nuݧ/>ܙJ8vEsb".Β%+DpӕӸIuzmexX`0zXa "ՙ Z6*Y0i=*t-!~XP6#^%Il -̉ p~G&hzOX)c(=L@{|EVf[&࿐U3]SGM0K5*5TQT"1(B;g=%6!ڕgpVկ cKie26'f L?NT8E!RY)z@H#BnE" ] ?6Ldžm=眸uUDOq륞ǣƘص>Iмpfj[M[kU" Y%IJtW彣`e܋EU`sZ/Ɏa@D4H11{ϻvV\ e%. aXaCWylZrOT w-gFhrfA郶͵*;4'3=4K򺑒ɞtέbl} k7H$+zX$Is4vXEv{d),狣+^zaƵ  Z bdd,dGA.j s iڢC8ex1p6wg /F[2c̢۞'Yʵ;wL<دN†q?"҇HӰKs !,Y[Yi6C\X>7ߣ_0g(t,wVRtRGՒzձ ָz5%U^F2ԟҌZ<_#q E*W^hvn#bOA!wC!Shڋ!,G$%5Ίk 隠{Bx2C O8 M0 \r1ZSV ԗ >F򁁷E]\p^j~?^iݹPvY_?@W6ʙs]F2a;gWY s`ExZlsV`.OVѥ~vxIc)|w)c[Ԯ9hO)f8(j$CQt9IsE$mJʃ6A/<MZ2{_yL:!3 vq2.[+C뼊4!A|7з` J*rsIȈ.oyxFxx]DztфzAǒw4K^@KY DJwC)H 8&?|>5{z:Wc},fg }D&H27IfV3їHS2@x y₮r ,P{ ஞ!AaotMc2˃ux {K F|m";\$ʘXriZ( 5즎dCA㊟3q? d ėd+e;ON*RRU"gRy^BcNx![^hZC`Pd!'*[?gsi jse\\qjhG_iEWpʿJӅu-C,JKYc_Zdܻvfԇ8"oaž0cP` NG??0ø$ gw{ut_*Y