ltl2ba-1.3-5.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  Wg+Hµ = ? d    J  &2_el            ( U     (F8P9X:G H I0 X<YD\\ ] ^ b d e f l t $ u H v lw x y  ( , 2 t xCltl2ba1.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.ru_RED SOFTRED SOFTGPLv2+RED SOFTUnspecifiedhttp://www.lsv.ens-cachan.fr/~gastin/ltl2ba/linuxx86_64FAAA큤A큤d3d3d3d3d3d.d3^ d158838af7bb01d29809abb99bcc186a50243e49f1a6dd0aa14dfab78079a6d1a490363c76f5cd72be2e3cc36e1a8e48cef38c85edfc53111791b59ad8585159ce8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b8806435b2edcf746b1b7b2f0002c8904d31be2a843924f313fc438dfb91fb6fbf85701../../../../usr/bin/ltl2barootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootltl2ba-1.3-5.red80.src.rpmltl2baltl2ba(x86-64)@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.4)(64bit)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-id22b33a599d1817186c0ba5f28c5031dfe395a827ltl2baREADMEltl2baLICENSEltl2ba.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/22//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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnuELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=22b33a599d1817186c0ba5f28c5031dfe395a827, for GNU/Linux 3.2.0, strippeddirectoryUnicode text, UTF-8 textASCII texttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRR utf-8a3db11a3b3ae18f7c0269beba15bbb7c7a30bc5c16e635294eed85033a84d9a489f874bb0f1dccd97897751a21e77b41be7b8ff43b4e185ac952a85671956d81?0(/h hj]K%7JQ}Hr'#B gG=~vSϱHZ͇6{`cn`\)W˚29mqyL3:3"J_vէ.1NQ9X3ߜvؑI9E!)h7 DG]x=;V"wDzAF!虭/:XdsR,O;!k%,Y{;~vBX?󪹟o) YUNM)*RƟgu\ڔTΕDd-e'}pvp8/_29Z]:;IY68L̤(U)oP.&}'rIe- zgcr<h. #|ֳD{Lo6~Nu.2*\%r5mI8>LmŴm96d%J& 엜>yE#g;I5,v $z& K/>}ΣD7h/Ad:'&< 4OT{|/c9ۦ˦slƋawM ,aI'w1ٟYBc7 C!<717M`a"ywyi,.~ ysy廐ߋ:dYg/npXӸߴy:;SU%Ti >Z3ɞ>(֏VEE&i"%mɷX)3ay:aL8>}l,&o]П=)˲&J POPA_J]/} l*%p)Gu\wk`v<[ܐj@eΰe ]ͨ.IM2k`v9 $Rz$L2˝tS]z<{:`jBbZ*hyvaGxMdxA| `{'m~jA.<$OZɰgLZ}c6j_A!<4=.maV00C,M|d@ 4 p9\K6@!yd`3Q ?~o{bTzy: cJYsZba!yj`MD_T{mȚ<x <(,2Y6dEg}ԲVP%_m^8Wqm_Btv*e[B&oVqyQMQJ'ˊ4$/K2̹$.ɼ&pI-O e[;2;ӏvF(14lԐm7dK KS(-`ʠi[ e{̭8 f Y9 BQ0R0*`LC2 EqCڳqò|k"]5UYhJqIa6P3xAHU,46Q*aA5ԅQAN@L0n`@ xnՎ Ah2!4D!u"// n 4C%?ZA9V B5pb^p լ1kA(dbD +n`Ą9aB|hq)P;Z_-‚pq:m9.1dk[ȏ 6[{b\[CXWSY䪽ybdÀ8bltn\Gx=8xmѪlbZN-ȳ}Fu"^pxxEN#d'Q^ʨ̣ߒD)D,)s$ɀ,SP@>CVɐڀ-1B؈M'4x5#t‡ x2U~y4e+!+Ӡ<@%.6blR\Xl"6Jf0ı*m,hfn(V1ĈSԖ &[Qɧ\($ ]!J [% yNjg6|][9+cb?G(З'=>+af$p[H_1q*"с઀dMs `> (ffG^v7#/(HbǮHfDBh7yMEi>1 jQ+} z(V \xU[JF~Rz ]bY*4u7\} 5Smx5=p3Uƪ} rA$ϲe|}Mߏf&.zsӈ|&;f#'Pr#Odإ=5J{טo׊yjƵ(8G_7A)+\y>{ 㛿#թhW=Gkc,?xe5 &cٲ^}^%C%|,>g9n;}~CW|._yGS-̊1kHm?rMNԔ:UCe7 t1TgeaB90@cJ'x7%ܡ(u = fWza"l o֠ Ɔ;6^7'XB\GǮ;G& Fuc1TJr`D؜g.׺<_BbmJai+-@IzMǔ>{O: }ۓN*OФmyWmwwoF|e=k6u@oU*>y y(r=>yKaM'5ʾTQҽv{(&73vv~?"J yѻBɉSSقe惶]X6xvS a"3"?*%|͚5g/KA#Y(cƁ3r -ar09idc c \ XQug|'lG"g~,| ЋT(IٲREm#Mn:~.?ТTw8e!ow>}ve8"㗎+({eͤe_Bx"KTXJֹЂ$|9DPF}@F/]7m'lei@k bi8%):gdv f86j7HmC(\J7CR!i.2ޘ;`IKcӑ341y؁A%L)e?fͱG,`pȵA\ECj>9D4碌4=gcFUˈum5@ˮEx'-%ua5[ (|tD1 f0:X"{0\dĠ#""$SԃCd 0<,4؁AlHȆxq2l 5b 1d,B]_զR_:\M 9);DrI]듾M}OWE(hQ2YΎVӨ_؄Sd6[!-p==AeZ 9{[ _Dl$v1Y꣄$i >%N?9,[@iLըuXK># H"RSoXB%å %Sabזv~oev&UZҘ>B۫x'~MV:JtCGsm8 Xk^m|ol.p$@/lϕ _[KW;AIZw$gw q3-)IYȋ`8h J] bn 1n HSLW 5v&I*̞5yk#3{A'(*0>ȕc:8)&9Ia'"X`[693ID;k$["leJ=E@>gS-#W a+~hDQ*8kt!6s  n+J+SGH٢/-ӓ֋(-&wZ1ئb>/6qhƩS 7싦!mw5b\<uyO4='H[VŦ%@啋6td,;oNcVm2D00x3vJ)}{z(P05]czlV:6+X\' b<q ǾE u' qZ OU M9~r=w1V.. @PrD!oIR^(KciB cCtV+F2XxKAEBnV=ۜH(a׍o&opu 2z JuUpIM6u{S$IZՔn(O7 [+ed+EYsq}+>߾Uz3"S,?ȩ-;z?MX3{N|!iɊCҷ#hEGU؁ ZJSD888fzb %Rdjݺ|,uATqQgq8)BdIKf:5.>y9uU~CN̟#;%H,r (#=ދ*&fRkl&F5~_8E\l UopMZnDL]Gܓ/&l'/$# W>guz! \-ٸ0#g ks%Вj1|)*BGhR?>.:@@θot`(5;c:%2ī35 Q;J9Hxl%N>IC(UD*(]H;M+ȝuo@%E`>8G p%P!N7OğsI7xaӔ9:wVT<7aua{ZDu}HS4zkLDx`½)rkjQ6"%WN*>y H!PwaP˷l9K IJfE.0AIypw/25ii@-j3PR7BZG575ۄ[Hb9gS^.0X9$)("`GI* ]@M;qM"OV5yBSKVi;M) kKHDL)!ԬnE8H*U̖GR~)p=+JRI %wT^%&b(?P|L̲a˛G8!o2!k ;~_ZrsO~*/D_*IKw~:YNF F\ŲE`e؊1g7b>*T~ɞ(  gY] %tlβ +\Gf1 ]̧O@tPl YO(h{t.f@GLR0G{C.0zIP2ɿmPR>Ǫ#n.T~ƺ5>' \"^M[O]nÅ'/?}#TO Fvcr[K!,!6G6ll4@ܑƔAW*B|s_@}`Rǁp}<^I/FڮW:ؐĎ-8#Hi Yv 'ShueTmڻ2Nu ?*qV%5)l.zlФJ0a4 a{dnR6b |t 7pj(2c=eSZvٻ: {Ֆ6g l2.2MeHjl`}q5,uNP ȴO@:cB27RkS"GM-Yyk+rw" ЍݒrKX\USȰܓKF m=WcUN,mj- jjemo~^{EmǍ <|j;RoKx7* 9>r-ORq2in!s$(-ZA.͇%r aYQH P"_ wcQǯD&[@!J#+ҡJ|ğo*5;յ&嬬c9 <89]D#PRr6[/a8YNcW\hB4ܐۆr'>[rĹ S{63U7ްw"tvvbE \In<ߵ}24@{<=K8?cwN/Wz-i`@_@ \vNu-ࢤ.;`u7ffaW?&`\.d%B;T(-p, /8V~V>B,,Fw\g<5*nM:'aͨ _ Z 6991e`*z^ J[by-gk;Ŏ*\:#yw}(JԱl8OQߜ?iy["'BJD8hK OZ\SdW=[ ԃœ|!bMpeuWU^eq6K2UBB-%9z@E+gsiz/ew"8sS̋h#xVowN ':lY-{6sFЖ3B䁥Y!%75þb2D%k>Vߒ &8 J9BLذC1(}L*q'jSe7F[bHw xaS);u05dLpIs(⁂F'dx)$GhR2ye,O6LRn"%+?<6kB 0 8 鞒d/ºHBҏT#%vm֥ c;JJDߩUߍģ0E8dt0rDyp^eTAat0sPSհ||(=i _?P?+GoWː2?H+XHJue&6Yy ψto ftνUOC>I^0[x'( @̠9bx L(JG"݊w{>%XXY\dC):%8%R#Y"#@5"xzX2ݏvEw;=E<IZ &ƾĦ4|\ym٢g9Ua$:8Smαm3U,K&bϔfWo\=aSS&Cx:p*8█CBIbV6sZ,zA}զ\Q U|KpR @ĊmJ5᧞zFv .8?J W'(t7EA@o{rP6AP IeĶ(J{;z*ԂyI^0;z:*Oj/oV"7V0[+|jeՉQ4%=f i9YQ3!#oqb2Bk𲜳1- pZ"t; |![Xq zt*H[KU5{"-" U:42xsS+RISi+tYA|}*Mq"Hme󗷎L}ϬJgVKf6 #:Mh%?p0#ǍV6;AUx'WX3K?mZ9R}5u4Q_tF}6W^ZOLT;ƷuUJgSZʇvVehR[F0Ŵh$ŝ/? c;.Ycޢo hk*>\(|22+Joйc+6=Gb?4iO9|s>\x=AĆʁ5H14Jr@8ïgPP0(Vؑqf ide=Ro w<LWiR7omzU|H6I:Ya4;/T { sij? oo^.~xx̐9/$Q&w_RIP[iʖkN!s^VLx?v,o}d`Pu2oHҼd.cT1PEg-Z~4UaC v%?&PxY\QTc|>c2lSƏ*Fk=݂~P$g{}V"AD- ÙT6~f jzO+^'8*?Y:#Tneԥ'_{U'_n:=|y|?(~%a8Feg/кеE32]/JJ)jJ1:a?pL?vpnV/mV]gTQc)~ :eq6|h\ `b83bF`TN5x욙ol-_!_+%ɲ=F୴L=j xXrlRE3休1UoS4IqNIɏfpi"`ոRkM/'A]T$G aro"TrOnJ?*qV,rOn9B2)vV 6f,!b]FD]$]A;l5g>ʹklP%Q72EfX-c.'7QD9^"+Vt w5!ٰbߵRc$%zLW`g<°Z^Ood0G x.0Gsm1Y-oQuL o-ԊTa~L5+G `+݁@N4Ps>?vG#!@]@{rV#.hwZm,!x=I+'oOgY#S0Af=Y3o<4QJ UOějorm,r{bB&xTc9~s8{zЌQWna%)k 4b9v7Z|a[ qMO"Ym _Gt@y)% }K%Ì:Ckخl !4ԓp) HcuQBʄCFob馦IɬHԇt%`#K 嬘J;l8vl6wG*TBH25c$GJ撤l+m"/cɤ4!:)ى(Ɯt`l9<F7bFRۃU}t۱C# x$a>R=8{ 8=ɥ;:YhR }ga3 aM*gp`-ݩH:rhx\.yk><隟.?x#]mg-J`MkMwڄP:ʤƘ|jv@A`.XⵢV~H3kPٲ[/S; snX|=eL'x#?5~ܯT#,ELl!訙^je̢5Ya=.L)Ӊ-@ٱQ\jS/XdNr=&je[KRlMK,zѢ h/tCmUUArMmȘ䥵8mZ쮂YG*oΉt|' frh]x z\c hS(6 /f 2KN{GO/b0<|P|^k}sW0VBA\o'm7wW5FcgQ`sEb8٨zSHM% ٩.UXa+F4K _k^Wgw0q񚮂:6&/HeQ9٤Ǡ "1eOY0y,Mƫ,Mo'ifTܩ#-91pJ֫xńm 3qyҊkc-ѡ^3ԳϽ2F@'`ˇ>OBSXr"Q'QԄ'!۽8fŒٕhEbu Zhqvܢ}!Ћv*Qb~"eoƞPimߒDTt`jphh>HX`4b [dwrbH#v% 8"ѣ"f,:\O˶fuI$R[jqB+Wz 8?^Gf"wށWE ʟ%v^5$,rVmނa֥j7Dfϖ̯sKo̳}yDJ[g햭#DG+%V 98E;Հ\& K'yiTXif!!q>45`zKicȅY2ox?BʕPnwuQ3eP5nv)0ӮZQ#\/#)RㅹS-4,r[љc<)rp^'8 ۩Jԧ_f,S(I7T*E=M\MÍHLF@Zj1I=8?>GRm^I\֊=~7Jd`4fAt xU@+/wE9Kv}ۏk^2i˹x*L޴ӳ$֜Y`)#瓇Gc5 &|sE돊:^ i&P%T-&3*ًX|x.FX6eZX;ܢ_#YNB=)(S40B 8=Ѷbg >p4[ .>s#ť1)$cC yjzIlE 3OByVlRJ2ڜ f&؋A5El :%Si槛|ٵ70M5dbyXZw1)*%_ eV?Hkǎ: &ThF A[-9^%וimOg+7 2+@9kĘ\B+Pkv$W9W-sGVJWKwh @0\a*t(u~8# OIaPQur 0{W2]gdza Ma$2ܴƿ/b5¯iba}RMwdXLZf[.W ՍR ze9 )ѼVe)-kd7^֩# w)-ɲaeQQUcVOxJPrE^R`J*SҌ *pL5 *ّkkr ^UUU!caTWfU(?e ;ӞI3R]=1OG3we4(}D!kh.p*fU t0O>Rı'V-rQ]ǵ Z#28e_x[D?*=ԑzu6X5Q##MBBi0i>؋$>2ʼnޡfo@kqߖu`JJ3BF4$eŤ !\1'9q|2ٵ*n~vowQj/˕`tGO?V(sU$\SdjR2)*H0:ZEɧxFٸ % Ј(L2/$hWG^{Qc "Qv_WoM TvQ8pV,MXw%M@Ԝʼ)iQm;AV/n>+>^`6 SQj>),IJQ-&#Pq)X,OiwxmlJZ@!>"_ m\DB{44|dXJ,p]/00ѤЌk,]:@T ]4¥VɀWI.,>ί˻QY5 B|hG L8إ6S]$XvT;iL/d-ڭ=ITƌb ``_@ A҈^[k.jL"(شʲuӵB&{`W@$_!h+pG! E1ʈ̹:Pi-VFMKmz%&L+-oQF @Yݸ*^aBv nZPa M g.@Dc:: CkMCaGӐ7aR.LɌv"~䔀b̀׬Ipx~ :5(@G7+<)mZ_@f$ "7V6lL uH?J6cծ;"@j1 4JZ\dZECr t$, A(^n[:a]5z@(:=X:uYĽ޴τ^Us6g2>{0썥8%v~mƺ5QOuCxBaK$<$Dl/?o AղCW[ ę~_(d0x-fߵѷZ3x;x & 0P3K,Pxu?q [G(/M_TKA7T">䠿11D J1Z,ߒE&MK~h4A}ZOdLeAf.VY&bǩw#d u͈nkD"G̙Ё#!M\ %"ȆYnB*E.%K룣H5RPљQZ۹W_{a_ */6%][g7g.>B樝t䘬ԑ5)`V65t:!^-zkܓ =RNtOriR!̃DH$M+Dlff+ 銋'V6lQW~UrCR6w \~7z4" a0hclbFB ã #A+OEh:# qDTHN{:R$v;o#'m_^#ȇY{ 1o&J.tiorS7$l6;Q`Ĝ90٣0|040j-{Y&wޓ_&qK:SG ]̑n_x_dwk6>]t82mXgnI!0-Eƺ3,ꬸt i6,:Du !bi5%g ~q L!| [5)ICe☵'P@ș0?7F>(4R`KhmF֙0íqS|y Eox^Xjiɝxh=Qt7EX61`3ZK'/ ԢDpJ@JI ҸOZ+V]O-/Y-qYˑ2# %k&5dO1FʝKM[_?n/$dv\-8\Ao%ag,elf.Oz5k \ioP 5`) eC. >l:C\Q0 x$&qxJ3]l!Z1PPL`mFEOx",8XȐD㤱wn{/Ws`ZRz)Vk+IPkaPSb}V 1>w i^}]SIٜ\t,RZ5> }+aT'j%McwV'=6$tWQy;5$xxDt]U{h)pQC}D.\h42 \ѷ+],>j R A&G]QTG;^>eFtN 2SxI(2>؀F5R?O3 C #,v7ynH͜Iz_悾(C.KJS8_bD|ySAXK3F`- :>:9gx`KF^Qq6"XT:e_qpu2Y<&9r|s A(\hܜ5 S sHgN\\<֨y`5XtLLL(- P-ɨPJfNˍD&?̕Ƣ+rJ;pRs20R92V4^ڀ(LRv&`kib鬒$h[URھ4uHScIr՝65t#Da'՘t6_ziy79/ID9IDbxvpfNrkkp<$A64`;QN`,2 Aecf t%-AYZ d554  .x_yDavEe^": M6s #L05cJ$N*0°픃JwД"J n,*o,d{FHeۥoNۢ8IEհԶ`U  -\9bxY$Z (_!]ICbVM^$N)liŪ$Z1$ em05gpɕ5'\Z-*K%6z Zldi]m|P!DzBr@bJV(k=8s,DRP[S8a* j*&Zj%B|CuIk}徧PJ*UZG[OpMIVYpauG,"+1StTz7Jw`2Y©W,D/A"C[y%$\[5֨ drή#AC)q7j…0nh7Lѻ7VLWRʣ :ĉnM%>JLUb Ae-*qʫ4S ݖJV*H= ^+!60֥2XhCEjtEAOBpy҆00p dA;erY`t,p6ܔms*jEp♽ Y]Gv:+5;8.b' n$"6S]gZ&:4s݃Us=sK+tjtm} z ڼ׼1u2ޱl͏XN^$}dɻҴ &.ړͻؼ+mϼbm1|Lr5eJq{F.%{<:xlE}Te{ο8=[}Y'ேx\.o{|`R_! ϐ*Xc]#CbdM|d-GZ[a B}x)#N3 /$0H{#oet[#7B gYu(C`~tGUUݻ{usYi _82zn^ߨqԑΟ8,&wmaS$m~)>Nâwǥ ߛ6y7d4uϿ=λbNΧdc_ߟ0YX7I,$ TIݣ^>o^.ar޽P^7y;YNޣ}e26oy䏎w7z >͎IIo}~Ke]܋yrnJw3q 7pwn G_󞿏R"d{f;u꿕=p8||.3ݿ:}ĭIuk?4HHA67 @R23 ITI++-ATWQ @Hv*pEKĄ(D nats(@I1Sx7&QH A@)h?Й[' l<%l n6r@^>q$\S/8)@ b AgE`OZ"F b"b#s};QY'NzSn&E:n?Prh(I[e%H%]%`s7!޻6OpӖZt@˙MEL <̝&gȎc(JR@.Yiq2Tm}Ӫ11U72.vBx3 vfaWaND1jdAΎdGl J ' :r .p<kƃtqlɫEF1P~;heXJ\f͍P4 y>ʾVe :)Ց'HWK K5=hO̬$0* lB5wS.tq#Qeyo )'mÏ&~_RU C2h 'i`3&Y.1"GEP8J1P$=.)\g sږtVqŊpm&2'H-fWC=$pROF*cuȡV3SdJP<Vx(3 I9OSJ ej|/1@ 'HA#/#@ 钛Y@0)F%% rCQO[ŇƯ+?, hMRkC.n$$Dy 24Vf@1gB]l2{9 e{ ݷq|Ⱥʪnma]] XVu|6_ >R&)Lj_XA,H~,[+mt˫#Cn,ZF{hۀ`G% !Bݎ>>Ğ8A8ZLD0 ~:Ыn yC"E =< JiЉmR^=[ރ**2p05F՞ 4tJWiRq4lH-BBɪ F5²;ܫ^pBTQWݥ~< J*j*rڡ j`P%+WLtZD\iQḵzU&RZ`rgaz`Kʫ-i`(Ξߜ_^WX[m؅f3Cв0L7BuDyL둩wnNww^S%=:OLQQMODz$'?޻{:UL&.K+mnvw3 7eԷ.<>\J+zw7oLLO(s%(6X~(~'Շ^9b|/yMR9:Bƣ4=Se<|>#$}Jnn>~]vq~^" |{?~-<5ŷkZApT={µ\YW.wXNJs]8~4%s;7?oY|W]x /3^lw?ewcT'74AIr-8Œ %'O֡%1liIߗ?[֫{wCϟg\z_},6]wVyv޽ެϋ:}/682}7+ ~S=[X)6һU%=IgrʥPwI7ai ʟW}B1}hJꍊzʛƖ\Js'&% MKcⱓSP>a%? ONS;LF'Oڨ,r( qw|8;)bcC-VHVSA7?O354zCo!2Lsc;X\fsf:3]q9x2yZ^s =P2.Cﱼ;Y;p {TP2cmA?vCk߻ YV3ꈤp RdݓOڶ`ȁuÄd?67OsHFIQQT+,;(޶L@T\@lz')xS 2֬„i1P^ȇ  l0rr5@ni$t )P0ŸP*c ]\AfL % mF+=9t #| W$Z-,ɉ ~=+:e赠'*l5@9hCVz)"YP7, 9   gnY1rdHT  e*i5 kz842(b   =EP9c,XmXxz'Oaub|9eڡ$!¤kF `Fn3쿡7#D\/Y!`pi7eFdVvuIq3,kYwy5ؐ* vdtF9BeC~Z7fU Qpώ[n,K`mAj:KhOCA&c5^Х!`aJM5&`ҽޘW}G$?f`;DoK2Wә;S{Ľa}+ۦ?ʛ1|/7Reҽrq767r1tfG- x*ervN7Ҍ- Mc$>>gWoGPLV^vW]t_ \ ՈU<wr8b}:4!X)Ly/uc{!+Znb̟j{}o~<ˈ&[7xOۺ/] U.̒ L^ʮFf{zL*5J)Qm{pcwreɰ.6K0C:`n[k%nĩO>ߛ;S~۹9'NIoG49=`12@bҀAhh%0I4r~7/ѐ%~Mxo`h֧CDؚɎ&UNn=raOwu$ץГ#ڧ/B.405 s<-ĹhWr`^_8 5.o҅BtAI0qlj y E Lؾx@D3ޭ>zguRGL$.[~ʚfa_l? "xWƧ|/㱏5F\1=n$m/0Y! }mA6JxzwA8p9XNxsqL\V E|S[â*/iqPy &ڙ(,+ka&(.o؇H-SN淬#z":7EFR]$/. )i ݑ dR`hUIf ATO{RYx>F<Th7ߖwܚˤdNi-!k P/>QXCBuFI W/J}-J2k"M1>O{[Vte-W"ӐHE#]N8o֤n_H7O T6t i;"i`tXjM|^)ETi `%s=b.j5vEkC %w4t߮pHZ;gn-BSG`nD0-ܸZ?w)4A1ǀ'J0h6 ѳZRA\cbI94<#R8M7y Uۘ C[:U64P*!"a"*zF ilxD$B[IF>xr\4̌oy1. yl߇ه_傏.AR>b}ė!d\{ڲ1M~ J2>!ğYZKvr8T^ h̼xD9\IƂLfT0ʔl)\lI9Cb!jdnיenqy% /¶4Ny Gw7nK^.+>\.HJ*jWa,d2G%:'N=GPǖwOg`|`7Gpq)ŪrR E2{AspۮsL̔(f!A9Ǘvvmz9c21B4st֚9hn7;C2ZO)UZ?gO G|KW~ɭ . AOLt,e)8yj|C2iJ"8otDҊIJD@I-1Gy?5 \p&DK^LTdпWZnw3F0V}F33'҃?4J*⬜]Ì/ZK5iw'ʄ) ŢXvc-JӉe_i}6\ oMFJ9=kD-X ſ(nnaC:~h=P*q?x<]}]5]A5eh*r f[hkʚħ#zR >* x;cW$ۖ_~%yIoϪ{3Irx dտy~|[FWuï !/{ky'I2P}q,gm.{_YwWVVw> w5DUYbz43Wc_.L†dVڕ3ER Jڻ ު'׆1 v@^VzPE-X_Q[>+ wZ:l˦-_~KbwYy/{a}.Cc{]z| r5nAV-/TmfCͰ3]xumrĘY!1n"06 1?jcmаDخcT\V6vkVm|;Z>xVr77>|cSGMLfd=d5mm'm~s oC|o&UmO1[gI=9vr>%t/mi}[j%ǘmIMn[⫒VxZ,,Hp*[f{ȺV[ KeD5>`Y3flnm#k:w80_]¬]2]jZ|OgqA~qo/lY^ul[A}2YW-iM-˶ք26ħ=Ih?j޾CvUN3vw29vx9j,t՚՝}eX [V][v"-wm۹U'S4`xV[Uq䭱ݮ*L0Ql krť"s`ʫTL2bP7y:v弱_`J_L|=;KC@ xNI>Y~덑ػ(1Lt,^Eѳ3ǝay -q&/v?fÙ^f.{c+J`D{_N|f&sWrgLtsq'*V|XyN,L\lJ02u~'X̟ geDrwuCe,qfWV•6>]xF s?gS7 j쮛~q 9wGe;5Cž6r.z"-TTTT8p@M F ;ڎ'0=13L.Q =SeCJ)`= (si)Zw sDiu ⼡2uɯD0a.@{!/|Q W ! ȇ9%F!4 8ec*ȵ!3RXȇ\0!Sc tcxb"@eI㞍&}tUl (jr*n"抨PU0TTJr1kc Eҡ6rpt.qm9kCQtI B  9*BA1$W\Ȥ9 8tJvDAG΅CCPₚLydr5l?,#N8ј$a;VL#gȋ:{+Z<p:V7 $;J9iZ<-*# h?ԃQ4JI * +kXX)|pva,oˌI.=BlZvsD6H:s@ )yT' ,D!GP`f@ ~$KKZs;^/^8eo\ߨ(B$Ae%#jnY,AXTYך)l߱VHQDKGer s߀T!ǵ!1Rs-EE`M}SmW>Uqhqr' \F% XW1K~IP"bhoߗ/kfTTKa7Ӯz~3;YY$~oDfe aLbN<>G&P fLS'•FNZ܂H^%[iS%\=mMCR2z2guEsc @Aj%g$ _6|JKblYuF|+ I?ltm6h^ET:G 9}qk ʣ3헂is8jΡ]3U#_:oA"]H_wYPK šx EΣ fV?u Ifq%=Nˌ̫%nȻM'lv^C7C3On؝p14sXO.Y$ϭTյJ H"pJ x9CmBl`.\-4" hY_X';9Sff1,a\l`[? >z{t+pZlpSilLICG(U'r߁G\,X?F@$FU>1,h>ns36V0PC@j Hɂ ]Ptl:߸h>VLz4;h2m&M\TȇF1#D ȘVƮ-eVrt޳p6W̫3LT`w&@4Yj"o֯EEX&k]4GFTC%bV/ 8%&f weRAۜm}Qj O|Aݠ,ˋcwaՆ!bBNjOih.G rWao=0LZ mJYu1Y.ĸF~ TY_`T`ܙ%Y&Sk&IN{ v +X$SCzpЁWGGbW;c=Uƙ><:MF2m@R8 ?3-#,GXxl4.ܻP 5fõP=m$Z })D j;[BF46PIʿ9}Y`|:d򆛐*9rN.zMu{.<Aro:]Z?XMp1NF}(JZO1)ѰF[V^z[(zl8B|3@л>ůjxB7PƢ"k`dEGO2sEEXAvSmwfw ?Xu1v\!nU95 BZ;+תfE PvQ\.zJe>QN2Dk #*:)'~_A?v?20h)}3ڷ~n99zevq=NIikN,ro VO+k|UwoB$h1{V"Pn^:8#eS5Wm&:;.44 OP ®V`oJJc GA-{=3t*P_p#FAbs[+@m/)Zì^p?6Tc[L :컍i"_ %%ͰAʚZ{HztI%3fH561M!CN~J؍HvT-d ,|.EM݅=QuZmB6fVnPb.W|(^`CJB,ALJED^vo@r^*%Ȥ,>+w5;-s yoN,<R"g inQ)srqECE3ҩ&.@ZC8-9`|R-;5"=袻'N Ao:'d#Z~)\*`;aFtJW@ O,=\e>큷ZR+2ڎv(LUn-!iPKƒbFD9aI,W:9j.e-(Ǡ}r$M+!DkZAQZ>l9oLA>B&.cgx -pӳsCzm m˅`N؜B6q ? ]x)1\{QH_7;fik&3a64 Ō(O}we$\iƊ>||>6j G)ND=iʞ+s miB389b8UM֙⯕|* Nw ,@FE3]pkGv *,C脕Dt%AD&i9 }깔X=ߎG܏.݅K㒁 6+Qp6|͜ נjf YsP [u cPD2C,7Lcޱ'Xk M_ڍdFy_1yUG p,ʩ:n&$8et-,-17I"um[U1iXO$T|{)_gqJ lrA74AZc-pX( .$e>ڷ=T4 wAUƝ~9e,_ۖ{V V;5Z5Kut(|55x&!U t+Df1^`Q~lD]SK%W:πOXo*-QԡàIjz\δ䵤h>b6%P 4Pr^V޳Pt$ 2"k-pF;Db ̄o0nmwj>c4|@Bg;2LϢbI'wP 3MU+3gE)LF] ԓyX_ߑ砪3@JC3>]iH>ϫ)FKnc!/h8 k[/O;B] W-u @f݌/kKRRP74TLiTr])EҔBzQ)ʚPz =_ˬe"1L/=gKкo]O 7#)6z1buT~6,:vϡ[!V E&2|/Eyوz[f}0D'`0I_*4Rh$o2◿'~:MƼc'uFNSAym9dKG4=Y ڷDB9 2Ied!ۉQ(וd,l /-;!OEFCdF(3JˡYDʹhbnjF}F-O=¬PbcR1FEC0 6{n(҇+evTaҩ8Em̲!G;Q)љ*24fJ٭wO2Rb̓-lDZ}#23j&."k:k`}'dMaEg <[^|xF}"z0BhLiELSrt˽Z5Bׁ#Di0k!nZg$d&2uvx豮Pt&ӆ]1G