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  _Op<<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.830cpu=3.827gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p&PͨH"^?8 mnhv"4 2mrL(IWgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.854cpu=1.651gc=0.000d݂ww_,}YZ7zXZִF! V]ŗXi%Vqe{$uuГGREjnq}54,( ūkh2x)2TX XGAպtX@Y8&b0S؀eq;Rf)כVx#íSy)τJ\^am,"}Ƴ AWP]Å|Ԁ&yAK~^PFY݂/]=>f]ZUyXDHM}@>pȦ 6Bԡ[U%uU ͠_䄨3 Zyۘ5H3ؾ!f0x.ZQ6/ n\QQ(QtL~_+1 WT1|FoEhWL2OTLnutK9MzՔrVb#L%tNwV.BN}9m=|vJ}j!dGa`A NqEbW4k@`pXx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B fF [1 '0!̷T}$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' vJ}j!dGa`A NqEbW4k@`pXx=gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! ,]a0{rf9/ Z|9afY혐jH99#v$9M +b%:B fF [1 '0!̷T}$+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ŧQ C5叱u+EJWq`U6BuΟWzxgGNﶘ~gA"ݔ=]b4wX:-B눆V\ XQ|~`|%X0fw+' atEF$c?\7o蕸큻 agVidȐIxs<0o2*a>/)Xm\AHUfjNr>V5/ybEGgr$HC۞DJ Uq4d4^btXІb#8'[*.Q M@.*k2mc#iߺociIE9axzVIx/1#$VexC=;ŝDt"vN0}0u،h&Kwb~3fIs!J7ڇ{2/%⇟8 ~xԫ@@;L ^i՘mC@" :"T^e׷rs;v,'[Y](aoC.EiVm ׋p` 䵋+(x*oʤ(r6 8|ixsv+f-2zǜ6Ar"]I%vZLL XP}U*-{<̠._E[A#eEyB6͉o`iٷ{+&p< A\l1KH2{??!T%ȿGT $ ZpD(d$q*Tm#P&uRx`E2R!ꆊ@FIĚz1W$;n8Tj!MmwJlŖ2Ho (uBo>۬o{o:g2àLTX,φsNT.ȫ۾2f yjq_c\'AW3jCQk@8`nݐqd! lT!?Y}@Uk O^TܔSf<('  5DkI:&M^,|"6a)0ya<혛_f0r#R\#*HVRjg2mu.h]PHٔ.S)I=t ˵p8OHA/z^ǩrt~fH3\f, [h*)'Lӛ{ WoITu2+6.υgYZ[3 PH`z< _9M;R^v3sJU² ; n};O}td%RGٙXСlϡDN ?ÖAH@p`tkNY%3zx;GsGe{h'}B%"`')1Czb?e z/ҢUjyNO$vY}4ʥ>׭L?sTGblOӆH|Jʭ]j=u!do `.lH7\XWYr^#P؉2PX JԮ,M=t7âLx9e"Cu.HfHFG1~mC3>{vȴIHOw*zdCrbYeT5c݆lmՙ lB!_IҳuUO =iŅ5vFPCeL%69EW n\Ϳx#軬2hAV@bT?饮%ROٯTqN#)9܉dёj|ǟ"|0s 6kT>߷`2/)Td)zTrrBUIDl!#Tȇ*)&6>[UЃړ7M[4/7\ C1i{rp{ @ KG`Yލ|j뷠#ʶtԜ#@aԼ?1o\~$E^l mob*EEepV;4_91$n!;4FR|.A8GnkѦv= JNcT{[f.ݮ5YQ3}G|U" 8b5-1ٓҾ$GKcqn(HY fSg,i:Y)9?*|Hj,8?=$#ņ^f_߶Ɠ}q60WSMU"K JS6#7s?S:k|fG83tz6;$c-t Î-ogUB4kd.72ҞI[0/CK񣰻H=BI[xI$hh&3r[T/QV%G+LhE7=g_!9{M>[ӂŐ=#~*;g?]Le8S{ΒMvvt|Q{Oh#npۼ!waIoxƌR/h?Ii=4ZKm7. eG-SGȶ9In5aEIX1Ņ$w|dr&"5XY1 *atjq=`hٸ?@V 4l뼩5H4gW^ Ѕ=5z.Nak!|]%|R"B&╒yC{͢zo|4<;8.,:Qؒ_:Z(M*pY=P "J zV]\`CjF-_Yb%SOR-.',QO{MyԵk_B⢙~ 1/= `=^Dvf#X8xstVmpA<VJugŤowZWFK_,B'e8nRdB :Y/?H 87-AvI?3P'[dg7Bī{2>uPuwJ:A41W!~K)ca0lͰhߟ|5E Abb5Sr)_aǤ*ڕ^ڏV%ڧ%7ż:GWhL̥&X0M trFd/"SA6ai ok$ͦb  &픓 d݀ȱi"5ԃ \TfcÿplAѠ^ BBݨǦykc}ZQ2ݽԠ!'_k>A}LrjލșlƤGоj GO)AYץoNw AvM @5sA{&+jx~ZlU.nrE Vnʲ7ch ~ٓ8Ij~X߱27rBy^W&xfԏ`` š7QTM(h^W3S?HP R@_Yv0룝\8̵MH8vH0N0C)7 l"Ã[F/P ::GwP2sne cgmzY#(}TH|y1Wi)b RC+vKtfi Џ=ͧ¿+9g{5DVeeU-4ǟz/qYikqCW Ddn Ĕxʐ@cP,B}.YoFto|j>E Hqn꼛Tar* 'd /sZbFbmQu0{GjZZ`gGH.*n鏓ss|(9\_I^J;NFש秽釬mc˥ZW`Mč:h4]knkJmx>G[5 8LK \0hW҉݁fhRݙ(aۯO?ˌUpzEuHW rl{}M|≆û -8jǐxŐJ94R>&b&ݳvWݍoskD;_^tHmԲj -&[*SDO  ӡWzQ}75H74ۡwzUY"!ɫk 7emPxs6یZ681):8&|&'4B#S੤,ЭQ%.MQNCtDE0>_ZKaQ5 1}ftxsM@,l;Vݠ( Syv2D$sWgVc7ĝ|G:(ʆv3 ,k|ށ?SjyI~02TjR,lgD쬉?r?Ur ;=Xw*!`6L.7kUxI>u _}e|)RF˹6oRw@^rAAA$Jz<0Ȧ*V[ HMmDo+s 9~ s KRi-cV9TTv:M8@xZ2]*}%W:_&Db"Z5ށ8[ (߲S+Ϯ'mNy?ݰQp^'AWDŪ \yO>3V$l@hd?%:]Zk4sq[vyT`; '(зսBRb2INR 3wh֖O钝QA]t}-<;<99xX[1\MklkV/ؗ((J\NKֲ=J;ɫ/o4w*mTٍU_hQInS)WvVmWk8u>E#0+j=rB3xJ|MJ)J 'Y.TDwѺ81y뛤IkqG$ ; t,27;oNL̟I qВPx w%UX ",_@ln:Wa Ϳo7 :}l ֗^i$xq2 _ 9ҳڦ눹"+`WaM ,L:׿S:@,h oA8f+Ul֮ϲܴe&:M%u61 J,Y^ӆOsxKcV!\!/`\#qaSF!27,6zCq,zy~ Abr&apf=0x_hQ"gQnIC|PvBjm!luN|)mYVu p,onq4B^"^1OB xgGXt%KV +u/cIlvрFt4d"-vU525G)] _L PpBXd;4'*G7KBIg+h5oa!%ìk0 \/f燪&^5#<c:x~zs^c@YψT喉=ꔲ? e{m5yOp&ֆ&l56c4dN3A+ پ|_FVThsSLamf0HY Tmcb86f 9L:;2FsɧEr%IKOJ*6ÔRW^U/V _ZZ4#U[EKc3,*D|JOXW%züCKpglD,@H~*UoE ٝ'fof˟ wzY.3:xd^~${ф.$UO{W@ ?w(!r,v @K)FqIZ|fer6t.iZ?_Y2*ޟ4/6IHTdk͜سlJ1X˲NlU"\OLrGiڵ6~x t=-}"=nb휉0yDr@\LJ wXO#U?, ?E_yj#%ժ|ئ)zTF>_𹵏_7}wʭ 7[2G ܦˆZzl$W=8 Ln6VlVuMך6yĹt.LR>& ցQ쩺QP¼+gHwāsQ3+̑2FhQ9V:u(RN/-Ek`4m&]]3 6F|(T̟5i ŷ zZ癠oy+)ֿ 4GzdzS/5Iz!Kf.qs5>rC%\Sۊc؈w˕+8t'w楟Vy+XZ \h"lMupB̀/$Ѐ||4pтo}dI*KaJB ?[!DO7Mu}[`n5#M9?!P){?z'/ ש\gxdY;" |l00\^4@V@;f G|Jz|)^F=)Lt=ه1Uڜz@L+r 6tL$eZ[FF[/$Un並:wr H}LKXS=ym BJ.yC̫1S:˷'eǯs\CĻK$#E7[0{]bHdӊA}Kc="G4k&XJ! OGAuU䎫0ǹʺ(y TwBbGȐi4!I"]EpR݄ \ɼ1}\ASo#fkyepvP;lPih0vpž1|U|rMoԞRϳ8g&/?PRudt<#.Fqn"4SU|Rjk];\~@0H,);q;,RpEZmfM)=eqzCG|yQw^?zgSy%fM=CY6ˇ |?!X\ z.*v7GS"Q5H7wmO,|#㻢8.]aٹsR m'K(d˼Qr .Y}/n:E|KPgpJJ۝}PSzH1#c_@ӨRpGv3/l/-$b,U:J{V*œvc$eEv+rkUy>2 sY ѐzR87\sW,omp-"}I3ʴ^#NtƉ=rRX '9DQV%)ڪn!=*5{ /QL3c /U2O\M8Jpd։y@ysE E .ir&e. R;;/crcJUmkɺ/G}C .#FnUb(.١&mYv6akMtj7m7$ҹ65ƕ5ΦYͥWۤ,DSh.,}X̹\loPݙ>g`˶3X0IZmJ'τpֽU;*hsoX,-GCCB3^ne)&{ZҶ.}($4Òe,LINEQ)3Gr_I%) {p7"Yթ<,aNR5?;6zog:39Ė]K#:ʟM7m?]ulLü{]e68PPqNE"UJ,IҤwFp8k\juÔ,3zR/fkY.'Z7Oo`w ^Fnmn[98t\8c>x(Zd# uֿO901=VUΌczYS'n zA@p,iqhKd 2&Y:~c+-5[S72ӮFhYe0ݳt@ɶ%ݒzHBd_ZO|s؀z'9Qn UWI0ֺD9;#/wxrdl~LP2N$n6΍(p{i>l镧Nrcxt(- RM94D"<䍚bA~2u!RdԶgS8OlcF}=+M Hvnf<ԭ(8֞E5/ΜNf;OߏYiz> ߾;Y/@r}dmʮS5Y#Бsa?BI q\۟?kOLu{%%TE#c 3oFiOXl-~ֳtǦFN\HeN1Vfύjj<ۢWހz$PHPW=' Î.zR5Az^$tN,re(N+4]iyu05b-ƛD B8m=^v 5pr0iSh?@&?.>yU W2,A1)WJd{3G[RdL"K^Q#狶7/ wn{|rv+P0;WP7LHZ?ʺVToX y T<gd*6o8V'Dr} &zHM6!X6Gg؜n*N$*w e),T Xj"DJkшtxĹZ7 w L'- dwusχph :[~xl  i^3ނK)V(p;+Wζ+7 xlnәCv,*9zbFزŘ1O΅DN%kpk?b**hROI2I1EĿi_[=(N]EfU^Vۤi(iӬ@i_w6QёBK8#u{r.C}w3 [%[S䅩qxlEn,[T; ;q@Xr">&#?1\J)Kw_9^<P;W9drٝ^lu3a`i01Hn"ׁcEoZ%*jb@DWjsG , wCDșye[Ez6hշ1> Z}a5TqM)'|CLΰNpqZ$Z=F`'NWI塴_qUϐSkdx纪tVw%d̄"'DZXdj% eŎT >P7]#jq/UI#O:kS8N8dNI(;yi_\{[T$vOHPo; s2',|F=UR 3Qqc5}'u q8[Badke V5(CDFsIbR{Bo&gYZ ??h Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\iDUyaߍ2MO`IR"mC T=okyj4'X@F-UzӬ^; Y`fz%{pl/TyNAE,[G&r~kK\+O-&)Pl-{iN%d!6]qdȓW^XEFR.uS2= (ZO?cAտ D(i\S6ҫNa CIci[(üG`;;&1$l a>L+W ߸x=pȄ4&& O*-0]Wjf]5iuJ{S@C#Rgz7]-pf]S(I?G?oTYPa6 ٢bujD@I4xh r/ ZtgYZC 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 LF-l. 1@?.a@u썑g6C7@h'\LY8dQ7 Kdݾ QVø_XRyoֵs^- nh3,[Y HkEKOc"o6IEV;WOc&U[ -j\vWաoj‘ѫ{[x=I-|@Bq!v N@TnD,uYOĜ$*7x};~,tuy-$fUe2IW_XS==#j-eSW1F(. 3 MgxS{Xon1d5HjGB7S83v )S;jnZbD- R%aBe:UOVPHZǕM8F]TD@P~^Nmih3Yf7ҌCpI\/NcPjsO#igȔswqHpV>PTj6x 6m;dXvdhu)(}V(C_ WQe!Ҟ7L$&W,8Ϯ154荎鴫e3̶@?|lE16򱩊lTAVyl57)Pmh^HjWXp9ⷡ^sM@yRW7KC)lCh @%+u.G6*"5rd6_obUK^$숿yUvqz}}x昭p!\_[5ʧX:T9&nE =F8F伹.(,^OXy& S}\AHShLq!bbCS^̥z|2!R1PJ]Ϝ'1rb8e!&U(Bm`PIC5 tFfW |mY54M>i O7|BwAnaֲ@ $jB?JMs68x7un7`YO׺ں. 웙Hdބi7*!EqE|?p|!h><`6T#!Ý'N3gu(6Đġ\R0?Oޗu2gDz$pJjp$YM!Cy9Z ]溯`V=MW{;jgy[&iͱrҧɡ1 La}<OX-6!5fʢ̙! x۸]%Ȑwq n-gzy=tz?Yf() HCÐe#\>6@.VOJb= >kA6X<)'f=MS>D6wpɦrF S. ̼@t]tV.;`616T7 PxW L