SQLite format 3@ ..;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   T/x,l ]/ Regex_Equivalence:threads=4elapsed=64.560cpu=198.160gc=16.1767zXZִF! L ]ŗXiɟW;g``ϐ=Nww|lۙ$),]idz:l|Ǭ& r t@ڊO9z"Mk˶$IxGS/Fj4OG厵ʢЩz0ۆ3;IjA+~MSB, 0/$M{E?ewV,ih|E!ǣ?Q:\5#؀D{GڝVA|Mw8}Wu S㑤N~ < (놢eʒ(iMG_;?)P+@}Q! 772CObu^@)+MT;03 Ӊ.ejR͚'˪Ýqz k^z0B"vlI:%aܕ S䷞$nzּH`ĉwofnSpC q5]3U*oքJr&NMS2Ē 165(ߩl| ~4;[F=IbuKw3[ђHh8aS)"՞mhh \ģmAЃ݊B\q>'@hao![l~:lI"?<Ҍ{0t ~3^ᢍnc;|lWwKP`TQ,S˰mEzuR,,uHjUD. "5.l)$%~Nyzvp8/g]jANk!\9i+Zw/d`}2}0Z\V<㴐WY;A{xOUu,7/g"(isDW$BHҸ4k"9>\DgtTkk耽<1?\f*ڙo˯Upl_wSgSD.k4tk+a8VTD0xiGe_ 1[}qR1l+(|p\b|wG@jC Sݜ!ƤU>u킛w- / Regex_Equivalence ,/S+ 4Regex_EquivalenceRegex_Equivalence.Regex_Equivalencecode/export1.ML7zXZִF! ]9 ! kH)߸/C$E_{ (_*4jFW;/<$s>JǨ0J};ӆ 6|Y>?% ^$A_GDg$DR%g$2Ua +\-":geZjj%рgƝu}|ޒx4(^2 Hf+©8P}^g];U7Jŀ ,}ǂXuf`@XOaЙ4Aҏou81e _*o=<3x}; p~!3bߊ4+32Ufl*^1R'_;W 4eM,ֱiv :KPaP"En! % rm6ޏ94> ;t=kL]jDj_-Ӓ:#Hn.qN;DX}S <:L+X}д"Gdy5Gm]WZwْ=5b4'U{Mh冑ZŮr~ HjĎEOnIÉB<&tKBcǭ "2i'5M&v/U&+q!+uJrK:l! vU11IJDQӅI(en$W%*"^j1bY.e;Nm:mĜ/ba0IG/!(|o f2C,L[4/t`PO(9z qW@90`pak8%-95/IШ}*oU޽֑.Ae6ޠ?fyQt1,xQ&1'ȸͱR*1LJDßLq(xu* 9"sCq9μT9FT;ƺ){J%`tZmcisV& .Y@O3%4\.4oP ugD[GPS/aČB1Ƞ WJb811T, I,he"lmS؝>^aOJCMDJ6{;~ Z׿~`"-B+ ff]1tNRsS۬?ge@&xD K(Ĩhj<ܪWy       ?/ ; | ?; 3 o w  u {7/5%Regex_EquivalenceHOL-Library.Multisetdocument.tex@/G%Regex_EquivalenceRegex_Equivalence.Deriv_Autosdocument.tex;/=%Regex_EquivalenceRegular-Sets.NDerivativedocument.texF/S%Regex_EquivalenceRegex_Equivalence.Regex_Equivalencedocument.tex@/G%Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex>/C%Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex;/=%Regex_EquivalenceHOL-Library.Cancellationdocument.tex ;/=%Regex_EquivalenceRegular-Sets.Regular_Expdocument.tex ;/=%Regex_EquivalenceRegex_Equivalence.After2document.tex >/C%Regex_EquivalenceRegex_Equivalence.Automatondocument.tex C/M%Regex_EquivalenceRegex_Equivalence.Position_Autosdocument.tex </?%Regex_EquivalenceRegex_Equivalence.Before2document.texE/Q%Regex_EquivalenceEfficient-Mergesort.Efficient_Sortdocument.tex;/=%Regex_EquivalenceRegular-Sets.Derivativesdocument.texA/I%Regex_EquivalenceRegex_Equivalence.Deriv_PDerivdocument.texG/U%Regex_EquivalenceRegex_Equivalence.Derivatives_Finitedocument.tex?/E%Regex_EquivalenceHOL-Library.While_Combinatordocument.tex;/=%Regex_EquivalenceRegular-Sets.Regular_Setdocument.texH/S+ Regex_EquivalenceRegex_Equivalence.Regex_Equivalencecode/export1.ML V?/}z;0FJ8lp"uPoF~U!.sb) b;r5&bHa$rTMƊFyo ;#MK*U-bKU_%']!6K ѣXT*.gI_@`3PsF;Z͈M"Mx<,U éd0f`&׈`u?ȴ`aȼ;z4G;("xon7'Hc=@l-.wH(c\pٝ].$[e@FAφ!2d#1rv0FLd` ɞu϶cl$3ցe7U//#%erٜ{a7['PpJ@FXUgXRC(!V tH53Qj'hUY&ة%!WۭЈ61cI'׺EvM4(gfBP{EpfxC&spTy\(He3lsq[̣V\qgdqU)ŵ{ bY@yp-IZmp"Ti- mQb#p= ~B*܅yb|̻Z!d~ \s]5~l⃆eMm&Pܧϗ+EeoXm*h6 O*"xw[%Im 2O7Ix34~oKGKn=9ځtziER;5ExZafzybp#;itM`B[ޫ :?ݧ fe%7RW"c2Qdgg]!]֔'A隺eδ^9y[`cƨĐC#U`%@CUPvEϫW YͥL=bI"WHuM :I/nR!f9ohZtx#iP|&ЄjUQ OXX 0%x *wR.٩uԼ:")9Z6$ֿ7ڊm~ FEr\:SLrr>KONahlPYEkl7O5̭0e^PNseĔJd PPw5iu BkNotOuYŪlwqsX/dCCB uc?IYL70)F;h+ՠ,o\#u~&oOmo ^ l``hf>\F!Vn.{7Qxcp{K!h2X52͉?\ߣez\_yO1·oH@дS2gCj%! =s<6'unb_Cxgdl#WoD<("%36̳xyHSI56c2Qܶ =]]1=Mm-U!bH[NlG!wMv.Ppt|> ӓ^*(^VځwͿ.'zEu8/[wE}4t|ΉhPR/w_F -_)ItswcAe hK חˇ."8MVtpZ.;Vs&+GS/\T/Hܺdˋ}-$*btߓ O٫x*V :LP c)(&,'&ojr#f GH0ݐq88Le2;a~swZ76N}}[fÛlyCk5q"}JjMFSR^.[$ 9Q?}#D O j; rjH\&l&iGeܩ"ڲ\\-=_&!Y1!"-'Lb(8)7a\Ɂ \öiT Jes5 8<+DvҪRHLk77/q3J" ~Ko;׍ԋy<:LyY5P%. S?m0=׋LcĬQ`A=xHRŬc\640I ^V,xibU_ӅŤRZe41[U+62kX3 ^+Z +\Yy ӿL^E*EnsG ]abo oR)rf<W}b1K)v z\-yѻ(AWRKQW*18B nF.X}45E^^z58PsT$Sؗ% "+ 13!d0XSe4$Cv!z -ѽX297C> _-,( *1o^nu(mCd>Št)KQdY ߞYO}T,̞T*Et\8eJ+/ׁ]ob89г2yXlj|tS.qN.1EkūoyJ @0f ʖn mkli??&pKXA@<~'. m w1ˬL|܂L4\?_'5V']3pBSЬ8 lBm{Y_Wu)`PiB~eyeݚiH^ޔjS@IZ "hUR=(DSdJ:ƵrTHk XTS,Rq1QoNqbHJL@fE@s~T+ǓwKVR)Kա'C*R.{ x?XdfwWig_pV"_jkIy;%|\8.Ek g>a]Tb92w |"o[yH,X?Ůj9p0:* =P;U_ Od |kgnG'JP#A$;j``K? wd1BQMںơ<4ˁl>Uk6C@E_qO.FxNYmakzJC:.qb^r%|(U*Ҧ)=KEP%8b 7%O:LhI/"^6zdRco!\aے_KJO4(}AYj0\Ӽ-D]")}UNYD7qɁ{^k'S|fhSeX/ _,<֓zf mxY#8xhVt8Rc>tJVfG*Ť1@8?2qd]./ӛ2mZrF-D߷F!;ۥlЄfxa+Y@;* uʼnE!|**m d"(|恧N[s;ΊQhDjV|(WC(tB|0ױF\-|Q=pzb0$&b+ Ō9:`ɗ 3= Nq >:bvoO>`fMmT+ *Q& I1R{<f¯< ܭqv?b#!FT,-TZ rgS;T#+dvN#{[;e7>8s->nZ~+u\qԤ4馕D*gt/]^Ѻ #2u0%SiE+ )ೊ$%B{ mB*?u}ZZ0ehAW4ֲmA/ s/wwި} o&ӉvH5SV˒;Wտו/ti!p1^ҩ ʛcٹȋj2u_9BW䂚fO{J)"VYL` XWsV#*|]+.| &ꦉhw6m}І[;&n<+b/i{+۸Op5sgs{lh{M.cw1r$h*=H;c]cz":$ylK2,`OZoIH~?OQOKNB PhfhHwT6T׈o\aA|_@ n5;%d8N@SoհZze2? ,Y+"׶geshz@ϯaDu-񲗾aQ )!~:Hnm, (|~5X/:)j_E;*S‚?im `KV/[ ֗';zشapeP"{5L ඘"$:Rs8Ԉp~CB RݾFRg>: 5 t`UiL:9o״9c˪;F7*yDG4'%fq0CW1$?L\ r/P3)c3'toL[~0k&v{Cs١Nc@G$)dbQy riv DF qmAO +z4 2Qʙt4%L ށ.b8pdAښ4G '4.-jƎl)M#eY0s~4cwTޮ*ڋ ȋ_N0A`iAv^uTr΋FE2|7NM\W$J W nH ´lL[F Ɗ#_۳9B+R\{y2(hk](\DȮNʋmJԇ*uTdu)Ow_ '5+|4VyόC\H-{>5QҨBANi#ǻ5M"fLLwZbz9zc88 Hŧ*Vt^xh<5 u+IQ*a9]ǵVr{G#=3**PY*=rJr,m e6̲ò.?M W6{Nۋ헰p,z|_BΛ6ٍ6"_##-$ܔ><){Y-KWDK;M ey`bcH/%T08{BΗǴhRYc G_ѡ jt4a>Խ!h ]0ʦ)Li#e#J8mi 0ǎ9p_?B[ g a?["F0{䰻M0+* کk;9OVo3tsǿE$w֮XdF-^@,ф h'c~xzed69A`4@#'.Ci1U卌+{LVlpDG 5$/c q2vR-Us `De2 ƷjBS>>:'@ȗ]̢&4 c8cg:x\:N/ xOz3M+Ab}-؍r׺E?֒0]FDx#?apQRFrkU#pxg BK9'[V`Efz/ndSV@؅cUp3B;wNf29 %"ϾzXuݎtwR&FPl? [ji9a3իnZiykt\%)w9x%jiS>ƧM"EGs88S!Q V/ʋ;@WEviXb6՘;3q2C@8n ^>sѫKq_Ũ&%̟4qtxîg+L4OX N7why) lXvJ Plt}P]ɛ[#e.U!PC,ੇ2 @@`F@u+!zC3J3qswǏ=H|#gYZ VV/S+ 4Regex_EquivalenceRegex_Equivalence.Regex_Equivalencecode/export1.ML7zXZִF! ]9 ! kH)߸/C$E_{ (_*4jFW;/<$s>JǨ0J};ӆ 6|Y>?% ^$A_GDg$DR%g$2Ua +\-":geZjj%рgƝu}|ޒx4(^2 Hf+©8P}^g];U7Jŀ ,}ǂXuf`@XOaЙ4Aҏou81e _*o=<3x}; p~!3bߊ4+32Ufl*^1R'_;W 4eM,ֱiv :KPaP"En! % rm6ޏ94> ;t=kL]jDj_-Ӓ:#Hn.qN;DX}S <:L+X}д"Gdy5Gm]WZwْ=5b4'U{Mh冑ZŮr~ HjĎEOnIÉB<&tKBcǭ "2i'5M&v/U&+q!+uJrK:l! vU11IJDQӅI(en$W%*"^j1bY.e;Nm:mĜ/ba0IG/!(|o f2C,L[4/t`PO(9z qW@90`pak8%-95/IШ}*oU޽֑.Ae6ޠ?fyQt1,xQ&1'ȸͱR*1LJDßLq(xu* 9"sCq9μT9FT;ƺ){J%`tZmcisV& .Y@O3%4\.4oP ugD[GPS/aČB1Ƞ WJb811T, I,he"lmS؝>^aOJCMDJ6{;~ Z׿~`"-B+ ff]1tNRsS۬?ge@&xD K(Ĩhj<ܪWyʷ ԓYBA]8@T+BiEh5b AH f((L 1/=% tRegex_EquivalenceRegular-Sets.Regular_Setdocument.tex7zXZִF! j]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ޗDEO՘xeyA'ĪnX/UMչu0We!_Ax.t.2 ʲ$ Jf ;[1[G| Gu@=?? K$46.{(BQMEmUP2xC:1J Ngpǹ֯?^ 8"o(&VJM8=^=>c{Pg?vf5NH~n/`׾ z[.Pe;Vnc M*G"?Ŕi ^08>9%*WHϘi)rHj{-7'fZ7 p zLUlUټR}.VuQ;AE)Wαv̑uT$ qӢL4Xha,3 ȵ>0︚@ 7!7۲C:hF$UDz[ܾDs쬞T,G 3[טh3g`NX0!*& f93oYo-#Q*3ou8O$TG.-IޥK6H 7u)dejC#H#j z #c}ԒUK[og)oKрD}DoVԱTܢLKl(P5.@,%`Kuc'IuD|Sp9H*gnmJ46,w㜊]}9àxXM&NmǸ)aOuXpt罌^艦xPV>;37xv0Gn <4$[ ˎp̘sQ3Բ^R& O|+łGL8OKs&&NYY咞P௃w/t#MoY^eyisQ&; Fn82c}YLm_`U`. ?9g4̙J*a/=2VozG|%!;V㱔n_+1R͉D` qޡ|5 #&Vy s𝺨gPHarAceӰuVv(&BCyi2yL+)iS "4purt9OaQZ^T~>h vl&'ۡqy/w 9Ae=ng!7EV@?vX$lsr8Iƒׄ[]4Sd&`sI\4߽M'rF_9čR|NO{UYFh"aβS{+ZjAZAӣXDAT 疀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@ŲJgYZ  /I% Regex_EquivalenceRegex_Equivalence.Deriv_PDerivdocument.tex7zXZִF! ]A-MՋhvG"uIBm5֕Sv[H#~{syarm,޲Ȏ~\ST 8ٔx4Xwi2?G|j!ѷT /6B+&fPJ8E˶{f3!5E߷s;]C4Ml"䂘 }m{~%o>!"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]Oj r /U% \Regex_EquivalenceRegex_Equivalence.Derivatives_Finitedocument.tex7zXZִF! "h]A-MՋhvG"uIBm5֕ ɭE~iaIг#D8Z7K Yd东<|USJh(?k2&=AD̩]^(gpXj:ʚ '8{s8c"A"z˭ 'A'dDyaiB'̖IJ)^X+'+ )8X%(0UIWQ:t1.4K< H1֛Lcq~w1 §F)+{8̍,ݘRe*#c{bKAT՛ֽϋ ,Mfòsßre}O$K6}FExGYYDE([P h|;IL*Ό,GoIu$I.`ܿѹQK)CcdחzH> lk*nEH>)L)y܌4IyֽxǗyE>[2>u ހ攈CFGiZRK_ujȔ)c4zR d Hbq!M]4i ){ fG@Y@xLoUBincW }CG©J5^ӲUCK Z /E% #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+Ge*=bblT9+(3P *6P8`dsAfjNpCu;>~΂w^D9py7+| J0;@ 9# ff^@;9RT׼,s(8Ӕ`2aCEQ4žM,'so45:]Bb/PβIs=7G^n]Yc;js!2]:sBφ_ Z7 7H1lЬF|(@ACU֯ݻXEg|mt*tq&'K:k!7 -A@iy^O1 ,= %2Hy726j.0 &{Ӽ2K '4ߎE9*8y$\7G$g (ԊQuђ&+ Xϖ1,& *`59 TpޥGJ#ȥ&gsm&”FU?=PbȌVX/gUF)L󦵢T8)}##K_ ?#1KbԺK3C/ڍ&nXkvjAB1E!?DN8D3lc1e%r%o}ϼ(}i f*M'|DW0q}pqۊ6J`s I_"sd%޿W޻lpW4`͸W?Ii[8@t2v>FCތB[ds7$sV c͗}%OjX(^nO=Ƴ+/LpjZ 1?GoANdFN!Mg*6(W_Ɇ_ dadJvs7aA>bO0Zz+0'@ҐDbQi[Re9/Ɩ?nTITJJ UIjӢcDa%}CU. Vω͇b99IE$' Wc!pwAo/ Ʌ[.f e&(Tќ$̝ӦMYeH+'ьuMrDI? %x5pY?a9+MK_PBTZWGi>Ol ``!_Mp2$%<:\92IcTy6#Jt/._|兾ө(0FDKA? )oV]'me?Q܌ Cv%.d1_C+X?("=c RÝơiDQg42Ym ' sF# 'ة&QC6PU>FU`Г <&ݩJZqCGeQqxTZu|R o%R_Wo?#[aZ@ J8&;WƛF=zWpviQd`=v#n8}}A{c˾UIKS41 ;hS\=m{dY}ö,l"TA:R^Ad#d ꤛ0<8/fnk\TU呙F<ww941FжHrćtIO͆cx4)BSC \[ !X2r7aB3W3ĐXG^tE9 p&<SP?3&/xłM>smScTa6 Jzwj(캊W)9l9n:ub]z MH( _~JWbtf2 ][Z8P72=NrG :6$* zlaՇ5lϯ-@TJ{=^US< W}OߺiT7>η)D?6F=l8.hWi=V;g~>',:*LtL/vƓ8a7Fiu0i~$ROj3RFt >;IVT&]KV+jq"ZY?a獳@?g4?rK&rr֮`+n%T%A6蕵M^~WV ,Xw. $̭Y *Z4t\F,f y~UXqСze||0:˽YdR+^CߢTp>FDgd fyrG@D= RYYtrPopclV@Sq]Z,:Zv,lCK1_FkQEg..gr1Wb Fep::™ХsV /iڥ$E2nؑQ046PcBpJrmBXJ9оNQ7fvMM.ҊE1;-A@2(95uՠ,{ uZnceXQֿо#)]EВtYQfDt'Fb$ Ɯe艥1'P9)o,PݏJ8,hcR0bi1b81R_*f@Yen4Up|:>/a\j %0q@ }8IY}@~qP@e4sHVmkˀ+8Nu dPnaN#x^tk2h ``4Б+$ٳfˀR@|30PajOT Lvty{qf5>=TQD2A W{Qv }0*w@yxF_^]7J2y5=s_6-#ٔXrP/C Y܆m

>نdiZ~'hiuH)gn$|̌ nUbCgvf̋DG:CKP q 2i3"lz{<gyE!n(P ?\$IFrNx$]Îͳȥru6i1~%_0mPo?5? mrUcHJC񁹶giQ\Q+=X5O0M&|HͿ Tk;c->,#loy_3Zhɴ"j|-wT1.[UDgg3}biK=,gRN\6XÆ|=-]'G^*Zgʎaɍ}"j[\k"aXy]M$ iwVH9.IoDʲ wMl=*1@/UCےݢ&ThݽcWXiat5D~vBmo@UTgcȬ6 Qc<6HYr4"*\*L`ѼGJ+\4NѨe^|fPk[1Z*lt4 JpJ96H5Ġs=:o?^#8/xD7(&ֈW*s%%5QHKUY(EsWU! ؇ËТ -^HCQ$-TFXB-*z9Hh)j8Wn/xD!Pe<8@VuƻA{Q$玊'+^Eqdў5&>nPd]D_0  o]V>#{B\ҪD JW^7P8uꅷV/&s&zSƶ aZ |V Cc+6EiB4e?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&Һm gv_t`PW83?ֽp5iB9eE1zp9<=q?ȺHCUy+%V 0'(BLpvݙ"&_ȖZQ󒡦$%W3a Meȇ%hح%ǢGCqHF3!b]g .yL~š w¢S?)P[*flT1:D=S&6ůe,p$òՏ? EvxC"g}C!)! #{%FWVZ+Xde-T _LARPsBFv&i!ѧrE TTO Lpg߉@O<v"~!'~31u&) yNB}dbGMU/:ې??9bHgMr2BO؛kp&68-Ί#G~oi3TnTHԏ#Z-VoH@U.aa}p.QNJPmNn@ڮ5UCQe Peӑ;%8;_' ;qTWJiRb 1~8}HV-\m$ S؛9`?-Rfa9$a^-i8,tUe>> ݼu ;-ݯW/q_A࿤EtAyD ``+ #m* d}a{TRv tbOr7ԎSe#]_b37W 7DϬeywc0Cn)p||m-a9t"*`OIDyLT:wjYZ ~4a<-u?NVT p"V1y7v##5~5ȵ,F.v~ƾ{DR y >ӤzOmT2vrWZW 򤓴O[^Y1y(lQp\ F#X,^jv|쬑"@gxv>~Xn[_܂Uyfݖ'={KN޻;"v~y8k=$7Ue B-3m гu^[)0蜁MSNԑFICPu]@ 8:dЭƳVŇ3*BL7oC൅nw"wؑ. 8C˞AvAi($xVwb//AA06*b2lKyzKs]QPUJiLa/m5yW$It~˻kg@'IjqxؐpŐ9sbxiC2s6 [~ 8uԋ!FHAwZ!.5  FnXH-/#APƶL,)g%WiVsNAf攃 ? BH++˳R\^q%uRuX/XS}BUO1*p_u{u5tӌ$!E^|+rhqu>ʉ,SZTJkEO.š=R?.!m`4 9:g.GcLP6 Iw;(_uTr v?'5byU[O:33/K=I>:zw2=TsFDo?_wh7[+u%3€G1euZxbvJA-]a ƚ"Dd *NaX Ye>rGx&v )Yңt`MOϧ2ridiT{t?]B:HV%2?.2;C]p>_eLYTpSIUq_K'N,lG^Cc~+rUVsLɴ.7G;.R S:M\Q[&3V>{l^gap-VBwfٳ:l@ɀp՝\x/˓>tHC2='xͶr#[qLʹO#/Oֺ pŇFLhj5c>؅9$=i ne Ac$$Vdx~@21zgt+Yz}V@}<|C/,Ә82YXbpf2Y݉4gSH@F:^^nd~X/\FNGS|ǵz4 :Lh<;8Ń)z-Ly;;RK# l.GOaQ-K`x\2ʡt< ɾe@в,{n|9^SFJt@5@:<}lPoöZLwRjb+"^ &s$ SظeMi[3QCqz7=CmVr$wBKRF)/`]n<O-kƼ^կi>$HP(Ls\̤Yu{CBkNB{QmGh6N߱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, ~b0c" ",bwv7l [XveBk'xu3dϖ4J褊>Η1=qP^mDDy$vGϮG/k`d[Hs2)Tv^uof o_7q/I٠_z?c5-鵜x%a4 ;s "SdV_QSOQXڄѸ2:ѬˆEAF2?16@ &&!E[$;(7< hU'ZiLnW4x%`f73–Ħ33ccyb.=O# eD1&6* ҌqC:mRQun cG!9ʛt!IfZ2+2V;iTBm krrܣnw. vcб^l'|c;6;a~%)]2h,p76ʜ|(~s,痽ix sդP|ןk; R pEoKc~")|{0mt%Yu%D-?uf( ˯uf)vFy-c#b)@b Y%mvV20$AE1g䆩nQ\ܢ .10o+c~ C~g#\,1k< OR 'I@ $G+Q,c6q4L6ͩ=۰@G3感*X+P]Q2p4!LK_1F-P}ˀާ[=cfWpu70ꍖ x_ hY MOnp]2a"y]u%E7ɵr ˬ4wiJ gsBl#XsI΁QmOqy#J*F?&ժ.dlǿF^>-Keߧ&vCY<4)ѠCJ{GV][C⧘˙$^3sTP<ᙍ#2;QPskD=,a/Ccd@5w0ҹ;czUW !mK&Wdb~ekLds bWIUJU!eh$!ͻ5bU;FyK= @-^JgYZ N/?% ,Regex_EquivalenceRegex_Equivalence.Before2document.tex7zXZִF! N]A-MՋhvG"uIBm5CZ +&oȜ9.'󯌥kb@5ä1AuY؏oΝاB:!gr|c1WgRH0@dZ/4 +>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 IOtjV},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ˬ"z@|L#nDLc ,K)b mE<~:t4U6>|CY,;؞5ARHINQ#[ k]hܲmRLt8lTSwf-%#9e?C%U췝)iEf G/`͹PiZ:t\Mhehf:EK ;%a. ospʒ~1D |$I3_%>d9 Oa=\bg} @;Vaڍ~Sm%q,- 2lcߢQ<gv?=~RӹjXs=Vs"{F9_ ^N0NѢ/eC^) =uarCef[6XP\PUk Uo碑$NlncjlW1?%ĚfN*~sgY FݸŒf.UKky@?Ő]~u M׵ ( kFV.#*44ZĞÂefKnS}9i<N ?k'֐&hФd!9#AYLfQeyG%*ҕ%o6zlt$1߱d<ѹ1ڝ,Ms1SǬĿ$Dǡ{۝cb߇j6P iK# k+YT2Њy map4 î$٧Ck!$#J#>y/"+'$j'=֙c*+(TQ~*"9l#]V`8}8 CndZR.k.6Ɨ翌wʉ؁-5>YͪkK1AF&X)$J6'+'N}"MsdN?v~Qބ@݈zcm>@gғ@M>h Ԑm&$k$C@%)aD ͵) B˧> ~vPL:O$ (⑐ 0-/ĪW b _i'LI3Hsh[Ùz {N7QlNc@܏D.%_ .$sG< ?PqD`w`=I zZutXFQ>U #-޹U$#XReKUқmJpVl0ƴ?khIWh߉S'`4FRhֳ+ KQB ښҦt C-+ďĺ-Aβٻ[01`/lŠmӽQN)Q'Ñۏ}G=@Xbމ2?1,8Dm&kP+NސOg];{vsBs\{r AӜ 6Pc/#sR'P%N+ Sz2xGmd7o[ sxD'G_-O ڸ-]_ͭA2n#(pٔ%C {/NgvG85Tklb8Pc@Rz':iQ~3eo],'Vݝ[ùE0.eSqRɡ}#s ( _FG`N96 Z4&!Ř0jQzNɖu^?LVࣛU-J+ަN4m\ާ*& ZJj`dDbȫ)I+,_-o99f{h1,TTіh&C!BӔKs 6H `LZC&R&PkǨZra{A͢"B YTjf%xMi+o {j~D.xY|)fTZn*MR˃\) [t"4ea,]@--ACŅNfc5fqSXuWѨ8f]]"Kn*qbi7!DZԠ\tfp)?{4O Yx?pyi -v}t @vmexp\(${~'2R?^}BiRtN21\M cd-CxB42 IHod&[5[U}h'h)z+:裯|;>/>:匵'WTO4~l+ H=s 4+0R4kZv-;#i)y /s4Csۺ˼yoǭO6IH}$ޭ,E/T+F!UM&:ؽ=A0\'B D| fU.=ҭ_D6P`K,oeXaB} 9o|Wd]w?y8zNgo5}T+$0Ö U=s D,~xkH9tc#w^;jeNp%{IzEag0ɖ~Rۆ^Y;{Ւ4Z„|CB٧?Aػ̂jm@`ΙX:?q=]}rjjKd: 7;6=2W7fB !YñgYZ8'B#"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&6< Fw*̊ǽ%ؕ!,Tw!7 r5D*'6ҥR@e<<]x, F ʑ⾢[ܧ?wXzF+P \yX5xA;'2Bt~iWL~,z@ի g~NdkRڦ%2/mد+9OP` )~뚺:25P" E2WKY{pǼӄOP^rb`XTTjG[IE9/Ϸ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.ej#QT(zm;?}C3܂8{/5SCӋ5UMTMI&78ŐIFo,1FSTe4+| 0FV ֤t *DZme?bsWRVeF.f: ZŨlv=60у xBιdw9@~No-+]i̠Xr`SZ&jwْJX"mwR2yq bɷN;[2$+='I-םDbЁ7 UjBR~IuFj\pi;6Hlq4ƣ?VZfwfc>&jXNaG,CX _gfrUJX@(VZ:+ÒrM|E']P.d.su}{rU-]`ju;+5dIi$+2o_-Fz 18\IĐ%(Ls@S"DA6_c/VI kA9 ܾM,"8Ҁg #nI mrC BYIGJɢ k^ QnXq%[H>s>E AVArhx6P4]AuqaTlsTbr EOJ()=`j*ߒ[Km}WERb7iW#**gYZ l L\l /=% 4Regex_EquivalenceRegex_Equivalence.After2document.tex7zXZִF! ઐ]A-MՋhvG"uIBm5{HfV_U sJ; >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 0 /C% lRegex_EquivalenceRegex_Equivalence.Automatondocument.tex7zXZִF! 0]A-MՋhvG"uIBm5_20Itwǥ-1Dj#Zy7`ga4jtOX .m^3K3ɵ6聳o琇Α#^vTբn@S*w4KE-=F*C߲͠|]nM1}Hr竃sdL_ڐ 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$ P |%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&'#OKrOik(5#{ >c/ZORA09C:8Yh2FV0$wRwX2hÊU$ĢDKzחVO:kZ7Ǒ2w¿Fƪ޻;vIoEm<0 ,ECG!]/Yh^RfIa7E◫57ݧzց|E"a^'gYZ--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ٚ %*~|cمP /0"$@xzL"}F^>`7^"nlns/WKeNd%uaFl3tP"hރ|VW&{^" ]$J,mn]dWq-R9 ABy{thzf(-9Z&)XmK_mVW;It#G2j&3<3zA1v'z(vHRgw6ӌ jz z@5KNǓ6@DR D̃i)o$-+Ρ#wI,|1uHDӅ0Wۥ7`جΒ &tks"H꽛_Xkqń^) ZrVF9S#M jsH].-MdÐe;N0Q?&8gYZ hh /=% 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ޕP)O > Ԕ2ZcLVp樤<t?A#FgD^]e,[Qs>? 1VAA}HZrf;YFƟ\xvS020)c1]6Qt87 GUA-B||BVjJX ׃ ҇-M׹ BxQ|& 9V2ʄ4NU&\ӜiYMz/>SބՆ;ER@MFN0K^ڬ&͑!d}eӝwj]9xGGoaJ;J:LPM$s[5꼤Omd `4hA༞05yvSB |Α+g+7i }Fj$!GGVx[7rܵwesDK*Y{;FBH4MˆӯvFUBƖVB2$'t<npZXaHIfQNM6#`P}75P}7`q梃^[oTh01P8ol"HԊ8 ,tn <fAv?d܎WwJcew*L+ 1EgYZ PP- /=% 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ޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ /C% Regex_EquivalenceHOL-Library.Code_Target_Natdocument.tex7zXZִF! }]A-MՋhvG"uIBm5T6Y)AEŘmUٛו@Fw3m()ȡ֗=fHpb{?#o\=`ߞ aNMH9J` y^-1;y:qw֒&2 l}\++6OaRq7r*aJM yaTV-v/Jc`vߘ]lgw`ܔH뮆%#^m6qctՃx q r0B&)`;vj?+FxsY;4䂽{J >i@ÖڐY FyƩ}H86m{0B\t1uz 1)ghL8VTEq!!M,!Stca/(X @7k}F%+Ycm~Ї>!Jnt`pkIS͇iQSk00Vv]NJ>4W ߥ1T0;kшqXDT>6*W:.d$AjIi=3za(k;%"ݼX+._nئUG(oqOd&MI5UY}eHRξ@6' A ERa^.Iù!Ncw0.I̯{1B|-<<+L XAEB{O2{0xadС)POqT%YnhK@0VZ&-q}Y\5%I %!it:OJ\1edfi^1潉 e`vXDRLUr2^9^U3J;dk`nȁIr:3:v)iS_ m㱆Pƴzz'&ľ?'U2X2Z"GSMt;s2$b'Vuд-8{ Zxh췩ZP/śx z, fx985 48h%[$AkZ`]HT+1vlwŖ}Eٖi`G1nkw>sd~aBdz *f,=eGJ6˽P#8q3YLzrXαV 2[] $f]&"@Җ V#yuHYمj=8A.+ {ɽN+Mʫg6\jG-)ue$wl?WyB&:_˳YxGz5XՂ8.fcV8^s؃\fq!ekB?/ /='Lu= ɪc`C%Ϭ 15o1ˋw$WR54r܉EhN^.~V C]?c(c_*OIdr8QٙxOkVVe{NwKZ`k5:deM3ȃ*y~ )4] O!%r5caSd3,2"0GISwGt:\9LQn~[Ȝ, 'oggN!riCKy/r?T0w be-sՒ츹6{w2.TјN`+ΤV&3,RcKJWu Ё0-MU/HI0JgfqsL%tIT2c}#TχZ.8ॴ/qӔ[;A89(=sõ|+L7ob2 fҳIr3jlj l#9iQR{ #zO dS@[VM;?62 K8_1 /Mb&R`6xInX]+Lꅿg7_prk1uY[Yd C%Ny g?K[h}-LJkϩwof'aA *HBJO VZUlܹJ{sBg1ZE2t#ܮFXJDJ9XcZֲ(2ٌ7a3YEq2P,wz(w]+á|dt*?FZw-~o >^4KvJ-“ΠLCY)Uc_`x(6D93R7Nb HM pѕ6vQ#SN±]dj:4(S4 ׵1!IT3Mq8|]}c1o/Yش  l,#ʘɜ0HJdk/r m:4Ԗ38TX){5 {-XsުP:Pn,I",)]^&, stf UU њ`;߭$W'r7Mл1 _ BvOٻbxP^0S3XΒ'.{ѽ(G(X  QVyu{E3#2$mJI }- Z#ˑ80;3L^14,[WR=_W zv 9 # 86=G>C4 i.쀅E,}õg/led9}D ?~B-%K-Y8k@zIAoktţwgoІ/@r8sXrw$zBFl^4m +|?Rv|EdձgYZ 3h/S% LRegex_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\4I !Δe iQ?qr$X`ݔWFIwo@-~e;$'=1ME~-i'qNPN۫&B5Ӳv{IgYZJ/G% Regex_EquivalenceHOL-Library.Code_Abstract_Natdocument.tex7zXZִF! 6 E]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 ylnbpRBOųxU;P>Mj(NdX̶RDصU E,Y~U8 RqgMAbCEm6[Z6S\!ݹnU&cҭ<#7eOA;CngPYhp6Re݇]tyK^4Yt޻ OFڪ켴l%+>QPy.`G<b[7?Dv J Dbʚ`物p ,*s{7|`yIqQ9R mQ^I4lZ`m0j3=?%ٯؼq: ߝBewHM݌v[}WSy5-"Z X>(CioKwmp&awq4EX&i"?Znz fMJ`&Q[ڎd(5(&lv>dQh$r*|Gӱq\H^rXJh|R%!IҲ_x].O6ƾ63Gt&,z[s@₹<@SA誄+0h^۬|F6 ig]o߄X`8 ٗϠ`1[υq?q|jl4ˀB#Tk>%6W:Op߰K"vQ= .ӡgoPԿ. ~i,UvNk"*%VHjm:58_iw!=7vp(7y&Xx*rEhKB,{~<_@"AcFDUKhT$rfLpOY/ţP4dX kq6mV1F–`/4g:p:"Y% XJ xkj dYhvV h*MkIAn MEA _OΩ±h u>ҋ@h kqP Ɨ>lr`nRLfmզM@q,k)KvnJGf g(`mʡ8_yJT$5;^3N?%̦:> ֨fF0>ZxmcgYZ  4 4I/=% $Regex_EquivalenceRegular-Sets.NDerivativedocument.tex7zXZִF! 6 I]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;#<0H:}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 >(`Х ' 棆n a/)oՄ xLdq,].yes۝H$/'/j9šAGymē(G=濝M8 Y!c tXWd?$6 @Rf -.!WBU:okQy4.gp2xEYs]px*O7r{'^:xfcUe3@o_6`e%Z]Ѻb\ąc d*JY^ýa4SR 0Qi`W$Ɏa#DX_ ёm<ѕgO$Jw:63Џ)rH3 BrC W9`TɄAo|5`/ݙhX̩{Ke+Uo\jK-3' I.hm{ه<.R#^(:Nۅ5h|ԮRcRq+TDNEH2oCw?#դ`#?H瀡orL2qtXSO*ML/j=NL d/sPݷKeZ,܇ؽ*r/ag-v-9GNG ȁ[P2 փDwQ᭛\K %ZYgZ]sPZ};;h^cuuևwKAK9 ȋt+9"vW;}y)On1i.B+s8qRrF>UQ)FWȠso jF-1ʳ+wdsb-5^ب-$T@&r* mPa@`U[/TF/-V3"*cU\ڟr`(%Ը#;cL^K@ ; `g&(^) {:ڛ_ྷuwHA05pؗ,w씔$xI263Ѕ[ Rtҡ=BF-iGz g(b)}f6ӭMڡςa&e+:XE tDJ^wAH5d\h4>Ǐ87%w vj5@;T o*ICq>$4.}>Td:Ѓ)˄ej5 M>w!r_x%ɥ}t~'-GHd'*0h`Ɗ7h]Bblkd؎<.31"ea8Jrf;.96FV5ff9x=1(?9atF".Id6 B; sڻn"rHF}Nn),;,B4okC6P=>`4m*olks}H!.?'T1ʙZBg#M\H<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,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181u" kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3# $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5P$sExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl % qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !&45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0j'fuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)i(k6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }o);=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!*u#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.+AD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=92T 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~. rVx 7m9-{GsS( Pm,eM6RŚ#d).Ua ϝnԶw[PZl.ۺ9գDm/`ɪZn7p&/7=GS+W^2hN %EٜiVv /&-vn2V :! nիn뭜If<̿SI\g>9_*Ç!,8UVLxK[jN2%}3^/<'>)+꿆r[pvA l@B4)O3 'md50JX"ՇH唇As9\|F[CO {BNR7oXNnE흯PJi̍9U\ ٰ}*;TxޘSw34p!ssvB~kz 6¨yϔm"@ N) HcLl_Z(P MSfx:SF1 6LFhm! qj%U/L";?Z"dl,`sm# `(h$[遱gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]ŶA-Z%O])C CM,KaBĆ*o]VQSe$׬f+t!Ow#5 q}f )Ӏ.W,i\jڌ K587 Pf6/Lq֠ BJ?ȑ,!k2)Xy.X[|{ ËeE#b<ϞY?t}΍6AAH8j9]lv"' :^} (Cq1=%@#.a /̤|bAP^AR"wMA'&)8Jd|R  zjgYZ7zXZִF! <0]ŗXi%D3vGQxc׍Q+L.eb >gqS϶#Z̫p /U,|S^!F3q=Hc?P0Nlf‘5D}ʓ b1J~+@FjUZ{Kl+;%KvƵi{ooWR!SN[T7vK% 1h>cEװ;{ClVe'%M {LAсoFHVbޝ֫$Tr˻,`Hy< Ò:=Aih#VqG,&=^z+*@& J:׹^~ {\M'mS)z%X\ F4,PZ Pj݁UoE P.'ßU x *w6(AzjpII*vѠ8*z["{RZL D5l pm'+%6g*\s7GFn )^UE&$!v~],tȦLS Ӎ:4 T=ձ[1E0@WYK֓cLV2W^["BX'+T$ן^|{mb*(-\eGo8 aUܳ5& oe(6s]@M}`fG}v11&.&˪{1?hDJjXt *I62TՁaϊ7+;&(&IYʯtgSROASDL[:j>UvOv;"ѰhJݒG7Ra]+)'8rm{sF_q{ƹ\ԂsAB*z#\1vޥ%IH=p¯@|"\fzڃ~}$^*'S{B7$&}+&o;H?ijt nj%Fн"a)jz3?bHhOS=w j턇0*䘅V" 8j!ò=e}C7s.Ȗ4킸[cB>Ɋ$P RXGH@bP Eoּx`K ٦D.r=އ0c2l;j ]Bn+&T+%Q:ggpZ=ڄ?;b̥ tƫ/SXR]@C~"}2ՎکJʿ=UG8!&It?-oE|ƪ ':`yWauo= cnUKhR9GSIeeV Cϙj_!.@&Zf-}ңZ-/lps%z ;6PF5-cj>oNK'q D}M-p/D*׍sUϭ=8T`ψ\XN'і(i![m%k-z¼*IUfv;%+xcҙk䭈\gEDpvbҰutu';O/R4~6c8BG2`w{8}~qi*֥Ďt'ӱ*Udm `_'O/ŷgWk&#0bVxt7SbͶ`[y60@<ٙ&{+Wc4hh(!%+᎓#/9k$E) {2'X,^K;>ʅ-YcR(t,{jMA0, ޿g$1V.ic?=%dkU@ Cb$:͈0a b ?QL30#k J!hzϮu6}i1NΓ"}GnK);D?ȑSZ%m SؼLDr-rY4Z~슱@nYܧ_G|/;䌘jy+Z<6`Dage]LRKg"K]?إ-ETDJ :q"ք!㨍h8᪑g+9,Ti&]x_ z8?iZ!C1a@3ZBőW>:xlK3І2Q33){a &2rfSc64QRhrVr5?EV/Qp :AZB&q9d+ShH;)}e ^3U W1i.^.aCh&c 0׫LK>}b9qrsc0Z<_ݫMf!*R!$a(a:ٵ Caշ'"Q4 lWp6lO;!.%[[44a-w9JҮ̊g?YrUzB|s&SSD$X`y TŁG߳ W:i!wς'L֫'=w,3cZAm8&̽m/2+KO3I"ԤK04* v'JU TS#*dFBsY\5.G4ܩqq ެa( S-m+\啫 ˡr:ɑW0nUϙK07ƮEJP|G*Ýys sV4gsfM˽՜v bI ~U>O1O+gpg#ߏ`Ƞ}BSXSB *ˡ'f?f"`y6yJi8'Y Pv{<ݭw1 {M"-/?yY~Om E.(ɡi\Gn@O3\Εg8o?_YIN~)'{_&HvG*D7羗/9(B097 ϡ134F:%jvܷ_61O0or_zB@ PM : y93Ll9lDHʱ~㽎Qb!BtB  А/|8= ϬϊWNK8]wp9{k`(ܖ)RҪm)T.Pq9t QЬ6Hl(¿-0DcI(7)A27 I۟jjn8:Ov5m *G9ˆT^n94wQXO;hwЭn~8SeiqBR ]oAa/?e@0aed^b8ٿ&~Śl2ursIxgW| S`t) )8}cZN",#B_"wi%ChU@Ŭsp6O=O"d}׸m񢸃uͭp+?jPUu Df[S#i43%ޑ4tʱRIm~ſT[s)1 Y\GMd V#u%ﶔan!m"U7nsF:ta2g.$75g,0f/ὔ Ö/tf 1+VHz#v=G~ĭ޽G@ ou_\efΦXm' vY֯Z,]1q2Q_Qhʳ!grK4a'o"܄Ie8.?YQL!"Cp}m d?t1?GFq~BQ!C&_EYL+>䐸*yJ;fEJXҍv1Eu$뱍Fĭ j!(sLlث;k~4 ၍긢8} vj]5Lzw7AiKw>/ n ;DڕtMy54u$icz⎚ Pm;S9،K݆Ǥ-0*e^P}2[PK84,-bƠ8='Y|*C jU\j[! H