SQLite format 3@ %.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1 tdt ]]Abstract-Rewriting:threads=2elapsed=36.514cpu=59.428gc=3.408factor=1.637zXZִF! r]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HO˷Cdd/b4WnKfQ bc)߁w!iCM5RZxLB7Ņ$vB:B_o4VB IO,ZpkvoAx WCm ^5&v<8"؂>>/ӁB ִ"L@Je3RH>{:٨sEeF(Ϛs'ј!LGotEl=QhqH5% 1 Abstract-Rewriting$s1W% \Abstract-RewritingAbstract-Rewriting.Abstract_Rewritingdocument.tex7zXZִF! ̤g]A-MՋhvG"uIBm5y6C]mĹ潀ƆaFJwr8}Fum6/)2.JjrؘO)UQxmDmL1D2j>- ssdcY>Wve4plK̥_`=Y:]} e؉ z%8_lOb|!;vtd7G~a:y_ӇUJ/%_ >|r}j"7uO|[lha~plEWfKPUMCy4LgL01 9޵cJ[K K4f)Q8oS2h *dy˸*b"Pa{I{ 5sSi7}a1oal)/BXuAv %myv$굀{F+%[2WTl?[>U/ y\hy ,*AMc̡n[1ߋ _)5mlNt$4:Wފ)C)i)@p/zRwCZBބGN(2u嘰i_YFcXNά`O/B"cK*IX4[NS 8Cn{#p.k^ 0d gqkWչ"x9>[q}DMş`¶p^dG);pZT$nd!o^`Pzl#HpBq1`-;En:#$ξj+Pgs+CFeYX*Cnso%AW 6m 1W% $Abstract-RewritingAbstract-Rewriting.Relative_Rewritingdocument.tex7zXZִF! g ]A-MՋhvG"uIBm5‘EGʲ]Cg!>:V\gFܰ/Pد ʮ`Z"Sy@,S~n]^Ks}Hxͨ bf۞VӒi$+Cԍ!ˆ=CCQYR&2u7hĮK4< :bAX73mѨ bTCV7t=Ŭ |UKM65޳KEk1rgS>y)pHeq (i$\;[3Kfsʏ%WG*G660 R @@3yfsyB^ 嵍I&A8|{,0rl#YHhbᲩ$t^DCpDAh_2=4]N,ծFr u .QaU$S ='[ f3='\ |4u¯#Sb:{@hի!CpDMcsJF4hb_.uGeD.Ǻ+ZM`S:Hwv;'S dL'_0B-_9lD%-8c9sC:ݛ J|]FeLStt=#v]:Jn Õ;&EIO2qFRǛa1{3X38W^k:;%ZdX3?r h1C\}b/ӡO ^jڗIlHW\f"ud^HHZm1eixqPУJbBs`Y䐾m”C?S8+?mҬL0R 5xA!$toUE&:u!1t~wŷ_1 DGjb;LJ?b~4jv}Zi4zw?ˑ[P 8;3T0 !8M|*W2j7gxi\ɿL.Qs>&qjyF͕ZJF\'wjV[Mb2L]JcU3uΔLÝٗip,sVPIǽ :ίq;' hW 4@AkWo7c Aov wt&c1GVO !fJye`n2/] {j"/o׿<dg`Ͻ8΍B&O/ .4MsW|*ȶGdO9Rw%Ϲ^1Qy逧[dxG`Ss)7LseO`30Vg׮5ی.rgmCJ EH㘻Y1\6 /o)I&Ņ IL]N qJ&tE/( k(gf# 3jd2Đ>h)[zA7;]j $A|nI`2rR 2S[ȡ r$"I9KLeC vW8k:[ROO2X}j.lHn $N6\u!CwAq wCiy`h3&^5Wf \@3#$ 0e;(% cBɇ3fv' N@Iab# "  $m%l& $ a<1=%Abstract-RewritingRegular-Sets.Regular_Expdocument.tex H1U%Abstract-RewritingRegular-Sets.Relation_Interpretationdocument.tex >1A%Abstract-RewritingRegular-Sets.Regexp_Methoddocument.tex <1=%Abstract-RewritingRegular-Sets.NDerivativedocument.texE1O%Abstract-RewritingRegular-Sets.Equivalence_Checkingdocument.tex@1E%Abstract-RewritingAbstract-Rewriting.SN_Ordersdocument.tex<1=%Abstract-RewritingRegular-Sets.Regular_Setdocument.tex:19%Abstract-RewritingAbstract-Rewriting.Seqdocument.texG1S%Abstract-RewritingAbstract-Rewriting.SN_Order_Carrierdocument.texI1W%Abstract-RewritingAbstract-Rewriting.Abstract_Rewritingdocument.texH1W% Abstract-RewritingAbstract-Rewriting.Relative_Rewritingdocument.tex 9x7RX*@J68kKfBO @(f.kvmǵ'oB:Kb-[qt3Qe<` "6z~<ޭnR+: l)h6(RRMb}I\m j~]"L.g- T, 6{(xCMM? #h$iMq,\"IPraltnjIմ~*0|&L`<9o\)-9I^.[|kdrV.ri?ȓM0P^!x9Vcv&**+<166$ZM)n9R4RS3Ck QMQs,$v y{HGkxBEz]%K&~k&={ons#z¯cMqއM&y IlW]sg-J0rw.8x86.i ]^a0Do|dan9#G }w3(䂹˞$l42~EY2S~@B8 !ǨAB [|BP˜CnHH G{%[f6>{.;}|Z+p|?2Rcء8vIw%ErSm`1^}w d&jTCCvf7F1&`Y#26zP↺ =f#˥xti(RLRP)wv\+æ \].myteRլ%_iM"!>w1($ XX@H[$K &A^MѦd66se&%SQ:iLrdh`wU K ԅ(DWyȷ/wҴBAYeJqշϾwI:{#cHv&!9@"ZiqSkp8l9RHJ-Rj,j) \}kj$ᣜ, ?匌 9B;9kFO7B,q tdYh\[|[| ZײO2]u8W S^ؓ& =d3)LUlA >X0Pi)yru5K{Y"ovչqE"􆰳]ym;>@ *|Mܘ^T'<*cՄ/=JA^Ag`ºKd1D\Rbb4ѱ#KԦT? DePkn]H5EwcPGtnu>v@ǀ9bX@\8Jl5~:,{)¶j8mSIF9aj xQ++t hj&Šv {']"aY$b墂=)y?j#{ >UȌb9.} E+5(Rqkgċn/u Yէ0:9ç0%^~sIٜʴוjۨꐍj說*=9S3rHg}(O}j!5h@xA0Y>[7ղ] E3LPkOZM ze;9ܺ6+ǫSݡ.x3om?* TPx`ο@L˧gv6L)Qb1O1D8бq|7o=՝&QѬ6FsFʰj<#_7@$T:@$ d+=EP5NBl͚hn4䀵A.0h4@^¾1zKNw:lR*ӟ+WlPX!kE:-$h~%2k|p[4 }1?hXmɗbmF$\?$?qԝt[6E3CwgnnD# \[b ~ZיtC&PhHAm\GNI rՎf0re [rIZU#LNˬέfZ@|w)ZKS}DpUoq_!qK聯b&65}o*g9vݵ{:Fܗs㱉\w_~eEX'&;=Qy򹃹L}?z\˛U;g[MxC S=cַǑQ$We| =qhZ>:^TR݄ӏ[ oST/;1* Fxmq4-M_)c$0u.zj%KB9ĆQ=VuYorl{'_^f2~hrU"gzJi#c uZ[$Dæ7a_9Zk)}׼ &1f|7g\O:Y"fw'_V;RH?7 \k>Ò p|t/BF|V=óqbԦj?J8MZK%8G:8'u{8oƤ{mQ$O뽡!d\,`YD&U%S}LO7_hjE}֠Kf+^![˳NPCP-3ZB*ma B;@eY D=?&4NSuu|2PJBRx݂*^1%#ưT^: k|OOW͢8s]GNu`7/ZZaIܡGhFo&Ȅi,:r򗇒 [ ʀ^ʫV}^`2kjStjO1bi8Ry]2:uƒ+5Ƹ{*~]4WR},Aē5ѧ6W:".xO?FBf`hnf M'_2~۳n`48D5#/r"ǣij;JL>.ñЅ݉=n3cUd B+M).2cϲ(ZUpkK|e?ѻ{.{~LrOԩ1DvS?=56c<a?ٸttV}ƒ~[_y"ATC6Yv{lVE*݄haSmXԓC^&2 nVݱY@9;m C[{M3ⲽsG0p+% qy#Ud#'Z3<r阻5]Ih통ȞϴKBSC_{m^M~ѨgO8&ܣ>& fq==5f'΢w7|n|Qo݊*-[褵T84b3l?/>*ʒ Cג#`r,6gvx;O.=˘MgKy-~ro |X٢,ŌZBďYw {]Z0P2|jٲIt{6e`(< GyO =RVfyB%^jꠥ$+(y"3HVK5M1Ȩ0ϫ(Wx&ݧLR֤<> ڭ5Ef믁\LӕՉ:7I@6l{y:V"hêKj,CEbq;> •Jphwʦb1)E`P`)UHRfgu"n違hL  H?e<ݱ;M\lX.sI6[ C=*El&DBPWЦ/Wˆ[sRD-ӣ悧Уi;+V.R/>(hK[1(9RV|83$|O`y)t6TА%+ >zBnX&vX{E"8ٸXR1lyڙ@2߱ Qh,A-+.0f}%1`wm8~WhqtzxV:RT0Y91sPc3J BO44.ɱVR_Gn.\V~@/^o(2!]㻅C7ڨ 6TV9hXgo$; iEMD[V笒i6"50sp\X z.;PdgՈ1p7oGO_7/:’^DYJ(%^ kI3yyTygz- 4ZVL.n&ӋewrOF֕Jn{ҡu,[tDU֜-Bq0(o"H@TO)p@EgQd2\nqnVÕ\fҩՋo+5Hɝ^Y.Y;CPD룑5']Kb^AʛD*dJx@ =W,wE[85߁F&PricO3ZHC]w. BrIisJل-,hc):J$>Nv_~Ř{eG<@jF; iw¸H 6t?}䚩b}T3&;zB-i}'hJT'RQ[h0v.wP9 }lrBwuCa No &bVoۘm@;J`Azy9GYgPpzم`m'`Qr݅/lzSƮlR=ID.J1g:$YtaD)wd-֕1},T$\ c Y͂]m#5we?PjwH&7 t4M>{R\@4N+z %v©JāI nY 2bU+)٠A/>BC:B4͝s3 )CoPL@4f4Lpe^DBtNڧ7v}eQi?z6p 'PZkT)}F'+kF͓/d.ݘ> C"IlgwY$ac_]ozEP01m5:Aad`o#HoOt$w{YԜ&)< ).8}jG"zT` t9(> ,maM̙1\mà%KX^L+uI NetTxvFodZxٝIƷO%zn!CoNXX KO$fqQϚ_lÚ`/ba]1}8|fGu!# p% n߂=l msOPSq"ohw,S֊ƚ"DuC*F} Y<:@ȥI>4VHV~ ]1#bJxtDR !"\!nzh1Cp`@`VrQ@:x:Ki{8Z?rG}c9.B1 57h61F뜊EøznĔ9> "ᎊ ױ*s25͜c8zW~;lߑ.ILae+Á Jz;{BRuaR8z湪]٤cb8?{ mx`dV?"*$~VC< g#h}_V\e'NOF?xFLncqG*]In$S(xlX|]g߳;)g^ ;ZCqh Nh*Zd ͨ];Q*>%7kh$a)رc OIw_~cM"c = J̯͛Hq҄)UJ?4?ml@]pSV֗aʋ!qOiil)+XЁ_Mo칽_hr=D8"?\!Nߴ6~A2~DO%Zoe^CuVXu&GBImσC9»9W ;@G30 :RDZ>*@dUܻ}6V϶׀%و`wOu;2S,S"۹\|>S1UW, P Ƌ)ɥ' d8w24HZoZsik0~o\Vꪎ.";Wb [%)~}tgDW~U^nz&]hmz6YW'⽿))Ճ[(zV:)K/dE2 fV\lV^@B(DڄM:xmn%ReN܁ ҡ]L$'{+T%} 씂@UB>r3)6# dZ2Cƭw9#Ce|$橘R&S~ ݶ.jfK6lI#Z$8)=\ɶ;x lJŬV|9$=HG3C IAk>6QU.^H ~)q 0dJ%h zc^ mV!&kJ$Whl=")n Wr7ř֦cwo(߾Og0^HVWz>(PۙGl;~)̓Ȳ^DhDlqd' 0{ʧsƻrI&83̆jAbf(m4U& { rK I$(?^s{b::~ubP4g| 5D" t6m,^9(țPh:;zw#K0c_u[5({ TcSJ탫֪G'.Gy KxLxx"_pHd[kKLP9pvH^%euJ>Ejso0\L鰒Ȓ fBA+RS:>1nƧT8mG6MRQ&v$Ʀ ?D={HBK}٫ջM(Fy/p'eȓVx gyD5t&*[@{ ʲc< sSti/[Q#(NԐ #hHQx) ɸ_}esO[W?ugRnOo}Ⱦ{+5D ;R;! wk{'Z0D"ml[%vvDZLDⰛa,&E["gu k ,`l ": #9_|A"K*j\xoRN ҚMtU<(A~։~2P[1f(UJIZkCu݂- UL2]Z ޟQ'>0d++/s vUo}y~V5}i|F IK1.oZKnR$?En{mB68]c.KX\eF<}3NMOHGBrǻ*FtOv`ln}] J.=k$QNp6$yB.!0P|w8b?Ec#Hz~/zL J: ؝0$.e#dtX(HiU?_G\JtR ?A 63;tS OjJh~%3RME(g}/9NtO+;wNy Z,My0ܴ m1{@N)PE /<9?Q}ù rnoIXʬ :l*}R#t1aP R #Z}4q&j! S)|˥p6A~*i`k njn4,g$g#;#IH&Ե0"$(mZ`iF&rjtPJkSэ {qk0Qq`4_ 1PJN5n=#c^T @ :&M tv9xm|L8N"!ĉqe)HfVv KMWt ˯x#P"<;]YT闋?i~dۄQӏNG$ۧL~J i&0K@)(}`_)R՘n?p PwRP[Tyn~щO96@$5W6r{*)z.w ضB\P: OdvBݭ,f.g DsJin!W B 3 ت; mtzkyi@C٫ x9gtpv)b P95^A 2:F`EJH,4uH$F-ѾvzGܟKq|(n.&Q]p:AiSW%^{"Sk@s7.x4œ _*e:3;3zMhU_!:Yک;hêЍp?x!J(* P.RG?2WWd{k+2 M_ \9ȥFZ+Ѡjf7 q=?aؑ.&Qo VYDԥз Q }x\Ǽ4Ee:94ڜE`W˷.Tׂ?4/o.~yI'N"#A`0JmZe(߾80mqw|UfiBOuRjTζVYXП73?%+H{{ p)1:r{qD< MU'N* Y;ئf@[>Iw?W{\~/|vAhݳn^>tqXn7 grDgsi89LRE?YlvmrRZR yUdPJ~!5XA ѨCt[7AHiIŠfCIzf8]w#I^p,W!6?~$nąz/ VlE0zp7lhܗԀ48gɒ ݚ은E5YR,u?Zq4Nn<ʗl9e0u.s[@X9g8pxD94)`9^"^mhGGg fB>,8 Bg|:BɫcW0t꩎Lub۪;ı7LҰ6rHnLq2K7x:d׏T,s8[!㵸9!FHi2X7SiO˗:"{bVBJ~'-wdz)&%>" 8_$+b9dhJVp̴!DJZƔ>R&E}'u aˎѯüc5USz_b)#F4sƾyn;,ug~^{޴/+Q$ps 2Hta$abkiK5! R/=M[~Ɋ{d-IOעΙQ9K4RQCύ'Ů0Ko"jy33tV6maIDh?L3Oה[>ng$%`KwA>+8(pJE󎟤.-MC! =#o!=!`:g]'p cDΡAgiլC`79Yh&:H&;i2S@:w9Qh`ߠ[sb⧻ 9QbgQQjdBaԁ|q  %/HZR@Oho B}mAඍ:ܤia q,_r"uԟ7bih8b_A6S+8nrroLE`𵫩.zj^XNi/9)(~lmj^%S\!orNbzQïD ऴAr90J?0]M"TcG1?6΃j*)j3r~Pk")w)MQxi ^u<fun4)N- {ڢnć!', z5&JcY lTǾ*c~k.##  _V1 Z:1L{<(` qxWx*C bbL /(D/B p[,~ dz/&"vOXŖOquON $)0$Z-ߑ]f]HV鉷#OE]X"'Sx(n4>w=d ̨ǯ@Me~6GlgHف\<ޗnnw*igRq =>rڌF\X"RKh04)` q *.kNJq2WhՓY Y= /D? Euw%(͇ W L&fh/hUНIt;I.%ktρgkn؆Z tYD褟q~SݙL.]0qX #d.f{;k-^-bzQk1f-vFRt҅hi;iB 7h.(ģ| l}} %+t6Q3@ Q1oQm7DE8%Rx1C~jhUdE4bhl<=`J;dcʍvrf#)l "J!ba/Q^A¿۞/b:g,k*b9+byb+P)5EESQC+Du+ONἐe+9/Dp7X:fx&bYOBדnO)R'J:k;ay8nmACD`iLJ.3S#EBcaJ9+[19Uā.!c`7mmfr}7,ʟyX!i3(":^}NAaD ZPlhdӉ1]Zpz͝ah}ƣ1Zњ>7f3&70{ߢx+:h$W6fϷZÆ6%Nuj&f5avp뿵=8yYD/SkbyU{>Y?BJi]TPͣ~ dpxwɓϴ cX@L;*@%¹>;9#>xYdTRCF*VVDOu*A{J!*0QF_74ug`(LP1cUE4;B[ ן ~gU+b$'2+zぎBIpxZ⭏@jl1l\8{?cz{z=ZONv\oMԺ*?zNApYhwnýSTE^1ROixH iY_ū +,PF)h?XU!7Hz!xǞ7̔$%z^ox]XndxEY<$XU.Q9#`.K-ضUV|8?/+ۨaPJ?<4h  *vrori</nwpPWBtGu ~l"41įRMR۝3@>Y!K]O w42p.(>?O+x͢rRER4Z$Ek^,̩P ԢScW'^\к,$ȩ 2OjFf"f]rLɡHBmXz \M J@ qq*ibTs_Yu +;m1Fsh>@K֒ D& SF}q8.ĕ[G~:Av>"oWq dG͍{,ϢmN8X pGq3 zBt~cO*~@ J|b3<ѿ!ܱDڹb:iW:Y1 A^8w_vUMNiȐdl!/ƚp]AnHRZ*ϊ՛sQEMwm:#:f*W9jr%2jHpkЃ]qyH;^10e<&*O7 nM c= ﶣ%lko`05Gx4u𮇀[jLpdGaK6dR9y-յS5rq%3#O+2h.a#_,ɜo> b+a[8]7)@afyR I{YkI Q5 JϹ \=.jôݭ{+b*v\X=REф-ln4-΄7sa =t ò-d^8,L}poC2O2rv{WTdGD\ݭ]!w{/^?XfY=zeq2ϠV 3+_sgSRXlRWPjVu:^3}]1"-g( Rel+ f"f}cȔ5Q)^h[gEm& p@} !QcuYD}]7 5Y>IG`#kEV`JP{kub9UW;ϐޫd,OEMt?* >2ڿjpőO$bO*e'pȩdv2|;2gy dɯ(dTDk1dŤIiqMTh{X X͋hK5$7JK C8b{,*i,>ٝFu{O0+uO=)~^xI)Eq-72tG&ds[Ƚf{x |* ]ApUW i"޶!ыmqo.m&W\p;?f^WE5g-&lыD5=ۊ~VaOnE  $sVRً͑ރ?w9E/ 9]KD7ڥBܽq6׳kVq\ t]ςÛw&&owRj?5?I1b պ@@մC3^jMo+_3^LCLGF aTL=ie 1\u{рg)Qf{3CPT8%0~Wä.ߜ4\.$]K1YE.6DԷ[*dHD#q5woQamZ;`簊k?|׶zd&QT2:x20x3te-ۈ&9`eb귬W1 |QdO4(pZ!e3b-Aw\WVjh_|P8Ѿ<><LquL-}X_`BsɺFTL6:D:\C0eZ{kx!ֲ9g >O+XN 8"0^fnw llSSp%IQkn-î wB@Mh5_ĽId70t걪d hoWKNb֝Zް%e UnJ.t>pLJY,HHRػٽ%9-%ʮeH1N}(cM^,25IVQcvXːbCK:tťZŖ5q u 3ŞǬu0S,8_UI g/䜌~!wțBQ5JU*24ck}V K5ulk\~VnMCle1:x#[׷RߵJ#H袵#;E0ޣdMCE}R\NpcAEb8\22a_ `54J,SuKY*޾5 EY&.ri) w#Ӣ]/^ En03±a_-h(XCw&_ZǃJeY V9jyngOUN9;Iӄ<# fKlw F'Ѷf%"wӏ糋3y#=Na|I"{D qk[*AmnCظxZ{dzDҙ3c7s$HG<˪P8]T*{+=`OPiU~k!%AI F7Sjv PgDh.Y\@I/4;ؔ)&7s~sjl|twNN7V#T42DlQkxBk,UWCxKNu"cmYVoCdcDlᱸ8p^jLGz`־Hs90 zi:_SO 6(7n⑛(dJ;NV9*H>Br$B ̴?%ާHl-L f cr@YwUU8`42Όuzېvo ]O.mh ay[kZ}QjۈC.1nh9-0X JEKEd7O3}+/ӪJp,OqsxtyFx1_ɓe^%rLú'fN^GUiO&>zk~ P.r!,`U͔ߔ{(l2%P`U+[6|Fc~n^ ^D1O4xqM \4p,kV ģ20#;+v8?emQ|C͊S ,y1G!_R6bbЄ]qxAHN[p0v)'E Nw42ބ`ߪ5RdFх. &] LWi;SY {3ݟ0@~Ml*&@TS{Ql}bKaBZ>h0f*]o}ŠEg#&DV'҇f :͠Z)7b~HƷjd+%^L"&G6r5نV2ߧt[NG $Ya̝˥QWAk6 b6><'ĢY-2I6BPtͭJ[}/NuGwp[ݠp!e\9 SQq!}s^!$Z3eTo#k,Y#P@q'@y8V8u~gY8ɧmq' !&˙aR֨S f5_S׋ߐ qQM_T}z`vN[;b-D=uc[=i_w[vʍ g2' cn?!$6-SE4m,BzڐE H^01>kE9t&WI!k$ ٓ&x~jTpT+$ :uMv]X 5ij J(-K"F>d0sSXEҠen fw1i`$ cX[O%<6M2>3vKW!_f k"02I!g X6Dg,.StW8#ƨձBaq%ѷ|E"ɡфgIJOnytr$ȸ3oo\sDA//r(ڟJ+IȬQIآnRPt8qxG :T`Q~Lf=/K&`2DZW[ o\ Ɂ/w E)_]ܬE efT-_t]1vZE:^]ّuQ|- P4+sJ)rTەͩ-{VuA/QU>tSF~s`HгckAs |0sQZX]5`xtY %:d=toH.;/kǸ#p~8du6yjy>|5gRg*> M)҈0{fH!R+$y"@Q*4ܬC2JC7煷McDk=o.ZK+T؀'!FuݥPwhM}5 aQ:40Pq_J<?"pdH 㻃桷='ɛi'SЌ+OR5 ]DyM\d(~ ʾ\ %5j/狕 K(fViQ):wkr^=. E{KP:Lj1 I4QWaX (b=i0'QiX~2 楢1/%T)0r@*۱;yv4ſf\b͆S,֙F6t>@~'2˩vtAtRSQ@ ˰5,>W}- 6gzr\*a xN4aχ ,iCn_B͕)I80F'!pL.BR~K=8beD{af}M2+9o>+nVw ,. i 0-> jbk“:[ߖNj<u { 4asN Qc[ vLuyuk'iTōOs-fcB/׼7{-&ҜzH= 1u]eO8Lw rp--eN.:@ ݷYA" k8+&ԼŗaZȩ NQVSIfai.uK;77Njwj[dE@2p3><9I ԏ]D[׿͏DF81))G=ra?k8QUD릢4loU>q.csǬX䌳e|z]*glPlR>n_%v8dOkc~ML=Kp2E ԥw︪XX8[>pSv1Td򾉅\CC XzMSyc9cz#S"} AEWIBSƤofJ albJL.X,T]4@-M|,ЕPxH{GL/. *lBMZtn/'Ik)zc vwMI8`cə) ǧW4@[sIԤOoa7F̿(+! L.N%';D(xfme7z'ΞQkX*J~SĬ*ltBF}[{G{#~SR8 bvհړkVjK7'c ٮ\z*"C<k&G.( B񌥶5gWYgF/iIqa-?Ձ9tb4t+kd_V(9"Zrf9wp^aC|a#8TKB]W=u$u;zwEuH*%2e<2!Dv>ɽl_>g/2ız==I)ZL?ZOwP#Rn4̝'*_ Pdv4ZN^e:ˇ#yа.U_Ng`ȼ v wOwddC  zi8zL\=D]r;xjbd魹[gVkdB> >w;ܮ1Z/F8a>=Hy\9nРhd HPAj?ee##泬7i-Cm>K_]Ŷ:7xcDDSغZD\Lܾ =u)?^do8i_WSmu 0ssbgm݋>cVvu T,ޗ+| =)$nNN-ߟ lV_?R-Qv _+9`m-i33bX@ei,h 4cx4&L:(Jvə=Gjyz8rɰ!sk(Ŵ*#K-\; )<pĤu>+q8Zy0WK_oЬ$nZC[=Џv@NdˢV-.[>UgD%̴c#0ec,_@4!dR@7܊9;VV!tЇg_O]i\frP/}ao39J?s;doD°v ٱE+7PoB"IY60XnweqqH 4#'P6UQ+_;3Hؚ9 #8ڜ`ۢ}hQ!M Bsv|*^#|ul/Z+D1jgNc7&&-Ca] 5@[X{P'Wީ)^J7{"Hxg@rh?!5Ѹ-B'pRXdJWe[s@h-;|xZp>9&!6OƲm1@slzS86ۉZIJ3X|9as}&֎^:)hHS r쾜RA[F੘Q+b߿+e[7i)/!7kTJz[P'C__祏[$=9g$1)gR5cX|E&uްVjsվ6USA:l] % }!k&Cxof.'lP z`~ vWi!֦ #~XXg`94]IN &.x!DSA:;ACXYFD;Dؘ%8Kfg3)HW>f7B\@L+<Ϣ@7RDD)":0[զ 0:V?=̂yZf]ɖhw]/f-áȔfw,ÞEPBLjTȐM%gDQ 0γ8c-C#7߹=,X3L!;1*nvdq'f Gb2>HOKԢ}C'1UMl}R*GD>o/ު5W~J*!=w`QRs><*Y:I7O 5WTQI)miY6V[o1"X557"dXkY4iJ#p0 ORfL>=$LȦ8p{5䔌 GC#MC nZ*V V`S2m܏W7dbbǾ^G%7o)ٴaJS>GM@kEr&2]rDbF_bMB; 3`u -MpH+2A=ĀN~ygzW4 *{]#~|ix7ˊ P*k뀛5!U3/]%\no\74K<  YRlShMl? r{Ԉ%TNHXHC-Yfar@s7>G8<GhQ74uάmd6'aY!u$,zg,5, 5 Drw|v D×@l{gڕ@B3TuJTVLތ)4zxOjKo6]bmh*BQۮv,_ȷ.nMǘ EM=6l7[\I|9-*y + \ҵX+JAXJ*B pc8kq1ʾ<屣<ۖ?GH+V$hQ 8!\m(=ւ!Z eLIsC%yH*(K!upBw7E'ސ\GP<Q..s^Cq*L*}: JcQԝ@yO3 ,1XMͪP -"r%>J0r-)WC #D}L!;~̓wǰB^ѮWb*TŒs9>ª}W5Vq]8jxx l>]Ob3A&4<kc7"mI?M,g.]pV.loVxHYĀ?p)~JI_==3dN.X01]Q},@J%l |m‡z0”>n)8" !ƘÃ[G$Yl]lIs.:wIf^5_-9,X,l}92fke_[oss#D%~Ii(ړZݓ5=nU?:=ez/}+t)S9n\QM,vC0YqE-^842w_nl{# gfy?Xǡٕ ՟drT sTRfźHWK̾wDSpYs+B,yaJ7֮oT my4յ=5,L hQ;'ʁβoI憐0n1 @wCl8c5/P'a^pަRYXM" >4ѿ?uFRC<_NKB\mxոW8:[SgL; EW!P\ ,+o}::RIuD] *teʯence֟RǟLcGփViكN8.5[FB cN M0$!>;&We|,8!CݨR;jL}r=mEk[-͇Dy6 w~Z-\!A1J'A5]G؋F*sW&H]lLCOz;wzJ{p&]8Հ>۠@#(R!*#EфC|QAYPQm*1Ҝfn=T-i%LPMmm%ōSKFácj~!>-im/+v4D^9Z^Lmy Ⱊ(WQZ/̿λQn;TB OT)]-A.6 NI S]۶$ CbDF{q+Jd%=[ۃap?PfW\zf]'=|Rdٖ|"k9GR &jP6*>Ԍ$}`3[(9 nROt?5w8v w#.6;.4l֥XUM k%L12QAQF o 7 ~4,`ηls!FVɒb2}(?bzL'"XSW:[N HyiLz}M?C|??n+7]Ԃ.|^V ҉dm~ybU!tqu0 T]ge[Kzp!#37# {[f8ݖ#EIyBM˜lն+mUEhcxiFЉ([Wh_5[WaK'ǿ nB(*W+?@}dRtg p@+[C ]1i0_f[W"aYhplwĂɫ,vH2d']9@4@D#s+A\E4IAɸB4mzL:eSFf SL Cv8fLEjl1O}JH\[yRmv+a0N(S0|``@BEJA:_쏟{rxn:įd(]# "WVznuZYaAqABܼ+f{%1wi@WmCGɟTS(G{"ö\_>RP-j5ͯ>j.%Mw\ts[$Ĕ_ U$͗TFWQ ޝro֜=l<'2F\ ev{}RIMze D#F\:חwCM( ZEQP.߬lЋma]U.5%=dEpe ޗ&GB'PvGl(hmD:ı!x$&}#&\=mLJГssi~j3Gl>b=N9Eke^>mq?kƊްJDLiʫ3Dm0ϰaݾW0A6vyk;EBS XrRJ17 |RTU>Z`Iqx[-%rq tF]D_[dD>?>ņyN[6Ъ9Hgrʖ _C,ё:︘UO~^`2ZF?B@qBC@ᬈ!AFg? uyTZb Vps42 Źr_=v/i-|/^@ͭxzQ}¯WjL:+.w>99UG=^ݕSHL3d1fzW]oQN*:bR296mQ9qqq",aU`)%M%(=n姴CC"<x8/!M=R8O<ΨzZjeӲUNr,F 5Bn^+{ql"x*ERxίBݱ[QM 0/Ƌ"9:~Ĉx=<^(Be1;>+;Y̠!o G.2>5؆ݯizJa(Ep(jMCM[cg ue:Evhb|jfbSnMc8#7Lsp$vfmp}:V{ ^1-gh7ɣ1- "n^ iqu2.$:?}Pi5KU7. qEt!e?4ƲC(*;fF1Ym^sSr7 1bU椊}aL[YJވι,z)<%p1h ־!N0\ _4|VI`Kvߪ-rbHZ dw]8Y=n''zX ZdB%=o $^-bgs}(AK,y]0]&ςFN5:"4"iAQ+wEv(ՖC&M(+(LJ/y_QȔ-%ЭR m|T}6KMf&p ܟ`ˆݑewD8E8+NJSczqR?k\j 2X"5ӉX=:F^;i!vj# 4˵4*VYҪ/# jMMj߱](%S}ŪzLynSR9RHǗ\GrWjwڐ~ψ Tf/졆|W!U㧾7+"[ĻkLs\&MyX݌bWԩ",61ij,?Qfֆ_Ĺf 4bèL"clͰ59]<笷 _d>n.VOhӗ1ZM\*oӳ.VfU$]+䮡c@Fz i,y.^~ڗwVpّgYdTQꭼQi%1]"!f\_0P|iY)w=M&WXWHU#yg%iF{ kDyKBmQ(~_06#pk }:!)QHG׹7 )lfT"B2ލ9Ԓx뢙k[L_YJ3c#v:9Vxg0*8zq,-%i!C5cN X,`E+m&ōǽ( 0v2O36jPDˡCKb %fN'׳oloAK)C9kdK*SM#98*qT[=t!J[s;ia#b |Κ`^fJL\"P-ɺUqKSyF/DT;-B0!R<]E3CVa25hs`Z\ 2Oa"6}A%zk;Bw8I]dɋd{:KtߣUx@UA<^2L4Y x:u90fZ9~>y]rrx< ISyŧiR?7yJoԁ x\yyQT0W/!؉?8gSɏ6Y؎]xgc6uLL?lbf+0*:?zf(^NB41(~8w[ТE7}& @4׌89xQ|#6eLjE"3a_kJC U!l-7i@;v[72h5/'}?3J@n{?FhQRc\@v%7Tx0(g &0 F"d.)Icq}VtͷTq B NH=?:@4L )d o+ւ/VTŋ}Ɠ🱖ʅgd~/AZ];_B{$8gg{*id@%SA ϗgb YZ]kum^Fcxs[  \1@;xzZ ÃW$cٚҔ,ȋ^# ~N̞pٚ#ymMc|`\ԋ^*|IzY KCny)Ɖ`{S=x- ^>hcoWKj1j@iu0y5wXb\7]_u(3jVPC5!#Ky \'ʰ7^2(BO:;JNT228K")ᅬ"S,610/*B#v~:TyhXy]#SV,K7*P]3&l|:|VrYqVuxCF&+S>u )8I2*F,Y8I$ T]4&!I$ԖD5Ո&߅V%"}.VL! u<.+zxIy{/KtS'0D}:Ы#b0FGp~IГhBw :[JCxlSavmSfghDX?gj0E6*i=&/ˍ*L}bSbwYGP_9s{rY._V4dS &mCc>u"ރ zj&G3.ˣ_[-Sfz 28B.WƬVI1$|ŏ|ir8;B&R6QL=kt䢆-~*4 ?vzG Lnh; y 8\im&Tzm8Z`c*x"BˈXF\4ja^፟#WaWMFS/\a\FmDS"*0, !omڳF;Ct ߐEܚOxōA&&0IA[LH9[32wA7U3R|ȦۤpoI+(*G6b ˮ7;_Ǧϱ\dހ<;1 bJwJ /#|" >w0ڶ0!Ya[_s7i )G6hFVQ{o`[ kus/xy#Kϳg2LV갵JDw: ap))1p$ x1FaٻRvTJ/u's>n>WXUg*HTJ"piAFL<u,3`AvsO%1 ]fQN`;NaUԆ)e|}K[q;?Q%ݾߔKR_#g;S${@ hŧx#Q﯄eULNNV#O:(=R/Q0Ӆgcd +hw8ʚ@z`m41Fp?v: 11 q*.b-fރhzPݮ$X܄u\5nm4X9yJ!tUvɓ2m zKTyNԾO7Z.1M՜ږN]A?'^d32rz٥([Km|?Akb-\cqe@ۢtz4تt{؋ :/G4(Id~/rmn:s{Ȧ})s^zܘ+g:XW&;<ф%5 &2h5M2}ud-IuNquA7 0ӭAVdEt?ui6qF_"a> 0s7t;@DA?Ga<_̡ds]m'?31ao:qO1|zf  >lmX@֢FuF9v ˩uE^` i>-+1#ٮ䩒%|Jit3tCYį&a WLE27s&r(v)C;ǝx{+0 t6 -]dQyYv~էgi4Ic|45Xrry|5I+%|CHjGbB,8'G>W/&S- xU´nN· v Pّ%A5Ua!*k p6=d$Nwv5g_O-U_|m>M1GݯprC>"$`1`o р`+xwD 'Y'iZ^N!j;}vZ\0W!I.e~MIC} LY 2=hMg6kGGŮJTa#摔NYщi\4p',Y=7衁O _d9e bXc9Oꀩ| [k#rZӏ3>H)Yjv]zabu*[A:C'sYC!ɚ08<̈́C3EX0vË]1S^zν)0j ^$ݸ\}֏ 7N6ێNÃ4TːtviD[QW4$wHB$Cƙu=l3u m4V푷s{zIQf委wi"i9cT{+Tg C9*$ҭuK/9F\Zllé7HC-TnڇƂlzG*_<6!b3ux{ ?$qgJ c>w}m\7s)C7aC(5B&ʫa#l4+|Nt~A .^j5ze /4!fw%FVe84%AF}|As u6]Rh _ex נ&`L e1QGk sf'k'5 -$ˣjHdSNRB8u#k"e^ݡ:v0eߟo ~HQ8AaEҶ,8zG+T"",1 R[>rMU̓`2 R.p"9FuwB8:Fq-)Crud-9J塖lF~>1Tfi>1`]C$D{Bd8r<A5JszؿّnxpZ;WPwHyXs@:R/.LO/8ʥ?b7oKREV,CkzOx} [:?zx1p13?(I'ك zp= dcJ|4=9 1CIT**awUc@H;l0B|w){ ^qVI_S(ysz.,u8xI6\'s7#P_Ёdj@pЍʎ?ĂZNId,&QO; 9 ̚˖:҇~ϙk:jQI OWmOKGM[uazy- /XRʎ{ӞV4d~~\-TE/NkL;'~Nwh;A kR! ` T=FZ"M?=liIJ9bxBKJ{trw5Ju?7`AIS^PzpP6`uA#:IZ^GE@&v ;6LBŘq;yL{w''"[س-UߗO]lS]0}gecgL7"J#/R5IqbF5Me{$!.]fFXgqӮ:Ϗ٤ZL3Co=`#:wC + Ury$z#7{Ќ+ 6)Iku7c(ӓp#62T#fAjo3_xhXi.~IweA4vQ\SMD$1E@A-UG=`r^oAa*vQrSj׾*"z/Tw5Q?\ \K1( 2R+ ;fZ0[9Us.gg6pp,G[qTQw3"qk0^9> }O5WH,89r\S- ^u|sD`J㙙jc}SW,rB$O@RFBld[zkkRmy 63l< Yo5D9N5]; JFtRabU G}ȾDe6ŧ&q_û]6C:fC`Cwbr&{zO\]DX6uFpׅuMBS^#caN|)SǢ7a52ʞ*Zucx"` fd}APViTFKh*.d1k/R4M`oE;;|̡~x=Cw}#]C:̀Z ܺ ?7jrkMa ށ;k}Pb4ɓ,-S N%bR&@K "o"U{VP44(!{A'/LƆPc d5u| X[Yfoݝ= D逳z jP-~ܽo_ʳ%y}0Z&ks- . G—U?[\fp[Nx.`EʁF$:enՈ"yI5LLCP UYE+5=Uܘ`{!]/{Tn=vo0cviMup"T=bXE.S&L1pdLuO?y+Vk:qך\u3g\&7ŀpV9wM\ڷћ@K2p#Cs-N;݂Үt >PxǙ*Y]07!7w4:4h s]Q6QGhf"nu^H"f.p<< $̾-uC4U^6(ߡ m7 h>yHv=45i,IyʠaY?,U ajޜР](j0𦨕4<2u8TZPuэ`kKdW4?3ʀ;&P x!Vn-6&C1ᜢC?  Z) 2'iOEx֌bzP! zJsQ]-n)"V8:0Sa]5Д?--se*p1yG j}0r#Yi%@<5'd td_( !5 taamuwŸ )]6d$@(ʝڍ\ gkVa\7kDTH߳M :4/0=- a4[ƶ@*xGrd0 E#lmc}AWx&xaD'HG=@6]7?RUBeIt(KOB<?MyKR An⾴e@nY2Js~ѽ>nDkEȢ0W((` 5 е^,sbΤGE"5euz_Q4%V@cN2;Ldrfg]~m!0v@>QN^zzjJVvˤڹ#{9fi(&r ]U}_qw(^fy,d=ڝE!IdZ0+H) >I7Ys i,X/zP19Y{P8f-jqdϛX;W,wV\Ja 26/]t`>>hB^Qd`:YZ Em G; чNe&Z~]N&CbX Fc̛R|WćoήM(5 ҅Б:kcF0Ĵe,t?`:i?2)ە\ ;3193Sag icL"5[l OFzTtn^ V1i1 1{cCՏo՚v;D󖿥]+5jst|E 䍌#I闥 !M{U(`4޼м lCx8E㘴PUCWQv^}%ɎF׊-UWn)r[IEa_GbX,D}3_Ww낟 u &z/đQ5:U|Dk7vԻFf4Cڜwx;Z3Ϙ8F?7cAitetۖ 5g] Q%}>*<7}_"Rpr3 Aњ:d2U+НhB2B+' h %9mAZ|TrdLMGȯҽt2' `"+t)F.G}e:^j}%0sN4u;X_% K }>vr #g}Hnk 7Ђx+!g*>*Fs3R HW }+a㍩^<#~aw-AtJ>P$[/Q}"è7o?nj`X[^ٔPCb~C瓒;jNkJkZKۄ~5[Tπn! ؀)PD MGY2l/) W2?zH'J:2D͈7q'$(^^s{3*fӝ-RZ + ΢{"IDeEGVnR3ֹۣP @@:}f!uF4Hzsz!u/EN! Aa'zZ5.rl${eCL%栺aB`GaB5Vdz'808U?!nbXï6aAVv~\xHW#I׭$goV94*O`_xth{yY+'a$ud1&.p`tk\1y};M?TT㲵V$x>ċ2F=21Q`f qƨPv&MD ㏻G_ s-P-)mzbYE+I-/O1J}h dY͗/3?2`7n)fCHxԣduj!dw] [ee6:1mvPCE ^n4UwD3] _Ǚr~e"*m pQ5hM.+c=mBն|)v1}9KpNt  @j~D:_XRVEDy oTH 1؆}s~!L_]:ƅ'[Rר5M;S:P}_;txq ̞W|]'U\2$n9Q+bdC@&4|ڹ(|SJtڈݨB1D%`har5d;QҦK S{Ʌ;E]?J\񓾚z>#rh jN\Wuh@D"fŐ]NquZH8,53@*#v1FK`׼)P+,xlj=jΒ >? :q 7~Qڍ;EիqLvFQRn\q_eDh?.V+OZrzgѾį?/Nx| )C|iPqjSH{k˻D#@o+IղݴW<`չ<`[]y >{fen:d>.Fj|HV* ]K]|dfw\ۖ)guGƇu5DA徿B+WH,P:G][L[ &\Z `HlHgˈSa.Y51n~iO%W/$e37oz·$U8cnNR&~IP-"-^hÐ@T*K֛;^gbPePl!:QVZM{oEA#5%z=t}WIC= 9~1<{~1]:_3iրN˦<~WY>\BbIL*O`uHjVMmѶ=L7N_JI&y@Dq6+[|^Eh[Um,qx.Y9օ=9rjUDGTfgvRu}M}z[eO4VW4wrpdMƅ'REKCIf7 x*d1;Ya{qeH #cyEJ"GC̑DhZ者]U48Ju 5k%6]>TyuHXRYE(9&R|QGo/P~ `J=ct<vFאZPg)wczb~:ljGY?YZ=.ȵO)?``^z޺Qd7_NX2w"q'JuKu.0@\qj{O7RszQVPL!Z!׷a5>цzQfŠ(:x52yT#wCIx2oO{p hpLԎ(rJkMk_s*Cl7Sx x$Khu9q,%xrX49q9Lp?ט) *:EA8m v*hmU&-PyI.K+KҵI6pc3SB$tl`=Mi9[7{e 7@ zdSfJs59ꅌw H8F5Cn @$Q|e@:ha`W%4pŁHAl6ϴ-@aJpg} brs((@ٽݒ{[H|{~ȱnTjF=q' Zǐ'kOKo\)8pU/3P3J2g_Xkp ȴ7~s]6f-Nxj-]eqw!wEN` }*͞P2r.@-Id9)J@8y3ڥ%_nk!b;WV%ri~ţXKS4kQgoES;+ /яwռT+ 58䭜㪱}<0g1a1 &qPT89{C['`#IUa˴1E(}}i;?4юo 'Fkn5jF CѼR#9H#H5M5gNnk\ eҷOe(S,}*%BHݼ%B[6U$/.8E;:͓Q#4aO&Ghv3˚AW& T7~n 4sBOF:` gա+%㴆#%\~ކSIY$d☄d25$)qUJ|D30,o7}m-/E31lDpa`i ^8noָ/dM&%,]Mre" NZxE~>t0ӕǍ{̊:$\Q{0(oS7dPֻ n>[o})]5KJd05ҋM:3Ly! PȪBd=kB\'(˒TZg'>VHڎQ(N>lq86B0G.?x & x,7/s0؉!m^3ECLVO#wQ9IA9wwz~OHpxov<;Xr V(`놟:/$^9>(_mt+[%6ƺ aDVK 3}NCk@Ҧb$C)(_>O8n!u>f<x\2 8&.NTR)(oz)6vQvMDq!ϡüڵU;XФ/s.xKZ`(߹1ܘ2h; Y֗rSrQ.He׈Vɇ6NjO[` *ViU)qݗHۢ#<,xVW]}E b!7S?s>󤥟n Vj2=Sf7_T lv'X*MXg4]\"3{a',i7 '!~ᓇ4i$ҟj2梁]:SƓ:\bmzɰ&5 W4X%PB3O[O'Rʯt& ;"eMT)6NBMW[hAqV:rҶK؆73>B n=ň=4 gGK"K g>}nuWݐH']IU4 u߭laP@xVKV"zvg Y2KPP xXA aOpS yB֋bQDۅj4z1cJG+o>i2]á#42n^Ѷpyw.gVovndmsOXp 9br1o] Y]Yu9&o{0, ~$WQHܰ>`w}9*3":UAd{U :Msvo/GmfYc]Rᙊ#JAQEwou@ G'ROaA!Y-<)<~pbI $Ve$xO N!mhnؙ*Vk[~1_,_Elrɽ)Jdw8VYGGJ%ړ)w =#K.樞Q*5}_&&J" :$L{n{(Wrψ]8b;~fY4#`&=֌'sR|܇&BK?-r! m0Tݟ'e[!u6X9:G]O7n('h(hz?MJI1pًD4;b &/TD4,DVF=S(_:Jej5Y} o{Թg?~ݡH1^Blr5&A=];巸\qZt*᰿u|@U5T_A?߈&@U "(ÝiK@ C$wGyЇ=&8)2p(@CE(E$7γŦ~aYV 4ɉA} .k &}".i9c(RQt{'S+7]/*XZЃmT=3F-֌>Cb*qG"hm؏d ,hy{6r܏z@h`:{#Z@+ fAyu딆,WU:):v%" *ޣN 9Ǡ(fio(0#c-e+DU'ɨPnAz8 fV-f DØvvd5~gQJ zc z[g)+;7nx/{R$r1D|ȬqGcO M=t8m1AvLyHټp34UW(KR$n6 8mr6P[;V}w {m?>}~s32̫sԫh[κ.b[dh})Y:7kXaO9!e\EaU}ܞX$)\jn?T{h0u4vyݷ[uP]Vy)/6Prg+EYĪ&!FkDz aNdrlYC✨( dY+uIrnt-&x Y9| ̩ψ]F _4f;XEXzR9]>ɾP=%.¿KrM9`HZ)x0a KZywa״sxaEaijA?!1acMMӃéK.N{^ 2c'6M/7΄ Tɒ$MSVZ*'%˻91'b[9X^(g+M>a쏮s%/V8l}lD,h]Wޅb6m!~Kx rcIn(|GhBܾfO5k5*03iv5RW_6pOܲxaKϒx.p7a9Z`,4i5wocP| AtCP'ćl&ѬQ\oO)f]~4~fPfQvBjCbx5iZHokʚ-:;ZrVFݽV@cq^㑱ǫ&6 ŒN[.*X _%d)QNB@( Z<!&`b@;7ozqKD%A*_tԚaWtL ʂD{3}hԒX ?WЂ6-,9s6 l+B\fC5+}`fJ9n/yQg 1k>@됊jkLlagkC/z۱j%y"A<ٌku`Ϟ: @N݋RHJ *}K [2/lafOٝ9.#rDߢS!AIKtca2:p)O 2 ],HUoVޘY7%A@ol02׸ql,{wC5Sv |IVr )5Ӿ]PYe!*y_o ,* 8{8(%*Ie!i۱/1aZ} | zߦ%&phܭ(j[>Kv{a7"8z7" MW mHnjAk1L-]0)ʡh=XP+'"<ƐקMD@w-1?^?9Qaa~ >?$B:.^ *϶N؇^fèu;9_ss>vYʃ~i풤6`GvoL?ۏ (N[x&PSl8UJ/GpCHhPJSסQ\ OET :[?.UedиH&G^ 븀 ׇtbe8 ;&*Pkp@`hIV摄xНk6RF}Zmh+q< e UPS!5Of֞;-:!2=]Darg_7"CBVN@(oz(Wv8ljn5716fNvPA{ (_NGnujl^'z1^Q]w>,@0Sef8 Èw3,3*z2_]U)Lq'gH˝Rh8z#\輔$tHD \7 oۢ0'P1gJ ɟO3ٽD*Ρh *`7T rj!>iDҺJBbC0@C4l+Ě7W880~2= Cj .q+~" 8Vr?(+5uƅ]:%Ϙ4WP]d_F-(ZE]GYeTZh^H;xF}yM Ή-Z23}ػSTS+;} EM07j[i1㜰Rsp (HZt 8ȳX{5P)Lw{޵YG󾺛rӧfp=HWa ޮQI> M?"mjn]wTkw.1t;E uI'00u͓:.fb\GgR'g[Η7Y(eFVR&3ߢr2`tF/sprL^WN)$ӭP/j=Z&ed *^ F I ]tSu2duGzXXDzt).|&_ l닋8QJ=!N,dhOnH3sEkOwħ0 מ3 Ne $Lx#f!mА%o ?G"Hw(sXq;%x7,((Ms yəZU@+I^aRl߇6C P#ifWs?攗CSyeVS1#j8.fn3툹4L5u#_/b*Xy-?۱ PuÞ]O5mloUzBO tuy>/  q+dloD );f.D[{3 daӽ%Xͱ9" @WҬHp\BTfk_/8/Lq9]t0gYP;3y枽vf70T=&_8 {5|. M;"%J׆,^JnL8j+ zBgYZ-@ܢVmUP9(J *SׇInV ֩ RQ9 $5t(^Ơ_$_}Ag3!:^rFns"]"hxX 0cIk:^ƶ^ӌ>}77ad(ч@/-և؀aGbY0<7< ץ0{+ւ)Fqotsq5S^>Ig^ZLYKa\ɻܠ"2`RxHЙ0}lC~fj{b#9,~4־Ik#K%Tk ߭{H3.LP6==ەXpU L`;x`Ǽ=FWâݼj3rۀTlrІyuW=T@jjiRNN̻JCl'OL|^2N-s vZo'$sa4-V=7#?w+l7;N3ܕۅ7 Q4!dS G9"P@mBǗ2@Fa bUޱ(Xfxq#y-1W]mNdzOGVj4, DFLR_ҿ\whf!HWiw{1ko7I8'}1}_E[Hi Ii*dkyJ Qr)sq8?ٝV*ɿ#shivloۍN\ϋ[EjpnOZVĕ6>LoDcg~Cm" 1\~gmJX` '-MGSyT\;1r*͢H  uor AƴzICQ~L"f1tEp1@˟4CzQ, g7c"2:_4no Ar8ؐ1${IP7ՃAz/)#ͤ)7[5?FXWԮ@Ino";m7IotB~K!P#fNOmX}y-hUs6Aiͼ>9%[w#@Sprf稠5Ν%"g`'/S.B9dhXPyb)?$Jb@CHjuDdC X1() .ӑ(bhx#cJ lSۨ kةp0ʚBP,p~n(]OC:~~cԌjzu`sqN$REcW`1)=w/a?^o0#Ѝ(ƶDlMTuX+NӺ>bc:CHuڢTQWg*p|*bI54ymL%ҺA ] ul6jv&^5!'hH/$Ќ se+nh>5{4/ '+02~ C0UOT NC;8dHpDž+Mz6vcs*Ch>i_00eRmn#q[ߡC/EK.as[RJ.ekyOa*<FL^a|wsWBO5R򦉲;m^Q9ZX魫M -gtvR'jռ́y c ĩʇӰTpCh v2Kw cq-ԤQp,pdWC[Xۓ. Ѣ{1<|O,$k([َٝ|k2ւʆ$+/_&F46fn e!9be@b.Mqހ9nAA50 p_  ۏ"eʲMjy`o.*5fj@#3OQY̖&z#f`cFZHQJpǚ&t`G3S"y,kۋS@wȚbkKa޴P'6T0ќZaqZ**ר96aÁW@ySye-V@޸Ek6f;.N yqZN&әBZm8P Wȟܢ- fbc6}QZp>ێ>-cI7lRhRMsj'GI3p$҃ $U^ȭb:rZ}ɻg%Vx?_KAW~ )>?ȝ\30^~/zfײk @EuRP9xK-ddT@- w]/ATE!iXrC5-/B6+"Cirs n̡♛D!fGGLD#G̯i Խ.(k8qP)=~(ΒC&9q%t}n δ7~Д%/Bܐ7ldw<,4^ 6?7`Zo 3y\RNOjF73Tv5R/WJD+=&|:$6wۚA .@u9y96u_I敉䁲L_pJr`=IQCϷ(iߩ"v  (T\볫F^W%Taz n_Wr.@G}@)׃\Ԃ^[B( %b;7.wGI`xY)J f0EH!t a!ǃUqE(B;ք{N7pr%>hMӔ)[Y_7UoP69GQA1F5e7D ,cnɣzȅTn` xX\<#٫Gxݻmjhq^YC/l gyAsQcHƘ;_4G+}4w~}TdE/4"ޟ=FfR.0xiX>̟Kc.ڕ[1#Bl"}pXp^kogm*W 4E36rK~c j 94 ףto80Qɰbb B@g4vgHڹgM \p ̰YyMp643 F69^"r !ZԈ/LI~\=8O2f%PAZݻxs&ZllfHq~n|ǗɧYA o\>Vjp,vENE<Ѓj 稆>Wvcq厴g(Q:|Ch\?JKN;$M!߀Du=u J6V&oz|@#J; -v9ӉFB7.KrB`g&^GgVQ4Q`-ȼeٍNcٗզ*9RHuvDZ!DWB;pƦHnݕA $We{{K3x6]_1Șֶۈ{SMOG .7y0]߷Nܑ(4OOW8V\6apRBGv3uox-Չ"K>Sδ }`!>;]녲"u;A=$y(#bj#@FƽjFqF"sT_zRfʺ9d^܁2@b} zb}ܼ;8c'Q[q܄tܪj>&kLˎ~2t :T]`TZB1WkֆlLzaX(c/dmU{W7R'Rmʄ%+zٔ_pp6\Xq7TIP cTj.KW_w?'+j`SJ FCS7O_,B6zsboU XpL5,>\X ~ܱgYZ &I&s1W% \Abstract-RewritingAbstract-Rewriting.Abstract_Rewritingdocument.tex7zXZִF! ̤g]A-MՋhvG"uIBm5y6C]mĹ潀ƆaFJwr8}Fum6/)2.JjrؘO)UQxmDmL1D2j>- ssdcY>Wve4plK̥_`=Y:]} e؉ z%8_lOb|!;vtd7G~a:y_ӇUJ/%_ >|r}j"7uO|[lha~plEWfKPUMCy4LgL01 9޵cJ[K K4f)Q8oS2h *dy˸*b"Pa{I{ 5sSi7}a1oal)/BXuAv %myv$굀{F+%[2WTl?[>U/ y\hy ,*AMc̡n[1ߋ _)5mlNt$4:Wފ)C)i)@p/zRwCZBބGN(2u嘰i_YFcXNά`O/B"cK*IX4[NS 8Cn{#p.k^ 0d gqkWչ"x9>[q}DMş`¶p^dG);pZT$nd!o^`Pzl#HpBq1`-;En:#$ξj+Pgs+CFeYX*Cnso%AW 6m 1W% $Abstract-RewritingAbstract-Rewriting.Relative_Rewritingdocument.tex7zXZִF! g ]A-MՋhvG"uIBm5‘EGʲ]Cg!>:V\gFܰ/Pد ʮ`Z"Sy@,S~n]^Ks}Hxͨ bf۞VӒi$+Cԍ!ˆ=CCQYR&2u7hĮK4< :bAX73mѨ bTCV7t=Ŭ |UKM65޳KEk1rgS>y)pHeq (i$\;[3Kfsʏ%WG*G660 R @@3yfsyB^ 嵍I&A8|{,0rl#YHhbᲩ$t^DCpDAh_2=4]N,ծFr u .QaU$S ='[ f3='\ |4u¯#Sb:{@hի!CpDMcsJF4hb_.uGeD.Ǻ+ZM`S:Hwv;'S dL'_0B-_9lD%-8c9sC:ݛ J|]FeLStt=#v]:Jn Õ;&EIO2qFRǛa1{3X38W^k:;%ZdX3?r h1C\}b/ӡO ^jڗIlHW\f"ud^HHZm1eixqPУJbBs`Y䐾m”C?S8+?mҬL0R 5xA!$toUE&:u!1t~wŷ_1 DGjb;LJ?b~4jv}Zi4zw?ˑ[P 8;3T0 !8M|*W2j7gxi\ɿL.Qs>&qjyF͕ZJF\'wjV[Mb2L]JcU3uΔLÝٗip,sVPIǽ :ίq;' hW 4@AkWo7c Aov wt&c1GVO !fJye`n2/] {j"/o׿<dg`Ͻ8΍B&O/ .4MsW|*ȶGdO9Rw%Ϲ^1Qy逧[dxG`Ss)7LseO`30Vg׮5ی.rgmCJ EH㘻Y1\6 /o)I&Ņ IL]N qJ&tE/( k(gf# 3jd2Đ>h)[zA7;]j $A|nI`2rR 2S[ȡ r$"I9KLeC vW8k:[ROO2X}j.lHn $N6\u!CwAq wCiy`h3&^5Wf \@3#$ 0e;(% cBɇ3fv' N@Iab4Н+f_73%1 <<51S% dAbstract-RewritingAbstract-Rewriting.SN_Order_Carrierdocument.tex7zXZִF! ,,]A-MՋhvG"uIBm5Ȗן^ c`m*~wi(!]|"=kbL%>w_%mN3 hq7R՚1Dͪ)"̋ V>yjh˪gyJ[>6*R,BLt}[;`v±-nɪT^e?(CK.K8܊;_.o/gaXW9oBJ3?+LvJ.ZYϿ,q}Q9=k=!['!X|?4"K欩 {8_}:RWDwp'744 FLsbNWdyl--R8Eܼ8lA¼sj9M~c-Ǔ ʭ0{%&pJ`E9q}^`Z]as s|p[s2W\ߔ`h-{C[(5;9Uӝ^?22XH+2(#ﴼQeYVyH:=Q3WxyPh\`Tq8?k&l9j.S--pCCas BN \e7a$ {H֮²`_Tm(1}M2D̃~֎pMrd~.K0_de8d?Ƴƥ\ W7$ɝs6rOU .s2 BZE(ax@-LR5aROCQeh\A\{p_nbM&zcNvySm t E,t3Uj}wAi( LeuVvȑe5m)Q ,N*m\F^:phڢ?6eaBCi؂ЉċqH<NZ1x6fsrn**_B!dxxKz[:E'G!8LE./$_=N^Mf!kӻ0c{IF@ K<a@L #(A\u>֤Ble y3.p'*SI]im~zpQ̒1 8msؔLa ҕ?Q{ dU-Α0UΔqѭ ~/4`DwXG#*Oܑr 3dH(zfj$rĮg(Syxt4 s3Ơˣ®^} |a:B ]sD&@],^ H0v0.~!X]xv7KC}Ha'uV}"TN[qr{̬ z BwnJB4|YT^+#phJ^Y\o_Jq}d%$W^7`V2olLp? :R%l*\Go~#BQ^aT>ypdI,_.?z 2)^-#qCHW76_%qvfJ"w t GL-tzA ZMNSOlqo88˟ô!(p;w\hgF= |q7MӇe i׫-c3ڮ1}9 0EDcLyBw=Fiܓ}mK =(:jX *[Q@hnA|dCL]&',KrmxGZ1uzFO+^Aٻ%׽f  eŎh3]xm wF0}lbWZ)7&WGǐ [|,,'% n-pW[BK05%ۥ$guS+>dAVF .y`/gu.cjer]P;ƱGaz42'F0v*a=",ۈ|v܃hLFPr݁()5qvC̢.xysI ~ "}.S<72bn7u=MMR@NX*w|N"SR ߸EڿW0+ȵYyzp3!{ћ|zIc.*J'iW;= =0 \Epm߶ƴEL]ͦPZ{EZ;)Wvi?ܿȟ}ɑa>rvna Yq*& Q Hy)$%r8Ĥ2<{su3y&Ի1A8#4吪M9,0m,?$c!S\x[o&c$*r~!ehXÑm3t˒pmF߷c5xpXG؎7} &D[M]PeN:iSP sm4URp}^ԗ+5ShIWS7xyn⒐ \4qL𴗵(&̣GcfW@x]=Sďs2n/Q_i-dͺR$ba.-%'L4i&(ҀzFؘ҅ ^$:6>.|ǧ ${4V)kB~u3TNrr(2|*u-l(B<~ k[" ^j2dx(:3_܏"WC p,h,&VL4zfDVea^ T)Z.iww&1=qzv`XPzV]g~867_n'[Oa*HC3+Jj1fRoU)V{.M͠+Hg8'q4/>,>JaD{bHujùOoNQߒ0oؘe'!Jq X~AM+]гFvjq ˜~ Ct#=9 zWp8Z^"yWJ cV[YN$3&hsA׎/r>nS(Շ |y͍;"k p8@89K*3)`=]E[6(Ǧd HJq=/UcnՊ0CKmgjρ<t),UkƱ g%F#Ȩh$F(|A(5;=LxV|93u.H`?9^MM;+clG87 v Soy&G]fD,eW\7iֵ k4Wΰd*;Nr&f l~ xdsbѦ65[bmR1u<ˤ|1N#-8Ts;,Gq0& kPKiT"2MǑɖ6P<#uf\i/o^U{9Bc݊ Ǹ`ήnVDQcO ciaP *S Z~dC0`mRJLOt.HX˨'ljog Vbzk@ÓGA}/ Mx8W%qAu7ٿ+œѲ_Fb!k:ċ_>h[s|ݐ ln z(a jPߝԦ}OI(IF8TDK!CRkDYl<{k<(#HYk$".Bwf_FU(ݫXOԷƭ\79`2!ji8A"|Aާ?6\3@ 'L0 BFqT楨PT1zFi`mNqb!<Fܾp6A6r,# 2n)J{CcѽEsi&b>q1{`tV<]Ce T֚t (em*6)- U0gPbE'Bagh>J*ojrA%:ڑt]B*?KVM{+HRؕxbZYl"Wh1m%&8^@I\uJOG1Z~9h*T)Fw^3V8ա=ޭ_ۅ)XdLJ45-g*#;D MyH-o0P*bGDp~0ARa6$|M>i &_ka3/m1{&^cdN󍢜!y0_F&i6\ )OT=Ha*Uc^E#FexX>ꔄt&F.ޏWL1Ozp+= yX,WΟg%"y:`LVfo:`ʛk%ȯ Qt$l aٍN[/S7պlhesRS'z}MGR4r,UabdbĢS޵'T^"J+w+ť|qνJ,q* l@*z7QVހr9w]ks*"σĉ$f0DǞUG6Թjv;gUb=+rB.`lTmGׇn>id^OL@ -o'J 2*b JQ<͋A^^5& 7:H㜽8ƒ[,S> g(sс&rOn_ Ya;5}39Vt n e#rK* E ybd1p٘a?YU$niB w?~ Bƌb6}wN$f+MN7pK"OZV 4 yOeh {[4B¨T1U>lI{fbr[%Z  o<a:%n+>3]ŀH o~˸9EÜq`3K t}!zS#dTiRT[P]{A}Hil`p׫XEԆyVYz,5U~_ː!eɽ? ."a$iv8-9q;wS&uMk }MoFɓ}Ȃ"bR]ƍ7S5MN(w]*Z6ӟvCƳ6ݕ#qz/)46 ʓy">q}Xx=]ް}{ɤHLKn1A?A mH h]i `2W[WXg`ǚWmITd%MʹR~]۽!2xְ)M:*ء>K9\ͪcK6XZ jx혣h"<'c>eɼM|:3A1|ư0=l Y2+:/" ]fG 5SQcvhrjk>t;5gI6of_R?5wFHasbdρrQ}'X3| } ^FRY q3uVW2 "-H Ln]7f 0&?,5whj5qfZyvl-SV=;@fA g#8({q K)w.#5d9UZ]O ω)Z2dB _R+3k52:lbG[u:oر ?;Diւ5oXEeHyW`o{&uׅE+{TJO׻:͔aHeWMx$?*X?0ck\gw3MbLYĈEg@o˜R#5$j-NSѧ2(Vb+㙫\2.Q)MtG`NYMdi;\镲 r> RnQ%?EevFu%;$, &ն7EY7Bs?ojqh$ڥFpDk]A|4ɫ6a&-¶Rl1H%eS#ᆦiC2) s%Y-mruWqny̋ȘkTMsve*R}/%r=i3JCev(&D|5p 8m!:z2a.C^ ~BVZoP@I\F0yЫU JYGpɫ oM~z1Y;Y~ E 9Řs{f̂1>.6D/= /B$PLXHg:TjRuGÑHNWjO!.30SZ \[[TfgN#ޯ|5c baړr?}Wߖ@-/Ddc`}!Үrb-4d h/@ J*Պ涕b~6n (>|6^Eи]A{tɹ T~xz -p?ijY78a:Co]).&w8I#Sբ9U.~ vmxj3_߰ qYnW:6,wvejJiySSP2H(Pd??( Ϝg1kO C ٴh]KƔK2Dxt򐓀Ds(L/8h+ ?9[G< eAr_&;+s;5X%z?Q-:h 6t)琇gKd­ 1::]Rŝ+@dqRt6[0σmҟKnOdVivQ.OC_FeRi gVt_Ք/Z{ DkӢת*i!"=@E<[r gcܐ@;駊mҟmyO, ZښBixאXV m:(CIi)G?ݐ}ّR]B M;дmR%]~&_RJJ\}xv䖀5fU}ҙK-Ս?^ݟUHV72pu(Jvd[%4)7Q21.\f_gHz߼&S-HO=Ε H>578UyB)1T" хNU-g?}e*7B}~>!Rݽ _^~1Qg3CZdH:{UЎg4`V+Ğ(¬.z_W1,WLL"\>o8Z&r  DmxSZq)Tj;Z gc%Hɧ0IVK._gUV9 g tLWq6yl! ƻ*FkqgYZ  A A019% tAbstract-RewritingAbstract-Rewriting.Seqdocument.tex7zXZִF! ẳ#4]A-MՋhvG"uIBm5ȢDs;۞6x{Kf·@ ? 3у1eKeWHHvd=uA_l!g)̀R,­E"L,g*<@dBw$kEYW^{4 lv90oˈ#k }[a3*~̇k gedk,K/SArrtwRg2YX*檈C IFյiCfkfz;΃50% 8i3M<4ћnHۧ7 87ˋũW(%H~+K_)#i:lRcƷ$(Bpւ7t \#' .+Rv.jT+˓ml00unlu.E A(>SPoALjSiIYXhB_ڥNL!sե=v&,K ^ jU\:DG)j]sZM#4e'Cx*ݖM;3_39aO:⅙j G}ȓBTTͥҢ_zWͣ4B4~XF>ȁN@͖o9 +\qmA=Eq?o*'d^儏Y@w6ҶG AQ)2i"Km3 ۛV8UMQ%N^5ƽoIW|bԐcv uMfύxRyǺ9$ hh9&cCfP8$'.xsî>vBC!Ōp<9^e?(V~%)Z=_޽XG\DϾh'kYӶ^J =yp`M | Rɻ )غ%m͌>wH~+x vp@<^6K+ ǭ2ʲ/0?RnTPHҔb5Y~!ouaE^òC>`~kyI)FG~b ܷJҡƑ(7?4.J~˞!ٻq1֠rUyuyFS %PO+^EwoYpo)dz%\b<6 `*bJ+&ϱ}cEȐ@8 "缅z9 rE.xVaqP`/9_ȘΡ?Oa(*6 k^#  yWX kde$xغڝ X܏gvE`ƚ=o1+F)E ؄@ZBw,:`ݢrNb"ei1¬.yu$xOR?uMZ;TfwJg?3U6?5N#sp} [0]ep =<(zqwKoP+)Kʍ }K" Ӝd)N!ā&ꄁQJ3bq'@W+zJᙨVYT'PQڻ:EJ z7W.0"rPdZӂƯ=r bYhWnjG 4h ֨9_W @6mX9kҦ/WB^{?{ET߹?ƎIYw[cQßrn_zT]6S7d`n3dFR0; oLmBJ.1*Kخ1ya,"))%Fm'@ÈT;B f/Vl-uJk~o6(נƋ"Px뛮`]Bs1y'^Uz+ஶvqjE"-*\CC=A6lmg[w3Q ;825P'CtML^}87t"_?zPI2 aЪvJ͓ Cd&4n)I "a[z\ӄ|I)KHfz;Jv;EW~EsOoC/:4 T=edҢnSTv gYPYjOPlܯ$-&珍d1lHa[_P9ѕOzW,S;z+ԲQ!UpMNn=_gXoYAT)߲K%-;Yr${ =|+u]e};@e Aǯ ![$lR` fq 7Z^4{X C[iV'IdAfߺ˕mNrfs9 fFڶ?O3* 0DpÓlj_}_v|E ùj/*B\=Y7ƧExW-\N\I{1#щl}bK)DW= uMm11Q)RbسDha"5uY2Cz"mTб҇Jflu3q'e67TC_.v[T%ε ]˓9>LS$ݠc|p(gP՘sL_x4,O#diD|_0-0QIetRm^KV[~//APСL{zs"&U)38gڢ*ןof7dF tII5m"C;%.D~_H9` S4d'0.*l [ ÆAyIWFm!To EAUU=n(󴺘43V!nf݄ ,m>=f.d>v`9~L9PU 4).Ģ{dlrīR@o$2NAuGcGO=XNrXgoY|Iɬfе]q)v~M+F{9 -=tsoq/+$]9ɻP:/G?'ͧsc! jDyś:&n7v10>b $(fX?4%+?3Wv(I8*6#kUthuXO\-~U{xƽJhX1 qQQUUOl{0n|[D ƪ-,@cB5@ff9EqLP>ellyϓ[P-A> AVE2OA,5@:-ylĽ:dfqs'HYMy V&<2[jDqE-y ;?&̵ ?2'kg#ɯ8{:~-;tf|Ȝ סR])5D2XcK&v|E/S$: %cӌ"./-Kd &ù /҇gVow̩cv!~kݏ?IWSU#B\jxO{xRl5Ã.!w!hF:g`AcY WrXrGY]r˪UX5f9#S>*K |dARClDwT{]SOPml9!!('R1Xqf La9wA>$bD>Y:-MwwU~t!Rt Eq'ZT m"w6iDESqjGű Mr=4?a+7vuͧg\pEi*CgrHaj@:<%HjS $Qk|tx-*G!UWxXJ%<>hlNV6zTKwFWfǕ5jZ}'2zsBhHL$WHFӡ)bT 4vk4{[{>>sUsR \)2hB9n3oY؅,,7_3yP~ONh=чttzէ$;t(v,a3Ž<\H[SB} ˙*;Z\/5\K0Fxbr+Ϻmx%2Y{7Dy!"-k]hFq,F7^޾ 1XyߖA-fŷg'X=p`|7~' 3fBa*%Ne\AIڧ~9kЯ/2FL HTb PI^R6b0_=Ei}WFU@aK! o053藗zw<:{|K$7 -mǚL'3xU}} Ex$֜Uz,`] OF罟Ok0e7LǴ,bWm{eVR4{ oƓ* YIaDt1iA^KbV{-M3[ڼ!·=S-~Zk<糪OXm%[]e'a(U%5lQ4WZ"| 7#5y<mWpҕl*ΓLPi3X$MS7@'^=֬CgYZ %1=% \Abstract-RewritingRegular-Sets.Regular_Setdocument.tex7zXZִF! U]A-MՋhvG"uIBm5>32 fyL KQcKē؁|q 3v:z=3 xa~m~8j ȱNa넊RݯGz?M5c~Ax>"Ch9²h>A5> $YJ3e&}I5]4(d;ҡO˽>]Ae}?i!Z=w3IٜNrpx&}t k(sXۚrP ؐ*N@σB#]=/s&Ĭ*?U,dWClYoSnU2Ig*swƺ9ydڭTv \s?}3.)ſx+$@& B%QVGf)vF @a$pptt"*-  dHς+Z0%ghա8)=Q Őx |D#*|Uۅ|m*{5e5bVrS6~=A0,䱻CM68/ QuS Z>li)K)GVP$A'#%R1։cA>^NSjV u.K p:-%ml1Nݓ9m !B^U<3Z;wW#tB9u[ɇx(eC>rb;tYO7ZM #cӮ^Vb!?WÞ=,-b 3hH*ã6AeZ{M~,[͎ `C$6~~ʖܦgm-ϭCzgЌۖN"%$N=)h{FޗDEOY=-3b*|<(#f351zgmkܬ Vgc$]qJxMd<]v*>'[Ѝ ,` O|v l혭VP IӴC\sX7Rh]ؚ5UC?PIedxm-fn~"R JhɁVoׄ ~4~iy9yox +9y5dO( V YVoaokt6Zu!<XU}nk_JcL_TR:T,y\TTHT-}aFN#ZY@|T6Hr2'xںU2kC<-pE3翶.(uyUӗ+`F%a+6 lu]o0B&(r HϝS!؋,PZ"wv&1B|(Ѿ'6|lkGh:Rln,0 bsj\L7wDE1R3=z8˙tf&̱2GzTZ3HdK[/jm i!`PC붭WyMF8$"bWVmSH%1@hHcvs"ӳ uFuNUnwW୮TI!.~Є6$ I:5-j/Mуӟ^r$}F(F/vƘn'Ŧ_Rՠ`عGz>m3ۻ#qŃ"4PA->Ԏx5]e:}_Tl+sR_nlă*@]u㯮pVj*Y'HA۷M}RjL[p2κ8:q*R 4b3~-DWK |f!^uJHU:5pN]s+I"zS k]XW0Dd97Uj-\&Iv ڼn>(F[zi4HpTz,y蟠(om//L-´X0LKo E}F2"Qaߞ %us{=W<| 3Uq_QCwHu}}"e㓼7ڥz.7 m wھ4{ho;NskPa@5Pvjgca>@+d3vP]V'B@+( )EC洴cs  ôD&B A`3Wڌx 3AP3Md/D(wjd;Hd.-T%3Ѣ=¨[6̫p9XBj#d@߂\٪UO;r^⸋ΛO~ޞ.^n Y+Lw{.\7t9忥tV~ \lJP*US$Mixv䏟Q\%^FDY 5g_G͍M\ƇFV̓7Jv3ۉq!R.cԡP 6CܻԈ"(pdi@mOi4tSaf߶e+W_ 1iS^}\:i 3,ǖt3 8"5ҟe8PL\BQ}pAW۹-zRgĖAݕ ㍲a1|iV4^DA$[X~ob/Y#d)|Ad(PID٦k'ݸTrAOo>F]o cd)JP@V_\oAy8c~A(svهxN hl0kݖn=ar7iٴLʼn.$@ w/ɸc|h{ܼ3fFM$y_{!}6VErJ%mDm=^j-`ťzS\&*#Eb”3N`:B<_8?NذLt6FrZk}5kʗ"b&CF\td{Cڀ8_@)/`->a2l W M)A>ZnηP=dPz`MK,~u*[z `A3#/Ljb)ij.d?jvk`[$'~ǡho&$7Qoq&(`SQ (8ՠEŌ^P vi$+TBJ35k2@ZkR܀X4t0f!Oѝ[^t1G(3XU=hT0Ü]Z~toܝ9V3Qܗ;=fڳ()wZw+|b["-^%'lzDv܆ 1k\b˼(k^C&q 7mb8DPy׼dyڈ׾K#Os_adshͱP[,V\FT-upϥ+\&]dm@a!~GK!q3wx*JIGqk af}|3͐f ;0_Mf+6hpdjҙt* 1%'GEqOP`!2azP#[ vMq`ٵ!bIǢhZYT t8-y.goЀyys"1.<"tBcUV41+ՖC@(#4ȎHI2U oa2GbWRY8H LdE£ctcz^SɵAPCI҂z-9BSlIJ$0)nm ŨOvMΛ}E<+rֶz_e(vfM?gd{R^G쟇k'Usi^@_gU"0)Xwk :R~d GFy ;="1>f6FC'W*#gm'ZT`Jj]T1NY MNf?uEъ?rg>7N\[C:+苲er)ITCxũ[,TR!y>#; R_Mc@m/h?/Ks9gq˲mR` |tب,Z nW Z;%Їof`疕9't0-$[a),P b]b|Bq@MaAycJKtE⅒ 3b*K֘2CzhҗTqGIaNҤ$ 8 +"~N@U#t 653XRu Z^ceyM]gVII'Me͂ I\y܁ͩ #X3? XϢAMm><Ѣ}h+ y{a@77`04)r"V'Bb" Ir_Q}/Y\f0-?zȂ5d*piF&JW,\sv#/0U_^KJ 30 $Ir0˨o6_q'R?YNXBszK!#Fp'5:XE]=ӭd;#?+"N46Uq7;5>JĽn nj#M.)_"ſ=m%/lk``׆eD[1[*dA M}Y-T'ͭL,&"̽W'9x g夫S_K[1 wPOR'˹?jn@Ŵ V(knqOAC0` ^%-.s!`9"Hv=KB|g<7)Ӊz.tm;P3~dG [ogJ< ()R sc~!Av,onyJPgy,I/SsB[驛Т^}]/+H9<3qco*Mmx} z.|Zu'A]78RY$_*"+{ J _vq ͐Fh %fJ% Y"!渮 1ŭu|-Sǜ 3xC"=q~`/ UG4זx:V<8NkFeoJuδŋ(:ʼn)TϘ1fJh[Ȣ9oWtϑF}Y1 KžsgCJɕٹݕ{@MaM DgzO}Ym)Ts\A;AaQ| DXnnTǏsPQf!NZ޺*B2)[YXҌy0-FQ&׌2^e (ŅzxnJ+ nm~RCAtc}qNŋ~u!hrEV)$!ExM\뫑?te[wX;X/N^牍Ȓ1 7 acl&u)VTMB#1LVMj2)A!gwbC+ \2O4\F|VsLarа86R x.VWJ^Nk61&"=5EԎY"!FK}gTYxqMEVq>f_].vlJ`pd3fIa|CmLkyD L:Kn'GH*ΐ o)-j,,T0vb$͍Hv`:?TՐY_|L?l gM Z I {2NqaST>kazF0G ڲ MszMm[0Z`RF46D@EE-)OUd;LE#O%w Xt9׻'#t5u,Vt2faNO}q3j2VDg&a ?2omq#Io*1n = E@% 8>yqD[t4V俼2Z%T4mnUƿ`cCMte" bye~|4ưΣn,ps0[{Rr2ı4}2s^da&;҄b/xcc6@FUn/'N90Tvy_-_b웇;M׀ꛓ"R5NUh_uWkCa1믤lR=n_f ³r Y'Te!!! 1E% Abstract-RewritingAbstract-Rewriting.SN_Ordersdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȗן^ c`m*~wi8>E܏$Nd}VUP-NF¯8|I3\R)Ł j ;yr j.vb}\1uϖyGꔩ5=Ü3sz3^*/rbI7Rp܀*/?Rk]F,̓|FU$֙Mdݎ*fuIv縪ИF$"бPnC\"ՅiPw:OBt^1v##e1};w<)sԥ?5o31=f7>@vPGƒ_b]kܼ% 0UkΕ@a'/XZI&nX+tNnMM|)HPgO`3|g7%h0VMV$0EKIGlI+47gIicvoW'0ѫ43RD 8_U#(Hx!]lI# zf,Kڜ:d̊~"x"0x2)/֫\_qucԏ>Yjv='i)kH|@b qSry ϊ,w^"QG$Ss?{)^s )3TN*B١ f$Hdi4~$5"z*%!xR<&_k5=\-s(}8&w[ӌ}2';ȶzY3a;Tgsgb& P6UQ#gnlx(1n" \NO>+0xbs|xH'uU{Mg& ͤewR7(Tk:wjyiqQ\ $^V O)q*c%:? _d_F1J=hwtwчKJRp\)QjIm͛fZ9 we~kي&"-8%ze\ 6g`8 tI轖ŤF U̙:rOWgjݠ_T(FMgf8,'_2'KDGzlWq*m!}GKEm_ {lVc*ҤT%(aT|H0GnJ@Po0;nvރ` g%pF>V*r D,a (e׍M^t *xy.W + *slImܺorژo? x|$bxEm1˭f<-%_Hjz nS6hFϷ) _t=oFH3cY~em5;uH?E`Y[NJlY%bJ"] CmQ'b۫qK|qY0HEay'v*\x L=ǀqLY<+ 0PBsy%q Zى`1#1QTk7`ULޕ̘cmVr|﯉ .եТa;QZBCC*.0#)& S<- S38tEO ($WN[v]ZKAs2BK䱐c6[T`2gnC+Ï+M?MϾؿlጮaI yRsN&-y,ܺs0F%}DF8E'QɿZd'*g> :.S=ʍ6% =ye1 @×8^>]Qyz#M. ( koWo#Iu >Z<,r 8_ɼG?ՙ9brȷ%^+F#>oѷ n@*$T0# #?￶ḅWച2%V&!-ЀcfdL͸j/(AlZDPP\ΊiFxSS`NWGBz6%:^o|e'ي~4~ @~V@<=*@"}<6頀U6>Xv5LղNl<f/x< \^4|)luJ@_е ic 9ML[\hhNB$8Cˢ\G2VйJԚI &hٹ@\@Qyߺ\)H!f/7NSY;H"(N]|z*5Le2/߸>K]%B[j'Fvx]ZelDn#HV@Kh*VPDXJO Ϫ"bo(gЮvdj<..$czЎmVT=w/WZ#+[|KژGaj$CJRm8BZP<>v}Y-OmMwF"y n)WBat@fb.ԻL'Q<7@3P128[;0E`788f{!J4԰iϥO"j0.G&?={}z[\Q |k"ԙ$ߥoaR*/ AF2X:эE6YDh)K~vTn{WnycjOf9c[?)*v7xHZX.AER`̦@}*c{V ߨ_`a@Ae{7:K0clh4M5] % ,cqv `'n,.lj;]Djb$ \ؖs9E<; h7M!vtxunމ8%Tkfd>xt66vʓ>?h7W2k P=@a}ˁ0hEu,|\[*_hr bZ5tCP]ۤ5b,=2ti~xc;m!]TqϫؗeI26?i9\MX fnq#1> t<&}d>u {R 3\`CRΛ;oRByѱr|RP3hsm6_%Hag7|uj 9-B MѲ !ng8]xb߲[j:}K:,_  3ku#UPC`_%|Pd_iVQL}q< %w$=6'L-2) q> Tx~vl"M0 Bea睦X*,x]œBףM"f׉]@OE"}9\.1s+wpAOoE˼창_C]I1xV@QfW4?VQȓIJ%_&g|]vyptl^5VMΝ>?+knD'qSCցP 2X] (}8iQzԩv+!QA"U N:o7kr77DNeWzj^HF b+O&jSPNpː(\~#Yh,hik:1L,$ JIpKᑎ<85ޫ l'{M=x&JRX)1.Z@ O($dұxh`ZX9fVZ+ֽpmyg >mCtL'#p>0 `󷫾ft]Br"7cR L7}M&^[;Hٜԇ^" m2O 5ARZ])92(ɔH\l*eYV1/̽&j쒀q0dީk@N6 Z(R`KH=b@wN~g^j>=TIs%&HU>,v^Q$޳#v+|n췗FQ$Gy)p,OӾLJ1j7O1:Wqh'Aͬ떣#ڻ~gM7OjE @}s(DZgYZ  0 1A% 4Abstract-RewritingRegular-Sets.Regexp_Methoddocument.tex7zXZִF! ,X]A-MՋhvG"uIBm5 )gtbGW2bc/6"yJxw\t/KBoJIoj[1#i] [] x$&RBp7^Xڲ{,R)Vg]'`MKp"S+<`g0P Ln*Ι"᎑ͨvGHO QpyY2l?z>|^[ 1SsR=SOvݍ|p:K̎* d87ZƋDӱȅCbFg #;\(~_VyH/:RGZG[<1$N߫Ɯ.fG#2S m7 O9\auhAWLD) 8+wD=hHkMܡޅ0sVW (I[-[T|ʗ;XZߺདྷunz{Qޞpc B7X(Muh|J{ Cyx8dۺdls_&ЇTڴ%"dROXl"3N3A] ilj neKJC |}#`SL yu`&RFyea/=051w{e) O@yQ=^:v/0vKT$/MS.tbAo\YցR;@D$G_FJ]JI@j:敷){Ӿ^mrU'wnnLUE A8) ܈LN + kJ„X'A13ۖo͎GJ@OW.@AU)3` frA CQ_DN 0.d-fyDPFXtuߣ 7qT`ñ~#0CgXpε4ݩ~e:y:{ql.4N;yc:վØޙMFT@^ 31٩ Gۇvts3}"{~snj-ZW W:|BFCY9nxK8FvoRZif\V\!mN/{VK}0)Nчzn8Dk5Fx!/::v` &1N  IgiWE&Smo+(Iٰq&-@U=rWC GG},jL%UQ \7x!`0Os̶FS?z\AEյ ×^Fu])wW:yљ;y5M"#MY{WRS2 iT̩k z(X/XB ᷑_!r3{%ԍ!vzHb0\A^U+>WDPW?l50X[gYZM1=% ,Abstract-RewritingRegular-Sets.NDerivativedocument.tex7zXZִF! 6M]A-MՋhvG"uIBm5ģ!jRx@މynmAbD^"v$z`RW3?>l57,~uA]n%>KZ>^nV}bl!X[!BpU!z IJd4 J5NLCp{%mt>Qe՞8sọ렔Ni9"hjh"2fs ;]/؍qzɄ:]'U hu&` "Ӽ, أ0J+4AxeRSLR$QY0 WɊ;N3U^Wg'`KVQ}f~so&مT ҃< TuK}-$OzO -&Zlk.19NH֗/t;}1TH3(5Q,3ǻ?jk_=##V^jhkY|>fBmMڽg/A a?|6_#. 4Lf DžR=+WUr=ISM$5ltm$zqbB}sd9IlvRt`UuTz}ꂔBn,`Hb%8oj4c5:rX%GXCrnck ZaNu;$_ q" c(y[NՒx*Iq` l7fQ[ZNf !IjT ٹ0ǖ ɚgB+ns:'.P&AO2 9}85!Iwxkv#0WT&m}8:&V4^ei RA%]fhP#zTLY*n˃ـ^/P85q۔mX@ ($U[VQ0ĵBJJf/Pg#tod(d< .>/FoOV6}րOg24%;Y(:Kʕ<%3;#<>WK1ƅ0%oEǸ +C؂_n=tkm4 ?15|FUZ r){BdRZ{!~FDg1_IgAEbdd\ By7.>-`Rz~Ȫ.uTsm(Τ)maPs;ECfӰl5gql7 x5ȻOA+W| D%TQ@~LG˹q!]|;94g}?*. ]MU!p)X lhjagYZ  5 1U% dAbstract-RewritingRegular-Sets.Relation_Interpretationdocument.tex7zXZִF! "]A-MՋhvG"uIBm5ť}(ܨȄ,l-Ixl0C6OÞV ]lS,g\Nr{xq6gz$mqCVʜ-~~ cV 0ޜjݝ 8 _PmuCDYWj Yo/:ѷ['|:24rLⲢsmV4}n W7lLU'9&Cs`LBy׍],8VKI2 q8-sqbEY.V'jzt;ЛYnwD'{g<_[8sEWcawjry&Ĥ sk.+vIAh7{ж JIHw AViK!{kҚE4uh::&#Uv 3rJr3ѽ3G4z?xb|( r' ZH14ć e{/x` nzeE? *Y=LʴW+6Z¯0PaoZg6~ aU_n{3?!젱2VC؁c7B2FOO4^k#Z6KCʳ5t䑺cٺFl1g9ߢ\j]Lle碔D:ASky?")0GjB9TjRʡny+kb,Rװf(㇡bE .nǡpw6 rj@6@_GF]_ooِKjz 4cep|q䖷 `ȱ mb.R{İM`ˈ 5:9I4Lcl<"(i B j'_V!L3 S;푁bBo*8ѭn׫IZŴ3OVp0ְ$6 ^1? d".|6iWB?GxjBx{}$L?unNFEEQf"~:5kҭX_D5g[AM:[ 栟~OvHPÝG$92` + G ݊溄ӣ/60pG|^"Sԩpb* 38Xt8z"f\v*P) EugYZ dd 1=% DAbstract-RewritingRegular-Sets.Regular_Expdocument.tex7zXZִF! ]A-MՋhvG"uIBm5>32 fyL 9_&QxuNEXS}_o+VLA5Ihǜ_^[9C"9lKQ}߰wDZnSC%.1~G@לBRrOKcg8X`bD>~.7$U 4C=}΁Y1~d996'HP!J;~dF|'xu|kKľ` }xR[`x2}Z /umȁADXT7lȉq#n<:ioKчPNiJeUlpgneVbE\骿)@Km`P~@8,J9/!;D;UJʴ4dBV' P3akEIVURd\x"M8"P (5ٙ%$9nm;b|ůKdXQ"-P7;`O[tlJTRbLq,bϿEܝ=rFA&̡knvU4p_CULOHؗSP,`tՂZDCBӏ3eʑQ_kIv3陽;5_~.QK9`^ޡ*{HZ[TP O'F-g K<74Qnɑp6tx۵f ^whFko1b6BBQѱf\,"x=ѥžWQSHh8Z}uw/]bL:ZѰ:E骕 Dz,xpk%+BY0J OBu}w.f2KLnoGeNRa.X"7<;#* ( ׮G:l|\xuW7=]zL%+Pg0皕Kz43'ͣH>/il}V;)E*!v\ck\<|yZӕpu|0u5}$R mqstw͐{%r稱eWpp7.VэyE֕ t8L\}VBywobt֮g5W}ѧcFeVȄḤQYAC4N.+j8_,X6PxWɲvAumzf7EK2!GgK釈05H"8_z8|pb鸎THý+d|J懒u6jrDHǥoY&g 74f:︗IS7fce8Jcĉ17_SCLڸBZuv(EC [Ggސ/n fCnLTj8V{ Xyl7xHkUcBBTBKQ b ̏(x߅֨=5΂S0vZs ݟOw2[a+3[ ^&y_R^!C+]K!.EbC(C*/x\ ,MڴbGؑV/s1܉Ϯ~!O'9ހ_ߝRg|"ƙb+15|ц.[ߖPp\t)txЋܥƸ3ecNO8g4o8OHӚ}s9aq!lU- U/\]j^>&3v[T%ѭSsշ@lGkUL >-v42"z aАMa.+Rwi?sinQ&Zx@lHd=)L޷(+V q L7_Y{;z՘mr ãm26 +OuMmX [ m(̅Uhʗp?D6ނMB [Oh(ZP xFPT|$E2ec YOtjEzz|i F2wKXѬiʚa(1BrEpz%?-)IH$ȔՂ|ӌBRg.sƖ ^\#ъ{6)95/vU`%^wp\.@r`Հm `w8Wbt9m#tQ2.{ƕ0ڳ†.x*pAbu7G BfV賑|Fc+e!jyA`4wT >$㙯oH^a3XF_&R,A9 ފ"RQRϾQ֊jbbr^]-Ry;PguhDu1kţDA_0rf_/MJ%ipOA˴1Z qOi쇏V#SCǵXxMc1ZjrQ5'F enS2ToT[wgʼnSty=NNU0m$&]FtE@rzL֑ZڧH{4 x]Q]fáR-*ݡa/77̆{J2Olm'By6HMjWCXےu7 *]+K],3|~d܄kYt5G$YK^P G J,:CܽP- tvNIDZ-&J+$ ubck6,= K@m76Kl4 WɊ K؈G[gVHlNӧFkNVrEWs#_)Hu<^ydB1^WቩA.F66NH72b'8cl߻dw]-Rx3w .JP䋞K|*+Dvw}Qm] *$mֺ`5AC( vr l[!,h\>/581,u2+s C=QJ%]EO|,2V$xKbdhus_^w˦^ I${2'?d8hrPvW `d Qr@y!I榦kG4Ei=om?ۧZs涹ܪZ)JzгNû܊/_m]Ĩw(PNoYgSqG wWamԐ_YcWzA@KQ:~5] *T7%wTHnM]-2?:ƌ&G0^Td"Im'EQo8#v*/Cu_E~)P '(>Fm`mӄj.Y.K-eO#L4^VqFt x,n`FA;A)-̀oP~,)y66j'%϶ڙKYLKHww'*<~7eGۧhgU"po WPYHWq4fDS)[^y42U5A&M&b,ҕٶ5^h}" oM/z@9> zșn@~^K}MAӱgYZ7zXZִF! )]ŗXiɟCrhi^IxDY?Av|1^ pDk=!~&^uZ` ^tgBԘ֧nN/pŒ5'w`fMRF~Z+ m{/> =c5_&FY@r3Y*g];0-䇨|X]_Z%g-=wV}BT{bz,w2c+9:V@&}Xfe>qpb ;80Xাy h pgYZ7zXZִF! Ü ]ŗXi%;?['M;k$\1O)"+޺tZɇ<{/;q=|;QUqؙ.ÞqL3uv ^vnf&\oGd?Dz>C)Fiwc tD_kk(o"J5%!$ԖTb:vE\Ԃe{oO4uT6NX!]>Pmo+x1Tr@sI"t4܎whIley "(\MSaIj~0gQ]@ |EE@|W[n>j~M*)0QK,y4lF >S1c.0`Afiyn$u]ly4DEÓ/O7o3= Rh|B%n^ט1 ]0ASw`dW"=cYT5͂7 [?o#6Pʩt,_&~t͎XPΥ0]w.mjV =]>>bT孙s-^)[ (Ҋa }g?UbR19N%kQhA} E|sWד$In߀2S7#VzjvEoc);+]@i9FzokHw>\0]1I=UvExS4+[*2 G^IA uO޼z}`5ѡ^ +uW͛@R(֒\HS0% 4gv9/9vWZ$bI@E4t: TiQ ē$l(3 ~:X>ҫa QqSNZ]/ \CQik"nUzȜZ]'W ;RwH,u5 Hm Fai& 2`Orb'VCS?ͩÛrWOwa 0֭-ʅQ[X+h}ޠPC: x:DnF}ћ*o캷*-R]{+Dwlct%A^nB. 4 Yʡz%!AE>k^Җb)o޵* E> 41:OoBU-رWu i84,_hEx PI 3g 0 €"$(vhr(uR)A{SMm@94zYɀ z9/?XACyƣ:}g΢Q$(V,?.[k06s'Fx\-(j@l]P8mB(3CFe#&[& |^{73]|α@ qL-eEb%jty>]Aij4Hm ʺP 97edhyC kIoi.0! ,@EH![ ĥ5IRQ@c{'t3nzjЭH+WKiwt%.ǣp|^:Z@Hr@QMfBqlN/ǧ# ˉ. ǘ [jcI@ f#8Qt8JѝgϕTl~t I cM.M-$9gYZ8735841132cbaf7b35a4954fe1b16d49e49748dd9ca5f92a14099d9d0578aa86393b807a3c2738ce 5d409056603c26099742d14e8f0a43cb37242805 f25b7aa9bfcf042befc4f0b5d99c36328c0d769c04fba68eaa9907a9e01bf8822288437342a2278c