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 M+tt\ ] HOL-Analysis-ex:threads=4elapsed=25.582cpu=74.364gc=0.8487zXZִF! ]ŗXiɟH)0!h^ KmK0sn?t+vg6쇓r" L@2& =!_d򘧈ym5r"U0nNe6"Vqqͪ}8)0H<૲F⊹sc>/3)ISyCF:3@]nkr?=Hz5匞ޡ5h[z?2Aj̅-Hvi gw vZFF bE1+An:g4KtRU:WZZDPxU8cG'*O+^P!{)|cN A[~)* pq 'Y2.1`~C#8E9K$#&O{+xs|~Dc4 V `1H"S{lA>" fC~,p#9:.gYZ7zXZִF! s]ŗXiɟ1 xupU8QZs¸jw<|b"%4sҰ.c,숊$77ۣ5];bv୓-8{͓b:V3;R@~BEgYZ7zXZִF!  &]ŗXi%N bѴ\>!n9R\EɥxgBį ʺӳF$"+sTF.#Y$\6~nvws:!CRAD[7!-=7d~5 `r2l1 M]aTX`nxZ~W%^VrӶ\$hHĘD4WCgꮿْ<m*.a_j]MU_)!y>8sεHo[ʼnq˥J2Un~ OO(PyQ|IQphNd[ջ}xRUt#]fVAD4XOFR9~s h}  *x& Uʰ8ƇBur-Xp CWJ%) 鬙MBͣ\oBq@Q9QҰ+ 2o$N;J\h㑹>"9#ѹ'/me4z ⺢2水1!Nd/1z4#a4]"W @p=>Ӕ,lrM`dGU蕙ME5.1QArA9{#^HvdG~),ĕW)G4/p'^͟{~WtĒ4~Lc K$w lW֪]ŻSL99ς-58BCfY|u \bX'Hܺ f`x?N@.W?LmL&dR$4u C#^ eJXldb{`Deo<84vBkRF3mj3AΛ$q&i䰟.ypK)C!ȱ\pmv >Z.l'RIr @翣/1V? s J MMkO㤍$R K:HXizUE!؃C@?1/ao*|Ueu$; iuGu"5WpH%32\{MdY#KgÌKCB .D.G).jLߤ-OlJ4ZkFHvx@K)\ [a/B`T[M/9s6O?tZKdhW7J.km\SiK}#m*ny?Z{a cN(RG=BC1̍G&+XZ!h(:>LY71c'6X%Aĩ, ެx$SIuYu@+`@sA݁( ֌o{Ujc%S V;j-XI+LJ_M `Paa(X|Cִl,֕f6HM#bh}9h7#>-=-hpL)ݦc'7rC=Niż>R5+ X:_B+WHӑ'Xi4<%da @RڌGPC zDTوG<+KgYZ9ddff70e87955a8bbc34619134918a3667a8a66c4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 60a083209646399dc33e998f5b147c9049498a09 + HOL-Analysis-ex  +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 ^@+I'HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages>+I#HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markupN+ICHOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.texE+W#HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markup[+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?"Mz*̶[ÜeFT<% :jwRf5d_;.!<,&;͛ӠA)/ഌ yL2}=FtS.4WY!)Ku]ae顨:D/M'4NI/p7P\lXdjt!{ Go%ԃ)®XXGL `5}|2W 48fM`z^<%xq8<Z,+8+ka1Laˇ=;$81B ii-;),* :SQnz|M ;en~ȡc[{5U/,+\ U.~Z]km_R.h[e>Qv Nw >!hc"Q!T#'&sv^hTM|=W]蜗kV*\}_<&ON.͛gxtyR.bQ]Ki<ׁ2Lw`?YM_0J"a` w%t)n'+Q~տS'Rw ~Ἢ4Ni0(UӞRc%_hDbIܰ`MXW :_5Wz.LǰlVtDt*uƻɞA«걜ZEʯV=xLm0pb:'t4D`0h!L-&g%O=)*oY}p#Y__ْ~ yA޷.9X)=Ai%]>~|Rg$.E#E}+sQ' `PPUX*83X~>U7u%~66)dOQI:#>i28/)]?X'"'J|C{˚Dļ1i3Z1-KB<@)$^uBS^iNK]lLB|dsR$Z|ˤ%1cvoid;#\YVq]!Dņr^Fd4N n5~&ƽMc=KOl,ss27f՜QYWI9iG5,Xahe7,Q,΋-Ux¯hP6%~!zLQ:ivWRpn@qG ES: 3HJU[dJgVV1JJwq041Qp~,:E";=UIwE$eztcZ.nҸZs~yTKfIwM[(,յ u:'x܃┨/w@yGxYd𯿱& uHk SCd3`J]c n<ĎѵAtWc0޿lzOqhRvG@w7!':-[X!bچ qd$L7~$&$e)TrN8#Bܑq3r1*yzPlfH6hR N|ga̦Y)7ކT*kWS4´\VYe!%%e@>a#d*oUuD෡N>r{=B=R-m_M툓J1sdl?1dnY[EcTcrqrOmX귟6β'EU/er>+9; 㘚b$s;;uz"9wm0.д_#~i#G*]k>z/YaWTNYW6v6Mť X_1(0 7˼MC/}" +:ݦ`X`(#:f9pG= 7 kFoظZ48Ccf(idɓ{kᾂlRщCn_GюfWUeI K*r{ǫLNtЙoV b$O+,aEU\hy!p/BǨYN(tm_=81͌] ypr]ɖp%jdڰ3 K7y]N)>YabF 9hǍQY_&-;,|yJ\>eXqwJZܰaGwfpգI.}1teuM +lq\2OL% S{}~1x Za#fc$ӶL&Dbxq1L`[8:zzr"m4s ";yLX CG Xxh?AEcc lb*ա8= U.UVCq@+6]] [tD/F5OtƖ u^-7G$t¥顃OߩqE iDLƲ0*xЉ{M6H^v xМ@S^rw̴24x#|&XBGx/w5 >a$ quǺtU#omu=䈫{JhQ&!n-a;d~p A5Hv |ຟ ߵQYkl SOQ+V/0'<Iio*NFUMMs[J?.Kr+ Zl{<+Qku94}NܙڂKuT閐m`m_BɅ+T*xJ<![W{8 +eq$ L5NwODx1LC<ޘf#%V.r-dޥ o׸`vM1zc ˢӏ.E0A Z quMOZ ֣E`(`HZt{v'm(JzuRěejQdrG@Z٪YԿс*p-WhBlM@ rbIױtL}hW%I?)ҶwE?[m]+ cuV\S,OŀߵsP)C02Bfl`_aTz!&3ͯ?f#aNYyv}|bpTgF OJrPk6Lj&$ VCF.@VU#נߙ\M ߗO-Tay[՛+aLa15eN\V[Q SVLӖ 5*~I s'6>騡9G@.dC|JC֩!o-È^qi NnQ3/gqW(y pRSk{5#9tozۼ>=fr%d&r$h/әѱ^fd:4D$ħGRݳXg'ME{p{V_ p64K0!9o3s-. "M4,9Z93\kQd78%l۷p`Gf_=.|W]AxլT|+)H ^!y^/;[%+&G}J=9R`XpaPT`4!͊m]2brd1z%UeM# nJxn9H*Y|Dx;X>lPT+=vZ8JS=e+j74}/(I&֣ ρ/@ ϲImfTA3][yn^ܨO$X`ђMWM^GYpabhW@`)';;6 ~daށtvX /34MhglvA+6n&W#ʰ5Lke'軭dݼZg!o`kw8Dh_!bskjDӉ}Q =.$F22c)2wHdRӉvUJ:&-md31MNb̟2OcEg7CLﵩҒl̠$#:Y,G(2e϶/ E:/#h.ӂx}BD* DQyru&?v[ û~Wf]mPS$޺x N^ }8]4e;.p Z'u4EM;+ŤoE_۱~"{6=d"fUE$YegIz:Qc'P6Pf8n4 gZșsY˯8#C6tX]Mfur>ry6/s"4=` Lc I |'IkՄx78(69L8Qǫfl]3C 4n֜L*Q 36$Xa>7lB{ywӁx {%DK"S14 ,6n1{ax:EDYe81*:^=g(M*'xe4} !K?|8 L{%'B0*"yϿ4 KR WL:@a;$%'ʭ)^26ZMT0u+i$Q^ r~;a=ó7HGܲi>F4obUՠo h4.Wl#&Y}YhA-ۗmw3'%Z?T)ojҡeD1VxЉAMӴǑ{[d AehtW-)e"H.LɠQ|#PEw</Ejԫ~H> <)ۋ>HɅBu|_ArL;փ5:*} u{#@ 0/>s꩛DK>ԙ' :.#>ynApb#Ռ՜hVb ЊZVc nmI9>:q$~kGތ7ȭ mn`x3&e (ɜEg.T7 wF_[4ޘIkrv f?$oFXK!,?3"C$|N={0N C<%P8/:_O#JqmM:u!3g^g FYB=zVFi 4ү:ifvPVgYZ 8)8  +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ϳԳ#ZJgYZ G@Gv+I' tHOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages7zXZִF! q]~ hk.<VAHgM@*$bU1G潻ŖN&Fɦ邟q+:/*h,qѮόs$Px&S8+sKM;l&2/_Y^JQd?t߄~jKt)1hG]| Kd}]# LV< uG}*h,1GYV(.'5B&c=ap A7qϜj#  b`{Q,+C*&6@e̫ ڒvNG#qF/sek_̝䫛+1(߁nW_һUfHLaەT^K.)FNu(zCnv8^îQ>!9b|ɓ3-X݆AI3 j"Hh ڀx2YKar -ly܄M"|L2|[΀$]4 hAr½g"0u͇!qXǍV s~U0:todC=a_੣((dT!*?}`פ>"+ ]C@QgLp3S[O $t^  I:55P1kGFڱ-gw&7r;y-CV|@R3JֱHN7}]5 *xtK>m*b˨HiF~\F^[{]% &-H=y @4k^pqaTng+u]@b:X-ᏫT!XOk)%Rzt 77zu\jA^qι֍&ZyDS(!32g+*9*! %ߣtdL!Aε!Sqfg>`)[^u0SsZRN>:'jH!~~' iB RK\NUa~ 5 ;5!-LM]h^th *Yt73 @h: T8Dȶ6ɦy^VuE9U/&I߶{6[;R JT:ijMKh6vS3;8RѓKɜCm@5aZ:;yp9EѥQq5,cwz7Kr Y`_1hlNN1E],j=e5s% Դ˴,uyɲ\$_ r!;* Vu` eZ.Pm_Lϩ<7 2=c\5Pxp7uqpa9hΘv^Oo lEO\MRo`L*Yj!0T$_\rPe읐 O `IτUtۧZ"y}!-K'QrA(ܓ̡ aR 2 B8s79-U]#})I0j32ĀŬ<kF6w G_77ũ;u=M17YZ& }&u B@7PܽD R)X,e5⸚؎7uTH0H?)r7iʣ%-wpfd>챢> \^POI3#PZ,Y\)(I([2,UAڳ-2BW!WފŃsW,eܘPo`#;(EӔ}.}FÍ\◌ȉ Wc!/-=y$n6܉Qd/e{nWf8^]x]Ctw_Y vŶW85kͬuv2{<Y.8iN,؟f `*a;|6iYZa]*h!mƟs{'dnj C/0Q%xw