SQLite format 3@ @.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  7|\,l ]/ MSO_Regex_Equivalence:threads=4elapsed=586.111cpu=1851.236gc=47.0327zXZִF! ׮]ŗXiɟW;g``ϐo,v!?e|IxK`<,lal}F (|L|72Q#AˢxbQO^=d Μ^=UʯCC(@^r6('S{axZ*c۽8?}<`D{Li kFVx*?=ĩ'&>T}BάW L)$`ADR X>1GZbM!ƀ'͕Qn;yT3 ?w_{8NS0 ~tcN5?͂p$V\Vt=mcjZoJ&YSϋX!^Ѵh :T'y%+h+:2;S{5l[X6IӖrMڍud,ZRImV/㻣'N>R %aq0SŢ~Z|M Ht20Mbc4,wS+WI.܏򌧕sUVk2pwU6Otar;9 %՗=x+uBGLbԢZe B8^| kɦ [@Q%4x_1*[$]?Y[dYx݁T OןJ_(ښƺ9C.S~UqۣP [fߋOk-8ݥ(%FبEF5u/gNG:uzA986gl`KrmY&{b$Q D3|E xF0?[vQ1J Lh6CG<"rU%n7*15ZW"@kDr(Zňc*.wGg]{ ps}~E*gX30fxcs;e1nCԋ‰s0h$^C)h1:H?`z5v1Z2լ.go%]KF(*^Dw !旷't4DbIO۔\-j>uUPBT4X?4[I6<^9 zizsOJԺ/77IWH?!Afy 2rܢjL9h3^m8*zy=vT/qΜ!T4q?bIܱƉ'k_]SL5<.:i#tcaiEǓ7[֘G3ú|˂'\A"@f Y6 )' V.{Wf4hzAbar^=䥽l½ig^imThLcn$2voy:~pn׽7@5odbsOO$H -<8,FZO{-}ϵꃻ&bl °fr w`-_¯17xiW"ɹV|rXF h#= 94%s?9-HucZ]i"<QۑMqn ٱ*+ La|*Z\1ޛN FO!/Un84;^̜DkH~*;GG.{3B79Hܱ+[7C,HTXul`6aov O==(g=qFWs B( ip2q.f$ydK(QqpOA0q*n2l߈t[rjY!ZWIGwS~x/ʎ,a2~ x.qk A{DXq*C]V6G }.4 BO]CEQg.7ٓ+ o ~)vU8֗TT\p9Wghu4g[jW@"J[dƁx~MB7sz"LHj+J?\&ݭn@y_P6?vt$s#9e6PlU'l XdQ!cG;P'9U˞sR#DWO,nTVn@c}.3 3210)('&$!      s c 3u N xs D 3   f Z  8B7C%MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex=79%MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex>7;%MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.texA7A%MSO_Regex_EquivalenceHOL-Library.Case_Converterdocument.tex;75%MSO_Regex_EquivalenceHOL-Library.Char_orddocument.texN7[%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Normalizationdocument.tex77-%MSO_Regex_EquivalenceDeriving.Comparedocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Normalizationdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Generatordocument.texA7A%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1Sdocument.texD7G%MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex@7?%MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.texB7C%MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.texD7G%MSO_Regex_EquivalenceDeriving.Comparator_Generatordocument.tex:73%MSO_Regex_EquivalenceDeriving.Comparatordocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Init_Normalizationdocument.texD7G%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Formuladocument.tex @7?%MSO_Regex_EquivalenceHOL-Library.Nat_Bijectiondocument.tex U7i%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Equivalence_Checkingdocument.tex V7k%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Equivalence_Checkingdocument.tex K7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.tex @7?%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.texP7_%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.texC7E%MSO_Regex_EquivalenceHOL-Library.While_Combinatordocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Derivativesdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Setdocument.tex971%MSO_Regex_EquivalenceHOL-Library.Streamdocument.texQ7a%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Operatorsdocument.texS7g% MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Equivalence_Checkingdocument.texvy ҩAO!rMmWmFWt{8}EIX[_b.@(4h.6X1يKp;HQ^d*k$V{ʡwy|t[T6diCGxӓePoDZ>@2O}a%0߼e9$jo7]{#qk :R;T^++s_:ҬdB`.W]k)eۙ*3L8no8Jj) `B-՞T7W!G#;?2s/c~SjA,wrX:ELFb".]1b<lUG$Cʮ-2> Hz* _)զ/jWîK)rC,($/,^f/)>sNf;AP&bcW #6Ʒ9T'kT" \Be$hQ~\Sh${ۚȾAU^1bK!ʋ8'xQEowI31YZ%nn<*TvQ_e?DxxץsbTΞ!dTh'őS2@(Gai/w-&BT~m.39s{K9Ūhuy 3QnOW9{<6?>r$IF+SL׺Z^ne+ َ[ܺ|UPm;(;v U}b۫홂tA΋iUT)I' PApY*5Y8v5{[jqqYFpnH}oNT x80vT?:A³m8?޲o٢lTcC 7, X"ԝX>bMA6E$6hF9Md JV -`g?Ayi' ?Ya˓Z@D\795I,wWy?]apR>ᇝ>>pھ9&QdL' d2M7E\v9yE!5^=U`@rReBT>껜P ()3t'̓Bʐ4wf!}5!c>#E]VXۛYڷ`2GctvAuZ_ $TjĶ|{42PtV˚oO<2WP%3ƴUdqs%~b3 #0o¯gԘ-б4٠uIY;; [rQ.z]uήx ٔ҅*4WdJղK}:HX  L;zys`O:SȖ;h1tv#n8UEă'X L!͔~LiյR5/|pu4F[Խv\|Fr_ZW,zR:0D[ |;6.HY\`a{X3~0E:˸!hJBLC诸()J,gZB<"Woͧ< OR{^wU5A§~״{]_ |zL@K {lur?bUE, !0j< bFP݌PM*=-u X W3K!rcXBR6xhw2lVo"L6{o$'F~R|<[\eZ]z8-E; Y 50YeXEbQ|>I->[wXS!"kyuz~ ށg}SNGy79w#76]ّ &:ʑrU0v\C !^M8G70E-Lcq5XNV3?6܆}Щ,17|dٞ`F"K~f#E5h|ImPAɓXʆMSV&uw8 9&~ak 3&7tV:ˆl C7%S[Jn!HOўHy(V?ZaR>|] Wg@<`&9ƹxZY* $vt7#ƺeo{/ru|RU#A BLKz j4)omNgsÌ$7uF_;lDXh*(r{zI&g-G<%' Ś5P 9YSaƥ%6F1-b2&iAX,GN6_c!kP{&&+0!8l))L fc`"`¾9h~NE8d ܈FI!]hKҶ>"tAϻMؠNh;Α87Σ:VNb+9WeRŏQm~ b,6 Mc[=Yq cE#[oSbń'7ݿ:F\dnUK83g R. aJX`nYw>. GF75Ere!/=O&0Bɜ9wCޢQhm33k1i_>MrKWM.!q%P\ y[VQvY*ߛITIp9vAYpBEZ+8u.Y'{ք}i U |眓ғCo#~7W$c&׊~y b1R0=V psI>Ws:fgs ͮE6O3OUkaHr/F͎i7u\ȉwdR湆<V0)/+\+ &n'GI^މ 㷺O,|o'xSwޫS dhQbb @0YXY&_5]-\ХK  K*YޛbL#.$}^QR_5{!!CÍR94Iw ~$GC UqZxR|POe]>uL9@ u$+nx4 K(Q<2 *F2\ 7*ݟ 6'obcߢLS/*M`3:cdK98J."Ů % 7aIscn棋C6̰{j=Q+M(ijyE'"L!yf:i +51j'ƚg*V{ K.}L#AӳE d nÕ[d CV\Ǥ:Nnʊ60|RU ȋz{t==4JY1G9ـ( ;O%," ZJ.ϽOH=[m EaҠ>KöP1SAVn/mcOM%\EYrHjTJD{K+gV\_rq63n'7a}nt)yMB(Ɵ ɰu/7ֺ1ǰqO)ZjL5YZT*<+ DEz~jf5[LI㰉*lה=`A2⭗ h2=$Q+vD3Zr[OI1QF3(\b+i6A uGS4 6ٞ063l]v~m5onBgSSr,<mQ4fX_Teĝx l+9Q#OCŕpZmO {It^ƥ,A'}}Ci֨M.(! \EzբKzIѐs0K3+C 4>u ^4@#6fw5s+bi]g8I:~hһÜDS^>\;^lLCZ>*"Ieu7^ܞ@ fyC1#.7nE-) %u_J9x vF'Xulj3ȔOˠ˜L0:ZL,KlGcj8+G:cy#}W%^"bVra6iHQ Wڿݜ\9ﲜ#&H! KZYACGvC[p.:wEjvsc,}])ִI8*^!hp BЮ!uhc)d.&z3UYYEuw%% fy;}(}7  }(U -А.&O*2FX*iX^>pg|Bi/UdaOjMcPNB۳ҬP*}7[a3j^iٖ07NKQ߀³+NeD].lѧn;7EėMw=w3qE9`5v̼V&f<3 gj*;HBVh/X#Wͽq=B'~ mOfT?Ƚ3<n^(\zL0U[='%:p⡸2u窻i-R/?[۫A.޹>ٱL/IȻf6N҆͗d=fFƯr-;29j)m)6J%ocV/6 1X](e a6DPT7ܐ5Y"e[ 9#ũ.v0Vť `,9?:|GA^66lqCM<)h1 *v0K<6ؗOHѥxө1TyUtUK@=L:k.~iPGNΫt't01>I>%ݪ4מ!DQ'~ysӣ -0 +1",ѡd)ŗlY=іc!OսL}qey 8ef Q-H^ΰ$D鈌S/l幙=v]ɐ^Dwd%]x^\ E>EO Lcxv b%Xru Lz,af73]w&1ͧ5Ygqh# VvG8se3ڻfʍ(X /=^m2#xWh Q 9ZA{@E*H~Vlju9z/N1a VZTb`1B `k7l=ҩ (sL\j9/9eN":!$IŸtwyJE> EvM@%s͙*σ8|5O,{}oxK1RH R#<|]) P}٨6tT]N~H[-Y/ȶ#z#Ɇnj,nXG.iJ h[D lg}̜k8t %Jb F6|OJ䄣[eA}w Έ>>51ʦwe2zߖuSp5W~k'WXKqsLm$Y`ZDo eE @Lmq J1ܸ"_c[.VPQrٱmzuHQhQF\KLٓUŰYH57[M)Ԋ\L\л4<1!U`o ;ph16AoB#ߖcH8 7TݒsaYl;˭Ao}PU׼tAgYZ LGӘ R 0%X%!I1QA`ʷ{!@& /<~[-ʎ7Eqts3J'̑ 0{FE"*{4.c[l;2h͝1RW)A9Z"&i#L4(I/W/I![v!̭tUky؋8bƋ]\iE7.Z5摞'z1fu1-dـ.Y)"s1L.0L] g`:XX4/Mc#O'hp;.zΛm)Pf2MQw uu6Hv𢍠 Oq;rbr"&-iIVsFlŪ%_4 ZZN{ PY:WRhlflG,@&>y3sE-"'xIe:'HY6SG/۵Q',+țTml2P|ixti~` ڸ>vn"f1h-[VdyK"_}k 0z:$|H1u\ r}ъ&B&=VVY>f;&ckMUB\2ؼpLTM,{ԶkYʲJUXuD.'l7# Rtr䰅F4 yYe#" 8Y{S;ix'ءPv3T,TVڄ4MD=Yn` רX{ g LRqe)n-̦9Z1}6k=X^&̏IƮ\a{>JcFam$ð|>Qʴ.  ٷ-sĹQggnICc-BN9"hLZV,ʘvx @@0 PZR0vbq֖GjH;۠ނӝCg& tg~?lѯ@xS;á+Яɓ9e0KoTb'O-wd`qc>Ō:Aq֨ cμw(A xnf*U2@`VRQRtz޻#_FTV)}.@,uـHf X:,7g_TI& bjNU8˳U섞0DB5#K-9nh[oX[ Ӯ `4}p`v6Ѣp(9Ҫ7598v. a k(, ^pGrtћA~U=]3CL/~q˪9;b,+3* СGo;0bE\s݇ЯM|)!,kQ1 d=+Ȓ7reMǪh%8㶦0U?cupi|%9;bSSU13׎*cɌh G1&P P'K sۖ!L+Yۛzp ZƋ\}Y;y`8ˢkZD틚rOSf$aB;}/V+sѤ=}Z/[C_]fK7I_4=+KmM@aՈ'KrA;Yai+u;)1rt l@~$l&]G((Dg TNߛa`сbb3`8MT8I ]AgAsqJp?-xwyCrPQ]4O>l (ni9e/#D ~#f\ ߫EWͶ 9K01_O5>K6JՋ6Qr~mi}x|= i f;Jӽ\ore,5:5c.l`30a^b vw BpW{ x ) )T3L\ߊZyɐ(='.S20HGQe3q_@ &OCp{b ꄦ bcui$sl|+􍴭.O\r E%AM:9Ir[{DO8YROcT*#VPׇz}_IMVvBA#HyڮRSh-=a8I~ޢUw`k& o#V3=YU̙. $\b|_Bb/:ZD#&]cFn0''cK(3Rٲ8= ldԁ㲌]SJJH'A$syz2wӓ)f͍MĠix=>TtɜBD]5EWG;+^ IDdw˶Eo:r1vUzC% Q=>x3e<\CA6QǷm= ,/yV.Fr^úsZ |u"ss|޽EpcQr|v37^D/v2}YdBfwqD;ڝ?M {ڒݫ_iVQgxTLj1~@Ni7a3XsKNeم&+ꥳcj1.֫E!-vR^%;?4U"\~08^mkAH'-+ $ pa.;dJg((9C֡C`^EIѬi@QBh 5~Ty;1HG_<Sl9Еimrno~=FMHݘ~m oƒo&WWЁbCdjV~/*$0wh`|Ag0,\aQ` L?)SR]L% Oގ Vlއ)sg(D#Ԍ%Wo'.FnQ|sH*%roݡ?scKI8sx_# z -Htˣ` "ow#;` sJF)V(Z WeUS'5 dxDJ`Zf[3(jb[M1备ٜ|+//Y>&Z?SMKpV Z 2y uD9 rIrk#P^˝Ǿ#)fBX,w5#+jjh2CgT. [xAAZATə\2 7q*) #.6E*Ը%_QEo, vr&;ZlKO\d g^4LX~ '=I$dB Lo[=<Ӡ}5@}X8@эlO HuC+bzQY7`Ɲъ.fvpЦ@^#vכ-dhn?ccwn`ۏv3猋J4DS|@z:imQaW% ꘌ1TCW EJcp. XﺾX"`{<{L8[QT_X_G,j:i;ѷ_{4Z(9DQ&;Sm>/+J?Ei3Dv''7a@CPVڤ0h۴4!jhCpA/^`p[ N>잍[OmShp+g;tqDO@&!Kc0 i?+;T_XX*_U "y@sf*ijӅ3qr[.9@̟lԣ́+p0Ұ`pEWy"}ސJ("mљЄf a44` Q8zRV;$_vLPYO> `9?f,%v|e9s^+dawJw˥_lj ]j`iU+CVpD3/3& (BpJ%7,T'2J?a\mWy9{d&Nsu!.ja_&,0p l3&V.vWYuՎe Ud$+2"A{ۻ4AA#6 :RSRT粠巖kIaAz]?li,Nyƹ\g ½tAEݗZ_@o:`| 4|[KJz-}8qR *c*j6lt$ÐdT4(!Vg ʚ{*h~h9du5Ίd$1iU=q=L7T#OG]Had˘+M]k&οնEEy`ɐZK9`/_pkJ|unmAME4{74Th'(5.摽/bî[<{s >VCgW3_d'kL?1_]<^ 9~~#QG^w_/ؿBKظ OP6 he z]g9JMљƁ9[KO ֫wUVЌ&aI!!&j]Ʃ&S. '!2za~Z<ZMw%Jb^ KyCSNG01I̥5GrR Μ:=+W3,p"avZTm:J,TKJnC ){dA{SyOrm#>7 Gm@dlCjvA 0p{,I4';U6sLڪc$zޅԊ.9_ eJl&]X;Q\UFqPM `2;%!w]"Ha",WHYUKvc\TMl?T0b[ BH]ϱ+ "U/ҡ%G<(IETwZ6ъM\;dI>uAN*KB0(\x: Sz$=`'=3Nn9#\^~JJE$6XDs\b2pSʩf 1Ƴ+r3B24uBXL(P 3$˞]w;PCcV@OV" /z+DoHm~!ox/.zSh{E!QԵz3L3v(JWJ('^}[]z}Hڡ ϩ(z w5Po|!yO.C4m4a0Rh{g|܇Jp7R38Y"T{EOe̬O52|3=t^[ܗ9;qn]fipA{VCzL_ c,6[`/{!XwPkE'IBoU%Ό_(pЉOvԼ>r];0o~D?KOkИ 0^/V$eQ2]|O/LeO"jyV-K(wk[ugգkV\rX})hU`[~DV"*n]I,x_9`ф 4U~ǘIŜgYZ W 7g% MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Equivalence_Checkingdocument.tex7zXZִF! V*]A-MՋhvG"uIBm5Hm_Ʈ'$C /9PLj|C}.K`L Kq͚ ǫUq }17 Y)>o,v!?e|IxK`<,lal}F (|L|72Q#AˢxbQO^=d Μ^=UʯCC(@^r6('S{axZ*c۽8?}<`D{Li kFVx*?=ĩ'&>T}BάW L)$`ADR X>1GZbM!ƀ'͕Qn;yT3 ?w_{8NS0 ~tcN5?͂p$V\Vt=mcjZoJ&YSϋX!^Ѵh :T'y%+h+:2;S{5l[X6IӖrMڍud,ZRImV/㻣'N>R %aq0SŢ~Z|M Ht20Mbc4,wS+WI.܏򌧕sUVk2pwU6Otar;9 %՗=x+uBGLbԢZe B8^| kɦ [@Q%4x_1*[$]?Y[dYx݁T OןJ_(ښƺ9C.S~UqۣP [fߋOk-8ݥ(%FبEF5u/gNG:uzA986gl`KrmY&{b$Q D3|E xF0?[vQ1J Lh6CG<"rU%n7*15ZW"@kDr(Zňc*.wGg]{ ps}~E*gX30fxcs;e1nCԋ‰s0h$^C)h1:H?`z5v1Z2լ.go%]KF(*^Dw !旷't4DbIO۔\-j>uUPBT4X?4[I6<^9 zizsOJԺ/77IWH?!Afy 2rܢjL9h3^m8*zy=vT/qΜ!T4q?bIܱƉ'k_]SL5<.:i#tcaiEǓ7[֘G3ú|˂'\A"@f Y6 )' V.{Wf4hzAbar^=䥽l½ig^imThLcn$2voy:~pn׽7@5odbsOO$H -<8,FZO{-}ϵꃻ&bl °fr w`-_¯17xiW"ɹV|rXF h#= 94%s?9-HucZ]i"<QۑMqn ٱ*+ La|*Z\1ޛN FO!/Un84;^̜DkH~*;GG.{3B79Hܱ+[7C,HTXul`6aov O==(g=qFWs B( ip2q.f$ydK(QqpOA0q*n2l߈t[rjY!ZWIGwS~x/ʎ,a2~ x.qk A{DXq*C]V6G }.4 BO]CEQg.7ٓ+ o ~)vU8֗TT\p9Wghu4g[jW@"J[dƁx~MB7sz"LHj+J?\&ݭn@y_P6?vt$s#9e6PlU'l XdQ!cG;P'9U˞sR#DWO,nTVn@c}.3 L}  C.w2 1dبk{~"-Б;I㋳ -o[n`n5=ݥ-t$  d 7a% ,MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Operatorsdocument.tex7zXZִF! D$]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:zb3D6Cˤ9i=0U Z7# 9d]#:bZ謬Cx˳xN R',.ZcD\#Õ׹DR}rP­<!vYr/$bK ڂ?/3zs|z!.?v%[l&eOPDW3^/ uP0uf2CCt%J7 T\E ;ӥ84"Qj%jadD6Y F@trLDuv r 2[tr#S`вޖJ q;o LHy`' p28g OWI 5O9 !BYxQ hS( >Ds"A}Y/>? VMbVC|wϹR>i.ڥo;*:oZ!G ª@?JS72SDa>b]mj[[~LA^t ^۸M0)4weo P KS#B!#Q})ta4; °; @ =vjEL&D?Mx oqZ -k=~{B-vϷS[<.eB`P~Ėk:Qe HƑlxv1"0^ELCp`ج8lGbC@#? Õ,Iy pV8]Dn~+Tz7ٶlnAilD9ϏUJt/#Ec >rSHL{-TQ󍱂_(lu9CX1j8ГNFk 58cc7; p8Pcbhha3f mgGtl4+-Q#],#$`'Mz4 4V5TAd5t[L5 /-Mxri8fi8ɑj5Vi8Pkx̢&!Kx&va8+\ pd|N0R(6.&@4 #Dda-}47&"!RxBC𖋑NVe&?;VB'0YN4p +. }3U=j888_6(Ď*pcXa[28z`rGrV.xf}f '&*ZD88 3*¯/Wl9M\+jߢ# %%AXe :RAhn&Ueo$۵த.[[nBLy>}muC\&Q^69ChH(˄)<zgfXwqhth?Tyz`6SԲu7Zg%z5^htKKݥ='e\ +,\> jnoq8ԑUlynċ%0Zi8Ż:Wڇmr5 Y?DX`q}=};؃떦ۚ#tlOBGuWK^/7-zV.\<B[#;'keY7[ <A;llT2OXf~jL~/Eېe+gBeaψm:  [`UdP#H"o ?_|7 # H֡t>wwjPÈnifW>?)2'>peZ)~I̪NNS:2_IC]Xtѧ944)pYۘf7 YKV^=pG}3O3l׫ؓ`gQڀhU?/>K1w5ِoA(]ʭ6$JӮ!+GE=?p6УFU!w^0i+lj*uc[_HުeAU80< y*ubo56-»P!ZPwʶ#D&6>8S4t3AC `'h%_>$սhXlE"Mp >Q"T R:V_L ʊK5 TnrZ{MkY4B͌Q[u0Go;A}4tAK؂-1ayCq4:t/y2z[h>}={NX~PBSCY0cYo|P6 r%sAyڱnѺ>v@ ̲(nuYUUwW7)%;`>_FiХezU5#͗p=dPU{Z$ SbBzI(XY` b(?k{y_W\tD%ZP$vm{Q69\KqUH(qH(s<9m|+%U["NP,х*ic!1 YFLe<Օ-mFnHp0e-*2B˼" v2^:>ax<4t8.򎲦pE[saG cKB&ÓH.X0:"*ZZx*ˆ7k XoVp5A^u!ItB ^ԷlG*R%!p#0aSVd.O#Axld{٘g)eAb>ƂOߒNU"Tq_G{(vOXh @ߛ#y:Y5ًR>E%9_FuteT1GۆReOm=mQ9 _~oNR6>!{B0ԻXsSWsUwR R1Pq~MjUu3DN;Zic+KWn_jl*Zgp%(y6A-M8*\0&˛I#-g/ <@JP{fVAFepF{v]9'As4YCOqjTaդK:Gݠ;B^ňWgXo(9rA~Y`_E 75T49C2q1" AzopUI-nAJci2:tL)int @S̱ 'i4}x=Y/zvFj{\9Ԝ'adիF9ҕ 3: WYgnfʅa? ]WٍhۄA Z( ,'ci=?iO?A9t}ަf'AUȎqUELorڣ؜oTbRaRѻakuW${xZK)fչ!UdQҧn.ļta)O)QBIiK|]s$ad28PШP3Y.?OAX^m|֌ٱ˱̬ݮU#J0 x-9{,DCx\]JAws tcTŘh`$ ,bE!_ltT񝻍c/gqF ?Ž&QG29Ic"V j0Xwk2.x>$h '|42m?6y'ߓ|JUW \G}w4Vd0u݌ol  ӮaΠs0i:Co@SH1V wYʑHLXGv? }z=mY¢ tXg,}-xF)nd&M˱ ۊN{ ]\zlPD 8NAeI)V[~x.ChV/ti@}cwD #ylCi9Q[h僽x<,'R)sBwr#@)L2PNh 3̏HS;U8ƽLy.w,r[s@yQw?;ʽ#:[0Bd9G} ` O#ݣ](Nl>Vx# PU4I1\V;7|AI6Zu%߇S<>&Cxpl#U]Dc5%Lc)[Y^$ jF})rیh6.;*I*.%;Cu=},6O zh*<3`'y%~>:e?Z`9i2ˤZ2{;*:V(^HOc3]O[[gJMuRᖆUbU~>V/I{oФ z6y ?pӓAP J|@7SaK HKkү(K">DT& A!6v)TNaCۋYߧ qK!*'f8?볰t z}tG(/|BӴķ_O(WuQ8K1mE6! Pf$CJ2j/ME0AUGP䤁'C=lGwHFIv%N%6Pcg{vZwOfnIA0zC *1EYyb`q&|GE:f\ Ox {Á(<<[^G>۸C "[Q lȆ缣Bۊcik&(lJ[ GRANu:Q^۳^2AËMLj:/XqҙrG\ HKv<}ʼ˘{TYܶ]!g]mVZlvoZtub0**cY|bI?$86e {bI~X@H%jse/B %)} LR;Ǯ,+Rym,o+r[Y'':'~"}r( ̜0(_AbIDOI2o/skFLmIXQPSCk XIH~:SFf/ᦄdW;,xEgmw8:* Y UJYՈv1z}), SH2$2N gQMQ֤RwQN? 9hvk|m_'51\:bH4um&-˒:Od؇aaАQK?-!i1i߀®p# YlԸOWmxu':D ~2HHXx: 9.bSe-?0 "3Ekڊ.w\!- \ p 2 Btտ0u Ta2⮅`քZ8a~)hϞ֕#  PbtK۷)ш;AO*4m(Iم8~F(,Hl,; @? vf0.1x|C 2! R +f ( vN"A OkmR(j/v-(K=# |wѨ$RpuWYD,ܢ~?h& * X Hjv4SrTeDAmظz n!TKaعJ !"M{I_bENcTQIZ]h1+سn(W5Rh2})@S:;&Khws:-hCuٖ8GUɗo1XtN!-T`Ĉ23D bv`>YeN_LߪnJ!a^2FDXQ\mt+#iz?èƫQ(okS̹3Q=:~mPBFpgv8RZXKxa-&g̳9K욖UUn"gYZ ddB 7U% tMSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Setdocument.tex7zXZִF! j#]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF: 諵_VrZI]D, {>r ]2!@,Xa9v~ζ>[AHS,C _c컚+J~;81huX"ik%=aӘn anEKYW҈eQ\00,&ȥBp cU%0AyΥO G7D miAVQ?v?pZ<(@c8ɜ"Ɲfgw',R۱7ڣa$@"5=L{yAѰF/Ohҩ T y 7Vf F_)Ŋi ,<^AX B7Hu\J29c{2ex-f#*.ޯ 3"pB=+.cm Z9oG+>1҄Q~^ň-^OX1^_L!G|~Q,Uoe/(L[qc%hY|BPW*s Im)d$t 6|[v5 ˑ wP!2DY7؟ιDHMDևb04.5тx ;^"f IE-dabvimbdkUѫbPGM|c@aFLmjsoQr y@\;P7}Ԅ*%4"K/ooŠ!Bp2װG3mvG+I5V%(W>TnB9L4b (j )<ļQ2OYS]p%g?J5JE$ʩ; @Gqci]-,dޠv!e*NjnlU"f`aә:=Q6a"< 71% MSO_Regex_EquivalenceHOL-Library.Streamdocument.tex7zXZִF! 1*]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ᕟWC^6JR[944`tUY458?O eԆ) Cƍ͸".[.GONJ`=RԾj`Ǫ4ޫgދ&4?Ug*6w*˕Wp|03.N~jgm}Bc~*}NCM۾ws՟$(<,!S_iϞKZZKaXh{P{Hjd*=Sg3_$k$z-HYI\(.KJ%ȡq8BʔGlh> vˊA/V7+!:`@X'qѴgPb\?<7N Yu W@K9`a鑺"+_U]*RW=wP15QRLXҩ; haDǵf#2):Y@*9rO@n='Umd&IR4M$>sZ(:֊1|GᶧALJj_A-avyiv t6azЕlg]/Аwʅ6hNvBxb,/Hs8=8eF [XpiJSNG BU@kFUz+X=_mW峏t$gX/FM]V t=>Ɣ0fbiK5ۥjSj>N4i6^yicB1.WZznVgǤlrդNv9BPP E<4Bs 3FcW!]]U4A>eҏs F?.vٳϥ7VAIUZt'֓'i6&DWQfQth/1.(eƫR#y~:,ֆ TJ  ';hF]l`6DYozc/N+5hpu#7@fRDgٱl\ҹإO;}U%]Dlo,c*;UeJԴhT`0*xnpaЈRNF2oX1hlՀYbPӌ,~٘赅#,Lf#Bɺ {e@PH4=\q[ع)z>&!ՈjnDm?Ȯ4jBa)K$4͔^E9ֳ*sh9|if=[R@r?`qv5V<>~/Y7܎>dP'Ɨ \Zj_f{ ϭX C}Da oZZg*ASn}A]q?h58sSK"UW >˱ѫX?Ӿմ1ؙd]\ƽ)]h|mDa!,eCwBKSf(Нxtw#6{!.,hekܧekuV<6/͡\8˓Oߕ?qdF}&߷@-,s5Ǟ!1\U^ ?1Cs\?!)Aum8sW_e;C^#i?rYMٻEnV!usK/}r@+vAԤH1 c93q[!䔿E=lQ}l >k[́T}72*<'+E;yqЅ;);9XIdՑg־ƢmA"S'z ޹]z\8bzcMQ.8V^Z+Xh~q.(看jV|&EUukDz_tk4 q vKdPcqɌ-;f8a\4ErS]qՠIL1Zڸ31aX#D<F]hRkKdkcb<Ͳ(VXTݣuYǃ]_XX' x[;gRYch&t5ݎFDN p#HP|ܧrLOcr^FKKeddM4~[sL3C\[@bp7r`֜W/C@J/F涠S1lO1^]$#ؚZArT\!96\8ktFe3D h?Mr7[:sƋRr1?$k.#TFmR_b8R#7ۆ$ rhg"4‘Q3Y_ "bђ7NtuR儤}Rc,&F.~Q6q>Bŭ5~FDH؟h^;?1.4!}+mNe0GvNDU@lA|c^k^NlSi͠q:9WV@pͺZms ҆h'bMgQUŭ|bOC2kxH7RtV 1"^}(ơ)kb%sh# E[&!y?nq"d}% 97.(dY6s0,.ȲNEG2L:lT,5oA! P1sRCB"XO 7F4.BM: u؃AW.XTIY|sr |UCB7lT@N["Ȓ i .iZC&DQշ ޸%]VU_[&Aow@0]ͼF+I@3Ad  cŞOHJ{8Zt(W~aPLWQD42$b>BcV)$fCt=DŽ ? tW4 ?0Es?oUCigEpUp<T5Nu>2Qtj2|QeZI:TGcH7Vb.̆a,gQ#X/NOKρR$j%A [(aZl*%YjxB}O\gJf1["&nו{! |*b8&5V|bصS _W#bgʇWbJd2&1@9 a USJiQj &&  k5y=Q-u*Rsm(LʪGTn7zo/eo+X!9 ̂?/XZV#J@c}S]yqQZG -Y+~-" .OƅLA|;⑥y5k9Z{{' ҡh\I/w[ϩ5ل)~K?]+$ǺIt.`<(%td,i1ٓ A:Yj$Ğj|2h~>of%68->o a>#]dݦNd J(zx6ORz¼H cި\# aGGV ~QtQ*&'%eNkm hGuMXh2͹џqt9%0QNݏ8Fs­?M?w&'-3a6)`'Xփ<~Ġы, ݟ|Ta+5 Pߢĝ6{,^ǹz: MR*Z =zhsF@ lR\&rdċh Z>GZ,4YOl~4%+^(`q 寀+Yb[<8C\y{, fb_f,A%+~ČBgE(Մ)ϵ?zrט,e=H)H\{ƥ0SqW"5l0WH H2*5U/M|A(R5<9 NskN= 5Gm[|e SsZVg5<}349#5a۷8[G98[ <9VhZ*' N\u.pHҕD$ݶ|4Hbu번3 bW>Gsa.hY"|'MPx(:;C"`W`_4+X)y1A}u$PJszro硸IR+"Ę.2lCԢ1;D u%V_^z mbkkh˵$L0Xr)k{Rc2[ͲrUs}NYԗ`Dž`5J|<۾r#˘;s8n+N{H+\03V_R/hp9͗V6 D (\.oZ<,C h b*㟃TƋ<_'&¤|RMu#>f+Z0-ū V<@G=_X쒌Q[vlS$xBjIcRY1Vf(v^a5uGE}W>UuVF<,l\2m$!Z]bWq8{> >Z[.:;E9> knjcM:۪Dzd䃶z(Os2rP10䛝J8êV2D#`s0$R}->N5ߏĥdRCLbRAGCwQWn!JHWVCsJգ7hf5NC]3Uk_69V>k2]'G|l \VwkVr{h<ɫ9\"u2)0.t"  6ϭHan50ѾXSxFVm( t2ͮ\|R٭I$yG*O[g|79' **{~7D|M(a~dUp1?U.@!iőC &*1>Dϡ>m5Faę9t8h!@Xߩ6/VWn_=u鞳gN棷̥E痞V=#j卼_xU#jfTy7G V.u.637B=xGx(h\_ Q<ĔUW+4M];#0-DbJ@enbP?7(ҰI*X%G?Ee%45@(A!ifU5Zf!@Ghd+ *AFvm:u\˽̈3]௣y/~Y2Cb\y#^0TRXTߐ^~b;XO{S)$Xfe˶!rߚ@0[9RP =H>>JA2H\\[}lS .J`=.U쉝J[Ѽ=(h"-Q ΁%z=G$ #ON}7Ns& L};L+ 2Anǂw]"Ѧ u$='nR|Sb͖k:cb)MAξ M2K'  O͒N/VLK6+n|G7ˉ4I!Qۄ//64%_L5`kbﮬ&A|jUUܻ`Q 0ώ(jnOЙQgC?sDz-!πymR^m lnbG-sHq+p4ʷ>aԣhS (8* ,N9/ TϲDLDu8 6`-8þ^t+ 厖#,fveMLZs' H)媜[C<BBCyXxǣ[ʎBnJ@~@E3ߕ?₍B?HC4ߐBQmgnd2=w%BaI<Ң86rb*`yXBk콕3ÔӲd\Q`1 N!K| 3"m xۧ1]ATPi; "~ DZcxPpiX y*u%D]cwB'dƎe7.J*'Pܪ;Q$R3lZS^)oDf"蚚PPNG0_1;8'sw+;)QOE1(1oaŻaEkb啺 2[7L>>v~5GyN6gYZNZZH1U9p::o*Z\u^Ճ4Լ~-Li<{y^OӈR#|:wĜć涎4$)`cx4P.+[1 :?>/O,i: G0켚6 cӇ)-O[_e^BYNKxTT +7fܰ1Spu"z.:\=q;H( At?LG@!JGFb]&D;X6%JQ+iʺC!|f'nQ!:~ $ OjR}oB٣3` E/4 D`us_]"{F٭՜X>n;4`AR|Ȳ/se]Do[Au%'|wZ-~+/xA]Egtf>X_f̌iýK'zgkzQ2]π86*/IqG:7{* R=EG b2p8 =#F|#!AT']V9ڃwY@ijgԒ<[CT>l%"~M*050ğtnjO3'-5R 5sP\QJ-tI_ ]M=\KІ"x vHEmb1zP2#FRH{]Tc')mb}0Ah u@h P= ,D\A+:g+ sK?nL_ze*XWD$:T̄p%~$ռ&c+7,^ez}bz 87S˷nl\7f wO╎L%2nQ^*Mc|fIjC=-GʧS3Iޭx.z Bt4te.5 ;sɭ?BV}Ep$n蚖o!'>У+3 Q|] g]\Z b58zro Fx#wr +3^MnTQͫ_2&@] LJB5^\6_fg?' lnQju,cSCVq ;!?Y-]*W\ʏσba2A`ԛhDܵ"5s@ʒxi&'N\8тоztc'|gVu+;6i_}J%틼x_%g4iB 4 )qRXӰwkOﰜrG&(C.F/هzFBE#}/O("ˀ : @Ob2\:LeL44ۈy#nԐ;ݿ{<)dQ ӠjDA.;=д'fH%'.uaC\8VA`KSbߡ~@Z=_& fkD", T vr= (-0E .iR̄BSZqFcUUkD,NSQsN(JŹ$}Q=Fi ְߗTB%ƹKugH&O] 1&lxQ'+`%ѯ6AVgܖCAڞZWn-ht(`#fˢIOU_۾ (mkGz+TP|Y@ֱ |md/X tM%:z2 TeʛTJ{PK&ͱ"$kSzR$߃=9kIHӕp<(/AL:EJg΅R90(nq3ѝ*NBKI`;Vw5F|]/+!}m2KRtݱٕ@Mff^,r(?0c.,QJs ,vZ41Z%y 51Ɂр"2 UчRV\a~KkD ru(#|m i>|5t1qi2a4[ @-^0I.vhMXcn[2O)/B4f!L3oť)1.P!(OK6tPMw砡*r,lϹ@uFMsP 3vRpH,06M4s9`YU(MNkltH4?oZ1M EC<70՟t^Z!~{B An* ϑ C)iGKc$/lK$}FMKنZ;t$-=12%Q 2Y~yW6>g$z]B}B Z1K%N`n;aDe'^4r"L~<`^i>7B7T+Nk!6"GtiUfn̛huL[oӚůe RP>UA˦7wLr/H0$oa]6ڷgYZ ((^ 7E% M5[L}}k<膧iJdZ^m{WN"EdpSQ,b1>"ZҒ gPV,-k!qGG8$j`Pc4aXoVIxq]ԶtJ d+;F08BS 4vN!ȺT ®{RIfHZ\Z씥X[^?>>Rqm~%Srs7B1tD #iFҍ︜1t{ۏ4(Rg`[R3_WaAl: *x3$hf*E|`/p8CNqN^ݝ =a*3ھYkv,teC?e  & y&/@ J4"=\-ꃟ`A޳.l甭|Z ^ŧxb(!UnM9xZĻ&;%Y=t~[eDϹod2@TٍN`YkK%8s}|ǿ7zBiU XnP EMfĐ )%t|JŐv"0xS6l졩]d;]HΣ-x&O@%&^czwrO^0r}w󨠽,u'| i7Uqx$gH$8QJc°~> wHVGsjG^)GBfwtM΢X=7STtFCT9̠ՠV@Qyq#.Q2vN$Fx`4 hc<!c8eYgTUUA[JD/˚}/֪_ ӎ.y e~>+. a" a١Ϯdj#&~C'Δ.Ȧ֡h\hLt=+LCi/WSLWIa-4( &˴ڠAKe姓XD|wq'@,`@䴉7w}Ӟ[0%MUUz`,r2*K )pÐQی6ϰB~<}MKDSwc &!6GL\fA/1;?P֊Ys[!nPu!;"V zI.f~6hu41^¹Qc73G&'M# 9SU;{'qĎjMܷǰGWTݥ(D鼙Yr~Ӻ_t4_&(zfӵEJ0MlY7Ap$yEʏ΃x:*2=iE Tgw]w(>)a1=dcQ,7` ^,)>^Uo?C1 #m 89~SpE"1>ՙ>+\€ڑYR&7TR@9I-j_LcM9&_Iۣ9EC~eM4ݙ=Vc >0&IME皂ɻkU/F*HNn<7r1Xd 7')] gE*p,gS@D:q-2"1'*oSlI$CyoKHY7K[y(KiQ\BD\_њhGZTP0ȖāUa =>Tc 3N`:rPipHr[Q_8Mo>|# ݟQ6-l 1^haoGⵀZfn>ࢫ%tgш_ {[ReߛIP\ ):V=]ES⠙,W( AY.R=siCWwDTDO\5:X/~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZɜkW:jzZ(Q njwT!4.!@TB{j(AG 5ibja i^qRS4^-t rl\%V(Kzvk252h"ތwr*BvKo4@\|Jn:?}|33uQ"\3rp@X`u%|؀Г\A4=`)e9ΊG Gv@ٕijT蟺bAYUALIk{;Tsَ7'<-ՙ!aد{*ۂ}CQ8QdPɎ?Fw'rũe#BzHZnE!rcN꺸)7awDmES!P_05F7CǠ1 h"f.ƚ i0hWBLA'd)u}bW ͏]"߶m:2),5PM]ӌDD^/zJ4 &'z&sn<ܭo u[JϑQ]Za0"#B+_Jd%!芣Āߞ>Hrק-dlAվb^9}i̞ZP"DYKƕhWߪì̅6(~qEXWD'K ezf] ж˞2TQacMX=uF4z7eꔯպ,>)]!tI8eϳ5/K϶}]6NM=[*l\lZ;iV B >TIɰMهht6z3XuexZU~9~bu]LfX!JNUGK\tBT8G-7jBEC<;{ygdRT JdqrRq&@ZHc[P~F,{5DTMM͉m1'uih`|ACYfG/Ca-᠋ssU}(BZ{K[?_PƳ5Jc?i2 )6H* Y@x2#D߸ET'ܦAHcK,kGm}l!D : f OuBnGo f?]!| f ^d݇#2!7A: HLpf䲙l9ܼ-MX9d(s0-}V.&C@pApP5m{rvaZXy(tUÓK`O5“Ǿ"K+h lM8w2J_|C.3c .pkm7R:'yn ӈaWq:A5!PIV^hn>P"_4MgPi`Yڗ͉}\Y]دF@K#4es $PZ;|XȟĘe !BWӃ=Uҙ4ɟށpbo 5א?&7%m/;ag:-cu]:ƕhc.\gN6goz89~e.+.K"Vrɇli*!tzQ6rYW۞јQ4Z*4T&?UNb~|F8hVL=3H@(9t+nϾHG*e1@UiƢA.|ith1&.F ;E<&̉0Z"=>X(P(_Ϟ1?j2_Nҹ{ 4`ًS(3BKKX/@><6M\=Ԛ(%Jw36 bPKE)kLgoYܒVVgf5P&SVCJq6:>VۦH)&+< -{R*Hm$ͩώ/^4jN;q{|Eo:Hn"4֪cyi.&$v0 5!*vkd#1_vd'`$́ >YO*>D/׏Fr?cҶV2{e>Eo2;?@]&DM䬩>ˊsWl$Sg\!^L-Gn?-_|ڤ _mR1\*<:t[XaؖrdDīQۄSra3͎]h# d pJ98J\ L$5P@"%Z}$koP9($3 ![j#g(=1*ur UX i?k[JHM J8 )ӞCL<LXT(]g6ku{c;|jL`&Mr )~kA$"ڗN숆xcFuW7S#LDF(aYW{0F<KL&J\IY|<%ɳФ${_Klv c"glG@4]mB1vLͼPRk0XNz{a0OvY[ygdQCWK_:\㮹j#r2|űV3+R53 \ ze|]ߪTqjvp|3M3- CH Qtܩ$PK]U"Ht;v(?gYZ  &  & 7?% MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.tex7zXZִF! ڎP]A-MՋhvG"uIBm5`=+k![OFkL19|0,Q ΋UC 쁤@ y) R&cgpL &/x7anehZȞCPNA>?ԀvJ_ BLuqף\{F!;ߏ1}J󚅸VZnGUm %i;S"XГJ,ZU/I]({TkYv@LfeBeE cʷ'_0뻨ǷJ8̴=b1ףɆS&s[Z!q}Q(l E #۷ ޛQF.n"w)r#欷wGE^7_% $MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.tex7zXZִF! .L]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:xh;[:|fUpFDT2U[(^`3M2BCN<`Hs!ضw ,ǔCԔ\m].&7Yѓv{LP.P~^E"rpuJH,۰?RLe?JDpNFߘ @ʁK:eΆЮ6ZUDk*NN\ָgZ;,e! k֔jMJ.T9W+t.O9۳l pFiݪ%ܙ\յ9~6K)x:PSqpYuGcP- ]%RhfO(5srC c'o%RHk1q)zURz5}I{ }[Óv3 :l _AQ=AL+ro#-;E`qc6dnVО} ߫#k2׊XZ1 [Kρ.8r$v&glJWܽe;ܺNũHm΅ѥ0Oԍ?r0.K-^{{(-!'`" RdM]{|؟O=Q|R1zUIMQ)g~O/Rin]Ec ƋW" S$J}lA(~# Y84YL(^bmbF%Zԭfǭڸxj ?cdڼ/?*s>/H Sdw)$>iJԵ%Mėx CX+GQ?˥pDd/{ d^m|ЌdcYz&ug ,#ȟg3BN>QSX<&<`g阏3X;-$s8ɜt{>R5K'َU0LF~w3 5/:!I|Rz9W?W`\7ީ"]6C")oѨ#T<ly!: ![ F1ٲI#r"Jm:ŐiJi"ҽTDYt!@&+w+2ynDf&7 do6Y_.όeRPbfչI`P+ oF`)Y qolPQ/_&Tg/H}pw?~&n4]Cd`G ]O:WS_ږ|082-_sNuQvn*e<`g[KJ}&i4kUrWov|p`芆j/=]BC!TFJ+f>g$gj}-cX 6?%'Ja Z_[Y܌P^Ļ*lsTUE]-<l@+'{7 ]Yu|e=m f[zm#7NXKe9_X-1L7TA*EH ѕb7 C:Kq?2>uL-i;.A7}&iK0VcLו 6:GkSQv?e[Ԯ^Nrܚn {ۂ߆s'lğ/}?;p ` C BٹRr~܄)z EkKZe#6k {{5 VRwS7]] 'a" CB |ߩ#DTT#՝>ےr{x!DD[ ?#A)՟Pu{(ۦb]K{@ac*[h--5?Ep)ѣYYo)uHk"16<50} TLDߤ"->jy,1z\U<߹ȀYp4N2J/$e$W8 / kfHE{ɗVD&\O卣*U$VL\K̘Pa]G*~z, Dl (A04$%Pq]R,PSmD{`>201`1^k~OSp^cƨ]\ƭ,yd \ G6=L8nM0nj⺵yvz1]NO̘; ] @U/^\>KAwr'?픗EM"Cs6>Ⱥfi~ 0T'yjWlV[;ZaLC޾t]nQ %.(`Y,}؁l\ c+z/uie $tI x/EvRn^v./ cs3Z)ݬ2}דǚ 5|}Ph^e}/k] %)Z_CVLXZ*VX󉭷L?rZ?kxι{4#smCQw•6sO]Nx t{4!mgH3֒w/ vMSf}#yEXZf@*:y{&v p䈓&kuT _)o%ZFʹ9m}9ܞ9Q[oU z5UwyiO!}S JTŰ/2ĬXbM Na]2ZQر+RW oM}hގD65 ·D2Q9K&zjd9h5eY_wE)U\.!G㬵z/,TQ#ёCD !2bdJPq"uZjeRXϟG5=M } rKTLe;L\ndJz¼{J !?}%h"wZZ< 6yƐJe>*]e|kنrmU\р;!U  JMrua_D=~/\?Ifl3gHk{@q@xM˜?"yلHWk+ޘj7ۆ6)O!^@@8՗QmIArV ]~~mk|8QhXv/'g{*wWs%0η η;W:oyg55+L){U CmJP&1|B;$w|:8ᔆWl_rݰufn 8ӎ?Pݡ_8Hw@:"<CL d( `DbfKb:zP5$.9MU NheLۘ1)R`#[# o!1]H:I/&~ ҂@Ac66 j=884b fxgHAEgz&et[lA,j1õgA෇sIg q amC"\+;~{g yg-9a>[x/F$t KIVH˼a<nlrE]~"_%݂DS}@ %3,9)$e٫ ܪ샸kX񎱮W6,qXb+xB1`2^lL 'FxCyRY63Jr7l+8wp2 c_S\rLבAv9V_ u LqSw33qĮP~oSEڗwLFDZto^Sȅ:g:wq°%d EYL̹# x2?*]s@L~BȽ{o^?M$s,A04yH &}AϭEfa+ Gu7 z0:^@Ag7Ji$A0Yz(Uꊝl e *|tF! tRGR٪cԒ^ڠoI o.2-J(ױq̯Qj} Zy:s |x eu?l0% I2 SI*Qa78>CQϱQ.( w!rg,|\o'ܿ/2~k&EYVi49@B6h8h峡 el751:br_]؜ zI} ޗ ٧qj&ޓ~'r8cpsm0] o@e^ξuAЀAp}8n 35༘CY`Pl::,^Lu޹ZH_95Po,e]C*؟괮cd0HHw٫i o$FP  H+=~Y<ˆꌒTcmv5t9P1ѵ Y47}H?n@@{%+l !Z)ifD[%$L8AdTp o R׳eӯr!~m 1AM 8y6 QB#K)|5x>iVmRg0"DԶlaua."OV,#=,OW֚i0i/MCrLs VI6;nR, +HRXpU.`IRWJ8mRK_g~F㋇3! Tk|izzG`_'M&j6MR1V&J;iOY}V>Š:J\#( :O`J*;"kvgDѯ%iNqa.fĦ~"RKMJ~>»܏8ѱIc}3.עtwAcj+*ĀQm-`ծ 3qc?ֆfFĐZʓ8 omLLXH ޽IMcr_2z RMBr8,D"u!+cXQ10i%6<'˂u8hI8(w KI/9qyh0cB79&D aIg GS,V8(\z\4qF0HU+[ %UkH0VPBV%0qa 9GNQvg.T;q8բԆFXt8 3W.elϐX}g /3+ ӄ|1ՑM(l?jQg=E!2?U%Y$*FGyIUEq+y^UYxq&ЎS/WT3:-4O@?l/e}%v yDlpX*H?5CG#*-[ʄhAS~*iqvS"}N~Kk.堂R& @waT+FvV5i&E<pOYFi)ǁe㭶#1{MeUeYtѸ@M\𰌫Xyw543lU@nxuX7FiK)im(;}<9֚~H8cbPT^49oƓhDZ*cCp+̎\AE~W Hr'wwF,Gȶ-;ϥWm|=]CU *nQa5#ѷMک"B@X:P~1/!߅: (Z1Or~WeT՛$?*옯/$z>rZ.Ri!E?6> 0?6=GBFo71TMo2\؋~yh )#!=n!nj~)L/" rUCUuBB4@oyXHhXoGC^jk557r\^7Mtľ6dQ'Jd~UЮW)ԧ+=GC6~ - OLģD 4CA/8SתxTV> Ȃ?!9PV A`5]L"+If.R\ICY0yT -Bx,]AÆWs ͥJniħD ɮ.1 $=F]P-g< }24UtEe_} JiitHż$fΡS/yBR@3}B,Nh{!\B~A!,wh8bhd0mwt/(5Bw0JX́&k ry'<-i nٯVgnb>p@@l&\/bm 1S4#3Z&A wSa{Z&: K[?τ4@1A{Fkπ3ZΞ^GLF'gKH=خ}L<ޏ-OӾa Mc=}D j%0.uߥa"<0aԫ}%Eh\$uCF[7;(g!sB4 Ч`SB10@E ='#T(l=4?= M[rة# /o/#HR-Gî:ֹ9wO$ )[͜.i'=7ŋ'5\LYp+6oj/%&_ w,aa_M5eՁLƁ-P+y:GH٬vƯ b$j-!z.S$\ň c!m"]Lr0MfЏ `#oRsF!Yq ՓkY2Оi( Tc L3́w?DxVd)^򺐒�q$r'xsf BzVDeYRE{AwU"񄤎9 s5= - )ud 'e@,X)b`eڵZ=* N\ړ/@#PkxV)+wI,,̮LJovL8lm8S 8"h  "j'ӨQ tatҽ}7jV+{K_*=_<2%,IXx]s)#F~ y3S1̷m0 d 2gB5C.%C+rc>f⟓3t|5zZ_ x%|}ב(gylC{Bhٔ@F/]VVAZpTn]eو݃+XltךJejawOХЊCf]*DP6BŦ˺vQoɤ@"(9*j,dCf )ŀt&fd:?ȥu.k DdsRI(!= YY'N*na*󦏌C@+u."xv_oǘj#Fމ$ `S@* nޛgJOD҉XYb 2֎}'L[ޔR]- ,h=M 6ڥ1'f1xj!:\|΄4k 3F6}4~9Ń$OVo=So5Jeo[K 7I`Y1;g%t(N^TYe@PT@Snӵ12ޘ ^291 RdgHj=<ӈQ4cU=:kB?7ƯfL27!`p 7^yPh }ڠmuE0L*VUzfC/L*)`mewO@1NhU {t!S(;Av1m{Uo`c-ޒyy)ݼ=;rfL^@)(w8QCo+#`2[/~Ms†NN%^f?_usEvu}}IpwkL̞<:cv}ӆ_0y,2{1lpYVyW+,k iz+(095LpH~8GLAnqx!R]ʣ,ZG4 NZ ʸifIF,J*_8&VA3}T'߁uMvkMyLy̕az$rdSg/,Bk DK;%P|Zc3B9SK}Oo>!0S@]A6A  cܫgK{U_:'N&,Ћƌa,7?+oѩ2];ub KSMJi({8N+ǐ -9g1}O!(4 ݽzPm$|йu;Խa*YgL+^S*Z ˠH玁F#͏+ ɷ$= 22e~9Dy6Ѻ6ތR}HW>e!;& ᰠa8`]}{]^2U,?0,3s SyTB_Th4bJx ow':>p,BG) Ofq*i~ƅ!OJAuҭw(Ϣ='P.TN^S]ल=oߟ{:#??h'.6Mϟ35iֿb证w-f}b9܎(()-h;ͨwϏ(a,DKn`r֜f<3E_d9IHDԢ豚Ξ.ȯpqOŵsvß4,,vgHsGAgo/x(yW:$u1) jD*9O4rEԱ*fTMɪ;&FGZAAo/dTgHX1Wm*}!'=}A{`amS7o2,ǚ(53AG.PaoB@>D*RF'^ru /,}mui)&h `̭, "}hϗ: %HEt-FZa-%Q̯N[#|x&*a<*UxvOq40S8ݱ#Eܮ|mSufj)/o2J9c97 ~C͑ߩ <]c}wl)kp%:Џj~WvGg *;@;kٯCĢd5uhKNpC,p%7jgf"Km'3\{ψsFԛzs@wKzdqXjt*A4tc*/+1In du1(MdRy-o>%q%v}u}tH= ]cV"j;ދ_Oۤc9dOd*Z{d"͆L=Y&fP!];VUic$I#ī> o\e {WѰߣر8xYa=S  }P(CIu ī4-r,8H%G6oSz>9 @cllG@+w2q  .1RMwƗ6ҫ+mWՊZi-cucc[W{K8CCJOu,rw/&K)9779QgXxVܫja ژ!٥ğ @}#ڣl.Lwzv;_jJ^Gv HkAlE bC"sH/C8dTٝ J}|,-6iA}o)2!H,ſ@j?t W-WkQZyuXOR!jTތ-"ONX0 hбU+דisre- iD< 8ÏWLĄ  Oa[ +/\N VZdZԯp7` ojT-8 4-EFoדDfm8THoJ "ch}Idb84zkEXnPs\8UEyhd&LJ&s0XinZsoQsa,fr8?YCe]S2`|؜+I#AiJbMrK3+ ^I⼥3Uؓ0͙蔃˺Y]1[UlMܨJ@fTh%rkO sp?gd[uVwǭ 87A-+67:'n܌3|rOw*f-y8i_=v^AeeHKP-Rۂl} HF/9 ׿.?aʤKl^Bi%M"X |ן 2:Rjvg|edkun(g r$g\1s;bJ6j;'ӮYxi+ȠZ69_hi᎞V~CJN- %~2Vzƞ.䁃ܳ5ڳ1~Yq( ;Tpͽ=<~j]NuJtjn{նP.ID|:{&10eg3 l#=-+J/pO6};h_|Z Eo|9kcP2dǪj\i^ꍊX\mLd79h ,T+3J.2<ҝ"A.-F풏a' E"|* #(.~A?m*u7:s襾{|ʪ | #՚w.wBDbC(P%9e4q7xsDH0Pq?~8 uFdq?Jjij٣c12\6oZpor *+*+&QEFAݱ.Z7L5iGJ-0s N<.Т)OZvvp&Ȩ㒆W)㎓ vhE~.c&=SaN~TB;>7 1菜Yn,B.(S/dOHr9\bC~NrH}WyАj}1: W"٣-<&NqXXPV[+ZxM4f۔)S ifY4%e㰒-DјoA0Z =9a%d^Y bD2%.HL tkqh YD۳Џvxwbx owxspNjWw"s5KDCfAK#V{ >v֜Ϋ0m)mOdŘwdx18tr3tKDN5z";Ι*!5"MX8l >Am=_'# Ij. b%)ꔵ 6K0%'/b/ 0C8-3L*Hr!VNg#;a2 Z|\Zhb"pPGiyj$?8.:BmDGM]#%;|v("tu'Vꄗ B< rmwͬtʷoD Mb=}5NNWռ`(8dyX+z`f4p]`rud.k?u3σ8*HxyX L`6ݫ7qWaLw 9!Aw5 }yP?1y3fE"eu/a>-YMԽ?L{cPsbdT-AD'?4gNkvjr7ltӄil::r Qƭ zIKVȷT=؋~om*4s)A#%}?|nC)0r|B5 N`zr,}@(I{J׊i![Ny9.- EH)uzBxq9 ge;rtpAMlň!A!wVݗ0`s:oc]bޜ!ybgYZHn>TYg*~VB2 gBx*S h1mBq@|YbTaeW޵w}7Xd{w4"yV}Vu'*3jxYa먳 *s4ek%Ut$3 )F@A( TOfKf1~@5_H6;I $'@~xgIyL-=f րq1w;kuhMK"|houg`y)BH7 o5j>U42\q{g[n= 9}k^WD翴]+o;m<;vJ_0<;i=)+lpP̈B5|kmEnK?*$Kuˤ\a{:'6fiH0&}䆨xGj,+awԘ٪=]$Lr~V$?74+U:L*"h*"ً%Hj/y؋K.>? Cmmxyrmj:0dN߹dA.XdBJG~w3z\(骑XąDO<)  8\ `, @GJqW\n|CD&9ۑrîUN顈:PSH;j['BOYqޠ!A9.1N'bbX2k~Ar؝PxyX34;Nq;ic )W_Ưe魸B(Xm`\ *Fju 6^҇PzB6iQ@qZtS+uI:1`_Jя$ LAX0 -՞ BٲN[#AQ]0r22Szr&VaNP̿sB K3ȌVޖ'-6JIsE<;;)Ъ;Ok&-7*r8̆~Z  bY>Eyr輣#~ʥ-7kz/bIˋ{uoj~4QB)x0d2*mRߋ\ oWvn} yXux!o5铈f?iI Z |4#tmŪրJUtxMn\abYl;Pޅ%3tg9x,U*aL/[Ҙk%i8?Omh:-(*jXges|Gc3 fJ! ꏛ)Ϗ [#LrӇEx< j9^H21XJ*c2P qUgT;1g>[*q_2&l.FDQs҃T54lbPĥ+xsXi[mwKχ!{~fq^ʿɓr>Td6`~.8RNBcY"ڥ3XP(|O/ ?\/m 8$Ihk.{JDehוt4 `fTN=nZ ri(9߹QUQ38321u<aos0RS:Y^3sT^mT=7^V>փHvazF7JZ:"X"PQ2?gbĊrlf7rt=&|z'BPW"rGElT7iK%3di Ɉ ~`hW0b#E )`mLOɲOm!D2rKx&~}㊂2៓o%S@1E Vx%8[C4w+qO4!`ڞ"►(S)놼$5u{ !;yYm!A-YY7z/g x}H]m@aLK7N$hc#އ!Sے l̓@ؽ G!硿y' Ae*֨q?%])nǜ;n~S:[c,CW,Thg?!DE@nAé1Zu(@MZp:ry9ozϥ^]N/-!y(g\!d`2\2I#C]!Rd}E. F@1#dؿE~4 FSR0 颽n('ȡ0YfUz"s&i] Xc^IE^w#B_tvB*9X0:pw$.5gVg֌aTIh43eLX1aO*Hxb؏{I-%/- @w;&]:U4{'vݚ[𻘞Q{$G:zs4dU}vFj݀}tnܛ;T>EL,4T{KUnq=)v~^,u O7I mrGs;n>:G^>{(ikV<21 t'aHTGFaD¾B,({hRw N+ʽ H-贝Y֒+[hknU T ر L`e*[$cT;c1A ~q"JMgW-_D59jˈ ?%6~YWcc3ۉ^6wC , u9K}KL%fg+ UCjin`g7wry~SFX![R%qNQmnAGP%kp,pU^qʢXףfڼ?n_Ǎz.^yq$ 6vaHXO7nKE9tcHt_O_Mlǧs2t鐧_o&:̴+)"xR3+*k0,A9trr=* įgxQv}bFbJ4 Sr"QU8NA'uԩ,Emq񇡌:sjєW>r7Ǘ< :0S wxy̖+Ɍ=-q輬 |nWnEhnqW˘"yMyJH13GXn6CfQkIi<)9p WZ~D T=βD pN`v\B;iЭgȉ7l|5e1Ƌ+bҿT{Ը-f4SSob;՜` zDC@n)0khHu$fzD0CY>,52&Zs&Q=blkAS,w̩(a\.e_16-TuTvm(ᅍTcx>Ҟӏ!ؓG|Ypn,K$fgh=~ڀ䷛t(֖4E$>"0/&)6Y鴈mC.{kG۔L ;WJs/n]2I+5TX^m%r 7gp]X֗ 8ɦŲ-Uᆬ[hWtQe9 QQ^&vK)QᤧQ.o,gZ5eR;|:hX|^rG ǝiNskx2Paf\Vא\6<ĭ;wڕy><\ LPvF"/o"WkߔoK(4{u~tIskA 룓>yf fB}i#$A,״j8'2;fwNX97ۘn;u+".=: BR0% Ki147ԣ^yߊgCݴcȡz?+Ν7c}NȰrc.DwqT X'Ea@E_eFghozWbrq1)kߺʲ\;=k)Vat;-,[ڙhv@߽\ᙪ<3<XL?\g8%›x߭5e G?)oc'Q2)w/?8T| x`{DJ@Ɏ.Ya_Q@o.q#Rk~.cCxtW4w+5~_ޟ ^]"!ne=]=MSJ 23$2lj".R+rYa|J?NÖ5ӚZ@&=~L$: r0yop>6UBA=YeYߤݫ\ހab~ N9/fI޵.ϖ$fπv/aWlI[\1LGkdET:- Fgݏ*I~EGD`ˏfO7\*兵~p*ZP;ё2iX"jպT;2\9"UZ9-ߴ^aꐶDSQXCi:<$3%%e/*w̐]{\fMy=.LBH GKë |tDf!Ny$skB{ rW>2a8&֜ϛZur$:1(k0I p?O>gqxI˪*}~P8H=Må߇~Ph㏱ WV[3$C H!]#JLs9Wq ,SD.@    t 7k% DMSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Equivalence_Checkingdocument.tex7zXZִF! []A-MՋhvG"uIBm5˾_K>H)mGAQ)1&  o[<Ȭ \`Kx)Fnj|0RנzѡwgP/mxG|l0$B?E4WR5O:M x 6iF :HI$+ۋ,C?_x,)/WzbKŕŤ"י y @#ZZeW>Jw$zچ1yw|Z]CώXHOQ59}rbqKGJM >䋅jn:3[9 *]r21L!W dـDMTmpM:ϺbHf݀8u|F=x:akCWmg;aM?{(8}QϦ'tĝ?r6o$ 3<ɘW?ƃ0G"pJKJ{4!.ӾӲ'ǭpۓ4V@ Pi Bԙ}bu5/YB0\.ݯH~u)f̓CEY Smr R#?iTvk^1-q< #Wxw]jSX EgECM!W+\j0Ca ziKR zu7ȴs4S@37`5mH9 Or/nGT$.,VceO&ݥ<۟9g̻#swٲtw:.dTRñws4U ~o,ό r: xuu~gT|$H{\VFgrIVEJm7滆>NPn+袹E6?அ"U-2aMOc{!:?R`.ӧE9rΗ{1\UKK/Tʛ Gp"厼J}ȯ^>Q1ԀCPmI.fO 34Xa@?WjȨG yd\6/1,CcbA$ssZ~`0?S, 1omAaaݐo"0/0#HO U8]4>*['u 'TPtc#>kH$h}nLٴt E=.p[`_3GQ{Թ(Mףk:}MxhU>FӑKQFྩc<-#J6n/A)ٟ̘* nY@#GLUM Yykrap7sSM$l\Xw=*Zyq j_ِp<]I.*"=<ގϧ؎Ƨ^+KUNvn!>!q/^-^D3g@L/,aQc돦f_ϊsjFkHNIu{6>$0 IWF+Ck'vlbleUT;NtnLphQ[ zM >p]]V8o쭓\sҀtg:0WW7f#S8D~Iw ?w%])Ux8Mm8g͈>[ag [UrP{4R؍LNE S PuLZ 5P67#苾dP %8Lse{軇LrNn "IF +Ov*_Jɰsp*̯ut8ݏê-e.C+T¬_L!K -=e#HgPil 7[&U]S(\;(Xw{f7 4b_.|oIP8AZ]-STӘԾX):6CÊ c=A"ׅ&ŵq)<Oe}c+ 70w~ZPn9qKpD )+}!BMTr1'/ޛo$#mMŸF^ύlށ ~!ڦ /bbX"s:2mKUJi-qIQS noW#c5}U¨ݠl TH%K@:ae'臜@J֤fʕZ?-.SJ"\ # u5D O!A3'9MA6N̬ڗ!1DՎ #xϹiZ.RtaۀzKY+E ZE褃?{/,DM典F2 8}€B|cEE%&kĐ6OvK\=:sY9uVPIn2p7|fʴzm!Ғk2!l=5JW)%lr14yւ? *4߬99%ajb>/߀y #)>"!E/oO?݅geD["o^w Na_uNJ[pS+rƿE *{mxtN (ɷ%-JD)\EjmOwNKGh䥙gr_;Y5ٯE&8X'HI ;EX?T`^9Hʀp^N˾t$Fw̏.Smܫ&Ƽ(/y߻7U^^XJkSB/59@ZR !- 6w4b>z(tpMoh$ҨIfJ G~Vu@}S9֒gU,6꿫+ QH6ǁiSz}_׼Zy.wIJ6.=w@A kiد3ࠤ,qo|ya>BlXHYmTr[EvBGg.k#\9TW"-s\lux3/=Ij9,! BզQ;45rd~,Ofɕ' u7q˳S0TOKֹgYZ RR+ 7i% 4MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Equivalence_Checkingdocument.tex7zXZִF! 8 ]A-MՋhvG"uIBm5`=+k![OF5.KXF-2l>v]p<;lMhʲk>D3muaNw# [Ή8 CEdLz&t+8q9$~, nTn~gAxdqmk@K(+wp7Zpm?Awyz2kXAg(qeBCvo8tH5&Oj-x$5#mQ rHG?k|u9EZe~Aa?#*+#bdYN,$$L OY4==rOzA-u εZ"ҽJg36w} =M cx]fuW1^m7&|„i7rzs#hoHa>DHťt2qI[ -0jCztcX ͷΫ\ ݶ)?f-Ў  dR8:S{$!>/-&b 3kBnD/UKN7̒ԐseDU;z*R#kp^W{1pEWqAE3.HŘ&ZM>կG?8⊾+naO`TK\ \v^ZHLhw5z`IQ HrZ x?<9> bY}c?KqS3\"NOT)KSR!sЙhej]1M]oI]R@. FT\["[ O}9,^lsg=ƨz+w}t=I[mSs1~`_^]%%4Bz!*n˩"6{l\V欢3ʋΗ_O!Vw,ym':xU3ӜL @,o▦{1WZ쒊+2"Ϣm֠OU}*^>~sRIק(G>trLΌG^ˢa/5xKY{LF)A}ldް͒{@AcQ-A>O"/?L]0-1)2MŶ}OmZ|_g`O+Ǖ%@%ocH*M"%+ul G6^DN۫jjXN#á*YI?LV?曻zbHE/%G"P^o}8cFt}6$b[ il(5DX|޶Ec;&Uc[jNIT_z di4' 2 ͥ4ZS,`Z?gy%Bͽ{)*fܭM!)2QtQհ/ r"+o]{"fkÖaDe֯z1*B\u22Z*`oppK&6$wȧQ\J#gIb ?FPLȆc1 WCʓFU.„Qo;jU_\FgG>}fPՑ٫J06 3d5 ݅w>m )5Ԡ#M~ûj<*KiKm|xYjt(WAqI:6uBEi;E7(fL(_'ї-̟S&xc*gG } P+'3,oŁQg(s05d'`ƹʗnmKaUM p;]E \0ϦuXTxH!6 CKRŮcnSMVAspǚػ|Qg{'@ZES2aTkYQ7C.wƍwc\!d\,['{Qaoȧԫ  {xMwF"c )y=s\%늧҂}⥰ȳAnb^-MF+ }T\])ݠZitsmX̷#'{QCˆъ 'T ~*+y-E(Ӊ/( Nކ4&@:NjJ!G UlOz/qx7p =N׆cGǽ5HG#٣19h́f^ *GʎFAzn c,i1^:~U3Cd<+ ǽVj{ >@+3ou[stâ[9yްv?@C*KD kW}-!2K(8FĄD"0ہF`%Q~o CDmM4 aPIwSL)}($([էC2aD;d6gBgYZ`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ O/?O-7]% DMSO_Regex_EquivalenceMSO_Regex_Equivalence.Init_Normalizationdocument.tex7zXZִF! D]A-MՋhvG"uIBm5ɳI.y*PzjO|FFZ3Ѩ, Dض4`pԽ0/mn4|zx򁽘Db ~0v\$-bk(Kb.1OQޓ^< `FUa&Vc| w8Wк&JR{❑Sg+M|H<:d8VfZ 3 C&SV4iŒ{CRDGx,s%XD"XAt;h`etmez6ƀbo\$(72ϏOs' #n 7G% \MSO_Regex_EquivalenceMSO_Regex_Equivalence.Formuladocument.tex7zXZִF! ෣g]A-MՋhvG"uIBm5nMJҳΠYV(]CBT!=#Qߤ*$ONnDfp!a%KcR*[m "CN J|_c޷\^֢̀,M(%!PylC)2mZH5Bc] ֈ:$!2;~91Z uO|G|8oծaҦAƍHx.M} iX#Ǫ,-EfzW:] (ؽ $+6e*}^ >&]~3y=-"Ƹ^a\akt6J'/hbŵy{Km-FtƟ9"F 7?% MSO_Regex_EquivalenceHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭ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ﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3 Ƙn}My}"rFږ[{ k<6,/ҵe\"Na ^Q^-0*\RK7dn9-9)4<[e&E SJۇ^( W=/]!t' RyW W$ CK0z ΒB\/@`?˙~ص!{&`V}3ifTl@8|{< VG||H pjꂎzlU ,}ʳ#Axg^d. ߝP|p,qDbE>XM]8OƱYf" m, .O) u2Z>7 M [iCD.=Lm7a`aB#o?vaW06nϰz:)T/‹ 2΃Ek^5Okbya6 cM1aH>Bwq3fL3jTiķd@*~+D)(AF8īai\ wiw)r rr7=yuej$Rj2s)B)??δqDMֈJ(B vD!O8IDziAH7y>q~ApzlػC~M;Jl(VQh՜Z chb(n`XO@h [QԈhwG-5͍uL{D1TRHY&v+$od!^rnYw`-t}! /cn Zq Oj3*E1= K ~{japz-o([B\r:2Y%~t٥逸!ϊ? z%UnJiAPJvR馷&TkZ ,&/WX͋ހpxBI-D k9?5Yclc`M'v$sweP'24b0\46r|xƦt:$qj`Wu:-6dd  )3}K]Qpg C# {,_S麊`Dqa/AHVCoO ײYq2,WYkhpf0&lSF_d,5ߣ\PtS5NU xUC; ֶ-i 7 `6u퀣t*B"s`O$4c6C%D,HD# 5izCIU!"a|*ɫ4yh i;NXz.-]݂wcp_!퍽d;bIYdtEAacˌXvу.g@\Ʈ?B؇Gj;~1",^G;;U/ ŹwA?G40a?%Hi2'ZakuN'/1,nebЖffq*zOpx.`c*UQǷYo@m`ύ0d@U_hkJ "fK"<=iyؓ !%iI%Q!#pk)fW=iaI4_*K I`ϵlIKQs9D2mfcYW[0mP ¼iJ7i%8/M&l-Qd-m6Keo}e\ wǴ4Ǿ Zsnhߪm*jp0K@I_v0&|-a}UgDF0Όxzؓ, mBI7:OUneIeLxaTzz5XϷH>o,9@9m{dR\P+|(Jsy]yts4OЄūD]Y=IJ{pn9>7èy6AһZ+v8gmF _܃ H_,KafkKv"tV=|`IXŎNńPnT'I_!/DHk!*' B5+o/<&09;rRzu3'%mQ-]1]4R,Y} -{h:` K`DTr(db:.(j vTEƇ^QSycT'N'AS·";%MPLnGwd}&L0 #ؕTpj/4 +pjg܃Q$PF|#: FXnhiEяRLQ ;>n-j&γ{ [ta݀x@[GwA hCǕ %&AaF3gg!0e-L Op{9­]Q `SQ,k$s3꼐 hb֤G%R\#~>K肰H: t 7j_ՋݞĨ]:kV=#P܃>|= PA4пQIXAɠrW)Y "N#a9]`#?yY+s:͞a앎-e^<#6@j G!Z}}ӛ0$u+|B[4T?vKl>fOx*$nQk(k9G<Qe\OPh޷^.Fh~񪎹]gZꢦN= wQ0qn~=>HOؑ x?ho9i2^=S,%O(=gn2Bգ(WX([^ sF#@$̮"[. 亞/TbhALY(6ɒqUhq3BnD TpvWQJ=*}&"͖^>9p +ɮ%ln~BPP}S<^؃2ڊIDwk zi<0uEc ̹tX|_v1ydžp?E | ,eM%̗KʖˍggDĂAyJE$eAՅehvݐ{zX9M+j0L'=wI*uDuCeRH+k j\jrvJ3iĈݹхT 2$4|xcKAMh%@C["#Һ{i'j('"VՐVŗK<|>mE0R4qXZPaա{q-m*  -˜P$~m*@[P"?%'xwd]U_Xչqɻ_RY|FDo#1 cEmlpLrYG'M&Gх_&pG~R6By > Gh1`MG0V_Z 43~]2bj"zYGϬá_# jt.'qg#[ugyJFXnyrSb*ci7T/z5 ;Opfխl"ҩ@5,Mii<qSԵKO5"GQ8?fx vK.\=n$_#]IlVZTV 职{ @ 7gbT.Q6#)1Dl\rvhI[s6r_iv:CEǵ! %>HR5r]A#eꮓBQ& AǠ* HC`!ǟ ßT,iUrEǵFZY+Rþ &-J0dCaxiA!w3vT~c+ŠJE^q[YG2kGLJuzsX\L;{;[ƙtLMt8|-C5]M:O0.L-eNst%MobGEwq{jVGT5"x1X^/`2JU kb'$)^S8%9t6yKMI/<j.$}*-1;#0n?g?_a[$ 'et80ߝ dvoCm  cݧC(Iz&Ǿg;DwdpRJȇ o"wJ'4..r 0y3HwAEovZ\j7&B5UIᣱؙۏmYvO%T޾Gݥ @r8H=qr#P;w}jzAZ8HĢbr4)~1@,LKm<'*dl!Cs_u'@}ΘX {$SHxt_A0*g+ա<^.,DN-}DіJn7Ү^He^rO\rjLO~W5>2/z@:~wFv@o~B%9Q 4sΒr+iNu7.pׅk .]` ~YL o4>gTKƚM_TFexh.V”jS{}qvU&к`2hۗ#0Vi*Odg< o M6AxPMVMZݘ=xT^!x|D'!9=Xm7lDÈ|q&2_y|x2X1 ˸~ 2_BZFhT"^nS>inx)LI& )}{[Rd9lu_T."j=+a~nW,^/B ĉF3Ykh Cql bFBM1ޢcFE݇&x͛3j⹇t޿`@ixHϥILt74G0ݢkRkg=$F# X&6覟{$/+$a"dX<]$Q 7T߬DG/-a2|:O.Ƈ"P29fE87^CTx}TAn <@+y-u$9#F"$VU7+Rv3.[ .H|+؈K5K i(/- N3ՕA /kO Oqi%c @vʤbIn)P׵F35G̺)xXQKr||R~ZrsI.ME_sh nm @}9U67㣂}' V (Rs>cpd յ|g .<+*e ,P;Z;1f('T?]`DPs,݃GXEJh{L^R5-a`Hv nH=:X&.*cTl;껴̼7M(j` q9e#/*p# j6Y鳈WztEE|VbOP>K"^t4A|qSPTѢ T+>Rs!YM$(ަLw[yQQD.RE^势"ŲӱgYZ &7G% LMSO_Regex_EquivalenceDeriving.Comparator_Generatordocument.tex7zXZִF! ๧]A-MՋhvG"uIBm5XJx=鰺:IJ,O"%vھjnZ)1ܮn;lTg 3֣V^ Q4rĉb@5yhy/ r[u+4v0~e˿oAxIsLsgwb@~{ɬCC=oB{ {5L"2#Iܺ%Na$6r&Fdc-]d\]yHC ؃0UZ`/M{{=*9(DmaضR-"@H/+Gl/;V& gIt|#Baq@a)Qp%H73% $MSO_Regex_EquivalenceDeriving.Comparatordocument.tex7zXZִF! t ]A-MՋhvG"uIBm5XJxEds&*rd%#|=Bm3Ξ. rFOh2ٮl-e<9y76YL]yaSw$TQU=BO3HoR,GN{6vIB2e PX'|T_d USj }%#m(S&@Ķً xEkwHLgmΐdYgG .1m-A p}A&]*7,VBէ̫6[<tMW:chh 6ƤG 萊hVo\Kl92A .L4 kBŐ}Bq8Lbd9CJq)Ƥ 2>.>R%ހ}IʦrR[;Eُj.cG?+0M8ipi,l܊ Gt'?>B((`A3¼[e(Ȉ:E&auqq)qF 2xT/vQ׿`wPalН=G6*#!{ *+u K3o&L%OkSjlffW{/+4"G;.2ߊj\/G,]*"cBlk[@S&wܶ*x|-~<.lj8 #@0j|鿒7"ŸR(O!fAc.<5j@E[Cva^`4=::҃ݝWʑ:(m;TNQE[fBuu> " /?;P|w!pGe8qdF'NR+}΅qM -33lK C6c?zpH˿eߪc(}o7Y$/^;O` ~L#ȿj+au.9U/\~A_v+m'ʢ˝=ۆ 8< 8VqV͔anha~3O,=7[_QwTsh"8У ;;Dq"6/~졶_Sq#Y^Z 3bV'˚/PJ itk\Z1[ #(Hym|Y"@\"HS2yt7||.G!q12+qn1`/=??Hh&.g?ROpOw - 68@=̩8VpJ8<`*3_ovIT9Ǔ9,@xx ۄB |+CIT|2Z K39v#T}`? ԕoØOK×=U@xXĹqZ:-Н'g|RtR(_uuYJ@}%{J}N|^wF\d)[b>}` Vvu!&mL|/C EtIRD$d؞7@=8K^{gEJhf $?"-04n*7u0WMXhKSYbaDՉ|Klf5Ȃ۳9+9-,6]yi؏':li۟@b "ܘg~=nq;!uWuwsCéƠc͎ݯo#d.D1#^;-T}i6i\@o'};9 w6<%F4WLpB%@yZ8N .`r8L#ߎېymZ+*RRNNfĠdd-#8 AP)9$S. RIUk蟙T[#+9ֶCK)\lBcn֮l`աSkjrq,uʎ[4&bPyljASNw8\(0r8ddWUI\r xՏQUП3{% zdT .W-4qP/!f\A&>?@Ok Oؾ?+Ї)G'4?xo<'xe +_Ycv6%vNB.`iֱgYZ'Gu_Ȧ(q2WcjԒW?i cN>yNSh9*J w KKw!uѤ~ O(Ѱ!dG~cUwJ 1> C#X\-F*%vc;C< YWN6Z(^ۼM"Y 4 ̵=3jv3WAv?)Jg[a6[Z[wF%)y2q+)RsoR/'x Lյ&htHZyn#LlDp3X;-(!ȴK<2 CΆ1k)Mw;]-jOjKYܲL(ztْHcQI.*lGѲ.Ul\՘ ԣx',8M>@!kplo|!t%K>J;r4HƘz t]&0Z}KvMALyW:$&l+w> ſ/=m|h=ujsV.{&5bƷwcrHHwiFWRW$5WY>Il Dk`Ȭ_'h fDcBUAmΡi{Ax*kħS߽peD|AaJSu뾗n$AQ97ݔ?Yu`G, ?k: 6(.sA~(WV}D}{C !ힹ@tYwG G Hܖ$Ha0u=F;Q:BrY tbҍ.woE\" x<]NP l% b;Y'.1#Z0<#\Cy~_4% + [?N&9YVwr^Y= ;t#Gn8q ُ\-$5D]p1DnKyB_8RRFo]xTi>fܰu)1?:i5Z /W3 "6Y抦-"2*{$h^wwI˜i[IJn J sh \OG z+d=:}!ݴ9s++x%;n ~43 >]F{pI4%:vvw_-:PR_`Ap 3o'= FK ;Óc%ߕ7t>}&΂z2IiBØ-JDNT6 I'/S ,XL iYMq3:);~ݑΣp66D(<"j6Yggi ]k&٦377.B*l0asoG2b Y-̨>zI}| QAX#=a ^`Ul@ͳTYZ|pt *aE 5+)E܂ޘz"PCeU_VhK(fh"DBxYqN`zO%)]]?*.f{c< ;%k+sU ysayˌ ]#V' R]^k5\ZUkC*FBJ%8.[tV8:=oM,ǪPԛ%TX ؅a'=S׈'ЏČln@&5n̝hW';UET+ `f1.E r7;jy/_]L~ﲌz<* t6d3)VTg!O256G|n۶Ѿپ,aޫ☍-e}cF>to,H{Wl~ℭ[s$-0xZyNѮ`_9;Ath ;v_zenBJH %\?̮@Tp˟u:EgfRGH CvlpӚG>u|yio>!Gvꖜa5@v `#IRA3_D)G`Ҕ/Dj3eN,%c>ʶ6YKM8{l7T؜+*Ѧ`7~n F!Vks]m zO͇÷p%JC$؊($AEWП`%tNْ&E7ژ)ݬjȓ!5#d4ܥX q&NC{+_ݮg ݀;Tx|df^?%CJ7:w3X`T<|O>v`*kH0dfDɜps'7|<[Җ44¥ďRC`;נ,"*QdՋx/ ظWMakONQ&q\M`?>LT21"Z'f)(Sי4^nEw`gd{щ/^_yD+u)?]T ~Z |)W&ajCUYx ^Ӟ广n[@5"vQ ?M k<_0ޗu*pDPv(HSmBAe{6,]ֿ  6%xZU,7 {5۶{OȄ ;-JuCDķcܜEV?oRP?uX0u- Eԍt$W?`ԙ%xmUE)B9ŵ҄ގUĉOٓ$E2 Q&2#_]%F>vW£]A^'[ ~Hq]GdEIX 8MDl;Wjj'|)Ih%ˢXE0TY9rO~p#w=|oSϵ-wΙ'sECY Ƌ+ 5=z< # ~[4f{K$[Cfɂ D~y ] p/*@8nɘ,Vރ^hTTza3fgY`'q;*Z2:.cd/Ю_YMjc#P"C=QGy9l7-ƥ>𥃹7iIpqP} LYD Q d]hxKlicgZJ< geo4Aɷ;7My1`сYn3[s]["E!RI{d"gYZ 7C% MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex7zXZִF! }]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?'U2X2Z"GSMt;s2$b'Vuд-8{ Zxh췩ZP/śx z, fx985 48h%[$AkZ`]HT+1vlwŖ}Eٖi`G1nkw>sd~aBdz *f,=eGJ6˽P#8q3YLzrXαV 2[] $f]&"@Җ V#yuHYمj=8A.+ {ɽN+Mʫg6\jG-)ue$wl?WyB&:_˳YxGz5XՂ8.fcV8^s؃\fq!ekB?/ /='Lu= ɪc`C%Ϭ 15o1ˋw$WR54r܉EhN^.~V C]?c(c_*OIdr8QٙxOkVVe{NwKZ`k5:deM3ȃ*y~ )4] O!%r5caSd3,2"0GISwGt:\9LQn~[Ȝ, 'oggN!riCKy/r?T0w be-sՒ츹6{w2.TјN`+ΤV&3,RcKJWu Ё0-MU/HI0JgfqsL%tIT2c}#TχZ.8ॴ/qӔ[;A89(=sõ|+L7ob2 fҳIr3jlj l#9iQR{ #zO dS@[VM;?62 K8_1 /Mb&R`6xInX]+Lꅿg7_prk1uY[Yd C%Ny g?K[h}-LJkϩwof'aA *HBJO VZUlܹJ{sBg1ZE2t#ܮFXJDJ9XcZֲ(2ٌ7a3YEq2P,wz(w]+á|dt*?FZw-~o >^4KvJ-“ΠLCY)Uc_`x(6D93R7Nb HM pѕ6vQ#SN±]dj:4(S4 ׵1!IT3Mq8|]}c1o/Yش  l,#ʘɜ0HJdk/r m:4Ԗ38TX){5 {-XsުP:Pn,I",)]^&, stf UU њ`;߭$W'r7Mл1 _ BvOٻbxP^0S3XΒ'.{ѽ(G(X  QVyu{E3#2$mJI }- Z#ˑ80;3L^14,[WR=_W zv 9 # 86=G>C4 i.쀅E,}õg/led9}D ?~B-%K-Y8k@zIAoktţwgoІ/@r8sXrw$zBFl^4m +|?Rv|EdձgYZ __7?% DMSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.tex7zXZִF! N]A-MՋhvG"uIBm5gq3P`J깕 ܯS7j.$I-8RI1zU"5}.8 ъPÝ]hipg+ 76+fydUd1K١5Vm kw*{>Ծa<LD~[ij&joo^2V8%)-Hg8-pӏyA^`"Ǘ,3 .а|6 `6ә|ܘ蠏:^><|-LErPmUDw'Rp6ݱc[6b/a*G F^zFWlwJ$8:Ve3!4P"p)R^U!1Wb%W#KR4&q()8lkg $ո((\X>38Ԫ| -SB'H%v !s/;qK tbXշv+Jcg~¢wk' Ruk-_t~\ 4@UuzQhޘol.Zز4@|5*]GvMUq13fӓ+j퍮Xs/XF}0l^ RTVxY ߜsOrreJ ~È_#8N!j, o7Q(jZ?Q+״yKέ+7Y{?3>P`KvA=ΐ$hyCk s k{J\58|MG~]K?XIu.&Z4HѶP6̚:<^\9M_VcC{NhfZvGS&cD1F&EX!-cux(YI! 2;]G$T>5-pN7i}vXo?$WytI҅_~ rmkRѸ֪ PcR[ Lz5LOZy-t84G?oqeCvPه]^ CNrqFa@eydRtlZΰ:~X\lv *©T6N^`/6LӍmvkVwcIxBu#2Ћ#܎Kڅztk *̐뒸ovtmiYt*"zu .L Av|dqowKuoYU<Z` Rd\b^h(= 2muP}[# EXKm=uS.c^PDŽ  Rߣ>}/h!rOs1M=i|Fȳ4"Q/QSA{f]vSx #;->=*6ޯ& & ^Ζɴc)c &|B=.Jz(q[lY+A}>7h0O7sMv{u`L'ɓPG ǠmH >j@+fb1cAcV[RlI|0]W23Yݩ@~ /_1cZ ZI_Kɀjyz;C[JuYI{痏X(8? y}S9JRGDڑ2\qhR]\(P Pp,B=ڭqV$9T1)}T82tgYZ //N7G% MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 6 E]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpRBOųxU;P>Mj(NdX̶RDصU E,Y~U8 RqgMAbCEm6[Z6S\!ݹnU&cҭ<#7eOA;CngPYhp6Re݇]tyK^4Yt޻ OFڪ켴l%+>QPy.`G<b[7?Dv J Dbʚ`物p ,*s{7|`yIqQ9R mQ^I4lZ`m0j3=?%ٯؼq: ߝBewHM݌v[}WSy5-"Z X>(CioKwmp&awq4EX&i"?Znz fMJ`&Q[ڎd(5(&lv>dQh$r*|Gӱq\H^rXJh|R%!IҲ_x].O6ƾ63Gt&,z[s@₹<@SA誄+0h^۬|F6 ig]o߄X`8 ٗϠ`1[υq?q|jl4ˀB#Tk>%6W:Op߰K"vQ= .ӡgoPԿ. ~i,UvNk"*%VHjm:58_iw!=7vp(7y&Xx*rEhKB,{~<_@"AcFDUKhT$rfLpOY/ţP4dX kq6mV1F–`/4g:p:"Y% XJ xkj dYhvV h*MkIAn MEA _OΩ±h u>ҋ@h kqP Ɨ>lr`nRLfmզM@q,k)KvnJGf g(`mʡ8_yJT$5;^3N?%̦:> ֨fF0>ZxmcgYZ+7)2\?k p4Ӹ Ǖ_bϪr' TW!pby}RkQːz$Ҹ>WmIΞg$?~\=*!* (aJAغ}jN=:( ϲ.3s(lfoDݨhL4=~ AGom! \>Y WQH7 ۥYQf\>ZYS+! MeH5HKA'.א [9@E`$8D3_ *W`C|cG?^yɚvSгEAؘa֟+}+XFMT9"uh|ԟ 4jA 0SVL G$DxƖYe(=?7=f%8šSڠkCA'eC&&wTKK.쿭XТP?~{} = Mj+ 1Ib@qKn'%R#UR'I'}6'IJDf[=3!q Sit㯜yL~E{n5bkR KmmSYǗJ + %>v' *)®Qҩ2?P3|7Iqf8a`@KeOWHZ-мS, t2PXCz6YoS%ExפȯE WFP$&1ԉ⻤ù3O˺i{?j.mUOHNvcZ 1+֣xi!Z2($^gyZv6cgʳ:m)qX&%߼G[ˡB rpK%XCmqC ^G"RՇcUyȪz~4nұ4NGgzF ϟp|rU M#w"Q~ (q} peƸ+ Ivd|V:zy23is@x4fN-Į1ϼ;szQTV=2o`AXBgX&01J iaT=s@O $R*gXK/:_BTM?*ڋ?bBd>f@dӲ=Q{)}tM|SGX4rОNLΘ\L崨Lՙu8~4:ч3%\?m;h! :tkKoZp!7(alT8bpr(g|>oyv뿀]|2\[x@)q @Na$ ALWkбx=/ 6xi\yb<0@˰r"MCy pݭgyX7{wAn܌ Mm1?ʽ@"ɞ~KxSӂ i{<+pSu^/(qʧp}he7ό.XSKF^ni~^ Ζ*c}Z?:{l+Lڏ?ˇ7Vy^s ?sN٬Is\b\s@X,AψNiㆌft[_v ma~]dI~9NTN"`zb9F/ؕ! #j[|훡 O'% BI:jЄDZ*[G&8w6xIv+t;%8\_\-ZJ s:cgJ%Fl_dh`4CQF)?r(9a,X$9\ך>ƫc0pvNOFD"^0vU~ow7GtGX4۰{r>xC'U|eT 02J:藅 YYjz _}\߄-fS_H5Z&|ʬG3ֱ(TrD BpGJdqܟV"!G\=Tx b #$TQL@:y cnYK h̢)юDvמd)]-;(nPR[3h)Q9m e-:H3ܪ@ 8Ar$5 m x]E*E(WuǩmfܷE.@dゟ"TW*= I#+ALz)eT8`ȟZvL:NM7²huhe[YB*(#i.O-A]RV iWowd }ߟrj esxlJ9~* DDyRe@PG6;@dh.=`B8G^2ɟHDfY,#*hr_k ޞ$b=aSdC[y>ʀbZ?y vy.K5+CG>{˄DSUEV)KՁ5\u3TuL2$5s_ YTmOU ^ѽu+M+:32xF45iizR:w4fwꇕRk>֖'Z ^7륀E3_/s\H[DƸZ_=1]4Xc"%l A4y&*e{s#9fwGrnr S,XT"q9WTyV$C&%I\qQX겼\nE9s ^[b'\&};snmU_Xٛ/:FL鍴 -.PXsY%v7OV%- >i)6T/=6JKö|2WUSU^keB~2\Ut)N6|T u9duu4b+FR4/I5Q>i%Cwf0'yE7( '3zzB8LLeH.brϗLaquEu 7-:qsuo엩 .|<ڦcOfwJ|o`F=T\Q9/Zj Ql?Mz"m~U=z^69 2EW1/̨ qІ!6nbRv$DA5$ i? ]Ŕa6r.0vF|7^>jǓ%G85::~ 'Ʀtpe~XO*5o<Ӻ'8n6̑ͧ-+,%J8/c:׵N ?ˋwO`Zkl3yG yT1-6!!Ө)[ L-'.oO)0q]gwcc/m|Db5 MD{z9jj#z^8hL޲%ţ]q$<\).mB'5\r4&GI^DmB0/bq ݎLDc-|WeJfMW O5 \/E۟0iIBCc řdߴ!oN]ihjs+לXl|0X4`E'M M2{׉:[C.31W92tbV_0Nf-ǀVYZ](@C`{ң7ijy:BclߠMRK\ђEABQa͘P3jKZq'ع"s̥KgX`fرbCU>VGqNE)g=m#`2$_@eZA ۰"T]IjdgO NϏ5bLT,$V ]kv$BMƜ5v![̼=5b F>zLM2ȟ2^vFro3QzJL Q9\T~yd-063_e8P^Xݛj \ GֵNHֵ'|L4&42 A,U6 l}X˄U9b7tMp]>w{jWDx>AhH7}ω"g5qX'G> }$Ȟ,AS$ ,hal嶕X{~)*OY%X0ٱu+د/nghH}).2; ʩqvgӏRh$'ޣṣa̳lbrR‚pI}[yI4@B "w~6V,4kJWt gˎPnQZ9nrֹlϛFP.TsL{0be_ s XAg9#KR atCoTte [4 $8 tEv pĠQ^d+`uzt \F ^Pꌵ' h>uǣo){-1 Qci`(L4v?d XN1X?i} n%ϙpxT9jecɝܔ[oT7]R6T[v͟140*W؛t[G# 8iy$JܬMǯA!N42EclCAO)A |V4_F{ܶ #]: ꪸTU¼_z64[zV)&Z@\SZ9ZD&5[c_o)y<* *K=aJug=$Uͨo] {SW/Uq)<";mݿi8'9y } h/|@kDQy.+ 0(4>Y r tj։i 1AtY,M!Ebq[Z@A\!sJŔ0Z4g>r.?5;ݫ=Ś3_d`s,rAh'&J!g?1јnk].&>ȎTtEoqۉfqe% y !*Dul5CB*y=z;&N# :+AMi goh.P%an?xWA[8Va$̳չDsA4V UMtMM­5WMQ[`ؘy)$")B,F9XjwAE@xɕs}`Wkq I /a s萅'ۆ `+{ezkȥAr<,<&JO .賬wN} v0QȽR][EoUNݼ8fH?3R&?#U@i*@`sd`qX ~o!ڞ}8 6=zU+`SubU飔:TX:㏼~:1gRӋsܦd`liDamJh*do/ = /% >`gqdNq>m'_1BRW(>"Տ8eBJ>}V-i$JA H5q3"{HJG7K&cFzko/V4Ns]F行h[}o_ w]$ rr QO=nPC8JF99pHBd2eQNGq,dv搠{/n% FZh>_zssٯt(xO&u*C pΟle+3co 3Xf@\U٥KU&dpn{"^ Z6Řd>.ќTXT*lq8p~b<[ :rr V2IxvCȗXJ@l⏓Rs ͑'K }J6gB*=Aoa r|S E+hYa]aj-oWL! 4[7eI3{qRo;Ž`?~{q )_P9 iR*7s-iY\ϲ)Ti N)ϑErVlJzuˢt#F~L"r8?/̕hH8y⇡;<6Cy ,Piǡ 7Uf&WI|]L7,ƤjN3H)_@LO4fSi b l\_U*6=s%uXK4gE U#̃h > ]=́VhYঢ়9ڼg$ le90q!)RQͯyp= -v11S m% _"FND  }趇rpo7$VEYN3!4 Vxe#罙L~sHNn'}dHAm1QC@(=f^>KGd>P{ų9R]HJ^mTI\g,`cC~mq@Ez"jLkxXV[!q@@ (Lop7's]i#pirْFJP~P,QkG@ f>|!p ߴk]a _~*t7e /)~Vq 9(rUYbUk)I0KܺK=V,nNr ZJ C\AcW 2--&- =1H(dȈR%/\b69.":^Ƭ\eLKt\(GٸeEp8H+Zƪ uWRLN |m5س^|CqgQ;8ۦ'Eh ԬzӮK(rtu?s <5hI8/ +Y+tf1*>9V|dtđ P%Ju_?iGK Hhȭm@"+R>xaM%Jczjh9郾ZOD4 4T`ɫr \n1$`D(tr)`Uo=kו~d1meHyx^#s>_P'TkHD?cĺ}@#="׺+gM- a1),JD 8;8nW*&\}bg:UFV%FM> A?+XR#cɐ 3MlLCX`t=Nɻ4nP̵",SP?`T.-];Xn؋h7YX+2 \̜vDT!TՊe&\HN쀅iNfFiƄ`aZ>TU$P 5E1%|$1'jRUJ)`UWM NH1G(/vȟ\-ӿN1:%`rL7M ;ucnaG<~um-.^?_TMLFZ+q%MSSHk΋I'S0 A⼫ =jxS1TY֡6f:kҼx zxnuJav7#*R/E4# ,NJW:ZT2a9Aڽ%EU;-K 8+X}A%I/5vBbϮQwⷑjb߂zl:fqq8Co p`kޏ QaLFdE |L1谤a<^Gg1X#fu$WX-$|gGU]v?`^ /;tnPXyc<ͤ^"1QDM&8fGjѲu8vzOH33yݿiڅ:lS9WmƻH@ְE<$$0F*n.S>W髣0z:e@j6XJr>YtUaҹ s$?ETة gJzKZf.B8g <7c7;lGwA e=%]ർ@sHQP3i[4)/ WdS$_Tz$aK/(Md~~ngiɋ&5^SR ;Sa~Nkߋ҇ F㴏ڪjBTTDB BAno*Hl#@mdV5vg[K·7ʇVw&⒞IVw kYIΨhI:b>E mRXV-foT.kFf:ruQoGF.ᮛv5(.71PZYɚ!Jͽ6]1h_(K.3[,H|uU)9B.$<7\Iۏ~̜i('Hƴv2y!*8q`u:N@$:DOے RIUWHHk '5i e9PSb3G]XS3z6f>DRYm\mIH+t:w/\w` !4K3*)6`Ŋ^j\g<݀ ҾQaqE=$4fҙ HFLt 'KuaG?Y;gn= SѨC9cnѷJ=e3:vCdJIE,{5w> -o4`@PB_]уXQ._4ik/*]xA%`Qj*l_;a dڪ6Q薾L`ΨOȧhD#PwfAMa˧@`i\RS9D'WЈbIa@({\zh.Ac+w.{6!: *vK;4k<T ,բ jzBn~Q9>>Hܝ}Z{wiA)w iwQT]FF5]ͦj92h&MHt'B4ȃi6YZRRUNmxN0hI*+ d̋ю1\^"ï$t}G^0A{R 6yMJm~6AsCu_u28vs3~ﰸ?TSR8cxCba4> f")5ϾAWA 1ɓ) *s댲:z Ș跙gk܉d&yHb=?MTZj ֖6\W$W Q*Gyu^:4U,¶~g\$l&_P(/b05zupp~>ȞOFم{'XΙ1SdDY-Tir&e4Cч(2AoǴ2 $3cZX7+q3u`72dλP-Zgg[uRUX%8?3Q$YӲvZupVwQk{|Vɍ KQu)r¡;De RS/Xq֋HO*08Vfh$ '|f[V/ !̨FC|{0*6Όu!1"5`NH_Mcvk[a:X_\0TαyD iՓ4.jlr/(o;wƒ֟mzYRs,GL}m-ӽ`<Ħu))/ SVC$`t72~F3~ȧ_/+&(zŇrkGV:/\ fw!Է$Uwߋ0ΣkQh+l=&I/jp@Jdrsn,̈́Fz){Hf*t Rgh]qTTq 'ݛ7dǕd3yHŧ1_:My<ޏ֧D5C`RiX]@>Tʽ|q Fqdq $Qctgcrege_E;.؍6LCvBΡ߿E$!/\eQȕ$#_:!8j@N`E>-ad4Qتr `\]7_lᢒ6V V_`g/@&mBO䖌\K3zg꧸rr` '\gЎ4eOpiol"c"pE2/}.`Ѝ>gO(> frV[ᰈ^Z1л[ƹ:gb>ꅇղtU3$e<3BypjC#^Cp|ȊIR1¥N$h@HuسBjyhPje]k;L"As&| R>*⍤xxAn4N'4}zHvj9pڒ^*jh 0-&BcITxYP S["1b}Uf@X d mvyGD;\繭eʑ_2ښeYؘ8WH{2)_$פE&"B#L,u &f [*bĕ5R<἖Awd/5Ǧ~joP$d ˝4^sn xBEƩڻS黳-PBH"DmZuN+?sN7/z ł+i>)Hi>#~pU[N #賒e\QijKR_EF ;(Y&WڇXex4Nfs2+|iH!ĐlG?e!8*!bHT/^MԠ?希iV}"i`f$oy+M([1 8 7=oU 6]bym˷oJl2eg .l=9ZbFAm 5`"&nZPTG:. ȽfoG7'?&}Y.dmC"zM(CSkPIp6[EpW4,cemtv3씀ѵN<%,`WDFz 6STCRb Šq90 cYF;UՓ6݆>͢U'>PCi_Q}djdQDӈ=@5-n ~݃?wAۆ2ݙ`GwAU|wowg2SJO1lhSm\9wRxRh/ pY h562BuU-uЙKjcFDMWN_Оѩd8t\!4\UӾe5 Jf5{c/-m>\dVT\]L l;fzǖ-H}S&*$J22G⣱6L AAj UՔYUc`NxSwktGa"a7K;{6#mJ(*%HY>*>য়ĤZ, ;{EςjL>~*ňWd+|=AFHyqR%+Yt{uo7>/!7 j%rIY,v-&]ԣ`􆡼J;'+0qXɹK ڲv$A|r=VT? %D )Aea6 e6/*O<UhM܆T^Ъ%O><%ۗr6o5|kȝJ o^3"j~~"?82?0/ mȀ#fMp[ǃF@ъ-W7yȊE޻XN^TLQ- >[.>*Uz-&!;}^LRzV#G], UU_STW> 6SutJ1F5RX;BBqG}x fS ҉/^B W%2>PaX5פ(WAvdrEYCHe]rj\ Vyo^ 釰xAyl#> XF d6z4Ο\!' Y)jRC}.8l8+ym"Ѫuw^ˑÞll1|Zi$xz8"3ً_5! /'9s 8ݱULs6FUʰ|7ME~cgyM "VW&4 7Sى6WOu9ڶ^o8<-~;y[})i!d_ }@EEA}Bew\EcٳДomK#WCr+bJe,1'&KT¢Hǭ.4SԹb Bv,0C Z#Z{Oa;|9<|(nwnq;E7ƀwj7a$Ku3[]‰=9*0V.k\y B`sdvʢD-ΜʄUTYfO;7P:ӠnF-]gزh~'tTZߖjhf+R[BGF#|C_py 0tyM_Ys.~omraqAS1 Ol:ւ }lTA-ABq<PGj،:*؀q+CNСI7c ;( {HZ<:|@w|+_VP}:OZ㨉-H@0Z<%L7ѓ۳"YWO(FB[ \BuW!F~q{%w+@ Spݓ?RRRct 9?n,*=]-Z~tH6 f=5vD/S*+ZrDi)Q/-# <+ͅ4z5qRTك}7C|OK=a]aWwii"oa\Le9+'٥8tmqU޲mou"S r7ObN,'XB\E{ez凌U6ëRŽ?GZH(/ i B0\obkcp)[GIP? v\OVFnEGO80j+ |k&䊧<ٌ!6UW`e7sp +M9PcOb9Zo⅃Fp]K{v8Ljȁp yFlfsҮ!9G3Ā2bXIbaDRlޚ1lFG<)>n>dANPRS$ +ݴ~Ƈ,ֻw+mF43q7\31ApO>cEHې=-R} :u<[` 2Hh4gVۚ}ޑ"Zm,Q_Sj=NW4gPgku5^@溉"<'nEjF%T ZA%Ŗ5\qLGEae_Va2}apkI>F">I Nuh]2aKQA,Sb?xDvXu.1"RRS  ]a1SiŐJz՜.ŵ`lj;KᖜJ_WOyf:Uah-{:qic&dyx D)]|P[[IN h4Z/jbxҒ6݈9:,m=*utg  e뵳L@ ^(0]m!KD}-JnPyQMMK[ʍ%"h22sPX-bP(ձ7m] bP@q.؜A ͗1lPE4_צG Džϰs=`}r,.DYsY,H@yä{-y*4.b>Fƍ?Ipvᘋat92[U> 0('=ETlw]J;Aw5nhΩU}i$%ߍ /*j{O_,AklӁ* rVZsMnt%d]eu?[3{e(Kf 4K4w$W.>taSgA&ӟ/Rb  ϬliEQw섀̢#FEF3IPO6XM6d߇ժAΧ6hӈ>o!i98"3KUD1 zTI~UPHGHe25(|C-%7ƲsM b8%(ƣ,Y3na?䰧E@ ͛e-DLK:l| Y´PzGos{9P(uB4" mN;!sӆe[p$T /޹gG{V&OŮn[[|*hm-V(3l,J%zs,Hu ܣӽ&`@ҎJ9?h밸F)i6OeaLl8G@%FTS,I/AdWgN5Fّ地[saS x⩨;w)0HbFmQ.aa_ȭ[[_@魠)r=VHE! P7z 3 /e6К]ewAqjaT?Erw:?`_jɔꍁ&14=S' }] }RTC; ts<~~ {b1 O Du#%=] f#{Vwghi&MnXQhc-7iGEJ(O+P-pŢ7d@ 4ѿm/t8ۺlv78s T "Nr _G57Rq Y-@E_>P3@Y=euǝ/".Ti'$-O{VrAbn7u 3 m]s|gyaq0G353SP&rM^A;dF`>q8shԼg SaF#c_AA0rl?Tf9 ]RD8RN|~@Fqdކ4W`5 t4z:avrO+lvhFW6HhcpFr<wdO}YgJ_ʛBn& I+㈔uW!r0&$?o5ص8Cdqg%pXmFsI9KShl-ǭ\ۋ{)MFV.jmVK%g߾#GՔ@4urmbIr<\cu89En%Q؁)wP ~UCz,F@TzVaՌ,@w0,\WTZ١Ӆbb%cMuN>@33\i*+"si2ݞY f.| ;WۘY}hlЩiiF| XZZ8߼Wx$b K]ݫ+7MRǜ--ńڐhTiƠ .1dQ |#DFܱi6Lռ\EVB6h$d͒+bikr~eFZpX#c<ӧ1L,ۈcHb8 gSomQa1;>$ r“O54Sw/ǧOW0m ̐ JNh|6[ijnu-{Bw%RBq78.Pzl슋Gx1̔tw_#ne;h*e` zt(!'&5hpL|;fdӲ=Gpqψo/%P@K&QkHߩn;nτ Qf փqxHEJAvi)?m;)i"-<UBmuv1 KjaQX.,=G 2B|X|ڿYK۞WMi"·)И!)GjC$ +rP':z˰̞1e.G0i~KC) e2ʳPԈ/):`"INg8ѳ7Son^T v Ek^88& VʕXU'T^~wq)'r^pMoT"҈+!LU 餭 E Fr d 0wOd IF4,<njbE.|{LFNE<Ɂ vKsu98x\m#`2̚W1H0WS C!t1kU;߇|Z+Qn&M=HC9M>G!/ B SuH(;JE%j 9u~Bl⣔{`1ծXpSHS X",td2Dfk?t ҶӸK{cb?<:9|Ge?7b(įfxey3f J/;e9 ZBjfV"\cd葑C ļ҄ yBb8wNhA~A(>i0b}pZyͱɐHl>_+Z dfKNd5$jR2tnB[ܺb9\2 b%]~Ei{vn z@SlC!|cj~ݻ'xƺ^p\1p딸Ҋj+hErak%aT_+$OH;tCQ:{ G@NH(OwbF:#Fn*˨iUzk803I=Dm |G'(W<ɐ>3S B2*GqW7!LKRQV`Rn12¯.mYzݨ4 LjMp:zVxI9[k+]{,¨v {?čEG zmYL܂ZgHe7tjL_"~k+"nG"9V0ٔ:4fq'It`h*HrU6oɼm76/Lj (k]4AϱXtE0n2aYl M03ȭKxmcWHe8WgZW`O.M8iW)(/r̫ BKkz k5uո9CU_in(6Nȕ뗚D\1Mq <,}zϲ,#_oUMaFD0i?&úa9!Ipsi4FEK])=b#ѽDҧˎ4;iݓ?/wc#dc)ndx kwwSf9;w珏əl.?)=L,xWd ;y~}QV뉫_D2)}T@ 5狴j`$K)CrNCŝL*H FuU -Xg˵.A}HQaZ47٠Cr\}hw9F8hxaufۛF v9$R14F`gIMZ21sMW)dxV:y!}Z AQ>޲ 9pLʉ@OZXzgB- :<'G__rѾD'Qx:Ż.@0ⅳ3'/$Zm(l9|oZDzVD*/_y~2e$"[aⱕt e`{rc'ic`֢(Jy9sۆO9U\QϐH›-.>|l5 c@Nʱ`rt$ T~2=**VU  1Fj>2*  s7A% lMSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.tex7zXZִF! ,m]A-MՋhvG"uIBm5XJx]4Ź|:\dB]gz$"}sxI{K;o>}l۵ۥ;܌9; >C4:Z" 8KzW`<~@*%X?d}tLgJ [rM,SҠ |A#&~7?Y~)IyΤffLu_gjLإ͸-N盵G=DL !m[m:pg?a+}WXN1Gm 6xE ӱk&Bm,Od)4~њrm@?l}3P.uPK.cr0a=4UOv$\&pHi2Azئ:*q$F 'U\Oʡn/AmO{jON87L7':SKnFp{:c^*07HxרddAȍeQe8lչT= fGPP I]lp(ۊ22W&_;1@oٝ1:PO8SYWCIKdDܛ4٤~SgL~.h k99qܘf:l<&R` 6 ~Ӂ &/\|gLbF;(W$ŷWH`G0 -Cv ٭ے iQjt{u#zڲZ;];t*10pu<6,$Vo'MHœLW^񆂾_9 xd ͖PYQ (L/Sm!;E{0d)YPU,QxWg(E 7DE1gwڷTs&?)}j{3z0=x_hH`>щ?+̥x/z`P0β+}D:)45Sxl}D[ #q@zm =er>5[#]vu Y Y` *_R;)F*Tx{0+Dթ?f|`D`u-|UF(dD{in܇9لgJU'c(]jFt8KNߑm[s#jJ>ìfGMuG=E'*GH{fVb'xrcg%"3ޑ*5Ȕ/=Aq3T&plBDkoΒKYO "-az<6(Yss+ I:='Zrt'u$~;>H{BGפ$ >T1H#6߁ P`:ZZ"OT:2)AMؖ3H0K.`iӯ/ţAϬ&H OߌuA qkhQEH569̀({Ng_UG0> >E -> c:^Æ# Q]s;&dK$ =` ցJ񏜆 wG-yΒ%{5/p1H *G UOoZ8 X^f/n\Ou_0]M' H,{$=N}1gUY(Lb9(R%w&NÁ22y`hlMj<ρABeݧI$nTЁH| [!N_N#PL$SJ~j*@RvnVJR1M__{r~K¨D,2-ěu)qTQa1^b:f:@TS&f(tH}Xڄ%.ϤwOLg=AZR8u?4Emi&N"@رgܬթvODs@ڃsa䱋՜5&eJ8P8G묂Q6(5 ILb-[ ^Fs[M F+uR+{  : "f _a(Tp*vKiNii.1y!Et7]Nڎ4gꠘN7Iϫ H0eRmPIO!]rV#lD-EZTM$:$~t:i:@lߙZP\f=>sM,VCq˺'G{o _FG<i/R:zMׁޣB?;[d>N!]9gYZ @ @!7-% \MSO_Regex_EquivalenceDeriving.Comparedocument.tex7zXZִF! &L%]A-MՋhvG"uIBm5XJx`:R!jIKVpQ".0]c4~Nh)5bz:Q|wg{C)L;,}?#&BF0L%4"R;˳ׅ9݌OgXy{gS¦.!e7nq;ZLisz=swi]ѲA?fWR6dT8be={ukEO&U쥆]y2PS-Nyb%pi[MNd߼2\l⼃=vDu0»"i}Bаi;UFyVˊ`y!RMoZA.ҷT:Vna7"tDKAAJ`8v'JlqDN͇ivu΋[~kg7~O,9e0ド{[}IB%p*H΀A@7\O t}o=?#L$E~:7h*π>!wQܥL*[Owf" @inۥdž79~KpL!A^ F~Sv2sWI k= [?kLmեnm,. 9F"LĴkӘl_đ'%7k4k}ڼ{򈫎$1`hя39cl}1$Z S)kGm7Ty0 5Vx_WUۈԡL^ L2˻4}Z gl1C=cbgvD(>i0dlX<_kw*?l2%su7r8\ 囙[ʽAXg3bE !t37ѦWlJ|/Ԙod0\Nh6xAVظ,nLFFZ%jGd>.G$}3z6anAb$;]wPDqĢ۶PXIzC<Vw~Ն$Bw tA^O:q[eB8u.Ze-1'" 鮇eKqWԆ#aP"?̺ RNd=T]m@]]'Fq&wqۗ"St5j+wEB%ĩGΦ@R$MZD_ 27Ȅ'Wo\ `B1,sҡC/jRZ=}Jz qf`%I6K~%\{a;7dO3L(7` )RCz HK4#C5M3уg+;{m3\yNcDX{eܖD7(sZ .cY~iK%1͝Lv[gYZ7]% MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Normalizationdocument.tex7zXZִF! *,]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&d8|?] %\am9P4Z3+KDֿ@`4>靓0um1!X[΂Ŀ;,mI5WD&RYLWFw|6j#Y7ts'n#x'Ҩp&<7A0ҢݒH{75"L|Р:: YckIFU:Fη0TKB)£Lm\p6*ȼHBKF?bD h{NhW~ 0o= ɧẆJ5Z^Ȭ ӑNϤ)pn%A?gdŅ[gY sg\GA^!-ٜc9;չ2W )0+ ţEEضo[6hBb""sP3(ZDOEm( = wꏑ%#Hghr{GF60Hn p"X_Qkْ `eNG WM5?oXOn@#n3FZ HsM^$˼v[U/,SnC0eeR`_| tc0 XODI;J a%s?i5! m͚="B9GeC5ނ0MS(^u =[SQTC:@=E~ER0b*&K9cp--! W=c_{egd "<&ˁ/x3uP>LME[^TgEid|CXs@"v77N`liCGs(5ԩ7>~ I(S 2ݱ]N~ P@'{~nʟjq箉DJ9J@*qs*% NX~S#h/`4 aa.?W{dA$Tl#$2F v[CgEG0<'77c縜c0sɥVxI4[|yUEΞ{z5zB&3%g6 N9wGʹ%΄m @CۗRȢ7iʼ}pH%{Aļ}0zφǺÁZ H;,{x:'1F KΏEw(ĖqC8ug$")q!ʎ E/5BEDd5TqzHH{:ZD11\qwtx}Atp#mVK3Һxvɝ%Bm»+r6VCG##䱾So9+ޤ)&EiêY뜚%)sbN5qɆ~]]]9c^"ֽ~k%2I8ȡ8 g5 ,Ȼ6\]Tk1*+"/a'] W eΊ.g+Z"&8;}@",1qߞCյ=;f<;T\A<%mQTI0cUOѝIɂOeFm:gGM7,, AW=xP^ָSA啉[iV<헕(fNR/~T ۖIEmB3EUHp*h\8)m[_-Ȏ,Z(ZD|!dll+|Epؘ>ǀAȶLATᯍn+ #k>U""l9N8OY6DWPyO o*Z*W_&?~ipɥ겕ђ 3|K&\/5ܑz0V9 j6ɼ^ECimu଄Y i-W@ nqq?g|x?"Ô g1 Vaҹ1f<'בarVboٹM\]~HA.\';e%'Eok&  p {2BO\{,X!?Av J9.\<"Ve@%Wg1o2S!6/Kl^NIx֌zTFߐBf<] #?Ȕ=`'M uTc׋@iz!ǨjǪ<[1&ˡIF *Bk^:Ym>=b: JjXj@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZ 7;% $MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ6r/xQ 9regQ*jO0U>S|0[2Iz6K);gL',VFa/.஋hQҮ|ˤ"1vnJ5*\zv|b{xn6%զ_!tzU_Qj\ei>Y"_G <1( 7w !">҈Ե$sl_CDqt\%"OZM`P2`u-0j1Ϋ: {x?tƎ{ YoD2 :Wʭ}sk'U ixWR2PI okmO+*Fn'9q3Ebl{nj5ٴc0:zN=8;[T4yAաY+мSWF051V suR:8<#QSLYjOޫ6o7Q2(VZ\Uy%nSIhW5a:y 5aT ߍdeHEe/PPlSاlؿhzi5V"{?BI}ȡI[z 8)>2Lspd}B2F5TV5N_ѻ*բV4X\ $4Q!eo9A`µ:^i.V|!5^J8Ȟ9[`o3!x!ӈG,"~xU{'b!Ǘ~SN#%f P(V,hCbN k@X '@cx-1ij un\)o6HuƩ'8ZNnޠ{#<nvhR_H鉊( j % t&pFXy"T6i" 0^ձ*sJ,iR d^fwIiH \Cg=8-1]Ws\{z@o{Ydg.VMê//E+!I)PAدv8Pd"o$Ϗn,8PAY-{b 1J_i9= ?Y[ECbW “~`62gd jպR5y'm`T$ܝS6&>'Ns-,Gવ&)Z g_H\3B'B)"dMԩ*$YmBPU}A*~ ?u&*t|hhV$ {Cl>h\>׼ +7M({+67\LEp3-L#=Ӽk;59>dR,ZUv- fGОBf'~:&˞iJ|"G3 1g `os꼲c#esw+TP/:؅W 2'*-6jg}nnV/jmF/SR@rHH5$ry53)@ ;'E$xOH «ˏ n.Qw+鍘հɇ@MԐqYCnEv[veA_Qjsukt\qO/vP#"H 4N= %ZۥL Rl8ŕ$VK7GV _ja3YFt=yb漨&~$]S$ܼ8B| ǩi8Ȱ˿+[^ $Dk7 ϋ;Xf/oLR @}Q⽓MH(ɐJ7;snObku G=T)dfW;&4_5m~éz?լE}B3?[ɒ\M AHy,jZA;"gS5=nWBq0"6̗Wzp>bF/u84M "Hd{$;߃ѩZruEe{ TKPAKZ#.s7Vi0Q81=9FApi#K:Ug:s[ :ğmR5LG4t,CU(wP%j4UB[Md } &9ӢnΎOA U6`ē؏eAY%lyFlX@aRU!_>z!V̄tu(|ڷ5ϊno SǧR4Z!D9 shWV a-83'g@2U:kE2xQ갣N1 nWH@,hM_:@\rexni66_kּl2a[br)I؏;9Kf/W6-V b25S+FBwg%~R.U@wQ^WD *Q`5Hy_s!`A9ǯje*݉YtSq=F'Vz?yy9 aM6+X箟8fmfjx7̻"U2$Uyp;Z~ZnDU=g>fجך%@g_KL\lDԃWm2e4[-ML&L1.ҋF:T âZ 3c4vHЃH`QB;^}9 e#H>q#KϗaC79B7c8Rڃ:716 Z- B!IohJlj<ӍmL_p~+"p ^٧Y&+~UX3龄[jQ1,ljStƳg&%+ܲLU[+g:bl'(U@s)pG?/dL|7bBSM|d]P[Uf 6^Ndw1=v)Ior_ :] ~}BxL^\-:w.X( (klhliaKx)qQw,?F47{ q{O oC FG5w0!j_Eʭ\X<5bV]v3|ŖJvxƈݱWv! IJTӸGL1ͳ-^Wix1"5Me1&zF=o2E@NC/$+'SN7]45vn|"gP4+*" $gq| dtk$dk H| `byRIt,~JS㄁glGbҜZ|V !vW/W-mG6aFG̡CPxhYQٹ )%xW'y,\kH57p`w\>pL4 9Ϥ("#6oΆ.vHX#g% ^2LEkeA,]Τd/tv;vd_X&g2gYZ7zXZִF! k ]ŗXiɟFTp>>cP$qXLE۾;p{xBccrݤ=XЋd"PXίo-JIJ+廻/A[xupFQp 4НGS ʴ6.*z5crDMjk HU:| ]Ń{P- ydkQ]Rc5ʖB0~eeCfXtg̭8s۹{jM3P^WŦ4C\ĺw~WXM YaX7\m&pX/U{p/21(gܾO\>#Q[:¹LW͏kuc\M:R>_ڵ'`%bD'yrv:k хiN\_l3)]З|ac z>ioyl05 jڷ2pִva.aFz^IjzV:?Jv*Ȥ_) ͗uh(>Ng2Y~*KwMF[͢CNCkv%8o~0 TxxUG qcd>O4$WɧvS1iiR/'Sq|ڀlxQBRMWEdxS`Z=D ; |Lgh>F圆vx8iVD7"@{ӓRR W eoc Ei&F&?mgYZ7zXZִF! Rn]ŗXi%D1 {f:x-*4MBGp*8fiT' \⭹D#"oVLb}h:xL}0ΆKo։a:v@ p0K8+7IFldK!\O>lo|ޡAiC 0+7a7GG+)t|O*D2W63BFe;7q-)W]7D(ܥؒ=FBDf<3g4Ya : 1̀g@KAnT֓fXCxсɊ0*?p RbͦBQS;J@c-Ze\Uy3Y.cpIm--}O~MDrTY! M7`6kY^{d ]6?X_x!0TdZ;gEh~_! eUNE]g wbfs$)O95 ޤ#0:݇ը&F4?ahUٵq;:"-:0Cy5N)P,`-@{wXR.dWNԟuby4loj*dH+>7>͸a[4#v*f}W`;BEXV+vZcNڛlzs[|%Nմ7} l^%/>UӘa)`OůYB Io X1 ]uב)TqE<\f\4~}AB1JAdQ'>Eg-K-+yIݙ7$YԭJy9&%O ,[B!X/VDe˿"E@ǢiЋ+I*H4il>52Nv7n-{w݁%&C~]DKQY#j\J(CJMՆEjoth.z6M?: \NPj'ܠl:S 9?wZ?kSH  ~ }APt\zE6]ls{"U-Ywў' Je ԥ+$܀B y`#opŦaͺK Hp5;B#r1vLF4Ê)reeCS|R'O ;4(-[T@rVzky,`"%t@vBG)ȿj)`BpsLZ9u,h[5dT0*Iߍ+M䙈F~9Fs{pN2E 诜x?jl_H}H!9ljb˜ c5JEK)vz|;ez5g@/o !5}\^Ѻ QEhSK]>LfVa}+F'CK= -:aݮ6îk =)E[$}v-z|nFӎjO@ Ns.J[F:aUz{` U$' 8ul/C=P_A~NC- jgA=kQ'.Qg[֧f$6`7BlP'ZwZs&e=?W lGԾC4Ǒ]Qò{R{iι-҇އ"`S'ՕK5cUs'OgDD'`L2gVYbNmD8H+i|+ [!}m|P3xJFR&pϕB]BXQS,cDAGQߟPHΆa5Rg[Q>үH|e.OJ0ܡ6bc{Ŵ&۫"wAݬ0rI!&7v߯!psC.C׼_>kUg+܌Ψ:7Fxҹ$aN fRW (8 ebΙ9NpZ:hj}`{y {tH)tN&$j+i-D@?T{\]B }ʎ*PD *up@@QM%M88t+‘*V. 7!څGR1F1Xv]t%`eU*K@e_׽+nneɞhz^`7C=z,w")/9>9jzw}z2*2 ˖ܸN%YIы7&~=o^7ìE}I(yiňS'⡂8}fo>NVg UDPi{M;6XX( 8r]#W^DNjHYg*-C1yL=e[p>(;&\d4Q[kHmjtse%.n{WfzDasþxLSrGS]7l+P[*<üPV0-ѻu\X|jogO~!& TʹBuwlpj 6^XESEgJn fBq-U%g^x( ~d]sK\cxM$VxQQ6^9'G]냙XQj_¨}XrA *:%͋FX<?IIљ7+ڊ<:wD]?as; YXH\(t'^;[>1u+$֠?16n(` 3\FM[ $sNK=_UG3ƥ'>G;Cvs?rm yB/=Kqe}] TEmb0 7ȇ[J# (x܎͢c#QUKɆJ=_JL# x5wJsOF+R!˔W[鰠֦iT"Τ9̢°KC-ҵu׃?#~ۅ3o!, (pS8KN ud =桀vƨXd,uO{B4Ikw]ZL㥊0=u[YM~c-0mH7loi.|8|BF(;. GUrWo2H;&.HgIU$pe2 t_U:j<}HfSų+*\la*MnxTm4/Jt&fZR=UбO#V`T&F s7 ޳/o8fe3!9͒f uh?>`2WNteɔ' ya)rmF< lʎg)9?K^[MudGyw*oJ< ԠV8cL ɡ\RG~E/3L(cmtyJ@dsD${).P r K[YWOh=A_' baG^.fؗ- %2r3FTT'إJW[~GIz 2t;Ʃr8E7c UYH'78%ňY+/~D~I7 Yg` f/0 #"Ï|UQ%{uI%nKAfZ*PO>X/b<;odGq#p"`5cY/rvҼ@Nq<7l>ӈYly'H1~2z m+\&ulXirYv͞!drZia$18rH` ?;zFfyA=7JN06lלu4M'sEUGirS5ًKZUCo@W"e=p +5bt+,hFCT bPCڇoDb*]Fˮ7L*ֺ@坼Xza\>se>Qwld6 %,݃j,H=Ӧi iy\o鈛"/A;:% D$ϙ-\?6+g1^pN7B"X 7mwyC, ~Mq騻 I#q2µqh<"+DG.۝/,cڋvƥoE#م9e?KU%+9,k)Fv( d\k.݌PT2a4jer`Y}dhbNh$Ӯf!LcJs;۳qO? }!`}S퀯cM{IW'c(8_2q 󞏮늌7}1 u7,Vg@շ9K.3?eEsŏp宀ߢt AcT.5Ed٘靍(B|k%YR2LDE `q=P*D7 >DKC*֭-jhTdU&.iHt **0>k\nN!Tb0^nL* /u2˾SDRJϒ H4Mͱ@ 5B4QmXWzmB>w 9{Dci9;BC *dYfU\pKNηn5#Pǎ;%/c%j~HӦ 7N! ձiѷ0KlޓAĹ-M0R9d ~㩞~Q^NCEԷQ/!Pۯ߸:Ax>Q(2Q[ߘY Wl~o-s$O18w(f*iAe3\KeW4 |kRHyC`RyjgxNSe*BW4)ݸ@BTK(/DNHH;ݾ*BQ|ѱ>4K73Ɲžt%4kzMvX`h]4)ρbY]ǺηN'Pޗx=kHDOiTJ>~ME;6 jG lP'EOЖj=ڟ0R֖~⊕X⍄Fv~:kF3Oe 1%m1?>~e))soع%8ǙT0'xz%" ,5q~oi)4& FjPE3NsK8ƯMZ}ԉ<]e0d\Q%AћoލߙȄoTe 5H*a|O$-S iNm5 !M3zKHӾhOF F+ )v^ܝbCHi>aג<%~$Ή<5/zױܨKoó)uϫok Bi?Yh UvHi/̦"vͣ{Ȍ)c绦.vF%̫7L7-gt1U9C+tUk6@>ц ;[GJ&;1Q\E艠m/tP0yeX,i} 唇S"vI۪5_M>?fK@QBt~_gC&.n{Q#o 6i+"}JTkqNva1!ŸNTbx]_ʈ#~xS!>AwY 5r|p񧁠˻PR]r/\X0\OTJ%mT-!@,u Qv֕u&Gb&T) LI( :NM2aJtDGŞR^?Ns^Z|&8VZu 1~B5+M@ѓUq)/px7 r8@k2 $-Χp!T~ڵ|VcasN?sJDY2녈Nhe?e;@(V,LDGB;WS=eXoAɣ:RΕξu.:ez9y Od&FpCKyCq cemů8}scM!aPUc#/TYWH8ҷq%%iju:XE4ꧼ0ǽJ w1nZH~5&IW_4F[N_$tE!֑P1qF7{1ǯ%,] \/wjBxk|xAY:LRi[2N੃t4Ak ۉAJe>֨E+ҳw,3zm6:-0Ԃ>5Kq79hjU}I{o4s>?QD"ǀMӝj\O~E/'L!z1VKc*dK Dn:=g;f9 ^~#Jƫv-%"wJ=ʼ#_} >*SN"W$cp0`{y.%wM얔%dz_|OC<'쵶}[Y$`/:p\m5/#5cwҝ.(r]8?וx.iڒ f2LkF  ɔK q|ÿ-/h0Ӕ#K.5΋ {*8G]ٓ яP*z3޼p҇O}e u\UZ#Pf-ok0TJC\0 (Tp$f7eM"RӬu-Eaw57Pq[OF{ gޖDeFׯj`-Ωȍܕ$?D́$˻j,PvC}w0_|Q^wfYX2̔`qCTѧ T 1VlAElWu (øn-?EEў-()II\ ʖ5wD:)_eG5zoedI=:KCb ·ɤ¢4qm(q2~̯  NOK^$MMRg&jF_#L@fw 4Rtfy\^ ᶀo\C_Q>g#, n`1|<򫏰Md&VTW4fF;;>M0+{s(%6jbc ƍ([,#34Ir0@tK7A͆wo Di.?ijWi }k(>J?`K4Z)W$xG,ׂkzz.y{$GxkMs%1cOo_fL0i B=yޭKo`E1-RicȌAv~&>Q〈){(+QցMe%Zok &Ʋ{L.5DHl7hVɛ`FЬD8BiywQlQ1uܵo:,oY5%*]-V"[U8pMGQ>fI({ r ,Q,t/goӓԦݶ,QQ9(K-*mv\fMM":De.BHKcXWa/*:h$>8лap3XTgCA{c, "ϸ!smnk2cEv%=$Rcs#揿-yCLq~"s]_)Nt85K ӂA’W'OŸloUcG *NEGz$TJIBvkv3 @ڔBnM{ւT/ "ol6풩1LSlbcG{#6*7},޸+Zv7֗31QZ 1ٺi@۽<"ײ^p2 V8;j|`^D&fbHL؇q)]t=AwU"ubTm߃ :0NMwN\W,D-?D^;\r;=$9D-])ըJ(͖*c͢ !-d[_"X ]N aӝYA`# ,j:wŤ]'H4|\ /+KTn /Ju6o E j"pP57OU4 ]ZhͤO2o)c$ $ rK'~0a"v$[|V'J6 sER@``+r`Ѷ1/]d]waxUw|J^J&{9agl$j LGDI ?MnsU2EyD: Olj}_nְ R)f_󒕆f!'z20<ce~,P5Hl_#sF%+}eQ;ylUp% ,ָ?WFyD.SA曓93%cfO5l:S)z9e ].j| -򲅿T>c{ K[h548'#st&E)| /Y{w}q:+C 4"7?A tkxu2?(xWtWLxPRhQs=lއI5ZtF70] #gMP -Ne򠨓ֆ%)eRm-ۗ2Bf?FIWnC+s] PDan (u(ti[v96itJ'9o+z\PR:~lqwmP޲j+8T + gMM-e? !ϔ o5Wmߞ^jԍuvlоЅ {Kta|+{n9)9v 6K4K]7 #h5UDz19aFHmv"Lv+xm^lwpԕQ Y>`G<Tv/g{%㨥V~cN*^klFgxN'6Ut0r UdŤ/24EbX]ja|Q)#7r'1˥?{< &y@O~rit֜ޏGtgۊ$?P&@jG>ޏ""q1)FgN1Uie#&U>$:L_?,l$v󲑁cbA]`"1焿I̫-4*@-!9թgn"Pk{s.F U86/ lDaiMBhw7ߏL@Hv3[Y݊DwhLZrJ ztXɻZ[4 q(d&]Ӆ7bm<tv Sz.S VK/S(Bݨ&_ɌGOO1D[d,Y_ 9L!KOVuFo R{8hZ026(,`p8Ɠۤ&j(kxS AQ@rOD_w sPt۱ EX@49IM8Z]RA : -@1[C)3F!sbKҀ=Q,a>Db_*Pj d_HnՉ+,)`xs%*1fQwtP`єHU?wx}!S˭՚ODf]Hb)hph$D}nA*A{_Wdy5e AJwVh'6EC-n8 1Vbኑ0P9,v*w(G$jov&IAM/pa #B&0XEwRcAF嶕_=;CG4۾Z) DE :Uۨ;L 7"Һ K83oU\) K0$hBJ*3! -~ spufra@|)Pd|7$LUoS. j%V"_zU-+!#FlIt}/Z'8kػ W+ H֏Ct0WM%e?j]e6H۠NrTPDޤğ4+w*"._b>8P@F;n~X֒ -aXA3J:qV庭t&_M^qIONB(PW;3Tc%&{kXw3ϊ-I(< b]E @.DE 0"8nTgnJ_"a d -vMjޔ Sų1R|erO=pu'Y6wm2h I2OUe ynZmUB"к~qپ4GNV!6:ʨ0V}8 m-%hRM}v=AW1>bܥK3A1mFfuLGEm~}VR2Rb9 prEx{E!טD1$TYW}Z)ZY񸀲r#/L~S79y8A;spQւKU-tSOuh0,y['|S}mgz)&jZZE,c $ȫ[Ct.ه~+kٜAɯV,ĩ_B1=_Yr"/>w2't5&wjc5hz K"F!rb MgRt( 6ωv``.6V!PTY!34[4r8=oV|m +"Wuֺq=7x˻q}/La3?i8BnVԖx o$WV(v&d񦌛IJCvn|~GjfP@n' m6+7U1hd9%6nelǥ_at'+Kj;*ZcaM%Y⨣~g#gv{) Pym ?CbSQwz=SI/Uܩ"]k9x<0߂D,ܠ$18w0%;bUʎ"]Pc ߽EԠC~LOgY Q*6 ֢p`ۣm 6?>roy&.oCئvK .G|D\evSJ1\wpF)y܅h;]E|O"F*HO^7[^?vRdUhzs_dLp NJ477}bUı~.,N0 Ɨp"+*{]?5JDwtEU6A)(Ƹф E&"Hq2SI{- _/3߱v]s,! &vF(q%˱Ga0:DP C'/&f~cwIhC4jwXhHBT'q;qz)o& R%.ڏ=e' |" -&^Kݜ@j:gj㤕aK=RZä VY]zGLn6Bz77X]KG6WoKRP'`ȁ[zyMR/\)K2/܇ F?`ݐz>s߶2l<.)9b-p0ϔg~g]뮒i_L^i9^G`i =Iu7άd44h]&rtjq6s9-QI`\Or&7~daVXh, d G|'F`OhBI(˃]A!Z1{p Yr}zGzwBw`3ۭT/C220|٘T8s1c ː׽ @~4\GJ$_6?v)rXMXzL.r4ݣ2Ȇ,9x}[%{2ʸ{??@i\XT[j{c͐7L, ['{Ո! \8zMG\~t}3Ċi#wmy evFނŇ،)!9 9XB䮥`P6!~5/Нf;nxoSg)֧kffC?.NE[4!on_,_l.Y %O15}:-! Vtý\ xee>[pv͵/@j\TxU9Xx#Lφ.sl4UuztV l&zU.%Z?$&r310;~␵zp(gN !xݬAnw7^ߩ:T#Y)R֗.61E$j5UbGmԤ =Ky{`һ! EN~_wF2_7T,*64CXte_"xS8u]/S.h}#j` 6pG0$ygNܲ!o <}%/1OE{F K]mTPx%1Ec\ǂ+ ݺoR7Q*Fo4Lj H*mڂQǗ󙓟J}BEǢ7J ZgWx,Ӱ5νL(jcZ{[1z^^FƦ=Q8&mΧ&l ѐYg܍*DqhU7KfJ}Xx2&Ujĝ T(`>i0&Uqvx^~4@7` ^_dO=-nM;3XGOEx1jbzE+/#2oً ͝u-VȵL;pa:֓D^sJR,|+g|4a7)!WE Ai kltV+*IYo<^z{~+[CXLI 9lf. _j3*Uj׏3#{ V@Zl@D]҂={֗#޷r5LG|[s,P1^Y_ݨkhε͇6x:c><`8V?kh I}W+Tz9Q*ْ/-|j%4\4ּ)J&#q wL!l6qܶcx7slmֲ^VTrw ;k`9KU)Ǡ^+5MSugK9Śu7b} u_Z/dOQNdBQeMvPZAZU{˄g{QVy1R&aφa:>8 ˎopyT{W]:砃"s \K #*OGq=gCrnUp|+v( u(y+͢%n}cÐm2|Sҋ1A,CZtC Dt vSaNCZz O$DZ~%r;YɣX)iĂ"$fkޗAw@n,_QOLò7OwF9yao#k>\u]`J~%aڪ[6_zBBb}^ݽ 5ϙuQ̜ C QyBp]vU佒 Wr l`E`Nd0iKc45J;8YO%!S9p?I2F`uPVIo]T"n͟YgSFD`zWfdjR&(yq+&2Bȉ@`ujhOpp#W16 ӕ޿q7T"(W9:=%ȀD`K-%}fh IAՔH/bZrP~ձE7?Y@&Uԃ'a(ĞAI1hR1V*>. .{02tDQn繣uF7:a\t$lTZ;R}=ljI,8 ׏0s+ C0CH5tmt;99jw*>2M4}1ąÕʞ˳ 1g3o:SA`~KK9wgj0뾓VF( ꜖Pn:2ǥl+R- Z^`:7)c4M#TwIh4@DR2=9w C3)_8l6U6875=.JQElxDTKA:5V̧ܧUomBbp/ )rXS_,1Eʆ&FhE29L{EXt#~uѫ[W YI˷KBjBc i>϶̻` \)xt* ! i%{Yp DYu?/\$Z${1Q'Ӝ|jdYI_) #UQY'  cl5 o PU&@t K\MH^̺QXo4ڐF(ye-H};I:R,nԨԽ6.zY[ZWebCQ:ȯ6LRcjےm v|*] Ć.fg?Qr=3.BLK f~r\|C}Jh7*Zy.-{tL ]Q@EIJ8 b8߭ \}ÀE<|Qiϫ? ROWubbz7/;`n_M^#?z$[Q\-kwo>dov{i.r l0aFY>?-m 02蟧'%}`6P'qeu>(]3ౘ]xUiaހiӓ%]NEhȖRl0Z%Ǚ g69jJZsƟV@;(IZvRROb`g:rVoG߂B]!{iͺ$}i(t[bJ]݅vBXVK /8}H2b]HhS~;(VBEcH;bv"#gCr/&,ޑEd~QD_ U*eڀfwYfͺ&ZMU- g Eջ"}wB B2,ff>{Z$Wi]u:-]euX ׀1ik8%3Zٟ|W]C2XnFc@TcB셊4@᨟hKa_j_\[̨|I_BmDi'?3!ߊo*nA'/6~03 ΧF\ !1r="y&e>p`7JC\sP^_ѥ֤5# %TlN>JWT&`{(]R$3ӈ!aX¿z qu/ wFHßU GcOҟj& - M_2 Es*6`(Ժ]b(>"9N.4*e?RT%Je M&UkCyQX" +\  ! kk(oqp!,HHZeHi۪2@N*A^=vd:(D G.4Oc8!͂%3(֑]Q[-@K\7Lz^!+52q Om^,vQK@v6wx@wctD޵}ѕ8v'7UGUE 0,Rr8b <`"Ne) 2̓,xJn-mP)&CܚAUP;ieJ7Z:0I\3#s6Z n^P,4X~85jDٟ#?\#{۪0_0Dd6sJp>#Sù>tM"+(:ʀIkn躪[f(Bº7ɕ}]YԬ[`x `E컮ϬW(b-Aٿ4hT@[ Ov[ $Q3䐴dl3(o%1|UKWmJ:7`@iӅEESN~qt!\݉,:2"]xWH4T| !2a_W$=ڰ6=Ig$ZFi wN{c.!4z1zUվ(+df1[(|ܢY|3q%tO 7Lqh&m:׸÷`HOal9#\H[DV@,hU|Af "~4m/[D{_XPRݍ6=~wd{:a9lEmVU=8ʍNxO\()LhO^NTX\bF<r@hTam[Fˆ6`.HM -ymi;8Mݷ^2˥.i]0k8D @i:jJMqV_3j-f3]BfTMNҔ(PoGYϲ^aYfcs;I:}6VOL} ս A>5x1Zm$/4D&5vڱd>*jHre] Ĺs/ɄP#KRdzKCG2ʂ(~IȜ["lŕa>%Is:DGI$Ǭn8D%̶0u~87{8m*V `E: j`Bebjιp!GM +hD=Yيv W!4iGW)7OxcsB8Z*pLrb;q9y]TneOlNf:T{XKq@?8nJR͞p=u%̉U%䢡7p3Fp|)ܬ< 쭵Tst$h|\|%~ G$fbS>P^_:?Vi: _!ȍޤ[kW%Ф@ لɩn|4t_[wմc/- h.SH~Q>opLMK~W-'t =CC% ?A߉P9kVV$Ӕ WHX  Oa4.Ѿku ؏%0XvCȫ^fJ=7C^/;ZQt#9nP(4re5P#%0'nv(Ib>巁 m,M f*n< x0ӰVXs]͋PP_e J;9#@Ur1q4 fd8h l (D -sn#M@Z6iPPn3e[Rɛv3R$0,ҰW%",M{MZm7DHVհU@lmB$gT .H<+}K/Zޭ$L\DեL55 zNO֜u:%D/6PiRkAÌpA"%-7Oe*4L!숎r:qT80qrkY3uYq)S*ëJ+29nҢz*nQ hq-tA"'ȿ`Kj8U3j \cA,r8  DPx269]^m:Nn( oeZH !qԮr9k,УKb!6gJ7Rߊi?|D 6D0u:23eO`lA1təz1cm_e/1I+epϜ>`68HA"2 Ţ,jp yqT ojm H/>*Jk2Y\< w <wJ$Neg;XŽ~dCXG e  yy 4Bf{[jmCqHf5XUl^h4%9Q?Y{Tk!C*iQ/_#b#c=礬/[ԨE(t|D6V_޸+qegРv /vm1+ UYE7{S!u_3z|ޱ5YCg$”Q؂l]CDtpZGC#>nI)UD "|~mjMɻ,&DxFLȪGLes $l a았o 8 `,DcpDڳ[{/7="ӯ9$U҂{RݑݢDz8~;3 ͦYKlg26 ]>X$FI_O5IE`d2|wm"i[pSdiC nPs@ @#?9`>,wM)qV[`+1 m}$RU\bPOuH1 ;XɭV=E} !@)=i \;$$'ED_"(aڬL7b%B_)wk sRjp%e.I]~ӌtH{儵 5 Fs cAK˙QPAg40g5{^|bA-}@8iX,M[3[fs=F) {-"ܷV# V=`E検BvX|ArRjW] ?B`uIK$3(n"fazA2@1&.;8¸\G#o_ /b 7ƑGNЮ1zLF2Kf/+_A!k[F1l77'NV}~R{7x"Y5 oVE|>MGfFj#EvKO }s G}$R?u-sq&?SP5vᅤ:=?B.و&Cg}HBM+gD%TDxxkN}cOЙV;K"-0)"5[7/t]ګ(5  ܵ oh+wLjU(Wuhe![(W)#G'Bel^hC)фt d &BqSS?2ƣLpnnocwRtҙ:v_C OnG,9T:5%} 0"#;tӨ8($&D*ɷ[!qb-!gi`pЈ`cèn/lH>.\vl :&Fp-9is .`6Ls!S9B& ~d[SP}ϖK6<`cg'A7{bxW dC~z(d&*Dꉨ~mp6|et ̫O͙XLR+O]h< 9"Ǵ+^u7Y-ZfFqMpm>} Vf&Vn68B#?1|T:Go9RHcDžCMͽc5_ө]{^r)%WT@gn_Mv3-R:#,6UFxSNkW‘+< 櫷$USD`l*8twd ofM@6E6~}iGYd[<< x|KSVX<'=hц,lK8aP#ݗt_.]@h Ǻ<h+:ױIT _K[68ng>g.4IJ29Bl@>.~^iAI~& C q'?-DŽL* -> nKZw(iԼB4sn^E(e==b̈VJY&Aa 7 ;z)E"unj NfVu!nK-ǃ[FHfyQ`\,)~@`VSE%|aE)xwҔ6$zq%Dm|rM"ҫSzy߈.҇ZU޽/njIP#5bX޷ϓKZn.|hHTy(Jd L7c_'pj@P]jԓ ʧ/[m׫lz'qwgW !}d<]Լ;q%:p2%F=բDWCa qGcE{C`A7GEW={Lwxp\(]J)$5<_ K=`qבĪ+OiWk$~1hdgHM9&W28?DtwW;c][G 8D#:Kf3ƅ{aei8*WX!̵CW3?UܩZ6Q' K1s1_y22:!>$]ِhapoSY"pG7>fL% dGHϷk[c -Ix) R韦Xyx' AZ Oo*A ,>mQ)< wyP忦OnMp:D,GF譢*t T4+>\W;Q6nM0˧hK)x!e~u3!RpF]1KL{7U-J^X`_=L bW S~S5oG1*k?ԏsF{! -ד($`-=" ǚ#F/[[/M?k71mD_rW*aYecF/n.]!#D2iL:ow`~  ~UɿR8{Yҗ&+ߢⴷ!gL?eKyh&gTwV7UXz[CDݤU)8IA m=Hmn倵lm85 wgӓ|q?$o0)"ġx ZðEOĬt{ЎnQo# ]gVT֝J'ᨀD֖G O+ cSkƴ]~((+DA7B+ u3+Op Q/rJ$bARō9f@pze"r𪁃0RW`xHl#Gx*e6™[[iyiSX^`m@p זcZk@E6p>f5ꒋRKnԛl/9mAkύn9UUpt%;ST7NMҥ^K̢: _C 92 kb4,3Ap} uj2V+EQᣩUԾLSl!;glePv33] Ve /CpL2fQof9;D.iŜ`X&?>C5)^]bė6VBA-dIYv@~*~/$ O"VUmOҜ7x^'5o`<lXI&(fKq_6LI+x +hS(0eǡt-!{ jߚu0T;Gٶ| ?,ן -=3m8mxFzwXzk~>LQ)K*mZ̋mi.?E0U],l=I?-(Z[,9o72Vk劲Gj4D|>±_[0BbH hVF JDK5RG*\ipX6j,1F$|Z"c"l$`01L Fi]ivPj^C2:_2l,LX*`cnZi}& w%419m  uUVBݞ:h,os4J/ F~.W~S{ː(*P,z'Zy ȃSȩ {5ѥm]qh X3gz(nm"(cއT+T@3j 7qO|gR k&WblB<ZsV+ά៻'"|K{X+F 'Ỳ`]ؿp9rfN\tϚn7Qvw $h/Hٔєsu˻6M~xc<6:xLXBF1/GeƳx: Q9z.ot˩<6pC-j5Ө(,c N'$ʒKȱlܮW-ch)?IgcK%uZJ`).hpX ge贽c!z ׇNC ).'EK,raȖVB$X顺0"TCIK[/ۭ58^m , #F*hT]ۭqzBvG?1jM& ?liv4|Թ0 Èᨇ=4{j:1|#o^1&?/6*\缻 Qٱ }`rԂ ˴UNCD]0"V I!4J ~YEӗvѰ(τEC! 0Ag[tQeJ0Cl e̵Kv%k }AA렿UN5#B'ڪ 42Z:өMq)*[ޕ?H( *a 9倗]pq<: (^僒¥&7<[>l k l6cHɅكey/L D3 EY&ORKv G3`N^4N%R_RAְ)_Q1 6&!~8Y~֬N PWͻub 񠏳=U΋梓(ɲ[~#"7l1±̃8΋^)jQGŏ$3;Y=|W~BQT# M Y{g@v6﩯jV,{vm (gPqQC dzLi1|VYn|T0vjN"HFwq ,:F6̠[$X@6 "\_ K2a=9}#nÀJS\Aq& R$&w!z ,@­+E}գI?3&%h%׿ٟGt 2~?5-9l2v!uwV[ N7ڂTagRdia"p"K*j B BR~dUta X{ S:p#œ~b0Sij6nb ם~\\0\]t(*4{j!M ,涏Mܮ1:3K嚼ڹNFa,w !nf\Oғ Akhґ?){*g&G~\vi 対ĭPoe&} (㷗#@$S Frrg3fzVlԁR"Z[èΦ"xDx%PEiShg[_*X!@0EϾd8jp<ь A: 6Imv-`k wTvSmFjvꃾ >6QĬRˢ=jO&tffẅ#Od5& qW+}clhwmi ՐsyH;@!kH2g[B,#vuͅO !R -a%DQ2VkS*_F*+G\iz>|VU@rfIҠP| 04W}u&^!XWr} Еx8 g?!Zl xIzfʮ(Zb(39ߌ֌iU/@Brms'SUgVsdEᓎWRv^mϙL*,cJ`Jp~$L AűKq*f'q8-k?jt3[˫#-q~&C},S qP2z̃h^)';ZgϘcZk 2*%#`ԋGǀ?< ĉ8)UqOӺ cJՏn+vbjYbS~ g}祦6'eۤ/1@"^PRA "%^?8uAFqɭEl2KE<&gVfEUvP킣ib{Hʅ03蒧KA.ĆhEU!Tak[0XMƀm&Q^(Øڛj ,fRF>Ut-f' mվL]tc#S,s'!ן7iw1]NeoII9zf8,6Oxn+P nl]? s},xo{DgZ%."EF2'PbѢUaaikpag'}w70E 0Pysq5?$7sX0ޤJm|L9;vBv@[y\yjpoa {j$+L̺ Xz1f=R 9k1A)huh ?/" M{lE77IP_FP?Iڵ;WZ0T©xj:Y" YW.1`PsBH(H JRb꾤4Pt9s :R(*:]5ʁ_h_^ؿhK?2V(s }8cFɸB'@K MY8Ա:"Tі> 7i@4-AtP%YW*ac=v ~p }X)rk1@Mĵ*ME`FtУCZ AB$gq6PHd0Mj1};P~=?A,;'=[5Ps4?8{a$;{k^N1qQE-v隋]naXm{+iAe'"{f v]գkp@jIp2BZD,HGFk]&ߙr C͞;_Z~9K~i|_aiN[x>$9L'W1Za*0?<'(‘E#vwŶlx2/a:)Y{lK.HfJFrۯFgk!vx%Ⱦ6Ę GőU:Uƪ_WG $x]<]G>}]ֹj;ɃȾ¤Fahv 陧 &E,r˃T~T-3Vo)a\"@WgFJ@Εµ1{䕬U@@t~\2{x#8dq~,&##] _mKshn^0kW0Jt.sE@aox\yk Эiuˤd]l0?֗ 6) e{Ve`N~Me@m*f ;}!lr zK(DzrTJs%4 f2_)zِ` sp5;Y`7'm~-9!0L*\(fnH*k%URF ]ƙ5sg9X[1fNmlz4yNk6[A9&*N{3yb.$ J1sxR т&1\Y=n<"!c4:!' Yy29j;AaD)_m)?@ 1Kۀ/ z W,6a>8xyYcȺ YFzm{ y?w2<TǑs9YjKVaq8OmK2oSBJָV2W hק#EDKI/zIkZ⸀=+:oDhRN:ϥH2XEu63ii\)qϲ^$I.8}Kӑ&p6U_1}c8X@r*ԙT=%u5Ea],[F"WHHC+]̂Feb?:'R?Q [] '~E]r8oCeiE]n7WGzz2u8L^q4W\`R2&@kւLhPܓKj*U8bYV?8/CSv^LQ6rIZRX;RMU37aS)ȱZwn y);a[fP]3 }wI@ !0cq;GM첄# Rx6XbRik@M8lxʎ+;Xy) ͤxtHR0rAκB# 5N [j:Eb4ys690b: /PsFu0~Xrd)+ E 35y 4Ʉi'>Y1K\LVCt$.d Ċz A `؁ihDkxmB6$_ S- 7!ȈvYoFq di 7spP\ҤX]jX2)h#li΄/J.AATh<=dA! *NuR1+V/j.3TkEX]ch`  ⎝^ylpM5y"^o#-h J߉IYzf6J(`)U*[4IKn|uz1?f"Hab~<ua)\01vnt&ι^[xEU`ۃ O.v:>/r|:#sl>:\FZ4k&x,0 C״'4Zۃ>׃"XwMvpɋ}H2vl-ҖhU>ɢI}VlRC ]5 AC(L[:%Aa=}+^71ĂgEΦ֣ E59N{̼b#_Jʊ&[ሕ(%npb© *V/YFF_ߒ 8-ͨϫ1AJvͱ!-\rtd_=p<[ >{ !f<㘠 X7 Fp'drhF0pA{qb/pkKzi^W疆oPFȭoF sSBnjtq_>A|6lu;2tigD8k#;XtKWsdD 5Ǭsi}=45HYsU<t1QkJ=kel~ENQQCI /|445e+o(->AWSq7-STa9}$cF},Pw/=?KHIl4n؂T{yH߯WᢔXϰd9j{VgI M\Zzo3a'AK>Zz l= U׍Pi|㫶m7-$WRnk/EyS)G>t89SP۪jၝMvR{ )*י%pD09YH35Xzbhn Rn[Xh4 ٮ<؃k7܎`SَF2 /KR9ӥcdP+,9Z6t}\;wTF3|1:StX/H Nm@ :'H ;`ߤt0Q:%RF2(jjabvafFn~BmdܫSIͺ NߞӘ%ֵbJ)҂<m?Ig%jz îµ ~noqn]E6- OI:`IOU;AܮFjt7SPaC׃H'?n+j$ds W+ ~*Z1D(-Nt ^MHIKlĚn[' $&ȌM^˵LgnKhrjQ!1e_#LEL- #8yExnm: PaM\dvT[w`Vkw ADӔa Ђ 0,> Wޔ㊕dzY?rzR$3DMF2t:"F'ʪaI* &[U!SɽQ׸#6 /+_}ñweyʾ0Wpxm @kPډNzE$c"%f7;TAN TO))uu⸮:ѰvI. M8aTeXrzZ|&141%ZXN& g!zdDFcTȜӬ'`> "*, A,љ\>d-^9t-S_rƀ&+ϱK1e"I3B9_[ z⮥J)wU1g[c358U9L$OK[ @hUn`n䲇>bN.yGRBUC[/)Jo%$NbaV8G ߲2oÅpPXZӰ %i%RA463Rߔ5)d "K˻0`Ϝ l/ "V;YPmyb$ZY 2mF0K eiҔn !RGO}D=Eq(jq9`5|tZzO؆ܠ\ iv&*]! ƦEbĉZLOKէګ' ` <;|-ۮ)*JN=6Vx9O*0iiEV[0.)gݦyu:=S9+M c[N6[i_ioʇnv8; ",,mB-S@9ݺP E`>6o8Ƞ/e(wHnyڤs//UBd݃Pu!yU≔]dULoꚂro}4)~#3XԅdSsB^9hJD V;Hx=2H8rҗ%]8:c31XhX 29TZ=X#4}@&*'4s6^Qp7v_*½NZ/m66J3I]rUJ (KLA֡N>'$ʦE,\N.η[Ma voKa`5큺gYZ011d9f748013c431283ed6c5e15bfa6593378a58c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6