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 mm/4d ]/]Regex_Equivalence:threads=2elapsed=74.703cpu=128.860gc=9.816factor=1.727zXZִF! 4]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O=td=ڙ#࢐|.Z IY)tMǽbpɀwWt,^&2i&LcYBې'RzDD|h8hY/Y}ëLFWq>TziRD[ء|yTXb1adkVU+ᇁS#6|tħS(.p{}7/ %E/f:\(͑ڽj1h+[W7qus Ĥe9Fΐ'ޡ#iS䯪N5 ~^#~,M ֠tЍ1AX=De^yfC'5s7x+#8dw6s3%qz}|(};Ղ93`P1d%E9ꥌ1'x2T|6EEVi΍(! ҿm=.],Jem)9aaFDtmN=0M@ݚzHq슓8s=擺#=}{>Xe2W2/ᅥ~" m[ (lCcܡY+ҰJւRV`a Ջ6@|\@JC g~):̟~Q!PDx{fYCK"r`>2q"p /А-ïe!Ӂy ]O L:3^Z#^jBA =7nG!ǸNE|d2~=W CފMLFۓCNB~k+JQW,xN5p? i/ sM<ȯ͔6ÑɈ2ᑿ@3d Jd {j cgF _oڕ`A>$q92CI&.[מ i{pNa5RJ4w R:Z8拯(`^ጽH_00Nc ?^`(/7::g6!٭&n5op+8@XdpJn 'Va#(. YmqZW=YdI)J hDYUKE~Ǚ3,F!d)Wۑ_h9ՇrOWm4!~eN]9vy J9<-QrpJU`˄Ҿ32f{-4<)*Ad)|>i, CDL53[zD?6|O|6 TFWJ˩@lgi7(?2=aOgA6t~73u{fnmK@ @r7gYZ7zXZִF! jk]ŗXi%; 89G*]ɩ3eIXM0]kE./yTMKo:VXpLL v<OK>'Oun|BʟF;9LoZdk%<̛SuJסY#RtMe~ ?LgPL8#Gqw4hGS΢UÎC߰& "{jDbS;c{XXki-1:an+mhg2mƫa39keJW:o44<\32[a_->IX܅[ڭMKzLJ?՘:ƨo9%6^;[ش0j;}#gyl2^\^7Tz y%uy6=K*p!{#?r/QYv{(YN/W _˳Bp{`@2᫭O2 u'JNSVNڕQL_ gH 9Ez4 `5GGO%/tYuv,,LB;2/Lժ'jd_y3c:yuWfvIG?a%` F=ᑼm~1?cQ(ŝA>Ԝ(|W<Jy7gu/i.IKwW q9,C4{T*U}0Qծ۵k6XTT:PV51$p[v+. ^:?rhrH{TrK6j-a RD+ / Regex_Equivalence Y/E% lk*nEH>)L)y܌4IyֽxǗ         D y } <y5   =7/5%Regex_EquivalenceHOL-Library.Multisetdocument.texF/S%Regex_EquivalenceRegex_Equivalence.Regex_Equivalencedocument.tex;/=%Regex_EquivalenceRegular-Sets.NDerivativedocument.tex@/G%Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex;/=%Regex_EquivalenceHOL-Library.Cancellationdocument.tex>/C%Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex ;/=%Regex_EquivalenceRegular-Sets.Regular_Expdocument.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űgYZ ee /=% DRegex_EquivalenceRegular-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)ȡ֗=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 QQ,/=% lRegex_EquivalenceHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰ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 @@=/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>qgYZ  1)/5% lRegex_EquivalenceHOL-Library.Multisetdocument.tex7zXZִF! ,g-]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`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~<o/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 lhjagYZY0/2T\~HኢՃN}T᥸U "?T YS$Gso8鈸LC(a %A2RjV-Q Ppg.U):;)TZ-_Sm{$בdBA8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>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%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb @Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.w!zNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!"$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>#j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J$"~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg'_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfW)g]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D*ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZ3sf&D &od,,}GlSes@ps TuW$C@L}N$gh7"l~)gơhi21 ]7 cWsJ {Gn ;{R|.[dm>a!fpԊh,q쪍SLA4DZIʄ)HI]yT;XX/l+PPʵ/MQ;̔֩y}^TRVu|;ְmJSqQ&s UYܡD ^7g3$]*,qm 7c]Kꔠ/OMr#~b#IPsr3HY&z> r|/H0}TXp/Zb'P%N[N**p/X$_jĞ741nd#4)ܽiKbh6 P8J{{.pƜQeb- vKʀ )0wBkȔ˭Z"53={qKjAdB6FP%3ke,%̵bLXiwʯo8n>g]cBLGr2doE$1e4 ȑ zYڟS-"T@+d`B=o`ʀ=̂fY -ϣb,3hܣZƽ*4녬\ko:2H1&\ɓW7.h{Z # n=9(x}6z36S+Gן$VEU/ri6%"eBק¦0cMqs`fي` T)v#ǶkǸ.e\!p7bO7~]BM471bzyD6¦BY,>g8'=^.2gEЉ18@T!t7T`eπw{d~⻾b"Aе/M׊]@;?JoV6ܤozheCu50񜉡+gUA\jK;gQH"\^%PNUJbbI֯dTY=nf7{dcWyQ(J:q͞k/A]ݩNw vZ/?Jt2&3#|1$,cu17<-Jx7±#v^Yal 3to~} hU 'd5 d51@j8.-X찎˷مM?/<ݻp:qx'&qΦuGw3FCX \4QS2W= JzL`0@DWBh}fې1=KIvF.(Cܬ>SkE*U }ӧd ၱ;WxJ .Tc ʤwQc\gSe~oM{&U 2f|vDRjb"p6t9<-6vW |/&((7MHu^b@1"0x&$jZd h@~9Dn-fIF# zUtLN\0X ׍9rHщE,Sg#A٤6h=GD?nҸ)ˬ\JJ׹YN#1|0 [d+ưAkq!-86xk< U8j,wDt8LB|I$˳EQY!x.+3j:i5ȉbǭer8S|D9JaW27BL3YICz" ;696mb;ҽͺuO~OkeB\A(.:>.HIFnT+ٜ&t蹬V >db_nJJ~#U"6o- FS$#|i'R7]2Kǣ| Ɗ++x`[HD'y* "~<8&a3_a29wy簆f%6 Ny"\_ĄsXM>CoX9'ӎ)T 76d M">/P䙰:rou@GdO 7.ޫpw]ᤁ0U/r-& CEX?\ f_i1JJ8 vdMo-k!IH/1(G/j kֲM ʊQȵEz]Tj갻CӞUc+G$R8Um=-5&&^y֤Ր2L(@edH$ђ5_ȉl ^"?.Fu,,uur85LY%JQkAy;5>rU߁DF=1%݉$V$QÕ:{;98+@y XX9lt_JYOK[Bi %O gYZ04431958c62691a9d3b9bbd33cb2b4dfe8dd875b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a1220b565e9d492baeddd5d4b76d001f58c169d04dc6