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.811cpu=3.789gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"rz >d#24Kď޶UƁYtu%-@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.855cpu=1.713gc=0.000nbJ]w_,}YZ7zXZִF! N]ŗXi%H(&wӟl}|rA1| r3|.Ҳ;u&F W~%LA/N/hSj;w`CrȽMcv߲& Kc_ar"uv0Au`jHdnb¯ӱiso4{Q,?͌OV-B[6bȴ ݧ5%6_?}2/|Nl${,IvI@3i$Ӑpn=D73JgLQ k-;D=s$`MәReg9CO>C6X*)C~+3ת,d0d7Ypr>j(61 uA $J,\WEcJf<2w"_J..kܽma{Z@믮GVoJ:=O5Q ɇ:.D\zGOAcM+j3j ԯukuvG_gYZea208271caada6bb1a89ab343dbf1a0ff31982827a436e51f62a42a02ddb55d4319a81be06759b89 c799ba9bdc115a3ecf3b5996f3e7bb7c44ffc380 a8634ea01c7e9b62d05c81327080474c4ccf366e 1a61c29bddfec68f888ed433f0dcc2eb8dd7e5eb b876c6979ed4fc2f723a7cc4fb5531e28e1a793e $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ŧ͟)Xu'Go:BaY>HFxSٯjE&;5jTbEٵ#N&H\S5raMa_+fHe|;BG+[ALwPmr{`hlrY}'S2Z$lO7ގ=b8Ix60D`1Un*D{l_Сimf3O|Eg.ߊkKwu-cTk\EEo>oD:q3ZCzq.Nˤ2:w$2"MZ{'"LX04v0'0y5|+bbчc'sRBq#NeA!K|C:$݊c PɆ&[F"2T5x8<}L~9kJpDwM':cm&@L nzq-aSc9z !,A{A ((ȻŴ#wppcÅ7Q2.WI|ն|C䞣rdqSo/ɨ%fZ8K 6.}Qc>M08$&CSd6 t N.}t E)F!K3V'Z\A\A(71Ħc׃v#I3i¾?-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8a]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&qm|iu U +'j:]R1Qp០dֈ8̺5!Aw 啪 e+-4 eD-wҳyZ24 HNzDLʴ!GZX )ZʬUf>X8%>*GlEPmosϸ8zYLyٜ(:SyR$>8gOh Y^u(44X1rRچTQKxPP\ڼc61Q_= m n0 Uد.&s@0KhSĠ-m%+&ن \c(ⰇPr2]~5>§BdZSS"K"TQ51%`$>>QSIk.D />DXXaBnk|haMpir (_m Y$c_Uzm zeqgErԴ i5bNVG=E91ͥͧtO6b`5И oi}=2"n V R_ieᦚV a̡Fp !-ň*Bl@z,5Q8f*J GޗbB^< >9@ @N&KwPr)d18}knt?x6V 氻i2U^}Td9N7K! >qpR:2̲/?S䂟zGJc~;i4V` ! 6<92?DND{oIl'2cBAuzaS"e&w3 /ҴN Dy;{Uٜ-ki-y/iwHll}n\T4rl$#g.H਻y.!gYZHg- Wdn;j\#/0Dd.Zh-_?."aJ *!?|<yXLg\fc."GL,궭ǂ|\˾Y?s* Eú(S T1S/ <Ţvjx"Xx61dF}j)W󙮁PpTϺ.ˍ:Zz1Z</R%ݵ>DaJ~ ^袓$GםB(3-}k*C4q޻L̡f];4Fs臚i[u#x`B ܔ'}|H? műDf}J =Zfw49#}gYE hSw5/w/*R:3 f5⧎L믇r,9U>UN؛<1uJ!-Қb>)fCtu70@ p!YbⰭӄ,F>zm;4q @Fgtg9QN%,LL8\ 셅xdqQJk sY{dRH ӐrP.*R;2rs"SDO;gKC+6? ܇7DQ& /NbѢ_N0U'_\I\?3n3z8hf^GG lY_p"zO`] 7v1%|T|r$Iȃ{iX3.9q%?a{ӫ,wX{Eno9,a`omF(:؛e$I??U~hZcrխcٗ$F:CJNN)I*A;FOlI.M(jUX9o`{@h<Һ(jPmm(w͓-ӷؾEO ;9_8 "QħÓG淔K\4KqYY.Xo r):rk ;@_koY2[g3W)#KH j 'k 'EB sUun6G:6*M1t3JOe0׽Q]"C.U'8; aPl3<-ک˼LUflLQ+:ӕ5Bs%[bʣmΦ;A"#]i0N}wfC 6E_`BYhNfkw[1]OKjqϞ,vti8Ă P #?M"Rb,_Җ/YoMAab=L_@GA5SqbXCWoR 8P}Y.ŰǾ⣬8F/"Q+od[P6C0+"II>:uTч],.J d!Ȁʕ`9n"`]Ru١@޾ޭr3+P:: pǗ;v5z[佾(5AG6EY"K]L-o]hi`. :6:LmΩ#Y %dclϖGFAbJ!էaMpL΋w|!ew@n38ۦ7WU6e*}}{CIy| vg< LGTvrL%#Y"J8 US9 Dt@$XqM\_7 n*K^7\"ec=!a~7@ ǛcG]5j IP(\LZri'!zHi"߫\  } !_&i(T\o EmBW(]74C%(Ee!Wk7gs`΀ Lg~ \\+(S &2sQH*ג21 j~Dv:f2&k9%dXbD1k?1w\6joV)&%؆ ^_-{:!I]b oPg3+cW:Bs&U_{5-.{}J1pg c;{mO$#cV,VG(5Pj$hf{[7"mt^6Zԋ_\.A⦛gWʴ pwҎ6[:i2BJB}!mI|N31d牼rf~Q~4j+Gl^KyJs6kg^Q+ӭJ5Fdb9̢WBSk!Prf ; Oxo:X %QjUD{nR(4S='[ykx#N.wu-)WMm6'#3g\e,mB/O۾NŘԆc܁=.^G[R+(%x̀lWU^cCLP56z\!^e,-"#%vI(CwsRN̘=t@0p陏lbʊj]<PE}٠T)QlulYwWA^lU˪=WPLuc;U @/8n>6Z/rWI#w%QRhDM=kD-}w<}4JSn 8$DMo[; 1Y: POܯBn*x,Ob1}iCpS)L񁕋EWaPl 2ϣdx4J´ (H^)"ףeS^O-Hl}ŗf_Bߥt񗳣='A j W+2ڽ,.+pmkJJܠTi( _{~!ϿVll-l\d3(2{G@&0Cp:mgH̼) }PPkR [vG);@+*fTme|@ǓK˩Q Sh+p)bc?*"Xj|%/H:~=8€S~BA)Nh[wGo& {ND)Dm7LĤCZB0&leUyoNw~>gZ0;(e1Yݭy&7~3el򇠨2Q& j8&pz0v$@{VFY շ࿸<&B p ydIJV{Ia9ZXTzy\{SS4ҙ~DHOJn=F# >ogv pƉinMy``nd@c H1ovy"8]SȢz-RUE}b911ԵLYB tB-ږηs4B>@"\  jx"}Q$ w (q圢c<ÕP/OosUN^WΙjIt?E@\ q 0 /po5]q{<14dի奯#Ya}ð='lea%N-dUPc[r* A](=^PPF˃.`sc|J&[kDΘ%5!p3]\CBRHJwvr`~nU$KH$ \{v1'<)-l4]4\.r_(ҮINTAq0_)fZ6q5j۝ fmжDF1fYp^; ='5:U_tR<c<8ߟUM֒Uٯ"'WqdjfڎSNݧ}(+O:р ds߀1cmfG2_ײH|ƧFKGh)eg ƞ4ą$HY a1h~<Ÿ'F]y|Pǀ["mgۓ+ hO Mv&-lr2ϫH"Nfi.@] pw$^H߀uw5S!<<+}ү}UR8{O(5K 9:=尦HL,FTNpd{ShED3xKDa ma*y) tң3guf2 Y^eR\B ͈0$%5Kq yq9W 䶒`kQ#=&=?bS2"TAԷ쾡|z^>fK` B*\ceDyD4E`uBlYi2l0 H&Nu#yֵ-t&{x@d&X`!pk2t3ӧK|֕T,^Ɏ|eveaX1T`Kɮ@rXe-#_UFXwˆZ?#hmL48Dj?$Ҏba0RA_~lKV9)~qJ̜<#A%@Ñ C;V!tw(<,h,'J}0AaձJ) M ,`,&EMx?uvTgTtAT@/.ʖl50Uʦ.:8c׊x1@Ϝ~b%i95M_S'+khٌU dCm!xfxvH3GD+JWy|y[lo}i=P,L}Lw!f>j"c:~!N"^әR a&BHCwL1UQ^0X?2NL̔§o^DޮB%Wans) mVw3&*3L*= ?"mG;14#L.`T5HК)= 5>yzq:5x$ A6`yoLAv]pd{4,D{\QtƁ_FbkZY~Q8P{N t7A~@w1i@ȳU-D="%f^`7F%.Uf!\maeliSc0Zo@~Bt b2P1)k.fh ^\cc@9û%@-ê0ţ. YOJ i+~_8"5&x]' i_R ;"*T[>l>"q];o&kŕiu.lD'AzGB|H0AfA,Ά~³1qYR@Yov`X:f*K!ߴ|$Z X^5S-#`Bf88[:|ةfjk'$nzL}w۫$MqeO5]d 8 kAEkLĂ|6ݙ#2ݵ."jR]j z}UM _?# EThEucMNSGS, vg@C],j35W~^HEV';Mn;38] ڊIƵ$HL|ϏNкU&?e &X`MuVVh֡iP{hWbD- vlv!1 WW4?:>:sRj_ Eꃟ[؞fTcNX' C7㖪j:hNJ?XAgS7adcC-L4Lk ոtI1P\sF38#)B^|8}i8GTQA/b?tv0@Uyc= blZQȑZ-%\ ,ltιi̾XCT8M#I+KدѝeG7ZWpopU2O@y\圧bb)V^Z͊ Xw22]{hXunKDFC:eԔo1P8@*.@ي? t/)3mPƚ+Oz0 2:1.7Q)%qd;bw;ltqt#te ̔a_N?3S%}-&ۂq!L6bo6(D,k:/A:jy,y'D;f]f{E٬2XEzq6~2)$2>c4B6\f!(:e{VgXLykGk=\gg&rA}B9H&dEL #{c?qUYRv$lsxVr?~l?Rqp6F`/\Y 4a @aJn\ϐ4)u; bT"Ŵ])\T1&x2th8ѿira2s2Թ+<pq $VAuIig ;ҏc(&Sa%^.OY'@v FDۏ:kҾ s $ 0 꺒͸9bkzȗ=&[\cOhW@ܟp7d'NcQquǚSC֞i$m@zmMK,/&/Kn47'?j6:q^bl-3jnB_ҲbCjq;15St[F('mkX88w8;bs`,X-:tš/਎bY{5(Aʕ57FF a8?s[IH%U.`S*%Tq]7v8!9+y!bFh]A;so8UJj'pmNOARS*ӣH #(cDRl#)a(S+B Z9" ? 5qجe` g J{ c_PeV`.(_U6!".˔u>Q3Q{p]h~څ O8߂5G*m|ɜK_ a&V{ \ '[gI /JD&^8\U=GLӓA<lEQ+ۣ$4z1R颼wa@/n S(9--W˨\23]fsN%,)L'kYzpwjT#ׄ$8Q @ؿKշbƋUl wо`"꡷G89A!6}wi7^aIZ| 1on2|ߖW?y0Hא&==% NrlT5$ Sv1.V-O%@oSD*kXz^&5vMNdm#7D0CE.J$&F6y H*۟sKv aT{H$i}<%Ow2ByTl'k4aIxt@:ėr- ]iZU#-[~pУ8b5ZDMLNfDz=+E nw : qkW CE~J/9 I0 baAI[@5S5$]L)cB]׵aaMTrC,I]!曵dlN.p_LAˎ kk9媂lܙ ~O^ leSl(]؅x; z6^bHM8=V3w='ܾƘ#eyPIkF ̖czzV3Nz @ϴ=Z,, 㱁ʏʆp2jmD( ohyC3\xDpo_~)Jjl\DQ-4k$}0cGn ?l|dCuOПXM?PkR[DoW7&mJ^&Z:Fi ǾR2`"j 71r ghS%:K)o`@"&8POla 4  k:Xo6a]Gbh _$9E, bBkNYPP/Ȍ²V9F%JY V{2:Ml[!ZbHO .^6pv AbVYnͣ}ч O H?p2aL +1[[ +r@<]~}w[C}轥IPJmvfCuqOFᙔr.)䙺or$ŲYUbe)}Ft>Lai*ovgYZ OOh Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\inm\,]SK̎Eah}kyso0+G*P-$'\0ښ^MyuE>dyO & RةX?L-~yJ,Cʪy|4e@vE 2ENdka#|%xa+`f}StqSVߨr&[%Qa4ab&*YTOlc]^Ռ}>G3a[0ޙV˧Zऎ;~}A'j`F8ftRyB `֏->+eSRW`}aޤJ7͕xӕ[Oܗ,`0x2H/맠ٸk/89TO}(K~b si|^1G+!'LwS ZtgYZ3 Oa# 4HOL-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 rr-Lb,tVDgW!:1FM-"9q:2R f…-Fmc̤Nx )qy'H6uNP6rֈSU(9$GFלM_ [ZS3"MBA\pHe OC/_$2Yq=?*tGHn—̮RmVH^vbP @y Tu8kgk_v=&8Ari ?C:/!wߌ{xth8l9(`dk%ig'<|c~msY΅8\}fT k xծP6FP5̿\&D%kzcOgBTvJަ1ѵg+}= wx$WN4ωIzzy?֑E t|pPQ[:}θRYo,C1z|Z +anZ_K8Pc_(S1t0yy_,~G<ׯ_k%I ԕr&Z-n*)n""Hq 3.o[+J@ġ,VyB48䨛c"zi™Ϣ w1ɗ1,S~ɘ d%7§*&̓3nzE8}c K*uke8V;"08hUZϜ!&" s7)Sœݕ-%a..TURS2MT=63 ;!+ka4Kd '3汻(p*VәRA+ƿRሞ28o#-w4Ǖ0M/C6(ABkb~z0Ʌmg\M=H%Cw釻iȱaMbV2!tInvt[淲F_y.@6wO@ۛJn E?QI ,XH go\57n'Տe{0]UoĥJ^C*7gԹc\&Ϭv`޺h6|sXq"|UN.eQ5t=ĜA.ZUmZ#tBӴCv (9&4tC_TQU/UOqMObIdp _ݑ,&;āɽU_*,_43`A#A`8ৰ!$ !KT0@K.}~u9rfUR;{P\j!axFQbcWDN