SQLite format 3@ (.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 99D= T\D ]S]HOL-Nonstandard_Analysis:threads=2elapsed=12.113cpu=22.596gc=1.340factor=1.877zXZִF! a]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.I O7$FO66C6co#&.4P ),yXUk*1F6ܰ\;;n7//6;_ '!0$/gYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>T[O_emJnXt3ra&/3mO? :'8sݤ8Ԓ:qNX(_]qAؾ%rȜ3ixXK:ϦV=*oS%I)~վ-=("dcCtAJ0O7#N &)[*ï"f!K^fk&9TlU\r>CE7BׂQ0cj !Th6=?IBaf- N?肁3pǤ2*x^a3a3BSIՒ&)־y~ -IyL?@ ^W;Y̡ftA5`& .jM/XMxsΪ7 #Բ;(-zAP\i>Oeܹ\Wg%2؁mu &TiÊdw<"אna%`K!$ۛCڱq`nZ`Vt&e}zid!P֕>Ln}&/ҐW=b F ,[phuP?(01ة0 Y/r 94w-RL ANؐ)5qw千h2$"wH=cΩ$$?j`N#wRQm[<}up&hђFD(mb(:kPȆPMiy=O]:cXT5^X*B{RJ./p:UqK=Ce42yXXLHͧHg { %$6]OA|۷-ֆ<JyoaH- qmJPj>4I?JQ뾂qt>IN[A9 PٮNy:4#a4Vv{f #v0;TeQDy}cIo+~Vj/n? X+pmI65#&˸^[gB>ޡb3)ʏ$h>Z>-W|l,n^A[#.l4vN#EZw@U%=cv=th;XH bk}p`.mM> _^ѝ! 7i/Z HBrb;3&T 0Ӌ܅]`+epؕ`CyKM] Rq=y}dFvfsn*k Yt n>v|+TU! ldbj!ڴ/U9/(t_pXتDp9H{kW}NEy3*B^;{ܞu Y eb` 琲ܻTEjʻiK_v /N]1-ڟ^f"ZVSyhNrLv;Ħ*B3B4yu =G% g&+Z7W\[lɜ18q`"TsF_ AQ ;q"xUP5fU+OjhP}Tq= $BN2 !D{N;9I#Zm{g':P\ӡƿ{T'$nɆmrXse} r5ҥ]~uYidg dpC~Xtp;9^c6ST3…WxQ'3CJ0vBIf+oYqą L>"ٴ?X8IH-IԳ RxQ7|Y7 *}7!νm*x!P5-ؾ{:@̙uPJYN8krҳ)Y/z nv!:C}L sG ru< t/$tVrxFcwYߐDfai%Hx88o,#`u> m n>aZFX%>c7 ,!#L k.V&'/jF^yC?ͳxhRwc9 @ `$j pPF)bvpN.ok@k Whnd"۳{*x8v_OsQ#UeSn3d9oxVa9u'<J}+Qe)77k9uTy9-swOŏsZu|J5aQ퀹jXvTl)hC-V1Zz.usmd- ^faž΢:u lLTfl0&˻v sa0(g!+zuhuc@<GNd٤E7ۦ /x@CH(.흳{XdZ L(Nrn8(?ȚUE)4/&t8Y]NK:_CR8qIU]r,"ennv"ڰC 1@hD[9+ag`*Ad/)bٍ, >b=h{cԖޢL0DU!`Jk7dFe͉FRuz$2f "ciװ/*}B}àpذpXv4 Pp0Ɩbr˥z֖|#L}ii?ʂUtKޠt K=N܈:!62HoF*"{OT\X,<09l0vJnt#;W=36;{|哗2SWtkŠ_XMRO%jz`gϭ'Q)8In`kۛD}()[N]Q~6Mw&31&drC䇻3QA ;z%*ҺȐëZ.`J\ZžWzp<`\꽭pkD qq\3CCpPݮ}pl<@c"v`0E01 , ۵96Z yApOy0#iz%Jof2#Zw?I2N*KKV9}1 6̑NIvds*tXa[hD (7Vz^,HԸ'RbT<[?X/ h1{#󺲖KiaO:Tѣj2m؃KЍ^- z9*үCYIVmrdXOx4&=,V97,vy(+GMxS\2r!\Ca^4saT=q!LX j\$81|S M#F7ac9E`\K9e1_:_D" ӕ˼-f&36V/gU5wh ^1.xMNl,yq\ूKsk Rqvu d>dV@mfwdњ2me.nO.DS)rIRa{x8E9\$'fXI'-U| @ŗ~&h!lͯ0:tEanr}!P~"z;hPi䊷5x(2YQ7XMHFUjWONvXm3稭l$U.>fM, QkS]vtL?AY5IWQ WIEbMK @Y{33Q/0{TngNFƕU%2L:sBCUygΟ.7F [Lò"{>bL i$´b,nہ)kZUuybl3vč]Vjb_p]{淢$1DbqzZI2ƶudpp.&Yi3Ea@#TU:.Jg<唒tu`2i 9M|Kf{.$Fl^s}Dad )蜢9xAO~ }th nl 7}:9g1.F77GkSV!@t&?!T0~4#|reHrK};INUDZBibt,p$(yٓj5Z0U_Db!fB.0)&Y( $:ƄZa]K,ÔKUI>@NbҴPW+}FR'q(ԓP^T3˾&H4~R=A6ZzsқXhjuBY p)À*!GKow/vQ\ܔV-C⪨iX7Ztzm=Ն1"Ï[TQZL`|c7 l|h_^^ڷb͇7=ɴ皖D8D,pGkG$8<J3]vvG0pL͛Oח$U|Xn=#c亥9ۋb-Ӽ;; z[p>QDȓ6Vq]b4裲 ըcIǰ9tjՐoĎ ˏgaN3DŋaWNVCܯClbC4e_|GQ_y@wV=F s]VY$1e~Vhބ/{fbBOyIp:#?tMMvbffqh3GcvȻq~.W2;e7Ѳg *4NHim<>G0;?x~'uaۼJ@P-Q@r%3TZ5 g];`nd nb/1S޻uMzoUb}_-YZkI)ǣ^ߦ ŵd\/fe/6^0b{D*ǥ5ƝX="?vLdף$jZ9h0JIgf"L.8FF GC'1AtoAv.׊6㯇t9S]Fv\TfB\]ޮQ:I,3lj*Nߔ_8nR /wA`KENF &zu ee&t#ĿuY5A<߫FZUc~tlΦ/buA4goMZ*ɓ0seTT6us:pe+{k\ 6$er fP$dƮ[ӶTGr{*C>j:Ƭuj{)􇸴pdr_t 77ĭe՞<*{zMޗKVXR\w(^>,^rqp2x%Mid":iV *$[w Q."4L( /\P_}5c%}0[-"9ʭ)CWޥ)BC8r[nf2,cg"ücsh!0ىuz q=x"R =a_t]ۺ&D`IE٠\"9uٻڹ4Tx][2t% G}X8O4 6!hPB^|GޛVl_7(̎?`GxlWԦ~`i}DNfMe)^N!}C q96tWtO9%L$N%2'eF}jLA''M^9IO s}ZcyHpvYI13\>R@T>*~\/Ywߛ:ObE5Id wJ:>xjb"|⑍hAOh!g'nfƧC]/5dq/^*KŦƮblnx껰+{Y!OD֑UR FFT:%$:xjl3ֱIB5\@2ܔVqsNW&+YP[Z4Jr}V,U3 x42~e$f_ 3]5NkB,yU$ރlWPʇC]9;ʴ cqV+_쐾vG.G@%VQ[HStL6ofCy 6[9my&vV'(tWŅJ4$PCm_,t>, CdY\q/>%/U;BކMC &؀N*ܑ"YlMGa߮aK;YSwk #n3a&qqQRc۪)R_3*@:TA6$ oFG'A|9vxD;K& p~^g58UQqŽ biSqUtQ_<f4hߐ1*mld9P/DR1f~,)#}T>?H<i54$sCٍ:WcaƷIGiMzԑr'#<$P`~X3[N.Jt<9OMb-i(\jdU%D`\pƛxurSBqҝYcˣ DnRz/hgjG-P'BAtfK #v`/5\#YD3 XERv~P;Fg'#1 M>z,q[UA;V/Xl<^gEPtEU!%D+qV^}_MK.0@#:Bc rC.xځDWkg JTB+?紅6k/~J<%bq/6[t}^е>q뵮]4_bT3Kr?2ݨ:۾3-\m :`}ltuΌ*QK=i&:]V Q;}xNd& y6_v㵼$!1ru]&:4= vkl8:1r3<:y+&8}+_p}v#`D߲_zvKL,wI-,jM =d!, /v|+t_ 8ĨF@:"NvO`'}4ǬsUKƥ~zkc1$pMʨPŚLND72pN+3i*t.i!])fH7{;"(u EBnm s ?ioiJZqtq @{]]c e[Wd=KoៗO-÷*\=q=g= m QCg8 V,JۻHwOygl馌3oFi|n쵘/o'CD F ~0ъ[%jƂ L(ŰFг4Y4j=ֺsΘ5,^Wcb fDdj~c2y#j Y|eb%F̳ˢz,bT Ӿ7=>-IKij8M5) i:XȾڌ}"z:o.7cn J_H P+(cMGjL9~#c fqrI(ŚWǚ2K mL{i<ɴ8UmF-yO gjR-kQl#[0 HGF8s ^ӂ}pBWAA-@NN6rݐP1.i y׊S."PPt6 vf i>ZgW{sB.2$_{uגuϴRQp=å×E{,rB7kubȝ@Y,8Ց2FkԖE@]up8 @f"O2PщQ0Z>Np&6j~1' v'SS=P7w:[|uo154޸Z0?ȋ\,M?|OD$߰6vCE w\y:Nbf yb8 #[_"&78Tun }z(/Ӂ A.(3x{cᙀhH=W< r:_7&#D${*/( AUaMu |{Dk,=fy'vsw OT/%qߪNT&lA5nn]e)߸HDS'v^h-`X㞙ݞt+Gb7 Tvwznu#󣯇 uOTw|Z⫠luXhJëO.Jwz}( f`Ok"r4%NCW'2rN~YfdfV/W^MV(8̴G(ďLDds `%-)I5/;L;DAo=DYm2P(MW +CFfe?Bf 6aZb ,:Ebзh:Prnp,q U}.Y7Sv#q *dH-jà6Jz1YT/1w);vxGi2Ѿ3n\PgaE8‘!\;R1dڣM8ɢ~8'v&q/ Ft*ZpPÑƺִ›7;F|_bHe):[d?6L•>s_(t|Ŋ G{4G%v{#[1JLskP"+~iS=N&=bF 36VJ<*_(T*J)9|!9_gvur"ެ_ *FӪ6B@&Hrص\ќY*NKMuM Hl'#3ښiB_l98(Gs޽&*$-?syl?\s܉Eߟ _(R9~/.b@6 ur*\7B!R;^Fa(y,EpJy[ːk7L`F@T:q^Y mF rFC'ǿ"=LNfM)"aZXa|P/mı\7(42{B˞HrK@U;& hje[?}]$3 U~L F\x3aC`L :B=#Vs^xK׏9Ni497a otGC.R-, ` ug|y~aaAkԚ choA:{f\W)_cH$:9_3b:4P\'vȧ%j)=,xY%+_$,=-GԜ$_v,nP&iWAlc(yvS2Ǜ㽻Alui|sp3OE{7hvkv2\f‟.=BۣT?Uz(MioJw~+`O&é9w<ɮ ^ *1斳}uVSze'Tsg#s{F a9ޑBG!`tm`jjL*m5:χ ưF5 ɛѤ7݊ҍԭÝ̐P7>pÁfMc±~vҤ;9EӉ!myϏjoS*t>>-JZc ͱgYZ 3(X? 顃Yń;{WfHqW"T6 _.2g9UVǎf\hL*"%!cnO:2L,u]}DtAf1{} 3rLEr\F/#Ǽ.D$93YU /޷6!c2&e `ffkmō.F>b3k ;*JK|A:b.ި\W?h:u \jSխH9d2OVdM y'=WکuCt'Ň(WmB&7$P?/i83jG\& 9Yj9Y4L;wk; jJՀsaGAqw{}[|o`֌ŽhT<۲E_ ۸"$ BS7$Ysr d07aFНP[E%%Gkۓ4D(w=y{L-NjHKNxSc֏9Uug ?38$ ĨP2V@i=򆲙mg:R E NڷЭ֢x>ap<\&SMI'.Z~Q n'u_5Ṛ$9_y J(sd>/0u g>Y[:]nu#؃PϲuN\x"3A֒Jde  1d>BaE5dMha@nHC&#ϼckor;HvsY5h0gnC+jsɇer\82?% i,% t4ٺN:4:y=-8 3k>%J`vMU7t`nDyos Ͷ`Կ̭W(A?)NwXNÑi9V@)XI>X~$GrUUiqIs c,;lZ^S?IqCnm! ˢ><:Hƪpm40 ~׻Gy 1 F0vܲ |uPԓe fw.h~%J )0aQ/q/n=@4}9QJ@Fz#"4c"WJ7EqFp57Z6o#:-o ӵ}-8o<*T7IAZ$ukpQ63ۃ¹P|>ƛt}SFdBTR#^Pt7PU G !Zj $,q)6]4=TutJ 5Rhlnu6426LpnƀOJK:FuC.䇯Iյm_Nvמ%qm;.&&4>(P[q {ܡVgfU+0D(#6dpIdZ|mȔv( c<#Y&d =|V-jtNZjEXˌe~p`a|%(t/JPm fx?x@\Dr0.#i_sy,]ێ:5J&.Tiu 2kjPqAl?Xs ;zllkXjhk볯3Wn @CDD4n12H(jDZɯrJ龍"Ğ0 s0el %Wi]#/T1 2&(iwelVju tR,~5Lنs_p` tߴoj}-T$Fr'4f4ɵƛs\Tn_-cH~LK8a0J7VE "_ 30micH̙EFZIяDc$I[{uwbIEXLj@A^=.v tБ d9m#!s5, 9 P/_iCtz#7Hݬ`(T>PZ w:=Ž/nkss i2/0k{syqpBfx["`R~"P` 4aݹnrH=Cqv \1|z-^N+5,)6\)Z !=GT8ȹex<^ 3I}1sK8 4u^:ӕ{[hHȬohV2ϰ`vPB=kEw wOl~3AkNE(rr: AXHn82r3ᚧ4ЮiCh,>,:9n3h2!( s8I1eAX#wA;[6ef)I$uMS:KLNY$r q-Qg;1eCOudlK%n[{SsAVDO=Þ_%'Be+##G:QeXmKpLTRҋpΔ%CJXSLSUJy:OviG:EEXu5.TK3MSgw¾;ʋ,h]u bw ]diNM Tֻ\.͗p`F-[8׺ٚok}[w 2U'A\Ҋ2=a1K6M,M0W1tCӳ`4ttŕCmJi7E݊TA_.҅kj_V{U{(b>磱bZfMۋHA*767bgoѷE솃S׵8WKl4V[:,L.yWVZda.lIƿ2b)]-vSB{~Gwνv-)-sN uގ{4>oë$d?# vy(eJ+G#2|4q(g/Ú8M&؉] ,a9[Ku ۄ=s>x=>@:edִ͈*4W|)d_R<EB(yPS! pq]>''D@$R,!uK)ۃ :TQ3~S u|~ d<Rtv{U=Q@_fQe- R{лSh|%YtSpAםUO~Pc'OǚzE z}Jpϰ+Z͎-66E&r,wlnNeH**TV2t?­ Ц1t5c-/ĴPHj0EJbOUm3E4Suj8hK2SI lZU6,])ѹV}s]JY8kgeibP=fnيl9dW蘕ݹ0#;J[dϹ"*#lGx5ɂ'΋' 'S( gkj(Ew.&yuXЯ;nR%s]I,4C?d>-%@ٓ>|$HcU64 TK'5v<LT Rւ@#?fwY w=]ѥEL[(KR;}%SDlݚ+E01;ŜD4HZ@=EUsk$KHW^Ncrd {l,+FsqlDZ~Zồ90hSz*AB^/x0c T4 u}6WXݱpЄ240PfVa2]>"^A|&[eſSBF=#Gfܟ؛9?ք/p ^FS";$RߩlI V& %xݱ]L3p ~ @UUASq;6]*ΩRƄnSob2s^E+ g8qtIIԴDՌGy8'<\"j` k "bXZK!t> ҳ!@yوjNf[Kyrx^tyf#.O3AŴBdTxjM6Y,P+:YwN$&;s`QPt!\K<}|Q/"~YD(H7t"<OTcBH2ͱڸjF717>vc ϰ7mލpqnZ2 Y} |q.J*tԓJL`E*^cz㭈-@mCſT`|yXBP  #W2jq*rlڑ#KF{RȘ\lk4tȀ,Q͜Ԝ8 GqηS_PE.-oSSݰ @R>JxRƬl!f(fZĵeXcͥ2n? 9(xpVOy9𔊦a%R!_=!ݑ ӌ}ISt8Q`oB[q;ɫ~u a5x .pΫm呄8fBa^U:NBʅmϪz|Y&_dhKaHiwN\54kSl>k q#<1]XC2T~ۚ[ [E3!tslt % 9 ILzx ͼ(^ڿnHX'"70gCB]BmҤa(ul}&F_}@ڶd*$2-2m<fSM&+x,_ Y٠tXq2nl:O(Bm躣Za)q+Y~!SaHaiR0R6x(!cd-GzֳXrRN] KNxMK%}^&>f c/TKTKĠĮMMw̙*!5G!BT2KvOk ~?y['d MzZ,K̤U1+틱 \pWK^!)採a197|mfaL(=CލlꪈlσmkԒB1RAȕ_[_W|R:F5*.m2MxP#տY L7팈]f'$sZKRhr[ϵ ̩߫[,H˙i۽2N(θCy8%k%s]4žBfI?q+; C#=U/_>cJ ;E;—C{LiOG$U}Kf/Y;7V1lú# E>nF Lie "rFA?d._gYZ ?==2C=2梧VA8uN#l6DXsg؏c*埇'8]*W=7K cuX'V|RyG%3wr7HF?j"ZcT HG+RJAyp䢩q!!TȪܢ-j |J*e_HkWdžyu_]T'oh}e"=L(2x#Y2fw3w'jޛз?P\L,}\q'H}3]J4|W;2͑х2.4,85{jSE*<4kL 59}8}m!PG{r.GfT֣;g:{sni̠s]I͞F anCmaa^c {h菷Lަ J2F FjܛQƈ*rY"WYHA[1Og,0<99i+¿?~f =iBz#m)޶*s>Hh\d_ a)z&\* Xǔ{>H 39/{gh>ZRXyJ~XkL3`$۔֌DORrY C!̌+6q&&#]E1DS;43(,/c9>I?iݑSP 81Y%0,T^I;@>)-_0j:2#*(ĪxO187RD=\(ݜQ}V{ѿ<7 6 l3, =@I6Ev tejc rT6.lSzRn?0E#01ȃ"wgSI,ioz >Jr[G 9O9|9ji-+ cEHgj@ hnVV`HڹZ 6@Wjn|VmF;aй6H -T?^z7b"TWf:ruc3EɣEÄ^hvz#*w coT8[[(uA  & &`#{g,O9p0$?gQ1"yuł'āݙМLF?=?П8c%jp1\aW 8@ڹw:VtYZo,9 H_*9Xt@!-]ۢXM5]k؟mlQ"ϼµh_, qd` &ڻ;6`[,qHpdkH{'aAks;}:; j&&ڑ21 ~LK5 ^8,YŰt?!C\g&6cBZ aNq +r6[\Hmv ݱy6 I1YH8@++ BamU-Lw9n7|]K)؛LX wS&6!zaS3`X8 b)%qUW;m\MhoUȌUWlyl6x"ݰdɎh>E(k"R7K޾f.ak;2;5>7iwIg{ba?Qh~7nR͔8pWz`a8݃E}=Y)QGXGX/8h*3:,Q]7BAl 4y$2+CDm\1&싢"SpN4*:*q>7g=Z@3n҅+َri:#6YoY]0BBXh ,%0*ZmBi:6ISVҽC4['v|1.a̳Hyz.#-PoVMHHv쎕૦V7^D,SET136hO҃1RICÏ,;&Mja| `ڛE oT-/kNjTi.N3Glо{SE&lf qˈd2~B۸TL. U-i==.A|O=sâtIGنv1Y;9Ϗ-F,:}04ύz[ʶs\)H_jfcc% 1c1âNq i [L%pc}M&>h T'I' 's[Blܐ[|Ϫ@{A}y>ׁβbg Nԗ!LS6?\DP l_|䨺oLbee P"+wlù Ek2(})ݎRLJdzƜ2,eS_i=c3ARbj}]_躯V7[툤;֛yo42<"j[s(ϖշ=z}n/8Ɩ_q%y| V~7'0'YIρs۵28qm!,-WOnwh.?B,_Sk~X$.ّO[%1ןPgQF:Wg3V0á5Mq Y>Ps==MחSc7BU{X޲SE:+/*n4࣓Xky8Kh_dC4m=\tKrh8\_]$d$]!ײ;dD傱8 _g2}έۈbs$7ODiAdj?KB59)۔gnöwH28~gV9DX`wJW1D1طYz؈/,5> m1F1L,,(<)q{O!mR5 } bn_Fk;zrMJaXwS 'O dÔbfcBqZawR$uloO94:.+0CKrn['+f( } I6gNʃ@j ڄc>$hN\\ݑqdG`_+dd,'G,9w+7TmWkp  ¹/9!F CyUar5PtPUS9e$k;aw:1n}6~t;) ]il&(3FilIkԡP6 DJ\[scw*k[a$% \o:#p&wW']y{-:4a%S ʧH c_.~6 0Di7? ~ &@U8j!7~硫z{˗~|~OVssG?3G#SD ;єq NdtSOܴa򸙾WjleE7Q&zry]6b9A&ܚnN^OS"-tB6H WuR 3VOt:pzmQ10yshrOz1 mka5fJ0 ˞+V4UӀtCrFJݒ-E?62GĎƟ9pyipel`zz}銟'1^RbG7hDuWj'jǜpXhR /^ncCAhm )o;[.66b%!M{(~1 ε W28cD7 g9=l oIL>ʅ5&&LdZ|8_,Nyk/|Wº)m@gl<"!t<onEjC,!@h~0|Z(vmk%]%ú‹<] u K(Q#c9nB:eb;exb6GK=NT~Y^IK!WXN-+L{ @mD/Pрi;;.5db*c]$$ݫ5ڃƁA,w"km@&s6;닰n92)^ 1Q󶊭i#MǓ}v>d՘BUB lqE+ A`Op~c~AjrfTX]AFeږq>-yWTXZOms|Lk謉 `l!k6~c. %K%][3aevBQqgd^Sr|E()Y*WF+k4D~SR&x;S=!-J^~޼V-#O]˜ fKV|ԣR/9Ƞ×Dž'353R.8cx_x(WI9`PI2i'$G{CS 2E߀%"A^nAK|KT=O\4ß\ #Ԏ m!~ i1' Vpg. -pY!ިj X"Bg(p:u2z*2̹"Y#huGI@i,Y~Ny"R? |ʽ2Y[ƄL䣎M[)6Ϗ.4)^Fs SM'‚ BL4@NXh3%j Ikg`iKJmp2o1Q}^+˷,mjH>fΥPer )/B6r(R8WRlar @¦֦6 QdVnqPw?:ҟnO{S7u%MH_PTR5gu·lBt5- ݸ twA)o+CDN팜}cW:B y$8ƙ Ix33IΉBኍ[0#v'C "3h%j l}_fIAFfom ,b*tMH -A 6Y]ACF.LbhLI-*rW2}Dև$0=*+~b=Ix|Il楄ca%yh@4WJJbAǵ7aAdY^(l#v2NCʆ(V[S\ ٚsP" MGJ/{GvNSGvgʔ78XjOQ}3JͼtuҊXsPV?E# 5`v/FmNtCmu(~3I\>?B Q1f_/Jft@=,q$.vTMaMQNGn:h zkMVjC1os TסE3aa4O-H|ݵ})YD $I=V)'%"=Oا*(t >'Lh6_HB}ՃYb4ЅMm:˖WE-]gH-?N1_{يnթnb߉鿒4![4y )E 5SHL? Qxﭺ J 7#<`np{kKdbO#@֚F60G‰T($Fn%u4o >Ie2 e+$CE%3T:.xc NiXLVIOHƾv/S1gѧ]NpZe - J2ђP'I[u*?VHORN)ZQya;W7ϔݖbf\WBTy!T+wͩ|&DW&ʬ;bVj4ݏ%5r3mCepK*@[F1rįuLorG:;zA;3N)^^būu#ۉ[7^C̽m!vfIi`U,+F{h67҆NN/k];i2=@\Mhг b7k- XatMAWK| !%:i麀0^oXo`񏪧R؋ω +LoCLl٪{n㵹N b\Q#B; Mj0QDЏ^$DWAxƿZ6:i"sz|؇LI>_E`ʗ!(y0!a`[Pt( "xX(qњ횩y ]"R$ fMd۱{xh?Mg91N(U҂?"ĸ2םڲ1KMe քWJH=*#J=9`pՃD3d&Эl]tI%Y3Jc?M>2Ȇ' h9m?Ko"#vbӼtS3rzMC<= EQ xK=9ho1b!eRyj4gȕӬv?~pkOJ_R` Ԥ-%e{o؉D>'*BL[bRw&HE7WCMR^o :H?ÓKzj/#ahZ@'C@&E¡=طabS[w R"=~TJH' G 0eI-ԋp5%Z+0[/2-RMM cx%C PIcdF/Hi_B}aSNO| Tb(Ub"84с!+)0b"Z9Kwb )Bsrh1d^b"]2U`Л.C<)fHqJ4X;'j[TUFvgi]b FDhAQ )@JGiEٽm;Zȹ#LZx O56CfOgjwHu\YC7|<=_z, vr32ooJ;>-^qK ^HԪajl@H#f6F {ZЫ|_UI{v5 ]_zpseM?#NUTFIsB6ٷ٣nCsf>qLi%@躃-樒]s{h$ ^(/+㞀Am0];YjBsqXA݆+m~V0%oEKCbϛ~ :CluN04l*Xo.JEsňDvD\kŪ.*ppe$k=(_D 23Mգrv˴_vrB *\~Fy4?³hM@? #|"޼|A' nsϳ0^\pۇ }Y5aeCW?)Z(%r#a]8ťiiCeZUM =D{nr8xv8"RG /Ǥ s&,3,Q1^.`GvF|s5F|[ϩMp,~K _#/)S2FjՔ&ة+E B/<#2PZ+ ~ b-Q?9M}bGʒV%NBlef8UEnڋֹ`5jȖ܀E@"AޠJaMX'VU9pIvIl)2ge8>m95lpɖ;‰ Ů 5r {, K7Y*n 8?Eh8|bF )zim̍Xрߴ"T~zq|P5h֌y0<j'}rp0A쀎*Ex?feYP4~V)iBPoԅzlT|*R`kL> ?_=/Q,Q34i @q!V}ыm#)5^tUiT%OF^2X jJC[? {o: A0%jh GdqI vppr&}ˣzA;(-+?ztfV.a7cLԂ[]h% "y_ZzCۏE`j&x:ё6k(m\1n崢XU,Վ!t447GcA7=l<ຠ}4^9;~6fv%e8Ǹ-Qq24DvqX$D(Z\2 fAhΖkRdOYzG҄0*)C"͎v (}&Av/XY#/"/]׺> 'zB]uI1%.nMRjN`!>o 2~Cn^`k_)K8>LdL|Ѯ[4H-![ֺh< } a++UiI"]GɄDJ۫pYx]Ý=(t5Zʣ+M|m*K2L @F^0xy2Js RT64 BjjKfzSNrB%Ō2V1 r(wkj^H?"5}qx Bkw'co>M~^pL^ LD[YW&23&ȭi"#~LOU?5B0дN~Er إf|LT@wZayޱЫbs"}َэSɬfM V@8 DQNt׿W#ڠ{3 % HCYx}ҧJD,D"7#ӟ R) A9)m(ݾOR)߯!_y7gXf.(5vݴ?EO|#=P57dI>X>)Ծp+@A,݄^s XJU<]36KTe7zl 'K-vŃ*2W[o Ky+J :h}$ 72{DWr0 ]UV6w Uu3fV?(NVuku*d/r#[}P0J?Q \"-y&^YӇ0 -tPFd.wːKGbG"Uz]EQ6:| BE֋Ɲ7<σX\PDdKc)yό yI\%!kiz.(k2MNG;T{o0~cl-j81{oݽ CubѤ@}EEK W29U0oWjUioY|FV~3 +.6, .s^p/+Gs1%p5̓zdA1B憪ap*+DblPOLLj4$#_3$Qt z­C}J[RcBg&Tqwgz[` gm%0I@G"#O}[ ?ffrVcG/ %LW7̋\܁zl{jd9=k~h׺cǫm e?*;jIcr%Y_>h'/Y0֥LkJhW%E+ 7$GɗtĀ70o!0 MP5n<I?30/d>0X|1Zus\Mkҡ|oF8SC%ۇ7r"o, 'sX2 ludAlx{)Zty~@ =4?I9S'G\Q`q6>QHKDֶ#i #9Rs1$T?1 -N GPc`#?6# t%k<ܲ~8_RՓVy Z9dw#}0py)yg|aTη%'QYfL&pz8[y_MfDWmz UibK3\`ek+מ_()LXLr;]WTBo‚/";<۷A<)} 3]ӭFW*5FW[ws;ʴz`BK/ccIeEjUU Ikq5մ8]!z4#qf1F ߬L3* ^G`2e#[YpUoQ*T0I1-OC^ӟ*alHt#8tf8 8JwюnQWi&cQv_'j}d`xTmqdNV[7ArHKS` SOȆG +lY=!u8Y zP4.J?]Ȫ򈊭Y֦G;qGqܙvVhWȜQn4~Uq2v;hmu`! x[Y P]KW B\_Y[DuԢtɋI]<8>#.PL)oDhO/M+xu=qx˲A޽ +oFsKL/mR߀ D 4oᬑ=a c%x i Ase,[×#sWLG^3+Gڪ4l5aKl3,{Hky ٪pr 77:sЛI{V&żxH2J'0?ɏ30tFl F=D/-S b]` ^B3_5vEKdV6E to5K.}*O.'*y@6MbH bcA8aǒ_Fo]Zsghr$s/ł?R14:/㷟X2£.\>`3>6ĝ>j> sMsAX1L)T\`:_ `Zc:{qx>Oܩ:fE`R j$.`ao!joV!ߵ=(|;}G>9t;\BYX}"KhX _gXGE8?4>%N`$(CczT ̳T_f1aXq.^06B`Ǭ|IykCg(1ʰu*R@\ۮ+r!Uwȟ‘Y :tDjZ|?ǖҹIgOvK3bb#$`DU~^Q? bf\zj xfi/ӑ{<o*MCˁ^e&ED1]5qx,靯xd6G$}Iz+t (Gbbq\'UyZw7 rrX9>`ł0?56KU-+Oimdՠ-1+By WRr է6 tty[Po$5dL) o'Х?M:CnªC20G tf%L;C`+rUpҵc|P4sܐl ')0p4ğ,ޖfV ,osn͸o+t%cR4jEz;V۞!tEISۺo<_ņ/ $o,941nӏGDk 2K⮷@S<p,D>T-*Eny̨ 7 TbWީ5\8\Rşi7a~ј }.P;7 )g)ct.g<>CZ} ׀FW%ge[.E{ 9_ni+Cv+ݥd }g?LVa0+n.8@@#e7S#3iw>+aG{=A8nuXQ7.x-u++lO[+Z4EQm8s_ƐwOٱy{tq[/??)Ay zQVCjNDa м9=llO&r xׇ'ɕksF9Tv8ɓhoE*,v\a'i8F>X"]Ey C,ʭQq/w;gjoNG`ku:u1z@o; V}xW7'/A-t 1#M![~ 3l#+ǖvy]4;tyET97ZC <\Ͼڇ<'EO=92.ߒJBܛp,%F Jpj3@IšZ?YG/i8*K]Tѻ!p\#]6ƨv;'tzll*u <"[>z][ZYHM매ӫ`0Mbٕ2 k. ڠ(_hc|r5?dyB vЙ"嵋pk(0l\dN{߈ޞUR[ J4:c5]/ &DsR"iQ: 0԰FͅoK! Qf c[!b w܉ƴfV"(5#;gB+B:B,^X,-=)j/8Y%'NC=]𘜏9`+9SD>͂0n@C ҚWR4 D%dH83_U 4\@1ޯU/}F&<}[08By~1L&c/;ryt.-]5T`ks K),@-e97Oޕ4hDvxBw͠}4PE&.CoVnE&s4AU~}}FO D?ٮy~nj0€x'B7,'ǟZãISζfVGUQ@B|b0Ә+%G҄hug EBӊ%Iu p7 9CyN/_&I:aɆYY48vkXh? 5TO _h#4wX~B(=HkFiŷ);͕N͜HR+/!H=uH?%{2:6%ǡO/4%Hć7,D3V^,lߜȢ;~(84byE$; |Y;|m NM w`\/. WZ]+jXԝf,H*%Wk:^̸ZX!Zey"ReeP3ŠŻDlwq,9|R b|Wnofo/"_Q‡"IcX:<$\!X $ݱ,ZS\#JMK=F4%j|;ao|Kq9_Am19"չ<(~"&̣~ǫ(#YyX)%9$(ic ^}۰Rf=o^r$)e5``&%9mxBt1} g? $} j,lGz}ocG2W2l68/]jk\,A2 \V9NArM۬)~~.ONU# V|DkM1R0tt(Q[8݋.«W.XU+ħJ^y@ẼW*ǵ½2Jm;1:icr<  4b \h3 ^7m8Dܙc1+f?=>c\E}9I6mU;$cyΙiYt& ] QxNo_›iE~:IW/RjX @1ԽV\6 ~:f ^|^x*+'ޟJAH_%?Ng:,%l<}`M\uV*wUy0Iޜփt}}豺"٪5dOQe+Y̘nif^ztV URy 梆sG{P|nL7MizZ톄m_)lI%F;tS4~7=LX"aPGC[k^EǢ9,nkR5!dt{C24q\$?N&Wq#ݝ?F~H6)h |#+\PIft۸GŁn y>kc[C h|H?tY @ԁj5fٕDkhwX&".6hETV|#2DTۜ]:')*<?c|{,]r,Oߟ$љμe{$ǡ2vomag>eи[z`\)cUҪcfmh_Ț(Bܩڜ(~G?ԕ8uuA=+Q"uYȭ0礸ѳɍ+`fv mݨeT.W)4U2IܪmFOs;n lWD5k<*04rۙLvgr>`|r1T.5\q2'8aa)u  tqǐGh/& P)/}Tv+`HBT&ԥKO+E75:'**+[b ty7g'v; 1>t7khvt@9͵gӡ:y ,f¿TCi3)[2y\+ٵiP"oM01e$ *Z!NZb4*<WvXU4PBłcyd ~Y_)rU ,2-x-1c]厣~e=/kzZ1?ud{du,͞IʆU:Ym [8xڰ%IgYv7\áQuwx.̊p-WVGӡ#I87t*pA1@oK@ tzi2l 14#׊5x PCt0g{P7EP+Jm2vVWz,3QbK:4v65o$JЉqoyeܿ L>PZx&=PٽY&c ۯ{]/pUpLq" owLvۓ n«ѝ $\wZθOLU%&2; -ae_xx"sA %*FtH:5 "(D!.WN@تyZv\ ؑD8 4n͊h| Zٶ.iTBlҊĝ^cA{\/ܕsj0Pa)L6 2kuo[!T[ϪX PoԱQ#֛kmbZ%.f2k3\eeŤłXPjXό:3cb7 ڷB;0sD/gu B;صtd)̭,l;G<*YMtƸu'2zmiHJa*E'`S@K;2`Â{ ڗO76hBޒTk؝M|-?yB75)*<$Ip? )&DxӍP,XI"5;/^JٵjR-0PL3&d$OP^Ի;y`㣬WD(5R>vMZJ~an>:V "! QDr3=Of^_g>4 +PFƟ/IqQ}^p_}‸zQA7#>o(hs2b B,Yj`aYۉJguwy -PQ9\g;COV} }keKC=' &>e}5iMg!9[: @ /AgPp/$|M'G=h֥}<8\i"oc8nK ׮M;۲Ax=!l`s{U5c=5ɰ|#v,92$vmV-_19TUq ,n ڱܐD"pvЬB=A:,.(mwH*@ :10,F{Yjy혓@I6G4璞ʭcbz8n̦aʌ>Ud&2B>$DY7ڶVՠiUNmuHL9~ ZCsDZZd×h)!SY>dt)fp#ʱՃ:d%T P@^i"/@}ŷcTd- 3AleDA9~+)քDd42ad#aPx]@UJ`W^,g}r<:.yG=wB5_Tb;P9E߶p@r48ъ/")+6#]jƱ"zS7NzYCXEH'V1(WUܬ !L+Dsʵ(N`J¨>jo1'TRC93J'up'µ=L׃:_%HrtȤF&3mp{_GB]ԁ`93oIceyH q1oU 9 Wryo!иlAUb^9flYg< ;'e'sxgKSLT%i]B,sK}prb~N:YY;@]}mKg>zggH;M20"K:Q%Z@򽎧.$Z6׎j^Gr2<]œ.'3b6<V\e7B~[VdepiD#4x9!Z t ΋^OҘFtp7>v CgkL!T;2620g *iT]{9g|q?kpNX"Q˝ϭd,g݊otb%t]xSxYN|N쌢*5zr)]3+Pj6o;f7:ey`1Z/sP N\G8v3>\q%Jl3Ф,ȡNJ%MhMx,%Akn_9nDϚE;:oOPYwAS L-DfƉ-F=e`[0XuИ1%@` `TNUi(qL'[ ΓR/[pp9$mZ)UJVga~sS<H!ʫ˿Og2Dç xHtdӆ:AfR cͲ،F驀s:*qJG-Qe͠b-ӥca#3ѕdy]4/̆?uaPkPj 8:g (2W(: ~n Ibɢ 5VÅUE5ÓWAUlb߻8^uxWM~Uj;OI'xôs1"" LKNZRS_0^;DzF$zYZϙs[f[إWCLp K 6|;)`mKۍF"s^0^!1Dl Zp*_~RQ3+ xu ( ϦH@5c!{TJa`N߀It.kcP_]C&_⨦?0xs֙7q̟d@킜B\J=^&`懠&V[iè0ы2 ;λ J\e-DzS-uE]0Sj4EF?K3{sh׽g֘MS%zޤW."aSbO'-j|W ѧld|!;nS _׆)\3d^ٯ}'gYZgNBRZ'?yl@WqsaE #(U)^% =ڀoJa~W8ަǞPʯ*q,MYln>f4YScs9#XH4ݫVVo0_BxZI,{`9Co=ԂZ[q1%%8ϓ8UQ[G~)E8m?5oD'mlg - uRgBeql'ZŎ;-^ [C5YuB9 —^DN~*k(Ϥ[M8 'h?9kk۴kU\lf {quU 戇Ʉ,/$\%%]XB˛a|wy9gaތ\ &FMm-ۺ=Sy.t|2~d}⋏2=}Ls%yGJR42 KNŨ>?v?u_`Bذ`[PiK}rJ!薏h5#}0՛ZZJ3y1)㴰ܫ86DRU Lǡ8sdD>-pH>(1|@~\  ~x0Izeh+7f1OjY .D1d[ $:@J Bpxp/!4|9wV3^&dEBFI}W 8τɬ' +f#PY\z ,vm<ÏSӀ)b懦. `IO13GOl)UAF|.dU7GHŇ[2V{,y]ƺ}5 @\ ~g6sxͱ<2]Ag> cseMIxgJZTزv̜lfsAQZ?3Jd…$+-<:$I̺(K\P$%AA'Gv p J S1X%0.ਅ+v>еsЛ V## s, 8WCȇmwsBsE38%xmt'Nؤ(rt[5ТTLl\bTť&&L#?6 DRBmulrbV36h }l 8)|RrmzW<$kg1e-CvnXly?qo?6v]":,ђ{*^?bo$^|{y i4E[PK!Q dhe9 ѻB6b?93Rtgى\`c/\#"7DYX >0t+BED.kC3m#n6Zv)8I)Y`A-7t!@R`On wVypiCȐWgQxTd֭|$g#p]Gq.V2_Z̯,~2(s6\90QaZ.ywF(ؗ Ú=\0 ËurݸB{ cSM߄TOEy*`5הidq{ڥI ꄜ*vEѦ,^RoFF^ᳺ^L2sf' uxᳩɍ澛YF?QK&'^~,V#9b <5(@9b$IVF+q9wB3 R}sѸrK|.g^ג?Zqv+uTP`ЂtV?%B8ZP&jE:PUe]rу Ot()ԭibqtqG8 chur[duSd5|Hf/%&ÐDl (X&H)k?JJs i|!@a x+e׿-V1t$Ku.XDx5176 :%[ȇ+\Uϻ*6;)ަ>6w!#U HChl\~-( 1o/W+&^苳( o9 <E}B0Nu0iZisDP Sנ6cXƿfjmSR9uoƹ5noΪ<2PdAήf,wiHcs`沊X9rgT,ā% uj$4MZV{c)e.0_>we*UdpXJA\.ў1zj_įӒj(k";6+ À^QF<;v +O컽V˫͇҃Y[rk>ۉ~8 M[>hjJ4%%Y@ynT 0LP7 IcAWbNN B}1%̍E}4Vg@/~Ֆƌ)l>'`:Xx: 8cuķiR2a8zy'tP UJVb}om)4Dye8wc hΊȒMXkTVͬiA3/"Tw8 JW&c 9z׭7^$nm|Kt @ilqJ\)yچ =ȳDwHOgXGRwup$ϰ:@up.X\v^CE!4uKg+=|deUD/p9Ӌ1Q$.O}"qW0I ѦRO-BRvs|#uGc_|YQ{J-l+eVx/˫B1_f&DU5Ӷ2KQC-ֿٝc7v=P\ឮu *bWb$R=vnu˥'.KY[rȆ=C_SQ6R)SÝijRgْh(=Sk:gK@#:T(hQ1`ӡ,spPeŌ `G~A :4W\)ؤzES,W &BA8q' $Ӥiȫ"֓Y<ª=5?&HEx4Eg楘$SVԚUnHR+3yF/ZP?mLw]xm$* 1/oe-'__\ { S~v21Kw> ^*b:x6eN_J^ߧb:?ٔv0KʏĝZE T27f7?Aآ[H 3cccs`auPKυWIGb  ⼃o\k}`TV v:THٵ|1@M:MGyJY;yl%-{!6l'sO#:&ѵ+٨u^Ѡe]ʃ `ʸkSclu!>۾'PMʷHL{3Q-J:o)aM\ -"S7w?? H.HjDMJM(m DXQ!SǕ G;S9#[5s63%h]rw5¤Jp 1Iv.Ot $Vl R=Jyj 4v )->F7ԁ^4р|ZĮt'z"騡 &x3㱘%#cPΘ0dB(r1xݼ 2C| PRO!9\WnYY߁6 V.:[ /QG"6f 9T{ZCZޢ7փGb!r 6@؈0'_ Glg(9)|`[ H B^PCHX3HP]U=",ϵpX}*eqJm8fwQt9}61$$5yK۲#qˀpR-gxWfK4XIVrbF; cنhы/E # 'V!@c>MYK.'V]JƲcvަX  >[lrj;.*%\@~ g,>ۧsT UcL@ב-54w(Hi":Vȇ~iE?io:ؖHM O.`j "d8ҟDp&b՛sZhY-#(cH(%+Vj4/z> uU?eW08(3t_WSb,oZ1 Z[wxyQ :W(88MȆ>*$ROb8)t66Pf-M2/NvYcdP]R|Gċ+c{)1G&-u{Ҏ"ҥ2卭TPy뫧:"p"eŁmVUFS . ?bW^v2_=oЍtrQZiժ1֦B@OvvPЃ%%U_PDkz0OGT鿵؟㟉y6w-'ObS?H *Q݋$9Wu0H@30[u^mVavI~5;Q@H5ZⒶ˒֫s܊9BS]<ohDVN +-_"f*<Ȁ9K "{UxUݭ gCu<ә.P^\?E\R`!d6mJ7`ע~y _o("tWz>ā ZaRX}:g0e=̵cFmsS9rZ0~)kENo& &N}2n1p,IzHI4_ .LO"_ XH{NL#/ӑ=θ|72 0AY<]/φXjo}0 TR^B_v5(+a`?VNJ1\\n tޒ1ẝឹIɦ _;qvW\zWĮ0UcQir)&F\ T@X5G!Rlh]Ɖ&㹼"J w@OæPr5;F,We tpg\bW!H'*gKH]gw3dh bFf*Y.iC3%pH~>A ix`S$\̄ v1a rB)γVpA0|e}J”p&{Q8ǎUh,8R֩j"%h}`n弋y#Af]aKJLY tk*-~%In5&϶QD8˵WD31>7qnl\V`U]6ݴ5o)䙓M[^- 1λ0fXl+@/>% s#\5qq$l-MfpܹipJɹ/ y׮UzꁌayQ%>6dk^¤pI$ sqj("tʎ oQLBubozog,ػ.ZUPy4F 蔹8Q}J4`4@ǧH gYZ  `=E% ڱq`nZ`Vt&e}zid!P֕>Ln}&/ҐW=b F ,[phuP?(01ة0 Y/r 94w-RL ANؐ)5qw千h2$"wH=cΩ$$?j`N#wRQm[<}up&hђFD(mb(:kPȆPMiy=O]:cXT5^X*B{RJ./p:UqK=Ce42yXXLHͧHg { %$6]OA|۷-ֆ<JyoaH- qmJPj>4I?JQ뾂qt>IN[A9 PٮNy:4#a4Vv{f #v0;TeQDy}cIo+~Vj/n? X+pmI65#&˸^[gB>ޡb3)ʏ$h>Z>-W|l,n^A[#.l4vN#EZw@U%=cv=th;XH bk}p`.mM> _^ѝ! 7i/Z HBrb;3&T 0Ӌ܅]`+epؕ`CyKM] Rq=y}dFvfsn*k Yt n>v|+TU! ldbj!ڴ/U9/(t_pXتDp9H{kW}NEy3*B^;{ܞu Y eb` 琲ܻTEjʻiK_v /N]1-ڟ^f"ZVSyhNrLv;Ħ*B3B4yu =G% KX22/ZVމϗ"-t%)ٝ>\Q 9X7cCRhxIr e,DY"jΟk{E ӵT&s?u rfDSӳuB 0/Xz!>N.EhLJG}ϩ[o 2?8lr=0d!&O ~F"(_8ÓtxϬsWLW@OnvT+QXƬTMwX`ڵY'Em&6}/l*0A:GddY ^{n;VߔcxGX.=n60L,b96rEy.]>?U$+ъCc7(|h}}ka9,+w 4KV-аVp3"꘸ kX@54_/8.nv5ѿk̖lا]}T͵ZARQJxi[I0Kkò(z p 7NxFn#b_FfZb E#p|NՍDYUF ?g,n ~l'ľo/C{!e{/]ߔsmUU4ٰ8TD.]<$c>@4noث+}GC؈PԨԑ/W|mt|pKy&{O)us£֙^y S?`8,XghVصӂqo$iPdKby.ȁ:@Eïbe*MLʪ7Bm25,03/_ %DMzG +_N~m3ebY7uXi}U.?r˳M頃jwٯ|D2GcLfw ?,+qЀt᩾Q,T6vJċ<-$۶(:;ϱ@Nkڃج %| oיm$\R2SA6n ee5;CD!ؽteCvEj7.):3ޥEL T?4 Y]д(}хJLM)MLվ9Oy{yd>'vA^-Vw]yDPK'ŸPn@C?fuq[qQvՓJD&Zg o+`)MMHd\n{Yߜ.:zփV).S+" sيPj 3^U[n?#&:=aI_6mu8M"B*/E[߂kߪ}z͇]6k^eWa:z 4M{-@/'IgҨhώ&AOCC/Wse﻾-d7n,h BT=F(>5Ý:%ĩ9W׭&.>#ÞN;oveA29efdo5=PXw5hPmpy{n_vbDW]p0ARΊ 6YW# gxźuDKQo7ı;0LsvGFr d2֯K-]jgT{_K-b`;tOl5)S1rci&՜d3@z0y8lf dʟN/lv(vT$n0k CjnМ'foFPffYᷛ*]C>lI$.4'ˇ3:6[6Y=>zZx_q35 nՋ =R~аTjTY/uXG ez `NĽ3iDB09=S=m%}4,$SHCXc+[Cgo? 00:\l3+/ xXppI%v<ӧ=dtkw,C2V1%]~4'?9,*0m2;t/D:pd u(>ڀ\p @/$D}>gA,LJא=GR{ne B_H /FHt~&w kh;oIV4s\+2Zh1')v*PLU ܶf@MS 5Q vߊ*>NQʳ4'r#6#`G3Յ%l^2Z\H3zf ;RP#Wg_y`3ˢKuӱETC.)sBPZ9&Ҡbbȑ6_%G#W|ƌ)(t'= L4.^O }$h{)3¬j]j*YY{?wBv w,AJCW*J*A6{'8! "u6ikDVhcu-~$/p>@M )OU6}2W'z> v-q1xX4-葦xL;>Bo!x%Yybɽ[ G6#N6qw륭/WRz=#.sJ/SLMUzŁn2D'\\"\?jWb!Iջ|L71 tM9?mЍ`yD7%xk8)E"ec {;=FafI%4ݾuLAZ ۊz'Aq޾Ge 6P$ p@mv" '9yb5/_AeAi7w=rz@+l)s ŞOwGQߏ~~db*‘.Ne&:|H-Vi}6֣v~O{nI@%?~IV;ep\~uK0^-LzǛrny@3\)]dp+T7ƝF>C~ hs_( Z#/Y峬YYqG%-J[ $=5=I,hgYZ N=K% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HDerivdocument.tex7zXZִF! v]A-MՋhvG"uIBm5!jRňy\Z޸J䱦)G ,8[~ȌI8MkZ$ٯ7[du@Q?S4 ȶr)lB0ك>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\kSroXiBWavcmo"? mϘr 2gm7{mZQPc XI]0 7 ua>\ }6n|!X!EVvC/%%Q\ V+JܼjldfUpgsܡumѧ8;-?LbAz[YJj'];B A$6(xx5}tuXzMv$D%gn?Oq7Y0H-O_Kkyj. BsOkΈ6Yw4|E$%5z Vz7Mܣ|֐GџwAVT1w&UïE|X.ԃ[簈 +l{Wz'\IㅇO|g71 Mw&qئSIKÒ]91}G`,”[EZ>Ţ]'_6'GfKe zdΉG?=߫S=!8])+yae9L6t5T)ssT&1솨(É~ɿ͉Ӄ~/1+F:&nkF"Yg}bˀKvx+#1T?J˝.Kk%qy/o"%ywgSFo<yy qClD, 3i͎S@ vlT2 4 }G~63ʧΈ?%3eP@C9T  P7/)L zYO@1 >.K]ma 2 q_N8Z\ihhr#Tu'.NiXЗRS-y;ME j_p8NGcUιf PoTubbC~ֈZfΌU(&8ryz\DtS"$We5„C4H'tDL+b%u7'es필|B*=Ks,-x|>h]8S T8alp;[~[IPl⾹'dy1 #‹u1~%؈T6?Y`9wfWJnCH|* iCPV}mI M1PR(Y8Cbg`a݂ݥ0:Sy\9S-dS2䨟ky:%OjU%M{(۵#CU: Mls _sAdlg~淴m[F'&5VI8VY*EZ&4X2XbMLϘ4}_zNve@fSJ-KNGV2 J_'9"W-{=}p7E -e!(T/~ TZ:W&ˇL<2EC0u 0 qNוۃߜH[7];9j&"Dgfy~с(7 ÕVۆ/eXEs\9urbzǍvl>^F5U:%c>B=ZmR(J!Ya`$p+" S Mnl o@Mr<-lH'E_J>̾|^L- X)<(/՝IWʰ;@A(k--Ba|*h!5%ȿV&H)kg}k 3A,A>ksIYseN@I^ Ȃ!oZr$tHL㣄H{9hǜ7풛 ZjJlZmra t.ny'"}6Pk8@br=Ң0[b ͔`6=YBU ʁ55P ϨrLoE`,K䋁rSDvXmeD@1UD7_ÝHIPWhbgkx@ZS87#_R_P?NۙC 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[1Lz,O^9Ǿ~7FP:#qO3G-_ERs 0\k| $$ XKZqwO<@:7-0\]-h^/lpB)@\[ ӈ #4$DKd[eoUsp\ j&!jrK{tR,TuM|G *𦕈9X օ=)6In6h6K8c0p/lm%}E 0)<Ǿotï9Ƀ6< RDnR~c@-;KxE4 ϧ_Z{*L%u~.rQ\bĹp`T4i>plFmOF JmlZrG'OYχHoz-L3v83JmA`A#JE58[抴 -yȒh8|=[HBkbUʨ ?IqndɰF"4i_6W8uHf+hH|Ԋbz ~_:@CR$ǂ̝[$6[`Z ك rLX" mA; [6]y:5+(TLa@! p0J[5[;çыiPGȱs;,e47HDnR2#TM8Qu6jM"#Cfs3TJ|ьLMdurF/7XRmܷloxTV%-r^f=oA;3.?<:!/њOu6$Xb;>P'N)Dvߜ&#*O: avW*('a Ѷ.UJTT, )|!_!/p喛ȗq}ZH-UM>_^蛛s'3Tג+Eƌ^M~Pcl%}\+.NoSeNnxTE;Z;B3ud%ʪbǤgF+f~4V 9**9眵[Qɤn7 Lo^|e)ؔ8%_Tˁ$DfԁKA2?iҗ=7 FY^*њ eS-V5W;6[['PQq9KfD!3Ъ3l"#ZN< r_.佧ek]o(_#.S.M>(εJ_ߏE$WCSM\\o`[LY>MR!)^U|; 歭_ؕG|9<|2OW ofá0-fG!68C~QRvG&Cb}2S@|<^i fX:*j)s!U(d'--s]ɇpKa ozסQҽF+굹itk0| ǦnAK "-nrBp' +}KDub%IWB=@(9FUAWqB 8 ˈIdˋeպ+3yUx;0 ~}d) Vެ1G,e^qб)W(h+GSPiM}/E e k u4,߯Cl>pdO:˯mft{XF~V:dy3]Gɞj 'O9&>3)Cs-,^̓*ĖT^?Swye5 T@DwnMx.}jDc {deᐎ!z OW&P} k(HPY U~h@=ةHW[|lOq/N%_*J O az<;ަ.Mm*e*V7AHj낺ꢪZÞqo%Dwf횽F^qi Wy^^QV G5yMNAP} ^1z1+/K%s}[2&cTmKy U#&Ngd`F76Cer\?4[XG%HHsm@]#8?o(=pl6Rkjx!; Ducz!;.Y3 yPfng+7G̿4*X(,7znsiOڑœIH-ۓ (\+~Y>f5-c& iٵna9kBJr!48! 3.}[,_7^`SnGG;Fzb5%àȆ+FXw(0ުQxD|X z^ }[$BiџfR !m eei&_[ѯ 4.dp]#p;l9+~E64j-9 d j=*w Ù.1/ga^4R`8`sPzWPN/`0VȓLTXg`dxO7.-8GVi7$:aܠ[p-0w@6%3e'30Է $+}90,1A21}HAOlgs8q%k~C3ğb=@S M̙Kѭ(`ۙ6=?p>F|0kA:? ِ}msуbXE}P @D-DzPrMy@>瀚 ЄN L|$BDZM'm,sjbMnbRTzAWIm[J\ Kg4A6p~.}CT)K<+ ݃+QŐf^-?2y V\XSN)D+Ԏ+;@Qӿb%1?tIz*w2ɫz]~ 󚏛Ie%\INNKDz^#4S =<ต%\KS:_=FPСb gpz애 שx!$uq#4ʚy˿폿y["^}gybW93H'LLG |ͿJO@+ O>OLN[PǬa$j"y`F>X3-L_4?=MB9pE!_Ɲ<;,o=`b=T۞lQξA ~ ϖRxZ7~_#3S H͞ 8!1r5%ÀIiT{RD\pg=1qx>V0hJ=aۛ]oA<1m' b75F͵<]0*SQhZ#: {LJoo6NYd m> XyuULjƲ@1vNT牼\(~Az]!"pf>t17 ޣ#1'NbryNnK:z !㢘$O$]ɵ>L -0ij gʌٹFmvPN@3CYD^B8 BVOzz.n8A.[eR9N̽EP):=:_CQ`Q8?~67B: ļ\t~^c<ت ǒveQ#E{Ed7({Bʶ;EJ"QDJpx%l*nG}Rm C{th%c'x6\ƥaE7eYw_M!_;c)7ЋG pM& \-^Ovh ӮtRq  / ht3$@=+b^Cۙ<ݙx*ۚUNb^Xٔr+/ Lbӵu(@7A3Rl'eV]Ü|?7Ie̼aYY^m]>y=W,zg>|]g@}} ]vrz% 0#[.bHb_q?ǽ"lggɈmMh<3Pڿ}ptv= `-/BֳMߗZ̮#|*VB'nY CPɧh\{)Y8{[JNA· YՈjc.k B/BIWK+-6Mea4>j-aTn/6L; kgf@Pfj|Dr΍2't+PG5sXwNJh7 ӵSލK" Sk-6 sMe熀\"!ͪ$QR?~5BK'<ԤZ^W /3̗20LΙِ-1[EE]mEF`\ADSR۫N3ҼsMxe㮙3vPw!%[$DzBza\KG@GQBll z c?SIgYZ 5%5=O% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HyperDefdocument.tex7zXZִF! ]A-MՋhvG"uIBm5R;nOlW Uġެ KAK i7DL^F8ȬmqL Rk[,;?Y[g)wm34`9f(.4z4 Lm[@+ZƥIy404bNsqoH87=FzRsU1VUNWrLJyAmギCš27^)\RUC>iv?Ӱ* D꣨l@g\LIoPHv|($I>J :9v0`=G% 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 <gn>v!5آԉ'}k.HuWf: R#U$ƕ+?ߺ2u=~6Qk.oL|PSԯ@h΄d^h_OGyhq!?L+kq.O#bGA8g0532/: )bPP'rMPl|JôAp>=6G ĠD bwבb3W0k LOphzWapN 1P.h :k2c[!6i_Rť!O6m|@_,C]-g J$‘tuYzmgP(haqت|xF9vE)8,p̀x<\򴯡5Z- \-M bSdVPNH XW(˰j5`G]fgKذ),Z wR6@MI߇6K!qUEvh֍!_k IHQ );5Ppql]fMqZ ~9ރNvUSqAų\ :/$/ p/Ufωޥm~eDhAu[dvL!"}RWya0fר)ibTxF>z$zKЍ:!B.xaivlsH54Żgf WD́9o O{`5X]Ebo2FƮIMM@_"~_"R 1J~fĊ -9Rx5~Ίj?*Tn+gt"+gV2˛ ,$֏ Lg;9W cC@bpZL/CzB_CFL.xe>J1^V_aPEpRW'-HzO4dLX@Ⱥ/C@iI԰91HDܔധ3H #+J||TFdRo'~ כK`bTٛ]8y$Fdl!'3r02m8Pn֥5ίnуqܙJ]6Q 8E5YV sdA(UKSn !a%?/Up{JOZ^k!t_Fuʷ`2,\"2!Ͳ&.-sx 7o#Np[͢E)6{8KfА[:ƃ8tlgV&h~Yq@?? VZ5o#DmX{Â!9˔Z22G3hjFADZd;~uճe89ߒБɞW~}=Q% lHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NSComplexdocument.tex7zXZִF! 5n]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>ـ*-$S}G6- ;Wcr B< Ujm)8\AsMƵIhߧ/S=$L-x-7e!xubIe٭;TOxNcSoFJt?Ŭ܎j2krٙ4$^r9Po|],vT, +bu+|rc#6NSC`W6hq2ݘEX'W }A:ˢL_'_ Vh.aXć$WVJjEHzTU@xbݞ/Nǐ782I.r~S (]r5v]aP-4d+&5T&B1ԜT#~tx;Fgi*pܧܕ͜1+RU˔qn6dq/X4AT 3>M->_bjZi"Lu2mp^j2łӨ*F6#+xfON=*1F=&T, O}zVlᨍL/0\F0u C*/v i6IX_IcEHF#u)BsC׵:1r%Y/؜Υ#Ƞ.h.o.\8gP [ۢBb F$عFbqi>-;".O=EK4]}ͷT9С%oG ӣ7sʦ'|P猥Ϙ?g9 ^YEt|NbguI|ʶy(.hRfi Ip;GJlN@c7JU/\>G|P_Eq7&IEaGU!id7&L5]NƯ3`C(7oQEF"`+R0%ty[ee(jNGN"qi/FE"gQsU,$6Ֆ1SuGC޼̙‡LӻP^vxYQ|ɛGc޻=I借3h}'Tijh)XgRKbz |hĮ>@`ݩxwbŤsb%c1iLċ8=erQCf8K{i[t/Ѡ#zE(<_E{&]^Z3ra Yccma A]\']ӿqk_![ERڧ7KD$t $iNyeK3>@ eѰ jZ`m붮%/ 9mi7df 5\Bdƹ)urLܪ^a C>&`tr`&7SRbub&4N||PI#yVNU_Yֻ6qt<1gyٛ\cCݶ,1PyF !kRï\HBښ?5ٙ*iZKRQ"*y"jkS1w~LҎ @ȠIzk7`%nA9YTHag.gW&Nayy՟DEu͠|`;tMWYU܀9 St"4˂%痦y {@[ScxڳDYbkmTrk9Zz*i-A^QS/Íu,3Oe\S$T#-W ob:5 [Ə5 ~ٻ*>-Tcq\89%~ LJWl!hdݐN`YZ2{n\?Ԯ^y7BЛPk~n{M"{_xYҫ0a&ki7'dHRM^,HXz k3NBɺ6z}-(z 粷P.XΟ A]I )y5"|Y2:Wn},82rNŽėΩ>(r-T5"t!oiAU.|ErفDrfy gciఇz' ~D=6jaW7; iR ns h;ZbCyu$t\aE]co~9׊ \w6jiJBu}S˽ΤYp̱"}5)u%?S^S#Z`ḧ́"}o5Usm[#mm< %tMXtF2Vd͖uc WO"kՃvc?Ck%ZzH+\Sޖ#И|AԽGʤ13;/P1.4.Lf ''޾ &!4]~X.qLWWћ6Ab}0km1'Hpn ?uCSh^,wȩ@!^鉽9:NBHU{:$Ke#n\PCKGgu#Lwm0CI:qYco_p h`* RK̋NTm<-CBf4x,H1 hæD$O}#VH gQYfLuq콩cZdy1h\M !'#| OJܙU<=EҜ5*OoGřWh 1Qb rD~ Z/6B9Yz*N;뒬Xeb|sRY! LcZieCY~pThurSLnlZ|;Gbx8y=}RM"Q_R'[h?lx[@uvG$ߞxPI{8.^.C1J930)aZEޙ\:2:euTgI^_ J)Vӡ/m}w//UFK`ocP*ߝk]:rX6M@mfb%=baj45JqlIy{(iyŊ\a|?A4p`yu?!0R0wO \ω'Fa'n=K^C͟K\;ymSqh(b3ҥo9LԊP3f/_ ۗ+u2l@ !ly* (tr 滈.Qk{qMZsİƜۑq+细6MЛS\m_SLz q~TBKDg4ك.q3\h3"]R~_rP2HA/4zR>;KhOG#BecE ,L K1S(}3'3w2Ii)&x{U#U9le~ LJ(/%ۂڢ8ty""25!kI'Kk`Q dlM_oBhii /2d6?|gYZ +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/dt0M%{n/] & ς.F) SlK0j'!?$\Qqԙ;AGD .0y:ZO12ьfov%-Vi~UԹ U+?/OsN@"Νu A7eBgj @+ H I|Ard4FB4A -ҫ[2Vyw眶%M樏NkhKi<=״ͩa)M/%1oŜD;ŝV6 1u4 "N$.5Y ds2`U#hX8wTx`ExZEk$E 2K;%P!ӍN1;#`&WwK79xy -ͨP-']j+IпAVM+L7HC1$pN3%I=Z0YN!NtHH&pPJ|2 (Vx^lBC-+by{TjRݨXy0L:P6%`9a{L!nAc_"q[u{^]1RS=$ AsoZǥjQ4IŻ^a7N-,<ͫcI>SaΑ ѰM{\Uc%]`^\;D0Nh&0Y(gz6k- a_ձg=87Nq _`j[ч>\Q-)⼃4UO/ycHl-$I(T_o4 巾ºҳފK{sѳqQBh87ha٦W=R3A i9=g(D--s ϐfc<ž`6HG]?7hf+$"hX J\dC8ǯ›`bDjfʷVxhv=ècA0P$-9C]a^=p1kUG]Gi|$:(ǜ-wk?k vBo>h,׏u\Tcp}SLt>&x4pa쐀Z8Et|FCJS-?(ưgx>k1?ܓ 7E+1j o! sAea CX~U;F :60m uZTlTa4\:uqΏX^}K_um$Y&g9dwɆ+z@ K>1O@H vWaF"`c\azQuryZN5{<'CN̗oVߜ.hTZ+A3Gv_Rf7 uZ B| &/Yra}.aj]wX s`H<(3$- JLŽ_%D \~D:}<#í'hU˞HƞU*"(G[7 G%\N s̠LGS\Xrd_4JߥQF怢]H.xo? Sx4vzQ>:j3MTНXw">$@O S\c~m)}:Q=@Q)oATy.sDi+mMdwݜ"}.׆*0,S= J*g ngHoJ:wdp>$Cd:?L#WQp/w+/9YF6s{ 殥jba`w<]]9IU'W 5cIķgN{Q5v{L@t`TA)TcU-vTa1h,PLdX~_ tld4}-cבOf Y CH*Be> yDr0A;[|IK=&Ȝ,& (IuXwJ˷FJmlWg[rIG=e \~ъ8Zap]a1Gت sCRI1T2CZ㥺DA'8.{9Ke/*'2D)҈, "8r ޭWUNR;Ot0[Ky N߿`&E> .Z _%z58&kJTvW ;+mHr=Xǟ zKx@>  ~v|ER`H;YɲY/4'w̽(rRU͚zƯ%0qkAElkK܊튈3C*YyX0%@`v)kg#Cͨi!PpnukVC{l0 ʮ Dɢ ]hKёTm\^+ONr5эr.6 \f}h?nR{HMkRT`Q>zR0*4+٨Tjɤ_ R1phE>.%+ԙd,ԼFh>|$ɕd XX%c5紏k_0HFTq̂:ksW[Dz' >xwbwvA∤K}4ѥ q?u"feLه`w[S2InT/U8jo$>c0<=Ri&5Z?.`~Ge^ÞDW9څS'4o]4@6_Z';CSc$[b4E Qԫ=@ qED?cvzZ=tUгmBhI:w@V\v^PB/޲n}-ޜ^9k“_F9&iU.P%P"$8GIo^x hb\b6z%m.Z}> xܰ!$ZfglMJ&{(7L"eȰb4DlϞ82 LgPZ+T#M"EG}$\8Vw-ټT"_tҧn$%9h"$Wˢ/(M&:kۊ!ysJ(F ug@0`!df*_SopZEK8@-a cKf w.=\N`~_uEB^e*g9eMhmQ'U)F)2nXőܦs`Ob ˡU)y uV`Ӫ"Ya5.kU =' ft["aGWF'86^/^ED, |x8^=OEwLjMCa86*N;ꝙ|݂.z-&|w;[ z9'bᓍ]:=O GE4GeQ&sv>ivfvK8Uݢh2 DAٲ>eڙA_WEՖ·5%>J>zA*a? iAmt\m9%ث*j2 VZ' otjeYoDz!#K,plwmP,ś*@p@-!Azb J)@pɞKP09M P=7wJ\W/n?G?SB):f~[Q8p?l Ng_V`n^ʜ4oŹ$IfFo2Tw.^Sd+^|G{艰٠.vq]:<[. aOVRC2Ţ 9Lח4޿K8'!_(\3q.=i_9dX< G䋥k93GG2=6},xL&?F!,{$FhK< @hpaa>J/>Y0_}vN-}wpgV.='"nͶ~ hi1 (>W5yg8ժO u:yrm # VE_FhzA*gYZ AXN Ɋ䏏d5\qj%WG6l8M}Q(Ɖjy x}CɮyT/fPeRH3t1SW؄NLYt{2wHA_wey J6ᯅ#%:uhdPKF#aL-φxo6Z NY%f0kT:?e#Ucy} ^yWfNj@x~z;-/7f%;l԰.3S\rH¹AG2 I S'_ DEٮ!QЙ0VV8]A+5\}-K~\>L@l 9`U˼>Auo<9cH:n^D [i骮*hC /=dVzE3lsD:b4eDeg8:;O-%t)/:+i{bKZi0m΁W$bܜP L(pR3q=oxdvڶ:feWL`hU?&Iw)+uO؎˛.>qXt5 L"b?`Dps=@~.<$1\ٻMw4^n5eFrɩZy48x*޵ȸ'ex?g׋f_XEu]O =_2]h5qxW:0bY0' 72Jċ`Vok dƿ39OgSErIc4a~iZE`-I*m4AUv,V#>l09R  ~'PE#2Jzm_8g]]f\c JqRyT J:I6<#cbL׉7BF1'V2vPUel9 AMy>Jz}buw)GmLvȍ9w^Nqlmڿ+<`B^q<"Y,< SɝBm?(dޒ `Xs29h{YGwdX52 bӷJBB*[n<.,y紬]枣[)ٻ?e7/]pf=.@{G֏Y$14hC#e%&$dNko|#B]~aX @ZAInWC,MЎ=O/C0D"J|y`;k3 '4 wgǏIN.5((au9s!f;E 8 )cSq26#d fiIÊ*>O:2]}{ޗLg1۫"3K 2G(J^\[glvG1]GvDS4]6kٔrk8Q!Y<Fu/ >lؘ%&QzS DJQxق(}>)&sUK+Px2sUv m!u[+sM_L~ h"<og7fTxRrm<2v?Pb3L@z0s8dVɁOI;#?P􂨅ގِb' N8bZb_SA?؈m#Ș9|"5y!G4{0gFf@l1Q7Gֳht3n #_"w^$`vqbxq \Pq# ly3GƔ`ةta~Oԭ6h6~B"pR?zqs¾6(@nj6W|_28ƬI9Z^~rZ6NHK3tz8 Z'Pd͸IծL>j[?%Ǵ27)V)k}Nx9' d_)/Ͱ~Yvq@K] AU_ > hFNA @WW_qmS )"w2d,9g7in<́S&0?b2LKf̦'17N[_ZdlnjgēRDTh)%wZ]Y i5.o`3R;/:~ڒyS$&S nwQW-\2j.Y 7H2wHK>_ekD1JnZ(y] Pߕ7 V*'ʙψs@@ASUeH[K轑..Ư0L?` Nm,<\Nq?ـQܹ.x(J?"EM;@\ܾ:5zr}L_VByGpLnj lxbg7'(dwIg2:܈֟!+7aո!)f[%LeV[5`J*'Z׬&b{=_*1VQ}P;Crl=|3de`UOèZzs\[.!bǞPL i6H4g|M$|⻕ z]6 Cc3U7C,Z_qnm\sHO4Nl_ngV򌚂:'_u k< >e$G-{Ϋ_@dkmW/c,&_ p* |"??]C57Hc;K;[D÷u'(JXO,OBڨޝĚ{!gOiolH?zV]~PT߰S]Jo5R%g՘ M|E$(! & [ G ]Ne78m1"q,oO9^8xӯ*Bĕ S/(jk+R:*b@C+n܇Mz/#'PUWN^ݺtA<¿ 룷֎1=pN-0%0/ ͍gYZ   l =G% THOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HLimdocument.tex7zXZִF! P]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* 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*3}4m6=TŒ)+/el L~s Rl b0:rs e{=?'(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 sN3Nu;xu|?W# islZD^͗N;8qNal\ޱLPpBYHoY"q;s@/MldhY̮_%3{8S>{ȉvq+֬LŅ"@_Ň~'p\HF# X '@ a=9 "]w"{FoVeX5Wq&o/CTRL *)KG~$]?aϹ8j95ʪ]oh΢b !֧ x%*!9تv?)%o*a(Є"[=|,PB6ıL\WƫމΟQh8CPU%jȋra76lhq z(zw R5R<U "h .ub >SSnEJa놮~cA u@bI7I*,2[<gS5[`x|3K|Tq$qZC+t,B̋N"ԤpBZ LW`s/ ꔪ$IJOۨ[<1ywAIl̛r];A "6O\IW%D$;Q9_-7Z*K/gك߅Tk'8 /zK˰ Ja _~Q %uSv`nyV-2:gNv:B!p"ZNQ#bݛ`Zyg rٝts!l,HZ $RENOT֓Tc$ѫec`azcʔHŃ0fKAV讣~wS銐Z31cp<rnv`_ }pB0R%ot>B>0-Yp #>E4e6i;!^@ k3pƐO(._q\iNq%_NhYDn &ɞw:f,C5ސ 8 jqQhtg ,keE[8:懯̘:7#`W%رSX@"Muvgwl=a`ӊ 7 5١$pw@^O=(0dsQiYk7xrȻ~Ig)yi;h_'iF}fW YF|?Զ{G g"Ollc(ƅPT%!5*Oa$/o *'o(^۾H] )q~фN#t*I:|nAMϭe25‡5Ol(,xY:JtaW,$mZIzR.#wٌܾc܇JH GClW:1CoPy\j]@~uoL0Ja]A}Q["7YEadΥa2JTREd) =ཡ2 .ۓ8Ʀ%65s0bW}@0;lU5T95KyZ)vk5n>`2rBO/l8SLgmJhFl/E39ۦ/@i\-8rh 0#cVo&ӱ6=6[5n@D]jy>دSCviV0잇;5kW8oylhhx7:.h22Hc7=}gcaC о+;RD/d9o.h{ Ui][ϭ­w9v& |gH:ӯ! ;_kֳ>\5UgB`9me($("( |)f$`Nv!.zwdIBGZ 2ԘeOsbTSE,:C/^.R|3{>GMܲy?'[JQ-{ 9V6@FnYU|Jo d.kϘ4 ]pE2|V]H :V ƭDPClT7[t{BW'#Zaqmӏ8琡osL; ؜3Ѝؾ΢ZBo'*6nlp-\mu4Be!3 -o wF4Xȝ*pzŏG$SGzWg  ֐wUsO%I^fV*Q{X)SХ@=m `|d9 Sp9uϟP jI祃 a8Q I'W7<#QF dt6+5`qݛ@$_vBmR"Ś 'ub{T!U¶]\[sYk(yB<˟sg-tCRrb6gdvGT<~ӡ@Nz=6ʏBkmi P Yѐ*%qT A`hof*kmɵBKfc.(cT^\VSK89W\"^M8%=;$A,*ozLcm[N/F`\28n۽g-@g5=7bbWW<*NDS'* `"ֳp-Z? 䲵pŃc|vʷ6b#4mC{ʛ,c+jlЛ&/q C.c0RAh> `J}ʖdwLѱL?2AX/:ʆ|^ց մI$n{d-h{1 t?I&v7~IJ\]JMёr:Nگz ! +l4I~nEˆۨ̊p'|>'B.ݟCSܞ9#u2WhN~Yv2gʆw bN"=S&W; |nQ`Mk4 2(Y̌MDMmz5 d.X:ŜJ\mZއ ZS$Z6&zVh@ۓz&&̇o\P}1"^H?]])J\}0@:b7sIk>zG6<@x7N/_%WGK(ڄP@8x64u*cim|Dɞ0;v,19@]Za}xy|GKl"]أu%rD 9{8Ib{ %u<U>a&NtbfI ^)H'i794)xtsUo([Iz_०kKŪ m >K_s^AjZF64G&#, L켹x:Cxx?\_ Yrb 9zfsB6Yt7.5v&Ҳ; V:A`?][J5SN< WH졹=]6N:ˬy(pФ!2ޝ HMG#r9jmroOli偡G:8}=lZi.ï#O J_ܙ{?x=ɯ hЃ{C_CE3-Ӝ}o-JAmu6w=o".|V:[[c2zu/ހ]b)6[)+2iZL16A]gd{,tB&Uty E<a͜mvm}$4JyFq(ȠA-'Qܨ0 k֤3Qh0{L{J:`PԝЏ#u%Sw=VE9$x1X?kpF@~!3͹^aly? AS*a7;yhF+0*}/|ᶏs V *(]G&('Vp3ɹ|l0[Y~dv0e^{ƛȓwb"5=)ٯI< h:Deq"D!vpÌ s}RE[>_%C X٘|s;4T'boE$YB.J25wəa[2#px|UPxE/ԧbY S$d1wpE)@¦{,&(aY/wD&sKG"gD4}fp TrXT8^(L[燡Vź'ﰵAJgS6#_k]5'g&`7ٴeC3pusroJVD__>R6k&o*$aF¼:73#m;JŅ}~\fvs%=w[((`Q7}FG^`h;dW#9B'v %G>_T*+M˅k &;u9.ypᓯ; hכ'rGo :0\h>z#ɸ@r3 A9E#*&J`amڄ~r@ Tyϩ})}aCa^r=cbr R ?@ݻ_$P7 k6s]>̜PQЇX )eGX3`5%NZF-O̘ {pe+՚(hm-e x>L$L%cwUSo=&N|Ua-*ϗqj=L80/ˎx"wK1!#q`(f&aW:3vkͪ.1|P:3LC.y(x3VdΊTI,"U8LYk6"/N9: jsV 1۬ )"7[+eB['Y7,Ј$|HCW"v -gE{.hbsVf0NU4[1єuK{ j߆MJ~eOd ގB_AZaZ#%,]QlgYZ  ! !T =G% $HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.Stardocument.tex7zXZִF! J]A-MՋhvG"uIBm5ȩᶭ{WFlIIcfߦ2},(/o Fo1j,,Mqxx=(6AzZ[_Fo{O.x!w*9i!;/DRqE'%H7USQ_-?j.d26aZ([9h_meP= }~9PM`:mp fW2qʯ _pyoupęS1i|V{?~ݷ[%@@Fh,)5 BbWb^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%>ui3q5ģ&@g y&M!u^DKLm oG[cA(%1: P@%1`+lT7FVPA h/7]\qx[En tEjW6,! 9R]毊H8 G|6ƶKB执sG0w-Z>\Xj<@؛q04"馠" Ex{1="-spvL}LJ#Pw)8*p _QdntxB s =M% \HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.NatStardocument.tex7zXZִF! ]A-MՋhvG"uIBm5ıZ;AJ3mi^r%Eš]!_\6.Zw$kWm/g; jJVOnz~Q$^^,9o)CeO=|_]Sg. _k,|v6\%46zrcg]U?m.:GD0y⢃wRDH[T/Òf:yhҽBU۝3%jfn;Ci?Bx!A5!7pZ3U-N[u¥jD|@sv;yc &|Q,WN[kk9I7Μil|MJSlZ0!)}K2UkÄ!|oh)kLSZd 1CO pͣ'ZAJ y;\<%N{h7qkq@oXa5ZprHC!ٸTAir!D>򢃿ܒK͗A - p{d)ʝrփ:Xh#t!K.~b> 1kwE68ݿIZ`=ut@w:v15sGi'r001g$,q3k|DȃYF]ZLo8PƉQ!!Zq !_q"?B%zL^{Ym? 讑Ќ)YFN :W샍oY qwЛr;U?8+,68P[Rw3πfEXQJ< T U83&d@\ y7K'NUycHgҒ}U kDk'L*){Z@^N>'`/l[ hL5"@|"fOvIEOu/ ^~kbjp!@M B9rv Ffu0 T*׭ 0)])+uX XGdgWݯ ^[z}slp2}g<^ܔ3:/x$@B^鳖(1m~ tx~~󏏺'.HTLu=r,!c1[ovGS:k_љ=WveX{q?hR' nc2 U>+( (e|P*xO|<Բ w?r2{O;d0z| (8wGDNs5. mƯ ̧gwEy~)Ճ;AѵXX|Q_?M"63=8F]mEy#S0q^AЖ\)?g#Gj(^t\ 'w8)_oϲdK,= 8E=ڡg Zp_OhbyW13WyMm S;7 P}F͍5ˌ^@{EcDЁ+[&ɩ*N 7iqr(N<2`f߅4"/ a-?ǧptm|y83΂ߏdg9P'ߧV*;फ़ZZO:(pТ--lKaZ \ʈNh'XgC !#ޭ yD|UBsu0-) QYΦ[P];˻2 FfRԩ^cb U|RJgJ`5[ ESgK1*X2aLeHYsxxV;ߺGv&.JG1[ub"h}b9?cQwWv(Mg]u:gߎuИp'3F8SL$q6'gSE|u:C@;l#KԍȑW{UĢ^ i@`]\OчZ.ŐDk)b=~>A' TpռҞhiWf ЁL<"^iU9vЃe !Ƿt%ߦ*ϯ\Ufj&gEϮAлw vจrCњf Ȅ1yA|aj&kMߜ^PT %N`a3iX8WB2wI|ľOM;K+TAKLZP ?ܟduSh"CLBMjGN_![h9f!YyؽV<t)9(Z0aXpkHApڼGsИ'K:ޢLٯ/iF%n 'J?!g9 j\VB2:激I-L͔ mlx8$iwALwT(눘 a}O{_0Gīlwrr^+_VM\(DNXse`J |9Ð(3ŀL6l.1ڬ_tGi%5 ;Kuo0 | {cL",$MZگ̡ 1Kqdd Cz&T(IKw|n>PYx(\+QuZ f ,{+fxwEU.c-xg,yFU~\Aŀ[Ǫ}&WBTS攢 2F4WmK C쨊?~߭2P[1.xJa4E-X|,`1_w89U|2IسshR8#<><_ T{Zkk*ݼKG*g3-0%K=F0bxWdCQguc wæ 2Aayd(;4o*'xc/7P>!ggYZ W =M% $HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HSeriesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ځj(.4(AkͮnrkiT'"agBqLJhCVٌoi vᅗ(~gF|{1 JZc*C-7N9~/ъjm@yA+"Hq^I:x)OXu˜Kcצf o*#<  BbYJJxiݨNdlzE+U <C=";[-}ApNy:~b{'MDh " nCBi(q׊<lRDJ3\W{ų w$΢HpmcTrCbvCeT`͖I5Km4n&tg< 6Bhv⮦ u5sei֝<(ɍ{RgPOHoYDL:28ui^,B.y+l!!brH n /Br^5cK0w3y8c]Q,̗UK%JbG e6*-y2y;/pL*Ek!݅ &giRy;?>_.x23W׬Ȉ 0%?j <*z/xQuXeMANٔ.BE'Z7.N2" ހ44}3{+܄!xnuQJCQ-G*NrʧYh :[yI(c:ȼ4ȓkνdWG KRLyU [] e2"|VO#UɊ_U虼~3RHjWr'Zur'Ad/ ؅U6sԗh`kO+ο{ I5d u"Q;TԴ 'On!_^`PC2%d$*uEr"^"&uW̶ю uՒ4 mvICDv S<zMy=\bNiE8"c=e]*O.Y:fXY9'VU~ģte|(`i\Los2n||Tc xcvuf/'7:ăzv_xε+20^@%;SaNn|Ce[ e U.١ލl5BFlcZ30m~ٲbV9)+X}L펄UOjAf^ľm`h6D!IE9tw~_m}?7R  xM|"#B03\<6oɒ~H5/>Z,: 5>3ҫi8AFi6Kǟ26Z6"`(yZJ|q aP5j%8-kjMy`;qnShB `Av)@>fѐ4;00cUP4mR3Gݒ;@򝫹ؠN&l}gÎ%ٓȞy,~hW`X}b6g0t M-5)Th>ȫ$ f(Р=̎P b7Ne%q}Gq8"*n?ZS1IH@*7 3>fm! nRБhU0\ush7ISʤye{vLT'PlB(Ys{͍)uRVA%uʱzIFfA?z3+Xa{Ԍ4u,ǝ#3v rus~6x3&S&^脙ߞyK0n)v0 nQ]"hN-ܝr&-{}VIHH9P9z/ڧnަs_,@> =YT!zK34Uūx ;n;GW Ӛ%1%G+Ҷ&z~3 `D<ՒAu7*?x'A|xXj[XID@Yp_Kk˅ ,´47NT6ư//#kS3G 8Nr5EOazbMvt9BXN#t%k:[)o%~v,- :ۇ3BrB/-fkDxDDl8H&iB&2*5\}q?)tec;%tHϏ5T%qd6^Y7fLgYZ uu=G% HOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.CLimdocument.tex7zXZִF! ]A-MՋhvG"uIBm5U]Xɷ%ul{מP {,qj JST͉02Hpe(CQ{R\.B03=C3nNh ^$v@-yOm jqV: ]Q]O;wS{04$机wp/8 X5zQ8GWWK)'3;)谐a;d Uh>",#yX,j߸`6Y"}ANTjDCKuYmmگnjؙu={שIW߶ozS tw!RM!Nl\w{JG(B̽7"vĊnGD6&׆8*Emx{#* hnby{$~1Q RIջ#[>ax`'In itYuMa}ufHUkK8z"8ñ70VO4?dMŲi.ʂRL"F+{5N ĭd\{?Gy[c '[^ȵ^ Eċ h/ |A~uH^#;\M47XC 1RTlu zGw2P}?.QINlRY ->Gr\|y?r;߁:T08ypCBӨ97?- a{L=s%'M ״^/msĠ~]\M!?pS>([~V伀?U17KS} ?1:G/i)r &7vݘ9;'nuqRXA2Rf+xGZn\&$Oe]MŚA=ʿ5IRddefIoaܷL;YR+enŖQ>eS`gpu`,Dgc]0yVBFmdb (aVT5]F [L\,X8ϭWfFnc N&vv%sg=ņ\'{X=>SwaٶS;ÓCQK~yJm$|L/[QyKO 8M&tZ]ɩޚ&{xEï.dqj'f:Ut;᭕1L3[{].uŁWlVpZA 㖹e]æ%aݤd6_pZKRZs?\FN%;/)_w/+CF='yL$ PQ9""y z i"}e\Vx;I@Ϸ0w6y"+k :5."^kf?F{zGk3HfbȪ,Z _9a;X_4>fΓr6x'SD0 "N_8n $}Ilޔ=-,OOs :J͌>R!B!fdmQ'v|YydY~\C ~0w,Q>4n%>rB̆k tqZN9΃j^C4gF<~@ʀ #,#cNǘs,Bat2l \nDy`'P^'P3pT wfkEP?el 8*Ha ˜O]MslX%X}*^HxEWBWB!/,nt9B*Bܜ~ Q/7k3l(,*ag?LIy nlj׬jW}Y>-N> BkbshwKXM-aT +aa7v9jueȷ@Pl./dr  Z`kLjsl^ 0aHʏN^d4lb% Gsx,4!9>cx=StWף:ܾ T[ 9Vi:2Lvީh8ehu$re\Se'A3DZ\#P}ën*m: Fd>y?d>ua(0Ņj?!&-w wJsX)2Wh^;V|NrtJPNꂤT߅%ᩪ"Lb^*ʏ%J20c]PVe>7%'LbAh|޾Ǧ姷XFNqCfT4+ߒcKV> __@V Sk u6Xv|NH,5yo66)CK>qdb3^vJEV;k#Eb|mEZE0g`oinhRf,;[:nLcPU:Ү)Y9\&1K^5VW$y)PK3cd҅y|"[TA1L)װfD?/Ozb2NhȘ6 ~CO[@b9ХRr#mMr$t}M^å ~ (;] UYN CP1&*YFJ(j;g-+Ufz(4ac &I=ϟ=vI~ |*tn N\A/Pi̻!,癷+עfZ)]mV\2=ԁYKNbֺb짤MCk@e!C,tؐJ% ]e 3h?[dYBXx: fIЈ611䯑̳Aޛ*ޔBX +JKY̾<~F )8T?,0\Rث/QgYZ 4=G% dHOL-Nonstandard_AnalysisHOL-Nonstandard_Analysis.HLogdocument.tex7zXZִF! { ]A-MՋhvG"uIBm5<&rSobhUWL $ڴ:Q S1Qd R!JDP[фZYL-EKx{Ip8`2 zS seFi1즑mqG« nN;8Er<=<$F2WsRn&v]Ef Rd8o\Fh;?\^B9$5Խ9H8Ko Q S1'ha0C¬"z%H mVGv&o194Oqy0/]=G2FvJW͵Ӛye{s׆$xzL OˋJvRHj$:XA` ,VRn(PaT@t94sby8Kv/N_ V zEfx?76UoIyZ} WxWd4CE^^\0&څ._IUbgBv+I Xk5 !8Q{Za􆭷eN256 Np+Ia;%e{wMO~~Y0_%<|K>'I[FJP9ыAN:Wbs39Jp,ԍIZ GWiNꀱ$O[Jg<_\uiyZ<4|"+> ײO(@xHK*R3]LG3^>NfiGNIV$2x`#ӣz+O@\8 v Kd\.S (=~"?W);L36f<DI6x_#Q*bؙ"SepaAَGt JC)$D|)nɄش*?Px?,Sk_4tNM>0=NTqi@!vS2[28ssmLK1xd?jQ xlk7D6y欢vN~ pfˠJx4b״ɛ0Tط sln ?(~lqviی{?ix]du+-y)ky!JƎj}s>[xbd T -jMemۮi\ wzBݓG56YZZ SZ{2 RM(0v:=3E4鰴زr=P?g?тQB8Uyot opy=lڡr.WJ!U)%?b Ű^|Ԧ^;RD}=He܎Q /YtYBfAJ! a$Sk++So/j@{P iM${ 4?jr^|q(:vF,丘l'ym~,N|q,ElHEdj f-e%+jwk":dK}prw K(wq{6eaSjv)Q5l›jo H&ߧl.0nh`2+˘E3҇ @ oۺpE{%!'`d ,YGAY[qMæyN%M͍3Z8@,gɇQ7ۙU&KXW 'z{쿣U<~Vߥ㏻tgH4/&X -Fn*@Hf%[|*JSjX)VX';rjE_j06`lB+%: vF49l߷J0]jI)MO8ȹgJ0hcˏ -fDQ@@eԍjnA7`c ƘzVd*f5$ ;Vxa 0J@2anXAi"!rrۅc,/٠٬ Ol&^#^&(nk ٙ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 QQ,=_% RPA|_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/Lym?(m,CU*wR9~לPIY )e/skÍ1L9<տR4^O=L9և!"GdL릋 V]K65(6&p'u憎HDDv<6e@ĸq4L`JsJk{Pka^!ޜoLvF@ ^zu)X 1J(mTYf+珊P,9Ǭ.F1ʄo05F**Ri#jH!"5 7[ySB"ٰLރkx-H@܇;_ $w߁t5ڻ;2o>B46b!Aᣝ>%⥣]Dθ̻eH?.S+aϽ ZNDi ^ 㺀{ِ^zz1۴<޸@̱3mG6!" \5ƌ2%3]Aw?4zJBreɩanj^D>Д=){ћxxM<%rd(ZE[oZ߃ un '߼6s[xuK`Q쭕Y 1To*ߓw-E)aAp#H[|+߃g( X Af\ sLf| #bg7Ų_و92#j a06Ya}͝"wJG7@gW^X/54`m2Cg+ XЃlE'+0Z ˼EǔԑA܎;- (ƷpL*`p}#su@q1@NN8mK k)FYoo{ZFBŶKA*ja<|~ xedCq_e, jg HtBY1/,JE25$!qG&Ud:!6\5զLVoC}MRLK[yȓ3ba!]xi]"XPt2QgAInja (kY=~%8nOCOC|ou`q5hm87TVcAHQC!fHc{[xascmbɇNxmkҬD?+Ja3<9JfO{lM+/dBπoi;'7SdOi fDHj,pV.@m)+W,ʘ)EgYZ  *l * =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űgYZ0=g% 4) XsrBqe%~XP9V6<8@Nay͊>tl-`lvHLF'( >Q!6=xÞ{~dYL1US39f-JVݻ-N)q>