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.836cpu=3.861gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pcH.-ZK1]mj;IbHSGdWts6}/@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.852cpu=1.686gc=0.000!(Sqw_,}YZ7zXZִF! ]ŗXi%/*Q-sщ+5>0UHaW(۾)57tfiib"DfDcqȯ<8Qj.?U>DNM.@*8ioHm ;sŕF`Z{QdӚeS60f" A_:6oH.i#Y*fq'\}[X'%ɥ_Whܷ2FI@qDf.^ Wd[@V@SX/| 魓 mOR\iN4F>?oCw%)gvN^pmB׶5sodOIٓSpgLNǔ1D ,,1*}K\/(9Nh'@0֬= ^懵_C{p4>R >䞫C?A$7Rcxѿ򲵼OfqI f@q W5[#TD!0\QgО}:gYZ4f277d2208410e9ea8febb71a3feac24c94065396d0f3cca7cdd2251229b39c6b95fe8d9dd63bff1 9f199ab720a03289fd2a3e6f83c5bfd78f4c6c0f 7e28fb7b6e345bdd7b1291afe535536d75996409 64906479bd31ea6810f9f5299430290ed694c6dc ac2dad654e94aabbd6cceb0680173cbc143c41ee $O HOL-Nonstandard_Analysis-Examples8Oa' ]sepRP~n4z1>eV+ʟKy[+9RHPLx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏٝsxCG{cd'a6? S I{Na=-(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' ]sepRP~n4z1>eV+ʟKy[+9RHPLx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:ՏٝsxCG{cd'a6? S I{Na=-(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ŧ:b '6Mk%l?<[IL~B=_&1S KWӢFMxfͣO8N boNu5n} py+UFC+iqZ]70:5`+ېsڸ \B.R-' 5DPqr ù5--7$"Fy^"POٽ\Ak !᧩WOA{&%.>XpJ٩l ˕p_qc}6^E.=PAPZZ y;6^+l"jo}@xO^iP%6YEq[㏪/}R@3xyHCO/Q:\mR3Y젹õyhfo\DnbŻB́+ /2PEi`u cN- ^ 3\_5=?(j/sY1Nݎ1.z84 M{Z:@H2xHnft*p\Hq܉o~S<Ý`^` 7Z7 @7DmeL=u/XׇHlU;6O-pV2tAv ?. !+O-AͅmLG*ڊh6I46jt~CnV([ dLU4U%*-'Q0n,-0ljWz5 `G9 A.{zf-L9VgYZOa1RHOL-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󣉫=lzyn8̺Ѣo&Z~YD/wEWwf͐_ h+7KpqTj~TC5?HQɕnn&;Zf?1tScO$3U܇ݥz *Iu SqAoG wvVGU)Xwu ]Z ځ]O.ZD# 6YTش:pIҐBBtեl[3NƒS,И޲lW!f>_wUNaO՛gq,w<7C {BDzaՄbz>[T$"]j jܺʸ\0;-wNUoQR`pXsDYhYH$EP}N3nZC$QG0wuܙc|t1[Ui IJx 80|AZ7 41H3d(o:I@?-uQT JTn= Չw}۴!)BI~I(ë[DHEn f@tp]uC;0uSu#0ۣXClF%`R`ӳE_]+9e&6+!5]qiU[f@Uq9px^ dvv ,/^2ݠVEZc^0!+*F6x8"hMF&2ng (s5lm`*5k |_^P"Kyd+o'=R)P~iK~&et*#]RvgOStW|TM}\6N{wV R,u4MfkkanT`oD >3SPK tw.,ñgYZrF/ïn$Tn ~>Y: hypz ,*_n ]7e[E5|lrJ7C>܋6{^KaX,R{\B,r6L#8|0~Za.J4yUE/=ua~]D37q&P4 ,!:+TU%q V!I8{ն!d,w"_R/'K1IsrL!BUA!2\(Ww6qNti&] `)U=G3`` eǢtڰ#ٵ!ٷ>lOl'LN۵{!|m6o9'Rr{Z?p}/?^ o B.u`Ue\<nv*1.CyؔЭf~sVY5K`ҪHg)>#l,^ȼCjEmX@^?nS?¨'uύ6([Р{nKj{;{PStf p =qBc Wtr$JNC4 Ozǿ 3Nm$. ;&MJV@|#;;1+B۲\nIsWXXg/ԭgS)Q:eMC(1O+nVvѲ~Ek ei|tNtEBP2(Ir' ?GuL(27/=g߮>8/~"Rb5j"/2ˣfu9쓗cUtjRcJWDl O 7i (j}!J]b%[֊-vƹ%#oH-=Ȁ֟,ȦP1mAtAqoo /C]l A#K7sUmYt5uq t* JNBnLGTi,(WU@:eMpġ^[PFs mN!ZH'yFqATrXȒbHкV'lJ]\-a[ ݲUգc< .*?7\F,Ι/&mPɥ1;͋ 1Nla16 nOp§|M&݁8u.xvgEt$ǗLKOƇ`:G\erƺP%vl*ն4ɜ `rOdy d #o=1榻}u :僨g,S2SyN:bwטՖ<$ ZT^qD`}rdZ-~h`cKq(M-JAlF|bx "3k<֘H Vfds旆n$xP7ɖ9# S]Sݱaž t$ _s_4\e'Ձ;94qFm#S8wgBoQMXr'UviY ]@d7cSM#8 oo 0F ^<~~=5LJ0I2A0p!r2IM \"',f%]N8bxJ͗uIn5 T1$#:x"!m K>"ŵ-wQ2Jיo ^,@DtSjmNTaW}ˑ@=yXrT_ӎAZnz_h5@ 3| )yΚ-qHy hA DeX6ݽ۔CKZ`Ld5p;~[Bڑ#`@Q4ͩ h23c}(|?o=tI<}.%ʿP$jg ٛa\Iuxu>5w*<Wm6>ԨYSP/'sJuaK>C&OCU [{} EF:CypcgLGx~ W tXۨcz*Ͱ/X1Ws3ѦknBГ*|aX_* dŠwJVb󸤑exX3CxO#Ό^< {݌#g&2-sp&4ƪɀ?pA͕(:deeg!Hy \ Kg=u "8I.]>f[(pԘVvxP')زa-:*'ān nKQaA? # pbz!u+ UDltֺ/qu=&EbntAX]쌰*(sᙆ7K㉷EG@R%!l9MS$:Wye,c,7z9 TT7 f" 3[i@haF{qhTd#񆤕raNkZsYoG0x[@= a"^v!\iP~!޲+Vǫ<4T?HRrJrqhc{BE3i*_oT( IJ|*S֋K&l1$hnEďktDڛ8).YR(]]p_(3 |D3op}l36u4!ФoqE$ʩuq";3ymKuZL@hC2!_g/SOc./~9[+ mڊC:I7 r WyK(dDLmaL91}y~Ɨgd8-%s4W3jTӗӳͅD? *&װ$;,VY=3}B `, yexgG~H}j IV(,ByD^bĝЧXX^s*^\HFrZ3&-@^WY -|vxE!-'.D%yK߳Q*R UU&HMG}CnDRJ"+#DHmn85H*/!,gF|.eu$wHwsx|DQ|+Kt$=OK7NO3U`|zk &+\mV,m,LV.?3rT ^4No`x>;]+Fx)$Hʃ?$'I.exEemKÎihAqrUk$4)[cxS5 iuo!AXH/rdb*LC/[Qɡ!v! J1k֓f>ۖw"%`zAjCVEп'6<(T<@Y%ۀfyZw7xKbHIѮ:u<TCs$4mxzK۽VPn@FZ9^ce,Y/d gL:1!-?]Oi'`>1cqFdGQRA1tw\Z?iUf Pז,# V_X+u^n_2`'<(Y5aZyчls eV&]Y\C arBL6ID3 hE?^h^ kw`~%JoksVR4w:gʜ'S"-!;Pcbum/d+x2+G5Fr0;jQ[ C5t[7R!q: [.@f(v0ߝHs>2+a wRFF]VJ67 5\h1*x yӧ[|T_gww to>ā0SȨ[7):cì d?E#ATY"mmrN"3 _j9%(E>W>a +*B SNs}k%ӎOobާ<=>KmôP7Vz~SP/ڵ>]2T2[\2OhXl/i']=je=@Tw 5^:cx{pTɊjP^|Yҵ]߷<V `p{^{TM-8B$F~|uM VAFS+}",9_\F>0^R`5͹%bAU^ , TN?6v݃|\-mn ?4pzCcX9kwZ]1Zg˅t>[WqAmگt{TWl~"mcDEfY(p%ᤋP`Y} ]T2JԱ_3f WelKN KЕP%ٕ1؞\wRy@5qB?[>Ya31^VqyM+X&s3VoN"F2|4E^`˫6^Nw\b{rUq7SQ\ɑOOrфu@@YpP~*M{S-GUs+]1.> @L  ftM#,C |x<gdpSь%_z&YD3@ sR9b^2h5&!EWѳq@ϓfz+z\iSJ~5.Tܰţ=3)VIG@jVF2 a*cbBP~<!PPdNxfqmk:oRd8J5))ʁGAsf66|%滈50|q0+9\kƔ-I#zir +6G!+8`N$NeP⩹2kF~Lђsn2X9{_Klr8t7;uy[{R"4HY88];~-@d^}ya?AF}Xm,}εQVbm%X7\ աm i@[EX$9r-sЖyx g#"4qPDAPC4`c2l?ftNBО"_,;Y4r]?sdV1- zD/eEy͛#K'rZ=/S|LNFmjl"' p WuU4T;ٍ}PBwNg^͎:"2Wm,Agr+9 I0Cp72l:7>xp10>n- 4rMmuϺLJ6n4fhh$-} CxSG%h BY]l%A dvYTxg?kKE:ęAMo_sypz=#Ljuɹ|?1 ̑,nQGnŠH{e9w0 VtIwΦd|>oπo 01s)x%e'Z>Zᳰ'pqphNY3mNz)ŭq t7|@0^bj轢 ~Ʌ4?0ưl  Q|xD3ς7w 3&`Œu#7 EBvrM>6 +fOx;pYm 4Clu!""]B6SL3&]OFc3:=k$zYK5?vc!QON%5 ߕtVRi| Si0{;j*J6QJq)t:Q /k LZ(|*{0;_yZH'j쐳RA5&SF=-*Lon6΁?]5Hj;rS N<9{dEHpPJ @BCH-K樅fm{iDv^R.psl&;G/W#u_"\p/"|q.T ?K,K!NԚ|rô=ǴFfI)u\P?2{J ^Vg˥wDZW// D-N@%A+j0t#{l@x4ylwagk)ߘp,g`̝g]bծ;o(ӔNo^WjO[Diʲ^r5챉YF2RrF VQج| Z6TA\m_)d w‡>% ΜqxCիqo+qj4ϵS(TpqSìA6lab|S'ϻ>1l }/*eϩ&PNүEQ1!@ۨT[% lc?h"h'acfOklhv##%Ыƨߗ sr.N7|%'9&i"(\N@1&){>sOͥ{Ԡz\Qc 9\XsZ:wzpjeŏ_wQ)jp ~U]-GCOߤst 6Һ&%ӵwj!;4 SÌTo 7}x͈~Z.!k:~PHB.x`nF.:{UO-J4]qz}x= ]qqXyeGh"HCL}X]Y7>׿ /whɋ?/?쌛:ŴlX- r\3aE)JǤoΪWy3X6fk'F$cո<,<\d`OyҒU7`aoI#OeB4c ^8Y6V9?ϳ8+-VW+5)WT[b8ܑ9ܽ9k]Cnl[N b2ddԏ g<E3|OYeT":3 6R/FX);T*;>p믴r[5w BlYmYA+)n57 b7(XGZ:r67n}e8@@&6W_}DACsߗ"ԲdzACjWPLw\3\RElfYOZd !S\BbVo)8s‚eik:ZгƁsm^{֔[<Ǚ>y-1Ar RSCV1T)u(]7)&*zB#P+{9GF qag6VОN+Չui' (q p/){BWg45%!40WNÎʭPPtKKn%AmL-COV@o0|)%(Ţħ+jǔ TnVir/'h]W^ 2OHͭ6T淴. #Ώ{8S ,NdX(Q{ 0'߿&HL[ϫlYmzh}̠@uy8ac{ ;`E[>*|!=Cy[ݶF􉷖*C[(ƕЬ~yIaƏ5NjC" зun[kx}:9 P:Q [ Sl ??5kPA#Ra00ЛEH}vp2rx`'S,6ܭoE Ȳ?^e`&)cZkm\mAKU W,Wv -L>Y9"#J?RyQ"GNtT *dXKmiP*X;j;8/k'{ Z6+i~y >Un-\{}!n?jӄ vk1JV˛ML6! JӱxU`LcGg( P_y06NX _ZNZ5"A5$/(UVE'59Krw`KiѴa;bK $t2$*{`58s~aB4P&o9nB~I]%7 Lh8PrR'fN*]9X^Xgņr+|x~UC- s- 9neJ|ޠg! {PMX:1 #'+cgğ9:aWGw#>s+Ajx;~M0MY:LΒ<9PgHL*~]Mz?R.*( ăr[RdgwNFxTӐ>49+/>WW~D&S7w^fޣ<4ZƲ" D]А|sJSHzm?kv((ÆVѱpMW(U8tЖ=Xl}9Xvr"~ :je-bv,c Q4<z\0[Mӈ??Azy1 VH²s  YUd?H?bvX?Z;KqTf֦b| Dn=F>^"9!Ty(_f}]لyp ę'e;QTbbbPȣ*!9RL)0Rx<lF_W}EPYjD0U1VPRD= 9Xf5-kmetYH{2Cchga k'S1N9 dLHYYzh8+/3yT,)K”9~JRjc9l#=tl1eXu%ij̆4C2wU7oܼ~swcaxGv"&=nN>,1~u=%Zy.`rՏspFKxAn Hw7A6yw4Tt\MvV/؍QDSw&+䇧\M[vx~N8ϓzK< HϹm۹ĩțعu/^m`SላY!z/evsZ@V\26G]3+Q5"nxAO `JY^Dc6.N {B:)79d}V9o59>6*x5ʆPO Y90 --Rgw[t6MtSAP=5bʁ[6u]4 8<%fy'n6J~ٴ, B b xmT$Ԁaný~ccp)xbËA}J͒#}eі>nϤ t;ިEw &_o~š)(mYBi*DFgП[Lw;q$һ)G;WH98D‚3]nv#KQ7A/| /(PeW l2,6?U1dMjDzt]8w6K95T3`zi]X"#S[#CGN'^_5 |8znDݚ5xoXvT*q}~eFˍ%lv[b(yqOZ0֍j:qT'sfH9Կppd]N]UHW7W9E$/vjeOsdH+ mt 04 j?PCr1kR "gYZ Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7l]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFĠG5eeS]2%XO .ج#PI2mTtPEԠҌqPu(>xV"G#м<%ќ[S-((M2YB!ėB& ]Ŷ_~ƗC*"J찝~2ba{}Xgݴyy(۳PJq{{GAnYن OFJX.Qb:n>cD0/y0ou&3̧l 'L/68k \ÂHsBvJ p&[F( '7 e ws#IܒƬR3UaG[?zv2[0fLC՝HZnFGmu?`%"-}NA/mUC5jͼ0ΰ:K)lPk iAfhg5E1X.Տs KZE T'8%Ԍ)@qM8S U:䢊e\m*Y9a)iwɀ{L }8FX؋nɀH|g|xe +.S.V 4S[J~#yuR<88Yٴnzv ]0$בimr4v MSڋ!`w)p0/L yLCy:\_MŠgK?X@&U)ywHU?D^]<Ka;ULX]^_ ,[U2*]x=N?7dɿ }Xc)s闄Y^B+]&>0n r=_Hsr#m@T[Jl[ ёtG'̥U1v*s0G 0V )el%&w:E]J dE/SAe)U8LitÛ^mj~I'  ,p_ʒ]~67%'$\9wv!F) {AcczSPiɔsOsQ%ľ%ƀJ6~lj8ߧ?WW3$Ty]Sz^Lwq^k-EH~w#PbEAp