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  c=rdL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.118cpu=31.976gc=1.5407zXZִF! y]ŗXiɟH)0%o^}rL"-W$zVMo_zlFW^;f${sjک2tsw" 15r`a ~n[^ 1w&f HwXhx? h`gOvOKՒUgKvOQoMU2Ѱ/ঐ{ƓIhOM8!ĀE6l}G|_dwV`G>pòAzEAijnYtIMvL6evRocf̰t,.6CFz0U\,oL[Hc: ^Fg|iM+Z21:ȹƇ^Y^;V:2eUD̳ '~v]ÝxYxd9hxCq+K~$|>Ełĭ!BZ?!%h ?/u<>d@gFaY2~U 3S~"҇ӵ~V|][đw'^ = HOL-Nonstandard_Analysis  8ѳkIrqo š]4BӍj0lz3Mfhfq_ \ٟ5Bhl_UV u/1! n$-82}#ɗҨ&6_s^}#~!_wvr.8#M aZ|qym^+lyɀ΂5LRLWުR3 є# UyJV /}Mx x\pᄺuua?9G޷Onpٱď Q%lrs'lhԴ N3Nkuld^(CW"E2=+&ɣ=tYQ+/h.VGO˪KnC|F5n54M]{T/Ʋ$܀G$4 Flzm><@¨RM Ģ]X;lzTJB'(H*]:})tk,AIp~1c~CNl6Q`blj+'{3;okM^"?s#xp }5\?H?<>!pƕE8YLc˩ $zqU>^2I e' kw#8!yt 0.Qy .u"Ͼ/T䇗nٟo18s.H#* 4-]Bёw|.ѿT qQ+ޅWƉ#YTN?w'kaͤ+Flۃ̛K;) 0jzA'ct`NՇ}E5Vzx-dA?/v5%׀ uL[Ey;1$յfV–ZaJge3\8>gV^i P $ߤ7DpO*%pэGi#t? ₮n9l6z4%`)ݠ j~UW\{IBv 39h}K[|%p!bO^fa'7D.ڳ5QGM1u4.c/hGsHdSa$輱}'s':U8AAsxλYN[~I]$vX/Pωd됛9QP F`'6ߩXqYi՘ `P쟀{YBNjQ4SK!ǁQVS=nTX_ R}-O yU~60r /NڵD "0܇#nBZ]]QQYQՁ aQ{iݽV&PSI`>ో)H H>D돯aKm,5 q6jB(z 1**?UD!Xhd u# 8RU,~ `𸚲6ʅO-KtOq.ANEY{vd8+{Ao d U mBP@AA)ms)@.ڧV H ,:; W P% bT0b-, ]j{.)/<ZCb\#wQ4L]3Um=`1kE|%zm1y#(Za'&7Oj=rX<ƈX9<"ZSWkŪXy+.kϓ.,!}G|Ң!SuOMn6Oaz}Byگn9DžRK_$Eӄ6|bX/nŐ`#DN[` Eߎ-ji@4z([’@$G㡢Qd`^tR:8Gx%ٞ*&kL۾_t)j vр(1kti2MsHMm"0q8&\ҰI~ä,ۗ9Mw& (iILF3ļ2g2n8)I, ޳8M, u01K{$ቤU׫]gfZi@RdV4 RX$]DGx<}g mh\I9.+U2NQ|{ lZKfuHmTb̠YG}2<]b_V-{*`Uf{Q&R"42҆^?e j,isH4<`7YsMAEI% e$E^(o MIN,5iABD'Q.jsR/6}W`$5*|_Z]JX,KxC,v!g'4!՛j QXp`Bغ">9 vaW;(aw34$~<cQH 6u T'{`N8= oNK,X'p]YT|q~4L)`f7#7|9\k+AId+Ѓ2)9`fl?Eq˿ԫM{?ljInuU.~`ZT Fy=j3v_pO_R{N+No(j6ahdmځbV$a,X&sx?-5GI?Cef{W͖ӄdA/0@p/փJ,tDL8kȍã޵ٕ658pD8S?޴GoI'~&40@ZCpC>)$kŰOtړD$[߁]AÞ}qΐKb t̼MnCG:nL@c t㲬+`U!s/3Y!քO[Ppeq^ Ug|ʽJMN=LQlבy|d,7Ǿf0=dTndc[J8pY%|~&Cf2ڀ&Rļ$>\&2X!SL*\Pզrbm(V>1Exp{yofH?+\[*Č×\UOM:4K*o+vYǢ/!VH]4LɹWY(]| .P΂fpgh+SUf; 6QQZCwVL.}!!e2@rw+t/Rջug uO؆rȱa`,n{ՃPooRy"qsIɤ*|O\TJ[CUfh>L/SxMxʀpSb 1ppAQ0Cl ds;YN.{7zLeH2y9u%>H\gD;x%#,ڟ %M)w(mnt#7W4NZp|sT]j"3rc%`Nz?&>]PW#JdF; >G.7I109pR pqavS$.,)EA|͊kn-͈; cK /ryh?O{"[jpi@Т Z5y}n04I[_uWUFpOe`s lCڳ {~ BXFh?95/~ATTV3ӽ^tc* /b|"ο~&VЌanc3Gw4*uq` ֺJΈL]Czd~5KIC*wev.ڭ wO*Q8*YAϛuUbǒP0 %cmo,?w("UZzm>b#ۋ%]+آ,KzsRȵ㾭2>mW<#c噴ZHp1|4T//7(p︹׷бlMt]kGj\+7JZcnW`kL*:7, +"`~I`紜6ݾV+eEU5ΒcgBï}Y豧߼tKSXHБ{%R´  4d,S4kQ>Es8'(Q(9PU'qCu X3QtIM:њ5b (tl_wxB7\gAoAC$$=`2{ʺ*5Lr¡ zq騭to:E!Nݟj>bV)E]dP\>NxN;i cǡJ[^K~|pM1]@p3L-i }ˬ M([y4%lju,1ǝ[bmޥGX!?l`gc%AVknUT'hOKE^`W]S*\CtMBKvԆf~ReŧPm!pŖ3cjT`8 3s/jcv1 .93?]djsF!P6H\}f^IYV &rfs(sbUf _@%@c|W.1F82Iik6ZxEk} VБaJ4|5S"N\pf#15*#qKqm,1oTYm^7F'Q`9]JE؋Ū| 1MD E!ChAĈc)&0۵ pȺǷa?pS^ny\= >ƈ;`M ~ٮ -`Ī+0x9]-Hw2l\3ܴrV.$ t;"z|}IV`ZPlt6y"0z+-נt" ܠ4,|GdSI!,p rMUy;RyL3R=IN~͉ m+/S㻯6cRzpu hf-)~'aVXBN;CN͢25 j‰vߌE]F;!<8 νvU"P;Os?J٨1VcKxrO"J`LO/D.6qݗ8&l}!bFvJTkUIpOVp~E/|1( 撻.@a!w]#>_ {AWS"/^V@i0CD#㌖ߒl W4WU]MF$&,3F>;|ZR\&,x)&XufYK-HK+y$e:1(.r7ǹHdAPv76*+7lk+;8 պ~x[ PTyR}Fߎ2JulC2 SwBt A"6s Z]3=tYR,,ͻtkc)znx|TlKQ Ojbz8) -Cuǀ D(VZ]c;!Ŋza~wPDH,hk DBi\lǷpuFsv`-/*ԧa Enn/FqG )-6j+Nf&wDpQ#sJ3Ci7H?ƴ>//{PLi_lh&zF o$)b=[L(8m:o=Uk ؑ˜?Dh@fh},rȋ;B#Q\)nd?tjm [)gU{zVV@- o >9} rRqgkA0{' C]Jœ :^9q;D 4S"τRG[q Ue?\5UtH<#L<_N#%V:f4JFYz_C6ۻmVCY^Qu4Q";eVЌ5o%RLm`+Cөw!uw!k* >򸹔Y%%v[; ܦ9s;.*7 \~W\N=χj_0zNd)DQ4O/aG&?Jf#okS㒯cP $< fa}sB\Gg7b}\蘉+ N<˺Z}I{Z&t>j `2ɃV=ѱaaqIW6Cbi1Fw20@hJS42Q#{0M(-YZ8ml]ZlD$![]'T;T}+g߳-/x^ϔ+dc]EE )pRs6mQ41bG'mڷk'Mn54 Bվ V2@]GE\!~_j[m_|O)8ҽ SqF[Nʑ~j"ALLBt VFyX#}o# tIy9d~2l0r̡$U2kUy z^O4r% #yc: `7&S8BQgO R~kҍ9z8dLW=[ieh s(JA"YvU=|p`fĭZ7 *oXқ\"L̶.Փj5*&ʶ_dn'A31cPK9J*ZCبO& ){ꗈXŻ퐑{zر#{jB "*ϗyr5xCkd3JJ`=K<)n-y (SdX7'=lڂ0Nq8on0ǗDe@:1򜳎xL~Pkrr‡n*Beh7G :$aؔptJRp)VFzd$aV^, XrG 5TsI.6/ c6J J:F$PAWA wнf(W t_FBǒ=[ͦw=Ne%L~oEo g*Up1PE _d__RhKU%w>6!eD%n{l#"?`=O(0㶝"(P=#~,ЖIMN΂˂H>]g ཮Z+" *_+΁2R,Bę*}:h"4=1NHU@ۅ&N-H>@덭ZeJ +Ű E[1Vn(`!eeT,$)X3\xн,0Hp\ҋ" ʉ!hm W;Vh&4i{Z¯B:hxEUjGv Px%^xWqzynxk ,2io^zxұP lHԽѼ ,d4`ǻgb|nm'Hmpty',nk_?QuM{}.F=d {cC5NVye3:g-V0u}Re*n')w蛨}O=o$=" 2#x?s+a|6ً93QG`oZ˽Yܫ)B^qK\+2 t?8%-+2,W*nqUqXNWhxj F±d)K٘Jo}NU:i}-fh(V;SԵ%ٝ%gq6Adx\YCNԐ:dKXRwݬ6^s6|/9kx%'}8?9&Aas.x3uhAta'$Am"Vo ޮ݃FauTHst}3nvjJ@U(A[w[rH=5b\Ř,H=I~Tò5_⥱]{-##'ñ̠v}W['}t ap1  ~nٙE1`7II[`V@sW~~h1Yds)8L "sg?q߂y0.B 'CB]G)/,q 'O'[8g.:0u\@P9'm 8-63yɭ DA{PtLťZe O z: sTC<\g9MabrQM RP 7"8e7PjÏF2T^ch{רxμDR!Na=Bb˾sL">T hQtvE[;R:tpvgq1RDX65w."ɖލ* 0 x|F-(Ĉz#Ur@.tPc1飊YHS`<A*0h>x wL2LK0px3swX,G:>aX, hu?tR$SM%` ^xCb[I=)ܹ Iř2 mwGXiyM0}|iWR0& 8DUb0I,fJd]Ev=g]J&'Qz.N`qt 9n ctV>U$@% uq)4Tlͨ=4ܕ?% Q|hmןJWu!*%£GQW p1mry-},=R+W]R2M.bwOjρѩ3v,?e VUa=t83"dR*vM 4p5'=XA1.6ύkP((^ D"hnpP288SqB q#MO:X༥eBz<9~+~x~9Cx;s8$hnΨs~D}8P[jNdtduk)F{ \X |\ C`eus鯁{nX>O×|9SC>7sڶH? [|ȗ~nψ"ymۯbhjRFf̸%a$Id }=+Q,Oqjb+j((t1up'hשqA|^&8 )T9=gfLY.ڥ 1~3}^9p*+GaU.sV,h>,^;?YxUDj|X;ŀY U{QpYIi#(}}(b݉,̙kbv3jV9&%#¯ uŠ(N`a1I"tuS 3QZa]GC]]&l~S'SbhG@uh5W v#, [S0W 26 /Wu:H.$ZL91DAdEX |WWuk%_?w]JKCeAD)H!31Gvqpf s5nD'c>Pg*B.)kT֝tMOW.;bNabnM/ZOWڤve ~O{sNQ}x⌚W'Is ۍeZaޣonp?,-J뭲T @A@ze,`PБTuSwҊθ&FB\OW^|;a9:U?8"x ̙ΰ\{9ы|ڽ4 :}-7>bOQ|7v':|>@e0v*KB-c^-IKRֈoK?[;z̤|HW^IhKpŗ zmN)aPj0O5 \Y0R3}v?d0BG| >RS&*턤ESzGǥyAw<|Q%?uDIެ].9}&b(&׾7"7IpcQ% K%#jo >[0=)F4MnUo*'?PZu2iR΅\7 -4:WIvO;J fY:5n,F~4S۴ ZʆEG_3I^~DZaL,PW!fG_GZ]:$ LG%avo<>%0mC`u8KY#x&wRjbk:J"Х4ڹ~oPG\%:, `cyo7@#,t͙5.kճf"Mы D \K#mʃ mN(X67BM+6 Im|,%ԉǻF*qQRwrãoOaAe7vkjvd6zpRG;;1 }z-^5˔OK[K[ǶGٛF@9ؐ =c4۽'ǹ;'fWBiwc܊N=gvxĦ>xKS%5FE!(PI+T *n?w`wR_3+OHȫL`[vcȭnϖ7䑬XzTxAU=ɺ(V,X.BzE>jax "C9';mM"H3GieWقn0Z(TV Z1'yжd]9ly,'b)vii b>n3ALý{1 íM-:o &BBzgƱ7 Z-\Bz'j5έhCEQDxgf"hj*h0!KrNyhM KZU:1ϨO(i[4K>~O8{)ُҦTPٱg :55 r^ p)O0=2Hg:1tj_ T8?4Uh`/bQOԶی&;]>w*=8S"EuP䀑T if1o~4-!1b!sG ֥`gXaU>lDp8Ñ#D?, uF- >vgwGLC.ӂIXLJo"eCнo@.M03J-v$+7 "e+Eĺi~?7-../m {̣${;`wfKpT$ ,߱ե]*CB-28+g -X@;?F/ H"OA8ky" +l^apCHkULn^)@0VrD=QH$/~@șGB,a}R'.,$)f]5!b"W8rHm>64 "s\`v]l" q>b:Ћ:t}\ab:S)o$XYa&ЁMp-Y0 N]mL@mbfC9يVDN>8țx QNd@`a.=g%̔XmgLG_d+$Ҍ;BKl/R1n|Ýe G E7 0C_*/N!$-|9T ۂ!؆CB kn3"Wb9jp뮍6='t4bF*_Qhg1`;XtKPn@u01|nPzKϰDÔ~T.i^fV[x&M#Y gKJw&^;]D&|b#ОHAp<c w C 7=be'K3B@&*i*vQo;,RXw5˚:%) "U 6 @Xpul%`iR4-v|I5 FLBB8)r6]#8'T\6KOA6VI)?UޅQJku(ȦLmN9ud$Ep;9|5 \~ BŒX#F҈JdS<1hSY++qE@hC#jVc8-j.9dS1vz'[!-C ^.osO"gJP `UꑡPbԈk`G뛒a+LL # e̔;~>CSdZLPYn`}$dN?)8M_'V3V2pZ;** ӎ>YZh5ZwrT>3,ya q 520@Kiæx F@ VF.|:\,YfJxo,Հ(hW7?7tun`TB+|h U L: J`ƋW1(ŹX0I]M\__ 4Ug6_+ȷsOP'nw˧=me)d~ 2#6t?@R͹1"TbB>a.*]Y_@:rY-̉k,q*nc| _i&jLBB-G5Lӥ?O_i .l/[%ICZK=T@M ;R›[%2+z :֮%ƹp*9TK_4bq#UKZd\TOK"“Yik%9mwZz̥EỔ}HӫH1Y5IW-rs8Eܦ='T9 <''@?i#}n?X8߁_BTyهBV#_l=ЄԓE( Eqq=Dc,4*K}SrlqHaQD!-ˆYq仒'; p&Xw `&FGNLBoi%|=@5 ;u32+awӯIc^Y^ G~rT  }cbśG> X7ue.c[vT USe< Iʩ̃,n3>grkv4Cǯ;~8@OΜ0-؋LVhs9# v#50yJ3|J(CCJo˲.É9;*BYq}CrۂZ&HeWBz!hx U&F*g.?Â!8D)hRIQ:Biv9;HChUHmZV}_ud(YF$x)rq*Oiť$ f9Ѝ_PDb_'+3*R3 pPD1 7{UeJF/ x%k<XMq$ŪU;9@QP0^^^`ʓf1r >~bܒuaraQwޢF"Ũ8<56(6q@Ur-YK /L* X5EIԵƶ+aej k<Ds/҂ Hbh#([v.ZFUX8W'Ìދ-nm= JH࠯ܬ];?B{d5'^6 d"SjprHi?Bqꋎ(0B;sh(ˇhRosݶAS+jpʈhP!xx#M[hJ`MPiSgx0gv%^1aM: M |7.P;2" z>],%1gpX{r_c b 1-=gۤcUtKozY}S]3&6B/Kko4)KЖga9L!BMM6~ܖ'&7,!>cCԌ cE2"S;Ԙ#pK| lzZ +M^;G-N=L].ǩܙ `ay„k>]3l[KĄ&t9{ɖ)Zug]MWYង(1(?ѐ5Q@F!."њxsAcK0xC'p&;EeL*ē>lɎR 67Peq+z}6 3 u?Z~XUGneFyf(;@&6wxH _>LheF+>d:= `tG1ӐfC4Vt(M RL[MCzaY;m)q%줠Wa&k@3m&۱ O]ZН#p[x+g騄u`EZz.V$9E1($UTxum\j s]X05ELNGE{khȽ/*+Ƭ'6`, bB"I;&EP/84V<`#GIKwC!4 ӝ413ZS$5nȶ\1cG4mO;'O:?%0:"#+۪>V?J=ExJjw$ =$TU Zq{h(e,ȕ.^q*'O5@QWKDBlQș؟{~:w3pӌC%O2,d~ZzAk'^%(c.[B~lb1KVM hW<& Cv|ہhv,INv\7KQM!f<êMzbÞzh6\cE$G?5wGƜXFNw3㸢4t̤qc*g u]  )gc1#nC1Ybe-J1s4QO[V930wMH48N'nz2h u% J JSK_!!nϘYz_l-Z=;o*s2p0 `}gx/njpQ3fKw'%/ݶձxҪRX6R>KV1鷑߳%qWOQyǣ52-0&j%Ct\h xU WgumK4&T]fP̤T   3de)o =uQhڛ-CJOY? j ;c+|d7ZjߊeiL pFh vKr-4/1^4c:B<P\:-*rgYP4@?o N ũll^6\u Űy^{V [8U0|`4XF%XUCި ׵ @:znIݮ'NQwPQ2`< 쏏.D*㠑n"nMjPè%z 8$iG"t w$`]? }+fF;Mâ3*ag rpUMՃ!2$!(zGIbM7Q`[՞{3F|Z;!f1$FeEKh5L:`LؕA dH{䲪1-=@&CFGGIYU=0YJE)! e]#x8%-;܎ gX|eT=V9QXݪQdeyhXFW`X9 .dB{Czb;WCofC+IjXDIpmS+oMtL#܄+" AX!jUXx gr%T.5*swγH^%m*- {3y M3FϘ2gv"`u|bSJ9%)x3~ aYeǗR}Xn9AH]1jUl0V,$Hͼ+ '4 X?]>aT{=VT )@"p(~Nɬ0/m2g-(rCh\"]!+Z4#,_.J=+>#{b=>XOOv,YҸckV$xkn \w1K< xؚ⹫,(ED 3͟sPZG-_1jY=<o\M;^jjܣ0gD[TZ!*W~vgX?8Pe-ިH/&[vAPv #=22," N g@XVqVڠ*1@B{\0YcCMq~Qp 3yQ cWm6~S_Fi opݒҒ*QE3?| (Wm&{ Eڵp܊ 3eû=խ䷫Euwuɢc3X9"i}!L|5P-p>%YBǨbʅXKƏ_kA[x'RSK('౜;'sct@*]@ Tx]E БJXTFNْ1gx !?ś R_-5LtD7:G6̼,Sd6DB$C%U1Ii>ИīwJtPfTe$M({ދ. }϶0zNϣJARٚuΤ#M5l:8Kn>`E0ѭw@Fl8M@TKK(a"sT'Ŀ<҃MuSxMiw1ď+Uu @r *52|bd[*I۾5[D'4N8H0] z{cGiź,QrAK8ɼLF':PƉ!Xv}i tIP)| U*]|Z~"޻wKP ҧB@y84re >}kz▢}ʮD1jїws&̻H!66[W;Vy=nZ6s=%ۑHcL\||5s !|ȭ{!)]iIFi> Ƞ;7,pKT=R5:-.D-JnBLn]; Ph а SVUL[Xzc}}Ibc_8:H"W=0ZʣׂcYp2~V1f,8p; <&Bi Bi%/HuHB>bQ^#$*iN/vмǚmja[3WzW44CQvĹϙ~l!􊥊҈HݻjzUm5Jsj;<!VR^a4E_2R`cnOAozHae(q˥ˉx[L" bb?@=Ŭ|yDCogru< 㣖Ƚ-U{;J͆6KN e$]>:p]ACt||}% Rd7U\DY4hT:wT-$tc,D}%|d|\Y͈'Z&TĺEU:ר}eϗ9J:_;!#u?Es*t8 ѲPh8RBWz1 ;[n_EbasnGM =\T~W1_) Xt Gh-Aa`6 as0Zw1;B[iiyyϱ. ('k7HX CG*[A]Dgn=5lAsHVDx+Z!qSnC_ B[#LpG{]xl4)8ǛI3=-]Oϐ1\9OKrcn* @ ߂у=E~s`6e62w_CG3ئa4reF>NC/ 2FuSǐvBFbSg'Vz%P~siE ;{M%8&|~P#cID(@rFS-o](!#z=ǩ= m l7<>R%?KՔ;"l',ƍMG̟FfgW"QCEȮ989apFK% cB㳝7y]^t?v'ȝ1& YD7aeRC21P?)yW-^E UD!Lp[G "Q>{Sr׊`PMR&WʛiT A^AQƐSm}6N}PE>ٻ#W (Iϴ>=4Wy׌l܇ok5Vsc [MU{ ƃB \I&Y'^֥ekb+b69il0oY[~UēKO+ţXHTzsT٥S5".|J}*ssaR!vp4SwJ?ɈlkWF5#i,HYaOȩ+s/Vύθ8pop,̙0Mwlq~JEf98`T?~|j|З=a+e| a:k}O}ìlV4 pWw 2R~(H}&T8;OGq#L$+c<>;zQÓͿ?Q͐tC9tEV44!ʌVⴆN"Ps(5YQyNP7OЬmZmM>b\kP@WwC "I2+GX^xHVHcünIb'_Ohq!Bj{xbmaU6Y И@:߰dO|Cڐ{V^8 7ϧFqvc௰917(٣Ъ=GB|QM b>sa`*z*;9FSPC郛.<ׁ2qGsCPb9u}WL^#o Ckcr""fO8V8zʄSyd=^C]}75S IS4b,i󢆲h}~%d >Y'Fܴ3ᕉ=M,t vh𮥔u+O߅~MA8DFgWJ0'4M]\\ߵ|w &}0fuN&9 RCb鍽ف1)Zd9"0ph c,Z^̉ȌuqHEϒڍJn/UgV¼c N->bvfN/X}R<*N5bpχ3|9QMzb-f$?B#d %mİj,Og󘠢8%/HkƎ>,fGIXck-ߝR&8]rAטdG8kcg։89@{̫k+RZ?~Rr-4xڦ4rG sĹմ}P |˫X܀}JOHvi;UD@οC (}5M`87ڼR͠s')//GQm|1h@p-Z4ibݱRSR;Z!)3trWy5ϐ]}A k}Տ7f :e7=3aPꕾQPfBrEݷ uaO afcF=6\'OCjD4:i1Bm!&y=aFyR8-L )Gq#G?J{ Yxn楹1+7pdiwOa=e.3dr~MW־F@&1D1 LPj%lp_ybx{ImĿ aŦQ.h$hbFzy^{Iޱe*:gMlvC _(HDKMֺXGDIy]d>lyI5z V ޳ "1?)rm9S:Sw]ҺāP~KD@{DO;e!_c<ס@5@lc@DEE"4w8nFJbyf"'hxb3 (95K^Y=x(`6ܬֻ7_ *$u5&:j@MJ9m:@|OCa:R[o S-ρ M'iO'& 1wc(/t)yu#D~K2eq4/:q&E]/2fXqUjB6[dm\>Ѣ#pY 4zQ~6@)z|EZ{ZWZ.YMHrU9KM4!smL2kkG"K K_sYa\YЕ~81/W{Tӿi`|^ ά=a19'嶙TSN.koC5*J_3dr觯ی }_7 b}i],2""2/J_KQǨ;lE*')gB:s ׬c,fϞ4oȺ^k n^&q`+qy4Gs$UE_L\}n mfc,Փ'ЏtF>"^Jqif(m6oMd3QiW`Loma/x$ Dmsk'r4f>Y m?TMx%: ݧCB1ʚB$qē|sHbu)\/v5梪ùj9ZI=3ąz?K2LR0'ÆY9Б{?{YĝWr@*>xtejV_?_FpqsYc=]=LXқw`CX36{= 0 !aG5[%Hj11 pWsa`? NCʤ"ٜyhy쾤H~4y$ '-shX7<MP)%!1`ѿp@i ɘnnƾquyڔvi`A?uvv8c8$G!$/3#ξܪ,k `نt25 SB4gGSa}Fipv+O.W}̪3T^vbES|Ka iф@"UC5|bKoq[,e?C!.R*@ 2l> o<0ܲI)`Ǵ% %V{"O[K /xgL@dGbE_.لRú)S-7tTUO`򙧏y<Hr8ŏ 燡h.)%N SNg${>KaT}ԄdYԩ Y d6VqNvÛJ;HTIӹ0X"q%maZ}ө}H*p`GWd;}҅4q=91oaZ"tn7̖>}9HRjOg{nie5vAWbi%Q;HLȢ`2W3qEx0 Ž!#q/D|,2:`=eݿ 1!eOcZllm 3"0# +ZTsJ;fz9iuZRh` @ 2s!ǜD : 䜠*/oXH u,^DY7GCܩn]}D+f>O;2֝/as7WE c*bjlY[[KM"1&eOKK̥u=E$rxF$Yo.%b\֑!)idQ cA@5B۠'[hk&Mt"/Y^˨r:PV>~HcF*[y+` LQdRͻ~NӴ*$zfF*kp2{dPmmY,Ě;-Q,۷,ā3U}1sD̄`ÙX./Jqa%eR>Z;_EuI~zA6&íTn&&mLo?.veKC i\YT-ʵt:pKIn|r*g'tST˞^3or ɠ r-gE!iJ(:֔RzTc1%NUolxI4 %LޢX3a/eT 54$~^ϕ/}#˕(e_Ѝrr-@6V8cÄ` =( !3# V{UDHf]|`kaC&BL AhZ;=*q`>3^!S[8u9]Bl慕0ZH\±CY‹"sg#{ӛx$ kbWT3>~ D3cEheSl֊' Zy@ 0[xٖ{L n,sIYGγN5y\Bإ{JiaRURwN:6YxdeUǣuڣ$ŶG+6G\- + Vk؅W(vKߵ1vv r^+K1;o1^_=:KGb:i%Sa_.aiVs=a]b{_pN|CMpz(c }ZP9,Qi|#^xB G˂$"@7,R`Ea,C#>%>f ׇ8wݻ~XrxO;!$>oܬp]|;smT(Qƒ G8Yr ގOdA 3_arҫQL@MO#O&4NbUW=&Zg1fcU NTFAWoE1}꒷q Ve17(݆ cGƛ4tc;- LjYAI; sXuQkᘆZHqwu]ep]I**ق0ZPaD=g͚S $S+Y mFo1q^륨n)vU[/|^\VPhd XRra3Jh+^REPUn$j[շDL^L5O 3PݗSq;̟Bso"ɅدXyٿYˍ)7 6]c =}^W@t$R֕ w/ r\tEU̵j9J*QB&:Tf+јcן 'rt^ VǿD] qQք^;ODsmui+`1\Ȧ-5 v4ݐ&AbNDYM Ғzb 9&G_e7Bz}_7*2JJ$w+$" I\p"krH <&a4Zi@%8/vDfODu 1raưzca ~+OO}9Yi|3 $%T_ wi[Һ],oB ԔW"gDHQ?\&f*(1e-_üyROґi5Zx$- Lx>E=7蔽.%"t{g-6<]wJX 9uccNe.yYзP:F %Z8mݾ 2RY05FЁS/1݁uy3IWvz=r}!0\3/xu֣qi{BY^VIF,-\ [k dDwZܾmXK;p$T=# 4pv]pgwu_ԣ7mĄLŢV: iBˀ1uw5{BO k1?y4ّX j(WC([qt(޵g}t ^S}hB׬D=8 迪Ǚ~XIBiJhCEvڀȃЛڡζ:Ԍ19~!%1A!Krf_+(2Mi]UIDj{14ѯx>MXh.FM |쩪oy^@GEA=902q60m*}6K}T+F^BO% 50P͈&` p:\s?MpΖs|WssP[%$(>q?4?D!zBҐNKg=+ .$V乛ݐȟY[Wzow](:b&?_$\b!L!¦n.SOy(FNdaB1 ykГWP@MFQ4/cf!1Uܻ#y1 @ PP'W09݌Q3ki٭p c>Wrn4~]E+ R(kWt\eٚUd-اbReXRnHYE$Z[ RѬ&Z>Ƿ*$͉]ЙPCWoa$ k^Pj[B#O-azdg}u _1_fC9wqTEU XIA;y ÕmbB7$* BԢ2ZphQ@ai!Vάz#* )P4=#\:Iƭ-a=W_s&!wcçLm͂_xp KC #VF;tX1FxdS4^|Q5= Q(K\L'nh/}vtݎ8DjC%J22[˶{4CŊ%d]d(3 U'cFɲ»o?4śp7`X>%SԸ2UBah 0A um㠎4= n˽`Fu4тI>8-TI;Z7'"E#[Kԗ_ovQnKкVwmc}09]Ȼ M=|DIWƁ C9C Յ#5')gɑѦ& mg뢆4,zHA/1淺>ĦaON+HƦtUbogutݼv08~v=SY@ ;K&ug q?jȋ?N{c,2t^@="LZlW\xJff:'+FMb*EVKcb V[gb!%qd ̫(匲Qk}zdHZ_xlS|#eRQrG1d:sXpN!y̷3q3; "bTj 1κCXIC4ϕ߷4lw^:B}s`̩ \R vNೇy$ I孡Y$ _TqKAC_ÓI񻭓(M^+ۙu輭3д0u!M "- !h_UL@;!3\o\w}Oj?#Z{ǣԇ.ymx##>#}Z::kj?̝C/Lx g;Gn! YHH\}DStqo;jhJ~$o/m|Br.мKq*p.[1qob?*՞$ +lJDX拟4q#2LoK|߽+#{<.W&A({Na=f ^Lt\hy 0fZ\ ]Hn  #RS {EC^BXk zwO5/KUQ|(NR;4~ _MJ$pߣo~ʈTp7Tdl)N(mY.ҏ㮀M#<&)B0s X'N`~#X4jdyt;^o4sMGԋթs0up 7 цeRg]0lrKeG413+#B2N6"I! F{HXz M} ` 4Sީ!懫֕ Xdwc!L1SHZaضD%t,%p:+&>)nudo6ntyG/ˠtT+1Vysr@'NoJ2tcsq~ ^_reުY/LJ'bU=)R0W^p=& 4d .]Q|{xtͫv٦KkQK[t/S|e1+UւwES6UMaPtcfٓz3/d_wӒgKEJF3 ~S~upWBF?ɑlq#pi7")Ǎіx.nP *yC.AdN@^T#b6fm-SU>c}^ah֞fl<@Tzm Lv|`=\6yFS-~v8nLb=vR9#'B b܁hhwUJZͼV M oT*T3h؟Ði :H_C P)x k:%髣kLo±B*‹L=O#I=^6DLhnCDCG~KQޛ0PK*s d=VFŵdb`ę\>FX[N"+H:B-_XD됴CJ_ZXl\llЊ'}s^uU 2)i ٩ƥZiLpx T4OxҪ q\@hw*B 7v+Z=}.ޭLFlf=.:Nu)QΌGK6˲9 FgTVu:}ceOC Sr  2>d+(2ez?<jBS+mUS%*z2l7ʭi-+ȏ;ʩAmIg7P~*c=&:/hR@_ 5< ƃZ+`X#d#cWdPus s 4E>blp@5D$3.%T-23 mp{^e0ɋ7tmM p̴%| 4( Z_'iw]S%:D`s`Qt d_P(rK.vrad-'VIP;lZX|2cNWZmy% j:!aP.z)V@lsWs)p̄f5L'G|>0 b9pš mugT?gŽoZkT1e`L&É_V͛4Իr}x{\ \72lKweڒ{ѨZՔwcB.mam4jUjkW!Ā m]HqS#a'8gNk[댠}c_MM] 0 TQ/1p1ܥmK!O@cs+/LΙ^U6E ;cIiVgnI\ l!ڰz#$K™?n u2ECoظ T# Mx8g5\o>s*ϨF(1C-:[>*Fߨb\#g7E dz2IBsZŘn{u5$,y֠8M {[(FK]WQH̆W%ᚐ hMRg12 Q1msof;#L5 u:f"a!i'x"dpwm' o(7O1)w'UAh+9h}'JŻ9Q͜:F*fG2_uŧwsOg0c:oƖ)l k*nT \)"m_ o:KhqNW t6#ee4F^9$'+V;$eCԛKud3ӪL@4f7#@m!\&of kaPU`#o]Z1r$]x{ܟA#a>kH%VCL^PE;TBZYhZnu4-{#: um^t " { ]U/t;xx/wcgu&5|% ţws5lXզ-+u!n0wN%m 2i^ {.fÙH_{?8nwMU7!"/t sPS$ w9Τ7Uu&`=09F-\f 3R@l.yœ:~XڹCڦ)[op*ޤf(,p4"59ALeP&v`AB+KVY&?gSԪ{Vp_jǽ]g{Xvp;ulwO׀Zv?é EJe`tA0 *hO,a*!C5j ցG\l8\vf!XV7A{vduaTRq2nj~ 85*V5< aY""%]RlhǹʯJz4w:`e[rcf4-m6x"芽37IJŌۄ$ >A%cOm1pb\ei䦻{"]C?.rÙFIݘ-WN2"h e 1%zƣ WV+IP'}cb  2R=wlv+X*Q:9۽s s~^T]q֘JY躦ϙɂ9 v7^hw='NA>dM{{#8D{'O({f5tU2` }zRΟ.f:v*/xm9~ϴ*7mV2x&V{5ޥ'8&x^vXo؎?g.#·'V"ĖHԡקdDQW7em6:4gh *j&ɯ"ӆZR=as! ;<̡Y'КZM RR𔑙fō6+K886lGELmWoȴu`d.LP 6<:*5A#R66x{!ǽT0Og3Waw,;g˟Qݯ9ob!۪[}w1x2%Doֳ赲*HJR!,6}H3u|B#PzOuӪ ZJ3)2~|.Y|Ks%N6? Sq֠-~aFeI5Zx8pvh<d:t"+4f勾jûk63 ùS{6'Oh;iı#]QoV³PA7t-C}!`$Hqux"rӟc1؋=:m#K#a,K_#Qz"[Ɠ΂gxċ!:tUozϿ 13fYpY巛ORrAeѷ[6pE/6|w֏8ƽ`[bQ"AR/.zb#0 OBs`05׉esS({݌ͥ+dɣ˩IPu9h3SMm~#$XXaojȾ_}9; KH&3&twý(ͮ 9 ?^ ӏ}ڴϔdjGaOw,L3-0yO-Wg,~~ۋa,0_ϑ.|as& "ܨTm̾~0*53:]{7d'cr]g3)$A: n!{x0O!w`W$CC)vp˞NV&Dp/q{K\\>pkN049z÷U*(n'HeL,8Tj5=#~Wx?{T߁,KD,sKfi;U!?ެAl/@yjp@G(s"S $5"jdvZF:z;_%/)9m=ҁ,{{(Bw͹S%(tͩݠ[-*E u_ ~Qu)~hd;Ub;U$^컀B/&pŖ0i+L$,Wr=cQ5)͟=×(԰,OQZK5CL@GT(0mb)~޳8־ԋ7'TktAzK4jor4|28^qu`baM!kM_>7Ls[Y ֖ :m;+pu9c'%c5?39R9";gcIZxrZQE9Tubπ@~(=M$R;*bh;2I0&W 4~mCPxN9%A,*AjCywBYc[NBq0 &@&/m{&_:x9o~jO[v1jA薞^_tYȼ82 iXB͗Ͳ}l43ܳ{ L,{.KcB2HnܶƱ|iw >\gg%4owG sNO0 ) j5L;?t3JS6Vmy71 LeMcls3y~9gG ' 2{[B?~L )V\_g t%̕.Gۮ %X[-ʅfrBq`?mO U° YJ Y(ë&t_5?<;TSޘQ$%x9e<ߌ] 0q~`;GٍK!ѥeJ X7qc02ُ@-ؿumfU7-8DVJeo;a}Aiw c]eXy# -—6k"gO֐dP<1 N9sc*LaS0nlE.t1~+GʰhYcjQ̝u8x;=G%^Wc̏jD͡C͓3HR{,hSuEs:lBv>#i`i}Xroz3*?㷘aʗ"Hy'YMLn'TIT]R! ܡƂ(j"!\dQn!b|\{[ԮE&'h$H36U/d?/ڠ_LBўhhDV$`5,Y^J@wZVJknFUa+R:hԍ޶!ԟ'4kצSUM?R w*0hxmq)[(a1h@OS:[t)a93[&f74s9*s9v7hȧ(IKOKⒹЍIǏ-; u&:a~#CckZx<@'^_)X7~ìzJZ8X<0JL$҉ 虬 H[ ;Ma0wz7WX'-&gɶ5|EP: J "ucm?.+ťB95hG,?7]$65\aj.dE3on8Ϧefۃ4v-!s (6㎀" Y;0ua/A3)ͦ EA9_ODF>s_2K .C@F nfN74w̯ypk2珒pG`~^7 Dw0ZMjm^*Nݤ'b#NcK'-:AKQTJ.lrt}>',*~#:INkfpY@~&>7M A5߰{)L!! ga6?9I RFL^ ]BJY5рŬf^Wԡtx ;DSbĝц:tӏu{7*0|*xl/3zN1"5|iv3(n])o7Zk ؁DȸanfR)-%@+Vw_B]rx>׷l8:2:".}46)mhh׼8 2-Wb:0w$dI;=/;2XK%JJl寜'ᣉ )G&swň1u'b}~qkShP8{"M14iSO(zf]ԢmI{v.5tHK7uAQ=+ =_(m:30WMssmi$zA6eq.,*G[yVs4sЌ>ܳ,z3H%Bu@n[Cϥh5gåԑm]o$c1P>\v j2d 䛪%qnQNԳ5L6Ӥ0pY>nmXpP}Xi%᜽7 ],>d)U%`~h~dE<)jƫzB]ɬCk;}- -%<|j1whDܷgfs&>QAɧN=&H :GȰ:ZUnz8>- e+d/][~Lo*;vA4NE)@nEM)j{Ӗ?S$ 0VXw/Os~/2hz-fn4qb LGdy\a|\)AϢxeebClV pu%J-ךf>/S!n24Q!թ_~fS z0[ImI{^Wm ^IrP;obߗvrU"l9*\JUʲ7-Ix%SAO T6> 5 0>ذ&;dj 8fE~e@Fkj&=m%`qu;Ș^{HEU>kPɳ:2a(0]9u<P!m`;x;eʇ1|M2jMS{Oާ L; .`^^(^ED o(Z^i 7- XeȦŌ*'li%-usI>n E;F(4U I ^MP-3gcz;$ '/nӪ=+l4&3IQQ8IBh˳IQM."hpBg44mb)^Jr1h{-ٗ~jP9>kA!V>ѧ1nD1([NW@(Il5%?PA& }fvJ;B%ԝ q-O>3FaVeP]5hAd&s(۱)C|f#,lu_-$Ӗ茗q{%8ۗ2l }oEwPjѬc낆26> ;{DyhR(!9M@4T`dQR_') ^)r~]b惸\>BCo]3\n{&WO[p{v5 ;iWJEـXT[O}w/ptG>qg% ) #cєH^#XU|.jX/ND/9O1ݘN5%QǦg*z&D㺮ߵ)榸[f`MG GFnr@'6V )}=~=4wiUpҷBBC\F{AwZ!.Wh*wݡI^ќ[iH%@LrEh Nz2>|2GyaPTVb0I-dBgYZ7zXZִF! k]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>5tվ7¶DN!7ڍݔPpic\ȡ I ^x<(vyb:$m槭Hg:I17}xʡs6w⟕IfDJb앿g!VZ%ˊYYT<k?Z}% G/& *a"R-s"{ OH|J;h@ѡyU+J)5jY2X4i6~@>,0M 7wrOrj.YC|l毃)v0šnFxthZH͜RB!3 ?㠶g` rtb9):Azy0g_^Esa%t]/8237pV[Kl4E RI޴}>(V}G$ ;f&3.:c!t5ljG??@Y HCivF[ɖ~c "_ 0Ut9ImbA85&5ţ0‚'t_䃬}*zY̐1Ta]IHhIl0!6n;*yؤد< ]v)2\mf>IL]ߊ~\R3f.B[ J3ߘاO&Q޵]2-)f]4_ z!TmZ4qAZ%tn6*|$"HU?r4}.zOȔ%!1a.yʨ9ݺ'jӎ6,:&* 2ihOd5vU.e#[Ħ>V[(ZzPtg.,E.>w0 ^7[)R!D[YCLWD2ȱgYZ9f6d29d1c2e4cfc732a91d00ce819416509bc68a98cdb8373ea965ed3e3dfef923c097916f626e1e 3c331c2e953d1a5ffb421f67e6a22dc191ba1f22 9c02cf65b4881d9454f960ce45b957fba7f0c4f0 8647de72667fd1abef54b6a3fd209cd420506c95b8da2698e4affaf20d5838ec98442138c3b43a3a