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.866cpu=4.088gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p*Ц徰VVqVz9i8+ˉ׏ЃͣNUڟ~aoxFe@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.908cpu=1.926gc=0.000Z9~: w_,}YZ7zXZִF! Q]ŗXi%H+S(3Rz@[!X;y]#ұif*N#%{bVZT* #ںNSi7B>xv\E(Av+k4S tos>Lx T_~|`ۿ.$b%/ܔQt+`9Hj&i#uҥ7պU FURSy1J:3!x.G]ȨqM=Bк}1p7o^.[m$H"'u Z #4>Ck/40e#{9X/BO´5ok86x>۠1/4'}Db){敏o,jPVՀm)7q]B4k,Zdz/\5ՓN$"-'Һ*kҸ=iՎӮekSŷ:h eRZ bɽy~u=|[0s|yzM7Gb_=DmYLWtdvxPht׹_2dwWuNgYZ13439915f7802af483d6b90cd2f375d298905c2972d959b88935c75f81cb214c2197e07f2e2018dd 20319853e27a7b15be3ad52a54052b8ae06a9c29 d8b56849e96e7d7709a40dee0cbffe7a6ebdff7d d4f1c228a9f5b450a161ba822ad6e208c2366223 e47716ee1faebd4f7ea590d74c626ba036d0c38c $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ŧΗlxskp-FcNy%F ,984%N92w{|9/sϋn" k@IoSy.NsUEiѴ %9fXMcŘSCRq>JC8%ksIwOBK5~sb >P"ef,-P*ﭳPSQUXLfjĩ&EC7g]ѹRmcS߽sϢp3xШbcZVPP~DPυwzƥi)jei u=OqeD;{},xB PA]?UOҁ4(<{? 8w6<^qs QJ֒~"O)TCëfְ\ky塥 C#^y~lKpYti؁!cDJЊDQ9]9* yDU t 5壡ѪppD i7r9釵g ,!7TGG땇mvYXLA rjט/&Rh1M&X/`0#?uU(IA韎U#N.!{K{`B)SiZq\ 6NG[ 2ҼR+VoTgAoduC#hBJN9뷾0{V8s'ae.`Pr(#_;RȔ㌡M-1 ]rVjip^-_gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodzOa# DHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8[]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫=ꏫR>oOFg|d@r;t )ñ >]mr"z'#g17#ޱxoMuw!k(#jI 6?>״cg x-Z̻Kѐ=j@bęp `pOފs aHNmEb X9_0ǒj>A/h=",u)_sPUn0ڌK76;)ik#Ϛs}P%#Tp|t:eh{ Q r5DiOx8CKO`v{f⽽7]A"ѽrc Y&,$p*|n UTB$_>DӍ/,1{mE7ًuRχ+M!^CB}v B$Pj,|]]q~Q*P,$@ϵ4gnx Ó7ӱ~z뤎VqRU\j-s@*k|, KN\"h^T.+@M T/iSl6%[>,o3Y"=-,rf۱ғVh)5- /٬JFID ppH P;' s f0n6jfF,^JvZLaMi.kGq5^P)gHS|]NN?';V`y? X J0B';u{?Y{96a~ -뗹~v' K\QL,|UtRg%Y{GdSGXCk)q̰%}%$GA.Wh+!^f;(}u!CD?VP&}k4e {F0fD.}b1k|z._>of pieG(s 9pm$SFab1_,f0+7g_AWT\0xْ}sk݃k1.:.XcJJ,ܢ%"~Mwd!UVg1.R?X[M2Hap|1t/ƏE [Z7?ա^ZŞT*+ޜNn̛ a$mHbW@mL;P͂L(1s0(ŵ֝زq*#Uw}a[},2Zdgp'$uq"BɕUY#o,bg"f v?c#Vc#2[ܑxNUF~D޵L;Vme1m~ ZeJ͚4: &`dZz%cRzNv̛HH10m@Nćr~O] +SGR+5hO1ѽ9 95LV=ɘ)%O8jƎE橘5./ߊEa|ꙍ$|M&* 3* O 2?YP DQ[QFiS+AB̯϶V=PT39oilM:פxZ*ѺH]l[\ij6彮1F+xުO䘕+q<vӆjsn2%y$FTM,SՄ%.hz=;Rq?:قϭDoGaCHV`.ZsB:>K\jVt+?ㇻU]Eg G9H @Ni>CF0CIz@e*d?Y+2;(h4Ot:nVT}Cv>skel[g-Dzb,M{h"T,޳fW;cvebP*̠Y7+̀wۮS qg yῒ;|=rn/W|EI`?]MiO). Q8@?䙨}dܗJm /WvOr+;av={3YbFrp~4姹,4~{z_sGE~}Ou,,]thH nٿ^3c׾,JpO5U4-Ö1TBLf< kz6)arÆ5l?#b'Jq<$ (xGnT溌,w7.ԻǢ4u+L+y aX6 L'*)Lsh?9nNor>X#o1nMY析U|AoՎ~{qҾ^mnĬtO%gN.cSǩC۠U'ޫ^#og/otPC_ˆ؈\WQb٢G7F('`,L pJov[pH{Gj3kZ?&WF2JRm#Rr9*X$$w M6&,vwZY#%0SY2ݔxnsˡu >{i !-xW EװvpzLЗ#ȘGs,tn\M{>HǮauB%3_HxN, d%8 n7ӻlMD;ARoEb̭gm髥Co6ؓ3mm|)eš zbڂGZidPaQqێA[B g+}fɊKHaB!^/=aa^B2S?~1y"iᩬVPȻo;b>>mw X ~z_h&{UX(uMhA7 5ҡ6/'md7G x Gy54XI2ADgd.?Lq0l#B+jYT] y$~>LAhD{p=3cdÆ91=۳鞟z9/ݹ_| ;$v[%M t jPN|ﹸ[ڟ:ϰ $N- pKԳ.`zȆ >ݏ+9 ăçn&~FI:ɒn(}4hRWH7iKIpߵ3ʶXm%)A$$НU؎MH.ٿhf̽3ifՠ;}H3i] fO!A-ޯ$vKڴënfE2 BVyMlLK$8v*uq $ޟfYvFJ[r5,><age= />T=~lJSVeH _e)rHa)#w[4X{<_`qq1-{6͔DrUpA+A6.w@&f7P>w="Ws Uڦ~t_}I E6NxO+ ?R,p?kܗuz]r_0@ Q3vIa>$g5!%Q!QQ#&%fN7.u8}1)K CXbO8MuO%%bkiP]Oe2ྵBWⴢ߶l^j&ԛW]_X3}2 1y#~遪$ٵKBO@l 5 m;mԼǦd!iٍ;JG=d> -c?M8mݮŲ@f6o)\HK0Gb2Aٰjs_=f.״1ջ^y{оCHp# N=}w fKy@>>yT3Qf4s$ݲ)G7V:75$Su`se98L/-oCT\)oZX1g,ɪkk2+EѴ{i;!!HH[P7WJD1as_GItŚgKlvO+p/ ~˨5@RG\Բ~\c<@ldVC!4Dpc?˖IE9v_=,VT[0SD/4e(BV[ةPф`:  >~_27⩳hL'Lm@ƙ0E&*ڧۢCc[`22W[ZXhMP̗eu/@"\y߁d^ŏUф&RǠAJ?2W/ uv'.Dbn*2ɍTloԼs4|lY[ط]'+uWOۚ:ď/:Le&#CbJpCSo^m\##IZ;AZ;4caRƏĒ%^X6.h:?aQ 1rX@!G; Jp(G~>G\z[x˺D4S,7P 7D1i9˫ Ѽ(HhCB_`'2ږ7~].4~p 82s98b| u|i h.;]>BB.x(IibxZ2K]x1j_S=lB/!H|-+br:_ *8;"rL)ʠ\Gi&q?KUXk]u-cC2./ķMJfRDgZFU{^!_6e ~MLЕZZfD g'XAqJ͗^#UoP۶d P;9 ]5~O;YW,L7Oq4=_g:yx;K4{$L tSϦ!H͏ Squ-Jrwj+\\Swd8&笠RGl'^}܁;:*vhm{TIrRAXfR|BZSM"JCTLӖI} wcWo/Iv/d!oBQx`7$\黹&'|:[)25(+қ B{;9yKn{E@'FܔOJTnϤ6pb6QN6L;|:+~3}=kkr12Hx v7Q͓-tqgMp|8>x z"zlAD \PRɾ B#1ls)5DjNv"8ay8];"N׼aK|:PJ3%޼EQãc@F.,9"| ~|z grl[s]έmVƾ6ܙџ?h+bh"(; @9&(.C9 gS͔=1k+l9اP>ֲ>dEM}V"R@mCL:fRZWg͐ Ubu˜X'ωL7sn%VNT;$Rm=&MHsFfFz˥"F'\P*U.ŕ.~EnǛnd44~0iw`Dp dGW/u XƎzdip"FX[eyw}suO*;ȕwԸ/LT*r_E)`ȯ{#ob&a ?B/Z:4`,ԅ wSE؟|*p=ɨ72M8—6@n;*&}][v)ߞI~}IT;5E/? AVF^ N9N+5AB* c'2PP!>Q&RKX )qьzUqa3M9D$R 5.i8nkTٹ(SU'$2δ?vjHBTGPIod.DݥTֹJL]ɩyLHPeojnW+5!X"OOM5ug4uM"qƍ`u0%r3U͌Fc;Ki!L.+_Ь*BSr"iV+U)' o]#$_s{U_HrU&ߛsŗe pq_j׳G4_=khhl7x?5zV*'fwn5j(H!a@e'8?r$z!1G76 iPW/=ˌvD#&Rgu3˧F̂z]3`MFˊ]lڀ n53()WGVEijǑ 梦+.Ý|l5x h7Oa%M^]YE.5)/`~SsZ/C4RIc۳xuϖS t@PgWO)tSL4|3 h!,~{Sa`fm 8p.{y`PEP jqr-ٍ)xNPT)9Gĵ^t9'}%q?4\ESb1ݴ ]C SEsazMQC+E &,0ܣ<ݩެ =j~K;k֣+ L 9Rtݨ\2[# |'qȜˏfYP9{ٌC@m䚾 h҆k6Вuv^F~bg6&ۉGi幩5aZcCP*䥆Ih-f# +0dkId~R%vsU>#^VCSK,;HX&TQG91anǙ ʊ;Ĭxd"sktU|׫(c`bP#.zlS鈄&Ch;ȼoQ츾SC}Ty@+(y}7A%}FEjB$i}MPCZֲ4t#⩛=|A^L7ΓTG@oPeJɑ}N Q o2HDp ⦘4ZYxB)ؔv+,ɺmR[duTex%7*~z"TovlgMcQ WP3r5WÐ#~䱨pJ+ 1)#@s|uHi?zf eMGܲKX(;d:o()Z,8e,EhvVq{0 ka-Vʜr.Za5Qg̎g˵,V#mi>M٭,^1bPHx3wS7-XQJh{bp'I6Bó `4PNDSMc۵ jè1ZVMm&=Guy{d(ǗA~z>_Oڢb<7}`mP99 i!k &2|+438O}i6st_/% w{LddT^!,ݷ\_zrn>E]I% 2E5\'>ɽR l7k7"9aA3/{ߢ7 zL]d[>WBx3']>6(_^9ӌ(c+~ _؂w=e2іL.kr꾼ް dJYL 6ӫNg6D 4"1j)Y@yC0ݙC,]i|b8j+>y& XXٛ$AZᏴn4m%E<ؖ5 ^@`=yXx(S VydȜT֟`04u/yZQw@)կg[oP"mxGɽ=vEՌڴGrά'\`ɮ)Ӄ0`P.QByLz`@0X .~!b f.ՄCK|dMm/Yb۬yrjoOXz;ŮǥjrpniQrkGG{jv:Y^PDkpX:s׻i)pݴݷ;(ە1D_c gsJb[ny]tk QY9,@9;eLPk_>=ɾ92ծ!Zy\~ 5з0O\,<+#֯͢X8TseŠ# /5WȚavhBs)GG`z>E(#` R}?$+i?mu7 p3WAx"ЦPl+@9WuSOU_vщp;w0 ߽ Cmzpm%9PXRGrv$ޗ :&us;JRHeF̱q #J2I*#w\XbYޞE6döWWXa3A)uB85p88%6 ,,#H~[c:خ3{d%+|& ܏ fRhy 0 0t'39*scy7rCm׾B2ɓC/6tt3ai؃0__AvUH4 lD!b.lӳ4E0'IFGD"6vtPe:%ChUdhmB"rb "KvrFyd1JpKxo.O3a\\Uoj{gYZ __d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ ` PuXi8Nk٥pa]`RI3 KPZe݀ДT/J6Vmnxs>k4% fw{@ oT0́jn聩Yug…>q,G!sENzxaEβwn Q)c1[*2O|~ t\IH;VG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFЂ9Z<a6⥊n ࿤om>[=|ͺs`ya[s!ϺJ!v 8nZ< hByn<;mi:-+LpG$PbO)eg靍ѽɴx} 'l8. ھDN|h A,>9EVN*S`%n4a3\va쁐Zee 58ޮGί(iSZRi Ӥ[KV?6NOu/pZMaKMi"5bOp j2=S؜ED]Ԇn,IBY\[McBIxw~YVz@=O["~\N՝ÔT> (@0oPHyI0fmmZ "dʔk i(JWf nt S29Vyh$=U)<#Prק\>xߩ\]I1Pog Ƿ UKƏ;# Gjj] AXa|aKot'Yjޫ6~{OLL%=fUJl\0*P >`&b5\!(MoW4Nq9R@!8rZ0M+4PݫqbU,dEWgj=ƫldeoIA(qG %>` gR6V.aZK~#Q.M7kv"9YMWb7̪Vv=c8 '|?V1ڇW;EES*8~Z$sZ);2 Ol]#a5q/?+4˲`.*: Ryጉhz+ϫ)$_xpJM)˪}¶cgpJ2Ə/N m1uTϸmv%M+XDPjkVzEG ʧ(,aӘZХlcQ| 2j|[oe p4d_rZd vAI& [š#b 0OLF2,€kAf~`D::D8D el8VfO;.vobvs ?FZ'Be+I[o}vR2@36t*Xht~/`ýYpsY6&S9"eJHگ5Kodo6sН}f ANȯq[20j* ߆pvIR楧 i9wh|S܎.[;[qAą]ޏ6)p}k8'z