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<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.818cpu=3.851gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p, xk)`t`sX8•i34^M6<@dLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.838cpu=1.612gc=0.000>#= ,Cw_,}YZ7zXZִF! M]ŗXi%Lj/n!h4/V̙`~传,=םhs$SS&u-,Z5(-Rx.E{6C0xAiA+s1'̖/%SY͸ccQ(pblG?-h{1E_.E*ZNSK'Y H]zi֗Ұyl0#6t_/k}tKd#Y07'+"t0R-NKJF.#P'3W ƸCK~nZ.CSܓHlU1'Șe7!-By"vv 2.\&࡙+<@{!ʰT+! y2+sY{DDi:E.}!_\u??N Bg`v)ZP\Q]&w sk&T;zN=`+V5[3@;\XmgYZ90b37936403f4222ab83edf5c25f943065b4ec74b2ce47e9fa30fa4e703e105006b480f3acd5f4d0 6b78c4edbeaa2893201fb3c136469bc43befa02a 80ef28b7a539d0e0dd92f2c23745981bcd59709c cf1e331843b72bc1d702a30e44b2337bdfa87358 34c1ebac98dec7ec61c99a63c0fb868d945cc3fa $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ŧLͺZQ܌?3fW!Xm}4Qf(1N-w.~"BDbP B*.v))XhTK?@-91M߶ =X]>kR;+nn9\ `N8-YP=QɁ 3́Yjx7D&4O1rE\8 4vܿ:;/VmPr#6ZI7g?nڡKGrFtLI4 >Mg=bHÙQ|^pfܫ ;Ji)9&◕fC9'+i3B.9%~KT9-4|χƐH7m?XY/pMk6@r紋EI >hҠS#~t1PٚVPӝ=g(U_u J!uMZ3OKZ>i^2 VqM޵xyb~r?y%oËnha8ҁWT5n-Z⃀ yE0禴 v2V~jm^.cQa  $R^o ,e\BW.i_<_R[d) ±y恣`" ԡ_1m;o}'#VhJsiv #snQM50/wd!:@JUц]WrzWXiX>˷_PfG9,@9I`-ʴ@p$cahHEʢ-kp9/Ik4=725|iHBqsN&Ыgʬ 0:uQlw44=3YztJ\`Lwg^o1 bДY+TuRcBq8QK> #"aw mGEqzĽaynKKYNp~{݉G@6rL>Yx`0(Sqb'DnկvWgekHGJX=/{KY8hP!bއCJH_YD%C'BW#zF߄Z&9§kdd¨{ؼtj7Ej~&pf.$3kwd%F>,WoPYDzƬnbjVt6bGy+=r ɕorn* OCœH#:sxQݺ=\P  Z+Vcz~\,n3od=+g[o=N_ Du4;o&4"LhJ"N %s]T[ n@=ґ.nMXgYZdZ0BGK@Xx#VGX፩o ^ E3yrqDžubSlɟ8E i !/$T@r_ 6{ew6}{dJML|*⯀݄ԉ$ưNznC[E+@?7Cb-Y AUĘ/1Bn BXߒ-䑭W\+0? Lʕ7C@nM2*JN҈fD=M~= -71ŊީdI +FCDɆ6͆@ aO"EͰ];3*I3g$ 3HwW5s C`-V1Zcd]?`)ۻ<fgr£-h nwcgL`ix^1G_t!bP>G8^D+bS'w6 J@Ϭ2,|p\׷3xkH-M.M<5`d5X_cvc&EѿiX.ڒr?1z<2Pb21:oWrJd޳f'T ?BUS2^@b՞1 /~4L,WK.7Is+ަAn, G>^_r~49jrW+#5H-^|3m}JJFKC1_2~2/VūO kj4LIU$ê-4 ,|5<󷲒_P>s Bek59LEG9S+!+(n. ofǿMh@ʲ<UG&e1>УsHQ֒g\ˆɪ &-NKW!΄I^{;4"- Sl?Rbyjj22v( K nVA_'^kHb wB1P1Lb,K_K@ 魫UqC=:2߄*⍫xz@w_{xS"&S*sY]- y'4Ic8DKk$&y;,Jj1"-N݋0 }^* š@)(!HbuCPܷ2}qEjVfN$ ?j~hdupi_*mG}k2w5-rCuͱ!ԋ,#V׃m"d UYes{QV~PDC ak)؆;BxCdp h"1Wn9'P)XgZ]/AZrWl}|4L zS~*޲絁De„X@޼MNQ1z[[S̑\x|~Q?9I P*ß3X $fBxw6DُR+ΰ^-}~l)qK@?$f+Iz|6ٴ ƱDVL 9d8DvҕtPMf[|\Ub^B]_th_L-"VSsVVX׬^tG\& V,uxwDG>dEi`SpnxS (Cj͊Ig=BDZWz0f/#)t%+ o DgQ6+ Jz†lA-XO"v{/oN}fl$BsFN/EgPO:%l_<Ɯr*]7ס uj{;[Ŧ[y'cbfNum9ޜu+oVyz U /<=~^o ?Jx +qRj˞.;^c8;h~J*> ,+M(pv%<~Pd6iչt/bgjith;q[nBR3[Bn.`/xjRHI tqOsJriaRE j7Q{:6$U%1\~nvkZw2X i,YzS~;& ;LаAXYuN ۳>rƼWLh79AoX0q 6we\eŠױN4΂_ijէ &4^Or<uPSoS}DՁ^z[fdS.wpJImS&) 闸O;cgz*\[1X EpH|R y ƕI/ӃEuM#kFpUtINv gY ".v2v'Z5dSƴr1a/<61 r) _*0v %2 g.Gq 6򡫢U$0f \E`1+mLvy[F1;G(7`lek)k &8`WQ,(^j"s(گ3 +='ј&Fq;V#W'DupC)o5)(p;^6Ap$/UaBݘMϵ389:)dTe[GR9#;Wb.V'.UA7֔SQ-X pM}.dL1)c&*is6VV)`T%FYރ_He $]i2c{ |lHQ , >k_dљ Cx M\뼊Hư.8"Q?# IɝnqÁ?Z+}AKhҷ s ]UjS4DN?%i1\:koònA `4kKtZn.!,pkX*"3Jp]/,+J{ $H \ʄ47[=r'u?m[u)[Xx+ݏ'7`Y^נ(_JDSK Ki9lS}J2Z.}6&qkNezc Leg QF}6 V'6țtVx>Ų1 %.8<#r*;7GP]dn{7F["-^ӎ|İg߃-]υ<䘣xUihD.n^Ǜ%vZ{z5ZZh[拜liI*'@O$H{_fɕ/hEJgMAL } !15r7 'arcUy¹ʘ ˤq qœI?03f+;cTF&7.i:[C 1+ÐZtdZ-_BEi!pBv|D21ˆ,V d+Uprt--Ĭl"aswws4t7; G!4Vqt` {se?2Ya{f CMGSi o7N௞pOGV^?7q zh[{ý=iߪT`w!cDJaJllwj&gruqwrWʂdi0꬙* /yE)f JO([0m掱ɲ"5?nC0ֲ;X-qn w/h2= l>I\|:2a<>gyРw84б X6IPi5S֓]y@[DHWdyߚF5IM }dp.|/ g`/Tڴ iӲ`Q75{R>ÉǜLhe\pzX5g+T$*l9-j6,p;bL֛lpDN 2kfYk}phg?8#\eɍ9~K\3t= fІmd$߇Jj ^r#'%w4"d̦KVN aeQJN -d{)*NW{܊f=`P$L7A!_pO9l BUeK,y' x}'#>eˁjkB&ΙJzm!ؕN<ZYkic1Jҕ^>֣$KM}:qB6]-DiUuR>vv$Re8|w0<Af#~> I÷&񉐭}3.u^ 1* dzn#T68 BCgS15-|Z~mH:D"4+_j2$\X`}%sQG5ªbQ@" QUTogT.~̖nZ87Xk;U70Z& ᄼ[*ˎG{50BMz2 g(yMҭ;ɞ$^S&cVn_5>;||jŁ+!)/s6J{6}[^ '.눮'COo=>(کZCd-L5:ӜR1 Wi},"\hQLi--ٮIO6Ùح+h0R_- :$Jg鳨1ҌWⅮf,m) h8'|e=>& zvf- ?#zi󿂝w5靸Pud7KZP4oZ &#!`F^ }4"Q9\[w=jn3oE hϋTnX#0 Cb`& NLdoCY̬pSF@[@c,((6h1)}Do z! ?a;J,ڑG~Gsɠ&3gjAyQM:%;zN̂Nѵ 1fCI?8eFytwvg:0f+-c2x8Ј,]$UuPc9m{t;;vqG/S`{~;.R@}ym5#:PH\l/k"^Ǐ"?;*o+Ԑ->t P1 9jS4@miIZx:(Py6[ [?fUQRw@Giggi?}0[RPP}]FXj0%-yZЙA7-s1DV7FFC1rQ%:Icj}NoWy8u2T[1&[h3[ xC[I_<E96iW Zs7Cj4|kRڰmQ Iޑ:gCwg. v"s~Rv @PȯqD{awZ캿so._f^1\o{q?Ž+<0?iU6K?!<3(Wo(~e2 0gJȩ{,Ot1ϝ(j ,QNeG ldֆPƼN6Ch[o!dΪ6Mli1ėi|(v7#e n!ͷ&XЫcMj-7Lmj{D&ͥNȔM,?cx /{}B$lgbzP#C,i.轒xRA֠?8iҺvJ%N ykt~;:ҷ)^ś}JrA9gS-hna̪J"%kDO DWwh\~)M q(OFʟ*I* 2oQ y7jH̅L\O/+e! Af+Î^89!Hk—O]3Ke[\j][r]0PM#mP88mNoq1_S!pq>Jόj[4ZebnoFw==2Й5 WW@%0*!%,Vf&ŨcZ2#UziεW3bl>Z[PQM>+rS<N HE+ݾ򍀅×0崀:eƿ2Y?S\&APhEXv8u `b@(BԘ4E^ |-\q%=s!zUvׄ #PI)=kzPT9hJ@Σ=vVۚ]QӲS[ܸ?7Q- %;VIS* VN+aA79M2ge/g7 I`n<4O^sAR* F+]ylpe+Taљ.[c8.$ucRz8(dEG[P,fJgNh"Ǽzڹw5efY H$tyAP,R9IsU¨a]i .O- 7IWaOO3J-\p%yJV5>u˴h>2-oi' "}I[</Wv>P3K*Ig5}AIp` ^@|9ٸrSq9$ =Xu識L8뷐I&{log@h޼9"Qqf@ZF0Ntf=W:"qh+; # @ďd,+_K;P֡I֒gG N|O{RX{mY:8!Uښ+Ѥ| Zb=F0^ Mq0۷L{o:vJXv{a_ZH~(rPKgBessQބovIR;Dh4rG=-ĵ#?US(K;~C٢ 5bMf4#9h5Di$լ}JRA!8q;p3BSfۻ{өy 䏍I(\\rD(O}CլHZ'2U.jHy.۝|]0Bxt+P>3G2dO\P(X^#W@8qA `bcdX08֖DD'Gr@Q?J5HaIi ̽D SC `T έ$ّq~Bburl ?<&SQJdBR.O1)w$lt&D)B?Y}7C=%gPd䪍Y±jޛ2c刐"̖w9G"F1 ^JK!>(sD+ΝuDKm 4ƫA~_krd ;'RX{E1Z3OH;#36" ʜ %p Peg@|}qx3TH(@"#f{]hz\O]7dr̳A蔯:Ğ Z),(c*o˸zHV)mTiBwһL>E@}j 00P J p=O6lT]@Gy4X4o3b n]eu+Xk쑥ѵ> TSg@jCy`!$:]bH!.×u},_>myv8RA-q)x @y+L=V xëf( nlܲPH_L 5א ub~LVM{9x (mSr!dt}qshi.ΦTgI7*#HvhWM+ͮ}s٣L5ÏTHzY~C%xwb,=1(ӟë%w[xpz1îќR6f:+нS#ē$(O_oqfY8J\՚xEm%aLoH$c._ @nBNI02L&jxnO7 IA܇At(a'͉9bߨ*EH† rȱޘ/{Ad64..ס!L틣[2sRSL1c3Syc$Q;4g H*UP7c35I`0WJ!iNND)!} E8xOsqutAї{ э>U%a"B5DF@1/&~N gtu=|+Pb>u!pJ*lx% B1 H\k눓W=bssXUwjFƮ E4_IJWyV$7 Qzi>;`Iyq}ExrTwung(furkã8qo,ؔ 8k)J͞}o}wT }NS3>uq–N$ |N况(G7T+pb4ίw?oaR.{b.abK %P:^G݊5<:Q-V>{@*VF0b-*[к1Si1hQEn7sE~I*)+#v>q\`[v890ռ6O;>3HIIa>sUz6nnzs}\0{*n8݂ztGIÅU]tWn *Qd `cN/MͮbIE;,U[+ex`TӚ¹eFdZ| w?htncUpfHI:A ~ۚ#x/CoLCfԞ,ֱ)dmoA3:Ch3~NDMB% Uj޴}(X8We}ϳl\R͛Htjy8PQ 4"ws=k p-x1;eqhvno0>DM@k$T޶υV2i3#h,$"od?B a?WB Mnݠ*& Ybה Ơ ZzCW. M`?˜T[lGLΤR&m~LxTde]FW Ò-M뷅) IE&ػ7Q=LS$Υ(&QGVз-㡐Ya]bJ'q[ gD4OT7}ͽ/n{y /xw=ԠZ E^DkX kMNnD#}9^5^U.r5h>oϭJGAzc{W x$'hMD>nT濖Mf ʍ l}N!Qh5ωКT9o_gYZ KKd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ `sL c"1zHn;'GdW_^g6ٛ Lpq_<%@= 6hE&h;0Z矩uRŦfV b*ԘZ'"Ebn mڦhB=xkY# X堢Ҽ#kBdSXSRlD9_Ms٩"1+[Ie:Vhn{kM@09$@;HtȉfU=p1}³h=rf;ுls_Qh[z\3'G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFĠG5eeS]2%XO .ج#PI2mTtPEԠҌqPu(>xV"G#м<%ќ[S-((M2YB!ėB& ]Ŷ_~ƗC*"J찝~2ba{}Xgݴyy(۳PJ'C= Ao'SobȔYFI@ $K,{XJ ? vjO8,7t{箝ݔ ˝ uX|Q|%>)p\4WP D0Ahh~վۜ"LxD2gKffBI8܋= a;Y8 dYX%롵޵HІ=QmM3Sv>wA\ƌvLljuKe2o?DTq+#GK3f)x<># )>!p V׼g: GJyQZ`3rŔ̀sMVziVQe_aWo1G8ik.Xq<,Շ̬5ҷ"i $hK[?F#ju~'|x(}Q߼nI2ZEy*+02E3W?D9JN dd^cl|p>ԹYtB7#xXH Jhʕ4dGx .*T#@|6@C (esAZ嗃ܖ:(˼^>7z’N3OVn]Lr@4+mӊ~uF0 =!`Vvp3o9'eCx?hęI&!X7]/Erb')פj9-h,RMZ2 7 Z?(].`c%nM!S%C~MJMEKNǟ67-C2;DNZeM"XUU~kljuY +>L_$05EFm}òM<.q-U&ćtQtDc^I ny/A &K T0~%1?Ja'N֯+I Gkk91 ĺ*1Mj07F\V#zv)Ma@4_h#^?Z/9 tji '{w~9d<7 Q}7'H[J[VM Z{ c[̮4G\;,Xqlls 1,bjMuub)(b9jTruOo>qE"v,ӷT9@ΣJ cֿ4RH3@|xSAD,RUж7: v#O>3.wH줵꺅˖ه)RᱠLAΑ՜`V@*Jmeɩ-0,R:g&?U "Uۍ