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 uuW7|T4 ]/ MSO_Regex_Equivalence:threads=4elapsed=563.730cpu=1827.968gc=47.8807zXZִF! j$]ŗXiɟW;g``ϐE"N8,|7&YI } :rwڛHwNn=P`CMX>dT6"G]y@Q~/h?/)<9@Vx|uc"JԮNVVGD2L ,\T GtQ މ wRㄙw1yI0dSWygvgi3(z _34To6""GM4 Ŕ:kB v$6Nx#b.Bߟx]K_ۈUqOH|/ B.KDsKWy4^0r&/aMp| RtW Ѡ0G[3XctQױ͈}n&y:Z%'h +o3ќ0!(/rpWH%,a>I:BK(S=Ek189 )VM)ߗRAQݎq GI{/ ~b|0g۵ 0+o#IIHb+Xy|}*0gV=幄BST׌] @Q`8gI;il@YΒ1ӟ?jO8H{tW!YMj*ОJă}et#kֲcv.8S~/ȔMd-+Y4lk #;wEBWq<GP?t_=Kν*_onz4LmdnR"ԽiQ$> D!?1֍94ay.{D& |Ȍy]}{Êh7^܏PgY!FE'8aDQ8@x8eHth/d%BD5;_'Q8ꊏqOBlC:;@.1y: Q z dlw!oUex$x %Ng8L8/Zo"7 PV[ml~=95^EHFaQlW."ڳ_;D ]ɫ ̼L ÙvH^ Msq=ᔔ?~p7(imsSrPWzWp {}ԜDw"^e SaD3VC^+vyj'9(DEUl|Ǟ4X !Fdd+$b:˲J_I}oiGwTȮ5`R6l">Dr.kN]ܘ&G8*1V6-kg|.֔V$yUL3aBV(kYԀ Z6l0ot҆QHޠK Ϩ2QgϏ,Uo/FOJ*+QaޙJDD54?cqR&bz?Ğ=0cK}CfbiCokNT|vN֩*v{v<4Yzzw*ؕXmFV'12N08}cw4.Ӌcu#"eWy#{ϑe |A&!z I-(k d⠰L<;OU>'Vub)7DgR =Dyj*Ҏ`3 9<(HgXo_n;5p8xDIe|e 6 2Js$i1N^x1'<ؙpegSPC"r =xԆ5Pli#eވD5:]kug},èf?鬓/cv/)],Ͼhdj #HF5i7;3TR%IQȪT1ꁨzFS$DnF\Cɻ<}fl5'riκv4Ob`fp7hGcna :D!YI\'fš|CGwBE^-n[m}hAPo$Lȉ^><#,fg]AJh 9q Ԗ*PN93L}ʲ@=I1h#N`ݖdWEǷTbRA2׭î2Yؕ)  im۫OsgO^*zo,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}210/.,+*'& % #     s f 8 7su M   6 G fZ $ zA7A%MSO_Regex_EquivalenceHOL-Library.Case_Converterdocument.texB7C%MSO_Regex_EquivalenceHOL-Library.Simps_Case_Convdocument.tex>7;%MSO_Regex_EquivalenceDeriving.Derive_Managerdocument.tex=79%MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex;75%MSO_Regex_EquivalenceHOL-Library.Char_orddocument.texN7[%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Normalizationdocument.tex77-%MSO_Regex_EquivalenceDeriving.Comparedocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Generatordocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Normalizationdocument.texA7A%MSO_Regex_EquivalenceDeriving.Compare_Instancesdocument.tex@7?%MSO_Regex_EquivalenceHOL-Library.List_Lexorderdocument.texD7G%MSO_Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.texD7G%MSO_Regex_EquivalenceDeriving.Comparator_Generatordocument.texB7C%MSO_Regex_EquivalenceHOL-Library.Code_Target_Natdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.tex:73%MSO_Regex_EquivalenceDeriving.Comparatordocument.texO7]%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Init_Normalizationdocument.texD7G%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Formuladocument.texU7i%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2L_Equivalence_Checkingdocument.tex V7k%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1S_Equivalence_Checkingdocument.tex @7?%MSO_Regex_EquivalenceHOL-Library.Nat_Bijectiondocument.tex A7A%MSO_Regex_EquivalenceMSO_Regex_Equivalence.WS1Sdocument.tex P7_%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Exp_Dualdocument.tex K7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.texC7E%MSO_Regex_EquivalenceHOL-Library.While_Combinatordocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Derivativesdocument.tex@7?%MSO_Regex_EquivalenceMSO_Regex_Equivalence.M2Ldocument.tex971%MSO_Regex_EquivalenceHOL-Library.Streamdocument.texK7U%MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Setdocument.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$ < <B 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" 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 ϭ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~5GyN6gYZpV8]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  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< 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{Hk1q)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ޜ!ybgYZNZZH1U9p::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@ŲJgYZHn>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=bl<`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%Ru7U% \MSO_Regex_EquivalenceMSO_Regex_Equivalence.Pi_Regular_Expdocument.tex7zXZִF! Se]A-MՋhvG"uIBm5Hm_Ʈ'$C /9b!dF:wAl@|"pB;Fi^C~żҎ5HYLl kAS,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.@ ɜ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(?gYZ7)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`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 //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$   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 bRbn7G% \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(+ 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Ƙ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 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-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' ) PP-7U% LMSO_Regex_EquivalenceMSO_Regex_Equivalence.PNormalizationdocument.tex7zXZִF! T-]A-MՋhvG"uIBm5:a'Fߒ:QF+ԗ4ؖ&ۀ&h[o5sad6Z/,JFTREw^Vrdd'~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   &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-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'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|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?% 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  7]% 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 "<&ˁ/x3uPK;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"OT2PS-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[gYZ[7A% :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 k -k?79% MSO_Regex_EquivalenceDeriving.Generator_Auxdocument.tex7zXZִF! g@]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@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&ҹgYZM75% ,MSO_Regex_EquivalenceHOL-Library.Char_orddocument.tex7zXZִF! !uN]A-MՋhvG"uIBm51;犧Q]'H % ΃W?˸ W Mz>N5qɆ~]]]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: JjX>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뜚%)sbI"݊\%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ԱgYZ5VycTpaYvF=!F+u~FO9VƶPve@WX:}}oiKj}APBzs=IJԟ|I=1X q t#?dupm5 (ğ{Z & IL~1[jdjbC/O/E&-L_OHf,TGWu68e'HKwR&S_;*\{ BY~2tCU/JCljso+q3ݬ`v;\䆪;ׯC]M/2oTUY>@S}('B\T\V\qk7,udaMNve1wD{?ɷ <՟K-{"5'F7zCv0v'5ÿlVgsΐ~vk,wSj~t>n&Ĭ\ۊBFH[9熏v@5ħ:R=-mZ"j9V6'Zp(?Vw*u@| WeyND*f4DWԖt"Z&YݓG&Q[%umңawY,_~yIfк5AiYc (mW;` 7, 6Ddl%Zs],ȇ͎s `hrJY?!--ua4'paLJN"*-P>`H1Y.'-VZlPqB&fȘigض`6VǎtUذӢ7#V(={/ܳ}neP=װi"c3ЯͰ,8t7myЛ/e>ľ e*plَxtZ|]v(Rx -'7l?$W\A؄ ѕ7Үz HCR>Jm+\U+$;(䜑?ZB'w=ha /7l&|O7mYgɕo/M<(bo،uzԘ̟/W/'\6Azs %z0MP^/Bn,B4OGow&*"}gYZ7zXZִF! k]ŗXiɟFTp>>cP$qXLE۾)”{JW^RH7`?e~,!4LZ$ZZA94TQo?Au)Թu7/=3"Hy8g'5_F;IVD+A?aMV<"%ˡrή<*qf>Ghꋶr!aSC;ۀ/(PS{x!lmL1ݫ ~QLXXkr !r#<4ے#eM,zK˫X&%6kݷ>&d? _W:h0"MIz0XVy&yŰ .$wO(9IQYVfo7; cRf4 ,Lpj5[ӂEЊfEɪ5wY 9',d wQ+m*#e] X4ZCرgYZ7zXZִF! 4]ŗXi%Bx=AVi! VKV=xYL[mSnV`9E]l< y>KBw`lG(OCK ުf=TEZ7oϧirݶWPp6;srLlY5T>jajp$9G'["äuW͎Ry6X{:~t3-1Ǚ&nCnJ.Jcq5xl;gE~VSi2߫Ru),LYbJ ԁ6dwPZ#qX8(Zv-}Ba$\BؽO8tr [8qƯիPf2T]#~/caPٖԍ\i Vw94QiPgQ0l/M1En!]n2QF+[h|f,&+o3?7ݏW;T.#A4wtq#71^VbGƝuY'hbP,QҺMQt!pNJ _<d&EyBĝ8ܭv~p"[""fOI5]NSi{' \uz3:Gvc(9 lu';!xdN)*W-W4uF25ԌΡWO0d 4Zg5^CG*H}[ᶰl75IihA0 G]m]wC$Q!s[C=V-@1e!&" tԣJ8; j櫍S=j: eCB;%\^m =L oo\P^0 4YR;jv&?b vF^mqTƦ;?A\I?¦7uEL-ZeyG dO!Kλ y֐js6z>$Yo=o3) "S.n3> BR䙥S-SPD+&ܻç#%e`*b*l͏5)J%0"J3bWGl|Iyt5fz-J\`vq؝&Ȝ5x!la XNY@7`*=ժs$HKƀ{Y7 0 G͛.eTr|r( /z*φ1 2m]9."9>BZLZ2<^Z~ s`W:  ۮӑL$05Eu"/ w^g J;p*6訇D|XZld5Bw:YʆpLorTe)PMxH?WO ΫD\+@]YzP~9}*>o4) k[eWE~$};.ORʥ7E<&ڪg:A* #dA/MN PHu)PZ@Y.kZM .@EGoS-$qȧi"LzBNv {ց%@gMo*Пzdjc<oR$g" 5(j.E P'~&'hmj,QDsU(V`a+ &?G[ΖOݯΐN)<š, Oԋ5t.L8R?^8݄EPxtB8\F1v\~H+|{ܱEG79ύ2lU靵Ln2=xeA?b4.67,Ն'[Hn;|p&u/& 4i|6FڼkI0a(&dTkPJ6[oY}7as5\W7Ӽol[.UrVd{m2wqg`@Rb8*TAifF@,<B%D !ipT@X'l2uh6o|x{ QQ(U CCIcGvzyk&V{_hS01ߌ.h;ⲉX DZ~4!标UI 6G09՞ 66g]J3{7{ϠBCnάvsKuKL5~cAnI cNJ"3'`T[8WA"8>%| iB@cMע#5Ts9"Ź hHDdm|wÓ^W^r祢5+:υ3`Q?{Rw g%f\rPH65bfe~ܟ ky!V>0i%ߨ7oA0,-@3StSS2F'Iqu,TS<['Kݨ 2 e4BpDYDJ NIU]&nU(M Մg=+ptEx_0F,<cJM$kH.k::/NKڼn@bE3_cjY76Gq6׋?,!Si)ַqoq z1cЯ/ǘ{ o/j".=1ʍ+3DX7jRUu8 r `P˃-MY{]3mFu/a0trwiIK =i_ҧH]nWߛuQzRF ӔHvJS΁z\&KUh,%z7!鳞j9? KxOHg7l;Bg1F)[5LЧ:a+.ر'5KxfL eq|sɹE]V!èkNh,1W9Q)"mqv,9٩fbm.+Pe"<ˈQ RE7V Y.|BcN~`AXM~!AN,K++hte9#}jxkW#KOtc(.ٍ+e㮹 jN+M7\G Jq:F夈vX\xl^ %eWQ]`pRo 972d8SJ00@/1,$VKR Mk U7l/,-J. 4Dܠcc$BSf'"?7uO~ |/AZsqI.6{dkiXT΄4"%ϐ$dO=tS<`Džc5.ҮV;J-g1VQdA?U` aؾƝcުe`Pk~. B(xRvnU\tVe[5HXҥe~O,FHR/"K'[% 4Zޣc}o4:ȕ8M≶bLȼう g{l䳑Ig urCB䞀A҅:=Uai2- `& MnREqgz+oD X2a .Z5Ș. d+)jFdn HiĄt^~ ,7ek f&~NZ8*I cP (X tj xB .A1,ミ$PS= eU RCgU܇JP"Iiw[Ia 9STͰsHh۩NR!04Ƅ .KA Ve)B'דּDO6H9wdiNgeZv_`6auxJAQÉ@:}Wbcj @#kDxUoeRF(EЀQX=HWL"Q円 a{ oNnΩr 'g;\  cv\(Z4֫D ޞxN:V.Aj_]p+&HQ?qu %1[Vn!hgo11,Y]2>9ɟKL0+I +YmC\scʔ*{smmo X[-N@ e~fSjt(9#4f4ӎSH88;TǓRLו* *mZv.LNabIo ϩaUl.Ee\hQ6aX!;)ŤgJM!ذ*2h!qڻ` nER~6H*};4pضzd}Rs ^4qj>{lN`7~21!V8:\ؗÓỉvy IïlLƒhEݨ+s .CibRφx6]AFlbi*.6e?үEcվU}D ?KN*2i=d5U{f.l*OȮ7>L#8\pq{UI 贰*IWw, 70-I"|݆ З%g3kz,&}z%aV1/(SC5,;'K`(jºhcz0|U7J "7(2}?vZ ˔ Btsi[Cަ%c=GLO.ç{` 05Ct)Ԥk`lj4$/Z^0s>?i&I@0cM s%0}P3P$6L޵Me!u2nlf'^@.yLheʍV|I.,3o: KЕufoڵ{:ւD N0Hr?" Y;iu}Ex D`pCAЀ]_|sf5܆Q1@> dp4H*|$)<ⵝ A2(jq$}̈Er\M^|S`S {'KMCEGļReY{B~oa7-$A[?J~^jd OˁUݵ1f3xu1`rOq 1!瞂LboɠַҸp;O.0GS`N aɾ K'ͳk$B34#Kߴ,rM jeKR~`^SضBBVuaQ\xSjqZBJ=cdTD"/#^@>bҠ3a^HTޱ_CzTKxSdj% 0t]/%!&p!+ "Ti$VT2wgKs]R&8 !4{`n)Lt+_0Q~v6BN˞wы(Y{\,~@FB6ci4%B>4i9[k%yKeӣCq6p7<`wu6PC>.u*Or@a#^d[Ow,.#5xIq'u.Oj:%sYGeMmiKM`-ś&rc(J:-W'!إ5̈ f*wu<~3"0W.^?H[ ʼnM!9A52f̧`idMWU@x,=QʐwUǀaBPtݞ**Y]PaNl) =w[qf|J^ .Iƚ5DeZWLyYZfT_׾f t 7j;0Y-&?5c>,"+r`V-fI:ej*"Z΢N6bA%fuޡ)vCdR׊Jj폧B#ag#wr Jn0?}2GRN…:ӜUWC7kA{B>*]_֨q]5ZJ[VS$>eLZHoD(:0a8^zٽ=³r){,{01 qFu 2Sd!1Rl] ?.a [HM-4yhoW&`x#4,t(ǝHbsM[$10} -[ ƣAn5!6zY9ԙ˞?=)#1 M.w{⤯J8 ^Ɯ;.9hC6y*\D8; k1Ls  sa6lhJ:L&:<ֱ ;z?s.<,ܻ@sK$zk2*XEZq' kKz9orK$jpDM}gc[ܕUe|!XHh}ƂWy.YQMX}y|v\GռqC[ ZJE~!&&qF c?~וeI6-BIcs5>Նk\IPŋ Y唐(V"݉J. idqVpb}教&_K|m/ &11./-26kᖼmy1{GnKG6 0$qCci.CԬ%0!>+ȝD~hC읱9ݪdZ=̷A9RimWA!XQlw[V,2n>z5cuVV0pI 궢ͺt/Yk=67ՉoO;2D-IʋWX!"ԉTt-6ur @aga@;;\!8 =o_@ktĊևߨ[U:LsQnt@[DԓWb܇vTZgg3S'7 `iHqJ=1nv2Пr!c1C%ӿi.dkQ5hx5ju. qUMRHv)o"")cz=PŮIg=F9K}C\;Eo&ѾFy|5WhN-q*ͤHLt<1:$|u+nW[ txZ^t6]Rl #ŮmASiOnݢԁc+oiKUkzP7=7y4rZ1lT|E'ʪTuT8bR.&eDDﹸ[ 0#B9(83`CU>L};ZI .<1/!PRYp&+ǵ7\B,th+|Y.7T5(A@2c! 69/ 宲 鱕@ſv|4nnK x[u7V=#'^-޸*;YTX*lαe2N/cܣa#zX`LQ)ʸ)7]NᒅQ=P" P93Ȭ yS\ƮZ>!_!;Aq~zup׍޻MnQ J|F .׵tv9q(AI@.I/wkbBjDea&g'p`<ȑLIZތ؅?_X KB6T@]An"hܗ7$9փ`tHt93hFr =O[e Uе-U+YcloRK5-G;dCsлOQ5=ÛɊ-X!XG9 ^ܡzC%jCW@ظxbP|Dxzy ln|yV/i utx%b }e]oHSI}9Ju[9a63,˧S\sj7:e:4lQru4y.&C.t>nl1V*3%ᨖ^V/}{&ȠQ~p_s\ZW/v3L¡:_N#נL#ül[A?5:&$RL"gV:][+A~nO`FM?s(jjWWrtL VȠp\n!fWE#95nТ}a[dnLtUR|`{%P4p4YԸwAvOW6ry;GQ?9ʣc+ #kkgTaUCsڵ$je_FˇU]~>VDD66+]!kj"3+vF|S^0I܆WӇ=wy#\Yf/= C@,r1"} -U|H?/" Pe<+? eg=af$(kX%ӚxWwW~xdaf:[9*[^;mp0Jjd5g+C}EA,5eQB1 W*DGn1$yn;-\HbM …p,КIn3,V:7]Fm|nOkjASF`85A6, ȈRDvX6I h+~,+.&5.C"{ Qj4r/ `02&OMDzx1]jBPXߒjKjO?*f,;c9{EN$#bVyLI3́7b*H[s'`*gJ8'c<\d>s H䈶a BhC;gܔgUx]#jE a,gmr9Biֲ$䬘_oVr3|U5J򚘉sMD=dj#KT7@}oPD6U׃7t$wX\;LS/򡾋l#҃ʪsa}Cy, {1ڬt/Ж^ZPxj8ۚ 5.rDQԇmɨJXѫ;TtF}[''#ѼvRn7HhM2N\{^LG@eth7ֳlXm`q[UF<1IQ^&:kmֈj%Խ(x%BN ]P5\}qfS FnU)T eG߬XyWJa1kS[{v pZ;fH:ً VwD@zKSTX3cQ|v5$O@s B!{zDw`AZ@Q ҺRPƥnV@>\C*Cs8Qq2n(Lk/ے6ETxѲD8u 9 6+CCRsEmUIl??pCp FNRUuKo#97%bs)^'\i|.lt̡؁dZEzV\ UKYJv]|2#.7$<4!IIעP"ϭ_Qe:zf@(jb#ǚNqόuh3D`P%^a-rG6K$lZ0f~Վi!FH 㣤C8H1Zgz3SRZtgjZKl<̆Q3>ȆzfW|f') rdf1z=*,-QEcVG 'G+_<1,$J68ڈa%^"^ z]}Ԋjp"`qӌB8e ;n[fuc:\f㨎-r}VH,T z;Ha?q| E;HY$ XL}~g?BV/Lpzދޟw#N:44_:ϬӮIynv.?sɡ֙ 7gC2nz=pz&?В/?NN`*dG7utN2ckvڑz㞑m+tژq8^:eXy3MϜf<;mEЪ~Iܱ4=#!(?bV`Cg*Q d/"\ !Lpz;wgz>:.]нj[JD(&{ĵ#:5eC[ex˩TQ"=IEj~!🋅2U>R׽VZ~7t"HdFٴo;,lͬX4޼6,}Xrg fX)(.*~h >d %i%RSQ| !d#"PP%|bUA>P=k7EksymgòHb{MKptX@iVxZN{t}nm^;"j{sK k!GD»?\mr҃"Se@P0r%7y:T@4;?qg'@zIiXcV5y p&Lc˩2TSO*"H`rduIq#fV5h?^-±~NNS2OB ògm?LX ԪP\y-{4g!2 -i<0X ~P*+yokmBzܢ}Z6o :N9'6xfǦzC.~cE8 J Kil[Xc21Im0sk]%bcg F=A` -/{}ԯB-d*Z%i?@C+ތ[Qc"Y:}.TojIӓ.<9}zB2<3)ԭCo^URŹ2BS{)=*\ck{b m놄bK;}dY?s _a+ImAT{֔d7sz6K1K$Ǎh)o䢆|7uHv|#D=/YǛ%x$VОN46.nltptE:YP~vXŌj|S-a5Oss_6)WGmFwsLN5!snMM0`Jۨ|$r ovYȍ)ISW]=qHވ/ Ł,oQh.Urcc8lH6\SZ5PNq W( Xmv.h=e 9.Ac6J T0nj|-1;y }vsіuUwXƭ#Xs#"\MFb2?Lb0`e?:pa9&CC?p|`]Ɂ?0te싉ݪ20 ,ʷb̟E?3$`ѫy/-M8堧&_9 ڒ2ڱ *z/o뼲T#ٯB\ȘJ'+ 'ޯ/*b d Mꯌ,pOն8HF% 69yZF;GAjm48'L}0_7{2 IqZrk(x zxL? I9l@uM;qwV@nK^i1V%]pRޱ۞>Y~gkkhRF׃:A'M)1E5teRŕx6' x^F"@Eѵ! $Q8EY9p /x\^q֗OIMKSu7IO{+EE*2KW+A^EJKP}dgSAV);>VNwr} UC4'a d 𷡸U2z&MPr;gN?4ҹFe>6LΜ AD1kd aYZ)!Z.o/[䅫5n I`$犜d_D)yp5w卵 `[U>RփVA%o+m s?6E:ݔ/R{%"Ldz枊nQL{o2$1\B:=F&f>]صk g=5# GD i6霜1!2uB7`9[Gz"{Z0eS]p2bX,DoWhxcvʥޏ\8yrݜ0neb^ لn]ThלD׀ ?ƜvvjA*NO&6t5 j̪jPc*!gZT ɑdֹU҆0ϠADX`׳lZ %sRsrߙא~nQD"?oo(sI.uzI炿m&:hiF05OoŠg#>N}+ctFHp9׾;of&:x2Y̝k7sKu1B%?u\?  5rV=DECX_DŽy#p)|_O7 4D6 e4f#dd{&,VR\ҭ|Baȇ<*O%OOFY)ng"?.JӒxyiWs) 3>~p$ԧ1Y+YpVJZZZ;HG?x?q2FP)hr/3-5@Kt;sگvӟ{zĽ87((g$jVZep%P21fKq%cKp ?ByLsgӽPG4 )J!V)8O)%q"_q|{XmL ^Z ,`pQ ig+z#_k  f֜9ɛtSN#<fZw(_6x~or)f #bOwU 0@,x`R_ 4?{EhtASQ ,^L`3rk%V$3J0CaۅG:N.7SHCn2J Ttan2^u.ӳ5dD[Cյ YbGioW2[i6b9P?nȮX%/zݮ9DC0_F6S+DRaYb-5ˠ[̼|Yx_Ӿ }tQ2= 1ˑ4{0- Er&KfD>¢V1P\~ IFY?S]6xR|T% bB2˵#T$KLT#p=W5ɢ,9(E}+O3LiҺ cnՆoi=j }r%&k~ 9XV6q ɢ}G;>nXuJчDUI&5@6|S[U%)7*=X}?pr=8ML~s_WI G L-JȈ*•ü0}?B4͡R{6+3w}DS{N\`ˁ-[N"A/:Cv +WAE6gpĚG~Nj(05/w/r<l;}Bjע3UiVIT(oԖ$ ZIt-|EÀ"x%^5;oCP1xO _T 2X鮁O[yTPej\ndKӬl@x%N&("@ ?`)s44Ì?Ϋ?;zvUNPq&-N?9~R٩ F=Sgdo% 4.nn5Cw5{kBʳC~n }BR@{ʝOvFnENk6Xt1!}6*oFЖ䑎b #< בpi++9T@Ng9x37>m"Q+3=pD6B?ӸdThZ[Ƭ$1F|ArګqV,_q% 7@W11J: jl߫ Fyroϗq$"V b.-vJM8UqGF0!}tS0e^Ԯ:.L %kmzDY)KQ?n. 3-49q='dߓ<g^b;{? f@.}kGsk<[EN$7A#Wv;t˸C-H+;F߸ӕNEDkԪ @8[~D?ZTPhuhn͙FV*{7`ZSî|745)ѤZ0 #z Z9hCo}u'̕^0$w9Bavwff}ǬGG9ؖ2p jSTp:clqLY_3nnW+VH pwjH'͗1(yT>;Kt-N%W ]IXeir[as]!S,z[T?zጅ/tlΠOB?aiӔ$%Q ެ ȍFDFKYּC;7)YYh#! i@7Z/Gݍ ' ۽\Oⲕ YLFJ2 9,yZN\{ xX"81/]+$:>(?~hDSj;SC[*iThlF(Q5NI*b.}$ -;8h!4ŕ ox\NvJ_Vզ` hJ ϵ DJb(~{+;{2T)-Vb#4le&]=Ï #kYXJŠz4[~T|Z_]~|#Dζr)|GzV!g*K{OeA uуAZj!]pzl%:Sí'8]2qy[xW`c(nNIɮ< 2Ti~L`^DbǻnFmE]قӤ xf`Z3m[Dڵ3d`)rZM YB@@>yyƒec&t},cp-eU]> '? 1 !-s)ӊ1 j~OuPP$xȞ/%[vr tE:DKIn S1YOEש-Ʉ&GBO<"=~>UԖpiZ]85hGVAt\t:IP)o ݵsU%OwxR:PӕgvBІ e`Q@q|gNPF spP /8)q6ݚѕ #7\HⰈ-HՏExTԎ=|a|I] HqZ JT'hP!!C !]2DAo -rY\i=8 :ўTKT1Z M#c`BriNyVë^T'څh5?"E)_wv$ɃL]#}.@!5*MGT/B)kCJuxM#.ƙl.n; Rh6~CѲu{ڮ % _-cBXOfEtVC/dдY2+S4y6j X U¸ctRzM_܉(ymbtEeQ`H7g5V{s d`Zt_@XE&z;2λ=*ܬ]Àw><1Չ+ )tBt؁Xs҈j:Tw* huȒ &&ϴ]O_kxZ= ?ppnv_ڼ6-@̓wںQM(v CD."I;3T@ݻjCBrrEpq+@If>`? "Jk? o\pxqkv/[PF;&-Q0+\}q7V ]2Ӡ|%B#G π3i1o켻Hk+OC ړܭAؑ3ԗ|\Éo{j9`n!}FM۔K1DtP.M1;xNtS9,鿯/Tn0b8Pҟʚ~FR&) {Pb5 ?SMoZ'B! +y]p-1aW^sF$L:w!{DeOZۋL<zP IM}VHw 0m)B ?њ;u3 t$ *Jm@L0K۝Y Lt9rμFguWdwG~շl>_. !`D|d 'Ziiq<w/j8Ðy:Q2̣db-"8%Uk.tExg CvQQd<JT ,?,C0NNK s€}CL,ݫ]^Y44a L!Ygn`R#ۂ)kګvi6=1k'G!][%gHf*Q{zUɓuO/M.i T@Qb@h  4U?Aejowcc&ŒY %@}^@rYH7`Dl Dh}շwagBdxo{ѥ?.M^kmd!E((BP iUiP~^~7NHˎEc[a[زCts DxG^|0Q,-@tMe C Iߝ Ȍd]hX\ǂ>3HR %hs>7#;ɩNN>v&[pívtX, anU0Cڽ8SD`ˉ/1Dq)ECh)9Nw{gf3FY0,&]ua&`rYža 6'@UŗivZ }:g05i?;lv7 &ɞɏ#4} @`GјC"]zNyh*%v_r/V~4' {h~G쥰ɵ เ~^.vDrtP*szN_G##BodJyD,l$+1cդEH Jco ":?GXw'Rӡ-UE6K]jl &aY1uog,5Y2 1Dmi' UXDk-y<|]K0 EmI#TƮutńӾf鬞j1c;VVwF ѸSZ s=)O!&jE -mdg[ ~mȮȰ.X̀5c@C/ӷ 4b1ewA7WZ;P:@WptV*/\VaTT T4ilan 3ANDdFҟbpIIurEks@d\$6gꪐ*}Xnmf ڶkh q]$;%bS, ;=~z(WVũO7[rD;crϛgvTSuYY7lqvɒ#(Te MV-g! Yet7hbg)=[!4:಼߶Kp{ j߬dh87磗q_D'!!(_$oGVHb ^xiv֦p|>o_Ł AJLCPvV=/ \eaG_ d3Ç(6#șwj=H4龹tNkDHʑ\v8ջ.dPt#Tx|Sy2Tцa>BlDoml$]aN8+JL5?YI:K|1C:,uy nj>IU(R:G G`޾"NvѮ?T30`叮 H7zas1q&?Y̔3x12V;&{(r\[@n(%W(yL vȀ\KyX>Fӌ~ݠ4?mN|Qxrjl >B u sjԃǫvF4N&5Q#W2Uw^yȂ9tCYOCє瓐0mRIbX(`d:&DYG.Ȥ؄T3,8?"i<4?M9c~cAED'tfcF͌/f̴Cvݣv(PO`k^k5.^{]&9 @t$fv5ؠ_DZk[ѳs\ Ó>U< 2 _ss>g+o/ eɇ Et3Oh>ي9& P9&D2;tfX8\D~N]~3&Nئ1Am6#7e6'c~L+Uta_,?/ߺ#W8Ο~kmh0=XՖA H1OI826¹Om}\ܑa") Q `%'|\FU"c}K2mCa(?~Ұj8Z;CQp 5{)Oscfcg\ z Hwg$+(jB CGzJዏQ[hEXwNOSo (>D,޵!<'Hb lTi-uRK 9YXN9N Oņ4CIm (sUIBnl ~>l%~@*o GwR?CSWEx1n@hwtII)cVވӂ Ts x`vm$kH6Cfخ&sϠ6^/u57A[M ލj&9h-ĩ!4wE8o*->]6: , ^üH1\# eV((dzTm_ERw b6̈N?U|^,gwOrc O5yڼMySٟuӹ6Q\>]RT\U:]. xp ^&ІA] Rȸ r"TA`u=(l&M 1m,ō+7hL^M:ir'V"1"$bHߌ dƁM\o/GMɭd眾kγUTE&"g?y>RIx92~$*Q0JJh$ HBu2f>rBN C{vIP,y 6K ]m:󷀶YQEjs1yKUuoq,%Rj9Xe'umdԤ&k!lPi4“.4Y[Vewޖt(aѽKjHq*>aN{p?M }μ3!T$ڞq8O/۷trFnpbG1{äʯHwz}X< WZaP]CV)5}#FV\k,f:كk,?~=dH@leTbۀ=WnԠe. %ϿPW`[-N~] c&lb nerdtU}pl&_պPQu$:F}*M H&|fRU Y} ]c| cCvkJ; XMW=xQAȱo;m}ЉcpOU˩~R1E!6ˉCn 2|&gFFSV+n5T ]vOE{<'Ԟ_EBs?ݙfT(y 6^2t8؟eZK/zݠ(mTz 3Olʍ^ QZcSW]unR2, 9 $\S24r І\~%Z#տֽT㰧e2J :8->GPn^kjIVA.O@KPIG:L_;/q{Yjkڊ :R _ѹ\O␘ʍr(+i0vXP}v{:Ά',b8{[KMC4Y&a݈݉Lլt&,*C嬨iAK1*?k: H(6G3SN (;zq\3j  gIO]x=e|>4~KTf }"E_Q;jɶG#sMPM IJ˙H FDM>FkJCii Wb}KnҤgGd&'GK#haNǟ=>f#3i5mZ <6I,QrQmjEcEJ 0r;ByiV4rM_!!lUZbgjcI]lb ؈gՓ㦅k b6&:&B!3z?:)%((N ':N34rewtV~_G"^C,ڽ{oY`6M$&:Ϝdu*'ʅG;y}Rh@dIG12 ɦ0w77,C7tevC9;з8Oǒ8Ht[.@%a.VUBLg'T7 J+x7 .R߬SEћ)# ֻ?+/q.;&"ny0;@׻MҀ#nR` b >M~"8Ȏ}I[ 1f8exAF뀹F;TŽ0akG"S\eknE Lat JhKz#WB`.Q_sAPDNvy"Ta$Ν!*8cQS~-H|/: ZܙtwUt3ܸoot1̷ȍvn =xpf%*ד ̯֑ dzyjaO͟\7 K ![4Z]>*F [+#fNJl8/#wb|Gt?J=[mUN<5+JXjV_q$cΉ> q _{| !%@(!?z$ =9رq=`5iz'΂ z*r'r2{o'ׂ(NI{beg gl/)'<Ɍj6Xn+vD<:e,XF|nt/RgsiKK9Ya,ٸKvf+.9zHDŖ=%7b~/v a3@d:gۓ\s7^2oH&0jՋFf>TgfIsjL?sr5U!kՆh3/ [_o>-nqz 3rο;i4Şd#Tۆ7\ІfMu6|SPhq|cN!fK55PX*`WROqͫךkw\_ ㍷J_$A/?|?OT8e97a3+]ArhAQRNx %"ǫC_+ 4q3yA4>\cq3/oo(iSQp}UHX25 f!2nC/[64D}WXՈ#!BGˣ&ty훵-En|W.ub6s{C W ]Bl[\*8ʑŎ~ƛw/.WB#uIC]Dm#o){2|J /*FtHϋtpo ~H B'㓳Pԟs>l'cf6eUPxUށOjT;בY hF ܘGE+w.ŬPvW {*+'ӒAZ$tL\rV-xVn*3@Ĥrӄǂ&e z{s6 O1e M Pi(ҚY!=EOBd3t"Fvzhc|yⲌدH{ F#1x>gJڱ٩.=;QBG8n ά2Mtzi%̥=\$x@YM⳶QA?Ok֑,]D.יU73Ҟ1=l;׍!jɷW)q%skMAH [tO: bGR+U!{=N;|/)؃vDw棈6ΦAʘcNH ǞE?K9)茾J%lKF0UիNwAZ{zEO#W『lfܴpi!`YO8 CFUZ4dA-|q+1ÝTR3:3!J&rlTAˬ;J9{ނ9h@>f5Ȝ>n<2GDɱ)vN`!S. r6.jAGna1i q>{^2CeE#i P/Fۦec,iP}@ߢĎT5f_"LOD,E?G0M`uH>-!bz}̡ :`m}/g#,!W!M JC9H(%ɑDfC~1w\\3E9Jzt\|x߾FOE/1Qr_]MAZn`gqS!ߡeEE#g'@͂|̼0@Vob&͚"yqfwfbJlE!ܠ^B_ş+6Iцw)oYh Qwy<pkjؘK:γ.gewy[ N3m|.|YB/Hvg`G 6AxrRۿʌ_ԒB & 2)s@9jT\%3w gB!?ElE(49'ޝoKXx\!9箋Ք*'2Ln;=_< PP \rtN ^k9APM>l3MTF# =*ȟqie\PS7Vl1̙$yU~Ipa8  I" S@ )OI`/jCZ+j5le4ȞKy=E>m$Ua]kδ9/"g$wJ۸et)=nmܻ2 mEn48et'J#oK‹0bjRi#h._$hFKs@H/VxF/Ui{?g]vCshٔy&w'լ(05^Zߞh@.7S*IB-k%LI%!j͒z'OA~IoO#AȆi3]Uuq;h {hOeZWF%|xVU֥>KՁu`+[hfLb=RY6RƮh^{Gψ5ɻWRZn:rl=5CĈXRmY=O;6.TR:(`fȌԶ A}%y|wǩEFzG))6=S2317f3!JsZŅbxEFnwLܭ1Qr+ugS`~<}V6x_Mi2=Mq>x|+"}| 4pfgus $`JĐ.+I*џj)niL[LA@]w= m5)aN_Fq3SOv!3ϫD40זA01=h cnCPC#?(5#6Bn7q7ixaptj4yU i&-hl䵎D_ZvfзYIç_)TtEiM,ﰐ[(#SZϼPɹOXL& 8! _š4P.sb{=lLЅTS͚e mطZ %ǿazc\X!')go>A{ؐٚGa0)fe~) wn1@9# p>Γ4ʦt#\ 0 d-U&gy8ĒY ɤmұL9Z+ᴈn_3EC'ߗ.q oע^)m+ fI=o$^LIhVӑc7#qr0c@#DH漐wE?nd2"ûrE8 J, 6m]1| +iKw-tگd^|29gn2y%ڎW4pϠ0_6y PrAY\E؃[;Z173r:kl<ߌn>aQГ?j2YSrev0 a|S\]R*Êԧ oje$PxE&}+m` Qx.t yO%(R@ kXd< :a甬޳/ >E7H1PrHU xpϔUrM+ta[D+@u7Beȿ5fe7X๠En4FZrT(L6!3ٸ_XoYhI ҃e] x۫ 8T\/Wc4A_bőYJw]Zh.-diq̎򸙀"r$ t-P_%H<}#ھVGVͤD oUR&Qta#_>WD܌(? (WO"r%D@%j,b=>b=oPUv]yM.HY'6 ;l aф8iطlDĆW+M8r͟FI22! Ĕgg4xOơA36l7'DgғMC b{'01?-K)G4Dm\iUl1ޅh4J##ZLqOR0Gau,RU4sTo+Q@*uFd1Y+Ý->@t-=٥C3)?m.mE)L{X k([pm k镧r}quDWj'첚za-2z,PܭpZ+?ar^~Uf.4"oe)hLHǙ5VX'7uA i4&LJ1;Qv&T?\Y:VD캉K5b"j6835Lԝ^ghyr=OaO=M\U ]xÎ69gTگ@G?bk#-_$nIVPJ g\z~Mˏe.cB^E5(悝Qb!mfX:ug/w^`pDP @bH-:M|*mf9¬]B-HeI'ԩn5fvv4`B'.ɚ}, XKN歐pa)P{ٱij471ԥAboY[c9 g Tu}Y`bjdUcuܚ<2+C>! 6:Nl bD +[ ++I9t&M`p4߹mGOKΖbcH,R%w P.7 "32Pl28~{ꦛ6;( 4xc2$QA^!{x4('~&K*BWj|pOB`۶tc{-ݬ^yl:.zg;{ %l1pȲAKpuzٖE^ۥ7IVn8nERD<7g*{[yt2˂ފw?7ZZLG -wDz!^9 UyB>6|Vj836M~16uXą ?4 Zs. t~C Wdf sуN Jɷ~[g*qhIY|XkԬ/Wj 7s"Aa /9{ pZxAql9 >|zq~Oklv,Lͽ٧px1D|d!w IzZ r,!&3F8[u1fDfX3vC'4s$26Bv<Tr}Y*- I|m̺2 dKaT W2xR1hٝs䔝@ Yci2\ a o .:ה, (Z! qU9_)E4rr + KNwB1Tʜ|C `+c;nx2.n!pxºuO\bеe 0R EŞf}]P,. Yy@tn \O!`N/2 0V]~hds:9o7TL0e.ո:em|AN1LQGKj%Rj\b@wxMKB]4k )#. ."S̲쐺yB?N92 To:vҦ^6ru8~`Vܪm,s͔'}V&HkA7QJzԎZ;PY*q!X*.YE2/4]Ä׀s98 Wfcݞ.a{F4rWeI4l \J;oF#;i"cIjXF/#.^>=d'-vusrs@x.hZ^2`tPi9RïR@ӧ\tkPۜ 'j^t(p4m/w`dz47Nwg0ipܞj. > ͘ 'L;R1΄A㈗`|Rm fٺ`.w}OJU1cO8@ `RȐ$v=Sv\&̺E 6 6>eK& Hv( µ0r&(V15tOBm![$r+4wxX{,+wN<)D8<1tXhRȮo!FA"I]Tj8U%o \2H&|OEvK|KqVd\a VxC[R ?x(D:ŠfּWq|&:]ֿ䇴1k: >HU@ȭ+>fq{|PB^'KԘ!A6Z,A8ڮ$7XGT"|J_md)Teh:KFXZO/ G[<\BY^z5+\5/)"N@E*\_S9*9GՕf:eoP NtDM`)"v 9جg+M2}G(M@da{qhwnx+r|,(;!}7 O CHeq &N}4hҝ '#4]̑%bƝv~'; bF?Ҭ-ղA4(&+8S3tZ!ȄVasލk {F"\jCDED f`!5ՇVw;:4\I5?~ԋg;O\ca7bf> m h3vi ,I6;wQdk+zo=ĊYnKuJ `HyDWMU%Pukdh/?Xw9-%ho@1GC/M.PX54Fem#/&)XPTjJZSv5O[Fі_ҢyU9EG~=-9`4Sa2wFF0eӴCʣsj[A|.2b0%JS1T(%9#'%Va64dml#(iO/=$E)⫎a;i-] 9:y=C$QM]2e} XEB<`qSh=?ZfP[kq؅vۍЍ‹p2I\FÒ Ӯ8R3rH|B8Z@e]L@6D=n [x!̵VJ[Yn58^c0sJ-,99O~3cxgz]V&Ic[K@渿.Yz8BOqm1BfO䖬4<]ae|D:F[Xğ3/3Ә[>(50}&Vx.hAؖxHW.29  PÍ qDB~&wh S-];1)mQwΠf|kVdΞ[ƭxml:&bᨉ= ϰL$6NL)ˑRעS uy>TCjW.>p_r [5ԝd8$%RIQ%QeMc>^}*oȩpʯWWYK% ӿyo7-La_]VپgrY s WJIinߛj4ӗoln8^8nAZ?,T6Bs!wS&Kb$nT,h * ] FPe>2~e1n]˫"3.ԿLw>PahY0j悯*i3؂ys{j _v}%Pg-X%UW'O!2Yu 6 Ԥ? śho1^RG03M?Cl ng_`%+ @b"4%GPS@_kQh-ƐB<}OHN>`,2³ƥsȭBkG7ʜ<jχ/,~0M,[EW[aoN 7;%Z&/l }LMZbeOԳ4a#&t3V 'nAjM!4N Y[( vZIxZ j"J`\ZԸzUS::Q#}3MñgYZab917c68b83d7b8a4c1da73ca06b450265e8d72596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49