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  OOp<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.833cpu=3.799gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p&PͨH"^@<[w;zNÀ[kzoWyeaUdSgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.856cpu=1.650gc=0.000-/l{>w_,}YZ7zXZִF! E]ŗXi%!Z)!$Sq,OL:L՟נ;-+2r6#hmU%F '`|5_)jL'`\{sZJk* ,h|A@2ʛ{+5 |O SJRコj;3n5FW67UXKG,{J(u<`*[]TC !"pX׺-&!ty5bӱRFk+<-&] 1g.j~s=iXFzʒȁ։-pX7:訠[_*~B$:hyV\!93@Udrw 7ѝہ @$l B gYZea208271caada6bb1a89ab343dbf1a0ff3198282948e488671ba217525b4d44270af3533510a21d5 ace97e9292ce8a89b7e194cc52cf58c18517f8f1 105c384a9b35f16434f6fb1048fe3a374b58117f d6407a13bd936c353328f4c30b0a8fe78adf5c39 8e9c56ae08f762b349a062b54eb791c4bc3179ef $O HOL-Nonstandard_Analysis-Examples8Oa' o c )F)JQܮ9gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:>=ym.xzL<0o!%SsMTqN3Ƚ0[Y&NP?g3 n(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' o c )F)JQܮ9gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:>=ym.xzL<0o!%SsMTqN3Ƚ0[Y&NP?g3 n(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ŧCDQ#WΪ(t5@}`@c;s̃e<.cw3^@պH/qS5!ÕY1WPTI&0M䥲UF2¯ҜerU شdN*cēGT8#<&]ӡ#2êQ}uS 4(d6- Ƈ''ÇT*.8:)&&uy)EK_mG2ob`H#W}م=M=0-*63 +bR;S!Qȅa9sk%LJ*UM1 ؆HN{^o{<΀h.u CkDb_|&BL;497hSZNqL@Wx0ٷ, &Ls3b:}O$(nWrK0_JjO 3p;R(A, Pv=ӦuD۴8k ;= oٳ lW+YNA~:=u8Z!PFF?Tbk5xgݧ&w:yI9:m1R{aihh8J$ߍLZp6@`Ce@ ٺϹg =Ra 3^vgMZg[8PVE$J-s_DN2,>xquF'YX׿0+dS9Ia4p{-(6d_bqOK1C9h(&̨U`v#W?Hqn)=;d`WxPA -l+^,G ,+Z#|<d3-}-$PTz =A7H]L6@CWm/LvEW/:i3P!(eԔa(KҡӶxBl9D.x9H.Sz ]vU|TL.8)IwKW/n0lOskJ%lī`k/:yTf}7S6,ځ!88#[G0jgflWlS PTb_n*lu7=Ve?1/ĉ[يwR}ЅWdVJ46=ܶ[\P0*i*Q  .gYZ<D:ACj\LհC=4-, J4cm6!|H/?~_Kl)4/B>u\c_ kA aD2ޒ:aΈ&0FsWZ&7yeV{:^oSΩ\D{1}C?"kK]/ɇr-XON0 dG8?'M7alpo Fܲ_ե1xMyPGոzj%ojF*),5+dDx<Χ>Car+ u,ֵr 3>wC| l ߻Kڶz'R S?CPNɱ0LncA6`2Q>Q/(琗󬪭Un?N0wu"t! _m'_H J{^U> ρbJ-=>HmBtqsН &oPIЦ2Yd IR)Z%-(Я)=*6i\4 Z0MPvoTVl#16&VŒ _j&;]4L ˺$XTy>1 h 0 ߋ v1l>n/$ V3>d;|SsUSpj9˨-ޒ g; CR]jZf8BWh?uFY@l47%dτ"]3/3D\g~EtȰws Wc;~2.]9PzjOĊ)i!1>+#nghu1~ڽpezќ7ɻGޘьhrZTtMuwv_#޺ iTROkHMgfbȦ՞0#•ҙ͉k|L͞.u1Bp|j0ƏчUYUunBW%ߡuF*VfN7kk;R x;w=〾"K <$ӀdXg.Vg;5,6]G97ᰄvN"aTaD>8έ魾ȋ5.g x<$,nqm>PnD(Rfp#&HTst`⃎;)M*=]lyy,ѨW}ɌV,y2lUCݒr{a7b#OFߚrדi($}uBQN @xтúH:` EX6RQhפ%A^>1Sk: : O_P>a!KO]2vݤj&T9ו Z<<`% Ѣ~_AA)IYLb>k)M&k7-@-c|,){U^9{iR* 'ʹiK'#b>* ',@s]m7œ2=93߀m8+hF7NY[;ky=B*n$t #TڏpZDBeth/VkRwL20oi/ ?;>/?TZ Tb/#GptsK` eS*@2Ôwe#a+6/M<ݼȘYGE&{AWf)zzROֺ?9uYg.",#yݕ?/:Y;ǜTQ֋Sq$=pأe2Y(dO\?|"ypu˹)K 1",~{!K`)&E!g4{%ٝ$:?#{Qcᕕҹ5Ҟ1B0L=Zw*+3;N*zt:H`=LjOSpKh/%n\:PS 8|~-P0 l|AJ9`f0wҠgj)?B%@ԓ}OKɊ_A\c EKR4AsUa-X]ͬ[}ȑP_Dp-ۻl1 DسYYKD_GdVࡕy SFŔxw0b iy-y 6l=%X/HY)HQGbs Xu׶ 0~l'ڗ>eZ, 0_zL?6۪be;`=,ulG d]'ƅ/BCP RoN!o]s$ɪuUHxL`#`bRb=X;{a ͺMR%I'%A|K )hu>fE8袅"Q83r?xDnHT4B7"gW[ͧcbajk df&=V4E$-Ęcw!沤DOѐT`ؿi< QȦ1`(2SXT-\$I|~U ^y>ĈU@!> I`E M*e?mq]08IZvAj |]!_6yTv95`zEX9'@>ʵL&l ~L5<qx}$F(BoͿٌ0?SGݽJHDXd)JW !Gㆎ%{!&"Q=d2o]dRqdUSب7txo@blU +s[~$kXzW Ȧ癲}m{ hN* u@:vgk{t<bɷ|j,.3-,}S.4WtSwŢG#zCh$r%8'a`jSDu~ Z?cc5'Vͤ Ds!0zP?LfT`[xr5Un t :uFln.?c7"Ɩ/\n9o6p 6-U0ڭ#ŰXq:ln_HY(6:@yѵJ=avp4PNS{ؕ+Cd+:6m;U= :E$ ,IkJ;&Q춸)DC x zRF%& :pFQ [odGh% 5R^_[=(|Ѻ}- 3} Dĸ]\RÇ/n$tr6rvH|֗ˎ| fZ OcGqn>ȟ,UmoQ¹sQ#C&#ԍ=r2|S3.Kz0쫕w׎5וȀ_qIYz]&ib[\8gY@uEWd ޣT)m'Zo(DhKAsE4e{wSkm8.19%f:aи4)SoC V^ۧ?ܱNDu=:WEwoT}D,s^N ;'?g~@d¢1 9EvrUj-H͗iE}N27&H^Gu\1ɍaq g!q MNU r!/1 ng2jlld3Mlf=wKw 갸XQWH57o-LP@uI0 ~xh++[\[zu4vNG nF'  ޢ?~C[vձŌl!3nDrh͵ {Paa좪p {3uWe#E1x/LPsDj, īBy_绯ճ"l UBDfF>WZɵơoW.9rжIY{7bb173d#lBa]x$eۦ3ٞ҃Fƻ4]{kwQmI*"8~kYgy4YcZ6[r>Hl1Fg!ź鱬P z&@-{@Yu! 1g, H66vJ vMAQҞlߠlؗ#&q A/Ch`mqBQ$A~84dw$= Om Ľw[KшZr([)a_R"< ̶f ,oKs9i fjfߙsox$69D?8̵]V [À"z 3h6㣺g76;-9CyB,Vߗ)nTIDV}AQǥ<9'K!j~A WߏԲ$Yg}bnFbG DRuYax1Ucj~Ankj]y7NikYQOMHF,iTr(Qg2EV~(*LĮ4w4>d![yoM7E[v>>#I2.2M:XSX[js^`sê MP-#:ljA΁ʺ-u7L"L}R/ b#NJ(f_# ⣊Qॷ`m+'KsUѻ[϶QȈ?<ȌqFԝ]p،-y:ﴺbE(5d THO xAM1@~jss'PVؑ -0,6Jq0񣥁#cmہW7qWdgsD_n jQ.-'}'4[H,^Ŀu1}y&Ȥjϴ Odj7ļ ){%iEgGmTW.$ZU{+w+\62-GQ`T :YRe` *i5 LR:dDP%k(#l̇MUyq+>zo`RM5 U]- C/ZùLΣ cmjG!\U>kkCA Kҡ;Q7+ ]XY{W*HAP76b5&,GOE@KJHY)a[vsqox jPɠ/[ˠ5􍃆X AqM;͗frd>'p(f"yGWgZ_vx?%5ZMRt%K|i5?1~DЮĀ9nE,_`Uɗ=i[_ :\ܻ-ǖY;Ui~Gܴպ3IMBu̚=٬zzr颖L\5#3@La< L쨺&g *A_8 sCMPiC Dx I$ˡ,l/+o.j:#Ð6oAub"%=Q.E3J4uĤ = h ,蜵n 9%/ǘZqN/ (E"u\2҇xQ0VR0Cr/YTfȑv9k }AN@%[価Dn“ClOkWV|T#(L[SE(Of(2 U wa?4!.NVhc=CZe@bpw{MaX ;X[Xؼh7*]x'Jsbd'KbGuNos~Q -Ԝ !R T߇n6o?gfE 6M=2U)v񧗨bOͳ)ʀAj_wHL\͋t ‹Dh@}z*ġ;P:)FNXqR*lB wA5Њ&]ep~VQ8}B%N(;^ wA§!Lv[?1ӛS{8:)3^ .%\3 @P&6Yd9-׉$'-VM :kal$BHJtHx)ا,IdZ1 l7sX( @~juDa5Mj5ay%!%|PlPOa1zi۸~f𭵈;JYtw .}m>Y@? T! Y'܍{.A6p&<lY`,J[==(fbg܆7Đ"RHJTڳ.s]~eXM w@T`Pc+Ɉt`}l3a[{]# +͂I Ykv% @Ÿ$.Ղ>%«?C|(o"[UuhVW7j 6똧Gy}sYo ;KpsĐݚ`›+n`R#Lz-dngx\*S(G<K[jqD-SB{Li b2K>Z#X.: M`nS9]wox\]gޥ 7}S:gX-rv1ZcP5ej%0T[gA %܀`n]7K\u|VAvvSzr5dөPf9A 'b8eCUS8*14K$=dtu+{iҡg)?Mز\ޤ+8(q~0[5JΒBdZaOBPJxlGN;VWi;. ӆ3"r$&HmMdU=r%%OiȍkSƏ|ۑGV{F)mǢ,a즂/)#BG6O(s{q*'0Tz_B<O)MgeQZ6dd'0k/} x,E3łq\hN&"^(χDRw#NUkFbQx!]iYzX r ^G &,l %ܿ۹>?^# .Ht'+D,an3Iu,5Xl6wmUEzɒ\RѰB_%tzZdu>Ѳ$;Ą e8/$$v. [ib.=覐@S)ykvl~s*nJZ`O0(U6Y r{MW1/YOл" )7㭀 h~W $YNLWQE')!7M DяKW&/ gfYg3Ii[4Q5Ybk7;W2q$!ڛ lű E^Mc@N̙e^d`1%RT1]Z٭q~ఘjXVog=y ?^wهǥtqd[.:0hoIbHAUgԸ#qĺYhFVU(UQ,DQѫL )R#J-L5McJ_)E=>ДmW6qx'f4mIJ̵ͧUnQaB_- 􆰥V  %gO\zB(RY "VTU߰#A^a ]1>ǔzX-4s_vjdtēcG:QdP7gց]yA=r%01t Sbhv* Uf?;x eVk.+l7>4JQ4,3AF_b! ; !`s꩛2u:tZs&xQ\ϞFsLQ:G$rgG:r@:lad /|8msHk#RJᗟB (W_P= h{J{XH5Yt?Zzd.x,1SxKjC'P"Verwt'$/S75TCQ33U%~- j@cuu̓ @WlSk ܘgi|.q <bb|6ZGРu1 Ym_C*1%qJ [ VZHlTHX6\z=:vt&`3%$[ 9t#QVly#<*j"). mū} MOs[X+FJ$75;egb"/]&>wțAiԉ؀/ DMĸ'Ġ!oWm3 %k&+Xx.N%R1vz}<ҝvO6YY?ѽz'oX{úAgh%K_"n5dvͿx/ r"|o_yF˴i?+8{Ȥ*vEym.a)(b^`15E)x{)"y;̯A8MN6]S"(em3ף>K%k½@tjW+Kn!YQB뗉79CaF/8XPAtNGT\.U N^,a|o| gYZ __h Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\i9)gYWsWp[Yn7&n 4"`Y=c^Jnuf<7C:t˕Q(Y̞s͇- jv:Ά,RŠ0cZvY[.zvSz0  JZl?&¥b_ا/D۫&A ]TlAr˘bO6M=SEHġՎ8^%N*DC 9yծ ,=T:J 'OM+k3; ~NSuOCE4Y שXF yӫvέ]Ꝛ6bpV 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 gOg]bWO{%-5(c&z0=G5VNBޢxo(>n{dX-:$jWJʛȜ JrgNd`%?-_C T܏jIl6bW_<9T z@1C.LUOs@8ـ*'cҌA LC2VzӋ]0݅$-saoXnO2K#왵!}1hW6f&C+ :L@|3 3GuÇn,b{)r4US ؝9mIȪq )ҧ4X#K+Nqp"^_#=XTɣ v{r /USkqJv8FB蚷̣Jɛ!Zu*x~Mfgp1X_2=7Q2Ǎ #ؚN +7AB5e/;٧gkt'js{ fYGErl?lWsJgKWWGr5uJPP j+ۆc{#?D葮 dQ4^6Vdjn"%ip_/B_*\m>sC?E1VF"S F"ڙc݌GeĞZg_1T{fF?YR(2rwlEUmM{z-C.٬L#P|_H'Q3=I.y~yW@MxOLa(=i.aԐ m>f|ދȝ