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.830cpu=3.866gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p, xk)`t`L!xo~ c]TС -zڻLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.843cpu=1.647gc=0.000G2w_,}YZ7zXZִF! R]ŗXi%dL(&Ͻ=xi:{_\.A170~|^@ƶBܯ7 [#j*zX:C$E_ކ&#!{c XtWKؘ TQ VQD8Tk2g}'P1,7qG%:Y3#c h-3wR96+SjR\5=0Z3w@1A/)6U`Kc%d%mđ0!j#HĪuzql2܎;i5K\F4]ᜠt8*dU cG'wtF7^.e1:@4r z`VhgU¬Ƞ6UgYZ4f277d2208410e9ea8febb71a3feac24c940653969aa70f16755536fb90c293b8cf6c5f43ac275cd 5f526e0100e302c086d054bebdbf267155c91c44 6f8905c590d176fa29fde3da614f02f7dc8c8123 ef5faaea8994be6eac35675a7553ff4bba6cfa52 9b80a994bfe834b028ecb25b1ef3a4c6e8e8c15f $O HOL-Nonstandard_Analysis-Examples8Oa' ]sepRP~n4z1>eV+ʟKy[+9RHPLx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏٝsxCG{cd'a6? S I{Na=-(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' ]sepRP~n4z1>eV+ʟKy[+9RHPLx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏٝsxCG{cd'a6? S I{Na=-(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ŧo͂fѢ~6 599nM`|msS NR,Υ8dX=_XsѫƀTF/^a?QBEǛ ,~ /NUkEPi2:>g-lg#a{BGHGTM74Lx#-z:l[Fr$To0!lۀVѼWaq5r߉QV[% !w/J0( 712v RS0_±mKDSjiFE@.i?Fon 7<%+[+E4K#?C5My!Ù -_Oa)j08tM`qw 4blw0feP-j]vP{OP@HZDaW?^ϪI2ST=>N.\F%!~hX܎<̏K{B}d՗^?o|'d_8R%Z 8܄wuds YZ8MQаo\Z%ccev^-9CEJ ( iw ^~ >6*j tn[\њ?.aυVK K-?Icho "Ϣ] h_MRszdo´~yﺡ=>Pp,?ّ"+4g1MF)JvƂ=Y{$?&aأO_F3_\2\<}8s&-KsfF7Ev![*S zCa#u:hw>A(<˧8BcqCKبB'aو&)}nA甭Rk<сhɗb4L)\Fp8i]է!].~BFd<3MXڢX, Ų(,8D۬rP0WP4!f|[E)u&4Ɲ(GPf€b#,n\$3+D'bngSsX媯j}C?Buta3c(&ʕ})ύM(8 %UvLB‹ι%}|*bb _UZ^air5j`}Vc@I`?գF p=n|L|EfI7W-G`^rE3񚂂7v{w%EB k^cfTh1c'PQDd~myJIS'9^^5rQ/y}: ^>UҐZc@5u}xNNQrxj+|aw 7Ěl1 ;6eMpt-f/]MUNޙ.!}/|ESkwŠ/;Zx/k&fC+:ʕHFрx2t mw~n `*u9fTݦɞ F]2M[y.!RmcZTA[>+m^-ɪVVx c/0E,2}^': W`ȎSN=2a4o{GSM -<'bE#[*IbƒqHwi+(eW881ah6@Q4=rz~Vl;`05 ؂]|? pZ-My1"ncQu2R RIE%Dn02Q؜2JG@NPRaUjs7REb\>mCiE[oqpDP* h7Ct 6w}zirK!aĤ U:[9 ǐȲg%1dˌ`!-Zz`+g29W^a8Zy 5!\뭿:O8iښ(0fzB&~ {C40\)"6YSE$9FUr1қEۓ^u2"C+Hta8%#ݘe`>|$R+l)LJB0P;4mL[^s=U9F_hiڍDbSR^gRӳʤE}+n>L^hQ`ɖG)\kw0x>4KPbN(XktA zVU1WjlQJ(*{ ]_z܅0ܹ!P;Jmbyzpn<|e!Fc?Ŏ92a6ۜWּ9,&*xayLQv $ $&]F(ܬc|3$ ~C- 'mΎZ7$)W#Ɵڴ PEZr\()7  8ܐe t'Rj6La_Mg -GsUddX"A=JJ(g3rw zns Sv& ?ɑDZs0$͙WA~Dh/'{{a`[- )pb/|م -9w֣9t]T~ ^z7P ~: Mq)Zf Ppisʊ=k"[I.@^DX>%͚zD8 +Ls/?@cZ1)*&\x.u<)?;!_]o/5؇w٣o!1e :vM%. o%jL.I5FIzY%}rb>AYd%eOs1M0Sx:(ns,[^{,Jp=/xhz[*7T>޲q)sQ(^̩\iqR7 l$$?nk"oӈL;T5tPVշ[`!/ֱĴA,##;9w¦ŸtÜrɬ^*t+of;gUCe^N&|aRU }"]-CYAUj%M8[rS [#j*ex%͊&ۉV\5'Nf="CD)DY{Vn 32@*]j +gXλ{4%#%HyFN)8am0G=nB}i?SީĴY {?H 8<3-,n$8os~(^"YĜٸ' ϋZB Ӻ>\&Iu\7^Ä'g?NU)->;^0´j ?ETwUx jU9MI~RWP0a g x ,Vp®%R?ޅ}Bo)քva77SO'C&u+/SvBN9+b.ѻi::dzE$p,}}.^zоOK#YYvLxЁʨ`udUb[bC%~;"Jd Th /3{ѥހ+[w"$=cZ;+ u!a )Y2u:aH;o#iv˪7>T0lB@Gɳd! `?ө״`Bi̵zF'nFa娷.e Yaq@Ip\͂*Ytmp ua+EekP jZu _w$SLN@}sAԓiՏq?9lchÓv05D%?,&h;WK} q]B cEJǝMH&ռMy-8+cS#CGs|υ6jObsj{j ڦ.F-XpW*849viLG[9n3eA@sWAqkR6AӻN9C*͛㱍kWC@8lһz{{+ t]SS|lql]^¯KqMoI=/]zs |g5 _E=>$̛߰,w6$b>e w Έ`C"$% )Hvv2M打};_]!J50LG[q9r]&΄&K=`auZj`JK"NQ>r2Uy7ȆS Xv|OqC aWLz.v J͍Ÿ́׽,owq=Wo4\wR0$8*(ʼn^a}'{v$߀4g7 5C'wkMo 찮G w$ [9i$U@P;®^TZi&ȢN_>:.8: b3XJ1ѷ?S{m@^75CcRoW9*v95 #0Ƀ_:`!Y}/`z. 蛄[_oH1ew_A _8m\* ;H7"Yu.wEA8&fE1s]sX:wgkLGR/"a0dq ]:$Kxv$i}nk ;i㒄SِsePRvbd GC`Lrbرpx zDhCǺ΃ay[A>rfYݪvE CzTIs<>X&BƊ5Qٸ^R{d3L,6 1<*6bd{vD~f0>:㨰FtbLSv+5nhMކפXWO8,G푈5k:,E{m.>PK|LaEl?d 4|U\MJ6J?ڽNRaJ=7sBwH-|K}Ob/ /~izϾ4Q9Oφ )揻LQj6o>h+zx!2,AY՜3G$Lr—߫|7"uzr_k6"*1JU(u;V=v7p:JC@;0(1+чky5~C|I⻏(ƥEoΐ?#N9sD8IbcLk·zߺ""t;XW>)tY;NOrez[![%\.5 |K4<šk/>]3=0kSk7\ŇTʣzCk1)-w)RMkݻwph~vjQ": ;?-鹯2(ep&`5Pt Eߝ*W6W&yL${i<*n<Hdf ,a л3zCCYWԐ/+Y?Fk=& Sb93 cavB)̰׷逸>Arꝭ)CL;} Or x# G wҎH ҕpk35iTFJޓp WF)Skדvl0-ST"3$9U*%|!h#WW HCz٘hq9[~vÁ~B*dˡ8 4]ܦـ&͍X~ݏQ,-w/| O+yQ"*os6D9 rwh8JFQB>:KmewIvMΝIOcԺ˹+VNu@BY Dtq@G363Sa?g]=.H/weӌD+ ELq2~qϜE3]r.Mp@5,#,l38=pA/$,7tQA1|\eJsa H$)s%?nv}V#*Hy}O91@J8{=d&ABTRYl5ǜC{a3HT2QnI4.0 * @`ӄ2" 'u%Pb3{9DI2epQ5 =pKCK|7e߼M&`p=  3Yv9˅ij2*oˣ뺁VK/ R]n =Ͱ[! v |uY( بÄ-~ā%WyH_kOu*N1ZABz)JOδ'b9l3nZwoNmׇ{N.}t< X_SDFVMcdDk]wjI qN)^ vzͼGvPy|">0Ϲ|Y:,91&+Y,Xn m.ІijrcQ |Kђ>p&)8fݖ *MBcil޸Iq&mx>pe{V`hoߟҏ"[K,1#=w#Qjӈp^bŴwt\oCSx&XQO7lqWYHZ}$ѥO VȢq26j 75(һ-Ra4RPdGUzWO3_hxA1Xv0yd !V&dr˧,Nl%&@0ʬcA]P#Z"MjhyA.0R J]%F8 Ef`glܰ5AsXa蹎.X~(xm7>MMRőj,Qi5;"̫<pgb\FL&@v@/Gyu *Bu3K2|Ԋ J 24š#N5 ~<ԩj,3ܢA.V1}m37=樍ĉm gx`Z {†Y!Q7 #rXaM(zL̼}giݠi!x0fb(g! > :m Rq2}\1&6MI;S .nO^[asDc t5QHԟ =E{?q";9aArVoIFdT*BO=6w\[ޖkq:"-d XjD%# .GIi֖;̓VVkjC~v~V~ȮpIZi8biʋ4= .4g'XbF{.wacCI trHnܤӾꙠ:į(EG̨bFӹ\vU#Y)$*RKEV^)^KqAU@s0@WTz$՞iae]_(ʻ_B=E".d=4媿z,=csӁL]'!Y;"2"6nP%D8&\ֱr66K6ޒ4^m bm*  & C\EN[9>"9 {X_KWBٕtV+F(mMSQ&=%*eDR=FIqz񧺟MlN /[z0?h4ΥV9uIe +S2247pI K+t HO/uc79{΢adhb3{T#'{&]tԤ04FvO0:r"_'$pw(RF? 0x̖ӟbTNƍ[|xg F1ڗ =De\W9#@ %N?,%Lt?c?Y3`!S**%!ؼڣ8$_KJ.b/r,$%Dn[10߇ΛI0 cFikʇ>u${츙@t8Hܵy3q^el5v 뮃KJO5aU'3%rl?HDsBb9] 3BWdͺZwoSBg-;In5Z>auV#hʷN-0h։>*qϝ"-NA!4X޶ȟN؊/ib"ȫe/;M*C Rsr쿾X7T`p, $S$/fȽX)AkA<~7J\}VSx#B-+W|ܯߧ t6p} gŲp"՛SĜnj; B_ 5 $ EanX]8{4cBAm$o[6:ai/MiǭhU\=#Gv&M;T 26j1[0>Ԋ3WM*uA k|o Gyzp۞2f$d$[W>9 =T$Vw,d'L쾍^ėQLn;-i9)Սo.5 $#gS.Uq7"Œ(-VHZ!O%Le񻞷;a+(@XH X)03 sCG&YQ@n椁o}+$ױN9ae?a@T]2ob]jD ?ZVA)Uz<שda\/ZآTrY@my^S_E}d[fWBo6#t\F1F-9ր,I B؉erH2掙OE{b1h­CK4=~ͳK4aOd0Bq|3\͈Zg/q:Bt̂VY|D Uu!҃יfԜsZHƏ7ؗ$?e\kcaGcsd||ܘ\~f>:ba@G)hb0џek7l٣JٱYI"aCEa޿z' n D5eWˋ 't|ZE_ VUæLMdljPZ4GFiU&M i:3&fDrdQpT|=}ό1Hw dp99%@:2Sb^]x_?Mr?Go>s gYZ [[d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ `UNPHGQya"+l$Xo2tJ>ËA}J͒#}eі>nϤ t;ިEw &_o~š)(mYBi*DFgП[Lw;q$һ)G;WH98D‚3]nv#KQ7A/| /(PeW l2,6?U1dMjDzt]8w6K95T3`zi]X"#S[#CGN'^_5 |8znDݚ5xoXvT*q}~eFˍ%lv[b(yqOZ0֍j:qT'sfH9Կppd]N]UHW7W9E$/vjeOsdH+ mt 04 j?PCr1kR "gYZ+ Oa# $HOL-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ĠG5eeS]2%XO .ج#PI2mTtPEԠҌqPu(>xV"G#м<%ќ[S-((M2YB!ėB& ]Ŷ_~ƗC*"J찝~2ba{}Xgݴyy(۳PJq{{GAnYن OFJX.Qb:n>cD0/y0ou&3̧l 'ᛉg}J%}+On~? \iحPMP}?؜;j4o[jx.DMБtTh R}fȞS?s?fp$1ֽav..N1G M^ɢԁK u]hWYw'^&ʫڵ[X)i|m7}S@}8&Yj0|Ch?' VZi?_p'?uv,k }odC1S{t1Tlg ~eg=[@hYeUvG.(X%qysܐ8jmEH_xL`m (j  `Ml+3n"b^U&eg/GcDӴf%@>YJ}g]zWYivxFvt^+e,ŊZ0IE/OSM)V~9Bm4vDTA O#ORHI)2UP#Y분:Z;]ɰW[*\Ѽf-*}6t.N{ְ-ߐl/0\nOs k3 '/m¤oKnKH^A^9Ge#M6t$c43ӵwk2suíug/P3M|H\_Jy9et+ckK$2#O8AXY7.knmx霤1:Zw/A#":6K%RPDcD[]p4'|` -vqBmB`^L<+Tb