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  Op<<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.811cpu=3.832gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"t9a2δ=^g2%#ltWU`e%r|zː}4D|TdgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.844cpu=1.604gc=0.000 w_,}YZ7zXZִF!  ]ŗXi%̴\sV9 j4wkQ_? |{ "sA0|\AHlM%ZKUbvPssy,IdGt̆o6p:Sԑ0pݵ N.d 4&\w v)KaJia@K^ ~s|%]dM HV#/9dxrQ0~;>a›( ,_&Kc'jЧGb'f,b?<-Ѥ:tAX܄&yNX(̴ʻ¨-aԬn Ȑ\7J>zC|:%r"q 66FjuQ  0L㦌D+[EϘ_7B5^7\̶T?\OqJDpl0aSB80)_n'?]9r5%G *-i;cwWZZX98]'}4mjw-̆+"`;UgYZea208271caada6bb1a89ab343dbf1a0ff31982826cddc4affe5c2168acd960501c3b8e0a87b46c52 836e6c5126283467c7477ad029076bcafced66f8 5b27ba0d99c4bd0098637ce9f29ef707026afa33 5986eae7bfa3c726df839108d444a0b3bb3717a5 65b346ef1125c7e216978ea36b6e36c7a252797f $O HOL-Nonstandard_Analysis-Examples8Oa' ;,=4CtIQ }jq>7k@΁vx>Z9&;؇[_y#E#+]ha 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' ;,=4CtIQ }jq>7k@΁vx>Z9&;؇[_y#E#+]ha 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ŧfQfbW0(,>=T}hL+C3[9_V*n٣/姮xI)׭;[Rv Y<,"tL^k+pÕ5ͩ C7%z8xLp{꧅:  obѡoImTV_fģ^IM^em)?[oGi !4O^J-wa%ܳ7U˜4_rFRJ!=s*+2w]Br<xKPS wqLqwH",)';*oYCү>:yuJ[ `¤Cmw`|i.XPJH`b(eNvJnGQksT&PwoK:N@1Nj>W [vB0UR ؂~Xy%|.;>ʉ<1--qX1T62%x.8WKxAHRzQU0HMG%Hx5MEsaʈ?e v~%G@R;5s*&`dd p5r,}@=4䮪>b!X>lq#dNGǘKANˊTڍ~#l41Q:gΘ7"в1˦']lҴ!p>a0X$dj@h ŃƲ*ȝ2y ~f*H^u0"d%Zy(-jq_H]AdRA?-B{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󣉫&qo6l >[咇}_\5,Gb Wt;jQ$ʟok-~0v(DM6OV)a\W.BNHui?֪ͬ6"" [<9LBRߞ#Ժ>K/8D1Ůeh+w>EnG1gPA0#t³|6'd(_*U @ikSd(ij>U?=N(bx pjJDР:]S^ykܭ%z}Eӡ[rFmxSfG1YS~۱u 1F@QG:U~Idbm$Ƿ+#;縉OOO\^HF#<йhFִӣQ˰Z-ɫ5V_2ׇ*8˱mYB ]8}9[;ڥ%߻-:n ӘTT>|AdtX> ee>_d:jOO] X?Kjg4e/"Ҭj #`=gFCF딾I1Re'JTQpzd b#>(ͨF&ŤJqJ"v? ڃH-"K|Qڕק`$ӴSAX2s(tjeUDLE~gn9caE|ͭ}"Id g˚9lH#Ѐ[[ PX218"a> տ#n#Y; Ur(z*鼒&ƚ!>$]L¿dqBnHAaV}±k'&fA éJծ_۹tQKJҞ&a?_J?tY%u9FZZ1\J!#%n5ѩut0t4ϫU([3@.D]̭Ym(RInbuWTٯ0z|\|E8LbwY'c'{$敱K\\Ih_[{K܏szߏt4︼2w%켖I39o^-Nu$0,Ӟ/bE*EpGȮKh,m,FBLzkk  }: quBtJ: ~h(03J4`ɬ˕k\^- ӷ2w.rV\´r': 9ke_Ϡuœo9˛ +0b"Kx~0%iڀL5S4M£'JFWo1lR>MW8*9}-JGrIhY!_9v5aK%;eE,DMLkd{xA6(t[N?`2)XZ3@TDr(U5 imKȊWd.pc_4:Q,)Ca1Znz ԣX6;X."T.Mf R ʾliWK= bR,e>^ҺwnMT́Tle\ m2<'~wZ/aX:{Tn6L{K@t!Gj`1zU&z汏OLt(u-"mdˎ =ur}얗%&\P+A,b^>=NM4>5'P#?v ^._hvdsļ4HcVS=[nwߵPlˤ18ob;A}|$r'*=Égl2&{[8cd?/{ze%tgo,IU dljG^:: &`iNn88FF kxRRqp EW~ `%9lv%җ.UsLuJc)3$8)5/Ӂ^Ɣ-bBV?f ]W| ف* KVAI>yѦ WNO.9LvָgK2Bs(Bg kq|6K Ŭ4:Cp ~#تB4 >t\Oy㲴y$Ӽ6׀9|{rrD$7^"ɤݠ׌*QO@BP$?-`=O~l٠iD}lĞ3%cȰWZhkөq&8KHD|ɧ kJ A>s/4-u;E$3sV;amNJP:2ߪWPI4\-}_QoTo` `M>9KZ$fl-j1BA:mWctsK8⍌kd)SEE!>([@ijK9G1<`Rs{a^Al‹=Ȱu_4ĜGE SEӹ4ǴSE&Y0ȤlP{@zl}{s˅\\؍=d6~R鹴_9;UƳhe$>(P70{y Q( qgbYOud'I  a0 즔~^)H Jr#49X v(tk *^ I|c:+[QV/.TO)(վfxl˶)kι<% 4f'c4UMFʔ~ w7as pQO:ձpH"- {,馞F# $^g"uC8(Y.sER0A#?5ä@Z˯Jя0vdx͉Y0;$]1wZSPZN-mu")-qIjq#LvOFbe/=Wez퓄 [x؇ _}U$ =}wEV<m.Yg["th T qX@;&$EsWOUB-dūR|sm`mA!Dh컒_S­8'GOBqS\}{D'mE N zX:6 V:y&Kaj@VESԍR @nI$Xg~Ļ>E"$6b AAjnz'ǻa;H߾n{~JwN?6'RgĝH{^9:=v5xcv"+G&c Sm~X,ն,ZcPSWHuafG|AeK"}XS^ʓVDPj=#$EjTwěu tnƉ;=j!\io'Gɔ&[A2*#Eє1DA%(]od["kWU^hb2J 8X˕RZgc?𮶽:*KNě=%{eUyZ.Z_F vݪBsK rvD'`]C3ܧ@׮ۃZ'E 8-{EBޜX"ꓭزg܎k!4b (!?2rq吚}hA&h A]Z#M39NU9 \ROΎ7Ql0S.vYp4W Y0YC~v@3zxAoh?bbQa|>-괺~l>Hc9GgI7Ro'4Eu M>2aTQ2Tmx{A붣vk3H1Ǻ6BYdS|kXq˽y(/E46Ѝr2-kxyq,Wăwa7h'$V:xf |pVZ/n3UQ x{ AEG +yu:1czu\UkI{CMi Ƚs+{Oݺ>IIigp92#Jg5Jy?~k *qEB.kl ٽs\fo+@]0٣J;dat5ޅDr c0C8c#j/}9Tc-G? X"*^鑞 $)_ faua FcgTFc<^O~ڮUxB&G?L/~}:WG@1x'38< |r+QHAם3  `*4wV/"NBښaWl]#CuK{2p`TȌѺye-HNN]¿}$~yE̿= -C׼} {-{{>ǙlbvV% $F/hCrfW@Wjh".96&g{n*'H{QPvl,1бBMpΕewװ x5N+4량ci{CSrrVZ*=2Ҩ"In-DVCuq4muX!": $/_Ħ6]+K=[2< g>oF\{HKjo˽ݳ@xrL$LMR!Pnذ"IY㡪ݣ$PT 5af:i/"jDqBIbP2,-:jzR?گ@K6k?V 釚FObsLhTkwpRH=Xn?2r[1SH(-|CP+'4f_~kS"/Ț;yne΢Ϻ|mq34LSjFLob'ֳ"6&-S=hcL^/lYj;2M$y p$csԴG뒃paZ+}w+ 6&ɼЗ-2^޳s+W2AIHyY+0+jb`WKhCBk¦[, <~0 Stb"V?1JZ+lod,^$#ӹaGB%{S0':cgުG;|$lv+=blR9&D` Cw#\iv`Kk/USz'vtMH7xnddo: I+V H|AoauF`]fwA;p{kY!=(r- tFht(| ߻Z9[* g$wIgUI\c>ΰJGDǕI+cB u VܱґVCB$)G>ϖ- L H^ȯ@N۪NHVn[ˌ^^Z8 +'/gg<+3!F|zuȍ2qp!z˾MP2iVI] 麼UƋ|yO ~3.}RM (@P”S( F/V 1 R"*eZK;etmwD5SfY1FejfC 2>COR>(W=>L zS DW>|a.ψrZ+jSSL*ڔ(IL i*&lY?LU>>G}yG?h̞䳍( ezڞDOikaW/;%kT*5/6XhF(N/,bC”]H3>"5~rW!'s ׆{Qo&jLנKWc&NU9Di_rdm(Z%Εz<-')y#GBKU}ԍ3a~i=2nnMӻ ψ69svv5[pm Ēǂ:2=KK46Eh7K,CΛ/iE+ݱi) cee{.~4$ۿQqEi(^eOj/`AQT(B_9 w GfN:3"v|j~+KUigOIQ>U< i"*Jڧg0;*D#0Q}*sqRU\&ӂs0WT˪l̿NwSeFm0˯ X5VwC TJ[sX= ]Rm%ѯ V@"&1@pwTs+wyA#留B]o9vqWiX&⹓z42zyz q )2{z]ĿmJ)Z >M~tS%h{RvecM{% e5#Yv*n2D6.X"Y-gH4?Agɇnx7KsoV\bqUY+Z8 f3{s:P2@~V $H~#⪨l^ϲݫ/y (%Wj fLk_ *1C-GELE']>H锦]/`zSJ&OhBfYGRr. aTk1ű-45.Q;T!01c_)'Tv5E%o"}> CIObsХlD9SD:E6ᷧJ^f$͚FOnQ)szQTtt ]wsc("K( =]/ { zp)ʹ2QO oR'V'N˱' k(iD&H=Άw.l\Qsi@D" &@%r84p m tSmeuLA+%Py+`U<_0e_tIS\=Dv{IM6FO -q7C!bV;v+FBu]ށvhd5:4!DVS"tR Oݻ>OB3癙Y0M8>!@,궑hAY$tN9> u+Cϵ ,ӝ~O4%*=7^Rt]9$E3hi)_}c|lQQBYSSO&>&4NMPJ,Cx>h;0C%U=3a|.TbC-^BDwf OGhVyO^z~/cjŹx( Z4<&I8#ukiS#N1RZډ(HUgx&|+kv^u}-ޝk|3>h즋 ~<ȬA!GYR ֠Wρ0KI  Nmvv%OOcwXANPHk` WphSCxkrŠea9:wL QQ6Vo%P+Ov\g^=m%3\s?]@pMdPX'(xn^Nmiݔ#7jLzoɐ+u(WRz*ebY(<M_ջ2j<5y\Da #whISD ͛7F"9LvX(C#}h899!{Jr諃< ɋAx_&^56`ԉY/ \fXs0ؤ>="<۱gQM-:޺v')U|V,P"BOR&ΏWUXlEYbq,+YH~l/CJTf?¹~a\=z a]kcG|yc~{/ 17aNĢ,]x{D`C M -i8^hQ֛_o{s{+x &% DQ&#zT9⏴$O?e{<%8b~\",IjcM`;mfb+ SO|h/mij$.spSn1D١ҮZoj{gYZ [[h Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\i8$iӉZvi{!>ۀkt%y*q7`i!)ڂ&&mPO+XP'"Zb*rOФPy"QXˡlxǭkQ!inp1'S 4{$S/ _-`*Uۿ}dY8՚Yhh>Tcfm\8\h)pҾ~)^[@m"p0R~B& .RWf!7";xy)~^,uǛeb׃d͓{8+ 7&O`ԩH:EѪ>ahSCTf1d K.]A>㱸v;# 8DEwl/!`ī˴惊g O~d]':U?gkgfYJB=6Vq| ZtgYZ' 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 -lt5۠Eڅki?6*۠stx=vL脉'E_I J387B8^>Hǥ"%}NZz9YKv9)^M6ta֍fjHmHiZ*g89p>ԗMVe&W/iW&|ܴ҂NJΛ\uه#D5+ Is *w;׶"KoPȈ dx5bIe6a0)N2-3;ix=f۲@9E,U \`5 ңch_UR!&Ӂ3rmA (6'rpYP Nh;9, Ǹ~7ڝ2rڨl}ӱ}"Uraga0@gó6@XVSs*jOy vuUBK7`goXFV]w+61ꜰ]_Xn=G(M#ү֐sl#BY"- A1%]&&vz,Y&5ܤv 'ͥSڦ%;knsJ,$B&v_#1*xsDZIލ`~+˽Q~C70.–SnO9s!E+ SAM ͎j$O*s˟ҋĬQ0q=(^"<2}`uEtɬ#*U_ӎ2Dw@&}ꚱ& 6ؘ1AL;7*..g v955#l4-u_*v3v!`2ĵ '*t9b m+=EY:1\< Oց_6dg;yIq`2kfSg J(8h 38fEn4I ?Al$V]<~zұg.VY&ɼv`@b7f (#i#TȆ;CwO~Lc!M?Zv~*仄)0|rXkב4WF h#uyE_ff׃:uEB)ETkl W$:u< -FILW"UX2ގS‡t;%дL !wuAX`)j%UXH)8d`y>*;# :`5){s V# d' g"1B >$ǫ_~,g/B %!"%Oj_`/y˕2̓ {vm