SQLite format 3@ .  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 b' $ ]% Tree-Automata:threads=2elapsed=34.601cpu=60.376gc=2.944factor=1.747zXZִF! J]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30Ze0+9R ]*@Yd!%K M3>`GAʴ d>+HLfڑ_/m1~0(ojHzam189DsFH§==Fm2Y@z$t¶3AJgֶqwH| \006^xmfBAu# {I!BkK0Su`}GlND/PCL4EvM-½VÞH拿OL 4nUҞgo̰@6 , /LJ q,b[:a$)z}ȕz=aEeMkU͌G\Sf5օ-?Kq - G\ABEq =6P*}ZrT @0v-o,:4s~dٮ"/[n cCa?F-M]l}8 KK2H5 6.,duPI"va!&|i=rњmU@4=f5Ǻrqkt\3]"# L6޾xf{ED{[.f 1Ÿ'+#N]E0aV.$(=qwsu&)9Lzg5ЉsnQ9炍HWޏc"h:ј,:9Xt b^#5 %7RgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~s;H0[YlKZNw_ӂVŵLP> ͳ)?W3 odQNiGh1 !dqތޒ2C/0W!OeUߨav19g9maօ!{t]Y\  0U ylה2n1/3zf- %{ք @ŜM` g3*tsO4i|~2PAOta*FY!IV j g`~9bq2%]IuSO2ͫFmT\-BH;s5vgsM!I&η3 yog4E,뤛DECI5]"֒oƋAES=og%&;܈.:3#؂B0Yaxh*U{iNI /fTHEoBYIAh'zK9B6{)7Gi-ƒ:Q턚u9:WIij_,T=gS\B-'I(qDF'A̘q0jN!Q{!Ożo-RJe|X6)^hox'z5I#B>2#t(" ֪u-\[/8[ԃ(` .j QTsDzٷ C0y!*a6V=%y,Qy =Trslju;=yK^߽_d=?-!ٲX_wlTPr |{]";^: |Gԏ˂8ԃMs7+|K8W:BP^7+db냖Džbp  \gUD-kXÖ!*bӉYa KFKOU8>%ʎ0@hTcAr\k[?J fvcD6bO׶yH#-#wI$r~QeuSP !"sE."lryfJ`3QZxo݂mЈ,OLO>#,J(h;6;Хe羚a@G`c[IYYzO^1y*"=tªޱesv֑-F BXD~&RЧ X >6G6dZİR\ֵk˭<$ ~5v]L9M/]7JnXIw+Dc7)Z9-U mSdb-ho>G2 %ISm5ΫOAϖ۴c#vs_فII hlěa+\C4s9=C~0$}=]o]HjbX ˙@Iۂ!&L+jrwWEҳָ{`'@%~ZX>w`Lوc,cKR&''$38U]m!TzBTt9eO5{KO"r1-uL<`8[ӽ!\q.i[:uXY$41=йi5@(yaě$ox؟Oe} ˻f)+I,] l&}ujXN}.d)bVݔېGx4{Vr[ BmYlLBbd" 7a9A!} |=?#t\pi'`;΅J:6$;#-} )A-N'QgYZf9becf5c125492677ceb3ec0c39a7b99211f251f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e ' Tree-Automata'-% 4Tree-AutomataTree-Automata.Tadocument.tex7zXZִF! 0 f]A-MՋhvG"uIBm5iVno~bLa7O1vxD`QDíxl̖zмgġI8Dz9 =aTXG?oH͐9,IR I}'o. =J0A؈K+{{|fwhS{K/{|<'X*[,h߱e&A`ːy[DԢU<}irajEH722HYI0o{Ҽi3S3m\8zg)fʡSEAzt.Q`2^Ո 2נ;8y-g3uM ѵE:3Kxp fʠ <ՠ4Ĝ{ԙ1FǸKW92j©"-{S, @3Ѿ6)hUs >VYyH߾b⤇l*k\]%eF QM{M{.:Dx9a:CO6(-ϫ7>->FsLi<@!4Yk rL`UT23v#@QtVqCWDtaC"/y]LLJӏg!{0҄?ըsŭŚ^v:*=/VyA15Pt|~e$bU & Rx]oFмCJ_ņ՘f=j%Ė!lMb 74Uhv:;5jLuG"Mq注jMS͡b- r:Ḱ1^O|o-{-vobg]b 4T+k;&?~6-]jy~#tAwnJ4A|xjCx}Ǿ`~3~Z"!˻M_/V'hG&7kEz8qUuWjyX9E!<87; Kf~@0>I: 8A2XR^ӱ_9KukDFDXa;(Q v*xWr7j^f!B\@̼ pq/38R` "u@W#G @Y(*Zt:uoLQNKQJ&ͮv4+\wo;X wn\UӜ&عdF7Aͻ侵RX+Hm\GQFaqk04遵7'GȏVUJLN. uOݺR}ch0mSS"dD?b[ WZɍqȂӡk/W[/sf4z1J  |+8+=>gazjzlZJ.I|$wiMwBy㾏d3fv߹_0[Ws9S$#^fhwn' Jcl[fT^1 Ab:6 }np~%#m~Q^?==>r24m̅-! j}8)1S"d.C@D \*4'7%Tree-AutomataTree-Automata.Ta_impldocument.tex1'1%Tree-AutomataTree-Automata.Treedocument.tex?'M%Tree-AutomataCollections_Examples.Explorationdocument.tex4'7%Tree-AutomataTree-Automata.AbsAlgodocument.tex.'-% Tree-AutomataTree-Automata.Tadocument.tex,On;sΧ]b7\:x(:S'Ph #މ6kjkV%4A.VTu)JAY}J>cU(it^=@vVhLDrz0ؕP;2gpꐡ'3K'q;~_Z0N:hvm髦ʠ!"V*E^@ " x=#5; u727>w7!g :S_[~S'דb^4s;Ӟd)V 9n 﫬Ac;iN \CiY΅za+GR8,0O.6RGAޠX Zcc"w:";򠭢,C!̟EթSbt0Ѻ9QerI۹R-'v%Ohm4 ʟ1ZQ2gArJ*t|WL mnUiOÞQQFC},p^uI")tmIW7R &{1}C" ﷆ_-$ES(.W4phR$5y'P O6G9gWXQ+(!p{@LS1gOM*,RChCU&!Sf Gi%v |jv[N4_b!fj;qZ-&}Pܐ%4b/kPIEu3=`3L84 _xERaB(}'@C24s<0DG d諺.1v՟ꨙI먃tY凇~ =P<E +1:J-9Q8  Y{BY>A~tBXǵf5%NT=r8 :hLJΩCfC-M[6jWOs}Mo- AZ;8tl#F#Iq[b)\rU_S6T!TEz/^âekjF?m$S #M*|0}|ܰaqShu^Iva8iA(TSF*7W;E v T^ wէl>Is.BO*Q|gϿ^[ D)^Hf>=i*3dz;ˮH#.t6I0c-rnHgI/Ma '*v!Y:\8Ex%Nݷ8:Y ˒+H4۰V]Q.fUBuNm &x%VvSBc-LauKpap@1ԄbU]QL1bۡ_H: CYzҽWk$~bR*~٦IkI0ݶmlFRzf'սcܝ12᝖@}ggl_H\ <䙙Gwȟ* U pbB])zum] i6#w/ėe'AӚ &oA3Ed EvÝ`EbɃ:E4%˭ (? *wMڙ2^v]%KV!λS6⋫z2 USl/8]o1᠅fw>area Zn AbvZDlOu|k}>U(=֯wI*<*<<~vHXa|dޯaJɪRHu2Ќn~WzMVa11j諘zą(b:A:on,ɉqyštHp!gR"/N:܃ ![# O wPbyc3cE NT)V?j.5C5<{ f5곂ma(H{]TeQPP&(zſ ॴ<AC&⒧.P`7"2)SU|2֨i LL 쪨{B.f˂ZV)i\Qxj.!dy!_XtIGuo!xDTQ4ZWoq`Ic@/\#ES9V|ӓtd$xdF6] ~6W݄V YPQ׼3LNIGm{'ĔVhBܰC)O{7XўiLJ5rD*/ĹQysA˹d|eΣji"[ "ȜS{H"O5:BV >#N*~pl|y `%@BԆ ʌň#0qʆ }-|+ZŌ&y&I±^tY]2d凋@ kGhLn"*lgw1pƒL#?PVwB~FHcx7oh }eTw 0RWֲȺLG}k%[a={x'PTOfFܤ uJ|_UJb {z2/+zj R .G)KiL u쓛>ҔJqk/kem,w˽i)rK!dG֊.0L֣j*b+ع*;Unic|pA-ߤ 裟1'p/SO=+G=\jW?v%?_go6rXӑxA׷=ӑ<fŸoSȂuQ3Pz6tIGϿ*@z 'ϫ5ɀ͞ݖC|:FlL {W Qvdbޗ[!- oFpQJl}7>Ψ q]'_!i1]]N\}z ]T Bf9 HᴏsnYӵT+RSxԌq0A[ X 8OFȢ+6|3mW]#g5yBv;a3I|\Z{Q6PMdd$V1{#RAO4ے-n8)ΗfZSr4ʢ8LE/-mp@dˠIwRpID*y  $: Rp$gM$Ư4Z2Q~fabxd]Yit+z!%$>_ W$0eKcXcUW)o6FS/tŨÚͪ-CD^ 4N@d.. !; ևX~߿Vx+| ƩfZ[H"o`f/_T.L\_r~#ȱ)+Կbt«! ؘ:PrMv/V¥4P2e1 MJPks8K|;6IEG441wP$8X᥈:qEv4e웑敺BȪXnN݆~gHv4)Cnyp$Ij~6N =v~D6lz*f ;ކRem0K++},?s yń{EP (/^@xr˗ @+Y/@:xivqVdNܮ1zt~fX{"d>+}+uUx-ģ'PfFXF6Pe܍Av5$۔U:6̢fT׸3 !2Iu~% JQ(1#ڧsS_+,7;-Vp֔$ f!P̹>T" IX]$! KGLGWԓ[KT1.)RuHFVq"Zm(:7߶goB~9ΰNk6@lJ&ul  L\VdUKVIh@u6@{cvBQb 4&`^EK# /9x*-@oz!=xg&C@&ev#%^i/>M$$GRk:L;u;11 RĢ6q0a r5/j_.|]^QyB*% <^ Yi9?C() H]qԜ;ۉer$KЛ ΃q`d.fMSzN=UcxkeF& TF ;P1¿lZ^{vW[3j>\o=4bE&ox '?3˃P )NLTP|ʚf,PQ@&- ?"-R<3'GxHA/CŮV\C?:b6K7gT3Z"gD-(MGKP.,\=ز1ch"(LoS(r0T`d"q |%ϻ;UhWX 9GT6ˍm6ِT)佷gL߰:*Ut2Lk(DIy]\(VT "wXE F!~Ѯ5+,M9=qo|htgg4GɨC z"x v!4U J j~1y Hk- ?k;1Y"IM K?dFQ7&vRDnݲƬ Uڶ1{$Hj} .^7/5:M?AnmG@ޕkHpSKEd2q9ZYd.7e_r?6ea[`:k70d :K+R VH G)\`-(Թ߃5:E@lB[PLRڽX71ԪlvĚS%E@F䉳Dni@H|d0 L)dEtW2d F{C W ٱ]&*\ D*GhevDAVR%2/0ma6Ӭ 4 45`9t:/_RdC]_4~fnh}<^m[knɧAxܟ7D}5CpAʐAY?4kDra2TwdfIPtA:B掿>4 Nd*!.в[>B{~h"6B'67e$&೽& Xm`xof+agf;1I4ؕH2h1=B=zZ*B2% gvP'loŇG0{ܺ2V|9 :QCqs+6#(a^;d= IKϡ/| [՞y\3gHVPc"_Gyi\4Q{:33rqX9W^D1"9 Vx, v,JH̖ <1^fgi66a˛\KM`h9CKl@ذc1Yl!@Er:(h.2#`q#e`j*%;.o,3*/sN=+Xųc%RI@$5I%gwW͂B"Qrٖ\r{T\-8QCDKÂU8c[r+{Qx>Q8ӽVM ,)/{ m!L*f T λIЪQlb?kX-w G_鹷] TlZ05:sŞKh"#B9C/pךoSzMeX.6cHaY! ~Yj E;F0ho4_4cɒEywKǑOD S3XcPVCtW?E^k~ Nbm7&[4@!ɕ}.}YH+{{'uɇѕI8t0sD5 @~ڂb;a% ;i!C=ڢLdf^* GƋaZ>;;}Q!8+#x4@=@\c=iQRgDdbT?giH" ϰ ZçcYŝ$vwH6~tot"ʶCPViǒvV0M\3ʬbFM4O6Ki\grly;$w{`m +:R4atnOY@igO wJG(04) ,̱gN%#񺬠[5E# {555K$`; '+V6/J>ˍ}r-D'@? zg\4Ĕ%Lɇfa[MG&[@g;NOĕ*"~+/)A2 2ۿ3}c剝\FKFOZJ`9h*" ܣڅC nRKEBowO>J!Ix(6~~~Вe+IqcY%tvc;Xt|S r$ 8K"kL%K)1dh+)J:1m .{Qڶ=5!-<y.4eyS4A:ZKCʫcdǚ\,]rmkщ{= M ?~%wJ`vU3![^*u捤5-=01."XwFhL[C~ndWlVfzMw>H܎ƿDX yjӟ7:j}KO< ػhSMͿ)q,OicRD3 Ţ Јv6bE _|% ##%.q Y3 Q3h:+>Z1xс`D N7{/N3o鸈e]byR8-pЃB^dܵuGwOvn9v$EE=icDzǸ)gPX5K}-/-•@rbR4Z"J$U;.I]gPuxeug8S'7Poі]K8bM٫(uWGyN49Bfm+ tECeZw= DW| pCnD/vVr:o.Zg/rWOJ@AFHdOAZ 9*4 桗Y0d0ÆaU^?GstlH?a7MR1NL JF)4 3;6[O /͜VKoQMOM]#aywe{@x,Vt KXo^#GPMe~A#A0IhҪNh%+B<^tR5 d$DLr';tdkAYs?BlUڈ)n0S,@/)c"k0$4`76tc|pMJcet9sW)[ dt3ʴJ"-wwOl^i)zL{Gcͷ-|a?'}{Rs i^r`*~7R-g=s}]KeIZ5K,6ozL8M Sn#!HҖ3"lC-\& QׄhFe@u(: cAu+P[l{+thT^zs,ݭ VJ4"8^5 ͂/Q9EE m& %ԗ14aNqL&_wcT~|5چ9#7ϡ}˗Z#ܳ[U/(V_|!J|a{] YԺiUڙyv.{`^d@Ez!=/#&k<2N}j{lDC8q|5{ަH.h@Kĺj^fO|H*h=~d5vZEn@ޚbS v " 6u'f])\ 5rI܆Z3gc,1?:czrB@Aډcf 8+5ik @Kr Feq93ks`ն1>F O%!oTWR″ʫ=@.bhKffi Ĺ }Zl|^,ly4J;ƤHfC5I &i+myczGNFY$q 4@RUKd^= ժ "BwѷM#]p8bbfgEIHl,|6Nkҁx5BŚO˜1xfD9׷|)7;\"N *IYK+ ,Հgrb17Z$ i1O7'>sUñ =jrF'k CfyȉM6e6Tn$>`}w虨4d 3n>]`o?;(|m)AԷ3Yv+Bpf" 䫩n-u_Ub!z-6S>(wA*P:0A[ٰ/ma%sݤ%coȦIn0D-T+?g:s3XD !R{ `->%mZurF{\M2D~ ,p_)MO >O3HsJX"/}ڶDBcD"t(z^}a1W{~&ʨs8Zv/B*(* {3S-GEڗfH LYQEbf_؎Gz5`b`3 0cE|A~ 1!`3 'Q1X'dIERj}.ubrv4Ĥ_G9l,in9h\GOS< 4ry<]?UceFt/^Rk;wnB"zyc !nX -QV-J,'7ݮ6xօ=}= -D +3ck!P'x"@ulG8ꨉ~_ڷ庮@ݙ60nY)iE cɇ&[=ŁUcd.*?⎙.w-nP Fgreu+yc`G&-u14mc7ߚH&2 [c.'MdviP`gMbm ,4"%+g~RJJbH pn_ WZƘN,EvQEC = 9*nؐт02>,nOvh )!+H)M s.m_/6xԕrFzM î"h{$,؏| ACujMB f_oYGp>`FW&gjCF*2tDzJɞMiw+i'0QiCL A9BN K<#f5UAcW9`FI?C&^0d_ފĈ>b6](}+q-T1Jg(ɊX\ɘ14> ?'>{pVä0S;i5aGHa;"λQٳ%"1OOȹG?y'pkuZY8ԕFS:?6 s_(vf}A%"]gRjsFF.8kq׃Zsl33;S=7h4tty`㌕}6̳ajƣ9ybY;t;`xA Zx(‘9]'GP3g&V Ln+?Sp\R̈v.=:GAk-7JoMaZK سIPbr u*#AQ ^ktD9T޶ ݃{crpk?}luqu qI>UJNG+/K2A楒iՄ Z^"m S5=ogv1'hWIC8Ik:QSrb\p՞+вro+6BϦ[H6D36m,bii#l۽|!P{ZwXݦFD$yyO)^ga!#ߧ1b_:. #ujqO|%&*| }:yL\ʹ͛pzB6Րݍ~2 O! D7puce䳍(Fl)t{9z73J5޵HڃiJIJ'k"8;VੜAU$O<~3,@뫜{ok *$H[ON#N7AǞ>Fi6y Gv{%AKkQ=L /4qϔ]&lDP&Y`!^%kvz1ڼPx/FįsǬK!mqrwagWV]?/rX<bvF,mg4 exe'V?JZҹ'si=dAC>ނN54nHY\bYA~.I}{h і1'eqOJ 9".XbS:S5ǠA>J$MiXc4$gt$g.ѝ8P 7J3-M >b᮵T!N~q9 B`@]_b'0*NWc}w7Ck/fZ6zNrA&0q8Ϭ {+&,gSЄ |؛yϪAןn="+j&(%„ t?2'~Tg>E_}A.Iqx i嶻w@Jp+EaKV~39)[|GIX\7`Dʨ}S.*.`" mٰ!̸UCCGaGT0r@;ޏv> loБ*'?|@G(ov=evb^VV7$C'js'oNrd~KE^M=AA=-Ȥj'0& #(+S=RLӵ-?f=377f}ō#aRp:WZjȟcdy*3;]Bۦ:|;-Xw$j9;ꞽ>iqӻ fʬdiܳHΣWԣZRjW zuDHPR/? N[fh}ML3޾k)0:F٣8sٟk3:"\QF'iy`0lGi8xzO^I6/QOKXN9׏$"ۍZ7];.5'}Ds:1*„خŒW:KRU?_Dɉ{,tp)rgsAUE:M,^Z )vCx0?Ky?hINA_~OtX XWadہ6E5$1J[M0r TGTp@E1$jfAuNJWӦwݢp.cr`ʡi;ވƈ] %Jy׾'TK"*WzǪ;VI}4uC>25dAJ$MX6wu.Bm._&!,XDOv=8} dlwApYzWl`ɆM@cu j\Ɋ=jPrCP̲ovRȀ ^ޜ:# ,ЂoSIl$è&@WFW,p?a`[Pr18n?_ΐ5 ¦&-BGD1CIPQ޲4aြm.&[ ߲,y$6"m#JhMWi u7ۉiCK0ؒmn\V5dt3;Y. j> p+x*-l62lĂRB(M^ʛNzq,^P` ȭhzr  Zu,]s~\v]{bcΖMW*!G4t\H ߸ĉ"1鶒5F]탉 ] X6\-;19/AVWqXClVpZmƣ0/A rnr~8l 4+3o|&Dz;Ah` Dz{'\0`1q %s(\ΝC?H΂W}8Уpc|^h*f,Y8 7PE ¡JFѝժ:DH!{!ض^Ϳ?FjYS|؛޲ em(4et-g-ag,6 ߰eA秮顉9@3{uve m0K#Zy)0s'XH FylbY`!m*laYoFIĖO1V[ :Iz 7\PZ($q]~[VP®Ĺ.?8Z7XGȞRwrw[ #)tzn.Ay/\V C9R-I-NM+# Xѡ U 6dWa(3(!rb'#/Q۶st*xmKxP-۾j2% }e_*9>rppc|Uo d~#g'c7E<n.Z}8h*GuV}viLmRَr.1~Zn n=u˹yP,@' B %,@(mnUV#(I&+=󊙗(:Fp C +aDUƁj/.( Bμ1#Ni~W6_Twz( 6C^T@k8QͰ+{jRpLr9Nm둪ՐNe0a$jUZY3x0noj-d#S/ۀ*\[Y4̏IG-6[јavO)yK>;$ |Lr÷=h+y*Q":=5A!9%?⨌j54V>Ff8#[{L`Sru݉a 2baϊ87%N;)QU#jBǒLb7@؁gns+KY sPUΓN|iМ* >myuZ #q$,1ZfXV{ *LJ75ggRnTK2͇94j!>a"&Dj|ۉ]OC_{EHFXB3/eE zS`bFNJ挩_.-#AW!`4vJ` W:[yo.H[ =|̎(ʢ49G_ެ̉$;IEFV䶌vlƏ2,n*?`1Rfn~?hV5g[snJ퍕ZȚeSL&n _W̊}FBi|ʴtP_L/O. #@Kd3?z zb}~c@N2\H#цthB|+yMB-}F΀$S5 _ :ޤjǨBPp^Һ< ԋ=| LKŇvKGN\7#C!\2Q85S0[P xWD3uЧEbmزn 0ˉQ.E$+*h|4@gץ;OEh01(.Nu RCqr, '&*-MIJ.QHMny!>ϯI?{R}3PzlN2+ⴷ7twz~G</;)+X*ɿ)bs6Ij`]7xΙ#usIz~ رPha,B=_+_Z2Zl{6vٵc]"W}[wPTs@P>G{ yG??qͲ!m@M*Ait*_/ӡ;/ۚ;pJSAYDrRu퓿hz$}Y&rN<4S [{vI=hF,!ŚvY%2mڭnEQ4%k[s\(rBչBAG}Ub-KDPnݹM\|@A=I( J;ICF!XXD©KȎF]MY&>Ce#B|2tAsrROÛV)euǞJ92*UӒ:!dh,()ԨaRbE\]?CE~wT@uZ2 Ϡ8£w1<{Et *, TrV+ C>Z̈́AGR`|ջuHN+M_ԋ`$iWVm8Md~>rJ(guH aHWcŴ3Y}\VTӀCtrv#3Y;~fx*z` IYŴ̛|qw+fWizlo.s"s605$h}ܷA #Wɴi=%غ9R7/d"IP7c'fhv0@\)M'9,Éܥ ި(>ۧOQ?&(cmwfaq0 )@ ȵp&.{CaW~~/d>T *].xl&*i~9B /pި`{*iMj i<|Uޝ^%]TG㍚yvh} ;7{b+G٣zR6#}Qs(AxA>I?Z`Z\/E/U$\ %q) ZLUhvDZVkw~ϯ踰5t]BL/ v=>5ɒH*)3vȩ0֕Cw}BƉxpPpI8viBqe٭r̺'tyNcwla^\B rBXJ755Wv4Ƙx**#8LV3p頊][oN*8X߾dm G)?_$Q]Xۺs4ڶ$1tX =byrl`Qg̸}(=#kMM//[$Xf!+I%y$'a%̻LX K`h.W-.PYW)'y5Uew0D*g^L<9uT"SQ8"$t\ҲFaVw=Z yB|>-zPe'IC~eNJa8^&"j>zq{ X*4[4Ik^ NsXCl>@f5%`|v{6:}dhJ}Ho$V/ŋf{^c>fƻ{y]ri׸wfD؈쒊ꫫvV^X:=cF)ffL[B>T8wR._ݝ3[@o.'%UVxn+S#9HZ\x|OM':3] p2o￉-"e; I?&;b.ru*G#S Аfǒސ _-;%,"ɊSB8;v$UPp<!=EQ^vmSei 6swS^@+9VI ՀڸR/eEbJJҠL]~o")k}АJ*lcّUA')LHEM_tɑ)wŮ"Y{Dz=O&};mU{˦8-ә_?[]+D3m&V3#eu{UEswrBjJ)SyJRkJ_AETݨ$t"ٯT2A Dubi (U.gȞ%V<ƽB[cJktEt7à^3G4t7FT va֢F[jm)GӜ>b EV}/uw>CV| F3pFW׻_! "C>v5\g!Izd?Ў /]Oifs E÷@[D(FKG :Y,`_sO H٠m eQK%iPxܸ*T4Z= C?VY>0ILe:`PtqbC L[z%H[ڄLj 26O[ak85QM7MJbiSWq &𚁶dk鳨eX.¶؀ 0Fg[Wy̓W Ot.`<{Jh u#00KUbqtU^wϾ9p0lX|U:EsJvKd0,z-s10pj7C&ͻ-K&ˣ`^}+neY7G? gszDž`1&tekRA@{b~[GP""C6$u|wc۬BvK5Oǵbr*1zgoH[ alщTNu6T!u;K?"7u 5w-3zؽcX$Y`AGo<ܖ-CwevH?y`Id)AY Yf>F]Pp酹ewH(?qCKU?lқRgR<+^b@Y.}*|?hH.vΐ!z/М[  vwm :x61z ,)'GP qsjX]}g|ów{^i>+YcH͖M̝56*:r^w۵|Z&Ѝx`i>R`;^clvFČnu1,T{ZьZuh-C\aLhU9Y(!^&Z" fT +M$C\<>؋+o,p+s`#hkخ^d1a(߀8aM^p~#R4 ɹ=a !rr!…~wsT⇭_qme-m2 - Za։Oj#_3:,NfE|.n4K.Jx>T%fT+R#3w=Ei}1o0Z+ɾ;C}؇}NZ䃝!{[Cg{ Za%3k惵e,bD<`&'Q SFa8q\Y=;8[ [ K ilkA]%@ek0 y'FtO_ x`QKoc8:.7R)m Ѡr܄57.1Aٵ :~_,N<>['.gns]5*nA|*)k&Q?OY!/3n\עW|ۂ]oyYOH+'dT5dшr {'T,봳ryqS+:ۇg' v ^Vc>iU6OyzWH_.OD94}sBpp惙,<ΝʋA?YD^f:Sbȟ 3 Kf֠DvBFxliDӼZ˳^@r4Kl҈t.Wl P[@(HD.WC_1ʨ (YN) Rگ8xZ^B+dM#XY >T࿮Mpdz>ԘY0D"s^rhg% @yZU- Lg-= .*܎jA:ٟ2n WU! FJzcmb,~,M"#B łfq2F|ʁ 4(BgRN G 5fpj *8ǣ~7"CN؆Y+'uMR@8"o`T- $mxLB1JP\شXN/{gҺRc恉Z{t?YĞcnU;cび1_LMsF KQ` u"cz]R$n]E+8gtTC+xS6ID]VP,qBpɈB3& E@81@*L`ʲ]˞ڨP!vM 3p<-M1|J1U ~_@$hT׍8QW\e9og L 5ioYYqO_k3{ʾ_m`(mS`[M)H4.;.vlڻTO$@0p|/Bwj N0|%_NY2RոRhHiu;ûQo7X=wCuOxUd qtXkŕ0ȜߜAᰀLn3}~-)C \ڼw1kk sN7!(bľ )Qvﶟr ٽeasotS}.b]C EYAVis%lULb~3}`&?SL08;z*7D~gQX^tTY  <~^ :,).Ý=o6Aڗ(K`]o xAn*ujt&G0W\x[\CҒ96j};WQ> \552i]K^r3[P9/Qe!ffiPZxG.<}2Ss GIvg5i0j^oڅ I8ۚ^}XRwz?u}TOCC}}Dvq{Q_?{}QG{ J ܕ\LTLnGTC&0ű tr1OUnis (/Ot|G,[PʄRt3\DR_a⡙а:߆x;j&郥d,ƭWF=st0 ik{*0sŤV Et\#g fIG3M4 4n&a23@S څdKzZ)=+ղ&DPCQL> w(ɑAH+.9-[&5jo9>&=en7{e[NnTB:%DT%dQ#P u,X׿ .Z.%&x6Lv TT;n1swM<sM'щ7VʱRґ a/a l&:HLf;N.vR>T4k2c7P ؊+}vS61Q~Wvȇķs>H8Ni6h_* 1{b"! 6 57}xN,DLsu%0g3?T*PV2Bh2Z A7 gſpuF ?n`΅TV&j> +U!')m J^׾=&f \ ,T(A,3f(?`M4z,i:sS[~#wN)XM tòC Ƿ>%x[<v6T2Go0#Ro s= xOoLw{2 8c`p<*аJv`V26rwJugM|5~ qriɼ槳=a^ɚ鳖pM\S-;\V߯-F`2gB(%܌ }4T] aI[IS'K\Ė}`g)V&Ў?K}bDl~[ M#STT 1CeӲ_}r1 pm?c۰a#CR"[>VzƯlh]K2ٯMCbEi&zdiOFl\U4 T,F?ԢgiłkN -En%QAĻ8 qw.q`,rW)`l2oniW41"/WvayR}Ip~d`|NN:)pKUlr_i>qj }N:%[.~T8ncu:5-WPؑEz蚅c88#~sz Rݡ|ɖ._ wXadUr]l5)`)=jJ}/?ۻ5EݻQ2 8Cň0LՏʈMUԿ am^+V$pVԩ 0 j3{3gN~5zL)# D4IDX,:2RL=0E+\A񬬟8+exP[joqj&ͽv+^[X)EkBub{ BVto4CK&-MEEM源Emx;F׸3t:%y4s}A:y8f!: ' JEDVdҐ}nyzdγ"Q`xAbE| 40=mC;CCdrbS6.>U7Š3LwJf*a9o=RXBhqD$]*AX  Sr|.d׬Ri߿[%t°[9?o)Ϛf 4~>P*"K@XݛhrLRL}[6@bTak|22ykVՁ bW._.OW -0ۯ͝?`1 MM>r=NG6'-ױ>ć&^ABx1j{  6W 4`&7!%LleY#jnM]ULa.矙leȈ6j V9icyUoM!<;LtEL(7'y*{ܓthn#/qNIk.Բ `Ьx D}HpdVpIj%7bE{8'/mpּe5(ȇqzQ!Ֆ2\]ٗ̌ɓH.iM5k0Ux tbfx3r^z+[ڱdMLoP ?!?NyxӃ7z~؋Nͧd^K#ppAIJtYojq7NX*T cZ\rH8j4و$څvm]Q<(O Lz BE413V#z--GE\}c[RSQԔu2(fI`eW_ ":oh'}"Z wt*AV2sߞF_ĵ6yggʬDXv[u{tq,nSDGeɂiCϸ?%C|b*qLfi? bFDj#o$=@$F{)=Edŋ\F܋FU,~I n0$@8kYh&G,\?[o>uy8+@%_$ݨ#YgvJ'zs60T.7 ͺi/!NБZ\HwVmqYQi⋆$bq7)*爴hVNkG:S>0녵5#N;f[>kqSaePI-?BEwMc^ɳٿY@1S膹@m;2qs̃Dkv3Fzu> tGd8/k َDA^4~Y'cqctmB*LF^6}/W_IFn@;QfR~8rf"k#/U5[7 |=1ĄuJ:)cŵ/}1?V ,y i A״NdGÈbH$v֮ 1H~F ~JvYtxR6ֱ&^޼Mo5o EZn=R9bT==e\hVqN/F:uk](?7vVehCXU$.\8FzSea .F Q=!W|am`*<̡5FeU|D`! $2(_*6kGrOp8Ytq")*Է;\& u(M@(\}wYxLUDVt.(ŕ Jxsܴm-Yjt+88,fYﰲaܸ?MnH_D8  ObK}E<=Qj ֥fD6A}Eٶ&Hsy 0%{m^ 20 ʥ6iby=ږ3`/Q3ƭA2x6tvL%995Q;#9|y6k6ezA?W[eBU"0򱮦,6#GCWs|\lLWRO^ȉR==L"-(qsu6.4W!p2i*-,6azD#l|4[֓/uTCbq-Ֆ!Oh2ȓL SE!\E7ԍ}#_ø|f4=tװAQ%EU./znjXڡ:]pyڎ"U0d>1%ٴ &sdiUJ\1g'%@Ğ$ܴJ" 1vm%-¬V23C êtmfї@X<s1hg$^0VsN)SE,EA5|Xx':1=Oԧht0MҐS{Fߗz׊2 2wl8P>C?"J^ИR'O9fYOڒ7Aװ.[r'xԴfĨzCF-LƱ?E T?ƯEKPY)Jrd[\v>x=OۭTZ_,VSR|[ G57k&jOuŒpƊ _xd_gixy  YάiƪR",ˠ[z_>ǮTBԻ}jKNGB1&bjA+U-G`Ȝg&.F8+¿YM;GAMɔ+{ aiEARo.0^Z4TuLWlg2zkrf f\B[HH&aiMqOHOT&z=/{/Ye2SqH%+qh^ T(j;ab=sÛ-in;34d%,X 4#FK)PK)Ck@^9,=RQE(@UT`{5gr⏷ٽ(8Ɨhfp53Ur5-XtZa'ÀYkңy] x\zƷ`}3=hd ֖/r>#6"&3G5GFmZNSMo7Zq *!͡F_^0;ךgh`/K;?6TY;k;h%H8KK- UCd͎uj_N"g}4`!*1,e~F@/@ r=$w#c66 Yi-,s5qXbjc;[I72i<|^){ɼ00 C# w4O}'Cd$5q K^m86˽Br ^B]oj,oZzr ^e$IRϫ-< I(mEEbӫG*%=#5A-0  Ve+pٞ>m-th>\aRxv5g$iOXxũ$p_&mMI~xWj[h |bc!ڔ?Rj2r}k6 =M> VwQ'?LZU'acB% ~CT`t| =nUV&eu -.E,/yT=:1v{pv8iRF.̤c4&o<`ln* 4V|pC|*ZRM V>I5G/.<%ro.?1ӿ$h?W⑮ 6`<&9=3 FհU/uoɥ[X|)NF#bucQ,G)uyusJO dMVbqP%~Ft!j;:"[Aǽ}u q.Ʈ8WN_%wI}ϱod,Ka )AFr&r<[֞!B kf(lvIz.A. aws7E#ܷ0U6颓:(]>#Ȕ`?@MhU@ѩ.-;ϢK}l?keFU T5.xuơzD/Dk "j2f|*i_|*ٚR72K1px1cXn_(i7}I@;}mXM lwMސ?v>+ (n=Bs3Skk"ֈjT* כSe\9PTt!qi'yˑ.O<^=-L!8=_  |[ ^S2enUTŕ9œSc[yΧ+|o9`ZִpEO-z{^jJ~:"0gֿiܩPɸtL9N# DɴZ +ny=d9_N ͓aS3)"W{IF S9>[1-6#Qk W~@U`亽q5ӭ2]~b D܏&s'dJ57oש_ՁFјb.QyIoviP8^@҇c-E[13JqoY&7~+$]X휚#qxe=+|CW ໗Ud3ʎ'GчW:q*" wk#>Vs%JYIS{@N|]IW%R$r+B)r3b$VN-pfwW`*Bݟ ^p4Ӭ *zm?ˑTd3vfTKپ[aŝ+ ֔|*F(4X궚-#  3~q&A!h# 4+wMEAAܨ哇&G.>۞渏ԣR)b K_,Jl?tj".ǿ3'c>TOs .tO~1J}Y_gJo0#.FX6v~`wn~o#4m`~r=5 o' J }~;"SE$|E..mY2Ӣ.~ҭ;IUs&({w\p^PE^dl7V/ y4cq(ӎ:0h""mJdܒqpC2J_aAlwQE,M*[+:gh7ap\Mۧ0\Ϻ̝|cq '3D)Xx!vgs+)HZQk=o}Ή*:v Vr Gh{Fwf(ġ˜o et1UidSݡ6sc˛u>- p\,LAa^6D/;?-Op||춐+@>WwWӵe!OkYsaђS(SAGR.2k =7(<9qbԕ@lE'\A!LD ƒY@uAW##RSjC<Ԣp!9v3-'9 ;,EB>&TĦLW޿!(tUBk1PD%̏ `ǫ,9 ~aN {Bf!ӆ/8,"^F} +=( {t:_o]~ƌXNd I|ۦJn [>yieGSfbb0(N]yF/FoD;+-ר J}c94<8<2YvыA~leNaAv*ZΉpe7"YQavc*upzZe09Plj*kzQ7L:yʉV'vևh.54TL5J"i8d]I"#ނʁwxi,. IF Kl^g@?PT#쥳N =ZQlh/bDZF>)?.T![@߂Ɖ"!D׏N7Pu3,!^. rO %lr}\1(K徒ZbR{ak.#0Z8QWHңZ9bֿ^Z0"$9e6rHzo=h^NY8:5b , ={2~~b];t ;eC+unJJݩ*.)OWCv"K,+74?U3< bcՄah{Wfѓ)e߸ Gm׍6l¡cBd~MRC]Vʣx (;.A@vTP_zBOB)2'YUT~ߎ)Z!U+dF]r*) *-1l< &ܿXh5&ƻOb?O8f$ 9hSTqJbg Sܵo[1lR$XB?oP/MmyT7WOe KHPW@6ƺT,I]!tP.Zl9\3Ds\|_#4 m`ά%4lƊ!<G nuv:~3(mvi~A(HMcԻ |/  (4jÀ6Xm^`E ~B pcj2?Gӥ2 $R}&q|W zBzt,at8MvTxP7B-.@6I:'.pðuc/Vo<[_5CVB cلE`q2壼AU#(y$TGivۂmy"e"Ɓ]u3ec[y8g<pIE9Iv|ajx'5N}FͺA`1](.2j6LQ%'u(ett0DD~šՌ7%.yV-hJ,i@P8qm2uٓEþMfB\L᤮g&7D[/XoI= wijKLҨ*gn:y_A^p38X},W 6s<(USVh/#g Th#O"`*ŏdi_oV d-q{cgN9Q|NQ,k7  wbAꚓ'l-6˺YnMjM(jwÅЏa ZcLגfj!QmꯡQoF w86*~,ڱkՅ|*siO}ҡltY  j7 ^#H"K4`K{.2Tf)t>݁'AÑub9zeɿa*3f7 ?0K/5 Gp<~ފ]TbtWRjnH\ CqxXՏqn6fۡ$E`Oj^LEmL-뿎BY%yn_|~G3P`[xQ \WwEsehoLjGԛjLgnz4|RnsA-QMUElD8-,XDO#q\ c t!ɷa77f^y+WYw&g|{knp ړz4+sDXl7٨LFǑ%Dg?z`mRC\tI]6T;@[=(˿ @?MnUf8J7S& l@$wj#ȱ?8.ӱcmw6Lt+'/d`f>',z-65x5dh>UbUʬ]j7dIJU֣=B1OA;8{EURS!Fkizv1ۙR0%P:\خr<H/g- Y&_Kxp fʠ <ՠ4Ĝ{ԙ1FǸKW92j©"-{S, @3Ѿ6)hUs >VYyH߾b⤇l*k\]%eF QM{M{.:Dx9a:CO6(-ϫ7>->FsLi<@!4Yk rL`UT23v#@QtVqCWDtaC"/y]LLJӏg!{0҄?ըsŭŚ^v:*=/VyA15Pt|~e$bU & Rx]oFмCJ_ņ՘f=j%Ė!lMb 74Uhv:;5jLuG"Mq注jMS͡b- r:Ḱ1^O|o-{-vobg]b 4T+k;&?~6-]jy~#tAwnJ4A|xjCx}Ǿ`~3~Z"!˻M_/V'hG&7kEz8qUuWjyX9E!<87; Kf~@0>I: 8A2XR^ӱ_9KukDFDXa;(Q v*xWr7j^f!B\@̼ pq/38R` "u@W#G @Y(*Zt:uoLQNKQJ&ͮv4+\wo;X wn\UӜ&عdF7Aͻ侵RX+Hm\GQFaqk04遵7'GȏVUJLN. uOݺR}ch0mSS"dD?b[ WZɍqȂӡk/W[/sf4z1J  |+8+=>gazjzlZJ.I|$wiMwBy㾏d3fv߹_0[Ws9S$#^fhwn' Jcl[fT^1 Ab:6 }np~%#m~Q^?==>r24m̅-! j}8)1S"d.C@Dh[]y@ *'7% tTree-AutomataTree-Automata.AbsAlgodocument.tex7zXZִF! &]N]A-MՋhvG"uIBm5yh"HpR=FT@`~XHlyb-rT}EfaoQ̫w4$f >.~ؤaxK%7Xq{䌰#CUoDO{y!{<}XH*pO8k<{e&Zbi&G@#\TȪoTA-wIE::HA5X-3dJrbpMi]?8$d:.͔Qobu}+QSձ'oλmJp8ƀ+s5o| 6WZq7i"'쪟{WzC+_<䬂<w4 rhG\HԄͤ]F8'?`P7`*7|n |H\ZÚ퇸Q_pc ?);]%Q lx*|qMnAQs+? wϩSrBvPD|HMR",pYst^йCPI2:͠ޡfA$Ajz,V~İ͓ RX 6""eHs`de5'CLWi4봷2Ff C'vUdjFXPO`= `&j@\eM 0I/.21N~d:yf) ~~AD+ycS{%{y 3['͍v5-OR*k.F~is慧eO>6j 0i1Yy9d6]g#T*s*֔_oOąe,c_tCZc繻3eS Ax{W(y֮odZg9Ro,,^M[W2+/`ЊepJd NjAN[p]ulL 2<kOtX(H4;f%WnpD۽fvn~Xek+I(iXrRCpteLK&lS31;U!Iwܮޭѯ];nsu)s{mSZ}.z L4A[ C_X_ٞ`>磊TϪn #D/1AK͕$a!>$"3|[InxXA="p0JiG u^PN#C;vحX>R = 2Ax ؃ca#ZdDڻkȇL:)m~;krb4; KL.(tqò*5Z|nΔeS ~=+Py~M βŰZSߜ3O׮']VRxR"VG&jRSEJ9L׵V+*SdA fQ=kśx٧Q7""8(/Kk h;imJrΉ !0m6q5uc, nlIsn .Ѥ\n/`^Sا\ԩ'a'j$DyMzfrl3^t]N MTm̪Oo{O+qVɌI> l=Œؑ/9kQQ,~kNĂK -{7|%rqJ`15V&րݳ!Tpn:9fl Kj%%Rux)Zn]G~E^kHP^.*Ux%MHII D,$$(˅m-?·>ҽWgh=RG ٜflIݳ>QCDtno=Iw`J;@*E vi?~/XZd@hiݔK\J=f gX Mk%R}Ҷ/{PpG~E9QE$fz={ \:,-VngGQvF`E請K:_0A\KHMXhmm<9$i:oH$Ēd֫/lHu^'z{~6ײm!ˠ%@%cĕ]+|cxz+Q8sv 2g0tsES@~lr8C NE K]|HaD\5.ۿWh(8 &&0Z}{ |-*f%/9㓋 wesgN秭/>DJ>f  đAQQM;k(`i#נnYA\)Yj @$ٻORA+PH<2쨣j79L5@ @Ta0M]'۫C3*!XtBYka!\-ț<]|^;:3.q=Ţt 1_42]f1dR\nXSwt.1% !h)$pZ Hpyڀǿ؂ _dPm^AP6^AQ4#N2KfbIDlfLei<C9kؑGZ$_z]c֪Y.o(u%E&H6a]0~aUI/[bМ{z+Ahm`@@ sMٝs &I׎~S J32WAD܄ tb O{8݁""N`(92 ק n8 Е/| mytw*+ 9F~Q$!g{ΐnT_DRQUuqŽ+%z WbF,mZ~[x]Q "N3J9?@+A.( L%3Rl]&c?4^5hRwywȻVcO󼰓{0W["l:f7]ţ2u.LB@cW´1?T Ꞧ/.;BC \Cief~=TwC=w+ f-aHx✫v|j;8< >mwuXR}T}B!^ g b-Xd|2W@1\^^Ik]↎vIRƄ;J{_ BCDD*1]z5&GlDNW~6cMM+wNC)y6( Ho=Z9\R.l0SYkUJ LK7Pxv7ջ$s8:aJ"A{Qܬ/|8^.( kRٶaNV]ƀ}aUbiy.O rOCvJ1)ģ?uU*IRܶ Ͻ~s~n{@F$k2JLQ3$ϙ@ |ȃ[ꨜE޲c 6@ΛIh%dF%s >kԘ=gj Q׭]Hmc|~fWaݪP/AhnKS_4}50qy%?4p%A䓸 A`M#mjS9֘M2X%<}ze>R57SFIoKFϹ,<_a~;۽bmc8~L"$ qx*]Uz@ %?.fJ퇻K,VIJ.X"n))x KrqtS-eFl6tA±%2Dܺ\vԢ,>Aj2Qe2tz ą)W 4Vɇj]3yƭJ4Z_qNV$f;_c1<`)-{ξ;rF9K$,0L(i_(~O96[JW͒[HxDYB*'k!dI;ZN8[t. x'mb5Z'e/Cx8ueRh}k|epvfszx%!AYu.\ vӰ7ݹQ7h6+a^v^Vnʝm1sX^~Y}--w$0K-}#6[(O2.vC~IGC$G{ ;]  rSmqB _)-@q/yʀ[Z0>_(ɽIX$GsFFY⭡Yw|GS@{aԑ uX%qF}ӕD,.rzzpX0=SBhl:-4%ܭvS- C tTj}KU.c*`J MЭ501agnb+TKln5 ?{`IucY}9̋,^[ T Ɋe-r~ߺPU,#znqKg&-@y(TaW|$MTn%A)\]&JΫ";4AXn쮇ސ>t@ʰ+u4>u:"6j ~.pk,ӟ UT&: h] YE=0D+ky~,]c፷T)ߝ*Lf\7b3{K+ܩAek\_>6DjZVݹC@>o -{]lo=㚭SDv"MZ.\@ݦlf\#G}Kq*C}>&e>Bcͣpe>'${hHE FA&h'Cw~ESֿ94}hlrL`$Y! Нʂ-ڣk,5gYZ DDR'1% LTree-AutomataTree-Automata.Treedocument.tex7zXZִF! :]A-MՋhvG"uIBm5r$|e|;s!*92A7E;eekI; g/o ȼ#]}e Ys@S8tWY\hq$Un˲Tw?=f:{$-xkVunv% ⁄F/B .je+NQVb G;UFޟ)i,Ses}(@ř>`U7jkFOOV7YxT2y\23ʚ&489iP3xfXA0:' DdŠ_I_&a򉓜c>i+ _ EPIr6cef||bcb[`/5PBMo:O r q'^{kl9{@1ȷ C4vdr̡_="=%sWn5qkm6q 3a ";A!gYZ\'M% DTree-AutomataCollections_Examples.Explorationdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ko3cOM7N}UF|\~~қ6{ sUlkEdn/iLRINZ}(Xn]`8,"ǁJ:+4o&csGvI%^d>v)qW*P5|-U ~%11@˙ysXUiEt ̫ZUqYo=Z}Kg]>%SVQ:ܔ<ּWp|* δ4B(̱Zror9 qHĞ8KjϿW'0@(Tc=Q֥vE $]xONU `W /a#oaU;_yDrCoڮ>dmtȬɈ:DG\n|6?tmНT(vDU.<ڄ*Z䫝BM@P-b_C4IR,+oF;nR{r -(fdk oJq1"3binWřyAvl5.{ARQtH?E+lCZplFGu:!H0 /oAxD7O":{bɼuak K 5UhIVbFeϑ#p4-&)KJ.ߪ|<^JNNG{ IT$N988zvwc haRf%Kiُ,QR n|XN>BocI_j܏UVĹO2T&K(mgD\{BFuGJ|BIDc8+=ޤ"v͓Xq(J!ΔӰSKɈDV~y2(S[:_G.;9oa0c(0'U$N 빭 ^3~bg_m|P`ZrM_;$ ;Q5<5NIӶbԇQx)?_~CuPYg3Vzy̯ 6rXx17\&/Wx`@s# SA1ʓ+D, g|GMYӲs xT8 XA@]~i Y ԩϰs1lrڪw Jv#yzPQg: E6Ґ섎~&)?I;db" jm65).wr1V êI;^3o$u"ʍYiG(kDi]\*x(;-b:1@8'o| e{i~Vj ɽi2mqbY1qociYaȗ*0 4`-4ܢqij;c<&@ǵ5N .Ḿi[/24ʹ`J-)u7$N[o6GsCgHyv9Zd㬒[#MW\+DNCuR#6D$IZ?wv ݋2`p0;x%%h:DhR$Ia4[!Pf,/QF9~ >NSfX10Lk!!O@^$I}2!Z 5!1)|X^Em] +IpU=E c_/ZN 8?IUZX \f3vvDžr?&_ 77n}z 55aPYwwtzg&ǔ|@ZlhŔZJ%NMAh!L`a& Qr=CZhءu= %p0fP.P|Pu5ln2Qx4]|McB BV\h^9"K EoJ,/Ef߱P.!(9^cο$ȃi7k"qjI9DLM CT~RV,|02DVD&^! tqwgkeuZzg|0 1m(6X^gZ&敤*Wp^$a zڞzLYz Wq}n꾴[,I-!6m{Ia!&5>-P:<>6=ŵ4ewGtCpI>[ssȜ] @>Fc~%|9JRBT2`o5~Sz0'~gГʟ={__jxۿk#d%O(: gM)lz NqѲR3S,eq\x~BvYk~{ `&ѶMĤ2 f9lao1[XS>D]9:{L,9z\0Oe+6ќ bBŃuE>!/(Y@5m?r*ەwy0J.+bpkeLdQXهge܂!TTp j~ZIVC `J|ȘsZ7&|W7zv~mvy {MЪI  v+z Ow~[7cڔJ(]ZjTebX v*E# oG:@e!Fٿ'3X0//Q"b"Sy9A:ۋ,m) F ĤDZe}~ g} h+rfd n$\`nDK,PQ8@)6ynImʽ^ [9vVcȪoM{lZN٪8@!r.g% U3nI H{\lHOR^咽2wtE1Gbo)Dx1жnA@wu\qM/{98 u ^(T&;[cOy+aW=I1̡czH}.ˬ]E('J3e %jW{|vۘrY`̶X42sP#`U@Q~ w Ons#ON63znjsc[stwbn¡MkuX&TDϰ ϵ/MΖԏ4^,Gvv&$L^Ԙ3~P|!>A80pѽײzz޶ ڄִhpyƀ2W+nޟxp l%teޅ}(Ѕ4&DBKjǬj_<Mz E[}lOΤ2E=۰+<Ɨ~nc\]"m7qTn%v;y,جԑf1{>\ pt.0?Q%;Jwrq  MJ~3aynl[z:>zn>XΰG`{t ׿zȌ6:g[wΎfGw(so}x=̊LtnʻDe' Qۜ]q6(1&|p . 8}kM1JFOgx-=`߼  ^U 3xېvz D[k^!VzC!Lސ56xT~U3aѢ3YZ\|WZzSMx)뮜k-BsY#WhӴK5zaLݮQ,G /L}^Skf 4h%B%2?ѐrާ F\AE+;z:h{!8K:7PAXƴmH6zWC&Hۂ^26ǥuT'| [Z;;Glh%A;n[{ WŮ&lm0Jó ۔aL 9ܪ+,4rbфI!ƑC 0~ۃQwŭϸȜzc=C4kw@޳cgi1" ˒K˾%nRGE/~Vg@*;h";eIO<ʂD) t~;f̗aVE=H |I+b^ZYV=Smᮦ0:\0|*!Nm!ȑCf|d7 >!aNx4U/O\9N)}r>6ςuió HSf&|ચ 5Q*Df]O$H&+jȽAP&|颗eL1e2U= ~d JVYv)63aπِճ.KƹBx\Zдu(E`aZD62rW~\oIX[O7^#/KQSp15El)s24;,AG֗)Hcbs?T Էe<>64]˓|>RītKBHc+]=‹_m0{$xME Z<m٧b_2Em BomHKY 8dFH}=e!􃾞 h1KK P!2ҺG_2A }r0zGr5fA˰ns?G n|b;Q2W+-pVբn!B.l2avTX1NAaqk%i<@ܿ$&D+=Oe.6,& MN񋩅EĚ:]9 *.<шq 1>cAxy0*^_ GWc*LjYYT"5(=Lbu.8h8_D"r,=K7^"chtuu^ hlHؤoҏcDj+sF#m\, K17:Oj>Vv"Y2HcuM=B1[UI5:}[ULxPgM^H(H`SW$W":CA Jy>faxF?*$%F&BvTStc՜8PE2 В9Y 7z67Y%k/*h.2 02o;NMhU ؍Ms;Uz G/_x V/X ձ(`Jo)ո{ElA&rjzMى@4T { d|Vt覥oUM`rܰVqcWE/1`2"K.z}41]jUGWPGţ<VgЪQҭ7!?tnd:%'n.yN h㎾gop(HXȜU'||h};^5 V&iCdZ* vb"-I`2JRHqh+V،K(xصu잘nڙIJQm!AEhHsc/u7bp#rgo5pMХ]|_JA=]af7 SZ(Dul04^cFCX#zYJ<܇7*V2`A9{3m{F {4B0;> &@HDg,x NG[ "#$,s&reCO0p)!zC.2B]/gG%ۈ-X\I; 7۹M._ZHh[I.uIny ;27#e|Ni=&@.uֳۡqߣ%P"_ɾ#fkon:w j=tb_os33x)I[9Y:(b扞G2y 8x-ڷE\U;ϲL&,m5W3`,k7_`~kVT95'Bl *(9sm 3}/ACm%Wx㫿W, f}=X쨶WX#Zܔy:oyX+}6b)T ExHr78bv_ޣceYfD:S@?EJ an')l*!,mW)+`9綈fd=A uz^IME >Մ$ V~ 2LҜO`< #;m[xqP9X P{qԩw [&0g\|تGc̭Ú( ;C!{e׆,+fOR"j`YsoNv;. Q6snO֠/ڇ~o38 }rq𚩔 WD;Q1yhe8 I\YFusa`9"?Ki" AP, =Fc(0Ľ}3^dyW2.ͻ?%l[_XWL0\ͷ|G2Ud$?-E]C*Y#0;PuB1e$!mY,ߟBF'bbܾ}?9ҁF}g`SPU+9pKT0W\X.4JK"x`ʡ!2ȩ’+ t(nB ODHUv[W5'kva?a_J"$ig՟ո_m,FF>r ڥyYOd?cz1b{rYUӨ{$q q:T34PB.Hf(;䔵. =h _f+,D %0.cjђ*E]pItW%%$=ݺ0hm-7%(2 ) PRUBQOB xc.~S:S+,vxR\2V}m ٜܿ(J^ּU@9X:= \e_K!A\ӓ @JEw=.Tm+Wz2Y/ip/5\wċhw*`U {D V!&= Jv9AKUZtjPW`b 2G@)h.Wm@ogr>[vWbW"ǭ3ߍf6/FI4A?@\adSPUEkLZLLֳ]<+ uUJLJ\8IȀ)CQ|ZY=Y!4wQ|jF Pg9;&uƆ3n Ie>B`5iw~E=m?IcN:ЧcFv,=!rh+S]~id mrTo{*H%NxC?2xːHDm0ml?B'@'y;;ET!S Aj <%g+rCLa[&I(TOA/B}j$FD†=3 L 4]vсjݽ!IɀG9PTN wsQ]΄f,-V,5 f CjypnwZA6-*gɻ#DfH5cשGvBW3B6#!fKȉ.Tc;DSpԹ J EDBzNgj(rUcIلp]u?ɏ2d ,DDh)B+ڒG8^L,,yf10ph*}~kMr_WuXhI9U'EFԟ| ;YJ%@ jq"MCXcpd:/3Uܧ/R;Հ*5;;GR8-Q` `ܖ xNQ>C*M%vzH90s~?V]7 dkc:q6ݿ[;:A- hHvXzq)GS= i4q6v{VmJ6:h`C=V&,Z1 kM.LW4!_ZWfR"]iIY5CNFBV<_F]tɪaԺ8ȭs>A,g"1g%W+dpGVVo;.D}ȵry׈,c]ikf߾2̛G@!؟$ʞ2΂/pOtO^}FK6-5>Aױ)_ xlK HUAHe(gO&ak*Ar)Pe[4RB(G6]G,/6Q-l 3]d:! f3 x5qY'Za+D+yTڄUx;'t_e v*ڀ}#O,3]Li9S%$ T Ýz`^0ݢY=y^ԊWF &NE1}bq\_8NY+jP}T?p2#-ȿ vf.0q4a@/lÆ9=hsi.' ]gYt`R~6]N}Ru+lw4ϱEa-46LC5җuIB|HHqi H"j9JBzay7܌!sll/}ڊ2?ۅyL!)rxe7usNڄ@88{ a[^뗂AW"46] zAP-0~X;O*0d 숝 ;yM " LO;CO%vSƷCDk^<=l}K &ݕM,nXȈ: VcVַ1>#I= m0'#|l"{h; < ̎mFOްǞc#;2!A6F tz ͙.׋c?^>ٿ&!1v}6"PsEu| s1T!i-@ĊpNn$SՏ8qordMm#o[QTwYȸy'"ΔR6adzN Qw~=-ڻQEV)0 6R_Ҝi7˺Am<,7vjiX ̬Mz4VPh"Z+DuHW,FmVpڄJ2qlxr~tD^CIIVmd"XTLPb6./L= ֽbusC v-La ,rc$1pzdU- tgKWͼxrF`26ngIk_wP>ְZRA.S$y\j'vWLaXAW'է:_WC'/ V{V:!wS'*L?Yd1.u{ԇC)4 e6#0.->v"4ĎnuSos:x3SYw\Hvr;n+3YLڕ3'Eo#Z>W NNwuv=8㬛"Be514rHL?0S\2ieKEN\?Г7d)*-12\efo~ШC׀G~`P @X<f9N|eR:`l" 'ýM/ס@oQq':L}ՙ}eڟDSڛ#]<ai0׭,K}ӺN $.FLvd!uP!PGlnҮ'<3 d9eM[ΫSYj*LB 9V_ab]W率:vϪ7Y"5[~tKBZ?l3s YڽAO`/~B!ņcsWffC+5whHYLhwO+Dt;Ǖ?R(Z@ * 0AQ3*=eT5_F6'xHJRUW:>fi!mp@7t\3RtPEVZ $^w>f)Za >'{/Z+Q-Ƶf C혩ip?6ynO0g: hyɑYrq[Ti-^bvhA^l;4x=ˡ⤋& !YB CPՁj_R*BauъS\h$zF{&z\]]f ; PYSl!+\\?1Exx;pӺEdVKPyGok$oquW Q/d}ʯ7 s50(B;Xo.bf'Hv?a5%HK5^2pGllzf`x<唌өvsifD)%`1AX *;x&/CRIU-W?EmYO}u;*e&(R.j+ bKGn*BqC0\{9SJHb^4oMswzQ5It#ǡ gBkx;CG9LL*xBϨ+L`eQn-RdŮ/HOFV`Uֻ") @CbKCXƃ$~qNXY$@i5D9S1N 0GXeޅ?̻?Y3]IQ_Ud6WW$sa@^gRgDZV#ܗ~w7sŠ*,sۓgm_c Jvq$x'=_h֊5-K4qV)Kq3bOLa X`TՠX6.mkcz}M&F\jqM YOݱDSM| `x J+eUf)8UkbHܔ;.WA44p'كɟ͚!0Ȩ& A:% D{ omL2s @Џ1Oņ gÂ^ZQ4 %ё X*pV@]?c?Y)3ރDsyD=籽>3@细:kS[٦Ũqn(%)FOXN6^mP*⾳:YM3.&$u˛s2̌zj+ƿ?&;m&~G ClD˩h~4Z+Z_) ,0ER̙=xցۣO;~_uU(,W $PްvPy>m-wHWָe)m@6c뻕5?{S#]\>oˍtߣ (o RTP )OBMҧڦt.y8tNg}skMsB0->~\,,/. d.n Q _Br%}H9#PU6|QQHg7׃=A׾n:#U;7ܻE.k7rGcůJoI3i 殀]3A;VUq+= 8|AT;t;fivy^Tp.?#K&"&&⩙Bϐ\CIh=9+`>IJmtF$j!JP lGOi꒘t.tٚf#) B Qk󎇐=\Q| S)UT}^qe]+)1&HR}i *[`Ȏʧrŧ%C]-ӎlsPZgk>8^MQfh M`W =  GO~e k%s]:7yd<ܸ?"r}o\|SY͍ e~Dr? $dsų˧ahs~g( L4  @_̀.2PEuw)}NMuVyE*Q]߰2ok{g‰H[i*

Kr)KHv2Br U ;E!ṱ\(J)VͮMQky++͢!@gB-,+V^kEg}Zx~v[l) [EJa. L9&8w&L?˩|DI۱A'nN;7dW\-*Zn1}&=|*$*~m5N?_d=%e"x_ Ԃ Y mhk Y@>s޹k $*"r"P_\>M˅n&r%x̅0.E#{m3oT>d=vVWn09? B=y`_rfÞj->0hjA h!ӻDK8AwX$$Hb6PzW\*y`±ǽHFSG5qGW✵:( ^ E;&7دqkuf >B7#yo3 H1U&x1ځ Ba#H]6U-WbmЄ*ƜYg: ĊPHp@2}šW $ײ F@ȭHfUN/JNNRя25+ 8VR<o֢yįW;mR-AZlpd ZHBΆ:;ړR ))lj5NXѷF cWΰ|"/N0D)I/YPG@+WmA3RsRjv.`n#Mv_̌q 1+r?h#B%Y+ \ ew$ႛ_&3hʕ(d;͋u9x .+ES9-^#Ahh[bl Q5!Ih6Hx c^g4eU2޴[d,i?pv*$?yC w6+p?L}7grR!|D0tR-~KZY5}C: $^Vz^Th#=!zl9Qnm/JcHxk!X^^'._7 Fd.rZݣsX g$՛7G]Ep߼f{֟[ժ_:S+ոG.]Kצ _ljNoC`;a$-C)O"H?kۡ!E--=8RG]}W@jөR})5|qRn[E t6-x:(_[U`hPgC|Wr %2_>/8xv1|@Oav~&tC</M@Y(E'0eɒ}=j!Q6Xc-JBtDc51v%mwj2b1Ah*J~]TN ȥ?}l+Q'YC08 |IgmA>uhqu5oPk:ܱFv]>g(A 5k BrL@@y!HWҥhM)XNBN_Q,;_˜헤 Dѥd}d_)RaMztTyw2kۼ-QLwHׅn1v!/m9>%vqxdvpb~KI ѥMdtNEKm16AA̐$)E5% xnk/rNVnb_W1\4PA${xk(z|YS5!Z%~ !6ےqvugJ7/mj? v 8wJo2RxаLZ4e L;9ODsRY?|}ktҷ0 5_zn9 .!dg]fL,4CB{0)"3:I" ]" -ZXZYO)bd,qÚԇDqD-{R8XU 7Wd9/- @Yx;Xh[jDlsJ,e]ӈ2w ?ywy1ii:LװHVmy戩p.E܌`@&Fuuz  WTe&q(b4mc0[pC@=0_:f˿aYGCֲkZ=9Ns":1Jٟ58sFJ6[`V~ }+Kp7wܚ_. "z[ArrQPsSa#;QF'cVL-E+zbv`/,Dtu19G56֦*Xټ:q8FQEtTVc^3&,)佾z\a]gOk9oК*^yA+xR7DˆL]^ Ʃ dJsQA>AGFl2c!VP k'_i]^7x՚J# u%=$zH~Vpe+ç2^=اv;N^)pm'T8;$GugU0oּ`H+a }Y$ߨls%2!'PȹPZ$xӧu-uQP˹ * ER߅@Y]:b.G?cbǤ':"|Y\ 钳jg`?8u-k9P4{htkANfVd/m 3-zNFxjrga ˭B܈͜/VtLWIO:Vq&s$J^wg7 r&ѩ!kR O,)c]Ҕ/jRgǜdOҹ3FvSU)V,KƘ˿f"Z;c~1tp(8j&3:b@}ENy6_=hE5q򨫈v`^? a3,:٦Xcu{1<Ȅ&[x}fjv&@˔rWlvN.Q 9 fMaoYMX*Y"I?o*"У'` a!xI~LFU)Etǩt~6"Iw}9B{+duۈd[k|RsjUY~^~t*O:O2}xbV=tbOw#.8svvyhUpO晔iMF*6mTyn:!C+onA,B Fނdi8peb^ױLb C[ŚLsgjmu6$`xi-KSe hXWY7)599݊U簋0f̄?P`7bwGY7}=q81<; ƕ{ɧ/;ٖqZdA*E 4&_8is:fWQ<ڭ핵%t)قN=Ũ$M^w8Qt᱔PD_ENI;ꈆ"٪c1 sswI**#i'p`#}Y^A*z֢.`yÉlF!1VOq @1#TY&u *Y<&cc%t5Z3A\|U DD,ZB{5[{ 0Uꬿ#Rv |ǜ \Q.A?V1m |1ۊHs#7+}.ܫ #kF|6&Xv[|-4?emȝPI~e3}0""%{052C`n %2W1CW7GN4=^ Lc#Q(ۜΦǛ*pMߠØf>EzJ;ޜu7¸7!+٩v1{y+**L :aCRrL6Uf;O$]:du% ix4A5ԦaL_@s`qP+oG+D`&8wƈձӬEo9xR4հ{q * ܴJ'ߛ;YR[%34ӽ~ieXR)A2Y OEZby.p͊ N:Zaɑ{X^jj+PGe`Bq"{PrU6"n4ϬTBw^؎Hfe)>=tv4^>VQ):3!Ƽ1Ed2>NՔDLjn<"g&MM:yV4Tl_[:=;#>׍S"Z-h ?bQKalH6cP-hO<;w IyF0{ kQQ`Tsēުqv-lxcPXL`L7Qv.˓y7<8`|EF=kHc:ms͛bV.DYz3!hyDrG~du!f5R aJyE> K̋Z!>W$HI2^W.*!ezb.B@7p׃pQ\<f0gL=Xq5(=dfY~zA$A <=U{iniNZ d]W~$@= Yae>:baPߪ Nor :4QG3j [Q8ldMJ^xb[eg\̈́Θ{|]]-)$#NvmGobMl]9/w9j% ,`Gݭ%k ;{7A7l_ qPq3+X$_>stIsMVN|8kzW6&rbbPiya?UvT;SM"T#ʇ:!!$}\;M>fKEỚʉN!I\CG>= tˏYt;۫-!Tifl@\#eWDmxVϰK8TXfP뺑huo~]\%7 #A^|b]q(Zpa3O;[y#y!o 0~ ֆurUU'”\n<%[Usarwn/NHSԹ`Tul+ި$|VƖ*bq {{i*|J[ŚV[jkZbU zm~%v{~ȣ"TMEA'gv3:y/czw6FOD%} D.zZx~%F?;6 (o2lz ?}fː2~1ɕc _CQJQFH$fR{ 4SzΒlB Q4eв%֫Hx9G6#QР+{SyxG1Rr #1qMlsדu<ɑ=* z-0x3t 㣛VnS L3[;ZXy7g ez^53XsCN1oՓ#ϴm4ӟQoO,dλo#+35}f"ɜbtawzH߃Vv:Fn[0Xwam[y )6xi4q}UrUC*NfDxC/7K?UAŋlˀ9ҷXuqTQ8Ki-N̑P?Yn6bo24f\gĠB@G6P ttغYq{"J7, ^Ѧ1 x;(w&|e  "ԯq8%f?H#TiӀlpA!: bα[srޚ}PlH^A;j»'Bwy?D~Eѩ4SpubaHsik rA0p}KZ~Z7U0@?YChס&ӓbaQ Sϴ(=*,4exQ卌ML+:},lRXeo KN57jT,p0sohs΃d=9Nb+9Riہ?v->G6˄AK7˚ hBS$L$-W8ljD4,zW32͓1n M,$ʈaײ$*Px죄4xj@̗_aW]D'3j2N];>lyF9#7 |kƒ­IQ3Q I:?t Ű< اXӅc[f`⍴&m ;} V4-?59y \|zv;B CQ\ĄhI+zͿC|_j\wjqBm?MAyH6XZY#=B1 PѝmQؐSޫr 5p*T;3"}w^zž]g= Y$hq̱;)+jQzCf,#1$Dq82n , 6}Wg %%eۛh eg}5Sh ` oSzAO0zaMx%f'Givz2*b-oA80I\ If9m9.JebD&HP/@so>dְOsΎ%ov W.yiwSZQLB3`$~bufW~be[bj.[`kwSFenNwg)f Q-@\3bbnui=KU f9&dK}Аc34I&zByZI `g- mkniYL$?J& IiA{ Ӫ[cgnM{uVoi?Ŋ!RWǘu'x;y#2Nzg1Hͺr;ŽĚo6 O'ۣcJBZNΟLnCVluo3 2=!֨8D#yVE޼j9)% dTʬ#AybŰXH-/y=r9,-V25dp;bǴk͉Y 򕷝 y(3ZHYi`7;9cקLweZ 4c&BC‘@vPS9ؼhAɼ|nҞ.~meʶ8k \B*rɋ.7 GYF@3ZۏϠ\3\xThEkERo]YK{ VP[%YSq3>fDԻivw?1Xau|hZ,Jeo_uH3dA ctݹ;bmr.wByhLgrƌI.,o^l{k )56U.GjaL%rǛs{Vgs2gg8؅ʣGco}P$!R )V 8 oYFKPOdm<{[*K[m֣\IU2l|g6uǧy[пdk?9x'yc> I") % J=]RvƹXG+z.V+ppPU&ӊ2D0W0+&FHK\t2 @[_T }UB1Qb XeQ]^#9ڈYݛE{'݇{֮$԰7ݥ`{+峃ԱlĘRuLOx6BMFMPgB-9^S@ ɹ,1V0D"~4۶D%!DQaKr;LKEY*V1WYk6R=wRq6B%ZCAKFG&'ov*t>"($>"1Ts'- >SuBV\nǭ4[W/ %oee8k\ -0u+HEH6@ Z[2'Y׾T-5;\a>-쇚R<|6gېF?1R&D`c}Wт\J}rFo "hݿm.'Y=i_7@P "`=Ă9FF N2 $'~L9~sgcI'h̞K\FDsДohgYZ V'7% LTree-AutomataTree-Automata.Ta_impldocument.tex7zXZִF! }]]A-MՋhvG"uIBm5ik8v!z(\I^u?H3d&&lql|I!+q-_V6Yj^ZM̆WST.<mM$5[,)^,$fv}Rn=B㌀b#e~E/7@SRrlT42C]?x{fjקnqZXF@e33B'vDzo5)-C,a?Q'qjmS8eL[}Q!D-aɩy` OB^on>dt$vb` /G&ye`?.;bWȮY2asrg<ǥ>a@ߏ}pb sx}:/pT7s/VbENpL5"8GX2̹3lX}$#_t_E UZ Χ ,ԁ\:4+E4Y.x.6r!'Q<d} ` y_\ ֙Gxtq*:7M' ':s5& cř!܍.2ӃSj9aƣwVX{7 ]c4)veHyӁ#ksYmf [/t ޗ2+cCWɻeV1DO}2;G/(Dc|34YF[tR17% Ska\ojnV#58BW&MptG✫`d/ A޽aJf5OT;7P6P RYjjo#+۵x,C+%„ܣLϐEKolσ6 >]ְTZ !)  OWNlX7ݢ=eye %{K- !bX~㿀]|ѡ+iVOV M9ZcRЉ52R@N_^7q!NMP]yC*̴ykem@jzCdԩ3D9PkuDzP;- Z䵼}_zF&D5tDVpꭑ4#2:`G E9е`go 7Ud}qNu7*Plyu2ӈa=m? (}pn7;nϯ9 l4:i3TR{$slɰܹzrh(i &հ/zJ -Z(7eZZą*FqΤGco_*j v~KøO"VZu槪źv~7 aBd=4$ !t>@݅nvd}-t3S>x:ew{bfɔwQЂ֔ _k-83CgpmX=x]z;P<{Sނ/"z*d?m;JD̞]21(ҧ>7HFD+2zOV~u4h٦e"PW#:{VV9Ek/kIBC"R1ią'yHr|𰽭SH)Eqt!uao =yx䋯1O HB\"hhपZ4)մxmRH A!UP}iG'z76YJ/љ슿mNFt”32\;D0M+B j%V~ WAbvg- XWkF.:9:-1o`N5j X!E (4ľ=/Ք ł]{I(U 1JJuؿizwGYo:ެnaW (a [FӶ_X -R|Q*:z!}ڭD =39n.1 cETU}[ДomoqmjC3b(kHb(@M,TL_1_/rtəH *-Lm^i"SDky"N6= Y`f"%=MLiF$mx|&pk3}V@h'Y5]Y{@v_$g" 칋Fg/Pd#K*&*DWQ(M#S#߬lZ2Pk#G֛π0%7DM*Ve V0^T)f )uBdTxoG焐5'zt>P%\ݾ$[N[p+<_^m`Ƃ-hZdu!NW: |:akcS)Of"wߤ{.2UclQtџ.FsW½ ld)mܒ~c!qV C-<񃴔Xݺ m;Y2ikU}D>-t{{??Tdʼf#(rkbK,ܓqscO'-GL݇A|suoPSH͂LXq!=,#_ cӻ'hmfjR**!nYJ[~liܖ3Y612RYGy=KkF Ͱ:wEܵR: z3zZ+])SL˨<8CD \CDW8M@[ _Xki __4Xs%ﴧ;Ԑy /SUT?Bu- ƠR_II?zwSJ$2GuA{ а0,0\rV[jlYZ-߽S`^GiN nmD|A;'2