SQLite format 3@ H .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 jj~)x,T ]/ Timed_Automata:threads=4elapsed=138.287cpu=397.988gc=9.5727zXZִF! r]ŗXiɟH)0!h]?W _QMf icĻzܷ+gwGMupo욳WpGEnzC\| ٥;W+:T >i] y]qǨ~d6n{`ѣ:u} eߡ_\sk\f^pQ kWŜ[<#a׈#H`XC03|CL睔]%9 Yj`,|6w{ݖ$ $,h`s_QGm/׸}o91[8L}`Rc!.r-0/3|N~ +,9^0™0ksB>rTk+|@}%Y}YT`Hu kY Q|7I.URJذz05G&Q: 4MJ#ԥ_ShO'v,t~{5@39ye,:$]p|*mf!@ h2 N:6+57sqD{ςb6[dGu҇r`G1^*37#CWQ q5/g*~2nK 6}_ ;SqUl(1+3b5:%v;ޱn\pz]O9f(R(7&J(/9t7I;= ή;hB"JCh0, w~Uk% 3;'ͳq.|@Ob!ll{TWB^T2$L;wO@ LFtBQ1:*q%8 2)Z'|5erȎsu]mUPKRpA] L0rfm$rQ | 7=F4~?VA µE,Tln_|]c^Dt%ymEc$+G 1+JՖ9l %HҸ*7)a.W }-Ԛш_h#n6Y4b Hz*U}&1WF

47#T:z~h7ԓ:Zٗ} M⯌%>Pt) 55l2yï]~vpYꋊ\|7$cOejd(;v?iW`w Ipt5!2z&v*A' ڠ_6ڇ.mR:xaD؛ؗ<bR-E ) Timed_Automata CU )A% 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_> = : 8 7.#   v 5 gL A)O%Timed_AutomataTimed_Automata.DBM_Zone_Semanticsdocument.tex9)?%Timed_AutomataTimed_Automata.DBM_Basicsdocument.tex @)M%Timed_AutomataTimed_Automata.DBM_Normalizationdocument.tex 6)9%Timed_AutomataTimed_Automata.Closuredocument.tex =)G%Timed_AutomataTimed_Automata.Timed_Automatadocument.tex 2)1%Timed_AutomataTimed_Automata.DBMdocument.tex H)]%Timed_AutomataTimed_Automata.Normalized_Zone_Semanticsdocument.tex3)3%Timed_AutomataTimed_Automata.Miscdocument.tex=)G%Timed_AutomataTimed_Automata.Floyd_Warshalldocument.tex6)9%Timed_AutomataTimed_Automata.Regionsdocument.tex;)C%Timed_AutomataTimed_Automata.Paths_Cyclesdocument.tex;)C%Timed_AutomataTimed_Automata.Regions_Betadocument.tex=)G%Timed_AutomataTimed_Automata.DBM_Operationsdocument.tex9)A% Timed_AutomataTimed_Automata.Approx_Betadocument.texa}QY7Anߖǎ.5#`D NcT=c!w ƶy%\6΀딽,3 XBMU k{]{Ds99GOJvƠ(Z¯A؄D?Caee?Qw/ҧPd,˾m}x!ƨo(@sL)9u!ņN P.PuUuidԮ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}}!}_?~闉2UA h'qFHS8Mtݭ8<t@U[-tjb>bIR6FY$o/*@, +4*:墀z{e22kZ/Qa!f9Ï2֖=.ǐg{QEUЎAH[M__؋^Pu+ Ē6TY {;\Lyz& e^&uZ~Jr(E'wIW¸E)eг"w\h9BLM4H 3fl{ ) ehi y)(`H0jxn1 GrI k;2Boo<6-`nBQ*e^ @>{{F$o[ci>pG8_Eˑ8qjK!m?l%I;*v;V8پsfɇzVK,aˠAv MgbȒb$" t,I%&ʸ`|5g6) g|0@fpi1 9#ُ+IY50rt:DDxzJ՝SfwMuZy0EԘ"Eb@E=]Ԡ.6fwSo3΢xB*[]Q 6zb$caD IӬVX 'ǹ{#v<7je϶ %fN5VKѧYɹOZ@]}]pŭXRy3;E߉cM@v]Bm*t?0n8,[Z C4,Ff+2i6\ZӈBn3㑁&` d'el/"hfMaL9VrWF/*xa|b#9nR %-wivxFX]wS ⍛MqQ>,Oi6R b4q%|-g`˻W%6,@Ib#|5KG֑ Ӿ6ae{Wvs =~dFBVzϤŅYVE⺩]U7+~ N$oe/Q}5%=Ҏch-Bփ+~VYRG=ɻP / X [[1&,`L+OU]508u4gh}IX>p Jcyt в?EwxI6 8-akVK t|M k ]MeBgnDž8({r/J y41Z`]Ή}0y,K|W,{mJKژ(W_31)fR#c;㙏()_03tKث0 XdG Ğf#Ś&8Z`2GG 6G,"AxG(dE- ԕ"4HrDXGפY>j!H[.}}"mǪU4 mϲt)15WDn.j?-M͛?kt [s"A͝R[@V_ф) ~ |\bu! 1e(E`ۦ#;/Ը`^Hbyd4j/ψ5;a j,m!DNL01f`{Zutwpv.CKM~&K6Kbrn pW[I#xHa@륇Y~|'%bQTڋ;h#`Zgn5DjK3`YꌒM$Z  ~B+"y͔TWY4b}jxL@$w@VCю@ HZY5(g"'X1Vڸ&>c'"D26\NWFpo|;n<E_e~W NgTk%ݳXȍ%BkA]jqc ..N@4Gh%|Z?542e^!i{QGqheO Z4LRP)TMb wИvt9s'9Ғ(C"P]qqgpb̂RV\6^Z@0m^z4l{DkZ"b΢r8{) KAӇ"=6 ϑjLt-5=FR-:WueOeJRR,(!jYp2Ǩ -Bm-5'~'_ձϓ_J\D|l`- T=u L)@,Lҫ;i t;H7eʘEfF?#hTl.jckE]Z۱w榑2B%5AAp)\O:n92!0TO sܢ;-k\a7}@gfi,h-xU-Apƿ2\(tdu^o0x ftYT<=(0 3CgRB yĒ20(+e4LY:U Pw]'z`giX#˧u}}75 ˝ڴ` *̭7o .3VJͬ'qŚ@x#ЦXw|q:1;].Poz3 ] K&fL͇G8Fn(2Ux)E4# *KeUyCM ~p 2Gq?eC/fcֆҐTjl|XW- p֦'It:gޭ25t\/[ykz`3ݓogY 鯂 s sU: 2Vfm_fEQ X_`־zvīWM-js6+?ܖ]r ^17 >Yu)ZB 1GJJYcbe<4.\+;_zӕ4M-ym> :Ju:ueu'$|+hyCC˄TO&W@`7!?g(-ioɽU iFJ]ay^@ƜJK2y}TP[ߴ(t݃0![PSG'N]9mHc37Z\Nlͯ;}YY0A-jgԝzeMSácy,NN7_gŐ)fǡc1?Ym=}{Wb/7G8v!2u4aphs@2 рN@"^gGҸ ߡ dS/?v'vB` z 2v<OA/G([ ~iӄZwufBWC1ޑގ`Ƴ k_^2PcqQ0M3z]XY,orq(m r~'6'ٷrQۣMa6݄6g{RZuyއR%~(y]^ _q gp: wpmB_3ja{Zq`sY+R|.!؍ ;dw,_$)թT4YA)Sl;o.SFȻ$V՛لZ uljq-fQ([:g]lw ]ȹ8> YQ,Zs/hrf6qf'9a,wFy&-!fp3 jzP5e5=n\D_ BePҘ5B]-I9'J%oTҁ-*P{VFəuiB\=CBaC$].(->OZ8 ںW3KA=ߖzԩPBF.\ExUG\ޢ>X:n:l,^BZRd`zi*7䳠JvipX4Sjw\blK85Z7wA`W Wo&}J;I##5> \X)J߬>$X~u<0BŸ4;;^K2׍x~w2Uc CùsQ,fbY_jY!q <[yKAMZcF,,S~A; _g6yc&"kq҈wdm.8Vڢd"~4ZJmsEn&iyoeso%flD-6j~d. X:h-T11s|$84/IgِȴvRS=4{jyCN&^)tPbpݵ2Z8!c4ІQjʗNH:*̒^L:Zo[?s & Ǎrޢ ^#A:C;(P>=…s^R m'4/ԡ= 5B:nq)r}cwm@P5,Wt 4>ݠkKʂ,SOPYQYSe׸OUy fW5A;p$/0y]k_~o@mQ1B/~g1N~fo,)- dz%CM k(,}iIBE&eD;TL[<|.Tj1tO/ͰjJKNpp,k*ҏDbMRBio& A zWr0/L;&J3mi.k&fLK晼o9Ch[rfyk0Z1ړiw\N7oՒ6xf=7u^;#&MN9(+hbѽ.$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&Y<5,ϬQNTWa[y@_ 0"-q.t淽%)ynߎx+R H,8 Aܑ@r"dqPtg75`JQ%b>Rq.+FW-]R҃9Rp pw󼼠H[@kjJyA "d 4hv|LSIAh On7o<Xt>+%B\O\DŲ͓8[^*Ly;*%=).N"gz5&aob^R"/_;+>&[6(%^ i )9;H 49=ۀ%Œpr6!4z  q@VF6Ƙq=[u׵\ҫL,d#GR; ㄎK9O ^4VP9f! #Ѽkr213PB:VU̿Õ!sC_R\Va5eel/A 9=_>AuN4 r^&Վ>,Ɋi/@6v*w>=YŔ2W`\gi|i7 G/z䥲7M^0DE>8D@Y Fž;5GþVgB,sov#2Y);,x<,B].Y=d E2h%!3ʯeqmf1rc@Sɿ3"9 ln;^œ1q&kknj+ 4Jܮ9w;JNU=1R?Ѿ_;9D4Bg4ߝyI[8h9B׳O*"PԠ8K4|~@;gcqR*v.B #"2LCyS㴴& g?FgGվ|BSH PUewf6_ڵ; Hk;1BF HZy|l7bt0edV& '08HPdŜ]RnU!><1?7Dfl?,nU>]EB#X dZp#-U>!|Vz}GF R>P"0p?oO~f%z>wsp1S9SתԾf#*?DM RGT@;%g /??82yC\B !(ݖSV1ev@t>YsEAJe78!e]zHFP'v򄴿6HiHlDD?UO "rNT2R"Ae3<?),ZcqAĪdt c>jA2c+@|%#xR[L3As1D9ϲbů++銲:#3nr86@^eѲw{?J3}| l_ Ll`EZs{n]K#^'oSp@qU( ;,6'}W/K ?1?N76۲*E:vM fQ3(iZAWQF^uˋ5(- 4*}o4-v"¡=[Ӊӄ0}ˆ{o #7p՞fgʇ lJb0ӝxN% Vc[ţTCŽZj"EC^8ܕd+5ǥl{tv~ƒ@uO:y3$BI*gKczd2DЌ&kRAW>]ؙ&)bn/xMeE.TV&R/.p#iRߡð[4oݯ;,ٝݫWu&7-{uOpW/j]65MRJJ rwV#"K_/_jm<-D?}I-.R[Y$Y^gI5I%kfXm-Tw+@xW!+Ļs뇸%CaԺ6 FQS oCY㋕.Vuf\e07ч B.kLd:{ Z͠U pe7 }J$c l īIúӆ byjV\vC^}&Ĝ"JwRw"ٵ.S,"  r|s1k/<㣽}io@eH?p ؎T_6~-^/-6@4l#s }otz:T 2{,g:LO9q6֞O4u&k=/GYPh7ݔoE^Qv&K RQ(Mm#3?𬱋BPmjRz:CԎBUPw?pQ/z 4(kB.%@ ) yҙȮM%s!&l%\@чCE4Zr7~K8V/]Viǿfb,^D&Ψ9:z OBR3,4LO*֩\|Nܣȫ/XuKҪM= 3|3 9 L ׶C,]as%4Sv`^;9rs km1FL^p.NJ@!R/CṑMkS+5g:.#-ҟr$hb1rԬbh[N͔ [Ůʋ Oݩp_AwM%|}-ZT 8#9Ge[ A7J:qar~K+LkUrop礥q0 Y%~>LS)3oDo e_ap.I??{r2\CEWA!g,*:>Y3Ě/7,lU|laz],aAq1')_Psm{b,Wl 2 3%ރ-|~ xc u\k pJij Y%MZޅ Fi %Xyqnzh8G7 3kFqj.T栄%tE߉o͞L蒌d"g<=ycށ#@am_Gc:Ȟ9YO'?s3x&3y8uXcjE (V-n M4&Ў_"d>"NZfԭO2spCBYOR'HZ~2P w%Qj҄(AeOޖXCoؕʯ\}}Œ$ <^YG2IU7l7%Vâ{>paduh"d3zGJ# iEҏb;K{Tq^6P|5Y85p$I!2g4ɤs( γ4rq!缑7Rq0ˡR_]ӊQ^OfBմKʡ~}]UqkYȢ|ewZpO +u@n#v5Du&IgFųs0 %GW&aOVet}ۙݠ߻o84U:]#rW42|`w]KBU# *k1q-+|kT΍RLá#> BҖwf{=j~H0Z] %&NƮ CC5l2qh*r#Cs&O BMGm%E"%4/BӚgT_Dʘ<1H?RA$,\ ~8IƐ3_={yrIH4 \+N >364.?7B 0[ݴ 3Kn#DnQ[BO0L~-jԮ9*2Rbxmk<3nw\ZAz9cM}ysA:}w*\;@)|E9?7^DsJ?A3'|5O;J  8nyoRh9fnGu$8^wIHv~;gDGZS{^*qE)Xdb,muq_I/H8nY||O ®ȷ0c⯪ +o¬t,o%k(`f+NdLXFTSK @Xsb{o~/#Мd4RW/csRy%[]^›em׎o~Yg RFQ.Jrk ?HjJ<3G3B)2(So9 *s/5@+Cŷѱ/R8yjQrC;uږŒ6 ɰF pQ|T'EtFF +)У"_[Ψ^nZM℻ lTp^ Ll# tpL58"T*2gYZ U )A% 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ًE *<*f )C% \Timed_AutomataTimed_Automata.Regions_Betadocument.tex7zXZִF! d"g]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!{Ɵ`  )G% LTimed_AutomataTimed_Automata.DBM_Operationsdocument.tex7zXZִF! =|]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ܕXtJkysp8)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}^nQra-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 ^zxפ9J3, Wȁ,~ G殍b*r M'i4 Kcc!W*)'qOB1 Vw= }ͅߌo%Xy, biTUm$P׮1mx ִZ\$;"uV./4jgS2lHR_.MtqE2e.@HՋ/'< pZEGpgYƸO U.*HZg'44 $ScN2נ=xVvU gXȒ^/hhz)YPi bPdܑ CvS}*ak:mzS= ~Ԋȸ*p'j &ӾroT\L[9dM~c5-2';ʏND/݂{,iVRdc-l4W 2pf`˶T様r`r~ [ ]V2j볏 X<;w#_ 2!pX5aOPA@I!7J(r/(v0[F Hm'pꦱt) EIrϚhyrvS!6z4}PnG#bM^ =н|ڕ }Ls82߀-%S5,'*JlňiY~V%%FHޚm 0K:[GK}k#YH'eb pՃ ,BiWArmRsֺ_V ۔OiI@Gc_l)[IcYݠx=l}eg&4\qWL/Q$ _0̲!Ldbe l{E~Q'j6 :vfLZV AH0E<϶9q?~;f5I x |11/+7b!U5vcxWGJ_#}z8qERdd=0l=.w: -}> EI c/yrCvۡHx3˧+\A3,RXư 13Vpw!đרly<DrT?cĮFB8gqwps2pSQ4FQJx5(#p-IWPHp =[,o4t2B$m^a;Uu@bQRivp ^5Fr̛L-ٷT@+Q^0ւnEPv1܍k- c[E`>2Q^+T25{)ۡpBpn5&"dXtrKj;c>Ll V|UbKlW:20:{6[_,oT.% 1m2Cct)@]mq{R Rߣĵ} &4$#9vvFB$pDG<\` oUhT+ ΢r}Qd+6_3ON\Q|f')1?%W4h\\?_"X;쨳X := )T~:Kȸ6HE%om"|HG$|BBiNgRttEJ$klxRB[5l>%oחvn>&ꍗj)DS:1rs,'/Z33>`Y@jq9@3ƏL,7uڏkب"R[Fr9r\TܓL4-:'| Q@Nco|J23aYc/pS ;ԭhZf&K;&{;p4{ G˸Az%Z .]!S4T5G};S_Ntb}shhY.Ĉ#"9*Y?4rd55vݼ_9Mq'N2> P6EfSقK!ڇU OO8/%ͻId .&6ƛ~ր! WRB%Bg[ 9(I(}LEz"eEQCswc9:w$RҚWn7}Ռϓ|49s *>N+1L{O$y :FHUSH,G2p/Su Kk7}{Pt8OxRc5^OV0["IBL`{x5W'm)eAzh-|iJU[`^ bjj̐"քJ:0oM2[#06@/ òqǘ'C88JRI|l #Z7bD~Z?!2ב4.vAט% oR:tKsp7v33Pܷ1d<175>^p"ޑo0hYbyz[㌶?> y"^/ \T 5i^4#}|O gBLTәi= y27"A瞳ȯ509 NM9Uɓ1h)jbN,Cq-pɮxR?Zb_:ӈ[ 0 ߙ_3wRxLDhIͷx@v[k<=D0N 3_5 0X8FۈҤF`Wxi{@ßTSb2v (op]!3j;:$bI?I7DKARFH+h5;`+= >EhY 0w2\+&P.1R f"4F`?U^[, 7/SOV"~cC=K[No/JeQnwòD|l0çĘHtRkmBbF8|[ׁ?`1x2=?Ǔ yu'6ғ)z5+=K,RT$ߧeFⁱ.{q^]rYc~DmdQBEIe/dh+~jB~g9읦]irj9:qqro 9(wj+c&M}m@Y LB-͝$q>L=$:d lP6Mqf+zҫ7:- [VzN:67NOwyϘ4o3۴d aUjxM'~odM ouo`odUk._Np/1W-GuoC >Jsam?N{`'{ #\%Q q4B21EǚZ گ}i ƼdNP^[C0wjEg F(/n0 ՗&26Ce難Uso#7.=2<=ɁCaMk󘝮 K&`hD"e1Mvs?VƝw'Ckf[l$%ĆPePޝ&h%4CBxaxo*[Ë %(NSgS=PƀҽPs~Q4 M[ MrUFm=!}%%]ۋVyH2Ю>yuSi iK"; 5$]1(!$qY7 I숺ܩSZ+}4J*j(kԣe*?ʚzdC M=4NJy W$[$DSgO"m5z㋰5` МAIpeG2^a QjN][4J4Mβc;<]nj*ұOee9JTaOvI?7$T Dz %E}! k!y\N %JѠ % tI8dqB^jhJkPmv3j;`GN.r3qՌwȚG,1 $lcKӭB-)mXS~pX3RIJ̈,Ȩc݊O]{cC9BIJ Q"}Ȏ:XIa†-Ƶ~pJg~8.;-wMerle^7p"0 S#rAzlDd+EW8Ǧ$Xh<({#vA;4g{:7PV߿Pc_n}i1o=@Z=P|1fNuMϓ~5SA52L2sSc;#w}LLRsWF|aER7c83lur{W3U@AN~8(յ"P ;zT2 RP i5^銩^ rb|o=ebL`%F_EēǮv9XO%dP*Yn'A*x>g7!M]5tz_ICrYuF}"x ؠ޻w3_wg֛a(&xa1JŴ%l`|q ͘DŶ<\ݺl'6XB-=uQ5(]UȝE"n "mZPI,/ުE[{KI5If#|ׄdF%x)fMp%M5Ƶ_:(lfzGQ1 "(R(\ `k}wϗHG#+"\7-ZЂ{]E7àXݢ8r2Tx'59H|pįZ6i&"?-. PK4B8S 9*XY0ovh?/Sh3peo Pp4#ih UKKǞƷrsky!5H͓Z7fT DYte4R.I=3\}\~&br}|άڣwHbyVף6"f1HW:t#g~94ZٔC\e:}g- >gQǓcOB=f7Co{0SU^ ؉(dr?|!a%jV٤wI9.a c/׺j(J20Bij*ۋ ߁f+scBm s$A^ώ"" PK.:;DĺHhl[͔4~昷s1y@!yM#vLV^,zc[6\k? =1`e>x?t.0b P A]ǻ$}ŸY{p[ ^ B݌d #|c (ʼ%vB?u / xi 6FoEET *B^'29HubR*:lrb8(Q&Soh eh6i޳s]6 '33O~HI)({A: ]gu޾Qj^*:3h9yVxmq0VH*0$<d81cU_)S~sL7Xۺ6@k Q'|«ՑN^!|\AԪ ®d{T=fz9ϼP.7 xaj"qЊDĂnY_>h$nj FQ *CԤ႞BB0}O,&0]!6M]jx={ GԸۤRϩZ5,р0-DѪ*[@vP d̼/r˹^$:#[ 7`~>Yq3>yӷklXsؼ97S -_|f“rw^qǐ6o]]., Oނ!9,6ɗwCo 0wQ+]& q ) j櫚p~36p>x_jg/OO-5if0ZZ^p+땆jpb/tS{۱YOLnhif{XԵHK(Mɀӕ(ւΣax)/}:5;Fd^Q=ZK[?/21eS.^j h{Ec1CH_f9|%enGŨ Rj17pzp܍{!.vwFC[A#7\׎S 3k%ofZ ケh$"{ #ci#N;|NU&p1|gYZ H;{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~gȂp5 N^$U2npJN jꠔK "n#b8"|ԥ|)Y-<^>O`,%}{:_NW»NQA4}\A3jXObNv2Gi?HJє}eی&m>> 1"~QI<\0oTކIR.pffgXĥr_uɗ:)n+6zJ0liZz\}BF )AyOx~"45Xl4 t>J iZwrtw'a2ׅ5r|SĜahƭ B>9Zi5Sja88@5'ʒgʎ{k򠹞px * 'Ct"Ok:p>/+YU >}Z< r㈥; 0wܢyWE;~T7zij#lt#WWn6[N ^-* 0ҔSZ ʳc9R"9wQS\%a-*SH`x0YsX׶_CF[pcC#:*-  9FZи<pf:[qOC{Zrd oNX@3dVd݃mE3UC 1IRxk@āmZm9Y93$=J 3(e)T Di^Aze_](9Jg4׍vB7sG1C/5ʆx+BJ>mԨ"@2nF 5\HJdZm 98 -e]G؍ʗg,H~$={AgsMo% 2N4 P  Cc." +Eqn d[Mqo]&y_F{-&qCn!y{KFnRtu^@|x!Kjt|u ¿Vg4JMl(PH#mo hoDQ/uRNdR;J|ZTɖNƇ5R8"(ׯQkǦpKG-<11wZOv835v2ɎK&j@B,^9a3]daIo#32-P*B7Kj΄~- ^1RD7y˞/*2ԵE%/eyE ˜," 9V~h:m>&=*- @ 9'Hsqx'0Ģ{V09q|1ٴk²}QGIABl~!u_tYZ8ճ8=qدTi) &CtpbjlWG-_2T}!H>j5a3r9 Eyz;r (᫵unr;/PN4 E$)fX2@>d#<-u0n{ v詛0BÿKC;JO*j_U+$WS7hʑqK^Uo`ՓI1pITBZ4O&>y0S81܂2_}3}JxH3lv/Asʹt_/Dģ!`~w/\W2,|?_ɨ(0ʍ3LVm~ 6RoFeEԑ}/@Rv~vyd'gxn[~ AK(04V`}O'+v ĢjT')7u\O*qtO\Osq,0EQ ~tq]K! 0҇ !"bjc2[ԃ 6ǙsZƒĜSi|wW%3gL"{Rc2i'cwӐMy F=RaX ݊CEc/ ɀI#2-m4„#}q9,W>LudgI)1( f:6$G3ExJJOkEa u&*I[#fYXtgx_pX>\+ƈ/;t 9RȱOWrQ%y_T!I#]!j;X&cjߜ~F Q7=.X?P$r)wbnB*ӻ6n}5oH-:ڻ/-KUr-4V#BK\ *[TE^r{}4Ř(UIs"*i!0e6?b76"Ff< o35Yfnn[Mu\]wr$ ]{OXK`Yg2S{9M.t^{˘GO$IrB;aiF3]eE^eqf7T 4E,K#yXwdwSX2/<)i h 2gDA0c]:nXP="3Sˑ;|8D,B轑L&r-/X}^ "mv! >RѴ8C[P0(}#~DVAє>@r|(^k`zenaSO{`v#hoh CO@orl'm¬ٹ=n(93JB<_Hp|>QSh#}\$R` X'JBBi-Ğ{91hLJQCN>{ <~HEȰ P?:G͗jmfS񶘸͒29ɂ GK- 1!޶HչT=QLjTG/^B>"ۯۍMS'P,#.g6h`r՘UvV(fItFTiP(cU"ꄂ8аD!8@8/­jk3^ 9K@A4(H@f" h O@pryO[ 381krV 4& >ɋӳU(g5!+R|譯VJrqYXei_1)`1CLas6 ǰ-9U ( 6.bbKZg^ + D`21DWQ֞WA&(Oo- }Vg**Q JxMzJ32-x4R|G}r)Yu}cSwEAQY 4=~5[Wm@˂Q\Jc.)ԓc"5s0>xMLU0/[軰BHFs걈r HKB>.y]?St-3O8 Bq0L(KfSдm5_\mGW?s4tSz@6- }n*';{TJ$[.nZM}+ B͐-9/iגC.vVNk u͏Egah6-?nkj(L0×Ff gT^T69VUbG"y1N|TZ{{]~C 4mh'v! h9t#訐?A51u 5g>I*muw'AfQvX$IE?)o<bH$1&K# ,]b-;WA-GOqlp݄&<{fQs] wX@Af{;\O'Xyrd;v ӕo,{vWxY .;=ir7 ͯBo&9p6 XsVe;Olj2NU%鲦LRŜK׉ Ue]ަ~7ڃ7'"SU/X%m'QJl5u䛫Pcg_Z_5:76< hn%(BL,3$ Tm6-BP]h~@+xbNB?B{3F2>+G!+QsD02 Fŏdoڥ'T&sisq]̓({8COXWe‹Ԓ9+t'&eYQogizB[k$m$zn{4nlCZG`zŋk3ݐzMNz#WJ@a,+dBxeN" <%ƭ)m9F6Lb_">\L=ʆL@ڥ?bBwqA@ lJ0[E4, xescN <@Fe>IKeclT;JnYЙIAZVӜ&]}~⪄ }-$5WOG` \S߂*zZu1ѺUrEq>!@z/m7OQmMR*7/k=ѫW$!%m<$բMo@ЀL%M,G+&4,ײ/lY1KJv&I7LIVJ0BkI #'U]em]T-~E*.)r@#gYZ ZZ )C% ,Timed_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/S%mh.^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 '9'L[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 լ+9)uԆ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йs薉N])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Ѹ8+Vn -ANx.kJ~ng̥la~VhLuN#LEWWUZ<6,\Hm6`o*0E9|WY(܏g@N\_1zC}k:K3d jm7[v@z_[-Qy1 OL%8a0v|]D_TDG$mWju4]R"zs[*c q{/AloO^Ym=3~7L- tKwdJ\Xq`3UowP bJkE Ѝ"0/^FPxi&^F hmN>=Ti< 7K|Jd:P`6QU~CS,Sj̮GR>b>a ݴ[r=;kzfG.h9:6i~1L跮|(X_7jMR&мWu- Kg>keWg~_?o:'9gsX(jV|3f/ S#!5Dat6-ɄCݔ\i~Yo'& ܑ#_2@sVM. x:xy L5nR9U=lɔeT <&; O[z0,ڇᔖ,$]ˢ[S[a,Am Rw![TmpX>D)5E] =eEq%CkJu&[pǒNZ<}}DPģnw!u'W2G&4fPN n8dz2> `eV3>Gf(\!14C#3CmS2`C 4Y'pn?&Ң}5Fg:cBH Xr!cYqvs2Z]<=d$8.2rFiL^ƞ SS  !&7^pkB)vg~tY2`f.KѧJzz,䔍2_ZC}'03ި)ZF0VPK%`g;.e#ak8+ڿ)ͯx3NZcΨEݪ"ҷvO%~gG܃?M g>G:w*hz^`DGlnLSʄ{I"ve@XD24H˶"'%חT?/!WXҩ1[<-fF5:p4m]T1\畟?+ِ++U '0&~OU_Y kK+?x_?^Q1vn<)qt6E 0w3iǚܲ_~YP/~py>q` a}jg#D-|xvk᝟t6}ȻA+Q\D}((@.#iN^-hHqɃ~X0 }#2 K>=^x,Zx׸,J/*N纊P§'tϥ` 2^5+7PD`nj6~h\yh2K{ (_IlҶ,z ¨[{CV섒}dql'όf[pLR01mlrG+@LQP/)ftՇ34p& Pivؖie hhaA9R4{OE<ٚ!w2dFlO9{ͳÝb`wkVjNs*Ҳ'D5zɍ稚#LDMގOrzE+i]/a,ʹk/ԗJz/^OkɘW`t/Gi܂[i-Ck Hů]#g䔡vhlІJW9:1*C(aSx= +qkSuRm,*Շ~Þ7tĚZy`as&LH׆]0F@E8#WxQK/7 \yFzF?}0\D纯87 tBMZ7AX]4MOnc/kX}++z*H_O{jDzȽ%DZe/$ $|?z[ Jbʻ^%P䐶}A[)@mB-o8!״HC,,~ +V~;:o<&X k,:tU&'u@%YC'}VOIܸhgc5ԁ$5M5'a6ʽFK+F>۳g'1(sH)t4k  Fi,P]v0ODaPϸ&^P8[@m.U xF W#Dn| ՟_[y7I8$]{lF~@TwRVZO;nq5LB:ْ¼F8EEIalI<1&`@ Q7 }FP^>n1Sc#kdfu-`oUaL]%N:S_1b ]C%ڝW!n+&VzlSbNGK{ӆ]*kh^z=6("Ga>bK9z8 k|אj<;8?UBm|:Ǹ$l4զ,u{W L`?3?VJ^8 m,xobXq5hq! - a51^*ձ.Ȅ'dgo˫ p7 Li&7Nr(ق҈r5I.i)-enm޾=a^`my7ֿqKRfwS+1*t!^ªomʪAeTuڃAd)ÈovD:R ~FIq :si/5M-՝v.M&LdМ*Y;pǘ_Wsz&> ȶ2^2H0 ڃ tӥ4I¿)B%1i%~R*j+s@V O.?s1_Q`n")K]ǜ\=e7P|k .}LArWl\Z5E2$V vT#Fg>01yqYHKq;B?YaDġzs OXnw @3& Ʈ?{de^>#y) Vɦ7Õ0t>lc[E[Ө{LD|R =,f 8qVwS$L`5}gIb3!2&zQ\1yxlG;G6R:u zHd^RM}FH=K"u/F,z,+'|=S:Vq"ÍUdwϛBf5.bF|6tOw<''،h7%u­rx=ռQ*k X-Y18A$fih- -`=>Ƭ<T⭍CW̻pY7pcP4~G2IIE /3;|KpSQy |Fdu~69Ҝk(%> j{43$Ny@1^x\:$޷͔9b+IvvK!sP1j VdNɻOr}$W!6]E.!! %Egpw% xvbz iseYP$q +p$5(Ls%,8 G)tѬFY,\mPȓ߄x|zw㽨@6>PS7ePU^ IS*1XcZ[{uiKBM54*3>nWۛ1 ?vkKXd_k?znj@tޒx8"Kr]k1bw톷{[n(/Yī6u߿gXEo!g|0Iūv&,_2ʮ-c!L#rR_G  jW;i:"-/EPc8lU܁GΏÚas'M\%aށ`t娦ś_URCeF6zom<& ܣ:>HPg&.Fcyٸn{hD= wUٗE@b& rϯ;N]ػ|$z#TmjP<yeAn P2Q)0Usj+\Z.Ѯ,yKMTh<*s[$ %+ M]ke t2=/?h5oe H>z'+ J7…Q&v8F:QL)$N#XB'U"+E(8uc5_C& ;,L0<DėThی*Mo?$XkFC3 ls6rg#='=5H/+Jj:[ѹ<$GQI8R>ҲooG^n Gϵϕf a3QU#z{Gy5Gae_`+}i"RqX~QKmH6M$,5- 5FYq{g|(Fp؋q2өq I|QÔ@ W`ÓDԟMو3O aȌ4,7wA}9alPx5U!-ۖsω?+"W{li#Z ^Frݞ5gMi?òm=~HwڴI9WrFtKUS;H3Q,./0,_r;&F׎o7M,F 5q'[_v>lb#JX:و'CZ(ܞ:*R3X$ժWlJw_@4|HR\^TK3U /*}=j&)lx-2V]  ͞ avkNH9]xa' 1pƖ);-j'OG@=o],ʸVwyr+05C"ĥin۞<0u<6Ţ4Of(o/ R\{s&ZZ4VJ`kQ'|gzTW 037WL:`729(bSȫB_L$];ca4^cxKG#%ψidLYY. ɏ~($N iTjt;D]-(W\}dGJ$~r48)t_1{cItjRb毯5F!5qH?rG񶞂@B),< NQ2}2@rJھx~k28&9R%AT;kZ5U&c2y ]4؈NǾ!oXh%+0mhovSY/ ?Õ`g^L̗ -R;RhKa- \pg*}d0 jL׏Zd|4Ɉ{m0+--OR=e'K*t~< 0M!_/uĜŵAi(nCOm.Oω|\sIi|Hb*-tn q}Ξ!j!kt߃cYf+NC"pl X&%*Ѫah,abx2= 7T.o_ =xTu&&4ADmOox2e}&ء:%h15l[AS3(Ο9}l{g\KPJPObؑm%%\] '\$HܭN#$\ꐌL1aEŻx 6qNW&Vݘ}ۨH; _>gv.9% ĂLpNIOaPa]?/r &,bt3xefӆ餀ڽ߭:1~"WKV͛+U=Ah.H UڛaSq4GkP*o`hi4, eP ,nW$PQ-)ȃvKEv<= 3{Ep\5S&f #,EpSU&້75Ϥwm%h.**př ,T<^\٨5TVt0+H dƄ6#VAOZB1sNmV6ȴ311ⳃ[ g+J7?"a>twxG]]jo#I.[э@@o+ qgэs+_PfTJ}T)W~p8ESn;_W=\hxWE2j1{i`C)v}r1Wi- z ,nr;GǙP1}LgYZ />U)3% LTimed_AutomataTimed_Automata.Miscdocument.tex7zXZִF! ]A-MՋhvG"uIBm51Fc aӽeN2wYFC ߼ja'nUmFO,%k*2`,oIMyd3F;Z]!4 0jC1nb{tk1ge2_gYZ| )G% Timed_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/! )9% \Timed_AutomataTimed_Automata.Regionsdocument.tex7zXZִF! d(]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䚯 $0ؕMvmXhQ\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{Tϳ*mHZ}-HJ.p!| JttMf0ؿKȞTЬc("12;$VWWV%. 6Fi@F ~NJz cV\C7ibMXj]\/i 2_çCaHÐՅLk^t>f[Z)Tnddyf rNy<:(Wem-qK`|gH.Pl[gr404#'YZ 1̴ հgHP"־V C~}Lu3Gd #gkvCmO1B3m)|. 2׺0(Ŷ%0T/־+E]wR jMkOyj6EԮw6-&L,q q4Œ4 20^MihN)Ǡ"=_'2?pVuX~goibZH7`g q.|f>ˤ8a1E]8_:vJ|}'Ew~XO#;˨YB] }69tvyX1zPNogFyc$A*V!,Et[d,@dp&N"E_aA}}p#;uRN^ҶVrSc:td>a/`I_iI6g+g#GwWC_1r Pto%M<}_o3'uYY_!e_VɬI0ir'-6g]uԀL]Hup[1~baxQ%qBiBKEzQYv(1seVP&vHY:SWbn> &Wd{B9gW](GUx"@K8%(gOaX_Tʃ'x_a\ [Y (Ǩ[g// 2/*%\hKqk3&n'FcIiv8'.?.gxtaR3fO0$mZe8U"F9ȐsWKnbNAj#FPE~ eC2BS2)he~FŅIN=}prqeo=u$YGUTa$N3X 0jL-,Sp n Q %mQIF0%*?mRZHG>R!e\0ʥy/hNKp^ !Z|{IhAX0F*2Ҋ_Bvoȯ? z F6͔کƿ3Tn}Z7P qov0, m NQrl|(g9ƨo+ ˘wgZk& 4lS9}xOVC#Nפ6'TSCD/O%KjG>YѸ!})zXB&g1TBVoe|r`BZwg@ xTǿ1vc7zt-dA;I{YaZ4n%ui&* J[ S4 gCo;LM睜Οr!SEW+$'-i-\= r@WvXr|9Bl9ږ cǢhA`Vp /ؕQ\+ݻ7;&,!-V@ԇS٢-p>R)0G4jz҃)=EqyG5H;6XA'~Φȍk(:&E> ! ՞Kg'}grD?betIGk(6ZG^M"qD*IvTU86F0.YN{#F}2hTX+1Ƅz-c gnŵ|Uyc:8/kKDy4_/6X2 !pwSؘy]uyM稬vVyZ(EZB U$G~j`6[U\\جBJmlj~ae8|Zƶ^)b+b\ۻ ӯ,v4jIQhJݰ%,f{Y E+a3-.ga`X+E 2A"ufVS8p9E\ʤ>%U &E,7YgQ+?`lđY ߟf ApV;WR\ԩW'{1o}&XVTDu^Y30O ޥ p.vּɿh,M|?W]l$/tr& ϑV6mƇBd9H[!r|O'ĽOP-/`<;z58yWIjʠ"Ab&KF ֎ȃu} CԌ*,믊WVT 2eM+QΛe֞"M%B%1AZoa_n*ݬlK|[R`A'g6|e!c9Yo6ZcP+A OKsu.Zx7҉)nw@s}K+:@Zd!E1ep'w#o[eopvP/ėqJ. Ԑ9*`d/Ƭ`.߱"cp6N@;+O/oAA_xioJ#nqPPX|cSwfE}TY o?v tYxŠ|s\)* e a0S38&/vHԝDn^RU莳׆_n"I1 P6vOZV+ZZTPF6.3Y^̆%!X_1pX琻E\hǶpOA1[6^l,V;Gbx; V| e뙨ƽLTOd (cr$(̈́Pa=jz'ʣmL3t9i׏عD&CZ * jqj>1_Ӥv_153M^Mz/򦼾BXoAI2F >]"dksn罹SW86nNk2b>f\Mk̏B ӛe۟J4ú#2gUީ~0gp(EԄ[L!=v_DWvpE+ Ivt}1;%aNwr#mx~Z,%|i--ɣ-8`"97K[ےؿ^8L= |c8IK7`TBpOѼY?8]P=s?T'Xb)Z4vmoy@H 1k}3kM6Szs>GFxpvb"&Y4]0>%`أJGz7XM*)#wagΖ$[iQRs7L B^A=,aԌ,]vO_Yt N2?R~Ȅ[Ҝ?r܁d{E2o,vsr M~0C{8~s9pה38H24VM~eUͫZ\=IJW*T4 ,|<5H%qU严w6N.NWaVN]&k,qǑE}2]! {1CsE;ܘgƊ_J1٨=4l_.jOw2Em&I̛ɍFRW ]zaҰ :4ҦSN,}r&8׋A@ mɎQtjl}YG B ZKnƛ0U%96uIJV#27ߤGY.ke1nSksv#۱N/&S['lP>c])6-&j^R~-A@wOZ(ɨ%0?ba씎7)> +%9Ri/]u7z:29-R29A9HdIm;!&X(B [nd{Q]6Fkykz{KALk\D6*!9-l=2Ao%e1)6 *62|ƜD\#jHcOA~:CA@/x^DS,_#p BZj$~ܸ˘ܾKd&밫{ qøgZ̷>~(.*RU*^b<V:bx,N׻>!9p“hHrЍUF:ZfV2%/< n XG/Ӫ*&-DW%laUDR0@$"6MMwj]qLtk}̷V0̧oҁ;[s ~ڌW܎2H2)7Vv#qF`~cBٿ5 kv`VxE8Wzr Q Mip&%)kӚo߲dٲ+Wtn`h#ho,2/GP'Tؖw7PhOit==t0-ޓ\Im7C @0Xp4)VKϑU}qK=jd3ҟ nX(LRځnPCu!6i4 Tı'tFeUo bj9~794MNh' {>\ݷǧ1E {3*^7 2`ւ7)v7x,wE9uXP̨>4-E)k(lTΌ?(L&˦]`)"Oa Yʹ=9u1)@=%cJg{.Xw9y \(ygGݡSrJo z Eg~Aqn~ϭ-e-9iWԄTsFPɭ|/mP\\kn'~]gBK!Js_ Lv8 ;:?Y+ӓI]2'w=,ܥ 54DQw%U'PVKtYT*^-:>7,50I2]FF@>(!ay-d @J~v5^&|3ÝEmкO'GaɃȇ2nlOxxOA|nB\~;}/BLRwaK۰&NZbHnGOhUC#K 7/0zhcz>g74OxjU_k/L:/ TA%P(#DwXwĦ0'#(Hfƒx>S]a yV~ HT[ ¥ԎAk,`K3)_}W#~Dɲf;gg^ i 6b3BZQ`S`A&F;G$sdE-o<ځ Olij"$\F3rT.`06!G7q~ ׽>ۃ<)~r:tacbDgrz/_bxyS Ohm:I (-x'CwYݜ".Iʣ:@(c w*6Hrػ;cWkt;|#X:C3G7vpT_@Dކ. (䓼S4 SW]Bp{ȔIcM {©tks.K}}5̐bݫԌeYdL7i0 i,.m()i-:WMMρ2z P:NN@TpS۝,|o`K&M@'?˔,Mރask$^[monDIo%t}tkzP]wq5U뱴j-qݏZ1)h^%\Vߢ1ի܃xyƢ2ē[kVF>5iǥr 7'"wI\alX&?X'e6.湊x@<IƧ^c9;z9RIaL5iabMAj򧕀M5i_?Q-IҩqCh;Pg{=spR k&$@J[scʠpzOQ4u'leutLyt&qG}Ezjc֌Ri}}֝4K:y Dڛz-o-k<>:JYV{)) &vU&PRl'ٷ\^ $`V[)GCZm(Y# V^/ {Wt6fN4D-3+IizoNr'>y'֤H }Pbym p(ߺ5.t{yK}0[t{QldFV 3;mk%jG {)B~u;MF7`dU]]Xc߅F0Vs!>3fz{c<hF2 8jemnJȆ"ɸMۘ0xD=A˄]FRmo3EϗKRuee=w1;q,P]بﵓ1/!r(CUoM 38+m# 7:٦Y{mC4FRNS8+OYQL^s@^. JmbbNiIы5f$he&uᔨ]0= ƌ?ǔ(cP5(nHՍ<${-p)q!埻Sc!v6ۍh5SFeW@| |n&,)T >%N e6RNX`Uh?k;j٦z%'w~rOQA4ot.67w!Xd˾ 适&2NUiP pEᠩE0hJI`xlFI7+ 9U&epBc9JJzVZ5UB . J?^3Yr ħ6B\I$R4p|`lS>4tƥ\֬Dja:{.L7`gw"!86D[ Y`.hE.̩N+d,\zȱ 4 N@ƽ?w%*K`U'@"0D&-Gb>ڔL!\bLꚀk~ w<'~]Ҏ]QZ;]#7D+.|R ^"5XsB'E+kk{v64Ʉ=0K-GS$k\s/$;UBnyWa"; (4h2|bt:eseP#ҊTd:TΆb>nmXVw\âRja],R]bFxTvxfL%&Zի Qv $c +Z1`mP;)ӯzE; pfF*OwYi<ԨhqRQR+Ev?r/j%fNr5ұ$o^d@VZ6Շ3)6tU"J=͉c)yġIY9%ݘgMx:%映f" rVbNOAâ pS_D[Du",ŞԇYV.\$M[y8FWwˍ _F:r.6D@xwܜED~h*xo<1le+> &6 Hukd7+"{3{Nk6zQx>7 Zrx3BXb.2 pXzǒ'進Vw1 Zx"W-\P̲!+rXZrstmfU0jKx}a6h4Vw`p<>[EfS u0LSR X-(߈WXP.|.->:d.y7 * ɶ6w5~%ܰm#IqݕΩ@ԫ܁)Vf ooPұ[ Bf#vX"g̊'|"QI+'\Hj;+z>8J6J91Ei똲O껈E)^GzNY栮 YpL: !2EnɟT+sTLxVv%Õmj^N#& n ZUK&HA ۨo ~z/ 5&-*3g$m‘_"K+ГSIbD]šͨܐ~}S͞#DXjKζjI  l'joU34+A z\D 𹳾 `3#l\nSXL{E_it4,ÚGg|_Yk4egѩ=AqW96:8+ ϩ1DkaxУpJj4gxgda(s=K'Zu_F9B=˄9ɯy Q&.mPwq/.*u ] 6 nܸ9GI0B4x}ɵ |MT]BV歎|HOԎ 00}<l|T}!~ Wv\Fs1);T%~h&ut44rt5PnbP0~\&۲众L$uxb N}O$N;dtm20N]Zl>$igfqi]O/iy\wh}He M/P3 &rl!~DQڵlm7'8:d"-&#] pJ&j1 ]X޼TMZ:}zM_Z -2މE{04Ug@t/z.; ?m_3yapUmEhl`rZW6x@.Fݦ$hhކ? S="=LymۓwG!&*xN\OأeEtHYK ck4~7(pբS&G@Ґ;~WZ诔5̫ӕ;,`/Frɮ9;}>zmR +\eㄓJlhtJpzW55>{t&h#fY?ӜQD Tkt2Z BY4 "$>p ƣ- tmWAoBIu=A.PZp?CLnn %ªw8D(vJn&[oWǞH.1 5 "-Vn +wj#՗K>[%+\ ]yvwd[h=BЇh U|G0A;P53X;)<_v;VZ4MP?3ޘ;q67LWTŰa86+]N*0)P3l5z!Y ^^퇮h0#7eXؽ_Z&oH^JsF]f0n̢ L{%/8LS/[^1k=QvSb6ƀv4 MӮm&Z>Hu'J%Lԥ67L~'tDO -]eRw}$h=q&g/?#å{iP5('z;ƑxxIG3xc!'R0YYhm9x1*GFXim/SuďP>eaRR .0}Z A5JRSogMcJÚ|!8ԁ0@,9+H,"ļvw( Evsm?vvm<]y=} s">FxǗ&ZRK(SKMz6h|/E&sgKbGy<"gVi댫D PE^xR~lf=%Pdf^ >*+J 15;ǬY4?r]3)꩷wUeTV,ZG >2 (@D}`JY'\=ioBi~XʉgJ{uXoТ#FJIlGn# WpwXHrZ,Ej^׬&HqpN p!r-:T떩0Ah&I m2-( 9D*.~=-gYLrh:SvqHW :T9 |qkYy .$2TW,!lӇ ^K`A2sQ9]QijL]i+:_E1ϵql6I.(ƅU[GŸ r!FSz =(3RܝpSh1KmK ztlz@8*8>KKoȣ-"[/Pb2 ?ZWp$YR[]d|ߺSTfA- 5pgʗ}@XjS5-hޣgmfOOlguC_ۦGϵp̘­iX=]ˋr47mM ?T{ATt/}xC.oc얼ECd==#%<~Eٸ#N~|dwؼLN`r)rRl}Y0 Y; ÏA?\ k*}Z]Z8ƿ}ywQrITƃ\`mjm6ՠلn.sȎ&G-C{b4A+]:J!Bcl @7ЛRv?0 H olق]@Q}b?sFPF:"ǭXuzB4p+Ê?QʱO40FV d@Ԧ4/&c޹^y%%KmjXqKiD&+ąTh,b:”nMk7p'' !ÏdX]s>tD]O<>?nв8V-" 8^<ϻ菘YctØL|ZNF-pJ2ribh\fO@KmU?ر!$ [*#N#z;Ct 㞹V=R("()) WҼ꜔ncЧ&VFbmr+H>_(m:rcH@ُD'&p6׿4{Gi0{?s+J}t))͒󑀔ato!e~hACFj/v‚ص,Unz>ɸ<6>oՇC^OH{dIdICbiKAW5MV񞡬PƏ#q)w`ޙ/4l܌,xu;@|LՊFC;+JIWe.|K,!JfY2aLǛ-L/ U< 2~  vor6I4i=) &@>=$XJV"÷fi~ug+D ca?2HC\Ǿb00nk}[˜;s,HnP軭KKg)!{ SEґ{mԌ]m:Q)YϚ_y!r,z)ҤM[SΦ ^өWi}a֮z6 B|G|7Q/9Yr>18*)KU=]8#$f@n*jmbQQfԣ:EaXotp~wj1zof9ZEa y]4:x,|b h"iy#L>ҞKWeFA|qD8RrKqъ<PXՍ34òQDmͤX%|xRfdjPnIHARa-~6z;ؑߐ/BKW#R5_/B({tOa,*mMD`$(({E$bJӨs`0+Vo=HX,D;3&řƲ`neXZ`y !!Y%}\90>9c=m;} B9OYT`rX~ឥQMcAVAٞ+dOsLKf^@Xн!_J׎ڑ5iKSJJrс@ar* Cw.)0FYdMuS7:&R Y PgGg;Y2ڨd_pҞ.B'¼|+Vw#@TT&'1n},|֣r|NJp Z.~Q:W7RX 6,ɑ=jnZn0FDqg 3@h5G#q]0obN@, ?jJ5'~XrU_<̐6=KXWi-h|nЫ\~M> !M3]O I+9#{lLč|a8o 2u(oJ]-ޅ̅dՁƌt_; íF wGNQT11-SR~Z1 >zJjsT2Z5B%a`g GePDĐ(AI#_T3B/d\# U5uʘ6QOִkۂ|Gz5N 92@ƭn>Tx*]HhF *%s\P$wZѫ)G(irdhtjוDd4f3L>/xT(XoF'A緛WwŤ# $L?c֣LL JMAd&&a<,p2)R&Š6rCnݴwc 臸^toX|' 9}{̳Xe62;O6u= e\dq'δSPR͏ VPƘ\' rnc#ܱH{1d.@˺C氭L.J8wdI`7n! |Eu<9y EtW9K]s\, }̳dFI5a-GP:+E!.7mji0sa)B+x]貒'||z%XV.6+"0 #62Cp.V3CEB(.|EDQsdԐWoe@-^ZZj>P_#S! [`a `$\N[yvZXF.–ϒ~$ ML2fy&Hb+H$,Y΁{63]66[އ9N߷eZ{z,&S@pbϡM)+0o 7o7ҰĘHLI@U]C!]tNȡpn{zp[Ȱ-v$=#h_!Ҽ?`jYP ^+ν&סx1gH5;h#A6|wߘF \bP { mh~W*{g}EJ.Z&am4r*cyS@D$m"b:Dފ6_f q>6̲ /N$}_ QlH 'oyDPN'#MJQh>3îW~!SGI;,H qHVf_Jz/΋?.z|ok"%{$(bەaߒHp (]P\NY2ؗfm޸_G6qZC/l ]C:gcss$s㐴{ n{jSJzsQ.b=Ōm4>TqǦ _ݸKҎҧHp˼zbɸڝC,4MnpA_g&3mt-kە\`%{ϙ%=5$%僵fh c fT"Q]!C`p+J 2Mzoxu]G-tT8#FXȍֽvW_ŋBU`LHPi`ϤCͥ澯fvg2%`oU~4 R7EjW/XӴ#^vqCq*]bX*Kj1Ķ坋2a?EC¶-}JsN_`Ǩ+o{ݔy>*T.jm?A=4hNqhT)8c+03> rTwSڡf 7۝KE_թ_]N{4±gYZ60ua1ao\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򎝚ͣ_ 'g >wrn'U߯Fk<;_f=đb kiӖ 'X9뱛ȼ̧rA6]S0va'χ a)!c7 L/;ҕ%?/ȂR;mSBv==qR% ;1Ӌ\.GuFw Ly"R_ v# QE ~tweV8yv7GRo zr%oJdn| Y㪖8쑭^>O#ʼn@qg&eӒjtJInc ?c"E`paWmw.sI]QXiSص̢wTvmZ>ti9^[ sVZ?q[-A'7_謏lUdfF$U^:gͯxdMqSU0^Pm۪s͘mͤDg{Ȳz 6o='\E}jqZ*z4kMp'um;ozyaI{ν nd`Wr-M[ lli È] #1WU4}㶢E}?f..QxKΐ!%eUGBbÙ5Eo`'<2ZJhP AF0t[wKd6 ZcytyRT4=B mܾZyD`H'u^ݗY®|c55\tgBP\S G_͜iĸg i)q' e1'شb3<U,gt4aC$"t Ғ(96 :5(ImPa臃9]?M3Q)W4#.lS(R[52]=iI}jV-.?166ۦ&-}"ix|/=;.PToVŋODiZt@3L/ ˃ 8Ieՠ:ez\ /gYZ **G )]% 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|udl5 T )1% LTimed_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 O:B"Xf ;{ oȰ2# :0K&4 9U!h_f=zR 'PuVb7Bbn؎& 5| rBuBͶX'\T*R%mhDéDid!NdjV2B9:?ۍ#BLXKi~NO8RLҮmK6<:0Rg2 ѠQLoKU}^ C]79_Qih&蓘fPc2uKPI8}W.9ַS2jA?^l^Ɇg^Rޖ{7] (l|pto0Ԉg-z0aU#}<#OnoKz"䵾. q]A<'@h;ma5jN Y+_e5?hY!|ue{򗯥 o!Hƀ{f]}Nȳ'좖gH/ca#6ѧq qyҬ~jJ] RYkKΝA? 5)lta?߱gYZkX> zF{:'s[vwOgKT1a!|*}gZҥt,Uw}%،rωj[Wht:`]]G$F$6EA*ҽjU]p=9k3>: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˷&U!O3ah@oG0$Z#6/coIԫt>% w:5l|WF<5mu+4q]*(1ZY9|E YCPd\r2~1[}:m&@5L?%G'X c fuqOJ֍ ?M7JR'oW@C (Qj)"u+IR7n@;{~ &MaG8$! >X RTi6E^HZrnˇ/9|%)@aYCʥR.7W0U)6EkfC'󤤜$0ēƋM/kΫǸ5! ;&#jK6Riķm/ UoyШ|aڽ&OvۮHAJ%?(89YVYd.h?f-Fhssz Dm&;31{W]/(8!qڃ"6sme=C($ VBbtRGc?a'mk :5/޿6!̬)oNt"ف 3k`9%6Z.Yq~e }[ IZ'm򣝏Z1 9(f,:z @a.26#E25c@gS=%q n8 su]3EB7 ^PjHccE3Ƈ*j &vzi.!2K駫 Iy =.7JoƏ[suC- j BJ^%r2:NbG;;W9 =G@팰@˨GmKz5nsSq$Ξ'GSƣ8Dv(7`R2.bLoQRŭVl,I_=gYZ  . .G )G% Timed_AutomataTimed_Automata.Timed_Automatadocument.tex7zXZִF! 3TG]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%eEghQu"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">jvkRYEI'{V.'R|UR(\@UGoBro;!ǺSz4$|H5mnL@/}5Xa}'e#߯7*~%[G;O}%lo߀?rr?9 */3}E 5'cze:F<j9|"N8J"[YJzc4FnEzS~S2,5Kۨk'+:'4o,eihp ,e-!wT7ZMRHl׉ΟlN "4[`2}^l$Y!5^e{nFu/~``˪J.z+NR > SĝkeBqX7l8Mea)T"BؿuLв޿D|'yS3-K'}3C}xˁ`htw|1ɨoB]:KxJV{}:L[JwrXd.Z OtLAwn"eÃ~xD)!KZPm` |OU_GNS;O2\G9q+NNv~(q3LN+ό|V}1xZbrʔEs,pCwjeT!vpx/n?/` vFi?Nt^ F^ܓP6d5LFkjC#uLHFxlh̜U{ZV1sj}"Ϝvg"G"jIuB^j3":#Y0"!1 ]s.ws;lI,dE0Žiס3nf='QEչY08/+IV($4mJUM%{GWTp Mj8,`˰CFG;LK:.SU֬2]5ߘ蕏~B^kUqA6K*j!e!qIh1[bqL\`Q#Y$sϞY5%F45x,3B4<(TbSO,d Ki?~oX)~JL͊8zaw΁s|F@eiꉅ~V|RDd h;c1B~ J_TWe)qQL^Bbu&Xϻ,h1D>ˠŏ5ŅUbʫrah.7`߯쉆}K^h̆%c6~p)#EZgא7rvoMr1NAy*̜1$^7TYAZYspY "ѱgYZ 5 )9% Timed_AutomataTimed_Automata.Closuredocument.tex7zXZִF! <@,]A-MՋhvG"uIBm5֝p XA?5"2֭&wFmB;9x}^Cm&=@tQC!+ݴbuZH`_ V .HZ)o2lxY jƟEyvBXr,H3䦻 zi] 7A#VtAprivʨh1񿽢$4Ťx2-NJ; T-1;Q w#]ݤ1~-Ef6t(Ǚ𑽠KvnR)8.=D Ek0/} :)D5xx)`kºtEewf\42C5A=7'&"2aE7λ oW .va*|TT"G\#0w{Al%~q$dC\(TV˸;䁇/0;_bo[&dYpv|RU7EO̍U:vC~{ fr4f-/gT[CRC8Nz,;>=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{; 2 )M% lTimed_AutomataTimed_Automata.DBM_Normalizationdocument.tex7zXZִF! c ]A-MՋhvG"uIBm51}Qӂ.~M{{YA\ߪԳTj+fR[mS L*wh3R9CCs5I+Oq0+ݳH|۳ :86y`6$ϣ䒥2FrT/ :^w|F"U-lea2 =uꌥ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 VxC4L38QntQjWmH Zƴ'EgZgC0QЁv8%a#Yh˪u_aJ{SSs`X7ldSʍ<[@K}ӑz8p%Y-o{ vk:$jPr-v] \S 6Y bȷq]/]s]Bd52(v`B?3WMƍ*`۵_sOK-gwmGzC|3.B9PWLd5}kUKpt)۹DDP[oĪfY~kj`zA 0[uE} '< ݬ U`}RrcD@ʵc`S ٔnusgJ5;یl ]TV ШtZϜ2*bvb!w##s "ՒWuR.B s 6|NxL AZgYZ@yE V>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^AAeY]fJQOÎ\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{TOJ |I*w~L@;/+YT nRA 8rs5_zd!U7ٖ{%47?ijgĉQtq*'ߺil2<K[xc(xa]a[W7 V@8P9|ig17Lԍ6DeScf>wj!|9vU1=1 QDT- 0TTt݀$ph B6sn"h3oJ_%=} qU U yZ~(H6nP  :<}bR[7!ptǭc^Hۓ a~|N{/z72=Άit׆+u(rhOr<7,q-)F}T:_lS$ f"BnHƒz5Oa libA5dmr!g_߽uGw#_zǚ^v_ޜKy]܋Cu$AVm͹l2D@$`r*o̭K w:oJ9Ⱥm侀վ"YӮص&tpB`4;a;u+33UnE!yuMmY_ШF->'ˡ*ު6h_t16gp;Х*7@+ќ|Lw5@4q`}ݬp=o#'ߺ|-Qص5IzQ-L@3=h0Jlj+eE#nG-6_cUWcZ@7KriB@Mb4 k8KXl5S`ad`+Nک1Ulrߑ3n5ޔê!C rQHيl$27h΀v&["|uY,.FV !_7 ȇr9SjSa)MEd箳*|Kʵ'X[<9'@ SUsKS C~h\ } W/ }ڒZ.|YFqb CJ)~dRCц|"خpO*O Zi2S%~R.WuK3~\^ϣq%rzE14bv~ߺXGW . V^/ /LYFƴ [jّh2$tיWFh'M̡h6ix/H{^df6N(K?HO|{ЛZ#9( m^ϚAJ|/a(ECTLjeXUs>b1" l?F;^o%$=GIZG,xd;A #πPR5҇% S9[rq|zRA`n"|/#${">6XSu , $y TI$N5njkef3 '3X" UY ߂ۄ0ŸzG hke*)zNJ?j##JCcފ !8܀֕|BH{:NU$ָdlDKQ0K= DvxPP"UZ5)r򱊞CW_ %$A!|*c&Q㟖,'_cF:~MDf/|gYcgNy^0Xˌ¯&3ȬA<.9me^ į(m齖h*O^ÛVP1*쓅pxWSl{pPuɤ`Gb<7mu9rH@G3)plA$%"{UE &d0I `D tdy $C=MҠӞ z-Gu Ǘvd*7=/Z!r<\LT3gڡ]OXiY~ӲdIp{"9j6a=X~O,߅UGT,޷tg}ᚵlZT# 4>/7%^fmْ-[h~ܩɧRxmWW]M*?lPe X3գ> n0 n>0}ofcTC_Q&bA{VL'*"ЌLؐ<31`'T;|{4A[yynލ=,Q!mH<3x>?hBsjQ$:mk[ "Ly I еe бZO@-޼# ΙhByvVO-`Tp?/iIvIpғX}NCr=Iue'N˒B$rwA-=}>m0"T5~h&<2~\AQg5Y$pz *q?(nC ~Myɋ E}P 6zo2ri.o~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 5Q? "ZEtm}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 @ǡ v0ˆLJt %ij To"M=x1}HP2[F@豗 p<ۋI1e总)̓op0:~حA]'_:.Re@-j`$AzFuſ zYgsP!w(A+Cr/<1I֡"(+5q'^GYժ:V,TwMf*O2#TkOo<ڐ(!o'4[+AT|m2]ںC1>鞁Ov]y]K2%2!6sq_Ubؕ G\e?VVF'̳Jvnـ:̄>?,e$ʹ:tx&rAǻڥ@[Ynkrw ƗKxA>q"dTJLi1`p!4~atE/yFDZy…N4#=Ťu283(M2Z+fu'xgYZFU9%_6,݅T{T "o`RTMb)]HB᭗j&X ֐14cvi:eSп}t= F%։ˮ#G̤]GtCX 1KĶb?Oڦ-VII<Ԝm<.M MrJ('f'`tHD Q`-hQR2M"(DܛO'#4BcRaj̐42P+xߩrE ȯ S0^8eo ,IJaPuGF]0zEۙNZQ@~c:WC]MFlR)TP]!2Ump1нWzhE#,] dZ[jKQse߲=,J#cvlGh ܾp뇂GV8_vV/qdo$4VLƯM$oW;$p>U䱘.iu{}wa>k^I3!n%6DnCD0GxQ]{'yVbȋ UR),])m:.,ox̹gRsr]c;:}ݏیxo).#4=ʁ1$cm#$ΠٗhlQMǸ-0hv~pP< YsRf0zUeKa]D¿=gPMi;x0Q$ǻ2}ܤ+?Tg̘\Nž(8dSJ#π `IU* ,֭!L^oD̓p8^+D uߥ_N._MIscG޲q-ՃG]m"RO y1߭_U)8mْS]y=WH"rJ4tFSѳ^5-qڽ!1|4 s|gFp.DkO@/Owjz"I'HBMf)g9FHH7Eo7!qdIlG&f4(0̬kM]] ?  n/~N"ϊ#< Uﲥv. *C@PYk?0^ G%gYZ7zXZִF! \4]ŗXi%D312{ ׳}~|%N =D:ҦKdJ{R8@7WwlFFgTqߟ0zd |yݭ ;'[jh/ț"+ރ=69t0-t͘Gbfr8"/E W0Q<?w hJi7RWøO[No FRp\s"Q#,v|=+ah ]|u][{"|cbTH9EiU k}N˽\HCl@(:+tkQW!=*E}0GuӉ'!)< S&O)Pj-_ h?tYbLnS'IخK~FO8i~W-G kDX!hw='akd JI$%^^$* :֟-UGP*2K%k~& | q|,"HMzXawI8MלLZ|e0~ʜ-?HE:G' J?p*55|ޏ:1mJr#ȫ{ H=бS_ [1cv>v &'$ƃ/,Qȏ@k`PIfK`._ʯ1Z[aبx>wԱЕlr Ρ*/h?oL|cY|nSa_X$DH75XDK=ae0CI^iq{+v|9,pHJ-=B^^k|%NHURrK c;dCṢ32lkŃDAZ $ID]97ܷ/N| >)8%-D4&Dr\9L0/E(|y҉`iVa'۷+S,o-b͗իci`r!l80^2GnP+E Z5ey{Yϟ_5W7A!#KE%3kAX-a.6 ^gf(g]%!.<.gVBj;8א EAtgJ)d$P8$0cV( "|m&;ANӌT2I+3ƻW.ks;m87cQLyy21(i{*<%G>ϏY@xC; dž\ʄ60so%CEםv,^/[y7'4aTRU(R~ڋ{Ǡ, U1*par2$m/Zn& Z5VЦTZJft#w٥:kbzQ F tceߣ fsaXB@xF[1\>J`vXO; e 9d#pqC[=B}R ĶxDҸÀl Oakw61mJ_m+7)蝥Zaݣ|1iYcAaޞ.=6ƫ?A|F>؟zFwݩ!ӄ% St\r.enYP2U ډPqYG10:4]u QJJqt׿B*+YyryϞh[XˎCrbD6/NLb줧cykW$OIќ_>jEms FNbx2wO~-db̥<  S<h$ʶpt&R Wcc£J]yG[RZ½ֹ#"?it VS8PW5~cYׯFsmmXR&BHg9SʼebA N'-`o\M7x{Bd>9]%,gO~-alTX/EON/)_uQH8bg IWSΰ%!zgF>-?@P7Z,"R5TMDyނm{OgU{@`m/2iBhV(΄`=E4&}B-6z?%C䴐Ē)7x`a/KAgq|9j,TbM&nW-\** E\]'gЭ PRM$2/`Gy 0;ڞ4F(퇟 \ ʌkM=TAqOӍ"A m8 & Os⿳ )|HI&g5yRyuWO쩱 T/F OzamNh,5;9h25"B650O5LjκF6Lj  5~FWdjTj4Qxg:cYŹ{lfM2Fh p6wnە>,9z'0J5],p&U+(*i=SeT$Z$ Z4 hy'!~wS;hP *o5}y"! ;|޹ݭZb>Dj1K*dqz.l=).c%W<cnnzJ+43e3Is0~jJdd! ,!. :g릪ᅿt~ːqVmx.Xla̯nnqǸȧ4G j]OyӍ`<.֚*~, ,2mHs{zfD)|-0cT3GfbX2'"]qO>R(3JrŔWU5 ѻ{6ًVʘH%=3hI#CVK\9ؕb&yگ+a%`阑Nn0c- WtC,Cʄ^OMP:[<q3 мG\|ɖ2\qȭ wmm2 p |W٥ gķ̱ (Q-O4jʃvdvw5FDk 0nǿRZMvl=NM%5)=ZMνOx__)n0cXUPZK˙e%]+k5BN|/r} /GwunY.JWaӹC ES>!hpv"ُ9y;kz Qs2Xda1", 2ecŅ{24ryv򓙅YTוKK?͏>OURK\~xjg3~,[3pl#Pb(3@[pP˄5^Hz)KZ+֧7B\c9ڐBWCjgv`!ۇyaK.8+)Mr-ʙ+4{fb~H7E`^*[3C~no5  ѲdyJ㩅\P(l`2=HwX S\hEs0 舟Jρķ~1@9^/m( i(D|`.j_bI= ]a8p0Aa}UԮi'= Nɕ2ǬZvꥳBH*WߴLsz^F$/Y93Ov]K뛑efz}^ Q`*% IkŜ3;tVXni "fak1͹NۧeYf?CeEpmo/Ogã^xM2+ j9ߌxj6:1_Xթ .%R[f^mO]v% ^o ~Zٱ:+]c8rz#& 橔?oR\fe) _a1^p_;I^cMU'\;.Lw:eŽ e]_δBÐW rfysw/<$N6kş͟1+&xд ~Vz4R$`eB*K|/8pגgcPg95J4-IS@@F*?/XLOrJ?e1-t4 S>tfca{5ZlSaIC-aWaqTf}gGZ@ $]]jyW‹vv5HҪ PTU\j=7e;`żeqp՛-8/ߟu3ɀ.$Wmr3*g,$!{"?OTΛ>|;Nw|1sv +$>oR;y4>Y4c)Id[e eDr^=7 Tfma ىFq4va[gHJs+qLiHzsX^Tz|60(%;Q``& 'Y{`BT %0TXj\r.$2O]\ [i* `)؏yo"-wX8 ujS9g,ĵ ~ #2]epxK\ MDmE %١sx䆼InQ+ipw&3$T|A|!ܲ7.=Rd3SH09tݯL>q,L>fYM0Nlr'cb=MtR &)+.#ա6&x.p6d f8[mㄹ*^OFv+.;kGl ܸoBzSrlMS(KDC0,0&$TAg|9uşTv>ֿ 7㚭GHJkNf뾷8SW/z- 5Dua\H.˜s?X2Kho0f\V8]&J aϴrX^W_ZAÕ؉ugK \\U\p>b^s9sߩ ,5[rWŹz2sl m 9&B}GTa0ɚuf%b;w^LJF%O`܈,IN[񡲪9,ibVXkrAv6[S\t1Z1^Ȝ7Pji&ƞ:V/W]I*t!Hfoch7$Ѩlیms/$2n!jTTpIaAuVs?}%EGAC25އܽKE7yWPhQQ#8OP{%Ǖ)a}sS f^Ǫz|́r4|I4P"UAږyg5~p8^' 0[y5'2}曹dxбC! .AI,IVuH]>~KF0c^Lj H s$\Q/J>E 빲4nˇ0Cqt&^c, hz"TǛdvB;VaTo^DŽ)].o3G'9j G]%5a݃BQzt'*;ETїbDZ_nN_OC#&`x.{%6T>ģx H3@նN拗CjYmuU%:ƨM↤2WxxjB=u4whBHgUܽy{Rf ,s/a :XT=p[v5[֨4uކ{GUK螯o4+Wz@:r׬{È ׍bI: '!6]4lc=7GzE!-+ȋ?橶}H̵c5Iczj.- h 1,R" UQU@ v< 'G/ئ(Z7QC );9U|Pj`m \nKGO7uD)4&j-]aLV+#/ 7\|(&=IQnD'L?Ε xMEODGXq׌$a״Ͷ/gN/b4"()ak'?NYgknzlțOπ u. hjc<"j߫Xn[Q28SVԯʌg0Rx_i`9vJE2k]T9"0OTF +1=;+:pzC^ =4( W5qb|ewìo;I$*jH)+ : O!ĪpzbHϩYs-Y\" P4, Ke]ɺƑ]Lay?7;wh_S9?I .1,0#Y5(έ.8ҠP1Rĩ< Ǝ]Dߗyg DΊv/lQFA^K;<'q}8Ϧ偯=)&m?<4znZ`d"6 ho@*׈<0GTwdž%F{.bt^S W_=L< jL=lpI:lǹBo3/_۱ Q; stN!.ΤMZxuw } !K@ i $=-DXPg.c>A%*,oTZ)5  fc̴1y$\x#__QľC %:U{PŶ}l&9PSՓ ksh4g^K2R>No.7VY ȝ!KLz7" ?6}W6Ȱ΢O~I E(AI(EKD;͒BC3ho\{Z9f{)/Yz'2~滧1d#]1E`|$r(oL&%t lV\覼wk,#0Z <풱%Dpڢ;nZ&'N%KyagfȾ5 _I1g^g&3Ќ8f PxL=:tj8A3K kķyeC]6`Yh 2 M7A͗> TrB b܏8_ gN\ ?b5MEJ#Oʳޡ q<L@[g,僑}ʒa$#~ wRkcKy߀{tsD|XIvF.&js3SHPB A }q4HPqAwfƊ?ϙbjmj< .<{oiqbtcc6ٝr U5]@gvzo9AEP#?8?- WђWVRJ< }dƪ-jX sFLn6k*w{v]Aglu{d.j@WeYmn"#نysX' ۏӉ4e#6gvɥuu$v'q{%6R68?6uaMfk+?t/-l8;d>+ʉ 6zHw&Y|9 tu{dnĮP̰/ȥ`k5w)̞ӽ@P%Tj:(V0wU$6I,5vZDu&o"\h;tDFIr"{Lf:5{y^id]TcO7$qJ8of/Fw@s}a__|q_wǜo,ߵ!F`N<+s痷.r#l5rH.Tx7Ep()wجzܝ%:}a(x`M9M=yG|oͯV%/2Myidw6livJ3=B}Gw $oeO Ω])0tuY5w>Kz$' ڒr 0jnyap_Lh>?:^P:&-M%/ mF):8Ts [H3fa,nfx$m Z&"e$Q'!;6NLe:xG5D +nѠHV|Y=~(ZWmx'U>{/ Qq[@o=$|.k :YZ 8u?:+q+\q[A żȒ=m@a?q]Mf=pxH/3mcljBBkV]#nn׸ͣR0;,q*`)sY| q>P`\^bi2 @!־^}WD-w d+tYY,D o>vsC>z T>,D_2AK,zϤtv)`WxD]f4lfjׂhh%sr'?rӀ^ 4ѣd,(˃bCtWtu!m p3c\TqjʀOu}KfUh9W1bN㥔x $9­O,5'{Nj6`J')7_OM#gu@]W`,NGGAU~! }%^?K 8WqBW9[ʸ$F=7OZhBzakI |EÞ4s^q$% {J=4N>}01"Xp"H5IuVk yTzT[_,ͯ :}†[܀#zBmmn'XQ~'APwCM$LVzs© 6 ^KͭK@+pH{cOu=;H#jpg7`.I ܓ#asʸB4GׯΟ* ߟ7=G~>cۀP?sAuW&0zq8y,q^K~kI:ROZJ6n8}Hŕ96q=̋G7r g<==+-+Tu[:&EG2]sނWy3LN¤~9duĐY`p9Ö)0jHYK5Ózct9u4ARk HG"vzQ NEzҾHi,x:Aiӹ -/3gYZ4e368eb96b4553fd84c6e3265a05278e7738e316c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6