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  SOp<<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.800cpu=3.763gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='pJC fPg<~ꜻ!|gdhR <1lb|Pd;V|RgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.838cpu=1.613gc=0.000FDuw_,}YZ7zXZִF! L]ŗXi%D|K\m-=3`e- ox#OQQps-n)t.`8+Ϲ ؙ+8ׅH ';͑Zcb ;*PTF'}nOֽd(+@ LKNdϱ_)jgq4W)pxy:b[ |MhFfO؉s5/8l9jAlr%CYC`ȉ{d{BcH` qIbׄ Qvlݰzj (LMzDI5:x~P5ww'ḮJ\J2l:Sëlΰ>1FBOOQr&4NdL=m^o\=I ِA&(]Ot!2Xek %M?&>< Z*eLJڮEM1^ Z-ZHz ȱ9ҷ;Ѐ95gISY!q4 vD.*[&!JMH!c6_'[kؗZ:R/|pXkId@❧s(Kmr)ogYZ36af9582c548d2076055bf31810eb796cca91647c5679ddf6480b45d5288f9035bcf34ff43e4c2c2 1e4e1acda201b0f4a3686f0ff3ee33bca995f6c4 e08f1dd5ed5e8ecb800fb33707f595dd3971dc54 426ee850389b08f852f814bb2b34efce8a268c8c b9a28a2e60a28af96b9412ddeb3e7c5580161f9c $O HOL-Nonstandard_Analysis-Examples8Oa' :~KpR `#@d(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' :~KpR `#@d(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ŧN+b@fࣇN|mn vu CTڇqA4Z4Qd0=u16ey'Swv́Ky{C2p7 BQsk4(k$ tRsotFmиYA|?i.<h؆{c'@`8dg)6P6!`~b%PK#gtڗrCȄ|'}vo5]v6~9?v3Zj10Kt\|wb5<[HdI79"DuȩTv-uuchd WY_ ѧjpiNg\:L$wE/dq2b'䒾/ne 3wvpa'p1K~VSJ+;1܆V.ys43W5*q`B-QٱgYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodzOa# DHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8[]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&}מ2#K?Lb3늤vI`6)lx 1^g&kME3"xvWqEУmQ (mIZvd$i3f27_eO`JR\0(Ntk%$V2Iq00GE#3J@}mML!Dϩ/G`T~5ʱJOI Gn DWC7(,}RQ~`mX-?xC`[;.rK9]3Op.({}v~E``dd`VLy =h*KF# #м G\6IU*)1j\IT7 5T/`;/0v= 3$uԑt#A/W@J@ B\vMRѢGcuo+/JkD5d"TH_a(Ց1R+`,R3`apdKKZ{*o:pk,Z~g|ס/ˬ;VOOG;EOvIMA]9/twM ϟ-߻m&TWLmn)4CALN C\Nz״ ԡŃy~>K: G-9 8?pzaü*C!\W鹞 qlr\~VmSk /Y )0|>(gHXADw+9,֧e^KΉ*r_8yBuȳɕxO9y(񿤇>(kK<{1&'n:71[@=}?Ъezypu Kx[^Ji DIyנɏP|M:۲E}BMypW{0dNhS5/'ҵS)+NhK>$&.+9 $${7`4 e`įeo=-XVMZ[1^/!:4vԮnjQqGcf%q@%|Abzo\w呙ΣFIHcht8kGQ}F ŴzbKj~ fM.ei&'oLd ^>E8Mw[\U[28)DSSQ ՛[Ӵ(GjE[ 0*m;,"pڢdHwBSVR"(HVgV'sT/q{sOlګ׆JeOF5}%hsT+L"~ӅϨ^,H=oKdBѠ &;&.Olǫk5c5U`<d2Lx' H|O k22I["C~<-: = eo$ ql5_C῍J'(Jc/hΖ*E/55tc&v:N׈&$iA@Vf8jilJ/>r4Zh;qקg,_~1G祺'kO ݣloUӚ2}CZ~2HyQrr8;W'&}|é= bzbefaZFWd'v1@*P0T^s!V*wLEK7.8|Z-7gXQPpdf69juţu*{׈ *G26 ,Nk jiOhq2JIszÚ|ʗ]j~tO9BoK1nUTF<ڙvs{S@"EN;b7 zH<‰aߎn$܏Q?jIy{Q 4Yk!U ǡVx-H;?4zye :ilYU\6/0m7)uWPT7GH;>C.c!y0'Cesd(T 7x|Cd#h٫?Q:V…D૴o(*0 E!sQj9&iCP7N 㗸垸 @*ͮ$嫛X5I<9`R46aYg2[6DNl`nU-j ?"\0}E6iǪfwu|^W31@ GzWN%AwpkBGh0"M{S#"39ׂtyX'dd+KZ@L1O.M1UDCAīѷu;M]꾍. vYOm9{ͷݳYۧng1Z )nH~^|8Vb@00@0W%K&fLgIA>B*+݅T-{ 2 oG]~[,IУ19-O6AJ~ &f&`8b/#^-pD%YЛ!7gVD|\E%e p_t-6 H>FrXe0Gqϫ ̀0I:VBlgvznj&f3i~{7bhhgǥQP 7#Z -bQ]3c:&e5(L=1Ļ ~i+D/a.7G9pczZ(PCjsS\] 8ȴ0>DKOұ'fT)nG?[b_)7PyG1X(%[8"PB\KzdOs~H@:YI|F>ni9-QkU `Ft䚳`\Po1;BSyAA^԰!HœiZ]~,4 yb6(? }%TYe, =袖"~ߦvY,)9ɩsj2JiקTEctJ~JtGW ZvFrvB*Zs<:C-yU g]9}bQ8UwhMjnIE=&K$Yi0 r* #Kp'wJgALK]kQ@RYD΍ &=f{Kt$bJokK&=ia5"ط"֒#f>6&֘[.E #22'ҳ@?m]$p2u.J7ypU(U] jC\b$2ևQ[, xgߕo.Bo"E0"G(_ +ij4g%/'B[S`|_Y"!rsD~L!?Z}G;,!Qd7dӆwܡbIvnbю.^NНs0.,I9.4TEMnZ͡п"r7ݗflh2 H `J+DE& F %o-F.eX3Yͯ$ "$-s=Ь'@@Z:Z kZGV;kЁOT78^nb6 [uq}{3t1|:DUJT[INqb.4ʝF FbDu7 yo!ӵEǭf("Mؼ;ٟB|?'evkiZCͼa"!X2m9o|Sᴠ7ʧU(2rGݜ2j5A,up`M z\O/C`~ o09H'jaxg:{N_ר4KW H߂B % L\ë$~^sY HZƬDs&#>q1͝fmH.xf$?1讶soee\%t\!V*gGHZMCK4oo\୚lP-;#PgK#+q強Z& Bw\adAq6#Tv=j˯NeHP񚒿..PN,`.1!ZHs\OjR,5XK[g,m {R< 7*NJB,='܀\xeS|4ޡlzpH1~FDDTf>'a wMصCF,}O=7r<[+9"Y:X\r ՚ڑ1bM\iY#=K>pS;9[ۡuw%JZ,AlOϫ21?%3+{i|j~~f='+0a] r=%pK)[8|,h7Xӑ[;?, E`h Bs *RB" !"Ӑķ7SE2WraX3˕e|\.TpWN1=aSTh<ofY RΩx!I30H=j MnesNP͊uQ8_e`( lR4^)!\7$`U &x.H@έRI#2 tT%Zabk>J[bُ$=-]fSE1D%f]ҫr:WYyH}7%td-!9jR'|^=K`ptjt%,OPYZƧ/Ȟ+im![ ٻ@Z8/ps1 նYG^R%GUfU&#b f-_=+,Bʨ9XSSΖ: D/Wp!}mmqcٚ  Uo!)( 6BqHkD̽wA PbfG} T7)IPNߩ~w#_~C#Y(~UHnEl&ym_xO6gD25T l:vۯS-~`DBJ34B&Uy)Ӓ q=@ʤUyazxN&5r!% opPQBU^'r3˷<柍_* zV&cOT XŽ$^Mb䘑5V.?4؋vxzf4PAyfOD*$KV>*VkNUOf[+(UBc%,N%_*˸2N"2ZS˨uz}!3 Ѣ8'._~ڏjD9|/ay&oXJ ;&&7Ld jhBխF8Q-cdΏ`hwؐӖּ]t1M;,+0,%d KV&SO|ʱt'`w;j@W5FsXO,(lUfy K^|I氇ݱMoAAǮfoYLJr0U޻4u`ܿgz>oEx&(½[I]Kv Ǝo17\m` ۓ.*؁W;:sEsyڣ8`FlC}c]i(x~qC*|Jiޞ?2 \ P[ů)[^d"/c4(w1z4u^:0iTض'Jq1[ OR֤R2Ƒ b{ԓJk.:-f]gFHLƯ4ty Z^FȦ' ,?Ó?ajپx̾)~:8Im]h0@j|@/UtqJB P'Y{~CbXO/I;;TQXL¬Yudž<\tQ՛~ߝ##Ki*W&sVw2]x6I$ܤB鸲4@C_H9+|..]e<Hb2fv}\NoI^3/C'R |TWs=/ \Vd-*X,WR՟TwXda) 4pCu˃L}`"єXP\F#d ۟C9}7ܶ!قž͙9}_`4;;;wNԁ݂☿3 yhM; RAB⌗T[Hjλx!{%"!uiCK?]ؼ>sTz] 9GUZ'} zSón1a8GD6& ;6yl^7tX Vo)՝ؔJD1SJYGdRMF (s_|}2!+H wї.R^Wm㛂-k>T0`m'SGsod/.PFML~ߒzktxG(BCt͖ |KȠsWY)~@{նQ@ދ1'*% kjbzÔOa0) %4~]v"՗taY}*^؊S `s yӋWd^a8@u2PiF+5.yE="5Hi A8x駌5_R)I>=х\oP@`bӥс_Mbh}٧X`,!Xjzqmy-n֐(c-f8if]wW6 cgmuGhqzy8M5,a5h KrֿnmI<Ӯ%9#йf2"u.]3#9 9t/<+L)}_ן0sJ]<,M<}Z!|Q|M z}oO =xMI 1㋫=I:@" =HB(zOtonְHʼVワެGԼ{2F }L .'Aͩ4yF0yA#:MvNٹ;[˄ iWsݫ?ؼP<.ɂD=?4(~Yz#$&htDbګrtv/TAGhvUsB݄84i7k#rP>NIE+ (*&7fCO5NYFdUx[ d!d}6Z*[q M.چL_ zL/hV2bF\.A{?eT:,=o\p! .ȧmYj bRqXY6(_pץ< w\gAAg|)hZB4_--׳2;8BbTC4.Z`?qJZ&ݠ_<NJE\tn#X7CvS c;*3u\G0j2c$/ؘ>mHsI$N`uw "W\BKRĜj+ !nn4}-6ʢUzrƅx z8g-ZT׻V&$o&}j]?^|cq2˼14%j[|?xi"ըG.zŵ*t8ڙ6p#Cǂ1P1Z{DjhcI=gJ,[eN+qTo&0Q&@7QS:s,5r/@,2N'*4(}h%/?O Ё(+*W#JԴđ<[7A.R<.4/;|?SjZE8?csQd}Uy #>Y!b:3JȗP@6ʃPkOT8Dm`tMch[:~$uy}]AL-6$%@1ĖYɮL@bIy¨Z#:NrED~,e٨i!EN j#,~ :O#ϵ5~Ǜp(kךY;=5.=%GFۥF"k5**$=g>uF!oL/5cv' k"83JC0TR9zם: 3Tʞ{]E~[ (ΠC ;ʚǮ^J.9*m0E[YVnRkK(朇s_uЄME}knIVW!5~[+A :]d^RqQlW[0Y:?d!P0g0w8u>}jƺ;C }__QB'$U0fK $yW،WLi3^S .g烗hM[ѠGlqY6XV(!>v-,<@ۯjkQԂT7b0 pbPon%ޮUNj&6SJ4Y]! 57v-~<`A%>U-I0r"b\<5}כ9ln n$H_fOܖc:`ď8L)u Il1}K=M|5 WLl\$bz:٣jў/n9~؀):ZLŽ*lukܹzyc}z"rmc@%f:& iђ:{X>,~Y<*t꤯Bn@6ST\xi,oڭn0og-)۠HP_;k=@k w m4VMτҟi%EK?!ѼyɡIP{+[kcܐD N.$Ф{rglԽ"q6 n{ce2 c_|s9,omBgYZ GGd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\k:' ZGm#/ʩE%8fjL:t,V@gO|F>P#c[qf'8BI/ *4yx[|2 B0al%اWdg) HQ;Ai;_٣A~k>jw q(8ƿ&稇GmwCBߔ-1bkҥIF$N ܴlEbS@\4oD`Td4erwas.?5 ^L *3ekݔg8;VaG<&hSEƨkx; i3^*lUK/髦*Z~.6WA*~`(KEazxT@LRrVdKujCȳ JgYZ? 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 -Yߌac'>2fm#I>NjW:RkYcfg 9Rn15+%'M7Ucd u [RDT+2. !>ER{pl؆Ӣ<1?ď7U`BFFT@[ 1_|plES͹ :.Wfk?]-$0()}=Zac-j,A͒,JJ>lUP+Wu!YEV\in&VQ\*$fYPv2}^b7G+ rp4fThQf:>;;0Os^2<d: 1`WQA%C*>G XTFc[!&(s* ]$WkHG<xAXW$pZ)ٓ够v@{F3kZǐ3s D,:$DJuRT;&_fQ&.ul֍[̶ZhDaGARzTDꚄa`Y> &;˱ЩPCJ&N:^QHcM5|rЅ^0ܻ[HmhU }lJ]ͧުkT%..KEd2Ю-bH ۅ<ݸf( <*ӍU0OV/X8P,$ūg)œ!g;$t/5R"W|t.LRx!~S mⰄL\%kL}hkR ي!RK^ K t6@`;LG2,َ{ScEZ(AZ8STLQ%I#m!L.rׯiޔYA6P>:YWyIB$ڮF9 D9x⠂`ghdLLG\ٻ6 =H^\^{A)W2Kb {S7f^ySl.q/ks〓 P 7#ǚ;_;KQB/BMD2$`e´FκwimŦh;3JD/쿱et,_֗Zw&&DQ豦_w(]φ-}B,"Da,E @̀PI Ċl*jE!urMС:R}zAS\