ltl2ba-1.3-5.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  Wg4<r1I흧M F^yt* ݰXHhyӦdzDjl*8Aİ5܍3Z B&лo,x/ج*&PL%5gŢIu{_稗?S t=z@##Ro9пE A!s5OWUۍa:&NX`8gfqn'ymPkVdK4.U784498997ec19fcc560a8e6883934e9986559ac29f1ecf51b2fb585cc31bf4af38b0a3bef10081c865f8795c734ee91aa6f6623b7,_m*`br>=? d    J  &2_el            ( U    & (N8X9`:G H I8 XDYL\d ] ^ b d 5e :f ?l Bt X u | v w x  y <  ` d j  Cltl2ba1.35.red80Fast translation from LTL formulas to Buchi automataTranslate from Linear temporal logic (LTL) formulas to Buchi automata. LTL is a type of formal logic that extends formal logic with qualifiers involving time. A Buchi automaton is the extension of a finite state automaton to infinite inputs, and are useful for specifying behavior of non-terminating systems (such as hardware or operating systems). A Buchi automaton accepts an infinite input sequence if and only if there exists a run of the automaton which visits at least one of the final states infinitely often. The implementation is based on the translation algorithm by Gastin and Oddoux, presented at the CAV Conference, held in 2001, Paris, France 2001.d&stapel80.red-soft.rum(RED SOFTRED SOFTGPLv2+RED SOFTUnspecifiedhttp://www.lsv.ens-cachan.fr/~gastin/ltl2ba/linuxi686FAAA큤A큤d)d)d)d)d)d&d)^ d(8a5c1176fe9b17d3eff0833dd66828ec6c54be8d96317f5739befd553479f1d090363c76f5cd72be2e3cc36e1a8e48cef38c85edfc53111791b59ad8585159ce8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b8806435b2edcf746b1b7b2f0002c8904d31be2a843924f313fc438dfb91fb6fbf85701../../../../usr/bin/ltl2barootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootltl2ba-1.3-5.red80.src.rpmltl2baltl2ba(x86-32)@@@@@@@@    @libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1)libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.3)libc.so.6(GLIBC_2.3.4)libc.so.6(GLIBC_2.34)libc.so.6(GLIBC_2.4)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.18.0dJbu Alexandr Subbotin - 1.3-5Anton Fadeev - 0:1.3-4- Build for red80- Initial build 1.3-5.red801.3-5.red80ltl2ba.build-idfc468f5fc1664f2f572ac8aec3d533d52ac23971ltl2baREADMEltl2baLICENSEltl2ba.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/fc//usr/share/doc//usr/share/doc/ltl2ba//usr/share/licenses//usr/share/licenses/ltl2ba//usr/share/man/man1/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnuELF 32-bit LSB pie executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=fc468f5fc1664f2f572ac8aec3d533d52ac23971, for GNU/Linux 3.2.0, strippeddirectoryUnicode text, UTF-8 textASCII texttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix) RRRRRRRRR utf-8e0e11ea005d30b7c8fb056cb0c1d3b90133f3f2d64d17a0024daf6e7be9daf7fea874e466360ce0f91bc419340d3cdd2fdb952d12fa229264b04a3f8e799b887?0(/h\[Z5NI6(Fq`D#"b^ T8. 9V))Q*ø QU,ydíyV-e#=uF-~x]YT AP540+ܢ3dȿ*ceQ{zLͻ A̰9X͈}˫Her .w|,K?>0zWIrh<E_e{ޕHWyKn >%Nuw*h-P}R&S#?+J$+#4?Z^#~FMU_-wIblccI ^syfE|7p׻L ~L}ނn]:Z;ޠ0mzy::u{KeB#x_Gב4/Z<2B_%طQ;k^+'ؓ 5 ϰWp^tÏqq%Jc}].6~qxK@h?[":kOhFm qKĪ*eN1][`FEz }nk>t@Fĵr\EeMl|D6vG+ FP~ l'f3m];Nw,|gSө%XD1<Io/2nsܯ֚VOgբToa/KJ) `)-s(Y}:yj9QFwl׳e3:[i_(_]׉3tih,x֕pW.ux@^y 47k9[U뗿DŽSx0V)6ARۨȨ( /*B!p)#e7 㬰J+c_9a8Y{1 ~E-`g.f."HTE2yةʕ%m=j:sFm(#St#Tѧ]EMTc:YWkzG[7=4AffS{Ʊ XYQ[;o ӵ fPujr.Pת^"})Il}S{M3z*C*wp>Ui\W5Ʋr٢OeliaZl|yb| ~ 朊M3] /u׭XvcRD? ˭c, V3{» ,.o6cȸ^T}O9mdHepW݅Y.x\u*}p_ jKPV"zG[6 Drj .[1`׏;牙H-;n("wƸ^; ' NE$wWER-S^N OR"g}@1)"RK۩-K;vܭ}@^դKA!6Iu$5GY4$Oy{L6z1C%zlǩSL+nجMUaeW \خR >b"05fhY9T4GI"̲*6O؂+ 9!V REܨ-&xP*FG%*H~Pt'zu77Ĭ wn]lggY<:k,Z:vU V`edY d.aY HV,,e@q$zt  q ȲC.пk~!7)1re0ف@&BF1=r# .aM.|td_:|trak,!W )(eɵY0ϱ\7~8~uufEV=,]`w,evAVt6|bqž|=/ XXfm[8fuY᧸6f#2mdoCw ' 6e3=G5HK+zs<SOO-8!U+Kwg1>x}~Kӧv tFbP#=dݟl{tv~yC4G,,)7G 7qMKMaJ:l^a_)TۭG_zRLWTq>*.l<`?L<╜~&`MMQmDY-ۋX \<הNRǞZvbd{wqFDl\OlCqtq_;ɼP֩MQֶMÑ]f nmPo[.2KuUG{}&ĦF%rER"`4,*Cuz0c#WwGUC\*͝T"3 [|3Taa0k$K[֥q-t =h4|RzDJy_IJ"lo+EbÓcl8[g t= <י$RSLk{z=S`α=[MBn.%uNnN|ݼ/_$)6lXX A#o̊ S͡v[(+[rF24.?u;.q.zx;R3J6xC:iMYN"KQa Y-KwSHJ)>wqe Fͻ(eq|$w#9?lKEo |L啂=OpE9q!_DU䂹jxxLiMA뻼Z4bPcnq[֤DQg tצ%_n@ A ,~&6ܱ<X d7Az#&[M911v TSHV:brM4b+!= 9:(LV,hr") ʷca#07c9Y/ 6˩dnG{nm:f^ʜw=0 ٗ=jw؆Etq'>a7ƙM HAS j)qk'/p1^^P7cNk S!N`#\x >}Y :]a##%jA@a9U/cC5qv 'd#wP3Z)(%͚sX*"eF,g(O> lXQ9V _KĿksEqb!.#X ]L ~4[ OA(%υ^rH'p0H@Oqw(\r?b_^\Oݩ]]VXa# 2->'eǝ '2,1MWno FHwf۝& $fj=:[E=2-ǰ4hKu|`hJ^X睊4h׬1N6>9O^U5-.۪Q.ȋr1^5+Zq 7gN2iz̛6FʏE`2:TG>|,).;q Y$a3M7zŴS.yV\qs#/&E~X?MfGF\#Fa2i0DggP}֮o1G5GAt)]wK~~x(jp]$0P28 Da@5I1cj bJB5Є42Vw0H,gYCݝN-O.!u1OћW^8@@0 E;[%ƟB\И, 4{W탮[ D٠% R@s!I; 6~Vl&Uܜ:'6b%6L8f6Q- h@%7wllT+aua V:⦆N^{-[9=::> []HZppeK.uD騂ZR0.W]}B܂Gb%d  7E0%4so}4T"O,rcRLZ:F1,aU,<(b6Ö邈t)`>"zaKiQX}G+ΧyM E2k'2:` 6x1>&R9~Xž^'1'7vuGJl~uO>9A@0Ccv8(X#8~{&>a2|VsEpL@ zۼLuȺ' ځ ȓ * $oKak 1 !w'>u+3N {z(nH {#~aD@6rA@k48&pG`qt)ߦVP36V |RIh]7Z`*y1xN[gYz?USȉS\LLjE)5< NIYrD]\$P)BDaPG[RM>Q)C ADtнO<\zBˍ!uXۡ'nopbjDLѳ enmh:3\TR k8)~|ҿӰ;t|c|NO//A@Υ#4|R<`ӽ,!Wöj?5Y{V9P^bePzA n 24 I!i7r9Iu!q!; b ilGxAg]\M8[}Mcچ~em{<v]:=.X/*nKx,ַjOvʣaYф#WOU җrEfÚچ`|46l{($."HR(n6՛yɥH8Z6?v0e2?Fx:ef.mQ Ue6AOwHHkSN {y$&x+a-~RG>u4t+\Y6Vs tv!|RN|# ?'$h!3d!78/(6ڏQZ%"LWky0q6QRvW'CGWYTSUlh@!=! zj#1jVW&k d,z Y ctGj2ʺG}C%_fJV&r$/ϓc/ _Ӻ-̉)l'd+)ð7~U:y ժ \B*k2p$,a62ƕ|[V"1!Ze{y ;F9x>\$yL6jˣd\tniy8#!i/Or> \ S1Y以 To4M~w vò+M%IYDg[X "0|Bq5kh9 )f6 6c|e<\w)hM'V>l[ n,%~D/.B흒yɒU>S'>A7J/Eހ߂(A\ i_Fʌ߬ j$W&8z ,{ p.[r̜*4yëϚ`'Xj8.k?@tP}06bﴳa0'fm XM 8=`Mߧv+ rNm1V a* bHuS!T!H9ȡN?a9IHCԨk!šT(*hy}0-Vũ3̰g-w`5OAN](܅4^D9FQ3HTՓVN0ݱ = ^fIRIvTb.β|%C|#؅ᨪSY,!Gk/]oVzpBGujW.;}fRhIun.T:[gJI~-G@?x)UZf/S߿=Hf4,Savd'X$^eGtzz"XR5d0rA7|,BmW"9)pFJ?3p1< j,p@~;~fj,{X"u@x)<^)xh =:cwAZvQUBZȿt nk{jዠXvېf)KNZ+gz hLXCK6~h2=U>L)LC҂7:~ \uAENO_ ŌyqkJ,J~1D2@Fce}?n6gW4,E ƶR6L't O(3DQ+aM{{.sü<$V(*i!jȷHGY.@QG32|K:7/-P-&lϜ`IxR|G*hƵ6>![Ӂ!1]x@~n\ы"j>ĚQsF <=|0 * y`Xx! DPT0_{_%_׋ KM:.zԾw-.qOOߧ@Dɑ01.BWlYޟ ~P?pӦQm@ !sc)F,F$5b9+'wQ/p$\Н(cnü؟%,ذl};6I>T*?u04SasEAQ ⢡ufu jDSX)[jds bQ| Ș2@ I:@Ǩ % gm9r5L\1Yfs[Z3Z?'Colv/-k\$ײW_LoN}N!FB]E./N9#(1Ѿ9'ݏ> d,lpU .vʤP%"ᙯTKN4!t]j+y!h#؞ۅWϙo7!f }v5r0B~Su9SѸmF&¸U5(΀bMoWKbIĵP4Yo7vCȪc@0V.*/l!O d׾ yo _'/e(؜jO@Bm ĩnwGHw]Jm4OzQa2_ONizZ7Єx!Dunv N+Z3떓

=YE͞:D9 0[RET.0Z)O|܈c͔W%^9L@WδTQ`o.4d۱ɇSC@|qg40#BIE/K'gɮ(O3hQIЍ &*wseFc<~"(?[L^Q% (k#6}Z Ch !{E:5X0ˉU;(`fc&M} iNھ|Ym{13Y+LtLSN9ߡ%$NMh}ꜷx(?4 6`v'`p(,BmHZdU"PMVJS"&6 1Z",0IRkTj?Zy-C'%H Ǵѯ(J`+c+@2o|4Y` vsgxO_őB_ \W2g.$8ƥ-?y`7+.08cV@֜,-d62Hvh~GKiІV Y\_W&6f 4 ʫٖk0P' [FI1שO2]=+]hf=?79 3ߡ2XhЈ{GkGu#{5BrIX2J2&!ZcXg.7h?Hc2~4Mx^K] cOp8 l?Q ˸ƻc <RTNI-$ f}s|$>Y۽OAmV̊ul1"1^4wВovsJ+ *VXJfp)ytE\ւQZ73R^&1Zq/w$c7P6A+)ٰЎz)Z?}B<ʰ C$@^ ( w|((M+*!Tp ,9cĀ+`%6Rӧ(]{k&5ᷕj͞O^Y xX]UL%=^Ҩ]rv:-]<\tHyaC8+G-هa'`m}vZE /!,NWoxoKb<<Kեw4VP@(܃7ORZPS5#dO0HRf@ jNL~Q%H{-?^% 140Z2+ʫ}cQT![>`;slp? $^l&Hy ݷLO,5zsma֛datĨv[2zԌE81OS#XH|*aGÌG>=^DTCp= %Z# ܳPh krE>x,s}dF\dgwx`j> E"I8&zs7^2Y‡27+.Ή=m[* -21A~M]2&V@PG=rMֻ6lUj}lh0L_52ZH(kvsv\@חV T=I5s=*a=mg>~1|>PϗV*:s\k kJ]K72 i!ܔ03ޜq%pv}^%dO͘buxUNtiy75t1C0T~H8|FN&V )3 k{w4P:N$~Tp9[F6z:ŤJ~-`?UB >IӸ+EƯq5%._%#IJqIψQTa4c~,q浿Ȩ<κJ3\bw%_הG H<ٽC*If}+{sDɳ`)v䐆vs`DTaiYnfdHvECg枏yT^Nސ(ކ8&of! CDܪeF=I(v6o,Nz6b/_?2|SϟSnWh@phHD)D""r2V JYK͝/yn!<2/Aq!.8E2;ܾW/KfF:WEُ`(=SB[ |1 Rv& X?rR*wf0tn/,_$ZM!-DD8(_bAhh#c2fW9%(>"N ?bO*V$fiVO/א?Dw79iweKeTF+d-JTQYPdcFnA*}j7 Z!$qs5EgO-f̻u?D.zmҧ=PU5ׄFBl+ $%(v0Lm>!dc) dX!-s1xQ3/yw^]K]VdY\JN9b!)|ْCE;y&2{frBC-փl%Vr*n1>}b;R]{D#K>]JYLHԝb90hAAB~`Nc~eP^P12=aO|i-FZֵ*dIWr#n+J75K6yrD]0.0 >\:rk~9ĝsSkfs3#`z#ycB+uHռ x Ciu ѓVяIxA( FZHEF01Ʀ_[F6r.=(OUSQ% )PUw&`i MakNYDOi@C禴&λ@g5ӊ]~'zʃwdtbB;sƓ*+-y[yr;~66Dqv \CN3!7zFxyo 2fF&ix9"lX3˽w~c~`cGomƮRxI%:|XٶD(ײ< u4yPl҂VϐF{|'C @|&xq-tdB6Q qS# v$8=k2Kl7JG5 guaJ o\NrgdX b%)SހV8c7$^~xvʉuk @y[GhGhp~;rV#?BŪ䅭n_֥W ׇ?MKg o0FWN GԙUub[jlx*cK!lG>)!dΌ_Rt%4׿oITL0ڰ{l@?RdԘF 145 >`Sm=J7U@| #9>& 4DuKDCzP:/qo3>e 2e@ɼzFpA6,rS; u`xp&6vmS5 -AC/6xmהh׮% 9bO($Tg\k AQx&Fp[S?_DԵ6mKvt"׫p֖zdd [\g7byBN4kyX2Q✚,ru9׌+iՌ(MN1}yoeR."*2|=I^hSM$ߗ4EWƹY-P~ژ}B l!A;]|~Wu{Ӏ+sIw$.>c \xN6n_ȡŋA sf8=\QMh6}u jguُᓼ6w@]i&خ*1Daչ0*F؍LqH!z61 grQFm?70QaKx-]&<.Y+G!L Yp桬īf'a&2e{zL dMSkfqLct퍛H( yOBM>rpR};i*YFnڲ0e1Z3Id$%nvZO^-pJk{F*3iRx"ķ 3al:q3 w`&:ϯ2k@ldt6߲oşpJòi ;+ L]O{*#a|lM #0Z8oep"EՏjH\t30sܧHq '"-:`s3Ż2^ ƉCO 3?fy46;frN_bEV(Cŏ~&`i8eO9bF˼kO ܤeXgnhBa P"Ƃo7YPcj5J:B|/@Άɏ?wi\YqFw`67C<"Zfm mn6r1 R+$_~@,{ OJ_1ШN1'?F9gr 'Xd_Bk=όbm/l ZȄ14aYQ5K^^e_\ڙ[6%›<UqAÛYb  #ۺF{^7_UzIJ|E}3`t>1F<@O^pDZ<\/ۄs 0&Ldcp-?!+7"M.}ۆ 1_\RʙnGyO+dsۮF&sfFU|z)2(>?%p 5NWB&u\7ovCm~X`Pqu\ql<&i*sZg0U5d\ >GLH(*@ zlZg>e̩!p"–h) Kߪ19PA4m$@@fGY_6ܙ»-)ef1(>pTo'* 2/{mځJmZ"膣uuvKGXo"xOX/f.2 C°cKi@L$ f@ίB_7#[J5bVGbd'́T8 ^ɒLvfcʂyo,O0 uV;M ~Zh!I#Ebxi7p1ReMwA(jw4x ̈́lDք"_Xw#O>%as1;N2\ c1YMҳN5W0&­;ˌ}gCӾgZr%Fcoa[r, tK 07G-> \WyP a4~e@)G-lwz;4D!f |[7WT:k^)L'T;ZI"Tx)[&{vZKa#_9&%^Y%)3o5WAzN{aw@)hKh4tNt]$sO?7HȗL 4-^J㓆(:֤M;W?&ɧF9}!1 Á#!=Mo>9  5&W5Xjqa 3KDžKuلpCBHx0%+}ϛ4ZX8ʅupw8T_/EZgˆh ,,S,ॢ%ƀ1oc3,ļt_?_ |z)K,eHUx]qqWsү2uLhy L^٣5jYBE2ivzlI]'ھ`uM?'Pݦq1FrQ`3>r*<6Gb*J~T"Ա׻?e]Jĥq+3\$Av^DL985B &64ҚUs2AU SK7:ǭIvQ'LQ|$_\g߫a&ded?f{X:ƾ?_la%E$(ދ쨍/]A}bnN&L& km$[Zhh~` 붮Af{P=L`#] ڷH}!0]G_%mh&@M"j$רdy[SNyzIjahC|#:s Ջi%]fBMj@̞Z=dQQkmn?Nj,.Tfo%58+8fReyd|-77^ ̏RpHU7@Q]O t.mtqMn.B46OWnBNz)ƌ!1X,k\PE6fn B\hz+@E :PcQDF>QS1yD6{=dq Օ(*ScTZV/@Oh*)iNNzwY KLz.-z~"ͿH`AW1ZCm ^B2l{R@ņ{ )2&ddeBT2BΌ ,^;--5k̠( Cc%ۡH8Xw5e`?yҟHFyf,ψ F߱ʒH_j#UJk>բ6RIST(EN-O;RT} TŒՠn#9|hsݛYj@RG+ r "oRƭܠFtI2Nd3G;,!Z1Ueċa\F:)AlBs#{Ai B{IWOd.Ag ty=̙3=Vi4+vV/i۩329]ݴcV4h ө (0J8iNp^i L[87&/l=l0r>Elj>9BYUOV|޺ѶO*+3Λ0Noz|[qcz~<«B)8-R){v!S%D#|y]O 9`>ţU\:o[tY&w~POxwO#3J8UjHċ%84x&s7"4Ky pg5!n%']ap9w]ܘC m)?">a=,HΣnXLyY)u$,F)e_wHգ{Hףoٯ/bocݫ͎wבG?k~N{屏mu_҈o,JF)Y/gՖd=ww ޯE!Oxm/:-|x,7fqfC'j!^2äK1|nmlDa4~Xk/*~Fd Cw |SU'zdrz;֖b1XwPu*y+v ^܏w2fGEW;LjwG?*SP::pL<<u@KEd r; ί {AwbiWRB>ch1#I&C2ă斂Ġ a6Gx rIjCYg ' B:x %2GK+qHenγebmɞCdA`Y.B܄-]1ҺMʈ@$ wW]|`> \:JaزK4XB)#Eћޜ 4&h@ +qA`;` 70J aMϋXI6*#e\@^+V4 oNKO7{Uء 硩塱ᰖ)BI Y8`2Р J0*WOm·<P[W6Y>rtDNQ[ 0e\ sfOa=$c/6'O-&*P%NR|$Y$+Qem nE 9u}p@(ûp9 2-z`03 Gk_6 #DȓA %G#M62L0g@ qE0T9_!sӇ|IxP7!c-)R) $ x9В%Ghf [- hp%cW^AR^56 gP` m[DY:a$1}Դ'OI'%݀GW'{(adnXDދ0iksaIWX5JPVaC`E\ewL^2-LLJL2%_ &r٥e&ʥB=nic1+pKY l:7 ~="Oڎmu z*mۦ3=Bv_(m8k$gCJw9bpa_ f 9B]8}g ж-0u,BȢMsնJ``"7WSU5%X\uz+UhjWɳWpڤ J6cVVVjHYLg[͛]Z9z{*ay(r ] ynCi6w!c]LIZ%Բd*91AA5-yFFH+֊O1y}ӟ[t_&ɦ*,&sy~LYsLΆ^b'm';f>l&v7+U5sx+%n2I{,ۓ{'m^C;ح# n{Ã:z(RA.*|uNtI0<SrAۙ55n.P0'=D&xr\Jgѓ:_k"F%b$\f Tf R1+d:fRmA@k QUcd:[ՍKw!|]k1OlMlGqNk p BW325EXL+[(&ŎGFBN ;b|R:lXNF>([Z" n F2F8sM]=#iZ`%T@Dl$:vFa9^-5co@L)"FΊ2fL i9d(sڇSJpqvdxQԴ&MaSC,hSE8 !-!lmE?ܖIzJ: i䞒:' 5*B5pj6UR' Ǚ0ɏ1 =%C 07Ab@9 +,<$Vcg Ψ)!T2 4  Je%7,ly RCI@ A":Se*]~3Ѹ+K}fwΞ&_OV+iуb>]6CRfz NA+03`doӀFx͵(cT3+idt #gXIvL4~V%@:?h$4^ YU)A5=YT{60Ħxе;desx)pb/v) o^!,}\k($З?_3__JѦΔ xLZt5S{Fr[/b2(9KTb9Ľ.b'nU"]q]t-śMlZ )by/hD?PIsj To+$6Rj|gW:m&9k@oѹ>>C.=l IsȈaa%ԫ91'ue΁Ov=rճ@iҼd||'9WZ!.ư Ms BZvnBzsSIxňf8h̀(@.S:`uħbL$.&Kٗ1]뇕eMLo*A"s!3P42⽛34( !A3+!6].7wu/ti(6 ?5=^}K& ?.FbHxCv1<ǫ視{{nu7{M0 Dz%{>O}yfƏ,\JkěNdHaC(x). Wg5$C)τ:swfYȽhWmpU9"b4Oٗ94ͥTL_0duHu^c v8+/xڿxB6w׻>ÿW1ϛz咗 :#[ Ҷ=VSwFj0l7#rཱྀ> pO䊐):J40VfkJcD ~GB"]$y!-_>z>_yocԙ3d@ٌz+#S|$p`w0 ueMeuC4mb: `ߔL|y7;W d|/cؚBN:'rXL )+nhbDo;HC,8Oźk7 lNU]$ Y/-  e2NqTڌ`К{xp8UڞנLJ!nQCA e!NBiby&X:~?#Sy@#愑<`Du 2cP{ 40_zBmd% kRy2(bVi] d._hC;90>,X \R!K7:wrjTҾf&d{tdUU 17 &#OtJbҮsW%{WΧM*~@}2Y; 75!<)0Am!aY9dZqNUά/_D >*9ם p/;_oye2; \1ȶ!c<:%Bcұ~Dv:i kL(47 ӶfdNWH# p:0mxo"FNA 7[Ͻs8CeGYmzE ˜erC(:m-ДKs,\B{'eu eC,btf(Γ,lbmkBыG-/ >59{pڋ\^kMj#LR7݁bOèB6^XՃ5"Ȗխ? d_nJpre$0yD.à)4^0IANl.8HL ՓInˑ:t !Sβp$l7*$\`B9Ew`zW7v7WOn>6\T',dmS[/uWJt=L^'s3uF/-{#*#ti^a  X93ʸ{YAS:F_R͈jl_{TLӒ<^d$!vK Ycέ@]:b |U/׭|>ʩQi+kR @MrO׭u97%-ظFA=8pdb; dvl(sD/luE-cݩӐ] D=c+ߕAz0J<}m3xdcʤ$ *mi xS" ٫;S;9ܜ!g[=78y_?4{NSm,N]Ja \wݭ{ ߰k~s=_H./+N /v X. b}382M.3(̠@7{ e/Dn}{6'vHkŢ:;юI.T6TLcxҖץYBfl$+Z5T:wMLK\mQ&=PF`Po/2h|ϸ$ʲoAHT&,wCa8gq="ԧm_ͧٳoe٧~/fp4 L/!Yc[ry -8l'HV4yLsk񒷮yM`+IH_6Y݈KC!kkBsjzn,4W4+ $DcFb?7HI=S!s EY YV_8F!ͻoIr_Anf~o[n B9 c]eP^*^/gz`(3?}9S ZrhsHM ;{,q87U#F9~9\4'> $}BaWzSCp^hg1k-hr]IND._LHF\S:V&&m(`D~:O6l0Sjp=LĈ)π ݛˣݲWBϻ=)i83$ @^W7ڒ_ft_BK/Xmrzh["ɢ9%ECI@{hSb1%B;+ʤ$ƆkNW7 ՖK!ɕ0c@_wݹ-8WjZ:L/X25\s|5!O|/`͎e(&w[Lӂ9ևȒ VpQ#}C#2Y!Gl =㫌 V"FCcZILx3Qٯ *T]  ӓ8HSۥ=|3'@ RF(N9_$kC%Zۊt2%Nsv)eEW-:ΧO0'#SE  fxO|-F@.l;}Sm+)Jrm 3i$3Ӎdi[od{Lb2H|d=w ޟSȥVȒ!1A#Qx̚\x3[;cXvS\U_*W8yRJw׼Q+X$W;-FNaRs0qI1R}G߫joIaMiSIV˸;6jDa_.2$ƀ8>EJpPuv{yDe!\KwV.3͙%@Xc#J p~S#L=H(e<TqV)w@ "jRxWm' >jr&#;c},8%d*m~B{Rn5,BY-XH=H9t2Te*VE*F1bdc~*QAeoۓ1ܻݲ]3+@lʈ@b<_mP˘FIb׽ 9\,R)KPJ RgKM-R :Tw'1M "mbGB0" ^{<Wjqx'VAȄVOD3Eᆋ>Dlez@wP% T3`$Ϙ?YytY>,IDKo$KHD.g@?X}D1tE2{ϫZl؈l0{aD8 ~pQF+6:482 #@rXunLK-JGf3fpgw3ppY {tĪҦ 0RIqEk;}(fnf @ Kݟ@^5#c5IR`ǚ֨zPElz/ScJ6Xɷ޻"ZAKA[Zw=%yG0w<61*K%=h$8 Ù6ؘhxl<2,V-WrEU+RQfË_^߾[^jk,a״ݯGa#ǯ^i觳oya4|\)+S_qk K#ݔ^儚tؤXVnmX^ڦ_uJ4R:զ׷v[V]l ~ӌ]RK = =^ŷ8fGU3ܮPSo*f>J 'gcjk5P ʦ# y S1=i 1cDdd$))d0NJ"o]Q(j\<R}hnP1x5?8bGEF:7P""0V>N b]d}Bg&ܿQL5"۞ܻhJ$? @B@}Z>Ns-a*t ћQlt4$*h^[Y*-1?XJ]^[Ѓ kcFj3U޸=rD)"G%q5C2>DĕlIh.^f|~k鏀+xfSBJܮJY:<츙pk/iS>72t;Y 3;) 2vM}HHBs9}m)3z hK"VJhbn5@5h mV`r YܥHTmm+)ۂ="zh>.^&&"\o]EO` j#-&.̀b ݜ_Pm!+bNmuZNgZkVT*n򟳹^4UX_Ġp&gHu; 6>KkEco7CNp>.ק"ЫXK`&V$Lj^L`Y,lqe0Zߌ:\vN %#L ]& .^6yt`p0y0 4X[9\1nk> o_YWu)djRsT=>Yktmq',Q%v Ռ甁Wq\ﮌ*ΰR< P_G)- D&}זgiӠDc k2wP -%?XXXh޴M_jlF UÂMO،(ݴ 5֯w2Bnal!j <ӯ`#II%h߄@xG2͎gTX8Ѩ>_>}qql.ߺf;QZ5D$䭋g@f9QZ"*C%y/qhoO[ێJ`fp zw;|F#DQH':۷> y5:4<ۇ7F_4ƈTLGDZB^cO(6ߠy91%c氘qT eT=ze>mO")(jsȱ̜'xUՎw"_tF:1eRd=7U#9(Uήkj #QKw<I ++-z({k4Ids&E=HArE#[\, F7&(b#mW-!bYNήjp]vGKi@zR{I eT{KfC5(t֣~|Q@L6rء4*\]1(>Hw iN=/ⴤood7/ DMKXqPx 7Sh^X=a\$Eq5"+ P0w[Ciȩl筇?FTFa? lcӌ=5Zܜ}4 @g -(ܐnDL>ЄO˖~Bܤr@; b2<>c5/{ǁ~@G{CY.DMBP2Ӧw>Ŝ@( zX#ēʃ5Pe"̼YDGdhYE1 NI:ڄTdT+1[YϻZ\0XN."T,`ܺc VDD@yƭv )ξB:,RRq> ~<3U2^:VQ\OW?AK7:xapQ! p'1EvŽ i ùŦE!R5NR^[94"L+'w GgdLBݠ"xk-MrLD}U0.<)B|=r+˺gISUDrPNE҅ge{^VS+ V+W28)Wk"XKA C2,Fg7 ְM 7@2pr_}/5~z2q)ʴTO.[ëޯNhHAj1 kb8̃n6_hs{NtݟLp'󸌙t ̙=Ƙ'o̅ۊ9.31?뛟=ɑFY߬b\Ÿ_[ۺߊꮜ]+LSCԟDJDbK cCϊ`[uW4]NtԳ_N}ϫs'l=eQ */کmaXRv *R^C&׫aꮮ UYpЧ]gI ډR0;zxo{)v^WߵQw*uD #Hk]œ8Q* s;HD34BuF E/*J{#3f jXW6d(CBf0ވ$ j45!(Fx)0b(w0iD k/)$';?b<4l_Z!f?Rχѓ}?/l|?oi31\E&[U6K]=떼^k_)O&S2>grs/b6Ͷa׻,B/ T2%M1 cڸ-̣HB+5v̪b(3++ lL23@qP'$c[#K.!E%!V$Aaf ~<+%qCF!eH!Gi3@T/k8<-V;! kp̊5U ؓE"u-HC3 e.N r5 1Tqtq|e I Qa2Y슅+oBCkBV3椈 7h#Ic@ (& g33HE!r%)IR(tv 5++}w<ѫ+fKkh$ h9oַ:B=20IK-U/[S ejp)Wrmde-c^P=Pe-01e9 ,q6Xkh|AMA|r[>ݯ8bSY G>3Ɠ^KD3{3"J6"& . K[. eep~ڝYѰ4iӳ>xb&h\F`oibbdفcZ؞3M2EZ'K;^~շi{КD 7ԿY0'?e NyPnW1<$nZ "eY6*L"aoU8PpL^@QhȐEVB>c[o@.?W5wuȱXl% PU'Teu٤'0=UͲk#hΈSn4JR8c[,1j 6gæ99$KYAƴ(xeH*kD/<ߏ)UaQ p )~$g4jS< dᬉd\xɩ<,,}9uфvBDLQ#hވL|m|tonGwhS50* !!_^,yjUf:b$%YSםmqRH'>hk/!VF2wF,86\ gJ&Ń:ڥbep\9ך >B8p5I47it&UM G<LpHR )yB1x1[8yÑA.ӛoF:a{nכYC {+;}1wc OaӟddҔ򭓈k(6CFtmK dIpO ҽ\ߡč3>@PCOv@ #qxu1׬ $zhBXe<jƝėc~BV Q ׅCFj!\ a Ȥ=TwVa+|MK94AIjxg AO sı>EѾOQ(. FoѶ&v6gufDB G~ .+qb12"PbFT DWӰT1a8HnH4-[Z}obajM#t K"x~/nft0u׬KNmm}' |b~:iFniueGD%C2q;]xp C ΈEǥyAnB-f`Y0,7~}oeq[RȪ:fC8:xR!vMŨL^ IETCk׏T<`18!xǪ{ޝ//ϸH8do(`1.u*'P!_[a" /> :v D*º ݠl;t˓t{GIzً 을hӞ% 9IMY{!18>2S a6p4Jx:·o'`LI84D+:j <٪׺69r%|X,F:j|'Fi  @.4<-@C&fu#b%/u)n/+醺LMס=hL/Vt`FE ]7/Tu;3zgKT`!xnE[!W#o3܄a´mҤoqGbDT@Se*FwgC[/ĥPF{\lL/+W`*V' |Ha,"V :ʨd/7zC q} nB Kzo('kAno}á4Bh[2|~l$sl*'j̹(ϓٰӡYLL|`pM} yN=) Sm4$Mˣ"lӸlK:<ím%Im\d[boнVU]RPEa{Ի"f OZV+g׉HfI$ỊISِ,Z.=_R:Ub![8ǜ)fW$}0T%T gZ1nDehkvOFܴ=='v#ϪwvH38%~a`݃oM1YԼYJ0?>_RBעW$11hJuIҫhW(qV ZIڔ_ǚ(