SQLite format 3@  .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  OpD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.852cpu=3.900gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"eEdQl,*)  *O6?sMsVAt .pP-@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.842cpu=1.616gc=0.00000Ow_,}YZ7zXZִF! ]ŗXi%M t ;7PNJ20,q@~Lsb׆ia]-q0P\2x5bFʇm:aDܝܿh)vj XʽM{ͤ%>~kd6ɒo.~ʳ 23fĵJH)7̫R纣WqkUzy =vwkEEFiVS xk#zKOkB?ĚHJ?sbj|LiP o味6(pUTLRun05x71wՔ>~6#ԛupȍ~Ke;Ytm>6=wCb2×Y)r"('9Q҆ wB9c6N%6OҎi(.U4kgFΒii)+|{ qP+ϯwcK@ Oϯ -fϳjNAJksϱ~xaRfʲ-pxҤiyËE"=߿>jvFm^hn4`$,.UlYY]u~{V%X]bCuX`~  E+&ZǍ{^5w%:4GLbXWR*~ñ{οZMuVeFо~ʼm4]6U^W&oGf݆PW(. #H8;8с+Jm[>)^9(5&e=7OD #q Aw88CiY=?d}DNɠ)a*kIe.26s 8;菆I$s+UG(3)I]5kBjY{H4?vRHAPLzO H\)"u[ޢ6_ ugNҿe/;])èZrI z1)Ō.IHN&u{L|'G*ʠ`ZԔ&Ha :\?pwE X|n5E]i=-a Qp(eէ,Y"%o2Ip--vOAJ@[(dfn냕_K}t9K8h~w9WAȰ^.”9N{aSJ<8G:9 }ú:67_T szcu 5M#tsfM d.LQ`bHQr<x>E_@ .xԶkwXK Up^*mM{ k3K`2\P=ʡ(!Oy6J>9iسYk–.3 =< 4+]z&}vG }ќ HvUMkN-P3kϒx Wu鹃t]A/\\Ri nY(0Ft7|x9ٵEL67,fn3EɂNVчn]vյtvwdo`7c5EV{͖BJq[l|P)ٜ8cl¥x Dd` mbYy|hD,>&,0C"6p2e4y7#IJ-!g^iLD(hyh$\DfM;꯻-(1LӃtZƸ)z%B5.!Aw`-,?Uk4w 0HƎ*5 ψ] Ǿ|mJF᙭_E^@M`0ܕK]ƥ8({x/@4YĶ?90\ڣm I޾4)*ZTZp,X&)RkzH25z.Qf*3r&&Szq% xuk=OjS lbz:þw@?o7xz6x*.s-e - ;P6ru;o8n4Rć߹:~+')S+dh9y {@ T50^Ϊc5ȝ=l吀< M}",kWWB4PQxٸ{E)~&ow!,X!7GLHiS&e[oװ7Q]]JG5|mƲ+V*}5g à`TAO70,$vN曔hX퀚I׈wcCpW:.KNUd|.%f.6xYdO ŗN>YR/2FN6\w"&/^}ryps_e KDn9YH8?Xч$b2a)->U,0ft|O71Iqޘw٢x_s hRʠ-bףg8'@=D}xU}B7!gPE@VLyYG:ܶ߯F.z1EK|õ>028>P|gN&p /*B=*ԇx[~f?Z:4r$1i܀ju8"&njj`C̭a,VϺIrIgz}KphMnpܚ|I\є/ǣWUepvWZ֗*_-Gi[WGp[;2ĖK`'eL?}2&^>Ai <UTi|!៊Y":nz g$?|[қ c` .o ;*qn?(6U6舂.o )?UL~ccon NE!<?5..|nwOQ͢Q4koPՖ & t`m3)UZ¢Wy򺗁aoJl2f1Ԍ8#&]L SA.bEOpg\r`^jV7+ Ho~2,%ԫ(< PV;|zZpLo Tl:lKm"'g@THaP'I&x7*^*YtpC5J1wzqIEWs`RwX DyO*) ~Z֘?t;=be(^}X\moU1wxզ4DxJ:+1 #VT->sD $RInYq|I&QbqE_Ff ]j@Xx R]_qFzp<!$0(ا)Xf]8BG+%;f 9~fKD~{)<#^}[]^aqFS;O_A`֡ Gv]6ڷ&,Yt +krɹ` ߉@l3Jboai9e0FٍtI.c#K67A.v:K t喂/5 8Q6+W1%x-"-[q{o\=%W:ŀYRğoӁV4mp2%Fޕ(CU\v^É@knC6: 4'|G ~AS i A7_\'f. c.nU.͝cm~ *iw!P*.졭v>{?y3^KӤ4'\Q:̣-_"i*o$|~-O9J On$ }Aō_^>̣\)H5&q]w28MdS|)"(\X+;s*m *Hͳ-e=lQ;(54~MHYѽu [ˤ|*dIAwODI@T23&uA;{!$uPzJd[3fUímv}vޑVL1~}/ۑvv@r\ Vz+jD펌`;zycfͲ4K#YѮ- )^O^ `_ƅ1&R[Fȭ/Ȼ p[M/E7ÔŒ.GHbh+c~Ub2pBLu+K"׳g**{HU22ƁsSV̷x>WA G& yu{}Y吳0cSl_sf|_!熲NwoҜfVVуb I65&q8`epgl[A(Jt:w5 L Q_ t@dW?/TD] BxM/M9%͏Ayj%Kf{FR7Շ`TJVd4.-?|*:A6 j;~&3kƭvwgc'>7 Yf!3FR/ s~ .!M0l'cVyp&FjPZKLXh5Յq[)$F. Ok{+jAT9NS?/Ƹ?ޱ7E_]UWIR2k;<Xo^g`o G }oUE5G0[Ce ;_ӖB>cz8+}jXŦ1Tq#(z(oaq"]Hda7ߖ oI:].i\n2G?I8UsS jvɉJ#b!\/TS]՞A$ra lEKI@ a[ޤ #`*D4HYV>:.H/R<-AN/-Viک@צէb2ñPj6K Dnm% JBCx I ]XX`IA,d)AS73^+KiY`t2 [m!HMv:<=e~B@Й(@ts1 萇Ԓ%̵ތeZ25en~$=U]2`tB/~s|[`, O}#?q/Ab,# ZK3)G-KP&'v:& ml$DvۨxL/l 0n3]֊R&e<1|* +_s|VHs.ZI͗c-O H ~X-p{ ш1Wы)U՝xOة6Ee'K 1ڭx]bI1ȷUA>&bNr;%HvebFzdAULځ:c5NtluA\wN:`Dn+bK|G׍5p(F6xIH*a?sG=R6(YG1ݒYH rZ^8n;U!a/CC%!4>),p'Wg;n|(8.g$?=.9^ (H )<!<^2+%V]˯g=,`ˀ G)Fk5y(/ b0DU]`/ jW&.)tk:.2g |{'UOH޳wGo> pͧ*~@?4VGT$4 v]ZBrnEhPeC-Jա`wnhwIX> 7D>Q5 '."Kb|ݸyL:uë3>g{>,kV'bǐUީ\З@82[ 1fR}~fHK{a+?!Tg,r;}nYU^v4l1^I+yqCvLgzߛgh%^ Kti:.5<塣4=L@AŇm4=J4Ԫ %>O($_k:?u~nΉgK^/J5`O X, dSeoZؿC6%7{,g%vu zp$ /(Owg٪9(Dcɫxʡ3ɜ2o FF)iz3\ᪿ о"C,nX (qA3#rfʳd'({ix4Xি7 %A N7I0cKXeٳ~FTdPmIΊpx7&oĩmːE8JݘRBizt5~VV8pZ(Rz?]c_/ h ! IEPD- WP7XqƧV zhk^FG^Z{d XHT֜7jޣy,Oĕı6EXBF; s#F}4tJbك*ًRn[wF! >K.ب?TVNEm+Qn{L3cs:zmgStrT,<(HK;XtR6cKI1SmcG*l8q&+¾-h; VnEp )tRWLx|uC?!ۑ-˅]XF, %sXaJDNuL4%lb!`QrACH y|OMҸb"Sw@b OT MT+]O%<$,O/:hLc+LD =S ,-~_{9„(%KN:a! K6,JbUMzL+)*FyFx_o$%/)ǜQQ 8|ZS[v?Gf&.FZt Bһ2<$x};,@XkBQ򧗭.סsgPqbM3?7Z6FVR̯iIzbu\$aL=v6 X %fAc;((*)-l鮙h qL7'rAJKZ7XO O )K=pz$#Q 4/͋63=|ef WEG|NҿhJ퉚! @k;|TW^Fb u3EhGWЙC*SEKʦhFiTqy?84ilfJByoi*ci4<\QI1>+\QwV؛WHՠl*}ЗqK.lrOtx?T:l=-#۔-`$e|eWIf:F|~\B6eB媭@Ω$jhs^rr; 6x( a ۝ 'bC51,(~n80'Z8"B|vR^;devܕxmks=|(r':.=p='*R`so3fZg_> b[Xv4H-.VghC_ޝ˭-],7BñǍȣGzbh y5j+{iP^,1kEO%Uۗ_ytU;`o5oa<0aʷzm)8o+ŁMJ@K3N1\{HYuȪnNzf: >`dbYŕJ8fFp'T1@r P;4YHY*ʻzB[LSmKvzkDE|~v0>@Kl7f 쁬 1դN*A"+|z]o2tkr۸x/? _gЗknǑ0! '82U-,=Գ(].8}Q 9~V*DjpZWHwV3 FCz7%ڠwhY}V.҆2aH^t}TbPMX/ن3Q٫VtA(^EF;@s%ФIņ:M_bM1o@7lHҾ*g |_(t*t Xi@r}=qдVK` 'Zϡ S0|ȞX%,gWesBxpl٧nӲX>q j] PN NjIlgJW1>C稲JIÇ9͊Dh a &+2S ΝaR DCbE&sl8Ïj dSRߓ0!ߐ+eS&I"3ũy%),pX$y. CQ"?EY\y0#4w Bڨ{4_&Zp!GSl!YhCnSAޮΆj )Z)Y \++U$f.c6j EabGɺ kAY7Z5@R?X@9|JUTӑ5 iA(I#xՠmS7PU`沇]5!)*nn jk[:7 ӭ&H]s:hdpU?G M5VluNukNַWeV'_)юr*^ \(8w{P~tM:z4ǧ<985hz CNEV'N opVNn Z8Jku\O}2Y}SߎΜ5CS*6++W;j'g!ѩ;&yElzeN\I:*2|uϿY ?Yd<2%3M^CUw_\[K#`D$B0n)/nUoCT`auq S, Ѵ ur{] tԌ&>yػ4y(J~U} >֐>R-i1j݀֬/~fe1?n|RV2sl~ w8]~-^lR 7FTox= )c8E!#UV .k/j8)*qUpL 5Z!ܸP110n) Ec&&U{ցLpT;N^!?< >,`NjfaF"J 2k7"|OkC)1=__. 3awCV&*6%UfpmϽƧ)* 7IUQVa5;#t˜@z(xkjÝejI2ͧVy}Ot֜PꁗHaуB``{nP̙N |c$/29HB~H3+ֲ `61[E`!胊I<ݪ{D-hCSۓejϬw"%qN!/=hCزyOڐӚorpr -&vg|gDJqz$Dc(F Cp$7z1 rgYZ  Y* 8Oa' +l!YfEGM,"Ff js6Qy6oH;&hfh]|PMKa1mߕv Uy'a`o6USԔU$KPκΙ7qAs]1Ƀa WK/fҿ*ӢGDŽ,Wvj&dP&Hz7w4# QDBizdrB8;&OH C6ay!g{y='D۴YVA/SʼG Ic"]qt' U#S8g0X$iQ9!cߞ9%e/COx )u+8 QAA¶ɥ8;S"_M}œ~*uCfwYQbJ섹]Kȏdiq.r!?%.k- /q!(䫾[sWpcew~hsa^KI8Ds˿N0D\FhעCe3ЃmNJ"k!pzt ਁxV8_ƄYhqM~˟[..xj?qpd1뒅"ԼCEK,`#vY6u^C$&Kl.B?!˂}U28Ɲ4:p(^1?E6RGC6OK 1tP1L\MT uN~WFCcŠ/6ú4TP*;Įsne 2[j^wP!uh} dOî;TCJҠV<%ycշj EjB`9ԝ3eUX!T2A^"S( ``Nd`[FVh k+*FuP[be;wlᇪ"ڹM=%8e5n({`3x&P4nyԁ$~mS^ ?b|2ӎ1tCǶa :\_l|x:F|A>0#nF|mm/ D@U΅Z?Ֆ`_mC71xC*C7eU3=܃o+ /-y! 3B_k~?sˎ a[, G[;I31r>rGOĻ˶r }UvP6g; 8E9LܨEGUtKk$u;ˁ捎SQsI@1Л{lu&pIf\]Y9cׂyR Zh&W!9a<åo{͵8h/i 6up_ ?_E9'X`SoPoƿTL}M oWP1n`t3I r]㻢'oU I Yx PzV=c Wŧ꺅pkǽ̢#lU/fYPF@ sv4EZ\9;xwk*D19}|% %f=8 tJȞfU>6qz$+'2a[VL%ئE#9|.XB>Łge)w*.Kz+D*Te҇'?첖b*a|g^ ޽+T_Gg9DW+ YVka vX2)x{=$,}H댯NAߙr44OC gZZEԤT]]Vn[ `׏|Lc0SbvWƛ~; O2e~qqYȍ⢅Q!o )}vB+A#bzEj]4+ExKcHG=OO`I$hx> 'B O0vAD\hw mu@aVs1=.T_/,^shΜnD<|c4p[6C`VЕFScφb 1%JVo3w 6=Hlp VE g<(<`(G=WAi{ʼn;bdff2eU[kUn}i HybDdz0xAו+ZS"ezʎOePCE %Qȃ3 =jEPtyھDF M_=&iAC^ i 2>4W 3tK?^ PH_-5|r։@"= >eo?4kx OOH@Kpm9XS<Vcޡvz}_2{7w:rfI2TiawT,T49ZPa-GBgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8P]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫=$Ӫp-C|N1ѳ.&"3(}kfr}?]XghJoBLCy>? O:-9@_p>֘'[na#)YUPl%yA3`49 Y /oq}2nGg@g.m ir_SZVxo;Fü@ϓ"#Ư!9I`3>WN۵+f^EgZ%Cgʣ F6*ޠ 4Yuc{૨{-۝P*þr b"i0\i)s0<^{Zu,{bXxB n?W4EED rIQA'x]QJW T^m*~MJ{5.. gYZvoDMۢz{\?PU C{3HWfn _k $yvl.e^\;xbKo1?jo1m@/Nl}:yj?xT}(`vXBwP{bե@Zi6QMq xt5}Ԡ}A! 8},@~BS_v{*-[D@J– Eҋs|y;y[Tbf)8fRx=;Cq7\EOϗ2efc kpq.ұ-ev+}-A}P^A.snR##Mm$ *p+\;^AbEd{DKlV k1Irv0]b߀~ǚLRKM!pS/ M:ɴrlxx5]{T4)HkrfN8V G::*J.rKn>Gr2xDBHqdAY#KۥKeߎ.{HpQ^qFKfgoLx_]eCʍR- s q/Dv{]Ó+CtmeQ66VjշPv#(ռ5ϙĘ96N g7iPZisCw`,dOܱ-1Bں4GJy_ bѧQDG(mۚr@#MfUD*L x^leHuADKϠ3pWD?/h[~;XuuVL`93Srua^_SJbk:gֵ[Z̗AʘOu4;ܳEv;*FPyIg q<Ƨ n_,Hk#lOl*ç53oH V%CEPD_Bt*9|-iAp[I&5AT\uI[<M`'=וVt͈e[番ԽDC}FDP^8E  Ti|X -~y%LۤN -ҖhRKQgLN%7hBQ*P؆XT.am}4ޕЉY3<"}G leKO8Yu(\I&vw!!%`ϝ-36s&6$9\^K껴r/MPs@7캴Pۡ-ݬwNh6Sװ3mEϱ#[ߪ{N1-V Pszna:u#əkr%eMdJ\m#旇ե2E~dQV>MlY:Oۀяdً1ǽE3ڒ)9iG [٬eG  P[5d3$; 'B;ڨ'y=W&2c\)7#|F@ɡ||Ç6$%߲(%@Xll8xx}d[Lph܈%BML7sr~-A%;1c9K)N;GHr,h M Ǣϰ6&SRs=A ku ve2$g"1'cOƼ" %)6eS L<8?d% ^ƤPZLM( ӓ;%tVK7dF:9D 2aapvr1E%9h`VE搜d*gYMW \!2u%7Y 32Y6x~uL@PZM}jr^ߐ pkf."%oLfmۉG-ѧǍ1t;e#858Q_(="6c2nAءLÖq \Ր_OdM8-YP6{`Xeg.l_vxr@\EWU LP0REyM )"v0ͤ<+1<%1m${Y6y5Bk#_@Ɛ R~{MVu΢ieRzsw ;a?+:B + X /sSㅠ*1I? vFxT$U(L)tGԯF"0Q--S'c2; T6ŁeS\;P]y]HCJ2}!Ifj6{^]3anm*i%F! 8 Ȟ]!#(w;^ IG[ja4^]Mʵ7 8$ a PVS19Ԡ_׳VǍFhNdOB26@٨]NKYP]:BczC6]-_ڑo?d:#,1#dj<#ɩ|amۧhGs%1z\ZEӤ<lO7XL#U)|5rcdlv-1)9;w@}`*ޒe| FߚKm61g*;nl[o4C:[P+W`,$Fh9rO]!/TpQ,8KR ʆ ɲCfN5Ppf/b(W|4HV [vwk\f0=.õN[D(m^i$Ɩb` RVir1qje*jֹf_륛9RS"fD l54%T]@RI]1=<| #'`8>yNx41i|VFOg㣡;iQBRG&6h Hqg=CA})xO@FDKR6^F܂Kosvis97Q'}^gf KS4v٦yA-o5巧~: ,!CU2݄rO,2~w G5߂YO&N˽~4L׾'H\yܕ:0KZNxfqTszox;~kVɩRFEו6W'yrr.`nl&G`qGMShjsBň>\g˳k[: sl"5Hȵo'P4{5b΃1U=e!5E _kXG7#!) ^8#)'L\K r t̾N2%tGib\Cn4J=K7Vf|L]3e'pճsflotnW[) =ġZgWOQ/0drmW+M,'9[k?Klikm8y4op9RAr\A1ϐ,#N^$I_El?̅CVxLNwHuL @4.#Td/H´͝UN)$VuT8]]HّԺ~KZy"~ g<+@wɍtkM r-[ &:d<HboNI>:$YXO4Wh4,o" j;j<}XQX+HAIa t\(js< P:]0J@r)( }JKtU~L h+lM zFWt Z>$:G}@{g{tܿtgDZ&έ0.f1Uo;O`s|yꋍ {\yBFX$>DUe'|i5G;Fo8_\k}jz_4q|#[os}yt}uNɆs <k8ue$$dՖȶsD1aDPXhC鷤j\p9{+kDaԮ/k@N('ȹ;CݠckyH?|^{bno)WOn~kSU5=Ge{oC >u8ŒeX75Yn d8w1?|li,`Pt#52Qr%WTn@ț)o@AcM넩M[~H\~98C|T;W K-ho۴f\3#vLj'k&}xҘ[ݜh3sR]r|$9rGeVTBfd3DŽ ܹF/MFkq\ ݬU8Aog;&=^;8T9͕WATIԲcKթ 5Ўە#GlM[]#3H,p^bݏ3Jl<4ϟd [GLXQޫCb=/h#&=YcЋ14Ţn[ /uTS+#_FsQ}Z8x+p(LN0VԸNJWyQ\j/{κx{ TZ޿QH#7|zkqS7{Ф@*ԻMҒzRQ o :7lzg'~>~R#Kg=Mpf_atij'VU>[0(ϑ ϟ!Pو\s^m!~ ;E[a;|!.1w8O"jLmK B@eWq\H|ݴ)Ag%x+>lG5UL1q5Ȳt~.rȖ$A>)RVt;='QM ϩauي8`J{Pwo Y?t̤VboZn:3 {J&P]n &kSW?VOpɶYrT [ ޸utC{l֡$qhYfn8H!\DGF]3+je 0%P5@hF R3Zx[K(2;.M[&^^ E'˅pHL){C x0;h7eU:t7Aʕ'41 Q2䏮'}@pNͻF,$L*Yӛ}D"c2 +qZ Ry :'PSt"S9ϥpT62>,읅Z$LhIx`!jH+fS>׮(#Zayfl~9In BUA:Mwojղߧ&q\INRjfuW]ܔXӂ'~;˿5OI=[OqYUnѻjRf#\bz3,N&jJf |\ aei9l@+2( u{S+- O.B{6E{Qd6 y4y&11$#m[!Y~Zulq>K5j&h9@Ig&Se{vCAzh"G"━Z)^CDj/ ߯n%hT#T|g')/j  G+'Aަ?*d e?s*K1{XQDRO݊CgqozO~8^8 `4O|C HlN9xsyqk,@7xFt,tbX WF>8㋃s]dN䭬ed?{YkUDQVYl %*\@P>6Oir r$NBaW8]N{Huz#! KP ̰+B2mQɳG}[ 0)% qVv_2Sՙ/ihx*HҭQrWP\ԙZh1:yq/#*egHP!a<裮1*Ƴ*''DJVΔ If.Cۦ[uHE'4[kZ"n{:Dƥ  Jbo*mO8$2ψ1bvX^HMmeDWíhP.q>sZsIM0-kcClwmJʖ!Fo Cu{H7Q7}inZʢR"ϸ,f5%`^l 6_X9ޞ\V(&3¼a*0'(SKo2)-x r?ٛ+D_B*ߔDWf٨$zr4Iȭ;3v綛lB/C6=tUOC6A!17.w"tMO+qe 6fGpNKLJﴳ@y2BH`]N๾4| w.WHr1#qJgS}"SVz9&;  p5\>?OH>xN s}Au~*ԼB:`H2 M,uފk=E2rMV})8tT\}kSÏjQPS|6 t<ASջ7"m0v?)"ȏ뛿2woire o6뙾ȕơ2m9!ǹ¿y[boP۝F@-&tS3ƅ͌ ' W+,Ovϩe@ַ@#TH?cic0 ˳lɻz/?q~C{ѷ E|EBe61EKίXd0\[Ѭ|x:4ِUP_:즮)7'9sd{lsCycWDe C_s>D<l$} X[#`ώ4?P~Z%LQ*POL`y?)W%o#2?=:Q !LkAt]PLg f=U_?yl4݋HfKDl >Lx\߉A[@=؊ŕ \xO87*Ƣ2bk 8I`Z?3vt* Z9&0Z1|7|A->'b>*ny@0B013lǵ2Ϛl tFMWQdϞ֚xAMV䱣Ry ƈ>Ɓ5T 1~Nalx$l!ZN\P+[0w>vLJF;vڵ{[ u3mWET񗻤 pH*xl5#r/nQ1tƆ$ztJP^bm7* 2~iQti--6al}ŬT(1쒴B 8NbOWP;9j&0 }ýR={G{{aH.RT/qdR#lCm4(CV^;,inZ ף5d{126ɖ(3[YbhMjS v?ݛ\ 2 עdWس' kj@Miug);Z]OCoTPYVJm࡮gZ51ڼC8;d, hb64;4xNpgxO~ a%{PHš9=1P ޮr6'ޖ96eZCcm!CsB4Gd<K c/+@9cntL@]}%QC,Z.dICq:t #Y"P`tl_¿oߺ& GLЯ45r=STM 3&%V B:D";K3Yv?cӭsiR gP 8rNO9NKTdLu [P'z${%rCZw~eW@ϒfJ[7|p䰄'+$}Skƞ I ãxK"&^ >/$3"8@w_*[=seI=E4 V_SWj v{^߸l24FJϟx(p` k2}^;- „v4bKGߢcY"H$ڀˍJ*(_AW5^Ǿ Ðb;I#nPodDQ9xϪ, (yA(dkJU/j4QCG[Ղ+gg,,"Q.+X~eѣ` J)L4~ujiNu Tsö́dNBG̀5/;u^6BbG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFĠG5eeS]2%XO .ج#PI2mTtPEԠҌqPu(>xV"G#м<%ќ[S-((M2YB!ėB& ]Ŷ_~ƗC*"J찝~2ba{}Xgݴyy(۳PN5jkBƖ,PVuZEq+?q "܉5vIX_|IA| {ph >{g4 BZ| iC["^W1G\C~ ns %'JL~W,pqahx"u'^ze-D;"36?*uQYK7`L)B7aQ `yrs*N2ӰLfj%Ƕ0d]יPb ZhUcGGVjL`&7ѡ+h5k"بqvPpb< l0ip> y?uG'^V;܃#"{zAeBZ/7m:7Y=tu pY w˂Np{5`vTJ oSD:3v23?* q oDj zȼHw~&rU훖b 2' ;D|ɓm 2 u~w`곍 )-quA;N^結ʰw2aU]ҿ=蛱+|m2 H/j;ϥ]X{ͯ Ӗ$gz_ 49jP]~𯑟?q0\wԪscz%jdϤ%OA XYkF]%i?A_}k iIs-tt[ d af\. o;`9 v>ܢ'mOW$.gj}f_?{ Gu27vE3đ`NR!mGo/Q톐eBx,߀ޠᘪXpTVI~#Vbp1 r''bn yvV}Bʫ?QS3X.E}<򓹊=ն)|tbI9')}{f ]htWIX6k"WEM+ rV22~(w˭awT_m{ikSv@~61,ttvrT5B/%D\Qpme]-2A"t  k1dԈd dA>ǟ)I5E`uiq eQ243 |!>FD?@ݢOH;T;DQDY`oo_P,In>Lx#]:Kp?DC*6]ZKdq7l߲KB[it⿤Ƅ7Yw 6˃b ת}_1R>gо\ O# ҅Yk)N(=wJOGIOF17QiCiEQ$qm]>"ɔ( u