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.861cpu=3.948gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pRhH1rB. > ǍE+h?!|nC˲x hf816@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.862cpu=1.803gc=0.000eQew_,}YZ7zXZִF! R]ŗXi%!C#}(t$rzlAiyPcoSo: X׷OWg␃ -}“ߞD2G>/F_eu7 RTkT*:>fM+f4WCf&Rؖ.3}>fWd-Kx7nkRokpgS0HQӻЂ<KCIB4nAawwޝ<:M))JцP~iq1ͮo88Y:NR>ߓ ICoP>[ kYR \[c5{`bE_͊^5ʌmHؒwĦ2$ ݕDJ3ҵXHSv$\^SO;N@W+ONLN^- .Y5Q/{?qq~[Lڼ(_'^rr<PE[#OI]pgYZ5eb2bfaf0e5e9fc2f43b30a6bac463dd4c9304d795c4642864e89459a385a24269c5aa8f5946b483 605907446b5d86ad2a2de8ad3bb7e34e9255c1ea 4ef54ecda64736bc3c09d52304102a44f01b4f98 3a07466fec050e7e22a28abafc44cac584a667db c34aaf7fd44d9c9c133d125b617a527c045a6452 $O HOL-Nonstandard_Analysis-Examples8Oa' $[W=AQHN~ QM2XĄ!hOriT܅@7x38X+Jz#Şx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:74yPVL QqmI&jw6``=RRbdIEK\P5ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Ana   D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   ku(s4EIuS.PN:I88vb4d/*ĴFM6>wՔ>~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' $[W=AQHN~ QM2XĄ!hOriT܅@7x38X+Jz#Şx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:74yPVL QqmI&jw6``=RRbdIEK\P5ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal ??. Oa) $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 5= ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)U+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ŧ @Xz2+ED1F%dtd(CAZv"I綨X'Ǟx C~cM[Ĕ۷g]k=!LUP1!'h̽ kCyRaA ʢvP [yT Bn0|6"xg[ÈFۚIy]pR%r3/-nC{p8K):zv] *F*+S 7aI=7NL*rZȤJ3(] 7x,Eh)ClsPLꟐ!i,ksmV,|Xӈ6}FqIꛁ,E|(&ŻN4ה H#/}$Xۍr5^R8q'A$(bՆgYddnq4P?vx MT@Vt鍿@8 cfMZO{?kLR糘 @BOlWnC,GFni&M$Q c_DA'qҙEsTβSmٿlH;pv ~od_Kﵽ\6Vy*'Yo"~Wz\@{Ek\ V^紮rraɥ9?3Mɍl_;Pm9?jc#|lS?WuZc\*1smз"$&V~Zzo n@ sV :S#'+_MfъGKH|B_ܧ=I /nYa1Bq3TnT*X4:^/w;DZtm@}>aXFHUj@ҩe34,7ecU_/9`+4U0[ SO'y M0ZX 16*rins\RQsV-Y] K";ǁM?6~7/D~tLƏ.W!BO ,er(y_[qCSm_ަZ4vYpr{,>(Uf&DhF[ͺ7A[A:G2(})Q{SeK;\0<9$~%Gp[]a]f6FmKW*#6"$"m%j~lE*l y/$pٖ+ob{"eL-\6Y,T3`Ț4누KhQ4:z©v@Ѭi&0H A=1khb-o>3{b6аݼč=^=WY+kVU $y7q:^8@V9x ><[.J64{>P8G:wUmJrݐ868'uo]ԅ?j4 ^tDOW ,FTJF85hMR9ecQ2,FPN4)bl4Ea"X*}2'_Ѕ|a \ m j-?9U^{7F.7gYZ65YFJTW%";n МIH{PHpqON7Uu!ĭ-VfPb|n+!+$k"|圞;q=&緷wSȟȩ ؎ 3hYoM{d`F"rWJ鶛 dǧvF /Zt2$9[[1$Ks=n޷jz 3xC5ں'sI ܹ|u\O9m3t|V dO 6;0Boc_غWMUۯ-K羉1Э>3(rarPT(ЉX0.#ULZlav}TRd){jm%BOuJ\@;n"4_mFFMpז\0'n$l?@JRx47RBN611o(/OZA$ >Z dK/ fH/%! Xu G鱞wDOxNuY[,á)G18R)@4LӘ#F`gL۬b'eZO2߅0Eb(hJ"SՔqYU9 sq1]E+%RKT`RJ+ 𛱛֛m#ݑ,",ͭu9YRA2ssO~T5?nT%ϫ`u/[h+>a؀oMNregG1ж .Z1Qfl;&Rms>B<\[1BFaQx 1S#V1a.g_:HVUɦ@.Pk{dTeTMp bJcP%&C+gd׵#pyƎ=`]ՂJnkקrCáLu](F$b).7C]iS1LC{/T7J]t3u`FT>J4H|όW ۧݛuBg!TÌ^GE01ߝp4t Xj:XZJڬLiurPLn,U͝q'mÞ^g;b)imY–I|:s@g7_QIo:611+W9sQc^t,tsLj"@oM22ą_Vޅ]T/mRrCniБlҺA=1Y꽳aU"c`1WnlbS]"xAp |Q;p۠*RBP?U?`1t!ABN~CA@-! ?}<|?/ְ ?a:"AJoUMr]dڂuYS EZ Q}]-s?f9h#2l:nzj8/h&'x7WNE`)E}2 t:dT@1)YU o`Yvغ4׏%6{F(qk&HnӲ'᳤HLxq[Nǔʜemr 6 vk/vfjs>œ@Q]G!+P8à:03ǭ`]C6|w"e5+O1jνjKW5AN,M*'fu23u%s_ah٬z'eKP7 }ړ* e[wfVt w^%Ab}7Wաev 4c[t?*/ kH>ípYUy놐V Rgdž&SSI9a}BVX<$OpH(4OiG_  *nQ#BwJ4x_)$hXkOx]>ux5?D{~"E9 MjLsrҡ?b$OΘuĩ+gȤكͥ ^m7DAHqCA"?bm) S )`[?&)nf j%TL U/@G+2$$$m>˱]yY ߅-^Ÿ]]%=m(uKqup:Z lv"1_Ӊz`VʗC@Vt/ ƳJlsJ1h8G6-u*dzLqXj23<‹Vr#;#'2bH ,!::Qd^' ΊTiMN5F௛aE)Au3{]~Y0,oHa >QDH1ZRsx瀠`ˠHKٛ V?-ǜ .,b7;F C/Hz/;'sپK:iIfXhd7"vseB 5Y?1%Ui] PiD-ᴰɘ^~ZJYbfs`Nj`,{םSvՒ7uwx׹\qr1]U1<+88vS&mp$6&^nDRK pqX ǔa4ܛ>MwtQf!i{'0~̉r~H]0t\H; zß$bub F yO.qNWy"$m6,1/ (֙'јٳ6Pc: :LSj!U e?Ѐ2n8NT=?0όpч6wrE1Z2tJS6~18 UWᛘ(%HLKD,7P-Qfg+==d44\-]roJP:+ oX`!!: Bc&VBHl_$^_%Q+geTPғ-zH)*",K(|,j xqal?%1R!PhNG%QO(:W>ׁG)R!c m_ǘBxĸo(G'M皲NwGZpl/!2RPYcj(t{xVE&;V$$@ S / Jm@V圴u_ {UpI"DdzlV eМz["LTS e lIj,TUU$5!«~N Hv}/@|P7ƶLb B^uzW:kr+D!5(or%N >W.&sz g$Vդ^WߡƏHf)܀DL~X} B?U?<"a]Ay]Qnu.f E(,T,o];Fz ",Gf?y fz,ICCJE]_"G@n$MQ TOIS\ȭ:V%%+ȠܸI^=2Ve 呣>7sal's`NʀoVKDB=ʛ]L+X2:^³NY67u]/ ܳ+ u]GPFOm+u["`ݾ)172KBhʖcXFϐ6}?\HbȂ{]|揁Cv=ڧ#s Y0{iZL}qs(aLwϟ=Ko2N_Xɴ~{!KG4:F UhnUS\~CO䮇z2#NGA8]KKcUY"FO"y0ףTZ*ݧ~̌;{-7c|zp}e# oW;"-f /85mY\w|P}&) j*/EtsYeg'B aJ8A3Ru}"/DȰd#1s3O'X5!B˃B('hY?pLXNwpğyRBQ y] j5+cGB!(Ҁ /gJЅL`&wm촊Veu2,y]a`PsCW!z Ʌ`¶_Elŗk&]|2N[Ӆn'Qds(1м (9͈RpmyEJ*r5/j  /%SLRm:gNc^6"xp,a|k2 zaڥ^; ){Q9J1Bg!KQf:{hOO&6wYm;y'*GoVZ*Nt R^kn^~gndeZOV"w۰@x VV{]s{>%+xR-v6qzu6u]|mIT)8۹Eo1|Z5lG$WE(J8g@;H=(9L݆X|cpCE݅U(#L~IIfF@q cmqN'Qbgw:+rQRb~\I&j ?>=M0kxh< |Pm0 o9xE?! Cj%wbzhQlgRiL/$dz4ǣLiKSmo]*36Τ9^wb-$<±9e/GqziS> $+Ɍed󚗿1d-LZVvQ|)gNne^" b,5QHԴ$d وit,H󒋳 P N#R cvAW$cCRa/\#v.K " Y$_KAYA'֎jCXU,m.wb-O ;ڡ螎4W(^1+LJv*[ojzD8YS({}ر 7JgMc9&9ZNl=&'Z xothl<eG<'1lb.%RSy}DUmo^ʍq_lP8ڄ[Q-*x hg'L w0g!қv5L9K1/\/ ́AFӁrggƒZ(d,s|P9NDž!稠K\L E|ov~0~Kx)IQăoE_u${jd;M:=@=,U_h xg-H; ۜ*>ƍ9?]D1)^=G~47\W(%[3hwNC <#_Ԡ; f AI 9Eh2еo$}lD<aΊx"FI)TzDSEΑH|!{ȱ\!b12 ھkrf Rp\zzz)V23ɧˆkUdUh7 !(iC7zƚc";eؚ&57R*MUhP9ȣBU:Ӡ]:w_sg.4@-dXRMvMJ!<'1I*.%;^l3#ڵAz<:"YoP05.Mc{TE L8^X>؀¥ \@h>I0HTe+7SymkɛdE,; ,o̷,8,=Oۧ7d(n k2dɄe}jXuy28A=w>G h|_;ems\Rj ϳ& ӻC/I6Ah:ڸxcĖi?J8f&jbSF<-H ġXVg)[Rԫ)hfl!HN**8wIq"vƭ#s |d=Wm_Td,|#*~(' uUKoRطێ\"ʁ=؂uT 9ҁ<*2[XS8OD*Xs*m%72MdAzO*2%CV 5U>&ᵎWaK El*'~&ֆ\ӧNr#o}e@ b(c%mu9tR+eư*}b2fq_]r{Du1{!x wE+qwܘ]/T6%*tAO%7 JT&1H'!;f12D \y0oM㿁/iXE0Gq1КH|f]'3ëp:d}َCY.⯋1.p8 21I g|Jw FD[5gǞ&\aN0;FН&0jiV1\X^P B;@Z-Qq^`Yrgb+ͣΩ`+Y_ } UZoBVQ'q hE$g^" 001ю_ܺ{o0-;g͡:x[tglP#6PxLo1/_@f y2' ;S{Us(J>Κ=د+Տa/ͪAƪHcƺz+ hgJ`0oj ϐ #@2)1j A>j)3kNR) ?TJqm#x#iCEq|慨\H ].݄%IR+%q` ڃeY_@5ƯAlW\4YRK #d _jP`gvy[_%ǝS6vHo'7`.}y]޶(macL%C{n Oa~Jˋ'{V!}|Wa1Sռ.Z.G JSH)~:%8}k] o2]s*Ulo[ s#6+Pl ٫b w'%NVQ'Elgsusn(̃NTq [c/3PFC˭3єQԙptE$ʮ# K NTH yp 3kHx34; L6ms>dNtmG`C+YW0TCN/LnrWaLs:5ZZ5aivG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFK~L /,cTжܪ8(E7sI =JC3w;zdUO9{9Y.b `.Kjxq;X}ϜF;Av|F "at a?0GADnh; 1*wܦ9`s! 06}|Euo:t?[ |€UtTº@NCl_K-H5(m7Ra8?|"WP2ĥ-uT|ToE6 KݸBdBUxG8劣;+ 3z۱Ԥ# $ {^ADev s @p*?9C3K!yoޘpkjǷ drQ9i"(*콦-tz6@hp>3fx=&Z]-;J+7Z0!TM`NӴ#6cJqVFE+q $4HI LG TX);]ѕpuu!҆y[pȊE1Ŀœ^S^2I*ힵ:|3_a7X(L)(^Pt#JC&cFk* -?#ccBt 3$p}⋔v>5pa^aK0usɹLp>G᪭~WuG`0}/5QYa}ASW ΂*TF+:fy^[JR[IOL4M2KSZs1r>Zd pL=\LS]pe~+z~_(X?v;Xy+,7 ':4o֤S@UUD"s {Md;@!ǭ~6|gƺnbB",в*އ>6ĉEvq2 Mw(|lτx ôgT0;-m0==,~ K!?sV"^Iz?($5C1.?O}<>p*#˾I]8X%C㧸jN~lef.q,IV`4XggG5y)r{ Mn!$XsWNZ3Uk ǁ-^ B݄?a]= TY T -V]M0 DŴ4l;yzÏDVp>~- rNY2u;Dx1skEy ;D29gv5[O SN=ͬʰ#iK u7%ZWg9Ru>7Ķo"Bs_fho-~bׅT[=2['~Gi.=WL]ܐɻoPJ[a/2|%Q ɖnh