SQLite format 3@ G.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p)T<< ]/ Timed_Automata:threads=2elapsed=184.868cpu=321.648gc=11.516factor=1.747zXZִF! #]ŗXf1-/6vR[kQ237ߨʷMUyw`ubx+^#R0G_z #CR&s9AF8Z9eWD H천T@ϻcra9f؉ \:Z8mr_Wa[ oL Ǘ2bJ (2 !,pŜP`RD:O2* ށNJO]咐#H7jȸ)P"ĔY#< QNj &[ qHJE _GaZb}-)XlVxYVLxRH\Mؗ(F;CHQ)O[[\/iZ46a~}aoNJTh^=&˓qLC봁$i^<̥1ߥdSrYbAp12`Tkm3XGyDRv@c w^ezǤZ"J;xX1u p޽Zu L3Y@%aYjZ|>3VjL8ܬ7|W{G!Za%j駱hׂ^Pwѵ !=2*_"& @Uc9 ׾ǎs˼GKOFqH4}f$cЏ&zhqB[ T9뿐J.0x7RUd->ytLU XO(-U(!NEQ%3 +Y$ bDġwbj2y1.G[`}9 Qj>>ݔHp¾AES3HYHRyҬ)3kcXȩ=.a\q?4 I+rve1_ぼay %Rq}ɀ)0>U(1=3j{CV)&h75q\$ <(*mʸ2؈&-I5-$ 'ecLq=u];Lݑ؞{].;سou`E ) Timed_Automata C()9% lTimed_AutomataTimed_Automata.Regionsdocument.tex7zXZִF! dŪ0]A-MՋhvG"uIBm5#27?*?#Ŝ#'yW83{WFp%DKC3̷3hMk*Jz/^.;BN5+ (ʹ/3ֈZ5[X\m3DأtZfhFZOl']a/Jɿ?<8}ٸcqOb0"?HU2Ô 2Ƥ ZSj㯳ݐן`94=-@F.qv81%BlK|4j,6 8aB[l}*O`57GpfqSї ]Ukto/E0!bypOTw?{/VT O-hfÚ2h8j5iqFLJ[EDTupҾo꡼uQB[g_ߖ?w1MI奬P*lXӷSMLz 6u}# Vai쌙=Fhw:\"RhxTO!::;C~9#¾+w4U f f!ݰͲ=FWgt$0n^eV4ޕ][#{D7/ IѺ,`?e<4},ze: Fu)+g9#?z ҦL7 B ţI(ãw+dRR['1V)WaMr]Oj@2˹S0]"$d bH8+gN3،(sZRGֆ47݋J{6)f[gv+#lO`(#C} p@%.E~=+K@U=Iм Oz,  5}*fWQ;F_-MWX,(8#kU{BJ} WxX9aFݘqAs4yA͉]ܥhka$V|~k{t4Kz`ѡ 09`{KODwv,mn;B?-"?20TmclNu0"R+s}a<|t/\4`Ŗf{6sBe/uʧP E/rx J', rς>J8珥ԱQ5N! F"vqn6J`,*+J)7_5oC%E]uײw}xE1 хs`|Tŀ@蕆o馝VveXޱȮk=ƆO#!yԯM/Y0i Vw^%[1|7~o+?ψvrssBG4?&و=rs?'dy_ Ck?!˄uQ 1Q}ة/@<7*t#&B>4- LJSA9KJm414 Ĩ#BXT~4DkM|(&p+%UMՎ䄗'M+S<"2+J"\i$/Op'YiĤ$>^g&tP8ET: ۋ+ >2 z#cQ"9cX<I3A>JђD2Ún?=xk)-S<@WEWE&d7 %+JEөK^09װ(Gx܈qN I1Q/TU{UfW8LJ>X( =!g\*ؘ پ*`bJXj(2bNV[F>;lҫHI:N V2rV@[:Qg{v]SRպX]F=Ma?;Va a2e 8\R: A3E_VR*bk=(Fi`3Kt E9ll i32*;u v@o a1 ߵsLm* lT(.;~ӰcԅI0 ᧈe/qFl/T3 w=w0ϷBD3d]xj,z-6([^]_zk?a,h"դ&L]A`*Mܙ,8 xmN5 gs> Ma^AᠡyUo"?pt#&e:(bdq,{xM`76ޞb`n0v%;׫@Lv 'zZt~48=$ZunD1O-Y:- Tmc j~=cPȏDŽ,q,[d.Z)dZ8DN\0]~qΌ;Rw=ZA]'ܮ釨9OfMշ뽠5͑(oW9,Z L-s4<} 5QXsDob%mc`D0VpTEVsfHB;P3:~(؂Zb') I S_ j`bR&\; [5OB,!fE5/ ࡷ,C6,PR7Q䚯 mi)C% dTimed_AutomataTimed_Automata.Regions_Betadocument.tex7zXZִF! d)l]A-MՋhvG"uIBm5#27?} @#qZN6FSX^c>P!.& n!IZ"7Z ZQ}2ohH_9)acQGs=Z,e>pJIyR#o$:Moz<p;mxWr ufX~?fr7nFX -2vHJ9vH.<~)[ nV"wh @-(&IX F Yٿ:6m_ QF\ xp,zia|( .q]cCΓ;{[o4m.$8'>tUV%׏iuZipD1'ό#0揷ET<8%)na׻\ڮ\Y~Ս7$wvl2FW]Oxƒz j0 ;56FrXx0hqG\H%0r: 6UXgI*J B @ ? < 9.)!   * za P   <A)O%Timed_AutomataTimed_Automata.DBM_Zone_Semanticsdocument.tex@)M%Timed_AutomataTimed_Automata.DBM_Normalizationdocument.tex =)G%Timed_AutomataTimed_Automata.Timed_Automatadocument.tex 2)1%Timed_AutomataTimed_Automata.DBMdocument.tex H)]%Timed_AutomataTimed_Automata.Normalized_Zone_Semanticsdocument.tex 3)3%Timed_AutomataTimed_Automata.Miscdocument.tex 6)9%Timed_AutomataTimed_Automata.Closuredocument.tex9)?%Timed_AutomataTimed_Automata.DBM_Basicsdocument.tex=)G%Timed_AutomataTimed_Automata.Floyd_Warshalldocument.tex;)C%Timed_AutomataTimed_Automata.Paths_Cyclesdocument.tex:)A%Timed_AutomataTimed_Automata.Approx_Betadocument.tex=)G%Timed_AutomataTimed_Automata.DBM_Operationsdocument.tex6)9%Timed_AutomataTimed_Automata.Regionsdocument.tex:)C% Timed_AutomataTimed_Automata.Regions_Betadocument.tex5xZn'%rxEKQc8[+lt].DqnX’S)BQLپ`= ֌mZ冥hCre,m8>sp8)P ύMC>cC/C f/$- מ;Δ> :Xf>G7>Yg jT!S^>(F7łnDؒF]q?.ÒG؀Q-°BefˌE3ЁUQ 9＀V`ۇ6 S6gjOW~KNZ=qI | OD#ppöת^ [4Ԁ)՘խV) |yg麥.&l=gڿ6a~HSBFnk Tzro3Nx.e)Fá,Qoͷc$5˩,-Y0s3qt@W-+[ޑzo'+)АVpUd!,\= )ΣD7Ӫ9^=)A+ؼa+:v45nPaK);iuK9l96NLb!Λ1Er(Z~'{m86;1raq!i$*@5hZ0O"|ɹ)w/(;z|" \>*;I=O}„6: `X+uDL 2zU:}#z1WJyQ~OOmqapFQ~_$ϊ$3ʸ{$:of-H%Ř3?:sQ"1$=pNsk?U^xx:<ț׉g2EQڮe _t| 02ttD z/|at+GLc)w|!67SO|2Pc]qWBO;ݟ'Zn(gx\ ZqvH8'lh~.XXӘB m1rZF9:?T.L`lXGؽ"G5!8{DgA$t #vwu!C܋S.֐}U2>FxS,U 2̫X3d/k$vŻiJi.L8GMtD!>C^n(t^ۖŴbt8z!^լiV[V@n x) >kX#k ښyM5tƜlKD]M/?mw>ļg;`%u0^ˌq$.O Tˍt]pp-sse@ ~_ l"Y 6's*H=uE4Ÿ 8"hE2Bc#RMx/U ,i`1|H-}??WYh\ALz8ZB\!BjM*:[Ų]T5Ya]Yc(3=}aa5X~fOdG1pzkwWٕ}%?ܝ@Fcr1|ȅcLrn,=o'Y }(Z_}׾$uc%:kRVram e21\d|,3v=͞f9bazbbG 7'2}OAvx2TfRȴ5Ivb(cZa.J?e`?Ru5;Hq\0 F]Zorʨ3fs wi2Ág8M%+dEM5AWձ2_GUkbʧ2 HxZmÜeUapNe&#r#k"$sp!4mfčt*@;}ߗW1sl't3{n k:AFb`HCf^;/D OV:v-_tK6A M&FɌ;-+~Vf@&aS+ /#S#mwyU>W>Ijij&nӴ7`yFwCa2eCc}Pi.KnѶ(H0`OOB9B%pK{L&f> R`S(L"[) =q[^J_;+WX~ JT8wkH@7al^ 53F!ܚ!.Wu]' _ F=ϓ&&0X*{ L|,spU/ofLf7 H;:;1}x)_ʢO+!ҀfGw @r%&\"4ݭH#aSdX 4sa":5c?Pgh*ۉw5#6@/Y&^?׉74Ѯ{Є}"lァ V&U`.jȄ% ;}dI%3#^aW3iR!Va)i&X+[w+ѵ2?ɃE)?,bXc'7/ 86#TLxjmU K]P[GڡUwjcۢw/.(] l텰-/,L86(sb3my@M ?c(#kД1rnv'W1胛цU$O#$V>$ .2HIza"t~c+E XF& $elTξY'@MKml29UbFc&j̇D d~-zBUZ $^(CaF$ FB"CVX8ƶh,ԪxFo_Ku7U2ɪ,3̜5௩8-!jLTDmH#Y?Qody?r8Tu"dpx{و4(4:_&gR>=OCX %wEɀP@3d8rFc)}gi6`& )-!".)ng*{XzJ%1, a 2/GgJ;qI6'9C֫0kuşI0/{ki>/?9& zps(.?&=Pcۭ#S例';H4">n`w EiYCR%/>2DE "0X; 5=^! y͝kmS&4'́gPq`Exa׮0)9S虐Q}Gs5"i]D ? WN 3IUH+Ts 9P!L6FkH+ %7_]k3d\U-s wPʰuv_xի6' Q%ahs!Ben;3cIt9:C5nl56޴bas#glZŖTGrn,mEXWgϺ3|1ܤi, SK:I2)pE&~Yc9hQ`E׻ H $JXz3 _ё!V?2;j,j>%+1ֻ\ՅK/ȫDZTtޑ9!'v,PE[p[Eb;M={/1|`l ;?R*V{HbfF 1R\3+9]@ vo_9R졊*Ag-:= ԿC!Ӌ$ZHJt4oӣ~ԐpswMe: $H;a[Vi֡h~bjʘOTozhk23F cԔywA㜄 ՃؚIH!fRn«)PbaȌW4k?VճYrɁ^z?67B\MF#Kx چɼ`Y!,/n&$Śk8VY PFrEEOA膶GN@t1cdBC^c3l뱪ਮfhԪ5d.ynnJ~˅`a YƞG֦6Z|p5OwU^tmr)mxhEA;d^0L}MA!hrM&twDж oyy v68+-e]0gd?`/Ƕ/zk hOfkn lRYWVd f>1p*E. X`"HFeG i3W =,ˌ$3l: i`s) %² A7jqӹUJů"E: ’!.c.5C!׹ j~CjGŜh G {zN*ԇ'M^btF i67([L !ú`7z'*[ 0%:>EWLRnnM^C Sh( #YFVdaNXbYl?R՜wRwJ5EM$ %_K`=r^sn 'ʔ^qzcjNZ~ .D.P[E.섇 Ys<е~qD =O}SȎLZ4e-K d[teYFg(GqkpJo+{Ш,/=hoGfjs+xJĹ&yzKPʊhď J9,ƭBko7t<(t\.S xXHu;)[%'AID9l; yz2 4WhP S{p\VLK)XQHXMPl+ &s"O BZ -X=G D~_...x4Oj'b/E3|AԼ>OMqj8 @%2Vdz%Sa *̌znqa V^} 㕅_KIܯ} "ҷMhPxȂI<7ֲ2zZJ_ $4ʹxpk58Q6i'd_. _ wGg.3m: Trp[kBJK2 ) CjI6%e"4deLo`f|mNK8Kc#Ck Sh |%=E<2040w<86:f5*/M~qNzwR;mަf§ѩU6[(V&xQ1k xe6jIzx<=s5>G:;O H((=f"GzXƼ}b5kHs{a sZ|j9_u@ˌƠ&!\۽55`E_vK g/E8փ?E~V>(ߵM*g%TF5X\9~Lgy4L${J(Y"++VdPA?-(sx_A#χw( 1U:LKv<jLѻ[\jnE(R#>1ɿN4dc[ӜoF$f[y&Shpʻ##]:~]%@dg-HhH2#PdHpJfŭ{)&9߯=. "98W .MXOfM=Y}FN@gMH4Z .+E,,lcIY:P럿\OrRԦ[6L\Cfx4M[` ޗu: YDK‚כ1&}8_+r(R._>t~f gQ;eMg~l-u Lғ N &Z`]?|o)r}^nQr a-5{ G⏃з8RTQ^6ce/' dkv1GL$]UuPKӋ@w]pGϝX-9qc OkSV*Ԋ]@`}%}Qc,RD=JAc>a:o&ﵻ2͓whA sc0]MbJul͉q=}!T~/#O7JK׈ԃ~}ibjq|oQShC)9BHRbv|I]i[McKE{uJ!aѫ?聿5g„տi,f &^uJٵ"#md_p4 t?G iFA%q~z/EAQ C gg (i#I!!>o=>@~u|lR=cl ŋ|ZNG݌<y˳8\)2ΊяEI);MPc5(QoGF}81R,`|}]Z" ÇG Ҝ>(?]IQ;~PM(KD%*ul^cO5':SZrȂ`Tɰ^>g\B3Ѝ3Gp/zgo 8sY`le|Q_׊f/Icbᭊ6 =)Iw˓&)٢LA6MJ2(%Qr$ D$ˢCn{!aSRj[HoFArDiGTޝif{ *&_ܟw\ufaכC z S^裉/SoGO"T4,.t U4Q~ a@p#,iC"s~; ghߝ-D=* JHn [4 &smV K `[^b] 2”ڻ(\:)EwA_j҆ K478mCOHs\h@JqV7d*U?F]rGUTo0kQdVAv}we#2z{&>zXliw'/| 8ukupz6vyqJj&s F_eS<ԆE>V |[ɜՐdj臮_!G9F?ni%|]=OAO"S8| l.1 >[ɠ_ odK KKK xoger>]YΤ pb]]ވ7!BR-fkY,!tyR1j-A !mxOn(qqgOw;gtt:՞1ϛsTD# {ț"\& V9]a}ݟ?_mi)޼qw@0 hvýч^$XWt 9h܄:K/DN8@.2 CmtФPq/*,/\ |Uk}(neE@oDNbYXB525=؆Ol5Փ:P&ןM5oYWJ78cLQ鷣D* *P=ַiUnRq"G\l/ eKipmu1)M%gLXX ƭp鉡I)xwl?]_ۈò D`D' =l\jY'ݕˌDsF'H';.9cn_~F(zfL{F_%tMǜւ9'Q\K\M8(А[ 罜X iPƥ1Yj)޶1Q o"g~NSz JSYԘ%7mQ|D[Al,d9u+7LcZ=GjC6Ç\}Y\4͐hS#Seܡm}wБs7qY/ڈ/|bvU8](*T4Ǥln迈?xO&W^s&}ԴWIV/sdkE]e,+ GUW\o&* ;-oDт"'aW@9[֞bBAc"or%e]-C0Ǚ<|`jb t?RS(wķ0Hc0r?iPsN38(l|Y~*o0Ij_v[Q˓)')U/vصt Ʃc8˾p'H=v~RA-˒O6'[Kh WOc6 ֺzk 4 /͟kNS卐wP\KTdi7. ~\'˕3RB"R14UZ}Q`t#smkb_]uo1߾\/;~ !#yɩHA[b A`tt|܋*LPA6H5Txq̻GP.;Ydf"ڬf-CKIS]Έiʻ&jhk?Ŕ:~ada?9';[0fo3}At>YU$zlfKܹ{` hS܌su Zb-ațΓI#sGdh~w.~/#1 y2Œя JniL1DXt u],2N2@ (Lydћmϯj.}3PUfÙgՐ7 ?`flNSmQେ83jI`kk&~j}s _=Yu߿Afl~Zoyf= dK+ Pzݼ," \Zњ3R=/[Dᕘƒ LjuӅbjI[hI5(R?ݬrtΫq1^(gWzW#ST]w LZzӎ׫v*1M)O߳V Q1+{`uY= ,n쾧KpŀBW `>|,)=H>8/P?DƖ-̋1\GY)dm Hۈe]. =^.DaLK>Ŕ_ٙr6٧&B󰄶]8v3_1艱hadm SQn19-p_Sr}%dF 9@g:b׭E?tW/6 Th^gWM6E78#>ZrXBg= ҥs.Zwd Kg eũ#qŊRDD##ł=@vr祱mHVS>Bvo/-JK[(3mS$e,c=i c]c pM(^M܂`cIylY/sx%mn<ܳD|.o뵉r3l"%]anQhfH$꿤y3 /sdqAc}4)H`(ޑxuܓ"Ұ %iQ}dI61-T C|aڻ7PEǁ("8%&Z9x(Z3{XSJK oܩ =a'JzT˿H`ڦ'^D Dc s*R"vJ {l_Fۮn">8X!2|$lBB2Bfqmfi{ Uh5ƺʂJ綌j(va-@?RnWPuK]-5I} YLZhmW+gCL'6~_gnoDuJĖ׌͌I)"z'ܶ39%ׂ Ij-Pǎ^zG+6duWN OC4e/is<%1 * WglRVMŐq"Dxp_n*cAs>k#YI˺%XT’n-Z %2kV%yP>Zg}OA>9C S>r4l/Ĝ ~L@Gc=Pj=8wGWz&sKwl a;Uxz̧bM1i⍶uNԛ *H-5Wx EylX~=Oz|z?elNx=VW&1R# ~\}2TwTRmiYʮ_DI>V_^PŃUvsK|>&soѻ56tBrm;ymbu4E d E[e.Q/\ 6,qL 'ɔ: 5 V^HH~ͻࡱ* ^R9.z&Zr-\Qxc`[UI_k!pDF-|ᡶhO/L$M.N56YC|(,x|Z>(N\i3JJ˙x$nTp K|C@JC>Yop6Pa,X+{ +S-$pB(ݚo[ E<)ec $e !$'ATOa7G?=#PA'V >ǟVv(E?ƭ1~\w6[0ͺ_ovt]?"}̊YT5{&.)vL墜rLPʻqh'ERORѥ6>S]Ɯ*󜞛 ĢpT'fDH!# )f0ox->,"n ~׌'A]1/@U6QVm9aw  /@9yQOg?Kc]Qzb-OW8D?O;7". dem|  ȭf+#s3nKw%*|QdФMI#Xdvn~3FF yd0Df$\ ("eKuU>XG%ٍ-2[\;GE|LC֋ 똴|5 ɹ-:7 09'ռCgh(QS#p[I$ bIJ@NkrKfpssN^7|mNbЉAts]-_q9E=jcJ/_aG?֮%#&9HFh~LI<6C+ʪMGc2mė';w1m\=PZx _VQ95{ήi݆=OZIJ뽮¯@ImbP. Ci"DgQJ*{ێUI84Of2!Dž*Yn~g0@.h. Jk+%c%- %!s:[ =ʭ\bn? o4Vbo#bez؟Ձw0wCo\V%jĪw09:ƺGgy 40(o>] 4] ȵ=@}(+) {"!TRnBhh/CkwG*9ݢY݄@>P y > 8fF"WX@$9pr'WkrW췐X^2km;b\E9>D0?zS&E+pSUb8u}RI;gPkgp`" `}Fv8^=uqȠ ,F"NtAXι7_T o)Knۺ4vi0w I3&땺ȵfqr9Ԁm2ɟ;qaW+d[m \sh=rTzP٧xkQASa46$#(,8oXᯅ")κ.!NtW{m6qsygp>i T^ƝZ1g+ 6M #Ka /̣QK hnB cOm=ŀ}#pp)=7 //@4NAmNL=CȆpC2 F"Q\6"5!CLT/V+[j[{/Ԣ+7r] J8XL3y5Ŋes;V;P31Eкc"x+;`vƿ5. =O"y̌б Ўm#nxelJ6qN4j#i,?qBs bUWD`X-q2{`%~˄K(!2͠]fR 2HV;iK8V )٦e!e`^ʬRwU>!۱-GI9P t3#";[BN(ɉofcӪ{kAUdwjNyƟӻu2es%):t?,P4TMisvb1n38 }4x7wCK܃fHGCPQ< ,8&I6홻1߱Dya])6!+6C[ޠ jɪ{c`s 2)<$:Вu3E[Aզ e "Z\qJ: ,2L:"#u4ii0@D&b^vsC'^[6< DɀCP!qR [{Riߩpeз Ǻ^1COAʽe ui m':\&3o# h$ed)zj4AqyųYߓA h~:F$,!G o˦NJH(tz$9##k]Eyh .햅Jt?[K>1wJ*%SpK'P 0 IgV/찎(!m_V?,gv H>4!Z}c0X<;w/gSIO'*rKmJEiyx'3Q.<)(II \@,e&ECڎԔZ->亿4FׁWT7q<Օx527(lk%OtLa1 'z1..u+\U"I:f%N;"^ V*cLHHh$f Ǭ4ܺgqQDdtۀ{~ &J./д􇝡'p6ĞnKa)$;tb+g4npP?&.CgTuX"OZ-7 _f9b bco:=Ey7ba.<ײ3e)]gvWʁbc){>Uw=ྼW(xSٖ\'>:ˆQ!qr'jk]j+m?ᯎ;d,v51QPjʄ)(iITRCImtx;-TMhϞcx'¿m xZs}8YDQdɁ"oy9(o=Ώ"SqqDcǨBr un?z NسB`{"U@@gWGVn(y ^EBV ) m7D-^-7H  1Mz<95v{3V@`P9ol\$lSь-o$I!1&NXN6Q]F:0$7g)̩U\5Ӭ7%{bc&pөCdiЩCq?56٧7׺ <#R)Y5l&p $2jiK^"Ǥɳ@lGD> *IKgueKdyʊ~2&Z]b }& r_o-zqZ95+W0DS6ǎaĒz`9[N+RaDϥA!oD8*@G~D=|%OkyUۚ𚣤 ̀r]ۘSh;S[?lӃN$y WJK>Qbt'}ΔlVG5LH"rKO'~S.Kr}mԙz |L9&,(燺$-eA3҃}Ph=SMVt2kĿm#*w/FO iu×6?3ntT9P@'%MX.ݱ_BS#`s.u d -0N~$Ǡ)wHӦUkU#:}<-0DžK@B)K^AmZ (|Ck(\8E A mP-76K/_ژ7MҋﱴzL-ΪI ǟgp$MZ/W[ n2q1[:N,|B<=v i%kd T=@"b;<PGBo}2}Ax 岤!^LF1 ^n ڔ]ՖDj] 4:m6Eigq"k =2srݍ6xۊCiDH1})0U$Ր1?7GƮ)@b,6prDɱ4h]P!(z GJ_ys雭Zh{.Pi-gEp^i hI`ǡJ_NK&-&&Q?x47暴I@S9{Jhˆ"ksY%**4_E0.`hYE#4Q(=t%4gID ׾5qs\3a]΂_ XGn]2>%WR׈8v ܸ, }%y߾;5#O:7`qqkz~x$9pe٤#y>K:y>X| ۘͭ^cZLl㿦k!P{)Im~EɘniN3W7w+op :K}(CY&XбS NA_N^ E";H/cNןsڈLMG4czdE(910qX)֜p$kA$!5^"~ PJ6]ߕAU~jRN@یАO/PJ#p[KE08UߨEw<}IHH~<1F`,a %iŻ<;3H{cMIxcR$G[NRיxHq3] l֤JMg8Wgn΀0N.:48:QR-43M`S4+?U]b] غ9wgFGN8жK?.>T!M>Ͼ }fdzڇ 2qwpaP=&dP{9b[CCoFNPOuP@ `oMU(~fͬsP3w&+`ݫkLb܎Q sdhP<ycR Q$ e0E'Ƅ:aǸ4(_3jLEi pz99#D!ba~v\zU>vnr%šfpAYD-uÚ^+j6@tŘ^2L?ܟF=daՈ\\F[nC!J?0@r z0d^~ӓ`mgUŪ7ڿ)[<@J~hm9^y]@XZ;!!t[I~t ؋w]c|ò`2/qYmM Y? I[u8fL&Ƚ#p]ֳjry D <53X4C`o;W#Ar`>Du $QHZnsyzp+o:FՕFnǾȳ;Mvc626TXS `x+JA*]^py8#γ͹ƁN^vl_6vx>t{WRVq^%8ev4JΘ1A,:0u⚇7Vcb=!{T @ z"]u;28ވWrl8K%hT~N.6)L>%Uv} *LvWBTUN})M;D-axٜ\"YJıEHa/1MnhAb(@`H4y˷mw[ {959tʴ:eb)xoZ{5.mmG83i Pho~ 1!@`c3B[HyWJ9:vTsl%I4w`mhVzh&b Z@ e|r$ + a?N;6coDexߴ}%oתX8^ _$^A> $oU,ְ~8uK +B ƒ !4V qi .CZ\`yG 5!'e"q)cLqh(]! g2#reZb&s_[Q(DU"cłZh[q }]td^I)W/(lb^FXo|A K`%.* ZHkc|-ywy3$tUcIa;됿MКKlJ]"M+~˲\*!IҜFj?UWRhSfoDZCޙR C/Z~ӠLjf"Zoi' ?}MиfFhB >7>زBIؗVPS+X(bId>澁Y|s!ƁQ-R@T6dD 7m)tPRJ;MU@ Lkl?!@N8.N V*3 ,{wȣz$M{aWTGקAQY]0uYG%4?N%}f@4 ׬O-F: 9<Ń c;)JYm DkIdo[܉E*3#[IsrnkݛjT1Mh_Nz:ETȅ!͉@p.6v)$B!POcQrBBc["I5 "(-|a`Wc]ʿw(ߖ?D gOZ> ^'A% m/䧊8MDe2BvUE/VY+*-Ijd k2Qg7 [MifMuz)pc›q\V 7S> | /|Zk8tsg% b:1Pat}S s6?im^e,CBK:|q;YQh6^ۑW :xE*~]MJ| 9aK8Iϝ^e3'p)G;҇Id`E^zEȉ\hP㛛9n O[={X?cQB1H#EInua'ljcӎ1C9c"KI;X㨤:HqYY*L(I>Fd,(dx}[UZաV؏fLϚci[eTQMgh=t SH]T! r2 ,u68GqP/[w%IK0l[al$ȉ;CԳk 6"*$g!%U<=y/ mzL{+\Q'8 /HqXl]n̿{_RXr>D3rsaey|ղhE@_w`XЂl{hĖLt@dwۆj=?9n(ԯAdY)<JMQg;PN0S)9+z-JzMZv2n6<[pA3[`Z[d">ex '!M,6e HTr2޸WsW![x34I0vk %^WS?ˈB6Um7ksZ ?KeɌ 55f.eI_}%4H7]CRb).r]X>$ka5M@)hdfՌSV)_Ղk|8BX+KvY$UJ~MYՍNdk|k?1]'C)2Yy"#ZL !D!e2~\P}S:rxY~ECh.?|q.G?/30FpsI|+&dDu R,'((I bZnWigoV3g#^7Y2?=a5R!TFVb ^zxZ+oYNXfd\|QhFH|exJ$ =s!:0FaaP013$:n) LQ5K=&|e Բ ϑ಄О}{,\|qt:Ǿ#dz'Hu'YN&sA3.pTN7Y5>̳HTͲ6z\v_)|H}IqM]qn(cGdNʭ*R^W7g篽7ӎ)?E|ͧhh9 aihK@Od~AT :dB`kpL|-gaT쨣 {GR[aͧ0Ƀ-;(%鶓?(/XބT>GBԄa^x`Dȡ{ptnA鯱2 `b_rP8#_! cW={K9\?Jeh9K;S$DŽB+R*"B,8$)9H/L Q !&Q Ă Z~ 5BCa nup, | R+Uleѻ¾u<FZnnG{ÅG!Y;Ʉ8l:ohCe8l 8LU'`8a?3 {+ݬ)SjkG7)@~-]T-!Iq AvSmfr2 J^z9Uӯ1=uT4ь\> < v %62.<޵ʟYk"]x]MAŹUa'G~ô;YD%ǟu3 |+ i>L݋">LĐnyPKx|']" @ZEǭ˜8 'Ů+uL=X\4Xcz{EdZs,Vٖ)D1`Qx(<+xic n{+^kh[ 3V8_ inj\T'3:IN?EmF8c8/cE˫>}1C>N"v\A)xA:J:M {%{gt%=&J1k5PjPҝ(kPsDS(Nc;߄bK"r"L}:^^ ;&X>ac/|(g=Jeˬ5lbXm R7}mG t'k`^h:hM q <(ccAjEp"?ꠄtl1w{S翁M8a\xKkdK0n}cXsN7.mԕN ,!;_keqX}%rP \cVTGFw:0 ;G@J>OA_gK*?v>$^ xե9N G IOJY_Z[sRkN[s؁Q`6~#mEPפ+qJy^bP/b}oop$܁k%eж8&߲ VQ\]~nJQmGyPqQ#݊g8@S3^$.k Nx̴_Tt$~o;S'"~X hOk;-x4@UlqBTQ^7HOg\=J  :iOIYq]w4olHB͔1g Y| Mw}IlF-eIy;ZuQA0ABނs/X +ߛa)CXXJ` OE4ÌJ)Sgo3(6a鄀Ts ᯍ(Vp{MݿmFkߑe]ڲenDs{kŧ)IX5'לf`ϗG]1ᇵ7,PCWx7jcE=RKHxzodg-~ڪQM!gghq,"DűB;jUp(*9:)n;$T'RMcF|1!\qMTe Rmg*MEݵד0aw _mps)V*_AH>6PAK`=GeⰎ:0ƉhwR `-Uݛ9^D[]`9VՊ,0eX#)pXpܲۍ nx70,I= @3^+cI*a/|z*ٲKyt6Є#܉!~Hׇ1U|Ceh} @_/XkSJ̹Ȑ5' O8[/yI6߫a$4dQ}8U=7@} 눛Q8 ZEϘ<) ෆE⾌K;G[nFK ƵGqդ9l1U 0|?Xȝb/VL>BRhPV:dcgYI>Ʉ/]"tq[OtL2]֣y0-=Tj=:j#UUvlҝ|2?EO^F?𜡒q;@*{V5]ire}zܲ0L535K F+yz*^H&d.9.Vb| L6Qxܐ1*XrD[OQ}-aeKC@6R#PKJGi~5W.#T}FQa1;Jx%15e7O>}?+xyRuK[X~,x;E <~יŗuXZzI$D3n*MJqL4''7+'T'V/тւ^xTIޖ/]7)FsAScwH ",[rvU&Љ|4^e~ND?8Z4/Ig45 &pCthnC9fZCZG)42 ]RUeֺQ @0w~4!a[} Ls02 )u~?Ma}M Gүoy@~{K!  [MEnCw6^R"p?T-r| qn|,!bmR7iݡy@s \D.X)OSCG,g0XΒU*'TwVa,zftXu1:>?ݭT^nɼ5~[}'7 Mya8JJ`W{ekh zzP79" /©6}0"iMG@Jvς zB&['Y3N>+b:(rHj +.o}. ܄͚m8 i1vwa:2w|_ \x @ЁpY`SQwܚyh\0SԺhE\Zj:aH&% 0- 8e!9.#4ZFmS"X/Spsy.xfy!Hc9M+&6\DQ03md2n2_8F(R;^΍Y 8Lb&QeUk ;>1yX9b`'^y&Vi~BĨ[1Tv6rvɔ0 oiS ar*NGaRE ~yL#9)ugvT@쇁yӊ$y37;R㧵(v .T|@v%pE"κɝ%?yl f$SsQp)XDS]}oQ.q1_uULwE ͘D܊k%p{M^Un*M"17>/<_0I4#EMLv=h"i+RwfvorleJ)rTRO%XmH=rۣQTZV]e|CVH̔ :^eFrBM_'"ܖ\3;o-'6x>gn O&扂|QU ?к?үOhY;w5;!IHU~~6ak_e~hx 3je-ә6%;;eaQܮd^}! W*[Sq ?$Gq?fY)V%FLuǧ@gagUh:5\.Ç؉v볆ooGhq{1! 6;\ܠTF5&lھd1G]j_lG^F|i1>ߤ oaB <|qLKi}٤Ie orc0埰344.A@|:n-[5;]^lD2^r}>/q1#qB;?JBn{XSNdo ckH%A18++ͺ-J\ -r}c%sw D;Q6 *(LH~F(R:ZG䱽bmOH`;XVg]~UvQ$~ s=ܛXGOab6~.ƭf֦>^55#1`!QIEz>,܀86vW%:*ġ^!:;,U0#z83QZR+~P`N/c/a"_;yE9jf[ޜoTfJ== C-bD zΆfUkz`#ӎD.!̞ak1Zbax׌ψs9-%G'/ULMa H*vHˌ4# m@"O8@takhS:e1i MɎA>jKD`{&1)PM3#k)¼ȩ]FI'Bc &MkyF@ 3oYRS+7h ϸ^^XD6e!|}Zo}XiHE NoJL6߽I'j_O_y)5&{`Eqo\4%ZZ\J}'ӘG~0>޷`Y/ j `3'JVzpf{jFmxb]bO?Ip=͋*D*dL%]qR ڝ~4uތT&,h=bˀb"T`КN}\I"ߞi|q[奨{;Gݡ1? X)bɓz!/x]|jQ:Bg4tttֆP ]f1#SuڍmJC!Jw3D6Bu\r 5^6F鎨~Ii@Naob< E c>' <k]Brc >yjoVH*]ި` x)%uAc B3\*Glf <o%ޜܩJ~1 ^[?ehsJo Ɔ u9&$P̧35dkۗ}״EѼpd ׮XW%pSMm2UAÚ $~q[1D @iwoPEELhCx6"қqjW [@X҆^x7אhLDfn|X K!)]Qi$(pn/feu210#'&Ep<-o?ջ+IVTW=3)+GD-Ҩ; kL~*ofjS 08wo[hȡ=ڞmjE\I᯶!`"6ڣ)ҮqZf+O+E2 ZcLz4D b0$`ׅ$li*a]/ (z |NvU :2P'~YK LdKx$Hu8G@=im%],@q@9)$C`09tQ "?do.-19)&(T"᧨APy QS,!Mohg;,>& 塏_cB}ıR)Jegx^-"6|Ԧڴk[η,[Y'LDq[5n}*m'ty?^h忨V}Ǘ)kf\usucA!l6Y@ٟqX#_ijHc'97-zҔ! ie]*0웘qP9[s67miIr_dz n+}fgGGf-oY\&bFӭKe~z₩%TX]bp+_Lvlkh#w)oZfH( DW pvpՄ찵р lx@ivYԮ ]vJ64{YGj6Kw'$_\]6e ![?U8so)܊mqI֊'2iǦxZV>ikvz% ̭0+iRL)N49!<֚DŽcXoqAWƶDQ̭j j.ktjdžڨYmzr-gRL\`M#EV"Nhzv}.Ge!deuF{(mp`t;ւ\3+J4nHh ƄjdGCfk'caYY(BxflD~KSd*ֆT2XLFz5 Mwʃ6vNYk^gH]ώh8ĮS]h~T7d3iA UQ+yPmxBf?J5%2E)Z+p-F0+\rBp)a"|KpTudm(I`D%$mQE[8 /J ju4 (5Żi\ϳ2C.kO2tX'7x-&Mő,dT-۫ ĭ7kؗ-9T)Cm! ٝu~&cCb[q-@/"ɩK`= (=hҥvk^lmd: w`)TV4 !;kaRR` |Btt*>u,:1Ѓv\y5_KJ wL~wﵣR<kI=m*s|\b~ *2h1jgYZh.^w][q?g*K28P;rof=xe~b".<徻yዟwJ xu2 [$r EɾXĔZsхLmXwW!qu#/:P@9e߯_fS/U3|Z`nȖ vMJvVɬ%Cf>Nɑ ,2brI%#J+ N7s!\xy7^o],udh6RS~_4 #ֵkblIbn!ǪorJ_R([S7H1#s5ICN1شֻ-xn0ޮ$'xusb_$9&zk(m/ă+kSa;]C8_@yV*dd/8"g\ɔ}GBw4t1R#|ZiwgzTMꁄ,Fܨoaq! /\S8Hp ;m1=;X!L6<Ŭx Bجr L-FnGک [4Nn:4?X9a?;l%MC;Ҩ<}^'Z$F)Bl+[a|_?[46{.qL 6*2^Ou<WQvIqzy;0,Cd}R MN1#$ ceև%Xvs}-bwK\]V–}v|3 >Ƿ?Cgc6եQtUZHCP#"4qxbOGī{rVٟȇې2BGx/|wc)V@?;,$t~;Qigux<~f:#}Ρ\޾vs0;PM˭s_1&=A@>\=2`24[D{ [tJ\6:{Z }C #_"{6OJFN0&UttKAU`5fدʈi'|Mi;VȢ#rT2t!'a`RD1|k <[sDNN.MzyTf&s21&\3|s]-a,^,CG|5.%RR&oHl̿,pJ8n|QȳeO{fste-'FTc6G`2Jߊ=T/B^1>5E' \. YIzV !YugN_hQ^\GTz`}>Dd? :ψY5EWxg~ҿ\돂P |CkJƈ2@+uSoaF )VeڠG&aND2ff, RfknY1XO>#>+DRž?軰L_MӚn*/oнX]D>xN&-8N9W~~]Ah#gSvjj 5 Q+as&j7gA_aY'^VkJܩa_o 7 0c!ROB—sWl4 ҹc )W!$XkP~:jCqH(w2'`,"N6Qr1&j Z6]O?)n?S3w^fpy"܈TUe]+z~5cߌ{WMm:Dfl$tL/x]b\o\C1Ah1}oř A[-fNHuc3#ۿ gF72p5>QKAD@9IKb&L,Dd8B'nĀJ8`o|a]p<r*;Hw %G # BTy.+&Tt̆h~ʈ#Ūh'=!p.+SsgdwDDNʁ]VJy:$"sݟ5ek:q2P1ľ r#ˮFY ExJl:Y,' LJkc%9K*iϝՕŞ wIX{VxLsÉJj}3F2%thLŸ8AAOY .k Gܹa sq?-2AlL|t ANQ6HP;Mח' D$QP*Rv^IY5$`jF8bʥ3?*#Y׉GOA4~d֐!~@6*qd0{3[8{w}"vFQQ]>~$ ]O@Jn}ꆧ?h?{+ɔ;tFw;%cvn(Bh%i/~}첳OU ͪ9#cev?1mnd8G5R|Am2EBk|ZxbK)Z)` B Kp2K |w;VZ=39y [oK,aN$\tt:򆍑*#Y,0LY6`_oZ}/DBA՟n %|ڑ#&INKr9ܩJ (XΈu̅#~6²{͙.ˋj9&q\AC} )`1 WZ])*ېwGh.<꽡m٤6׽D< 6%C8ڪ7h4$8Y n 5ʖ5S)H:ջ7fQBt)^nr,qί GBl }no!wf7A ؍Z )sZA07:KQăެ7+ԌW4IQ<0Қ5縒aI*ȍT# ۾] N kA%BgV, Yu=?*!0.*ҵw4]ﺁR]<Ռ6]R,^ݾy0ȻxCl?v6_;h>+[?.E8|Ÿ,A(Qxn.u4(к:JiXp>C s,;z{&+7"uВe WIe+{BG|RL8{lM?؄ ĺTrv6̗K+6PueE/|y^+nn*l<‚Ңh|^Û*/hIY411#[xtC*Y!iQ!yfԿf0j ΍)CDž jM]pckm~v4RS {.?HWoljSL֬lX.a͵I1wQ_$?yiKO&G0eMq~z :*˸B( g[=ٛOFG$5BW!,\,$`rd܆q|Q!ݓm#90sIӨ+ڃwFgFQZW>ZZ;5X ୛g Le^r>ϵP]u lbѴDdC8jbPp`GC֍NZpAa1@RTX8=Gt@pCCK8ׯG~6Sמ7|OUQ E'kG]N] @ nW{ Mw0Ř|C(l~B0Ve 9A[DQ;mF_R mg$Wv]Tvk]?ll8[ X"0\v1q{FJ.MGh2leH80˂Tb->q% ıy)km5:M"w2͒)g2FΦx PHu;]-rnBSZT6 H+z !s3ۊnBTFU`̨6= '$@xt(!W$ʺE3eVRɊ" ͻP͜%M{(clNuJͧ.? ~u`BrɌQz@;)s{łE{`C[e.!VΰBŕkiV9 ކMt޹7ʐr%*~QwWO&fiK }Opf_TTx.z hQBkᰟ s9I!]M~$TVsV7kX'ݠf C_Xݵ=D RE~`!qfp=3%YGEV6;(VN i [h5f&S.JMNлaFA1UV6;\QMd$#[NrAJTM2go&Q{hNbqљo\Ne9_o?\`L68D1g?6`@L.]qD4=}J>e=׆B°+oZ2\/dqMvgPyb4R4XQ2QPRH=~Q K}s`K֏O(cab,yל3%6 _Cm W(BeUk`5 4J'gaIݾs;|З%Nގҋ7#|ņXxۧBrjmMuZwT.TM)pMSSOji=ˀ~=O v3:ik;PjLKk?C}*f\Xrak'py'GCC9!:uo|W~gU+1NgKKb^mIS{VuK|E0#BPH> ^I5H;A@MLO vWM,.I:)r$Bcܮ0 rGZ;v ,09> D>ܘJ㲷w҆wK%DylA(1R!aF.YQi4B!TC?iEDC~Z(J#fZC=,j ;Oa>.]mBnoDa4X[uDOMEJp2E+kf֭Sq.Klmb_6F1f#'J4 ~ N_ b_EhgHB*UI&m0}h eO|-=S%I9Iҧ'}F~롻N!kՋT@OEG]w&+@yCwvmQ{,Y5L(,4U)LI wf_q=ACj>F>TDe2Ǡ/ qEˠno8/~ ٹJUEA ^ 6sXm.%Oea&'gY,@f!=4u$;@VXg|ߐi@ѐ6#%AqFEZU47BP>*eQjL}T6Bmex6(ZT2 &]0T$4 xKst)uH 8t%i? t3$e?#(Υku g(euk6j3+ƪQDdg@MJOsܻ2j|㕨^9Dv7 K\OdI]ӆ˺ɰ5/d_؍՘x H ;!]z};&b`gw%Gƛ߉F"UJimL]Kk6K_ͅ kժoV/Ei) 8O0h1joUMkgV] " L7-,hl\ l2:ʷ7umUcpVc$"7Qusj&2+$VֈUvþ-jCHUu#[c rQ`Eei|XۦX!۷^V>"B+cl&'N*XQ[9Q(0-Gv4{ĈS)P\^Sf`_\H"P'=\ܩykSgNqeR@\\B S>k ݏ,^(E3zG>Pw&7)~xbqgKa-,PaueQ<6<8RYo\t'ih,+ = h 萀v+"<*KЈnuDH:#-)s)\A&.d tU ֔ۋVBHuv[fo||ZJvazWǃ?T}FuuR.'PʝGxex9HD0tgE!+F '9L[vwYAh%FӧU ;Z?0eR%q.]n; ߤM/!nI%9=w[V?r.#(T 54\A&S: șqm1ɉVU+g y(&|z4^J%@R(KO.򋷗Xgv:*fK]>iHS[ U nI@2TX$/6cAk9#/IL9K5A` ~~Ϫi4l·!^U)ϳ塑ɔzwEx>RPXvWK̈$#2g]7jW4] jJK ZɺȸbC.-ry8\X`|'%bݘM>ɀQ]l)]r;R:ˉ7 eGǞ4RXnŮ+[IPm\69#L*tDdݰ*[{zoOxvUj˜ᕟ@fى;;FTBfD# .h\24ӿFdI7R|r훧ݐ4eo3h4'%#( Hp% O e}j=Ə_R{!LU!8@c=θO_E3m:+ ge뻻'@|Y@7ȇ7_dd]Ы_qs=&dF˙IJFiq\s;c.pp 6C,b\4"~qrWto0:hؔ,L≥%nߺ.Vʽ+hw[p Z5b[2#7r Bs_v泘]t?j P}U]#3=f,ee#~A4&!o=K~4Δ:V[ܴ=5L/*e{ y!d&:ErOmد6k] bd(FQ08Q]op~dfG 6轏W`zN\3&rdtW7V@ CzQoLA)1*@yĊJ̈5;p#v?IޮSW$/ >u Q)[ k-!" DKy:b(gr G.gZn#^#vբ_6(?fuosIGO)+=J&]Œv3"QL2`IN7ø9o spg3'-{*#%\y KI9eELJ3rS2g|(shsZaQiiVm4 jbx^k+śyf3^A*ZšIJCw".~-tkk ډcN@s?lv<P0sEE~Kcӊ"Ńȟ蠰 7,_Z45RR&vJs;e{^Vc]9KtrTp0F刕-VK[2_Wŭb[$U3v(j>_` q.qJ1* !Җ>h"fGGً%< tWi ]28A$Z5ZU]4-֟Ke;u"&X|olDÍ,N=D`:>>EWk {[gn#!>[^Q\K,D*1fUg.'(῜]Ki^~n`7:|E‹ g:d%.N?%5gk+$dqrDYPVrw9u[q\T핽BFZ}E*nd&2zi9-PPL.hz\I+"=dCHld0w64سlg,v vu錆"%'eJ@ _ F?_Y*^ nS/ӛ?MyLR 0Jq7#JEMNA{c=L mL@ߐ4|^rЈxRnlzvs ׳5̍6]C6ͮ]}PqDpK rX<硒}'^[R|eJLΜR0A6}m(w`TU'm*&{VbU<ʷ{H'xD@biȻ$*DT,iP02᭚u8aDk N,x'tՏ ;iOfr\KY&ygy򝧣5Maw \mbx~[=SŻbs:P2d\Ɵ&3s5V7igP ) (+ !firpvĉv1'%J/XR4惞iD^I`PDJI?* 9 UjUKځw3z_ OLyy,LXDli=1RL>kϝ`dcF^QI;vFDKQ+Dytaf$m]BCթͰ'ML‡`+~~괜ZEp-L (ާ>zxWC`p11GksqsRԊs~Q-/n{"$րKQ}t(eL6W[;iv&T@5c*{?1]Lt!Ғ's>Y<%FÚyIkI9B#W/(:6dB({ +8!?'ƠK4M+ZUev’(OxXwluZRTgu3)QU*+b2DR=>jN'X8-g5a߼< Y" =BO=˓U/Zaǿǯf6g5>?4~;:YV+ Fm;u3mzMӿ/yB2zǦqJ`i3yjѫ wm>N%%m񜒂 >o:GE9x <"9e2â Kqb{4[kyI5(.#<߷ClWYH M3ܐD,cnKF}Yf]'8ofRJ_ST 5j3$/Ҷ^vJ44רl'ލzq}RnɗJqzji3^8ڣ8pp>y9EM(~#?1Xk"dl OxO8*o'8ᤩR)uf$ݲ{!AJkB0,PT` ʄ*zqc[AH(= C9p@8{XPǾo] <@(W-OrDcү7]e*T,IRލP*+Ҏ | B!A]wjk Y62Ih,o%J:&K9t~К}Pojl9wP2Dl_"iY!elRM66x4|Aہ?*+UZ3U~Ts11N0~=UT+(J䑣Vrl^v&Jb%`aZ_T@gg˃Cnz~W빲q1 jT/T.EWg@C \7~F!' 9.N+=rS|RW)۝j$)̼kQKn5$r|o*x/0W˂$r/uݽ"AQ4a/w}~e6^fQ|X/I'WBnQ- >f#$鵭$ |0,zPem N;¯.G?Ej*CA.x3AX[$P*Gc]K޼c">0 R߂&]#w6ZUp}U>m "֣u\5?wP7b -* =]P'Ùa|;:]t*Ir/]A,ajx8!nAeX9?M}~x}CG$ϸŕ\[%ǘÞ(.zIRbM:Uh%{jbk)o*fл m@JcF]`:BoDIR鵝V')0 ͙%.edNSt%ﺐ /AaŰC[ny@/bVE,({i 爃▌߾(e/f]{nuVx^|2n4li Ҟ?wí?}ﳎJ[Iؓ5|6OO4(Hdj/ss5(!v8!퉪ۮ^ 39*_xfޤya em5'g(.􋔫_%8*Z7+5ǔϩAlZu:;!֛Ԍ+v0 0%{\M$ )T <:اӦ> %"@i ZEvnVmĆÝV {LTuM֕:[yco2/1%E$,WGH}O=FXf*g+gluX.zrNch Ss~o4f:r*M^⢯Oi˶W"5GEĢL2zHvw<}88&n!w2z˵ Vk~H䎍9g!m;#@,;24%DZq\x7k9bB[/l :Y锘&*n@uHhwbYWÈ>!㟢,N֚]r r<.E17>$cLĤ¶͛O\-p БO,B4Qh-LT$i&y` r`j/:[7N}dS.38>xr=/ CAw }ntɬ5zp_3Y\>mٝ@NM3N" zZ0EtH.qFA%h]fm䢲 }a9$4i*r *;N(ezbEshmb(.qƱLby!zbխ+4P!3VM'DF?rϡڋڭ$%"YBD!hJLűs^1bu+lJf q2pw@q&XE=z@zca1uQ{䅙Ү!]\ ǧR7^.ZF;BKu-j1<}tqpaZ~ږ o`-2v s1&)`+9)M:v&r!=HCW1$2깝2'Pwn)/y$bibP((u}IS `R"kׄ[&apfLKNts~ eqwK/6P#'[eNQHi+?DOy2m7- U-L~uXլ'wl;)?r[(_C l =&$DV5y _HZ-͜C-sѱ>t$pPe:0L}cVރ0aW"JUgYdr/tb e@#/(lFH,o7j*Z΀gI?DM Aۮ7C Lg-M>̫P3̈́S&%;0=03VpsCZx2IsigW VD^֭o{J͹),۷ A@T+p]SJŠz3KSgF.qR2+x7:藇ףxxD`ٻX0 BAc6D..{vZuRŏ uA3t,lE|5FO {8kZ.b$ J[œi *$65V9Uw:*"K00.9q,j!uV6W["iGN6 ȍ*B>vî.OC/ώhyYQeQRψaE(;jHKs d CVOYH?B9C0xBN">7r=~WZD>mb)p35Y385/-k2aTJ,T jf(wJy ;*cFϰT,{D<9#;e]ȧrad!4Ÿj լ+9uԆb{ "uY12"vivts @=>ᥬsM8~ Xw[3h^P,/aerd@yNY_|`?s|\T4:ɠA}D1a2BnFB0hՂd4 C[6q:§ԾmW&ڙR*(_؄!w Rl[1) V3gA\'#8z* t2ANav30!@f(v\@/_ nACjjRD Zq zGFܞ*v? W3i4”o#XK@zK};v5? L(k5KAh"ӅdE`ι}J/:s0>1eO=̙ߜ]H2T; vӯ``Xh(A@J;b>]h-f#_Gf(!ŹesIe9tTJ9EZ?Jt9FZj:y4;K@Mq@9Lӆ7:wȮ:q35;B}WCԆ5_dL95{2}Cn_nn=9e.qLvT={w:;vhQmf"_S1h ݺe)V^'Ɉzo0˫0&j6p8jxN (\ommh^{O$&ܘL? rҰ*.ـV=ۆ pY紐c )Ό=\TZ}4(5DJd O!wܞOtrFaܓXE,!$r:B* HFw9X% =('}A|wt oϒ࿂Zo(S\d'm0Z Oo6n6CFV;Ʊ秤g00qJ!UuMzlq|Qw# ~_^i,2F$tp$)>yxHڣ-5DJ.s=U D(<W&mpz7e2w6S7˜} JpX{cw>MQ$ᖪEdZ1=2RR1!(G**C$ǁ 9c_`,0VpI_ޡV[ULf༎^Y˷Lj@GI̟8pe$ p׶ CFjhXϜ& }_Gu|YsTǔQH'^*xSP|hW6!9IM^wPϞWB,N .RUhx& k޷)L{@bD}*"d[Uzz6˔B3=[OT@zיz}TB~PUA dD(g9+ fVGjʕϥ6LUXeV|qgq0)+J,co˦ xst7 {$B0phē )ĻHv}[bv1OS!)Q ]˃S~51k>:t [9ȞAZFV͌Ġ%V8[8}\cLo DR*~9]Nt#i/2  1opW-o'1259Z#CDq ޮ]5e 3׷;U<6F e٨G%qyl'ߏjBkZeY@-%+bbܭH@.v@*htjmWJ.֊a۾m51? rݣ]-kJP=]B5Dr 5-W{5u̶ڟJ;=VIvG =[oI0l>ڊO/rOSN6bxymnWVQؿҋuxj*Oß^1& >LR! 8'dݵ+11xޮ^ h[VQ#*;YA `aʛ@QFW$N/&YXM_VqdoPiD"Zo`O4s 8dF?L_m@@:Z'#5nр vdΉRD綒LVk_wFf8%O쿕We(,bZ ځ'u4wl AmxsǿFPvzϑ\u'o':]/6>I7~ZeJKjg|~k_i=rOT|Ɯ9)Lof:NmrXW$揽l[#ZIAjR[8fE?#kKVhR͞Ko 圴ӬAѡΨ1[( diRc\&3B}4!] Ѡ/$$qQ"^1h[{DD'h ԕ$Xaxh~]0V|9aZn'__O]i[F{%F,%)+R2NhܚdsYfX9.*86մ h착jN-SΈKK g҃S:C9M9Yn-VsEr+ujURC 'y3!Bw`į/:Tzk+ϓq 0ۻf?9 t` 3 `at/΂5/(G=g&3 ށo]a!rBoۓa'(ӍTmfo}!FAr>1oQZ/T8joO]@ҀA!(8ze[_y@Q`؃M)(:ydrylg ɮLhJ&B}7YR`o:hPi]@Nhbĕ⠯byiU<@kQJs5D[H㎬zy??VA<2% .1s(ePAVt=zIw9+SP[}1/گA86TKȒjg  N^nOqr! h{2T6{mK[O6t$N6n urԢ9jן&׉z3MXnd'Ĵ3]tlM)Ec>~Utv1V];ݥtzGU~n/5#32pi̿UÎf.=?@i1ocaqmb݅Ŧ@;CC\xBҖgFUCnd*d6LJh8>OR(B~x5qr ύqaۏ+ u ߛ_\c[1$3]&uGG=pY,o0nlz `c8$x8@Bs:O|"c[FQpH:m>#H QFW36ljv$`53u=j3Iӡ_kJά.O`e"&|`BQ%J.Qntlu_JkAQIz{0cz۱<^kڒIP+=|сb@Lydw{g0rxw.eۘu@hx 4aecgQ1HhIWo-ٌ *C\F,-1*8mC`bsiԶG&*JyN6 xj}=B_[η-S7ԶPO7*drܖv͟TY&i`OC;+k,R5v_|3>8,YP =N XAEp\g@l={)Dۆ:S .(Ek!=/]ôkTi$nŀ8E`GQᱍg _:>S;ұ㭵o ,B0 yoX:0_&Wyygo2U(_m"U;t%B*Hwh(ѩCN;ʷv@ك+^[ & (,@1|C4NgXմl\!zVG=ozG EG^fS|K>TizG۞]r$ >^7\{[<򳏼O)h*-GO$\K%y,I^54{2Uanx5W{v/Vz?j$Ɏ#柷`Iiǀ,ߪI2|׽ Ur.7f"8Q'vtT\vdJ7x%j+#Px5H6)ho3Rb =vtyq2}RӬܒo&2 NitRBKajXZhȃC+}ՂCXe/jgizj4sj;jl}QjxsWixr=bK_(HX9fKܲEG ‡ d>+Ph^o!r6l u v;g4u^/72 锽BtLB|cW.~@L!`J/i!|4Wh2'o0c u]tS{J\hil6`'5k GJ - $C6o \/x⁨>">>e,:8-y-(hhYdhحmӰ;ֿP9[*WBd9yD ':W Zk&ȫ`F/Jw&B'Wɶ!0 -QFkW;Ȉ6G3VAn̤斝`d_*4 !xT@˅%'$oBTnY#i$5Fks}H3@LXהD#Ɛ %7N:!(vru!@OhXGcB0v1IU)FB!=~tcDnݧ/H L_M{|\58p["a;q'{ {YNtZkmyZF4V OVޗk_ U/f[Xd^C .`/gNa_I Z!_>SyjHZ*t'0X(mqŨ1hmUtˁ7|b2UVUط:axpIRBm4^,eJ ݬ՝8g* ^}eCcob]^5j43cɂ]P#WՊ/H]7[[KbвnTRx% `̚O;sQfc8 ٿϯVwtמI\,S~bg-} M -WO[UA5'^4҄&ۢj/`}AARsurc93ѷ`ПM!G;AŎz{5|!Bg3(qއq搮q WxſP]];u^zHAnA hGmUwlʅhco,o>&c-L_Dx_^$VލHթ) 3_S6RET[5iJC.K)1\7bI.Sռ:D - ?Z/!̧7Js(^e l!\"Y7@c/|/uj?uSGne}8X0'c\SܳKgS hWteG'* plzj³+ˡ uU/=ZFOqg(2OJ-u?R+1;i$4̾a>lfPޣ{OJ"(9#IZJJ<ĞA.AP߆O-.P͸T}Ά$G.) 7Ż~u=;9!FOe04\D|8S=o8 f ,DX&j淖)DϽ; ߑݔ)l.HYPr81+^Q?mZk"[|20qNsYgL L}Wuܘn]&{U7Ġ輒Y;<ƀJK*у"9儜nT_/Z';8"HPb,҂Гg7F)8cɏ=uQ_"r4Zh݈uqtxrRF!>ٵ!x({/ccR_eLEIL ]sI.i=%Y'JTiOo%_luV:>)У-Z('o?*I@mqljd5IYؾw e*҉;YESczY;2<.{')˃Q3a?48j&ДbM;:OB9luAΐ2vAb~3e{*~5uω(!sb?KP*lйsN])D쌲s*ЖmAآ-A_F j8C\gNJ7!(KMɣ՝LjTMdx@ QOG3JR 5-& k+6+L /O.vCVzWCPR1ZϺpw^vS,\q@ -ֺX7gK9 =B\MTTrtk{yF:s - t5;W u.6rWBZGɱ:IojXc"G o{N\Bb=}&~i?_ji%͗T튊6)6O!h~A:e`OoF}8[qi$܁7"_U"Uv59I2B`<5Bs2 A" + =fԟOP]}JU+ hY'pњUtUBvT/[ sB>Pwy3LCʼnm#'+_.ײ:Źoc%ey3 [ ej0͹<U |9r>/ޜXdb 6uT':&\Z~ Oc.[ @$9mQwG)֮T+7Rv{]j䂹?}rb.J~S\'+E7DlVj 87բq 6>1#Ps?dw?1e o{aNR!ݶ$=#$% |L.r&C[ #I9֦fe%yA*Ld ;Əa[4;AJ}WYkW( wy]QkAwsM)< \ʏ狀{rɏ ɅN. ad`U/zJÙ 4HjhѠO5ʰ}@oӞ bZz#!(Z(1L1hGG']бpQ֍ai #c=׋b[юZȆ=ƣ 6 0c{|``HG*ueGe5ڐң]UJ4BXQ73*[_)gl {P^㡼W#΍u6ѸsZ,4XS4 QRȬ)U#}iU,~L ]EY]sLx[ZX#Dj%0{1wԭMQ!dL'T69tiKa^`m1ns[Ԗ%Ӂhr#QH <5 [w'Qg'b␅(OFZ|H)2͐61 ` \"fБHF^;b.^dsPyjdxL>gMa,ƟXp7퇯rYB[bLVR\'oDQm0YY}:.jgBXh}¬N6 >P K`D ہPC77ڛ9Dǧ$,鴯pj}|+ daF]Wzw8;P8RMÏhѐ>>! &tQ76Q갾RvDṞU1oU<UbL4B3 ;믱(2G)h\G1 FmLVp5EM5/Cg\q' {9@Q/K_ǝD8iQ>\ X!s}%j":H{) ͧ;iDNӂEF~wI[XC2>2ʱ/T씑j;!=D#1M!4ROZ>q̬K|}h+c [BbSfӑg^z!u$6sW7g KT[#4?EAk:#;5@$l(= \<RJ)BtMbMht+wjTԜx )1f豏Gu,bMف |\7 3m!ΕHhu1G<80h*vo}Z!`bm~(g^N:/b;hYBĚLC ]&j63[/ w8Y” #_.=R΃&GOK]tPZܭ,*U 8?ajJy~w25*!5 |S X;9Ʈw [3@%`Ci-~AƉ_qHt-*shȷּ&x;Q%ZԜᾓ+- g$HX$%}-ڰىmJבouQ$p-\\Vğb'pKaVae˩濕{9{CRYa̍*_F%IߣɏX3x֬#DǨ1-[03}4DGYBx a2/q;3Ri-c_ȃH XoOWͮ@ϙ  z5^gߺHi:o\.伺 ]j5@i/l\9WcOAi2|FՊy{~gP5bPgNXIb~vS}c9&k@J Rw6`qmIs?7qVKGP`~U&:?"CX?G"Qo \M~QY]Ëk-xS90k7 40 8k~"⵭oʽu阌ϙ-oP=G k5dyn k{~8$PPCW3:} WL1F +mc+zUѽ'EkJ0KҚw#`If@ bP"\}F [o.LJ(T &,(S*Tͨ,㓗p޸3~ꅀS18n_xHVZYEEcDC [3G(7m-,#d pHTKeXF_bEl8p\օ4nrp-d> ) RщI'ziu׏}dYPY; _/_U  ӳ򛀅uŌ 0oZZe)9l}U97Q9?pEx~]Mc [@6myޝa8IImdm8@oRahigyT}if6`WxK\a>3%lي{A)ĺ'P\*`m-lj]ve3qW;g < 봞jwUɝ(x%obF9)2[@CPM,ف$i՞Շ=lMdq:uD ^M/?Y$3!QQ]\1 ĔK>7Kk/ AXaRơ4-gcn5 "NBwԵ2Uz8֭¤7)!<{T>=jۡz6?9پa-V v(JׅCG1DF((,iE >}2)Z'UXH ,HHuGivF2IɘvA_uw rU?3L6/,_ K8=FD!u,a YښW3MǛ`ӱ 5*UKO' : (8+x{X'`QbJpoe9Lg{4+(خq}Bx ,|FwY,qV6t H)KL^)݇o|)rEpxl6 ;)}@LW"w퓱5.Fߪhxxv5^ -Tm% Q~lP>WTIGص=Z&T"My$y VW=7(p;U3ܗQXyZC1xz-' 2gvfE9Q$B(+'+ɢjcT#G3f~a|1Mym]6!ԏnZ֨Q&Yi̤>Kg+t?\mђ5#|x :&YL. 3\?P|2MV ҕT泋-,JmIřkyigNxaGsk`M>j$@i[fz'6A0WK(%h:-4>Ȝ~+}Qya G3lgH(u3mD*"+vR_li6G--n󂿧;O>ٺQL0ӡ ޡ=G/3D 2S-w-xPf؃=qT'*-OqTԌ 0-Ǻ{!ZuCTcv#;qQ9Amgׁ LZf<25ɄOTQ*0@6"A?9Cqܿ}&XysLgD|[B 0;-1rW$`=qHdoPKﳻfju 8Y_`Pp"OMQUcgqsniϖ/L"YW.Â䈂ONY%Lֆ9DlTcZ #g'voiD>ItI&a;VAUr=SĥFrL˫JYIld#hvCP^=]E)ĶoJJE% 9WL>)QLvXVS7ZneyᨙâgZuNhԕLjG\*VY#+Vތ64Ź81ԇY0ΆKh *|\[u-&дmBc>(kSLm#UG^s$Ǟ)~u8yɨ-عOCYn_I-ܦiy^7lmϭ+Gϴp4Ri_c(xտs2(R]41X{}L\LVICIem 0FR%Xc{58 X@x*<,nȪ$4Hoq/qO뼿UF/j -$eNM@g_ w\_PF934 ظǒ\l;2{FsGڧqg,|1)ceLF{-*"ּ)+$ <b;\hUx1~%yrZ`I^6Pi%mil9|hދfFcC>ȨC(/!{I?~{QnHeOUS.W#>+;g^֛_>X>R~\Π1v17?'"nmgnRtu2~#bn_N~BДNӲةFg2cY'{!H-.Ք8 68E 9`/;ผմcUzI`/$U5xLp+35џ[tecdÃ֕}ؽɸ(#$͠ic ̃IPg"AbIEH:/[1itJh -,7AmK`()ذNP%1DTxR%[B>^ߋX#Г5hHe)IȲ)Q8£z7^P9I^lkvd]X 3ɛ|}xm ~"@ Aџ%$΋J27i.w41TLQ3g5aҁ,Ll`, `b iIz"Qx r'8%{1l ;(ܨݗ/0T—Ip,^k\0{n3\ wؼPfTQ[_;x$ɔT}+^i,2\-UKD]<}sB9h[|i}bܒДATO/CP`7.T~qzr'ӛބR+MrG#ܤL<^ytT_ȉ&0:䐳)3ݝ݇#rOPǾ@O&.s֑ OƲxO}+V'2yb* cuPWd/= \ajg=geKp_=a.PgSM1 6]( j%Ps@W:{64xF1! yUd ~D8Ou[^'ʪez~.j)!.$04.Ej6Vrx­^'~.n5KU,I҆ zQHH#:vx(NmEyF |ƿlTܓ In`ډyW(LZ kuɘg+qPK 5A:2{F&xZڕFnfHZܔ6J>HPXw@} b\"oC<(h!ʦvU9r yTCa>/ bmem!ޕ8䑞FD8rԒigs@PI1Χ!gљg'X| JVYm9jJ~Q|wwƤ#rܹ:U?*k>ܫ( dz|Ėlau`x'9Jh÷^ jjhEÊ4KrA˒\Kwk߻#L/#"&RQ 6@ c4J392"- CrQ32$B݅1u}x%gqgo96&Tt1x68o[_2e6 cw1'$ҠXTPؒل'jWC9pnb;ykdžX0Qy$QgqǙ9,ZoM:ݠ(nJJ(rwj:^Wd930em>hmid%~wɔØ} 0.ǜG"4}q]3@8AibZoR_eHۀ+V(hd4oqU9E goEm9[fFB؃=كmT|F^w'Z"77 b 8 ިjnq Kr%/ۿXJѡnuڵyb5K!#> Mgt s]La@ۆiYossUl%_xvX tKXN}_zc(_?Ҿz_To#1O?eYv•Ox/f۔1ϝǭgYZB姍5-zH}1*檕q9XBmCD[/U. DjSṁ!,ѽ.$xPp̖ꑙ@sEw+Tݜ Ry+~Dyxy(E WLfE"^*ͻn  u)r 6`jV+bqKX = H?ȄrqYoR RSXOh볒][bXB:|GߢA׻q -r)ăؒƀ3g:^CYB q!EfӃ -LIY"`z̮1 *Q $@]z51z'|-w|blO쇤6fɏS"X]'O- 8̈́;VGSiR, /1A6Ctgg?~Yy88Y2Z9QAC|YU=kU:L5k-xs46ǭC JyӞVՎ? IV 4p,:4n28!ŀvE'k;2KRٜlu-0Xz"a6f@ybd̈u++a[:Ŵ򞗴 ڮFjĀ!^U ^9oMڊd$i`sD .BBxWP@~RoQWX? nT̐U|3O$ aȆJw_@q1$N(&$DBLi3/B!!B,+1 G+?;lAB.4G=tJ:Nq'|$. D0\xLc֦QWU0!' QddmnLj HW 8|HDbUg%kj74O$蚠uayXTO\ĜC'C ? +)?Zq]E1612n6鷟`z:H͒'L~Qd#|MEzWg І PRE]_#C*CWC% @8/ϘLc:hWb.XAxZcZ˄nOl|. L&KD.4kUU {۳;|F~*,*!mЬ=9#s\Wq;/S5OřtT$éOQꌦ'Ԗ_w-V[c4YDr7,ާD{WR8GL>$bsw&+E;ż?.JUl&,QW&ao@-.dYZ7r]BAbNZ^1/&گ$mK?*x!`N9坽ghpc_aZ&aΞ89,7h Ot-m< Uw(*\KA/ϵLl%)- h)[lVYmm>$8{q%NQ跕z'fYVD@P/2Rx UW_얫^ m13x8 \BSoW6^npgqRlkVBw C[iw3/ixdǓ@ <"u_<0m*΃~a$p~˦tv/f!:LGH@ϣV%"K_C47L:(m'duE_1OthYO+|0עv;VuG$adn8iܛyI{\+4ef{EEf. :Ā-zxq/"qf2Ƭ:"kpOcؤbPaqwn",1E(}ߓ󰭅lXb F[Uaryp,G>}kPމhc c"X>yNˈrx`2(+"EdnkI&c'n٠w0 Ґ܉E6%ۼ\u[;v[O,EtՈcCЊ0YU՗GfFYN3$;g7HhbiTT&?5zy75|MuxA Dfv8Gd[Ʉl^U3!4%2o%#VK=җmUExG4qaÒLʵ$3IbpI؈#3}B`j$OdU%_rG?3Z4 gfjo8!?\5&]Yg2YZ] iNA-Z%FA*֧7V?QؗprQw LS,umz%X"0ˑy!Gh+SX~f(Iȥ9W>úG0<-ӔߡCJ"Ӆ++7U1Pt^/gL;=IڝM\k8*߻KpcHi q,n31jz#43} uX{wxh8p ӽ7@;A SAr/= U0Hrl~8>Ur%B#2bHS?(*bO[o4Kk/4EfZNc13ʹ;{.q)P*z6Ju ͱoUx"3Ybm;pR|K> M4M:PYhle&DCgrjI\##WӱL7`b$o35Nll.H Mquԫkټ#gm-ӥ]I^tC5Ohh+ jov+a3"UɌA 2S~ӼU+ ^U *1&msgQ$nW$ʇ&km^iq/H= 5knJPҤO׃k4_6z'ua%[\躘)|Z ^8aҭo FW>EYp8)vt;J O'P+sGvbzqlQagr.@tnj-hoȝ|+NgSe>zΆ d@.9@l޶+wk t!|0CdV1,Բ+Q n-+g, ~ySuz'9)s&J!ei%-[#Ǜ3GMB{I "8_rO\:A[$#1ej 8^(r%P~o||׭P;%JB;oKFa#o҆wocl6}{-g@s.f>Zjw5n(56 ⸝,ʾڈψ C0풄1D_ XDA8aZ>,`2Ө7lbY,!rBg@`l|%,ppPT<|/K04*Q|M=4Ăsojrp9s &;%.4͗IaeB>1Qπa.z&O;DW%:I|aK\7~KӥqDа{Q;]OR1'[AY3Wc);{R Tz6(h+!inxEj?@I.'G0VXN2|NM ))bx#<'MÓa3$Q}n샢S6pOp/qvѼJ{+%ҋ (_ Um4LaU~};~pWkX'C%Rܠ,@S3] _/& {I>X4>`:ſdU>\}m/(6T>J{rtmat/!U}t5/gӚµ xM'5ì/ :n8u^෮LSn\1 yͮ1d36#& Rt!+Icbx6Zr+Rvt OoKxcs%4reF1=׎ocJU3~4g5]91jzxygY;3X¾paM4f*wg8KN. Y>^]|'M(,vswbK paSH=iu.j!Ż~cEK2wX@""@+ӲXA_0荡YAu*g)Q1L^ )vӌfGkKb.gEPxl 6NLUZ#SǷZRIc8Pl 4hv90._pC<ĵe{nWdNL06$D@ĸ!υm"5_I|n`öhkk8w˥;bi`FV+ ԡ BYc ~+n(j3^*@ wWi$CZ|e ~SӜ\M~N"6q0xFt4nYÐ%1?% юke@Ll(&֎$vƊ?Q4lPkTR@~o2sVAw!ԩx$a9B;nE %d`NKT :D^+H7  綸+sZ87>aDCM V]]4]UmxލQc*:8u}Oۏg,d,^\#&q,a[}ǸDxȎl J-~ب=M(1]D‰w}rV6i9h7t7~njze6E O>539T-MkyȢ [M#BK=wLk]ܸs-rbvj ă"TF+]RD 2rZBv>M9; \<,A-V^+aƤGlpJC4'M}UO Ew靌DejNqfv +"KƟ!T>"ߘᘆo-UttIG=*lK,!*XaSU@F4@Ǥ+UCyma%O +s`9c:]ri3BSnuXQw{&f;$ v}i^<9vRt@8*7i/Qh S O7m*s W-e832z<̱O%#v㧵 eWŌ} -l9v=%vd ?~cApx"Ow߉4(Qx̢)K"$v޶W莻,Eƫq,DXBnqfIGC8Ò}~3O]! 9c8R6I&V7Go(Ô `Z@}H!,e-H(szASZo 1H%{v5!sj`/ ?0!59s ~`"'Z\}0C0)Ta(Z&7_5 oVޏ{ )1GcSU+qXsX.@ CZQ+\+Ye˛sJu~*,%DC5A.^8dc8twtn`X7kpO;"$0WZpv FM-uf.T1ʈ! v Z&>ME[ !=D>Jq:O>A{ R0YY*9Fb3;u-M 5Bl A2w|nLaE>) gfccưIM:oARBEY'9z1k㙃+jup|% JO;g-QRRJ>9ͨbnҼᴺ}C`+??5FMC珖@08_^Op|9/A3>Hh!ԗmNII>kP,BH LhpheѪ4}ʑ T-0z \˕FF^D87ǢjQkH"Kl)2d%`t4FԠ#RGU=Syʜ!h.o7jh|rxo=fO`/1q}* HB+[>L<τ#\u+nb H.@ oMcoA$ʴtˢ[ؘw`s;/꾜i3pF]e?o|jNq6E_#.ƈ2'-DM\Ij<[1(e@vlɨ*mw}rCe\#LL~/XC2([Ȃٱ(~,@%݁|O7l]Ws)qLٚ020 +',av@gXB7-^^o3T73# "5K"ߵŘFSkYAQv ICߋl|ߑy/͋vf$,HB5=AnD?,R YG7p6KyެlpP a M|qko(]X_؇#x&_+q2!R%VC<$2ѺL*i[R U6ﳱ ܒI\I}Y;fPuk[呾*+yr9$D ]OXzG-IK~5Q@^PhC( (]tM wkt1;?l9+u$Oi3E yb Ȩ.iL3"8>0H'͚vmOU {'[Aju=h!KwR"8HѝH0ž*=X$ zrnKhw~{'$oN?Ļ ګ=?k# 'i&3Wڻ~=Ud;]!uۃaxEe#DO '= : 7UEJ%/OEV?.{ShqZmm(% ]._,M%=As'i>A,2{^jꝗ<54g*D^+ZEPޱ j!! xХmL.E)tHuӊi'&fT "'v~k{5&A2J#@Afrrw3`<{`N^4{hS-Ĵ6kNݕynu -VWKQ%ɼ0n tPȐ_o&SBj\T`[5{s9*eIJeO1LFV\tMj0O"6 21Ǧ9/wAM;u}IUNyJȐQ> EQ=N74"h][C!~CG:$j;.P@m}pIք"s X'Dl`2=^YsPJ|"=G. AҴ^&$kJ;F})qtvw~O1m1 j:^K" |@$sEw"^bsg*X}{fQBT%FQ2ݒU`]JZ~E(sI[E'}9&M{NTWtV~ O7&l9)9;R ;78QLbH{'ˎĚcnvI1b0ͷi^^OS0q8*ݴmç쭓otNL7׍fuxFKf;KwnrAi%v|1)wz8auEcÈ1TQ7" y ݕE-LmA:]OE*YW,CLC7,mdiUF MCa06|/R ,XFDrc9+ Q#F7HHԖzifs (\eʦGz-&cB&4=룮b;VVenY1([|9N8.i"􍹱=1nc/ iB'p1=rgXj^ƐT.z$ZB3 C,ޱͧ[ߎbVkݐ)Ӑ/Fȫt԰GtMr/,8n߿CWjxy27uȰN+/NMդଠl!i*1'/A|8@7.@k<;M0F!\ q`l?lj,ZmRn#4OU"߱mEE}y%D*#Db HQ0䡫Af :fv'Vp.˓ W \G& LtȟlNenRi"ْ1ՃA@yC29P"bcPari qc,۷L\4jEH!3-8~R wqsʋNjw.iubpS^34 PviT]?pԱJML-KVvsPz^*[ j- .܍I[qahA,|5*( A92 >t8`N>9gqiz%`2yN(!} 1D6Y`8HP) ;X; K[Qd.!>`Mo82#dpHlpGϠp>w!zN lOiJߦ9 v0 hI_7NGyyleC*)EE@uL3Vփ%mNms{阦~5޿?<`7IcaTq~o=yaڃE 3b&wK |}߷ذ,0T`=C LQ P,Ȁ'±!'vF)eV[>/U!@=.PY$$ 1$'4RЗgS^u_+bk!41 3tz%E;fs2u0@!taTWE/ _2;ݤhȊL.e  Up#%d+j8q$x ΁JSD<2[-6uI?ǭ^Rl@~K 0 lvRWԾ4_uFު ~zנĜO2, ]hNCd3޸)/3M86R3 Ba𣥥Y:wJ+zhp|!wb;ܲI oS| ?|V`1yBaTQ^~7K u1/k12LN8X<O,5=!r>ŷ u_YĨ6=`[A5 F_/<5tpt(^gEFJXo݀Xр*:Wma f DٶzcH׬rQepDď(LtJn)7L Hޱ1C jҴ Px洌m]YQ'6'8Sls? \ 2ŨVm࣋K23k#X*b乨MLfMZ'pJ YZ# ',hR}jfD@uR/|?αKA LASpշ*=ۺ}#/d(tOi Ԏ})}n=ٿ-wm7%|n$iZD{s!1%L9e[M=*) T I= iMXʣPF6@ Y{xWXa=jb[)LBkYE'l8Dاҟ7'e9XD %KH0#ƽsyp0Ep/Sԑ|$/Y%N5p,fWAm`T2|-}~nd'z rGWR"Mt38e% vӖֳ٢M"CAnG\>b_Xw#o=ͱ:<6`~ kjv)inFs)cp=W%[Upf듬8cԭCt?wTc9 3]['ԣѝcClƗX.Xϧ M^U>bm npgsx?Ch\M0Ճ&t*(*bq; JLL3e%a]i-t Txio3 aO']3\>7O_ppY]64H\lg)Ӧ;;'2|lLGq|kK2?}7h*Uɔu 36ߜ~P0yd;aâr=Cg[T)p.sn>>}ċ `?;,vZ߄l~鼀!~ӂ 1ulh+VA'4,8i⯸KNQQ\CwGF(B|,fK >T)~{ Wμ c,3)?٥ӿ$r[L>LH6uxxtѵE'ҬJӘ!pX+l%X~k믍4t[Vi^Žz>B֥sy%SMAʻ')d'Hwa5LG2:B؉ b: raW,UrB>oR5nu/W+OvIP- AZ'јҝ>"5~ xb5P_SZ~u,Jm C^¦6d%`ܜG+l n)<'Bśjv ;Q=Uh<|g9L#NE9p>Em7"!S( 7OB6vnpܙNAeO]Ko6~4:TShFFzBa\DN6z !PڕvL֍ehEqBnmr(E2UsQaS7 SV꯿Z%>A#At8@B%V :'m5oskkθಜתN=3nhFpKύ 4 Pv K'Td2h_8|2]6,,2|q3 ["3R#cQ&'ybgk 1vݨ c+*Dڦm=id 5ЈC$ƙ:<:iD+41$woo-pzd=2ijjh$sI0K[H K>H"ǃ[Wi  շc_42|YOn*-ŮDtw](/=Zn'QT~/TOF0I8=]7MO k9I,3 v8 Mdv|^4*~x (4&;vptJIyD[PyS!5vhPx Zfeҳ;:ؼv#R]|m~)$"B#!{45j-VrQz8YR->'"P\uzuSS.`QV],xJN: `ߕz6g Vc}! 퓺O,%oWyo1FGiWz2BcQHN'^hVH͎FV彀r(6~+!sta50"!ʀqL#3@*[?AQԆ1l WMZD$+qS߉my}qAqߦA4_5(3''ڛYQߤl,(RrvK;hv5U_{c{)q),,LsHz-9O&nYCc$4)>ƶ K̒n q,ͤ쯩=崇 JguBw|/8ǞĬ#F,Q L>2t((buJ=[ v<(^[J?W۴ɖ3SW!9Ur S zC&A##|տdgg|vgt[#w8辧jV^ R-d0مP>i5Y(ӽmh/6e2VYCL%YrPx{o:ge/*;NeC+ xOĶ]R̹fOT >s$59h.^tbi'v. '@loe^ X=qR[)v{뎪,vG`{MIP:ʄ<$:dS*wJQ' ?蹗Ʊ9-/m; (8}˪-l196K<$iЬqr #FKBCtd$xɏx)^Q<{AFmŐ`sSvѠ<1V*pPV̴ i0`S܉?ht FC;Ȁ@z@ỷs{:˙@MN=YEi~]L{]M1O+r^>yUwJ+eà`t閁XN/4;ڎUrfo܁7$ s{pa _bh<(3wBoj=OrE j׎]OkzɍJ@/r\Ú_d|ޫa@3q/7Nx~:׿&뤼C1FQ=a;N~{6~ kJ20@lZXu`?pϟ>&|CIOK Z-撚aWB `]0>WEn{a\N?Q+27S#0q$>65Ӣ螸c;Q9R`qrLڅC+Avq8혬sWi:SޫtMP Lワ&#$罴mb`@fЈ"/]ށr8qJ͊2 _b-uIG  }aoV8U#Hԝf"5r301qex\|Q4D!ܞᗫ.wfJ[e+gE)Wdi] @Rs|ftpШCҲbׁ6 Aq4? & 4z)j|8_li o&Y5ڊz1JHZJi> @t Q )Q!a.( P !=j+d( F!*@z/C R[4,ޔpzpLPPo1hu۶m:i gWayPkم[zlyq=PG1M.O 8tkNԲ?3. !lrZZqv"|A򩏕FMgݬIJ)<flK?RaBDN:kV^f`zqRqcz4 E>DzOqr2-‘f*c7ǔg<q%VƂ9bTb`NS;nڪ@0ؑnvKޱ/+`|u;"h|@*i1 n#$r*{#3GNh^vk7/hcDԄE`;p6gҧywpH ",6%aKG["gWp@zXaXv>7rWU Kq릸ݫPD:rOE:ÁiEmId6 IpJ?LvkZx:WMn,s]!+P+鷅DzeUߒn4no8Lu !J̏?)w%wOd sD3aIF\5fF4G-=ӔR?mnN,W\ZsNq6l ,E$Cg¨#\XQ 5X;o-2nfk–Εnj0A49 lVU G5/x[~ҹx6幛QfȌ|٩A?#E0xUp _2iGi6Kh ~(DX9oL@ 7SզE0z+^3 u~%l3?bY[t! W322̈́ˆJra O $oqG2QL! FL$j+v{&X$ˈ|V3TT$H8l!nq] Gq s XRC~p+p8j(D#GGe(ꗹ$lDe\'JHdE ө1!If8^efZ3/60]w?*ZÒV&c= 3pnL)ޜghm u6Q=FaFL27EbbKʥo4\`h&8rs_(4)1!JֶQU|ZX$ǏsAu@wЊ!rO2"i_pKy/M)BVv5eS/meSΉS.JedE2oݷ;25V/ ,q;UڃSK,z!3*djAU P].gIKkA{x#ɔ~$OMw~$, :~Xj!=jZxUPlnGQ1|ASwX76RgS'_?2O>)uA;jS|~Y) {n嵕lɘ~e)zWŁ:/T@c#/2- i U{v^RJk?pi%`^7yfsfQ U=gʜOL9((#AqqfʘwqZK i+Ul~*7>4~ohJ v2w~ Q2}Y-q;YA⢅LӘcu VYMk,fx~]Cӯ)dY,%V۳.L WN`~bD8Roq!o* EtmI4)1e1IUVg~oP "Iٯ(y@) `!7ͱEk5=Fz[2qsdy8qUr?n)imt c[!0-g$~ z~OJr}}N.>j;BR UqQ37`[aƪk3~)}?W0'n-:nw]e= 8No_Te}oA7Ӭҝ6<,1zJl9/nek$ \b'!1 [WsM#"l7;;t2M&+d_%rП._T1(4XuuW.b@dy#໰̎ `fãd}c4M\~ću*H<_ͽOoyȴ;($T:9E[/U:ow 㴙t|Z0|9Cbv0 _gR,}T3Ad 3 `c"MH2"gQW-;(֟2Y4uysFP}mh8hϔY!Ɩ8'фY[eu^3^.H|?tL>P# ~Tziݮ() Eҁ?G"-nT+Eꆝ {J]MuitM6VT&EVO >-Eb29}[q_7.5|q4U\2n~_k>u%>< d==йڽ}C@<"pk˪!9[']<e S/ن4ADMbζn~{fTj`v݌犓Fs6<7=l@S'{ ĮkxOX5VZ-™?vVcYy-һ [(ӗږȉFO*^dUnS# f?\ yhtQqMkR߃t&ھr}2u$*AeYt\/&YKߖe_7b@%gtB0$U.{NZp_b8, [as)5?'weĞF60R-_#bΈTOJ8WK^^[#%oMb;Bqw *| Om#?[z`4dB_}eMIpv7;@oYQeѾ\_̽*P#3 (h a;PQWΗi&68Z#6Ej?fpwsëᬯ)3*!PK/뽇ohD"]"E 7 D4RmvLƔ|eپƽUJ>h1xTj* Au?/|w<1_- Kb-̐HWĎS068C +?NeIS[e}Å7jHem峺l$s3H_Л*.xVTx ">ڋw%3۵.oQҗ .O_;FbBbAFGF 9BemxwY<ʢoeu#m==$0,\`y6LLE%NB$!!lrNߦ0y<2,;#&tϪ5AFzY/Ck%$g/3+푤CU3 `.I/G^HT߁JtgF"{n"H\ 7"##Wj=$cAEIP䡻@ܓ*TѾ.vXpO3ݍhII6$:]AIHLwc,ZbdҵS\]4"`<֥ wݸŐ2-8``*>X߷5N?M4Iw DOd,ʥ׍6>wxfyy~8q zlB~*P?\$ | }@?.$#4n:^ 6Ԇ=maZ;2O )V;ڼpx s%]#Yq dt;(H ߃?BiBuy0ו~3FL%O1ve9cG |.^s>j0p;g l({AE&K.n՜2 >^8rr ~(NBQ2!4jvPpP((nw I,ցtrSdg,Jo(<ƒ& n"56˲u?fPszn:gt(A?A@<9=FR h{MUQ-u!dwϬzۇ}5Lw!-oո91Fߪ@ho0Mc^HIŮ,4u+ܾvf`~'#忕e 7v (hMW>GG )ō 3FADMn|XT߁xU. xR%j eMȨU[&- +2/ (hg G9f.5h=]FZ.iP$=j^E CIAc^QP? J8珥ԱQ5N! F"vqn6J`,*+J)7_5oC%E]uײw}xE1 хs`|Tŀ@蕆o馝VveXޱȮk=ƆO#!yԯM/Y0i Vw^%[1|7~o+?ψvrssBG4?&و=rs?'dy_ Ck?!˄uQ 1Q}ة/@<7*t#&B>4- LJSA9KJm414 Ĩ#BXT~4DkM|(&p+%UMՎ䄗'M+S<"2+J"\i$/Op'YiĤ$>^g&tP8ET: ۋ+ >2 z#cQ"9cX<I3A>JђD2Ún?=xk)-S<@WEWE&d7 %+JEөK^09װ(Gx܈qN I1Q/TU{UfW8LJ>X( =!g\*ؘ پ*`bJXj(2bNV[F>;lҫHI:N V2rV@[:Qg{v]SRպX]F=Ma?;Va a2e 8\R: A3E_VR*bk=(Fi`3Kt E9ll i32*;u v@o a1 ߵsLm* lT(.;~ӰcԅI0 ᧈe/qFl/T3 w=w0ϷBD3d]xj,z-6([^]_zk?a,h"դ&L]A`*Mܙ,8 xmN5 gs> Ma^AᠡyUo"?pt#&e:(bdq,{xM`76ޞb`n0v%;׫@Lv 'zZt~48=$ZunD1O-Y:- Tmc j~=cPȏDŽ,q,[d.Z)dZ8DN\0]~qΌ;Rw=ZA]'ܮ釨9OfMշ뽠5͑(oW9,Z L-s4<} 5QXsDob%mc`D0VpTEVsfHB;P3:~(؂Zb') I S_ j`bR&\; [5OB,!fE5/ ࡷ,C6,PR7Q䚯 mi)C% dTimed_AutomataTimed_Automata.Regions_Betadocument.tex7zXZִF! d)l]A-MՋhvG"uIBm5#27?} @#qZN6FSX^c>P!.& n!IZ"7Z ZQ}2ohH_9)acQGs=Z,e>pJIyR#o$:Moz<p;mxWr ufX~?fr7nFX -2vHJ9vH.<~)[ nV"wh @-(&IX F Yٿ:6m_ QF\ xp,zia|( .q]cCΓ;{[o4m.$8'>tUV%׏iuZipD1'ό#0揷ET<8%)na׻\ڮ\Y~Ս7$wvl2FW]Oxƒz j0 ;56FrXx0hqG\H%0r: 6UXgI*J TySU i1ڗ-7!{Ɵ`ez 55')G% \Timed_AutomataTimed_Automata.DBM_Operationsdocument.tex7zXZִF! D|%]A-MՋhvG"uIBm51}Qӂ.~M{{x[}H(%jY.֐lGٷ޳v|HeY*6RETODZ¤0@6Rj)`^u0z=a <=|A D^|_§[3ҀcP1Pf4=V=luH˗v:w*F[| cd=5"OÏFW@ϛ1r |6Dr*ú@ Qҁ0?r>ӹV*ի=AO~|ɒ*1R۠6LJA!켂 "]b K3v$S"w&psyr⇎F'͆R%z+F! 䓫Rj!PƇp?|hœIZ'I־XG,|Ц6ݟ| [r Bہ (0/i!/'+{kPJ@ĞMYg`#ڟE^}VlI[V2ČT>msxQ%pۙ֘spKWOh6uDjkO'3Ρ/c-"Ÿ¸; 'tS <Ҿў$W! PƳ%@wYac\'e·:ZQ,r]2 ئvǻ.K(\vQ܅FWX 7-Gơh=4DBQV9/G)Yzydݖ4!8{ַ V(BV%8bf ĿxX}aӜۚی6HFu2C97S01~YbӦB)!- x˖n4˪8c{h5ͳ9ѱLf_(zc7˨{]cH ~T`?_$;)(]'$d,;>T.5q,}Mn0^4@ R&הm ͎EQj&ċgsN.T^Ǟ'WSX`Bb:|ba呕 E87*D +63ʧFFvQZ#)Ɓ/וLt+C"7VMZ3̋Ϸ_Yn+4%Nc;rsO\MR-Yg$}o+d[i Նv?^I}B6*4Ӏ9Ulk zw>2'ψ@'5YHJv~KNqr'y2==;Cq5Bvpi_Q$G7rpPE~&:+(RGNR|f2DaK&徚Fn.{:f7ėm䎀 mx`ԇ"",4p~G8qcjS <{+BnJA\kZmE+T-An ԐA>׊3M Wc9"kڐxl!9 {kWH]gٱ2&^{)_=5*y_PY^ivp_;.ܒ$uf>L5׺x1DY9O@04:QcsPX"k\>i`>$eĐmqr:d[s[]\Vc|ѕf-B$AqfX_y\N#N$"4_1&^ $(<骾khj $ @~KgѪ5`aքٲe2"r Xsׂ7U ilb6)'6QE([_z^)Vf_Y,Dx=AUۭxO7YnjRvGٰ?W+7 ?x!>TűW=qpoaҀ;"=!/& G-4{`kPy/QU#9=eC}WsqjYDv_%~`6/ 6UlPjO'HbVVFP=zꡳׂ*NԆˆŤˑ̬Pe>6?7f̶d+ߥoP;_D|n àye}4#J{ę叐,T)Cq X[ XܕXtJkydԮd DrAfOJĸ\$~U K׶ZVQICKC,> [6|sY@R*~:v2'C9CY9ZGie=kKL?VCqazh ݣ*LO?,ixD >1b)]>i;%ֱh\رR&hV\&Mz*QUaO#a3%ʪf#d'5#,jK.]cUtG6hf[ 7-e B~+ +ft_t7D|Y*>P;z}6\=Y$we6T[U拡 iuRf3 ? _ݾ6^~9:), !wL胬ODTNx+v~ãc: IM;^ beMwR@b, ;)C@!eCoϻxO=P^xaĉ M04D< ba@R55v\j6|z{h X1p?+(~BS~oMha@GP^nbFԞ!Vp?KwBXz\H߱]5|+UVHl[%Ž] Hu}([Hf 1_衛tkͰn O57&k^2%;3T~hymuE~HY; j%!\!Re0YkMiB6دbv<^,ɋu'!FӯX' uy^łNPe?~($ǁD5C6ުUQȔ_3v%&(@@/ۖa=`.eImPצp̃H\A,2D~S,'&KM/7n t{ .`۵_{Nh :D$r7 jKli0ڒa';,oX0LShIEI)D-37iCSOvɸwI+z7xRy(~3bY`e/[bwS4%E8}Q'd8h݆ l[("Y;0ШBwe_ʋK $0;uPAekS$xVU$܎K21it gib9ݳH$ʛz PZ :-*$$&x &\֊ˮ-8gz8Zc&E?ߡ= y )xaֈ1Fhib(Y90'zndVI¢ʏFK'37#{=H7}P3Ҍ̃> ʜ Q]~R åttu秊NY.Aٟ4i]mYQ)tt|~Eˈ!nNj2\& w=x:*dxmd!GLZSُ ,yt(:-CINsN4r7 ibSxҽIy.4TbD X눂ŰTeELjt@-̐4cw1<=1aLGIwAئcε9 :!x>P,ʔQŋ9t#Jy.)i+,edF5B#7p Yl%FM=^ }[0P@M磣`nhK*ٝp]>ѿ)ZU]my4lcKbq1V1mlB8S?dr(/y~ x){:뀗$ߝ9P AbHԂǜZHԏ}ʃBKQCևNW/9r4S7Mm6#l1- \،@QǐWčwϧJ*$K A~Q1n1ܛ0_ 10ץfjvS%҈N 6,aZ5 [S@Db i_5+C$.&luD62T}w߷13bJ˃T>\yN;҉V| AAfh9.ENQLp )jY:vw*󬇐9kEq̨ Y"J}ѐ6+.iSK (sF)=3ҳ)t|X1c̞U9G O qٞU5clE<, U)uz܄3z4b>!#SJ+ kjʼnP󚒧 ?7XC=V_x+(02YXO'i*] hy %Ĥ0։vL8Pz4%v As9?c|1Tڠ3F ;F6oŸ T,:;vZLL$'w괿QO 8]K!Fi?S7OHA%8qw`U!dʼJIT>G'@˱f\IY{/ItVЬ/_5|nZ' +wik)8:~I8#'jft au<2L>e=^,ė;.G~̈i0;k< &x;MwLo_B{4a~kuTtdޭwgDm_8k^ N(x=6!w^S;L8sIo{.-V:_؋|̚J 4ny;_ Xhw:ͶrL>"ÒE\ 07t #xk ^k!ȉ$ѯ~:{mj29 ;#÷g:fTѴGzZݯc9d_{v22pb 3 pl+F/۪> LWvǧi@2ȉ;ʼn(R' xVp_wFܘ\Q֋ {%|"Cdhi%/}44_F.n\vr:OB$JnT;UV 29Y+!y T ƼYqNz9Z#!;|&XYs~,/%:4)"U*?B`E[UQ7g˒j-)|]d~*APzM?9EpشV4|\[dH@CA~j=\EH=W?؈" G% / TfXX`1C݅@:!sŒ˲ ۵1p-2Q@dFDNn:S_gӍ\SF2UcϜWpŸwce*yOCӲT,avƦmǘ|KJ,\$-wAΈCmmLrk7oΔPht⳺OHo׎Aʶ+@MbU ԧ]^w24Q0H26Y!0O@-/8L[COFĀ%Dh01,M쭵BG_ 2lRo qm=I_w84]:np aRͮ>y5 A>|Ek JJL c,_|5(vbaBK26miab!O'> |$BH=%?c+nj˱m`LJv%ʩоfsMahg-CDX?|ĉ63&)׽$;yҴ5͊L@zΣ[Yv2iy#LeU/iY Lr76xdZuB)&ƔlDCRPq/JwCtC؋$ZHfeF){ 8TunW2]-(AkQW}4{,]}qit4&'ȆᎷgw)j5q^7NXo cE~?̥VvkHs f=h3 N#<ɵy07a]`Wr*Cgz&3/B5t$5m@fM+)lPo\}IW=GB~kCVAj)M{;ӿ>VT^} [BE%*i9s<#dPfixR*wҪUt( 6v~ew5kAˁXvHviD*Y=vǬjHJwi$9.Jg^|v>yGiү 5w Vi.*SY$(t;uxw#THd˂ָK^9Hb+щRW c;rx_s4xרxK @) ), :B@=R腽\, ׮.wj"PS%JwBϰyxJ,DL4杍W.q1p9`{*`PbT̞u.]w`NR2Myڍ`RH&`~^9oeHS ˘A* Ig7Z، *B puI1ݰkMwJB/b̗@[sgz׿ln0ْGe~SKMX5mΞ/_(_ێjL:2Rw?!"sܪF]Q1 obPQR})Nsl'7 _zB[g<X8F/I%N#͊uhKې<`-wC#PO%)˞ KiTBMB: EwV }A S`8(d<m(3gC6R(-wa>.k;]lIaeGsLLo=s[#r.|oNqpS+>lQ()uecJl6[Gѫ)]GG9L/kC~,y䀓67 |RYIůܷ뀤'hWm]Χ1e­)kr}(&"?xFժl ,2ժ3>ƋwAY!x|~xQI:U<[<.!jP:0Ph-f;5ߵ5p[& Ҍj: ^UѦY!G?=B='l=_A)rqo RڅӹNb[erR&7d˸z=&3m&aJf)=/a𬵿 %ss Bx 6pھAԌՑx551-#yaڻb-8sKҢqn3AOC"*q=Q= a `{=aPP j+'y'g?,/LjLpn˲m@m[Dd::MָGMMDIԏ%hl)h }_&'j"sӶV0ZnMW\%r\r~WF6m V_7r!iQ}]:"%52VED{T])AaZ;0kRɵ $㱺CXx,K^+j%^2 㴚yu%x>U$n )%)걑gWj"|mIUq`BGao(9Bi8qB~ۧ#$`+d>JY/)z0P)EӸ9 hh%@ނ/ОrscB+L8cш`1b˅`8+L׫":<:?@~_XQ;cѪ&qD XuvpɇT%̟Ȳ%F3=3icWXYwZ5λU9;zg;DΔh9z7:j^F2 $~<8 5EK1 3@c,VSXGU:,8:;t"Ҡ5e~cf(؉Q[>0;tV| )|d[JQQ'HU6X6}88=Xy۽kJd\hoQmiu{7UYA*М(\ $n![Yl0B=(`iYX&N j+И`WTޱ>(Ǻ{!NO +P~Ar{T(Vɾcxm638߸aW݅-!a79$;Jg>NX n%JN@nNWX{%R#$tu'Gvg*Tz Jg!՘41?ad$O('pe\GOV97daWL~?A-Qx fD`0ôV ߿6_@|%܌M\uwAִߩTG^xd!I0gEvנvǣ'j5JcGV-~ b&n>ӣPE= z,kx Vƿ e.߶(DMenEQs &4:6FO!J2lx7ؚںL%) sBLvjA ՍEZ”10'op:7W?#130Y5r mu"Òd~F5~~jl_L3*/:g&XNS•# 3Felӳ2u6"EJ{l7PC=AELtZ3*Yg=^(03E6 2!/3^'b}T#יPEXGMpyHŰk!r ԜѴ'.@:C\&|v b, c;=zdLFL,ëO[]oxܲK >A_G~fPZ瞶MMrRC'Y{zljtWw~YV^@\9θHx!f`c<c'Tڌ'N3.m,/bY 1e[3zqQ!8V@LFs"8T=AdaheM1 (e&M|Z Yk!b )X0|]߄8 \Un;CCG)}3=Լ/1C̕vĤ0R"k)C.1NӬb 1! WͪWdMPe 6Qk 36#t xHiH:|d3@5*a8#'3PX)W#>M}V!7^x#aawn(݊Vx!EC9{¦YP?t[E<(* U-e!JY=P B#v//{ 2XLJ)%بb4K>b.-(7:`\v2@IiIX YἀQS G-ڜ՟EtY^4%p>RS!?y5<u8q|y}#rp4b+-j8bQ/’Wp $O| T (:~OٰhL8!|2dj5y8%8(,|rjgy in]lxWH,0?zp3V$L6اqB/+1/8͝+*:Y朠Q$#D=x w8rHԝsPP(1c2Q*MZCR~_J) w/)ptKm!w C)e ѽiC((PQ9n@ zoG:H@v xG}R.GsІΪ{X).A$²h#!4d)n 6K}e[l(( m\F?AD10wdK]+H]1{hʲjl*׭rPc' cnU#`nd$RjWš<6* }8aF$Z?WX+ k&kf8;1#\o᫫?(* }>4.4 .T-_gBqmqj+ \vcq9Ћ)}s67cuZ_ ,ʵ~bKU, thWO)ҬxfMJlGu?Ś:s32mtͩ9+S]QoZG5Ef529w; 1|ea(.%;cG!4wbABUڪT;@ ocy :]Y+IlRH\o@[e߻ܝW\Jfx;YR߃ĽC>3x$o3koi3 ±[^ -uo,n=)lN>1,S\cYw7ПnA^^~/nNmT[6fjqД?"Ęt 'Xشʐhl PiEl>< ei'\z^ 0 Y쎙)Ϭ5/d зfjY*kwSIdi0Q 8uEr uȖzP?uU'jWŪ`]Jj%Əd[U^|v{8`*eD?F r3kIS~C>t|%[Aj]}A~ъR]NTyMlhNdjQ, v0 PTL6LwR[Z> R>!8n ݗ#;Q[4gDmӘ)V%Pۘ F\q#zսƓ Ľ! yY-+1tjYl&kL}[aNa||^n `Pp]&o"|bG+cLcIrByuz[`B›!`䡻XYɤ׮"&ƨSssaSeCa.}1}T((j"kSz\ $ܝ(/z.;Wl8FÈHa懩~* ]]D۟ISmT\ByUq$1~p74geqs$A!gA wꓠH(SnYqg0bCh"lGvӻ(m!1ĄH"|^"Be t8x3YW:Nv]GoLnX,|Vǰ84^B~#QdA8,AfwS ގG4Y!YAh5ppEŘ"u E$!TNMZ)P8niCC"Kqֆrve+BhYsx72{v|d󩸇n-xF|eTSBVOV|m ʕAiQ>魏k.xMB[BZL2=sڼ{?zێ^\Ǒ po7oeTP!LvH q*~47 B(<-1y^ Zjր?+WPPEЛ|wuB IXSVej\]KK;eH}QO|i(_we2Z-PM]^` $c1^rWvYg`=+ S?Zh\y%Y;tҾ[<@Ji_׹m%N = %^}уf !܅)] \!Be+nٝ9#x J/P:#S WEyMdOp;:,\t's-'ryύJyܬ)y>fX mem ^.kXAy"ѯ:f0*JYq[;D% IeH|uuaOmC  nc6*x"7E ya]jl,2SWVWrbȴv8:PD<5idڒLkŌtO&ȦЉL_}fZgh0,@&ic֙}.Ԇ9KD6uX@H+v4x&cȮU7=qy'P)!G#(yI (($᳌_u1&⺡`;PnpL_Ρ{2? ^Bs,댺Z3E!]bo}ʧiݵ` ZX~1.>46t.^sVHc)۽8/w:D 79iD|v4EUeüD_K/<1Ru`/XM?ڕMۋ-h-oX^./py2ܣ=,ٍ6G7Y' 4M$0vFUsgTULX5IǷe&:\}BKN=/3P,^v_b6V3V]lbIIGx7 xtQB*[^/Q"sM>5-V[c!6tV;V%ƒ3gG~ tK5H|zYwucia#UN@´߮+*#",o>NU 9Ps9}fbkN_mK KsmL4ѧ?7g zvlo!x82#/s{G>V T]6CTaw=mυ[Hy+u6iҵУ Lc"@#/, lN^U1yU) IN^ &s5t<'Jc[t==+˛*·;k 7 [q AB.ePΒBYPdpEpa l=G + OPbM6 :F xfY#CD=v >^ELt +kO\~q#1[aC*I }!13΃T( /oX'w7?C2 `ޢTa_+ւߌ8T"gc-Z ͱ h7IDɖVLnd ǰUy"<:A_@a:z& Mx@G 6#ȩGI\ C ձqgjsHmPTOtc‰_z ̓Dh"kS6)h^<SדFiTccZ hp݆+?sNJNt;RT`LVk)-1^SJ<o.y hr|a4YƆ&dD-PLK?N%!h)0|p_٘X53y']^5rv{"E4^h ̡ut`}[LC=DјӞ,W/+|lTdY^\Qv P+ZAdȘDWddNj%mn#EmgnĪrH&B+N8Mz,}L*3Mma]sLij;—XB^!2"Z}\j +֍keK Y (X ,m[E4 1%>DЄq qp'hނź`OP#s{J=uC~8q'ж7\47^2=N6 Bk'K/#b_pXU$噐ZŖ66~j EitPVg`Y>S&Ș0(gv r1d+D!̩0C #L&gT"{]35бPUVdRZ9g3h@-+y"$SDMuB~1I8\^z23Ѿu|c^6Y4PC\*6sm#;nB/ma~ǵjVջ>"_01T`]ROqEFsP3 E}שQ#č\p <ǔP |] vm4$yX;Cބ@?O<%czv⴮gaӷ SƩ-hګAprq@r%+nM=bHQT)C>8)J6ѾЃUNgR^{DǪҜۻO1#O˔Y@-=L!ihslE} > _[`Q'Ղ6}eM ̹j +U0 Y#99m &Ztg(M0DR^*h߭2\.IZ1۵|z%J.;^io?M] @gI#ɀ ox3to]ǁ^$] {ED(+<w8^7,:Lj\Z+^{. o5?t#qD7d u.NuЛKu80%kD$ٜXvN6}Xl>iF~;DULڳ7>@O-{4f5K,gw2EKN1cf[' {-EC`YBj{l6u_,Ȯ(JC'l`mg^I~اٙ2'G[!p8Mq9KT o)^)we rhils<_;|l{Ful=91N:֗&/˥9KTy^aF8ON $w7eʵ9PUZ+[qљ8@ZN2Dfrp} 3grn9uıW tsNb05ŸIy*8yw> 9>eR(Ӫ/î%1 PD &En[wE_ -fv eV"PQ4ï%ǿ Wu9eS8.;$?QY<<nFRmLØ"~׏B(:vFIHY7X w whSV&6%yMv"Zr5 QH:]pK,_N3Y C`( {(hkAv Of!Sw2y(%<D ȟ)4 -:}N$Pu 0;~/vx0V m[^RƇ׺B\ZZ }jZ#iJھ}&h5d< qJ7[,HHb"#u uX6t1|P U P\@᩽F^ŎAފv.ɌT˧([9Y\;#.R^@mg][>l~F)tT\0R5VʹQ##t{@},W\[XU6VkWyl>%6,!8o+r$[5"oT6V/L,Q*-֘Nra-^"W(ˁNwVjIiuEڷyᛗ.cF/R{|4t Q{3MrK68,FD_g'W7pC V]C3҅pk^љmk=HPz^Nz = D)Rhx HSoH,g<*_Zp<(;"\r# U x^䕼{}p֭dQiK B+kj'l,ti_߫!ܔJ0kbUlf*vzd1B·I%z]q)uuԑS1Ya5x60S\cteK5ׂO"cy5G 3 [Q $}kٰe7\~/=|sKo"Ũvc̵ܰF X 1j})֯Phuko)9;L3Z/*j ?c#$J;JKvV< c>pY -UhFKoWzȚрȗiZo1!% kPKFZ'Ir(7^TZqGaR:̺ #K:ͮ{0hr]?HC@21+0Ou]%-Ru#CC+xkV:+8\#lz-AKuU ;p\( $^O GBq-0>t I7.̇ )?.5NF_(YkϪGyT}N5[pm(|ljBczQm!,UjqSjw{zocQlza_}_NBD*N(ߗdcQ~u2{}Wh2^P|K ^\>;]JC0'X}~>(:Ikzɓˆ@ޣg(Μ]ԐOTN8)pl)\7xR?\<cs >z >nh Abkm#kADA`df`4}}pu=&2J:qkW4J/@L1lx'T~SG&C3T?QAziջaf!Ҵ*0aS {S",賣/ P+!#`k1! 'fi1;jEtz9ԭkZuHKEk<ٖ٧>fkJޮjꊄ|Bu\`B`V!t3 9~9Hrc}}! DRʟP;䋰t7} K 0uߜaT} ؿHp0U/w'&%=oF≑ԙzZx%կ .OmPZ{ipa }NtPNldBz J9NVS OV ^8%*Txl%kI!{Z@3L˜_є=T}OƂ$ {;Vq5w %)VY짰׋Xxhͬh2.> -h؋Qf)jΊb;6ئ{mm-:"UG(vvfqM@vVv *fW6PHS>82"[O< _';Phk6i$z/YK:EKoQ*(lG<_ V/҄zBC%,KL7aCkԗFֹ%'`fdxKq$jK 4 tx$#\㱎^,J47cM*ng&c'/Zp:!ϺQ;@%CY?T?EІm&Ƀ}dh[nRݴOؓS\ =Hv!+{mLu,BkvߛYAijX^x<  %)@'P=%߬Ťsّjզ+~-ͨKq6v2Z\1|v))/YplE=/ʜ/0'iYWXB@PW9[!=qU2po1j~Blɧ @b_v#m}b9Y|| gXn=S01Ɣp`]0;cxtPC57nG74, OfB:MQ%ǵ]]Xѳ% Ci>XuTZ 1.:ro;)y+V4Pu''fDA dLEh)C:<%JFu%([<5wuj& Ԟ9p7֥Z4EBh0{%Ôܥ#3A+%iAF$V6&#qSi|T|w _[բ Ԉ\+o!atCG|Z]>o7e~`d&Y}.\o +D 禣$FvRM㮡9ήIyaUS*ԫr9'Ӈ,m"R5§̻^gͻx;v>6ؼpō]ONLo= wn!SgPzBa1_3sNlepd`mlkyN0a9o8:ʼnQaTA#'%ZOA1&.uj[ѽ8smAhwkMt!Ƒk0&ŝ|B/GJɮBLVRRYfГe6^d:d/ymQ[,NCric 9D6C1GtC.Z26`n0i@s[.!LiEYIm=["c-ٟ~:&•XFP*$a7_&Admhu򷹘_.DD3mk$B<ER `M|bfQ'd+ˎᕽ) vxWjy) x8eO A1]Yc wO*>up):= |tdGqt;2kGL,/VzqZwdlPƥMhwRHؑ}Sn!1蝅m s}Q<<Ђq~O lxP C&z}Xz7ZTuFu^լV?{΂:T q l?'*V;ٿ6-)xQDU5ۧegpIʭr\ 6Nr PyU/cJR^-zpNx@Yl9_WmHN-pFrJRb@V9]R!a-.yr¦8(eJv-NꘚKW +;rn@vi(k*K5u8LZL^.h~T@_|`X &-[K_%ng&+cU bI6!\ZU†GrnǪ& fVJq sT47^>~b){MLG67^Q87%d6zW4gdaqGDE~Wd/Swtu^[wEtTc Q$D&ׅ-yz q:}ɇ?+2Є<A9]Tۼ=NT-=;zy Vy/S%6%M-Ѿvdl|Ssrn:Ѽ݂=@!6X46K tndGT0HS0]V&j8Eũ~5'AK ÷˯t{&1z EO Mx%$oktH ih8Ȯ2S% 3+Llԫ5u?zFz iZ﯋*C7_q(?;+-X5 ]J($Kdl f[F8Qd˶0꥟ !@]!ڗu ;(2Ck敋y^,d}lD#1+{ 04^tT!i a{%>s b ykHAi»BلS~銅P' p$``dʧ@: ƽB]VY:,yvwd&-}pKdz\.Iוi߇a ^72,ɐ;) M,%3u8T. '8)$ӓi(&Sx |i=&3 zdx(Y{3M6gDLH,/_8;//(+u`p)G%SpٰkxvU ߀!-tH'(+RdشRD8ŸM ̸UL=|j6/Ȣ 1E֢^ۥ<|9͖\N1T!Ew $`?%~:aDjυVB໰P^]~A%"d 7gք%T22c09`O~Xd?ǃ!df NC[6"oqԿkF\!;  J*vn@o~Uhd4ZsVԻyKv6S\M/[=KL )s[}sI7bW_"`lƌKS})¤$~" Kd Uկ 32`^27ЭV0ۛH$H|}927>8o!+5 8Z4s/L}>PB _zm` kO `~Z^=b3(Wrt-Ɣ2ć8]iEM2r2)U{wh_ې~S?S j,ۜd3 {JX lus'1#O:ҁh~Y ! Go, QDZ3e9[5X{uP)5\L~֬{ͤ1ףSLHpYDl3TQk1ƅԄ/::$Z @9Y2ϏNHL͈r6ovܱ`AXx>ZQ*xOE"hg{k{sR!G&\fpv|s`~8F=OɋF;Y#v&H)yD7њ°ʥM<*ZTh9[l0%K5})6.k6ͤxQ('q4l-z5cA^-S kTpyʚ^Q=>Dd'هިضk?3 4kW89s!B\d(: Tr%wk Ţ, dA?vq="A[ @chᙧ7MUQ?MG| /"q_e<Wf(3XRň4¹QxdZ?Vشg;Z+! VE&B]a$Td|̑?7bm!KH*`~w3rWp+O^% k\ItЗzTev(_ognPb b?Mg+X)P1˸U4;k:a񹈡B5gG'QZYq;YiA3Ec-*w=9O,#20Fv@50mfQ?+fr߳kM)iX*cv/슗nLc$W^/Ki0{a+  i3W[m5c|=hre-6e;_V *_C_rsW j<{#NhDRف5mfK%LBׁOr"dM̩mv [72 ~>1cn2f$B^K=X0$_D$%$Hoᦡ(˾= aWˁtE(|Wm@ (vUʼL۲ot:NYgس U&]T>WID.CP6C(퇫: G5Y_ͨmei]K1k*{ J}dϹ>%JmSGqEEl:4 io6h9O+VpצllLWψA2+}>5x-d]В0z>T(b>:_1j 8UFN*&ͺ^T b?>?;lt y%gYZ \)A% LTimed_AutomataTimed_Automata.Approx_Betadocument.tex7zXZִF! yw^]A-MՋhvG"uIBm5=Iq_e}N&,9ǃq?JPFP@^DGk-$T(UO 8}m}M&UM"Y5mŋ{sLnc(ۓaMJ7vF8تCK&s&ZG[1s_=2Ժ~Z[HL'׾f<R79nc u:2J Kr65Ss|Ђ+v⊪f,Ell:S*WAND^7e \yO^?ޒ?W++{g)sN˒)N7@( ~G&4NSF< |X ^_HB?JfLV;C]*:LgRo<:!x--~Zi-r~n+.5s+h +𔮘WvZJ cg '{"P;ذu2I_imL4I?2-4\SL|a_C0&BًEa}QY7"+M[f! ֨RfB@X ?V$iLM+ßH1@ߨȕ0N\#WP8M8BTM4:ADfq?_CBVWKznTpftT5Y18nXVj/&NګÝ2Y~L@)q;>x3%B7 " c+>_,uh@>v$7,Ea-{0dt@} oHdWo*8:Z=ZiÖ~pj?2`ߢꍖR<ߚ%HAs(8FPShtɦgeF?3q gki'ȟ՝+j^BļOvTWRq&<:5#&»#'#3 -$5]WL0s8@Qɀ Ҙ]\+f ےc~΄KJ_!be!䆬(ӹ\XQ^;\U4f6i!QkwN~%(pfl^F JMyzuDEA@ڜ40t$B鋺%F}o5VS-hd}~SA9yZjP =|jWֹ9wis7'{e :^P B <1PfTYFT|'ZQXT.ҮIۨؕ5Iֶض곔ߊ+۾N=Јׂ]}C)?鱁|-}WL?ָv@z)ZlL!΁RN}l6612DaI,tТ~D@q1竡m G'/7k1dXMÔm c}`MUC"Ǒa}6GUU| .,?, u(ɲЋ5DCڔ}|tB3.$]& \?^HH;xC0M]%IY#\ P)~.˧j}[1RC*4(`-a+Ec-!GBg[v`4A "픗4jpKMP+ݳӈSwv8jToY0_bcf8MY4hXyeuؒSt6qvd|@z:[h5SUgJҁղI|T;*u՗]_o:2g12cc{H$/K-m}ԐH]SሁcIk-~1| >l;Ksfm+ZkMэ\Mt+9nX od=ed\!=94PedHD6!?m ݴ{Z^DU-4$tcZT@\rUv>ҿNe|b:Vzb:+qqUUt? q)K [:V \u5.-(z0r1Ql<}p2=+?DOeE&>ꋌd4N<p; 5 :VЁg>G~ty9XOomq١63 |*%A#%1mn5aQ!(r'5t@SU`<Aݗn9 ~L6MPȄL AEL7!KY9 Wvڈ|UVANjl,`t+&~Ӎ;.g m.e+R]H idNod |oa^$m'TSf#]0%SA q|I)B h=Krn_G@Yɗ=1g_[FuL 쯊Y;$/eKhz I/&g;?!jBDX"~%6sd>QSC鎵U[N3K>oJbv/]Mab>nكyL?utyeJwb|c;4=#d%VjUd%߉P|sD(v"ّJGm 4"I<Ɛ:F璭!v̎g+V㔜A0uF,$t35ݲҎ+YȺؚQ%3 R@!J>I"گ3bA6׀s'J1Kl-3We)n ^1fzmo889}f-m)36әDn[6 T7Y(7nIch AL*fJJؘyѦBfj$aoe]$\n-B۔ME4l;I)8a[+#a׶Qk5M3pǚpY0rrMW4Zbip:bn47 3t8W}!TXiГhjd2Zzq_b?ᩘLI"yh` E|-B7][0Ƈ cO7/vMQ )3]]_w~8V֥J}9;jCӕJ$+W;fS4q|UF Ҹg_?S>iy6dC:ӆr5 |lOh /aq-i5ߜf&E5]œm22h)G(h2MK县~_ΜClZl5╀Sn^!jw;~HmKiCexӃ%C !ҁɪݦaK=^*fj]LZ :)!8 ];/D.qx+ͫ-SjwsG' r9Ϙ3g5AN <̿5ez-8LnRgop VOmmqSQmћ5Y_^eww3K^[c`Y1 MF[orR8vX֪v e|l" I" /UɖԂ@]cMSPJeV%'TCV刀~]GQVazqx6kdV/Un5gkjљ̮CP8J[7¡!ߺC3wu㋐V,;3pJd>su7Ԣ~v-@M da\I*f\M(3Y|q?d&~|M j?wd`^az 6`P0B`{qd{^H5D4rP2LgnK,CɠkJ'jj݊ʇeaeޚ޷.\2{L=U}ɼmU}JZԕ=^c#6"ϼXhQ$9R{s1)rn) 6Ls,8EM8:Eu-M}6Is!,*S\ $&S󢜚KVݤrW[!؛=¢"Jw{}S<2(2| B"xR 6.>0;i(\aKM[AQvT%Q" Ɋ: cg a:AVfNkπfDX(2?#)4~1q)`PƤ^4y=!+8>ì+H?OIIʣ$ensSEW}r? Rt:#F^<2=R"ޥ/6oY؉ ]$juTvy'VvP?JS acm 0QLйY![hC MMPԛ>b֛G@` AY[ޗߪ>mFJV4tHiHm jW`XY4&f@Uzbfdlj@/*>h[=Ve^,E<8ծd/O-xtq:-}z\͚^^Knr:hULV{(.ímv{;yXAkeA,&sxߋ>bǎ+}2֠=ke&d*1wt̵\>mΙ-`@XAp*9t&10.N7Jn/Imn^b"ʕ70jRb矬ҝ.QMDP{7{=I)A{}Iij)Eʓ[(m4z]=d舎]!]+LRVN s:=]b2qg:)Xx:'B̰})W?.|:עS"J)g}^ 5 .7/>Tⱇb`uŴgRnuJ_Z*m?%XP8փЃHs]z$l#8=)rC5M2Ǖ /*ji_K1cr1Ω0Vֳs'skvYu `)n5(\G +a,`D4l@~p`URMz~$d:fbA}_,%Bc±L۹ 5ZvBmQ<1glZk2WW|ȝbko l-V\UbdCp$i]DDr P֛mu?هKxpG'lp\bu̖ZO#..݆Gb8]jR$VTCK23$G rҏYVVθFxopN<^kwb=JVp e-G5<>┲1u?<B䈙>< H;-DԮf+$ePijrvm;< %y-I<ԑVkw]XGS%E@'Eeʎų*ז0h//vRnz!/i@?m\S(P1`ۚS-ջk%\ꝏϲ af-WA("q䋇E@9Z͖4s]G}S<)'=̱͂=A1nEA 1&75sCU ~mN|X{w, Eu㴹XZG j#Gڈ?oؒ P?W U@!c"|>'!qn}應t<:JJA |eOѿg|Dׁ$g_ǀz[^?—d4jHrU *ͿòM$OEvH -ZF 9duBI'֏gP!-LcCKu#>(Q2œ2%L?Y.LQ;PL.H MSPq}ɬŲ&2I!Dy'I*6RqXYXK;<صxIq"- c[(-4a gJqn8e&e^{QEQ k I 8 n3M;5Oge+ *i,P~g\@a keNrS[fcFI^ Ryc:A/WI96^HlJ-U~Q7nI_̾,ƯLCk{מӆ,‚.#36TSeiG{AzY,\)ƍ3T57>_n[\{YQjx Q!Bo߲$fWk@S+ǷJS8P}l%2.Rs?(㿵#ly3;R%ֵTpϋ:bB;9%TսY(*Y$LlatR<@12j^!ݷSoӞ:jeFxW4*ۈ:}N4ґ'V?՘z ð']}TB֑AI1 ԿLG@mU`:y^vٝ&a vC2@'|ep: ۞%ypgLx,dl#Htf p4<7t(ݴ@N:R) +lXޡły<-unYgP)J^e8Bc21M JP!E&O=:GK'X).g:$' q9FEDZ `GSWO{K]`wّ@`hEV &bՏV&HfrfV04D} VL8y_wJ]nEM3rVE2#>c2\gX?iՎ^,ԡ8 v2_$ ُuVBIׇ^Elns? o70l(a²GQܐSk(ò~l$YcB( Ӹ!Sxw1OZ̘g9EU|:*B-W]e+y5-# ]48c>X2ns^ގ⡈1(:)$gNJn6~3FSE+`ɥ|ޱvZE\'S+Gل+[\:&<ʷ\GkkD~#|uUʔ%at2eJ@n;sGPȕrQ/a].^# ͘]\h(A6 -^I8'P -Lbhs^}Q<>e24 xr柰C|`6Dv@&hyMɣU>N0` Џȗ;)(AئExՉz&3M1ST08. *"-1$.KVK6$0V4S%\2cٛ<|BGq7,些OO<;3;ZBo&Ϻ ySZ<̔PPbIMaB .$Y5 BX}v3YNe!jVLEfs4peo.&| ]y <fv5hS/k"DbPJB!+2_"?3wZ(Pj5 vh!P ZdzmS%A:]qH BO8cP~S+O@Ο.,gΉ 8:~,WCHfpO*#,E:εvr D@IqnQ_=^z#Ln*875dw M?1-4)UO䦺[U҄}Z 8ٕ2VoLiLܲza;u:6VE|uȇ=ua?].I2(yk'MeNO ZͷWߨ媺yfR];ݧ5ʲ@Q!2=-S5ո[ `$a/>̡`zkOJC8ϼ \ 0*niΚ7NY#zCQ1[4y$2'i~i5̕J۴jCzAp'Jpm>$Do0 *6 @}C{hkP:\TQI;a=/}V1f #$'dĻRW[tLxFŁ:o𲅴v g׀墾LJߡa;sD` _PA` 0"xjg)6r5a*E?|݆snjL<#U7뵵%brƇxv`a{W l{{uZ҂gG 3l] "7^:nUdrY? zN];U܋Pmwm2T)%D+3ZB%\'}T `'TB3V.&UX9ǿ,4| ޓX^"o_iB 1JQKoh(ܩ "#2?E5ҳD~f;C]Cn벅4Ovh`$D~}o\܊X-6eC1#;DD4)TnsȈElvCRiHy=-T >I*춈7\j҉Gx;p @eߠKΉLp|cLw;>zv&b i>%-/r֨/ vQikƜ$H{1O b>C/d 5bM/D{k+\E rӁk=bHʂuW- w#0 eNY|e ޛV,c,/^Tߞl&~^i\]X"ū9q}:쌣Oq&ψdiy1|ƶDEFHFz+WlV"=*fŤXUOq5ka\1%Cj)lX?X="0Jc;Lv?,4HAI% w #[d۝#\Ӆ-1xãiaBͶzi-V7i 56a]ގ\qCcωjJo[^&`*FRj!ץG4hJU#xIu' ']k5+%f\UC[KxKPZRe1p9H,LxØj.P&un nX2Y8\]7 `xBYdX-y ѐ8WVIUh@iG6XXh%I`(cGIՇ#!Xr>2 s])"e*ͽ@=}" {6kw ׬la;'[\Yɭ*{Ke%~>Ag/k:5棬JΔŋ6 9xd?rRM'f5ȜV/ai,kKaxկ @OY1i%ԇI!ϛ.;bp-󃭗ߖ^ۄ(@1qpSlV(噬Qwcb4r%iPp+KgY%Nʩckމ`w:¤O.!m5YmpAS[X/@\UЫh/)6D;˒阽̘%c3;Qr^%\WߓzZb)rJ.tt&-=2%t'I(GCP]>z/98D'M A"w7mĻL"bl8d~}*ğٝj+XIfdfGSzpQ~6f*^[%Nv6:'MǼW%yW˼O*)gfFEb'pƦ'ʗlJ{]d0sJHr +kєo?vNΗ[[{l*K73ÁEhnZ_([,V4>i;/A:J]c1q`U 2my._ZS-Oj\[¦:lLk85#Qʤ]r5_Bf;sk, 5:OB6>0'Pzn=($e߮;㈿{É%$ERL5_tx-}jw<~-y)~7[[: ;xzChU X707Dhz҅\P|Svj ~"1a\W{>xHdOhXYBڢj]KR{^uZเ<|D);bM{~Q]!n؎0hq.> 520tO+Eg`ax~5ǿW67?F@+7H\$On 8'yOnPე8<t[=iɏJ@Í(㬦*Թ~+~J#DȊT_eҦtH&Yh߳0̀BAVٝGJ-+mhwnC l?2Ȑ+mUA'z͸Dci|E.:#NȰ -K%vHaHx:Q!_?%APް9`>ZסJL5͊) 8!wȒ OmM\u]a#TTG;${Bqi;PI)SZQ0GȇnG5oZ7W?P 9y{DZ/Ww}1cO1d?^ 9H 7cT.ɋkѯ] ]?BEL>]h48r[ω/`'Sc4zEuvԐh߅xg>ނ^8&\abA S _1 mPn.InhԺ59A%;"&aUaP3&q2Q8a&0N ZΧϙUX1\^xCR!DK&D DWMgŬZ^ԋAl>YC%~F  '˧zfP18;kкwQg8|vsoOE7ikCwMh"@Рg`KhL~IoWrLsnƮ-㕲{Jp9C3սp|P2"2*ŵN ȟ=˙ь(.`?3eq׀$9.~ܗ ٕ"Xs \f`eЃ%pahSafOG;feSc\C[QtCS<}SI+ \qQ a@ɨ"38khIqh C`prjVT8ƾ4\F bO'W3/CTB8c(SWnPڭ{XDq;DhhZpK\]UM"hYM$nш(Pq1ʤ߁CcL&ax)wbjgPp3[Ӹh$# }HlI ;{|g;j7]GBCŚ}/NCav!+QtiYwOl59̤~ mEr3 l8)mטo ԅRp['֟"1KYG+E}8\OF rEjyy`.A<@?je?IW!G5X&Q?5 q8vX/8BXcX${EWV '8`ToVF'71 [=gjh;AHuj׵}4cW,\i<)GZtUd<1\oP(FnPq2>V`k;3HD#K zo+ i1uTM %~?祐у2ϸؽLL@m ѡ>XcT 5Qx$Nk6$L]-6'pmeXIN֐<6/R*rӓ1VWK:+VWGhr9gh-\X8+J[DmI|QΙNIkM#Lqأ'Uߘ83#P*[W_ }A9cnlʞo@wYLzegYZ fWfc)G% TTimed_AutomataTimed_Automata.Floyd_Warshalldocument.tex7zXZִF! `]A-MՋhvG"uIBm5lƬفv H|jg znٳb&F4}cH)I+MO‰$,EE*OQَ |ġf=߁\,ʘE P]K,uރ ŖD1K5.bKm-&R4)+5%ud`؝s4>5S ~gz=Al27/-G JEۈܜ G32;]k:xJcNF,_/?,h</cri俕\괇ÚoY/)C% 4Timed_AutomataTimed_Automata.Paths_Cyclesdocument.tex7zXZִF! BI]A-MՋhvG"uIBm5D${:QIR״tR#|rق^]ui8\p[{Wb0/_v~>+mhF^za\B$NdEqv"7,b^,fKHj‡biV럻y)M>T %tO~Q~ kj#Tݐ_{86it*76 D,)yG7OgItil0B;a3ooqR;,ܯt\oC 9*5]|G;xO*_+7\\&7h~wr~$k*BCI46OE5MYM??.\ lɷ}(7ޤ|/8#s>4B0_9 |[~/4C , 631cM[x=nkjfwxh0" 捜C) H IVy[iX}CN ;#-չq.NLڛ#x*c%Aak|Jɹuz(*屹έV.^K9~L^~ʨ$rT8)sDdYi &<Τe&)ZX WV8ű˒'_̎] /4J`A~OdYpLt2  #Ug;j6crAث M;p=1'/Լ +pF;}Gjb˅ˎV|eEc)e"u>"[/ rB܃ocg#>sTJ{?i0Hzb[j3=V!`rrBu8z;˾A:RY] @zM~R@!Lkl6cɟ; i L@Z1 H(6lg7(un(càd")mdY-(Y+$sOqP>iZ8}Hgj Ԇ&H$_-S$I7 fQd~pϰ'wKQ+i*yFU(LoX?NlV&"Ym.|f&o˯t)*oƼ aEZn>\JYWe33i| 󔦊h=a1~#Z*)P.I͆,G<R ɤoWtjZ5!C rx?>FF5[R%dw/b9{l}qxzʢЉ ngNJZ-;{~r؉'@ N=$J!kz]%s!ϾLYTG̀vL;6+/  $Tk}|϶SVZpґE;&L-RL^eoICñ >S;QdI]|%1?J?Rt~b9%=lTX/9Ol)-4 Xsfu`X5:8$:$r%HXNG$ɮLᆘׅflAzJPen67ҽMY ;CSsκ?~^uyM|XnY#!i"(o+ vB(˒ eYZ m;!@6K/SH;{*0MvmXhQ\5b`-LijxtW $3'D%TYSo{I?_`KϸbYPiuH  ҝkq]&jťy>W *tCbY3.F) HGP{@(.P;U̢ؠT&JNGQB)!4EkYZQMؾk3 +X_1d?UJtkSQr:`^YN`c/xYdz.h^Mi ݠ;.tڣea^7ԅtA ,ڵRpVuZJ;b&83!a EXMUkz %M7KwM9AI$'6h|ϘuPAyvJc͔$.P%Z;5S 8>ɀi 6zld/Nh~ɥbtB$oAh߮T);f<';<]07nӥjb-֟5%%ǪP0b϶IĖBg>REoqX+abR3.&\_; |S||L=ͧ=Ex f z]EAh'(iVuJpHG k1~2 vY4:7=t:1ĊE&<( v!kjE#"+qT~NpV789oA]9գlA‰VA+̌pʋ ^6 -öTz^rft'NN]J_JSN'h>z@{Sp #/Naǎsr:ʅt=_I6Z_8!5|}/lkNUW:NU=saF>&ҵ̏Bl7xa^MP?TKHe9FF#^RIUHb-ܓwE_IVIXIBqoOl-Q #şE v\V-BbJH2Xm*c6"/ESdV=+ aqBJEܽGMS |瑄 PD-OLGUteL7a+~9][nrM+P=z?K. iw l#7鄺 T,}IK$kᑯ8 `;AdU`< oܙ=@K,r9.An8:>4 >9|Q聭5RW;Ð:)_B knb´‡L# ֟%Tv hTD&i,#Vʱ|kQ!-)/1xRoIs<Ǥ㨯w(/[P]`$1q58H&E޺uwc2ڞe/b}Jpje" 1cA%"A$deUt@N%qcs#w8Hd>pYWO.Y9W,~Gtn;nw'# 폾KR bhdғ94eb6CD$W Rt-h9cM6[o떦z,`+KEdv+\B.셇 rho?xKy0"; c'5VxC8tdo'"Ԫ#֜  |d9;լƈeI[UU()U< 1 Rk0 }`tZ߲Uco]fWM']Tu/TAR&i  Qb|`UDwITO']sW8U߿sWӶ!Ǭ8<(ѭKa]j~7"`r-AYi~) B"b1ZdZVΧX &-=%tb̅Wd9KDn#3 v302xy=;;Iɏ ?!+IaLJ8)C{N,>'OuQaz!c|oVbzgS3|c5Krmc܆PxY sF2 ߺ+P&?q4_ q]4ͮ @@бXY[Ns7{TkG[4VM Ń>hk p3^{kB+B:iMO+}~s"SFK/_H8^Ð;,.0ԧlGCvlsV~=m6cҸ1N=Y6*pBw`!hXKj0m-zm73 zNrU6YEL-]2>A5{ Zp] ST ,aVG*lwU)\R&P1h&AC, ބW PacPyGdA%L+|u Y'[/s hiskS| m@(&ִ↘.Scf`2s;)*~ޯ ja m{䙐MJ>`cK0 ~WImyO*iLLʵ/恄%xCtG13OC$$Wt/#V#kyʖ@N` V54"5݆!CQ<~pV`],k`#)vz}AC ?oE0)2 b6&¸O/Wfl;ߣLЬk2)ÐQǘFĵ7#9 %WFh>1KEJ6^428?I7 b#*U6A%{Ut&^#nVUQ86ѝ qrL xg^T*q)ay$Ő4fhը,cч`7w`*/uuI_*dj)+QY4EhgCcUF1z4yBeVi/‘?!B٭ pͽԲ3Z` j_uJQdR@6RrG $u7."hHT.j̓ASR(eo j1_+&]\]ĉo̓a FEs8cs xS+QsmFJR-csI3]^´L[L=gjF+|\HVݭ" %hA Kh._.F )^D`J1%U=A@Q_CzzzuqO.RoOi{($Ctx;/8?.|ֱ%tb띑(7շ$D}ia%BgvF@tXW[gCkr[tJ_[zW8t,gl0{ˇD/x~@9|//cd]X>a"]q tmUGo]9TP\yP8`L8!ɐjrSmp.b*DeZ9R86KB"8 G}uwucЕHb46neѳ 6ylHV?u^8-6L^RzC#;0vUx&rcBfD: "]J4w 혾ԏzD]y'F= ۦz7%)Q)=i{tb.jōxk)h7t6Ta{[_tmA?a2&M;~ =,S]IwkLw9< P4;@Uy/:wFb!҇E~UW)'|#@s Jڿ L _ˣOւ!˨)S`rM@BUA `䋐%Sj71UHe %0溛_wtoY)P}y__`6p!*w4bF)8ی&f=`< V3!T,PLv2Ȣ.*XGj]8̀o"ZQ`K0֞e#їkh=L}+F\7"paoo=e|_w32w fEHG}RPdtIwAiD%A]Ž#l˨IùWBJ,#~lSx!kEҮw`JWpW '/ lkkZ\)i&m=/HOpϥ|arvPI.m2"%Y|2AP CoCg^ .n42䖚QP 灇': ] W}ćه*ٙSF)x^>S'"(ߏdҁ-Ldh]v8aHJjǹB/ގ< I20Tҡ=C0\^[2%w TPX |($nR 7̭3J+hKqljaQD}{ Hw1rq[x>RYJt0YdezJmsNk)q?) 66$)#i| g% ~+ux?Ǿ([ El |v# /~{ۺ`AX_jxu;9P¨TA ےp z%vly&g>K*t޼Lw{u'{XX{I2[tL~`Jy0jxnt̫^Wwa64VAOXBMwq:.{E6s.77l'PGEp/C=&wUHe3 [`DG[2!HB^1ɵ {Ŵq?gg޷B3A|n*?G_g,\kL hT]&71BXu0YUp2Fp =)"6˾ ޾RKA{Ucҡϋ|!ު8~EE"tXEuhhR񗕖TۧZFv"P*xjkJEImeT% *tFŔj d]4 oY.܎$!GԼ!4A2_A~ǀB͂~C6Y|w=b9'qZ0ϹLUo'ug{|RewʖB ;5"YKs PvZ\6h"U՝#_meeU^$n{H3x% +l:+5#8+d0@hX/`PH P xp)t t|VZ LeHbaH^#62ltG{aC@Lre 2f e7=YHKyeȬ`9]aKu9ӀSS>ޜF/VWIs5Wwus?ŴKs˕ed-G 8{ =,j߷xB)LĹss\ =~4Ⱦ/!̠XcKntT2w0L +NM%֎8,}9]%NZo n a#8e%F0jYsmS7 8^C8C}Nc3T2\K}`C˚;ۄl#6\g 4{D &Jݴ%>F_Z>گ0v4 >@H.2 \Vo׆ O`G}xza "l0ڻc V8˛~uUňUY<9[Xw%z=\tt2rJw~6+qCzퟧ?VwNgۥūy Vd!+Czq??wCǘVC:4$'K?bfv*B-|uY]w$:– {4sԨzFɵiְԔsM[E &~9FCE37zw9+ild1y"U RFI{h:YE]mlJ[fL Ek(&Ti!4>c֎a[H6Ig$M4nTƳsQL}4 iBj()`Դ/!]ؐA,TҼ%=ENٰ* Zac0|>Qw'{^R?GI uzԙHI$%m2M[zw8^PuV<^t.Jy) Y:OtWG̝Hth|_-g q^cR`Qcy='NL S>jy80,qtvCn۷p7ڡT{C%)b覓LMSȤW53tg9Yg*f]< ë pcP%}0Z{@yFe\7٦1 r ,s}BZ~V&~[GB{&{:J5;q .p~ T6yz~b6rPw<JM2s(f#F=IJWzp/]<4')[?Ly?!?c\cVtiV vGrIb?;B$'LU^o&Pt>̶b5]#rS9g>#qx07cj̚pWҦoޚW5=(7zKدˑW)I={ȩX(wo%5:0zZm- h$y6MdQ{iH~DudFT\4eVAfF:I}>1ἭEe#mAV]3"A""UBtZ[Ob %롊Qj=g.bj`;π@kccszŵU}7㝦F'7 zwWSBk64[(#8ڥMcm'|'w*-DgR,j[ ~(R=XB0k֑Q'mÊ645A_^=f`pQ%h7R"s#sxLAP b)Y,~RcI <|6{ ΩL}rӦ,UU_P4GM٨\u Dg}9N]8lPX^֯&+/,53DOƍVE Є3|pQ\. M R!9\'H NTڇ47Warװ4ڲf'*T9/K:ki*f-eUcN?KD6Tc$"O|>{c3:Hk=)#X05`kA .;yA 4: W׈cX*%rcD٠!,+N?ǸP;wXu>PtYoHX/P!}c PEUN'Hnѣ: ONIwaP+m܇ߦ4R<|WS Le``S&a,սB}z@>'G/[( 7?}c xfon HаX0aKfמ}.4YMkd>6f\JG0$╝T( /=ݷSZvۄ*8&I?|L*;- W/EPp 0{g (<@X)JQcy3r++6=Pcl|<'giҚn1aC) #hU&i#մq}EL_h0]hUm탨{o%W$`phܽ|tm~.oن~d\y}l0h5O#"DyVwd6٣ݒ$I=!k9N]@+UqF}RB+DFV^?S.kຓy ulSsLrI+V7ںJ0>0T^b `lUb\ByWvF۷ L<|U~BYDW4O}XgeG!irV-.3`sAv i/?JyRiUHM=#նwbڽUA|M ̾!(d7u )-N^-eF|4I؛ jɲT!0BuNTqX`98TBbq_ Oi*R3M(roi{KlQdurʔ"h#٥}.5XP$KGi7 g>k_{zBNxjv&*5xq`PObCTæ|:_Rds[{ J1[;[O"_g&&+=M{kƶ_Oӥ+2ڵzR~"Qko|slnw{1^LH ÷1"K*9Bu}LBOA@QF£3ncFXb7DmKOd +`!ox ҟR9<[\QN?؈rȞ&7@ Jd@K}|tE" K&ZX֕BЋPi ~X.`߭,(uH֦ v]V܎Ǜ?GTͲ"8j$nL; B+"jH(/C 8;dMrAXʖ{:e~ȅU"5M9՗% X "#&z3LL]\*yEpf&3jzy\d{Vڃ2p 1Xiz-60vcu:”fhJEi2'5=ap &⻯xA-lޭ1VݱHS~#k&E D'c()a`,! /ĸ#1%Z0[{)xV$aV 棚ˋi)ga S#͜z]'1-}Bl K% lWMVcdWk& vqeXWgEo'nYt!B"ƠdbDmrw9:] ]F&y8\ ryl{ *;ŊiGb Uv\_ ?S$H_lW`r!## R?;N.Cqɘ׆V&hRAl Z빐gH(7aBgrSds} Vpn}J. h}/Q,AS=-.BbrVae1/@$h5 )qBmF-|gFnClӭNm)I~xpǢ)񒙚CV hCQPzD49"#? r\\m8k(b.5`VO-z'zv\C2$ϗ~r(O(u=t|ᴦR(I^qU&ܱx"Z@g/.ĥ]Tv sLJgQZIܞ98E9qw|\8'ELjܸɘU7ZY`8ueIM d3ȋ4~3i˚ϊR Tʘ_jbƖ3ȳߗkmȻM ?0/X5Ǿ:cEg'$xLHV`T|MXtLyv+rTƊQ?x&\|Xۂi%=ݰwXqlJ>3f0W=;JFA1QfsYѭ91~46 Ii^OڌfY6W8ǩ4P^2 ;u̷Z6@[6}-4z~#1*IKSǰ4n y#i'6JEʼӏB)-5~z.~c!QGW߳b5fyM,IHj=7I/z?064vEi]v$dqNֱ'&IۺPݢb/L횸s6)3s0z̈́eЗS&:eB8g1x]:i~ c9+*?3jAuVV/y {(LKKצۂJr\قhqt%N[ڔ,C^`jYjȹX+ŬY jIZ w*=feBk< @9Rξ 2s;=,nlQg4DИ`;+v)" 4i^o%_h CeI.gpNߦhŀ[zuLI@!L m%yX4{K$9c/7-}4m*]n|M-M'[~"EzMRd\CBj~jha2;BkXqx]Pe܆dԺ#.>Vm Al΂p^Rѥ=6z8~W:;ʁӔ<Yo'ok]pRa>GJD">L~#判^O,jT@<>4k!?h\P0[,觾nڣSyE}{ ūq+Yo3eYwF6֑5cV(JiQoEe<6w㺽'eF s3v%GdnKY!ҵ#JQ4eNƈԗK'MIM%sPJZn>B < b;F8x..K S3|&+[[=u'N {Lp &/X'\iOEQRMbQn}{;[z25?a@uі++φaW1~>Y`Ξ2OWYSLݺGΊ[*79_rvu-.j?|e\-0zoOpge|ak4a֚?Y5Ͷ.`7w-5˿޷:V;at"lױ4 7!{WՋMUV=4eA<>PCQGsӓJs6,_5+?Qf` {zBC9ɗns\4ؑr3#$.> ޙ@zLBėj9a?푩9~JgfQ*Pw _z>yMr;`KkI0"ψϕI)C\V {;Jώ*]+ Y&4ӈfGT5՟RO½2%7Z擗Jn FEJ4-#ά㈖G[aO :5rI6]DM'GBun+ߕ!oi0כ ,ar$ pw^rY痾/\=n*JP6ī',STQ %v1J2[f=7RDȵp+E>am.Tߧ!t!1$&p/>A(K<#Tռ/h` yDEa:p{W~AXlet|Q|e5vC 1މuٸ9h6K|[,OB&Ii©s:R_sù%B{V؊o0upZCX_wl䂮@Xq H-t| 5O"B,w«7gh8AfOR .$q@4|{Z͇uSZ*xB h3!kڔZgq^KI?PDq&0{V*.ή1:(8'0NS϶O&bU27lzŒÉ_; ڰZ/qODyPȉu73 `z^UwM{?S}T*^{~hȒeJ1 1d <һ0ZpHCMoJ.~fRG@SFS+ }\l9o\tVB$~ǙSN`鳘g&Ǻ }Ã7v'A:&-*w)*J!&q1nhqkמ{/jÐ0m, N*=RVXВyAVpǝ=gB[ >4IöVaeD0ap&!'_ sw=>w+tC0e)D(M`Kƍ?ۧZ& &n6_tPdӤ#/!^v0TqrpX Ь?^/k/sGfRf]r)KvU_H(Lpb$c6Bz Bw`jvhM.Sp}GAA)AS];k]F5t d'uJDDTqs=֝[v9*cdCv8i%.ø':Y+2T7zZH(L;@ f +Ri"uP pZQ2=9HrwYTC2`;}"hUv~c$Os3;&qW즩|)B֛O3+gd GpAe4AyxM[r q8t:a?@7Gř5}l,0r>yu8w|H#8}Vc!~H.e$"ѮfNe%)Lcb()Gy:ƶ!\r !wH򽂰ץ. H&C+TcqTQQwG=GWa(@>6ef̢ ᜓq*ڢa/y]G=5/,hWx`aQ '‡(jxr, -VFWR3Xf^xϏ9ߍ z}f ᵸ1K v\/|{z۬y_x&D,G) 69e+)XuUtI5c]TJ2W) oi*GkkgaM{W1"K7ΐ +Әqg{"qy,fMKݸJaznzhHc5B.a mq,_!hB90|gzK |Zx/#H;*//jĚ2 [ƞ;s#q}Ǣpv \uka$Q=]o|PgQz F;&_\ۧoFm2gB a|XEy$x[sN-&It6])-03vC|{9t1 ]'5 8J+Sz]C.i7H2/\ =%-Ϫ0£ *1OY4CC")B(wwHkkvNŌyyP(jqPz!W:jVtl.S 2ҥ7!W!|,C2.$,9+)w,5Sxzea^㋠`ǔ"cW(ԗ J:탎(9j/)ff%Gȸ=(N~sAwMvj@rYWmNx8Fco0 &|D`gtsh痓[J(uŏ€ҥ}QISqq >9Jvd/\{ gkPZc rk8 c ?f`z d!>R=\ꄶAl>*W%ޣL&~oiHgPK-MS!e(!H 3G 7(ixqr&Yk0S g (C vL@s̯(h,U94qkIzӂŚ1yTa9N,6ށeϟuN?b9āDCYN>9{[^#M&~Jox\0rձ0e_Ke#pO G=+Bx&S~_6GSP98eq9mn)v_ eս4`;]ģUg%MT Dɢ{JVeGD9 Um((ˢV%a!t.R!+ l1m.j'!C ?ښæ4qia*7r*jey%qGxpngv8okߗi(C8`SnwDy#C*Pѣ HOCr,@-إ(D6j8~fz)|FBH->#Յ*q0;jDRB1Ǟ S~uRZlMa_*nMlϷ&ig=~(U:,R_Ņ7,*ߵG&Z^>p[&߀im̻Fbn`W}f'I/9 *kcxWσf;c?1VV|?3]8P_#[_Ѱӱ'|Ṱѫq{86TfԶXT17i}D*6xbQrWZ?Bue L8./qGfd v!KGtFA1&+ߓdVL>{/5Fzζ,k}kt})J$)lRlkz W!'}iJq@PWuAO(-w)#ĄCk`ռ^Msv nrYsomѬ@3GeW5M??ltt&^*vAYlgc6/6Q+t۲a,K$Nn6$9:п413Y_wj;? w4BTZ /WqV=B95 rƒTI=ř䁥hxGD/B=<\}~#szEAd|g#e:24t,: ɆbS=CYm_eq}\96opI@jIU0ի}U+.OA)% z E4ksh֦77W x@MT8FHYd2aj!1 wB`̒`v/n ~ GXLјMH~%B0{LAr* 9\/Xӝ0ʉn1OeM8^9֪%L47z$>Pҹ!H'C@Y _c}}5k4ߐxqx`sUIJh3:d?ٖC-1 eEw4  d3 ?Ճl eoMb |@/bS5U6<{To*|#])uÉM/2^5S,֩қZ7cF#VYq qą&|dPImݒTIpGŪlgUފgYZ6V>s9x-l&IRLQx ,kX΃sq _3%LjV>Gc'hHn. #jL$ʱaθ]T_xo/N'hgv|O+8RᏥԇt\F*&|ʒ26"=\@Եi>)k$2dGWDARlxF9~' rH86c6`4N5j7FCgvgBrOY*;t= / AP~5Z-I\DBpX(.3Zo>HE^4;2'>.SJ5Tdr|}B$&IfK7)!f jg?`&:l"Vta\BQ2v@ N)OYUuu~@ؑKlbW|xVZNϩ:)E1l :oˀ4{ 0h椂BK *#KUAjˆÙw s׀i\7S꺘)O-1`}mMR 8>l%"9T   J(' A6*[vW8*ZƤ)h PM!i,,y=Fb>QP#hֱHB3oki^Z=Sa-A0nRu .RPo0]D^>oTtbw$Y-_:3spaFXe&up'&Z*mBM)d-9 ̏xf dr{1ǃTnl'g+%wBJ3c`屚x ؀DgrKV.#\emi#TRZ$¬/pdDܴo\>AfEZ7%:UjΆ6!wB I恞}w yNMK7nqK(x]0},) {r6G'BdFna='Esu kq3:ߋ5gb "yQO"&dkj aj gFPt"*KF+u"xm6҇Gh5Qڇ,6JN*NOIkCI_huz <L?Zofpպy=qF Yg R 7ƒ3Wcm|1`ʮI:8T)!X' \؜SE;2n"dY,Vz~<7ΰ'1tQ7{s%2nwz<;t#d|N!{T(pXJSc㚢iٍ]QimD ck7ӑ@’滋 JulB1%o%>Vr.|/2T\ҭ^eңqJu4x$r?{lea+i,EW'A8luޥb$% J3逺4fc|yԦդpz*ؒ1u}_r̈]{Dx $zS& NI3yGp(;)G;~AbOCx=ͦ(f0[ב1%ek+7^?P(o1ڹ!>BɎ&s9]ȾTKGx_E5y1\6*ۈ]jl}E[6%pFe|?e:1cT9v E~/)]P{#@mğ;Xp&crHk< "r9!R]2E[jĂ]ĸ`YAp@ۍhbzZ:F4h5Izd{E4k}jMSGMnthPXӴ| K)8V%DuM5:']ءIb'ڎ&[ Hp&*\$#Y1D A$&)j* 41N#.HEuROɵSr;,Ӵ)(Y$49vƹR]:L3FBH%dmj6Ϊȍ:.&#D\nGq mqLl«F,qh`R{dJ܆,C 5A͌[ڙ#9O10=U "*䮹 Km EUsd,4|QG_svoʿuy(K,S%/~?>[_Li_WwGh%KM@PS +gMYGjs|l1r'ZB `墹Y|?M r7D.r Ő@ˡ !`ydLƉCn_1ӋMRKAk$&?TK+v~*|uN'#^e!ٌ`V5Iqh3  Ɋ4Vi~n"9,3#_BGa=Bt, : (k+/?{U߳)H8#g{hԲ]Nw 9Қ\vΥse G 0<ކI卮1I>kHVh%x$<ɪ9CK"B$oqV3Rw'Ӎ4l@Ѧe ;YC}}4#1".U!.fԖiNҔ<>wV#ԟؙ̍V_ʍ~Ȥga^ogPע|^ؕݤ?`&N;fQ ~ݺyl S3L7B ̚KBȼg#w* J^AeY]fJ7QOÎ\33bNdn2#xڗv]Xfx[i!W.P#{+QUZɈV@J(@`R$:%N~0{sWJ@N 8$>Pr  emq0)~"3&^%(:璅[7u~$."aYe*c[{R9ѭòH'T!tөq`'' cne+xW<*d V{଻׀C#+_i!J~֡ }a̋Pؿ~@⋽|MdEY،ox˛Kox2]eKZK…S?@ɠxDlA/3N X>.>b&#ø=pwX:n2AD.[TfWӨ6s;. Ane;>tkvbwd+g>xZ6׻^ϔ TԨR)ᚳ4lmʽ+)y%8tR؁1cFk[%#*޴7w5r> CYy A|b!j$@hB& lHʝ.(n;g.+n:?AC 2.yT<'^ϗh`AKqkOքf2?o2x`YIpk0!sz~;p%EW8JlƺE5VdUtV#_>@E~v0Br_xQ?![jY$d{9vrhc7ƍDXKHG/7OvC PW ]!(PoP \1Q(kZĚe8?!CzzAɰs [9KJG>y`kvD B8xiI XꕋlFjGoV[n"tx \gOLZԚGl?Ώ#6631f0ik~A0)Ym!YI&z\]!u6XIH;_'Ֆ,y pzk)]-0 AwH)b5xdI]7z^]n{w*I}t7p+ᦘxbIO 4iR 9\f 79gUtN:"BmPcꙴ Ŀ7 Aq3jOxƼ+۩uGJ726`}ie#jϧ#wD[24]r ƌۓc.5(Z,][(&F{ LhkG%CQYZC'm(H7"4g1O)$`a V]Qǩ&v&b45ާ+fq`dݔSq5>>7^ ?[*3jcơr<*M)ah㶴PIzumE+ $mFbJJtKJyweag;RZUR.nM9W $lU-z;۸@@.<$\oچa\bL*nS3ŞzPM,.28/[%bnw0&2.[exKȒ<MiimuoQ c/ɋI˗j\VqD޷CvLמ=Xɒ4>r/ofcj4,FjgC.Lv9W%ik'i7BDUg?GLQi WZX/HU,PsùU}AgeB]y g)j%@Dcy:b< g\y%Dl*mvlXF'rkɷi!iWs" 3\_SFlA8//v}^fuFpuqq܃L1/:kAp$h+b(4I뺜rQ PEC5S'$ W=ٝN0clnW/| M$3#~r u0 (J}5g۠cp/8ȎExx^ p.Vd6i(Y 3N<`v#k-q\ ^8< U[Fo?*ɽcnٺw'`V mdZJׁ>Z҈P;m%OwrTQH-g4; V/M-8Rqp/ lSd$z[]t^}37x?Gk).,ƺ{=ݫ8H84@;6h/sQ ķ[\R2&#Uj4[d0WmТzZAE)kz,dl7_hexQ?ߢT7>|\ґDکRѽN),Zr >Tq Sbncb*ه&]Uq{HH&NCFx1ɨPKnxڧО!ٳs.}Pvz 6<\dv7bB"#fԪKyz$,N ׃ O9sJC;Bzk/luՆ ר Jދ7jpQ Y蝻 0hf0 cvDT2ӫ99ʮx#a![^[V|Pt&,7Tn*2B$ăFKPc9̅ԧ Kn~dB1 XsZNLhޞ:N0͓<)̢JZDƐvjD/ܣ4ޚ ljumtTAѣ~Dto(}=T" EPHPB Y [dn0RK%&TI1h:2gO$Lk7ޓ=)ƽbru~NfnҖynLIcPS~7 !A(#[R_*I@n+!̢=p*Q/?#c?&שǁai?S!]`R1-QeSɯ!:yh9-PQrzczUrU+5n(oJ$AVp(y)]FdxFMky1hv$07.%"8sd|5o |[U\ް``\tۉm beq[6x)dI%2E/ hm\1c"&G]AÛfXHJϿK|ECi bd(p_ 6R|Wܻ!` az*R\J]k'H ɉ46+0H7Pe +6ۡb&'T ZUD8>v_ǒ` ;4Sx4oR* oE7 #DA%1RZG1}S*= {ufd T%0v{:7 V˘<.NvQ4 JEN+ZXc_@'/{Q`nh?z2It/y7)8ld?NE#EV-jYp%jDS ]x'Fw(J^3Wa*.|i=oӂIˇuXK)ƽדaqa 3Su# +X=w8oFt ++LUX#UO6OU:<ւVCq_ģ[Oc#d.-"ڌ?,<sn5%m^PtiF~g&ո$&A1g&mƷt`R4m-~%4V!Y>KtS*/8* fz Bvc\{.+\D1Dԃ˭ +bwrgۋ:0G:*>`36*b4Y͹8%7썪Ti.TRZYck^Z'J$Rpq<.lPUJdw5"t"vhfc'8>c}N9񧵽ł~1d5QhX\+Sl=hWprD 3FO־]UEkj^zɃ hŠd!ՙS2cHQnhݪ|X ad!qyT J&kcFG6@Rx_٫\r$y Ϻe.%qbahM„/LQwCFEXcr4wH'"}>yYmȧDKL汎`b6l eyd]3gz׹=>|5SdĞ˘yԩ؝0#iQw4<6u< TcUb5mHӁw񹆥Gg@ Oƅ(TTn:gN(4ΰ}'Jęɹ՜`TB8QqfrĺNwWR8i1[1kVUт,,n2vA}.'l{$ W|U%$r'v3+=HEՖ},2d8yŊONT^% 9{ Иp*U{*3-!/r+KH\c*R3pY b,U?MQ%^=qm(՘lXCxP؆\$ ؜T9{tMG̈!@7,qd*響,EK6||z"2+@,B\EZX ItSLoϑ- O$_mn$j ^|+͍z)^ucm-7IчǑ8 d2zm6q)cj>kg={cWR4Y*KMʹށ^%]_R t>>[ 0 +=lcjb!6_D8V ^O#emŊtst}| eDA6QTj{ݪExasZ=g4v}1púk%F8qu*̧lm-4Gޱ0_EkM߻d*m; Z1_Нt4SVtD=k/) @"3\=%a z=&\8G= Z8ؠ -g6/ ?CTDZl?<[مOƞH kQ8W[ЃЭ?h`V {ų=D{S+N)6Js2$#LM~$wcҒe!Yz*`p:=G?af5QJۧyxΑJ0p,3/H18Y v׻L̹ "}:0M`KΒ|q;ʼn]ѥIǸg(Ѱ zp)XA>iC_TgwU;7=N_kDʑ/.l# )1sIo+";DvΞ-}?3d3$ւ_k#cWlyД_ R(;AMjްCk237]Ysʾ*K{PAQ)>m^䔀EI$̬$V#|Q~4d,7CSymj|c}+ +~=FhcY}^ݖ'3\3da?: 5@ʙŷsT: 7,|1@ fBF^gކC&aOh?Hz0 4jB+LjD7DUs_9þ7cnyUU.L-X{* %xO8 )Mm'Ԭbڷ\ ٛG=\;zb&/["w Nl$]S_<^ZbtH$͏~xL|鞸EJh5ƺ#*6VHY?wz ھظA9pPvY`?.?O[U #Zu´hV ^$"gDg@AC }QFrb`n9\݋ODۡlpqJ"{Ԧ9YIйtOpUM_ɲt_!YӀ;3+ÛE[T.T :.ӕ(ajh>pFm3$_is_ irmí/YohfUe -H{TOKэ/pC >1ݻߐiݲN3r+d =>Lrw_~sCla9I7"ٙ3&5ԙ$E휔bRBEL|o;&# ,AhH\!/eh^=TD -'|X?~(A}` S@y;_;iÉ`{'1'COg iKkP9krl$ryCC͈AmԡaIDDV1#ToX)8nl#4J{HVˀT+ }#b8dZ)w_q_|`e_PgӗB=Tvnn n.l\[ʉ!eG!J 8b)ι(Osgobb`HI>FwLzU7Vqh!EY BO24 8B&L>@(TBg7(UY0̀ a u8b$m*#s~FҬTQeƋH$zDlCϘP}ˬϽVʬ`(N/$2|teRKBv-ed .ƜyiQ݃3,@dʜ˪ 5cr1^rj9dFPYMSRPFX!V^a-hZtPlc n.CItM7 0TATO HV\ o6ٵ0m\vOa3Vzx؄L}6553X㶭nAݶ1E63&KDV/w[eZ6*b&$N i^14vi *Z >jϜ5(ӿǑccJjby['gɍaҾC2Y0y^WRR&"ގj tC <'^xL@1ryN[0ʍuóJwCY/A2_O>h[1>ȜGk㒷8U0j 2knKT>X3|޸Y{P#aJ PXMh!Tu8\yY`,(U)jfA#Lиp(%$hW;4=0h}洤$2D/8!w'D@R/+Se5 ٝwG|0þZtŧݛ_3?>lqKmTlOH%Oҽ2]L^COl)e`ꬑY9 CQg  +6ͮ;3eqEQS nk|hyvk6";.B% xR5! <WBBp/$Omv!, Mz9|L:@6V1 k6*v)wQ{pΪG{T)ZW$ИO:J/CۓhaGnEzس#SEH(ːM+Nx-07a! ɤ6Pj]x==VP=m]>]*!#eRH*nԂHɖPѵS0@lmAv ~l\HkOX%7[M)j*ZQefgkjIipVe.V5N՞X5Ht=dC-)z)<Ե\BmCu> $WQV; .d OIPeKVbO3R!-tLOhJ?+Psڭe<Ȋ߻1-Qo f@{W9ON ]-oBwT '^<^dRi9a>i,eBɁ.OWVt,@HdܦTc ^IfXsS'>́N[AZB<5ݕ]T!`qe@[v-BSD詈Ѵ!MTڊۃqvbg5^˦/*%?1 5(\d" <:?9pn a:窭Dl)4(bT~d:HB1 (t? Ym]q[mu^U/4/R}R6ާB`4Ư;"*[8HDxRe,:vupC[V?qtc[# F0zќ{e4l5F | yh-#fuEAH+7|O_#m[_ICV }7exP<l56A`ζ)4ס[w"1B6 \Ȧ.\7ȱ N8sH׺FQoo=wnHdPHƽWZBөA@UVy'p%&ӷq+5SskL5-,$sb.{O 7{f>f0Z$n?dӝ)/iiV7[qz2u j@Wi РH|=cd!MY(99<;eBM\J2>@o}xOHbkG_XE}}|&?)@".IĦp?Wv afl#C>^`qgXp?t{P߿P3>]zswզekE:Ȏ*6gP:Q?#[J/4A Su!9U[Ea<Iˡ1# O'IUp+c&Tj X1L~`Uq(6Q[xG<5g|DnF}{ܡF[G{W'߆ics0_ Xܿ'r/Fct6,g8Rn{BJIXG5yNԒ|ЊCordD5Ro,[M]3\|Z `P*y\*#d!A / /X ҵ.2Q6_.l?vE7D#ڡߣTY~&7n^u1O5b {&BWI~LBh =Qvk40;E݃$8r?5x޼whafu#*4BbaJX8HvLBk")MRtZx 8N}bp ;y"eJ3rV*sB0V4~rwػtOo"P>2ٍ1[bRF4QOE[j䓓 o-cτ{70Ogξc`@>k(y T2Ō=Ҡyq|1:&OX1O:KA]˥"K$}%%Jp~lJZ ~O=oۨ]Y@Oyh04M_ұX#C}lĉt^}xf$MW -U4ݣ|`'{Rt{k ^F<gYZ  K)?% ,Timed_AutomataTimed_Automata.DBM_Basicsdocument.tex7zXZִF! E]A-MՋhvG"uIBm51}Qӂ.~M{{{4{Uq ,d<3/F8bfͱ%y}`#D2b6`(GE>39Ru aHL4zYib',#)툻υ'P⋤tZk@lk{! *-yo<hÐEGܰCV!'z;zѥ^ /?vzYA 22tVG# A2͗Lh~D!,8[ub? Ÿٞ@b 5@4$ l\"3[q"?/tUpd#@7HwQlZ < /Qiɓj|Y GWu/H٬$cnm`TIb8);u T2Q- !R{ӹSyy& !@  iW!JsIwf 䍷av`M2@A^._ o+ y#e)7S,iwL˧҉6U_Mo2 UKKbuFtJF<+rC@xȾ%Rj0sJF9Y\bEbȭ[.,3P߿p}zX~85`xnqTB…r_5÷Cf[ݜ)WoԔ D8Bgn=^F]Xmdѵdd;v(L._#PBWݨ:w-T}56/*ߍ`9%@@4lZ{xDr?SHUgȋZf%5EG, ѷvPIJ(tI8%Q#)pc(Qv7f1\p}5flHIi,cy.:5 "XO WX%,kgZkhizq֢ė$ԧ]vi:%@aeMy5V[7 Ȑ 8~4VtH J< :9P5c,"r;iʪm!(e[:gJ(sց4ݍpm.#4+"9Q4ˆ4 (}wQ*y-9Ǥk-Oj+gzÌ?F9h> 4g 5QyE 5;&B=qE@Tuc>"kL.ϞB/ҨeY4 &Fys.'3[kt`.M;oH F7ұ cLԢr#3hw4 $qz"izqiGXAmQ6ש{{G18ּ4~XӨ#t;+}*t!,udE[{ޗy֭ T5{ErvH%By\eqUbPPJ6LI*اzƅDjL F  +BT,fPBU\G^eىmt`q[ !ўV8yL;ۉW?-YÃ0 3"O>g(sM d IRmOMkKNB Gl&N&_}^le_-|U8sb `hQ´qAWk 2+dG0:}2LZ[%+ YZ ZpaXMgP"Ѧ|y&9T\ tJHwmmt!,PL<^d>XL ji/&ttDp8@"@Qe8'zvOBk*]}IBz$nr$Xjn^i9gUyJ2F3萗,ǰ{Kew9fa*4&QXsE =t s.cKѽS0,F5L@Bl+SHth®h P?)i&N &N>>] |[ hF/Ph3( $ф‘O.vZԖX=~A hU9j :@BnT̈(|i9+gr̒Mࣱ\VouֈF3KЯ1q~> 3xUR`R;sZ(+ ;] $m +ccJܱڏayQX64gEL,0izqY^3#Y?BJ{KYZQ,-xaԺ-6Z enPX_5M&D X[ wVb!FoWBD5}MU-rF?0J{Dt迍g,0u_}A00ce:GXI>4 c\fPiqieK>KE EnbA$͍rDh`}48d _S5M)XSq:b(swSU#\{P; vRCpT  ;3C#ډ*-4a\a!chU[:ޑriIfM%etc>E)𪽹# n=r+wc(L\7a魄:+&ڲB{j6L'T5ݾvqT_5-ՋC9/i`ŤEZM}GW[+F"b(t-9Hc{uݽqF(Ws!d'[cWEڛ6Ja&~-"9ƐŪD}ʬ@+tVMѕ덝ZŠ !;q& SVj/ gϰD[ *Pճ[ACz7"䳨E)$¿ yv zOW}K14bBW݇4iLt#n[F 5|QV1&k,"qMYY q-Ch.nb&WN*>'Ip:iQP¢dCƈ-$8f%nDhȭ[G*d_'{xf[b(J۪ݝ'fWwݽw`{,.AKd IR]̶l>^]tSks pȟ3/k7'ljnwf.uN$] {e`wH' y\ ⨳fџ׭y/ݨvQJdVgv ] #T_s Lbe >G9\6S猪TaNw`*2 '(| #k?ZmqwnޯMo*Gx\[@\F,nJҺG{N=>(&E֩&`;D;x#]^s ǰ6wT*;/S:jQ]75K\ˁNSc(TatU?1 dW-e&M낡&UKn|0[nLvF ~9d~uӊ YbDXNȖ0bH 8(#:+fiZѕ%Ɣ 9IrC!Ya-@KHY#=V|i9m(xz/=j)0,zmRj m$|د,łn^Vj?,En`8᝜۲@J7wS6 Gt.Zv溠4,^ڵi{= .Id'$އI@ ՒjZU˘J%3;w8o9NJ(3@N/5#2spϠ+g.oo#S7]X TvW)&-c>3̌-v](&Hݪ_=G|Ǹ:!6~ &Fĩ5^x2]fPCС^3 w/qlQˁ'NX6(\?[ Uiġ1?9; &nסd&zUkՔQgO kLC]I!Doۤ5P]"{ĕl}m#I fϸW"_~@k>yH܆1Bp9%̲k4A_ y~溝eAw* y eH\Qb~:ȮHǒazOeY|M۾b_L>Q1e#H5FF.(⊇:FW. OQ*ho T58 (Kev@M]@;tyX~M[4^8L;٠P?cf?%_< !0]5ZXxŋu{k5jZ2A٩"U_NHb-WQף<=#nL`K\laG]XaszL 7죨kQ̷DyL/i ePCŤ mXKEI6Iٺ6gXz4ɒV[}vxjǝ+ԏa/I]U߬@Ѓ&,LQuƎg@ܰHNv`=E.o~ yDC̾/I C>/`^ѻ* ?;68x.Sd,J/|$,VQa<q:izWgۇK`_fߒWg|oVJhq_˃8o}3y-yFvjW@|sJky<KoZOg;=wz{Ϯ x!sz:e@bI8&"KW"WxZ ڰ@ue-I-2էPƋttK%Qz[.!MB0iO G1&E"i AYHD\4Nc{ ep6nX'\AO SZ0_NN3s(鴝ܑkF,5HP5 ,rK3X5I%[9b.kbOmnW޸ !G ^Vd,f N>8z2wxG=ʭ,144oލ9Dm cð4>~x?U@) gR#xiy:>k;UZ:v.hizZ6;~:M>;lHJYr%PdӤ>=Z%'siS_R*$TCPj!i}C2֋>BU!ؙe3_-B߼$6e\I:X+yO@z&oC~y#T6u3u+, _3;j0(Xo[1ŪENETeEZNEc#n6uG{C(חQY4~+~>6kAoY zgYZ VV\ )3% \Timed_AutomataTimed_Automata.Miscdocument.tex7zXZִF! ]A-MՋhvG"uIBm51Fc aӽeN2wYFC ߼ja'nUmFO,%k*2`,oIMyd3F<o]]M K. =+DG"hO.Ԑ`|h2!gYZ<)9% Timed_AutomataTimed_Automata.Closuredocument.tex7zXZִF! =M|lՌ\m<nXyq4YVoj2F=pLb ʍPI?EyC4Í汪QbRF$/vSqu81,:wǥe'I(5#B2TGwc@Nd͊TYr|@S$ń]q0SD\ݵ5t x5ftbޯh)&J/p7+L#Ed4in1V-nYQYnp֌!Uo.1hnۃhQGSgY>]eÃyXTi8pV!$K+(ɑ՜#`]H,bXat2 \L;m3ƾ#:Dwq1{ZilӴP:MGEp!sf$XJJv2qknFa )Mt@jM:(KiTFՋ65:](~t5w!GgmcѨ;\+hlcp5YTPh`"6 -Kg/Bдf%+Myj __!~>meI.n-6m]pRKӇӳZxG =خ4A/z7f)@B"J}S qlwFH^O^Md2v;JrJT0ѱK1R52^dҩaJ9W=akɪ)q^Ҡ1)dW&.CWZҍ->Ţ{r^ *ٳ1:AN>3j9V9VS(+%| 2Xn;G;$C.dj=uqvO*CZeOZ|kMȯitTԆip^4(<-FZB{;Nܙ2B3g)M>`E aìZ`v'_|L?xUtlrRE=h{}=aJ +u *Ȑ}Ǖj]_4ߵnIܬplI$}DoT5^#, {tlD ;m2>$_Z͜CP"VzR =LjH̱nJw 7CmwTbY'C{neg]3+_HwPBFQ)^G~ |m!Z4o.jR>U.x0jsx(.~rv6$ݞ?ً2h9ݦr fWqi,9`u@)@7tR[S3ZYerz׶ugNZQM "/02>$w$zAnMσSd1B".\ `׏6aw]k *"ŋ{v@U;@n5jaֆ7k'%:npqRhX/1('mū9ۡxHcf2-c_mJ6?e\2y3  upRH?oc>錤{,s<k)ȮTC;0.rSJ9Ӱ33ջu͊=BN?@Qt ? r)y{Aƶ\ \_5.y/MI~ҭص ѻ~{e;6P|8:Vm>aiZ0L;f):T@ahd}K&ww;'N1>E!d6@ -_._:S[C#??)=X^zm|N.'u(ҫ$_@S)_OD C ܀@jY3 z٭'i,wj5A B9KK#q{V5 B@߆*O!(o*D (bX9/LJU sEk8W+bW^V}6gp*5Mz C5;Pv`_QW|gmfжQtQ &Խ ;U,DF}G enTFRNZ*~ #'afss[!-2lJ'0x1G8Qfn05H0DJac|cM ɮHNg)zۄ8ۑQjb{Jh:>1ao\XH|=˹\E5R]`'p#׹6h|{eXmEKw~ Dlj&S5]|h| $Z+ v. kc 2X}3@oGa!x_` *,1Adz_{ k"ja#!3a88"\k}M $m5FBq|bX*zGTA@2Ɠm[7`ȗM+88ucD}eC{r]*"/YS7i#6l6fvܑ)^H'S$uZv@!A7 Vat'gbmZzߐe5y;оPh^a(T~ A/ ;]fC %#,Ȁl^І.0?S@=7I *=w20 xPp l`,&sUі>~A:č߁7,oeoW4Ke/4WXKUj2yr+Y0bQhL{wDO]R+9BͻPUv62Kن7Ө/p!mto*8Hm, [^/2D%3$p6" RiA!!a=tɢY_g>qS/M}ja8ddPf@rG;KtF;khQv|0TJLJ&ԑ3r +:+rcQu\6ï#B]*#zPĺIjJj%KT^3 =m{=~BZR >ً*XeHʒM V.X.e48U +zڃ景.F6.I&]6zr3[մ~̌knv[JW@t[ sãq/ٶ=)]`"/:0OL`BDBP?xC,WhX9䰇PX |+#orNO<'Q4p *W4^3ѓM6}H ijrQQ0`麙`^Hڰty0$wb Ew,1qbW d}48 MN*L\#n8$R;{ Ҡ]?=(Cğ7(iP~#Α9:^q~*ےE߫Vw >6W;,=biGYR5}toIe"8^Gq`]1cHY}vCn_+ jeKlTZ= UC"r&V~ھxWΚi{<#bg<A"J, \&f3DqM!DԬl]!c`Zlu+%HR*J}{/LȪ&q4 E[gZ /k!˝@#Uqx kFrG~4BrɂsL+mW M3xQG 邥m)' 䗫"K#h/AۮrwK~"2=ԛ\IRz!s~{sܦ(^C- J O =` 5(N2rJY&:_ͿRH1UG˜3b= </e@R'DBkIeUFDdOź%fV QxI1^trO9:nnd:BM(׏UE[msb@FqOhm#nvഽ"NxYv:[IGS7ͩ4Z(msWtAЩ>xCqhy.| TԀj<Х:yjbKjQF/ՍO (7&L醬5gkORw> a`U;~ ٥ӧhM*[NSn~X٭ rъœw&>Dhh l6@}5! LjZ7H-۠#3zFN7TpZOLcEΧ"dL9K30 C˱V\2]ziI5tqzA&$O9 u%ьH?.Z/*d~Z`ڶ+:nNylE 9YG%Oj ^M<3ɚ:]yݦ{RJ\nYnȰY~ F=i+nd[.mb~_JZ:L,fY֣-GR5<&YKWB5%Qt.40/W)4Er5+՜'pĘ`r^]\#fź%+8b$_nO6z@GlȒ6nV ]b,}5NŀK6@q_?`-Rʸ*ko݉x:װ5f%jbCж(ͿHLxZ`2X c5[8U\LlRm{E4H.R{e(:3xV2 Q!y!i~u[sK(y3m!~dwguz8A, 6w)I`TI[*v:OU_ITz`V ad{ "xe+ &vL( XPگ@wQZ u=hP>D鏃nէ+u0^C$pvYsT0N~eQVhLġ.cUBhL$r >{ܔlonJ3ԉ&S响C&kJrIi3m7Z8.`s)z3d^C8 O̬yhpCKy }[zaӀ6́xes4oq=nQ⋹te }f ۗ9VxW +Y hXƲ:dt/yEe At9:[xuq ^n+k@\>>GjmձhβPb%(司4ҡpkJIdA/WInef*[H] |pc4@AΓ`n"]-K٩" YXS8\syWNj{=[x0(+PzLџ/ H|x6hK=khq VoB"l5J,?B%XC,0{Z&2{Dqw,sz cgT@ҖbQu5j٣ &M賦ϴM*>E5mR SdjZђcx{]4a3Z!Tu?{ySJF(Y'&)@NٷgMvVuou$_:rv=/4lXWRx6-VGbVA 6Fh_H<+\!6mH#ha;#\d[0);SZ,{,yCRJ8FUH^M(t tڟi`Ǥ.YLn{4@7ݮĩ&ٌ@0+?Tç%}vk=fB4]2'!a {/v<aq7/WS4t IDXċGS의o'KX}&U6d6s}âP4cC3Xͪ*yu.Ҳ4E@z $1&ݴOc es.}bs GK1 u-%60FjX hqj[o-,J0I5(ݧ#;{lzٝpDl p@250g&wƄ0PGY[bJjF򎝚ͣ_ 'K&Y?|K)m\t*g>|7n/$\"/S}ܕ-d2 djr~OhKǾo{"!t e<sNXע"48@"Iy{2tX8=ANPr|W{%Aͻ{n.*-lJ4>뺪W~@9㹂obb e׶P NZL|̻¬ߩ:wWiF+s:kD\7hW0!Stc5'<1SZh-÷RGh5P8~ZNj(<1g5Җ_ٞZOҕn?#t?o\] 1f:pR]f< 2Z˩š>]T%8wYJyV/xKBx]"Z&7V9+_uá?^hqֱ˵]JֺRs=/^c0C#WS2F/6nG"[<'З8Sy`~8=egM} AWvhͤJgTqB!l! Y0Vۆg2Jp 8$kR#sƸd,FW;U{?T/PQ8}TI=kA_^5;mPM%M~+A9N%6җD1U*]p0T|@ȕpGB 3#_\(žEV" $:?[|  i/ӹ,8h+dKNOKM1^3?,b~dQǰѪja7V˪d 4̌6EgԞ 7krZO&=m7ʩ \#BwgT)vسp`o𞂯 ˘(RTZv` 3Z|>iեy!Ԉh^B`19[TgFLdd/>Kf!Ok?G=x0qdrUZ=نZE!r AAbNjWrpSskaCC+Pۑ S`e^n%["k-xԘ}6Iӻ(OBdA6h$x97W3ݰiދU5D -ŗ N2炀XQ0xI$$q%.3UbkҶiJ.ւ965"O _\lu䏫kdk@&3ʈĦ`zx{6r>+J 3~)XUN (Z)bj5k€qdҹ3 5yc.2?;9 ؿ]\ʉyIyH ု I,|=zqVgRX+œK  CN4t\.{<'ILnqZ.K@=G(9hIqܘɂDC|P%m k]-9 ȆZ[\],g,{, }[&t .+nDsg`aM\ gYZ ''J )]% Timed_AutomataTimed_Automata.Normalized_Zone_Semanticsdocument.tex7zXZִF! }.?]A-MՋhvG"uIBm5ĸJ@F" A+k4 fB eCˊPl3l24e0%l+ mo"LVmvCSEOY3 %i:q 5pS7!:PI;ɻt3ZrSd YN1 +76f%A,fY8QP:C2 ˶"c۬Q^82m/&'bGY&$ޗ+|;,MƱd{mn|9DEA<-}ʉ<QUL =Toɮ DO# 8sB1`0^BDxN!rz,U I. 2֜Lm%mJ}.RO*(F[54ŅJ_1:H]%E ct=?~<@<\x>u0)dafi3aIf('y,P| mb8[<;:g,\x|ѵ00؃8GQ|9׌ G^L.t*d$XsJ?lf&eӞGvG?2S8Qf. /B6ͪPo*BM)/qϮ^;@<xqCK?b\+mU|&~8sMxۚ5зҁB26R;}vn71B%yO S4Xm,I[TTFj!n4EF]Ndq6J,77Q eV%lN{]AiMɼQ.AYDře|ތpy!:tb8Z'T<8,ɓGTC$F{x:yʑWf6pL^݌cNTЉ\v)ǹ?sjyEnG _v_VWޚYP3m0y]}sd[(}9Xd<00s$T\Z =~\LP*e ;t,Uosui:Tm)E#Mb1apI` yn˅w`,(1 Z?%wDdt'D@*a`CkltǧG[9O pNJ=.M&=eh7Dgow;@)UՉ&)t?Z/"( '{`I_+PLDNM Н_VciL0m lsEWX?ME=4jcpף =Kж0Wϸ_>`ch009*Ο˾{ SHɒMS:Mi)E5swU-TJs-]t$^ Б#VE+qHV8c\k5{1]8 ǣNl;Q 8K'l8ڗ9J̈eI=k|E-] uO1@uX|>y)BTΖIa. aVja~A'?:bt=tTq{]鸋'8]lp6bGA n-?1{7-7>NM:CÞ}/?<퐳*/* _x]2gL kߩ<((1…J u#"6vɝ7gkz(EUĈ[G $|hXްW$1LhC@LgH͹ HIRq,ꌼUo,k.ҕz $㡲uNP/PDI!m tCPv#2JW4wZqy~'"#YQ{*_,'2됙狺c]-tTXc  eb>]uqdoLWjY_?b +7Ղtp)Ȗ1}vjrI>O%gVR`[j Ǭ'Fm~J9pLC"&Gh=YՁ/eHd@ MAL2J߆jq+$H%W)$9r|xɷߘ_E&wU< ~LfoAuaػ\3ϕ<,_\|l$fvQQs7FBLھv A+5*1/7來ÀkU*;'=z%>7=q<~̿M{?浶L1]C+nur7Uo̹ οю{|q7L0zj{IL Ao<ߺutы\*N"Of9MX+vIbź-C'dy[Zo]W:4O*y~RkmTd؉OpnC<GUj.7 A~ӿQcٚr$ٙ_N98_eszP[U%!*+Sщ%86`[:wWQ+s9LWfBܷ*7Q9H?ȫ c iYp-yAE3_"t nM %O˗㣭V&65oM89`g:'qrN|9Fx'y3:JIN@AVf6!θ%WƧ3SSUOܕN)/AgHP^TVxAPA.HE.ZIe⿟Pe+ڀ\B a`˗?LUtfNYF~J Re.y$xX,`;SnCYJm_'-l$]Ai2 QH]⪂y>͋K>ªkcY-?vf;n߼ٝDMQ$JN[~[ck029W)w֐rNF[iu'8w܌QȮN.Jhb1ҭ>mD31ȕ5{[2VlJ6hgn2"6*8 r3}΍Jmow/8+i vIxSpJ.&i|H˽oX~Qo&*b6_7Kzy J. `ݠÐD^Vy ]v.:ٹ_3&^>P1FH^s:YoX?{Nܘ_nh)>LYǾ5c5r$c)hVne D4|udl0ua= [ )1% \Timed_AutomataTimed_Automata.DBMdocument.tex7zXZִF! ' ]A-MՋhvG"uIBm5 –8`_tnI”aӘLԔG0,A^e WP/=]ȀE}Ղ]EUV$ BW])"KwEt4đ+=?Kgqo/RoYfZK,)#EN/+:Sa40#bp+P]&2hʗq+4 ˵/펷3.w~"rA=)omkJӤfkYH&x=|O)H-aU| V;7.i =*dkE~X*;|{fc6p*ߐ; _*%t8d0f+MVzP&%1?e(xQ1){drM[; 9ۉa ÷ w-:|]xkTj% %7h9qZilFY/]9^IeFoM<>>u{ǨiV9cw|ʺ`՟"e4wuMn-(b#e2΀;Bl)<$9!:j?RYzyRa;VbgR>f> iPQଗFܲ(~'򒥀sëbǟN!3T,*aD Dk,oOX[.kjzZ=mY7("L!{?%c4.^sIGc/wTGBJ|:9 +1AK'fvld`jDULkC >|w \>"{h8^+fDιsIV+%J78e7gFJCo4:9yF%Bn& m&AԞR%qrh+7)˜h +<$hl&ai#-w2áÎRRR7_2g;kY0h-P}=TL&f [H{F#__Kvxԝ̪"KQ%&))`hkYKcФf fG:_ cTM]ʺg @RʤTgAg%08+>mX|0mvCCd?]7Z:ur rRFa\s΂#1[i]$%i#gJMԎϫz =Tg9ri,49TM5V_$_y@M0ч=́O4$xVuYbF/ 5Tq1ꄀ|Ͽpǻ 6@@m^cHN9k . d,&yfk:;hQFGä&$aW@ H4{NG t[/%wFiU "ת]UĤo18׵\ @QaԮ&hj)׎W:e}a\+@a.Olgu(C =F|3p7Q˦TR~.0LsEǞxWlBs3w6{MxF}zRA:1h|6:hQE~+{=,Ql9cRsùnV "K 4PU7('5K. c |qmԅ"^hJ'㨷P@|,D.Иne/"J4Il"Tkf~]jTUVܣaVʏWn(hyn/PB|ĄpQx`+oQ̡('!yrS:T(YBI1ӗ2Lu%P5^di^ U9JQR5}/+Z-rGn<1QkNKⶵ2IkCajUOni:A난qkHP8{9CߜGqMÝ\Ў^CHQ2[/go;ia5`&=[e]d)6uAQTK63Xԕ"{:d>o Ni*_Y .2 l1χь4 a]WѶbPj"Ȩ{"U8hWQd Of:+l: %ظb%L2g%,q BN4xCQOO;q!\.>WOdvaWP6&O^q#G iD5bS=$h {Svh P!]/A!խ WPSNdhioaZO[H[G#x}=\`Opxz@'_`&SgĶ;dpH" NW1pX" +*_8~2T!?Op .:fS\NP]֝8/{!բҚ8j_]~>;,/?IG=%8nyC]RXp1jX@Jf IT2ALK Y)1x[Jl{k@e;%%qmw[?^Yis'}d WD#_jĩ dꪶTQ*?^jr#a2t*C8&kB|3{f)??w{{&_h4HQ8ge܄5k?mcU逍:6B KeK2%0kc"8/96A 30 ASK$9^=y`* Oi~6<0t}!ݺg5Y]|GVbV a9(E]杂ǚ~QB\^ Pt BsJڡV ]T!(}My7u;ݓ|>d6͎'ion#1s;|4`tJa|D,^=k+?rxtX<3k gpₓu{,kb0O`)bS(4H`j98!pHxybt%y8a{e1/kD{"!":4RcAIv'!MY%/4Q~<>lYQIѽYr"d9ݱp*P,3ǡY(BL) 04ð8>L-0r"+8[_B[0 N߂gK@6ˣ-7ڗN,0;W3ėoJ:lrT=52_ f+iv*mj(!(Q:'$g ";P_s 6Pj+9) KGv=^{?72nk&lkKjV"1:rgqmmJG'|/OF$AVBNei~,2WkTOh4?/,t'H}x o3L߸uܫo)GC8+GԵkx+ *%] ]Q)1%_7to!'Ṉ;3Dn/ZGwm綵be3+!@ z`DpM4v7I{ZOۊ- dNs)V(#%NHڊxP;j`Y䍃 yvtru$mS\_6*Xۉ"C藑]R+k~hltOvB,$&88:+]3Z/|&D-$LQJIXHΧ%]P3{3#RX:UQ3Ad;Nz ˚t9IaVgpQil6 L_&awb;X|2X$Gy.ԕS6m4DH_^e7^MU%xsD 7oLǩZ9btdX~zP`5$=YÁ/kF}_ Xs`9a4mjCm(pp@+QyUn'gqLM l7_R>k/8R fY4'}2Z# +[MIqm.U6 s6?ʈ?5Q(UBoIVN'K;\j;7yТƫ\U_D-oPOr   Gp˷&zC1D4W>V }TKa&/1+mb\}(v#;08 9&^3{n^T+JZ Q-|ItQ#A-F !`XDŊ̓GUIMB5L%X|^Wz)G㛻6BaR=!ME)MW&a=j(Zz+ `HZu= .ZJ&WLG%Jl֠ c#uM{wZDž?lLt) {qD C}d{i~!sۀ6pz}ULZ^/v%U'CalpT`FDpHLvU҉K A Z͆8~"ܓ o=[4ڎ.OF:›W0TIrv&B% {4$"O-vJۇ*k#8zR!3+p9c-xOkx'9|iH۷Vkygv~"E`(`G[_ SܹݜeҒY/aR#(Eо5֓J 6~FtU3s34D |,DX9f= 2w*1[CkBkԛ=|AQ "`C p&zk%Ptc9!ݢB7c4H_UFG.؍"9t'\m2-U} F~d8J2?2{g/ *61h  CPnQko3S>m.h)0~!Ɉ 3K$j4=)=bKo~^Ipg4نox"Rڗ~(Ƴo86nHUln]"j~yq\9:aB[5|Su?%$(Ue3CeN,gYZ  + +J )G% $Timed_AutomataTimed_Automata.Timed_Automatadocument.tex7zXZִF! 3[L]A-MՋhvG"uIBm5mYu%Y5y\cb:B]]4VK\a<,'gSjҎ X_H By!lj ۓ#98S>g BJgm-_pl9uN%DW>/*VdnyuNDz7@R78+A&~P&cWq\yfBSz*RTyF7@SHT9WꮉFi^XMGj R G mdkն22o>| eoiJbV"QáqUHdeo){`ctF ;~\8E$2(<-ȸw!3TJxg2⢓Sm33indޣ LۣzAʉRDAz \,=?gg~=6iQ <&ˀࡧ ||YZ/F%>)-_$!OW_;kceup˘e[ 膆~=C6/Mȣ9w͵`̡gn-;?G0яZ\D ă\ޣDz0ɫ C%y{"bAV,WL>}φR5};[,s;m 13zUv0<(:x^Tە4^*%Ο1v 2/>ǻ~+9ܺl{'k1 dH/gh7b8Gd Ҭx^*;/x*>@OE1(]\}y7N쏜 _cgrf_ Y} g!q /Ii"I7T5.=Lm#jX߿IrselpN[%ѠIT<|2%h{q(kmf9a{D%fQ%zf l(_aRR4v:z\n_ l첅;&R&פ2 |C,N@=FNykV8s샜u{Y%aj"@ḏ[:mypb1t599MkJ6%.T{zD)j9iLP9 xHl!"M4KX>%ej9K*:ӣ̿Qy +mF_.LdZpgE7u%eEghQuA )O% yɋ E}P 6zo2ri.o~ꌥBMU:RD DhvGi}t[[-r^i6a>LqF5XqWqRۿX V:Oɍ_";$?\M 3).^jXf07/7>?%MLu Qe; ~Wr^-;t%vm9$<"l443 /M+*#ʙ殖`3)տe`B#X)3b珁r wވ!ƚ<I'TSĂ鶖FEC;YzZȩdjMy dR!:(:7]VƘ<:qyjv@΁#d 2O{#8qg])ũ+aҝQy3Fe-MTͣM){2u_2RTj;`H6X2] UI-r]7[̈́YB="ZѠu.AwS3>s$x#;A}噕` h"/Ay6F*[CPUQoxf {JsJGLFeGpQt7UU ze P@Fr ˭ޟp\RzASKUfΐz|/O("Sx!= 8n &xxd:O7|c'3UX3=jo$`޹{? Q P)^N ṷ\r\3 :Xfۺ_B cx-Idv]k縷*9Xl {Q%DI=60M6'vzL-2m h׳9{02f XB31l0;%1sƚaCH\C k/7ÓgP )x5i_O PM0-{uc!#0FWbdZw Ƀ\`3;[EwBPqP Vc}(|7 y橯fq(`K(?\J5qyq?<XU е O!gYZtm}b7NB[VJZO3&0^5;чL \i6fyr#OlV^:t|,޹ߑWV@EBАWMtNQ'-(u H _f/|v0ZXAO ylV K[Uf~v?⾷GFo߱W,ޛ!$y5(=Cy'ƃv⤲e WP;;/SEq}Iw#x11HJ׻)6(k[szk' QԄ7yk=,^BD8K3S[ ç ݮ XΫ6wu}HkKLjF{Ϥ ɿpa+'V ̎>$=TuǻS.{A/v՛ϟSH*QDj:5pU%o-/qZ8qK+Jp$7O@Uӕgwhq{|:#LF_ڵk bUUzg3gx]EJ}R*5?Q$HlpOxTQm jk5ʆMq'oB C e#ղ+0 AfD2w!=߆cq>Kh/-M ˪vaN%/2:fH}",R"2C.Fjח5A{rKq"#t,nG⹘?* ˩3vm@E8Zǣm_'K]@B;|mxXQeW;`S VݏrRI6dOqWwӃ. 9bxǎb~"kI36 q.ǂ Wu'ˬ8 RŶǾ(xB=89 ?v>a407$|KgyR;ǧ"udGmq,DS ?ڧ"-`<`E8L~rUk`~{ni_>+@[/"x" n@r{|2M R`S ݃>$s3\#㯿bMQi ^f1; 5U%FHR+}Ai/Uc J _xp٘[ךQ̊ܺuLnt\rAFxn;\C 80{TfNx^2zRe}0nfKX^#얗Ԉڠ}^ش8QI;j_FxŎF$wnϪ (]L.o!]f9ĭ*1d~AJE%"oZ"Zle CizAWW  <gFnTച61;HokquH*^s(^o)'$E>~KR,z}HMoHp$|2`H,$Ƴq4mQSne)e*&ZSkQX+wW=AڹRĪ"\)Ð[owr۰yIѳ _jFt诅<4uk#8Cf̘2c1̟dy =%L.BNXjXRTn*S|ӹN{'+[UޑoDXh;#0RI5IX;>Fg>l&R!ٵ> y`~ym)/]&"4?@(n1&i"f[>.ceisA=cP6PD?μ|jT0N'2֦d;+=q:tRo7VuP/)(}upg+]ay{C ޸NMPːwZ @ǡ v;(xl! 2[|ACX+5];Ql>*Qg CPc~**d qEO M+pSfg ya\bΠ 037+,&e"??⃬z oDѨ3ETHS϶Q;jKaúA!4$]@R%M, ꂲ@puDҔ>-r)>2gCXZ2T"N>>(и| e4E te608k۟`X5UT3$TH$Ѱ0?(4GdApؙGx 1"MxnЃc1܋LEzNPkMaՃJ@߾A- 4tMMFˤu%m#|=Ȗwp%Ȱ0} :YC~ -Pd~1jǡyCeփO8Bɚ_5e#\`+ N i7_=v4K8ܙh`p9f6𻠞N?Lf*hs9l.Ŏ;A`ܡXmGD6rq `A{@}ԙ:8³ >cmIF#21,C f*s8c[6:zQOU¬zzW HvaghsqjuwR5Lqacs cu?07Z2u9YaPbteqZG2C온eюIEJM8ٱss$7ꉗF]^޹_y,|ySv $;\3ya$-sN /D ;ˁ{V%E*R1+awIfl Sj\'*Mw&@?A.NX:N6eЁVf<X[NwwTW),8^n #H@:{H*RzW'r'="r$2~%dȹsw.չ0JkFtd*+ 2S?ssvb:@Jb3A0z lëRְؕ2Iom*Wݬ)67ӯob.GI:? 0E_.lI74rv:4 iL\wFpUE6c21'_OYTI0I ۈ'K2-A`X񟴓Q4c]ZqSL(t2`k N 3;._4hoWhWMTӀmE{ԔžB,BXΖH.YY,=bxendQ}=i(QRB:3 j̗b9zMi7Y1_$@F[iΠʪH @8ÉO6=$~ҖVBjU]7YEa4>f$7 {OC'Sbw BHD G _чvT6aBxӆS6qU}\#B*{_ny(+ jv<وOC]f5XX9M{SgAi0{NpڦpR|DJG TskӘ1C¾`XV~תjoSՆJ_}_G D3T R:֩E3s6aAMylX򮢈)ҳSwQ4}ǝrs>f Ozav<=i3wС#l I%gUWER$[TU&})%EqH3P#r hFb_.~-9+3$b#Z;R]&%!A>͚F4?W~'rpbTe,?_z?wsm%zu;cJM-D$h-D ۆ|zd4iX?a/E0&EqyXP k&;Gkcй ˢH:MɿPYQ{>0 A l.=VgYZ7zXZִF! `U]ŗXiɟ\۶=Lw Ts Cg[p%C~)}abE˽YMTը#oXhu(Yr[ M\Ĩ*/Ӟƚˎ:{XO7]# XSrSlsLxuy]{2t%g.h \kAs Kx$Z8PNGz=].=D.:QfԖb*m/L,Hj辒vOњr]Z Oc?U=Xȇf=*.ɝe5P=u|>))?d,QdPmB PFnDW؈~1|x:gYZ7zXZִF! 㣤']ŗXi%; Jc9Ǭ {/~ZϿFJV*1LRvH:Τ*m"R`XNd,D/fż| Xԥ(R;g93< gd g!c4_gHsmxÙ%+8ߓ1q5L2ҵV:"RBYoMk=Q&N՘s0np(0ua4JW"}յ=:;r r'79Fsr3.Tb;کY `צ4!m\e.u3acqb:"2]1c?`)Sri|?j VukBP|OOGK"m=Iݶcx^ ui~ ^J!rhsSWuFD fo>2ƫ{VMDI>o-1}o:yw{vgGmH AJ[،b}Pl3)+iuKܧO 敪`t D{bѧ@Gs-1޸e~: Gwrg K Mڶy}/T?re90lhj羯&'a3~YM<r;;C-rHoW{ h-/R}$N\ ;BNvL2)I9AɮKyI4X) 7 g[H-DHlJ0-aS_gfv;l/y/ Ė^VDֆoP4N;k-1a=(7^w,xY()srD "1;F#n&@fp}JX,ߧ"dҽ-|3rZ'l;Q-X) O MF^,dk2bJӗł,3U!-ۡ&; Yiё JúͳGg& n_f CE*ȭ*c-pDp` ZkE`Z{y0We3>U^2J /`[ES7vsukȎ]&全22%gN"g4Qm$Ϧl'f--=lnmF(5l L|> ۖx2lwjܮ#O;}J^AN2=BP[Rr++`ZxtAFik/fMP29C]2No,+NK*x5EG@\B]C$-5)zQZJu˸Lw\mܩ[{~E}.+Gpby*12~lB, =SD?&#xpAu4eE!!*SXf2om,-H#J[MJ=&Xɷ|%ѻD7^[-J% lM_$NCJ7j̡ (ҢƀaKrFVn?W$ByˌMdNe2r.?@gp_e4eE!gLh6y^;)crGjH^y 69AkiXM1 v HY,N 3gG8?T, apM,q%?-2tC*wx ~])AJK?&X*<<+R ;#zIy [_a~Non cCLHlc•6%m)6+S7-jM=O{%W}Y \MtA kyR-kb,3 6x99}Y o)=);Aة}BuPcIζu-)٭><8iE)[0<Bh\,QcL "N($o^F)l KrӲa޿KɓCg ̼Xnօ~ˮAzT`sN_/:[c|8 C R[p^2ѧX ~zau{1ҥl_Zo(5k+2;䢥ZթU_ah$dpq\X9ps .kdY*jDŽ\]#ȏ 1a;>e %Rmj%Rx.wdXB|D.ABC2;0p 0E%cl',m^rׇiLNSU,KVDF?l}!ud$_PwOg8#.?5dFRY6%Rc b=o|wQ5xkց;%ˆ|5F31]). iMx%^!܋5b][Z {WXPp~ ,wE^ǎA .r=)D6͡f/tH>ߣ? ';uO^l|Pzt`n7[ݪy;#ٖ͗2iQ V#1Tԛ3ۊa#!N<;z{>vʹgwTG oPw':\ۊZ/ԦPU]T^^ Vx8=<&-0܂zܝ :c9T}ennPiy&0svTI8{m/兀"]*_Px<Zc^tsh]x|\;Er'<rc.N"u|3_գ5BZBm0EH9̲znyPH&A}i&G}0nd8"g]&Op.uζ"\S"s>(|V,vbĶ̙Au11bR~2ɡv,W=b/bh-*֭~oͿ6JTHEx7t/V1jtQWGN]`\KQlo^ Υ \Vͼ{$_/" ,d4 bk p:̄;كcL-z?3z?GjKm4~t( Thy\-Ny><+嵄#o'<~ }:ܐnRLU9A9{w22H+z| џXQ?qp-v Ra&F(ePs+Ĵl_O HêciN2FBW7,GFls5ۋ ks'!@KGf֥eeVSBF>'tv-io5:/mqXZ˅|:N.֞FPY6GqGQtug9Q^ "0 s^/%iJ+]N(oD erxu3.pJÙda eCΌTsT|AZz 9<*!zZʎ^ɇ;{f;!Ip.BGϗ"%c=ё??<2Vw--\³c6e۳AqQ>j2F~ Ѫ_QCHt sU㫆1*|,pom '&xuC|pBqxT_Ji7=sͲvef-3P4Bj&1lm8\ :u5a(c^ j\zr ҟ+(61.EqH>n8k%tHY}Dc5+笂U]¾ 1Dn>Y(ucsG#.1새Yo3|&P-8ZiZedS Į(A_yJ^ j>^AE. 4V7%?* S8FsδQwiz.a˜eTJ2Ι1'at§Tpv0Fz%e|ܹ0SJzeE螑6^j}.2ؕ..|@/ALT |yB$3Fij Pcd/q ).]uX|ƋP1HX):$+ͨaۃlxmZ`4a0=*]z=ӯG'1(s%TMR( m6~fyh ]pT;-#NTJEOI5q%Qvw0t_me/1u Ԛ9 Gt #<}3&AFSbה4%-ۑy(+ƊeGs~\?Aˋ*I=nZxMG/.U"d^[AUZ!OLTG,g6BpKSnllyK|Ľ[g+d+ ^Ѹy@啕 510\0j0ױFoz%)|8t0)c97FNts!LUW@[Lz)t+?`OPcO4MpRh5&XM)i9Y$Y헋%@Q|\ f䷎ƣ\(b23?tF$,elLDYf_E bL}}&/#0 xCE;qLqNIKyG?q)‹ =qԙDF cFI8p}%_dmc P;,eN! ٵR![VO߇%68VFۄX# _ZЭ.EJEOGňSs5yhf x2Eہ[{`;]qcOgE액}sڷo .1ݧѢSDlfRfMp uTA~V,4Xeҏ!eʳ:3b[hh:mrcF?m84rjPXj(c'; "PnZSYGDtR9:jW@S&*jV) B{|М*4Z1l?NTG),i,.RVjW zmU|L/d+LXdr6ZK(s,rn1/sWtO Oip7)g3IhTM@񢶢 aE_1 >}*ƢܿGR{ف+(Z/fFU&M|/t=YEcϾįa7E|,j;[Õx!n{I65B*>z>C(y?3?Q+BXLŅ8Ge=M+6AfPm-@4C?;06 AݕR%yjL*a fV>DꂆKwV[e&X Nxg{:`v8аE/nVhodgs_(FZ<\D[NAU>~ fE\bG$ƶ&L ‹qSkDDʻ)bB9_(,4'BuR ' ;3?nJo5=.jB,Wk5^1m!L;uYs,@Ք~Uɭ2vl)r&Җ쏇{ِŕ -4,݊NCO4&gYZfd79b7cedb849207d7abaeff9c02750940baf2920a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122