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<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.795cpu=3.800gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pRhH1rB. >58_(`72] k")-}9w@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.829cpu=1.611gc=0.000fw_,}YZ7zXZִF!  ]ŗXi%:XU4aͭc!QDEC!pPM?.EGRghz22Cpb>Xr TƴE%XL<3\Oj©nhwvo8U /E8Lc0~$,TZ:kjc]ӛVZ9:)Fz6sy-Ece<Kq|jHhCf + l"H2H~$-n6sy1+*6M˥nhƛi|0$PJ$e7QK+. XCi%g%K+n,of+o#I(?52t- ,7kYxXn;J!-l@&{5$Z4TYwbp(/Bޯq7t? ?yyUO$P♞Jx´Q (5'{g` B0LTSvtOs1m%αyTYMh2 gYZef4d7b5a49820223868016d1492a494cea0fbf6a75eeb56444031f228c4d12fa7c975fe0361d3053 9215cff597615dae854ce40f096fba5b49e1e36f 78982694c6a1c2e798eca881b8177004a12a678f 8453e36d06511ed8d1482499c644ef8a2d589619 8cb5782cbd6cd911cbf28fbb7e2ddaf76c7f6e55 $O HOL-Nonstandard_Analysis-Examples8Oa' bkg@3c-Ddmzq0%9_]݆{yelx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:?uj&WڸkhV&f34{V`= l: [qk,__d#TSha 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' bkg@3c-Ddmzq0%9_]݆{yelx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:?uj&WڸkhV&f34{V`= l: [qk,__d#TSha 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ŧ;ݥ[4x7.*aL"G:!FcɄA,hO|^Iʫy66OKWKbsFMqݞ|5$.ҍG FIh2Kuәv6KlJ{6K@ĆF䨑&!Yc_3a[.`@xjW zwY,0mb"¤pBA # "nVf+suf߸b4  WWd ;)!Bֲy,:褍$TM=ͽr>A[A<} ,v\PcƵyA.p(4yZ>`V6gQ Lj`tR%3 '"f)5,D+LD"d ]AH/JuPhDh~="{U$-q(uX D9=9z_k-uE8Վ.'PKNQTL0Վ~O4?mʥ'LW'i5[68eW^<7Zc [J`gX7(.п'j⳿&5@bhHtVj[2.Hx(~*rIԝ7n@"1<t1cED d oζV^S?Cu/<"rdw8FK葕,"25bPqQB]Ԃ1ᗠ۷dqL^(qaT.4&D ƹ &xx>à!{KǩJsƿ#%>K)S(A8"$CzF)5p e *~+ U9e>nί1}pskY7E-&ӑ#~@9wۙ,4Ƴe@!*d=57&n}\m!wԵzYC/D_K0MG>O$/q;G1ӟ gFK 6&1GXмO (A ԛ*W }a#kjAizsuꯠ{RUc#M?oĉoݑYҊAb=銫R:\ C%Vҗ@~K5.鮏/gYZSsIgJW ;= s`#C; (-Mƻa`Vd5i-:,Wb#"m2vfDF#7‘_H WA- ,`9m\fuCKj-~֝ 2ə^&OY ^;&ĄR|)|%;XhIvqZvCL8E}D<֡kbvx 7]h WG+6)}QrzY > QX-cW!ݐ^} MpǬ.gu0 ZOYF@)UC)'kJ"2Ll#^*TY*6FxhfDV$}?L3^' -16ژZC;y[du.5%ח)^Qg|au-0. .5J`K/bQ,/Kmbf 븯]:j;KRf=UW<Y[c9gXj,08X>HcD٭ ~Q`$ Yk>u\~JG?$I[8My=\v+pQvPjiqRl*vA$"ĥOyؙ%<j07/ <` o)cٗX:(S5h(ĜB\!UŃ(Cqp=jv  ǫ+wpkl{Rb±h- nCa\&hW::5FV|0b5֨FK:N|(ǕEǽp2=g]$Z/5#hgChϢXJG)S]W0D #X.Λ?B@8'od7)X#alAܰص.Im\mYSߖ^L#n8+'\f{%`1UEnJm v 4?WCPh &NJNcӄC z"]7/qc$* h:KM#7KOm" Z첞'sp>i}jNX~-0u1+A<uAツK5҆D MU@o%˙%e9 SU?2\vü%JYG6ƙ;J]8if$Շz8w%}Ce,bFF 1) Q_hq'6f t_'h(Dsr1߶ |h-]Z3\bQ%/ ݃bOdr'7^/TXg7`~EEqv}Bˋ}\əy_/3P F~ #;^L~nr▗u g1@Ķh4)n# p ޑۗrFR-{! y-WMlƜⓂ\Csk“Xt_%reǮ; G+L3w\Ha M@[0Zi8v^Qe΄ ߅w i+݅}`NSjZa1aT:(bQ"JV "K B` c Zd<0S3 |e!֯ԀV-8CO4XQ+:B6ڭbM";fiZ%R&.vlVК䩟$}Vj)hÎ Ge@.[Q^MdvwrmoKal̍9w3vW_jthxN+c=N?N?~,,1!%r(FėS4eы!slg`Q0> WD$}WJTN*g/yfb%/ `ege +h+,IN @C &$O8]޴dfb^$U*%->EZL2` [)I9E8H=i?Xҳ ~9#\ύN0(n VG$W{-IM*X/_p,* nr; eDRċ>eqGM ;vU r!9A oo++,4"IRa zeiaSDSEOZTrlS&-b%5 1GRm.c%wŰdRirtv}AI@g;qrݽr4x\x3 p>~oݚOh \5 `~Cg)xw J U_#6rD_tH A?1NGCV+3_:vhpmޖl1f޼Faz=Y 8^\,:~arZtRA|4& gCYd'2.o@#ܨG\JC`S'S#3w+)n!Q`#R!|+rt}TTobL@ 0rmCk .%.Ye~][fD<ؠib"AKr&Wv/REpx!vtI,EkٝBprz;*+UрUJ#%Xꛧ˹rM}(+Xo(Rp}#YWIC(k3~M{t|WyKN5l#A*j8$0M@V}:*3Z/BXXP̧ZKvBH XYH4& S]RԿEgQT~?`-7j C'(e`kL4\di~,*dzf< ҩ7qX0=L_3!^[71?[xI9 \ju~ʃ^=_vѯIJj#+UYz%^W_>W9 _]0zH\-_}KXtq9!,ݰkz`j(yeG7jw`LԖoXwyH>TD¥B2EY(ܳn nlSG>@lYf J.년=b4Y N^=9P!j LLM*i ()JBCi(3e08w"tJ HF2*EcZQu?܇mZ +kRT60978dSKP'S`]CXNE)W`r .f,FI>ӝ I(/$s9?ww]󶜗42v":TOkNcw曵:](DB*x99"…{bh:c~CRw6gVhRY])FFZ1+V+ u 3˻ĸH-EXI{6/l[}m&MrE Jݹ&.O( -ebJÍeEzeU>.dtjɳq>! & *6HJ̧J~ff4Om=EP%2pUJִF2TN42UVZ&%FP@)K'1T2ٌX=.(њoM\;78:DKn8rXXT)BIM{ɭw|O^&3  *]YcK<`{2GX5wSoaȍZ3G˾ t^%y> Zx|O*GScB3j)¾<:XR1KK;(F]:ġo~-\~2 ƒhŖvH Wܵ㡽MGt}y Q-tcG8J3^y*7ʚAXrOPy;A8TՏpm")#%4DO7=U^mx}BKOAr:!G`OϜW]Lڼ:"EO+el|qK8 :j9̷s$*.$zsuO U@L7~ǫN-]5 w.l'Av65i ~5rP2`ƤYp#pꁄh+(Y))qZcDϑ2Rٶ Ftn R_we b-W=ksYG'WTI`7AL DO?>Z]Ȁ Gn J8R!8Ue:-("SsSq;g:9RMO4f\2s̰NNGi;35r% ͔[/:_JwM˪ %L*ȗ׬0FEb,DLceǬZ7#@ mRQqYӺ ^pywudS9雐E>9XlWZ "oB!ԽM@_kŏ;^XrAR,Ϛ͖"l|릕tlq-0ӳi^)3\~t9$sn-2zaaHq $d,)6ZxO'vԴr(WKdA5袕=BGhٚ { @P64%w\jwu^naڢyAa ~%

Ñ | U0+:yu¤]ĨnLJ{=0n+e3CYtPl/Kؕ^rq}f9pB,fk#:x68@ajXKͥM']as3es&a9tq(vSۛ3#g\)ېsu2RH2x%c@"KPIhT̓D8;}3[t^c{!L>[~g^R#b5=5¾;*¸-ʎM}KTk\cq (S(uȢRI  m{=xCi:U!l' `ʾuݳ3TV!t4 wZ,V e4e8(zx``2ohn/Q9@*}GrtK~׻NG{^\qmQmi(qlo~Y; MX (sVգ˜j=H0lšSi1럦I\s,bNUg1o(Dx"r;;Eё.\_ ϐD[qBF[6c:9rkIs79)!FAll՛Q(tv3Up$K,K٭aXo҆$7nm? >8,69s+rlصrs2vѻHNXBueōDdjv=iUEtu_>"9`78X9VGGESLs2w4&b HB+NVU"|Ve|A:NZL7e,Ȇ Vaxi6ef^C)&p zA7Vr)erw:q:ڃ ;|dVk;MHVvc1:0ICѡoE}ɨfs9_1[،f,N|d(W2CjuV1R-:$AƕHM27% 'X/*b𸀇42Wˈ?9ɓ3Fl=:ґL`qL`jӮW/}'AߕM땲&q^̰F5 =ym۴Knao R} _2 UoC'xEWBqǝV d@"H2r(X|+HI 0^ #'!Q8 ȣfޯtJ:, 9~?@0.͐i#(5riOhk ΁V;FY$1g}at vz6j1fӍj2g! 匾8q[H"؎&>"p3\i,7F?WYL)jr#6V X߲rI*3 Od؜CD'J #kG ~\$^}J+na$;7|~w. x<>¡.e'5 RQl%iEt`l~G-p&61 X>GRc;kɝ[XJh|5YO&Ce{NR 7v[wG(ox0VBvB~$3 {'C1>C&]Q88BOdy6#x)X-k]nV@g/M1tx(?@kiF%M4cT#9G~Q\Ժub8& >TE|CZP= ?O2 :W9)KR\St?,E9W?i$^`*&*.̬c=dt/ %/Vm"oA,ҁwp@=ǭC6@HxaF mV**ctgP'qTj-dƫ#4$v15mS&IYT@qkvr ė = @Ŗ3J}ol7̂zK|&A&t-[r[ 51Lܐqp!JZ\+%'EVoAr.0bTv;k6d04A&M]ol !8߀ PGR:Kp+GƍmR)eӅE E/ ?mVFԇsJ7[Yk"ta"k!"<-ֽRffUm:ʹQaSQڙKS(Hؕ G ek_-pE%,DxB_( %dN1èN) HQ L=|s-a=7lCmۓD9SoxeVbd`e'7uk ;37p9=/rwgY,9ʩ=jjXIG9(;+A0cFR:NS?V[t9YPض$awa%B2I~$f |arCKe?bo>x=R ~䃰w= -]\-OW!ؔ z14J R0(Ssr(KsVCCQBGp.9ϊ$'- e^V14Ke5I$LkZg8i%:okWo:؆ݱgYZ ssd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\i/HBcB]]؊3\!1o̰L$r#J2I9<<㰞e׼koqWֵkZS!#aK@n,ϱ1 .dz'GW=fZ~bCe=lS"nFi Rn,wmzH'5T^qDY; ' d.W"*`ܾgPWȊwB+0,~u\CSB`GE3t/IxmBy Gs COƲ.'p?ՖG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y jfDk܌R_vC_0t34O0GhV9[v=frT=8 Mo^GYّ?QꂭʚHCYSD9' @>oJr7J]{lb"1ȸ-x|efd-t].FҒLg-%$T͝+vDca2 a̡mÔK4/kŘ3ae:- 9A!xMzվ̶ǍBܬI([n @aȆB&⋑p:4vߖ0~8KdƶvtC6UϷs5oDM)UzUZ^bE +ɣ+'5f$**|GYLLB7 2qMgCq˓5R<.64\A/O,..&Ρ/1%4*OCQq^RJDIM܉yxޕf(/᳜Oe.H i>密ϋ=ĕ5H͂$Ք&ۀޜ=37De@Lm*n;ĤL6q_ZO$-.#(?Ilư%; ZB1\QܓO&yŠd3^hq!ll+ɦ̅]㪬Z_8pȥ.w1ulK 97ej֊ W7J!vV]+QucF|-Q|ula4u4z%Ĩcè5|_ Wi>̷!`-Zܘ\,j]=?˟M:hKɽRl .:Lty&msoi<>0!l?m