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  3OpD<\ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.882cpu=3.960gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pcH.-ZK1]m@>߫D.,θ16&r! ~o ^nLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.841cpu=1.626gc=0.0003Ϳow_,}YZ7zXZִF! (]ŗXi%zS/g-9/NHv ,n*jjAc,*u`u)-ף :Rjɂ;nAAg7BPH$sY򍀚AR! غ.̙4ጫV>`_fF%EٜffU]xj`"u.(P$݋r.:{J܆CMU@KSkժg&MqK6 3oƞ,B: #_OǣSn$8[qI(>HА֚Nծ4Kìs_$jj3QB+>*y%{&!Uρxr\R(IMŃ^/#l"[ i[e|[ߑc\9b5Wq8G[.Ghz2'},p1EݙDJJ](gYZfd2199fd9afb6842c98d48c0603368ac36a9affca49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95 685096bc14933f70ea5f8817de1a973d7793c3cd 8175095baf4c93baf3948d5dc4156f3c76a8d4b7 2377c242ee1d0dd6ba2706ac80b407b0ce541bde 2651fff3c63dce8988637e837d22fc1706f6ee64 $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ŧ@[%n Q,(Zi] G7Ko"-{^]eSMPAf33%\MB32$*ɬ/DÐIxzb wIE pf\eel`_dpѡ{ K7?c#_͉ L/K|z'fcj!D84Wq"<´$'䛁_lᎷDUZb1H2oαdd^*Z1p7d+9ow/ pMKC9}ykxA־Vj >Ź`4J!,r4Q\ԚQ$|!T$Id1 뇂.{WB8em%P~k͞\`B1E U."G߿6hgxCdSy-]jUsJ`dՑک-CІ}f«,Qy+xpImcfb8Y \JIT]]6(Za1Xi+%e&  *A QuΛ)j2;7*#+8'9:4eq!<"xPC+/B"˪c8@mrS/iIhs/u !_0W#\*yq a*M-@`XJihX9NŻz_B`-"X4놹5aBA*'F~7CEa Xt+ yd&Lfl@4.NKQg s^CYヘФd57"Ў Zu-2TڻsUEؒzMubٮ:b.vB1lJ*\`ou:ga.&^MV3BP:ۡS[Ě0pJE|n   vx%>:J#Nߪa!M2'd"JaBb#Gig_ϣ -[c+ P.GgYZ9 s %9,z@+ijN] S1Z,<*"9m{㠜q"L׃NM ;]/Z[>x=OJ {u)1ү>F>x A Āfv/+f2_%["\:X3)RjO;O/,)r2f񅩒U{"] [P9?lY'֦yɈCĶ'z<t9FtmZAD[<"*\N)8="Rv?JM ͨ{Ǧ=^e8lbЕnT- ӎ 9I 7^RXTkkhv[f27$L /; (Nl<,zn5>]e|EM76[ExɿƔ^eq8JӃ\ A)+6%Qs1FDSaY'+ٵe0EsYE"80ڲZMQ9atj9=-%0B>}_*`U*?y~}[O1$%2JqcQ(ѻ]9hXX16 ,?a:5/Cz )OYס_^H90ا&I|Tao-CnX(7#m)}Cl#YߍAE6_0Fz. u%ɰL 4E dJdoC.R枪áK"2J>"A }׮z .h{^G s .pw>4E)/oh[3VE两%wA,T@ 8,"t(Z]# M xl*Lp͗ 'a/<|JƋjW#UpDE+X8N'$V@ĐNt콿"~lrisװ$|ϰUcӻ%{*i~.ԼI,0710&L29mtC_Ohsm,Ab0y77xYo^Z:iZT}FQ|qMHkM=~8N9ٵ3a{'_VQkEK:^C}i:&./j.v~':}i`hv=/fNQ\mᆀ@q wRkCmF-6pn2|+p&ϑߊHO8hMy\s)RmP'uxý~cI=!*lXSv> }}h[j owK\vzT(.bẊkASMW֌h@hC?8k?s'V. (,|D"_a߹+#xwoOO]Nm12xZHWǕ"H}" 7qnM;;Kpj|cQbcAP=$yLl3QF 來, _a~Z~|/3jư/ Ԕ8"!  ]6gFa ;` iUJ~_51 :9oqpj>*KJʣCS-3O~A߅p .?}e-9D/;Ba[w_vH-4[~tUNM-k"7gU)Ś!" 3e6e[*jMD$J暀Ű5?_NxBry}+ WUOb^ioaXLl,$ ,!}h%*eCgܩhOf&#zџFL@ɭwג4q]P0*1n yC#{ңz=XQ#Yp|&NɂtR:9=Hl1 ?/[h &@dj{lִpika7Y5}Mc'f`zy4 I~?Adp_I(V-BUPecp}f>ih2FӆUÄ]"9I%hQQ[7>-mNOε>4vE~kT(S Q >zg[^%FYs^ayުՊ׊B3Н3v HU^B:Մ&oJ{ X,Q $H| (c/9r A5G#5$^`G x$̗q]lcO#O<.] f=z!RV^5pVxD XM&GeOvYMYTl+";7z n-;5V` 9BJa@ Wy.A5EZsi E%VK8CZ#Hl-9ԯlU1nw Sh_~;Oejbٿ NJd6-ʎ5: hY4?5q.`co6كo<=EwBxZ>*=.vLu*ZdZ4AMyz۴v 8 >kEG+RuiT#[Ibym]L,|=FFpp ׋+t"fR2-(5No=7";ćq!#fI0lxwu(eM3VqEeZJF@M7w߾ᇘ5>t W03O6} lG]N*kwr/8i ,"pJLRe={G 3!,]>y*ZS: a%/̀U˾W,((f X)rs c2_G<M^Z@Vaf 0&8Do0I3 ꊷ Uc{Ҧ Z~ ,JE!OBD }h,KTM2j GՉDsRɦ¼eh_:sX40p1AMLZm~)\ {\B*UFoX81| "pxp&!d5sulpxn)o$V0SǁK=ޕ4-* 'װbEp[/>{pD&Vc%k0%tfbj&.sͬwTjhhf4ʍi7nrD}D+<] z.~ɨs#JQFm!xvwE$Xy!qG#>7q΍5e]H"=xeŲ5D´!==3Pf»Vkgۭ4XVȷ huhG_C{&Hl85њQDu+5^{m- XTMvZHn.bb&fZP>X 3l _̋9]khͣ("{L?@/t"b! 0-?}m-R~FM> |m* Fv;+bТF#g5gFP#I4iu su W ݤ R)ko?K mI@<'23oRtik33ѕwejo T5bxk2 n.oȏ#3LwQVJ?_="iׂ$;\48 9,E$ֹRAaGZGSQ=;LNe@9'+n+ Kd\Z#`bl Vbw/"e`& PyfG|I=]re%Pǯ09M沛 F{S%(,X eL_L -ueKUTcm=1@z ~lpo[R_C lnRdF.&g16Ae%R$$bMy@|RZ2gT33姇`w"w^k1tDGQ]CGnmUQY }EV uU Ϗ#nq*US?A(bjAռJӟewV%"h&#ZUKNQ}č4G!T]DS6qy IkTQILj׈kؿrT$L$d$=eC1uU$^kD蘿q4[&η+'b,>M!0䤠Y2Ȭ$b08lލlV'O'tL&eHrDE4} :v40A~Y."g |H Y`wV̂Ɩ5O0+Df+~ZzusEa]=g! c۵$?8W7⓯*&bn,wg)/eb!"@FS&#YSڅoLE6 NP^;T 53d"ėTQ6(x}qs 0WruQqb{Z>".j$E3aʗLsHk!ھAS+(K#09KxN}KQp])fre"g]vUTHb#/o"^-qE9 o6IiNnF,Gr \6\},}rlR_dʖb{:Nh@uMFO B~ o@JTz R d &Ssb0Ԝc LBg7PU5r,^!Y5kk1F\W1ȱD2`> PR8{m˼󪜏RPYH!t6N"ܔgzwe|z{*'0n1G~D2~uj( b1\&1ӱI$gNB.B ;GSH.6Am9eToXکk6a~=y[@o+*;I;yuYI?sS:dnx:QQi)%tnkuOb11U$ NC&k]+|9]06^yn y&5dt*)F+ dy37#|i6SnQҎ?)ޗjiܛh䘮C5h- ZHJ7Ņ :'"`bӨ#de8Q!asDw? |AZ]A۝Ь֣֡f^}vxuW[IRie}ahñTz4F{Pr)W7KRȂ]-9 1Dy+b|oocuf72V +:$?#h WFA@'LhЮ<X>,*Џ҈]`؝UTH"gHx'!L JLP@Pc\C-[x)CdBސWΖ-xOG\g 7ti0l"Q2;LBu[kƒ CtS0-\+p8j.,HC,\`uѤTsd LAgH >an(-V.C%UolmKWhxzǑ ƣ1YXaj6>3 Sqk%0npb/\TiHnȩ6Ѭd2`bԍ14މĨweS竲GvC**d`z@?:YhbnQG@< ,v, 4⡰G' Q/6^~̞1jnO,]_v}0_Ž*8..e* [g7F8R x!g*jD\@CJYk3hNmgй$n_K; ZIz~ҝ&,B ԧu*(1"F<3[ސעgG1Z,f+6, 70x4˱F<{%vYn*~{:R䜸vYbK݌t;ᕦxTq$ݏf$ٮg5##Q#we8HLAŀdļd6G08 Q*#Q^_/!Z:{yzr7|("yoГWCZFs97(xF nSR5qX #VLTIp EP2E}PHß^BZLJ&' P+HVkhTsv_aM^XO*EGATc /=c9]Itu(mƧ27Tj{y{B3?QqEuv+nwY 1lM^4BCзk~j|4zoaĥ1;AMeNQf;Ϝ>qioG!*L9.uU ߩS޽aKqL9qX,JWwS&]q6u1u .T*PqFy⚠ie`㐤\n]ffO}]S _~WTS(1G"`^p T&Xj q+XY*o4BVǬ>В-| QGt{B^iE`AI+A@/9\06ƜlaoפW '-Rq#&ר d'N)hk,66's%$'"tt58-b;*d"KP]IjL՜:wZHQyEJ16&ސL\`8|,k\u%ÞH~0_<YN_N{.5$١wb]]oVnc\AP#}W'^ln*cCI:,o;rJY8*D\b3y8_3N]־JJۍϋẃ\xntz,(ʘ}P~v4>:P)cHյd#q7-8۲ Ro x,_G10n6<bnG!o7oci՞ی7'-BdE1m<ݭN"&886r,͟-'xdjayXx81p;4ԫ(L.~A Anzyà|?fBaT3Ȍۤc-1ZZ*|=G籊梭"mC lrH1m- (V9qֿ}za(uެVC `},l;Ә .D&?o澴#5ǰ:BWh{^5-i+!Sσ!MD#*|4O No?cnx%܀thD@"Qpvߺ)MKBKb/L߷a.l#슷{跪\eU%6`c*SW.u/X:]G;Wd_#.M4r:$<^`-s`Vb9ޠS9Z;-̚Q&iDYlhZhcKVj:H0o7kE8!&8n!uTǽb i,,^}{)I+d9Bxo)^=ԌYI"4 @V󭆘5۲ %3sTiTгyIpHI[oMJmhīT&ĩChTe/Hy8D^_+ +GEIEGܙ) U̼z~-*[ߋ;٨[ I0IF}]&bBZ4)1{ .AgN֡uuHAb)\AB/[ǯ@1+{y]X~$D74Nǵ&g93J|!öo}~>%VR!cޭ#^ԨG.jo]?\W:oI 2*$X# \;GEݜ>\28Qq^ $#vGRbbpz>9 ?,x()Usf\Z yeRC̍WX)xxl-KÜ:))F2[>>h6Zo9a]IVpc"8'K 61T(@i9ٍwl2|D#Ewc 2~J]p8fqằ.j=Bh Kv'c1- ћ*{e1EiL'O(~pCE˅HՆeVP Z~CXWS'Zٳl vVЯ25:FXU0~fւ-\=Ç 4.7%/Q$҆.[7tJP݊,GP>][`L?񪞦9YR1mY6d'f٠F|- ?>>W8PD76ೇt1[MVR27@:%nl/4XblL}ܔjǺT}TOdaJzJ89d욶"KG=;,kVm([҆E'+M gyJ4N*AK'20o~AŁgYZ ''d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ _'Q#ZA CbdM(ʳsX yP?r|EkJ:r6&'p~~k^Pm:Lxokj)H(z*Fk @;j{P=YˏՓ L֌9? r!d [q>¼ਖ^u~a{5V=љc(X0:n_G (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nFK~L /,cTжܪ8(E7sI =JC3w;zdUO9{9Y.b `.Kjxq;X}ϜF;Av|F "at a?0GADnh; 1*wܦ9`s! 06}|Euo:t?[ |€UtTº@NChɒG R dاuwSSq礂T6;&A]y?vH)#Ua{I4d.&v1Z9'{QNJ 3bNԪp`]X*#|mL=BB@Boƒ ^k !To]??ILK.uڷo*d"q7}g]?c"@7`9DqXYry"L HWwҮ@:0$$|߭_NHP[s8vAR̞&4I}_\'Kg;GSYu f{V#ydO'%h8rV-H& E ICx(6&@Ï0ed)g2(m=^ w@ERqXKʺKPN;)3ϙ j&bl&_>;`_H7{7KK鶩0AO&͵E׎hnpl%RxKzYrv.+]&Ê!]Qɦe,6[J@I{$ZԴ]U8PmDH,Pa`wƋe5MVӮr7sDaBmcYN\$~t`{J k4 B%FnmMX/DхV@ٲ^[×/SfbTݑ YX㱁W cQ"=*5;ӽELo~X ='"Ca)jPHvě'#1zlgX F2 swryA]e7E[ L+6y|f!=[V4qd3:MJ1OIn g{;%2"I!EaO#6O>;? ȝXN}K;4ܛJ^0+I@<.^T7P;O?jө!Z. Rm1|x *)HcPDuU $[}-`T 9~j{In&0JO9B,([Ֆ`9 2e4=T-_2^7c+<> Gc_(*90 b)ůtrU - ؚ \I98/MZ(s K΋Tutxf#M4h%+/Z[