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.805cpu=3.770gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"rz >AKk+JƇYH>nQψP]gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.831cpu=1.597gc=0.000{D~K.w_,}YZ7zXZִF! E]ŗXi%08aej=K۱;n yR3$d/ն0FӞ2:EV!n| '3`f`@VRGg+j,{&EZ ұOlL$0g7OLKFKgguȵclnJ#c7Nh*P3[:B9+-,HH)r;,T<C& Pr0qos\+#LOMo(u@hxT/0N>-%ՐM@t\P)uSsEDnJ=_"@4pByB?T' 1{ v֜L$B?ybv/)L&'GN(hJ/A M9xJ' 'sC>nDAOsV] .Ó$Uk,k®0$!%Ÿt5#0{пbJmJDYHwXIdust}?yX(ADCd;dϕ׷ٍBs_$ph|O?tJ.p10&B/KZ"g_x9gYZcd5b2a9dce9afb506f51c57001cee341febe5b258359546699246d10a5649e935cb49d82dd24f91c 618d1903d75365a0f0ea3a2b0aa2f2792fc17965 b95b059e671640b4b28f15218cc1f65829a0e61c 704ccde83e918cf0ecd32220a253250f25520897 f9dc8340049d248ba97f3d78131bd2594217db17 $O HOL-Nonstandard_Analysis-Examples8Oa' 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' +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ŧi˞#ZsQ8LcŚhz9;ss*=^,Ea_"tDZGʶFe;K8zYH>g\a9ǚ I]pJdyzqӞ@HHI=ts%u70u^p[rĝ  O>P}"VP,@8f VǼNbz+A/b:/Wm>Kl5ig |iO᰹8Sˏ&bV3'sFqkf`Nxr.S ev 5lC~)'֒*u qܫ LfWú ˑRXj I>E:l9xrqʇ~K#X3DRX{RU_ E짦-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󣉫&qeP# (gk:JSdx%9~3s^Q@)O +mM&SH+/h-bY%  : +0>&Hˣ>MBEpC~p[GOw<5 phMOᗟD}M 8ƻT}QޅIqϠ#lw#%| e;E-x.W.ʥ1H:vDn)'ƒc5z}פc :ନ}Zآ4P|{"&Qk,oE2תy) r+(0Ik|ڕ_ j)lg@[@eiaҲnv,$S.R .`ZzǢ4K{77:9[u:oo%xY )B"guI,!uQLiAԖkhM+|9aXQm1w5gsoNH+وd.V2ϫ]lߙ:>FQchTĪ OOXŤ@vf "(jϼUOTָ|6:ͥt|w)5X~`7kZs%|(25_lGWⲉzgx*VΟKކr/҄ ,?zȸ?@{m.\q?{tΏi^0u|5 dG%\`%\|KEs_?Pu?ET1z-#qKnrլ[5}c[ݣI3:y"X0u4P7(;lr J6<(ZfGو^SIlτj=:d^ͦ,r*RU?L$3URwujRIFoSmFok?}1Ej+O U˽.je-h\qZ"-+V# J7"%_pnt(qhM舧BIhZཛྷ\Q ~%êVF4|v>qEVṝj5*u㙓V`֘ЙXfm>J3*Ċ-MݴZUPv?fŝpP`,RHDWunHN^TwUs֨nL伈ڣb ÄeC$n" LtKjfbK~}̶Lo`9CJ:4٬0&1huv@1+a:KQ5X`&(zRZ&y%Seۓ &#i[Tk Lq%.뱱SW5#LG%krcΊE q$Tf[A6=4 bze{"X{l DQ@f82fѷ/恵.VI1t31NHv@آe* pv(6dR*@Hl xf*v>{"6[c ,xؙQьy含}揀M7JebFYNi+9?ΖZbīHVxY}a?NYXPgű.fs-3#.'<[P>'6+OcЅmaG/YMM%j߾|8|7BYUYgnUjn9*E5=3mUF.Ykܒ]a.}+гe-oG}`V tȌҶҗj ɜ͡b?O4kIoSB&l (SE!+|G xw/e Ju^pM r#5#㷆XEe{m`.PGn0l!6;&y> ҤqȺ8W{m 8dFI I`S8{j B3KY}lip^^XQnUkV Us=ń6?-p%j5⫚#pm@`§IF0Z>HX$Gpΰ[& g@4nc{qۦJSr 6 b+xg$01˦\] ܒ%vB˹@ 4mSYH3j5KȐ'3F19=҄^!8mٚ{J_7kk;*FQ-36&+h+ "Qv&oxcTXp&R˄x ky@??-)jmݱn1=cV2~$@><7?TvW66ei $(Ǹ s%(9{]A34|e+k *J 1%'8SeI_)Ҕ\Hb*ip ]M4#% iT$=;'wf[C'N"Ī_ӣ&_ vO9<4h4,M[e\Ҡa'UVNOZшۥl+E'K18~ 2OusZ)r|ٗ+]{YɃ>dQ$*K`]@vWޜc""uqB&=K y;ɲ|όI4 !#}ogV\c @DI:z*ʹ@qWN/uVnb1H++NX@hUOt:ZCwjnqA) F̍jD8rPh YQPujY73+ JD fHx # Z'fJWL3SO>Dm>SV \u VH,nU2Nx2ld.]G$Ō+5lmwب:_^:f㍊sj!I*_=&:~89J%fn5+"3ly%uo 62wuj%xhe/^ISۛPw {m9.f1J>ͭٽو-ꍌ]PUaȑS~ŜѪrب]^:6:;(Qh-mN@9xBHۺ@}_FAx "fU0--;-6ǫWEV7sS?5k튴1AV>$6uR! &mTdxjLƻ1xTq Afu89=|Ēc);ENCHuv*>NaM8K@N.࢒YZp gSq/ >gYbH:C:W.Zmu%Ԃ$V Vٹ oG86!4YöD 6]ԠPm^,*Zxۖy{Lŭ8ר@qℾˑaXb _= w_Iݯ sL@DJC8eGxd4_#<4}Ifohgrǚ"c:ޕ f!Sˏ^&{0.^5bQAwm;;FӅ'vw_ҒYC@ UjCBͬ omxL(u6ކh]<" dI` jBR?V߂(֍qӧ/ Ia"w颼Lve ybՉ< y{oJ7P/i%y+!x= @F~X$4ڻ(I >)?5Q}1|2@,,À dSܡþ ݌YJ* zI辴#` G I-D\i iEO>hڤ *ؗcv|wlOAFtsH$Z~wpٽR "xNOjJ]ő*o7| Mܟ$d1uG[iD1ٶ2z1 ~񘉓tzS)~&Ǝny^, t,Fk$*kR`2 |Ѡ+$^)ؖ#X(9m[ 0Lem=l4ZR)!s ʎN}XM-Tћe]hW jB qY[rD7O'fmfgꕬpgi>Ibmh\M|v tay L[Π5W)efYi 3k%䅒oႌI,k(\G yrΫn]ϕH 2S)%G=8QC0(*TXHd]'6T} =XEW,Dѻ鷙'sq(0؇2`ImAqO 6͕V1x\lkઊzDnecwE/,ThpUAEqKZp\9]wo^1F@EQ< [gf+ÎKyҝh0Pk+R;FyG{%)mkD15wN,}pџovaj?JQq5I[2dgSfx9?> }, ]qH~+^b6R}ö5 }o `o`KIuCw!:x H!]rA(r͕ _ZV]VfH怄(◀b_hM0n}Ӟy7AY3IblscP Zxy _3.[:JK dk94pMG C;53s&vGH.ڣOom&' +uX,^ P1f{෌D?((I x 4 cU@[2,kU6be"jL]׉s)W4l}qBgDE! (U ޝ:\:J,Y3@FYj yھQ$.ʳ\"3)&H=hu7QIɹ X34iAE@@ҮD\  !9/7,<Zrh/{6Q vi8)iEgԜ4êA59z|JARK .L>qh#2J ,id#Vւ0C"ڙ~gh&8ݗ.'3 @9ЁRO`8W AK&Ix46B Ř ]C$]lvpҨ~I_Mi_ADmv_F{"!kvTLI},B #Y3 8c&GetKt3 c}NNqιQKoS3u7e·}r3Pg2Ԭͨ.X-)$ø](t~#OlQ{5_~-w@YV?7N_NI^ȵ7tL,d\ ϴ@nRڛ6wu|^6^QAK!&7%t!ӧdid 4#b6q"["v{*G)bAVG ! Z6Y:r P vp략ӽr[%ω /a- Kke7)5sH˸ʬMw,}*=d1Q\81ƝٌC&斧7ȝHhOh!64P"k }DW4K]sߤwMPwHXXܫ-xyDljFe.^s-߃{*3DʚMV6aR Zc֨Jgby#y=Z:>[G84 ju[(9vljTw'魀ݳc]mP1NW)(ҎEYv5R5!8\, GV.jRW)|!qRcXE.X$'ETǠW/7g|KV}/hSX$ -gv42^k6$=V>RufAQq8;VzZ9$)f٠޾wR0\Hʐfq#_%Kc0Uږ$Xwtܐ{'/%oAםw[lU"m a)C۞es.7zUVOї뀲.%/I9R 76CIa80w..)= {\Jxo[ G6z -1 Ϳh{3p"9=TQCD+]G;r gsRҤPsvcCzyD|ҽ Ya071; 3DkQmB~5$`+x+n-+($|v8ʳhǯ(Kj6#C\4ZuTXX>{ .zӖ\8WfwR4t &wUqT 2]5դ]J̥\?fz?'j6PҲXvff{G2w{P=,pzSO=ci[[YNslD{s`!ɡ@݈آ謹)m2Pa<6("} (Qk.mCZn*/]Rzw\JzI荒ܴ/MD(1p<]7`XDi/eY~b*Ay@Z?F)æ#GP O[ H"E3ǗbŚq\#ƂE}.0?cMA݋|5v+ `Y+v^IzቭmT͎ U/z!)vA`؀>DS7Beh26d~%xx݌1ߚJV^XyZ1d@TJ(֋eQ,,;> Qi.hj55g_cXD/H壛_| kS,a=M:il{@A#S_~u_v,7JaOBa *M5ÝCy^/b^]?u]jDQ]ճO =4P‚bPbyh*# FU҈h`e$/A.$`]5Yg(GL-U rfY:ث?ٱ8t {Dv랷;LPD{݌uKdrG[98fP#DIO1IHOHPwz$ F>J{$lȜK?ݶ j6J$7T]KmF^T*X  F*Zϡ}4 p|AVV=.;evۉ^oe7@#܀@4k.S>ɬWmT,P /[)Ecm6 X]=T;nA ev,m I?`_/8y8@5M3X+ )jocE[F+dҿb%?^$Bn ibpy(yN*l4-dC&=Ϻ:+_VsBA(!7?0?9 Ev -0Y[C'=) S#lv7L}KG={^S;Oxčhor3aD*lht(6\JAAH>zϨ[M? 9[-}ZPb0'bugvgS3SR%pZiP=@ a뷛Y╡JgIUa 9QKވ{p4Z}<n#X("@! ҮR230̊JwZ>P~FS`N˼G e@\9p.| oM1Q$e)(]/\j" ΋裨Zp*Kg|A3Aocy~rwsbӉwA, ,I||Xg^\-,kAe{_AIq"2Lk&~|_(UL]sHAI(˧;2PX?;Z9:ʼn=ƅoVtDȼ;c, lrc8oՋAl'TI->c҉\tǦpXoBIuC)˹0b ^U\h?)ݽ\r*v @+$Z}a2픔B=(9N{粛LIlJ<3~JG/&ˋ!]QB$2oj<1{CJPT4׀&0]fJ2%=ߑ=.y jʫ)Qג1x!0Rgt`$%_vCF;{cN#0kBohۛ(M- #F-p5/d'czQ#p8HSLQ"kr ~^p&1ͭ/Éoet& 4vfYG''tOoK މ<0Ҟl:.Ybq yS/IQ'rt.>h◳Ag!ntKdi%7c<&.Zzl*!Kf(٭œVRmy'~#dԡ-H`lS0|9P j ЙQ$Q9i; |ݜ[swv:DV]7` G{I*QzŘ8܂8r66x)!d}#58ّQLSt|Hwրg&0sH X\_Snjay^-CS8 !@bVRXq" iIm0"w2}` PL|al*˴xin-΁\G_ћ5<Zйl6pu'-Y">7(]Vx7Q.)jF?Z C Q#6'fC;ZJs|c%u1jUEѐwhl-SUނxs V Jx=T`*;@K8ZZ )R8q,0Hv;yOzx#pU(f4f28J; %m? f=${MV Zw+"1a[@&QN MR}67r@MW9+`kxI&ԭ=I+A|2 %scqh$ɚy&aR  @]/(S$UbB8;}f3~@|r"+u:ErVt1JSshs@E8vSoUٌ_%Rgx&MVC\*SAbh]`7dO7} 89hi~S[n6E.AB{hK 欨NU o9h_gYZ CCd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\iz=:^R8ef6jX*Q]_?j-]k\8,4ӥT$CwVhAΎ+7FW yPZ֨^VΊ9$OZfm/b{gB?&S{j4&݀)z-;B0wM HI1 53d9ocCLgSv? %Jcg v[37Q}cZ9jNI(_X'Mm~Q7{ٷ X^TMCܚsChumkܱXǣyf<28B_G=. CamN$E Qx׀+$U Ҿiq1y[ѝ[4r{4?vNRaƆE/g鵳85 "8P 8gYZC Oa# THOL-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 ka[/j8r}!hu.,v9z+?G.D? rgc`Bf85*kM_ Ze&Bۏ\u+Mb9aI$x?\NPNۋO pwt17`8Tn{7 /nƪe7䫰U?yO[؝UnmiVJ\Fن/[Yv!g\a$ @/W` :8^Վ^X6olDBq0w)ڪ'px"h"%Ͽk]Li|_t3R~3PDw{ʪ傋1$`e-^Qj fn{rGJQCʤ$DYO #\RS70?pYNɫSb MENs((xsY%{W0AV٢lRNz\y*8UX.(Hp7]uQ!ߑYb1=< g 8#HOׯWA =:/]v̾_q^ R a~fuM""F㧴#@;;O-Df#[;gTn9NnGs%`Qk F| jӲ|dpk VR=24X$mejefp'YF3"&/ץ#J2-$(\W'")Dd3_koL`-T%hϲkIM8MS2 O%3zDZ0ϒQAm/n[,OSp% HfTM5j(NIP\uiJ1Ad.(l(iudnAC ;BW􋠾w(@[G8Q#28&~taBF){?+PGaUv{9ӪmڹذܬV