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 ==8/<4 ]/]Regex_Equivalence:threads=2elapsed=71.001cpu=122.124gc=8.820factor=1.727zXZִF! 2X]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їP@[P|th6$}6⌃R(Բׁ&UޮK:+%-L]ӓϾbmCnW\FV_3O7MX6G[|71wq?T]lG_Jw)e>撸 ~b،\qbɰ/p]rBO}hH/m]f=V(iP[&/+"YVQݞ1|on^7*GDCf}ܚF!'d,lsx-d4)X2M`CqHO o1' kpapPqUE2,Sm\8(! 9tR$%&5^E*׎%Q}`DVXQ䲪$(aA$] HE,# ,lȠZmPtȶj3^=c6O^UO 1KVt4Lf}T϶s0 9nOMVPKo"2 =XPK<ҕQ{pNa5RJ)cAU9(+VXQ~ɠB[7v|=S W GRyqcpWe}z K$ΞHn9qkպ!:] qgYZ7zXZִF! [Z]ŗXi%;AgH(}@^0%2(ptB qo8?jl8!*z;e'錄bCь-ɣȹ+#x~!}βX t6pd%<ȟ^}Ș-/S%OO9q|vy0um엖YɃ@BLJܜ龜ׁ~A㟦 4yVdL̘+kFc,e3emtvv$õ RL\xK':b4h['#_oJԏ??aP\| VvQm f7@@LIhl:$OkopNHJcS8Qg }jsͳh/s{T(F  FT%}'J N%q,qbAg5 {黏[}DA5 Zfȧqot^~#!1i3s4G]H7Z7I4V4ۇesN]ML{Ak["9"$Mį|ns OFS: Ӡ+ )LHUkTPk~, / Regex_Equivalence +Y/E% lk*nEH>)L)y܌4Iy*)(' &        M y } <y5   =@/G%Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.texF/S%Regex_EquivalenceRegex_Equivalence.Regex_Equivalencedocument.tex;/=%Regex_EquivalenceRegular-Sets.NDerivativedocument.tex>/C%Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex;/=%Regex_EquivalenceHOL-Library.Cancellationdocument.tex;/=%Regex_EquivalenceRegular-Sets.Regular_Expdocument.tex 7/5%Regex_EquivalenceHOL-Library.Multisetdocument.tex @/G%Regex_EquivalenceRegex_Equivalence.Deriv_Autosdocument.tex ;/=%Regex_EquivalenceRegex_Equivalence.After2document.tex >/C%Regex_EquivalenceRegex_Equivalence.Automatondocument.tex </?%Regex_EquivalenceRegex_Equivalence.Before2document.texC/M%Regex_EquivalenceRegex_Equivalence.Position_Autosdocument.texA/I%Regex_EquivalenceRegex_Equivalence.Deriv_PDerivdocument.tex;/=%Regex_EquivalenceRegular-Sets.Derivativesdocument.texE/Q%Regex_EquivalenceEfficient-Mergesort.Efficient_Sortdocument.tex;/=%Regex_EquivalenceRegular-Sets.Regular_Setdocument.tex?/E%Regex_EquivalenceHOL-Library.While_Combinatordocument.texF/U% Regex_EquivalenceRegex_Equivalence.Derivatives_Finitedocument.texc4zR d Hbq!M]4i ){ fG@Y@xLoUBincW }CG©J5^ӲUCK G@=󬝸flq3vρԀ]Es1 zM8XRYqz ,8Ԑ؆TOld|<;5}G ,!{ʦ׷Q ꜻ^X %^)< bbR9NM$ Z9Yُ]O2I| NC826g,Vnk E5oǐ~CfH dž9 \,X Qq rOMQz5 Mz+q+Ph8 ӍZyDO]42/fJw0OQb!-PL:pyl@4a zIC/z_sOq N[ݙϖdz#?)O!+!msm6̄lN*M fn(xQJ oߺ C.$taF  ╜STky>#7~[wcN:F5rveE l?F4Hߐqb!ö 2'}X\W `8oԵr:.*\QW[^97~xPYyFc/}&Q^"RxѶ94ߦefT]h,B2nWz֋c.Yaoæ~|Oژt3h Z2(4rjaҔWr_x|,~Ư>.G8XH,f0?(@wόȤ*VA׎wca|h"NN6߁Y6|wlg* wkbߋa{) 9ưv<~2-/\W9bMT1Xdra1`3VVTX1sFI8@k"\nub nC$ew\y|j7u>u7Lgtb7SmZ`;'tyx# Eˎg~ˬ,mf*C5IX E5%{)#zc欖}A~ֲh"ғ ҚPA6*hERA.>x >ŕN<&yn6em͗fH%1 PQv%' =?&)mH<=D̕I6?˰y~I:WKiIrCHQz` T=A4[:3UmrA[T8g?0䐨KծRslrLhDQS;D5 y8Vd:) iڲRn4ӈ`K=ʝ%9X,\^dP*}e^`}ĺD^bL]BZz4cjXkҤqzZA{K_ǺTSf*ƫkKqYb-| 2 O<{Yi:kѢYdF@* Yԙ8ȼvsDf (e[cnj0c8&%KZͶ!BU&G*~7;wA  {"@LI3αq:Z-s3ԓb1 P{{njJ^a6 xh gP$Ԭ|­6ds+%yU@КDZ,}HpX+{{.HbYA•ӁB-,o"twU*& P'!Z q Q'"gWy!mp&:>B~I }DŮ)Ju:׏T{M5^LjXRma$?ثjuÀ<=&Ñ2%R4&u{AxWϷ}S23d_'#Wd7H=X-^k ir3Tgz,\wIET4Ԋ=Y]VS9yU i+&.nAVg:(9(Ltqf淥#.еhF/0=}_Cʱֿi brq@xsZ/(-)OB Ef(hMZH$P VQ %/tц,9Vv0ܪ$°Z^̻ Liwb/YQ7$ v.z%VOOHs륨 ksBJ֬rb]gxOmF fn _[|"C%Wl»k5&UC؉1#X$]*g#boUHF/ʺIRGsɹN 1vcjCЀ-j,<:x{`/ڳ"QMu3JQꅶwQe0#'Y6BbK.lK8ypKl8X&`@'r,aCu?Yx7L^[3!gx<'rsg!dd, J6x\Z"HTYBL,&ɺLzjÑ]菃@Xk0I2 sP>u`ߑ[qI)E(a $n4"%d\%q)t<#9)oI^7cu_Ct"5yi%2K4'H ۆkdVq62QƇ<,k(I q6&@[lG6W9w0u|3SKbGh^wSҏ+@:clklGTДU-&H8XSfSiLm n[gs|IнvG1 ofg'ewޅ'>y&n;G[0* fn^LI὾z̹&@˃wU;ѿa*#EaauFmGiфgTW 2{Å~q$p_g/qVTmC{w`[YRl-VS`8IgHzறe7P8$&hQzoVR~HNx2t5̝FKGv?2:j;@8 лDH"ATY&3։>Ixv7K֢;ZQV?t(TW SW8$`^'e!}NfFDC]O(tJ3luC 7 bRf_:9Σza;FjYEhNx⫅{IhOŀY[Ϸ5 J hPPBXkYwhQ9k3bf 'rEe7`h f0Dg5UHdFy l|UNg* 0ݢ.wa:^5uQ hYh>` o,J4<)oIwG.¼ ]U=5RCe<'쪕9m8ʳ`;1$A!E`Î4}qMȪ.t:F"b]n=!mmcj̴埝C{p+Ŋ*kw٭Á@fs^ywM̳҃;dIǾ/$rYc x?+.CRåMV|MR~>ea {g?Bn"r7X| #qsLG%:(o(¾+3,5+ ŢNVFPK"mp6횉vke ul63cܜ-MCTl̒˞Yz91NE; grxz%s7+:'PsoeyILs3XR5ð_SyFN "Lw?~$DϷ ?M5 ;UKXQ$X^0'OoC+ nnIzѶF߅2pSñ{߬|t!$ 2,!_HIr@/Ň=Md>Uء$v|B{J ɟ οAIW"Aaә`nQ9Y_/VHUYD mmHTٮ|Pepo 7ww7=uقfd@я;ph7 D%T+kr׵C%js9n+'LtM)T y=An%wR E^E.T,a6Gu2.Ƭ1v#b ڠtmf}&wwdȒCfs05ay  'G+P+;THnfM+_o$yօȃ6dVo5X=։g0,j:L S驴1zQV9Y|Ct\k^Hv@X@rj8ƔuQW%r`Q28?kTߍ ߶^K="w<`k85´ԕ//CP 1H7;iwE+5m${jPS?q9Y5 \P6e\| Tq ʚ#Iגt[QlJ9==33s{!L/gz WhwۭU1<SV]4d`_g[i(NF?M7StŒ+jp3l8vS(mRՖrq~]xjչZR+n Etd_,=MCj! 1!3ϫfgZS;#UFvgysInn2}1 $bՄ),mA%GF7KzS.3<Km5> \jP042V0ǪG$*C$.ߵaG+g5 h23JF"(=): 4 +C2Kʁʋ`F&ިT;vO-G!uYR 4b|8.EfZYtR>23@Oi- I1`A0c{:疮+F\(/E q~3a|7*|W!f`#M a~~?^zR{. X.j>&vtLBZqc(xE#dka"h&3u4߹y'c?Hm^s1|xZ >B'"'9bPxCI 8"d\E%=x+~fB8G"+m~eaG!Q-a6X.T/px0oji=3ϓHdbպK^%րoȤ+|Y@>-]98- -P$H j{ \(%~d]qNϞ]y^6%68:-k) |M# z-r^$y#t4*RsaQYY_hG uF̼房@.b xDcplgYZ 疀22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~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@ŲJgYZfP8$'.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  p Y/E% lk*nEH>)L)y܌4IyֽxǗyE>[2>u ހ攈CFGiZRK_ujȔ) $/=% \Regex_EquivalenceRegular-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 ?W|, >tC8?R9ҒTH(Pq훚 \bs[zӊ/C`a^>Of[cs*Ƶ®+KjbMji_91tلAcF!L(Q,:s[[zZE$dbe/G:\84};&b"p^5/Cg_ MR fB$]cȫ^є:od럻Mԁi(ET@nǀ 4Ff¦GJH:W#*|烛*k[MIgx9R@RCmcwA{ىf0J@d v4>>m996ecw;NJi_1e7-5403l'4Atj3JOMu-hzNs&K)XW],#3zCrbI ׇrOfMzCe2|n2pURJIЏJ'5 c3T|8l.^yx:cy;)H:t:"@?'dD-DT{B2ድ0Ap,גsAI{>,ӽŝ#,uzݙq-gf]]c;E='@{5iӕ ގ1=xSĈd%Ve`8D9/p gt/p\T*SnFR.߸-E!NA_ov~&uMĔ'uE 2=@iU9|cCfcZƒ_| ɯoG*S^˄ui4O`Һ67urM~"#=s&W>+2]ƱAs#$E{d\:}-'+͞F.x9NzȖuٖmw\돤? ý2H>aaL$0 `2UFn!Sb| uQg4WfGM3D0B޷?H\4j@˰|ṅa1^dre~"S e`GRRxk+- /i[ J̌*rN,r&]DZ>r Nek  OT\]:*]k(5 N[8R4F Y@|S:+g?5)?IAn9l_Zy} "(@͹gG2I:[Wdd|@$շ'3r[ ĀNJS26 ~P~Hl#za+I>곮<6#3 ACGޘ?t =bV#ZU__ЁdXQt19aVg,W(tN̝p5ע #i'1'1bX(+cѤaеMTL tQ0IS@WeaDIwZDLtbwnF2T`>E[lZQwU*[ KfB\*7sUSSbO"kGamh S$ZH +JKթnSX_'5GQ /tk[5;ex NG8h‘fXXPt>]~8{4Tg}%BXHMW\,sA-}ٗanT 1fi8=?V)P P B0L&|Ea]yZB_DžTĝ8 UϷL'+%aa&ǰ[ͯm$7l'n=5 Be_:N2b[eT\bAN&>w:Bi04mDQ'0C;̀@p]$,dț蕱l=\Mthߙ,UӀЄ,u5١R魿>pLQ#z(i~qCarQcĂ:6ORV9EJ$cݻ\[NcE++͟nXO`,j8Mp(Vsڸzpkke*z5,3i06,:O`6lB.+*q2% \T"?3ՔYoj?%CŸEi+5OoOe^x"v`,XXw۞uT.gKVA(~{ɺy ASơ͏qA{v#20P3в&hg)D2M1wYvA}IǼž}x7e^I梜mD%Cdi˪ʬ\\y5[X-gJ!^v_riAy0`qFEi8ds(mLvhpxqHl {6rHӫe S_R%mn2ਯ֓nR j$ɇ_$"#s\en s#x=Ʊ{B/7"M-Ǚ#/۪xq+5[ف,n @8G CO#채Ioȉ39zR,. Uv6fnK0 ;(֥dU+h^m,qL9tDpO=}_@]8[zҪσv uKٍZ3Wl$׾(%&*- 'ndqNqڬՍ>O[\$%´kMB]U7[S?CW@2aĕuC V#Qs(^!#؝1YUF/ I 3wթned]^oMdJü-煁5@5o GqEOqGB:  m47tZ 3sfK_,&XMOSd J^sKŸ8Ahz۸evhDT̓ĺH Q}P]E nӱ}q+_,k;|V$x,|XG2/20egr 2t+iZGxe Ui%)3Gd53~\LUGt f2+|78Yf-5F>1p)0N_x`!HaC%ڌ&ZnM$X.MK##1*]tyq?dyCVDYsK绘ߠajtcNof1ϋW4/X5֑gddgYZ /Q% Regex_EquivalenceEfficient-Mergesort.Efficient_Sortdocument.tex7zXZִF! H}]A-MՋhvG"uIBm5^7GW(é n'F,ev'/Ft`#alAQT-88Tl~__ʖXFAR*,\!duk!b{I/8-iug\=t&iEy+5|r|(El̨ @Qi{G |-`G>lpD<ɝO[37'cn~+Cxȅメ{2z~K1C9CE)]|Ap9T (PM7q"~)'ִ$}M LrBRrд,$ECݺiJ:M7`{\1%G9 QT.{Y b lo9;KEUEWfkk)Ӯ %1"׿:QZ"-Ea)"AH(1*f%< %v0?>hCRB,*F;0ww&St~,Gjl|&\wWF8&XxUYdxD獛qXy9e-0)#L#mL%pSL.}h0!}c逆TďG"3@^īfC_)rVx[ ίN=Ǎ (z ,R8QUR sX&k[*sh=s"[|旱mEMȬ< *:uŜ.|Ce)u%C:xo92r2 kѮ71F@/o|ң+D_0?8z?A3Tƪo@Psa9t,C 5@UVge0+ X bdyd Z /vp*@z%rg ;cF|Z2?bǻZϯFuMȌiσTQ+{/Nx駨R |ӥ [< 7pPiOF_ zi<\}I~ygP7eUڰL)zվQYĒ@  DjS:,X?gdP}|L@>䦃NO3 >vv}"ʑj WK}lT_ҌU%+|x-zw:.*=5ݎYnl s"O74}A jau_wq3$ 1'fPrV0>ŪnEij%{Yd<`;<$2R|>Q>~+,nlRP(`h<#yΩ+ڷK}xcRLe6۬ &w̱Zgׄbm[>Lpf=Ɵo@m8Q t=dӺ+ 5*y{-I>"M,oS֑uI?6rW B/HdϦcB[TzF^ʌ5'v'ޝ~k~}\H xE NbIcYϛik|#+N+Fj#kP feq3yga,W({<<5 3'AU\yOׅnu{"7*'-iy]:|B,/-m @Xܓ-ޭOe֍[qɄ[ H~ř~יϜYq =hZnsR9@-=v@ͱN,g5v= cĸq y*ӈ B[67ѐFuH8{{'+&~T--<>uϾC'pWEXEbG/ICڲygkkhtes_&4: u>[ŧ; 7uNXTWtHʱ@28̐Obۃž@q۱#-㵎uf "*E 37k WyGp VKMT*A ӠC7rFqvޝJu,ᆣjmP3spV@Ds6j}̓WOާZ\6)xޝo߷#덨U͜{0}uWĘ>*&t̖kW U@t"_e{1]>LH?BIGz+eX 4"\Po%Q><.ؒ,ˈBV-Bq>y?x6$]hoæys ="yu=Em9b% .jP wc܀#Ӟ414L56=SFL5.bl)A3φ@6P])DHdv MX7jsL2`ejkڞARG}kE3}18 [TzɅΈ _@B%ʇ noM9 fakܤxІi/B7<-`s1w  +D]v56g [PXeۊ{ƣVE^Y [>4=&^-lGp;].!X56Cl:e҇NMItB+;p\IYzLl}w98O! _XQgu%ͪw z2Z_[˜Tg5 r8|W?yZU'`1fӖ7/fqH% 3kρBq B |Myj[V+5Hg@?45;ݓp#:p${_*<#_TWi(z>}BKH9\c"*]=<*oK"*?Ir1̙ixׄۯbQןWYbk(ލi-a:iFj'tKu/D<{IsN:F?C|N!ձ2=q\8X܊׬@X"_кuk6nP;&2Z,H.G77_1K̜%$5cNZ4 O)ʠu>k$ {'Jyw<AQZ\w.&bg%k%MئR){cc(M1b,%W$>(]Y v8]Jj~ф$n<;?f|P<Ц 'Zqǝ#_Liv~#D VqVU2j'Ťjsx!Ï7˶UuwdFH -ł:r.@H[;hԐ8 ha!?2Qa'}K*-Y$ =TA^GL:Ո Y50tP3f>z FK9fi)Ck$Zr3jv 3ElI$0<Z䢄W.aeNeၘ. v分=x9Wq&AZ؇K076jCq^FP\pNo)=v/n܂(S, ~b;5< sY M_FЌo~aJQӤDzx,]V!YsOsON$ϝ.mz{ZvɡEu.&$^MY%hʓA Z [ >O %Hʧ<_.R+Fb)ˀ$ЎCˆ2 zmь%̆~ 4XK-!PƲon䝙bʹag}q"ߺ+sp?QHb6.6}*}sOLsVCy0bU}{EƓ`Κ6 nQcg;ZGH,1~Оfe-꫱D gA̘*kDe%vT#v<(I5jl؆6$#At_Yd15总%I!̸4% wgqsl;̔%whCkf:bdeQPRd<\&[hE=u3&~On8{P 2fUj#.GmC [7g:C1[;:qmAy~?F}o:$6~9òpjj>]UT8L,RnKF3i,ʶKN-hɚUzm~/6 \,?S=sy|o-V~H-) UÐILc@7:n~5cD(gڍz8B# {0Yk֙dnZ<8!M4N_+t 9l$ߋ_HZpy?68 )>v%մH5r!"fAn4"g"7=紓n0"4@H_'˹ #Cɘe2lI7~1Z: 0sHQ?5I|Xg:y`zլ)og<׿sXHirFD_BŁ8hhHcS?bj|h0W4kWzC\DNBiruyPZȂp:kQ1 8e$oItOe;OIxQG_.l6voƻKxEPgr"s7K}̟4qz; cu͌T s*Dt16/WcWO,,}L^ -roEoR˪cc~ChyͺǼv LHr8}7PjTTX<:Qt;Vma0Z{N55/1s >c[Y£ gFfLw3di_c &BI(}VԬ@mdiWDw˒x#Q5l%$ԧMq.o*Oi\75f h`D(~6jfoy 9I>)o8u5:/&!ca>@]) F$Fe`mݣ 9qF8r99ʜI$*C+)욈ͻ% ny$'_0hAvO! n}%Vgnٌ0uN#Z;݅[hΣaUBsN&7%v*ɾEcs'e^L9Ds w_=wB6ј^:mMhV2u2r(&R }I HԔ"$OZ4wu܆j];øD|# \p0p{?5(ek2mo+ Vkhӈؙgg͛4a0SR+{8>|5m^{\7脐`[ ŁxU:P݌[fB<9X› |!2whTrJ9ךr yێ] hW._! DG]O(/=% dRegex_EquivalenceRegular-Sets.Derivativesdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5֕ ɭf @Ձ::D*AD5dĴS^//?pl;?8Ф-$v4F,Ґ)cAR KQ_ox "S7?sxoZ>jV},Dp (X^] #f%nز\&Bj5}:WJ-b]Frli(7V@F䱲q#z%hLo/mr6EDI/GV4JO-md ؙ_:$޼\}휁63Fu_\aD^x5puBњU!I@`kج'WxCnPAxhm-NAs%Z!QX8&"xgzm_Qe5G0F֌! S;ّ.ɋVCT _ &E* Jb[-)cPp5o]Yă/X&=fK$ yJ}o2(ȤOk$/@x~F4%T+!VSMyzAѳr&k`=Ӏ:0Kgoi_,^i:3`suxBKVc5]7@.xc\(H3;Og3RR-nnf;)Sm"Ym>SB4"D !ۼ]G,m24 ҹ,yJ7)hɀ%>vDQ?;D4 X'}){Y^}^>pS'ckI>'eB Nضlp|SoRffp;'?;8P$|rNYx@RLjɣƀ>/Ow)0"Yf+EQWBI CInbԜ\˲R _Wt#,PRLd#NCP̖ᛘx__ۖ^ZhxKKWG` &+@-qwR]&wp Ul5BB"f:V,cP1L'jy?-s\HMxdQ/n8Ȩ37Z҄q ;oBzy02ZJ6(HxWInwg"KƪӁ/u\8*ZIVu 42d2yds})0bRmelN]::Ixwv]-D(@ǯ-lndG4ˬ"e?yM.LxΜDٝӪV܁K-Wj:vmgnI> D <[tL+j:Țjl`$k3^%֌L(Aj =D!b3YޖT8TQ"'@8~v#>R @N%R8ZtY89,akwxg1R:$؇{h6ga-Tz"0Y&'f7d9]ykT@SW\^hټW}DߝN;z"zUc{#+n;%Tт T5@E%@%}PDQyW5aTRW1&{k,>}Rx4o[u@L)[82^Do~Zl Q<@93=nS+ ^(颍 >[%#dSz7삂QNˎwQ=ƟYR9g ?mSv3S߿H|XD-K&Tú2_M$t#* XhRN)~&x+Kx;_moggq_O`0P1?ӞiY&&ɱ0f~/Y@"@GJM6M7ć':k7£IJZN=&h l[srͨ69'ţO&EEzb8CDnۊwsy,9KNǀtk9@inJ4`;hX2\h.V@r 򪒍u[48zmzg=<.)W>ay S0sNC+aH3Ê??1 Zb%CD224aHuQ 'dܴq =@d ͆` \si|-Ĕuu3TFVl~?y;[SJ#)&l{ d2FU(c1E=*mr" [W̐{'6[ܽL XW#hDx&9%͇֪Z3X5G{Š<>ZZe([{ЧҾxAaZWA쏢fgtS 3G1s^nt4h2:cCot)a o]r# "C#NQíIթ$WTZ!nXf3gLOhX>4w؎F9(V1K\Su+? |rs}ƚL]B7.P4`ƌP>>qWJ1s6yb(WJ[7cYIx:-cE.rIE+э E4M҃Ӕ.MR3wշ(OA.@ԤYN"#e Q[:m KTX8+ʫl 뗲!ɴ#"Z-≫F6)5I@.rbŦ,dWI@wRGsvg4{2$&2&!{i .wپM)wbqJVi*RCp2,bZk!ј*-ȏ7fܴ]˝nu$V ,8rSЮ.g=G.Rwƽ-(Ud"|}ZVvhZ~^gI>XYǺZgcag!pMj1/ebiM::e )Ԓwt yң 36$tcfs>9\04OH|ZU@yeͨsXI(6 B#q+۳/Jqcу {h}w֙nVɦ~FVĽyтWCq"gl+:+0`>0'dY}96 h5~whp\}w hkz&|A;V 6WVXq[D{Cbªv<:e,E1M,=8% @ZbǤ{ρʹŬ#=Ax3HYgE0 UD~E9Sr4&It#BBȩ8f /y/7 NG:~5j0 VFh1ݭ\eTL$yu<WA@[U-Gbs(j$%%~ZfN0oB+YG<(QE7D n;.H~̒3<=͖pmPȫ&eΘ"RfA&maW byH42QBEBX)fG湤HF^Gb)$`DT%so| +,+)/xï~HF.Kke' 6ruX8|qQ96xQQ :38J g~;Z}ٶn2?r@q4QFc')i_dy\Z/x|a m`CC$,M \խ|cG%ƹ_mQt591w!cF5vމ[0EF{u[f0MhlsV ՓNֆfv)*&!Sr[B0F>kqݨlPg>|j;l_`gO| ͚\ͣƚNuwUε|,7}6RƆ]GЦ~yBerܦ,j*`m̨bՇNi9q\Aj ~,N+ _m+?6yQl`Dչ:ne2TZ8~}.`THh|I ũ!IQY]9v-C ! UT(A T/yS<,Rу2<\!pr몔&ϠٯR=xDŽ %nD*'_K;EcEE„c[ @s˝Nf3~*]ݸ=gYZYPL=  @&W8AA=[어" 6e^qY/z3DPS\\cϕw3gX . r'2"yC& = #\R7Rs{w4u$LIƽ1l>Gؙl[-/^ Z!83kݎN!r@OUU&8fW#"ThD:x!gDB_aQC 3U#WwL7ae3jT(cSh&[Ƒu|Щ*IJtZ)6"R[Z$rYHf dn pY,ϜR `25'zV(҆.*REjɌ%d-59mFtawI|ن3ۡI@;ZT;W5B^|+O{cI*HMEԏp|LNJ$A˃Sϲyf}(`]DByZIfȒQY;|,-Ą#e#`\1l:t h LA8m5A` ^eB[W WaxVd@'N^xɯi?|P aRZiv[a3G ͂| 2,{m%1Ц82(Ɇ3vM׎2? -9F[?ISGbA=gw&xLDc'ɹ6uI':Qf]oen& o/kD< ܖGVuglpQ\>Xnta$lOh<.Z) }>{k $mSj`4'Rmd7Ū|coyyP{Bi$qv6}!FX DӊqG c%BSgW 6mIPdB,P.gÉ|V;Ο?I܊eLuH)\Q{;dzsUe;iS̯۫s49&e> 8ERJ&R`) &S(uK夜'8t_`~l~F=bG/R<=5+@te?|1j/o zG.ƒ%sU/!~֌ok9:dQ6ѧ 36frռW5!Cgf_ 6թ'o<EtBTM[O!'zh_Nؐ}F ?xq9zjjBCFV 1/}N#es)-g,&smPM);$wwCIrN_2PDvbM)DH#9B|=љWѯz}5(7=0vbө/*cڇ!)UU@nk!v,za3Nu(Ϟ-Ly>Nq) OYX1U9<3O_^zĝ6o>nОœ5FyUeߚP;Ny eE1U9%V'N):ŔBwV9 +m@cӽJeW ayw~6W,[E6g\۴Vy.pf *D;074ymr.<*u堂W<Ƌg'\4Lbt=~c)9ni@ azK?c1Te|ZW (ߺ_ cm4R0] ONkpъQE%{m 0Wh=wC(NzaGR|sRWYCl,VD Ҧe%%C28Wxꬊ[]b@7I緸XbX ndr re^ )cJTag%ςXTN(P򘗿OfJ.Hc%We Ao,br?<~mG!ey:SP9 <"c=A;c賄iJW `d% Fe˼|D9R`&ufpu gE{aC3`,۫ggS 8M晁yoN뵉 XS͏RNҽASa=N^;E%P-TC[8 J_-)r8] muc-C+yYT@ ;pq#?h`ŋBѺpS&1p60Y *vte\_HA'Zay֐#vͳ=+X,wg͖܇Nؙ͎A0z^:Ҟn,\vqΨ#D`ij LxvJ("t_iq\x!1`Գ<'ړq%ubD h߷"+Kz?gi"CֲfwǞp~&blՑApW̹ P0R%=~UR7eÑG w,`ޅE2U1Əkgҗa@0'0gLHĢ=qF_mBu=/c,Y]5[խE[Q*) /OCM%+α"< Uo=nD]Z+yCRml$^op Kumr(1QGk;*K5Nù b3$M}H .~ 0e~ῪjOvr"l:Cc,>TA*I[at;A^^Q&)4D,>msR/"v.e}b%рK󕽴ceiK sFt 0¡yOC#`WS7Ӕ^ -8#\,&, 'iqt ;KL#|86nѸq^2*Z)6I'u JJolFkS"K-,v+wH"Tӊ@g#E'XKjÊ5VIu;2cE۩fWGN8 l K,]%F_~8Bqgꬠث(;ۚP);0\]RaĠ* sQ:kEG(7OlYnhIWI }"b^}jos]80) ^>{AQʬ*kϪ)R]Yo)As@CWA~Ù xh2L*Dz0IMg 8OC0bރۉ^tn}&+hZ( ˒<:͋@.6G$G:<4݌0\69xgBݾ(5 A&FYdty }`?3AsE&Pğ~5!IMOt|;u k28+aT w fmq.g>mVxŇ1hzR+ =*̮)gYZ  Iiy /=% 8xc㕫k2D`^P ! ǯ VVs1Ĺ\u%2ônxbhzz6Hm "TP2Щg20L:_; ӛ`}pP;nr)?lK81EUcHͪ6` yaDn] BIZyXEq?lm榻/)2W6>)lD6%1Y og.orsoú@u[]]eLX)4TWi@Ǣ]RYN@K891-]^j?ުH8 3 /C% tRegex_EquivalenceRegex_Equivalence.Automatondocument.tex7zXZִF! 3]A-MՋhvG"uIBm5_20Itwǥ-1Dj#Zy7`ga4jtOX .m^3K3ɵ6聳o琇Α#^vTբn@S*w4KE-=F*C߲͠|]nM1}Hr竃sdL_ڐC$:~TRT+~gPK&ľ`LPK">b-\I9"5hMMq5a5[Ղg%B6ѡ惺E`jHHPrJLZbҧJP=ꪆ 7jXk|#mid}eSέb"+HVa__ʬtC!hgt†L9TS2)[,y' ʛVo"H LߊXǩky)X IOt f.]Hs8-Fyo+^%Pjf:.1@Z&ΤJ xEe*YԍhmL^GnK3b*qvZ&{֞@翳iVv 7}/o6T筅*}x. cnlyQgS| ~jT bC0AkU%H 7h򕱘G/ ~`T3XJt fIqXC@(d'J~No^Xsw}$#j3"ZށY][uٵ08T GAĽ[&S&}3JKojEeL Fơ&IFr&5qûy TW)N>ćLIxZz52ˇR~ak0Ail b7X3)I\)(Bw"m af3jCLIy>QhD+' #D#ϔG t ԳVͼ{Xdf-?>v]Wˆ|YOFRS/a_ 8"9l|e^ B,TkԨVXFdrx-N ?d+44ZxQ^eetMTjaf~gc4"]6;{CxWݷU i,@9ϣ<1:^[b~g3+>GjO(zdњK&+eDPX}N$]8,\-he ΙuyEם[,W1of9gR !xaBrg̓#)J1ڊ>_/lU =$Tn@C,gj5WC@"s4( ᤼GQÛ7b)HT'}۟gd= x604cAqk/KPr·+uYi9Ff=ff=9`=r$ܱ&i#ISԆB'VV6B"] %6]BL=c-0} 0 ҫOm$ +C#"y'VM2Ъ1G>'b;+pj߹ӂX~F>x0:Lc~i+׿n1\^GHpq wy^fd%9;]Nh켝m ri& d˼P#fV9z[xqΗi(`S!-{.婤ӛdP8]ͩh;`o*kD E l13<Z9tH>D|}'LވnkYy!o#eCn>ʤcrv6Ae ,߿Lj {&qe~N!qxž%&~u8X( x, ƕ;Ŕ(>} YusK+緃 XUIyyC+}(%s̠&-cb`OKEBe8Zx|5!\!<{][I1:9T0@.l̶A֔Űc5Ѭ ea)`2iDqzWטeJa+ȯj[̫bԆcT@FrϬއ=D?3(1 BU5^`^x"a! ;EQXU{I f<:.oz juewQzrėAB$:XrW~3I~x)a*kƭO 2BqJ N%sV,ٜn9s汗V׻>xQDNvH籣+;V@ n-[x-I?p)'xeMdٺȤb1ЊՍZϑ3/4`'1 @Edgm@*;,~%Yq' IrE7O*m;1BaNxi$CښW'C|.'y [:l>&~o8|tZ7 )te(ILn1gBh k^Mtjx`⃡zǎwvK>`iE'+wk/3b8qnC WĹٲSVЦmS@Xka>:++tDW#kei},Q8@Anx~ x<|'[N H>Jځ}Ïvq A 3C4;`]۵3!w4s_JGm񤿹oSV m& ܋; N@,E;`"n LӗC!duVRUsLp t;.^+yJ~d>s?-E ǻ."?T{Y" 6~le!^c9nR]t-eGzοL&o" 3 ^ ݝ'aCe;eٯix-f JiЙֿƯ_p C9ۓw;I7{cp!I΍ HZvVd΍<>e;ִB+z$l 5k+U鱃!Bw(OA]Yp*KkHْKx3lɜ)(h+I*dvr}dAOZ=ptpOҟW.:47YCb<]'X1ٽ_I{l$~)DZ.gXcj/+&Az3t$>uFtN*&Q.QD\R8r*a bǂ3i/@@PV=D*H%N 0\\$R2 c2_o^تJ윚I`;B>oݚ nzan)HuN>Smݩsy77e &Mc5R}Oo]Z'[~fƪ`AhhT1۰^_QGDȼ(U #mvnLd b 2hʀ>D8PnQPZr7&:Ὡ3rS-̧8V;݃Y EʮtF%ψ@L_C]NF~*H`\^ůg/E! $ yC ӭM!*^'6i(%.^վZv g~qq{oK_vr-/h?|7ǡ >Cb'sTlQ3; m*L K%S?SM [/燎}9Sx^H#c]P[x?B̍pך<%< *Db-J_~t{R=) ̖.s؈Yc3#&jbs(1֜z50wGtq)˺QBf%r L ;mF 5plM#V<p eto %r78.{1:^՞ pbtmּpۦfz4DCM*'eV›F㷦*I @=AxQM~my.B#Fy^Rkۭ޷ `y+;pCH_\EskD ,ñ4ZHԶ3h͟T$&YwAldgh5I}(U6DˑB` M[JDžT^\,gU&BU.BPiqgc=(&BXpC4׻%H<gJp6 U&Hz@Wn+Xwyi? :@n5u+2Xey*X55QKԣA틳U8V!&msNƤo}^̕}e~Jk Mģۨ!*ՋF\QJV7.V.7$7X\) #g_9ࡹ^;^}&=nZ_CJ;.LEm_`:fDY-a9 }9 ӓFr‹hhw>|xi ӳ`!NZ} 8JpoK9J4U]`WdR}ݹR@l9-{w}G4x[XrZƹMY& |0]3dҼ.8f]@Umz~,$CijX)٭VaߴgG:V+bEgraT1m h0U$Rf]P IGPe[庭' AAʦU_nul7x&!ޗE[~$t :IgYZ |%3 'lӔia5v᪝]"g,2- wL˅)DTneq6sd%et:;*a1 O&8,%v}y!`듺)zU)q0G bA="T2?k(S ~0ەsoVr+!ƵM,ƃ-RSy #0ү'^RLTfnB0Il.Aa?z~)ѓUS{tr)cRMv0BY䎬7@gG83SQ=*SO{=\.rtr ẃQ~`Užf.ҲQ%%=5/j'F2'ا%2x%A^8RaΚ#<VwK5ZH:~L<6vګE#%,d3oTDpXhFa_]!i<t d7"?"dP- \Ȟ q`gk2n"#'M TxbL}Az80fX P#O2 283KjEmbzV5Ɠɒc0nfK{N_Hceq[4QYIQ狛JR9yV.|bQ%~5_joH FPp'6 ^h#v> ^x5jw[C~hI_w| GWnٳʰIG␠XC\OuX38wV6 ?lUK )Q3rA6 &k쓩6Ûհ琍;*)}$sss$Βcd++!,uE'>Eq"A,):[FzŎLd29n@7/`&HL# O')F@OϓRNޭapY&O/ $H`gbsNJ+$"^=}XImh[m ^Cf{)ab >RqèG<}MXGV5ْ<Д/keh%!lrɒ)e@V^ YwSLS;:U6&r:[)x$hކ+^[8HANF;/t Ebnj252 {@0@\h|"tjQ`o#(Hr[wxB\sgyȀ95a:/}{O%49̰OZ 𧺌ÃyqXb)jF鉶?. nVbNB|IgTևM5S>Ç|ſǼ ?bxY *vYO@*Yvy^hv^ܟ,@y-# hP-M1mAU\Km, @ $8M8;<~0qS'5$ u E-4H+("Ź7vM: HPP24Qa1Ol䲥{cV[ԙ\c`7$7ˡֹ@jRASL7=|&Z;OGSS*H_4M&D>e+2r $ܡՒk#di{u1ŤJS^IN!L ũ`èr,6s& O v՗A5f(5%-6F5`V^xUzElT~NI?Y5ƴY|M c^1 WaK.vZ<j  h+q4m|-M/ 1R):ВwZN3_[ ǤEVsdL.{`>z"h7n㠒.ά=GY JJ/?`:70gp:!L<bc&'#L?vMr]330jV$L6ؒr&]WX/ 7Uaiv#IV ֻVXx|cZn* 'M7mIpGPԤ +gu!wj52 ĢОٺZei60ZXR\p$OAAJr~jR(LYzRTiUsdV@<^Bh}֕UqLRI]? }8+=OTEͪ6..4 hƧ.-="a {x%xVK uCtC[14{JV}S|+b 9b㭪ٻB0Xi m63x<g! S{4Q}qO;3vӇKeoVlkӡ$ܿ::iJC'{ClX~~;%f0: ٖxJ"EcVgYZ--q_e|a7V Ls>?;(L&6T4c* )`RSbntŲRi1¥tT{Ӑh!B(e?&jGzpLz… Ӻx1+s@0y- xٲ6&PG -Kа&Nj#vr.hcCݛ$ר *fy D@0ԱFc뀌lM QwȜL1 V M,~tR;i ;HkQX⮐bEY?g 50uz~7jǛ""b&L3{|N݆ZȷD%XŴ\~ٷ*ݰfO2K"}3(Y,Mk%QV̽zhQ ʌ d,z"Y#0aSHǏ<Kp )Kv/YcG`Pz P썪5 Qڠꞟldd*!F'BJ ֿ el zE"`㳠 /OQ;.p}UHG: j=H#pF.pT45PA9p2:QsB^tM]p k *8=#\S_XNe;dKxHmʌ r@UXI `$QVP`s kLe}&CʹsnΆξ I駲ֿN<^2\6Ĉx/k[xM^Ĥ%fv)5G4?b곯,Xw G 9O8q Օ-: _p L:bMvS"]X\u[ H+ %N'iѦz+}Ud9Xmyjuzjԥv"!?am,f?Eӂ$5?fo=or:f\|Ӝ ;WӍbSAq+v җ>#.=q?@l(rIA(f&9kC3,v3`eC7R(17 α(!mZ4,Au}H'sC4/# oz؟*Erkqjpf:hx&vRjrKT9:$Ch}v\pAWT3Ƕml1RM=My{,! ūG@//lVѡZqP) 3CL'.OϿ;XRdV/+U3@0,C_V-7fx rq֯?})+yOM 2v/<$>ZMirXw҃%߭IVZݴ~)I>dA@/62&cZ_DrZ'd#B۲%./vAm:Rj?n )؜m1ȷ5RF80NAUʌS&Qc P}(Z-]wPshΗU4gRTtG/BjQ;|6LWpCq.d(+ nSw<=wxc,4chU+2&ά^ &x9POVCZh7a-I="v/PV|]%*TzTJN⼑}tEMWd:ۯlzROO)_{)1<:p" G<5ܘ!H *tTqdǜyzvd~:$r܇.JH2h8zx)p"- b>#=Qv&0fGӄG.4OEG ?2rшC`v]p*=HrI7iCxMVIjY-+j&Jk`n Z!/;mC/1яBNb-Úq+!i;{8$u2l-ḊDӕ-N@sd$#@/T́\חK47f=Fiw|?}jK@/ 쑾; z $BGo Y!-MwdXHYhqei>TH@أ}9|)>Sl,~GC"s=3J\x:l5gH OX? l{jGH1rP=yg[˨coOl{d[(GV*?ZEσ \L6 MM&- ԍH 8_[B}Q4ʪ?<[LcHD~]NxUldwRT#g.++m1̩sШ>y7U/~y2DlKC2,raJ LM\=6Bٚ %*$ 8Sp[ *pzp1#MGE`- +[;BfEf) j0)聛aE\I,r]>Y[o X}oz\|۟ QfS\,K2"e5OL$p)NcVz`%ݹ.Z1*^MGib3nV7P&(w (TzybqY|DԦh\8 <ʌ ƥETPE m/9Gnj3*R?&j]T -9ʡ*NDM3ܭlJŒ>ue4x+;D7>GqH}ȮP2=+eJ%Yg!6>>?VhA9C/(&ګG;|gYZ y /G% |Regex_EquivalenceRegex_Equivalence.Deriv_Autosdocument.tex7zXZִF! w]A-MՋhvG"uIBm5֕Sv[H#~{mh<2/%82^E,;x0H:}8_ӓ Q_ 5$T 5{\ ,xaDŮ(RĀ)͇b?a)k2hD0v['^r~q!dU. XA㑷'6͂]Yd2I'9ElwE%lg OCΏ$9; ͚:lN*5(dR$Ų(FdՖ]Cq'9nc¼J-|5uġ?|W_oRFm't뢩`q Sa:;ҕMsmm(VSMlBE7S: |$ coS9]Q*g0胛@@ӓjбw𦇍K 9 ·ta/BqЫ)TWGqKJ/PV݂'2 H  /EZ>kڡ:(Jm\|9'Nf^1%0yڌ% kmͤo}%nbz")ѿFJas UJq t &qp,I)T8 8ҡ#to̫îx_@s8K^d@j fj*:\%vQzxUc0zIKl_}UN6i77oEaOP'<W4؁='@CJtZ+ !6=/a"6`}?tWFe0ʬ)Ӑ*wf !&6_5v=طoI1.撩@|G#̶oOĕ GT$y\ULySij8բL# T|>/JS!T2=&(rkX,:tho/f,B0g1\T[V=5Mf38 g/?~g&~lHG+gfNolރA&8H.6ܭ7fuKvN8}DeI~L#4%C'Z.&$PJ>$ 9#'S doɞ%9SHqE!zYq1DpVнdQz|j\o5\_^P>^I[F]輦M8 ހR>[Uo6\Bg1heo{*0BNٿh 6j}E덆~rȑSn;M‹AL(~P`MUrY&xZys֗&Jf]i7AѩNT17%+!~>3yXo : 'eBX+sT5Lqlؒ=܅OҔ(k'ퟸTƈقBҋѕ#Y >(`ب et_2l%}:"G' >7u#'ÿ"*4.Ͷ'/"dܘMf!ud%_:osESdqy}ZAp@*͘YA?&A ħ y&{)J'TT24#ʥ, ›Va"K+P 6 Z?tf \rJ'~ޗWq4 ߺqPʆy@H8i0 ^BlUDB-j¯H{CDĐ,7= \esoeЃɩA@f(|7NZpb iUfeLU{D-\sG[p kXuF]lb4Ppz8y8+g\P܎B<㹳 J,%ci-P,[Qξoƨ>qdлpG.X % XJ='Sמ.;NsӷRIzPe∑'mKwFC)bjN\z-QXƑf(i o~ s^C}c<&C6+)(N⹼&|,1%M"JH,GN4אgR Gy:b4<em+7)|ny6MH\D+DAd`S!A@9d*Ԧ\{ISo&/YAEJ)3)Dۼi7L~EA[TlP"bua&?uhur;y9뾜e S1K"m{PyCYɻzei޺=#VNjHCj!qH]sV`?̻{OR6ndW {[vCSae)k9ЖpN2nPye[sX%UM$湄Gho!f&~w# CűgYZRrWUkp-S6"@7"HBc o:BiB5{Gdʨ/2>m']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI ~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&!l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,#CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]$lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+%\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ  /5% ,Regex_EquivalenceHOL-Library.Multisetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`d32 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`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ K/C% $Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex7zXZִF! }0 ]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'&ľ?)@& Q8|墄Mp3\>v}IlU@x@#\Q$Eߚq K %?Gی'&ٟ?r b =FNl6ɭ T"N9HMR3\㷑 P"3q.4'8U٥F˓\l~&&tuň8aLY@tu_T]x&>O¦NDJnT}:g,Sà $TQ Qšʓ%$J)0.tŚ-H6Alp&k8GL[yvX}@ _MB|e#$EXeaZήvJʾqQPZ{Th٨cd=#;u^>?f2 K`{}"M?4%_{^ї@,ܲr&{\U!lA&#!iy!r-&[kio??]u NSL5yod^HS9uwHpbAK(?+AP >.HV3 \ K4d,dIO!@r4ɚ ߗk[D̑'Z{Ft.,10aX#=\~$4DVS cq`iG![zp)Un3Bu &@!j h[^{NQ+S7hؽe(#z:ZץID"ҫ9_#q$GwQ(AϯZ(SykT(ν#?%KsTK7؇g3Uy w̵iVc! eX`l|[ ;&UPH( x?fß"Dr2x&(t;/r'<{~b'[d!P^[x1_PGIcs.Dyi=ncjJ̰lo%a?bAj.V_;( &sNQ.ͥ*s%c$` EA%Si$75sHmEҰġ[3 >mj7@yx_Z`v+bsa<@}1F-)W8:Zajz/w(B_xѐgJ{[WW)i.#*0 JU8VGk*`fE2F4y[Qc*-LSf v!{?5WGӢ>JSWrwz=AK|Q[]xǤGiOD=>XP& Cijμ0j, b4OtDN9s6Eh0_|(#sK@ڔUuԎ7DGgMs(#4 ce{%n:Alm j3 ЅPZP8mpSr7P=0 :|w7Ņ`sO@)P& #5-bD WWaF6Ec@o=u!ѐ201lU;XɮyMnvN9Ck $0/vŔ4ck 2jT#w/*D56z>TTZRgYZ  1o/S% \Regex_EquivalenceRegex_Equivalence.Regex_Equivalencedocument.tex7zXZִF! ]A-MՋhvG"uIBm5 ^W[T(R92O̥Nflz( D.Psju'L/UڒJu^AMj{H_ {_ٔu(Ҁ\.#VٹT8_4MBXYn~7)DP2tA "rsN>&8hߧ*SE |Pp*hG!bTKքI̚!?JzT @@Da#FUiG2)cu81(AqWaJpf9ոo,M05th<0-r?]og/<X\4TkV>٢@ \ֺUޜeOK`nv}+phbZ_cA&1O SKI{ViagH7'@4I(ϰ19).amƱgYZL/=% ,Regex_EquivalenceRegular-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 @@=/G% Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 7 ;]A-MՋhvG"uIBm5T6Y)AEŘmU Ep䡀9?测UI7uNV"-_]ķbq=$ yf2xSh>|cNS( +Nz:Y9J]|^,sm-gsyC$6v>~L\mݺ78di/_.#"!%Վ)h-aJ4e ßg/>tt*6B*{6d1ANi"TQj2hy~c db'NتGHAGsI~p— * 3bn:.URu KX['4ꐈQí'7\$5ŋv&Գ0@># kf&=OщlQubd!Vi #]ъ3GzI i~?){Ƥ `%vȦ"(R֝bWu`LeB}1MrUތ3a\"Olj]/k*gŝ;ޕ!\lpTQ8M,r<÷u QUÀ:b:se5mI$rcǤу6xgl?-C 4r<OdcIk?^adO$\?ӄ%IUX==8k#_RJoN`Je76эܼ?|gUmz,4E=5odз1 ":OQTͅ c 4;[3I`C1CaĐ}2P,tx/Ň2zz3e3>ߩj鰼PW-,bu ak(Af^*RT17@<+-ρT =F [(n!sIɇ*^&D+;\0uҙSpxe%k`|9w'PX8#-FW ÃpYm`W.G_W%nћ9Cv>U>xJIaI(E3JdyԐ+r^dwMݠuץB'Cv nGjx42KQ$FuSg`k6_Ug5im۵?`͎Tj}HUҭUH;wczR/޵3/AǗaf›_i!{OJpд^UM/SP+4BkeѴ\zeMok'NM%xƧ8^!k ylnbpLq=ܿF觐 g2.ɓ~ΕX2OJJ!ȳŨIP%tb!]knl@&YVG6v; w(*lB |{|e0~l=SɢȻkK/,zV4GǗ / )({ayz E _- Ǡi_ͧAS5j)VnaiOesrqwd}}ڶVOssdk4'a\hM2}n $^[xF ߅PCea <]Ryk-(tfؔh&'>daJY?2ݟ8o?orY܊ѹD[g+=n&1 > 4jH`4 Mg)e# 8c%ob) W3ٟڜQmDM'fIeO1]m ^=py]NxN 6WWv|+:6W88,&Tx2FV*!۰,cA¨9_[̖}Õً*y2π8GMW^.\(yWFP2/:8Z% f0", NL3~aӸq놩5`=h7b\7Ruw3ҮcW5.;Rn=BʷMȢGQO۩Fvj{u1y n)3+Y =qjD2 nA^̛ف)NdɣFk`=]}Hm=T!DyUdxHOU"$SYG+U $TN" % rKwo %3bb y?N( a!pGXc^G$oDi=-{n>qgYZvFT kwKٝ '8*a3ӝ,7[6M[PNy mE1{d@{`[%Y8|M9٪"k|tìY,:ճ#P9Tyۖ9P+;W*yʣ$rl,\Eu U .V = ׺G% NgD5_w)dvjim?ϫ!NM7<>,j/ߍ LoZjٺ;n(djC˚wU~zئܢQ{SKU9HD޽0h;BC@Fۣ"fB~})?cJ`*fKpcH߷KQWŠGkNĩn&jǩ ddl?US1

.Pv_5qpy{P[;=[(N샠dPCΦH)kj"goDzr1s}Oܖb#js>*Jok]?m#yȔֆ:9Ka! dS8v̀_*BH2;z@DE)zqTvauBN& zs8E"Jeپ;XF "*< $5 R!N$! ȴO 4Ғ9=KP5I$(ݪ B2uOlnP|kܰG{Tk';$W7S'W&I9'ma.2a~10oj D]q>F(s4n4S.e=AuRL8K8JqcLW?|rX'^>e$7+*rSzهlO5}]} 9I4~4\Z4o3O_)5R5溩нy,r䠉C3JG ['udʠA|X,Qy`j0٘)5wi*l2#](nO#J Ls,/М=Xְu"tCџ3YU̱&vhi"?/Kv SV/۾V#ٓ46hٕ>A:+ѫbi7roJmd 59]u4[ Bδ<SGܘB:DH/(##-چ`4(c6mݬ68آ|j0Rko`[lg,SHOp8~Ʀu_1*2d &q"gY$O07o/0hU(Y0:A?̳j%6PD Ic}6ݣ ;+GOsQgU*-1O8,Z@,#Pd:^D$&;[5n1 t>D67@#Dab9G|ce'dJY*docvc)zD^SdwT]eDq ;c|!8r0tBvcixv+9cN򡌙}vx^Ri7GJ84(icn85 3 {ɚz?Ci~5S .J-_?eOQG.̖Xwʯz&X!_P &+*#9^dr0Q%IGQ,w^qQȑ /PV<>8UE?ͱ'$[ a_i7xpMRߒ U8Gɤѓ]Bfv,G@$C+ƼqKq;=p-EpnJA4謞V,Kj{rc\Հe+' ~>OS|!B]CYA'([>L gF,B}rt{m0|rP;'=1Ĺ ־XU ~ =֡1)w- UlpBlOZbt~pTGqxPd LMxOOӇ{G`1La/ !=|z̀}w/@nb|5 Gw~j?RH~?NV~wR=5T'CQC9UR?īj WM<=/F!9dHpeG#(*fmSR']A/:{$E N/@!8wV3G$Eb)s0stw0jLQ+L-B-PW"Km~P2!q1B1_P%j `ɅQ!oօM#0:@NUC-:?}#ɡ#3]аn txY9'Y:Ok[^b_DnBLz|EBl6;e(W$ܹ}78ӾC)x1l qhRBL]H P*^%&MƾO6EzW:†slmi6u{趵${[:Hj6-$tS1bKɓV3ׇ0d+o ZnM"A"4=%3" .r;3H|"AWY)2,4&͉ }]}{XfXEB#۶$gYZ37dba0e32ef348b57bf841826c7b686b505d282d36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c 6af7e1fb310f20123ed31ee9fc4502422cd6933fe35d2be8b47513ef87ecc079bce4f9c9c33cfcca