SQLite format 3@ (.;  B --?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  . .G=tlt4 ]S]HOL-Nonstandard_Analysis:threads=4elapsed=20.809cpu=43.608gc=1.6247zXZִF! o]ŗXiɟ  Q uVɍr»[j;lgu,"n̮l3&ɾJPkqsY䪄w `ÜbA)B5QPj`EnfTgyOp3pđ~pgIprǔ/Gb7+jAku ƺ)F C*ؘVƸe%${G'ʓ"CiҴ<i %>v;sʒp{6f7iCc<1'ɫ8bJHb9 5݂&aW-Bp䤷b,S.;KIL9D:tCMYSkRɛZAᒈE1SbFEX>*wx7d;%PfS Pdc} ئ^IgKyᤞʕ(b94e`= +]+#]I!.EI}+}7Ҋҙ@xQAPxPrSwOC*-d96Y {̞[hXF <H9uq2g5ـA⎼'@z@H`itp}JwEx:-z;=AV'`켗6޾x& ~ȆCkuRP(<)i\uv~q ŴVqp۪76J/ _a~w~__zdmbN[pQ)<z_1j&k=;gfDhYlCB<uA9W0(oIt OE$W+\.\!uᵜ,xhL˫u+ABgYZ7zXZִF! t]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>$28\ukR9}-ePg ~>նbCݽjpr Wo5:T'L|5`jS.Y[#RqJroR_lv!C-Lc& sbRIѳ@zɥ5p(0jvJ+LĖJ9F ^RD3L&> ue_BB,I(7 .[?&) PoQC!IWꤷqt}Дe.&\҃21Yfj`וig«vƍM 0E [gYZ7zXZִF! >a]ŗXi%D8W.eVPvƯљ5-"TSe#?ֳ(s.cH4eJK/tE̥-1 O߈^ ;o:$uM6Ίܕ:4@× FPÂ#$|֬|9f@ɶ9%Y$宬֙az:D ee%UE4 ^ JX m( = HOL-Nonstandard_Analysis '~=Q% lHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSComplexdocument.tex7zXZִF! m]A-MՋhvG"uIBm5Ī0L>(V JpQ!~orOIT~ZQAx}z_D_ Eg8 Jw˜g,E̼O$V?(eYOYisˁ^m+^O? GP K\+@1l%ƢWy@?\"6vmÊ9M U.0#a8W•ɏXې:j~Uu&̸M.k7L1dX$I+)OQzgviO)@]tUwbDY_{1/vIG;>KT$Tf/'+|=C%y;nnY% \e>ـ* * =G% LHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HSEQdocument.tex7zXZִF! ᒖ ]A-MՋhvG"uIBm5н84C/ by'_Tp7(K5K^s"?Cc $tC U/e4?ĚPFM+Ž^; &j|Y} ڲTtqp C).&!Ma0<3ȖҮ[$ j8m5+ܰ}7f$__CWXi?K M^K{OCytwm"4R6~i 򸞞'ge1a2{uN}\n@$vraL|Yuuoc嫹(en D;Ǯ*} H! =]% $HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HTranscendentaldocument.tex7zXZִF! !]A-MՋhvG"uIBm5WgKX22/ZVމϗ"-t%)ٝ>\Q 9X7cCRhxIr e,DY"jΟ\U#%9Uc*r<(BU?o}tɸ} Nvk} *sC ap1&%$"       e; f ~ \  7  I  O=W%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Hypercomplexdocument.texS=_%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Free_Ultrafilterdocument.texG=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HLogdocument.texG=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Stardocument.texW=g%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Nonstandard_Analysisdocument.texL=Q%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Hyperrealdocument.texH=I%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.CStardocument.texF=E%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSAdocument.tex J=M%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HSeriesdocument.tex G=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.CLimdocument.tex J=M%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NatStardocument.tex K=O%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HyperNatdocument.tex G=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HLimdocument.texJ=M%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.StarDefdocument.texI=K%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HDerivdocument.texG=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSCAdocument.texK=O%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HyperDefdocument.texL=Q%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSComplexdocument.texG=G%HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HSEQdocument.texQ=]% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HTranscendentaldocument.tex_7: C5 ֞LG1Tc5#]|u҄MJ~襻Ha\SA|(I7e;{Az<~?>i ahg=>8V1&O+J) += ZҔWW;_t]6$׼-g(qX"aWЭu.M3auz+L${ g˕@`i: 1k2m b 9ؙ2'EⷴJ`JIx}ʢb +<*]Y-М(=17R½^?7mrQ5KJ8tOU,dʨ/P0Э,|bkT-]m\}`m'f2]·aֲ|#LƘti4}+/hC~ę>yQ$1 WH>ZKC?`UYa0uK(B}}Tr׫NB(f~NM-]59rT$oɝw;\?~=Cp~ K$T)^V.W P;b0_y #$zJ}o,+,ܹ9iHM%-l9 ht`ßRXvI8o_kF u$;i_H$|һ}n,ceU}̆hr3;oy@hEI$QMѧ1;FpM4i%k0i4cl^<\ygN5t]̛H+7 D=i^.96@z!(hT,b# u Zs#P@27SK"v! SaZGѕ%|@oT|KӘJ  1R6>4'Roqeˋ~-,II2 Ŵe] %.|@>UyS5: K30Q+ NoC ZXB<4.{sMšWa?3hM:]*xn1j~j/. όJ.D =ӚjH\d}h^P:Zo42g"紙:¹c3f:& Ҏh -s%`0jo:2%.$~;z'.~'QZ[4sĐᎣ&k=Yk/|Ԗ=1T˚rKVo%,@J%tcL\9\mCXˬOyaJ 92^@Yvд%3Q|#/k;hy?1b+@Xy$StϘvi]^zx?o]NTM[b<>R$T|:sJ>eڷ?1${0jAPILZ~EoMB֞y+ul"c-pp}Fx?M]pdT,.NsR RȣflV0%f,%vg M*WN 1 U%ob~'[ `KJYI.]9fpVU>tȗSbN>P[Zң$Sl)D}Mg'X>QЉGܜn%ā=r @^E*(e^[p*E|TČskpsjBob5pUPL~VR,)!s6m[2{PrgLn3& js>?Q²/Sjas6|ը9є XJ}lŝx@qmN+񾿟sGIB+`LfAq>8I7A6UENm"yO }c:is([+Ns8WߍrFaս ^_3%" N[O<^'L!8'?CPQ)`۾G G03& v;.dhx!O9pƃÖ mx~d*{d1A5piKɯl|CjSF*z2p=}U>Ypvvƒ0x*]*0B \Bl40x&e+IbFէLYH@soU{;PK-btMtV w5rT 8~('O%E1%ăZ/+* 'dss”YUAT:݇!4j|M{>뇊מjXmcgJ< m=i^zPhx</jBOPȖX]? "K u73&>ɨ?+~NJ{HzuV2W=V1"ɮ`*[-lFTXʋT]$/}^2Sn/; t_Q 6֊ 7ZWi"7%V*XwMeŮ?c~ÆY="^4Gv_5_|_aY6j9#k. SQzx?MU jC<,O=+d/6ŀsN,glD!DYuGM99M?D`EMmm6 c=;31G755ʲRfe8|ȃjL]UOr dwۑƒFY)0t8#Wpd.t{|OW.C`q rPe+ "C{[>.ςl+u-M!뻖%\i|OO2,}@2Ærh u~З󌸡}Q7TjIikyTbԕ!RY+ue|"19d{+ݜ>(1YK8jVM#AKwI !<`[aϸwqW bYZ;5JK+lwY˨Iz$o7tfZPTC[=*ZWDd7&E&(vb.["<2S7, % 4튡Ym补R\3PÄ+xM|UIfOF%N ڎ\@ɪb SeNEayȸ~>?ڳ="B; s1(g|$wߢؗ&wt*2H.":b2 *?/ }!Q֧:?M֗h7 52Rt@g.+M)I%^w2S\צԡ3/wY@($o_Seq(gM=xPBHJeR Qn׺wsĭo5CgCUSX(2ZtayCњ;mG.F<̡"_Gww(] jtto @Uˇ™7屮U؜)wQf++iFUMn],藷+r$8|,d:,j"DzQ7:^OE= ~}\]?2_l0Xθv՛*L- ZS0& ?HbOE]MÒ6J[w~P.RX٤>?6 &8%9cblٝzuy Ig*-KF:Wʺ(N̺H|D5k9\_WDKoQ,7!  w=r"~l}Gk,Ă `.թҠA o 9ّ yNʙ+Y!uɜu#5~@"\##W?ϼV(FVZA ; JE"RK|eNKACd[nr`AGs$PMWM H.WWK}.i1j %a@UO95IIR 7Vq QIl!.naG 99jlj2Hqd%A >`X{+_YhX>fN[l`mdE?djT6j,pޘ(#Zf>\IGEi {+}6C ickMH$_)ۅ ;~a^[@XXVNS'iUf4 o%6r{>7MO`[ԜS)G yyݹΆ==rH X;7>zѭ@2 l=3%% WmNcɫ%ίxZmK gmLXvd!?Ĭ KH${ /CQvRIs0C hI;LI7Js niqW}#ʦV=Z*Q* |PL"gYQl,DsA?:kr(1kaDɇмE/&`oDD=zIJc:``ֆK`.i ZVf[P::%jc융c2hUv˄pJhn)^SBf`uj_] 8e䊂A?kOT03wܫшnV~fK] f%^@Π RLUڢb`Q\9-F="G+^Z16_;|V h0FA|H.yAo{549Fu03/%ঌl\ \w m_3 U#{*V9"3:hiͫB=BDʠ<'?w+yfQ` Anrh֔o;"I-}\Kțj!b&_wӭMݱB3gVBRBr\5tq@u]}m>SOފ^4k],c:%ئLCZ! gcukRt>V~gɫJUG礱#>jçfaP `\@+?+vs|(Vu$vvIі ‹=j'6o}AC z"ѱ ѯҚh ىټgxluKJyڡy~XFTK4;sc&a!݃0XsmIJKw"7bjRcП!hпbSl8_ʭfs6Qc^-P9|9NagZW3?'*y$ٺ!^_uEIeNVxn,,{WOו˲[ZfLk|6+f@Zsl]XF[ݦ/u'aT~_'y$B_5ڍhG'`@ӕ^7Vʠ"\5CAJq kcOq[Ifz HGi aR}:xIq='@2o <1x+؉uO3p3dԋͧQ`5{x W&TܺV3_\5/b3k ;*JK|A:b.ި\W?h:u \jSխH9d2OVdM y'=WکuCt'Ň(WmB&7$P?/i83jG\& 9Yj9Y4L;wk; jJՀsaGAqw{}[|o`֌ŽhT<۲E_ ۸"$ BS7$Ysl2&TgbKl?j 6KHgO)"6"Kg[sUTj7lߛ4Pn*V']H=I(=3^;16sN%F-&[2¥ I# &8/k$gO .9N761iϠ7t.v78Q w& OyѢQ^wtXʥfl { KP #(Pg.\#(| BI` Tnws/ی&ampwrpxjOZ߹YBKCVhbD _UK\F/=Pei?؍;WX,t菋BjIc7pX$"&™Zލ.h`k}G$GM47r>++j]zNsd^@X9{+u;q5pg++-T(K{Ƃ˔khtG厪oN1Ln 4F6?*]yJ4O R:I˟S]lL*/|b:qWomظ! TBb@9u䀽ͼCpcާV4>3n_G Xs&zE3 U= n 99Mc.kR׆I6e*~gcS+%Amy:L6^c.A4 <9s"6)S,oy(/[TQ/ t3o8~(I\?vҫ#bM, WAATnX#+(V?ozGc%L]ep5!w߷)aJwuJ.诊 v v/Qt+l0dnm,`+ n&A34ԈZMjubTKYؾg`Xz #4,5'MDLpD *$d r( puZ]} {)Ne}K4"fSk-GgJu7{lӇLx:'Pы{rgaOSꨇ75TM\}rq\bN,SVe, (u9kzӘ C'vR8zJL4†_FOjg탍 ] oюd#M@cqXG 7_yh6vdiWʈY?qFAh~2GHKADI2 yۛSHXZ^^\q0Jҿ헅6.ypt؄{c<_3bߩmԌq66<6W41yԖɜJꈢ#rO{mA!9e8Zr+1R6wjqk[^3DJ$tѱ ]:NMfXfjkZ!X)y;߶x_˖E_dSmN}rU6A&+yPDW}]OzQeu=C}X c!N8{%PK\Ll8t!0E.:^[nVJo^J!&x9n31}K郳gbl Y;|P]|$7Ive3'x/y5$*'%yVM]W, ށ3D2نv9 @w1 <_lul~ջA*_# w|2qHn"舘|>`rZY5sSHtPtePF3c~V-!: yTG}S% ­bO+êwBHhR*EτX •>Jn/Ә&Z ,+CsC7 X $ 1/,pphqrf-s Ckn)(s?lc".>s]RʻL$$+= 8+X7-2MI;NS]A|TSt)ԙ|s-~uyd1.Zk eh!ѭEl)iB~kM[ѭԠ-GogxR]G5j \£86^rG<\zBnGN+y 3=d4̶BW: g/ 8ͭ3YT=Q! do98z?f=%Gȁ(c&s լˊ&WS.݌V>=܍ WjM*kuneOl??$~ya`l˯? Z"@ZqOAs xZ;Ѱj3nh;J+`cpm vEѠPz)"sWۉdΖ5a?{0Y3@Wcv`~jcqLcSSU[ჟѬ8,; (rC㱚d!'cu*F<7dy}s4M/-fǑyIc/XtC>EQmO(3 4A}V.3nuI'3 aۣCQjWv=I[myps]C_Loe[DJrawQcv,+qQ7'G{^A}7V,a**dʦG1S9F$d ~u5,,O'QgAվ1GOJ]lFH^1jn!{rZP)710GHj)P,=Xx7€sg>$ 5>N/%P$a@Usv}7tm@ !e bx4H/Ogն~`.r9$/H~ K[֟m3ݻ4D??޹VR4&Y.h`ւ9^[65jZO2v(u)EgV5{`Sū%#3] zG:EUM7Ƌܗ?:.aNx ҵ3x4ZUkm+ۍCPa<߿u3<Vd1iL-5\B߀&[ĿqL{ HnoK\M\A5 &^$U̺٪t5NJ L{BHlnӄ: J(|I[&1 XGZ[HsDt'+?k62gb1Wi7jC19+ jm"{3y0f ֕tAAfb_KQ г#dKPPDiu|vEéѹ&EQ*LpBfl˨ 8 ̷[%v#>7UN8%9I o$h:Rmf]:s)A=!!Xu>U⌐߂S㢽c=vEdO dt䏚!,} w<1 .>A~Ӡc"9eӚKk# K=>38>lX~M?Ya7ד7±I`b.lJъ-i U1(FKl@QMpk E)M`A$]Jfn7dG~ ƛo'w@`  eV;8N̔ˀߚggbi-6w< O _eXLhK,U#1.qeء[v U:7F(Wײ_ZSicnap %ECji˰B~;J_JĪ t`LOiݮgwR.M.ZFҕ-Y(U?@i\=b^N|ٵ"0M0%"~yM3}V:Ǯuv(ʗWqОj2).\p$KД(KK0 e~9aŗ_^$܆IX{ϑD_ ĵG 4pmZe?{X $1>ٌk8[ Ou>Kg{H3ͮQ]gMg@a*@nU\(t2Z<,bσX CE(#/iCR9kO\M!e6Tu܏zK*1G:(h[@]AgYZ - yD7{};M"&5 Kl|L ܓxأ!qbNV*"FR к*{;qi޳9q'kت|T7ڥyt0nʋLmԆH+33 xtM6?!6W d>K1my*7$*DZ7(,.MAt(Jw<'JDo|Q^uzxđJY(uEZ-#cKx5 d(2Ad ;-84JJ"5ΪdFmpjk@CxYY@Atb\;hq׎E§ KS UTS(sV)]x1bõ6RQۿ='(G[*}zSʹG# A2H}Ao|yiL7V&S]TqDzg8pυz^]ڬIPP%EO;*NXzy񕗘މ&W24ad'ɟ!r}cVݳ\xIWlvntVIWF;3 ?mrW0prK{=x(pQd|wRjv:;1D^5y55^Ɗ߭^S?PNM A{'s<`ꤲ:׋TP z Tv>"B3CB).R?Z_ ! D^W=,ߐ%ZH?Rم%2E[1L_wW ]Z\C=¶sҬpuqإr0!ȝ5C&Xsַr˜ơD dLwC  FMF;y-GJaόVoykaI[ kڧD1hFwu+e,?fB{- r%&UץߜZ@@A'17 ΋c|t46dCA"Q;('R[#i|p,/R`M&E>(Ƒ_Qʲ0(gx5ʞBqbY 47QT=sl!C 5PMwj/-r b/ GJhCYflo]pXE:!crJ3 0 HTʹk^E 1[Wu"fN?f:]օ0_ۃ_z j .FS\FEcӘVJx:br'weVt[x̐>Z_va>w :Nc7OyofP213?^JLaF-SxfcՃ.eŜC]@¶9}'2탺lmtÌ0+Nǘc|FEQ{n)7/ 3Sr1FVs *zl[&?^o3X6p mЦڢTmՄ( `Akp{,oG_51-iuOK2cc.vʂJyAF!)X\G=pg[H[ڻBLss(#BX9\]H!EP|ЊTFhu$],,XN"xJiO?k c&ۛ@h{좲~5$tv-lygKhRQ,S px̒AFw$0iPP* V3H'8H,YcKw$)F'nsw AcPq{pN .u5 $~m%{ܫX6߿GCzECi2B։dfdģjDC%S$XOEbW 5Cy3SW\v}} 1‘= 7?'ѐ cHϫCRЃҮ!:ia|{t!})QhnJlj%y:~WND$ ]cs*y :ilgK ET`  aC^Yٗo^j/bSU!R,$qBhvŊƈȇѼ*X(\ɇgћ`acwzwǫT]#ep(4dɚͶnLMA5*} B,fyt>SZدiAU۳/KM֖?O,=ɵt~6Vr=ΗBV$=&ӴXg5 C1{_E鰖BrᓔW!ٛI V^'EL{ti &^+ZCY ppКr8a3hm-AVW _\Ch9,3۾} ڃ 4 v`2esTB_̗"pSsibiBQcĕϢ$p Z|w\MLQ}AF*D u 8Poojmoyuh6Y_bćJi Юv2c78gY "f۽ͽ9ۼHmU%W?!lN3p:H/K *"CX*͐<^ zڕ|"U7m&YqG" 4F8!Ro=u16 p~.(3-[]]ij?OyGWuWU?+6)( N=KU yxwġf1mzCিl<ɖn{Nk8;A^*.TBO92d.bbTo<@ SLfIf@e;>me)3zЎךgR5e=`=5$lz "ԢLG@[~C6ιxyU1?q+cmʝ6?gap1_/1xQP R7|Q}cQW t-j/] h^b F'4PT4M#"y 6- I?c#Wօg.;az't>T!!&T0e>OJ)OJ"Es-Bʼn[|3l$̈H9~ cFG9'{uZ z92mW֜Ą ރ! i͡LTApT6/[3ZIYC5|HyR v{M lN@ ԽIХWmuEs%* "'(B=T -HWՄ7l1SVrwӭ=&ƞK@~mיEͤK[`j 2Ct#- Ky[eLqCp @h asDݖV{/$2pB.<2}C LOmZ|3Ohon,)ʑ(j7b_ ǎlKԧ{ޭn`/~z߫k4e$!.UEC8V無s0Y5`j+(->Me%G4.J%>pѽ*7x"2RM r4:;"'8=$Tղ&1]m#2kd_{H#@%I*~̈QX.$3KښSq$er 3f~jMn.OV23ET8c/rm ·cGݑ' [gMF=Jm sCAoę9c{ ?6b[z,=Ƅ5M :qfQ+`xNCxiA+`.7\3;5 ryt,W[1EHY_h`%Dx#;0t*atJ_$FV6Eu݆eSZߓ#Wb·mɑ+b(z~e@ [˱ژ7i-AmA"X?ʩuDXYN4NtPx,_G-5" O)>̕Y'þBu_/S$%vQ]R6̠vxLUkzv2eO{ZEy֛MMWhQrXZc&Ò u n.J-,l;?Qߚ$/# (u~זb18 s.QF@Z'E\JkyFdƗ5_3fCowI}B(:\pߏF`Ӵ77rHʢ\ʑCP c\T@Zf?]MPT{ kž%;d9WX)2{{ԋG|w&d^l8=0D=d=˟!k3> ;.;d%Qŭv@'ù^1ZJ2dy V`4_NZ(Qh!X^  "Ӿ521dKV2lLcAYFج1}?EG>,ME0 b&a4#J>$=1t-k71xH&)I*4/V|L r%]i{줗"HK(O&Y"q'8lD#I#§g+Tb pHiel 8Nmv3#>>oGTo6sxk(Rb&9Fq >*AM83qSb'< (2XxWK$2jKPZ4Q-{SM}fTk^{eVw G@QRel{'qg -||Yyۧ*pJ@zi'zo~A[r}O/7;F1:}×I'BǠR:I8{7V֪{_Tc~܃;G5̑~!sl bl:%|UU2Mjo)IfQ.Y%[Rw!nӔ/ҏ<`QqTXL c^;[;-2΋:qBl~ޣ_䜮93.)3-Q@Ɂ1x6'ʟ.R͢z~=EfCeTr'S'l!9N@#K ת'@NW}EE_C7bJ'\c!5@.Gm͜qKo&pcJ*'PyU6ß9Yqd.ˮr"CrudD&Q;2HHJo`ZiA+yVZ, F}x I=7bP8Бah43I PAE_xj#[80Tv+oQ:d.{"1F\DKȡUr NI1 eaӟч_όzEqM%^(kpd?YQCC~Lnq?rB5$gŴOƢ{D XzhqVWx[n[6CZq.x6h^Rte6|rcq.t BFXv/'^ ZaDȑ:y&dM_ۄV : ~XCCI!fF2SLĉlY;x%*&%ZdOO5#xV;} WiaUI֍6'ǵ]WH!p}_pB\5љ G͹TZK&+t}Y ªg7&nV!UhF R;\=RF0P@7P4/}E,f1zL7.ط7s@G_ ݟ境ԱSo7SpF%/*mB1GIf\󟼥 jo~'fNLO3oSZLIiLսkbI#ntiNB ξ+FX[N͌ĝ_鐑 K'u]= ܇)XL<\-Tv[m)am\Tm0,8H1i!pP| c1N.-@E~ OW.`=$ K⤛~Ov/n^S, `p.$Kby^%3S8"_n^'u7#eԳ " xܺyeI*]VDgd¸wۭ"gs 8  rc.D;q9tn$j-,Nԗf?J?G uyX|Np*!uIy`2vrJx?OεgYZ橎C ja&?5 m8)`EP >z17%"6qܼAhGc |7ÿnP5Sz`0ZrRh٘۽j|14uAMd4atY;Kxs?TCXOq6-PlT|p80{Xގ̀FBIPuʠO8ܘQ5u<7C:$Nâ"cvI>%߇VIsv*oJ7#9,9I=e냳cIs᝛ T@}5 H(CU?S &^V}]|z;k-H& ɻNd??&j^k\{|KlC0X83D  } s+Lo/K1)ֱi} b(5Չy I]99EvJGMX!++uTReMiX!N_LjWlQ[Zlױ 9GNc:2gΏ2QXֶ8.aUaTKL)(W]n\4:1FH tf0_1?x0:5>GT[O8` &ѭf͐eN|dW 9U<#f}zy116V3ӎB用4`tz2 6CIm Ne*ӯ{c"]7??L{L`L|hǿH^\ԄܿT5)_9d˕?Ȯ]"]5է䖦07VOݦ5q|,ܳ]>W{]41l750pd%F@1>7? 0Jh5U7Ehl+SzfQirc\  ) H &[v7rZL;sJPy8?;*ӓ}̓i méY^#'ke#_O֪jm@߯}V[sضe$00k.,jŎABI@]* r<{4LfaMd(tfLIL emcm,']͛\Ҋ򃯆`‰Y:hvSfbe8a4>=$^皁xi2gw1EC 8F׊m4h!8^(LM\htkTLA `[d=(j0Wh0&KfB9x!6}+ˠl]zō!YB4`'*W>/Bo,t\ĵtRlUkmOaIuXOe7jy.S6ssdNR4/__,»Xхv̞`Ť%'5ñX!:D1+؁̞UlcxY" 4`2,eލe\'zZz-?\c ) vO6Ben,#^`x׮-QƼ2ꔤsٳw䜛Tٹ#|-@'?/,>33-Bb|)gfIEq !X9Dz$Ó«KsUB;M5Z5N :N"bb~up-RJ#$=lK71&'DfQohT\)FMSDưo;ۥѦ6luGX~ϼ3՜+C|"]nf[jHzb]cC3<WVW4?ʄ̹ F.jҳ@+8$-ޕ\1f~3cj,8{]MMf<=s(|6r?ZNLW[s)p!XgqqYji BγYmU`Ng R먑ؗ:)`1x8KIK1~:U )PD s1pv6{־$W¢k"}9zb"◢nc.%RsRG$ {NIn.ԁ D5]é]2'@)̭Qv Fؿ*+CYc }Dgv /$h +/Qau QZf (96ؼKIՏD@W1G?̂@y .6)Tr="`^(YVۜ!ю:_6{YgfXcH~wqN-C$C]MԨNz$4?A)aZR(~otUPjt_L I^a&5KWJy$,qKC.?_@Uw?S AzVpl|Ht-a:uW^5@Kx4℁4EQwUYI9b>FVESD03/93@rl]>@Lwid6޵h\ܐ,[t~? kv;N{]G;/M۱gYZ  ~=Q% lHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSComplexdocument.tex7zXZִF! m]A-MՋhvG"uIBm5Ī0L>(V JpQ!~orOIT~ZQAx}z_D_ Eg8 Jw˜g,E̼O$V?(eYOYisˁ^m+^O? GP K\+@1l%ƢWy@?\"6vmÊ9M U.0#a8W•ɏXې:j~Uu&̸M.k7L1dX$I+)OQzgviO)@]tUwbDY_{1/vIG;>KT$Tf/'+|=C%y;nnY% \e>ـ* * =G% LHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HSEQdocument.tex7zXZִF! ᒖ ]A-MՋhvG"uIBm5н84C/ by'_Tp7(K5K^s"?Cc $tC U/e4?ĚPFM+Ž^; &j|Y} ڲTtqp C).&!Ma0<3ȖҮ[$ j8m5+ܰ}7f$__CWXi?K M^K{OCytwm"4R6~i 򸞞'ge1a2{uN}\n@$vraL|Yuuoc嫹(en D;Ǯ*} H! =]% $HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HTranscendentaldocument.tex7zXZִF! !]A-MՋhvG"uIBm5WgKX22/ZVމϗ"-t%)ٝ>\Q 9X7cCRhxIr e,DY"jΟ\U#%9Uc*r<(BU?o}tɸ} Nvk} *sC ap1= eAżsse-+7wk2 %=O% JyAmギCš27^)\RUC>iv?Ӱ* D꣨l@g\LIoPHv|($I>J :9v0 +K*s{\>T- U= 󠴑4~d T?}Te&>,;k0s*xHRMvxû=PrDfl&Lj %.Ų/Y 8D'eisuS1Iqd2)?5)?1[nně.]̒@R Bn4#!yK}%^]+}% % |+NڴUyZMǶ{ &[ x%}6"RU%MUQݹidy,0@nt+!\(Q| vM$M#:] ӏ 4ړ<#c5}U0ķg( t{&K5e9_B-o{(r%z)WsyиUG,ysK7;ۿ${W=9h.취Vȋ@,W;8vyjNJi:He$ Γ%KF\CPC#4|װo MS0$1t#Yס8dtSD=AASp݇\T~^ڬ?WcWlE~qԻn2 ZWyGpZüv_kРe>e0=۔ߴ>uUք9Ljw;'Vz6_ljU*dR LiѢ/$ԼlA{ax]2xdSͨ㣀)_t,X+-$w ەziv2 Ix! \)F6:%:xx #2ĕI`A?t1jk&eN#olE7z!j^rB?u&-:V+򢅤_|A3n&$ǫ19p2uA9F}(T(-=I0ڣ R%6BD:j\l`x~ef>yk O+S,~]z8%BYaFp O hnjH_oU*4Y.kb(/Qzob p12|cIҪJTm]z5_Xߖsiw=I,N~g!u7h޳F/̱Bg\*/qF( [BQ-@?a"w;m-YHEP 1B5ij.?_a*eT ~{Y.&/8"ps,Pbya)9bD3dPQ.T_\Ъc$$׎knI n.6PKIuTįJ; }ҀdߚbvDe R/o͋ D*xj'R_8v|BvDӻ1}z1VHPio?=_Ei 8 G -x @lpdtfyd6 x={--5̩7ӍTi'¨ Nϗ}->=0iM@V`%N8 B3[c`35s?|j$@MCO\)n8Rx|c;=1Ę Pv2 ]IB*9욬̅Ќ"eG)w}Lſ0[ҁ bz͈dh#WQyeA+N }ųhB,sڕ5<%e8²S="kWO-N 'HHQR7i̲r>L Ce\ NBT=5"˶_E$kRM`;u6jpr;kۅ~hvTF*WsMVDn88oD}_Z Xw#%23*E!MYb 5uc"oP) we~pa=wCn1ʤ! ܵAJ2k4E$9졖m$:a"7^˺_%l>dFSeIws|OG0 YjSHm J(UǢgU/՛ECk%g83Q-cm 51ߋbh"3JL*r~̏?ż'gV{].VhJv%&RKKe,M$ds7CC}fW"ߨ[";F3\0A/QWC^|"eIz~{`K;nT @D/dל|6VU[w*Z6fHK^&Ro]g[sL$5C#0ICurx9a_hlǑ oC5ȡ9&U;t2,d=iV-hfMtnJ>^CŁEx \IR~zbcZ\I{-$SSȿݖ0|; MQ#Ls;zA8h`>8k/MAy%^ 6kZ,1S;Y o;XJPMQ10)4*3 렛72{$-_tT-\dX$mSŒ ?I $SAQX*(r"w&4b)I#cNl(HjCLL{!bO"Ih4kkpur\xWզv4+ 2NwY\fb xJ?[ jωHC=q *QIu ˤէkU;yKKvbp8l6Gf۩:wx>_u!R/ Qa/Z+ F06~]Cwzs:/8j̋煟;hi \os6:R%5̸>93Ø+H?fɴ'oۻ GMB[ϒfWq;ikÅ&*ajQᐷ&%f`bCB6dW7h3P6#`k"s={A(X0نn"oa^`կZNR+wv wu0~@nf<[7WVrjMIժH4Nfx 5;PK'QvhS^Uc$dDUSxۤ@WV"o/, F~h OWy2(꽍XMޜ) !|1ihxzwvcP\>3lSP g{|qBY8#i6ra .PDr8 PbMپƾߵ/،g-lv<ƠhrHꑺҘKLOa`cvx@ݝCPQL[ /OK|B4xܼ@z__o&j=ZQ>%n#nȈ| Ԏzg2-Z'@M^/7"eYp[Vlj ] B''z4CPZwnYA>w.2HnҀB;%1=r +% nuX$ Cd0&"Aۚw*7\3ܶ7 .K Rbz١K='6z@bI v*%J,@j*pUvv]WMRuqFE(U8fii|2>[Qj{|G6]E#jb+u/wf)!U<;(0 %G㑷89-Jտ (Me(>fn^I׮]C?j-)1AoRW$WݛLm_Y MFN"c$ 0w:l߹T014CV07Z MC3- c%|iبَou ^w@0Ɓ˝YgYZ ``=G% $HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSCAdocument.tex7zXZִF! @ ]A-MՋhvG"uIBm5Ī&E#d?PoV@<=yD$hY\zLJ>y .0rqopg#[ f_55:H-k r i ^ eVaʙXl ~2=$;l*s4C{ܺ D;Afx0t; EވJRN\ [AW?~6TH:UEt\UkP*ƋZLjf! TaE{nP*GR_K(?|"PIj!WS;VUCV t8uǐ8\K%D '0ta%#9bc<]aX(L ="\'+qY'gV3J *fTT Rq%]w]1MǑ"I܅&]xEˁoi_1 aq׸]Vfc <Cˤ]x1McQn2+#4Zd fH7@ٝ jNWo겖O9ċvw˂eC/oWLP{a@;ᆋ1t{ѨmNTC^b+B;j3NF76 `Uy3$ {93N5H~Fue$gEo15fSWBw rƢgV jx~7JD)+-jj$F9,QnESl}EѲrڂk1FzοI/cEIdϳC0ŋ3b_2!gEa)Rv\Ŝ#M `qL:OJ'ջ 9 5Q愴}r;60#h. Ւagew2^iWT%:aP=W cA'+!~v '3Z6Ekb~ FK_m3: nVǪ/| WW jyѲ3b'|r$db2?v:Npܤl4Ai۽%IUƍ _[H{B@nJb;: q^Ӟ}L"@x7 6\EnN(-pL*r0®-5"-YlU٢xNp.z:A)АB<sӡd͈0āa'è s.hw^¡HY u\+c ]0,pXAJ|۝q]sJl6} MR gN_^l > - ^o@t43-xRR0:DIE写WDPy4K +1e"~&?EEŇ]WreP09 ƖjbU G&2!SsMeRĝWqHz/NhpqEqк0k.<ŘY%UÇC[M"G 3:ʱWHb[e !Vv 1=9Y_SXY+~A-[2b\7RLͰ*& pFi\5"6n7uڍdXl6<Ryf?VZůjǏDP *(|*{$ |e UoU2m &vX>O~)=QA}M:ϓ115kL O~hn&D;.FHSdҽ"ږSb!oU[f^+0x)8+8}>Ai,ҹGq9P;̙"%Ɵǂtǃ+1T 4QU}WEo>s[#D愦(qoz/G Qz`U*ʂ*NLY#`X.^= re@kraB_Oہ .P#L'ҟ nԬ_} 9*GI$+$rZT~k,wwKRWO!) 3]R&vbB\YdgItsp\pMdY=l7Wujf:3Ioݣ C}L|A`T [fg1K8Ȑy@z̝U`蝁s+*Q]c?;]qjV&c (`LAf[AzQ.έh렚Sld sA餂-]_-̝ь>-Z"D )>fnRFvw͇хDq4{G:׉1 Ƈk6xKli$nçn~>Wl39yIs&T<CRzvoTG@}}^I$o_2&3/w阣 YEA){{%(buWXyZn0j{ɧLLK:4-Yv"2N» Зcc\Eŷ!eSӣiPziHf-?PO/)tĬݜbE[ *p_7QBOEheP0}9wcb^Y3aڰ}=k딣`ß%~?AR>8SqLsjF Rz&ĩeH iv7* 󁇒ZK]kTfگ#VHX`֖"HGN&ZGvPP1’꺣&~D5D(mMHX j,ݜwwvcgw1T(| o'(nre`D#܋lv%e@?ig݊fXqO7e|z8 #q Y4j!Qx(sqAQ;ųk6Q AM_yiׁUǙ ~͑Vv>"p=y#rƍKl럠D*({w % '\'Dz8ҲgG/+ ](52b~}+gI8u`Nw/er~PP`D>9Պkd]qU,?ɗܵoJ/ƧC7`G(S'e]'8/ÖKh p.]Zv04[Ym22.*'UfHXj:`' p-ˣ"9YLqc4iӪyߺj?m6gZ^e4`8n;zNH+ 6 Z^G`?lu)ωw ‰U/2bݠIp! R!z1<[JqoBE,اk/F>hU`c?j &m1$šVҰݢ;pi؍ | A&wdnU}7# a{dy"N-FA14k>tEvz]?~1ؖȃ nd79?cӐME}>\nyC_=}nrq_]-˂"&QݝJLz)ɩW s` m.)E o;;;TVKx*ӊUhmnvUhnxקV8↏%V]gd}[y'?~w`'܏(jlGm\kS!m1S1ZOZtr\, n5gY.˲"❚Wg0WR3P(Fa =OmYZ/e=Hh,j`w'TrF&K:?[V[ 2Yb(%vǿz11_˶NeBa SMZxʦNBJvnK$gZoYc/cwst#UhR|jԥ=uR:~fgGr~;8(5P'1Zh[StT˗2o(取 W;it(Q¡X lRͅ[&abaՆ z^ 8 %*hm!nHH?-ѓS+!+{lqGr!Dc?ɑ6T꒠@%5w`֠тӢwJ@tC˿R اQص@ҒiӠ/EaSS.AvǼYzJ:a=FEU r )w Tuk+$;/DKƌA4.f^e .*X u-59LF$D ZLΗ`I@ :6Zq1;<5mrY~ nQ_ (X!K9/Sۆ T(h%Nc++Qe 1<9x6 ߽y)I"zokckg,A #9N(W)mH!`MEgW/b=:Z&rC5 O{ۣQg~^0R^7([1k':l}s#qm9/xS2 1 I28V7KZТ2̎es^:T8$u3z2,(2O>-c.^Yc* xjiC{@s~8$JaAنw{? "{Z hRn] bt*E!̻qAl2: ^v-l& *螖ںЏ8bE$I쫲ՠr{U6y|W#f_ mR>&d"Qe8C8g}+"^Q >]3fflɝ^Hn{Wk{s %.]թvF%2oKaru($WUZ"98 CȵbQ4DkojN>6*$%!t *:<:?tzC+1s.֡19M (k߰ZBŌ^oG@ 3>/2B>N 3z_>>W)b};FYaU˒/{`>s{D6PE`C7vAg3.e~l@ߐl(h|hk.k ɞVS}P'eQЫqҾhy Qma.Zqf8 %\ɌmoX=ʵ(& Q8GI]rZg6v.] G>rvp\ ťwItMf2(dI܈ܼNI`~oH3/~Ȯ<xfPu"v]T=zN \3Z{Bxֵ%P6{%]|br)@+M*11" !yXF 1J,nI/O,CYҽOG[{T S'mf>!K:Mv)$-#34yd кw=Q>2NFL\IjZTv7܊H_ M%PTۣ1lmI??384꘿BQhmX|- ,м 3ÅIaet#8ۋ3oR2(D <sLI:7[S' PY*Zimmg!/;PD)|I:E@Z qk#_4 h!5&n棅FēD瀑.!83¼F$KZae46:ߥ1/"r&ee873b"Z ^{uwR:(~F!?7E zq;Mvb ~FLRmL5GNHc9"!ޒ._lrd2;^V?= kD)7wR^> #]d\9--d,з2/bd @w$k"]݅R*L UW1ݑBSGB+d/yWޔȁhLG6} FH#^3:4Po";lPtJ6E[W}dz 0= Hʛ-?3HPԮewM-S*ՆZfT,Ƥ> poss$ 匯C"_,Κ>ON$ ^yH$g$= -xGvVgLȄ :—[%,iN"r=BO`$nN>f=?HR[ cyA4NOaULC-PuDF2P_©,V6Jun8uAF8Tt8l趋x5Cjpáq 8 Ϲ(_MF%mT=/oD%_6}ɔ߱C8]{@IxQ4MMe;-3?I,B| b)C6РŅ6L`Y!\.+~t Ql^)­)0(S pGԛRގCa5ͺtXHEJ3>AKL-W6wAl.W^Jz\K4–.mb%SmUۢ0&S' _v6oնbS 6 gLCBlQ0ݻb<.qUv{w#?ddubZ/6Ɇ5&cjxŲOyhv\~?C56e_A;pƌvSX>r7¿:74QÓlEFܜk} |jhYKBEeN/v3m'M}p5|w0גZ)8YE~NYg&KTX/}r{NШhȊjYec_mC -cK8NɄoHԚs,i47)xSR= ]I|r3ReŇw:k(Kf}ZcGgx =Pq Iʡ-G3DJwWᲊO%ܲ5Wfeњ̱J-oi6p9R+MK55JWEG%)[!C<la ٴjl19|Os1UQr\̭AѡFylLAii~fM Pivtxt,/bOL?~GwĪ*r9g1=>VGȠEu$ W QU.VɆs>OS:oI+ g*Q-̵! l?֘j"35_FW O27vCh~O+Uj Ä?ARPy9Cܳ^O0q(Zd7V(Js^Jt>utkbK$vHd~쬌n/$ >R_ )2b߃/!R}D2|j.ڧ#$l-0}Fë<1}3Oo<^v݊5WǥtC#< ) VSo+zz@0Xfmw -wS$+G61YwR!L6vR=r0K˗iDbzNheך TMsQyyOS;3w0A%UK,=0Ꮛ@T6&4$2ok'_Hb[E+Wߐ)CFr_Xpe@)i2hhIEHߐDz(6Ds _x%ng BV#s/Ρ^.zK24V[iB*rS+il,G&itїOLUZݣvr=slEMy2.%:̠+q7v֠SwP][ZD̐Jv< t\breAca7:!Eҟ1xKcd8¬dex5 .ӖrN2]U%y7d j O[tKp))]JЏ[f^}]ZT0kFt-zۻaN4Q*| <)'aqͥwavyz4JѭQf.)F b6$fz`؇y> 9 vdwҗpYuDŽjCs AKd1t2m؟ۆJv".)35HLˬ*#/hҿ,y݃o2jW)N)XPz _<78@im'@ԥe8ye$2C0>k!5,NZtAK%Ԭn  E"[}DUaw^ ڼq}g PfE xj6jwS<'^d\<8ԍ2`ۛoV A=@i4TiXPBbx/6#}vݾo.ʞZ#vMlxA0p>W@i{Dǩ"OEjpO]J"g~mIXMQ3Z\qf52^uح!$Oӕ D-:0 H:&pyf<;ǛGL]y>d};lǧlv0:\<@WҺWr%y]9`ZЎL~T|WeuNt dڭg}NddςnuA5BXw6Ui-*/?NʥJ32V4vqZhR4|xGG{T?'~XH^ [%~eYiy}N7ɘ(mK(ͨ sA*Nڞ&A#"v>GAiXaL'mUBaz!82ZVzD=f4u5y .THsǁ7>,aM: ~K_Si::K8|V9 `%__@KM8@f]kH{` FJm-9h3OVoKH }Ųq_yHR^*D1;Tk Ĩ7"0Z2w.ʍ2lIX\d>D$jԫȀ& h :$tC~I1u@TXL3/nAڥ$ϧ-ˊÈcZ}_MMx N(>s HQaBt&lw:\ٓZV!RoR,KwĦ0\šj2GXiHZQ%^B jG]#4F[Ҏ_׭-0˧)TZ-"0QOKE4HQ(k4np 1PHC)er [:DѬNŒ죫ڿA=z\r5X¸!R]Q]^0dǡˋL%9#K; ?[H?@nYğA.6`J穾p+~a璶uV89}%.ԡmZ'w*z|[=ޝ{qtL$Xnh**'_1~mL[hƍ^J4r?Z]9B=tXy;[Hx1gM:jq=,|a JTAl ԕ ΔD`׽Re^y^5'ă]kfL8L"~g[~?:^hBjGjklΩ &:=]ݩ/9\wJ>N:y:4i6-x IOAܙ2땜h|?VcF;9V7&&ݱ^KW|OHu6ʹ='-N=ܵ~0 %F:M8.Q?7MF4O\-ߩRuf3px H@ aa~Q 3r1|0R-"WJ0GQ,P<Z@M^lT5L֡J}%u|Wj敀21h67Ph#o?r3ܵg9JQIapS{аav~假UhܴP) S${ ~#4_t3.O]hG9lsB>}ϸ1"y! QiCz ePjrNv̶SmRI7eŏ]23u7-PaR+k#z;uArd(H{,vwY&lV;@bdExdgeSzv8NCّA/,1,z? T}F#ԝ_Pؘ"&,C.Ivuu 3D4T)!8m7}h>/C=YZKBʶ 2>DGU ]=vi*RAjɴ6+"I8QG4JɬT\x_)>y,1i3 ZAؐLXŭ]F!0s/UD &|fШPlZS|vzɍEgOu X=@J:-n󜧁 FyJIgťNX.aܛ"m*mR߆0l f>E0dB%m+'*L?8%~*^: zdB V+JOI&ޒZgg[Sg4b"]d Ѽzz^VjmQ}Aj.B.,/NZª:>5Ubc<G78Hoܭ!*&OSuŖ+Ow,_i]&wh.΂ hڵU"5[1Z/Gu(u ؼK{ǔC :pR! X+7V/.Ndf\z o6֭^L@xcnՂQ8|mT)Ks̹ԺY`^:dbW;;ǑW8/BpEIyXH ڠ/$JiNBdt+ZlL_d[q1)LN~==z29 ~C7cWH荛2"`hg%DImCJ~4HmV r튊=e5!Ih6®X35U߻Nx{t?Ϲ8W|< յ2GbLzk̪r9]|ƻ k ,h M Yi>cS€71j43_my4s+!Oty;zxsb0w<4Uէa(Кg@spX ))N7aNỮ!.l7)YR Bw m5~49l'aqsА#H- !πQ@{ 3р`%65;kӢբc8 P8צ.'gT(t GϸՉ6Ii,c&n͋\#Qd|[꙰d'Gju ?~aH2D,Z"K>K98:s0m F7}&W'9̿ho@VLS[7yWXfl.$&P28a7ѫVuJD o5 e t4Tz3kHcq1j"rt %o ΐ?ؔ=6aW9>xlb?~u(׫@kĸ<.WƆjN0GnU9pC׭(Β ۤ\m'ñՂ.%%eE(sLjDkx6cYP̐kԲ2A|xOZ*_iY# ҷF([]=r[30O$|y>#joc Ԃc8^$:cP8k޸X8O.y>RҌBHo]~$rg ,AIK3P E-XaZH=qU#{9Frw'4DFb!О"Ge^+hvY%hZD"~U5_.n aLwԷHW`"L,0'x 3hΒſOm@u^.e2.$UyZ1hucp] uA{cĥ QgYZ*clN#Hgy.r {-v8)[zzњ~#1.RT3u?0,J|R܎ѹ.cរReZ(h,P99$x;e{2j>df9}_=Yz) PQ#hTGiiUJ$>eh p |vHzW@O{f~S:SzyIQAYͥA@}ȭiY#ZԴ^boo'S|O܊;c|d; @QL.]|+4A];(X|Z p\ ?~.-"e PgWT`B/ѹN͚A9@h̫j`UMagbCiիe sN3<0k:L F8 x K6GתfԂ7>q~X"Qk'_C ~!Hʓ!x iwv]=B xBtIE`׍WEbrzX8ޡ7 PE5fiM/?P} P~ )„z+tG7:M̎΂gMmes-,)Bx=L.c9*ힹ &52V„Y'ȣt) ߮!M#|:噬6G=WA!)j!Fε8u -)dty1W -J07RS+Y'?qYͿAL_.;vkd!3a,| EY:a Ge}ަ㨰Wu =Ӗt^OH"`fמ9zq;ppOtj<N$$`'l*Zp'B3orV~N:qZ<}l%}%Iv{Լ܉f<t`*!b!7vMg+=60`‘ےtqvAm ͪEC{S2)B*ʜY>-K(q^4w~[٪z~⩽WI\,Fڦ=BL,nC|ѴTv G0{DCeg`&?1UZYQК"]R3WoK'0傴G>8d;~^ 6 AESf|g,*! YC!4=Y #iבvwU xe@1~o6Ç3,e6w(arY䑌@8ٛ-kGSm`ЙhyWeV`ķ?ex*xl;czM7A~32L_1 4&yX-+$p|s^7(8[{"]-[O6dQ"$c ["/⪳sD=Fݣ"f? b-RN &@c@%ʶ7DإžKoېebdd"7z-@HKlYC":W-o 5:m LæPK3J  H4ud({+}oy{K`0C1`VY2]"@K9sUh*pBzو2Uyen(tg7O&h)87P0xh8]~5RM1 g!J[ 5<4OW=Xz s Pn+3HLĢW& Ɉ|Vfxe\PPH>P9 q_1h'"-=ʴ(OQ](ʁgrD%^E kG)aLc,eӚZNɳ@$Kcts戴C;gXXU{Gf4`Y3Yx= tV K3Hl 7r""\xqkOh=1 yᎌR;Msl21dV/:uJx&\]Rj%E/`l԰ı!8^j?Fb3"&ٽ*J_AUV!>EaX=bPOu}!$秬S!*2&%" bf mc UPff1I5>7,Ш/,9;?Þ0Ɛ-@zTEF*RgkdYN,}1? k(Oy9zώ7¿$ -]XD*$EQo$rl[o}NU1?Dl5#ot1wf2?膥Sik,/m!^qV_B7oۉ'/9 v:r<;ӠqRQY 5H#j(w(ruk'/o&976v}1h5UC`M}LFda`tup#Fҋ= mc$Cwl|M:3e1ITWjEkein1CۙZ7494 L<#%yD ;-bf8DUha,ﴗ ' T3M/uS`ɺz gM$s!|>  b` ]ɵ׻ﲹp @Y IzXKȅ)u_OxOa";r0WV!Υn|OG|z-qW"3OHh+Y.4IKc\龅]ԳLR]lcP) SxaۦLAWp'*V R-|29H\=,ԼH_v3n1SuR=^COؐӨy77 %mh%@!*0NVoLqiqtXbD~uuR:Q8ί^ !4Ȧ̸g@NлRn,I ?^9OZt֔J^)e%,^n=olt@;Ʉ1܍C }>fy"V#.+J7KN_h+YLM Dԓ$&\w<*ݱb\>Yh̒ZG[U^ BDTD1~}N]R:PCqTZlQ(] %6[qR)ҫ-/Y;AJ3mi^r%Eš]!_\6.Zw$kWm/g; jJV =O% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HyperNatdocument.tex7zXZִF! I]A-MՋhvG"uIBm5RZ5`i[U ֯" hw');<T|\\C{|]ÔMYXe#6)X\_ؐ,!טAEG(YY cĆuК-Tԯ3Ǯ|.)aXfOR\wOM7}=b#J|K:&/^RDЎ6!)Jst@ydrpJ\BMkTI#~+J\Da|ꐘiӺ5> l:2fp}@S|7N/sGz{F^8u@kOLXbz,*koŜ Ȼ!OO;l6AeW}F˝=hڕJ+z(1o`<7%}sQ؜6+nZðܾ졍99BQK^6E> '!Uɮš21 /}682rܐkCMn !ڵGl Z1=>Y!mC6k@EbÔӌPsMǽX Au))3#OYқG9!8Pq*ѣa;&pՉnc2Z<0X/sĢofһ?xBdEH?q-bW+[0|udN `?tt 6HCb W[o5.ys vNq:VklҾ1# ڳ$t5g^Ed;Þ"R }^{wiM񹘫~qȪS^*{rC}.wT[jx-i;5Dyж#{㽵'Y V#.01c V041mh aơ1 k dPdԇd玲hK}q0V|rk"[0'oAK=%}guj %QQqUaf r_Sכ+O3~v:dwojE[i#QŵɵRF\ 5"e0 J<%bm{ځ\#)sm\-k(p>EsJqLezw6璵FRM xbXŁ+d:)l? (N07Ĩ ﴁ%`MP6*2Îh'E #MJ֝1,x+Ȧܦ.cXߢOɛGjeٶtb}UߠT̛d"4Y65ChOg.j /mDHϚl:S]h/ކmRXDߪz;5h1>gȝ )"93n7\|4&;4ة 7#YAj] ╸xTU%8ϲ p1Ɗ\A`$yS#;Vv9֌jW̗?ҶW(Zq+ըր7` _n\L$T|tƪϨd>ekIoUǍfpW&tKT =G% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HLimdocument.tex7zXZִF! ]A-MՋhvG"uIBm5U]Xɷ%ul{מP {,qj JST͉01DС[sVOʦP}CXh> #-uc?5+[X*oj˴E5ɨ(8B=@t@<"q_YY`~"qb^9LQ+SBuR-͘u:'?XʸqX[˄x]˜q蚉;.?Ygg<惬71; 7J(XEA! EDž&R}QB<2p _~'\ȷe6,=Ot SU"~f輰\L|.2RxGyV:Mиys8U-Xd4mYrsbQWG[Eo;w٩1U'86JzȐiW1f$bvC V' TIi`H&v(vOEcB*T(Nv, e@ BU^F \P)O+fRg)gkk}s>fho;|X2K]&'-1tDpN%zV*`07`,fl8]z/\_ hqؒDlIPY~Hӳd15۳eEc/ Uub>&~z2{Qu3]zQzg_މN, h16)G#z]iN&ocY޵` J8}>ټHw bqD"@9ދbD.[.|ջA4~/}cZ:0J! .g!Cy8D_w4p^`JN@38dC]}Fz`:]( Mjs<B)_`7fjV\ʨC.~jYT9Kqﯾ^[Q!ah k-6hJހ}0u#ݽz9"@IdPoK 8VLZtT}1A71l#nY݈ɜ+zޤD;(5R1oLhH﷟4$u9[dS;m_@r$ۆG6  ogyaEՃ֒Zh}Y7?&Rɏ*iyI5Z% YsWtގIyHX-ŲB`i?zƭ ƽ>!OR PuKvy B\zS`^@q Z *|8\v M۫[6 |Y9&(.2nmzRgsԯx%P/(`B ,~v'̓'q#omg- Eo0KB.F7{81+Mb~ #n%]{α1D6{v*%~STQթWTc8 ?fLrm1nn$,? S!};@SF:]'6~*9 53FժMPdre[>꫿hNo"j, V8; '޹nEPU 4+߲ygZ*}I=DŽ94(!s滪0"EZ6TvĬq Y:G`isQax?9G[ދă 't \>a0D)ΟpM8n\cq ^w[RŰ(GJ"W୯ʭChr>NQѳ[m<[zB&J+!q-N\UNdnyӚuxM B@2l:89+ơ}xR21oFRajG uHܶ(mfυI.)B9ތ[+< o"mY&i+k; Ԑ7j[=^alHPL`*P2qktKj⟧soo&\/.g:]S/C8{N[g-xO?4mAL 1/ڹs9t3JsK:>Rui,m^VQ;1&Љz5I{1 Iwhhu֠,H9t%şN@Q`!2u#!u*#;vvi{c EBiM~3ypbgJ56NEE6uC,N_`6[|xdxd]f q  Q+S2@2@)̺6>:yU^K2*!Y^7",QRQM̛M&L RY`/ѩ:x]^s2{g <.EB‡FLM궭Ӭa"t,CwmYQC;M!Ҁ}yIeW4u3 }8x1mS쇌&Eدc_<`+DX~vEPxEGQ*ٖ;'2Z^4qvGIl3WUvxƬhg  gvoOy^au  md(EɇxŤ,#ٚ:Y'k]NLc0W/k2#kSPx }9"{ f?Ϭlȧh3Ӥ); g$21, 9`zH P c<[҇xFnbhJktA`Ie}zӲEoD_,$o' ɑ}^7^b= ^ 9䧢&b1"gG9+&ZG)lsXܔcrW`(LT5#l6ezp:>=z,ˎ͉rb+1PW'8l@kh/˿.> pnZ=irC@='N(X#5zob)JΞ`;|!n7lC9'iEk Xn +n1SlV,,C4S4<~ XbΙ/ڦgYZOnz~Q$^^,9o)CeO=|_]Sg. _k,|v6\%46zrcg]U?m.:GD0yN<GK#|HwO~hYE"|5kzUlJ#z2/cō2|#5„-YR>/ل V],70-FQo/ȣp 5aT ovH5*=n_?k &~2B[wU{-Ə<l#юyC% 4|e*P)Fpmazɮb(ubo 8ɇTR GAp*NBX3ߋ[B\k uހOΈk&V-PO4 sqb ,;Sv1(]s{c?A:I ~ @'ZU!8͸Fbs:"NJ3F}Gߩq$f_R^@~랒K@Z 'DjRZͩRL} 6'`um3-;]"F^TLi%ޭ[[pUJN$$os@2C9[-T Np2>L"&0|J}37u}6R\x>oQ`ȏZ>aƁGuBݍn :25dI|h]ܨtRac 8Vn:U?0^M 4淕֬Vk2mW7ėJ:'(`f0'!f5;5@yY{r`N|"]؄ЎxjT9ƥ1 $˜O$cüz: .؂q*~aG*-ёz,W|ӎ2h˦mїgشXh.荀4ieM'B=4X܃f-%a "Uv?[2R,tv`[ ;6:vO)-h>U\o{&X%8 o73#_5m5`XU'GƏ]WWÈ"|F!jxq\s)Dt7RnXdNun(p[ 7MH$צcMxPFuGƚ-Ȭ{7׸?BOEm/"RVz-0Uѻ]7$ ?3T\'A%r;v]y, R:dTRaM]yWGt^(Iz4*ma[OPkoC,PO֜XtQZKz3*Ȩd vLy#?g*BU̅EsqFt Ճ@ϐ,b:_䓫f`k[@;H`(wb,]#pSk>!ӯ2JpP5VCХu ,8Wvl׌dHWohGnaRQU90bKee(`K [ECا@{N=lϷiX!RH-R^j9Ozm(|D]0v"A?xT;.>SVNR(Ռ({5e~O?#W,/ @ܖ˖ǩLR8#NhENOG=s}Jǖb?\o2vF[z6DLd:WY_G`n?G.cc SjW)ϲ~\  K1G#)".%*jT(L`uGe.ؙ|Ձ;E6b #(jHɋ1|`u`欱7.y?Z-80Թ#wլN 3zU8yDM6Y XuSOF[b]-74!}">:J(k/U?_f}{`SRr4j" ~(>yA:ɷΧ4Y63!Bcv*M᮱ej5ʙ\9ϋ~8&hRWAM{_o`>jШ#++Jk9ժ !QibH+Y)Ö` -Q4_"*Ml) S.݁zE{h׭;b wp=D"Fڋ>Ca4U[ZI@22Q.j m *Q£Y }Q `hsc*"XPgl⊙UsXlɱ3X/S?2$VĻ61?Q |Ol؝F8t)H$" o\-$ޔcfbY5o(=@Ӝ"(azs^k#rtB$43󘫭UsS]{xx+J{$wO8Eq(M!MFFW]hsm2n#[<*?K.^Ek[_Z%`ԉGY,kt6ta s"!MmQ$X(OgE%H/:4$ѵTlr^[9~2y[t(&DBJ>$fOg!=Rxl &8)*2+Nl%@>/Ap4(38UH?YY(iT-q\vubU_м#gjKS/)!)W1us_uR:3=UV}ϨA6;$VЛFMw }5ob^,ճ `"] 46n)sB]H"!퍈d9+}Uހbp$lMT7s/(-}_`\;Gm\-bAҤ_&8 T>p"u A_nL`[vJhF%-L8 ֟"y#xLhN`(Nc_ĬHzXv x9ퟋ.'gD{a^īIԳj]O}aMUXG$N{yK#T*TJMӜ :Qg*HP{t5ԂӀ-YE >QE*)`6@Lm}pQcj>сװ9vRLx*/ H\кAғhh->1'ꎢn-am|=H)iP 4:X8׎:yylM !C}( ViŮ.`i\RY%ӽ}]Z=&چ+ \,$tTwdzMo&&Z`t;V2`sNZ|KfW.@6 Pjr UA6d!Kje{5 7%~+R~T A:0cf6t s#L*^:  [-pd9 0) V`^\ #IH<\-ٵ򆧩kb~_铡r2 .{~k'@ [Tc.A*g@%zql,jൡ8ƴۈil9MރK$AZ"oOX}\kL8MJE:iWOdU+$._HL=~?Ĝ [No krl93#C>ɈvP.b>4a=6:mk!`L]b}r(g=μ~#D ^(M}TAUcxԞRp$\鉩C!nE?*詓pM\+wgVw1'.iyl@ZJXnYu!@%;q`8I$ Z)|J@g2Uq"G~k\ v.NJ:@)%e_.x23W׬Ȉ 0%?j <*z/xQuXcrd+޾d0üGu1%KvY9C_n.x7T^gaf߄EUlF .ah=K ]ܗb՛ٵZ%-RY LR֠ƨbլi:(s?Etri󻸒 !Rs6 ,k]ѫ>`|Y0*sNy"ԳYSw20蟔 ?t AzWN|W-!9g*)'FJZHLPcN['b W|݊uYo^⧄gƕeh8k\!_u((䙗ͯ_SJfYr`xT[)Ϝ~Xz}$B4C\k5C+( %mۑiFysX TwƆ{2ΓȖh͐Qјw ތ >]T(\Tc#GpR WtT~Qw=hBg# *zf\$)(M90r.0^+I-a$ sʫ+s@+z9uNcb\8MGbEUWp9Oz@mXF7POBm[JDi"Ȏ |=0K^1HNnAQn4FK-[miZQǿ'Ay_ }"*C\'`9gx\XbE6&<: ] Α1W<`g EzUB6)Q* 6mZsD%- HHq|7ж8pWK0:*Q]쫙ACy?d9qGrq7޹:F|,֦m]Jr@),?{x3E/Ʌ(>n?ЃD_UI2m[@n@ﱿa:PB #+> M^o8@"~I?p/bLӶ]x9Oܷ'I g-[dQ!DYKHsBH |@3#:-pa՞Q;| Do}?E^c׀٣JisF -P\puDHѢCAK|v ?b(|n,qb\1A*v&sۄ|4/?ME)hHP<}d.(+Pg:+{Tx>GZ7le"&ⲕ4 F+bb@$u `ۂoR'V?gn\̩{WE幜2Q"4hJJ#3>d.ɜcVHt0"]CHa* p_=^Y qc|K6 l ̟{?s1'-97o$kY19!wb϶ A0zDS"Ԅ]y3 N0} ̲o)XlǍ &=8eevɲqSEQnϿF@.ʰXyjje+~Ql 8O,(?YJZviV4DJl{Gk=A:ѿށy*Sn*B¯svS3j^=]s~:܀I),*H} zbz oT=[w{6ع>oˢqw__vgk`hX"j,Z t(GoF栺ÜS\d33'0' e#[J_E 3L7w^mJNʙ9*+60E X "b!z3+eWĭ壾ddۖBg5ʩmB?QZ>I3]T @*QK$ў};Vo7)6;5< x\\̞J"_qeDg%1WܵD$GJ]VNˊRf `݂Sa m{fQF>0xCӐN9N_J̜T9 /ݮUb/x$O$Á Gȸࣀ刼a59Kdj58STsit;&@}Gȟ99X=ghP? X`;[)FO]2nbIAldn EW`HFW8}*Wkh.yLvԡvՕA, ݺh &ț2l2ܠKg\>(`j1Нh\5{9IQP>NY;|bJeb 5BHn/ p\LS~dD-4-90{i:O=+pS)N^N[61L،^"D8;s¯J)i^Iby^̧ kov8 l,7Pc{n;8Mi$INáx**v'd/5^M4e?w~ ثC @|{p =5^#s_vsBp3S e-Z#Mpr .H!`5˟NBÕZpmJ%`(C(Ծcӧl&^s5}A5ӊ;S1!qO ކpy؅%MԞL@!6sەe=C]tntDa[oztV._CrcA!9 RM@ڤe": a;RC{= %@<'[oQ,(]۱΋$Upo[9ˢtLuå5̵7clM]3 `Is`5"9j~|# Ĝ)&\=*ڏ-Fq歹 /YjM)Z6gV\u"(VJ3 Z)CXy*Dd%A3/۳5T>]?˪;ksn%3.mOXL9S{%;ZbhX 0[:RyDEywRWlbpFȲ!  Iu0$2AA܇3Fu⣗hӎȾs%8Õ~ERWLAƪW6 @›LN `;-'ު>gw幹IH&0f Y%4nG(%¨8DAion2TtYC ~fC}c !xtc;EƊ=2;ۣW%߹RߪB2eUͷ\@PA" eiLWcGș,zB|ho= TA~ %g1QR_;1N锥v%i}D!Գi(/ĄWx\?#2Alp FHj[:+Mݠ7;R<1Fg0s ElnwXz5Wڈsb`$x?j>l"-"٨=a |/E}qAKyiͮD8߄732(x~Td 8!*WFI_=80|.0cT0' r0ZXjkO=WTף%vm9JYlɽ0' XűYY5nXz}BgMT97Ǐ"t~|u1C6@:l* WPSe 9_q\"UЛ}kK\)73}8''= :D<B-CJMNԡDշp<=iAL Lؤ-t2hՙ3]u;f{N_hMQ`X "zvH$*~L./ $4 H^WT)" c?yaTr t;`_GUiPNV +{ۦd0L<*J>)=̃YTԆ-j+s[(0QTH)hb,r{~6dVL%1J;R|& 4ʽѲsY| QtoaB>w[MP|4;+2Ձydjd=wSP8}5sSoQ#FiE*nS|uz}V&?덒y cï8Ejd&nԍ48=RH#t V,۽zRpn3,qOi q: q7}[#N35a <rSG~sۥ]~'Ğ C,ŏ3І}e/QK,5dr\]:"y&,FC>`5bSN6k"3>;\H"Q_xZJQZzlAծt80y< vPx2bt&~ E"881Q}Ldr qwek4svY$7%~na ҕ?T"&y n-"!g2v:Q6(Q8<-1 K&~B; n:Dw['AE::/?c5LEKdieW$ eR˪SffʈJKR^\M`uUV!6Lo}}،X,֓eO Otb;lB5g,)?@@ bӡ&ȒB\='5eF>kԈ̜. {&xP|i_=X6LԒݔUe`bV@iRŖZ]-ԞKAO~ 9NP(NljRؿ>ڙ5ւ8JiC8h\w Jɬ˫JY+dv7Yٞ8=䒯 f^GlzS;-C^ de1) bv#XQh Lthjnu;*50S˛Ci. Q"p.7s'Ļ pFp͚_EY9 0BC l)Bʱس,THJgl K|1ą3R袈h<娦14F@65sFB¥lǍܷر$]Ͳ[ƨS㑂ͬmt$= 08*`ފF2936}rg SM k `=sYsHud ɳG,}*2es{Hy_>ﻕY1.B\bx'6* zSJŏ%'l&ߔ4^Nl0_|3 9&' \՚ԴL0Mu{).W3z@`S3L.$Be.|V``UINV.$z::+2w>pSU/)UJ7ﻻ8NdЙ׼@[%Z.Ϗ^N3oDƗ>e REi,O?6![ a\k]IGpo~"t%]8~g# ٨]-v!cP&[>T +==?'ֳЗ Ԭ!_dQ `9+L?ȭA ap0AD4Kr粷^w?: "B}Z"Gas^d3\f}6)|Z^4`Jϔ{70 RJpU4ldѝa#rVPDp#ؘЋY&h%ٕsdyo#{s0{]Bȩ4G%^pj+L A i SoG }LCDYTTQk0=1.v-< =@}W  lW*CգS%9?np!Dud|ʱR~{ XAr/b#~t]\7HEt{DZ0)u-Y4w'@#Z0#š2(~ޚ צD۱ Ϡ>4,eW..S> k| zEn3@US|TӠ/P(VGeI<@n߂ELЄl'T~,r-g2>ukCuBg.6ו<ه ʼn>bF@z\mC8MќaoK0KU(+j!|lݖrzk3)dc~N1ʋ+sl&H8 &GWH1i!R_jDWqPJ5kכt{Ku`Q!݊U}Wبy,( 6ccN˃JY,==c :0,-JX ߘ BF{cJ#A<6;;8}۞`MDvxpJvp:m';$2Z%5Atn}w]+[ĕh3D죾ze{RdzF(zE½P| yzCsXS@J/va57F;"X4~던4paBlǹ NvLdcj; :f;&^-) 鼴p!T~p0*qVFsH;|$5)QԶʐ[AEAR8pӘf`^:IWo3>UFIT5q'jhFA]1ŢtxsSMe_V/0'G&QGCP|?[r?5'2Z(~>a$Ǵ @+Y9O-"]gm(F!7`O7,a8)êzuxdZ;;2k@RQZv?i8h24jedZ3D$x-dm$xK89Ȩ$qsy?76&^z"DB'pht9E֧W7'E(<%Y\Ok[DhؒP\c.3kuqGmԚDڂWCa<Ϡ͏l3@'DW5 }&Ideo{ [GMW =XAީ<Q _,i(YRVл{I3X1A@/RѢakպxzYM0j蟭v/Y.(aR샩qܞDUhAVJoZZ x@1ǓY@e+c y eb-CLNe! &1G{ߚC3&WMWbO#^tD o>l냡a*4#$ejG[!t'@Tn7/Ց:(\$uIzCSa\[>mQm69]ˋ%d`tl߂`g#﫴7,anʂ<$6qսr;.̄жK(;Cc9Kw1;T1O˓ݱ0FMInj͇2«t}sԺ2Yl&Iהie^(@kC 9G_s$.LDNU2U?P4ξpҐ洒Z+5 aiv~S`^j$g(F->vF$;13첿p\dRr^m+7R)Iө5Gn~Q{x%8k]B\߄z165D{+#gݑ+V-2RЪb4f?&2# <2o0DO6L/xq 1:mXxsK0Bv:dNۆ^N )|N/U 祎_id b6&{0!~ĥNbxWb{)bצԹW#M~)" *y!Nt862|KM'Pa]!1ˬ8 w!_^ GkM  |&BJpQZ칹'HITZдP„3V _/"RH,yeli:QtX7CCvc}!٪4@w$9N?m"zB.RlSg6]Hׁ]Q#rHFF>?%j-aM{|fss9ZSw :_"uL#s%~mf#{Vi;HE ~[K ֚IMYouHP?6n& 6G&k5xS=F%VM7 YNN81GOpV6v;: ?%+HW:w^t2fP-%&6o*"4c3Zm\j ($j+;|~ KDؓG:)6lxq3kC 1X*=K筶9SޡRpY]3=G[!7?c^c3/nA BNf]ʦS!Յ$Πzz)%^5pd%EX&Ak  Tl:nqye-= u2RQh)E=:62ҹum־D?R`C+/Lj"!ZOOF>9 Gwx|Y{;LR>sag/m!{‡E~@گ=WMq[9槴 rM)>84ʩtuD˔|Ԩ(3ݔ`leTgV#S=Mjx)?ޜ(A~x5DVK*=MYWĠ#4?f2VEh;)YrK' AXnNi5S//dc*L>1]-9:;N!ğ`F[X5W&\n:0۸'f'fle`BMZ'Ia=WLPW2`v#M!gi{e5z2? EHTǢуHɂ15 }iT% YV{8g=AdˏXzm8xNB.SDݐ7bx,(-^M1udGd1y(;xPn#>ҍ5y,w؇: ^;IC=F T%`b?rO0Ogt3_;+|*@VM 5- VGWg@m&՜;H6O U/UQ`ĤMo%DH#sX sr#)N4hM$1H.:LhR0>wNvoq|U3v8v܈L괤(>ASۿ;;[6vy Rx(MwuژY?tGhZ_{!X% 2 :/ OaD}r?|7}%v.82zo ;XiyPdrƞFZGǧg. Q6ѡ**BsA UUc,8-$_ z^IT|xA>n>Vib_րU<쀳B~{ab;bI -Җzwvu 儳|`A˵S}m_LDXR`4nLfRpVf FI3=N44gU/JޮO3؀rN )6Y[k@2aͦ-)}5tY=0n iƒeͤX'm.p/)h/ZP0ݍi4p\8t΢YQ{#RndF1V'r%œ@'B׻RDž^lr=ž>/r+/ w@NjB+\Jsx+ wj_vO=*+4!h)M8FQ+uz;/'G_X6](\+؁ kˡ^>X@`j,Qf3Tu (!zU-R.v$; xG`o )Bډ!zP!:s#۪_-G8} s¸sUQ˖:#sjRḲ"#$Bt m{Fj8mn8 ?/Ka̖oT܊=~bIDqRP=Hƥ>?q鈇I_sG $qsިuu,iL:Ɍ~m^ +0ٔЌ T .ô^F/ &܎d [D&)΄2:ߏg(9F?0١rrI7B0uoJ< շ.|R[_t%kۏ=5ņ0[pXOX[:fID5m\Ks5ʛ `p@ Sih|3%Y(s(ZqKv ,OobU4O /1ۧ:3_X%}q~8]Z!eS*\8ajڔg>f׎Q'#1y(;/F3HҮQF&׾Z 6!]|Cش `ukٚ+Rјj`=٥PSlIe t P;j=S[u/C(C⼀AJ:\Ё e6DOE;&,,%~%L){D>²o( tC7 ߈iq7.Z&rcT^k}vBi&DǞ >D;`(yOG=XCTyz~z`zBGW:A {ciWd\z!ykMM-3- uaFHWn]ǗTdҏs!&{*dNڣ(A`V8;#d". c:09Gڳor=r󈃺ؑm#ҶxźGKujn񗑬1E]̰V⑎^M>w5Hcӕ=˳˗gx>A֙LAőa _İ'ݻb\Zxj6k#xāMʣ/e1.TQݾc0лo%5NZC_Vd9ɑVjS&@ޑji0ˉJIxBV45YA9ab$vH'ǝ1q)^ {?N&9P[?g8ķ/dR2)ٺllp]n#mT "VS0Irx \~\-iEi 2y~dMna<+O_k 2rdOïT\=S 3 Z[6zGp2`E% v\SUͯL²Trհj7Z7uXKEV<ƊΛ F]ұ-DpD)ɠU_Y){Vqzp"Xf,T=+:)￾s̳ hЅާl;4~fn4-tDrt5[bPh{x$:d_sneuoVB7FcpFgO#N|8PG<ͫE&T9ln~$/4G?T@LXyd @L >Ợ'XF 8-0o`+}?S.ghCa^Éק9QoG7#X_~8-Ռ͘ ;8ΖBթGJsmD3FkIm2ЬƑ0a|HA{-kg ,jz_-rk]kMr8vRgE-l|c]AMDcEQC?fXy]*KC )|bؼK.2)cJM!T>@5NY!P6O WZVQ ik;Y .b oJry R.\IK r4EX}-qhdu&*YGЧ$m)YO_']L2ږlw @`Ж~b{P¨3Xz_쯺rK=WnҘH س}4KP[ E3QvRc?`~kcΛS?vH4 ]NM{=Xvo&=z`ѯk\9JsK<  ar01M B*C0e?溋%3<[ˎ.% OA CF~"9H*EV6k9 N\!aPH-̭ +7*`:9wҢ8NixH Z#p,O"5QbsoLQFJU& Ks`q.m$7Jw>aEzv<:$cS-:*#n˛m_Agnt +u/Dv&)Ge6=A~0!iX* 'a[6|gٴ? ~\ړF ~1gL6~ _E$SD/]?^.>#U\њ N.IF>J;D<`zrTÞl+4K*mJ]_*6b~`˹"t˟\a. Er`Y-e5d|`=Y^7τ`6qz<[O+1C`m?i:hdj,~ݰNK=Tb@żݫ/~{RkP8~J=U0Oc%$ 5qԊ WBH(M`M0sH5&'T5[ mb!34kuOOkk">1׿eb"='qoCw5U&0 vnc:o B?UZn πF>k_V1)e(+"(WCД-AyY5f>#e[tÿePmK/`dvtK|ՠ' j8#WVHW*Dw^Ug|vh*-xJS3kTW.4 Q2~q_ ^p3(?=Xn _%A,?sJ&X:3ka^b!7 xlVTdW]P.`Z0Vq,]NǞO' fTE3$J+ga] >>5rt3n۔2  5}T|e~_Ә]!Aü/{H9 ji\y/=soIt?$9'[=&lBrbhN%Q ń?B傴S8^bhvdmF+-ew0lMscl7 $Rc+GB%: [.;Ue}<뷆]q1ǚ3v pf2/~&ȁ,H=JnD'<7= M{fpR YaTx(xxwVg}.좌MoKM1WwA:oA 13ΔF%'nNwCSJꘇaD =l}㕓1>QuHlE,Vi$*^, w LyʦG?3 ܹ92H|]t[\TFᢚA 3G57pO̢$f`?/aUIG{[B89ކ?hk3 Pfm<e}fHkQ㔟 j,h[rvV~r5?y-@H_h - 7l9_vƚU$V"lz{MI4'vEVz#o1SS{UY9LD,YDꖵAFֵiI\A`0aV\c@q(s,"+ˋMzzYdJ{C܎rIgLTa5_.Rѽu8kVHr3B$ GO_/Q57^ɓ{= 0:ݚ#?|FHsZ/"#JLؖ^t Ҁg҄1pq*}'imdĤ탫9QpF:GNWwoerȾoVAz.SQ}43,lxL%lc0MaVY;PA~;Eo?z) K_nlC2?)9q] &_(ͬ\tf|aa2:/'NAfȅݤj;*_|,VʍDVȳ̡:+|N,z߁!;F'nD.iN\(}Ajoֹ]2#: dL!LFg9dU ZBIl,Y,e@{'vA>z.\1ˎv7!,<$85*hY9{O>vK.D6XrO{D:oBݾ" C$ˉ/u^ar"*8.)b|WNxaMY/yqH3Io)=B^o9Y2ꎃ0짖CKB y(qplpo֔a.i񜆸FpzRr3]cwT3Pe p na"%{iV)7wgLG9ť8l+ljE˼&pCUη粺e߿%;봰aqN#+ͨ)kdҵqSP*:Ҙ@y^bfllB۴dF C(hYUo )몀ElnŔ"7thb!DSpvReGpx5X<c)ŦH$[q"{#~T"UPsA[%)~$9WB$N3;cD>Qoߖ-ذq0}_ф#XGloVig*[p$bPpH] NԼznZL0}L(bsB".t BP8@AgsWIJ稛 $utltJZX Y\헾 Yh|2A[Jmt!Fj "<: ^FP$֒c跒BԚ>ݭԝIߤU>" [13"*EFR.[&d" 켻 ,[O- *ZD M8>2qJI!̺@^ű,tg-{EK=ڥtT'n~]#ʀj*~F?[}zJÁ<1|eG"sv3CbFL*2_N(z.56r =6vL 9&_  @ J#ȭBm}[2xBգ +(Q=NA@.A^%djі_g+#4ҕ]8?fjd4JzB~,bP(ԕTmӍSrҴr!M 1[雊chons(8m4a:fu+gig-mfMH2qڦߵ߉o3R%EBxڤ(vJ'b#U~! B!ا}m]w*ծ̅t< ,r8"{%^:;Jc>;?B1A[AIl0mrgUab`%;t@ jj"-xSm7<.]'W979Z丂?u߯a8jI)ɝͽ$PF3Dcos06dfBԑNlVC([ #( C6\i6dev!(?)x43(K5ES~,۝ (`w HfY!I\šOA9ݧ՝F,{f;=q.}枛®]R njIg}6o*z$qaLgY&XN R0cVv+.4;tOO[8Z#u*NLK3e1*-PLTL2èB5&˛T mWy>#75B2ȷO]O=ʑ͟W2:Mc_F7۲:ᅡ*%e-Ah£@i 0̷̓uW5iF݄e(Ibr".k=zu~nP\ U$ldS#\F$ LlW Y+ P]G9Ψt2FLqoKCzWHn\ >{qc]T=X*A R%WY3_Vψ?yezj8ysyQ?K3~0!NB뢬&+w*)<jGih"" \,-HHo0'_F1ƈ_=$谡r=u#, o3"/+S,+ug|AypP^Zh۽4k? vذLjf_=zZ=If ~@1iNf+9@7z墼=yT՗NW=$a[wEHW{Jd`2{LYv-IMZK؇5eE4zҚ"^6FHm/nJ@d]8 ѩ˜՗z~+/ rk<f0%\S2'Y~6~2lbOJn1bWzɽ`T&d`:<) LL#B c@x)P gAҏ@IթG柍ٴ9" !{?1WV|S6v3n͆_Px61KdpQ&eZ!hMcL4f[OI}guhfSSQ19KcTkBCɌ a5&'bv۾]jA dgH󬘽3@/-i[̨ca.Ļ=ܜ8yCӦQ{̿03 (߈Lq]CDk~ ٻFO.U HHfaR e$c!|g 4 &<^ڣ[svܜL]yJ],#]Ҥ@q KZ*ķA2Bg=פ(nsH.W k3|皳uڤPi-OuΊ*t,ln]?jO&Z5,=nBg 2 ~R}.U#Uvd"7LJeӦPi&ߊ`8bŇ*Mu| m޳=OO&-=Ng!նs1U)=~/3SE3GH[ۅ.h9a&=јw:CX2n=*dYLkӯ'dΡ_C}&+ڲSᑚَɩUgYZ 91=g% 4) XsrBqe%~XP9V6<8@Nay͊>tl-`lvHLF'( >Q!6=xÞ{~dYL1US39f-JVݻ-N)q>=I% tHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.CStardocument.tex7zXZִF! "x]A-MՋhvG"uIBm5NI@H>k ٙcY([2|$.uaSzױbE5C-Ұ{ޖɧKA7)1 iU/7p{©z'X!*^65Z,WN /2zxH>DSom#O֞ޯ%g7iJ]mn.-'͘YECHU=/H?n3sD JcARN9[@CH1k ý қHU\:wD4GA<6+䔠Luƅ 5WrE`4ve 9q2 Y hE&bܫO8_\UOj_U% ⇠z䕁-E6tlk㦊ܳgJ%gQ!"Ҍ(8̍_?@?qN@-n@Hrp'Sg]Ę1~$%/r-[ά(1عd1ՋQ,i.1Ye 2 %C5X6͝![AآR^VKMFBGK-cІ'7 pfTaMsj " "$Lh"QPrq$ baI"~x~ bPé;`c;[sAХMر/|$A,/)ս֎x /|3g jڳhb;i"ߐab#D8'_MkHC&H[ ?pH2y7LD:n: ]G+'+ jЩ!(H[Ztȫ9 luz 2:T^2C5P]𫀿zCc"ӵrL14 hr'cDKJSr68.u]j%F+BҬ iGڇm)Y0@qx:2ap/o^%VYLIMl^'n ⲺQ3YnrV,&rpS#}:=Ѵ$Jfr˼h|*\q/k%=Œ.ױFoOX mD7RM* iz@AciZrc*VTg8 DֆPgYZ- =E% THOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSAdocument.tex7zXZִF! a"]A-MՋhvG"uIBm5ĪDBFg+%oZOzw" @E{T=~C Vg*=!.g a:leikhkBkfHG2[Vۄy:ٔvhĿah)lrk' 8 ߖآvNfXZo'ue?~r GI8 9|I3]M>ˆɕ NJl'ܕ;;f+TݸA@˝S2[3&' 2svFzG s W$_L&r!Zt괨~Gz& |Jzt́ߕ+7T<-?c!RDW^^UAG䛜Kl TlX͗opRa~ 3z;8y`<5J >z-E! f_o0mXfiy (`ϨpzTx.՚;)ban?,M.?c p1!zir\lvO˚TK3iJ&AZM,j6*FjO&Մqod^W!]G\kG`է9Ri0m >W؃ 2Qտ8i Z5uStQ͵#$gPbSe'ӮbM1q^3Ù±X*[޼ l;۷vяO 1}h"$/Y!eϐ=:Kd%^mQy~sf{x?cw7bӀ"7Ջ`7ֵ(ߙy'T,KXD??ߎV # D)/!ΌlPD0'Si7(H| MJ ,0[ߚol(U(G^ea h)snG|L8(bM4Dgs+dCW q/E}նr<5h]rw?zL{~3c婍Ng/ *Mp4`O0H0uqӍF+)_P``#IEC@JT,}j_2SC;>:RoYߚEoJ;RЙaKhʬWfу`EVL, h`ُQuwl v1FjɌ:~H'wGKDft;V6]Mm£PS DaE T@)Ãwǘt5<$ ~-o)]z`u#&Aסі M1t=_,rYӊM𴿃Bs8cf3oɿZ2n͜7- >}-۬qF>Llw2"H#.݅HarIeHWGQ♮J*QokP/w+xhyɧ]0IGZb!S_dhXr\# SSS(6slO.޲4 mb4 %al&{&f2%`2߯CGka%iN8Æ$Nsn[nWɾ{) 'YFaqd5HL8 RYu`\+9&ŪT7sWXT/4t1D*UL-?' 7T&c7|+I0=o!@nm,O?_gnזn*-ӷ l9NIֻ8j (=@\]z],;C--TA:1fN{+$0C\=TQz|"~žY9`PN6xVL5քCaG \}}1gG[OJX>B| m'GKݼkUqI1Mc V_ЗkO{e)|U\= Ƃ99Z[,^ENjYlp|AC߲KLLq&huy #;"`)d+4ݍUX|JTLr )Upyېq|Sd$G/}zҩk=N"Ցow9ZڊK5C]] ?W$9*ʼ/ey24)"O `&w%jٖ0+#x97BQT&Y_9ج FLg_(9k+@b .8 ov/7P=s!Xpz6j}wO@ז`MA60'IkT$Ǫݤ1[5kT +A-uBuuheȧbܫV:Z@$QCgb9:鲗:T p^(c0!1[yfcҵNll.Ghսdbc{+Ua Y3穌2n7sO{N M.+[P7X( ,M<@F4p 3S]s( 7_~GXğE)_]+Qi(1''f#3*vRq⥺<@}ft[J7o]6^!K1 x  e#.?pA@YK|"eo@jmYFffT1gx.IP-n$VÏjohu crG+sJ3QM^|SJU>'ŭП_L18b^imJmq Z,=Qi {_&N>cj_X .^Dwe)LVtLnYƓi'_v ~ޤJ,skхYXW(GVb$cR[0-dުu׬$qv+pЮ詿Q0iN/D60|L8 ]I.Ԁ\-75a(0@Z?9s}olKJJӁ!Mh-nC =3^0zx16,pɀ(t ~rX,;'K>5[[ fS3y#7E/J : veb-rKblȆ,8ɹSzJl+V}U/U)cjwҜ5q=.uKT9# Ҝ} T~fLz\*`ݤAť~=pcϱ/-8JZƄ9:Ħi^+3?R Z.EM 8\téʠ( Lt@#*xcӰ[lA֒ӳHyOt0tY] A[ qkÚsc̔A7i& 'iT?uE:Fʝ/s?ߎg̺ȻjJ7mQK͑l{;.RIzWI|PzY}|3GKXp(Cn *QH{/3yK/fDiVQ:HKZ!@ |G 6}уv᫞7S6G]خu+r{~K`{װ\WҎ@L 't70?X1GÕ "}Z㊊CoR؜6uEյ=SO":`&EPUSR3n!R)?&FBX\~kDcf±11rՖwJn(#lw%>uGnBm Fg$`JbWnlFHFVTV-Z'`|P5jn:0mNacһ eAV95k$dԛEj;yv֥UCK>L90ǻ?J71ϳ^xﴳ]=B.%1R(ݣVm)%);gi`h؏| []iԍp|I{NnWn˟+F7XnGN'Y%"EX,cmOY83zR4:_UN k\:OޥTgkkv ^MUї3q6rZz]#gᅥaC9]N_dKg|k󴿰b  u:ď9ћ7Ldy<1 No]-Nȩ`/U>=t.6'pտa45h(d3S`/Zy/Q&K f5'~!+g`z ^`%x* ~E!%*˽:U[x.8-j{>؁d0 >IUJ&y.YAƀ0gf,L]-,hE{i -i0 tTȎ(¦@(s:Cu(MbmINh?| 2AڭI:]pvl҇MV[uKǩkzu (yE\a[[}2w?Aw`f2MVen-< SL }(~vipSE[nhѻa  i(YN+kN9"J=P#uSU$6f͚^вAg]SGY`5Pn/d(?Y6 ݪ{tGk Wro՝71@Ev1J`]#"v/i!/poxMC" HL hL5~kCŭk6WCwAfZlK%RIU9$,}~A)c~~=rF.ݿG-KOO/5{4ڊecܯ4ʤ,w2JAt5,Vc˸{uBX}1/`Sr-'[.|/oBz{|꓆ԟqޢvX7ԪABI{%fU%;1?=@Q48u(-u%wBcy0e i2zZ`opmsڿ.Xv.M=kCϸp eKTQH#$i?[);<#4iX*Rae= qS}Sjì4C7me[ʌgbX79{aW vSu9!yo토5^' !6'eI`oktb t5}4Ɩ7V,ۼl6BǦĤ7f+MMMO?)èĭ黹PEa#29/P\]nHp⏓:mӎ<]=HEZI6QT܆1l"F,?Dϭ'B18GگToGo̒%Ⱥ-<3V,Q"8~lT掶'1UۆZbf q_O#mRPA|_PhT佊) J H$<6mㆈ &x.G5-1eAaw '{2mMy167azT0]s)=7`URAKn>qD4rXQ7`,j!nE3= Osm>"],lĹfVL%JٳnHqmCH(A8Zj9Qim5zWDlAUd֧*6$x$U2n6EU+o|Y:6A׍7dUáE?_Cbzq p@O%'n0$qy RX8+ƕ#}o=ڝjR hO n cݼ:Ob"X ܩZGr3GgȌ`;U:S.ږ^z*Wsc3nfj[7A/Flߺ@BESUڎ[('|3Tvz e#JOakIS-m[_ȚȾuJ24GN Ď7Ԝu*ed!ߣ̏uJ%9r `V-QX_%'M#CX@k {K@_X9<ĥ׼j&`_L(y, I*ӗ (M'Fl7xeXm?ƋV_+ө8$5:w)~Z7S>ТXE6⁼~SEm9sؼQ9Av&υ{,rx7|*+.ANk;eyr5<q;YSRT߈n>x&8*w}F,02c%}RHqwb}Û~;cU&!.K3"ljD٫Lt Ÿ|ܙM. Ӌ9QFۿWWn2&:ƠV2UʒWr-e+gMI=[o!X[(wS8vԏ]d7rl )OO)YZyTP=˔|Lf*Qʬ((1 ]YVdCsі\{?ځR>_9b>S]l:"=TUP*( &rR)YDjh3T/ytE~feA;s[Bz.@Y=_+)$s˗8# Ö&lS27P=F;Mly: >0vs":smaYzJJ/qj WPCv%?բi@ȯ  "a _ X,^5B6O4w=VS9ؓjBl1o;BƙIT PU5tuWy鼑Wnq>܆!&bQq47`c:˛whZ-xfeP&ՐJcި?y'O`| Ms-/AcZ$ř= Ҡ)Y!6'c){3E 0왐s~Kտgϕ%foʣ.g&kXLC4SKKpHZs.Qzs=X~~lvķ!Q/LwՠwΩoU4슑,SS3YݝOk.[M}F"٠q y%v<{E!^ H-MddSָ,"iZ8(H@?GQloiJ$ :ȁ;y{gFXt<R|p|jr_$oAX,Ko;&"KZ#/4nT<[7l:-q|z:0hMH@4B25̽$ՇEOGVc" ݽ.i7 -1Ca j :+ @ )dNOὌ|6`U'r~7mQQZHE:MQ 2gRcL~=Lɯ4dZBX0cV>jMqra:UD5iد^?:j;OZ~fDmNU?s,YimJ?rĹeMy#{D,\@\ 5ҰlZTqU"b9GXǶ玪&RKL~j,/!?hUܥJ6ŞzQ5}\z=z lʥOƔ ]1/i+)8!z"j10:?*<݉#TjV5ϳmR^EG"K/0[_3z,>Ф(`!oIT"83O<bY]|VQ>PE9C؎Zq1O$pM"ѯoYLnGsxE9cd#<.L. qga'L8$hk#wSlBGx ơؚgw3ؠd}t{Fē;ldzR&AfՉsWs\Kpk`4y $DC)v*FGh.!Q{ ~9kE׿Tn>j #35f3*ĕq zZS3=R>W=)/TD;myʎ_]j0upm; /dnk&@Ho-1;ny…HE͡h86(.7x#?ۀЌ)O=׫4py}lug..|ۏ#^l-E-WY}jrj#V'Rʖtp~fp0`6Nju _zfnу԰&O+C=xS߉dSRc[hJKQ.a 0ՈJPM:`WT^zU@.QO˄Wo:4'ϓb84V`S1&mQIC[ɁmC`.V8>aȮ B9zR`&= ʴGd.󧭋d wx:$%6:23%(, ^i cXw0]z9jYxIsz2asxcbTV*As )YؼШZX}rAe(ۨ>PzUSA}rT<|]k#Yv6SySތsuH7bY 2BH&TdgYZ pp =W% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Hypercomplexdocument.tex7zXZִF! ]A-MՋhvG"uIBm5TGxA^ ۿ~sw#|5xm>樗HUaÕ)<֯FÎ 9IoU#8'z.Qܣ('qa?J46d@QT'=tA X1D=xv$C#35dc8%&3O&xVXpyHT#g]٪7űgYZ"~înq KǭR?N!lz'IuZ^*i};=Tj?}-~`? i>p;q}Z|:'dW ``^:N+mf"Kr.oҮ~, {=(WvH$-(mr8+r$3i3na&4a[2M75zW%<$@8T9NZ*typA9g۪/7& >"wS]cj>UsOG_MW\pX <;Nm4sQ+ 涩 yn}D'8f} .i4v\hY'4 Ζ&G?('YܖǠsE#جJZZiNжa=7v7w0ڷ@:>v9Xg/N-M?6_ͬ؉GS\sWkܹ3oF[e] +Uv"9 6PΣ7MvY;uv?YRlW j 5F1:)5t82 P| sh]vmBlrY Eُ1C~P.+dMf .raufz$Jm^q4nK[VD=-Ϧib1x :x>ڷlfOQE!&z!a &f+CFbs=,b«(OGkOI#}^"ԃI|)4S^%jʮc6 6*]9gy#ֳlMQUT`BiVwwN͔QL[Ea ioLHlz('])!W\YOٵ1`^i3>{p14r[,Z@VxJGrP`1%[yZ$dalv3(SO[ɓ` |.[BWhHQvK#dM5g৾q)Ù1y뙗=ۇT}5 C,X:eY,rAdBB卧sc)FnRٗAЯKMmǚig@z=CHM)@7O.ߠawz=1O{4ۉ,,l*vW#ZN2|nZ;_C,n?Z`z5<Wz*aZTo=%2d "no^|X!-tlўSrt8Sx_g"N@wcELdϴ5wa3xͅfhٕ@rx~7꬗FFsKwnYx$ oPPm 8I`47%`rY;teM&5&@ i M ɖJ-k  ИAA'DYwfP]xvэbtHd[qU<{M~'̿GY)$т/m:`XIp&xq;V3r |pSt?ձaq?q$e8t䷊ YsmPc1]N>։yM}}KO {qIV@o⁅1 [?16x2S͉HffG{V]TXeə#̏Mqe$߈#SߤTf8F#](W1ٶWθ -ZqK]d4jhx{_ 1H`63(6_iYI-OISJe:Kn}%?st߁o{UgDZlb5V_Nxdڴr+Ljߘ.60"nehHcyl8jU>}uS* H5O(R:]q$e=XXl._I-]✣\U‡@j2O%\pcn`hDOuUsȯMSֶƤš#|sQsPcxfWloGw()=*ZVڴ'e_ۻo TnHTk2!QL!4j B!DӰ o KC& YF.AihjQU>U:=fu-F P"{o\D>tSv9%l᜖=$/6t;=0ػ;Л2pk[ KU>1ʀ(@#m4sqm6u͹-- ^=s^D}w z؎=AQdks7 @S2iR".tBytnBp&]+H R.m)L+8M oGǷw߼x] @pe͐JjS%@rICM>w4f(A-Da u6W9Q{GqLPrlD#XãV}\yPnpzjF+:y͇ә$'z]x:sf4QGJf?Jהs״mD@}rXL zrD'\jkwdw/7|(]Ya9x*Ư`!icC'<)ëּM߾;c͹V?T1OSGt}CHOnx<lwq8wK!ꭺ ý]i6 u!Vu0g) F*#mcuNw+*_J`)Dв =s--+1{N*9kĐOקzj2e[۾l]x^++ b{}gٖ/nǎlvMc1Aܗu3)-n9>ד/0zFԁFeWEtQ׭*]ҁo@Cud*!7 p3L;gӗ,'V< $ו,-$ @?:Š!lQEMDaw?(K֡ F͞bmUsڻ3bgYZd7960364d303ed0572fd87a32eb99a788b8d404ac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2eae0b22ee9a65b60950f64d1cc6b666a82743557b5