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.830cpu=3.954gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p*7xY2o?Ա~*,yG?j\*xӗYoIuH7$*\@%jLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.879cpu=1.769gc=0.000 :uK=uD 7(50#kkxx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:PE91_#.FY;;rAвPWlx]8Map0tAjj*(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' D 7(50#kkxx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:PE91_#.FY;;rAвPWlx]8Map0tAjj*(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ŧyLk\&l-Ev>!8/zt܌)/g$}jʭWӶp]A7c;)1|k`bgoVqNW 8BFffnZ5 yQE}}d2d|"vK @ӣ!qxlLFGcf?2CK4Jَ;k /4@##^Zj^B, 6} *f֧[NU4"g9\79'Աgٸ , Ena}.b{૙aLՔ]jCSF!Kyi-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# THOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8b]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫=7.F*n]o*#)Ӯ͚Լ*ahIubì~iq ^!b{KV|GIG݆]%]y4/Ȣ(ݴ1=DK3Fshp [+b-4Ds\Pf֒ >(CqK ^M܄e  XO^h0˔xnZ~!*q0'C&ObDQv,ȟd-QÙ˽ FSxwMboBLQD@Hޕ.:hJ޼L9>gZpy܄Cf:'zp/-LfnH ]oTY?Fk]:{0uRqp/TU0pf*zsAi{:4gT ΢O#þXl5M76$Ⱦk  1]˶]pu USJppM]*85, &dB {Ne̪3Aî&sgSR_"ru?Z |qrZWwuE[*R XEN{|kXԊm;Q#5I]r{L9,73 YǗ 7h Yig.ZjZN =sўP9UwS?SJ)G 'VlWFCH@ q ݖθ)\>Fpi1Ig5qzxϼ3\=2]/\$RR A'XhdSUf3z0xj{0{=(:oH6c.gYZV裚α7)'5A]k.hFfUX}H 9'hk+JVQFδ$UA%\;6ڑ=M08vK #j@&կx*EŬ:FW5gDmF&7 .6ѫ5:aA?+E?bǛ.n}6}BZ 'Y LøM8\In_wz6,þ?}7/RqJV&_N++ӓō,vtt(XXg4 OF\!4ji𤐫19XAZBeSQSWntTߜmjݏfBCb2aṳ'5m7{ҍaMʲCUv11tIUM): :SF9E cBǔl# p=A23$)CVe;req5Qch4 @֨8z#{%D2|CYяc#JZP%EK 7By^ht~cTa#kJ3^X&^۷fS4l8N*:rBO9E䕁Ǵp#No "jع c.]LxTb.$FbOՅG{V%MCڟ^&*wq=1NB$p%QqGa^ZhSәMJ)lF;.޵ so 2`1MЭǑ[[\W5:roL*g+rj浡?n?Ox^3XWy;򍇡?rz 9]s7|h6ɸ1ۿ[+  h0/a>Ǎ7;6zA@f3v Glɷ+hLvXp $)~K|;ЉWAmV~`/yY|oXU<B83+H}ǡa y-Ta!C/ך4FRM,:FߊCf`B4OD_Ssxsmia}yy>w/]R^?qmŃ\'`("hs4Fzm#wHjiR{ʞYYŽ͵͚Zn)BZSzvY&6eIN:ZTܡ[c=dp[!%Z]|mYICF3oܻq4.#BJ2*OcM޾0*5ĺe|] f8=d 9У\LQÔvAoC? hoT/ $ǦȧVX5& ߋof&nϳO@D;X\pZԘz&\8hájfC_!I0G5 >W֑`C8>cƆٝ}Xnۅ#[n_0:1i6APU :vGtT# ٷ[&;FO*9nTHɮW"B6žik_Nuy"z|n⼪STS -]$Kj22e ,pgz _5 0ImS"-U 3q7MX,1Q,T=$$ޙY((6>,RTß!۱ e++">3kjm\{]=ZlR7g &RVt֖ܷ ]i{zRE[re ayQ2TɕSQ0?ۺSc!mAٝsμW&۹ݘq"n܍8kVFNh#s;qcH$2JxUAzf.GVmW&z(LCH"7iwa̲%I*Zے%WEI50"&rr"Z#tтIšpqP̕w/$O){LJhRo|\ ϼIоssryDԘ05fU)]~Y "+oBVYRkyz[*(߬R ݔ"F?b Jt1Dw/WgvTHqȸaGp|ET8]uG3E.lh<(x6 clbj whH]E 16~e mu>-2ʃ7ddcqwOGu' 2A^;!7O>{J=KoDŽ8aIiE1~粩ϓL7|\C_p]Of$w`o"X@FEul;g߃1Ɏni= ^V 4;\|T]ԿjvFF؉fh[ z(V<ӽ{33ּ ks{\0<~dI}1K)z؁dѼ .11 @]O}X:<22&g bpngh*t%$BWW]7biHk:*U Uuաdl,fZ]**NڼdJcr)"SPLK835S݌ɮx]:|~J^)hH9 of3LnMËE SIcൔJ7[8ݲ;[I@p۴V{@1G.Wƹ剏 k8ޕU\w'{ޫq5)fHyo՚O!xsxC"?h(r=E?oªJ^ǃu,N0p-eu{ͦehϵKPn5]Yh"f.|ǡe h(T*' `M\&׃U\Bu>nz$S~k_e$H0@B,s,nSǷM*>bBnyI6xdq4Mm tvbKGS՗xD R V*j}2y9PҧY aLp Łf 6]RCEb5 RQDž@^HwDD1& (_H :Ev85 =W5'sx@M}/fG~1hZ 7<7cs~.- Al4seFS%3 @4#&zfٚO]9(ٲP Nnâf?]1 ΝX`l.xQNST`J<~EؗQ`[)UL9߶ [+]F Ӂ5*<ι,-Q@ݳ\gPQ݌!yZٸg^sC 1LSڙ?ŸTUx\\GgqZ) s&2QðSPC;!,|n <8~jTy|,#5Jc&9$Jh@ϐ`ԭ55w, 6 jo$٧Qg 9D ds[ƣZ*s&pz}}&mˎn2UK4n>wRû"B '1Y@BܯAte[tYNݝ"o=~i01Ն4&70l8BkBh+S g tSLaQ͎SD˶yL씧k>&|W;#N- &%X7WLZ 8sdNVcuI<ǩ_̄ )C\eےw^e&xuL,$ dju?X{X!Yvg1XpC!;7Fr7NZY/(9+r<QwNde;!}8hkrW;96oBUW4b@唣lpymɆ8UBШ|?O VŚ2Deq5%+S0mt*ٿ]"ԋ`ݲp]A_=ckiOKML?OeK6Sc`~=b{ (G:347;0.rA*R{`~|EFϷ D,ڏlhݑ!SŘL*r쿅VF4`y#SDp)HZK᳥ylSyC"]^x ?<' G샬Y@Vl* 7~3~E-A$MFңb2{a'g7ґa,w;" oh97$pgbN|c=>&+_#W#ΩsSZVxG?'_^Oum/7AbдZ+Y#A܌O܆y &U[&(`7TV< P?]j5!ﳩ5f4Q1[xSPTwd}#y 6SN*\({`k/q%נw]{kF(D!L ˩ OP \wc*If5H Yw+ 7p1ku$"8Bnn'|Z)2=}_&W iWsnAHaTǦ@C^jďG&b1ܤ$ܡ>(m֓߳K$tz2(oP3Gփk*㧀|Z!=b1kX ]+Z6Ncj>1ҷ? Bٽ}U{I4 U̵lͮ{qm<9B#,E˫iH+(crp2!P!}h)Gj;pZ5YAjIpM9+`F܀8Fq>mZP>sFC*kHQ<]iF }S#f;OAC2 %7vށ* Jks*.o)/wJsVŒF1uoO~vRU63楌"f2Qt-7Ac}qw _ 4Ncu 9e,k梻a8`hW^oI)̫_.ae \U1Dpu9}RߘpMP$ :aIu 0:Y ACi򕔽ܮt'9[9Uot[tBy{[c) |*lߋ.p-s(.z#}XN([gN7+엏G$̈́.!&b>HD_S q4EAM`^2rols/eplD" #<mdhĽA1zv~Zϱ,l07,/\:ys|82+`Z :C!WR1)[+YG}d3a: fZ-õr_Et~2R' LY8Cti) L85VIqL0BtvMe RLqtƲO&kP. Ux :H^q%!ߵٚ<: Qzj8x@z}I > dSYc(U)IAf.tpe6G왫F)WU]@`f͢A Ρ5 ZU<`R4w† ٕڸKer,2ԩ11aEM#҆}vY [>ʹu19]T3ZT_D'c " R *"$I137`Z0:r#{ ]{ds]RQsuX1r!MC Q,D:q2fa z9,thLM$5ZPG W 2L@L\)?~|>ʠL:2;c?=z W9r嶟PfzFm- ߰n ۣ.g$US]U)@#НgB%= #zJ vܞ3AmjوJHFN ÌQQr4p.@m ryFZ7Zm Ono¡JA`ڦfv*V}ItQĚW`0u?JfQ%Ph-![Zjd?Ґ3*`٠'v0Mo»:=!]T-bdƖR" 4Q2^Gqj7:"܋kC(q)FȊ>oQNd](Wot:m$nRM14Md(f'G9#w:-Pb#xŧ}(o+$_?jXx.a 2ژx-=AwwmZiO7>Elɬ~r 8`@,?d.% V'{|d51"IyH9.|ڿkOw4ҧOBL,2E5{5㙯%E4 mA:u"IYfn=H8Kݱ57ͮiCbSREOML[.СJ'WOT 0Ǽ]( ؙȲS+|. N޴޹LԒBdߴ|6a˯hEGAMX{ߞ&VHQh3^%h04mGM}<{lGpUJ#!P޸F| +Lz ,9QV{^NѠow*ڗ"3zap^J'EFT9 G|ļRު%kLyt v#wC(2թYI4syD99ȄIP,%⊁o', sB-PLJ",I`V.K?la-M9u`Ljц'UK'~VT˕r[p wC>A.MqI5ԟ$hhwZ̖̔0X `=) H}'0h[Wu(>vZ|N vx_Ȅv58vV$?:.S;Y`rÁ}pSRe=(˶H*85=5^H}4f 3B¼wZj2#MTp,/&)Y停§@{#'dVE.l2ăKv']r,; zk1&ޓɇ_k  :+x'ekz@a 8/z)γe#Wj΅#ev6,FT Wt6r}LMZZ5 <EQ)g$KA[jtt2nmo0BD;K_k2Mt/p/G14Xr@/ҝEWOX}ղF IW+Ȫ%-2!NnYcMe oR]MD_EPГZ{Ù,W[{p^] ϐJỉ6]JE9Yy3.} Pp40wl\=힕l/-Is*;~nۃ*no8ZBhJ!Ȣdv2gf8ZaxVP廊ͳIj[# 89@;*"V&=V %g ߨ?K 6)9#|J|, @к/Me(0t{NOҮ 잇+lbU0hRkYͽX ߑ6;Z 5fcY1ѹ.$rVK ب !S=6kmwaEOr-NcIw:P;C H"'ݨ]Kh,`1~]b['l @)Y]3[ˌAGns7=rVSm5b/9{x☿4hOgk]гq&EUhvOY¬{K4˱svD]ʇ]fxk[R`ۯrm{WpArmzufh1ϔi!7C2{V3^wL>5MF\SEx,ХTA141 ~iOz"n I:=MSBpb`Oo94cth->l~f?Zw~ҫWrB1K]ӽ|犲L[zv>%,9ʃG0|ٗd P7⸠\ *tΘIz%7vb#0iSv\' I8NPMyn$}=oX`)>gL-)k7 `­ DBO#x"Qp.*Aatd_kvMdtP?k ȁD@˗ ָk)()~hxvNřGa`走XyE!d-ѬxOC$E%,ʢ Z3jI@-gDzY0lw9`rFoY7mY;v=0T,7'n:o"P:w`JXS4LM2vwC^گ(F~aSp)^8;AҺGF٬GrAP5+Mvs_$p9xٛtΡva)ks}(JM?t1ON 9!\3hҩ9^;AF,Pz8`rz5pgd ~^?_]-W;M@%xN/Ɖ Z ~Hzcy#f$ رVu ? 8XlRgT}(~4DvwΦ((f! MMM <8riG"ܓlTf⦕d6/vydʔ\w3Bl*a|RfB<*0OC */a\9<ܖdOf{<+jaRiB`;id!&ekYR.iø>GtpI[ Z.B$= xQHU֓h|pubcw}d>Wl? ANt.52WvqcxpʞFC!#Juʇ ¶Œ$.p{zǽ-KIѶDiܮiy,w,Ø=@3iȲ*!zPyq ^f`cc $mYzZ g_`h%5)0"a/YZj 1H'2}x&(o l1ٝM R&džtq3x=o&gYZ CCd Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\ `Ǒ 0`FD vsEYw' Ӆ,(("@Nn$Z"cҐ!^Ke46M%h.~ 7ayvZP\',Dv| 8gYZC Oa# THOL-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[8UK%R @P+Wb:P#S:ވ0;Y,xσܻf}Tk{zurWy %j@;rgD&mxZu2m2Az;цq 5]˖ Q4Cx.b`:} q>fښ)-@9O#؂=QLdl=P:IM #pF,f:D_A4{" F.lpLⰐ2~$wX@:L߷…Xa\u@5Fw*F^Pף!L} \]9dV $aMũarvkHsFaaAঃ̢nVNjge%?W牼V(K'6' J~qպ2:HTw; Ҿ&,$}d&~:tsE14J{w$:3I9p7;Y-Ƞ8ǍX,.34K.<;R{S1IDXB`ٷ^۵cxI Svmkʬ ;/tX{[Ķku`o mltjf%FRg:q/Rx4MRV^frZAy_cB.] v7#3#GˊE@ZÕ3#gX pWҜ)+#!uc y$75U'AeݙqVeC/8m`'0l밗K؇FF!Du^WXRsw1 4R_gdUD@vo5G` ^z%PA-!%% zm_:e/z1cA`5ŹUΞv%C vd76r`XZ%TNsiyt C9b"7t<or,6_[E֠2$R8A7j ~A EWUBQ2+$0ꝡ IK՜ _\$"h*l/iEZp=O;1϶fSQ?V) Χ7ۙ{H ]%yz7dxHb2{'Cj]4 3\\f5VFdX83\L!t+FmvQ֮kx@$U}wEHނ]j<\ r8cS%yJEӵ!35L [[EG v3S{(͏|zAEjE8ex88pWεPZu79gAd 7A*Sk|;lYpU)|GP@ލ;Şkx;R6- pUQ2GiwOhҩi\c9gD^bUIS۝iZzx{JWb :*X}A<19|>{(~73S36dHRJ;E>wj, s8мR*9B6WdD"~ԑt