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=2.031cpu=4.199gc=0.0007zXZִF! $]ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='s4Tjnyh4%jFC2'C];k?sXRj@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.969cpu=1.915gc=0.000j^fqw_,}YZ7zXZִF! W]ŗXi%xtSmլPԑtiZd)\*-a]JZklo'o}8Eٟ>nGΎVxIE"s:c҃cX4Sz>QGpyf(Lѝ㻣zvjyQ i/SEplܦ'+`y<._ R*jIEKAep1 uF`AHA%#L0iLv` ruy&-<3 q'wt0n.r"08)W*ǜoV}wQgcTLMĎxT|㹵5y Ӊs"̝<;m.$*iCљXE앱&I|q: KK}vfDR[|1.>9F6"bSD𥍈-6".579"(D~K!:Fۏ.AqϜ?-̆t'ˑN-R v-nGYnTVIaєQ:i8ʈgΕC*X(: ϱgYZ518004666c86a8d0a7822f08195fccf57407b7b72131b1cb46315d17e82a3677294e3138c3881479 d1f7a315b4429ff32f8c605d5e735ca3166c16ea 8604b3dffa1147e80d539ab2cfa27839c1123f0b b990665b72e872d2b8d93d0d85a1d551032a4e44 3e6ea9fb5956b7e57b0e9f6f258d72211bc6706c $O HOL-Nonstandard_Analysis-Examples4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-62=\5*o&IϷUZX# fC`_UYQ3[ˠ?fID*gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:hmb,sb5i$LVe1AYwj>-Fk%N}fcc"Mn <~~aJפUN?PgYZ$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   kՖV,͘z>TXáAyr 3ͦehu0lVnqݤW0ƥ_gc߃Uc0խiZm2J#\fwqޜijО^O^`){AGqS&o8^{ׇ%mDWsuuj%q8DwVWZsiڥ~d3$9g>0ZtW :5FBM5;']eOޜ _I!.|h ~HS#h))m!FX-k6'h+)e #lEP eTn2ZRb- PFؖԒVX*<orgu*[?bkS@<-6/0* WeFd cY7Ll.>QƸJޮ`OFKkG EkaبH53}!6Q"no3B4O-v5EPtCyY1m J#E5!AD{$ƤWv =k%%Gd.yqՆmH 5k.R4 Յ,˳>)Tt*{M ~`Snw\'ǭ;]I*ilmx^VѕVE4\EeY8pcv'u.n[%nz\1-֪.?:86ؗoU/qLF</mRoiwȤ奵C1im7 aAv5[O=__g30#,PF[BI?'|jԫ 3z(J1 ;QvQFJ|ROOQ`S-os|v fnrv='rg tI ixuˏaMx%q߿eTtN焃fo!x}5tƓ!onTJt0qr[Z N?Ԇ wq"qV&d[N.Z4q]eD.jyDh;OWv{RbgJʱ/Q|\bѿ*l "̀m>{&VkyO%7BWvf8E( ,pS֖k=5[sJB޻GkԼ׫&*A|)47 ۂͮߎ*IS30D':eJ%&돼IU.ST t[;79Z@*lUmHuWBL|_b,a4K헂//@=vP_7 1zj<2%zF"(* U=e^+7xr$EANMfi ql/^mba`E,HE*żX(yf]_xIJCW6Fj,,J/,d/+77UӎiϺ rsCK\hx8Z|WCkܤIĶVJ&&tII,Yj`qޖC~BQb׼uViA+l A3UTb񶬄Opʳ(I>UPuC#޵аI~Sg4KZ{B~Ɩ(9̮ۙާek>B~.ushv_ݩ% Κ q[:EG=Ș,P%I7i@ۣ5GQiC 3kir)38Y|OW],ܤA dIqW(z"(r|:%T]p}M\~hq g%XV_i}{6 o757E=d'f(=43 ԃ"? {>w0s`SN,]Ts?Tɒ!XbIblZUb\)Z؜SO&f@Np;p;WQU,mQ;FAl.J^fQ;ŁG/O /RCphwu=DVh34?E',/tzSP2,\+9ξ3豄1bI;4AQzްΧN`$-4xEYקtʃZ:W&Yc?sZ9\9OϓPM_15sӰVz}|ɫE^stcq!Tc- Xl) X8([&M“<0O\j<* ]qXiK-3bOE!Tm̪4KR2N'IIi7Ou# |a8 ֹ⪔OpKYEǂebId =PI5 NzX/+H\k_ XJ,\0N 5'C}$=:tݦ&X"[~cB#/j$u 7"BI8]Wd 0%R:Ly3x#5c=@~DMv2tԻh,҃쳠,^;7$7A3=7L$5SB@Zk17=1c$`RAlBw~7ܲۖFt-a[Y nّ`/@/:C1~.G~5z*Q3jQ8ͦh1NodF̎T,mrݦ~h8"dpP{ X9T"_`'MujMH[ ^{ 3GzdLr {v`\aQW7luej w2a??=8,yV&Eh&K:-Հ%8$-&rZCyl:[ʹ2?)mo>!#u6_\P:ARPgF+8tnQ9_`cce;қ+jI+d) yFZ_Ufn~g"# h'iz+D. QidV]Wȏ_)@'V Z>LQ`[Nq&m{D R5|dtav lpuh:tzb{Of fOE9 p6ť.&d۶3n09.y:8a=Y) D'ήp] 4u.O^%_"H++uz |2DcV0}'z !>)bC}AhVnI"Wu7- {nT=4|%D{TGCݩZ^|7s\x@t`T vU9i,4$ (c5x:*fP@ZB)`@&9 hel2,"s,GQuCG<2ϝ٩1Tb*p_"<뢅eJ$~ а,=Vbrkлld24Xw! t%r~R -%Gzq_yZϸ4FBM"%$ ȡ]Hi:ȼ8Mfwzۍ+ s@ 4'JZ1؁k%Ox0m1nd- |Xe A@O~޻ oH hS%6cY.$m 9>΄Ǘo[`G! bRML8QWH zL_$h@gIȖd%uYtYΠir|/Y5-BWMդ0}3D,Ř Z>KQ}J&3dPlK\s&ȍfJ mT@ w`e.;4ny!ג; +ޫ9b1_3 !/R1K_r/xAi4V,JE`GlT,s͐;-WA{ORg8AE+ѥ dzk_N`n.~:~6Vc^.ۚg ͉3ܾZU)U6c|zls48s.r3¾P X X*/S;[)U^cWtG, *MRX}sa<^|bvaĪ[m-[5f37Hז ըY5H}$z4-L(8;lܨ83Ha؋#'19rvv1avi"^EXcr\ԯSвQ}u>ѱxq.)2 Į?B$Zh ؀LGVDQNL&K\ tϢ>L]/ _IZ@c֔X^˂O$!8a ֧B`7o2ԃgLŊIq_"b^iA3b:)$d;{ua:%cp6%.J1p p0v)-b.ﺟv&%\"F6Ml_(*y1b=hot]bj 2f3 o:L\7-7]iR*7_4*'T E;_#_o'@qŪ7rM 66y9̑X(n K5ڍ%GXcY&p Gt/ö0%g>*KI>üK;1_f_[Ai|&AH9dѫN nP#q+8Dl*e!ˇK?q$ݰT=b^ځ0;?zN1GFőO;rca'GaB@HVn`OuVƯtWM:||heI$[b߶1cը9e=t P!\-ۯ5Y$0/ξkl8Tpxhٵdz0 9 O_QDwhӬ/ )pI8&nZ6ξW>oRoI_L"0d=I|l0E@S0fl!-!fgH삛4<ү)ёҩ6q?`.%rm|KFR%6ɴaL 4l'﹛OӀC*sCe8j'.ths6?ʉ4C(on'jw$?7[AEʵvb)K7߸{"pUW1C22.wW")f#C}f'$;F`制ZܣTG [0{wqj| _xpo 4g&qS]WoXEP4l'9hۺP1%娋8cfY"= jAC`,i-hN-Vj`b4Jݭp:fYnxjMU YMAOU \A]ýS^Ly̩tG#.0wI;x(٤=a eM̜zzB `SODY׺; e׋UI|kYr*8zFLv?r\1Hg"Pm&[[[=;d{Icp؁b(H T4.b/^< 1`+<=;91<֊$9ACWFx3%">+jPBxF<](Fk3gvxptF::>RG"jݧf!e%-^0)s9&d󟪙\.h Too[w0 4I+@ZWw Kk^=< UV$,>WNAQܫƶ&58!pYgo5o6eIXH m 8>fo=?ٶ6O_"36d\$$p3nk#[ptKC3[T>IBh^.`Cg~/ɘ)/ᦉå9KHQY"KeJ7uܦK5@UsA3r`۵|Ⱥd!:Ōͼ>@ةǝq4syZԠ'cQ3;6?fۭ0k5:>s齩s>_S"Om9uVxYAخ~aן??WXm: 8GUu*p/zf7IjHZB#ڊ#7sW`HVmH׭_~ܱV #2ޖחug1Af9J; Xo,ETZb)rŽ3;ϪHT7:is 䈋)cY4,V /8 CތqLW/BΉ\ۻ41\Zţ3ղ0&d=>*q:C3ӪV⻽_v@!_E)` ShA~î4#FY]9e|%goT8(jFѬ4΅sfxڑ# Ѻ"tbJh$Vu)# HANJG!sǣnip`rAd)j3#ΓDL0E "{@7XKI'TD iV+hȵ{*JHFDVH@aXK!B܆u[qfACLL6tх#qɔICa݃\f0 ǏWkB4E&$ݛw &Ac58sL~@!=蚕N/k =hTޯ;C˾*sacX+r݅]Pƫ ,œ2+qxvGߐ3mSZ`Čb(a'КI:JOqfc^/W'„QrolO)l6oJt l_>l--I}Քiig?.twLǍe Ag咖߾~{%PܛNRZ=%袹zbǙCT dVZ 5)ѾeSA- #S:{ _SqGKyv(G^*RA>a/mz UӣWAE[Nlu.3?it) ,8EoD1%\3]2ܻR=jZz J1 $| ܈$Xçdz=ݡyߖFMay)^A`(27[z&oNS1BC ֠;{X4?` .>.<`Vk"rSoP!& qJ˹B#j\ 3/VeӑٽM$5O"in9iGwāK[S?( ZdaE{+ &>mݺk:w@TTU-vScA 7~bH>X[qK E,(E :<^7!}{T:]v":ǭFKiYpx_YN76 Rwgk=s,cW6C$vq)}oæ1~^.Ζ2IܺÓ7hߦ;~_{ݏ H{FPH[a3wBfMF!}1JҸmA -r"w:8uax"N\~:F Elpȝ3L]$0p7+ľ#FЖTz`ϢM#̇YMVǒ/ 0٬?iy_RMzJ#݅补()hEfx\)z._05))'mA CQǣ 2dPԅr'=:gZ03Ň jvf0p_ |[G<{^݅zzv428\nZJպd*5FoP 񻮞S ==E'̀{ og7@w$2H5SQ' 9*~r[3!X\Ʊmu 9]Ԕi._a0p<;IR5e9N~& 5hO#FmrCp^6Uj2}i"׷29 N9Y5l R/[N9&zyg?4Ҕ0"# PJG H>YԚVv6@[C=q>]s&ZVޏ"FЖq4Ko|(`L(ɿ#| T(Ƽ_$ETa)ӡ여򣑞aţYSWMvM=0ۑXlwb}-ҽAvk@v{vS7YCf"1vZ3ZǾU"FX8Zf|vI?ʖntک%e[&߿je81 ,VSBeY7E9la#K8C<t&OS`-s[[:U )iG "mE Sy=KRO;eDk愉w8INECS 鯆yØyת,dDhF Vr %<<+ D19a ̖B nlқw]D1 {ir,(Xwe慠c#-.vFӹP-cJ \p!ohm0emx*0d(4KFX>OVZ=)>}5ѿ BŖ kpE)A37OyVO{H4Z֝hB/rL̔[q(N,fy:e2 :z P1LX~B^F֒ Yy$=p \=k8_U HuOmJ0y Cv!!tYrхd9)W=+gjn&M Ԯ΋m+\>*#$Y k*~nbGu0Dz/nTJ a:!%;:KAo)a܊+gʯ,lWQ Ȝ=P[%bSk3sҮ]p3۶t1'&>_h*ewS nHOTCZ[D3tk}Yh\M.))`&YM(7/^~c l6,9aBj`mMjY|r&h `bꆊOYҍr.yy2،[Z:I rRl>7h/ 0%"H.0dWJxŢǂ4NJVu `skCKL(ǑrgZ5@"ydn^t'Q0 W&1]>{'`ec1UA붎GU+KtPwD(FK"iFpTs Fԁe^} mf a)Č{{'C 25/*,5[Dyz&N?!I:n0rF.ӡC;G`6M[&ս.!sl74߈#C(AZju5xR4Ȳ?!O]YAu8M&+m#p[(1l%j)FQ#-@w@,N,ɘ6E֋XϹBӒ. =Vc4GGMl /G"Q0z,Z1AGcP,qAl1]&ip)>-gtQʈb#IxW+~5A/5>~QguHS5Z>;x" aQ;{fL?S^d5(a'iQazbǺy vQ́Vd$5{[:4>7Pᖏ'%԰QT_߾D)kK rHA2آt*':o ?Iie ~۫kTWyCW_+q/|?tll5 (Ŋ0u\KMzuQ|e$gYZ  Y* 4Oa' 4HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms7zXZִF! Q]a0{rf9/ ZآRv ?OП-sb(%%f5j @qVa8v-62=\5*o&IϷUZX# fC`_UYQ3[ˠ?fID*gYZ,Oa' $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts7zXZִF! )]a0{rf9/ Z|9afY혐jH99#v$9M +b%:hmb,sb5i$LVe1AYwj>-Fk%N}fcc"Mn <~~aJפUN?PgYZ$Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal WW Oa) tHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex7zXZִF! 䕻=]N}T':=Q߲mZwb3KzdZ4ƅKF*TOlp+C Ģ@ፐ$.zgD'vq\!>5ꜻR|SWl/F_=nZȯhA8e8^XrqPZ:7@?w:JexLWb"1s/;.Wc\3kZ}΍j] iR4u׾e.sQޮlVKO:Fj_o ŪN~/Qr@r,#hIcUO? 0p6@T+Kv`+N Җ.𼖖E՛q" ux tMz"% [>-@!u,l->P(`A(>mIUvrzR-ٵ  | X}AV'Vq&2TRO1RTp YmD[Ib;k ^Ȇk.Ip|_UDmz=n- fkH*bv A1U"њ+6@sDk|.* mΐ|U=c%b؃[ܳfQєΓ'*Xl_:#s'K`6(+ttb-aGҺ~ɴyrKq. +5IM''xB}G@߭ GC]vx&ߦ셴4 ybs?;0s#1V2eG؋`Vpὕg8 pabmY?*M HɍLv*d>pyCjYdKw=gYuIגJ΃dƖaBv O3@2{)2/l@e'Fqd dHݱ@eg`^nQjm1 7u?EDQr]* e;ھyT;j5cBsHy+"BTrB3|󷦫+߆%k4H& ]?C&8OnkO$Kղ/jμl2 2'_r^\VHA3%ލЃ&L-5!fT:ƘwNN{VM\S]nUĩ`G@/*RώqXTAt^cP!{J8O*wyRJӂ;Z'=_R,DzPm_folsP!zt9{"jvoЛ }m9 ,\)qLJ8'=X՟H\ j$i.?4q.þ\nʠׄM ucJCȈ IIY[58)LLwQx[!kWS$dIcssn71ʹܱ5ߋ$0?Ւ#*0[ʼ6%?ZÃv6{׿W|y=SWID8F uJAzkgVQl oC>$7W_䑓?۶G*804c 'EǫJ 2bzFw968s{"k^zN_(WҿodetxLqo숨 CTIX[vD<ϰM5PjhJ[j`l=~5چwjWmmJSXw4UviJ>$,Jf)h잁<0G -1?h2G0k_`3a\.Ӂ饚f,Oȼs| %Bej5gS [u6mzކ9jkHI%[Wt`XGA7 :-3h/ \kIj"s>u3M)(4z haZ0s"C34wJU 9*SJ̬MlvgZTJ7F>t9Lj;ӎloՇ{=6}iDjgT*YM]L>c&q6Ln a<S8[0( [1Wq53)g{uU1m"&1zYS&}" p#DB6X-V.p(@ſ37RF Oi\@f$4G`5yF\typ2(5?%U2>f BQmPZ2-x/D2旅0o Ιy7;` 3&a e^5#/ϤVRYΎ,t]ҋOB+KQwϤ4t) 2Ɂpû5 yZҼbϬb9fVb;0&E*&+y\eLoXxG 4$`+'W Z!4 EUlF/dύܿ_%Q2aWVi7O>qVMoFқ׭p͑zTlUi.>_<#\*x›*"պBK)[L>}qj_S9hwDE6@[RDR`~VEпB/NBP`+f-onVeHJ"޽f۩Џ   + Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyeOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id588pOa/ $HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact7zXZִF! K]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 2c:xݘz_Rv'<ǡ_דnf9K\J?+xYOPĽy`la Цt~p[6iZ^ }3s A:k6hlKJ>j+DDUw..1zՆ봯tGUc`0S/@0!򎎥\UPisgF~Z'|TBqtʼn D&KL!QV}| }N rvu_ ʍn'~inm'14Cjyc".'}!>5HLơupZcep&[oEt#:3"dE(D׌"j0eWR >IO5DwkiRU%+/Mr$ .JJ{V`Ld +ϸM<=BahVrL(+9pB1-<Ůلt's+h8w{`$s9JUbxYS+"kv4Y t5k@4~ 9Mζ{a Gu;,Ah3Pž'Y9mcFEWQ/@T<)I(o \9Uˇttg1rUM֒;p2rO([d@ޙ~+ԧkhpR}bP<{ d`MߓT /mh'3Z:VkpoNWmȑ>lWFDJ`Gzo,+'&rrA^O'&k&0,~Mg#tkk ?gWa;! O.-JӉ?;#'zo ZcQ|aGe؏=sG"R-1ugYZOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodnOa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms7zXZִF!  P]a0{rf9/ ZآBb&pՐ ̥Q{ndN!yG5󣉫 2c:V4di"x|hNjR:K/5љL4Ia[ * 64+*Xz*. S#TbOF"i*gs2 mL>%<,llr7maOR/zܩl/ZBf"Uq$m le 2W^0tTZ*:2a҄sTЮ"IL$ESbF5zrwx[ c[nR)A֎ 俣p?7!~d+}kw$)|d@ѣY(W]|HčmisWʧFg-=c7&(DU#FѠ&:`BnM~ n}))p,1m"#ŕ a~ljѧ+H7;#.Py"gYZT|:u^ц†Uem8GtDϣ'WPl>m VW[Le/@~/mN-!rO0#lb8LWUO ]]8uO8T$+<3x~ͮ|!|3BC\aWoyZ6͆JUIQj8 [[_I܏k6iKbgw}M oIU0c8ԸiQ^&*I-[%0 ڊdBw,P fqO K8ؖ@2bv aWBf? q*t-qխ =]8O"R ]uEBZ$<Rd@Tw̍\ CPe fQy(kU)rgW0 w~sOWKp2A7 w rQ{F\l,7%gP[D(H*6qs!xIq-_lCZlbPE]);gK渲,✙U9Դԇpl 0^>ZIp"@疀cvfj&`PՋ=6' HM_tNZDF%dğ?)~#rpSCgܹ`gĮ<Qٲ}^c|Bk_7SYnLH=`پ CAUjc}(ܩ(k s4uzX8icWp2:~yP Ƅܰ2\a:a<&Ge:fUH5v*!#9H"سC~-d(E B2e,[pw`9_Fŋv:7]o1 )fWj>vt}f؀4%dQ6OfOIr5* }rc[@Ib&ϊpfB*C:_HtC(9 ǥ?`Je"8=*?G&V^; mԠ]e;'ZӒ"sMeЊWKrM#Rc;Uj6Ox5P1Xli>/{gK2qVIޗq\՗Yq9zqŬ2|U^D,ܥ)<# XrR ]Zu]Ҟd:I&cD^=Li-+F@nԉ1R:=?r's4i"B0 ܋7ߝM2,Eun%Ez]qHEʟQ ~ʑۃD{ި=OȓpyOT٪ǵ~fĿ/ovA`(J (WH|{ޮND ?{դ|pu(̈́jֺk8Τoɢ{>ހڸ ) HBGȏQ+rhؤF?\KTGjEE n q %㭒owLw]8u1MuoOl~ ndފBx垭}9"HuvmW({EK ̦Ԡ°T^lukSqP0)A]Keœ11DZsK Ӗ@ :vaVKl6gK. 7x8* q|[*ZbZ-)ZʺEakJiì1._/hsݤX :uXet&tLm)_(qOHOQ22 T δQPnm4&dƮN3Yf~ֱ7d\x p'BB bimC3 LY7 ]ta7e*/*5U4kXt OweIJhRijMH$=I3R[8[l.ٿ2cafJ `tvf[q´F?k,k&샹6Tb $1Ey W\NBjnc<}Ҷ!>Q{86s((To<NC矬qu[#튔81ϘuΌ~"i Вȶ[ ܁g +y%0c3_;>Miĭz] n:C;z 1)Y^<,.PL}GH6GqCѝ޵i}/똸|Q7%`28D-⋿m9cPԱ*[Pi[=8Q44 ed-Q/mr~qO$k^1w^$VsWk$Ǐ[R4҉"|I>' ]ĦI+4y<﷼hRS?)fg :y\‚L8@ 0Dv%tj J q8xS3ߦPfԬ a4z΂Z`JD5!j!U\)>J-Yi.&b6qŌ0,-Č4ѢCc-$;&dnWi=zNpd i:Pm`V Qi]{e- ֜"oNOʭa:>Z_#4$Ek[6TW|fj)JB`:<+ X7Dkql T A?%]kX~ W/~ŨY.xcoxǣOammvsQ9'Y}B}“~شZ/-DG/=^:& uAJnD#97U#\TJE9wUzbS-6~a<fqn⧴jA.M-enF9DRMb n5Jjc%k*wҜRdX^aײ+v~ R) N8i$ھ/>RE%KH=w-ׅNq_fpǷWP T]K!i9;)$RKS%zTZ8>ĬS$?0Xx->T[)?ĸEB+DE pyɵ"/y8?86oe&jF&%.lӀ0-jJAƽ[.e( y~)C);Dcw*xkOX&iPD9>^iW"T09LzJ oa;y S9Xr]CäH48 d:BA 7K%8=COfVg# K*rVI KREILƅ&k΋-}/F]3.Րofް >.vpP˾5:Ȧ m'82ү'l0QE'c d}?3skRAį#OUNI%#B;rKϘJ8.RkU+6퐵d^GpWQٚuows5rG~P A,@re,, Q3=\-bd|Nu@_qa$*[B\jZCY'`'hrk+I; j كKW5c\tᵱg\gQf{T̕TF9|tƛ"|q5V ֗(T)<a'+@,xs)\8eW*]\;ր9J8&~*yf`6䌅#ȫ fS&c/*8Dk"@Օ*I!\ϩܔI" :OP$Bx6݅q*[: *ox)c&ɘ!_ 2UZ  )60$LRs~8 DȘ( qٹ|xAZz'bgcVpmLq7۩,rꪑM26FNZuDr{楛|ס 76y}9))Ro0 THltMDWnb!efiQPFiڵDbsU)Gyx<8^=8"okK%W[awr7|NzVUpt}5R'A15Ri!GyWi` /piU`HMf˺ \ɬO}mRu)3\l`^% t|q 1 7:dP:e 0nÅhr'Cylv ':δfÄ ?LJn:}87 M) oN9ˈ4vIYJ,I6PDj_7]v`0eZ{?w~~Ϻ<ȣ0qސQWǀK*,;_cd@fq^m2ڭA3Պ[l?# {9ߎG/r$A=B~ ?-t48msөW6n1 TVUx&Ӿ|΄(fOP1#@PDaZ%$Suc=P=5rzT"VXO;uY"`82.](~4R@Ԡ&r߬o N{ƊjThM$̬ m轄j/f惆\M,cAI?0< +-EyOkwq1<Ψ<Ձ.Ʌn;7M-b?sZ >.&(:|\{eSEn瓏|. gP$|_pop5i  fB۠eLn{rk .˜Ycwm4R!aҠ-`|c]t(?@+O߹ u;Tc;` C>U!Zfc}ƔjtϊF &2q%?sBn'PyEaXV04@ID= q_ Kaݦu!6WY=lry)&2 p{W'v,{lڇJ]F.[BP[aƦ 2B']y NZ0C0K0:Q%;ú ?3 &a;֤]||Ĭd$H\1<-ׅ+pT {Fǿi}%pc\ 4JӴջqf]\0ԵQ[LGuN>kԕdw t* VhSѕ^ 1=UV2CeZG6m5 !=Bd *0t!lGb{ e]n%ɦ}mymTDUCWhpͯ5Iq` J?lX rHV"~a3۸\ddcq7ibJ݋V1j'ϑZ)u\W8҈fȰђ*Fab0e'u@$.ak4 T:CI4؏~ړ%Ig?&*.eիNtҩV! ?[E؂Y0!T($xcِ $V^&.32V"_# OuJcsj}ܞe`F1*ח[fAHm=jc>[-gշbW=~ VQGYpE2HK^h#qI#ѸZ*,2Y۞0_Y9UZkT `ZBt1)SC##\*Cۖ稚ZIb| bRlɫZoZHsQ$&CoT0a^ /oD: k:~s;YWG@/0rpև6,=\~q@q@`KU:Z4NEu KR 31_'1m*g4aգ4-.Q"jBeKı7}AU3=I%OOs_v]Y qu+ -1.Z&Oﯧ(n8dy)tr~uJ.tVm!V[?6Y7 ]@vڡC؂cԻ!&gGk o@hDf0 wdϸW_8XJk%G١)9%VΊZO%~ս$;*W%_&E>` $*%0CNPx"g00^Lv2Ոw\D#xvK+Vld S#vuLCgP+QS#a&Qx"+MkaH(էBLM)oMA6MBO E߲/{c[Yޓ ^zxGx:άx#{O X*۶*c̒Kv\̠|:]سZNtT} Tjq5꣪hgSå2TnX!! =Hܫ}LZ>yּw!g ?*GqIxoG51QgNl*[updfCݽoX*b?I_oq]+Y>V nPQ'ȢzݻnoYDڏZ2̓T"fF@)MD?wtr&v)Q6kCfFoV1| 9p>) {2sk,ax=BUǞD=FEI`N? 1ԫƱk Ҳt`ùp!|݈VF"獅ZZ!X_U6TMx9: "jG>~+0ny>{Th NruKy?KB+sb ^'=ɝ9Kmp6JF"MQ3Eخ !NM0,DEKUI"l/Y DzFCB9%n"ajͦ3ӄ ø)(-`"35)[_&*Tk6z3gQSnb}%LA%a~eDh3߈`p7 @eʘ/\(;By+ tC ~ANeg&-=MKC}a["0b(ysmADuR>Kj#wYAdTs,ՌM#} Msur:N8N-6L7dP#b nI~(ŗ/P|7.PMXf/wN_'~#V;I\:Dĝo e`(Vǥ5"HQ 0l{ֶ%>Jw0emD0+0'&=ZnPQφP/R@= +r+:>qoY;]_d ?Uml 馦;gj\$u`goנMeaibUb줷cv)mf^U ۣp,J~=2-M~hEn>ҥ8FڋʭPeP/ZƚHSRG_gr5Iׁ?[ΎV_dRO= t%q? iump$\wxiBd(_&nP3"Mp8ConĜQ]X;d Oa' HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZִF! ]D?7 {?:fH\{*y Zs@2' FXVYxB>W7X6 3o@N4ndkF֎pD6/A`H;[zB!\A(@A{=!BX ˖؁%R,7CaGwpBϏ.Q'*pG=I]U dS* 24/"aOK 5Z+chEt1ą3Nf+i!V~h`0⠖L,Jd,xQV l昘lZ5Bf ~`l%yEKrZKa Kˡ_I o(o_ y_3PgRδg8GGRL fKu TRM^MQGRHpb6)v&ye88)#wif.N`4/A u>ugYZ/ Oa# ,HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup7zXZִF! lU7]ˠ)jk2p O6LP=͵gl5}xL6wg젟$ (aQE;(m_bvaz4.Y &UdG (xx"ui@cSFtq )!.(wtRK"YIzSJ38zdbf\.rW;K|s$*u!*vL2q*3nVi !'!9唻A ^m %_F98=H,1ƷEo3:MTNvoT0tҒLB?Bv3#Wh'^ }}llj:QxgxIz",yFd`;WkQhK3J `eh9=l}r1ncuy~fc_`'.ÁXDbR2 7NbŽD1_-tkc3?ldRz;E(ݞ4dɝU.6r Xxj=P3kXRQz@Mk4J\)tML1UzUHh$@n~B~xt&y?0#;CHV#=;%fK<ǘp>/ }\മl/lbI "HM!GT{} xw s,Kt඀ WZ/~׋PxMeX#6]|tخS@Y0 YY+zJ2/ {v[H :.l½<&(Q8Cg_G¯>H+Y9H's&/+AoDɌ{ +NR-;q4QRG2>lc.e*C72-M`>LrRČG=މLsbNU;N 94N`#>Vǯ(DPz$$g0ygBSk9AQVؖu30Q9L7C J&*&T("G_Jj-YX:֨ȘcraRAQ0$Xl ۅ_fx#QLw·G54!=F˾-HƮfKdyUNYVc]XC{)}~g.D66ݫ}/1y T"