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  WOpD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.799cpu=3.792gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p? f M ^6Z`3LNd}<_0 (}1k%XLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.841cpu=1.686gc=0.000UnLdyPTw_,}YZ7zXZִF! J]ŗXi%yuH 7sԗ=:ƛq7;_SA~Y=\^ae.O=tQ!ioShJ6pC+; ?LPTTXMb8{,ص33Yt@O)Pْ> =鴛.'fWoUl&m_0X2-+waKGbSs;:|7\W O #w*\9\eǾCC MijZ,`L$xr|EjDo.|Λnd%%67ްw6\83~bEd 5i &Ϣ1vU 9O?Z؃gpax2($nmk݈+!!kFg fƊ6ғS ' Gz1tpɓN|Yq)͓bn!8ȆuTw+weH+vj60k@+% On׿6) A}YD.O,:*64xDz'oni]DB\{z蓵Ha|E;=t7;LЫgYZb4b55951e1bd39f9576f4cf2e18efe26dfefc1ff0b7a87e30dfc0251c05aac2be967bb2f98663a00 1e5d70c6c381761a53f8c5bf35dfaac12e4e6a0a 4634df339a855a06ac1db56e7d183ffe07409494 ea5d9e619bf62623ee452a5ce2fb7073840e898f a3311ac74a72e1281d227bc16168bf15c81bfda5 $O HOL-Nonstandard_Analysis-Examples. 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ŧ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 iY*i. 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ŧH%){ D]x'D~fNAs[Z@_%AA5"jw#zvjPҍ 79M?8zht#-f/XCw{feLϰ%0dt|m}`E7XCxw܌z`%}JnOM]c)uwCSVh>NH}^P QYiB M+WaK Nt-CJdj94H熽B޸nn]cJG 8m52O4VV.B#H-v& rcy(t?LQks*12@3 7Ss1WmCMNUzw"+{ 揙`#)}޷m'*'=ZzMZWZzmO-j+gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodvOa# k ,eH}XHO9F#Ms n+K1qr$ †fi2U[;O2l2`(ɧyXBY!H)"XKd):=QgN>v|9).L(~H {Ӿ|uQA˨b*Ŋ-0wCGBtx SK] )(R /\5Z"OZ|w:vC{'DUɾRC7,m* a!Gq Wy]7ה^\|di#XTZ# d̥21qدnSp@ЂU0BڇlZ&АԪ`4w H?U^Z&($Yi9څ.Z?BgYZ8Oa' Zo;sYF UX]1_T[rMgI^Ъ50#ǪG 9E ,qc h޼crܔ6Je (8f} /Pj´D5~Z_fL.D%'Q`sS>bvf;B%l{=&%UT_zсivoO Z3"! Th~`Cxr^E.}֐6Q8ֈ|H"nwW;&8Hzj%!"wZI(w 35!yZLQvg×wo?UsFזb_@. &oYq߄"cId\}AW(EXEtLvt͠=Mydmx;_k]3wsv=mqxx@n3 |>ak Yyv8^<Ƣkj/Ya+9/:F4]%=拈!h8y^U.")UXŠthS&Gf٦3nn8_9K+5O/}m7|.ͪ'h-3L sE9wkb0;T{>V0p`y{3I9"%0k< >99zBOB4H瀱!vV\EM`R?X?g9_αϊAН W(/uK EYݰ-kj{)(/ LKcȠYxP4))+:WAwH^b"jE}x5`G&gSr9;ZŽ-DZ-fe!hN 8ICY|]Wp,x F ImEcf:Fq*{Q *D(T#(;x +bkTvm\9!ngMldANr7 m`;9ȫ̃|oy"%yߎTeOdǟ=xK=LU7ي;F\t$O~znsT_!I*32!K2(6 zַЯ:6MTz;s{&VbU$~6EP@bi&ߝU6Ǒ*sB7{$=|Q.eqqĩ~DF2g>Fk]yO -i|.Vb }T&Ak>*YZGڷi/7jRM Kf{Y"Kbݡ15Я G+bŠJ dGm[7sٌ <&@3f5ƣ!ubf:.Oh8³O?=I+oD^d>#>zV{e/1>{e#ƶ$4=ܒ ?q'j 8YJ-CW_"\Us‘_~ິ<`R+&${V/;V':V{2FMZq٬n (~Dg ~YT^txP1C NJGTHHv#柭9AqJnwQ?ρ5;3 80/15 Dnr];DpưdP%mϻ&lƃOTIEDǛo-tl ~{v@L/;<[%;⡔uuWoAh1,sM̏MO9} :pfis*v 룳'X:¼~Vl!ӃĠo 4w64bu @-QW]u#:in蜙[Q4yt ^0:tgqƶX2B `DZj͒v/3vv.,w}(_2c8BN_5RUwԠrŸboh9xi#4$zzm&+St6"' Gqo.|$rT55u935Έ&:J#G8JQ(;axip3ΤIP k5B ?`FԞnGX?e̔䴛D+szTW/F{ ,pinWl1&t%oSK=eҡ;iS(z念!uPɞbWopE}%uPvn֚#Eu%+e_O'3I;T#ھXyJp&6vԬK>E(3nibF`֌6.#@< *Kp@ARg3z5TۗǠ:F6Fw+}y5t|j-:E8fT@,W&:KhOg7c%:D`>QYڔ3 a䥃TsJ/nkJ Kz;;Wm(ũ\d('&cf͗b5iu!r:FX8C-wJ}y?\½Q]3u$K,'> - RUQGmT)u/-pؒ֋\*}Uz5 Aq/ %N$l.fPz{Nf<}WA0ӗԍwXt;]{j1 tƑ\.I&nPND X'|]lt:]X&"8I\JqWtNAJ;Dorz!|J<8wuđZ#yg+篞!$$A2-@T勁F51,LYsS4)8xԠiܜHnDujsFat4V_(8o(w܌ҍ2ג]#d`m;9ЃeR LD>q<=2*J;l O{$hDܐtNja)}Yd߂y`_*dgK u[:?~:sy^H5b'cF f({r]"$'*|ZFH4h N2vFS4Z+}XTV d .Y>J;Ymz*1 c_W"T *E֑@EϧoAىȧ9VvlkQi",ֻ偀YǴ 5]ɮpMvZ݇9 s= G0r7HiH)sYpx7)KK7l Ty0':;Yf?D`M8o6-JqU|z_8!#bYym# ԛMm h5Q_+3o4rM̿@xpk?Q]&J*&" VڐG^;9m!] Z^y43![hL@ɀ;˛b3 )huquo4'؎)G-qJ#amVĄy"ܔ8Fay+Ȗ0Z4?CkQq|T7xO7F:uk>)k]DQ84DGlp,JR{:#"ۢzhiB>˃;e;P1+ND1Mq))=%QǬQ%6ef9:S>\J3+ 2W}o$Ovqsr[ &4= `Q˚sY˨g Mh T1mU-b>Bhk j9VzdO &j+-Z|z& lχO, %fn,!Rjclݻ, fp*h(\@twZ^^ͭԲM(&@WHR &̞Q:Ӿ{t+Fwz橤 o @]!4*2(TҞs70~6_) $.RbVOERm&[?Β&HEFvp|$!^K“PW8\¸+,*hv^t!y-]8:d NhKn=~XwȆdbPK!jrǍ[:mG+S=w3%.$(`*vp Jn˳]uNPM>6j>.}kh.C]Bm#6'Gcte>.x\L7 |rR\ mSz?qTvN-dwq}v'zzxvC//l i<82b(ΦՐJIMaQD @;LԹ0><_9sI0$Wm\7U"50,N~(ci Scm!ge*9g7e8OS_C*n= 㺒CXB/x*nD|YH-+jr4,(\NbPE(ok~^I<"C} r߽E^pkиN>`—"ʹ3Qѳ80"ۻV! } ܫm{ĶjEqdcQQpF%ݍ _4/s6JHTۊaq9vnb6OF#"+չfa^&ް'IvGCRf;k-{a|Lmqۓ"?)z1emeQsX#];2TP䙸F:ׁN[?PkKbHl,SőR~"| "r1woh- .ƨnF% pxS1#>0 a yiyA*NP{xT=<8CvP`8U0;a3riѿLu9C,@P PᑚgrJ |QruԀ,3 AE `CGEULf r 蘺2ٵ50?TjS}=Z/sCBTdK(2n6VrWۄY)qº8ڮH@^>ĩQq}U~&u~T]MJ!(2x#H߄c#M?9r1[)+~4WJPL.QH$zl %t?N%v&pejeAZsxB hp3 k#6&w'7U'?^>=8*7D yG&w2D GB')rטURkiżNri=췒VK]5TED{W2efSde`ɼ๩5/;nFZ@xdW?1YE #l2DfԕkEPߔ5W)?Rk灒sb3V> se vJ30en^+X2Y6iZvlPMoLImE^Ӭ<ݞ1Kj(hUMq<0$JFdaie6E\{RKqk"X;oEi娺sWL9 b&-^_X *|Xnyt,d]/H_r]i35X K:90L$$R_,2@$mE–y^M@Sq|@TbӺD4DtOdc ̷ \g6m oC>@WÞ]\hTod2]R׆ch@ܞ!= 1T[7/j+|MMyR*:*a7Od` 0]U2 ` yY ސK'%)T-OZvZ`-h|_vsu)k3M M].PQxFƦP^z9I`U}P(Nhe\s  E&]l|)h5YEЊP򔣖}b=/Vq%j顊pXs+֬)ǸZz)"!J` |/of2QG$*r\;z{ U EuSSf2g۰IHD:,(ȁ9d;2!;K2?2kY$xJ$NN0D›϶O8A@EVg=!<W&m^ z\X73##r꼘[&2wx*!#ud,udܫ s,}:KQ NC7VLHZ$Woר>,kAI6n!g6Bda9CLx@}w]7OGf&79KM*V70@/  (z#j FpW06]OQIYH j[W48}h R13j$$I<7av$C6<uq'K1Qh!ߺu> {;sҬ早֪fĎmzD'eU.¨klPh:&N]J 5Q6ij"cgO ²fP!k@h,i-#@! w Įiř:&a7WpkHy;Mi텝͵Z?U܀X sT? 9p1]&$)$A `>` a`cq m)ܴ)nx:Yhع;u>+o"Hg;wA(Y6"KzXP - (vmK%y}W%yjc|8|D d_.uƂNp 7ZuAEy31[Y!VTW|@/Ύ$h3;b_ 3dR86A*͞9ؖkv85u-p!}G"btsGD5jjnM;tnQb߂Ŝ<qj"m;NyU[DnaXI8ufxbȤ!„K$l_ yx tPC/`~R)-^\ks=W,\%扦ᐂ3^X0/@$Eod^JE'tY-[ ao4 hڻv7G<=Sa-d786X5F*P8ORJ^O|H'A.\/nj'?^Û/_%\KJF]oݟJ~kq:ȼjQwL$,ؾZ{?/(O0EVjD C$sАJ9畢2f([)]E <ʈ;,XFvZhC@%{ 9}E}_(ȬTDt$h#j^P{Er‘%eϪPQJPPĞ_*,4rTsVӼs5}GS ;-18`Xt.@FDoW nQUa4G?oEXǸ[3 *n'N%vYJkUc!0l}/䒴@o$DJEK$}W3ZPղG]@*ۧ1 ib΄)̐68Y]~9AB ,Z*Җ`N~/q&S=/vZ*P)bTI'jyG֏v=T-Xҥu˫(q5_ }&cK@ &&xc~e|9$"M]]-*/g0WUbL,V*ȸ!TUa$KɥK)*ĸ@fmV*(Ѐe-غH9,u9Wa dD /u~\?y*߁1?ʴ%iz7pWN.={X.;!|E gCn5;k-eB` ::ԓyp# Pp˕{>0=NZ||7ht \(5*֘`R\m<8ЕpUP(qS8g~8`wR'c6qFt{&cۦ#nTȍǬc3%&=OF+H%)"P$:swên×,kA a0cw[k*GNG Hq֎fnU2U#*P\.`g,'~]aG7%f~˞ﶄhK>TH?P. \Pᚓf &i·  1J D`|Eg'}g>54?'_/^JHŚ?KNDN ~~m@O[c6/^ i`[Mգyo9r!y{N^\]|+ *3Hv7 |ygK (T6X"hG~$'Gl[_3÷qj\~S0iY7WsET6>|)K싩P  :>[ƙNwP*%] mdtɍ+L%y>p`9{$h t ހ5!߱/EI3|Z3~/MH ȴal`vxZ8;2FFai [= ܕ-@[#/4Ԉ \?"Pj^,XJ7 捐K &H.I'H4iz9;>wgsf "z{ʷoC4 $LƓ"8ب'q8bQwilcÌWLn(UfD%rUp#_xR ܚ''gd2-p={whP@O]w %3CCEGEoj,gYZ d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\hi "&&b wmn* ۳%cr맢4Yl~Te+ uILm2=0Y=8$+0D,uN (wB#̄!{AP;GhDTKNlEqW!o8=&PSɌtEߙ6ce&TPqNa]־C=П] NS-7 ?&j2MS PlI_!f=Ea\#!NLNC1:Ɉwwc2iV:13xpSoɼWHF? 8gYZ Oa# \HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7e]ˠ)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 ]12]( `FV(:-BN`"ڡ-xg8E+IBCAn2|]de^榤9:W_YAor;GSE~' ã]onyM+Fj&WhA0KcFFy+9ςEL5}\>n"Z3T;$%/=!TjeI!y(tTs2 \ЪG!CNw8&'hѺ$3'7Iŏ.L0U8&hr iB+PD6KލĆq?XBƁ_[Zo@x Ă3Zq%uulm\3Խ9@`L3˔eiVL#  iGVfaKMj: Ex`9.5쬐2*`(ߺ.h!hZ!$>s}XB}jc^qjVaCvtRҎѧJ#)E[xj|&oFyߙPZ xu+i oKCA'Tk HnG)HCPz93* 4D{8a,\"НuUƒc{hNP+_;Է+y8W*6Y>%Zf/N6lEܒ|TZs]#¬VnoTPZNmx|muܡ.i1tÇǩOt(ToR~0vRA+AN\8贔*2s@ܱ $ C}P\HNZ{*QO9 %Thm e,*y_Rl Wq;kP_MQPR1XgΎ]G-HIF[m;%ҽ1uSP@l>?m^G ]ɝ3( ?-% q_&e\.(H7wfsɴ׃)d[m#;SޏN6QT;!8uP;IZbZu4Q\;dGІ {#b16E2wq37Yr9bB6sPTXwTOI>{b8*TQE.{ :eqMj>z'ʋX8pHOP$6L,xSDDua38[KmXF7= 8g7/5vt2RZ ƣPNv"7"D.WVz͔ oi`ᣆ%utiT.%> *ҭ=V&HT_f;Zl UJ(m14լS