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.828cpu=3.856gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='p"v* WG"5cs3Rp2>PhLQkG,X?T{eֵ;2n@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.847cpu=1.657gc=0.000τ6w_,}YZ7zXZִF! ]ŗXi%`LfXRN;ȵč$]`nRC\/cg ҋ>'jC4)bNg:)ͿKYj;i.u $J=CI"柜UCZ0$ލɰ ^kVJYAIgp'k1j+xzTFxp>mv683/Eٞ+gW# ]3ao+IM@ϫY47mm~8wfY¦;b{`]6^ T͝,xGl{^C>*MLwhZ& tdGوP0=2Z`$w--HTA%?JPg_6;:^H!0ڹ龊h. *p@VޗY*] 1qOA Q{\t1(_\gYZb086e8d10b6ab6b5f6fe8220bf0de051ae4f246b2b6e830346a776cafac292932ffa567cce45fa5e d413af43dd20817cd93b29090cb02323a6fe03b6 834695d17e258264dcd78801ea238262a4e2215b e7da43562c80cb594e046d20c58fbb719cf89b7c a6d68207ad8579189fb19b4f3da3a28b02a4e9df $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ŧqG3*a/iێE{tYWqj=4*f',ۚ*/ZXTN_i>0Zà0RWE.3U$J_\nb$YjN6.ݶ' >J*k=NC3Y/\X0ag$B6q_~y̸WܔԀPj-lN 8_H&Ͳo 0vwz-~1 c[->Zffz /qj ݱ$`:Ʋ])2!-@g\J]2:`a5gCSB<&u,\M?d?G Tw$?F)LV]!sr ( &ՉTOC2~|RЄ}LqYyt .p62՗l(1ygj㿧-E*!$}\Z:; fbIztS `r t6F5I}6k Yc ٩oM5b29ԑ.F2X|K[̔-~~pń \6tnS$nǝ7Hxcj?^VkkªtV'n<* 07ep7lD+ Lg,^+y¬ (QE0G8ZۡժY8t=sz<^ɏt1/suHr6ec*2D=K7WV HOd#mԌ вMBF^[ƫ‘W))jX:5}P1U|-.GB \ zKP^n'\tf)AJn1-gYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute method~Oa# LHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF! 8`]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫&s }W.  +ZJkO%T9$șiԚ >U)nxLnpO0p|FG΢09%+Q;RBRFٝU_>Zy]yU ĒHEҪ+N <ܹv#"X>-q}M塕IrZ`Xd*55G̣NHw1o}d]9vԟ!(t( '_mL}o6i9m;]_m{z78ȦS5hh%6>cP:[ <۱>E{ʱo5߰`y9z_1B2xvDeD8"e@VNIιFiiJ[ҠON=aZ1ӛMpA9"u%-A7( &z)Qkizڂ9ևc~}uTUG;oM7(.z Zجz0e5`dMΖ`U {o/yeӲr E-̰T0PژiARGI3a;u"MC^zh؜uGj&[VFW[!hSHEnn7.ʣ~zgpZkWmΜlQa`S#/2GԦK*@ni_$9*oZ@zu[䍴M[JȳBdZ1/-]w^/ fA~+aS{b@">ʴVx?~bFHp?}(nQ*.laL@#E]^T9vR V,ʴ1ihcP O&SFwm:j^zᒯ 'ĊC[ XσfɈ69su1P01*i7Dbn-6i^ed|#.,ñgYZ87:!}%)& wmdz$Wd AAm15Ml4Uq'A)T -KV_CK+qh!Xl`;'eӺ$'rOBy @ nWJ] g}R"ԉb)+_jJolw?)xu=tSc%hWRokg4zLURHx<ߘj*1T–_٣#ٗolo{Ue#g ^uHGMf!Gm~mKĜ@6`Dp]()YN{)*g,]9+/ngKe%Z\Yә4{ "+xW XHkKMJ>aXQI֚ۯ!-> iU}E) 0Uz`U-F&Dq*aT#4'" !srQ~K k֟&bBsCIEvPDC1w]e/3#/#-<$j$̧5[Z-^`mcl`sqtRiI/"{-GRW͹nm?lE\2&.[";5 !/X.qal/i4ƽEXG`c@ TQO(<xoR-#f-8ڵ&mg7q)$M]XˢcvHo(2?3`S `D3姏y/z'b"5 ,/=o`"OvQ%zGI-Øz%YY?QyeЃv0{e:i÷Xr@]Fi}َ]6 xʤ.Eublc3I6WXhu¦H.|O#o>C.XkGV$+3ȁ}2BA@Ls߰mÕK>*j؛76< 6`BUpeR/ĄeZ!KȚnBR,J4\܋:_3L7_#c6T !d_Hy3${( ҇* F1#x<:NLYlfz5UKX@+tAЄ@_E1F̺A??W5E Be@*Ñcay~#7&w94xA1_аlN u$5Լ4"4c;Tb*t.EVux6K1  akMe+eOk} R{S);sŪH[6Ĉ]YӣguNIH~RJG@Żf#ׇ!<Ǜ[ta~k[-gf | =W |[wF)Wl1'e&Z+u6w k1_5P0^Gybi%g&O~m.@l8҆IKLGKRur_zMmdCx5/qC䵱:qr2`afMԙzc.)u &,W`×0dLH=2QD\ҍNlEd+6l_2/ Q#tⷭ #C>&MVc/UjYL=GtZ64xTY`2,8Hr"TYe\q'X-S5 15+1Q_,J=K~1#Y+a1;3;@"ܾ&%x İՋL[-&`h 7.1n#xoywStqի kVO%>[\%UV&M_&J}u4#7+A!LRƎ z5]̣jeRg`fJ,5 !Vw~\ȶ r6^<ԍ:nXR Mc Rj߰A?e?3U؁s;=Yb'Ja3t(L/P %ᢺ}3.tLj'P_T Ųb{ĖIʁ%)#1;QւOkLjngK`T(BhyS2DlH`ɔZ\-ca?B )9!hU{%6w5nns;x+׽ԖVv{h/ Dz ^a;*(cpڢBCGhLUB\k)YM6P$y_4*0?y?KA@'z(0u֓c 8CryŇr&U5)tÈf9`ꔺY%}"[Qrw72F3Jfח!?}sprvdAE~)TGLF%y]j[<9$T?ҜPүSEں_-I\nڊGvމdh_lZ "W%ϱ a ~x=3* ˝582"~? "{vLPբw~!Jd"3lTO Tata={Q-v.Lf[,2ͽf/ E7}Uce&ZChVe6J"9.{v'HbjPruS+)xō~J*͡ڋx_y%(b(OIvKu*G&ljyj-FUϚ<=.ڎR1D{Ƅޛ"s1[UL>U-_kaj&kK%l$ytGX&DtuFژ2gz7!b*K~WK1>ygQ15 uIG)&RN`#^Kw,1 ؿ[U2C)GJO֭k<3! u)g($i׳2~ 3l[$AMGwˁ6"%ߑ! k:~QN 89u/@,+ \e@ 14̓6zb{7_&b((^1TaˬU-D*ޥwDaܲJW`!ꝺ87q-[h^cc2jo:PPl,?z05CagUFVFhԎǫ޾WxqccTdǩO##h-¼`ud]?1>.sA6(cNzLkuqy̐fov\LDmIn^!j.Eس6;qR`C8J xnl#[`6JMϠF ]x!<`̊\HoRv7;:-"l M-ajywL}Uڞq +]ޅw5{)?^KR\2;1ẽڍ5QcġBR1þ#K4Kf"HfV(0ANΜ@DhpRR3t"qV 'fԳɬu9XCX̆wyijroԽ+nd^Az%a?\1u#..Oi,M>@-h1LJQ`lF{=בwRe*>hi:Jm6@Y-/sWv@*~N03ݭP柋ʰTRhl^.$Dma[?BNjf'q7H0-Q1*C-Mv[l^Fj v"f+2S|CZcSV.MM_[=:10p go~nUAc.ej303Β2ox`'-o,0[U۽km vwᗝfr\lHoklH;qJ!\Go]7P / 6'auB%y _'\p )C+S96TGҏ:$YC_gNOYy#F([\+QM+(%~Ǖ&y\1ԫk<;50MUm O[y+{SzکF|5>ETGִjx{rOk6Jٌt|Xnԉ畵qۀ5;~\Ӹ7+%O.)Һma% s&]fh5˧LCZfi pEdB̥&F^v&^x3xHNv!Y:=ob[Heg1sg13 R✰1ɯ36~8Y%Fv:s)$ߦw`(z;_h~AU}"ES=zkx9ǎBw7GʍY])_O sS9^Ș7 5; 8 3WGq&BaFXMO]c4j3=3NC P8Pc702Rƙd[&]2l>(&a`s5)KV{ NbBMr̤= Y䁐v|y%wTbZ7R:@_z%Z_CPp* _ht },4kiǝqki2:5_ub83ҭ묢[hиk[m`CL6GȗN1+|Yz[eNEK _I|fzX7i>8;*TPJQPd uU Oa-jQ'Ww.tB~?_Bk8kQ0KU=fJV[-c|G&T̃Mhg[_b 9ƞ"53$U0$ lM~Q,·(|> Vi{Α`9[ΎZ$#zKIpF B[x`b!ufwSUe98)܍ i"WFrR3XI%p 9dXJ }⏔* yYu{fYY=\r9y}U%Uť){ /(Z~&튆TP@\wV,n錕hL} qBI 7i]Gtcv!E- (GkM ϶.793d2u;tm9t'C,.N`P"vAܜlGc.aN4 YkCC15 .חrm-OR)R7hn݂Gd5t&h Wt EIaY?Yy=^33Z2o< X'ȹ]ȻUOwsTVq:M{!EՏ?G5 4Ύڿ[=*s@EÕ̃J ~iߙ;90ճ+1NȗN$ڮU`"?]ljii %w}NN(զr-jpp ƾ 7Mq/1Cǎ7e.wLP3 գn;D9 r);s"jf׊߁.(  g+\^zY6_LF":&Ռ7"0`eF~۲e8I+/y1I0+c -iJ7YlK /ol'K&7&hU+H2NΎ.a#jf&Rh;0W݀D]툐AuJ^YvidҰ"Kh [k#\a;^ZHXe0hY7PI ǨYDjm"/į6mZM=R|#^om8DYCX-iJ ߹(Gfhvϟ, Rn ;)׉S> dS{Axx"3O6z L+U%E^MV+u͜b#$+;8Yc+T`j) S">+u L{!!P|&`V3|JY?4{ˁhˣ#Rr"mtēpW}7f&wNTʰ~eLh}Z᝽ TcZq6D_.uxl$GA0&}.iBmzTq^&R_ƳNwڬk+KBG͈iz뵰H A4NTZ&!hBR5Hhtw۴8.RAsqKD+rjzs[I%. 4E-+ƶCE`vkN@lGf^Z;nMbΘ+&k1( ȾDWa],VtDg!6v'QBv=:GL o>$C%ř]Ft8GfN#0!d=4l;K@U;nZ$^ܽgCj!-Dic/E;jMe>7|fA;qRrtv.tekQ4Sg9͜o)VبhA+0n 6Bjλn[B QFq,>"`?F=qVp&{Ѿ* 0g`I[ۄH?/v$&y[м3<>nl0'èó_4Y7V)FLH* Pz.nkbO[zC F (k-FP3fW1~69\^wiy@E dolj/;HaY Feӹe?%3R?ٯ4i/u nK⬚ 򡫚陿IHI\t$z-S4reoDRjhlGMb; H.QPJyt"cŚԴJ-r'@ oY0E/QF%oX{WPWߕOo͛Rr6a|Mڑ4v[`p -^CgXsghvFcbMr!^f,%.tY5PX䀂Db]CȗEKT_]~ߋ#VڑRH+tzՔBND܃w+X 4qh}f@<11>;#[cl CW Fa 3lp7\AW'µ!fNVϝuϵzOdpg=&exU3/]$!|mބU :m۔D2Ⱦ=/?V#ATP,Tx_*B߃ G^V*.P$yIhYR9~_ϫr;ϵ TH gE! |t4lk_fp@\?_."xTNfԥĭ9P{Xa^iR#8`գ-V[.s z"R'g:B$zepdc.Щ^\X7R:aKf^wAc wZrp1 nzl:9bP%fGt)C}6?cV}~)>&!px~[寻z!nZH9.hC+AU^]:VU)Bh2A@϶܏./LP}C0oCS[|;B2}ECJ3#oREBL=IM"zuBy?Qĵ=nn|,N%+W7x ZtgYZ Oa# |HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! z7v]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRKOtQNgeAzZ*xg6? BQF,kJwve95nF)f ybN];"~qB%oFj{HG F >ME4!(;! y\d-a$OK0!OL(/yf+F%Xўs"YW>+0xw5{vGm4neB'bOb~["\:m6"D:wq6u ;B"$1ƶX[s Ʊ7 Dua%ٽ5 'YH7n>8c^_]\jXe{οx}}ٚY/SL=Xbcg٨ؑP߹ Ί/ZYJa*BPx`J80l]; jJ'zJS5=z?J!IϸKԣmB'h!]8zdE㸠AfF_z#A?sC%=F?Qydn{O7ℜpJ1irc"s%-&{SQ?JC( hDs$-gN?46SdkcF+KVF~}L̲G-6XO#.mVH‘4]O|ttVﲘVj ̽e)W,Z@M5U: Pu rm?5__ovf=ۄQXNd~d//Vnb X˭[mi e8-/,x;[8-8,:ZQe2 R`_sQr0jf 7,7]DzHVM3#^hB\ILzx"ж)H JЊWT\A`W̨!@VJJne,=PZ]ߡ bxvz@ujxsGRk(|!,=>Ejtn&ti6{̚n{.8V kB)m8u%: ʹ-̽SBrw܋ڋ=k˞Ty)H\͊mĿLSU@*K%[GUNͰ!et󾍋dTV` 213g˵,#|V\ق!mL䂬