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.847cpu=3.879gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"i((-! .ܚwyRD|q[r@L;tqPɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.846cpu=1.640gc=0.000\(Tw_,}YZ7zXZִF! ]ŗXi%$J\pN f'sT1Ei-xf3NxswU Mkh+5Df>1<,@{o3 \Y "$>jF[,|*Q7*Dwƭ+^N#Z}&ѥAD-;O4C@H2Z:G{.w,>'Wo@Jtg^:v>,9STBcZTi%ŢxyI*651Dr'=zk))[|z۳\nbJLl!|%Gžq$[;!qԬ"`FsQWC,Ob݀{?:2-3O\g @\-Z knܱm, k D`\GFPPS @lK 7%g/q5ԿM>EͩY/57pz43pg ;[s#j)w6gYZa71767829bfcc1f1b6c3ad869507ea4629301369d3f289e5195aaefd6aafc967100d776a58ce0b4f 29fed47a579a81d17666737d5ee8d107ce867490 f62a64ff1ddba877a4fe29e73fd9ae3e64176d09 33e9c59cc15e7457bf55925872a7624c1a3cd2fa 174e2ecbbb3b7d35d13aa34f235335c98db08de4 $O HOL-Nonstandard_Analysis-Examples8Oa' 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' +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ԿvU > X X-1w8)!Ek@aK?k8ԭPmH>r 8cMNuXS=Sp\V4גP yǧ~(Cč9*A.VtQu%Gԇpb 3 +|8(?xtRdc[5qT %u]h 7P&& Lq5W& m̺K K|#m|L`by?ެ7wÅ_8-Lkh ]_UOu1 &DV`@dz;g(fTasZ*&JoWHod,ЎmN;U\ŋ˗5ĹHAtWɳ|KkOUZ;jJ|*/{uX!~ezA8Qj+1*.` !E9)*׋@% "J?e-KUA}yiD{K4I-M딵z='?ue]Oy-Q)xp^ Ǖ\lNZosF>K;IIo*ZiL2U:s_-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󣉫< K {.0͎T3kqX"oIq@*9ncU!ĖOLuH̖1cp1vK`c,ng,֝`HDy/qŔ| x>.b]5U?̢8%%ۢtp,?UG>QͳÛ~ 8+x0\9GAm[Q F)Bv];[>^Q4{pCI}h+" vG*0MbOi\t''m)UPx=fڂA "p'Aߝc9@7NJtr#Ԭ"+z 0p߬N_buzYk@`{+ ?w^L\eRA+*wbf6CMc?X}_ OV2r6?#%̤Y3+ꔵ3>Q7DON#zoB.k ޚh`Z4럖O =x6^idym@aDc&tE C/kcHd>O,G)Dcl'/iqm 1A}B/*Yp^^h$EՏAm,ZT*I ubJں]]a:O ?}x xE>c5aWhTT':#uÌ& hCv$kL63W;IYX44 D"{ wOW wHaD!@6,!L"r#jٍ<3sR8˞H QO\٨'G.V?;ka*OU\5|ϛ,#ؘ鯽1ev!1\}*yɥTZ<  kTP{y,'2RUn elj G*s`2|0MwiGue3fa!QjgD; yBDT^}G3I~bI5}Uyk8~A _!d# zKl @dSQaiNW"IS3 7WE+ə2Tk;s3y>}=A(BSXT΋c$gtc3d5Z(WKKΆ@]:T{!$eCA\hPul߇:.6)T~;[RMt8<&\z[O@ Y/};ϬL,],j̶50^g{blMFkEMJk69g->8䣮ԦHJg12Hc9@g_N e\(:WT1 qTjꉅٗLXt .@McC*8vE/oڪT1Ԙ޿hJ׀x Ys 8 :&)O8ʣ: qU թ=2 L0Ѝ_TzJ)E\WO-"p|Yz ʢlǺG^PfPx]Ρora"0s}(*U@}Aecw16eR]7|ӹd oXsG tK*\ C,tbR`WڢƝӪ\H XZD sjc2{:F-_Ītw[ EOrl~`tǶ9[ }++&0KTCJR_ F/ Ȩν =`(:"ejBvcvxp5@im ' +$8ڣ{<[nnOvh^Ǿ!Qƽ@2hR:Jt7iHLKe ճ|?sU,em\ӂX<] 0ݫo9[*'ѻ] +<~i0w_P [" ㊣r?H?x ~bG\W؝'8E?IH\KΌVpύfpMV IF_W[u hf@2eV{MRLۏJY0dyHvC5&m箙MiJڊCfW8eB:JX/_hXR?F '4ǤX,Toc[L|spd4"N(7D!DAŃ`݇(CC󸣗Bg M$&diׄdz}`,ƳuݏVDkgu hjԩ:'ޅd@S I8vs}$&^gDGR>8 $e+ek@>2#5lZGPvm:p49N`^9u84Lj <6굮^V;^#Wx Iĥ()4ׂ38x~S8fīuҿ7PC86lt'U,ѫ@t^Łw˫xLh'țfܑ5]},z^0p0ns/cֹºoL t+l@qm}LS` 0QAvPPF =R ,Zr{Z:=Gn@sO \WDdoP WDN*Jvt#ԦJ4գI%Қ~}q3Q6{(i`uabPvd0mjSUaug6'[,ðo,gJv„#?)aqii!sEa{p.ӊL'o-)Ot AC8GP( ;fU\nپ=uk(heRӂ)54tf[dW'ư]}>((NQ_رES sׄZ{d k`*[n$\r;yɌP|a()!|YY\G?G"(QO O\W%Vriث)&0):XT ,|7l#y;#jL]W cmc, /|ںO[`;Ԍ?r3q!3G?,?`3ѬFScff"v{s ӧR! 6q!C$c'%$;떛zc**2bt`;MmP2)RsmZ-ըAB 0.t>Uu*A-}GB0059j-c2ë8-fAw{98ح-LlLvtC^PKDY#[?M:5 v@.W~5EV۳]>b=U㗾3[2&}5_Ps :n/zEuFVRSdƑ `&$-IO=N%\/Ԁ֙ h+J $Jfo !`ɨrܒ^ǿ˰Ζ^hx#.g%8OAqLO֙J3pj֦,+w`Ow~S64 sérj'u@6v 5Ah*V(̂] kFۺ˽V<+XaPve3xXT@^ۍ} ^6 xp_bMjny2Zp:]o`P)Bi/CBdV-:J`SlAB g(/kVf7nVn+@?0)UDҺae"㽦{N:hʄaWZbߩ˶.8sJX`(*S3O5{9jh {[S1WPacmga:asX|kZ;6G#Ul?_Awums9 5)5#@鬈W[l+YqvA̓VT Z+ЛJëʘ+8Az>fp\t4{{īpL%\eRJN~K`O Q F9HOHAځo?I41I?/LO{oՓ{ 9}+Ǟ<'ӑD(,F= %0rHq`H'03E;i"kW< C҃}W/@,pRo/ϏXjPzmt},Ɋq߱#Zu@c=IR HMtfpl-wĪ©Wm7ޤ"ӂ zVKd{[@kvWZi8ߚ"~˂bDodz%{4~ qh8֮ lBfCy[gݗ͈7Ҥ7?v%rdYc̗*TA85Ʒ:˰lC@S:a/)y()DDN-1/EZ5/@1T”,z ZD+sщX>NؒOIZ~_R']Rp_Qa s$ND2I>BM٠X@qcۦ~hçCވq8UɣHne)](KJ^=wq|~{a\c~!=ɥ6[y W[{'o%(/}Rȏ$ģku;h#t.tW^q)3[Qm̤k<@gF9=!~BQ>.VpWihR6`\zOwA2ٖe@;`4C`ȭڦdZP|{ʸҕ g~4dyq.WX;)\ >` sxMn I 8 lGw|Z [h&U(n,}h!1 !vXC \g8N)[eI3򠠩6MEp{IUexKr8@7arLN8QƷvcΐg{@[ʈ!עjp-xcXro7;VRmjEdFkv=e@hրZj(ug]5xQ|܉`[.&_RUq(RY3;`.ɾ=iՠ`T ^=AWƝHQ673@6\yc?!cÁ(1L֬5x,S1^1+I4]ieBEC!p/29̝H*=N%w ߉p pK=̏8y5AVYc (t5'26>2;QJG*9da`(KVm}*,EpmtuD0 VL~=@zc'K|=. O>+6G%:Z$<бfA~:=N|Y11b ф(c. ?Mdi3Bq3f(l"6xەR1dw? ӄ{YqD{ #?n܄ա~1&FCtAcGXG.k13(XPv 5K[Ŗ֏9*\hК._ǻ,G{@@2q9ܗ`^5% f`(RC֎jJ_*W*8L2=-{C.sa>?蕲uiH$$ZvTbGttדy%ÅQB9,EHŊ-HZ: ;j[eXOyU1&S' ,v}B|xT벗LMZ)a ]߾QM~'[c}F+ƐSNNDg2S6^ (FYG9qlD ;FvdNY=@~׵B<K:s.9hIv"[Rkn[KhQ"м]Ԧ:D-Uh-V_"Xm2A(}{+N1Hx\3Z<4\ GWWLۘd?/,w|EJ8aTS} UӘ @7 "nU5`:0(3) Xezu]!X"bt _Z9E.A$}akZVrd&da=Y%`,\_8Ӆg ѻc Bz U~4Oy[ƚ*FXIYhl@ևy!y%F7Hն]&E8Cemp5qK^b0\U0ߎ}6(DeM}0D΂mCs{>Wuy2@kNs%COdy UjK6/=1L)΁c-6f:輬Z?U%?TLK0>)8M+ۻȽwn8;cã y~'Sb^ yg+JY4޲G7sƼP2N88=*q8K£5`;/ {zdWU PS:"ZL`^gF2Ud0̷sb;]śB ]oEHHYy٩Ϣd+|g:Xk1IϬUxK~1dWGRNhqOS=ce&unsy"3QH{e.@a}m{ 5,a&>nߪݻvI 'WNϘ|_.w _'݅ɗLY-Vzh@w A p7rǖ)͉ϧ99Pzzϝqk] ҦeM~Fq.8Z^O>+H 18'>Mfn==ʥŝ6i0<_[/Mt(F؅"z_מ fH&SjIaIP 1rn9,~Wl"(Zu/k]e^̶mK@(E9d~F:XC@>nuc,_H⩯?Agb!{t|OҒ^c+}8L# m+R^@S2^@|1+o Ys,88D4e_ Ź3ԤΜvQ:r;x-8/0{C */#P!ʐ 6Lfng҈Ӭ53kLX8a۱՞7wN/.,K/KѶ#;Ayk.y:4Ӌojɇwn$cT+l9̊K󆻢<'ҌSՍĆe|uB&~r΍ ?r$p:Xq @Y]z ( KKa9Ơk?TfOzIaIT Jr/'R@c[=,NtS̰ZC>4/}<ķ2+jG6 HKzYfupJ;W(-wֽ%g`ҡ# Bǀ/N],O;e^ U7t妻 AyHwcz)(k3| g Ch~=e[Hhv]Jo=gʳގX54uԘ舞-p+Ԡey3o#n5Qq$mvN[yT9݂\F<F PAۨ':q7 fj?!cU8%i2|9ʳk-S`}!+]DB' ׆po.BQ(A{8+T֗WYEُ4tNǯ3&;|k䃫ї8i$OI}\YztɎ~8Jo{rRxw}#搁U^FiՋf} YF/mQ *1ؾ:dz}Za1hOH Q]^P\$m߄Ns7] ώ$O vyH@Qc7 fJzemYEI޲D6VG[G^~̒[@_Ylh(R0^wu-zQVYxawHb1{/WIt1tZT&E r]9+niKٷQ#ƙ8OBI]c;Y(KdF8!= f˅qKB̑ nV\=DzeʁH׫to@OIgYZ 77d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ _(zm ,Xb%u;3Ki;C)d@SJ yġ MWH @Y=ߡ^>C@sHn7e#^Vh.%~=E ,J-!,ї/$~ )G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF(R`7e?4vAq؈Zus+طh7Ure_Zþj|+7L EYH9۾}E}R7JVv@ 1'jN%*}l`_xĐMhGD_xHz*;L89✧篙{.{rify5b?02m";LBKZ0!XբV\\59< V[6ouy GOZ"+')Tb'g[CZ{šYAPeOՄvshζ@2C}# h5!b=l67iAP U># rN=a"xDUM3DV{S.0gt2WJ3.O.p"qRX̀F?[k"ȥ̚wJGNdlkT|ݓUgLYO168V@-u4r{(X0%]Fc;A?*;`]~ZK1`儶λRs],tDZUufht 㕵[b(x #W2G1` GGyңsy68\[it\Ӓj7)g 2(,L*(+03dĢTYWceqZMWa8ܔpAgeWU1<مB̎ɭR(8aT6Pfr<3s΃Ա9ke~!1ffQV'S?SPwϸ&k Qg2 Ƿzۨ"}DJ&D՞Um"N[ ||_uÏtWA苰 }{:SzObAk$l