SQLite format 3@  .K  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 +t,tT ] HOL-Analysis-ex:threads=4elapsed=18.569cpu=55.584gc=0.7287zXZִF! ]ŗXiɟ  Qe E=h @0&){FPSdge?p4 ɀ# jps 8J^Hjq?[d07:z,˗W/Gp1•{ am|d3ÓMwM9wa.,g i{~-mxL`z|"wH&yh:V +Fn8N4 ZF-(2%rԓ >8UEq_^[9`)HiKSQIrT%]3"$S3ooMWI#5>) :?j0X<]Pe=ɝo 6#=anW|2Q3ͅSNR u[@"l`XͱgYZ7zXZִF! r]ŗXiɟ1 xupU8QZs¸jw<|b"%4soThpbYLuuA ,G]FYTW,%-u,E'u;]+C*#LdgYZ7zXZִF! j$]ŗXi%TW =&@/L*/y+Ɖ5. ?֟L+Id D*;'S.FdiТ$!ZZC*\YF${ou~AȠxl%Ufnu s_1S xAp_j?/(DqQߐK*:Ӽ/sf |8+|[MaӁ;cqOhF]ihYOS8h١OF^:dffLC!Ǖ}vWP|La1W(HA#Q**1z17pP*侤CfjZfu}6zٲ99-W-*{Cy]ZDO+7T ;7xWi |y^ݾdE#Y{m8ԏj %܄<]/Ju 0%,-ZGͮ`4XXiF89;8go]NVO4pUgˆC0&0>IK60 8`'0?9Ew:#0` c7ZVq5p?z.ZsH ACv'OPڭ122NDAN;<9SՈٹAm'7ޮzގH= @)57w4^C`\wB-T6$119OY6v#,zn3h\gtڅ/"V=isf2.w&` JpMEJυ7bv/fEB:Ĝ5^LnY(DFWYsYU1eI¼)&A*(ƭ;R"kQU k|<<*J"ޘU$o<+R~is??:b/ 4r /3̩x&v35eX,UV>ozS['dl -G74 q7s,cԅ:|? 1dDe\H@9ǥg;|H&hgtm iGE5y>zЭmЏruq)J o*za\w09 U,ZO?!NG9v'߁>^ʣ M#(z!Xb C (R\DKvJ gnyΟZXM3 Y,㸌DP0=<ÕEкΚ5.+{TDlݟ q<i&^&nrE gsz`QO[i=U]-:]v>ErƧ"o% v½-<qkCF a,w=#w U-̬pW (-4EQDs-ؙ.ւQւ*/"M1>u3Cgc:37.~ "M˱gYZ9cac311793ce3c03dc41c86772a59c4c8936409e3cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 8ae7d4e6e2e779fb95ac84c17094ba06785f0b0e + HOL-Analysis-exu+W!lHOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/files~~/src/HOL/Analysis/ex/Metric_Arith_Examples.thyN+W-HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/document_id480  +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,=ƌ~}ix4n+WQ ,HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex7zXZִF! DN]A-MՋhvG"uIBm5gN"(|ʨG{{D@ЃE.zүgoOJb~l *˳(}΄ F78`wy#_E QMwAJfSuuo):D}}( @qf|pW~coƾ@iھFͼrrj_ _i9hE?+G&?=5v+y էjhzyNҐLWH쉎aYreh@i7-sDw{_i6+((%"F~-L%ة:tzt`#$v4`'gJn6,(ʽWSb\g`ǡ=Qܦ3h#Am>Ż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ϳԳ#Z   }; }U @+I'HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages >+I#HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup=+I!HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/filesC+I-HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/document_idE+W#HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markupD+W!HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/filesJ+W-HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/document_idN+ICHOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.tex[+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?"Mt{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,=ƌ~}ix4n+WQ ,HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex7zXZִF! DN]A-MՋhvG"uIBm5gN"(|ʨG{{D@ЃE.zүgoOJb~l *˳(}΄ F78`wy#_E QMwAJfSuuo):D}}( @qf|pW~coƾ@iھFͼrrj_ _i9hE?+G&?=5v+y էjhzyNҐLWH쉎aYreh@i7-sDw{_i6+((%"F~-L%ة:tzt`#$v4`'gJn6,(ʽWSb\g`ǡ=Qܦ3h#Am>Ż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 00g+I!^HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/files~~/src/HOL/Analysis/ex/Approximations.thyG+I-HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/document_id482+W# 4HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markup7zXZִF! a ]:F.&kc*eF"]vjoe9qlk*c.T|ڈnJ~1W(NSQc,f,Ș0͑ zW6|rj`7@J̞=`Rp SNff.!A:R|$dYOiz񺷈KdS]^ciU-1T8ԣQ(rO `ښ%I 7Ǹ yl̀DYJEmP *;V:MTL(mBzMԵjks51yO{N hMaaQw+U[j'(| Lb|;]- '^嗜<J\3ۋGG&~&hE9Ѳoe ٦x!aA%HiʟF42J=AEhŽlƹv!ewrb+qe}NII60j|uX#1$5 jSI_6͒>{"ht볦i崎n$ fgy < @Gzy?߼|Qy UrxYȧ}mt\uMؠEQ#s-)TNjU *&fY_#MPSE! aV,_6&Dd+%Qad&18 6}WlEaȩN/u{i,K)wibƠB Q04"ج3f^}o!Vڦ6 !A4~n#Xf"ݏ;NMIaq_pRܖ~L7g\ɞRLc,PMr -&"Yi1ՆOMv9^zُ̒DɅ51`aCp-Ipdu[_ OJ4Ղ;窙NQR⫕@<`d)L*Yg ߯XG1-~)yĊe.T *(62zyB8)^2fq?1nn5+DmZ$%<ߙ0jf&S-+nuyJ/Xg׿!LtZJ޺* m!g%w/HX|H.Zh7_ŮAmPgx){'ɣ炯4fh YsIf~^"pD5@NuK3 A!''4PZShE~:gBFijv1 7ZZk vpUhv5 %$xpvY4]?6 1~Z^΁5Ed! ו1l2 Y (O~SpV kLtKf9B=۵Hr)[g4%XO6|nMp =>ř,>Ή~e!Zz*}SԊ;:* Q*Zq|#+J #\xۢ/Ռ$ t J[n<3RX7y%[t\?ǟK?t-CׯCŠQ}'j 4S9SSeNnCZJB FlE_ρj\7*NGy<]ߎ1saS iPGᮙ{8ea¨▋uOD7~z1J47׽;tb KȻP}5n> ge!d4 Gj lOӷc,~za*$\ʃQouw*k/_ >lpqx$9'~,F Eex/ Wpy)>|ZVQe%bdSSxfJ_/^Age6 0 t"5 K`(3W~ ;GF#; dM 6#7Tm;6*js 9S<1y.lH%hö#[ FdI4tF)QBMo?u7^Inw_oz @-jJ|I?rnK7Ze%AInLf+G.GdIkHO׏@Ƴ͐W mK+ %%|<ԡ?. f,7(k$iV\=Ы,*BnjЀIQ`\莒깒;|NIFeдop@ ̆Sa!UG-޲C郛ʋg% \JqYПê8IR]I'J}&+f/ :T6FD5ayA;O%#v2Q :ϓ2%Dx \ 24 f+;=7_H'c]ny5孎]6ǧo[.}.Ղhf"'maH˼ڴ\g3ꈲ-9i UGQ|ntN;] 0 IJ2YhPY} @0 كKצΗ'b5u#%t_Be`˾ o@6fPO*r{˼2X-ʴG ӆ$ !5 sE"L")ڙ&$=ɦ8`։лg4.Yu o_x>}&rΔ_=L{p8JzQ4=]r=$G K3Vw2EyBuI-uzP`񣻍!&hLFÞlݩDY_k۲Bdʯg^*AlkX P8Crb'm$c'DpmC]^ީ_(2@1:Z/p.1b|:Ռ< A-LːַɞUI<43 !gAwP|3؎ qmڹ 5n[ju%X|MJ-횣QZW'9C]) 50sEad@S.~d"V#Dj(?8.< V}R@^>aw4ѫb3eӤi[~Cùt岻3~"tH-05_w_Z8&iҮ{_WdWxǒpW_+mGS*Z gךzHv<9 KFі яK$mthTo.߄%B͎BXiuLuk,5]6"P S)׺Z(kQa7?w|e~:Uc|+&Vng@3J,zA7HՊg ^'`~VơG;g /w1D.{9ZْILQ+${\ IMAv:,^]5qhy[[A+Ls]XzhG .n(|9eIWfE۩\f|_T#lӝYM@qJ8y"a;?4-?]f Xӹ5 ؎`T C&(_^tknZb.o$D r=Ai`ӱ'Y쿔ȲzH`LFBQ%GLZu:vR3MKŵǗ _y0>wOC6~\޿fYr(MF%}A7ϕ>zFu7u %*C#E72 mԮsI!Vym[;>H,讌Cƣ/Hdݲs&(%~v*v:a4I2 A]ìpC:jv^n g3:-= +$T4b8[GM|p{goU7`c=wtH1=cTuZ}Mܵ%LjD <v+ξ6G?\$XN zر]kc,Ry@")jJ{`.}={B>X 6s!K-(g+ Vjt[0qtGQCEā^Iդ,Wh"chITxKiyY(+tr}1I"ϔhdDܤ$Ȣ@|.@0<JTi$8LG`Mh_Wn0HII8:PłnqH+H{Syo &?*_P(+vSԌ͵fx2"ω'CGA.p ဌ2-X%0NU݄vE3@.G!>-\ivOG/#Б%I.&i=cSYzEs" y8G>0wyrawO}Li\T%{]t46d;^lϝ‚Op / A-_P1v6\ v-b*w\1ջ6I 8DV<)ʏD_n\ojݛѵM2 o cq~C&s#UU2|)Ƕ,$ < s0wkFrU9V֫w`JL@{莌ձ͂R<˳V\:bNf$_/v#`yG (ڒQ0(`v碭؜=Š) 0 Q, @wfd@>3cp$0w8ΔyU~9bftH{ N򚁟 IQ|Ӑw&^%]Մ\؃AYɎ۸0ic4QYW\Śjߵ0R^_kǬTz'ˉ3RJ\Oibx >0.;FtLφɧm%"Ad2בoԯ8ù5`YV)$ϒUŢn(]o dG( l{5McU~8H1h,}dh^2‡!H0ɽx`VO&xP ?@Kty:]4 [bF(jm;)y6P'me^U? `kNi3j١{+慆=c'|:iX6o@xjQ|]?vv)-8h" ̆qs?tU%/(Lձ0NAsjgb^"}<4tPF>5I?Zc$~;? ]U@ķC7ZH흴S$ "yZ!;=9AYzZ{ʅ@4V$DI@)Rqfi*bmԦ [-b~/)%`ÞTUSs2@-Ǵ$aCeD3ҨfoR]"hT4j{*51C2omPģ; [_)ly.~H+[i#!ȆooC{k>au0=K4>FX}}u6G L$ad-ZbmΈ pUv1 M#,ΐ'e~eSNik?$^.u'_M{VxL[K=SŽ.fV}=6{BjTWi|^Iw!P号aISEavz´I t9ٝ,蘀Y3婶dAfi3+vM}-E|l4=Io!_q_׀13B}ldudM#'E,ԅ1qݰO B󲻏$!1Z &ߢ"?s:f;u۴R9z`D1/5Y5enzce vuo^N:ƨyF@Hx2/XnzƠkb528 ftk@=kfh_5B=41R_ 0L0yZGQZN\s/f@GTt@6qڦMͪc:e}z+A- PJשH+;qQewj3'-6=đq/b;3ʃm>Dvg\:o-4/NicY?gi&%dK/ƓLn5|P>ZHEu]JEiGx/c~;~@~k47*FBw1D#|go$gV[p$:yWKcxW- k$E$?Ul2p4' -.mQܣhKb?sr[*!%zmkWLwr{쀾^1C InHz *%U'ՉgN5~@WyxYk dJTUF4k8;c B"TXՠd[F44LYb7NXI5Tn#ÿm ]hc*7ԃ2h=MazRbpȁ5i!j%~^};wh;Ǟ8>-$XjfaO(0l1=#V m/ڎm^PL>306C{w`Ax 8 vu-@!t$cx8 GfFR< u*-S< ry#qXks! 2fی6r_8N|t4ڭåjZc'I6P?/ύXS8a{yJ;HgșE Kud4㑖uZ10ZU8LhKBfbr'"@箱QK_Pvyi#)rޛ2Q_YVCi?}H먕T >JpAo|u\(b/rx5CnwQ;f.2BA؇:W,(DqZAfoCnFN*Wl{֨66|j{ʆGExǺU&0fOSf7=V)KU`S e]jοmK'Y.SyUL.-@ro=X㨬Ma>(0? 4 ݎ"?i~1aŷ42x[52C'鐁* 恁c S}(o_ϙLUT M쓥 =+evd6q}! s`dsPM\01KD>N)b},]"hΣ|Llxdj)ޅ`SH'z^ vW8]h&̆/ 8O9X1W? 7[zlT1vUg,T>XV_JoymH] -r?ԶI.syY,B%F:UA"(P߱Դ Ž!'ɮ7b(\MMAh" 9*b?$*N[*Lj]C~|sk&_`-cZ [FOY*\AF ~ mU "7Ljhg܁ Ocm8m:ׄVK@%ĄWyi4NuS\"J2jcG˼:94`6UUx$'y /0 7m6(пl r8HkGM諺*eYͩEb;o5 .PZ|t< +(|?wߤKTtU)~IiY x*%-UAI.Yn]87Iet2g}G }cWb+޷`ˇb]d+&%Had4hg$y#rQ;n;WZ<>c̈3$0$j(Y]t%ܔ|Pб3 2bq8JVrID }վaIڨg?v Q>:u/s%X|RBKJ¥(Hw]5oHNʥ!NB-i?#Ihr )o9PX>c; ,E%\=HY|!9ȱ`if+[MQI5oC$|Uφ=2цbn巊ڼI&"s;$޹g13znO0C pb\=LnVeTsY@±! A6ˎdlXɉsl-ƳOntd $FU2L$p0k TogUKد\fCLSG,ę r0;19`R,%B0s#o꧎|j%QTJSFO^Mzq\]Kjqn0c}?BZ#z͍ o7YtN2&h~8 i{Bd/KJ,Pԙٞu٭~sEh~sc+/ EnnAP! ,Rd6K^)3^Oy<TwQ|r.C+pO1?˾,wR㠡87N鞜b0]w0MD;MCm $VBN|'5[3TA{U54 ׽Cv0u6 szQFd8YA@f11|yY)9PG#4'Kd&=qv^7Dj]G-~Y)MM03x[!W,*GT0 ۳ԟDp~3Ԟe!z瀛M各)DPm)s7?JfO3`&w,ty[5Ӟ0ўHRI2VˈC@T&:԰yBj(: nFaE7l$͌vkY0X%4eh 飼nBI<|`P wߠ(~| nf؉-.T<]fc1bXG}saEm?ξD^TT>ةV 1QFrz<ɸJmG ~}&t,ҢxSuJL7}SD> Sth!m+OxmY֐oI}ئG$}M(]|"0c)yJ~b?1ƀBhj%Rsv@|ݞnkj(ޚkIT9}L708'F{ 8v.NgMu*} g.&wIH5s\2aO❥Re{_G+@  _`+s5vZX[i kEG#4iɩ&h߱6z&doģ1Wz5& ?na15<61gxX =I%p˄ZWt ש^Y^mUh- eHnj/^>'/EǾ`^uwVc TZr:*OkBQtu:k 4[Ƅ*vz-0rRGhϡـ^ˉ"2}1d\>lْ iG@K6Tŷg<JWjNۭlְ2X(]fL"Dt`_g_0<(>.=mޠ*W§m;O7*(󩆃@ݐ"Kڣ}( a< P'Td* Vrhs1?рMzxdI]x"#1BzgqsxW3` |.AuI~d̼#K;Y?WVhLz}*i<-XJ$6v h,b]U9rr>&E8"|ؗmqrm w_$&*j#O?Pu*}@lݷ4>>)myh7F錏}9&y#=2P1 cAsRQ|Ajyn2y۞ GR!-Ҷޗ\q++B8-m¡PYiS  ?Dߏ=p36Ө?8n5xg1oJ>U@ީ!/fv18*ZZ <tCFNh9# <MJ~?Hr~.&u2$o Q ׁm=s{es`ʜذp0iIZh~Fvj%DkWz˄Wp9#6>qSB}5f41ycq%>(z[h޶2BƩ0 eZna,M #hnI5ޏ.o,Gt. ^RgӴ686}|T7Vk vLR?MprR$\M|r<'hkgSM.,wc9rgsA!5}7jd2BeLg,OςLLKQ#kfbc\l.\;Ep* [r\!oWm;G}da:\ v^5-44005UVm0r&>#J0!w|[" }0U[F|^־8r}?:̸ԃG6[Z=#s11*dlNKȍkyYӅ`n9a:穊鑥1@t >33* ŝ%,o¾+)H$^/ˉh^rW9قj۝HEAۥY*a96{}ut~[;R}.e{LxL-b(s5!BNol,d} 6Qo6ȔA.2DED6#XE]?w sw%wFpJ` M;r^hC]j HsZAWn#<~s@,U||5p-ra!ˇgjȗ,ɦ aA8G7,>`Xeω08P}_+ܡ2&M׃d 뾇4 $ D댁VBYm \.Y<^⳱uXp%w>Ҕ+ʶ}p&]ԋoݿR=t?jz")^^sw|Bm'd:Wpe}veX-:t'C\E%c/u}wrp6.Ut=ɨx牬GZqDT$ސHkF ~-L6Eo焣rs–dNBtB\|J⽔r/&K)0^QaH!^`EGfMg=n =ٹ8n'S Ug9}zLKVS5Тuҡ-;IX;9lIY6 3EJ]14ēWAɆ2L;^̣[s88;K(7Sh&ͦZ>be$%Z]9,>D/^ǭ՛Mc?\[6Wmx>ADЪ(w2W?I}[oN^ҮgcamT!',`y 7ЛQ=4nɥ:]RDJ­gh!HR7;*ϒj=VರxLXZ<-:d\ 2fu#K3{GAsF1JRA!W4H0LC9O3cR; ޾'TDS]CW3?P_ɕ" Ic]x `dgR#5$`laO#QFl+yP&Ed6K^)w_wѠT19?P3t<+dU[& p>ɬJ|5/WuR iOd+}\9M(iqD <{g=T(Q'E3|ۇ=fDHlj1mKμat)ЅjE~I)_댒>Xo4v6]}hYnȱY\quMbW_2Ac~>YgAQ`<2MI|m ҟtO6D0d+rJ\adx öy&(@ !CE^Iexi5׭`tM w@KMU38"tD$ۢZP3}Vp _yUbu2֙J{"{Pm6?hzG˪XZnixH)7<ʆT.YJ嚵&eӣT_7[QW} CicCHĐ]XjeDM ^WA *s0_/h-F3tqW!h?/D] a3厣I&zƕm@WbD|A{[ւ6.ȾoLHEsjVS>dqGDSŔD`TP =na|_1MoJ(D0UO&4V zrŔ`FyMQi/dU62!7 vZSpoi㴑h9PaGkm1ɳ|NA;h`2+9ևlzO) ; e2K5| K?(ms % Up}auě) =H2B!b =0Z +@@X#,(yjNу@-pqϘr ܇XAD}cAm% _ d[|nݷ}kaDðX一{D9R[2_^ .E0vy//$;® Irw?\ 뭦 (klv `e~^')l&.kf'\(2).=rJ5ϠSNWe/_.{vS=>O(lQ9ykO90Q >V0 Ng7R rw4ژ-&erP$ðUWirhCw(z` aFcWw M%O]<KD#ljms.7"UM:-֏"MjoAo) *\Éo'B[&;7)nvA *}u7QR_z0V(&Zޯj["cJdU?Lf3jjQTesi6V>HR*@ܾb "=s&i*NM;`۲ +",Ǘ(#BpS}GiZp;!I| >\'&Ss8Bhg:ՊܚkUB"|&G*MVq5`הcΆFj{MiX& o!峸8ߢҼ0ˑ ӬƬS};I%WvOyA0f $Yw=a5HjVZ)KX ŠTAI-)A@m}U< 6qGR} )%8%Pt d2/"fPW׉hnl\T}G`q!V$©.d z+=y]?qILE,Gn]|SŘ2eԂؑ[MSܙS+cHܚKxr-Cgk-=lV&?^3⇁E$Ģ뗅]7ݒ̇8-)WN%f0nDb`G__i&\#/= .f<'_Vtr(ZEc? hTkaF4 DicM`~}$GFб)a$܃sO碼X*93bQvywցHH)]>r$>.6׀ВRPv0wo f.0Sx܅˘5Zb.1/3VvDI^S.B!Sk?89x2 {W*h΅=rCB3dj|zEͷ EaF3# r:.m gQ9-?:@wWTL{t%$/t%q̖ XL&U|2]YZ- ,eh~˂ pBLkk{gj*rntDRty0OP@@yeE 3-IlUO}#ͪH^Ěx1o9OmMBdH/1/}eJR][0/0ޭc+/H=}1cνZ M9/}\WL=~U],eٱ9{`ZbbxܕOG5J] YJCnY#ZyHp{9EH&f?[u'm%L35:F8q5h9CB2e)~ B4_L3:7o4nfSz`B/m,3p؋/r)a(_4U:muco>~hb/:c+U]峘fT)րFIvikZc3gj5 @14Y  f\BȰ i #иL`3<؟ިbyrۏ=P)3}sow 8m>XwP.V)=f\H./^5Hu^weG>[7$H`^;$ l[?jkJ+VrYՄjAW"Ќ|Ce{. A%m.3!gI}IVS&SDGYwZ~ywKX !Bd C^^e11)jsgb:W]]𘛒)4)/7tmyav[*G(t5D'67g 6-盤$*h6~YCu+r\՘ATVvt+f U>cyMu2So'ԖqG%/P^XJz` V6Y@:Opըm$6{*v$Xblx1'RJ|+ Ai,XlKav.;t+R`8 (P#zTGj6_CV),W. ڠPn+EWMkdeud.Q ]ZКmk`MUS|[[9rO;xt#F\ob;,4\m%vf1!ZQ4$2 B#2>BF_UAݐ#7=<&qi&mH}/Y#MlJG.ق q06 `p>&}`m,`-bb0ΐ-cb{VUN !,̶U&QwL2Um?u?YS4Yob )+*b>ofQ(d Gqn#$lJ`ľȈ:(͸Fp l/^1yp|Ev0-NRt}cmnH`xނe H3mиQ4ƮJv2&df]ǥ0~[g%ԴO'Zab0{&@f~)GW)azk,q;߱\z(uD3]ZwP ks >3wuF fk J'4*"g?7)TFx4L> Wcˁ5靎Y2u(M_ {'`]6:*=·H,se7&]h\|-'AR~f -K+pK w=KP>JL]uvfv)g a>ѩj}Q;ͥ")ъ/Y1'yM`!9+FMm@c'!st:$xn dE|Aw\l{wNE1U4]úL9 !ĨW.ś䌾5#zᑢ><㗋#C6n\%CǻiUqm .|#cf2V'P/k2DD{A6(vmNVдKh"_.F\x>m^^XPݣz:tc XJZ00 8,H SlWѰ8~QTpk brJ'$iM( ]F!Zc//;T5}#+jGTns]|]ֺpL2֋G=ajAλ9|D9WS*p&&uZRu%,TYJ;&bl+kV)P}˰uH( EqsRN-D>$ea]RLMmdE6y|nX&.e z.i^_zFa΃+ր\Gn5QG& r\@0>*[A!#X[kK+kN۶8d< uhrRf4 >[jK3Sk3vu)Fb[ 5jDRceܡB^`m.18᣺>c+O G]geO3XDs* %l}L9B;l.}sHa(9'R0:HL]݈#oi^Vd8@O&)iBUT2ƢsoяKY}+?t W1E͠io(ř2_ɜ66b? [Ư-a5~jYak82q_8Hs{emt1Dp۾gh׏UqBک53$>|25Ɍ%e #?fmN 舿l;t=5+(vD9xdh:[Vdг RN';74-g'e6H߰$O{vM}y݆l*s"Taӿ婾I d"HhEK 9o -+o; vkJe@ƜV只?+qƷ*b7_5u{HE}ohv?\8_NvU)$kG=wv˪Yӄl!5h vszx=2cY"+P#b:|."\0)r.>тU:ȵHE^U Q WAG^/4fj h$F =\8 sϤ2码.qG'WVTydq\\ߝes+}MFL]0FPbj,Ez#X.2I!R01/c"KaXq)+~tuD+yDUP$5ČA0QD0nV5Wm=zpp~OF7\gxgQ._ 4ױnV=7}./^܀7]Dxlo䏖 PfoCYхŅLC$jgm9b*m81М\LHH20^{h({hcm95Pz}}lG*d{DL&Og6VW2i[m\_ +Pȵf1#&k3bqgX\w2'FmXycY=$DW9y[hAκd@:jo]G"%Bȏ22t[gDJ",Aӊuڵ犍󛢨afG <>m37so &gF\ 6> t *vߪtnNt?^$wtp^58hؓ`]Pd5j+P-0A9FŖxd XC/6{E߯#tG`gUxi|(rU^PP=3[!b1a2po դDZ\XA$S, mץK\ $pGqQ6Enl ꮋINGoD TnX󤶮5%DP!T\Kxv01ጽ1,_ӓ/hINoHbfd;\$ ijiI.P_WHC˯@~:?UbÈ%FǐL6׹Dyީ1I|0ݯtğx znUbӊ}~sF3k=┼ g9!wo)YLf&۵mAzAُX?ߧ_#Yštn@T8JuCH6$ZkWL\u y.eؖ%@THbzr0Ί'Uau"ΛN|ib͑!Nֳr"!BkR'Bb}ͭ3 @н睷}άkW$:Z`4$v攓FDUc8=iZ)=G(͹GSv3Nfw(D?U^u klǓ#GQS9-RduA0*I1x+8o HyN]۸LFk10fQ,Tӥ4CVBVBl:} {u28*Br)W@ ʎ+746c#>"WuL6uaDFp8)@S6FƝ/(ǂ_ƆjSGLq[A%[/֍,eP8v)v̜z^fY5Q96jhcK?v)lc //q!+lS5߬"jކ4~X{: ">}:xGY=`]W.ϦST$bI`FcCd@b%ON2|t$CI%@ jY;SW^48CD{Q Bs hݪ?d+@`0p2eCwVY^NrkVqbL4A"[S!*}^6<UjG q>KV"lP3L¶(_*νx_D=p#sRel\d+Xy?FR|Ivśr6eP%!JthAn?=>oK`"I(d&.XbxlqALJg'Qԛr$?(Cx%KJ8L; sˤ!ub AuvIaO`W`K;9Y 1*y QdLL9ŮŃCg}RD#L\M@1XC`(c,}m,{tK!N_г- m;ʛn:\^9cOv9t*vDލsiF{8Ub(gI+ 09@E6nkQ5ƽYRnw d> XX?6dʅ[Ʃ}>\o[t6![6U~'+q?9P…Po2 7I(k׎^CNuR[G_5ϐ +G05Tl5uMU}ż$< zpd_ǤPrwbD?\}Ĥ/J櫉)i: ZNRx.֕"bmRw^ѐ)`t C9Q 2; γ[>`NA'#dm#ln'L//.JEKj ಶKSV̍+͓x0AϤ6-Z" DlJ/Nr3HhdgO|4!ϒNH7gYZ 1 +I# lHOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup7zXZִF! N{]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7F8[0WD Np!wKz@g%4Uભ׸ayN6Hy*~@y'7K SoLӟfd6Tnwoe7ԈC:Qփ{[ʇ}b`e[;) qi'0Gqx_ߣ}(0ߍ3phx5%wNp,-]B+(Z.O#?aO% *TT.B*'C~fjK$?-JF]\n;s ICnalBCBM'ٿmδ[@&z_ơCF]$eQдn9F%,rzj087h7+=Sz3<:$]9Q٬ IriLJ6K%1;?qMNƈĘ>'|֮Sg@lf0AeLaI-L勁`QrdQ/ {6?7eb1;؂I)ܡ :AUh\ x-˛{Jv%1& yߍ\PY{4 ] Y2 n6͇V\i=YevzJfҮGnl|1^} Ys 9Yn#unzDN:߯{ ,6ivcCI0CP0T2h%nO$UfE^^G%m]n0Ұh-WncEOrsiib*jStڶ)\5_ΞC7h^P@}4 !W=QaBJVF~r΅d.r2Q<W,ng6 ӸB\͈8P7۹{Xq'q},n{$J:^nm #i7Bm7';eA}nJ qS,ql4͈E4 :q_ V]E4O1-mT߯Zћtw!q_?s|{{,d*a[;Y&؆$ը j&!L Iy.61`S珸v5uLq_iTSMFo18X<1օ:rKzM?~eΡZ͝ΐBfޅX"4ÁI`,ccedj'K4\ŘɛftdO{ge Dfle}:a[᠚Q4n鳧rv]JHP%UtكM̯RP<0ˡVaʕ"$!ˇ%S OofxY6 Ng-k~zIݗ}@W%(h+x]˶hopLHa Pr`H+<}P':^kZ IuĤDÈ j8g]&s?Vgӻ{B`y`CLFP?ϒሃ%&9jtk5Z툊>d{.1G@9 0v-oB#(VZgWIi0ƎP rH̖&W@)]zy!HO(WO5f!H^3"b#f'!c;C1=G  6O^H ׬m9ѷDnTVq?ݍWU>˓۸lO$"Jk UHwnX~}e eDŽoc]3#.Y Iؖc 1E>ΘRKmNQۯW TGY˽J$%pe݅XfL5ΨJAA9=7bk nt' odʎ   v +I' tHOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages7zXZִF! r]~ hk.<VAHgM@*$bUroJF[]m#EQG:e^HOpQvs"g'e-`q}]A4 (eN`\c^:ت@vjhZ~>JģO J&:#d=՝pGbT Qq8GmLo4-;UQ],q3CW%. ~H$#5ϦG9&ת1Ԋ) ]$%NlZ \ŽZ&d,|K3}s* _wj\;\f[mߨ'bIWY(TFKtjn+EzwjP?9{j3. ;n(u+䬘WtvR| GCS 5'ewHJ2[封=k=ȃ`Nc!u9%'*!^'?首H0\_ֺ4V8DEU˄Aύc4}ހ8x!#W- HnJ x g p#7jlZCjz;hqr puof b5Wcr-W/pC3¥*E_"ՂCr(~F!8K\ S|sL#P>v1Nur6y"hNKK݉pt;Lt^$WL"R7)ƂB4%f0̆ Gْ}(a˼X4 N:eSMAX\B"3 gYZ