SQLite format 3@ .C  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 1+tt$ ] HOL-Analysis-ex:threads=4elapsed=23.911cpu=68.028gc=0.8607zXZִF! ]ŗXiɟ  Qe E=h @0&){FPSdge?p4 ɀ# jps 8J_2!htt0Zˬ.=) veXNo}1 ~\|dk5}~1טS\_(.=gޭ-5dTNga$2ӯ0t!ɍM9l  WT:]mR@ ]!aGJV|&!yT2pQe <` ׄ4mM!X>|`':8 O,фBl"^25pLE.UmxyyM.uvPҸB~[d-T:!r1ͅ)L5b 2iɘtjTele=d|V_xԪSC:gmwM*j{7W?=y bEOC |C(<,4g#KōgYZ7zXZִF! q]ŗXiɟ1 xupU8QZs¸jw<|b"%4so_x84HXv#2Gd'-(5P&kT8dg!C8&TQgYZ7zXZִF! ]ŗXi%PKY f~(^yހ`HLھ88Q+DӦ=j.O #4$EX`h`a@cS P#V߉'WzG5+D >V(N1@Ōz7C\0KSNj#C~ī-c9w ~bo GGmcοk}*Rߙl MKD.gy*=.bnE?jRG8m#z[ tظcY#lͿ\1=]y$hx/8W@tܰzroHf2?Vw` \LJkK޲Ek &ܘ43AusG P(SBG{Y>ۻ 0䮴0PB܌ ]d²@EZSXfo"r] Kn¢;L:($Hv'W AߍsdX"mjxMb$0fs$?a=:c$؀Ng?C{uSqИ [W=XmK >۠z#JCar(aD..wxqqvp_Zt"F,<=TޗAItKS (C-o=ev,J o`Gk|ewd,7*$P3 IB4٭ؼi Vzxc+zѪkiX V}"0O`Sk5a /A:*(?wtn#oZv:[4b+ۆ%x=DXWI+m ULwz~nظcR+96O?LOFg)w Z$pN0”C^J+1:(xI Tr=.Ө)"H$Gc" Q^"/4Kvs݉G4LiLCO+>0 XnΓ"x(ee),{/ 'Q2nA3P;{M\Qɯ_>ceg*mЩ깾X!!JO$Ysr:vMޑr4j}a5Ӑw$I8um'+*8hN ˧: c=,ޠY+ʯt]#*z{_/6M5W)jɂd,%Ԅg .Ld[kx/ɹ聁i2.L>Ko- Ojc q;y.7k:02B7L\(d}_~^눫ōlϮ"lNk[ nHnXbrojYD1?lj3gs}{q!hV yϽ $ ,eRߴC JCiFl #4 B.v[v۴- W?= $FI}^@kZ0bʔx . 7d'iu{s3Ox_$Ƃ m4x"t6ޅ#/~C\9X(Ӑc6i AF.@'SE֫Kt$hW#[6$ͯ_ =<0xSԆN׬JRz6XZs0?S-G h8 3B&ŗA_JSō5֬Yp0%ml{J ׻VF;`SC/ m yB$XOC^7!(& -FHۥkIu|<ВU$J̝J_L|(PAΥ#R5M,5^EQ'3*"z0Pe.{W)}m70oyҼHg]bQ0:tFTěL,2]hѮʽEZ)Wo-glʉfu*/R0fѦqW0N Ó gYZd86ce52ced7c7027fead610fa6d5829b46992f657527c097151a176fe2b7115e283a3ad22f3623eb 46d6d70bad25fe7d15998c1bfe8de29513678f57 34f017f50e8f9831899f371b93beca4f99c352ea + HOL-Analysis-exXg+I!^HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/files~~/src/HOL/Analysis/ex/Approximations.thy  +IC |HOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.tex7zXZִF! @]A-MՋhvG"uIBm5=͢)aTqrrl0>t{v8gQrP\`I"%i fT*j~V5˱V̓ xg7ecLĉ4PcNělBoEHhaSsWG' kz/ژQaWɿ",_3QGiS,5G=Ab?/Wbpt~8U!p3ݜNQ.Vv Elj}pTrci'{v,F^.92&}|ɫVżT@D,=ƌ~}ix4c+W# DHOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markup7zXZִF! []:F.&kc*eF"]vjoe9qlk*c.T|ڈnJ~1W(NSQc,f,Ș0͑ zE?F~AUҀhDΉyXDsRwifRFW""Gu> Sxcr_SO:OV 5?_:KLFs:+T<'xcebJ.2I9JIJ{ feJuX5V5V qloD[}adU}bc$RIc9aVVF>Q qa=TAZAz*#p(vdm8 ݨ+D>5g8jq@c~N%YA8T!Iƿw;l2nbl%X½bgè7g-٭*[ xW$i]{2:Z{H&1k.k.hb4FM@Z1w-q]5yHB To;<;PXBO1 s^y.` l2}ēNrmڱώ7*ͫcVRSׅD(x#{q͏$wxO9zs*($!=i44x,%YROqBٙŻe R"/50Xup:XrN^F#t W`XX(&'{zty_tY9^g0%jD3OG0<0[]>8|e-^1[ͬ}\W^S~OЪChjw%A1]}(X$7QhIa jw fbL4=Óv@$nܭ-ŦH6nr\kxtBƢmշ { QUf9w)(Z!/YJb9=J O0H,ϤWB9ˢ0|-O@L&ˏܥsFE8Z ~WSV"h( ^OfDO褧ȨfnbϳԳ#ZJg  M _@+I'HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages>+I#HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup=+I!HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/filesN+ICHOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.texE+W#HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markupD+W!HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/files[+WQ HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex   ٓ6T_9H1((zo,wK| Yy>`[Zm, 04`@:(?Z A O &2LTU3bCJU5k u3s0پ\Q|SNKJi/ɩ-da(Yyʘcrc!@;Ju&|;Q!q󝲢;t$)wŲ޿-$9lxi3 -!Y9R_M$%_4!'|.KZq P`FպٔPl:;-2MKd<墜.NkքJDńiuIeʹIPG){ڒbsEE h;'[]eh.(-OfP)iW+ᗻ5Y.4]Et|zuhc uY[yZNѕ]Ю{jCx.=Wa] 'NkqąJg7kVJ{lBHJ{VW4`M\ݝB8rߝh;Cb@j"<'%=a)kx4.丵m{ŽWA7ҟH#/oyaF|1ڣ8X~dX=mIgObk}ZY.EEsh^,l/zedVKU +!ZZr˘Uyor"j Yڕ_Suǂ "7xDM#h{}t{Hn$hJ:kdQ]( *V6]%a:B X{Cc>9*i؎)pOMIţvf|Q qҌe~w Tp@̠N=WIbҹYZ} %$?wSx~|ťYu&>IJ{4}XeBD3LB&TT)zW2(1h>wV(euC0k)x~?)ȕAUN64 Zs9|D:'2OhHQ,q7qiU(ѝ8|IfK>iavY. Jr)7<"!4w5t7؄Cy : TL)Da*Bl'xvp̂hTkUs'Zu[4{sq"ɥlS)Q(96R&!Jɋ&M*~A;{7S+Ss`9P8tSi35|1$n`#Iġ|&2MZR04 6fgF_FYёhtjGr͐bCo`Qt7:g¶%oc8&D1vʜ*'|kO14@, (PrL~ p,MCQ?ػ4Go/_&x,bX%uV'a$Z cy"m_ىQEϴB^iwazlV߃Άz[M>_7d(?3>M6r~pٓy+\Os̰gȐ|;%TKصWU] rbb^bLgLlQ3s 4$^ ⫽[z;#Ơt[9q ipw579$?Ayfw osg]0].< J @Ѫyp Is LdjnI˩9\m܁*+u Hc\2U[iȌ]|7Vm ی+#'8R6#6sluH*OwX›2<=4'T|0pQ<0] 2.3S T FӇy v.UXr 2Z{"*;=0 &C#l{i\ߌhA݇QTE1A:˛s Q݄T3 ٦]ZqM5Af,N-Yz Ý,!at98R߆ fa٫<93\cG\?V%K2e \.>`j>6>:IeW⾳;+2Ru^v-^ .2ݬMWRvmžH'gս4h@M,XdV-fhyf4s ]O ;nk˒ǿbP\|~b 11f4F~#㬘I4k\bVw$ 8՞ 3׬܋`QT/4sU@ d\LM^`"HGCt:.{P':NNVtT'y *rN\&3> nPYV u3Uw4_pyI)0c%Gj7"Bo1u1-zb8 :Qg)/OC~nJPx!vt6.g~jͰq6Q*xs4Ky -)bB5N9wV_` ]|d i2#Ѷl_ ;ylfL&R/Ay>{~o / vy [ܜ'ܕ롨7 CW|ծG> *2WL:NN?-ߊyh(VTK-WN <׉?&*yymza*K k@~%FYq~E"5%ۅ >Ҿ@Zy\, q32t^ܱLH&7e>瑀^A?&v*R$T ` f+;sbNƇ|rYy]5kN K/j6R/ȕo^ߗ >eu~3+]YUCrF{ K9d,WoPPU1.~gXSvT%-<藟֛>p_xͣIQI6SwNK[ǀTNeA[!X'>}=%i^:n-Ǡb0њ1V.VYi6$law'z! d?]n}\.oD}P:-B%Fߖ(C UǠ zrT`ʒ4,(@pljI@`|5w( d 3"X9ӭ]xEl.pqֵ [qSo \E'[ȾuJmF D\;T۴WaaM3Pj,XĮ0u1gQ7FyРc1 c;Kul*3"ۋ_7}OFcTgz`qf?*{ <-l%`<ڞ!s5r҄{@d sm ׌2ŏ!SpwkolUTBiX[Dw@ vQ֣^aػg*4#"K%} RXSa[ fXPh`&H7JC—oXӐDD>ؘh/|51H\p7!>8V-]1D Qnl&+AnywCYӓxاoal~dQ~G+vI1oqT.=urlXm5M"=I_Dso ƜI>w\HT Fy>i}#r1 &sdz|##"i>r}~Qf*誐hcg_gҎƂ` ;:a`Z#U$ aVJIâcob${Zy`:C~É' %캾X V#!D;ەa v?a+Y0Gʏkq[N CI4Swg8ܥy!Ai|,r<6=}<IG D*GBM3ȹ"[M7LjI~C(s\$L3 VցsqnI_Eͬ2a Tߝ;ۚw3:9?dMj%HpC:u?LCHHa5+?|jPK7YG e4.]FwN ;EuˍHGB<^?;\[8(-eY>Q)^Rb~E"kTnp*KNAFY pzB+Fw BZ;$ĤE.uNd3pAk r|r񵆂;CRGθZ*RtAn ފ߷hl}@4Rc$p,n`BΥaOQ w݇B0+@H!f4bLn*x $oϧ;ЈyлeLﺄL [O8<Ծ.NIT͋y[FFU5֥51t"zĈӜ@ ]f}IyM*=&nŢ~Zj.U-;VC` #p__+M .@ij 1!qz(R7߀ fI#?t>5FwSVQlsOv1)|8Pʼn@Kg,uC5]yρ@Ɵ{){7 :x-X ЂZ(4ܼ?7C߅Uf"ޕg%{@1nJFXvm;W0y'B *oײƷXMS%/M 3aS}~LTܮX:5;tNLuswvzZ"SeFpswBPHZ1X#bnH6=0| uJ:ʿC:77Cr,46[ðzr.{^o -`hѿ:s/0B L6KӠ a#+]5si<[qdI磭 M5H6űRհA0TjvqN?a$5ف,;9ڱu_T9ul'mP4oƁe&~Jǝˈ"lcYEL>6R^<Áf fNEd:d b3a5 6*&&f۹ysK%˳_iUБ4ᵔ=rs՚T>Xn\!@kYZ2G6's+n;kj \T4HFD| V(\6h 9c<&Lpp4?:6Ⱦ@tHoƫ韄u x_,PR^Mq\z~KBF̼S@i(wZOζe* NC[:hgOFvcX/ׅ pv55e "┙/8(s'cl omjHܞgH>RVZ\q?nxd/ F91e栗񿃦0g m( 6Pi L^':~p4+DHJ<E'{k^1‰0V#5Ѫ.`9Snq8#Yj}`6D"w[7wϘ5}hmUU]R}yrZg"J8&F"51:0N{j k\0T6cש&[]hыz%d/_x`C$wA~*X6~ٓE1'AĒ.P: Y?oďcGߣk(e9 $4( |ֿJ`h^&fD5_.n=nJ' RuxaZvd`/UWj&U?/W]M-)9-3u$qFtեaNx ݃O3ѴNs^<$"S?BMvQ9X&rVs2xL tM5nkkU:A4AT$}3/i?9O#:tLQO1/7m+f/NwGq"QTYa䫾R?4hZOy?.&ӆBvѱd`Z4KI.Βjr/WP*1$+9"p[Rg8u9NkQ0SRD9BLFj_Pr2]Q5DZŕ]Z4=E0{F'. փAjD.*HuUFI9~Q~̋nIng6n·alSCp{|sX Ӛ+H` ջs,&D2 JG2 G7nri@wd)Yѥ(_t)F};i%l`Ԣ{Ĉɛ3)=etYpP`0S"Ww|K>O^V;8^i 8SK7{i}lt{hix\"WRUg|OT JY`sX&DG&P@ oqȳ)(rp>Enkcqq{.LK,I(BXi8wغ *9ϜNH֖9yPJVa(U/+&EmAprGP*DG_2"V[Zq3Y!_ԴG<נK^1i3,^{ mps֚Vi2А@}kŠ4-%DłzGODѷsxΰj1_ ~"B6eFU꼙8{;ܐc6I Lv_G(cO5J i,HuN(?-892{faC%&Tht_kj9tnkH7߫>>41&$Hc%BWN0]&(݁-&VyEʑA $2׼V'wo*b{[G$U戄ml3iF 'Pf|YߒbW։WcA2̒2 fLi>LZޔ(3Ƅ.ӸӘ ϵ*0./*AB.4I(iqYkn/f$BW^ G9 r& uE8Ͱ\F,N'Cs(Vb';ȵl7?q=;hiO#F;j6P niꀮCxeǂ\I&+GUCwDw{%-]sEf {[/-u%u^[<ƫ|/1$q}w\}#W?-͓<)z7s@YlF=ȓ׌5yF #n'z&R+9O){\"T?,s*atԝ̕2Ap53͐46YS`ۂ\ 4-dg5ܗdI%Gqw^SGT;FcsOBT ayIJЗTG{1o|%͚ ҂(;)<'lhXؼieztog0Xq,\ pV|WGn<48PEĻܙk'C2") @/u )s:e u\/>;б{go-XН_@~+A+ %4 Zx[YW?9*]K={Y9pLs VH'LrpXN #nϤݟUvϸ.51.NઅC`:l߀A9E`ৃկ>}Oy?bdRAD`//QDҩC?5bki6T ^Z)όgZcfI|lߔZTߖQ~Wݓ xOu{?߹U^C"F>]=>U׎<[$LZiyL<둛 3!Ryqr@<&,`*CߣXvrG{*>yd0tb~"+VfX8A0ͯ3Mqtkk]Fe#h23v# :HЗs7'<-*Q0ܜE$q8ұ¡ f98},*#\{ܪy ˪/65' X߼OG.C̣ LߣG':<N+I`t ׏_ 2$T. Vv?ne(}C>Y\O\y̛} QP6 9BSwsk [:VpMQN;۱E/ŷhp=ZIm9ecx3We"> ${CIK,`GQ:} pm:ݎO''V5YV\GV0u ]nvg7;/10K.V?x9E5*c:ftnyXZDEv4ax?ze-f/KZn\J(Hyp@$J)G}!2N |VZBC@:} %lغ Oq $*k2/ZEY:#ncWMl~QG=/FQEdVCZߝޚ Pu0Uf_`Mk&5%6YgNx1U pWt0z@֔Vsc1 KMF C5h&uܔ;*Rf0GA9-m$̬KfӞ9zI3)xZg{M 3/Qa#rHrʏ]ͨyuC2+ bD@ DZ;T{h y}𯱕z0$@~m׺nsq-1AA'Vyu(Ųn#85h"F»V "D ?2 k=T6o?ݷE_'HR4(K*=mJ:T7 ;ɀf+52.(o=0/"nՉ3b2otʲ6n *~xuM 2RUoڌFq03X5uTp:<Mxݥnb9"a{A~~ 1#zQiwܢO1%sIĊgj͔. QҶHGBjes2r1.Щ#.l<ӏzӚU3U ⹉=ϻp@f}W[:kUqP?f"ZE~^qA7Fi>O3#TpVcdjyt' HK\c^1xtF{trz4##'u3Yk|$la^}f |r7RG_\.愯tMA9J;DN d\PIݒ<htz~¨Wv^Nvɬ^?ʹ#TrX obov:xxgdgl45DH.@woq) 3]#Ip`IxP =#DȐmQ{bwbfsM?K}?K+(.wrq}c#†G>ffTb)"yU2v Kx%aDK{G!@W6HІ7I(FE}zzynj&J[s/Y q3,} ~  3͕,*ԝ\ܬq5i.8t:뎗#+.NUɸ : cyG.dʌr#"%QjH᳞ - v%ެ~+ݍcmXQ0 0 63f&Vƃ_9K:զ`@;_|C9~9κ@epβ-]Q2m]]=K:>2"Gq C#ǀv{ 3} NmoFەܹ~Xߤv#ݷ^@^l(ʑ K;AF9#][0 J 㹮*kW/U@z*Xi\-n}f=ODH;~ rVK~N?~sl_cCH{@0GysmYiG :U #M&MՀ;z#!F4[+ IĤU;tHl 'R:6P%w*Xn)gEh/ީ Y^ڣ!!+ŒmZ1GuS| b]`hʩ F!~E_ FjǧVpwEܐ(6QAqIwNlra\NDdB4G}fdsĻjpκ?:Vv/U}x?cCX,-ٯt~ۣHǩSlV3 b^ ;JN(1- a'83o3\jooh%o1߅Dg!һ-)&#ԑzZ]ql%yhl,2+7֫w[Vg]4ZAt;qb#bY192P|<؇j"&\Df]7cYwUGHw /lw$UI0]|@}tУX5cU/i??d) f5s\0.r` M y&\‚ALw)PA:v[YZx LRT#V#˜Ξi=Wu]Ou&1cHL֋M^ksQFPݰGZ 2)ХE0 n#!bMWki*R5S xJ]_,dQ'Yx@E5%rg#QՀ1~n\xPƦQghcjlD+`?,P+)ń,ꮌlXx~?;?QBlB\I=/ ,S <{eK#xgv?"M]cAg,pHtzp35hEQ 4~tfsa;/ϻVڍ^l摠{|5fENM)QEΖT4oF4;fAY狥٬(j8ΘEO8"qਞ&Lsq,X[2R@ :i乙Vᒱ6].|90*C e;P8F5 9 =u@iî?5'QEgZkD慄p >\t#ȢJB]$k0j,nщ)AD=ۅ",ܼʑ NAڋo&|JclJRrT4n :L<^x*02CR$ksQO]6͐7٢?zߡKtN`q(,rnNrYGlzZ8>~F>C AMv/#RE.4rł65c+Enˡ4,$Uo$CU/Yf8+JblB .V9b{#Sv[c7aγvHQOsQg뻈ĵRI+&0kf&Zt-;P5)z%?!A4rd);P @2$H!Sډ5!H"0^+h=^$dm(-!OR ʓu xQ*ȯMd`~YGd;pyݔ3gF2GmHgY,T0Aoř㚦8Ю?eE*i Yb_lªۧMVUseHusfP+ݠԡR-ęCq(ȓy4S(ӽmL`,9Thэ?nXj= bL$d$˱K&fuymP5a7mF25J2}keh2AպXW6Um[0(zz؈xQ$GRGi>ߪ&ٵ3 g%V.HGqu8bݨ?ًMG^ŀ'@p7]І bʲȥ޹8M,TZ!!wa#oXpxC &ƙLA~C1Z>+(ּSJKl'Yrib\M]X]~zƹ+bCYk2좺x9''snq []k E߿{z_|R[HмM%ᄩ ;SsrwLg@-|r 50(L#Lz89QE|^sLV($:vS(^u5kiwLm_OuA@њ+ >++@#ZőD'X dk)ގT(Cf?11_~FfkS9AN$Zƞ[L݁eͩELs4q~+Sy$mL(w[W J.5 skwy 26kOǪrYPw$s}c[ "stbcxaڒPB"mֈF&kµ> 5#O*S#,1m p N4q\vU^W܈!7˧ulnG1G( YMC/x*C8s $]hcyե1JG^ZFg H_J QOnS/_%{/hǹ ѵ}6%Fۉ?Nt<۵ U='•TOz~vFۺg@,7Eu0UPO'Xg}pY)A-1B/DcS nO+NIFTړ-O:# jy;V̓̑{+F׀N̔nXQ ӓi}@!i)Ʌ\YdIG E|9vh#/%x%û}un<(HG -q umza6؊U[ hPo2_tQrUx*U-x:je`b*̃etm ŀؑ-ە1z] ` ZpoM9)IAm?~U/%*%Oy;{ CO ;=-:tGqh)sWSi_)v:LORoSQZ2.wQwoYV}95D?KIO&u}냸K…#p |cJ1ϵҵ0N֝⩿&g瑥Zԛ $zNEb+#Y\YwX4tZb :J̊yj7L/ JmnDՙN 2$|g2RÍ"!PtCr(+}M1 ֝eQBխΪMؾ7oO[|>"%gHqL RYj䯙4ԜKۗel_1 g-OKuブl1DBTdFg UjJhz!n/"$Y^i~5%{قsᢗ> {lOC  B]s95]4U\δX1ᄔ%siNk _&4>ntG_1M"o C6/&[_yra$e~Bnb *92:IԪ_-)VqֽUGoќ~a)$m9z!1W‚KIDŽq.E 6ȢoE,- btJ#ʳٟ? 0V4#vpi& ][m,OZ1 V*["~ ֶl?i!@U16DS>xOfQ "&ӓ"A$}"rgٕ[KFtzeyJ x&Ѡb!;CzCGFeͼPT ή. orTG{Q+9ր>2}6Qn?977Q,}Lї#tC_kҧW]빱{ XsEEU: G_ju<3! 73lKhWNHarF8qMĦ"qivuIGba;1mC~!e^~ S %% xp>ZPVfM<+"E68+_R8kNW<=D.D7+xWtV @gFSPY)QȣPMoADpF{##iSGxÂކVp]娮.So:CV!OT>,(t:˳L; Nk|s# v Cd9A {r?βEU"DpRdJki,MYH=133EO3S%nӢ$Ԝi[O}մ$UP =VZWA5a$XFӶNp'h<08&=Z|VXgѼ/ #y ݷx H;(bkAd>SRKꏔpA-w`b׆?ܳ#̑N9m;:1d ZCrw4c+{~-ZATIfIؘ\=/nKۖ ]{LFa0'υr[Ğz% i&t w$DsNxIbr8.Ja{Y쾐 E"ˌY# 2kٯ92bA V\.SiZ"5znք5߲GR>0#_zߌ䖑7JREԒra%9FL ;#`% H( 1_нީ})- Tތg#J ZHut@_xO&;@pT43׈9T*Xm!ơm &)KǺ(ݳt!Q@&ՈXo'MNJx #d]`#g#"M3wMfAsIvA$ԻN܌6I0z,t%[A mDۙ6ZE DS߄W*[֣ޝtK\ˮI~8$J_Z_PTBJ( T Ub ƹ2ޠ0N~{Eݣ9Bޏo4ܟ_<001X*(_xe, Dj&(I]QLL;w(}Gz'Pp8\7V_R92Q;3YCf~r=Or⤘@Nti!5p~%ɡʞ'SM8 r7&Hڸ|שRT XPϪ{L8zQK[9ta}zZj(Cn[ڻұq$Ţ>צ1(*)(F tՙԃ`(P5I||/As7|BSJ=L"Bg{#[\Xii ,LO>Rjwk%;V]q `U6>1V0ow7^<I8Pڥq+ƵE?kH A J=>)QAY8aԋY[k[#`&2P>!.08~s"@;"J}fŁc4?`6 _G֛YILA i' !zk+CN*o7A/MDkϕ}OҒ#ŗv2˫2m\ 8m0׼-"8هgGu{^zo \N)0 qU;nSBHQFa,&Svv+H[b(y#M\3ԥGj*S#TP>Mcz ̃$aq)iMM^ iID@`;xZ2+jo0Ur HR:qN\WJ%]L<7\z/B 6 .*Vl$vӈJM^.7"/N:x3NaӒ/CE #ۆt֎KRJ`sզyO%fߘHͬV[m~@QlXURPől 0zu(lƁQ.ԉX D=ȸUF4IDSS[}}pUR$Uhݰ KAf\0=<Íizjɔ"_|7fm0'-0)^\OBx*/\'dթ^ 7< }ԸX)1Mɋ$KZkq5\7az6RxJGSϵ/mf!}p^iʶO5 VdýYx{!0NSŤU눮^MTjސYrx܇!ڛЉ,Fb֬hyV1' |^ܭ P vN}(:ԼP__-~H,PQ{ &,ԳNS=ۓ&UljVwNs{-WMzLor#MpmiЇOrSa/( g/{򲞀:HpsK@ /:wc[r 2M57]0hogyభWIĿZCAeF!ŢnFEZCoClc37FK7~t=x`m=d0yB4_HfjYʬgi_#}K<]%Ft0jH>QM"*M(x ǠX@V Wd ~>ݢ 'dHGG@z:p^x<}x&y_s({{܍ M~K)C~'OO 'p> >Gt;^L4'Ù=_inJP~?¢[~]MK5]3ظ=p]jhEhh6pطl΂tZZ#Iqـb27Z[zoo<nV i$Z}Fm!"澈/n_t#GL\?]?lJ+uS]#vޥo(dUâ5g 6&m1^I"T́W .#鰝ve6 v,-ru>A83 hW@-~Apinۿ\rqGD'X}Yۛp zI|:Jdk:ځACR6\}MZ Sj+[$LE#mzVv3x Ioϡ"ɊQ w:K#XQ]Q=8:)B/3fm->f3\8iOt>~ꭗ(4y:6xy<_xUVmxIvJp?4OG~VbYK&1"wf[P!Kd.;nJdn erDz%eH ADhBo3^qd"؜!cԝ &'?ΜB$FfP 0w%sխA@u'5UD]oɂNs~R>_&8 ` ރzeSyM(dz"J_I|rdJ-RPgf ]\*yDt؇t{v8gQrP\`I"%i fT*j~V5˱V̓ xg7ecLĉ4PcNělBoEHhaSsWG' kz/ژQaWɿ",_3QGiS,5G=Ab?/Wbpt~8U!p3ݜNQ.Vv Elj}pTrci'{v,F^.92&}|ɫVżT@D,=ƌ~}ix4c+W# DHOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markup7zXZִF! []:F.&kc*eF"]vjoe9qlk*c.T|ڈnJ~1W(NSQc,f,Ș0͑ zE?F~AUҀhDΉyXDsRwifRFW""Gu> Sxcr_SO:OV 5?_:KLFs:+T<'xcebJ.2I9JIJ{ feJuX5V5V qloD[}adU}bc$RIc9aVVF>Q qa=TAZAz*#p(vdm8 ݨ+D>5g8jq@c~N%YA8T!Iƿw;l2nbl%X½bgè7g-٭*[ xW$i]{2:Z{H&1k.k.hb4FM@Z1w-q]5yHB To;<;PXBO1 s^y.` l2}ēNrmڱώ7*ͫcVRSׅD(x#{q͏$wxO9zs*($!=i44x,%YROqBٙŻe R"/50Xup:XrN^F#t W`XX(&'{zty_tY9^g0%jD3OG0<0[]>8|e-^1[ͬ}\W^S~OЪChjw%A1]}(X$7QhIa jw fbL4=Óv@$nܭ-ŦH6nr\kxtBƢmշ { QUf9w)(Z!/YJb9=J O0H,ϤWB9ˢ0|-O@L&ˏܥsFE8Z ~WSV"h( ^OfDO褧ȨfnbϳԳ#ZJgYZ S@Sj+I' \HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages7zXZִF! g]·Iq n[:|&[z6b^;U gޘ?վBГ?r]B&ď 5t/L&1b*܊R]CCqgEXqƠ[O՘һD~\ ? CS(WI]-E["W뾼rnc .y|IΠ5 >x~"A٠zطwؕKHX~> TlXKw/qѶUo$}w=(CPӮدK.e-GBM/ 諆69ekEG%;^YܑS-NB)'/0 Rolm3ZӐs8IqN]Af>-Fʼne =8motͪao#*FP Uǿ6(m};7)bb&f(=UELܞP#y%[6'r<{ ^+Q&~;bZ1zrex"m{?~U'|.׎'Ê |0sa(knsbX'ȉx^fvgQv-4?0R5s'Sf5b tXxzpe$uoگ:+֊Pm|8#~sBUGG1!71mt걀e (`W]s>D Asޫ|& 6}9wo9pb;ͺaZ~߸ot8qJ%vCwb5#jjcr.DD:3^E)64Fp, <5#`ӥҝzQ$_u4>39gYZ1 +I# lHOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup7zXZִF! (-]9H}5@{;GFTcUfM忿!1Wz#n$ ·:n/Ƶ1);M4tiUt9 II6usEZyWcA(~FꒈTH=]е Ȥ0޷KF5 Xd@4~m&/F1&vKuR8xqgoޱfuҿ&;5hqWC *UFK7;\M )pSȫmiͬ&6Xv[CWϵDY!jlC-b*sQl[ۂeP<[;X֙~8KVeJ]T9@ i9͌ 7-J͆a"Be Ab9:K҃y;F# ^΀^<&Ҝ%w\x(Μ pZݟX%<1$Ҍ3SڿS/VgL0!|_/r2$Xiu5k:PtY^WK bo%q;6fR<$";k1V;: \ h IŘ:tkF??EqRH ީD1(BI):ʰɇXλ_5-HK"5!7d(^ֽh-B( PuIH- ۗ*PUw{7jڌRS&\;RZA3B+C 8yi*CXIcL.{,—*#KM %LQPbk^W\ыg$@SgZj0qFK`r #urë"c3_H"8Mߌd%݁+F-eڅH]l7TNJ'izndŦK n!,Izq?~x /`X®Yj5+Z"Y,V8R?Xy>pT2[SyixU:ap$j~/2GِmU2bת6(Ws 'c rlYAMh 'GvrbSXҴSO NMj 'rV>.S(sE~'D|u4Az/?.}~!-|:j&/!h(P%.9 S3Y5w^BD0qEg+ jT5,J S{`t_G8qJt@+1BO- :@YJi4i>,_n9*5QZfԟ":cgW">-a} ii/ O`blfvCeӆ?#&DnK"_Шy2? 62yqo#hRi`vDÒ7ٴEV^T]M#6\'%5$W;W y2[R(B- vL֋9iƨuc9+G>ywzb)B@dt~# CljuEVhC '|zƒi |Gu`hWw;u.,;G\M3_D԰s(b/?_@~fH#E=iU\AS>Uۏ;,Pw40tOi,