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  cOpD<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.849cpu=3.855gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='qO=Ao]J!pڠ{rʲ*Jb5emARz8?! `/@>ɱgYZ7zXZִF! ^[]ŗXiɟ1$BQ0dE8[Aoc!IJV1LK9vͨt͗}%/Az6Jξw_,}YZ7zXZִF! U]ŗXi%@k[ v"?^N)OpQek3WՓЦ /Zt߬vukp p .PB:bUt8!IѯȱQz[U0 Qe*: !{ַɦ*d I igDK3qAR \҄zMT>j.: Fg U{PTHۚ[v:Ѭ˖틕0+|RYUH1a"n\ +wp&'$=|D+㘁niGO+̗O2PVȭ-ƩPʚM!V{'1Sɤ6"uw1̦.o%]DcD8 N(窒%d̈WudErs1Z B>مF|"Чዝ9Ty.9Bmcc¨sTߓ \g, :WMf. t"b#]R̟+kAa m&-r!(t[/+b S :3rL#BgYZ0ccc5f8cc861d1268c6db0febef11f8f01255211c6b09fa39df949bd17c25111c7a89bcc62196e4a 9487e61ad16d751721567ee8d71a9f38dd441909 b965099cf658afd2ab696965102a0f3ec15ea6e7 07cce9a6fb318c1c67b0612761e2a29e260c31dc c49fedd6437f4b427aa26dd47a3d5db1452caa19 $O HOL-Nonstandard_Analysis-Examples8Oa' 1&}6&ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Ana   D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   ku(s4EIuS.PN:I88vb4d/*ĴFM6>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' 1&}6&ha gYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal ??. Oa) $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 5= ]A-MՋhvG"uIBm5ĪT9ǴGjUx_,j`C~?،aW撅u%'`K«hJ1xumnΚewGxL]m٤ &=ҰS菮#UCD*wBV)U+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ŧ8UdyNjFp3:u^IJzW0mW!4k(YL Tˇ=mJNZlê9vD:nKgֆ l\;]um㺄 };J f`g_$m^>Z \Xi ROw*ocɑc EsܰRrh]$<&2 G8UzN~݂?Uhq.[yݭ \ E1rs4PogY>)jEg?'EMy6fAb79@ɢ>iM"v;X5~c*^dt/mC,2;"+}?.?y,N?#9.;-e4ZD87)&@iW4-m9eoOϐ&ytNE0w"nxOYsk&:LpT@25iI0' Qt'Y %wyrtu\((Q9.lͦ(7 Z!)+wƺj)baQ/uf Ft9]K'O_Z&zbn x6~PQ%,nGo@uC#]=qs GlTDѷ/n xm#)#c˃{l *A7k?Cj;_8'%VNκ<yBM?0 :,F:9^]Lu5{[p>-_gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8c]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&ֵ?Uҷ Yؓ$<¦|P8^e\ZF|@:ְ#tc0'a>R"0|OuO\='^ȱ |@* nCaP9 )kY ݭ5.~;?1\<m,/h§qWT2z*<@k4;I gonHYs(=ŰC=l~0-Lrp[e'H :k*9L,.UUGZOekaaq/%o͂XT-g iju)=z $_z>/bԈ0e}=Ä=958aMV( ܀r{T?.RxB G4zQ'yVJQӦtiSJKEJfxA\xo;Y{Gy0 o{r#,PW S]ȵ).Cӛ#AM*9+K:Ғq|,?FbLwx:}+` L=DW]Ń]41}+d #oBZ@R݉=tr{ CCk$-]i/BLZ'Ǥ=ҀU/^.ug+REIY )Ob תGbۿ"Nss@ug@H"FS:75`Mc0ˑN仳Ёn5[H3MCecj.黋wd [!#푧[v6^oWe];roWt(Ѣ̼w8f {C*;W{M߽H7zRɁC`\NixS sSDT $.PjG 0d2#p4B1c0MRr0Nh4 y[q_6Fj# CF(W˘)ѣ#th8:@$EWTk/.*^HEgYZrp`ċ0DL+}hk)BJ78Ts'̋_n|ϛCyW^)$ ;g< g3;(cEq/#%-++HUcz[(!- Yuf=qr0w`V*Y=Йf;!D;Wgn%ֺ ^mh-YTP3S ݙ֬!DKCAǖBԤ'ĵl#pK`Kdc(lͯ[JSf[lHJMކ>(D\yDXc=2" `B2&0DA"9!$xqdΪjLgWv9GTENLӪ =\nO Y#ٴz0 ܗw&yII DQl5>#;x݇bPӺWUt8v{˄DY*GnX +^KM\xɚ e,G%<ƒwHaX8ɞ/SaBf9cg<<,58}k9'gc8Tа[ Zڤ?xIU'R_. um5LbrUEBAHLw=ㆯ>TPy,9WwJ:SSSb+37)v&ۿf[k6j9Ψ-9ye+ ICFMJŮn9%b#~ZtD4rta].OdfNHyqhO%+rn.bUɄVzV|VhvvņADکF"Ƽ$6N 7^,N&bvZV5Q\K; Ֆ::#ٕ w3 3aᥤ&^^C%l`DG@gT(|Xp2ިOۖH,?*ڳ;fteM,a|+Y7y:1ZHs52xxf?{*9N KB]yKFG2NUsOLoD+n^!T# )nz3F -S~ܸ_쌔 KÛ'dzL+{5XE-aBW?=cQ\r#99}$0GGN\S"blƻyp>ٰZBZ4̖l[Z,MW+jO4Jml}X"lK{=YOAksM< " SGkDjpP#q H[G\> Y #PϞH͏Q jdȬ7_ i֯ .w :V_;&}a>)^]PgrzCvhs%xJq|帔.A!N/y꬧2*޼;N@`}a̴>2=Yjx"Ven9ydgtδ@j3W]VxG4"h ^nX/0 ;jמrnTD C@.]|ptf/!tA.7[q>FPp pj9ߙ5hj# o9ۢ3FI:]k JAcm;ض)>o {RN1l𬢜ISWي`Crjy]+alk :T( -ql TN-Ys\Q'1pDUT@)'rms#:^yGu4SydΕ؋鮜좱=v5hITtg"(p.Ihڄ k:VGd fj3ڑ;*ET̲)^Z˰J59fW#nܸ6+&Znq9UƾeMǍ8z-dc@0"y"9?r~U낌.X2 8a%e+,E Ɔ#Z|ƼٚBdEs?gw{xµ K4jdnQQxlsc ۺJ \Q8tbBp?!{,#5KMGx0~U<>>vP<Қņ䋊^._]JK#tԜ+*]WkIx3!S} ڀNQh[w険ajCk3] f3s鸼?`K2=8yQh?um1} 5K±"z0KReXʚFVvM~.Q"Z2}@Axg@U&gGn%DP8{黚%'o<;xt %_30ɹ)ĕ#ҌZv9j hRrTV9r$ -I;8 [ٙ`$~J޹ `$Yś"6` 8T戞͜`A5ziNݝ0ֆɦ#?[ keglH@rŎK(|iBfLX&6\[ٖ{8>Sn0QYV8jp_|E&V_EXvu/ Jf{jHx:;Ҧ?kvq}+|IRdϓ޶3$v5P ͅhénSn T{]7P!O6Ҽtּ(J nwsrI0\=Jt݄}ݳYa?ufLNfayMNBV:d0IPNGMeaa!R,r9uR#{9b] FxʪGcm,gy6',Җ,:!XA=l݌?;<28 xrLBoD~m"l|.m}ͷ  Yej@PAcZ;١qnC+5`{ L+=u/DU B^j<ڙ3$o٨z u%RB&Ak],uT L7"(tȩ^<"++?e-[gsn7raGg!g$6R25p-XxXL#nnpHod)oq&~J"Vnm$H"['D~]?k,\uwVbOUdTYl/xx?H9ӥy8&0zD #&AY8N#3=7 룮g ;iBX%l8AEfߺ"'.sɩ%/{6b,ubkeb`Q\p@aڔʕ)ƭy:c o~6Qn2 ;uOŠnp.ͪ¢(V!Py6] 3+Nd%<Sum;SuppWgWMN a7_ қ_Ia( WB)#R`Q*(qW2T&/ɻ 6Խ1v h̘k TvIx7GkDvR@Yc]<_u99;)T9?1 (AFIvO%Q\'zu4m?δpC䐞w"m[2l,Nهvrbj/|_al2&P6L_̳L@.@i)<7yKd$j*N},p]Q j'j%k/_CqnM:ѩYܜA34RnIv+GۺhsI׭ M3df/[v> E+>  a oecZ~Q#6OZztJ YsYJd^ʌH)Nؽq%'`ILQ4:yaٿZ2@=Xg?nיq>h|s? R~Mjݛ=+1&潰mx-qZnFr_PG2TiT7XT,50nCKtH"owIIpUS^8:#1|-lnΙly mX2;@@P3z q@Z;q]k׾q&=C~7@)HRyd R!;R X8sŕu"μJe N!D1R?&Xڻ@f?t9]F9LUgA_ ܯ \g 7K9h2#VW-~)K*f[m[FlBZKp&uU) YTfϚq>ӐRʊUc|+նkor VNrJ~Kx U&%,B*֟aM݋+^z"/@> 1eXz}\.\Uv4ޠ+*ݚqb5.҄MQgҰZتMJj;r;/fA<{vcffmIJtb:V.pUn z'M+CbMMA ^ ^hmC &)&VL] ]#XuxA;6B?LjKAMio1u;{WYKyaU~qG@o6jS~ (YGVo'u.b,^{?iH SjS} 7V'^Ԅs:wX5~xJ7^R `0/pւ;6符FV%xΌ-YA22:GD(z'բ%KYERM pHfadc-w:Grk[zDdЗ 45 4s%@2YkbkhŽ@Jێ ri%ظ5?l TlSb5;я9NFGrM,NOT߂{VZ6zI ~N=#i׬#,B[v[ -^F_-fV_iYt"#Cw;EWt@(x d0lv&Xn +@YGZ +2zBD_)@vyjR@6e6#f2-pd`V=-GGSnڵrGDbo6Ȧ1]v&  )8-7(1D}[/Q{szUWr淘̯ըB`ͳ]6!<ϼn,'y&q=V /̒f1xyʒn㹙s:]OCy~ _3u2JnٟUh7{@?Da_񎑜<*ķ'6ɎFB'~qzLC0yY# y,$d$ZwֻHmͲr2i[F"i5A4\t8~vRPع;5LU|!dX!|ݱ k iwo@r=s U4jAlZVb |%fhe,R_k:N(|t  ?S) q3H&RpV@%OtWQ?olL*ߍ䉓hG<7\a犞r}}U/P%o~?/niTH:ɼP& `oP:3cM-4U!ZK{wgM2ZT@zBʷgr޶bu1՘*<(Ή._&AW&aK.'WCΟ9=2ׁBFۂ%~{ϡ4An5tלp[*唳?+ƟDkwiCmq$+ ObF,K`y~B^[M$,<JLַs?{;n"sB+,%S 1|6Fk [WZݠq@Oi͞SwJ WonK@ojVfyh}z+.fŦ12궻?BʴצkXᇞH}gMފ!6bEx}Y3@ , )PQS3`'90.q :b]0!ZAgBu8%g%.|zhWU@G(\G>%l} 1#ͯGձ) |T.(au%w {m^yَ?#:j19GY_ojyzM.^qȧq衠@P_A7QH|Yš 6ЎE9{#[=k߯>"#]VK/{ًP3?a5 Ё4L4gl:NTES-dWpg9)h3x{TIIn5&81`ع銁oaᗇؒ/w˱pNt)7ƂQtm%kccV|ԮRTṆьq1<=a`V",:yi,ޢVgO9" dX$WT^Ho8) ن{.V-4'Pb\O^]CYl%.DheJȊ AUs=蔠?_GLdyE Մf MtLYXubzϟx_6)8aEK =5!H37.8&)lUUj~{Xt_/-f[)k{J4$N RI=9rI9ds0XDܮN.z% Ae pa V7TH@K%v.kf>ÇDjm`T |TSupk?w S_A+BŇfTx ~ctϽ^\7թ1=4 *q*V+&0rZ(=j^1? Rˌ}Dx+A%izYC8mnAPwTF>MHi{%4QUaYf.jv;'6r4N'!W PrڼTέd~Ti`ňZ^,8 ۟\+ו T3tS_Ꙣe#Cpw/yk&Hۏ!|!כޓ (rC9ߗr4nӅϖxΣBN,s k3sF#LXGz/aFcYtm.HzcgB~⪧9U:P+760ꥲVj3ٗHeޒ@GPίa~Zr*yWy "X@ |&zw|wdnr׹IX:<ľڅZ +"H*aU kHE?34cRW"(|m[~l,Z] + Q^#U0Ӕ'!#q">)a4idXkS,;KhX|XL8IA?.vQQ;Ӆ 7lscrj ',z}UiU di(H@U4>I }~!xݕ}+w8ϒ<e6d| YbꃾKW@D 5nҽ2)!ΝMQ(^bZB`7}FI)ff8pƯk1:L =p4@n ^ FUN u 1 h_56* ӠYX (7v,R\/)#a-ƿ?u/$ #w|Wh;CR^8@0ej8n' ɍڬ3j:y%YrTF #lAfW9Ũ&R3! (J=!@%=*ǚput4!ږĠKC b}#$޹.,Enhn oZp]D`ʕE*C`hX:!Ap^zg?T]7|@qXÎiUb'`+gy^u%8 :}**vq@jG R=1'mH:#9p4sfhLcGހdG@|?QU"%E#㞳ge4_DH7]f)O ifv4FLF;@N&!U4dC/m98r]yf #'d}mkb 1u7o}q@Ӏ,w}ܿ[vPŹw@T˝\I=0DzjbZ޳(=~Bv_&8 8gYZO Oa# lHOL-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 AZo4xϯ@jt(,@ ^.VvUNۻ{i5[LV.v 0җxkVaE+>eN֙l_3^2h۵Ғœ(uCڛ9*S#ZsDo[+HX(D,N[tac),`"?;7BLvNT+oˮxDEI>G%C# p# ]euX~4al舉=iƂ۞a{Ք/:S^GC]+3(f5N_J\CC?ZzH{_۔ t+\B3FÎJ t " Wt9OA &/66utHI⤔9/>edvry~(z8.=sغ@ V½DcEԝEd6ŚuyY DHB1v s-<ψ<]^5+{Eg,p3^vZ&0z/}o0i <$EӍӯQP5$wk 8$otŅ~I;l5EoW˹PWswϣ?մ)!"WjK2"\D0zcFä(="@dm 2\Ω(g>*ĝ䜡 < 3wßЍGxӶǰoybE0͚A8@faX]xtCr+tuUd.Y1 4Ѽq(,2kTPz/Em, cp 9/G%OGYG; %<7'Gk`u