SQLite format 3@ 4Z4.  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   XK<,L ]%]Transition_Systems_and_Automata:threads=2elapsed=213.718cpu=378.664gc=22.104factor=1.777zXZִF! |]ŗXf1-q恈͐7ӺV _4TL]BҲ iہ?3X%%>;W\w96ZR|G[`WC;"^V:m]눒T klv)ꚕ8Zm@1HqoN_E47#n>-_G^C2ja;>O{ШR6rjK,7s4@bq 75g#I`Cz?jnGD!;dBL>5+)VDy m rAAk,(5"nl;rTwS `ܗ1W]I-i("GhnDh!{,AߜPn)`js=7-QFL؎h`GdzBr3ƒwPP}C͡홆Kq!Qx~ron.f—mQ hA9hH; Ы&-!+Nt#岯²Kp6< o:zNc Ng9Dc#zP&Hl@'B#_K^6<[.ۘb?A0 '9Aa*8jݸSTW "K Transition_Systems_and_Automata"VV~ytoje`[VK3% Transition_Systems_and_AutomataHOL-Library.Sublistdocument.tex7zXZִF! 8N]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5oS0R,Q*P(O'N%M$L#K"J!I HGFCB>:86420. , * ' $ !Ul |Q#  V J + y 2x   9AF?k  \(DK3%Transition_Systems_and_AutomataCAVA_Base.CAVA_Basedocument.tex/QKM%Transition_Systems_and_AutomataDFS_Framework.DFS_Framework_Miscdocument.tex.VKW%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Basicdocument.tex-hK{%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Extradocument.tex,EK5%Transition_Systems_and_AutomataCAVA_Base.Statisticsdocument.tex+TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBAdocument.tex*TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.DBAdocument.tex)WKY%Transition_Systems_and_AutomataDFS_Framework.DFS_Framework_Refine_Auxdocument.tex(TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.DFAdocument.tex'TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NFAdocument.tex&ZK_%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Nodesdocument.tex%UKU%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Mapsdocument.tex$]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_LTLdocument.tex#pK %Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Constructiondocument.tex"^Kg%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Implementdocument.tex!]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_Zipdocument.tex bKo%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_Systemdocument.texiK}%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Refinedocument.tex[Ka%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Refinedocument.texSKQ%Transition_Systems_and_AutomataDFS_Framework.Impl_Rev_Array_Stackdocument.texFK7%Transition_Systems_and_AutomataCAVA_Automata.Digraphdocument.tex]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Explicitdocument.texFK7%Transition_Systems_and_AutomataHOL-Library.Countabledocument.texJK?%Transition_Systems_and_AutomataHOL-Library.Nat_Bijectiondocument.texNKG%Transition_Systems_and_AutomataDFS_Framework.Reachable_Nodesdocument.texXK[%Transition_Systems_and_AutomataHOL-Library.Countable_Complete_Latticesdocument.texKKA%Transition_Systems_and_AutomataDFS_Framework.Tailrec_Impldocument.texIK=%Transition_Systems_and_AutomataDFS_Framework.Restr_Impldocument.tex^Kg%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Translatedocument.texJK?%Transition_Systems_and_AutomataHOL-Library.Countable_Setdocument.texIK=%Transition_Systems_and_AutomataHOL-Library.Old_Datatypedocument.texMKE%Transition_Systems_and_AutomataHOL-Library.Order_Continuitydocument.texYK]%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequencedocument.texWKY%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Refinedocument.texGK9%Transition_Systems_and_AutomataDFS_Framework.Rec_Impldocument.tex JK?%Transition_Systems_and_AutomataDFS_Framework.Simple_Impldocument.tex LKC%Transition_Systems_and_AutomataCAVA_Automata.Digraph_Basicdocument.tex CK1%Transition_Systems_and_AutomataHOL-Library.Streamdocument.tex IK=%Transition_Systems_and_AutomataHOL-Library.Extended_Natdocument.tex TKS%Transition_Systems_and_AutomataDFS_Framework.General_DFS_Structuredocument.texKKA%Transition_Systems_and_AutomataCAVA_Automata.Digraph_Impldocument.texZK_%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Implementdocument.tex]Ke%Transition_Systems_and_AutomataHOL-Library.Linear_Temporal_Logic_on_Streamsdocument.texLKC%Transition_Systems_and_AutomataHOL-Library.Omega_Words_Fundocument.texHK;%Transition_Systems_and_AutomataDFS_Framework.Param_DFSdocument.texOKI%Transition_Systems_and_AutomataDFS_Framework.DFS_Invars_Basicdocument.TCK1%Transition_Systems_and_AutomataHOL-Library.Streamdocument.tex f/*~k8ԁ@˾+}RNKL/hXz a4 s~Zbm 6 ʎh$ELAN,A +^"t"m_`9c)g¦2>h[vyW$PQN78lE Ø\.]pF= !D" .fqV$+?ȟbAlhc9HbK48ZcKup EWA>L_%lyc?Tվ rzuM9=˹+z 6hMQAM!o<^gX3K*\oLy˚_G"dWz&+i)'aM HjF9ڌo`A3diP:vy`3ٓPȝ;wLUq6i鴀˓O0XP/Tc?JL*+_IsOO\j:]x'5i1k2^&I"!̭}!ec֤Sa =%J;L>& ˙̰#k4륥>e)eNzbT{Z]Wvb<"]3Íʑ7K0bkmc8˻0)?W>i#귔MfhXLnK1`w>S/$̚';PhJݾ_bJy~.(PuN07F/߉*?;xev۽`21`1h9f9_@ȳђN4*e~2_ W/*M~{ZAnI*Okoe(IKm^sS ѐ p.W]a{-~&(tSm(}v@.H(ociUnnq B8m:hOԸ]]Ku(ٍqNВc>>wD(dOM5,|/kh|£,FLa ukIwZJ$LC<3WەʚD@<6+9U,֡X[5DL׽z/{><֑cSfɼ56zYqj n0J/=g{:MMяe P?D2zu|OHΆmu+ iMpLLHĸYs9bOzt`ĥ8P@4tFPHV $`< &vۚZ8C/!QTc,2|=e3PjqaC` xAͽjm.[1\X2Og FЈɕ:jޠڔy0UPP}<5q8 AաЩ.$?W?7|)w;>ZpOΞ Veu1_(kV[-QV<=,TL.))Q8PE1ɐx]s ke' >! |Z `l]Hh\Kz&yu!>f }2gt>D'SLz(_] U rݼQdᢦ kͧC&22J6FҗST,۷_ge qZ&)UNd5\~x4*Pt;9Bi=(Hjx^]kÇdH@fRlDtEtGagٰ;?gnsgQuV| 7IX͵1D4z:݋} IM IR;x:7 VWH"F Db`&6DB5ṘS6Il5zttR>C(爖vxY 4>0hU]9k#cmY/1l^~hh@r0J!oxȎs\9!,  ޒ x݃'.=m`IZ8.Ɠ[eS+[.`9@UHEUO7`>u-N2 (@v0R24k>GtZ3k8:Iwq:?6TG9" z 0Ipkzb$奒iZa RY/.>{%DZ5[v:qlxo[Jk!8 A==᛫p_:i=(j:K"w*~;#YC[ضps5oSJ GH/rz'gvP{%}ivomRWvmS- Pᣖ 0:PhdLp/`?ZYR~lo3s E\_C/e H-r89%Gj)IS~[qL7xcECC;E|Yb բ=_EڑU'_Ab ?nPdq ^7cm 3Uy_Ab,u4)Ы7[2QsU-HMtk0! @ ĿC:4vHia/z]!ʇ_b[ ) JAH+F )LHAHåGV@q񎜶d$i,h-X[ )UaWsH%%Q%If]":/mR`t{Z_~SQirFf5g1o^:n ''EGL|g8"@T,cg2!*5#O82' ~1 _#'z)Bl/FYlI_D(T0Ek8Cv*٘q닥o+erYO+߸zgT"M]>ѮLXN`x[`H@ˮإ(c0I!3G  _(oB~oN*I kQܲ ;lDPP3|{7)C3Ũ#I eMp_ 3Fx14%|Z4k| dkEM9yw(9`S*z<] V/I\F`ZY5_htgsc?2EՌ!Ϊ-0g~>ﭿ`(L&U'Y Ó<0һyJ#[ޙ92lJ]'lCwA(=O?,Xf ^$4;[5,e"O Ĝ zJz95$1 vIݗi( 9I) + q] ڐ+n'JayI@ };r6z{џGt$|iмrH{E/]OY炕 8.slvT[(/_)0vuL{nL-wo%G>5>cSFw &0Q)Òfud RJ+o6=Ʈ"I/1XLln6Txo2;4xllphR2IdCFkX0C)% yuDYO+@{IyƿRac!zvc I4b|8vܨ3 ǿ!*hڐP- lA0HPF(M.?|Rk+ ? [(Zw|fGk Pb΃M0uF+M8n 9%:iSBk(kept,յOyZ8-JZs25r| kJcn3 Z{ 0ږ$3%#-V!k\~4σjhf9ꈓ{ 萵eNf7 |ɅzbeCǰD' =s3+$YR:]Ab T:q>Tؠ1:_)an&m%uSG8 +ul׊~}DFÎj>ǎgI}ovxBhsY-í*Np:)76ry%p$Sieo?JH_Ƽab,BLn0b.7DW­z+蕝:c!2w3Ѓ0lcj'&Zڑr[TZͶ>A0߿LTI=-b)"gD#`s!=sD=Ewho~ ^^xJ:?fjmC} ,[y_}^ Wg('1c|DF`HaSGJDC<hanؕ6rV2#>-} /Zr9:46ywyh3 #Sݢ~6KXZ}PݗgIV#)p EaCw̠XSGhhNv]igp0AkMa;9"%WKP] Jzg#wɻ.tD b鲫'(TV)(_"f SoUlA~xK£c zA+t|%̏~]yx 9},덺xolO`*Dg ?!lˋӊ=֙sCbbֽ@2ߓ)yC-R'?C8\LK ٝ"DL_|M"Z!|tUELԪ3+}P;aP&!pՇLK<;.ouiЀ$Td" ΋\{sFb ?!gR8NSjA~^x0}L9%ϡ<\N(o)|^ѳُM]٥ljK[vRA5M|d { &A&?W L} ,?ɢ[ݹ;>j *!.Go Æ#-,\ .Qd({V%ؠwFT6ABgEQ΃ U :U'CP+p翔93:p}7<]&r55 9+c&Ħ<“] )Anʼn9[vpp~e˻#ːj P:ĥOy\ߊ+ghX^A- ΉU-ʆ׸&C*!8fiћtDo慈3KsWKP NLF徸ɘU[4hδud<7zPLӐt25o]â~i/|FU2=z%\ `:]*\:49-D )tq*]@G%Ճ '=n??ř!xPE9“yjq_.O77SO'SXtK'Vܡ6pbdCf+$ s8nK"*\JT(7Xzmcj)6F|rf{_%Ejz8%i ⸺!Ƙo#7BNϳ%E 2ݬ;R+zFp9u+nʱ@v.ᛤ7pZ$>Icg]Z9$T|H5,cH2}1;\LR$5fukf->#p ) C10MuoQ fZ:r]0(yXsW6^O"S ԓ  ڄ}~<\SLzu)RҺ=IemRM<+2[^6DܞCC4N!t\7 `~;8<1G-|̎I>{ԩ|?"q#SWgj%< J+m WR+xұ^dd"Wx[5Z2q!:hO=_#Ek=j=k>D`W )vg^י q|) "h+^މtY &Hw8hC@S?8szE͈q3Ǭ;Q$UT:kLC!#K <Ƅ4vX1Rs(z2 yv0nX3xpMBLBmUV-Ypo?q7i X.ߪkNڡC%_0)3J|i9o'W8;>^OЍ}ѥ_/}833#ޘk؛)H A*6Z(`rhN+fEnw(fz%}?eͨ}򵌗"dSyrkHɃ580-4nK]Kj2 WZ O|T9i܎/gq~쏌Gt2!mi0}ǫ! Lq{0J۞@t>(ڔEyJ w8:uB֤^g g|T "zop=G4 zvܱ2|!yvw3|j +`E)O5ȓL)R:pБI=؞`80z?^Ԑ1B բtpƅtgP.%έoJÓ-*a}=O@gċ1Qþ}黄xtuJFE*iZ=TI* `l9S6. M> -ܩ _ YdV邟ª$F(3=|muXwh_ڢ ?Uzٺz"! 6{%.ʰM'0 :]).peE~1;v@l|T( jH$"$i-/Z !=O:ɬ~i7v05֛>G@(i5KPCa$Z}Bd)U @?$twh-2IeTC} -JeJ\ WȨ,Z~ٙ9$7iFM& vWYcRqr2꟭n1FTθ [)q\ħȞr+HWٜKA3Wt* S;C'hJeU-+ÌRH3yҀDo0'ͭEi b 2 yMAJs.ю05_%}Iˆ|2bs(ޚe#&h$ mnh[@ъMfV~U5Q GV/O/VP|z)aKj7!5 ^>;2t\"ś*T?rZ3L7<͵n_3nv`\&b0F"XBkX1Y4ҏ,XNgdsOWxmaIKJI:hr{ (_3{Jn Ԁ-9(Ͽ1H./ TRG_lpq+v!{{ghG 2Nz!.ߕfHr"fb$DƫSa7i9jVK`X#M<~JKe띍1un49M&DZ7l0jtVjWR2*GjoN״d]l[/[U7C$%M:bƇ-> ȆF.nP\ZJؽ|rħ$Cڲ\qz 2muIVh"n {5w%ާJ.F*қCB''ݛ25VU*!`>9خ])6|-vbhNT-K@*MJL9PRZt23evՃ-Y:,z`2Sbᾠ )%2.C5 -U @Uust.D \@cH"\6eR|6~Urn@dzyJN荄5E0 `VUr`q"M9 B*kl+-nj+lH} kY6x^B⳻d PdaeI9PAu%W/!n(e 4pC^rsP 6Óۍ,e:fGQN-ʾVeGGb+|,z^ޝ5 5z͙gO~p%@eWvG4L`:_R) UYB߾wMjoFhy颊J_kD, 9 pK\*xNC2V*` ~'Tm.2.<- ?u[5N[q!߬ ܺP[G;j+oxl=rP>խ(Z.0I)]ʋM !J-<<( _o'Dyr.a$£-CCv:Tj>#r.AG,ܓN54I=rن|`Ϲ|Gڕ膭ͼ݌FUJˌݠpbu%USǺ*Iy_u&U6Nkx)W1XjTK3]Sڅ )eɅN/Y9(FSV 9J/Øs, @Nf <5cU[ZȅC:jMiRu'J#*.\h7f7Ъnf}o:EۑfRplEs?B<-[J_]?M-+f<ԯ2R" kKVD΁,B!8cxS4Vj͟Yk?p. "=0^pbHBkG\ުj҉e,[/0u71' Hc?`j#/\XiP6z4G5$A"d6IS㟴ګg Z6j:utu!=Gzc e0̙zoNHywEvpO;ӞDLIэiB같* vW.^?_wYdЖTX2\MDBh 䏔"/!%Czw- LLĂP7x`8vn/wan?oֆ̯R/M#SBވ@ Y[D(οtrR}ys &W9>qU&VDABqث0toRl3j&}wq[&,yBM =>hTMDYQ}d4"77u"wHu?6~)b=P9V+wxL;kY!UHD>e_ո*h!:.:P͸̾sMNz<3֘[0GEI4C"ۺC8Vp43˴S^ߝ᎒ʶ-L'FgPxTI Vf_a(*/I?oy{hB:IZO6K"kueht@EP fBu8^xy1?0µ՗RrY%VP|O>: G|PeE7گءXq4v 2X&KPYDI)$CL ղa\D)3iYy10Ǚ=#h oq1D1SOSv[6Eb0% 4tn qsuM|v9K{H0j<w3`8bE C"+=-]L&kԿ&V&0}ex K9M̼7̵1BN-u#s&PXG,2ZC,{}v`}I iQӆ@ xۺ"ϋoD\_ٻ4VN]b0)yZJROPLR9(#7ߡE'r$ JkXGM,zCeK*ւʡ*@+t8Hi5PSMTt'7~Ɗ q3Ԋ DzbG"9݀E2 }ě۠/w 1p?{LGBt LHo: Z>W *nةvžJZxo="{(^"mCڷR*w-CƼAWnwdJvpex]h zkQqc|hYsG<((@:]֗!Ѵo fuAVpPu0pj04%z+Y8~>VS YKjcƢD{U] y^׸[`״J(\r/LwwRjv'rlG"l/al qU6'P(蟩7wd8m]E'ma} )&)~z@-9\WJlFR lZ="8o\"愤Y d55bvty;7Zh?}{%~"i&gq?q#QՊʻ֔0$8$'HXA˔]7e):L~-h۴(hb q=AJk`kPx"|#tX|$\iĤĵރrS6Ћr^ yiX_"^ xTQ X,.om08r.$$|=T()th.mJUf:A3ٸkm^(ь  1/ "f睅X}O Cȫ%>P1U"`.j]Wr#F|JU|?(8lwQ)D]k^}PGQaCSf-|k#߯{ZFp@&JfL ߃*m$OZh]ڠV,d?6UDSswHN>a+ZaqDKEY.ѱ Ubf/5[uoGEK&*ү KXin:%10)=2ы@KTRɹ_*醙#4|g!@"o(62 8Wrܽ/R+(P&Ń ?FQ^mZY:.5A ՀJRnK+"I&hYq+@!>9f.(qfKb]%E_>KfւJ63-^EJ܏Ǭ `~O4<;-0#J2mdZ]0,"%%vh!!saǘpV闪V? ;rcg!.f^tļ5NSG:FkG_e / V31fQbz/^ 7 p ֯1kJ>~<dpoڽ=?kN<;xj$le 9~CSt1']?`V_M`8 N_eOs%TQ4aVAh&"F%SRa -&%4 aY`˞W7#_b`&P*+jZ*~_vސ 3!T9r֨VӪ|$}]Zyx0N {#Bu\yu5l~6t^VϦN'+.}\FXdMK}(n4IVd<7Rc9lUxlAÏ F8ez&(d|dMKnzH=+;y0j)fۓurү;˵~W:Hm#kBO4mufαgYZ $|(|68S|KNLQprۚq=yhgr:?I0ӓRf 7srLKW2ayIIw%hg\bgX`i݄F2󘺿v(/WR/댷[ʱuzP:W]b&%Ad4= M`P[y:-y ~76L;{H%[]CmRnˣr&^L .p?/79Jͼ[eT"n7BcItF=' T b.y'Q)yAd"sl';zgQv()'XY G5 ;OTł/w%YfypX բnGP {o:9^ JV݁U!:1LDn: *boHKvHR!n*M׾."`h{hĜ]Qb:п]`֍/eob q뒝y(rSr86 W !bfr:Z|4?e30\JNڣD} s .6amoxPee&F}`G B¸NkPϊFon_9`v#5Sd"βz "!h@߸{&1?K1xLTtack~222CF[>η;:W9ps b$qFVRlT8li~Z0Α jibвl eh+CW'+44_8 uD?N9i}E=V]kWhH+[#Vަ?#Fяa(]-a}W39ɗaD,Dc7"ZJ]6zfFB]:`|渥hT&A]7K6:=>JPJשXGeJըz}X-jf%!E(d +Χֽ jL[i7@uPgE0 o[]8[G<{w |R JcҦO4*j@?_l#|.kۀ+3G^'(j^]%c7jb (EECW0w=M#v&|`|W ƾSfIm #ЕRod9y'E_}D@ 6i]9 >iKț\#e^ {vaE@Ӊӿ=Bo]թ>-T1~h =?V3 G= aw;v"h'\q};PK*%\txq^|1 Fv\X;}3fjMF1 n\1k f$|$8ok?SCU ȴקA#8BS9Q+W>$h{#,rog ĸIm}̩f9[)cPNYɯ,c-T0E9"? |ݱSft*>3CA8o6w9Z@B&,M)aVV#`v[8K_HZ7BOHƃPKe^UMx+܊VũQ8];c Ы&7P2u# $OO@s[yu6D_YVHq%1$ 6&hMEor MEX- r*x`5;2~(y'r|!%`1^-:-u/1j_ /w=蜕?rUk77Ѭ,F@J` 053lqaLD: ߭h A14ĔfHJ8#[AHD: ~r q hP;K #)0j+h QpBs_Q/J&B/{qY*x_@!6Qogr/2!Ai+n8_ɭv/kI30nw6L%ʎ%Tv#zVdMjցjv=-ɶ.u%zիJ!bAHATPrB 'Ki,y:g)< >}d.RI\:Q&xqJ 3,{wy·4t)H)8Al-O,+dϳ54vsƴ)2jՙ7 )ҬcK12vW='1krBR%@0 PAާti{8Ss%=r]ptדU83 FWz)^vU$n3sUWMWri3U|8I*&w9tKH pCUQS.:>?S5,*GaI)T5/#Dpd섮tV4+;BA,*[p14Ҩ1qO?;@`QT%2)z(`ui:+MϪJ{mb 署DzbeiZ#Y0P}61A3qBg O7/ǞYy#x޶v>0Ld͍y UOzfm>o-e3d^\ C!;6eG^~ChRSNj&34!3t(%07&w<=SϼSm_΃qC˯k_e2}mV^ +Mpd3oq39Y&F/:N)tn9Kԣqe1>KO>>5"Pܦ}좷u<(7$sG`Rly(zqCWSJ:+/{f ; IL˅*3jS:6 k]r %Y Wlv&+˪OnOQR n6 }`~[G6<.fY(6X}T3 VZ+*'Ql\.{_KӡZ|W0v w4g=yw0Cs,nP (fuQ O*:KJ I(TEZQ{;v s+ hNkϫM$)t[KDiEVuّ4Bk? 2?dhƨ%H=ulaM>[bQ?Ƒ Šwvﰸ0sI"tIDH\.4} \ Ѽ O73AJډJCr̒#nZ2 e"4*WWt !B =qk@l.rTɨΖcrAB[8BI_!zt8x;57FO6Ϫm=8itO+mqo 5"cż8]ׅo;k2M^4DS1n8:X~boai@%K}t]S6[= J{ 6剾UԘtհPDn%@ݭoWKV?݆6(fZT~) bqw۪/ H|:hQX?Gۅ[]r䎼#sM1>;4Q0e&pFv;H 0&鎉ZMvb ;a6+P"H $v^x(\/R)N_ 8 oz ԧ7z*~La4/ .1mOTN\: !/(k%jfIe杽IDX>vYQؐ`/#%00w.73U(XYAaař1?^'K Bsn h)d7-C#=*HI d PQ]o%/|9+%nnq,ۓ Ȏ_gwZchhwD<6~s-hx/cْg Vl+PkWk7 -;V"P3e+݀K\OI00u ̞;5|J $QDJ Dh.")lA=h,rx,*N\SqEY sr- &瑥M JʅV[oΌ]=Dv|r7t6`@ N]ctS:VV)RRl3(,/;Vslc6HrG&BᬶT.[[p4=nV=͑ A\izڃZ}xr6O1!Cv!#^3+0?*7߰E#|0;X]KO'_Xgv-!x&CL)T̹Ohl2ua8$Ƽw{ւ?J-BC۱SV TbhI*wed lMzS+sȱ[Q3e-!C੄af1dFw*# 8歖s_*dM#\ɨ8l3e/{wVp7ɦ1nEQH"UהrT(J6*CP"6~8EW-??,a6JD2%a9&9 N`+;c黓bxʓ4J|tžu/k׺袴&-7\Kg{mre-z6Mlƶ"aW? w*1H5SA1'F;!ža`+77KCR8P-Dլx1-fÚ}+X8 9.*KD'I 9h7!lrڞC Mγ<'W&DeSȠjPg"E[ {';?A_@h7DN6F ^DA r/%?2MB8G9!ztlc^!ױ>Ԕ"ാ?uh˅6 ܋/1 t׷mmweGAFj&!\Snrf&i@)^(uKJ69sIⓟv$`kTZ uQ?La|8#zPA1*-~f@?X;$k 45Ocųx5D˲V[ܛ4}{w)ԝا2:/C&fs2|_Fk~n⊗Q1 (.K=*Ԧ$?B<8'"eҩ4B@R߲;JBNS0Wս;ETv d cNFZK!N5&tcaIVO&0~1I1fLJQt| H cG[YEc-m\'`YnWL<%Ե!92@d #lNqt<H%`%ӏ'* _A{(ʿn讳gYޏp2XcC4kHsJn5=tOP_ !&N gp_ƌKH;< (&cecO-Ǘ ` Ҭ6vR "fS% 4*vLp-Les?tfwcB%En A(b++wA aLï-PK~1{kF}I'T]D w,pZSGt0*x(ă <B#gz0!2!}6&{(AVT U\tLKJ!~}[W?ٔVueZYM(1ܼ D(SazLWuK/vjqs`]T7nAⲻ?tV (6?&eT=.h6T|7^b66zqӪ ˉם^qCfז}˻*? Ȧ?q 1a.@cTAz9"bP.!jB{`fد .h*~<ثOGxΤ >Tm0Rr#9sΥ;W'oy3aAAeE߾.ȇ3zEuz,,z*3a ag@X9 VR9Ha7,2}^#{=not6L6]a-Y|hYNM1:uC%Kas/{$qfsoֲΜW/[ݟ!{j/el;DǽQ2鞃(9l{;NYK%̳:H+Kj8 !/ B ܷ$ k+OWKi.Oh rIABY%j"e4[S\Xȳ8(Ż /\ozG*<=K;Q:>uts-\6; q3*/ ͤ+2@^"ܡiL B:PtL.{)6j;XRɬ^0سy Ft$b.5#Җ&ё: LŹKs/Я_FIDtwއ!~Ata5t ^c1:ߑqum!7ExvsK3 ? !i:RRN!]J$ω6`13tP߸O⾼Ene\9_3(7;3jd紜 ~*߲ňzf39BN|N$;*Aq('vܺ,S&Wfn9"d1s:E=[O/Uːǐ t0E:C ّ&әbEr%ugdv!_  Ahu4֤ 3bF8D02|m`c1T&<ZQ[\ߥ..T(ƣ`mym%Ee0Ōt(bW^'cJQc#`Rd;.8l;&偨?Z 2zX>%PD <$Bn_ʟ)Q4F|@qNԲr/ \971~1g ys D>Y/odVP xꔧTvj){;+R>$NhQ8#wHB'l v?wgn Qi[I9] NLP2|%元t6KAaqN*(Oh؇ -Y*A# ٯ)Zu=2ANn3ZoXK 77d`9m2ߣ1?spSHܞVF,-VAd53n=)]SӤE"$\KELKCI`nZq$Pd"ڐ%r^p4am'*ֶuO{**L: wU əT`4Hp+ؒ tCU~љqDKc/3~'Kўж ׀-!oJ?׆z5sh% P4Ǖ9F[|ⷊ2ďr3V|''1{jὭ=\*!*kE}%>i%\ODƒ9jCL5ɬ5u4+I1/yb)R6[ᆯR 9;}jH1l5QCR='ʐ\1GcfEB$ 2łP@޹~b;m*Tr~ĪJx"ɗA~vT6rcv.a إrevJ&S\W ".b [GyZ$f_uݪs}T汏{](?f]7 ITǾtkVeʐR{-,`P&U$Wl{>`ڶjQVІ*Fy o>Q4.Vv% d5LdR~($4f7+~ ,CTZp w#f}" &6_zf.9TuؖXPDlw S!qtN D^r3 jQ]h#2 W^ eĔ[g5B!I:$;l]%TA:d+q%e_҆usJdXe6M) 5q響*sd2RWԤSK}sk?^'xĘM nĩ b g9o; ײpvt>s+DF;mV@ Ve&,ngW[0 ԡHR?hU?-(''Gy&[>}zw8@Ŕ%b }U|Epk)9. *^]P!BK|y -?QvKv೧o|4gO~-풱c`ОP9\h@cgۖyt8R 6săj)j_Y&3k%`hC&J7m&Zl2m=Hǘk+\yZG0NJCJS<ɥfS[Zg.;p}JN\<3].J҃~Foͥ`uJ8pw3f_3)1`ºE`s*ci],֒)ʇAl9OZh;wƒp9]Q/AWOcc:y+Ϩ{N~T}t^MO)9I+0P_3s1 hSZ#^{Qo7*zU*/dDU Lo>H}:hv"B|HXlǝV@|r乽-v[A)mG'V"5Ig%@NحuȜ8^_Ye{~Gsԛ wq{7?GJf񵗣y0Ȥכx YRxe6F2^r!)Pw" 谜ҷ]:Zi vi'.!$AAv@$ؾ8dr2 RJE2" <&ҷX\րV{]訓<8[ j5hbe@rcf^>e,Z2Um"eGQu`vJ'ΛA;bigB2>@ }\#'05kD/ ΛNW*~2W(MTf/st3 JRcGQuEub.;` >9q=}]=}>I3' gT2rEgmѕԧ.=|t+vfVXV);V[&Hp#s.Fğs)s%ƨ C8O Hq,ްgr{V(sh!1jZXwX.R [ny^ d^fNnX&c PUv1@4,8C0'}D̺p`o,,# 4 ZrQ|cl$!5:pM^jU6 Za禫[957mZLOB0eO{漃&-uY^ F*7 #  p:\w*E&^s 8!.NIcKeցy.1.q%U7; A!7ZoUҜbt,r&5va 1_XY.B/-q9e'MRL8Ű##Zʤ|j kϽT?C9`AvSq_˻ys[(4q8@R-["'V}7sT? H3wdgs.]}*"fjWѯ鞦]R%r T4G#@@뒖 e#zm%w]V2\:'ӤnYu0RV=wbO8ZT f π/K3IQXZP]{:[u`,/*l5^ .K(Bfz6^?ώU7K wPU8_fU$ әWv9_ziBj7;U%.PF5r*5(vjW-;zEHzc]Nr}>Ljfϑ̒ӪXZi݀lě1f<8SwGjX>Jr v}0r%WI A`i[ɐ%?(STPs.q0.]`꾤w0=8C"SDjkw)ʷs:wh.aoNݻt˲Uœ BɲmkHǠ02LuuWaMޏݷh1 LOD-m [l\s$S wiez8{a]%f j`>G}Rh%k5mӣנU=`Mfjg:e.=aX0,ˈs?'*4*6{'[X &H*|TnfG:0"%1E,:k)}EԸ޺ %_x>>7} c2#}0 =Ъ3K \Av y.nH^%=ҍMSBs;T,? SrAal;xkTDϥpqP6Yy2e?J_)c|5ۂx1nv6">NM)ۧ\ox]{!9)H.gC MnTBsRQ!;cK];ʎCϛBR'J޽!;tmc2/ B"%Gg8.nާ!ĉFݤZR?næ$`sꎽ[-yzڀGon`%Hy]+`Fgnp8-d͎QG \pG٤=/`=@jb7kťs#F|۷.%zo^#%SsS'uнb(a#c糀_2p Dhao7BgJz26D  6h/&LQ1N$I`F(FDު="qEE"8t4q S2Lm t6k@#kK̠k/4=ot6hLJr܃H g"JV ܑSu ZSUpq<{a! ]  JFm ? h#=ieGL;?=eE$V5K-3PU[KEnk*lvcv#>Rw3.ꥯ !KU^o:5TwOpl6#y)ab ,CFh]vܗyNv~h4LD1 h1(k`.߆i!R@1W[Jh:# o{ "_8;V4,,ǖkx {ݬT'1y,J c Ȗ:Nrq2C~FA&,wTl3p =)5k쌬rdYmN]9zZ/THpvF/`N 'miD l~he_7JB__Uh[;==o#<>'rm܀*1)zd3sP$GѭHqb(Y=?`>bcW] iցQZ?0L˨E7 `njsU: o;=fPk:k2uq;oJ)tImS)D@wL|Gi9WehioUb2Y+_"\S4]ӡ8$f&{Legl\jϫ~C{b#CٴYdf %Wy"6'W8Kg̛B,' =jr/8k$8 SxulH s^@[^XIT.C2w{^ N-j,RZ'bf,ar3-){ѫ$7{{_Eę«Xk*v_@xC{|͙8{AoDKt2CnRj7IbW8 szz:euI욻lJ@`,T~8կrj;LK]^ sjS(dnUDM i#o[u,)[{uKaa'z$GW#t)^[kքb{/Tl.fWtW#e׫ff~ugP卞c.'*SQrУFUm;&Q"%@L˱Eʦo!FTԣ%E<)—& O.45<{v}]}d%b}i]CKNitl<c8@sֹlpm.ab5g5!hۘhq:X<2?qv`LDzǿ`s[9wҀtKۄQfHFw'M 5FiK|~4|iCVW]/gfowP&x'۳7hQw6ۻBIM8(}[^vo)\4&$g pB=D'A$GMvl\ׯwne2غ| ?Fܓ5{ɷ,'YkWb:blމGsOi)W"bk xcBpKG@![iW>KR]UiUrYauA~?T U2;jRAK8 0aca+{#5?Ksi-3^bdGYᦏ& =FL06ɴSANS8#8l[FބF#6'o A~u6~F1dr. k~_~t %LAo[́ffŠc rM(D&d*PzDžK9"~+%쀶:Zr"\w aI"KECgEINW /⽨$8\V{ۭ0zJZW&V!REY 9j9,{}LrS$)/gnJf ;Bx&9o!uY ~$.,=>HQh韛\ 2eZ8v{I%zT<鴄.&[.WlUAXUj| WIs\}|у/aB>NLSo,EH]ԄU = )X `,x9%pJt'f$MqD":4?vy GMph6ҬfvmٍB`{P4k|?GUlB7zg|퓇L.oiӓ6/ mI.\+X3DNIzW[F6;gYu9|8r sEɴȦe$֤o;|E'lS "bڋր<ֱЈPK3\}y\Q~FؔC{neTTstI#$oeEm&oajHNſ-oBɰwr+FPώ`%VZ=fF>V'ir Gv}/1KϬ6hvR+'1Iaʼn߂ fR|>*v.$Be9+<B`P0Uڐ:1i5Mf.pFLRa`4= yh\6ZY˾=}L@ qν|6k ;x _ 7 [v'#1@b!h&/%GsPB5í#s{i+@T0 sPfc=’mzy5ILJdSa$g=1 f6FӨes|hGD#KV(.bS._Z@CFvGE5sι|$Nr -D/ueCO)i0r 9'a9}k9LPQ&gs\I+ad/FwRrouN <?idh2]K4bG==g `Qr +)NKN9-v0#0e\RK Wp46 J|mӵoԍ-ѫ H<zYcoh$φȨ*"IUJN%oۙQӀ 1 j#y_QQ w]:Vx#͔O|kb3bs[ yJDypePod/NeqD nD5ʓQ|r59#.O /E(h>,;{R@`VqV˩¨*:!89)<2L!q~Lj/:Kj8phRڧWO˶FSGH4nvdaBB-%Icj.)j2ĻOᲆu%k(,H%G՚ ]_L nG&Vz=, aF(9j7Xl8H*%>c/ +ȫu-Ւ[Uv~#[#X"&ڰ4fӑI?!v5Zi0Nǻ-z@k6;NBTDұkKӐ:$0&Ԏ}*/~ pڑ6Q3q|HWe#{~to"PKOqp֤-֌|6"#"/hܶFꀳk~4?V$]=+41p x^I-ie4Pn&ie"Ma`i4<h d3Ѝ/aJ(? 4'$1G7@5QޣC4|7gkޛ. ʯ;:W\@`h/e7&QzOr9^_ W"$pZ*WG60$Nz\ .2wo,~bYz8Ope67ߑWQlx|h>+]_3Eq?\x@U){.3L55{ŋN2 ^V_J0.+^)o|VCE'U؞: ;2)=/`=.?3I9:$0u㲖K/ΠU/5tSOf]1Qۯ:ªaݴ,m f9gYh`*GxZm(80Ԗ> ,#1=2OLHp䀈l=$¶gi lx76yݖ 7+eq0zؼNgΣôb^E@ •ޒ3ƱԆHZSeS#jcֿvkK 6Qe/>E:FW"݊:l}; u0Ǡe8fD@w6քN7YAc04kr\F M5EՂO#O~ٻe"تcP4J,(7QGR3\cۉ~* ^ X&ې\v6,(~6WDaIs YSo!AѤ7BI7ҽbME%'_/^UקǮ'Y+Pgj2-+yեigiDtxDPGB0alFPa'qG%u>33R|"PpWƓl#UYu9gU)2F[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl  fK;% DTransition_Systems_and_AutomataDFS_Framework.Param_DFSdocument.tex7zXZִF! ML7]A-MՋhvG"uIBm5D" GXxO><'$A~7KϾChtӟc_4ieʒ;(:ݹN] 2ڶ: :Jm^i 5{iW:ۗ8Wq(}Q(Uuv@Wo;'vDYyjYQ'|\+LWF̱fa斔'lC'Q{C7j/*i3|T1 ˣmcN RTyR,=Fס-6T]`6{첄!}!\!>jDՇT;3Fp0  IM%jխlPx鳜@Z̞ߟHR8'[Եa Z|Eθgɧ'maH^KiY$vP8/8e-tλYz VwMhB4oBӊ0oT$=&%l@]͚@6~, 9WuKc#l ;nc:Nmy ӸpCh'Gn{Nę} ٦%)Kkȱ xBkqMr^A^.7KV s$W$"xk;:3súRw!${5ߐڷocTh=su@ȜT"f_|:HUV|Iҋ7 J簚i6*$ISA#CۼKK;$Eġ&&7li!?v讧qѽM+seb/ϧtYوv7Xq2ur3㐂V.6̨0&^tp%1У/K:/&/>T:\-DWeU 4n>ùa M67vI._q\5+/}-,;U{*l"% e1<(Jp9#M6P;?ힰd稍ughEᥒppf&'FxW;zxc,.".JvAAc=A^%J)}./LT^RA\%`KVU.]TCtN5b?h(`E&9wN4,((;^z$58ǃH >`S'5S ,:w*1hZPS|ψwqr9dHZ.iA`jdx>0i |^/(] KqZCH͊lkt֟\0A[2.fwܓF[ F5L<MKI% Transition_Systems_and_AutomataDFS_Framework.DFS_Invars_Basicdocument.tex7zXZִF! QS;]A-MՋhvG"uIBm5gEeUDrĦ\bTŃjwS|t S TbA ih~ΰ(g Hu7˕ ?aϻfՠ9J#*Ϛ`UƲ 5 K .Ƨ/O% $PET2%jqysqL*>mZ 0)]eJf =G)qtYކfg) K?M(9t棢-vM!䣛mP}E:PFL7u9g3"\`0V,`20;_}=D퐑 du;& Wx.۲V"1ofWxIvMpg(KJp35G :X{<.$,gbJh|CkԊ}>pŏaZe0rʸpHKy7)%-nֈ5 ⢃ʝj뵬jW類@ 5HT[@ ^s^tsfVꔵ񫐶$?a 2\)º 5hvvFbD^yl줸@ϟG%5Fӯl/ĩ~E0bڻ`oݯ?qzWWEG,t>XPv}MGT u.}Y:4L̃syH3OŊ-ԬAL ;z#x YS%q!d{St77rCI Vi/BumJZ6TqjY4j]0nR()#[= ܅phL;|0e Ŭti-w Dzz9b=U"b]og(:sԅ e7xU$ -KD |T"h~Yyi B]蓓\OfRVkFxIzC kB:P`?nM#P,RU~Q6'em(RC1PPǩ1_iSZ>GRrJZM|09:}L2nt(S!ҏIVD鏅U/K`I2a'KxHc qR0R2_7 =tӒ{ ׈\n{C&VˇZ:+/(tL}4Fy+.!:T%JuO(B,tѹ3ϷĠ+CjbDףr.(e|)+d宩]G=NT&g,2)(.9Y#j:M`[T�JIG_NY?S^JC=<'K=yk+%T %bgQ"Tj–$8>0OSgGwЕ`!Xag2;8Ԉ27uEII[ytJfz] V+ 4EDйc l:*Ym0"hRWz^–)8spxZk[/A;vR{\ tw#XO6e\~GztqB}gG %߭!.[i<|oY|N0Y1GƅX0@Rt$i8њqDa9bX? "ua =i?1Dy#C' "gV%兟mO |2U#=eT &$zO$y`MrΘ0'i: C5c l=3ue=PŒTk!A_8Mp(|; /1q_W-;ECW_6x `{:G瑯ئ;ʡρԓ ?cAd~ :$T֒.t~S)0R!ro)8X\8c+6l[v|foT"v@=V yoG;c Mq[nXylm!9n"x.vy i+^k~E7%NE sAY=Iyq亄k]4PN"y87tt .B]~=II9({5\ tќWܪӵW2yh T`V@`FU'_AֆX&G,VD6/ʬXfr jXl?fGx c|dXaݨ_i} vzCT !ke\ҙv`oA A@] .TROhkqh @ MYT.pAiT-oK`> Aa D,)-VgA:d\77 %pkRIFUQbIxcr8Źu.o_gV!}Ip%8[$|&Dz9-8pH<'^U^_ш& 78ǝ\ ]l>kE? ȭalB|or;N[H\ႭC"k5Z0 ҫ F<\k ˟)2JaӢ1!Q#+0/wLT3d̨ yGG o -^G"GEo`.gcꈝYS^:9ѯz(y蹱9'8JZ6ۿWѼ J$w%K.@hQ Z|D}.#qpD4! AھJ3ړ~KkeE?z-[c}EQ]J xicE9Z3]iv߹Wpܥސ<;Y)YSE bC H([%AVS6\Bf4ODi+'!GfxFR/zͅ93_4 kN]oPю+s` BxmgP8G*4N®cEÓ$\j\SEYdIG5!C6&_ '?8ud&m$Y$1}lm/ O!šwZB녓s4=2&K$ςJ9*p`8 pɾܒ<{Ӧ13)~*9l|GAvA;az;W2|&|z|Am 2*wJȍ9|a0: m1\0urwUij@ \p!Ds|p~"{!0䛆.ɥǐmv+ O2L/jF2QZOUI[[z+1vipmO*Re&N]zqZp&]εoa1@~.B0P81RVtTϏ~i"h\t]D-S|A׍}AZAɄ|up l_%ÅMsxqz\EBV䡁vmŶA!JvARgn\7,|;pr} ȖBi]+=c_[TCD"YaHt>_sB˸Us 1xNΧԞ<5m!g7@0IͅIk<"(MN#{'VJv6 .Jм=w%9im~ʧLG1ٌ'Hd#7 NP'Zo[:ъ~m)Y7+4R[$+ṵVrxX3kmgU5Dʛt->} >piY^pfNL( ߽1ăF= uvü~~ު%MWXo A׀f'r!^X3 `e 5D"'%ϵ`k[htcsqeC8+*C5cz[d [Rfbn~?ړ(ݨAP0>'.٥5 pbģc˗\K/c]YM| 袦͆L=S+S-c,,y>hdCUt"̾П1pSUio xN.4хK}}q:O9aicTrjtIk~<>0!<oI(rlX#؉TDpBA8,WMO[<ꅚ#6P9|0.[ge4#~:Z{ |y$bj\4ڙ%u(0R. ͔fwݢe5É`O?@WH)$eW8*OySs2 ∈ iKi2П+ -6&yb$/a/WW5u.6Ǘ 3wyxOWaDYH?g b:p:P:mJʚ=&=o& Tu%[ l_Ceuuq"73@*=Dxv}iR^p:jND`s3͢ ,Y $*NI/A Q?>~u m>5$J@3d?9&(adiSO,NM@ F d:#%`\K }ar&2X':KjFޭ:@Qu ,|吴]Da{FPUɠ:S!gM 2Y۟;^BPa4Ya/|#4tL4wDy#15Vi'^jLo!.8Qm;>赠4$%_Ԓ%[5DWs;ʻZO`wYD5)"x;{͝(]2Ľy0u~Y؈[|oFCGNDXeAJ.`*jdܾ/"YRl7- unfv˗s*[nip}KU;Qs) o!z Ip6h֮%)k4ƨ..jĘdZv >>A,߽\@e$C~$xfundbZ ,Ò~M3CyP4ѿ llV$ @#HU)?_!F`-kZQF~STg2xK{M8k_t㴌gx3;&,Y^('d tbS$WV)%=i-*boK@oEɑы[xUB ߷"H~u1dE zeo +N >譫! &^vآ}i!jjltP$%V͹ +^皞+ngq;EUM*zaM >FiڃˢI6 B9'T:iGAZ"v}#U6w[g27;TqJ/7Hڣrg%eihrzmү : ,jPw@"C"H7`tUbJqtҝ͙o( ~6T/T0ˡ7i$p\uTwcؔ-F[Z}J=kCB1H(U3#%0H o2uŌ=ƶϿJX ts#mv(r0qO|G1.=׌jy\ \˺v lOǐ!zz6y񁎤G8f~[),qȫ#R1SSvu[%d8Fe]tQ=dNi }NmJZ{mN;.äÄ*E &8N>h#W9:ΰjѷzTLQ15*ۧ1lx VT.h!a7&k'bEm]$ ZuF'pc4Y=hTA4x\ ӱYb9=/懔8utv&/"2r0o쳜PLmI- ЯJ0Zo~<pfQ1#w:u+b?#zv:0T(RˈJ?Ԉ!ȐhUZFMF_seG" $b X v> jD5Qq|>t<#Io E&8cO/:ؔ0 &0}h=~n!9 }P ` #Ebי$r@;}]2_|B6$N<5lsuE{y!`$&i?2>a1l,|/^czC`B.ѐd.yxp,+*iǤ,d$uC|D,\cҋH#26E^vv8%>gz4 $vӉ9گ!d݆627qoj,,Ixre^kc:ǠnoxE=.Zj;Nv*I8]I~mG}ڪKn*6W;dYQI#9dD-S0٘1H {N;KJ^L&dSF/fd/+/B=z6fv|O[qyeTT2@&xJ Z[nC/V ]TZt@k8xS]}JUt s*) ⅴ,m O4pL, R>_W%ro- 05:6NHϐ/gSs%Fa^!xc*AfM +aI< Y]d븾PQDžL*F3lr ]DΈs׫ 4A X#^(mT3%1K<4F.4dyCLgʴDXvȸN4Ikv}͌Y1$! 'g~ 0u 4ުYmo*X7|7%.upQ쏺uxy뱇7/"Jn U;'p8DgRaHaSHfR-KWQ8(ePY/'AdF\?qR =t/^`uX (dY]2.3Mfa>}˶':Ah-1ӔҎIk,$).n/%XfXrWf2Ĵy|[o983_V ycY;LpZ:fP}rh 5& &'3 6MX 剤N2ڬm2xE<L1EۢUY|rNzę<b.JF= #-؝A~>Ā ^{0hk6`t?=0*Csf{9Z-^NhXemeET G<üoDO鰟y4L139<RVE o眾?>"W;çl=[~œ<çӦ) QsSstV  ;o+J".6Z_AL;+s;sxx.%e)+nL~ tt^=`<^僓˥`+S_!9> ןn>U_ _ RYZ(k+ccd;^UI S6 p}eUsZr {1$<6Ixtvag9֐)4q]!;dbG`6FJq@WhכKzĈv@ϦZrCێ"?!aoxwʦ9{ixz 7-fjiZ=q¿T¹FyjoV2]C4gEO91I]&EZX{(pVK3UxzfOI[m˨,sJ6I`/;gY%&} X-f+՘֬Z6PYAZ~[UݐRc? rG11 rsAn=[}w.ڝ ݱJu I?zV@ >Lŋx>saMOFhSd98T{\ߤ@3J..?w9ml WEc:pdxD&=N=3Syd^}az_BK45+n&=1 4s'V8˻-0;nݴ;2?G74 q-UG8vؼxIXqPXF Ib }Y`Nvc[R^/†ə"% ;`V+Ùazy)n ؏VMٻ[6=̦>s!a>GQ.ܣZ].gNQ#d[`C`-2Kȃ"4LTGȂ 5*!Tf֣\C併VDՔ%E s!W&!XPknz%Uќ)n6vSmfPRyfqr#@cp2[Um+P.G0;ag413|$Ța( !}uh!Oɗ. &bN^[$63dOHZ?Y63 -sUGYx/cx=$j&3,Fݰc$VS0F:4?qn~§$"Zdwf,dajiEޚM\Egh ~) $څHKŃ18 sǦ }`0ĬTƔ^LԙP+7E![\?Z[$%ۘI\z`Bq@eHrst㡓q ` O2ݤ 1l*;p ACA]Njv >A͌h\PB\Mʳaq6>kj2맣F6B'N:59M欬.04A%ـ[IAQOiz K }nL})ũ-DFϣ7ߧ;Pt@kqF$9S'n{] K8C{YX&u0>-*gX/+t:lLZK1Foch}AˠZYȤՌf2/(;-1JaD\5O$ձLN%",t_ $ 52G-ϡ[  !U )+M[i.O:u~zl+>ML&\8Ƹo͚ PhgYZ/C읿v^\vL AN&nV~϶*8PYK_PncxG#. Ǜ'NTs*Jiݡ;*igIyN IV8Ҕ=1Ӊ/_M*j3L&u:gHD=j &_/~qe<(f;>F@ӓ)2Cw`ly42v $_PkͶKmWwgi;iw+Wk(b| %PM4[Ud{]> ܃ kp&O;0ElNqQ[xjh0eG]?;؂,HY0N{'XL2c`ځ:d MFm˯ngV1 *ÁBTG;,jTݹ-> nQrFK9kkVvp{[{nqdI::1bUםE&sAUME7bh=$ʣ6* _!go.ٖ߫ W{Է Aٞe0J4*X_-^inNP5i c>j_03. BK! zWYJl{@QN%chdPJi3yGl7q\s[65v ؞@lWHtr<%xjg9TNEbb;{:g%aŗF8u"SkLLh@Uh'qNu9lY6@r7Y憬VRKϓЬP+ 0 3ľ i]X<~E1W& >/9+G `eZ=QO|d\&N[)w{j?unN A<`ȶGW8pnξ* nU2f/޷]Tvw *hNyΦOΠƼÃ_x\TkQ1pV̓׼ecy t=j׉ !jq̦7whpVAcu`ǐ远Lo'ws[!)luF ui.u 2@b%,L k.m=&[ D8JU_ܼ63q7Y|6ӧg~`HYUX՝#PJ/."Bg2EIXAԤ8$ltȴ >q`N)8˙;,$]`JQD b("˳YL>mS iZ[oZcf5orɥ2eOܛCrݍTnUުi1?_ m ހN ꗽP}& XHs_!C\zyRC35Adm[&ȌK 1QA1D^60eVrq)!6Hv=X Jȇv^Bm2 V` Q D4DA` Z V` &p L;1*D~;!<QCC֜ !SYg0m٢~rH3q",ҙxۡ1hi, sU#&d;؂,d:0qN}d031KbFvIa%C0+CQ>ӻCCcz< MZRe ߲z |@PmզR U&?ªR?ܒ u *BFņ㯢9޶ogO4Ȓ {ElncG,?3HPTn!<V'70gTy^Y]dGفK/G&xVڶƏ1nG&4X-3"EY^Z,.B%8)#0\O\fZ\BS+ +Dj`i$M>LF8w;0ee D0r )ZTbQb&JC:Syq""J 2aYz8CB>ߕS6sAn2UZ_d6JְޫP^3KK^87JbyXc.ܗb?*">NJ&1R=IU~@$ն? 87D[CW'\EB~l!p#5W ;_+/?]vMTXzQ"dɗ rSUqGVT\FYM &ZL lIwq Y r-o!~ ۣ*L p{I2dZ͝bzi cziTpqK7+*q _PX&QfDt57x[fZZ33f4#jxմFGy\NHS8It{R^ʔk|(ҭUmᛑ. :RE'X0a]wdgm>@v|OIWoA@W3_ܴMh3&x5@ @Y?qɘ7LmBhN w|*O1+<1|Zׂ;н$i]up:bo˒\+ 0qdf%ʟȜ@ &}|utrAO鎢Ŗ, /<1Q B5Z*>UIn6€x0%S|ቯBf[@:sg?BӞ8[K/DXf&)b"oEhXƭ\$H/D3S:m&Qα"AP=q&C2Y#طb3,#g"X %^_O=0̨lAcX~_RQSV፟OG%oEiKw(tFU+? }qBӽKHlD"_Ґ ` "GW6~LhYB 2uE(QM_`I3c|k s9CuX˅\htꀣVQQt.2'Huم7LbTf`h]wǻlNqih-.ʜ'Uґ5]TdL%[A.fFaRl]E6m0&v({%.;6,g:n#n'l&70FQL5o[Rͼ_)12\_> joڿS3SكdRM< $TEqcT?Y5ī*!Lv=uOvP耴҃_͔yjaW_qn(K&KYDâ|,Wq3 ޖC<*2 UΘM \doecm-)qZ@"=(1q;1 i×K)AeBNv~yl!~BXd}(8PD lb*咼f e';Iq7NHSF==p:1cC;kU '~ -)f/JBڀgqyd-g i >V9 3m= `5ݤr;=V)ylOs` R 662UYId_LEjiBxRg|j˾=]'Q7 Hdn`3`OJ;Ms|k2/w&.>ID@` D+¶xN+\1G-%h!d@"=&&f>#WNܽ=unR-Q{{n@00Kʨ.իrV?fS_-/Pa1FN-U(zpl,1!Y<0S3[g3삜sgݗ %fl/'mgS2&UQ\BUa ^ۉX™~7Ȁ vIiw§QFXI 4h(?f9u"=94H7P qOm@i Ҝ"ƒzaY)υd*05P`f X5mlMWhq '7!U!1bTewI2;0L/x459}m!wo߳{Rxf:$yyAY>nCAJXƫn<-;z~N;FnE*%m 0Z^H-& $uD&U ]{+"L+j2-ҋb$/&Pn>,~ _YNJˉ9_; R2ӲyT#6оxJKW>tV8G@ t2U<hy⛎;-R:X(#ݎcNjET^g^Dm\iY^eJ xیfڙ/A5₷<z7QJB>Xp1D*ޣhLBX䆱f+#l؀1J^-\; 4*ң>SXp\3\=@N٫> ƘuŎAm:2'QPŏڏ -}8n ӌH2]*+sUh?hBJ>ETb*l/m93=ıH0wx̢ʾ\*>P(G 9s_.VmW~TIl+}tZxMgPE#s^RoDyZ<ê$fcSFp+p)o&07XCeyIf:aD_7('T QѺ. IF"0GH"T'6]H#ezl_]%{޶( 70$gkYnW:5>q9ET?UFx`/,Q&,7OydHN'T)h-A=n %"r!ʘy:Cx }B?MUX3w{M@ՅtcyܠWx\z7J64~g`wbC*hnˡ54sĊlH zWQsoZ-TlaG2}<̷$-X^v5Z(5)9Jg ]N]÷@wbbeD߱b3"wC}{6!.u4쫉%7⏔ QduLyZP1<_BxE+Y,Ҋh 2'i 0̫O),^S"l l: 6W@x!.+'vXnӡ6?ZB<0(ntO$'>1bTRh "RALdG@. cMarʶX7M3- Tk`BDе׼\+89CNW{[_HA8GƎhK5o[+ y@GT-S@ L+A,j-Q^;6H& d8 TqSQG7sLj^f B)o,0ӟ[et rn\y [v\zi>KHaV9mo--v}r[JnOKV=^-x 9ٰsal,XI LTsáZNʑc 4D=E jd۰6F[(/ %K4)@|3ZAߟ1{Z WQG%16ɟߴ|~YD}%^UHգ׿fC!\B@rF-1QjxN: 38W\Ap4 N^16t0;Qor~17lV`S9lsb)8rW t*"Lj(1QF9N\a;*2B|ޢ|Tk㳝VGjgPZz>)=[jmXFP:iiQ=i_!*}7#}UDpG@S#WM߱x[mzq !Fȶrwrh/pē >)0Ņ)Kof>,&v_5EI Дӷo} 5kQU+Yd/2GG^}^yb'¸!Ar=I #7?@tYO>kMv w lxMI !XҘ&U4G##g)Fՠ""DdBZY޷ s g&oo{+&;R qIňޘIzE˥V'erucAE{ɼoop&˭ (dZ=/*(1Y2#pArz M0T)*Ie}|yR܀U8s4UIhӸz3w8d؍2nF'zqhIkuԵѝ,yZfqؚu?"H.Oe͈a6rY~FT^G nCH\&V6Ђ1썥Zd^E1CYb#a@&(7k.[8Lz=.$eI:ڧ nwYu#jz/UAq :0`:1Tu0·g+}2Y dzd\9Y]QdKSid4-.7+tAy&3 &BB}{zŲ߱y_y rrGFd]j9RT;ZOv'=OEfU=1Wϲ@9%FYh>]n-g`183<?[R`2VB HZU~Y-U|.=@X_2j=\,9Aʙ'HTya^kH{6f_bn Ѭa@Ya#McYPz(Mg'&dƆ*j\V9)!i#*47xek*3`1GNŸA9<; vx#Hk8z!8J2ਥU$ rg%YjWY&JsjAk {Luo7EZǤ<DŽvR?ݒ">ϱ&Z"Y)Ob)fYLoe iܱ2+ p[nݕd+teу'27eUt9ҥ~1.)p!~BN׌Z~p9?Hmj- N>6u@KbqVQK` ís,G.b%s f`6q&}(Y%ZaWBegHG; Y`8.))ކU ]?iSe8~;#G <1u[/aQnU#3UtqtlZIAԦ$ȴBe;EC 4)x )2JR̤L$MLsݵ/q0NӂYI|zF@,uQꕺݪ 2S;뱐[!jj΄fİU Rl{EğNFJJ̥Z9*wɻػ: Z7jֻAPenV=_%}"z gw}^]šMA=Lg@$+m=ȆEheEq "( 730,nlkH!e3 45>l/GXW^t<\}y579Nթwq]S/!)^s^Z0l׃%bkΈL4n2i֐OQ-Ѳ[oJk~ʸJN1Yʧbh{[QPyUlWx)pDqS|#u@z6N*=шqz,MY^[I Qr[q޹H)G 4?L7p_!h}rG[WEz65YGh3٭BcCZ$*TgxS5=N/퉽]˥եkyX\utT.]%%[fP3szƷI!A0\AECMCGi}TO/[ආjJ$JemJLZ#pd܅A$ ˜&UۊսD5ۍ%8ʧCb2aaHߤ܏Փ~YV\5)^ .89s`.5z_jk;G=uQ'T|TU?@jtY7<(,"J"SQ2m*w2WB YfWԗe9o3 q±"pdIbWŌԶz;nV$JxҰO]fh\$m@'$[El s|+ؖGiԡ$wʧM xm(Mpm0Njǜl%W}.nD{E fu933;SC<:(b0>ҎD4nv@˰ч V1 )*荰U3uL(Ո8飯QK 89AnCpw˖q.C7%KBk¦BAh ahco̾ Z`W>j,/u. rwN7 ܜА%7~ pC1l4eQny}JC-hJImHd C-!wQTϙU^ua`Ќt@kuf0o*^IeC{I,h$ГrF&*hZTtb)VQfǿ8u pٌ[1ْtNP6s h$,gYZ vKC% \Transition_Systems_and_AutomataHOL-Library.Omega_Words_Fundocument.tex7zXZִF! "9f]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON)Ӵ[h,ZD7Y"oBQ7 ku M`.8 =c &oބ诚9ւY f\Onޓɠţ&]!Î( ^o.rՌPq*t, #]DoM/|BVE?1ԪR#s0/("pwk;+$jۉ;?ƪ})F {JV`?&uABF/5C̄ _`kp1][2Lal01Y)9UcUmi\JfM+z$>>%)|TB^39P2;sw9S2;N$4ysT/ _qGbOLyÝaD*x ,9@r@ZmuD㧋MJpЁlPBC F5ޙ ݄YA4Y<ϣ"S8 ^OpyLA$'>jt4?cùo_|h~8RL b.$F1Kbo48 Ė. Ǒ9c9M!oSmfJ右Y\1L£ **} B dW̊ߖD6߰Y{A&u'!:$TdREoPHd*)TW.\utgI5DlU̻eNjWDRJY m ;n pqH'U9b>7VJvRQ=< -#u"=Cxؕ447_ERE;72ƟN+i4|pqCc4ʠk,̩ uiz)R ^$e8DIcFb`hբ22B*U@w &Esw썀, !B=qDs9wt3]BWF#3faWH!amC^ AA/#node ]`*{ӱJ"~ 42CV"qj&ɒkBCI@`q(KW9)4r3AD0 J[S֦ V7 ]ÌX!z]bM?gL?rKB0[zl|Mz,HynlU׎j/L;tCI:%oi/6`_m/4] R+'TO˃J$S3LZ=e Oӟ4/C7w e RʳLak,C h6>A9;4}\ϛ;ΖVDv҈ĢQXrhn'Ln磀R]d^0g&yLBċ+"h!P`V)_R'ߍ /YݶRg4߁d`/F`ܟC4.H70"ZH:N?վ$cMSa~2RFYَՋEI$Eti-;/8k!ksd/<Ig[?Ɉe͞-wɘ#ؗC*'lɚ)݌^~\8&{k.razP?2LmP47"1d;K.|mbk7TGm`8#3aȹHbHGF <&^&ؔFL?C[0vI5,9qw%>f"LQ?jƒթ8 p{V4ݿ?!=ȰjC*ۋFC@A7S#VO]N#Y:;EiP]JJ"R10 "U@X~ܱ&Gq{ؓ{W6Qt1; *qWQ1d`v#iKy<%4F U]T~%  VagO5$>*q2[#z0!I߯sG?,wXv&W\ 8rh&rMT:&,bD8:hj0LGuG(TĊF3xZBVĮ\S e6A$]ՐH&}*ȃA1li yYi+,Q>7ʺ.c܊62/Xw3N5;|pɂϧynGNәB*$X'WD?^8֯T_Xd*qs@6jU'/V,ՈHzkHB:ԋ ƒr4 +ڃr3^zX7cU+U$7r |?| 춴 |RoVp2}BN@K3פͰ*veH ?\,QZգ=VƆqa)_7p2o+Y  Kpۃ#iK_q<"`[\X4abTB0i!z^]I64&7kUbEOͩz 6)dq(lж{Yr 5@.1,0 .Zp:_Cߕ=A$=l&t'ʶ+haN7|H(!6J +;$5ϝ-m7cHu*> \(UDAoWՏqGl"/ 6=zS`K;U&^ds&X6Y)Mԟ!<xDЪB$rJ˅z􂤋x&=?8 uB_1AmƍmxC35Qۻm_x͂qbezYmQf7轔60ԯ s8|>zJODLO]GZqZQ_it^oY+f.jYAg MjjڔsMz7OtoІ ;ڱl67Ԙsή!"A(]67A~KkQ:SuGۃ!/!ˢqxK+ZSj*M+[ Pfczl3+KjB cTN&df'd0@YL(kEB{Dm)^X(˥bm8-P<~Hb%\Zi@P4}0 =@TYv>Ln ~\JudEznOE >0n.Ռ8S:P_ Zh2˕a#P[.4̾Fdo2Gr2Z&"=-h:{%KNPQ"|w~c1+˂izK:Cai*(U_WuuɻJ(>gWb};#P p`Fۑ28$X]Jn2xc<4&uу81r]Pؘ^XTy[fiMIY'ƁzLmAь]tnjJ=Ԙ`!Kp7X:fjT|k5NŌK;- HccsBbMsK+RCZ `k&y3?}+9koLĽe^AIטHоi~A.OНgfDgM4g\ZOnx堁8dqoHf>kGj^h Xv;>d?_8S-fX;In BʮsN$cFp{2=V8PIJB2!yu#6$U\k\ޙn_V]o7&(ȆڝT` (vo=ݳx"ady.@<*nQȖ(U"-U$rHQ,W@+M5L?$F8&njZ{) ". yϦ"G-5Q=Zǿ6Dʤ_GDPRz%lA ~U$>;`؏LDiS4P1m`4Gw MS܅jJ@EB^&63v\{F.)Rg 㜯bޒ4P>>G#4ZsV= ,]7ܨ*2{YۉǖTnSQ$|pnn&Tw,-ȁRW Rڨ+oib·^9w>> sO7i΄;<xnuFF;' g 4q&#W g&!<"vf!P"paC(ɖXTKX4&VO,~V&Ha_w؀-^ki̲&Rs13}D}oF9'ڶgїxU?{z.3/t\LȄ:(è`@2 :~1 iR.'66\QR,{zlrߪDDY"%*.*Z,3RU2\rv5.*A@GLbVY8Yv[\7V5? 1~34)i姐Non)߾;zqd;Jć91YB.U=;Hٰmɘ?6 [yER[2v`ª姉Ekj|p=w:O SoCc*]ː%Cx~oD%LB cRqϤPum 6J`2(u үH]JqiAH}ZTEw|[I0UDZi5W5SY^^&z,JFp!xg찋:rZ/Qx}7O^[u —b\Zy<2{å$[ڎYsŋɋMؔuw/¢Ijˢ{ZhHW-J H'5D_Gf+7V5ND0TI(F"TSR &Lj؛ ;kk5cˈ#NkǾX3( f*{3@x+NDbʤ #>'Kv0lL,TxF.UC<:G]$˗hbkrᔌ'Q *o`kFmM w-B>cA.Tf|A?}^QB=$ךَ?mJsZ³;͖k?w}zߪFHxQn.' C  swϢtlU^:raH^~QaˣӁne-`.&p[%&s .|+{&P*[LECP "c(/@Aҫ x[A!$BӚjHE~c8e<D3i07: [{G29ޱH4!)-kQ=ݥ:C%)DK />5lX=NPh05aw#Ev%4N\x((EH6GdY,7lEW}YwQizT)Z.JRfG'Lm@~ﺌu2b\b;gJ)* |sjHoZi/9JQ p٬t?,eUĮ n ~ <`Nu3g~+7HJDJGv&N'>VA]䛩2&Y206eo:O:\#zXwu5f]?|8\E^Vcwä]UU%U~DE-Llâr}] Zc" Eޯ`fH.)K .kz-,S b}YV^M6a&9=J%vH u>sYMQXRv&n㽚h K۫DrfD1 i{bq)D{xtȑU<' 5-~!˧.![q Cw^L 6ISEǜ&5i_^ӊWĄ7=7 n'+?JGץEEI;|<#Ŀݽ $$aF=pP7/ƴXA,qHXY]&pba׿lf) ^)Pyn1igAb1#dW>JmY[s_! [iӃ[3]d_0̈́me'hZu@ ,w+Tй/K,诌s)n|t[Bt }0-9voLOߑtLH9INTy?r` ̅^>^kuWʻ' 02g%z6y2bKV_C]Hzn3ljJg)#5;W9wʄm_/=<d푫|,r5 wMRX T"Hgy/^& ̗!!xPi\ [ (QBۜ3B.NFwߟCB^_ɒp@>9|\6Vc5̦K6a&3c/[wjmz,bJGTG$bOfN+ <5s<7P f/{cٿ ͝FE{KE*-8~̙0Dž!Z oh mőSq4=> P} ٝ)ooMMCw۱:Zih8ɨ`RJ% ~ )D_!yD'#B;80m.~جXcKvpj\ AC~LG@t2Ӷask ݡnhbƗYX1`8`h3P\3Ǒ`xDJ`?P9(s[A2E Ox0n=RWҬ'SX/hL4{݆盝[`UN8Ϟ u5|Hss(3dg퓴lfe!*-u^Z/>-ȋ,J/?D.5ŮxLjZ QٜS~|h؞C3ffȨ]Nu 1&X엫K.O%Xl&s-B+%!XO͂ΣEWe7IO잦z%D\yKք[~:]"_"!;gJe)V,(USC1x@E|\h6nF*o_q7ǕcH6~ Yi)װ W16Rʔ+[dZWXDP\Vl50_ gP*cPK0h9`lmQé;'= |1O( EVGBNXGc}@[?c5 *h$%ۇgg+{x#׾jAL{ bD_;]%YOi CDR-_P]lP7J>Pځi:NXc&O]EW!a"ax9igQu=I6$e3Fy~{Ku7hU/a, 8bp*$UQRu C#$o!.:l{(W qCG8燫>sj&1 lfPkybILOG'!R*9q@2\~zzĴXv **W)PHY;Hh=H9כZh^BR?*{xV ^ؚxDKY3Jt&]s|7"L?Wvɽ[4ϗ_ѹ\ ZRRo-ȟWxbP1LϱPΓPM }Q\RL6% R໽>e;%Y򰿑=e~+,¼!iyE$lZ~Ҥ}ҽ yl)8d޶=$b÷6ᦦ 1#צ|٫l[t쒼ݷq(v \uRq(zȀ%[}Oy[o@ #"|s)UC#2 a+DG2Z&_h'/ky:/Dكڕ/,w̮q!~*NC&RcK$S;{_pet9ru2}VЈHt|]1A0i;52%ɑ?)>%Ÿ DB$Dv0m[<6>UA}frK Z imrQ!a7j]٥xd )M&t#DE6).)S5 `č3[cc!BދJ^TJ"7lm_ʞA>LDel3wsa7UG Oe.C `>ArMvt._@c5.\+ΰmlDZ7.*յi| +,5F}9!e:9KiaVs:0.szB5ˌV3&K&KC1)%$4`SV, ߈6arf%t2CIrF tAovōL NwG7gA)WޱCWYA?>1Vu]nJb5^6 c {3]$NxJiHu6tnUbc҄5,]&( Ա mih#,6FUhof("Z ⠣F"s:00  &¬tD>YMԶۓt#7``f H l-P􁩓+-A>wDgTi_{$J+[ϼg4S*/"8`ܥ(@vT|B5,$x^?O1Ƕ9nȈv 8>\iΫmizyh)źy]J/K^9)+Z%k^?|?;mєĀ ~B)7ILm>"x=rܘӳd)B,jBk}q#S?尲vRtuMxnf`H:JvZY*|PG8Uo!Fc˃)j!( lC3FJtت-Yd[-gu*?ˑ.Llo$w3tyZ&zCZ22A+jR}mTY /6W=%4 0 LsV:f "sƅⴍ]?* z'PKx9/׊TW@\!uTPܺ h:Uy/~;yooc'6)*nSL1D'I ٪wc1 7%ADT5|HjVET~ް-8V\q_e˝? .8y8eA˫92܉9g{G&շU @߂,k48M:ҡ6U3 >h;3N*v<׮bl…oUKHa ,Q$\ncdNN#, }@rm5 8I'%3QavaBFE&AP uO0+ 046fw)sn07<&9?F>L8WrJ ~9Wr $aFu?8# 3ٽKUmN ڹ蓻Rwz"߭Դ叞aXvi[*^&%do=sv$,-FJv2gߎO欃N'UbWhu=2W,;b1j#q:L(>t3*M`h@Re]oq%7?7]GLJh?kKQr3-8Km ܠt&|}%6m( Px;jB6Gy@[k(U*aSǯepHefE}U$qS'μ$ L#lƉA5z _&6.`NV#""/%ZZdy b.ڰRܩ Z#{\XHK1홈-A9pYOuB:^n A7pob#Xt9seq0q*P!|s7}~ID瘫}9$$Zs=*л=Skž(ۙAaz%@-V$Iz'x}d 6XŞ(~ZW.Ш;4U-8qMV>règ`,Q'^a1Z\Ӳa- ~ubdRBlZR#U7";p&>~ "%'ˆYm2r?y զĻ:Բ|j֫[<[4Hpa>kЌ( |\ >Eϭ.i,6W5R0eM^ e(MO[3:mDSxOSvEe֙qGֵS#)'w "S9k,$"%M8Mh/S j4xjo5#OmAk(nെc~X.5h*™>@^qAMCG8q=;^GO >GjJ\ 2p qe9 ZZI"<# ᝒ|ZEioI )o.k\Lu֯;{O>s315{nze@;@db_(vߜeev P%cTf$ ;ç 1U;N3As1yj\=;;='ߤ6w6b.@u8mFQō?p:wr!S-M)RŸDgHDYQ6әEmp{'C++Zt48PUצ#̑فi(C.IJD>ygtR*9Uz^ ^|~>w3=KZkʳ[/S֍=NZS~˽X.@$kw@?|,TfYڻ 3 E~aSHpL'@S l#ߴQՉպyfKT4CopkM4>VH% 4Lm^6| WGC];ccqNە5hPㅑq߶%P!PKuNܗ{LVFi>T9Nrw{=ѢIS6, ѳW< JfS}XZ:;QD ^NJN_pB{ިip.:@a;Z}oLo2U0zu%;oȄ,pz3Ul0N\v!B qE|*G 2jut(SMfuy܏8CL܇'Fw$%Vn _!y,7` x%m.fRO&vNJ 'kQ5",ƒ6uG/k?`%>;ߑ+ 5}D7ݩfAek|`t-CQ/;Wni:E4ޝg&e[}>TXgN"ذͣK_hɥZ%m( X]?)j˦?L͞[%yxޟq+%>mSu1+ Xa q^):1kA<20V㈻ߨD'ʀj><#hK`5AZkcqYkWY=u+\Nt1ck=rv jm&EUk ykw曽;L5=܂ 5 q p7E#9b: !vPDFxnRzߠ}e>~gg~F&ҢMrmUS* pCмz;8^!17<[v":\U~)0㹋ٷ`{jE<4= r)&ˢ6$N!Ί Z'0jhXv2 (hjfD:bTEswMs<lIe/WR%q!=8f8i rx2znc9 v(LK\ %ugx3+wGU֢1쎑Os3XZ )k;sQ fQ|Qn?5OE9AB~śL+qu~Gk8j,]u3𽧜q2u-ot$oyU@CMMrK枧Ix'I )-gJ4:eN _Lh0 e1" pw-Ъ_GrQ+qIP͙U=""ePmNAeKLۼHQ m]^;KK Ҕ˼uL5CǒV :yDJKXNט Ejx(nss/ו8nZv0ϡ$^R<)9J+ 8ؔbITO|sK:tٹ_sڣQS$]5O}2hWU[b\e&47jt+'%JS4|H:A~%RnrSOL\7ʶCtzv #=|qwK*O2 ㊃g;j>Sa9-#FmCU]e;Eа? 'UaAMLgbݵO61΢`?]}_T3A&况4qr~}Ro $_( _?&Qg;[9X]jw_L|\! 959{ksb2c5_ߜõx׊X/v X@OzVk!_襂B*l74ecz0Gk&)bB0$g>LmU~ʫS蚽UUpb?Z'Pb݇ ~d3 dV ~5vd`)AE܂5.XiDug[t7;4,]rOhLq8T"S4k'3nEeS>3ej>P^\K r} ><(bM0k@Ccئ<tEy%bcD*P[ܚ]DސxkZLCo8:G$6*\[P.{ }D |h¡*մDNHSS\6ҋ6lrk ?q&mRg ++e"Pe޳(g֍:X# QK>fXݔ^MyHc;i\pvIn>ozs}bAhi,o1מfGj 2HMQV[S<ĸ"m,d^1顑˳ |2uAD0U/Bcpgp?},shabOe>hmm H 'E=P(Xm {zDXnI/d+A5Q& }\n$*Ϯ,QBw51YW5ǟ*> DOs;8^!ypm/L`߶tw㺋3 {\DlI/JXC YÃl4oR[1PNF)d,Jv(pa> *EOQ,>A dpTh!RIo&3‹pP[U?1Z"l\1b \^;46؈_>i3R|^ⰿ/^=6N4kS#0PaU#A-/ȑ:ݲZ"J)O F8o.K!+} fs0:D?N3mS= wa/äB4_?s9hξ25Ļoa;ǒƠF=NC~Z]*Ð!IND2:AL#FT{g?VGg(;tw% , r/-"6rei<72Rb{޲ix8gOQ QX?RozDdŝYK>epENi>H>ZѬcG*yGR0óX\#Kۂ䄞km(pe:/g;;5SHcPG"ע+[IEYfZĘ&d뙿spȡd(S-2nb?6(M4$ j0ݾXl<)"=TVxo vЭM ':X.2܊q6C@DpQ47UPJt+Z$ nmn G~EyHfind7JP9>zi.j=N[hy,Q&o hؕ]ˤ9ûA7߇gV9j|-;hU@pL3fф&)gW+6U|o#*FEFzye-9=EL\{%< +B4aA͢X&9(^ڝ?4Z Z$,KUKp?HH;*][;t&Ayykس4!ҋ/ z߬4pcv5{'i/BMPЉ/Rh,VpszB& Wi~Ǖҥ+]o3?q.Gߺƞ(L3uvkHF!oZltEO9DpMIn3rL ^C4㶾K&;D`TQQ YK#Hh)h/ߔ,`IHi+Ep$ m¢]كotmBQN}O+ܶu4y4*0PDGr'_5 8b0''p** (nM߽aETdVWzTjԻ7Fۀb A~#SVXg]0 6},y ۍ8R靈k4Js%j'W9^XkM7wߩE݂j(nnkmh? @G9puZ -\qqA%{Z&[ j:|C ߣڧ=X)$i.toXv멾{FK\gъ)XWrkxRQB=cċϲZ5MW*ASw`ՔҫzX&ݴvDZN1[$!<@垷ǜ_+=za]9M~t.tBm%Q #X!f;ܠd[ZM;Lǁ(DWՙ*Ř瑇Lׅfг@媜0zO +tօs9ثlYJ_qbl#oR3 bx0 UX<\8_|3gMx'Z }1E/`F5LFG!R̕3DD)rZྮO5`Zr,⼙b/{bog,M-4q2Dc\cVųA~t6; ۊ}fNv9|\`qE5Vnm>PpS k]{: **Xɱfq P ʠ,K"?cdsY%% 3KN+̗'0)52$iVc/ Fs\Ij1=;!|/I l3AoHʴr-uލ򧮕LI%TPdX-pلD6S̯Tj__sן~ݥyǜ4:=RMEV]<Ucmٺ1R5S (D9xc#52\ [,f'%w|2mr͔e5(3,GC$@_tHk.+ܕ{qN W ٢ #+P+fU:^{ #I  ^6mr (ޱ26#BB1Dv9&f~D>[ ;%=~y#-3^j{jn#9,`>#I/Ji G~@̽%^Wր @k tɶ!?Z L\@bLwJ\I юzouݳ1? O `tPpƮիp]+ ]W ]ax*cMN<կI_HH+~5d 2Ru~'+:זd% +$ ~u(&gK2*yQz>Co;߸vH2 A6-Sw L%!(Hzs䄱;1w1Y-q9.Hid19A P+^Q乆~V1ȸƤ9X,ɻ1vί};4J 2Nb?3cjw'tv>ȪM:7.p) Dbؐ_͜`k ApC;"ð+O;dmo-SR,{oq'M/cԄVvU rr'l, a ѨL$I9U]մc׽ dF`hQQ_3Ǩ"o^sv'_=y\@_+hՁmp2p1{@JhXK_&W~?qg e|Dśe@\EX`6?4@ 4#@45v=JIe{:[̭яe),}'qtMNW8L15oqôYiQ i~D )U2Ov䉒aW=;!+epLcu-Ms-U LFRn2?8D@42DՆiF#Z@Cz.jW"%JzsRd2j >nYV&x Si刣B/ vBĥ65C칆K4h  r8tf?v?oE&bX7n k)mՙ bh8QQJ=ġ3Yد4Kugcje"3=1vWV_7H4,A5A3DeH1NӚ$]< ^=n_x5!a Nh®ӹR_ZmЦw}ua0poІ*h-swVCoS=%I 4:ja Eg)1+K_x'37%@ ʼn7HZ8 !nř,2B; !W-4eIU*2cvJ!`2I0e4}mMj-8;^CowG/,GO?a~;ʌfFףp4I(үZ]Cq2jGB=(^_'щU/`y*f'd$Rr]+dqՊi¢ h#slThj(y\A1OSVNMi7ds5"Qޘ &]l"$7ȋT)e4lwv sKmԕh =sKẒOM c+pi3_KBKLoO/*i Wq lta01[tNFV;tzEPsUhn1V`Dl#Zx6Yf;c?}a)3E$dYC\G~*L\P ̍S*̵%H-WE#I؋i hp| 7I m YdxgBMqɄ˫O]zMČʒqmОEZ@|zYSGI+ ~~P'~PL79'd{UNŠ#DjKrW<4b, [~PeqwI'8q6(eK R >#\(ڝs!x*(&3n c  65͓j˵hc,軑&גƋf3`֌iϫ`]V(L0wݏɥF}֝.1;h~tj$kx̉zSN=AZYzxUfuOP'5AwT@7=>܏zEb$BZYAzV\}5 O86?3bE>+G ;czGڔ!d 3@@AK^{]V*¦wN/DcoO6TN< CAx pˠҿgBkm&3퐮uTB<1gȢ ?C7T׼d"i}5}#e^: y0"Ud:5Yd G* 阵J'$ڿm_ϚRC/%cM1rn2OuMrEӬm4c'{ Zp_{N) ||.,ب35ڈ*&]SS:p 5: Jxͱmkb /&: 4[f D9PiĮtlg) &|:V%#O-]D zMB]?eE@>55[9[&Ip$ Waj>P5oqTB{coԍIAx#=rʿEY U(e̾) @{}M*uP.u3YW0B)QRn%CY zۇWW<[6kuqr(jm$ ̣LnT^'i疻+'5ǁ8-p.Z`2oPJnU3(xyZ]ۯ2ovDA.Hb-F4$Oş훤~5e0t J m䱞Z _EF4(Q,3! w7(9OۢJ)pfy0?ꞕGxAbkVO?'u z E29Jpi:KML%\e]AnbufoyUs,$oyKrsSL6c'h6k<1hֲjvd(r@S['1 8o%`Rg'AɱXfq5wDݟXXmiA-k'qs~vwdmdv:HND2LmK5H.pT܉\˷sY^,.Y+ɾ-бۇR/`cʇwr?d ަR4Q&t5>l2I-NZŚ>MI:ȏֹrM`pȵ7R=8]w0m%d)dv[`!{/dnEAsh ނZknOϩ!,7qfJ5Qg܂4}ΣË8u-yNQM 7feZ*|iBTӋ/Ř&~ө^ @gIw ͺl(Ȋ@2}P7v|dG| -ӕf&t! 1R|A욈Rƿj@V˶c "vExtUQ5QZOA BtP{12`2[\/~ĹT~\!6$n;k xp#۷ERwZ{#pҟxI7C Py$HRQpLF|;Q6νU%4$vm^ g%j$HY=R~fJ%r 7,WU Y.@wq|x2LG̮ǿs0}g.X5c6\*M랋5]GmKc%~k*1#x΂281H^m}Z R!\|x-$VAMhC"Y#5eZUZW6 R腼Pv$`$̡#XlK,36`FcG>Co<dbGvU>+@O&dbBlt)Wh99nalZ-Pp:.%A=$y@,Vǩ[K(%jyOC_\zג\ɳe".)g::0sS>1lX#6dٍ`iWBz%)KYh =^$S"뜪 K/| tQF3:p&%3pr,32RPHs&ȯ0|s42t/o{K.,?`,x+DtN: F#4hO1@ܧPx3m,S4w)K";>Ӫnm̻b핌r>7:mxN4}]!C dd|nS?xO 3ЛB8iyf!={YgHx|rcޓG2 {иliERW rtpahXGZRLNw?/5Ap>\s/@x9> *Uzp6gi'Qj18优nP*iOz[twsbӂ3U (tWz9H:V610QN):Nmx.?W2':!P6g qNlOqB-h2=NʖSD' 4<;4ij/^IgRBrcDNqm;oS.I Njꑦ v$pRucO0jA3#J<sv >rsAEVC'Y_2<1U\@U.qRnlA^3N*Ւ4nt?%wKחl) |xa61>G6X_4؄qsW7+'*$J ArN3:ޣ1Ԣq\ ;{tn VJLhM7,1}X&fTvPɄ6J ^F9 yǟ8FTX:n+b%QTT\MRJS;t2r]:M a'b734/_"]^Z7 Sr /V^ MC 9 8py5 G)x<#'W7xzAMAI'뗞'Vd׵:®2;KWHSxPcfbKjKgZ啞2[6=@`!(>\yTie>m:4171lQ-bؑM^ \/W^,Uö5{cٰ&Z#zkhu INJyY_̈ϻ1pJ^Xi57zzkjB!YdܦFUbE-2ęRhj#'C8yTR']Af2Zv:TP"h,!P;p2>>(a>cp'ICΝ}>&זQ v5az*ѽ ~ZbƃcVo/>dh[> BhiҴZtЅv+ʻ 9<Ŀ[d` u:o[Եg5{yxQ̟Q6ުS6/Xx*j:,-h T6rƢ.#l=zǁXɱ򽎉:m~ep`C[5H$!(5[;}x9RHٶYJ :<䔖_amEijM \ȩnU n.kW\.j;P ~P. Z~:H#}FvMqHwo=Bn 8皹A@ s1 GFCgYZoF{sJZ :X~o&vyx`L@+P_ShQ$Fq4ㄕL}I,927*,-絭-\ʠ7؊ `WjF~l{V[:FVDtI^I^> V!Bh0H4}ZN>ĥ՘]Va ꤅~o\TZ_7kn )P] pX'sKpaZԞ5 oY7JAoAcF^Z.rL:5 $]d/RukF~ᚏp7'zK [ 8 4)U*I:Bd{=M" º *J*Uj+m[d@Zxͽ͹sL5L6ndh4,X5[X0{[RIyߌd>;Os'+D7q#I-z2}S%RG6:pSk"8:By>M)%/JUe懥طW|{ͬ5A"n3$+@u_ۇ[0瞦 }sl_[ 6ÎșDHkO`ؒ}S|ט<.QPn^`v{[fΌ.eAoMEVxOf%!boQuJX$Re Pm*"tWi̶3Ѵ)!dERqdN?Rnĕ8ޠљscc>XfS ]- 5o[iwyi#XWie/Fa jF]!o%.WVsv^& zOx;܎/'B/JEPh0%7*޾Pvļ%?Y:Onv\{qLT) )<ɴ X)@[XW\qkh cWfLkԑOMovW7\8Oul@@y#9v/پDó D8WC䩡3P^K`ߛC ZŎ4I$'dk' #^=F 9"wOq&RD]xc]wmu0u`25|i/>46JtQCD'&JsYZ!eҕc@/1Xz{<!r.-ny3_Sk"' 9EN-iMLȄ:oʢσD惴oZdSIhmsI^a;F,P\ƹ1"={cp /dlHl&IUA/O(! Q5/q7?XdÑC+aӇpƂ03*J]#dh D TIKMAz[$U'Ky6tlMp\`4R){ӗq=P=ͯF?H@~_[h8\vlG4r%NRͥ~Z3{ ='u5 Z [L"W|"֤?fNM.K#d'}l m(2HfUg\#~ wVՖmx~-JmeJxB}]) Ss;8Sԧj %RDcgA砧{> DJjrwaM97D3[3c z򋤞j>v%r$S-MPay8 ^dT^?F>XQ0[_B{W Fm"yvYSR 52Ȏp=kÚ+P|XSSP2IU'EO~0L[ݫ5}%L48L{U]Zrmsptrt"ON5mYNjjT Δ5w\f/IጣA}/iT鸺$"'QSM  0}/UnUDD_&+tsZ#}{v׼="+~û{y|pdL̰ +rO4K lnֲ/*znA9ʹ m U|%I!TBw˃Hfٍ_i6I%N=)\/~Bi!wO< [Ȝ@|"ѠJ8뾑/Po Cog4}:Z)0jq=RP[uF{P{/B/ҡ{齤}um΍oYESrE! /.k1ؤz;IG#}]n[9(?)7\`̿fʏ*XU/奠DK[@ yYU&|6n11½U N9̑wg7^Jr" Ȍ8`v*(>NX_9#a:e] `ޡCզ/V­mPޘHW# +aUP5w7 2,c78Z oitfYGjjkWћM:Rh(O9tf>ês. }~@:@^%ѣU݆+hu r95jL>#8ű1/Hm:qĮw29;O[?ǡ[b2+2v-7Zu*z=8yS}gH:x˥Zt(\֚ƒT127P0bPPIWU?QIJk pĝazH[(Ӻl~LXiŠG$tx+Mg,|z]x$OtBKA.T|n.\P@ݝlw`)i Ez LF,Q/OhcQ0zn|qMV՞nKq2EW+Ϯ$ak_a\PҬ9VjiJɲl% *;Yjhdk}wp_w,iôkf-o D L]=KEpƓ"U`vǜsx5w/{pvBRfjEj+;%iG}}ĸ#ޤl_vʿ-P1&pYsZu!4M )Ac$KWB_囘pBW1$ao]}=*[bBm?Ù30A݌ X Y'Hfw[_+Q&UtaǩA`nT+ dGKpyof*O Iv{[,_4O&TVt 58ߦ[YNNpV&]fj~F"ץ䘐ec9$ gYZ ]KS% Transition_Systems_and_AutomataDFS_Framework.General_DFS_Structuredocument.tex7zXZִF! ᧩]A-MՋhvG"uIBm52.SϊSݘS9BB>Ĉoa-b!RXHgD5!=Dwƃ,GrkTJ?,ai#SGՙz>Y i_vKI0Ha{,iE/. DqNPᘐ' ҫHD]rn,!$ڸGExυTï`0Ź[L[˞eV^ևaQR߅x6)˜Ϟ .QN*(ǯf%M)GOR]%i(̸º0mZ=`Ԣ{Y "*IN=)Gb2{Bo)d 0?FRU|bI,׻zhu]V2 f̋ѨFML{C K[O~Mi|x42Nbr8<,n7IM"Z.鼏WZ&$Ĭt@ZBϜTͬ;"40#eC!Qԗھ){, '1!sć&|\"/k*܄q`FfҬMZW2OR;ӨG?D;O WUgQx=A= ^!x$^d){b։K!GѾ I 82 M j2:\Zpg&2\,`C{Ѕo>-b=U{nԝ 龆}̼2> ]N&9,>tJ%YEz6J1 쫰ҐJ>ĔD6Vy[ [ &D00gւLTt:a-ֺ0$w>N1ƪN ˤP_<^[!\SKJݶ@%\.`"`PC]TtE1XqVCwW{\#yA*u+t1AY@+E@T_Abu`-HӬ lh O. `UU'x~ל'\D U(^v_klY o7:UI b疓 Rm/O9{D-mH0O!TthK((Dfᮽ)04- ?frIN)|(L{MpK*73~R MLgj7Lbl]?mY8rN7ęQw fBq *}`|T.Hi{yhʐ7O'>Șꓙ~xM p.CZ-BqR`ܜM^E \\i ;%ATX/.ًWOl<e}ŚXb`(5<\]GDLSgw-ZfѳmBYQ Lr7SNX7,RA6D_=S$ib[($$Q/ d[n%|!87˟oAR^8m*U+2vU΁>hجײ<:_rX3Y޷$Hm5 $"W|UcZ ` ܳyFgّf c -+zWtyNXDjOcW_+:R5߀(煮6Pke߬O[2^O3 c!PѼ'Guw>ny8t[8#) q)&SJUAÇƓ\}.boe'YKN2DIwfc<(R_×H!!h IX:CUᣆ"0S_0ޤ%; ϱyliF%|EW< .i ~?@%đP\}QW= #C&Hy &["(WSI@N?Q09@e+(G`$wi\O= HXG.JRNNܥ OvD`ÿ̵{^\UFL9mɔsձ< ) Sqgo8=2#FzB5X`Ce[Ưk7 A2`(v#֗c_xŁP0B1cuk,s&zJI@s_+*>ҫ 5C2Ղ{滮ƐC3}kPKx#F-y's{A k;BܟHNS2^1˄+3!F34. ,GHy$t.cheʭ/SkIcomo4l;__ TS!rZ\2d8(գErݙǃΈ[K@Kwef]]Rڶq.T/qsA/X' bk0g#5h Dl{˴TDUXsK"?ED <:+ dgt7=LwphRy~Q#S[MAۄd- >:ɘ0AAƉ(:*~߈۷#(#޶n#0[F&Onsͨ!`5,rSc0A4S~m&H"T֮|ު|t>w=+&r * '*] m81rVj:^Me7/+F#E!Y*op-_7*(Z& /{Ge-4.%ç)kH]&9jMVq\5ta0)er8r _xxY+."=\:<}sX8EI̫\) *a:d$pY؛5%~ t 8!5aSEheVS9_|S6T5{"3ۈuGYdoPeE}`60?Nԩi[Rsۘ槐\z,< -+t&a:fNP gb3ӓ!r @FaZ==q_um h:Ml9yɻ)3 )l]0є\fCx_hFU\&9O曏7~&RԄ+0"70fҮov{6PM<p?Ȗ]ѰK']Z%]onssĉ@XkhhE5+dnt&Iߞ j}TB I#T\y-Aڴ5!i{eͻbm%!$hKL#]k'ƼƎhҩNP>C7*9ϘOZ`TSh`V-}wR7\fT`TCQaRJvlV㾪\JƱ6*d#RK cZJ2sZw|}"hJ85wPPZ~!1%#qZ뵩j^Vg ]_Zu[S :ْB0=١6a@Ve =粌,: _fsƌsx5qT+ _dCI 5M#X)?͡-ּ8q~`EC @J}1Taڌiea s[K\5%)Ձ++ 4S醵Q %N-Ԋz;ƈ=T)jV]v(wf#]Tc@EM!HY$!ֈfpgk;5dMJy%e,s[ZbS8;IHK ud+gZy*Q\Ğ7G2a&"nrb u ExJd{^dԋ[;k(FHyY\<4(eE۟] G,XbFuFX.ԡruх7}*yNa%@}.lFi8 }a0t@ =LK/ y4Qӓ:؜U MZ>3298_lZO7oWlpOܮDPhݷ|mҷ碁#pcטbw|g4fIdZgXy5Aow"J2)}!gz-Jcyk-(@0 m`$Ҟ¢3eٞf5L7vQ 1OKYb3}Adtk{q\!U\>VfUŒ"`[7}?C?n74̌>7Dqɓ.?q\B$H-muW\fCʥXum~G⦉@g]*y3 +[Nd4?DS(!*6odV1Ag2,Tbɉp_XnJDy5[݈k=me֟uMKKnDRJ)./I:,T)kQ22I8elʤ4{ʳa/9տ L׳K[ߌ7,gXNlkx,KPP0 5.^YNh \6ajMmqDJ˺Rv{\ORk(|:L /9gtK:Z=h!ekӣ޾|{ (u'#"5ѭóqykyF$ )4Z‚׭T㫭)JRGM2aKUJr(zHaJ=$~-  Zdu6L麗l`Eԫ&3cbjU8#19wP/礪17LfVeQ[T†W{-( ~Pvxp1oiaFIA p_mIŷ9%e[:Qx$1Z?:dvZ^YQ~$hWãݳG˜SĮ2xIjE"uc@\@ZU=L<)I`aхJ^^⅙w0 Ad.mh/D| R,tjʱa<%D3g= :\H(>;RY,RAD:dEUirV$%& '^akLSl^3)NSvP1CڀiF/GdfP^b?MpQu%YYGJ;M5MLcxH?|N*pL~|?z]X_L{ v[’х.44^C;t(@8=߬ҷ!^SS?~H)zlJj[[k`, d"@`Q;S"~RB0I[J-Ӑ \b>CX eXN1|c{Ԗ Z!0'Umh flօ^.T8cTlK_`${i`DrR"} =slPU-_I۩*)ѯP~OvWs@<^רOu^ti1TbޯŘ-e)h:$ٹ ӻe+Ɏ6.Dݗrw|EbߡҁS=r lZYF?@lՠG0p26$@:l3RXCE2GR'^Ka"VƔ.s؍[("LW] j.r'S'(H1ӨLGek]`*r-aztKW5yLە(ABAR Ãu'tKq8EFw2NHXS[hMSr9P4vk)tpiVEl;SZ;wbcc8 <16qelV鑜:_؜=*B߷.WT{);0){ RUlt31OXx$МwF$Ji8 5a|K^Gz68Ď4%\W@ SFP|D~nQSA޻ع )]6X:q5ڬ ,drY*elÐ$' q &=LZ&QɣRNȥ&nE2wZ|:!Mw>(ݔaB%BvR*EKlAFp0'0?OɛCk4m$>ke$qĹ0C:lټeۙ;67rmj@rJ%g)R 6̎iq  Jt6n<ABߎtzi? <+V]zs-$$* ZA88`"wU y}cq֐{dCq/Ml'|܃;5lae'cj.hn⚞&:!XG97VZFx,4/$D/ !*.a!(_?V0Jvh@ug[T. o`}XLi#tY^=Xl7wFH2 ɽ"/J>>@KH#_xл| `dt@b?9 cB90 MUNx/)|3]gFc ' 1[&W̩&EM!=``4D3y΢2,c`/h@qB}| '곎"oآ)|$%w+6- }yr~G+/hǪw,SRvSė ;":n}'EԋJ̨ˮ Ld66܆%n_#Pv_[R$jT&Z! k%"g\.߶ײz3av_4.Q%jM_McW56Djjr~ &ZxbWKS oNig|~5]ٚ=ɓkovC˯ n$ͻ= zz#|I .,~z1|7N0^"^ 8*}YX6Zmi]eԼ fi_&dmS4s gYZ W K=% $Transition_Systems_and_AutomataHOL-Library.Extended_Natdocument.tex7zXZִF! )]A-MՋhvG"uIBm5惒TP.uazC8Lƥ ,A4~wTe\+a>S52CNf \? k'MjNc!lNN4nN^LNV.lI]ߣM*=<<v'U#B'._3ɑhOٚY|x;5rX%-y/^]z!v 2de# K[!8D㴁39hZ4M-vIHZ2 `$;'߹db H58mC1ɇ7ڋ eiVn s ?;hF]"EP5U+*\4B{ϴ`XXb?ő~ ۠ti0$trIdB8 PcGX7bl8 & /ז`垵'*z/Ǖ߈j)"Gc1>xk+E b*}AǂFX\].밒u NLmm¹2Szq\k _]l*_"*/&GH8γgtYQB,|rK">tcمf%5^8{#=!]w$Rcpǰ1\ңU~no'dI)N,[ˣ}nj)5n@ yv?ؚc؎I׉kLh!][lK:rar s-̤&8>>!2i`TUVpQk(yӯT]R~Ito(ҵ b#Soǡq(5@-.n ? 1ִ^5pCzP*ꬋ!![rBϱskNKh)q[Ѣc61:L¯ݔ)FG:x N}/=A] _b߹̿y#>\Wa*ɞrdH[߾ƶi!\s)?uvfK6#ICkrM̞ECYe[/r''5ɘ'\dM:UB^ЫLz!!Gvid! o3* H8ZE3R)EHbq TK"&H&wcܜyq7D("H&I]`Tx 40IAE !#WZY$0T/o W|7U/,N]V&Q]Rba opJe'p=riܽp=>bn;eZQ,.ree?uo+y@\ yxR+\oSnhAz4JtegHZCrVF_=Q+(un ;Ln+Ԃ~v! "%&kbܒ)}#Icӟ>,̏_߄'dPjE;$.b `˙y/Zy' BQuM/%zdO5KA|,q phhn@sE888g̎RI[U~LP #t"I1kJ فzxl)/C+=\gR$~Hԇ0j FDjϒ)4xmi7|6Cx˳%h?>C N KÑ&hE18:fL3nKxS?k"Z'#A1%!:f|O9v \¥4q"3tM|b,.}5j@02{z'V9/#atn 6M?ut;.q,{z"M.ClHSiu<. 떨r~qOw̺Td?i ;ӻPo)+J/$QA6+?x ~"XYuYS0@QR&AijID)aN"_|:qb_a ]A{S‰Ba+h#$!y}|1ӣr} J(MzիE ,0accƠz^yr>2X;t4Jz+ yI`БS{hHV40qusm#AঀC8EP!b9F@\ʥ(Yr=KP-SKsP{}OL~ijZF~:AV*aɉQ un~ _/:{g9i32bViWvd*W-Q =4.XM4vp6Pn&jxJ&KTK?o6_<5,4@v6Oa0Kuc,[ilLs\( I(s9z{NzmSa^""J@դ]PBG(twbIN}9ۉ,lEx]| Nt`M&$WGlr4j-V&\;yƜ@ϲ! -\IJk]6wDͮt<F<2:=gR,-ݐ~F=iMu='47CHIu݆OQnr5PѩCb?UDá>KbV囏;Fy]B 95h 8P޲ @,Ws`ڵ)]@qIB!Uem4lvXtx kHؘvlJ8 WJ0Kʀ1np1 x W6:Š_kU+ GP>ùR׈*ۭu8@n.z/9 !!d5úب1i]ZYf$NjmSB^S8-S~;}]k=_. h٤\.z>ulq%fONwm ~'߸ߧ©T<:\_{;,;xB #Dc Yȋ3SO٭E[!dPT$ob\N;mt)EmfBPGhՐDē Mo˘!5u-9iJIGP"!KdHL+EXs5q +ΩȵgkIʶrFc7&ʍU X|ȷm|^ &ݝO>tB؁;[̄ ꔐ2d_F8ńO><6-;ǤWԮ?1ðDş!qơz|x(xx+ " =Pxfs\}^Lr C֝ jq T:Jy5o⡫ʼnE6Mq3px+]q?}65!)]AseTHfʨ&Ϝ[-,5_^uQ ;TL^fT"c94~NtW|olCHD"DFWxkmāQrJg3jT~ڮąt}2N;[ ꠌ@UcBTJ1g n5~c=>;`Nm9 sOKe#4g6@qhAN+vcZuN N=Z5Tb&uάEQ fE FӭPrlt"U8ز&_QT:FQ ВX&<?EIo/t*FiYr( $ :uXwq n S5't)eWbCWfW@Dؑ70[AA(۳|5\H{pky"ᵜWgo|T@{av}&0(ZB+rN#K SP܎KXNqJa|?8pPQeA)l]RTZMPҽ^ߠu OL|T63(BD B Z*!۲KdFzsH'Kw%[) zzPc A!gt4$CwJD8j} _CDp949=koMQ+:Px{q4="ȼTXDkDrq |KR--H';yX{R!  X0<'RMH7sC&Ow'%)=8>YMX뇟wRw,ho=dEply!fh5xR% se%8=!zs|hqq;u%jw[Px{2 9jlW탏IRcOI98O"/TJQmx؜0܉aN"a+U/3 hڀN\'Ijz]~$ˠpajh4Z?B\4AEcD# hv(I/9>ob郚]1HJ @m53byεȞQpx׋s|ik6x=ENx͸' I#= lmHF߭G0nO]X7740ލEmuh+ϱ2kfz!,U&=SBb6/`ؓ7(BqSۺ5д'+ڻ{siƓ,/X?ZbOGg` (# Ŀ󺥦B8C^Ŷ&Iޜ*= ,p[wC1A"H']-W)1sd4|atDFwnN w[ 5Y7_e*ͧj-zpHMK8D3T!R$)W8SN&׍~[!8%vzNFcH$xEfF:Ab#ʎj20`Ʈּi1 w=Zy /yz_8уm;Zm!ƅN6g!8k!ɛ*jb.Y<}H_yj>*F/^DpVf,/Qy7Gy=t :(k>[TtGVӦ ]P--u]F+enLi_ȼ}(QdZ\F*n_B93? H;!D󕌱YnvU9BtKL<ѥ}=Ķ]"K5%8kdoO`9԰& ~IWUME8gځ'#OjgUz(o٥tϨӜ,*qdf=A}B0hϸ"#Oq]dEAAZr{1d:q{ZzT2T[# Nbu[ESP pƁMK3Zg1CaǜWò1bDG;HzF < iFY3Acg#bCFJbxSt?bUa>.i^#+k77p "S]mǦمس/!~H.vӲa['i/"\)f n ]3*[6T͸Ņ ݢTV{l"XB 9hkeP~NĂ/%y1|ز /=fq{Bi˔˒Unf} ]Yr<~MC@djニ%Um#q#ɝ{\>$ʒ;.V 8Yx,Rm4ê#AK|;!eɎn_#]=oJ~[$Fأ$;>5GGG kftFxLYwHoXCQW^{jeO"J) ,PFM ͊)3ܶshEA>G1qZ2zVe >s0x0г_+J(x[?|;LgN>C;>FKaPI~ jMoaD<=\Ⳡ)4F zNI)L'cE+_!mBSJ&2z*.LT[YN ɭ=TΰJq0."G17z/N!Ӂ VG>|ZJRo_}5 첐C_oql&7IM<:`LYb֐t`rʸ}{e4ͦR[>8Ϧ~SvXw-vU=P9eŷSrldfBlwQӇN7xp'jxA/2(L @ #-?Rt.Y "}01't=Z(a4z\|;C\+k~dkN_hqg65OC?欘PT7]śu?k' 2mEL& e-ihݤтpkm7'P?B{n0eQ@I<]iGǓz("1+>R6)/[9y;v2+2T> \@"H5z9PJ<ڙgQѰ D4{Z_q>ŭJ ݙn{4~w5F(WqY>XI"?t3% g'o=mg} MFxxp 3 >f ߃TUs.6T܏,x$8;vZd|ngLÝҒTСG=wWqh(1ci~8[=(CeS! $Ԅ(љ>M#hMdWΉƘfCUO],9 {RKEs3voɇ[1: 岂'qqZ:ӕ&$2hc05kCv:V`b &Щ$l$@8/[Fx?)Hy5K>quD`RDjcm9F{ 9 ZvIx %pu@3z۾< 4֣`@Uj4t[ƮǮ~2ON+ŊA D~+zF|٠4k"D jtF8bGs @hW8(mΐ ;crXnJqEn/}c1 ę'@>vXL*<1cs S#K;m*Iŗf1Ӽ;Tbpov~ЕA h&@mE|ͻx(VѾdFfӦQ\1VƠwZVG7F[*XGS#_0hQCVGo>Czp ]0dDkDf5peOG_5fBĥ;;a@z[YG23a$>G1Lo d{zgftq0h|3_|>2hi%U T@2N%o\i@ŷ b9A3 ]8㵰B I2L*(0('JkQQ qFlJ@-n|[c"#OAAHw3fuԑR&\닪W=Sd N˓Xmp,u\6$*Dfsv0)7l">JXݥ7]@C6ZaQ,B/ͽl}y5Js%pI[]V5%/ִE]$![]mmG.DSSyngGV6JF)pt lBZ?,.%3LjsT`}* ;5~qCKt>A{2e:^;~7E at}*ɔfӡR=neYgN?sYaTy?@°64ݢ V\0yڈ!o+UбK|gYZ E K1% Transition_Systems_and_AutomataHOL-Library.Streamdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ȩB8Lr"῰%lHNɯD$t?d^rR6s=tWtHᜠ%}1z:ާdybFWx=zG@O. o¥{)p# W~#;&,}Gg!0\S0ˣcnpљFO/p^+Q5s H$\yHTGᕟ'v5R[A>(;5+#eiiثP;os8Ah+[4!>hGOwe'0 >=\UjL@-`䌜.Np Q\]~gsUK3*{dۛ-Yen>5!_vʹ7fM$M}%F%\FnŝFݜӥU67b(ß Bud49j `gn7 B4Ch1/z8jfNwq?V`L z?z}-VCiGƒ(UuX{VUppcf^j(?l+ ^㮞MDͦ m"؇M脡ʕad0`Wa2Oqmj8% FZ&;̉F  q7U,'fXA@XYkE)@WES>l̎TIYUBj":amݢZ 3!QNl1F = bzgwƉ3lnÆ>xsģZ(y\ڿ1v N26ZkQGǧϾV u=;A3Cow@ ݩ8sfzyJ9D_4# d i$RsMen O] q)ToZvM}sPeB `dk@7XƠDs_чuJqO/yWN¯8_=`75&O0Nޝ,@8'i)KK86P aƲs%^f`6; r';@s,4Rʈ!Ȟ4 ^#84}.(&X4;/o<iʗaͣ9K{rn+܀y--adד3 ceda e9kU/-¦h&'gkBX./CЇQs׼V(>'I}Ǯ4RK/]IiX\[~wʁχ-V95,}I uR!;^gT_FJ|k7 &Jvw$xcs5KT>$$ _(I KD rf9m4r <@5,62FaMI%SeG:L} 'wt=vQ@nfKu)46 gk -qLH#A̓|B48y0>hRk J?5SʸoБmye׽u2$w-ZJMM@(3ӏ f1YgQN&fXaeHb R9IXkNRt3u@2ȘITTOcQkfFA-0~c̊XNK7lC盀@)+wX_Fbe3ZR^C:k L⦁( cG2ԇf](>=˜,.? =7$s2%Hsg5\L\ ޿*/R;':B'ؠ[+UP r6AbrU^H THsc6ŁT3?uWR]%)$ 1 WggI1z*sJߋEG1H݇Fwsb]Atk̂+T A˹H.ͪ\R;*LUGWb,J<ӰC4-MBvݸycnfr̍"Ăbi1M$Sm^G8Cw!V b'D(%*T5;̈?+9ʡuL$F{ 掠Y|(qYB][:,@mKƆtzV(/,^Ȝtk .+~DC~[ΧAWTV5f8$p%P;>hBOQQcfe֔|[8 +|`pQVR+.6D7'G ~` J9Un}3xt)K#Ǽi94!ܯ]X`{߅=^P 0`k.->yoT{x|xV)yզo~{ 7;gpR2+S-Ehغ|E>c>SBlě<Q&4R]L/Bh']9@2 8Ys0vTBZ*.>DX !F~dSw[4[)4D6a`[,(@ 1 r_i!c=fT;Lپ5U'Y3]vϪpOrNQecnxf r&}q.* +1SPw^c-Z N > ,:+Lתb0ډѶ2h>*RWNgM(J1`iKg<KY@[-= w<=z6;3Ta^@qT_+lIltb^<,k;rQJD=!w @9L瞰oܯ*<Ú`Qf B>!gbb CW2#C ab YXq8;N{BHssSɈ_rEldSE+lZ6wx>h{^urE'Ѣq);|""cA20p,;^-߻;V)X}&n0%w:رzV4 4Gv㴂*îo㽭y3<DŽ+L A(,mor$Jk?3y$ſYZ >(a櫙Hdc@˙@Pb{k@sS ##O#G-(RVwS& P8~Ŧ!QB, gCۣy؛ɷ&=`ti)''w8@>Af_ 6CYKv)*j{(H= #2`aQ ؖN/10kpH/tv9p9 %F~FV f׌;T5+x1y]ؔVf{|\Ǣ8^ʓ1u|dO}o=a$'NjZFf2pHxB ݒ^o4nQH†a6e3-PAĖbxҔ[y`' ̭,:83̷ͫJq_3cdji,.i H*@_597.Nh9a]qqM'$wճtd-[|pK߫ oʍ?+R!.+>3NφVfM{O3W8AiF\`VkhU=^ b"6|&X nĮ-n"R#_'s/ B[wKSw0RtlX.EdfW$8Bv"K2x.%ê )$EE:rgiW]X$h_ǻ>8oD"Ice@ Cczxt: s R7p[sb*\\W@Tm#gC/ eԍZ @`8<,=TIkSvzZ10LKm̬ta*hBfq0˩ҥn }M7堵xV, VjLtCNhdFT+V6^Πrb\?,Sš.Q9RA^pzƄN(1dR9ASsi,( !,2=sxoMd@YVfԆ!˜.IL9Poo gSJH7J?k*^6Axި}?-~-!H<9W PU24]lm$R"-6&sS,c57yQ;c!{8:>; WYޙ 6V@UY8d+@s߭되l/P_˙Y }Wi/N]>feV˖( J'ulH4rXwcA+N P+[K< lHpfH!80DS̡1c>.[O( 涔#.yH#? 8Z{yPf9lqZht$Kz#eVtyZqG_oY+oŨ8o#Wf)3z jt; 457^Ћ}X3x1vedn(Ґg!(O~C>Pe K7?4e/?R{4jn>u~Qsg5#K_Q'Є,'$&8%N7P찝\@)kv@;!4U&igoR hEcØ?L뱋UB'/ON~$y.+|PAj`H}Ԑjqӌ&ݒXʼnC !D>E6 WJdm/n1/1 V ?|.}}l宅L&x>N(8="uUj[8w<1&yFi؃ ә 2l7Ҁe~N[mm[%>MQ?@n!mium'`_oKCHІ|j- Hag9b .`3g@K\J /c'=C8`N xERg's;  g0A"J|R&[A$Sz>#:׷R S@PE"FCl#b -.U]#(IiD[[iV|tW}Ty5\f3&e::JH&a%!_RU` -P%䥫viHZ&lvjsfi8?;} fz'\ojY?HwUs1VRc捦 M%IGroAPRCз9ʿ}d0T͔ ! uۍ(``uH?f dWcLgt"IգqmNň)DNx9\=*.|QB _uQڮcSWn|1T5V=ʮǕ„,wT/=eD-㾒'h}ڮ}p-Қc750. YsF9k%]X: `f0VH\4-n}^#:υП4t(o~n:J8S'WQ T+U"n'݃q$1\K]jo|/IV;jrm#އ¦P$r?`}±T.n-\lGS, [rKHEv 4rO29 lOz*S3f ʹ $Y MY.ng ?E`rf;ʽ"o {!Welݥfsu52+h/Y) Og+{&&Ǭ㝫%QP-Xm뱻EW՗e?V TߨiE T "f%`+hy O*j ZP ~&G71z[E7sR" ʢAc3$$GgʏHm=uƪ,x/*?]+'2 IJڰVkJS ';  (а^W7ęK1~f ]ԋ}K횺9_ 5,inN !O/ܜi TOGӗ,B*$*NQzO\[g{xxq5c*]o4VǢjaƗ!TjlNTfC/aQ \ށd8 ބt?ɚVuJڸ~J^Kݡa^;uO%^?K\Ie_55/Fb-᭾UcԃlG0~tcZ#Y ؘ>&%v͋M,lѯ_sTI_L]5 1!ըx3vq<eִ@@yʻjlOۤ<7`=QeŤ+%DE/dBf K˅ AQ>JF@  DN կ4x lnj8kyUO}U?jWY:\i;AYs RR85FӬh4HRuJt-sq-j\:8oXk "L)+2kӀҙc| g;i̱.m$DZл>`"'yhbv?C*׌8,x Ğ;G@ixؔ`0#MZڽze?C.WoCBaX}wI EheLi;t2/ª+F؇ jl:F}52zaw -[/+T9~PTΕR`*7>@Ey x'/{zljw#SV5XtZY#/&췎j.dao[DMmP ꔙzYL3<4aӞֵkxW ^H!;ifG ޶]Tkg%T)@B|6meL7 ,rȽ礦gBTA[`U29 #Q/V[1'Cb~"(϶57) A'E 8F"XT"t7A񂊴a|Zkl@1i^qS|d2_$(8v{ Wxgag c{1PҳmHj(k)qC(r`cEMI2R%U?;u4]ILq)]vp#\_j^K66I]+Uc&sX'"_k~?t+F*zpK mg**UMfdK9ؿDlE xVGTZ-:ޏ#B y؀B7q3gB~J0BGy}!CڳӠWxc [6n}˩  Rj MhSZnvǩ)tds٘Kn*=3S!_ jP-{$)mm燛}:VL!|S&c:{@u xx(yd3kJIp<6(zgMAF&z&Lfo6vpe|V6.a,qSچg]ل9}824ee.ْ>=&. y7s 8CCDx Hy׭m(򲺋X)T!~u"|#9p,[bhqz{|wKUf(T7nPեԡ>s?2otژE[5](U 1Pφ8A3G!ej.@^n]K%D klޙ -tR/T~<ImTUh|7ej㱞EmΟvewרIݏcqb'a|_g:fzaLrn?fJ {yAI;iNakCFB(0cp!L6f41ZљV>|s+TH%aF RШ6`΃@!QJ:ea Bp@6Sŕ8H(bP4:=[*E35.ZӶE~PÐyͱh8C [\7WS$v*矕F! Ҙ`A¾ʛ 9>Rc^mL$P Hu~A>`3O`S+*U6_A gYZ > KC% lTransition_Systems_and_AutomataCAVA_Automata.Digraph_Basicdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ؚSc23y\OK7b/srNS5*i*f&A4@U8(׺1#8Z'TUnt14v-&*MH UGKyWtv}@'u WYڏ:<׿VHcrg (-5t-睼H%߉gӪ߶We%ȼ$U'3mLeyƍMB3JcP;,V^)oxII=8xc ͗n:SqH./k!?']BT-dW~Pj3nWrVpȾ-<(0Pk8tW"d,v+^,0 (37ʭ :_ւCL!P|pP,|n|wb)tpEE/̓yZYfpp\(?0S\%,B%M˧4 njg=.NJ #8Ku(xNţmF491loa"*nޙSz0LIiB%EIJHcn@8N >eao0=D#roH/E<̞r6 ΄^"5ZqgTjhlE]~<[`,QYU|aͷ[~>uC+ mϱ,e  j|:gAd?̀~5?19V}ة&.i&:`N80]Wd{ݺ5[b\E%#5Eo?,ey;3+^ $RH_B (9;W=~}7@Y,\&1Zꎞ=Ba(_V/Vq)x!(h,܊lwqvJQ*z~ۍ8KxUwy s br1Q~ NhHni]bLł +zie1fZ&\gJfs~LE!׮7yFn{R7wVSzYs Bl`^: aϐkxl =퉯s?K ᐼ[D9v < AL)@MG5jPcL0)H[ܬ IW+F+21>iˈ T9gz dNc',. gCԐ>֏Y.a.MdA$_oAd쎼)plT"ycq,>;օY/E MC;S| ',s,lxOSa-N^I4?'K%Vߏ3Xotp)dX: S}~D=)`^J`_¸h2h$Чa0GץQ%Vӕw]5n ="Y"m1}S !PqGqtW LYXQ^t(O@FeJ$QAG (0$^_vMDP*K.aq4Fl̓+iqpAR GN-/o\Q1T-qc%t*O4 si_F] Sl%mՐfԫ cR>ىҶcT=L2ԌW nw~,Ҹ Eά?eV$߻:$3o'2OPJY<&ź L P:`.1.l ^O騉EpG S<0R"`q=v[DaT;:5`C/\Juw 8/0R+mHZ4a##Dؐ.RW9 Z1=fGbgp+zj4}8AT#_AIx3Mc^ޖ5ܣ5"!R -$Sy.tNUY~:Oˋ/ g/v5~HPq#i=Ud-'h=8oTĥf]kwÔV*IRQa^A MhR}w8+˂#) ?tS!B4w߁0<^+# N!p3هx9E'=ʄIZ!cSm$/slN)<6pn2kE$dPs^C3hF/mr] ]k7 9F_<,&]i>T;#`US'>0=@c+=rV.2 Z{+2+0H4KדX BA-}w qVrqqAw: JfۡV|N4L4֊}ԖCțlR,bZ6/ U3 pWJQpFk$JbL8#G1doBoqbmk3Q௴Y}|W2{bNuݞm(]U%Vɚ]|`RdW &qISV/PDl@@=1Z)`E̛1Oo).JF{7mL!?hJڛW^jޢ@o=y&)δ'}S|:h!3X-(CRD-QsL# voK`[(ō.g79=.>N wӼD~x%Ar[Ҁ9(e y=< ts õ:`}E0^TF9%lTޅm nxPSm ܤɺw̥y}J2i=! `xf~25bHWW nV$Pr eNZ(8 ULZE#Fj<ӭeEb;&7QWAf! MH,d [ܟ$?kȃIFB nhHIy@~w=6ItYՔk4cɳv?W:qcXǦhǗ s HoJ$eiWyΌ|\ aJu4]HH*gIl)$rUy~{),5jqxl{79vd(R]"Ospg['?.@wC'ⅺ18Tަ15`Y)^d&y&Á6/ сU_{K T̏,'ޒzxCd"Y^7j=f;= "?Ǣ>"  P+tB]xi eNYwdTZBոT.?IOW-@߉,u2I k%I %`4J/RdkC({k˥:ܦV[2 6;^RTbEA8>,]iA~  T o=3zSX$zϹmH R=DzHI:: jKs>"uat2.Y1c8 CH+̂d)h4Px3eX<$YKØ *͌\빮Aݡtޘ,>s(.Ug 6eVX+"6`X]t\3=m$O&VՉv`$Ixl9 dM+q;.oM+5k}7vFRQEAFqB~ z ~g4.߮A˛5Q8~7T( i6 "he7RԽJI Vln!\L3@j(2_gw!rVzn_5,?84[2@yTFTXoF4xkIlK׹wQn> : k aP\7U]Q ;BZЍhѬO)7ys;&A(pU'&o|8OV޳!2;/ۘË"0xH ݚܫ9жO]6!=W^=޼P5w+@&k~ĪP s ]}nBSQ_D QV-S5 Lc+$$X&pvg ]| L%eX\tmjd>EG?R&W-w3,b>=?Wz pMPK0xfA{MƷ ɀ1'QCKJYݦ@;*H^8Hb=~HU޳FZ`]iYX7dRz\~{نT4B"QTi^Xe˙[UMoګףY!?{uv$|1@S/&ai%I.Cˁ%&OSAryoo/iб #(vJtۦy8tמ<=S$ԀDʙRQb,rgJRVsi2}G$S{ZZxIҙ >gYZ zz{ K?% lTransition_Systems_and_AutomataDFS_Framework.Simple_Impldocument.tex7zXZִF! ᇂ]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+r-Lh|A޷{(PucVPr7?Mc0E;gV'pg;wCA}[g A+io7ݥi|&{o2R4z69o3D90aMhm͍c7&M߷0B a6{O兟O3vwy@D gZTL+d >3YNPxƮTtUxϖ";}c+#}dZjw#~0;H2itN\?i-Zd4HN$'B﷗~vo(en fp7L$2 =V F\|k@2/K㫣F/-DJ ?}o%rŻ 8Jb(C8QYWme0GݟVlW`ߕ( >]L,E,?x>\qi-.W=+U,Yě!rϒ臮A?_;#1%WtfѽQt :GD|Htш$kɥI6r2Wpwm/i|)PGe>MCMQ~p1(DbDϬEj{J -W?s@1nIr${Y%e.EoQu S5E^/ր ՈkFMEh!+e%[s4R 1jq'UnP!?qA~K\bX_/c0 J v)DIJB*bE_o:Ђ2z/Ǩe/ {-),v>] ~,-HyPCBͷKå{/ybpE\V48y-Lb};ޮHG K:~C҆~BvˆNZ)G]_5au][Y_Ë@2# aop)'U'3+]H+=Hbt*b\,mZLSsoL]/I?Fc}&yo/'Uu4:S?RltWԮ32[gCctvSUXE4ZAA(LgL{9x?iS<;LhHfm91XLKan9CT0=cgew'9ő|џ.nXp5\V n1 XTKrளOjZ sd=WҒ;qXe&f߅l޴:r?ʩ~#o"s(PR^A}M(Jx(j;4ogvii2{&`M+o8fcZ|8wf/AC2vG6A,UsE񒣩*Kaw|3癩D)d4Z$`#]ow* f !ͦ姴{g@f<2aEj7_ RP:H…+cI EqG2*>bilB>}ezB,?23ј?6|d䎟 #<[L.W iшb0;*"2w5/KN3O; e"E De R8_yS"°H-7 Ϛ|MXfDAlU즐=~ܖ} '篝oqvaq20FzcrM\Ih7d5^fEpGmWGx2Be顨F*Rv껃>inĉD3c%%<حq~>zcK(%TrkeZtmYu^n62wTs [:Ò5 `%33n7QLvBDǖb)NwŎH i1Ǻ đpog:|=Л)-  H;#MՕZ5,@iq䃨l{K]Eƈ*Ȣ"J-Tf=y݅iJZY`>.=ҜVOJɨkI83ƓwDc("8m״:(]6f_0By7,jǭ첟Q(hT--o뿂fڛb!T̏\rՏo$U{ J'xZ!ߣ̰߄ƥ=^A7_s<^]n6ȥQRgOp mSOk\Fw8|>԰i>wd=@HoH?+y9 4Ѯ}b`g_ȂIs *0ø-}4,e`2wtecAM JȱK9g ofᠠEGG)lpظV BY.U&3u,dM⎡hڐV 5?'|\O)`ނ0-ے?aM`Dwک"(sڑjX,&eҡsj9OCDEU!L?ă{A~q8rB*dENmj%PTC*򐰉YrxǑ7)T@>t<3됵w7 a.gcq'kf[v zk>~=c×܋O'"VR N[\Z%}Z؏\!KB~:&}-(8ߴ# t!Zv慉Hu.u%~DE:_P@r- 1͝< ~'_4s WAu.P}T(Bgޯ=Z 27 "_H#:V$yVͩtF9!$Ob} -6uF@J. 2vS6+ri[կ@swyF7toWޓ;_ėu20dv <ǘ| ˻u0>&ey4gmNzl4]-xw:̰& S嗃TƎew# ;fkH!Г,TKqƚ{PﯱJ`{!HhgmSs='nEcVGkv湔I3 VH͠g=W gXq#U)|+g %!u+!*dfrbv|w=!ɬ!oϵ%yz~1F1B3tB &KB>xVG(Ha ~ md {wQ (3X(D*JvzU`\tPsI:(?>s=#{rh$[==?L)Vd©~D.ܚ*;6?FΥ]]Y'=Qq" aAl$+ofh׳B [ I&ؖ֯1*!nd:?A%0$:'\ fq%?C"Bv20dB_9zi/gh8rR^TIB,?mDh`eT 5 Oٍmd΂ElPS1SO` zdP`I#p5?T'$'#fv!94kڼ0P<KԾC|%Z4 22}Ku(p]~* >.'v](T.36aNex +T~ 4-l^Wzo7lU=^69+cDCD~YFsBxGI`-ZnUb8$AU py-^'8Qt^$V1;r]Ą,VrCuwY`C>7}I~ H2]q >qS(@ɀf 2qX-[[5X720n{#|&_,m4>ieX-*ӆߧB9̀gьE <~z,2?ilfnWS%$RCfUBY `q=CbYX#G W~F4U9 ܾ?= 9Ȧ]}I)xUj_ᓑzESx-O4=mPT=}~_d+I"l~84_@5*m8د:OҒ9d)U214{(xM|LT;JQ.',*+줫tJ/(b񫓱ivS#0`m>7 3yj/6f3dtQ'.^@@$Q,F!pVj856%Q;'aPˌqm5J 16( r((7*HwrL!qUn ]ت+U++*uhnuzc)Sn}M4:A,&"s*>5J;E~x4<@-̥QiMr1f:0Raef3T*,лՓ8C 8ia9 _ȇ}$ niP 9"@~5ݕAX,ʊ7vr~ :Y05s\]y5j Lq:ȦL}?8#t5N`ZDV+{o"A([L=-?E E.}mQd.e% A{WD49Y\R"(uWSec>H6P:ͷc(:NTAK6|oe{EI [oO:qM="P!~ubsLDuL`1\!'Rbι|9|1PϧQU0:,mnBWfY O$Cڗ!1J>Cu-NP{w~ M4>HqnE{80%#@Ook<~1>WIn6T17E:)zgFΏ43bE7=^:bZVu@+Oo-IoaLtY '0ܣSF{Ϸծ`3;J0mf&)6Y!2|Xlp)ؙ{0 W1^'0 c xN,U ~?*O"y[1[;牢ƢZ9s-Lǫ_nɏW^&$J%q r? To_/JK4ęF3gYZ aa K9% $Transition_Systems_and_AutomataDFS_Framework.Rec_Impldocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5C16sQ.݋ e #R8 Gce3ɀp ?* ǥW Zn~#W:^eEccx3d>}I4{qQp83iaS3`=oO+[mߦ*Q12'>HM:,wW45'_|X~=+p/i<t„r Ӿc`nX͚.U-̼+Lw6B9G!ol:>믨HA{s/iI)Jھ`:֯GQ! 4ӣ)P7'-s5'IF#|fϪyOuť=]GEM՟ie'G5I&{9Jff̣im_p+NZ4(0~G4c{^}vfƇ'p.B{$'7m6Ͽ_{OcB{L&w?>욉cFƭ#F! oFqJ77~ ݔ2QI^LAɕl_u:+}߽ S Qk>n$ჭ~}oa" `1`t Zʾ|nڑ4_XXہ*K8=&pPrf3ξL,ou ".8zd)nTrcfOTc=)r,TF;ؼkKG&UqO\X$ Y j!g2s=z X%i?E#<t {YSoJp{1@F-=m2V" e3D06:NZQpk Ey@r86 ޲^ '`7Üϗpv>:B %nSʑ]!?ŗЀ ^A$T>b|n5?҄l1Ȧ([\, 8*1sf@مf8% 8]yX\PsArYmv"#,J*r=+dz!Fi,# Al{-L gq=?û=@gw4+ Qsb0!qʯуS+< @KJ >~@yw^!>{^dԇ2 ʺ hy_mޮ@"oZǶi=h6 eI"H PuU[*;5L"şC)cׇպxgiaoO1*Ohk,'k4~ގ`uy_R5r#C8T\+@,wl?ΐT6t*)傳U|q2JUpf`H~X L5Kl=7 Fc쉼NE åŖ2Jvg(з1 ajiXM=!a.S!oThLVmh41FS8Xz̭&x |R}8ha>=%;3;2;+NP|4 HXXv6,aT_DL蓿^4j7>` S(QȭtiF{M +p8rAN.ðFG""w0(PcDo,9f99YUY~l?N!)?UrWqΫm*s;XFQg_:Cqo1Oe~#ܲCgk+,e~azn"بKim:QRb'ȡ,R{Gwm\გU Sq$^9fPS\$<)@1 Д{+dJGQ:;$V(#f3@WZTI*mS(C9~p\1T Hu*|N]p~ RH&!G#yAU{@::-J P) ς-5_C&~?y&2jd b?:IS}8G"+#,fdP9! @̀9!qA 2/l7UcX`@&&lX aF4 REk8~5"]ǂ8Q#3T"sm7f=f 7p]Q"@? hnN ~8W/踲6|Xᒎ+3F)AY[b:g69کΛYb ^~خHc'*RWSS*Eؖ++zMh7jp|"f).'N`{R[\[hPSiё1!-7E;Cd[¥[Y~)# 3DJӣ"w;Ȩx!j Tjok]1=Jc`d_ls3\M;>·;Kܵ&4 ]b9!%Z`&ףh6Q['%%(G΅$%Cbߦ1\Äk> t6é "N</.}6ad`}b-5<7Ny|m$ÎG>JSQNZߗeC2-Q06=HV")3J曊qDI3~D J䕮듊 8ai#*[͛/ROݝ#U{LV=%13Sd>2>.">Տ:`qJI؛ % !jhcF<^a T92&U98YkHY7U[jg^e@Z->(&>~6V#XF(,\?g`$(/UA u$*Dh4A=լmj:^U64~SHF/+e,y^Bv6M˩GPmg m\ ed/#葥=t[gMs_ש9~4PqD]J ~p,)2? 3GD9AcjJo9#/HtK F6P@5BF^N9q>zW_2i븶dEV/%Йs~~+G@&0,=ϋ/жKQ kF%_U.\OguvGI.^h2, S*V1l/&nfT i]Q,]rʲ0&^:+ɫq|8S$2Ť*~?^)-6[Df<2@Pl`b:p5>*DBItՋ~~8r% t@y?h`kR0d9FQ&`kVhB7J؞vXx~x:N{;_#£?6hGCmMquAezj$(NQ)xy#{!sП?L:֪*>3:Ylz_Ark;(qOuͮYmB$x ,Ϟ6Tsf\~)J/0v=#߷Շs_<;;BT|~j*ͭ6 >ɻFg =FQiqA^Hg-} i-y|K~Qeq/Uh64 wݐ$Fa4}K2a h\ƾn،Y~[(PPzY3kY]}>4csJ r][RЯޚJ4V^[92tXd5aw3opn;%*Khd ,d@eRī2zݔ'j?ۘ#KOSNejU vOiԕHw;x.ylj[eWHc=֠y(Ɩ{rUoOƣ H_1T?{`VRd+7ߢqڃ(dBz /$+?)OwY8{p1` :0qvSdI/;='.r(󷭨oD>}x⨩\»"|x%H² `t- t#\3l7膂Qj궆ۯx8S3É:\a_Yտyսc K9&{tc{0njEu ԑo>~O^8yā t^=,P孒a'zSTv<'GF<Ǡ1 N{:Aa?*+Sw?Q=b_mEH:Iϸ3?(xmE`(@9 \販aט͂KS"QXo1%^ƾvЋcX D~vffiUpm=$aûhD?sWK۠l zҖ*&}O#T>1*TI&]JKF.?W(K8ርd)`|=lӔ۰׋P! ԟR6'%6`\ ĻE.2h[ϰǙ]z^MeuoEuIAiz%)$bY>p)qF,1:nXzAv %A Adܧ3l p=gtt+\ 4uƈC/p "Fs%=PR!gN p@U$"| `Ost vgKȹc4o FY-.lޏ{?nesb1q{lM̰JDWn$R \q0qs ,Vqn}YG"b as=sMA$@mHݻLgm8[)}<#p`TVN' ! *[/0}Wݾ-jUfF_87?Vdj,lCG<MeM0hLw} z8dhՅ,Ip܍AB}4"gzx6%n)8vzkfduJ7p<-_Hԍu-d[sȐy_ӄ'%TxFV= hfDHinf,vq< X@oDnu dh,p7ya]1TsB Xޛ|-^XRb?Dԙ*&W_8MMCehœ=q"SrI*FMb7p Uk=>ylV귿IJ7L9#!J} +I0 ֐^N@n}Ia4kF3{AA@/!kҕ'@&5 ߽D "'"3@Ot`IA5&TH){-qQ:S`XF%0 ϕ56V)鯔{~}s&bҺ#t"MZ)JL UPðkqlݞB "9޽ˑ0?iKfh*Z}:|&9"#И0@q&/g#ZŞ-r{4mgI6,S2v>rC?ՓRݎKv1?=V=m4bH),. %0Xڗ5@BdhgdZ 9zױƱT+ K6TY=` T\g(5/peQsLT]gcdžņØ-vu2R#ڦ?o{"^Z/áu0gYZ tKY% DTransition_Systems_and_AutomataTransition_Systems_and_Automata.Refinedocument.tex7zXZִF! P]A-MՋhvG"uIBm5N[ [jyTj9O es #8kSՐpVo2,n.].!jx;To$wđ!&ڞ5B5hnLN~[}. < n{W)UCN',x::|\>V g9يK>!M048c[ήaWuPn^nBVץ:!:^4Fyisb!'oe6f#$S2K+[Pa`N(LiX~+CdT*?5r@hy&%buγ t1wfe8[F^8/'߸sT.ƊqϮb< \G%3Lˍ>֎Qo`%RԘa*Vc[}̱Jy}(3J,Q1Q1qXS#TMz0v`ia]9rխB?D90OXTp%߆Casb\Ѷ6c$Ў5-ÊwrtƿI[itY 5Rc7 H,Y~ ~+¤qڙ^@4J`q%u0% Ʉ0l~24&nk>@\*hx.,$suYYLN@5{o⧭NvDVȉݓ_/D:$!E*?tدlFuD]jv=U[waMMy38C)FHӻTIn ?W~}j{I ~6ܗF|- ߄ VNWAw֯3|ºg8r[OxnT_۔ńVtoתI2Q4Xrszc^5T @1 ?|sћqfʝPaAPãMˆå_ .gq:uwjR 0^a"ڮbq}74ws3D7XbHA *v ;)6KyZ \arU|ex5?~Ip#\M]l_rx=դs({([7̨.A3[ ik> u+]Dn`毞䒇IͅsFo*Cu+ҍml!R1kW;2L?o*e} &vHJxl 4<={ 6C7qc-.8[1U թEV4?!]f(-6}R =RGXQ^Zӥ)j\٫{D>WXLfD*$Jx#Zm2nLCKL;ԗu UFvBH:cS [[x#|޻0GƊ;}UtS;;xv!U\UQzxVMuyK;4U`_Z+1~{9u 9.mMH:TAOtV&M*1W4/x ftX{,#d 7Ը}+N0oÎc2h ̓=;ovo9XndS`1i(I\&fzI:EIJiއ[q ;"LkNk hO$wJ<*8u^kyeKإ'+W1m}ʑ,0φ_EV 4RGHJ!㾺u35DW}B7Vq̀ʝFqO!\ 2Hfjfp~Y"rKLF_p$d|{8n% E1eIvwtˢ:=u8H sD\ ӝ\!O؝ (4B0*"aL{N;K'lu\µS{>&sOƛ+p9C$`4lJgCJ[476nci!kS4\~jkUhP.#F| {ePNB>@e6F5zgWԑhSmfWq? ;Cױ#|\"/sr^c4:I2w5Cfox]Q yUEpM]iC{GaGSkiO]kީFBvŹ[ԫ^~9Esr &+5jQa1~,<:LJ`l:/rJAW3s͟@%.И“z pPćF26 ͯzǻX踐: QGseNNQ"'N&y\绂`VrL"|,ib2l! a]:FX 5C/FZfWxgy%ySլ9ӡ!?Q }dH\ܡ>*Ms@ n$fWЂUx h ލc+3THbџRoT6Ě|D00pm1zN,ɖL9/ $ J/Ж.&ߛkzj6ke@_€S^>WY,$@Ⱥw󐙂Oya5LOI&heA;#߽[$O89z3ŲG5efCqt7%L FVU^΃7I&>Q>:QL|=$O=p"YzN}6 /#AY' RűL;_虤]␋ɤ_bS{<^+CG %sm6=ܲGCo}P <;=Xkʘ*RIV4.['L^RүxI,DuRy+SuL奊֌Ђ!OX=&EI vLoEEgYZ kk K]% lTransition_Systems_and_AutomataTransition_Systems_and_Automata.Sequencedocument.tex7zXZִF! `]A-MՋhvG"uIBm5ȢDB&LJgРOVٴOqf:Y`(پɷ/";$Z&@/P1vk 9ì 4-,]єtl7ŰLwQyd`#iиPH܂:r &\X BO+[NM4w 6iN_Ko>6mn`ir#r|!Ƞ c;8< C51T:ŰhkḬLɪ~f83@QXA7Ũ/;i"]s=Ձ\beh= Y.e1rB2rgӯ8NLClIWЉZ k4՟ C&Ljz]~~]&Kg AX"w~`` cS7_MY\XgM;P5vBgI7ӔWe8K}d\fwjm{>IOYrrL.#$cy&e_C=Unas[F%rvNiQIJfa~JidFNH֠(lKq πyx=Ǎyq]ֲɔz+*,e|@=wz?Ov4M% ݬ9Ss#r'ulƆg?F}8yb^Vf~`6]] S^ 8_'f3f罩r5s D&!|ݬVKϱy4<%?|k9̡Bȋ%]7cwL"5b)0)Ȼ*]T@^v~` h&vQqo-c33Ω*3>͒1qީ4XRǤ8A(lu](#̯YwђSTt?;%ߚ秚̾r,jOD̮G<8Uһb`e afAψmJrkJ}vR(5a]BX$(ilc:BB.. }f#GK՗My;^pk Vdce\#UKƒe(80h@mwh*,] 1tN+Z"'^N}|%w39C:񞦽2/8xTlW7,LK'jrf[:$ ڱ#(K!DZsqZ/-Ɵ'b\|W?2̒;jSM`[*56^Cf\siiA@ea &ۜwl5w"oO4*:#Ie i@@YJ)\@SԽX^C8fC=/K[X"34טPMֲG7 kRSg&g2<I t7rYWPU!G.VpAs 𪧋z ҎW  $\#yk\4*Jf5~c/f4~fsn0OhNxΝD:B.3J MW] VXn+V8Hhp(w)~ ܬ沁G%t n{>Czz4ы}Bik8-S^3WXx; MNd(b#I;_)~uߞs$kL.ݠ.dbZ@e/< Fko*ۙ\B%|'-L HCp9mH{Λz?t#f%_k:h3 }m\jYCR 6Hץq9*cIqr@e7 ,Ky_]Vbq_Ҁ'[}i:}Kz6Oz7Z=J9(4 j. tr.S^ow-&MSYSIjxBlO "+=دо߆NeiM,{uV[¯u-ax]~ cVkh2PM韍T$x'9TH_bPt/͸Ewke:t`LPp:k#~8Xle;E04düՊ :QHɱTkHP>)+'_.1b0>)ӽniNE)MӌxdۡFVp>9oC֐G),p gI]ۊ7Y߉O#4NJwB?#:P?N(÷hlI`łikξv$2b{?>S|G|o {d8.П_V`.0RJ>.j7?N;1O@݆דOHO[TIK6h!AU]}qIlc~Yˀ+P񭏱;/tK'?`G(,Iy=j)$LYYc S)\׳ NJuѩTϻ\|l]6HTyu|qy 5wWOgRe $jc{Ў 'ηҺ}&ԓUңLs`wy+sk]Ѥ21ZR@ ۠$L!(D܊>yXGhNO׎,2\t%${M<@CoчZ֫ReדUD?!Kii{.\` E| >1Ƽ4OE5T_cz@lN$\b~ѽGh^L$z@ڥ_ʖaFd3ܦ.!" Q?zV:DUkt&۶iˌVB0馈Q v{U};ױ>\AXhj?-bm71Lܓq.$#P5A\~ʶ΁ffGO4 #EN;X8vC5PB"TA RMP6 D^yIaU k/DUꊄ>/WA^6B c(PV X%0epcC aK@U}ID&.pE'g1ۢ|e L1.OT Ef2'/S,is7eղ۵iuv)0mWؑ' bЧ!,8Yk_ᩃv{.gC/[ɝǴZ czo{> @ԛ he9vԍbz2sڸ eqR04փxq2S=dKē׶{AجRrUo5y7݇Z^ T jPFщ$cXRnznr*X9}Y4cS~v}~9[Sg'O#4s*4fEƴJ`qkgsAf{KidU/e[l W`_o1Og,?@֯kO< 5  v_Q4nGvQ ng"Jzu#[)Y M#Qemh7/ZTvȪ)֍lxiGiXz^{p80d71Cݘzq|b$H62@kGjELyA*Lt׿Õj=! !M=DUo mCEGPM}PfTlx2j2sG"ٔ#D[tF'43*TKA ])ZWyh};^012ݭƴ)]XL&1Y7MVx7T^cɅD(z4*?xĘD Cc &mK!UX`|<M[ucmp:޻"k~ L 2SVԩ'N遣zkaC&RtzȂ~qV*' }3&a4h[NChw %SYlZ <@˗|֥ʻ0z>E#Ҫ~\18S%pԬkŴm S8i Vq*t&pODACs0Xgq*UtיD*9^:|y_=A3J!_"_a'L[$J}bY,l)gEr=nT'RShߣ<8 lbCD`J(o ݅j [IآC? ŏ6PLCJxUgt6Yj!J>6;אrP @kجYdBpyM\:iTTE=0RڙO?Dpx=ٵaie|qB7`܆o3>eʃᏔP6XK`?#W5N 7h!ow1w&љUwo'-mGQ՜ dNrǛ%q00\9 )[HP'o `Wޮg$rŽb;Gy;|L7@ѓRB\‹ 4W%t"Fg'Hɴbpd9UEO#yHpZ%#aFUH e8,##3iP ^0'I`YbDZ^*=k& }"}ID{[0B .;&qgmW&H$+Ig =FS\3ΈwF$n_aumi8G <Ȯ >}^U#A }–LTz n 6mQ83~#6%#mPd$ ]뗙Y2oka줇)"&:~ X`~ƿT$~ŸkEr,劃pC@3(Hq,0箸8JTMƻ3ln4ԮR<ՃI CyDա4.szz%* tUUKzW߬*`''E|BwbF1^pjoycplo'1hH, +n xӫ <('_ oe2+U~z+01'G#KM/1Ikݦ"ؾ#'~з(L%2RU&LhQ&W*,?jOTNЁQ70.]Ψpe(%3& |+ᬦjRv`&lndAܯJPZzI[){€'ó{a 5D,yXZ)%(lⱾp7J#UK 44.G |m ɢ~ -Kt݃=J(t!n/q82 bSc@+O5g XB@8JǴ,mtxikk2x{t*3ӥ`V_ Ilp6G,&Yм/^r̾ej`_ Fiէ;ƿԑgxf'5+(pDIZ]efŊҿǞUwƿ,(C Gܸq7;NNO,"IQK=b0$a{k2qբ+:"m j-{y~_CzLJ* +nqTCex(ۃ[{}K53!.0i?yy6@e9W i,saG(Mo)R2ze7~~)pir@*^]dxW[{>pW̅q6J|pرNjF2H1RoقܬSOOm$+􃩇cÏSv&rڄ2FK 0?\4vv4FqrqF%+l1컊XٙC*F1՗aNfl3 =-ճ]A n撞lzUaJ:?0BxQ z"ЬMha+{bеlRfq4wsgYZ ??6KE% \Transition_Systems_and_AutomataHOL-Library.Order_Continuitydocument.tex7zXZִF! ጪ%]A-MՋhvG"uIBm5Ń!31 UF e¬|oXx^8ѥ^Z $Z 7'̽1=Ґ%X;g֋} `X ww={^g'?HեG$ѼXu U"{&L`hXMm|:E\޻Ei۟ e :jn7FFC98_؟7Ni!m qB^密:W'QB nE.|)sEN:6uNu"yz%~\Wm:]T4.pmIWhԉ@> tb 4qO7oWvK2/rBzTWKWԵv^3#=}pAR٣|(;Dc۽hnx,V2w[SiRb S@O>zpXtR>d^.)&%aޟI+&uj0q Kl ow7vS>@#D Lc_ 9rzj##H|BBW3B.x6~*^ptwq`}Ktrb֣-%ѫ[|S([r .AL\:!Lyޫt,E~;W(1{;NBnX2*D*!1ry[ouQH }ʐVf_ X y nW-\1t"YPS$rkQ3|I`Iw,5/Dk2)\JXhpp`1Rs-v? S)|SvʛvRx='v ,:x-m^pRJ6e/ f b|Ѧ8Fϼ|tjΔXZk/@"McJ%%pLkS.dt]q$3t:+aDqi0sAEp~_zӗHV4*3ƈ`ʂ!/dryGgg6_Z"1A>I#3;)e UEO3gg e)x=2RP~đ%[=N96vesp Uh{H:!3+xQ eiNx~_͑3kjF7R~r@9Uj 1g#{AX38mdRRr g`=w/,l4?5!̮ްuY]C4g ;! 7C'~Nhq &G!gNTRK= 6=fNc |CCB#kH3G&+_pŸ>tPL_ <'$xkbOtgD:0-C Ng8rN|0S.T5=RUPpRrH<:b`ۇlnxs*.rPB{3 V+h[aWmf.ϔJ *ə`{$sr@?5^M_>Flj(ZƷl';pB^ CW@c/9c[:ږUuiJfb$]6OTq`FX@vn)b^眝|6ڪZRQiTj^DFJ-%f<iq"&KJ7Z@ISr7In> !b`SWɱd?bZrBqæ4Ye09AMP) 7s{@F͈D/v[h븫R _KULX-rݹ#;lIdЂj-m5ShBM_|i wݾc M\%}tdM%}'jT j:擝~,9\8%CK'!p(rڲڨn4_SK ZA;=wHO(&b2qߖEMz'ӧ[vsQc(#e+!@Nk-} ʮKEi6&*?u$>,ԴjKSBY"1lU LPs~ZIx^Y󌤎6~yv33P3v+^;xh{<F1+ӉtM(G?D^3,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ NK=% Transition_Systems_and_AutomataHOL-Library.Old_Datatypedocument.tex7zXZִF! z ]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c55guzʕHr1YPx8!TdZG8:rvfv==ʝƇpK.s/vb+vp~>."C{AP.Ǵa4$ >+ix+#Pl9\Ipݑ$ZIY=r;>F0L(?OU9$F}U.W,<2XI"/u_E`j*_Mf}'5-K"㮚X]WӤ˲~4m5<,j*;zz҉8 .)"e/LvCS]q4wyItƽM~Az<758U]$5"+(cg'"[̰?#"` gVU9ݩԧz7c/{u|Ζ<$sN3 po9a|V'}j,Ф2B%d]ɄQO'sQɹ KsBOk&Bae٣Oe?̠[ZCS~פΣ<L%9+SWTi* ܕj ``' #:$RdsQ#Hl}I6qL1E@Pdyp @+'K2SJp8 hל(͵ÕûaِqS>@#|Kc0DA )y0+ OuN]!tnAT5d~&TnzϖW_sSmkv۾A?ͣ@N݄G}6ZIH0__9{hn*_weNeyS@dJ0Q-\eBT5%3QNBW0 m(vw@H8 %F킱q=nKgn KZL%(nנ/c݄m~*Qnf}M|r[*MM y4vIW>sqߥ#g漸,bє>v|94:]Iy+]=&LRHCo4AE0YTiLlOIDyja%u z"za. `"{H1[#ɂ<ǧa(Jƣ^FE2ǔK!Mdhd|' eɝ_a6[*Fr)]`"Nƿ[-R-HC;KdDs`L4^B‘鑵'O i={ĒH `(}IKoe33 /N^J "ɮO7q~N :A+=6/>!7{Xp<.~7}ꩁx8>]e~2+_=N6қ$cʥ(І]n.@^%S]AI!X,kK;u'yIjXv2ԖBʱ)Tm.B֔XEۂz$qAbjX8{5WP+ ]Kwi,_L]ѰkY iqz󜎨qBZ딘6#_/|ZƘӑF. R:INu/hnv"8[TԎmWViɋ_J|).m2bVv!QuD}C+*=7d!]k7CLi]u6fx1Imm:#i֡۽~Ų:`wQ MUaiAVdtMbΘ>͔{@q!Ylk ?/7n:5 ӡ7JZsI= DZ胞Mᶟ/cB W~8 i) Q{z_e28-qh[+ހD!/OԆ%]҂(Eq/fbN]+O{Eo(\M_"BrHkJ7hݱkĂ G"5k=Km= 0/kLm0NyZ! Zv뚔q}O$ڂR1,i%E=cfR/+BӏqvY(t˂vB RZ~f&/_V',H=J'k3 MOl`p.|xRx6Tv^}'l͔e#]) TtT9Z=RY;tZBxOhwCdj&%*$g(QXxc1&M.L B =Р=& $TjhwmsoFc7GBb37DLzpSNϯ&1( / OȠR`AinW'V? L:^ X&BwG#\@`\T4Dݼkgf TM[P=@AAB"vks9e}\QܚMk_G1:wIRaű^n8Ln*IJ71(:Hp)P3cOKZ/P>{ ܠғ{l͈=~5_H[}koZ 'Amtfrs$X !o[rD/"B[J/+h$3<]_P{;.6&ǀ ܵÿ f R3(Z(;}CE2l W:{y\c5ڇKr"OլXl3ײn' {ȖӯF'~` \/NmJ#֬:)}JMǥ[49Z׾Pf "PQrZ)H-9 zCRRwւ!™sLRSFܽ:)Xe9(aY_iTkݼh6b(g{<8;ٝ0?}w& }r{HglzYp*}fjqq\$+n= ~ɔ/.@5y#'`8O$SzAOxo+ ^[BDuN^%,ʨJ:XͶ2%SU,!m!8tپI);֊f)qWČn!A `3A\9d _Id<[DVLy\xZH2 MAm+FMzEUK5W !~ //h# Jt>^!LȰCg(uK7Ƕn]KY[e8ᬍY`Rަa2D,46N3b? xO) >"o׻זFYVP-Q"u X{ZkE]z^\|E0|}ƾW4XXu_轢K]4{MBx=In..hΉ|lۑe Wgj@>XFZ͕ŵhOBEupW'$|~R}ƫkD,͌RG,qrW:AA%Jj)$ͧ*h.:O)s43eĭAOxrvE}.-=o뭲vDJfdx__wk@CՎ0b=+ֳX]G5L3<*drxܩ`tI-0)d%хpE b 2uqPq{IKuF2j8."Fk5#UVgM/HH҈Kn=mq;d".4ẗ́Dw[^j#}u&vkjQ0ln֍s̼L"ui3`yڱ>RiI̘P-4 ~B0ЙR8(eW+]}$QN3NllSŁ@3֊u . E(N ܶ[$Eŧ~ş+7W %~z;3hZ= \x^OHP/ưKQ|˩XBإQ;=N m(}G=Qgr׊xsCx|Tx-40H=ߥMf?3 -QӉYξ(8`x(JQdXXFό-='D$DS>(Sy#گc6)T]nR-'K v啽vyM,b!a)iE3ȏiIg:K,\yrF6qV[=ElE^Y3x*? '7HF6]45g;w 9LQI\f& !r*{6{'6YSG1WNzUmZb\a #nׇuMk QYڠუ {>p-m@5g"MNm$w•Zxz}Dsqsu=< uQrwjVH/:N!R6rwCZAKr\*ɯG0ڎ4$qxٟlu4jCŰ'r ƱW:oeI[@ -#kޫl^Oo@.~7;#<"~؈dzD`}*!F k|ZP2K*jb:?8#[3i6ʎ[n"P`+OjFǯQEpDr("+r|>gp${]`*<乃33;R@Uc\ wAIxXfvk, VzXQ>Yn.** ֤(AW2ʙ@(}Y@*]Qy:E9Ax)o Cr}*G>rSEЦ/X"ɮe]^d$\>^0g*%Q1K`'#|항.yȴ^eZݼp%l ?e4'1.Z°eaRoJRfgu6 *x~OAU5w#BH: _o2)1E6ڐ>=j#Ljw>f %ZX?CpGDgLru-:9oƞpMߌK ҏ,f(IaTM#Fޓev] 4̀S{rF5_lUxIWeeo#ZOy(^: 4On(0('=(% @';Pô2~I)頡77Q- 3~ZI,?|<3Σ"I:g"./i^ό!‘XL-ΰ66*e+3G·^oD `}/䙋GPWȑLN&-a9~u74p}'ʘR1;6* ur.I~`DԽYso_hO;ySCZEM5$/斨hrg"9iXK[RzwUAMi i/TbRU.ãaLzHa lPFKp߻)b CTKLTOݹp fg8ݯ<]w8kڶNcki\C.e_š8-\XˊDgHBBLJ;M^6]F n]DoDfB񴚵V);<;+*̲Zzߝʁ# Ep^SB\8E^nۉ!(%%:+Y}L'pWqLM˛A˼P, pyG3>X\'sr˞HK:}Y N '!jj]{{D|'yH8$P63^vgLuʍWa;Z1o!R$R8(%(z5yĔ#? Y*oA8ܔa55HŊMO5"eqJ]vM)ݤ_kO_bS"YMb<bq|bp4P9o;qXH=cx,1VՅ'W${BCC+yLK8jβRQz ܾwK|Fƺ)(noMnK~o~|sFsqF1J إ|d˲!)%).|ZWK6?%H˺P߇֍_fTFrObu 8-#i4@r;.EN9[g^6pS-k)5 ;ZPtluilmܕNZkdl}WVq ɠFΡ!ͱ *cu` #N~-?M,FTl` ZDvxQCףcb-[%bb[&Ke:NDkѴ7)2[WS_O֡Ǵ.KP:->Bwgq;͹UVR u.ЦO}T9&@,j *jxz8 { rU'YJ<ω(/ȦmV Hu<<3'=J^{ o2Kz6.R:IJ |!FLŞ9bH&Ȫ SXp/?ZMFNmp2-C\/0flC?nd,֤ fZDCSUqgzy]+U(,A,6) W ^xиԽIasr޵&`Y?S}_">^?~?qpjhB]^x)}W4s_"cw":PgDk IbR@//Rp(*,x 7( wb-ˤG|J!+z"³]$q9ƪ>˔؈R.2T '7F"zw}lf+WNċ=,k"X?vIRަi >%5sA}WpZ1/;=o?pՌIAؠpMBIlW89I@舉uYj HAHFT/( pzK<_k`khh6&l{72>:^E $X |kl iN;& A_lL>N?Uuk4|a7 j'F>ίdG"2|^Z)ͼ8ɕ王߽GpM q Zڋ }* GWWRg!=I;A#|4/KR6*,pXn!_ԏ 0qmIJNn7Q2^j RKD7O:tBnig]{,*$}K!QV3w~sǜ:"xhupԀVKXZACM>D}F|{@+lԵ&-iʑ *u#cMftZC\rڹSޛ'ie&F1rO qQTEx[EsK:4fLӏrt(k<=>^ #Jh=aQZ/2^:!`Aco $V6ϵCXp0Gy"lУB&:cc$xؠ׬8$IUzXj &Ex6Ob`R=!#-m-3|7ѱ5`!0g?zHΧPh/`*zb$k%8]q ӮψewL@Wŗ|"yFˣ(_!AH/i?ᶯr?e9p_HӞHp bx/0)[y\N4U)B拓lЈoGk\k?%)ϔi+B\[ț  a؂#$r,ω3[acрF O&N@RW-\?f2 ҅ IbW[gZ"'?Jw?l8r8:,}z+ | k#w֪81 Ib_UA~D b޺y;EKU/0%M93J^=58~hoj`P[ G=声^ 0rrj!H9VC0݆O]pW/~@/YtAf)PTs^_5%on}y峃>n>ZZMF",/jaՉ,\Rީ,H< _a' 3/wo h g6'?W54=ӂ̱'q#|l:y,}"!c.TP=![ q!PW@Z||IǽnoZ ,^WIΗ~+דr̠ 6怯gdr/D~5 Ly"2ZfyӀ_>:U/|UO#D= [FdqB4+R7# |nC| AP2ՏZm=xoc lzKNcV'|MTWZV lG߉|)I{toUR~V91an8>0{bpk;?Kg% LTransition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Translatedocument.tex7zXZִF! ]A-MՋhvG"uIBm5ĢMrcvIxstW`EpVo`ep05.@%EAARGn*'a&=^,ΞCr;*ꭽ-i\6WoR4\AzD!XB[{W^H*RGOt?jk 8F31Bӥ߆|񯀍öfw\/yN|+Zm#ojq༞"`8j̴Sl؛9 !-2\*?-5fQ3t5r 릇L4+;P&tBM˿n>k:A{ h%. Xv4)6PD2*qJD\ @iɗ۽]k_ۄQN~FhAr.kQ,9*b.b9? Z8=3" ͐ӅɈj!V*z67ոf>5aҐ[f:z Ͻg Szi|*uz4ztE_,}~{/ Z|=Ūn{<2MpgBhzW2k2H[[_tێjTĎy(䀻.Ouk>s˅zZz`I#Vf#.Z(7 kw< >>uֶL/| ~\BClҷ1\Ȟ=܍9r<8%KB?> U>PCMp( &u@6ud474Z>zO914L^ ]}[-RW $Uipj`Q) a;4 l8٢+ͯ*+E cP?2C t.es`DF WžHɍa'ŀd0T:+, D`IP@ ``6C8!(Q-0]6[6Qf$ P\QYA52 ow$veMxqp Fb)|"np?)zkՒ> wid/{?'clc  I_?}FH}udGl]T[/Tj?aSdI7;v9 @/u@ i-R:rۅj&[RibCRd/ĪQ#7ւllHp6T JxtkzC7^4LYڇ̖iq;SVr}Q‚׉˃"BH Ϣތq6j5"!Z`r$@ܕi sb{oK!Y {=@xY,[M9oT-fdAu2n:)͑P!6Ti V t6)wAXPnB`G 6u7YMm~MQVs(.g4:U* LP^eFd5W1PՃDmL՜rۺ@{C,;mT%R_/*n#D]U)kB4WRqѕpDa63_鵖r.h%%I=]M3GBTfMH[Bd:7܅ƹBpUv@ ( b-Ky0zġܛ3!ďZ1724 ҳODv&|PM6mYyTXgjS詹#Pas}1-76xsO>yۜړd^mT9S@^LV5d߮|J-b/`l~tDXCc/4A_"\(A1+E>cp1$Z"Hs< fXmϼ_D.[ }ŇoIu!wxM[J'S .QȠ7WkUbrUḅ g ޥ~yqn[XMY;~V0¢Oșb+ grrF]/-^f0_>9Rkő}0\6:)h+V'g?ng=v obxwhs7(pZz-{>~KLkAAE^P{? g2%Y+mYix2Ζٝ$ %K6&;뱯ecbS (JK:A˯_nĤBO1]R3p1IPzdEF;\ ȵBXBgIʠݕj3ڿM=m5:i3t"NMIK[l"x>Q/>_=bwCw4m].w'iaDf?LZL"]HQGc,cf5H=w%^IU6 h w0[p*"XPxBL\w1EdwE8# Iƀ.>bLB u l: Cv(^C:xia$|)K!NpF\Lv b܆J7n3įvNk$jO-/ p6VMԘVF}"*΀~VroFhy][<V# >)3h0VU.B dOedTzsp!Ns[vXNg[K(}N/.S>@lVqRwfcM&ހ\3IK\fS_uX{; p6:i,{޳* aʅvPsC-6D/7V{|Eqad1t࣭@'l">ƪ:qr`xƩV^O6<ڀCB6Ҝ ;iQZ\{6 _+@(SJl6zDur53"#TPʃ5b"Pk! _}2n 0a uF /憮 m2:guQ=Ӌ}m8k3]$Ó\*`X.Bx8J vƿ\ "0 MÑسTq~@wUc.tošQnn@p U߉Bv *Ўy[k9_t'KX.Ҹ-eA.Ӝǚ.@&007dly-Lmh K\NmØ'o"_¾0!v(S]}F`^1gJp, cֿ"0N8ͤJamw Wi_ࢤ%:<5(+483d[`T/ܓh.pr:w!һe=@xzA~Z&5-5S5^32)/V;2#A(܆vWO4L]wSF&7!pfQ4 }#L3[ Ԕ fޕQ/3c3{\&uQLlWE5 BMv*>u*83#' g,LA3Y֥U ,bٍ4T1oQ UܒT%-OGioLUe!{[_ҏӒbN#Y&]88Ȏ.#A6MYɠ~Ji"kͽxPL,0́gYZ# Aa(v%m-B%PªCt򚞊I(BK$"(UimD%#PZ_V@&]MsZ> %R@V>;u8caRGfEvFG?Ef0Y/lbaWiMJRY^@U2~2J⩓ 7Cc'ѕDJ%kj#;ЋmݓTc= [b6 .:M )LN-3k|*_h;&= jmG(PeJrſ>?Bsa`_)ۼb>7q狼+'(GqG~CuQ0>MVA2 w$6Ntc^Ԩe ql?ƔO&6 !xH _5cAȪMwo"&B (̤(,.zT;x9Cv,6=_2 A}[D mu-!L*H+M2z ަVNM?P[k:rhhV[ Z^@j66y81wӏ| kNGh$&GezH u] Mb4K>d9_/]tJǤ2]'IeD1XyʲS&&r.. 2ucŊ^S*z|?a![i1@7c{ 0[y[RoWiѻ^.&Wu(..y8Xq*QPM9 t#{OU}~=dc|(TaB@O1C&+wQv)3\sAxd7Zk**fsFH9`¸曆R3)# XY붥Sq?ɮSb9UFkgp}61=UF"B3Q%;b dl,_gQJ9ln8HHeuXk ;61N\`)+.URL!"G2vtTiRk*bNNyTc<8w?rԛAk+0b9+zpD7uKK"P ZU"5}H^9 q.a& [@G|#L|'!r^/Y* 3ݣDI_ũE-Wlnju9j4Y"s) _LĠ2܄ishJ>ȷZaj!S.1/ZPa -p|BȡrK7`BQaI,.Ph` Jk 5=~F繉'gW68Vy W\`JxFVtA~8_YU"hQTKeIGfv".Ic9XT <(`s}~OO [Z( `s +=P14m| +\1?)\\ `,r./#2T17TbSVПr"*yA*;r9+lc^#;>=qp3_p_,pĵT:Aюe5싣h6?Ǖk DFe|Aܲ\!gU1AU =3b&lB!*H{͆%Os_"tDA7]* e90[pCST8JJ_S,m4S\'4m [!ٺS!w1e+ U},W2ORz9P'|`޹?Ga ' 060%J=wJdYSLVL8j Go`6teƥܳłAqE/ p<{ěFfE]0NIui*oVҬ0q~H 6k< ,{gΚ/~';QĻJ<:pi'QKBLE$/S/И\LRȔf jҖwS4?EK@;pPܖZua7x6>. ^”}[ZZ&P3^{{,̩;A qybXoT?!j7~kWtQF.>kK>{!1=;q4ыt4ρ{h~ O\3+:>o\M*y/s7C׫Iȇ )-vG>Jo AVLE)L5N>VwP O1P |Of?ϡhvr/]TAgĎG:smk|R0%?(0clE9<6QRw>>X/r}T?2,2)T.Ht2iO_-C]և.ا _)2+(Ehoߩ= gX3=ڭ4(7ts+OG1%zT 5©XhJm&?ɽnУFy4%A A}A:}z eWFJ'Ca2H`/e##6OQ9^<ֆ}.,@8rLp1@[(G ?F0H?Fu;QpшY64BA&TRː.lϡ5vgb-\9$ \# )a~eLF-!JYV/$7J9n4#9MnqIYʉN?,+*4~y܊;^y][Uq /ȷ+&;b1KfDlҦnsqY]ޥ)i19! zn`A@ɘn 9jT^jZ& N|2C08##X8f̠-=mNzC0 ZAW}f8B8hЎnœr|帑#jqTD9xRP76Gv;|g{3LJ.M4gsm4UbJ YMD~[))ԘM۟c ]b^r"FRl_&zCmȴ|kӻ,HsɂEK'%1L$[ &݆=W0ܷ#0@2㿳gS^tIlᜳqr_s(O?f2^3siM间?EcEeug[*]JrZgzn"L/n*ɘGMz>vH5X xiYwnK1k+S|&6wr]QFM'%^ zǬ+ Z|S(%lD"W,Z|0׏KOr@%MS`,XKG`t'>J+20p7bEs z@J nL. XAb"Tfc=DU- #0ZDƵ4hTEPG'c9uHH8:K= ,i&aAOFUh.BzjV[YQ Γo YE}_[0J':]b?/R%Z jaTkt ;)d3P(C˰?R#aH3t=~sƖZ&Kj)-R~%!Wu MijGNu}LM*zoպRװ[>Q c=\)F}#αgYZ:P6խ1mvg2KmL[| _m8ǯ˪!ś;iߣd4/ԎUum*=eI е%V7;121f뭛P肕CE)I'/֗IW@z]H!8cE0~¾&=dj#| z!<`u޸PGmuΡp8׍ kFsϏ#D?E,||A+Y*[(猐I <{Ϧ,Kd3sї1?ϝ0dp `7D{248d="WkӍ5Љ=ܤamGuzx/G|3nJN5u#j͌*j[|mh&WۇƪEMUGcbwKL=^Xb@3kGչ[2p |ա 3bJ%qǘVɃaA8 FןYV tG;HΜ7Wk GL(We'Cs¼U2jF"w]:zzP;fZd7muTٺ@zZ G#Faz4 $ܖ GUz&\Ӱw B^X9&#};ȬbtE+K{0f-8X}񑗩3K bRR!H^T 2Ў-5 ]mLlA7(D8[Fp2O06.4E4ڞOOuM@K_MH$n ̜vA]H*4W΄ O#֔v ɻ. 20{G0/iQ |]VZ=CJ /*b0'#aC6%'E|>/{oϬ׳8,B3[)tO1NZKMdUED>"Xr; A4?kr[*|l 9 EV<*X{dpZZ*E45.$fW=f=Eہ{s,8$'D!&&txd9 rn;k/ItͯM\ǯ9fJ5lʚ*o-XCi13l mܶ]AaI\ 0K݀0[!Ӂ9U( m˂;<̌_ˌo: ^KU>c^\"1$*.7RكB>& ȭ,ԛadH 'ƚ8|n7I#wFJS<S&ZT')8\g*s2~$ :Hu@%TKMD8/$w,K HfΔs|8fIvi~x,H6H2Ms!mZ')sƤ'fd=xr$S׆hdeH Qx2fQ%^MR]%'~l1.H/7W$@,`{v>TL6c M !wRqoz8Bt ^Fl Zq8Y+C>.q kZ@fyt'o/ 4"ЎkS)\gz_}3 ZH~!:0Ho Lr`x \ThxY)|0s]r?)LB* -1G]~Q4f!kP@liLhjuhvғž9JakiSNHW7.vo<ݒ:L;6d}XA,>g,|} O^8QHpL2 <˝bgԑlH)40LxtΧ`&Zvw*Ǻ,ypdTd?$Vf~EQ#n뛚RLՂ&GNE=حUɅZ\3veƼӭ, :RSB7㓻qCgxe54l]_>XyEچ}: ~grw-chzYI~ȼp6>ї N Sslet3SbuHͅNfdA *l:.\gfH6MV#cths q^##7]Rp%3K!l?kc\*orwcPuNRbZ5VsPç?Ā}*LPԎ9~^UpՉR3ߺidh֧v*5h}SjL2&CT!vfE?3P h \p* i%QuX@ z^hZ-aIrȊc`(xoA=T{ $MbÒpɢ,Z5P٨>gyӿ{ܒI0\}7ubF.}6X[EK2m6Y=aE\@S͂>ZNδN i;E 7*u6xݗ̼,^{fQB $ȋ~u}RG$ǖdB,.|v[ߔ񬪥 `/̄go>R!l9K߇w!7G4nzuE~a*s*H(3 N+4qumʦ>{̅\Kte!HI`/UxIي4!(`9QeiH1t[}]pLZ :,R? dr4AоU+CψY_~`xEz%?;bat Z+ RR 5 ~sͯ1\VX6"]}2_ÎɈ"nuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;@KG% Transition_Systems_and_AutomataDFS_Framework.Reachable_Nodesdocument.tex7zXZִF! ]A-MՋhvG"uIBm59'blcR;=߹|+zP*QE7a(-FA_%8ѻ,ΑԈ İJ͸EOj#l bj(QZ^|{ dK\vh跘,41j=lI"H 1#?p_'mjt@Tߋ.Ap3m}}el8,=q|؝}JгVϛDݾq92Bp6;^ !i:@]>2~tⰪ+MRӑKet<ǰFpļb~txJY߈8e𵳬@HTN/5v`?Zs`cB7cKLa`^IؕZZWcRFxxţl-ef5 \1,k\ y&DAr`)u8`l2B}nC ! Sj:+KA1Й2=z|7ՃGR m??9Fg5EZP% zg=BbÜ&GA<|z̧V-?EQےK\Rk߱**"-l:}-z4u-5(C]#aCYh,z ׼U܁J[|t c?=Q1`;HOa\ ( TS#&JkD{2?K[% Transition_Systems_and_AutomataHOL-Library.Countable_Complete_Latticesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq347q40"*=FxӛnsSJᕲh>&R]KK ֝Ѝfpנ0h%~^r1%?aƳSAVG x&xUSN IMcNKϓ29G=a&ZI8Jx/Y}~ F1`tAMYgA1#mZN7-W0rrP?!ClNmhsoG J4} eJC2~ܤVG&vh@ 1ډN8gp1>bK/5c"Q"8oF@ֳ^*^9eӇh*["^Y{2_?G<lyd4AAh7%/( hdM [4bbI$ehr9-1I;3钆t|Q@3@ \PòV4H`r mO[LJH(R6UBbR 4il>؜ (#XҘ]Dye0y+ ՞^g@dMR!q92D(˕Q槡N; W?-߅PCRK&*DxFx Rys.(eavxVGJ\"LmlJ?fy:LQUa|*z؄C i@jǚoTęL!KX?$xWDIe)ަ:Ӹ\ս'+'dyVcؒ(ԼہZ#c[{P|}3F|p|bAq4CcGJ3PŝMǡtvȆbErPpzj,C<2'斝4ycdc w|>m ] r#w>M%t\e-8}դB]F@M/oY)'F}(Wz3[Is~] f8iɈlфlHmԽ~3Mt@o{N [c{(>|yJk:L7O}gqe6z/2uc:nI_i*Ћuu Qfw+㺠Ekw!0ы8;PXf)x H|_nÊ) 3>^R.qG픂) $wt(ҖƘ7h5l' ԠGtRX/K|thp+BSV~9jTP"RJ#g35_GȜK*Ǻ#תS ;8yw+ 6q O:^j x(ޢ=F h F#Q7 {cjRt%Թ0(I"G,S,*Sw'9TKqJ>dnp_҉Un'?'yFF2%M[ĪxEXXלsw&17X 3*YKW~-3;ʣwvy]熽oFM5c\^(^- k:1iw-`ԑQ]3$4 O온26-$\hnFi2͵qQˍ~q啄_nnCkQcg";3D^L@d^MڝŶ w!ɏia* @9\O.?~!{/T>ARf|kxʠGZ֜jJ4KjDkO4kNQR+=m p`omfx?iD/TҴ 8Թx ^N"e ?L4& l _u +>xV Cƾe Z2oȠ'4\/8lkPsǙsߛ}>zI:hVPZ[2B NBf?o< Cbv_64?ѻfhxldS풐!|,FU2uPB=c#$Ir3#o'b3g15q E&w{"K M0>1DͅEjn齁ry>d;zy2_mfqpGZ(Gwtpn6n,sD,=(Rݢ\Wi;z^#ks+Df z5o1 scdAek uEZ%4Za,T3/`W*]yexI~,VgF- F!X38 ς8 nKpPHQaVe\|@8?>շK +@XEnW+E )l;:2N ڌ.u=]zs7-nej>&~3gzI{_.39pUvoV8y@{OnשUO8{%2ˁkNdÀlY2^{o-<%n?1RE؎. gnG|%8q,S8 78'~D^VŻ7՛w8^^v5$P8h(ÿw>\.d{6?+}} @*RA+S^kHShHAjCpSXRD<\whn"z ta P=ܣ57%z1޽w ' 2!(SSdH|Zjq Ba;5$nO}i T}4VAsPa+VIS/w>As37NF GʹqI2ir-DO >rJ iPBv7@64A-)"xPlTʼcˉ˶ɈU(ڛUl8_9֎go她LJ@6=} ΜˢS; xGÓ*G>GN1x('/3.{Zr`iG-jʢ}C M"lϕip3WYu=SO(:EZJh&ΚkP( MH{[1cӋ5xmh.u{c %#ZaDu4bS\_27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N A 'K7% LTransition_Systems_and_AutomataCAVA_Automata.Digraphdocument.tex7zXZִF! ล ]A-MՋhvG"uIBm5ؚSc2шVZifml l.S-ӳцLqn o wvbGFNonҐ%(o_d1WE>՛?e 6e%YpDi1"d* Xi'$R7Ў鞙e1@P 9uO>E) W Іpe>&Q = zrth)ĉQX]~V p}-X}?{ĦzeuZUz@()sig<* WjաÃmv(&?wмQ@+x5J9j!a^ SK3k$H?+ snvd^- +IPݜ{Cި9ѫk3B~c/Xzb1nτ/:dwj' n3ThݓxC'˦'y "=/P5 SA1 Pwkzk#N(蔱'?Yj32` 3^)Q{]#@́{RVVP1>!? `Awp;†Fo3XNMM8ìVAwhMlUjsS4(v4sY.bkhuTkf5G~ڣgvQL9#]rh EefE{obfW]iCp=)F0e!EW 5IйNCtg=9m㖙CZY|s4 /ѥ]]=`2g>azk@EUJG| ,O BX*Cp* x߿ m~EvkcZS%<0]hsq_"DZu Q*o\lpI8]ظ.^r&NXQig ye xV@~@dk7=J3'kJuX᫹WcCz0ΰ_+Qzمk[Ze+[M7&9$"#iOۮ)ߧTC1m&O;]Ȝl>ID+jf%Qx..b<}]mT+62٬[` W?cN)ȸ)=Xa!vwY_ywR9.VDzFH"VWK^.l>XX39(eI_8V{9+U( P9/y <í#.,B)(9W=exT.4$Mm>m&D@w $jXnkpbqIluS v|hxgpӠz] j[vVXwj"hYOSV-,Kɢq`j|{p5c8~u5 Y7WjKs:'?cK,6OcRN-~G >[:ڽ :ğټZu&ۑְBi\q@[//*-⚊dH4ٚitu xREP_Q}erݮpT C)Vi86KkTN.KA}чR(B[6{ t8 »Tɲv$%Bu ׂNp5;c\{7lk{: hgbojڕ?1PҺ :eT FN|X\^\R 2XU-`ƹUE$eݷ#AOy_YSi:P*B3CjeFE:}8tf/κ|e$i݋s}M9@eg;芇P9/&[#s;JJ22&6eynYPu^j$IbcNȯ4axj;\^ ;*]N7I7E~ݷ;*g +㞭 { JĽaiamƟPl0Zo眄W,vr(O(SgvBTG 7\լM_3.w8:E:|?XogEwܦvPx8 70`/W/m@]0㉈1r`N>'Kd˯DN1/eC-R2Xpѣa0V( 3^<;xvucWkst}ͥ7׵v U( Is!*.:aygYZʒi^;Pk A..-EiN`/+ k9 ִK)eN=ftyV47ofz%U ^0Bg[[**r78J<,ۏ{s-Ds+w#3.t7CX6-׈)o'rG,(|MbTA8apA*\Otb:HiQSDG^{$gUV~ǎ`"BQ|MyQLٓH,_8J=v's,Vܫ CQ=/Reӷ@goLvMS)@NJd/Sf*ЩU/lpBT>w#׽R5"a4ϪzZiW:ҒvfokZf}i5]DP@ιTͼ&sJ7py'$ˑԸk+Hjh|AvK"8Obkx/$Q6g| ُ9E2 Y>ω YԊҔs"?` U/\XT` Q,Uk)%$>* .Gחs;kHR΅:@ɯ% cXam.Ek_iw>@!-m@ܥpG Jש|m nsaB5"8 ^=["pCħ((В151QNBN$3}l ¿8zZW,Ж.C(twUFejΩ6R(:5)K,NHKmݺwA$w}&UӎcMuo?R䱪Xos"e9ޢ[(;p>Q1:cQ}+Qq˵rT}. Jn3Ym7_J "xcT6httZgSh @^,9,w,enxiwd%@sѱ5]`@3:M/Kެ|qк&uB t7bb6"k 8RG~FIQ~~~2Gל}槒y MD3 S  ml@U)WHnl0ĀK\"bZ_Mŭ۸ĐT3 cwb($-t *4oAZߙM\Sn](RyEM퇡:fD쒪4f\dA`XY(@lka>zb ·'Q;f+U c^}y [o*9taSخy-W<-E.M t|@<$[; {ӡb?LlJ><;6-^%Ypg['Q< xKNiBޜ))tWp+(Vh6TNK+ aOuV9,;yj. Gg( iӂO_H^y]۔HKݘ[}N?-P+>o.*buQ᱗~S+잒}حlw+7X'V\d# +i;<#~Q#kHT-U.jy(B˃HK0T8 ‘_ODSQ?<{4>sgijcM B0hHh(z'p"h3#¡ ٻΑȷtlw(;Fb}'hÙtFfm&.S]Vw |6>(]X'shn^'HO\"}X#84^yWu'y(Ș?ja"*,A|x&/nWUJwpNWr#j\Sv/GCj5T:?O1n|`ybhTC1TLOhs;w޴뜑m}eś:;^m_!~2e䤯:uT V3 4X*; %e@!1aZ5x^,{μy'M{cK)2tFbN~X+9֍uLW_=Tݚf׈(P[S֚`hT3B). ˆ !59!qVTч>e"{o7F!׆}ެq۝znƆrWsEg0.>HK 2 K&JFe,yoؾzaZ}]MBLS ՝qԶJR(m^'ZLY,I)&nv}u-TيNv4eqNqgY3z[Ě 7'zCO^avkC}u?&z>Q kpLu z|^DǽI`oȭ6 fN:W4C]*?zO$ײ.+` xp?w8ޯo+꘰_|:B7}v y]|q`!<+>@iq&d N\|Adwl `F[ztRhNBr,qז2tb\&L TfWiDl+ԵFPMXzr.ɴmqӝA]7')59z.ov _ρbGr9| sjn' cn#}oiJ;7qFb0 hx/2Ԕ+9@ ׋Qz8BPNU$XL姎(iBűZ/yhׂ*%Ek)z87O9A<]=zײ/b:6 EXW{깄b~Ӯ~N L|}d'l;._]c J|aMu-0 B \ .zl;pRM R:G҆n$.!!7&"Hr~ک7p>]5r'D8N1(*NYDdIFLyk"덐YctrX/wV}o;Ճ|3|`v^}?[¼+s6\K7G)žQ 8ƎڹN2=(j^L P:sqU-Ш;v2+( d<j.n/2Xj}f&c@Kmw4e{Rm焟2{ %K/dq+X?᠍Fs{]#JG[QP$2@E}ǽ8GwR*> p\ز0_Pocݑ/K`8eǪ g'&a&WzO`qWvdԔ@{YwjDOIXUxF*,'VK6Js\;{ |湁H7u}iLL[n7R5s̭3 "ظha6x~} .tU|3O$ 4]Gh~<_U6;RWv_JniO1űSCEuO2XX+'^2&ԐJ-U*Uꔊtt|6 2־o GU¢)".6oRn[+D)3D֕n7olb0h#j|3nIt&^JN 640FU)U׭q˦XPT{:aaLspiq=- d? ً>f]DȺb'Z%b&Ei8R=#jTb* ׎ʹʌ# stS`vޤpieѕ_!bT} ̺fhXiPf%Bih)Ctʖ_{g8gZ3 ͧ4j lPگ.9]ZG16RB3 pژ"3ir ZΘqe=e-,% JXP59 p6W5aҍH',$ . %re+lxu*Ats `/NXxa.J]ڂ 0W ]iϬdvIE2eL| 3} ǥ!@n?F4,rO(ka+ _i au4%?WLy0Zz l .1aV,ٗydbjAսpv߇>i<~ 8 SOgbqڛ{"OdO~;P i,CKI: I0lW­Df,M Gv?_JH7D܏ 򿝤쏗s鋚Q&*nsT_Ƭu&c_ 05T%`ki SSxgU%ZEėWjIy Iszd 1.mbqP:KKF=\uN4|LV¬c [nI۲TNU ꍳwo/? %P:,ǥK3G- NR_?i#͏.\K8lNc_^~ڜVf-7:fi5w3o> ]u#jFTVd.+qzg[$ĩ*p@lU{2lnUKgp|'H$ĸW#f|$d?Fߟ{ !T\#K ^Bp0 &- s JQUiiڱ׶,cV ԀA gX|4ɛ t6lg<}S6B,eFk2 }kABoBI0Uzʁ@S 3m? $0%)@}<C_J^zW^A-%чԐ D2+K3;)SC*8iZIb~T4џ@j W-/#숎L |Ҿg=>jʥkŠoڮ'&Pm/Xa6րfH eܧt)E3g4HQ5i2\"ǭrrxo$3@: `t!φB2s!uewK5i6* uSlvqb/A6=Ѳ*leqs ^~رJABeg=Hu'DMFߐ dWH&C3q|:5'<_S,i|"]2P UinEN˾D7qDHKOne ŋ*j' r[F,M; Y!tCgYZ XKa% Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Refinedocument.tex7zXZִF! a ]A-MՋhvG"uIBm5ĢMrcvIxstz<]KwtдVBBLr2iȀPx9k8^ʉN``{85z=ɸix@Ŗ%Li5/3 p0~\`d7732~>p5WJ'JqASbdrHem `c#KS懓6 a#X1/l#43Ҥ>{d>buPw+Px>-z8H:VӣEp"aۋ C)'b.DxV{^@g.W{ͭA=nYωQy5k@(Kև| T|Kfj(^ֿXKJ o_|`T## *}љ2/ʅUy.5훢lr4ku`M/m|HKQo2ᑐB:FTGxAJ}~xB䛪ۋRnux/4:Y*ǓLn Z}Y8Ml>#*oLɴZ35'jѠC+79!yK;1A_Zp0%}xdb7xI`O_[3j])HR}Aܛb#lH@[:TLe>ʬ+7jVs]/˦0y5,o5%;sB 'M;ՍPa <#>_£%o {|!e͙҃5Dh|:&$ Y,Aim0hSf=..=]8Pyz]WM΋wjI׸Ŋ{Ic$T }Ah\KRv=f]j B{m@Wpl+m|V$!zs,HNB LD6>CՃ£Z>WjbR0 >;8p2y:zkшNt)OӺ^11xVuǝm;C yDol,-yM˅NRn[><~`Y<'Q^`lڬkps#x~>/C;p| |knxO|h+TsPyH QʒQJ$N˅xPT#MNA0tWgk+t9~[uI_S^/AD,$:RZq<$AjIۨˬ27PhDޗIĊyPpyaǫz*y NX,X<*Tw@L!\ IW%AWjz@E9T o2__ /M*7>)5)Nyv&|b] LQD;YY4s`K9\xX Nq*Biyc3ԕ{$\!r?+I d٘К/΀X%uRj9Mz ]CC;4r=iUbUru uBL9b>֙퀽ggFNSz7$[ѝJ4q)w]wf O$c5m063Ѝ($1Q&i6F$5yLn  SOjRv)q30ٲޞ_Y$X 8x\ 22 U,^ T1җ)D#b玚]{$殣Ujo.efóed&^dUC7 ˍoӣ[ `8o>"0A`bp8C)#BKY{0 qrӊad`tbײ\ ;G!82.fG-M*m: ]5,Yu# \71iԎJQv߿ODޮE jK}% Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Refinedocument.tex7zXZִF! 1 ]A-MՋhvG"uIBm5r t7Y߄1w#gX&Q}uX"~L,6}X:T9nedRy~ۊ< B3e;cq*gr+P]hG-|_ԵC0\<+VGqC\􎳊&q~QX=y^j`&s~_u,>UvE'>VD|ӛk+gqM:182ܥ| $KפS2KltVuH5\#TsrhZl S !l\Dٙ!zŗTFIEB{UyGxƥC5ЊWP\evv!e!AyQ~~A#>c;AZdيKn: a}(5R/a!u]K%H#f[aǍpb~.h{lE'ڿsMT ϶+l,c?krG } V1crc9 4V{2uTz䡗U2~Q$6:}Ns4-2}H9OI}0N|/Kr5M0 ?4pI$e4}ϼDz anԓʉsMdFGhMD6etPTiD!PU(M+AEPG? d%,φ#YhMM{ pX9θ<,jRbWC_hƗM%ux}Ռz@IPjmk~zi/HAȺ49b݄֎teb\BT,8YԖqU+'_^Jg{;7@_Ώ'45"-H-zr,–U6 5n%i zh.yq{ڤv}Ê=) NjOrm[HZRa!6VM`,tZe@^Pm*mh|(3S9Ӂ/mE]y=YvdVX&7SbOj #YWW?c P J2jlYfUuP6h;w5P^{j斲[CYL_\5/x)kR%IVMô^A ;LڔLLq~H* 'ʃ_e sXY QO =/Rk(}c=]A#TD-tƞ\ C'TϿ-cr 0-H$7֎l~F%X3s =a!AoS N\0 ҪY}46E Yo]|se%H~|y&\XZ^fϒnO%QQ/Ml0&Ar ͎^gPeRx{A`]>aVEypyKeK8Gbm5?٤?Cc!AoW05ch-py+39> dwL2_!QZf3OlK/PsvfnCހk uӱ.!u.h#B;3\C]Wv #ˊΞoA/ M*e'OO{ӛ#0y p'"춿 tPMu`ԏ & HBv ׯ+_JOO@cBp׋#5JZؘNU>ųIF ȣ@lhc9!Gs`B~#.{TR ytgm#' 2 ¼zvP6?4\jzl%12i.[ = |ԉǶQ4{NK!Pt'Sa2iQG$+6&ʔF Zc a=HWe>"]MNu 8S.9']^fF柖|omKpA&26{6,OO]VV??:RXXY!v-Y8 㐍Zd "|y& otrh. zM 1繭yOɾuUgYZ Ko% lTransition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_Systemdocument.tex7zXZִF! q o]A-MՋhvG"uIBm5r t7Y߄1w#gX&Qr-sI!@7 $`ɇqo^L͸ QfUD "Oh A?\0l TEΠ\*0`,,gųq`6^djINn+`Ë2a Xߧ0\Dp&jDHZSZ~/GgL}m;p=uP1aڬ+a89w2y>V>zb("jI!!p,rnwaZ IA`U)&d;v{ꣃR5;HRЈ^\-%Oy@qUzKsUN $\҄p{ ӹ\+Fydt1PŗmO6FN-Spd d67R9"hg!/6o/keH%{bK9O>M(Fgb߄f.m\cVmp H 7lBtXq8W[!) & |]emseֵ3I0i/y_lhez~0R|UIV%AOFb9g4[)ek7YN@.bRjCqܻJ0畂U:ȔJ=ڈ"-gW\ YV[AB^K^v(S+-`R#޵H]_\EQ6: 읗:{'J{JJZn>m~8LrV>;_U( \DҋcFY]ȋLV0Iܵ3~ u|\@fɕ!B !.`zvl{,)̐j>Ρ aeVk1#u\˜7uDr?qXxb=[a:L>]#HX^fB~YӪ%jHu(7[GK!7S+jP:f*|(D%kT3/?zwt.F ?Iolv}9P]3SrŸ&cOW8J@4?+MlPNէJ2C-iyvLJ2..+ٴ[ B|_*nۨBfm0]Z]:Ԕ!cuX!Y.݌J-pe ^;*M @gQs ]=vL%&<yg[Zu>nQeh%R7Pks *MhݖS>{P؃$kc @Z`,O[aLHhjScrHP Sw`\c@;"sڀ{fI&npsvA{O _F'˞pqFIܮP-g|k= e y i9騸c3yEl[]G5miBކp^Kjhڛ(fE;KbQ7>dؓai@rI$TH_Rtl]E̎ Ĩj .YnN }|}M(9WAn(.<R5 ]3@˒ f%$ XVЭ8O{ SvMby9\lGu /%tk.x)HS9>bQM_:Zmu#@Pqӄkt~JkD^Ol?,<IƁZ@+==޻[@]˜Jk.?_ N]ޤ)1VwrP8U_Lwlʸyk=?\5<)L~Z,Ȇe6oB_>dPg'dI.2N6$kSe9+׵_ri bW6lmP ذYM73Xճ y?Dnߣ'۵Gw@s7(@LUAo޴֫ѾrfD抲w3W:4A.SMb6Pӯsn,m櫍jmøPogYZ n Ke% ,Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_Zipdocument.tex7zXZִF! O]A-MՋhvG"uIBm5ȢDBqCϛAFs?E@+Qͯ .0Y{WI4mzFtp2ROͪf<5'[_ej&ҹ?#i*!tdHRXك7HQ?OW)[ܟw0Am"x |vR t~װ@K21A<J36 \|' X2ɯ3*(؛;w aPE9 ϡlXYĀTt1c.Վ۱7+ph??¹L:bq-2㿫ϕOz-Ҏyyod@}i҆fRtD|V@*r1 tE ^KȄ"|NR!pg&&H˽障^Kol\hzFscS SxXO81J{"w}d+,qWuwAtfL/<ڥڝA2tF{"? ȭvOe0n>hMu+"zB.+J[x賲Bv ;ѩG&lfd!'f19:a]6j̰RE<: ]VDF΁ԡ?ZbkߵTeXHY@q&8D\`I$u,V".7}? `;{1}El|ƩđnUx%5:(萜qX! l#Ar?avNB0+\ʺOw1_wAȓz!mi5Dф]`ef?TPe Pmz r,=xJ/6j@]>`=kk00nռZ/^̈́Ddh0fV6>*I2QK[Z{K+s07^jnߓ^8foXY?s}^RM;[-oDMU\u<7tV| %`=L.eLKqLBƶc-:3\QA1|VM24d?jAכDꃝ`íp.qQ>kpj9=W&5F806LMuU>kmKx2@t Wa[!Q7k#p*b:UP4tb0f94kL.:wpȞm9-vNͮ!ԿVAl"Hmnkי~[rɿ}4Z:O8 =ӝ`Ïm'FPFL,;Y ,^: 3s4-9C Ӈ>^]c*&6A% ]x f~Vr9Rn ݦD|a. ?1?YA2gv=;YnWHqZ4iItΛ 1PT= r|Ԥa䮺yFy{-e{򟷱²B^'1;?b7P-dc#mȬCsE  v.u~ rwupדIQ ac1OJ1nPAtCVZU u1PX XN8Ha0gg[X, pdaxk̐x&*ˌ6~+-qM$6:Ѣpy\'+S5MWE8]:{6+Α<$rO&/NY>zBㄏfyv&Asndblk{;ÖLB3ժgYZ w!Kg% ֿ5fEW#eB +Sb놠9* kR9qzmo^3҉oeí,QTu2D`'/mDY>s+Y{F1jfuaDTW(HR. ,W vgo*|.(1uDWңHJWwE϶%8LwɔLt9&[.K5֏ =RN65Ƃ/Z4KU|j Tszm 뭈r枉-kwFp sj|?.0 1=)"VK"%"6to,feȨ0G"NG)r# kOeF9c&2}JW( %\(uIp$[[\bBY zKU;@9@h>9X>4߬w`n$-K׊9ڟBqQ(R8wuDcLl> \I·\/0+zζ&Hnݙ HzzsKq\yݑlw[4 qASh)yueۑU -H9:Yz 'ȷpTrlu|aSzpA1X>;YR۪uV͡bpx#TГ>EJx+)EYMiu[ .cQQqEWͷ5femtNo7 { ltyJ,n5Z'oqb\4+%0ZEgTi<'^V1W#[h2fa6}`~h1 ""AF h"A*nK^`ks.sx_Gɬ`@I`J+Ջʝ z> XvV:HB㷧rf"L^+A$:k%mKX4t5VcE9IIjQi*R}5"P+:I ckT{?[^ޞzᐛnsPT'ڑevRM9.Xsk<]F^)L-7dO6mmWh O7ǻ Gٯ3~rOUh0!$@*5s&$q[hq0Y:Y5;WhCRQ8-kM =ppIn!nh%=_BXרvpNǑPI5dAeQ2\gbҜ$BkP X0R$ì?D%GN- p+WcKvs-& H6_͐GD.ٰY᧳!sTՌdtd$m#w>tܒhUr{K/qL6ѱ=N[2Qγ:&q1UT*@n*yM*P(.qigYZ A"K % ,Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Constructiondocument.tex7zXZִF! g ]A-MՋhvG"uIBm5r t7Y߄1w#gX&Q}uFFmw}XDS%b M 'sjS!p} i%`GkLڳ(]hkq{Q#u`=4USt0 q Pn7_)_mFp5b~'nhV&1pzԅ x(UV W a$C!Y|"0hl ye+i> _:(S.; |3LdZ:Nn/0r'k26r0JrFGrL'x0Ԉ 7QZxml=erENY.x90?hRv=$9ZڂQ9xaK-GwĸILZ8\GwsC LQY[(NWV{ʪ3@v_Taj %Uɵ1F7$-hq꼞R)H[xg$] L5 xq-˪"ǫkP=IrMjG@ }J9Byy[ɬKTGYʷo/WRR5S/Vb)\Bוf:xz\r )ns6j.ema~-F"!k{Jm0ɖNl|q𐃒Lv&)V\@[xj" .uq)^R!_(.pА~aln?sPy `1dvFӋ|@K*s`nbY1ğ2Y+t^,L5f'ϱҀ(q*`Hp T|nޜlS^7G1ͭQoO]Vq_ %Bi}< ̮Aז}Ĥe\n&*y}.?Y:& ! =3o{urz :xkݹbwhAˠ28?RTFӬ\Q8ホ!!BcܡxODXKvu\U1ߵB`[5ݚ `l Qu˻8lG,x܍;OBᥝQqz g}"2LQf=撾e*>y1I=D %sʦO?79>(N.r$h_=EiStT=AcjBWs&RL0^2" %zϩFHLhr{irs#!(la9y;TSK<5"f6 l/@Glql[ӻЯ| /cΥ"dUG;"gw86jwEyjk$Rn䵋7ӷd^ CPز"D޾\˒,'AJZ-r5ͥñC]$|e8Z^ T~u,޻B7S$PE@@M[ v)гzApP12Pmae৻D2'R&hCMNŷ9?$C[Lc*`شH p)׈IшYJGC)E8[&ޚ ފH:J/^S}_jw87n17c'Fy㲵)\Aީ^qOlC/Fcz K.AR *`',8R"iȵk+=bRO[l2dCXꫣ|TP>;ToIjseG?( zc;ȕtgd-EHΫ^yc2xb8cF&0A=S 'K1o8l[!|1V>SG3s |8 3+;\2t2 /LD$agYZ ~#Ke% LTransition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_LTLdocument.tex7zXZִF! ^q ^]A-MՋhvG"uIBm5ȢDBqCϛAFs?Ebܒ6*?DA{pٞ)YZgY;}{el3,&qNx.wԡi Qs}gԧQiS*&Ug;@"$kXA`0 5%BTԢx-8R3hȠ~$bEPr>xiFDQxw0 ~ׄBnung̥h!{ꇻrD2mY?8mܸ5LV3(w*{]J _ia)m$O_ XJ 0ļAY V}peKy/A3Ph7s [m 2sj"Ɏ s9.sc^h'@fb(Vк-T=|"y$k]75W=UYЉZ{mŅ__4$dgHo3{ڎ⼬WXP?Goi]j`ܘk| A2]D̩:#Ւh%NIb}Pf<-5gzK|ÂK)ڏB@ju_iuk*f:Dg(jgzyw.@B)3_TyN*? P1bӹ  -P\`h#]J} () 6JrX E{Л `?cMC򯡫)8hHXQz"vNdbtr<<2Gϝ لuhVAugalDeRuQjEoDōO>p .*wL:͔T%N2 A&ǚ5>\;F0&ǫ{gN1gFV5Z^>k+TSc"NNlEU2 E_ץ|ppO]VDʱMi2-㧢"=T%i]pĝ"'r%fmr}CDApGd 1;IeS4~ݛ )8jCIEyC2;t>otW[Am|6Mes Yߣ]ȻW6]}.'ƴ hH0}=icRM.TsJ_@$e(nm"\b&SXl0R^c-hj@#$U Mߓ2Ed3V R홞!KX+#xv0b5y^"-PzfxzRu.}P{= "4PKQy|6*fL'NLzjQ!3NDUm$8$Fljyi'r+Y ~FHeغvbb}^(֥a>l4GUr61+a8암/L bl2o"owS$ [a;Ve/ok,/Qp/L8w j*O':S*TFVc=BR K?^*p8qȂ4#x3y=Wcԙ՗YwΊW!pRNgx)s"=u_c]gbMj,•&㽡BMܬ Hӆh]J[|3DK18ꐇok)RKiv궅\\<3EytAYVD؉!bmy2˒tXL9a{Xj䤞$?v!|5a97棯]@sF^W0WFDtyAB>4tr)Q2OӺ /--URtgJ]ߊx21Pzqc}T710 ;wkW.O0l$5ʅb";-Uq ̸t嵭~ӳ"ŊAMnx@  oJiuP aN($w|P T7 gYZ f$KU% ,Transition_Systems_and_AutomataTransition_Systems_and_Automata.Mapsdocument.tex7zXZִF! _] ]A-MՋhvG"uIBm50](d6$ps׻ځ>y&3/3Sbh9B)ۍgSU1߄XVy_ &®n/PUF%8P$3F"W◝x\pSޮ3X}kzjh,*6PN4˚$ ׅNP$^]N'_fNGc⧋{| }$[ه Մ,tGBplJJ+%S۲k >4i I<?a,z]1%(FP+v.Zh$>`\X@'YGmS%.ꂙcwYWH`i{7d aZԜ-\#Gѩ]q b?oĮ:<5p𰶶z%h3x@AT󉸎ģQs<'*N0 'm<-d.o5FAYXy s N})XSS yڒa_Wha* =<' C%xۚ#b$okaM| E_{VsP  *=P]/83V:ڗ袮 Zs艕aȪvo ~3@WǑm> 3 ֬0eqX`@|ʱ;uO48Bbi'ɏ'%6AkX1"R{;Wdnqc=i>Ӹ u!ő*mXTDQ)XkFdD"GJpWӀ˖ms ׭ae<@W:3ڃ.[<0?hs!nrj5^dIH3JmB`P +Wxc@鉇{45̢0"E-$P2`d9'3(M*U2~W#fe& V۫3<˄ U*EiU6? `Ocn=r* Pj#3n`Ms^HM; U$g›N;KލsJ j$zIg:Ԁ%mo,HtS'=CӒ LN|ea-ɼ<ӻh>Suqc|7JkpR+r̙gzW@ A97 ;] "Y RU6TEtprLrCQ1R, f*_65 h즷շ+GJ#ѧ`Kޘ .lㅁ8( 3rCpLA@Oc͑ Rd=gR:GNTЊ+zqu.χ]dOA'ZfSރЅ?.n`s!7 7h#l2 z2ԑf|7WF tk" |Q2TcĠNRry]<ujřzƌU=Ū'<u_8 /lGh)su$ 6j}4.ǔ(FeM X?ņdC}9.s+ ؁c Z:ضlYQ7nkI6QCZ RGHG|F :gZ$[֬%LyWI 5gz?rQ=4 uydvb'}n?o!K3&1|kh: ICTQ[I,3b~'XO,cA92&ĂƣӘYX3H2CzwVGPgVfDU(]됺{8L\@;Ec>J;Wys8itȨpZJ g f [#w0ɗR-{ߦINYZB@GbuёK2i|IRo;m͓o .j5I){}u$)cE]8QS:\N?]~hL ZUܣ)D9Mv]d, sEDL.G* [`WS7w g)%(tyʭ捍aed" ˝3L= yq 2XP%^m&Gjkw_ sqgj%`Cŋi5.C~Dw9ݠ`݂h!G=d2 ^TXwذ~ Lx?^ XW Tc&J5rGY5*2[lپeYV(N2xaysoh0ȠU.;4L1mj,DhK ,fle$䖦Pm<(j\tCz_MaWn*zd~ZY@x f`7M7fcO<<+\݋Ӵzs^wF ĔZ%}5U#in{ Xnģ̸* X!оUHrk=W;hIgg .<~Ê LfSRF}{>`Y= S9\I/TJ[ZBc YDE_ CNm ~A޳yc/j qT2F@DԦ U w9UN-r- KH.:E躳֜P٥soظ76\284%^Jl E 4-p%#(%pg裃,3żN7M"p՗±#IL*C=G9D+}>a{{{5 hp\ց`2~qɥ[)c?u{ e9ͣC8 aDNso 'йF6nnYe@5>p214ٗR}gU&B5B1a{rBk5_HMWh)Ű\L!}?m]X 8tt/ZVw}Y뉈%.bGvW"+ltE4}H\-xDUy0 $"l63FВLWSYxJ|M_u<9V7d=qobo` V H!C9n\P`{yF+;+=2T*KG6=_ ,#~ϛvJ ͛[D vde Ykp;䶚<`oz$E^=-]V`>z\} mns, ~*\ok %0]/@F쯾*Zcfp!*zyN#^XD*Jn?/A+" Pe^ Iof; <1E#^DƂ'b>I?qk9$k;sjgVPfxAAIX؎ w 1nLS%H%N? AI[Љhԧ_+)[K3ٱXj f7"tn{Ղ g"y[x'aC]n{0A[aϑt)vF u@^a8oO $-ZK=u]+sGAkT+yĞ[X6^|Xf͝fAk%2 Œʾ6){Lj1X]6 %}քUtp J\_Ίf~oZQ:CtV */~~C &wOԒǐy?=Yx*UT}Ř0/zэ"НM` j=ivTYn8D)qȋ"H dCҫn  ?-fw3ѫ#Z`\7 1(9j> 4p p@>"\=( mM='G(+fw#5j3#ZbG0(aVePwEj,Yݴ/[sb1\xOmd^rݣe-ƈc01y>7;(D~ϡH6U$Z3CLFEZi&^IuQ9yq@T%XI*j\m0mG>bH>?@:Tn"ejWSa T-_V9z=0r[[prv4??XI+'EnS6f{$?7;*IU 31W*i@aW~uy(lH nA[穐\V[L8,v$؋=1k? z|d8dVT܁%ۙ_iG1Α\cyY b}axs3il05nfDp(xu8@TLU{E͍#@hKz)buf_zFthaLX#DŽM6X(;ZL.i -@ {7ΪST!@mv]S5Y'y2 ozT$gYۂ7vJURp #oA`U%m)U*R h3,uݖjf8O#VûU# Q!/֩-4,^w+; ?Wl!O3t #c&={l`Y;kqjY1;CI[vNvhɒ@loNv@9{ OJ k fc,եeNO(gk/u&C s~>2jVOy,W:Z}ʃN&_"f/(R%Sg D/~;ӮĒD*\h&H)hA۞ M^p/;539z:$tilу܄1JeϸGT# ZzݔM,$& JO[Otg"w)H rRv3jϾHR0n{\+sc+lOݸ u}-0rW( ?To!Ԛi97́HUE{):o_{A<d4`R[gVj;7H'⒂-Oc-85A`C36VD6g/*AJ%{06LqK],8@T^X"q֛d7s }OEG@a}K/Xw@{ .hrtui&dht()Lc.ҁWo: `[ի6~D 1%f}anOB6-&=.ҎtwrѠ CʢPD@zzP3xt.P+|Cf oOR>'՝ ZaXvC'Pd~}ΆuD,V'.MtxZ(Wͣ\j ]4fkz'V!UUFzH;#kpV ()c蝬Ӱ%5ur%zl01CW_cg]`)Ek?cpv( Yε r3c~J.Kh*BNb pgHaM]E$-O:h b2%}X>[RC{ه}nUΪ2Ē=BЌu VM$'fc)RR $)A,DZiǟ`0Tih+ftZ/Y''a 贤E|$e.NGV?@kko8dt#vRq m5 {0Bk_BވM;U"oml.Z_V7gYZ H(KY% lTransition_Systems_and_AutomataDFS_Framework.DFS_Framework_Refine_Auxdocument.tex7zXZִF! B]A-MՋhvG"uIBm5gEeUDrĦ\8!{Fn Q)k>2ynU0F:-0/2h_)Z3fǂ .K>+8F mx\g ѺP.uRLN.5/FPW $ˆ\f1Ky~p&S/x>Ē\T5*@*HC̆f xaOp.yWjKKo]ֱ/̏$?3^!\f MF4p:@(Jd>!_ڨr*/oƒ ׾+uQbDŽB.T3&¬ Os>Gà`Q֔9 ҶˉY7n0@ѠFYޖ: m(EkGN3`JynnX#[I f1R[]>"dcN\CϲOv&`-%h)^53<b+X PF_?0m75idw,TK~qXVĺ8rOWfy:ITf<\sx[<΁[Y.R7B鷖CE8>_|$f=װ>I.v4fG/ `aVsMM{YH<賚 tr Xf suVvBX5@ct+6첖\&mT{i //|[e^|VC61`њ V'ڸ"b~53)ujD쾗:n{?'`/ՠTK7B.X(HͪJy&'jDpGۋ qx#4A·@ !wg=ͳW-ēv1Nmhiު;o~KO5kfu-.DSs߱J{*G7&E_)U[n{z'&TYº(X.(3J0&cNQSA?k5]hxqu90B)ض*p\U@#Tq.\$ÄpeWfdh fm`MVeA[Uu@QׄXVH %DNN .&v+$n^U᳕^]>Rց7 rKB`G_P1ބK~! ;ͤf.^>"bjbkvkR\N8i%e B0" #̋9K^xplrZLK)n7wSYЬ:=QYyl<( (g>D"0ab{z^*HAWg:ɬH 5Z9ժx:KUH)\[gR)jI"^M%ɼ<9mk&Tv(I d =he{3 ~c.Tj^*ei摸5pD{M=5'¸ *HSPxR;˰O 5 km Gщzf1UQGb0* &ZE;dkݎ 8D1KJ.q* lȤ5Ԕe)ڪ3@;X]Y_ (i< ZKd d67!l1O]+-T8ǻ;3n E_+F}14kI?'~#%2p%qh-F|#PQm蒌¬U1T輪ިgлw4z Tx V)鴕ͥOCmVxKrnbcjHxw}M(`ǜO^K Irt&eh =,uqubŤ6YknƵZcI-]0}+2XWdZ`C4G!Cyڣ_@zb*Qbw |zZabD^Mua>0?kRG8[C ] 0si~V0x~kGtxQ>'dpKl +@dcl ~d.4Ǿ; c3E7Dz$wP#z\NQ,|]cvE[&8mUBPd,$QWHEd>#˻W0cSh+YA|Z\Q !EzPpaA<`(CgUbvQ;zX˝P7IErS/|orδ6zf~UFئ<6CSRhѐbze]ġ̖WkȃLK,O[r%,'ցYxޣގɽqئĝ) , p+V{: +Ѧ 7L thfE -5Ҟ%IoNmX8ڿ{ $e"%,E|쑾d?q%e!ka3 P޲f?w2\ ԼK[Ȭe ZV(G`P= p0 m6ub)Y>,XO҂qvs@}c O։Oj߀A'F2cTJ4}̆IiD b7iSJKquB ]Q^KhO_bsz $)wpǕ/Ƌ]I!FAˀ)ٍQvҐiL`y,W!Aj1(< <]7ZGNJD)ll3< 2ѭ&=h.Lh;(Ivhʱ[/d! x?J)$AU89+%oaͱgYZ%)KS% ,Transition_Systems_and_AutomataTransition_Systems_and_Automata.DBAdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5|No?VZ ?-`pUU>7wSYЬ:=Q 1b&71q*X GK"QޠlyÿV1):(Yԉs&;_AgЗϖx4 'X>k\d .x𴘗J 2HC-%$CtKVsMS)T>z{鞞 g0C$_,WH;Gb+L(Cqt+r$eKr j'QŽR+t,?}$W}^Ds4ÇHy[ktnr=+`!G5y^>yƯSvn8xÝ6%y,L"k}IJ~b- o8h%(צn,^aWwg'E}T<דRX=u1g U 7-tReЧSŒbIY.>pY[t_ i$p9W ~Ϻ|~ ~*i]/'bFc(R5d1]f7(qYu_0*ý u]QĖWlR+L( iZsa4!0 !}E)%8c*p۬R3᫞=RθybI:FI?%t] Ps"8' [3 aLbX$Ee9w(-a-3|}VG+XO6a6}q2WkQx ӤKa֟BV } FWۭHH,U[dϻ.{~u74v;~2O. +e ĭlm'Y) Ӷ_Oы1 $ /D ѕ;"ڂ1]#'s¸Ge׹ 斍Ҽ%IĝEl0V B|kyGe=({ u@#i8vqpcF3rf $jłgz;G]lʼn귕"Hx(ZF_g\˙in.*:qoPUU6%_:2Y.^1 sJ_ OHUm\rW7DO:(By5qc.m 0(3E/Ldroq?@ HhnE3H4́}JPQ;w6RjS*&{." 6qwv2ѯg˯Z5".ZO. pmFO?3M*@G`j| [bIa'x]fn9\EV}vGyu{B3)7ܵ+*ҧjWGm`m9vw&s:B Z5ˇq0it/9;:Ğ8Ī /Bt|S1Z [PdY*K ɯDži/-Tkخ%F)(U?),=ʲNeKrc'Y_~w~ Z'4h58NOL8ZpYt[ZMenw'i.n:l:& ^ 2ǮznMnuΌ*L+q  s6? @E$ԖoA[LFJ-ZRp-9x`$AiEi4%2e/r*=bF*]&l55Q0b TP.2v(&f8l $Z+ssļI!10 y{  <nC03Fh4:BB~C.#L{NHXv/Yw[*@MPJg:뙙 ";+۠~jv2c O]F:7|HX>E,wq#cK==8|Ȭ" P`sWK1bW#Z }˜e p&G]074볻Mr<"TVn pS:jB1YWq͙W ܀Ҏ=>mdE"B1*qʪZ2+҃$uҘ@E :Ƃ(̐0 Ťd}}ͤ3 xo\g_R?.bj(Owpƅ-}bi1mxto.j"9균@zbKLO Ir/نռ腦.L#P=F?nd~N81 NGgYZ  ?0K7% |Transition_Systems_and_AutomataCAVA_Base.Code_Stringdocument.tex7zXZִF! 8]A-MՋhvG"uIBm5T6Y)AEŘmU.:ͽf܇hcX6-Cag cn4O$$&^g Hu&9(Mo51/]q:')@vnsT*ݨG|(gAFoY("EOB`(8CSSdp Ab|!r[bR^gn^8J=! څFɄ&"\f좵˄?|zo֬|ל}y߬!F^ Tɀ8Ib9:d9 EK҂gYZ}/K3% |Transition_Systems_and_AutomataCAVA_Base.CAVA_Basedocument.tex7zXZִF! |]A-MՋhvG"uIBm5ᳪ¡R$ r8miRVn<50X1l!Hhaϗ;\ck$_59?R̨Me.:RU9Tq&mIqcrgq>KV% g@{#OB:.fj\M:BLPXB遫DyQp>aöUMOڶ꺣0qpiHU{?MVNu mn QkDkK>?wz8t/z)צZcW 2i68˩gQ6J"]?Iɥؓ]gUY!.g2/;X!R%V(MɆn~_VN!('[xΘJ hr i'QVRY*#;ROn z'?B/Z C'R2vC {X1ذ jR6S dV{az&@@r}XS쁩 {6._)NiyWN3Fʄ&?Ūr q#hcMs;qfxXfշ1X _KkО&jD"FGhYT׳@ÏCu\$S΃";1"WPzZ\:M8ixʬG" jfQ`]Ƭ%LLgYZ.KM% Transition_Systems_and_AutomataDFS_Framework.DFS_Framework_Miscdocument.tex7zXZִF! ~]A-MՋhvG"uIBm5gEeUDrĦ\8 fexT4g5gI=^`2ž}_E %qaCsYW3E\[FTM '~2.]e:,g)G&v'#6y .O%kBԟZ~}:meR29qq,|a7K2]W쏂|2ְz7_wFac/AG(| 8f>9ed4BќRTāA Eag85"2ob~ tf2?-ѐGF+i,3"a`&ϖ5zP)g;i׉2QX\ YweGg@IH&{W!'ƅD?o璳"֪t)BdSw+u#ΞGBկ8.)k⓰}V NI--)C(1MBcy[?-|mik:\5;ƆVfxV)[ _ 9LT#Z([|FRdEfˑWHaMzRǭP C!A'|gnݎ`8ϕWɍ7 맋Td>}GyCS9p]:tam *DiY+Čq7mSo{eҊGTNj7ſUڮ{dMNfM^mF/WV턷#/M4A U[X޳!8hBQsnˠ҉H̘ZuEn;XR] Ҹ U#_^n :m62 ;7j;͞;@ݴm0{# [V+4/nث۟sK1Bmfr]ʌ>QCUa]|u1X ̿ry( DIXԌ=HxdG24{`U* /-z-5CYsITf&>4"9tqf tpa tֲuYd[u (")R>4>`p1)ީ`K[a TiT]&~P{ai+<ܒa)~Mut$zC*G62KfUE}ФA2;أM KKuuBagKkdN賱12ә+PBcyFj2Mυ6I= ުE  =kfL{ʦˎ[xTI N/fɱgYZ 9 el |Q#  V J + y 2x  AF?k  \(DK3%Transition_Systems_and_AutomataCAVA_Base.CAVA_Basedocument.tex/QKM%Transition_Systems_and_AutomataDFS_Framework.DFS_Framework_Miscdocument.tex.?,%Transition_Systems_and_AutomataTransitLKC%Transition_Systems_and_AutomataDFS_Framework.DFS_Frameworkdocument.tex1FK7%Transition_Systems_and_AutomataCAVA_Base.Code_Stringdocument.tex0EK5%Transition_Systems_and_AutomataCAVA_Base.Statisticsdocument.tex+A^%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBAdocument.tex*AU%TraKKA%Transition_Systems_and_AutomataCAVA_Base.CAVA_Code_Targetdocument.tex2WKY%Transition_Systems_and_AutomataDFS_Framework.DFS_Framework_Refine_Auxdocument.tex(%Transition_Systems_and_AutomataTransition_Systems_and_Automata.DFAdocument.tex'TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NFAdocument.tex&k%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Nodesdocument.tex%kV%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Mapsdocument.tex$]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_LTLdocument.tex#pK %Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Constructiondocument.tex" %Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Implementdocument.tex!]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_Zipdocument.tex bKo%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_Systemdocument.texiK}%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Refinedocument.tex\%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Refinedocument.texSKQ%Transition_Systems_and_AutomataDFS_Framework.Impl_Rev_Array_Stackdocument.texFK7%Transition_Systems_and_AutomataCAVA_Automata.Digraphdocument.tex ^%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Explicitdocument.texFK7%Transition_Systems_and_AutomataHOL-Library.Countabledocument.texJK?%Transition_Systems_and_AutomataHOL-Library.Nat_Bijectiondocument.texNKG%Transition_Systems_and_AutomataDFS_Framework.Reachable_Nodesdocument.texXK[%Transition_Systems_and_AutomataHOL-Library.Countable_Complete_Latticesdocument.texKKA%Transition_Systems_and_AutomataDFS_Framework.Tailrec_Impldocument.texIK=%Transition_Systems_and_AutomataDFS_Framework.Restr_Impldocument.tex \_%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Translatedocument.texJK?%Transition_Systems_and_AutomataHOL-Library.Countable_Setdocument.texIK=%Transition_Systems_and_AutomataHOL-Library.Old_Datatypedocument.texMKE%Transition_Systems_and_AutomataHOL-Library.Order_Continuitydocument.tex %Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequencedocument.texWKY%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Refinedocument.texGK9%Transition_Systems_and_AutomataDFS_Framework.Rec_Impldocument.tex JK?%Transition_Systems_and_AutomataDFS_Framework.Simple_Impldocument.tex LKC%Transition_Systems_and_AutomataCAVA_Automata.Digraph_Basicdocument.tex D%Transition_Systems_and_AutomataHOL-Library.Streamdocument.tex IK=%Transition_Systems_and_AutomataHOL-Library.Extended_Natdocument.tex TKS%Transition_Systems_and_AutomataDFS_Framework.General_DFS_Structuredocument.texKKA%Transition_Systems_and_AutomataCAVA_Automata.Digraph_Impldocument.tex[%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Implementdocument.tex]Ke%Transition_Systems_and_AutomataHOL-Library.Linear_Temporal_Logic_on_Streamsdocument.texLKC%Transition_Systems_and_AutomataHOL-Library.Omega_Words_Fundocument.texHK;%Transition_Systems_and_AutomataDFS_Framework.Param_DFSdocument.texOKI%Transition_Systems_and_AutomataDFS_Framework.DFS_Invars_Basicdocument.texD% Transition_Systems_and_AutomataHOL-Library.Sublistdocument.tex xe` W A 5 }  KxiK}%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Refinedocument.texhK{%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Extradocument.tex,pK %Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_System_Constructiondocument.tex"bKo%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Transition_Systemdocument.tex]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_Zipdocument.tex ]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequence_LTLdocument.tex#YK]%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Sequencedocument.texWKY%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Refinedocument.texTKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NFAdocument.tex&^Kg%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Translatedocument.tex[Ka%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Refinedocument.texZK_%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Nodesdocument.tex%^Kg%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Implementdocument.tex!]Ke%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBA_Explicitdocument.texTKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.NBAdocument.tex*UKU%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Mapsdocument.tex$ZK_%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Implementdocument.texTKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.DFAdocument.tex'TKS%Transition_Systems_and_AutomataTransition_Systems_and_Automata.DBAdocument.tex)VKW%Transition_Systems_and_AutomataTransition_Systems_and_Automata.Basicdocument.tex-CK3% Transition_Systems_and_AutomataHOL-Library.Sublistdocument.tex  D <2KA% lTransition_Systems_and_AutomataCAVA_Base.CAVA_Code_Targetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ᳪ¡R$ pPnvq vO{refrߋHE7,#$pFXeL_Ć]* PfN3NI(ZleN(R$7d\:Rx&S5N"eEgYZ91KC% dTransition_Systems_and_AutomataDFS_Framework.DFS_Frameworkdocument.tex7zXZִF! z+]A-MՋhvG"uIBm5gEeUDrĦ\䳠DsF+Wn, *Iq.$G/* Fs:Q~T@ݓ {P۴q{YWXܵ> [GYp)u!PLw'HDuݵɖQ>5O2>S;|W(O-ߺ_ؐh!{I U(ܪmrW~}/֢-u'1^hCKqW?1}@g_pF!'P!_<!"# @j%3W?rDׅ([{){m ?Rs":TEBT5}+·W\S!&쉽9YmHwagYZX}cC!bCa2j4__ T1.8p[Ns~vWLE$KwUQɞ|ɕ2ht<5'mBĹvܵ$Jת]#j ˉ]JuDWFvUZ"D`t@!_i,faw  bP-F&\kyE oضmM.LV |ᓎtᯋFnXlx.JXK >qW 8޹XÑ57.J8.f2YX3T׊?ݔ k/QZeʸ)F,x#dbn%b@ ٵX9M{S $0KCNl.WPBP :2xl&J8V)EUl"B)wh!sk|۝ %b$ߑRj{RL_݇cƟ0<\n&6 !o <20UF1RHܛ$E%z}|BǮJG u H,L[a(]!h OWd~ ^ =LIFy7@LI*U]i#m#82v+#m_ X2e! 3x.]eZEbb Ϣ=]/b}еm+`v3F2>{1Pae5{-sъ.!Ne .Qu: y5+Y2 B'yw _R S:e2 V庪3@C 9\Ro˗6zB:^w!ԷYF.R؃Ѯ>@j2DDQKrtOY`#h׷I["8?8΀ NA1ܬL$2Dw@:;\=z8pnI3A U=+qA&yQKﱰ)`ã&Xrv5Z)@(ssՉ KA"JPH^}eH[ۨj\ty)ܟޚE*]nI!c!S>h:;DVtc"Qlb 5˓ZJ\~ܸñ "j XA5msܼ؟3wPk&ih# do+o"bGD;ȴX*1kyVXU#M<޴W19jb˕;oo~d_gYHw]GZ zr!*zvbz*mjͧ)=+B^ډʘSNL ҽ+2VЉQc\ O9ԉ3˭!ƤwlE PQkƾzٜ_Qkt ѥ$@{~;}p~7L0u 'jQw3fy"yYc9&v jNZ!io,uY'A%vqC 2FOd~JqM#ށ{=%?nW ^dڤQXnP`:L!*^*B(;U+&eO @M^nJ(k5|v&̷.;S&κlӞ(Pai[Eqx.ɟ?Vu~aԇ}%a"U\F +k>v) 3/=ɟTb~c2Yۏߡzy*+R0uzbpܺߴ 7J`X+Q[:)m729L4=e s =CoA|@Ksy-ХŬUW4S#vTQFzXyٲ#ݒ dfsbi;q k?ZULVdd>47.>D?Nc 9@y<`2*_lլ(%4Fk?OֳQtgGgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2AzeL&1yKcSȺƸ\ Bl+-o[ܝRcMۼ5ЁEţs 5T'3*t_*MG`EӇ`.A!'YqP>1]ՏA\ ` MHlS?^n [M }.brH'E0Z Ͽ: ɅH|&7g:{bzY._3P7*vNfoU"4h? rZζ5X֠+X^ToUQ*+g1K @OoRʼg y$n#.QF=QTKH]SD#"GQWw[,kpEn!}51=R{i h2!u`Ab㚘W݁ `5v`h^Am"ZeuZ|QINa HbnUF31ِG :iFl¨sLbHĝ{*uژu&{nHYqu8+ cm6ӄjS[|Y\\*Ԁd1l9J!@a(y"BHqtl[HT 6ì\i8?wxI|~ G_x4v\lx8ATO!džgYZ7zXZִF! z-]ŗXi%; H,->PScdv[ g Vn]PD2tJ*8.>1*s٤O4DZAT5s*ظS+DCLw_)<.B0ׁ6euc;Gmp_I@3aD0"rys[FH p"?#3,AT 7߻^ Ȣ4xC$*|̭,/͐D9Qt`:F#\x٪_迋UQ 'Mv|_!70܏я4OAybl:˞uT}X);L3G&(4dSSL *.U d ߯t4yqHP\ڜϒ%مF9mٕ#T=0ShŧCuBθjX(NfrVR?Fw#z-[,6/6 @BZocy5-<\pqcABf),XpX2g0KuEskSC4 DVSbz/& \r?-ҳL-@ŝ G}/"+L^by _E(.Ǣu1.~҄ūQ,Z&wDڡWB[[rW ʷ!3V"-9eID/ǐS[9F8\MN^ЩWTV@<)E&-H|<%${襋e!cLzw;v C)~Ԋ[?p=FSUԋN8(ιJ[]R$ H3i)˾l+ڿ1JlmnH;}Wə'sBhϾC[ޞiFe[ׅ Ђn1mv?Ċe8? Mͫp{e<@è5vRu7o iܶPL(SGfp1wNgU_s+<PBW1V/Xs D! ͟=jBP%OlmPB]L687*va :&%^]A*֗1$b#y۽؁--XDmxvuח[:[vgG_>+[dzJCZd- *5^sa a[8PԵ[^ -ol3`oZe4zD AS|~Rg^YōR9!+~ĵVEVM=R\"60}N֟;/R| `wjL h8<_QL F8{,=E!2}X!t7+NFXSTc$=PcԖC`z·=!Wd AN8oѶ.NQ*QTfuCqOQ[\X`r1lf֗UkG gDBatB'#WXk}kSN/o/% NA> Xi)h'ee;#6+":/ڦ]e.X]rJՓXK4,$ǚ8? L}pXYOi28VrHu1*#KsSM&#CP Ո,ԇ4Y\;ͱU,q߄PCQ,P]= xFvy>KG~eaIqCs5D!U٭UBa*M'E6קod4ƃ'O*.8Ոa!s>=h:ӠS_ܥDst#)ٳP +@z _'h鸄@疱UIS"w*O nԔh @hs8Ӥ/ህe?YkswfEPѶ %jG$#y~bɷB)jym\v+ZŞ 2d}t'uj6UE7(G0%:O}5tCڗxsC 6QwTu'^#Om |TKi-!g-Ӓἥӗ HL^xCoQa$,}hl9 %Y<@ Nmi1Dҕ,MQotK0ҙV[N5m eWoZH; /|Ef辟e2'B %Zȿ|P&5C6v#x|$Rny3l#ojIN],(..?ҷ"q:JH .:FpǕ;s8b9氾BSj %~{2Ur&W}g齦"^wmf%M M r #3UVtE8A_;%eΒ>A$v7B1MfM6T zU_泗ĺѢʿ:oꘊF5]tR}V7 z` !ϱyl˴E?=cΰ%>>F4wDn_ى4F3IPڎU[ X<asA把o:~J1 l[V +zFs1t:௜ TIMGډ=X8(юZ./_ `hJj;T|canF{ W?͒zU "t3|Hid*?әbL?c;Es'5w"he(H Q $BX_r8Z]7bxjIv) %@'SĞ[DeZ=. R%bNoaDL[MTC*܏Ӕo ՍYqZoK{gpag?h֦clh%2@qju"Nfޖ-.uog+:#z!Iq&#n'mP}?A)B-K#0uG rU45fBj[PwjtX=T+떵xkeⅾ6$ek?6Xw0 kpgGLj F[2G=hՐ1u" m 1; !ֶXnWpE-(AàΤ%-# nOHWX o D$T&7sB[2~${vv9|~RqOnaæHA*໛} {Bl)(nj\qm m9ǧkmR6҇a~b!\~Z8\x)~Qj= 9=Q>ew`csNZƬ#Rhc=;Yv㾅o7Q$>rFUEE"{ ̀w;?UiFw8=KeM+Si;F8vڮ r{NcvA dO ;csJN*D$+N}B$t }R<v_J_Ĵzݫ)/(ZdTdlouhT1JR%Ci_OcƁ_7~g74L(hh܅ttb.`bQ( Hؤdߗ: ˷^6;+/>ِ# 1.O2uc;Yc)o ]72KPFPOKHu ƵHf¤3q0M4;Y#A)!?{ .sx+GaZV a/e ]d8D_y!褞Ư;k,<ÂsVCA|L˾MBuOgrNn0Ex/%6Dour_U]Uo#9qazӭ5&>3R>sȵjTc`?&LKgsl[Xw)uOjGIAT@N~1{ [E0imM }_9ݳ;^ K/'b.!$0GodgE+_B/ c@C:j aG@( [4@GC^3už@tO^1#35Dj5XGޮJՌ$jB1!SG5}<)>O6I, yحg#j^HY-bzM5'׀):E ɘ?S;L`P۷:AL{+no y C-|3I$OI5&P86D(D QgW=AFQ^Z0L%pJsHoIL{N8K]*mQ3ȫywRqC㬢2de:iDC~\mp5b:h?#2*AEbݢPj8# !a Lz)DD JJiqJgު,f)}Dn?J)Z.TԏJ5]R =y«K{U%ΞNmp0Cӑw !KoT*\ D֙a=]̵ 51i o1> DX%%HGMuUv Y?R6a6VDuQDrk*V5z0/ Qs d> zkNgF?Obb>E1f1RJlVXCy1- 8-g}Gͩ)obڙ - 0QHb7#y <,xul_@g;/"ֽ O|g;/RE]o/bh[1ssYK,ϑɰZ2N`yg7`-f(k(.yN2(45¸)q#c^ LGC?*ux3;Yj$$tΐBKlF/'pna=P'. Ý4y- f]N( ^SAv1oS<IS=&( WT#==rxNzH2 F_Y{x4QRPH( -qv>g;X;CG=sW-&ӝ(pz`Į!塱0mG]FuDyy`4\>s`EBvj"GثZ`+\: As1\"q9It3\+Dk`z Hsz2xSoPw*rѐ"25o (8%33GYH-DXN +lõ/V+de}1~~gmLn&F q`S3(2lx\t\Vy-+VXU 1mO'LQM~wjceK:"V \ US0&C,E m2XطyokSX!pXo V|&cJNg&<L8*vt:36߻niK2RHLwEHkj2qxEo$yI\ # x̘Rnxh'Q61n(_=0]w%MKŸ*a1lޔJdZ=Rs>^̑W7(( T^.DDSs"9L~@WHM 9C2Fqۙ 5؂KAU3FHfP# 傕6wmpQ{GT"1Qh=Hé/}Cc+9rOҏ~YMK̜Tε1Q :{|7.2bkgu hJ 80I,<+"&IQ.Ҿpꚋ` u6 OxjL$O/4<78>n`ˊ|)Ύ 7|1`SG' -.,:{r}igR2ZuMӞ8&rqUo}mZÔnۃ,.]NEֈ0Q?Y nWR 9_"~y0cQ,{bE9\d ȉr]A :7d6N"P2ѤjY5\7B,Ќ< :@6 _[O[P\w@]V gjP9-PAxi^yeЈ{x-8?kZ읭Lk%, )2u?>[wVW/C}+ev SZ#ä^b^4ƥ$S"0)*6|z\#V8YeR_}Ijg.'{>FGCsx#j~nTPX<8Ѣ6 DM/_5nT6.䚺t^! gG(!^-pF̋ DE.N ;E}LQ5۳% "xlqƷד7O3/KVnYښYh0+GAPEH9koGU?Z@9Ts?}J!5wՙ 0".S/ÊƆ'o./ цSN~+in|8{Wѹ0 k'D,ӝ^Q6QV-+/b71#:.a tSXzlKx.`))v0V !g~tLkͻxQcX]IZHbMM%S~4LS![M`Qt_)AW"n.6&597zL_}z6_*DELl/^szU&Xd7^ |v_H9C=u\CΙmZ"?,CEYz!5#B)1I;VrVş&;LI_ ^k@#jr?ӟ ﱝ'] LsKC) _ʿZm̆MÞ]Y0Z Z E/kC tƃn_BkǖrՁk^}7 q,dK-ըd$QnFk&gMez24XL12b(4SX)cى+Kݩy_NnFczT3HX(0f&#E`u/±=zy<Ń`%'#k2"z G=$8@ƒ`r,waw$~FJϺ:ChN=ra.tx͓0?6P6ѯ~ b޺LML?!Ş6(ex$#RzT֣j! 1UvE{0>/pikK0o} =esP=^*2ˁ4*fȁ3.(wظI S݁XDo`Slw=Mܨ9)VSJ>k< D z" nX`t*i?rhld/'n[jyqE Tm=urQx踊ʩJuїzqP"hGS&0mkhc. ]w~ZQW oT"ndҴM3Hy|/ dѽǸío|, N8ӼTkyB2QF$mhmVܙٝ=b7+e/wot.fY1{X4+{?ą_) |L?[3u liƼ\y3=3I_J4K60+>!HTEA^ߢu;mb~uPg=ozZ8eeK8hZ;쨣-X0t}ifSUq>0v;T(חi0kZ@Ka{F~(ǔ.YD<ݒ/.L:1yx-gV& J;^W7J_hπ/Ć|`ÁKLo.6 fmG52AixbļbJïÔBt.ᬇ3 4.xğ|M;ձB"t3W,V'ICn5O^5F [Hq:*qr!>1S__cE+.Ma ( 8\4CPA57Lq߇d&_'%+`Ab̬5 DC1~QRZzX*QE$[Ky[G ŭf"(W3PoVLDx!W'苹UPjouT5izoE^x`1އzB#tt8uK,fp~MVd/ 29?x,r( %?>TOMxbw?;MgkʰX-"!|(Q:eLƊs)u7۾.K}F6oOq;՝ѮeI]5jR!1[8,H,~I<['gYZf1cdbaaf3c59c8a45237850d807d748c2e578cdd0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35ed0cb8d55062ef7de80620ddfdd2b8486b59b9db5