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.809cpu=3.812gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p? f M ^6[|x攐%NIʶ:>Zy) j'-t2LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.830cpu=1.634gc=0.000qL#Nw_,}YZ7zXZִF! R]ŗXi%-wtabRABi]gE7}@A.[M⟎rI]$pϩ#H|To b.?8d,&]Je9`ynڿQH'9 5aB5^4dݠ&ivC1/vEa8i{HpUTI- GST4ҙkK49!#'geIllnn%YOzՌ<$Y<]5:K$rb=1c|Dm;^޳_ 曔#y;νjy_" 4SȚ abSY,0-Qfa~Tk;bSs{3Äm0n !r/9RS_lG}ݴ{H+b9WD]dN`hY2n2_[z8ggYZe26756217ec56ce978badd2750167a9fae3885e0960aa29045dac4afcbcc06ca53439cc870a14802 5c73c0af1bf02f2fdf45f168079bb297a1f3e53b 82028e0d64e743008d94ac2a3763924c3ae5e636 f5fc5af933b5a23958ec06635bb269b5881b4c10 420a467599128d06f7eafaa51a40b003c56b52dd $O HOL-Nonstandard_Analysis-Examples8Oa' ]0(6s]rF_FKC$3i`z_)b1r|LIʲ), ƚ'#_(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' ]0(6s]rF_FKC$3i`z_)b1r|LIʲ), ƚ'#_(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ŧ.= & jilLTF?q' ղ\?U$^[2C*[a+A)Ùxj$tc29,qII_#U[6m1x`h' )hJ*O8D{Qre1Ӿ{ވjkiЗ42,iвF@ѻޘmfdQpV_͝"IģV;l,:֕Q<mf!Q`˲o!F1%4B]k{Hӄߌ joV<ĴkL Qp*(!7}z)yYcwVT ׎R#Ъ("`Y>ZyvUAlO nujx+iyA8>X1Pr3A_ /o+Mhm޿Iy6\u/lCp9Fsgs /Pɽ=O?"9 #gFK2J՞6 UBz~;*bn Rrvz濫_wϖ^O2k"Z㔚D(:lEkO5=F`DS֝o‡'=CsIQ5IдCS}xGoI S$Z&W !s b4l߀LPq;tkE޶xQDuL"7cms A #8[N|=L@j-- (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󣉫&R]魈uVKZѠa}hc-? ɪFDΕMP+I,P r*h;.&52k6Uȇ-}D sLF8(+X|*WMrc1#t% TO.Yҕ&ghdxg8sԳ*'0 uֶ?K@\Psәmdek'yJ"»V/PE8\t+ZC>7fb(Y$/ 0Xa'xȸY\0JVC:]$!XQrarYXK%=,iTAcJ+U \ϥ85ofB-[ŰѣDyAX_ߍ9>)U{Kѭ tZt]tK& j,KR s#\Dt6^첩]O-#zEx̢ggB]3"6ݷh[|_yZpK}{ 㭫(mќ8":](E pEVH \~w'1:+;$v6Dže q. -Yrْ^_82;`X}p]o QgV`DM0HрSoG0޷]Chu^=$#n7]؀v 395vbG:v&DzЌCFvP:SG\L?^RT|:) ސj̼7<ސP9>xPR A`_(t6 ;JM 9Z<3 vI/g֛:sO|(ϓ["[7&m."PyK(2+ B8z% v,<ЖjZ$l穀XmaonvZsQiH3{AaV#/~g+&^l Wܛ(c=Tx,mZq OE-yʖAߝ{&!`vu1`SSGwB~ LF"c?%#A.{Rygr*M"]ZDgtҴ!k!(t]"t Fq]'vqoY/s4yJB?'خٌ/sA?)بmLKѰR#c, au1~)ꜻ>0/[DO&!wZi#PEs wAld{iBi[B`^`V ATrWXQIG#]- Bɠ%POH|%?խf/Fpj /I9bdjfjÊ(3IֻNOF7v#聫iR?&^:Bh+@Ț*}8 H~cR >vM |CZo2wjPD*lcR]+ PY|)̎Ez?VyV_RR;qR#rI#sO:e^OiB;24GPϧ.Ť3{_ Hǒni|OV 7|u0 ^Q`d2ܰ=Z33;y{LhGOGm?m9lي ~f]b%aK[JYpҙMډ~M@]G̱"3hz3DUۢ^Ԡ:z!la~`[2nU,*[|hħ9ofymK;R_]lqs(ב VlOnGd6r y.]f[]gx.lSiL ~F:QV`@:$\`/e;ڭr#7,@h h";XAlz rCChE0,3y;w*)XS- eHg _goFHr=e<-VC_ƒ5/3huv5Qp17;BV`{o*`_?LQnShTФ2+{# [smѺ?ׇB)Rj*H.)V3,A.;] 8˹Fzwr:hg`;vi 4?e@\% 6A7[-  }s7EĹx?RNf);1"zw W7sBw ;1^7pטF5*VuD46cI]*.& ^B+ n, jyE8PlSJp׳܇MQ;rU ="ڌBغCރ+86&yzݷ E0*h- uM]ɶя-'Ρ̱k{,Yܳ샟Hi[-bLTۇ)`BWJ R ;i27u}MY 4$)bWS K][ߘ*妐31 Q9K~:8-naPWcߤ~hm6]%f5ܛs(e׭ٜd(YS_w_7 =i[a8T?rx:6‘K]8z_k?ľm..y_cr {ĝpu#Ӏ,TY.D*dq%FOQ{ T{VZ^?R(QwC8E: Yx/&Nkbm-@F4x9LLh(|6Zk[ {Șn(4n[Ep-ݘh,"?ȆMjiSR_i~1oF'Tj]a͡)d`?W̥,$$ä>ygh3+_A rz@AyB_' %,KNH'ЮjxȽe2?Bd#h%_%ĝHFB3H&8'^!k8qiKjbAg^}w$1qepP xyS+"WzϮA_ɻ֋<<yL{) ?'jLAGW!]VH>!6F/c\dv}__8B@#td+c'mK9ۯߣ|}x'a0cL|%_dR>,pba"bi dNzI1"F-u1Y;핗7K1T5l"|DDi@* S axVe<!Q #$S =}1q^xѨc=!gmilߍNo F!@Xz>ǕgbV75Ubwkkg=26ߕep@ZsEɝOܱvR n:RzftrFP)o עVF"cBjuH7 "ۈkiK\-QL[gT ;in^"VW󅨻x7x*!c/8Qdv`!'ꦐ-DSUBQm )ɛ9,LlIulmv'O Fq`x xD9e=%Sv(}*s&x6j N{!r>D-'$&m. |ZpCo:TA@Viz`  ClNan2yzZς玈3JIm${il?,^APj.P?飬A RRq8?iq nztY0,VeSNqo\]ݯЬt0q² vO) ;&X nrf1V[99(0<2P,)g{`wp_n$vϒɞdBTIt |$vw1B¶4NHgE0лJe·33,m7 }S\N_% h U%$exREsa"72Qc V#xVBgX|Cܚ JXo.9I&O–{`Āth[770أӪG[B}/PwB+z/r4Ɗbol (@@Ʃ3< n:LX>6HKw xVSKG!F$cEyYknw虢uxaң=U\Ӟ D_)sb1OW2krE;kYWh=b"yA3h5yj>vBigR> V4\Dq{~yX+5~i,u;7r[ N o,Rm&`{8|At-h%~ŜAp? W8'wt,Iכ9m9c#xI% a3sE5gGÛ6uv{jdl_} qK_ϵ9$BZLbYjR8}>hQȍ2yzͻҙV/~nT~f ːed)stLg9w=>PT'tHqy6:icNTT_(fJĽ˧ G#B X~yZOkꔦ:=IDTA]i 4%m$bK?.|:DM(Z|aEZ7 siq^eVNw)L$;C~Ro]r_ٵHPZ)<szmǩyU=߰'z{]l&p>+T3\L{;p܅}ld A9v/6nG[{G1 LE&1,۟mY,t";-R_`|uPë5 $Non:)]c2LW s]yt=!|[TITcU@҃:16 )` ƒ/}V2ּ"hҭ4ڟ8pC.Ih,k  [1Z{z͐d=U}D\"aE2`-7z+~uWmA?^Ŏ ?e3TxWpdb0ƻ f8(|cTS۳qPI{Rf+5aDL WV #"%Y|s|22r?➌?vć\ny 2 ʥʞXFyp=aL: t-c6*οjE6ʃZ1.'zB`Eqb, 3Ќ+u*81>R#ǚ>P3_.jS@`jjS& dw6W `>W~:mI ճ|)tSx?(}URp# 3_4ɆT5/a%aMe!;: ^%r7s& L9^j[@ޔж@cVx*iZ|]Yn Y]{RvLL:\2s:48 w! ! JQp+ܥqdzZڏMKRZEZ=N^Jҳ9,+-R#v _rhM6\7Lv.Zzy3tZ $/l.>bWSxr 98EOT[=S[ tוJBrC[6~;/ˡؒ)(A:YVIn:4E)???ŕXM='PGl&(m$H$k'SZ!Ҏ-_vW\-eJms)Y*@NGIcA$O_M =JlOKk-/@`RQ)sz"yvKVla=KS0u׶兩CcO|191a%K??M|`KW!L9 ,ek88!C.C'kO70}&/X{Xw„.pHWR|c?WKCXj%Y3^5C`_'",P梨ŭFxmy%O9p=HDw̸ 8ٱTP u=%qhUwN614= 6ʬcyH6h5;,lS/QϿbٴf|q^$;Tt7U $ZkY$1nJMyUH<ݻm i{=@ޮ<FT4 8?m*oQ QQ1Hge[y٧kxf s~(6 #Y˄6ܽ_fpKK>(08םqV^ݘ%Ωn"XztKcG~ _le'/#I?>m;GKh`pA:.5ϥQ8<`/ZrB*Gf~&iPǬ \8G0 AoܺF$ zJ&#-}[ 0|F'ؒ:H{a?lX;GR嫸JQהJ}sALvw7qGW ХNj.yԑ8ü˩P\-v5ZTԕF+It5gaAž`4`Cx k*N/صWMGۜ'!@;o#3“6<_s>EݗM^ XʱbS"7=6fIY5KPr,I֘F+eF\f*~TClGdjpA}grY۟b m2N;&U-;cqVxA2=,s0Poq([6o+U~Hr*Ϝe*)NŞ(;!ۿ_Y:/ܥbg(A' ;.DQ *}IiDE!5a"f9FWӍI~8#th-cL{BzH‘{[SEW1?OVA;U~e2y5'gLc5ͻ3t {ChyHn^7.Irqq;So@I+ fgHq"Q-E淳g\23KϐL|;\X>ym߆E;g05`rRe;wQ=܇38cqmtFs֢ZU}W49BF"ҭGp]~T{ekpu񩗊0QP<"icN*v]ًtr,!\w*$IE2x (y,>vjGe-r`nFh,' [78*s_z[N:`rqywv$dp93aUd)_FM7a~.F5GױRK(*}gpQkKc!'qE*$/}HfR Gr%C%Th2d/"=( ϣ 'Pg{콖-f;\K˱,L liFX1vNEL2w4ɸSS+zLǪ8D68Y)u&,G99c|Z'zR+-f/J"!p#8PwlmK@es÷G1M`%I>CŞ?~XJOv1fڅ$x ~o |-? M<$+,D1H3cpM -c$_rnPQ.(̴.b^y^all_ImdМ÷V|ѝ,\6aN^aF,Kܱ]onLa`6$N3i\':_n׭X)mQ/a)/[mFROi_΁*Or2Z6,~p6"3"~w)'!B J䕜&@;#ǘH߽Q٢etj!t^ هLc?qŶPo2?{i@ S|QI*N9̷? +IhL2kd#afjиP\eb#2!Mg&cp$¤7-G1&+1#"s ,檄rKGm73}XhTPsN eUx)gfJzH*H;0 H%q p{*wm#֏$=G1}^=8\ uXЪ+xV j;gEH`X[>'=\q ;uO]+KvoDMl^#l՘,暺?u, QС(u,TZ'xL |]3YEO*]Ac)!Dg%0;M>| [ i)SHTػv5'iO<'M;Q=Ϗj}& ܼ9rb2a&`^<糀nadD $|w̪#WOy .ЫVݣGD(SnX-<{jŷ)34ÿ&l~BY!=oRdrod! ,:e\Է}x% 0yD8TC9)l1X]ab5 DI7ºn]w˫wW(J*Q"Q}cl:|JrH Vz.fH<]%Iv[hPf.Sk]ue$GԥX̩7"z% 雄3]D5-3 2<*oʺMD[FBgG8$"ڳ;=ؗcء!єyWyo߀zwM׈frDAzb,{ISWg̸N=KmQ2)R_D(#S̄&'D~ dʙ}XRzPLh8>(E 3GYQLO2HJFǾ \>31QģLd0 ғ,TѴl44"eŔD/S9DŋX ˤEQGu;~7EZ j86pHl"e_GHa[J棇Ψ5*qwYlƖ`Ac-v:~䃫Z4 9WxU/!ԑqx񨏰ؖR _ NW >ʯ_3ևu b{utS~D~XyNjBDOi[ 9J/O詩2cpX94fݸpcK5 s*Krj7wlqI p|ǔv߾r`"tp#!a -%^R?r ESDQgW@ vXc(Ƀ&?E}7!yO)Z8 ~ZJvTX#i,qcuõPiјդ-@^_%V.= QbTv!D,V캖>r v@..Bע_6g9FHvI6-`# wǚ: W&^ PR0ip"ҳHbuU#q^+|/H:*ò!Q vg_$ԋkDeVS͘o\loWt sB W-femuYӽW*o.pI16){7oDN&!>Xoyw'WgʙWKiprO'G4|tLkJϻA AJ/ O[2PA~}J2k\ 2<;K= [Ut4O d6kF~دZ/0mӰ/ @;TOP1pE@X(f1 .Pك16  Otv&ߐ;XՖUEiZ_fQsuпoWZ1gYZ wwh Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\hgϼ[:|8&+IHG+6kyХViC84qxr'jt79 `d=0½r M 2EDxed#6LI+Y?u4mMm.#ݷ#cmˀMq0'WҠWuK: k }sQ]5u2={\^O>W /e.Sc,UM׿9j? :|XL4:RwH@)Q4:/^ x -w*3;pi3@jkc!@UzQYD^<Z#5 hћl$=]d6? { $7FSp퓀Ƿո.Kv@ǻP:p^Mt ~?`M8O8 \P[Tl;!3N{ ZtgYZ Oa# dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7j]ˠ)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 `[x#L$QOrgSnm(b瘧"u|Y^ѐ"PAo1虃 LZT 9wxnRnXy7yXXAUCmm2"=sX"FJ}xh̨J߰(1W#civZ wAaGI Hk9uԿC!QK 8OI.3xj=y4^ȡo =?xĥ° oM(W&O/[FcZԱ)`\g14 .;=m+ M_h=͠&e0OdģǫaKa hW8urLAVFP*>[p=sˁqұ2GRh ղҠvXi઱Qr1p|y{Ԍa_HihENY)&\%|22x LaPr9~ߎsL!1AFF۫ EFԁv/Zҁ^\*{t&+>1D3ԎG3p,cGʡkK):ƒf =7?dDmN^a،>p=S$mut_cC҉A%$sBۆR:XV@;p7=Rg3*I\zK %5EVxJ@O\1r,] {;rRK9gǓ㎑R6-l U/ Zvw<+>#x GrCeLY~=p2g.2.vkhQ%|ty.Sb*o{H$uߋjpȀ; C d5ύڴ,@u'g1j/ҶӇƶBi]_kV'j6H;;,nT4LִoG'ƍ񭳪x)\=UZ0|>OiƵ b#-cJBuط9o@m#r ՘aEQ闰(ӥ:8]f>v_pAc-$3%9\ȒϏ86ȝRЯ\\ (x!ݭx+s%Tz"* Q7y Oo[}>NTxX$;S\uƤj;Ǥhq!W 6aS, X h[6Y)Tn_hՐj\Ⱥ`4Pw攑6 #xN=]=3g%^gόDVi콊Hd|(m{FW7*ẓ9 wpϪ ߼ C"&ݳ']jF.>Rv""\Q%Y