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.842cpu=3.898gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p">ޅHV;g7ț$*mu͗uW8c_3ELOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.864cpu=1.717gc=0.0005>Ohrw_,}YZ7zXZִF! S]ŗXi% a8.naQ!B!CQ{ 6RAU"}}SzL#MGE(;^JՅ)[+-P^T%O;!m_>8W(^uuCZPVS~p$t!wjEHzT}ĽFpNPM3ACig&$τ'bv4=A߆lԢBfۄJ*(-ֹl}2/jG=7gyu(+cs\]+4Yh*$OY;4?>6aJbuᯮq"Aσ3w $;R&BJ&R;ҍt?yռ8m sq(+ ;yc}1BNUC:V06vIX=s>v6fHynaV|'a4cfgrgI`wy;x_(HHj dۦvQ?bxiy`8D#_CR_*g@HT~gYZ9a47e4145793d5b3d3d05e4858652a7e2fd33c57345c71dbd7a2fddca696d9cb71ed92270da5f86b c87562c1061a2ff11d10f9e0af39c9aaa81a6c46 6c8824f9ca1a840875e28edea7c1914f28ec0243 77ae104ccc78ad058e445f7c0b18962ead397561 ae5a1cfc0cc34d01d7bda0494e8440f2281177a9 $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ŧNg_6*Y mӺ (d[#Xkj)C)pX3/pLk%,]M,?Ti1A\N,?Yrkʹd?s.O&f1")AmV#SR+7,3XZNf|uT3fzm M#~xQxl(oWi;mS:F }J.p#|6HunL·}}ƞF" {Z]2VK׌3 8*IVY.Եfī1u}%[JW]ŴV-F&[QQ`3U}:bz.ś} 6:&;窖tiumRH!4#}rܞPKݢ"=i:4.ik!E(kwv0}4 >eE_:6tR%ޮe%l;L[BiBqhuWL4:4Z UH T!;>^#8m1]a@O J#rmHyq׬7pk)߁W>teF1\[!wpGvA=+,#*n}%( 8SvҚ1;4gjƓXR"۴k oҲt^ͷP'ZPHbg{dR fLMB,Ǘ[Cz6YM124NmvR$0[K|@9(Z;dwϑ~n\׳2M d5W̕Z9mHeԶ by2 @vζ7ASA^>- ıgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8b]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫=$ҵ]l`2X6bBDb.:lV7ٓameVcɂ-> -~ې^ Y$JE<6`1lx!Ґ`xr_Xܛ>5AX ={VZO yq!ws`Rb"& u-wiEDɹ5pTKO`1'/}3 ȹFSe5T!'%!A O*tcs9~nϔA m6R′TXb"N $ԝS. " ('׵yhaF ȷ!D5^1cnԪ1*HatS'f%g+k\Xjh6T"(kXSFx3=tڂUOh:5;Bbu[_SljU(8yv:m?9:܍Iݚ1nh8IiU8 r\H>L.gYZZ,b5֔4>517TV*nlynEu\?zîij+FGgg>ްBރYO{S^MQ^ĕp"hzo0g8154'd I aMS+7Dl`&v]MKlv$IS?| 5`Y&բ#I K SȀHôed (V|xrW#uHdJ?r٘(V?4/[ni; !^l7KD5L8&- )K4fM9}mkOP?'Y1t3E9b?rfBWѨ7b9u ]zVV׀CU +ʥr2mKgPaY!w! Y)FG]# |vYc͜jTx}{ww5ኣYxgn H F)SxYbeh }}6aA_@hN) 䚙r$M{A=3U| 0yt x?LyL|[`l;qFP+8Ud7Gn-DŽA&S9)u-C4ns )g#D;M\}LBCUV i|#:[DDCLҖa+peY,jU 'q|"9wpCDx;~_BnRC{QՎtQ}snw}X 9cq=Ϛ&Uc1;mO.Hȭ(E C,N!"b{vAr?h O(,%"25-? GoMlh#^^[{?.01Zo@dR,t ˚%?v`$Wٮ;T2!gs/Z!&V,-naGLaD1?6nG킥c3B^a?0̔K^Ztk4c RGsdB^!ۄd,;s7T `:eUKDt!5izWGI{"ZXޜ+h|a[ TQVϢaj]Q/xCLiORuivi# (EZPi|r8#O4.R'Iuz2CCgz9@{/?.x^$0 4 /{ۭ=u.vi$SؤޏD| ٫Nh)})-P" q\S SR4u !F76<1EgU]y8ĝUx+I]=ןCA*_ku8 {q~ 6M!B3R VO W DOZWToU^kD Sfz 8jVrՃcԪk;+`| .f= 8t>&Lm-Cb &G"ޭ+(V4- מ6N|ū4_験Ķ4KW5Z`3°";~ylJkHz2_g\\JX-ZNxMhNx cȘEgmX>0`K5=vZet Xo<auJxXZLECH(D Ѿ3*X)LmMP] $Sd-%ͧNpѐܘp0XgvAD܆[HDFzVt}0Pof&2͎(xYL`ZAN%]2{d GL)q R9)I;DQ>߲FclA Vw].eT)@qO[ϋ7z, {[;(Dv݇s=Fd|F2 >$FP<-{a1+!ɅHv`" d5W}>]Mf6F/8cgu7]ם2^m ,@?tڦit/)_[$M\^B< 9vҞI$Qws\CE0 L2dWd?rMFGכ0,띒9X9V5 $#DrCn)}:"|UrP,˴&*"}r&Zj@RY*yg!n2mSy%08#"^ ]QҖGi[ f2<9{6\{U#!NoL7OsAEZlæOy9vQ΃-_Ik哉 |kԚiqo{K:DgPbu:۔0[Va(ϫTmBcqvS{D|Ɋ ; Te;쁛w^njz暰ٷ 8${Jjݑ"13Id{RKo<΄=H `jsXNp1%:V7I R̊@r2|T~5+9M觷eفaBF9;ƱoP)Fr6Y3K/DS=v ONuȘSI'#J9Yi]%60\CbC&8 F,Ɍ|4ัe)uTZy|EIcW/؃=p*X;[ $]υK<t]rJe};:ep:zfJOǏ0Րo}(ɺGq" OrG|l5ɶ!ncὍmK;2Y%SS@#,GT td9:mFp9Z`Bs>7u 8eV&`$vVS=>C$_? !5Tn;6LHݸMF[|gfcڜZX}:bNY ƫ7":$+1}>UFKwAz7 aI":yoBl o\>tn`d@~iA8vۃmt@eMtOB xIuv="RP5)Q0J}_p^-Cܑܡ>Z >›GMYn:G<:\Cw|}+=LT7/߬IUvIדs]QUuM@E@gsasN_yYwIg,˖^P.qpٜ64@ ^(VOn$m߶usǝ[,~/UU7z;" zDAȰ;eJ-(SϲuBlz 94 xsB|޴ԛ8+4[rUDh|ekqlLjC7{S4X0A&1 4L` nLw`,9 ͦ6;JzMy]%wZ6Aߴ|!y&(R&fJfqR,LMXOcV̾9ז hivjwT<d/ w˓o@mze[]3\l*RВ9@\1s`,&xL\"ёGlT9lsnCcqd]Db?ƞԳZ0&>dO+8'ڽ^,6ۑ5c1^G5"MumL[ž38#2c;b//ly_}UoMw_L`V,+ ^v `&}js hrg2s?_|uI"-Dy%WH" s^ԂXC %|*2.AT]. YŠaUg_2msz$0 By`x68%X{Z+Hc>o"Wn'uJ)R϶MDj,0X_@:C'Fzr ?%7ȓ1- oHdz,Q5IyQ nd.y+APX)4!s"#tUsYV[Nr\^Y\g tkCV MKPd!t/>Ɓ'h:rd[T4ۮ|='՞tIL L"MP'v}l9VȀ0S]Vō /~Gl;Ƚ6?g1r{}G?B_lÍc`4$^!RKI,ޤUL5B o bhuBOJD' 5G;kTMl,V0zM!m-0hJ//v\Tk>8˙نl-U~mQێ9 ɃjYF!A#Gp'9R9u0l9ֵ2c(>ug$>V񧣠8|>Z+ 0KoSLl1xgZ%تI)d$bPc2LMXص0>Խ = S=\Q7{#t)(ʸ x[adz!?7D'ʥ\jFXUet &Rtἀ!̦h0OuXƹ?Ԑ^8$R%T$,S&M>Gz@IݽOOe]0aV{ڂ_>h;?dh'A\~;!յ/&!(h0)7$-jĺM jfnDD޴OJ@Nsv߸o$'s\gF4Y.n.V:HWIP<:LWTEmiGzgV(IKV .Sx^"8/HFeb`SMO4vL^|U6ImZֶK5$Pc!fu!8@ y%nR*4XA9噁=4~-ܔYe| Wp `zɝ3:awnS$գ􍮘3&#9,긻Ud ,ޙV]_'E_-!/d/(kd+~i~" mc{9iO 6K |"7ߊkjז7dE#{-p,V>7o{Ok< Z^uD" F?ۥ:__NyT9GK:47" H(*?^}ѽ·[q!}d!j<6LG}Mj.e|G.&y[(\M< /[ 3[nŤy] 6zk\䫖;$q/I?Hߩ*-m$ 5S!ȭIR qJ ߓ6Ś8$ͳ^$T!d^:r=m=gzF'Z4hF&mN=զR)}hj/+lk m!yMI$ʾq4[?<ؿ'~O&N;wܷ䧆E'7X!2U؁ėAW5eaV\W4{I"tꏐ}ܚs"C8+h>!A'0Wgy3yrk[(:/OehC8=/>Ot9WA_i))y#;D*R0=fLH- c%-ts#vfYx{W~?i_⑗2]5!+ T y VXv@)$ÐB A'I.ͯ) px*AJW,fZF} U3إZp&SMΪ_lQB;踶4OQ˒ y* b(l'IW'EXagq'Q;{ R(?${=l^< `xۘ2#M@$.}%%uB(xcm%[Z#|Oދ U6b 'yT "?.`$NS>_| HNF/OK-y×uR0Tz}@F 紿* 0Ƹ0"޵Pq/motؘv^-E=1hBOJw  B%daQ4((z<.a;ʁm- R%,t<Q@j[ %&DđIQ6ͦ9ǙH7ԣBʯ;Hp;ɽ>tM\ )~ Vl3Lzbt^\5iw[Gtf,w0Wc5m3pwY:;XE Qr zqrixO#U lotN?PɁ3dkHE㤱EDS[aAݕI>]@*}!;?Nvk%jŻGx.DUuAq#)'/i%ITxU%?+/ 8}m<'0omTpGt@wI瞋0t+Oc> 함-z>6|g)2u),íV>Nuo'iMFsMIps#-WoJsN5!1? /"=_ԫ 7M]X "ZV9:ʾArf*y)X!Ki꼐 3x@5i21sPҘ%OgB%6O/.%.&CTG.T iթse(c/ XX׳ykFb*(=hoOQ-sJEw&E|>V; nJIQH`8#*.#p مe.2׼]֯"S%;gh]U,2@/-\}»"k#ij WWAV'sozֺI1T?`ɳțnrS3 Jj|ex܊ ? %0agйn|ώM}j~%w A MJ|,A񡁩@FYq:IaA1V$#膃ٳ*۷9l{JNÇTP1WχN"*voN dxRa#ECxER7PmPl?,(30Kq8އ\y駃IH?-+И zLLZbZz# 0kMUVBM:J(<~7-=v"CjrSTO#n5 `k"op$<њ"uTл9H\6`e 9GR? 27fSDtf`,vm`R__Ak{K.&̠t`WOHN$dRkX{k>4ck:1ۿ6NG8y̰Ӣ`-iP]IG4edEWJ&hUL;JBEhfIШy#!P)|#B2n3zޟMLZ[ >Afa 𣯀)GuE=ZkL/y4"l:6Wbȵ*YMtW5pI?NW k-3o3tD Q%˲fWס_ܓ>:l j@5o{l L!i9e&Lt+ɚ2n-]};,ޏ 6uUvHޠ09Zcݚě%`7`cl']5&O,i! Qg.^4XDWdzc_Re'$5aOL\,"[a,f:  #_Fḷ&|!&$=xeRO/,Ep+sfHLNՠ ^Fhwařk]R\:2 ^61K|ϭӣ &ǴJF['.z)GtUt#œk-H/O~s]lҼ;oQ ja:|h&T \*W5j _xi *f32`^#18<A@֥g~Խ[Qy`VX oB@+rig4za-.T'[ߵ}"/ס9{B9ѴAu&;%:#2P*): 'jӒ83<W VZ|6D@KZ4!`вxI*(p}u>tm&+0z60m$z+PWC߳s9+^8K-_9QhpO8eR*SCH %N0Ezdbϣ{J71Se*p?5pgתG"IZM/g/qKʼJ7.v3&L{7+Vo5*]GhGX=.G1hE o[./68Yz`B.w⌖ -҆: ?co>W몥p<]N 9 )4jU~3VՑ250 :^8T1u*8N L+C`$ʒR\Nw誑^So'xf#"EYRA̹O7ƷÁj yPhRq.TkwKr+ǾHdA1~aF+ MgIUg9.ƿz8rLz^B9?_/XRK~հ+{/&-f)Bc⸁ClɶOX]:bΪAu{c:"3w7<ֹu dgEYW0C +HbqV:JOL Waz$BW}NS;`jwS4TDyuܸa*YA,Am.kdR{p}PTۏ=rNB bf")CAHVKz9wלXXA,ڕε ։K[q\ F/:tֿzqC!ÂAWY.-2f@1~†@}=HK=ri:|k+_JF1M6P:Wة'h [ǨuegㅃjG/->>A{ɿȐ y)C.)cpc!P OUws*hKV,eGn](rĶnJzu| #bKMsBp[0Ͷ]#!T(E:vl(|_3- "͗0 [1si*DN0U /79"askURց꘴0i\HװsH*k{ȕ i)!Faqq *ssCOKrU˂p(i! G7_)h]Q6cՀs)oV.D.kZnzE,+I:yZX''J ~9>~ȩa@hz7cKZ9peH$I1;+F9]H-7w0 ؞|ak\iVG֛GɢU-!cJრ<}oQ)LtlY 3ϡERxIDLc5\ r<,R.p|Y#W}[@IDy@Fݹ9'avCxTȷ-.]w${HRq@*TqbWiZm|߲}c06RO~e'7GH2f+(OɵSL\RPX-̼O5hQ~87ߣKsw|h,S U|Դ"[ԼGF(U=% p8RmY]y3n \:ML4?rQ=-_`upEoK1gYZ ;;d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ ` #(z'B:)F^9 aԯ}>g].c-?qOCc7c*)[zNv 1O@ JS7TC^JLojoaYb~_2ɘnʛ' T#dܵ/:G$Y>9>K#nz=lXle*&8gdV(uk0!~SឣIwU5jTMJꕵD;qTrxL(Rt9?y%Z!V#|#lpSV{/(ë8)WQOETu w+e[ <" TTu"𐦿Pm?}i/jvM|{Xzm|SwLNֈAG@ )0ic|xgğ,YՎLeHr*g'S%4C>!| ͱgYZK Oa# dHOL-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ĠG5eeS]2%XO .ج#PI2mTtPEԠҌqPu(>xV"G#м<%ќ[S-((M2YB!ėB& ]Ŷ_~ƗC*"J찝~2ba{}Xgݴyy(۳PI[ hB6@}$u㙼ȁEႍ D5MwlۤHBZNn|O1|)͂?:7e G\X=qO!Vt&`8-U)B"-n(g"^.bǟ,fM%^ '%߂_] ˓m+t"Dr|" 1nP9ڎV:\hB21z>ڕ)HLmhK?\jtYStԟb+)}*pvt+x WsY]QgpHҏvȐM6M1PC3Ѱ5Zf,OfI``̀Q8rR{n̅&m+%^]iM~WMxCY.Mp7r}z 8Mtg ,.F`5&D[9{[rs-X{ޟ_ɫM??V2tF"v#3W.7-Ҹe[f q /K1wǚ,Q{B]} )mr 3Ywj̞hs_* >dfrmTиGcF}wJ 9i5dәQ"Sʛh;9]]RZ%J &Eh#J@jjpaLyy'^̈I#S[zӝF$ r (V9Cag"hD }-a <>9JicE^e2d9׉񳉔Vkiu*zAvƁ?Jo+AR` ʕ[]q V"]7hdW/:KP} 8"SRF\|C1N4hmS o̻$Vf eAHR"GOί~EGvxأ)ʶrدjBEJ