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.802cpu=3.813gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pD 0"8 EyQ[b}je-OΜjCe m9#5-?DcOLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.852cpu=1.719gc=0.000FJw_,}YZ7zXZִF! N]ŗXi%ݏWmڻKqqm!<а0|jٽtsS7RNWkdY 40QAxMT 0m-$bt`IBSB|<㔽uXEg2x^ؑ-rTn\LXS7U~;h!Pաnms%z43 73Of Rzc˝^ZygvCC<- qsxZNU]Hhl3=Vl\D+pĝ#"ZcZTg {n>X.s4bgut'˩i+zk]z6bh ˉ EnJ iqOIfłIwwNd !ra?_Xz#Xe8ʒuY+J$8lޮ2-((Oq"k&e$cT)0E]E"{r5X& -tdMy̍t=49I_N& UeLX (`E0o:ƵdЦI|)7mfXeiY.l.%`ZtgYZ916bee6c9ce472e90a51239781818b8c0a9da8c4c5dbdb9c44274ccbbfb2e7b9a9fde5b75c30d671 a549469c67cbc9866fd9e930d11e2256a82f8b32 a795c5d6db220890a7bbdd2649a4f73ea02e45dc eb30ad2b30d9c73634a9cd46c05ab4d98a84ab2c 43ac75d8e9d18807c21213127fd9349b87e007c4 $O HOL-Nonstandard_Analysis-Examples8Oa' 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ŧ* 6;W.MCA%˓Ɗ^-}7-:@rc>U&;S]EQQ z[0@}yRFV2F^ZGi *]l"U>t-"$5m9e.Eq\CS/V5J^γ:[Kfm'$chBv 42 XԂ6 clsB:-Ñ$8hyz0%(&<ħ QoFrZLk n2Zߢ3 {}!;X"0\[`^4VGYܼ?+W.ne'\lG^OI{;DrȥE Ma9a‚n{pkZ3}t&pxl`wx{^gDyqu#dԹu=(ixQ|zFmfŎ ̭ hqoPΐ&23j(?3Dz*J`DHj :hY\(Aoi@ T<ãҲ?Q3;l?+KМ2m Xldm}.],vtu0 Ӻ@<ø+ٜ8Н!+}r$rY IsdqF*WP"0卷RECw[Pj{-y.ŵ,]j? [LZ{e!5cl+9UǼ˕GOhulT ͣͧD@tq G+."[ro&fj(ڋ:&p(41˞ YѱR Of:q\d\Wp7 *иbʼOsՂ!doT_LynUǰv5`]tvxkN*4xn_lyDFZ s#sn羌ߑy.i*,=7~V~s2Bqg^}ѣUjS ]q.4Mkl_t,];~dzXˮb'i fU .+IgYZ[&Yv,tqaT[(^Pٮ7N `! Sٯ)q{q 2U51spV#ٔ)Wz)]*B ĪxDpv᳉8`VdGҖb[_84wکsyWǜtHh޳Ga8H9I+H("7 vHւ%}&c烧_YGәŠbnu9+BeY9fUcv0Y}'/eQxݴ'+0 -lҀ\K:LiիrRg|ʷ _>UmzAڐb(6σ^7% lUpnY=j|<%rws],*OEQ:237xnlYT&{*ю4-?@cAEKgHAMgwx.J( \!>HY%;r 0Ի2`fu%WVձ%a9Z*.cI54LWL z$ "mɝwΈz rź8{ 8Ġ}Yy-n|K,KWg FH`Ѓj}ӆQovӕ3 nچ=\xƟqk{ѻV2N'Xϝ'QT绣\cڽO5t D跁 笀^ 2`[slLɽ#Y7 y.VDc]=PvdRz25 \? "pG!­ؔtNŘ&64 (WDv5Yу8Gz%<v#Nu%#@X Q9`GW'/d G ,rmpdn}gޜA+؝/+h Jӆ j>s:Ʊp7$}FĊz'↛=ҔQ.p 1 n?}Wb&QF@ ;X]Fn5,yo8 0ɷj6?6,/ϿDEpf*wA& =] <5Hk [SC,8KcX3k"v+E7,E3-}aqU>o* WZXRtF񈫵9CAz8A.?C+֑N]췩:fQHtm`c/~H,}?$~}$MBX|0[ƤX_V ۪eѹGÆbЗvshA~ėAT{ʢೖF[bd?GH$?WᠭPV'!FЄ߈VȀ1Z}%iO>PH]~%!13)52+in;kw|<`GL 8+Molk54]uoXX[m17~GH{nBWug!ـܝ_HpH—t̉pbP$}}\Bs>,'yDTk"2+# Y"6\?p!']ahA2}Ғ ʿB՚,jr!0+r%ԝ"ޛatjǥ0ICeb@s)DӾz;$}0}bsW=}iHVǂ##p(( lca &ym.N 'Ÿ=Z㟚~1̵b|>ʴͅ)xeIJdf5ͣj=4]6nיbpYrMMɟ]ѣ ^,]cG#Esa^RY.OuZY7͇1Ͳ8um:G}c>M8 ϐF諆VR+ٞprd' .el?g%LQ4΅fkaƻ3:r18`g/+u xVr8%ެ@ڐɔ_4[UhcWV.o`reǭ̬-86דt|j֖#7gqXLV!vk/xgӫ5BJ9sP)DuW@pf^ Gsj78M*MEЅ_o()-(P\(qvE/F,&9-, f8k)]( \ۻLѓ0ԶX }4dHUBxs yDh ߔc.]Fp.sڴNU*'Ǎ*AЌs%γ4n ]ċ/7c_+s^]cِRW9IׂJ 9adl > `fzcB=e8U8hl|{)ք"rq:f+uO$*c:eۦjF$?ѥ0 婍! mȒK[C!I7aM>ʥؔtf*\b<8Swڠb\;K9/8Ty#nmRYF ͠+[V.>~_ C+' 1D_rV"IGۣc}qZ$j#ˠsgƏo :eŦ71i}VDcJ6 *&C*vAwA]ETvB +6Lrn4rDaZ7J ?q҂͗Ƙ<rll9w3-.5ZqAHoZMVy0DHMR=1\Ƈ_5B[,S-[Ƣ?b~ܮ]NŦ4)g1DfI;BAq,x̕! xVD–ZTDpXhfOݧQJ8wYvBe7K<>L+ƅo:f_ Ʀ`M.Yv eeYvbw1Qn ~x_YXӞU~y( s8}[ru^ dwo5z :V" w+= QPN_Vd%^h760[ˆOP-lWZ ZEwDaJ <>}6nNjj!<@ SN*"'NcS)oft=Ywh|X珙 &"ٿҜW5F"1;c"#Β oN]SnE]zEݱcR&Je($_Wu$Jt`Əѩ9^5ks! ( @;>,XeNH d }&?;͒"Hh9BL10a"Na fbP;yոK6網Lrccy>{DCO)㥙`脱2^p^l3V A/dn>wSJس+~\*)/s6UnGmTщM:(ǤTibDJw'jjP&F;DŽ>eRk@  i>;t &(~+ E񚩺琉?‹KEQ9zb 5 -]-4Zܺ P+D =\eG5md^7z#ԁȄak (_(DpT"E|;演+ H*ʜc Q0y1$;?LbPx>ucB1_4at+ OGIxS5*o3ZW7' k0qnh&:VġrEK\ˈP(P;$fCC[ W񖠜T N*4|MtC7-3 ]W?Q `b(p i/smUK+ɮ𷝣hOӹ!`Ğr"P-I#i:f['M|p ߌdSVo >Xz+" ?lVg;/R41g f'lw%.1kDN2lÒ65&•fPy|i=Uj4:`Q90H}W[̺vfZ$޾Z$cU7Ϲ}bf5ƮOut_m` 68ETR&pub FL9aihNݩ.i(SB[0KEGPڢ]Hym4FkCaV`Nߣ1=g̣hFSV/JZg`2ff8s)"=end4Zq2aaN%2F"0V kw07@a*Rr:^p}i&_DŽ\J`Ń!8֖9WpsL?T93f(`9q(tlS8hsK*L_T~U9ixE'{!gIb/J e[oW_Y>Ų U*9NC:#v0!JbI/g ³*~aGbnοݏ # fA]&13$ _30<-g>gMpQk~M't{ə\MY´L4Q ^ù}ghúU׭# A2SטkrӲTC+QF,n! r6u d%͟Śȕ,!Ţ1C'+*'*÷8gYsKvVR<$A/&ݪU 4kSYb0FHr!HsƖΰk pvíYi$8٧ o'EhX,Nu,qɐ6Q 'S'rBY;esXNW@147 qm&9Zm6f?~0 ^W0MUc ƺl ^Kg"۾.sWNSL~Xp<\+V$*>>\1mbc ú5)qA&};vi@=Ğ!|N @,pzR$i$jB۸sB HG)M3lHːC.ÌTNQAֻs7Ь,7SP@:)6(zYpB*nр-t aT7SmKӰ"֌MX#CioAӞ.ޢ ݽ2#/![dkBD;d vɹxIa2V{>h6GgL2„ pQigDsXuP,u\[D&;3?Y=9&$0\{)^;-T̬?{g-50oM+:x5k@b㎮:YɁ[$\N+ȏx Q_RRG-gп6: }+5PR|.7b章 3rtGaIۡ<|͜R`F V|9ıt И!G̥S)_}Gy@k`m3/޳ؤ/̊TxKwxtc^E-`Fg(-_H vE eqH ܵ;):bJ[7adXrҞ",ƔȤ =Y_0p\*0 \5'`&s~BPE Lvdw F!ﮛX4cV,]5X4:sߩ!g6n\tL%UqBtSbjtW+̽U;1^s´l/(^ [z2ܔ"9]JMY--$zG(Jʮ w- *n` (h0ץd^ت+`i3ެ6Ye _Fmf2дK0yƷ6`p5Yhl:g4\s+ui,m fxpI زa2WHR:1{vqx0,ԩ#㒖tKFdӀ^`k}zrE3}[/5J.\_c_ۓ!K~3NgZ]M:96u) Un iJE=  @ &=AQZzK?j2ij.-XO8cl/lHtW#V:C蜨}rկ:_PC%X ʌdJ>/[ %IbyP@oR4m(t`dWs̕mT2Z|`a I6MI6ykP鿀w,$!-4h2CVC'kaRJ^ %=hKXyJ:ǥKmOM,Ed^-bGa4 bRp$JRrzQ9!w98Fi[Ӎ jllNBNF6>9Cώzs(uRInLp@qg`[F!-("k:6Adb""g6g=o4}O$~#UFk .Ҵ@zZhj-[6s%҄QL8qdo' +HjwBHpPXL1TA< <{]V-ȗ!ll2{h-Q>dU&ؕ&wJؽoP0l_ *S>SYKOO ܯ `DzS?HFb%LwvQae%4zn>ID͵}oK$䒛S%P"[|#kzwƨrmlD %HG)g\ب[xLTjfVf~܃Y–RaϴtY&nq/6lkZĠ i;_Ϳf߇CV-`G(Cֵ|6S4nv4RZ Û s+?;}3xƷ}ĝ/ٸW$+#QaANn!/mTz1ӮVTx`+"kٸ}@jyw\Mz)ZC1eYb*ޱ4R>J\+oHLd]q5v)W UCp\||@b Ly6ԥ 8+0&nK+1@Q;R_3e1qC !_&fҌ'v  vpyQWVQ2GprpCu޽;#?6##)FIwYgyz88vcDQ5]5|VѽmRڀOX<U'~,&P7Q4 \T!oEc%?B; DM5MpKp rSyRbt8X}.BS <}3uc-YX{g7l0Uafgw]#3LDb<|h ʆEOA0i_ݚΚt\̓݅ #p\}nEQFLvFە"G 1a9i#+vk){clxR))3.O*j9ͥT&+_}%Y$'t2ӰJQt^\bw>%H| }=-8Ysrxeıl:(!( #+~D6pCLK 8v=YڠJłfTA N!q+B:G#:bh:%;I8 τhu~eQE`1%?w~FeLaS+%q#װ^.L?ݛUP:J81H[.nB&R(Յ>30Ik =zR<:'+Ysj hZ(SX>s7tb! cY{mo )j즃 3>7#]EvZICn<r1<.Le=FRQJU\/=W,K|~\&gZ[{J' PK;ܽhF6/,(c,Ys wz3ȿ@?:zy}?r=ze4?uuۥN[{Xm2ZƩ8\mi8) K\( @h0qDyh!(i TONѐL&\|"N`oY,mR_B=N L teF i ͱgYZG 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 LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y FTUs4q.3=&6| iܑf (u `UŹ? Y]cpA>rӡkDuƯG>QO$:CrDO<LQ5O-=<6 >.;!tt+DNp ^tK0ictFxX;[nu+N 3ߔvѿn]İB#+N<9twGz9٘Bn P-d͉iJUX_|]WE98mP0wdcna?LwI#fN1sLq:u=ٌeKضi(T^+9*Ze&*"+,fba1R؇W>Z?ME:ѕ*_Sk2epߝChC0ydqKxט1boh@E,.Qfn JU;u+V|K' g@aPDإ89,[p`KS.r 9'0qB]KZ3֕ǓeT@G8CGl *ޑoJ"nS@8}*-0엳K~|^y+3=Z==Eb4&TmnMp>$WOb=k1*uq{L['26r)o ar*ߑV C7gI*]1urtIPro zAy~\+}p %k<0f`{cz!Yg/3tݔ01ž\R\yfl ]eft@Zh! ѽU>., kR~Q/dqeaUUF A:؝S-Cs+j,.MwwuRHx0p"tO|‚wvPJ8\W?TOH5-/|--ft mM#*p߷)5(̈`=h5?k\jy^o8ir ;[U G!d~T_t'G[B\Tfh/ {[n`N3-bI{Pog]IS.2f5@Dx]~_%W *c7MWFޙy.2lE݉ Z*T7U;-+ck0vWylw9߲$̿N ko Ae2186Z%)}1yh m2[CJ|u1&܎OUkPYV-{vħsN2ܽ/w1#Іv(yRS"xH.#1:`\=i- |gD,XmV