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.828cpu=3.852gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pJC fPg<~쏤=O}4{HKKf%ùnWf8N h@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.843cpu=1.663gc=0.000fvYw_,}YZ7zXZִF! S]ŗXi%?Ջ *bQ~bh%5 &;9nZLhtXT`O>j5y0ýq ?LWزu0dk@-oe^=ԥ@`Iwu#sqO2rw$ܭoMhYm#Z;їkU܋yF]FwSf0ιl!c M:@u6\v}53/ʾ29jkYVD4[b1''6NtSo cIH ")!Wf v[E6C` oѳүpy_%5$ҊM0u%[>Ha.DR֦ ~:]N]%r)8Lk)+U!0/5 gYZ747f47ea668c6381d363850219f7bd70f76c5e6ca11b8ef9095dc18af944c405902a78d4207477ae 5ec3732189714985ad51626bd5423359bc41965e 1466cff712c8315592d942606436cb712e667f87 9f3e677fb86d428478ab7b4789a424447a1271ef 39105066722de6f0ce57305bc52ee65d51dc8658 $O HOL-Nonstandard_Analysis-Examples4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! T]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-(O< YJ,JuicS|xdɄ%b?qu 89mu?@"sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B9p]?g/]V6vEnGWL,I,lb@Oq8ha 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* 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! T]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-(O< YJ,JuicS|xdɄ%b?qu 89mu?@"sgYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B9p]?g/]V6vEnGWL,I,lb@Oq8ha 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ŧ%-U܀obޤWj &:]EՃ+K %Ͽ;-%/lOqd%b5O6)N?Ccd ?i $٨.5XlŚȤr F%h踊2gYeZ}frwErpeE!}IGV S@aU,sFXj%QI[J;CfZ #GS7avk3T n8bfo ArE5 g}ZIz`6Ю<¦X5깢TأljL7\*[g;s@p 姿J`P" Ib H<*%Sr96߸)La2 Bs2HA3ݿfY H뮒!B6*n8~9HZ.WOf`,G67=!Q[6ApJ8yN'QSd-xױ(rlu&@'xi%h+6Z^[.r.ɛ9E69Q2tŜ5K&WbL/-s#m("]1Zaa]SS$̰'(ji>>_H.GgYZpfniyvT׹1x)~!r4Vc ?)xrGX= ޓZz0x%N gͷOpڶI_})u43)8ZPʧ9#5䫃0&x\8'j%_@*֎?9. T^yѳVe*jKۊ2MEzZ>G.)w<++ iiZZ,-T|N΍]B8Mhh " NaiqzoLe 6BX$넢~%E_Ȯ_|31`7Ϧ'4Ed)f]ަf9lW)I?JKdohpC:HU[ޚ!*ai$olC_n[-!w#} y#HTGoo-mo瞯w8H*"NoadsǯzK@[V8Q*v&l,4 x4uַc{]Qw|h))T)J±,/sPXv;K^  u T'f (э+"U)(k9KXt,~`Q=yiڴ{Se8تOFꦜ63UyJNJ],y^ӅWu%c25:>H9̐dUK6gS @R )>ۂWB|Vύ/&9TFB̅;9;o ~ ד->~6ơf0`ߤk@x6Aɞ!HWH:&0e- ]=nJ2 2LꞜ} > v`XܗN@RgRݣH"2~տ_wp'Ӊh.#tޭe2!- E.&ܑO^ b}i *iZǦV tcŏ!cͥ1 1YW}+$er)?$E`7_ &Vw""XR[X3A3r?1̸sd@5djip`M;O ˽%U &I?4g0KvNqqպstPjQ+pJBf29Zj(ll0)ö 4}Z oNor[9nV/- Yg+|ZC}[* ь#s_7K>CY!m X|t`UH*M:#*Kyppk¶)N{CcYe΄6{(-^Q3L4Aoo >cxc]7Cx{,5D}ykY0.K 8X o[j nÙ;GDKnr{!ޞk\ovWK~ P݀+ <܋:-. pN.|TeAONCk&!>Ӽ`_v>};xB^M5 nviF,aC̣$]!䁻.h3!Ҹs߼Nkwq~ }6˙4Rd18l[hqL?z.{xb?%< 4 $Sz)y7!nF'>\$ZLj[ݡ!Ks ωaLb"OͨY;XTX-p<.Bk[n\&&Hhݮ4q+¦ndAl! +vjjS@:E7jm !{E:q"jN}gH*+LbGnٍ%g*+} hMk[32og]3_?G.{Cà3wL@vZƑ%B P6s\8;jø N<dʲF3:0eS?|۩߀H][/oVb*},P0|zI$*_%*nodҷ0Z5zlIF,+|1Ǹj: T3{3LanaYvZ.#im!sӔvc]{Z%lA|P?-(EI{ < $e4O@C4i#f9^Dj}QRzVCinN3HX;)*3tc&>>iQ게ST1Q8 I .kgoӷU (]ǶpqX#g"%2f7\nd9GN'Ø,&uY 2*C]YR|U'H¸dp( $Yl:GR[K_x|^Ms\B=jHAoMrҼ߿~oro)m|}Osctr9l-6BFz4+rYj1`z EDX4p<m,6ѥXS h{ȴb$</b|ӆ Yrr[<:46j/7H.<:%C*! ՓCvT<"(&S#I"Zq1WF3ե_\i LU0VtgT JQdB=u#Lb9t& }?J DseLq~xxXLZðAm0"Dp]+)qN 4  Oq_lu79!tt2wh52۞">}$05'>-y[;&U,`*Z-mo_δFV4P2[]F=8Z(hH):/U"=0$WHoZ۟N>\cI/";ؓ;`hq5y`Mn.M\ˋdTCL都 >Ts*s{QBG:=&;_WuMl~1bUFXפ+0o&"_OH_JI5m0Jts0ldžjKVS-?C$Nϧk)U 䞛 3"fWe,v冰2&8#١N!rw >⎏F\V :zG$K\c"h I}h<Ŷ0f8"(ިd慖ch kPO56c}wCXTLWFߜH1o_cR!Dǥ~bU[!|˃,ϢuܸvxٔnYRhHOsB,+5%,Є:'\򃄙..РѐO8(A3 @/(5t\Aa=l9\,Ob h̰ oysTQE7{f>z@˿FaPe fKSJl%5^kd[p®1upat?+\@FO&Y|ɩlC}l#8fu:<{@({v}дmx_Ӂ47n+[S}FiߺXU eRAlXIi6T%Co_쑊BOP  E֛UMcbT1^nq29<٭|ꀉ cMf|ۡ{߁'E%#ӧlXN;@m{ڰ9E2G:sQGX!*/bFs8w6p1Insp׋KB΁*u^~EEvJ @ɟdp%1HЏ[R\q6yhr;A,[J&<>k.բ:+:;c ^~sK6γߊO7ba~|H]ԺL еX\]KE))Ϫ!T;}i> ֢F{Mq(oCbladvjg-Fd%to;&4RE b{{(| 4{z}>peP_ {*uO!]k;,w3LˬΥ5?U i;F-<,ArDgE4[kG ?.f w$ ڹx~9 )<4(KO_Q3*ɲt{j E{<-aw[PO 4ߨ.j`-g)>ީJcÔY^=n## lF(dW=698%(Cp-6G~^i}m9ʴկEO}F9~ j_mA\9EFzlI%/|dt:Hfd&vY>ـ<ìZ@g`r)ڊ{ Li=]׾X=Ԅԏ+uB7PstE I+EӢ7/cTūcfR^OK~֢nMycRxrjw*l-_JB#D?u+_5N;Uƫ墤NAD##X(l9X  73HbC'e-~*{H:x4L6uf*ToTL ;WbI1.= ULfI lTDzo#Q7n/9=FqB-X-fUxYCk!t)ϰ@?EcǧÉiOL/劾x uف oXF1yN67f '^hwyEuH"$[m1|"xϺ.7&'O-zXH!kkEn䥞ít" wWz];~N?u& )4kqcf}tY]hn ȝ% 3DA7KQ*ó|*JI&5JM ^CMNJ3%^k˩JdXmcy4|-5ƶTͺh1W7*Gj'ucGɂ~AU۬2E Fdos}ӌk"VZMpZ "J ##؈1B-Cqϭ5<6c(ѥ94@f`x>:ջ3 L OBOMMR C¢95?QR{OSXƫT"5@'?6`~% i;p@Jj%%U;w6WZ|fODbawtǔ-h<`K^72 1QVlJ-:Sݟ=6h RE2޷97u" x&o`qPǨtT FBnĆaUp:^aeKV#5mT˭ӑ[zځgVw8t FsrmP )!5xQ9򟅕!)# .8 p+* 0 p=;#)W_ûQ/i;@͐CkX,As4 {=W#exNI@+MW[:E'خ8VY%%wq}=&PVvLZ*_`SkuI'k=iI,{s&#!?o'` C( C]K, Y4`K3iCq\-w/b9OT-.`H}j2J*m{IqV;!8PY]&byH9_O<ߊ}H*J7 śC54Qd=-drgig/uqfC !Nk.($i}LJ!R {!]vW^8,.Uh'gfV4JHp5mA 6H%6/FvҒeL >J9^pc'ж+Gc fTcO'g) 8}k9j #k@qgi$I_MJty^Ql>PJH;t2读xD5K4mzt.`MiiI4s:ƞ[/c} i!-۲Im)4[d 3~8C[BDk7biŅ$@xu@.!܁>%MiЗ0wB]Xbǐ/Fqٿa :s6+MۛW57"Psj}glV(jzU+vՕ|tF) N[$/TQ8 Ntw ^TD?OdKxڨ`Ħ-l4fJ@jznڢ r ml2tBYbNs۸9ggPp8N-WIݺc>Z3W)*gdiTM‡F85v 2ypuV'94e:  cI o[>8/e5 44RTGAIqh y/U!y޵(mIH TI? s5 tN5梏:›`gG~!8Tg̓x ݆R;!>d|c;@pH)|9"pM_]5 bjMrSK|pWMt(8,+21X"ֺR$;^5?)x_t[{+uȖ">8;%1w<ȼLNPv]Ukz3]  B@5sHL] He0Q8yohHRͣ uXğNT20ޝCJe'!чvIB#yQjA9g3Tn襥FWX1=+4z4*@xXuzv{ g3'[︋*" A3jĀsfiu,ߴeH˹6A[ z٘Zjghu}hi:d4rWXRI׮1?G1D]{ $}lmxm#EBTHή5Rŏk3ȃ屮Io=%vӪd)o_ly@L҈Ai/UvUI8lF>P,8z~ȇ9kTz c+_ra$MD.!{mAx"\w~ Y'g{8Ðsz>i6/ڏ;mbJIC]vma'2՘*aC&aCEPW| Ձ2`Lk|14bB;;I Dt|7Ru_7}.Ө3鯚,1|k?&FVWGmK1"y"•Iyfh4F$U KM'cMmHy&ә ٤ZP )4=$tc1 `X-UT#l] z2bF0}q-W yfJxG+·F":v5#3)#,aqdÌˁ ˢ^CLd4kBO#@I8MM訳 R v-حLB4Hg ㎮_F3`=3 /\/ -^H0YB08q#[(~TqR ͊*PiVzS nWN) H2 kNfhyJw yI5sF:yF!_FE|ܣN@ LO"xi殫븕pTW3o2_bʡ3LFm >T[**?YfG,K#$r{f|Tyi85zߵpp1Z.Q'e XWl\ >;t(6l@w\h/PxLoѻu#5x֊1oW%D;/wYCr9!`C}:5yP kL?1>c$[cP;X#<> MoAC@L¸閵qq;CB_)B1MXW$];}e~;tuw=-D Qk"sV wW&dÞC5d,*Zk @DPtX2f?{A(aIM!5f㭰"M<˙ujd2 W t'>c!ԩ@pfʧ2H?rrr_Ȣ'o0͑C0H*8zQT)k(W^xr|52.of%09>jg^Gj(@*UH?q?PlLlW|"j< }ƈl國u\XS_Zl{!8oDgzY9wy_| wh-m%dm_ZSTfijV^=%iA떜$qtγZF0H#N-^;m g7OlHK41Yf8%T4_Lh{ᚿ}h\5~Bw\-*>9V$EԑiQ}t?%}I 5cQSE:Ehr\+.E(Ax $%l9nZ(„`˷~ߕPiO]m/^Hͮp.3TL\|6C|Hel0&0S|/&mpT`p:i~!)@;IT84NP9&Dadu=qZTWyu|ϲ ybE_a nC 89t=8_zkDGo2 gYZ CCd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\j|c gHnuc;k= Z1ēcƧߟn̅07aEN. Lk{@M5dŒX㗰)PdĨ *nvH%Ż-c{G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y _&~bz T[^ΌCQ<^`Z9 +ܵqՇ]lgp RP_7-y˞ Zl6觊:g}uGScq=Z%L8_4?敨x(NעaPbZhQa@.h E$+6f!)ncUb i*#kd٩X-oIi$Dv>jRۡ98W;Z|KwxU!-YxZk(mGYFBgF 8,b׆ p3›6>ʛ%k:R N+Π S?}d QcI!OCj BOFn{rYpp , R'VQPƨZq\h) h>t::'9.m }q"~R-INtzP;\V}lCՙr&[W )Qbf狕{aQ-Na}ۉCݢM,@ŸY T,DBo| ؍8\z!^9T4>';TǂH@ct4ÿA9HPff~{ou<~+ k"5(vǞ΅!ȦlQ +3]ǂ1] Mљ " C -?Tx>XQUI (S =HܛќyS8k)9ZK'^ÉB"hLtWX)BZ7%zg7z J""FVjmg T:-&P|ve