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  _Op<<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.817cpu=3.765gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p@d 8>Ši#7CQ};"\o?`{?O EgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.833cpu=1.617gc=0.000Jĺ58w_,}YZ7zXZִF! W]ŗXi%voo,nUzuޚX`,G Cvw葆\aJh! 5OA+)8.T3C=6Kġ"m{fݜ͆f 8QJsL>]Ъgvf#g&5 $^V.1QL]؄jm2ݩkz DΥ ѽ($)Qm´[3ڧ&sR cڧC'[䚿0@'gjc1lۦA.,:;ܜvё+.厺>]Ŵ)o<+ ynLBk.w\&B.6Be)sŻ}wIkp'f '263 yY/>a~utyݙd0СEmVQL}j1ExMwW%J&\3RCflEnda:9?Y`j'GiaGk$j;j.pB:@롩d.e:UU0t73X zLȯx鵚1@DJt)[gXN|ߛi۩wgYZ086940cd9990793e2c4e234cb02649416965d38a3c141932b8eee55445640dd8de30189be8d63237 43760af647e811dec05d47112055a1bf84003ff5 6dcac5334257eedd88b1c07c9873c20446f0392e 0655ebb28c54641f4500fd2e52f355bf79db2317 e71e2eec649d6cd426bbcd73a837f16dbef82c9b $O HOL-Nonstandard_Analysis-Examples8Oa' %?;F Xugr>U(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' %?;F Xugr>U(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ŧk=2Vcr .O63/&Q&ƺU |i!dV=+rԵ`K`tUtXid]_i9Vs(c3n1tӱh6N;N :,hpj火1!j,If諸ȴ sU1՝]҃XZTM NG B|y1hƺ^.]ZkEYBR~ <_ [_TWG+&x4ZAc"ڕ/x^~Qg{']e]tTd#Pi|L4Vko7Ϫp ]bh6 -]/(S\ lnl^\-@u<)CBj, 0:~䵕%a&Lm KoQmɎ=v.4enVNEJS8 pg!+@Qf],$EG@}(y;(iecňl;3ȅD\UdSrnXm!f2۩ įѬ RפB9Φxe uP!Wl`fZfσ3Z>:S4mYP\0O'FIgsk(rbGּv'R!t3K6qT-CzcΔ6KV0s[S:N+']1X{69R֓:yk5T'>nA[f;!Գhz%"QBv[X cwӿI18-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method~Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8_]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&s L0\0)3u=xӻ2EWGm2ƿp8QE!Q%F\])fK2LCM'+Dy?Msu}brCWH \a=;4Ds8U?0rLIwfZHW}Ǽ!"ҤҬ,2!!|(}|=\hiNޫ9qnyq&[__{/L0 iyO,e[nFmqŸP)6.Cc_ ` ʕ|<e{C&4 {bu"cL"DEѯn{`(9e(]+6J[xq6_[@?juzYgvF'A(b?|?WvMK'P9]ޫ cl%ΊCb n}C,qC*Ec.#"P N#/9BX[ -/+*͎Fqb͇0A/ i?Uqqx *t8㋺s/! _.p@r0 ykh%grY:9Rq{5 >VAhgbQO~,׊ |<|bQB'#|:J0alMm'H+D!`Zj,5.Lĭ35EOV&F%ќs :3L ^g:,ςѼI< fcqZzV>{<-1ibm4r ĈF tl.<ޱgYZx),_#.}e~*N$)шu@3JYOS~TB#r Eʾs`\2%!DH> T2Mwj:`#X@W#2sP^HrYH8NGv :*#FB{{obWkҨ/Fry,R[on{1Z+;q,yyISPeqD "ىtAXy_("Ҿ>ڑ9lgyK㬟 6Ij)O 01*.]KqFҸ^6wO&س;.P"8'ǴJ;(]2tf"T*HU66%ټstm#Ft yZ^BH< "fg_kY%)Oo_6~OueHi=y>IvϘxmlQ 4rc͓A^١TŢ#q SԤuA-i 'Mo/W/p ) +/4n\/!Kˆ(0$;r,.G-v[Ω_=tㅬrX..zhb'6ǷkCaxgvH"ɥbidv$R.Oi\'v}ᘩTj(k5 OeWǦ 8r\Ms79x| 4f7IhॷuNg RA, פ:0_/x311TUUIEW]. AW.UWߟKzz^Y0h.I^6? '+n0ͺ$iePŤ`AM :v/5ki}^oAٱw/7D p~Kyx5LSQs ?DL?LHjXGb5j͆>J܌kqm(oNqhAq0wN&Pcɝ@BŤ>;t[;S}l[sиeP hɚu2KA`^;( y߆%8?k2|;Ѕ jܛZtr(P䃘OhÆcU#J)]'a&W#KDDslf 䗽rRFN;#u&#ʨoj/&`.9QqкTt/t{D'ʻ%xS2ˮ6K MNQG~_(OVeĎOo~_(]SSɇqԦeۈfAf`Fߺ1d <h'E֑"]?K1'I}@3˜On5R[L0UXRޣ?W3,^&ٕA2v.$@ &:>ϒ=oxNVmx *>8dR1>#Fư0 ia 3c"uӌ[: >$2 6`ǩ~9k@KY:$zM^ڋ*_gЦ}ZlloN`cT^FdII ΢/BVBĐ$\L@gT"bX>ҳPqa˳T s5 EM WR(5 xJgh -cqZA5 L5a! )\ټA:FjtC [~|,DE=i'R)|躳wYgSd'hEqE[ eӋ.f~V6FjVMOwv3  )f# GAW"/֪8-fDr=a,pg_77q9my`1TA2Hva0/sy Р`T .\a:z! cp E;h~"٭DD3]im.b "vtLS]! ۜE _ppOEY6/HסvVWRHY{=p8&fK6d}˛5rnZKB*Π쿟+Y n\#7ȿ@<Df= xa(sKJqqc,J|.IYd H]F(NoEF'~Dخzt9dOWY$]04=>ǜU__l6|o,N2b]gQW(5Sl;m۹xE8)z km)FQqjt w͠JAok%kN#^ʮ!vBiEO V휎+@yY'ZI'(T%n3 :JigUc_ɤ頎XLk܌8l0pOÇB}BfjIBSΎFc[[}N~yAגRP[ Z a9P2W8tWeGy̓r" ^[Ib,M9nނMGwn 3N!Tf2~ _ʤynkeˆ2}0E@ oqnyiF?y>o:!6_^@w~nOi/Q\Qe"iH,K G~b-mmno`E*%ґEQma1eқI*Ҝ%Nܟ`c-\.U6O4 Y{"zێ@c|E@Oa5F'?hdޒ{;\8F7T`PI)ӛ[5qۚɨ?_E bqmR0y3 #3P7R4V Qx$T #\U j_ aFjwOap$Dr#+$#Ո!>#^Y P*iYz^ riK2sdI)v]A! MDT(2:|.U0N% AOx :{q6o]%U훲KH6\S}E$WM:ߺeĉ@?Q~@.jKu]y9!扶š0)\q%=͋dXϕY}|e{;d,i(ۆ.P7RR,ToAb$AKH*>Χb؜i4> nWB,ǫjFL|9PiU[2h1/Z1W_ohܗ_YYCB!7lb@bzPXVTWBԤ\)9^^Xx%S-&E>q\z(G#_ﳞ= O; = Ĉڋy<g>nD]gV.34jJS ~ 7\GRHeKf0Q.#K>nH v@eHϭ:"X ̇]}|Za ^!sc-[l?S dڶBLV{U_>g4gTlā>X"(i4ky.̋AN`nW&BpHu~{"GYQ)9 $ Pܐ+yվj@)\Abl ~, 8_doOBv$A[O[IThZ!zHU-E}:ɌcA--BIL1YaODQrXU򲑿,ݻmffThmDSŲ&Ғ޹26xn'X( 7j sqRنkdFߖ:g-Di53XQT'{pVu91{1=Ht Vϝl iMЌFa'9!vT5$inW"8buj6b*_fC2cRf:1O׃'$( Vsm1mjCA\]޴@J rs>6=<N>TCDN&1Wѭs ck8#;U x,⨿uꀟg6 Mur2؟Sh9A#"% :PGtEشܓ\XGM_ÈynDpGi~. "n']o8N]un;BnjMozQ eػVo9 > ҳ0 D\bVW]m,LNGjjIyEJ&;PlAX}7%d -ֈ WM_C{ŵA֚`̞eY CSSS4U,(w( yUzIq!>o!ʐKkkos1s_ {P{3u΁U=q: .I1Fl^?ƣ3dYwb X㻪"r<IgXnyۡNI4@e!ݔWze.RP~AӅۨ9|TBтgk;9CˉBɐt|j*C{ߞZ[K~^R{BșV!oՔ:K>geL0e}6ػacf10|CHcZHP? pOjE$Ob2}Si@.DO#<%rO9byn"T:-bD)r"(bZ'V zpMܿM% MH{\#%ڪދ/p޿M *GQ`cX~v)#]8^Fa{!Mi !PjyŝA7^Id"h}g+{AC( ݰl8K?JLleo VMvI8Og܁l@֚n\]_1}``8H.a:>οga4oQ7?ddSf&^t=5[zBCgaJ'cǨ̓)g՟-$+s8UH,6pB}~,fͮ*$D {?dS>,1) .[rx,ʱ[XȨLgF0?m['TµŔí!v 0԰19j eG"<+ c=maܥT/WBUdf^5&]r~mKgsEȡo+-OW<&՗Gs.*ܿQ0s[ZN'N@'ǓΖZ"ȭetJ.~nb5IA~?tu_)DA!c`:Ey(v>ŴbxpUt#w)m<:y[jq)yE04f!jrBFeuIRQ##(zėJYР?ZNlJ&8A}O5}Z4X))QJYhBoGn)-{&ĬGJYI#ՉH󿿆V_T傥l+"F"qw(zN]̿BXEhlX/}Nzolj@wuFL'4fCdɣ+? l$>^)..|=!{`E(crth>1EHEZt&3w)=t~C2o*mXy7H8qd\/I5puuπTט$N I\Gef`&j+ =rI1:lV&Biaxks`U>򯇂BBSQs| YR [5Xjt-Tf.)\G |+9AW\:HWA_R<9OSMpi0e2^>0}dչII:Z@pҴ-_ TYKn"=e|~= Z1U$NqoYқE1yV6#)/,-宮bDiD^Mڔq)92f碒_ |&sZQmON"[l=mx̩VB> d7˘c٫j/F.da9`> 8"+Ѻ )pYYQisL o릎p;QεD 9Fm2 S ޚ%=rռ Vk u5׽VTykcGLSʶ\n8Ȇp[^!&D-{e^;+ F2=Q8bQTnMYZBa-pL{_A1}3ۡ͡wh׋LRE(Y)?ބ0rs|xӓPVd^/'Y] &6cחBh+KZDR 87qLJ&N|j4eWbAq-Y{ʍzl='aC/_yb7w><*v O(IU;H g "Fr)Nd<\9J/trq@(G؛$!fx)DYD>8hV\g Yd!CSQ ]S_f(ԧp);͓`wu}Ug,?Q-#_i%5OW)SAD嚜\K%ard{ہ(c+#Mnv9Az'9H Ӹ[T36at2S{C42oM ?px|Iw,[8GYDSZ.d U_(VUۺ Gjg+ldɕ)]CRըe`Hc7_ iM+VɼH#`A8${[=j~ =hV ƺ g#i} |;cGD920?cBԴ.-V)SrD:#?S$k%Lg01Af1F5I-xDx`g{f)P R&듑pTc1) ]NgΙgH g6k\f؊RAlDq2I{q)TF 4r$9DB9C~g(dXD;ogLryxv*ܷ͂ O&0`T]4uh?sS c gaUpE:>3EӸⷈcCS0sGm `0Z00H>{~mC |DnlKBthJ-C*o7kpf)hCjqGѢY꬯,H<}(C/ǹ mU1{ gVHML E:e`7UʥIwR^F"Z}f]%p/qZVǵU$GvZ)V( R:`6Hp j[Be}q|<*Ud؎[J1z$J Qev7(ح-x$(IBQ痮'KDsFhA'9jS9GYnՊ[I~ar-Y:I%d;7Nd*y}3D=4}`xORQ3u8MӨ`Fwm7A^ֻ%$q(IeҔ=)I(؁ıʆkR#h,wغo7i?nǙiZ?f=T.(<"=t_we^ WTi:]+4z$C>HU> [$ &(?<npQaZ]Aɽ,w-Ǖ%,qc/hma"&AسlzQl.~[]]mA.)bL\3Xi[;7d,JdlW62Ӱ(NyJ*g\9)2qQޢ *$̮RaK *1P7.mrܤëB?%"5&l%q 8e~UY#t *ޥ#3YzDӦ9AXp(hIҤMgSݣ<@ }2T똝-3 ^Pؽ:RFrXcM*WOd/'g/ =z#( 2گҥRҴ4^F,G. ={d;+#&]Us|,7شO}s+g>pHb8#_xJ;@mvn_|ΦП17=c`WPqWcKAEq BÌl 1m Kkg#.FKݜbUIsMsqɣӷE%Z>? )XVO:  UmʖoJ$, ջ(/UDe5@3t#37*\jg8Z}$lz3tLQHyc4fOkl+0=LLb\ZB ,dIsrI:z",HYA+&fcFB6GXs*{^EȽse(-7x8kcB8!U0qdEi$viA˫Rx(^\<`<0o^EPvҡ,ΞD}/ќrR[ﻑ--rXp_HQ{ p%$>$xya3MbA #,v'ܠgFHx)[< Otצ~!YMY*'cݿ@Ht5A[k ξծܶ=RΡr=6!ů4D"R!WJsQ!JHr URYecb4 ڒ[2" +l1WQw)9#}S;RFG\EֱcDhezyeY|xfZvzF t'ymk3(w'd˻>-Y]l[S7{_ ҬFNiw; ݙu,̑짅{!zk=Kz=]|L30SҮbhBԟEđ j[pg t!LrbH9XJ4 s6?m3Ӳї1t4Uh&eAz$Nˇ 5lL1%ԏrU{.@Tq W h{ZAi{{)z%LeSis1 0t>x"V\jȤ85xN/ :+*&ѡV̓5{֭+]`.[nYI7Dx8c=\BhиKƋ2vw 74_׼Fn9 _X̚Q-!ɞKz W6kP `r9V"h!ƓA"N/0?W "VV8i%9Bsʕ䕴l3n th.kG''z cTY%fM63$t=\UI񃯬(GH~#-vjivU R; >r\/&E;` Ä DxfIi EH.:t<i&>ENԾ(֚Mm퀦 8ANIwnP,F ]2Hb5gGqKgkgoQ~]ooRZ?+ ʆ*L NanOa{Y߻&mݛI: T/(:/k/m5pz+,2Ii|o2 gYZ CCd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\iE[DZ[vˀF(\Mi8 Iy1 HD1S yUjSEpKPI9e۞Y?¦E!}%lF(;X,٦^`[ !xhQqI P_Q̵͏&&[fD[^~?܌:? Ӭm+v@v1{QE##K0ԟ32,',w81b;H]ly(i&^$qb;֛ lk@Om'# "gYZC Oa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y ~JQ o`|ݜf`8Þw$m;dGcQhiF8bU% Z=3ϽVIW-Rxb2)MhySƦ :ǴMߊVc ~D)\Xf:ELɡS w?S|9*uPӫE@ڬ(>D_Pf4[VOԒ-{"cMQv])49Wy;݆./z֪γE_jX߷p=vyآtκ.  ]k A^zξ(UٟGP;ozPHz[ WQأ%:zp6WWKFIѯ2EE&aeԿ#B*ɱ_("#Xj^ ([\:|f?uup?h>KL3nnP RmxY}~fo9|N!`uж-)W2SYML1¹xd`o4eH2A_=b3Ό&H4&YC RQa : 9B!%W :z]IrE|XS,L> 4KŰ8N O)5c7D#8 RCڙpxS1e/6I<ɲm1cDPl6Q k4G\+uԲ%QAn1=5lO+l1K wi^,=Ԟ#!Y{-7+UeWx/GP"jAA:Gr@7:$f0>y\pMbqKt{;vc4կޯExEEk~IudF7R }s …SeOw븈X³BJlX"?t7<ͥV%]D,'*rAӸ