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 u1 $d, ]]Abstract-Rewriting:threads=2elapsed=40.323cpu=68.032gc=3.648factor=1.697zXZִF! I]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HMzVMpHGdQI<6m^ㅭsD]$fGjykk:yf!QV' L&9hń My-0N o(hbak`Żi*IG:հb;EUךE%1Jm1aFR` 6>>%MW߫b'EͦM1ߏِߍe#*ީPW.Hu)\|3lW X`T% 1 Abstract-Rewriting$K1W% 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=$-ˇ쨾$I^(@ _j뒒-G("bL2d?kW@|E43Xז@v_LxkzԁGJm%DCr]ۅKzM؁k0CX=+"ɬe[9unkoXYa}[FR,%T505A"E݌zeC >STxmt0{4g[DG\|DŽI" Z>=>2d[g~(trފ]{ [*q7< Ԝ*8 > |Iw3X0]mC}, @I#7}f*@mגZ> saC5!EY(bAϗ0cB$,wɉ3$.Qc#Fտ4%yd)Mj=nK*jT ФNUmur+@4.ӯAP2qg=i|??΍ IT ѧr(BF x6BׂUuPEWW c'},7+D< jz&/B;aZ"9kt* nW# !  $%ol m / $H1U%Abstract-RewritingRegular-Sets.Relation_Interpretationdocument.tex <1=%Abstract-RewritingRegular-Sets.NDerivativedocument.tex >1A%Abstract-RewritingRegular-Sets.Regexp_Methoddocument.tex E1O%Abstract-RewritingRegular-Sets.Equivalence_Checkingdocument.tex<1=%Abstract-RewritingRegular-Sets.Regular_Expdocument.tex@1E%Abstract-RewritingAbstract-Rewriting.SN_Ordersdocument.tex<1=%Abstract-RewritingRegular-Sets.Regular_Setdocument.tex:19%Abstract-RewritingAbstract-Rewriting.Seqdocument.texI1W%Abstract-RewritingAbstract-Rewriting.Abstract_Rewritingdocument.texG1S%Abstract-RewritingAbstract-Rewriting.SN_Order_Carrierdocument.texH1W% Abstract-RewritingAbstract-Rewriting.Relative_Rewritingdocument.tex[ dF}{{7;!%hO1p AӍ|hV(>3ģ eU^[9: @^Q/ÜӶq)?MA|@HQaG-KO'<"\_zx=Tbyv[x3Tb~e`EVe:]x)AL:lr {v4xdoBs2gdf5C7Gfm3e)Ce++Gi(Sd*."9k_^ izfG"RXy3@t k ;a> ,FJ <8j%0 d^$ʃiio}&uc]i߆@0dz_&wC(5z@9q5\\N~q eѡ2ʐP| !v)2Y#]ZVFwcf_OIgmE oN#1jrON25d~eϩؤlFmBvQҶQ?ֺx%5.lޝM+ƲOoa!0ev$_5`7B~}~ƝN'~GH1t4mSO/ޯ B'>j!Qn yhp-u1llG|6:@[Q^,8B:?͎B8i1O":yLT>=_K(ի),TpNw)P lR#w C'AjB>Bo^ۆP/a4,lS;>:*tZҫ t:/D{C9խ . WPmªm+Lfm#t 3dվi0g9-Bb VK>봒5OihL$&SiCOgD`@ifF $d=S'Z}:QX :=vP'Hw~ 4PNQo`VʑD:Ў0/ kЩ t\#ܖD"b=VG%R~dG=*ko0ႤJ:ՈXBg7JLRrXl|֧$&~_gMi*R8P'_8%0>:{[Ҍ[{ҝuFu ޳uˆtTrs~fQUmnheZY̦&R%~Gj <9TwJqZkIS[`,2qȃwso7!ĄM+GeA!_ڻYdL`$ a);qQNO7jeu:do.P/> 0*H~o[l(S<,4tCg"!sˇw;KU\{GGr)Wi-OX5QcgǷ4jI)׽47_ɢ26F@ɁeYAyG.^0SK}p3^)0RV VD:}H&>U[ɜ/tFL'N)9O`{{kh2;L˞?TH F阣V^YXܐ NgG5c-vX|L'>):wӻo%͵'-n0xU*V/&ȉWg"NNϙ%STdYJu*{<|ɩ6g ֧Oq^ y5%'D]!=K0W}rU)>,Ve'^uq-W Ο;#su+5Bcۿ]~TVhd؏dE( r]=~4m5OYB}di Ơ8+ ak}nb2F3^R.dp]iWNO'O@܃M/&, J_cӎ?o}Ai.GCot ӭ>5}KQ}s- vg'CV #9a;q Km}ڨVjuf/h8b|2Q[`Hd{_J0Z֍It"+z8n^pawBގ nZN-(-⁻76$\$D BQ&='{!>g#!>Kzy'qVmW?3007D@2:#=a|ky|{q@s mLn~@=?Ip/@kyR0Ŏ`yٲ&M!"{"#8]4-eF `dm~>o;HDHs^Q:^\&tYJD \3)O Z3qQ%]S OEԵpĆ]Yȱte P_ՆnJ&2aUnS1?`ae $hΆMY`[w"hfwd.ŲE~fnފRTKyw|0܊4@ʕy +”Wf_xʦWf/W1z^KFI 0:*/!E VGAVʼn_b+ŨoFwꡏJT6-L݅:d~" V6:wSb8 ٴI{mpC]\_?漩rےoȥncdzlY<"wX%vvo9 Ҵ+~ue`',TS"QzUm0EکHt6]ݵHjЫ/Pw;K[|]*b pXDKJҽ݉Gb_[=~R%FbOѫÉ_Uw"zwX=c1+~4łߠl&ysN4,R(E};"LXo?HevQNh~ VqG gXd/L~nj }3蔁߾IC %|/sel{Gq| jIx~j#H }|tJ>: <=Hi2zCY#fdܲrO֗t`:(RtmbLrBկЯ沇,)mR(%[^LpqzR;ưǬOHpC7nh Iwz;]Mŗ~R 8ʇ&SOI9?pT˗ DiYѱʌN_X{§_'Zdi{C. pbu-&җ3G,]q*)…-F} }`nQk}k>HFnG*E˞M,0,3SʀiCMԕẌvs'&Vin-0g2oW<jnj*'vTguDJ˞Aي&$y񬩆oWff y$Oo5MW 8D*}?Wa'uL%p7O#.-:fx{xq ]$Ts1ZnIh*Cjs(u\7kYZӞ8B4AdyW.ݿk6HH]GX6"ǜy@;eP9wJqMSP8N w/o;-$ 6A9@yw3JyF!Zvd^L7f.(MIZSgBciY-f>/ UByEјC{7zSmUk-(t`xtq| }C `Y_W˿ dvLyE'/e":&9T6?.?`KZIιpI~j Ye8HY$e8lUqzh^0'N}lǞbogC^n8(SbO6M|4-F(p/op`q=UqDaFnqqgc/LTN+!N6PPhtޅ܇);nV<gA$[KGVOdpO$2U7} Awj/(&Cvpx/՟I߾kmRa b7 #[lBnZ7BCI/)G)_r3e;+㰇U X KQJOc|u:LW~ple]ߺRwqԃЅ.GUӄsXS?')Q'fgVON× *\k͊:ܵܔ+ AQISQE[Kl2h}M6"!o7ETwn\;erRn6Iޢ994Gj4tHPcC O*q-f~>wszS Q:zBh(ᵂjh>%8We`[J/fӘys-"OVF_X0~ǮZf/j~G9>]'^Qh#u.ğ G{`!gdA 7'`,CO+ե50 8:Aa2) iGVZp[w6/$Qf9;,h޽Hr83 X)jzK%mɕ5ΖM|{,oU 4M^6Aa#9c%z|Dz:lҸ)pSե k>rp c.fHRXr16o1K"*^uӳ@Hey҂/顼u#@ebb-:ӺۏWk!Ê\[p9&(kŚ "si" lQuj뙏74NPb3Srm)vG3gL}Ά.h'jzt2\@`Zr~1WqO!kdw"PB;a8VnZ+f9ĕz|㻴uXjuDT \:"ywƊ)mqfdEԼUz5u}8kZmkDd[r/k8 9[!dAX AfTb:hJM%ua{cGHϸW?KIGzMyD]x CϗKBWjz;>2 ՝Nc2"YO.wXVFZӱH38ůRvUFX窳ȫyFx_/ufgӝp^GVuz"7T(? ɿPj6O("Wp<Kh?LcdLC:&mFγ=]҉P7#->A+pH& .{Дm;qEȖ Ͽ腶 Zz;xrM;~We}G+uknUOI,jiT͇*5Se `-uE5q·|K&:oMgDz&CkqÒq:/&,KI[St (k\2B &pIE 3,*a5aoɿ-:~}gg\:>ttS3PF?g`F|9u-6I):N yPvk;u‘X=B lu|=co%*%¸1E\TV3 ,VVyGH[-XucͧɿY_x?W/h?>u.̳0[Tm^G]Eǵ6  hv Uig]1 #5SVLx`xj9:F$=ʊO2N*O/#=1QԀAˌPp.òܻ4˩JwY3O,LT5>舘*~}QkfTf73=ɶa_m&>E'u>$-ab&Q}2f~F+p|=9\GlT7oHo QuW<vH )4)5wE{}x/oc6JJ )5qz9 1K7L>g#L3/XT'9r`r%\+~l$l '/D(lz4bJђ;AD:r4}=PLpu$#/ySgI&t' 7'#qS\2=i7n 8%. 6ѿVB5Ryp ~myNy e8;haG`D%o~; x&ƌK:$+?h5;Ou9fgz}spIZb%g5IH&=8OFk)P D`Pj$Y68 L"Q_ Rr/H$bg)^Iy~eԮB\$ÈmFn>Cxj!~$i{ kJ @4^|+ON=(5 S+oܑßׁ,l}r0HuʸX+BxϠM9 `ˎgMO Ү.l0Iەa_njR.(|esP/ON.btwd0uRq?էs.u[ۨ}Z{0ϱ_ yJGt?7KxU83RƸkJ>sW,]߷ H(c1nM]TU㮲l8)\bsunДa3Q+n>"rEg˭z3HH@Hc!,G =3xM ].v:h GfeOX`k?N+Vi.z]U 6RXB xpRT0,؊</[1a:͈lϽP-Jfw[+g7 y)Bndi!'Wn49p*1R QrMJ U\1H\C"o-QUjVT;@$yGN#s"n#,Kb? %)-,3+q=YCݼ+ 37L$mNlLd?kdoyeQ\֗JăWN\PvE*5vV03h+Ṇc|\pQp D{Gc&Y¢Gን/Qٍ\˓+TKox<}muz~$ 96*Yd(g 7'OK@p/]{05׋IsL/< pb":I~8ʭY8C#u/29Q3A@xZ񊳾ި;I.ʒI8QRNآe/){_E;:na#iIs?k #Ua:ܟk?NX :ҎQa%vH؍,&I^s*!=fkv$#>4Sm);ڳ1GEF4[c~"^ OMύ`nŀFf1[g'ۂrW HIw {f0b4cbXȬj,i6DM4!y 5SQrUfJYҳKmlV\VDEf>בW+kܫO4t #`X-.QUlxRYg(J'_N[|5sTu>H񿋳򳩷-LA "X{0h;p8jW"D/h+u_߿ yx{=q(SyIZ} Os))ov،FLpR 9!U*إZ=bk51\FJ $Zv}{?!t]'QO!2o ekFLȌ>ая{lBas \qc4 Bs۷H8VWK_LiXr_ ";xM=PLfZSzG=M6Σwzm6TPԝ':ei<'! ,BHH@']N8<0i> ^L914T k)9RF||sn/A@Vׁ-<[)LfN`'?r6[ZC1a#<"#;k7O0n{b8L&?-na[`re&'v0&DŽDhh/+kBcU;F|4XL5v,>i^.,߉U%YDY˴tAo~`+$ T?Orw0N,OȽL&\rΊ5sSt )hd^̴5ET4.4H99lv)kN 7QL-j_ {&xj%&HzLnJvPK/xHdGl'׀aTQכNl;fsmH\! g! SX!*u)82dS=7. g74V` nYj[$Kii#cHb@lgO* &É[Pydto/RHY*`$wuL 5>إpVydˆS<^ݮ p{- 9JP|톉͠/I a4뫢5 Qм*Mh"ڲnz8ʷ€ZF =F'2.V &U[?|34qR?҂tߣţX;:ND3{6!sAՒy5rks jS_[$k< А> ʻ,1nqxű5p]xc.$L 8"˿f^^OS{yKG!9u2.ͷ$E)p]Y<%(pEbd ڳdI lnLyQIKnoVsJyY1 aャb,][@H<q~TY 1 Xy% T &ѐJ'P}!XA_޸j$vR ~)Bcg_O.sVL*/BrR('"YE*X2qC\j6Ł֬M{ZX)oqe~q8OhI!LѶ] h7s=}`h_QsuBI3{b]8P뾥q{/QY&"XS )a^M%V`"0SYoP_sɾ$R`r,_`zt<4&!QR/ibtXȊ%Ҧ3|KDL[OYPXm`#&B)|ګaœ|U@'F6/X궴DS]cX۰FSI_rHO5M48.~VAࣘBH{ڞjGи&Y?ΦlT8Ԡ(.ɠG|IE(m)6z}*dio\D;0?ď9g^#,&AsP^`)|r uMGc|k{dUN(J޷N̮=qeYs3z; jglR>1!(6'IG3!!1J^t^%Xw5Hu."wnIN1.?ƿgAb3[.ErmB3|][ΚV "6YpBΫ;'h'<}9Xb-֑B {w߸QLp[(lUWLGZl' ?Q~TF 'VԤsܤZ"Uk绖BvYBr tfft$rY~Bb0GC`A>vR]ms h_w:~ی3\: y5V7Kt9]kyKmcܧ@ǰT 널'Q o@%c0P!  6ZpڢT1Ҵwryɜ{EU uE($e?k~5klʻz]Ծ"Ng]n{<`%L)x8M4՜|wyphd]"bNa*VNzwJָ1΍u[;a"D 8#U|ͪ b_YMbd2SZJxl:HnLJ`@"-"I[6IY2SB/$ټMZ"eOuY}4q 2blT[3Y޽"|Ο"h Ϭ܂ ~dvdy6'hϨB|u>V|Rs3م"enҹe?qLyTT/K` @oqݼ Ϯt ׏>)+Œ!T7)@UJ  Ykyꍅt>|xLb[~ڂCi@bL É;Ϝαރ ^ueE3PXwӪ΍y'O}-8FCcEy7tq⿫֣ڶ-8ė+!iȶ® T\ʑb%yo9j 2y!pG%m.!(VGϜ:] h5{ Dy^"WgDwOA5xqa]8jSM)K9bPDLfhGуTgf-1]0Qfų}HT})]0]2r544h67irr!C}jj2IN^o e.IzEV{%QcS0(Zc͎'s3moPwP0nFgySDOR$Y5ݜl2*R#{ x!?ϊ T4 >Q1 ?nZSµ&TaO-e.TM&mhZeTpeb졩\2]Xuū`ЀxfTd[/nY3&4W f33a/'D} HNOp?mI<\q . =Xf}yl ӬI Il NVIs9i%8y=mw5Z^s_cx }gl=tVooKf6&ŭi<";!7Pq~-ҝR룁֦x=^cj][n'g;\;AzM`[g1@N/JIY~F՞?mb%*TƔ^ y1#Mc#8yfgK!R"k?!jXӌ<\h>#(Ħ 5aH2,zKd!Ub!`"4kUom :UBjߡDsX_OCղ$XQ,cwWz.Sg6e+ B;̺͆IJ$7X߾gЗݶ-§D+iQ,+ֈK o˪ hc+/lCLps  nu_l,a'K`E]]i/ 2j[ W`{HFedNVem"^i ̄oOǂFU d+Xfm Y |7؄5U)>,#x4XM8.uBH=~*#X("Hk^E"/ezAoxN@q  sY ҎTa%u=]?)H*s̎O᝞HVwzʖo(~H1'TqwBIʃ˻R ~i_xQvY9~[-eSB3|v{JXl{%--?~XFFa {salveo03LnjiT;)s)d҅}];6ؑ8bT~wRP7JƷ4缆JdC,oƈ3HsMO H"ҩ y9Ѱ6@Ȁ $9t.5tex>֮Zo㊗ HYцv5h\ܯ5ۘ\lw gW5Z3aM5<emftU\:jJC  }~_WEA*h}Ee0}S3V٫,Ԡ3~Gs)骋z$ICA-&5V=|Q4Jwse`wmÍĖ*DW+=!`VGNzL]2Z+X3)ѻleWM{vd`#9? kvR/DLý69QHb i ˔YP8YnY&ז$@ 2I ި= 1n1n$#BR֕z(]u%\ʅnK򀾸 nQVbN>r&~lNa S {wlY'k 8?qPRF+܆w~нn |E88+k`9< &l'×7叄>Ⱥ˹djzܖ1pL8qIU1l`㔮$<8|P &F;JeDD^Vk1"_k_mF)Gu_cΦ"b[1iEZӔ=E!qU:M( (Ymb+onˤdvg?+,H3osp#+bhU, j ?%:N0 {<4ƔvwӠ5HW9HZ?MjEYG_u/yA>E_f-ZyKa@Cǵ)Boi3M$ȲSqbܳ?^qq"/YRpldqV_^m%VOl?q) _r$%?jM gh{G-iҴ0 3c^6/?*7 ڗneE[0hR\e8ߝE|؛ ۘo  fl$F^VQ7r&kNxb!6^&Q6~.ljfc+K傒ȱ+V֗+?,g:6a3 t1 1Ddᅙ6*UdeeX/a⿏d ՓPjnZhƯ]>h2s-r{x`CԜoP]4xLĝ0I#dNIo`g;LB({ )c88E u0"Ȃ+jm&LZ'>if^WZZC|&LϺIߖa6|M¾(6Rvo^ D`::},ٶͰ&"E=J|<~7i.tNeMHaUqʲRI8,/BYl?$;d߉i# %\V}O8o#'UrW~`v7p;Z8VrF3`hlurwDϣƈ0gY]5\,S3pWWHK'IyգtY="+[Mz59$:J(K7+=9-b,3vYr ZFJ@ kӃX;8  d;Otjw_b"1Q}`˾)4"ݢ $"_}>,\G){ y(87tNl8G6PjMxPvi0TVxz;ǶoVxή*\K0Psd#ZV)]#%)_Jڿ_Ip3K7V1kz 2o ^H#>[#ѕ*qM̛3e4 .vACж?p/~ʷ 5;!x\b]T1R+W7Ma]w; &vg~q _8Ty- [c%]0H:/%TX fA)|}k+؈[b$8 Yo3I6ve#$)jJ/@q15*<7ٹ YQM0+~u9Rb0doɂX()['H~P|M*=ޓ4I枧>COhb4`}J%TeY._[w]"lkf>$9;+xA;U:@d-,KqH[yKS˪Cs\-LW?V[Z`_{j_vj7qP֗F;d)g\!dԺY}_+6T1e_v 7]d=\/x(.\wڟy]?0W89hx *A {vsOo_߄m}u"jCfb3XWB@(@3щDӀ.ͦz %Z:$Oʇ5I9mx sşFW/jOWi2qg9;q^2[W sev8; vِGX`ܼoEqQ!|+X:?WNt@/pN6HzC3mdRzBΚ(C٤_yS! okf'!o\!%jO"IwO9OB>Oe,+ ƅ|L* z/G'G³³;0!\iqfdR B-xx$TIk\΃Z>OIÏEo\o:iŸlĺiI<NmlYݮ|Ϫ$?~6B y4@ fY 4 ߇bS!Nʟ#M&~ΚMzط4Y;\T5L72i⦬>O|d}Z=Y}JWW+麬CFj*_$Ϳ;@\LڳPx-ة@0ɘ_IJ&Cne܈w cJJb{cpD{^ zeڡյ rHIԨh AR)peh䶔 3mQAQLD^}G'HTÏ\/[z ץҲOP }1@VVT)+!,}쪺, x`"VRÖy4X ܙQˑv:\lP5= 9uSƘ2QK_HwX9o?|X4z_G\b?mS<;k}׆ԇ ꍽaˤ(gihgGr2FG"a 6<}_ C6AC|ʣw(=C頗NU(MqDUݙ=a.R%=~.fVQtC*=+iY[NŢB` Mrn/w$їYn<|OSgKU0F`/LEd :TH)OLn9D4~0J+~d~"WiL>:'$ĽY~Db2uZ=V,sÞlK-3JˣE=peoyiQs6 qf7 uXØ}-߿5]Cn4\4#}eZ6w/n]1:aT]Q 񤰀78z늪D(u=K_ t֏94]rDbXX8;g=)M$4f{pC:]F=-:v ˄ny9ˑ6m8ٽeqv1*kY7Qⱞ 1[v*$ :~ϐd Ć=]_/b•h?(dج;wfD"$WvɣGjFNo"`#\L}i& wp;?Sgxq' _0>_+8h2/U~MI>tF꛽(K+lCwRxSb*40<62_HCP)tV=upa'H؀B/ݮ^,^uCȢ{$j$BW J'Ȫ*0_e^lކn=tt@԰Ǐp<_tni,la{hX~bwLf6Ί%mdW)5_҇jn;s9BlSuX8/4’C&ܷ$VFP׆yɇJT :T!I^=A9ۼ*0t(PtxFh.2y׺vL}iSdNk' vM>,$Uf^¤萀"Iq}T RB~4@ cRiDRmKw e8Tf{ٳiDS2hˈ<>ďުYSO9w-w m[zK_ݡ {ze̠|ARV"nd56!Z܍iRRn +Q鎅 # 4L7ˮwdֽ{]5])gV|jS} dAT?o4<%ay4lZ~hH]_.M=%}yI,Ѻw3;@fc^ NM0>"tvH·6Flz^ Otxf/&tx&0mb{hZ[Vi NK߾M ,,qhJb`r}V%v=D>$G6w.,󒜃:-ۼ_OqKҎc2 D6H_ [?6#S,&K?QYXMȰ[M"7% 2SU4ב^"mD @$ߏ^^ڵSxHj>*c_*|SK8`O-uH\x"֋s[ҏ6^>AX"I5q4u/wn6Bvޯ@<[ x %Dvmi\I;e;aIji!3?e7*;_B.ԣB}IX8q6Mg+yȁH%HmV[YD$g W Uכaѽ`00m 3¯l{%wZ"e-$H"sV#L*fyQ,SRAn*rIcƳ`dlQ~!S_D\YW RY_AgnU&^M`L'PV?؟H1E\a"]xl.fPC9"a砯1 yl;8!p2g0].-K* bj0]!6 P7W!f@20E?*dK ЍEJHG4JPHdqzpr`a!2dLQe*%)X\TٽO"ĎxTFOκk;2F}6ưKu"ڝfhX rVj;qo)* /#A\zݨDRXӎ(S$s;osê?[_ݮm)6T_DZ)fxS\z% \lQuX8xX0%Pwpsin9WKx0.-]P|ȸrre˽z^^>MT+=}u|Fj 8R"!LSŠUQsC [2r-ZZ诐F0L_>Ajb)σ,M$7 !SJLMmMyl=f4G4Fl;B0Pm56ĠĆT"3i" & H|n>8~&eoe \܅uq۵}~Vl5 @CGNe[ ;-޹/m2 mxN[y 8p7RgYZ -@ܢ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 K1W% 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=$-ˇ쨾$I^(@ _j뒒-G("bL2d?kW@|E43Xז@v_LxkzԁGJm%DCr]ۅKzM؁k0CX=+"ɬe[9unkoXYa}[FR,%T505A"E݌zeC >STxmt0{4g[DG\|DŽI" Z>=>2d[g~(trފ]{ [*q7< Ԝ*8 > |Iw3X0]mC}, @I#7}f*@mגZ> saC5!EY(bAϗ0cB$,wɉ3$.Qc#Fտ4%yd)Mj=nK*jT ФNUmur+@4.ӯAP2qg=i|??΍ IT ѧr(BF x6BׂUuPEWW c'},7+D< jz&/B;aZ"9kt* nWQ-R‚RƼȀF5bV83M <<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~U.C mvf«O6 (Wa4lkoE h4 zZ[}<(|+̠J}{?ͺǂs)h/x™vvcy:7|Kk3U< W!@ Z G??/k8$6V&o Ѯ|E(T6@0HFZ˱x ϹVUG+W*<\nrIM+ k8S~BDWxB}:OW23΢NBi!wDe&({"<{CNcL6cW°swJ_qj~XuO-fH>A^OTu5]tZu? aг;SXqI\4Gj̒ZչI]}jQ+uwE*(ؼ7GqPRŹ~QԦ"VkΊUE> tݲtgS aj$\824*+(ֆ$pcL^[wbRBT gꔇYa kd ZTé,}FYUuMo`w[7l*>o\_H U$ [@etRLNíj'jF'Z͟w䗟ՐVwH/BJu4۾J~[(99NIНF`9VD.sCfn^pa_s ƘqFS[ 4ć IB8FY!(cNij.-Y!T % Qvy:cnT(/44qʽQ>('0ĸN$%g%1bԟ6nc9x#3t6[VOejYg'˜2Go9bZ}eOr1D xʽK=(/8!&/ӜCawL"4\vkn(8+ L6U'Gnb/Ah ;9Zm³eĂÞzp:SRΚ^;Of[qxx8RZ2Zbst[+PE/`LcUM?:p#YAS8tvQ&. I5:{'bЩ/h \Q76̑@NDc @ؖ3\"R`%kl .% )>[/TH{`3pTBUw<8|7ƇХΥjQ-ϰh}kw<>}eR#]vj(1a?$(gO`T5ekksݺ5.Q)a=fv4c/-'c1}oz.~ʒP[6~ Л@$}}*-@e - 3=0 7A'#@IڍPʮV24R&TZ[h 3b[1aNT8p@Бu_F&h*dC9q"`3Ho@3)VHJ0P&^Oy)g6b8 I+wiG.;aC޹p3[ڒc|JnV!zvſ,}T T jOyҝ,.is=ObiS##pB}Vi'jbm9NCہ$B( HuI^؜g5e3ZELJvLe$gY8{^$7|biCM\ksbbY V ʯ*KýP,Jc߽NCp|aa%X,B_̩u0L1ьtr\ .:Pj&g9~'tV\k [!7gb[e!@*|c2Ise"u̫`t:CT()(~ZMz 4Pq H s5'ܽxD2Ӌdu@-׌meH"}}#pi4R[ڧQ:ŷu1#~->mnVJP4T*s7v!jёѶCLj)2XZ #`YƸ_>cbl#j8[V'cV n2U:aetKHd}"Mg`7<Ռ5k1* 0ְf*F{hߦ7﫷;E^"XrIR\'Q4veyթj 7_},QU̽ qf7N ,@Enu@ @' (\KYc/8آǵ0bg!Wp 3K ;͑F*b$>fT 3l fl_mX6E?n(U8b=,[䕿4ރ<['lE`KT <7Vk$a.Pa $N""|KFd 2vcO%iF0ͤS|JvV.4L)x G_ YxYis$X!" L|b2%8h$U.el^0¥v<]f GIy=kG]->R٫uwC[]1ս_$jPSaPs@S ᾡrG/ֳ]CTNElI&ptRinkjŜEAظ^JdF:H{1$åTuUwT}s+=mxޤ2:#dQu]Z/<$o:}S b?nZdr&:*C[oV*4ђ{H*L٪{ISۘǺ?ݴ2 guRkJM[e|hO?sˢtN4?t f($\=5<MEWla^F0p U$K7Jt!1%<`;b̀L07e-p$Cb.]I"9"zF;Y \>$\'|419i52 honMuÏ!uCWf<\AWi0/PZi7IߙJK oI gJvkI,@HLz:N{G9^]RQZB9Vf%4 (|A蓦p1t]Lr8@+z^r4=f8ܟxJLzlk-tuC#ل'zA+UG7K-lpo1mzNIgq 8@ks9P^VUغFzq], U@TC7/cYL%OǾ-3oW I #P {>&Ơ ?$KU Y21LTA΍O:JI՚Ib >2yYzyS׾Wc0%F0(7,< 4mNfGc`VB%^(mB"΁8fJnCN"+uHź3ޚ{fv`fT{fTE+G n^ 0N`no:IɄa-qQ2,}ho9ͩ,3.F-&_Z3CYn':jhh9Y d.:W}+HHLt͔ %;`DAֲZ :N6%ˤez_v~dvFk2ƈ<-JJV*OtwäBT}>8Qr pA]t\=1L2J3l#:D~i:7sbFc[OSΓvFjJzEMEEm#o& J_NP/ـh]3DKe/ӒsR`I^7oH]+t>9+rؕu*PřR10FEޑ$wY⫓ (9!2O䯢"j:9XRΝtBOOr HYcq9ȉ^:R'?63W c0{sJ.RxޗA_bJ<_́);$ؾi9(TdNi5'[$AT $" ل)~ז9Dc2_ h{mKxcr6|N-Nxk0 mk4OxE?T^$7 ?J#oߙB!M*~X:_\T^JR}B#1po)0e\1}kn -;5KQɇ%4vU!]ŸJEeZkQWj9 C)J,Ǿnx%,3</zǫG8+yČeDFѶdOL}=[WvYMV'p<*vE`we&nu]`ҷu߆f70D /zE(Q<H|_S:Ǣ("pof_ћ3`ٳlghLc |$EU h B1Jf Q/pcDP oUj漏6"Z!xd-\IY+j IQ7Ҵɡny*F H|J]kJU%na2Y7 l&;)W'~εImż`@- SQBY"TÐ؞?cE{פ'`TҨ1S狟Y,eV_!: j65j!N/TilJԗٵr,h!b? ސaZlCB_'`'0fGQsVbԹ^]ւ&L2+ d!o2d(HQ`%!E*-*B83@h(4&#k&$t|| .IYIie߂Up',MP1X8ǮN`í7bvg"#6oq17eDRwJ wZ'tUF>[J()=q.bQ=H3d~R x@ScP<袆s Z좤Jw" xXY4.i4PXWias=H65-aL9*rRAE5.!fc%';&ъKg:I8l?ה_})u2 钻-MihkZW'| }Z{t8VJC'b/PG#]%x_8tvU$z O͌8%7\IWN$ ,~4ZmEkUq2Kz2uZ3(HIީ=̊=$mγ3C)G .NZ:Od @x߃*SX$YᒢR$` 3w:_ J;@fꎎ́QAA@(a]ʕ)31Y|aHjX+o v&8?YJDɩD;ӣ\R:+"X'f)xXr|P?DKq.>pɫ|l u bD@yM#U sZ|AZ^%g,H1n{@q۳/\Zk"l{ KU.τ*3Xw^k[kH|W_РK $sM-AV\ۋhac>~,PÑd H!# {+5X<#ϧ*U˹&,Ց6f iP.g]H!u.Far7ЩH ssEE}j^X̽Es;<#/˪9ɗ@>AКhg:ٺ7Hdwr}@)*}?:`c-:x&T&yXDmRjdΤ^XCxޯNZ㛊r!Ŀ{ CC{ O!sK{_۳eV4?$i8|DClCgB;+_]/bP=H8n{9=EY-r/ 9#f߻(;}s!Us*N%>NtFM+jo&64p_~G^u8.2\s0h|~ 8$æh=UE*Fu3RƵ;.h@[ĮH w3SI%ƒjRkR_\c)^i~,T.sW RK什'! JHo YjD0 ~/iRx{~RQK" )  ]=ם1ub$\ȹ9OkeJTUd*6]x >Vz;Qr*CD@HM+ N!X]_ ;[/&}ύ.|rƮs^${#& g3z;8xTYׯVR7|7 MͣUcpReGs0sOʴ@(ZD Fn2[]y` XUh sݺrbt5Q=3,-j _-@.h?f]+ncHo;&B[bD:=ZD^)Udn'ܹDOWqMt^@X+W\rTVjKvf0i@XCBZ(OiN6ſU|9C*i5ForMNt_O=ȹHvXxkGFoGX4{q%TJ LYk/oᕀ++:79sYȍ 4[?ŹW߻juN^\GFCPm2Nmtu7Kjޟ6-oBTrCD 5n%~_[< Y:~Diҽմ8S$6J;Y܆o))<ְal8ϟ oαjeֈaDz-닼;JhOOB'^%ޝXFEo!Okkr%Ҝ> HpxP <¹~C끐uF?CT"=d$nMX|)&xF=1@ SH.KrGMw^U< Jԁ S՟d'*73&S)4)% !o[ݭ5ԣ.X̶^5UdqH6Pq3S52tauő3zhrQb|6No2D L>׽6P sۗvA!hn[Jj⦢c?·]CcĊ_E\ wBr_ a+]de8>փQ_i8eIw%q|p~COƅ FХSbԩhk)&,}bUGU%*C{YE&"*%I g@YoZau+ywƉ%ʪ{U_,R4?w? )[5h,D9%"y3\T[.Un?3UJznwr$ ~!vL禇,D@RE8 m+;{Tj).\H k4ldh{@gfa$_'?R?_M+Z ͧzJng *4mx؜=LGd۸hqʠGGArqL-LGAK-z+|LELﰕ 'c⢬@覤x˨" M^gѺnT Dž0AFuͭ{ڒi$Ս<` זG =AߒYb5ȨyQY|UQHd+&.%4fy)IzV@>/Tu&\z%g>dwfaECgn*P2K"?[7mŚf@'CpQDV<FQ[9ntax3L(L^n5jsťupM 5: NpH1xI9ŷ'X/ga"RE!A4thet̤+IVTSWR -'쑲g]z5IzqvML{zrfn:IJ;X Cݭk_`Tpܔvqr@^ peЍ (={E;0e| Վ̆Q;zf" (mˡE8T6Lj򔤥{5pN,aeXaDB| y8$K o&P O5^*EsK..ERKm\ z|FC 8q.VƏ zQ"BJ7WV֨mp ߯j{LP}Մd,8(7}J_VQ2N`)J([qkRH|a;S_Y_f4%@='BmHR 5W> {O}GĹmRλ/Kvs-a+ăpg=طtb(ogΈx&Ӗ6'nmg'2:̛|vsk ä-} 6A~]%#WiPr.)XhgzӳA%o=bt-zܻIK =!^ufGɉV{rNgr0o(! hXgFN$@ O0iOdC<.oқEasT}Y# nL-D3]m!D1~|~>xȺ =tDk>M[oE%f=HrB@d ~`4ƜI ]&]E[bNл+( R R@T<(Xƍ)oy-ʕC.zUt~;_Tz74Ԙ{@DDg#%ܤlـXi'LĢdnh١IR3 ! `ߍnR]—,4&b3%RM=#b(Io`EO*61))m[)9qC @[gB9sT)yRjg.-kfbaR;VM(Ts$ug~2 ${RI@2 q-ɹp? "^wb䥡`RkM/BüWx?fRW_(W,Q4b0-C㯵<]s66+YM r9FP\6CJ4Z/_|oܥ -Zbl`$j)c΂[&rPjs+T'$/AxɃlYTgl 9eFy< @lKDchyɼ쮦uKh4xݛ+;N-Ik"?:>iv{Q|wȧQO?;#\mЗuliw] ;Y PZ\a5^ݛR(Հcr#)!-hGF<*SBՑa,n-TED HO!ƓWeSqQ0+ TjyR=ݨhMwL;Řzcߌ7Ga| Wڜ’~p"DsyH ~%4͈7k.Kãނ)d$:&ts)cH,og-""o4p5/C=FmdtSl3X%(keN!%T&P,+Ufŝ-tjOo%.Ao) b0=9|F< [`.nk{sq|\1g قM3$h' Aδ4rc/D$em ;* ;fO?ʎC\ix^9!";O!*fsfpB`u`;5~2vh,y~Zཚ N-iDV$PYM(p0>Q#%7;pv.U..ߗ^@Ovme;}Y4ncJDݬ@Rqaҥ68< wxP{fp4q0*'o(͗_׻ Zws}%nAQ" ZXƼ f.'/r.O Ys]Uޑ9;? P˿.d8m6ZxCI2̉P=>L'KyU֕zryֶncXK`Wݞr"=&f.hj-C ;{7M b#9jy 4a`n@PݫT[_$M 6sd#Z$9tqH2I%But7 0 "mkf5Տ:ZS$ M(Kͣt{xNcaɗJM11 \ϚsH ; 5p[/W4.`nrUju@lẃҸȃD3|cRk"*)U(:O]eDv$7e@6 rAI PqRrlcA7/յW{R 4g/cnHکB6Xj*-eF%wqRwIѲD Gă;fYl_%Lp9` 6~Kk8@ Դo5jox a;zx̍4ޜ[|s)E,m՜}9 oe3j0oߚ됁Dn0n%$wN).  4z ݃@-hRi\;ک"2B#qш@zEUG1/7W&찱wHe+r{C΢E\o}־JR~K #ݺJ>ϔ*8ȋV 3FlyS^w](RL@&3ji|0tc4LtΚjXgx d@YO"ES  Ӻ `msmĮA/L#?dNݡ2D6 oW_!
8 )^aZ!,$ߗeY2%6~QlcėGh]Uw`0@eb6cQġm-&`*wJ1ѽn]Dv:j:@d3R5&{iNF<(ܒMqy&ycbW'iRzKKnW˿p3\FNU+nUGv{[xƢ C;T@(KR^&ܢeҾT,^8U/1gcDwժׯcw7i]3X~;2 [1NBe13)+;"; ДX^œ1toSOCb4ҳ4Fd vtYJ_ϳ7@k +;iʜu_'-LxIp>o|iE2m/ Iw㨰$Y`gްAL,VcyÈ.]v{>Fw1#iy 1x2ʶ17c4Z@0]? ?)/5pw_Q-x]eas*Gkq[S =Le(q6tN )L7@'mBM"{,rw8)cE[p y9[['k,^r2!!I隫Uh-MEv4Y4y"\ jC=p}ȯxYw&)JUb#gfH ֲ 7 3~1]#:p(j8bD#Ѷ.0(h /4'⚑xI,`UŴW?tv"lL `nmeݑ+1{\+][ 8 ˆy*մj憉|tZ,Lm9'rAfNXai:75r ,S^ MQWü,é ,{-lc+:nm&]_ 0I-q?r[(%>ZfwnԦ%MNk:`= g[$וQ;x=V-:{,%aS \=Fed^ذ:Y|06>\Ǥ<&bC7fHw1'H]> y00.xBNsӢ?֚NP W71vp&;ϙ m׎NĉH yЛ3ƋWYʢSo=Q$1TT d>E YЪp]-YnoBҩC5\M/tZya蛘蘅=Vqj?ǵśp9)ӨVdEQg\\R7*2)9(k2 9@ {ݬ5ۃ@޻Q{ SiĊfrg my ݁j[ i:Tq0ki< 9OhiL 9_+YJ$&{"*.>Rҋ[GCs\9Cޓ xaBzW,>r >7o/jl*9&Y˜X&TTa\Ԓ[@; \zYoX/pǡ-3R5 :#m0>KeI3 şd]guXK/5aʐTT-ĿWpe'v`X?kna18Ƒ:NSDK?n#U)=CDnܺOOmb8]{Y1S ϳ)hR UnF <HFl"LV:~Iij մ ꅧ㠼_#W>F,<2Ą-:o1SP3ARNv0Su+"xCK4QXh$Fe> 9>1 K:8BWF \qTqaƇؚA ,S](Au~ Y OuDa6_pDu\[gACBg,eT;"m8B!0k)CfWVd@!ub@M(J"7ePo V.Z\&Qg|2: IRX3r'{A4o;ǵ}͆!.[d \`[Í_D(SOoԛ~^(ki-"X4C*0ظz.E:jt8M=^soԆIjvhYp⵱>l7&D:o3b/B.qw܄_8"h5o/Ѥ,.*hZ?ޓe @q{ 5E^m޾%8!WTdB0Qז;i{iYF$lcsgjp=*$tÆh܌rpPsT Ml4/ne%޽XELld@˅N%-Ŏ SDEKE5q4?z: T! aE϶ĉZrZB :ߺ}w#̙}]/"WwoA¼۸1!Hjli`4Zg+ *lDcy+Nx]\9UdU2]Ti|/*EJK`97bKfK\n.*rNtXFB pIAvs{ڵȠxm (|V<p*D XFhz3d})8m:TJ/M)RPdΕ+cE ;;rvA}28϶]U]jdsu{IjsLY=OH5[yuC̵QF7}`3=dm07%,).䏝t6`١b~ "Cd:LqɑlGc4j^x չ~˩>43ߥtAzIc[~!u`8iqAw!" ޖ[5u|m?j^H61~Sݿ,#{i5-k@♴gӡ(̥24PR`>kf@M&_ 79?4}Dr:Ǯnru1Jz^ ?CfE o^VN/>PDQԩp\jS%1J@=d%ѝXDJ7k? A ˭(gASJa\3\ (.3QyHEY'a-4ڕp2 m@FRhʩn>캼&1#Xl康wS@jJMMXPSHGMG68c;a|ղ ϼGCKiLRWX@x]'ө?Jh!|!Eѱ﷕ܜ&Їr|;[dI^ nl}H|mMZ7E( _4>M iϹ?#]zF'FtjEan}xLT: <"sSE0s8loFlEKY/:v F9!KPgMs !xx4%w=@&sД f>F DPjhlDB[ϺLŢ]-rM̲47~8j2L8:=:W1M/7);he5>G $#/i4hZn%2@F7 Հq` blujzhV3lB־D 2QTzDOvm|wB!29oPaݠntގKa 6W֔Xz//${EaQ %_ vaB>3Cw.a[3^È)F"^ԦoDWJ_qe9NehT1uL[KBԁ1V~^WN/x&Z㑒z'(فy3x`ݺ_b:4}vשia `-:f)Zz "n)0*- @v ]- /F60ObZN﬊"$K[D~7?+jyBƊLn(*;<+m.3/j-@M`ղ()W-UH"")gymvK.LE2;?EXlh!9ņ ? Ý[}Gٞ(RevJk!N= H1Scsv6 غW@{s޳ BEAIj) v]F#eRYJ5DD|+nMۅD7`jt6Nul;S8lttBcb+|&|6zъndMLL/0D_xim}8@Q\e`B"^8WrhwD^$M!\ԦՋ+\ΐ4V6f$Rfw!28]-hJh@('\T߇Iߙ"=Ree9_>>݊XY)j#f-m:+31_jmJJ{s32Ǡi)Y9:kEdIcz6UYʨE_eOç_\EƎ |'Ug`@uCgyL-:i_Ju!m#/Sކ\eYM轕f~S]ߏ(QJ^t 5c@353iSR04Al~1_ʊ`gn?8hu ?[>WIo;3 oO7DfBᇐ z AH9?_lސM%Vߙ^̽q:xZ-!4T63ROr%eJD=Kw9? s ی,hwƁ/OE#Rn:BLG ,2P>\>i48~ X?IH.bd-EvTĦ2&uQp~x@RdH*%j}v]ov)@"((ä` Yq2w v/Bd4pDPu|L3*},ԩue]Qu8*걧̧̩!wߺP&4@Z< !B5 (Ũdd@o@etK%뢫qh>EHV]?%*V }9}FrUJFW bmƞ l)A:~a8U)\ꁇ*}P:`l=ئven}){Wf\DzI4˯lᗬ= Zxtam?h>S0ѝA>n_=oGEW5ž=c= kn[gW$2?1q\IT&D0jK$}&j!E^}z4㈦VYF1W&fr8+ FElⷿ.?5?ӏ "'cN5t>?03ࡉ'Kp'.ۂ.Ak`}P=$f2U miKVLݳؠ >$U2?t|Gs^=o}odZ1mɋZEc<`[鐶_*ώE>$)jì;R6De!t_Xd>C wMWgih|(X'28p|/ͤqng,.FJC.&uX:dQfs媨t|/wtmw^aOS֪k`wXڱF1Zѫ_t=r\ qZd, BUXgfg&#Nzu8sț|#2G눫>,4x_Qm[Yך6`[,:MǦ3lb%. #ǵPG~#\njՌP< )%XUpt̛^p,E3H_nl@Vwɻ,-Z%P2&UsbI<#F#bV1:pI,|I498Xw܇r x62Ł$\qP3$M5&,r%SsBN?lB ^ҝ! Ŭ1 ?F_$ʠ.zZٴ'ly +gEDgl[>/^ bRٌnY5g>.nQfi > R_X%G8|;Fx䊿_k]Y}'-|ר{K:U Ϸ\g'ԃs4N?c]GloL8}tX^:f2Y2L*n$G:(&⃩N)I\ BC:2ṵ0OZ^qq6poHX~wtRJMŇS;[nEd s V^׼ 8Y|"TzLZo0TpQHa#o˴19b!ݽ3O}a/Nu> QyD<UbLh#P/# 蓟M,FAHbH[˒- Rͳn" :VYS4E=`&,q 鉹 +1 ~NâElGɰsD܂#{%m[RYsp乂YqI}3L&(5%NM=~UQ^YW?1L@k}@26(chW{q(@xk0ᇦAoX5m)sZ: GL0=YIJJϾ zNvP{;S]Q؆Ou -\*+?bߤݹcͧ[k}ZW%]<75[ݨR$SvB#;T:COPukZeZX2BTQƦ>0͇F}hWy;2/=6zcގy(wi1ݎt~ ^?qP7c$z2 0@ կuc 5܃2T&#uH,Gk-y,Q\u|m_q齃 z1+? ?o9FmMW_!gnJm}8Y/Iz;M߲#>)~CprRE6*5JKy[! }Ho{j ZaXL敽lM#ۊ/TJ uKzq?X*e|Lk#| nP{],4q(C:ѓ{0#)p Yg:#DrAborD9h11xF{qy㎱Z)*ҀX}:M 2\HЮ=P YojUԱl@gޥ\Oʐ|Jl; g!GKivČ|ꡗd٢ch֕I.  rS<2EbKaѫRUk;5L^1ۅ~"`dĪ7dwU%k Y!\U 3OGޟs%$'tp`1f9%/}ht)7wJ6z(p W*o`G(Kk%\bй)'޶wM /jzx};iS`6]f7p~3AkuKڔE7b 2oY>Z;p [TF_6wB !*~}9k čk'VUqcstv  섟9]Khvkd[ 6ӌ *k}I"j%Ll:J6 ~jq yM{)TV! }ogzlS )XA",^u 2GP p;uBpk\ʂ0q]٩L#H"" r ܁"o?c2V';VZ{EMEߚmAwNG&$94ޢ8Yea+FV6^t IJ'6Jh bi;lbP/~; Qc*!-! o֨-lokL` \aunJ@ ҕ]Կ:tv~O5B鎞J ]×\N|Xhgcj0f_JjIu4VxFLa|Ók6dK8?@[R2*i1o tda,0zy 2*ocBy ]RܟŻ O'?[E_b9Ґw|tq gi:\8,oi19YgՀ uZ gY(mE66H" ϼ{fYe` *࠺+X!/R-1Ʈy^6ٍ$3 FJM|ϊNd'< S[ZBZ 5yY ;P2C<62[ebŊAz%S"֫W'!GqxÞ>67x(G}4ɝfMjڴ7+`I/3_; #aX+o$vdW|1sIU%.Xs!@70E.c(oVPHޞt>yZ0ObdD5QUW+6ɨRS~rwK-Coo{H6t5њD,#N]$B>H+UD)e_gk#(nBWo `>>2vf4I/ar zwXn6`^y/_ZוUh=ge};G푊Zu7ޕKblӥCL& =+}*eUNk+vJyPxxoo"Q1*p\ylmY9t*.9Ҩ;pZ z2d[e1u6{1Jvd@F5?e@Oxz+P,,4{^7 |T诿4g2xcBƳ*Գ3+]'2y+䨸9+Xu`F#tiSr߷H&z  %RfqfLQ%KнDط\M"Wcm !AӖ) \Yt, bn)\BE T'"y";&yNŢ?F}F.rŃ+'S!b;#q?^PX>0` :yb)Z ~o1;(]Co[c9F.RiW_LViw(6yb,a!zN Z@+e0V<V]._Q`Ԭiwm\>:& RbP '("!J Fgi݃e),X xa%p'8IAg\NqZ}З;HC=F}gwx]UG4B[#j!g}i{d鲋LZX&;YU"qA_=TN`Y=ѵ<M׶wP.KkFBYCxm`rIP>m\?ugճ,_{P:.cqra 0iKԎ{zz3FC?~9u8?6x胆<V$B(hN/|6wՃ5|] ~L'X#uCce3+$١p>pB1zIrii+FO"ҫz/q jzwݹܸ&v%IEȘ~8,c}97D ZUw+kB`El*;l-ܵZϴ3X[H 3}AhφT?4=Y/Bװ2[?ҥ̑xi|a9YkNajrw } |,j]89ŮɀC^}hAK#=;~Ysgz:` ^Jx#&%69)B.{7an[>f.DmhCd-H݈QJUz"fXusY)F%4ů0<hYQK-Y ,3ٜԐhH 3f5zZf'-\;:ud){]d5( X~aVy:.`R5l21J:ԭCH+޶ AjLvq?6IQn}SC򚻱} Q4"2>l܅M,Ų`~0Fń=)Bef #qՒ_r؃:1ũ\Y=2_+f@(Qb!N#1P88L*iڶit̡.Ņx+જ5-^te!yqxvMMF {D2ĭsA7|IEw.rs wu^"i0aM'xk~@dG=XOYb'vx./2\@$b ԳXFp;Q|^Y5rJ^pB9>کLF]nl¡Fy< [7(er\X@d?wHRf0E`y(r' ²VwU`KlccNnrH:qO1tg߽e&Y*}u#۶sP}$R+232MR `-=UGQlF"o*#Azk\B l\ #Sa`e8^WPqX rbc՟7~=|le܂ShFug|QJ`X sܘ+'dcۘxTNco+5*:LYZX#dtVn\֥hL$ZȺ:daD߳Ns)՗%'s#FEݲ8<ζyP]'I+rq ;)WhyH /?0p(2il=$,8)WAƇ$R3)(tYi_'@vioLiNxˤRR2ܭr2Hj2a08:qwSgC+:[/V]7C.v(Fֆyɏ^HM!7bsZ_F)k^Wq0 9=.<ӏ='~[TㇾvCbp}s`3 {_/1zR֋Xϱ_2Jjʴ1u!k.tIN>-jsB, vfOL͊jKE.jۤ9Si(Y(15Flt'U Bl=j^+:)qȆD:B׃I.">.=ȻY3j݆>v'.K~'YJ-1YNFwy>:dQ%H}>kPw691W8m?5fm:\0Žv($⋁y`@udqAvIW067jHO^U-CMހhb;04,EڔSTB*t( 5Qb~G´6 v75PC9gz{]~uF,X1dn?q6oS~(?jgA4ML[^Sd6 Cf}O0ZPO\BCÉ1JACȗ菔0@xqz/:e+ Z hǒ'/S_=C x;ULv\R>,K-JI C}E#EAgVLDD[ܙ ZwPa7l$5 E^13zՙؔY (BtwyPQ>j3xMI ș1l1R1L a뭆R2k'.v=ι~Ky94ʒ؈-Vx+Wh7!b؇Ղ;`zSs+}֐eNc. eG.&Ȭ"@sV2\:&fH1nOgQ²EKk\jqaKXSK$ߥΈb>XPPVD#LY 6T}@NytV^+/r⵽E\{, ^~sx(2qIAjD%7-/ZwtQ(Hxsa)(濳wwv䦜[+/,ʻJULheP%߽rߴăɗ.sMj|=‡ $QrVM`TPhuDHW7Irr=A Fm>UHI9ϾLgX;;:ߣ/0Z n} 5~/ uw@k,Ȍ"w'>#=!3C&i@p:[clr9nS3MSKcCӛ>yRI`Qز-6^a9 L-4 qBLEI`#0 S&͠u6/)~18uМIk:nbPx]Pdg;סxFwB:^9Hkžlw_-ml.,=cdH6'=u|?ȷ}g-b4yI lE4l%q| t<ճl-#;SD Uwo:.s~9EM/&S<1$g =E cѢI}59+ۣg^Ag @Gi9b.FjlN-/}]C<9[zL. D4ɻ`„:l {U wt>P˫`jJVYitRjLRh\ 򪁼q },+YZwKTwQ>0 &Iց ^p20y_C$e͘ij'ˋ yb'֓K5e"YI%)k؈.P{Z.!8f(:h g蠝Z><Lҽ`AJW DKMi>?5~8b# `*xU]J<;;m&Y+N![0{e:B1^AO^m'[؊t7r?dkJO.A]$C(j{ wE񿼔baR*/bž!S! M@FЀ<9ugK3 Vތ۳ꎠ9.[ɋ<?&bZYVJ\l+jMmqdU9rGFKHLAgF͙lqswh؋.B}r)podRi<\s Mb ._k>1r WC-2&a V;•@Gnl(3ӡ)苨[gQLdbsj~8f; =y5d@ _A;% 9_VWj҅眿q6P=u@dBEDz6EoKth'vp|Q`j>ST \@L>[I s.ldB}2ʈ"~vGL#Ĥjج#gb$Vd>ev9 n+W{`vXlo?jWٯEOԦZoIx387PM}lܙ Z4k.ж!<YڧM!2֥p /DcgL$x[ [(}4]7KI ~9oog `3Vupt4aO8Wj!N㸣 Ҿ*wfϷ(g#N ^vk xNF0祐EF2 ]SDB`l^(-$Gjc`)xsĵtq[\c-s@}[G<sƙ"$ ql3f ٜ=FAۨ2"vQ)lK(AdG;vMָ[` ;H5Ge>XqDɠM3arSwCRf\9̵r%l`L@{g t9ɽ~r'!V=`sO~Ki4^3kz$v2Gs`IN(绛 F/Ƽ\!bt:]&E͇HվK&͜0)G:h #Cr&̗ZQyOf%m3Z,QXv%+rg-f8EX _Q!+wTtX2ςoUc|9uU]6Zr\ $sTVasOLTB\qEz@ͅ4 aNnÅ%. QWHO XG^PPޫcʢ{c?qd !IL^$WTʨKLg\MαiO2fO%2r5yaZϭ'z%[Rk=s~c047ؑksD6>e2:< ug;`U{]C~]a~j@a?OwhfGvyA5CSeЌ}!N , 9Ј gC.FK8cŽ_K#&cz\$\{0pQ,,][Rq I 3yp[fW$ xA9=CAcק (f(+xaϠREEivw xh(ڇц8,! LaFyΘL֘Cej.ϻ &2xpa'hyMf{%r)p1?%fT]]M =G'.j⯋ybdžs\\S$;q{'QUx+>]n nLs-յLB O7Kyٸ<.gV"}Q}]4}%2GdUEu B zJARoI'|q;J?> Č5> }XaG hd}`yzn]!jًmrpO# qaAv6w̪DNuHXr/GjFk/jgr!I'݆r{*bۼ.oHEg@3L)es Fmk3W`pGo? NFd(c҅,uƢ!_Z[r~G%s+ )^OcjUq\HZDv@߹|puؤe:sgTTn9-KIwX/Nۏ:҆>f;#pNsN{YMKޠ 3ś$z47 /ǫ%R>.k5C$A*19ޅlFYU,GʐE?F!h _d a&[:vh 5*:Ӟ6 TCT=-VAON^uc><ʱcI!H4XhUzZeZI T ؒv^jPcJЄZJKa=9 ,&oUgN& C@)<T{xaY0TRI+|@Jybz2ʋo2SeW@aؿ=fq 5N0J!bf.P3ز/^1仞gHGpls^f`bm :*MJ ɪroȝg!~ bn1 r<)(Z|WkRPd&0k-O n( }+VimΗGLzD`8LC*b8 bD%gq2Arյ;2 F^^K/ _Ex;U-3,`;˛r^`g FfS(%0{$PIMuY,,# &O=N% fՏ9yh][tޟ'˔m,^Z6k iW` YhG'p.G4f+Pyo&61]Pm'<8u2yYh$N_a8)&gVC&,c̿S ڽ@0](5 ܃ŽY,l#n,,%( t`/oQd|G,1]0S k)F_xA&cGjZ8GtFTu#BBLϿdr 7w6P~΍}XM?- <|$H9{`ItzGTu5`p˻٫>YP|,jr#S PvyvKMv"Aͻl[;IP dQT@h|z4Oؘ#a)%[M4k46nq:RTe(NAȰL2ă"ycWMsۧ{Ȧ|Rܰ aj7Z+-u)͗Ds!5Y^ BF16G Ysthht(#AمQuEJTVFl`+?f#~ abY@q8ʶ>h\)c"zY'@M[JhRZ$фPWqS_j|ETFxY\s 5}`5zP4p@t![~drWtC|{^ݲ~ nLrM&~& B8K9\}E -0/ypBWr'{ r0{2yLT?e/leANOdwWQ%âPN6&`q6$[=l*uViE`kCI;ftQh-O(#GhjVx܏P?ۧ#+PAE"0 om7Qq\lU m'qdIL@ b'֕b@(SA#@lȪrM4BZ]jj0_K!7Ga! P z"$cxpc{eh59!^/6 ;Y}b G3;. $ȏHչBypO\x)w*7?ɚ @{ aAtځS>JSB'J!^a)y%A{^PR,$}Gguz|WdJޠ fo:r/U6EyS\p&`)=Pc9ˬC*YNo9[x8+,բFIs|w'nf3K;f?q'/a,&GgYZ 019% 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&cC 1W% Abstract-RewritingAbstract-Rewriting.Abstract_Rewritingdocument.tex7zXZִF! 3]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[ RR-#bJ/D h?'YfզC#o SV廌o$CeKp3\F]=BfEqX|.: C+'԰hqrh@&%<1 |d5YSgB4-"Uy0g.WMZ!voz>$ۺ;ۜ/X(Xof]H5f Ԛ|BdBhA~JDqPOWfV҄\9C e!{($b!Gߵucl0D_L{Bn#g>|ɔ츘Ayuij+= NٰN`; JGCx+%Wcќ!f7k$gFN>{U#+ R1=xFڛjw\BQVMhH'*]^JSFК!Bj^Z"`h'Ww `p齦]ϛ]5pŋP  x5CDžϓ꯫ԇUH1aj.헁U< 2qجV$wV4#a cN"Zo<;7DE㘬"3mWd"IWq/& Ɯmǟx\gһ} 'Cښ4e]X3?drMh.xigtOziv/NRJi0-x wmZ|R[ qXօ d"K|pd]]I!cV^LeHV8 jIl?<"j#_'鯡8::SƷ|KoMKh!G*DcJ 0 "[D*Y.6#Ҟ}D㛯p;f##ɹѸyNM8wW8Ǜ<%@H$PZvĹR2URƗN$있l_ l)p ˯gJrW;dtQ"5* /Bb}74A.p &Sm#F/ g)E/l?#A}Pp6Nf"37\`!2j&KglTEXAw'zɖwe$=3&9 S(9D1``f:!A~0)4fPt tD s.;$rklt!B}_UX [e*f|tďrj"Ӛ3Hz|(uS&JA:DW-ٯثY#d<AwymbCa P+f(J^ܚ!<O&er4}n4}-8yr 8FK:7O!7"2hDGA֎'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! ƻ*FkqgYZfP8$'.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܏$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?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 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 = S= 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[gYZ"1O% DAbstract-RewritingRegular-Sets.Equivalence_Checkingdocument.tex7zXZִF! ໆ]A-MՋhvG"uIBm5}d_X; ѻl22fX#.SKE raڛXUgxoma\A.潾4zQ uMfY6_?^`VEԎ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!!"  05 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) EugYZM 1=% ,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 lhjagYZb+_4Ie@I?A.H=*aK_i4!_ߦ ]dFu(0F&@ 75r\m+(]O5#xkm?<6 s_hˠ6@M<[l G~2w?BVg[k%^" _tТZk',p-|P8ԁB'25>POtN.RёJRưL+ (r.R(ԯ3K%}H;t'H@+寐-wxΞ8jj]᷅9>Ū8KZZ_gjsğE֕7hvLoASע뤨BZc(uXe }b_GJ:o}.Va{Y(=FY_yR@jm[?Sz^,yw`[n$_XجbH_-?[vu0:1NEO_E1,(ʮ U5 B9XX6.L0MSx 3}4U#_(~I%sYmJ6zJc,V27-~ ] ? ːou[{F 5(deK.$,3g6D֏#a#j TzD+b1Ҕ9[+ĥj.=CF5cR0зBIP meW$Zvb j*+3uV+=<FG\D#q pSqOJ-}93$c7X/* _ 50M5Kuie%ۈnUl9p֒j#R-{a*EhkSHWg 2DK`O )+h6^YRt/ˢhNpοVq̹IW|4+[o=@dFpiAA.ęuD18M_f21-C }FUj:'% Ϩ{H GgDkƞd[t[fFJZ|N@rO^9У&g8oV$m۟`[2Bug7O\SדlDqL,5`޾Gg@e&歹OeR"W%3Q|RrfL-X gppiWgI;ZJf,S#@bم(* ' ijp f68li0FJ<3H/sv"6GZ]$,wR2|i3@+R–.q{ǚo:eA5){q~' x0vW݌ ?:M1k;n .y)O+\'E*N:G/XG?h'EEuTs( QeS b `se6jWƳmkᄭ.OtZO\3B@^ߜΎwF ϻZ|ĂO;kAH@u`wO@bX''N>y*]6eWwIW?xߏRh3`z Xt!J00|Bh\^wg/+#>*1UWN:^_hM6`jͯgeKdCE_ܬum_]Cn^Koa4ߡ;ѭ'S>gL~r nmds/yM Yʪk4%bAlR[FЉY͸"'p%Yj-6$[ YqBL*__LҊ-jBPFU%D,@|tW0.kxa}A4ƐꂁlՕ-Y>Ouxl m' Ihiڒ ulh&FĦ\*,GR~-9C2+Ϭ=f\GT2}*1r@&!z~SEmX*yفG_sDs}Xx䘒Eu~d T&\ 鮇v+_`LΆ9xUԣRItd,# R.+w'ƺP|ej lNWgyfJ)o>/½|ҧ}/'707U{-